$wnd.web.runAsyncCallback10("function Hfg(){}\nfunction Pfg(){}\nfunction oMg(){}\nfunction b8g(){}\nfunction c8g(){}\nfunction d8g(){}\nfunction e8g(){}\nfunction f8g(){}\nfunction g8g(){}\nfunction h8g(){}\nfunction i8g(){}\nfunction NEh(){}\nfunction gFh(){}\nfunction gGh(){}\nfunction BGh(){}\nfunction DGh(){}\nfunction FGh(){}\nfunction aHh(){}\nfunction cHh(){}\nfunction eHh(){}\nfunction hHh(){}\nfunction $Ih(){}\nfunction r3h(){}\nfunction PTi(){}\nfunction RTi(){}\nfunction JLl(){}\nfunction cGh(a,b){a.g=b}\nfunction dGh(a,b){a.i=b}\nfunction eGh(a,b){a.j=b}\nfunction fGh(a,b){a.k=b}\nfunction KTi(a,b){a.q=b}\nfunction Q0f(a){this.g=a}\nfunction yHh(a){this.g=a}\nfunction VHh(a){this.g=a}\nfunction uHh(){this.g=new xtd}\nfunction UHh(){this.g=new xtd}\nfunction USn(a){return a.o}\nfunction WSn(a){return a.yo()}\nfunction ISn(a){return null}\nfunction JSn(a){return this.o}\nfunction LSn(a){return this.j}\nfunction MSn(a){return this.i}\nfunction RSn(a){return this.k}\nfunction SSn(a){return this.n}\nfunction SIh(a){return a.i[a.B]}\nfunction TIh(a){return a.k[a.B]}\nfunction VIh(a){return a.k[a.n]}\nfunction UIh(a){return a.i[a.n]}\nfunction NHh(a){return oHh(a,a)}\nfunction aJh(a){jc.call(this,a)}\nfunction cIh(){fc.call(this)}\nfunction Ozf(a){Izf.call(this,a)}\nfunction Pzf(a){Izf.call(this,a)}\nfunction Qzf(a){Izf.call(this,a)}\nfunction Rzf(a){Izf.call(this,a)}\nfunction Szf(a){Izf.call(this,a)}\nfunction Tzf(a){Izf.call(this,a)}\nfunction Uzf(a){Izf.call(this,a)}\nfunction zAf(a){Izf.call(this,a)}\nfunction _Af(a){Izf.call(this,a)}\nfunction fBf(a){Izf.call(this,a)}\nfunction rBf(a){Izf.call(this,a)}\nfunction tBf(a){Izf.call(this,a)}\nfunction ZTi(a,b){Puc.call(this,a,b)}\nfunction iUi(a,b){Puc.call(this,a,b)}\nfunction emd(a){bmd.call(this,a.k,a.n)}\nfunction XSn(){hMd(this)}\nfunction KSn(){return new Q0f(this)}\nfunction _Gh(a,b){return lQc(a.i,b)}\nfunction $Hh(a,b){oQc(a.j,Pgd(a.g),b)}\nfunction _Ih(a,b){this.k=a;this.j=b}\nfunction ZIh(a){this.j=a;this.i=a.length}\nfunction wHh(a){xHh.call(this,a,new UHh)}\nfunction kIh(){throw Qsc(new cIh)}\nfunction Gfg(){Gfg=xtc;Ffg=new Hfg}\nfunction Nfg(){Nfg=xtc;Mfg=new Pfg}\nfunction $Eh(){$Eh=xtc;ZEh=new b_l('',8)}\nfunction DFh(a){a.k=null;a.p=0}\nfunction Snd(a){Ond(a,0,a.length,null)}\nfunction imd(a){return !a?null:new emd(a)}\nfunction bSg(a){return cf(a,553)||!a.tb}\nfunction whd(a,b){return mxd(a),a+(mxd(b),b)}\nfunction TSn(a){return mxd(a),new iud(this,a)}\nfunction oZi(a){!!jZi&&kZi(jZi,(CZi(),yZi),a)}\nfunction rZi(a){!!jZi&&kZi(jZi,(CZi(),AZi),a)}\nfunction oFf(a){!a.i&&(a.i=new QGh);return a.i}\nfunction FNf(a){if(a.r){return 1}return 0}\nfunction JIh(a,b,c){a.j=c;a.k=b;return b+1}\nfunction RIh(a,b){a.q+=b;(a.n-=b)<0&&(a.n+=a.o)}\nfunction BUi(a,b){rUi+=a+',';qUi+=b+','}\nfunction dIh(a,b,c){gc.call(this,fIh(a,b,c))}\nfunction aIh(a){_Hh.call(this,a.Xc);this.i=a}\nfunction QGh(){this.g=new E9c;this.i=new dnd}\nfunction ZGh(){this.g=new E9c;this.j=new dnd}\nfunction _Hh(a){this.j=new uQc;this.g=a.r.Bc++}\nfunction WHh(a){this.g=new xtd;otd(this.g,a,Pgd(1))}\nfunction XHh(a,b){this.g=new xtd;otd(this.g,a,Pgd(b))}\nfunction XEh(a,b,c,d){YEh.call(this,a,c,d);N2d(this.k,b)}\nfunction jFh(a,b,c,d){kFh.call(this,a,c,d);N2d(this.k,b)}\nfunction nFh(a,b,c,d){oFh.call(this,a,c,d);N2d(this.k,b)}\nfunction vHh(a){xHh.call(this,new wkd(''+ntc(a)),new UHh)}\nfunction ztd(a){ytd.call(this,(mxd(a),npd(a.g)));eQc(this,a)}\nfunction UFh(a){return a==null?null:new Iid(a)}\nfunction VSn(a){return f7g(),je(kv,TZm,477,a,7,1)}\nfunction Ofg(a,b){var c;c=b.gc;c!=null&&Vtd(a.g,c)}\nfunction BIh(a,b){do{a.q[a.n++]=uIh[b]}while(b++!=1)}\nfunction CIh(a,b){if(a.p[b]!=a.o){a.q[a.n++]=b;a.p[b]=a.o}}\nfunction zIh(a){var b;a.o=Cxm;for(b=12;b-->0;)a.p[b]=Cum}\nfunction MIh(a){var b;a.B=-1;b=WIh(a);a.B=a.n;return b}\nfunction pMf(a){if(a.G){return a.G.q.length}return 0}\nfunction tMf(a){if(a.G){return Smd(a.G,0)}return null}\nfunction tXg(a){if(cf(a.tb,161)){return a.tb.TC(a)}return null}\nfunction WOg(a){if(cf(a.tb,161)){return a.tb.SC(a)}return null}\nfunction SRg(a,b){if(cf(a.tb,236)){return a.tb.WC(b)}return null}\nfunction YRg(a){if(cf(a.tb,236)){return a.tb.YC()}throw Qsc(new bGh)}\nfunction sXg(a){if(cf(a.tb,161)){return a.tb.SC(a)}throw Qsc(new bGh)}\nfunction ZHh(a,b){if(cf(b,51)){return a.g==b.g}return kf(a)===kf(b)}\nfunction kHh(a,b){if(cf(b,25)){return jHh(a,b)==0}return kf(a)===kf(b)}\nfunction lHh(a){if(a.g.j>1){return null}return imd(ftd(a.g)).n}\nfunction AHh(a){if(a==null||a.length==0)return '';return ','+a}\nfunction ITi(a,b){if(!a.o||b!=(YTi(),XTi)){return b}return a.o}\nfunction FUi(a){var b;b=a.gc;if(b!=null){return '$'+b+'$'}return null}\nfunction YHh(a,b){var c;c=b.g;if(a.gc){return -1}return 0}\nfunction QHh(a,b){if(cf(b,648)){return PHh(a,b)==0}return kf(a)===kf(b)}\nfunction MRg(a,b){if(cf(a.tb,236)){return a.tb.VC(b)}throw Qsc(new bGh)}\nfunction TRg(a,b){if(cf(a.tb,236)){a.tb.XC(b);return}throw Qsc(new bGh)}\nfunction xHh(a,b){uHh.call(this);a!=(Xjd(),Wjd)&&otd(this.g,b,a)}\nfunction eFh(a,b,c,d){$Eh();fFh.call(this,a,c,d);N2d(this.k,b)}\nfunction aGh(a,b,c){this.i=new uQc;this.j=a;this.k=b;this.g=c}\nfunction bGh(){gc.call(this,'No symbolic parameters available')}\nfunction zHh(a){uHh.call(this);otd(this.g,new WHh(a),(Xjd(),Sjd))}\nfunction YEh(a,b,c){zMd.call(this,a);this.i=b;this.j=c;this.k=new aTg(a);WEh(this);UEh(this)}\nfunction NSn(a){if(this.j!=null){return this.j}this.j=R0f(this.ab);return this.j}\nfunction QSn(a){if(!!this.g&&!!this.i){H5g(this.g,a);H5g(this.i,a);return}throw Qsc(new bGh)}\nfunction YSn(a){if(!!this.i&&!!this.j){TRg(this.i,a);TRg(this.j,a);return}throw Qsc(new bGh)}\nfunction dBf(a,b,c,d){var e,f;e=new JFh(a.n,c,d);f=e.j;N2d(f,b);return f}\nfunction WEh(a){a.ab=je(N9,QQm,16,2,0,1);a.ab[0]=a.i;a.ab[1]=a.j;oMd(a,a.k);kMd(a)}\nfunction yFh(a){a.ab=je(N9,QQm,16,2,0,1);a.ab[0]=a.k;a.ab[1]=a.j;oMd(a,a.n);kMd(a)}\nfunction QEh(a){a.ab=je(N9,QQm,16,3,0,1);a.ab[0]=a.i;a.ab[1]=a.j;a.ab[2]=a.k;oMd(a,a.n);kMd(a)}\nfunction OFh(a){a.ab=je(N9,QQm,16,1,0,1);a.ab[0]=a.j;oMd(a,a.g);kMd(a);a.i=LTi(a.j)}\nfunction SFh(a){a.ab=je(N9,QQm,16,1,0,1);a.ab[0]=a.k;oMd(a,a.i);kMd(a);a.g=LTi(a.k)}\nfunction $Ti(){YTi();return me(fe(LAb,1),Avm,890,0,[UTi,VTi,WTi,STi,XTi,TTi])}\nfunction jUi(){hUi();return me(fe(MAb,1),Avm,761,0,[gUi,aUi,eUi,dUi,fUi,_Ti,cUi,bUi])}\nfunction hIh(){hIh=xtc;gIh=me(fe(qf,1),dvm,5,15,[256,512,wCm,6144,6144,Qxm,x_m,x_m,96,kxm])}\nfunction LIh(a){yIh();this.p=je(qf,dvm,5,12,15,1);this.q=je(qf,dvm,5,24,15,1);new Gid;this.i=a}\nfunction fFh(a,b,c){$Eh();zMd.call(this,a);this.i=b;this.j=c;this.k=new aTg(a);WEh(this);aFh(this)}\nfunction zFh(a,b,c){zMd.call(this,a);this.k=b;this.j=c;this.n=new aTg(a);yFh(this);this.n.o=false}\nfunction uFh(a,b,c){zMd.call(this,a);this.n=0;this.k=c;this.o=b;this.j=new zlh(a);tFh(this);pFh(this)}\nfunction PFh(a,b,c){zMd.call(this,a);this.j=c;this.g=new aTg(a);OFh(this);NFh(this);MFh(this);N2d(this.g,b)}\nfunction pGh(a,b,c){var d,e,f,g;oQc(a.p,b,c);for(e=c,f=0,g=e.length;f=a.B?gid(a.j,a.B,a.n-a.B+1):gid(a.j,a.B,a.o-a.B)+gid(a.j,0,a.n+1)}\nfunction SEh(a){a.ab=je(N9,QQm,16,4,0,1);a.ab[0]=a.i;a.ab[1]=a.j;a.ab[2]=a.k;a.ab[3]=a.n;oMd(a,a.o);kMd(a)}\nfunction OEh(a){a.ab=je(N9,QQm,16,3,0,1);a.ab[0]=a.i.Ft();a.ab[1]=a.j.Ft();a.ab[2]=a.k.Ft();oMd(a,a.n);kMd(a)}\nfunction fHh(a,b){if(a.r!=null){return}a.r=je(tgb,AAn,51,2,0,1);a.r[0]=new _Hh(b);a.r[1]=new _Hh(b)}\nfunction nHh(a){if(a.g.j>1){return false}if(QHh(jmd(ftd(a.g)),new UHh)){return true}return false}\nfunction OHh(a,b,c,d){return iHh(NHh(iHh(new zHh(a),pHh(new zHh(c)))),NHh(iHh(new zHh(b),pHh(new zHh(d)))))}\nfunction Kpf(a,b,c,d){return l1h(d,'TriangleABCnonDegenerate',null,me(fe(Fv,1),Pum,2,6,[kpf(a)+kpf(b)+kpf(c)]))}\nfunction eBf(a,b,c,d){var e,f;if(!d.P||!!c.P||!F1d(d,c)){return null}e=new KFh(a.n,c,d);f=e.j;N2d(f,b);return f}\nfunction WIh(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&&OIh(a);b=a.j[a.n];QIh(a,b);return b}\nfunction vFh(a){var b,c,d;c=new Gid;d=a.length;for(b=0;b0)return Vhd(c.g,1);return ''}\nfunction RHh(a){var b,c,d,e,f;f=new E9c;e=(c=(new mmd(a.g)).g.Uf().i.Di(),new nmd(c));while(e.g.Lh()){d=(b=e.g.Mh(),b.Hh());oQc(f.g,d,f)}return f}\nfunction mHh(a){var b,c,d,e,f;f=new E9c;d=(c=(new mmd(a.g)).g.Uf().i.Di(),new nmd(c));while(d.g.Lh()){e=(b=d.g.Mh(),b.Hh());r9c(f,RHh(e))}return f}\nfunction HHh(a){var b,c,d,e,f,g;f=new E9c;for(e=(c=(new Xld(a.g)).g.Uf().ke(),new Yld(c));e.g.Lh();){d=(b=e.g.Mh(),b.Hh());g=mHh(d);r9c(f,g)}return f}\nfunction pHh(a){var b,c,d,e;d=new xtd;c=(new Etd(a.g)).i.Di();while(c.Lh()){b=c.Mh();e=b.Hh();otd(d,e,bld((Xjd(),Wjd),b.Ih()))}return new yHh(d)}\nfunction DIh(a){var b,c,d,e,f;e=vIh[a.j];d=e==null?PIh(a.i):e;c=TIh(a.i);b=SIh(a.i);VIh(a.i);UIh(a.i);f=new _Ih(a.j,d);f.i=c;f.g=b;return f}\nfunction YIh(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);Dhd(a.j,a.g,a.g+f,b,c);a.g+=f;return f}\nfunction sBf(a,b,c,d){var e,f;if(cf(b,326)){e=new TFh(a.n,b,c);N2d(e.i,aEe(d));f=me(fe(N9,1),QQm,16,0,[e.i]);return f}throw Qsc(lzf(a,d.q,b))}\nfunction HSg(a,b,c){CRg();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 NVm5||e<0.2||c){mZi('myPrecision='+ntc(a.n)+gBn+ntc(d)+hBn+e);a.i=null;a.n=d;return true}return false}\nfunction n_l(){this.g=(hUi(),_Ti);this.i=new E9c;this.j=new dnd;Omd(this.j,gUi);Omd(this.j,aUi);Omd(this.j,eUi);this.k=new dnd;Omd(this.k,aUi);Omd(this.k,eUi)}\nfunction qGh(a,b){var c;if(C9c(a.u,b)){!!jZi&&kZi(jZi,(CZi(),vZi),'Ignoring existing poly '+b);return}B9c(a.u,b);c=tQc(a.u.g);mZi('Adding poly #'+c+Eum+tHh(b))}\nfunction GIh(b){try{b.g=WIh(b.i)}catch(a){a=Psc(a);if(cf(a,291)){KIh(0,128);return 1}else throw Qsc(a)}if(b.g==49){return HIh(b,128)}return EIh(b,KIh(0,128),1)}\nfunction igf(a,b,c){var d,e;for(e=new jnd(a.k);e.g','','\"[1]:\"','','',jxm,'\"+\"','\"-\"','\"*\"','\"^\"'])}\nfunction HFh(a,b,c){var d,e;d=wlf(b);e=ltc(a.p)/ltc(d);if(e>5||e<0.2||c){mZi('resetFingerprint: myPrecision='+ntc(a.p)+gBn+ntc(d)+hBn+e);a.i=null;a.p=d;return true}return false}\nfunction W0f(a){var b,c,d,e;b=(Xjd(),Wjd);for(d=0;d1&&(f.g+='^{'+e+'}',f)}return f.g}\nfunction H5g(a,b){if(!a.tb){!a.$&&(a.$=new aIh(a));!a._&&(a._=new aIh(a));$Hh(a.$,a._);$Hh(a._,a.$);B9c(b,a.$);B9c(b,a._);return}if(cf(a.tb,236)){a.tb.XC(b);return}throw Qsc(new bGh)}\nfunction N5g(a){var b;if(!a.tb){!a.$&&(a.$=new aIh(a));!a._&&(a._=new aIh(a));b=me(fe(rgb,1),EAn,25,0,[new zHh(a.$),new zHh(a._),new vHh(1)]);return b}if(cf(a.tb,236)){return a.tb.YC()}throw Qsc(new bGh)}\nfunction $Nd(a){var b,c,d;c=new Gid;b=new Mld((new Jld(a)).g);while(b.i){d=Lld(b);c.g+=',';vid(c,whd('v',''+d.Hh().g));c.g+='=';uid(c,d.Ih())}if(c.g.length>0){return Vhd(c.g,1)}return ''}\nfunction YTi(){YTi=xtc;UTi=new ZTi('TRUE',0);VTi=new ZTi('TRUE_NDG_UNREADABLE',1);WTi=new ZTi('TRUE_ON_COMPONENTS',2);STi=new ZTi('FALSE',3);XTi=new ZTi(FAm,4);TTi=new ZTi('PROCESSING',5)}\nfunction KIh(a,b){switch(a){case 0:if(etc(Ssc(b,128),0))return 4;return -1;case 1:if(etc(Ssc(b,128),0))return 6;return -1;case 2:if(etc(Ssc(b,128),0))return 5;return -1;default:return -1;}}\nfunction AGh(a,b,c){var d,e;if(a.g==null){e=y5g(b,b);d=y5g(c,c);if(e==null||d==null){zGh(a,b.Xc);return null}a.g=je(tgb,AAn,51,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 AUi(a,b){var c,d,e,f,g,h;oQc(vUi,a,Pgd(b));b>tUi&&(tUi=b);c=a.tb;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 Vhd(i.g,1);return ''}\nfunction VGh(a,b){var c,d,e,f,g,h,i;for(g=a.r,h=0,i=g.length;h8}return false}\nfunction MHh(a,b,c,d,e){var f,g,h,i,j,k,l;l=null;i=GHh(a);l=new G9c(new Xld(b));h=JHh(a,l,(ifd(),true),e);g=JHh(a,l,false,e);f=c.UB();j=jNd(f).lm(b,i,h,g,d);k=U7h(IYh(f.g).i)?jNd(f).nm(j):'?';if(Bhd('0',k)||Bhd(URm,k)){return BPi(),yPi}if(Bhd('1',k)||Bhd(fBm,k)){return BPi(),zPi}return BPi(),APi}\nfunction tGh(a,b){var c,d,e,f,g,h,i,j,k,l,m,n,o,p;j=new E9c;p=new E9c;oQc(p.g,b,p);while(tQc(p.g)!=0){r9c(j,p);i=(l=(new Xld(p.g)).g.Uf().ke(),new Yld(l));o=new E9c;while(i.g.Lh()){m=(d=i.g.Mh(),d.Hh());c=m.tb;if(c){n=c.ab;for(f=n,g=0,h=f.length;g0&&Aid(e,e.g.length-1);e.g+='-'}else{Zjd(Ykd(b,Sjd),Wjd)<0&&e.g.length>0&&Aid(e,e.g.length-1);e.g+=''+b}}vid(e,THh(f))}e.g+='+'}return Zed(e,0,e.g.length-1)}\nfunction KHh(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!jZi&&kZi(jZi,(CZi(),AZi),'Setting up equation for parallel lines ('+a+','+b+')-'+'('+c+','+d+yBn+'('+e+','+f+')-'+'('+g+','+h+')');i=new zHh(a);j=new zHh(b);k=new zHh(c);l=new zHh(d);m=new zHh(e);n=new zHh(f);o=new zHh(g);p=new zHh(h);q=iHh(oHh(iHh(i,pHh(k)),iHh(n,pHh(p))),pHh(oHh(iHh(j,pHh(l)),iHh(m,pHh(o)))));return q}\nfunction LHh(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!jZi&&kZi(jZi,(CZi(),AZi),'Setting up equation for perpendicular lines ('+a+','+b+')-'+'('+c+','+d+yBn+'('+e+','+f+')-'+'('+g+','+h+')');i=new zHh(a);j=new zHh(b);k=new zHh(c);l=new zHh(d);m=new zHh(e);n=new zHh(f);o=new zHh(g);p=new zHh(h);q=iHh(oHh(iHh(i,pHh(k)),iHh(m,pHh(o))),oHh(iHh(j,pHh(l)),iHh(n,pHh(p))));return q}\nfunction CGh(a,b){var c,d,e,f;if(a.q!=null){return a.q}d=b[0].TC(b[0]);if(a.r==null){a.r=je(tgb,AAn,51,4,0,1);a.r[0]=new _Hh(b[0].nl());a.r[1]=new _Hh(b[0].nl());a.r[2]=d[0];a.r[3]=d[1]}c=me(fe(tgb,1),AAn,51,0,[a.r[0],a.r[1]]);e=b[1].TC(b[1]);f=b[2].TC(b[2]);a.q=je(rgb,EAn,25,2,0,1);a.q[0]=FHh(d[0],d[1],c[0],c[1],e[0],e[1]);a.q[1]=FHh(d[0],d[1],c[0],c[1],f[0],f[1]);return a.q}\nfunction OIh(b){var c,d;if(b.t==b.g){if(b.g==b.o){if(b.B>lxm){b.n=b.t=0;b.g=b.B}else b.B<0?(b.n=b.t=0):NIh(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++){(gIh[d]&1<126){f=(d=b,Lum+d.toString(16));vid(e,Kum+Whd(f,f.length-4,f.length))}else{e.g+=String.fromCharCode(b)}continue;}}return e.g}\nfunction JEh(b,c,d){var e,f,g,h,i,j,k,l,m,n,o;if(d){n=new uQc;for(f=new Mld((new Jld(b)).g);f.i;){e=Lld(f);o=e.Hh();oQc(n,o,e.Ih())}h=(!q3h&&(q3h=new r3h),q3h);m=MHh(x9c(d.u,je(rgb,EAn,25,tQc(d.u.g),0,1)),n,d.r.nl(),h.k,d.n);!!jZi&&kZi(jZi,(CZi(),vZi),'Recio meets Botana:'+n);if(m==(BPi(),zPi)){return YTi(),STi}}else{try{g=c.g.WC(b);for(j=g,k=0,l=j.length;k1?xxd(n.g[0],n.g[1]):xxd(n.g[0],0);Wsc(n.n>0?r:dtc(r),0)?ptd(m,o):otd(m,o,n)}else{f=l.g[0];(l.n>0?f:-f|0)!=0&&otd(m,o,l)}}return new yHh(m)}\nfunction IFh(a){var b,c,d,e,f,g;f=new _td;a.q=je(N9,QQm,16,2,0,1);if(a.k){Vtd(f,a.o);g=(d=(new mmd(a0d(a.k).g)).g.Uf().i.Di(),new nmd(d));a.q[0]=a.k}else{Vtd(f,a.o.P.Ft());g=(d=(new mmd(a0d(a.n).g)).g.Uf().i.Di(),new nmd(d));a.q[0]=a.n}while(g.g.Lh()){e=(c=g.g.Mh(),c.Hh());(!e.tb&&(!e.Mb||!QTg(e.Mb))||e.Xr())&&f.g.put(e,(ifd(),gfd))==null}Ztd(f,a.o);a.g=je(N9,QQm,16,f.g.size(),0,1);a.g=x9c(f,a.g);a.q[1]=a.o;oMd(a,a.j);mMd(a,a.q,a.g);b=a.o.Vc;do{Xmd(b.k,a)}while(Tmd(b.k,a,0)!=-1);Omd(b.k,a);a.i=vFh(a.g);a.p=wlf(a.Xc)}\nfunction NIh(b,c){var d,e,f,g;e=je(of,Jum,5,b.o+lxm,15,1);f=je(qf,dvm,5,b.o+lxm,15,1);d=je(qf,dvm,5,b.o+lxm,15,1);try{if(c){Kid(b.j,b.B,e,0,b.o-b.B);Kid(b.j,0,e,b.o-b.B,b.n);b.j=e;Kid(b.k,b.B,f,0,b.o-b.B);Kid(b.k,0,f,b.o-b.B,b.n);b.k=f;Kid(b.i,b.B,d,0,b.o-b.B);Kid(b.i,0,d,b.o-b.B,b.n);b.i=d;b.t=b.n+=b.o-b.B}else{Kid(b.j,b.B,e,0,b.o-b.B);b.j=e;Kid(b.k,b.B,f,0,b.o-b.B);b.k=f;Kid(b.i,b.B,d,0,b.o-b.B);b.i=d;b.t=b.n-=b.B}}catch(a){a=Psc(a);if(cf(a,68)){g=a;throw Qsc(new jc(g.Bd()))}else throw Qsc(a)}b.o+=lxm;b.g=b.o;b.B=0}\nfunction GTi(a){var b,c,d,e;if(!a.q){!!jZi&&kZi(jZi,(CZi(),xZi),'No statement to prove');a.o=(YTi(),XTi);return}c=a.q.tb;if(!c){Bhd(a.q.It((irf(),Hqf)),fBm)?(a.o=(YTi(),UTi)):Bhd(a.q.It(Hqf),URm)?(a.o=(YTi(),STi)):(a.o=(YTi(),XTi));return}EUi(a.q);if(a.g!=(hUi(),_Ti)){FTi(a,a.g);return}mZi(vBn+a.g);a.p?(d=new jnd(a.k)):(d=new jnd(a.j));a.o=(YTi(),XTi);while((a.o==XTi||a.o==VTi)&&d.g0){Ved(f,j-1,j-1+1,'');vid(vid(o,l1h(k,'LetABeArbitraryPoints',null,me(fe(Fv,1),Pum,2,6,[f.g]))),'.\\n')}o.g+=h;p=eid(a.tb);vid(vid(o,l1h(k,'ProveThat',null,me(fe(Fv,1),Pum,2,6,[p]))),'.');return o.g}\nfunction KEh(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 Xld(b.g)).g.Uf().ke(),new Yld(l)).g.Mh(),i.Hh());for(k=1;k<=d+2;k++){oQc(c,u,(Xjd(),Tsc(k,0)>=0?ykd(k):lkd(ykd(dtc(k)))));if(f){s=new uQc;for(h=new Mld((new Jld(c)).g);h.i;){g=Lld(h);t=g.Hh();oQc(s,t,g.Ih())}m=(!q3h&&(q3h=new r3h),q3h);r=MHh(x9c(f.u,je(rgb,EAn,25,tQc(f.u.g),0,1)),s,f.r.nl(),m.k,f.n);!!jZi&&kZi(jZi,(CZi(),vZi),_An+k+' '+s);if(r==(BPi(),zPi)){return YTi(),STi}}else{try{j=e.g.WC(c);for(o=j,p=0,q=o.length;p>6],gtc(1,b.j&63)),0)){h=DIh(b);return h}else{continue i}}g=VIh(b.i);f=UIh(b.i);e=null;c=false;try{WIh(b.i);RIh(b.i,1)}catch(a){a=Psc(a);if(cf(a,291)){c=true;e=d<=1?'':PIh(b.i);if(b.g==10||b.g==13){++g;f=0}else ++f}else throw Qsc(a)}if(!c){RIh(b.i,1);e=d<=1?'':PIh(b.i)}throw Qsc(new bJh(c,g,f,e,b.g))}}\nfunction JGh(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:eGh(c,iHh(g,j));break;case 21:eGh(c,iHh(g,pHh(j)));break;case 24:eGh(c,oHh(g,j));break;case 29:i=Xgd(jkd(lHh(c.k.j)));if(i){h=g;for(f=Pgd(1);_sc(f.g,i.g);d=f,f=Pgd(f.g+1),d){h=oHh(h,g)}c.j=h}break;default:throw Qsc(new bGh);}}b.u.Pq()&&!c.g.j&&JGh(a,b.u,c.g);b.C.Pq()&&!c.k.j&&JGh(a,b.C,c.k);if(cf(b.u,40)&&!c.g.j){e=ujd(new yjd(b.u.yo()));eGh(c.g,new wHh(e))}if(cf(b.C,40)&&!c.k.j){e=ujd(new yjd(b.C.yo()));eGh(c.k,new wHh(e))}if(cf(b.u,40)&&cf(b.C,140)){e=ujd(new yjd(b.u.yo()));l=OGh(a,b.C.cm((irf(),Gqf)));if(l){k=new WHh(l);eGh(c,new xHh(e,k));return}}}\nfunction SGh(a,b,c){var d,e,f,g,h,i,j,k,l;if(c.j){return}if(!!c.g&&!c.k&&c.i==(Wui(),lui)){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:eGh(c,iHh(g,j));break;case 21:eGh(c,iHh(g,pHh(j)));break;case 24:eGh(c,oHh(g,j));break;case 29:i=Xgd(jkd(lHh(c.k.j)));if(i){h=g;for(f=Pgd(1);_sc(f.g,i.g);d=f,f=Pgd(f.g+1),d){h=oHh(h,g)}c.j=h}break;default:throw Qsc(new bGh);}}b.u.Pq()&&!c.g.j&&SGh(a,b.u,c.g);!!b.C&&b.C.Pq()&&!c.k.j&&SGh(a,b.C,c.k);if(cf(b.u,40)&&!c.g.j){e=ujd(new yjd(b.u.yo()));eGh(c.g,new wHh(e))}if(cf(b.C,40)&&!c.k.j){e=ujd(new yjd(b.C.yo()));eGh(c.k,new wHh(e))}if(cf(b.u,40)&&cf(b.C,140)){e=ujd(new yjd(b.u.yo()));l=VGh(a,b.C.cm((irf(),Gqf)));if(l){k=new WHh(l);eGh(c,new xHh(e,k));return}}}\nfunction EGh(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,111)){throw Qsc(new bGh)}n=null;cf(d,37)&&(n=d);if(!e||!f||!n){throw Qsc(new bGh)}if(a.r==null){g=y5g(e,e);h=y5g(f,f);a.r=je(tgb,AAn,51,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 _Hh(e.Xc);a.r[5]=new _Hh(e.Xc);a.r[6]=new _Hh(e.Xc)}a.q=je(rgb,EAn,25,2,0,1);i=null;cf(n.tb,376)&&(i=WOg(n));o=XOg(n,n);l=0;q=NHh(new zHh(o[0]));if(i!=null){a.q=je(rgb,EAn,25,i.length+1,0,1);for(l=0;l3?(p.g='DegeneratePolygon'):(p.g=r5m);n=je(N9,QQm,16,s,0,1);o=0;for(c=new jnd(d);c.g=0?ykd((d+2-k)*(d+2-n)):lkd(ykd(dtc((d+2-k)*(d+2-n))))));oQc(c,A[1],Tsc(k*n,0)>=0?ykd(k*n):lkd(ykd(dtc(k*n))));if(f){v=new uQc;for(i=new Mld((new Jld(c)).g);i.i;){h=Lld(i);w=h.Hh();oQc(v,w,h.Ih())}u=MHh(x9c(f.u,je(rgb,EAn,25,tQc(f.u.g),0,1)),v,f.r.nl(),(!q3h&&(q3h=new r3h),q3h).k,f.n);!!jZi&&kZi(jZi,(CZi(),vZi),_An+g+' '+v);if(u==(BPi(),zPi)){return YTi(),STi}}else{try{j=e.g.WC(c);for(r=j,s=0,t=r.length;s5&&(f=5);{CIh(b,0)}break;case 6:case 4:etc(Ssc(ncn,g),0)&&(CIh(b,4),CIh(b,6));break;case 2:if(Wsc(Ssc(ncn,g),0))break;f>6&&(f=6);b.q[b.n++]=2;break;case 5:b.g==58&&(f=8);break;case 8:etc(Ssc(ncn,g),0)&&BIh(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!=yum){b.j=f;b.k=d;f=yum}++d;if((e=b.n)==(h=12-(b.n=h)))return d;try{b.g=WIh(b.i)}catch(a){a=Psc(a);if(cf(a,291)){return d}else throw Qsc(a)}}}\nfunction TGh(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.Xc;i=c.g.dp();YGh(b,i,p);if(b.r==null){b.r=je(tgb,AAn,51,b.j.q.length+1,0,1);b.r[0]=new _Hh(p);if(b.j.q.length==0){throw Qsc(new bGh)}else{n=new jnd(b.j);o=1;while(n.g=0;s--){w=kkd(w,bld(kkd((Xjd(),Tsc(t,0)>=0?ykd(t):lkd(ykd(dtc(t)))),Bkd(p[s])),Tsc(o,0)>=0?ykd(o):lkd(ykd(dtc(o)))));g[o][s]=w}oQc(c,H[o],w)}++u;if(f){F=new uQc;for(j=new Mld((new Jld(c)).g);j.i;){i=Lld(j);G=i.Hh();oQc(F,G,i.Ih())}D=MHh(x9c(f.u,je(rgb,EAn,25,tQc(f.u.g),0,1)),F,f.r.nl(),(!q3h&&(q3h=new r3h),q3h).k,f.n);!!jZi&&kZi(jZi,(CZi(),vZi),'Recio meets Botana #'+u+Eum+F);if(D==(BPi(),zPi)){return YTi(),STi}}else{try{k=e.g.WC(c);for(A=k,B=0,C=A.length;B0?(q=0):(q/=s));v=1/u;A+=B*v*v;A/=u;!!jZi&&kZi(jZi,(CZi(),vZi),'population='+l);!!jZi&&kZi(jZi,(CZi(),vZi),'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=y5g(tMf(e),tMf(e));f[f.length-1]=iHh(oHh(OHh(i[0],i[1],g[0],g[1]),new zHh(new _Hh(v))),pHh(new vHh(1)))}oQc(a.g,b,f);return f}h=je(tgb,AAn,51,2,0,1);!a.i&&(a.i=new uQc);if(iQc(a.i,b)){h=lQc(a.i,b)}else{h=je(tgb,AAn,51,2,0,1);h[0]=new _Hh(v);h[1]=new _Hh(v);oQc(a.i,b,h)}if(!a.g){j=sXg(c);l=tXg(c);m=sXg(d);o=tXg(d);k=j.length;n=m.length;f=je(rgb,EAn,25,k+n,0,1);for(t=0;t0&&(i.g+=',',i);i.g+=''+K}n=new E9c;r9c(n,a.n);A9c(n,new Xld(b));o=new Gid;for(L=(G=(new Xld(n.g)).g.Uf().ke(),new Yld(G));L.g.Lh();){K=(l=L.g.Mh(),l.Hh());o.g.length>0&&(o.g+=',',o);o.g+=''+K}h=ZFh.UB();sGh(a);p=jNd(h).km(b,a.v,o.g,i.g);q=U7h(IYh(h.g).i)?jNd(h).nm(p):'?';r=q.length-Qhd(q,'{','').length-1;A=new E9c;H=1;for(s=0;sc+1}++k}}\nfunction gHh(a,b){var c,d,e,f,g,h,i,j;h=b.nl();if(a.q!=null){return a.q}if(cf(b,76)){if(a.r==null){a.r=je(tgb,AAn,51,2,0,1);a.r[0]=new _Hh(h);a.r[1]=new _Hh(h)}g=b.TC(b);if(g==null){fHh(a,h);return null}a.q=je(rgb,EAn,25,1,0,1);a.q[0]=CHh(g[0],g[1],g[2],g[3],a.r[0],a.r[1]);return a.q}if(cf(b,165)){if(b.nb==4){if(a.r==null){a.r=je(tgb,AAn,51,2,0,1);a.r[0]=new _Hh(h);a.r[1]=new _Hh(h)}g=b.TC(b);if(g==null){fHh(a,h);return null}a.q=je(rgb,EAn,25,1,0,1);a.q[0]=FHh(g[2],g[3],g[0],g[1],a.r[0],a.r[1]);return a.q}if(b.nb==9){if(a.r==null){a.r=je(tgb,AAn,51,4,0,1);a.r[0]=new _Hh(h);a.r[1]=new _Hh(h);a.r[2]=new _Hh(h);a.r[3]=new _Hh(h)}j=b.TC(b);if(j==null){fHh(a,h);return null}a.q=je(rgb,EAn,25,3,0,1);a.q[0]=FHh(j[8],j[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[1]=CHh(j[4],j[5],a.r[2],a.r[3],j[6],j[7]);a.q[2]=LHh(a.r[0],a.r[1],a.r[2],a.r[3],j[4],j[5],j[6],j[7]);return a.q}if(b.nb==3||b.nb==5){if(a.r==null){a.r=je(tgb,AAn,51,4,0,1);a.r[0]=new _Hh(h);a.r[1]=new _Hh(h);a.r[2]=new _Hh(h);a.r[3]=new _Hh(h)}i=b.TC(b);if(i==null){fHh(a,h);return null}if(cf(b.tb,_Fm)){a.q=je(rgb,EAn,25,2,0,1);a.q[0]=iHh(new zHh(i[0]),pHh(new zHh(a.r[0])));a.q[1]=iHh(new zHh(i[1]),pHh(new zHh(a.r[1])));return a.q}a.q=je(rgb,EAn,25,3,0,1);e=new zHh(a.r[2]);f=new zHh(a.r[3]);c=new zHh(i[2]);d=new zHh(i[3]);a.q[0]=iHh(iHh(iHh(c,d),pHh(e)),pHh(f));a.q[1]=iHh(OHh(a.r[0],a.r[1],i[6],i[7]),pHh(oHh(e,e)));a.q[2]=iHh(OHh(a.r[0],a.r[1],i[8],i[9]),pHh(oHh(f,f)));return a.q}}fHh(a,h);return null}\nfunction IEh(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;Bhd('groebner',(!q3h&&(q3h=new r3h),q3h).j)&&(d=true);e=null;D=c.q;if(cf(D,236)){C=D.ZC()}else if(cf(D.tb,236)){C=D.tb.ZC()}else{return YTi(),XTi}if(d){B=new n_l;cGh(B,(hUi(),gUi));e=new xGh(D,null,B);if(e.A==(YTi(),TTi)){return TTi}}H=new E9c;if(d){l=lGh(D);u=new jnd(l);while(u.g5){!!jZi&&kZi(jZi,(CZi(),vZi),\"Recio's method is currently disabled when # of free variables > 5\");return YTi(),XTi}try{g=C.g.VC(b)}catch(a){a=Psc(a);if(cf(a,77)){return YTi(),XTi}else throw Qsc(a)}f=0;for(q=g,r=0,s=q.length;r0){NTi(o,a.Vc);v=null;if(a.j){new Lpf(a.Xc);d=o.g;Bhd(o5m,d)?(v=UFh(npf(o.i[0],o.i[1],true,a.Vc.T.r.wb))):Bhd(r5m,d)?(v=UFh(Kpf(o.i[0],o.i[1],o.i[2],a.Vc.T.r.wb))):Bhd(n5m,d)?(v=UFh(jpf(o.i[0],o.i[1],false,a.Vc.T.r.wb))):Bhd(p5m,d)?(v=UFh(spf(o.i[0],o.i[1],false,a.Vc.T.r.wb))):Bhd(q5m,d)&&(v=UFh(epf(o.i[0],o.i[1],false,a.Vc.T.r.wb)))}if(!v||!a.j){i=o.i;if(i==null){v=UFh(o.g)}else{v=UFh(yQl(a.Vc.T.r.wb,o.g));v.g+='[';for(j=0;j0&&(v.g+=',',v);h=o.i[j];h?vid(v,o.i[j].gc):(v.g+=a5m,v)}v.g+=']';a.j&&Cid(v,0,CQl(a.Vc.T.r.wb,'not')+' ')}}Vah(m,v.g);m.lc=false;m.Sb=false;w.g.put(m,gfd)==null}}l=(g=(new mmd(w.g)).g.Uf().i.Di(),new nmd(g));while(l.g.Lh()){s2g(n,(f=l.g.Mh(),f.Hh()))}if(mxd(B),B){m=new cbh(a.Vc);Vah(m,a5m);m.lc=false;m.Sb=false;w.g.put(m,gfd)==null;s2g(n,m)}n.t.q.length>0&&s2g(a.i,n);if(s==WTi){c=new cbh(a.Vc);Vah(c,'c');c.lc=false;c.Sb=false;s2g(a.i,c)}}}mZi('OUTPUT for ProveDetails: '+a.i)}\nfunction iGh(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=(!q3h&&(q3h=new r3h),q3h);m=G.nl();if(!cf(G.tb,863)){oZi(G.tb+mBn);return YTi(),XTi}C.k=false;C.g==null&&(C.g=(ifd(),false));e=new xGh(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=kGh(b,k)}catch(a){a=Psc(a);if(cf(a,77)){e.A=(YTi(),XTi);!!jZi&&kZi(jZi,(CZi(),vZi),'Cannot add fix values');return e.A}else throw Qsc(a)}!!jZi&&kZi(jZi,(CZi(),vZi),'substitutions: '+H)}t=new aGh(b,H,e.n);l=false;w=0;while(!l&&w<1){h=EHh(x9c(e.u,je(rgb,EAn,25,tQc(e.u.g),0,1)),H,m,(++w,true),e.n);if(!h){return YTi(),XTi}q=(v=(new Xld(h.g)).g.Uf().ke(),new Yld(v));J=new dnd;L=new dnd;K=tQc(h.g)==2;f=new dnd;g=Lvm;p=0;while(q.g.Lh()){++p;!!jZi&&kZi(jZi,(CZi(),vZi),'Considering NDG '+p+jvm);s=new dnd;F=0;D=true;I=(j=q.g.Mh(),j.Hh());o=I.ke();while(o.Lh()&&D){B=o.Mh();if(B.g.j==0){!!jZi&&kZi(jZi,(CZi(),vZi),'Statement is NOT GENERALLY TRUE');uGh(e,e.r);pGh(e,e.r,e.C);h=EHh(x9c(e.u,je(rgb,EAn,25,tQc(e.u.g),0,1)),H,m,(++w,true),e.n);q=(u=(new Xld(h.g)).g.Uf().ke(),new Yld(u));while(q.g.Lh()){I=(i=q.g.Mh(),i.Hh());o=I.ke();while(o.Lh()){B=o.Mh();if(B.g.j==0){uGh(e,e.r);n=tQc(e.n.g)-(new Xld(H)).g.size();!!jZi&&kZi(jZi,(CZi(),vZi),'Naive dimension = '+n);if(!$Fh(e,H,n)){!!jZi&&kZi(jZi,(CZi(),vZi),'Statement is NOT GENERALLY FALSE');return YTi(),WTi}return YTi(),XTi}}}return YTi(),STi}if(!nHh(B)){if(e.s){!!jZi&&kZi(jZi,(CZi(),vZi),nBn);return YTi(),XTi}r=_Fh(t,B);if(!r){D=false}else{K=K&&I.size()==1;if(K){if(Bhd(r.g,'xAreEqual')){A=new E9c;B9c(A,r.i[0]);B9c(A,r.i[1]);Vwd(J.q,A)}if(Bhd(r.g,'yAreEqual')){A=new E9c;B9c(A,r.i[0]);B9c(A,r.i[1]);Vwd(L.q,A)}if(J.q.length==1&&Nld(J,L)){r.g=n5m;r.j=0.5}}Vwd(s.q,r);F+=r.j}}}if(D&&F0&&K!=null){v?(v=false):(M.g+=',',M);M.g+=L}G=0;b=C.tb;d=zBn;if(b){B=b.Fl();!!B&&(d=B.xf());H=b.ab;C==a||(l+=H.length);G=H.length;for(W=H,X=0,Y=W.length;X1&&Bhd((sxd(0,2,j.length),j.substr(0,2)),WMm)&&(j=(txd(1,j.length+1),j.substr(1)));o=Thd(j,'\\\\)\\\\*\\\\(',0);if(o.length>1){o[0]=Vhd(o[0],1);o[o.length-1]=Whd(o[o.length-1],0,o[o.length-1].length-1)}F=false;o.length==1&&Ohd(o[0],'[-+]?\\\\d*\\\\.?\\\\d+')&&(F=true);G=new dnd;if(!F){for(l=o,m=0,n=l.length;m1&&(d=H6f(d,t));I.g.put(G,(ifd(),gfd))==null;Zpd(e.n,G,d)}M=(r=(new mmd((new cud(I.g.Ci())).g)).g.Uf().i.Di(),new nmd(r));while(M.g.Lh()){G=(l=M.g.Mh(),l.Hh());k=x6f(k,hQc(Ypd(e.n,G)))}if(Zjd(g,(Xjd(),Wjd))>0){S=E6f(S,x6f(f,k));T=true}else{fb=E6f(fb,x6f(f,k));gb=true}}s=new G4f(Q,S,fb);if(eb){if(!T||!gb){!!jZi&&kZi(jZi,(CZi(),vZi),c+' means '+s+', uninteresting');return null}U=new PTi;cGh(U,B4f(s,(irf(),Gqf)));U.j=2;!!jZi&&kZi(jZi,(CZi(),vZi),c+' means '+s);return U}!!jZi&&kZi(jZi,(CZi(),vZi),c+' cannot be described by quantities only')}}u=lGh(hb);v=new G9c(u);nb=new XFh(v,3);while(!nb.g){mb=VFh(nb);M=(V=(new Xld(mb.g)).g.Uf().ke(),new Yld(V));K=0;db=je(N9,QQm,16,tQc(mb.g),0,1);while(M.g.Lh()){db[K]=(l=M.g.Mh(),l.Hh());++K}try{B=db[0].TC(db[0]);C=db[1].TC(db[1]);D=db[2].TC(db[2])}catch(a){a=Psc(a);if(cf(a,77)){!!jZi&&kZi(jZi,(CZi(),vZi),lBn);return null}else throw Qsc(a)}h=qHh(CHh(B[0],B[1],C[0],C[1],D[0],D[1]),b.k);if(kHh(c,h)||iHh(c,h).g.j==0){!!jZi&&kZi(jZi,(CZi(),vZi),c+' means collinearity for '+mb);U=new PTi;U.i=db;Snd(U.i);U.g=r5m;pQc(b.i,R,U);return U}}$=new XFh(v,2);while(!$.g){X=VFh($);M=(V=(new Xld(X.g)).g.Uf().ke(),new Yld(V));K=0;db=je(N9,QQm,16,tQc(X.g),0,1);while(M.g.Lh()){db[K]=(l=M.g.Mh(),l.Hh());++K}try{B=db[0].TC(db[0]);C=db[1].TC(db[1])}catch(a){a=Psc(a);if(cf(a,77)){!!jZi&&kZi(jZi,(CZi(),vZi),lBn);return null}else throw Qsc(a)}s=qHh(OHh(B[0],B[1],C[0],C[1]),b.k);if(kHh(c,s)||iHh(c,s).g.j==0){!!jZi&&kZi(jZi,(CZi(),vZi),c+' means equality for '+X);U=new PTi;U.i=db;Snd(U.i);U.g=n5m;U.j=0.5;pQc(b.i,R,U);return U}}w=new E9c;sb=new uQc;A=new E9c;vb=new uQc;L=(q=(new mmd(a0d(b.j.q).g)).g.Uf().i.Di(),new nmd(q));while(L.g.Lh()){H=(l=L.g.Mh(),l.Hh());if(H.mr()&&cf(H,161)){try{qb=H.TC(H)[0];if(C9c(b.g,qb)){oQc(w.g,qb,w);Zpd(sb.n,qb,H)}tb=H.TC(H)[1];if(C9c(b.g,tb)){oQc(A.g,tb,A);Zpd(vb.n,tb,H)}}catch(a){a=Psc(a);if(cf(a,77)){!!jZi&&kZi(jZi,(CZi(),vZi),lBn);return null}else throw Qsc(a)}}}bb=new XFh(w,2);while(!bb.g){X=VFh(bb);P=(V=(new Xld(X.g)).g.Uf().ke(),new Yld(V));K=0;i=je(tgb,AAn,51,tQc(X.g),0,1);db=je(N9,QQm,16,tQc(X.g),0,1);while(P.g.Lh()){i[K]=(l=P.g.Mh(),l.Hh());db[K]=lQc(sb,i[K]);++K}rb=qHh(iHh(new zHh(i[0]),pHh(new zHh(i[1]))),b.k);if(kHh(c,rb)||iHh(c,rb).g.j==0){!!jZi&&kZi(jZi,(CZi(),vZi),c+' means x-equality for '+X);U=new PTi;U.i=db;Snd(U.i);U.g='xAreEqual';U.j=Lvm;pQc(b.i,R,U);return U}}bb=new XFh(A,2);while(!bb.g){X=VFh(bb);P=(V=(new Xld(X.g)).g.Uf().ke(),new Yld(V));K=0;i=je(tgb,AAn,51,tQc(X.g),0,1);db=je(N9,QQm,16,tQc(X.g),0,1);while(P.g.Lh()){i[K]=(l=P.g.Mh(),l.Hh());db[K]=lQc(vb,i[K]);++K}ub=qHh(iHh(new zHh(i[0]),pHh(new zHh(i[1]))),b.k);if(kHh(c,ub)||iHh(c,ub).g.j==0){!!jZi&&kZi(jZi,(CZi(),vZi),c+' means y-equality for '+X);U=new PTi;U.i=db;Snd(U.i);U.g='yAreEqual';U.j=Lvm;pQc(b.i,R,U);return U}}ab=new XFh(v,2);while(!ab.g){Y=VFh(ab);N=(W=(new Xld(Y.g)).g.Uf().ke(),new Yld(W));K=0;db=je(N9,QQm,16,4,0,1);while(N.g.Lh()){db[K]=(l=N.g.Mh(),l.Hh());++K}cb=new XFh(v,2);while(!cb.g){Z=VFh(cb);O=(V=(new Xld(Z.g)).g.Uf().ke(),new Yld(V));K=2;while(O.g.Lh()){db[K]=(l=O.g.Mh(),l.Hh());++K}try{B=db[0].TC(db[0]);C=db[1].TC(db[1]);D=db[2].TC(db[0]);F=db[3].TC(db[1])}catch(a){a=Psc(a);if(cf(a,77)){!!jZi&&kZi(jZi,(CZi(),vZi),lBn);return null}else throw Qsc(a)}s=qHh(LHh(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(kHh(c,s)||iHh(c,s).g.j==0){!!jZi&&kZi(jZi,(CZi(),vZi),c+' means perpendicularity for '+Y+MAn+Z);U=new PTi;U.i=db;U.g=p5m;U.j=_Km;pQc(b.i,R,U);return U}s=qHh(KHh(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(kHh(c,s)||iHh(c,s).g.j==0){!!jZi&&kZi(jZi,(CZi(),vZi),c+' means parallelism for '+Y+MAn+Z);U=new PTi;U.i=db;U.g=o5m;U.j=_Km;pQc(b.i,R,U);return U}s=qHh(iHh(OHh(B[0],B[1],C[0],C[1]),pHh(OHh(D[0],D[1],F[0],F[1]))),b.k);if(kHh(c,s)||iHh(c,s).g.j==0){!!jZi&&kZi(jZi,(CZi(),vZi),c+' means congruence for '+Y+MAn+Z);U=new PTi;U.i=db;U.g=q5m;U.j=_Km;pQc(b.i,R,U);return U}}}!!jZi&&kZi(jZi,(CZi(),vZi),'No human readable geometrical meaning found for '+c);oQc(b.i,R,null);return null}\nfunction bHh(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.hr()){R=LRg(c);Z=LRg(d);if(R!=null&&Z!=null){if(a.r==null){a.r=je(tgb,AAn,51,8,0,1);a.r[0]=new _Hh(b.nl());a.r[1]=new _Hh(b.nl());a.r[2]=new _Hh(b.nl());a.r[3]=new _Hh(b.nl());a.r[4]=new _Hh(b.nl());a.r[5]=new _Hh(b.nl());a.r[6]=new _Hh(b.nl());a.r[7]=new _Hh(b.nl())}a.q=je(rgb,EAn,25,8,0,1);mb=new zHh(R[0]);nb=new zHh(R[1]);Ab=new zHh(a.r[4]);Bb=new zHh(a.r[5]);ob=new zHh(a.r[0]);pb=new zHh(a.r[1]);a.q[0]=iHh(iHh(oHh(Ab,new vHh(2)),pHh(mb)),pHh(ob));a.q[1]=iHh(iHh(oHh(Bb,new vHh(2)),pHh(nb)),pHh(pb));g=je(tgb,AAn,51,2,0,1);g[0]=Z[0];g[1]=Z[1];h=je(tgb,AAn,51,2,0,1);h[0]=Z[2];h[1]=Z[3];a.q[2]=CHh(g[0],g[1],a.r[4],a.r[5],h[0],h[1]);a.q[3]=LHh(R[0],R[1],a.r[4],a.r[5],g[0],g[1],h[0],h[1]);rb=new zHh(R[2]);sb=new zHh(R[3]);Db=new zHh(a.r[6]);Eb=new zHh(a.r[7]);tb=new zHh(a.r[2]);ub=new zHh(a.r[3]);a.q[4]=iHh(iHh(oHh(Db,new vHh(2)),pHh(rb)),pHh(tb));a.q[5]=iHh(iHh(oHh(Eb,new vHh(2)),pHh(sb)),pHh(ub));a.q[6]=CHh(g[0],g[1],a.r[6],a.r[7],h[0],h[1]);a.q[7]=LHh(R[2],R[3],a.r[6],a.r[7],g[0],g[1],h[0],h[1]);return a.q}throw Qsc(new bGh)}else if(c.mr()){i=c;S=d;Jb=y5g(i,i);Ib=LRg(S);if(a.r==null){a.r=je(tgb,AAn,51,6,0,1);a.r[0]=new _Hh(b.nl());a.r[1]=new _Hh(b.nl());a.r[2]=new _Hh(b.nl());a.r[3]=new _Hh(b.nl());a.r[4]=new _Hh(b.nl());a.r[5]=new _Hh(b.nl())}a.q=je(rgb,EAn,25,6,0,1);zb=new zHh(a.r[2]);Cb=new zHh(a.r[3]);v=new zHh(Jb[0]);w=new zHh(Jb[1]);A=new zHh(a.r[0]);B=new zHh(a.r[1]);a.q[0]=iHh(iHh(oHh(zb,new vHh(2)),pHh(A)),pHh(v));a.q[1]=iHh(iHh(oHh(Cb,new vHh(2)),pHh(B)),pHh(w));g=je(tgb,AAn,51,2,0,1);g[0]=Ib[0];g[1]=Ib[1];h=je(tgb,AAn,51,2,0,1);h[0]=Ib[2];h[1]=Ib[3];a.q[2]=CHh(g[0],g[1],h[0],h[1],a.r[2],a.r[3]);l=new zHh(g[0]);m=new zHh(g[1]);q=new zHh(h[0]);r=new zHh(h[1]);ab=new zHh(a.r[4]);db=new zHh(a.r[5]);a.q[3]=iHh(iHh(iHh(q,pHh(l)),w),pHh(db));a.q[4]=iHh(iHh(iHh(v,pHh(r)),m),pHh(ab));a.q[5]=CHh(a.r[0],a.r[1],a.r[2],a.r[3],a.r[4],a.r[5]);return a.q}else if(c.Xq()&&c.nb==4){C=c;S=d;Hb=tXg(C);Qb=LRg(S);if(a.r==null){a.r=je(tgb,AAn,51,12,0,1);a.r[0]=new _Hh(b.nl());a.r[1]=new _Hh(b.nl());a.r[2]=new _Hh(b.nl());a.r[3]=new _Hh(b.nl());a.r[4]=new _Hh(b.nl());a.r[5]=new _Hh(b.nl());a.r[6]=new _Hh(b.nl());a.r[7]=new _Hh(b.nl());a.r[8]=new _Hh(b.nl());a.r[9]=new _Hh(b.nl());a.r[10]=new _Hh(b.nl());a.r[11]=new _Hh(b.nl())}a.q=je(rgb,EAn,25,12,0,1);zb=new zHh(a.r[4]);Cb=new zHh(a.r[5]);l=new zHh(Hb[0]);m=new zHh(Hb[1]);n=new zHh(a.r[0]);o=new zHh(a.r[1]);a.q[0]=iHh(iHh(oHh(zb,new vHh(2)),pHh(n)),pHh(l));a.q[1]=iHh(iHh(oHh(Cb,new vHh(2)),pHh(o)),pHh(m));a.q[2]=CHh(Qb[0],Qb[1],a.r[4],a.r[5],Qb[2],Qb[3]);v=new zHh(Qb[0]);w=new zHh(Qb[1]);D=new zHh(Qb[2]);F=new zHh(Qb[3]);bb=new zHh(a.r[8]);cb=new zHh(a.r[9]);a.q[3]=iHh(iHh(iHh(D,pHh(v)),m),pHh(cb));a.q[4]=iHh(iHh(iHh(l,pHh(F)),w),pHh(bb));a.q[5]=CHh(a.r[0],a.r[1],a.r[4],a.r[5],a.r[8],a.r[9]);vb=new zHh(a.r[6]);wb=new zHh(a.r[7]);q=new zHh(Hb[2]);r=new zHh(Hb[3]);s=new zHh(a.r[2]);t=new zHh(a.r[3]);a.q[6]=iHh(iHh(oHh(vb,new vHh(2)),pHh(s)),pHh(q));a.q[7]=iHh(iHh(oHh(wb,new vHh(2)),pHh(t)),pHh(r));a.q[8]=CHh(Qb[0],Qb[1],a.r[6],a.r[7],Qb[2],Qb[3]);eb=new zHh(a.r[10]);fb=new zHh(a.r[11]);a.q[9]=iHh(iHh(iHh(D,pHh(v)),r),pHh(fb));a.q[10]=iHh(iHh(iHh(q,pHh(F)),w),pHh(eb));a.q[11]=CHh(a.r[1],a.r[2],a.r[6],a.r[7],a.r[10],a.r[11]);return a.q}else if(c.Xq()&&c.nb==9){qb=c;S=d;Sb=tXg(qb);Qb=LRg(S);if(a.r==null){a.r=je(tgb,AAn,51,22,0,1);a.r[0]=new _Hh(b.nl());a.r[1]=new _Hh(b.nl());a.r[2]=new _Hh(b.nl());a.r[3]=new _Hh(b.nl());a.r[4]=new _Hh(b.nl());a.r[5]=new _Hh(b.nl());a.r[6]=new _Hh(b.nl());a.r[7]=new _Hh(b.nl());a.r[8]=new _Hh(b.nl());a.r[9]=new _Hh(b.nl());a.r[10]=new _Hh(b.nl());a.r[11]=new _Hh(b.nl());a.r[12]=new _Hh(b.nl());a.r[13]=new _Hh(b.nl());a.r[14]=new _Hh(b.nl());a.r[15]=new _Hh(b.nl());a.r[16]=new _Hh(b.nl());a.r[17]=new _Hh(b.nl());a.r[18]=new _Hh(b.nl());a.r[19]=new _Hh(b.nl());a.r[20]=new _Hh(b.nl());a.r[21]=new _Hh(b.nl())}a.q=je(rgb,EAn,25,21,0,1);l=new zHh(Sb[4]);m=new zHh(Sb[5]);Ab=new zHh(a.r[10]);Bb=new zHh(a.r[11]);n=new zHh(a.r[4]);o=new zHh(a.r[5]);bb=new zHh(a.r[16]);cb=new zHh(a.r[17]);U=new zHh(Qb[0]);V=new zHh(Qb[1]);X=new zHh(Qb[2]);Y=new zHh(Qb[3]);a.q[0]=iHh(iHh(oHh(new vHh(2),Ab),pHh(l)),pHh(n));a.q[1]=iHh(iHh(oHh(new vHh(2),Bb),pHh(m)),pHh(o));a.q[2]=CHh(a.r[4],a.r[5],a.r[10],a.r[11],a.r[16],a.r[17]);a.q[3]=CHh(Qb[0],Qb[1],a.r[10],a.r[11],Qb[2],Qb[3]);a.q[4]=iHh(iHh(iHh(X,pHh(U)),m),pHh(cb));a.q[5]=iHh(iHh(iHh(l,pHh(Y)),V),pHh(bb));q=new zHh(Sb[6]);r=new zHh(Sb[7]);Db=new zHh(a.r[12]);Eb=new zHh(a.r[13]);s=new zHh(a.r[6]);t=new zHh(a.r[7]);eb=new zHh(a.r[18]);fb=new zHh(a.r[19]);a.q[6]=iHh(iHh(oHh(new vHh(2),Db),pHh(q)),pHh(s));a.q[7]=iHh(iHh(oHh(new vHh(2),Eb),pHh(r)),pHh(t));a.q[8]=CHh(a.r[6],a.r[7],a.r[12],a.r[13],a.r[18],a.r[19]);a.q[9]=CHh(Qb[0],Qb[1],a.r[12],a.r[13],Qb[2],Qb[3]);a.q[10]=iHh(iHh(iHh(X,pHh(U)),r),pHh(fb));a.q[11]=iHh(iHh(iHh(q,pHh(Y)),V),pHh(eb));M=new zHh(Sb[8]);N=new zHh(Sb[9]);Fb=new zHh(a.r[14]);Gb=new zHh(a.r[15]);O=new zHh(a.r[8]);P=new zHh(a.r[9]);gb=new zHh(a.r[20]);hb=new zHh(a.r[21]);a.q[12]=iHh(iHh(oHh(new vHh(2),Fb),pHh(M)),pHh(O));a.q[13]=iHh(iHh(oHh(new vHh(2),Gb),pHh(N)),pHh(P));a.q[14]=CHh(a.r[8],a.r[9],a.r[14],a.r[15],a.r[20],a.r[21]);a.q[15]=CHh(Qb[0],Qb[1],a.r[14],a.r[15],Qb[2],Qb[3]);a.q[16]=iHh(iHh(iHh(X,pHh(U)),N),pHh(hb));a.q[17]=iHh(iHh(iHh(M,pHh(Y)),V),pHh(gb));a.q[18]=FHh(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[19]=CHh(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[20]=LHh(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 Qsc(new bGh)}else if(cf(e,41)){if(c.mr()){j=c;k=e;Kb=y5g(j,j);Lb=y5g(k,k);if(a.r==null){a.r=je(tgb,AAn,51,2,0,1);a.r[0]=new _Hh(b.nl());a.r[1]=new _Hh(b.nl())}a.q=je(rgb,EAn,25,2,0,1);l=new zHh(Kb[0]);m=new zHh(Kb[1]);q=new zHh(Lb[0]);r=new zHh(Lb[1]);n=new zHh(a.r[0]);o=new zHh(a.r[1]);a.q[0]=iHh(iHh(oHh(q,new vHh(2)),pHh(l)),pHh(n));a.q[1]=iHh(iHh(oHh(r,new vHh(2)),pHh(m)),pHh(o));return a.q}else if(c.hr()){S=c;i=e;Qb=LRg(S);Jb=y5g(i,i);if(a.r==null){a.r=je(tgb,AAn,51,4,0,1);a.r[0]=new _Hh(b.nl());a.r[1]=new _Hh(b.nl());a.r[2]=new _Hh(b.nl());a.r[3]=new _Hh(b.nl())}a.q=je(rgb,EAn,25,4,0,1);mb=new zHh(Jb[0]);nb=new zHh(Jb[1]);l=new zHh(Qb[0]);m=new zHh(Qb[1]);n=new zHh(a.r[0]);o=new zHh(a.r[1]);q=new zHh(Qb[2]);r=new zHh(Qb[3]);s=new zHh(a.r[2]);t=new zHh(a.r[3]);a.q[0]=iHh(iHh(mb,pHh(l)),pHh(iHh(n,pHh(mb))));a.q[1]=iHh(iHh(nb,pHh(m)),pHh(iHh(o,pHh(nb))));a.q[2]=iHh(iHh(mb,pHh(q)),pHh(iHh(s,pHh(mb))));a.q[3]=iHh(iHh(nb,pHh(r)),pHh(iHh(t,pHh(nb))));return a.q}else if(c.Xq()&&c.nb==4){C=c;i=e;Hb=tXg(C);Jb=y5g(i,i);if(a.r==null){a.r=je(tgb,AAn,51,4,0,1);a.r[0]=new _Hh(b.nl());a.r[1]=new _Hh(b.nl());a.r[2]=new _Hh(b.nl());a.r[3]=new _Hh(b.nl())}a.q=je(rgb,EAn,25,4,0,1);mb=new zHh(Jb[0]);nb=new zHh(Jb[1]);l=new zHh(Hb[0]);m=new zHh(Hb[1]);n=new zHh(a.r[0]);o=new zHh(a.r[1]);q=new zHh(Hb[2]);r=new zHh(Hb[3]);s=new zHh(a.r[2]);t=new zHh(a.r[3]);a.q[0]=iHh(iHh(mb,pHh(l)),pHh(iHh(n,pHh(mb))));a.q[1]=iHh(iHh(nb,pHh(m)),pHh(iHh(o,pHh(nb))));a.q[2]=iHh(iHh(mb,pHh(q)),pHh(iHh(s,pHh(mb))));a.q[3]=iHh(iHh(nb,pHh(r)),pHh(iHh(t,pHh(nb))));return a.q}else if(c.Xq()&&c.nb==9){qb=c;i=e;Sb=tXg(qb);Jb=y5g(i,i);if(a.r==null){a.r=je(tgb,AAn,51,10,0,1);a.r[0]=new _Hh(b.nl());a.r[1]=new _Hh(b.nl());a.r[2]=new _Hh(b.nl());a.r[3]=new _Hh(b.nl());a.r[4]=new _Hh(b.nl());a.r[5]=new _Hh(b.nl());a.r[6]=new _Hh(b.nl());a.r[7]=new _Hh(b.nl());a.r[8]=new _Hh(b.nl());a.r[9]=new _Hh(b.nl())}a.q=je(rgb,EAn,25,13,0,1);mb=new zHh(Sb[0]);nb=new zHh(Sb[1]);vb=new zHh(Sb[2]);wb=new zHh(Sb[3]);l=new zHh(Sb[4]);m=new zHh(Sb[5]);q=new zHh(Sb[6]);r=new zHh(Sb[7]);M=new zHh(Sb[8]);N=new zHh(Sb[9]);ob=new zHh(a.r[0]);pb=new zHh(a.r[1]);xb=new zHh(a.r[2]);yb=new zHh(a.r[3]);n=new zHh(a.r[4]);o=new zHh(a.r[5]);s=new zHh(a.r[6]);t=new zHh(a.r[7]);O=new zHh(a.r[8]);P=new zHh(a.r[9]);T=new zHh(Jb[0]);W=new zHh(Jb[1]);a.q[0]=iHh(iHh(oHh(new vHh(2),T),pHh(mb)),pHh(ob));a.q[1]=iHh(iHh(oHh(new vHh(2),W),pHh(nb)),pHh(pb));a.q[2]=iHh(iHh(oHh(new vHh(2),T),pHh(vb)),pHh(xb));a.q[3]=iHh(iHh(oHh(new vHh(2),W),pHh(wb)),pHh(yb));a.q[4]=iHh(iHh(oHh(new vHh(2),T),pHh(l)),pHh(n));a.q[5]=iHh(iHh(oHh(new vHh(2),W),pHh(m)),pHh(o));a.q[6]=iHh(iHh(oHh(new vHh(2),T),pHh(q)),pHh(s));a.q[7]=iHh(iHh(oHh(new vHh(2),W),pHh(r)),pHh(t));a.q[8]=iHh(iHh(oHh(new vHh(2),T),pHh(M)),pHh(O));a.q[9]=iHh(iHh(oHh(new vHh(2),W),pHh(N)),pHh(P));a.q[10]=FHh(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[11]=CHh(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[12]=LHh(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.Xq()&&c.nb==3){L=c;i=e;Ob=tXg(L);Jb=y5g(i,i);if(Ob[6]==Ob[8]&&Ob[7]==Ob[9]){if(a.r==null){a.r=je(tgb,AAn,51,4,0,1);a.r[0]=new _Hh(b.nl());a.r[1]=new _Hh(b.nl());a.r[2]=new _Hh(b.nl());a.r[3]=new _Hh(b.nl())}a.q=je(rgb,EAn,25,4,0,1);l=new zHh(Ob[0]);m=new zHh(Ob[1]);v=new zHh(Ob[2]);w=new zHh(Ob[3]);mb=new zHh(Jb[0]);nb=new zHh(Jb[1]);n=new zHh(a.r[0]);o=new zHh(a.r[1]);A=new zHh(a.r[2]);B=new zHh(a.r[3]);a.q[0]=iHh(iHh(oHh(new vHh(2),mb),pHh(l)),pHh(n));a.q[1]=iHh(iHh(oHh(new vHh(2),nb),pHh(m)),pHh(o));a.q[2]=iHh(iHh(oHh(new vHh(2),mb),pHh(v)),pHh(A));a.q[3]=iHh(iHh(oHh(new vHh(2),nb),pHh(w)),pHh(B))}else{if(a.r==null){a.r=je(tgb,AAn,51,12,0,1);a.r[0]=new _Hh(b.nl());a.r[1]=new _Hh(b.nl());a.r[2]=new _Hh(b.nl());a.r[3]=new _Hh(b.nl());a.r[4]=new _Hh(b.nl());a.r[5]=new _Hh(b.nl());a.r[6]=new _Hh(b.nl());a.r[7]=new _Hh(b.nl());a.r[8]=new _Hh(b.nl());a.r[9]=new _Hh(b.nl());a.r[10]=new _Hh(b.nl());a.r[11]=new _Hh(b.nl())}a.q=je(rgb,EAn,25,13,0,1);mb=new zHh(Ob[0]);nb=new zHh(Ob[1]);l=new zHh(Ob[6]);m=new zHh(Ob[7]);q=new zHh(Ob[8]);r=new zHh(Ob[9]);v=new zHh(Ob[10]);w=new zHh(Ob[11]);T=new zHh(Jb[0]);W=new zHh(Jb[1]);ob=new zHh(a.r[0]);pb=new zHh(a.r[1]);n=new zHh(a.r[6]);o=new zHh(a.r[7]);s=new zHh(a.r[8]);t=new zHh(a.r[9]);A=new zHh(a.r[10]);B=new zHh(a.r[11]);D=new zHh(a.r[2]);F=new zHh(a.r[3]);J=new zHh(a.r[4]);K=new zHh(a.r[5]);a.q[0]=iHh(iHh(oHh(new vHh(2),T),pHh(mb)),pHh(ob));a.q[1]=iHh(iHh(oHh(new vHh(2),W),pHh(nb)),pHh(pb));a.q[2]=iHh(iHh(oHh(new vHh(2),T),pHh(l)),pHh(n));a.q[3]=iHh(iHh(oHh(new vHh(2),W),pHh(m)),pHh(o));a.q[4]=iHh(iHh(oHh(new vHh(2),T),pHh(q)),pHh(s));a.q[5]=iHh(iHh(oHh(new vHh(2),W),pHh(r)),pHh(t));a.q[6]=iHh(iHh(oHh(new vHh(2),T),pHh(v)),pHh(A));a.q[7]=iHh(iHh(oHh(new vHh(2),W),pHh(w)),pHh(B));a.q[8]=iHh(iHh(iHh(D,F),pHh(J)),pHh(K));a.q[9]=iHh(OHh(a.r[6],a.r[7],a.r[8],a.r[9]),pHh(oHh(D,D)));a.q[10]=iHh(OHh(a.r[6],a.r[7],a.r[8],a.r[9]),pHh(oHh(F,F)));a.q[11]=iHh(OHh(a.r[6],a.r[7],a.r[0],a.r[1]),pHh(oHh(J,J)));a.q[12]=iHh(OHh(a.r[8],a.r[9],a.r[0],a.r[1]),pHh(oHh(K,K)))}return a.q}else if(c.Xq()&&c.nb==5){Q=c;i=e;Pb=tXg(Q);Jb=y5g(i,i);if(a.r==null){a.r=je(tgb,AAn,51,12,0,1);a.r[0]=new _Hh(b.nl());a.r[1]=new _Hh(b.nl());a.r[2]=new _Hh(b.nl());a.r[3]=new _Hh(b.nl());a.r[4]=new _Hh(b.nl());a.r[5]=new _Hh(b.nl());a.r[6]=new _Hh(b.nl());a.r[7]=new _Hh(b.nl());a.r[8]=new _Hh(b.nl());a.r[9]=new _Hh(b.nl());a.r[10]=new _Hh(b.nl());a.r[11]=new _Hh(b.nl())}a.q=je(rgb,EAn,25,13,0,1);mb=new zHh(Pb[0]);nb=new zHh(Pb[1]);l=new zHh(Pb[6]);m=new zHh(Pb[7]);q=new zHh(Pb[8]);r=new zHh(Pb[9]);v=new zHh(Pb[10]);w=new zHh(Pb[11]);T=new zHh(Jb[0]);W=new zHh(Jb[1]);ob=new zHh(a.r[0]);pb=new zHh(a.r[1]);n=new zHh(a.r[6]);o=new zHh(a.r[7]);s=new zHh(a.r[8]);t=new zHh(a.r[9]);A=new zHh(a.r[10]);B=new zHh(a.r[11]);D=new zHh(a.r[2]);F=new zHh(a.r[3]);J=new zHh(a.r[4]);K=new zHh(a.r[5]);a.q[0]=iHh(iHh(oHh(new vHh(2),T),pHh(mb)),pHh(ob));a.q[1]=iHh(iHh(oHh(new vHh(2),W),pHh(nb)),pHh(pb));a.q[2]=iHh(iHh(oHh(new vHh(2),T),pHh(l)),pHh(n));a.q[3]=iHh(iHh(oHh(new vHh(2),W),pHh(m)),pHh(o));a.q[4]=iHh(iHh(oHh(new vHh(2),T),pHh(q)),pHh(s));a.q[5]=iHh(iHh(oHh(new vHh(2),W),pHh(r)),pHh(t));a.q[6]=iHh(iHh(oHh(new vHh(2),T),pHh(v)),pHh(A));a.q[7]=iHh(iHh(oHh(new vHh(2),W),pHh(w)),pHh(B));a.q[8]=iHh(iHh(iHh(D,pHh(F)),pHh(J)),K);a.q[9]=iHh(OHh(a.r[6],a.r[7],a.r[10],a.r[11]),pHh(oHh(D,D)));a.q[10]=iHh(OHh(a.r[8],a.r[9],a.r[10],a.r[11]),pHh(oHh(F,F)));a.q[3]=iHh(OHh(a.r[6],a.r[7],a.r[0],a.r[1]),pHh(oHh(J,J)));a.q[4]=iHh(OHh(a.r[8],a.r[9],a.r[0],a.r[1]),pHh(oHh(K,K)));return a.q}throw Qsc(new bGh)}else if(f){if(c.mr()){i=c;u=f;Jb=y5g(i,i);Mb=tXg(u);if(a.r==null){a.r=je(tgb,AAn,51,8,0,1);a.r[0]=new _Hh(b.nl());a.r[1]=new _Hh(b.nl());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(rgb,EAn,25,2,0,1);ib=new zHh(Mb[0]);jb=new zHh(Mb[1]);l=new zHh(Mb[2]);m=new zHh(Mb[3]);q=new zHh(Jb[0]);r=new zHh(Jb[1]);s=new zHh(a.r[0]);t=new zHh(a.r[1]);kb=iHh(oHh(iHh(l,pHh(ib)),iHh(l,pHh(ib))),oHh(iHh(m,pHh(jb)),iHh(m,pHh(jb))));G=iHh(oHh(iHh(q,pHh(ib)),iHh(q,pHh(ib))),oHh(iHh(r,pHh(jb)),iHh(r,pHh(jb))));a.q[0]=iHh(oHh(kb,iHh(q,pHh(ib))),oHh(iHh(ib,pHh(s)),G));a.q[1]=iHh(oHh(kb,iHh(r,pHh(jb))),oHh(iHh(jb,pHh(t)),G));return a.q}else if(c.hr()){!!jZi&&kZi(jZi,(CZi(),vZi),'mirroring line about circle not implemented');throw Qsc(new bGh)}else if(c.Xq()&&c.nb==4){C=c;$=f;Nb=tXg(C);Rb=tXg($);if(a.r==null){a.r=je(tgb,AAn,51,4,0,1);a.r[0]=new _Hh(b.nl());a.r[1]=new _Hh(b.nl());a.r[2]=new _Hh(b.nl());a.r[3]=new _Hh(b.nl())}a.q=je(rgb,EAn,25,4,0,1);l=new zHh(Nb[0]);m=new zHh(Nb[1]);q=new zHh(Nb[2]);r=new zHh(Nb[3]);ib=new zHh(Rb[0]);jb=new zHh(Rb[1]);v=new zHh(Rb[2]);w=new zHh(Rb[3]);n=new zHh(a.r[0]);o=new zHh(a.r[1]);s=new zHh(a.r[2]);t=new zHh(a.r[3]);lb=iHh(oHh(iHh(v,pHh(ib)),iHh(v,pHh(ib))),oHh(iHh(w,pHh(jb)),iHh(w,pHh(jb))));p=iHh(oHh(iHh(q,pHh(l)),iHh(q,pHh(l))),oHh(iHh(r,pHh(m)),iHh(r,pHh(m))));H=iHh(iHh(oHh(iHh(l,pHh(ib)),iHh(l,pHh(ib))),oHh(iHh(m,pHh(jb)),iHh(m,pHh(jb)))),pHh(p));a.q[0]=iHh(oHh(lb,iHh(l,pHh(ib))),oHh(iHh(ib,pHh(n)),H));a.q[1]=iHh(oHh(lb,iHh(m,pHh(jb))),oHh(iHh(jb,pHh(o)),H));I=iHh(oHh(iHh(q,pHh(ib)),iHh(q,pHh(ib))),oHh(iHh(r,pHh(jb)),iHh(r,pHh(jb))));a.q[2]=iHh(oHh(lb,iHh(q,pHh(ib))),oHh(iHh(ib,pHh(s)),I));a.q[3]=iHh(oHh(lb,iHh(r,pHh(jb))),oHh(iHh(jb,pHh(t)),I));return a.q}else{throw Qsc(new bGh)}}else{throw Qsc(new bGh)}}\nvar UAn='[LocusEqu] result[',VAn='eliminate([',WAn='],revlist([',XAn='PRECISION = ',YAn='[1]: [1]: _[1]=1 _[2]=',ZAn='Cannot parse: ',$An='Cannot get Botana variables for ',_An='Recio meets Botana: #',aBn={17:1,33:1,21:1,29:1,236:1,863:1,34:1},bBn={17:1,33:1,21:1,29:1,863:1,34:1},cBn='Cannot compute implicit curve (yet?)',dBn='Benchmarking: ',eBn='Output from giac: ',fBn='Error on running Giac code',gBn=' kernelPrecision=',hBn=' precisionRatio=',iBn='OpenGeoProver',jBn='PureSymbolic',kBn='STATEMENT IS ',lBn='Cannot get Botana vars during NDG detection',mBn=' unimplemented',nBn='Interpreting TRUE as UNKNOWN',oBn='Extra poly 3 for ',pBn='Extra poly 4 for ',qBn='Eliminating system in ',rBn=' variables (',sBn=' dependent)',tBn='gbt polys = ',uBn='gbt vars = ',vBn='Using ',wBn='Possible numerical error in converting formula coefficients to integer',xBn='ggbtmpvar2',yBn=') and ',zBn='Free Point';wtc(1193,876,GOm,emd);wtc(373,7950,LOm,ztd);wtc(2171,1,rRm);_.im=function(a,b){var c,d;d=new Gid;c=VAn+a+WAn+b+']))';return vid(vid(vid(vid(vid(vid((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};_.jm=function(a,b,c,d){var e,f;if(!c){return (VOd(),POd)+'(eliminate(['+a+WAn+b+'])))'}e=''+ntc(d.g);!!jZi&&kZi(jZi,(CZi(),vZi),XAn+e);f=(VOd(),POd)+'([[ee:=eliminate(['+a+WAn+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};_.km=function(a,b,c,d){var e,f,g;e='[[GB:=gbasis(';!!a&&(e+=O8m);e+='['+b+']';if(a){f=$Nd(a);e+=',['+f+'])'}g=c+AHh(d);Bhd(g.substr(0,1),',')&&(g=(txd(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};_.lm=function(a,b,c,d,e){var f,g,h;f='[[ii:=gbasis(';f+=O8m;f+='['+b+']';g=$Nd(a);f+=',['+g+'])';h=c+AHh(d);f+=',['+h+'],revlex)],('+'ii'+'[0]!=1)&&('+'ii'+'[0]!=-1)][1]';return f};_.rm=function(a){var b,c,d,e;b=WNd(a);c=XNd(a);e=je(pf,Dum,121,c.length+1,0,3);e[0]=b;for(d=0;d0){c=y5g(this.r,this.r);b[b.length-1]=iHh(oHh(OHh(d[0],d[1],c[0],c[1]),new zHh(new _Hh(this.Xc))),pHh(new vHh(1)))}oQc(this.n,a,b);return b}throw Qsc(new bGh)}else if(this.p.nb==9||this.p.nb==3||this.p.nb==5){if(this.t){p=LRg(this.t);d=je(tgb,AAn,51,2,0,1);!this.o&&(this.o=new uQc);if(iQc(this.o,a)){d=lQc(this.o,a)}else{d=je(tgb,AAn,51,2,0,1);d[0]=new _Hh(this.Xc);d[1]=new _Hh(this.Xc);oQc(this.o,a,d)}e=sXg(this.p);g=tXg(this.p);f=e.length;b=je(rgb,EAn,25,f+1,0,1);for(k=0;ki&&(i=h[g])}b[0]=i;return b}throw Qsc(new bGh)};_.WC=function(a){var b,c,d,e,f,g;if(!!this.i&&!!this.j&&!!this.k&&!!this.n){c=G5g(this.i,a);d=G5g(this.j,a);e=G5g(this.k,a);f=G5g(this.n,a);b=je(Jv,yOm,127,1,0,1);g=he(Jv,[Dum,yOm],[352,127],0,[4,4],2);g[0][0]=kkd(c[0],c[2]);g[0][1]=kkd(c[1],c[2]);g[0][2]=Ykd(kkd(c[0],c[0]),kkd(c[1],c[1]));g[0][3]=kkd(c[2],c[2]);g[1][0]=kkd(d[0],d[2]);g[1][1]=kkd(d[1],d[2]);g[1][2]=Ykd(kkd(d[0],d[0]),kkd(d[1],d[1]));g[1][3]=kkd(d[2],d[2]);g[2][0]=kkd(e[0],e[2]);g[2][1]=kkd(e[1],e[2]);g[2][2]=Ykd(kkd(e[0],e[0]),kkd(e[1],e[1]));g[2][3]=kkd(e[2],e[2]);g[3][0]=kkd(f[0],f[2]);g[3][1]=kkd(f[1],f[2]);g[3][2]=Ykd(kkd(f[0],f[0]),kkd(f[1],f[1]));g[3][3]=kkd(f[2],f[2]);b[0]=Ykd(bld(bld(Ykd(Ykd(bld(bld(Ykd(Ykd(bld(bld(Ykd(Ykd(bld(bld(Ykd(Ykd(bld(bld(Ykd(Ykd(bld(bld(kkd(kkd(kkd(g[0][3],g[1][2]),g[2][1]),g[3][0]),kkd(kkd(kkd(g[0][2],g[1][3]),g[2][1]),g[3][0])),kkd(kkd(kkd(g[0][3],g[1][1]),g[2][2]),g[3][0])),kkd(kkd(kkd(g[0][1],g[1][3]),g[2][2]),g[3][0])),kkd(kkd(kkd(g[0][2],g[1][1]),g[2][3]),g[3][0])),kkd(kkd(kkd(g[0][1],g[1][2]),g[2][3]),g[3][0])),kkd(kkd(kkd(g[0][3],g[1][2]),g[2][0]),g[3][1])),kkd(kkd(kkd(g[0][2],g[1][3]),g[2][0]),g[3][1])),kkd(kkd(kkd(g[0][3],g[1][0]),g[2][2]),g[3][1])),kkd(kkd(kkd(g[0][0],g[1][3]),g[2][2]),g[3][1])),kkd(kkd(kkd(g[0][2],g[1][0]),g[2][3]),g[3][1])),kkd(kkd(kkd(g[0][0],g[1][2]),g[2][3]),g[3][1])),kkd(kkd(kkd(g[0][3],g[1][1]),g[2][0]),g[3][2])),kkd(kkd(kkd(g[0][1],g[1][3]),g[2][0]),g[3][2])),kkd(kkd(kkd(g[0][3],g[1][0]),g[2][1]),g[3][2])),kkd(kkd(kkd(g[0][0],g[1][3]),g[2][1]),g[3][2])),kkd(kkd(kkd(g[0][1],g[1][0]),g[2][3]),g[3][2])),kkd(kkd(kkd(g[0][0],g[1][1]),g[2][3]),g[3][2])),kkd(kkd(kkd(g[0][2],g[1][1]),g[2][0]),g[3][3])),kkd(kkd(kkd(g[0][1],g[1][2]),g[2][0]),g[3][3])),kkd(kkd(kkd(g[0][2],g[1][0]),g[2][1]),g[3][3])),kkd(kkd(kkd(g[0][0],g[1][2]),g[2][1]),g[3][3])),kkd(kkd(kkd(g[0][1],g[1][0]),g[2][2]),g[3][3])),kkd(kkd(kkd(g[0][0],g[1][1]),g[2][2]),g[3][3]));return b}throw Qsc(new bGh)};_.XC=function(a){if(!!this.i&&!!this.j&&!!this.k&&!!this.n){H5g(this.i,a);H5g(this.j,a);H5g(this.k,a);H5g(this.n,a);return}throw Qsc(new bGh)};_.YC=function(){var a,b,c,d,e;if(this.p!=null){return this.p}if(!!this.i&&!!this.j&&!!this.k&&!!this.n){a=N5g(this.i);b=N5g(this.j);c=N5g(this.k);d=N5g(this.n);this.p=je(rgb,EAn,25,1,0,1);e=he(rgb,[Dum,EAn],[90,25],0,[4,4],2);e[0][0]=oHh(a[0],a[2]);e[0][1]=oHh(a[1],a[2]);e[0][2]=iHh(oHh(a[0],a[0]),oHh(a[1],a[1]));e[0][3]=oHh(a[2],a[2]);e[1][0]=oHh(b[0],b[2]);e[1][1]=oHh(b[1],b[2]);e[1][2]=iHh(oHh(b[0],b[0]),oHh(b[1],b[1]));e[1][3]=oHh(b[2],b[2]);e[2][0]=oHh(c[0],c[2]);e[2][1]=oHh(c[1],c[2]);e[2][2]=iHh(oHh(c[0],c[0]),oHh(c[1],c[1]));e[2][3]=oHh(c[2],c[2]);e[3][0]=oHh(d[0],d[2]);e[3][1]=oHh(d[1],d[2]);e[3][2]=iHh(oHh(d[0],d[0]),oHh(d[1],d[1]));e[3][3]=oHh(d[2],d[2]);this.p[0]=iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(iHh(oHh(e[0][3],oHh(e[1][2],oHh(e[2][1],e[3][0]))),pHh(oHh(oHh(oHh(e[0][2],e[1][3]),e[2][1]),e[3][0]))),pHh(oHh(oHh(oHh(e[0][3],e[1][1]),e[2][2]),e[3][0]))),oHh(oHh(oHh(e[0][1],e[1][3]),e[2][2]),e[3][0])),oHh(oHh(oHh(e[0][2],e[1][1]),e[2][3]),e[3][0])),pHh(oHh(oHh(oHh(e[0][1],e[1][2]),e[2][3]),e[3][0]))),pHh(oHh(oHh(oHh(e[0][3],e[1][2]),e[2][0]),e[3][1]))),oHh(oHh(oHh(e[0][2],e[1][3]),e[2][0]),e[3][1])),oHh(oHh(oHh(e[0][3],e[1][0]),e[2][2]),e[3][1])),pHh(oHh(oHh(oHh(e[0][0],e[1][3]),e[2][2]),e[3][1]))),pHh(oHh(oHh(oHh(e[0][2],e[1][0]),e[2][3]),e[3][1]))),oHh(oHh(oHh(e[0][0],e[1][2]),e[2][3]),e[3][1])),oHh(oHh(oHh(e[0][3],e[1][1]),e[2][0]),e[3][2])),pHh(oHh(oHh(oHh(e[0][1],e[1][3]),e[2][0]),e[3][2]))),pHh(oHh(oHh(oHh(e[0][3],e[1][0]),e[2][1]),e[3][2]))),oHh(oHh(oHh(e[0][0],e[1][3]),e[2][1]),e[3][2])),oHh(oHh(oHh(e[0][1],e[1][0]),e[2][3]),e[3][2])),pHh(oHh(oHh(oHh(e[0][0],e[1][1]),e[2][3]),e[3][2]))),pHh(oHh(oHh(oHh(e[0][2],e[1][1]),e[2][0]),e[3][3]))),oHh(oHh(oHh(e[0][1],e[1][2]),e[2][0]),e[3][3])),oHh(oHh(oHh(e[0][2],e[1][0]),e[2][1]),e[3][3])),pHh(oHh(oHh(oHh(e[0][0],e[1][2]),e[2][1]),e[3][3]))),pHh(oHh(oHh(oHh(e[0][1],e[1][0]),e[2][2]),e[3][3]))),oHh(oHh(oHh(e[0][0],e[1][1]),e[2][2]),e[3][3]));return this.p}throw Qsc(new bGh)};_.ZC=KSn;_.am=function(){SEh(this)};var Rfb=fgd(2640);wtc(1162,21,{17:1,33:1,21:1,29:1,236:1,863:1,34:1,1162:1},XEh,YEh);_.Fl=function(){return hLg(),aBg};_.Nh=XSn;_.Bl=function(){UEh(this)};_.HD=function(){return VEh(this)};_.VC=function(a){var b,c,d;if(cf(this.i,111)||cf(this.j,111)){throw Qsc(new bGh)}if(!!this.i&&!!this.j){if(cf(this.i,41)&&cf(this.j,41)||cf(this.i,76)&&cf(this.j,76)||cf(this.i,170)&&cf(this.j,170)){c=this.i.VC(a);d=this.j.VC(a);b=je(qf,dvm,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 Qsc(new bGh)};_.WC=function(a){var b,c,d;if(cf(this.i,111)||cf(this.j,111)){throw Qsc(new bGh)}if(!!this.i&&!!this.j){if(cf(this.i,41)&&cf(this.j,41)||cf(this.i,76)&&cf(this.j,76)||cf(this.i,170)&&cf(this.j,170)){c=this.i.WC(a);d=this.j.WC(a);b=je(Jv,yOm,127,1,0,1);b[0]=Ykd(Yjd(bld(kkd(c[0],d[2]),kkd(d[0],c[2]))),Yjd(bld(kkd(c[1],d[2]),kkd(d[1],c[2]))));return b}}throw Qsc(new bGh)};_.XC=function(a){if(cf(this.i,111)||cf(this.j,111)){throw Qsc(new bGh)}if(!!this.i&&!!this.j){if(cf(this.i,41)&&cf(this.j,41)||cf(this.i,76)&&cf(this.j,76)||cf(this.i,170)&&cf(this.j,170)){this.i.XC(a);this.j.XC(a);return}}throw Qsc(new bGh)};_.YC=function(){var a,b;mZi(this.n);if(this.n!=null){return this.n}if(cf(this.i,111)||cf(this.j,111)){throw Qsc(new bGh)}if(!!this.i&&!!this.j){if(cf(this.i,41)&&cf(this.j,41)||cf(this.i,76)&&cf(this.j,76)||cf(this.i,170)&&cf(this.j,170)){a=this.i.YC();b=this.j.YC();this.n=je(rgb,EAn,25,2,0,1);this.n[0]=iHh(oHh(a[0],b[2]),pHh(oHh(b[0],a[2])));this.n[1]=iHh(oHh(a[1],b[2]),pHh(oHh(b[1],a[2])));return this.n}}throw Qsc(new bGh)};_.ZC=KSn;_.am=function(){WEh(this)};var Sfb=fgd(1162);wtc(1995,21,bBn,eFh,fFh);_.Fl=function(){return hLg(),bBg};_.Bl=function(){aFh(this)};_.HD=function(){return bFh(this)};_.am=function(){WEh(this)};var ZEh;var Ufb=fgd(1995);wtc(7393,1,KSm,gFh);_.Jm=function(a){return cFh(a)};var Tfb=fgd(7393);wtc(1594,21,aBn,jFh,kFh);_.Fl=function(){return hLg(),cBg};_.Nh=XSn;_.Bl=function(){YSg(this.k,jSg(this.i,this.j))};_.HD=function(){return hFh(this)};_.VC=function(a){var b,c,d;if(!!this.i&&!!this.j){c=MRg(this.i,a);d=MRg(this.j,a);b=je(qf,dvm,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[1],c[1]+d[0]);return b}throw Qsc(new bGh)};_.WC=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.ab[0].WC(a);d=this.ab[1].WC(a);b=je(Jv,yOm,127,1,0,1);b[0]=bld(kkd(c[0],d[1]),kkd(c[1],d[0]));return b}throw Qsc(new bGh)};_.XC=YSn;_.YC=function(){var a,b;mZi(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.ab[0].YC();b=this.ab[1].YC();this.n=je(rgb,EAn,25,1,0,1);this.n[0]=iHh(oHh(a[0],b[1]),pHh(oHh(a[1],b[0])));return this.n}throw Qsc(new bGh)};_.ZC=KSn;_.am=function(){WEh(this)};var Vfb=fgd(1594);wtc(1595,21,aBn,nFh,oFh);_.Fl=function(){return hLg(),dBg};_.Nh=XSn;_.Bl=function(){YSg(this.k,kSg(this.i,this.j))};_.HD=function(){return lFh(this)};_.VC=function(a){var b,c,d;if(!!this.i&&!!this.j){c=MRg(this.i,a);d=MRg(this.j,a);b=je(qf,dvm,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[0],c[1]+d[1]);return b}throw Qsc(new bGh)};_.WC=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.ab[0].WC(a);d=this.ab[1].WC(a);b=je(Jv,yOm,127,1,0,1);b[0]=Ykd(kkd(c[0],d[0]),kkd(c[1],d[1]));return b}throw Qsc(new bGh)};_.XC=YSn;_.YC=function(){var a,b;mZi(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.ab[0].YC();b=this.ab[1].YC();this.n=je(rgb,EAn,25,1,0,1);this.n[0]=iHh(oHh(a[0],b[0]),oHh(a[1],b[1]));return this.n}throw Qsc(new bGh)};_.ZC=KSn;_.am=function(){WEh(this)};var Wfb=fgd(1595);wtc(1827,21,{17:1,33:1,21:1,29:1,34:1,223:1,1827:1},uFh);_.Fl=function(){return hLg(),dDg};_.Bl=function(){var a;if(!jNd(this.Xc.UB()).vh()){this.i=null;this.n=0;return}a=this.i;tFh(this);if(a==null||!Bhd(a,this.i)){rZi(a+Jgn+this.i);pFh(this)}};_.xJ=function(a,b){return sFh(this,a,b)};_.am=function(){tFh(this)};_.n=0;var Xfb=fgd(1827);wtc(7847,21,bBn,zFh);_.Fl=function(){return null};_.Bl=function(){this.n.o=false};_.HD=function(){return wFh(this)};_.am=function(){yFh(this)};var Yfb=fgd(7847);wtc(2639,21,bBn,CFh);_.Fl=function(){return hLg(),aFg};_.Bl=function(){AFh(this)};_.HD=function(){var a,b,c,d,e,f;if(this.g!=null){return this.g}d=this.i;a=this.j;e=LRg(d);b=tXg(a);if(a.nb==4){c=je(tgb,AAn,51,2,0,1);c[0]=new _Hh(this.Xc);c[1]=new _Hh(this.Xc);this.g=he(rgb,[Dum,EAn],[90,25],0,[1,3],2);this.g[0][0]=CHh(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=LHh(c[0],c[1],e[0],e[1],c[0],c[1],b[0],b[1]);this.g[0][2]=FHh(c[0],c[1],b[0],b[1],b[2],b[3]);return this.g}if(a.nb==9){c=je(tgb,AAn,51,2,0,1);c[0]=new _Hh(this.Xc);c[1]=new _Hh(this.Xc);f=je(tgb,AAn,51,2,0,1);f[0]=new _Hh(this.Xc);f[1]=new _Hh(this.Xc);this.g=he(rgb,[Dum,EAn],[90,25],0,[1,5],2);this.g[0][0]=CHh(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=LHh(c[0],c[1],e[0],e[1],c[0],c[1],b[8],b[9]);this.g[0][2]=iHh(iHh(oHh(new zHh(c[0]),new vHh(2)),pHh(new zHh(f[0]))),pHh(new zHh(b[8])));this.g[0][3]=iHh(iHh(oHh(new zHh(c[1]),new vHh(2)),pHh(new zHh(f[1]))),pHh(new zHh(b[9])));this.g[0][4]=CHh(f[0],f[1],b[4],b[5],b[6],b[7]);return this.g}throw Qsc(new bGh)};_.am=function(){WEh(this)};var Zfb=fgd(2639);wtc(1216,21,{17:1,33:1,21:1,29:1,34:1,223:1,1216:1},JFh,KFh);_.Fl=function(){return hLg(),yFg};_.Bl=function(){var a;if(!jNd(this.Xc.UB()).vh()){!!jZi&&kZi(jZi,(CZi(),vZi),'CAS is not yet loaded => fingerprint set to null');this.i=null;this.p=0;return}a=this.i;IFh(this);if(a==null||!Bhd(a,this.i)){mZi(a+Jgn+this.i);EFh(this,!!this.k)}};_.xJ=function(a,b){return HFh(this,a,b)};_.am=function(){IFh(this)};_.p=0;var $fb=fgd(1216);wtc(1813,21,{17:1,33:1,21:1,29:1,34:1,223:1,1813:1},PFh);_.Fl=function(){return hLg(),bHg};_.Bl=function(){MFh(this)};_.am=function(){OFh(this)};var agb=fgd(1813);wtc(7571,21,yAn,TFh);_.Fl=function(){return hLg(),cHg};_.Bl=function(){QFh(this)};_.am=function(){SFh(this)};_.j=false;var _fb=fgd(7571);wtc(eFm,1,{},XFh);_.Kh=function(a){qqd(this,a)};_.Mh=function(){return VFh(this)};_.Lh=function(){return !this.g};_.Nh=function(){};_.g=false;_.j=0;_.n=0;var bgb=fgd(eFm);var YFh,ZFh;wtc(2724,1,{},aGh);var cgb=fgd(2724);wtc(77,43,{3:1,43:1,68:1,77:1},bGh);var dgb=fgd(77);wtc(856,1,{},gGh);var egb=fgd(856);var hGh;wtc(2049,1,{},xGh);_.j=false;_.s=false;_.t=-1;_.A=null;var fgb=fgd(2049);wtc(2717,1,{},BGh);var hgb=fgd(2717);wtc(1625,dHm,{},DGh);var ggb=fgd(1625);wtc(2722,dHm,{},FGh);var igb=fgd(2722);wtc(1627,dHm,{},QGh);_.j=false;_.k=0;_.n=false;_.o=false;var kgb=fgd(1627);wtc(1349,dHm,{},ZGh);_.i=0;var lgb=fgd(1349);wtc(2719,1,{},aHh);var mgb=fgd(2719);wtc(2721,dHm,{},cHh);var ngb=fgd(2721);wtc(2720,dHm,{},eHh);var ogb=fgd(2720);wtc(2718,dHm,{},hHh);var pgb=fgd(2718);wtc(25,1,{17:1,25:1},uHh,vHh,wHh,xHh,yHh,zHh);_.Nd=function(a){return jHh(this,a)};_.sd=function(a){return kHh(this,a)};_.td=function(){return sod(new Etd(this.g))};_.ud=function(){return sHh(this)};var rgb=fgd(25);wtc(648,1,{17:1,648:1},UHh,VHh,WHh,XHh);_.Nd=function(a){return PHh(this,a)};_.sd=function(a){return QHh(this,a)};_.td=function(){if(this.g.j==0){return 0}return jmd(ftd(this.g)).g>>jmd(gtd(this.g)).g};_.ud=function(){var a,b,c,d,e;e=new Iid('');c=(new Etd(this.g)).i.Di();while(c.Lh()){a=c.Mh();b=a.Hh();e.g+='*';e.g+=''+b;d=a.Ih().g;if(d>1){e.g+='^';e.g+=d}}if(e.g.length>0){return Vhd(e.g,1)}return ''};var sgb=fgd(648);wtc(51,1,{17:1,51:1},_Hh,aIh);_.Nd=function(a){return YHh(this,a)};_.sd=function(a){return ZHh(this,a)};_.td=function(){return this.g};_.ud=function(){return whd('v',''+this.g)};_.g=0;var tgb=fgd(51);wtc(dFm,43,{3:1,43:1,68:1,1046:1},cIh,dIh);var bIh=gxm;var ugb=fgd(dFm);var sIh;wtc(7828,1,{},qIh);_.j=0;_.n=-1;_.q=0;var gIh;var wgb=fgd(7828);wtc(7842,1,{},LIh);_.g=0;_.j=0;_.k=0;_.n=0;_.o=0;var uIh,vIh,wIh,xIh;var vgb=fgd(7842);wtc(2727,1,{},XIh);_.g=0;_.n=-1;_.o=0;_.p=0;_.q=0;_.s=1;_.t=0;_.u=false;_.v=false;_.A=1;_.B=0;var xgb=fgd(2727);wtc(7833,1,{},ZIh);_.g=0;_.i=0;var ygb=fgd(7833);wtc(2728,1,Rxm,$Ih,_Ih);_.ud=function(){return this.j};_.g=0;_.i=0;_.k=0;var Agb=fgd(2728);wtc(2729,55,Ium,bJh);_.Bd=function(){return this.p};var zgb=fgd(2729);wtc(734,1,{},r3h);_.g=null;_.i='Auto';_.j='Wu';_.k=true;_.n=4;_.o=4;var q3h;var mnb=fgd(734);wtc(7697,1,{});_.p=false;var NAb=fgd(7697);wtc(717,1,{717:1},PTi);_.sd=function(a){if(a==null){return false}if(a===this){return true}if(Wb(a)!=KAb){return false}return MTi(this)==Xb(a)};_.td=function(){return MTi(this)};_.j=1;var KAb=fgd(717);wtc(1420,1,{},RTi);_.Od=TSn;_.Pd=function(a){return a.gc};var JAb=fgd(1420);wtc(890,24,{3:1,17:1,24:1,890:1},ZTi);var STi,TTi,UTi,VTi,WTi,XTi;var LAb=ggd(890,$Ti);wtc(761,24,{3:1,17:1,24:1,761:1},iUi);var _Ti,aUi,bUi,cUi,dUi,eUi,fUi,gUi;var MAb=ggd(761,jUi);var qUi='',rUi='',sUi,tUi=0,uUi,vUi,wUi,xUi;wtc(7841,eHm,{},JLl);var gfc=fgd(7841);wtc(5017,1,Nhn);_.Fd=function(){!!jZi&&kZi(jZi,(CZi(),vZi),Wmn);jAg=new oMg;sAg(this.g);IMl(Gjl(this.g.g))};wtc(1614,7697,{},n_l);var iic=fgd(1614);qum(Qc)(10);\n//# sourceURL=web-10.js\n")