$wnd.web3d.runAsyncCallback10("function G5g(){}\nfunction O5g(){}\nfunction _gh(){}\nfunction aMh(){}\nfunction bMh(){}\nfunction cMh(){}\nfunction dMh(){}\nfunction eMh(){}\nfunction fMh(){}\nfunction gMh(){}\nfunction hMh(){}\nfunction Bei(){}\nfunction Vei(){}\nfunction Vfi(){}\nfunction ogi(){}\nfunction qgi(){}\nfunction sgi(){}\nfunction Pgi(){}\nfunction Rgi(){}\nfunction Tgi(){}\nfunction Wgi(){}\nfunction Nii(){}\nfunction DWi(){}\nfunction _sj(){}\nfunction btj(){}\nfunction Ajm(){}\nfunction Rfi(a,b){a.g=b}\nfunction Sfi(a,b){a.i=b}\nfunction Tfi(a,b){a.j=b}\nfunction Ufi(a,b){a.k=b}\nfunction Wsj(a,b){a.q=b}\nfunction OTg(a){this.g=a}\nfunction lhi(a){this.g=a}\nfunction Ihi(a){this.g=a}\nfunction hhi(){this.g=new xtd}\nfunction Hhi(){this.g=new xtd}\nfunction Rhi(){fc.call(this)}\nfunction Vso(){SMd(this)}\nfunction Jso(a){return this.k}\nfunction Kso(a){return this.i}\nfunction Lso(a){return this.j}\nfunction Qso(a){return this.n}\nfunction Uso(a){return a.cs()}\nfunction Sso(a){return a.fX()}\nfunction Iso(a){return null}\nfunction Xso(a){return this===a}\nfunction Ahi(a){return bhi(a,a)}\nfunction Fii(a){return a.i[a.B]}\nfunction Gii(a){return a.k[a.B]}\nfunction Iii(a){return a.k[a.n]}\nfunction Hii(a){return a.i[a.n]}\nfunction qfi(a){a.k=null;a.p=0}\nfunction Pii(a){jc.call(this,a)}\nfunction Tyg(a){Mpf.call(this,a)}\nfunction Uyg(a){Mpf.call(this,a)}\nfunction Vyg(a){Mpf.call(this,a)}\nfunction Wyg(a){Mpf.call(this,a)}\nfunction Xyg(a){Mpf.call(this,a)}\nfunction Yyg(a){Mpf.call(this,a)}\nfunction Zyg(a){Mpf.call(this,a)}\nfunction zzg(a){Mpf.call(this,a)}\nfunction Uzg(a){Mpf.call(this,a)}\nfunction $zg(a){Mpf.call(this,a)}\nfunction jAg(a){Mpf.call(this,a)}\nfunction lAg(a){Mpf.call(this,a)}\nfunction jtj(a,b){Lvc.call(this,a,b)}\nfunction utj(a,b){Lvc.call(this,a,b)}\nfunction Oii(a,b){this.k=a;this.j=b}\nfunction Ogi(a,b){return BQc(a.i,b)}\nfunction Nhi(a,b){EQc(a.j,vhd(a.g),b)}\nfunction Mtj(a,b){Ctj+=a+',';Btj+=b+','}\nfunction wii(a,b,c){a.j=c;a.k=b;return b+1}\nfunction Mii(a){this.j=a;this.i=a.length}\nfunction jhi(a){khi.call(this,a,new Hhi)}\nfunction Dgi(){this.g=new L9c;this.i=new Nnd}\nfunction Mgi(){this.g=new L9c;this.j=new Nnd}\nfunction M5g(){M5g=Auc;L5g=new O5g}\nfunction F5g(){F5g=Auc;E5g=new G5g}\nfunction Oei(){Oei=Auc;Nei=new jvm('',8)}\nfunction Hso(){return new OTg(this)}\nfunction Yso(){return new Hpd(this)}\nfunction Sxh(a){return cf(a,733)||!a.Eb}\nfunction Rso(a){return epj(),a.Wu()?cpj:bpj}\nfunction iid(a,b){return txd(a),a+(txd(b),b)}\nfunction Tso(a){return _Cf(),je(Qu,gpn,368,a,7,1)}\nfunction Hfi(a){return a==null?null:new ujd(a)}\nfunction yGg(a){if(a.G){return a.G.B.length}return 0}\nfunction MHg(a){if(a.r){return 1}return 0}\nfunction CGg(a){if(a.G){return And(a.G,0)}return null}\nfunction XCg(a){!a.i&&(a.i=new Dgi);return a.i}\nfunction Ohi(a){this.j=new KQc;this.g=a.s.yc++}\nfunction Jhi(a){this.g=new xtd;otd(this.g,a,vhd(1))}\nfunction Khi(a,b){this.g=new xtd;otd(this.g,a,vhd(b))}\nfunction Shi(a,b,c){gc.call(this,Uhi(a,b,c))}\nfunction Phi(a){Ohi.call(this,a.rm());this.i=a}\nfunction Lei(a,b,c,d){Mei.call(this,a,c,d);p0d(this.k,b)}\nfunction Yei(a,b,c,d){Zei.call(this,a,c,d);p0d(this.k,b)}\nfunction afi(a,b,c,d){bfi.call(this,a,c,d);p0d(this.k,b)}\nfunction ztd(a){ytd.call(this,(txd(a),Dpd(a.k)));tQc(this,a)}\nfunction ihi(a){khi.call(this,new fld(''+quc(a)),new Hhi)}\nfunction pyj(a){!!kyj&&lyj(kyj,(Dyj(),zyj),a)}\nfunction Eii(a,b){a.q+=b;(a.n-=b)<0&&(a.n+=a.o)}\nfunction N5g(a,b){var c;c=b.sc;c!=null&&Vtd(a.g,c)}\nfunction oii(a,b){do{a.q[a.n++]=hii[b]}while(b++!=1)}\nfunction pii(a,b){if(a.p[b]!=a.o){a.q[a.n++]=b;a.p[b]=a.o}}\nfunction mii(a){var b;a.o=l0m;for(b=12;b-->0;)a.p[b]=mZm}\nfunction zii(a){var b;a.B=-1;b=Jii(a);a.B=a.n;return b}\nfunction Uuf(a){if(cf(a.Eb,166)){return a.Eb.gM(a)}return null}\nfunction VAh(a){if(cf(a.Eb,166)){return a.Eb.hM(a)}return null}\nfunction Hxh(a,b){if(cf(a.Eb,242)){return a.Eb.PO(b)}return null}\nfunction Mxh(a){if(cf(a.Eb,242)){return a.Eb.RO()}throw Ttc(new Qfi)}\nfunction UAh(a){if(cf(a.Eb,166)){return a.Eb.gM(a)}throw Ttc(new Qfi)}\nfunction Mhi(a,b){if(cf(b,52)){return a.g==b.g}return kf(a)===kf(b)}\nfunction Zgi(a,b){if(cf(b,28)){return Ygi(a,b)==0}return kf(a)===kf(b)}\nfunction Cxh(a,b){if(cf(a.Eb,242)){return a.Eb.OO(b)}throw Ttc(new Qfi)}\nfunction Ixh(a,b){if(cf(a.Eb,242)){a.Eb.QO(b);return}throw Ttc(new Qfi)}\nfunction Usj(a,b){if(!a.o||b!=(itj(),htj)){return b}return a.o}\nfunction nhi(a){if(a==null||a.length==0)return '';return ','+a}\nfunction $gi(a){if(a.g.o>1){return null}return Smd(ftd(a.g)).n}\nfunction Dhi(a,b){if(cf(b,717)){return Chi(a,b)==0}return kf(a)===kf(b)}\nfunction Lhi(a,b){var c;c=b.g;if(a.gc){return -1}return 0}\nfunction Qtj(a){var b;b=a.sc;if(b!=null){return '$'+b+'$'}return null}\nfunction Yzg(a,b,c,d){var e,f;e=new wfi(a.n,c,d);f=e.j;p0d(f,b);return f}\nfunction Tei(a,b,c,d){Oei();Uei.call(this,a,c,d);p0d(this.k,b)}\nfunction khi(a,b){hhi.call(this);a!=(Gkd(),Fkd)&&otd(this.g,b,a)}\nfunction mhi(a){hhi.call(this);otd(this.g,new Jhi(a),(Gkd(),Bkd))}\nfunction Qfi(){gc.call(this,'No symbolic parameters available')}\nfunction Pfi(a,b,c){this.i=new KQc;this.j=a;this.k=b;this.g=c}\nfunction Mso(a){if(this.j!=null){return this.j}this.j=PTg(this.eb);return this.j}\nfunction Mei(a,b,c){kNd.call(this,a);this.i=b;this.j=c;this.k=new Uyh(a);Kei(this);Iei(this)}\nfunction cii(a,b){var c,d;d=Yhi(a,6);if(c=CQc(b,d.j))return c;throw Ttc(new Rhi)}\nfunction Wso(a){if(!!this.i&&!!this.j){Ixh(this.i,a);Ixh(this.j,a);return}throw Ttc(new Qfi)}\nfunction Pso(a){if(!!this.g&&!!this.i){GKh(this.g,a);GKh(this.i,a);return}throw Ttc(new Qfi)}\nfunction yii(a){lii();this.p=je(sf,TZm,5,12,15,1);this.q=je(sf,TZm,5,24,15,1);new sjd;this.i=a}\nfunction Bfi(a){a.eb=je(Wdb,gjn,15,1,0,1);a.eb[0]=a.j;_Md(a,a.g);XMd(a);a.i=Xsj(a.j)}\nfunction Ffi(a){a.eb=je(Wdb,gjn,15,1,0,1);a.eb[0]=a.k;_Md(a,a.i);XMd(a);a.g=Xsj(a.k)}\nfunction lfi(a){a.eb=je(Wdb,gjn,15,2,0,1);a.eb[0]=a.k;a.eb[1]=a.j;_Md(a,a.n);XMd(a)}\nfunction Kei(a){a.eb=je(Wdb,gjn,15,2,0,1);a.eb[0]=a.i;a.eb[1]=a.j;_Md(a,a.k);XMd(a)}\nfunction Eei(a){a.eb=je(Wdb,gjn,15,3,0,1);a.eb[0]=a.i;a.eb[1]=a.j;a.eb[2]=a.k;_Md(a,a.n);XMd(a)}\nfunction Cii(a){return a.n>=a.B?Tid(a.j,a.B,a.n-a.B+1):Tid(a.j,a.B,a.o-a.B)+Tid(a.j,0,a.n+1)}\nfunction Iei(a){var b;b=a.i.tu(a.j);if((epj(),dpj)==b){Pyh(a.k)}else{a.k.j=true;Qyh(a.k,b==cpj)}}\nfunction Ifi(a){var b,c;c=new L9c;for(b=0;b1){return false}if(Dhi(Tmd(ftd(a.g)),new Hhi)){return true}return false}\nfunction Ugi(a,b){if(a.r!=null){return}a.r=je(kkb,K6n,52,2,0,1);a.r[0]=new Ohi(b);a.r[1]=new Ohi(b)}\nfunction Uei(a,b,c){Oei();kNd.call(this,a);this.i=b;this.j=c;this.k=new Uyh(a);Kei(this);Qei(this)}\nfunction mfi(a,b,c){kNd.call(this,a);this.k=b;this.j=c;this.n=new Uyh(a);lfi(this);this.n.o=false}\nfunction pfi(a,b,c,d){kNd.call(this,a);this.i=c;this.j=d;this.k=new Uyh(a);Kei(this);nfi(this);p0d(this.k,b)}\nfunction Cfi(a,b,c){kNd.call(this,a);this.j=c;this.g=new Uyh(a);Bfi(this);Afi(this);zfi(this);p0d(this.g,b)}\nfunction hfi(a,b,c){kNd.call(this,a);this.n=0;this.k=c;this.o=b;this.j=new kKf(a);gfi(this);cfi(this)}\nfunction wfi(a,b,c){kNd.call(this,a);qfi(this);this.k=b;this.o=c;this.j=new kKf(a);vfi(this);rfi(this,!!this.k)}\nfunction bfi(a,b,c){kNd.call(this,a);this.i=b;this.j=c;this.k=new Uyh(a);Kei(this);Qyh(this.k,_xh(this.i,this.j))}\nfunction Zei(a,b,c){kNd.call(this,a);this.i=b;this.j=c;this.k=new Uyh(a);Kei(this);Qyh(this.k,$xh(this.i,this.j))}\nfunction Gfi(a,b,c){kNd.call(this,a);this.j=false;this.k=b;this.j=c;this.i=new eJh(a);Ffi(this);Efi(this);Dfi(this)}\nfunction Bhi(a,b,c,d){return Xgi(Ahi(Xgi(new mhi(a),chi(new mhi(c)))),Ahi(Xgi(new mhi(b),chi(new mhi(d)))))}\nfunction eqg(a,b,c,d){return SUi(d,'TriangleABCnonDegenerate',null,me(fe(kv,1),zZm,2,6,[Gpg(a)+Gpg(b)+Gpg(c)]))}\nfunction Zzg(a,b,c,d){var e,f;if(!d.N||!!c.N||!g_d(d,c)){return null}e=new xfi(a.n,c,d);f=e.j;p0d(f,b);return f}\nfunction Jii(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&&Bii(a);b=a.j[a.n];Dii(a,b);return b}\nfunction vhi(a){var b,c,d,e;d=new L9c;c=0;a!=null&&(c=a.length);for(b=0;b0)return Fid(c.g,1);return ''}\nfunction qii(a){var b,c,d,e,f;e=iii[a.j];d=e==null?Cii(a.i):e;c=Gii(a.i);b=Fii(a.i);Iii(a.i);Hii(a.i);f=new Oii(a.j,d);f.i=c;f.g=b;return f}\nfunction Lii(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);pid(a.j,a.g,a.g+f,b,c);a.g+=f;return f}\nfunction xfi(a,b,c){kNd.call(this,a);qfi(this);this.o=c;this.n=b;this.k=null;this.j=new kKf(a);vfi(this);rfi(this,!!this.k)}\nfunction Dei(a,b,c,d){kNd.call(this,a);this.i=b;this.j=c;this.k=d;this.n=new Uyh(a);Cei(this);Qyh(this.n,OLh(this.i,this.j,this.k))}\nfunction Fei(a,b,c,d,e){kNd.call(this,a);this.i=c;this.j=d;this.k=e;this.n=new Uyh(a);Eei(this);Qyh(this.n,zyh(this.i,this.j,this.k));p0d(this.n,b)}\nfunction Dfi(a){var b;if(!VNd(a.hd._K()).xi()){a.g=null;return}b=a.g;Ffi(a);if(b==null||!nid(b,a.g)){syj(b+pNn+a.g);Efi(a)}}\nfunction Oso(a){var b,c;if(!!this.g&&!!this.i){b=FKh(this.g,a);c=FKh(this.i,a);if(b!=null&&c!=null){return TTg(b,c)}}throw Ttc(new Qfi)}\nfunction Yhi(a,b){var c;(c=a.r).n?(a.r=a.r.n):(a.r=a.r.n=nii(a.s));a.q=-1;if(a.r.k==b){++a.j;return a.r}a.r=c;a.n=b;throw Ttc(Xhi(a))}\nfunction kAg(a,b,c,d){var e,f;if(cf(b,365)){e=new Gfi(a.n,b,c);p0d(e.i,euf(d));f=me(fe(Wdb,1),gjn,15,0,[e.i]);return f}throw Ttc(ppf(a,d.q,b))}\nfunction Tsj(a){if(a.o){if(a.o==(itj(),etj)||a.o==ftj||a.o==gtj){return epj(),cpj}if(a.o==ctj){return epj(),bpj}}return epj(),dpj}\nfunction zyh(a,b,c){sxh();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 aon5||e<0.2||c){nyj('myPrecision='+quc(a.n)+o7n+quc(d)+p7n+e);a.i=null;a.n=d;return true}return false}\nfunction vvm(){this.g=(ttj(),ltj);this.i=new L9c;this.j=new Nnd;wnd(this.j,stj);wnd(this.j,mtj);wnd(this.j,qtj);this.k=new Nnd;wnd(this.k,mtj);wnd(this.k,qtj)}\nfunction dgi(a,b){var c;if(J9c(a.u,b)){!!kyj&&lyj(kyj,(Dyj(),wyj),'Ignoring existing poly '+b);return}I9c(a.u,b);c=JQc(a.u.g);nyj('Adding poly #'+c+oZm+ghi(b))}\nfunction tii(b){try{b.g=Jii(b.i)}catch(a){a=Stc(a);if(cf(a,317)){xii(0,128);return 1}else throw Ttc(a)}if(b.g==49){return uii(b,128)}return rii(b,xii(0,128),1)}\nfunction Hei(a,b,c,d,e,f){kNd.call(this,a);this.i=c;this.j=d;this.k=e;this.n=f;this.o=new Uyh(a);Gei(this);Qyh(this.o,PLh(this.i,this.j,this.k,this.n));p0d(this.o,b)}\nfunction sfi(a,b){var c;c=agi(b?a.k:a.n,a.o,b,a);if(!c){!!kyj&&lyj(kyj,(Dyj(),wyj),'Cannot compute locus equation (yet?)');ufi(a,a.hd,true);return null}return tfi(a,c)}\nfunction $fi(a){var b,c,d,e,f;d=new Nnd;for(f=(c=(new Wmd(CZd(a).i)).g._g().i.Ej(),new Xmd(c));f.g.$i();){e=(b=f.g._i(),b.Ji());e.av()&&!e.Eb&&(_wd(d.B,e),true)}return d}\nfunction dii(a){var b;this.o=je(sf,TZm,5,10,15,1);this.g=new Nnd;this.k=new Kii(a);this.s=new yii(this.k);this.r=new Nii;this.q=-1;this.j=0;for(b=0;b<10;b++)this.o[b]=-1}\nfunction Vuf(a,b){if(cf(a.Eb,166)){return a.Eb.hM(a)}if(!a.Eb){if(a.r==null){a.r=je(kkb,K6n,52,1,0,1);a.r[0]=new Ohi(a.hd);nyj('Variable '+b.gt()+'('+a.r[0]+')')}}return a.r}\nfunction STg(a,b){var c;c=je(sf,TZm,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 TTg(a,b){var c;c=je(ov,Wgn,144,3,0,1);c[0]=Mld(Vkd(a[1],b[2]),Vkd(a[2],b[1]));c[1]=Mld(Vkd(a[2],b[0]),Vkd(a[0],b[2]));c[2]=Mld(Vkd(a[0],b[1]),Vkd(a[1],b[0]));return UTg(c)}\nfunction qhi(a,b){var c;c=je(ikb,O6n,28,3,0,1);c[0]=Xgi(bhi(a[1],b[2]),chi(bhi(a[2],b[1])));c[1]=Xgi(bhi(a[2],b[0]),chi(bhi(a[0],b[2])));c[2]=Xgi(bhi(a[0],b[1]),chi(bhi(a[1],b[0])));return c}\nfunction gii(){gii=Auc;fii=me(fe(kv,1),zZm,2,6,[V_m,'\" \"','\"\\\\t\"','\"\\\\n\"','\"\\\\r\"','','','\"[1]:\"','','',X_m,'\"+\"','\"-\"','\"*\"','\"^\"'])}\nfunction ufi(a,b,c){var d,e;d=i$e(b);e=ouc(a.p)/ouc(d);if(e>5||e<0.2||c){nyj('resetFingerprint: myPrecision='+quc(a.p)+o7n+quc(d)+p7n+e);a.i=null;a.p=d;return true}return false}\nfunction UTg(a){var b,c,d,e;b=(Gkd(),Fkd);for(d=0;d1&&(f.g+='^{'+e+'}',f)}return f.g}\nfunction GKh(a,b){if(!a.Eb){!a.Y&&(a.Y=new Phi(a));!a.Z&&(a.Z=new Phi(a));Nhi(a.Y,a.Z);Nhi(a.Z,a.Y);I9c(b,a.Y);I9c(b,a.Z);return}if(cf(a.Eb,242)){a.Eb.QO(b);return}throw Ttc(new Qfi)}\nfunction FOd(a){var b,c,d;c=new sjd;b=new vmd((new smd(a)).g);while(b.i){d=umd(b);c.g+=',';hjd(c,iid('v',''+d.Ji().g));c.g+='=';gjd(c,d.Ki())}if(c.g.length>0){return Fid(c.g,1)}return ''}\nfunction ylg(a,b,c){var d,e;if(a.k.B.length!=0){e=new Tnd(a.k);while(e.gEtj&&(Etj=b);c=a.Eb;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 Fid(i.g,1);return ''}\nfunction Igi(a,b){var c,d,e,f,g,h,i;for(g=a.r,h=0,i=g.length;h0&&mjd(e,e.g.length-1);e.g+='-'}else{Ikd(Hld(b,Bkd),Fkd)<0&&e.g.length>0&&mjd(e,e.g.length-1);e.g+=''+b}}hjd(e,Ghi(f))}e.g+='+'}return Dfd(e,0,e.g.length-1)}\nfunction xhi(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!kyj&&lyj(kyj,(Dyj(),Byj),'Setting up equation for parallel lines ('+a+','+b+')-'+'('+c+','+d+G7n+'('+e+','+f+')-'+'('+g+','+h+')');i=new mhi(a);j=new mhi(b);k=new mhi(c);l=new mhi(d);m=new mhi(e);n=new mhi(f);o=new mhi(g);p=new mhi(h);q=Xgi(bhi(Xgi(i,chi(k)),Xgi(n,chi(p))),chi(bhi(Xgi(j,chi(l)),Xgi(m,chi(o)))));return q}\nfunction yhi(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!kyj&&lyj(kyj,(Dyj(),Byj),'Setting up equation for perpendicular lines ('+a+','+b+')-'+'('+c+','+d+G7n+'('+e+','+f+')-'+'('+g+','+h+')');i=new mhi(a);j=new mhi(b);k=new mhi(c);l=new mhi(d);m=new mhi(e);n=new mhi(f);o=new mhi(g);p=new mhi(h);q=Xgi(bhi(Xgi(i,chi(k)),Xgi(m,chi(o))),bhi(Xgi(j,chi(l)),Xgi(n,chi(p))));return q}\nfunction pgi(a,b){var c,d,e,f;if(a.q!=null){return a.q}d=b[0].hM(b[0]);if(a.r==null){a.r=je(kkb,K6n,52,4,0,1);a.r[0]=new Ohi(b[0].rm());a.r[1]=new Ohi(b[0].rm());a.r[2]=d[0];a.r[3]=d[1]}c=me(fe(kkb,1),K6n,52,0,[a.r[0],a.r[1]]);e=b[1].hM(b[1]);f=b[2].hM(b[2]);a.q=je(ikb,O6n,28,2,0,1);a.q[0]=shi(d[0],d[1],c[0],c[1],e[0],e[1]);a.q[1]=shi(d[0],d[1],c[0],c[1],f[0],f[1]);return a.q}\nfunction Bii(b){var c,d;if(b.t==b.g){if(b.g==b.o){if(b.B>w0m){b.n=b.t=0;b.g=b.B}else b.B<0?(b.n=b.t=0):Aii(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++){(Vhi[d]&1<126){f=(d=b,vZm+d.toString(16));hjd(e,uZm+Gid(f,f.length-4,f.length))}else{e.g+=String.fromCharCode(b)}continue;}}return e.g}\nfunction xei(b,c,d){var e,f,g,h,i,j,k,l,m,n,o;if(d){n=new KQc;for(f=new vmd((new smd(b)).g);f.i;){e=umd(f);o=e.Ji();EQc(n,o,e.Ki())}h=(!CWi&&(CWi=new DWi),CWi);m=zhi(E9c(d.u,je(ikb,O6n,28,JQc(d.u.g),0,1)),n,d.r.rm(),h.k,d.n);!!kyj&&lyj(kyj,(Dyj(),wyj),'Recio meets Botana:'+n);if(m==(epj(),cpj)){return itj(),ctj}}else{try{g=c.g.PO(b);for(j=g,k=0,l=j.length;k1?Dxd(n.g[0],n.g[1]):Dxd(n.g[0],0);Ztc(n.n>0?r:guc(r),0)?ptd(m,o):otd(m,o,n)}else{f=l.g[0];(l.n>0?f:-f|0)!=0&&otd(m,o,l)}}return new lhi(m)}\nfunction Aii(b,c){var d,e,f,g;e=je(pf,tZm,5,b.o+w0m,15,1);f=je(sf,TZm,5,b.o+w0m,15,1);d=je(sf,TZm,5,b.o+w0m,15,1);try{if(c){wjd(b.j,b.B,e,0,b.o-b.B);wjd(b.j,0,e,b.o-b.B,b.n);b.j=e;wjd(b.k,b.B,f,0,b.o-b.B);wjd(b.k,0,f,b.o-b.B,b.n);b.k=f;wjd(b.i,b.B,d,0,b.o-b.B);wjd(b.i,0,d,b.o-b.B,b.n);b.i=d;b.t=b.n+=b.o-b.B}else{wjd(b.j,b.B,e,0,b.o-b.B);b.j=e;wjd(b.k,b.B,f,0,b.o-b.B);b.k=f;wjd(b.i,b.B,d,0,b.o-b.B);b.i=d;b.t=b.n-=b.B}}catch(a){a=Stc(a);if(cf(a,68)){g=a;throw Ttc(new jc(g.Oe()))}else throw Ttc(a)}b.o+=w0m;b.g=b.o;b.B=0}\nfunction vfi(a){var b,c,d,e,f,g;f=new bud;a.q=je(Wdb,gjn,15,2,0,1);if(a.k){Vtd(f,a.o);g=(d=(new Wmd(CZd(a.k).i)).g._g().i.Ej(),new Xmd(d));a.q[0]=a.k}else{Vtd(f,a.o.N.yx());g=(d=(new Wmd(CZd(a.n).i)).g._g().i.Ej(),new Xmd(d));a.q[0]=a.n}while(g.g.$i()){e=(c=g.g._i(),c.Ji());(!e.Eb&&(!e.Xb||!Izh(e.Xb))||e.Mv())&&f.i.put(e,(Ofd(),Mfd))==null}_td(f,a.o);a.g=je(Wdb,gjn,15,f.i.size(),0,1);a.g=E9c(f,a.g);a.q[1]=a.o;_Md(a,a.j);ZMd(a,a.q,a.g);b=a.o.fd;do{Fnd(b.k,a)}while(Bnd(b.k,a,0)!=-1);wnd(b.k,a);a.i=ifi(a.g);a.p=i$e(a.hd)}\nfunction Ssj(a){var b,c,d,e;if(!a.q){!!kyj&&lyj(kyj,(Dyj(),yyj),'No statement to prove');a.o=(itj(),htj);return}c=a.q.Eb;if(!c){nid(a.q.Bx((xrg(),Wqg)),E3m)?(a.o=(itj(),etj)):nid(a.q.Bx(Wqg),ekn)?(a.o=(itj(),ctj)):(a.o=(itj(),htj));return}Ptj(a.q);if(a.g!=(ttj(),ltj)){Rsj(a,a.g);return}nyj(D7n+a.g);a.p?(d=new Tnd(a.k)):(d=new Tnd(a.j));a.o=(itj(),htj);while((a.o==htj||a.o==ftj)&&d.g0){zfd(f,j-1,j-1+1,'');hjd(hjd(o,SUi(k,'LetABeArbitraryPoints',null,me(fe(kv,1),zZm,2,6,[f.g]))),'.\\n')}o.g+=h;p=Rid(a.Eb);hjd(hjd(o,SUi(k,'ProveThat',null,me(fe(kv,1),zZm,2,6,[p]))),'.');return o.g}\nfunction yei(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 Gmd(b.g)).g._g().tf(),new Hmd(l)).g._i(),i.Ji());for(k=1;k<=d+2;k++){EQc(c,u,(Gkd(),Wtc(k,0)>=0?hld(k):Wkd(hld(guc(k)))));if(f){s=new KQc;for(h=new vmd((new smd(c)).g);h.i;){g=umd(h);t=g.Ji();EQc(s,t,g.Ki())}m=(!CWi&&(CWi=new DWi),CWi);r=zhi(E9c(f.u,je(ikb,O6n,28,JQc(f.u.g),0,1)),s,f.r.rm(),m.k,f.n);!!kyj&&lyj(kyj,(Dyj(),wyj),h7n+k+' '+s);if(r==(epj(),cpj)){return itj(),ctj}}else{try{j=e.g.PO(c);for(o=j,p=0,q=o.length;p>6],juc(1,b.j&63)),0)){h=qii(b);return h}else{continue i}}g=Iii(b.i);f=Hii(b.i);e=null;c=false;try{Jii(b.i);Eii(b.i,1)}catch(a){a=Stc(a);if(cf(a,317)){c=true;e=d<=1?'':Cii(b.i);if(b.g==10||b.g==13){++g;f=0}else ++f}else throw Ttc(a)}if(!c){Eii(b.i,1);e=d<=1?'':Cii(b.i)}throw Ttc(new Qii(c,g,f,e,b.g))}}\nfunction wgi(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.v){case 20:Tfi(c,Xgi(g,j));break;case 21:Tfi(c,Xgi(g,chi(j)));break;case 24:Tfi(c,bhi(g,j));break;case 28:i=Dhd(Ukd($gi(c.k.j)));if(i){h=g;for(f=vhd(1);cuc(f.g,i.g);d=f,f=vhd(f.g+1),d){h=bhi(h,g)}c.j=h}break;default:throw Ttc(new Qfi);}}b.u.Cu()&&!c.g.j&&wgi(a,b.u,c.g);b.C.Cu()&&!c.k.j&&wgi(a,b.C,c.k);if(cf(b.u,38)&&!c.g.j){e=dkd(new hkd(b.u.cs()));Tfi(c.g,new jhi(e))}if(cf(b.C,38)&&!c.k.j){e=dkd(new hkd(b.C.cs()));Tfi(c.k,new jhi(e))}if(cf(b.u,38)&&cf(b.C,167)){e=dkd(new hkd(b.u.cs()));l=Bgi(a,b.C.ln((xrg(),Vqg)));if(l){k=new Jhi(l);Tfi(c,new khi(e,k));return}}}\nfunction Fgi(a,b,c){var d,e,f,g,h,i,j,k,l;if(c.j){return}if(!!c.g&&!c.k&&c.i==($jj(),pjj)){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.v){case 20:Tfi(c,Xgi(g,j));break;case 21:Tfi(c,Xgi(g,chi(j)));break;case 24:Tfi(c,bhi(g,j));break;case 28:i=Dhd(Ukd($gi(c.k.j)));if(i){h=g;for(f=vhd(1);cuc(f.g,i.g);d=f,f=vhd(f.g+1),d){h=bhi(h,g)}c.j=h}break;default:throw Ttc(new Qfi);}}b.u.Cu()&&!c.g.j&&Fgi(a,b.u,c.g);!!b.C&&b.C.Cu()&&!c.k.j&&Fgi(a,b.C,c.k);if(cf(b.u,38)&&!c.g.j){e=dkd(new hkd(b.u.cs()));Tfi(c.g,new jhi(e))}if(cf(b.C,38)&&!c.k.j){e=dkd(new hkd(b.C.cs()));Tfi(c.k,new jhi(e))}if(cf(b.u,38)&&cf(b.C,167)){e=dkd(new hkd(b.u.cs()));l=Igi(a,b.C.ln((xrg(),Vqg)));if(l){k=new Jhi(l);Tfi(c,new khi(e,k));return}}}\nfunction rgi(a,b,c,d){var e,f,g,h,i,j,k,l,m,n,o,p,q;if(a.q!=null){return a.q}e=b;f=c;if(cf(d,122)){throw Ttc(new Qfi)}n=null;cf(d,36)&&(n=d);if(!e||!f||!n){throw Ttc(new Qfi)}if(a.r==null){g=xKh(e,e);h=xKh(f,f);a.r=je(kkb,K6n,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 Ohi(e.hd);a.r[5]=new Ohi(e.hd);a.r[6]=new Ohi(e.hd)}a.q=je(ikb,O6n,28,2,0,1);i=null;cf(n.Eb,398)&&(i=Uuf(n));o=Vuf(n,n);l=0;q=Ahi(new mhi(o[0]));if(i!=null){a.q=je(ikb,O6n,28,i.length+1,0,1);for(l=0;l3?(p.g='DegeneratePolygon'):(p.g=oEn);n=je(Wdb,gjn,15,s,0,1);o=0;for(c=new Tnd(d);c.g=0?hld((d+2-k)*(d+2-n)):Wkd(hld(guc((d+2-k)*(d+2-n))))));EQc(c,A[1],Wtc(k*n,0)>=0?hld(k*n):Wkd(hld(guc(k*n))));if(f){v=new KQc;for(i=new vmd((new smd(c)).g);i.i;){h=umd(i);w=h.Ji();EQc(v,w,h.Ki())}u=zhi(E9c(f.u,je(ikb,O6n,28,JQc(f.u.g),0,1)),v,f.r.rm(),(!CWi&&(CWi=new DWi),CWi).k,f.n);!!kyj&&lyj(kyj,(Dyj(),wyj),h7n+g+' '+v);if(u==(epj(),cpj)){return itj(),ctj}}else{try{j=e.g.PO(c);for(r=j,s=0,t=r.length;s5&&(f=5);{pii(b,0)}break;case 6:case 4:huc(Vtc(wJn,g),0)&&(pii(b,4),pii(b,6));break;case 2:if(Ztc(Vtc(wJn,g),0))break;f>6&&(f=6);b.q[b.n++]=2;break;case 5:b.g==58&&(f=8);break;case 8:huc(Vtc(wJn,g),0)&&oii(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!=iZm){b.j=f;b.k=d;f=iZm}++d;if((e=b.n)==(h=12-(b.n=h)))return d;try{b.g=Jii(b.i)}catch(a){a=Stc(a);if(cf(a,317)){return d}else throw Ttc(a)}}}\nfunction Ggi(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.hd;i=c.g.Hs();Lgi(b,i,p);if(b.r==null){b.r=je(kkb,K6n,52,b.j.B.length+1,0,1);b.r[0]=new Ohi(p);if(b.j.B.length==0){throw Ttc(new Qfi)}else{n=new Tnd(b.j);o=1;while(n.g=0;s--){w=Vkd(w,Mld(Vkd((Gkd(),Wtc(t,0)>=0?hld(t):Wkd(hld(guc(t)))),kld(p[s])),Wtc(o,0)>=0?hld(o):Wkd(hld(guc(o)))));g[o][s]=w}EQc(c,H[o],w)}++u;if(f){F=new KQc;for(j=new vmd((new smd(c)).g);j.i;){i=umd(j);G=i.Ji();EQc(F,G,i.Ki())}D=zhi(E9c(f.u,je(ikb,O6n,28,JQc(f.u.g),0,1)),F,f.r.rm(),(!CWi&&(CWi=new DWi),CWi).k,f.n);!!kyj&&lyj(kyj,(Dyj(),wyj),'Recio meets Botana #'+u+oZm+F);if(D==(epj(),cpj)){return itj(),ctj}}else{try{k=e.g.PO(c);for(A=k,B=0,C=A.length;B0?(q=0):(q/=s));v=1/u;A+=B*v*v;A/=u;!!kyj&&lyj(kyj,(Dyj(),wyj),'population='+l);!!kyj&&lyj(kyj,(Dyj(),wyj),'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=xKh(CGg(e),CGg(e));f[f.length-1]=Xgi(bhi(Bhi(i[0],i[1],g[0],g[1]),new mhi(new Ohi(v))),chi(new ihi(1)))}EQc(a.g,b,f);return f}h=je(kkb,K6n,52,2,0,1);!a.i&&(a.i=new KQc);if(yQc(a.i,b)){h=BQc(a.i,b)}else{h=je(kkb,K6n,52,2,0,1);h[0]=new Ohi(v);h[1]=new Ohi(v);EQc(a.i,b,h)}if(!a.g){j=UAh(c);l=VAh(c);m=UAh(d);o=VAh(d);k=j.length;n=m.length;f=je(ikb,O6n,28,k+n,0,1);for(t=0;t0&&(i.g+=',',i);i.g+=''+K}n=new L9c;x9c(n,a.n);H9c(n,new Gmd(b));o=new sjd;for(L=(G=(new Gmd(n.g)).g._g().tf(),new Hmd(G));L.g.$i();){K=(l=L.g._i(),l.Ji());o.g.length>0&&(o.g+=',',o);o.g+=''+K}h=Mfi._K();fgi(a);p=VNd(h).un(b,a.v,o.g,i.g);q=v_i(MPi(h.g).i)?VNd(h).xn(p):'?';r=q.length-Aid(q,'{','').length-1;A=new L9c;H=1;for(s=0;sc+1}++k}}\nfunction Vgi(a,b){var c,d,e,f,g,h,i,j;h=b.rm();if(a.q!=null){return a.q}if(cf(b,73)){if(a.r==null){a.r=je(kkb,K6n,52,2,0,1);a.r[0]=new Ohi(h);a.r[1]=new Ohi(h)}g=b.hM(b);if(g==null){Ugi(a,h);return null}a.q=je(ikb,O6n,28,1,0,1);a.q[0]=phi(g[0],g[1],g[2],g[3],a.r[0],a.r[1]);return a.q}if(cf(b,177)){if(b.yb==4){if(a.r==null){a.r=je(kkb,K6n,52,2,0,1);a.r[0]=new Ohi(h);a.r[1]=new Ohi(h)}g=b.hM(b);if(g==null){Ugi(a,h);return null}a.q=je(ikb,O6n,28,1,0,1);a.q[0]=shi(g[2],g[3],g[0],g[1],a.r[0],a.r[1]);return a.q}if(b.yb==9){if(a.r==null){a.r=je(kkb,K6n,52,4,0,1);a.r[0]=new Ohi(h);a.r[1]=new Ohi(h);a.r[2]=new Ohi(h);a.r[3]=new Ohi(h)}j=b.hM(b);if(j==null){Ugi(a,h);return null}a.q=je(ikb,O6n,28,3,0,1);a.q[0]=shi(j[8],j[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[1]=phi(j[4],j[5],a.r[2],a.r[3],j[6],j[7]);a.q[2]=yhi(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.yb==3||b.yb==5){if(a.r==null){a.r=je(kkb,K6n,52,4,0,1);a.r[0]=new Ohi(h);a.r[1]=new Ohi(h);a.r[2]=new Ohi(h);a.r[3]=new Ohi(h)}i=b.hM(b);if(i==null){Ugi(a,h);return null}if(cf(b.Eb,955)){a.q=je(ikb,O6n,28,2,0,1);a.q[0]=Xgi(new mhi(i[0]),chi(new mhi(a.r[0])));a.q[1]=Xgi(new mhi(i[1]),chi(new mhi(a.r[1])));return a.q}a.q=je(ikb,O6n,28,3,0,1);e=new mhi(a.r[2]);f=new mhi(a.r[3]);c=new mhi(i[2]);d=new mhi(i[3]);a.q[0]=Xgi(Xgi(Xgi(c,d),chi(e)),chi(f));a.q[1]=Xgi(Bhi(a.r[0],a.r[1],i[6],i[7]),chi(bhi(e,e)));a.q[2]=Xgi(Bhi(a.r[0],a.r[1],i[8],i[9]),chi(bhi(f,f)));return a.q}}Ugi(a,h);return null}\nfunction wei(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;nid('groebner',(!CWi&&(CWi=new DWi),CWi).j)&&(d=true);e=null;D=c.q;if(cf(D,242)){C=D.SO()}else if(cf(D.Eb,242)){C=D.Eb.SO()}else{return itj(),htj}if(d){B=new vvm;Rfi(B,(ttj(),stj));e=new kgi(D,null,B);if(e.A==(itj(),dtj)){return dtj}}H=new L9c;if(d){l=$fi(D);u=new Tnd(l);while(u.g5){!!kyj&&lyj(kyj,(Dyj(),wyj),\"Recio's method is currently disabled when # of free variables > 5\");return itj(),htj}try{g=C.g.OO(b)}catch(a){a=Stc(a);if(cf(a,79)){return itj(),htj}else throw Ttc(a)}f=0;for(q=g,r=0,s=q.length;r0){Zsj(o,a.fd);v=null;if(a.j){new fqg(a.hd);d=o.g;nid(lEn,d)?(v=Hfi(Jpg(o.i[0],o.i[1],true,a.fd.V.s.u4()))):nid(oEn,d)?(v=Hfi(eqg(o.i[0],o.i[1],o.i[2],a.fd.V.s.u4()))):nid(kEn,d)?(v=Hfi(Fpg(o.i[0],o.i[1],false,a.fd.V.s.u4()))):nid(mEn,d)?(v=Hfi(Opg(o.i[0],o.i[1],false,a.fd.V.s.u4()))):nid(nEn,d)&&(v=Hfi(Apg(o.i[0],o.i[1],false,a.fd.V.s.u4())))}if(!v||!a.j){i=o.i;if(i==null){v=Hfi(o.g)}else{v=Hfi(gom(a.fd.V.s.u4(),o.g));v.g+='[';for(j=0;j0&&(v.g+=',',v);h=o.i[j];h?hjd(v,o.i[j].sc):(v.g+=$Dn,v)}v.g+=']';a.j&&ojd(v,0,kom(a.fd.V.s.u4(),'not')+' ')}}xOh(m,v.g);m.xc=false;m.bc=false;w.i.put(m,Mfd)==null}}l=(g=(new Wmd(w.i)).g._g().i.Ej(),new Xmd(g));while(l.g.$i()){BHh(n,(f=l.g._i(),f.Ji()))}if(txd(B),B){m=new IOh(a.fd);xOh(m,$Dn);m.xc=false;m.bc=false;w.i.put(m,Mfd)==null;BHh(n,m)}n.t.B.length>0&&BHh(a.i,n);if(s==gtj){c=new IOh(a.fd);xOh(c,'c');c.xc=false;c.bc=false;BHh(a.i,c)}}}nyj('OUTPUT for ProveDetails: '+a.i)}\nfunction Xfi(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=(!CWi&&(CWi=new DWi),CWi);m=G.rm();if(!cf(G.Eb,927)){pyj(G.Eb+u7n);return itj(),htj}C.k=false;C.g==null&&(C.g=(Ofd(),false));e=new kgi(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=Zfi(b,k)}catch(a){a=Stc(a);if(cf(a,79)){e.A=(itj(),htj);!!kyj&&lyj(kyj,(Dyj(),wyj),'Cannot add fix values');return e.A}else throw Ttc(a)}!!kyj&&lyj(kyj,(Dyj(),wyj),'substitutions: '+H)}t=new Pfi(b,H,e.n);l=false;w=0;while(!l&&w<1){h=rhi(E9c(e.u,je(ikb,O6n,28,JQc(e.u.g),0,1)),H,m,(++w,true),e.n);if(!h){return itj(),htj}q=(v=(new Gmd(h.g)).g._g().tf(),new Hmd(v));J=new Nnd;L=new Nnd;K=JQc(h.g)==2;f=new Nnd;g=A$m;p=0;while(q.g.$i()){++p;!!kyj&&lyj(kyj,(Dyj(),wyj),'Considering NDG '+p+_Zm);s=new Nnd;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){!!kyj&&lyj(kyj,(Dyj(),wyj),'Statement is NOT GENERALLY TRUE');hgi(e,e.r);cgi(e,e.r,e.C);h=rhi(E9c(e.u,je(ikb,O6n,28,JQc(e.u.g),0,1)),H,m,(++w,true),e.n);q=(u=(new Gmd(h.g)).g._g().tf(),new Hmd(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){hgi(e,e.r);n=JQc(e.n.g)-(new Gmd(H)).g.size();!!kyj&&lyj(kyj,(Dyj(),wyj),'Naive dimension = '+n);if(!Nfi(e,H,n)){!!kyj&&lyj(kyj,(Dyj(),wyj),'Statement is NOT GENERALLY FALSE');return itj(),gtj}return itj(),htj}}}return itj(),ctj}if(!ahi(B)){if(e.s){!!kyj&&lyj(kyj,(Dyj(),wyj),v7n);return itj(),htj}r=Ofi(t,B);if(!r){D=false}else{K=K&&I.size()==1;if(K){if(nid(r.g,'xAreEqual')){A=new L9c;I9c(A,r.i[0]);I9c(A,r.i[1]);_wd(J.B,A)}if(nid(r.g,'yAreEqual')){A=new L9c;I9c(A,r.i[0]);I9c(A,r.i[1]);_wd(L.B,A)}if(J.B.length==1&&wmd(J,L)){r.g=kEn;r.j=0.5}}_wd(s.B,r);F+=r.j}}}if(D&&F0&&K!=null){v?(v=false):(M.g+=',',M);M.g+=L}G=0;b=C.Eb;d=H7n;if(b){B=b.Jm();!!B&&(d=B.M_());H=b.eb;C==a||(l+=H.length);G=H.length;for(W=H,X=0,Y=W.length;X1&&nid((zxd(0,2,j.length),j.substr(0,2)),ofn)&&(j=(Axd(1,j.length+1),j.substr(1)));o=Did(j,'\\\\)\\\\*\\\\(',0);if(o.length>1){o[0]=Fid(o[0],1);o[o.length-1]=Gid(o[o.length-1],0,o[o.length-1].length-1)}F=false;o.length==1&&yid(o[0],'[-+]?\\\\d*\\\\.?\\\\d+')&&(F=true);G=new Nnd;if(!F){for(l=o,m=0,n=l.length;m1&&(d=sXg(d,t));I.i.put(G,(Ofd(),Mfd))==null;oqd(e.n,G,d)}M=(r=(new Wmd((new eud(I.i.Dj())).i)).g._g().i.Ej(),new Xmd(r));while(M.g.$i()){G=(l=M.g._i(),l.Ji());k=iXg(k,xQc(nqd(e.n,G)))}if(Ikd(g,(Gkd(),Fkd))>0){S=pXg(S,iXg(f,k));T=true}else{fb=pXg(fb,iXg(f,k));gb=true}}s=new tVg(Q,S,fb);if(eb){if(!T||!gb){!!kyj&&lyj(kyj,(Dyj(),wyj),c+' means '+s+', uninteresting');return null}U=new _sj;Rfi(U,oVg(s,(xrg(),Vqg)));U.j=2;!!kyj&&lyj(kyj,(Dyj(),wyj),c+' means '+s);return U}!!kyj&&lyj(kyj,(Dyj(),wyj),c+' cannot be described by quantities only')}}u=$fi(hb);v=new N9c(u);nb=new Kfi(v,3);while(!nb.g){mb=Ifi(nb);M=(V=(new Gmd(mb.g)).g._g().tf(),new Hmd(V));K=0;db=je(Wdb,gjn,15,JQc(mb.g),0,1);while(M.g.$i()){db[K]=(l=M.g._i(),l.Ji());++K}try{B=db[0].hM(db[0]);C=db[1].hM(db[1]);D=db[2].hM(db[2])}catch(a){a=Stc(a);if(cf(a,79)){!!kyj&&lyj(kyj,(Dyj(),wyj),t7n);return null}else throw Ttc(a)}h=dhi(phi(B[0],B[1],C[0],C[1],D[0],D[1]),b.k);if(Zgi(c,h)||Xgi(c,h).g.o==0){!!kyj&&lyj(kyj,(Dyj(),wyj),c+' means collinearity for '+mb);U=new _sj;U.i=db;tod(U.i);U.g=oEn;FQc(b.i,R,U);return U}}$=new Kfi(v,2);while(!$.g){X=Ifi($);M=(V=(new Gmd(X.g)).g._g().tf(),new Hmd(V));K=0;db=je(Wdb,gjn,15,JQc(X.g),0,1);while(M.g.$i()){db[K]=(l=M.g._i(),l.Ji());++K}try{B=db[0].hM(db[0]);C=db[1].hM(db[1])}catch(a){a=Stc(a);if(cf(a,79)){!!kyj&&lyj(kyj,(Dyj(),wyj),t7n);return null}else throw Ttc(a)}s=dhi(Bhi(B[0],B[1],C[0],C[1]),b.k);if(Zgi(c,s)||Xgi(c,s).g.o==0){!!kyj&&lyj(kyj,(Dyj(),wyj),c+' means equality for '+X);U=new _sj;U.i=db;tod(U.i);U.g=kEn;U.j=0.5;FQc(b.i,R,U);return U}}w=new L9c;sb=new KQc;A=new L9c;vb=new KQc;L=(q=(new Wmd(CZd(b.j.q).i)).g._g().i.Ej(),new Xmd(q));while(L.g.$i()){H=(l=L.g._i(),l.Ji());if(H.av()&&cf(H,166)){try{qb=H.hM(H)[0];if(J9c(b.g,qb)){EQc(w.g,qb,w);oqd(sb.n,qb,H)}tb=H.hM(H)[1];if(J9c(b.g,tb)){EQc(A.g,tb,A);oqd(vb.n,tb,H)}}catch(a){a=Stc(a);if(cf(a,79)){!!kyj&&lyj(kyj,(Dyj(),wyj),t7n);return null}else throw Ttc(a)}}}bb=new Kfi(w,2);while(!bb.g){X=Ifi(bb);P=(V=(new Gmd(X.g)).g._g().tf(),new Hmd(V));K=0;i=je(kkb,K6n,52,JQc(X.g),0,1);db=je(Wdb,gjn,15,JQc(X.g),0,1);while(P.g.$i()){i[K]=(l=P.g._i(),l.Ji());db[K]=BQc(sb,i[K]);++K}rb=dhi(Xgi(new mhi(i[0]),chi(new mhi(i[1]))),b.k);if(Zgi(c,rb)||Xgi(c,rb).g.o==0){!!kyj&&lyj(kyj,(Dyj(),wyj),c+' means x-equality for '+X);U=new _sj;U.i=db;tod(U.i);U.g='xAreEqual';U.j=A$m;FQc(b.i,R,U);return U}}bb=new Kfi(A,2);while(!bb.g){X=Ifi(bb);P=(V=(new Gmd(X.g)).g._g().tf(),new Hmd(V));K=0;i=je(kkb,K6n,52,JQc(X.g),0,1);db=je(Wdb,gjn,15,JQc(X.g),0,1);while(P.g.$i()){i[K]=(l=P.g._i(),l.Ji());db[K]=BQc(vb,i[K]);++K}ub=dhi(Xgi(new mhi(i[0]),chi(new mhi(i[1]))),b.k);if(Zgi(c,ub)||Xgi(c,ub).g.o==0){!!kyj&&lyj(kyj,(Dyj(),wyj),c+' means y-equality for '+X);U=new _sj;U.i=db;tod(U.i);U.g='yAreEqual';U.j=A$m;FQc(b.i,R,U);return U}}ab=new Kfi(v,2);while(!ab.g){Y=Ifi(ab);N=(W=(new Gmd(Y.g)).g._g().tf(),new Hmd(W));K=0;db=je(Wdb,gjn,15,4,0,1);while(N.g.$i()){db[K]=(l=N.g._i(),l.Ji());++K}cb=new Kfi(v,2);while(!cb.g){Z=Ifi(cb);O=(V=(new Gmd(Z.g)).g._g().tf(),new Hmd(V));K=2;while(O.g.$i()){db[K]=(l=O.g._i(),l.Ji());++K}try{B=db[0].hM(db[0]);C=db[1].hM(db[1]);D=db[2].hM(db[0]);F=db[3].hM(db[1])}catch(a){a=Stc(a);if(cf(a,79)){!!kyj&&lyj(kyj,(Dyj(),wyj),t7n);return null}else throw Ttc(a)}s=dhi(yhi(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(Zgi(c,s)||Xgi(c,s).g.o==0){!!kyj&&lyj(kyj,(Dyj(),wyj),c+' means perpendicularity for '+Y+t6n+Z);U=new _sj;U.i=db;U.g=mEn;U.j=udn;FQc(b.i,R,U);return U}s=dhi(xhi(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(Zgi(c,s)||Xgi(c,s).g.o==0){!!kyj&&lyj(kyj,(Dyj(),wyj),c+' means parallelism for '+Y+t6n+Z);U=new _sj;U.i=db;U.g=lEn;U.j=udn;FQc(b.i,R,U);return U}s=dhi(Xgi(Bhi(B[0],B[1],C[0],C[1]),chi(Bhi(D[0],D[1],F[0],F[1]))),b.k);if(Zgi(c,s)||Xgi(c,s).g.o==0){!!kyj&&lyj(kyj,(Dyj(),wyj),c+' means congruence for '+Y+t6n+Z);U=new _sj;U.i=db;U.g=nEn;U.j=udn;FQc(b.i,R,U);return U}}}!!kyj&&lyj(kyj,(Dyj(),wyj),'No human readable geometrical meaning found for '+c);EQc(b.i,R,null);return null}\nfunction Qgi(a,b,c,d,e,f){var g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,A,B,C,D,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,$,ab,bb,cb,db,eb,fb,gb,hb,ib,jb,kb,lb,mb,nb,ob,pb,qb,rb,sb,tb,ub,vb,wb,xb,yb,zb,Ab,Bb,Cb,Db,Eb,Fb,Gb,Hb,Ib,Jb,Kb,Lb,Mb,Nb,Ob,Pb,Qb,Rb,Sb;if(a.q!=null){return a.q}if(cf(d,73)){if(c.Wu()){R=Bxh(c);Z=Bxh(d);if(R!=null&&Z!=null){if(a.r==null){a.r=je(kkb,K6n,52,8,0,1);a.r[0]=new Ohi(b.rm());a.r[1]=new Ohi(b.rm());a.r[2]=new Ohi(b.rm());a.r[3]=new Ohi(b.rm());a.r[4]=new Ohi(b.rm());a.r[5]=new Ohi(b.rm());a.r[6]=new Ohi(b.rm());a.r[7]=new Ohi(b.rm())}a.q=je(ikb,O6n,28,8,0,1);mb=new mhi(R[0]);nb=new mhi(R[1]);Ab=new mhi(a.r[4]);Bb=new mhi(a.r[5]);ob=new mhi(a.r[0]);pb=new mhi(a.r[1]);a.q[0]=Xgi(Xgi(bhi(Ab,new ihi(2)),chi(mb)),chi(ob));a.q[1]=Xgi(Xgi(bhi(Bb,new ihi(2)),chi(nb)),chi(pb));g=je(kkb,K6n,52,2,0,1);g[0]=Z[0];g[1]=Z[1];h=je(kkb,K6n,52,2,0,1);h[0]=Z[2];h[1]=Z[3];a.q[2]=phi(g[0],g[1],a.r[4],a.r[5],h[0],h[1]);a.q[3]=yhi(R[0],R[1],a.r[4],a.r[5],g[0],g[1],h[0],h[1]);rb=new mhi(R[2]);sb=new mhi(R[3]);Db=new mhi(a.r[6]);Eb=new mhi(a.r[7]);tb=new mhi(a.r[2]);ub=new mhi(a.r[3]);a.q[4]=Xgi(Xgi(bhi(Db,new ihi(2)),chi(rb)),chi(tb));a.q[5]=Xgi(Xgi(bhi(Eb,new ihi(2)),chi(sb)),chi(ub));a.q[6]=phi(g[0],g[1],a.r[6],a.r[7],h[0],h[1]);a.q[7]=yhi(R[2],R[3],a.r[6],a.r[7],g[0],g[1],h[0],h[1]);return a.q}throw Ttc(new Qfi)}else if(c.av()){i=c;S=d;Jb=xKh(i,i);Ib=Bxh(S);if(a.r==null){a.r=je(kkb,K6n,52,6,0,1);a.r[0]=new Ohi(b.rm());a.r[1]=new Ohi(b.rm());a.r[2]=new Ohi(b.rm());a.r[3]=new Ohi(b.rm());a.r[4]=new Ohi(b.rm());a.r[5]=new Ohi(b.rm())}a.q=je(ikb,O6n,28,6,0,1);zb=new mhi(a.r[2]);Cb=new mhi(a.r[3]);v=new mhi(Jb[0]);w=new mhi(Jb[1]);A=new mhi(a.r[0]);B=new mhi(a.r[1]);a.q[0]=Xgi(Xgi(bhi(zb,new ihi(2)),chi(A)),chi(v));a.q[1]=Xgi(Xgi(bhi(Cb,new ihi(2)),chi(B)),chi(w));g=je(kkb,K6n,52,2,0,1);g[0]=Ib[0];g[1]=Ib[1];h=je(kkb,K6n,52,2,0,1);h[0]=Ib[2];h[1]=Ib[3];a.q[2]=phi(g[0],g[1],h[0],h[1],a.r[2],a.r[3]);l=new mhi(g[0]);m=new mhi(g[1]);q=new mhi(h[0]);r=new mhi(h[1]);ab=new mhi(a.r[4]);db=new mhi(a.r[5]);a.q[3]=Xgi(Xgi(Xgi(q,chi(l)),w),chi(db));a.q[4]=Xgi(Xgi(Xgi(v,chi(r)),m),chi(ab));a.q[5]=phi(a.r[0],a.r[1],a.r[2],a.r[3],a.r[4],a.r[5]);return a.q}else if(c.Ku()&&c.yb==4){C=c;S=d;Hb=VAh(C);Qb=Bxh(S);if(a.r==null){a.r=je(kkb,K6n,52,12,0,1);a.r[0]=new Ohi(b.rm());a.r[1]=new Ohi(b.rm());a.r[2]=new Ohi(b.rm());a.r[3]=new Ohi(b.rm());a.r[4]=new Ohi(b.rm());a.r[5]=new Ohi(b.rm());a.r[6]=new Ohi(b.rm());a.r[7]=new Ohi(b.rm());a.r[8]=new Ohi(b.rm());a.r[9]=new Ohi(b.rm());a.r[10]=new Ohi(b.rm());a.r[11]=new Ohi(b.rm())}a.q=je(ikb,O6n,28,12,0,1);zb=new mhi(a.r[4]);Cb=new mhi(a.r[5]);l=new mhi(Hb[0]);m=new mhi(Hb[1]);n=new mhi(a.r[0]);o=new mhi(a.r[1]);a.q[0]=Xgi(Xgi(bhi(zb,new ihi(2)),chi(n)),chi(l));a.q[1]=Xgi(Xgi(bhi(Cb,new ihi(2)),chi(o)),chi(m));a.q[2]=phi(Qb[0],Qb[1],a.r[4],a.r[5],Qb[2],Qb[3]);v=new mhi(Qb[0]);w=new mhi(Qb[1]);D=new mhi(Qb[2]);F=new mhi(Qb[3]);bb=new mhi(a.r[8]);cb=new mhi(a.r[9]);a.q[3]=Xgi(Xgi(Xgi(D,chi(v)),m),chi(cb));a.q[4]=Xgi(Xgi(Xgi(l,chi(F)),w),chi(bb));a.q[5]=phi(a.r[0],a.r[1],a.r[4],a.r[5],a.r[8],a.r[9]);vb=new mhi(a.r[6]);wb=new mhi(a.r[7]);q=new mhi(Hb[2]);r=new mhi(Hb[3]);s=new mhi(a.r[2]);t=new mhi(a.r[3]);a.q[6]=Xgi(Xgi(bhi(vb,new ihi(2)),chi(s)),chi(q));a.q[7]=Xgi(Xgi(bhi(wb,new ihi(2)),chi(t)),chi(r));a.q[8]=phi(Qb[0],Qb[1],a.r[6],a.r[7],Qb[2],Qb[3]);eb=new mhi(a.r[10]);fb=new mhi(a.r[11]);a.q[9]=Xgi(Xgi(Xgi(D,chi(v)),r),chi(fb));a.q[10]=Xgi(Xgi(Xgi(q,chi(F)),w),chi(eb));a.q[11]=phi(a.r[1],a.r[2],a.r[6],a.r[7],a.r[10],a.r[11]);return a.q}else if(c.Ku()&&c.yb==9){qb=c;S=d;Sb=VAh(qb);Qb=Bxh(S);if(a.r==null){a.r=je(kkb,K6n,52,22,0,1);a.r[0]=new Ohi(b.rm());a.r[1]=new Ohi(b.rm());a.r[2]=new Ohi(b.rm());a.r[3]=new Ohi(b.rm());a.r[4]=new Ohi(b.rm());a.r[5]=new Ohi(b.rm());a.r[6]=new Ohi(b.rm());a.r[7]=new Ohi(b.rm());a.r[8]=new Ohi(b.rm());a.r[9]=new Ohi(b.rm());a.r[10]=new Ohi(b.rm());a.r[11]=new Ohi(b.rm());a.r[12]=new Ohi(b.rm());a.r[13]=new Ohi(b.rm());a.r[14]=new Ohi(b.rm());a.r[15]=new Ohi(b.rm());a.r[16]=new Ohi(b.rm());a.r[17]=new Ohi(b.rm());a.r[18]=new Ohi(b.rm());a.r[19]=new Ohi(b.rm());a.r[20]=new Ohi(b.rm());a.r[21]=new Ohi(b.rm())}a.q=je(ikb,O6n,28,21,0,1);l=new mhi(Sb[4]);m=new mhi(Sb[5]);Ab=new mhi(a.r[10]);Bb=new mhi(a.r[11]);n=new mhi(a.r[4]);o=new mhi(a.r[5]);bb=new mhi(a.r[16]);cb=new mhi(a.r[17]);U=new mhi(Qb[0]);V=new mhi(Qb[1]);X=new mhi(Qb[2]);Y=new mhi(Qb[3]);a.q[0]=Xgi(Xgi(bhi(new ihi(2),Ab),chi(l)),chi(n));a.q[1]=Xgi(Xgi(bhi(new ihi(2),Bb),chi(m)),chi(o));a.q[2]=phi(a.r[4],a.r[5],a.r[10],a.r[11],a.r[16],a.r[17]);a.q[3]=phi(Qb[0],Qb[1],a.r[10],a.r[11],Qb[2],Qb[3]);a.q[4]=Xgi(Xgi(Xgi(X,chi(U)),m),chi(cb));a.q[5]=Xgi(Xgi(Xgi(l,chi(Y)),V),chi(bb));q=new mhi(Sb[6]);r=new mhi(Sb[7]);Db=new mhi(a.r[12]);Eb=new mhi(a.r[13]);s=new mhi(a.r[6]);t=new mhi(a.r[7]);eb=new mhi(a.r[18]);fb=new mhi(a.r[19]);a.q[6]=Xgi(Xgi(bhi(new ihi(2),Db),chi(q)),chi(s));a.q[7]=Xgi(Xgi(bhi(new ihi(2),Eb),chi(r)),chi(t));a.q[8]=phi(a.r[6],a.r[7],a.r[12],a.r[13],a.r[18],a.r[19]);a.q[9]=phi(Qb[0],Qb[1],a.r[12],a.r[13],Qb[2],Qb[3]);a.q[10]=Xgi(Xgi(Xgi(X,chi(U)),r),chi(fb));a.q[11]=Xgi(Xgi(Xgi(q,chi(Y)),V),chi(eb));M=new mhi(Sb[8]);N=new mhi(Sb[9]);Fb=new mhi(a.r[14]);Gb=new mhi(a.r[15]);O=new mhi(a.r[8]);P=new mhi(a.r[9]);gb=new mhi(a.r[20]);hb=new mhi(a.r[21]);a.q[12]=Xgi(Xgi(bhi(new ihi(2),Fb),chi(M)),chi(O));a.q[13]=Xgi(Xgi(bhi(new ihi(2),Gb),chi(N)),chi(P));a.q[14]=phi(a.r[8],a.r[9],a.r[14],a.r[15],a.r[20],a.r[21]);a.q[15]=phi(Qb[0],Qb[1],a.r[14],a.r[15],Qb[2],Qb[3]);a.q[16]=Xgi(Xgi(Xgi(X,chi(U)),N),chi(hb));a.q[17]=Xgi(Xgi(Xgi(M,chi(Y)),V),chi(gb));a.q[18]=shi(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[19]=phi(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[20]=yhi(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 Ttc(new Qfi)}else if(cf(e,42)){if(c.av()){j=c;k=e;Kb=xKh(j,j);Lb=xKh(k,k);if(a.r==null){a.r=je(kkb,K6n,52,2,0,1);a.r[0]=new Ohi(b.rm());a.r[1]=new Ohi(b.rm())}a.q=je(ikb,O6n,28,2,0,1);l=new mhi(Kb[0]);m=new mhi(Kb[1]);q=new mhi(Lb[0]);r=new mhi(Lb[1]);n=new mhi(a.r[0]);o=new mhi(a.r[1]);a.q[0]=Xgi(Xgi(bhi(q,new ihi(2)),chi(l)),chi(n));a.q[1]=Xgi(Xgi(bhi(r,new ihi(2)),chi(m)),chi(o));return a.q}else if(c.Wu()){S=c;i=e;Qb=Bxh(S);Jb=xKh(i,i);if(a.r==null){a.r=je(kkb,K6n,52,4,0,1);a.r[0]=new Ohi(b.rm());a.r[1]=new Ohi(b.rm());a.r[2]=new Ohi(b.rm());a.r[3]=new Ohi(b.rm())}a.q=je(ikb,O6n,28,4,0,1);mb=new mhi(Jb[0]);nb=new mhi(Jb[1]);l=new mhi(Qb[0]);m=new mhi(Qb[1]);n=new mhi(a.r[0]);o=new mhi(a.r[1]);q=new mhi(Qb[2]);r=new mhi(Qb[3]);s=new mhi(a.r[2]);t=new mhi(a.r[3]);a.q[0]=Xgi(Xgi(mb,chi(l)),chi(Xgi(n,chi(mb))));a.q[1]=Xgi(Xgi(nb,chi(m)),chi(Xgi(o,chi(nb))));a.q[2]=Xgi(Xgi(mb,chi(q)),chi(Xgi(s,chi(mb))));a.q[3]=Xgi(Xgi(nb,chi(r)),chi(Xgi(t,chi(nb))));return a.q}else if(c.Ku()&&c.yb==4){C=c;i=e;Hb=VAh(C);Jb=xKh(i,i);if(a.r==null){a.r=je(kkb,K6n,52,4,0,1);a.r[0]=new Ohi(b.rm());a.r[1]=new Ohi(b.rm());a.r[2]=new Ohi(b.rm());a.r[3]=new Ohi(b.rm())}a.q=je(ikb,O6n,28,4,0,1);mb=new mhi(Jb[0]);nb=new mhi(Jb[1]);l=new mhi(Hb[0]);m=new mhi(Hb[1]);n=new mhi(a.r[0]);o=new mhi(a.r[1]);q=new mhi(Hb[2]);r=new mhi(Hb[3]);s=new mhi(a.r[2]);t=new mhi(a.r[3]);a.q[0]=Xgi(Xgi(mb,chi(l)),chi(Xgi(n,chi(mb))));a.q[1]=Xgi(Xgi(nb,chi(m)),chi(Xgi(o,chi(nb))));a.q[2]=Xgi(Xgi(mb,chi(q)),chi(Xgi(s,chi(mb))));a.q[3]=Xgi(Xgi(nb,chi(r)),chi(Xgi(t,chi(nb))));return a.q}else if(c.Ku()&&c.yb==9){qb=c;i=e;Sb=VAh(qb);Jb=xKh(i,i);if(a.r==null){a.r=je(kkb,K6n,52,10,0,1);a.r[0]=new Ohi(b.rm());a.r[1]=new Ohi(b.rm());a.r[2]=new Ohi(b.rm());a.r[3]=new Ohi(b.rm());a.r[4]=new Ohi(b.rm());a.r[5]=new Ohi(b.rm());a.r[6]=new Ohi(b.rm());a.r[7]=new Ohi(b.rm());a.r[8]=new Ohi(b.rm());a.r[9]=new Ohi(b.rm())}a.q=je(ikb,O6n,28,13,0,1);mb=new mhi(Sb[0]);nb=new mhi(Sb[1]);vb=new mhi(Sb[2]);wb=new mhi(Sb[3]);l=new mhi(Sb[4]);m=new mhi(Sb[5]);q=new mhi(Sb[6]);r=new mhi(Sb[7]);M=new mhi(Sb[8]);N=new mhi(Sb[9]);ob=new mhi(a.r[0]);pb=new mhi(a.r[1]);xb=new mhi(a.r[2]);yb=new mhi(a.r[3]);n=new mhi(a.r[4]);o=new mhi(a.r[5]);s=new mhi(a.r[6]);t=new mhi(a.r[7]);O=new mhi(a.r[8]);P=new mhi(a.r[9]);T=new mhi(Jb[0]);W=new mhi(Jb[1]);a.q[0]=Xgi(Xgi(bhi(new ihi(2),T),chi(mb)),chi(ob));a.q[1]=Xgi(Xgi(bhi(new ihi(2),W),chi(nb)),chi(pb));a.q[2]=Xgi(Xgi(bhi(new ihi(2),T),chi(vb)),chi(xb));a.q[3]=Xgi(Xgi(bhi(new ihi(2),W),chi(wb)),chi(yb));a.q[4]=Xgi(Xgi(bhi(new ihi(2),T),chi(l)),chi(n));a.q[5]=Xgi(Xgi(bhi(new ihi(2),W),chi(m)),chi(o));a.q[6]=Xgi(Xgi(bhi(new ihi(2),T),chi(q)),chi(s));a.q[7]=Xgi(Xgi(bhi(new ihi(2),W),chi(r)),chi(t));a.q[8]=Xgi(Xgi(bhi(new ihi(2),T),chi(M)),chi(O));a.q[9]=Xgi(Xgi(bhi(new ihi(2),W),chi(N)),chi(P));a.q[10]=shi(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[11]=phi(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[12]=yhi(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.Ku()&&c.yb==3){L=c;i=e;Ob=VAh(L);Jb=xKh(i,i);if(Ob[6]==Ob[8]&&Ob[7]==Ob[9]){if(a.r==null){a.r=je(kkb,K6n,52,4,0,1);a.r[0]=new Ohi(b.rm());a.r[1]=new Ohi(b.rm());a.r[2]=new Ohi(b.rm());a.r[3]=new Ohi(b.rm())}a.q=je(ikb,O6n,28,4,0,1);l=new mhi(Ob[0]);m=new mhi(Ob[1]);v=new mhi(Ob[2]);w=new mhi(Ob[3]);mb=new mhi(Jb[0]);nb=new mhi(Jb[1]);n=new mhi(a.r[0]);o=new mhi(a.r[1]);A=new mhi(a.r[2]);B=new mhi(a.r[3]);a.q[0]=Xgi(Xgi(bhi(new ihi(2),mb),chi(l)),chi(n));a.q[1]=Xgi(Xgi(bhi(new ihi(2),nb),chi(m)),chi(o));a.q[2]=Xgi(Xgi(bhi(new ihi(2),mb),chi(v)),chi(A));a.q[3]=Xgi(Xgi(bhi(new ihi(2),nb),chi(w)),chi(B))}else{if(a.r==null){a.r=je(kkb,K6n,52,12,0,1);a.r[0]=new Ohi(b.rm());a.r[1]=new Ohi(b.rm());a.r[2]=new Ohi(b.rm());a.r[3]=new Ohi(b.rm());a.r[4]=new Ohi(b.rm());a.r[5]=new Ohi(b.rm());a.r[6]=new Ohi(b.rm());a.r[7]=new Ohi(b.rm());a.r[8]=new Ohi(b.rm());a.r[9]=new Ohi(b.rm());a.r[10]=new Ohi(b.rm());a.r[11]=new Ohi(b.rm())}a.q=je(ikb,O6n,28,13,0,1);mb=new mhi(Ob[0]);nb=new mhi(Ob[1]);l=new mhi(Ob[6]);m=new mhi(Ob[7]);q=new mhi(Ob[8]);r=new mhi(Ob[9]);v=new mhi(Ob[10]);w=new mhi(Ob[11]);T=new mhi(Jb[0]);W=new mhi(Jb[1]);ob=new mhi(a.r[0]);pb=new mhi(a.r[1]);n=new mhi(a.r[6]);o=new mhi(a.r[7]);s=new mhi(a.r[8]);t=new mhi(a.r[9]);A=new mhi(a.r[10]);B=new mhi(a.r[11]);D=new mhi(a.r[2]);F=new mhi(a.r[3]);J=new mhi(a.r[4]);K=new mhi(a.r[5]);a.q[0]=Xgi(Xgi(bhi(new ihi(2),T),chi(mb)),chi(ob));a.q[1]=Xgi(Xgi(bhi(new ihi(2),W),chi(nb)),chi(pb));a.q[2]=Xgi(Xgi(bhi(new ihi(2),T),chi(l)),chi(n));a.q[3]=Xgi(Xgi(bhi(new ihi(2),W),chi(m)),chi(o));a.q[4]=Xgi(Xgi(bhi(new ihi(2),T),chi(q)),chi(s));a.q[5]=Xgi(Xgi(bhi(new ihi(2),W),chi(r)),chi(t));a.q[6]=Xgi(Xgi(bhi(new ihi(2),T),chi(v)),chi(A));a.q[7]=Xgi(Xgi(bhi(new ihi(2),W),chi(w)),chi(B));a.q[8]=Xgi(Xgi(Xgi(D,F),chi(J)),chi(K));a.q[9]=Xgi(Bhi(a.r[6],a.r[7],a.r[8],a.r[9]),chi(bhi(D,D)));a.q[10]=Xgi(Bhi(a.r[6],a.r[7],a.r[8],a.r[9]),chi(bhi(F,F)));a.q[11]=Xgi(Bhi(a.r[6],a.r[7],a.r[0],a.r[1]),chi(bhi(J,J)));a.q[12]=Xgi(Bhi(a.r[8],a.r[9],a.r[0],a.r[1]),chi(bhi(K,K)))}return a.q}else if(c.Ku()&&c.yb==5){Q=c;i=e;Pb=VAh(Q);Jb=xKh(i,i);if(a.r==null){a.r=je(kkb,K6n,52,12,0,1);a.r[0]=new Ohi(b.rm());a.r[1]=new Ohi(b.rm());a.r[2]=new Ohi(b.rm());a.r[3]=new Ohi(b.rm());a.r[4]=new Ohi(b.rm());a.r[5]=new Ohi(b.rm());a.r[6]=new Ohi(b.rm());a.r[7]=new Ohi(b.rm());a.r[8]=new Ohi(b.rm());a.r[9]=new Ohi(b.rm());a.r[10]=new Ohi(b.rm());a.r[11]=new Ohi(b.rm())}a.q=je(ikb,O6n,28,13,0,1);mb=new mhi(Pb[0]);nb=new mhi(Pb[1]);l=new mhi(Pb[6]);m=new mhi(Pb[7]);q=new mhi(Pb[8]);r=new mhi(Pb[9]);v=new mhi(Pb[10]);w=new mhi(Pb[11]);T=new mhi(Jb[0]);W=new mhi(Jb[1]);ob=new mhi(a.r[0]);pb=new mhi(a.r[1]);n=new mhi(a.r[6]);o=new mhi(a.r[7]);s=new mhi(a.r[8]);t=new mhi(a.r[9]);A=new mhi(a.r[10]);B=new mhi(a.r[11]);D=new mhi(a.r[2]);F=new mhi(a.r[3]);J=new mhi(a.r[4]);K=new mhi(a.r[5]);a.q[0]=Xgi(Xgi(bhi(new ihi(2),T),chi(mb)),chi(ob));a.q[1]=Xgi(Xgi(bhi(new ihi(2),W),chi(nb)),chi(pb));a.q[2]=Xgi(Xgi(bhi(new ihi(2),T),chi(l)),chi(n));a.q[3]=Xgi(Xgi(bhi(new ihi(2),W),chi(m)),chi(o));a.q[4]=Xgi(Xgi(bhi(new ihi(2),T),chi(q)),chi(s));a.q[5]=Xgi(Xgi(bhi(new ihi(2),W),chi(r)),chi(t));a.q[6]=Xgi(Xgi(bhi(new ihi(2),T),chi(v)),chi(A));a.q[7]=Xgi(Xgi(bhi(new ihi(2),W),chi(w)),chi(B));a.q[8]=Xgi(Xgi(Xgi(D,chi(F)),chi(J)),K);a.q[9]=Xgi(Bhi(a.r[6],a.r[7],a.r[10],a.r[11]),chi(bhi(D,D)));a.q[10]=Xgi(Bhi(a.r[8],a.r[9],a.r[10],a.r[11]),chi(bhi(F,F)));a.q[3]=Xgi(Bhi(a.r[6],a.r[7],a.r[0],a.r[1]),chi(bhi(J,J)));a.q[4]=Xgi(Bhi(a.r[8],a.r[9],a.r[0],a.r[1]),chi(bhi(K,K)));return a.q}throw Ttc(new Qfi)}else if(f){if(c.av()){i=c;u=f;Jb=xKh(i,i);Mb=VAh(u);if(a.r==null){a.r=je(kkb,K6n,52,8,0,1);a.r[0]=new Ohi(b.rm());a.r[1]=new Ohi(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=je(ikb,O6n,28,2,0,1);ib=new mhi(Mb[0]);jb=new mhi(Mb[1]);l=new mhi(Mb[2]);m=new mhi(Mb[3]);q=new mhi(Jb[0]);r=new mhi(Jb[1]);s=new mhi(a.r[0]);t=new mhi(a.r[1]);kb=Xgi(bhi(Xgi(l,chi(ib)),Xgi(l,chi(ib))),bhi(Xgi(m,chi(jb)),Xgi(m,chi(jb))));G=Xgi(bhi(Xgi(q,chi(ib)),Xgi(q,chi(ib))),bhi(Xgi(r,chi(jb)),Xgi(r,chi(jb))));a.q[0]=Xgi(bhi(kb,Xgi(q,chi(ib))),bhi(Xgi(ib,chi(s)),G));a.q[1]=Xgi(bhi(kb,Xgi(r,chi(jb))),bhi(Xgi(jb,chi(t)),G));return a.q}else if(c.Wu()){!!kyj&&lyj(kyj,(Dyj(),wyj),'mirroring line about circle not implemented');throw Ttc(new Qfi)}else if(c.Ku()&&c.yb==4){C=c;$=f;Nb=VAh(C);Rb=VAh($);if(a.r==null){a.r=je(kkb,K6n,52,4,0,1);a.r[0]=new Ohi(b.rm());a.r[1]=new Ohi(b.rm());a.r[2]=new Ohi(b.rm());a.r[3]=new Ohi(b.rm())}a.q=je(ikb,O6n,28,4,0,1);l=new mhi(Nb[0]);m=new mhi(Nb[1]);q=new mhi(Nb[2]);r=new mhi(Nb[3]);ib=new mhi(Rb[0]);jb=new mhi(Rb[1]);v=new mhi(Rb[2]);w=new mhi(Rb[3]);n=new mhi(a.r[0]);o=new mhi(a.r[1]);s=new mhi(a.r[2]);t=new mhi(a.r[3]);lb=Xgi(bhi(Xgi(v,chi(ib)),Xgi(v,chi(ib))),bhi(Xgi(w,chi(jb)),Xgi(w,chi(jb))));p=Xgi(bhi(Xgi(q,chi(l)),Xgi(q,chi(l))),bhi(Xgi(r,chi(m)),Xgi(r,chi(m))));H=Xgi(Xgi(bhi(Xgi(l,chi(ib)),Xgi(l,chi(ib))),bhi(Xgi(m,chi(jb)),Xgi(m,chi(jb)))),chi(p));a.q[0]=Xgi(bhi(lb,Xgi(l,chi(ib))),bhi(Xgi(ib,chi(n)),H));a.q[1]=Xgi(bhi(lb,Xgi(m,chi(jb))),bhi(Xgi(jb,chi(o)),H));I=Xgi(bhi(Xgi(q,chi(ib)),Xgi(q,chi(ib))),bhi(Xgi(r,chi(jb)),Xgi(r,chi(jb))));a.q[2]=Xgi(bhi(lb,Xgi(q,chi(ib))),bhi(Xgi(ib,chi(s)),I));a.q[3]=Xgi(bhi(lb,Xgi(r,chi(jb))),bhi(Xgi(jb,chi(t)),I));return a.q}else{throw Ttc(new Qfi)}}else{throw Ttc(new Qfi)}}\nvar a7n='[LocusEqu] result[',b7n='eliminate([',c7n='],revlist([',d7n='PRECISION = ',e7n='[1]: [1]: _[1]=1 _[2]=',f7n='Cannot parse: ',g7n='Cannot get Botana variables for ',h7n='Recio meets Botana: #',i7n={16:1,29:1,19:1,24:1,242:1,927:1,30:1},j7n={16:1,29:1,19:1,24:1,927:1,30:1},k7n='Cannot compute implicit curve (yet?)',l7n='Benchmarking: ',m7n='Output from giac: ',n7n='Error on running Giac code',o7n=' kernelPrecision=',p7n=' precisionRatio=',q7n='OpenGeoProver',r7n='PureSymbolic',s7n='STATEMENT IS ',t7n='Cannot get Botana vars during NDG detection',u7n=' unimplemented',v7n='Interpreting TRUE as UNKNOWN',w7n='Extra poly 3 for ',x7n='Extra poly 4 for ',y7n='Eliminating system in ',z7n=' variables (',A7n=' dependent)',B7n='gbt polys = ',C7n='gbt vars = ',D7n='Using ',E7n='Possible numerical error in converting formula coefficients to integer',F7n='ggbtmpvar2',G7n=') and ',H7n='Free Point';zuc(268,8027,rhn,ztd);zuc(2300,1,Djn);_.sn=function(a,b){var c,d;d=new sjd;c=b7n+a+c7n+b+']))';return hjd(hjd(hjd(hjd(hjd(hjd((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};_.tn=function(a,b,c,d){var e,f;if(!c){return (yPd(),sPd)+'(eliminate(['+a+c7n+b+'])))'}e=''+quc(d.g);!!kyj&&lyj(kyj,(Dyj(),wyj),d7n+e);f=(yPd(),sPd)+'([[ee:=eliminate(['+a+c7n+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};_.un=function(a,b,c,d){var e,f,g;e='[[GB:=gbasis(';!!a&&(e+=YGn);e+='['+b+']';if(a){f=FOd(a);e+=',['+f+'])'}g=c+nhi(d);nid(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};_.vn=function(a,b,c,d,e){var f,g,h;f='[[ii:=gbasis(';f+=YGn;f+='['+b+']';g=FOd(a);f+=',['+g+'])';h=c+nhi(d);f+=',['+h+'],revlex)],('+'ii'+'[0]!=1)&&('+'ii'+'[0]!=-1)][1]';return f};_.Bn=function(a){var b,c,d,e;b=BOd(a);c=COd(a);e=je(qf,XZm,125,c.length+1,0,3);e[0]=b;for(d=0;d0){c=xKh(this.r,this.r);b[b.length-1]=Xgi(bhi(Bhi(d[0],d[1],c[0],c[1]),new mhi(new Ohi(this.hd))),chi(new ihi(1)))}EQc(this.n,a,b);return b}throw Ttc(new Qfi)}else if(this.p.yb==9||this.p.yb==3||this.p.yb==5){if(this.t){p=Bxh(this.t);d=je(kkb,K6n,52,2,0,1);!this.o&&(this.o=new KQc);if(yQc(this.o,a)){d=BQc(this.o,a)}else{d=je(kkb,K6n,52,2,0,1);d[0]=new Ohi(this.hd);d[1]=new Ohi(this.hd);EQc(this.o,a,d)}e=UAh(this.p);g=VAh(this.p);f=e.length;b=je(ikb,O6n,28,f+1,0,1);for(k=0;ki&&(i=h[g])}b[0]=i;return b}throw Ttc(new Qfi)};_.PO=function(a){var b,c,d,e,f,g;if(!!this.i&&!!this.j&&!!this.k&&!!this.n){c=FKh(this.i,a);d=FKh(this.j,a);e=FKh(this.k,a);f=FKh(this.n,a);b=je(ov,Wgn,144,1,0,1);g=he(ov,[XZm,Wgn],[392,144],0,[4,4],2);g[0][0]=Vkd(c[0],c[2]);g[0][1]=Vkd(c[1],c[2]);g[0][2]=Hld(Vkd(c[0],c[0]),Vkd(c[1],c[1]));g[0][3]=Vkd(c[2],c[2]);g[1][0]=Vkd(d[0],d[2]);g[1][1]=Vkd(d[1],d[2]);g[1][2]=Hld(Vkd(d[0],d[0]),Vkd(d[1],d[1]));g[1][3]=Vkd(d[2],d[2]);g[2][0]=Vkd(e[0],e[2]);g[2][1]=Vkd(e[1],e[2]);g[2][2]=Hld(Vkd(e[0],e[0]),Vkd(e[1],e[1]));g[2][3]=Vkd(e[2],e[2]);g[3][0]=Vkd(f[0],f[2]);g[3][1]=Vkd(f[1],f[2]);g[3][2]=Hld(Vkd(f[0],f[0]),Vkd(f[1],f[1]));g[3][3]=Vkd(f[2],f[2]);b[0]=Hld(Mld(Mld(Hld(Hld(Mld(Mld(Hld(Hld(Mld(Mld(Hld(Hld(Mld(Mld(Hld(Hld(Mld(Mld(Hld(Hld(Mld(Mld(Vkd(Vkd(Vkd(g[0][3],g[1][2]),g[2][1]),g[3][0]),Vkd(Vkd(Vkd(g[0][2],g[1][3]),g[2][1]),g[3][0])),Vkd(Vkd(Vkd(g[0][3],g[1][1]),g[2][2]),g[3][0])),Vkd(Vkd(Vkd(g[0][1],g[1][3]),g[2][2]),g[3][0])),Vkd(Vkd(Vkd(g[0][2],g[1][1]),g[2][3]),g[3][0])),Vkd(Vkd(Vkd(g[0][1],g[1][2]),g[2][3]),g[3][0])),Vkd(Vkd(Vkd(g[0][3],g[1][2]),g[2][0]),g[3][1])),Vkd(Vkd(Vkd(g[0][2],g[1][3]),g[2][0]),g[3][1])),Vkd(Vkd(Vkd(g[0][3],g[1][0]),g[2][2]),g[3][1])),Vkd(Vkd(Vkd(g[0][0],g[1][3]),g[2][2]),g[3][1])),Vkd(Vkd(Vkd(g[0][2],g[1][0]),g[2][3]),g[3][1])),Vkd(Vkd(Vkd(g[0][0],g[1][2]),g[2][3]),g[3][1])),Vkd(Vkd(Vkd(g[0][3],g[1][1]),g[2][0]),g[3][2])),Vkd(Vkd(Vkd(g[0][1],g[1][3]),g[2][0]),g[3][2])),Vkd(Vkd(Vkd(g[0][3],g[1][0]),g[2][1]),g[3][2])),Vkd(Vkd(Vkd(g[0][0],g[1][3]),g[2][1]),g[3][2])),Vkd(Vkd(Vkd(g[0][1],g[1][0]),g[2][3]),g[3][2])),Vkd(Vkd(Vkd(g[0][0],g[1][1]),g[2][3]),g[3][2])),Vkd(Vkd(Vkd(g[0][2],g[1][1]),g[2][0]),g[3][3])),Vkd(Vkd(Vkd(g[0][1],g[1][2]),g[2][0]),g[3][3])),Vkd(Vkd(Vkd(g[0][2],g[1][0]),g[2][1]),g[3][3])),Vkd(Vkd(Vkd(g[0][0],g[1][2]),g[2][1]),g[3][3])),Vkd(Vkd(Vkd(g[0][1],g[1][0]),g[2][2]),g[3][3])),Vkd(Vkd(Vkd(g[0][0],g[1][1]),g[2][2]),g[3][3]));return b}throw Ttc(new Qfi)};_.QO=function(a){if(!!this.i&&!!this.j&&!!this.k&&!!this.n){GKh(this.i,a);GKh(this.j,a);GKh(this.k,a);GKh(this.n,a);return}throw Ttc(new Qfi)};_.RO=function(){var a,b,c,d,e;if(this.p!=null){return this.p}if(!!this.i&&!!this.j&&!!this.k&&!!this.n){a=MKh(this.i);b=MKh(this.j);c=MKh(this.k);d=MKh(this.n);this.p=je(ikb,O6n,28,1,0,1);e=he(ikb,[XZm,O6n],[94,28],0,[4,4],2);e[0][0]=bhi(a[0],a[2]);e[0][1]=bhi(a[1],a[2]);e[0][2]=Xgi(bhi(a[0],a[0]),bhi(a[1],a[1]));e[0][3]=bhi(a[2],a[2]);e[1][0]=bhi(b[0],b[2]);e[1][1]=bhi(b[1],b[2]);e[1][2]=Xgi(bhi(b[0],b[0]),bhi(b[1],b[1]));e[1][3]=bhi(b[2],b[2]);e[2][0]=bhi(c[0],c[2]);e[2][1]=bhi(c[1],c[2]);e[2][2]=Xgi(bhi(c[0],c[0]),bhi(c[1],c[1]));e[2][3]=bhi(c[2],c[2]);e[3][0]=bhi(d[0],d[2]);e[3][1]=bhi(d[1],d[2]);e[3][2]=Xgi(bhi(d[0],d[0]),bhi(d[1],d[1]));e[3][3]=bhi(d[2],d[2]);this.p[0]=Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(Xgi(bhi(e[0][3],bhi(e[1][2],bhi(e[2][1],e[3][0]))),chi(bhi(bhi(bhi(e[0][2],e[1][3]),e[2][1]),e[3][0]))),chi(bhi(bhi(bhi(e[0][3],e[1][1]),e[2][2]),e[3][0]))),bhi(bhi(bhi(e[0][1],e[1][3]),e[2][2]),e[3][0])),bhi(bhi(bhi(e[0][2],e[1][1]),e[2][3]),e[3][0])),chi(bhi(bhi(bhi(e[0][1],e[1][2]),e[2][3]),e[3][0]))),chi(bhi(bhi(bhi(e[0][3],e[1][2]),e[2][0]),e[3][1]))),bhi(bhi(bhi(e[0][2],e[1][3]),e[2][0]),e[3][1])),bhi(bhi(bhi(e[0][3],e[1][0]),e[2][2]),e[3][1])),chi(bhi(bhi(bhi(e[0][0],e[1][3]),e[2][2]),e[3][1]))),chi(bhi(bhi(bhi(e[0][2],e[1][0]),e[2][3]),e[3][1]))),bhi(bhi(bhi(e[0][0],e[1][2]),e[2][3]),e[3][1])),bhi(bhi(bhi(e[0][3],e[1][1]),e[2][0]),e[3][2])),chi(bhi(bhi(bhi(e[0][1],e[1][3]),e[2][0]),e[3][2]))),chi(bhi(bhi(bhi(e[0][3],e[1][0]),e[2][1]),e[3][2]))),bhi(bhi(bhi(e[0][0],e[1][3]),e[2][1]),e[3][2])),bhi(bhi(bhi(e[0][1],e[1][0]),e[2][3]),e[3][2])),chi(bhi(bhi(bhi(e[0][0],e[1][1]),e[2][3]),e[3][2]))),chi(bhi(bhi(bhi(e[0][2],e[1][1]),e[2][0]),e[3][3]))),bhi(bhi(bhi(e[0][1],e[1][2]),e[2][0]),e[3][3])),bhi(bhi(bhi(e[0][2],e[1][0]),e[2][1]),e[3][3])),chi(bhi(bhi(bhi(e[0][0],e[1][2]),e[2][1]),e[3][3]))),chi(bhi(bhi(bhi(e[0][1],e[1][0]),e[2][2]),e[3][3]))),bhi(bhi(bhi(e[0][0],e[1][1]),e[2][2]),e[3][3]));return this.p}throw Ttc(new Qfi)};_.SO=Hso;_.jn=function(){Gei(this)};var Ijb=Mgd(2905);zuc(1231,19,{16:1,29:1,19:1,24:1,242:1,927:1,30:1,1231:1},Lei,Mei);_.Jm=function(){return Nrh(),Ghh};_.aj=Vso;_.Fm=function(){Iei(this)};_.F_=function(){return Jei(this)};_.OO=function(a){var b,c,d;if(cf(this.i,122)||cf(this.j,122)){throw Ttc(new Qfi)}if(!!this.i&&!!this.j){if(cf(this.i,42)&&cf(this.j,42)||cf(this.i,73)&&cf(this.j,73)||cf(this.i,183)&&cf(this.j,183)){c=this.i.OO(a);d=this.j.OO(a);b=je(sf,TZm,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 Ttc(new Qfi)};_.PO=function(a){var b,c,d;if(cf(this.i,122)||cf(this.j,122)){throw Ttc(new Qfi)}if(!!this.i&&!!this.j){if(cf(this.i,42)&&cf(this.j,42)||cf(this.i,73)&&cf(this.j,73)||cf(this.i,183)&&cf(this.j,183)){c=this.i.PO(a);d=this.j.PO(a);b=je(ov,Wgn,144,1,0,1);b[0]=Hld(Hkd(Mld(Vkd(c[0],d[2]),Vkd(d[0],c[2]))),Hkd(Mld(Vkd(c[1],d[2]),Vkd(d[1],c[2]))));return b}}throw Ttc(new Qfi)};_.QO=function(a){if(cf(this.i,122)||cf(this.j,122)){throw Ttc(new Qfi)}if(!!this.i&&!!this.j){if(cf(this.i,42)&&cf(this.j,42)||cf(this.i,73)&&cf(this.j,73)||cf(this.i,183)&&cf(this.j,183)){this.i.QO(a);this.j.QO(a);return}}throw Ttc(new Qfi)};_.RO=function(){var a,b;nyj(this.n);if(this.n!=null){return this.n}if(cf(this.i,122)||cf(this.j,122)){throw Ttc(new Qfi)}if(!!this.i&&!!this.j){if(cf(this.i,42)&&cf(this.j,42)||cf(this.i,73)&&cf(this.j,73)||cf(this.i,183)&&cf(this.j,183)){a=this.i.RO();b=this.j.RO();this.n=je(ikb,O6n,28,2,0,1);this.n[0]=Xgi(bhi(a[0],b[2]),chi(bhi(b[0],a[2])));this.n[1]=Xgi(bhi(a[1],b[2]),chi(bhi(b[1],a[2])));return this.n}}throw Ttc(new Qfi)};_.SO=Hso;_.jn=function(){Kei(this)};var Jjb=Mgd(1231);zuc(2143,19,j7n,Tei,Uei);_.Jm=function(){return Nrh(),Hhh};_.Fm=function(){Qei(this)};_.F_=function(){return Rei(this)};_.jn=function(){Kei(this)};var Nei;var Ljb=Mgd(2143);zuc(7448,1,cmn,Vei);_.Cq=function(a){var b,c;if(cf(a,38)){b=a.s;if(b==Udn||b-Rhn8}return false};var Kjb=Mgd(7448);zuc(1715,19,i7n,Yei,Zei);_.Jm=function(){return Nrh(),Ihh};_.aj=Vso;_.Fm=function(){Qyh(this.k,$xh(this.i,this.j))};_.F_=function(){return Wei(this)};_.OO=function(a){var b,c,d;if(!!this.i&&!!this.j){c=Cxh(this.i,a);d=Cxh(this.j,a);b=je(sf,TZm,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[1],c[1]+d[0]);return b}throw Ttc(new Qfi)};_.PO=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.eb[0].PO(a);d=this.eb[1].PO(a);b=je(ov,Wgn,144,1,0,1);b[0]=Mld(Vkd(c[0],d[1]),Vkd(c[1],d[0]));return b}throw Ttc(new Qfi)};_.QO=Wso;_.RO=function(){var a,b;nyj(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.eb[0].RO();b=this.eb[1].RO();this.n=je(ikb,O6n,28,1,0,1);this.n[0]=Xgi(bhi(a[0],b[1]),chi(bhi(a[1],b[0])));return this.n}throw Ttc(new Qfi)};_.SO=Hso;_.jn=function(){Kei(this)};var Mjb=Mgd(1715);zuc(1716,19,i7n,afi,bfi);_.Jm=function(){return Nrh(),Jhh};_.aj=Vso;_.Fm=function(){Qyh(this.k,_xh(this.i,this.j))};_.F_=function(){return $ei(this)};_.OO=function(a){var b,c,d;if(!!this.i&&!!this.j){c=Cxh(this.i,a);d=Cxh(this.j,a);b=je(sf,TZm,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[0],c[1]+d[1]);return b}throw Ttc(new Qfi)};_.PO=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.eb[0].PO(a);d=this.eb[1].PO(a);b=je(ov,Wgn,144,1,0,1);b[0]=Hld(Vkd(c[0],d[0]),Vkd(c[1],d[1]));return b}throw Ttc(new Qfi)};_.QO=Wso;_.RO=function(){var a,b;nyj(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.eb[0].RO();b=this.eb[1].RO();this.n=je(ikb,O6n,28,1,0,1);this.n[0]=Xgi(bhi(a[0],b[0]),bhi(a[1],b[1]));return this.n}throw Ttc(new Qfi)};_.SO=Hso;_.jn=function(){Kei(this)};var Njb=Mgd(1716);zuc(1933,19,{16:1,29:1,19:1,24:1,30:1,248:1,1933:1},hfi);_.Jm=function(){return Nrh(),Jjh};_.Fm=function(){var a;if(!VNd(this.hd._K()).xi()){this.i=null;this.n=0;return}a=this.i;gfi(this);if(a==null||!nid(a,this.i)){syj(a+pNn+this.i);cfi(this)}};_.z2=function(a,b){return ffi(this,a,b)};_.jn=function(){gfi(this)};_.n=0;var Ojb=Mgd(1933);zuc(W8m,19,j7n,mfi);_.Jm=function(){return null};_.Fm=function(){this.n.o=false};_.F_=function(){return jfi(this)};_.jn=function(){lfi(this)};var Pjb=Mgd(W8m);zuc(2904,19,j7n,pfi);_.Jm=function(){return Nrh(),Flh};_.Fm=function(){nfi(this)};_.F_=function(){var a,b,c,d,e,f;if(this.g!=null){return this.g}d=this.i;a=this.j;e=Bxh(d);b=VAh(a);if(a.yb==4){c=je(kkb,K6n,52,2,0,1);c[0]=new Ohi(this.hd);c[1]=new Ohi(this.hd);this.g=he(ikb,[XZm,O6n],[94,28],0,[1,3],2);this.g[0][0]=phi(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=yhi(c[0],c[1],e[0],e[1],c[0],c[1],b[0],b[1]);this.g[0][2]=shi(c[0],c[1],b[0],b[1],b[2],b[3]);return this.g}if(a.yb==9){c=je(kkb,K6n,52,2,0,1);c[0]=new Ohi(this.hd);c[1]=new Ohi(this.hd);f=je(kkb,K6n,52,2,0,1);f[0]=new Ohi(this.hd);f[1]=new Ohi(this.hd);this.g=he(ikb,[XZm,O6n],[94,28],0,[1,5],2);this.g[0][0]=phi(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=yhi(c[0],c[1],e[0],e[1],c[0],c[1],b[8],b[9]);this.g[0][2]=Xgi(Xgi(bhi(new mhi(c[0]),new ihi(2)),chi(new mhi(f[0]))),chi(new mhi(b[8])));this.g[0][3]=Xgi(Xgi(bhi(new mhi(c[1]),new ihi(2)),chi(new mhi(f[1]))),chi(new mhi(b[9])));this.g[0][4]=phi(f[0],f[1],b[4],b[5],b[6],b[7]);return this.g}throw Ttc(new Qfi)};_.jn=function(){Kei(this)};var Qjb=Mgd(2904);zuc(1282,19,{16:1,29:1,19:1,24:1,30:1,248:1,1282:1},wfi,xfi);_.Jm=function(){return Nrh(),bmh};_.Fm=function(){var a;if(!VNd(this.hd._K()).xi()){!!kyj&&lyj(kyj,(Dyj(),wyj),'CAS is not yet loaded => fingerprint set to null');this.i=null;this.p=0;return}a=this.i;vfi(this);if(a==null||!nid(a,this.i)){nyj(a+pNn+this.i);rfi(this,!!this.k)}};_.z2=function(a,b){return ufi(this,a,b)};_.jn=function(){vfi(this)};_.p=0;var Rjb=Mgd(1282);zuc(1924,19,{16:1,29:1,19:1,24:1,30:1,248:1,1924:1},Cfi);_.Jm=function(){return Nrh(),Hnh};_.Fm=function(){zfi(this)};_.jn=function(){Bfi(this)};var Tjb=Mgd(1924);zuc(7617,19,J6n,Gfi);_.Jm=function(){return Nrh(),Inh};_.Fm=function(){Dfi(this)};_.jn=function(){Ffi(this)};_.j=false;var Sjb=Mgd(7617);zuc(1104,1,{},Kfi);_.Zi=function(a){Hqd(this,a)};_._i=function(){return Ifi(this)};_.$i=function(){return !this.g};_.aj=function(){};_.g=false;_.j=0;_.n=0;var Ujb=Mgd(1104);var Lfi,Mfi;zuc(2991,1,{},Pfi);var Vjb=Mgd(2991);zuc(79,40,{3:1,40:1,68:1,79:1},Qfi);var Wjb=Mgd(79);zuc(918,1,{},Vfi);var Xjb=Mgd(918);var Wfi;zuc(2184,1,{},kgi);_.j=false;_.s=false;_.t=-1;_.A=null;var Yjb=Mgd(2184);zuc(2982,1,{},ogi);var $jb=Mgd(2982);zuc(1738,han,{},qgi);var Zjb=Mgd(1738);zuc(2986,han,{},sgi);var _jb=Mgd(2986);zuc(1739,han,{},Dgi);_.j=false;_.k=0;_.n=false;_.o=false;var bkb=Mgd(1739);zuc(1441,han,{},Mgi);_.i=0;var ckb=Mgd(1441);zuc(2984,1,{},Pgi);var dkb=Mgd(2984);zuc(2987,han,{},Rgi);var ekb=Mgd(2987);zuc(2985,han,{},Tgi);var fkb=Mgd(2985);zuc(2983,han,{},Wgi);var gkb=Mgd(2983);zuc(28,1,{16:1,28:1},hhi,ihi,jhi,khi,lhi,mhi);_.Ye=function(a){return Ygi(this,a)};_.Fe=function(a){return Zgi(this,a)};_.Ge=function(){return Qod(new Etd(this.g))};_.He=function(){return fhi(this)};var ikb=Mgd(28);zuc(717,1,{16:1,717:1},Hhi,Ihi,Jhi,Khi);_.Ye=function(a){return Chi(this,a)};_.Fe=function(a){return Dhi(this,a)};_.Ge=function(){if(this.g.o==0){return 0}return Tmd(ftd(this.g)).g>>Tmd(gtd(this.g)).g};_.He=function(){var a,b,c,d,e;e=new ujd('');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 Fid(e.g,1)}return ''};var jkb=Mgd(717);zuc(52,1,{16:1,52:1},Ohi,Phi);_.Ye=function(a){return Lhi(this,a)};_.Fe=function(a){return Mhi(this,a)};_.Ge=function(){return this.g};_.He=function(){return iid('v',''+this.g)};_.g=0;var kkb=Mgd(52);zuc(D8m,40,{3:1,40:1,68:1,1103:1},Rhi,Shi);var Qhi=U_m;var lkb=Mgd(D8m);var fii;zuc(7922,1,{},dii);_.j=0;_.n=-1;_.q=0;var Vhi;var nkb=Mgd(7922);zuc(T8m,1,{},yii);_.g=0;_.j=0;_.k=0;_.n=0;_.o=0;var hii,iii,jii,kii;var mkb=Mgd(T8m);zuc(2993,1,{},Kii);_.g=0;_.n=-1;_.o=0;_.p=0;_.q=0;_.s=1;_.t=0;_.u=false;_.v=false;_.A=1;_.B=0;var okb=Mgd(2993);zuc(7925,1,{},Mii);_.g=0;_.i=0;var pkb=Mgd(7925);zuc(2994,1,y0m,Nii,Oii);_.He=function(){return this.j};_.g=0;_.i=0;_.k=0;var rkb=Mgd(2994);zuc(2996,57,sZm,Qii);_.Oe=function(){return this.p};var qkb=Mgd(2996);zuc(801,1,{},DWi);_.g=null;_.i='Auto';_.j='Wu';_.k=true;_.n=4;_.o=4;var CWi;var lvb=Mgd(801);zuc(7823,1,{});_.p=false;var sCb=Mgd(7823);zuc(777,1,{777:1},_sj);_.Fe=function(a){if(a==null){return false}if(a===this){return true}if(Wb(a)!=pCb){return false}return Ysj(this)==Xb(a)};_.Ge=function(){return Ysj(this)};_.j=1;var pCb=Mgd(777);zuc(1511,1,{},btj);_.Gi=function(a,b){return gid(a.sc,b.sc)};_.Fe=Xso;_.Hi=Yso;var oCb=Mgd(1511);zuc(945,23,{3:1,16:1,23:1,945:1},jtj);var ctj,dtj,etj,ftj,gtj,htj;var qCb=Ngd(945,Ru,ktj);zuc(824,23,{3:1,16:1,23:1,824:1},utj);var ltj,mtj,ntj,otj,ptj,qtj,rtj,stj;var rCb=Ngd(824,Ru,vtj);var Btj='',Ctj='',Dtj,Etj=0,Ftj,Gtj,Htj,Itj;zuc(7935,ian,{},Ajm);var Ygc=Mgd(7935);zuc(5073,1,sOn);_.Se=function(){!!kyj&&lyj(kyj,(Dyj(),wyj),ATn);mtf=new _gh;vtf(this.g);Ekm(fSl(this.g.i))};zuc(1730,7823,{},vvm);var Kjc=Mgd(1730);aZm(Qc)(10);\n//# sourceURL=web3d-10.js\n")