module rands. accumulate randomlams. % try them all: (test will eventually fail.) test :- lambdaterm T, hnormprint T. hnormprint T :- hnorm T Th, !, fail. %hnormprint T :- hnorm T Th, printterm std_out Th, print " --\n", !, fail. test :- !. % some randomly generated lambda terms. lambdaterm (abs (W1\ app W1 W1)). lambdaterm (app (freevar _119) (freevar _120)). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app W1 (app (abs (W2\ app (abs (W3\ W2)) (abs (W3\ app (abs (W4\ abs (W5\ abs (W6\ abs (W7\ W3))))) (app W3 (app (app (app W1 W1) (app W3 W2)) (app (abs (W4\ W4)) (abs (W4\ W1))))))))) (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 (app W2 (app (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W6))))) W4)))))))))). lambdaterm (freevar _1961). lambdaterm (app (freevar _1978) (abs (W1\ W1))). lambdaterm (app (app (app (freevar _2029) (freevar _2030)) (abs (W1\ abs (W2\ app W1 (abs (W3\ app W3 W2)))))) (freevar _2186)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2258). lambdaterm (abs (W1\ app W1 (app (abs (W2\ W1)) (abs (W2\ app W2 (abs (W3\ abs (W4\ W2)))))))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ abs (W4\ app (abs (W5\ app (app W2 W1) (abs (W6\ app (abs (W7\ W6)) (app (app (app (abs (W7\ W5)) W3) (abs (W7\ abs (W8\ W6)))) (app W3 W5)))))) (abs (W5\ abs (W6\ app W6 (abs (W7\ app W7 W7)))))))) W1) (abs (W3\ W3)))))). lambdaterm (app (app (abs (W1\ app (abs (W2\ abs (W3\ app (abs (W4\ W2)) (abs (W4\ app (app W1 (app (app W2 W1) (app W4 (app W1 (abs (W5\ W2)))))) (app (abs (W5\ abs (W6\ app (app W4 (abs (W7\ abs (W8\ W2)))) W5))) W4)))))) W1)) (freevar _5088)) (app (freevar _5097) (freevar _5099))). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (app (freevar _91409) (abs (W1\ W1))). lambdaterm (app (app (freevar _91453) (app (abs (W1\ abs (W2\ W2))) (app (abs (W1\ W1)) (app (app (abs (W1\ abs (W2\ abs (W3\ W3)))) (freevar _91606)) (abs (W1\ app (abs (W2\ W1)) W1)))))) (freevar _91674)). lambdaterm (freevar _91698). lambdaterm (app (abs (W1\ app W1 (abs (W2\ W1)))) (freevar _91780)). lambdaterm (freevar _91792). lambdaterm (app (freevar _91807) (freevar _91809)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _91836). lambdaterm (abs (W1\ app W1 (abs (W2\ W1)))). lambdaterm (freevar _91924). lambdaterm (freevar _91930). lambdaterm (app (freevar _91947) (abs (W1\ abs (W2\ W2)))). lambdaterm (freevar _132721). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _637068). lambdaterm (app (abs (W1\ abs (W2\ app (app (app W2 W1) (app (app W1 (app W2 (abs (W3\ W1)))) (abs (W3\ W2)))) (app W2 W1)))) (freevar _637463)). lambdaterm (abs (W1\ app (abs (W2\ W2)) (app W1 (abs (W2\ abs (W3\ abs (W4\ app W4 W4))))))). lambdaterm (freevar _637880). lambdaterm (app (app (app (freevar _654355) (abs (W1\ abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ abs (W6\ W3))) (abs (W5\ app (abs (W6\ W5)) W5)))))))) (abs (W1\ abs (W2\ W1)))) (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W3)) W2) (app W2 (abs (W3\ W3)))))))). lambdaterm (app (abs (W1\ W1)) (app (abs (W1\ W1)) (freevar _655286))). lambdaterm (freevar _655293). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (app (freevar _2919606) (abs (W1\ abs (W2\ W1)))). lambdaterm (app (freevar _2933861) (abs (W1\ app W1 (abs (W2\ app (app W1 W2) W2))))). lambdaterm (freevar _2934050). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2934079). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app W2 W3)))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W1))) (abs (W2\ abs (W3\ abs (W4\ app (app (abs (W5\ abs (W6\ W3))) (abs (W5\ W1))) W2))))) (abs (W2\ app W2 (app (app W1 (abs (W3\ W1))) W1))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app W2 W1)) W4)))) W1) (app (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 W3))))) (app (app W1 W1) (app (abs (W2\ W2)) (app (app (app (abs (W2\ W2)) (app W1 (abs (W2\ W2)))) W1) (abs (W2\ abs (W3\ W1))))))))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ W1)) (app W1 W1)))). lambdaterm (app (app (freevar _73) (abs (W1\ abs (W2\ W2)))) (freevar _108)). lambdaterm (freevar _117). lambdaterm (app (freevar _134) (freevar _135)). lambdaterm (app (abs (W1\ abs (W2\ app (abs (W3\ app (abs (W4\ W2)) (abs (W4\ abs (W5\ app W5 (app (abs (W6\ app W3 (abs (W7\ app W7 W3)))) (abs (W6\ app (abs (W7\ abs (W8\ W7))) W2)))))))) W2))) (freevar _1034)). lambdaterm (freevar _1440). lambdaterm (abs (W1\ app (app (abs (W2\ app (app (app W2 W1) W2) W1)) (abs (W2\ W2))) W1)). lambdaterm (app (app (app (app (freevar _93) (abs (W1\ app (app (abs (W2\ W1)) (app (app W1 W1) W1)) W1))) (app (abs (W1\ W1)) (freevar _276))) (app (app (freevar _296) (app (freevar _306) (freevar _307))) (abs (W1\ W1)))) (abs (W1\ abs (W2\ abs (W3\ W3))))). lambdaterm (app (freevar _438) (app (app (freevar _458) (abs (W1\ W1))) (freevar _476))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ abs (W4\ abs (W5\ app (abs (W6\ W4)) W1)))))). lambdaterm (abs (W1\ app (app W1 W1) (abs (W2\ W1)))). lambdaterm (app (app (abs (W1\ abs (W2\ app (app W1 (app W2 (abs (W3\ app W3 (abs (W4\ W1)))))) (app W1 W2)))) (abs (W1\ abs (W2\ app (abs (W3\ abs (W4\ app W3 (abs (W5\ W4))))) (abs (W3\ abs (W4\ app W4 (abs (W5\ app (abs (W6\ W4)) W5))))))))) (freevar _2334)). lambdaterm (freevar _2885). lambdaterm (app (freevar _2902) (abs (W1\ app W1 (abs (W2\ W2))))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (abs (W4\ app W4 W3)) (abs (W4\ app W3 W1)))))). lambdaterm (freevar _7671). lambdaterm (app (app (app (abs (W1\ W1)) (abs (W1\ W1))) (app (freevar _7746) (abs (W1\ app W1 W1)))) (abs (W1\ app (abs (W2\ W2)) (abs (W2\ W2))))). lambdaterm (app (freevar _7905) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 (app W1 W1))). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _8036). lambdaterm (abs (W1\ W1)). lambdaterm (app (freevar _8073) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (app (freevar _119) (freevar _120)). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app W1 (app (abs (W2\ app (abs (W3\ W2)) (abs (W3\ app (abs (W4\ abs (W5\ abs (W6\ abs (W7\ W3))))) (app W3 (app (app (app W1 W1) (app W3 W2)) (app (abs (W4\ W4)) (abs (W4\ W1))))))))) (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 (app W2 (app (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W6))))) W4)))))))))). lambdaterm (freevar _1961). lambdaterm (app (freevar _1978) (abs (W1\ W1))). lambdaterm (app (app (app (freevar _2029) (freevar _2030)) (abs (W1\ abs (W2\ app W1 (abs (W3\ app W3 W2)))))) (freevar _2186)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2258). lambdaterm (abs (W1\ app W1 (app (abs (W2\ W1)) (abs (W2\ app W2 (abs (W3\ abs (W4\ W2)))))))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ abs (W4\ app (abs (W5\ app (app W2 W1) (abs (W6\ app (abs (W7\ W6)) (app (app (app (abs (W7\ W5)) W3) (abs (W7\ abs (W8\ W6)))) (app W3 W5)))))) (abs (W5\ abs (W6\ app W6 (abs (W7\ app W7 W7)))))))) W1) (abs (W3\ W3)))))). lambdaterm (app (app (abs (W1\ app (abs (W2\ abs (W3\ app (abs (W4\ W2)) (abs (W4\ app (app W1 (app (app W2 W1) (app W4 (app W1 (abs (W5\ W2)))))) (app (abs (W5\ abs (W6\ app (app W4 (abs (W7\ abs (W8\ W2)))) W5))) W4)))))) W1)) (freevar _5088)) (app (freevar _5097) (freevar _5099))). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (app (freevar _91409) (abs (W1\ W1))). lambdaterm (app (app (freevar _91453) (app (abs (W1\ abs (W2\ W2))) (app (abs (W1\ W1)) (app (app (abs (W1\ abs (W2\ abs (W3\ W3)))) (freevar _91606)) (abs (W1\ app (abs (W2\ W1)) W1)))))) (freevar _91674)). lambdaterm (freevar _91698). lambdaterm (app (abs (W1\ app W1 (abs (W2\ W1)))) (freevar _91780)). lambdaterm (freevar _91792). lambdaterm (app (freevar _91807) (freevar _91809)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _91836). lambdaterm (abs (W1\ app W1 (abs (W2\ W1)))). lambdaterm (freevar _91924). lambdaterm (freevar _91930). lambdaterm (app (freevar _91947) (abs (W1\ abs (W2\ W2)))). lambdaterm (freevar _132721). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _637068). lambdaterm (app (abs (W1\ abs (W2\ app (app (app W2 W1) (app (app W1 (app W2 (abs (W3\ W1)))) (abs (W3\ W2)))) (app W2 W1)))) (freevar _637463)). lambdaterm (abs (W1\ app (abs (W2\ W2)) (app W1 (abs (W2\ abs (W3\ abs (W4\ app W4 W4))))))). lambdaterm (freevar _637880). lambdaterm (app (app (app (freevar _654355) (abs (W1\ abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ abs (W6\ W3))) (abs (W5\ app (abs (W6\ W5)) W5)))))))) (abs (W1\ abs (W2\ W1)))) (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W3)) W2) (app W2 (abs (W3\ W3)))))))). lambdaterm (app (abs (W1\ W1)) (app (abs (W1\ W1)) (freevar _655286))). lambdaterm (freevar _655293). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (app (freevar _2919606) (abs (W1\ abs (W2\ W1)))). lambdaterm (app (freevar _2933861) (abs (W1\ app W1 (abs (W2\ app (app W1 W2) W2))))). lambdaterm (freevar _2934050). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2934079). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app W2 W3)))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W1))) (abs (W2\ abs (W3\ abs (W4\ app (app (abs (W5\ abs (W6\ W3))) (abs (W5\ W1))) W2))))) (abs (W2\ app W2 (app (app W1 (abs (W3\ W1))) W1))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app W2 W1)) W4)))) W1) (app (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 W3))))) (app (app W1 W1) (app (abs (W2\ W2)) (app (app (app (abs (W2\ W2)) (app W1 (abs (W2\ W2)))) W1) (abs (W2\ abs (W3\ W1))))))))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ W1)) (app W1 W1)))). lambdaterm (app (app (freevar _73) (abs (W1\ abs (W2\ W2)))) (freevar _108)). lambdaterm (freevar _117). lambdaterm (app (freevar _134) (freevar _135)). lambdaterm (app (abs (W1\ abs (W2\ app (abs (W3\ app (abs (W4\ W2)) (abs (W4\ abs (W5\ app W5 (app (abs (W6\ app W3 (abs (W7\ app W7 W3)))) (abs (W6\ app (abs (W7\ abs (W8\ W7))) W2)))))))) W2))) (freevar _1034)). lambdaterm (freevar _1440). lambdaterm (abs (W1\ app (app (abs (W2\ app (app (app W2 W1) W2) W1)) (abs (W2\ W2))) W1)). lambdaterm (app (app (app (app (freevar _93) (abs (W1\ app (app (abs (W2\ W1)) (app (app W1 W1) W1)) W1))) (app (abs (W1\ W1)) (freevar _276))) (app (app (freevar _296) (app (freevar _306) (freevar _307))) (abs (W1\ W1)))) (abs (W1\ abs (W2\ abs (W3\ W3))))). lambdaterm (app (freevar _438) (app (app (freevar _458) (abs (W1\ W1))) (freevar _476))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ abs (W4\ abs (W5\ app (abs (W6\ W4)) W1)))))). lambdaterm (abs (W1\ app (app W1 W1) (abs (W2\ W1)))). lambdaterm (app (app (abs (W1\ abs (W2\ app (app W1 (app W2 (abs (W3\ app W3 (abs (W4\ W1)))))) (app W1 W2)))) (abs (W1\ abs (W2\ app (abs (W3\ abs (W4\ app W3 (abs (W5\ W4))))) (abs (W3\ abs (W4\ app W4 (abs (W5\ app (abs (W6\ W4)) W5))))))))) (freevar _2334)). lambdaterm (freevar _2885). lambdaterm (app (freevar _2902) (abs (W1\ app W1 (abs (W2\ W2))))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (abs (W4\ app W4 W3)) (abs (W4\ app W3 W1)))))). lambdaterm (freevar _7671). lambdaterm (app (app (app (abs (W1\ W1)) (abs (W1\ W1))) (app (freevar _7746) (abs (W1\ app W1 W1)))) (abs (W1\ app (abs (W2\ W2)) (abs (W2\ W2))))). lambdaterm (app (freevar _7905) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 (app W1 W1))). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _8036). lambdaterm (abs (W1\ W1)). lambdaterm (app (freevar _8073) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (app (freevar _119) (freevar _120)). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app W1 (app (abs (W2\ app (abs (W3\ W2)) (abs (W3\ app (abs (W4\ abs (W5\ abs (W6\ abs (W7\ W3))))) (app W3 (app (app (app W1 W1) (app W3 W2)) (app (abs (W4\ W4)) (abs (W4\ W1))))))))) (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 (app W2 (app (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W6))))) W4)))))))))). lambdaterm (freevar _1961). lambdaterm (app (freevar _1978) (abs (W1\ W1))). lambdaterm (app (app (app (freevar _2029) (freevar _2030)) (abs (W1\ abs (W2\ app W1 (abs (W3\ app W3 W2)))))) (freevar _2186)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2258). lambdaterm (abs (W1\ app W1 (app (abs (W2\ W1)) (abs (W2\ app W2 (abs (W3\ abs (W4\ W2)))))))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ abs (W4\ app (abs (W5\ app (app W2 W1) (abs (W6\ app (abs (W7\ W6)) (app (app (app (abs (W7\ W5)) W3) (abs (W7\ abs (W8\ W6)))) (app W3 W5)))))) (abs (W5\ abs (W6\ app W6 (abs (W7\ app W7 W7)))))))) W1) (abs (W3\ W3)))))). lambdaterm (app (app (abs (W1\ app (abs (W2\ abs (W3\ app (abs (W4\ W2)) (abs (W4\ app (app W1 (app (app W2 W1) (app W4 (app W1 (abs (W5\ W2)))))) (app (abs (W5\ abs (W6\ app (app W4 (abs (W7\ abs (W8\ W2)))) W5))) W4)))))) W1)) (freevar _5088)) (app (freevar _5097) (freevar _5099))). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (app (freevar _91409) (abs (W1\ W1))). lambdaterm (app (app (freevar _91453) (app (abs (W1\ abs (W2\ W2))) (app (abs (W1\ W1)) (app (app (abs (W1\ abs (W2\ abs (W3\ W3)))) (freevar _91606)) (abs (W1\ app (abs (W2\ W1)) W1)))))) (freevar _91674)). lambdaterm (freevar _91698). lambdaterm (app (abs (W1\ app W1 (abs (W2\ W1)))) (freevar _91780)). lambdaterm (freevar _91792). lambdaterm (app (freevar _91807) (freevar _91809)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _91836). lambdaterm (abs (W1\ app W1 (abs (W2\ W1)))). lambdaterm (freevar _91924). lambdaterm (freevar _91930). lambdaterm (app (freevar _91947) (abs (W1\ abs (W2\ W2)))). lambdaterm (freevar _132721). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _637068). lambdaterm (app (abs (W1\ abs (W2\ app (app (app W2 W1) (app (app W1 (app W2 (abs (W3\ W1)))) (abs (W3\ W2)))) (app W2 W1)))) (freevar _637463)). lambdaterm (abs (W1\ app (abs (W2\ W2)) (app W1 (abs (W2\ abs (W3\ abs (W4\ app W4 W4))))))). lambdaterm (freevar _637880). lambdaterm (app (app (app (freevar _654355) (abs (W1\ abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ abs (W6\ W3))) (abs (W5\ app (abs (W6\ W5)) W5)))))))) (abs (W1\ abs (W2\ W1)))) (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W3)) W2) (app W2 (abs (W3\ W3)))))))). lambdaterm (app (abs (W1\ W1)) (app (abs (W1\ W1)) (freevar _655286))). lambdaterm (freevar _655293). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (app (freevar _2919606) (abs (W1\ abs (W2\ W1)))). lambdaterm (app (freevar _2933861) (abs (W1\ app W1 (abs (W2\ app (app W1 W2) W2))))). lambdaterm (freevar _2934050). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2934079). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app W2 W3)))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W1))) (abs (W2\ abs (W3\ abs (W4\ app (app (abs (W5\ abs (W6\ W3))) (abs (W5\ W1))) W2))))) (abs (W2\ app W2 (app (app W1 (abs (W3\ W1))) W1))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app W2 W1)) W4)))) W1) (app (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 W3))))) (app (app W1 W1) (app (abs (W2\ W2)) (app (app (app (abs (W2\ W2)) (app W1 (abs (W2\ W2)))) W1) (abs (W2\ abs (W3\ W1))))))))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ W1)) (app W1 W1)))). lambdaterm (app (app (freevar _73) (abs (W1\ abs (W2\ W2)))) (freevar _108)). lambdaterm (freevar _117). lambdaterm (app (freevar _134) (freevar _135)). lambdaterm (app (abs (W1\ abs (W2\ app (abs (W3\ app (abs (W4\ W2)) (abs (W4\ abs (W5\ app W5 (app (abs (W6\ app W3 (abs (W7\ app W7 W3)))) (abs (W6\ app (abs (W7\ abs (W8\ W7))) W2)))))))) W2))) (freevar _1034)). lambdaterm (freevar _1440). lambdaterm (abs (W1\ app (app (abs (W2\ app (app (app W2 W1) W2) W1)) (abs (W2\ W2))) W1)). % new terms lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ app (app W1 W2) (abs (W4\ W1)))) (abs (W3\ abs (W4\ W4)))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W2))) W1) W1)). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (freevar _18404). lambdaterm (abs (W1\ app W1 (abs (W2\ W2)))). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (abs (W1\ W1)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ abs (W2\ W1)))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W1)) (abs (W3\ app W1 (app (app (app W3 (abs (W4\ abs (W5\ abs (W6\ W5))))) (app W2 (abs (W4\ abs (W5\ W5))))) (abs (W4\ abs (W5\ abs (W6\ app W2 W1)))))))) W2)))). lambdaterm (app (app (freevar _98962) (freevar _98963)) (app (freevar _98973) (freevar _98974))). lambdaterm (app (freevar _120314) (abs (W1\ W1))). lambdaterm (abs (W1\ app (abs (W2\ W2)) W1)). lambdaterm (abs (W1\ app W1 (abs (W2\ W2)))). lambdaterm (app (freevar _120509) (freevar _120510)). lambdaterm (app (abs (W1\ app (abs (W2\ app W1 (app W2 (abs (W3\ app W3 W2))))) (abs (W2\ W2)))) (freevar _120788)). lambdaterm (app (app (abs (W1\ W1)) (freevar _120916)) (app (app (app (abs (W1\ app (app (abs (W2\ W1)) W1) (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app (abs (W6\ W3)) W1)) (app (app (app W2 W3) W1) W3))))))) (app (abs (W1\ abs (W2\ W1))) (freevar _121603))) (freevar _121604)) (abs (W1\ abs (W2\ app (abs (W3\ W3)) W1))))). lambdaterm (freevar _122012). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ app (app W1 W2) (abs (W4\ W1)))) (abs (W3\ abs (W4\ W4)))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W2))) W1) W1)). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (freevar _890). % if the next line is added, a compiler error will result: lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (app (freevar _119) (freevar _120)). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app W1 (app (abs (W2\ app (abs (W3\ W2)) (abs (W3\ app (abs (W4\ abs (W5\ abs (W6\ abs (W7\ W3))))) (app W3 (app (app (app W1 W1) (app W3 W2)) (app (abs (W4\ W4)) (abs (W4\ W1))))))))) (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 (app W2 (app (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W6))))) W4)))))))))). lambdaterm (freevar _1961). lambdaterm (app (freevar _1978) (abs (W1\ W1))). lambdaterm (app (app (app (freevar _2029) (freevar _2030)) (abs (W1\ abs (W2\ app W1 (abs (W3\ app W3 W2)))))) (freevar _2186)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2258). lambdaterm (abs (W1\ app W1 (app (abs (W2\ W1)) (abs (W2\ app W2 (abs (W3\ abs (W4\ W2)))))))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ abs (W4\ app (abs (W5\ app (app W2 W1) (abs (W6\ app (abs (W7\ W6)) (app (app (app (abs (W7\ W5)) W3) (abs (W7\ abs (W8\ W6)))) (app W3 W5)))))) (abs (W5\ abs (W6\ app W6 (abs (W7\ app W7 W7)))))))) W1) (abs (W3\ W3)))))). lambdaterm (app (app (abs (W1\ app (abs (W2\ abs (W3\ app (abs (W4\ W2)) (abs (W4\ app (app W1 (app (app W2 W1) (app W4 (app W1 (abs (W5\ W2)))))) (app (abs (W5\ abs (W6\ app (app W4 (abs (W7\ abs (W8\ W2)))) W5))) W4)))))) W1)) (freevar _5088)) (app (freevar _5097) (freevar _5099))). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (app (freevar _91409) (abs (W1\ W1))). lambdaterm (app (app (freevar _91453) (app (abs (W1\ abs (W2\ W2))) (app (abs (W1\ W1)) (app (app (abs (W1\ abs (W2\ abs (W3\ W3)))) (freevar _91606)) (abs (W1\ app (abs (W2\ W1)) W1)))))) (freevar _91674)). lambdaterm (freevar _91698). lambdaterm (app (abs (W1\ app W1 (abs (W2\ W1)))) (freevar _91780)). lambdaterm (freevar _91792). lambdaterm (app (freevar _91807) (freevar _91809)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _91836). lambdaterm (abs (W1\ app W1 (abs (W2\ W1)))). lambdaterm (freevar _91924). lambdaterm (freevar _91930). lambdaterm (app (freevar _91947) (abs (W1\ abs (W2\ W2)))). lambdaterm (freevar _132721). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _637068). lambdaterm (app (abs (W1\ abs (W2\ app (app (app W2 W1) (app (app W1 (app W2 (abs (W3\ W1)))) (abs (W3\ W2)))) (app W2 W1)))) (freevar _637463)). lambdaterm (abs (W1\ app (abs (W2\ W2)) (app W1 (abs (W2\ abs (W3\ abs (W4\ app W4 W4))))))). lambdaterm (freevar _637880). lambdaterm (app (app (app (freevar _654355) (abs (W1\ abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ abs (W6\ W3))) (abs (W5\ app (abs (W6\ W5)) W5)))))))) (abs (W1\ abs (W2\ W1)))) (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W3)) W2) (app W2 (abs (W3\ W3)))))))). lambdaterm (app (abs (W1\ W1)) (app (abs (W1\ W1)) (freevar _655286))). lambdaterm (freevar _655293). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (app (freevar _2919606) (abs (W1\ abs (W2\ W1)))). lambdaterm (app (freevar _2933861) (abs (W1\ app W1 (abs (W2\ app (app W1 W2) W2))))). lambdaterm (freevar _2934050). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2934079). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app W2 W3)))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W1))) (abs (W2\ abs (W3\ abs (W4\ app (app (abs (W5\ abs (W6\ W3))) (abs (W5\ W1))) W2))))) (abs (W2\ app W2 (app (app W1 (abs (W3\ W1))) W1))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app W2 W1)) W4)))) W1) (app (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 W3))))) (app (app W1 W1) (app (abs (W2\ W2)) (app (app (app (abs (W2\ W2)) (app W1 (abs (W2\ W2)))) W1) (abs (W2\ abs (W3\ W1))))))))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ W1)) (app W1 W1)))). lambdaterm (app (app (freevar _73) (abs (W1\ abs (W2\ W2)))) (freevar _108)). lambdaterm (freevar _117). lambdaterm (app (freevar _134) (freevar _135)). lambdaterm (app (abs (W1\ abs (W2\ app (abs (W3\ app (abs (W4\ W2)) (abs (W4\ abs (W5\ app W5 (app (abs (W6\ app W3 (abs (W7\ app W7 W3)))) (abs (W6\ app (abs (W7\ abs (W8\ W7))) W2)))))))) W2))) (freevar _1034)). lambdaterm (freevar _1440). lambdaterm (abs (W1\ app (app (abs (W2\ app (app (app W2 W1) W2) W1)) (abs (W2\ W2))) W1)). lambdaterm (app (app (app (app (freevar _93) (abs (W1\ app (app (abs (W2\ W1)) (app (app W1 W1) W1)) W1))) (app (abs (W1\ W1)) (freevar _276))) (app (app (freevar _296) (app (freevar _306) (freevar _307))) (abs (W1\ W1)))) (abs (W1\ abs (W2\ abs (W3\ W3))))). lambdaterm (app (freevar _438) (app (app (freevar _458) (abs (W1\ W1))) (freevar _476))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ abs (W4\ abs (W5\ app (abs (W6\ W4)) W1)))))). lambdaterm (abs (W1\ app (app W1 W1) (abs (W2\ W1)))). lambdaterm (app (app (abs (W1\ abs (W2\ app (app W1 (app W2 (abs (W3\ app W3 (abs (W4\ W1)))))) (app W1 W2)))) (abs (W1\ abs (W2\ app (abs (W3\ abs (W4\ app W3 (abs (W5\ W4))))) (abs (W3\ abs (W4\ app W4 (abs (W5\ app (abs (W6\ W4)) W5))))))))) (freevar _2334)). lambdaterm (freevar _2885). lambdaterm (app (freevar _2902) (abs (W1\ app W1 (abs (W2\ W2))))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (abs (W4\ app W4 W3)) (abs (W4\ app W3 W1)))))). lambdaterm (freevar _7671). lambdaterm (app (app (app (abs (W1\ W1)) (abs (W1\ W1))) (app (freevar _7746) (abs (W1\ app W1 W1)))) (abs (W1\ app (abs (W2\ W2)) (abs (W2\ W2))))). lambdaterm (app (freevar _7905) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 (app W1 W1))). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _8036). lambdaterm (abs (W1\ W1)). lambdaterm (app (freevar _8073) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (app (freevar _119) (freevar _120)). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app W1 (app (abs (W2\ app (abs (W3\ W2)) (abs (W3\ app (abs (W4\ abs (W5\ abs (W6\ abs (W7\ W3))))) (app W3 (app (app (app W1 W1) (app W3 W2)) (app (abs (W4\ W4)) (abs (W4\ W1))))))))) (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 (app W2 (app (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W6))))) W4)))))))))). lambdaterm (freevar _1961). lambdaterm (app (freevar _1978) (abs (W1\ W1))). lambdaterm (app (app (app (freevar _2029) (freevar _2030)) (abs (W1\ abs (W2\ app W1 (abs (W3\ app W3 W2)))))) (freevar _2186)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2258). lambdaterm (abs (W1\ app W1 (app (abs (W2\ W1)) (abs (W2\ app W2 (abs (W3\ abs (W4\ W2)))))))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ abs (W4\ app (abs (W5\ app (app W2 W1) (abs (W6\ app (abs (W7\ W6)) (app (app (app (abs (W7\ W5)) W3) (abs (W7\ abs (W8\ W6)))) (app W3 W5)))))) (abs (W5\ abs (W6\ app W6 (abs (W7\ app W7 W7)))))))) W1) (abs (W3\ W3)))))). lambdaterm (app (app (abs (W1\ app (abs (W2\ abs (W3\ app (abs (W4\ W2)) (abs (W4\ app (app W1 (app (app W2 W1) (app W4 (app W1 (abs (W5\ W2)))))) (app (abs (W5\ abs (W6\ app (app W4 (abs (W7\ abs (W8\ W2)))) W5))) W4)))))) W1)) (freevar _5088)) (app (freevar _5097) (freevar _5099))). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (app (freevar _91409) (abs (W1\ W1))). lambdaterm (app (app (freevar _91453) (app (abs (W1\ abs (W2\ W2))) (app (abs (W1\ W1)) (app (app (abs (W1\ abs (W2\ abs (W3\ W3)))) (freevar _91606)) (abs (W1\ app (abs (W2\ W1)) W1)))))) (freevar _91674)). lambdaterm (freevar _91698). lambdaterm (app (abs (W1\ app W1 (abs (W2\ W1)))) (freevar _91780)). lambdaterm (freevar _91792). lambdaterm (app (freevar _91807) (freevar _91809)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _91836). lambdaterm (abs (W1\ app W1 (abs (W2\ W1)))). lambdaterm (freevar _91924). lambdaterm (freevar _91930). lambdaterm (app (freevar _91947) (abs (W1\ abs (W2\ W2)))). lambdaterm (freevar _132721). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _637068). lambdaterm (app (abs (W1\ abs (W2\ app (app (app W2 W1) (app (app W1 (app W2 (abs (W3\ W1)))) (abs (W3\ W2)))) (app W2 W1)))) (freevar _637463)). lambdaterm (abs (W1\ app (abs (W2\ W2)) (app W1 (abs (W2\ abs (W3\ abs (W4\ app W4 W4))))))). lambdaterm (freevar _637880). lambdaterm (app (app (app (freevar _654355) (abs (W1\ abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ abs (W6\ W3))) (abs (W5\ app (abs (W6\ W5)) W5)))))))) (abs (W1\ abs (W2\ W1)))) (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W3)) W2) (app W2 (abs (W3\ W3)))))))). lambdaterm (app (abs (W1\ W1)) (app (abs (W1\ W1)) (freevar _655286))). lambdaterm (freevar _655293). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (app (freevar _2919606) (abs (W1\ abs (W2\ W1)))). lambdaterm (app (freevar _2933861) (abs (W1\ app W1 (abs (W2\ app (app W1 W2) W2))))). lambdaterm (freevar _2934050). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2934079). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app W2 W3)))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W1))) (abs (W2\ abs (W3\ abs (W4\ app (app (abs (W5\ abs (W6\ W3))) (abs (W5\ W1))) W2))))) (abs (W2\ app W2 (app (app W1 (abs (W3\ W1))) W1))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app W2 W1)) W4)))) W1) (app (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 W3))))) (app (app W1 W1) (app (abs (W2\ W2)) (app (app (app (abs (W2\ W2)) (app W1 (abs (W2\ W2)))) W1) (abs (W2\ abs (W3\ W1))))))))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ W1)) (app W1 W1)))). lambdaterm (app (app (freevar _73) (abs (W1\ abs (W2\ W2)))) (freevar _108)). lambdaterm (freevar _117). lambdaterm (app (freevar _134) (freevar _135)). lambdaterm (app (abs (W1\ abs (W2\ app (abs (W3\ app (abs (W4\ W2)) (abs (W4\ abs (W5\ app W5 (app (abs (W6\ app W3 (abs (W7\ app W7 W3)))) (abs (W6\ app (abs (W7\ abs (W8\ W7))) W2)))))))) W2))) (freevar _1034)). lambdaterm (freevar _1440). lambdaterm (abs (W1\ app (app (abs (W2\ app (app (app W2 W1) W2) W1)) (abs (W2\ W2))) W1)). lambdaterm (app (app (app (app (freevar _93) (abs (W1\ app (app (abs (W2\ W1)) (app (app W1 W1) W1)) W1))) (app (abs (W1\ W1)) (freevar _276))) (app (app (freevar _296) (app (freevar _306) (freevar _307))) (abs (W1\ W1)))) (abs (W1\ abs (W2\ abs (W3\ W3))))). lambdaterm (app (freevar _438) (app (app (freevar _458) (abs (W1\ W1))) (freevar _476))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ abs (W4\ abs (W5\ app (abs (W6\ W4)) W1)))))). lambdaterm (abs (W1\ app (app W1 W1) (abs (W2\ W1)))). lambdaterm (app (app (abs (W1\ abs (W2\ app (app W1 (app W2 (abs (W3\ app W3 (abs (W4\ W1)))))) (app W1 W2)))) (abs (W1\ abs (W2\ app (abs (W3\ abs (W4\ app W3 (abs (W5\ W4))))) (abs (W3\ abs (W4\ app W4 (abs (W5\ app (abs (W6\ W4)) W5))))))))) (freevar _2334)). lambdaterm (freevar _2885). lambdaterm (app (freevar _2902) (abs (W1\ app W1 (abs (W2\ W2))))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (abs (W4\ app W4 W3)) (abs (W4\ app W3 W1)))))). lambdaterm (freevar _7671). lambdaterm (app (app (app (abs (W1\ W1)) (abs (W1\ W1))) (app (freevar _7746) (abs (W1\ app W1 W1)))) (abs (W1\ app (abs (W2\ W2)) (abs (W2\ W2))))). lambdaterm (app (freevar _7905) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 (app W1 W1))). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _8036). lambdaterm (abs (W1\ W1)). lambdaterm (app (freevar _8073) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (app (freevar _119) (freevar _120)). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app W1 (app (abs (W2\ app (abs (W3\ W2)) (abs (W3\ app (abs (W4\ abs (W5\ abs (W6\ abs (W7\ W3))))) (app W3 (app (app (app W1 W1) (app W3 W2)) (app (abs (W4\ W4)) (abs (W4\ W1))))))))) (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 (app W2 (app (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W6))))) W4)))))))))). lambdaterm (freevar _1961). lambdaterm (app (freevar _1978) (abs (W1\ W1))). lambdaterm (app (app (app (freevar _2029) (freevar _2030)) (abs (W1\ abs (W2\ app W1 (abs (W3\ app W3 W2)))))) (freevar _2186)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2258). lambdaterm (abs (W1\ app W1 (app (abs (W2\ W1)) (abs (W2\ app W2 (abs (W3\ abs (W4\ W2)))))))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ abs (W4\ app (abs (W5\ app (app W2 W1) (abs (W6\ app (abs (W7\ W6)) (app (app (app (abs (W7\ W5)) W3) (abs (W7\ abs (W8\ W6)))) (app W3 W5)))))) (abs (W5\ abs (W6\ app W6 (abs (W7\ app W7 W7)))))))) W1) (abs (W3\ W3)))))). lambdaterm (app (app (abs (W1\ app (abs (W2\ abs (W3\ app (abs (W4\ W2)) (abs (W4\ app (app W1 (app (app W2 W1) (app W4 (app W1 (abs (W5\ W2)))))) (app (abs (W5\ abs (W6\ app (app W4 (abs (W7\ abs (W8\ W2)))) W5))) W4)))))) W1)) (freevar _5088)) (app (freevar _5097) (freevar _5099))). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (app (freevar _91409) (abs (W1\ W1))). lambdaterm (app (app (freevar _91453) (app (abs (W1\ abs (W2\ W2))) (app (abs (W1\ W1)) (app (app (abs (W1\ abs (W2\ abs (W3\ W3)))) (freevar _91606)) (abs (W1\ app (abs (W2\ W1)) W1)))))) (freevar _91674)). lambdaterm (freevar _91698). lambdaterm (app (abs (W1\ app W1 (abs (W2\ W1)))) (freevar _91780)). lambdaterm (freevar _91792). lambdaterm (app (freevar _91807) (freevar _91809)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _91836). lambdaterm (abs (W1\ app W1 (abs (W2\ W1)))). lambdaterm (freevar _91924). lambdaterm (freevar _91930). lambdaterm (app (freevar _91947) (abs (W1\ abs (W2\ W2)))). lambdaterm (freevar _132721). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _637068). lambdaterm (app (abs (W1\ abs (W2\ app (app (app W2 W1) (app (app W1 (app W2 (abs (W3\ W1)))) (abs (W3\ W2)))) (app W2 W1)))) (freevar _637463)). lambdaterm (abs (W1\ app (abs (W2\ W2)) (app W1 (abs (W2\ abs (W3\ abs (W4\ app W4 W4))))))). lambdaterm (freevar _637880). lambdaterm (app (app (app (freevar _654355) (abs (W1\ abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ abs (W6\ W3))) (abs (W5\ app (abs (W6\ W5)) W5)))))))) (abs (W1\ abs (W2\ W1)))) (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W3)) W2) (app W2 (abs (W3\ W3)))))))). lambdaterm (app (abs (W1\ W1)) (app (abs (W1\ W1)) (freevar _655286))). lambdaterm (freevar _655293). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (app (freevar _2919606) (abs (W1\ abs (W2\ W1)))). lambdaterm (app (freevar _2933861) (abs (W1\ app W1 (abs (W2\ app (app W1 W2) W2))))). lambdaterm (freevar _2934050). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2934079). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app W2 W3)))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W1))) (abs (W2\ abs (W3\ abs (W4\ app (app (abs (W5\ abs (W6\ W3))) (abs (W5\ W1))) W2))))) (abs (W2\ app W2 (app (app W1 (abs (W3\ W1))) W1))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app W2 W1)) W4)))) W1) (app (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 W3))))) (app (app W1 W1) (app (abs (W2\ W2)) (app (app (app (abs (W2\ W2)) (app W1 (abs (W2\ W2)))) W1) (abs (W2\ abs (W3\ W1))))))))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ W1)) (app W1 W1)))). lambdaterm (app (app (freevar _73) (abs (W1\ abs (W2\ W2)))) (freevar _108)). lambdaterm (freevar _117). lambdaterm (app (freevar _134) (freevar _135)). lambdaterm (app (abs (W1\ abs (W2\ app (abs (W3\ app (abs (W4\ W2)) (abs (W4\ abs (W5\ app W5 (app (abs (W6\ app W3 (abs (W7\ app W7 W3)))) (abs (W6\ app (abs (W7\ abs (W8\ W7))) W2)))))))) W2))) (freevar _1034)). lambdaterm (freevar _1440). lambdaterm (abs (W1\ app (app (abs (W2\ app (app (app W2 W1) W2) W1)) (abs (W2\ W2))) W1)). % new terms lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ app (app W1 W2) (abs (W4\ W1)))) (abs (W3\ abs (W4\ W4)))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W2))) W1) W1)). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (freevar _18404). lambdaterm (abs (W1\ app W1 (abs (W2\ W2)))). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (abs (W1\ W1)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ abs (W2\ W1)))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W1)) (abs (W3\ app W1 (app (app (app W3 (abs (W4\ abs (W5\ abs (W6\ W5))))) (app W2 (abs (W4\ abs (W5\ W5))))) (abs (W4\ abs (W5\ abs (W6\ app W2 W1)))))))) W2)))). lambdaterm (app (app (freevar _98962) (freevar _98963)) (app (freevar _98973) (freevar _98974))). lambdaterm (app (freevar _120314) (abs (W1\ W1))). lambdaterm (abs (W1\ app (abs (W2\ W2)) W1)). lambdaterm (abs (W1\ app W1 (abs (W2\ W2)))). lambdaterm (app (freevar _120509) (freevar _120510)). lambdaterm (app (abs (W1\ app (abs (W2\ app W1 (app W2 (abs (W3\ app W3 W2))))) (abs (W2\ W2)))) (freevar _120788)). lambdaterm (app (app (abs (W1\ W1)) (freevar _120916)) (app (app (app (abs (W1\ app (app (abs (W2\ W1)) W1) (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app (abs (W6\ W3)) W1)) (app (app (app W2 W3) W1) W3))))))) (app (abs (W1\ abs (W2\ W1))) (freevar _121603))) (freevar _121604)) (abs (W1\ abs (W2\ app (abs (W3\ W3)) W1))))). lambdaterm (freevar _122012). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ app (app W1 W2) (abs (W4\ W1)))) (abs (W3\ abs (W4\ W4)))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W2))) W1) W1)). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (freevar _890). % if the next line is added, a compiler error will result: lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (app (freevar _119) (freevar _120)). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app W1 (app (abs (W2\ app (abs (W3\ W2)) (abs (W3\ app (abs (W4\ abs (W5\ abs (W6\ abs (W7\ W3))))) (app W3 (app (app (app W1 W1) (app W3 W2)) (app (abs (W4\ W4)) (abs (W4\ W1))))))))) (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 (app W2 (app (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W6))))) W4)))))))))). lambdaterm (freevar _1961). lambdaterm (app (freevar _1978) (abs (W1\ W1))). lambdaterm (app (app (app (freevar _2029) (freevar _2030)) (abs (W1\ abs (W2\ app W1 (abs (W3\ app W3 W2)))))) (freevar _2186)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2258). lambdaterm (abs (W1\ app W1 (app (abs (W2\ W1)) (abs (W2\ app W2 (abs (W3\ abs (W4\ W2)))))))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ abs (W4\ app (abs (W5\ app (app W2 W1) (abs (W6\ app (abs (W7\ W6)) (app (app (app (abs (W7\ W5)) W3) (abs (W7\ abs (W8\ W6)))) (app W3 W5)))))) (abs (W5\ abs (W6\ app W6 (abs (W7\ app W7 W7)))))))) W1) (abs (W3\ W3)))))). lambdaterm (app (app (abs (W1\ app (abs (W2\ abs (W3\ app (abs (W4\ W2)) (abs (W4\ app (app W1 (app (app W2 W1) (app W4 (app W1 (abs (W5\ W2)))))) (app (abs (W5\ abs (W6\ app (app W4 (abs (W7\ abs (W8\ W2)))) W5))) W4)))))) W1)) (freevar _5088)) (app (freevar _5097) (freevar _5099))). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (app (freevar _91409) (abs (W1\ W1))). lambdaterm (app (app (freevar _91453) (app (abs (W1\ abs (W2\ W2))) (app (abs (W1\ W1)) (app (app (abs (W1\ abs (W2\ abs (W3\ W3)))) (freevar _91606)) (abs (W1\ app (abs (W2\ W1)) W1)))))) (freevar _91674)). lambdaterm (freevar _91698). lambdaterm (app (abs (W1\ app W1 (abs (W2\ W1)))) (freevar _91780)). lambdaterm (freevar _91792). lambdaterm (app (freevar _91807) (freevar _91809)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _91836). lambdaterm (abs (W1\ app W1 (abs (W2\ W1)))). lambdaterm (freevar _91924). lambdaterm (freevar _91930). lambdaterm (app (freevar _91947) (abs (W1\ abs (W2\ W2)))). lambdaterm (freevar _132721). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _637068). lambdaterm (app (abs (W1\ abs (W2\ app (app (app W2 W1) (app (app W1 (app W2 (abs (W3\ W1)))) (abs (W3\ W2)))) (app W2 W1)))) (freevar _637463)). lambdaterm (abs (W1\ app (abs (W2\ W2)) (app W1 (abs (W2\ abs (W3\ abs (W4\ app W4 W4))))))). lambdaterm (freevar _637880). lambdaterm (app (app (app (freevar _654355) (abs (W1\ abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ abs (W6\ W3))) (abs (W5\ app (abs (W6\ W5)) W5)))))))) (abs (W1\ abs (W2\ W1)))) (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W3)) W2) (app W2 (abs (W3\ W3)))))))). lambdaterm (app (abs (W1\ W1)) (app (abs (W1\ W1)) (freevar _655286))). lambdaterm (freevar _655293). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (app (freevar _2919606) (abs (W1\ abs (W2\ W1)))). lambdaterm (app (freevar _2933861) (abs (W1\ app W1 (abs (W2\ app (app W1 W2) W2))))). lambdaterm (freevar _2934050). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2934079). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app W2 W3)))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W1))) (abs (W2\ abs (W3\ abs (W4\ app (app (abs (W5\ abs (W6\ W3))) (abs (W5\ W1))) W2))))) (abs (W2\ app W2 (app (app W1 (abs (W3\ W1))) W1))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app W2 W1)) W4)))) W1) (app (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 W3))))) (app (app W1 W1) (app (abs (W2\ W2)) (app (app (app (abs (W2\ W2)) (app W1 (abs (W2\ W2)))) W1) (abs (W2\ abs (W3\ W1))))))))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ W1)) (app W1 W1)))). lambdaterm (app (app (freevar _73) (abs (W1\ abs (W2\ W2)))) (freevar _108)). lambdaterm (freevar _117). lambdaterm (app (freevar _134) (freevar _135)). lambdaterm (app (abs (W1\ abs (W2\ app (abs (W3\ app (abs (W4\ W2)) (abs (W4\ abs (W5\ app W5 (app (abs (W6\ app W3 (abs (W7\ app W7 W3)))) (abs (W6\ app (abs (W7\ abs (W8\ W7))) W2)))))))) W2))) (freevar _1034)). lambdaterm (freevar _1440). lambdaterm (abs (W1\ app (app (abs (W2\ app (app (app W2 W1) W2) W1)) (abs (W2\ W2))) W1)). lambdaterm (app (app (app (app (freevar _93) (abs (W1\ app (app (abs (W2\ W1)) (app (app W1 W1) W1)) W1))) (app (abs (W1\ W1)) (freevar _276))) (app (app (freevar _296) (app (freevar _306) (freevar _307))) (abs (W1\ W1)))) (abs (W1\ abs (W2\ abs (W3\ W3))))). lambdaterm (app (freevar _438) (app (app (freevar _458) (abs (W1\ W1))) (freevar _476))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ abs (W4\ abs (W5\ app (abs (W6\ W4)) W1)))))). lambdaterm (abs (W1\ app (app W1 W1) (abs (W2\ W1)))). lambdaterm (app (app (abs (W1\ abs (W2\ app (app W1 (app W2 (abs (W3\ app W3 (abs (W4\ W1)))))) (app W1 W2)))) (abs (W1\ abs (W2\ app (abs (W3\ abs (W4\ app W3 (abs (W5\ W4))))) (abs (W3\ abs (W4\ app W4 (abs (W5\ app (abs (W6\ W4)) W5))))))))) (freevar _2334)). lambdaterm (freevar _2885). lambdaterm (app (freevar _2902) (abs (W1\ app W1 (abs (W2\ W2))))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (abs (W4\ app W4 W3)) (abs (W4\ app W3 W1)))))). lambdaterm (freevar _7671). lambdaterm (app (app (app (abs (W1\ W1)) (abs (W1\ W1))) (app (freevar _7746) (abs (W1\ app W1 W1)))) (abs (W1\ app (abs (W2\ W2)) (abs (W2\ W2))))). lambdaterm (app (freevar _7905) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 (app W1 W1))). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _8036). lambdaterm (abs (W1\ W1)). lambdaterm (app (freevar _8073) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (app (freevar _119) (freevar _120)). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app W1 (app (abs (W2\ app (abs (W3\ W2)) (abs (W3\ app (abs (W4\ abs (W5\ abs (W6\ abs (W7\ W3))))) (app W3 (app (app (app W1 W1) (app W3 W2)) (app (abs (W4\ W4)) (abs (W4\ W1))))))))) (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 (app W2 (app (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W6))))) W4)))))))))). lambdaterm (freevar _1961). lambdaterm (app (freevar _1978) (abs (W1\ W1))). lambdaterm (app (app (app (freevar _2029) (freevar _2030)) (abs (W1\ abs (W2\ app W1 (abs (W3\ app W3 W2)))))) (freevar _2186)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2258). lambdaterm (abs (W1\ app W1 (app (abs (W2\ W1)) (abs (W2\ app W2 (abs (W3\ abs (W4\ W2)))))))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ abs (W4\ app (abs (W5\ app (app W2 W1) (abs (W6\ app (abs (W7\ W6)) (app (app (app (abs (W7\ W5)) W3) (abs (W7\ abs (W8\ W6)))) (app W3 W5)))))) (abs (W5\ abs (W6\ app W6 (abs (W7\ app W7 W7)))))))) W1) (abs (W3\ W3)))))). lambdaterm (app (app (abs (W1\ app (abs (W2\ abs (W3\ app (abs (W4\ W2)) (abs (W4\ app (app W1 (app (app W2 W1) (app W4 (app W1 (abs (W5\ W2)))))) (app (abs (W5\ abs (W6\ app (app W4 (abs (W7\ abs (W8\ W2)))) W5))) W4)))))) W1)) (freevar _5088)) (app (freevar _5097) (freevar _5099))). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (app (freevar _91409) (abs (W1\ W1))). lambdaterm (app (app (freevar _91453) (app (abs (W1\ abs (W2\ W2))) (app (abs (W1\ W1)) (app (app (abs (W1\ abs (W2\ abs (W3\ W3)))) (freevar _91606)) (abs (W1\ app (abs (W2\ W1)) W1)))))) (freevar _91674)). lambdaterm (freevar _91698). lambdaterm (app (abs (W1\ app W1 (abs (W2\ W1)))) (freevar _91780)). lambdaterm (freevar _91792). lambdaterm (app (freevar _91807) (freevar _91809)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _91836). lambdaterm (abs (W1\ app W1 (abs (W2\ W1)))). lambdaterm (freevar _91924). lambdaterm (freevar _91930). lambdaterm (app (freevar _91947) (abs (W1\ abs (W2\ W2)))). lambdaterm (freevar _132721). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _637068). lambdaterm (app (abs (W1\ abs (W2\ app (app (app W2 W1) (app (app W1 (app W2 (abs (W3\ W1)))) (abs (W3\ W2)))) (app W2 W1)))) (freevar _637463)). lambdaterm (abs (W1\ app (abs (W2\ W2)) (app W1 (abs (W2\ abs (W3\ abs (W4\ app W4 W4))))))). lambdaterm (freevar _637880). lambdaterm (app (app (app (freevar _654355) (abs (W1\ abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ abs (W6\ W3))) (abs (W5\ app (abs (W6\ W5)) W5)))))))) (abs (W1\ abs (W2\ W1)))) (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W3)) W2) (app W2 (abs (W3\ W3)))))))). lambdaterm (app (abs (W1\ W1)) (app (abs (W1\ W1)) (freevar _655286))). lambdaterm (freevar _655293). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (app (freevar _2919606) (abs (W1\ abs (W2\ W1)))). lambdaterm (app (freevar _2933861) (abs (W1\ app W1 (abs (W2\ app (app W1 W2) W2))))). lambdaterm (freevar _2934050). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2934079). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app W2 W3)))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W1))) (abs (W2\ abs (W3\ abs (W4\ app (app (abs (W5\ abs (W6\ W3))) (abs (W5\ W1))) W2))))) (abs (W2\ app W2 (app (app W1 (abs (W3\ W1))) W1))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app W2 W1)) W4)))) W1) (app (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 W3))))) (app (app W1 W1) (app (abs (W2\ W2)) (app (app (app (abs (W2\ W2)) (app W1 (abs (W2\ W2)))) W1) (abs (W2\ abs (W3\ W1))))))))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ W1)) (app W1 W1)))). lambdaterm (app (app (freevar _73) (abs (W1\ abs (W2\ W2)))) (freevar _108)). lambdaterm (freevar _117). lambdaterm (app (freevar _134) (freevar _135)). lambdaterm (app (abs (W1\ abs (W2\ app (abs (W3\ app (abs (W4\ W2)) (abs (W4\ abs (W5\ app W5 (app (abs (W6\ app W3 (abs (W7\ app W7 W3)))) (abs (W6\ app (abs (W7\ abs (W8\ W7))) W2)))))))) W2))) (freevar _1034)). lambdaterm (freevar _1440). lambdaterm (abs (W1\ app (app (abs (W2\ app (app (app W2 W1) W2) W1)) (abs (W2\ W2))) W1)). lambdaterm (app (app (app (app (freevar _93) (abs (W1\ app (app (abs (W2\ W1)) (app (app W1 W1) W1)) W1))) (app (abs (W1\ W1)) (freevar _276))) (app (app (freevar _296) (app (freevar _306) (freevar _307))) (abs (W1\ W1)))) (abs (W1\ abs (W2\ abs (W3\ W3))))). lambdaterm (app (freevar _438) (app (app (freevar _458) (abs (W1\ W1))) (freevar _476))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ abs (W4\ abs (W5\ app (abs (W6\ W4)) W1)))))). lambdaterm (abs (W1\ app (app W1 W1) (abs (W2\ W1)))). lambdaterm (app (app (abs (W1\ abs (W2\ app (app W1 (app W2 (abs (W3\ app W3 (abs (W4\ W1)))))) (app W1 W2)))) (abs (W1\ abs (W2\ app (abs (W3\ abs (W4\ app W3 (abs (W5\ W4))))) (abs (W3\ abs (W4\ app W4 (abs (W5\ app (abs (W6\ W4)) W5))))))))) (freevar _2334)). lambdaterm (freevar _2885). lambdaterm (app (freevar _2902) (abs (W1\ app W1 (abs (W2\ W2))))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (abs (W4\ app W4 W3)) (abs (W4\ app W3 W1)))))). lambdaterm (freevar _7671). lambdaterm (app (app (app (abs (W1\ W1)) (abs (W1\ W1))) (app (freevar _7746) (abs (W1\ app W1 W1)))) (abs (W1\ app (abs (W2\ W2)) (abs (W2\ W2))))). lambdaterm (app (freevar _7905) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 (app W1 W1))). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _8036). lambdaterm (abs (W1\ W1)). lambdaterm (app (freevar _8073) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (app (freevar _119) (freevar _120)). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app W1 (app (abs (W2\ app (abs (W3\ W2)) (abs (W3\ app (abs (W4\ abs (W5\ abs (W6\ abs (W7\ W3))))) (app W3 (app (app (app W1 W1) (app W3 W2)) (app (abs (W4\ W4)) (abs (W4\ W1))))))))) (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 (app W2 (app (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W6))))) W4)))))))))). lambdaterm (freevar _1961). lambdaterm (app (freevar _1978) (abs (W1\ W1))). lambdaterm (app (app (app (freevar _2029) (freevar _2030)) (abs (W1\ abs (W2\ app W1 (abs (W3\ app W3 W2)))))) (freevar _2186)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2258). lambdaterm (abs (W1\ app W1 (app (abs (W2\ W1)) (abs (W2\ app W2 (abs (W3\ abs (W4\ W2)))))))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ abs (W4\ app (abs (W5\ app (app W2 W1) (abs (W6\ app (abs (W7\ W6)) (app (app (app (abs (W7\ W5)) W3) (abs (W7\ abs (W8\ W6)))) (app W3 W5)))))) (abs (W5\ abs (W6\ app W6 (abs (W7\ app W7 W7)))))))) W1) (abs (W3\ W3)))))). lambdaterm (app (app (abs (W1\ app (abs (W2\ abs (W3\ app (abs (W4\ W2)) (abs (W4\ app (app W1 (app (app W2 W1) (app W4 (app W1 (abs (W5\ W2)))))) (app (abs (W5\ abs (W6\ app (app W4 (abs (W7\ abs (W8\ W2)))) W5))) W4)))))) W1)) (freevar _5088)) (app (freevar _5097) (freevar _5099))). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (app (freevar _91409) (abs (W1\ W1))). lambdaterm (app (app (freevar _91453) (app (abs (W1\ abs (W2\ W2))) (app (abs (W1\ W1)) (app (app (abs (W1\ abs (W2\ abs (W3\ W3)))) (freevar _91606)) (abs (W1\ app (abs (W2\ W1)) W1)))))) (freevar _91674)). lambdaterm (freevar _91698). lambdaterm (app (abs (W1\ app W1 (abs (W2\ W1)))) (freevar _91780)). lambdaterm (freevar _91792). lambdaterm (app (freevar _91807) (freevar _91809)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _91836). lambdaterm (abs (W1\ app W1 (abs (W2\ W1)))). lambdaterm (freevar _91924). lambdaterm (freevar _91930). lambdaterm (app (freevar _91947) (abs (W1\ abs (W2\ W2)))). lambdaterm (freevar _132721). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _637068). lambdaterm (app (abs (W1\ abs (W2\ app (app (app W2 W1) (app (app W1 (app W2 (abs (W3\ W1)))) (abs (W3\ W2)))) (app W2 W1)))) (freevar _637463)). lambdaterm (abs (W1\ app (abs (W2\ W2)) (app W1 (abs (W2\ abs (W3\ abs (W4\ app W4 W4))))))). lambdaterm (freevar _637880). lambdaterm (app (app (app (freevar _654355) (abs (W1\ abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ abs (W6\ W3))) (abs (W5\ app (abs (W6\ W5)) W5)))))))) (abs (W1\ abs (W2\ W1)))) (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W3)) W2) (app W2 (abs (W3\ W3)))))))). lambdaterm (app (abs (W1\ W1)) (app (abs (W1\ W1)) (freevar _655286))). lambdaterm (freevar _655293). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (app (freevar _2919606) (abs (W1\ abs (W2\ W1)))). lambdaterm (app (freevar _2933861) (abs (W1\ app W1 (abs (W2\ app (app W1 W2) W2))))). lambdaterm (freevar _2934050). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2934079). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app W2 W3)))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W1))) (abs (W2\ abs (W3\ abs (W4\ app (app (abs (W5\ abs (W6\ W3))) (abs (W5\ W1))) W2))))) (abs (W2\ app W2 (app (app W1 (abs (W3\ W1))) W1))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app W2 W1)) W4)))) W1) (app (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 W3))))) (app (app W1 W1) (app (abs (W2\ W2)) (app (app (app (abs (W2\ W2)) (app W1 (abs (W2\ W2)))) W1) (abs (W2\ abs (W3\ W1))))))))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ W1)) (app W1 W1)))). lambdaterm (app (app (freevar _73) (abs (W1\ abs (W2\ W2)))) (freevar _108)). lambdaterm (freevar _117). lambdaterm (app (freevar _134) (freevar _135)). lambdaterm (app (abs (W1\ abs (W2\ app (abs (W3\ app (abs (W4\ W2)) (abs (W4\ abs (W5\ app W5 (app (abs (W6\ app W3 (abs (W7\ app W7 W3)))) (abs (W6\ app (abs (W7\ abs (W8\ W7))) W2)))))))) W2))) (freevar _1034)). lambdaterm (freevar _1440). lambdaterm (abs (W1\ app (app (abs (W2\ app (app (app W2 W1) W2) W1)) (abs (W2\ W2))) W1)). % new terms lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ app (app W1 W2) (abs (W4\ W1)))) (abs (W3\ abs (W4\ W4)))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W2))) W1) W1)). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (freevar _18404). lambdaterm (abs (W1\ app W1 (abs (W2\ W2)))). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (abs (W1\ W1)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ abs (W2\ W1)))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W1)) (abs (W3\ app W1 (app (app (app W3 (abs (W4\ abs (W5\ abs (W6\ W5))))) (app W2 (abs (W4\ abs (W5\ W5))))) (abs (W4\ abs (W5\ abs (W6\ app W2 W1)))))))) W2)))). lambdaterm (app (app (freevar _98962) (freevar _98963)) (app (freevar _98973) (freevar _98974))). lambdaterm (app (freevar _120314) (abs (W1\ W1))). lambdaterm (abs (W1\ app (abs (W2\ W2)) W1)). lambdaterm (abs (W1\ app W1 (abs (W2\ W2)))). lambdaterm (app (freevar _120509) (freevar _120510)). lambdaterm (app (abs (W1\ app (abs (W2\ app W1 (app W2 (abs (W3\ app W3 W2))))) (abs (W2\ W2)))) (freevar _120788)). lambdaterm (app (app (abs (W1\ W1)) (freevar _120916)) (app (app (app (abs (W1\ app (app (abs (W2\ W1)) W1) (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app (abs (W6\ W3)) W1)) (app (app (app W2 W3) W1) W3))))))) (app (abs (W1\ abs (W2\ W1))) (freevar _121603))) (freevar _121604)) (abs (W1\ abs (W2\ app (abs (W3\ W3)) W1))))). lambdaterm (freevar _122012). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ app (app W1 W2) (abs (W4\ W1)))) (abs (W3\ abs (W4\ W4)))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W2))) W1) W1)). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (freevar _890). % if the next line is added, a compiler error will result: lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (app (freevar _119) (freevar _120)). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app W1 (app (abs (W2\ app (abs (W3\ W2)) (abs (W3\ app (abs (W4\ abs (W5\ abs (W6\ abs (W7\ W3))))) (app W3 (app (app (app W1 W1) (app W3 W2)) (app (abs (W4\ W4)) (abs (W4\ W1))))))))) (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 (app W2 (app (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W6))))) W4)))))))))). lambdaterm (freevar _1961). lambdaterm (app (freevar _1978) (abs (W1\ W1))). lambdaterm (app (app (app (freevar _2029) (freevar _2030)) (abs (W1\ abs (W2\ app W1 (abs (W3\ app W3 W2)))))) (freevar _2186)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2258). lambdaterm (abs (W1\ app W1 (app (abs (W2\ W1)) (abs (W2\ app W2 (abs (W3\ abs (W4\ W2)))))))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ abs (W4\ app (abs (W5\ app (app W2 W1) (abs (W6\ app (abs (W7\ W6)) (app (app (app (abs (W7\ W5)) W3) (abs (W7\ abs (W8\ W6)))) (app W3 W5)))))) (abs (W5\ abs (W6\ app W6 (abs (W7\ app W7 W7)))))))) W1) (abs (W3\ W3)))))). lambdaterm (app (app (abs (W1\ app (abs (W2\ abs (W3\ app (abs (W4\ W2)) (abs (W4\ app (app W1 (app (app W2 W1) (app W4 (app W1 (abs (W5\ W2)))))) (app (abs (W5\ abs (W6\ app (app W4 (abs (W7\ abs (W8\ W2)))) W5))) W4)))))) W1)) (freevar _5088)) (app (freevar _5097) (freevar _5099))). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (app (freevar _91409) (abs (W1\ W1))). lambdaterm (app (app (freevar _91453) (app (abs (W1\ abs (W2\ W2))) (app (abs (W1\ W1)) (app (app (abs (W1\ abs (W2\ abs (W3\ W3)))) (freevar _91606)) (abs (W1\ app (abs (W2\ W1)) W1)))))) (freevar _91674)). lambdaterm (freevar _91698). lambdaterm (app (abs (W1\ app W1 (abs (W2\ W1)))) (freevar _91780)). lambdaterm (freevar _91792). lambdaterm (app (freevar _91807) (freevar _91809)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _91836). lambdaterm (abs (W1\ app W1 (abs (W2\ W1)))). lambdaterm (freevar _91924). lambdaterm (freevar _91930). lambdaterm (app (freevar _91947) (abs (W1\ abs (W2\ W2)))). lambdaterm (freevar _132721). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _637068). lambdaterm (app (abs (W1\ abs (W2\ app (app (app W2 W1) (app (app W1 (app W2 (abs (W3\ W1)))) (abs (W3\ W2)))) (app W2 W1)))) (freevar _637463)). lambdaterm (abs (W1\ app (abs (W2\ W2)) (app W1 (abs (W2\ abs (W3\ abs (W4\ app W4 W4))))))). lambdaterm (freevar _637880). lambdaterm (app (app (app (freevar _654355) (abs (W1\ abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ abs (W6\ W3))) (abs (W5\ app (abs (W6\ W5)) W5)))))))) (abs (W1\ abs (W2\ W1)))) (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W3)) W2) (app W2 (abs (W3\ W3)))))))). lambdaterm (app (abs (W1\ W1)) (app (abs (W1\ W1)) (freevar _655286))). lambdaterm (freevar _655293). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (app (freevar _2919606) (abs (W1\ abs (W2\ W1)))). lambdaterm (app (freevar _2933861) (abs (W1\ app W1 (abs (W2\ app (app W1 W2) W2))))). lambdaterm (freevar _2934050). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2934079). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app W2 W3)))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W1))) (abs (W2\ abs (W3\ abs (W4\ app (app (abs (W5\ abs (W6\ W3))) (abs (W5\ W1))) W2))))) (abs (W2\ app W2 (app (app W1 (abs (W3\ W1))) W1))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app W2 W1)) W4)))) W1) (app (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 W3))))) (app (app W1 W1) (app (abs (W2\ W2)) (app (app (app (abs (W2\ W2)) (app W1 (abs (W2\ W2)))) W1) (abs (W2\ abs (W3\ W1))))))))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ W1)) (app W1 W1)))). lambdaterm (app (app (freevar _73) (abs (W1\ abs (W2\ W2)))) (freevar _108)). lambdaterm (freevar _117). lambdaterm (app (freevar _134) (freevar _135)). lambdaterm (app (abs (W1\ abs (W2\ app (abs (W3\ app (abs (W4\ W2)) (abs (W4\ abs (W5\ app W5 (app (abs (W6\ app W3 (abs (W7\ app W7 W3)))) (abs (W6\ app (abs (W7\ abs (W8\ W7))) W2)))))))) W2))) (freevar _1034)). lambdaterm (freevar _1440). lambdaterm (abs (W1\ app (app (abs (W2\ app (app (app W2 W1) W2) W1)) (abs (W2\ W2))) W1)). lambdaterm (app (app (app (app (freevar _93) (abs (W1\ app (app (abs (W2\ W1)) (app (app W1 W1) W1)) W1))) (app (abs (W1\ W1)) (freevar _276))) (app (app (freevar _296) (app (freevar _306) (freevar _307))) (abs (W1\ W1)))) (abs (W1\ abs (W2\ abs (W3\ W3))))). lambdaterm (app (freevar _438) (app (app (freevar _458) (abs (W1\ W1))) (freevar _476))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ abs (W4\ abs (W5\ app (abs (W6\ W4)) W1)))))). lambdaterm (abs (W1\ app (app W1 W1) (abs (W2\ W1)))). lambdaterm (app (app (abs (W1\ abs (W2\ app (app W1 (app W2 (abs (W3\ app W3 (abs (W4\ W1)))))) (app W1 W2)))) (abs (W1\ abs (W2\ app (abs (W3\ abs (W4\ app W3 (abs (W5\ W4))))) (abs (W3\ abs (W4\ app W4 (abs (W5\ app (abs (W6\ W4)) W5))))))))) (freevar _2334)). lambdaterm (freevar _2885). lambdaterm (app (freevar _2902) (abs (W1\ app W1 (abs (W2\ W2))))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (abs (W4\ app W4 W3)) (abs (W4\ app W3 W1)))))). lambdaterm (freevar _7671). lambdaterm (app (app (app (abs (W1\ W1)) (abs (W1\ W1))) (app (freevar _7746) (abs (W1\ app W1 W1)))) (abs (W1\ app (abs (W2\ W2)) (abs (W2\ W2))))). lambdaterm (app (freevar _7905) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 (app W1 W1))). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _8036). lambdaterm (abs (W1\ W1)). lambdaterm (app (freevar _8073) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (app (freevar _119) (freevar _120)). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app W1 (app (abs (W2\ app (abs (W3\ W2)) (abs (W3\ app (abs (W4\ abs (W5\ abs (W6\ abs (W7\ W3))))) (app W3 (app (app (app W1 W1) (app W3 W2)) (app (abs (W4\ W4)) (abs (W4\ W1))))))))) (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 (app W2 (app (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W6))))) W4)))))))))). lambdaterm (freevar _1961). lambdaterm (app (freevar _1978) (abs (W1\ W1))). lambdaterm (app (app (app (freevar _2029) (freevar _2030)) (abs (W1\ abs (W2\ app W1 (abs (W3\ app W3 W2)))))) (freevar _2186)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2258). lambdaterm (abs (W1\ app W1 (app (abs (W2\ W1)) (abs (W2\ app W2 (abs (W3\ abs (W4\ W2)))))))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ abs (W4\ app (abs (W5\ app (app W2 W1) (abs (W6\ app (abs (W7\ W6)) (app (app (app (abs (W7\ W5)) W3) (abs (W7\ abs (W8\ W6)))) (app W3 W5)))))) (abs (W5\ abs (W6\ app W6 (abs (W7\ app W7 W7)))))))) W1) (abs (W3\ W3)))))). lambdaterm (app (app (abs (W1\ app (abs (W2\ abs (W3\ app (abs (W4\ W2)) (abs (W4\ app (app W1 (app (app W2 W1) (app W4 (app W1 (abs (W5\ W2)))))) (app (abs (W5\ abs (W6\ app (app W4 (abs (W7\ abs (W8\ W2)))) W5))) W4)))))) W1)) (freevar _5088)) (app (freevar _5097) (freevar _5099))). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (app (freevar _91409) (abs (W1\ W1))). lambdaterm (app (app (freevar _91453) (app (abs (W1\ abs (W2\ W2))) (app (abs (W1\ W1)) (app (app (abs (W1\ abs (W2\ abs (W3\ W3)))) (freevar _91606)) (abs (W1\ app (abs (W2\ W1)) W1)))))) (freevar _91674)). lambdaterm (freevar _91698). lambdaterm (app (abs (W1\ app W1 (abs (W2\ W1)))) (freevar _91780)). lambdaterm (freevar _91792). lambdaterm (app (freevar _91807) (freevar _91809)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _91836). lambdaterm (abs (W1\ app W1 (abs (W2\ W1)))). lambdaterm (freevar _91924). lambdaterm (freevar _91930). lambdaterm (app (freevar _91947) (abs (W1\ abs (W2\ W2)))). lambdaterm (freevar _132721). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _637068). lambdaterm (app (abs (W1\ abs (W2\ app (app (app W2 W1) (app (app W1 (app W2 (abs (W3\ W1)))) (abs (W3\ W2)))) (app W2 W1)))) (freevar _637463)). lambdaterm (abs (W1\ app (abs (W2\ W2)) (app W1 (abs (W2\ abs (W3\ abs (W4\ app W4 W4))))))). lambdaterm (freevar _637880). lambdaterm (app (app (app (freevar _654355) (abs (W1\ abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ abs (W6\ W3))) (abs (W5\ app (abs (W6\ W5)) W5)))))))) (abs (W1\ abs (W2\ W1)))) (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W3)) W2) (app W2 (abs (W3\ W3)))))))). lambdaterm (app (abs (W1\ W1)) (app (abs (W1\ W1)) (freevar _655286))). lambdaterm (freevar _655293). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (app (freevar _2919606) (abs (W1\ abs (W2\ W1)))). lambdaterm (app (freevar _2933861) (abs (W1\ app W1 (abs (W2\ app (app W1 W2) W2))))). lambdaterm (freevar _2934050). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2934079). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app W2 W3)))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W1))) (abs (W2\ abs (W3\ abs (W4\ app (app (abs (W5\ abs (W6\ W3))) (abs (W5\ W1))) W2))))) (abs (W2\ app W2 (app (app W1 (abs (W3\ W1))) W1))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app W2 W1)) W4)))) W1) (app (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 W3))))) (app (app W1 W1) (app (abs (W2\ W2)) (app (app (app (abs (W2\ W2)) (app W1 (abs (W2\ W2)))) W1) (abs (W2\ abs (W3\ W1))))))))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ W1)) (app W1 W1)))). lambdaterm (app (app (freevar _73) (abs (W1\ abs (W2\ W2)))) (freevar _108)). lambdaterm (freevar _117). lambdaterm (app (freevar _134) (freevar _135)). lambdaterm (app (abs (W1\ abs (W2\ app (abs (W3\ app (abs (W4\ W2)) (abs (W4\ abs (W5\ app W5 (app (abs (W6\ app W3 (abs (W7\ app W7 W3)))) (abs (W6\ app (abs (W7\ abs (W8\ W7))) W2)))))))) W2))) (freevar _1034)). lambdaterm (freevar _1440). lambdaterm (abs (W1\ app (app (abs (W2\ app (app (app W2 W1) W2) W1)) (abs (W2\ W2))) W1)). lambdaterm (app (app (app (app (freevar _93) (abs (W1\ app (app (abs (W2\ W1)) (app (app W1 W1) W1)) W1))) (app (abs (W1\ W1)) (freevar _276))) (app (app (freevar _296) (app (freevar _306) (freevar _307))) (abs (W1\ W1)))) (abs (W1\ abs (W2\ abs (W3\ W3))))). lambdaterm (app (freevar _438) (app (app (freevar _458) (abs (W1\ W1))) (freevar _476))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ abs (W4\ abs (W5\ app (abs (W6\ W4)) W1)))))). lambdaterm (abs (W1\ app (app W1 W1) (abs (W2\ W1)))). lambdaterm (app (app (abs (W1\ abs (W2\ app (app W1 (app W2 (abs (W3\ app W3 (abs (W4\ W1)))))) (app W1 W2)))) (abs (W1\ abs (W2\ app (abs (W3\ abs (W4\ app W3 (abs (W5\ W4))))) (abs (W3\ abs (W4\ app W4 (abs (W5\ app (abs (W6\ W4)) W5))))))))) (freevar _2334)). lambdaterm (freevar _2885). lambdaterm (app (freevar _2902) (abs (W1\ app W1 (abs (W2\ W2))))). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (abs (W4\ app W4 W3)) (abs (W4\ app W3 W1)))))). lambdaterm (freevar _7671). lambdaterm (app (app (app (abs (W1\ W1)) (abs (W1\ W1))) (app (freevar _7746) (abs (W1\ app W1 W1)))) (abs (W1\ app (abs (W2\ W2)) (abs (W2\ W2))))). lambdaterm (app (freevar _7905) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 (app W1 W1))). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _8036). lambdaterm (abs (W1\ W1)). lambdaterm (app (freevar _8073) (abs (W1\ W1))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (app (freevar _119) (freevar _120)). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app W1 (app (abs (W2\ app (abs (W3\ W2)) (abs (W3\ app (abs (W4\ abs (W5\ abs (W6\ abs (W7\ W3))))) (app W3 (app (app (app W1 W1) (app W3 W2)) (app (abs (W4\ W4)) (abs (W4\ W1))))))))) (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 (app W2 (app (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W6))))) W4)))))))))). lambdaterm (freevar _1961). lambdaterm (app (freevar _1978) (abs (W1\ W1))). lambdaterm (app (app (app (freevar _2029) (freevar _2030)) (abs (W1\ abs (W2\ app W1 (abs (W3\ app W3 W2)))))) (freevar _2186)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2258). lambdaterm (abs (W1\ app W1 (app (abs (W2\ W1)) (abs (W2\ app W2 (abs (W3\ abs (W4\ W2)))))))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ abs (W4\ app (abs (W5\ app (app W2 W1) (abs (W6\ app (abs (W7\ W6)) (app (app (app (abs (W7\ W5)) W3) (abs (W7\ abs (W8\ W6)))) (app W3 W5)))))) (abs (W5\ abs (W6\ app W6 (abs (W7\ app W7 W7)))))))) W1) (abs (W3\ W3)))))). lambdaterm (app (app (abs (W1\ app (abs (W2\ abs (W3\ app (abs (W4\ W2)) (abs (W4\ app (app W1 (app (app W2 W1) (app W4 (app W1 (abs (W5\ W2)))))) (app (abs (W5\ abs (W6\ app (app W4 (abs (W7\ abs (W8\ W2)))) W5))) W4)))))) W1)) (freevar _5088)) (app (freevar _5097) (freevar _5099))). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (abs (W1\ app (abs (W2\ abs (W3\ W2))) W1)). lambdaterm (app (freevar _91409) (abs (W1\ W1))). lambdaterm (app (app (freevar _91453) (app (abs (W1\ abs (W2\ W2))) (app (abs (W1\ W1)) (app (app (abs (W1\ abs (W2\ abs (W3\ W3)))) (freevar _91606)) (abs (W1\ app (abs (W2\ W1)) W1)))))) (freevar _91674)). lambdaterm (freevar _91698). lambdaterm (app (abs (W1\ app W1 (abs (W2\ W1)))) (freevar _91780)). lambdaterm (freevar _91792). lambdaterm (app (freevar _91807) (freevar _91809)). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _91836). lambdaterm (abs (W1\ app W1 (abs (W2\ W1)))). lambdaterm (freevar _91924). lambdaterm (freevar _91930). lambdaterm (app (freevar _91947) (abs (W1\ abs (W2\ W2)))). lambdaterm (freevar _132721). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _637068). lambdaterm (app (abs (W1\ abs (W2\ app (app (app W2 W1) (app (app W1 (app W2 (abs (W3\ W1)))) (abs (W3\ W2)))) (app W2 W1)))) (freevar _637463)). lambdaterm (abs (W1\ app (abs (W2\ W2)) (app W1 (abs (W2\ abs (W3\ abs (W4\ app W4 W4))))))). lambdaterm (freevar _637880). lambdaterm (app (app (app (freevar _654355) (abs (W1\ abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ abs (W6\ W3))) (abs (W5\ app (abs (W6\ W5)) W5)))))))) (abs (W1\ abs (W2\ W1)))) (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W3)) W2) (app W2 (abs (W3\ W3)))))))). lambdaterm (app (abs (W1\ W1)) (app (abs (W1\ W1)) (freevar _655286))). lambdaterm (freevar _655293). lambdaterm (abs (W1\ W1)). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (app (freevar _2919606) (abs (W1\ abs (W2\ W1)))). lambdaterm (app (freevar _2933861) (abs (W1\ app W1 (abs (W2\ app (app W1 W2) W2))))). lambdaterm (freevar _2934050). lambdaterm (abs (W1\ W1)). lambdaterm (freevar _2934079). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app W2 W3)))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W1))) (abs (W2\ abs (W3\ abs (W4\ app (app (abs (W5\ abs (W6\ W3))) (abs (W5\ W1))) W2))))) (abs (W2\ app W2 (app (app W1 (abs (W3\ W1))) W1))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app W2 W1)) W4)))) W1) (app (abs (W2\ abs (W3\ abs (W4\ abs (W5\ app W3 W3))))) (app (app W1 W1) (app (abs (W2\ W2)) (app (app (app (abs (W2\ W2)) (app W1 (abs (W2\ W2)))) W1) (abs (W2\ abs (W3\ W1))))))))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ W1)) (app W1 W1)))). lambdaterm (app (app (freevar _73) (abs (W1\ abs (W2\ W2)))) (freevar _108)). lambdaterm (freevar _117). lambdaterm (app (freevar _134) (freevar _135)). lambdaterm (app (abs (W1\ abs (W2\ app (abs (W3\ app (abs (W4\ W2)) (abs (W4\ abs (W5\ app W5 (app (abs (W6\ app W3 (abs (W7\ app W7 W3)))) (abs (W6\ app (abs (W7\ abs (W8\ W7))) W2)))))))) W2))) (freevar _1034)). lambdaterm (freevar _1440). lambdaterm (abs (W1\ app (app (abs (W2\ app (app (app W2 W1) W2) W1)) (abs (W2\ W2))) W1)). % new terms lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ app (app W1 W2) (abs (W4\ W1)))) (abs (W3\ abs (W4\ W4)))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W2))) W1) W1)). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (freevar _18404). lambdaterm (abs (W1\ app W1 (abs (W2\ W2)))). lambdaterm (abs (W1\ abs (W2\ W2))). lambdaterm (abs (W1\ W1)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ abs (W2\ W1)))). lambdaterm (abs (W1\ app W1 (abs (W2\ app (app (abs (W3\ W1)) (abs (W3\ app W1 (app (app (app W3 (abs (W4\ abs (W5\ abs (W6\ W5))))) (app W2 (abs (W4\ abs (W5\ W5))))) (abs (W4\ abs (W5\ abs (W6\ app W2 W1)))))))) W2)))). lambdaterm (app (app (freevar _98962) (freevar _98963)) (app (freevar _98973) (freevar _98974))). lambdaterm (app (freevar _120314) (abs (W1\ W1))). lambdaterm (abs (W1\ app (abs (W2\ W2)) W1)). lambdaterm (abs (W1\ app W1 (abs (W2\ W2)))). lambdaterm (app (freevar _120509) (freevar _120510)). lambdaterm (app (abs (W1\ app (abs (W2\ app W1 (app W2 (abs (W3\ app W3 W2))))) (abs (W2\ W2)))) (freevar _120788)). lambdaterm (app (app (abs (W1\ W1)) (freevar _120916)) (app (app (app (abs (W1\ app (app (abs (W2\ W1)) W1) (abs (W2\ abs (W3\ abs (W4\ app (abs (W5\ app (abs (W6\ W3)) W1)) (app (app (app W2 W3) W1) W3))))))) (app (abs (W1\ abs (W2\ W1))) (freevar _121603))) (freevar _121604)) (abs (W1\ abs (W2\ app (abs (W3\ W3)) W1))))). lambdaterm (freevar _122012). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (abs (W1\ abs (W2\ app (abs (W3\ app (app W1 W2) (abs (W4\ W1)))) (abs (W3\ abs (W4\ W4)))))). lambdaterm (abs (W1\ app (app (abs (W2\ abs (W3\ W2))) W1) W1)). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (abs (W1\ app W1 W1)). lambdaterm (abs (W1\ abs (W2\ abs (W3\ app (app (app W1 (abs (W4\ app W2 (app (abs (W5\ abs (W6\ abs (W7\ app (abs (W8\ app (app W6 W3) (abs (W9\ W2)))) W4)))) W1)))) (abs (W4\ abs (W5\ app W5 (abs (W6\ abs (W7\ W2))))))) (abs (W4\ app (app (app (abs (W5\ abs (W6\ abs (W7\ W7)))) W2) (abs (W5\ app (app (abs (W6\ app (app W1 W5) W2)) (abs (W6\ abs (W7\ abs (W8\ abs (W9\ W7)))))) W3))) W4)))))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))). lambdaterm (freevar _890). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (freevar _88909) (app (abs (W1\ app W1 (abs (W2\ W1)))) (app (abs (W1\ W1)) (freevar _89014)))). lambdaterm (app (app (abs (W1\ W1)) (freevar _605)) (abs (W1\ abs (W2\ W2)))). lambdaterm (app (abs (W1\ W1)) (freevar _679)). lambdaterm (freevar _685). lambdaterm (app (app (freevar _711) (abs (W1\ W1))) (freevar _727)). lambdaterm (freevar _890). % if the next line is added, a compiler error will result: lambdaterm (app (abs (W1\ W1)) (abs (W1\ app (app (abs (W2\ W1)) W1) W1))).