$wnd.webSimple.runAsyncCallback8("function hie(){}\nfunction pie(){}\nfunction Jxe(){}\nfunction b2e(){}\nfunction c2e(){}\nfunction d2e(){}\nfunction e2e(){}\nfunction f2e(){}\nfunction g2e(){}\nfunction h2e(){}\nfunction i2e(){}\nfunction nwf(){}\nfunction Hwf(){}\nfunction Hxf(){}\nfunction ayf(){}\nfunction cyf(){}\nfunction eyf(){}\nfunction Byf(){}\nfunction Dyf(){}\nfunction Fyf(){}\nfunction Iyf(){}\nfunction zAf(){}\nfunction xTf(){}\nfunction igg(){}\nfunction kgg(){}\nfunction fKg(){}\nfunction dgg(a,b){a.q=b}\nfunction Dxf(a,b){a.g=b}\nfunction Exf(a,b){a.i=b}\nfunction Fxf(a,b){a.j=b}\nfunction Gxf(a,b){a.k=b}\nfunction Zyf(a){this.g=a}\nfunction uzf(a){this.g=a}\nfunction q8b(a){this.g=a}\nfunction d4d(a){this.g=a}\nfunction Vyf(){this.g=new aec}\nfunction tzf(){this.g=new aec}\nfunction Dzf(){ic.call(this)}\nfunction QYh(){Mvc(this)}\nfunction SYh(a){Ibc(this,a)}\nfunction NYh(a){return a.o}\nfunction CYh(a){return null}\nfunction DYh(a){return this.o}\nfunction FYh(a){return this.j}\nfunction GYh(a){return this.i}\nfunction LYh(a){return this.k}\nfunction MYh(a){return this.n}\nfunction TYh(){return this.g}\nfunction UYh(a){return this===a}\nfunction PYh(a){return a.Sk()}\nfunction rAf(a){return a.i[a.B]}\nfunction sAf(a){return a.k[a.B]}\nfunction uAf(a){return a.k[a.n]}\nfunction tAf(a){return a.i[a.n]}\nfunction mzf(a){return Pyf(a,a)}\nfunction BAf(a){mc.call(this,a)}\nfunction $Cd(a){UCd.call(this,a)}\nfunction _Cd(a){UCd.call(this,a)}\nfunction aDd(a){UCd.call(this,a)}\nfunction bDd(a){UCd.call(this,a)}\nfunction cDd(a){UCd.call(this,a)}\nfunction dDd(a){UCd.call(this,a)}\nfunction eDd(a){UCd.call(this,a)}\nfunction LDd(a){UCd.call(this,a)}\nfunction iEd(a){UCd.call(this,a)}\nfunction oEd(a){UCd.call(this,a)}\nfunction CEd(a){UCd.call(this,a)}\nfunction EEd(a){UCd.call(this,a)}\nfunction sgg(a,b){$ub.call(this,a,b)}\nfunction Dgg(a,b){$ub.call(this,a,b)}\nfunction k8b(a){i8b.call(this,a.k,a.n)}\nfunction cxf(a){a.k=null;a.p=0}\nfunction AAf(a,b){this.k=a;this.j=b}\nfunction Ayf(a,b){return MDb(a.i,b)}\nfunction zzf(a,b){PDb(a.j,o3b(a.g),b)}\nfunction M9b(a){I9b(a,0,a.length,null)}\nfunction o8b(a){return !a?null:new k8b(a)}\nfunction EYh(){return new d4d(this)}\nfunction VYh(){return new Kac(this)}\nfunction mNe(a){return ff(a,334)||!a.sb}\nfunction W3b(a,b){return fhc(a),a+(fhc(b),b)}\nfunction Vgg(a,b){Lgg+=a+',';Kgg+=b+','}\nfunction gie(){gie=tqb;fie=new hie}\nfunction nie(){nie=tqb;mie=new pie}\nfunction Awf(){Awf=tqb;zwf=new GUg('',8)}\nfunction Xyf(a){Yyf.call(this,a,new tzf)}\nfunction Bzf(a){Azf.call(this,a.Tc);this.i=a}\nfunction Ezf(a,b,c){jc.call(this,Gzf(a,b,c))}\nfunction iAf(a,b,c){a.j=c;a.k=b;return b+1}\nfunction qAf(a,b){a.q+=b;(a.n-=b)<0&&(a.n+=a.o)}\nfunction yAf(a){this.j=a;this.i=a.length}\nfunction Azf(a){this.j=new VDb;this.g=a.r.Bb++}\nfunction pyf(){this.g=new GYb;this.i=new f9b}\nfunction yyf(){this.g=new GYb;this.j=new f9b}\nfunction vzf(a){this.g=new aec;Tdc(this.g,a,o3b(1))}\nfunction elg(a){!!_kg&&alg(_kg,(slg(),olg),a)}\nfunction hlg(a){!!_kg&&alg(_kg,(slg(),qlg),a)}\nfunction HJd(a){!a.i&&(a.i=new pyf);return a.i}\nfunction LRd(a){if(a.r){return 1}return 0}\nfunction vQd(a){if(a.G){return a.G.q.length}return 0}\nfunction zQd(a){if(a.G){return V8b(a.G,0)}return null}\nfunction txf(a){return a==null?null:new b5b(a)}\nfunction OYh(a){return g1e(),me(Rt,yLh,587,a,7,1)}\nfunction wzf(a,b){this.g=new aec;Tdc(this.g,a,o3b(b))}\nfunction aAf(a,b){do{a.q[a.n++]=Vzf[b]}while(b++!=1)}\nfunction bAf(a,b){if(a.p[b]!=a.o){a.q[a.n++]=b;a.p[b]=a.o}}\nfunction $zf(a){var b;a.o=H6g;for(b=12;b-->0;)a.p[b]=L4g}\nfunction lAf(a){var b;a.B=-1;b=vAf(a);a.B=a.n;return b}\nfunction oie(a,b){var c;c=b.cc;c!=null&&yec(a.g,c)}\nfunction xwf(a,b,c,d){ywf.call(this,a,c,d);BKc(this.k,b)}\nfunction Kwf(a,b,c,d){Lwf.call(this,a,c,d);BKc(this.k,b)}\nfunction Owf(a,b,c,d){Pwf.call(this,a,c,d);BKc(this.k,b)}\nfunction Fwf(a,b,c,d){Awf();Gwf.call(this,a,c,d);BKc(this.k,b)}\nfunction Bxf(a,b,c){this.i=new VDb;this.j=a;this.k=b;this.g=c}\nfunction Odc(a,b,c){return new nec(a,(sec(),pec),null,false,b,c)}\nfunction cec(a){bec.call(this,(fhc(a),Gac(a.g)));FDb(this,a)}\nfunction Wyf(a){Yyf.call(this,new I6b(''+jqb(a)),new tzf)}\nfunction $yf(a){Vyf.call(this);Tdc(this.g,new vzf(a),(h6b(),c6b))}\nfunction Yyf(a,b){Vyf.call(this);a!=(h6b(),g6b)&&Tdc(this.g,b,a)}\nfunction dec(a){eec.call(this,a,(sec(),oec),null,false,null,false)}\nfunction Cxf(){jc.call(this,'No symbolic parameters available')}\nfunction Myf(a){if(a.g.j>1){return null}return o8b(Kdc(a.g)).n}\nfunction yzf(a,b){if(ff(b,37)){return a.g==b.g}return nf(a)===nf(b)}\nfunction Lyf(a,b){if(ff(b,19)){return Kyf(a,b)==0}return nf(a)===nf(b)}\nfunction cNe(a,b){if(ff(a.sb,131)){return a.sb.yu(b)}return null}\nfunction lSe(a){if(ff(a.sb,109)){return a.sb.vu(a)}return null}\nfunction $Gd(a){if(ff(a.sb,109)){return a.sb.uu(a)}return null}\nfunction kSe(a){if(ff(a.sb,109)){return a.sb.uu(a)}throw Mpb(new Cxf)}\nfunction hNe(a){if(ff(a.sb,131)){return a.sb.Au()}throw Mpb(new Cxf)}\nfunction ZMe(a,b){if(ff(a.sb,131)){return a.sb.xu(b)}throw Mpb(new Cxf)}\nfunction dNe(a,b){if(ff(a.sb,131)){a.sb.zu(b);return}throw Mpb(new Cxf)}\nfunction Qzf(a,b){var c,d;d=Kzf(a,6);if(c=NDb(b,d.j))return c;throw Mpb(new Dzf)}\nfunction Zgg(a){var b;b=a.cc;if(b!=null){return '$'+b+'$'}return null}\nfunction bgg(a,b){if(!a.o||b!=(rgg(),qgg)){return b}return a.o}\nfunction _yf(a){if(a==null||a.length==0)return '';return ','+a}\nfunction pzf(a,b){if(ff(b,401)){return ozf(a,b)==0}return nf(a)===nf(b)}\nfunction xzf(a,b){var c;c=b.g;if(a.gc){return -1}return 0}\nfunction mEd(a,b,c,d){var e,f;e=new ixf(a.n,c,d);f=e.j;BKc(f,b);return f}\nfunction i6b(a){return a.n<0?a.n==0?a:new G6b(-a.n,a.k,a.g):a}\nfunction oAf(a){return a.n>=a.B?C4b(a.j,a.B,a.n-a.B+1):C4b(a.j,a.B,a.o-a.B)+C4b(a.j,0,a.n+1)}\nfunction uwf(a){var b;b=a.i.Jm(a.j);if((Ncg(),Mcg)==b){gOe(a.k)}else{a.k.j=true;hOe(a.k,b==Lcg)}}\nfunction Qxf(a,b,c){var d,e,f,g;PDb(a.p,b,c);for(e=c,f=0,g=e.length;f1){return false}if(pzf(p8b(Kdc(a.g)),new tzf)){return true}return false}\nfunction Gyf(a,b){if(a.r!=null){return}a.r=me(U1,ALh,37,2,0,1);a.r[0]=new Azf(b);a.r[1]=new Azf(b)}\nfunction tgg(){rgg();return pe(ie(Jdb,1),s7g,547,0,[ngg,ogg,pgg,lgg,qgg,mgg])}\nfunction Egg(){Cgg();return pe(ie(Kdb,1),s7g,482,0,[Bgg,vgg,zgg,ygg,Agg,ugg,xgg,wgg])}\nfunction Izf(){Izf=tqb;Hzf=pe(ie(uf,1),l5g,5,15,[256,512,A9g,6144,6144,T6g,qvh,qvh,96,llh])}\nfunction kAf(a){Zzf();e5b();this.p=me(uf,l5g,5,12,15,1);this.q=me(uf,l5g,5,24,15,1);new _4b;this.i=a}\nfunction Vwf(a,b,c){cwc.call(this,a);this.n=0;this.k=c;this.o=b;this.j=new Hdf(a);Uwf(this);Qwf(this)}\nfunction bxf(a,b,c,d){cwc.call(this,a);this.i=c;this.j=d;this.k=new lOe(a);wwf(this);_wf(this);BKc(this.k,b)}\nfunction oxf(a,b,c){cwc.call(this,a);this.j=c;this.g=new lOe(a);nxf(this);mxf(this);lxf(this);BKc(this.g,b)}\nfunction eec(a,b,c,d,e,f){var g;this.j=a;g=new f9b;Pdc(a,g,b,a.i,c,d,e,f);this.g=new a8b(g,g.q.length)}\nfunction uxf(a){var b,c;c=new GYb;for(b=0;b0){--a.q;++a.n==a.o&&(a.n=0);return a.j[a.n]}++a.n>=a.t&&nAf(a);b=a.j[a.n];pAf(a,b);return b}\nfunction pxf(a){var b;if(!Mwc(a.Tc.Gt()).Ze()){a.g=null;return}b=a.g;rxf(a);if(b==null||!$3b(b,a.g)){hlg(b+ZEh+a.g);qxf(a)}}\nfunction fgg(a){var b,c,d,e,f;f=c4b(a.g);if(a.i!=null){for(c=a.i,d=0,e=c.length;d0)return q4b(c.g,1);return ''}\nfunction qzf(a){var b,c,d,e,f;f=new GYb;e=(c=(new s8b(a.g)).g.ee().i.cg(),new t8b(c));while(e.g.Ef()){d=(b=e.g.Ff(),b.mf());PDb(f.g,d,f)}return f}\nfunction Nyf(a){var b,c,d,e,f;f=new GYb;d=(c=(new s8b(a.g)).g.ee().i.cg(),new t8b(c));while(d.g.Ef()){e=(b=d.g.Ff(),b.mf());tYb(f,qzf(e))}return f}\nfunction gzf(a){var b,c,d,e,f,g;f=new GYb;for(e=(c=(new d8b(a.g)).g.ee().yd(),new e8b(c));e.g.Ef();){d=(b=e.g.Ff(),b.mf());g=Nyf(d);tYb(f,g)}return f}\nfunction Qyf(a){var b,c,d,e;d=new aec;c=(new hec(a.g)).i.cg();while(c.Ef()){b=c.Ff();e=b.mf();Tdc(d,e,n7b((h6b(),g6b),b.nf()))}return new Zyf(d)}\nfunction cAf(a){var b,c,d,e,f;e=Wzf[a.j];d=e==null?oAf(a.i):e;c=sAf(a.i);b=rAf(a.i);uAf(a.i);tAf(a.i);f=new AAf(a.j,d);f.i=c;f.g=b;return f}\nfunction xAf(a,b,c,d){var e,f,g;g=a.i-a.g;if(g==0){return -1}e=b.length;f=e-c;f=f>d?d:f;f>g&&(f=g);a4b(a.j,a.g,a.g+f,b,c);a.g+=f;return f}\nfunction TNe(a,b,c){PMe();var d;d=a.eb*b.fb*c.gb+b.eb*c.fb*a.gb+c.eb*a.fb*b.gb-c.eb*b.fb*a.gb-b.eb*a.fb*c.gb-a.eb*c.fb*b.gb;return sqh5||e<0.2||c){clg('myPrecision='+jqb(a.n)+tMh+jqb(d)+uMh+e);a.i=null;a.n=d;return true}return false}\nfunction gxf(a,b,c){var d,e;d=dqd(b);e=hqb(a.p)/hqb(d);if(e>5||e<0.2||c){clg('resetFingerprint: myPrecision='+jqb(a.p)+tMh+jqb(d)+uMh+e);a.i=null;a.p=d;return true}return false}\nfunction PUg(){this.g=(Cgg(),ugg);this.i=new GYb;this.j=new f9b;R8b(this.j,Bgg);R8b(this.j,vgg);R8b(this.j,zgg);this.k=new f9b;R8b(this.k,vgg);R8b(this.k,zgg)}\nfunction Rxf(a,b){var c;if(EYb(a.u,b)){!!_kg&&alg(_kg,(slg(),llg),'Ignoring existing poly '+b);return}DYb(a.u,b);c=UDb(a.u.g);clg('Adding poly #'+c+N4g+Uyf(b))}\nfunction fAf(b){try{b.g=vAf(b.i)}catch(a){a=Lpb(a);if(ff(a,165)){jAf(0,128);return 1}else throw Mpb(a)}if(b.g==49){return gAf(b,128)}return dAf(b,jAf(0,128),1)}\nfunction exf(a,b){var c;c=Oxf(b?a.k:a.n,a.o,b,a);if(!c){!!_kg&&alg(_kg,(slg(),llg),'Cannot compute locus equation (yet?)');gxf(a,a.Tc,true);return null}return fxf(a,c)}\nfunction Mxf(a){var b,c,d,e,f;d=new f9b;for(f=(c=(new s8b(cIc(a).g)).g.ee().i.cg(),new t8b(c));f.g.Ef();){e=(b=f.g.Ff(),b.mf());e.qn()&&!e.sb&&(Ngc(d.q,e),true)}return d}\nfunction Rzf(a){var b;this.o=me(uf,l5g,5,10,15,1);this.g=new f9b;this.k=new wAf(a);this.s=new kAf(this.k);this.r=new zAf;this.q=-1;this.j=0;for(b=0;b<10;b++)this.o[b]=-1}\nfunction _Gd(a,b){if(ff(a.sb,109)){return a.sb.vu(a)}if(!a.sb){if(a.q==null){a.q=me(U1,ALh,37,1,0,1);a.q[0]=new Azf(a.Tc);clg('Variable '+b.Ll()+'('+a.q[0]+')')}}return a.q}\nfunction h4d(a,b){var c;c=me(uf,l5g,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 i4d(a,b){var c;c=me(ou,vlh,86,3,0,1);c[0]=n7b(w6b(a[1],b[2]),w6b(a[2],b[1]));c[1]=n7b(w6b(a[2],b[0]),w6b(a[0],b[2]));c[2]=n7b(w6b(a[0],b[1]),w6b(a[1],b[0]));return j4d(c)}\nfunction czf(a,b){var c;c=me(S1,ELh,19,3,0,1);c[0]=Jyf(Pyf(a[1],b[2]),Qyf(Pyf(a[2],b[1])));c[1]=Jyf(Pyf(a[2],b[0]),Qyf(Pyf(a[0],b[2])));c[2]=Jyf(Pyf(a[0],b[1]),Qyf(Pyf(a[1],b[0])));return c}\nfunction Uzf(){Uzf=tqb;Tzf=pe(ie(ku,1),Z4g,2,6,[k6g,'\" \"','\"\\\\t\"','\"\\\\n\"','\"\\\\r\"','','','\"[1]:\"','','',m6g,'\"+\"','\"-\"','\"*\"','\"^\"'])}\nfunction j4d(a){var b,c,d,e;b=(h6b(),g6b);for(d=0;d1&&(f.g+='^{'+e+'}',f)}return f.g}\nfunction I_e(a,b){if(!a.sb){!a.Y&&(a.Y=new Bzf(a));!a.Z&&(a.Z=new Bzf(a));zzf(a.Y,a.Z);zzf(a.Z,a.Y);DYb(b,a.Y);DYb(b,a.Z);return}if(ff(a.sb,131)){a.sb.zu(b);return}throw Mpb(new Cxf)}\nfunction txc(a){var b,c,d;c=new _4b;b=new U7b((new R7b(a)).g);while(b.i){d=T7b(b);c.g+=',';R4b(c,W3b('v',''+d.mf().g));c.g+='=';Q4b(c,d.nf())}if(c.g.length>0){return q4b(c.g,1)}return ''}\nfunction Ald(a,b,c){var d,e;if(a.k.q.length!=0){e=new l9b(a.k);while(e.gNgg&&(Ngg=b);c=a.sb;if(c){for(e=c.ab,f=0,g=e.length;fa.j-(a.n-c)+1){while(a.k[c]>a.j-(a.n-c)){--c;if(c<0){break}}if(c<0){return true}++a.k[c];for(b=c+1;b0)return q4b(i.g,1);return ''}\nfunction Cgg(){Cgg=tqb;Bgg=new Dgg('RECIOS_PROVER',0);vgg=new Dgg('BOTANAS_PROVER',1);zgg=new Dgg('OPENGEOPROVER_WU',2);ygg=new Dgg('OPENGEOPROVER_AREA',3);Agg=new Dgg('PURE_SYMBOLIC_PROVER',4);ugg=new Dgg('AUTO',5);xgg=new Dgg('LOCUS_IMPLICIT',6);wgg=new Dgg('LOCUS_EXPLICIT',7)}\nfunction uyf(a,b){var c,d,e,f,g,h,i;for(g=a.r,h=0,i=g.length;h0&&W4b(e,e.g.length-1);e.g+='-'}else{j6b(i7b(b,c6b),g6b)<0&&e.g.length>0&&W4b(e,e.g.length-1);e.g+=''+b}}R4b(e,szf(f))}e.g+='+'}return F1b(e,0,e.g.length-1)}\nfunction byf(a,b){var c,d,e,f;if(a.q!=null){return a.q}d=b[0].vu(b[0]);if(a.r==null){a.r=me(U1,ALh,37,4,0,1);a.r[0]=new Azf(b[0].Ci());a.r[1]=new Azf(b[0].Ci());a.r[2]=d[0];a.r[3]=d[1]}c=pe(ie(U1,1),ALh,37,0,[a.r[0],a.r[1]]);e=b[1].vu(b[1]);f=b[2].vu(b[2]);a.q=me(S1,ELh,19,2,0,1);a.q[0]=ezf(d[0],d[1],c[0],c[1],e[0],e[1]);a.q[1]=ezf(d[0],d[1],c[0],c[1],f[0],f[1]);return a.q}\nfunction jzf(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!_kg&&alg(_kg,(slg(),qlg),'Setting up equation for parallel lines ('+a+','+b+')-'+'('+c+','+d+LMh+'('+e+','+f+')-'+'('+g+','+h+')');i=new $yf(a);j=new $yf(b);k=new $yf(c);l=new $yf(d);m=new $yf(e);n=new $yf(f);o=new $yf(g);p=new $yf(h);q=Jyf(Pyf(Jyf(i,Qyf(k)),Jyf(n,Qyf(p))),Qyf(Pyf(Jyf(j,Qyf(l)),Jyf(m,Qyf(o)))));return q}\nfunction kzf(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!_kg&&alg(_kg,(slg(),qlg),'Setting up equation for perpendicular lines ('+a+','+b+')-'+'('+c+','+d+LMh+'('+e+','+f+')-'+'('+g+','+h+')');i=new $yf(a);j=new $yf(b);k=new $yf(c);l=new $yf(d);m=new $yf(e);n=new $yf(f);o=new $yf(g);p=new $yf(h);q=Jyf(Pyf(Jyf(i,Qyf(k)),Jyf(m,Qyf(o))),Pyf(Jyf(j,Qyf(l)),Jyf(n,Qyf(p))));return q}\nfunction nAf(b){var c,d;if(b.t==b.g){if(b.g==b.o){if(b.B>S6g){b.n=b.t=0;b.g=b.B}else b.B<0?(b.n=b.t=0):mAf(b,false)}else b.g>b.B?(b.g=b.o):b.B-b.g=0){g[a.n]=true;a.n=-1}for(d=0;d<10;d++){if(a.o[d]==a.j){for(f=0;f<32;f++){(Hzf[d]&1<126){f=(d=b,V4g+d.toString(16));R4b(e,U4g+r4b(f,f.length-4,f.length))}else{e.g+=String.fromCharCode(b)}continue;}}return e.g}\nfunction jwf(b,c,d){var e,f,g,h,i,j,k,l,m,n,o;if(d){n=new VDb;for(f=new U7b((new R7b(b)).g);f.i;){e=T7b(f);o=e.mf();PDb(n,o,e.nf())}h=(!wTf&&(wTf=new xTf),wTf);m=lzf(zYb(d.u,me(S1,ELh,19,UDb(d.u.g),0,1)),n,d.r.Ci(),h.k,d.n);!!_kg&&alg(_kg,(slg(),llg),'Recio meets Botana:'+n);if(m==(Ncg(),Lcg)){return rgg(),lgg}}else{try{g=c.g.yu(b);for(j=g,k=0,l=j.length;k1?phc(n.g[0],n.g[1]):phc(n.g[0],0);Spb(n.n>0?r:_pb(r),0)?Udc(m,o):Tdc(m,o,n)}else{f=l.g[0];(l.n>0?f:-f|0)!=0&&Tdc(m,o,l)}}return new Zyf(m)}\nfunction mAf(b,c){var d,e,f,g;e=me(rf,T4g,5,b.o+S6g,15,1);f=me(uf,l5g,5,b.o+S6g,15,1);d=me(uf,l5g,5,b.o+S6g,15,1);try{if(c){f5b(b.j,b.B,e,0,b.o-b.B);f5b(b.j,0,e,b.o-b.B,b.n);b.j=e;f5b(b.k,b.B,f,0,b.o-b.B);f5b(b.k,0,f,b.o-b.B,b.n);b.k=f;f5b(b.i,b.B,d,0,b.o-b.B);f5b(b.i,0,d,b.o-b.B,b.n);b.i=d;b.t=b.n+=b.o-b.B}else{f5b(b.j,b.B,e,0,b.o-b.B);b.j=e;f5b(b.k,b.B,f,0,b.o-b.B);b.k=f;f5b(b.i,b.B,d,0,b.o-b.B);b.i=d;b.t=b.n-=b.B}}catch(a){a=Lpb(a);if(ff(a,48)){g=a;throw Mpb(new mc(g.gd()))}else throw Mpb(a)}b.o+=S6g;b.g=b.o;b.B=0}\nfunction hxf(a){var b,c,d,e,f,g;f=new Gec;a.q=me(bY,bnh,13,2,0,1);if(a.k){yec(f,a.o);g=(d=(new s8b(cIc(a.k).g)).g.ee().i.cg(),new t8b(d));a.q[0]=a.k}else{yec(f,a.o.N.sp());g=(d=(new s8b(cIc(a.n).g)).g.ee().i.cg(),new t8b(d));a.q[0]=a.n}while(g.g.Ef()){e=(c=g.g.Ff(),c.mf());(!e.sb&&(!e.Kb||!VOe(e.Kb))||e.Wn())&&f.g.put(e,(P1b(),N1b))==null}Eec(f,a.o);a.g=me(bY,bnh,13,f.g.size(),0,1);a.g=zYb(f,a.g);a.q[1]=a.o;a.db=me(bY,bnh,13,1,0,1);Uvc(a,0,a.j);Rvc(a,a.q,a.g);b=a.o.Rc;do{$8b(b.k,a)}while(W8b(b.k,a,0)!=-1);R8b(b.k,a);a.i=Wwf(a.g);a.p=dqd(a.Tc)}\nfunction _fg(a){var b,c,d,e;if(!a.q){!!_kg&&alg(_kg,(slg(),nlg),'No statement to prove');a.o=(rgg(),qgg);return}c=a.q.sb;if(!c){$3b(a.q.vp((Kud(),hud)),vnh)?(a.o=(rgg(),ngg)):$3b(a.q.vp(hud),Yqh)?(a.o=(rgg(),lgg)):(a.o=(rgg(),qgg));return}Ygg(a.q);if(a.g!=(Cgg(),ugg)){$fg(a,a.g);return}clg(IMh+a.g);a.p?(d=new l9b(a.k)):(d=new l9b(a.j));a.o=(rgg(),qgg);while((a.o==qgg||a.o==ogg)&&d.g0){B1b(f,j-1,j-1+1,'');R4b(R4b(o,nSf(k,'LetABeArbitraryPoints',null,pe(ie(ku,1),Z4g,2,6,[f.g]))),'.\\n')}o.g+=h;p=A4b(a.sb);R4b(R4b(o,nSf(k,'ProveThat',null,pe(ie(ku,1),Z4g,2,6,[p]))),'.');return o.g}\nfunction kwf(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 d8b(b.g)).g.ee().yd(),new e8b(l)).g.Ff(),i.mf());for(k=1;k<=d+2;k++){PDb(c,u,(h6b(),Ppb(k,0)>=0?K6b(k):x6b(K6b(_pb(k)))));if(f){s=new VDb;for(h=new U7b((new R7b(c)).g);h.i;){g=T7b(h);t=g.mf();PDb(s,t,g.nf())}m=(!wTf&&(wTf=new xTf),wTf);r=lzf(zYb(f.u,me(S1,ELh,19,UDb(f.u.g),0,1)),s,f.r.Ci(),m.k,f.n);!!_kg&&alg(_kg,(slg(),llg),mMh+k+' '+s);if(r==(Ncg(),Lcg)){return rgg(),lgg}}else{try{j=e.g.yu(c);for(o=j,p=0,q=o.length;p>6],cqb(1,b.j&63)),0)){h=cAf(b);return h}else{continue i}}g=uAf(b.i);f=tAf(b.i);e=null;c=false;try{vAf(b.i);qAf(b.i,1)}catch(a){a=Lpb(a);if(ff(a,165)){c=true;e=d<=1?'':oAf(b.i);if(b.g==10||b.g==13){++g;f=0}else ++f}else throw Mpb(a)}if(!c){qAf(b.i,1);e=d<=1?'':oAf(b.i)}throw Mpb(new CAf(c,g,f,e,b.g))}}\nfunction iyf(a,b,c){var d,e,f,g,h,i,j,k,l;if(c.j){return}if(!!c.g.j&&!!c.k.j){g=c.g.j;j=c.k.j;switch(c.i.s){case 20:Fxf(c,Jyf(g,j));break;case 21:Fxf(c,Jyf(g,Qyf(j)));break;case 24:Fxf(c,Pyf(g,j));break;case 28:i=v3b(v6b(Myf(c.k.j)));if(i){h=g;for(f=o3b(1);Xpb(f.g,i.g);d=f,f=o3b(f.g+1),d){h=Pyf(h,g)}c.j=h}break;default:throw Mpb(new Cxf);}}b.u.Sm()&&!c.g.j&&iyf(a,b.u,c.g);b.C.Sm()&&!c.k.j&&iyf(a,b.C,c.k);if(ff(b.u,31)&&!c.g.j){e=I5b(new M5b(b.u.Sk()));Fxf(c.g,new Xyf(e))}if(ff(b.C,31)&&!c.k.j){e=I5b(new M5b(b.C.Sk()));Fxf(c.k,new Xyf(e))}if(ff(b.u,31)&&ff(b.C,110)){e=I5b(new M5b(b.u.Sk()));l=nyf(a,b.C.qj((Kud(),gud)));if(l){k=new vzf(l);Fxf(c,new Yyf(e,k));return}}}\nfunction ryf(a,b,c){var d,e,f,g,h,i,j,k,l;if(c.j){return}if(!!c.g&&!c.k&&c.i==(R8f(),g8f)){g=c.g.j;c.j=g}if(!!c.g&&!!c.g.j&&!!c.k&&!!c.k.j){g=c.g.j;j=c.k.j;switch(c.i.s){case 20:Fxf(c,Jyf(g,j));break;case 21:Fxf(c,Jyf(g,Qyf(j)));break;case 24:Fxf(c,Pyf(g,j));break;case 28:i=v3b(v6b(Myf(c.k.j)));if(i){h=g;for(f=o3b(1);Xpb(f.g,i.g);d=f,f=o3b(f.g+1),d){h=Pyf(h,g)}c.j=h}break;default:throw Mpb(new Cxf);}}b.u.Sm()&&!c.g.j&&ryf(a,b.u,c.g);!!b.C&&b.C.Sm()&&!c.k.j&&ryf(a,b.C,c.k);if(ff(b.u,31)&&!c.g.j){e=I5b(new M5b(b.u.Sk()));Fxf(c.g,new Xyf(e))}if(ff(b.C,31)&&!c.k.j){e=I5b(new M5b(b.C.Sk()));Fxf(c.k,new Xyf(e))}if(ff(b.u,31)&&ff(b.C,110)){e=I5b(new M5b(b.u.Sk()));l=uyf(a,b.C.qj((Kud(),gud)));if(l){k=new vzf(l);Fxf(c,new Yyf(e,k));return}}}\nfunction dyf(a,b,c,d){var e,f,g,h,i,j,k,l,m,n,o,p,q;if(a.q!=null){return a.q}e=b;f=c;if(ff(d,74)){throw Mpb(new Cxf)}n=null;ff(d,34)&&(n=d);if(!e||!f||!n){throw Mpb(new Cxf)}if(a.r==null){g=A_e(e,e);h=A_e(f,f);a.r=me(U1,ALh,37,7,0,1);a.r[0]=g[0];a.r[1]=g[1];a.r[2]=h[0];a.r[3]=h[1];a.r[4]=new Azf(e.Tc);a.r[5]=new Azf(e.Tc);a.r[6]=new Azf(e.Tc)}a.q=me(S1,ELh,19,2,0,1);i=null;ff(n.sb,325)&&(i=$Gd(n));o=_Gd(n,n);l=0;q=mzf(new $yf(o[0]));if(i!=null){a.q=me(S1,ELh,19,i.length+1,0,1);for(l=0;l3?(p.g='DegeneratePolygon'):(p.g=_vh);n=me(bY,bnh,13,s,0,1);o=0;for(c=new l9b(d);c.g=0?K6b((d+2-k)*(d+2-n)):x6b(K6b(_pb((d+2-k)*(d+2-n))))));PDb(c,A[1],Ppb(k*n,0)>=0?K6b(k*n):x6b(K6b(_pb(k*n))));if(f){v=new VDb;for(i=new U7b((new R7b(c)).g);i.i;){h=T7b(i);w=h.mf();PDb(v,w,h.nf())}u=lzf(zYb(f.u,me(S1,ELh,19,UDb(f.u.g),0,1)),v,f.r.Ci(),(!wTf&&(wTf=new xTf),wTf).k,f.n);!!_kg&&alg(_kg,(slg(),llg),mMh+g+' '+v);if(u==(Ncg(),Lcg)){return rgg(),lgg}}else{try{j=e.g.yu(c);for(r=j,s=0,t=r.length;s5&&(f=5);{bAf(b,0)}break;case 6:case 4:aqb(Opb($Ch,g),0)&&(bAf(b,4),bAf(b,6));break;case 2:if(Spb(Opb($Ch,g),0))break;f>6&&(f=6);b.q[b.n++]=2;break;case 5:b.g==58&&(f=8);break;case 8:aqb(Opb($Ch,g),0)&&aAf(b,0);break;case 9:b.g==61&&(f=9);}}while(e!=h)}else if(b.g<128){do{switch(b.q[--e]){case 1:b.g==95?(b.q[b.n++]=7):b.g==91?(b.q[b.n++]=4):b.g==118&&(b.q[b.n++]=2);break;case 6:b.g==93&&(b.q[b.n++]=5);break;case 3:b.g==91&&(b.q[b.n++]=4);break;case 7:b.g==91&&(b.q[b.n++]=8);break;case 10:b.g==93&&(b.q[b.n++]=9);break;case 11:b.g==95&&(b.q[b.n++]=7);}}while(e!=h)}else{do{b.q[--e]}while(e!=h)}if(f!=H4g){b.j=f;b.k=d;f=H4g}++d;if((e=b.n)==(h=12-(b.n=h)))return d;try{b.g=vAf(b.i)}catch(a){a=Lpb(a);if(ff(a,165)){return d}else throw Mpb(a)}}}\nfunction syf(b,c,d){var e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t;if(b.q!=null){return b.q}p=c.Tc;i=c.g.rl();xyf(b,i,p);if(b.r==null){b.r=me(U1,ALh,37,b.j.q.length+1,0,1);b.r[0]=new Azf(p);if(b.j.q.length==0){throw Mpb(new Cxf)}else{n=new l9b(b.j);o=1;while(n.g=0;s--){w=w6b(w,n7b(w6b((h6b(),Ppb(t,0)>=0?K6b(t):x6b(K6b(_pb(t)))),N6b(p[s])),Ppb(o,0)>=0?K6b(o):x6b(K6b(_pb(o)))));g[o][s]=w}PDb(c,H[o],w)}++u;if(f){F=new VDb;for(j=new U7b((new R7b(c)).g);j.i;){i=T7b(j);G=i.mf();PDb(F,G,i.nf())}D=lzf(zYb(f.u,me(S1,ELh,19,UDb(f.u.g),0,1)),F,f.r.Ci(),(!wTf&&(wTf=new xTf),wTf).k,f.n);!!_kg&&alg(_kg,(slg(),llg),'Recio meets Botana #'+u+N4g+F);if(D==(Ncg(),Lcg)){return rgg(),lgg}}else{try{k=e.g.yu(c);for(A=k,B=0,C=A.length;B0?(q=0):(q/=s));v=1/u;A+=B*v*v;A/=u;!!_kg&&alg(_kg,(slg(),llg),'population='+l);!!_kg&&alg(_kg,(slg(),llg),'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=A_e(zQd(e),zQd(e));f[f.length-1]=Jyf(Pyf(nzf(i[0],i[1],g[0],g[1]),new $yf(new Azf(v))),Qyf(new Wyf(1)))}PDb(a.g,b,f);return f}h=me(U1,ALh,37,2,0,1);!a.i&&(a.i=new VDb);if(JDb(a.i,b)){h=MDb(a.i,b)}else{h=me(U1,ALh,37,2,0,1);h[0]=new Azf(v);h[1]=new Azf(v);PDb(a.i,b,h)}if(!a.g){j=kSe(c);l=lSe(c);m=kSe(d);o=lSe(d);k=j.length;n=m.length;f=me(S1,ELh,19,k+n,0,1);for(t=0;t0&&(i.g+=',',i);i.g+=''+K}n=new GYb;tYb(n,a.n);CYb(n,new d8b(b));o=new _4b;for(L=(G=(new d8b(n.g)).g.ee().yd(),new e8b(G));L.g.Ef();){K=(l=L.g.Ff(),l.mf());o.g.length>0&&(o.g+=',',o);o.g+=''+K}h=yxf.Gt();Txf(a);p=Mwc(h).xj(b,a.v,o.g,i.g);q=$Vf(POf(h.g).i)?Mwc(h).Aj(p):'?';r=q.length-l4b(q,'{','').length-1;A=new GYb;H=1;for(s=0;sc+1}++k}}\nfunction Hyf(a,b){var c,d,e,f,g,h,i,j;h=b.Ci();if(a.q!=null){return a.q}if(ff(b,55)){if(a.r==null){a.r=me(U1,ALh,37,2,0,1);a.r[0]=new Azf(h);a.r[1]=new Azf(h)}g=b.vu(b);if(g==null){Gyf(a,h);return null}a.q=me(S1,ELh,19,1,0,1);a.q[0]=bzf(g[0],g[1],g[2],g[3],a.r[0],a.r[1]);return a.q}if(ff(b,117)){if(b.nb==4){if(a.r==null){a.r=me(U1,ALh,37,2,0,1);a.r[0]=new Azf(h);a.r[1]=new Azf(h)}g=b.vu(b);if(g==null){Gyf(a,h);return null}a.q=me(S1,ELh,19,1,0,1);a.q[0]=ezf(g[2],g[3],g[0],g[1],a.r[0],a.r[1]);return a.q}if(b.nb==9){if(a.r==null){a.r=me(U1,ALh,37,4,0,1);a.r[0]=new Azf(h);a.r[1]=new Azf(h);a.r[2]=new Azf(h);a.r[3]=new Azf(h)}j=b.vu(b);if(j==null){Gyf(a,h);return null}a.q=me(S1,ELh,19,3,0,1);a.q[0]=ezf(j[8],j[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[1]=bzf(j[4],j[5],a.r[2],a.r[3],j[6],j[7]);a.q[2]=kzf(a.r[0],a.r[1],a.r[2],a.r[3],j[4],j[5],j[6],j[7]);return a.q}if(b.nb==3||b.nb==5){if(a.r==null){a.r=me(U1,ALh,37,4,0,1);a.r[0]=new Azf(h);a.r[1]=new Azf(h);a.r[2]=new Azf(h);a.r[3]=new Azf(h)}i=b.vu(b);if(i==null){Gyf(a,h);return null}if(ff(b.sb,688)){a.q=me(S1,ELh,19,2,0,1);a.q[0]=Jyf(new $yf(i[0]),Qyf(new $yf(a.r[0])));a.q[1]=Jyf(new $yf(i[1]),Qyf(new $yf(a.r[1])));return a.q}a.q=me(S1,ELh,19,3,0,1);e=new $yf(a.r[2]);f=new $yf(a.r[3]);c=new $yf(i[2]);d=new $yf(i[3]);a.q[0]=Jyf(Jyf(Jyf(c,d),Qyf(e)),Qyf(f));a.q[1]=Jyf(nzf(a.r[0],a.r[1],i[6],i[7]),Qyf(Pyf(e,e)));a.q[2]=Jyf(nzf(a.r[0],a.r[1],i[8],i[9]),Qyf(Pyf(f,f)));return a.q}}Gyf(a,h);return null}\nfunction iwf(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;$3b('groebner',(!wTf&&(wTf=new xTf),wTf).j)&&(d=true);e=null;D=c.q;if(ff(D,131)){C=D.Bu()}else if(ff(D.sb,131)){C=D.sb.Bu()}else{return rgg(),qgg}if(d){B=new PUg;Dxf(B,(Cgg(),Bgg));e=new Yxf(D,null,B);if(e.A==(rgg(),mgg)){return mgg}}H=new GYb;if(d){l=Mxf(D);u=new l9b(l);while(u.g5){!!_kg&&alg(_kg,(slg(),llg),\"Recio's method is currently disabled when # of free variables > 5\");return rgg(),qgg}try{g=C.g.xu(b)}catch(a){a=Lpb(a);if(ff(a,51)){return rgg(),qgg}else throw Mpb(a)}f=0;for(q=g,r=0,s=q.length;r0){ggg(o,a.Rc);v=null;if(a.j){new wtd(a.Tc);d=o.g;$3b(Yvh,d)?(v=txf($sd(o.i[0],o.i[1],true,a.Rc.T.r.J))):$3b(_vh,d)?(v=txf(vtd(o.i[0],o.i[1],o.i[2],a.Rc.T.r.J))):$3b(Xvh,d)?(v=txf(Wsd(o.i[0],o.i[1],false,a.Rc.T.r.J))):$3b(Zvh,d)?(v=txf(dtd(o.i[0],o.i[1],false,a.Rc.T.r.J))):$3b($vh,d)&&(v=txf(Rsd(o.i[0],o.i[1],false,a.Rc.T.r.J)))}if(!v||!a.j){i=o.i;if(i==null){v=txf(o.g)}else{v=txf(KPg(a.Rc.T.r.J,o.g));v.g+='[';for(j=0;j0&&(v.g+=',',v);h=o.i[j];h?R4b(v,o.i[j].cc):(v.g+=gAh,v)}v.g+=']';a.j&&Y4b(v,0,OPg(a.Rc.T.r.J,'not')+' ')}}v4e(m,v.g);m.hc=false;m.Qb=false;w.g.put(m,N1b)==null}}l=(g=(new s8b(w.g)).g.ee().i.cg(),new t8b(g));while(l.g.Ef()){DYe(n,(f=l.g.Ff(),f.mf()))}if(fhc(B),B){m=new G4e(a.Rc);v4e(m,gAh);m.hc=false;m.Qb=false;w.g.put(m,N1b)==null;DYe(n,m)}n.s.q.length>0&&DYe(a.i,n);if(s==pgg){c=new G4e(a.Rc);v4e(c,'c');c.hc=false;c.Qb=false;DYe(a.i,c)}}}clg('OUTPUT for ProveDetails: '+a.i)}\nfunction Jxf(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.q;C=(!wTf&&(wTf=new xTf),wTf);m=G.Ci();if(!ff(G.sb,530)){elg(G.sb+zMh);return rgg(),qgg}C.k=false;C.g==null&&(C.g=(P1b(),false));e=new Yxf(G,null,b);if(e.A){return e.A}H=null;b.p?(k=C.o):(k=C.n);e.t>=0&&e.t0){try{H=Lxf(b,k)}catch(a){a=Lpb(a);if(ff(a,51)){e.A=(rgg(),qgg);!!_kg&&alg(_kg,(slg(),llg),'Cannot add fix values');return e.A}else throw Mpb(a)}!!_kg&&alg(_kg,(slg(),llg),'substitutions: '+H)}t=new Bxf(b,H,e.n);l=false;w=0;while(!l&&w<1){h=dzf(zYb(e.u,me(S1,ELh,19,UDb(e.u.g),0,1)),H,m,(++w,true),e.n);if(!h){return rgg(),qgg}q=(v=(new d8b(h.g)).g.ee().yd(),new e8b(v));J=new f9b;L=new f9b;K=UDb(h.g)==2;f=new f9b;g=W8g;p=0;while(q.g.Ef()){++p;!!_kg&&alg(_kg,(slg(),llg),'Considering NDG '+p+p5g);s=new f9b;F=0;D=true;I=(j=q.g.Ff(),j.mf());o=I.yd();while(o.Ef()&&D){B=o.Ff();if(B.g.j==0){!!_kg&&alg(_kg,(slg(),llg),'Statement is NOT GENERALLY TRUE');Vxf(e,e.r);Qxf(e,e.r,e.C);h=dzf(zYb(e.u,me(S1,ELh,19,UDb(e.u.g),0,1)),H,m,(++w,true),e.n);q=(u=(new d8b(h.g)).g.ee().yd(),new e8b(u));while(q.g.Ef()){I=(i=q.g.Ff(),i.mf());o=I.yd();while(o.Ef()){B=o.Ff();if(B.g.j==0){Vxf(e,e.r);n=UDb(e.n.g)-(new d8b(H)).g.size();!!_kg&&alg(_kg,(slg(),llg),'Naive dimension = '+n);if(!zxf(e,H,n)){!!_kg&&alg(_kg,(slg(),llg),'Statement is NOT GENERALLY FALSE');return rgg(),pgg}return rgg(),qgg}}}return rgg(),lgg}if(!Oyf(B)){if(e.s){!!_kg&&alg(_kg,(slg(),llg),AMh);return rgg(),qgg}r=Axf(t,B);if(!r){D=false}else{K=K&&I.size()==1;if(K){if($3b(r.g,'xAreEqual')){A=new GYb;DYb(A,r.i[0]);DYb(A,r.i[1]);Ngc(J.q,A)}if($3b(r.g,'yAreEqual')){A=new GYb;DYb(A,r.i[0]);DYb(A,r.i[1]);Ngc(L.q,A)}if(J.q.length==1&&V7b(J,L)){r.g=Xvh;r.j=0.5}}Ngc(s.q,r);F+=r.j}}}if(D&&F0&&K!=null){v?(v=false):(M.g+=',',M);M.g+=L}G=0;b=C.sb;d=MMh;if(b){B=b.Ti();!!B&&(d=B.gw());H=b.ab;C==a||(l+=H.length);G=H.length;for(W=H,X=0,Y=W.length;X1&&$3b((lhc(0,2,j.length),j.substr(0,2)),Sjh)&&(j=(mhc(1,j.length+1),j.substr(1)));o=o4b(j,'\\\\)\\\\*\\\\(',0);if(o.length>1){o[0]=q4b(o[0],1);o[o.length-1]=r4b(o[o.length-1],0,o[o.length-1].length-1)}F=false;o.length==1&&j4b(o[0],'[-+]?\\\\d*\\\\.?\\\\d+')&&(F=true);G=new f9b;if(!F){for(l=o,m=0,n=l.length;m1&&(d=A7d(d,t));I.g.put(G,(P1b(),N1b))==null;pbc(e.n,G,d)}M=(r=(new s8b((new Jec(I.g.bg())).g)).g.ee().i.cg(),new t8b(r));while(M.g.Ef()){G=(l=M.g.Ff(),l.mf());k=q7d(k,IDb(obc(e.n,G)))}if(j6b(g,(h6b(),g6b))>0){S=x7d(S,q7d(f,k));T=true}else{fb=x7d(fb,q7d(f,k));gb=true}}s=new E5d(Q,S,fb);if(eb){if(!T||!gb){!!_kg&&alg(_kg,(slg(),llg),c+' means '+s+', uninteresting');return null}U=new igg;Dxf(U,z5d(s,(Kud(),gud)));U.j=2;!!_kg&&alg(_kg,(slg(),llg),c+' means '+s);return U}!!_kg&&alg(_kg,(slg(),llg),c+' cannot be described by quantities only')}}u=Mxf(hb);v=new IYb(u);nb=new wxf(v,3);while(!nb.g){mb=uxf(nb);M=(V=(new d8b(mb.g)).g.ee().yd(),new e8b(V));K=0;db=me(bY,bnh,13,UDb(mb.g),0,1);while(M.g.Ef()){db[K]=(l=M.g.Ff(),l.mf());++K}try{B=db[0].vu(db[0]);C=db[1].vu(db[1]);D=db[2].vu(db[2])}catch(a){a=Lpb(a);if(ff(a,51)){!!_kg&&alg(_kg,(slg(),llg),yMh);return null}else throw Mpb(a)}h=Ryf(bzf(B[0],B[1],C[0],C[1],D[0],D[1]),b.k);if(Lyf(c,h)||Jyf(c,h).g.j==0){!!_kg&&alg(_kg,(slg(),llg),c+' means collinearity for '+mb);U=new igg;U.i=db;M9b(U.i);U.g=_vh;QDb(b.i,R,U);return U}}$=new wxf(v,2);while(!$.g){X=uxf($);M=(V=(new d8b(X.g)).g.ee().yd(),new e8b(V));K=0;db=me(bY,bnh,13,UDb(X.g),0,1);while(M.g.Ef()){db[K]=(l=M.g.Ff(),l.mf());++K}try{B=db[0].vu(db[0]);C=db[1].vu(db[1])}catch(a){a=Lpb(a);if(ff(a,51)){!!_kg&&alg(_kg,(slg(),llg),yMh);return null}else throw Mpb(a)}s=Ryf(nzf(B[0],B[1],C[0],C[1]),b.k);if(Lyf(c,s)||Jyf(c,s).g.j==0){!!_kg&&alg(_kg,(slg(),llg),c+' means equality for '+X);U=new igg;U.i=db;M9b(U.i);U.g=Xvh;U.j=0.5;QDb(b.i,R,U);return U}}w=new GYb;sb=new VDb;A=new GYb;vb=new VDb;L=(q=(new s8b(cIc(b.j.q).g)).g.ee().i.cg(),new t8b(q));while(L.g.Ef()){H=(l=L.g.Ff(),l.mf());if(H.qn()&&ff(H,109)){try{qb=H.vu(H)[0];if(EYb(b.g,qb)){PDb(w.g,qb,w);pbc(sb.n,qb,H)}tb=H.vu(H)[1];if(EYb(b.g,tb)){PDb(A.g,tb,A);pbc(vb.n,tb,H)}}catch(a){a=Lpb(a);if(ff(a,51)){!!_kg&&alg(_kg,(slg(),llg),yMh);return null}else throw Mpb(a)}}}bb=new wxf(w,2);while(!bb.g){X=uxf(bb);P=(V=(new d8b(X.g)).g.ee().yd(),new e8b(V));K=0;i=me(U1,ALh,37,UDb(X.g),0,1);db=me(bY,bnh,13,UDb(X.g),0,1);while(P.g.Ef()){i[K]=(l=P.g.Ff(),l.mf());db[K]=MDb(sb,i[K]);++K}rb=Ryf(Jyf(new $yf(i[0]),Qyf(new $yf(i[1]))),b.k);if(Lyf(c,rb)||Jyf(c,rb).g.j==0){!!_kg&&alg(_kg,(slg(),llg),c+' means x-equality for '+X);U=new igg;U.i=db;M9b(U.i);U.g='xAreEqual';U.j=W8g;QDb(b.i,R,U);return U}}bb=new wxf(A,2);while(!bb.g){X=uxf(bb);P=(V=(new d8b(X.g)).g.ee().yd(),new e8b(V));K=0;i=me(U1,ALh,37,UDb(X.g),0,1);db=me(bY,bnh,13,UDb(X.g),0,1);while(P.g.Ef()){i[K]=(l=P.g.Ff(),l.mf());db[K]=MDb(vb,i[K]);++K}ub=Ryf(Jyf(new $yf(i[0]),Qyf(new $yf(i[1]))),b.k);if(Lyf(c,ub)||Jyf(c,ub).g.j==0){!!_kg&&alg(_kg,(slg(),llg),c+' means y-equality for '+X);U=new igg;U.i=db;M9b(U.i);U.g='yAreEqual';U.j=W8g;QDb(b.i,R,U);return U}}ab=new wxf(v,2);while(!ab.g){Y=uxf(ab);N=(W=(new d8b(Y.g)).g.ee().yd(),new e8b(W));K=0;db=me(bY,bnh,13,4,0,1);while(N.g.Ef()){db[K]=(l=N.g.Ff(),l.mf());++K}cb=new wxf(v,2);while(!cb.g){Z=uxf(cb);O=(V=(new d8b(Z.g)).g.ee().yd(),new e8b(V));K=2;while(O.g.Ef()){db[K]=(l=O.g.Ff(),l.mf());++K}try{B=db[0].vu(db[0]);C=db[1].vu(db[1]);D=db[2].vu(db[0]);F=db[3].vu(db[1])}catch(a){a=Lpb(a);if(ff(a,51)){!!_kg&&alg(_kg,(slg(),llg),yMh);return null}else throw Mpb(a)}s=Ryf(kzf(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(Lyf(c,s)||Jyf(c,s).g.j==0){!!_kg&&alg(_kg,(slg(),llg),c+' means perpendicularity for '+Y+OLh+Z);U=new igg;U.i=db;U.g=Zvh;U.j=Whh;QDb(b.i,R,U);return U}s=Ryf(jzf(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(Lyf(c,s)||Jyf(c,s).g.j==0){!!_kg&&alg(_kg,(slg(),llg),c+' means parallelism for '+Y+OLh+Z);U=new igg;U.i=db;U.g=Yvh;U.j=Whh;QDb(b.i,R,U);return U}s=Ryf(Jyf(nzf(B[0],B[1],C[0],C[1]),Qyf(nzf(D[0],D[1],F[0],F[1]))),b.k);if(Lyf(c,s)||Jyf(c,s).g.j==0){!!_kg&&alg(_kg,(slg(),llg),c+' means congruence for '+Y+OLh+Z);U=new igg;U.i=db;U.g=$vh;U.j=Whh;QDb(b.i,R,U);return U}}}!!_kg&&alg(_kg,(slg(),llg),'No human readable geometrical meaning found for '+c);PDb(b.i,R,null);return null}\nfunction Cyf(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.q!=null){return a.q}if(d){if(c.ln()){R=YMe(c);Z=YMe(d);if(R!=null&&Z!=null){if(a.r==null){a.r=me(U1,ALh,37,8,0,1);a.r[0]=new Azf(b.Ci());a.r[1]=new Azf(b.Ci());a.r[2]=new Azf(b.Ci());a.r[3]=new Azf(b.Ci());a.r[4]=new Azf(b.Ci());a.r[5]=new Azf(b.Ci());a.r[6]=new Azf(b.Ci());a.r[7]=new Azf(b.Ci())}a.q=me(S1,ELh,19,8,0,1);mb=new $yf(R[0]);nb=new $yf(R[1]);Ab=new $yf(a.r[4]);Bb=new $yf(a.r[5]);ob=new $yf(a.r[0]);pb=new $yf(a.r[1]);a.q[0]=Jyf(Jyf(Pyf(Ab,new Wyf(2)),Qyf(mb)),Qyf(ob));a.q[1]=Jyf(Jyf(Pyf(Bb,new Wyf(2)),Qyf(nb)),Qyf(pb));g=me(U1,ALh,37,2,0,1);g[0]=Z[0];g[1]=Z[1];h=me(U1,ALh,37,2,0,1);h[0]=Z[2];h[1]=Z[3];a.q[2]=bzf(g[0],g[1],a.r[4],a.r[5],h[0],h[1]);a.q[3]=kzf(R[0],R[1],a.r[4],a.r[5],g[0],g[1],h[0],h[1]);rb=new $yf(R[2]);sb=new $yf(R[3]);Db=new $yf(a.r[6]);Eb=new $yf(a.r[7]);tb=new $yf(a.r[2]);ub=new $yf(a.r[3]);a.q[4]=Jyf(Jyf(Pyf(Db,new Wyf(2)),Qyf(rb)),Qyf(tb));a.q[5]=Jyf(Jyf(Pyf(Eb,new Wyf(2)),Qyf(sb)),Qyf(ub));a.q[6]=bzf(g[0],g[1],a.r[6],a.r[7],h[0],h[1]);a.q[7]=kzf(R[2],R[3],a.r[6],a.r[7],g[0],g[1],h[0],h[1]);return a.q}throw Mpb(new Cxf)}else if(c.qn()){i=c;S=d;Jb=A_e(i,i);Ib=YMe(S);if(a.r==null){a.r=me(U1,ALh,37,6,0,1);a.r[0]=new Azf(b.Ci());a.r[1]=new Azf(b.Ci());a.r[2]=new Azf(b.Ci());a.r[3]=new Azf(b.Ci());a.r[4]=new Azf(b.Ci());a.r[5]=new Azf(b.Ci())}a.q=me(S1,ELh,19,6,0,1);zb=new $yf(a.r[2]);Cb=new $yf(a.r[3]);v=new $yf(Jb[0]);w=new $yf(Jb[1]);A=new $yf(a.r[0]);B=new $yf(a.r[1]);a.q[0]=Jyf(Jyf(Pyf(zb,new Wyf(2)),Qyf(A)),Qyf(v));a.q[1]=Jyf(Jyf(Pyf(Cb,new Wyf(2)),Qyf(B)),Qyf(w));g=me(U1,ALh,37,2,0,1);g[0]=Ib[0];g[1]=Ib[1];h=me(U1,ALh,37,2,0,1);h[0]=Ib[2];h[1]=Ib[3];a.q[2]=bzf(g[0],g[1],h[0],h[1],a.r[2],a.r[3]);l=new $yf(g[0]);m=new $yf(g[1]);q=new $yf(h[0]);r=new $yf(h[1]);ab=new $yf(a.r[4]);db=new $yf(a.r[5]);a.q[3]=Jyf(Jyf(Jyf(q,Qyf(l)),w),Qyf(db));a.q[4]=Jyf(Jyf(Jyf(v,Qyf(r)),m),Qyf(ab));a.q[5]=bzf(a.r[0],a.r[1],a.r[2],a.r[3],a.r[4],a.r[5]);return a.q}else if(c.$m()&&c.nb==4){C=c;S=d;Hb=lSe(C);Qb=YMe(S);if(a.r==null){a.r=me(U1,ALh,37,12,0,1);a.r[0]=new Azf(b.Ci());a.r[1]=new Azf(b.Ci());a.r[2]=new Azf(b.Ci());a.r[3]=new Azf(b.Ci());a.r[4]=new Azf(b.Ci());a.r[5]=new Azf(b.Ci());a.r[6]=new Azf(b.Ci());a.r[7]=new Azf(b.Ci());a.r[8]=new Azf(b.Ci());a.r[9]=new Azf(b.Ci());a.r[10]=new Azf(b.Ci());a.r[11]=new Azf(b.Ci())}a.q=me(S1,ELh,19,12,0,1);zb=new $yf(a.r[4]);Cb=new $yf(a.r[5]);l=new $yf(Hb[0]);m=new $yf(Hb[1]);n=new $yf(a.r[0]);o=new $yf(a.r[1]);a.q[0]=Jyf(Jyf(Pyf(zb,new Wyf(2)),Qyf(n)),Qyf(l));a.q[1]=Jyf(Jyf(Pyf(Cb,new Wyf(2)),Qyf(o)),Qyf(m));a.q[2]=bzf(Qb[0],Qb[1],a.r[4],a.r[5],Qb[2],Qb[3]);v=new $yf(Qb[0]);w=new $yf(Qb[1]);D=new $yf(Qb[2]);F=new $yf(Qb[3]);bb=new $yf(a.r[8]);cb=new $yf(a.r[9]);a.q[3]=Jyf(Jyf(Jyf(D,Qyf(v)),m),Qyf(cb));a.q[4]=Jyf(Jyf(Jyf(l,Qyf(F)),w),Qyf(bb));a.q[5]=bzf(a.r[0],a.r[1],a.r[4],a.r[5],a.r[8],a.r[9]);vb=new $yf(a.r[6]);wb=new $yf(a.r[7]);q=new $yf(Hb[2]);r=new $yf(Hb[3]);s=new $yf(a.r[2]);t=new $yf(a.r[3]);a.q[6]=Jyf(Jyf(Pyf(vb,new Wyf(2)),Qyf(s)),Qyf(q));a.q[7]=Jyf(Jyf(Pyf(wb,new Wyf(2)),Qyf(t)),Qyf(r));a.q[8]=bzf(Qb[0],Qb[1],a.r[6],a.r[7],Qb[2],Qb[3]);eb=new $yf(a.r[10]);fb=new $yf(a.r[11]);a.q[9]=Jyf(Jyf(Jyf(D,Qyf(v)),r),Qyf(fb));a.q[10]=Jyf(Jyf(Jyf(q,Qyf(F)),w),Qyf(eb));a.q[11]=bzf(a.r[1],a.r[2],a.r[6],a.r[7],a.r[10],a.r[11]);return a.q}else if(c.$m()&&c.nb==9){qb=c;S=d;Sb=lSe(qb);Qb=YMe(S);if(a.r==null){a.r=me(U1,ALh,37,22,0,1);a.r[0]=new Azf(b.Ci());a.r[1]=new Azf(b.Ci());a.r[2]=new Azf(b.Ci());a.r[3]=new Azf(b.Ci());a.r[4]=new Azf(b.Ci());a.r[5]=new Azf(b.Ci());a.r[6]=new Azf(b.Ci());a.r[7]=new Azf(b.Ci());a.r[8]=new Azf(b.Ci());a.r[9]=new Azf(b.Ci());a.r[10]=new Azf(b.Ci());a.r[11]=new Azf(b.Ci());a.r[12]=new Azf(b.Ci());a.r[13]=new Azf(b.Ci());a.r[14]=new Azf(b.Ci());a.r[15]=new Azf(b.Ci());a.r[16]=new Azf(b.Ci());a.r[17]=new Azf(b.Ci());a.r[18]=new Azf(b.Ci());a.r[19]=new Azf(b.Ci());a.r[20]=new Azf(b.Ci());a.r[21]=new Azf(b.Ci())}a.q=me(S1,ELh,19,21,0,1);l=new $yf(Sb[4]);m=new $yf(Sb[5]);Ab=new $yf(a.r[10]);Bb=new $yf(a.r[11]);n=new $yf(a.r[4]);o=new $yf(a.r[5]);bb=new $yf(a.r[16]);cb=new $yf(a.r[17]);U=new $yf(Qb[0]);V=new $yf(Qb[1]);X=new $yf(Qb[2]);Y=new $yf(Qb[3]);a.q[0]=Jyf(Jyf(Pyf(new Wyf(2),Ab),Qyf(l)),Qyf(n));a.q[1]=Jyf(Jyf(Pyf(new Wyf(2),Bb),Qyf(m)),Qyf(o));a.q[2]=bzf(a.r[4],a.r[5],a.r[10],a.r[11],a.r[16],a.r[17]);a.q[3]=bzf(Qb[0],Qb[1],a.r[10],a.r[11],Qb[2],Qb[3]);a.q[4]=Jyf(Jyf(Jyf(X,Qyf(U)),m),Qyf(cb));a.q[5]=Jyf(Jyf(Jyf(l,Qyf(Y)),V),Qyf(bb));q=new $yf(Sb[6]);r=new $yf(Sb[7]);Db=new $yf(a.r[12]);Eb=new $yf(a.r[13]);s=new $yf(a.r[6]);t=new $yf(a.r[7]);eb=new $yf(a.r[18]);fb=new $yf(a.r[19]);a.q[6]=Jyf(Jyf(Pyf(new Wyf(2),Db),Qyf(q)),Qyf(s));a.q[7]=Jyf(Jyf(Pyf(new Wyf(2),Eb),Qyf(r)),Qyf(t));a.q[8]=bzf(a.r[6],a.r[7],a.r[12],a.r[13],a.r[18],a.r[19]);a.q[9]=bzf(Qb[0],Qb[1],a.r[12],a.r[13],Qb[2],Qb[3]);a.q[10]=Jyf(Jyf(Jyf(X,Qyf(U)),r),Qyf(fb));a.q[11]=Jyf(Jyf(Jyf(q,Qyf(Y)),V),Qyf(eb));M=new $yf(Sb[8]);N=new $yf(Sb[9]);Fb=new $yf(a.r[14]);Gb=new $yf(a.r[15]);O=new $yf(a.r[8]);P=new $yf(a.r[9]);gb=new $yf(a.r[20]);hb=new $yf(a.r[21]);a.q[12]=Jyf(Jyf(Pyf(new Wyf(2),Fb),Qyf(M)),Qyf(O));a.q[13]=Jyf(Jyf(Pyf(new Wyf(2),Gb),Qyf(N)),Qyf(P));a.q[14]=bzf(a.r[8],a.r[9],a.r[14],a.r[15],a.r[20],a.r[21]);a.q[15]=bzf(Qb[0],Qb[1],a.r[14],a.r[15],Qb[2],Qb[3]);a.q[16]=Jyf(Jyf(Jyf(X,Qyf(U)),N),Qyf(hb));a.q[17]=Jyf(Jyf(Jyf(M,Qyf(Y)),V),Qyf(gb));a.q[18]=ezf(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[19]=bzf(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[20]=kzf(a.r[0],a.r[1],a.r[2],a.r[3],a.r[4],a.r[5],a.r[6],a.r[7]);return a.q}throw Mpb(new Cxf)}else if(ff(e,33)){if(c.qn()){j=c;k=e;Kb=A_e(j,j);Lb=A_e(k,k);if(a.r==null){a.r=me(U1,ALh,37,2,0,1);a.r[0]=new Azf(b.Ci());a.r[1]=new Azf(b.Ci())}a.q=me(S1,ELh,19,2,0,1);l=new $yf(Kb[0]);m=new $yf(Kb[1]);q=new $yf(Lb[0]);r=new $yf(Lb[1]);n=new $yf(a.r[0]);o=new $yf(a.r[1]);a.q[0]=Jyf(Jyf(Pyf(q,new Wyf(2)),Qyf(l)),Qyf(n));a.q[1]=Jyf(Jyf(Pyf(r,new Wyf(2)),Qyf(m)),Qyf(o));return a.q}else if(c.ln()){S=c;i=e;Qb=YMe(S);Jb=A_e(i,i);if(a.r==null){a.r=me(U1,ALh,37,4,0,1);a.r[0]=new Azf(b.Ci());a.r[1]=new Azf(b.Ci());a.r[2]=new Azf(b.Ci());a.r[3]=new Azf(b.Ci())}a.q=me(S1,ELh,19,4,0,1);mb=new $yf(Jb[0]);nb=new $yf(Jb[1]);l=new $yf(Qb[0]);m=new $yf(Qb[1]);n=new $yf(a.r[0]);o=new $yf(a.r[1]);q=new $yf(Qb[2]);r=new $yf(Qb[3]);s=new $yf(a.r[2]);t=new $yf(a.r[3]);a.q[0]=Jyf(Jyf(mb,Qyf(l)),Qyf(Jyf(n,Qyf(mb))));a.q[1]=Jyf(Jyf(nb,Qyf(m)),Qyf(Jyf(o,Qyf(nb))));a.q[2]=Jyf(Jyf(mb,Qyf(q)),Qyf(Jyf(s,Qyf(mb))));a.q[3]=Jyf(Jyf(nb,Qyf(r)),Qyf(Jyf(t,Qyf(nb))));return a.q}else if(c.$m()&&c.nb==4){C=c;i=e;Hb=lSe(C);Jb=A_e(i,i);if(a.r==null){a.r=me(U1,ALh,37,4,0,1);a.r[0]=new Azf(b.Ci());a.r[1]=new Azf(b.Ci());a.r[2]=new Azf(b.Ci());a.r[3]=new Azf(b.Ci())}a.q=me(S1,ELh,19,4,0,1);mb=new $yf(Jb[0]);nb=new $yf(Jb[1]);l=new $yf(Hb[0]);m=new $yf(Hb[1]);n=new $yf(a.r[0]);o=new $yf(a.r[1]);q=new $yf(Hb[2]);r=new $yf(Hb[3]);s=new $yf(a.r[2]);t=new $yf(a.r[3]);a.q[0]=Jyf(Jyf(mb,Qyf(l)),Qyf(Jyf(n,Qyf(mb))));a.q[1]=Jyf(Jyf(nb,Qyf(m)),Qyf(Jyf(o,Qyf(nb))));a.q[2]=Jyf(Jyf(mb,Qyf(q)),Qyf(Jyf(s,Qyf(mb))));a.q[3]=Jyf(Jyf(nb,Qyf(r)),Qyf(Jyf(t,Qyf(nb))));return a.q}else if(c.$m()&&c.nb==9){qb=c;i=e;Sb=lSe(qb);Jb=A_e(i,i);if(a.r==null){a.r=me(U1,ALh,37,10,0,1);a.r[0]=new Azf(b.Ci());a.r[1]=new Azf(b.Ci());a.r[2]=new Azf(b.Ci());a.r[3]=new Azf(b.Ci());a.r[4]=new Azf(b.Ci());a.r[5]=new Azf(b.Ci());a.r[6]=new Azf(b.Ci());a.r[7]=new Azf(b.Ci());a.r[8]=new Azf(b.Ci());a.r[9]=new Azf(b.Ci())}a.q=me(S1,ELh,19,13,0,1);mb=new $yf(Sb[0]);nb=new $yf(Sb[1]);vb=new $yf(Sb[2]);wb=new $yf(Sb[3]);l=new $yf(Sb[4]);m=new $yf(Sb[5]);q=new $yf(Sb[6]);r=new $yf(Sb[7]);M=new $yf(Sb[8]);N=new $yf(Sb[9]);ob=new $yf(a.r[0]);pb=new $yf(a.r[1]);xb=new $yf(a.r[2]);yb=new $yf(a.r[3]);n=new $yf(a.r[4]);o=new $yf(a.r[5]);s=new $yf(a.r[6]);t=new $yf(a.r[7]);O=new $yf(a.r[8]);P=new $yf(a.r[9]);T=new $yf(Jb[0]);W=new $yf(Jb[1]);a.q[0]=Jyf(Jyf(Pyf(new Wyf(2),T),Qyf(mb)),Qyf(ob));a.q[1]=Jyf(Jyf(Pyf(new Wyf(2),W),Qyf(nb)),Qyf(pb));a.q[2]=Jyf(Jyf(Pyf(new Wyf(2),T),Qyf(vb)),Qyf(xb));a.q[3]=Jyf(Jyf(Pyf(new Wyf(2),W),Qyf(wb)),Qyf(yb));a.q[4]=Jyf(Jyf(Pyf(new Wyf(2),T),Qyf(l)),Qyf(n));a.q[5]=Jyf(Jyf(Pyf(new Wyf(2),W),Qyf(m)),Qyf(o));a.q[6]=Jyf(Jyf(Pyf(new Wyf(2),T),Qyf(q)),Qyf(s));a.q[7]=Jyf(Jyf(Pyf(new Wyf(2),W),Qyf(r)),Qyf(t));a.q[8]=Jyf(Jyf(Pyf(new Wyf(2),T),Qyf(M)),Qyf(O));a.q[9]=Jyf(Jyf(Pyf(new Wyf(2),W),Qyf(N)),Qyf(P));a.q[10]=ezf(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[11]=bzf(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[12]=kzf(a.r[0],a.r[1],a.r[2],a.r[3],a.r[4],a.r[5],a.r[6],a.r[7]);return a.q}else if(c.$m()&&c.nb==3){L=c;i=e;Ob=lSe(L);Jb=A_e(i,i);if(Ob[6]==Ob[8]&&Ob[7]==Ob[9]){if(a.r==null){a.r=me(U1,ALh,37,4,0,1);a.r[0]=new Azf(b.Ci());a.r[1]=new Azf(b.Ci());a.r[2]=new Azf(b.Ci());a.r[3]=new Azf(b.Ci())}a.q=me(S1,ELh,19,4,0,1);l=new $yf(Ob[0]);m=new $yf(Ob[1]);v=new $yf(Ob[2]);w=new $yf(Ob[3]);mb=new $yf(Jb[0]);nb=new $yf(Jb[1]);n=new $yf(a.r[0]);o=new $yf(a.r[1]);A=new $yf(a.r[2]);B=new $yf(a.r[3]);a.q[0]=Jyf(Jyf(Pyf(new Wyf(2),mb),Qyf(l)),Qyf(n));a.q[1]=Jyf(Jyf(Pyf(new Wyf(2),nb),Qyf(m)),Qyf(o));a.q[2]=Jyf(Jyf(Pyf(new Wyf(2),mb),Qyf(v)),Qyf(A));a.q[3]=Jyf(Jyf(Pyf(new Wyf(2),nb),Qyf(w)),Qyf(B))}else{if(a.r==null){a.r=me(U1,ALh,37,12,0,1);a.r[0]=new Azf(b.Ci());a.r[1]=new Azf(b.Ci());a.r[2]=new Azf(b.Ci());a.r[3]=new Azf(b.Ci());a.r[4]=new Azf(b.Ci());a.r[5]=new Azf(b.Ci());a.r[6]=new Azf(b.Ci());a.r[7]=new Azf(b.Ci());a.r[8]=new Azf(b.Ci());a.r[9]=new Azf(b.Ci());a.r[10]=new Azf(b.Ci());a.r[11]=new Azf(b.Ci())}a.q=me(S1,ELh,19,13,0,1);mb=new $yf(Ob[0]);nb=new $yf(Ob[1]);l=new $yf(Ob[6]);m=new $yf(Ob[7]);q=new $yf(Ob[8]);r=new $yf(Ob[9]);v=new $yf(Ob[10]);w=new $yf(Ob[11]);T=new $yf(Jb[0]);W=new $yf(Jb[1]);ob=new $yf(a.r[0]);pb=new $yf(a.r[1]);n=new $yf(a.r[6]);o=new $yf(a.r[7]);s=new $yf(a.r[8]);t=new $yf(a.r[9]);A=new $yf(a.r[10]);B=new $yf(a.r[11]);D=new $yf(a.r[2]);F=new $yf(a.r[3]);J=new $yf(a.r[4]);K=new $yf(a.r[5]);a.q[0]=Jyf(Jyf(Pyf(new Wyf(2),T),Qyf(mb)),Qyf(ob));a.q[1]=Jyf(Jyf(Pyf(new Wyf(2),W),Qyf(nb)),Qyf(pb));a.q[2]=Jyf(Jyf(Pyf(new Wyf(2),T),Qyf(l)),Qyf(n));a.q[3]=Jyf(Jyf(Pyf(new Wyf(2),W),Qyf(m)),Qyf(o));a.q[4]=Jyf(Jyf(Pyf(new Wyf(2),T),Qyf(q)),Qyf(s));a.q[5]=Jyf(Jyf(Pyf(new Wyf(2),W),Qyf(r)),Qyf(t));a.q[6]=Jyf(Jyf(Pyf(new Wyf(2),T),Qyf(v)),Qyf(A));a.q[7]=Jyf(Jyf(Pyf(new Wyf(2),W),Qyf(w)),Qyf(B));a.q[8]=Jyf(Jyf(Jyf(D,F),Qyf(J)),Qyf(K));a.q[9]=Jyf(nzf(a.r[6],a.r[7],a.r[8],a.r[9]),Qyf(Pyf(D,D)));a.q[10]=Jyf(nzf(a.r[6],a.r[7],a.r[8],a.r[9]),Qyf(Pyf(F,F)));a.q[11]=Jyf(nzf(a.r[6],a.r[7],a.r[0],a.r[1]),Qyf(Pyf(J,J)));a.q[12]=Jyf(nzf(a.r[8],a.r[9],a.r[0],a.r[1]),Qyf(Pyf(K,K)))}return a.q}else if(c.$m()&&c.nb==5){Q=c;i=e;Pb=lSe(Q);Jb=A_e(i,i);if(a.r==null){a.r=me(U1,ALh,37,12,0,1);a.r[0]=new Azf(b.Ci());a.r[1]=new Azf(b.Ci());a.r[2]=new Azf(b.Ci());a.r[3]=new Azf(b.Ci());a.r[4]=new Azf(b.Ci());a.r[5]=new Azf(b.Ci());a.r[6]=new Azf(b.Ci());a.r[7]=new Azf(b.Ci());a.r[8]=new Azf(b.Ci());a.r[9]=new Azf(b.Ci());a.r[10]=new Azf(b.Ci());a.r[11]=new Azf(b.Ci())}a.q=me(S1,ELh,19,13,0,1);mb=new $yf(Pb[0]);nb=new $yf(Pb[1]);l=new $yf(Pb[6]);m=new $yf(Pb[7]);q=new $yf(Pb[8]);r=new $yf(Pb[9]);v=new $yf(Pb[10]);w=new $yf(Pb[11]);T=new $yf(Jb[0]);W=new $yf(Jb[1]);ob=new $yf(a.r[0]);pb=new $yf(a.r[1]);n=new $yf(a.r[6]);o=new $yf(a.r[7]);s=new $yf(a.r[8]);t=new $yf(a.r[9]);A=new $yf(a.r[10]);B=new $yf(a.r[11]);D=new $yf(a.r[2]);F=new $yf(a.r[3]);J=new $yf(a.r[4]);K=new $yf(a.r[5]);a.q[0]=Jyf(Jyf(Pyf(new Wyf(2),T),Qyf(mb)),Qyf(ob));a.q[1]=Jyf(Jyf(Pyf(new Wyf(2),W),Qyf(nb)),Qyf(pb));a.q[2]=Jyf(Jyf(Pyf(new Wyf(2),T),Qyf(l)),Qyf(n));a.q[3]=Jyf(Jyf(Pyf(new Wyf(2),W),Qyf(m)),Qyf(o));a.q[4]=Jyf(Jyf(Pyf(new Wyf(2),T),Qyf(q)),Qyf(s));a.q[5]=Jyf(Jyf(Pyf(new Wyf(2),W),Qyf(r)),Qyf(t));a.q[6]=Jyf(Jyf(Pyf(new Wyf(2),T),Qyf(v)),Qyf(A));a.q[7]=Jyf(Jyf(Pyf(new Wyf(2),W),Qyf(w)),Qyf(B));a.q[8]=Jyf(Jyf(Jyf(D,Qyf(F)),Qyf(J)),K);a.q[9]=Jyf(nzf(a.r[6],a.r[7],a.r[10],a.r[11]),Qyf(Pyf(D,D)));a.q[10]=Jyf(nzf(a.r[8],a.r[9],a.r[10],a.r[11]),Qyf(Pyf(F,F)));a.q[3]=Jyf(nzf(a.r[6],a.r[7],a.r[0],a.r[1]),Qyf(Pyf(J,J)));a.q[4]=Jyf(nzf(a.r[8],a.r[9],a.r[0],a.r[1]),Qyf(Pyf(K,K)));return a.q}throw Mpb(new Cxf)}else if(f){if(c.qn()){i=c;u=f;Jb=A_e(i,i);Mb=lSe(u);if(a.r==null){a.r=me(U1,ALh,37,8,0,1);a.r[0]=new Azf(b.Ci());a.r[1]=new Azf(b.Ci());a.r[2]=Jb[0];a.r[3]=Jb[1];a.r[4]=Mb[0];a.r[5]=Mb[1];a.r[6]=Mb[2];a.r[7]=Mb[3]}a.q=me(S1,ELh,19,2,0,1);ib=new $yf(Mb[0]);jb=new $yf(Mb[1]);l=new $yf(Mb[2]);m=new $yf(Mb[3]);q=new $yf(Jb[0]);r=new $yf(Jb[1]);s=new $yf(a.r[0]);t=new $yf(a.r[1]);kb=Jyf(Pyf(Jyf(l,Qyf(ib)),Jyf(l,Qyf(ib))),Pyf(Jyf(m,Qyf(jb)),Jyf(m,Qyf(jb))));G=Jyf(Pyf(Jyf(q,Qyf(ib)),Jyf(q,Qyf(ib))),Pyf(Jyf(r,Qyf(jb)),Jyf(r,Qyf(jb))));a.q[0]=Jyf(Pyf(kb,Jyf(q,Qyf(ib))),Pyf(Jyf(ib,Qyf(s)),G));a.q[1]=Jyf(Pyf(kb,Jyf(r,Qyf(jb))),Pyf(Jyf(jb,Qyf(t)),G));return a.q}else if(c.ln()){!!_kg&&alg(_kg,(slg(),llg),'mirroring line about circle not implemented');throw Mpb(new Cxf)}else if(c.$m()&&c.nb==4){C=c;$=f;Nb=lSe(C);Rb=lSe($);if(a.r==null){a.r=me(U1,ALh,37,4,0,1);a.r[0]=new Azf(b.Ci());a.r[1]=new Azf(b.Ci());a.r[2]=new Azf(b.Ci());a.r[3]=new Azf(b.Ci())}a.q=me(S1,ELh,19,4,0,1);l=new $yf(Nb[0]);m=new $yf(Nb[1]);q=new $yf(Nb[2]);r=new $yf(Nb[3]);ib=new $yf(Rb[0]);jb=new $yf(Rb[1]);v=new $yf(Rb[2]);w=new $yf(Rb[3]);n=new $yf(a.r[0]);o=new $yf(a.r[1]);s=new $yf(a.r[2]);t=new $yf(a.r[3]);lb=Jyf(Pyf(Jyf(v,Qyf(ib)),Jyf(v,Qyf(ib))),Pyf(Jyf(w,Qyf(jb)),Jyf(w,Qyf(jb))));p=Jyf(Pyf(Jyf(q,Qyf(l)),Jyf(q,Qyf(l))),Pyf(Jyf(r,Qyf(m)),Jyf(r,Qyf(m))));H=Jyf(Jyf(Pyf(Jyf(l,Qyf(ib)),Jyf(l,Qyf(ib))),Pyf(Jyf(m,Qyf(jb)),Jyf(m,Qyf(jb)))),Qyf(p));a.q[0]=Jyf(Pyf(lb,Jyf(l,Qyf(ib))),Pyf(Jyf(ib,Qyf(n)),H));a.q[1]=Jyf(Pyf(lb,Jyf(m,Qyf(jb))),Pyf(Jyf(jb,Qyf(o)),H));I=Jyf(Pyf(Jyf(q,Qyf(ib)),Jyf(q,Qyf(ib))),Pyf(Jyf(r,Qyf(jb)),Jyf(r,Qyf(jb))));a.q[2]=Jyf(Pyf(lb,Jyf(q,Qyf(ib))),Pyf(Jyf(ib,Qyf(s)),I));a.q[3]=Jyf(Pyf(lb,Jyf(r,Qyf(jb))),Pyf(Jyf(jb,Qyf(t)),I));return a.q}else{throw Mpb(new Cxf)}}else{throw Mpb(new Cxf)}}\nvar fMh='[LocusEqu] result[',gMh='eliminate([',hMh='],revlist([',iMh='PRECISION = ',jMh='[1]: [1]: _[1]=1 _[2]=',kMh='Cannot parse: ',lMh='Cannot get Botana variables for ',mMh='Recio meets Botana: #',nMh={15:1,24:1,16:1,21:1,131:1,530:1,25:1},oMh={15:1,24:1,16:1,21:1,530:1,25:1},pMh='Cannot compute implicit curve (yet?)',qMh='Benchmarking: ',rMh='Output from giac: ',sMh='Error on running Giac code',tMh=' kernelPrecision=',uMh=' precisionRatio=',vMh='OpenGeoProver',wMh='PureSymbolic',xMh='STATEMENT IS ',yMh='Cannot get Botana vars during NDG detection',zMh=' unimplemented',AMh='Interpreting TRUE as UNKNOWN',BMh='Extra poly 3 for ',CMh='Extra poly 4 for ',DMh='Eliminating system in ',EMh=' variables (',FMh=' dependent)',GMh='gbt polys = ',HMh='gbt vars = ',IMh='Using ',JMh='Possible numerical error in converting formula coefficients to integer',KMh='ggbtmpvar2',LMh=') and ',MMh='Free Point';sqb(1872,591,Alh,k8b);_.pf=function(a){throw Mpb(new h5b)};var Eu=A2b(1872);sqb(4184,286,G9g);_.bg=function(){return new q8b(this)};sqb(2155,4184,G9g,q8b);_.clear=function(){this.g.clear()};_.ag=function(){return this.g.cg()};_.bg=TYh;_.cg=function(){return this.g.ag()};_.dg=function(a){return this.g.gg(a)};_.eg=function(a){return this.g.eg(a)};_.fg=function(){return this.g.ig()};_.gg=function(a){return this.g.dg(a)};_.hg=function(a){return this.g.jg(a)};_.ig=function(){return this.g.fg()};_.jg=function(a){return this.g.hg(a)};_.kg=function(a,b){return this.g.mg(a,b).bg()};_.put=function(a,b){return this.g.put(a,b)};_.remove=function(a){return this.g.remove(a)};_.lg=function(a){return this.g.lg(a)};_.size=function(){return this.g.size()};_.mg=function(a,b){return this.g.kg(a,b).bg()};var Hu=A2b(2155);sqb(222,4184,Olh,cec);_.ag=function(){return new dec(this)};_.kg=function(a,b){return Odc(this,a,b)};sqb(dch,1,{},dec,eec);_.Df=SYh;_.Ff=function(){return this.i=_7b(this.g)};_.Ef=function(){return this.g.i>0};_.Gf=function(){Z7b(this.g);Vdc(this.j,this.i);this.i=null};var cw=A2b(dch);sqb(757,4184,G9g);_.ag=function(){return new eec(this.j,this.o,this.i,this.g,this.n,this.k)};_.kg=function(a,b){if(this.o.xg()&&this.j.g.jf(a,this.n)>0){throw Mpb(new d3b(Plh+a+' greater than '+this.n))}return this.o.wg()?$dc(this.j,this.i,this.g,a,b):Odc(this.j,a,b)};sqb(1397,1,xnh);_.vj=function(a,b){var c,d;d=new _4b;c=gMh+a+hMh+b+']))';return R4b(R4b(R4b(R4b(R4b(R4b((d.g+='[[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]').g};_.wj=function(a,b,c,d){var e,f;if(!c){return (myc(),gyc)+'(eliminate(['+a+hMh+b+'])))'}e=''+jqb(d.g);!!_kg&&alg(_kg,(slg(),llg),iMh+e);f=(myc(),gyc)+'([[ee:=eliminate(['+a+hMh+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};_.xj=function(a,b,c,d){var e,f,g;e='[[GB:=gbasis(';!!a&&(e+=fAh);e+='['+b+']';if(a){f=txc(a);e+=',['+f+'])'}g=c+_yf(d);$3b(g.substr(0,1),',')&&(g=(mhc(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};_.yj=function(a,b,c,d,e){var f,g,h;f='[[ii:=gbasis(';f+=fAh;f+='['+b+']';g=txc(a);f+=',['+g+'])';h=c+_yf(d);f+=',['+h+'],revlex)],('+'ii'+'[0]!=1)&&('+'ii'+'[0]!=-1)][1]';return f};_.Ej=function(a){var b,c,d,e;b=pxc(a);c=qxc(a);e=me(sf,M4g,82,c.length+1,0,3);e[0]=b;for(d=0;d0){c=A_e(this.r,this.r);b[b.length-1]=Jyf(Pyf(nzf(d[0],d[1],c[0],c[1]),new $yf(new Azf(this.Tc))),Qyf(new Wyf(1)))}PDb(this.n,a,b);return b}throw Mpb(new Cxf)}else if(this.p.nb==9||this.p.nb==3||this.p.nb==5){if(this.t){p=YMe(this.t);d=me(U1,ALh,37,2,0,1);!this.o&&(this.o=new VDb);if(JDb(this.o,a)){d=MDb(this.o,a)}else{d=me(U1,ALh,37,2,0,1);d[0]=new Azf(this.Tc);d[1]=new Azf(this.Tc);PDb(this.o,a,d)}e=kSe(this.p);g=lSe(this.p);f=e.length;b=me(S1,ELh,19,f+1,0,1);for(k=0;ki&&(i=h[g])}b[0]=i;return b}throw Mpb(new Cxf)};_.yu=function(a){var b,c,d,e,f,g;if(!!this.i&&!!this.j&&!!this.k&&!!this.n){c=H_e(this.i,a);d=H_e(this.j,a);e=H_e(this.k,a);f=H_e(this.n,a);b=me(ou,vlh,86,1,0,1);g=ke(ou,[M4g,vlh],[207,86],0,[4,4],2);g[0][0]=w6b(c[0],c[2]);g[0][1]=w6b(c[1],c[2]);g[0][2]=i7b(w6b(c[0],c[0]),w6b(c[1],c[1]));g[0][3]=w6b(c[2],c[2]);g[1][0]=w6b(d[0],d[2]);g[1][1]=w6b(d[1],d[2]);g[1][2]=i7b(w6b(d[0],d[0]),w6b(d[1],d[1]));g[1][3]=w6b(d[2],d[2]);g[2][0]=w6b(e[0],e[2]);g[2][1]=w6b(e[1],e[2]);g[2][2]=i7b(w6b(e[0],e[0]),w6b(e[1],e[1]));g[2][3]=w6b(e[2],e[2]);g[3][0]=w6b(f[0],f[2]);g[3][1]=w6b(f[1],f[2]);g[3][2]=i7b(w6b(f[0],f[0]),w6b(f[1],f[1]));g[3][3]=w6b(f[2],f[2]);b[0]=i7b(n7b(n7b(i7b(i7b(n7b(n7b(i7b(i7b(n7b(n7b(i7b(i7b(n7b(n7b(i7b(i7b(n7b(n7b(i7b(i7b(n7b(n7b(w6b(w6b(w6b(g[0][3],g[1][2]),g[2][1]),g[3][0]),w6b(w6b(w6b(g[0][2],g[1][3]),g[2][1]),g[3][0])),w6b(w6b(w6b(g[0][3],g[1][1]),g[2][2]),g[3][0])),w6b(w6b(w6b(g[0][1],g[1][3]),g[2][2]),g[3][0])),w6b(w6b(w6b(g[0][2],g[1][1]),g[2][3]),g[3][0])),w6b(w6b(w6b(g[0][1],g[1][2]),g[2][3]),g[3][0])),w6b(w6b(w6b(g[0][3],g[1][2]),g[2][0]),g[3][1])),w6b(w6b(w6b(g[0][2],g[1][3]),g[2][0]),g[3][1])),w6b(w6b(w6b(g[0][3],g[1][0]),g[2][2]),g[3][1])),w6b(w6b(w6b(g[0][0],g[1][3]),g[2][2]),g[3][1])),w6b(w6b(w6b(g[0][2],g[1][0]),g[2][3]),g[3][1])),w6b(w6b(w6b(g[0][0],g[1][2]),g[2][3]),g[3][1])),w6b(w6b(w6b(g[0][3],g[1][1]),g[2][0]),g[3][2])),w6b(w6b(w6b(g[0][1],g[1][3]),g[2][0]),g[3][2])),w6b(w6b(w6b(g[0][3],g[1][0]),g[2][1]),g[3][2])),w6b(w6b(w6b(g[0][0],g[1][3]),g[2][1]),g[3][2])),w6b(w6b(w6b(g[0][1],g[1][0]),g[2][3]),g[3][2])),w6b(w6b(w6b(g[0][0],g[1][1]),g[2][3]),g[3][2])),w6b(w6b(w6b(g[0][2],g[1][1]),g[2][0]),g[3][3])),w6b(w6b(w6b(g[0][1],g[1][2]),g[2][0]),g[3][3])),w6b(w6b(w6b(g[0][2],g[1][0]),g[2][1]),g[3][3])),w6b(w6b(w6b(g[0][0],g[1][2]),g[2][1]),g[3][3])),w6b(w6b(w6b(g[0][1],g[1][0]),g[2][2]),g[3][3])),w6b(w6b(w6b(g[0][0],g[1][1]),g[2][2]),g[3][3]));return b}throw Mpb(new Cxf)};_.zu=function(a){if(!!this.i&&!!this.j&&!!this.k&&!!this.n){I_e(this.i,a);I_e(this.j,a);I_e(this.k,a);I_e(this.n,a);return}throw Mpb(new Cxf)};_.Au=function(){var a,b,c,d,e;if(this.p!=null){return this.p}if(!!this.i&&!!this.j&&!!this.k&&!!this.n){a=O_e(this.i);b=O_e(this.j);c=O_e(this.k);d=O_e(this.n);this.p=me(S1,ELh,19,1,0,1);e=ke(S1,[M4g,ELh],[57,19],0,[4,4],2);e[0][0]=Pyf(a[0],a[2]);e[0][1]=Pyf(a[1],a[2]);e[0][2]=Jyf(Pyf(a[0],a[0]),Pyf(a[1],a[1]));e[0][3]=Pyf(a[2],a[2]);e[1][0]=Pyf(b[0],b[2]);e[1][1]=Pyf(b[1],b[2]);e[1][2]=Jyf(Pyf(b[0],b[0]),Pyf(b[1],b[1]));e[1][3]=Pyf(b[2],b[2]);e[2][0]=Pyf(c[0],c[2]);e[2][1]=Pyf(c[1],c[2]);e[2][2]=Jyf(Pyf(c[0],c[0]),Pyf(c[1],c[1]));e[2][3]=Pyf(c[2],c[2]);e[3][0]=Pyf(d[0],d[2]);e[3][1]=Pyf(d[1],d[2]);e[3][2]=Jyf(Pyf(d[0],d[0]),Pyf(d[1],d[1]));e[3][3]=Pyf(d[2],d[2]);this.p[0]=Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Jyf(Pyf(e[0][3],Pyf(e[1][2],Pyf(e[2][1],e[3][0]))),Qyf(Pyf(Pyf(Pyf(e[0][2],e[1][3]),e[2][1]),e[3][0]))),Qyf(Pyf(Pyf(Pyf(e[0][3],e[1][1]),e[2][2]),e[3][0]))),Pyf(Pyf(Pyf(e[0][1],e[1][3]),e[2][2]),e[3][0])),Pyf(Pyf(Pyf(e[0][2],e[1][1]),e[2][3]),e[3][0])),Qyf(Pyf(Pyf(Pyf(e[0][1],e[1][2]),e[2][3]),e[3][0]))),Qyf(Pyf(Pyf(Pyf(e[0][3],e[1][2]),e[2][0]),e[3][1]))),Pyf(Pyf(Pyf(e[0][2],e[1][3]),e[2][0]),e[3][1])),Pyf(Pyf(Pyf(e[0][3],e[1][0]),e[2][2]),e[3][1])),Qyf(Pyf(Pyf(Pyf(e[0][0],e[1][3]),e[2][2]),e[3][1]))),Qyf(Pyf(Pyf(Pyf(e[0][2],e[1][0]),e[2][3]),e[3][1]))),Pyf(Pyf(Pyf(e[0][0],e[1][2]),e[2][3]),e[3][1])),Pyf(Pyf(Pyf(e[0][3],e[1][1]),e[2][0]),e[3][2])),Qyf(Pyf(Pyf(Pyf(e[0][1],e[1][3]),e[2][0]),e[3][2]))),Qyf(Pyf(Pyf(Pyf(e[0][3],e[1][0]),e[2][1]),e[3][2]))),Pyf(Pyf(Pyf(e[0][0],e[1][3]),e[2][1]),e[3][2])),Pyf(Pyf(Pyf(e[0][1],e[1][0]),e[2][3]),e[3][2])),Qyf(Pyf(Pyf(Pyf(e[0][0],e[1][1]),e[2][3]),e[3][2]))),Qyf(Pyf(Pyf(Pyf(e[0][2],e[1][1]),e[2][0]),e[3][3]))),Pyf(Pyf(Pyf(e[0][1],e[1][2]),e[2][0]),e[3][3])),Pyf(Pyf(Pyf(e[0][2],e[1][0]),e[2][1]),e[3][3])),Qyf(Pyf(Pyf(Pyf(e[0][0],e[1][2]),e[2][1]),e[3][3]))),Qyf(Pyf(Pyf(Pyf(e[0][1],e[1][0]),e[2][2]),e[3][3]))),Pyf(Pyf(Pyf(e[0][0],e[1][1]),e[2][2]),e[3][3]));return this.p}throw Mpb(new Cxf)};_.Bu=EYh;_.oj=function(){swf(this)};var q1=A2b(1542);sqb(726,16,{15:1,24:1,16:1,21:1,131:1,530:1,25:1,726:1},xwf,ywf);_.Ti=function(){return vIe(),oye};_.Gf=QYh;_.Pi=function(){uwf(this)};_.Vv=function(){return vwf(this)};_.xu=function(a){var b,c,d;if(ff(this.i,74)||ff(this.j,74)){throw Mpb(new Cxf)}if(!!this.i&&!!this.j){if(ff(this.i,33)&&ff(this.j,33)||ff(this.i,55)&&ff(this.j,55)||ff(this.i,119)&&ff(this.j,119)){c=this.i.xu(a);d=this.j.xu(a);b=me(uf,l5g,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 Mpb(new Cxf)};_.yu=function(a){var b,c,d;if(ff(this.i,74)||ff(this.j,74)){throw Mpb(new Cxf)}if(!!this.i&&!!this.j){if(ff(this.i,33)&&ff(this.j,33)||ff(this.i,55)&&ff(this.j,55)||ff(this.i,119)&&ff(this.j,119)){c=this.i.yu(a);d=this.j.yu(a);b=me(ou,vlh,86,1,0,1);b[0]=i7b(i6b(n7b(w6b(c[0],d[2]),w6b(d[0],c[2]))),i6b(n7b(w6b(c[1],d[2]),w6b(d[1],c[2]))));return b}}throw Mpb(new Cxf)};_.zu=function(a){if(ff(this.i,74)||ff(this.j,74)){throw Mpb(new Cxf)}if(!!this.i&&!!this.j){if(ff(this.i,33)&&ff(this.j,33)||ff(this.i,55)&&ff(this.j,55)||ff(this.i,119)&&ff(this.j,119)){this.i.zu(a);this.j.zu(a);return}}throw Mpb(new Cxf)};_.Au=function(){var a,b;clg(this.n);if(this.n!=null){return this.n}if(ff(this.i,74)||ff(this.j,74)){throw Mpb(new Cxf)}if(!!this.i&&!!this.j){if(ff(this.i,33)&&ff(this.j,33)||ff(this.i,55)&&ff(this.j,55)||ff(this.i,119)&&ff(this.j,119)){a=this.i.Au();b=this.j.Au();this.n=me(S1,ELh,19,2,0,1);this.n[0]=Jyf(Pyf(a[0],b[2]),Qyf(Pyf(b[0],a[2])));this.n[1]=Jyf(Pyf(a[1],b[2]),Qyf(Pyf(b[1],a[2])));return this.n}}throw Mpb(new Cxf)};_.Bu=EYh;_.oj=function(){wwf(this)};var r1=A2b(726);sqb(1198,16,oMh,Fwf,Gwf);_.Ti=function(){return vIe(),pye};_.Pi=function(){Cwf(this)};_.Vv=function(){return Dwf(this)};_.oj=function(){wwf(this)};var zwf;var t1=A2b(1198);sqb(4000,1,Loh,Hwf);_.pk=function(a){var b,c;if(ff(a,31)){b=a.s;if(b==tih||b-Oph8}return false};var s1=A2b(4000);sqb(978,16,nMh,Kwf,Lwf);_.Ti=function(){return vIe(),qye};_.Gf=QYh;_.Pi=function(){hOe(this.k,uNe(this.i,this.j))};_.Vv=function(){return Iwf(this)};_.xu=function(a){var b,c,d;if(!!this.i&&!!this.j){c=ZMe(this.i,a);d=ZMe(this.j,a);b=me(uf,l5g,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[1],c[1]+d[0]);return b}throw Mpb(new Cxf)};_.yu=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.ab[0].yu(a);d=this.ab[1].yu(a);b=me(ou,vlh,86,1,0,1);b[0]=n7b(w6b(c[0],d[1]),w6b(c[1],d[0]));return b}throw Mpb(new Cxf)};_.zu=RYh;_.Au=function(){var a,b;clg(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.ab[0].Au();b=this.ab[1].Au();this.n=me(S1,ELh,19,1,0,1);this.n[0]=Jyf(Pyf(a[0],b[1]),Qyf(Pyf(a[1],b[0])));return this.n}throw Mpb(new Cxf)};_.Bu=EYh;_.oj=function(){wwf(this)};var u1=A2b(978);sqb(979,16,nMh,Owf,Pwf);_.Ti=function(){return vIe(),rye};_.Gf=QYh;_.Pi=function(){hOe(this.k,vNe(this.i,this.j))};_.Vv=function(){return Mwf(this)};_.xu=function(a){var b,c,d;if(!!this.i&&!!this.j){c=ZMe(this.i,a);d=ZMe(this.j,a);b=me(uf,l5g,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[0],c[1]+d[1]);return b}throw Mpb(new Cxf)};_.yu=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.ab[0].yu(a);d=this.ab[1].yu(a);b=me(ou,vlh,86,1,0,1);b[0]=i7b(w6b(c[0],d[0]),w6b(c[1],d[1]));return b}throw Mpb(new Cxf)};_.zu=RYh;_.Au=function(){var a,b;clg(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.ab[0].Au();b=this.ab[1].Au();this.n=me(S1,ELh,19,1,0,1);this.n[0]=Jyf(Pyf(a[0],b[0]),Pyf(a[1],b[1]));return this.n}throw Mpb(new Cxf)};_.Bu=EYh;_.oj=function(){wwf(this)};var v1=A2b(979);sqb(1166,16,{15:1,24:1,16:1,21:1,25:1,128:1,1166:1},Vwf);_.Ti=function(){return vIe(),rAe};_.Pi=function(){var a;if(!Mwc(this.Tc.Gt()).Ze()){this.i=null;this.n=0;return}a=this.i;Uwf(this);if(a==null||!$3b(a,this.i)){hlg(a+ZEh+this.i);Qwf(this)}};_.GA=function(a,b){return Twf(this,a,b)};_.oj=function(){Uwf(this)};_.n=0;var w1=A2b(1166);sqb(4118,16,oMh,$wf);_.Ti=function(){return null};_.Pi=function(){this.n.n=false};_.Vv=function(){return Xwf(this)};_.oj=function(){Zwf(this)};var x1=A2b(4118);sqb(1541,16,oMh,bxf);_.Ti=function(){return vIe(),oCe};_.Pi=function(){_wf(this)};_.Vv=function(){var a,b,c,d,e,f;if(this.g!=null){return this.g}d=this.i;a=this.j;e=YMe(d);b=lSe(a);if(a.nb==4){c=me(U1,ALh,37,2,0,1);c[0]=new Azf(this.Tc);c[1]=new Azf(this.Tc);this.g=ke(S1,[M4g,ELh],[57,19],0,[1,3],2);this.g[0][0]=bzf(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=kzf(c[0],c[1],e[0],e[1],c[0],c[1],b[0],b[1]);this.g[0][2]=ezf(c[0],c[1],b[0],b[1],b[2],b[3]);return this.g}if(a.nb==9){c=me(U1,ALh,37,2,0,1);c[0]=new Azf(this.Tc);c[1]=new Azf(this.Tc);f=me(U1,ALh,37,2,0,1);f[0]=new Azf(this.Tc);f[1]=new Azf(this.Tc);this.g=ke(S1,[M4g,ELh],[57,19],0,[1,5],2);this.g[0][0]=bzf(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=kzf(c[0],c[1],e[0],e[1],c[0],c[1],b[8],b[9]);this.g[0][2]=Jyf(Jyf(Pyf(new $yf(c[0]),new Wyf(2)),Qyf(new $yf(f[0]))),Qyf(new $yf(b[8])));this.g[0][3]=Jyf(Jyf(Pyf(new $yf(c[1]),new Wyf(2)),Qyf(new $yf(f[1]))),Qyf(new $yf(b[9])));this.g[0][4]=bzf(f[0],f[1],b[4],b[5],b[6],b[7]);return this.g}throw Mpb(new Cxf)};_.oj=function(){wwf(this)};var y1=A2b(1541);sqb(759,16,{15:1,24:1,16:1,21:1,25:1,128:1,759:1},ixf,jxf);_.Ti=function(){return vIe(),MCe};_.Pi=function(){var a;if(!Mwc(this.Tc.Gt()).Ze()){!!_kg&&alg(_kg,(slg(),llg),'CAS is not yet loaded => fingerprint set to null');this.i=null;this.p=0;return}a=this.i;hxf(this);if(a==null||!$3b(a,this.i)){clg(a+ZEh+this.i);dxf(this,!!this.k)}};_.GA=function(a,b){return gxf(this,a,b)};_.oj=function(){hxf(this)};_.p=0;var z1=A2b(759);sqb(1156,16,{15:1,24:1,16:1,21:1,25:1,128:1,1156:1},oxf);_.Ti=function(){return vIe(),pEe};_.Pi=function(){lxf(this)};_.oj=function(){nxf(this)};var B1=A2b(1156);sqb(4042,16,FAh,sxf);_.Ti=function(){return vIe(),qEe};_.Pi=function(){pxf(this)};_.oj=function(){rxf(this)};_.j=false;var A1=A2b(4042);sqb(645,1,{},wxf);_.Df=SYh;_.Ff=function(){return uxf(this)};_.Ef=function(){return !this.g};_.Gf=function(){};_.g=false;_.j=0;_.n=0;var C1=A2b(645);var xxf,yxf;sqb(1599,1,{},Bxf);var D1=A2b(1599);sqb(51,38,{3:1,38:1,48:1,51:1},Cxf);var E1=A2b(51);sqb(526,1,{},Hxf);var F1=A2b(526);var Ixf;sqb(1215,1,{},Yxf);_.j=false;_.s=false;_.t=-1;_.A=null;var G1=A2b(1215);sqb(1592,1,{},ayf);var I1=A2b(1592);sqb(997,FLh,{},cyf);var H1=A2b(997);sqb(1596,FLh,{},eyf);var J1=A2b(1596);sqb(998,FLh,{},pyf);_.j=false;_.k=0;_.n=false;_.o=false;var L1=A2b(998);sqb(838,FLh,{},yyf);_.i=0;var M1=A2b(838);sqb(1594,1,{},Byf);var N1=A2b(1594);sqb(1597,FLh,{},Dyf);var O1=A2b(1597);sqb(1595,FLh,{},Fyf);var P1=A2b(1595);sqb(1593,FLh,{},Iyf);var Q1=A2b(1593);sqb(19,1,{15:1,19:1},Vyf,Wyf,Xyf,Yyf,Zyf,$yf);_.rd=function(a){return Kyf(this,a)};_.Zc=function(a){return Lyf(this,a)};_.$c=function(){return gac(new hec(this.g))};_._c=function(){return Tyf(this)};var S1=A2b(19);sqb(401,1,{15:1,401:1},tzf,uzf,vzf,wzf);_.rd=function(a){return ozf(this,a)};_.Zc=function(a){return pzf(this,a)};_.$c=function(){if(this.g.j==0){return 0}return p8b(Kdc(this.g)).g>>p8b(Ldc(this.g)).g};_._c=function(){var a,b,c,d,e;e=new b5b('');c=(new hec(this.g)).i.cg();while(c.Ef()){a=c.Ff();b=a.mf();e.g+='*';e.g+=''+b;d=a.nf().g;if(d>1){e.g+='^';e.g+=d}}if(e.g.length>0){return q4b(e.g,1)}return ''};var T1=A2b(401);sqb(37,1,{15:1,37:1},Azf,Bzf);_.rd=function(a){return xzf(this,a)};_.Zc=function(a){return yzf(this,a)};_.$c=TYh;_._c=function(){return W3b('v',''+this.g)};_.g=0;var U1=A2b(37);sqb(644,38,{3:1,38:1,48:1,644:1},Dzf,Ezf);var Czf=j6g;var V1=A2b(644);var Tzf;sqb(4111,1,{},Rzf);_.j=0;_.n=-1;_.q=0;var Hzf;var X1=A2b(4111);sqb(4116,1,{},kAf);_.g=0;_.j=0;_.k=0;_.n=0;_.o=0;var Vzf,Wzf,Xzf,Yzf;var W1=A2b(4116);sqb(1600,1,{},wAf);_.g=0;_.n=-1;_.o=0;_.p=0;_.q=0;_.s=1;_.t=0;_.u=false;_.v=false;_.A=1;_.B=0;var Y1=A2b(1600);sqb(4113,1,{},yAf);_.g=0;_.i=0;var Z1=A2b(4113);sqb(1601,1,W6g,zAf,AAf);_._c=function(){return this.j};_.g=0;_.i=0;_.k=0;var _1=A2b(1601);sqb(1602,43,R4g,CAf);_.gd=function(){return this.p};var $1=A2b(1602);sqb(459,1,{},xTf);_.g=null;_.i='Auto';_.j='Wu';_.k=true;_.n=4;_.o=4;var wTf;var S8=A2b(459);sqb(4089,1,{});_.p=false;var Ldb=A2b(4089);sqb(446,1,{446:1},igg);_.Zc=function(a){if(a==null){return false}if(a===this){return true}if(Wb(a)!=Idb){return false}return fgg(this)==Xb(a)};_.$c=function(){return fgg(this)};_.j=1;var Idb=A2b(446);sqb(881,1,{},kgg);_.jf=function(a,b){return V3b(a.cc,b.cc)};_.Zc=UYh;_.kf=VYh;var Hdb=A2b(881);sqb(547,28,{3:1,15:1,28:1,547:1},sgg);var lgg,mgg,ngg,ogg,pgg,qgg;var Jdb=B2b(547,tgg);sqb(482,28,{3:1,15:1,28:1,482:1},Dgg);var ugg,vgg,wgg,xgg,ygg,zgg,Agg,Bgg;var Kdb=B2b(482,Egg);var Kgg='',Lgg='',Mgg,Ngg=0,Ogg,Pgg,Qgg,Rgg;sqb(4115,4241,{},fKg);var Wib=A2b(4115);sqb(3286,1,pFh);_.ld=function(){!!_kg&&alg(_kg,(slg(),llg),'Loaded: prover');lxe=new Jxe;sxe(this.g);QMg(UKg(this.g.g))};sqb(991,4089,{},PUg);var mlb=A2b(991);A4g(Tc)(8);\n//# sourceURL=webSimple-8.js\n")