#include <iostream>
using namespace std;
int main ()
{
setlocale(LC_CTYPE, "");
auto n =
[](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;};});};};}
;auto inc = [](int a){ return ++a; };
auto cat = [](wchar_t a){ wcout << a; return 0;};
return n(cat)(0)(inc);
}
CiNpbmNsdWRlIDxpb3N0cmVhbT4KIAp1c2luZyBuYW1lc3BhY2Ugc3RkOwogCmludCBtYWluICgpCnsKICBzZXRsb2NhbGUoTENfQ1RZUEUsICIiKTsKICBhdXRvIG4gPQpbXShhdXRvIGFwcGVuZCl7cmV0dXJuIFthcHBlbmRdKGF1dG8gemVybyl7cmV0dXJuIFthcHBlbmQsemVyb10oYXV0byBpbmMpe3JldHVybiAoW10oYXV0byBmKXtyZXR1cm4gW2ZdKGF1dG8gcil7cmV0dXJuIGYoW10oYXV0byBpKXtyZXR1cm4gW2ldKGF1dG8gbil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbcCxyXShhdXRvIGkpe3JldHVybiBbaSxwLHJdKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbXShhdXRvIGkpe3JldHVybiBbaV0oYXV0byBuKXtyZXR1cm4gaShuKTt9O30pKFtdKGF1dG8gaSl7cmV0dXJuIFtdKGF1dG8gbil7cmV0dXJuIG47fTt9KTt9O30pKGYoW10oYXV0byBpKXtyZXR1cm4gW2ldKGF1dG8gbil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbcCxyXShhdXRvIGkpe3JldHVybiBbaSxwLHJdKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW10oYXV0byBpKXtyZXR1cm4gW2ldKGF1dG8gbil7cmV0dXJuIGkobik7fTt9KShbXShhdXRvIGkpe3JldHVybiBbXShhdXRvIG4pe3JldHVybiBuO307fSk7fTt9KShmKFtdKGF1dG8gaSl7cmV0dXJuIFtpXShhdXRvIG4pe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiByKGkpKHAoaSkobikpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbXShhdXRvIGkpe3JldHVybiBbaV0oYXV0byBuKXtyZXR1cm4gaShuKTt9O30pKFtdKGF1dG8gaSl7cmV0dXJuIFtdKGF1dG8gbil7cmV0dXJuIG47fTt9KTt9O30pKGYoW10oYXV0byBpKXtyZXR1cm4gW2ldKGF1dG8gbil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbcCxyXShhdXRvIGkpe3JldHVybiBbaSxwLHJdKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW10oYXV0byBpKXtyZXR1cm4gW2ldKGF1dG8gbil7cmV0dXJuIGkobik7fTt9KShbXShhdXRvIGkpe3JldHVybiBbXShhdXRvIG4pe3JldHVybiBuO307fSk7fTt9KShmKFtdKGF1dG8gaSl7cmV0dXJuIFtpXShhdXRvIG4pe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiByKGkpKHAoaSkobikpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbcCxyXShhdXRvIGkpe3JldHVybiBbaSxwLHJdKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtdKGF1dG8gaSl7cmV0dXJuIFtpXShhdXRvIG4pe3JldHVybiBpKG4pO307fSkoW10oYXV0byBpKXtyZXR1cm4gW10oYXV0byBuKXtyZXR1cm4gbjt9O30pO307fSkoZihbXShhdXRvIGkpe3JldHVybiBbaV0oYXV0byBuKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbcCxyXShhdXRvIGkpe3JldHVybiBbaSxwLHJdKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbcCxyXShhdXRvIGkpe3JldHVybiBbaSxwLHJdKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbXShhdXRvIGkpe3JldHVybiBbaV0oYXV0byBuKXtyZXR1cm4gaShuKTt9O30pKFtdKGF1dG8gaSl7cmV0dXJuIFtdKGF1dG8gbil7cmV0dXJuIG47fTt9KTt9O30pKGYoW10oYXV0byBpKXtyZXR1cm4gW2ldKGF1dG8gbil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtdKGF1dG8gaSl7cmV0dXJuIFtpXShhdXRvIG4pe3JldHVybiBpKG4pO307fSkoW10oYXV0byBpKXtyZXR1cm4gW10oYXV0byBuKXtyZXR1cm4gbjt9O30pO307fSkoZihbXShhdXRvIGkpe3JldHVybiBbaV0oYXV0byBuKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbcCxyXShhdXRvIGkpe3JldHVybiBbaSxwLHJdKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW10oYXV0byBpKXtyZXR1cm4gW2ldKGF1dG8gbil7cmV0dXJuIGkobik7fTt9KShbXShhdXRvIGkpe3JldHVybiBbXShhdXRvIG4pe3JldHVybiBuO307fSk7fTt9KShmKFtdKGF1dG8gaSl7cmV0dXJuIFtpXShhdXRvIG4pe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiByKGkpKHAoaSkobikpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbcCxyXShhdXRvIGkpe3JldHVybiBbaSxwLHJdKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbcCxyXShhdXRvIGkpe3JldHVybiBbaSxwLHJdKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtdKGF1dG8gaSl7cmV0dXJuIFtpXShhdXRvIG4pe3JldHVybiBpKG4pO307fSkoW10oYXV0byBpKXtyZXR1cm4gW10oYXV0byBuKXtyZXR1cm4gbjt9O30pO307fSkoZihbXShhdXRvIGkpe3JldHVybiBbaV0oYXV0byBuKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbcCxyXShhdXRvIGkpe3JldHVybiBbaSxwLHJdKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbXShhdXRvIGkpe3JldHVybiBbaV0oYXV0byBuKXtyZXR1cm4gaShuKTt9O30pKFtdKGF1dG8gaSl7cmV0dXJuIFtdKGF1dG8gbil7cmV0dXJuIG47fTt9KTt9O30pKGYoW10oYXV0byBpKXtyZXR1cm4gW2ldKGF1dG8gbil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW10oYXV0byBpKXtyZXR1cm4gW2ldKGF1dG8gbil7cmV0dXJuIGkobik7fTt9KShbXShhdXRvIGkpe3JldHVybiBbXShhdXRvIG4pe3JldHVybiBuO307fSk7fTt9KShmKFtdKGF1dG8gaSl7cmV0dXJuIFtpXShhdXRvIG4pe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiAoW2ksbl0oYXV0byBwKXtyZXR1cm4gW2ksbixwXShhdXRvIHIpe3JldHVybiByKGkpKHAoaSkobikpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbcCxyXShhdXRvIGkpe3JldHVybiBbaSxwLHJdKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtdKGF1dG8gaSl7cmV0dXJuIFtpXShhdXRvIG4pe3JldHVybiBpKG4pO307fSkoW10oYXV0byBpKXtyZXR1cm4gW10oYXV0byBuKXtyZXR1cm4gbjt9O30pO307fSkoZihbXShhdXRvIGkpe3JldHVybiBbaV0oYXV0byBuKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gKFtpLG5dKGF1dG8gcCl7cmV0dXJuIFtpLG4scF0oYXV0byByKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbXShhdXRvIGkpe3JldHVybiBbaV0oYXV0byBuKXtyZXR1cm4gaShuKTt9O30pKFtdKGF1dG8gaSl7cmV0dXJuIFtdKGF1dG8gbil7cmV0dXJuIG47fTt9KTt9O30pKGYoW10oYXV0byBpKXtyZXR1cm4gW2ldKGF1dG8gbil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIChbaSxuXShhdXRvIHApe3JldHVybiBbaSxuLHBdKGF1dG8gcil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFtwLHJdKGF1dG8gaSl7cmV0dXJuIFtpLHAscl0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoW3BdKGF1dG8gaSl7cmV0dXJuIFtpLHBdKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbcCxyXShhdXRvIGkpe3JldHVybiBbaSxwLHJdKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFtwXShhdXRvIGkpe3JldHVybiBbaSxwXShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoW3Ascl0oYXV0byBpKXtyZXR1cm4gW2kscCxyXShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbcF0oYXV0byBpKXtyZXR1cm4gW2kscF0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoW10oYXV0byBpKXtyZXR1cm4gW2ldKGF1dG8gbil7cmV0dXJuIGkobik7fTt9KShbXShhdXRvIGkpe3JldHVybiBbXShhdXRvIG4pe3JldHVybiBuO307fSk7fTt9KShyKSkpKSkpKSkpKSkpKSk7fTt9KShbYXBwZW5kLGluYyx6ZXJvXShhdXRvIGEpe3JldHVybiBbYSxhcHBlbmQsaW5jLHplcm9dKGF1dG8gYil7cmV0dXJuIGFwcGVuZChhKGluYykoemVybykpO307fSkoW10oYXV0byBpKXtyZXR1cm4gW10oYXV0byBuKXtyZXR1cm4gbjt9O30pO307fTt9CgoKICA7YXV0byBpbmMgPSBbXShpbnQgYSl7IHJldHVybiArK2E7IH07CiAgYXV0byBjYXQgPSBbXSh3Y2hhcl90IGEpeyB3Y291dCA8PCBhOyByZXR1cm4gMDt9OwogIHJldHVybiBuKGNhdCkoMCkoaW5jKTsKfQo=