$wnd.webSimple.runAsyncCallback9("function $je(){}\nfunction gke(){}\nfunction eLe(){}\nfunction E5e(){}\nfunction F5e(){}\nfunction G5e(){}\nfunction H5e(){}\nfunction I5e(){}\nfunction J5e(){}\nfunction K5e(){}\nfunction L5e(){}\nfunction dAf(){}\nfunction xAf(){}\nfunction xBf(){}\nfunction SBf(){}\nfunction UBf(){}\nfunction WBf(){}\nfunction rCf(){}\nfunction tCf(){}\nfunction vCf(){}\nfunction yCf(){}\nfunction pEf(){}\nfunction tXf(){}\nfunction alg(){}\nfunction clg(){}\nfunction pPg(){}\nfunction Xkg(a,b){a.q=b}\nfunction tBf(a,b){a.g=b}\nfunction uBf(a,b){a.i=b}\nfunction vBf(a,b){a.j=b}\nfunction wBf(a,b){a.k=b}\nfunction PCf(a){this.g=a}\nfunction kDf(a){this.g=a}\nfunction p9b(a){this.g=a}\nfunction G5d(a){this.g=a}\nfunction f3h(a){Pcc(this,a)}\nfunction d3h(){fxc(this)}\nfunction tDf(){fc.call(this)}\nfunction g3h(){return this.g}\nfunction S2h(a){return this.o}\nfunction U2h(a){return this.j}\nfunction V2h(a){return this.i}\nfunction $2h(a){return this.k}\nfunction _2h(a){return this.n}\nfunction a3h(a){return a.o}\nfunction c3h(a){return a._k()}\nfunction R2h(a){return null}\nfunction h3h(a){return this===a}\nfunction hEf(a){return a.i[a.B]}\nfunction iEf(a){return a.k[a.B]}\nfunction kEf(a){return a.k[a.n]}\nfunction jEf(a){return a.i[a.n]}\nfunction cDf(a){return FCf(a,a)}\nfunction rEf(a){jc.call(this,a)}\nfunction dFd(a){ZEd.call(this,a)}\nfunction eFd(a){ZEd.call(this,a)}\nfunction fFd(a){ZEd.call(this,a)}\nfunction gFd(a){ZEd.call(this,a)}\nfunction hFd(a){ZEd.call(this,a)}\nfunction iFd(a){ZEd.call(this,a)}\nfunction jFd(a){ZEd.call(this,a)}\nfunction QFd(a){ZEd.call(this,a)}\nfunction qGd(a){ZEd.call(this,a)}\nfunction wGd(a){ZEd.call(this,a)}\nfunction IGd(a){ZEd.call(this,a)}\nfunction KGd(a){ZEd.call(this,a)}\nfunction klg(a,b){Hvb.call(this,a,b)}\nfunction vlg(a,b){Hvb.call(this,a,b)}\nfunction qEf(a,b){this.k=a;this.j=b}\nfunction LCf(){this.g=new rfc}\nfunction jDf(){this.g=new rfc}\nfunction UAf(a){a.k=null;a.p=0}\nfunction qCf(a,b){return sEb(a.i,b)}\nfunction pDf(a,b){vEb(a.j,d4b(a.g),b)}\nfunction j9b(a){h9b.call(this,a.k,a.n)}\nfunction NCf(a){OCf.call(this,a,new jDf)}\nfunction oEf(a){this.j=a;this.i=a.length}\nfunction Nac(a){Jac(a,0,a.length,null)}\nfunction T2h(){return new G5d(this)}\nfunction i3h(){return new Rbc(this)}\nfunction n9b(a){return !a?null:new j9b(a)}\nfunction BQe(a){return cf(a,359)||!a.rb}\nfunction L4b(a,b){return Jic(a),a+(Jic(b),b)}\nfunction Nlg(a,b){Dlg+=a+',';Clg+=b+','}\nfunction $Df(a,b,c){a.j=c;a.k=b;return b+1}\nfunction JSd(a){if(a.r){return 1}return 0}\nfunction zKd(a){!a.i&&(a.i=new fCf);return a.i}\nfunction fCf(){this.g=new nZb;this.i=new gac}\nfunction oCf(){this.g=new nZb;this.j=new gac}\nfunction qDf(a){this.j=new BEb;this.g=a.r.Bb++}\nfunction rDf(a){qDf.call(this,a.Sc);this.i=a}\nfunction uDf(a,b,c){gc.call(this,wDf(a,b,c))}\nfunction lDf(a){this.g=new rfc;ifc(this.g,a,d4b(1))}\nfunction Wpg(a){!!Rpg&&Spg(Rpg,(iqg(),eqg),a)}\nfunction Zpg(a){!!Rpg&&Spg(Rpg,(iqg(),gqg),a)}\nfunction qAf(){qAf=crb;pAf=new B$g('',8)}\nfunction Zje(){Zje=crb;Yje=new $je}\nfunction eke(){eke=crb;dke=new gke}\nfunction jBf(a){return a==null?null:new S5b(a)}\nfunction b3h(a){return J4e(),je(Qt,TRh,590,a,7,1)}\nfunction tRd(a){if(a.G){return a.G.q.length}return 0}\nfunction xRd(a){if(a.G){return V9b(a.G,0)}return null}\nfunction bEf(a){var b;a.B=-1;b=lEf(a);a.B=a.n;return b}\nfunction QDf(a){var b;a.o=ych;for(b=12;b-->0;)a.p[b]=Cah}\nfunction fke(a,b){var c;c=b.bc;c!=null&&Pfc(a.g,c)}\nfunction gEf(a,b){a.q+=b;(a.n-=b)<0&&(a.n+=a.o)}\nfunction SDf(a,b){do{a.q[a.n++]=LDf[b]}while(b++!=1)}\nfunction mDf(a,b){this.g=new rfc;ifc(this.g,a,d4b(b))}\nfunction rBf(a,b,c){this.i=new BEb;this.j=a;this.k=b;this.g=c}\nfunction nAf(a,b,c,d){oAf.call(this,a,c,d);nMc(this.k,b)}\nfunction AAf(a,b,c,d){BAf.call(this,a,c,d);nMc(this.k,b)}\nfunction EAf(a,b,c,d){FAf.call(this,a,c,d);nMc(this.k,b)}\nfunction vAf(a,b,c,d){qAf();wAf.call(this,a,c,d);nMc(this.k,b)}\nfunction tfc(a){sfc.call(this,(Jic(a),Nbc(a.g)));lEb(this,a)}\nfunction MCf(a){OCf.call(this,new D7b(''+Uqb(a)),new jDf)}\nfunction OCf(a,b){LCf.call(this);a!=(c7b(),b7b)&&ifc(this.g,b,a)}\nfunction QCf(a){LCf.call(this);ifc(this.g,new lDf(a),(c7b(),Z6b))}\nfunction ufc(a){vfc.call(this,a,(Jfc(),Ffc),null,false,null,false)}\nfunction dfc(a,b,c){return new Efc(a,(Jfc(),Gfc),null,false,b,c)}\nfunction ENe(a){if(cf(a.rb,112)){return a.rb.Hu(a)}return null}\nfunction zVe(a){if(cf(a.rb,112)){return a.rb.Iu(a)}return null}\nfunction qQe(a,b){if(cf(a.rb,135)){return a.rb.Lu(b)}return null}\nfunction vQe(a){if(cf(a.rb,135)){return a.rb.Nu()}throw vqb(new sBf)}\nfunction lQe(a,b){if(cf(a.rb,135)){return a.rb.Ku(b)}throw vqb(new sBf)}\nfunction yVe(a){if(cf(a.rb,112)){return a.rb.Hu(a)}throw vqb(new sBf)}\nfunction rQe(a,b){if(cf(a.rb,135)){a.rb.Mu(b);return}throw vqb(new sBf)}\nfunction oDf(a,b){if(cf(b,37)){return a.g==b.g}return kf(a)===kf(b)}\nfunction BCf(a,b){if(cf(b,20)){return ACf(a,b)==0}return kf(a)===kf(b)}\nfunction fDf(a,b){if(cf(b,414)){return eDf(a,b)==0}return kf(a)===kf(b)}\nfunction CCf(a){if(a.g.j>1){return null}return n9b(_ec(a.g)).n}\nfunction RCf(a){if(a==null||a.length==0)return '';return ','+a}\nfunction Vkg(a,b){if(!a.o||b!=(jlg(),ilg)){return b}return a.o}\nfunction TDf(a,b){if(a.p[b]!=a.o){a.q[a.n++]=b;a.p[b]=a.o}}\nfunction sBf(){gc.call(this,'No symbolic parameters available')}\nfunction Rlg(a){var b;b=a.bc;if(b!=null){return '$'+b+'$'}return null}\nfunction nDf(a,b){var c;c=b.g;if(a.gc){return -1}return 0}\nfunction GDf(a,b){var c,d;d=ADf(a,6);if(c=tEb(b,d.j))return c;throw vqb(new tDf)}\nfunction uGd(a,b,c,d){var e,f;e=new $Af(a.n,c,d);f=e.j;nMc(f,b);return f}\nfunction W2h(a){if(this.j!=null){return this.j}this.j=H5d(this.ab);return this.j}\nfunction Z2h(a){if(!!this.g&&!!this.i){j3e(this.g,a);j3e(this.i,a);return}throw vqb(new sBf)}\nfunction e3h(a){if(!!this.i&&!!this.j){rQe(this.i,a);rQe(this.j,a);return}throw vqb(new sBf)}\nfunction oAf(a,b,c){xxc.call(this,a);this.i=b;this.j=c;this.k=new ARe(a);mAf(this);kAf(this)}\nfunction PAf(a){a.ab=je(BY,Wsh,14,2,0,1);a.ab[0]=a.k;a.ab[1]=a.j;mxc(a,a.n);ixc(a)}\nfunction mAf(a){a.ab=je(BY,Wsh,14,2,0,1);a.ab[0]=a.i;a.ab[1]=a.j;mxc(a,a.k);ixc(a)}\nfunction gAf(a){a.ab=je(BY,Wsh,14,3,0,1);a.ab[0]=a.i;a.ab[1]=a.j;a.ab[2]=a.k;mxc(a,a.n);ixc(a)}\nfunction dBf(a){a.ab=je(BY,Wsh,14,1,0,1);a.ab[0]=a.j;mxc(a,a.g);ixc(a);a.i=Ykg(a.j)}\nfunction hBf(a){a.ab=je(BY,Wsh,14,1,0,1);a.ab[0]=a.k;mxc(a,a.i);ixc(a);a.g=Ykg(a.k)}\nfunction aEf(a){PDf();this.p=je(rf,cbh,5,12,15,1);this.q=je(rf,cbh,5,24,15,1);new Q5b;this.i=a}\nfunction yDf(){yDf=crb;xDf=me(fe(rf,1),cbh,5,15,[256,512,rfh,6144,6144,Kch,vBh,vBh,96,dch])}\nfunction llg(){jlg();return me(fe(keb,1),kdh,551,0,[flg,glg,hlg,dlg,ilg,elg])}\nfunction wlg(){ulg();return me(fe(leb,1),kdh,484,0,[tlg,nlg,rlg,qlg,slg,mlg,plg,olg])}\nfunction ECf(a){if(a.g.j>1){return false}if(fDf(o9b(_ec(a.g)),new jDf)){return true}return false}\nfunction wCf(a,b){if(a.r!=null){return}a.r=je(C2,VRh,37,2,0,1);a.r[0]=new qDf(b);a.r[1]=new qDf(b)}\nfunction wAf(a,b,c){qAf();xxc.call(this,a);this.i=b;this.j=c;this.k=new ARe(a);mAf(this);sAf(this)}\nfunction QAf(a,b,c){xxc.call(this,a);this.k=b;this.j=c;this.n=new ARe(a);PAf(this);this.n.n=false}\nfunction LAf(a,b,c){xxc.call(this,a);this.n=0;this.k=c;this.o=b;this.j=new whf(a);KAf(this);GAf(this)}\nfunction eBf(a,b,c){xxc.call(this,a);this.j=c;this.g=new ARe(a);dBf(this);cBf(this);bBf(this);nMc(this.g,b)}\nfunction TAf(a,b,c,d){xxc.call(this,a);this.i=c;this.j=d;this.k=new ARe(a);mAf(this);RAf(this);nMc(this.k,b)}\nfunction PFd(a,b,c,d){var e,f;if(!d.N||!hLc(d,c)){return null}e=new LAf(a.n,c,d);f=e.j;nMc(f,b);return f}\nfunction GBf(a,b,c){var d,e,f,g;vEb(a.p,b,c);for(e=c,f=0,g=e.length;f=a.B?r5b(a.j,a.B,a.n-a.B+1):r5b(a.j,a.B,a.o-a.B)+r5b(a.j,0,a.n+1)}\nfunction kAf(a){var b;b=a.i.Tm(a.j);if((Ghg(),Fhg)==b){vRe(a.k)}else{a.k.j=true;wRe(a.k,b==Ehg)}}\nfunction sAf(a){var b;if(cf(a.i,214)){b=a.i;wRe(a.k,rAf(b.k,a.j))}else{wRe(a.k,a.i.$m(a.j)==(Ghg(),Ehg))}}\nfunction iAf(a){a.ab=je(BY,Wsh,14,4,0,1);a.ab[0]=a.i;a.ab[1]=a.j;a.ab[2]=a.k;a.ab[3]=a.n;mxc(a,a.o);ixc(a)}\nfunction eAf(a){a.ab=je(BY,Wsh,14,3,0,1);a.ab[0]=a.i.Dp();a.ab[1]=a.j.Dp();a.ab[2]=a.k.Dp();mxc(a,a.n);ixc(a)}\nfunction vfc(a,b,c,d,e,f){var g;this.j=a;g=new gac;efc(a,g,b,a.i,c,d,e,f);this.g=new _8b(g,g.q.length)}\nfunction dDf(a,b,c,d){return zCf(cDf(zCf(new QCf(a),GCf(new QCf(c)))),cDf(zCf(new QCf(b),GCf(new QCf(d)))))}\nfunction rvd(a,b,c,d){return dWf(d,'TriangleABCnonDegenerate',null,me(fe(ju,1),Qah,2,6,[Tud(a)+Tud(b)+Tud(c)]))}\nfunction vGd(a,b,c,d){var e,f;if(!d.N||!!c.N||!hLc(d,c)){return null}e=new _Af(a.n,c,d);f=e.j;nMc(f,b);return f}\nfunction lEf(a){var b;if(a.q>0){--a.q;++a.n==a.o&&(a.n=0);return a.j[a.n]}++a.n>=a.t&&dEf(a);b=a.j[a.n];fEf(a,b);return b}\nfunction MAf(a){var b,c,d;c=new Q5b;d=a.length;for(b=0;bd?d:f;f>g&&(f=g);R4b(a.j,a.g,a.g+f,b,c);a.g+=f;return f}\nfunction fBf(a){var b;if(!gyc(a.Sc.St()).$e()){a.g=null;return}b=a.g;hBf(a);if(b==null||!P4b(b,a.g)){Zpg(b+kLh+a.g);gBf(a)}}\nfunction Y2h(a){var b,c;if(!!this.g&&!!this.i){b=i3e(this.g,a);c=i3e(this.i,a);if(b!=null&&c!=null){return L5d(b,c)}}throw vqb(new sBf)}\nfunction rAf(a,b){var c,d;if(!a.Vm()||!a.Al()){return false}c=a._k();d=b._k();if(!Ahg(c,d)){return false}return _8d(a.Al())&&!Y8d(a.Al(),new xAf)}\nfunction ADf(a,b){var c;(c=a.r).n?(a.r=a.r.n):(a.r=a.r.n=RDf(a.s));a.q=-1;if(a.r.k==b){++a.j;return a.r}a.r=c;a.n=b;throw vqb(zDf(a))}\nfunction H5d(a){var b,c,d;b=je(C2,VRh,37,4,0,1);c=a[0].Iu(a[0]);d=a[1].Iu(a[1]);b[0]=c[0];b[1]=c[1];b[2]=d[0];b[3]=d[1];return b}\nfunction QBf(a,b){if(a.g!=null){return}a.g=je(C2,VRh,37,4,0,1);a.g[0]=new qDf(b);a.g[1]=new qDf(b);a.g[2]=new qDf(b);a.g[3]=new qDf(b)}\nfunction Ukg(a){if(a.o){if(a.o==(jlg(),flg)||a.o==glg||a.o==hlg){return Ghg(),Ehg}if(a.o==dlg){return Ghg(),Dhg}}return Ghg(),Fhg}\nfunction a5e(a,b,c,d){var e;for(e=0;e0)return f5b(c.g,1);return ''}\nfunction gDf(a){var b,c,d,e,f;f=new nZb;e=(c=(new r9b(a.g)).g.ee().i.dg(),new s9b(c));while(e.g.rf()){d=(b=e.g.sf(),b.mf());vEb(f.g,d,f)}return f}\nfunction DCf(a){var b,c,d,e,f;f=new nZb;d=(c=(new r9b(a.g)).g.ee().i.dg(),new s9b(c));while(d.g.rf()){e=(b=d.g.sf(),b.mf());aZb(f,gDf(e))}return f}\nfunction YCf(a){var b,c,d,e,f,g;f=new nZb;for(e=(c=(new c9b(a.g)).g.ee().yd(),new d9b(c));e.g.rf();){d=(b=e.g.sf(),b.mf());g=DCf(d);aZb(f,g)}return f}\nfunction GCf(a){var b,c,d,e;d=new rfc;c=(new yfc(a.g)).i.dg();while(c.rf()){b=c.sf();e=b.mf();ifc(d,e,i8b((c7b(),b7b),b.nf()))}return new PCf(d)}\nfunction JGd(a,b,c,d){var e,f;if(cf(b,193)){e=new iBf(a.n,b,c);nMc(e.i,Jcd(d));f=me(fe(BY,1),Wsh,14,0,[e.i]);return f}throw vqb(CEd(a,d.q,b))}\nfunction gRe(a,b,c){bQe();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 swh5||e<0.2||c){Upg('myPrecision='+Uqb(a.n)+OSh+Uqb(d)+PSh+e);a.i=null;a.n=d;return true}return false}\nfunction K$g(){this.g=(ulg(),mlg);this.i=new nZb;this.j=new gac;R9b(this.j,tlg);R9b(this.j,nlg);R9b(this.j,rlg);this.k=new gac;R9b(this.k,nlg);R9b(this.k,rlg)}\nfunction HBf(a,b){var c;if(lZb(a.u,b)){!!Rpg&&Spg(Rpg,(iqg(),bqg),'Ignoring existing poly '+b);return}kZb(a.u,b);c=AEb(a.u.g);Upg('Adding poly #'+c+Eah+KCf(b))}\nfunction XDf(b){try{b.g=lEf(b.i)}catch(a){a=uqb(a);if(cf(a,165)){_Df(0,128);return 1}else throw vqb(a)}if(b.g==49){return YDf(b,128)}return VDf(b,_Df(0,128),1)}\nfunction vnd(a,b,c){var d,e;for(e=new mac(a.k);e.g','','\"[1]:\"','','',cch,'\"+\"','\"-\"','\"*\"','\"^\"'])}\nfunction YAf(a,b,c){var d,e;d=_rd(b);e=Sqb(a.p)/Sqb(d);if(e>5||e<0.2||c){Upg('resetFingerprint: myPrecision='+Uqb(a.p)+OSh+Uqb(d)+PSh+e);a.i=null;a.p=d;return true}return false}\nfunction M5d(a){var b,c,d,e;b=(c7b(),b7b);for(d=0;d1&&(f.g+='^{'+e+'}',f)}return f.g}\nfunction j3e(a,b){if(!a.rb){!a.Y&&(a.Y=new rDf(a));!a.Z&&(a.Z=new rDf(a));pDf(a.Y,a.Z);pDf(a.Z,a.Y);kZb(b,a.Y);kZb(b,a.Z);return}if(cf(a.rb,135)){a.rb.Mu(b);return}throw vqb(new sBf)}\nfunction Uyc(a){var b,c,d;c=new Q5b;b=new T8b((new Q8b(a)).g);while(b.i){d=S8b(b);c.g+=',';G5b(c,L4b('v',''+d.mf().g));c.g+='=';F5b(c,d.nf())}if(c.g.length>0){return f5b(c.g,1)}return ''}\nfunction jlg(){jlg=crb;flg=new klg('TRUE',0);glg=new klg('TRUE_NDG_UNREADABLE',1);hlg=new klg('TRUE_ON_COMPONENTS',2);dlg=new klg('FALSE',3);ilg=new klg(Beh,4);elg=new klg('PROCESSING',5)}\nfunction _Df(a,b){switch(a){case 0:if(Lqb(xqb(b,128),0))return 4;return -1;case 1:if(Lqb(xqb(b,128),0))return 6;return -1;case 2:if(Lqb(xqb(b,128),0))return 5;return -1;default:return -1;}}\nfunction RBf(a,b,c){var d,e;if(a.g==null){e=a3e(b,b);d=a3e(c,c);if(e==null||d==null){QBf(a,b.Sc);return null}a.g=je(C2,VRh,37,4,0,1);a.g[0]=d[0];a.g[1]=d[1];a.g[2]=e[0];a.g[3]=e[1]}return a.g}\nfunction Mlg(a,b){var c,d,e,f,g,h;vEb(Hlg,a,d4b(b));b>Flg&&(Flg=b);c=a.rb;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 f5b(i.g,1);return ''}\nfunction ulg(){ulg=crb;tlg=new vlg('RECIOS_PROVER',0);nlg=new vlg('BOTANAS_PROVER',1);rlg=new vlg('OPENGEOPROVER_WU',2);qlg=new vlg('OPENGEOPROVER_AREA',3);slg=new vlg('PURE_SYMBOLIC_PROVER',4);mlg=new vlg('AUTO',5);plg=new vlg('LOCUS_IMPLICIT',6);olg=new vlg('LOCUS_EXPLICIT',7)}\nfunction kCf(a,b){var c,d,e,f,g,h,i;for(g=a.r,h=0,i=g.length;h0&&L5b(e,e.g.length-1);e.g+='-'}else{e7b(d8b(b,Z6b),b7b)<0&&e.g.length>0&&L5b(e,e.g.length-1);e.g+=''+b}}G5b(e,iDf(f))}e.g+='+'}return u2b(e,0,e.g.length-1)}\nfunction TBf(a,b){var c,d,e,f;if(a.q!=null){return a.q}d=b[0].Iu(b[0]);if(a.r==null){a.r=je(C2,VRh,37,4,0,1);a.r[0]=new qDf(b[0].Ii());a.r[1]=new qDf(b[0].Ii());a.r[2]=d[0];a.r[3]=d[1]}c=me(fe(C2,1),VRh,37,0,[a.r[0],a.r[1]]);e=b[1].Iu(b[1]);f=b[2].Iu(b[2]);a.q=je(A2,ZRh,20,2,0,1);a.q[0]=WCf(d[0],d[1],c[0],c[1],e[0],e[1]);a.q[1]=WCf(d[0],d[1],c[0],c[1],f[0],f[1]);return a.q}\nfunction _Cf(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!Rpg&&Spg(Rpg,(iqg(),gqg),'Setting up equation for parallel lines ('+a+','+b+')-'+'('+c+','+d+eTh+'('+e+','+f+')-'+'('+g+','+h+')');i=new QCf(a);j=new QCf(b);k=new QCf(c);l=new QCf(d);m=new QCf(e);n=new QCf(f);o=new QCf(g);p=new QCf(h);q=zCf(FCf(zCf(i,GCf(k)),zCf(n,GCf(p))),GCf(FCf(zCf(j,GCf(l)),zCf(m,GCf(o)))));return q}\nfunction aDf(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!Rpg&&Spg(Rpg,(iqg(),gqg),'Setting up equation for perpendicular lines ('+a+','+b+')-'+'('+c+','+d+eTh+'('+e+','+f+')-'+'('+g+','+h+')');i=new QCf(a);j=new QCf(b);k=new QCf(c);l=new QCf(d);m=new QCf(e);n=new QCf(f);o=new QCf(g);p=new QCf(h);q=zCf(FCf(zCf(i,GCf(k)),zCf(m,GCf(o))),FCf(zCf(j,GCf(l)),zCf(n,GCf(p))));return q}\nfunction dEf(b){var c,d;if(b.t==b.g){if(b.g==b.o){if(b.B>Jch){b.n=b.t=0;b.g=b.B}else b.B<0?(b.n=b.t=0):cEf(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++){(xDf[d]&1<126){f=(d=b,Mah+d.toString(16));G5b(e,Lah+g5b(f,f.length-4,f.length))}else{e.g+=String.fromCharCode(b)}continue;}}return e.g}\nfunction _zf(b,c,d){var e,f,g,h,i,j,k,l,m,n,o;if(d){n=new BEb;for(f=new T8b((new Q8b(b)).g);f.i;){e=S8b(f);o=e.mf();vEb(n,o,e.nf())}h=(!sXf&&(sXf=new tXf),sXf);m=bDf(gZb(d.u,je(A2,ZRh,20,AEb(d.u.g),0,1)),n,d.r.Ii(),h.k,d.n);!!Rpg&&Spg(Rpg,(iqg(),bqg),'Recio meets Botana:'+n);if(m==(Ghg(),Ehg)){return jlg(),dlg}}else{try{g=c.g.Lu(b);for(j=g,k=0,l=j.length;k1?Tic(n.g[0],n.g[1]):Tic(n.g[0],0);Bqb(n.n>0?r:Kqb(r),0)?jfc(m,o):ifc(m,o,n)}else{f=l.g[0];(l.n>0?f:-f|0)!=0&&ifc(m,o,l)}}return new PCf(m)}\nfunction ZAf(a){var b,c,d,e,f,g;f=new Xfc;a.q=je(BY,Wsh,14,2,0,1);if(a.k){Pfc(f,a.o);g=(d=(new r9b(LJc(a.k).g)).g.ee().i.dg(),new s9b(d));a.q[0]=a.k}else{Pfc(f,a.o.N.Dp());g=(d=(new r9b(LJc(a.n).g)).g.ee().i.dg(),new s9b(d));a.q[0]=a.n}while(g.g.rf()){e=(c=g.g.sf(),c.mf());(!e.rb&&(!e.Jb||!iSe(e.Jb))||e.ho())&&f.g.put(e,(E2b(),C2b))==null}Vfc(f,a.o);a.g=je(BY,Wsh,14,f.g.size(),0,1);a.g=gZb(f,a.g);a.q[1]=a.o;mxc(a,a.j);kxc(a,a.q,a.g);b=a.o.Qc;do{$9b(b.k,a)}while(W9b(b.k,a,0)!=-1);R9b(b.k,a);a.i=MAf(a.g);a.p=_rd(a.Sc)}\nfunction cEf(b,c){var d,e,f,g;e=je(of,Kah,5,b.o+Jch,15,1);f=je(rf,cbh,5,b.o+Jch,15,1);d=je(rf,cbh,5,b.o+Jch,15,1);try{if(c){U5b(b.j,b.B,e,0,b.o-b.B);U5b(b.j,0,e,b.o-b.B,b.n);b.j=e;U5b(b.k,b.B,f,0,b.o-b.B);U5b(b.k,0,f,b.o-b.B,b.n);b.k=f;U5b(b.i,b.B,d,0,b.o-b.B);U5b(b.i,0,d,b.o-b.B,b.n);b.i=d;b.t=b.n+=b.o-b.B}else{U5b(b.j,b.B,e,0,b.o-b.B);b.j=e;U5b(b.k,b.B,f,0,b.o-b.B);b.k=f;U5b(b.i,b.B,d,0,b.o-b.B);b.i=d;b.t=b.n-=b.B}}catch(a){a=uqb(a);if(cf(a,51)){g=a;throw vqb(new jc(g.gd()))}else throw vqb(a)}b.o+=Jch;b.g=b.o;b.B=0}\nfunction Tkg(a){var b,c,d,e;if(!a.q){!!Rpg&&Spg(Rpg,(iqg(),dqg),'No statement to prove');a.o=(jlg(),ilg);return}c=a.q.rb;if(!c){P4b(a.q.Gp((Gwd(),dwd)),sth)?(a.o=(jlg(),flg)):P4b(a.q.Gp(dwd),$wh)?(a.o=(jlg(),dlg)):(a.o=(jlg(),ilg));return}Qlg(a.q);if(a.g!=(ulg(),mlg)){Skg(a,a.g);return}Upg(bTh+a.g);a.p?(d=new mac(a.k)):(d=new mac(a.j));a.o=(jlg(),ilg);while((a.o==ilg||a.o==glg)&&d.g0){q2b(f,j-1,j-1+1,'');G5b(G5b(o,dWf(k,'LetABeArbitraryPoints',null,me(fe(ju,1),Qah,2,6,[f.g]))),'.\\n')}o.g+=h;p=p5b(a.rb);G5b(G5b(o,dWf(k,'ProveThat',null,me(fe(ju,1),Qah,2,6,[p]))),'.');return o.g}\nfunction aAf(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 c9b(b.g)).g.ee().yd(),new d9b(l)).g.sf(),i.mf());for(k=1;k<=d+2;k++){vEb(c,u,(c7b(),yqb(k,0)>=0?F7b(k):s7b(F7b(Kqb(k)))));if(f){s=new BEb;for(h=new T8b((new Q8b(c)).g);h.i;){g=S8b(h);t=g.mf();vEb(s,t,g.nf())}m=(!sXf&&(sXf=new tXf),sXf);r=bDf(gZb(f.u,je(A2,ZRh,20,AEb(f.u.g),0,1)),s,f.r.Ii(),m.k,f.n);!!Rpg&&Spg(Rpg,(iqg(),bqg),HSh+k+' '+s);if(r==(Ghg(),Ehg)){return jlg(),dlg}}else{try{j=e.g.Lu(c);for(o=j,p=0,q=o.length;p>6],Nqb(1,b.j&63)),0)){h=UDf(b);return h}else{continue i}}g=kEf(b.i);f=jEf(b.i);e=null;c=false;try{lEf(b.i);gEf(b.i,1)}catch(a){a=uqb(a);if(cf(a,165)){c=true;e=d<=1?'':eEf(b.i);if(b.g==10||b.g==13){++g;f=0}else ++f}else throw vqb(a)}if(!c){gEf(b.i,1);e=d<=1?'':eEf(b.i)}throw vqb(new sEf(c,g,f,e,b.g))}}\nfunction $Bf(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.t){case 20:vBf(c,zCf(g,j));break;case 21:vBf(c,zCf(g,GCf(j)));break;case 24:vBf(c,FCf(g,j));break;case 28:i=k4b(q7b(CCf(c.k.j)));if(i){h=g;for(f=d4b(1);Gqb(f.g,i.g);d=f,f=d4b(f.g+1),d){h=FCf(h,g)}c.j=h}break;default:throw vqb(new sBf);}}b.t.an()&&!c.g.j&&$Bf(a,b.t,c.g);b.B.an()&&!c.k.j&&$Bf(a,b.B,c.k);if(cf(b.t,32)&&!c.g.j){e=B6b(new F6b(b.t._k()));vBf(c.g,new NCf(e))}if(cf(b.B,32)&&!c.k.j){e=B6b(new F6b(b.B._k()));vBf(c.k,new NCf(e))}if(cf(b.t,32)&&cf(b.B,108)){e=B6b(new F6b(b.t._k()));l=dCf(a,b.B.xj((Gwd(),cwd)));if(l){k=new lDf(l);vBf(c,new OCf(e,k));return}}}\nfunction hCf(a,b,c){var d,e,f,g,h,i,j,k,l;if(c.j){return}if(!!c.g&&!c.k&&c.i==(Idg(),Zcg)){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.t){case 20:vBf(c,zCf(g,j));break;case 21:vBf(c,zCf(g,GCf(j)));break;case 24:vBf(c,FCf(g,j));break;case 28:i=k4b(q7b(CCf(c.k.j)));if(i){h=g;for(f=d4b(1);Gqb(f.g,i.g);d=f,f=d4b(f.g+1),d){h=FCf(h,g)}c.j=h}break;default:throw vqb(new sBf);}}b.t.an()&&!c.g.j&&hCf(a,b.t,c.g);!!b.B&&b.B.an()&&!c.k.j&&hCf(a,b.B,c.k);if(cf(b.t,32)&&!c.g.j){e=B6b(new F6b(b.t._k()));vBf(c.g,new NCf(e))}if(cf(b.B,32)&&!c.k.j){e=B6b(new F6b(b.B._k()));vBf(c.k,new NCf(e))}if(cf(b.t,32)&&cf(b.B,108)){e=B6b(new F6b(b.t._k()));l=kCf(a,b.B.xj((Gwd(),cwd)));if(l){k=new lDf(l);vBf(c,new OCf(e,k));return}}}\nfunction VBf(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(cf(d,75)){throw vqb(new sBf)}n=null;cf(d,36)&&(n=d);if(!e||!f||!n){throw vqb(new sBf)}if(a.r==null){g=a3e(e,e);h=a3e(f,f);a.r=je(C2,VRh,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 qDf(e.Sc);a.r[5]=new qDf(e.Sc);a.r[6]=new qDf(e.Sc)}a.q=je(A2,ZRh,20,2,0,1);i=null;cf(n.rb,329)&&(i=ENe(n));o=FNe(n,n);l=0;q=cDf(new QCf(o[0]));if(i!=null){a.q=je(A2,ZRh,20,i.length+1,0,1);for(l=0;l3?(p.g='DegeneratePolygon'):(p.g=fCh);n=je(BY,Wsh,14,s,0,1);o=0;for(c=new mac(d);c.g=0?F7b((d+2-k)*(d+2-n)):s7b(F7b(Kqb((d+2-k)*(d+2-n))))));vEb(c,A[1],yqb(k*n,0)>=0?F7b(k*n):s7b(F7b(Kqb(k*n))));if(f){v=new BEb;for(i=new T8b((new Q8b(c)).g);i.i;){h=S8b(i);w=h.mf();vEb(v,w,h.nf())}u=bDf(gZb(f.u,je(A2,ZRh,20,AEb(f.u.g),0,1)),v,f.r.Ii(),(!sXf&&(sXf=new tXf),sXf).k,f.n);!!Rpg&&Spg(Rpg,(iqg(),bqg),HSh+g+' '+v);if(u==(Ghg(),Ehg)){return jlg(),dlg}}else{try{j=e.g.Lu(c);for(r=j,s=0,t=r.length;s5&&(f=5);{TDf(b,0)}break;case 6:case 4:Lqb(xqb(hJh,g),0)&&(TDf(b,4),TDf(b,6));break;case 2:if(Bqb(xqb(hJh,g),0))break;f>6&&(f=6);b.q[b.n++]=2;break;case 5:b.g==58&&(f=8);break;case 8:Lqb(xqb(hJh,g),0)&&SDf(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!=yah){b.j=f;b.k=d;f=yah}++d;if((e=b.n)==(h=12-(b.n=h)))return d;try{b.g=lEf(b.i)}catch(a){a=uqb(a);if(cf(a,165)){return d}else throw vqb(a)}}}\nfunction iCf(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.Sc;i=c.g.Al();nCf(b,i,p);if(b.r==null){b.r=je(C2,VRh,37,b.j.q.length+1,0,1);b.r[0]=new qDf(p);if(b.j.q.length==0){throw vqb(new sBf)}else{n=new mac(b.j);o=1;while(n.g=0;s--){w=r7b(w,i8b(r7b((c7b(),yqb(t,0)>=0?F7b(t):s7b(F7b(Kqb(t)))),I7b(p[s])),yqb(o,0)>=0?F7b(o):s7b(F7b(Kqb(o)))));g[o][s]=w}vEb(c,H[o],w)}++u;if(f){F=new BEb;for(j=new T8b((new Q8b(c)).g);j.i;){i=S8b(j);G=i.mf();vEb(F,G,i.nf())}D=bDf(gZb(f.u,je(A2,ZRh,20,AEb(f.u.g),0,1)),F,f.r.Ii(),(!sXf&&(sXf=new tXf),sXf).k,f.n);!!Rpg&&Spg(Rpg,(iqg(),bqg),'Recio meets Botana #'+u+Eah+F);if(D==(Ghg(),Ehg)){return jlg(),dlg}}else{try{k=e.g.Lu(c);for(A=k,B=0,C=A.length;B0?(q=0):(q/=s));v=1/u;A+=B*v*v;A/=u;!!Rpg&&Spg(Rpg,(iqg(),bqg),'population='+l);!!Rpg&&Spg(Rpg,(iqg(),bqg),'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=a3e(xRd(e),xRd(e));f[f.length-1]=zCf(FCf(dDf(i[0],i[1],g[0],g[1]),new QCf(new qDf(v))),GCf(new MCf(1)))}vEb(a.g,b,f);return f}h=je(C2,VRh,37,2,0,1);!a.i&&(a.i=new BEb);if(pEb(a.i,b)){h=sEb(a.i,b)}else{h=je(C2,VRh,37,2,0,1);h[0]=new qDf(v);h[1]=new qDf(v);vEb(a.i,b,h)}if(!a.g){j=yVe(c);l=zVe(c);m=yVe(d);o=zVe(d);k=j.length;n=m.length;f=je(A2,ZRh,20,k+n,0,1);for(t=0;t0&&(i.g+=',',i);i.g+=''+K}n=new nZb;aZb(n,a.n);jZb(n,new c9b(b));o=new Q5b;for(L=(G=(new c9b(n.g)).g.ee().yd(),new d9b(G));L.g.rf();){K=(l=L.g.sf(),l.mf());o.g.length>0&&(o.g+=',',o);o.g+=''+K}h=oBf.St();JBf(a);p=gyc(h).Fj(b,a.v,o.g,i.g);q=XZf(FSf(h.g).i)?gyc(h).Ij(p):'?';r=q.length-a5b(q,'{','').length-1;A=new nZb;H=1;for(s=0;sc+1}++k}}\nfunction xCf(a,b){var c,d,e,f,g,h,i,j;h=b.Ii();if(a.q!=null){return a.q}if(cf(b,56)){if(a.r==null){a.r=je(C2,VRh,37,2,0,1);a.r[0]=new qDf(h);a.r[1]=new qDf(h)}g=b.Iu(b);if(g==null){wCf(a,h);return null}a.q=je(A2,ZRh,20,1,0,1);a.q[0]=TCf(g[0],g[1],g[2],g[3],a.r[0],a.r[1]);return a.q}if(cf(b,121)){if(b.mb==4){if(a.r==null){a.r=je(C2,VRh,37,2,0,1);a.r[0]=new qDf(h);a.r[1]=new qDf(h)}g=b.Iu(b);if(g==null){wCf(a,h);return null}a.q=je(A2,ZRh,20,1,0,1);a.q[0]=WCf(g[2],g[3],g[0],g[1],a.r[0],a.r[1]);return a.q}if(b.mb==9){if(a.r==null){a.r=je(C2,VRh,37,4,0,1);a.r[0]=new qDf(h);a.r[1]=new qDf(h);a.r[2]=new qDf(h);a.r[3]=new qDf(h)}j=b.Iu(b);if(j==null){wCf(a,h);return null}a.q=je(A2,ZRh,20,3,0,1);a.q[0]=WCf(j[8],j[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[1]=TCf(j[4],j[5],a.r[2],a.r[3],j[6],j[7]);a.q[2]=aDf(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.mb==3||b.mb==5){if(a.r==null){a.r=je(C2,VRh,37,4,0,1);a.r[0]=new qDf(h);a.r[1]=new qDf(h);a.r[2]=new qDf(h);a.r[3]=new qDf(h)}i=b.Iu(b);if(i==null){wCf(a,h);return null}if(cf(b.rb,698)){a.q=je(A2,ZRh,20,2,0,1);a.q[0]=zCf(new QCf(i[0]),GCf(new QCf(a.r[0])));a.q[1]=zCf(new QCf(i[1]),GCf(new QCf(a.r[1])));return a.q}a.q=je(A2,ZRh,20,3,0,1);e=new QCf(a.r[2]);f=new QCf(a.r[3]);c=new QCf(i[2]);d=new QCf(i[3]);a.q[0]=zCf(zCf(zCf(c,d),GCf(e)),GCf(f));a.q[1]=zCf(dDf(a.r[0],a.r[1],i[6],i[7]),GCf(FCf(e,e)));a.q[2]=zCf(dDf(a.r[0],a.r[1],i[8],i[9]),GCf(FCf(f,f)));return a.q}}wCf(a,h);return null}\nfunction $zf(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;P4b('groebner',(!sXf&&(sXf=new tXf),sXf).j)&&(d=true);e=null;D=c.q;if(cf(D,135)){C=D.Ou()}else if(cf(D.rb,135)){C=D.rb.Ou()}else{return jlg(),ilg}if(d){B=new K$g;tBf(B,(ulg(),tlg));e=new OBf(D,null,B);if(e.A==(jlg(),elg)){return elg}}H=new nZb;if(d){l=CBf(D);u=new mac(l);while(u.g5){!!Rpg&&Spg(Rpg,(iqg(),bqg),\"Recio's method is currently disabled when # of free variables > 5\");return jlg(),ilg}try{g=C.g.Ku(b)}catch(a){a=uqb(a);if(cf(a,52)){return jlg(),ilg}else throw vqb(a)}f=0;for(q=g,r=0,s=q.length;r0){$kg(o,a.Qc);v=null;if(a.j){new svd(a.Sc);d=o.g;P4b(cCh,d)?(v=jBf(Wud(o.i[0],o.i[1],true,a.Qc.S.r.J))):P4b(fCh,d)?(v=jBf(rvd(o.i[0],o.i[1],o.i[2],a.Qc.S.r.J))):P4b(bCh,d)?(v=jBf(Sud(o.i[0],o.i[1],false,a.Qc.S.r.J))):P4b(dCh,d)?(v=jBf(_ud(o.i[0],o.i[1],false,a.Qc.S.r.J))):P4b(eCh,d)&&(v=jBf(Nud(o.i[0],o.i[1],false,a.Qc.S.r.J)))}if(!v||!a.j){i=o.i;if(i==null){v=jBf(o.g)}else{v=jBf(VUg(a.Qc.S.r.J,o.g));v.g+='[';for(j=0;j0&&(v.g+=',',v);h=o.i[j];h?G5b(v,o.i[j].bc):(v.g+=cGh,v)}v.g+=']';a.j&&N5b(v,0,ZUg(a.Qc.S.r.J,'not')+' ')}}$7e(m,v.g);m.gc=false;m.Pb=false;w.g.put(m,C2b)==null}}l=(g=(new r9b(w.g)).g.ee().i.dg(),new s9b(g));while(l.g.rf()){Y_e(n,(f=l.g.sf(),f.mf()))}if(Jic(B),B){m=new j8e(a.Qc);$7e(m,cGh);m.gc=false;m.Pb=false;w.g.put(m,C2b)==null;Y_e(n,m)}n.s.q.length>0&&Y_e(a.i,n);if(s==hlg){c=new j8e(a.Qc);$7e(c,'c');c.gc=false;c.Pb=false;Y_e(a.i,c)}}}Upg('OUTPUT for ProveDetails: '+a.i)}\nfunction zBf(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=(!sXf&&(sXf=new tXf),sXf);m=G.Ii();if(!cf(G.rb,534)){Wpg(G.rb+USh);return jlg(),ilg}C.k=false;C.g==null&&(C.g=(E2b(),false));e=new OBf(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=BBf(b,k)}catch(a){a=uqb(a);if(cf(a,52)){e.A=(jlg(),ilg);!!Rpg&&Spg(Rpg,(iqg(),bqg),'Cannot add fix values');return e.A}else throw vqb(a)}!!Rpg&&Spg(Rpg,(iqg(),bqg),'substitutions: '+H)}t=new rBf(b,H,e.n);l=false;w=0;while(!l&&w<1){h=VCf(gZb(e.u,je(A2,ZRh,20,AEb(e.u.g),0,1)),H,m,(++w,true),e.n);if(!h){return jlg(),ilg}q=(v=(new c9b(h.g)).g.ee().yd(),new d9b(v));J=new gac;L=new gac;K=AEb(h.g)==2;f=new gac;g=Oeh;p=0;while(q.g.rf()){++p;!!Rpg&&Spg(Rpg,(iqg(),bqg),'Considering NDG '+p+gbh);s=new gac;F=0;D=true;I=(j=q.g.sf(),j.mf());o=I.yd();while(o.rf()&&D){B=o.sf();if(B.g.j==0){!!Rpg&&Spg(Rpg,(iqg(),bqg),'Statement is NOT GENERALLY TRUE');LBf(e,e.r);GBf(e,e.r,e.C);h=VCf(gZb(e.u,je(A2,ZRh,20,AEb(e.u.g),0,1)),H,m,(++w,true),e.n);q=(u=(new c9b(h.g)).g.ee().yd(),new d9b(u));while(q.g.rf()){I=(i=q.g.sf(),i.mf());o=I.yd();while(o.rf()){B=o.sf();if(B.g.j==0){LBf(e,e.r);n=AEb(e.n.g)-(new c9b(H)).g.size();!!Rpg&&Spg(Rpg,(iqg(),bqg),'Naive dimension = '+n);if(!pBf(e,H,n)){!!Rpg&&Spg(Rpg,(iqg(),bqg),'Statement is NOT GENERALLY FALSE');return jlg(),hlg}return jlg(),ilg}}}return jlg(),dlg}if(!ECf(B)){if(e.s){!!Rpg&&Spg(Rpg,(iqg(),bqg),VSh);return jlg(),ilg}r=qBf(t,B);if(!r){D=false}else{K=K&&I.size()==1;if(K){if(P4b(r.g,'xAreEqual')){A=new nZb;kZb(A,r.i[0]);kZb(A,r.i[1]);pic(J.q,A)}if(P4b(r.g,'yAreEqual')){A=new nZb;kZb(A,r.i[0]);kZb(A,r.i[1]);pic(L.q,A)}if(J.q.length==1&&U8b(J,L)){r.g=bCh;r.j=0.5}}pic(s.q,r);F+=r.j}}}if(D&&F0&&K!=null){v?(v=false):(M.g+=',',M);M.g+=L}G=0;b=C.rb;d=fTh;if(b){B=b.$i();!!B&&(d=B.Rv());H=b.ab;C==a||(l+=H.length);G=H.length;for(W=H,X=0,Y=W.length;X1&&P4b((Pic(0,2,j.length),j.substr(0,2)),'-(')&&(j=(Qic(1,j.length+1),j.substr(1)));o=d5b(j,'\\\\)\\\\*\\\\(',0);if(o.length>1){o[0]=f5b(o[0],1);o[o.length-1]=g5b(o[o.length-1],0,o[o.length-1].length-1)}F=false;o.length==1&&$4b(o[0],'[-+]?\\\\d*\\\\.?\\\\d+')&&(F=true);G=new gac;if(!F){for(l=o,m=0,n=l.length;m1&&(d=B9d(d,t));I.g.put(G,(E2b(),C2b))==null;wcc(e.n,G,d)}M=(r=(new r9b((new $fc(I.g.cg())).g)).g.ee().i.dg(),new s9b(r));while(M.g.rf()){G=(l=M.g.sf(),l.mf());k=r9d(k,oEb(vcc(e.n,G)))}if(e7b(g,(c7b(),b7b))>0){S=y9d(S,r9d(f,k));T=true}else{fb=y9d(fb,r9d(f,k));gb=true}}s=new F7d(Q,S,fb);if(eb){if(!T||!gb){!!Rpg&&Spg(Rpg,(iqg(),bqg),c+' means '+s+', uninteresting');return null}U=new alg;tBf(U,A7d(s,(Gwd(),cwd)));U.j=2;!!Rpg&&Spg(Rpg,(iqg(),bqg),c+' means '+s);return U}!!Rpg&&Spg(Rpg,(iqg(),bqg),c+' cannot be described by quantities only')}}u=CBf(hb);v=new pZb(u);nb=new mBf(v,3);while(!nb.g){mb=kBf(nb);M=(V=(new c9b(mb.g)).g.ee().yd(),new d9b(V));K=0;db=je(BY,Wsh,14,AEb(mb.g),0,1);while(M.g.rf()){db[K]=(l=M.g.sf(),l.mf());++K}try{B=db[0].Iu(db[0]);C=db[1].Iu(db[1]);D=db[2].Iu(db[2])}catch(a){a=uqb(a);if(cf(a,52)){!!Rpg&&Spg(Rpg,(iqg(),bqg),TSh);return null}else throw vqb(a)}h=HCf(TCf(B[0],B[1],C[0],C[1],D[0],D[1]),b.k);if(BCf(c,h)||zCf(c,h).g.j==0){!!Rpg&&Spg(Rpg,(iqg(),bqg),c+' means collinearity for '+mb);U=new alg;U.i=db;Nac(U.i);U.g=fCh;wEb(b.i,R,U);return U}}$=new mBf(v,2);while(!$.g){X=kBf($);M=(V=(new c9b(X.g)).g.ee().yd(),new d9b(V));K=0;db=je(BY,Wsh,14,AEb(X.g),0,1);while(M.g.rf()){db[K]=(l=M.g.sf(),l.mf());++K}try{B=db[0].Iu(db[0]);C=db[1].Iu(db[1])}catch(a){a=uqb(a);if(cf(a,52)){!!Rpg&&Spg(Rpg,(iqg(),bqg),TSh);return null}else throw vqb(a)}s=HCf(dDf(B[0],B[1],C[0],C[1]),b.k);if(BCf(c,s)||zCf(c,s).g.j==0){!!Rpg&&Spg(Rpg,(iqg(),bqg),c+' means equality for '+X);U=new alg;U.i=db;Nac(U.i);U.g=bCh;U.j=0.5;wEb(b.i,R,U);return U}}w=new nZb;sb=new BEb;A=new nZb;vb=new BEb;L=(q=(new r9b(LJc(b.j.q).g)).g.ee().i.dg(),new s9b(q));while(L.g.rf()){H=(l=L.g.sf(),l.mf());if(H.An()&&cf(H,112)){try{qb=H.Iu(H)[0];if(lZb(b.g,qb)){vEb(w.g,qb,w);wcc(sb.n,qb,H)}tb=H.Iu(H)[1];if(lZb(b.g,tb)){vEb(A.g,tb,A);wcc(vb.n,tb,H)}}catch(a){a=uqb(a);if(cf(a,52)){!!Rpg&&Spg(Rpg,(iqg(),bqg),TSh);return null}else throw vqb(a)}}}bb=new mBf(w,2);while(!bb.g){X=kBf(bb);P=(V=(new c9b(X.g)).g.ee().yd(),new d9b(V));K=0;i=je(C2,VRh,37,AEb(X.g),0,1);db=je(BY,Wsh,14,AEb(X.g),0,1);while(P.g.rf()){i[K]=(l=P.g.sf(),l.mf());db[K]=sEb(sb,i[K]);++K}rb=HCf(zCf(new QCf(i[0]),GCf(new QCf(i[1]))),b.k);if(BCf(c,rb)||zCf(c,rb).g.j==0){!!Rpg&&Spg(Rpg,(iqg(),bqg),c+' means x-equality for '+X);U=new alg;U.i=db;Nac(U.i);U.g='xAreEqual';U.j=Oeh;wEb(b.i,R,U);return U}}bb=new mBf(A,2);while(!bb.g){X=kBf(bb);P=(V=(new c9b(X.g)).g.ee().yd(),new d9b(V));K=0;i=je(C2,VRh,37,AEb(X.g),0,1);db=je(BY,Wsh,14,AEb(X.g),0,1);while(P.g.rf()){i[K]=(l=P.g.sf(),l.mf());db[K]=sEb(vb,i[K]);++K}ub=HCf(zCf(new QCf(i[0]),GCf(new QCf(i[1]))),b.k);if(BCf(c,ub)||zCf(c,ub).g.j==0){!!Rpg&&Spg(Rpg,(iqg(),bqg),c+' means y-equality for '+X);U=new alg;U.i=db;Nac(U.i);U.g='yAreEqual';U.j=Oeh;wEb(b.i,R,U);return U}}ab=new mBf(v,2);while(!ab.g){Y=kBf(ab);N=(W=(new c9b(Y.g)).g.ee().yd(),new d9b(W));K=0;db=je(BY,Wsh,14,4,0,1);while(N.g.rf()){db[K]=(l=N.g.sf(),l.mf());++K}cb=new mBf(v,2);while(!cb.g){Z=kBf(cb);O=(V=(new c9b(Z.g)).g.ee().yd(),new d9b(V));K=2;while(O.g.rf()){db[K]=(l=O.g.sf(),l.mf());++K}try{B=db[0].Iu(db[0]);C=db[1].Iu(db[1]);D=db[2].Iu(db[0]);F=db[3].Iu(db[1])}catch(a){a=uqb(a);if(cf(a,52)){!!Rpg&&Spg(Rpg,(iqg(),bqg),TSh);return null}else throw vqb(a)}s=HCf(aDf(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(BCf(c,s)||zCf(c,s).g.j==0){!!Rpg&&Spg(Rpg,(iqg(),bqg),c+' means perpendicularity for '+Y+hSh+Z);U=new alg;U.i=db;U.g=dCh;U.j=Pnh;wEb(b.i,R,U);return U}s=HCf(_Cf(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(BCf(c,s)||zCf(c,s).g.j==0){!!Rpg&&Spg(Rpg,(iqg(),bqg),c+' means parallelism for '+Y+hSh+Z);U=new alg;U.i=db;U.g=cCh;U.j=Pnh;wEb(b.i,R,U);return U}s=HCf(zCf(dDf(B[0],B[1],C[0],C[1]),GCf(dDf(D[0],D[1],F[0],F[1]))),b.k);if(BCf(c,s)||zCf(c,s).g.j==0){!!Rpg&&Spg(Rpg,(iqg(),bqg),c+' means congruence for '+Y+hSh+Z);U=new alg;U.i=db;U.g=eCh;U.j=Pnh;wEb(b.i,R,U);return U}}}!!Rpg&&Spg(Rpg,(iqg(),bqg),'No human readable geometrical meaning found for '+c);vEb(b.i,R,null);return null}\nfunction sCf(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.vn()){R=kQe(c);Z=kQe(d);if(R!=null&&Z!=null){if(a.r==null){a.r=je(C2,VRh,37,8,0,1);a.r[0]=new qDf(b.Ii());a.r[1]=new qDf(b.Ii());a.r[2]=new qDf(b.Ii());a.r[3]=new qDf(b.Ii());a.r[4]=new qDf(b.Ii());a.r[5]=new qDf(b.Ii());a.r[6]=new qDf(b.Ii());a.r[7]=new qDf(b.Ii())}a.q=je(A2,ZRh,20,8,0,1);mb=new QCf(R[0]);nb=new QCf(R[1]);Ab=new QCf(a.r[4]);Bb=new QCf(a.r[5]);ob=new QCf(a.r[0]);pb=new QCf(a.r[1]);a.q[0]=zCf(zCf(FCf(Ab,new MCf(2)),GCf(mb)),GCf(ob));a.q[1]=zCf(zCf(FCf(Bb,new MCf(2)),GCf(nb)),GCf(pb));g=je(C2,VRh,37,2,0,1);g[0]=Z[0];g[1]=Z[1];h=je(C2,VRh,37,2,0,1);h[0]=Z[2];h[1]=Z[3];a.q[2]=TCf(g[0],g[1],a.r[4],a.r[5],h[0],h[1]);a.q[3]=aDf(R[0],R[1],a.r[4],a.r[5],g[0],g[1],h[0],h[1]);rb=new QCf(R[2]);sb=new QCf(R[3]);Db=new QCf(a.r[6]);Eb=new QCf(a.r[7]);tb=new QCf(a.r[2]);ub=new QCf(a.r[3]);a.q[4]=zCf(zCf(FCf(Db,new MCf(2)),GCf(rb)),GCf(tb));a.q[5]=zCf(zCf(FCf(Eb,new MCf(2)),GCf(sb)),GCf(ub));a.q[6]=TCf(g[0],g[1],a.r[6],a.r[7],h[0],h[1]);a.q[7]=aDf(R[2],R[3],a.r[6],a.r[7],g[0],g[1],h[0],h[1]);return a.q}throw vqb(new sBf)}else if(c.An()){i=c;S=d;Jb=a3e(i,i);Ib=kQe(S);if(a.r==null){a.r=je(C2,VRh,37,6,0,1);a.r[0]=new qDf(b.Ii());a.r[1]=new qDf(b.Ii());a.r[2]=new qDf(b.Ii());a.r[3]=new qDf(b.Ii());a.r[4]=new qDf(b.Ii());a.r[5]=new qDf(b.Ii())}a.q=je(A2,ZRh,20,6,0,1);zb=new QCf(a.r[2]);Cb=new QCf(a.r[3]);v=new QCf(Jb[0]);w=new QCf(Jb[1]);A=new QCf(a.r[0]);B=new QCf(a.r[1]);a.q[0]=zCf(zCf(FCf(zb,new MCf(2)),GCf(A)),GCf(v));a.q[1]=zCf(zCf(FCf(Cb,new MCf(2)),GCf(B)),GCf(w));g=je(C2,VRh,37,2,0,1);g[0]=Ib[0];g[1]=Ib[1];h=je(C2,VRh,37,2,0,1);h[0]=Ib[2];h[1]=Ib[3];a.q[2]=TCf(g[0],g[1],h[0],h[1],a.r[2],a.r[3]);l=new QCf(g[0]);m=new QCf(g[1]);q=new QCf(h[0]);r=new QCf(h[1]);ab=new QCf(a.r[4]);db=new QCf(a.r[5]);a.q[3]=zCf(zCf(zCf(q,GCf(l)),w),GCf(db));a.q[4]=zCf(zCf(zCf(v,GCf(r)),m),GCf(ab));a.q[5]=TCf(a.r[0],a.r[1],a.r[2],a.r[3],a.r[4],a.r[5]);return a.q}else if(c.jn()&&c.mb==4){C=c;S=d;Hb=zVe(C);Qb=kQe(S);if(a.r==null){a.r=je(C2,VRh,37,12,0,1);a.r[0]=new qDf(b.Ii());a.r[1]=new qDf(b.Ii());a.r[2]=new qDf(b.Ii());a.r[3]=new qDf(b.Ii());a.r[4]=new qDf(b.Ii());a.r[5]=new qDf(b.Ii());a.r[6]=new qDf(b.Ii());a.r[7]=new qDf(b.Ii());a.r[8]=new qDf(b.Ii());a.r[9]=new qDf(b.Ii());a.r[10]=new qDf(b.Ii());a.r[11]=new qDf(b.Ii())}a.q=je(A2,ZRh,20,12,0,1);zb=new QCf(a.r[4]);Cb=new QCf(a.r[5]);l=new QCf(Hb[0]);m=new QCf(Hb[1]);n=new QCf(a.r[0]);o=new QCf(a.r[1]);a.q[0]=zCf(zCf(FCf(zb,new MCf(2)),GCf(n)),GCf(l));a.q[1]=zCf(zCf(FCf(Cb,new MCf(2)),GCf(o)),GCf(m));a.q[2]=TCf(Qb[0],Qb[1],a.r[4],a.r[5],Qb[2],Qb[3]);v=new QCf(Qb[0]);w=new QCf(Qb[1]);D=new QCf(Qb[2]);F=new QCf(Qb[3]);bb=new QCf(a.r[8]);cb=new QCf(a.r[9]);a.q[3]=zCf(zCf(zCf(D,GCf(v)),m),GCf(cb));a.q[4]=zCf(zCf(zCf(l,GCf(F)),w),GCf(bb));a.q[5]=TCf(a.r[0],a.r[1],a.r[4],a.r[5],a.r[8],a.r[9]);vb=new QCf(a.r[6]);wb=new QCf(a.r[7]);q=new QCf(Hb[2]);r=new QCf(Hb[3]);s=new QCf(a.r[2]);t=new QCf(a.r[3]);a.q[6]=zCf(zCf(FCf(vb,new MCf(2)),GCf(s)),GCf(q));a.q[7]=zCf(zCf(FCf(wb,new MCf(2)),GCf(t)),GCf(r));a.q[8]=TCf(Qb[0],Qb[1],a.r[6],a.r[7],Qb[2],Qb[3]);eb=new QCf(a.r[10]);fb=new QCf(a.r[11]);a.q[9]=zCf(zCf(zCf(D,GCf(v)),r),GCf(fb));a.q[10]=zCf(zCf(zCf(q,GCf(F)),w),GCf(eb));a.q[11]=TCf(a.r[1],a.r[2],a.r[6],a.r[7],a.r[10],a.r[11]);return a.q}else if(c.jn()&&c.mb==9){qb=c;S=d;Sb=zVe(qb);Qb=kQe(S);if(a.r==null){a.r=je(C2,VRh,37,22,0,1);a.r[0]=new qDf(b.Ii());a.r[1]=new qDf(b.Ii());a.r[2]=new qDf(b.Ii());a.r[3]=new qDf(b.Ii());a.r[4]=new qDf(b.Ii());a.r[5]=new qDf(b.Ii());a.r[6]=new qDf(b.Ii());a.r[7]=new qDf(b.Ii());a.r[8]=new qDf(b.Ii());a.r[9]=new qDf(b.Ii());a.r[10]=new qDf(b.Ii());a.r[11]=new qDf(b.Ii());a.r[12]=new qDf(b.Ii());a.r[13]=new qDf(b.Ii());a.r[14]=new qDf(b.Ii());a.r[15]=new qDf(b.Ii());a.r[16]=new qDf(b.Ii());a.r[17]=new qDf(b.Ii());a.r[18]=new qDf(b.Ii());a.r[19]=new qDf(b.Ii());a.r[20]=new qDf(b.Ii());a.r[21]=new qDf(b.Ii())}a.q=je(A2,ZRh,20,21,0,1);l=new QCf(Sb[4]);m=new QCf(Sb[5]);Ab=new QCf(a.r[10]);Bb=new QCf(a.r[11]);n=new QCf(a.r[4]);o=new QCf(a.r[5]);bb=new QCf(a.r[16]);cb=new QCf(a.r[17]);U=new QCf(Qb[0]);V=new QCf(Qb[1]);X=new QCf(Qb[2]);Y=new QCf(Qb[3]);a.q[0]=zCf(zCf(FCf(new MCf(2),Ab),GCf(l)),GCf(n));a.q[1]=zCf(zCf(FCf(new MCf(2),Bb),GCf(m)),GCf(o));a.q[2]=TCf(a.r[4],a.r[5],a.r[10],a.r[11],a.r[16],a.r[17]);a.q[3]=TCf(Qb[0],Qb[1],a.r[10],a.r[11],Qb[2],Qb[3]);a.q[4]=zCf(zCf(zCf(X,GCf(U)),m),GCf(cb));a.q[5]=zCf(zCf(zCf(l,GCf(Y)),V),GCf(bb));q=new QCf(Sb[6]);r=new QCf(Sb[7]);Db=new QCf(a.r[12]);Eb=new QCf(a.r[13]);s=new QCf(a.r[6]);t=new QCf(a.r[7]);eb=new QCf(a.r[18]);fb=new QCf(a.r[19]);a.q[6]=zCf(zCf(FCf(new MCf(2),Db),GCf(q)),GCf(s));a.q[7]=zCf(zCf(FCf(new MCf(2),Eb),GCf(r)),GCf(t));a.q[8]=TCf(a.r[6],a.r[7],a.r[12],a.r[13],a.r[18],a.r[19]);a.q[9]=TCf(Qb[0],Qb[1],a.r[12],a.r[13],Qb[2],Qb[3]);a.q[10]=zCf(zCf(zCf(X,GCf(U)),r),GCf(fb));a.q[11]=zCf(zCf(zCf(q,GCf(Y)),V),GCf(eb));M=new QCf(Sb[8]);N=new QCf(Sb[9]);Fb=new QCf(a.r[14]);Gb=new QCf(a.r[15]);O=new QCf(a.r[8]);P=new QCf(a.r[9]);gb=new QCf(a.r[20]);hb=new QCf(a.r[21]);a.q[12]=zCf(zCf(FCf(new MCf(2),Fb),GCf(M)),GCf(O));a.q[13]=zCf(zCf(FCf(new MCf(2),Gb),GCf(N)),GCf(P));a.q[14]=TCf(a.r[8],a.r[9],a.r[14],a.r[15],a.r[20],a.r[21]);a.q[15]=TCf(Qb[0],Qb[1],a.r[14],a.r[15],Qb[2],Qb[3]);a.q[16]=zCf(zCf(zCf(X,GCf(U)),N),GCf(hb));a.q[17]=zCf(zCf(zCf(M,GCf(Y)),V),GCf(gb));a.q[18]=WCf(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[19]=TCf(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[20]=aDf(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 vqb(new sBf)}else if(cf(e,34)){if(c.An()){j=c;k=e;Kb=a3e(j,j);Lb=a3e(k,k);if(a.r==null){a.r=je(C2,VRh,37,2,0,1);a.r[0]=new qDf(b.Ii());a.r[1]=new qDf(b.Ii())}a.q=je(A2,ZRh,20,2,0,1);l=new QCf(Kb[0]);m=new QCf(Kb[1]);q=new QCf(Lb[0]);r=new QCf(Lb[1]);n=new QCf(a.r[0]);o=new QCf(a.r[1]);a.q[0]=zCf(zCf(FCf(q,new MCf(2)),GCf(l)),GCf(n));a.q[1]=zCf(zCf(FCf(r,new MCf(2)),GCf(m)),GCf(o));return a.q}else if(c.vn()){S=c;i=e;Qb=kQe(S);Jb=a3e(i,i);if(a.r==null){a.r=je(C2,VRh,37,4,0,1);a.r[0]=new qDf(b.Ii());a.r[1]=new qDf(b.Ii());a.r[2]=new qDf(b.Ii());a.r[3]=new qDf(b.Ii())}a.q=je(A2,ZRh,20,4,0,1);mb=new QCf(Jb[0]);nb=new QCf(Jb[1]);l=new QCf(Qb[0]);m=new QCf(Qb[1]);n=new QCf(a.r[0]);o=new QCf(a.r[1]);q=new QCf(Qb[2]);r=new QCf(Qb[3]);s=new QCf(a.r[2]);t=new QCf(a.r[3]);a.q[0]=zCf(zCf(mb,GCf(l)),GCf(zCf(n,GCf(mb))));a.q[1]=zCf(zCf(nb,GCf(m)),GCf(zCf(o,GCf(nb))));a.q[2]=zCf(zCf(mb,GCf(q)),GCf(zCf(s,GCf(mb))));a.q[3]=zCf(zCf(nb,GCf(r)),GCf(zCf(t,GCf(nb))));return a.q}else if(c.jn()&&c.mb==4){C=c;i=e;Hb=zVe(C);Jb=a3e(i,i);if(a.r==null){a.r=je(C2,VRh,37,4,0,1);a.r[0]=new qDf(b.Ii());a.r[1]=new qDf(b.Ii());a.r[2]=new qDf(b.Ii());a.r[3]=new qDf(b.Ii())}a.q=je(A2,ZRh,20,4,0,1);mb=new QCf(Jb[0]);nb=new QCf(Jb[1]);l=new QCf(Hb[0]);m=new QCf(Hb[1]);n=new QCf(a.r[0]);o=new QCf(a.r[1]);q=new QCf(Hb[2]);r=new QCf(Hb[3]);s=new QCf(a.r[2]);t=new QCf(a.r[3]);a.q[0]=zCf(zCf(mb,GCf(l)),GCf(zCf(n,GCf(mb))));a.q[1]=zCf(zCf(nb,GCf(m)),GCf(zCf(o,GCf(nb))));a.q[2]=zCf(zCf(mb,GCf(q)),GCf(zCf(s,GCf(mb))));a.q[3]=zCf(zCf(nb,GCf(r)),GCf(zCf(t,GCf(nb))));return a.q}else if(c.jn()&&c.mb==9){qb=c;i=e;Sb=zVe(qb);Jb=a3e(i,i);if(a.r==null){a.r=je(C2,VRh,37,10,0,1);a.r[0]=new qDf(b.Ii());a.r[1]=new qDf(b.Ii());a.r[2]=new qDf(b.Ii());a.r[3]=new qDf(b.Ii());a.r[4]=new qDf(b.Ii());a.r[5]=new qDf(b.Ii());a.r[6]=new qDf(b.Ii());a.r[7]=new qDf(b.Ii());a.r[8]=new qDf(b.Ii());a.r[9]=new qDf(b.Ii())}a.q=je(A2,ZRh,20,13,0,1);mb=new QCf(Sb[0]);nb=new QCf(Sb[1]);vb=new QCf(Sb[2]);wb=new QCf(Sb[3]);l=new QCf(Sb[4]);m=new QCf(Sb[5]);q=new QCf(Sb[6]);r=new QCf(Sb[7]);M=new QCf(Sb[8]);N=new QCf(Sb[9]);ob=new QCf(a.r[0]);pb=new QCf(a.r[1]);xb=new QCf(a.r[2]);yb=new QCf(a.r[3]);n=new QCf(a.r[4]);o=new QCf(a.r[5]);s=new QCf(a.r[6]);t=new QCf(a.r[7]);O=new QCf(a.r[8]);P=new QCf(a.r[9]);T=new QCf(Jb[0]);W=new QCf(Jb[1]);a.q[0]=zCf(zCf(FCf(new MCf(2),T),GCf(mb)),GCf(ob));a.q[1]=zCf(zCf(FCf(new MCf(2),W),GCf(nb)),GCf(pb));a.q[2]=zCf(zCf(FCf(new MCf(2),T),GCf(vb)),GCf(xb));a.q[3]=zCf(zCf(FCf(new MCf(2),W),GCf(wb)),GCf(yb));a.q[4]=zCf(zCf(FCf(new MCf(2),T),GCf(l)),GCf(n));a.q[5]=zCf(zCf(FCf(new MCf(2),W),GCf(m)),GCf(o));a.q[6]=zCf(zCf(FCf(new MCf(2),T),GCf(q)),GCf(s));a.q[7]=zCf(zCf(FCf(new MCf(2),W),GCf(r)),GCf(t));a.q[8]=zCf(zCf(FCf(new MCf(2),T),GCf(M)),GCf(O));a.q[9]=zCf(zCf(FCf(new MCf(2),W),GCf(N)),GCf(P));a.q[10]=WCf(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[11]=TCf(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[12]=aDf(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.jn()&&c.mb==3){L=c;i=e;Ob=zVe(L);Jb=a3e(i,i);if(Ob[6]==Ob[8]&&Ob[7]==Ob[9]){if(a.r==null){a.r=je(C2,VRh,37,4,0,1);a.r[0]=new qDf(b.Ii());a.r[1]=new qDf(b.Ii());a.r[2]=new qDf(b.Ii());a.r[3]=new qDf(b.Ii())}a.q=je(A2,ZRh,20,4,0,1);l=new QCf(Ob[0]);m=new QCf(Ob[1]);v=new QCf(Ob[2]);w=new QCf(Ob[3]);mb=new QCf(Jb[0]);nb=new QCf(Jb[1]);n=new QCf(a.r[0]);o=new QCf(a.r[1]);A=new QCf(a.r[2]);B=new QCf(a.r[3]);a.q[0]=zCf(zCf(FCf(new MCf(2),mb),GCf(l)),GCf(n));a.q[1]=zCf(zCf(FCf(new MCf(2),nb),GCf(m)),GCf(o));a.q[2]=zCf(zCf(FCf(new MCf(2),mb),GCf(v)),GCf(A));a.q[3]=zCf(zCf(FCf(new MCf(2),nb),GCf(w)),GCf(B))}else{if(a.r==null){a.r=je(C2,VRh,37,12,0,1);a.r[0]=new qDf(b.Ii());a.r[1]=new qDf(b.Ii());a.r[2]=new qDf(b.Ii());a.r[3]=new qDf(b.Ii());a.r[4]=new qDf(b.Ii());a.r[5]=new qDf(b.Ii());a.r[6]=new qDf(b.Ii());a.r[7]=new qDf(b.Ii());a.r[8]=new qDf(b.Ii());a.r[9]=new qDf(b.Ii());a.r[10]=new qDf(b.Ii());a.r[11]=new qDf(b.Ii())}a.q=je(A2,ZRh,20,13,0,1);mb=new QCf(Ob[0]);nb=new QCf(Ob[1]);l=new QCf(Ob[6]);m=new QCf(Ob[7]);q=new QCf(Ob[8]);r=new QCf(Ob[9]);v=new QCf(Ob[10]);w=new QCf(Ob[11]);T=new QCf(Jb[0]);W=new QCf(Jb[1]);ob=new QCf(a.r[0]);pb=new QCf(a.r[1]);n=new QCf(a.r[6]);o=new QCf(a.r[7]);s=new QCf(a.r[8]);t=new QCf(a.r[9]);A=new QCf(a.r[10]);B=new QCf(a.r[11]);D=new QCf(a.r[2]);F=new QCf(a.r[3]);J=new QCf(a.r[4]);K=new QCf(a.r[5]);a.q[0]=zCf(zCf(FCf(new MCf(2),T),GCf(mb)),GCf(ob));a.q[1]=zCf(zCf(FCf(new MCf(2),W),GCf(nb)),GCf(pb));a.q[2]=zCf(zCf(FCf(new MCf(2),T),GCf(l)),GCf(n));a.q[3]=zCf(zCf(FCf(new MCf(2),W),GCf(m)),GCf(o));a.q[4]=zCf(zCf(FCf(new MCf(2),T),GCf(q)),GCf(s));a.q[5]=zCf(zCf(FCf(new MCf(2),W),GCf(r)),GCf(t));a.q[6]=zCf(zCf(FCf(new MCf(2),T),GCf(v)),GCf(A));a.q[7]=zCf(zCf(FCf(new MCf(2),W),GCf(w)),GCf(B));a.q[8]=zCf(zCf(zCf(D,F),GCf(J)),GCf(K));a.q[9]=zCf(dDf(a.r[6],a.r[7],a.r[8],a.r[9]),GCf(FCf(D,D)));a.q[10]=zCf(dDf(a.r[6],a.r[7],a.r[8],a.r[9]),GCf(FCf(F,F)));a.q[11]=zCf(dDf(a.r[6],a.r[7],a.r[0],a.r[1]),GCf(FCf(J,J)));a.q[12]=zCf(dDf(a.r[8],a.r[9],a.r[0],a.r[1]),GCf(FCf(K,K)))}return a.q}else if(c.jn()&&c.mb==5){Q=c;i=e;Pb=zVe(Q);Jb=a3e(i,i);if(a.r==null){a.r=je(C2,VRh,37,12,0,1);a.r[0]=new qDf(b.Ii());a.r[1]=new qDf(b.Ii());a.r[2]=new qDf(b.Ii());a.r[3]=new qDf(b.Ii());a.r[4]=new qDf(b.Ii());a.r[5]=new qDf(b.Ii());a.r[6]=new qDf(b.Ii());a.r[7]=new qDf(b.Ii());a.r[8]=new qDf(b.Ii());a.r[9]=new qDf(b.Ii());a.r[10]=new qDf(b.Ii());a.r[11]=new qDf(b.Ii())}a.q=je(A2,ZRh,20,13,0,1);mb=new QCf(Pb[0]);nb=new QCf(Pb[1]);l=new QCf(Pb[6]);m=new QCf(Pb[7]);q=new QCf(Pb[8]);r=new QCf(Pb[9]);v=new QCf(Pb[10]);w=new QCf(Pb[11]);T=new QCf(Jb[0]);W=new QCf(Jb[1]);ob=new QCf(a.r[0]);pb=new QCf(a.r[1]);n=new QCf(a.r[6]);o=new QCf(a.r[7]);s=new QCf(a.r[8]);t=new QCf(a.r[9]);A=new QCf(a.r[10]);B=new QCf(a.r[11]);D=new QCf(a.r[2]);F=new QCf(a.r[3]);J=new QCf(a.r[4]);K=new QCf(a.r[5]);a.q[0]=zCf(zCf(FCf(new MCf(2),T),GCf(mb)),GCf(ob));a.q[1]=zCf(zCf(FCf(new MCf(2),W),GCf(nb)),GCf(pb));a.q[2]=zCf(zCf(FCf(new MCf(2),T),GCf(l)),GCf(n));a.q[3]=zCf(zCf(FCf(new MCf(2),W),GCf(m)),GCf(o));a.q[4]=zCf(zCf(FCf(new MCf(2),T),GCf(q)),GCf(s));a.q[5]=zCf(zCf(FCf(new MCf(2),W),GCf(r)),GCf(t));a.q[6]=zCf(zCf(FCf(new MCf(2),T),GCf(v)),GCf(A));a.q[7]=zCf(zCf(FCf(new MCf(2),W),GCf(w)),GCf(B));a.q[8]=zCf(zCf(zCf(D,GCf(F)),GCf(J)),K);a.q[9]=zCf(dDf(a.r[6],a.r[7],a.r[10],a.r[11]),GCf(FCf(D,D)));a.q[10]=zCf(dDf(a.r[8],a.r[9],a.r[10],a.r[11]),GCf(FCf(F,F)));a.q[3]=zCf(dDf(a.r[6],a.r[7],a.r[0],a.r[1]),GCf(FCf(J,J)));a.q[4]=zCf(dDf(a.r[8],a.r[9],a.r[0],a.r[1]),GCf(FCf(K,K)));return a.q}throw vqb(new sBf)}else if(f){if(c.An()){i=c;u=f;Jb=a3e(i,i);Mb=zVe(u);if(a.r==null){a.r=je(C2,VRh,37,8,0,1);a.r[0]=new qDf(b.Ii());a.r[1]=new qDf(b.Ii());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=je(A2,ZRh,20,2,0,1);ib=new QCf(Mb[0]);jb=new QCf(Mb[1]);l=new QCf(Mb[2]);m=new QCf(Mb[3]);q=new QCf(Jb[0]);r=new QCf(Jb[1]);s=new QCf(a.r[0]);t=new QCf(a.r[1]);kb=zCf(FCf(zCf(l,GCf(ib)),zCf(l,GCf(ib))),FCf(zCf(m,GCf(jb)),zCf(m,GCf(jb))));G=zCf(FCf(zCf(q,GCf(ib)),zCf(q,GCf(ib))),FCf(zCf(r,GCf(jb)),zCf(r,GCf(jb))));a.q[0]=zCf(FCf(kb,zCf(q,GCf(ib))),FCf(zCf(ib,GCf(s)),G));a.q[1]=zCf(FCf(kb,zCf(r,GCf(jb))),FCf(zCf(jb,GCf(t)),G));return a.q}else if(c.vn()){!!Rpg&&Spg(Rpg,(iqg(),bqg),'mirroring line about circle not implemented');throw vqb(new sBf)}else if(c.jn()&&c.mb==4){C=c;$=f;Nb=zVe(C);Rb=zVe($);if(a.r==null){a.r=je(C2,VRh,37,4,0,1);a.r[0]=new qDf(b.Ii());a.r[1]=new qDf(b.Ii());a.r[2]=new qDf(b.Ii());a.r[3]=new qDf(b.Ii())}a.q=je(A2,ZRh,20,4,0,1);l=new QCf(Nb[0]);m=new QCf(Nb[1]);q=new QCf(Nb[2]);r=new QCf(Nb[3]);ib=new QCf(Rb[0]);jb=new QCf(Rb[1]);v=new QCf(Rb[2]);w=new QCf(Rb[3]);n=new QCf(a.r[0]);o=new QCf(a.r[1]);s=new QCf(a.r[2]);t=new QCf(a.r[3]);lb=zCf(FCf(zCf(v,GCf(ib)),zCf(v,GCf(ib))),FCf(zCf(w,GCf(jb)),zCf(w,GCf(jb))));p=zCf(FCf(zCf(q,GCf(l)),zCf(q,GCf(l))),FCf(zCf(r,GCf(m)),zCf(r,GCf(m))));H=zCf(zCf(FCf(zCf(l,GCf(ib)),zCf(l,GCf(ib))),FCf(zCf(m,GCf(jb)),zCf(m,GCf(jb)))),GCf(p));a.q[0]=zCf(FCf(lb,zCf(l,GCf(ib))),FCf(zCf(ib,GCf(n)),H));a.q[1]=zCf(FCf(lb,zCf(m,GCf(jb))),FCf(zCf(jb,GCf(o)),H));I=zCf(FCf(zCf(q,GCf(ib)),zCf(q,GCf(ib))),FCf(zCf(r,GCf(jb)),zCf(r,GCf(jb))));a.q[2]=zCf(FCf(lb,zCf(q,GCf(ib))),FCf(zCf(ib,GCf(s)),I));a.q[3]=zCf(FCf(lb,zCf(r,GCf(jb))),FCf(zCf(jb,GCf(t)),I));return a.q}else{throw vqb(new sBf)}}else{throw vqb(new sBf)}}\nvar ASh='[LocusEqu] result[',BSh='eliminate([',CSh='],revlist([',DSh='PRECISION = ',ESh='[1]: [1]: _[1]=1 _[2]=',FSh='Cannot parse: ',GSh='Cannot get Botana variables for ',HSh='Recio meets Botana: #',ISh={16:1,26:1,17:1,24:1,135:1,534:1,27:1},JSh={16:1,26:1,17:1,24:1,534:1,27:1},KSh='Cannot compute implicit curve (yet?)',LSh='Benchmarking: ',MSh='Output from giac: ',NSh='Error on running Giac code',OSh=' kernelPrecision=',PSh=' precisionRatio=',QSh='OpenGeoProver',RSh='PureSymbolic',SSh='STATEMENT IS ',TSh='Cannot get Botana vars during NDG detection',USh=' unimplemented',VSh='Interpreting TRUE as UNKNOWN',WSh='Extra poly 3 for ',XSh='Extra poly 4 for ',YSh='Eliminating system in ',ZSh=' variables (',$Sh=' dependent)',_Sh='gbt polys = ',aTh='gbt vars = ',bTh='Using ',cTh='Possible numerical error in converting formula coefficients to integer',dTh='ggbtmpvar2',eTh=') and ',fTh='Free Point';brb(1895,597,qrh,j9b);_.pf=function(a){throw vqb(new W5b)};var Eu=p3b(1895);brb(4228,290,xfh);_.cg=function(){return new p9b(this)};brb(2194,4228,xfh,p9b);_.clear=function(){this.g.clear()};_.bg=function(){return this.g.dg()};_.cg=g3h;_.dg=function(){return this.g.bg()};_.eg=function(a){return this.g.hg(a)};_.fg=function(a){return this.g.fg(a)};_.gg=function(){return this.g.jg()};_.hg=function(a){return this.g.eg(a)};_.ig=function(a){return this.g.kg(a)};_.jg=function(){return this.g.gg()};_.kg=function(a){return this.g.ig(a)};_.lg=function(a,b){return this.g.ng(a,b).cg()};_.put=function(a,b){return this.g.put(a,b)};_.remove=function(a){return this.g.remove(a)};_.mg=function(a){return this.g.mg(a)};_.size=function(){return this.g.size()};_.ng=function(a,b){return this.g.lg(a,b).cg()};var Hu=p3b(2194);brb(223,4228,Drh,tfc);_.bg=function(){return new ufc(this)};_.lg=function(a,b){return dfc(this,a,b)};brb(jih,1,{},ufc,vfc);_.qf=f3h;_.sf=function(){return this.i=$8b(this.g)};_.rf=function(){return this.g.i>0};_.tf=function(){Y8b(this.g);kfc(this.j,this.i);this.i=null};var gw=p3b(jih);brb(770,4228,xfh);_.bg=function(){return new vfc(this.j,this.o,this.i,this.g,this.n,this.k)};_.lg=function(a,b){if(this.o.yg()&&this.j.g.kf(a,this.n)>0){throw vqb(new U3b(Erh+a+' greater than '+this.n))}return this.o.xg()?pfc(this.j,this.i,this.g,a,b):dfc(this.j,a,b)};brb(1326,1,uth);_.Dj=function(a,b){var c,d;d=new Q5b;c=BSh+a+CSh+b+']))';return G5b(G5b(G5b(G5b(G5b(G5b((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};_.Ej=function(a,b,c,d){var e,f;if(!c){return (Nzc(),Hzc)+'(eliminate(['+a+CSh+b+'])))'}e=''+Uqb(d.g);!!Rpg&&Spg(Rpg,(iqg(),bqg),DSh+e);f=(Nzc(),Hzc)+'([[ee:=eliminate(['+a+CSh+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};_.Fj=function(a,b,c,d){var e,f,g;e='[[GB:=gbasis(';!!a&&(e+=bGh);e+='['+b+']';if(a){f=Uyc(a);e+=',['+f+'])'}g=c+RCf(d);P4b(g.substr(0,1),',')&&(g=(Qic(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};_.Gj=function(a,b,c,d,e){var f,g,h;f='[[ii:=gbasis(';f+=bGh;f+='['+b+']';g=Uyc(a);f+=',['+g+'])';h=c+RCf(d);f+=',['+h+'],revlex)],('+'ii'+'[0]!=1)&&('+'ii'+'[0]!=-1)][1]';return f};_.Mj=function(a){var b,c,d,e;b=Qyc(a);c=Ryc(a);e=je(pf,Dah,85,c.length+1,0,3);e[0]=b;for(d=0;d0){c=a3e(this.r,this.r);b[b.length-1]=zCf(FCf(dDf(d[0],d[1],c[0],c[1]),new QCf(new qDf(this.Sc))),GCf(new MCf(1)))}vEb(this.n,a,b);return b}throw vqb(new sBf)}else if(this.p.mb==9||this.p.mb==3||this.p.mb==5){if(this.t){p=kQe(this.t);d=je(C2,VRh,37,2,0,1);!this.o&&(this.o=new BEb);if(pEb(this.o,a)){d=sEb(this.o,a)}else{d=je(C2,VRh,37,2,0,1);d[0]=new qDf(this.Sc);d[1]=new qDf(this.Sc);vEb(this.o,a,d)}e=yVe(this.p);g=zVe(this.p);f=e.length;b=je(A2,ZRh,20,f+1,0,1);for(k=0;ki&&(i=h[g])}b[0]=i;return b}throw vqb(new sBf)};_.Lu=function(a){var b,c,d,e,f,g;if(!!this.i&&!!this.j&&!!this.k&&!!this.n){c=i3e(this.i,a);d=i3e(this.j,a);e=i3e(this.k,a);f=i3e(this.n,a);b=je(nu,krh,87,1,0,1);g=he(nu,[Dah,krh],[205,87],0,[4,4],2);g[0][0]=r7b(c[0],c[2]);g[0][1]=r7b(c[1],c[2]);g[0][2]=d8b(r7b(c[0],c[0]),r7b(c[1],c[1]));g[0][3]=r7b(c[2],c[2]);g[1][0]=r7b(d[0],d[2]);g[1][1]=r7b(d[1],d[2]);g[1][2]=d8b(r7b(d[0],d[0]),r7b(d[1],d[1]));g[1][3]=r7b(d[2],d[2]);g[2][0]=r7b(e[0],e[2]);g[2][1]=r7b(e[1],e[2]);g[2][2]=d8b(r7b(e[0],e[0]),r7b(e[1],e[1]));g[2][3]=r7b(e[2],e[2]);g[3][0]=r7b(f[0],f[2]);g[3][1]=r7b(f[1],f[2]);g[3][2]=d8b(r7b(f[0],f[0]),r7b(f[1],f[1]));g[3][3]=r7b(f[2],f[2]);b[0]=d8b(i8b(i8b(d8b(d8b(i8b(i8b(d8b(d8b(i8b(i8b(d8b(d8b(i8b(i8b(d8b(d8b(i8b(i8b(d8b(d8b(i8b(i8b(r7b(r7b(r7b(g[0][3],g[1][2]),g[2][1]),g[3][0]),r7b(r7b(r7b(g[0][2],g[1][3]),g[2][1]),g[3][0])),r7b(r7b(r7b(g[0][3],g[1][1]),g[2][2]),g[3][0])),r7b(r7b(r7b(g[0][1],g[1][3]),g[2][2]),g[3][0])),r7b(r7b(r7b(g[0][2],g[1][1]),g[2][3]),g[3][0])),r7b(r7b(r7b(g[0][1],g[1][2]),g[2][3]),g[3][0])),r7b(r7b(r7b(g[0][3],g[1][2]),g[2][0]),g[3][1])),r7b(r7b(r7b(g[0][2],g[1][3]),g[2][0]),g[3][1])),r7b(r7b(r7b(g[0][3],g[1][0]),g[2][2]),g[3][1])),r7b(r7b(r7b(g[0][0],g[1][3]),g[2][2]),g[3][1])),r7b(r7b(r7b(g[0][2],g[1][0]),g[2][3]),g[3][1])),r7b(r7b(r7b(g[0][0],g[1][2]),g[2][3]),g[3][1])),r7b(r7b(r7b(g[0][3],g[1][1]),g[2][0]),g[3][2])),r7b(r7b(r7b(g[0][1],g[1][3]),g[2][0]),g[3][2])),r7b(r7b(r7b(g[0][3],g[1][0]),g[2][1]),g[3][2])),r7b(r7b(r7b(g[0][0],g[1][3]),g[2][1]),g[3][2])),r7b(r7b(r7b(g[0][1],g[1][0]),g[2][3]),g[3][2])),r7b(r7b(r7b(g[0][0],g[1][1]),g[2][3]),g[3][2])),r7b(r7b(r7b(g[0][2],g[1][1]),g[2][0]),g[3][3])),r7b(r7b(r7b(g[0][1],g[1][2]),g[2][0]),g[3][3])),r7b(r7b(r7b(g[0][2],g[1][0]),g[2][1]),g[3][3])),r7b(r7b(r7b(g[0][0],g[1][2]),g[2][1]),g[3][3])),r7b(r7b(r7b(g[0][1],g[1][0]),g[2][2]),g[3][3])),r7b(r7b(r7b(g[0][0],g[1][1]),g[2][2]),g[3][3]));return b}throw vqb(new sBf)};_.Mu=function(a){if(!!this.i&&!!this.j&&!!this.k&&!!this.n){j3e(this.i,a);j3e(this.j,a);j3e(this.k,a);j3e(this.n,a);return}throw vqb(new sBf)};_.Nu=function(){var a,b,c,d,e;if(this.p!=null){return this.p}if(!!this.i&&!!this.j&&!!this.k&&!!this.n){a=p3e(this.i);b=p3e(this.j);c=p3e(this.k);d=p3e(this.n);this.p=je(A2,ZRh,20,1,0,1);e=he(A2,[Dah,ZRh],[59,20],0,[4,4],2);e[0][0]=FCf(a[0],a[2]);e[0][1]=FCf(a[1],a[2]);e[0][2]=zCf(FCf(a[0],a[0]),FCf(a[1],a[1]));e[0][3]=FCf(a[2],a[2]);e[1][0]=FCf(b[0],b[2]);e[1][1]=FCf(b[1],b[2]);e[1][2]=zCf(FCf(b[0],b[0]),FCf(b[1],b[1]));e[1][3]=FCf(b[2],b[2]);e[2][0]=FCf(c[0],c[2]);e[2][1]=FCf(c[1],c[2]);e[2][2]=zCf(FCf(c[0],c[0]),FCf(c[1],c[1]));e[2][3]=FCf(c[2],c[2]);e[3][0]=FCf(d[0],d[2]);e[3][1]=FCf(d[1],d[2]);e[3][2]=zCf(FCf(d[0],d[0]),FCf(d[1],d[1]));e[3][3]=FCf(d[2],d[2]);this.p[0]=zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(zCf(FCf(e[0][3],FCf(e[1][2],FCf(e[2][1],e[3][0]))),GCf(FCf(FCf(FCf(e[0][2],e[1][3]),e[2][1]),e[3][0]))),GCf(FCf(FCf(FCf(e[0][3],e[1][1]),e[2][2]),e[3][0]))),FCf(FCf(FCf(e[0][1],e[1][3]),e[2][2]),e[3][0])),FCf(FCf(FCf(e[0][2],e[1][1]),e[2][3]),e[3][0])),GCf(FCf(FCf(FCf(e[0][1],e[1][2]),e[2][3]),e[3][0]))),GCf(FCf(FCf(FCf(e[0][3],e[1][2]),e[2][0]),e[3][1]))),FCf(FCf(FCf(e[0][2],e[1][3]),e[2][0]),e[3][1])),FCf(FCf(FCf(e[0][3],e[1][0]),e[2][2]),e[3][1])),GCf(FCf(FCf(FCf(e[0][0],e[1][3]),e[2][2]),e[3][1]))),GCf(FCf(FCf(FCf(e[0][2],e[1][0]),e[2][3]),e[3][1]))),FCf(FCf(FCf(e[0][0],e[1][2]),e[2][3]),e[3][1])),FCf(FCf(FCf(e[0][3],e[1][1]),e[2][0]),e[3][2])),GCf(FCf(FCf(FCf(e[0][1],e[1][3]),e[2][0]),e[3][2]))),GCf(FCf(FCf(FCf(e[0][3],e[1][0]),e[2][1]),e[3][2]))),FCf(FCf(FCf(e[0][0],e[1][3]),e[2][1]),e[3][2])),FCf(FCf(FCf(e[0][1],e[1][0]),e[2][3]),e[3][2])),GCf(FCf(FCf(FCf(e[0][0],e[1][1]),e[2][3]),e[3][2]))),GCf(FCf(FCf(FCf(e[0][2],e[1][1]),e[2][0]),e[3][3]))),FCf(FCf(FCf(e[0][1],e[1][2]),e[2][0]),e[3][3])),FCf(FCf(FCf(e[0][2],e[1][0]),e[2][1]),e[3][3])),GCf(FCf(FCf(FCf(e[0][0],e[1][2]),e[2][1]),e[3][3]))),GCf(FCf(FCf(FCf(e[0][1],e[1][0]),e[2][2]),e[3][3]))),FCf(FCf(FCf(e[0][0],e[1][1]),e[2][2]),e[3][3]));return this.p}throw vqb(new sBf)};_.Ou=T2h;_.vj=function(){iAf(this)};var $1=p3b(1560);brb(737,17,{16:1,26:1,17:1,24:1,135:1,534:1,27:1,737:1},nAf,oAf);_.$i=function(){return bKe(),Uze};_.tf=d3h;_.Wi=function(){kAf(this)};_.Fv=function(){return lAf(this)};_.Ku=function(a){var b,c,d;if(cf(this.i,75)||cf(this.j,75)){throw vqb(new sBf)}if(!!this.i&&!!this.j){if(cf(this.i,34)&&cf(this.j,34)||cf(this.i,56)&&cf(this.j,56)||cf(this.i,123)&&cf(this.j,123)){c=this.i.Ku(a);d=this.j.Ku(a);b=je(rf,cbh,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 vqb(new sBf)};_.Lu=function(a){var b,c,d;if(cf(this.i,75)||cf(this.j,75)){throw vqb(new sBf)}if(!!this.i&&!!this.j){if(cf(this.i,34)&&cf(this.j,34)||cf(this.i,56)&&cf(this.j,56)||cf(this.i,123)&&cf(this.j,123)){c=this.i.Lu(a);d=this.j.Lu(a);b=je(nu,krh,87,1,0,1);b[0]=d8b(d7b(i8b(r7b(c[0],d[2]),r7b(d[0],c[2]))),d7b(i8b(r7b(c[1],d[2]),r7b(d[1],c[2]))));return b}}throw vqb(new sBf)};_.Mu=function(a){if(cf(this.i,75)||cf(this.j,75)){throw vqb(new sBf)}if(!!this.i&&!!this.j){if(cf(this.i,34)&&cf(this.j,34)||cf(this.i,56)&&cf(this.j,56)||cf(this.i,123)&&cf(this.j,123)){this.i.Mu(a);this.j.Mu(a);return}}throw vqb(new sBf)};_.Nu=function(){var a,b;Upg(this.n);if(this.n!=null){return this.n}if(cf(this.i,75)||cf(this.j,75)){throw vqb(new sBf)}if(!!this.i&&!!this.j){if(cf(this.i,34)&&cf(this.j,34)||cf(this.i,56)&&cf(this.j,56)||cf(this.i,123)&&cf(this.j,123)){a=this.i.Nu();b=this.j.Nu();this.n=je(A2,ZRh,20,2,0,1);this.n[0]=zCf(FCf(a[0],b[2]),GCf(FCf(b[0],a[2])));this.n[1]=zCf(FCf(a[1],b[2]),GCf(FCf(b[1],a[2])));return this.n}}throw vqb(new sBf)};_.Ou=T2h;_.vj=function(){mAf(this)};var _1=p3b(737);brb(1211,17,JSh,vAf,wAf);_.$i=function(){return bKe(),Vze};_.Wi=function(){sAf(this)};_.Fv=function(){return tAf(this)};_.vj=function(){mAf(this)};var pAf;var b2=p3b(1211);brb(4019,1,Iuh,xAf);_.yk=function(a){var b,c;if(cf(a,32)){b=a.s;if(b==moh||b-Ovh8}return false};var a2=p3b(4019);brb(988,17,ISh,AAf,BAf);_.$i=function(){return bKe(),Wze};_.tf=d3h;_.Wi=function(){wRe(this.k,JQe(this.i,this.j))};_.Fv=function(){return yAf(this)};_.Ku=function(a){var b,c,d;if(!!this.i&&!!this.j){c=lQe(this.i,a);d=lQe(this.j,a);b=je(rf,cbh,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[1],c[1]+d[0]);return b}throw vqb(new sBf)};_.Lu=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.ab[0].Lu(a);d=this.ab[1].Lu(a);b=je(nu,krh,87,1,0,1);b[0]=i8b(r7b(c[0],d[1]),r7b(c[1],d[0]));return b}throw vqb(new sBf)};_.Mu=e3h;_.Nu=function(){var a,b;Upg(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.ab[0].Nu();b=this.ab[1].Nu();this.n=je(A2,ZRh,20,1,0,1);this.n[0]=zCf(FCf(a[0],b[1]),GCf(FCf(a[1],b[0])));return this.n}throw vqb(new sBf)};_.Ou=T2h;_.vj=function(){mAf(this)};var c2=p3b(988);brb(989,17,ISh,EAf,FAf);_.$i=function(){return bKe(),Xze};_.tf=d3h;_.Wi=function(){wRe(this.k,KQe(this.i,this.j))};_.Fv=function(){return CAf(this)};_.Ku=function(a){var b,c,d;if(!!this.i&&!!this.j){c=lQe(this.i,a);d=lQe(this.j,a);b=je(rf,cbh,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[0],c[1]+d[1]);return b}throw vqb(new sBf)};_.Lu=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.ab[0].Lu(a);d=this.ab[1].Lu(a);b=je(nu,krh,87,1,0,1);b[0]=d8b(r7b(c[0],d[0]),r7b(c[1],d[1]));return b}throw vqb(new sBf)};_.Mu=e3h;_.Nu=function(){var a,b;Upg(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.ab[0].Nu();b=this.ab[1].Nu();this.n=je(A2,ZRh,20,1,0,1);this.n[0]=zCf(FCf(a[0],b[0]),FCf(a[1],b[1]));return this.n}throw vqb(new sBf)};_.Ou=T2h;_.vj=function(){mAf(this)};var d2=p3b(989);brb(1179,17,{16:1,26:1,17:1,24:1,27:1,133:1,1179:1},LAf);_.$i=function(){return bKe(),YBe};_.Wi=function(){var a;if(!gyc(this.Sc.St()).$e()){this.i=null;this.n=0;return}a=this.i;KAf(this);if(a==null||!P4b(a,this.i)){Zpg(a+kLh+this.i);GAf(this)}};_.PA=function(a,b){return JAf(this,a,b)};_.vj=function(){KAf(this)};_.n=0;var e2=p3b(1179);brb(YCh,17,JSh,QAf);_.$i=function(){return null};_.Wi=function(){this.n.n=false};_.Fv=function(){return NAf(this)};_.vj=function(){PAf(this)};var f2=p3b(YCh);brb(1559,17,JSh,TAf);_.$i=function(){return bKe(),VDe};_.Wi=function(){RAf(this)};_.Fv=function(){var a,b,c,d,e,f;if(this.g!=null){return this.g}d=this.i;a=this.j;e=kQe(d);b=zVe(a);if(a.mb==4){c=je(C2,VRh,37,2,0,1);c[0]=new qDf(this.Sc);c[1]=new qDf(this.Sc);this.g=he(A2,[Dah,ZRh],[59,20],0,[1,3],2);this.g[0][0]=TCf(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=aDf(c[0],c[1],e[0],e[1],c[0],c[1],b[0],b[1]);this.g[0][2]=WCf(c[0],c[1],b[0],b[1],b[2],b[3]);return this.g}if(a.mb==9){c=je(C2,VRh,37,2,0,1);c[0]=new qDf(this.Sc);c[1]=new qDf(this.Sc);f=je(C2,VRh,37,2,0,1);f[0]=new qDf(this.Sc);f[1]=new qDf(this.Sc);this.g=he(A2,[Dah,ZRh],[59,20],0,[1,5],2);this.g[0][0]=TCf(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=aDf(c[0],c[1],e[0],e[1],c[0],c[1],b[8],b[9]);this.g[0][2]=zCf(zCf(FCf(new QCf(c[0]),new MCf(2)),GCf(new QCf(f[0]))),GCf(new QCf(b[8])));this.g[0][3]=zCf(zCf(FCf(new QCf(c[1]),new MCf(2)),GCf(new QCf(f[1]))),GCf(new QCf(b[9])));this.g[0][4]=TCf(f[0],f[1],b[4],b[5],b[6],b[7]);return this.g}throw vqb(new sBf)};_.vj=function(){mAf(this)};var g2=p3b(1559);brb(772,17,{16:1,26:1,17:1,24:1,27:1,133:1,772:1},$Af,_Af);_.$i=function(){return bKe(),rEe};_.Wi=function(){var a;if(!gyc(this.Sc.St()).$e()){!!Rpg&&Spg(Rpg,(iqg(),bqg),'CAS is not yet loaded => fingerprint set to null');this.i=null;this.p=0;return}a=this.i;ZAf(this);if(a==null||!P4b(a,this.i)){Upg(a+kLh+this.i);VAf(this,!!this.k)}};_.PA=function(a,b){return YAf(this,a,b)};_.vj=function(){ZAf(this)};_.p=0;var h2=p3b(772);brb(1167,17,{16:1,26:1,17:1,24:1,27:1,133:1,1167:1},eBf);_.$i=function(){return bKe(),XFe};_.Wi=function(){bBf(this)};_.vj=function(){dBf(this)};var j2=p3b(1167);brb(4077,17,AGh,iBf);_.$i=function(){return bKe(),YFe};_.Wi=function(){fBf(this)};_.vj=function(){hBf(this)};_.j=false;var i2=p3b(4077);brb(656,1,{},mBf);_.qf=f3h;_.sf=function(){return kBf(this)};_.rf=function(){return !this.g};_.tf=function(){};_.g=false;_.j=0;_.n=0;var k2=p3b(656);var nBf,oBf;brb(1615,1,{},rBf);var l2=p3b(1615);brb(52,42,{3:1,42:1,51:1,52:1},sBf);var m2=p3b(52);brb(530,1,{},xBf);var n2=p3b(530);var yBf;brb(1230,1,{},OBf);_.j=false;_.s=false;_.t=-1;_.A=null;var o2=p3b(1230);brb(1608,1,{},SBf);var q2=p3b(1608);brb(1008,$Rh,{},UBf);var p2=p3b(1008);brb(1613,$Rh,{},WBf);var r2=p3b(1613);brb(1009,$Rh,{},fCf);_.j=false;_.k=0;_.n=false;_.o=false;var t2=p3b(1009);brb(852,$Rh,{},oCf);_.i=0;var u2=p3b(852);brb(1610,1,{},rCf);var v2=p3b(1610);brb(1612,$Rh,{},tCf);var w2=p3b(1612);brb(1611,$Rh,{},vCf);var x2=p3b(1611);brb(1609,$Rh,{},yCf);var y2=p3b(1609);brb(20,1,{16:1,20:1},LCf,MCf,NCf,OCf,PCf,QCf);_.rd=function(a){return ACf(this,a)};_.Zc=function(a){return BCf(this,a)};_.$c=function(){return jbc(new yfc(this.g))};_._c=function(){return JCf(this)};var A2=p3b(20);brb(414,1,{16:1,414:1},jDf,kDf,lDf,mDf);_.rd=function(a){return eDf(this,a)};_.Zc=function(a){return fDf(this,a)};_.$c=function(){if(this.g.j==0){return 0}return o9b(_ec(this.g)).g>>o9b(afc(this.g)).g};_._c=function(){var a,b,c,d,e;e=new S5b('');c=(new yfc(this.g)).i.dg();while(c.rf()){a=c.sf();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 f5b(e.g,1)}return ''};var B2=p3b(414);brb(37,1,{16:1,37:1},qDf,rDf);_.rd=function(a){return nDf(this,a)};_.Zc=function(a){return oDf(this,a)};_.$c=g3h;_._c=function(){return L4b('v',''+this.g)};_.g=0;var C2=p3b(37);brb(655,42,{3:1,42:1,51:1,655:1},tDf,uDf);var sDf=_bh;var D2=p3b(655);var JDf;brb(4153,1,{},HDf);_.j=0;_.n=-1;_.q=0;var xDf;var F2=p3b(4153);brb(4158,1,{},aEf);_.g=0;_.j=0;_.k=0;_.n=0;_.o=0;var LDf,MDf,NDf,ODf;var E2=p3b(4158);brb(1616,1,{},mEf);_.g=0;_.n=-1;_.o=0;_.p=0;_.q=0;_.s=1;_.t=0;_.u=false;_.v=false;_.A=1;_.B=0;var G2=p3b(1616);brb(4156,1,{},oEf);_.g=0;_.i=0;var H2=p3b(4156);brb(1617,1,Nch,pEf,qEf);_._c=function(){return this.j};_.g=0;_.i=0;_.k=0;var J2=p3b(1617);brb(1618,44,Iah,sEf);_.gd=function(){return this.p};var I2=p3b(1618);brb(462,1,{},tXf);_.g=null;_.i='Auto';_.j='Wu';_.k=true;_.n=4;_.o=4;var sXf;var h9=p3b(462);brb(4131,1,{});_.p=false;var meb=p3b(4131);brb(449,1,{449:1},alg);_.Zc=function(a){if(a==null){return false}if(a===this){return true}if(Wb(a)!=jeb){return false}return Zkg(this)==Xb(a)};_.$c=function(){return Zkg(this)};_.j=1;var jeb=p3b(449);brb(892,1,{},clg);_.kf=function(a,b){return K4b(a.bc,b.bc)};_.Zc=h3h;_.lf=i3h;var ieb=p3b(892);brb(551,29,{3:1,16:1,29:1,551:1},klg);var dlg,elg,flg,glg,hlg,ilg;var keb=q3b(551,llg);brb(484,29,{3:1,16:1,29:1,484:1},vlg);var mlg,nlg,olg,plg,qlg,rlg,slg,tlg;var leb=q3b(484,wlg);var Clg='',Dlg='',Elg,Flg=0,Glg,Hlg,Ilg,Jlg;brb(4157,4285,{},pPg);var Djb=p3b(4157);brb(3331,1,ELh);_.ld=function(){!!Rpg&&Spg(Rpg,(iqg(),bqg),'Loaded: prover');dze=new eLe;kze(this.g);WRg(YPg(this.g.g))};brb(1001,4131,{},K$g);var Ylb=p3b(1001);rah(Qc)(9);\n//# sourceURL=webSimple-9.js\n")