$wnd.web3d.runAsyncCallback9("function T4g(){}\nfunction _4g(){}\nfunction kgh(){}\nfunction bLh(){}\nfunction cLh(){}\nfunction dLh(){}\nfunction eLh(){}\nfunction fLh(){}\nfunction gLh(){}\nfunction hLh(){}\nfunction iLh(){}\nfunction odi(){}\nfunction Idi(){}\nfunction Iei(){}\nfunction bfi(){}\nfunction dfi(){}\nfunction ffi(){}\nfunction Cfi(){}\nfunction Efi(){}\nfunction Gfi(){}\nfunction Jfi(){}\nfunction Ahi(){}\nfunction dVi(){}\nfunction mrj(){}\nfunction orj(){}\nfunction lhm(){}\nfunction Eei(a,b){a.g=b}\nfunction Fei(a,b){a.i=b}\nfunction Gei(a,b){a.j=b}\nfunction Hei(a,b){a.k=b}\nfunction hrj(a,b){a.q=b}\nfunction cTg(a){this.g=a}\nfunction $fi(a){this.g=a}\nfunction vgi(a){this.g=a}\nfunction ugi(){this.g=new Zsd}\nfunction Wfi(){this.g=new Zsd}\nfunction Egi(){ic.call(this)}\nfunction Hqo(){tMd(this)}\nfunction vqo(a){return this.k}\nfunction wqo(a){return this.i}\nfunction xqo(a){return this.j}\nfunction Cqo(a){return this.n}\nfunction Gqo(a){return a.as()}\nfunction Eqo(a){return a.bX()}\nfunction uqo(a){return null}\nfunction Jqo(a){return this===a}\nfunction ngi(a){return Qfi(a,a)}\nfunction shi(a){return a.i[a.B]}\nfunction thi(a){return a.k[a.B]}\nfunction vhi(a){return a.k[a.n]}\nfunction uhi(a){return a.i[a.n]}\nfunction dei(a){a.k=null;a.p=0}\nfunction Chi(a){mc.call(this,a)}\nfunction lyg(a){kpf.call(this,a)}\nfunction myg(a){kpf.call(this,a)}\nfunction nyg(a){kpf.call(this,a)}\nfunction oyg(a){kpf.call(this,a)}\nfunction pyg(a){kpf.call(this,a)}\nfunction qyg(a){kpf.call(this,a)}\nfunction ryg(a){kpf.call(this,a)}\nfunction Tyg(a){kpf.call(this,a)}\nfunction mzg(a){kpf.call(this,a)}\nfunction szg(a){kpf.call(this,a)}\nfunction Dzg(a){kpf.call(this,a)}\nfunction Fzg(a){kpf.call(this,a)}\nfunction wrj(a,b){tvc.call(this,a,b)}\nfunction Hrj(a,b){tvc.call(this,a,b)}\nfunction Bhi(a,b){this.k=a;this.j=b}\nfunction Bfi(a,b){return jQc(a.i,b)}\nfunction Agi(a,b){mQc(a.j,ehd(a.g),b)}\nfunction Zrj(a,b){Prj+=a+',';Orj+=b+','}\nfunction jhi(a,b,c){a.j=c;a.k=b;return b+1}\nfunction zhi(a){this.j=a;this.i=a.length}\nfunction Yfi(a){Zfi.call(this,a,new ugi)}\nfunction qfi(){this.g=new t9c;this.i=new mnd}\nfunction zfi(){this.g=new t9c;this.j=new mnd}\nfunction S4g(){S4g=iuc;R4g=new T4g}\nfunction Z4g(){Z4g=iuc;Y4g=new _4g}\nfunction Bdi(){Bdi=iuc;Adi=new Osm('',8)}\nfunction tqo(){return new cTg(this)}\nfunction Kqo(){return new gpd(this)}\nfunction Wwh(a){return ff(a,694)||!a.Fb}\nfunction Dqo(a){return qnj(),a.Tu()?onj:nnj}\nfunction Thd(a,b){return Vwd(a),a+(Vwd(b),b)}\nfunction uei(a){return a==null?null:new djd(a)}\nfunction Fqo(a){return yCf(),me(Wu,Lmn,364,a,7,1)}\nfunction Dwj(a){!!ywj&&zwj(ywj,(Rwj(),Nwj),a)}\nfunction Fgi(a,b,c){jc.call(this,Hgi(a,b,c))}\nfunction Cgi(a){Bgi.call(this,a.rm());this.i=a}\nfunction qCg(a){!a.i&&(a.i=new qfi);return a.i}\nfunction fHg(a){if(a.r){return 1}return 0}\nfunction SFg(a){if(a.G){return a.G.B.length}return 0}\nfunction WFg(a){if(a.G){return _md(a.G,0)}return null}\nfunction mhi(a){var b;a.B=-1;b=whi(a);a.B=a.n;return b}\nfunction _gi(a){var b;a.o=VZm;for(b=12;b-->0;)a.p[b]=ZWm}\nfunction Bgi(a){this.j=new sQc;this.g=a.s.yc++}\nfunction wgi(a){this.g=new Zsd;Qsd(this.g,a,ehd(1))}\nfunction xgi(a,b){this.g=new Zsd;Qsd(this.g,a,ehd(b))}\nfunction ydi(a,b,c,d){zdi.call(this,a,c,d);J_d(this.k,b)}\nfunction Ldi(a,b,c,d){Mdi.call(this,a,c,d);J_d(this.k,b)}\nfunction Pdi(a,b,c,d){Qdi.call(this,a,c,d);J_d(this.k,b)}\nfunction _sd(a){$sd.call(this,(Vwd(a),cpd(a.k)));bQc(this,a)}\nfunction Xfi(a){Zfi.call(this,new Kkd(''+$tc(a)),new ugi)}\nfunction rhi(a,b){a.q+=b;(a.n-=b)<0&&(a.n+=a.o)}\nfunction $4g(a,b){var c;c=b.tc;c!=null&&vtd(a.g,c)}\nfunction bhi(a,b){do{a.q[a.n++]=Wgi[b]}while(b++!=1)}\nfunction chi(a,b){if(a.p[b]!=a.o){a.q[a.n++]=b;a.p[b]=a.o}}\nfunction frj(a,b){if(!a.o||b!=(vrj(),urj)){return b}return a.o}\nfunction Mwh(a,b){if(ff(a.Fb,240)){return a.Fb.LO(b)}return null}\nfunction Zzh(a){if(ff(a.Fb,163)){return a.Fb.bM(a)}return null}\nfunction suf(a){if(ff(a.Fb,163)){return a.Fb.aM(a)}return null}\nfunction Rwh(a){if(ff(a.Fb,240)){return a.Fb.NO()}throw Btc(new Dei)}\nfunction Yzh(a){if(ff(a.Fb,163)){return a.Fb.aM(a)}throw Btc(new Dei)}\nfunction zgi(a,b){if(ff(b,52)){return a.g==b.g}return nf(a)===nf(b)}\nfunction Mfi(a,b){if(ff(b,28)){return Lfi(a,b)==0}return nf(a)===nf(b)}\nfunction Nfi(a){if(a.g.o>1){return null}return rmd(Hsd(a.g)).n}\nfunction agi(a){if(a==null||a.length==0)return '';return ','+a}\nfunction bsj(a){var b;b=a.tc;if(b!=null){return '$'+b+'$'}return null}\nfunction qgi(a,b){if(ff(b,712)){return pgi(a,b)==0}return nf(a)===nf(b)}\nfunction Hwh(a,b){if(ff(a.Fb,240)){return a.Fb.KO(b)}throw Btc(new Dei)}\nfunction Nwh(a,b){if(ff(a.Fb,240)){a.Fb.MO(b);return}throw Btc(new Dei)}\nfunction Rgi(a,b){var c,d;d=Lgi(a,6);if(c=kQc(b,d.j))return c;throw Btc(new Egi)}\nfunction ygi(a,b){var c;c=b.g;if(a.gc){return -1}return 0}\nfunction qzg(a,b,c,d){var e,f;e=new jei(a.n,c,d);f=e.j;J_d(f,b);return f}\nfunction Gdi(a,b,c,d){Bdi();Hdi.call(this,a,c,d);J_d(this.k,b)}\nfunction Zfi(a,b){Wfi.call(this);a!=(jkd(),ikd)&&Qsd(this.g,b,a)}\nfunction _fi(a){Wfi.call(this);Qsd(this.g,new wgi(a),(jkd(),ekd))}\nfunction Dei(){jc.call(this,'No symbolic parameters available')}\nfunction Cei(a,b,c){this.i=new sQc;this.j=a;this.k=b;this.g=c}\nfunction yqo(a){if(this.j!=null){return this.j}this.j=dTg(this.eb);return this.j}\nfunction Iqo(a){if(!!this.i&&!!this.j){Nwh(this.i,a);Nwh(this.j,a);return}throw Btc(new Dei)}\nfunction Bqo(a){if(!!this.g&&!!this.i){HJh(this.g,a);HJh(this.i,a);return}throw Btc(new Dei)}\nfunction zdi(a,b,c){NMd.call(this,a);this.i=b;this.j=c;this.k=new Yxh(a);xdi(this);vdi(this)}\nfunction _di(a,b,c){NMd.call(this,a);this.k=b;this.j=c;this.n=new Yxh(a);$di(this);this.n.o=false}\nfunction Hdi(a,b,c){Bdi();NMd.call(this,a);this.i=b;this.j=c;this.k=new Yxh(a);xdi(this);Ddi(this)}\nfunction Rei(a,b,c){var d,e,f,g;mQc(a.p,b,c);for(e=c,f=0,g=e.length;f=a.B?Cid(a.j,a.B,a.n-a.B+1):Cid(a.j,a.B,a.o-a.B)+Cid(a.j,0,a.n+1)}\nfunction vdi(a){var b;b=a.i.qu(a.j);if((qnj(),pnj)==b){Txh(a.k)}else{a.k.j=true;Uxh(a.k,b==onj)}}\nfunction Ddi(a){var b;if(ff(a.i,356)){b=a.i;Uxh(a.k,Cdi(b.k,a.j))}else{Uxh(a.k,a.i.xu(a.j)==(qnj(),onj))}}\nfunction vei(a){var b,c;c=new t9c;for(b=0;b1){return false}if(qgi(smd(Hsd(a.g)),new ugi)){return true}return false}\nfunction xrj(){vrj();return pe(ie(fCb,1),XXm,943,0,[rrj,srj,trj,prj,urj,qrj])}\nfunction Irj(){Grj();return pe(ie(gCb,1),XXm,823,0,[Frj,zrj,Drj,Crj,Erj,yrj,Brj,Arj])}\nfunction Jgi(){Jgi=iuc;Igi=pe(ie(vf,1),CXm,5,15,[256,512,B2m,6144,6144,f$m,Imn,Imn,96,sen])}\nfunction lhi(a){$gi();gjd();this.p=me(vf,CXm,5,12,15,1);this.q=me(vf,CXm,5,24,15,1);new bjd;this.i=a}\nfunction Hfi(a,b){if(a.r!=null){return}a.r=me(ekb,m4n,52,2,0,1);a.r[0]=new Bgi(b);a.r[1]=new Bgi(b)}\nfunction Wdi(a,b,c){NMd.call(this,a);this.n=0;this.k=c;this.o=b;this.j=new JJf(a);Vdi(this);Rdi(this)}\nfunction jei(a,b,c){NMd.call(this,a);dei(this);this.k=b;this.o=c;this.j=new JJf(a);iei(this);eei(this,!!this.k)}\nfunction cei(a,b,c,d){NMd.call(this,a);this.i=c;this.j=d;this.k=new Yxh(a);xdi(this);aei(this);J_d(this.k,b)}\nfunction pei(a,b,c){NMd.call(this,a);this.j=c;this.g=new Yxh(a);oei(this);nei(this);mei(this);J_d(this.g,b)}\nfunction Mdi(a,b,c){NMd.call(this,a);this.i=b;this.j=c;this.k=new Yxh(a);xdi(this);Uxh(this.k,cxh(this.i,this.j))}\nfunction Qdi(a,b,c){NMd.call(this,a);this.i=b;this.j=c;this.k=new Yxh(a);xdi(this);Uxh(this.k,dxh(this.i,this.j))}\nfunction ogi(a,b,c,d){return Kfi(ngi(Kfi(new _fi(a),Rfi(new _fi(c)))),ngi(Kfi(new _fi(b),Rfi(new _fi(d)))))}\nfunction zpg(a,b,c,d){return sTi(d,'TriangleABCnonDegenerate',null,pe(ie(qv,1),lXm,2,6,[_og(a)+_og(b)+_og(c)]))}\nfunction rzg(a,b,c,d){var e,f;if(!d.N||!!c.N||!B$d(d,c)){return null}e=new kei(a.n,c,d);f=e.j;J_d(f,b);return f}\nfunction whi(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&&ohi(a);b=a.j[a.n];qhi(a,b);return b}\nfunction igi(a){var b,c,d,e;d=new t9c;c=0;a!=null&&(c=a.length);for(b=0;b0)return oid(c.g,1);return ''}\nfunction rgi(a){var b,c,d,e,f;f=new t9c;e=(c=(new vmd(a.g)).g._g().i.Ej(),new wmd(c));while(e.g.$i()){d=(b=e.g._i(),b.Ji());mQc(f.g,d,f)}return f}\nfunction Ofi(a){var b,c,d,e,f;f=new t9c;d=(c=(new vmd(a.g)).g._g().i.Ej(),new wmd(c));while(d.g.$i()){e=(b=d.g._i(),b.Ji());f9c(f,rgi(e))}return f}\nfunction hgi(a){var b,c,d,e,f,g;f=new t9c;for(e=(c=(new fmd(a.g)).g._g().tf(),new gmd(c));e.g.$i();){d=(b=e.g._i(),b.Ji());g=Ofi(d);f9c(f,g)}return f}\nfunction Rfi(a){var b,c,d,e;d=new Zsd;c=(new etd(a.g)).i.Ej();while(c.$i()){b=c._i();e=b.Ji();Qsd(d,e,pld((jkd(),ikd),b.Ki()))}return new $fi(d)}\nfunction dhi(a){var b,c,d,e,f;e=Xgi[a.j];d=e==null?phi(a.i):e;c=thi(a.i);b=shi(a.i);vhi(a.i);uhi(a.i);f=new Bhi(a.j,d);f.i=c;f.g=b;return f}\nfunction yhi(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);$hd(a.j,a.g,a.g+f,b,c);a.g+=f;return f}\nfunction Ezg(a,b,c,d){var e,f;if(ff(b,374)){e=new tei(a.n,b,c);J_d(e.i,Etf(d));f=pe(ie(Wdb,1),Ngn,15,0,[e.i]);return f}throw Btc(Qof(a,d.q,b))}\nfunction Dxh(a,b,c){xwh();var d;d=a.eb*b.fb*c.gb+b.eb*c.fb*a.gb+c.eb*a.fb*b.gb-c.eb*b.fb*a.gb-b.eb*a.fb*c.gb-a.eb*c.fb*b.gb;return Fln5||e<0.2||c){Bwj('myPrecision='+$tc(a.n)+S4n+$tc(d)+T4n+e);a.i=null;a.n=d;return true}return false}\nfunction hei(a,b,c){var d,e;d=KZe(b);e=Ytc(a.p)/Ytc(d);if(e>5||e<0.2||c){Bwj('resetFingerprint: myPrecision='+$tc(a.p)+S4n+$tc(d)+T4n+e);a.i=null;a.p=d;return true}return false}\nfunction $sm(){this.g=(Grj(),yrj);this.i=new t9c;this.j=new mnd;Xmd(this.j,Frj);Xmd(this.j,zrj);Xmd(this.j,Drj);this.k=new mnd;Xmd(this.k,zrj);Xmd(this.k,Drj)}\nfunction Sei(a,b){var c;if(r9c(a.u,b)){!!ywj&&zwj(ywj,(Rwj(),Kwj),'Ignoring existing poly '+b);return}q9c(a.u,b);c=rQc(a.u.g);Bwj('Adding poly #'+c+aXm+Vfi(b))}\nfunction ghi(b){try{b.g=whi(b.i)}catch(a){a=Atc(a);if(ff(a,325)){khi(0,128);return 1}else throw Btc(a)}if(b.g==49){return hhi(b,128)}return ehi(b,khi(0,128),1)}\nfunction fei(a,b){var c;c=Pei(b?a.k:a.n,a.o,b,a);if(!c){!!ywj&&zwj(ywj,(Rwj(),Kwj),'Cannot compute locus equation (yet?)');hei(a,a.jd,true);return null}return gei(a,c)}\nfunction Nei(a){var b,c,d,e,f;d=new mnd;for(f=(c=(new vmd(_Yd(a).i)).g._g().i.Ej(),new wmd(c));f.g.$i();){e=(b=f.g._i(),b.Ji());e.Zu()&&!e.Fb&&(Bwd(d.B,e),true)}return d}\nfunction Sgi(a){var b;this.o=me(vf,CXm,5,10,15,1);this.g=new mnd;this.k=new xhi(a);this.s=new lhi(this.k);this.r=new Ahi;this.q=-1;this.j=0;for(b=0;b<10;b++)this.o[b]=-1}\nfunction tuf(a,b){if(ff(a.Fb,163)){return a.Fb.bM(a)}if(!a.Fb){if(a.r==null){a.r=me(ekb,m4n,52,1,0,1);a.r[0]=new Bgi(a.jd);Bwj('Variable '+b.dt()+'('+a.r[0]+')')}}return a.r}\nfunction gTg(a,b){var c;c=me(vf,CXm,5,3,15,1);c[0]=$wnd.Math.max(a[1]+b[2],a[2]+b[1]);c[1]=$wnd.Math.max(a[0]+b[2],a[2]+b[0]);c[2]=$wnd.Math.max(a[1]+b[0],a[0]+b[1]);return c}\nfunction hTg(a,b){var c;c=me(uv,Den,151,3,0,1);c[0]=pld(ykd(a[1],b[2]),ykd(a[2],b[1]));c[1]=pld(ykd(a[2],b[0]),ykd(a[0],b[2]));c[2]=pld(ykd(a[0],b[1]),ykd(a[1],b[0]));return iTg(c)}\nfunction dgi(a,b){var c;c=me(ckb,q4n,28,3,0,1);c[0]=Kfi(Qfi(a[1],b[2]),Rfi(Qfi(a[2],b[1])));c[1]=Kfi(Qfi(a[2],b[0]),Rfi(Qfi(a[0],b[2])));c[2]=Kfi(Qfi(a[0],b[1]),Rfi(Qfi(a[1],b[0])));return c}\nfunction Vgi(){Vgi=iuc;Ugi=pe(ie(qv,1),lXm,2,6,[DZm,'\" \"','\"\\\\t\"','\"\\\\n\"','\"\\\\r\"','','','\"[1]:\"','','',FZm,'\"+\"','\"-\"','\"*\"','\"^\"'])}\nfunction iTg(a){var b,c,d,e;b=(jkd(),ikd);for(d=0;d1&&(f.g+='^{'+e+'}',f)}return f.g}\nfunction HJh(a,b){if(!a.Fb){!a.Y&&(a.Y=new Cgi(a));!a.Z&&(a.Z=new Cgi(a));Agi(a.Y,a.Z);Agi(a.Z,a.Y);q9c(b,a.Y);q9c(b,a.Z);return}if(ff(a.Fb,240)){a.Fb.MO(b);return}throw Btc(new Dei)}\nfunction fOd(a){var b,c,d;c=new bjd;b=new Wld((new Tld(a)).g);while(b.i){d=Vld(b);c.g+=',';Sid(c,Thd('v',''+d.Ji().g));c.g+='=';Rid(c,d.Ki())}if(c.g.length>0){return oid(c.g,1)}return ''}\nfunction Vkg(a,b,c){var d,e;if(a.k.B.length!=0){e=new snd(a.k);while(e.gRrj&&(Rrj=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 oid(i.g,1);return ''}\nfunction vfi(a,b){var c,d,e,f,g,h,i;for(g=a.r,h=0,i=g.length;h0&&Xid(e,e.g.length-1);e.g+='-'}else{lkd(kld(b,ekd),ikd)<0&&e.g.length>0&&Xid(e,e.g.length-1);e.g+=''+b}}Sid(e,tgi(f))}e.g+='+'}return mfd(e,0,e.g.length-1)}\nfunction kgi(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!ywj&&zwj(ywj,(Rwj(),Pwj),'Setting up equation for parallel lines ('+a+','+b+')-'+'('+c+','+d+i5n+'('+e+','+f+')-'+'('+g+','+h+')');i=new _fi(a);j=new _fi(b);k=new _fi(c);l=new _fi(d);m=new _fi(e);n=new _fi(f);o=new _fi(g);p=new _fi(h);q=Kfi(Qfi(Kfi(i,Rfi(k)),Kfi(n,Rfi(p))),Rfi(Qfi(Kfi(j,Rfi(l)),Kfi(m,Rfi(o)))));return q}\nfunction lgi(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!ywj&&zwj(ywj,(Rwj(),Pwj),'Setting up equation for perpendicular lines ('+a+','+b+')-'+'('+c+','+d+i5n+'('+e+','+f+')-'+'('+g+','+h+')');i=new _fi(a);j=new _fi(b);k=new _fi(c);l=new _fi(d);m=new _fi(e);n=new _fi(f);o=new _fi(g);p=new _fi(h);q=Kfi(Qfi(Kfi(i,Rfi(k)),Kfi(m,Rfi(o))),Qfi(Kfi(j,Rfi(l)),Kfi(n,Rfi(p))));return q}\nfunction cfi(a,b){var c,d,e,f;if(a.q!=null){return a.q}d=b[0].bM(b[0]);if(a.r==null){a.r=me(ekb,m4n,52,4,0,1);a.r[0]=new Bgi(b[0].rm());a.r[1]=new Bgi(b[0].rm());a.r[2]=d[0];a.r[3]=d[1]}c=pe(ie(ekb,1),m4n,52,0,[a.r[0],a.r[1]]);e=b[1].bM(b[1]);f=b[2].bM(b[2]);a.q=me(ckb,q4n,28,2,0,1);a.q[0]=fgi(d[0],d[1],c[0],c[1],e[0],e[1]);a.q[1]=fgi(d[0],d[1],c[0],c[1],f[0],f[1]);return a.q}\nfunction ohi(b){var c,d;if(b.t==b.g){if(b.g==b.o){if(b.B>e$m){b.n=b.t=0;b.g=b.B}else b.B<0?(b.n=b.t=0):nhi(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++){(Igi[d]&1<126){f=(d=b,hXm+d.toString(16));Sid(e,gXm+pid(f,f.length-4,f.length))}else{e.g+=String.fromCharCode(b)}continue;}}return e.g}\nfunction kdi(b,c,d){var e,f,g,h,i,j,k,l,m,n,o;if(d){n=new sQc;for(f=new Wld((new Tld(b)).g);f.i;){e=Vld(f);o=e.Ji();mQc(n,o,e.Ki())}h=(!cVi&&(cVi=new dVi),cVi);m=mgi(m9c(d.u,me(ckb,q4n,28,rQc(d.u.g),0,1)),n,d.r.rm(),h.k,d.n);!!ywj&&zwj(ywj,(Rwj(),Kwj),'Recio meets Botana:'+n);if(m==(qnj(),onj)){return vrj(),prj}}else{try{g=c.g.LO(b);for(j=g,k=0,l=j.length;k1?dxd(n.g[0],n.g[1]):dxd(n.g[0],0);Htc(n.n>0?r:Qtc(r),0)?Rsd(m,o):Qsd(m,o,n)}else{f=l.g[0];(l.n>0?f:-f|0)!=0&&Qsd(m,o,l)}}return new $fi(m)}\nfunction nhi(b,c){var d,e,f,g;e=me(sf,fXm,5,b.o+e$m,15,1);f=me(vf,CXm,5,b.o+e$m,15,1);d=me(vf,CXm,5,b.o+e$m,15,1);try{if(c){hjd(b.j,b.B,e,0,b.o-b.B);hjd(b.j,0,e,b.o-b.B,b.n);b.j=e;hjd(b.k,b.B,f,0,b.o-b.B);hjd(b.k,0,f,b.o-b.B,b.n);b.k=f;hjd(b.i,b.B,d,0,b.o-b.B);hjd(b.i,0,d,b.o-b.B,b.n);b.i=d;b.t=b.n+=b.o-b.B}else{hjd(b.j,b.B,e,0,b.o-b.B);b.j=e;hjd(b.k,b.B,f,0,b.o-b.B);b.k=f;hjd(b.i,b.B,d,0,b.o-b.B);b.i=d;b.t=b.n-=b.B}}catch(a){a=Atc(a);if(ff(a,68)){g=a;throw Btc(new mc(g.Oe()))}else throw Btc(a)}b.o+=e$m;b.g=b.o;b.B=0}\nfunction iei(a){var b,c,d,e,f,g;f=new Dtd;a.q=me(Wdb,Ngn,15,2,0,1);if(a.k){vtd(f,a.o);g=(d=(new vmd(_Yd(a.k).i)).g._g().i.Ej(),new wmd(d));a.q[0]=a.k}else{vtd(f,a.o.N.ux());g=(d=(new vmd(_Yd(a.n).i)).g._g().i.Ej(),new wmd(d));a.q[0]=a.n}while(g.g.$i()){e=(c=g.g._i(),c.Ji());(!e.Fb&&(!e.Yb||!Myh(e.Yb))||e.Iv())&&f.i.put(e,(xfd(),vfd))==null}Btd(f,a.o);a.g=me(Wdb,Ngn,15,f.i.size(),0,1);a.g=m9c(f,a.g);a.q[1]=a.o;a.hb=me(Wdb,Ngn,15,1,0,1);DMd(a,0,a.j);AMd(a,a.q,a.g);b=a.o.gd;do{end(b.k,a)}while(and(b.k,a,0)!=-1);Xmd(b.k,a);a.i=Xdi(a.g);a.p=KZe(a.jd)}\nfunction drj(a){var b,c,d,e;if(!a.q){!!ywj&&zwj(ywj,(Rwj(),Mwj),'No statement to prove');a.o=(vrj(),urj);return}c=a.q.Fb;if(!c){Yhd(a.q.xx((Sqg(),pqg)),k1m)?(a.o=(vrj(),rrj)):Yhd(a.q.xx(pqg),Jhn)?(a.o=(vrj(),prj)):(a.o=(vrj(),urj));return}asj(a.q);if(a.g!=(Grj(),yrj)){crj(a,a.g);return}Bwj(f5n+a.g);a.p?(d=new snd(a.k)):(d=new snd(a.j));a.o=(vrj(),urj);while((a.o==urj||a.o==srj)&&d.g0){ifd(f,j-1,j-1+1,'');Sid(Sid(o,sTi(k,'LetABeArbitraryPoints',null,pe(ie(qv,1),lXm,2,6,[f.g]))),'.\\n')}o.g+=h;p=Aid(a.Fb);Sid(Sid(o,sTi(k,'ProveThat',null,pe(ie(qv,1),lXm,2,6,[p]))),'.');return o.g}\nfunction ldi(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 fmd(b.g)).g._g().tf(),new gmd(l)).g._i(),i.Ji());for(k=1;k<=d+2;k++){mQc(c,u,(jkd(),Etc(k,0)>=0?Mkd(k):zkd(Mkd(Qtc(k)))));if(f){s=new sQc;for(h=new Wld((new Tld(c)).g);h.i;){g=Vld(h);t=g.Ji();mQc(s,t,g.Ki())}m=(!cVi&&(cVi=new dVi),cVi);r=mgi(m9c(f.u,me(ckb,q4n,28,rQc(f.u.g),0,1)),s,f.r.rm(),m.k,f.n);!!ywj&&zwj(ywj,(Rwj(),Kwj),L4n+k+' '+s);if(r==(qnj(),onj)){return vrj(),prj}}else{try{j=e.g.LO(c);for(o=j,p=0,q=o.length;p>6],Ttc(1,b.j&63)),0)){h=dhi(b);return h}else{continue i}}g=vhi(b.i);f=uhi(b.i);e=null;c=false;try{whi(b.i);rhi(b.i,1)}catch(a){a=Atc(a);if(ff(a,325)){c=true;e=d<=1?'':phi(b.i);if(b.g==10||b.g==13){++g;f=0}else ++f}else throw Btc(a)}if(!c){rhi(b.i,1);e=d<=1?'':phi(b.i)}throw Btc(new Dhi(c,g,f,e,b.g))}}\nfunction jfi(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:Gei(c,Kfi(g,j));break;case 21:Gei(c,Kfi(g,Rfi(j)));break;case 24:Gei(c,Qfi(g,j));break;case 28:i=mhd(xkd(Nfi(c.k.j)));if(i){h=g;for(f=ehd(1);Mtc(f.g,i.g);d=f,f=ehd(f.g+1),d){h=Qfi(h,g)}c.j=h}break;default:throw Btc(new Dei);}}b.u.zu()&&!c.g.j&&jfi(a,b.u,c.g);b.C.zu()&&!c.k.j&&jfi(a,b.C,c.k);if(ff(b.u,40)&&!c.g.j){e=Kjd(new Ojd(b.u.as()));Gei(c.g,new Yfi(e))}if(ff(b.C,40)&&!c.k.j){e=Kjd(new Ojd(b.C.as()));Gei(c.k,new Yfi(e))}if(ff(b.u,40)&&ff(b.C,166)){e=Kjd(new Ojd(b.u.as()));l=ofi(a,b.C.kn((Sqg(),oqg)));if(l){k=new wgi(l);Gei(c,new Zfi(e,k));return}}}\nfunction sfi(a,b,c){var d,e,f,g,h,i,j,k,l;if(c.j){return}if(!!c.g&&!c.k&&c.i==(mij(),Dhj)){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:Gei(c,Kfi(g,j));break;case 21:Gei(c,Kfi(g,Rfi(j)));break;case 24:Gei(c,Qfi(g,j));break;case 28:i=mhd(xkd(Nfi(c.k.j)));if(i){h=g;for(f=ehd(1);Mtc(f.g,i.g);d=f,f=ehd(f.g+1),d){h=Qfi(h,g)}c.j=h}break;default:throw Btc(new Dei);}}b.u.zu()&&!c.g.j&&sfi(a,b.u,c.g);!!b.C&&b.C.zu()&&!c.k.j&&sfi(a,b.C,c.k);if(ff(b.u,40)&&!c.g.j){e=Kjd(new Ojd(b.u.as()));Gei(c.g,new Yfi(e))}if(ff(b.C,40)&&!c.k.j){e=Kjd(new Ojd(b.C.as()));Gei(c.k,new Yfi(e))}if(ff(b.u,40)&&ff(b.C,166)){e=Kjd(new Ojd(b.u.as()));l=vfi(a,b.C.kn((Sqg(),oqg)));if(l){k=new wgi(l);Gei(c,new Zfi(e,k));return}}}\nfunction efi(a,b,c,d){var e,f,g,h,i,j,k,l,m,n,o,p,q;if(a.q!=null){return a.q}e=b;f=c;if(ff(d,118)){throw Btc(new Dei)}n=null;ff(d,36)&&(n=d);if(!e||!f||!n){throw Btc(new Dei)}if(a.r==null){g=yJh(e,e);h=yJh(f,f);a.r=me(ekb,m4n,52,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 Bgi(e.jd);a.r[5]=new Bgi(e.jd);a.r[6]=new Bgi(e.jd)}a.q=me(ckb,q4n,28,2,0,1);i=null;ff(n.Fb,396)&&(i=suf(n));o=tuf(n,n);l=0;q=ngi(new _fi(o[0]));if(i!=null){a.q=me(ckb,q4n,28,i.length+1,0,1);for(l=0;l3?(p.g='DegeneratePolygon'):(p.g=SBn);n=me(Wdb,Ngn,15,s,0,1);o=0;for(c=new snd(d);c.g=0?Mkd((d+2-k)*(d+2-n)):zkd(Mkd(Qtc((d+2-k)*(d+2-n))))));mQc(c,A[1],Etc(k*n,0)>=0?Mkd(k*n):zkd(Mkd(Qtc(k*n))));if(f){v=new sQc;for(i=new Wld((new Tld(c)).g);i.i;){h=Vld(i);w=h.Ji();mQc(v,w,h.Ki())}u=mgi(m9c(f.u,me(ckb,q4n,28,rQc(f.u.g),0,1)),v,f.r.rm(),(!cVi&&(cVi=new dVi),cVi).k,f.n);!!ywj&&zwj(ywj,(Rwj(),Kwj),L4n+g+' '+v);if(u==(qnj(),onj)){return vrj(),prj}}else{try{j=e.g.LO(c);for(r=j,s=0,t=r.length;s5&&(f=5);{chi(b,0)}break;case 6:case 4:Rtc(Dtc(ZGn,g),0)&&(chi(b,4),chi(b,6));break;case 2:if(Htc(Dtc(ZGn,g),0))break;f>6&&(f=6);b.q[b.n++]=2;break;case 5:b.g==58&&(f=8);break;case 8:Rtc(Dtc(ZGn,g),0)&&bhi(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!=VWm){b.j=f;b.k=d;f=VWm}++d;if((e=b.n)==(h=12-(b.n=h)))return d;try{b.g=whi(b.i)}catch(a){a=Atc(a);if(ff(a,325)){return d}else throw Btc(a)}}}\nfunction tfi(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.Es();yfi(b,i,p);if(b.r==null){b.r=me(ekb,m4n,52,b.j.B.length+1,0,1);b.r[0]=new Bgi(p);if(b.j.B.length==0){throw Btc(new Dei)}else{n=new snd(b.j);o=1;while(n.g=0;s--){w=ykd(w,pld(ykd((jkd(),Etc(t,0)>=0?Mkd(t):zkd(Mkd(Qtc(t)))),Pkd(p[s])),Etc(o,0)>=0?Mkd(o):zkd(Mkd(Qtc(o)))));g[o][s]=w}mQc(c,H[o],w)}++u;if(f){F=new sQc;for(j=new Wld((new Tld(c)).g);j.i;){i=Vld(j);G=i.Ji();mQc(F,G,i.Ki())}D=mgi(m9c(f.u,me(ckb,q4n,28,rQc(f.u.g),0,1)),F,f.r.rm(),(!cVi&&(cVi=new dVi),cVi).k,f.n);!!ywj&&zwj(ywj,(Rwj(),Kwj),'Recio meets Botana #'+u+aXm+F);if(D==(qnj(),onj)){return vrj(),prj}}else{try{k=e.g.LO(c);for(A=k,B=0,C=A.length;B0?(q=0):(q/=s));v=1/u;A+=B*v*v;A/=u;!!ywj&&zwj(ywj,(Rwj(),Kwj),'population='+l);!!ywj&&zwj(ywj,(Rwj(),Kwj),'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=yJh(WFg(e),WFg(e));f[f.length-1]=Kfi(Qfi(ogi(i[0],i[1],g[0],g[1]),new _fi(new Bgi(v))),Rfi(new Xfi(1)))}mQc(a.g,b,f);return f}h=me(ekb,m4n,52,2,0,1);!a.i&&(a.i=new sQc);if(gQc(a.i,b)){h=jQc(a.i,b)}else{h=me(ekb,m4n,52,2,0,1);h[0]=new Bgi(v);h[1]=new Bgi(v);mQc(a.i,b,h)}if(!a.g){j=Yzh(c);l=Zzh(c);m=Yzh(d);o=Zzh(d);k=j.length;n=m.length;f=me(ckb,q4n,28,k+n,0,1);for(t=0;t0&&(i.g+=',',i);i.g+=''+K}n=new t9c;f9c(n,a.n);p9c(n,new fmd(b));o=new bjd;for(L=(G=(new fmd(n.g)).g._g().tf(),new gmd(G));L.g.$i();){K=(l=L.g._i(),l.Ji());o.g.length>0&&(o.g+=',',o);o.g+=''+K}h=zei.VK();Uei(a);p=vNd(h).tn(b,a.v,o.g,i.g);q=MZi(mOi(h.g).i)?vNd(h).wn(p):'?';r=q.length-jid(q,'{','').length-1;A=new t9c;H=1;for(s=0;sc+1}++k}}\nfunction Ifi(a,b){var c,d,e,f,g,h,i,j;h=b.rm();if(a.q!=null){return a.q}if(ff(b,73)){if(a.r==null){a.r=me(ekb,m4n,52,2,0,1);a.r[0]=new Bgi(h);a.r[1]=new Bgi(h)}g=b.bM(b);if(g==null){Hfi(a,h);return null}a.q=me(ckb,q4n,28,1,0,1);a.q[0]=cgi(g[0],g[1],g[2],g[3],a.r[0],a.r[1]);return a.q}if(ff(b,174)){if(b.zb==4){if(a.r==null){a.r=me(ekb,m4n,52,2,0,1);a.r[0]=new Bgi(h);a.r[1]=new Bgi(h)}g=b.bM(b);if(g==null){Hfi(a,h);return null}a.q=me(ckb,q4n,28,1,0,1);a.q[0]=fgi(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=me(ekb,m4n,52,4,0,1);a.r[0]=new Bgi(h);a.r[1]=new Bgi(h);a.r[2]=new Bgi(h);a.r[3]=new Bgi(h)}j=b.bM(b);if(j==null){Hfi(a,h);return null}a.q=me(ckb,q4n,28,3,0,1);a.q[0]=fgi(j[8],j[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[1]=cgi(j[4],j[5],a.r[2],a.r[3],j[6],j[7]);a.q[2]=lgi(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=me(ekb,m4n,52,4,0,1);a.r[0]=new Bgi(h);a.r[1]=new Bgi(h);a.r[2]=new Bgi(h);a.r[3]=new Bgi(h)}i=b.bM(b);if(i==null){Hfi(a,h);return null}if(ff(b.Fb,954)){a.q=me(ckb,q4n,28,2,0,1);a.q[0]=Kfi(new _fi(i[0]),Rfi(new _fi(a.r[0])));a.q[1]=Kfi(new _fi(i[1]),Rfi(new _fi(a.r[1])));return a.q}a.q=me(ckb,q4n,28,3,0,1);e=new _fi(a.r[2]);f=new _fi(a.r[3]);c=new _fi(i[2]);d=new _fi(i[3]);a.q[0]=Kfi(Kfi(Kfi(c,d),Rfi(e)),Rfi(f));a.q[1]=Kfi(ogi(a.r[0],a.r[1],i[6],i[7]),Rfi(Qfi(e,e)));a.q[2]=Kfi(ogi(a.r[0],a.r[1],i[8],i[9]),Rfi(Qfi(f,f)));return a.q}}Hfi(a,h);return null}\nfunction jdi(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;Yhd('groebner',(!cVi&&(cVi=new dVi),cVi).j)&&(d=true);e=null;D=c.q;if(ff(D,240)){C=D.OO()}else if(ff(D.Fb,240)){C=D.Fb.OO()}else{return vrj(),urj}if(d){B=new $sm;Eei(B,(Grj(),Frj));e=new Zei(D,null,B);if(e.A==(vrj(),qrj)){return qrj}}H=new t9c;if(d){l=Nei(D);u=new snd(l);while(u.g5){!!ywj&&zwj(ywj,(Rwj(),Kwj),\"Recio's method is currently disabled when # of free variables > 5\");return vrj(),urj}try{g=C.g.KO(b)}catch(a){a=Atc(a);if(ff(a,79)){return vrj(),urj}else throw Btc(a)}f=0;for(q=g,r=0,s=q.length;r0){krj(o,a.gd);v=null;if(a.j){new Apg(a.jd);d=o.g;Yhd(PBn,d)?(v=uei(cpg(o.i[0],o.i[1],true,a.gd.V.s.q4()))):Yhd(SBn,d)?(v=uei(zpg(o.i[0],o.i[1],o.i[2],a.gd.V.s.q4()))):Yhd(OBn,d)?(v=uei($og(o.i[0],o.i[1],false,a.gd.V.s.q4()))):Yhd(QBn,d)?(v=uei(hpg(o.i[0],o.i[1],false,a.gd.V.s.q4()))):Yhd(RBn,d)&&(v=uei(Vog(o.i[0],o.i[1],false,a.gd.V.s.q4())))}if(!v||!a.j){i=o.i;if(i==null){v=uei(o.g)}else{v=uei(Qlm(a.gd.V.s.q4(),o.g));v.g+='[';for(j=0;j0&&(v.g+=',',v);h=o.i[j];h?Sid(v,o.i[j].tc):(v.g+=CBn,v)}v.g+=']';a.j&&Zid(v,0,Ulm(a.gd.V.s.q4(),'not')+' ')}}wNh(m,v.g);m.yc=false;m.cc=false;w.i.put(m,vfd)==null}}l=(g=(new vmd(w.i)).g._g().i.Ej(),new wmd(g));while(l.g.$i()){EGh(n,(f=l.g._i(),f.Ji()))}if(Vwd(B),B){m=new HNh(a.gd);wNh(m,CBn);m.yc=false;m.cc=false;w.i.put(m,vfd)==null;EGh(n,m)}n.t.B.length>0&&EGh(a.i,n);if(s==trj){c=new HNh(a.gd);wNh(c,'c');c.yc=false;c.cc=false;EGh(a.i,c)}}}Bwj('OUTPUT for ProveDetails: '+a.i)}\nfunction Kei(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=(!cVi&&(cVi=new dVi),cVi);m=G.rm();if(!ff(G.Fb,926)){Dwj(G.Fb+Y4n);return vrj(),urj}C.k=false;C.g==null&&(C.g=(xfd(),false));e=new Zei(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=Mei(b,k)}catch(a){a=Atc(a);if(ff(a,79)){e.A=(vrj(),urj);!!ywj&&zwj(ywj,(Rwj(),Kwj),'Cannot add fix values');return e.A}else throw Btc(a)}!!ywj&&zwj(ywj,(Rwj(),Kwj),'substitutions: '+H)}t=new Cei(b,H,e.n);l=false;w=0;while(!l&&w<1){h=egi(m9c(e.u,me(ckb,q4n,28,rQc(e.u.g),0,1)),H,m,(++w,true),e.n);if(!h){return vrj(),urj}q=(v=(new fmd(h.g)).g._g().tf(),new gmd(v));J=new mnd;L=new mnd;K=rQc(h.g)==2;f=new mnd;g=iYm;p=0;while(q.g.$i()){++p;!!ywj&&zwj(ywj,(Rwj(),Kwj),'Considering NDG '+p+KXm);s=new mnd;F=0;D=true;I=(j=q.g._i(),j.Ji());o=I.tf();while(o.$i()&&D){B=o._i();if(B.g.o==0){!!ywj&&zwj(ywj,(Rwj(),Kwj),'Statement is NOT GENERALLY TRUE');Wei(e,e.r);Rei(e,e.r,e.C);h=egi(m9c(e.u,me(ckb,q4n,28,rQc(e.u.g),0,1)),H,m,(++w,true),e.n);q=(u=(new fmd(h.g)).g._g().tf(),new gmd(u));while(q.g.$i()){I=(i=q.g._i(),i.Ji());o=I.tf();while(o.$i()){B=o._i();if(B.g.o==0){Wei(e,e.r);n=rQc(e.n.g)-(new fmd(H)).g.size();!!ywj&&zwj(ywj,(Rwj(),Kwj),'Naive dimension = '+n);if(!Aei(e,H,n)){!!ywj&&zwj(ywj,(Rwj(),Kwj),'Statement is NOT GENERALLY FALSE');return vrj(),trj}return vrj(),urj}}}return vrj(),prj}if(!Pfi(B)){if(e.s){!!ywj&&zwj(ywj,(Rwj(),Kwj),Z4n);return vrj(),urj}r=Bei(t,B);if(!r){D=false}else{K=K&&I.size()==1;if(K){if(Yhd(r.g,'xAreEqual')){A=new t9c;q9c(A,r.i[0]);q9c(A,r.i[1]);Bwd(J.B,A)}if(Yhd(r.g,'yAreEqual')){A=new t9c;q9c(A,r.i[0]);q9c(A,r.i[1]);Bwd(L.B,A)}if(J.B.length==1&&Xld(J,L)){r.g=OBn;r.j=0.5}}Bwd(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=j5n;if(b){B=b.Im();!!B&&(d=B.K_());H=b.eb;C==a||(l+=H.length);G=H.length;for(W=H,X=0,Y=W.length;X1&&Yhd((_wd(0,2,j.length),j.substr(0,2)),Ycn)&&(j=(axd(1,j.length+1),j.substr(1)));o=mid(j,'\\\\)\\\\*\\\\(',0);if(o.length>1){o[0]=oid(o[0],1);o[o.length-1]=pid(o[o.length-1],0,o[o.length-1].length-1)}F=false;o.length==1&&hid(o[0],'[-+]?\\\\d*\\\\.?\\\\d+')&&(F=true);G=new mnd;if(!F){for(l=o,m=0,n=l.length;m1&&(d=FWg(d,t));I.i.put(G,(xfd(),vfd))==null;Ppd(e.n,G,d)}M=(r=(new vmd((new Gtd(I.i.Dj())).i)).g._g().i.Ej(),new wmd(r));while(M.g.$i()){G=(l=M.g._i(),l.Ji());k=vWg(k,fQc(Opd(e.n,G)))}if(lkd(g,(jkd(),ikd))>0){S=CWg(S,vWg(f,k));T=true}else{fb=CWg(fb,vWg(f,k));gb=true}}s=new GUg(Q,S,fb);if(eb){if(!T||!gb){!!ywj&&zwj(ywj,(Rwj(),Kwj),c+' means '+s+', uninteresting');return null}U=new mrj;Eei(U,BUg(s,(Sqg(),oqg)));U.j=2;!!ywj&&zwj(ywj,(Rwj(),Kwj),c+' means '+s);return U}!!ywj&&zwj(ywj,(Rwj(),Kwj),c+' cannot be described by quantities only')}}u=Nei(hb);v=new v9c(u);nb=new xei(v,3);while(!nb.g){mb=vei(nb);M=(V=(new fmd(mb.g)).g._g().tf(),new gmd(V));K=0;db=me(Wdb,Ngn,15,rQc(mb.g),0,1);while(M.g.$i()){db[K]=(l=M.g._i(),l.Ji());++K}try{B=db[0].bM(db[0]);C=db[1].bM(db[1]);D=db[2].bM(db[2])}catch(a){a=Atc(a);if(ff(a,79)){!!ywj&&zwj(ywj,(Rwj(),Kwj),X4n);return null}else throw Btc(a)}h=Sfi(cgi(B[0],B[1],C[0],C[1],D[0],D[1]),b.k);if(Mfi(c,h)||Kfi(c,h).g.o==0){!!ywj&&zwj(ywj,(Rwj(),Kwj),c+' means collinearity for '+mb);U=new mrj;U.i=db;Und(U.i);U.g=SBn;nQc(b.i,R,U);return U}}$=new xei(v,2);while(!$.g){X=vei($);M=(V=(new fmd(X.g)).g._g().tf(),new gmd(V));K=0;db=me(Wdb,Ngn,15,rQc(X.g),0,1);while(M.g.$i()){db[K]=(l=M.g._i(),l.Ji());++K}try{B=db[0].bM(db[0]);C=db[1].bM(db[1])}catch(a){a=Atc(a);if(ff(a,79)){!!ywj&&zwj(ywj,(Rwj(),Kwj),X4n);return null}else throw Btc(a)}s=Sfi(ogi(B[0],B[1],C[0],C[1]),b.k);if(Mfi(c,s)||Kfi(c,s).g.o==0){!!ywj&&zwj(ywj,(Rwj(),Kwj),c+' means equality for '+X);U=new mrj;U.i=db;Und(U.i);U.g=OBn;U.j=0.5;nQc(b.i,R,U);return U}}w=new t9c;sb=new sQc;A=new t9c;vb=new sQc;L=(q=(new vmd(_Yd(b.j.q).i)).g._g().i.Ej(),new wmd(q));while(L.g.$i()){H=(l=L.g._i(),l.Ji());if(H.Zu()&&ff(H,163)){try{qb=H.bM(H)[0];if(r9c(b.g,qb)){mQc(w.g,qb,w);Ppd(sb.n,qb,H)}tb=H.bM(H)[1];if(r9c(b.g,tb)){mQc(A.g,tb,A);Ppd(vb.n,tb,H)}}catch(a){a=Atc(a);if(ff(a,79)){!!ywj&&zwj(ywj,(Rwj(),Kwj),X4n);return null}else throw Btc(a)}}}bb=new xei(w,2);while(!bb.g){X=vei(bb);P=(V=(new fmd(X.g)).g._g().tf(),new gmd(V));K=0;i=me(ekb,m4n,52,rQc(X.g),0,1);db=me(Wdb,Ngn,15,rQc(X.g),0,1);while(P.g.$i()){i[K]=(l=P.g._i(),l.Ji());db[K]=jQc(sb,i[K]);++K}rb=Sfi(Kfi(new _fi(i[0]),Rfi(new _fi(i[1]))),b.k);if(Mfi(c,rb)||Kfi(c,rb).g.o==0){!!ywj&&zwj(ywj,(Rwj(),Kwj),c+' means x-equality for '+X);U=new mrj;U.i=db;Und(U.i);U.g='xAreEqual';U.j=iYm;nQc(b.i,R,U);return U}}bb=new xei(A,2);while(!bb.g){X=vei(bb);P=(V=(new fmd(X.g)).g._g().tf(),new gmd(V));K=0;i=me(ekb,m4n,52,rQc(X.g),0,1);db=me(Wdb,Ngn,15,rQc(X.g),0,1);while(P.g.$i()){i[K]=(l=P.g._i(),l.Ji());db[K]=jQc(vb,i[K]);++K}ub=Sfi(Kfi(new _fi(i[0]),Rfi(new _fi(i[1]))),b.k);if(Mfi(c,ub)||Kfi(c,ub).g.o==0){!!ywj&&zwj(ywj,(Rwj(),Kwj),c+' means y-equality for '+X);U=new mrj;U.i=db;Und(U.i);U.g='yAreEqual';U.j=iYm;nQc(b.i,R,U);return U}}ab=new xei(v,2);while(!ab.g){Y=vei(ab);N=(W=(new fmd(Y.g)).g._g().tf(),new gmd(W));K=0;db=me(Wdb,Ngn,15,4,0,1);while(N.g.$i()){db[K]=(l=N.g._i(),l.Ji());++K}cb=new xei(v,2);while(!cb.g){Z=vei(cb);O=(V=(new fmd(Z.g)).g._g().tf(),new gmd(V));K=2;while(O.g.$i()){db[K]=(l=O.g._i(),l.Ji());++K}try{B=db[0].bM(db[0]);C=db[1].bM(db[1]);D=db[2].bM(db[0]);F=db[3].bM(db[1])}catch(a){a=Atc(a);if(ff(a,79)){!!ywj&&zwj(ywj,(Rwj(),Kwj),X4n);return null}else throw Btc(a)}s=Sfi(lgi(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(Mfi(c,s)||Kfi(c,s).g.o==0){!!ywj&&zwj(ywj,(Rwj(),Kwj),c+' means perpendicularity for '+Y+X3n+Z);U=new mrj;U.i=db;U.g=QBn;U.j=abn;nQc(b.i,R,U);return U}s=Sfi(kgi(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(Mfi(c,s)||Kfi(c,s).g.o==0){!!ywj&&zwj(ywj,(Rwj(),Kwj),c+' means parallelism for '+Y+X3n+Z);U=new mrj;U.i=db;U.g=PBn;U.j=abn;nQc(b.i,R,U);return U}s=Sfi(Kfi(ogi(B[0],B[1],C[0],C[1]),Rfi(ogi(D[0],D[1],F[0],F[1]))),b.k);if(Mfi(c,s)||Kfi(c,s).g.o==0){!!ywj&&zwj(ywj,(Rwj(),Kwj),c+' means congruence for '+Y+X3n+Z);U=new mrj;U.i=db;U.g=RBn;U.j=abn;nQc(b.i,R,U);return U}}}!!ywj&&zwj(ywj,(Rwj(),Kwj),'No human readable geometrical meaning found for '+c);mQc(b.i,R,null);return null}\nfunction Dfi(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(ff(d,73)){if(c.Tu()){R=Gwh(c);Z=Gwh(d);if(R!=null&&Z!=null){if(a.r==null){a.r=me(ekb,m4n,52,8,0,1);a.r[0]=new Bgi(b.rm());a.r[1]=new Bgi(b.rm());a.r[2]=new Bgi(b.rm());a.r[3]=new Bgi(b.rm());a.r[4]=new Bgi(b.rm());a.r[5]=new Bgi(b.rm());a.r[6]=new Bgi(b.rm());a.r[7]=new Bgi(b.rm())}a.q=me(ckb,q4n,28,8,0,1);mb=new _fi(R[0]);nb=new _fi(R[1]);Ab=new _fi(a.r[4]);Bb=new _fi(a.r[5]);ob=new _fi(a.r[0]);pb=new _fi(a.r[1]);a.q[0]=Kfi(Kfi(Qfi(Ab,new Xfi(2)),Rfi(mb)),Rfi(ob));a.q[1]=Kfi(Kfi(Qfi(Bb,new Xfi(2)),Rfi(nb)),Rfi(pb));g=me(ekb,m4n,52,2,0,1);g[0]=Z[0];g[1]=Z[1];h=me(ekb,m4n,52,2,0,1);h[0]=Z[2];h[1]=Z[3];a.q[2]=cgi(g[0],g[1],a.r[4],a.r[5],h[0],h[1]);a.q[3]=lgi(R[0],R[1],a.r[4],a.r[5],g[0],g[1],h[0],h[1]);rb=new _fi(R[2]);sb=new _fi(R[3]);Db=new _fi(a.r[6]);Eb=new _fi(a.r[7]);tb=new _fi(a.r[2]);ub=new _fi(a.r[3]);a.q[4]=Kfi(Kfi(Qfi(Db,new Xfi(2)),Rfi(rb)),Rfi(tb));a.q[5]=Kfi(Kfi(Qfi(Eb,new Xfi(2)),Rfi(sb)),Rfi(ub));a.q[6]=cgi(g[0],g[1],a.r[6],a.r[7],h[0],h[1]);a.q[7]=lgi(R[2],R[3],a.r[6],a.r[7],g[0],g[1],h[0],h[1]);return a.q}throw Btc(new Dei)}else if(c.Zu()){i=c;S=d;Jb=yJh(i,i);Ib=Gwh(S);if(a.r==null){a.r=me(ekb,m4n,52,6,0,1);a.r[0]=new Bgi(b.rm());a.r[1]=new Bgi(b.rm());a.r[2]=new Bgi(b.rm());a.r[3]=new Bgi(b.rm());a.r[4]=new Bgi(b.rm());a.r[5]=new Bgi(b.rm())}a.q=me(ckb,q4n,28,6,0,1);zb=new _fi(a.r[2]);Cb=new _fi(a.r[3]);v=new _fi(Jb[0]);w=new _fi(Jb[1]);A=new _fi(a.r[0]);B=new _fi(a.r[1]);a.q[0]=Kfi(Kfi(Qfi(zb,new Xfi(2)),Rfi(A)),Rfi(v));a.q[1]=Kfi(Kfi(Qfi(Cb,new Xfi(2)),Rfi(B)),Rfi(w));g=me(ekb,m4n,52,2,0,1);g[0]=Ib[0];g[1]=Ib[1];h=me(ekb,m4n,52,2,0,1);h[0]=Ib[2];h[1]=Ib[3];a.q[2]=cgi(g[0],g[1],h[0],h[1],a.r[2],a.r[3]);l=new _fi(g[0]);m=new _fi(g[1]);q=new _fi(h[0]);r=new _fi(h[1]);ab=new _fi(a.r[4]);db=new _fi(a.r[5]);a.q[3]=Kfi(Kfi(Kfi(q,Rfi(l)),w),Rfi(db));a.q[4]=Kfi(Kfi(Kfi(v,Rfi(r)),m),Rfi(ab));a.q[5]=cgi(a.r[0],a.r[1],a.r[2],a.r[3],a.r[4],a.r[5]);return a.q}else if(c.Hu()&&c.zb==4){C=c;S=d;Hb=Zzh(C);Qb=Gwh(S);if(a.r==null){a.r=me(ekb,m4n,52,12,0,1);a.r[0]=new Bgi(b.rm());a.r[1]=new Bgi(b.rm());a.r[2]=new Bgi(b.rm());a.r[3]=new Bgi(b.rm());a.r[4]=new Bgi(b.rm());a.r[5]=new Bgi(b.rm());a.r[6]=new Bgi(b.rm());a.r[7]=new Bgi(b.rm());a.r[8]=new Bgi(b.rm());a.r[9]=new Bgi(b.rm());a.r[10]=new Bgi(b.rm());a.r[11]=new Bgi(b.rm())}a.q=me(ckb,q4n,28,12,0,1);zb=new _fi(a.r[4]);Cb=new _fi(a.r[5]);l=new _fi(Hb[0]);m=new _fi(Hb[1]);n=new _fi(a.r[0]);o=new _fi(a.r[1]);a.q[0]=Kfi(Kfi(Qfi(zb,new Xfi(2)),Rfi(n)),Rfi(l));a.q[1]=Kfi(Kfi(Qfi(Cb,new Xfi(2)),Rfi(o)),Rfi(m));a.q[2]=cgi(Qb[0],Qb[1],a.r[4],a.r[5],Qb[2],Qb[3]);v=new _fi(Qb[0]);w=new _fi(Qb[1]);D=new _fi(Qb[2]);F=new _fi(Qb[3]);bb=new _fi(a.r[8]);cb=new _fi(a.r[9]);a.q[3]=Kfi(Kfi(Kfi(D,Rfi(v)),m),Rfi(cb));a.q[4]=Kfi(Kfi(Kfi(l,Rfi(F)),w),Rfi(bb));a.q[5]=cgi(a.r[0],a.r[1],a.r[4],a.r[5],a.r[8],a.r[9]);vb=new _fi(a.r[6]);wb=new _fi(a.r[7]);q=new _fi(Hb[2]);r=new _fi(Hb[3]);s=new _fi(a.r[2]);t=new _fi(a.r[3]);a.q[6]=Kfi(Kfi(Qfi(vb,new Xfi(2)),Rfi(s)),Rfi(q));a.q[7]=Kfi(Kfi(Qfi(wb,new Xfi(2)),Rfi(t)),Rfi(r));a.q[8]=cgi(Qb[0],Qb[1],a.r[6],a.r[7],Qb[2],Qb[3]);eb=new _fi(a.r[10]);fb=new _fi(a.r[11]);a.q[9]=Kfi(Kfi(Kfi(D,Rfi(v)),r),Rfi(fb));a.q[10]=Kfi(Kfi(Kfi(q,Rfi(F)),w),Rfi(eb));a.q[11]=cgi(a.r[1],a.r[2],a.r[6],a.r[7],a.r[10],a.r[11]);return a.q}else if(c.Hu()&&c.zb==9){qb=c;S=d;Sb=Zzh(qb);Qb=Gwh(S);if(a.r==null){a.r=me(ekb,m4n,52,22,0,1);a.r[0]=new Bgi(b.rm());a.r[1]=new Bgi(b.rm());a.r[2]=new Bgi(b.rm());a.r[3]=new Bgi(b.rm());a.r[4]=new Bgi(b.rm());a.r[5]=new Bgi(b.rm());a.r[6]=new Bgi(b.rm());a.r[7]=new Bgi(b.rm());a.r[8]=new Bgi(b.rm());a.r[9]=new Bgi(b.rm());a.r[10]=new Bgi(b.rm());a.r[11]=new Bgi(b.rm());a.r[12]=new Bgi(b.rm());a.r[13]=new Bgi(b.rm());a.r[14]=new Bgi(b.rm());a.r[15]=new Bgi(b.rm());a.r[16]=new Bgi(b.rm());a.r[17]=new Bgi(b.rm());a.r[18]=new Bgi(b.rm());a.r[19]=new Bgi(b.rm());a.r[20]=new Bgi(b.rm());a.r[21]=new Bgi(b.rm())}a.q=me(ckb,q4n,28,21,0,1);l=new _fi(Sb[4]);m=new _fi(Sb[5]);Ab=new _fi(a.r[10]);Bb=new _fi(a.r[11]);n=new _fi(a.r[4]);o=new _fi(a.r[5]);bb=new _fi(a.r[16]);cb=new _fi(a.r[17]);U=new _fi(Qb[0]);V=new _fi(Qb[1]);X=new _fi(Qb[2]);Y=new _fi(Qb[3]);a.q[0]=Kfi(Kfi(Qfi(new Xfi(2),Ab),Rfi(l)),Rfi(n));a.q[1]=Kfi(Kfi(Qfi(new Xfi(2),Bb),Rfi(m)),Rfi(o));a.q[2]=cgi(a.r[4],a.r[5],a.r[10],a.r[11],a.r[16],a.r[17]);a.q[3]=cgi(Qb[0],Qb[1],a.r[10],a.r[11],Qb[2],Qb[3]);a.q[4]=Kfi(Kfi(Kfi(X,Rfi(U)),m),Rfi(cb));a.q[5]=Kfi(Kfi(Kfi(l,Rfi(Y)),V),Rfi(bb));q=new _fi(Sb[6]);r=new _fi(Sb[7]);Db=new _fi(a.r[12]);Eb=new _fi(a.r[13]);s=new _fi(a.r[6]);t=new _fi(a.r[7]);eb=new _fi(a.r[18]);fb=new _fi(a.r[19]);a.q[6]=Kfi(Kfi(Qfi(new Xfi(2),Db),Rfi(q)),Rfi(s));a.q[7]=Kfi(Kfi(Qfi(new Xfi(2),Eb),Rfi(r)),Rfi(t));a.q[8]=cgi(a.r[6],a.r[7],a.r[12],a.r[13],a.r[18],a.r[19]);a.q[9]=cgi(Qb[0],Qb[1],a.r[12],a.r[13],Qb[2],Qb[3]);a.q[10]=Kfi(Kfi(Kfi(X,Rfi(U)),r),Rfi(fb));a.q[11]=Kfi(Kfi(Kfi(q,Rfi(Y)),V),Rfi(eb));M=new _fi(Sb[8]);N=new _fi(Sb[9]);Fb=new _fi(a.r[14]);Gb=new _fi(a.r[15]);O=new _fi(a.r[8]);P=new _fi(a.r[9]);gb=new _fi(a.r[20]);hb=new _fi(a.r[21]);a.q[12]=Kfi(Kfi(Qfi(new Xfi(2),Fb),Rfi(M)),Rfi(O));a.q[13]=Kfi(Kfi(Qfi(new Xfi(2),Gb),Rfi(N)),Rfi(P));a.q[14]=cgi(a.r[8],a.r[9],a.r[14],a.r[15],a.r[20],a.r[21]);a.q[15]=cgi(Qb[0],Qb[1],a.r[14],a.r[15],Qb[2],Qb[3]);a.q[16]=Kfi(Kfi(Kfi(X,Rfi(U)),N),Rfi(hb));a.q[17]=Kfi(Kfi(Kfi(M,Rfi(Y)),V),Rfi(gb));a.q[18]=fgi(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[19]=cgi(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[20]=lgi(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 Btc(new Dei)}else if(ff(e,41)){if(c.Zu()){j=c;k=e;Kb=yJh(j,j);Lb=yJh(k,k);if(a.r==null){a.r=me(ekb,m4n,52,2,0,1);a.r[0]=new Bgi(b.rm());a.r[1]=new Bgi(b.rm())}a.q=me(ckb,q4n,28,2,0,1);l=new _fi(Kb[0]);m=new _fi(Kb[1]);q=new _fi(Lb[0]);r=new _fi(Lb[1]);n=new _fi(a.r[0]);o=new _fi(a.r[1]);a.q[0]=Kfi(Kfi(Qfi(q,new Xfi(2)),Rfi(l)),Rfi(n));a.q[1]=Kfi(Kfi(Qfi(r,new Xfi(2)),Rfi(m)),Rfi(o));return a.q}else if(c.Tu()){S=c;i=e;Qb=Gwh(S);Jb=yJh(i,i);if(a.r==null){a.r=me(ekb,m4n,52,4,0,1);a.r[0]=new Bgi(b.rm());a.r[1]=new Bgi(b.rm());a.r[2]=new Bgi(b.rm());a.r[3]=new Bgi(b.rm())}a.q=me(ckb,q4n,28,4,0,1);mb=new _fi(Jb[0]);nb=new _fi(Jb[1]);l=new _fi(Qb[0]);m=new _fi(Qb[1]);n=new _fi(a.r[0]);o=new _fi(a.r[1]);q=new _fi(Qb[2]);r=new _fi(Qb[3]);s=new _fi(a.r[2]);t=new _fi(a.r[3]);a.q[0]=Kfi(Kfi(mb,Rfi(l)),Rfi(Kfi(n,Rfi(mb))));a.q[1]=Kfi(Kfi(nb,Rfi(m)),Rfi(Kfi(o,Rfi(nb))));a.q[2]=Kfi(Kfi(mb,Rfi(q)),Rfi(Kfi(s,Rfi(mb))));a.q[3]=Kfi(Kfi(nb,Rfi(r)),Rfi(Kfi(t,Rfi(nb))));return a.q}else if(c.Hu()&&c.zb==4){C=c;i=e;Hb=Zzh(C);Jb=yJh(i,i);if(a.r==null){a.r=me(ekb,m4n,52,4,0,1);a.r[0]=new Bgi(b.rm());a.r[1]=new Bgi(b.rm());a.r[2]=new Bgi(b.rm());a.r[3]=new Bgi(b.rm())}a.q=me(ckb,q4n,28,4,0,1);mb=new _fi(Jb[0]);nb=new _fi(Jb[1]);l=new _fi(Hb[0]);m=new _fi(Hb[1]);n=new _fi(a.r[0]);o=new _fi(a.r[1]);q=new _fi(Hb[2]);r=new _fi(Hb[3]);s=new _fi(a.r[2]);t=new _fi(a.r[3]);a.q[0]=Kfi(Kfi(mb,Rfi(l)),Rfi(Kfi(n,Rfi(mb))));a.q[1]=Kfi(Kfi(nb,Rfi(m)),Rfi(Kfi(o,Rfi(nb))));a.q[2]=Kfi(Kfi(mb,Rfi(q)),Rfi(Kfi(s,Rfi(mb))));a.q[3]=Kfi(Kfi(nb,Rfi(r)),Rfi(Kfi(t,Rfi(nb))));return a.q}else if(c.Hu()&&c.zb==9){qb=c;i=e;Sb=Zzh(qb);Jb=yJh(i,i);if(a.r==null){a.r=me(ekb,m4n,52,10,0,1);a.r[0]=new Bgi(b.rm());a.r[1]=new Bgi(b.rm());a.r[2]=new Bgi(b.rm());a.r[3]=new Bgi(b.rm());a.r[4]=new Bgi(b.rm());a.r[5]=new Bgi(b.rm());a.r[6]=new Bgi(b.rm());a.r[7]=new Bgi(b.rm());a.r[8]=new Bgi(b.rm());a.r[9]=new Bgi(b.rm())}a.q=me(ckb,q4n,28,13,0,1);mb=new _fi(Sb[0]);nb=new _fi(Sb[1]);vb=new _fi(Sb[2]);wb=new _fi(Sb[3]);l=new _fi(Sb[4]);m=new _fi(Sb[5]);q=new _fi(Sb[6]);r=new _fi(Sb[7]);M=new _fi(Sb[8]);N=new _fi(Sb[9]);ob=new _fi(a.r[0]);pb=new _fi(a.r[1]);xb=new _fi(a.r[2]);yb=new _fi(a.r[3]);n=new _fi(a.r[4]);o=new _fi(a.r[5]);s=new _fi(a.r[6]);t=new _fi(a.r[7]);O=new _fi(a.r[8]);P=new _fi(a.r[9]);T=new _fi(Jb[0]);W=new _fi(Jb[1]);a.q[0]=Kfi(Kfi(Qfi(new Xfi(2),T),Rfi(mb)),Rfi(ob));a.q[1]=Kfi(Kfi(Qfi(new Xfi(2),W),Rfi(nb)),Rfi(pb));a.q[2]=Kfi(Kfi(Qfi(new Xfi(2),T),Rfi(vb)),Rfi(xb));a.q[3]=Kfi(Kfi(Qfi(new Xfi(2),W),Rfi(wb)),Rfi(yb));a.q[4]=Kfi(Kfi(Qfi(new Xfi(2),T),Rfi(l)),Rfi(n));a.q[5]=Kfi(Kfi(Qfi(new Xfi(2),W),Rfi(m)),Rfi(o));a.q[6]=Kfi(Kfi(Qfi(new Xfi(2),T),Rfi(q)),Rfi(s));a.q[7]=Kfi(Kfi(Qfi(new Xfi(2),W),Rfi(r)),Rfi(t));a.q[8]=Kfi(Kfi(Qfi(new Xfi(2),T),Rfi(M)),Rfi(O));a.q[9]=Kfi(Kfi(Qfi(new Xfi(2),W),Rfi(N)),Rfi(P));a.q[10]=fgi(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[11]=cgi(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[12]=lgi(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.Hu()&&c.zb==3){L=c;i=e;Ob=Zzh(L);Jb=yJh(i,i);if(Ob[6]==Ob[8]&&Ob[7]==Ob[9]){if(a.r==null){a.r=me(ekb,m4n,52,4,0,1);a.r[0]=new Bgi(b.rm());a.r[1]=new Bgi(b.rm());a.r[2]=new Bgi(b.rm());a.r[3]=new Bgi(b.rm())}a.q=me(ckb,q4n,28,4,0,1);l=new _fi(Ob[0]);m=new _fi(Ob[1]);v=new _fi(Ob[2]);w=new _fi(Ob[3]);mb=new _fi(Jb[0]);nb=new _fi(Jb[1]);n=new _fi(a.r[0]);o=new _fi(a.r[1]);A=new _fi(a.r[2]);B=new _fi(a.r[3]);a.q[0]=Kfi(Kfi(Qfi(new Xfi(2),mb),Rfi(l)),Rfi(n));a.q[1]=Kfi(Kfi(Qfi(new Xfi(2),nb),Rfi(m)),Rfi(o));a.q[2]=Kfi(Kfi(Qfi(new Xfi(2),mb),Rfi(v)),Rfi(A));a.q[3]=Kfi(Kfi(Qfi(new Xfi(2),nb),Rfi(w)),Rfi(B))}else{if(a.r==null){a.r=me(ekb,m4n,52,12,0,1);a.r[0]=new Bgi(b.rm());a.r[1]=new Bgi(b.rm());a.r[2]=new Bgi(b.rm());a.r[3]=new Bgi(b.rm());a.r[4]=new Bgi(b.rm());a.r[5]=new Bgi(b.rm());a.r[6]=new Bgi(b.rm());a.r[7]=new Bgi(b.rm());a.r[8]=new Bgi(b.rm());a.r[9]=new Bgi(b.rm());a.r[10]=new Bgi(b.rm());a.r[11]=new Bgi(b.rm())}a.q=me(ckb,q4n,28,13,0,1);mb=new _fi(Ob[0]);nb=new _fi(Ob[1]);l=new _fi(Ob[6]);m=new _fi(Ob[7]);q=new _fi(Ob[8]);r=new _fi(Ob[9]);v=new _fi(Ob[10]);w=new _fi(Ob[11]);T=new _fi(Jb[0]);W=new _fi(Jb[1]);ob=new _fi(a.r[0]);pb=new _fi(a.r[1]);n=new _fi(a.r[6]);o=new _fi(a.r[7]);s=new _fi(a.r[8]);t=new _fi(a.r[9]);A=new _fi(a.r[10]);B=new _fi(a.r[11]);D=new _fi(a.r[2]);F=new _fi(a.r[3]);J=new _fi(a.r[4]);K=new _fi(a.r[5]);a.q[0]=Kfi(Kfi(Qfi(new Xfi(2),T),Rfi(mb)),Rfi(ob));a.q[1]=Kfi(Kfi(Qfi(new Xfi(2),W),Rfi(nb)),Rfi(pb));a.q[2]=Kfi(Kfi(Qfi(new Xfi(2),T),Rfi(l)),Rfi(n));a.q[3]=Kfi(Kfi(Qfi(new Xfi(2),W),Rfi(m)),Rfi(o));a.q[4]=Kfi(Kfi(Qfi(new Xfi(2),T),Rfi(q)),Rfi(s));a.q[5]=Kfi(Kfi(Qfi(new Xfi(2),W),Rfi(r)),Rfi(t));a.q[6]=Kfi(Kfi(Qfi(new Xfi(2),T),Rfi(v)),Rfi(A));a.q[7]=Kfi(Kfi(Qfi(new Xfi(2),W),Rfi(w)),Rfi(B));a.q[8]=Kfi(Kfi(Kfi(D,F),Rfi(J)),Rfi(K));a.q[9]=Kfi(ogi(a.r[6],a.r[7],a.r[8],a.r[9]),Rfi(Qfi(D,D)));a.q[10]=Kfi(ogi(a.r[6],a.r[7],a.r[8],a.r[9]),Rfi(Qfi(F,F)));a.q[11]=Kfi(ogi(a.r[6],a.r[7],a.r[0],a.r[1]),Rfi(Qfi(J,J)));a.q[12]=Kfi(ogi(a.r[8],a.r[9],a.r[0],a.r[1]),Rfi(Qfi(K,K)))}return a.q}else if(c.Hu()&&c.zb==5){Q=c;i=e;Pb=Zzh(Q);Jb=yJh(i,i);if(a.r==null){a.r=me(ekb,m4n,52,12,0,1);a.r[0]=new Bgi(b.rm());a.r[1]=new Bgi(b.rm());a.r[2]=new Bgi(b.rm());a.r[3]=new Bgi(b.rm());a.r[4]=new Bgi(b.rm());a.r[5]=new Bgi(b.rm());a.r[6]=new Bgi(b.rm());a.r[7]=new Bgi(b.rm());a.r[8]=new Bgi(b.rm());a.r[9]=new Bgi(b.rm());a.r[10]=new Bgi(b.rm());a.r[11]=new Bgi(b.rm())}a.q=me(ckb,q4n,28,13,0,1);mb=new _fi(Pb[0]);nb=new _fi(Pb[1]);l=new _fi(Pb[6]);m=new _fi(Pb[7]);q=new _fi(Pb[8]);r=new _fi(Pb[9]);v=new _fi(Pb[10]);w=new _fi(Pb[11]);T=new _fi(Jb[0]);W=new _fi(Jb[1]);ob=new _fi(a.r[0]);pb=new _fi(a.r[1]);n=new _fi(a.r[6]);o=new _fi(a.r[7]);s=new _fi(a.r[8]);t=new _fi(a.r[9]);A=new _fi(a.r[10]);B=new _fi(a.r[11]);D=new _fi(a.r[2]);F=new _fi(a.r[3]);J=new _fi(a.r[4]);K=new _fi(a.r[5]);a.q[0]=Kfi(Kfi(Qfi(new Xfi(2),T),Rfi(mb)),Rfi(ob));a.q[1]=Kfi(Kfi(Qfi(new Xfi(2),W),Rfi(nb)),Rfi(pb));a.q[2]=Kfi(Kfi(Qfi(new Xfi(2),T),Rfi(l)),Rfi(n));a.q[3]=Kfi(Kfi(Qfi(new Xfi(2),W),Rfi(m)),Rfi(o));a.q[4]=Kfi(Kfi(Qfi(new Xfi(2),T),Rfi(q)),Rfi(s));a.q[5]=Kfi(Kfi(Qfi(new Xfi(2),W),Rfi(r)),Rfi(t));a.q[6]=Kfi(Kfi(Qfi(new Xfi(2),T),Rfi(v)),Rfi(A));a.q[7]=Kfi(Kfi(Qfi(new Xfi(2),W),Rfi(w)),Rfi(B));a.q[8]=Kfi(Kfi(Kfi(D,Rfi(F)),Rfi(J)),K);a.q[9]=Kfi(ogi(a.r[6],a.r[7],a.r[10],a.r[11]),Rfi(Qfi(D,D)));a.q[10]=Kfi(ogi(a.r[8],a.r[9],a.r[10],a.r[11]),Rfi(Qfi(F,F)));a.q[3]=Kfi(ogi(a.r[6],a.r[7],a.r[0],a.r[1]),Rfi(Qfi(J,J)));a.q[4]=Kfi(ogi(a.r[8],a.r[9],a.r[0],a.r[1]),Rfi(Qfi(K,K)));return a.q}throw Btc(new Dei)}else if(f){if(c.Zu()){i=c;u=f;Jb=yJh(i,i);Mb=Zzh(u);if(a.r==null){a.r=me(ekb,m4n,52,8,0,1);a.r[0]=new Bgi(b.rm());a.r[1]=new Bgi(b.rm());a.r[2]=Jb[0];a.r[3]=Jb[1];a.r[4]=Mb[0];a.r[5]=Mb[1];a.r[6]=Mb[2];a.r[7]=Mb[3]}a.q=me(ckb,q4n,28,2,0,1);ib=new _fi(Mb[0]);jb=new _fi(Mb[1]);l=new _fi(Mb[2]);m=new _fi(Mb[3]);q=new _fi(Jb[0]);r=new _fi(Jb[1]);s=new _fi(a.r[0]);t=new _fi(a.r[1]);kb=Kfi(Qfi(Kfi(l,Rfi(ib)),Kfi(l,Rfi(ib))),Qfi(Kfi(m,Rfi(jb)),Kfi(m,Rfi(jb))));G=Kfi(Qfi(Kfi(q,Rfi(ib)),Kfi(q,Rfi(ib))),Qfi(Kfi(r,Rfi(jb)),Kfi(r,Rfi(jb))));a.q[0]=Kfi(Qfi(kb,Kfi(q,Rfi(ib))),Qfi(Kfi(ib,Rfi(s)),G));a.q[1]=Kfi(Qfi(kb,Kfi(r,Rfi(jb))),Qfi(Kfi(jb,Rfi(t)),G));return a.q}else if(c.Tu()){!!ywj&&zwj(ywj,(Rwj(),Kwj),'mirroring line about circle not implemented');throw Btc(new Dei)}else if(c.Hu()&&c.zb==4){C=c;$=f;Nb=Zzh(C);Rb=Zzh($);if(a.r==null){a.r=me(ekb,m4n,52,4,0,1);a.r[0]=new Bgi(b.rm());a.r[1]=new Bgi(b.rm());a.r[2]=new Bgi(b.rm());a.r[3]=new Bgi(b.rm())}a.q=me(ckb,q4n,28,4,0,1);l=new _fi(Nb[0]);m=new _fi(Nb[1]);q=new _fi(Nb[2]);r=new _fi(Nb[3]);ib=new _fi(Rb[0]);jb=new _fi(Rb[1]);v=new _fi(Rb[2]);w=new _fi(Rb[3]);n=new _fi(a.r[0]);o=new _fi(a.r[1]);s=new _fi(a.r[2]);t=new _fi(a.r[3]);lb=Kfi(Qfi(Kfi(v,Rfi(ib)),Kfi(v,Rfi(ib))),Qfi(Kfi(w,Rfi(jb)),Kfi(w,Rfi(jb))));p=Kfi(Qfi(Kfi(q,Rfi(l)),Kfi(q,Rfi(l))),Qfi(Kfi(r,Rfi(m)),Kfi(r,Rfi(m))));H=Kfi(Kfi(Qfi(Kfi(l,Rfi(ib)),Kfi(l,Rfi(ib))),Qfi(Kfi(m,Rfi(jb)),Kfi(m,Rfi(jb)))),Rfi(p));a.q[0]=Kfi(Qfi(lb,Kfi(l,Rfi(ib))),Qfi(Kfi(ib,Rfi(n)),H));a.q[1]=Kfi(Qfi(lb,Kfi(m,Rfi(jb))),Qfi(Kfi(jb,Rfi(o)),H));I=Kfi(Qfi(Kfi(q,Rfi(ib)),Kfi(q,Rfi(ib))),Qfi(Kfi(r,Rfi(jb)),Kfi(r,Rfi(jb))));a.q[2]=Kfi(Qfi(lb,Kfi(q,Rfi(ib))),Qfi(Kfi(ib,Rfi(s)),I));a.q[3]=Kfi(Qfi(lb,Kfi(r,Rfi(jb))),Qfi(Kfi(jb,Rfi(t)),I));return a.q}else{throw Btc(new Dei)}}else{throw Btc(new Dei)}}\nvar E4n='[LocusEqu] result[',F4n='eliminate([',G4n='],revlist([',H4n='PRECISION = ',I4n='[1]: [1]: _[1]=1 _[2]=',J4n='Cannot parse: ',K4n='Cannot get Botana variables for ',L4n='Recio meets Botana: #',M4n={16:1,29:1,19:1,24:1,240:1,926:1,30:1},N4n={16:1,29:1,19:1,24:1,926:1,30:1},O4n='Cannot compute implicit curve (yet?)',P4n='Benchmarking: ',Q4n='Output from giac: ',R4n='Error on running Giac code',S4n=' kernelPrecision=',T4n=' precisionRatio=',U4n='OpenGeoProver',V4n='PureSymbolic',W4n='STATEMENT IS ',X4n='Cannot get Botana vars during NDG detection',Y4n=' unimplemented',Z4n='Interpreting TRUE as UNKNOWN',$4n='Extra poly 3 for ',_4n='Extra poly 4 for ',a5n='Eliminating system in ',b5n=' variables (',c5n=' dependent)',d5n='gbt polys = ',e5n='gbt vars = ',f5n='Using ',g5n='Possible numerical error in converting formula coefficients to integer',h5n='ggbtmpvar2',i5n=') and ',j5n='Free Point';huc(264,_6m,Zen,_sd);huc(2598,1,ihn);_.rn=function(a,b){var c,d;d=new bjd;c=F4n+a+G4n+b+']))';return Sid(Sid(Sid(Sid(Sid(Sid((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};_.sn=function(a,b,c,d){var e,f;if(!c){return ($Od(),UOd)+'(eliminate(['+a+G4n+b+'])))'}e=''+$tc(d.g);!!ywj&&zwj(ywj,(Rwj(),Kwj),H4n+e);f=($Od(),UOd)+'([[ee:=eliminate(['+a+G4n+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};_.tn=function(a,b,c,d){var e,f,g;e='[[GB:=gbasis(';!!a&&(e+=zEn);e+='['+b+']';if(a){f=fOd(a);e+=',['+f+'])'}g=c+agi(d);Yhd(g.substr(0,1),',')&&(g=(axd(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};_.un=function(a,b,c,d,e){var f,g,h;f='[[ii:=gbasis(';f+=zEn;f+='['+b+']';g=fOd(a);f+=',['+g+'])';h=c+agi(d);f+=',['+h+'],revlex)],('+'ii'+'[0]!=1)&&('+'ii'+'[0]!=-1)][1]';return f};_.An=function(a){var b,c,d,e;b=bOd(a);c=cOd(a);e=me(tf,GXm,124,c.length+1,0,3);e[0]=b;for(d=0;d0){c=yJh(this.r,this.r);b[b.length-1]=Kfi(Qfi(ogi(d[0],d[1],c[0],c[1]),new _fi(new Bgi(this.jd))),Rfi(new Xfi(1)))}mQc(this.n,a,b);return b}throw Btc(new Dei)}else if(this.p.zb==9||this.p.zb==3||this.p.zb==5){if(this.t){p=Gwh(this.t);d=me(ekb,m4n,52,2,0,1);!this.o&&(this.o=new sQc);if(gQc(this.o,a)){d=jQc(this.o,a)}else{d=me(ekb,m4n,52,2,0,1);d[0]=new Bgi(this.jd);d[1]=new Bgi(this.jd);mQc(this.o,a,d)}e=Yzh(this.p);g=Zzh(this.p);f=e.length;b=me(ckb,q4n,28,f+1,0,1);for(k=0;ki&&(i=h[g])}b[0]=i;return b}throw Btc(new Dei)};_.LO=function(a){var b,c,d,e,f,g;if(!!this.i&&!!this.j&&!!this.k&&!!this.n){c=GJh(this.i,a);d=GJh(this.j,a);e=GJh(this.k,a);f=GJh(this.n,a);b=me(uv,Den,151,1,0,1);g=ke(uv,[GXm,Den],[400,151],0,[4,4],2);g[0][0]=ykd(c[0],c[2]);g[0][1]=ykd(c[1],c[2]);g[0][2]=kld(ykd(c[0],c[0]),ykd(c[1],c[1]));g[0][3]=ykd(c[2],c[2]);g[1][0]=ykd(d[0],d[2]);g[1][1]=ykd(d[1],d[2]);g[1][2]=kld(ykd(d[0],d[0]),ykd(d[1],d[1]));g[1][3]=ykd(d[2],d[2]);g[2][0]=ykd(e[0],e[2]);g[2][1]=ykd(e[1],e[2]);g[2][2]=kld(ykd(e[0],e[0]),ykd(e[1],e[1]));g[2][3]=ykd(e[2],e[2]);g[3][0]=ykd(f[0],f[2]);g[3][1]=ykd(f[1],f[2]);g[3][2]=kld(ykd(f[0],f[0]),ykd(f[1],f[1]));g[3][3]=ykd(f[2],f[2]);b[0]=kld(pld(pld(kld(kld(pld(pld(kld(kld(pld(pld(kld(kld(pld(pld(kld(kld(pld(pld(kld(kld(pld(pld(ykd(ykd(ykd(g[0][3],g[1][2]),g[2][1]),g[3][0]),ykd(ykd(ykd(g[0][2],g[1][3]),g[2][1]),g[3][0])),ykd(ykd(ykd(g[0][3],g[1][1]),g[2][2]),g[3][0])),ykd(ykd(ykd(g[0][1],g[1][3]),g[2][2]),g[3][0])),ykd(ykd(ykd(g[0][2],g[1][1]),g[2][3]),g[3][0])),ykd(ykd(ykd(g[0][1],g[1][2]),g[2][3]),g[3][0])),ykd(ykd(ykd(g[0][3],g[1][2]),g[2][0]),g[3][1])),ykd(ykd(ykd(g[0][2],g[1][3]),g[2][0]),g[3][1])),ykd(ykd(ykd(g[0][3],g[1][0]),g[2][2]),g[3][1])),ykd(ykd(ykd(g[0][0],g[1][3]),g[2][2]),g[3][1])),ykd(ykd(ykd(g[0][2],g[1][0]),g[2][3]),g[3][1])),ykd(ykd(ykd(g[0][0],g[1][2]),g[2][3]),g[3][1])),ykd(ykd(ykd(g[0][3],g[1][1]),g[2][0]),g[3][2])),ykd(ykd(ykd(g[0][1],g[1][3]),g[2][0]),g[3][2])),ykd(ykd(ykd(g[0][3],g[1][0]),g[2][1]),g[3][2])),ykd(ykd(ykd(g[0][0],g[1][3]),g[2][1]),g[3][2])),ykd(ykd(ykd(g[0][1],g[1][0]),g[2][3]),g[3][2])),ykd(ykd(ykd(g[0][0],g[1][1]),g[2][3]),g[3][2])),ykd(ykd(ykd(g[0][2],g[1][1]),g[2][0]),g[3][3])),ykd(ykd(ykd(g[0][1],g[1][2]),g[2][0]),g[3][3])),ykd(ykd(ykd(g[0][2],g[1][0]),g[2][1]),g[3][3])),ykd(ykd(ykd(g[0][0],g[1][2]),g[2][1]),g[3][3])),ykd(ykd(ykd(g[0][1],g[1][0]),g[2][2]),g[3][3])),ykd(ykd(ykd(g[0][0],g[1][1]),g[2][2]),g[3][3]));return b}throw Btc(new Dei)};_.MO=function(a){if(!!this.i&&!!this.j&&!!this.k&&!!this.n){HJh(this.i,a);HJh(this.j,a);HJh(this.k,a);HJh(this.n,a);return}throw Btc(new Dei)};_.NO=function(){var a,b,c,d,e;if(this.p!=null){return this.p}if(!!this.i&&!!this.j&&!!this.k&&!!this.n){a=NJh(this.i);b=NJh(this.j);c=NJh(this.k);d=NJh(this.n);this.p=me(ckb,q4n,28,1,0,1);e=ke(ckb,[GXm,q4n],[93,28],0,[4,4],2);e[0][0]=Qfi(a[0],a[2]);e[0][1]=Qfi(a[1],a[2]);e[0][2]=Kfi(Qfi(a[0],a[0]),Qfi(a[1],a[1]));e[0][3]=Qfi(a[2],a[2]);e[1][0]=Qfi(b[0],b[2]);e[1][1]=Qfi(b[1],b[2]);e[1][2]=Kfi(Qfi(b[0],b[0]),Qfi(b[1],b[1]));e[1][3]=Qfi(b[2],b[2]);e[2][0]=Qfi(c[0],c[2]);e[2][1]=Qfi(c[1],c[2]);e[2][2]=Kfi(Qfi(c[0],c[0]),Qfi(c[1],c[1]));e[2][3]=Qfi(c[2],c[2]);e[3][0]=Qfi(d[0],d[2]);e[3][1]=Qfi(d[1],d[2]);e[3][2]=Kfi(Qfi(d[0],d[0]),Qfi(d[1],d[1]));e[3][3]=Qfi(d[2],d[2]);this.p[0]=Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Kfi(Qfi(e[0][3],Qfi(e[1][2],Qfi(e[2][1],e[3][0]))),Rfi(Qfi(Qfi(Qfi(e[0][2],e[1][3]),e[2][1]),e[3][0]))),Rfi(Qfi(Qfi(Qfi(e[0][3],e[1][1]),e[2][2]),e[3][0]))),Qfi(Qfi(Qfi(e[0][1],e[1][3]),e[2][2]),e[3][0])),Qfi(Qfi(Qfi(e[0][2],e[1][1]),e[2][3]),e[3][0])),Rfi(Qfi(Qfi(Qfi(e[0][1],e[1][2]),e[2][3]),e[3][0]))),Rfi(Qfi(Qfi(Qfi(e[0][3],e[1][2]),e[2][0]),e[3][1]))),Qfi(Qfi(Qfi(e[0][2],e[1][3]),e[2][0]),e[3][1])),Qfi(Qfi(Qfi(e[0][3],e[1][0]),e[2][2]),e[3][1])),Rfi(Qfi(Qfi(Qfi(e[0][0],e[1][3]),e[2][2]),e[3][1]))),Rfi(Qfi(Qfi(Qfi(e[0][2],e[1][0]),e[2][3]),e[3][1]))),Qfi(Qfi(Qfi(e[0][0],e[1][2]),e[2][3]),e[3][1])),Qfi(Qfi(Qfi(e[0][3],e[1][1]),e[2][0]),e[3][2])),Rfi(Qfi(Qfi(Qfi(e[0][1],e[1][3]),e[2][0]),e[3][2]))),Rfi(Qfi(Qfi(Qfi(e[0][3],e[1][0]),e[2][1]),e[3][2]))),Qfi(Qfi(Qfi(e[0][0],e[1][3]),e[2][1]),e[3][2])),Qfi(Qfi(Qfi(e[0][1],e[1][0]),e[2][3]),e[3][2])),Rfi(Qfi(Qfi(Qfi(e[0][0],e[1][1]),e[2][3]),e[3][2]))),Rfi(Qfi(Qfi(Qfi(e[0][2],e[1][1]),e[2][0]),e[3][3]))),Qfi(Qfi(Qfi(e[0][1],e[1][2]),e[2][0]),e[3][3])),Qfi(Qfi(Qfi(e[0][2],e[1][0]),e[2][1]),e[3][3])),Rfi(Qfi(Qfi(Qfi(e[0][0],e[1][2]),e[2][1]),e[3][3]))),Rfi(Qfi(Qfi(Qfi(e[0][1],e[1][0]),e[2][2]),e[3][3]))),Qfi(Qfi(Qfi(e[0][0],e[1][1]),e[2][2]),e[3][3]));return this.p}throw Btc(new Dei)};_.OO=tqo;_.hn=function(){tdi(this)};var Cjb=vgd(2900);huc(1226,19,{16:1,29:1,19:1,24:1,240:1,926:1,30:1,1226:1},ydi,zdi);_.Im=function(){return Yqh(),Rgh};_.aj=Hqo;_.Em=function(){vdi(this)};_.D_=function(){return wdi(this)};_.KO=function(a){var b,c,d;if(ff(this.i,118)||ff(this.j,118)){throw Btc(new Dei)}if(!!this.i&&!!this.j){if(ff(this.i,41)&&ff(this.j,41)||ff(this.i,73)&&ff(this.j,73)||ff(this.i,181)&&ff(this.j,181)){c=this.i.KO(a);d=this.j.KO(a);b=me(vf,CXm,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 Btc(new Dei)};_.LO=function(a){var b,c,d;if(ff(this.i,118)||ff(this.j,118)){throw Btc(new Dei)}if(!!this.i&&!!this.j){if(ff(this.i,41)&&ff(this.j,41)||ff(this.i,73)&&ff(this.j,73)||ff(this.i,181)&&ff(this.j,181)){c=this.i.LO(a);d=this.j.LO(a);b=me(uv,Den,151,1,0,1);b[0]=kld(kkd(pld(ykd(c[0],d[2]),ykd(d[0],c[2]))),kkd(pld(ykd(c[1],d[2]),ykd(d[1],c[2]))));return b}}throw Btc(new Dei)};_.MO=function(a){if(ff(this.i,118)||ff(this.j,118)){throw Btc(new Dei)}if(!!this.i&&!!this.j){if(ff(this.i,41)&&ff(this.j,41)||ff(this.i,73)&&ff(this.j,73)||ff(this.i,181)&&ff(this.j,181)){this.i.MO(a);this.j.MO(a);return}}throw Btc(new Dei)};_.NO=function(){var a,b;Bwj(this.n);if(this.n!=null){return this.n}if(ff(this.i,118)||ff(this.j,118)){throw Btc(new Dei)}if(!!this.i&&!!this.j){if(ff(this.i,41)&&ff(this.j,41)||ff(this.i,73)&&ff(this.j,73)||ff(this.i,181)&&ff(this.j,181)){a=this.i.NO();b=this.j.NO();this.n=me(ckb,q4n,28,2,0,1);this.n[0]=Kfi(Qfi(a[0],b[2]),Rfi(Qfi(b[0],a[2])));this.n[1]=Kfi(Qfi(a[1],b[2]),Rfi(Qfi(b[1],a[2])));return this.n}}throw Btc(new Dei)};_.OO=tqo;_.hn=function(){xdi(this)};var Djb=vgd(1226);huc(2131,19,N4n,Gdi,Hdi);_.Im=function(){return Yqh(),Sgh};_.Em=function(){Ddi(this)};_.D_=function(){return Edi(this)};_.hn=function(){xdi(this)};var Adi;var Fjb=vgd(2131);huc(7430,1,Ijn,Idi);_.Aq=function(a){var b,c;if(ff(a,40)){b=a.s;if(b==Bbn||b-yfn8}return false};var Ejb=vgd(7430);huc(1704,19,M4n,Ldi,Mdi);_.Im=function(){return Yqh(),Tgh};_.aj=Hqo;_.Em=function(){Uxh(this.k,cxh(this.i,this.j))};_.D_=function(){return Jdi(this)};_.KO=function(a){var b,c,d;if(!!this.i&&!!this.j){c=Hwh(this.i,a);d=Hwh(this.j,a);b=me(vf,CXm,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[1],c[1]+d[0]);return b}throw Btc(new Dei)};_.LO=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.eb[0].LO(a);d=this.eb[1].LO(a);b=me(uv,Den,151,1,0,1);b[0]=pld(ykd(c[0],d[1]),ykd(c[1],d[0]));return b}throw Btc(new Dei)};_.MO=Iqo;_.NO=function(){var a,b;Bwj(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.eb[0].NO();b=this.eb[1].NO();this.n=me(ckb,q4n,28,1,0,1);this.n[0]=Kfi(Qfi(a[0],b[1]),Rfi(Qfi(a[1],b[0])));return this.n}throw Btc(new Dei)};_.OO=tqo;_.hn=function(){xdi(this)};var Gjb=vgd(1704);huc(1705,19,M4n,Pdi,Qdi);_.Im=function(){return Yqh(),Ugh};_.aj=Hqo;_.Em=function(){Uxh(this.k,dxh(this.i,this.j))};_.D_=function(){return Ndi(this)};_.KO=function(a){var b,c,d;if(!!this.i&&!!this.j){c=Hwh(this.i,a);d=Hwh(this.j,a);b=me(vf,CXm,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[0],c[1]+d[1]);return b}throw Btc(new Dei)};_.LO=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.eb[0].LO(a);d=this.eb[1].LO(a);b=me(uv,Den,151,1,0,1);b[0]=kld(ykd(c[0],d[0]),ykd(c[1],d[1]));return b}throw Btc(new Dei)};_.MO=Iqo;_.NO=function(){var a,b;Bwj(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.eb[0].NO();b=this.eb[1].NO();this.n=me(ckb,q4n,28,1,0,1);this.n[0]=Kfi(Qfi(a[0],b[0]),Qfi(a[1],b[1]));return this.n}throw Btc(new Dei)};_.OO=tqo;_.hn=function(){xdi(this)};var Hjb=vgd(1705);huc(1920,19,{16:1,29:1,19:1,24:1,30:1,246:1,1920:1},Wdi);_.Im=function(){return Yqh(),Uih};_.Em=function(){var a;if(!vNd(this.jd.VK()).xi()){this.i=null;this.n=0;return}a=this.i;Vdi(this);if(a==null||!Yhd(a,this.i)){Gwj(a+TKn+this.i);Rdi(this)}};_.w2=function(a,b){return Udi(this,a,b)};_.hn=function(){Vdi(this)};_.n=0;var Ijb=vgd(1920);huc(7915,19,N4n,_di);_.Im=function(){return null};_.Em=function(){this.n.o=false};_.D_=function(){return Ydi(this)};_.hn=function(){$di(this)};var Jjb=vgd(7915);huc(2899,19,N4n,cei);_.Im=function(){return Yqh(),Rkh};_.Em=function(){aei(this)};_.D_=function(){var a,b,c,d,e,f;if(this.g!=null){return this.g}d=this.i;a=this.j;e=Gwh(d);b=Zzh(a);if(a.zb==4){c=me(ekb,m4n,52,2,0,1);c[0]=new Bgi(this.jd);c[1]=new Bgi(this.jd);this.g=ke(ckb,[GXm,q4n],[93,28],0,[1,3],2);this.g[0][0]=cgi(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=lgi(c[0],c[1],e[0],e[1],c[0],c[1],b[0],b[1]);this.g[0][2]=fgi(c[0],c[1],b[0],b[1],b[2],b[3]);return this.g}if(a.zb==9){c=me(ekb,m4n,52,2,0,1);c[0]=new Bgi(this.jd);c[1]=new Bgi(this.jd);f=me(ekb,m4n,52,2,0,1);f[0]=new Bgi(this.jd);f[1]=new Bgi(this.jd);this.g=ke(ckb,[GXm,q4n],[93,28],0,[1,5],2);this.g[0][0]=cgi(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=lgi(c[0],c[1],e[0],e[1],c[0],c[1],b[8],b[9]);this.g[0][2]=Kfi(Kfi(Qfi(new _fi(c[0]),new Xfi(2)),Rfi(new _fi(f[0]))),Rfi(new _fi(b[8])));this.g[0][3]=Kfi(Kfi(Qfi(new _fi(c[1]),new Xfi(2)),Rfi(new _fi(f[1]))),Rfi(new _fi(b[9])));this.g[0][4]=cgi(f[0],f[1],b[4],b[5],b[6],b[7]);return this.g}throw Btc(new Dei)};_.hn=function(){xdi(this)};var Kjb=vgd(2899);huc(1275,19,{16:1,29:1,19:1,24:1,30:1,246:1,1275:1},jei,kei);_.Im=function(){return Yqh(),nlh};_.Em=function(){var a;if(!vNd(this.jd.VK()).xi()){!!ywj&&zwj(ywj,(Rwj(),Kwj),'CAS is not yet loaded => fingerprint set to null');this.i=null;this.p=0;return}a=this.i;iei(this);if(a==null||!Yhd(a,this.i)){Bwj(a+TKn+this.i);eei(this,!!this.k)}};_.w2=function(a,b){return hei(this,a,b)};_.hn=function(){iei(this)};_.p=0;var Ljb=vgd(1275);huc(1911,19,{16:1,29:1,19:1,24:1,30:1,246:1,1911:1},pei);_.Im=function(){return Yqh(),Smh};_.Em=function(){mei(this)};_.hn=function(){oei(this)};var Njb=vgd(1911);huc(7593,19,l4n,tei);_.Im=function(){return Yqh(),Tmh};_.Em=function(){qei(this)};_.hn=function(){sei(this)};_.j=false;var Mjb=vgd(7593);huc(b6m,1,{},xei);_.Zi=function(a){gqd(this,a)};_._i=function(){return vei(this)};_.$i=function(){return !this.g};_.aj=function(){};_.g=false;_.j=0;_.n=0;var Ojb=vgd(b6m);var yei,zei;huc(2986,1,{},Cei);var Pjb=vgd(2986);huc(79,38,{3:1,38:1,68:1,79:1},Dei);var Qjb=vgd(79);huc(917,1,{},Iei);var Rjb=vgd(917);var Jei;huc(2172,1,{},Zei);_.j=false;_.s=false;_.t=-1;_.A=null;var Sjb=vgd(2172);huc(2977,1,{},bfi);var Ujb=vgd(2977);huc(1728,F2m,{},dfi);var Tjb=vgd(1728);huc(2981,F2m,{},ffi);var Vjb=vgd(2981);huc(1729,F2m,{},qfi);_.j=false;_.k=0;_.n=false;_.o=false;var Xjb=vgd(1729);huc(1433,F2m,{},zfi);_.i=0;var Yjb=vgd(1433);huc(2979,1,{},Cfi);var Zjb=vgd(2979);huc(2982,F2m,{},Efi);var $jb=vgd(2982);huc(2980,F2m,{},Gfi);var _jb=vgd(2980);huc(2978,F2m,{},Jfi);var akb=vgd(2978);huc(28,1,{16:1,28:1},Wfi,Xfi,Yfi,Zfi,$fi,_fi);_.Ye=function(a){return Lfi(this,a)};_.Fe=function(a){return Mfi(this,a)};_.Ge=function(){return pod(new etd(this.g))};_.He=function(){return Ufi(this)};var ckb=vgd(28);huc(712,1,{16:1,712:1},ugi,vgi,wgi,xgi);_.Ye=function(a){return pgi(this,a)};_.Fe=function(a){return qgi(this,a)};_.Ge=function(){if(this.g.o==0){return 0}return smd(Hsd(this.g)).g>>smd(Isd(this.g)).g};_.He=function(){var a,b,c,d,e;e=new djd('');c=(new etd(this.g)).i.Ej();while(c.$i()){a=c._i();b=a.Ji();e.g+='*';e.g+=''+b;d=a.Ki().g;if(d>1){e.g+='^';e.g+=d}}if(e.g.length>0){return oid(e.g,1)}return ''};var dkb=vgd(712);huc(52,1,{16:1,52:1},Bgi,Cgi);_.Ye=function(a){return ygi(this,a)};_.Fe=function(a){return zgi(this,a)};_.Ge=function(){return this.g};_.He=function(){return Thd('v',''+this.g)};_.g=0;var ekb=vgd(52);huc(a6m,38,{3:1,38:1,68:1,1098:1},Egi,Fgi);var Dgi=CZm;var fkb=vgd(a6m);var Ugi;huc(7899,1,{},Sgi);_.j=0;_.n=-1;_.q=0;var Igi;var hkb=vgd(7899);huc(7911,1,{},lhi);_.g=0;_.j=0;_.k=0;_.n=0;_.o=0;var Wgi,Xgi,Ygi,Zgi;var gkb=vgd(7911);huc(2987,1,{},xhi);_.g=0;_.n=-1;_.o=0;_.p=0;_.q=0;_.s=1;_.t=0;_.u=false;_.v=false;_.A=1;_.B=0;var ikb=vgd(2987);huc(7903,1,{},zhi);_.g=0;_.i=0;var jkb=vgd(7903);huc(2988,1,g$m,Ahi,Bhi);_.He=function(){return this.j};_.g=0;_.i=0;_.k=0;var lkb=vgd(2988);huc(2990,57,eXm,Dhi);_.Oe=function(){return this.p};var kkb=vgd(2990);huc(798,1,{},dVi);_.g=null;_.i='Auto';_.j='Wu';_.k=true;_.n=4;_.o=4;var cVi;var dvb=vgd(798);huc(7799,1,{});_.p=false;var hCb=vgd(7799);huc(773,1,{773:1},mrj);_.Fe=function(a){if(a==null){return false}if(a===this){return true}if(Wb(a)!=eCb){return false}return jrj(this)==Xb(a)};_.Ge=function(){return jrj(this)};_.j=1;var eCb=vgd(773);huc(1503,1,{},orj);_.Gi=function(a,b){return Rhd(a.tc,b.tc)};_.Fe=Jqo;_.Hi=Kqo;var dCb=vgd(1503);huc(943,23,{3:1,16:1,23:1,943:1},wrj);var prj,qrj,rrj,srj,trj,urj;var fCb=wgd(943,Xu,xrj);huc(823,23,{3:1,16:1,23:1,823:1},Hrj);var yrj,zrj,Arj,Brj,Crj,Drj,Erj,Frj;var gCb=wgd(823,Xu,Irj);var Orj='',Prj='',Qrj,Rrj=0,Srj,Trj,Urj,Vrj;huc(7910,8077,{},lhm);var Dgc=vgd(7910);huc(5054,1,WLn);_.Se=function(){!!ywj&&zwj(ywj,(Rwj(),Kwj),_Qn);Msf=new kgh;Vsf(this.g);oim(cQl(this.g.i))};huc(1720,7799,{},$sm);var ojc=vgd(1720);MWm(Tc)(9);\n//# sourceURL=web3d-9.js\n")