$wnd.web3d.runAsyncCallback9("function a5g(){}\nfunction i5g(){}\nfunction tgh(){}\nfunction jLh(){}\nfunction kLh(){}\nfunction lLh(){}\nfunction mLh(){}\nfunction nLh(){}\nfunction oLh(){}\nfunction pLh(){}\nfunction qLh(){}\nfunction xdi(){}\nfunction Rdi(){}\nfunction Rei(){}\nfunction kfi(){}\nfunction mfi(){}\nfunction ofi(){}\nfunction Lfi(){}\nfunction Nfi(){}\nfunction Pfi(){}\nfunction Sfi(){}\nfunction Jhi(){}\nfunction oVi(){}\nfunction Arj(){}\nfunction Crj(){}\nfunction Ahm(){}\nfunction Nei(a,b){a.a=b}\nfunction Oei(a,b){a.b=b}\nfunction Pei(a,b){a.c=b}\nfunction Qei(a,b){a.d=b}\nfunction vrj(a,b){a.i=b}\nfunction lTg(a){this.a=a}\nfunction hgi(a){this.a=a}\nfunction Egi(a){this.a=a}\nfunction dgi(){this.a=new dtd}\nfunction Dgi(){this.a=new dtd}\nfunction Ngi(){ic.call(this)}\nfunction hro(){zMd(this)}\nfunction cro(a){return this.e}\nfunction Xqo(a){return this.d}\nfunction Yqo(a){return this.b}\nfunction Zqo(a){return this.c}\nfunction Wqo(a){return null}\nfunction ero(a){return a.VW()}\nfunction gro(a){return a.Vr()}\nfunction Bhi(a){return a.b[a.r]}\nfunction Chi(a){return a.d[a.r]}\nfunction Ehi(a){return a.d[a.e]}\nfunction Dhi(a){return a.b[a.e]}\nfunction wgi(a){return Zfi(a,a)}\nfunction jro(a){return this===a}\nfunction Lhi(a){mc.call(this,a)}\nfunction syg(a){qpf.call(this,a)}\nfunction tyg(a){qpf.call(this,a)}\nfunction uyg(a){qpf.call(this,a)}\nfunction vyg(a){qpf.call(this,a)}\nfunction wyg(a){qpf.call(this,a)}\nfunction xyg(a){qpf.call(this,a)}\nfunction yyg(a){qpf.call(this,a)}\nfunction $yg(a){qpf.call(this,a)}\nfunction tzg(a){qpf.call(this,a)}\nfunction zzg(a){qpf.call(this,a)}\nfunction Kzg(a){qpf.call(this,a)}\nfunction Mzg(a){qpf.call(this,a)}\nfunction Krj(a,b){Cvc.call(this,a,b)}\nfunction Vrj(a,b){Cvc.call(this,a,b)}\nfunction Khi(a,b){this.d=a;this.c=b}\nfunction mei(a){a.d=null;a.g=0}\nfunction Kfi(a,b){return qQc(a.b,b)}\nfunction Jgi(a,b){tQc(a.c,khd(a.a),b)}\nfunction lsj(a,b){bsj+=a+',';asj+=b+','}\nfunction shi(a,b,c){a.c=c;a.d=b;return b+1}\nfunction Ihi(a){this.c=a;this.b=a.length}\nfunction fgi(a){ggi.call(this,a,new Dgi)}\nfunction g5g(){g5g=muc;f5g=new i5g}\nfunction _4g(){_4g=muc;$4g=new a5g}\nfunction Kdi(){Kdi=muc;Jdi=new btm('',8)}\nfunction Vqo(){return new lTg(this)}\nfunction kro(){return new mpd(this)}\nfunction exh(a){return ff(a,694)||!a.yb}\nfunction dro(a){return Enj(),a.Lu()?Cnj:Bnj}\nfunction Zhd(a,b){return _wd(a),a+(_wd(b),b)}\nfunction Dei(a){return a==null?null:new jjd(a)}\nfunction fro(a){return ECf(),me(Yu,cnn,366,a,7,1)}\nfunction Rwj(a){!!Mwj&&Nwj(Mwj,(dxj(),_wj),a)}\nfunction Ogi(a,b,c){jc.call(this,Qgi(a,b,c))}\nfunction Lgi(a){Kgi.call(this,a.km());this.b=a}\nfunction zfi(){this.a=new A9c;this.b=new snd}\nfunction Ifi(){this.a=new A9c;this.c=new snd}\nfunction Kgi(a){this.c=new zQc;this.a=a.k.rc++}\nfunction Fgi(a){this.a=new dtd;Wsd(this.a,a,khd(1))}\nfunction Ggi(a,b){this.a=new dtd;Wsd(this.a,a,khd(b))}\nfunction Ahi(a,b){a.i+=b;(a.e-=b)<0&&(a.e+=a.f)}\nfunction h5g(a,b){var c;c=b.mc;c!=null&&Btd(a.a,c)}\nfunction zCg(a){!a.b&&(a.b=new zfi);return a.b}\nfunction oHg(a){if(a.j){return 1}return 0}\nfunction _Fg(a){if(a.v){return a.v.r.length}return 0}\nfunction dGg(a){if(a.v){return fnd(a.v,0)}return null}\nfunction vhi(a){var b;a.r=-1;b=Fhi(a);a.r=a.e;return b}\nfunction ihi(a){var b;a.f=p$m;for(b=12;b-->0;)a.g[b]=qXm}\nfunction lhi(a,b){if(a.g[b]!=a.f){a.i[a.e++]=b;a.g[b]=a.f}}\nfunction khi(a,b){do{a.i[a.e++]=dhi[b]}while(b++!=1)}\nfunction Hdi(a,b,c,d){Idi.call(this,a,c,d);P_d(this.d,b)}\nfunction Udi(a,b,c,d){Vdi.call(this,a,c,d);P_d(this.d,b)}\nfunction Ydi(a,b,c,d){Zdi.call(this,a,c,d);P_d(this.d,b)}\nfunction Pdi(a,b,c,d){Kdi();Qdi.call(this,a,c,d);P_d(this.d,b)}\nfunction Lei(a,b,c){this.b=new zQc;this.c=a;this.d=b;this.a=c}\nfunction egi(a){ggi.call(this,new Qkd(''+cuc(a)),new Dgi)}\nfunction ftd(a){etd.call(this,(_wd(a),ipd(a.d)));iQc(this,a)}\nfunction ggi(a,b){dgi.call(this);a!=(pkd(),okd)&&Wsd(this.a,b,a)}\nfunction igi(a){dgi.call(this);Wsd(this.a,new Fgi(a),(pkd(),kkd))}\nfunction Mei(){jc.call(this,'No symbolic parameters available')}\nfunction Wfi(a){if(a.a.f>1){return null}return xmd(Nsd(a.a)).e}\nfunction Igi(a,b){if(ff(b,52)){return a.a==b.a}return nf(a)===nf(b)}\nfunction Vfi(a,b){if(ff(b,28)){return Ufi(a,b)==0}return nf(a)===nf(b)}\nfunction Vwh(a,b){if(ff(a.yb,242)){return a.yb.DO(b)}return null}\nfunction gAh(a){if(ff(a.yb,161)){return a.yb.VL(a)}return null}\nfunction yuf(a){if(ff(a.yb,161)){return a.yb.UL(a)}return null}\nfunction fAh(a){if(ff(a.yb,161)){return a.yb.UL(a)}throw Ftc(new Mei)}\nfunction $wh(a){if(ff(a.yb,242)){return a.yb.FO()}throw Ftc(new Mei)}\nfunction Qwh(a,b){if(ff(a.yb,242)){return a.yb.CO(b)}throw Ftc(new Mei)}\nfunction Wwh(a,b){if(ff(a.yb,242)){a.yb.EO(b);return}throw Ftc(new Mei)}\nfunction $gi(a,b){var c,d;d=Ugi(a,6);if(c=rQc(b,d.c))return c;throw Ftc(new Ngi)}\nfunction Hgi(a,b){var c;c=b.a;if(a.ac){return -1}return 0}\nfunction psj(a){var b;b=a.mc;if(b!=null){return '$'+b+'$'}return null}\nfunction trj(a,b){if(!a.f||b!=(Jrj(),Irj)){return b}return a.f}\nfunction jgi(a){if(a==null||a.length==0)return '';return ','+a}\nfunction zgi(a,b){if(ff(b,712)){return ygi(a,b)==0}return nf(a)===nf(b)}\nfunction qkd(a){return a.e<0?a.e==0?a:new Okd(-a.e,a.d,a.a):a}\nfunction xzg(a,b,c,d){var e,f;e=new sei(a.e,c,d);f=e.c;P_d(f,b);return f}\nfunction $qo(a){if(this.c!=null){return this.c}this.c=mTg(this.Z);return this.c}\nfunction bro(a){if(!!this.a&&!!this.b){QJh(this.a,a);QJh(this.b,a);return}throw Ftc(new Mei)}\nfunction iro(a){if(!!this.b&&!!this.c){Wwh(this.b,a);Wwh(this.c,a);return}throw Ftc(new Mei)}\nfunction Idi(a,b,c){TMd.call(this,a);this.b=b;this.c=c;this.d=new fyh(a);Gdi(this);Edi(this)}\nfunction Qdi(a,b,c){Kdi();TMd.call(this,a);this.b=b;this.c=c;this.d=new fyh(a);Gdi(this);Mdi(this)}\nfunction iei(a,b,c){TMd.call(this,a);this.d=b;this.c=c;this.e=new fyh(a);hei(this);this.e.f=false}\nfunction $ei(a,b,c){var d,e,f,g;tQc(a.g,b,c);for(e=c,f=0,g=e.length;f=a.r?Iid(a.c,a.r,a.e-a.r+1):Iid(a.c,a.r,a.f-a.r)+Iid(a.c,0,a.e+1)}\nfunction Lrj(){Jrj();return pe(ie(kCb,1),tYm,944,0,[Frj,Grj,Hrj,Drj,Irj,Erj])}\nfunction Wrj(){Urj();return pe(ie(lCb,1),tYm,823,0,[Trj,Nrj,Rrj,Qrj,Srj,Mrj,Prj,Orj])}\nfunction Sgi(){Sgi=muc;Rgi=pe(ie(vf,1),VXm,5,15,[256,512,Z2m,6144,6144,B$m,_mn,_mn,96,Men])}\nfunction uhi(a){hhi();mjd();this.g=me(vf,VXm,5,12,15,1);this.i=me(vf,VXm,5,24,15,1);new hjd;this.b=a}\nfunction Qfi(a,b){if(a.j!=null){return}a.j=me(hkb,G4n,52,2,0,1);a.j[0]=new Kgi(b);a.j[1]=new Kgi(b)}\nfunction Yfi(a){if(a.a.f>1){return false}if(zgi(ymd(Nsd(a.a)),new Dgi)){return true}return false}\nfunction Eei(a){var b,c;c=new A9c;for(b=0;b0)return uid(c.a,1);return ''}\nfunction Fhi(a){var b;if(a.i>0){--a.i;++a.e==a.f&&(a.e=0);return a.c[a.e]}++a.e>=a.n&&xhi(a);b=a.c[a.e];zhi(a,b);return b}\nfunction zei(a){var b;if(!BNd(a.bd.NK()).qi()){a.a=null;return}b=a.a;Bei(a);if(b==null||!cid(b,a.a)){Uwj(b+kLn+a.a);Aei(a)}}\nfunction Ugi(a,b){var c;(c=a.j).e?(a.j=a.j.e):(a.j=a.j.e=jhi(a.k));a.i=-1;if(a.j.d==b){++a.c;return a.j}a.j=c;a.e=b;throw Ftc(Tgi(a))}\nfunction aro(a){var b,c;if(!!this.a&&!!this.b){b=PJh(this.a,a);c=PJh(this.b,a);if(b!=null&&c!=null){return qTg(b,c)}}throw Ftc(new Mei)}\nfunction srj(a){if(a.f){if(a.f==(Jrj(),Frj)||a.f==Grj||a.f==Hrj){return Enj(),Cnj}if(a.f==Drj){return Enj(),Bnj}}return Enj(),Dnj}\nfunction Mxh(a,b,c){Gwh();var d;d=a.Z*b.$*c._+b.Z*c.$*a._+c.Z*a.$*b._-c.Z*b.$*a._-b.Z*a.$*c._-a.Z*c.$*b._;return Ylnd?d:f;f>g&&(f=g);eid(a.c,a.a,a.a+f,b,c);a.a+=f;return f}\nfunction mhi(a){var b,c,d,e,f;e=ehi[a.c];d=e==null?yhi(a.b):e;c=Chi(a.b);b=Bhi(a.b);Ehi(a.b);Dhi(a.b);f=new Khi(a.c,d);f.b=c;f.a=b;return f}\nfunction Agi(a){var b,c,d,e,f;f=new A9c;e=(c=(new Bmd(a.a)).a.Ug().b.xj(),new Cmd(c));while(e.a.Ti()){d=(b=e.a.Ui(),b.Ci());tQc(f.a,d,f)}return f}\nfunction Xfi(a){var b,c,d,e,f;f=new A9c;d=(c=(new Bmd(a.a)).a.Ug().b.xj(),new Cmd(c));while(d.a.Ti()){e=(b=d.a.Ui(),b.Ci());m9c(f,Agi(e))}return f}\nfunction qgi(a){var b,c,d,e,f,g;f=new A9c;for(e=(c=(new lmd(a.a)).a.Ug().lf(),new mmd(c));e.a.Ti();){d=(b=e.a.Ui(),b.Ci());g=Xfi(d);m9c(f,g)}return f}\nfunction $fi(a){var b,c,d,e;d=new dtd;c=(new ktd(a.a)).b.xj();while(c.Ti()){b=c.Ui();e=b.Ci();Wsd(d,e,vld((pkd(),okd),b.Di()))}return new hgi(d)}\nfunction Lzg(a,b,c,d){var e,f;if(ff(b,375)){e=new Cei(a.e,b,c);P_d(e.b,Ktf(d));f=pe(ie(Zdb,1),fhn,15,0,[e.b]);return f}throw Ftc(Wof(a,d.i,b))}\nfunction dfi(a,b){var c,d,e,f,g;if(yQc(a.g)==0){return}g=qQc(a.g,b);if(g==null){return}for(d=g,e=0,f=d.length;e5||e<0.2||c){Pwj('myPrecision='+cuc(a.e)+k5n+cuc(d)+l5n+e);a.b=null;a.e=d;return true}return false}\nfunction ntm(){this.a=(Urj(),Mrj);this.b=new A9c;this.c=new snd;bnd(this.c,Trj);bnd(this.c,Nrj);bnd(this.c,Rrj);this.d=new snd;bnd(this.d,Nrj);bnd(this.d,Rrj)}\nfunction _ei(a,b){var c;if(y9c(a.o,b)){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'Ignoring existing poly '+b);return}x9c(a.o,b);c=yQc(a.o.a);Pwj('Adding poly #'+c+tXm+cgi(b))}\nfunction phi(b){try{b.a=Fhi(b.b)}catch(a){a=Etc(a);if(ff(a,325)){thi(0,128);return 1}else throw Ftc(a)}if(b.a==49){return qhi(b,128)}return nhi(b,thi(0,128),1)}\nfunction Ddi(a,b,c,d,e,f){TMd.call(this,a);this.b=c;this.c=d;this.d=e;this.e=f;this.f=new fyh(a);Cdi(this);byh(this.f,YKh(this.b,this.c,this.d,this.e));P_d(this.f,b)}\nfunction oei(a,b){var c;c=Yei(b?a.d:a.e,a.f,b,a);if(!c){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'Cannot compute locus equation (yet?)');qei(a,a.bd,true);return null}return pei(a,c)}\nfunction Wei(a){var b,c,d,e,f;d=new snd;for(f=(c=(new Bmd(fZd(a).b)).a.Ug().b.xj(),new Cmd(c));f.a.Ti();){e=(b=f.a.Ui(),b.Ci());e.Ru()&&!e.yb&&(Hwd(d.r,e),true)}return d}\nfunction _gi(a){var b;this.f=me(vf,VXm,5,10,15,1);this.a=new snd;this.d=new Ghi(a);this.k=new uhi(this.d);this.j=new Jhi;this.i=-1;this.c=0;for(b=0;b<10;b++)this.f[b]=-1}\nfunction zuf(a,b){if(ff(a.yb,161)){return a.yb.VL(a)}if(!a.yb){if(a.j==null){a.j=me(hkb,G4n,52,1,0,1);a.j[0]=new Kgi(a.bd);Pwj('Variable '+b.Xs()+'('+a.j[0]+')')}}return a.j}\nfunction pTg(a,b){var c;c=me(vf,VXm,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 qTg(a,b){var c;c=me(wv,Xen,151,3,0,1);c[0]=vld(Ekd(a[1],b[2]),Ekd(a[2],b[1]));c[1]=vld(Ekd(a[2],b[0]),Ekd(a[0],b[2]));c[2]=vld(Ekd(a[0],b[1]),Ekd(a[1],b[0]));return rTg(c)}\nfunction mgi(a,b){var c;c=me(fkb,K4n,28,3,0,1);c[0]=Tfi(Zfi(a[1],b[2]),$fi(Zfi(a[2],b[1])));c[1]=Tfi(Zfi(a[2],b[0]),$fi(Zfi(a[0],b[2])));c[2]=Tfi(Zfi(a[0],b[1]),$fi(Zfi(a[1],b[0])));return c}\nfunction chi(){chi=muc;bhi=pe(ie(sv,1),EXm,2,6,[ZZm,'\" \"','\"\\\\t\"','\"\\\\n\"','\"\\\\r\"','','','\"[1]:\"','','',_Zm,'\"+\"','\"-\"','\"*\"','\"^\"'])}\nfunction qei(a,b,c){var d,e;d=QZe(b);e=auc(a.g)/auc(d);if(e>5||e<0.2||c){Pwj('resetFingerprint: myPrecision='+cuc(a.g)+k5n+cuc(d)+l5n+e);a.b=null;a.g=d;return true}return false}\nfunction rTg(a){var b,c,d,e;b=(pkd(),okd);for(d=0;d1&&(f.a+='^{'+e+'}',f)}return f.a}\nfunction QJh(a,b){if(!a.yb){!a.R&&(a.R=new Lgi(a));!a.S&&(a.S=new Lgi(a));Jgi(a.R,a.S);Jgi(a.S,a.R);x9c(b,a.R);x9c(b,a.S);return}if(ff(a.yb,242)){a.yb.EO(b);return}throw Ftc(new Mei)}\nfunction lOd(a){var b,c,d;c=new hjd;b=new amd((new Zld(a)).a);while(b.b){d=_ld(b);c.a+=',';Yid(c,Zhd('v',''+d.Ci().a));c.a+='=';Xid(c,d.Di())}if(c.a.length>0){return uid(c.a,1)}return ''}\nfunction blg(a,b,c){var d,e;if(a.d.r.length!=0){e=new ynd(a.d);while(e.adsj&&(dsj=b);c=a.yb;if(c){for(e=c.Z,f=0,g=e.length;fa.c-(a.e-c)+1){while(a.d[c]>a.c-(a.e-c)){--c;if(c<0){break}}if(c<0){return true}++a.d[c];for(b=c+1;b0)return uid(i.a,1);return ''}\nfunction Efi(a,b){var c,d,e,f,g,h,i;for(g=a.j,h=0,i=g.length;h0&&bjd(e,e.a.length-1);e.a+='-'}else{rkd(qld(b,kkd),okd)<0&&e.a.length>0&&bjd(e,e.a.length-1);e.a+=''+b}}Yid(e,Cgi(f))}e.a+='+'}return tfd(e,0,e.a.length-1)}\nfunction tgi(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!Mwj&&Nwj(Mwj,(dxj(),bxj),'Setting up equation for parallel lines ('+a+','+b+')-'+'('+c+','+d+C5n+'('+e+','+f+')-'+'('+g+','+h+')');i=new igi(a);j=new igi(b);k=new igi(c);l=new igi(d);m=new igi(e);n=new igi(f);o=new igi(g);p=new igi(h);q=Tfi(Zfi(Tfi(i,$fi(k)),Tfi(n,$fi(p))),$fi(Zfi(Tfi(j,$fi(l)),Tfi(m,$fi(o)))));return q}\nfunction ugi(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!Mwj&&Nwj(Mwj,(dxj(),bxj),'Setting up equation for perpendicular lines ('+a+','+b+')-'+'('+c+','+d+C5n+'('+e+','+f+')-'+'('+g+','+h+')');i=new igi(a);j=new igi(b);k=new igi(c);l=new igi(d);m=new igi(e);n=new igi(f);o=new igi(g);p=new igi(h);q=Tfi(Zfi(Tfi(i,$fi(k)),Tfi(m,$fi(o))),Zfi(Tfi(j,$fi(l)),Tfi(n,$fi(p))));return q}\nfunction lfi(a,b){var c,d,e,f;if(a.i!=null){return a.i}d=b[0].VL(b[0]);if(a.j==null){a.j=me(hkb,G4n,52,4,0,1);a.j[0]=new Kgi(b[0].km());a.j[1]=new Kgi(b[0].km());a.j[2]=d[0];a.j[3]=d[1]}c=pe(ie(hkb,1),G4n,52,0,[a.j[0],a.j[1]]);e=b[1].VL(b[1]);f=b[2].VL(b[2]);a.i=me(fkb,K4n,28,2,0,1);a.i[0]=ogi(d[0],d[1],c[0],c[1],e[0],e[1]);a.i[1]=ogi(d[0],d[1],c[0],c[1],f[0],f[1]);return a.i}\nfunction xhi(b){var c,d;if(b.n==b.a){if(b.a==b.f){if(b.r>A$m){b.e=b.n=0;b.a=b.r}else b.r<0?(b.e=b.n=0):whi(b,false)}else b.a>b.r?(b.a=b.f):b.r-b.a=0){g[a.e]=true;a.e=-1}for(d=0;d<10;d++){if(a.f[d]==a.c){for(f=0;f<32;f++){(Rgi[d]&1<126){f=(d=b,AXm+d.toString(16));Yid(e,zXm+vid(f,f.length-4,f.length))}else{e.a+=String.fromCharCode(b)}continue;}}return e.a}\nfunction tdi(b,c,d){var e,f,g,h,i,j,k,l,m,n,o;if(d){n=new zQc;for(f=new amd((new Zld(b)).a);f.b;){e=_ld(f);o=e.Ci();tQc(n,o,e.Di())}h=(!nVi&&(nVi=new oVi),nVi);m=vgi(t9c(d.o,me(fkb,K4n,28,yQc(d.o.a),0,1)),n,d.j.km(),h.d,d.e);!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'Recio meets Botana:'+n);if(m==(Enj(),Cnj)){return Jrj(),Drj}}else{try{g=c.a.DO(b);for(j=g,k=0,l=j.length;k1?jxd(n.a[0],n.a[1]):jxd(n.a[0],0);Ltc(n.e>0?r:Utc(r),0)?Xsd(m,o):Wsd(m,o,n)}else{f=l.a[0];(l.e>0?f:-f|0)!=0&&Wsd(m,o,l)}}return new hgi(m)}\nfunction whi(b,c){var d,e,f,g;e=me(sf,yXm,5,b.f+A$m,15,1);f=me(vf,VXm,5,b.f+A$m,15,1);d=me(vf,VXm,5,b.f+A$m,15,1);try{if(c){njd(b.c,b.r,e,0,b.f-b.r);njd(b.c,0,e,b.f-b.r,b.e);b.c=e;njd(b.d,b.r,f,0,b.f-b.r);njd(b.d,0,f,b.f-b.r,b.e);b.d=f;njd(b.b,b.r,d,0,b.f-b.r);njd(b.b,0,d,b.f-b.r,b.e);b.b=d;b.n=b.e+=b.f-b.r}else{njd(b.c,b.r,e,0,b.f-b.r);b.c=e;njd(b.d,b.r,f,0,b.f-b.r);b.d=f;njd(b.b,b.r,d,0,b.f-b.r);b.b=d;b.n=b.e-=b.r}}catch(a){a=Etc(a);if(ff(a,68)){g=a;throw Ftc(new mc(g.He()))}else throw Ftc(a)}b.f+=A$m;b.a=b.f;b.r=0}\nfunction rei(a){var b,c,d,e,f,g;f=new Jtd;a.i=me(Zdb,fhn,15,2,0,1);if(a.d){Btd(f,a.f);g=(d=(new Bmd(fZd(a.d).b)).a.Ug().b.xj(),new Cmd(d));a.i[0]=a.d}else{Btd(f,a.f.G.mx());g=(d=(new Bmd(fZd(a.e).b)).a.Ug().b.xj(),new Cmd(d));a.i[0]=a.e}while(g.a.Ti()){e=(c=g.a.Ui(),c.Ci());(!e.yb&&(!e.Rb||!Vyh(e.Rb))||e.Av())&&f.b.put(e,(Efd(),Cfd))==null}Htd(f,a.f);a.a=me(Zdb,fhn,15,f.b.size(),0,1);a.a=t9c(f,a.a);a.i[1]=a.f;a.ab=me(Zdb,fhn,15,1,0,1);JMd(a,0,a.c);GMd(a,a.i,a.a);b=a.f._c;do{knd(b.d,a)}while(gnd(b.d,a,0)!=-1);bnd(b.d,a);a.b=eei(a.a);a.g=QZe(a.bd)}\nfunction rrj(a){var b,c,d,e;if(!a.i){!!Mwj&&Nwj(Mwj,(dxj(),$wj),'No statement to prove');a.f=(Jrj(),Irj);return}c=a.i.yb;if(!c){cid(a.i.px(($qg(),xqg)),I1m)?(a.f=(Jrj(),Frj)):cid(a.i.px(xqg),bin)?(a.f=(Jrj(),Drj)):(a.f=(Jrj(),Irj));return}osj(a.i);if(a.a!=(Urj(),Mrj)){qrj(a,a.a);return}Pwj(z5n+a.a);a.g?(d=new ynd(a.d)):(d=new ynd(a.c));a.f=(Jrj(),Irj);while((a.f==Irj||a.f==Grj)&&d.a0){pfd(f,j-1,j-1+1,'');Yid(Yid(o,ATi(k,'LetABeArbitraryPoints',null,pe(ie(sv,1),EXm,2,6,[f.a]))),'.\\n')}o.a+=h;p=Gid(a.yb);Yid(Yid(o,ATi(k,'ProveThat',null,pe(ie(sv,1),EXm,2,6,[p]))),'.');return o.a}\nfunction udi(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 lmd(b.a)).a.Ug().lf(),new mmd(l)).a.Ui(),i.Ci());for(k=1;k<=d+2;k++){tQc(c,u,(pkd(),Itc(k,0)>=0?Skd(k):Fkd(Skd(Utc(k)))));if(f){s=new zQc;for(h=new amd((new Zld(c)).a);h.b;){g=_ld(h);t=g.Ci();tQc(s,t,g.Di())}m=(!nVi&&(nVi=new oVi),nVi);r=vgi(t9c(f.o,me(fkb,K4n,28,yQc(f.o.a),0,1)),s,f.j.km(),m.d,f.e);!!Mwj&&Nwj(Mwj,(dxj(),Ywj),d5n+k+' '+s);if(r==(Enj(),Cnj)){return Jrj(),Drj}}else{try{j=e.a.DO(c);for(o=j,p=0,q=o.length;p>6],Xtc(1,b.c&63)),0)){h=mhi(b);return h}else{continue i}}g=Ehi(b.b);f=Dhi(b.b);e=null;c=false;try{Fhi(b.b);Ahi(b.b,1)}catch(a){a=Etc(a);if(ff(a,325)){c=true;e=d<=1?'':yhi(b.b);if(b.a==10||b.a==13){++g;f=0}else ++f}else throw Ftc(a)}if(!c){Ahi(b.b,1);e=d<=1?'':yhi(b.b)}throw Ftc(new Mhi(c,g,f,e,b.a))}}\nfunction sfi(a,b,c){var d,e,f,g,h,i,j,k,l;if(c.c){return}if(!!c.a.c&&!!c.d.c){g=c.a.c;j=c.d.c;switch(c.b.p){case 20:Pei(c,Tfi(g,j));break;case 21:Pei(c,Tfi(g,$fi(j)));break;case 24:Pei(c,Zfi(g,j));break;case 28:i=shd(Dkd(Wfi(c.d.c)));if(i){h=g;for(f=khd(1);Qtc(f.a,i.a);d=f,f=khd(f.a+1),d){h=Zfi(h,g)}c.c=h}break;default:throw Ftc(new Mei);}}b.o.ru()&&!c.a.c&&sfi(a,b.o,c.a);b.s.ru()&&!c.d.c&&sfi(a,b.s,c.d);if(ff(b.o,40)&&!c.a.c){e=Qjd(new Ujd(b.o.Vr()));Pei(c.a,new fgi(e))}if(ff(b.s,40)&&!c.d.c){e=Qjd(new Ujd(b.s.Vr()));Pei(c.d,new fgi(e))}if(ff(b.o,40)&&ff(b.s,166)){e=Qjd(new Ujd(b.o.Vr()));l=xfi(a,b.s.cn(($qg(),wqg)));if(l){k=new Fgi(l);Pei(c,new ggi(e,k));return}}}\nfunction Bfi(a,b,c){var d,e,f,g,h,i,j,k,l;if(c.c){return}if(!!c.a&&!c.d&&c.b==(Aij(),Rhj)){g=c.a.c;c.c=g}if(!!c.a&&!!c.a.c&&!!c.d&&!!c.d.c){g=c.a.c;j=c.d.c;switch(c.b.p){case 20:Pei(c,Tfi(g,j));break;case 21:Pei(c,Tfi(g,$fi(j)));break;case 24:Pei(c,Zfi(g,j));break;case 28:i=shd(Dkd(Wfi(c.d.c)));if(i){h=g;for(f=khd(1);Qtc(f.a,i.a);d=f,f=khd(f.a+1),d){h=Zfi(h,g)}c.c=h}break;default:throw Ftc(new Mei);}}b.o.ru()&&!c.a.c&&Bfi(a,b.o,c.a);!!b.s&&b.s.ru()&&!c.d.c&&Bfi(a,b.s,c.d);if(ff(b.o,40)&&!c.a.c){e=Qjd(new Ujd(b.o.Vr()));Pei(c.a,new fgi(e))}if(ff(b.s,40)&&!c.d.c){e=Qjd(new Ujd(b.s.Vr()));Pei(c.d,new fgi(e))}if(ff(b.o,40)&&ff(b.s,166)){e=Qjd(new Ujd(b.o.Vr()));l=Efi(a,b.s.cn(($qg(),wqg)));if(l){k=new Fgi(l);Pei(c,new ggi(e,k));return}}}\nfunction nfi(a,b,c,d){var e,f,g,h,i,j,k,l,m,n,o,p,q;if(a.i!=null){return a.i}e=b;f=c;if(ff(d,117)){throw Ftc(new Mei)}n=null;ff(d,34)&&(n=d);if(!e||!f||!n){throw Ftc(new Mei)}if(a.j==null){g=HJh(e,e);h=HJh(f,f);a.j=me(hkb,G4n,52,7,0,1);a.j[0]=g[0];a.j[1]=g[1];a.j[2]=h[0];a.j[3]=h[1];a.j[4]=new Kgi(e.bd);a.j[5]=new Kgi(e.bd);a.j[6]=new Kgi(e.bd)}a.i=me(fkb,K4n,28,2,0,1);i=null;ff(n.yb,396)&&(i=yuf(n));o=zuf(n,n);l=0;q=wgi(new igi(o[0]));if(i!=null){a.i=me(fkb,K4n,28,i.length+1,0,1);for(l=0;l3?(p.a='DegeneratePolygon'):(p.a=jCn);n=me(Zdb,fhn,15,s,0,1);o=0;for(c=new ynd(d);c.a=0?Skd((d+2-k)*(d+2-n)):Fkd(Skd(Utc((d+2-k)*(d+2-n))))));tQc(c,A[1],Itc(k*n,0)>=0?Skd(k*n):Fkd(Skd(Utc(k*n))));if(f){v=new zQc;for(i=new amd((new Zld(c)).a);i.b;){h=_ld(i);w=h.Ci();tQc(v,w,h.Di())}u=vgi(t9c(f.o,me(fkb,K4n,28,yQc(f.o.a),0,1)),v,f.j.km(),(!nVi&&(nVi=new oVi),nVi).d,f.e);!!Mwj&&Nwj(Mwj,(dxj(),Ywj),d5n+g+' '+v);if(u==(Enj(),Cnj)){return Jrj(),Drj}}else{try{j=e.a.DO(c);for(r=j,s=0,t=r.length;s5&&(f=5);{lhi(b,0)}break;case 6:case 4:Vtc(Htc(qHn,g),0)&&(lhi(b,4),lhi(b,6));break;case 2:if(Ltc(Htc(qHn,g),0))break;f>6&&(f=6);b.i[b.e++]=2;break;case 5:b.a==58&&(f=8);break;case 8:Vtc(Htc(qHn,g),0)&&khi(b,0);break;case 9:b.a==61&&(f=9);}}while(e!=h)}else if(b.a<128){do{switch(b.i[--e]){case 1:b.a==95?(b.i[b.e++]=7):b.a==91?(b.i[b.e++]=4):b.a==118&&(b.i[b.e++]=2);break;case 6:b.a==93&&(b.i[b.e++]=5);break;case 3:b.a==91&&(b.i[b.e++]=4);break;case 7:b.a==91&&(b.i[b.e++]=8);break;case 10:b.a==93&&(b.i[b.e++]=9);break;case 11:b.a==95&&(b.i[b.e++]=7);}}while(e!=h)}else{do{b.i[--e]}while(e!=h)}if(f!=mXm){b.c=f;b.d=d;f=mXm}++d;if((e=b.e)==(h=12-(b.e=h)))return d;try{b.a=Fhi(b.b)}catch(a){a=Etc(a);if(ff(a,325)){return d}else throw Ftc(a)}}}\nfunction Cfi(b,c,d){var e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t;if(b.i!=null){return b.i}p=c.bd;i=c.a.xs();Hfi(b,i,p);if(b.j==null){b.j=me(hkb,G4n,52,b.c.r.length+1,0,1);b.j[0]=new Kgi(p);if(b.c.r.length==0){throw Ftc(new Mei)}else{n=new ynd(b.c);o=1;while(n.a=0;s--){w=Ekd(w,vld(Ekd((pkd(),Itc(t,0)>=0?Skd(t):Fkd(Skd(Utc(t)))),Vkd(p[s])),Itc(o,0)>=0?Skd(o):Fkd(Skd(Utc(o)))));g[o][s]=w}tQc(c,H[o],w)}++u;if(f){F=new zQc;for(j=new amd((new Zld(c)).a);j.b;){i=_ld(j);G=i.Ci();tQc(F,G,i.Di())}D=vgi(t9c(f.o,me(fkb,K4n,28,yQc(f.o.a),0,1)),F,f.j.km(),(!nVi&&(nVi=new oVi),nVi).d,f.e);!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'Recio meets Botana #'+u+tXm+F);if(D==(Enj(),Cnj)){return Jrj(),Drj}}else{try{k=e.a.DO(c);for(A=k,B=0,C=A.length;B0?(q=0):(q/=s));v=1/u;A+=B*v*v;A/=u;!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'population='+l);!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'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=HJh(dGg(e),dGg(e));f[f.length-1]=Tfi(Zfi(xgi(i[0],i[1],g[0],g[1]),new igi(new Kgi(v))),$fi(new egi(1)))}tQc(a.a,b,f);return f}h=me(hkb,G4n,52,2,0,1);!a.b&&(a.b=new zQc);if(nQc(a.b,b)){h=qQc(a.b,b)}else{h=me(hkb,G4n,52,2,0,1);h[0]=new Kgi(v);h[1]=new Kgi(v);tQc(a.b,b,h)}if(!a.a){j=fAh(c);l=gAh(c);m=fAh(d);o=gAh(d);k=j.length;n=m.length;f=me(fkb,K4n,28,k+n,0,1);for(t=0;t0&&(i.a+=',',i);i.a+=''+K}n=new A9c;m9c(n,a.e);w9c(n,new lmd(b));o=new hjd;for(L=(G=(new lmd(n.a)).a.Ug().lf(),new mmd(G));L.a.Ti();){K=(l=L.a.Ui(),l.Ci());o.a.length>0&&(o.a+=',',o);o.a+=''+K}h=Iei.NK();bfi(a);p=BNd(h).ln(b,a.p,o.a,i.a);q=XZi(vOi(h.a).b)?BNd(h).pn(p):'?';r=q.length-pid(q,'{','').length-1;A=new A9c;H=1;for(s=0;sc+1}++k}}\nfunction Rfi(a,b){var c,d,e,f,g,h,i,j;h=b.km();if(a.i!=null){return a.i}if(ff(b,73)){if(a.j==null){a.j=me(hkb,G4n,52,2,0,1);a.j[0]=new Kgi(h);a.j[1]=new Kgi(h)}g=b.VL(b);if(g==null){Qfi(a,h);return null}a.i=me(fkb,K4n,28,1,0,1);a.i[0]=lgi(g[0],g[1],g[2],g[3],a.j[0],a.j[1]);return a.i}if(ff(b,174)){if(b.sb==4){if(a.j==null){a.j=me(hkb,G4n,52,2,0,1);a.j[0]=new Kgi(h);a.j[1]=new Kgi(h)}g=b.VL(b);if(g==null){Qfi(a,h);return null}a.i=me(fkb,K4n,28,1,0,1);a.i[0]=ogi(g[2],g[3],g[0],g[1],a.j[0],a.j[1]);return a.i}if(b.sb==9){if(a.j==null){a.j=me(hkb,G4n,52,4,0,1);a.j[0]=new Kgi(h);a.j[1]=new Kgi(h);a.j[2]=new Kgi(h);a.j[3]=new Kgi(h)}j=b.VL(b);if(j==null){Qfi(a,h);return null}a.i=me(fkb,K4n,28,3,0,1);a.i[0]=ogi(j[8],j[9],a.j[0],a.j[1],a.j[2],a.j[3]);a.i[1]=lgi(j[4],j[5],a.j[2],a.j[3],j[6],j[7]);a.i[2]=ugi(a.j[0],a.j[1],a.j[2],a.j[3],j[4],j[5],j[6],j[7]);return a.i}if(b.sb==3||b.sb==5){if(a.j==null){a.j=me(hkb,G4n,52,4,0,1);a.j[0]=new Kgi(h);a.j[1]=new Kgi(h);a.j[2]=new Kgi(h);a.j[3]=new Kgi(h)}i=b.VL(b);if(i==null){Qfi(a,h);return null}if(ff(b.yb,955)){a.i=me(fkb,K4n,28,2,0,1);a.i[0]=Tfi(new igi(i[0]),$fi(new igi(a.j[0])));a.i[1]=Tfi(new igi(i[1]),$fi(new igi(a.j[1])));return a.i}a.i=me(fkb,K4n,28,3,0,1);e=new igi(a.j[2]);f=new igi(a.j[3]);c=new igi(i[2]);d=new igi(i[3]);a.i[0]=Tfi(Tfi(Tfi(c,d),$fi(e)),$fi(f));a.i[1]=Tfi(xgi(a.j[0],a.j[1],i[6],i[7]),$fi(Zfi(e,e)));a.i[2]=Tfi(xgi(a.j[0],a.j[1],i[8],i[9]),$fi(Zfi(f,f)));return a.i}}Qfi(a,h);return null}\nfunction sdi(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;cid('groebner',(!nVi&&(nVi=new oVi),nVi).c)&&(d=true);e=null;D=c.i;if(ff(D,242)){C=D.GO()}else if(ff(D.yb,242)){C=D.yb.GO()}else{return Jrj(),Irj}if(d){B=new ntm;Nei(B,(Urj(),Trj));e=new gfi(D,null,B);if(e.q==(Jrj(),Erj)){return Erj}}H=new A9c;if(d){l=Wei(D);u=new ynd(l);while(u.a5){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),\"Recio's method is currently disabled when # of free variables > 5\");return Jrj(),Irj}try{g=C.a.CO(b)}catch(a){a=Etc(a);if(ff(a,79)){return Jrj(),Irj}else throw Ftc(a)}f=0;for(q=g,r=0,s=q.length;r0){yrj(o,a._c);v=null;if(a.c){new Ipg(a.bd);d=o.a;cid(gCn,d)?(v=Dei(kpg(o.b[0],o.b[1],true,a._c.O.k.h4()))):cid(jCn,d)?(v=Dei(Hpg(o.b[0],o.b[1],o.b[2],a._c.O.k.h4()))):cid(fCn,d)?(v=Dei(gpg(o.b[0],o.b[1],false,a._c.O.k.h4()))):cid(hCn,d)?(v=Dei(ppg(o.b[0],o.b[1],false,a._c.O.k.h4()))):cid(iCn,d)&&(v=Dei(bpg(o.b[0],o.b[1],false,a._c.O.k.h4())))}if(!v||!a.c){i=o.b;if(i==null){v=Dei(o.a)}else{v=Dei(dmm(a._c.O.k.h4(),o.a));v.a+='[';for(j=0;j0&&(v.a+=',',v);h=o.b[j];h?Yid(v,o.b[j].mc):(v.a+=VBn,v)}v.a+=']';a.c&&djd(v,0,hmm(a._c.O.k.h4(),'not')+' ')}}DNh(m,v.a);m.rc=false;m.Xb=false;w.b.put(m,Cfd)==null}}l=(g=(new Bmd(w.b)).a.Ug().b.xj(),new Cmd(g));while(l.a.Ti()){NGh(n,(f=l.a.Ui(),f.Ci()))}if(_wd(B),B){m=new ONh(a._c);DNh(m,VBn);m.rc=false;m.Xb=false;w.b.put(m,Cfd)==null;NGh(n,m)}n.n.r.length>0&&NGh(a.b,n);if(s==Hrj){c=new ONh(a._c);DNh(c,'c');c.rc=false;c.Xb=false;NGh(a.b,c)}}}Pwj('OUTPUT for ProveDetails: '+a.b)}\nfunction Tei(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.i;C=(!nVi&&(nVi=new oVi),nVi);m=G.km();if(!ff(G.yb,927)){Rwj(G.yb+q5n);return Jrj(),Irj}C.d=false;C.a==null&&(C.a=(Efd(),false));e=new gfi(G,null,b);if(e.q){return e.q}H=null;b.g?(k=C.f):(k=C.e);e.n>=0&&e.n0){try{H=Vei(b,k)}catch(a){a=Etc(a);if(ff(a,79)){e.q=(Jrj(),Irj);!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'Cannot add fix values');return e.q}else throw Ftc(a)}!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'substitutions: '+H)}t=new Lei(b,H,e.e);l=false;w=0;while(!l&&w<1){h=ngi(t9c(e.o,me(fkb,K4n,28,yQc(e.o.a),0,1)),H,m,(++w,true),e.e);if(!h){return Jrj(),Irj}q=(v=(new lmd(h.a)).a.Ug().lf(),new mmd(v));J=new snd;L=new snd;K=yQc(h.a)==2;f=new snd;g=GYm;p=0;while(q.a.Ti()){++p;!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'Considering NDG '+p+bYm);s=new snd;F=0;D=true;I=(j=q.a.Ui(),j.Ci());o=I.lf();while(o.Ti()&&D){B=o.Ui();if(B.a.f==0){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'Statement is NOT GENERALLY TRUE');dfi(e,e.j);$ei(e,e.j,e.s);h=ngi(t9c(e.o,me(fkb,K4n,28,yQc(e.o.a),0,1)),H,m,(++w,true),e.e);q=(u=(new lmd(h.a)).a.Ug().lf(),new mmd(u));while(q.a.Ti()){I=(i=q.a.Ui(),i.Ci());o=I.lf();while(o.Ti()){B=o.Ui();if(B.a.f==0){dfi(e,e.j);n=yQc(e.e.a)-(new lmd(H)).a.size();!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'Naive dimension = '+n);if(!Jei(e,H,n)){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'Statement is NOT GENERALLY FALSE');return Jrj(),Hrj}return Jrj(),Irj}}}return Jrj(),Drj}if(!Yfi(B)){if(e.k){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),r5n);return Jrj(),Irj}r=Kei(t,B);if(!r){D=false}else{K=K&&I.size()==1;if(K){if(cid(r.a,'xAreEqual')){A=new A9c;x9c(A,r.b[0]);x9c(A,r.b[1]);Hwd(J.r,A)}if(cid(r.a,'yAreEqual')){A=new A9c;x9c(A,r.b[0]);x9c(A,r.b[1]);Hwd(L.r,A)}if(J.r.length==1&&bmd(J,L)){r.a=fCn;r.c=0.5}}Hwd(s.r,r);F+=r.c}}}if(D&&F0&&K!=null){v?(v=false):(M.a+=',',M);M.a+=L}G=0;b=C.yb;d=D5n;if(b){B=b.Bm();!!B&&(d=B.B_());H=b.Z;C==a||(l+=H.length);G=H.length;for(W=H,X=0,Y=W.length;X1&&cid((fxd(0,2,j.length),j.substr(0,2)),qdn)&&(j=(gxd(1,j.length+1),j.substr(1)));o=sid(j,'\\\\)\\\\*\\\\(',0);if(o.length>1){o[0]=uid(o[0],1);o[o.length-1]=vid(o[o.length-1],0,o[o.length-1].length-1)}F=false;o.length==1&&nid(o[0],'[-+]?\\\\d*\\\\.?\\\\d+')&&(F=true);G=new snd;if(!F){for(l=o,m=0,n=l.length;m1&&(d=OWg(d,t));I.b.put(G,(Efd(),Cfd))==null;Vpd(e.e,G,d)}M=(r=(new Bmd((new Mtd(I.b.wj())).b)).a.Ug().b.xj(),new Cmd(r));while(M.a.Ti()){G=(l=M.a.Ui(),l.Ci());k=EWg(k,mQc(Upd(e.e,G)))}if(rkd(g,(pkd(),okd))>0){S=LWg(S,EWg(f,k));T=true}else{fb=LWg(fb,EWg(f,k));gb=true}}s=new PUg(Q,S,fb);if(eb){if(!T||!gb){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),c+' means '+s+', uninteresting');return null}U=new Arj;Nei(U,KUg(s,($qg(),wqg)));U.c=2;!!Mwj&&Nwj(Mwj,(dxj(),Ywj),c+' means '+s);return U}!!Mwj&&Nwj(Mwj,(dxj(),Ywj),c+' cannot be described by quantities only')}}u=Wei(hb);v=new C9c(u);nb=new Gei(v,3);while(!nb.a){mb=Eei(nb);M=(V=(new lmd(mb.a)).a.Ug().lf(),new mmd(V));K=0;db=me(Zdb,fhn,15,yQc(mb.a),0,1);while(M.a.Ti()){db[K]=(l=M.a.Ui(),l.Ci());++K}try{B=db[0].VL(db[0]);C=db[1].VL(db[1]);D=db[2].VL(db[2])}catch(a){a=Etc(a);if(ff(a,79)){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),p5n);return null}else throw Ftc(a)}h=_fi(lgi(B[0],B[1],C[0],C[1],D[0],D[1]),b.d);if(Vfi(c,h)||Tfi(c,h).a.f==0){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),c+' means collinearity for '+mb);U=new Arj;U.b=db;$nd(U.b);U.a=jCn;uQc(b.b,R,U);return U}}$=new Gei(v,2);while(!$.a){X=Eei($);M=(V=(new lmd(X.a)).a.Ug().lf(),new mmd(V));K=0;db=me(Zdb,fhn,15,yQc(X.a),0,1);while(M.a.Ti()){db[K]=(l=M.a.Ui(),l.Ci());++K}try{B=db[0].VL(db[0]);C=db[1].VL(db[1])}catch(a){a=Etc(a);if(ff(a,79)){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),p5n);return null}else throw Ftc(a)}s=_fi(xgi(B[0],B[1],C[0],C[1]),b.d);if(Vfi(c,s)||Tfi(c,s).a.f==0){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),c+' means equality for '+X);U=new Arj;U.b=db;$nd(U.b);U.a=fCn;U.c=0.5;uQc(b.b,R,U);return U}}w=new A9c;sb=new zQc;A=new A9c;vb=new zQc;L=(q=(new Bmd(fZd(b.c.i).b)).a.Ug().b.xj(),new Cmd(q));while(L.a.Ti()){H=(l=L.a.Ui(),l.Ci());if(H.Ru()&&ff(H,161)){try{qb=H.VL(H)[0];if(y9c(b.a,qb)){tQc(w.a,qb,w);Vpd(sb.e,qb,H)}tb=H.VL(H)[1];if(y9c(b.a,tb)){tQc(A.a,tb,A);Vpd(vb.e,tb,H)}}catch(a){a=Etc(a);if(ff(a,79)){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),p5n);return null}else throw Ftc(a)}}}bb=new Gei(w,2);while(!bb.a){X=Eei(bb);P=(V=(new lmd(X.a)).a.Ug().lf(),new mmd(V));K=0;i=me(hkb,G4n,52,yQc(X.a),0,1);db=me(Zdb,fhn,15,yQc(X.a),0,1);while(P.a.Ti()){i[K]=(l=P.a.Ui(),l.Ci());db[K]=qQc(sb,i[K]);++K}rb=_fi(Tfi(new igi(i[0]),$fi(new igi(i[1]))),b.d);if(Vfi(c,rb)||Tfi(c,rb).a.f==0){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),c+' means x-equality for '+X);U=new Arj;U.b=db;$nd(U.b);U.a='xAreEqual';U.c=GYm;uQc(b.b,R,U);return U}}bb=new Gei(A,2);while(!bb.a){X=Eei(bb);P=(V=(new lmd(X.a)).a.Ug().lf(),new mmd(V));K=0;i=me(hkb,G4n,52,yQc(X.a),0,1);db=me(Zdb,fhn,15,yQc(X.a),0,1);while(P.a.Ti()){i[K]=(l=P.a.Ui(),l.Ci());db[K]=qQc(vb,i[K]);++K}ub=_fi(Tfi(new igi(i[0]),$fi(new igi(i[1]))),b.d);if(Vfi(c,ub)||Tfi(c,ub).a.f==0){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),c+' means y-equality for '+X);U=new Arj;U.b=db;$nd(U.b);U.a='yAreEqual';U.c=GYm;uQc(b.b,R,U);return U}}ab=new Gei(v,2);while(!ab.a){Y=Eei(ab);N=(W=(new lmd(Y.a)).a.Ug().lf(),new mmd(W));K=0;db=me(Zdb,fhn,15,4,0,1);while(N.a.Ti()){db[K]=(l=N.a.Ui(),l.Ci());++K}cb=new Gei(v,2);while(!cb.a){Z=Eei(cb);O=(V=(new lmd(Z.a)).a.Ug().lf(),new mmd(V));K=2;while(O.a.Ti()){db[K]=(l=O.a.Ui(),l.Ci());++K}try{B=db[0].VL(db[0]);C=db[1].VL(db[1]);D=db[2].VL(db[0]);F=db[3].VL(db[1])}catch(a){a=Etc(a);if(ff(a,79)){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),p5n);return null}else throw Ftc(a)}s=_fi(ugi(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.d);if(Vfi(c,s)||Tfi(c,s).a.f==0){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),c+' means perpendicularity for '+Y+p4n+Z);U=new Arj;U.b=db;U.a=hCn;U.c=vbn;uQc(b.b,R,U);return U}s=_fi(tgi(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.d);if(Vfi(c,s)||Tfi(c,s).a.f==0){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),c+' means parallelism for '+Y+p4n+Z);U=new Arj;U.b=db;U.a=gCn;U.c=vbn;uQc(b.b,R,U);return U}s=_fi(Tfi(xgi(B[0],B[1],C[0],C[1]),$fi(xgi(D[0],D[1],F[0],F[1]))),b.d);if(Vfi(c,s)||Tfi(c,s).a.f==0){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),c+' means congruence for '+Y+p4n+Z);U=new Arj;U.b=db;U.a=iCn;U.c=vbn;uQc(b.b,R,U);return U}}}!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'No human readable geometrical meaning found for '+c);tQc(b.b,R,null);return null}\nfunction Mfi(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.i!=null){return a.i}if(ff(d,73)){if(c.Lu()){R=Pwh(c);Z=Pwh(d);if(R!=null&&Z!=null){if(a.j==null){a.j=me(hkb,G4n,52,8,0,1);a.j[0]=new Kgi(b.km());a.j[1]=new Kgi(b.km());a.j[2]=new Kgi(b.km());a.j[3]=new Kgi(b.km());a.j[4]=new Kgi(b.km());a.j[5]=new Kgi(b.km());a.j[6]=new Kgi(b.km());a.j[7]=new Kgi(b.km())}a.i=me(fkb,K4n,28,8,0,1);mb=new igi(R[0]);nb=new igi(R[1]);Ab=new igi(a.j[4]);Bb=new igi(a.j[5]);ob=new igi(a.j[0]);pb=new igi(a.j[1]);a.i[0]=Tfi(Tfi(Zfi(Ab,new egi(2)),$fi(mb)),$fi(ob));a.i[1]=Tfi(Tfi(Zfi(Bb,new egi(2)),$fi(nb)),$fi(pb));g=me(hkb,G4n,52,2,0,1);g[0]=Z[0];g[1]=Z[1];h=me(hkb,G4n,52,2,0,1);h[0]=Z[2];h[1]=Z[3];a.i[2]=lgi(g[0],g[1],a.j[4],a.j[5],h[0],h[1]);a.i[3]=ugi(R[0],R[1],a.j[4],a.j[5],g[0],g[1],h[0],h[1]);rb=new igi(R[2]);sb=new igi(R[3]);Db=new igi(a.j[6]);Eb=new igi(a.j[7]);tb=new igi(a.j[2]);ub=new igi(a.j[3]);a.i[4]=Tfi(Tfi(Zfi(Db,new egi(2)),$fi(rb)),$fi(tb));a.i[5]=Tfi(Tfi(Zfi(Eb,new egi(2)),$fi(sb)),$fi(ub));a.i[6]=lgi(g[0],g[1],a.j[6],a.j[7],h[0],h[1]);a.i[7]=ugi(R[2],R[3],a.j[6],a.j[7],g[0],g[1],h[0],h[1]);return a.i}throw Ftc(new Mei)}else if(c.Ru()){i=c;S=d;Jb=HJh(i,i);Ib=Pwh(S);if(a.j==null){a.j=me(hkb,G4n,52,6,0,1);a.j[0]=new Kgi(b.km());a.j[1]=new Kgi(b.km());a.j[2]=new Kgi(b.km());a.j[3]=new Kgi(b.km());a.j[4]=new Kgi(b.km());a.j[5]=new Kgi(b.km())}a.i=me(fkb,K4n,28,6,0,1);zb=new igi(a.j[2]);Cb=new igi(a.j[3]);v=new igi(Jb[0]);w=new igi(Jb[1]);A=new igi(a.j[0]);B=new igi(a.j[1]);a.i[0]=Tfi(Tfi(Zfi(zb,new egi(2)),$fi(A)),$fi(v));a.i[1]=Tfi(Tfi(Zfi(Cb,new egi(2)),$fi(B)),$fi(w));g=me(hkb,G4n,52,2,0,1);g[0]=Ib[0];g[1]=Ib[1];h=me(hkb,G4n,52,2,0,1);h[0]=Ib[2];h[1]=Ib[3];a.i[2]=lgi(g[0],g[1],h[0],h[1],a.j[2],a.j[3]);l=new igi(g[0]);m=new igi(g[1]);q=new igi(h[0]);r=new igi(h[1]);ab=new igi(a.j[4]);db=new igi(a.j[5]);a.i[3]=Tfi(Tfi(Tfi(q,$fi(l)),w),$fi(db));a.i[4]=Tfi(Tfi(Tfi(v,$fi(r)),m),$fi(ab));a.i[5]=lgi(a.j[0],a.j[1],a.j[2],a.j[3],a.j[4],a.j[5]);return a.i}else if(c.zu()&&c.sb==4){C=c;S=d;Hb=gAh(C);Qb=Pwh(S);if(a.j==null){a.j=me(hkb,G4n,52,12,0,1);a.j[0]=new Kgi(b.km());a.j[1]=new Kgi(b.km());a.j[2]=new Kgi(b.km());a.j[3]=new Kgi(b.km());a.j[4]=new Kgi(b.km());a.j[5]=new Kgi(b.km());a.j[6]=new Kgi(b.km());a.j[7]=new Kgi(b.km());a.j[8]=new Kgi(b.km());a.j[9]=new Kgi(b.km());a.j[10]=new Kgi(b.km());a.j[11]=new Kgi(b.km())}a.i=me(fkb,K4n,28,12,0,1);zb=new igi(a.j[4]);Cb=new igi(a.j[5]);l=new igi(Hb[0]);m=new igi(Hb[1]);n=new igi(a.j[0]);o=new igi(a.j[1]);a.i[0]=Tfi(Tfi(Zfi(zb,new egi(2)),$fi(n)),$fi(l));a.i[1]=Tfi(Tfi(Zfi(Cb,new egi(2)),$fi(o)),$fi(m));a.i[2]=lgi(Qb[0],Qb[1],a.j[4],a.j[5],Qb[2],Qb[3]);v=new igi(Qb[0]);w=new igi(Qb[1]);D=new igi(Qb[2]);F=new igi(Qb[3]);bb=new igi(a.j[8]);cb=new igi(a.j[9]);a.i[3]=Tfi(Tfi(Tfi(D,$fi(v)),m),$fi(cb));a.i[4]=Tfi(Tfi(Tfi(l,$fi(F)),w),$fi(bb));a.i[5]=lgi(a.j[0],a.j[1],a.j[4],a.j[5],a.j[8],a.j[9]);vb=new igi(a.j[6]);wb=new igi(a.j[7]);q=new igi(Hb[2]);r=new igi(Hb[3]);s=new igi(a.j[2]);t=new igi(a.j[3]);a.i[6]=Tfi(Tfi(Zfi(vb,new egi(2)),$fi(s)),$fi(q));a.i[7]=Tfi(Tfi(Zfi(wb,new egi(2)),$fi(t)),$fi(r));a.i[8]=lgi(Qb[0],Qb[1],a.j[6],a.j[7],Qb[2],Qb[3]);eb=new igi(a.j[10]);fb=new igi(a.j[11]);a.i[9]=Tfi(Tfi(Tfi(D,$fi(v)),r),$fi(fb));a.i[10]=Tfi(Tfi(Tfi(q,$fi(F)),w),$fi(eb));a.i[11]=lgi(a.j[1],a.j[2],a.j[6],a.j[7],a.j[10],a.j[11]);return a.i}else if(c.zu()&&c.sb==9){qb=c;S=d;Sb=gAh(qb);Qb=Pwh(S);if(a.j==null){a.j=me(hkb,G4n,52,22,0,1);a.j[0]=new Kgi(b.km());a.j[1]=new Kgi(b.km());a.j[2]=new Kgi(b.km());a.j[3]=new Kgi(b.km());a.j[4]=new Kgi(b.km());a.j[5]=new Kgi(b.km());a.j[6]=new Kgi(b.km());a.j[7]=new Kgi(b.km());a.j[8]=new Kgi(b.km());a.j[9]=new Kgi(b.km());a.j[10]=new Kgi(b.km());a.j[11]=new Kgi(b.km());a.j[12]=new Kgi(b.km());a.j[13]=new Kgi(b.km());a.j[14]=new Kgi(b.km());a.j[15]=new Kgi(b.km());a.j[16]=new Kgi(b.km());a.j[17]=new Kgi(b.km());a.j[18]=new Kgi(b.km());a.j[19]=new Kgi(b.km());a.j[20]=new Kgi(b.km());a.j[21]=new Kgi(b.km())}a.i=me(fkb,K4n,28,21,0,1);l=new igi(Sb[4]);m=new igi(Sb[5]);Ab=new igi(a.j[10]);Bb=new igi(a.j[11]);n=new igi(a.j[4]);o=new igi(a.j[5]);bb=new igi(a.j[16]);cb=new igi(a.j[17]);U=new igi(Qb[0]);V=new igi(Qb[1]);X=new igi(Qb[2]);Y=new igi(Qb[3]);a.i[0]=Tfi(Tfi(Zfi(new egi(2),Ab),$fi(l)),$fi(n));a.i[1]=Tfi(Tfi(Zfi(new egi(2),Bb),$fi(m)),$fi(o));a.i[2]=lgi(a.j[4],a.j[5],a.j[10],a.j[11],a.j[16],a.j[17]);a.i[3]=lgi(Qb[0],Qb[1],a.j[10],a.j[11],Qb[2],Qb[3]);a.i[4]=Tfi(Tfi(Tfi(X,$fi(U)),m),$fi(cb));a.i[5]=Tfi(Tfi(Tfi(l,$fi(Y)),V),$fi(bb));q=new igi(Sb[6]);r=new igi(Sb[7]);Db=new igi(a.j[12]);Eb=new igi(a.j[13]);s=new igi(a.j[6]);t=new igi(a.j[7]);eb=new igi(a.j[18]);fb=new igi(a.j[19]);a.i[6]=Tfi(Tfi(Zfi(new egi(2),Db),$fi(q)),$fi(s));a.i[7]=Tfi(Tfi(Zfi(new egi(2),Eb),$fi(r)),$fi(t));a.i[8]=lgi(a.j[6],a.j[7],a.j[12],a.j[13],a.j[18],a.j[19]);a.i[9]=lgi(Qb[0],Qb[1],a.j[12],a.j[13],Qb[2],Qb[3]);a.i[10]=Tfi(Tfi(Tfi(X,$fi(U)),r),$fi(fb));a.i[11]=Tfi(Tfi(Tfi(q,$fi(Y)),V),$fi(eb));M=new igi(Sb[8]);N=new igi(Sb[9]);Fb=new igi(a.j[14]);Gb=new igi(a.j[15]);O=new igi(a.j[8]);P=new igi(a.j[9]);gb=new igi(a.j[20]);hb=new igi(a.j[21]);a.i[12]=Tfi(Tfi(Zfi(new egi(2),Fb),$fi(M)),$fi(O));a.i[13]=Tfi(Tfi(Zfi(new egi(2),Gb),$fi(N)),$fi(P));a.i[14]=lgi(a.j[8],a.j[9],a.j[14],a.j[15],a.j[20],a.j[21]);a.i[15]=lgi(Qb[0],Qb[1],a.j[14],a.j[15],Qb[2],Qb[3]);a.i[16]=Tfi(Tfi(Tfi(X,$fi(U)),N),$fi(hb));a.i[17]=Tfi(Tfi(Tfi(M,$fi(Y)),V),$fi(gb));a.i[18]=ogi(a.j[8],a.j[9],a.j[0],a.j[1],a.j[2],a.j[3]);a.i[19]=lgi(a.j[4],a.j[5],a.j[2],a.j[3],a.j[6],a.j[7]);a.i[20]=ugi(a.j[0],a.j[1],a.j[2],a.j[3],a.j[4],a.j[5],a.j[6],a.j[7]);return a.i}throw Ftc(new Mei)}else if(ff(e,41)){if(c.Ru()){j=c;k=e;Kb=HJh(j,j);Lb=HJh(k,k);if(a.j==null){a.j=me(hkb,G4n,52,2,0,1);a.j[0]=new Kgi(b.km());a.j[1]=new Kgi(b.km())}a.i=me(fkb,K4n,28,2,0,1);l=new igi(Kb[0]);m=new igi(Kb[1]);q=new igi(Lb[0]);r=new igi(Lb[1]);n=new igi(a.j[0]);o=new igi(a.j[1]);a.i[0]=Tfi(Tfi(Zfi(q,new egi(2)),$fi(l)),$fi(n));a.i[1]=Tfi(Tfi(Zfi(r,new egi(2)),$fi(m)),$fi(o));return a.i}else if(c.Lu()){S=c;i=e;Qb=Pwh(S);Jb=HJh(i,i);if(a.j==null){a.j=me(hkb,G4n,52,4,0,1);a.j[0]=new Kgi(b.km());a.j[1]=new Kgi(b.km());a.j[2]=new Kgi(b.km());a.j[3]=new Kgi(b.km())}a.i=me(fkb,K4n,28,4,0,1);mb=new igi(Jb[0]);nb=new igi(Jb[1]);l=new igi(Qb[0]);m=new igi(Qb[1]);n=new igi(a.j[0]);o=new igi(a.j[1]);q=new igi(Qb[2]);r=new igi(Qb[3]);s=new igi(a.j[2]);t=new igi(a.j[3]);a.i[0]=Tfi(Tfi(mb,$fi(l)),$fi(Tfi(n,$fi(mb))));a.i[1]=Tfi(Tfi(nb,$fi(m)),$fi(Tfi(o,$fi(nb))));a.i[2]=Tfi(Tfi(mb,$fi(q)),$fi(Tfi(s,$fi(mb))));a.i[3]=Tfi(Tfi(nb,$fi(r)),$fi(Tfi(t,$fi(nb))));return a.i}else if(c.zu()&&c.sb==4){C=c;i=e;Hb=gAh(C);Jb=HJh(i,i);if(a.j==null){a.j=me(hkb,G4n,52,4,0,1);a.j[0]=new Kgi(b.km());a.j[1]=new Kgi(b.km());a.j[2]=new Kgi(b.km());a.j[3]=new Kgi(b.km())}a.i=me(fkb,K4n,28,4,0,1);mb=new igi(Jb[0]);nb=new igi(Jb[1]);l=new igi(Hb[0]);m=new igi(Hb[1]);n=new igi(a.j[0]);o=new igi(a.j[1]);q=new igi(Hb[2]);r=new igi(Hb[3]);s=new igi(a.j[2]);t=new igi(a.j[3]);a.i[0]=Tfi(Tfi(mb,$fi(l)),$fi(Tfi(n,$fi(mb))));a.i[1]=Tfi(Tfi(nb,$fi(m)),$fi(Tfi(o,$fi(nb))));a.i[2]=Tfi(Tfi(mb,$fi(q)),$fi(Tfi(s,$fi(mb))));a.i[3]=Tfi(Tfi(nb,$fi(r)),$fi(Tfi(t,$fi(nb))));return a.i}else if(c.zu()&&c.sb==9){qb=c;i=e;Sb=gAh(qb);Jb=HJh(i,i);if(a.j==null){a.j=me(hkb,G4n,52,10,0,1);a.j[0]=new Kgi(b.km());a.j[1]=new Kgi(b.km());a.j[2]=new Kgi(b.km());a.j[3]=new Kgi(b.km());a.j[4]=new Kgi(b.km());a.j[5]=new Kgi(b.km());a.j[6]=new Kgi(b.km());a.j[7]=new Kgi(b.km());a.j[8]=new Kgi(b.km());a.j[9]=new Kgi(b.km())}a.i=me(fkb,K4n,28,13,0,1);mb=new igi(Sb[0]);nb=new igi(Sb[1]);vb=new igi(Sb[2]);wb=new igi(Sb[3]);l=new igi(Sb[4]);m=new igi(Sb[5]);q=new igi(Sb[6]);r=new igi(Sb[7]);M=new igi(Sb[8]);N=new igi(Sb[9]);ob=new igi(a.j[0]);pb=new igi(a.j[1]);xb=new igi(a.j[2]);yb=new igi(a.j[3]);n=new igi(a.j[4]);o=new igi(a.j[5]);s=new igi(a.j[6]);t=new igi(a.j[7]);O=new igi(a.j[8]);P=new igi(a.j[9]);T=new igi(Jb[0]);W=new igi(Jb[1]);a.i[0]=Tfi(Tfi(Zfi(new egi(2),T),$fi(mb)),$fi(ob));a.i[1]=Tfi(Tfi(Zfi(new egi(2),W),$fi(nb)),$fi(pb));a.i[2]=Tfi(Tfi(Zfi(new egi(2),T),$fi(vb)),$fi(xb));a.i[3]=Tfi(Tfi(Zfi(new egi(2),W),$fi(wb)),$fi(yb));a.i[4]=Tfi(Tfi(Zfi(new egi(2),T),$fi(l)),$fi(n));a.i[5]=Tfi(Tfi(Zfi(new egi(2),W),$fi(m)),$fi(o));a.i[6]=Tfi(Tfi(Zfi(new egi(2),T),$fi(q)),$fi(s));a.i[7]=Tfi(Tfi(Zfi(new egi(2),W),$fi(r)),$fi(t));a.i[8]=Tfi(Tfi(Zfi(new egi(2),T),$fi(M)),$fi(O));a.i[9]=Tfi(Tfi(Zfi(new egi(2),W),$fi(N)),$fi(P));a.i[10]=ogi(a.j[8],a.j[9],a.j[0],a.j[1],a.j[2],a.j[3]);a.i[11]=lgi(a.j[4],a.j[5],a.j[2],a.j[3],a.j[6],a.j[7]);a.i[12]=ugi(a.j[0],a.j[1],a.j[2],a.j[3],a.j[4],a.j[5],a.j[6],a.j[7]);return a.i}else if(c.zu()&&c.sb==3){L=c;i=e;Ob=gAh(L);Jb=HJh(i,i);if(Ob[6]==Ob[8]&&Ob[7]==Ob[9]){if(a.j==null){a.j=me(hkb,G4n,52,4,0,1);a.j[0]=new Kgi(b.km());a.j[1]=new Kgi(b.km());a.j[2]=new Kgi(b.km());a.j[3]=new Kgi(b.km())}a.i=me(fkb,K4n,28,4,0,1);l=new igi(Ob[0]);m=new igi(Ob[1]);v=new igi(Ob[2]);w=new igi(Ob[3]);mb=new igi(Jb[0]);nb=new igi(Jb[1]);n=new igi(a.j[0]);o=new igi(a.j[1]);A=new igi(a.j[2]);B=new igi(a.j[3]);a.i[0]=Tfi(Tfi(Zfi(new egi(2),mb),$fi(l)),$fi(n));a.i[1]=Tfi(Tfi(Zfi(new egi(2),nb),$fi(m)),$fi(o));a.i[2]=Tfi(Tfi(Zfi(new egi(2),mb),$fi(v)),$fi(A));a.i[3]=Tfi(Tfi(Zfi(new egi(2),nb),$fi(w)),$fi(B))}else{if(a.j==null){a.j=me(hkb,G4n,52,12,0,1);a.j[0]=new Kgi(b.km());a.j[1]=new Kgi(b.km());a.j[2]=new Kgi(b.km());a.j[3]=new Kgi(b.km());a.j[4]=new Kgi(b.km());a.j[5]=new Kgi(b.km());a.j[6]=new Kgi(b.km());a.j[7]=new Kgi(b.km());a.j[8]=new Kgi(b.km());a.j[9]=new Kgi(b.km());a.j[10]=new Kgi(b.km());a.j[11]=new Kgi(b.km())}a.i=me(fkb,K4n,28,13,0,1);mb=new igi(Ob[0]);nb=new igi(Ob[1]);l=new igi(Ob[6]);m=new igi(Ob[7]);q=new igi(Ob[8]);r=new igi(Ob[9]);v=new igi(Ob[10]);w=new igi(Ob[11]);T=new igi(Jb[0]);W=new igi(Jb[1]);ob=new igi(a.j[0]);pb=new igi(a.j[1]);n=new igi(a.j[6]);o=new igi(a.j[7]);s=new igi(a.j[8]);t=new igi(a.j[9]);A=new igi(a.j[10]);B=new igi(a.j[11]);D=new igi(a.j[2]);F=new igi(a.j[3]);J=new igi(a.j[4]);K=new igi(a.j[5]);a.i[0]=Tfi(Tfi(Zfi(new egi(2),T),$fi(mb)),$fi(ob));a.i[1]=Tfi(Tfi(Zfi(new egi(2),W),$fi(nb)),$fi(pb));a.i[2]=Tfi(Tfi(Zfi(new egi(2),T),$fi(l)),$fi(n));a.i[3]=Tfi(Tfi(Zfi(new egi(2),W),$fi(m)),$fi(o));a.i[4]=Tfi(Tfi(Zfi(new egi(2),T),$fi(q)),$fi(s));a.i[5]=Tfi(Tfi(Zfi(new egi(2),W),$fi(r)),$fi(t));a.i[6]=Tfi(Tfi(Zfi(new egi(2),T),$fi(v)),$fi(A));a.i[7]=Tfi(Tfi(Zfi(new egi(2),W),$fi(w)),$fi(B));a.i[8]=Tfi(Tfi(Tfi(D,F),$fi(J)),$fi(K));a.i[9]=Tfi(xgi(a.j[6],a.j[7],a.j[8],a.j[9]),$fi(Zfi(D,D)));a.i[10]=Tfi(xgi(a.j[6],a.j[7],a.j[8],a.j[9]),$fi(Zfi(F,F)));a.i[11]=Tfi(xgi(a.j[6],a.j[7],a.j[0],a.j[1]),$fi(Zfi(J,J)));a.i[12]=Tfi(xgi(a.j[8],a.j[9],a.j[0],a.j[1]),$fi(Zfi(K,K)))}return a.i}else if(c.zu()&&c.sb==5){Q=c;i=e;Pb=gAh(Q);Jb=HJh(i,i);if(a.j==null){a.j=me(hkb,G4n,52,12,0,1);a.j[0]=new Kgi(b.km());a.j[1]=new Kgi(b.km());a.j[2]=new Kgi(b.km());a.j[3]=new Kgi(b.km());a.j[4]=new Kgi(b.km());a.j[5]=new Kgi(b.km());a.j[6]=new Kgi(b.km());a.j[7]=new Kgi(b.km());a.j[8]=new Kgi(b.km());a.j[9]=new Kgi(b.km());a.j[10]=new Kgi(b.km());a.j[11]=new Kgi(b.km())}a.i=me(fkb,K4n,28,13,0,1);mb=new igi(Pb[0]);nb=new igi(Pb[1]);l=new igi(Pb[6]);m=new igi(Pb[7]);q=new igi(Pb[8]);r=new igi(Pb[9]);v=new igi(Pb[10]);w=new igi(Pb[11]);T=new igi(Jb[0]);W=new igi(Jb[1]);ob=new igi(a.j[0]);pb=new igi(a.j[1]);n=new igi(a.j[6]);o=new igi(a.j[7]);s=new igi(a.j[8]);t=new igi(a.j[9]);A=new igi(a.j[10]);B=new igi(a.j[11]);D=new igi(a.j[2]);F=new igi(a.j[3]);J=new igi(a.j[4]);K=new igi(a.j[5]);a.i[0]=Tfi(Tfi(Zfi(new egi(2),T),$fi(mb)),$fi(ob));a.i[1]=Tfi(Tfi(Zfi(new egi(2),W),$fi(nb)),$fi(pb));a.i[2]=Tfi(Tfi(Zfi(new egi(2),T),$fi(l)),$fi(n));a.i[3]=Tfi(Tfi(Zfi(new egi(2),W),$fi(m)),$fi(o));a.i[4]=Tfi(Tfi(Zfi(new egi(2),T),$fi(q)),$fi(s));a.i[5]=Tfi(Tfi(Zfi(new egi(2),W),$fi(r)),$fi(t));a.i[6]=Tfi(Tfi(Zfi(new egi(2),T),$fi(v)),$fi(A));a.i[7]=Tfi(Tfi(Zfi(new egi(2),W),$fi(w)),$fi(B));a.i[8]=Tfi(Tfi(Tfi(D,$fi(F)),$fi(J)),K);a.i[9]=Tfi(xgi(a.j[6],a.j[7],a.j[10],a.j[11]),$fi(Zfi(D,D)));a.i[10]=Tfi(xgi(a.j[8],a.j[9],a.j[10],a.j[11]),$fi(Zfi(F,F)));a.i[3]=Tfi(xgi(a.j[6],a.j[7],a.j[0],a.j[1]),$fi(Zfi(J,J)));a.i[4]=Tfi(xgi(a.j[8],a.j[9],a.j[0],a.j[1]),$fi(Zfi(K,K)));return a.i}throw Ftc(new Mei)}else if(f){if(c.Ru()){i=c;u=f;Jb=HJh(i,i);Mb=gAh(u);if(a.j==null){a.j=me(hkb,G4n,52,8,0,1);a.j[0]=new Kgi(b.km());a.j[1]=new Kgi(b.km());a.j[2]=Jb[0];a.j[3]=Jb[1];a.j[4]=Mb[0];a.j[5]=Mb[1];a.j[6]=Mb[2];a.j[7]=Mb[3]}a.i=me(fkb,K4n,28,2,0,1);ib=new igi(Mb[0]);jb=new igi(Mb[1]);l=new igi(Mb[2]);m=new igi(Mb[3]);q=new igi(Jb[0]);r=new igi(Jb[1]);s=new igi(a.j[0]);t=new igi(a.j[1]);kb=Tfi(Zfi(Tfi(l,$fi(ib)),Tfi(l,$fi(ib))),Zfi(Tfi(m,$fi(jb)),Tfi(m,$fi(jb))));G=Tfi(Zfi(Tfi(q,$fi(ib)),Tfi(q,$fi(ib))),Zfi(Tfi(r,$fi(jb)),Tfi(r,$fi(jb))));a.i[0]=Tfi(Zfi(kb,Tfi(q,$fi(ib))),Zfi(Tfi(ib,$fi(s)),G));a.i[1]=Tfi(Zfi(kb,Tfi(r,$fi(jb))),Zfi(Tfi(jb,$fi(t)),G));return a.i}else if(c.Lu()){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'mirroring line about circle not implemented');throw Ftc(new Mei)}else if(c.zu()&&c.sb==4){C=c;$=f;Nb=gAh(C);Rb=gAh($);if(a.j==null){a.j=me(hkb,G4n,52,4,0,1);a.j[0]=new Kgi(b.km());a.j[1]=new Kgi(b.km());a.j[2]=new Kgi(b.km());a.j[3]=new Kgi(b.km())}a.i=me(fkb,K4n,28,4,0,1);l=new igi(Nb[0]);m=new igi(Nb[1]);q=new igi(Nb[2]);r=new igi(Nb[3]);ib=new igi(Rb[0]);jb=new igi(Rb[1]);v=new igi(Rb[2]);w=new igi(Rb[3]);n=new igi(a.j[0]);o=new igi(a.j[1]);s=new igi(a.j[2]);t=new igi(a.j[3]);lb=Tfi(Zfi(Tfi(v,$fi(ib)),Tfi(v,$fi(ib))),Zfi(Tfi(w,$fi(jb)),Tfi(w,$fi(jb))));p=Tfi(Zfi(Tfi(q,$fi(l)),Tfi(q,$fi(l))),Zfi(Tfi(r,$fi(m)),Tfi(r,$fi(m))));H=Tfi(Tfi(Zfi(Tfi(l,$fi(ib)),Tfi(l,$fi(ib))),Zfi(Tfi(m,$fi(jb)),Tfi(m,$fi(jb)))),$fi(p));a.i[0]=Tfi(Zfi(lb,Tfi(l,$fi(ib))),Zfi(Tfi(ib,$fi(n)),H));a.i[1]=Tfi(Zfi(lb,Tfi(m,$fi(jb))),Zfi(Tfi(jb,$fi(o)),H));I=Tfi(Zfi(Tfi(q,$fi(ib)),Tfi(q,$fi(ib))),Zfi(Tfi(r,$fi(jb)),Tfi(r,$fi(jb))));a.i[2]=Tfi(Zfi(lb,Tfi(q,$fi(ib))),Zfi(Tfi(ib,$fi(s)),I));a.i[3]=Tfi(Zfi(lb,Tfi(r,$fi(jb))),Zfi(Tfi(jb,$fi(t)),I));return a.i}else{throw Ftc(new Mei)}}else{throw Ftc(new Mei)}}\nvar Y4n='[LocusEqu] result[',Z4n='eliminate([',$4n='],revlist([',_4n='PRECISION = ',a5n='[1]: [1]: _[1]=1 _[2]=',b5n='Cannot parse: ',c5n='Cannot get Botana variables for ',d5n='Recio meets Botana: #',e5n={16:1,29:1,19:1,24:1,242:1,927:1,30:1},f5n={16:1,29:1,19:1,24:1,927:1,30:1},g5n='Cannot compute implicit curve (yet?)',h5n='Benchmarking: ',i5n='Output from giac: ',j5n='Error on running Giac code',k5n=' kernelPrecision=',l5n=' precisionRatio=',m5n='OpenGeoProver',n5n='PureSymbolic',o5n='STATEMENT IS ',p5n='Cannot get Botana vars during NDG detection',q5n=' unimplemented',r5n='Interpreting TRUE as UNKNOWN',s5n='Extra poly 3 for ',t5n='Extra poly 4 for ',u5n='Eliminating system in ',v5n=' variables (',w5n=' dependent)',x5n='gbt polys = ',y5n='gbt vars = ',z5n='Using ',A5n='Possible numerical error in converting formula coefficients to integer',B5n='ggbtmpvar2',C5n=') and ',D5n='Free Point';luc(264,u7m,rfn,ftd);luc(2597,1,Chn);_.jn=function(a,b){var c,d;d=new hjd;c=Z4n+a+$4n+b+']))';return Yid(Yid(Yid(Yid(Yid(Yid((d.a+='[[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]').a};_.kn=function(a,b,c,d){var e,f;if(!c){return (ePd(),$Od)+'(eliminate(['+a+$4n+b+'])))'}e=''+cuc(d.a);!!Mwj&&Nwj(Mwj,(dxj(),Ywj),_4n+e);f=(ePd(),$Od)+'([[ee:=eliminate(['+a+$4n+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};_.ln=function(a,b,c,d){var e,f,g;e='[[GB:=gbasis(';!!a&&(e+=SEn);e+='['+b+']';if(a){f=lOd(a);e+=',['+f+'])'}g=c+jgi(d);cid(g.substr(0,1),',')&&(g=(gxd(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};_.mn=function(a,b,c,d,e){var f,g,h;f='[[ii:=gbasis(';f+=SEn;f+='['+b+']';g=lOd(a);f+=',['+g+'])';h=c+jgi(d);f+=',['+h+'],revlex)],('+'ii'+'[0]!=1)&&('+'ii'+'[0]!=-1)][1]';return f};_.tn=function(a){var b,c,d,e;b=hOd(a);c=iOd(a);e=me(tf,ZXm,124,c.length+1,0,3);e[0]=b;for(d=0;d0){c=HJh(this.j,this.j);b[b.length-1]=Tfi(Zfi(xgi(d[0],d[1],c[0],c[1]),new igi(new Kgi(this.bd))),$fi(new egi(1)))}tQc(this.e,a,b);return b}throw Ftc(new Mei)}else if(this.g.sb==9||this.g.sb==3||this.g.sb==5){if(this.n){p=Pwh(this.n);d=me(hkb,G4n,52,2,0,1);!this.f&&(this.f=new zQc);if(nQc(this.f,a)){d=qQc(this.f,a)}else{d=me(hkb,G4n,52,2,0,1);d[0]=new Kgi(this.bd);d[1]=new Kgi(this.bd);tQc(this.f,a,d)}e=fAh(this.g);g=gAh(this.g);f=e.length;b=me(fkb,K4n,28,f+1,0,1);for(k=0;ki&&(i=h[g])}b[0]=i;return b}throw Ftc(new Mei)};_.DO=function(a){var b,c,d,e,f,g;if(!!this.b&&!!this.c&&!!this.d&&!!this.e){c=PJh(this.b,a);d=PJh(this.c,a);e=PJh(this.d,a);f=PJh(this.e,a);b=me(wv,Xen,151,1,0,1);g=ke(wv,[ZXm,Xen],[400,151],0,[4,4],2);g[0][0]=Ekd(c[0],c[2]);g[0][1]=Ekd(c[1],c[2]);g[0][2]=qld(Ekd(c[0],c[0]),Ekd(c[1],c[1]));g[0][3]=Ekd(c[2],c[2]);g[1][0]=Ekd(d[0],d[2]);g[1][1]=Ekd(d[1],d[2]);g[1][2]=qld(Ekd(d[0],d[0]),Ekd(d[1],d[1]));g[1][3]=Ekd(d[2],d[2]);g[2][0]=Ekd(e[0],e[2]);g[2][1]=Ekd(e[1],e[2]);g[2][2]=qld(Ekd(e[0],e[0]),Ekd(e[1],e[1]));g[2][3]=Ekd(e[2],e[2]);g[3][0]=Ekd(f[0],f[2]);g[3][1]=Ekd(f[1],f[2]);g[3][2]=qld(Ekd(f[0],f[0]),Ekd(f[1],f[1]));g[3][3]=Ekd(f[2],f[2]);b[0]=qld(vld(vld(qld(qld(vld(vld(qld(qld(vld(vld(qld(qld(vld(vld(qld(qld(vld(vld(qld(qld(vld(vld(Ekd(Ekd(Ekd(g[0][3],g[1][2]),g[2][1]),g[3][0]),Ekd(Ekd(Ekd(g[0][2],g[1][3]),g[2][1]),g[3][0])),Ekd(Ekd(Ekd(g[0][3],g[1][1]),g[2][2]),g[3][0])),Ekd(Ekd(Ekd(g[0][1],g[1][3]),g[2][2]),g[3][0])),Ekd(Ekd(Ekd(g[0][2],g[1][1]),g[2][3]),g[3][0])),Ekd(Ekd(Ekd(g[0][1],g[1][2]),g[2][3]),g[3][0])),Ekd(Ekd(Ekd(g[0][3],g[1][2]),g[2][0]),g[3][1])),Ekd(Ekd(Ekd(g[0][2],g[1][3]),g[2][0]),g[3][1])),Ekd(Ekd(Ekd(g[0][3],g[1][0]),g[2][2]),g[3][1])),Ekd(Ekd(Ekd(g[0][0],g[1][3]),g[2][2]),g[3][1])),Ekd(Ekd(Ekd(g[0][2],g[1][0]),g[2][3]),g[3][1])),Ekd(Ekd(Ekd(g[0][0],g[1][2]),g[2][3]),g[3][1])),Ekd(Ekd(Ekd(g[0][3],g[1][1]),g[2][0]),g[3][2])),Ekd(Ekd(Ekd(g[0][1],g[1][3]),g[2][0]),g[3][2])),Ekd(Ekd(Ekd(g[0][3],g[1][0]),g[2][1]),g[3][2])),Ekd(Ekd(Ekd(g[0][0],g[1][3]),g[2][1]),g[3][2])),Ekd(Ekd(Ekd(g[0][1],g[1][0]),g[2][3]),g[3][2])),Ekd(Ekd(Ekd(g[0][0],g[1][1]),g[2][3]),g[3][2])),Ekd(Ekd(Ekd(g[0][2],g[1][1]),g[2][0]),g[3][3])),Ekd(Ekd(Ekd(g[0][1],g[1][2]),g[2][0]),g[3][3])),Ekd(Ekd(Ekd(g[0][2],g[1][0]),g[2][1]),g[3][3])),Ekd(Ekd(Ekd(g[0][0],g[1][2]),g[2][1]),g[3][3])),Ekd(Ekd(Ekd(g[0][1],g[1][0]),g[2][2]),g[3][3])),Ekd(Ekd(Ekd(g[0][0],g[1][1]),g[2][2]),g[3][3]));return b}throw Ftc(new Mei)};_.EO=function(a){if(!!this.b&&!!this.c&&!!this.d&&!!this.e){QJh(this.b,a);QJh(this.c,a);QJh(this.d,a);QJh(this.e,a);return}throw Ftc(new Mei)};_.FO=function(){var a,b,c,d,e;if(this.g!=null){return this.g}if(!!this.b&&!!this.c&&!!this.d&&!!this.e){a=WJh(this.b);b=WJh(this.c);c=WJh(this.d);d=WJh(this.e);this.g=me(fkb,K4n,28,1,0,1);e=ke(fkb,[ZXm,K4n],[93,28],0,[4,4],2);e[0][0]=Zfi(a[0],a[2]);e[0][1]=Zfi(a[1],a[2]);e[0][2]=Tfi(Zfi(a[0],a[0]),Zfi(a[1],a[1]));e[0][3]=Zfi(a[2],a[2]);e[1][0]=Zfi(b[0],b[2]);e[1][1]=Zfi(b[1],b[2]);e[1][2]=Tfi(Zfi(b[0],b[0]),Zfi(b[1],b[1]));e[1][3]=Zfi(b[2],b[2]);e[2][0]=Zfi(c[0],c[2]);e[2][1]=Zfi(c[1],c[2]);e[2][2]=Tfi(Zfi(c[0],c[0]),Zfi(c[1],c[1]));e[2][3]=Zfi(c[2],c[2]);e[3][0]=Zfi(d[0],d[2]);e[3][1]=Zfi(d[1],d[2]);e[3][2]=Tfi(Zfi(d[0],d[0]),Zfi(d[1],d[1]));e[3][3]=Zfi(d[2],d[2]);this.g[0]=Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Tfi(Zfi(e[0][3],Zfi(e[1][2],Zfi(e[2][1],e[3][0]))),$fi(Zfi(Zfi(Zfi(e[0][2],e[1][3]),e[2][1]),e[3][0]))),$fi(Zfi(Zfi(Zfi(e[0][3],e[1][1]),e[2][2]),e[3][0]))),Zfi(Zfi(Zfi(e[0][1],e[1][3]),e[2][2]),e[3][0])),Zfi(Zfi(Zfi(e[0][2],e[1][1]),e[2][3]),e[3][0])),$fi(Zfi(Zfi(Zfi(e[0][1],e[1][2]),e[2][3]),e[3][0]))),$fi(Zfi(Zfi(Zfi(e[0][3],e[1][2]),e[2][0]),e[3][1]))),Zfi(Zfi(Zfi(e[0][2],e[1][3]),e[2][0]),e[3][1])),Zfi(Zfi(Zfi(e[0][3],e[1][0]),e[2][2]),e[3][1])),$fi(Zfi(Zfi(Zfi(e[0][0],e[1][3]),e[2][2]),e[3][1]))),$fi(Zfi(Zfi(Zfi(e[0][2],e[1][0]),e[2][3]),e[3][1]))),Zfi(Zfi(Zfi(e[0][0],e[1][2]),e[2][3]),e[3][1])),Zfi(Zfi(Zfi(e[0][3],e[1][1]),e[2][0]),e[3][2])),$fi(Zfi(Zfi(Zfi(e[0][1],e[1][3]),e[2][0]),e[3][2]))),$fi(Zfi(Zfi(Zfi(e[0][3],e[1][0]),e[2][1]),e[3][2]))),Zfi(Zfi(Zfi(e[0][0],e[1][3]),e[2][1]),e[3][2])),Zfi(Zfi(Zfi(e[0][1],e[1][0]),e[2][3]),e[3][2])),$fi(Zfi(Zfi(Zfi(e[0][0],e[1][1]),e[2][3]),e[3][2]))),$fi(Zfi(Zfi(Zfi(e[0][2],e[1][1]),e[2][0]),e[3][3]))),Zfi(Zfi(Zfi(e[0][1],e[1][2]),e[2][0]),e[3][3])),Zfi(Zfi(Zfi(e[0][2],e[1][0]),e[2][1]),e[3][3])),$fi(Zfi(Zfi(Zfi(e[0][0],e[1][2]),e[2][1]),e[3][3]))),$fi(Zfi(Zfi(Zfi(e[0][1],e[1][0]),e[2][2]),e[3][3]))),Zfi(Zfi(Zfi(e[0][0],e[1][1]),e[2][2]),e[3][3]));return this.g}throw Ftc(new Mei)};_.GO=Vqo;_.an=function(){Cdi(this)};var Fjb=Cgd(2901);luc(1226,19,{16:1,29:1,19:1,24:1,242:1,927:1,30:1,1226:1},Hdi,Idi);_.Bm=function(){return frh(),$gh};_.Vi=hro;_.xm=function(){Edi(this)};_.u_=function(){return Fdi(this)};_.CO=function(a){var b,c,d;if(ff(this.b,117)||ff(this.c,117)){throw Ftc(new Mei)}if(!!this.b&&!!this.c){if(ff(this.b,41)&&ff(this.c,41)||ff(this.b,73)&&ff(this.c,73)||ff(this.b,181)&&ff(this.c,181)){c=this.b.CO(a);d=this.c.CO(a);b=me(vf,VXm,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 Ftc(new Mei)};_.DO=function(a){var b,c,d;if(ff(this.b,117)||ff(this.c,117)){throw Ftc(new Mei)}if(!!this.b&&!!this.c){if(ff(this.b,41)&&ff(this.c,41)||ff(this.b,73)&&ff(this.c,73)||ff(this.b,181)&&ff(this.c,181)){c=this.b.DO(a);d=this.c.DO(a);b=me(wv,Xen,151,1,0,1);b[0]=qld(qkd(vld(Ekd(c[0],d[2]),Ekd(d[0],c[2]))),qkd(vld(Ekd(c[1],d[2]),Ekd(d[1],c[2]))));return b}}throw Ftc(new Mei)};_.EO=function(a){if(ff(this.b,117)||ff(this.c,117)){throw Ftc(new Mei)}if(!!this.b&&!!this.c){if(ff(this.b,41)&&ff(this.c,41)||ff(this.b,73)&&ff(this.c,73)||ff(this.b,181)&&ff(this.c,181)){this.b.EO(a);this.c.EO(a);return}}throw Ftc(new Mei)};_.FO=function(){var a,b;Pwj(this.e);if(this.e!=null){return this.e}if(ff(this.b,117)||ff(this.c,117)){throw Ftc(new Mei)}if(!!this.b&&!!this.c){if(ff(this.b,41)&&ff(this.c,41)||ff(this.b,73)&&ff(this.c,73)||ff(this.b,181)&&ff(this.c,181)){a=this.b.FO();b=this.c.FO();this.e=me(fkb,K4n,28,2,0,1);this.e[0]=Tfi(Zfi(a[0],b[2]),$fi(Zfi(b[0],a[2])));this.e[1]=Tfi(Zfi(a[1],b[2]),$fi(Zfi(b[1],a[2])));return this.e}}throw Ftc(new Mei)};_.GO=Vqo;_.an=function(){Gdi(this)};var Gjb=Cgd(1226);luc(2134,19,f5n,Pdi,Qdi);_.Bm=function(){return frh(),_gh};_.xm=function(){Mdi(this)};_.u_=function(){return Ndi(this)};_.an=function(){Gdi(this)};var Jdi;var Ijb=Cgd(2134);luc(7432,1,_jn,Rdi);_.tq=function(a){var b,c;if(ff(a,40)){b=a.k;if(b==Vbn||b-Sfn8}return false};var Hjb=Cgd(7432);luc(1707,19,e5n,Udi,Vdi);_.Bm=function(){return frh(),ahh};_.Vi=hro;_.xm=function(){byh(this.d,mxh(this.b,this.c))};_.u_=function(){return Sdi(this)};_.CO=function(a){var b,c,d;if(!!this.b&&!!this.c){c=Qwh(this.b,a);d=Qwh(this.c,a);b=me(vf,VXm,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[1],c[1]+d[0]);return b}throw Ftc(new Mei)};_.DO=function(a){var b,c,d;if(!!this.b&&!!this.c){c=this.Z[0].DO(a);d=this.Z[1].DO(a);b=me(wv,Xen,151,1,0,1);b[0]=vld(Ekd(c[0],d[1]),Ekd(c[1],d[0]));return b}throw Ftc(new Mei)};_.EO=iro;_.FO=function(){var a,b;Pwj(this.e);if(this.e!=null){return this.e}if(!!this.b&&!!this.c){a=this.Z[0].FO();b=this.Z[1].FO();this.e=me(fkb,K4n,28,1,0,1);this.e[0]=Tfi(Zfi(a[0],b[1]),$fi(Zfi(a[1],b[0])));return this.e}throw Ftc(new Mei)};_.GO=Vqo;_.an=function(){Gdi(this)};var Jjb=Cgd(1707);luc(1708,19,e5n,Ydi,Zdi);_.Bm=function(){return frh(),bhh};_.Vi=hro;_.xm=function(){byh(this.d,nxh(this.b,this.c))};_.u_=function(){return Wdi(this)};_.CO=function(a){var b,c,d;if(!!this.b&&!!this.c){c=Qwh(this.b,a);d=Qwh(this.c,a);b=me(vf,VXm,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[0],c[1]+d[1]);return b}throw Ftc(new Mei)};_.DO=function(a){var b,c,d;if(!!this.b&&!!this.c){c=this.Z[0].DO(a);d=this.Z[1].DO(a);b=me(wv,Xen,151,1,0,1);b[0]=qld(Ekd(c[0],d[0]),Ekd(c[1],d[1]));return b}throw Ftc(new Mei)};_.EO=iro;_.FO=function(){var a,b;Pwj(this.e);if(this.e!=null){return this.e}if(!!this.b&&!!this.c){a=this.Z[0].FO();b=this.Z[1].FO();this.e=me(fkb,K4n,28,1,0,1);this.e[0]=Tfi(Zfi(a[0],b[0]),Zfi(a[1],b[1]));return this.e}throw Ftc(new Mei)};_.GO=Vqo;_.an=function(){Gdi(this)};var Kjb=Cgd(1708);luc(1923,19,{16:1,29:1,19:1,24:1,30:1,247:1,1923:1},dei);_.Bm=function(){return frh(),bjh};_.xm=function(){var a;if(!BNd(this.bd.NK()).qi()){this.b=null;this.e=0;return}a=this.b;cei(this);if(a==null||!cid(a,this.b)){Uwj(a+kLn+this.b);$di(this)}};_.n2=function(a,b){return bei(this,a,b)};_.an=function(){cei(this)};_.e=0;var Ljb=Cgd(1923);luc(7917,19,f5n,iei);_.Bm=function(){return null};_.xm=function(){this.e.f=false};_.u_=function(){return fei(this)};_.an=function(){hei(this)};var Mjb=Cgd(7917);luc(2900,19,f5n,lei);_.Bm=function(){return frh(),$kh};_.xm=function(){jei(this)};_.u_=function(){var a,b,c,d,e,f;if(this.a!=null){return this.a}d=this.b;a=this.c;e=Pwh(d);b=gAh(a);if(a.sb==4){c=me(hkb,G4n,52,2,0,1);c[0]=new Kgi(this.bd);c[1]=new Kgi(this.bd);this.a=ke(fkb,[ZXm,K4n],[93,28],0,[1,3],2);this.a[0][0]=lgi(c[0],c[1],e[0],e[1],e[2],e[3]);this.a[0][1]=ugi(c[0],c[1],e[0],e[1],c[0],c[1],b[0],b[1]);this.a[0][2]=ogi(c[0],c[1],b[0],b[1],b[2],b[3]);return this.a}if(a.sb==9){c=me(hkb,G4n,52,2,0,1);c[0]=new Kgi(this.bd);c[1]=new Kgi(this.bd);f=me(hkb,G4n,52,2,0,1);f[0]=new Kgi(this.bd);f[1]=new Kgi(this.bd);this.a=ke(fkb,[ZXm,K4n],[93,28],0,[1,5],2);this.a[0][0]=lgi(c[0],c[1],e[0],e[1],e[2],e[3]);this.a[0][1]=ugi(c[0],c[1],e[0],e[1],c[0],c[1],b[8],b[9]);this.a[0][2]=Tfi(Tfi(Zfi(new igi(c[0]),new egi(2)),$fi(new igi(f[0]))),$fi(new igi(b[8])));this.a[0][3]=Tfi(Tfi(Zfi(new igi(c[1]),new egi(2)),$fi(new igi(f[1]))),$fi(new igi(b[9])));this.a[0][4]=lgi(f[0],f[1],b[4],b[5],b[6],b[7]);return this.a}throw Ftc(new Mei)};_.an=function(){Gdi(this)};var Njb=Cgd(2900);luc(1276,19,{16:1,29:1,19:1,24:1,30:1,247:1,1276:1},sei,tei);_.Bm=function(){return frh(),wlh};_.xm=function(){var a;if(!BNd(this.bd.NK()).qi()){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),'CAS is not yet loaded => fingerprint set to null');this.b=null;this.g=0;return}a=this.b;rei(this);if(a==null||!cid(a,this.b)){Pwj(a+kLn+this.b);nei(this,!!this.d)}};_.n2=function(a,b){return qei(this,a,b)};_.an=function(){rei(this)};_.g=0;var Ojb=Cgd(1276);luc(1914,19,{16:1,29:1,19:1,24:1,30:1,247:1,1914:1},yei);_.Bm=function(){return frh(),_mh};_.xm=function(){vei(this)};_.an=function(){xei(this)};var Qjb=Cgd(1914);luc(7595,19,F4n,Cei);_.Bm=function(){return frh(),anh};_.xm=function(){zei(this)};_.an=function(){Bei(this)};_.c=false;var Pjb=Cgd(7595);luc(y6m,1,{},Gei);_.Si=function(a){mqd(this,a)};_.Ui=function(){return Eei(this)};_.Ti=function(){return !this.a};_.Vi=function(){};_.a=false;_.c=0;_.e=0;var Rjb=Cgd(y6m);var Hei,Iei;luc(2987,1,{},Lei);var Sjb=Cgd(2987);luc(79,38,{3:1,38:1,68:1,79:1},Mei);var Tjb=Cgd(79);luc(919,1,{},Rei);var Ujb=Cgd(919);var Sei;luc(2175,1,{},gfi);_.c=false;_.k=false;_.n=-1;_.q=null;var Vjb=Cgd(2175);luc(2978,1,{},kfi);var Xjb=Cgd(2978);luc(1731,c3m,{},mfi);var Wjb=Cgd(1731);luc(2982,c3m,{},ofi);var Yjb=Cgd(2982);luc(1732,c3m,{},zfi);_.c=false;_.d=0;_.e=false;_.f=false;var $jb=Cgd(1732);luc(1435,c3m,{},Ifi);_.b=0;var _jb=Cgd(1435);luc(2980,1,{},Lfi);var akb=Cgd(2980);luc(2983,c3m,{},Nfi);var bkb=Cgd(2983);luc(2981,c3m,{},Pfi);var ckb=Cgd(2981);luc(2979,c3m,{},Sfi);var dkb=Cgd(2979);luc(28,1,{16:1,28:1},dgi,egi,fgi,ggi,hgi,igi);_.Re=function(a){return Ufi(this,a)};_.ye=function(a){return Vfi(this,a)};_.ze=function(){return vod(new ktd(this.a))};_.Ae=function(){return bgi(this)};var fkb=Cgd(28);luc(712,1,{16:1,712:1},Dgi,Egi,Fgi,Ggi);_.Re=function(a){return ygi(this,a)};_.ye=function(a){return zgi(this,a)};_.ze=function(){if(this.a.f==0){return 0}return ymd(Nsd(this.a)).a>>ymd(Osd(this.a)).a};_.Ae=function(){var a,b,c,d,e;e=new jjd('');c=(new ktd(this.a)).b.xj();while(c.Ti()){a=c.Ui();b=a.Ci();e.a+='*';e.a+=''+b;d=a.Di().a;if(d>1){e.a+='^';e.a+=d}}if(e.a.length>0){return uid(e.a,1)}return ''};var gkb=Cgd(712);luc(52,1,{16:1,52:1},Kgi,Lgi);_.Re=function(a){return Hgi(this,a)};_.ye=function(a){return Igi(this,a)};_.ze=function(){return this.a};_.Ae=function(){return Zhd('v',''+this.a)};_.a=0;var hkb=Cgd(52);luc(x6m,38,{3:1,38:1,68:1,1100:1},Ngi,Ogi);var Mgi=YZm;var ikb=Cgd(x6m);var bhi;luc(7901,1,{},_gi);_.c=0;_.e=-1;_.i=0;var Rgi;var kkb=Cgd(7901);luc(7913,1,{},uhi);_.a=0;_.c=0;_.d=0;_.e=0;_.f=0;var dhi,ehi,fhi,ghi;var jkb=Cgd(7913);luc(2988,1,{},Ghi);_.a=0;_.e=-1;_.f=0;_.g=0;_.i=0;_.k=1;_.n=0;_.o=false;_.p=false;_.q=1;_.r=0;var lkb=Cgd(2988);luc(7905,1,{},Ihi);_.a=0;_.b=0;var mkb=Cgd(7905);luc(2989,1,C$m,Jhi,Khi);_.Ae=function(){return this.c};_.a=0;_.b=0;_.d=0;var okb=Cgd(2989);luc(2991,57,xXm,Mhi);_.He=function(){return this.g};var nkb=Cgd(2991);luc(799,1,{},oVi);_.a=null;_.b='Auto';_.c='Wu';_.d=true;_.e=4;_.f=4;var nVi;var gvb=Cgd(799);luc(7801,1,{});_.g=false;var mCb=Cgd(7801);luc(775,1,{775:1},Arj);_.ye=function(a){if(a==null){return false}if(a===this){return true}if(Wb(a)!=jCb){return false}return xrj(this)==Xb(a)};_.ze=function(){return xrj(this)};_.c=1;var jCb=Cgd(775);luc(1506,1,{},Crj);_.zi=function(a,b){return Xhd(a.mc,b.mc)};_.ye=jro;_.Ai=kro;var iCb=Cgd(1506);luc(944,23,{3:1,16:1,23:1,944:1},Krj);var Drj,Erj,Frj,Grj,Hrj,Irj;var kCb=Dgd(944,Zu,Lrj);luc(823,23,{3:1,16:1,23:1,823:1},Vrj);var Mrj,Nrj,Orj,Prj,Qrj,Rrj,Srj,Trj;var lCb=Dgd(823,Zu,Wrj);var asj='',bsj='',csj,dsj=0,esj,fsj,gsj,hsj;luc(7912,8077,{},Ahm);var Ggc=Cgd(7912);luc(5058,1,oMn);_.Le=function(){!!Mwj&&Nwj(Mwj,(dxj(),Ywj),vRn);Ssf=new tgh;_sf(this.a);Dim(sQl(this.a.b))};luc(1723,7801,{},ntm);var rjc=Cgd(1723);dXm(Tc)(9);\n//# sourceURL=web3d-9.js\n")