fork download 
  1. print "".join(map(chr,((lambda f:f(f))(lambda s:lambda i:lambda h:[i((lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))(h))]+s(s)(i)((lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))(h)) if i((lambda l:l((lambda f:lambda x:x)))(h)) else [])(lambda n:n(lambda a:a+1)(0)))((lambda h:((lambda f:f(f))(lambda s:lambda f:lambda h:lambda o:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))((lambda l:l((lambda f:lambda x:x)))(h)))(lambda:o)(lambda:f(s(s)(f)((lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))(h))(o))((lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))(h)))()))((lambda v:lambda w:((lambda f:f(f))(lambda s:lambda f:lambda h:lambda o:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))((lambda l:l((lambda f:lambda x:x)))(h)))(lambda:o)(lambda:f(s(s)(f)((lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))(h))(o))((lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))(h)))()))(lambda k:lambda g:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(k)(g))(v)(w)))(h)(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))((lambda f:lambda h:((lambda f:f(f))(lambda s:lambda f:lambda h:lambda o:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))((lambda l:l((lambda f:lambda x:x)))(h)))(lambda:o)(lambda:f(s(s)(f)((lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))(h))(o))((lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))(h)))()))(lambda k:lambda g:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(k)(f(g)))(h)(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))((lambda n:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda x:lambda y:(lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(((lambda f:f(f))(lambda s:lambda x:lambda y:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda m:lambda n:((lambda f:f(f))(lambda s:lambda m:lambda n:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(m))(lambda:((lambda f:lambda x:x)))(lambda:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(n))(lambda:(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))(lambda:s(s)((lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))(n)))(m))((lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))(n)))(n)))())()))(n)(m))(x)(y))(lambda:x)(lambda:s(s)((lambda m:lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))(n((lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))((lambda n:lambda f:lambda x:f(n(f)(x)))(m)))))(x)(y))(y))()))(x)(y)))(n)(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))((lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda x:lambda y:(lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(((lambda f:f(f))(lambda s:lambda x:lambda y:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda m:lambda n:((lambda f:f(f))(lambda s:lambda m:lambda n:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(m))(lambda:((lambda f:lambda x:x)))(lambda:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(n))(lambda:(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))(lambda:s(s)((lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))(n)))(m))((lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))(n)))(n)))())()))(n)(m))(x)(y))(lambda:x)(lambda:s(s)((lambda m:lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))(n((lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))((lambda n:lambda f:lambda x:f(n(f)(x)))(m)))))(x)(y))(y))()))(x)(y)))(n)(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))(((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x)))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))))))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))((lambda f:lambda x:x)))))(((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x)))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))((lambda f:lambda x:x))))))((lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda x:lambda y:(lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(((lambda f:f(f))(lambda s:lambda x:lambda y:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda m:lambda n:((lambda f:f(f))(lambda s:lambda m:lambda n:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(m))(lambda:((lambda f:lambda x:x)))(lambda:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(n))(lambda:(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))(lambda:s(s)((lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))(n)))(m))((lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))(n)))(n)))())()))(n)(m))(x)(y))(lambda:x)(lambda:s(s)((lambda m:lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))(n((lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))((lambda n:lambda f:lambda x:f(n(f)(x)))(m)))))(x)(y))(y))()))(x)(y)))(n)(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))(((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))((lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x)))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))))))((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))(((lambda f:f(f))(lambda s:lambda n:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda m:lambda n:((lambda f:f(f))(lambda s:lambda m:lambda n:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(m))(lambda:((lambda f:lambda x:x)))(lambda:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(n))(lambda:(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))(lambda:s(s)((lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))(n)))(m))((lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))(n)))(n)))())()))(n)(m))(n)(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(lambda:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x)))))((lambda n:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(n)((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))))))))(n)))(lambda:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(s(s)(((lambda f:f(f))(lambda s:lambda x:lambda y:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda m:lambda n:((lambda f:f(f))(lambda s:lambda m:lambda n:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(m))(lambda:((lambda f:lambda x:x)))(lambda:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(n))(lambda:(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))(lambda:s(s)((lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))(n)))(m))((lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))(n)))(n)))())()))(n)(m))(x)(y))(lambda:x)(lambda:s(s)((lambda m:lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))(n((lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))((lambda n:lambda f:lambda x:f(n(f)(x)))(m)))))(x)(y))(y))()))(n)(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))))))))))))((lambda n:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(n)((lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))))))))(((lambda f:f(f))(lambda s:lambda q:lambda d:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda m:lambda n:((lambda f:f(f))(lambda s:lambda m:lambda n:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(m))(lambda:((lambda f:lambda x:x)))(lambda:(lambda z:lambda r:lambda u:z(lambda x:r)(u))((lambda n:n(lambda x:((lambda f:lambda x:x)))((((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))(n))(lambda:(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))(lambda:s(s)((lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))(n)))(m))((lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))(n)))(n)))())()))(n)(m))(q)(d))(lambda:(lambda f:lambda x:x))(lambda:(lambda n:lambda f:lambda x:f(n(f)(x)))(s(s)((lambda m:lambda n:(lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))((lambda f:lambda x:x)))(n((lambda l:l(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))((lambda n:lambda f:lambda x:f(n(f)(x)))(m)))))(q)(d))(d)))()))(n)(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))))))))()))(n))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))))))))))))((lambda n:n(lambda l:(lambda l:lambda t:(lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda l:l((lambda f:lambda x:x)))(l)))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))(t)(l)))(l)((lambda l:l((lambda f:lambda x:x)))(l)))(((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda a:lambda b:lambda j:(lambda z:lambda r:lambda u:z(lambda x:r)(u))(j)(b)(a))((lambda f:lambda x:x))((lambda f:lambda x:x))))))(((lambda n:lambda m:n(lambda p:(lambda n:lambda m:m((lambda n:lambda f:lambda x:f(n(f)(x))))(n))(p)(m))((lambda f:lambda x:x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x))))))))))))))))))))))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))(((lambda n:lambda f:lambda x:f(n(f)(x)))((lambda f:lambda x:x)))))))))))))))))))
Success #stdin #stdout 2.44s 7924KB
comments (?)
stdin 
Standard input is empty
stdout 
Fizzbuzz
1
2
Fizz
4
Buzz
Fizz
7
8
Fizz
Buzz
11
Fizz
13
14
Fizzbuzz
16
17
Fizz
19
Buzz
Fizz
22
23
Fizz
Buzz
26
Fizz
28
29
Fizzbuzz
31
32
Fizz
34
Buzz
Fizz
37
38
Fizz
Buzz
41
Fizz
43
44
Fizzbuzz
46
47
Fizz
49
https://ideone.com/iNV1ix
language:
Python (cpython 2.7.16)
created:
10 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!