// Generated by js_of_ocaml 2.4.1
(function(E){"use strict";var
cr=254,ce=".",a9=255,aA='"',a8="E",cg=250,cq="<",cp="(",co="jsError",az="px 'Arial'",cf="input",cd=785140586,cn=512,cl=982028505,cc=" ",ay=")",a7=256,ck="X",cj="Cannot happen in insert_rule",f="",aj=100,a_=" : file already exists",u="T",cb="/",cm="fd ",ci="\n",ch="index out of bounds",a$=">",a6="number";function
fD(a,b,c,d,e){if(d<=b)for(var
f=1;f<=e;f++)c[d+f]=a[b+f];else
for(var
f=e;f>=1;f--)c[d+f]=a[b+f];return 0}function
cy(a,b){throw[0,a,b]}function
bd(a){if(a.charCodeAt(a.length-1)==10)a=a.substr(0,a.length-1);var
b=E.console;b&&b.error&&b.error(a)}var
k=[0];function
bc(a,b){if(!a)return f;if(a&1)return bc(a-1,b)+b;var
c=bc(a>>1,b);return c+c}function
v(a){this.string=this.array=null;if(a!==undefined){this.bytes=this.fullBytes=a;this.last=this.len=a.length}else{this.bytes=this.fullBytes=null;this.len=null;this.last=0}}function
cz(){cy(k[4],new
v(ch))}v.prototype={toJsString:function(){var
a=this.getFullBytes();try{return this.string=decodeURIComponent(escape(a))}catch(f){bd('MlString.toJsString: wrong encoding for "'+a+aA);return a}},toBytes:function(){if(this.string!=null)try{var
a=unescape(encodeURIComponent(this.string))}catch(f){bd('MlString.toBytes: wrong encoding for "'+this.string+aA);var
a=this.string}else{var
a=f,c=this.array,d=c.length;for(var
b=0;b<d;b++)a+=String.fromCharCode(c[b])}this.bytes=this.fullBytes=a;this.last=this.len=a.length;return a},getBytes:function(){var
a=this.bytes;if(a==null)a=this.toBytes();return a},getFullBytes:function(){var
a=this.fullBytes;if(a!==null)return a;a=this.bytes;if(a==null)a=this.toBytes();if(this.last<this.len){this.bytes=a+=bc(this.len-this.last,"\0");this.last=this.len}this.fullBytes=a;return a},toArray:function(){var
c=this.bytes;if(c==null)c=this.toBytes();var
b=[],d=this.last;for(var
a=0;a<d;a++)b[a]=c.charCodeAt(a);for(d=this.len;a<d;a++)b[a]=0;this.string=this.bytes=this.fullBytes=null;this.last=this.len;this.array=b;return b},getArray:function(){var
a=this.array;if(!a)a=this.toArray();return a},getLen:function(){var
a=this.len;if(a!==null)return a;this.toBytes();return this.len},toString:function(){var
a=this.string;return a?a:this.toJsString()},valueOf:function(){var
a=this.string;return a?a:this.toJsString()},blitToArray:function(a,b,c,d){var
g=this.array;if(g)if(c<=a)for(var
e=0;e<d;e++)b[c+e]=g[a+e];else
for(var
e=d-1;e>=0;e--)b[c+e]=g[a+e];else{var
f=this.bytes;if(f==null)f=this.toBytes();var
h=this.last-a;if(d<=h)for(var
e=0;e<d;e++)b[c+e]=f.charCodeAt(a+e);else{for(var
e=0;e<h;e++)b[c+e]=f.charCodeAt(a+e);for(;e<d;e++)b[c+e]=0}}},get:function(a){var
c=this.array;if(c)return c[a];var
b=this.bytes;if(b==null)b=this.toBytes();return a<this.last?b.charCodeAt(a):0},safeGet:function(a){if(this.len==null)this.toBytes();if(a<0||a>=this.len)cz();return this.get(a)},set:function(a,b){var
c=this.array;if(!c){if(this.last==a){this.bytes+=String.fromCharCode(b&a9);this.last++;return 0}c=this.toArray()}else
if(this.bytes!=null)this.bytes=this.fullBytes=this.string=null;c[a]=b&a9;return 0},safeSet:function(a,b){if(this.len==null)this.toBytes();if(a<0||a>=this.len)cz();this.set(a,b)},fill:function(a,b,c){if(a>=this.last&&this.last&&c==0)return;var
d=this.array;if(!d)d=this.toArray();else
if(this.bytes!=null)this.bytes=this.fullBytes=this.string=null;var
f=a+b;for(var
e=a;e<f;e++)d[e]=c},compare:function(a){if(this.string!=null&&a.string!=null){if(this.string<a.string)return-1;if(this.string>a.string)return 1;return 0}var
b=this.getFullBytes(),c=a.getFullBytes();if(b<c)return-1;if(b>c)return 1;return 0},equal:function(a){if(this.string!=null&&a.string!=null)return this.string==a.string;return this.getFullBytes()==a.getFullBytes()},lessThan:function(a){if(this.string!=null&&a.string!=null)return this.string<a.string;return this.getFullBytes()<a.getFullBytes()},lessEqual:function(a){if(this.string!=null&&a.string!=null)return this.string<=a.string;return this.getFullBytes()<=a.getFullBytes()}};function
aF(a){return new
v(a)}function
bb(a,b){cy(a,aF(b))}function
aB(a){bb(k[4],a)}function
fE(){aB(ch)}function
fF(a,b){if(b<0||b>=a.length-1)fE();return a[b+1]}function
cs(a,b,c,d,e){if(e===0)return 0;if(a.array!=null&&c.last==0&&d==0&&e==c.len){c.array=a.array.slice(b,b+e);c.bytes=c.string=null;return 0}if(d===c.last&&c.bytes!=null){var
f=a.bytes;if(f==null)f=a.toBytes();if(b>0||a.last>e)f=f.slice(b,b+e);c.bytes+=f;c.last+=f.length;return 0}var
g=c.array;if(!g)g=c.toArray();else
c.bytes=c.string=null;a.blitToArray(b,g,d,e);return 0}function
N(c,b){if(c.fun)return N(c.fun,b);var
a=c.length,d=a-b.length;if(d==0)return c.apply(null,b);else
if(d<0)return N(c.apply(null,b.slice(0,a)),b.slice(a));else
return function(a){return N(c,b.concat([a]))}}function
fN(a,b){var
c=a[3]<<16,d=b[3]<<16;if(c>d)return 1;if(c<d)return-1;if(a[2]>b[2])return 1;if(a[2]<b[2])return-1;if(a[1]>b[1])return 1;if(a[1]<b[1])return-1;return 0}function
fO(a,b){if(a<b)return-1;if(a==b)return 0;return 1}function
al(a,b,c){var
e=[];for(;;){if(!(c&&a===b))if(a
instanceof
v)if(b
instanceof
v){if(a!==b){var
d=a.compare(b);if(d!=0)return d}}else
return 1;else
if(a
instanceof
Array&&a[0]===(a[0]|0)){var
f=a[0];if(f===cr)f=0;if(f===cg){a=a[1];continue}else
if(b
instanceof
Array&&b[0]===(b[0]|0)){var
g=b[0];if(g===cr)g=0;if(g===cg){b=b[1];continue}else
if(f!=g)return f<g?-1:1;else
switch(f){case
248:var
d=fO(a[2],b[2]);if(d!=0)return d;break;case
251:aB("equal: abstract value");case
a9:var
d=fN(a,b);if(d!=0)return d;break;default:if(a.length!=b.length)return a.length<b.length?-1:1;if(a.length>1)e.push(a,b,1)}}else
return 1}else
if(b
instanceof
v||b
instanceof
Array&&b[0]===(b[0]|0))return-1;else
if(typeof
a!=a6&&a&&a.compare)return a.compare(b,c);else{if(a<b)return-1;if(a>b)return 1;if(a!=b){if(!c)return NaN;if(a==a)return 1;if(b==b)return-1}}if(e.length==0)return 0;var
h=e.pop();b=e.pop();a=e.pop();if(h+1<a.length)e.push(a,b,h+1);a=a[h];b=b[h]}}function
fG(a,b){return al(a,b,true)}function
ct(a){if(a<0)aB("String.create");var
b=new
v();b.bytes=f;b.len=a;return b}function
fI(a,b){return+(al(a,b,false)==0)}function
fK(a,b,c,d){a.fill(b,c,d);return 0}function
fM(a,b){return+(al(a,b,false)>=0)}var
aC={amp:/&/g,lt:/</g,quot:/\"/g,all:/[&<\"]/};function
fP(a){if(!aC.all.test(a))return a;return a.replace(aC.amp,"&amp;").replace(aC.lt,"&lt;").replace(aC.quot,"&quot;")}function
cu(a){var
b=new
v();b.string=a;return b}function
fQ(a){var
c=Array.prototype.slice;return function(){var
b=arguments.length>0?c.call(arguments):[undefined];return N(a,b)}}function
fR(a,b){return+(al(a,b,false)<=0)}function
fS(a,b){return+(al(a,b,false)<0)}function
fJ(a){bb(k[3],a)}function
o(a){a=a.getFullBytes();var
c=[],d=a.length/2;for(var
b=0;b<d;b++)c[b]=(a.charCodeAt(2*b)|a.charCodeAt(2*b+1)<<8)<<16>>16;return c}function
fT(a,b,c){var
p=2,q=3,t=5,e=6,i=7,h=8,k=9,n=1,m=2,s=3,u=4,r=5;if(!a.lex_default){a.lex_base=o(a[n]);a.lex_backtrk=o(a[m]);a.lex_check=o(a[r]);a.lex_trans=o(a[u]);a.lex_default=o(a[s])}var
f,d=b,l=c[p].getArray();if(d>=0){c[i]=c[t]=c[e];c[h]=-1}else
d=-d-1;for(;;){var
g=a.lex_base[d];if(g<0)return-g-1;var
j=a.lex_backtrk[d];if(j>=0){c[i]=c[e];c[h]=j}if(c[e]>=c[q])if(c[k]==0)return-d-1;else
f=a7;else{f=l[c[e]];c[e]++}d=a.lex_check[g+f]==d?a.lex_trans[g+f]:a.lex_default[d];if(d<0){c[e]=c[i];if(c[h]==-1)fJ("lexing: empty token");else
return c[h]}else
if(f==a7)c[k]=0}}function
fU(a,b){var
d=[0];for(var
c=1;c<=a;c++)d[c]=b;return d}function
w(a){bb(k[2],a)}function
cv(a){if(!a.opened)w("Cannot flush a closed channel");if(a.buffer==f)return 0;if(a.output)switch(a.output.length){case
2:a.output(a,a.buffer);break;default:a.output(a.buffer)}a.buffer=f;return 0}function
cx(a){a=a
instanceof
v?a.toString():a;w(a+": No such file or directory")}var
fH=cb;function
aD(a){a=a
instanceof
v?a.toString():a;if(a.charCodeAt(0)!=47)a=fH+a;var
d=a.split(cb),b=[];for(var
c=0;c<d.length;c++)switch(d[c]){case"..":if(b.length>1)b.pop();break;case
ce:break;case
f:if(b.length==0)b.push(f);break;default:b.push(d[c]);break}b.orig=a;return b}function
M(){this.content={}}M.prototype={exists:function(a){return this.content[a]?1:0},mk:function(a,b){this.content[a]=b},get:function(a){return this.content[a]},list:function(){var
a=[];for(var
b
in
this.content)a.push(b);return a},remove:function(a){delete
this.content[a]}};var
aG=new
M();aG.mk(f,new
M());function
ba(a){var
b=aG;for(var
c=0;c<a.length;c++){if(!(b.exists&&b.exists(a[c])))cx(a.orig);b=b.get(a[c])}return b}function
f_(a){var
c=aD(a),b=ba(c);return b
instanceof
M?1:0}function
ak(a){this.data=a}ak.prototype={content:function(){return this.data},truncate:function(){this.data.length=0}};function
fL(a,b){var
e=aD(a),c=aG;for(var
f=0;f<e.length-1;f++){var
d=e[f];if(!c.exists(d))c.mk(d,new
M());c=c.get(d);if(!(c
instanceof
M))w(e.orig+a_)}var
d=e[e.length-1];if(c.exists(d))w(e.orig+a_);if(b
instanceof
M)c.mk(d,b);else
if(b
instanceof
ak)c.mk(d,b);else
if(b
instanceof
v)c.mk(d,new
ak(b.getArray()));else
if(b
instanceof
Array)c.mk(d,new
ak(b));else
if(b.toString)c.mk(d,new
ak(aF(b.toString()).getArray()));else
aB("caml_fs_register");return 0}function
f9(a){var
b=aG,d=aD(a),e,f;for(var
c=0;c<d.length;c++){if(b.auto){e=b.auto;f=c}if(!(b.exists&&b.exists(d[c])))return e?e(d,f):0;b=b.get(d[c])}return 1}function
am(a,b,c){if(k.fds===undefined)k.fds=new
Array();c=c?c:{};var
d={};d.array=b;d.offset=c.append?d.array.length:0;d.flags=c;k.fds[a]=d;k.fd_last_idx=a;return a}function
gb(a,b,c){var
d={};while(b){switch(b[1]){case
0:d.rdonly=1;break;case
1:d.wronly=1;break;case
2:d.append=1;break;case
3:d.create=1;break;case
4:d.truncate=1;break;case
5:d.excl=1;break;case
6:d.binary=1;break;case
7:d.text=1;break;case
8:d.nonblock=1;break}b=b[2]}var
f=a.toString(),h=aD(a);if(d.rdonly&&d.wronly)w(f+" : flags Open_rdonly and Open_wronly are not compatible");if(d.text&&d.binary)w(f+" : flags Open_text and Open_binary are not compatible");if(f9(a)){if(f_(a))w(f+" : is a directory");if(d.create&&d.excl)w(f+a_);var
g=k.fd_last_idx?k.fd_last_idx:0,e=ba(h);if(d.truncate)e.truncate();return am(g+1,e.content(),d)}else
if(d.create){var
g=k.fd_last_idx?k.fd_last_idx:0;fL(a,[]);var
e=ba(h);return am(g+1,e.content(),d)}else
cx(a)}am(0,[]);am(1,[]);am(2,[]);function
fV(a){var
b=k.fds[a];if(b.flags.wronly)w(cm+a+" is writeonly");return{data:b,fd:a,opened:true}}function
ga(a){if(a.charCodeAt(a.length-1)==10)a=a.substr(0,a.length-1);var
b=E.console;b&&b.log&&b.log(a)}var
aE=new
Array();function
f6(a,b){var
e=aF(b),d=e.getLen();for(var
c=0;c<d;c++)a.data.array[a.data.offset+c]=e.get(c);a.data.offset+=d;return 0}function
fW(a){var
b;switch(a){case
1:b=ga;break;case
2:b=bd;break;default:b=f6}var
d=k.fds[a];if(d.flags.rdonly)w(cm+a+" is readonly");var
c={data:d,fd:a,opened:true,buffer:f,output:b};aE[c.fd]=c;return c}function
fX(){var
a=0;for(var
b
in
aE)if(aE[b].opened)a=[0,aE[b],a];return a}function
fY(a,b,c,d){if(!a.opened)w("Cannot output to a closed channel");var
f;if(c==0&&b.getLen()==d)f=b;else{f=ct(d);cs(b,c,f,0,d)}var
e=f.toString(),g=e.lastIndexOf("\n");if(g<0)a.buffer+=e;else{a.buffer+=e.substr(0,g+1);cv(a);a.buffer+=e.substr(g+1)}return 0}if(!Math.imul)Math.imul=function(a,b){return((a>>16)*b<<16)+(a&65535)*b|0};var
fZ=Math.imul;function
f1(a){return+(a
instanceof
Array)}function
f2(a){return a
instanceof
Array?a[0]:1e3}function
f3(a,b,c,d){var
x=a7,R=0,S=1,P=2,Q=3,O=4,K=5,r=6,H=7,F=8,G=9,w=10,N=0,t=1,L=2,M=3,J=4,I=5,p=1,E=2,D=3,q=4,B=5,V=6,h=7,v=8,X=9,W=10,y=11,T=12,U=13,A=14,C=15,z=16,ag=2,af=3,ab=4,aa=5,Z=6,_=7,ad=8,ac=9,$=10,s=11,ae=12,Y=13;if(!a.dgoto){a.defred=o(a[Z]);a.sindex=o(a[ad]);a.check=o(a[Y]);a.rindex=o(a[ac]);a.table=o(a[ae]);a.len=o(a[aa]);a.lhs=o(a[ab]);a.gindex=o(a[$]);a.dgoto=o(a[_])}var
l=0,k,g,f,n,e=b[A],i=b[C],j=b[z];exit:for(;;)switch(c){case
R:i=0;j=0;case
r:k=a.defred[i];if(k!=0){c=w;break}if(b[h]>=0){c=H;break}l=N;break exit;case
S:if(d
instanceof
Array){b[h]=a[af][d[0]+1];b[v]=d[1]}else{b[h]=a[ag][d+1];b[v]=0}case
H:g=a.sindex[i];f=g+b[h];if(g!=0&&f>=0&&f<=a[s]&&a.check[f]==b[h]){c=F;break}g=a.rindex[i];f=g+b[h];if(g!=0&&f>=0&&f<=a[s]&&a.check[f]==b[h]){k=a.table[f];c=w;break}if(j<=0){l=I;break exit}case
K:if(j<3){j=3;for(;;){n=b[p][e+1];g=a.sindex[n];f=g+x;if(g!=0&&f>=0&&f<=a[s]&&a.check[f]==x){c=G;break}else{if(e<=b[V])return t;e--}}}else{if(b[h]==0)return t;b[h]=-1;c=r;break}case
F:b[h]=-1;if(j>0)j--;case
G:i=a.table[f];e++;if(e>=b[B]){l=L;break exit}case
P:b[p][e+1]=i;b[E][e+1]=b[v];b[D][e+1]=b[X];b[q][e+1]=b[W];c=r;break;case
w:var
m=a.len[k];b[y]=e;b[U]=k;b[T]=m;e=e-m+1;m=a.lhs[k];n=b[p][e];g=a.gindex[m];f=g+n;i=g!=0&&f>=0&&f<=a[s]&&a.check[f]==n?a.table[f]:a.dgoto[m];if(e>=b[B]){l=M;break exit}case
Q:l=J;break exit;case
O:b[p][e+1]=i;b[E][e+1]=d;var
u=b[y];b[q][e+1]=b[q][u+1];if(e>u)b[D][e+1]=b[q][u+1];c=r;break;default:return t}b[A]=e;b[C]=i;b[z]=j;return l}function
f4(a,b){k[a+1]=b}var
cw={};function
f5(a,b){cw[a.toString()]=b;return 0}function
f7(a,b){var
c=a.fullBytes,d=b.fullBytes;if(c!=null&&d!=null)return c==d?1:0;return a.getFullBytes()==b.getFullBytes()?1:0}function
f8(){return 32}function
f0(a){return cw[a]}function
f$(a){if(a
instanceof
Array)return a;if(E.RangeError&&a
instanceof
E.RangeError&&a.message&&a.message.match(/maximum call stack/i))return[0,k[9]];if(E.InternalError&&a
instanceof
E.InternalError&&a.message&&a.message.match(/too much recursion/i))return[0,k[9]];if(a
instanceof
E.Error)return[0,f0(co),a];return[0,k[3],cu(String(a))]}var
ax=fF,aw=cs,ag=ct,b8=fM,ca=fP,a5=cu,D=fU,b_=cv,b9=fW,b=aF,a=f4,b$=f5,ai=f7,S=f$;function
e(a,b){return a.length==1?a(b):N(a,[b])}function
j(a,b,c){return a.length==2?a(b,c):N(a,[b,c])}function
ah(a,b,c,d){return a.length==3?a(b,c,d):N(a,[b,c,d])}var
be=[0,b("Failure")],bf=[0,b("Invalid_argument")],F=[0,b("Not_found")],bh=[0,b("Assert_failure")],O=[0,b(f),0,0,-1],bl=[0,b(f),1,0,0],aS=b("#FFFFFF"),bY=[0,-1,-1];a(11,[0,b("Undefined_recursive_module")]);a(10,bh);a(9,[0,b("Sys_blocked_io")]);a(8,[0,b("Stack_overflow")]);a(7,[0,b("Match_failure")]);a(6,F);a(5,[0,b("Division_by_zero")]);a(4,[0,b("End_of_file")]);a(3,bf);a(2,be);a(1,[0,b("Sys_error")]);a(0,[0,b("Out_of_memory")]);var
cD=b("output"),cF=b("Pervasives.do_at_exit"),cG=b("Array.blit"),cH=b("List.map2"),cI=b("String.blit"),cJ=b(f),cN=b("syntax error"),cK=b("Parsing.YYexit"),cL=b("Parsing.Parse_error"),cQ=b("Buffer.add_substring"),cP=b("Buffer.add: cannot grow buffer"),c2=[3,0,3],c3=b(ce),cY=b(a$),cZ=b("</"),cV=b(a$),cW=b(cq),cT=b(ci),cR=b("Format.Empty_queue"),cS=[0,b(f)],c8=b("Js.Error"),c9=b(co),de=b("canvas"),db=b("br"),da=b("textarea"),c$=b(cf),dc=b("Dom_html.Canvas_not_available"),df=b("_"),dg=b("0"),dp=b(ci),dn=[0,b("html.ml"),109,17],dm=b(az),dl=b(az),dk=b(az),dj=b(az),di=b("#55FF55"),du=b("code cannot be unified"),dt=b("Dummy"),dq=b("Fix.Cannot_take"),ds=b("Fix.Unify_Error"),dw=b(f),dz=b(cj),dA=b(cj),dJ=b("go"),dK=b("delete"),dL=b(f),dH=b(cc),dG=b("\xe9\x81\xa9\xe7\x94\xa8\xe5\x8f\xaf\xe8\x83\xbd\xe8\xa6\x8f\xe5\x89\x87\xef\xbc\x9a"),dF=b(f),dD=b(f),dB=b(f),dC=b(f),dx=b(f),dy=b(f),dv=[0,b(f),[0,0,0,0,0]],ej=b(ay),ek=b(","),el=b("get("),eC=b(u),ex=b(a8),ey=b(u),ez=b(u),eA=b(u),eB=b(u),er=b(a8),es=b(ck),et=b(u),eu=b(u),ev=b(u),en=b(ck),eo=b(u),ep=b(a8),eg=b(" : "),eh=b("\xe2\x94\x9c "),ei=b(" = "),ef=b("of Envs"),d$=b(", "),ea=b(":"),eb=b("\xce\xa6"),d_=b("of Env"),d4=b(ay),d5=b("\xe2\x86\x92"),d6=b(cp),d3=b("of Types"),dU=b(ay),dV=b(". "),dW=b("(\xce\xbb"),dX=b(ay),dY=b(cc),dZ=b(cp),dT=b("of Terms"),dO=b("of VarS"),eE=b("TEQUAL"),eF=b("TAPP"),eG=b("TABS"),eH=b("TVAR"),ft=b("parser"),fm=b(u),fj=b(u),eI=[0,259,260,261,262,263,264,265,266,0],eL=b("\xff\xff\x01\0\x02\0\x03\0\x04\0\x05\0\x06\0\x06\0\x06\0\x06\0\b\0\b\0\b\0\x0b\0\x0b\0\x0b\0\f\0\f\0\x07\0\x07\0\t\0\t\0\t\0\t\0\n\0\n\0\n\0\n\0\0\0\0\0\0\0\0\0\0\0"),eM=b("\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x05\0\x03\0\x03\0\x01\0\x01\0\x01\0\x04\0\x01\0\x01\0\x03\0\x02\0\x02\0\x01\0\x01\0\x01\0\x01\0\x03\0\x03\0\x01\0\x05\0\x03\0\x03\0\x02\0\x02\0\x02\0\x02\0\x02\0"),eN=b("\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x0e\0\0\0\0\0\0\0\x1c\0\0\0\0\0\0\0\0\0\0\0\0\0\x12\0\x13\0\x1d\0\0\0\x0e\0\r\0\0\0\x1e\0\0\0\x15\0\x14\0\0\0\x1f\0\0\0\0\0\0\0 \0\0\0\0\0\0\0\0\0\x01\0\0\0\0\0\0\0\x10\0\x11\0\x02\0\x03\0\0\0\0\0\x04\0\x05\0\x0f\0\x1b\0\0\0\0\0\0\0\0\0\x17\0\0\0\f\0\0\0\0\0\x19\0\0\0"),eO=b('\x06\0\x0b\0\x14\0\x19\0\x1e\0"\0\f\0\r\0$\0\x1f\0%\0\x10\0\x11\0'),eP=b(",\x001\xffF\xff7\xff%\xff<\xff\0\0\0\0\0\x001\xffF\xff\0\0\t\xff\x17\xff$\xff\x10\xff?\xff?\xff\0\0\0\0\0\0+\xff\0\0\0\x007\xff\0\0A\xff\0\0\0\0%\xff\0\0\xfc\xfe\0\0<\xff\0\0B\xffI\xffJ\xffK\xff\0\0%\xff%\xff7\xff\0\0\0\0\0\0\0\0@\xff%\xff\0\0\0\0\0\0\0\x007\xff=\xffL\xffH\xff\0\0L\xff\0\0<\xff%\xff\0\0L\xff"),eQ=b("\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x07\xff\0\0\0\0\0\0\0\0\0\0M\xff\0\0\x19\xff\x1b\xff\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x0e\xff\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0 \xffN\xffO\xff\0\0\x12\xff\0\0\0\0\0\0\0\0P\xff"),eR=b("\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x05\0\x02\0\xe4\xff\xff\xff9\0\0\0"),eT=b("\x0f\0/\x000\0\x0e\0#\0\x1a\x001\0\x15\0\r\0\r\0\r\0\r\x006\x007\0\r\0&\0\x18\0\r\0\x18\0'\0:\0\x13\0\x16\0\x18\0\x18\0*\0\x16\0\x16\0\x16\0\n\0(\0\x0b\0\n\0?\0\x0b\0\n\0\x1a\0\x0b\0\x1b\0\x1c\0\x1d\0\x1a\0\x1a\0)\x008\0\x01\0\x02\0\x03\0\x04\0\x05\0\x07\0\b\0\t\0-\0\n\0;\0\x16\0\x17\0\x18\0>\0\n\0\x12\0 \0!\0\x16\0\x17\0\x18\x000\x009\0<\x000\0\x12\0\x13\0+\0,\0.\x002\x003\x004\0=\0\0\x005\x000\0\0\0\0\0\0\0\0\0\t\0\b\0\x07\0\x06\0"),eU=b("\x01\0\x1d\0\x06\x01\x01\0\x05\0\x03\0\n\x01\x02\0\x01\x01\x02\x01\x03\x01\x04\x01(\0)\0\x07\x01\n\0\t\x01\n\x01\x04\x01\n\x010\0\x07\x01\x04\x01\t\x01\n\x01\t\x01\b\x01\t\x01\n\x01\x04\x01\x07\x01\x04\x01\x07\x01=\0\x07\x01\n\x01\x04\x01\n\x01\x01\x01\x02\x01\x03\x01\t\x01\n\x01\x07\x01*\0\x01\0\x02\0\x03\0\x04\0\x05\0\x01\x01\x02\x01\x03\x01\n\x01\x05\x015\0\x01\x01\x02\x01\x03\x01<\0\x05\x01\x01\x01\x02\x01\x03\x01\x01\x01\x02\x01\x03\x01\x06\x01\x04\x01\b\x01\x06\x01\x01\x01\x02\x01\x10\0\x11\0\n\x01\n\x01\x04\x01\x04\x01\x07\x01\xff\xff\x06\x01\x06\x01\xff\xff\xff\xff\xff\xff\xff\xff\n\x01\n\x01\n\x01\n\x01"),eV=b("LPAREN\0RPAREN\0FUN\0ARROW\0COLON\0COMMA\0DARROW\0EOI\0"),eW=b("VAR\0LVAR\0"),fv=b("unknown token"),fu=[0,b("\0\0\xf3\xffM\0\xa0\0\x01\0\xf7\xff\xf8\xff\x01\0\0\0\x01\0\xeb\0\xfd\xff\xfe\xff\x01\x006\x01\x81\x01\xfb\xff\xfa\xff\xf9\xff\xf6\xff"),b("\xff\xff\xff\xff\x0b\0\n\0\f\0\xff\xff\xff\xff\f\0\f\0\f\0\x0b\0\xff\xff\xff\xff\0\0\x0b\0\x03\0\xff\xff\xff\xff\xff\xff\xff\xff"),b("\x01\0\0\0\xff\xff\xff\xff\xff\xff\0\0\0\0\xff\xff\xff\xff\xff\xff\xff\xff\0\0\0\0\xff\xff\xff\xff\xff\xff\0\0\0\0\0\0\0\0"),b("\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\r\0\r\0\0\0\0\0\r\0\r\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\r\0\r\0\0\0\0\0\0\0\0\0\0\0\0\0\f\0\x0b\0\0\0\0\0\x05\0\t\0\x12\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x06\0\x04\0\x13\0\b\0\x11\0\x10\0\0\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\0\0\0\0\0\0\0\0\0\0\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\n\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\x07\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\0\0\0\0\0\0\0\0\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\0\0\0\0\0\0\0\0\0\0\xff\xff\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\0\0\0\0\0\0\0\0\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x0e\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\0\0\0\0\0\0\0\0\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x0f\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\0\0\0\0\0\0\0\0\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0"),b("\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\0\0\r\0\xff\xff\xff\xff\0\0\r\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\0\0\r\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\0\0\0\0\xff\xff\xff\xff\0\0\0\0\x07\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\0\0\0\0\x04\0\0\0\b\0\t\0\xff\xff\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\xff\xff\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\0\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\n\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0e\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\x0f\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"),b(f),b(f),b(f),b(f),b(f),b(f)],fy=b(";;");function
T(a){throw[0,be,a]}function
U(a){throw[0,bf,a]}function
V(a,b){return b8(a,b)?a:b}var
cA=-2147483648-1|0;function
n(a,b){var
c=a.getLen(),e=b.getLen(),d=ag(c+e|0);aw(a,0,d,0,c);aw(b,0,d,c,e);return d}function
W(a){return b(f+a)}fV(0);var
cB=b9(1),cC=b9(2),aH=[0,function(a){var
b=fX(0);for(;;){if(b){var
c=b[2],d=b[1];try{b_(d)}catch(f){}var
b=c;continue}return 0}}];function
bg(a){return e(aH[1],0)}b$(cF,bg);function
an(a,b,c,d,e){if(0<=e)if(0<=b)if(!((a.length-1-e|0)<b))if(0<=d)if(!((c.length-1-e|0)<d))return fD(a,b,c,d,e);return U(cG)}function
y(a,b){if(b){var
c=b[2],d=e(a,b[1]);return[0,d,y(a,c)]}return 0}function
ao(a,b){var
c=b;for(;;){if(c){var
d=c[2];e(a,c[1]);var
c=d;continue}return 0}}function
aI(a,b,c){if(b){if(c){var
d=c[2],e=b[2],f=j(a,b[1],c[1]);return[0,f,aI(a,e,d)]}}else
if(!c)return 0;return U(cH)}function
bi(a,b){var
c=b;for(;;){if(c){var
d=c[1],e=c[2],f=d[2];if(0===fG(d[1],a))return f;var
c=e;continue}throw[0,F]}}function
bj(a,b,c,d,e){if(0<=e)if(0<=b)if(!((a.getLen()-e|0)<b))if(0<=d)if(!((c.getLen()-e|0)<d))return aw(a,b,c,d,e);return U(cI)}var
bk=f8(0),X=fZ(bk/8|0,(1<<(bk-10|0))-1|0)-1|0;function
Y(a){var
b=[0],c=1,d=0,e=0,f=0,g=0,h=0,i=a.getLen(),j=n(a,cJ);return[0,function(a){a[9]=1;return 0},j,i,h,g,f,e,d,c,b,bl,bl]}function
aK(a){var
b=a[6]-a[5]|0,c=ag(b);aw(a[2],a[5],c,0,b);return c}var
P=[0,cK],bm=[0,cL],g=[0,D(aj,0),D(aj,0),D(aj,O),D(aj,O),aj,0,0,0,O,O,0,0,0,0,0,0];function
bn(a){var
b=g[5],c=b*2|0,d=D(c,0),e=D(c,0),f=D(c,O),h=D(c,O);an(g[1],0,d,0,b);g[1]=d;an(g[2],0,e,0,b);g[2]=e;an(g[3],0,f,0,b);g[3]=f;an(g[4],0,h,0,b);g[4]=h;g[5]=c;return 0}var
cM=[0,function(a){return 0}];function
Z(h,b,c,d){var
m=g[11],n=g[14],o=g[6],p=g[15],q=g[7],r=g[8],s=g[16];g[6]=g[14]+1|0;g[7]=b;g[10]=d[12];try{var
f=0,a=0;for(;;)switch(f3(h,g,f,a)){case
1:throw[0,bm];case
2:bn(0);var
f=2,a=0;continue;case
3:bn(0);var
f=3,a=0;continue;case
4:try{var
l=[0,4,e(ax(h[1],g[13]),g)],i=l}catch(f){f=S(f);if(f[1]!==bm)throw f;var
i=[0,5,0]}var
f=i[1],a=i[2];continue;case
5:e(h[14],cN);var
f=5,a=0;continue;default:var
k=e(c,d);g[9]=d[11];g[10]=d[12];var
f=1,a=k;continue}}catch(f){f=S(f);var
j=g[7];g[11]=m;g[14]=n;g[6]=o;g[15]=p;g[7]=q;g[8]=r;g[16]=s;if(f[1]===P)return f[2];cM[1]=function(a){return f1(a)?ax(h[3],f2(a))===j?1:0:ax(h[2],a)===j?1:0};throw f}}function
c(a,b){return ax(a[2],a[11]-b|0)}var
br=[0,0];function
cO(a){return 0}function
bs(a){br[1]=[0,a,br[1]];return 0}function
bt(a,b){var
c=[0,[0,a,0]],d=b[1];if(d){var
e=d[1];b[1]=c;e[2]=c;return 0}b[1]=c;b[2]=c;return 0}var
aL=[0,cR];function
bu(a){var
b=a[2];if(b){var
c=b[1],d=c[2],e=c[1];a[2]=d;if(0===d)a[1]=0;return e}throw[0,aL]}function
aM(a,b){a[13]=a[13]+b[3]|0;return bt(b,a[27])}var
bv=1000000010;function
aN(a,b){return ah(a[17],b,0,b.getLen())}function
ap(a){return e(a[19],0)}function
bw(a,b){return e(a[20],b)}function
G(a,b,c){ap(a);a[11]=1;var
d=(a[6]-c|0)+b|0,e=a[8],f=fR(e,d)?e:d;a[10]=f;a[9]=a[6]-a[10]|0;return bw(a,a[10])}function
bx(a,b){return G(a,0,b)}function
Q(a,b){a[9]=a[9]-b|0;return bw(a,b)}function
by(a){try{for(;;){var
n=a[27][2];if(!n)throw[0,aL];var
i=n[1][1],m=i[1],b=i[2],L=m<0?1:0,Z=i[3],_=L?(a[13]-a[12]|0)<a[9]?1:0:L,M=1-_;if(M){bu(a[27]);var
h=0<=m?m:bv;if(typeof
b===a6)switch(b){case
1:var
w=a[2];if(w)a[2]=w[2];break;case
2:var
x=a[3];if(x)a[3]=x[2];break;case
3:var
y=a[2];if(y)bx(a,y[1][2]);else
ap(a);break;case
4:if(a[10]!==(a[6]-a[9]|0)){var
s=bu(a[27]),N=s[1];a[12]=a[12]-s[3]|0;a[9]=a[9]+N|0}break;case
5:var
j=a[5];if(j){var
O=j[2];aN(a,e(a[24],j[1]));a[5]=O}break;default:var
t=a[3];if(t){var
u=t[1][1],v=function(a,b){if(b){var
c=b[1],d=b[2];return fS(a,c)?[0,a,b]:[0,c,v(a,d)]}return[0,a,0]};u[1]=v(a[6]-a[9]|0,u[1])}}else
switch(b[0]){case
1:var
c=b[2],f=b[1],z=a[2];if(z){var
A=z[1],d=A[2];switch(A[1]){case
1:G(a,c,d);break;case
2:G(a,c,d);break;case
3:if(a[9]<h)G(a,c,d);else
Q(a,f);break;case
4:if(a[11])Q(a,f);else
if(a[9]<h)G(a,c,d);else
if(((a[6]-d|0)+c|0)<a[10])G(a,c,d);else
Q(a,f);break;case
5:Q(a,f);break;default:Q(a,f)}}break;case
2:var
k=a[6]-a[9]|0,B=a[3],R=b[2],T=b[1];if(B){var
C=B[1][1],E=C[1];if(E){var
V=E[1];try{var
g=C[1];for(;;){if(!g)throw[0,F];var
D=g[1],U=g[2];if(!b8(D,k)){var
g=U;continue}var
H=D;break}}catch(f){f=S(f);if(f[1]!==F)throw f;var
H=V}var
l=H}else
var
l=k;var
I=l-k|0;if(0<=I)Q(a,I+T|0);else
G(a,l+R|0,a[6])}break;case
3:var
J=b[2],W=b[1];if(a[8]<(a[6]-a[9]|0)){var
o=a[2];if(o)var
p=o[1],q=p[2],r=p[1],$=a[9]<q?0===r?0:5<=r?1:(bx(a,q),1):0;else
ap(a)}var
X=a[9]-W|0,Y=1===J?1:a[9]<h?J:5;a[2]=[0,[0,Y,X],a[2]];break;case
4:a[3]=[0,b[1],a[3]];break;case
5:var
K=b[1];aN(a,e(a[23],K));a[5]=[0,K,a[5]];break;default:var
P=b[1];a[9]=a[9]-h|0;aN(a,P);a[11]=0}a[12]=Z+a[12]|0;continue}break}}catch(f){f=S(f);if(f[1]===aL)return 0;throw f}return M}function
aq(a,b,c){return[0,a,b,c]}var
bz=[0,[0,-1,aq(-1,cS,0)],0];function
bA(a){a[1]=bz;return 0}function
aO(a,b){var
d=a[1];if(d){var
e=d[1],c=e[2],f=c[1],g=d[2],h=c[2];if(e[1]<a[12])return bA(a);if(typeof
h!==a6)switch(h[0]){case
1:case
2:var
j=b?(c[1]=a[13]+f|0,a[1]=g,0):b;return j;case
3:var
i=1-b,k=i?(c[1]=a[13]+f|0,a[1]=g,0):i;return k}return 0}return 0}var
aJ=ag(80);fK(aJ,0,80,32);function
cU(a){return n(cW,n(a,cV))}function
cX(a){return n(cZ,n(a,cY))}function
c0(a){return 0}function
c1(a){return 0}function
bB(a,b){function
f(a){return 0}var
d=[0,0,0];function
g(a){return 0}var
e=aq(-1,c2,0);bt(e,d);var
c=[0,[0,[0,1,e],bz],0,0,0,0,78,10,68,78,0,1,1,1,1,cA,c3,a,b,g,f,0,0,cU,cX,c0,c1,d];c[19]=function(a){return ah(c[17],cT,0,1)};c[20]=function(a){var
b=a;for(;;){var
d=0<b?1:0;if(d){if(80<b){ah(c[17],aJ,0,80);var
b=b-80|0;continue}return ah(c[17],aJ,0,b)}return d}};return c}function
bC(d){function
a(a){return b_(d)}return bB(function(a,b,c){if(0<=b)if(0<=c)if(!((a.getLen()-c|0)<b))return fY(d,a,b,c);return U(cD)},a)}var
c5=cn,bo=1<=cn?c5:1,bp=X<bo?X:bo,bq=ag(bp),r=[0,bq,0,bp,bq],d=bC(cB);bC(cC);function
c4(a){return 0}bB(function(a,b,c){var
f=b<0?1:0;if(f)var
g=f;else
var
i=c<0?1:0,g=i||((a.getLen()-c|0)<b?1:0);if(g)U(cQ);var
h=r[2]+c|0;if(r[3]<h){var
d=[0,r[3]];for(;;){if(d[1]<(r[2]+c|0)){d[1]=2*d[1]|0;continue}if(X<d[1])if((r[2]+c|0)<=X)d[1]=X;else
T(cP);var
e=ag(d[1]);bj(r[1],0,e,0,r[2]);r[1]=e;r[3]=d[1];break}}bj(a,b,r[1],r[2],c);r[2]=h;return 0},c4);var
cE=aH[1];aH[1]=function(a){var
j=0;for(;;){if(1<d[14]){if(1<d[14]){if(d[14]<d[15]){aM(d,[0,0,1,0]);aO(d,1);aO(d,0)}d[14]=d[14]-1|0}continue}d[13]=bv;by(d);if(j)ap(d);d[12]=1;d[13]=1;var
b=d[27];b[1]=0;b[2]=0;bA(d);d[2]=0;d[3]=0;d[4]=0;d[5]=0;d[10]=0;d[14]=0;d[9]=d[6];d[14]=d[14]+1|0;var
h=3,i=0;if(d[14]<d[15]){var
f=aq(-d[13]|0,[3,i,h],0);aM(d,f);if(0)aO(d,1);d[1]=[0,[0,d[13],f],d[1]]}else
if(d[14]===d[15]){var
g=d[16],c=g.getLen();aM(d,aq(c,[0,g],c));by(d)}e(d[18],0);return e(cE,0)}};var
_=E,bD=null,c6=undefined;function
bE(a){return 1-(a==bD?1:0)}var
ar=false,bF=_.Array,bG=[0,c8];b$(c9,[0,bG,{}][0+1]);var
c7=true;bs(function(a){return a[1]===bG?[0,a5(a[2].toString())]:0});bs(function(a){return a
instanceof
bF?0:[0,a5(a.toString())]});function
bH(a){return a}function
z(a,b){a.appendChild(b);return 0}function
aP(d){return bH(fQ(function(a){if(bE(bH(a))){var
f=e(d,a);if(!(f|0))a.preventDefault();return f}var
c=event,b=e(d,c);if(!(b|0))c.returnValue=b;return b}))}var
H="2d",c_=_.document;function
as(a,b){return a?e(b,a[1]):0}function
aQ(a,b){return a.createElement(b.toString())}function
bI(a,b){return aQ(a,b)}var
bJ=[0,cd];function
bK(a,b,c,d){for(;;){if(0===a)if(0===b)return aQ(c,d);var
h=bJ[1];if(cd===h){try{var
j=c_.createElement('<input name="x">'),k=j.tagName.toLowerCase()===cf?1:0,m=k?j.name==="x"?1:0:k,i=m}catch(f){var
i=0}var
l=i?cl:-1003883683;bJ[1]=l;continue}if(cl<=h){var
e=new
bF();e.push(cq,d.toString());as(a,function(a){e.push(' type="',ca(a),aA);return 0});as(b,function(a){e.push(' name="',ca(a),aA);return 0});e.push(a$);return c.createElement(e.join(f))}var
g=aQ(c,d);as(a,function(a){return g.type=a});as(b,function(a){return g.name=a});return g}}function
bL(a,b,c){return bK(a,b,c,c$)}var
dd=[0,dc];_.HTMLElement===c6;var
at=[0,0],B=_.document,m=bI(B,de),dh=20;if(bE(m.getContext)){m[b("width")]=8e3;m[b("height")]=500;var
aR=function(a){var
b=m.width,c=m.height;return m.getContext(H).clearRect(0,0,b,c)},bM=function(a){var
b=a[2],c=a[1],d=m.getContext(H);d.strokeStyle="#FF0000";return d.strokeRect(c,b+2,a[3]-c,a[4]-b-1)},au=function(a,b){return a.style.backgroundColor=b.toString()},aT=function(a,b){var
c=bL([0,"submit"],0,B);au(c,aS);c.value=a.toString();c.onclick=aP(b);return c},bN=function(a){return bI(B,db)},I=bK(0,0,B,da);I.readOnly=c7;I[b("cols")]=80;I[b("rows")]=10;var
aU=function(a){I.value=I.value.concat(a.toString());return I.scrollTop=I.scrollHeight},p=function(a){return 2===a[0]?a[3]:a[2]},aV=function(a,b){var
c=b[2],d=b[1];return[0,a[1]+d,a[2]+c,a[3]+d,a[4]+c]},J=function(a,b){var
c=a[2],d=a[1];switch(b[0]){case
1:var
f=aV(b[2],[0,d,c]),g=b[1],h=[0,d,c];return[1,y(function(a){return J(h,a)},g),f];case
2:var
i=b[5],j=b[4],k=aV(b[3],[0,d,c]),l=J([0,d,c],b[2]);return[2,J([0,d,c],b[1]),l,k,j,i];default:var
e=aV(b[2],[0,d,c]);return[0,b[1],e]}},$=function(a,b){var
e=a[2],f=a[1],c=p(b),g=c[1]<=f?1:0;if(g){var
h=f<c[3]?1:0;if(h)var
i=c[2]<=e?1:0,d=i?e<c[4]?1:0:i;else
var
d=h}else
var
d=g;return d},bO=function(a,b){var
d=a,c=b;for(;;){if(c){var
e=d[2],f=d[1],g=$([0,f,e],c[1]);if(!g){var
d=[0,f,e],c=c[2];continue}var
h=g}else
var
h=c;return h}},i=function(a){var
b=m.getContext(H);b.font=n(W(20),dj).toString();return[0,a,[0,0,0,b.measureText(a.toString()).width,dh]]},bP=function(a,b,c,d){if(b)var
f=b[1],e=p(f),g=e[1],i=bP(a+(e[3]-g)+c,b[2],c,d),h=[0,J([0,a-g,d-e[4]],f),i];else
var
h=b;return h},K=function(a){var
d=a,c=1,j=0;for(;;){if(d){var
f=p(d[1]),i=V(c,f[4]-f[2]),d=d[2],c=i;continue}var
g=bP(0,a,j,c),b=g;for(;;){if(b){var
e=b[2];if(e){var
b=e;continue}var
h=p(b[1])[3]}else
var
h=0;return[1,g,[0,0,0,h,c]]}}},bQ=function(a,b,c){var
f=p(a),g=f[4],h=p(b),d=m.getContext(H);d.font=n(W(10),dk).toString();var
e=d.measureText(c.toString()).width,i=g+h[4]+6,j=[0,0,0,V(f[3],h[3])+e,i];return[2,a,J([0,0,g+6],b),j,c,e]},av=function(a){switch(a[0]){case
1:return ao(av,a[1]);case
2:var
f=a[2],g=a[1];av(g);av(f);var
h=p(g),i=h[3],d=p(f),j=d[3],k=d[2],l=d[1],s=V(i-h[1],j-l);m.getContext(H).fillRect(l,k-2,s,1);var
t=V(i,j),u=a[4],c=m.getContext(H);c.textBaseline="middle";c.font=n(W(10),dm).toString();return c.fillText(u.toString(),t,k-2);default:var
e=a[2],o=e[2],q=e[1],r=a[1],b=m.getContext(H);b.textBaseline="top";b.font=n(W(20),dl).toString();return b.fillText(r.toString(),q,o)}},C=[0,ds],dr=[0,dq],aa=function(f){var
a=[1,dt,[0,0]],b=[0,function(a){throw[0,F]}];function
g(a){if(ai(a,df))var
c=a;else
try{var
b=bi(a,at[1]);b[1]=b[1]+1|0;var
d=n(a,W(b[1])),c=d}catch(f){f=S(f);if(f[1]!==F)throw f;at[1]=[0,[0,a,[0,0]],at[1]];var
c=n(a,dg)}return[1,c,[0,0]]}function
k(a){return[0,a]}function
m(a,b){return[2,a,b,[0,0]]}function
c(a){switch(a[0]){case
1:var
f=a[2],g=f[1];if(g){var
h=c(g[1]);f[1]=[0,h];return h}return a;case
2:var
d=a[3],i=d[1];if(i){var
j=c(i[1]);d[1]=[0,j];return j}var
b=e(a[2],0);d[1]=[0,b];if(2===b[0])if(!b[3][1])return b;var
k=c(b);d[1]=[0,k];return k;default:return a}}function
o(a){return 0}function
p(a){var
b=c(a);if(0===b[0])return b[1];throw[0,dr]}function
h(d,b){var
a=c(b);switch(a[0]){case
1:return ai(d,a[1]);case
2:return 1;default:var
g=a[1],i=function(a){return h(d,a)},k=j(f[1],i,g);return e(f[4],k)}}function
l(a,b){var
e=c(a),d=c(b);switch(e[0]){case
1:var
k=e[2];switch(d[0]){case
0:var
j=d,m=k,i=e[1],g=1;break;case
1:var
n=k!==d[2]?1:0,o=n?(k[1]=[0,d],0):n;return o;default:var
g=0}break;case
2:var
g=0;break;default:switch(d[0]){case
1:var
j=e,m=d[2],i=d[1],g=1;break;case
2:var
g=0;break;default:return ah(f[2],l,e[1],d[1])}}if(g){if(h(i,j))throw[0,C,i];m[1]=[0,j];return 0}throw[0,C,du]}function
d(a){var
b=c(a);switch(b[0]){case
1:return i(b[1]);case
2:return e(b[1],0);default:var
g=j(f[1],d,b[1]);return e(f[3],g)}}return[0,a,p,h,l,d,g,k,m,c,o,b]},dM=function(a,b){return[0,b[1]]},dN=function(a,b,c){if(ai(b[1],c[1]))return 0;throw[0,C,dO]},dP=function(a){return i(a[1])},l=aa([0,dM,dN,dP,function(a){return 0}]),b2=function(a){return e(l[7],[0,a])},dQ=function(a){switch(a[0]){case
1:var
b=e(l[10],a[1]),c=b||a[2];return c;case
2:var
d=a[1],f=d||a[2];return f;default:return e(l[10],a[1])}},dR=function(a,b){switch(b[0]){case
1:var
c=e(a,b[2]);return[1,b[1],c];case
2:var
d=e(a,b[2]);return[2,e(a,b[1]),d];default:return[0,b[1]]}},dS=function(a,b,c){switch(b[0]){case
1:if(1===c[0]){j(l[4],b[1],c[1]);return j(a,b[2],c[2])}break;case
2:if(2===c[0]){j(a,b[1],c[1]);return j(a,b[2],c[2])}break;default:if(0===c[0])return j(l[4],b[1],c[1])}throw[0,C,dT]},t=aa([0,dR,dS,function(a){switch(a[0]){case
1:var
b=e(l[5],a[1]),c=[0,i(dU),0],d=[0,a[2],c],f=[0,b,[0,i(dV),d]];return K([0,i(dW),f]);case
2:var
g=[0,i(dX),0],h=[0,a[2],g],j=[0,i(dY),h],k=[0,a[1],j];return K([0,i(dZ),k]);default:return e(l[5],a[1])}},dQ]),b3=function(a){return e(t[7],[0,a])},b4=function(a,b){return e(t[7],[1,a,b])},aZ=function(a,b){return e(t[7],[2,a,b])},d0=function(a){if(0===a[0])return 0;var
b=a[1],c=b||a[2];return c},d1=function(a,b){if(0===b[0])return[0,b[1]];var
c=e(a,b[2]);return[1,e(a,b[1]),c]},d2=function(a,b,c){if(0===b[0]){if(0===c[0])if(ai(b[1],c[1]))return 0}else
if(1===c[0]){j(a,b[1],c[1]);return j(a,b[2],c[2])}throw[0,C,d3]},h=aa([0,d1,d2,function(a){if(0===a[0])return i(a[1]);var
b=[0,i(d4),0],c=[0,a[2],b],d=[0,i(d5),c],e=[0,a[1],d];return K([0,i(d6),e])},d0]),a0=function(a,b){return e(h[7],[1,a,b])},d7=function(a){if(a)var
c=e(l[10],a[1]),d=e(h[10],a[2]),f=c||d||a[3],b=f;else
var
b=a;return b},d8=function(a,b){if(b)var
d=e(a,b[3]),c=[0,b[1],b[2],d];else
var
c=b;return c},d9=function(a,b,c){if(b){if(c){j(l[4],b[1],c[1]);j(h[4],b[2],c[2]);return j(a,b[3],c[3])}}else
if(!c)return c;throw[0,C,d_]},s=aa([0,d8,d9,function(a){if(a){var
b=[0,a[3],0],c=[0,i(d$),b],d=[0,e(h[5],a[2]),c],f=[0,i(ea),d];return K([0,e(l[5],a[1]),f])}return i(eb)},d7]),a1=e(s[7],0),a2=function(a,b,c){return e(s[7],[0,a,b,c])},ec=function(a){if(0===a[0]){var
c=e(s[10],a[1]),d=e(t[10],a[2]),f=e(h[10],a[3]),g=c||d||f;return g}var
b=e(h[10],a[1]);return b?b:e(h[10],a[2])},ed=function(a,b){return 0===b[0]?[0,b[1],b[2],b[3]]:[1,b[1],b[2]]},ee=function(a,b,c){if(0===b[0]){if(0===c[0]){j(s[4],b[1],c[1]);j(t[4],b[2],c[2]);return j(h[4],b[3],c[3])}}else
if(1===c[0]){j(h[4],b[1],c[1]);return j(h[4],b[2],c[2])}throw[0,C,ef]},ad=aa([0,ed,ee,function(a){if(0===a[0]){var
b=[0,e(h[5],a[3]),0],c=[0,i(eg),b],d=[0,e(t[5],a[2]),c],f=[0,i(eh),d];return K([0,e(s[5],a[1]),f])}var
g=[0,e(h[5],a[2]),0],j=[0,i(ei),g];return K([0,e(h[5],a[1]),j])},ec]),x=function(a,b,c){return e(ad[7],[0,a,b,c])},b5=function(a,b){return e(ad[7],[1,a,b])},a3=function(c,b){try{var
a=e(s[2],c),f=e(l[2],b);if(!a)throw[0,F];var
k=fI(f,e(l[2],a[1]))?a[2]:a3(a[3],b)}catch(f){var
d=function(a){return a3(c,b)},g=function(a){var
d=[0,i(ej),0],f=[0,e(l[5],b),d],g=[0,i(ek),f],h=[0,e(s[5],c),g];return K([0,i(el),h])};return j(h[8],g,d)}return k},em=function(a){var
b=e(l[6],en),c=e(h[6],eo),d=e(s[6],ep),f=[0,[0,b5(c,a3(d,b)),0],0];return[0,x(d,b3(b),c),f]},eq=function(a){var
b=e(s[6],er),c=e(l[6],es),d=e(t[6],et),f=e(h[6],eu),g=e(h[6],ev),i=[0,[0,x(a2(c,f,b),d,g),0],0],j=a0(f,g);return[0,x(b,b4(c,d),j),i]},ew=function(a){var
b=e(s[6],ex),c=e(t[6],ey),d=e(t[6],ez),f=e(h[6],eA),g=e(h[6],eB),i=[0,[0,x(b,d,f),0],0],j=[0,[0,x(b,c,a0(f,g)),0],i];return[0,x(b,aZ(c,d),g),j]},eD=0,b6=[0,[0,eH,em],[0,[0,eG,eq],[0,[0,eF,ew],[0,[0,eE,function(a){var
b=e(h[6],eC);return[1,b5(b,b)]}],eD]]]],eJ=eI.slice(),eK=[0,257,258,0],eS=90,eX=function(a){throw[0,P,c(a,0)]},eY=function(a){throw[0,P,c(a,0)]},eZ=function(a){throw[0,P,c(a,0)]},e0=function(a){throw[0,P,c(a,0)]},e1=function(a){throw[0,P,c(a,0)]},e2=function(a){return c(a,1)},e3=function(a){var
b=c(a,2);return a2(b,c(a,0),a1)},e4=function(a){var
b=c(a,4),d=c(a,2);return a2(b,d,c(a,0))},e5=function(a){var
b=c(a,0);return e(s[6],b)},e6=function(a){return c(a,1)},e7=function(a){var
b=c(a,2);return a0(b,c(a,0))},e8=function(a){var
b=[0,c(a,0)];return e(h[7],b)},e9=function(a){var
b=c(a,0);return e(h[6],b)},e_=function(a){var
b=c(a,0);return e(l[6],b)},e$=function(a){return b2(c(a,0))},fa=function(a){var
b=c(a,1);return aZ(b,c(a,0))},fb=function(a){var
b=c(a,1);return aZ(b,c(a,0))},fc=function(a){return c(a,1)},fd=function(a){return b3(b2(c(a,0)))},fe=function(a){var
b=c(a,0);return e(t[6],b)},ff=function(a){var
b=c(a,2);return b4(b,c(a,0))},fg=function(a){return c(a,0)},fh=function(a){return c(a,0)},fi=function(a){var
b=c(a,0);return x(a1,b,e(h[6],fj))},fk=function(a){var
b=c(a,2);return x(a1,b,c(a,0))},fl=function(a){var
b=c(a,2),d=c(a,0);return x(b,d,e(h[6],fm))},fn=function(a){var
b=c(a,4),d=c(a,2);return x(b,d,c(a,0))},fo=function(a){return c(a,1)},fp=function(a){return c(a,1)},fq=function(a){return c(a,1)},fr=function(a){return c(a,1)},fs=function(a){return c(a,1)},ae=[0,[0,function(a){return T(ft)},fs,fr,fq,fp,fo,fn,fl,fk,fi,fh,fg,ff,fe,fd,fc,fb,fa,e$,e_,e9,e8,e7,e6,e5,e4,e3,e2,e1,e0,eZ,eY,eX],eJ,eK,eL,eM,eN,eO,eP,eQ,eR,eS,eT,eU,cO,eV,eW],af=function(a){a:for(;;){var
d=0;for(;;){var
b=fT(fu,d,a);if(0<=b){a[11]=a[12];var
c=a[12];a[12]=[0,c[1],c[2],c[3],a[4]+a[6]|0]}if(12<b>>>0){e(a[1],a);var
d=b;continue}switch(b){case
0:continue a;case
1:return 0;case
2:return 1;case
3:return 2;case
4:return 3;case
7:return 4;case
8:return 5;case
9:return 7;case
10:return[1,aK(a)];case
11:return[0,aK(a)];case
12:return T(n(fv,aK(a)));default:return 6}}}},a4=ad[5],fw=ad[4],fx=ad[1],q=function(a){return 0===a[0]?a[3]:a[4]},bR=function(a){return a[1]},aW=function(a){return av(q(a))},bS=function(a,b){var
c=a[2],d=a[1];if(0===b[0]){var
e=J([0,d,c],b[3]);return[0,b[1],b[2],e]}var
f=J([0,d,c],b[4]),g=b[3],h=b[2],i=[0,d,c],j=y(function(a){return bS(i,a)},h);return[1,b[1],j,g,f]},bT=function(a,b){return[0,a,b,bQ(dv,e(a4,a),b)]},bU=function(a,b,c,d){if(b)var
f=b[1],e=p(q(f)),g=e[1],i=bU(a+(e[3]-g)+c,b[2],c,d),h=[0,bS([0,a-g,d-(e[4]-e[2])],f),i];else
var
h=b;return h},L=function(a,b,c){if(0===b)return[1,a,0,c,e(a4,a)];var
g=b,f=1;for(;;){if(g){var
j=p(q(g[1])),l=V(f,j[4]-j[2]),g=g[2],f=l;continue}var
h=bU(0,b,5,f),d=h;for(;;){if(d){var
i=d[2];if(i){var
d=i;continue}var
k=p(q(d[1]))[3]}else
var
k=0;var
m=[1,y(q,h),[0,0,0,k,f]];return[1,a,h,c,bQ(m,e(a4,a),c)]}}},bV=function(a,b){if(0===b[0]){var
c=b[2],d=y(function(a){return bV(dw,a)},c);return L(b[1],d,a)}return bT(b[1],a)},bW=function(a,b){var
c=a[2],d=a[1],e=$([0,d,c],q(b));if(e){if(0===b[0])return bM(p(q(b)));var
f=b[2];if(bO([0,d,c],y(q,f))){var
g=[0,d,c];return ao(function(a){return bW(g,a)},f)}return bM(p(q(b)))}return e},ab=function(a,b,c){if(ai(b,dx))return L(a,0,dy);var
d=e(bi(b,c),0);j(fw,a,d[1]);return bV(b,d)},aX=function(a,b,c,d,e){var
f=c[2],g=c[1];if($([0,g,f],q(b))){if(0===b[0])return ab(a,d,e);var
j=b[2];if(bO([0,g,f],y(q,j))){var
h=ab(a,b[3],e);if(0===h[0])return T(dz);var
k=h[2],l=aI(function(a,b){return aX(bR(a),b,[0,g,f],d,e)},k,j);return L(h[1],l,h[3])}return ab(a,d,e)}if(0===b[0])return ab(a,b[2],e);var
i=ab(a,b[3],e);if(0===i[0])return T(dA);var
m=b[2],n=i[2],o=aI(function(a,b){return aX(bR(a),b,[0,g,f],d,e)},n,m);return L(i[1],o,i[3])},bX=function(a){if(0===a[0])return bT(a[1],a[2]);var
b=a[3],c=y(bX,a[2]);return L(a[1],c,b)},b7=function(a){return Z(ae,1,af,Y(n(a,fy)))},fz=function(a){return Z(ae,3,af,Y(a))};t[11][1]=fz;var
fA=function(a){return Z(ae,2,af,Y(a))};l[11][1]=fA;var
fB=function(a){return Z(ae,4,af,Y(a))};h[11][1]=fB;var
fC=function(a){return Z(ae,5,af,Y(a))};s[11][1]=fC;var
aY=[0,dB],A=[0,L(fx,0,dC)],R=[0,bY],ac=[0,0],bZ=function(a){var
b=ac[1];return ao(function(a){return au(a[2],aS)},b)},b0=function(a){at[1]=0;var
b=b7(aY[1]);return bX(aX(b,A[1],R[1],a,b6))},b1=function(a,b){bZ(0);var
c=q(A[1]);if($(R[1],c)){A[1]=b0(a);aR(0);aW(A[1])}R[1]=bY;return ar},dE=function(a){return b1(dF,a)},dI=function(a){aR(0);aW(A[1]);var
b=m.getBoundingClientRect();R[1]=[0,a.clientX-b.left,a.clientY-b.top];bW(R[1],A[1]);var
d=q(A[1]);if($(R[1],d)){aU(dG);var
c=ac[1];ao(function(a){var
b=a[2],c=a[1];try{b0(c);aU(n(c,dH));var
d=au(b,di)}catch(f){f=S(f);if(f[1]===C)return au(b,aS);throw f}return d},c);aU(dp)}else
bZ(0);return ar};_.onload=aP(function(a){var
b=B.getElementById("main");if(b==bD)throw[0,bh,dn];m.onmousedown=aP(dI);var
d=B.createDocumentFragment();z(d,B.createTextNode("Input Term: "));z(b,d);var
c=bL([0,"text"],0,B);c.value="root judgement";z(b,c);z(b,aT(dJ,function(a){aY[1]=a5(c.value);A[1]=L(b7(aY[1]),0,dD);aR(0);aW(A[1]);return ar}));z(b,bN(0));ac[1]=y(function(a){var
c=a[1],d=aT(c,function(a){return b1(c,a)});z(b,d);return[0,c,d]},b6);var
e=aT(dK,dE);ac[1]=[0,[0,dL,e],ac[1]];z(b,e);z(b,bN(0));z(b,m);return ar});bg(0);return}throw[0,dd]}(function(){return this}()));