fork download
  1.  
  2. #include <iostream>
  3.  
  4. using namespace std;
  5.  
  6. int main ()
  7. {
  8. setlocale(LC_CTYPE, "");
  9. auto n =
  10. [](auto append){return [append](auto zero){return [append,zero](auto inc){return ([](auto f){return [f](auto r){return f([](auto i){return [i](auto n){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](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 ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](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 ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](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 ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](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 ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](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 ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](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 ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](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 ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](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 ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](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 ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](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 ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](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 ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](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 ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](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 ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return ([i,n](auto p){return [i,n,p](auto r){return r(i)(p(i)(n));};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})(r);};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](auto n){return p(i)(p(i)(n));};})([p,r](auto i){return [i,p,r](auto n){return r(i)(p(i)(n));};});};})([p](auto i){return [i,p](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;};});};})(r))))))))))))));};})([append,inc,zero](auto a){return [a,append,inc,zero](auto b){return append(a(inc)(zero));};})([](auto i){return [](auto n){return n;};});};};}
  11.  
  12.  
  13. ;auto inc = [](int a){ return ++a; };
  14. auto cat = [](wchar_t a){ wcout << a; return 0;};
  15. return n(cat)(0)(inc);
  16. }
  17.  
Compilation error #stdin compilation error #stdout 0s 0KB
stdin
Standard input is empty
compilation info
cc1plus: out of memory allocating 16777144 bytes after a total of 48754688 bytes
stdout
Standard output is empty