#include <iostream>
#include <vector>
using namespace std;
int main ()
{
auto n =
[=](auto append){return [=](auto zero){return [=](auto inc){return ([=](auto f){return [=](auto r){return f([=](auto i){return [=](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 r(i)(p(i)(n));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](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 [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](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));};})([=](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 [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](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 [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](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));};})([=](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 [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](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 [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](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));};})([=](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 [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](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 [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](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));};})([=](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 [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](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 [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](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 [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](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));};})([=](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 [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](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 [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](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 [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](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));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](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));};})([=](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 [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](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 [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](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 [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](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));};})([=](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 [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](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 [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](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));};})([=](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 [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](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 [=](auto n){return p(i)(p(i)(n));};})([=](auto i){return [=](auto n){return r(i)(p(i)(n));};});};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](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));};})([=](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 [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](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 [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](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 [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(f([=](auto i){return [=](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));};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](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 [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return p(i)(p(i)(n));};})(r);};})([=](auto i){return [=](auto n){return i(n);};})([=](auto i){return [=](auto n){return n;};});};})(r))))))))))));};})([=](auto a){return [=](auto b){return append(a(inc)(zero));};})([=](auto i){return [=](auto n){return n;};});};};};
auto inc = [](int a){ return ++a; };
auto cat = [](char a){ cout << a; return 0;};
return n(cat)(0)(inc);
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBtYWluICgpCnsKICBhdXRvIG4gPQpbPV0oYXV0byBhcHBlbmQpe3JldHVybiBbPV0oYXV0byB6ZXJvKXtyZXR1cm4gWz1dKGF1dG8gaW5jKXtyZXR1cm4gKFs9XShhdXRvIGYpe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gZihbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIGkobik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIG47fTt9KTt9O30pKGYoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiByKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBpKG4pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBuO307fSk7fTt9KShmKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gaShuKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gbjt9O30pO307fSkoZihbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIGkobik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIG47fTt9KTt9O30pKGYoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiByKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBpKG4pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBuO307fSk7fTt9KShmKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gaShuKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gbjt9O30pO307fSkoZihbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBpKG4pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBuO307fSk7fTt9KShmKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gaShuKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gbjt9O30pO307fSkoZihbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIGkobik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIG47fTt9KTt9O30pKGYoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiAoWz1dKGF1dG8gcCl7cmV0dXJuIFs9XShhdXRvIHIpe3JldHVybiByKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBpKG4pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBuO307fSk7fTt9KShmKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gKFs9XShhdXRvIHApe3JldHVybiBbPV0oYXV0byByKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcihpKShwKGkpKG4pKTt9O30pO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gaShuKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gbjt9O30pO307fSkoZihbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIChbPV0oYXV0byBwKXtyZXR1cm4gWz1dKGF1dG8gcil7cmV0dXJuIHIoaSkocChpKShuKSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiByKGkpKHAoaSkobikpO307fSk7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIHAoaSkocChpKShuKSk7fTt9KShyKTt9O30pKFs9XShhdXRvIGkpe3JldHVybiBbPV0oYXV0byBuKXtyZXR1cm4gcChpKShwKGkpKG4pKTt9O30pKHIpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBwKGkpKHAoaSkobikpO307fSkocik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIGkobik7fTt9KShbPV0oYXV0byBpKXtyZXR1cm4gWz1dKGF1dG8gbil7cmV0dXJuIG47fTt9KTt9O30pKHIpKSkpKSkpKSkpKSk7fTt9KShbPV0oYXV0byBhKXtyZXR1cm4gWz1dKGF1dG8gYil7cmV0dXJuIGFwcGVuZChhKGluYykoemVybykpO307fSkoWz1dKGF1dG8gaSl7cmV0dXJuIFs9XShhdXRvIG4pe3JldHVybiBuO307fSk7fTt9O307CiAgYXV0byBpbmMgPSBbXShpbnQgYSl7IHJldHVybiArK2E7IH07CiAgYXV0byBjYXQgPSBbXShjaGFyIGEpeyBjb3V0IDw8IGE7IHJldHVybiAwO307CiAgcmV0dXJuIG4oY2F0KSgwKShpbmMpOwp9Cg==