OCC python (lambda)

import sys
sys.setrecursionlimit(10000)


fizzbuzz = (lambda k:lambda f:((lambda f:(lambda x:f(lambda y:x(x)(y)))(lambda x:f(lambda y:x(x)(y))))(lambda f:lambda l:lambda x:lambda g:(lambda b:b)(((lambda p:p(lambda x:lambda y:x)))(l))(x)(lambda y:g(f((lambda l:(lambda p:p(lambda x:lambda y:y))((lambda p:p(lambda x:lambda y:y))(l)))(l))(x)(g))((lambda l:(lambda p:p(lambda x:lambda y:x))((lambda p:p(lambda x:lambda y:y))(l)))(l))(y))))(k)(((lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:x))((lambda x:lambda y:x))))(lambda l:lambda x:(lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))(l)(f(x))))(((lambda f:(lambda x:f(lambda y:x(x)(y)))(lambda x:f(lambda y:x(x)(y))))(lambda f:lambda m:lambda n:(lambda b:b)((lambda m:lambda n:(lambda n:n(lambda x:(lambda x:lambda y:y))((lambda x:lambda y:x)))((lambda m:lambda n:n((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y)))(m))(m)(n)))(m)(n))(lambda x:(lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))(f((lambda n:lambda p:lambda x:p(n(p)(x)))(m))(n))(m)(x))(((lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:x))((lambda x:lambda y:x))))))((lambda p:lambda x:p(x)))(((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))))(lambda n:(lambda b:b)((lambda n:n(lambda x:(lambda x:lambda y:y))((lambda x:lambda y:x)))(((lambda f:(lambda x:f(lambda y:x(x)(y)))(lambda x:f(lambda y:x(x)(y))))(lambda f:lambda m:lambda n:(lambda b:b)((lambda m:lambda n:(lambda n:n(lambda x:(lambda x:lambda y:y))((lambda x:lambda y:x)))((lambda m:lambda n:n((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y)))(m))(m)(n)))(n)(m))(lambda x:f((lambda m:lambda n:n((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y)))(m))(m)(n))(n)(x))(m)))(n)(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(p(x))))))((lambda p:lambda x:p(p(p(x)))))))))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))(((lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:x))((lambda x:lambda y:x))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))))))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))))))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))))))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))))))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))))))))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))))))))))((lambda b:b)((lambda n:n(lambda x:(lambda x:lambda y:y))((lambda x:lambda y:x)))(((lambda f:(lambda x:f(lambda y:x(x)(y)))(lambda x:f(lambda y:x(x)(y))))(lambda f:lambda m:lambda n:(lambda b:b)((lambda m:lambda n:(lambda n:n(lambda x:(lambda x:lambda y:y))((lambda x:lambda y:x)))((lambda m:lambda n:n((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y)))(m))(m)(n)))(n)(m))(lambda x:f((lambda m:lambda n:n((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y)))(m))(m)(n))(n)(x))(m)))(n)((lambda p:lambda x:p(p(p(x)))))))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))(((lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:x))((lambda x:lambda y:x))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))))))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))))))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))))))))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))))))))))((lambda b:b)((lambda n:n(lambda x:(lambda x:lambda y:y))((lambda x:lambda y:x)))(((lambda f:(lambda x:f(lambda y:x(x)(y)))(lambda x:f(lambda y:x(x)(y))))(lambda f:lambda m:lambda n:(lambda b:b)((lambda m:lambda n:(lambda n:n(lambda x:(lambda x:lambda y:y))((lambda x:lambda y:x)))((lambda m:lambda n:n((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y)))(m))(m)(n)))(n)(m))(lambda x:f((lambda m:lambda n:n((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y)))(m))(m)(n))(n)(x))(m)))(n)((lambda p:lambda x:p(p(p(p(p(x)))))))))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))(((lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:x))((lambda x:lambda y:x))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))))))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))))))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))))))((lambda m:(lambda k:lambda f:((lambda f:(lambda x:f(lambda y:x(x)(y)))(lambda x:f(lambda y:x(x)(y))))(lambda f:lambda l:lambda x:lambda g:(lambda b:b)(((lambda p:p(lambda x:lambda y:x)))(l))(x)(lambda y:g(f((lambda l:(lambda p:p(lambda x:lambda y:y))((lambda p:p(lambda x:lambda y:y))(l)))(l))(x)(g))((lambda l:(lambda p:p(lambda x:lambda y:x))((lambda p:p(lambda x:lambda y:y))(l)))(l))(y))))(k)(((lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:x))((lambda x:lambda y:x))))(lambda l:lambda x:(lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))(l)(f(x))))(((lambda f:(lambda x:f(lambda y:x(x)(y)))(lambda x:f(lambda y:x(x)(y))))(lambda f:lambda n:(lambda l:lambda x:((lambda f:(lambda x:f(lambda y:x(x)(y)))(lambda x:f(lambda y:x(x)(y))))(lambda f:lambda l:lambda x:lambda g:(lambda b:b)(((lambda p:p(lambda x:lambda y:x)))(l))(x)(lambda y:g(f((lambda l:(lambda p:p(lambda x:lambda y:y))((lambda p:p(lambda x:lambda y:y))(l)))(l))(x)(g))((lambda l:(lambda p:p(lambda x:lambda y:x))((lambda p:p(lambda x:lambda y:y))(l)))(l))(y))))(l)((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))(((lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:x))((lambda x:lambda y:x))))(x))((lambda l:lambda x:(lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:y))((lambda x:lambda y:lambda f:f(x)(y))(x)(l)))))((lambda b:b)((lambda m:lambda n:(lambda n:n(lambda x:(lambda x:lambda y:y))((lambda x:lambda y:x)))((lambda m:lambda n:n((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y)))(m))(m)(n)))(n)((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y))(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x))))))))(((lambda x:lambda y:lambda f:f(x)(y))((lambda x:lambda y:x))((lambda x:lambda y:x))))(lambda x:(f(((lambda f:(lambda x:f(lambda y:x(x)(y)))(lambda x:f(lambda y:x(x)(y))))(lambda f:lambda m:lambda n:(lambda b:b)((lambda m:lambda n:(lambda n:n(lambda x:(lambda x:lambda y:y))((lambda x:lambda y:x)))((lambda m:lambda n:n((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y)))(m))(m)(n)))(n)(m))(lambda x:(lambda n:lambda p:lambda x:p(n(p)(x)))(f((lambda m:lambda n:n((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y)))(m))(m)(n))(n))(x))((lambda p:lambda x:x))))(n)(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))(x))))(((lambda f:(lambda x:f(lambda y:x(x)(y)))(lambda x:f(lambda y:x(x)(y))))(lambda f:lambda m:lambda n:(lambda b:b)((lambda m:lambda n:(lambda n:n(lambda x:(lambda x:lambda y:y))((lambda x:lambda y:x)))((lambda m:lambda n:n((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y)))(m))(m)(n)))(n)(m))(lambda x:f((lambda m:lambda n:n((lambda n:lambda f:lambda x:n(lambda g:lambda h:h(g(f)))(lambda y:x)(lambda y:y)))(m))(m)(n))(n)(x))(m)))(n)(((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda p:lambda x:p(p(x))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))((lambda p:lambda x:p(p(x)))))))))(m))((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda m:lambda n:n((lambda m:lambda n:n((lambda n:lambda p:lambda x:p(n(p)(x))))(m))(m))((lambda p:lambda x:x)))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda p:lambda x:p(p(p(p(p(x))))))))((lambda n:lambda p:lambda x:p(n(p)(x)))((lambda p:lambda x:p(p(p(p(p(x)))))))))))))))))))))))(n)))))

def to_list(x):
	l = []
	while 1:
		l.append((lambda l:(lambda p:p(lambda x:lambda y:x))((lambda p:p(lambda x:lambda y:y))(l)))(x))
		x=(lambda l:(lambda p:p(lambda x:lambda y:y))((lambda p:p(lambda x:lambda y:y))(l)))(x)
		if (lambda x:(lambda b:b)(x)(True)(False))(((lambda p:p(lambda x:lambda y:x)))(x)):
			break
	return l
print(list(map(lambda i:(lambda x:"".join(map(lambda x:(lambda x:chr((lambda x:x(lambda n:n+1)(0))(x)))(x),to_list(x))))(i),to_list(fizzbuzz))))

take a look at the width of the file :)