$wnd.webSimple.runAsyncCallback9("function vhe(){}\nfunction Dhe(){}\nfunction $we(){}\nfunction Q2e(){}\nfunction R2e(){}\nfunction S2e(){}\nfunction T2e(){}\nfunction U2e(){}\nfunction V2e(){}\nfunction W2e(){}\nfunction X2e(){}\nfunction nxf(){}\nfunction Hxf(){}\nfunction Hyf(){}\nfunction azf(){}\nfunction czf(){}\nfunction ezf(){}\nfunction Bzf(){}\nfunction Dzf(){}\nfunction Fzf(){}\nfunction Izf(){}\nfunction zBf(){}\nfunction KUf(){}\nfunction whg(){}\nfunction yhg(){}\nfunction ELg(){}\nfunction Eyf(a,b){a.i=b}\nfunction Dyf(a,b){a.g=b}\nfunction Fyf(a,b){a.j=b}\nfunction Gyf(a,b){a.k=b}\nfunction rhg(a,b){a.q=b}\nfunction I8b(a){this.g=a}\nfunction o3d(a){this.g=a}\nfunction Zzf(a){this.g=a}\nfunction uAf(a){this.g=a}\nfunction tAf(){this.g=new vec}\nfunction Vzf(){this.g=new vec}\nfunction n$h(a){return a.o}\nfunction c$h(a){return null}\nfunction d$h(a){return this.o}\nfunction f$h(a){return this.j}\nfunction g$h(a){return this.i}\nfunction l$h(a){return this.k}\nfunction m$h(a){return this.n}\nfunction t$h(){return this.g}\nfunction p$h(a){return a.Uk()}\nfunction rBf(a){return a.i[a.B]}\nfunction sBf(a){return a.k[a.B]}\nfunction uBf(a){return a.k[a.n]}\nfunction tBf(a){return a.i[a.n]}\nfunction mAf(a){return Pzf(a,a)}\nfunction u$h(a){return this===a}\nfunction s$h(a){_bc(this,a)}\nfunction q$h(){fwc(this)}\nfunction DAf(){fc.call(this)}\nfunction BBf(a){jc.call(this,a)}\nfunction BEd(a){lDd.call(this,a)}\nfunction cEd(a){lDd.call(this,a)}\nfunction HEd(a){lDd.call(this,a)}\nfunction VEd(a){lDd.call(this,a)}\nfunction XEd(a){lDd.call(this,a)}\nfunction rDd(a){lDd.call(this,a)}\nfunction sDd(a){lDd.call(this,a)}\nfunction tDd(a){lDd.call(this,a)}\nfunction uDd(a){lDd.call(this,a)}\nfunction vDd(a){lDd.call(this,a)}\nfunction wDd(a){lDd.call(this,a)}\nfunction xDd(a){lDd.call(this,a)}\nfunction Ghg(a,b){hvb.call(this,a,b)}\nfunction Rhg(a,b){hvb.call(this,a,b)}\nfunction C8b(a){A8b.call(this,a.k,a.n)}\nfunction cyf(a){a.k=null;a.p=0}\nfunction ABf(a,b){this.k=a;this.j=b}\nfunction Azf(a,b){return VDb(a.i,b)}\nfunction zAf(a,b){YDb(a.j,w3b(a.g),b)}\nfunction dac(a){_9b(a,0,a.length,null)}\nfunction e$h(){return new o3d(this)}\nfunction v$h(){return new bbc(this)}\nfunction G8b(a){return !a?null:new C8b(a)}\nfunction WNe(a){return cf(a,355)||!a.rb}\nfunction c4b(a,b){return Bhc(a),a+(Bhc(b),b)}\nfunction iig(a,b){Zhg+=a+',';Yhg+=b+','}\nfunction uhe(){uhe=Cqb;the=new vhe}\nfunction Bhe(){Bhe=Cqb;Ahe=new Dhe}\nfunction Axf(){Axf=Cqb;zxf=new iWg('',8)}\nfunction Xzf(a){Yzf.call(this,a,new tAf)}\nfunction BAf(a){AAf.call(this,a.Sc);this.i=a}\nfunction EAf(a,b,c){gc.call(this,GAf(a,b,c))}\nfunction iBf(a,b,c){a.j=c;a.k=b;return b+1}\nfunction qBf(a,b){a.q+=b;(a.n-=b)<0&&(a.n+=a.o)}\nfunction yBf(a){this.j=a;this.i=a.length}\nfunction AAf(a){this.j=new cEb;this.g=a.r.Bb++}\nfunction pzf(){this.g=new PYb;this.i=new y9b}\nfunction yzf(){this.g=new PYb;this.j=new y9b}\nfunction vAf(a){this.g=new vec;mec(this.g,a,w3b(1))}\nfunction o$h(a){return V1e(),je(Lt,cNh,589,a,7,1)}\nfunction tyf(a){return a==null?null:new j5b(a)}\nfunction tmg(a){!!lmg&&mmg(lmg,(Emg(),Cmg),a)}\nfunction qmg(a){!!lmg&&mmg(lmg,(Emg(),Amg),a)}\nfunction MId(a){!a.i&&(a.i=new pzf);return a.i}\nfunction RQd(a){if(a.r){return 1}return 0}\nfunction BPd(a){if(a.G){return a.G.q.length}return 0}\nfunction FPd(a){if(a.G){return l9b(a.G,0)}return null}\nfunction lBf(a){var b;a.B=-1;b=vBf(a);a.B=a.n;return b}\nfunction $Af(a){var b;a.o=b8g;for(b=12;b-->0;)a.p[b]=g6g}\nfunction Che(a,b){var c;c=b.bc;c!=null&&Tec(a.g,c)}\nfunction aBf(a,b){do{a.q[a.n++]=VAf[b]}while(b++!=1)}\nfunction bBf(a,b){if(a.p[b]!=a.o){a.q[a.n++]=b;a.p[b]=a.o}}\nfunction wAf(a,b){this.g=new vec;mec(this.g,a,w3b(b))}\nfunction Byf(a,b,c){this.i=new cEb;this.j=a;this.k=b;this.g=c}\nfunction xxf(a,b,c,d){yxf.call(this,a,c,d);eLc(this.k,b)}\nfunction Kxf(a,b,c,d){Lxf.call(this,a,c,d);eLc(this.k,b)}\nfunction Oxf(a,b,c,d){Pxf.call(this,a,c,d);eLc(this.k,b)}\nfunction Fxf(a,b,c,d){Axf();Gxf.call(this,a,c,d);eLc(this.k,b)}\nfunction xec(a){wec.call(this,(Bhc(a),Zac(a.g)));ODb(this,a)}\nfunction Wzf(a){Yzf.call(this,new W6b(''+sqb(a)),new tAf)}\nfunction Yzf(a,b){Vzf.call(this);a!=(v6b(),u6b)&&mec(this.g,b,a)}\nfunction $zf(a){Vzf.call(this);mec(this.g,new vAf(a),(v6b(),q6b))}\nfunction yec(a){zec.call(this,a,(Nec(),Jec),null,false,null,false)}\nfunction hec(a,b,c){return new Iec(a,(Nec(),Kec),null,false,b,c)}\nfunction _Ke(a){if(cf(a.rb,112)){return a.rb.yu(a)}return null}\nfunction WSe(a){if(cf(a.rb,112)){return a.rb.zu(a)}return null}\nfunction LNe(a,b){if(cf(a.rb,133)){return a.rb.Cu(b)}return null}\nfunction GNe(a,b){if(cf(a.rb,133)){return a.rb.Bu(b)}throw Vpb(new Cyf)}\nfunction QNe(a){if(cf(a.rb,133)){return a.rb.Eu()}throw Vpb(new Cyf)}\nfunction VSe(a){if(cf(a.rb,112)){return a.rb.yu(a)}throw Vpb(new Cyf)}\nfunction MNe(a,b){if(cf(a.rb,133)){a.rb.Du(b);return}throw Vpb(new Cyf)}\nfunction yAf(a,b){if(cf(b,38)){return a.g==b.g}return kf(a)===kf(b)}\nfunction Lzf(a,b){if(cf(b,20)){return Kzf(a,b)==0}return kf(a)===kf(b)}\nfunction pAf(a,b){if(cf(b,410)){return oAf(a,b)==0}return kf(a)===kf(b)}\nfunction Mzf(a){if(a.g.j>1){return null}return G8b(dec(a.g)).n}\nfunction _zf(a){if(a==null||a.length==0)return '';return ','+a}\nfunction phg(a,b){if(!a.o||b!=(Fhg(),Ehg)){return b}return a.o}\nfunction mig(a){var b;b=a.bc;if(b!=null){return '$'+b+'$'}return null}\nfunction xAf(a,b){var c;c=b.g;if(a.gc){return -1}return 0}\nfunction FEd(a,b,c,d){var e,f;e=new iyf(a.n,c,d);f=e.j;eLc(f,b);return f}\nfunction QAf(a,b){var c,d;d=KAf(a,6);if(c=WDb(b,d.j))return c;throw Vpb(new DAf)}\nfunction Cyf(){gc.call(this,'No symbolic parameters available')}\nfunction h$h(a){if(this.j!=null){return this.j}this.j=p3d(this.ab);return this.j}\nfunction k$h(a){if(!!this.g&&!!this.i){v0e(this.g,a);v0e(this.i,a);return}throw Vpb(new Cyf)}\nfunction r$h(a){if(!!this.i&&!!this.j){MNe(this.i,a);MNe(this.j,a);return}throw Vpb(new Cyf)}\nfunction yxf(a,b,c){xwc.call(this,a);this.i=b;this.j=c;this.k=new VOe(a);wxf(this);uxf(this)}\nfunction Zxf(a){a.ab=je($X,Eoh,14,2,0,1);a.ab[0]=a.k;a.ab[1]=a.j;mwc(a,a.n);iwc(a)}\nfunction wxf(a){a.ab=je($X,Eoh,14,2,0,1);a.ab[0]=a.i;a.ab[1]=a.j;mwc(a,a.k);iwc(a)}\nfunction qxf(a){a.ab=je($X,Eoh,14,3,0,1);a.ab[0]=a.i;a.ab[1]=a.j;a.ab[2]=a.k;mwc(a,a.n);iwc(a)}\nfunction nyf(a){a.ab=je($X,Eoh,14,1,0,1);a.ab[0]=a.j;mwc(a,a.g);iwc(a);a.i=shg(a.j)}\nfunction ryf(a){a.ab=je($X,Eoh,14,1,0,1);a.ab[0]=a.k;mwc(a,a.i);iwc(a);a.g=shg(a.k)}\nfunction Hhg(){Fhg();return me(fe(Pdb,1),P8g,547,0,[Bhg,Chg,Dhg,zhg,Ehg,Ahg])}\nfunction Shg(){Qhg();return me(fe(Qdb,1),P8g,483,0,[Phg,Jhg,Nhg,Mhg,Ohg,Ihg,Lhg,Khg])}\nfunction IAf(){IAf=Cqb;HAf=me(fe(rf,1),I6g,5,15,[256,512,Wah,6144,6144,n8g,Wwh,Wwh,96,Kmh])}\nfunction kBf(a){ZAf();this.p=je(rf,I6g,5,12,15,1);this.q=je(rf,I6g,5,24,15,1);new h5b;this.i=a}\nfunction $xf(a,b,c){xwc.call(this,a);this.k=b;this.j=c;this.n=new VOe(a);Zxf(this);this.n.n=false}\nfunction Gxf(a,b,c){Axf();xwc.call(this,a);this.i=b;this.j=c;this.k=new VOe(a);wxf(this);Cxf(this)}\nfunction Vxf(a,b,c){xwc.call(this,a);this.n=0;this.k=c;this.o=b;this.j=new Def(a);Uxf(this);Qxf(this)}\nfunction Gzf(a,b){if(a.r!=null){return}a.r=je(X1,eNh,38,2,0,1);a.r[0]=new AAf(b);a.r[1]=new AAf(b)}\nfunction Ozf(a){if(a.g.j>1){return false}if(pAf(H8b(dec(a.g)),new tAf)){return true}return false}\nfunction uxf(a){var b;b=a.i.Lm(a.j);if((beg(),aeg)==b){QOe(a.k)}else{a.k.j=true;ROe(a.k,b==_dg)}}\nfunction Cxf(a){var b;if(cf(a.i,214)){b=a.i;ROe(a.k,Bxf(b.k,a.j))}else{ROe(a.k,a.i.Sm(a.j)==(beg(),_dg))}}\nfunction oBf(a){return a.n>=a.B?K4b(a.j,a.B,a.n-a.B+1):K4b(a.j,a.B,a.o-a.B)+K4b(a.j,0,a.n+1)}\nfunction uyf(a){var b,c;c=new PYb;for(b=0;b0)return y4b(c.g,1);return ''}\nfunction vBf(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&&nBf(a);b=a.j[a.n];pBf(a,b);return b}\nfunction pyf(a){var b;if(!gxc(a.Sc.Kt()).Ze()){a.g=null;return}b=a.g;ryf(a);if(b==null||!g4b(b,a.g)){tmg(b+BGh+a.g);qyf(a)}}\nfunction thg(a){var b,c,d,e,f;f=k4b(a.g);if(a.i!=null){for(c=a.i,d=0,e=c.length;dd?d:f;f>g&&(f=g);i4b(a.j,a.g,a.g+f,b,c);a.g+=f;return f}\nfunction Xdg(a,b){var c;if(a==b){return true}c=qrh*$wnd.Math.min($wnd.Math.abs(a),$wnd.Math.abs(b));return a-c<=b&&b<=a+c}\nfunction KAf(a,b){var c;(c=a.r).n?(a.r=a.r.n):(a.r=a.r.n=_Af(a.s));a.q=-1;if(a.r.k==b){++a.j;return a.r}a.r=c;a.n=b;throw Vpb(JAf(a))}\nfunction j$h(a){var b,c;if(!!this.g&&!!this.i){b=u0e(this.g,a);c=u0e(this.i,a);if(b!=null&&c!=null){return t3d(b,c)}}throw Vpb(new Cyf)}\nfunction Bxf(a,b){var c,d;if(!a.Nm()||!a.tl()){return false}c=a.Uk();d=b.Uk();if(!Xdg(c,d)){return false}return m6d(a.tl())&&!j6d(a.tl(),new Hxf)}\nfunction ohg(a){if(a.o){if(a.o==(Fhg(),Bhg)||a.o==Chg||a.o==Dhg){return beg(),_dg}if(a.o==zhg){return beg(),$dg}}return beg(),aeg}\nfunction pxf(a,b,c,d){xwc.call(this,a);this.i=b;this.j=c;this.k=d;this.n=new VOe(a);oxf(this);ROe(this.n,G1e(this.i,this.j,this.k))}\nfunction rxf(a,b,c,d,e){xwc.call(this,a);this.i=c;this.j=d;this.k=e;this.n=new VOe(a);qxf(this);ROe(this.n,BOe(this.i,this.j,this.k));eLc(this.n,b)}\nfunction wBf(a){this.r=a;this.s=1;this.p=0;this.g=this.o=n8g;this.j=je(of,o6g,5,n8g,15,1);this.k=je(rf,I6g,5,n8g,15,1);this.i=je(rf,I6g,5,n8g,15,1)}\nfunction $yf(a,b){if(a.g!=null){return}a.g=je(X1,eNh,38,4,0,1);a.g[0]=new AAf(b);a.g[1]=new AAf(b);a.g[2]=new AAf(b);a.g[3]=new AAf(b)}\nfunction WEd(a,b,c,d){var e,f;if(cf(b,196)){e=new syf(a.n,b,c);eLc(e.i,ibd(d));f=me(fe($X,1),Eoh,14,0,[e.i]);return f}throw Vpb(QCd(a,d.q,b))}\nfunction BOe(a,b,c){wNe();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 Wrh5||e<0.2||c){omg('myPrecision='+sqb(a.n)+ZNh+sqb(d)+$Nh+e);a.i=null;a.n=d;return true}return false}\nfunction gyf(a,b,c){var d,e;d=uqd(b);e=qqb(a.p)/qqb(d);if(e>5||e<0.2||c){omg('resetFingerprint: myPrecision='+sqb(a.p)+ZNh+sqb(d)+$Nh+e);a.i=null;a.p=d;return true}return false}\nfunction rWg(){this.g=(Qhg(),Ihg);this.i=new PYb;this.j=new y9b;h9b(this.j,Phg);h9b(this.j,Jhg);h9b(this.j,Nhg);this.k=new y9b;h9b(this.k,Jhg);h9b(this.k,Nhg)}\nfunction Ryf(a,b){var c;if(NYb(a.u,b)){!!lmg&&mmg(lmg,(Emg(),xmg),'Ignoring existing poly '+b);return}MYb(a.u,b);c=bEb(a.u.g);omg('Adding poly #'+c+i6g+Uzf(b))}\nfunction fBf(b){try{b.g=vBf(b.i)}catch(a){a=Upb(a);if(cf(a,165)){jBf(0,128);return 1}else throw Vpb(a)}if(b.g==49){return gBf(b,128)}return dBf(b,jBf(0,128),1)}\nfunction txf(a,b,c,d,e,f){xwc.call(this,a);this.i=c;this.j=d;this.k=e;this.n=f;this.o=new VOe(a);sxf(this);ROe(this.o,H1e(this.i,this.j,this.k,this.n));eLc(this.o,b)}\nfunction eyf(a,b){var c;c=Oyf(b?a.k:a.n,a.o,b,a);if(!c){!!lmg&&mmg(lmg,(Emg(),xmg),'Cannot compute locus equation (yet?)');gyf(a,a.Sc,true);return null}return fyf(a,c)}\nfunction RAf(a){var b;this.o=je(rf,I6g,5,10,15,1);this.g=new y9b;this.k=new wBf(a);this.s=new kBf(this.k);this.r=new zBf;this.q=-1;this.j=0;for(b=0;b<10;b++)this.o[b]=-1}\nfunction aLe(a,b){if(cf(a.rb,112)){return a.rb.zu(a)}if(!a.rb){if(a.q==null){a.q=je(X1,eNh,38,1,0,1);a.q[0]=new AAf(a.Sc);omg('Variable '+b.Nl()+'('+a.q[0]+')')}}return a.q}\nfunction s3d(a,b){var c;c=je(rf,I6g,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 t3d(a,b){var c;c=je(iu,Wmh,86,3,0,1);c[0]=B7b(K6b(a[1],b[2]),K6b(a[2],b[1]));c[1]=B7b(K6b(a[2],b[0]),K6b(a[0],b[2]));c[2]=B7b(K6b(a[0],b[1]),K6b(a[1],b[0]));return u3d(c)}\nfunction cAf(a,b){var c;c=je(V1,iNh,20,3,0,1);c[0]=Jzf(Pzf(a[1],b[2]),Qzf(Pzf(a[2],b[1])));c[1]=Jzf(Pzf(a[2],b[0]),Qzf(Pzf(a[0],b[2])));c[2]=Jzf(Pzf(a[0],b[1]),Qzf(Pzf(a[1],b[0])));return c}\nfunction UAf(){UAf=Cqb;TAf=me(fe(eu,1),u6g,2,6,[G7g,'\" \"','\"\\\\t\"','\"\\\\n\"','\"\\\\r\"','','','\"[1]:\"','','',I7g,'\"+\"','\"-\"','\"*\"','\"^\"'])}\nfunction u3d(a){var b,c,d,e;b=(v6b(),u6b);for(d=0;d1&&(f.g+='^{'+e+'}',f)}return f.g}\nfunction v0e(a,b){if(!a.rb){!a.Y&&(a.Y=new BAf(a));!a.Z&&(a.Z=new BAf(a));zAf(a.Y,a.Z);zAf(a.Z,a.Y);MYb(b,a.Y);MYb(b,a.Z);return}if(cf(a.rb,133)){a.rb.Du(b);return}throw Vpb(new Cyf)}\nfunction Qxc(a){var b,c,d;c=new h5b;b=new k8b((new h8b(a)).g);while(b.i){d=j8b(b);c.g+=',';Z4b(c,c4b('v',''+d.mf().g));c.g+='=';Y4b(c,d.nf())}if(c.g.length>0){return y4b(c.g,1)}return ''}\nfunction Pld(a,b,c){var d,e;if(a.k.q.length!=0){e=new E9b(a.k);while(e.g_hg&&(_hg=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 y4b(i.g,1);return ''}\nfunction Qhg(){Qhg=Cqb;Phg=new Rhg('RECIOS_PROVER',0);Jhg=new Rhg('BOTANAS_PROVER',1);Nhg=new Rhg('OPENGEOPROVER_WU',2);Mhg=new Rhg('OPENGEOPROVER_AREA',3);Ohg=new Rhg('PURE_SYMBOLIC_PROVER',4);Ihg=new Rhg('AUTO',5);Lhg=new Rhg('LOCUS_IMPLICIT',6);Khg=new Rhg('LOCUS_EXPLICIT',7)}\nfunction uzf(a,b){var c,d,e,f,g,h,i;for(g=a.r,h=0,i=g.length;h0&&c5b(e,e.g.length-1);e.g+='-'}else{x6b(w7b(b,q6b),u6b)<0&&e.g.length>0&&c5b(e,e.g.length-1);e.g+=''+b}}Z4b(e,sAf(f))}e.g+='+'}return N1b(e,0,e.g.length-1)}\nfunction bzf(a,b){var c,d,e,f;if(a.q!=null){return a.q}d=b[0].zu(b[0]);if(a.r==null){a.r=je(X1,eNh,38,4,0,1);a.r[0]=new AAf(b[0].Ci());a.r[1]=new AAf(b[0].Ci());a.r[2]=d[0];a.r[3]=d[1]}c=me(fe(X1,1),eNh,38,0,[a.r[0],a.r[1]]);e=b[1].zu(b[1]);f=b[2].zu(b[2]);a.q=je(V1,iNh,20,2,0,1);a.q[0]=eAf(d[0],d[1],c[0],c[1],e[0],e[1]);a.q[1]=eAf(d[0],d[1],c[0],c[1],f[0],f[1]);return a.q}\nfunction jAf(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!lmg&&mmg(lmg,(Emg(),Cmg),'Setting up equation for parallel lines ('+a+','+b+')-'+'('+c+','+d+pOh+'('+e+','+f+')-'+'('+g+','+h+')');i=new $zf(a);j=new $zf(b);k=new $zf(c);l=new $zf(d);m=new $zf(e);n=new $zf(f);o=new $zf(g);p=new $zf(h);q=Jzf(Pzf(Jzf(i,Qzf(k)),Jzf(n,Qzf(p))),Qzf(Pzf(Jzf(j,Qzf(l)),Jzf(m,Qzf(o)))));return q}\nfunction kAf(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!lmg&&mmg(lmg,(Emg(),Cmg),'Setting up equation for perpendicular lines ('+a+','+b+')-'+'('+c+','+d+pOh+'('+e+','+f+')-'+'('+g+','+h+')');i=new $zf(a);j=new $zf(b);k=new $zf(c);l=new $zf(d);m=new $zf(e);n=new $zf(f);o=new $zf(g);p=new $zf(h);q=Jzf(Pzf(Jzf(i,Qzf(k)),Jzf(m,Qzf(o))),Pzf(Jzf(j,Qzf(l)),Jzf(n,Qzf(p))));return q}\nfunction nBf(b){var c,d;if(b.t==b.g){if(b.g==b.o){if(b.B>m8g){b.n=b.t=0;b.g=b.B}else b.B<0?(b.n=b.t=0):mBf(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++){(HAf[d]&1<126){f=(d=b,q6g+d.toString(16));Z4b(e,p6g+z4b(f,f.length-4,f.length))}else{e.g+=String.fromCharCode(b)}continue;}}return e.g}\nfunction jxf(b,c,d){var e,f,g,h,i,j,k,l,m,n,o;if(d){n=new cEb;for(f=new k8b((new h8b(b)).g);f.i;){e=j8b(f);o=e.mf();YDb(n,o,e.nf())}h=(!JUf&&(JUf=new KUf),JUf);m=lAf(IYb(d.u,je(V1,iNh,20,bEb(d.u.g),0,1)),n,d.r.Ci(),h.k,d.n);!!lmg&&mmg(lmg,(Emg(),xmg),'Recio meets Botana:'+n);if(m==(beg(),_dg)){return Fhg(),zhg}}else{try{g=c.g.Cu(b);for(j=g,k=0,l=j.length;k1?Lhc(n.g[0],n.g[1]):Lhc(n.g[0],0);_pb(n.n>0?r:iqb(r),0)?nec(m,o):mec(m,o,n)}else{f=l.g[0];(l.n>0?f:-f|0)!=0&&mec(m,o,l)}}return new Zzf(m)}\nfunction hyf(a){var b,c,d,e,f,g;f=new _ec;a.q=je($X,Eoh,14,2,0,1);if(a.k){Tec(f,a.o);g=(d=(new K8b(CIc(a.k).g)).g.ee().i.cg(),new L8b(d));a.q[0]=a.k}else{Tec(f,a.o.N.vp());g=(d=(new K8b(CIc(a.n).g)).g.ee().i.cg(),new L8b(d));a.q[0]=a.n}while(g.g.Ef()){e=(c=g.g.Ff(),c.mf());(!e.rb&&(!e.Jb||!DPe(e.Jb))||e.Zn())&&f.g.put(e,(X1b(),V1b))==null}Zec(f,a.o);a.g=je($X,Eoh,14,f.g.size(),0,1);a.g=IYb(f,a.g);a.q[1]=a.o;mwc(a,a.j);kwc(a,a.q,a.g);b=a.o.Qc;do{q9b(b.k,a)}while(m9b(b.k,a,0)!=-1);h9b(b.k,a);a.i=Wxf(a.g);a.p=uqd(a.Sc)}\nfunction mBf(b,c){var d,e,f,g;e=je(of,o6g,5,b.o+m8g,15,1);f=je(rf,I6g,5,b.o+m8g,15,1);d=je(rf,I6g,5,b.o+m8g,15,1);try{if(c){l5b(b.j,b.B,e,0,b.o-b.B);l5b(b.j,0,e,b.o-b.B,b.n);b.j=e;l5b(b.k,b.B,f,0,b.o-b.B);l5b(b.k,0,f,b.o-b.B,b.n);b.k=f;l5b(b.i,b.B,d,0,b.o-b.B);l5b(b.i,0,d,b.o-b.B,b.n);b.i=d;b.t=b.n+=b.o-b.B}else{l5b(b.j,b.B,e,0,b.o-b.B);b.j=e;l5b(b.k,b.B,f,0,b.o-b.B);b.k=f;l5b(b.i,b.B,d,0,b.o-b.B);b.i=d;b.t=b.n-=b.B}}catch(a){a=Upb(a);if(cf(a,51)){g=a;throw Vpb(new jc(g.gd()))}else throw Vpb(a)}b.o+=m8g;b.g=b.o;b.B=0}\nfunction nhg(a){var b,c,d,e;if(!a.q){!!lmg&&mmg(lmg,(Emg(),zmg),'No statement to prove');a.o=(Fhg(),Ehg);return}c=a.q.rb;if(!c){g4b(a.q.yp((_ud(),yud)),Yoh)?(a.o=(Fhg(),Bhg)):g4b(a.q.yp(yud),Bsh)?(a.o=(Fhg(),zhg)):(a.o=(Fhg(),Ehg));return}lig(a.q);if(a.g!=(Qhg(),Ihg)){mhg(a,a.g);return}omg(mOh+a.g);a.p?(d=new E9b(a.k)):(d=new E9b(a.j));a.o=(Fhg(),Ehg);while((a.o==Ehg||a.o==Chg)&&d.g0){J1b(f,j-1,j-1+1,'');Z4b(Z4b(o,ATf(k,'LetABeArbitraryPoints',null,me(fe(eu,1),u6g,2,6,[f.g]))),'.\\n')}o.g+=h;p=I4b(a.rb);Z4b(Z4b(o,ATf(k,'ProveThat',null,me(fe(eu,1),u6g,2,6,[p]))),'.');return o.g}\nfunction kxf(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 v8b(b.g)).g.ee().yd(),new w8b(l)).g.Ff(),i.mf());for(k=1;k<=d+2;k++){YDb(c,u,(v6b(),Ypb(k,0)>=0?Y6b(k):L6b(Y6b(iqb(k)))));if(f){s=new cEb;for(h=new k8b((new h8b(c)).g);h.i;){g=j8b(h);t=g.mf();YDb(s,t,g.nf())}m=(!JUf&&(JUf=new KUf),JUf);r=lAf(IYb(f.u,je(V1,iNh,20,bEb(f.u.g),0,1)),s,f.r.Ci(),m.k,f.n);!!lmg&&mmg(lmg,(Emg(),xmg),SNh+k+' '+s);if(r==(beg(),_dg)){return Fhg(),zhg}}else{try{j=e.g.Cu(c);for(o=j,p=0,q=o.length;p>6],lqb(1,b.j&63)),0)){h=cBf(b);return h}else{continue i}}g=uBf(b.i);f=tBf(b.i);e=null;c=false;try{vBf(b.i);qBf(b.i,1)}catch(a){a=Upb(a);if(cf(a,165)){c=true;e=d<=1?'':oBf(b.i);if(b.g==10||b.g==13){++g;f=0}else ++f}else throw Vpb(a)}if(!c){qBf(b.i,1);e=d<=1?'':oBf(b.i)}throw Vpb(new CBf(c,g,f,e,b.g))}}\nfunction izf(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:Fyf(c,Jzf(g,j));break;case 21:Fyf(c,Jzf(g,Qzf(j)));break;case 24:Fyf(c,Pzf(g,j));break;case 28:i=D3b(J6b(Mzf(c.k.j)));if(i){h=g;for(f=w3b(1);eqb(f.g,i.g);d=f,f=w3b(f.g+1),d){h=Pzf(h,g)}c.j=h}break;default:throw Vpb(new Cyf);}}b.u.Um()&&!c.g.j&&izf(a,b.u,c.g);b.C.Um()&&!c.k.j&&izf(a,b.C,c.k);if(cf(b.u,32)&&!c.g.j){e=U5b(new Y5b(b.u.Uk()));Fyf(c.g,new Xzf(e))}if(cf(b.C,32)&&!c.k.j){e=U5b(new Y5b(b.C.Uk()));Fyf(c.k,new Xzf(e))}if(cf(b.u,32)&&cf(b.C,110)){e=U5b(new Y5b(b.u.Uk()));l=nzf(a,b.C.rj((_ud(),xud)));if(l){k=new vAf(l);Fyf(c,new Yzf(e,k));return}}}\nfunction rzf(a,b,c){var d,e,f,g,h,i,j,k,l;if(c.j){return}if(!!c.g&&!c.k&&c.i==(dag(),u9f)){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:Fyf(c,Jzf(g,j));break;case 21:Fyf(c,Jzf(g,Qzf(j)));break;case 24:Fyf(c,Pzf(g,j));break;case 28:i=D3b(J6b(Mzf(c.k.j)));if(i){h=g;for(f=w3b(1);eqb(f.g,i.g);d=f,f=w3b(f.g+1),d){h=Pzf(h,g)}c.j=h}break;default:throw Vpb(new Cyf);}}b.u.Um()&&!c.g.j&&rzf(a,b.u,c.g);!!b.C&&b.C.Um()&&!c.k.j&&rzf(a,b.C,c.k);if(cf(b.u,32)&&!c.g.j){e=U5b(new Y5b(b.u.Uk()));Fyf(c.g,new Xzf(e))}if(cf(b.C,32)&&!c.k.j){e=U5b(new Y5b(b.C.Uk()));Fyf(c.k,new Xzf(e))}if(cf(b.u,32)&&cf(b.C,110)){e=U5b(new Y5b(b.u.Uk()));l=uzf(a,b.C.rj((_ud(),xud)));if(l){k=new vAf(l);Fyf(c,new Yzf(e,k));return}}}\nfunction dzf(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 Vpb(new Cyf)}n=null;cf(d,36)&&(n=d);if(!e||!f||!n){throw Vpb(new Cyf)}if(a.r==null){g=n0e(e,e);h=n0e(f,f);a.r=je(X1,eNh,38,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 AAf(e.Sc);a.r[5]=new AAf(e.Sc);a.r[6]=new AAf(e.Sc)}a.q=je(V1,iNh,20,2,0,1);i=null;cf(n.rb,325)&&(i=_Ke(n));o=aLe(n,n);l=0;q=mAf(new $zf(o[0]));if(i!=null){a.q=je(V1,iNh,20,i.length+1,0,1);for(l=0;l3?(p.g='DegeneratePolygon'):(p.g=Fxh);n=je($X,Eoh,14,s,0,1);o=0;for(c=new E9b(d);c.g=0?Y6b((d+2-k)*(d+2-n)):L6b(Y6b(iqb((d+2-k)*(d+2-n))))));YDb(c,A[1],Ypb(k*n,0)>=0?Y6b(k*n):L6b(Y6b(iqb(k*n))));if(f){v=new cEb;for(i=new k8b((new h8b(c)).g);i.i;){h=j8b(i);w=h.mf();YDb(v,w,h.nf())}u=lAf(IYb(f.u,je(V1,iNh,20,bEb(f.u.g),0,1)),v,f.r.Ci(),(!JUf&&(JUf=new KUf),JUf).k,f.n);!!lmg&&mmg(lmg,(Emg(),xmg),SNh+g+' '+v);if(u==(beg(),_dg)){return Fhg(),zhg}}else{try{j=e.g.Cu(c);for(r=j,s=0,t=r.length;s5&&(f=5);{bBf(b,0)}break;case 6:case 4:jqb(Xpb(DEh,g),0)&&(bBf(b,4),bBf(b,6));break;case 2:if(_pb(Xpb(DEh,g),0))break;f>6&&(f=6);b.q[b.n++]=2;break;case 5:b.g==58&&(f=8);break;case 8:jqb(Xpb(DEh,g),0)&&aBf(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!=c6g){b.j=f;b.k=d;f=c6g}++d;if((e=b.n)==(h=12-(b.n=h)))return d;try{b.g=vBf(b.i)}catch(a){a=Upb(a);if(cf(a,165)){return d}else throw Vpb(a)}}}\nfunction szf(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.tl();xzf(b,i,p);if(b.r==null){b.r=je(X1,eNh,38,b.j.q.length+1,0,1);b.r[0]=new AAf(p);if(b.j.q.length==0){throw Vpb(new Cyf)}else{n=new E9b(b.j);o=1;while(n.g=0;s--){w=K6b(w,B7b(K6b((v6b(),Ypb(t,0)>=0?Y6b(t):L6b(Y6b(iqb(t)))),_6b(p[s])),Ypb(o,0)>=0?Y6b(o):L6b(Y6b(iqb(o)))));g[o][s]=w}YDb(c,H[o],w)}++u;if(f){F=new cEb;for(j=new k8b((new h8b(c)).g);j.i;){i=j8b(j);G=i.mf();YDb(F,G,i.nf())}D=lAf(IYb(f.u,je(V1,iNh,20,bEb(f.u.g),0,1)),F,f.r.Ci(),(!JUf&&(JUf=new KUf),JUf).k,f.n);!!lmg&&mmg(lmg,(Emg(),xmg),'Recio meets Botana #'+u+i6g+F);if(D==(beg(),_dg)){return Fhg(),zhg}}else{try{k=e.g.Cu(c);for(A=k,B=0,C=A.length;B0?(q=0):(q/=s));v=1/u;A+=B*v*v;A/=u;!!lmg&&mmg(lmg,(Emg(),xmg),'population='+l);!!lmg&&mmg(lmg,(Emg(),xmg),'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=n0e(FPd(e),FPd(e));f[f.length-1]=Jzf(Pzf(nAf(i[0],i[1],g[0],g[1]),new $zf(new AAf(v))),Qzf(new Wzf(1)))}YDb(a.g,b,f);return f}h=je(X1,eNh,38,2,0,1);!a.i&&(a.i=new cEb);if(SDb(a.i,b)){h=VDb(a.i,b)}else{h=je(X1,eNh,38,2,0,1);h[0]=new AAf(v);h[1]=new AAf(v);YDb(a.i,b,h)}if(!a.g){j=VSe(c);l=WSe(c);m=VSe(d);o=WSe(d);k=j.length;n=m.length;f=je(V1,iNh,20,k+n,0,1);for(t=0;t0&&(i.g+=',',i);i.g+=''+K}n=new PYb;CYb(n,a.n);LYb(n,new v8b(b));o=new h5b;for(L=(G=(new v8b(n.g)).g.ee().yd(),new w8b(G));L.g.Ef();){K=(l=L.g.Ff(),l.mf());o.g.length>0&&(o.g+=',',o);o.g+=''+K}h=yyf.Kt();Tyf(a);p=gxc(h).yj(b,a.v,o.g,i.g);q=lXf(aQf(h.g).i)?gxc(h).Bj(p):'?';r=q.length-t4b(q,'{','').length-1;A=new PYb;H=1;for(s=0;sc+1}++k}}\nfunction Hzf(a,b){var c,d,e,f,g,h,i,j;h=b.Ci();if(a.q!=null){return a.q}if(cf(b,56)){if(a.r==null){a.r=je(X1,eNh,38,2,0,1);a.r[0]=new AAf(h);a.r[1]=new AAf(h)}g=b.zu(b);if(g==null){Gzf(a,h);return null}a.q=je(V1,iNh,20,1,0,1);a.q[0]=bAf(g[0],g[1],g[2],g[3],a.r[0],a.r[1]);return a.q}if(cf(b,119)){if(b.mb==4){if(a.r==null){a.r=je(X1,eNh,38,2,0,1);a.r[0]=new AAf(h);a.r[1]=new AAf(h)}g=b.zu(b);if(g==null){Gzf(a,h);return null}a.q=je(V1,iNh,20,1,0,1);a.q[0]=eAf(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(X1,eNh,38,4,0,1);a.r[0]=new AAf(h);a.r[1]=new AAf(h);a.r[2]=new AAf(h);a.r[3]=new AAf(h)}j=b.zu(b);if(j==null){Gzf(a,h);return null}a.q=je(V1,iNh,20,3,0,1);a.q[0]=eAf(j[8],j[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[1]=bAf(j[4],j[5],a.r[2],a.r[3],j[6],j[7]);a.q[2]=kAf(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(X1,eNh,38,4,0,1);a.r[0]=new AAf(h);a.r[1]=new AAf(h);a.r[2]=new AAf(h);a.r[3]=new AAf(h)}i=b.zu(b);if(i==null){Gzf(a,h);return null}if(cf(b.rb,694)){a.q=je(V1,iNh,20,2,0,1);a.q[0]=Jzf(new $zf(i[0]),Qzf(new $zf(a.r[0])));a.q[1]=Jzf(new $zf(i[1]),Qzf(new $zf(a.r[1])));return a.q}a.q=je(V1,iNh,20,3,0,1);e=new $zf(a.r[2]);f=new $zf(a.r[3]);c=new $zf(i[2]);d=new $zf(i[3]);a.q[0]=Jzf(Jzf(Jzf(c,d),Qzf(e)),Qzf(f));a.q[1]=Jzf(nAf(a.r[0],a.r[1],i[6],i[7]),Qzf(Pzf(e,e)));a.q[2]=Jzf(nAf(a.r[0],a.r[1],i[8],i[9]),Qzf(Pzf(f,f)));return a.q}}Gzf(a,h);return null}\nfunction ixf(b,c){var d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,A,B,C,D,F,G,H,I;C=null;d=false;g4b('groebner',(!JUf&&(JUf=new KUf),JUf).j)&&(d=true);e=null;D=c.q;if(cf(D,133)){C=D.Fu()}else if(cf(D.rb,133)){C=D.rb.Fu()}else{return Fhg(),Ehg}if(d){B=new rWg;Dyf(B,(Qhg(),Phg));e=new Yyf(D,null,B);if(e.A==(Fhg(),Ahg)){return Ahg}}H=new PYb;if(d){l=Myf(D);u=new E9b(l);while(u.g5){!!lmg&&mmg(lmg,(Emg(),xmg),\"Recio's method is currently disabled when # of free variables > 5\");return Fhg(),Ehg}try{g=C.g.Bu(b)}catch(a){a=Upb(a);if(cf(a,52)){return Fhg(),Ehg}else throw Vpb(a)}f=0;for(q=g,r=0,s=q.length;r0){uhg(o,a.Qc);v=null;if(a.j){new Ntd(a.Sc);d=o.g;g4b(Cxh,d)?(v=tyf(ptd(o.i[0],o.i[1],true,a.Qc.T.r.J))):g4b(Fxh,d)?(v=tyf(Mtd(o.i[0],o.i[1],o.i[2],a.Qc.T.r.J))):g4b(Bxh,d)?(v=tyf(ltd(o.i[0],o.i[1],false,a.Qc.T.r.J))):g4b(Dxh,d)?(v=tyf(utd(o.i[0],o.i[1],false,a.Qc.T.r.J))):g4b(Exh,d)&&(v=tyf(gtd(o.i[0],o.i[1],false,a.Qc.T.r.J)))}if(!v||!a.j){i=o.i;if(i==null){v=tyf(o.g)}else{v=tyf(jRg(a.Qc.T.r.J,o.g));v.g+='[';for(j=0;j0&&(v.g+=',',v);h=o.i[j];h?Z4b(v,o.i[j].bc):(v.g+=zBh,v)}v.g+=']';a.j&&e5b(v,0,nRg(a.Qc.T.r.J,'not')+' ')}}k5e(m,v.g);m.gc=false;m.Pb=false;w.g.put(m,V1b)==null}}l=(g=(new K8b(w.g)).g.ee().i.cg(),new L8b(g));while(l.g.Ef()){nZe(n,(f=l.g.Ff(),f.mf()))}if(Bhc(B),B){m=new v5e(a.Qc);k5e(m,zBh);m.gc=false;m.Pb=false;w.g.put(m,V1b)==null;nZe(n,m)}n.s.q.length>0&&nZe(a.i,n);if(s==Dhg){c=new v5e(a.Qc);k5e(c,'c');c.gc=false;c.Pb=false;nZe(a.i,c)}}}omg('OUTPUT for ProveDetails: '+a.i)}\nfunction Jyf(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=(!JUf&&(JUf=new KUf),JUf);m=G.Ci();if(!cf(G.rb,529)){qmg(G.rb+dOh);return Fhg(),Ehg}C.k=false;C.g==null&&(C.g=(X1b(),false));e=new Yyf(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=Lyf(b,k)}catch(a){a=Upb(a);if(cf(a,52)){e.A=(Fhg(),Ehg);!!lmg&&mmg(lmg,(Emg(),xmg),'Cannot add fix values');return e.A}else throw Vpb(a)}!!lmg&&mmg(lmg,(Emg(),xmg),'substitutions: '+H)}t=new Byf(b,H,e.n);l=false;w=0;while(!l&&w<1){h=dAf(IYb(e.u,je(V1,iNh,20,bEb(e.u.g),0,1)),H,m,(++w,true),e.n);if(!h){return Fhg(),Ehg}q=(v=(new v8b(h.g)).g.ee().yd(),new w8b(v));J=new y9b;L=new y9b;K=bEb(h.g)==2;f=new y9b;g=rah;p=0;while(q.g.Ef()){++p;!!lmg&&mmg(lmg,(Emg(),xmg),'Considering NDG '+p+M6g);s=new y9b;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){!!lmg&&mmg(lmg,(Emg(),xmg),'Statement is NOT GENERALLY TRUE');Vyf(e,e.r);Qyf(e,e.r,e.C);h=dAf(IYb(e.u,je(V1,iNh,20,bEb(e.u.g),0,1)),H,m,(++w,true),e.n);q=(u=(new v8b(h.g)).g.ee().yd(),new w8b(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){Vyf(e,e.r);n=bEb(e.n.g)-(new v8b(H)).g.size();!!lmg&&mmg(lmg,(Emg(),xmg),'Naive dimension = '+n);if(!zyf(e,H,n)){!!lmg&&mmg(lmg,(Emg(),xmg),'Statement is NOT GENERALLY FALSE');return Fhg(),Dhg}return Fhg(),Ehg}}}return Fhg(),zhg}if(!Ozf(B)){if(e.s){!!lmg&&mmg(lmg,(Emg(),xmg),eOh);return Fhg(),Ehg}r=Ayf(t,B);if(!r){D=false}else{K=K&&I.size()==1;if(K){if(g4b(r.g,'xAreEqual')){A=new PYb;MYb(A,r.i[0]);MYb(A,r.i[1]);hhc(J.q,A)}if(g4b(r.g,'yAreEqual')){A=new PYb;MYb(A,r.i[0]);MYb(A,r.i[1]);hhc(L.q,A)}if(J.q.length==1&&l8b(J,L)){r.g=Bxh;r.j=0.5}}hhc(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=qOh;if(b){B=b.Ui();!!B&&(d=B.Iv());H=b.ab;C==a||(l+=H.length);G=H.length;for(W=H,X=0,Y=W.length;X1&&g4b((Hhc(0,2,j.length),j.substr(0,2)),qlh)&&(j=(Ihc(1,j.length+1),j.substr(1)));o=w4b(j,'\\\\)\\\\*\\\\(',0);if(o.length>1){o[0]=y4b(o[0],1);o[o.length-1]=z4b(o[o.length-1],0,o[o.length-1].length-1)}F=false;o.length==1&&r4b(o[0],'[-+]?\\\\d*\\\\.?\\\\d+')&&(F=true);G=new y9b;if(!F){for(l=o,m=0,n=l.length;m1&&(d=O6d(d,t));I.g.put(G,(X1b(),V1b))==null;Ibc(e.n,G,d)}M=(r=(new K8b((new cfc(I.g.bg())).g)).g.ee().i.cg(),new L8b(r));while(M.g.Ef()){G=(l=M.g.Ff(),l.mf());k=E6d(k,RDb(Hbc(e.n,G)))}if(x6b(g,(v6b(),u6b))>0){S=L6d(S,E6d(f,k));T=true}else{fb=L6d(fb,E6d(f,k));gb=true}}s=new S4d(Q,S,fb);if(eb){if(!T||!gb){!!lmg&&mmg(lmg,(Emg(),xmg),c+' means '+s+', uninteresting');return null}U=new whg;Dyf(U,N4d(s,(_ud(),xud)));U.j=2;!!lmg&&mmg(lmg,(Emg(),xmg),c+' means '+s);return U}!!lmg&&mmg(lmg,(Emg(),xmg),c+' cannot be described by quantities only')}}u=Myf(hb);v=new RYb(u);nb=new wyf(v,3);while(!nb.g){mb=uyf(nb);M=(V=(new v8b(mb.g)).g.ee().yd(),new w8b(V));K=0;db=je($X,Eoh,14,bEb(mb.g),0,1);while(M.g.Ef()){db[K]=(l=M.g.Ff(),l.mf());++K}try{B=db[0].zu(db[0]);C=db[1].zu(db[1]);D=db[2].zu(db[2])}catch(a){a=Upb(a);if(cf(a,52)){!!lmg&&mmg(lmg,(Emg(),xmg),cOh);return null}else throw Vpb(a)}h=Rzf(bAf(B[0],B[1],C[0],C[1],D[0],D[1]),b.k);if(Lzf(c,h)||Jzf(c,h).g.j==0){!!lmg&&mmg(lmg,(Emg(),xmg),c+' means collinearity for '+mb);U=new whg;U.i=db;dac(U.i);U.g=Fxh;ZDb(b.i,R,U);return U}}$=new wyf(v,2);while(!$.g){X=uyf($);M=(V=(new v8b(X.g)).g.ee().yd(),new w8b(V));K=0;db=je($X,Eoh,14,bEb(X.g),0,1);while(M.g.Ef()){db[K]=(l=M.g.Ff(),l.mf());++K}try{B=db[0].zu(db[0]);C=db[1].zu(db[1])}catch(a){a=Upb(a);if(cf(a,52)){!!lmg&&mmg(lmg,(Emg(),xmg),cOh);return null}else throw Vpb(a)}s=Rzf(nAf(B[0],B[1],C[0],C[1]),b.k);if(Lzf(c,s)||Jzf(c,s).g.j==0){!!lmg&&mmg(lmg,(Emg(),xmg),c+' means equality for '+X);U=new whg;U.i=db;dac(U.i);U.g=Bxh;U.j=0.5;ZDb(b.i,R,U);return U}}w=new PYb;sb=new cEb;A=new PYb;vb=new cEb;L=(q=(new K8b(CIc(b.j.q).g)).g.ee().i.cg(),new L8b(q));while(L.g.Ef()){H=(l=L.g.Ff(),l.mf());if(H.sn()&&cf(H,112)){try{qb=H.zu(H)[0];if(NYb(b.g,qb)){YDb(w.g,qb,w);Ibc(sb.n,qb,H)}tb=H.zu(H)[1];if(NYb(b.g,tb)){YDb(A.g,tb,A);Ibc(vb.n,tb,H)}}catch(a){a=Upb(a);if(cf(a,52)){!!lmg&&mmg(lmg,(Emg(),xmg),cOh);return null}else throw Vpb(a)}}}bb=new wyf(w,2);while(!bb.g){X=uyf(bb);P=(V=(new v8b(X.g)).g.ee().yd(),new w8b(V));K=0;i=je(X1,eNh,38,bEb(X.g),0,1);db=je($X,Eoh,14,bEb(X.g),0,1);while(P.g.Ef()){i[K]=(l=P.g.Ff(),l.mf());db[K]=VDb(sb,i[K]);++K}rb=Rzf(Jzf(new $zf(i[0]),Qzf(new $zf(i[1]))),b.k);if(Lzf(c,rb)||Jzf(c,rb).g.j==0){!!lmg&&mmg(lmg,(Emg(),xmg),c+' means x-equality for '+X);U=new whg;U.i=db;dac(U.i);U.g='xAreEqual';U.j=rah;ZDb(b.i,R,U);return U}}bb=new wyf(A,2);while(!bb.g){X=uyf(bb);P=(V=(new v8b(X.g)).g.ee().yd(),new w8b(V));K=0;i=je(X1,eNh,38,bEb(X.g),0,1);db=je($X,Eoh,14,bEb(X.g),0,1);while(P.g.Ef()){i[K]=(l=P.g.Ff(),l.mf());db[K]=VDb(vb,i[K]);++K}ub=Rzf(Jzf(new $zf(i[0]),Qzf(new $zf(i[1]))),b.k);if(Lzf(c,ub)||Jzf(c,ub).g.j==0){!!lmg&&mmg(lmg,(Emg(),xmg),c+' means y-equality for '+X);U=new whg;U.i=db;dac(U.i);U.g='yAreEqual';U.j=rah;ZDb(b.i,R,U);return U}}ab=new wyf(v,2);while(!ab.g){Y=uyf(ab);N=(W=(new v8b(Y.g)).g.ee().yd(),new w8b(W));K=0;db=je($X,Eoh,14,4,0,1);while(N.g.Ef()){db[K]=(l=N.g.Ff(),l.mf());++K}cb=new wyf(v,2);while(!cb.g){Z=uyf(cb);O=(V=(new v8b(Z.g)).g.ee().yd(),new w8b(V));K=2;while(O.g.Ef()){db[K]=(l=O.g.Ff(),l.mf());++K}try{B=db[0].zu(db[0]);C=db[1].zu(db[1]);D=db[2].zu(db[0]);F=db[3].zu(db[1])}catch(a){a=Upb(a);if(cf(a,52)){!!lmg&&mmg(lmg,(Emg(),xmg),cOh);return null}else throw Vpb(a)}s=Rzf(kAf(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(Lzf(c,s)||Jzf(c,s).g.j==0){!!lmg&&mmg(lmg,(Emg(),xmg),c+' means perpendicularity for '+Y+sNh+Z);U=new whg;U.i=db;U.g=Dxh;U.j=qjh;ZDb(b.i,R,U);return U}s=Rzf(jAf(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(Lzf(c,s)||Jzf(c,s).g.j==0){!!lmg&&mmg(lmg,(Emg(),xmg),c+' means parallelism for '+Y+sNh+Z);U=new whg;U.i=db;U.g=Cxh;U.j=qjh;ZDb(b.i,R,U);return U}s=Rzf(Jzf(nAf(B[0],B[1],C[0],C[1]),Qzf(nAf(D[0],D[1],F[0],F[1]))),b.k);if(Lzf(c,s)||Jzf(c,s).g.j==0){!!lmg&&mmg(lmg,(Emg(),xmg),c+' means congruence for '+Y+sNh+Z);U=new whg;U.i=db;U.g=Exh;U.j=qjh;ZDb(b.i,R,U);return U}}}!!lmg&&mmg(lmg,(Emg(),xmg),'No human readable geometrical meaning found for '+c);YDb(b.i,R,null);return null}\nfunction Czf(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.nn()){R=FNe(c);Z=FNe(d);if(R!=null&&Z!=null){if(a.r==null){a.r=je(X1,eNh,38,8,0,1);a.r[0]=new AAf(b.Ci());a.r[1]=new AAf(b.Ci());a.r[2]=new AAf(b.Ci());a.r[3]=new AAf(b.Ci());a.r[4]=new AAf(b.Ci());a.r[5]=new AAf(b.Ci());a.r[6]=new AAf(b.Ci());a.r[7]=new AAf(b.Ci())}a.q=je(V1,iNh,20,8,0,1);mb=new $zf(R[0]);nb=new $zf(R[1]);Ab=new $zf(a.r[4]);Bb=new $zf(a.r[5]);ob=new $zf(a.r[0]);pb=new $zf(a.r[1]);a.q[0]=Jzf(Jzf(Pzf(Ab,new Wzf(2)),Qzf(mb)),Qzf(ob));a.q[1]=Jzf(Jzf(Pzf(Bb,new Wzf(2)),Qzf(nb)),Qzf(pb));g=je(X1,eNh,38,2,0,1);g[0]=Z[0];g[1]=Z[1];h=je(X1,eNh,38,2,0,1);h[0]=Z[2];h[1]=Z[3];a.q[2]=bAf(g[0],g[1],a.r[4],a.r[5],h[0],h[1]);a.q[3]=kAf(R[0],R[1],a.r[4],a.r[5],g[0],g[1],h[0],h[1]);rb=new $zf(R[2]);sb=new $zf(R[3]);Db=new $zf(a.r[6]);Eb=new $zf(a.r[7]);tb=new $zf(a.r[2]);ub=new $zf(a.r[3]);a.q[4]=Jzf(Jzf(Pzf(Db,new Wzf(2)),Qzf(rb)),Qzf(tb));a.q[5]=Jzf(Jzf(Pzf(Eb,new Wzf(2)),Qzf(sb)),Qzf(ub));a.q[6]=bAf(g[0],g[1],a.r[6],a.r[7],h[0],h[1]);a.q[7]=kAf(R[2],R[3],a.r[6],a.r[7],g[0],g[1],h[0],h[1]);return a.q}throw Vpb(new Cyf)}else if(c.sn()){i=c;S=d;Jb=n0e(i,i);Ib=FNe(S);if(a.r==null){a.r=je(X1,eNh,38,6,0,1);a.r[0]=new AAf(b.Ci());a.r[1]=new AAf(b.Ci());a.r[2]=new AAf(b.Ci());a.r[3]=new AAf(b.Ci());a.r[4]=new AAf(b.Ci());a.r[5]=new AAf(b.Ci())}a.q=je(V1,iNh,20,6,0,1);zb=new $zf(a.r[2]);Cb=new $zf(a.r[3]);v=new $zf(Jb[0]);w=new $zf(Jb[1]);A=new $zf(a.r[0]);B=new $zf(a.r[1]);a.q[0]=Jzf(Jzf(Pzf(zb,new Wzf(2)),Qzf(A)),Qzf(v));a.q[1]=Jzf(Jzf(Pzf(Cb,new Wzf(2)),Qzf(B)),Qzf(w));g=je(X1,eNh,38,2,0,1);g[0]=Ib[0];g[1]=Ib[1];h=je(X1,eNh,38,2,0,1);h[0]=Ib[2];h[1]=Ib[3];a.q[2]=bAf(g[0],g[1],h[0],h[1],a.r[2],a.r[3]);l=new $zf(g[0]);m=new $zf(g[1]);q=new $zf(h[0]);r=new $zf(h[1]);ab=new $zf(a.r[4]);db=new $zf(a.r[5]);a.q[3]=Jzf(Jzf(Jzf(q,Qzf(l)),w),Qzf(db));a.q[4]=Jzf(Jzf(Jzf(v,Qzf(r)),m),Qzf(ab));a.q[5]=bAf(a.r[0],a.r[1],a.r[2],a.r[3],a.r[4],a.r[5]);return a.q}else if(c.an()&&c.mb==4){C=c;S=d;Hb=WSe(C);Qb=FNe(S);if(a.r==null){a.r=je(X1,eNh,38,12,0,1);a.r[0]=new AAf(b.Ci());a.r[1]=new AAf(b.Ci());a.r[2]=new AAf(b.Ci());a.r[3]=new AAf(b.Ci());a.r[4]=new AAf(b.Ci());a.r[5]=new AAf(b.Ci());a.r[6]=new AAf(b.Ci());a.r[7]=new AAf(b.Ci());a.r[8]=new AAf(b.Ci());a.r[9]=new AAf(b.Ci());a.r[10]=new AAf(b.Ci());a.r[11]=new AAf(b.Ci())}a.q=je(V1,iNh,20,12,0,1);zb=new $zf(a.r[4]);Cb=new $zf(a.r[5]);l=new $zf(Hb[0]);m=new $zf(Hb[1]);n=new $zf(a.r[0]);o=new $zf(a.r[1]);a.q[0]=Jzf(Jzf(Pzf(zb,new Wzf(2)),Qzf(n)),Qzf(l));a.q[1]=Jzf(Jzf(Pzf(Cb,new Wzf(2)),Qzf(o)),Qzf(m));a.q[2]=bAf(Qb[0],Qb[1],a.r[4],a.r[5],Qb[2],Qb[3]);v=new $zf(Qb[0]);w=new $zf(Qb[1]);D=new $zf(Qb[2]);F=new $zf(Qb[3]);bb=new $zf(a.r[8]);cb=new $zf(a.r[9]);a.q[3]=Jzf(Jzf(Jzf(D,Qzf(v)),m),Qzf(cb));a.q[4]=Jzf(Jzf(Jzf(l,Qzf(F)),w),Qzf(bb));a.q[5]=bAf(a.r[0],a.r[1],a.r[4],a.r[5],a.r[8],a.r[9]);vb=new $zf(a.r[6]);wb=new $zf(a.r[7]);q=new $zf(Hb[2]);r=new $zf(Hb[3]);s=new $zf(a.r[2]);t=new $zf(a.r[3]);a.q[6]=Jzf(Jzf(Pzf(vb,new Wzf(2)),Qzf(s)),Qzf(q));a.q[7]=Jzf(Jzf(Pzf(wb,new Wzf(2)),Qzf(t)),Qzf(r));a.q[8]=bAf(Qb[0],Qb[1],a.r[6],a.r[7],Qb[2],Qb[3]);eb=new $zf(a.r[10]);fb=new $zf(a.r[11]);a.q[9]=Jzf(Jzf(Jzf(D,Qzf(v)),r),Qzf(fb));a.q[10]=Jzf(Jzf(Jzf(q,Qzf(F)),w),Qzf(eb));a.q[11]=bAf(a.r[1],a.r[2],a.r[6],a.r[7],a.r[10],a.r[11]);return a.q}else if(c.an()&&c.mb==9){qb=c;S=d;Sb=WSe(qb);Qb=FNe(S);if(a.r==null){a.r=je(X1,eNh,38,22,0,1);a.r[0]=new AAf(b.Ci());a.r[1]=new AAf(b.Ci());a.r[2]=new AAf(b.Ci());a.r[3]=new AAf(b.Ci());a.r[4]=new AAf(b.Ci());a.r[5]=new AAf(b.Ci());a.r[6]=new AAf(b.Ci());a.r[7]=new AAf(b.Ci());a.r[8]=new AAf(b.Ci());a.r[9]=new AAf(b.Ci());a.r[10]=new AAf(b.Ci());a.r[11]=new AAf(b.Ci());a.r[12]=new AAf(b.Ci());a.r[13]=new AAf(b.Ci());a.r[14]=new AAf(b.Ci());a.r[15]=new AAf(b.Ci());a.r[16]=new AAf(b.Ci());a.r[17]=new AAf(b.Ci());a.r[18]=new AAf(b.Ci());a.r[19]=new AAf(b.Ci());a.r[20]=new AAf(b.Ci());a.r[21]=new AAf(b.Ci())}a.q=je(V1,iNh,20,21,0,1);l=new $zf(Sb[4]);m=new $zf(Sb[5]);Ab=new $zf(a.r[10]);Bb=new $zf(a.r[11]);n=new $zf(a.r[4]);o=new $zf(a.r[5]);bb=new $zf(a.r[16]);cb=new $zf(a.r[17]);U=new $zf(Qb[0]);V=new $zf(Qb[1]);X=new $zf(Qb[2]);Y=new $zf(Qb[3]);a.q[0]=Jzf(Jzf(Pzf(new Wzf(2),Ab),Qzf(l)),Qzf(n));a.q[1]=Jzf(Jzf(Pzf(new Wzf(2),Bb),Qzf(m)),Qzf(o));a.q[2]=bAf(a.r[4],a.r[5],a.r[10],a.r[11],a.r[16],a.r[17]);a.q[3]=bAf(Qb[0],Qb[1],a.r[10],a.r[11],Qb[2],Qb[3]);a.q[4]=Jzf(Jzf(Jzf(X,Qzf(U)),m),Qzf(cb));a.q[5]=Jzf(Jzf(Jzf(l,Qzf(Y)),V),Qzf(bb));q=new $zf(Sb[6]);r=new $zf(Sb[7]);Db=new $zf(a.r[12]);Eb=new $zf(a.r[13]);s=new $zf(a.r[6]);t=new $zf(a.r[7]);eb=new $zf(a.r[18]);fb=new $zf(a.r[19]);a.q[6]=Jzf(Jzf(Pzf(new Wzf(2),Db),Qzf(q)),Qzf(s));a.q[7]=Jzf(Jzf(Pzf(new Wzf(2),Eb),Qzf(r)),Qzf(t));a.q[8]=bAf(a.r[6],a.r[7],a.r[12],a.r[13],a.r[18],a.r[19]);a.q[9]=bAf(Qb[0],Qb[1],a.r[12],a.r[13],Qb[2],Qb[3]);a.q[10]=Jzf(Jzf(Jzf(X,Qzf(U)),r),Qzf(fb));a.q[11]=Jzf(Jzf(Jzf(q,Qzf(Y)),V),Qzf(eb));M=new $zf(Sb[8]);N=new $zf(Sb[9]);Fb=new $zf(a.r[14]);Gb=new $zf(a.r[15]);O=new $zf(a.r[8]);P=new $zf(a.r[9]);gb=new $zf(a.r[20]);hb=new $zf(a.r[21]);a.q[12]=Jzf(Jzf(Pzf(new Wzf(2),Fb),Qzf(M)),Qzf(O));a.q[13]=Jzf(Jzf(Pzf(new Wzf(2),Gb),Qzf(N)),Qzf(P));a.q[14]=bAf(a.r[8],a.r[9],a.r[14],a.r[15],a.r[20],a.r[21]);a.q[15]=bAf(Qb[0],Qb[1],a.r[14],a.r[15],Qb[2],Qb[3]);a.q[16]=Jzf(Jzf(Jzf(X,Qzf(U)),N),Qzf(hb));a.q[17]=Jzf(Jzf(Jzf(M,Qzf(Y)),V),Qzf(gb));a.q[18]=eAf(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[19]=bAf(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[20]=kAf(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 Vpb(new Cyf)}else if(cf(e,34)){if(c.sn()){j=c;k=e;Kb=n0e(j,j);Lb=n0e(k,k);if(a.r==null){a.r=je(X1,eNh,38,2,0,1);a.r[0]=new AAf(b.Ci());a.r[1]=new AAf(b.Ci())}a.q=je(V1,iNh,20,2,0,1);l=new $zf(Kb[0]);m=new $zf(Kb[1]);q=new $zf(Lb[0]);r=new $zf(Lb[1]);n=new $zf(a.r[0]);o=new $zf(a.r[1]);a.q[0]=Jzf(Jzf(Pzf(q,new Wzf(2)),Qzf(l)),Qzf(n));a.q[1]=Jzf(Jzf(Pzf(r,new Wzf(2)),Qzf(m)),Qzf(o));return a.q}else if(c.nn()){S=c;i=e;Qb=FNe(S);Jb=n0e(i,i);if(a.r==null){a.r=je(X1,eNh,38,4,0,1);a.r[0]=new AAf(b.Ci());a.r[1]=new AAf(b.Ci());a.r[2]=new AAf(b.Ci());a.r[3]=new AAf(b.Ci())}a.q=je(V1,iNh,20,4,0,1);mb=new $zf(Jb[0]);nb=new $zf(Jb[1]);l=new $zf(Qb[0]);m=new $zf(Qb[1]);n=new $zf(a.r[0]);o=new $zf(a.r[1]);q=new $zf(Qb[2]);r=new $zf(Qb[3]);s=new $zf(a.r[2]);t=new $zf(a.r[3]);a.q[0]=Jzf(Jzf(mb,Qzf(l)),Qzf(Jzf(n,Qzf(mb))));a.q[1]=Jzf(Jzf(nb,Qzf(m)),Qzf(Jzf(o,Qzf(nb))));a.q[2]=Jzf(Jzf(mb,Qzf(q)),Qzf(Jzf(s,Qzf(mb))));a.q[3]=Jzf(Jzf(nb,Qzf(r)),Qzf(Jzf(t,Qzf(nb))));return a.q}else if(c.an()&&c.mb==4){C=c;i=e;Hb=WSe(C);Jb=n0e(i,i);if(a.r==null){a.r=je(X1,eNh,38,4,0,1);a.r[0]=new AAf(b.Ci());a.r[1]=new AAf(b.Ci());a.r[2]=new AAf(b.Ci());a.r[3]=new AAf(b.Ci())}a.q=je(V1,iNh,20,4,0,1);mb=new $zf(Jb[0]);nb=new $zf(Jb[1]);l=new $zf(Hb[0]);m=new $zf(Hb[1]);n=new $zf(a.r[0]);o=new $zf(a.r[1]);q=new $zf(Hb[2]);r=new $zf(Hb[3]);s=new $zf(a.r[2]);t=new $zf(a.r[3]);a.q[0]=Jzf(Jzf(mb,Qzf(l)),Qzf(Jzf(n,Qzf(mb))));a.q[1]=Jzf(Jzf(nb,Qzf(m)),Qzf(Jzf(o,Qzf(nb))));a.q[2]=Jzf(Jzf(mb,Qzf(q)),Qzf(Jzf(s,Qzf(mb))));a.q[3]=Jzf(Jzf(nb,Qzf(r)),Qzf(Jzf(t,Qzf(nb))));return a.q}else if(c.an()&&c.mb==9){qb=c;i=e;Sb=WSe(qb);Jb=n0e(i,i);if(a.r==null){a.r=je(X1,eNh,38,10,0,1);a.r[0]=new AAf(b.Ci());a.r[1]=new AAf(b.Ci());a.r[2]=new AAf(b.Ci());a.r[3]=new AAf(b.Ci());a.r[4]=new AAf(b.Ci());a.r[5]=new AAf(b.Ci());a.r[6]=new AAf(b.Ci());a.r[7]=new AAf(b.Ci());a.r[8]=new AAf(b.Ci());a.r[9]=new AAf(b.Ci())}a.q=je(V1,iNh,20,13,0,1);mb=new $zf(Sb[0]);nb=new $zf(Sb[1]);vb=new $zf(Sb[2]);wb=new $zf(Sb[3]);l=new $zf(Sb[4]);m=new $zf(Sb[5]);q=new $zf(Sb[6]);r=new $zf(Sb[7]);M=new $zf(Sb[8]);N=new $zf(Sb[9]);ob=new $zf(a.r[0]);pb=new $zf(a.r[1]);xb=new $zf(a.r[2]);yb=new $zf(a.r[3]);n=new $zf(a.r[4]);o=new $zf(a.r[5]);s=new $zf(a.r[6]);t=new $zf(a.r[7]);O=new $zf(a.r[8]);P=new $zf(a.r[9]);T=new $zf(Jb[0]);W=new $zf(Jb[1]);a.q[0]=Jzf(Jzf(Pzf(new Wzf(2),T),Qzf(mb)),Qzf(ob));a.q[1]=Jzf(Jzf(Pzf(new Wzf(2),W),Qzf(nb)),Qzf(pb));a.q[2]=Jzf(Jzf(Pzf(new Wzf(2),T),Qzf(vb)),Qzf(xb));a.q[3]=Jzf(Jzf(Pzf(new Wzf(2),W),Qzf(wb)),Qzf(yb));a.q[4]=Jzf(Jzf(Pzf(new Wzf(2),T),Qzf(l)),Qzf(n));a.q[5]=Jzf(Jzf(Pzf(new Wzf(2),W),Qzf(m)),Qzf(o));a.q[6]=Jzf(Jzf(Pzf(new Wzf(2),T),Qzf(q)),Qzf(s));a.q[7]=Jzf(Jzf(Pzf(new Wzf(2),W),Qzf(r)),Qzf(t));a.q[8]=Jzf(Jzf(Pzf(new Wzf(2),T),Qzf(M)),Qzf(O));a.q[9]=Jzf(Jzf(Pzf(new Wzf(2),W),Qzf(N)),Qzf(P));a.q[10]=eAf(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[11]=bAf(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[12]=kAf(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.an()&&c.mb==3){L=c;i=e;Ob=WSe(L);Jb=n0e(i,i);if(Ob[6]==Ob[8]&&Ob[7]==Ob[9]){if(a.r==null){a.r=je(X1,eNh,38,4,0,1);a.r[0]=new AAf(b.Ci());a.r[1]=new AAf(b.Ci());a.r[2]=new AAf(b.Ci());a.r[3]=new AAf(b.Ci())}a.q=je(V1,iNh,20,4,0,1);l=new $zf(Ob[0]);m=new $zf(Ob[1]);v=new $zf(Ob[2]);w=new $zf(Ob[3]);mb=new $zf(Jb[0]);nb=new $zf(Jb[1]);n=new $zf(a.r[0]);o=new $zf(a.r[1]);A=new $zf(a.r[2]);B=new $zf(a.r[3]);a.q[0]=Jzf(Jzf(Pzf(new Wzf(2),mb),Qzf(l)),Qzf(n));a.q[1]=Jzf(Jzf(Pzf(new Wzf(2),nb),Qzf(m)),Qzf(o));a.q[2]=Jzf(Jzf(Pzf(new Wzf(2),mb),Qzf(v)),Qzf(A));a.q[3]=Jzf(Jzf(Pzf(new Wzf(2),nb),Qzf(w)),Qzf(B))}else{if(a.r==null){a.r=je(X1,eNh,38,12,0,1);a.r[0]=new AAf(b.Ci());a.r[1]=new AAf(b.Ci());a.r[2]=new AAf(b.Ci());a.r[3]=new AAf(b.Ci());a.r[4]=new AAf(b.Ci());a.r[5]=new AAf(b.Ci());a.r[6]=new AAf(b.Ci());a.r[7]=new AAf(b.Ci());a.r[8]=new AAf(b.Ci());a.r[9]=new AAf(b.Ci());a.r[10]=new AAf(b.Ci());a.r[11]=new AAf(b.Ci())}a.q=je(V1,iNh,20,13,0,1);mb=new $zf(Ob[0]);nb=new $zf(Ob[1]);l=new $zf(Ob[6]);m=new $zf(Ob[7]);q=new $zf(Ob[8]);r=new $zf(Ob[9]);v=new $zf(Ob[10]);w=new $zf(Ob[11]);T=new $zf(Jb[0]);W=new $zf(Jb[1]);ob=new $zf(a.r[0]);pb=new $zf(a.r[1]);n=new $zf(a.r[6]);o=new $zf(a.r[7]);s=new $zf(a.r[8]);t=new $zf(a.r[9]);A=new $zf(a.r[10]);B=new $zf(a.r[11]);D=new $zf(a.r[2]);F=new $zf(a.r[3]);J=new $zf(a.r[4]);K=new $zf(a.r[5]);a.q[0]=Jzf(Jzf(Pzf(new Wzf(2),T),Qzf(mb)),Qzf(ob));a.q[1]=Jzf(Jzf(Pzf(new Wzf(2),W),Qzf(nb)),Qzf(pb));a.q[2]=Jzf(Jzf(Pzf(new Wzf(2),T),Qzf(l)),Qzf(n));a.q[3]=Jzf(Jzf(Pzf(new Wzf(2),W),Qzf(m)),Qzf(o));a.q[4]=Jzf(Jzf(Pzf(new Wzf(2),T),Qzf(q)),Qzf(s));a.q[5]=Jzf(Jzf(Pzf(new Wzf(2),W),Qzf(r)),Qzf(t));a.q[6]=Jzf(Jzf(Pzf(new Wzf(2),T),Qzf(v)),Qzf(A));a.q[7]=Jzf(Jzf(Pzf(new Wzf(2),W),Qzf(w)),Qzf(B));a.q[8]=Jzf(Jzf(Jzf(D,F),Qzf(J)),Qzf(K));a.q[9]=Jzf(nAf(a.r[6],a.r[7],a.r[8],a.r[9]),Qzf(Pzf(D,D)));a.q[10]=Jzf(nAf(a.r[6],a.r[7],a.r[8],a.r[9]),Qzf(Pzf(F,F)));a.q[11]=Jzf(nAf(a.r[6],a.r[7],a.r[0],a.r[1]),Qzf(Pzf(J,J)));a.q[12]=Jzf(nAf(a.r[8],a.r[9],a.r[0],a.r[1]),Qzf(Pzf(K,K)))}return a.q}else if(c.an()&&c.mb==5){Q=c;i=e;Pb=WSe(Q);Jb=n0e(i,i);if(a.r==null){a.r=je(X1,eNh,38,12,0,1);a.r[0]=new AAf(b.Ci());a.r[1]=new AAf(b.Ci());a.r[2]=new AAf(b.Ci());a.r[3]=new AAf(b.Ci());a.r[4]=new AAf(b.Ci());a.r[5]=new AAf(b.Ci());a.r[6]=new AAf(b.Ci());a.r[7]=new AAf(b.Ci());a.r[8]=new AAf(b.Ci());a.r[9]=new AAf(b.Ci());a.r[10]=new AAf(b.Ci());a.r[11]=new AAf(b.Ci())}a.q=je(V1,iNh,20,13,0,1);mb=new $zf(Pb[0]);nb=new $zf(Pb[1]);l=new $zf(Pb[6]);m=new $zf(Pb[7]);q=new $zf(Pb[8]);r=new $zf(Pb[9]);v=new $zf(Pb[10]);w=new $zf(Pb[11]);T=new $zf(Jb[0]);W=new $zf(Jb[1]);ob=new $zf(a.r[0]);pb=new $zf(a.r[1]);n=new $zf(a.r[6]);o=new $zf(a.r[7]);s=new $zf(a.r[8]);t=new $zf(a.r[9]);A=new $zf(a.r[10]);B=new $zf(a.r[11]);D=new $zf(a.r[2]);F=new $zf(a.r[3]);J=new $zf(a.r[4]);K=new $zf(a.r[5]);a.q[0]=Jzf(Jzf(Pzf(new Wzf(2),T),Qzf(mb)),Qzf(ob));a.q[1]=Jzf(Jzf(Pzf(new Wzf(2),W),Qzf(nb)),Qzf(pb));a.q[2]=Jzf(Jzf(Pzf(new Wzf(2),T),Qzf(l)),Qzf(n));a.q[3]=Jzf(Jzf(Pzf(new Wzf(2),W),Qzf(m)),Qzf(o));a.q[4]=Jzf(Jzf(Pzf(new Wzf(2),T),Qzf(q)),Qzf(s));a.q[5]=Jzf(Jzf(Pzf(new Wzf(2),W),Qzf(r)),Qzf(t));a.q[6]=Jzf(Jzf(Pzf(new Wzf(2),T),Qzf(v)),Qzf(A));a.q[7]=Jzf(Jzf(Pzf(new Wzf(2),W),Qzf(w)),Qzf(B));a.q[8]=Jzf(Jzf(Jzf(D,Qzf(F)),Qzf(J)),K);a.q[9]=Jzf(nAf(a.r[6],a.r[7],a.r[10],a.r[11]),Qzf(Pzf(D,D)));a.q[10]=Jzf(nAf(a.r[8],a.r[9],a.r[10],a.r[11]),Qzf(Pzf(F,F)));a.q[3]=Jzf(nAf(a.r[6],a.r[7],a.r[0],a.r[1]),Qzf(Pzf(J,J)));a.q[4]=Jzf(nAf(a.r[8],a.r[9],a.r[0],a.r[1]),Qzf(Pzf(K,K)));return a.q}throw Vpb(new Cyf)}else if(f){if(c.sn()){i=c;u=f;Jb=n0e(i,i);Mb=WSe(u);if(a.r==null){a.r=je(X1,eNh,38,8,0,1);a.r[0]=new AAf(b.Ci());a.r[1]=new AAf(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=je(V1,iNh,20,2,0,1);ib=new $zf(Mb[0]);jb=new $zf(Mb[1]);l=new $zf(Mb[2]);m=new $zf(Mb[3]);q=new $zf(Jb[0]);r=new $zf(Jb[1]);s=new $zf(a.r[0]);t=new $zf(a.r[1]);kb=Jzf(Pzf(Jzf(l,Qzf(ib)),Jzf(l,Qzf(ib))),Pzf(Jzf(m,Qzf(jb)),Jzf(m,Qzf(jb))));G=Jzf(Pzf(Jzf(q,Qzf(ib)),Jzf(q,Qzf(ib))),Pzf(Jzf(r,Qzf(jb)),Jzf(r,Qzf(jb))));a.q[0]=Jzf(Pzf(kb,Jzf(q,Qzf(ib))),Pzf(Jzf(ib,Qzf(s)),G));a.q[1]=Jzf(Pzf(kb,Jzf(r,Qzf(jb))),Pzf(Jzf(jb,Qzf(t)),G));return a.q}else if(c.nn()){!!lmg&&mmg(lmg,(Emg(),xmg),'mirroring line about circle not implemented');throw Vpb(new Cyf)}else if(c.an()&&c.mb==4){C=c;$=f;Nb=WSe(C);Rb=WSe($);if(a.r==null){a.r=je(X1,eNh,38,4,0,1);a.r[0]=new AAf(b.Ci());a.r[1]=new AAf(b.Ci());a.r[2]=new AAf(b.Ci());a.r[3]=new AAf(b.Ci())}a.q=je(V1,iNh,20,4,0,1);l=new $zf(Nb[0]);m=new $zf(Nb[1]);q=new $zf(Nb[2]);r=new $zf(Nb[3]);ib=new $zf(Rb[0]);jb=new $zf(Rb[1]);v=new $zf(Rb[2]);w=new $zf(Rb[3]);n=new $zf(a.r[0]);o=new $zf(a.r[1]);s=new $zf(a.r[2]);t=new $zf(a.r[3]);lb=Jzf(Pzf(Jzf(v,Qzf(ib)),Jzf(v,Qzf(ib))),Pzf(Jzf(w,Qzf(jb)),Jzf(w,Qzf(jb))));p=Jzf(Pzf(Jzf(q,Qzf(l)),Jzf(q,Qzf(l))),Pzf(Jzf(r,Qzf(m)),Jzf(r,Qzf(m))));H=Jzf(Jzf(Pzf(Jzf(l,Qzf(ib)),Jzf(l,Qzf(ib))),Pzf(Jzf(m,Qzf(jb)),Jzf(m,Qzf(jb)))),Qzf(p));a.q[0]=Jzf(Pzf(lb,Jzf(l,Qzf(ib))),Pzf(Jzf(ib,Qzf(n)),H));a.q[1]=Jzf(Pzf(lb,Jzf(m,Qzf(jb))),Pzf(Jzf(jb,Qzf(o)),H));I=Jzf(Pzf(Jzf(q,Qzf(ib)),Jzf(q,Qzf(ib))),Pzf(Jzf(r,Qzf(jb)),Jzf(r,Qzf(jb))));a.q[2]=Jzf(Pzf(lb,Jzf(q,Qzf(ib))),Pzf(Jzf(ib,Qzf(s)),I));a.q[3]=Jzf(Pzf(lb,Jzf(r,Qzf(jb))),Pzf(Jzf(jb,Qzf(t)),I));return a.q}else{throw Vpb(new Cyf)}}else{throw Vpb(new Cyf)}}\nvar LNh='[LocusEqu] result[',MNh='eliminate([',NNh='],revlist([',ONh='PRECISION = ',PNh='[1]: [1]: _[1]=1 _[2]=',QNh='Cannot parse: ',RNh='Cannot get Botana variables for ',SNh='Recio meets Botana: #',TNh={16:1,25:1,17:1,22:1,133:1,529:1,26:1},UNh={16:1,25:1,17:1,22:1,529:1,26:1},VNh='Cannot compute implicit curve (yet?)',WNh='Benchmarking: ',XNh='Output from giac: ',YNh='Error on running Giac code',ZNh=' kernelPrecision=',$Nh=' precisionRatio=',_Nh='OpenGeoProver',aOh='PureSymbolic',bOh='STATEMENT IS ',cOh='Cannot get Botana vars during NDG detection',dOh=' unimplemented',eOh='Interpreting TRUE as UNKNOWN',fOh='Extra poly 3 for ',gOh='Extra poly 4 for ',hOh='Eliminating system in ',iOh=' variables (',jOh=' dependent)',kOh='gbt polys = ',lOh='gbt vars = ',mOh='Using ',nOh='Possible numerical error in converting formula coefficients to integer',oOh='ggbtmpvar2',pOh=') and ',qOh='Free Point';Bqb(1873,594,anh,C8b);_.pf=function(a){throw Vpb(new n5b)};var zu=I2b(1873);Bqb(4198,287,abh);_.bg=function(){return new I8b(this)};Bqb(2156,4198,abh,I8b);_.clear=function(){this.g.clear()};_.ag=function(){return this.g.cg()};_.bg=t$h;_.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 Cu=I2b(2156);Bqb(222,4198,onh,xec);_.ag=function(){return new yec(this)};_.kg=function(a,b){return hec(this,a,b)};Bqb(Jdh,1,{},yec,zec);_.Df=s$h;_.Ff=function(){return this.i=r8b(this.g)};_.Ef=function(){return this.g.i>0};_.Gf=function(){p8b(this.g);oec(this.j,this.i);this.i=null};var Yv=I2b(Jdh);Bqb(767,4198,abh);_.ag=function(){return new zec(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 Vpb(new l3b(pnh+a+' greater than '+this.n))}return this.o.wg()?tec(this.j,this.i,this.g,a,b):hec(this.j,a,b)};Bqb(1317,1,$oh);_.wj=function(a,b){var c,d;d=new h5b;c=MNh+a+NNh+b+']))';return Z4b(Z4b(Z4b(Z4b(Z4b(Z4b((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};_.xj=function(a,b,c,d){var e,f;if(!c){return (Jyc(),Dyc)+'(eliminate(['+a+NNh+b+'])))'}e=''+sqb(d.g);!!lmg&&mmg(lmg,(Emg(),xmg),ONh+e);f=(Jyc(),Dyc)+'([[ee:=eliminate(['+a+NNh+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};_.yj=function(a,b,c,d){var e,f,g;e='[[GB:=gbasis(';!!a&&(e+=yBh);e+='['+b+']';if(a){f=Qxc(a);e+=',['+f+'])'}g=c+_zf(d);g4b(g.substr(0,1),',')&&(g=(Ihc(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};_.zj=function(a,b,c,d,e){var f,g,h;f='[[ii:=gbasis(';f+=yBh;f+='['+b+']';g=Qxc(a);f+=',['+g+'])';h=c+_zf(d);f+=',['+h+'],revlex)],('+'ii'+'[0]!=1)&&('+'ii'+'[0]!=-1)][1]';return f};_.Fj=function(a){var b,c,d,e;b=Mxc(a);c=Nxc(a);e=je(pf,h6g,84,c.length+1,0,3);e[0]=b;for(d=0;d0){c=n0e(this.r,this.r);b[b.length-1]=Jzf(Pzf(nAf(d[0],d[1],c[0],c[1]),new $zf(new AAf(this.Sc))),Qzf(new Wzf(1)))}YDb(this.n,a,b);return b}throw Vpb(new Cyf)}else if(this.p.mb==9||this.p.mb==3||this.p.mb==5){if(this.t){p=FNe(this.t);d=je(X1,eNh,38,2,0,1);!this.o&&(this.o=new cEb);if(SDb(this.o,a)){d=VDb(this.o,a)}else{d=je(X1,eNh,38,2,0,1);d[0]=new AAf(this.Sc);d[1]=new AAf(this.Sc);YDb(this.o,a,d)}e=VSe(this.p);g=WSe(this.p);f=e.length;b=je(V1,iNh,20,f+1,0,1);for(k=0;ki&&(i=h[g])}b[0]=i;return b}throw Vpb(new Cyf)};_.Cu=function(a){var b,c,d,e,f,g;if(!!this.i&&!!this.j&&!!this.k&&!!this.n){c=u0e(this.i,a);d=u0e(this.j,a);e=u0e(this.k,a);f=u0e(this.n,a);b=je(iu,Wmh,86,1,0,1);g=he(iu,[h6g,Wmh],[205,86],0,[4,4],2);g[0][0]=K6b(c[0],c[2]);g[0][1]=K6b(c[1],c[2]);g[0][2]=w7b(K6b(c[0],c[0]),K6b(c[1],c[1]));g[0][3]=K6b(c[2],c[2]);g[1][0]=K6b(d[0],d[2]);g[1][1]=K6b(d[1],d[2]);g[1][2]=w7b(K6b(d[0],d[0]),K6b(d[1],d[1]));g[1][3]=K6b(d[2],d[2]);g[2][0]=K6b(e[0],e[2]);g[2][1]=K6b(e[1],e[2]);g[2][2]=w7b(K6b(e[0],e[0]),K6b(e[1],e[1]));g[2][3]=K6b(e[2],e[2]);g[3][0]=K6b(f[0],f[2]);g[3][1]=K6b(f[1],f[2]);g[3][2]=w7b(K6b(f[0],f[0]),K6b(f[1],f[1]));g[3][3]=K6b(f[2],f[2]);b[0]=w7b(B7b(B7b(w7b(w7b(B7b(B7b(w7b(w7b(B7b(B7b(w7b(w7b(B7b(B7b(w7b(w7b(B7b(B7b(w7b(w7b(B7b(B7b(K6b(K6b(K6b(g[0][3],g[1][2]),g[2][1]),g[3][0]),K6b(K6b(K6b(g[0][2],g[1][3]),g[2][1]),g[3][0])),K6b(K6b(K6b(g[0][3],g[1][1]),g[2][2]),g[3][0])),K6b(K6b(K6b(g[0][1],g[1][3]),g[2][2]),g[3][0])),K6b(K6b(K6b(g[0][2],g[1][1]),g[2][3]),g[3][0])),K6b(K6b(K6b(g[0][1],g[1][2]),g[2][3]),g[3][0])),K6b(K6b(K6b(g[0][3],g[1][2]),g[2][0]),g[3][1])),K6b(K6b(K6b(g[0][2],g[1][3]),g[2][0]),g[3][1])),K6b(K6b(K6b(g[0][3],g[1][0]),g[2][2]),g[3][1])),K6b(K6b(K6b(g[0][0],g[1][3]),g[2][2]),g[3][1])),K6b(K6b(K6b(g[0][2],g[1][0]),g[2][3]),g[3][1])),K6b(K6b(K6b(g[0][0],g[1][2]),g[2][3]),g[3][1])),K6b(K6b(K6b(g[0][3],g[1][1]),g[2][0]),g[3][2])),K6b(K6b(K6b(g[0][1],g[1][3]),g[2][0]),g[3][2])),K6b(K6b(K6b(g[0][3],g[1][0]),g[2][1]),g[3][2])),K6b(K6b(K6b(g[0][0],g[1][3]),g[2][1]),g[3][2])),K6b(K6b(K6b(g[0][1],g[1][0]),g[2][3]),g[3][2])),K6b(K6b(K6b(g[0][0],g[1][1]),g[2][3]),g[3][2])),K6b(K6b(K6b(g[0][2],g[1][1]),g[2][0]),g[3][3])),K6b(K6b(K6b(g[0][1],g[1][2]),g[2][0]),g[3][3])),K6b(K6b(K6b(g[0][2],g[1][0]),g[2][1]),g[3][3])),K6b(K6b(K6b(g[0][0],g[1][2]),g[2][1]),g[3][3])),K6b(K6b(K6b(g[0][1],g[1][0]),g[2][2]),g[3][3])),K6b(K6b(K6b(g[0][0],g[1][1]),g[2][2]),g[3][3]));return b}throw Vpb(new Cyf)};_.Du=function(a){if(!!this.i&&!!this.j&&!!this.k&&!!this.n){v0e(this.i,a);v0e(this.j,a);v0e(this.k,a);v0e(this.n,a);return}throw Vpb(new Cyf)};_.Eu=function(){var a,b,c,d,e;if(this.p!=null){return this.p}if(!!this.i&&!!this.j&&!!this.k&&!!this.n){a=B0e(this.i);b=B0e(this.j);c=B0e(this.k);d=B0e(this.n);this.p=je(V1,iNh,20,1,0,1);e=he(V1,[h6g,iNh],[59,20],0,[4,4],2);e[0][0]=Pzf(a[0],a[2]);e[0][1]=Pzf(a[1],a[2]);e[0][2]=Jzf(Pzf(a[0],a[0]),Pzf(a[1],a[1]));e[0][3]=Pzf(a[2],a[2]);e[1][0]=Pzf(b[0],b[2]);e[1][1]=Pzf(b[1],b[2]);e[1][2]=Jzf(Pzf(b[0],b[0]),Pzf(b[1],b[1]));e[1][3]=Pzf(b[2],b[2]);e[2][0]=Pzf(c[0],c[2]);e[2][1]=Pzf(c[1],c[2]);e[2][2]=Jzf(Pzf(c[0],c[0]),Pzf(c[1],c[1]));e[2][3]=Pzf(c[2],c[2]);e[3][0]=Pzf(d[0],d[2]);e[3][1]=Pzf(d[1],d[2]);e[3][2]=Jzf(Pzf(d[0],d[0]),Pzf(d[1],d[1]));e[3][3]=Pzf(d[2],d[2]);this.p[0]=Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Jzf(Pzf(e[0][3],Pzf(e[1][2],Pzf(e[2][1],e[3][0]))),Qzf(Pzf(Pzf(Pzf(e[0][2],e[1][3]),e[2][1]),e[3][0]))),Qzf(Pzf(Pzf(Pzf(e[0][3],e[1][1]),e[2][2]),e[3][0]))),Pzf(Pzf(Pzf(e[0][1],e[1][3]),e[2][2]),e[3][0])),Pzf(Pzf(Pzf(e[0][2],e[1][1]),e[2][3]),e[3][0])),Qzf(Pzf(Pzf(Pzf(e[0][1],e[1][2]),e[2][3]),e[3][0]))),Qzf(Pzf(Pzf(Pzf(e[0][3],e[1][2]),e[2][0]),e[3][1]))),Pzf(Pzf(Pzf(e[0][2],e[1][3]),e[2][0]),e[3][1])),Pzf(Pzf(Pzf(e[0][3],e[1][0]),e[2][2]),e[3][1])),Qzf(Pzf(Pzf(Pzf(e[0][0],e[1][3]),e[2][2]),e[3][1]))),Qzf(Pzf(Pzf(Pzf(e[0][2],e[1][0]),e[2][3]),e[3][1]))),Pzf(Pzf(Pzf(e[0][0],e[1][2]),e[2][3]),e[3][1])),Pzf(Pzf(Pzf(e[0][3],e[1][1]),e[2][0]),e[3][2])),Qzf(Pzf(Pzf(Pzf(e[0][1],e[1][3]),e[2][0]),e[3][2]))),Qzf(Pzf(Pzf(Pzf(e[0][3],e[1][0]),e[2][1]),e[3][2]))),Pzf(Pzf(Pzf(e[0][0],e[1][3]),e[2][1]),e[3][2])),Pzf(Pzf(Pzf(e[0][1],e[1][0]),e[2][3]),e[3][2])),Qzf(Pzf(Pzf(Pzf(e[0][0],e[1][1]),e[2][3]),e[3][2]))),Qzf(Pzf(Pzf(Pzf(e[0][2],e[1][1]),e[2][0]),e[3][3]))),Pzf(Pzf(Pzf(e[0][1],e[1][2]),e[2][0]),e[3][3])),Pzf(Pzf(Pzf(e[0][2],e[1][0]),e[2][1]),e[3][3])),Qzf(Pzf(Pzf(Pzf(e[0][0],e[1][2]),e[2][1]),e[3][3]))),Qzf(Pzf(Pzf(Pzf(e[0][1],e[1][0]),e[2][2]),e[3][3]))),Pzf(Pzf(Pzf(e[0][0],e[1][1]),e[2][2]),e[3][3]));return this.p}throw Vpb(new Cyf)};_.Fu=e$h;_.pj=function(){sxf(this)};var t1=I2b(1547);Bqb(734,17,{16:1,25:1,17:1,22:1,133:1,529:1,26:1,734:1},xxf,yxf);_.Ui=function(){return MHe(),Fxe};_.Gf=q$h;_.Qi=function(){uxf(this)};_.wv=function(){return vxf(this)};_.Bu=function(a){var b,c,d;if(cf(this.i,75)||cf(this.j,75)){throw Vpb(new Cyf)}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,122)&&cf(this.j,122)){c=this.i.Bu(a);d=this.j.Bu(a);b=je(rf,I6g,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 Vpb(new Cyf)};_.Cu=function(a){var b,c,d;if(cf(this.i,75)||cf(this.j,75)){throw Vpb(new Cyf)}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,122)&&cf(this.j,122)){c=this.i.Cu(a);d=this.j.Cu(a);b=je(iu,Wmh,86,1,0,1);b[0]=w7b(w6b(B7b(K6b(c[0],d[2]),K6b(d[0],c[2]))),w6b(B7b(K6b(c[1],d[2]),K6b(d[1],c[2]))));return b}}throw Vpb(new Cyf)};_.Du=function(a){if(cf(this.i,75)||cf(this.j,75)){throw Vpb(new Cyf)}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,122)&&cf(this.j,122)){this.i.Du(a);this.j.Du(a);return}}throw Vpb(new Cyf)};_.Eu=function(){var a,b;omg(this.n);if(this.n!=null){return this.n}if(cf(this.i,75)||cf(this.j,75)){throw Vpb(new Cyf)}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,122)&&cf(this.j,122)){a=this.i.Eu();b=this.j.Eu();this.n=je(V1,iNh,20,2,0,1);this.n[0]=Jzf(Pzf(a[0],b[2]),Qzf(Pzf(b[0],a[2])));this.n[1]=Jzf(Pzf(a[1],b[2]),Qzf(Pzf(b[1],a[2])));return this.n}}throw Vpb(new Cyf)};_.Fu=e$h;_.pj=function(){wxf(this)};var u1=I2b(734);Bqb(1205,17,UNh,Fxf,Gxf);_.Ui=function(){return MHe(),Gxe};_.Qi=function(){Cxf(this)};_.wv=function(){return Dxf(this)};_.pj=function(){wxf(this)};var zxf;var w1=I2b(1205);Bqb(4007,1,nqh,Hxf);_.rk=function(a){var b,c;if(cf(a,32)){b=a.s;if(b==Pjh||b-qrh8}return false};var v1=I2b(4007);Bqb(990,17,TNh,Kxf,Lxf);_.Ui=function(){return MHe(),Hxe};_.Gf=q$h;_.Qi=function(){ROe(this.k,cOe(this.i,this.j))};_.wv=function(){return Ixf(this)};_.Bu=function(a){var b,c,d;if(!!this.i&&!!this.j){c=GNe(this.i,a);d=GNe(this.j,a);b=je(rf,I6g,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[1],c[1]+d[0]);return b}throw Vpb(new Cyf)};_.Cu=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.ab[0].Cu(a);d=this.ab[1].Cu(a);b=je(iu,Wmh,86,1,0,1);b[0]=B7b(K6b(c[0],d[1]),K6b(c[1],d[0]));return b}throw Vpb(new Cyf)};_.Du=r$h;_.Eu=function(){var a,b;omg(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.ab[0].Eu();b=this.ab[1].Eu();this.n=je(V1,iNh,20,1,0,1);this.n[0]=Jzf(Pzf(a[0],b[1]),Qzf(Pzf(a[1],b[0])));return this.n}throw Vpb(new Cyf)};_.Fu=e$h;_.pj=function(){wxf(this)};var x1=I2b(990);Bqb(991,17,TNh,Oxf,Pxf);_.Ui=function(){return MHe(),Ixe};_.Gf=q$h;_.Qi=function(){ROe(this.k,dOe(this.i,this.j))};_.wv=function(){return Mxf(this)};_.Bu=function(a){var b,c,d;if(!!this.i&&!!this.j){c=GNe(this.i,a);d=GNe(this.j,a);b=je(rf,I6g,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[0],c[1]+d[1]);return b}throw Vpb(new Cyf)};_.Cu=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.ab[0].Cu(a);d=this.ab[1].Cu(a);b=je(iu,Wmh,86,1,0,1);b[0]=w7b(K6b(c[0],d[0]),K6b(c[1],d[1]));return b}throw Vpb(new Cyf)};_.Du=r$h;_.Eu=function(){var a,b;omg(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.ab[0].Eu();b=this.ab[1].Eu();this.n=je(V1,iNh,20,1,0,1);this.n[0]=Jzf(Pzf(a[0],b[0]),Pzf(a[1],b[1]));return this.n}throw Vpb(new Cyf)};_.Fu=e$h;_.pj=function(){wxf(this)};var y1=I2b(991);Bqb(1175,17,{16:1,25:1,17:1,22:1,26:1,131:1,1175:1},Vxf);_.Ui=function(){return MHe(),Ize};_.Qi=function(){var a;if(!gxc(this.Sc.Kt()).Ze()){this.i=null;this.n=0;return}a=this.i;Uxf(this);if(a==null||!g4b(a,this.i)){tmg(a+BGh+this.i);Qxf(this)}};_.IA=function(a,b){return Txf(this,a,b)};_.pj=function(){Uxf(this)};_.n=0;var z1=I2b(1175);Bqb(4134,17,UNh,$xf);_.Ui=function(){return null};_.Qi=function(){this.n.n=false};_.wv=function(){return Xxf(this)};_.pj=function(){Zxf(this)};var A1=I2b(4134);Bqb(1546,17,UNh,byf);_.Ui=function(){return MHe(),EBe};_.Qi=function(){_xf(this)};_.wv=function(){var a,b,c,d,e,f;if(this.g!=null){return this.g}d=this.i;a=this.j;e=FNe(d);b=WSe(a);if(a.mb==4){c=je(X1,eNh,38,2,0,1);c[0]=new AAf(this.Sc);c[1]=new AAf(this.Sc);this.g=he(V1,[h6g,iNh],[59,20],0,[1,3],2);this.g[0][0]=bAf(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=kAf(c[0],c[1],e[0],e[1],c[0],c[1],b[0],b[1]);this.g[0][2]=eAf(c[0],c[1],b[0],b[1],b[2],b[3]);return this.g}if(a.mb==9){c=je(X1,eNh,38,2,0,1);c[0]=new AAf(this.Sc);c[1]=new AAf(this.Sc);f=je(X1,eNh,38,2,0,1);f[0]=new AAf(this.Sc);f[1]=new AAf(this.Sc);this.g=he(V1,[h6g,iNh],[59,20],0,[1,5],2);this.g[0][0]=bAf(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=kAf(c[0],c[1],e[0],e[1],c[0],c[1],b[8],b[9]);this.g[0][2]=Jzf(Jzf(Pzf(new $zf(c[0]),new Wzf(2)),Qzf(new $zf(f[0]))),Qzf(new $zf(b[8])));this.g[0][3]=Jzf(Jzf(Pzf(new $zf(c[1]),new Wzf(2)),Qzf(new $zf(f[1]))),Qzf(new $zf(b[9])));this.g[0][4]=bAf(f[0],f[1],b[4],b[5],b[6],b[7]);return this.g}throw Vpb(new Cyf)};_.pj=function(){wxf(this)};var B1=I2b(1546);Bqb(769,17,{16:1,25:1,17:1,22:1,26:1,131:1,769:1},iyf,jyf);_.Ui=function(){return MHe(),aCe};_.Qi=function(){var a;if(!gxc(this.Sc.Kt()).Ze()){!!lmg&&mmg(lmg,(Emg(),xmg),'CAS is not yet loaded => fingerprint set to null');this.i=null;this.p=0;return}a=this.i;hyf(this);if(a==null||!g4b(a,this.i)){omg(a+BGh+this.i);dyf(this,!!this.k)}};_.IA=function(a,b){return gyf(this,a,b)};_.pj=function(){hyf(this)};_.p=0;var C1=I2b(769);Bqb(1166,17,{16:1,25:1,17:1,22:1,26:1,131:1,1166:1},oyf);_.Ui=function(){return MHe(),GDe};_.Qi=function(){lyf(this)};_.pj=function(){nyf(this)};var E1=I2b(1166);Bqb(4057,17,XBh,syf);_.Ui=function(){return MHe(),HDe};_.Qi=function(){pyf(this)};_.pj=function(){ryf(this)};_.j=false;var D1=I2b(4057);Bqb(650,1,{},wyf);_.Df=s$h;_.Ff=function(){return uyf(this)};_.Ef=function(){return !this.g};_.Gf=function(){};_.g=false;_.j=0;_.n=0;var F1=I2b(650);var xyf,yyf;Bqb(1603,1,{},Byf);var G1=I2b(1603);Bqb(52,39,{3:1,39:1,51:1,52:1},Cyf);var H1=I2b(52);Bqb(525,1,{},Hyf);var I1=I2b(525);var Iyf;Bqb(1222,1,{},Yyf);_.j=false;_.s=false;_.t=-1;_.A=null;var J1=I2b(1222);Bqb(1596,1,{},azf);var L1=I2b(1596);Bqb(1008,jNh,{},czf);var K1=I2b(1008);Bqb(1600,jNh,{},ezf);var M1=I2b(1600);Bqb(1009,jNh,{},pzf);_.j=false;_.k=0;_.n=false;_.o=false;var O1=I2b(1009);Bqb(849,jNh,{},yzf);_.i=0;var P1=I2b(849);Bqb(1598,1,{},Bzf);var Q1=I2b(1598);Bqb(1601,jNh,{},Dzf);var R1=I2b(1601);Bqb(1599,jNh,{},Fzf);var S1=I2b(1599);Bqb(1597,jNh,{},Izf);var T1=I2b(1597);Bqb(20,1,{16:1,20:1},Vzf,Wzf,Xzf,Yzf,Zzf,$zf);_.rd=function(a){return Kzf(this,a)};_.Zc=function(a){return Lzf(this,a)};_.$c=function(){return zac(new Cec(this.g))};_._c=function(){return Tzf(this)};var V1=I2b(20);Bqb(410,1,{16:1,410:1},tAf,uAf,vAf,wAf);_.rd=function(a){return oAf(this,a)};_.Zc=function(a){return pAf(this,a)};_.$c=function(){if(this.g.j==0){return 0}return H8b(dec(this.g)).g>>H8b(eec(this.g)).g};_._c=function(){var a,b,c,d,e;e=new j5b('');c=(new Cec(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 y4b(e.g,1)}return ''};var W1=I2b(410);Bqb(38,1,{16:1,38:1},AAf,BAf);_.rd=function(a){return xAf(this,a)};_.Zc=function(a){return yAf(this,a)};_.$c=t$h;_._c=function(){return c4b('v',''+this.g)};_.g=0;var X1=I2b(38);Bqb(649,39,{3:1,39:1,51:1,649:1},DAf,EAf);var CAf=F7g;var Y1=I2b(649);var TAf;Bqb(4127,1,{},RAf);_.j=0;_.n=-1;_.q=0;var HAf;var $1=I2b(4127);Bqb(4132,1,{},kBf);_.g=0;_.j=0;_.k=0;_.n=0;_.o=0;var VAf,WAf,XAf,YAf;var Z1=I2b(4132);Bqb(1604,1,{},wBf);_.g=0;_.n=-1;_.o=0;_.p=0;_.q=0;_.s=1;_.t=0;_.u=false;_.v=false;_.A=1;_.B=0;var _1=I2b(1604);Bqb(4129,1,{},yBf);_.g=0;_.i=0;var a2=I2b(4129);Bqb(1605,1,q8g,zBf,ABf);_._c=function(){return this.j};_.g=0;_.i=0;_.k=0;var c2=I2b(1605);Bqb(1606,44,m6g,CBf);_.gd=function(){return this.p};var b2=I2b(1606);Bqb(461,1,{},KUf);_.g=null;_.i='Auto';_.j='Wu';_.k=true;_.n=4;_.o=4;var JUf;var X8=I2b(461);Bqb(4105,1,{});_.p=false;var Rdb=I2b(4105);Bqb(447,1,{447:1},whg);_.Zc=function(a){if(a==null){return false}if(a===this){return true}if(Wb(a)!=Odb){return false}return thg(this)==Xb(a)};_.$c=function(){return thg(this)};_.j=1;var Odb=I2b(447);Bqb(891,1,{},yhg);_.jf=function(a,b){return b4b(a.bc,b.bc)};_.Zc=u$h;_.kf=v$h;var Ndb=I2b(891);Bqb(547,29,{3:1,16:1,29:1,547:1},Ghg);var zhg,Ahg,Bhg,Chg,Dhg,Ehg;var Pdb=J2b(547,Hhg);Bqb(483,29,{3:1,16:1,29:1,483:1},Rhg);var Ihg,Jhg,Khg,Lhg,Mhg,Nhg,Ohg,Phg;var Qdb=J2b(483,Shg);var Yhg='',Zhg='',$hg,_hg=0,aig,cig,dig,eig;Bqb(4131,4255,{},ELg);var fjb=I2b(4131);Bqb(3295,1,TGh);_.ld=function(){!!lmg&&mmg(lmg,(Emg(),xmg),'Loaded: prover');Cwe=new $we;Jwe(this.g);oOg(rMg(this.g.g))};Bqb(1002,4105,{},rWg);var xlb=I2b(1002);X5g(Qc)(9);\n//# sourceURL=webSimple-9.js\n")