$wnd.webSimple.runAsyncCallback8("function qie(){}\nfunction yie(){}\nfunction Sxe(){}\nfunction j2e(){}\nfunction k2e(){}\nfunction l2e(){}\nfunction m2e(){}\nfunction n2e(){}\nfunction o2e(){}\nfunction p2e(){}\nfunction q2e(){}\nfunction wwf(){}\nfunction Qwf(){}\nfunction Qxf(){}\nfunction jyf(){}\nfunction lyf(){}\nfunction nyf(){}\nfunction Kyf(){}\nfunction Myf(){}\nfunction Oyf(){}\nfunction Ryf(){}\nfunction IAf(){}\nfunction HTf(){}\nfunction sgg(){}\nfunction ugg(){}\nfunction pKg(){}\nfunction ngg(a,b){a.i=b}\nfunction Mxf(a,b){a.a=b}\nfunction Nxf(a,b){a.b=b}\nfunction Oxf(a,b){a.c=b}\nfunction Pxf(a,b){a.d=b}\nfunction gzf(a){this.a=a}\nfunction Dzf(a){this.a=a}\nfunction y8b(a){this.a=a}\nfunction m4d(a){this.a=a}\nfunction gZh(a){Qbc(this,a)}\nfunction eZh(){Uvc(this)}\nfunction Mzf(){ic.call(this)}\nfunction czf(){this.a=new iec}\nfunction Czf(){this.a=new iec}\nfunction bZh(a){return a.f}\nfunction dZh(a){return a.Lk()}\nfunction aZh(a){return this.e}\nfunction hZh(){return this.a}\nfunction TYh(a){return this.f}\nfunction VYh(a){return this.c}\nfunction WYh(a){return this.b}\nfunction _Yh(a){return this.d}\nfunction iZh(a){return this===a}\nfunction SYh(a){return null}\nfunction vzf(a){return Yyf(a,a)}\nfunction AAf(a){return a.b[a.r]}\nfunction BAf(a){return a.d[a.r]}\nfunction DAf(a){return a.d[a.e]}\nfunction CAf(a){return a.b[a.e]}\nfunction lxf(a){a.d=null;a.g=0}\nfunction lDd(a){_Cd.call(this,a)}\nfunction fDd(a){_Cd.call(this,a)}\nfunction gDd(a){_Cd.call(this,a)}\nfunction hDd(a){_Cd.call(this,a)}\nfunction iDd(a){_Cd.call(this,a)}\nfunction jDd(a){_Cd.call(this,a)}\nfunction kDd(a){_Cd.call(this,a)}\nfunction SDd(a){_Cd.call(this,a)}\nfunction pEd(a){_Cd.call(this,a)}\nfunction vEd(a){_Cd.call(this,a)}\nfunction JEd(a){_Cd.call(this,a)}\nfunction LEd(a){_Cd.call(this,a)}\nfunction KAf(a){mc.call(this,a)}\nfunction Cgg(a,b){hvb.call(this,a,b)}\nfunction Ngg(a,b){hvb.call(this,a,b)}\nfunction s8b(a){q8b.call(this,a.d,a.e)}\nfunction U9b(a){Q9b(a,0,a.length,null)}\nfunction Izf(a,b){YDb(a.c,w3b(a.a),b)}\nfunction Jyf(a,b){return VDb(a.b,b)}\nfunction JAf(a,b){this.d=a;this.c=b}\nfunction HAf(a){this.c=a;this.b=a.length}\nfunction ezf(a){fzf.call(this,a,new Czf)}\nfunction pie(){pie=xqb;oie=new qie}\nfunction wie(){wie=xqb;vie=new yie}\nfunction Jwf(){Jwf=xqb;Iwf=new QUg('',8)}\nfunction UYh(){return new m4d(this)}\nfunction jZh(){return new Sac(this)}\nfunction w8b(a){return !a?null:new s8b(a)}\nfunction wNe(a){return ff(a,337)||!a.lb}\nfunction c4b(a,b){return nhc(a),a+(nhc(b),b)}\nfunction dhg(a,b){Vgg+=a+',';Ugg+=b+','}\nfunction rAf(a,b,c){a.c=c;a.d=b;return b+1}\nfunction URd(a){if(a.j){return 1}return 0}\nfunction QJd(a){!a.b&&(a.b=new yyf);return a.b}\nfunction yyf(){this.a=new PYb;this.b=new n9b}\nfunction Hyf(){this.a=new PYb;this.c=new n9b}\nfunction Jzf(a){this.c=new cEb;this.a=a.j.ub++}\nfunction Ezf(a){this.a=new iec;_dc(this.a,a,w3b(1))}\nfunction Kzf(a){Jzf.call(this,a.Mc);this.b=a}\nfunction Nzf(a,b,c){jc.call(this,Pzf(a,b,c))}\nfunction Fzf(a,b){this.a=new iec;_dc(this.a,a,w3b(b))}\nfunction zAf(a,b){a.i+=b;(a.e-=b)<0&&(a.e+=a.f)}\nfunction xie(a,b){var c;c=b.Xb;c!=null&&Gec(a.a,c)}\nfunction Cxf(a){return a==null?null:new j5b(a)}\nfunction cZh(a){return o1e(),me(Tt,NLh,588,a,7,1)}\nfunction olg(a){!!jlg&&klg(jlg,(Clg(),ylg),a)}\nfunction rlg(a){!!jlg&&klg(jlg,(Clg(),Alg),a)}\nfunction EQd(a){if(a.v){return a.v.i.length}return 0}\nfunction IQd(a){if(a.v){return b9b(a.v,0)}return null}\nfunction uAf(a){var b;a.r=-1;b=EAf(a);a.r=a.e;return b}\nfunction hAf(a){var b;a.f=W6g;for(b=12;b-->0;)a.g[b]=V4g}\nfunction kAf(a,b){if(a.g[b]!=a.f){a.i[a.e++]=b;a.g[b]=a.f}}\nfunction jAf(a,b){do{a.i[a.e++]=cAf[b]}while(b++!=1)}\nfunction Gwf(a,b,c,d){Hwf.call(this,a,c,d);JKc(this.d,b)}\nfunction Twf(a,b,c,d){Uwf.call(this,a,c,d);JKc(this.d,b)}\nfunction Xwf(a,b,c,d){Ywf.call(this,a,c,d);JKc(this.d,b)}\nfunction Owf(a,b,c,d){Jwf();Pwf.call(this,a,c,d);JKc(this.d,b)}\nfunction Kxf(a,b,c){this.b=new cEb;this.c=a;this.d=b;this.a=c}\nfunction kec(a){jec.call(this,(nhc(a),Oac(a.a)));ODb(this,a)}\nfunction dzf(a){fzf.call(this,new Q6b(''+nqb(a)),new Czf)}\nfunction fzf(a,b){czf.call(this);a!=(p6b(),o6b)&&_dc(this.a,b,a)}\nfunction hzf(a){czf.call(this);_dc(this.a,new Ezf(a),(p6b(),k6b))}\nfunction lec(a){mec.call(this,a,(Aec(),wec),null,false,null,false)}\nfunction Wdc(a,b,c){return new vec(a,(Aec(),xec),null,false,b,c)}\nfunction q6b(a){return a.e<0?a.e==0?a:new O6b(-a.e,a.d,a.a):a}\nfunction Vyf(a){if(a.a.c>1){return null}return w8b(Sdc(a.a)).e}\nfunction Hzf(a,b){if(ff(b,37)){return a.a==b.a}return nf(a)===nf(b)}\nfunction Uyf(a,b){if(ff(b,19)){return Tyf(a,b)==0}return nf(a)===nf(b)}\nfunction lNe(a,b){if(ff(a.lb,131)){return a.lb.qu(b)}return null}\nfunction uSe(a){if(ff(a.lb,105)){return a.lb.nu(a)}return null}\nfunction fHd(a){if(ff(a.lb,105)){return a.lb.mu(a)}return null}\nfunction tSe(a){if(ff(a.lb,105)){return a.lb.mu(a)}throw Qpb(new Lxf)}\nfunction qNe(a){if(ff(a.lb,131)){return a.lb.su()}throw Qpb(new Lxf)}\nfunction gNe(a,b){if(ff(a.lb,131)){return a.lb.pu(b)}throw Qpb(new Lxf)}\nfunction mNe(a,b){if(ff(a.lb,131)){a.lb.ru(b);return}throw Qpb(new Lxf)}\nfunction Zzf(a,b){var c,d;d=Tzf(a,6);if(c=WDb(b,d.c))return c;throw Qpb(new Mzf)}\nfunction hhg(a){var b;b=a.Xb;if(b!=null){return '$'+b+'$'}return null}\nfunction lgg(a,b){if(!a.f||b!=(Bgg(),Agg)){return b}return a.f}\nfunction izf(a){if(a==null||a.length==0)return '';return ','+a}\nfunction yzf(a,b){if(ff(b,402)){return xzf(a,b)==0}return nf(a)===nf(b)}\nfunction Gzf(a,b){var c;c=b.a;if(a.ac){return -1}return 0}\nfunction tEd(a,b,c,d){var e,f;e=new rxf(a.e,c,d);f=e.c;JKc(f,b);return f}\nfunction XYh(a){if(this.c!=null){return this.c}this.c=n4d(this.V);return this.c}\nfunction $Yh(a){if(!!this.a&&!!this.b){R_e(this.a,a);R_e(this.b,a);return}throw Qpb(new Lxf)}\nfunction fZh(a){if(!!this.b&&!!this.c){mNe(this.b,a);mNe(this.c,a);return}throw Qpb(new Lxf)}\nfunction Lxf(){jc.call(this,'No symbolic parameters available')}\nfunction Hwf(a,b,c){kwc.call(this,a);this.b=b;this.c=c;this.d=new uOe(a);Fwf(this);Dwf(this)}\nfunction Pwf(a,b,c){Jwf();kwc.call(this,a);this.b=b;this.c=c;this.d=new uOe(a);Fwf(this);Lwf(this)}\nfunction hxf(a,b,c){kwc.call(this,a);this.d=b;this.c=c;this.e=new uOe(a);gxf(this);this.e.e=false}\nfunction Zxf(a,b,c){var d,e,f,g;YDb(a.g,b,c);for(e=c,f=0,g=e.length;f=a.r?K4b(a.c,a.r,a.e-a.r+1):K4b(a.c,a.r,a.f-a.r)+K4b(a.c,0,a.e+1)}\nfunction Dxf(a){var b,c;c=new PYb;for(b=0;b1){return false}if(yzf(x8b(Sdc(a.a)),new Czf)){return true}return false}\nfunction Pyf(a,b){if(a.j!=null){return}a.j=me(Y1,PLh,37,2,0,1);a.j[0]=new Jzf(b);a.j[1]=new Jzf(b)}\nfunction Dgg(){Bgg();return pe(ie(Ndb,1),I7g,548,0,[xgg,ygg,zgg,vgg,Agg,wgg])}\nfunction Ogg(){Mgg();return pe(ie(Odb,1),I7g,482,0,[Lgg,Fgg,Jgg,Igg,Kgg,Egg,Hgg,Ggg])}\nfunction Rzf(){Rzf=xqb;Qzf=pe(ie(uf,1),v5g,5,15,[256,512,Q9g,6144,6144,g7g,Gvh,Gvh,96,zlh])}\nfunction tAf(a){gAf();m5b();this.g=me(uf,v5g,5,12,15,1);this.i=me(uf,v5g,5,24,15,1);new h5b;this.b=a}\nfunction cxf(a,b,c){kwc.call(this,a);this.e=0;this.d=c;this.f=b;this.c=new Odf(a);bxf(this);Zwf(this)}\nfunction kxf(a,b,c,d){kwc.call(this,a);this.b=c;this.c=d;this.d=new uOe(a);Fwf(this);ixf(this);JKc(this.d,b)}\nfunction xxf(a,b,c){kwc.call(this,a);this.c=c;this.a=new uOe(a);wxf(this);vxf(this);uxf(this);JKc(this.a,b)}\nfunction mec(a,b,c,d,e,f){var g;this.c=a;g=new n9b;Xdc(a,g,b,a.b,c,d,e,f);this.a=new i8b(g,g.i.length)}\nfunction wzf(a,b,c,d){return Syf(vzf(Syf(new hzf(a),Zyf(new hzf(c)))),vzf(Syf(new hzf(b),Zyf(new hzf(d)))))}\nfunction Dtd(a,b,c,d){return vSf(d,'TriangleABCnonDegenerate',null,pe(ie(mu,1),h5g,2,6,[dtd(a)+dtd(b)+dtd(c)]))}\nfunction uEd(a,b,c,d){var e,f;if(!d.G||!!c.G||!EJc(d,c)){return null}e=new sxf(a.e,c,d);f=e.c;JKc(f,b);return f}\nfunction qzf(a){var b,c,d,e;d=new PYb;c=0;a!=null&&(c=a.length);for(b=0;b0){--a.i;++a.e==a.f&&(a.e=0);return a.c[a.e]}++a.e>=a.n&&wAf(a);b=a.c[a.e];yAf(a,b);return b}\nfunction pgg(a){var b,c,d,e,f;f=k4b(a.a);if(a.b!=null){for(c=a.b,d=0,e=c.length;d0)return y4b(c.a,1);return ''}\nfunction GAf(a,b,c,d){var e,f,g;g=a.b-a.a;if(g==0){return -1}e=b.length;f=e-c;f=f>d?d:f;f>g&&(f=g);i4b(a.c,a.a,a.a+f,b,c);a.a+=f;return f}\nfunction KEd(a,b,c,d){var e,f;if(ff(b,198)){e=new Bxf(a.e,b,c);JKc(e.b,Vad(d));f=pe(ie(fY,1),qnh,13,0,[e.b]);return f}throw Qpb(FCd(a,d.i,b))}\nfunction cyf(a,b){var c,d,e,f,g;if(bEb(a.g)==0){return}g=VDb(a.g,b);if(g==null){return}for(d=g,e=0,f=d.length;e5||e<0.2||c){mlg('myPrecision='+nqb(a.e)+IMh+nqb(d)+JMh+e);a.b=null;a.e=d;return true}return false}\nfunction ZUg(){this.a=(Mgg(),Egg);this.b=new PYb;this.c=new n9b;Z8b(this.c,Lgg);Z8b(this.c,Fgg);Z8b(this.c,Jgg);this.d=new n9b;Z8b(this.d,Fgg);Z8b(this.d,Jgg)}\nfunction $xf(a,b){var c;if(NYb(a.o,b)){!!jlg&&klg(jlg,(Clg(),vlg),'Ignoring existing poly '+b);return}MYb(a.o,b);c=bEb(a.o.a);mlg('Adding poly #'+c+X4g+bzf(b))}\nfunction oAf(b){try{b.a=EAf(b.b)}catch(a){a=Ppb(a);if(ff(a,165)){sAf(0,128);return 1}else throw Qpb(a)}if(b.a==49){return pAf(b,128)}return mAf(b,sAf(0,128),1)}\nfunction Cwf(a,b,c,d,e,f){kwc.call(this,a);this.b=c;this.c=d;this.d=e;this.e=f;this.f=new uOe(a);Bwf(this);qOe(this.f,a1e(this.b,this.c,this.d,this.e));JKc(this.f,b)}\nfunction nxf(a,b){var c;c=Xxf(b?a.d:a.e,a.f,b,a);if(!c){!!jlg&&klg(jlg,(Clg(),vlg),'Cannot compute locus equation (yet?)');pxf(a,a.Mc,true);return null}return oxf(a,c)}\nfunction Vxf(a){var b,c,d,e,f;d=new n9b;for(f=(c=(new A8b(kIc(a).a)).a.Zd().b.Xf(),new B8b(c));f.a.xf();){e=(b=f.a.yf(),b.ef());e.jn()&&!e.lb&&(Vgc(d.i,e),true)}return d}\nfunction $zf(a){var b;this.f=me(uf,v5g,5,10,15,1);this.a=new n9b;this.d=new FAf(a);this.k=new tAf(this.d);this.j=new IAf;this.i=-1;this.c=0;for(b=0;b<10;b++)this.f[b]=-1}\nfunction gHd(a,b){if(ff(a.lb,105)){return a.lb.nu(a)}if(!a.lb){if(a.i==null){a.i=me(Y1,PLh,37,1,0,1);a.i[0]=new Jzf(a.Mc);mlg('Variable '+b.El()+'('+a.i[0]+')')}}return a.i}\nfunction q4d(a,b){var c;c=me(uf,v5g,5,3,15,1);c[0]=$wnd.Math.max(a[1]+b[2],a[2]+b[1]);c[1]=$wnd.Math.max(a[0]+b[2],a[2]+b[0]);c[2]=$wnd.Math.max(a[1]+b[0],a[0]+b[1]);return c}\nfunction r4d(a,b){var c;c=me(qu,Jlh,87,3,0,1);c[0]=v7b(E6b(a[1],b[2]),E6b(a[2],b[1]));c[1]=v7b(E6b(a[2],b[0]),E6b(a[0],b[2]));c[2]=v7b(E6b(a[0],b[1]),E6b(a[1],b[0]));return s4d(c)}\nfunction lzf(a,b){var c;c=me(W1,TLh,19,3,0,1);c[0]=Syf(Yyf(a[1],b[2]),Zyf(Yyf(a[2],b[1])));c[1]=Syf(Yyf(a[2],b[0]),Zyf(Yyf(a[0],b[2])));c[2]=Syf(Yyf(a[0],b[1]),Zyf(Yyf(a[1],b[0])));return c}\nfunction bAf(){bAf=xqb;aAf=pe(ie(mu,1),h5g,2,6,[z6g,'\" \"','\"\\\\t\"','\"\\\\n\"','\"\\\\r\"','','','\"[1]:\"','','',B6g,'\"+\"','\"-\"','\"*\"','\"^\"'])}\nfunction pxf(a,b,c){var d,e;d=lqd(b);e=lqb(a.g)/lqb(d);if(e>5||e<0.2||c){mlg('resetFingerprint: myPrecision='+nqb(a.g)+IMh+nqb(d)+JMh+e);a.b=null;a.g=d;return true}return false}\nfunction s4d(a){var b,c,d,e;b=(p6b(),o6b);for(d=0;d1&&(f.a+='^{'+e+'}',f)}return f.a}\nfunction R_e(a,b){if(!a.lb){!a.R&&(a.R=new Kzf(a));!a.S&&(a.S=new Kzf(a));Izf(a.R,a.S);Izf(a.S,a.R);MYb(b,a.R);MYb(b,a.S);return}if(ff(a.lb,131)){a.lb.ru(b);return}throw Qpb(new Lxf)}\nfunction Bxc(a){var b,c,d;c=new h5b;b=new a8b((new Z7b(a)).a);while(b.b){d=_7b(b);c.a+=',';Z4b(c,c4b('v',''+d.ef().a));c.a+='=';Y4b(c,d.ff())}if(c.a.length>0){return y4b(c.a,1)}return ''}\nfunction Ild(a,b,c){var d,e;if(a.d.i.length!=0){e=new t9b(a.d);while(e.aXgg&&(Xgg=b);c=a.lb;if(c){for(e=c.V,f=0,g=e.length;fa.c-(a.e-c)+1){while(a.d[c]>a.c-(a.e-c)){--c;if(c<0){break}}if(c<0){return true}++a.d[c];for(b=c+1;b0)return y4b(i.a,1);return ''}\nfunction Mgg(){Mgg=xqb;Lgg=new Ngg('RECIOS_PROVER',0);Fgg=new Ngg('BOTANAS_PROVER',1);Jgg=new Ngg('OPENGEOPROVER_WU',2);Igg=new Ngg('OPENGEOPROVER_AREA',3);Kgg=new Ngg('PURE_SYMBOLIC_PROVER',4);Egg=new Ngg('AUTO',5);Hgg=new Ngg('LOCUS_IMPLICIT',6);Ggg=new Ngg('LOCUS_EXPLICIT',7)}\nfunction Dyf(a,b){var c,d,e,f,g,h,i;for(g=a.j,h=0,i=g.length;h0&&c5b(e,e.a.length-1);e.a+='-'}else{r6b(q7b(b,k6b),o6b)<0&&e.a.length>0&&c5b(e,e.a.length-1);e.a+=''+b}}Z4b(e,Bzf(f))}e.a+='+'}return O1b(e,0,e.a.length-1)}\nfunction kyf(a,b){var c,d,e,f;if(a.i!=null){return a.i}d=b[0].nu(b[0]);if(a.j==null){a.j=me(Y1,PLh,37,4,0,1);a.j[0]=new Jzf(b[0].vi());a.j[1]=new Jzf(b[0].vi());a.j[2]=d[0];a.j[3]=d[1]}c=pe(ie(Y1,1),PLh,37,0,[a.j[0],a.j[1]]);e=b[1].nu(b[1]);f=b[2].nu(b[2]);a.i=me(W1,TLh,19,2,0,1);a.i[0]=nzf(d[0],d[1],c[0],c[1],e[0],e[1]);a.i[1]=nzf(d[0],d[1],c[0],c[1],f[0],f[1]);return a.i}\nfunction szf(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!jlg&&klg(jlg,(Clg(),Alg),'Setting up equation for parallel lines ('+a+','+b+')-'+'('+c+','+d+$Mh+'('+e+','+f+')-'+'('+g+','+h+')');i=new hzf(a);j=new hzf(b);k=new hzf(c);l=new hzf(d);m=new hzf(e);n=new hzf(f);o=new hzf(g);p=new hzf(h);q=Syf(Yyf(Syf(i,Zyf(k)),Syf(n,Zyf(p))),Zyf(Yyf(Syf(j,Zyf(l)),Syf(m,Zyf(o)))));return q}\nfunction tzf(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!jlg&&klg(jlg,(Clg(),Alg),'Setting up equation for perpendicular lines ('+a+','+b+')-'+'('+c+','+d+$Mh+'('+e+','+f+')-'+'('+g+','+h+')');i=new hzf(a);j=new hzf(b);k=new hzf(c);l=new hzf(d);m=new hzf(e);n=new hzf(f);o=new hzf(g);p=new hzf(h);q=Syf(Yyf(Syf(i,Zyf(k)),Syf(m,Zyf(o))),Yyf(Syf(j,Zyf(l)),Syf(n,Zyf(p))));return q}\nfunction wAf(b){var c,d;if(b.n==b.a){if(b.a==b.f){if(b.r>f7g){b.e=b.n=0;b.a=b.r}else b.r<0?(b.e=b.n=0):vAf(b,false)}else b.a>b.r?(b.a=b.f):b.r-b.a=0){g[a.e]=true;a.e=-1}for(d=0;d<10;d++){if(a.f[d]==a.c){for(f=0;f<32;f++){(Qzf[d]&1<126){f=(d=b,d5g+d.toString(16));Z4b(e,c5g+z4b(f,f.length-4,f.length))}else{e.a+=String.fromCharCode(b)}continue;}}return e.a}\nfunction swf(b,c,d){var e,f,g,h,i,j,k,l,m,n,o;if(d){n=new cEb;for(f=new a8b((new Z7b(b)).a);f.b;){e=_7b(f);o=e.ef();YDb(n,o,e.ff())}h=(!GTf&&(GTf=new HTf),GTf);m=uzf(IYb(d.o,me(W1,TLh,19,bEb(d.o.a),0,1)),n,d.j.vi(),h.d,d.e);!!jlg&&klg(jlg,(Clg(),vlg),'Recio meets Botana:'+n);if(m==(Xcg(),Vcg)){return Bgg(),vgg}}else{try{g=c.a.qu(b);for(j=g,k=0,l=j.length;k1?xhc(n.a[0],n.a[1]):xhc(n.a[0],0);Wpb(n.e>0?r:dqb(r),0)?aec(m,o):_dc(m,o,n)}else{f=l.a[0];(l.e>0?f:-f|0)!=0&&_dc(m,o,l)}}return new gzf(m)}\nfunction vAf(b,c){var d,e,f,g;e=me(rf,b5g,5,b.f+f7g,15,1);f=me(uf,v5g,5,b.f+f7g,15,1);d=me(uf,v5g,5,b.f+f7g,15,1);try{if(c){n5b(b.c,b.r,e,0,b.f-b.r);n5b(b.c,0,e,b.f-b.r,b.e);b.c=e;n5b(b.d,b.r,f,0,b.f-b.r);n5b(b.d,0,f,b.f-b.r,b.e);b.d=f;n5b(b.b,b.r,d,0,b.f-b.r);n5b(b.b,0,d,b.f-b.r,b.e);b.b=d;b.n=b.e+=b.f-b.r}else{n5b(b.c,b.r,e,0,b.f-b.r);b.c=e;n5b(b.d,b.r,f,0,b.f-b.r);b.d=f;n5b(b.b,b.r,d,0,b.f-b.r);b.b=d;b.n=b.e-=b.r}}catch(a){a=Ppb(a);if(ff(a,48)){g=a;throw Qpb(new mc(g._c()))}else throw Qpb(a)}b.f+=f7g;b.a=b.f;b.r=0}\nfunction qxf(a){var b,c,d,e,f,g;f=new Oec;a.i=me(fY,qnh,13,2,0,1);if(a.d){Gec(f,a.f);g=(d=(new A8b(kIc(a.d).a)).a.Zd().b.Xf(),new B8b(d));a.i[0]=a.d}else{Gec(f,a.f.G.lp());g=(d=(new A8b(kIc(a.e).a)).a.Zd().b.Xf(),new B8b(d));a.i[0]=a.e}while(g.a.xf()){e=(c=g.a.yf(),c.ef());(!e.lb&&(!e.Db||!cPe(e.Db))||e.Pn())&&f.a.put(e,(Y1b(),W1b))==null}Mec(f,a.f);a.a=me(fY,qnh,13,f.a.size(),0,1);a.a=IYb(f,a.a);a.i[1]=a.f;a.Y=me(fY,qnh,13,1,0,1);awc(a,0,a.c);Zvc(a,a.i,a.a);b=a.f.Kc;do{g9b(b.d,a)}while(c9b(b.d,a,0)!=-1);Z8b(b.d,a);a.b=dxf(a.a);a.g=lqd(a.Mc)}\nfunction jgg(a){var b,c,d,e;if(!a.i){!!jlg&&klg(jlg,(Clg(),xlg),'No statement to prove');a.f=(Bgg(),Agg);return}c=a.i.lb;if(!c){g4b(a.i.op((Sud(),pud)),Knh)?(a.f=(Bgg(),xgg)):g4b(a.i.op(pud),mrh)?(a.f=(Bgg(),vgg)):(a.f=(Bgg(),Agg));return}ghg(a.i);if(a.a!=(Mgg(),Egg)){igg(a,a.a);return}mlg(XMh+a.a);a.g?(d=new t9b(a.d)):(d=new t9b(a.c));a.f=(Bgg(),Agg);while((a.f==Agg||a.f==ygg)&&d.a0){K1b(f,j-1,j-1+1,'');Z4b(Z4b(o,vSf(k,'LetABeArbitraryPoints',null,pe(ie(mu,1),h5g,2,6,[f.a]))),'.\\n')}o.a+=h;p=I4b(a.lb);Z4b(Z4b(o,vSf(k,'ProveThat',null,pe(ie(mu,1),h5g,2,6,[p]))),'.');return o.a}\nfunction twf(b,c,d,e,f){var g,h,i,j,k,l,m,n,o,p,q,r,s,t,u;u=(i=(l=(new l8b(b.a)).a.Zd().rd(),new m8b(l)).a.yf(),i.ef());for(k=1;k<=d+2;k++){YDb(c,u,(p6b(),Tpb(k,0)>=0?S6b(k):F6b(S6b(dqb(k)))));if(f){s=new cEb;for(h=new a8b((new Z7b(c)).a);h.b;){g=_7b(h);t=g.ef();YDb(s,t,g.ff())}m=(!GTf&&(GTf=new HTf),GTf);r=uzf(IYb(f.o,me(W1,TLh,19,bEb(f.o.a),0,1)),s,f.j.vi(),m.d,f.e);!!jlg&&klg(jlg,(Clg(),vlg),BMh+k+' '+s);if(r==(Xcg(),Vcg)){return Bgg(),vgg}}else{try{j=e.a.qu(c);for(o=j,p=0,q=o.length;p>6],gqb(1,b.c&63)),0)){h=lAf(b);return h}else{continue i}}g=DAf(b.b);f=CAf(b.b);e=null;c=false;try{EAf(b.b);zAf(b.b,1)}catch(a){a=Ppb(a);if(ff(a,165)){c=true;e=d<=1?'':xAf(b.b);if(b.a==10||b.a==13){++g;f=0}else ++f}else throw Qpb(a)}if(!c){zAf(b.b,1);e=d<=1?'':xAf(b.b)}throw Qpb(new LAf(c,g,f,e,b.a))}}\nfunction ryf(a,b,c){var d,e,f,g,h,i,j,k,l;if(c.c){return}if(!!c.a.c&&!!c.d.c){g=c.a.c;j=c.d.c;switch(c.b.k){case 20:Oxf(c,Syf(g,j));break;case 21:Oxf(c,Syf(g,Zyf(j)));break;case 24:Oxf(c,Yyf(g,j));break;case 28:i=D3b(D6b(Vyf(c.d.c)));if(i){h=g;for(f=w3b(1);_pb(f.a,i.a);d=f,f=w3b(f.a+1),d){h=Yyf(h,g)}c.c=h}break;default:throw Qpb(new Lxf);}}b.o.Lm()&&!c.a.c&&ryf(a,b.o,c.a);b.s.Lm()&&!c.d.c&&ryf(a,b.s,c.d);if(ff(b.o,31)&&!c.a.c){e=Q5b(new U5b(b.o.Lk()));Oxf(c.a,new ezf(e))}if(ff(b.s,31)&&!c.d.c){e=Q5b(new U5b(b.s.Lk()));Oxf(c.d,new ezf(e))}if(ff(b.o,31)&&ff(b.s,109)){e=Q5b(new U5b(b.o.Lk()));l=wyf(a,b.s.jj((Sud(),oud)));if(l){k=new Ezf(l);Oxf(c,new fzf(e,k));return}}}\nfunction Ayf(a,b,c){var d,e,f,g,h,i,j,k,l;if(c.c){return}if(!!c.a&&!c.d&&c.b==(_8f(),q8f)){g=c.a.c;c.c=g}if(!!c.a&&!!c.a.c&&!!c.d&&!!c.d.c){g=c.a.c;j=c.d.c;switch(c.b.k){case 20:Oxf(c,Syf(g,j));break;case 21:Oxf(c,Syf(g,Zyf(j)));break;case 24:Oxf(c,Yyf(g,j));break;case 28:i=D3b(D6b(Vyf(c.d.c)));if(i){h=g;for(f=w3b(1);_pb(f.a,i.a);d=f,f=w3b(f.a+1),d){h=Yyf(h,g)}c.c=h}break;default:throw Qpb(new Lxf);}}b.o.Lm()&&!c.a.c&&Ayf(a,b.o,c.a);!!b.s&&b.s.Lm()&&!c.d.c&&Ayf(a,b.s,c.d);if(ff(b.o,31)&&!c.a.c){e=Q5b(new U5b(b.o.Lk()));Oxf(c.a,new ezf(e))}if(ff(b.s,31)&&!c.d.c){e=Q5b(new U5b(b.s.Lk()));Oxf(c.d,new ezf(e))}if(ff(b.o,31)&&ff(b.s,109)){e=Q5b(new U5b(b.o.Lk()));l=Dyf(a,b.s.jj((Sud(),oud)));if(l){k=new Ezf(l);Oxf(c,new fzf(e,k));return}}}\nfunction myf(a,b,c,d){var e,f,g,h,i,j,k,l,m,n,o,p,q;if(a.i!=null){return a.i}e=b;f=c;if(ff(d,74)){throw Qpb(new Lxf)}n=null;ff(d,34)&&(n=d);if(!e||!f||!n){throw Qpb(new Lxf)}if(a.j==null){g=J_e(e,e);h=J_e(f,f);a.j=me(Y1,PLh,37,7,0,1);a.j[0]=g[0];a.j[1]=g[1];a.j[2]=h[0];a.j[3]=h[1];a.j[4]=new Jzf(e.Mc);a.j[5]=new Jzf(e.Mc);a.j[6]=new Jzf(e.Mc)}a.i=me(W1,TLh,19,2,0,1);i=null;ff(n.lb,326)&&(i=fHd(n));o=gHd(n,n);l=0;q=vzf(new hzf(o[0]));if(i!=null){a.i=me(W1,TLh,19,i.length+1,0,1);for(l=0;l3?(p.a='DegeneratePolygon'):(p.a=pwh);n=me(fY,qnh,13,s,0,1);o=0;for(c=new t9b(d);c.a=0?S6b((d+2-k)*(d+2-n)):F6b(S6b(dqb((d+2-k)*(d+2-n))))));YDb(c,A[1],Tpb(k*n,0)>=0?S6b(k*n):F6b(S6b(dqb(k*n))));if(f){v=new cEb;for(i=new a8b((new Z7b(c)).a);i.b;){h=_7b(i);w=h.ef();YDb(v,w,h.ff())}u=uzf(IYb(f.o,me(W1,TLh,19,bEb(f.o.a),0,1)),v,f.j.vi(),(!GTf&&(GTf=new HTf),GTf).d,f.e);!!jlg&&klg(jlg,(Clg(),vlg),BMh+g+' '+v);if(u==(Xcg(),Vcg)){return Bgg(),vgg}}else{try{j=e.a.qu(c);for(r=j,s=0,t=r.length;s5&&(f=5);{kAf(b,0)}break;case 6:case 4:eqb(Spb(nDh,g),0)&&(kAf(b,4),kAf(b,6));break;case 2:if(Wpb(Spb(nDh,g),0))break;f>6&&(f=6);b.i[b.e++]=2;break;case 5:b.a==58&&(f=8);break;case 8:eqb(Spb(nDh,g),0)&&jAf(b,0);break;case 9:b.a==61&&(f=9);}}while(e!=h)}else if(b.a<128){do{switch(b.i[--e]){case 1:b.a==95?(b.i[b.e++]=7):b.a==91?(b.i[b.e++]=4):b.a==118&&(b.i[b.e++]=2);break;case 6:b.a==93&&(b.i[b.e++]=5);break;case 3:b.a==91&&(b.i[b.e++]=4);break;case 7:b.a==91&&(b.i[b.e++]=8);break;case 10:b.a==93&&(b.i[b.e++]=9);break;case 11:b.a==95&&(b.i[b.e++]=7);}}while(e!=h)}else{do{b.i[--e]}while(e!=h)}if(f!=R4g){b.c=f;b.d=d;f=R4g}++d;if((e=b.e)==(h=12-(b.e=h)))return d;try{b.a=EAf(b.b)}catch(a){a=Ppb(a);if(ff(a,165)){return d}else throw Qpb(a)}}}\nfunction Byf(b,c,d){var e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t;if(b.i!=null){return b.i}p=c.Mc;i=c.a.kl();Gyf(b,i,p);if(b.j==null){b.j=me(Y1,PLh,37,b.c.i.length+1,0,1);b.j[0]=new Jzf(p);if(b.c.i.length==0){throw Qpb(new Lxf)}else{n=new t9b(b.c);o=1;while(n.a=0;s--){w=E6b(w,v7b(E6b((p6b(),Tpb(t,0)>=0?S6b(t):F6b(S6b(dqb(t)))),V6b(p[s])),Tpb(o,0)>=0?S6b(o):F6b(S6b(dqb(o)))));g[o][s]=w}YDb(c,H[o],w)}++u;if(f){F=new cEb;for(j=new a8b((new Z7b(c)).a);j.b;){i=_7b(j);G=i.ef();YDb(F,G,i.ff())}D=uzf(IYb(f.o,me(W1,TLh,19,bEb(f.o.a),0,1)),F,f.j.vi(),(!GTf&&(GTf=new HTf),GTf).d,f.e);!!jlg&&klg(jlg,(Clg(),vlg),'Recio meets Botana #'+u+X4g+F);if(D==(Xcg(),Vcg)){return Bgg(),vgg}}else{try{k=e.a.qu(c);for(A=k,B=0,C=A.length;B0?(q=0):(q/=s));v=1/u;A+=B*v*v;A/=u;!!jlg&&klg(jlg,(Clg(),vlg),'population='+l);!!jlg&&klg(jlg,(Clg(),vlg),'minimum='+q+' maximum='+o+' mean='+p+' variation_coefficient='+A+' entropy='+i);h=a;if(c!=null){h='NF('+h+')';for(e=c,f=0,g=e.length;f0){g=J_e(IQd(e),IQd(e));f[f.length-1]=Syf(Yyf(wzf(i[0],i[1],g[0],g[1]),new hzf(new Jzf(v))),Zyf(new dzf(1)))}YDb(a.a,b,f);return f}h=me(Y1,PLh,37,2,0,1);!a.b&&(a.b=new cEb);if(SDb(a.b,b)){h=VDb(a.b,b)}else{h=me(Y1,PLh,37,2,0,1);h[0]=new Jzf(v);h[1]=new Jzf(v);YDb(a.b,b,h)}if(!a.a){j=tSe(c);l=uSe(c);m=tSe(d);o=uSe(d);k=j.length;n=m.length;f=me(W1,TLh,19,k+n,0,1);for(t=0;t0&&(i.a+=',',i);i.a+=''+K}n=new PYb;CYb(n,a.e);LYb(n,new l8b(b));o=new h5b;for(L=(G=(new l8b(n.a)).a.Zd().rd(),new m8b(G));L.a.xf();){K=(l=L.a.yf(),l.ef());o.a.length>0&&(o.a+=',',o);o.a+=''+K}h=Hxf.yt();ayf(a);p=Uwc(h).qj(b,a.p,o.a,i.a);q=iWf(YOf(h.a).b)?Uwc(h).tj(p):'?';r=q.length-t4b(q,'{','').length-1;A=new PYb;H=1;for(s=0;sc+1}++k}}\nfunction Qyf(a,b){var c,d,e,f,g,h,i,j;h=b.vi();if(a.i!=null){return a.i}if(ff(b,55)){if(a.j==null){a.j=me(Y1,PLh,37,2,0,1);a.j[0]=new Jzf(h);a.j[1]=new Jzf(h)}g=b.nu(b);if(g==null){Pyf(a,h);return null}a.i=me(W1,TLh,19,1,0,1);a.i[0]=kzf(g[0],g[1],g[2],g[3],a.j[0],a.j[1]);return a.i}if(ff(b,117)){if(b.gb==4){if(a.j==null){a.j=me(Y1,PLh,37,2,0,1);a.j[0]=new Jzf(h);a.j[1]=new Jzf(h)}g=b.nu(b);if(g==null){Pyf(a,h);return null}a.i=me(W1,TLh,19,1,0,1);a.i[0]=nzf(g[2],g[3],g[0],g[1],a.j[0],a.j[1]);return a.i}if(b.gb==9){if(a.j==null){a.j=me(Y1,PLh,37,4,0,1);a.j[0]=new Jzf(h);a.j[1]=new Jzf(h);a.j[2]=new Jzf(h);a.j[3]=new Jzf(h)}j=b.nu(b);if(j==null){Pyf(a,h);return null}a.i=me(W1,TLh,19,3,0,1);a.i[0]=nzf(j[8],j[9],a.j[0],a.j[1],a.j[2],a.j[3]);a.i[1]=kzf(j[4],j[5],a.j[2],a.j[3],j[6],j[7]);a.i[2]=tzf(a.j[0],a.j[1],a.j[2],a.j[3],j[4],j[5],j[6],j[7]);return a.i}if(b.gb==3||b.gb==5){if(a.j==null){a.j=me(Y1,PLh,37,4,0,1);a.j[0]=new Jzf(h);a.j[1]=new Jzf(h);a.j[2]=new Jzf(h);a.j[3]=new Jzf(h)}i=b.nu(b);if(i==null){Pyf(a,h);return null}if(ff(b.lb,688)){a.i=me(W1,TLh,19,2,0,1);a.i[0]=Syf(new hzf(i[0]),Zyf(new hzf(a.j[0])));a.i[1]=Syf(new hzf(i[1]),Zyf(new hzf(a.j[1])));return a.i}a.i=me(W1,TLh,19,3,0,1);e=new hzf(a.j[2]);f=new hzf(a.j[3]);c=new hzf(i[2]);d=new hzf(i[3]);a.i[0]=Syf(Syf(Syf(c,d),Zyf(e)),Zyf(f));a.i[1]=Syf(wzf(a.j[0],a.j[1],i[6],i[7]),Zyf(Yyf(e,e)));a.i[2]=Syf(wzf(a.j[0],a.j[1],i[8],i[9]),Zyf(Yyf(f,f)));return a.i}}Pyf(a,h);return null}\nfunction rwf(b,c){var d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,A,B,C,D,F,G,H,I;C=null;d=false;g4b('groebner',(!GTf&&(GTf=new HTf),GTf).c)&&(d=true);e=null;D=c.i;if(ff(D,131)){C=D.tu()}else if(ff(D.lb,131)){C=D.lb.tu()}else{return Bgg(),Agg}if(d){B=new ZUg;Mxf(B,(Mgg(),Lgg));e=new fyf(D,null,B);if(e.q==(Bgg(),wgg)){return wgg}}H=new PYb;if(d){l=Vxf(D);u=new t9b(l);while(u.a5){!!jlg&&klg(jlg,(Clg(),vlg),\"Recio's method is currently disabled when # of free variables > 5\");return Bgg(),Agg}try{g=C.a.pu(b)}catch(a){a=Ppb(a);if(ff(a,51)){return Bgg(),Agg}else throw Qpb(a)}f=0;for(q=g,r=0,s=q.length;r0){qgg(o,a.Kc);v=null;if(a.c){new Etd(a.Mc);d=o.a;g4b(mwh,d)?(v=Cxf(gtd(o.b[0],o.b[1],true,a.Kc.M.j.B))):g4b(pwh,d)?(v=Cxf(Dtd(o.b[0],o.b[1],o.b[2],a.Kc.M.j.B))):g4b(lwh,d)?(v=Cxf(ctd(o.b[0],o.b[1],false,a.Kc.M.j.B))):g4b(nwh,d)?(v=Cxf(ltd(o.b[0],o.b[1],false,a.Kc.M.j.B))):g4b(owh,d)&&(v=Cxf(Zsd(o.b[0],o.b[1],false,a.Kc.M.j.B)))}if(!v||!a.c){i=o.b;if(i==null){v=Cxf(o.a)}else{v=Cxf(UPg(a.Kc.M.j.B,o.a));v.a+='[';for(j=0;j0&&(v.a+=',',v);h=o.b[j];h?Z4b(v,o.b[j].Xb):(v.a+=vAh,v)}v.a+=']';a.c&&e5b(v,0,YPg(a.Kc.M.j.B,'not')+' ')}}C4e(m,v.a);m.ac=false;m.Jb=false;w.a.put(m,W1b)==null}}l=(g=(new A8b(w.a)).a.Zd().b.Xf(),new B8b(g));while(l.a.xf()){MYe(n,(f=l.a.yf(),f.ef()))}if(nhc(B),B){m=new N4e(a.Kc);C4e(m,vAh);m.ac=false;m.Jb=false;w.a.put(m,W1b)==null;MYe(n,m)}n.k.i.length>0&&MYe(a.b,n);if(s==zgg){c=new N4e(a.Kc);C4e(c,'c');c.ac=false;c.Jb=false;MYe(a.b,c)}}}mlg('OUTPUT for ProveDetails: '+a.b)}\nfunction Sxf(b){var c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,A,B,C,D,F,G,H,I,J,K,L;G=b.i;C=(!GTf&&(GTf=new HTf),GTf);m=G.vi();if(!ff(G.lb,531)){olg(G.lb+OMh);return Bgg(),Agg}C.d=false;C.a==null&&(C.a=(Y1b(),false));e=new fyf(G,null,b);if(e.q){return e.q}H=null;b.g?(k=C.f):(k=C.e);e.n>=0&&e.n0){try{H=Uxf(b,k)}catch(a){a=Ppb(a);if(ff(a,51)){e.q=(Bgg(),Agg);!!jlg&&klg(jlg,(Clg(),vlg),'Cannot add fix values');return e.q}else throw Qpb(a)}!!jlg&&klg(jlg,(Clg(),vlg),'substitutions: '+H)}t=new Kxf(b,H,e.e);l=false;w=0;while(!l&&w<1){h=mzf(IYb(e.o,me(W1,TLh,19,bEb(e.o.a),0,1)),H,m,(++w,true),e.e);if(!h){return Bgg(),Agg}q=(v=(new l8b(h.a)).a.Zd().rd(),new m8b(v));J=new n9b;L=new n9b;K=bEb(h.a)==2;f=new n9b;g=k9g;p=0;while(q.a.xf()){++p;!!jlg&&klg(jlg,(Clg(),vlg),'Considering NDG '+p+z5g);s=new n9b;F=0;D=true;I=(j=q.a.yf(),j.ef());o=I.rd();while(o.xf()&&D){B=o.yf();if(B.a.c==0){!!jlg&&klg(jlg,(Clg(),vlg),'Statement is NOT GENERALLY TRUE');cyf(e,e.j);Zxf(e,e.j,e.s);h=mzf(IYb(e.o,me(W1,TLh,19,bEb(e.o.a),0,1)),H,m,(++w,true),e.e);q=(u=(new l8b(h.a)).a.Zd().rd(),new m8b(u));while(q.a.xf()){I=(i=q.a.yf(),i.ef());o=I.rd();while(o.xf()){B=o.yf();if(B.a.c==0){cyf(e,e.j);n=bEb(e.e.a)-(new l8b(H)).a.size();!!jlg&&klg(jlg,(Clg(),vlg),'Naive dimension = '+n);if(!Ixf(e,H,n)){!!jlg&&klg(jlg,(Clg(),vlg),'Statement is NOT GENERALLY FALSE');return Bgg(),zgg}return Bgg(),Agg}}}return Bgg(),vgg}if(!Xyf(B)){if(e.k){!!jlg&&klg(jlg,(Clg(),vlg),PMh);return Bgg(),Agg}r=Jxf(t,B);if(!r){D=false}else{K=K&&I.size()==1;if(K){if(g4b(r.a,'xAreEqual')){A=new PYb;MYb(A,r.b[0]);MYb(A,r.b[1]);Vgc(J.i,A)}if(g4b(r.a,'yAreEqual')){A=new PYb;MYb(A,r.b[0]);MYb(A,r.b[1]);Vgc(L.i,A)}if(J.i.length==1&&b8b(J,L)){r.a=lwh;r.c=0.5}}Vgc(s.i,r);F+=r.c}}}if(D&&F0&&K!=null){v?(v=false):(M.a+=',',M);M.a+=L}G=0;b=C.lb;d=_Mh;if(b){B=b.Mi();!!B&&(d=B.$v());H=b.V;C==a||(l+=H.length);G=H.length;for(W=H,X=0,Y=W.length;X1&&g4b((thc(0,2,j.length),j.substr(0,2)),fkh)&&(j=(uhc(1,j.length+1),j.substr(1)));o=w4b(j,'\\\\)\\\\*\\\\(',0);if(o.length>1){o[0]=y4b(o[0],1);o[o.length-1]=z4b(o[o.length-1],0,o[o.length-1].length-1)}F=false;o.length==1&&r4b(o[0],'[-+]?\\\\d*\\\\.?\\\\d+')&&(F=true);G=new n9b;if(!F){for(l=o,m=0,n=l.length;m1&&(d=J7d(d,t));I.a.put(G,(Y1b(),W1b))==null;xbc(e.e,G,d)}M=(r=(new A8b((new Rec(I.a.Wf())).a)).a.Zd().b.Xf(),new B8b(r));while(M.a.xf()){G=(l=M.a.yf(),l.ef());k=z7d(k,RDb(wbc(e.e,G)))}if(r6b(g,(p6b(),o6b))>0){S=G7d(S,z7d(f,k));T=true}else{fb=G7d(fb,z7d(f,k));gb=true}}s=new N5d(Q,S,fb);if(eb){if(!T||!gb){!!jlg&&klg(jlg,(Clg(),vlg),c+' means '+s+', uninteresting');return null}U=new sgg;Mxf(U,I5d(s,(Sud(),oud)));U.c=2;!!jlg&&klg(jlg,(Clg(),vlg),c+' means '+s);return U}!!jlg&&klg(jlg,(Clg(),vlg),c+' cannot be described by quantities only')}}u=Vxf(hb);v=new RYb(u);nb=new Fxf(v,3);while(!nb.a){mb=Dxf(nb);M=(V=(new l8b(mb.a)).a.Zd().rd(),new m8b(V));K=0;db=me(fY,qnh,13,bEb(mb.a),0,1);while(M.a.xf()){db[K]=(l=M.a.yf(),l.ef());++K}try{B=db[0].nu(db[0]);C=db[1].nu(db[1]);D=db[2].nu(db[2])}catch(a){a=Ppb(a);if(ff(a,51)){!!jlg&&klg(jlg,(Clg(),vlg),NMh);return null}else throw Qpb(a)}h=$yf(kzf(B[0],B[1],C[0],C[1],D[0],D[1]),b.d);if(Uyf(c,h)||Syf(c,h).a.c==0){!!jlg&&klg(jlg,(Clg(),vlg),c+' means collinearity for '+mb);U=new sgg;U.b=db;U9b(U.b);U.a=pwh;ZDb(b.b,R,U);return U}}$=new Fxf(v,2);while(!$.a){X=Dxf($);M=(V=(new l8b(X.a)).a.Zd().rd(),new m8b(V));K=0;db=me(fY,qnh,13,bEb(X.a),0,1);while(M.a.xf()){db[K]=(l=M.a.yf(),l.ef());++K}try{B=db[0].nu(db[0]);C=db[1].nu(db[1])}catch(a){a=Ppb(a);if(ff(a,51)){!!jlg&&klg(jlg,(Clg(),vlg),NMh);return null}else throw Qpb(a)}s=$yf(wzf(B[0],B[1],C[0],C[1]),b.d);if(Uyf(c,s)||Syf(c,s).a.c==0){!!jlg&&klg(jlg,(Clg(),vlg),c+' means equality for '+X);U=new sgg;U.b=db;U9b(U.b);U.a=lwh;U.c=0.5;ZDb(b.b,R,U);return U}}w=new PYb;sb=new cEb;A=new PYb;vb=new cEb;L=(q=(new A8b(kIc(b.c.i).a)).a.Zd().b.Xf(),new B8b(q));while(L.a.xf()){H=(l=L.a.yf(),l.ef());if(H.jn()&&ff(H,105)){try{qb=H.nu(H)[0];if(NYb(b.a,qb)){YDb(w.a,qb,w);xbc(sb.e,qb,H)}tb=H.nu(H)[1];if(NYb(b.a,tb)){YDb(A.a,tb,A);xbc(vb.e,tb,H)}}catch(a){a=Ppb(a);if(ff(a,51)){!!jlg&&klg(jlg,(Clg(),vlg),NMh);return null}else throw Qpb(a)}}}bb=new Fxf(w,2);while(!bb.a){X=Dxf(bb);P=(V=(new l8b(X.a)).a.Zd().rd(),new m8b(V));K=0;i=me(Y1,PLh,37,bEb(X.a),0,1);db=me(fY,qnh,13,bEb(X.a),0,1);while(P.a.xf()){i[K]=(l=P.a.yf(),l.ef());db[K]=VDb(sb,i[K]);++K}rb=$yf(Syf(new hzf(i[0]),Zyf(new hzf(i[1]))),b.d);if(Uyf(c,rb)||Syf(c,rb).a.c==0){!!jlg&&klg(jlg,(Clg(),vlg),c+' means x-equality for '+X);U=new sgg;U.b=db;U9b(U.b);U.a='xAreEqual';U.c=k9g;ZDb(b.b,R,U);return U}}bb=new Fxf(A,2);while(!bb.a){X=Dxf(bb);P=(V=(new l8b(X.a)).a.Zd().rd(),new m8b(V));K=0;i=me(Y1,PLh,37,bEb(X.a),0,1);db=me(fY,qnh,13,bEb(X.a),0,1);while(P.a.xf()){i[K]=(l=P.a.yf(),l.ef());db[K]=VDb(vb,i[K]);++K}ub=$yf(Syf(new hzf(i[0]),Zyf(new hzf(i[1]))),b.d);if(Uyf(c,ub)||Syf(c,ub).a.c==0){!!jlg&&klg(jlg,(Clg(),vlg),c+' means y-equality for '+X);U=new sgg;U.b=db;U9b(U.b);U.a='yAreEqual';U.c=k9g;ZDb(b.b,R,U);return U}}ab=new Fxf(v,2);while(!ab.a){Y=Dxf(ab);N=(W=(new l8b(Y.a)).a.Zd().rd(),new m8b(W));K=0;db=me(fY,qnh,13,4,0,1);while(N.a.xf()){db[K]=(l=N.a.yf(),l.ef());++K}cb=new Fxf(v,2);while(!cb.a){Z=Dxf(cb);O=(V=(new l8b(Z.a)).a.Zd().rd(),new m8b(V));K=2;while(O.a.xf()){db[K]=(l=O.a.yf(),l.ef());++K}try{B=db[0].nu(db[0]);C=db[1].nu(db[1]);D=db[2].nu(db[0]);F=db[3].nu(db[1])}catch(a){a=Ppb(a);if(ff(a,51)){!!jlg&&klg(jlg,(Clg(),vlg),NMh);return null}else throw Qpb(a)}s=$yf(tzf(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.d);if(Uyf(c,s)||Syf(c,s).a.c==0){!!jlg&&klg(jlg,(Clg(),vlg),c+' means perpendicularity for '+Y+bMh+Z);U=new sgg;U.b=db;U.a=nwh;U.c=jih;ZDb(b.b,R,U);return U}s=$yf(szf(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.d);if(Uyf(c,s)||Syf(c,s).a.c==0){!!jlg&&klg(jlg,(Clg(),vlg),c+' means parallelism for '+Y+bMh+Z);U=new sgg;U.b=db;U.a=mwh;U.c=jih;ZDb(b.b,R,U);return U}s=$yf(Syf(wzf(B[0],B[1],C[0],C[1]),Zyf(wzf(D[0],D[1],F[0],F[1]))),b.d);if(Uyf(c,s)||Syf(c,s).a.c==0){!!jlg&&klg(jlg,(Clg(),vlg),c+' means congruence for '+Y+bMh+Z);U=new sgg;U.b=db;U.a=owh;U.c=jih;ZDb(b.b,R,U);return U}}}!!jlg&&klg(jlg,(Clg(),vlg),'No human readable geometrical meaning found for '+c);YDb(b.b,R,null);return null}\nfunction Lyf(a,b,c,d,e,f){var g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,A,B,C,D,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,$,ab,bb,cb,db,eb,fb,gb,hb,ib,jb,kb,lb,mb,nb,ob,pb,qb,rb,sb,tb,ub,vb,wb,xb,yb,zb,Ab,Bb,Cb,Db,Eb,Fb,Gb,Hb,Ib,Jb,Kb,Lb,Mb,Nb,Ob,Pb,Qb,Rb,Sb;if(a.i!=null){return a.i}if(d){if(c.dn()){R=fNe(c);Z=fNe(d);if(R!=null&&Z!=null){if(a.j==null){a.j=me(Y1,PLh,37,8,0,1);a.j[0]=new Jzf(b.vi());a.j[1]=new Jzf(b.vi());a.j[2]=new Jzf(b.vi());a.j[3]=new Jzf(b.vi());a.j[4]=new Jzf(b.vi());a.j[5]=new Jzf(b.vi());a.j[6]=new Jzf(b.vi());a.j[7]=new Jzf(b.vi())}a.i=me(W1,TLh,19,8,0,1);mb=new hzf(R[0]);nb=new hzf(R[1]);Ab=new hzf(a.j[4]);Bb=new hzf(a.j[5]);ob=new hzf(a.j[0]);pb=new hzf(a.j[1]);a.i[0]=Syf(Syf(Yyf(Ab,new dzf(2)),Zyf(mb)),Zyf(ob));a.i[1]=Syf(Syf(Yyf(Bb,new dzf(2)),Zyf(nb)),Zyf(pb));g=me(Y1,PLh,37,2,0,1);g[0]=Z[0];g[1]=Z[1];h=me(Y1,PLh,37,2,0,1);h[0]=Z[2];h[1]=Z[3];a.i[2]=kzf(g[0],g[1],a.j[4],a.j[5],h[0],h[1]);a.i[3]=tzf(R[0],R[1],a.j[4],a.j[5],g[0],g[1],h[0],h[1]);rb=new hzf(R[2]);sb=new hzf(R[3]);Db=new hzf(a.j[6]);Eb=new hzf(a.j[7]);tb=new hzf(a.j[2]);ub=new hzf(a.j[3]);a.i[4]=Syf(Syf(Yyf(Db,new dzf(2)),Zyf(rb)),Zyf(tb));a.i[5]=Syf(Syf(Yyf(Eb,new dzf(2)),Zyf(sb)),Zyf(ub));a.i[6]=kzf(g[0],g[1],a.j[6],a.j[7],h[0],h[1]);a.i[7]=tzf(R[2],R[3],a.j[6],a.j[7],g[0],g[1],h[0],h[1]);return a.i}throw Qpb(new Lxf)}else if(c.jn()){i=c;S=d;Jb=J_e(i,i);Ib=fNe(S);if(a.j==null){a.j=me(Y1,PLh,37,6,0,1);a.j[0]=new Jzf(b.vi());a.j[1]=new Jzf(b.vi());a.j[2]=new Jzf(b.vi());a.j[3]=new Jzf(b.vi());a.j[4]=new Jzf(b.vi());a.j[5]=new Jzf(b.vi())}a.i=me(W1,TLh,19,6,0,1);zb=new hzf(a.j[2]);Cb=new hzf(a.j[3]);v=new hzf(Jb[0]);w=new hzf(Jb[1]);A=new hzf(a.j[0]);B=new hzf(a.j[1]);a.i[0]=Syf(Syf(Yyf(zb,new dzf(2)),Zyf(A)),Zyf(v));a.i[1]=Syf(Syf(Yyf(Cb,new dzf(2)),Zyf(B)),Zyf(w));g=me(Y1,PLh,37,2,0,1);g[0]=Ib[0];g[1]=Ib[1];h=me(Y1,PLh,37,2,0,1);h[0]=Ib[2];h[1]=Ib[3];a.i[2]=kzf(g[0],g[1],h[0],h[1],a.j[2],a.j[3]);l=new hzf(g[0]);m=new hzf(g[1]);q=new hzf(h[0]);r=new hzf(h[1]);ab=new hzf(a.j[4]);db=new hzf(a.j[5]);a.i[3]=Syf(Syf(Syf(q,Zyf(l)),w),Zyf(db));a.i[4]=Syf(Syf(Syf(v,Zyf(r)),m),Zyf(ab));a.i[5]=kzf(a.j[0],a.j[1],a.j[2],a.j[3],a.j[4],a.j[5]);return a.i}else if(c.Tm()&&c.gb==4){C=c;S=d;Hb=uSe(C);Qb=fNe(S);if(a.j==null){a.j=me(Y1,PLh,37,12,0,1);a.j[0]=new Jzf(b.vi());a.j[1]=new Jzf(b.vi());a.j[2]=new Jzf(b.vi());a.j[3]=new Jzf(b.vi());a.j[4]=new Jzf(b.vi());a.j[5]=new Jzf(b.vi());a.j[6]=new Jzf(b.vi());a.j[7]=new Jzf(b.vi());a.j[8]=new Jzf(b.vi());a.j[9]=new Jzf(b.vi());a.j[10]=new Jzf(b.vi());a.j[11]=new Jzf(b.vi())}a.i=me(W1,TLh,19,12,0,1);zb=new hzf(a.j[4]);Cb=new hzf(a.j[5]);l=new hzf(Hb[0]);m=new hzf(Hb[1]);n=new hzf(a.j[0]);o=new hzf(a.j[1]);a.i[0]=Syf(Syf(Yyf(zb,new dzf(2)),Zyf(n)),Zyf(l));a.i[1]=Syf(Syf(Yyf(Cb,new dzf(2)),Zyf(o)),Zyf(m));a.i[2]=kzf(Qb[0],Qb[1],a.j[4],a.j[5],Qb[2],Qb[3]);v=new hzf(Qb[0]);w=new hzf(Qb[1]);D=new hzf(Qb[2]);F=new hzf(Qb[3]);bb=new hzf(a.j[8]);cb=new hzf(a.j[9]);a.i[3]=Syf(Syf(Syf(D,Zyf(v)),m),Zyf(cb));a.i[4]=Syf(Syf(Syf(l,Zyf(F)),w),Zyf(bb));a.i[5]=kzf(a.j[0],a.j[1],a.j[4],a.j[5],a.j[8],a.j[9]);vb=new hzf(a.j[6]);wb=new hzf(a.j[7]);q=new hzf(Hb[2]);r=new hzf(Hb[3]);s=new hzf(a.j[2]);t=new hzf(a.j[3]);a.i[6]=Syf(Syf(Yyf(vb,new dzf(2)),Zyf(s)),Zyf(q));a.i[7]=Syf(Syf(Yyf(wb,new dzf(2)),Zyf(t)),Zyf(r));a.i[8]=kzf(Qb[0],Qb[1],a.j[6],a.j[7],Qb[2],Qb[3]);eb=new hzf(a.j[10]);fb=new hzf(a.j[11]);a.i[9]=Syf(Syf(Syf(D,Zyf(v)),r),Zyf(fb));a.i[10]=Syf(Syf(Syf(q,Zyf(F)),w),Zyf(eb));a.i[11]=kzf(a.j[1],a.j[2],a.j[6],a.j[7],a.j[10],a.j[11]);return a.i}else if(c.Tm()&&c.gb==9){qb=c;S=d;Sb=uSe(qb);Qb=fNe(S);if(a.j==null){a.j=me(Y1,PLh,37,22,0,1);a.j[0]=new Jzf(b.vi());a.j[1]=new Jzf(b.vi());a.j[2]=new Jzf(b.vi());a.j[3]=new Jzf(b.vi());a.j[4]=new Jzf(b.vi());a.j[5]=new Jzf(b.vi());a.j[6]=new Jzf(b.vi());a.j[7]=new Jzf(b.vi());a.j[8]=new Jzf(b.vi());a.j[9]=new Jzf(b.vi());a.j[10]=new Jzf(b.vi());a.j[11]=new Jzf(b.vi());a.j[12]=new Jzf(b.vi());a.j[13]=new Jzf(b.vi());a.j[14]=new Jzf(b.vi());a.j[15]=new Jzf(b.vi());a.j[16]=new Jzf(b.vi());a.j[17]=new Jzf(b.vi());a.j[18]=new Jzf(b.vi());a.j[19]=new Jzf(b.vi());a.j[20]=new Jzf(b.vi());a.j[21]=new Jzf(b.vi())}a.i=me(W1,TLh,19,21,0,1);l=new hzf(Sb[4]);m=new hzf(Sb[5]);Ab=new hzf(a.j[10]);Bb=new hzf(a.j[11]);n=new hzf(a.j[4]);o=new hzf(a.j[5]);bb=new hzf(a.j[16]);cb=new hzf(a.j[17]);U=new hzf(Qb[0]);V=new hzf(Qb[1]);X=new hzf(Qb[2]);Y=new hzf(Qb[3]);a.i[0]=Syf(Syf(Yyf(new dzf(2),Ab),Zyf(l)),Zyf(n));a.i[1]=Syf(Syf(Yyf(new dzf(2),Bb),Zyf(m)),Zyf(o));a.i[2]=kzf(a.j[4],a.j[5],a.j[10],a.j[11],a.j[16],a.j[17]);a.i[3]=kzf(Qb[0],Qb[1],a.j[10],a.j[11],Qb[2],Qb[3]);a.i[4]=Syf(Syf(Syf(X,Zyf(U)),m),Zyf(cb));a.i[5]=Syf(Syf(Syf(l,Zyf(Y)),V),Zyf(bb));q=new hzf(Sb[6]);r=new hzf(Sb[7]);Db=new hzf(a.j[12]);Eb=new hzf(a.j[13]);s=new hzf(a.j[6]);t=new hzf(a.j[7]);eb=new hzf(a.j[18]);fb=new hzf(a.j[19]);a.i[6]=Syf(Syf(Yyf(new dzf(2),Db),Zyf(q)),Zyf(s));a.i[7]=Syf(Syf(Yyf(new dzf(2),Eb),Zyf(r)),Zyf(t));a.i[8]=kzf(a.j[6],a.j[7],a.j[12],a.j[13],a.j[18],a.j[19]);a.i[9]=kzf(Qb[0],Qb[1],a.j[12],a.j[13],Qb[2],Qb[3]);a.i[10]=Syf(Syf(Syf(X,Zyf(U)),r),Zyf(fb));a.i[11]=Syf(Syf(Syf(q,Zyf(Y)),V),Zyf(eb));M=new hzf(Sb[8]);N=new hzf(Sb[9]);Fb=new hzf(a.j[14]);Gb=new hzf(a.j[15]);O=new hzf(a.j[8]);P=new hzf(a.j[9]);gb=new hzf(a.j[20]);hb=new hzf(a.j[21]);a.i[12]=Syf(Syf(Yyf(new dzf(2),Fb),Zyf(M)),Zyf(O));a.i[13]=Syf(Syf(Yyf(new dzf(2),Gb),Zyf(N)),Zyf(P));a.i[14]=kzf(a.j[8],a.j[9],a.j[14],a.j[15],a.j[20],a.j[21]);a.i[15]=kzf(Qb[0],Qb[1],a.j[14],a.j[15],Qb[2],Qb[3]);a.i[16]=Syf(Syf(Syf(X,Zyf(U)),N),Zyf(hb));a.i[17]=Syf(Syf(Syf(M,Zyf(Y)),V),Zyf(gb));a.i[18]=nzf(a.j[8],a.j[9],a.j[0],a.j[1],a.j[2],a.j[3]);a.i[19]=kzf(a.j[4],a.j[5],a.j[2],a.j[3],a.j[6],a.j[7]);a.i[20]=tzf(a.j[0],a.j[1],a.j[2],a.j[3],a.j[4],a.j[5],a.j[6],a.j[7]);return a.i}throw Qpb(new Lxf)}else if(ff(e,33)){if(c.jn()){j=c;k=e;Kb=J_e(j,j);Lb=J_e(k,k);if(a.j==null){a.j=me(Y1,PLh,37,2,0,1);a.j[0]=new Jzf(b.vi());a.j[1]=new Jzf(b.vi())}a.i=me(W1,TLh,19,2,0,1);l=new hzf(Kb[0]);m=new hzf(Kb[1]);q=new hzf(Lb[0]);r=new hzf(Lb[1]);n=new hzf(a.j[0]);o=new hzf(a.j[1]);a.i[0]=Syf(Syf(Yyf(q,new dzf(2)),Zyf(l)),Zyf(n));a.i[1]=Syf(Syf(Yyf(r,new dzf(2)),Zyf(m)),Zyf(o));return a.i}else if(c.dn()){S=c;i=e;Qb=fNe(S);Jb=J_e(i,i);if(a.j==null){a.j=me(Y1,PLh,37,4,0,1);a.j[0]=new Jzf(b.vi());a.j[1]=new Jzf(b.vi());a.j[2]=new Jzf(b.vi());a.j[3]=new Jzf(b.vi())}a.i=me(W1,TLh,19,4,0,1);mb=new hzf(Jb[0]);nb=new hzf(Jb[1]);l=new hzf(Qb[0]);m=new hzf(Qb[1]);n=new hzf(a.j[0]);o=new hzf(a.j[1]);q=new hzf(Qb[2]);r=new hzf(Qb[3]);s=new hzf(a.j[2]);t=new hzf(a.j[3]);a.i[0]=Syf(Syf(mb,Zyf(l)),Zyf(Syf(n,Zyf(mb))));a.i[1]=Syf(Syf(nb,Zyf(m)),Zyf(Syf(o,Zyf(nb))));a.i[2]=Syf(Syf(mb,Zyf(q)),Zyf(Syf(s,Zyf(mb))));a.i[3]=Syf(Syf(nb,Zyf(r)),Zyf(Syf(t,Zyf(nb))));return a.i}else if(c.Tm()&&c.gb==4){C=c;i=e;Hb=uSe(C);Jb=J_e(i,i);if(a.j==null){a.j=me(Y1,PLh,37,4,0,1);a.j[0]=new Jzf(b.vi());a.j[1]=new Jzf(b.vi());a.j[2]=new Jzf(b.vi());a.j[3]=new Jzf(b.vi())}a.i=me(W1,TLh,19,4,0,1);mb=new hzf(Jb[0]);nb=new hzf(Jb[1]);l=new hzf(Hb[0]);m=new hzf(Hb[1]);n=new hzf(a.j[0]);o=new hzf(a.j[1]);q=new hzf(Hb[2]);r=new hzf(Hb[3]);s=new hzf(a.j[2]);t=new hzf(a.j[3]);a.i[0]=Syf(Syf(mb,Zyf(l)),Zyf(Syf(n,Zyf(mb))));a.i[1]=Syf(Syf(nb,Zyf(m)),Zyf(Syf(o,Zyf(nb))));a.i[2]=Syf(Syf(mb,Zyf(q)),Zyf(Syf(s,Zyf(mb))));a.i[3]=Syf(Syf(nb,Zyf(r)),Zyf(Syf(t,Zyf(nb))));return a.i}else if(c.Tm()&&c.gb==9){qb=c;i=e;Sb=uSe(qb);Jb=J_e(i,i);if(a.j==null){a.j=me(Y1,PLh,37,10,0,1);a.j[0]=new Jzf(b.vi());a.j[1]=new Jzf(b.vi());a.j[2]=new Jzf(b.vi());a.j[3]=new Jzf(b.vi());a.j[4]=new Jzf(b.vi());a.j[5]=new Jzf(b.vi());a.j[6]=new Jzf(b.vi());a.j[7]=new Jzf(b.vi());a.j[8]=new Jzf(b.vi());a.j[9]=new Jzf(b.vi())}a.i=me(W1,TLh,19,13,0,1);mb=new hzf(Sb[0]);nb=new hzf(Sb[1]);vb=new hzf(Sb[2]);wb=new hzf(Sb[3]);l=new hzf(Sb[4]);m=new hzf(Sb[5]);q=new hzf(Sb[6]);r=new hzf(Sb[7]);M=new hzf(Sb[8]);N=new hzf(Sb[9]);ob=new hzf(a.j[0]);pb=new hzf(a.j[1]);xb=new hzf(a.j[2]);yb=new hzf(a.j[3]);n=new hzf(a.j[4]);o=new hzf(a.j[5]);s=new hzf(a.j[6]);t=new hzf(a.j[7]);O=new hzf(a.j[8]);P=new hzf(a.j[9]);T=new hzf(Jb[0]);W=new hzf(Jb[1]);a.i[0]=Syf(Syf(Yyf(new dzf(2),T),Zyf(mb)),Zyf(ob));a.i[1]=Syf(Syf(Yyf(new dzf(2),W),Zyf(nb)),Zyf(pb));a.i[2]=Syf(Syf(Yyf(new dzf(2),T),Zyf(vb)),Zyf(xb));a.i[3]=Syf(Syf(Yyf(new dzf(2),W),Zyf(wb)),Zyf(yb));a.i[4]=Syf(Syf(Yyf(new dzf(2),T),Zyf(l)),Zyf(n));a.i[5]=Syf(Syf(Yyf(new dzf(2),W),Zyf(m)),Zyf(o));a.i[6]=Syf(Syf(Yyf(new dzf(2),T),Zyf(q)),Zyf(s));a.i[7]=Syf(Syf(Yyf(new dzf(2),W),Zyf(r)),Zyf(t));a.i[8]=Syf(Syf(Yyf(new dzf(2),T),Zyf(M)),Zyf(O));a.i[9]=Syf(Syf(Yyf(new dzf(2),W),Zyf(N)),Zyf(P));a.i[10]=nzf(a.j[8],a.j[9],a.j[0],a.j[1],a.j[2],a.j[3]);a.i[11]=kzf(a.j[4],a.j[5],a.j[2],a.j[3],a.j[6],a.j[7]);a.i[12]=tzf(a.j[0],a.j[1],a.j[2],a.j[3],a.j[4],a.j[5],a.j[6],a.j[7]);return a.i}else if(c.Tm()&&c.gb==3){L=c;i=e;Ob=uSe(L);Jb=J_e(i,i);if(Ob[6]==Ob[8]&&Ob[7]==Ob[9]){if(a.j==null){a.j=me(Y1,PLh,37,4,0,1);a.j[0]=new Jzf(b.vi());a.j[1]=new Jzf(b.vi());a.j[2]=new Jzf(b.vi());a.j[3]=new Jzf(b.vi())}a.i=me(W1,TLh,19,4,0,1);l=new hzf(Ob[0]);m=new hzf(Ob[1]);v=new hzf(Ob[2]);w=new hzf(Ob[3]);mb=new hzf(Jb[0]);nb=new hzf(Jb[1]);n=new hzf(a.j[0]);o=new hzf(a.j[1]);A=new hzf(a.j[2]);B=new hzf(a.j[3]);a.i[0]=Syf(Syf(Yyf(new dzf(2),mb),Zyf(l)),Zyf(n));a.i[1]=Syf(Syf(Yyf(new dzf(2),nb),Zyf(m)),Zyf(o));a.i[2]=Syf(Syf(Yyf(new dzf(2),mb),Zyf(v)),Zyf(A));a.i[3]=Syf(Syf(Yyf(new dzf(2),nb),Zyf(w)),Zyf(B))}else{if(a.j==null){a.j=me(Y1,PLh,37,12,0,1);a.j[0]=new Jzf(b.vi());a.j[1]=new Jzf(b.vi());a.j[2]=new Jzf(b.vi());a.j[3]=new Jzf(b.vi());a.j[4]=new Jzf(b.vi());a.j[5]=new Jzf(b.vi());a.j[6]=new Jzf(b.vi());a.j[7]=new Jzf(b.vi());a.j[8]=new Jzf(b.vi());a.j[9]=new Jzf(b.vi());a.j[10]=new Jzf(b.vi());a.j[11]=new Jzf(b.vi())}a.i=me(W1,TLh,19,13,0,1);mb=new hzf(Ob[0]);nb=new hzf(Ob[1]);l=new hzf(Ob[6]);m=new hzf(Ob[7]);q=new hzf(Ob[8]);r=new hzf(Ob[9]);v=new hzf(Ob[10]);w=new hzf(Ob[11]);T=new hzf(Jb[0]);W=new hzf(Jb[1]);ob=new hzf(a.j[0]);pb=new hzf(a.j[1]);n=new hzf(a.j[6]);o=new hzf(a.j[7]);s=new hzf(a.j[8]);t=new hzf(a.j[9]);A=new hzf(a.j[10]);B=new hzf(a.j[11]);D=new hzf(a.j[2]);F=new hzf(a.j[3]);J=new hzf(a.j[4]);K=new hzf(a.j[5]);a.i[0]=Syf(Syf(Yyf(new dzf(2),T),Zyf(mb)),Zyf(ob));a.i[1]=Syf(Syf(Yyf(new dzf(2),W),Zyf(nb)),Zyf(pb));a.i[2]=Syf(Syf(Yyf(new dzf(2),T),Zyf(l)),Zyf(n));a.i[3]=Syf(Syf(Yyf(new dzf(2),W),Zyf(m)),Zyf(o));a.i[4]=Syf(Syf(Yyf(new dzf(2),T),Zyf(q)),Zyf(s));a.i[5]=Syf(Syf(Yyf(new dzf(2),W),Zyf(r)),Zyf(t));a.i[6]=Syf(Syf(Yyf(new dzf(2),T),Zyf(v)),Zyf(A));a.i[7]=Syf(Syf(Yyf(new dzf(2),W),Zyf(w)),Zyf(B));a.i[8]=Syf(Syf(Syf(D,F),Zyf(J)),Zyf(K));a.i[9]=Syf(wzf(a.j[6],a.j[7],a.j[8],a.j[9]),Zyf(Yyf(D,D)));a.i[10]=Syf(wzf(a.j[6],a.j[7],a.j[8],a.j[9]),Zyf(Yyf(F,F)));a.i[11]=Syf(wzf(a.j[6],a.j[7],a.j[0],a.j[1]),Zyf(Yyf(J,J)));a.i[12]=Syf(wzf(a.j[8],a.j[9],a.j[0],a.j[1]),Zyf(Yyf(K,K)))}return a.i}else if(c.Tm()&&c.gb==5){Q=c;i=e;Pb=uSe(Q);Jb=J_e(i,i);if(a.j==null){a.j=me(Y1,PLh,37,12,0,1);a.j[0]=new Jzf(b.vi());a.j[1]=new Jzf(b.vi());a.j[2]=new Jzf(b.vi());a.j[3]=new Jzf(b.vi());a.j[4]=new Jzf(b.vi());a.j[5]=new Jzf(b.vi());a.j[6]=new Jzf(b.vi());a.j[7]=new Jzf(b.vi());a.j[8]=new Jzf(b.vi());a.j[9]=new Jzf(b.vi());a.j[10]=new Jzf(b.vi());a.j[11]=new Jzf(b.vi())}a.i=me(W1,TLh,19,13,0,1);mb=new hzf(Pb[0]);nb=new hzf(Pb[1]);l=new hzf(Pb[6]);m=new hzf(Pb[7]);q=new hzf(Pb[8]);r=new hzf(Pb[9]);v=new hzf(Pb[10]);w=new hzf(Pb[11]);T=new hzf(Jb[0]);W=new hzf(Jb[1]);ob=new hzf(a.j[0]);pb=new hzf(a.j[1]);n=new hzf(a.j[6]);o=new hzf(a.j[7]);s=new hzf(a.j[8]);t=new hzf(a.j[9]);A=new hzf(a.j[10]);B=new hzf(a.j[11]);D=new hzf(a.j[2]);F=new hzf(a.j[3]);J=new hzf(a.j[4]);K=new hzf(a.j[5]);a.i[0]=Syf(Syf(Yyf(new dzf(2),T),Zyf(mb)),Zyf(ob));a.i[1]=Syf(Syf(Yyf(new dzf(2),W),Zyf(nb)),Zyf(pb));a.i[2]=Syf(Syf(Yyf(new dzf(2),T),Zyf(l)),Zyf(n));a.i[3]=Syf(Syf(Yyf(new dzf(2),W),Zyf(m)),Zyf(o));a.i[4]=Syf(Syf(Yyf(new dzf(2),T),Zyf(q)),Zyf(s));a.i[5]=Syf(Syf(Yyf(new dzf(2),W),Zyf(r)),Zyf(t));a.i[6]=Syf(Syf(Yyf(new dzf(2),T),Zyf(v)),Zyf(A));a.i[7]=Syf(Syf(Yyf(new dzf(2),W),Zyf(w)),Zyf(B));a.i[8]=Syf(Syf(Syf(D,Zyf(F)),Zyf(J)),K);a.i[9]=Syf(wzf(a.j[6],a.j[7],a.j[10],a.j[11]),Zyf(Yyf(D,D)));a.i[10]=Syf(wzf(a.j[8],a.j[9],a.j[10],a.j[11]),Zyf(Yyf(F,F)));a.i[3]=Syf(wzf(a.j[6],a.j[7],a.j[0],a.j[1]),Zyf(Yyf(J,J)));a.i[4]=Syf(wzf(a.j[8],a.j[9],a.j[0],a.j[1]),Zyf(Yyf(K,K)));return a.i}throw Qpb(new Lxf)}else if(f){if(c.jn()){i=c;u=f;Jb=J_e(i,i);Mb=uSe(u);if(a.j==null){a.j=me(Y1,PLh,37,8,0,1);a.j[0]=new Jzf(b.vi());a.j[1]=new Jzf(b.vi());a.j[2]=Jb[0];a.j[3]=Jb[1];a.j[4]=Mb[0];a.j[5]=Mb[1];a.j[6]=Mb[2];a.j[7]=Mb[3]}a.i=me(W1,TLh,19,2,0,1);ib=new hzf(Mb[0]);jb=new hzf(Mb[1]);l=new hzf(Mb[2]);m=new hzf(Mb[3]);q=new hzf(Jb[0]);r=new hzf(Jb[1]);s=new hzf(a.j[0]);t=new hzf(a.j[1]);kb=Syf(Yyf(Syf(l,Zyf(ib)),Syf(l,Zyf(ib))),Yyf(Syf(m,Zyf(jb)),Syf(m,Zyf(jb))));G=Syf(Yyf(Syf(q,Zyf(ib)),Syf(q,Zyf(ib))),Yyf(Syf(r,Zyf(jb)),Syf(r,Zyf(jb))));a.i[0]=Syf(Yyf(kb,Syf(q,Zyf(ib))),Yyf(Syf(ib,Zyf(s)),G));a.i[1]=Syf(Yyf(kb,Syf(r,Zyf(jb))),Yyf(Syf(jb,Zyf(t)),G));return a.i}else if(c.dn()){!!jlg&&klg(jlg,(Clg(),vlg),'mirroring line about circle not implemented');throw Qpb(new Lxf)}else if(c.Tm()&&c.gb==4){C=c;$=f;Nb=uSe(C);Rb=uSe($);if(a.j==null){a.j=me(Y1,PLh,37,4,0,1);a.j[0]=new Jzf(b.vi());a.j[1]=new Jzf(b.vi());a.j[2]=new Jzf(b.vi());a.j[3]=new Jzf(b.vi())}a.i=me(W1,TLh,19,4,0,1);l=new hzf(Nb[0]);m=new hzf(Nb[1]);q=new hzf(Nb[2]);r=new hzf(Nb[3]);ib=new hzf(Rb[0]);jb=new hzf(Rb[1]);v=new hzf(Rb[2]);w=new hzf(Rb[3]);n=new hzf(a.j[0]);o=new hzf(a.j[1]);s=new hzf(a.j[2]);t=new hzf(a.j[3]);lb=Syf(Yyf(Syf(v,Zyf(ib)),Syf(v,Zyf(ib))),Yyf(Syf(w,Zyf(jb)),Syf(w,Zyf(jb))));p=Syf(Yyf(Syf(q,Zyf(l)),Syf(q,Zyf(l))),Yyf(Syf(r,Zyf(m)),Syf(r,Zyf(m))));H=Syf(Syf(Yyf(Syf(l,Zyf(ib)),Syf(l,Zyf(ib))),Yyf(Syf(m,Zyf(jb)),Syf(m,Zyf(jb)))),Zyf(p));a.i[0]=Syf(Yyf(lb,Syf(l,Zyf(ib))),Yyf(Syf(ib,Zyf(n)),H));a.i[1]=Syf(Yyf(lb,Syf(m,Zyf(jb))),Yyf(Syf(jb,Zyf(o)),H));I=Syf(Yyf(Syf(q,Zyf(ib)),Syf(q,Zyf(ib))),Yyf(Syf(r,Zyf(jb)),Syf(r,Zyf(jb))));a.i[2]=Syf(Yyf(lb,Syf(q,Zyf(ib))),Yyf(Syf(ib,Zyf(s)),I));a.i[3]=Syf(Yyf(lb,Syf(r,Zyf(jb))),Yyf(Syf(jb,Zyf(t)),I));return a.i}else{throw Qpb(new Lxf)}}else{throw Qpb(new Lxf)}}\nvar uMh='[LocusEqu] result[',vMh='eliminate([',wMh='],revlist([',xMh='PRECISION = ',yMh='[1]: [1]: _[1]=1 _[2]=',zMh='Cannot parse: ',AMh='Cannot get Botana variables for ',BMh='Recio meets Botana: #',CMh={15:1,24:1,16:1,21:1,131:1,531:1,25:1},DMh={15:1,24:1,16:1,21:1,531:1,25:1},EMh='Cannot compute implicit curve (yet?)',FMh='Benchmarking: ',GMh='Output from giac: ',HMh='Error on running Giac code',IMh=' kernelPrecision=',JMh=' precisionRatio=',KMh='OpenGeoProver',LMh='PureSymbolic',MMh='STATEMENT IS ',NMh='Cannot get Botana vars during NDG detection',OMh=' unimplemented',PMh='Interpreting TRUE as UNKNOWN',QMh='Extra poly 3 for ',RMh='Extra poly 4 for ',SMh='Eliminating system in ',TMh=' variables (',UMh=' dependent)',VMh='gbt polys = ',WMh='gbt vars = ',XMh='Using ',YMh='Possible numerical error in converting formula coefficients to integer',ZMh='ggbtmpvar2',$Mh=') and ',_Mh='Free Point';wqb(1870,592,Olh,s8b);_.gf=function(a){throw Qpb(new p5b)};var Gu=J2b(1870);wqb(4184,286,W9g);_.Wf=function(){return new y8b(this)};wqb(2153,4184,W9g,y8b);_.clear=function(){this.a.clear()};_.Vf=function(){return this.a.Xf()};_.Wf=hZh;_.Xf=function(){return this.a.Vf()};_.Yf=function(a){return this.a._f(a)};_.Zf=function(a){return this.a.Zf(a)};_.$f=function(){return this.a.bg()};_._f=function(a){return this.a.Yf(a)};_.ag=function(a){return this.a.cg(a)};_.bg=function(){return this.a.$f()};_.cg=function(a){return this.a.ag(a)};_.dg=function(a,b){return this.a.fg(a,b).Wf()};_.put=function(a,b){return this.a.put(a,b)};_.remove=function(a){return this.a.remove(a)};_.eg=function(a){return this.a.eg(a)};_.size=function(){return this.a.size()};_.fg=function(a,b){return this.a.dg(a,b).Wf()};var Ju=J2b(2153);wqb(223,4184,amh,kec);_.Vf=function(){return new lec(this)};_.dg=function(a,b){return Wdc(this,a,b)};wqb(uch,1,{},lec,mec);_.wf=gZh;_.yf=function(){return this.b=h8b(this.a)};_.xf=function(){return this.a.b>0};_.zf=function(){f8b(this.a);bec(this.c,this.b);this.b=null};var ew=J2b(uch);wqb(758,4184,W9g);_.Vf=function(){return new mec(this.c,this.f,this.b,this.a,this.e,this.d)};_.dg=function(a,b){if(this.f.qg()&&this.c.a.bf(a,this.e)>0){throw Qpb(new l3b(bmh+a+' greater than '+this.e))}return this.f.pg()?gec(this.c,this.b,this.a,a,b):Wdc(this.c,a,b)};wqb(1396,1,Mnh);_.oj=function(a,b){var c,d;d=new h5b;c=vMh+a+wMh+b+']))';return Z4b(Z4b(Z4b(Z4b(Z4b(Z4b((d.a+='[[ff:=\"\"],[aa:=',d),c),'],'),'[bb:=size(aa)],[for ii from 0 to bb-1 do ff+=(\"[\"+(ii+1)+\"]: [1]: '),' _[1]=1\");ee:=aa[ii]/gcd(coeffs(aa[ii]));cc:=factors(ee);dd:=size(cc);'),'for jj from 0 to dd-1 by 2 do ff+=(\" _[\"+(jj/2+2)+\"]=\"+cc[jj]); od; ff+=(\" [2]: '),'\"+cc[1]);for kk from 1 to dd-1 by 2 do ff+=(\",\"+cc[kk]);od;od],[if(ff==\"\") begin ff:=[0] end],ff][5]').a};_.pj=function(a,b,c,d){var e,f;if(!c){return (uyc(),oyc)+'(eliminate(['+a+wMh+b+'])))'}e=''+nqb(d.a);!!jlg&&klg(jlg,(Clg(),vlg),xMh+e);f=(uyc(),oyc)+'([[ee:=eliminate(['+a+wMh+b+']))],[ll:=lvar(ee)],[if(size(ee)>1) begin ff:=round(fsolve(ee,ll)*'+e+')/'+e+';'+'gg:=1;for ii from 0 to size(ff)-1 do gg:=gg*(((ll[0]-ff[ii,0])^2+(ll[1]-ff[ii,1])^2));'+'od ee:=[expand(lcm(denom(coeff(gg)))*gg)]; end],ee][3])';return f};_.qj=function(a,b,c,d){var e,f,g;e='[[GB:=gbasis(';!!a&&(e+=uAh);e+='['+b+']';if(a){f=Bxc(a);e+=',['+f+'])'}g=c+izf(d);g4b(g.substr(0,1),',')&&(g=(uhc(1,g.length+1),g.substr(1)));e+=',['+g+'],revlex)';e+='],[s:=size(GB)],[out:=[]],[for ii from 0 to s-1 do if (size(GB[ii])==1) out[ii]:=lvar(GB[ii]); else out[ii]:=lvar(GB[ii][1]); od],out][4]';return e};_.rj=function(a,b,c,d,e){var f,g,h;f='[[ii:=gbasis(';f+=uAh;f+='['+b+']';g=Bxc(a);f+=',['+g+'])';h=c+izf(d);f+=',['+h+'],revlex)],('+'ii'+'[0]!=1)&&('+'ii'+'[0]!=-1)][1]';return f};_.xj=function(a){var b,c,d,e;b=xxc(a);c=yxc(a);e=me(sf,W4g,82,c.length+1,0,3);e[0]=b;for(d=0;d0){c=J_e(this.j,this.j);b[b.length-1]=Syf(Yyf(wzf(d[0],d[1],c[0],c[1]),new hzf(new Jzf(this.Mc))),Zyf(new dzf(1)))}YDb(this.e,a,b);return b}throw Qpb(new Lxf)}else if(this.g.gb==9||this.g.gb==3||this.g.gb==5){if(this.n){p=fNe(this.n);d=me(Y1,PLh,37,2,0,1);!this.f&&(this.f=new cEb);if(SDb(this.f,a)){d=VDb(this.f,a)}else{d=me(Y1,PLh,37,2,0,1);d[0]=new Jzf(this.Mc);d[1]=new Jzf(this.Mc);YDb(this.f,a,d)}e=tSe(this.g);g=uSe(this.g);f=e.length;b=me(W1,TLh,19,f+1,0,1);for(k=0;ki&&(i=h[g])}b[0]=i;return b}throw Qpb(new Lxf)};_.qu=function(a){var b,c,d,e,f,g;if(!!this.b&&!!this.c&&!!this.d&&!!this.e){c=Q_e(this.b,a);d=Q_e(this.c,a);e=Q_e(this.d,a);f=Q_e(this.e,a);b=me(qu,Jlh,87,1,0,1);g=ke(qu,[W4g,Jlh],[207,87],0,[4,4],2);g[0][0]=E6b(c[0],c[2]);g[0][1]=E6b(c[1],c[2]);g[0][2]=q7b(E6b(c[0],c[0]),E6b(c[1],c[1]));g[0][3]=E6b(c[2],c[2]);g[1][0]=E6b(d[0],d[2]);g[1][1]=E6b(d[1],d[2]);g[1][2]=q7b(E6b(d[0],d[0]),E6b(d[1],d[1]));g[1][3]=E6b(d[2],d[2]);g[2][0]=E6b(e[0],e[2]);g[2][1]=E6b(e[1],e[2]);g[2][2]=q7b(E6b(e[0],e[0]),E6b(e[1],e[1]));g[2][3]=E6b(e[2],e[2]);g[3][0]=E6b(f[0],f[2]);g[3][1]=E6b(f[1],f[2]);g[3][2]=q7b(E6b(f[0],f[0]),E6b(f[1],f[1]));g[3][3]=E6b(f[2],f[2]);b[0]=q7b(v7b(v7b(q7b(q7b(v7b(v7b(q7b(q7b(v7b(v7b(q7b(q7b(v7b(v7b(q7b(q7b(v7b(v7b(q7b(q7b(v7b(v7b(E6b(E6b(E6b(g[0][3],g[1][2]),g[2][1]),g[3][0]),E6b(E6b(E6b(g[0][2],g[1][3]),g[2][1]),g[3][0])),E6b(E6b(E6b(g[0][3],g[1][1]),g[2][2]),g[3][0])),E6b(E6b(E6b(g[0][1],g[1][3]),g[2][2]),g[3][0])),E6b(E6b(E6b(g[0][2],g[1][1]),g[2][3]),g[3][0])),E6b(E6b(E6b(g[0][1],g[1][2]),g[2][3]),g[3][0])),E6b(E6b(E6b(g[0][3],g[1][2]),g[2][0]),g[3][1])),E6b(E6b(E6b(g[0][2],g[1][3]),g[2][0]),g[3][1])),E6b(E6b(E6b(g[0][3],g[1][0]),g[2][2]),g[3][1])),E6b(E6b(E6b(g[0][0],g[1][3]),g[2][2]),g[3][1])),E6b(E6b(E6b(g[0][2],g[1][0]),g[2][3]),g[3][1])),E6b(E6b(E6b(g[0][0],g[1][2]),g[2][3]),g[3][1])),E6b(E6b(E6b(g[0][3],g[1][1]),g[2][0]),g[3][2])),E6b(E6b(E6b(g[0][1],g[1][3]),g[2][0]),g[3][2])),E6b(E6b(E6b(g[0][3],g[1][0]),g[2][1]),g[3][2])),E6b(E6b(E6b(g[0][0],g[1][3]),g[2][1]),g[3][2])),E6b(E6b(E6b(g[0][1],g[1][0]),g[2][3]),g[3][2])),E6b(E6b(E6b(g[0][0],g[1][1]),g[2][3]),g[3][2])),E6b(E6b(E6b(g[0][2],g[1][1]),g[2][0]),g[3][3])),E6b(E6b(E6b(g[0][1],g[1][2]),g[2][0]),g[3][3])),E6b(E6b(E6b(g[0][2],g[1][0]),g[2][1]),g[3][3])),E6b(E6b(E6b(g[0][0],g[1][2]),g[2][1]),g[3][3])),E6b(E6b(E6b(g[0][1],g[1][0]),g[2][2]),g[3][3])),E6b(E6b(E6b(g[0][0],g[1][1]),g[2][2]),g[3][3]));return b}throw Qpb(new Lxf)};_.ru=function(a){if(!!this.b&&!!this.c&&!!this.d&&!!this.e){R_e(this.b,a);R_e(this.c,a);R_e(this.d,a);R_e(this.e,a);return}throw Qpb(new Lxf)};_.su=function(){var a,b,c,d,e;if(this.g!=null){return this.g}if(!!this.b&&!!this.c&&!!this.d&&!!this.e){a=X_e(this.b);b=X_e(this.c);c=X_e(this.d);d=X_e(this.e);this.g=me(W1,TLh,19,1,0,1);e=ke(W1,[W4g,TLh],[57,19],0,[4,4],2);e[0][0]=Yyf(a[0],a[2]);e[0][1]=Yyf(a[1],a[2]);e[0][2]=Syf(Yyf(a[0],a[0]),Yyf(a[1],a[1]));e[0][3]=Yyf(a[2],a[2]);e[1][0]=Yyf(b[0],b[2]);e[1][1]=Yyf(b[1],b[2]);e[1][2]=Syf(Yyf(b[0],b[0]),Yyf(b[1],b[1]));e[1][3]=Yyf(b[2],b[2]);e[2][0]=Yyf(c[0],c[2]);e[2][1]=Yyf(c[1],c[2]);e[2][2]=Syf(Yyf(c[0],c[0]),Yyf(c[1],c[1]));e[2][3]=Yyf(c[2],c[2]);e[3][0]=Yyf(d[0],d[2]);e[3][1]=Yyf(d[1],d[2]);e[3][2]=Syf(Yyf(d[0],d[0]),Yyf(d[1],d[1]));e[3][3]=Yyf(d[2],d[2]);this.g[0]=Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Syf(Yyf(e[0][3],Yyf(e[1][2],Yyf(e[2][1],e[3][0]))),Zyf(Yyf(Yyf(Yyf(e[0][2],e[1][3]),e[2][1]),e[3][0]))),Zyf(Yyf(Yyf(Yyf(e[0][3],e[1][1]),e[2][2]),e[3][0]))),Yyf(Yyf(Yyf(e[0][1],e[1][3]),e[2][2]),e[3][0])),Yyf(Yyf(Yyf(e[0][2],e[1][1]),e[2][3]),e[3][0])),Zyf(Yyf(Yyf(Yyf(e[0][1],e[1][2]),e[2][3]),e[3][0]))),Zyf(Yyf(Yyf(Yyf(e[0][3],e[1][2]),e[2][0]),e[3][1]))),Yyf(Yyf(Yyf(e[0][2],e[1][3]),e[2][0]),e[3][1])),Yyf(Yyf(Yyf(e[0][3],e[1][0]),e[2][2]),e[3][1])),Zyf(Yyf(Yyf(Yyf(e[0][0],e[1][3]),e[2][2]),e[3][1]))),Zyf(Yyf(Yyf(Yyf(e[0][2],e[1][0]),e[2][3]),e[3][1]))),Yyf(Yyf(Yyf(e[0][0],e[1][2]),e[2][3]),e[3][1])),Yyf(Yyf(Yyf(e[0][3],e[1][1]),e[2][0]),e[3][2])),Zyf(Yyf(Yyf(Yyf(e[0][1],e[1][3]),e[2][0]),e[3][2]))),Zyf(Yyf(Yyf(Yyf(e[0][3],e[1][0]),e[2][1]),e[3][2]))),Yyf(Yyf(Yyf(e[0][0],e[1][3]),e[2][1]),e[3][2])),Yyf(Yyf(Yyf(e[0][1],e[1][0]),e[2][3]),e[3][2])),Zyf(Yyf(Yyf(Yyf(e[0][0],e[1][1]),e[2][3]),e[3][2]))),Zyf(Yyf(Yyf(Yyf(e[0][2],e[1][1]),e[2][0]),e[3][3]))),Yyf(Yyf(Yyf(e[0][1],e[1][2]),e[2][0]),e[3][3])),Yyf(Yyf(Yyf(e[0][2],e[1][0]),e[2][1]),e[3][3])),Zyf(Yyf(Yyf(Yyf(e[0][0],e[1][2]),e[2][1]),e[3][3]))),Zyf(Yyf(Yyf(Yyf(e[0][1],e[1][0]),e[2][2]),e[3][3]))),Yyf(Yyf(Yyf(e[0][0],e[1][1]),e[2][2]),e[3][3]));return this.g}throw Qpb(new Lxf)};_.tu=UYh;_.hj=function(){Bwf(this)};var u1=J2b(1541);wqb(726,16,{15:1,24:1,16:1,21:1,131:1,531:1,25:1,726:1},Gwf,Hwf);_.Mi=function(){return EIe(),xye};_.zf=eZh;_.Ii=function(){Dwf(this)};_.Nv=function(){return Ewf(this)};_.pu=function(a){var b,c,d;if(ff(this.b,74)||ff(this.c,74)){throw Qpb(new Lxf)}if(!!this.b&&!!this.c){if(ff(this.b,33)&&ff(this.c,33)||ff(this.b,55)&&ff(this.c,55)||ff(this.b,119)&&ff(this.c,119)){c=this.b.pu(a);d=this.c.pu(a);b=me(uf,v5g,5,1,15,1);b[0]=$wnd.Math.max($wnd.Math.max(c[0]+d[2],d[0]+c[2]),$wnd.Math.max(c[1]+d[2],d[1]+c[2]));return b}}throw Qpb(new Lxf)};_.qu=function(a){var b,c,d;if(ff(this.b,74)||ff(this.c,74)){throw Qpb(new Lxf)}if(!!this.b&&!!this.c){if(ff(this.b,33)&&ff(this.c,33)||ff(this.b,55)&&ff(this.c,55)||ff(this.b,119)&&ff(this.c,119)){c=this.b.qu(a);d=this.c.qu(a);b=me(qu,Jlh,87,1,0,1);b[0]=q7b(q6b(v7b(E6b(c[0],d[2]),E6b(d[0],c[2]))),q6b(v7b(E6b(c[1],d[2]),E6b(d[1],c[2]))));return b}}throw Qpb(new Lxf)};_.ru=function(a){if(ff(this.b,74)||ff(this.c,74)){throw Qpb(new Lxf)}if(!!this.b&&!!this.c){if(ff(this.b,33)&&ff(this.c,33)||ff(this.b,55)&&ff(this.c,55)||ff(this.b,119)&&ff(this.c,119)){this.b.ru(a);this.c.ru(a);return}}throw Qpb(new Lxf)};_.su=function(){var a,b;mlg(this.e);if(this.e!=null){return this.e}if(ff(this.b,74)||ff(this.c,74)){throw Qpb(new Lxf)}if(!!this.b&&!!this.c){if(ff(this.b,33)&&ff(this.c,33)||ff(this.b,55)&&ff(this.c,55)||ff(this.b,119)&&ff(this.c,119)){a=this.b.su();b=this.c.su();this.e=me(W1,TLh,19,2,0,1);this.e[0]=Syf(Yyf(a[0],b[2]),Zyf(Yyf(b[0],a[2])));this.e[1]=Syf(Yyf(a[1],b[2]),Zyf(Yyf(b[1],a[2])));return this.e}}throw Qpb(new Lxf)};_.tu=UYh;_.hj=function(){Fwf(this)};var v1=J2b(726);wqb(1199,16,DMh,Owf,Pwf);_.Mi=function(){return EIe(),yye};_.Ii=function(){Lwf(this)};_.Nv=function(){return Mwf(this)};_.hj=function(){Fwf(this)};var Iwf;var x1=J2b(1199);wqb(4001,1,$oh,Qwf);_.ik=function(a){var b,c;if(ff(a,31)){b=a.k;if(b==Iih||b-bqh8}return false};var w1=J2b(4001);wqb(980,16,CMh,Twf,Uwf);_.Mi=function(){return EIe(),zye};_.zf=eZh;_.Ii=function(){qOe(this.d,ENe(this.b,this.c))};_.Nv=function(){return Rwf(this)};_.pu=function(a){var b,c,d;if(!!this.b&&!!this.c){c=gNe(this.b,a);d=gNe(this.c,a);b=me(uf,v5g,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[1],c[1]+d[0]);return b}throw Qpb(new Lxf)};_.qu=function(a){var b,c,d;if(!!this.b&&!!this.c){c=this.V[0].qu(a);d=this.V[1].qu(a);b=me(qu,Jlh,87,1,0,1);b[0]=v7b(E6b(c[0],d[1]),E6b(c[1],d[0]));return b}throw Qpb(new Lxf)};_.ru=fZh;_.su=function(){var a,b;mlg(this.e);if(this.e!=null){return this.e}if(!!this.b&&!!this.c){a=this.V[0].su();b=this.V[1].su();this.e=me(W1,TLh,19,1,0,1);this.e[0]=Syf(Yyf(a[0],b[1]),Zyf(Yyf(a[1],b[0])));return this.e}throw Qpb(new Lxf)};_.tu=UYh;_.hj=function(){Fwf(this)};var y1=J2b(980);wqb(981,16,CMh,Xwf,Ywf);_.Mi=function(){return EIe(),Aye};_.zf=eZh;_.Ii=function(){qOe(this.d,FNe(this.b,this.c))};_.Nv=function(){return Vwf(this)};_.pu=function(a){var b,c,d;if(!!this.b&&!!this.c){c=gNe(this.b,a);d=gNe(this.c,a);b=me(uf,v5g,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[0],c[1]+d[1]);return b}throw Qpb(new Lxf)};_.qu=function(a){var b,c,d;if(!!this.b&&!!this.c){c=this.V[0].qu(a);d=this.V[1].qu(a);b=me(qu,Jlh,87,1,0,1);b[0]=q7b(E6b(c[0],d[0]),E6b(c[1],d[1]));return b}throw Qpb(new Lxf)};_.ru=fZh;_.su=function(){var a,b;mlg(this.e);if(this.e!=null){return this.e}if(!!this.b&&!!this.c){a=this.V[0].su();b=this.V[1].su();this.e=me(W1,TLh,19,1,0,1);this.e[0]=Syf(Yyf(a[0],b[0]),Yyf(a[1],b[1]));return this.e}throw Qpb(new Lxf)};_.tu=UYh;_.hj=function(){Fwf(this)};var z1=J2b(981);wqb(1167,16,{15:1,24:1,16:1,21:1,25:1,128:1,1167:1},cxf);_.Mi=function(){return EIe(),AAe};_.Ii=function(){var a;if(!Uwc(this.Mc.yt()).Se()){this.b=null;this.e=0;return}a=this.b;bxf(this);if(a==null||!g4b(a,this.b)){rlg(a+mFh+this.b);Zwf(this)}};_.yA=function(a,b){return axf(this,a,b)};_.hj=function(){bxf(this)};_.e=0;var A1=J2b(1167);wqb(4119,16,DMh,hxf);_.Mi=function(){return null};_.Ii=function(){this.e.e=false};_.Nv=function(){return exf(this)};_.hj=function(){gxf(this)};var B1=J2b(4119);wqb(1540,16,DMh,kxf);_.Mi=function(){return EIe(),xCe};_.Ii=function(){ixf(this)};_.Nv=function(){var a,b,c,d,e,f;if(this.a!=null){return this.a}d=this.b;a=this.c;e=fNe(d);b=uSe(a);if(a.gb==4){c=me(Y1,PLh,37,2,0,1);c[0]=new Jzf(this.Mc);c[1]=new Jzf(this.Mc);this.a=ke(W1,[W4g,TLh],[57,19],0,[1,3],2);this.a[0][0]=kzf(c[0],c[1],e[0],e[1],e[2],e[3]);this.a[0][1]=tzf(c[0],c[1],e[0],e[1],c[0],c[1],b[0],b[1]);this.a[0][2]=nzf(c[0],c[1],b[0],b[1],b[2],b[3]);return this.a}if(a.gb==9){c=me(Y1,PLh,37,2,0,1);c[0]=new Jzf(this.Mc);c[1]=new Jzf(this.Mc);f=me(Y1,PLh,37,2,0,1);f[0]=new Jzf(this.Mc);f[1]=new Jzf(this.Mc);this.a=ke(W1,[W4g,TLh],[57,19],0,[1,5],2);this.a[0][0]=kzf(c[0],c[1],e[0],e[1],e[2],e[3]);this.a[0][1]=tzf(c[0],c[1],e[0],e[1],c[0],c[1],b[8],b[9]);this.a[0][2]=Syf(Syf(Yyf(new hzf(c[0]),new dzf(2)),Zyf(new hzf(f[0]))),Zyf(new hzf(b[8])));this.a[0][3]=Syf(Syf(Yyf(new hzf(c[1]),new dzf(2)),Zyf(new hzf(f[1]))),Zyf(new hzf(b[9])));this.a[0][4]=kzf(f[0],f[1],b[4],b[5],b[6],b[7]);return this.a}throw Qpb(new Lxf)};_.hj=function(){Fwf(this)};var C1=J2b(1540);wqb(760,16,{15:1,24:1,16:1,21:1,25:1,128:1,760:1},rxf,sxf);_.Mi=function(){return EIe(),VCe};_.Ii=function(){var a;if(!Uwc(this.Mc.yt()).Se()){!!jlg&&klg(jlg,(Clg(),vlg),'CAS is not yet loaded => fingerprint set to null');this.b=null;this.g=0;return}a=this.b;qxf(this);if(a==null||!g4b(a,this.b)){mlg(a+mFh+this.b);mxf(this,!!this.d)}};_.yA=function(a,b){return pxf(this,a,b)};_.hj=function(){qxf(this)};_.g=0;var D1=J2b(760);wqb(1157,16,{15:1,24:1,16:1,21:1,25:1,128:1,1157:1},xxf);_.Mi=function(){return EIe(),yEe};_.Ii=function(){uxf(this)};_.hj=function(){wxf(this)};var F1=J2b(1157);wqb(4043,16,UAh,Bxf);_.Mi=function(){return EIe(),zEe};_.Ii=function(){yxf(this)};_.hj=function(){Axf(this)};_.c=false;var E1=J2b(4043);wqb(646,1,{},Fxf);_.wf=gZh;_.yf=function(){return Dxf(this)};_.xf=function(){return !this.a};_.zf=function(){};_.a=false;_.c=0;_.e=0;var G1=J2b(646);var Gxf,Hxf;wqb(1598,1,{},Kxf);var H1=J2b(1598);wqb(51,38,{3:1,38:1,48:1,51:1},Lxf);var I1=J2b(51);wqb(526,1,{},Qxf);var J1=J2b(526);var Rxf;wqb(1216,1,{},fyf);_.c=false;_.k=false;_.n=-1;_.q=null;var K1=J2b(1216);wqb(1591,1,{},jyf);var M1=J2b(1591);wqb(999,ULh,{},lyf);var L1=J2b(999);wqb(1595,ULh,{},nyf);var N1=J2b(1595);wqb(pih,ULh,{},yyf);_.c=false;_.d=0;_.e=false;_.f=false;var P1=J2b(pih);wqb(839,ULh,{},Hyf);_.b=0;var Q1=J2b(839);wqb(1593,1,{},Kyf);var R1=J2b(1593);wqb(1596,ULh,{},Myf);var S1=J2b(1596);wqb(1594,ULh,{},Oyf);var T1=J2b(1594);wqb(1592,ULh,{},Ryf);var U1=J2b(1592);wqb(19,1,{15:1,19:1},czf,dzf,ezf,fzf,gzf,hzf);_.kd=function(a){return Tyf(this,a)};_.Sc=function(a){return Uyf(this,a)};_.Tc=function(){return oac(new pec(this.a))};_.Uc=function(){return azf(this)};var W1=J2b(19);wqb(402,1,{15:1,402:1},Czf,Dzf,Ezf,Fzf);_.kd=function(a){return xzf(this,a)};_.Sc=function(a){return yzf(this,a)};_.Tc=function(){if(this.a.c==0){return 0}return x8b(Sdc(this.a)).a>>x8b(Tdc(this.a)).a};_.Uc=function(){var a,b,c,d,e;e=new j5b('');c=(new pec(this.a)).b.Xf();while(c.xf()){a=c.yf();b=a.ef();e.a+='*';e.a+=''+b;d=a.ff().a;if(d>1){e.a+='^';e.a+=d}}if(e.a.length>0){return y4b(e.a,1)}return ''};var X1=J2b(402);wqb(37,1,{15:1,37:1},Jzf,Kzf);_.kd=function(a){return Gzf(this,a)};_.Sc=function(a){return Hzf(this,a)};_.Tc=hZh;_.Uc=function(){return c4b('v',''+this.a)};_.a=0;var Y1=J2b(37);wqb(645,38,{3:1,38:1,48:1,645:1},Mzf,Nzf);var Lzf=y6g;var Z1=J2b(645);var aAf;wqb(4112,1,{},$zf);_.c=0;_.e=-1;_.i=0;var Qzf;var _1=J2b(4112);wqb(4117,1,{},tAf);_.a=0;_.c=0;_.d=0;_.e=0;_.f=0;var cAf,dAf,eAf,fAf;var $1=J2b(4117);wqb(1599,1,{},FAf);_.a=0;_.e=-1;_.f=0;_.g=0;_.i=0;_.k=1;_.n=0;_.o=false;_.p=false;_.q=1;_.r=0;var a2=J2b(1599);wqb(4114,1,{},HAf);_.a=0;_.b=0;var b2=J2b(4114);wqb(1600,1,j7g,IAf,JAf);_.Uc=function(){return this.c};_.a=0;_.b=0;_.d=0;var d2=J2b(1600);wqb(1601,43,_4g,LAf);_._c=function(){return this.g};var c2=J2b(1601);wqb(459,1,{},HTf);_.a=null;_.b='Auto';_.c='Wu';_.d=true;_.e=4;_.f=4;var GTf;var W8=J2b(459);wqb(4090,1,{});_.g=false;var Pdb=J2b(4090);wqb(446,1,{446:1},sgg);_.Sc=function(a){if(a==null){return false}if(a===this){return true}if(Wb(a)!=Mdb){return false}return pgg(this)==Xb(a)};_.Tc=function(){return pgg(this)};_.c=1;var Mdb=J2b(446);wqb(883,1,{},ugg);_.bf=function(a,b){return b4b(a.Xb,b.Xb)};_.Sc=iZh;_.cf=jZh;var Ldb=J2b(883);wqb(548,28,{3:1,15:1,28:1,548:1},Cgg);var vgg,wgg,xgg,ygg,zgg,Agg;var Ndb=K2b(548,Dgg);wqb(482,28,{3:1,15:1,28:1,482:1},Ngg);var Egg,Fgg,Ggg,Hgg,Igg,Jgg,Kgg,Lgg;var Odb=K2b(482,Ogg);var Ugg='',Vgg='',Wgg,Xgg=0,Ygg,Zgg,$gg,_gg;wqb(4116,4241,{},pKg);var $ib=J2b(4116);wqb(3287,1,EFh);_.dd=function(){!!jlg&&klg(jlg,(Clg(),vlg),'Loaded: prover');uxe=new Sxe;Bxe(this.a);$Mg(cLg(this.a.a))};wqb(993,4090,{},ZUg);var qlb=J2b(993);K4g(Tc)(8);\n//# sourceURL=webSimple-8.js\n")