gistfile1.txt

λf.λx.f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)(f(λa.λb.a)(f(λa.λb.b)x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))