Its the dots. But you could [make that switch]. And were going to continue working, and hopefully having success and moving in the right direction. Thats certainly on the table. 77 is destined to sit again.
The numbers in the ticket are (77) an even number.
( z0 number :ARG1-of ( z1 even ) :domain ( z2 number :location ( z3 ticket ) ) :value 77 )
(z0 / number
    :ARG1-of (z1 / even-02)
    :domain (z2 / number
                :location (z3 / ticket))
    :value 77)
The numbers in the ticket are ( 77 ) an even number .
z2 :location z3
z0 :ARG1-of z1
z0 :value 0
z0 :domain z2