fork download

#include <iostream>
 
using namespace std;
 
int main ()
{
 
  auto n = [](auto append){return [append](auto zero){return [=](auto inc){return ([](auto f){return [f](auto r){return f([](auto i){return [i](auto n){return i(i(i(i(i(i(i(i(i(n)))))))));};})(f([](auto i){return [i](auto n){return i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(i(n)))))))))))))))))))))))))))));};})(f([](auto i){return [](auto n){return n;};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [](auto n){return n;};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [](auto n){return n;};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [](auto n){return n;};})(f([](auto i){return [i](auto n){return i(i(i(i(i(i(i(i(i(i(i(i(n))))))))))));};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [](auto n){return n;};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [](auto n){return n;};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [](auto n){return n;};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [](auto n){return n;};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [](auto n){return n;};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(f([](auto i){return [](auto n){return n;};})(f([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(r)))))))))))))))))))))))))))))))))))))))))))))))));};})([=](auto a){return [=](auto b){return append(([a](auto i){return [=](auto n){return a(i)(([](auto i){return [i](auto n){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return ([=](auto p){return [=](auto r){return r(i)(p(i)(n));};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([](auto i){return [i](auto n){return i(n);};})([](auto i){return [](auto n){return n;};});};})(i)(n));};})(inc)(zero));};})([](auto i){return [](auto n){return n;};});};};};
  auto inc = [](int a){ return ++a; };
  auto cat = [](wchar_t a){ wcout << a; return 0;};
  return n(cat)(0)(inc);
}