$wnd.web3d.runAsyncCallback9("function Cvh(){}\nfunction Kvh(){}\nfunction xXh(){}\nfunction xfi(){}\nfunction rfi(){}\nfunction sfi(){}\nfunction tfi(){}\nfunction ufi(){}\nfunction vfi(){}\nfunction wfi(){}\nfunction yfi(){}\nfunction oLi(){}\nfunction JLi(){}\nfunction JMi(){}\nfunction cNi(){}\nfunction eNi(){}\nfunction gNi(){}\nfunction DNi(){}\nfunction FNi(){}\nfunction HNi(){}\nfunction KNi(){}\nfunction BPi(){}\nfunction kaj(){}\nfunction u$j(){}\nfunction w$j(){}\nfunction AWm(){}\nfunction FMi(a,b){a.g=b}\nfunction GMi(a,b){a.i=b}\nfunction HMi(a,b){a.j=b}\nfunction IMi(a,b){a.k=b}\nfunction p$j(a,b){a.q=b}\nfunction lhh(a){this.g=a}\nfunction _Ni(a){this.g=a}\nfunction wOi(a){this.g=a}\nfunction vOi(){this.g=new ZGd}\nfunction XNi(){this.g=new ZGd}\nfunction FOi(){fc.call(this)}\nfunction hbp(){q$d(this)}\nfunction bbp(a){return this.n}\nfunction Wap(a){return this.k}\nfunction Xap(a){return this.i}\nfunction Yap(a){return this.j}\nfunction Vap(a){return null}\nfunction ebp(a){return a.YY()}\nfunction gbp(a){return a.Hs()}\nfunction tPi(a){return a.i[a.B]}\nfunction uPi(a){return a.k[a.B]}\nfunction wPi(a){return a.k[a.n]}\nfunction vPi(a){return a.i[a.n]}\nfunction oOi(a){return RNi(a,a)}\nfunction DPi(a){jc.call(this,a)}\nfunction oXg(a){QMf.call(this,a)}\nfunction pXg(a){QMf.call(this,a)}\nfunction qXg(a){QMf.call(this,a)}\nfunction rXg(a){QMf.call(this,a)}\nfunction sXg(a){QMf.call(this,a)}\nfunction tXg(a){QMf.call(this,a)}\nfunction uXg(a){QMf.call(this,a)}\nfunction _Xg(a){QMf.call(this,a)}\nfunction CYg(a){QMf.call(this,a)}\nfunction IYg(a){QMf.call(this,a)}\nfunction UYg(a){QMf.call(this,a)}\nfunction WYg(a){QMf.call(this,a)}\nfunction E$j(a,b){vHc.call(this,a,b)}\nfunction P$j(a,b){vHc.call(this,a,b)}\nfunction CPi(a,b){this.k=a;this.j=b}\nfunction eMi(a){a.k=null;a.p=0}\nfunction CNi(a,b){return T0c(a.i,b)}\nfunction BOi(a,b){W0c(a.j,fud(a.g),b)}\nfunction NOi(){throw wFc(new FOi)}\nfunction Bvh(){Bvh=dGc;Avh=new Cvh}\nfunction Ivh(){Ivh=dGc;Hvh=new Kvh}\nfunction BLi(){BLi=dGc;ALi=new J9m('',8)}\nfunction Uap(){return new lhh(this)}\nfunction X0h(a){return cf(a,741)||!a.Fb}\nfunction cbp(a){return gWj(),a.yv()?eWj:dWj}\nfunction Tud(a,b){return OKd(a),a+(OKd(b),b)}\nfunction oBd(a){kBd(a,0,a.length,null)}\nfunction APi(a){this.j=a;this.i=a.length}\nfunction rNi(){this.g=new mmd;this.i=new BAd}\nfunction ANi(){this.g=new mmd;this.j=new BAd}\nfunction ZNi(a){$Ni.call(this,a,new vOi)}\nfunction GOi(a,b,c){gc.call(this,IOi(a,b,c))}\nfunction DOi(a){COi.call(this,a.Dm());this.i=a}\nfunction dbp(a){return OKd(a),new KHd(this,a)}\nfunction fbp(a){return oZf(),je(mv,S6n,367,a,7,1)}\nfunction vMi(a){return a==null?null:new ewd(a)}\nfunction A4g(a){if(a.r){return 1}return 0}\nfunction m3g(a){if(a.G){return a.G.B.length}return 0}\nfunction I_g(a){!a.i&&(a.i=new rNi);return a.i}\nfunction kPi(a,b,c){a.j=c;a.k=b;return b+1}\nfunction sPi(a,b){a.q+=b;(a.n-=b)<0&&(a.n+=a.o)}\nfunction g_j(a,b){Y$j+=a+',';X$j+=b+','}\nfunction W3j(a){!!R3j&&S3j(R3j,(i4j(),e4j),a)}\nfunction Z3j(a){!!R3j&&S3j(R3j,(i4j(),g4j),a)}\nfunction COi(a){this.j=new a1c;this.g=a.s.Fc++}\nfunction xOi(a){this.g=new ZGd;QGd(this.g,a,fud(1))}\nfunction yOi(a,b){this.g=new ZGd;QGd(this.g,a,fud(b))}\nfunction cPi(a,b){do{a.q[a.n++]=XOi[b]}while(b++!=1)}\nfunction dPi(a,b){if(a.p[b]!=a.o){a.q[a.n++]=b;a.p[b]=a.o}}\nfunction aPi(a){var b;a.o=oIn;for(b=12;b-->0;)a.p[b]=mFn}\nfunction nPi(a){var b;a.B=-1;b=xPi(a);a.B=a.n;return b}\nfunction q3g(a){if(a.G){return oAd(a.G,0)}return null}\nfunction Z3h(a){if(cf(a.Fb,157)){return a.Fb.ZN(a)}return null}\nfunction aRf(a){if(cf(a.Fb,157)){return a.Fb.YN(a)}return null}\nfunction ONi(a){if(a.g.o>1){return null}return Gzd(HGd(a.g)).n}\nfunction bOi(a){if(a==null||a.length==0)return '';return ','+a}\nfunction n$j(a,b){if(!a.o||b!=(D$j(),C$j)){return b}return a.o}\nfunction M0h(a,b){if(cf(a.Fb,240)){return a.Fb.IQ(b)}return null}\nfunction Jvh(a,b){var c;c=b.tc;c!=null&&vHd(a.g,c)}\nfunction yLi(a,b,c,d){zLi.call(this,a,c,d);Vfe(this.k,b)}\nfunction MLi(a,b,c,d){NLi.call(this,a,c,d);Vfe(this.k,b)}\nfunction QLi(a,b,c,d){RLi.call(this,a,c,d);Vfe(this.k,b)}\nfunction HLi(a,b,c,d){BLi();ILi.call(this,a,c,d);Vfe(this.k,b)}\nfunction DMi(a,b,c){this.i=new a1c;this.j=a;this.k=b;this.g=c}\nfunction $Ni(a,b){XNi.call(this);a!=(txd(),sxd)&&QGd(this.g,b,a)}\nfunction _Gd(a){$Gd.call(this,(OKd(a),MCd(a.k)));M0c(this,a)}\nfunction YNi(a){$Ni.call(this,new Uxd(''+VFc(a)),new vOi)}\nfunction aOi(a){XNi.call(this);QGd(this.g,new xOi(a),(txd(),oxd))}\nfunction EMi(){gc.call(this,'No symbolic parameters available')}\nfunction AOi(a,b){if(cf(b,53)){return a.g==b.g}return kf(a)===kf(b)}\nfunction NNi(a,b){if(cf(b,29)){return MNi(a,b)==0}return kf(a)===kf(b)}\nfunction rOi(a,b){if(cf(b,724)){return qOi(a,b)==0}return kf(a)===kf(b)}\nfunction G0h(a,b){if(cf(a.Fb,240)){return a.Fb.HQ(b)}throw wFc(new EMi)}\nfunction S0h(a){if(cf(a.Fb,240)){return a.Fb.KQ()}throw wFc(new EMi)}\nfunction Y3h(a){if(cf(a.Fb,157)){return a.Fb.YN(a)}throw wFc(new EMi)}\nfunction N0h(a,b){if(cf(a.Fb,240)){a.Fb.JQ(b);return}throw wFc(new EMi)}\nfunction k_j(a){var b;b=a.tc;if(b!=null){return '$'+b+'$'}return null}\nfunction zOi(a,b){var c;c=b.g;if(a.gc){return -1}return 0}\nfunction GYg(a,b,c,d){var e,f;e=new kMi(a.n,c,d);f=e.j;Vfe(f,b);return f}\nfunction Zap(a){if(this.j!=null){return this.j}this.j=mhh(this.eb);return this.j}\nfunction abp(a){if(!!this.g&&!!this.i){Xdi(this.g,a);Xdi(this.i,a);return}throw wFc(new EMi)}\nfunction ibp(a){if(!!this.i&&!!this.j){N0h(this.i,a);N0h(this.j,a);return}throw wFc(new EMi)}\nfunction zLi(a,b,c){K$d.call(this,a);this.i=b;this.j=c;this.k=new W1h(a);xLi(this);vLi(this)}\nfunction _Li(a){a.eb=je(skb,R_n,16,2,0,1);a.eb[0]=a.k;a.eb[1]=a.j;z$d(a,a.n);v$d(a)}\nfunction xLi(a){a.eb=je(skb,R_n,16,2,0,1);a.eb[0]=a.i;a.eb[1]=a.j;z$d(a,a.k);v$d(a)}\nfunction rLi(a){a.eb=je(skb,R_n,16,3,0,1);a.eb[0]=a.i;a.eb[1]=a.j;a.eb[2]=a.k;z$d(a,a.n);v$d(a)}\nfunction pMi(a){a.eb=je(skb,R_n,16,1,0,1);a.eb[0]=a.j;z$d(a,a.g);v$d(a);a.i=q$j(a.j)}\nfunction tMi(a){a.eb=je(skb,R_n,16,1,0,1);a.eb[0]=a.k;z$d(a,a.i);v$d(a);a.g=q$j(a.k)}\nfunction F$j(){D$j();return me(fe(FLb,1),kGn,987,0,[z$j,A$j,B$j,x$j,C$j,y$j])}\nfunction Q$j(){O$j();return me(fe(GLb,1),kGn,847,0,[N$j,H$j,L$j,K$j,M$j,G$j,J$j,I$j])}\nfunction KOi(){KOi=dGc;JOi=me(fe(sf,1),PFn,5,15,[256,512,qNn,6144,6144,CIn,O6n,O6n,96,ZHn])}\nfunction mPi(a){_Oi();this.p=je(sf,PFn,5,12,15,1);this.q=je(sf,PFn,5,24,15,1);new cwd;this.i=a}\nfunction aMi(a,b,c){K$d.call(this,a);this.k=b;this.j=c;this.n=new W1h(a);_Li(this);this.n.o=false}\nfunction ILi(a,b,c){BLi();K$d.call(this,a);this.i=b;this.j=c;this.k=new W1h(a);xLi(this);DLi(this)}\nfunction XLi(a,b,c){K$d.call(this,a);this.n=0;this.k=c;this.o=b;this.j=new O4f(a);WLi(this);SLi(this)}\nfunction qMi(a,b,c){K$d.call(this,a);this.j=c;this.g=new W1h(a);pMi(this);oMi(this);nMi(this);Vfe(this.g,b)}\nfunction SMi(a,b,c){var d,e,f,g;W0c(a.p,b,c);for(e=c,f=0,g=e.length;f=a.B?Dvd(a.j,a.B,a.n-a.B+1):Dvd(a.j,a.B,a.o-a.B)+Dvd(a.j,0,a.n+1)}\nfunction tLi(a){a.eb=je(skb,R_n,16,4,0,1);a.eb[0]=a.i;a.eb[1]=a.j;a.eb[2]=a.k;a.eb[3]=a.n;z$d(a,a.o);v$d(a)}\nfunction pLi(a){a.eb=je(skb,R_n,16,3,0,1);a.eb[0]=a.i.by();a.eb[1]=a.j.by();a.eb[2]=a.k.by();z$d(a,a.n);v$d(a)}\nfunction INi(a,b){if(a.r!=null){return}a.r=je(irb,DPo,53,2,0,1);a.r[0]=new COi(b);a.r[1]=new COi(b)}\nfunction QNi(a){if(a.g.o>1){return false}if(rOi(Hzd(HGd(a.g)),new vOi)){return true}return false}\nfunction pOi(a,b,c,d){return LNi(oOi(LNi(new aOi(a),SNi(new aOi(c)))),oOi(LNi(new aOi(b),SNi(new aOi(d)))))}\nfunction lOg(a,b,c,d){return e8i(d,'TriangleABCnonDegenerate',null,me(fe(Iv,1),zFn,2,6,[NNg(a)+NNg(b)+NNg(c)]))}\nfunction HYg(a,b,c,d){var e,f;if(!d.P||!!c.P||!Mee(d,c)){return null}e=new lMi(a.n,c,d);f=e.j;Vfe(f,b);return f}\nfunction xPi(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&&pPi(a);b=a.j[a.n];rPi(a,b);return b}\nfunction YLi(a){var b,c,d;c=new cwd;d=a.length;for(b=0;b0)return qvd(c.g,1);return ''}\nfunction sOi(a){var b,c,d,e,f;f=new mmd;e=(c=(new Kzd(a.g)).g.gh().i.Qj(),new Lzd(c));while(e.g.Yi()){d=(b=e.g.Zi(),b.Ui());W0c(f.g,d,f)}return f}\nfunction PNi(a){var b,c,d,e,f;f=new mmd;d=(c=(new Kzd(a.g)).g.gh().i.Qj(),new Lzd(c));while(d.g.Yi()){e=(b=d.g.Zi(),b.Ui());$ld(f,sOi(e))}return f}\nfunction iOi(a){var b,c,d,e,f,g;f=new mmd;for(e=(c=(new tzd(a.g)).g.gh().zf(),new uzd(c));e.g.Yi();){d=(b=e.g.Zi(),b.Ui());g=PNi(d);$ld(f,g)}return f}\nfunction SNi(a){var b,c,d,e;d=new ZGd;c=(new eHd(a.g)).i.Qj();while(c.Yi()){b=c.Zi();e=b.Ui();QGd(d,e,zyd((txd(),sxd),b.Vi()))}return new _Ni(d)}\nfunction ePi(a){var b,c,d,e,f;e=YOi[a.j];d=e==null?qPi(a.i):e;c=uPi(a.i);b=tPi(a.i);wPi(a.i);vPi(a.i);f=new CPi(a.j,d);f.i=c;f.g=b;return f}\nfunction zPi(a,b,c,d){var e,f,g;g=a.i-a.g;if(g==0){return -1}e=b.length;f=e-c;f=f>d?d:f;f>g&&(f=g);$ud(a.j,a.g,a.g+f,b,c);a.g+=f;return f}\nfunction VYg(a,b,c,d){var e,f;if(cf(b,356)){e=new uMi(a.n,b,c);Vfe(e.i,mQf(d));f=me(fe(skb,1),R_n,16,0,[e.i]);return f}throw wFc(tMf(a,d.q,b))}\nfunction B1h(a,b,c){w0h();var d;d=a.hb*b.ib*c.jb+b.hb*c.ib*a.jb+c.hb*a.ib*b.jb-c.hb*b.ib*a.jb-b.hb*a.ib*c.jb-a.hb*c.ib*b.jb;return m5n5||e<0.2||c){U3j('myPrecision='+VFc(a.n)+kQo+VFc(d)+lQo+e);a.i=null;a.n=d;return true}return false}\nfunction V9m(){this.g=(O$j(),G$j);this.i=new mmd;this.j=new BAd;kAd(this.j,N$j);kAd(this.j,H$j);kAd(this.j,L$j);this.k=new BAd;kAd(this.k,H$j);kAd(this.k,L$j)}\nfunction TMi(a,b){var c;if(kmd(a.u,b)){!!R3j&&S3j(R3j,(i4j(),b4j),'Ignoring existing poly '+b);return}jmd(a.u,b);c=_0c(a.u.g);U3j('Adding poly #'+c+oFn+WNi(b))}\nfunction gMi(a,b){var c;c=QMi(b?a.k:a.n,a.o,b,a);if(!c){!!R3j&&S3j(R3j,(i4j(),b4j),'Cannot compute locus equation (yet?)');iMi(a,a.jd,true);return null}return hMi(a,c)}\nfunction hPi(b){try{b.g=xPi(b.i)}catch(a){a=vFc(a);if(cf(a,316)){lPi(0,128);return 1}else throw wFc(a)}if(b.g==49){return iPi(b,128)}return fPi(b,lPi(0,128),1)}\nfunction fJg(a,b,c){var d,e;for(e=new HAd(a.k);e.g','','\"[1]:\"','','',YHn,'\"+\"','\"-\"','\"*\"','\"^\"'])}\nfunction iMi(a,b,c){var d,e;d=Dkf(b);e=TFc(a.p)/TFc(d);if(e>5||e<0.2||c){U3j('resetFingerprint: myPrecision='+VFc(a.p)+kQo+VFc(d)+lQo+e);a.i=null;a.p=d;return true}return false}\nfunction rhh(a){var b,c,d,e;b=(txd(),sxd);for(d=0;d1&&(f.g+='^{'+e+'}',f)}return f.g}\nfunction Xdi(a,b){if(!a.Fb){!a.$&&(a.$=new DOi(a));!a._&&(a._=new DOi(a));BOi(a.$,a._);BOi(a._,a.$);jmd(b,a.$);jmd(b,a._);return}if(cf(a.Fb,240)){a.Fb.JQ(b);return}throw wFc(new EMi)}\nfunction bei(a){var b;if(!a.Fb){!a.$&&(a.$=new DOi(a));!a._&&(a._=new DOi(a));b=me(fe(grb,1),JPo,29,0,[new aOi(a.$),new aOi(a._),new YNi(1)]);return b}if(cf(a.Fb,240)){return a.Fb.KQ()}throw wFc(new EMi)}\nfunction k0d(a){var b,c,d;c=new cwd;b=new izd((new fzd(a)).g);while(b.i){d=hzd(b);c.g+=',';Tvd(c,Tud('v',''+d.Ui().g));c.g+='=';Svd(c,d.Vi())}if(c.g.length>0){return qvd(c.g,1)}return ''}\nfunction D$j(){D$j=dGc;z$j=new E$j('TRUE',0);A$j=new E$j('TRUE_NDG_UNREADABLE',1);B$j=new E$j('TRUE_ON_COMPONENTS',2);x$j=new E$j('FALSE',3);C$j=new E$j(zLn,4);y$j=new E$j('PROCESSING',5)}\nfunction lPi(a,b){switch(a){case 0:if(MFc(yFc(b,128),0))return 4;return -1;case 1:if(MFc(yFc(b,128),0))return 6;return -1;case 2:if(MFc(yFc(b,128),0))return 5;return -1;default:return -1;}}\nfunction bNi(a,b,c){var d,e;if(a.g==null){e=b.ZN(b);d=c.ZN(c);if(e==null||d==null){aNi(a,b.Dm());return null}a.g=je(irb,DPo,53,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 f_j(a,b){var c,d,e,f,g,h;W0c(a_j,a,fud(b));b>$$j&&($$j=b);c=a.Fb;if(c){for(e=c.eb,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 qvd(i.g,1);return ''}\nfunction wNi(a,b){var c,d,e,f,g,h,i;for(g=a.r,h=0,i=g.length;h8}return false}\nfunction nOi(a,b,c,d,e){var f,g,h,i,j,k,l;l=null;i=hOi(a);l=new omd(new tzd(b));h=kOi(a,l,(ysd(),true),e);g=kOi(a,l,false,e);f=c.RM();j=u_d(f).In(b,i,h,g,d);k=Nej(p3i(f.g).i)?u_d(f).Kn(j):'?';if(Yud('0',k)||Yud(W0n,k)){return gWj(),dWj}if(Yud('1',k)||Yud($Ln,k)){return gWj(),eWj}return gWj(),fWj}\nfunction WMi(a,b){var c,d,e,f,g,h,i,j,k,l,m,n,o,p;j=new mmd;p=new mmd;W0c(p.g,b,p);while(_0c(p.g)!=0){$ld(j,p);i=(l=(new tzd(p.g)).g.gh().zf(),new uzd(l));o=new mmd;while(i.g.Yi()){m=(d=i.g.Zi(),d.Ui());c=m.Fb;if(c){n=c.eb;for(f=n,g=0,h=f.length;g0&&Yvd(e,e.g.length-1);e.g+='-'}else{vxd(uyd(b,oxd),sxd)<0&&e.g.length>0&&Yvd(e,e.g.length-1);e.g+=''+b}}Tvd(e,uOi(f))}e.g+='+'}return nsd(e,0,e.g.length-1)}\nfunction lOi(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!R3j&&S3j(R3j,(i4j(),g4j),'Setting up equation for parallel lines ('+a+','+b+')-'+'('+c+','+d+CQo+'('+e+','+f+')-'+'('+g+','+h+')');i=new aOi(a);j=new aOi(b);k=new aOi(c);l=new aOi(d);m=new aOi(e);n=new aOi(f);o=new aOi(g);p=new aOi(h);q=LNi(RNi(LNi(i,SNi(k)),LNi(n,SNi(p))),SNi(RNi(LNi(j,SNi(l)),LNi(m,SNi(o)))));return q}\nfunction mOi(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!R3j&&S3j(R3j,(i4j(),g4j),'Setting up equation for perpendicular lines ('+a+','+b+')-'+'('+c+','+d+CQo+'('+e+','+f+')-'+'('+g+','+h+')');i=new aOi(a);j=new aOi(b);k=new aOi(c);l=new aOi(d);m=new aOi(e);n=new aOi(f);o=new aOi(g);p=new aOi(h);q=LNi(RNi(LNi(i,SNi(k)),LNi(m,SNi(o))),RNi(LNi(j,SNi(l)),LNi(n,SNi(p))));return q}\nfunction dNi(a,b){var c,d,e,f;if(a.q!=null){return a.q}d=b[0].ZN(b[0]);if(a.r==null){a.r=je(irb,DPo,53,4,0,1);a.r[0]=new COi(b[0].Dm());a.r[1]=new COi(b[0].Dm());a.r[2]=d[0];a.r[3]=d[1]}c=me(fe(irb,1),DPo,53,0,[a.r[0],a.r[1]]);e=b[1].ZN(b[1]);f=b[2].ZN(b[2]);a.q=je(grb,JPo,29,2,0,1);a.q[0]=gOi(d[0],d[1],c[0],c[1],e[0],e[1]);a.q[1]=gOi(d[0],d[1],c[0],c[1],f[0],f[1]);return a.q}\nfunction pPi(b){var c,d;if(b.t==b.g){if(b.g==b.o){if(b.B>$Hn){b.n=b.t=0;b.g=b.B}else b.B<0?(b.n=b.t=0):oPi(b,false)}else b.g>b.B?(b.g=b.o):b.B-b.g<$Hn?oPi(b,true):(b.g=b.B)}try{if((d=zPi(b.r,b.j,b.t,b.g-b.t))==-1){b.r.j=null;throw wFc(new _rd)}else b.t+=d;return}catch(a){a=vFc(a);if(cf(a,316)){c=a;--b.n;b.q+=0;(b.n-=0)<0&&(b.n+=b.o);b.B==-1&&(b.B=b.n);throw wFc(c)}else throw wFc(a)}}\nfunction OOi(a,b){var c,d;c=SOi(a,b);e:while(true){switch(a.q==-1?!(a.p=a.r.n)?(a.q=(a.r.n=bPi(a.s)).k):(a.q=a.p.k):a.q){case 11:case 12:{break}default:a.o[3]=a.j;break e;}switch(a.q==-1?!(a.p=a.r.n)?(a.q=(a.r.n=bPi(a.s)).k):(a.q=a.p.k):a.q){case 11:{MOi(a,11);d=SOi(a,b);c=LNi(c,d);break}case 12:{MOi(a,12);d=SOi(a,b);c=LNi(c,SNi(d));break}default:a.o[4]=a.j;MOi(a,-1);throw wFc(new FOi);}}return c}\nfunction TLi(b,c){var d,e,f,g,h,i;i=new cwd;g=c.v;f=c.k;d=''+VFc(Dkf(b.jd));!!R3j&&S3j(R3j,(i4j(),b4j),_Po+d);Tvd(Svd(Tvd(Svd(Tvd(Tvd(Tvd(Tvd(Tvd(Tvd(Tvd(Svd(i,(f1d(),B0d)),'(['),g),'],['),f),'],'),d),','),c.i[0]),','),c.i[1]),')');e=b.jd.RM();try{h=u_d(e).Mn(i.g);!!R3j&&S3j(R3j,(i4j(),g4j),iQo+h);return h}catch(a){a=vFc(a);if(cf(a,69)){!!R3j&&S3j(R3j,(i4j(),d4j),jQo);return null}else throw wFc(a)}}\nfunction hMi(b,c){var d,e,f,g,h,i;i=new cwd;g=c.v;f=c.k;d=''+VFc(Dkf(b.jd));!!R3j&&S3j(R3j,(i4j(),b4j),_Po+d);Tvd(Svd(Tvd(Svd(Tvd(Tvd(Tvd(Tvd(Tvd(Tvd(Tvd(Tvd(Svd(i,(f1d(),$0d)),'(['),g),'],['),f),'],'),d),','),','),c.i[0]),','),c.i[1]),')');e=b.jd.RM();try{h=u_d(e).Mn(i.g);!!R3j&&S3j(R3j,(i4j(),g4j),iQo+h);return h}catch(a){a=vFc(a);if(cf(a,69)){!!R3j&&S3j(R3j,(i4j(),d4j),jQo);return null}else throw wFc(a)}}\nfunction LOi(a){var b,c,d,e,f,g,h;a.g.B.length=0;g=je(tFc,UFn,5,15,16,1);if(a.n>=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++){(JOi[d]&1<126){f=(d=b,vFn+d.toString(16));Tvd(e,uFn+rvd(f,f.length-4,f.length))}else{e.g+=String.fromCharCode(b)}continue;}}return e.g}\nfunction kLi(b,c,d){var e,f,g,h,i,j,k,l,m,n,o;if(d){n=new a1c;for(f=new izd((new fzd(b)).g);f.i;){e=hzd(f);o=e.Ui();W0c(n,o,e.Vi())}h=(!jaj&&(jaj=new kaj),jaj);m=nOi(fmd(d.u,je(grb,JPo,29,_0c(d.u.g),0,1)),n,d.r.Dm(),h.k,d.n);!!R3j&&S3j(R3j,(i4j(),b4j),'Recio meets Botana:'+n);if(m==(gWj(),eWj)){return D$j(),x$j}}else{try{g=c.g.IQ(b);for(j=g,k=0,l=j.length;k1?ZKd(n.g[0],n.g[1]):ZKd(n.g[0],0);CFc(n.n>0?r:LFc(r),0)?RGd(m,o):QGd(m,o,n)}else{f=l.g[0];(l.n>0?f:-f|0)!=0&&QGd(m,o,l)}}return new _Ni(m)}\nfunction oPi(b,c){var d,e,f,g;e=je(pf,tFn,5,b.o+$Hn,15,1);f=je(sf,PFn,5,b.o+$Hn,15,1);d=je(sf,PFn,5,b.o+$Hn,15,1);try{if(c){gwd(b.j,b.B,e,0,b.o-b.B);gwd(b.j,0,e,b.o-b.B,b.n);b.j=e;gwd(b.k,b.B,f,0,b.o-b.B);gwd(b.k,0,f,b.o-b.B,b.n);b.k=f;gwd(b.i,b.B,d,0,b.o-b.B);gwd(b.i,0,d,b.o-b.B,b.n);b.i=d;b.t=b.n+=b.o-b.B}else{gwd(b.j,b.B,e,0,b.o-b.B);b.j=e;gwd(b.k,b.B,f,0,b.o-b.B);b.k=f;gwd(b.i,b.B,d,0,b.o-b.B);b.i=d;b.t=b.n-=b.B}}catch(a){a=vFc(a);if(cf(a,69)){g=a;throw wFc(new jc(g.Oe()))}else throw wFc(a)}b.o+=$Hn;b.g=b.o;b.B=0}\nfunction jMi(a){var b,c,d,e,f,g;f=new BHd;a.q=je(skb,R_n,16,2,0,1);if(a.k){vHd(f,a.o);g=(d=(new Kzd(hde(a.k).i)).g.gh().i.Qj(),new Lzd(d));a.q[0]=a.k}else{vHd(f,a.o.P.by());g=(d=(new Kzd(hde(a.n).i)).g.gh().i.Qj(),new Lzd(d));a.q[0]=a.n}while(g.g.Yi()){e=(c=g.g.Zi(),c.Ui());(!e.Fb&&(!e.Yb||!K2h(e.Yb))||e.pw())&&f.i.put(e,(ysd(),wsd))==null}zHd(f,a.o);a.g=je(skb,R_n,16,f.i.size(),0,1);a.g=fmd(f,a.g);a.q[1]=a.o;z$d(a,a.j);x$d(a,a.q,a.g);b=a.o.gd;do{tAd(b.k,a)}while(pAd(b.k,a,0)!=-1);kAd(b.k,a);a.i=YLi(a.g);a.p=Dkf(a.jd)}\nfunction l$j(a){var b,c,d,e;if(!a.q){!!R3j&&S3j(R3j,(i4j(),d4j),'No statement to prove');a.o=(D$j(),C$j);return}c=a.q.Fb;if(!c){Yud(a.q.ey((MPg(),jPg)),$Ln)?(a.o=(D$j(),z$j)):Yud(a.q.ey(jPg),W0n)?(a.o=(D$j(),x$j)):(a.o=(D$j(),C$j));return}j_j(a.q);if(a.g!=(O$j(),G$j)){k$j(a,a.g);return}U3j(zQo+a.g);a.p?(d=new HAd(a.k)):(d=new HAd(a.j));a.o=(D$j(),C$j);while((a.o==C$j||a.o==A$j)&&d.g0){jsd(f,j-1,j-1+1,'');Tvd(Tvd(o,e8i(k,'LetABeArbitraryPoints',null,me(fe(Iv,1),zFn,2,6,[f.g]))),'.\\n')}o.g+=h;p=Bvd(a.Fb);Tvd(Tvd(o,e8i(k,'ProveThat',null,me(fe(Iv,1),zFn,2,6,[p]))),'.');return o.g}\nfunction lLi(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 tzd(b.g)).g.gh().zf(),new uzd(l)).g.Zi(),i.Ui());for(k=1;k<=d+2;k++){W0c(c,u,(txd(),zFc(k,0)>=0?Wxd(k):Jxd(Wxd(LFc(k)))));if(f){s=new a1c;for(h=new izd((new fzd(c)).g);h.i;){g=hzd(h);t=g.Ui();W0c(s,t,g.Vi())}m=(!jaj&&(jaj=new kaj),jaj);r=nOi(fmd(f.u,je(grb,JPo,29,_0c(f.u.g),0,1)),s,f.r.Dm(),m.k,f.n);!!R3j&&S3j(R3j,(i4j(),b4j),dQo+k+' '+s);if(r==(gWj(),eWj)){return D$j(),x$j}}else{try{j=e.g.IQ(c);for(o=j,p=0,q=o.length;p>6],OFc(1,b.j&63)),0)){h=ePi(b);return h}else{continue i}}g=wPi(b.i);f=vPi(b.i);e=null;c=false;try{xPi(b.i);sPi(b.i,1)}catch(a){a=vFc(a);if(cf(a,316)){c=true;e=d<=1?'':qPi(b.i);if(b.g==10||b.g==13){++g;f=0}else ++f}else throw wFc(a)}if(!c){sPi(b.i,1);e=d<=1?'':qPi(b.i)}throw wFc(new EPi(c,g,f,e,b.g))}}\nfunction kNi(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.A){case 20:HMi(c,LNi(g,j));break;case 21:HMi(c,LNi(g,SNi(j)));break;case 24:HMi(c,RNi(g,j));break;case 29:i=nud(Hxd(ONi(c.k.j)));if(i){h=g;for(f=fud(1);HFc(f.g,i.g);d=f,f=fud(f.g+1),d){h=RNi(h,g)}c.j=h}break;default:throw wFc(new EMi);}}b.u.ev()&&!c.g.j&&kNi(a,b.u,c.g);b.C.ev()&&!c.k.j&&kNi(a,b.C,c.k);if(cf(b.u,41)&&!c.g.j){e=Swd(new Wwd(b.u.Hs()));HMi(c.g,new ZNi(e))}if(cf(b.C,41)&&!c.k.j){e=Swd(new Wwd(b.C.Hs()));HMi(c.k,new ZNi(e))}if(cf(b.u,41)&&cf(b.C,152)){e=Swd(new Wwd(b.u.Hs()));l=pNi(a,b.C.yn((MPg(),iPg)));if(l){k=new xOi(l);HMi(c,new $Ni(e,k));return}}}\nfunction tNi(a,b,c){var d,e,f,g,h,i,j,k,l;if(c.j){return}if(!!c.g&&!c.k&&c.i==(vBj(),MAj)){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.A){case 20:HMi(c,LNi(g,j));break;case 21:HMi(c,LNi(g,SNi(j)));break;case 24:HMi(c,RNi(g,j));break;case 29:i=nud(Hxd(ONi(c.k.j)));if(i){h=g;for(f=fud(1);HFc(f.g,i.g);d=f,f=fud(f.g+1),d){h=RNi(h,g)}c.j=h}break;default:throw wFc(new EMi);}}b.u.ev()&&!c.g.j&&tNi(a,b.u,c.g);!!b.C&&b.C.ev()&&!c.k.j&&tNi(a,b.C,c.k);if(cf(b.u,41)&&!c.g.j){e=Swd(new Wwd(b.u.Hs()));HMi(c.g,new ZNi(e))}if(cf(b.C,41)&&!c.k.j){e=Swd(new Wwd(b.C.Hs()));HMi(c.k,new ZNi(e))}if(cf(b.u,41)&&cf(b.C,152)){e=Swd(new Wwd(b.u.Hs()));l=wNi(a,b.C.yn((MPg(),iPg)));if(l){k=new xOi(l);HMi(c,new $Ni(e,k));return}}}\nfunction fNi(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,122)){throw wFc(new EMi)}n=null;cf(d,37)&&(n=d);if(!e||!f||!n){throw wFc(new EMi)}if(a.r==null){g=Ndi(e,e);h=Ndi(f,f);a.r=je(irb,DPo,53,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 COi(e.jd);a.r[5]=new COi(e.jd);a.r[6]=new COi(e.jd)}a.q=je(grb,JPo,29,2,0,1);i=null;cf(n.Fb,404)&&(i=aRf(n));o=bRf(n,n);l=0;q=oOi(new aOi(o[0]));if(i!=null){a.q=je(grb,JPo,29,i.length+1,0,1);for(l=0;l3?(p.g='DegeneratePolygon'):(p.g=Wlo);n=je(skb,R_n,16,s,0,1);o=0;for(c=new HAd(d);c.g=0?Wxd((d+2-k)*(d+2-n)):Jxd(Wxd(LFc((d+2-k)*(d+2-n))))));W0c(c,A[1],zFc(k*n,0)>=0?Wxd(k*n):Jxd(Wxd(LFc(k*n))));if(f){v=new a1c;for(i=new izd((new fzd(c)).g);i.i;){h=hzd(i);w=h.Ui();W0c(v,w,h.Vi())}u=nOi(fmd(f.u,je(grb,JPo,29,_0c(f.u.g),0,1)),v,f.r.Dm(),(!jaj&&(jaj=new kaj),jaj).k,f.n);!!R3j&&S3j(R3j,(i4j(),b4j),dQo+g+' '+v);if(u==(gWj(),eWj)){return D$j(),x$j}}else{try{j=e.g.IQ(c);for(r=j,s=0,t=r.length;s5&&(f=5);{dPi(b,0)}break;case 6:case 4:MFc(yFc(nro,g),0)&&(dPi(b,4),dPi(b,6));break;case 2:if(CFc(yFc(nro,g),0))break;f>6&&(f=6);b.q[b.n++]=2;break;case 5:b.g==58&&(f=8);break;case 8:MFc(yFc(nro,g),0)&&cPi(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!=iFn){b.j=f;b.k=d;f=iFn}++d;if((e=b.n)==(h=12-(b.n=h)))return d;try{b.g=xPi(b.i)}catch(a){a=vFc(a);if(cf(a,316)){return d}else throw wFc(a)}}}\nfunction uNi(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.jd;i=c.g.nt();zNi(b,i,p);if(b.r==null){b.r=je(irb,DPo,53,b.j.B.length+1,0,1);b.r[0]=new COi(p);if(b.j.B.length==0){throw wFc(new EMi)}else{n=new HAd(b.j);o=1;while(n.g=0;s--){w=Ixd(w,zyd(Ixd((txd(),zFc(t,0)>=0?Wxd(t):Jxd(Wxd(LFc(t)))),Zxd(p[s])),zFc(o,0)>=0?Wxd(o):Jxd(Wxd(LFc(o)))));g[o][s]=w}W0c(c,H[o],w)}++u;if(f){F=new a1c;for(j=new izd((new fzd(c)).g);j.i;){i=hzd(j);G=i.Ui();W0c(F,G,i.Vi())}D=nOi(fmd(f.u,je(grb,JPo,29,_0c(f.u.g),0,1)),F,f.r.Dm(),(!jaj&&(jaj=new kaj),jaj).k,f.n);!!R3j&&S3j(R3j,(i4j(),b4j),'Recio meets Botana #'+u+oFn+F);if(D==(gWj(),eWj)){return D$j(),x$j}}else{try{k=e.g.IQ(c);for(A=k,B=0,C=A.length;B0?(q=0):(q/=s));v=1/u;A+=B*v*v;A/=u;!!R3j&&S3j(R3j,(i4j(),b4j),'population='+l);!!R3j&&S3j(R3j,(i4j(),b4j),'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=Ndi(q3g(e),q3g(e));f[f.length-1]=LNi(RNi(pOi(i[0],i[1],g[0],g[1]),new aOi(new COi(v))),SNi(new YNi(1)))}W0c(a.g,b,f);return f}h=je(irb,DPo,53,2,0,1);!a.i&&(a.i=new a1c);if(Q0c(a.i,b)){h=T0c(a.i,b)}else{h=je(irb,DPo,53,2,0,1);h[0]=new COi(v);h[1]=new COi(v);W0c(a.i,b,h)}if(!a.g){j=Y3h(c);l=Z3h(c);m=Y3h(d);o=Z3h(d);k=j.length;n=m.length;f=je(grb,JPo,29,k+n,0,1);for(t=0;t0&&(i.g+=',',i);i.g+=''+K}n=new mmd;$ld(n,a.n);imd(n,new tzd(b));o=new cwd;for(L=(G=(new tzd(n.g)).g.gh().zf(),new uzd(G));L.g.Yi();){K=(l=L.g.Zi(),l.Ui());o.g.length>0&&(o.g+=',',o);o.g+=''+K}h=AMi.RM();VMi(a);p=u_d(h).Hn(b,a.v,o.g,i.g);q=Nej(p3i(h.g).i)?u_d(h).Kn(p):'?';r=q.length-lvd(q,'{','').length-1;A=new mmd;H=1;for(s=0;sc+1}++k}}\nfunction JNi(a,b){var c,d,e,f,g,h,i,j;h=b.Dm();if(a.q!=null){return a.q}if(cf(b,75)){if(a.r==null){a.r=je(irb,DPo,53,2,0,1);a.r[0]=new COi(h);a.r[1]=new COi(h)}g=b.ZN(b);if(g==null){INi(a,h);return null}a.q=je(grb,JPo,29,1,0,1);a.q[0]=dOi(g[0],g[1],g[2],g[3],a.r[0],a.r[1]);return a.q}if(cf(b,163)){if(b.zb==4){if(a.r==null){a.r=je(irb,DPo,53,2,0,1);a.r[0]=new COi(h);a.r[1]=new COi(h)}g=b.ZN(b);if(g==null){INi(a,h);return null}a.q=je(grb,JPo,29,1,0,1);a.q[0]=gOi(g[2],g[3],g[0],g[1],a.r[0],a.r[1]);return a.q}if(b.zb==9){if(a.r==null){a.r=je(irb,DPo,53,4,0,1);a.r[0]=new COi(h);a.r[1]=new COi(h);a.r[2]=new COi(h);a.r[3]=new COi(h)}j=b.ZN(b);if(j==null){INi(a,h);return null}a.q=je(grb,JPo,29,3,0,1);a.q[0]=gOi(j[8],j[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[1]=dOi(j[4],j[5],a.r[2],a.r[3],j[6],j[7]);a.q[2]=mOi(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.zb==3||b.zb==5){if(a.r==null){a.r=je(irb,DPo,53,4,0,1);a.r[0]=new COi(h);a.r[1]=new COi(h);a.r[2]=new COi(h);a.r[3]=new COi(h)}i=b.ZN(b);if(i==null){INi(a,h);return null}if(cf(b.Fb,999)){a.q=je(grb,JPo,29,2,0,1);a.q[0]=LNi(new aOi(i[0]),SNi(new aOi(a.r[0])));a.q[1]=LNi(new aOi(i[1]),SNi(new aOi(a.r[1])));return a.q}a.q=je(grb,JPo,29,3,0,1);e=new aOi(a.r[2]);f=new aOi(a.r[3]);c=new aOi(i[2]);d=new aOi(i[3]);a.q[0]=LNi(LNi(LNi(c,d),SNi(e)),SNi(f));a.q[1]=LNi(pOi(a.r[0],a.r[1],i[6],i[7]),SNi(RNi(e,e)));a.q[2]=LNi(pOi(a.r[0],a.r[1],i[8],i[9]),SNi(RNi(f,f)));return a.q}}INi(a,h);return null}\nfunction jLi(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;Yud('groebner',(!jaj&&(jaj=new kaj),jaj).j)&&(d=true);e=null;D=c.q;if(cf(D,240)){C=D.LQ()}else if(cf(D.Fb,240)){C=D.Fb.LQ()}else{return D$j(),C$j}if(d){B=new V9m;FMi(B,(O$j(),N$j));e=new $Mi(D,null,B);if(e.A==(D$j(),y$j)){return y$j}}H=new mmd;if(d){l=OMi(D);u=new HAd(l);while(u.g5){!!R3j&&S3j(R3j,(i4j(),b4j),\"Recio's method is currently disabled when # of free variables > 5\");return D$j(),C$j}try{g=C.g.HQ(b)}catch(a){a=vFc(a);if(cf(a,82)){return D$j(),C$j}else throw wFc(a)}f=0;for(q=g,r=0,s=q.length;r0){s$j(o,a.gd);v=null;if(a.j){new mOg(a.jd);d=o.g;Yud(Tlo,d)?(v=vMi(QNg(o.i[0],o.i[1],true,a.gd.V.s.D5()))):Yud(Wlo,d)?(v=vMi(lOg(o.i[0],o.i[1],o.i[2],a.gd.V.s.D5()))):Yud(Slo,d)?(v=vMi(MNg(o.i[0],o.i[1],false,a.gd.V.s.D5()))):Yud(Ulo,d)?(v=vMi(VNg(o.i[0],o.i[1],false,a.gd.V.s.D5()))):Yud(Vlo,d)&&(v=vMi(HNg(o.i[0],o.i[1],false,a.gd.V.s.D5())))}if(!v||!a.j){i=o.i;if(i==null){v=vMi(o.g)}else{v=vMi(m_m(a.gd.V.s.D5(),o.g));v.g+='[';for(j=0;j0&&(v.g+=',',v);h=o.i[j];h?Tvd(v,o.i[j].tc):(v.g+=Glo,v)}v.g+=']';a.j&&$vd(v,0,q_m(a.gd.V.s.D5(),'not')+' ')}}gii(m,v.g);m.yc=false;m.cc=false;w.i.put(m,wsd)==null}}l=(g=(new Kzd(w.i)).g.gh().i.Qj(),new Lzd(g));while(l.g.Yi()){Nai(n,(f=l.g.Zi(),f.Ui()))}if(OKd(B),B){m=new pii(a.gd);gii(m,Glo);m.yc=false;m.cc=false;w.i.put(m,wsd)==null;Nai(n,m)}n.t.B.length>0&&Nai(a.i,n);if(s==B$j){c=new pii(a.gd);gii(c,'c');c.yc=false;c.cc=false;Nai(a.i,c)}}}U3j('OUTPUT for ProveDetails: '+a.i)}\nfunction LMi(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=(!jaj&&(jaj=new kaj),jaj);m=G.Dm();if(!cf(G.Fb,960)){W3j(G.Fb+qQo);return D$j(),C$j}C.k=false;C.g==null&&(C.g=(ysd(),false));e=new $Mi(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=NMi(b,k)}catch(a){a=vFc(a);if(cf(a,82)){e.A=(D$j(),C$j);!!R3j&&S3j(R3j,(i4j(),b4j),'Cannot add fix values');return e.A}else throw wFc(a)}!!R3j&&S3j(R3j,(i4j(),b4j),'substitutions: '+H)}t=new DMi(b,H,e.n);l=false;w=0;while(!l&&w<1){h=fOi(fmd(e.u,je(grb,JPo,29,_0c(e.u.g),0,1)),H,m,(++w,true),e.n);if(!h){return D$j(),C$j}q=(v=(new tzd(h.g)).g.gh().zf(),new uzd(v));J=new BAd;L=new BAd;K=_0c(h.g)==2;f=new BAd;g=zGn;p=0;while(q.g.Yi()){++p;!!R3j&&S3j(R3j,(i4j(),b4j),'Considering NDG '+p+WFn);s=new BAd;F=0;D=true;I=(j=q.g.Zi(),j.Ui());o=I.zf();while(o.Yi()&&D){B=o.Zi();if(B.g.o==0){!!R3j&&S3j(R3j,(i4j(),b4j),'Statement is NOT GENERALLY TRUE');XMi(e,e.r);SMi(e,e.r,e.C);h=fOi(fmd(e.u,je(grb,JPo,29,_0c(e.u.g),0,1)),H,m,(++w,true),e.n);q=(u=(new tzd(h.g)).g.gh().zf(),new uzd(u));while(q.g.Yi()){I=(i=q.g.Zi(),i.Ui());o=I.zf();while(o.Yi()){B=o.Zi();if(B.g.o==0){XMi(e,e.r);n=_0c(e.n.g)-(new tzd(H)).g.size();!!R3j&&S3j(R3j,(i4j(),b4j),'Naive dimension = '+n);if(!BMi(e,H,n)){!!R3j&&S3j(R3j,(i4j(),b4j),'Statement is NOT GENERALLY FALSE');return D$j(),B$j}return D$j(),C$j}}}return D$j(),x$j}if(!QNi(B)){if(e.s){!!R3j&&S3j(R3j,(i4j(),b4j),rQo);return D$j(),C$j}r=CMi(t,B);if(!r){D=false}else{K=K&&I.size()==1;if(K){if(Yud(r.g,'xAreEqual')){A=new mmd;jmd(A,r.i[0]);jmd(A,r.i[1]);vKd(J.B,A)}if(Yud(r.g,'yAreEqual')){A=new mmd;jmd(A,r.i[0]);jmd(A,r.i[1]);vKd(L.B,A)}if(J.B.length==1&&jzd(J,L)){r.g=Slo;r.j=0.5}}vKd(s.B,r);F+=r.j}}}if(D&&F0&&K!=null){v?(v=false):(M.g+=',',M);M.g+=L}G=0;b=C.Fb;d=DQo;if(b){B=b.Vm();!!B&&(d=B.Kg());H=b.eb;C==a||(l+=H.length);G=H.length;for(W=H,X=0,Y=W.length;X1&&Yud((UKd(0,2,j.length),j.substr(0,2)),WXn)&&(j=(VKd(1,j.length+1),j.substr(1)));o=ovd(j,'\\\\)\\\\*\\\\(',0);if(o.length>1){o[0]=qvd(o[0],1);o[o.length-1]=rvd(o[o.length-1],0,o[o.length-1].length-1)}F=false;o.length==1&&jvd(o[0],'[-+]?\\\\d*\\\\.?\\\\d+')&&(F=true);G=new BAd;if(!F){for(l=o,m=0,n=l.length;m1&&(d=fnh(d,t));I.i.put(G,(ysd(),wsd))==null;wDd(e.n,G,d)}M=(r=(new Kzd((new EHd(I.i.Pj())).i)).g.gh().i.Qj(),new Lzd(r));while(M.g.Yi()){G=(l=M.g.Zi(),l.Ui());k=Xmh(k,P0c(vDd(e.n,G)))}if(vxd(g,(txd(),sxd))>0){S=cnh(S,Xmh(f,k));T=true}else{fb=cnh(fb,Xmh(f,k));gb=true}}s=new dlh(Q,S,fb);if(eb){if(!T||!gb){!!R3j&&S3j(R3j,(i4j(),b4j),c+' means '+s+', uninteresting');return null}U=new u$j;FMi(U,$kh(s,(MPg(),iPg)));U.j=2;!!R3j&&S3j(R3j,(i4j(),b4j),c+' means '+s);return U}!!R3j&&S3j(R3j,(i4j(),b4j),c+' cannot be described by quantities only')}}u=OMi(hb);v=new omd(u);nb=new yMi(v,3);while(!nb.g){mb=wMi(nb);M=(V=(new tzd(mb.g)).g.gh().zf(),new uzd(V));K=0;db=je(skb,R_n,16,_0c(mb.g),0,1);while(M.g.Yi()){db[K]=(l=M.g.Zi(),l.Ui());++K}try{B=db[0].ZN(db[0]);C=db[1].ZN(db[1]);D=db[2].ZN(db[2])}catch(a){a=vFc(a);if(cf(a,82)){!!R3j&&S3j(R3j,(i4j(),b4j),pQo);return null}else throw wFc(a)}h=TNi(dOi(B[0],B[1],C[0],C[1],D[0],D[1]),b.k);if(NNi(c,h)||LNi(c,h).g.o==0){!!R3j&&S3j(R3j,(i4j(),b4j),c+' means collinearity for '+mb);U=new u$j;U.i=db;oBd(U.i);U.g=Wlo;X0c(b.i,R,U);return U}}$=new yMi(v,2);while(!$.g){X=wMi($);M=(V=(new tzd(X.g)).g.gh().zf(),new uzd(V));K=0;db=je(skb,R_n,16,_0c(X.g),0,1);while(M.g.Yi()){db[K]=(l=M.g.Zi(),l.Ui());++K}try{B=db[0].ZN(db[0]);C=db[1].ZN(db[1])}catch(a){a=vFc(a);if(cf(a,82)){!!R3j&&S3j(R3j,(i4j(),b4j),pQo);return null}else throw wFc(a)}s=TNi(pOi(B[0],B[1],C[0],C[1]),b.k);if(NNi(c,s)||LNi(c,s).g.o==0){!!R3j&&S3j(R3j,(i4j(),b4j),c+' means equality for '+X);U=new u$j;U.i=db;oBd(U.i);U.g=Slo;U.j=0.5;X0c(b.i,R,U);return U}}w=new mmd;sb=new a1c;A=new mmd;vb=new a1c;L=(q=(new Kzd(hde(b.j.q).i)).g.gh().i.Qj(),new Lzd(q));while(L.g.Yi()){H=(l=L.g.Zi(),l.Ui());if(H.Ev()&&cf(H,157)){try{qb=H.ZN(H)[0];if(kmd(b.g,qb)){W0c(w.g,qb,w);wDd(sb.n,qb,H)}tb=H.ZN(H)[1];if(kmd(b.g,tb)){W0c(A.g,tb,A);wDd(vb.n,tb,H)}}catch(a){a=vFc(a);if(cf(a,82)){!!R3j&&S3j(R3j,(i4j(),b4j),pQo);return null}else throw wFc(a)}}}bb=new yMi(w,2);while(!bb.g){X=wMi(bb);P=(V=(new tzd(X.g)).g.gh().zf(),new uzd(V));K=0;i=je(irb,DPo,53,_0c(X.g),0,1);db=je(skb,R_n,16,_0c(X.g),0,1);while(P.g.Yi()){i[K]=(l=P.g.Zi(),l.Ui());db[K]=T0c(sb,i[K]);++K}rb=TNi(LNi(new aOi(i[0]),SNi(new aOi(i[1]))),b.k);if(NNi(c,rb)||LNi(c,rb).g.o==0){!!R3j&&S3j(R3j,(i4j(),b4j),c+' means x-equality for '+X);U=new u$j;U.i=db;oBd(U.i);U.g='xAreEqual';U.j=zGn;X0c(b.i,R,U);return U}}bb=new yMi(A,2);while(!bb.g){X=wMi(bb);P=(V=(new tzd(X.g)).g.gh().zf(),new uzd(V));K=0;i=je(irb,DPo,53,_0c(X.g),0,1);db=je(skb,R_n,16,_0c(X.g),0,1);while(P.g.Yi()){i[K]=(l=P.g.Zi(),l.Ui());db[K]=T0c(vb,i[K]);++K}ub=TNi(LNi(new aOi(i[0]),SNi(new aOi(i[1]))),b.k);if(NNi(c,ub)||LNi(c,ub).g.o==0){!!R3j&&S3j(R3j,(i4j(),b4j),c+' means y-equality for '+X);U=new u$j;U.i=db;oBd(U.i);U.g='yAreEqual';U.j=zGn;X0c(b.i,R,U);return U}}ab=new yMi(v,2);while(!ab.g){Y=wMi(ab);N=(W=(new tzd(Y.g)).g.gh().zf(),new uzd(W));K=0;db=je(skb,R_n,16,4,0,1);while(N.g.Yi()){db[K]=(l=N.g.Zi(),l.Ui());++K}cb=new yMi(v,2);while(!cb.g){Z=wMi(cb);O=(V=(new tzd(Z.g)).g.gh().zf(),new uzd(V));K=2;while(O.g.Yi()){db[K]=(l=O.g.Zi(),l.Ui());++K}try{B=db[0].ZN(db[0]);C=db[1].ZN(db[1]);D=db[2].ZN(db[0]);F=db[3].ZN(db[1])}catch(a){a=vFc(a);if(cf(a,82)){!!R3j&&S3j(R3j,(i4j(),b4j),pQo);return null}else throw wFc(a)}s=TNi(mOi(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(NNi(c,s)||LNi(c,s).g.o==0){!!R3j&&S3j(R3j,(i4j(),b4j),c+' means perpendicularity for '+Y+RPo+Z);U=new u$j;U.i=db;U.g=Ulo;U.j=WVn;X0c(b.i,R,U);return U}s=TNi(lOi(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(NNi(c,s)||LNi(c,s).g.o==0){!!R3j&&S3j(R3j,(i4j(),b4j),c+' means parallelism for '+Y+RPo+Z);U=new u$j;U.i=db;U.g=Tlo;U.j=WVn;X0c(b.i,R,U);return U}s=TNi(LNi(pOi(B[0],B[1],C[0],C[1]),SNi(pOi(D[0],D[1],F[0],F[1]))),b.k);if(NNi(c,s)||LNi(c,s).g.o==0){!!R3j&&S3j(R3j,(i4j(),b4j),c+' means congruence for '+Y+RPo+Z);U=new u$j;U.i=db;U.g=Vlo;U.j=WVn;X0c(b.i,R,U);return U}}}!!R3j&&S3j(R3j,(i4j(),b4j),'No human readable geometrical meaning found for '+c);W0c(b.i,R,null);return null}\nfunction ENi(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(cf(d,75)){if(c.yv()){R=F0h(c);Z=F0h(d);if(R!=null&&Z!=null){if(a.r==null){a.r=je(irb,DPo,53,8,0,1);a.r[0]=new COi(b.Dm());a.r[1]=new COi(b.Dm());a.r[2]=new COi(b.Dm());a.r[3]=new COi(b.Dm());a.r[4]=new COi(b.Dm());a.r[5]=new COi(b.Dm());a.r[6]=new COi(b.Dm());a.r[7]=new COi(b.Dm())}a.q=je(grb,JPo,29,8,0,1);mb=new aOi(R[0]);nb=new aOi(R[1]);Ab=new aOi(a.r[4]);Bb=new aOi(a.r[5]);ob=new aOi(a.r[0]);pb=new aOi(a.r[1]);a.q[0]=LNi(LNi(RNi(Ab,new YNi(2)),SNi(mb)),SNi(ob));a.q[1]=LNi(LNi(RNi(Bb,new YNi(2)),SNi(nb)),SNi(pb));g=je(irb,DPo,53,2,0,1);g[0]=Z[0];g[1]=Z[1];h=je(irb,DPo,53,2,0,1);h[0]=Z[2];h[1]=Z[3];a.q[2]=dOi(g[0],g[1],a.r[4],a.r[5],h[0],h[1]);a.q[3]=mOi(R[0],R[1],a.r[4],a.r[5],g[0],g[1],h[0],h[1]);rb=new aOi(R[2]);sb=new aOi(R[3]);Db=new aOi(a.r[6]);Eb=new aOi(a.r[7]);tb=new aOi(a.r[2]);ub=new aOi(a.r[3]);a.q[4]=LNi(LNi(RNi(Db,new YNi(2)),SNi(rb)),SNi(tb));a.q[5]=LNi(LNi(RNi(Eb,new YNi(2)),SNi(sb)),SNi(ub));a.q[6]=dOi(g[0],g[1],a.r[6],a.r[7],h[0],h[1]);a.q[7]=mOi(R[2],R[3],a.r[6],a.r[7],g[0],g[1],h[0],h[1]);return a.q}throw wFc(new EMi)}else if(c.Ev()){i=c;S=d;Jb=Ndi(i,i);Ib=F0h(S);if(a.r==null){a.r=je(irb,DPo,53,6,0,1);a.r[0]=new COi(b.Dm());a.r[1]=new COi(b.Dm());a.r[2]=new COi(b.Dm());a.r[3]=new COi(b.Dm());a.r[4]=new COi(b.Dm());a.r[5]=new COi(b.Dm())}a.q=je(grb,JPo,29,6,0,1);zb=new aOi(a.r[2]);Cb=new aOi(a.r[3]);v=new aOi(Jb[0]);w=new aOi(Jb[1]);A=new aOi(a.r[0]);B=new aOi(a.r[1]);a.q[0]=LNi(LNi(RNi(zb,new YNi(2)),SNi(A)),SNi(v));a.q[1]=LNi(LNi(RNi(Cb,new YNi(2)),SNi(B)),SNi(w));g=je(irb,DPo,53,2,0,1);g[0]=Ib[0];g[1]=Ib[1];h=je(irb,DPo,53,2,0,1);h[0]=Ib[2];h[1]=Ib[3];a.q[2]=dOi(g[0],g[1],h[0],h[1],a.r[2],a.r[3]);l=new aOi(g[0]);m=new aOi(g[1]);q=new aOi(h[0]);r=new aOi(h[1]);ab=new aOi(a.r[4]);db=new aOi(a.r[5]);a.q[3]=LNi(LNi(LNi(q,SNi(l)),w),SNi(db));a.q[4]=LNi(LNi(LNi(v,SNi(r)),m),SNi(ab));a.q[5]=dOi(a.r[0],a.r[1],a.r[2],a.r[3],a.r[4],a.r[5]);return a.q}else if(c.mv()&&c.zb==4){C=c;S=d;Hb=Z3h(C);Qb=F0h(S);if(a.r==null){a.r=je(irb,DPo,53,12,0,1);a.r[0]=new COi(b.Dm());a.r[1]=new COi(b.Dm());a.r[2]=new COi(b.Dm());a.r[3]=new COi(b.Dm());a.r[4]=new COi(b.Dm());a.r[5]=new COi(b.Dm());a.r[6]=new COi(b.Dm());a.r[7]=new COi(b.Dm());a.r[8]=new COi(b.Dm());a.r[9]=new COi(b.Dm());a.r[10]=new COi(b.Dm());a.r[11]=new COi(b.Dm())}a.q=je(grb,JPo,29,12,0,1);zb=new aOi(a.r[4]);Cb=new aOi(a.r[5]);l=new aOi(Hb[0]);m=new aOi(Hb[1]);n=new aOi(a.r[0]);o=new aOi(a.r[1]);a.q[0]=LNi(LNi(RNi(zb,new YNi(2)),SNi(n)),SNi(l));a.q[1]=LNi(LNi(RNi(Cb,new YNi(2)),SNi(o)),SNi(m));a.q[2]=dOi(Qb[0],Qb[1],a.r[4],a.r[5],Qb[2],Qb[3]);v=new aOi(Qb[0]);w=new aOi(Qb[1]);D=new aOi(Qb[2]);F=new aOi(Qb[3]);bb=new aOi(a.r[8]);cb=new aOi(a.r[9]);a.q[3]=LNi(LNi(LNi(D,SNi(v)),m),SNi(cb));a.q[4]=LNi(LNi(LNi(l,SNi(F)),w),SNi(bb));a.q[5]=dOi(a.r[0],a.r[1],a.r[4],a.r[5],a.r[8],a.r[9]);vb=new aOi(a.r[6]);wb=new aOi(a.r[7]);q=new aOi(Hb[2]);r=new aOi(Hb[3]);s=new aOi(a.r[2]);t=new aOi(a.r[3]);a.q[6]=LNi(LNi(RNi(vb,new YNi(2)),SNi(s)),SNi(q));a.q[7]=LNi(LNi(RNi(wb,new YNi(2)),SNi(t)),SNi(r));a.q[8]=dOi(Qb[0],Qb[1],a.r[6],a.r[7],Qb[2],Qb[3]);eb=new aOi(a.r[10]);fb=new aOi(a.r[11]);a.q[9]=LNi(LNi(LNi(D,SNi(v)),r),SNi(fb));a.q[10]=LNi(LNi(LNi(q,SNi(F)),w),SNi(eb));a.q[11]=dOi(a.r[1],a.r[2],a.r[6],a.r[7],a.r[10],a.r[11]);return a.q}else if(c.mv()&&c.zb==9){qb=c;S=d;Sb=Z3h(qb);Qb=F0h(S);if(a.r==null){a.r=je(irb,DPo,53,22,0,1);a.r[0]=new COi(b.Dm());a.r[1]=new COi(b.Dm());a.r[2]=new COi(b.Dm());a.r[3]=new COi(b.Dm());a.r[4]=new COi(b.Dm());a.r[5]=new COi(b.Dm());a.r[6]=new COi(b.Dm());a.r[7]=new COi(b.Dm());a.r[8]=new COi(b.Dm());a.r[9]=new COi(b.Dm());a.r[10]=new COi(b.Dm());a.r[11]=new COi(b.Dm());a.r[12]=new COi(b.Dm());a.r[13]=new COi(b.Dm());a.r[14]=new COi(b.Dm());a.r[15]=new COi(b.Dm());a.r[16]=new COi(b.Dm());a.r[17]=new COi(b.Dm());a.r[18]=new COi(b.Dm());a.r[19]=new COi(b.Dm());a.r[20]=new COi(b.Dm());a.r[21]=new COi(b.Dm())}a.q=je(grb,JPo,29,21,0,1);l=new aOi(Sb[4]);m=new aOi(Sb[5]);Ab=new aOi(a.r[10]);Bb=new aOi(a.r[11]);n=new aOi(a.r[4]);o=new aOi(a.r[5]);bb=new aOi(a.r[16]);cb=new aOi(a.r[17]);U=new aOi(Qb[0]);V=new aOi(Qb[1]);X=new aOi(Qb[2]);Y=new aOi(Qb[3]);a.q[0]=LNi(LNi(RNi(new YNi(2),Ab),SNi(l)),SNi(n));a.q[1]=LNi(LNi(RNi(new YNi(2),Bb),SNi(m)),SNi(o));a.q[2]=dOi(a.r[4],a.r[5],a.r[10],a.r[11],a.r[16],a.r[17]);a.q[3]=dOi(Qb[0],Qb[1],a.r[10],a.r[11],Qb[2],Qb[3]);a.q[4]=LNi(LNi(LNi(X,SNi(U)),m),SNi(cb));a.q[5]=LNi(LNi(LNi(l,SNi(Y)),V),SNi(bb));q=new aOi(Sb[6]);r=new aOi(Sb[7]);Db=new aOi(a.r[12]);Eb=new aOi(a.r[13]);s=new aOi(a.r[6]);t=new aOi(a.r[7]);eb=new aOi(a.r[18]);fb=new aOi(a.r[19]);a.q[6]=LNi(LNi(RNi(new YNi(2),Db),SNi(q)),SNi(s));a.q[7]=LNi(LNi(RNi(new YNi(2),Eb),SNi(r)),SNi(t));a.q[8]=dOi(a.r[6],a.r[7],a.r[12],a.r[13],a.r[18],a.r[19]);a.q[9]=dOi(Qb[0],Qb[1],a.r[12],a.r[13],Qb[2],Qb[3]);a.q[10]=LNi(LNi(LNi(X,SNi(U)),r),SNi(fb));a.q[11]=LNi(LNi(LNi(q,SNi(Y)),V),SNi(eb));M=new aOi(Sb[8]);N=new aOi(Sb[9]);Fb=new aOi(a.r[14]);Gb=new aOi(a.r[15]);O=new aOi(a.r[8]);P=new aOi(a.r[9]);gb=new aOi(a.r[20]);hb=new aOi(a.r[21]);a.q[12]=LNi(LNi(RNi(new YNi(2),Fb),SNi(M)),SNi(O));a.q[13]=LNi(LNi(RNi(new YNi(2),Gb),SNi(N)),SNi(P));a.q[14]=dOi(a.r[8],a.r[9],a.r[14],a.r[15],a.r[20],a.r[21]);a.q[15]=dOi(Qb[0],Qb[1],a.r[14],a.r[15],Qb[2],Qb[3]);a.q[16]=LNi(LNi(LNi(X,SNi(U)),N),SNi(hb));a.q[17]=LNi(LNi(LNi(M,SNi(Y)),V),SNi(gb));a.q[18]=gOi(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[19]=dOi(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[20]=mOi(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 wFc(new EMi)}else if(cf(e,43)){if(c.Ev()){j=c;k=e;Kb=Ndi(j,j);Lb=Ndi(k,k);if(a.r==null){a.r=je(irb,DPo,53,2,0,1);a.r[0]=new COi(b.Dm());a.r[1]=new COi(b.Dm())}a.q=je(grb,JPo,29,2,0,1);l=new aOi(Kb[0]);m=new aOi(Kb[1]);q=new aOi(Lb[0]);r=new aOi(Lb[1]);n=new aOi(a.r[0]);o=new aOi(a.r[1]);a.q[0]=LNi(LNi(RNi(q,new YNi(2)),SNi(l)),SNi(n));a.q[1]=LNi(LNi(RNi(r,new YNi(2)),SNi(m)),SNi(o));return a.q}else if(c.yv()){S=c;i=e;Qb=F0h(S);Jb=Ndi(i,i);if(a.r==null){a.r=je(irb,DPo,53,4,0,1);a.r[0]=new COi(b.Dm());a.r[1]=new COi(b.Dm());a.r[2]=new COi(b.Dm());a.r[3]=new COi(b.Dm())}a.q=je(grb,JPo,29,4,0,1);mb=new aOi(Jb[0]);nb=new aOi(Jb[1]);l=new aOi(Qb[0]);m=new aOi(Qb[1]);n=new aOi(a.r[0]);o=new aOi(a.r[1]);q=new aOi(Qb[2]);r=new aOi(Qb[3]);s=new aOi(a.r[2]);t=new aOi(a.r[3]);a.q[0]=LNi(LNi(mb,SNi(l)),SNi(LNi(n,SNi(mb))));a.q[1]=LNi(LNi(nb,SNi(m)),SNi(LNi(o,SNi(nb))));a.q[2]=LNi(LNi(mb,SNi(q)),SNi(LNi(s,SNi(mb))));a.q[3]=LNi(LNi(nb,SNi(r)),SNi(LNi(t,SNi(nb))));return a.q}else if(c.mv()&&c.zb==4){C=c;i=e;Hb=Z3h(C);Jb=Ndi(i,i);if(a.r==null){a.r=je(irb,DPo,53,4,0,1);a.r[0]=new COi(b.Dm());a.r[1]=new COi(b.Dm());a.r[2]=new COi(b.Dm());a.r[3]=new COi(b.Dm())}a.q=je(grb,JPo,29,4,0,1);mb=new aOi(Jb[0]);nb=new aOi(Jb[1]);l=new aOi(Hb[0]);m=new aOi(Hb[1]);n=new aOi(a.r[0]);o=new aOi(a.r[1]);q=new aOi(Hb[2]);r=new aOi(Hb[3]);s=new aOi(a.r[2]);t=new aOi(a.r[3]);a.q[0]=LNi(LNi(mb,SNi(l)),SNi(LNi(n,SNi(mb))));a.q[1]=LNi(LNi(nb,SNi(m)),SNi(LNi(o,SNi(nb))));a.q[2]=LNi(LNi(mb,SNi(q)),SNi(LNi(s,SNi(mb))));a.q[3]=LNi(LNi(nb,SNi(r)),SNi(LNi(t,SNi(nb))));return a.q}else if(c.mv()&&c.zb==9){qb=c;i=e;Sb=Z3h(qb);Jb=Ndi(i,i);if(a.r==null){a.r=je(irb,DPo,53,10,0,1);a.r[0]=new COi(b.Dm());a.r[1]=new COi(b.Dm());a.r[2]=new COi(b.Dm());a.r[3]=new COi(b.Dm());a.r[4]=new COi(b.Dm());a.r[5]=new COi(b.Dm());a.r[6]=new COi(b.Dm());a.r[7]=new COi(b.Dm());a.r[8]=new COi(b.Dm());a.r[9]=new COi(b.Dm())}a.q=je(grb,JPo,29,13,0,1);mb=new aOi(Sb[0]);nb=new aOi(Sb[1]);vb=new aOi(Sb[2]);wb=new aOi(Sb[3]);l=new aOi(Sb[4]);m=new aOi(Sb[5]);q=new aOi(Sb[6]);r=new aOi(Sb[7]);M=new aOi(Sb[8]);N=new aOi(Sb[9]);ob=new aOi(a.r[0]);pb=new aOi(a.r[1]);xb=new aOi(a.r[2]);yb=new aOi(a.r[3]);n=new aOi(a.r[4]);o=new aOi(a.r[5]);s=new aOi(a.r[6]);t=new aOi(a.r[7]);O=new aOi(a.r[8]);P=new aOi(a.r[9]);T=new aOi(Jb[0]);W=new aOi(Jb[1]);a.q[0]=LNi(LNi(RNi(new YNi(2),T),SNi(mb)),SNi(ob));a.q[1]=LNi(LNi(RNi(new YNi(2),W),SNi(nb)),SNi(pb));a.q[2]=LNi(LNi(RNi(new YNi(2),T),SNi(vb)),SNi(xb));a.q[3]=LNi(LNi(RNi(new YNi(2),W),SNi(wb)),SNi(yb));a.q[4]=LNi(LNi(RNi(new YNi(2),T),SNi(l)),SNi(n));a.q[5]=LNi(LNi(RNi(new YNi(2),W),SNi(m)),SNi(o));a.q[6]=LNi(LNi(RNi(new YNi(2),T),SNi(q)),SNi(s));a.q[7]=LNi(LNi(RNi(new YNi(2),W),SNi(r)),SNi(t));a.q[8]=LNi(LNi(RNi(new YNi(2),T),SNi(M)),SNi(O));a.q[9]=LNi(LNi(RNi(new YNi(2),W),SNi(N)),SNi(P));a.q[10]=gOi(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[11]=dOi(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[12]=mOi(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.mv()&&c.zb==3){L=c;i=e;Ob=Z3h(L);Jb=Ndi(i,i);if(Ob[6]==Ob[8]&&Ob[7]==Ob[9]){if(a.r==null){a.r=je(irb,DPo,53,4,0,1);a.r[0]=new COi(b.Dm());a.r[1]=new COi(b.Dm());a.r[2]=new COi(b.Dm());a.r[3]=new COi(b.Dm())}a.q=je(grb,JPo,29,4,0,1);l=new aOi(Ob[0]);m=new aOi(Ob[1]);v=new aOi(Ob[2]);w=new aOi(Ob[3]);mb=new aOi(Jb[0]);nb=new aOi(Jb[1]);n=new aOi(a.r[0]);o=new aOi(a.r[1]);A=new aOi(a.r[2]);B=new aOi(a.r[3]);a.q[0]=LNi(LNi(RNi(new YNi(2),mb),SNi(l)),SNi(n));a.q[1]=LNi(LNi(RNi(new YNi(2),nb),SNi(m)),SNi(o));a.q[2]=LNi(LNi(RNi(new YNi(2),mb),SNi(v)),SNi(A));a.q[3]=LNi(LNi(RNi(new YNi(2),nb),SNi(w)),SNi(B))}else{if(a.r==null){a.r=je(irb,DPo,53,12,0,1);a.r[0]=new COi(b.Dm());a.r[1]=new COi(b.Dm());a.r[2]=new COi(b.Dm());a.r[3]=new COi(b.Dm());a.r[4]=new COi(b.Dm());a.r[5]=new COi(b.Dm());a.r[6]=new COi(b.Dm());a.r[7]=new COi(b.Dm());a.r[8]=new COi(b.Dm());a.r[9]=new COi(b.Dm());a.r[10]=new COi(b.Dm());a.r[11]=new COi(b.Dm())}a.q=je(grb,JPo,29,13,0,1);mb=new aOi(Ob[0]);nb=new aOi(Ob[1]);l=new aOi(Ob[6]);m=new aOi(Ob[7]);q=new aOi(Ob[8]);r=new aOi(Ob[9]);v=new aOi(Ob[10]);w=new aOi(Ob[11]);T=new aOi(Jb[0]);W=new aOi(Jb[1]);ob=new aOi(a.r[0]);pb=new aOi(a.r[1]);n=new aOi(a.r[6]);o=new aOi(a.r[7]);s=new aOi(a.r[8]);t=new aOi(a.r[9]);A=new aOi(a.r[10]);B=new aOi(a.r[11]);D=new aOi(a.r[2]);F=new aOi(a.r[3]);J=new aOi(a.r[4]);K=new aOi(a.r[5]);a.q[0]=LNi(LNi(RNi(new YNi(2),T),SNi(mb)),SNi(ob));a.q[1]=LNi(LNi(RNi(new YNi(2),W),SNi(nb)),SNi(pb));a.q[2]=LNi(LNi(RNi(new YNi(2),T),SNi(l)),SNi(n));a.q[3]=LNi(LNi(RNi(new YNi(2),W),SNi(m)),SNi(o));a.q[4]=LNi(LNi(RNi(new YNi(2),T),SNi(q)),SNi(s));a.q[5]=LNi(LNi(RNi(new YNi(2),W),SNi(r)),SNi(t));a.q[6]=LNi(LNi(RNi(new YNi(2),T),SNi(v)),SNi(A));a.q[7]=LNi(LNi(RNi(new YNi(2),W),SNi(w)),SNi(B));a.q[8]=LNi(LNi(LNi(D,F),SNi(J)),SNi(K));a.q[9]=LNi(pOi(a.r[6],a.r[7],a.r[8],a.r[9]),SNi(RNi(D,D)));a.q[10]=LNi(pOi(a.r[6],a.r[7],a.r[8],a.r[9]),SNi(RNi(F,F)));a.q[11]=LNi(pOi(a.r[6],a.r[7],a.r[0],a.r[1]),SNi(RNi(J,J)));a.q[12]=LNi(pOi(a.r[8],a.r[9],a.r[0],a.r[1]),SNi(RNi(K,K)))}return a.q}else if(c.mv()&&c.zb==5){Q=c;i=e;Pb=Z3h(Q);Jb=Ndi(i,i);if(a.r==null){a.r=je(irb,DPo,53,12,0,1);a.r[0]=new COi(b.Dm());a.r[1]=new COi(b.Dm());a.r[2]=new COi(b.Dm());a.r[3]=new COi(b.Dm());a.r[4]=new COi(b.Dm());a.r[5]=new COi(b.Dm());a.r[6]=new COi(b.Dm());a.r[7]=new COi(b.Dm());a.r[8]=new COi(b.Dm());a.r[9]=new COi(b.Dm());a.r[10]=new COi(b.Dm());a.r[11]=new COi(b.Dm())}a.q=je(grb,JPo,29,13,0,1);mb=new aOi(Pb[0]);nb=new aOi(Pb[1]);l=new aOi(Pb[6]);m=new aOi(Pb[7]);q=new aOi(Pb[8]);r=new aOi(Pb[9]);v=new aOi(Pb[10]);w=new aOi(Pb[11]);T=new aOi(Jb[0]);W=new aOi(Jb[1]);ob=new aOi(a.r[0]);pb=new aOi(a.r[1]);n=new aOi(a.r[6]);o=new aOi(a.r[7]);s=new aOi(a.r[8]);t=new aOi(a.r[9]);A=new aOi(a.r[10]);B=new aOi(a.r[11]);D=new aOi(a.r[2]);F=new aOi(a.r[3]);J=new aOi(a.r[4]);K=new aOi(a.r[5]);a.q[0]=LNi(LNi(RNi(new YNi(2),T),SNi(mb)),SNi(ob));a.q[1]=LNi(LNi(RNi(new YNi(2),W),SNi(nb)),SNi(pb));a.q[2]=LNi(LNi(RNi(new YNi(2),T),SNi(l)),SNi(n));a.q[3]=LNi(LNi(RNi(new YNi(2),W),SNi(m)),SNi(o));a.q[4]=LNi(LNi(RNi(new YNi(2),T),SNi(q)),SNi(s));a.q[5]=LNi(LNi(RNi(new YNi(2),W),SNi(r)),SNi(t));a.q[6]=LNi(LNi(RNi(new YNi(2),T),SNi(v)),SNi(A));a.q[7]=LNi(LNi(RNi(new YNi(2),W),SNi(w)),SNi(B));a.q[8]=LNi(LNi(LNi(D,SNi(F)),SNi(J)),K);a.q[9]=LNi(pOi(a.r[6],a.r[7],a.r[10],a.r[11]),SNi(RNi(D,D)));a.q[10]=LNi(pOi(a.r[8],a.r[9],a.r[10],a.r[11]),SNi(RNi(F,F)));a.q[3]=LNi(pOi(a.r[6],a.r[7],a.r[0],a.r[1]),SNi(RNi(J,J)));a.q[4]=LNi(pOi(a.r[8],a.r[9],a.r[0],a.r[1]),SNi(RNi(K,K)));return a.q}throw wFc(new EMi)}else if(f){if(c.Ev()){i=c;u=f;Jb=Ndi(i,i);Mb=Z3h(u);if(a.r==null){a.r=je(irb,DPo,53,8,0,1);a.r[0]=new COi(b.Dm());a.r[1]=new COi(b.Dm());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(grb,JPo,29,2,0,1);ib=new aOi(Mb[0]);jb=new aOi(Mb[1]);l=new aOi(Mb[2]);m=new aOi(Mb[3]);q=new aOi(Jb[0]);r=new aOi(Jb[1]);s=new aOi(a.r[0]);t=new aOi(a.r[1]);kb=LNi(RNi(LNi(l,SNi(ib)),LNi(l,SNi(ib))),RNi(LNi(m,SNi(jb)),LNi(m,SNi(jb))));G=LNi(RNi(LNi(q,SNi(ib)),LNi(q,SNi(ib))),RNi(LNi(r,SNi(jb)),LNi(r,SNi(jb))));a.q[0]=LNi(RNi(kb,LNi(q,SNi(ib))),RNi(LNi(ib,SNi(s)),G));a.q[1]=LNi(RNi(kb,LNi(r,SNi(jb))),RNi(LNi(jb,SNi(t)),G));return a.q}else if(c.yv()){!!R3j&&S3j(R3j,(i4j(),b4j),'mirroring line about circle not implemented');throw wFc(new EMi)}else if(c.mv()&&c.zb==4){C=c;$=f;Nb=Z3h(C);Rb=Z3h($);if(a.r==null){a.r=je(irb,DPo,53,4,0,1);a.r[0]=new COi(b.Dm());a.r[1]=new COi(b.Dm());a.r[2]=new COi(b.Dm());a.r[3]=new COi(b.Dm())}a.q=je(grb,JPo,29,4,0,1);l=new aOi(Nb[0]);m=new aOi(Nb[1]);q=new aOi(Nb[2]);r=new aOi(Nb[3]);ib=new aOi(Rb[0]);jb=new aOi(Rb[1]);v=new aOi(Rb[2]);w=new aOi(Rb[3]);n=new aOi(a.r[0]);o=new aOi(a.r[1]);s=new aOi(a.r[2]);t=new aOi(a.r[3]);lb=LNi(RNi(LNi(v,SNi(ib)),LNi(v,SNi(ib))),RNi(LNi(w,SNi(jb)),LNi(w,SNi(jb))));p=LNi(RNi(LNi(q,SNi(l)),LNi(q,SNi(l))),RNi(LNi(r,SNi(m)),LNi(r,SNi(m))));H=LNi(LNi(RNi(LNi(l,SNi(ib)),LNi(l,SNi(ib))),RNi(LNi(m,SNi(jb)),LNi(m,SNi(jb)))),SNi(p));a.q[0]=LNi(RNi(lb,LNi(l,SNi(ib))),RNi(LNi(ib,SNi(n)),H));a.q[1]=LNi(RNi(lb,LNi(m,SNi(jb))),RNi(LNi(jb,SNi(o)),H));I=LNi(RNi(LNi(q,SNi(ib)),LNi(q,SNi(ib))),RNi(LNi(r,SNi(jb)),LNi(r,SNi(jb))));a.q[2]=LNi(RNi(lb,LNi(q,SNi(ib))),RNi(LNi(ib,SNi(s)),I));a.q[3]=LNi(RNi(lb,LNi(r,SNi(jb))),RNi(LNi(jb,SNi(t)),I));return a.q}else{throw wFc(new EMi)}}else{throw wFc(new EMi)}}\nvar YPo='[LocusEqu] result[',ZPo='eliminate([',$Po='],revlist([',_Po='PRECISION = ',aQo='[1]: [1]: _[1]=1 _[2]=',bQo='Cannot parse: ',cQo='Cannot get Botana variables for ',dQo='Recio meets Botana: #',eQo={17:1,30:1,21:1,25:1,240:1,960:1,31:1},fQo={17:1,30:1,21:1,25:1,960:1,31:1},gQo='Cannot compute implicit curve (yet?)',hQo='Benchmarking: ',iQo='Output from giac: ',jQo='Error on running Giac code',kQo=' kernelPrecision=',lQo=' precisionRatio=',mQo='OpenGeoProver',nQo='PureSymbolic',oQo='STATEMENT IS ',pQo='Cannot get Botana vars during NDG detection',qQo=' unimplemented',rQo='Interpreting TRUE as UNKNOWN',sQo='Extra poly 3 for ',tQo='Extra poly 4 for ',uQo='Eliminating system in ',vQo=' variables (',wQo=' dependent)',xQo='gbt polys = ',yQo='gbt vars = ',zQo='Using ',AQo='Possible numerical error in converting formula coefficients to integer',BQo='ggbtmpvar2',CQo=') and ',DQo='Free Point';cGc(259,8671,NZn,_Gd);cGc(2464,1,t0n);_.Fn=function(a,b){var c,d;d=new cwd;c=ZPo+a+$Po+b+']))';return Tvd(Tvd(Tvd(Tvd(Tvd(Tvd((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};_.Gn=function(a,b,c,d){var e,f;if(!c){return (f1d(),_0d)+'(eliminate(['+a+$Po+b+'])))'}e=''+VFc(d.g);!!R3j&&S3j(R3j,(i4j(),b4j),_Po+e);f=(f1d(),_0d)+'([[ee:=eliminate(['+a+$Po+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};_.Hn=function(a,b,c,d){var e,f,g;e='[[GB:=gbasis(';!!a&&(e+=Hoo);e+='['+b+']';if(a){f=k0d(a);e+=',['+f+'])'}g=c+bOi(d);Yud(g.substr(0,1),',')&&(g=(VKd(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};_.In=function(a,b,c,d,e){var f,g,h;f='[[ii:=gbasis(';f+=Hoo;f+='['+b+']';g=k0d(a);f+=',['+g+'])';h=c+bOi(d);f+=',['+h+'],revlex)],('+'ii'+'[0]!=1)&&('+'ii'+'[0]!=-1)][1]';return f};_.On=function(a){var b,c,d,e;b=g0d(a);c=h0d(a);e=je(qf,TFn,118,c.length+1,0,3);e[0]=b;for(d=0;d0){c=Ndi(this.r,this.r);b[b.length-1]=LNi(RNi(pOi(d[0],d[1],c[0],c[1]),new aOi(new COi(this.jd))),SNi(new YNi(1)))}W0c(this.n,a,b);return b}throw wFc(new EMi)}else if(this.p.zb==9||this.p.zb==3||this.p.zb==5){if(this.t){p=F0h(this.t);d=je(irb,DPo,53,2,0,1);!this.o&&(this.o=new a1c);if(Q0c(this.o,a)){d=T0c(this.o,a)}else{d=je(irb,DPo,53,2,0,1);d[0]=new COi(this.jd);d[1]=new COi(this.jd);W0c(this.o,a,d)}e=Y3h(this.p);g=Z3h(this.p);f=e.length;b=je(grb,JPo,29,f+1,0,1);for(k=0;ki&&(i=h[g])}b[0]=i;return b}throw wFc(new EMi)};_.IQ=function(a){var b,c,d,e,f,g;if(!!this.i&&!!this.j&&!!this.k&&!!this.n){c=Wdi(this.i,a);d=Wdi(this.j,a);e=Wdi(this.k,a);f=Wdi(this.n,a);b=je(Mv,AZn,138,1,0,1);g=he(Mv,[TFn,AZn],[399,138],0,[4,4],2);g[0][0]=Ixd(c[0],c[2]);g[0][1]=Ixd(c[1],c[2]);g[0][2]=uyd(Ixd(c[0],c[0]),Ixd(c[1],c[1]));g[0][3]=Ixd(c[2],c[2]);g[1][0]=Ixd(d[0],d[2]);g[1][1]=Ixd(d[1],d[2]);g[1][2]=uyd(Ixd(d[0],d[0]),Ixd(d[1],d[1]));g[1][3]=Ixd(d[2],d[2]);g[2][0]=Ixd(e[0],e[2]);g[2][1]=Ixd(e[1],e[2]);g[2][2]=uyd(Ixd(e[0],e[0]),Ixd(e[1],e[1]));g[2][3]=Ixd(e[2],e[2]);g[3][0]=Ixd(f[0],f[2]);g[3][1]=Ixd(f[1],f[2]);g[3][2]=uyd(Ixd(f[0],f[0]),Ixd(f[1],f[1]));g[3][3]=Ixd(f[2],f[2]);b[0]=uyd(zyd(zyd(uyd(uyd(zyd(zyd(uyd(uyd(zyd(zyd(uyd(uyd(zyd(zyd(uyd(uyd(zyd(zyd(uyd(uyd(zyd(zyd(Ixd(Ixd(Ixd(g[0][3],g[1][2]),g[2][1]),g[3][0]),Ixd(Ixd(Ixd(g[0][2],g[1][3]),g[2][1]),g[3][0])),Ixd(Ixd(Ixd(g[0][3],g[1][1]),g[2][2]),g[3][0])),Ixd(Ixd(Ixd(g[0][1],g[1][3]),g[2][2]),g[3][0])),Ixd(Ixd(Ixd(g[0][2],g[1][1]),g[2][3]),g[3][0])),Ixd(Ixd(Ixd(g[0][1],g[1][2]),g[2][3]),g[3][0])),Ixd(Ixd(Ixd(g[0][3],g[1][2]),g[2][0]),g[3][1])),Ixd(Ixd(Ixd(g[0][2],g[1][3]),g[2][0]),g[3][1])),Ixd(Ixd(Ixd(g[0][3],g[1][0]),g[2][2]),g[3][1])),Ixd(Ixd(Ixd(g[0][0],g[1][3]),g[2][2]),g[3][1])),Ixd(Ixd(Ixd(g[0][2],g[1][0]),g[2][3]),g[3][1])),Ixd(Ixd(Ixd(g[0][0],g[1][2]),g[2][3]),g[3][1])),Ixd(Ixd(Ixd(g[0][3],g[1][1]),g[2][0]),g[3][2])),Ixd(Ixd(Ixd(g[0][1],g[1][3]),g[2][0]),g[3][2])),Ixd(Ixd(Ixd(g[0][3],g[1][0]),g[2][1]),g[3][2])),Ixd(Ixd(Ixd(g[0][0],g[1][3]),g[2][1]),g[3][2])),Ixd(Ixd(Ixd(g[0][1],g[1][0]),g[2][3]),g[3][2])),Ixd(Ixd(Ixd(g[0][0],g[1][1]),g[2][3]),g[3][2])),Ixd(Ixd(Ixd(g[0][2],g[1][1]),g[2][0]),g[3][3])),Ixd(Ixd(Ixd(g[0][1],g[1][2]),g[2][0]),g[3][3])),Ixd(Ixd(Ixd(g[0][2],g[1][0]),g[2][1]),g[3][3])),Ixd(Ixd(Ixd(g[0][0],g[1][2]),g[2][1]),g[3][3])),Ixd(Ixd(Ixd(g[0][1],g[1][0]),g[2][2]),g[3][3])),Ixd(Ixd(Ixd(g[0][0],g[1][1]),g[2][2]),g[3][3]));return b}throw wFc(new EMi)};_.JQ=function(a){if(!!this.i&&!!this.j&&!!this.k&&!!this.n){Xdi(this.i,a);Xdi(this.j,a);Xdi(this.k,a);Xdi(this.n,a);return}throw wFc(new EMi)};_.KQ=function(){var a,b,c,d,e;if(this.p!=null){return this.p}if(!!this.i&&!!this.j&&!!this.k&&!!this.n){a=bei(this.i);b=bei(this.j);c=bei(this.k);d=bei(this.n);this.p=je(grb,JPo,29,1,0,1);e=he(grb,[TFn,JPo],[94,29],0,[4,4],2);e[0][0]=RNi(a[0],a[2]);e[0][1]=RNi(a[1],a[2]);e[0][2]=LNi(RNi(a[0],a[0]),RNi(a[1],a[1]));e[0][3]=RNi(a[2],a[2]);e[1][0]=RNi(b[0],b[2]);e[1][1]=RNi(b[1],b[2]);e[1][2]=LNi(RNi(b[0],b[0]),RNi(b[1],b[1]));e[1][3]=RNi(b[2],b[2]);e[2][0]=RNi(c[0],c[2]);e[2][1]=RNi(c[1],c[2]);e[2][2]=LNi(RNi(c[0],c[0]),RNi(c[1],c[1]));e[2][3]=RNi(c[2],c[2]);e[3][0]=RNi(d[0],d[2]);e[3][1]=RNi(d[1],d[2]);e[3][2]=LNi(RNi(d[0],d[0]),RNi(d[1],d[1]));e[3][3]=RNi(d[2],d[2]);this.p[0]=LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(LNi(RNi(e[0][3],RNi(e[1][2],RNi(e[2][1],e[3][0]))),SNi(RNi(RNi(RNi(e[0][2],e[1][3]),e[2][1]),e[3][0]))),SNi(RNi(RNi(RNi(e[0][3],e[1][1]),e[2][2]),e[3][0]))),RNi(RNi(RNi(e[0][1],e[1][3]),e[2][2]),e[3][0])),RNi(RNi(RNi(e[0][2],e[1][1]),e[2][3]),e[3][0])),SNi(RNi(RNi(RNi(e[0][1],e[1][2]),e[2][3]),e[3][0]))),SNi(RNi(RNi(RNi(e[0][3],e[1][2]),e[2][0]),e[3][1]))),RNi(RNi(RNi(e[0][2],e[1][3]),e[2][0]),e[3][1])),RNi(RNi(RNi(e[0][3],e[1][0]),e[2][2]),e[3][1])),SNi(RNi(RNi(RNi(e[0][0],e[1][3]),e[2][2]),e[3][1]))),SNi(RNi(RNi(RNi(e[0][2],e[1][0]),e[2][3]),e[3][1]))),RNi(RNi(RNi(e[0][0],e[1][2]),e[2][3]),e[3][1])),RNi(RNi(RNi(e[0][3],e[1][1]),e[2][0]),e[3][2])),SNi(RNi(RNi(RNi(e[0][1],e[1][3]),e[2][0]),e[3][2]))),SNi(RNi(RNi(RNi(e[0][3],e[1][0]),e[2][1]),e[3][2]))),RNi(RNi(RNi(e[0][0],e[1][3]),e[2][1]),e[3][2])),RNi(RNi(RNi(e[0][1],e[1][0]),e[2][3]),e[3][2])),SNi(RNi(RNi(RNi(e[0][0],e[1][1]),e[2][3]),e[3][2]))),SNi(RNi(RNi(RNi(e[0][2],e[1][1]),e[2][0]),e[3][3]))),RNi(RNi(RNi(e[0][1],e[1][2]),e[2][0]),e[3][3])),RNi(RNi(RNi(e[0][2],e[1][0]),e[2][1]),e[3][3])),SNi(RNi(RNi(RNi(e[0][0],e[1][2]),e[2][1]),e[3][3]))),SNi(RNi(RNi(RNi(e[0][1],e[1][0]),e[2][2]),e[3][3]))),RNi(RNi(RNi(e[0][0],e[1][1]),e[2][2]),e[3][3]));return this.p}throw wFc(new EMi)};_.LQ=Uap;_.wn=function(){tLi(this)};var Gqb=vtd(3083);cGc(1286,21,{17:1,30:1,21:1,25:1,240:1,960:1,31:1,1286:1},yLi,zLi);_.Vm=function(){return GWh(),zMh};_.$i=hbp;_.Rm=function(){vLi(this)};_.o1=function(){return wLi(this)};_.HQ=function(a){var b,c,d;if(cf(this.i,122)||cf(this.j,122)){throw wFc(new EMi)}if(!!this.i&&!!this.j){if(cf(this.i,43)&&cf(this.j,43)||cf(this.i,75)&&cf(this.j,75)||cf(this.i,180)&&cf(this.j,180)){c=this.i.HQ(a);d=this.j.HQ(a);b=je(sf,PFn,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 wFc(new EMi)};_.IQ=function(a){var b,c,d;if(cf(this.i,122)||cf(this.j,122)){throw wFc(new EMi)}if(!!this.i&&!!this.j){if(cf(this.i,43)&&cf(this.j,43)||cf(this.i,75)&&cf(this.j,75)||cf(this.i,180)&&cf(this.j,180)){c=this.i.IQ(a);d=this.j.IQ(a);b=je(Mv,AZn,138,1,0,1);b[0]=uyd(uxd(zyd(Ixd(c[0],d[2]),Ixd(d[0],c[2]))),uxd(zyd(Ixd(c[1],d[2]),Ixd(d[1],c[2]))));return b}}throw wFc(new EMi)};_.JQ=function(a){if(cf(this.i,122)||cf(this.j,122)){throw wFc(new EMi)}if(!!this.i&&!!this.j){if(cf(this.i,43)&&cf(this.j,43)||cf(this.i,75)&&cf(this.j,75)||cf(this.i,180)&&cf(this.j,180)){this.i.JQ(a);this.j.JQ(a);return}}throw wFc(new EMi)};_.KQ=function(){var a,b;U3j(this.n);if(this.n!=null){return this.n}if(cf(this.i,122)||cf(this.j,122)){throw wFc(new EMi)}if(!!this.i&&!!this.j){if(cf(this.i,43)&&cf(this.j,43)||cf(this.i,75)&&cf(this.j,75)||cf(this.i,180)&&cf(this.j,180)){a=this.i.KQ();b=this.j.KQ();this.n=je(grb,JPo,29,2,0,1);this.n[0]=LNi(RNi(a[0],b[2]),SNi(RNi(b[0],a[2])));this.n[1]=LNi(RNi(a[1],b[2]),SNi(RNi(b[1],a[2])));return this.n}}throw wFc(new EMi)};_.LQ=Uap;_.wn=function(){xLi(this)};var Hqb=vtd(1286);cGc(2274,21,fQo,HLi,ILi);_.Vm=function(){return GWh(),AMh};_.Rm=function(){DLi(this)};_.o1=function(){return ELi(this)};_.wn=function(){xLi(this)};var ALi;var Jqb=vtd(2274);cGc(pSn,1,S1n,JLi);_.fo=function(a){return FLi(a)};var Iqb=vtd(pSn);cGc(1805,21,eQo,MLi,NLi);_.Vm=function(){return GWh(),BMh};_.$i=hbp;_.Rm=function(){S1h(this.k,d1h(this.i,this.j))};_.o1=function(){return KLi(this)};_.HQ=function(a){var b,c,d;if(!!this.i&&!!this.j){c=G0h(this.i,a);d=G0h(this.j,a);b=je(sf,PFn,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[1],c[1]+d[0]);return b}throw wFc(new EMi)};_.IQ=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.eb[0].IQ(a);d=this.eb[1].IQ(a);b=je(Mv,AZn,138,1,0,1);b[0]=zyd(Ixd(c[0],d[1]),Ixd(c[1],d[0]));return b}throw wFc(new EMi)};_.JQ=ibp;_.KQ=function(){var a,b;U3j(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.eb[0].KQ();b=this.eb[1].KQ();this.n=je(grb,JPo,29,1,0,1);this.n[0]=LNi(RNi(a[0],b[1]),SNi(RNi(a[1],b[0])));return this.n}throw wFc(new EMi)};_.LQ=Uap;_.wn=function(){xLi(this)};var Kqb=vtd(1805);cGc(1806,21,eQo,QLi,RLi);_.Vm=function(){return GWh(),CMh};_.$i=hbp;_.Rm=function(){S1h(this.k,e1h(this.i,this.j))};_.o1=function(){return OLi(this)};_.HQ=function(a){var b,c,d;if(!!this.i&&!!this.j){c=G0h(this.i,a);d=G0h(this.j,a);b=je(sf,PFn,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[0],c[1]+d[1]);return b}throw wFc(new EMi)};_.IQ=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.eb[0].IQ(a);d=this.eb[1].IQ(a);b=je(Mv,AZn,138,1,0,1);b[0]=uyd(Ixd(c[0],d[0]),Ixd(c[1],d[1]));return b}throw wFc(new EMi)};_.JQ=ibp;_.KQ=function(){var a,b;U3j(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.eb[0].KQ();b=this.eb[1].KQ();this.n=je(grb,JPo,29,1,0,1);this.n[0]=LNi(RNi(a[0],b[0]),RNi(a[1],b[1]));return this.n}throw wFc(new EMi)};_.LQ=Uap;_.wn=function(){xLi(this)};var Lqb=vtd(1806);cGc(2029,21,{17:1,30:1,21:1,25:1,31:1,234:1,2029:1},XLi);_.Vm=function(){return GWh(),COh};_.Rm=function(){var a;if(!u_d(this.jd.RM()).Ii()){this.i=null;this.n=0;return}a=this.i;WLi(this);if(a==null||!Yud(a,this.i)){Z3j(a+Ivo+this.i);SLi(this)}};_.A4=function(a,b){return VLi(this,a,b)};_.wn=function(){WLi(this)};_.n=0;var Mqb=vtd(2029);cGc(8566,21,fQo,aMi);_.Vm=function(){return null};_.Rm=function(){this.n.o=false};_.o1=function(){return ZLi(this)};_.wn=function(){_Li(this)};var Nqb=vtd(8566);cGc(3082,21,fQo,dMi);_.Vm=function(){return GWh(),zQh};_.Rm=function(){bMi(this)};_.o1=function(){var a,b,c,d,e,f;if(this.g!=null){return this.g}d=this.i;a=this.j;e=F0h(d);b=Z3h(a);if(a.zb==4){c=je(irb,DPo,53,2,0,1);c[0]=new COi(this.jd);c[1]=new COi(this.jd);this.g=he(grb,[TFn,JPo],[94,29],0,[1,3],2);this.g[0][0]=dOi(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=mOi(c[0],c[1],e[0],e[1],c[0],c[1],b[0],b[1]);this.g[0][2]=gOi(c[0],c[1],b[0],b[1],b[2],b[3]);return this.g}if(a.zb==9){c=je(irb,DPo,53,2,0,1);c[0]=new COi(this.jd);c[1]=new COi(this.jd);f=je(irb,DPo,53,2,0,1);f[0]=new COi(this.jd);f[1]=new COi(this.jd);this.g=he(grb,[TFn,JPo],[94,29],0,[1,5],2);this.g[0][0]=dOi(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=mOi(c[0],c[1],e[0],e[1],c[0],c[1],b[8],b[9]);this.g[0][2]=LNi(LNi(RNi(new aOi(c[0]),new YNi(2)),SNi(new aOi(f[0]))),SNi(new aOi(b[8])));this.g[0][3]=LNi(LNi(RNi(new aOi(c[1]),new YNi(2)),SNi(new aOi(f[1]))),SNi(new aOi(b[9])));this.g[0][4]=dOi(f[0],f[1],b[4],b[5],b[6],b[7]);return this.g}throw wFc(new EMi)};_.wn=function(){xLi(this)};var Oqb=vtd(3082);cGc(1344,21,{17:1,30:1,21:1,25:1,31:1,234:1,1344:1},kMi,lMi);_.Vm=function(){return GWh(),XQh};_.Rm=function(){var a;if(!u_d(this.jd.RM()).Ii()){!!R3j&&S3j(R3j,(i4j(),b4j),'CAS is not yet loaded => fingerprint set to null');this.i=null;this.p=0;return}a=this.i;jMi(this);if(a==null||!Yud(a,this.i)){U3j(a+Ivo+this.i);fMi(this,!!this.k)}};_.A4=function(a,b){return iMi(this,a,b)};_.wn=function(){jMi(this)};_.p=0;var Pqb=vtd(1344);cGc(2026,21,{17:1,30:1,21:1,25:1,31:1,234:1,2026:1},qMi);_.Vm=function(){return GWh(),ASh};_.Rm=function(){nMi(this)};_.wn=function(){pMi(this)};var Rqb=vtd(2026);cGc(8271,21,CPo,uMi);_.Vm=function(){return GWh(),BSh};_.Rm=function(){rMi(this)};_.wn=function(){tMi(this)};_.j=false;var Qqb=vtd(8271);cGc(1154,1,{},yMi);_.Xi=function(a){PDd(this,a)};_.Zi=function(){return wMi(this)};_.Yi=function(){return !this.g};_.$i=function(){};_.g=false;_.j=0;_.n=0;var Sqb=vtd(1154);var zMi,AMi;cGc(l1n,1,{},DMi);var Tqb=vtd(l1n);cGc(82,44,{3:1,44:1,69:1,82:1},EMi);var Uqb=vtd(82);cGc(953,1,{},JMi);var Vqb=vtd(953);var KMi;cGc(2327,1,{},$Mi);_.j=false;_.s=false;_.t=-1;_.A=null;var Wqb=vtd(2327);cGc(3166,1,{},cNi);var Yqb=vtd(3166);cGc(1833,mJn,{},eNi);var Xqb=vtd(1833);cGc(3171,mJn,{},gNi);var Zqb=vtd(3171);cGc(1835,mJn,{},rNi);_.j=false;_.k=0;_.n=false;_.o=false;var _qb=vtd(1835);cGc(1515,mJn,{},ANi);_.i=0;var arb=vtd(1515);cGc(3168,1,{},DNi);var brb=vtd(3168);cGc(3170,mJn,{},FNi);var crb=vtd(3170);cGc(3169,mJn,{},HNi);var drb=vtd(3169);cGc(3167,mJn,{},KNi);var erb=vtd(3167);cGc(29,1,{17:1,29:1},XNi,YNi,ZNi,$Ni,_Ni,aOi);_.$e=function(a){return MNi(this,a)};_.Fe=function(a){return NNi(this,a)};_.Ge=function(){return QBd(new eHd(this.g))};_.He=function(){return VNi(this)};var grb=vtd(29);cGc(724,1,{17:1,724:1},vOi,wOi,xOi,yOi);_.$e=function(a){return qOi(this,a)};_.Fe=function(a){return rOi(this,a)};_.Ge=function(){if(this.g.o==0){return 0}return Hzd(HGd(this.g)).g>>Hzd(IGd(this.g)).g};_.He=function(){var a,b,c,d,e;e=new ewd('');c=(new eHd(this.g)).i.Qj();while(c.Yi()){a=c.Zi();b=a.Ui();e.g+='*';e.g+=''+b;d=a.Vi().g;if(d>1){e.g+='^';e.g+=d}}if(e.g.length>0){return qvd(e.g,1)}return ''};var hrb=vtd(724);cGc(53,1,{17:1,53:1},COi,DOi);_.$e=function(a){return zOi(this,a)};_.Fe=function(a){return AOi(this,a)};_.Ge=function(){return this.g};_.He=function(){return Tud('v',''+this.g)};_.g=0;var irb=vtd(53);cGc(GGn,44,{3:1,44:1,69:1,1153:1},FOi,GOi);var EOi=VHn;var jrb=vtd(GGn);var VOi;cGc(8548,1,{},TOi);_.j=0;_.n=-1;_.q=0;var JOi;var lrb=vtd(8548);cGc(8561,1,{},mPi);_.g=0;_.j=0;_.k=0;_.n=0;_.o=0;var XOi,YOi,ZOi,$Oi;var krb=vtd(8561);cGc(3176,1,{},yPi);_.g=0;_.n=-1;_.o=0;_.p=0;_.q=0;_.s=1;_.t=0;_.u=false;_.v=false;_.A=1;_.B=0;var mrb=vtd(3176);cGc(8553,1,{},APi);_.g=0;_.i=0;var nrb=vtd(8553);cGc(3177,1,DIn,BPi,CPi);_.He=function(){return this.j};_.g=0;_.i=0;_.k=0;var prb=vtd(3177);cGc(3178,57,sFn,EPi);_.Oe=function(){return this.p};var orb=vtd(3178);cGc(821,1,{},kaj);_.g=null;_.i='Auto';_.j='Wu';_.k=true;_.n=4;_.o=4;var jaj;var fyb=vtd(821);cGc(8415,1,{});_.p=false;var HLb=vtd(8415);cGc(794,1,{794:1},u$j);_.Fe=function(a){if(a==null){return false}if(a===this){return true}if(Wb(a)!=ELb){return false}return r$j(this)==Xb(a)};_.Ge=function(){return r$j(this)};_.j=1;var ELb=vtd(794);cGc(1591,1,{},w$j);_._e=dbp;_.af=function(a){return a.tc};var DLb=vtd(1591);cGc(987,24,{3:1,17:1,24:1,987:1},E$j);var x$j,y$j,z$j,A$j,B$j,C$j;var FLb=wtd(987,F$j);cGc(847,24,{3:1,17:1,24:1,847:1},P$j);var G$j,H$j,I$j,J$j,K$j,L$j,M$j,N$j;var GLb=wtd(847,Q$j);var X$j='',Y$j='',Z$j,$$j=0,_$j,a_j,b_j,c_j;cGc(8560,8746,{},AWm);var Prc=vtd(8560);cGc(5445,1,Lwo);_.Se=function(){!!R3j&&S3j(R3j,(i4j(),b4j),ZBo);ILh=new xXh;RLh(this.g);sXm(vrm(this.g.g))};cGc(1823,8415,{},V9m);var Suc=vtd(1823);aFn(Qc)(9);\n//# sourceURL=web3d-9.js\n")