silly appendo thing

appendo.scm

(define (appendo p q)
  (fresh (f rec base)
    (== f `(lambda (a)
             (lambda (b)
               (fold ,rec ,base a))))
    (eval-expo `((,f '(a b c)) '(u v)) '() '(a b c u v))
    (eval-expo `((,f '(x y)) '(z)) '() '(x y z))
    (eval-expo `((,f '()) '(o k !)) '() '(o k !))
    (eval-expo `((,f ',p) ',q) '() '(b a c k w a r d s))))




(appendo p q)
=> Yes. (327.36ms)
p: ()
q: (b a c k w a r d s)
{(=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (sym _.1), (sym _.0)}

=> Yes. (21.03ms)
p: (b)
q: (a c k w a r d s)
{(=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (sym _.1), (sym _.0)}

=> Yes. (22.21ms)
p: (b a)
q: (c k w a r d s)
{(=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (sym _.1), (sym _.0)}

=> Yes. (26.08ms)
p: (b a c)
q: (k w a r d s)
{(=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (sym _.1), (sym _.0)}

=> Yes. (28.91ms)
p: (b a c k)
q: (w a r d s)
{(=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (sym _.1), (sym _.0)}

=> Yes. (36.92ms)
p: (b a c k w)
q: (a r d s)
{(=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (sym _.1), (sym _.0)}

=> Yes. (43.74ms)
p: (b a c k w a)
q: (r d s)
{(=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (sym _.1), (sym _.0)}

=> Yes. (54.14ms)
p: (b a c k w a r)
q: (d s)
{(=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (sym _.1), (sym _.0)}

=> Yes. (67.33ms)
p: (b a c k w a r d)
q: (s)
{(=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (sym _.1), (sym _.0)}

=> Yes. (83.25ms)
p: (b a c k w a r d s)
q: ()
{(=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.0 cons), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (=/= _.1 cons), (sym _.1), (sym _.0)}

=> Yes. (864.99ms)
p: ()
q: (b a c k w a r d s)
{(=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 cons), (=/= _.1 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (sym _.1), (sym _.0), (sym _.2)}

=> Yes. (56.01ms)
p: (b)
q: (a c k w a r d s)
{(=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 cons), (=/= _.1 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 cons), (sym _.1), (sym _.0), (sym _.2)}

=> Yes. (65.42ms)
p: (b a)
q: (c k w a r d s)
{(=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 cons), (=/= _.1 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (sym _.1), (sym _.0), (sym _.2)}

=> Yes. (102.99ms)
p: (b a c)
q: (k w a r d s)
{(=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 cons), (=/= _.1 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 cons), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (sym _.1), (sym _.0), (sym _.2)}

=> Yes. (116.94ms)
p: (b a c k)
q: (w a r d s)
{(=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 cons), (=/= _.1 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (sym _.1), (sym _.0), (sym _.2)}

=> Yes. (160.62ms)
p: (b a c k w)
q: (a r d s)
{(=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 cons), (=/= _.1 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 cons), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (sym _.1), (sym _.0), (sym _.2)}

=> Yes. (188.35ms)
p: (b a c k w a)
q: (r d s)
{(=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 cons), (=/= _.1 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (sym _.1), (sym _.0), (sym _.2)}

=> Yes. (233.98ms)
p: (b a c k w a r)
q: (d s)
{(=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 _.1), (=/= _.2 cons), (=/= _.1 cons), (=/= _.0 cons), (=/= _.2 cons), (=/= _.1 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.0 cons), (=/= _.0 _.1), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 lambda), (=/= _.2 lambda), (=/= _.2 lambda), (=/= _.0 cons), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (=/= _.1 cons), (=/= _.2 cons), (=/= _.0 _.1), (=/= _.0 cons), (sym _.1), (sym _.0), (sym _.2)}