$wnd.webSimple.runAsyncCallback9("function Ere(){}\nfunction Mre(){}\nfunction hXe(){}\nfunction Ihf(){}\nfunction Jhf(){}\nfunction Khf(){}\nfunction Lhf(){}\nfunction Mhf(){}\nfunction Nhf(){}\nfunction Ohf(){}\nfunction Phf(){}\nfunction PNf(){}\nfunction uNf(){}\nfunction POf(){}\nfunction iPf(){}\nfunction kPf(){}\nfunction mPf(){}\nfunction JPf(){}\nfunction LPf(){}\nfunction NPf(){}\nfunction QPf(){}\nfunction HRf(){}\nfunction r9f(){}\nfunction ozg(){}\nfunction qzg(){}\nfunction V1g(){}\nfunction jzg(a,b){a.q=b}\nfunction LOf(a,b){a.g=b}\nfunction MOf(a,b){a.i=b}\nfunction NOf(a,b){a.j=b}\nfunction OOf(a,b){a.k=b}\nfunction fQf(a){this.g=a}\nfunction CQf(a){this.g=a}\nfunction vdc(a){this.g=a}\nfunction Vce(a){this.g=a}\nfunction cki(a){jhc(this,a)}\nfunction aki(){YBc(this)}\nfunction LQf(){fc.call(this)}\nfunction dki(){return this.g}\nfunction Oji(a){return this.o}\nfunction Qji(a){return this.j}\nfunction Rji(a){return this.i}\nfunction Wji(a){return this.k}\nfunction Xji(a){return this.n}\nfunction Zji(a){return a.o}\nfunction Nji(a){return null}\nfunction _ji(a){return a.sl()}\nfunction zRf(a){return a.i[a.B]}\nfunction ARf(a){return a.k[a.B]}\nfunction CRf(a){return a.k[a.n]}\nfunction BRf(a){return a.i[a.n]}\nfunction uQf(a){return XPf(a,a)}\nfunction JRf(a){jc.call(this,a)}\nfunction gMd(a){aMd.call(this,a)}\nfunction hMd(a){aMd.call(this,a)}\nfunction iMd(a){aMd.call(this,a)}\nfunction jMd(a){aMd.call(this,a)}\nfunction kMd(a){aMd.call(this,a)}\nfunction lMd(a){aMd.call(this,a)}\nfunction mMd(a){aMd.call(this,a)}\nfunction TMd(a){aMd.call(this,a)}\nfunction tNd(a){aMd.call(this,a)}\nfunction zNd(a){aMd.call(this,a)}\nfunction LNd(a){aMd.call(this,a)}\nfunction NNd(a){aMd.call(this,a)}\nfunction yzg(a,b){szb.call(this,a,b)}\nfunction Jzg(a,b){szb.call(this,a,b)}\nfunction IRf(a,b){this.k=a;this.j=b}\nfunction bQf(){this.g=new $jc}\nfunction BQf(){this.g=new $jc}\nfunction TQf(){throw dub(new LQf)}\nfunction Dre(){Dre=Nub;Cre=new Ere}\nfunction Kre(){Kre=Nub;Jre=new Mre}\nfunction HNf(){HNf=Nub;GNf=new Ldh('',8)}\nfunction Pji(){return new Vce(this)}\nfunction IPf(a,b){return nIb(a.i,b)}\nfunction HQf(a,b){qIb(a.j,f8b(a.g),b)}\nfunction kOf(a){a.k=null;a.p=0}\nfunction pdc(a){ndc.call(this,a.k,a.n)}\nfunction dQf(a){eQf.call(this,a,new BQf)}\nfunction GRf(a){this.j=a;this.i=a.length}\nfunction xPf(){this.g=new p1b;this.i=new mec}\nfunction GPf(){this.g=new p1b;this.j=new mec}\nfunction tdc(a){return !a?null:new pdc(a)}\nfunction C0e(a){return cf(a,357)||!a.sb}\nfunction O8b(a,b){return onc(a),a+(onc(b),b)}\nfunction Yji(a){return onc(a),new Kkc(this,a)}\nfunction BOf(a){return a==null?null:new V9b(a)}\nfunction $ec(a){Wec(a,0,a.length,null)}\nfunction JQf(a){IQf.call(this,a.Sc);this.i=a}\nfunction MQf(a,b,c){gc.call(this,OQf(a,b,c))}\nfunction qRf(a,b,c){a.j=c;a.k=b;return b+1}\nfunction BRd(a){!a.i&&(a.i=new xPf);return a.i}\nfunction OZd(a){if(a.r){return 1}return 0}\nfunction yYd(a){if(a.G){return a.G.q.length}return 0}\nfunction CYd(a){if(a.G){return _dc(a.G,0)}return null}\nfunction $ji(a){return Ngf(),je(St,S5h,611,a,7,1)}\nfunction lEg(a){!!gEg&&hEg(gEg,(zEg(),vEg),a)}\nfunction oEg(a){!!gEg&&hEg(gEg,(zEg(),xEg),a)}\nfunction _zg(a,b){Rzg+=a+',';Qzg+=b+','}\nfunction yRf(a,b){a.q+=b;(a.n-=b)<0&&(a.n+=a.o)}\nfunction Lre(a,b){var c;c=b.cc;c!=null&&wkc(a.g,c)}\nfunction iRf(a,b){do{a.q[a.n++]=bRf[b]}while(b++!=1)}\nfunction jRf(a,b){if(a.p[b]!=a.o){a.q[a.n++]=b;a.p[b]=a.o}}\nfunction gRf(a){var b;a.o=Qrh;for(b=12;b-->0;)a.p[b]=Qph}\nfunction tRf(a){var b;a.B=-1;b=DRf(a);a.B=a.n;return b}\nfunction IQf(a){this.j=new wIb;this.g=a.r.zb++}\nfunction DQf(a){this.g=new $jc;Rjc(this.g,a,f8b(1))}\nfunction EQf(a,b){this.g=new $jc;Rjc(this.g,a,f8b(b))}\nfunction JOf(a,b,c){this.i=new wIb;this.j=a;this.k=b;this.g=c}\nfunction ENf(a,b,c,d){FNf.call(this,a,c,d);HRc(this.k,b)}\nfunction SNf(a,b,c,d){TNf.call(this,a,c,d);HRc(this.k,b)}\nfunction WNf(a,b,c,d){XNf.call(this,a,c,d);HRc(this.k,b)}\nfunction NNf(a,b,c,d){HNf();ONf.call(this,a,c,d);HRc(this.k,b)}\nfunction akc(a){_jc.call(this,(onc(a),hgc(a.g)));gIb(this,a)}\nfunction eQf(a,b){bQf.call(this);a!=(ibc(),hbc)&&Rjc(this.g,b,a)}\nfunction gQf(a){bQf.call(this);Rjc(this.g,new DQf(a),(ibc(),dbc))}\nfunction cQf(a){eQf.call(this,new Jbc(''+Dub(a)),new BQf)}\nfunction bkc(a){ckc.call(this,a,(qkc(),mkc),null,false,null,false)}\nfunction Mjc(a,b,c){return new lkc(a,(qkc(),nkc),null,false,b,c)}\nfunction DZe(a){if(cf(a.sb,114)){return a.sb.Lv(a)}return null}\nfunction F5e(a){if(cf(a.sb,114)){return a.sb.Mv(a)}return null}\nfunction r0e(a,b){if(cf(a.sb,143)){return a.sb.Pv(b)}return null}\nfunction l0e(a,b){if(cf(a.sb,143)){return a.sb.Ov(b)}throw dub(new KOf)}\nfunction x0e(a){if(cf(a.sb,143)){return a.sb.Rv()}throw dub(new KOf)}\nfunction E5e(a){if(cf(a.sb,114)){return a.sb.Lv(a)}throw dub(new KOf)}\nfunction s0e(a,b){if(cf(a.sb,143)){a.sb.Qv(b);return}throw dub(new KOf)}\nfunction hzg(a,b){if(!a.o||b!=(xzg(),wzg)){return b}return a.o}\nfunction hQf(a){if(a==null||a.length==0)return '';return ','+a}\nfunction UPf(a){if(a.g.j>1){return null}return tdc(Ijc(a.g)).n}\nfunction GQf(a,b){if(cf(b,38)){return a.g==b.g}return kf(a)===kf(b)}\nfunction TPf(a,b){if(cf(b,21)){return SPf(a,b)==0}return kf(a)===kf(b)}\nfunction xQf(a,b){if(cf(b,425)){return wQf(a,b)==0}return kf(a)===kf(b)}\nfunction FQf(a,b){var c;c=b.g;if(a.gc){return -1}return 0}\nfunction dAg(a){var b;b=a.cc;if(b!=null){return '$'+b+'$'}return null}\nfunction xNd(a,b,c,d){var e,f;e=new qOf(a.n,c,d);f=e.j;HRc(f,b);return f}\nfunction KOf(){gc.call(this,'No symbolic parameters available')}\nfunction Sji(a){if(this.j!=null){return this.j}this.j=Wce(this.ab);return this.j}\nfunction bki(a){if(!!this.i&&!!this.j){s0e(this.i,a);s0e(this.j,a);return}throw dub(new KOf)}\nfunction Vji(a){if(!!this.g&&!!this.i){nff(this.g,a);nff(this.i,a);return}throw dub(new KOf)}\nfunction FNf(a,b,c){oCc.call(this,a);this.i=b;this.j=c;this.k=new A1e(a);DNf(this);BNf(this)}\nfunction DNf(a){a.ab=je(y_,DIh,15,2,0,1);a.ab[0]=a.i;a.ab[1]=a.j;dCc(a,a.k);_Bc(a)}\nfunction fOf(a){a.ab=je(y_,DIh,15,2,0,1);a.ab[0]=a.k;a.ab[1]=a.j;dCc(a,a.n);_Bc(a)}\nfunction xNf(a){a.ab=je(y_,DIh,15,3,0,1);a.ab[0]=a.i;a.ab[1]=a.j;a.ab[2]=a.k;dCc(a,a.n);_Bc(a)}\nfunction vOf(a){a.ab=je(y_,DIh,15,1,0,1);a.ab[0]=a.j;dCc(a,a.g);_Bc(a);a.i=kzg(a.j)}\nfunction zOf(a){a.ab=je(y_,DIh,15,1,0,1);a.ab[0]=a.k;dCc(a,a.i);_Bc(a);a.g=kzg(a.k)}\nfunction zzg(){xzg();return me(fe(Mhb,1),Csh,573,0,[tzg,uzg,vzg,rzg,wzg,szg])}\nfunction Kzg(){Izg();return me(fe(Nhb,1),Csh,497,0,[Hzg,Bzg,Fzg,Ezg,Gzg,Azg,Dzg,Czg])}\nfunction QQf(){QQf=Nub;PQf=me(fe(qf,1),qqh,5,15,[256,512,Quh,6144,6144,csh,8192,8192,96,srh])}\nfunction sRf(a){fRf();this.p=je(qf,qqh,5,12,15,1);this.q=je(qf,qqh,5,24,15,1);new T9b;this.i=a}\nfunction gOf(a,b,c){oCc.call(this,a);this.k=b;this.j=c;this.n=new A1e(a);fOf(this);this.n.n=false}\nfunction ONf(a,b,c){HNf();oCc.call(this,a);this.i=b;this.j=c;this.k=new A1e(a);DNf(this);JNf(this)}\nfunction bOf(a,b,c){oCc.call(this,a);this.n=0;this.k=c;this.o=b;this.j=new huf(a);aOf(this);YNf(this)}\nfunction OPf(a,b){if(a.r!=null){return}a.r=je(Z5,U5h,38,2,0,1);a.r[0]=new IQf(b);a.r[1]=new IQf(b)}\nfunction WPf(a){if(a.g.j>1){return false}if(xQf(udc(Ijc(a.g)),new BQf)){return true}return false}\nfunction COf(a){var b,c;c=new p1b;for(b=0;b=a.B?u9b(a.j,a.B,a.n-a.B+1):u9b(a.j,a.B,a.o-a.B)+u9b(a.j,0,a.n+1)}\nfunction BNf(a){var b;b=a.i.ln(a.j);if((Uvg(),Tvg)==b){v1e(a.k)}else{a.k.j=true;w1e(a.k,b==Svg)}}\nfunction JNf(a){var b;if(cf(a.i,228)){b=a.i;w1e(a.k,INf(b.k,a.j))}else{w1e(a.k,a.i.sn(a.j)==(Uvg(),Svg))}}\nfunction zNf(a){a.ab=je(y_,DIh,15,4,0,1);a.ab[0]=a.i;a.ab[1]=a.j;a.ab[2]=a.k;a.ab[3]=a.n;dCc(a,a.o);_Bc(a)}\nfunction vNf(a){a.ab=je(y_,DIh,15,3,0,1);a.ab[0]=a.i.Yp();a.ab[1]=a.j.Yp();a.ab[2]=a.k.Yp();dCc(a,a.n);_Bc(a)}\nfunction YOf(a,b,c){var d,e,f,g;qIb(a.p,b,c);for(e=c,f=0,g=e.length;f0){--a.q;++a.n==a.o&&(a.n=0);return a.j[a.n]}++a.n>=a.t&&vRf(a);b=a.j[a.n];xRf(a,b);return b}\nfunction vPf(a,b){var c;if(a.r!=null){for(c=0;c0)return i9b(c.g,1);return ''}\nfunction kRf(a){var b,c,d,e,f;e=cRf[a.j];d=e==null?wRf(a.i):e;c=ARf(a.i);b=zRf(a.i);CRf(a.i);BRf(a.i);f=new IRf(a.j,d);f.i=c;f.g=b;return f}\nfunction yQf(a){var b,c,d,e,f;f=new p1b;e=(c=(new xdc(a.g)).g.ee().i.jg(),new ydc(c));while(e.g.xf()){d=(b=e.g.yf(),b.tf());qIb(f.g,d,f)}return f}\nfunction VPf(a){var b,c,d,e,f;f=new p1b;d=(c=(new xdc(a.g)).g.ee().i.jg(),new ydc(c));while(d.g.xf()){e=(b=d.g.yf(),b.tf());c1b(f,yQf(e))}return f}\nfunction YPf(a){var b,c,d,e;d=new $jc;c=(new fkc(a.g)).i.jg();while(c.xf()){b=c.yf();e=b.tf();Rjc(d,e,occ((ibc(),hbc),b.uf()))}return new fQf(d)}\nfunction gzg(a){if(a.o){if(a.o==(xzg(),tzg)||a.o==uzg||a.o==vzg){return Uvg(),Svg}if(a.o==rzg){return Uvg(),Rvg}}return Uvg(),Tvg}\nfunction wNf(a,b,c,d){oCc.call(this,a);this.i=b;this.j=c;this.k=d;this.n=new A1e(a);vNf(this);w1e(this.n,ygf(this.i,this.j,this.k))}\nfunction yNf(a,b,c,d,e){oCc.call(this,a);this.i=c;this.j=d;this.k=e;this.n=new A1e(a);xNf(this);w1e(this.n,g1e(this.i,this.j,this.k));HRc(this.n,b)}\nfunction ERf(a){this.r=a;this.s=1;this.p=0;this.g=this.o=csh;this.j=je(of,Yph,5,csh,15,1);this.k=je(qf,qqh,5,csh,15,1);this.i=je(qf,qqh,5,csh,15,1)}\nfunction SQf(a,b){var c;(c=a.r).n?(a.r=a.r.n):(a.r=a.r.n=hRf(a.s));a.q=-1;if(a.r.k==b){++a.j;return a.r}a.r=c;a.n=b;throw dub(RQf(a))}\nfunction Uji(a){var b,c;if(!!this.g&&!!this.i){b=mff(this.g,a);c=mff(this.i,a);if(b!=null&&c!=null){return $ce(b,c)}}throw dub(new KOf)}\nfunction INf(a,b){var c,d;if(!a.nn()||!a.Vl()){return false}c=a.sl();d=b.sl();if(!Lvg(c,d)){return false}return eie(a.Vl())&&!Yke(a.Vl(),new PNf)}\nfunction bPf(a,b){var c,d,e,f,g;if(vIb(a.p)==0){return}g=nIb(a.p,b);if(g==null){return}for(d=g,e=0,f=d.length;ed?d:f;f>g&&(f=g);U8b(a.j,a.g,a.g+f,b,c);a.g+=f;return f}\nfunction MNd(a,b,c,d){var e,f;if(cf(b,199)){e=new AOf(a.n,b,c);HRc(e.i,pjd(d));f=me(fe(y_,1),DIh,15,0,[e.i]);return f}throw dub(FLd(a,d.q,b))}\nfunction g1e(a,b,c){b0e();var d;d=a.hb*b.ib*c.jb+b.hb*c.ib*a.jb+c.hb*a.ib*b.jb-c.hb*b.ib*a.jb-b.hb*a.ib*c.jb-a.hb*c.ib*b.jb;return bMh5||e<0.2||c){jEg('myPrecision='+Dub(a.n)+N6h+Dub(d)+O6h+e);a.i=null;a.n=d;return true}return false}\nfunction Udh(){this.g=(Izg(),Azg);this.i=new p1b;this.j=new mec;Xdc(this.j,Hzg);Xdc(this.j,Bzg);Xdc(this.j,Fzg);this.k=new mec;Xdc(this.k,Bzg);Xdc(this.k,Fzg)}\nfunction ZOf(a,b){var c;if(n1b(a.u,b)){!!gEg&&hEg(gEg,(zEg(),sEg),'Ignoring existing poly '+b);return}m1b(a.u,b);c=vIb(a.u.g);jEg('Adding poly #'+c+Sph+aQf(b))}\nfunction nRf(b){try{b.g=DRf(b.i)}catch(a){a=cub(a);if(cf(a,176)){rRf(0,128);return 1}else throw dub(a)}if(b.g==49){return oRf(b,128)}return lRf(b,rRf(0,128),1)}\nfunction Qtd(a,b,c){var d,e;for(e=new sec(a.k);e.g','','\"[1]:\"','','',rrh,'\"+\"','\"-\"','\"*\"','\"^\"'])}\nfunction oOf(a,b,c){var d,e;d=Byd(b);e=Bub(a.p)/Bub(d);if(e>5||e<0.2||c){jEg('resetFingerprint: myPrecision='+Dub(a.p)+N6h+Dub(d)+O6h+e);a.i=null;a.p=d;return true}return false}\nfunction _ce(a){var b,c,d,e;b=(ibc(),hbc);for(d=0;d1&&(f.g+='^{'+e+'}',f)}return f.g}\nfunction nff(a,b){if(!a.sb){!a.$&&(a.$=new JQf(a));!a._&&(a._=new JQf(a));HQf(a.$,a._);HQf(a._,a.$);m1b(b,a.$);m1b(b,a._);return}if(cf(a.sb,143)){a.sb.Qv(b);return}throw dub(new KOf)}\nfunction tff(a){var b;if(!a.sb){!a.$&&(a.$=new JQf(a));!a._&&(a._=new JQf(a));b=me(fe(X5,1),Y5h,21,0,[new gQf(a.$),new gQf(a._),new cQf(1)]);return b}if(cf(a.sb,143)){return a.sb.Rv()}throw dub(new KOf)}\nfunction ODc(a){var b,c,d;c=new T9b;b=new Zcc((new Wcc(a)).g);while(b.i){d=Ycc(b);c.g+=',';J9b(c,O8b('v',''+d.tf().g));c.g+='=';I9b(c,d.uf())}if(c.g.length>0){return i9b(c.g,1)}return ''}\nfunction xzg(){xzg=Nub;tzg=new yzg('TRUE',0);uzg=new yzg('TRUE_NDG_UNREADABLE',1);vzg=new yzg('TRUE_ON_COMPONENTS',2);rzg=new yzg('FALSE',3);wzg=new yzg(_th,4);szg=new yzg('PROCESSING',5)}\nfunction rRf(a,b){switch(a){case 0:if(uub(fub(b,128),0))return 4;return -1;case 1:if(uub(fub(b,128),0))return 6;return -1;case 2:if(uub(fub(b,128),0))return 5;return -1;default:return -1;}}\nfunction hPf(a,b,c){var d,e;if(a.g==null){e=eff(b,b);d=eff(c,c);if(e==null||d==null){gPf(a,b.Sc);return null}a.g=je(Z5,U5h,38,4,0,1);a.g[0]=d[0];a.g[1]=d[1];a.g[2]=e[0];a.g[3]=e[1]}return a.g}\nfunction $zg(a,b){var c,d,e,f,g,h;qIb(Vzg,a,f8b(b));b>Tzg&&(Tzg=b);c=a.sb;if(c){for(e=c.ab,f=0,g=e.length;fa.j-(a.n-c)+1){while(a.k[c]>a.j-(a.n-c)){--c;if(c<0){break}}if(c<0){return true}++a.k[c];for(b=c+1;b0)return i9b(i.g,1);return ''}\nfunction Izg(){Izg=Nub;Hzg=new Jzg('RECIOS_PROVER',0);Bzg=new Jzg('BOTANAS_PROVER',1);Fzg=new Jzg('OPENGEOPROVER_WU',2);Ezg=new Jzg('OPENGEOPROVER_AREA',3);Gzg=new Jzg('PURE_SYMBOLIC_PROVER',4);Azg=new Jzg('AUTO',5);Dzg=new Jzg('LOCUS_IMPLICIT',6);Czg=new Jzg('LOCUS_EXPLICIT',7)}\nfunction CPf(a,b){var c,d,e,f,g,h,i;for(g=a.r,h=0,i=g.length;h8}return false}\nfunction tQf(a,b,c,d,e){var f,g,h,i,j,k,l;l=null;i=nQf(a);l=new r1b(new idc(b));h=qQf(a,l,(G6b(),true),e);g=qQf(a,l,false,e);f=c.Iu();j=$Cc(f).Mj(b,i,h,g,d);k=Dbg(C4f(f.g).i)?$Cc(f).Oj(j):'?';if(S8b('0',k)||S8b(JMh,k)){return Uvg(),Rvg}if(S8b('1',k)||S8b(bJh,k)){return Uvg(),Svg}return Uvg(),Tvg}\nfunction aPf(a,b){var c,d,e,f,g,h,i,j,k,l,m,n,o,p;j=new p1b;p=new p1b;qIb(p.g,b,p);while(vIb(p.g)!=0){c1b(j,p);i=(l=(new idc(p.g)).g.ee().xd(),new jdc(l));o=new p1b;while(i.g.xf()){m=(d=i.g.yf(),d.tf());c=m.sb;if(c){n=c.ab;for(f=n,g=0,h=f.length;g0&&O9b(e,e.g.length-1);e.g+='-'}else{kbc(jcc(b,dbc),hbc)<0&&e.g.length>0&&O9b(e,e.g.length-1);e.g+=''+b}}J9b(e,AQf(f))}e.g+='+'}return w6b(e,0,e.g.length-1)}\nfunction jPf(a,b){var c,d,e,f;if(a.q!=null){return a.q}d=b[0].Mv(b[0]);if(a.r==null){a.r=je(Z5,U5h,38,4,0,1);a.r[0]=new IQf(b[0].Oi());a.r[1]=new IQf(b[0].Oi());a.r[2]=d[0];a.r[3]=d[1]}c=me(fe(Z5,1),U5h,38,0,[a.r[0],a.r[1]]);e=b[1].Mv(b[1]);f=b[2].Mv(b[2]);a.q=je(X5,Y5h,21,2,0,1);a.q[0]=mQf(d[0],d[1],c[0],c[1],e[0],e[1]);a.q[1]=mQf(d[0],d[1],c[0],c[1],f[0],f[1]);return a.q}\nfunction rQf(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!gEg&&hEg(gEg,(zEg(),xEg),'Setting up equation for parallel lines ('+a+','+b+')-'+'('+c+','+d+d7h+'('+e+','+f+')-'+'('+g+','+h+')');i=new gQf(a);j=new gQf(b);k=new gQf(c);l=new gQf(d);m=new gQf(e);n=new gQf(f);o=new gQf(g);p=new gQf(h);q=RPf(XPf(RPf(i,YPf(k)),RPf(n,YPf(p))),YPf(XPf(RPf(j,YPf(l)),RPf(m,YPf(o)))));return q}\nfunction sQf(a,b,c,d,e,f,g,h){var i,j,k,l,m,n,o,p,q;!!gEg&&hEg(gEg,(zEg(),xEg),'Setting up equation for perpendicular lines ('+a+','+b+')-'+'('+c+','+d+d7h+'('+e+','+f+')-'+'('+g+','+h+')');i=new gQf(a);j=new gQf(b);k=new gQf(c);l=new gQf(d);m=new gQf(e);n=new gQf(f);o=new gQf(g);p=new gQf(h);q=RPf(XPf(RPf(i,YPf(k)),RPf(m,YPf(o))),XPf(RPf(j,YPf(l)),RPf(n,YPf(p))));return q}\nfunction vRf(b){var c,d;if(b.t==b.g){if(b.g==b.o){if(b.B>trh){b.n=b.t=0;b.g=b.B}else b.B<0?(b.n=b.t=0):uRf(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++){(PQf[d]&1<126){f=(d=b,$ph+d.toString(16));J9b(e,Zph+j9b(f,f.length-4,f.length))}else{e.g+=String.fromCharCode(b)}continue;}}return e.g}\nfunction qNf(b,c,d){var e,f,g,h,i,j,k,l,m,n,o;if(d){n=new wIb;for(f=new Zcc((new Wcc(b)).g);f.i;){e=Ycc(f);o=e.tf();qIb(n,o,e.uf())}h=(!q9f&&(q9f=new r9f),q9f);m=tQf(i1b(d.u,je(X5,Y5h,21,vIb(d.u.g),0,1)),n,d.r.Oi(),h.k,d.n);!!gEg&&hEg(gEg,(zEg(),sEg),'Recio meets Botana:'+n);if(m==(Uvg(),Svg)){return xzg(),rzg}}else{try{g=c.g.Pv(b);for(j=g,k=0,l=j.length;k1?znc(n.g[0],n.g[1]):znc(n.g[0],0);jub(n.n>0?r:tub(r),0)?Sjc(m,o):Rjc(m,o,n)}else{f=l.g[0];(l.n>0?f:-f|0)!=0&&Rjc(m,o,l)}}return new fQf(m)}\nfunction pOf(a){var b,c,d,e,f,g;f=new Ckc;a.q=je(y_,DIh,15,2,0,1);if(a.k){wkc(f,a.o);g=(d=(new xdc(ePc(a.k).g)).g.ee().i.jg(),new ydc(d));a.q[0]=a.k}else{wkc(f,a.o.P.Yp());g=(d=(new xdc(ePc(a.n).g)).g.ee().i.jg(),new ydc(d));a.q[0]=a.n}while(g.g.xf()){e=(c=g.g.yf(),c.tf());(!e.sb&&(!e.Kb||!i2e(e.Kb))||e.Ao())&&f.g.put(e,(G6b(),E6b))==null}Akc(f,a.o);a.g=je(y_,DIh,15,f.g.size(),0,1);a.g=i1b(f,a.g);a.q[1]=a.o;dCc(a,a.j);bCc(a,a.q,a.g);b=a.o.Qc;do{eec(b.k,a)}while(aec(b.k,a,0)!=-1);Xdc(b.k,a);a.i=cOf(a.g);a.p=Byd(a.Sc)}\nfunction uRf(b,c){var d,e,f,g;e=je(of,Yph,5,b.o+trh,15,1);f=je(qf,qqh,5,b.o+trh,15,1);d=je(qf,qqh,5,b.o+trh,15,1);try{if(c){X9b(b.j,b.B,e,0,b.o-b.B);X9b(b.j,0,e,b.o-b.B,b.n);b.j=e;X9b(b.k,b.B,f,0,b.o-b.B);X9b(b.k,0,f,b.o-b.B,b.n);b.k=f;X9b(b.i,b.B,d,0,b.o-b.B);X9b(b.i,0,d,b.o-b.B,b.n);b.i=d;b.t=b.n+=b.o-b.B}else{X9b(b.j,b.B,e,0,b.o-b.B);b.j=e;X9b(b.k,b.B,f,0,b.o-b.B);b.k=f;X9b(b.i,b.B,d,0,b.o-b.B);b.i=d;b.t=b.n-=b.B}}catch(a){a=cub(a);if(cf(a,52)){g=a;throw dub(new jc(g.dd()))}else throw dub(a)}b.o+=trh;b.g=b.o;b.B=0}\nfunction fzg(a){var b,c,d,e;if(!a.q){!!gEg&&hEg(gEg,(zEg(),uEg),'No statement to prove');a.o=(xzg(),wzg);return}c=a.q.sb;if(!c){S8b(a.q._p((HDd(),eDd)),bJh)?(a.o=(xzg(),tzg)):S8b(a.q._p(eDd),JMh)?(a.o=(xzg(),rzg)):(a.o=(xzg(),wzg));return}cAg(a.q);if(a.g!=(Izg(),Azg)){ezg(a,a.g);return}jEg(a7h+a.g);a.p?(d=new sec(a.k)):(d=new sec(a.j));a.o=(xzg(),wzg);while((a.o==wzg||a.o==uzg)&&d.g0){s6b(f,j-1,j-1+1,'');J9b(J9b(o,L7f(k,'LetABeArbitraryPoints',null,me(fe(lu,1),cqh,2,6,[f.g]))),'.\\n')}o.g+=h;p=s9b(a.sb);J9b(J9b(o,L7f(k,'ProveThat',null,me(fe(lu,1),cqh,2,6,[p]))),'.');return o.g}\nfunction rNf(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 idc(b.g)).g.ee().xd(),new jdc(l)).g.yf(),i.tf());for(k=1;k<=d+2;k++){qIb(c,u,(ibc(),gub(k,0)>=0?Lbc(k):ybc(Lbc(tub(k)))));if(f){s=new wIb;for(h=new Zcc((new Wcc(c)).g);h.i;){g=Ycc(h);t=g.tf();qIb(s,t,g.uf())}m=(!q9f&&(q9f=new r9f),q9f);r=tQf(i1b(f.u,je(X5,Y5h,21,vIb(f.u.g),0,1)),s,f.r.Oi(),m.k,f.n);!!gEg&&hEg(gEg,(zEg(),sEg),G6h+k+' '+s);if(r==(Uvg(),Svg)){return xzg(),rzg}}else{try{j=e.g.Pv(c);for(o=j,p=0,q=o.length;p>6],wub(1,b.j&63)),0)){h=kRf(b);return h}else{continue i}}g=CRf(b.i);f=BRf(b.i);e=null;c=false;try{DRf(b.i);yRf(b.i,1)}catch(a){a=cub(a);if(cf(a,176)){c=true;e=d<=1?'':wRf(b.i);if(b.g==10||b.g==13){++g;f=0}else ++f}else throw dub(a)}if(!c){yRf(b.i,1);e=d<=1?'':wRf(b.i)}throw dub(new KRf(c,g,f,e,b.g))}}\nfunction qPf(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.t){case 20:NOf(c,RPf(g,j));break;case 21:NOf(c,RPf(g,YPf(j)));break;case 24:NOf(c,XPf(g,j));break;case 29:i=n8b(wbc(UPf(c.k.j)));if(i){h=g;for(f=f8b(1);oub(f.g,i.g);d=f,f=f8b(f.g+1),d){h=XPf(h,g)}c.j=h}break;default:throw dub(new KOf);}}b.u.un()&&!c.g.j&&qPf(a,b.u,c.g);b.C.un()&&!c.k.j&&qPf(a,b.C,c.k);if(cf(b.u,33)&&!c.g.j){e=Hac(new Lac(b.u.sl()));NOf(c.g,new dQf(e))}if(cf(b.C,33)&&!c.k.j){e=Hac(new Lac(b.C.sl()));NOf(c.k,new dQf(e))}if(cf(b.u,33)&&cf(b.C,109)){e=Hac(new Lac(b.u.sl()));l=vPf(a,b.C.Dj((HDd(),dDd)));if(l){k=new DQf(l);NOf(c,new eQf(e,k));return}}}\nfunction zPf(a,b,c){var d,e,f,g,h,i,j,k,l;if(c.j){return}if(!!c.g&&!c.k&&c.i==(vrg(),Mqg)){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.t){case 20:NOf(c,RPf(g,j));break;case 21:NOf(c,RPf(g,YPf(j)));break;case 24:NOf(c,XPf(g,j));break;case 29:i=n8b(wbc(UPf(c.k.j)));if(i){h=g;for(f=f8b(1);oub(f.g,i.g);d=f,f=f8b(f.g+1),d){h=XPf(h,g)}c.j=h}break;default:throw dub(new KOf);}}b.u.un()&&!c.g.j&&zPf(a,b.u,c.g);!!b.C&&b.C.un()&&!c.k.j&&zPf(a,b.C,c.k);if(cf(b.u,33)&&!c.g.j){e=Hac(new Lac(b.u.sl()));NOf(c.g,new dQf(e))}if(cf(b.C,33)&&!c.k.j){e=Hac(new Lac(b.C.sl()));NOf(c.k,new dQf(e))}if(cf(b.u,33)&&cf(b.C,109)){e=Hac(new Lac(b.u.sl()));l=CPf(a,b.C.Dj((HDd(),dDd)));if(l){k=new DQf(l);NOf(c,new eQf(e,k));return}}}\nfunction lPf(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,80)){throw dub(new KOf)}n=null;cf(d,37)&&(n=d);if(!e||!f||!n){throw dub(new KOf)}if(a.r==null){g=eff(e,e);h=eff(f,f);a.r=je(Z5,U5h,38,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 IQf(e.Sc);a.r[5]=new IQf(e.Sc);a.r[6]=new IQf(e.Sc)}a.q=je(X5,Y5h,21,2,0,1);i=null;cf(n.sb,344)&&(i=DZe(n));o=EZe(n,n);l=0;q=uQf(new gQf(o[0]));if(i!=null){a.q=je(X5,Y5h,21,i.length+1,0,1);for(l=0;l3?(p.g='DegeneratePolygon'):(p.g=YRh);n=je(y_,DIh,15,s,0,1);o=0;for(c=new sec(d);c.g=0?Lbc((d+2-k)*(d+2-n)):ybc(Lbc(tub((d+2-k)*(d+2-n))))));qIb(c,A[1],gub(k*n,0)>=0?Lbc(k*n):ybc(Lbc(tub(k*n))));if(f){v=new wIb;for(i=new Zcc((new Wcc(c)).g);i.i;){h=Ycc(i);w=h.tf();qIb(v,w,h.uf())}u=tQf(i1b(f.u,je(X5,Y5h,21,vIb(f.u.g),0,1)),v,f.r.Oi(),(!q9f&&(q9f=new r9f),q9f).k,f.n);!!gEg&&hEg(gEg,(zEg(),sEg),G6h+g+' '+v);if(u==(Uvg(),Svg)){return xzg(),rzg}}else{try{j=e.g.Pv(c);for(r=j,s=0,t=r.length;s5&&(f=5);{jRf(b,0)}break;case 6:case 4:uub(fub(hZh,g),0)&&(jRf(b,4),jRf(b,6));break;case 2:if(jub(fub(hZh,g),0))break;f>6&&(f=6);b.q[b.n++]=2;break;case 5:b.g==58&&(f=8);break;case 8:uub(fub(hZh,g),0)&&iRf(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!=Mph){b.j=f;b.k=d;f=Mph}++d;if((e=b.n)==(h=12-(b.n=h)))return d;try{b.g=DRf(b.i)}catch(a){a=cub(a);if(cf(a,176)){return d}else throw dub(a)}}}\nfunction APf(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.Sc;i=c.g.Vl();FPf(b,i,p);if(b.r==null){b.r=je(Z5,U5h,38,b.j.q.length+1,0,1);b.r[0]=new IQf(p);if(b.j.q.length==0){throw dub(new KOf)}else{n=new sec(b.j);o=1;while(n.g=0;s--){w=xbc(w,occ(xbc((ibc(),gub(t,0)>=0?Lbc(t):ybc(Lbc(tub(t)))),Obc(p[s])),gub(o,0)>=0?Lbc(o):ybc(Lbc(tub(o)))));g[o][s]=w}qIb(c,H[o],w)}++u;if(f){F=new wIb;for(j=new Zcc((new Wcc(c)).g);j.i;){i=Ycc(j);G=i.tf();qIb(F,G,i.uf())}D=tQf(i1b(f.u,je(X5,Y5h,21,vIb(f.u.g),0,1)),F,f.r.Oi(),(!q9f&&(q9f=new r9f),q9f).k,f.n);!!gEg&&hEg(gEg,(zEg(),sEg),'Recio meets Botana #'+u+Sph+F);if(D==(Uvg(),Svg)){return xzg(),rzg}}else{try{k=e.g.Pv(c);for(A=k,B=0,C=A.length;B0?(q=0):(q/=s));v=1/u;A+=B*v*v;A/=u;!!gEg&&hEg(gEg,(zEg(),sEg),'population='+l);!!gEg&&hEg(gEg,(zEg(),sEg),'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=eff(CYd(e),CYd(e));f[f.length-1]=RPf(XPf(vQf(i[0],i[1],g[0],g[1]),new gQf(new IQf(v))),YPf(new cQf(1)))}qIb(a.g,b,f);return f}h=je(Z5,U5h,38,2,0,1);!a.i&&(a.i=new wIb);if(kIb(a.i,b)){h=nIb(a.i,b)}else{h=je(Z5,U5h,38,2,0,1);h[0]=new IQf(v);h[1]=new IQf(v);qIb(a.i,b,h)}if(!a.g){j=E5e(c);l=F5e(c);m=E5e(d);o=F5e(d);k=j.length;n=m.length;f=je(X5,Y5h,21,k+n,0,1);for(t=0;t0&&(i.g+=',',i);i.g+=''+K}n=new p1b;c1b(n,a.n);l1b(n,new idc(b));o=new T9b;for(L=(G=(new idc(n.g)).g.ee().xd(),new jdc(G));L.g.xf();){K=(l=L.g.yf(),l.tf());o.g.length>0&&(o.g+=',',o);o.g+=''+K}h=GOf.Iu();_Of(a);p=$Cc(h).Lj(b,a.v,o.g,i.g);q=Dbg(C4f(h.g).i)?$Cc(h).Oj(p):'?';r=q.length-d9b(q,'{','').length-1;A=new p1b;H=1;for(s=0;sc+1}++k}}\nfunction PPf(a,b){var c,d,e,f,g,h,i,j;h=b.Oi();if(a.q!=null){return a.q}if(cf(b,57)){if(a.r==null){a.r=je(Z5,U5h,38,2,0,1);a.r[0]=new IQf(h);a.r[1]=new IQf(h)}g=b.Mv(b);if(g==null){OPf(a,h);return null}a.q=je(X5,Y5h,21,1,0,1);a.q[0]=jQf(g[0],g[1],g[2],g[3],a.r[0],a.r[1]);return a.q}if(cf(b,127)){if(b.nb==4){if(a.r==null){a.r=je(Z5,U5h,38,2,0,1);a.r[0]=new IQf(h);a.r[1]=new IQf(h)}g=b.Mv(b);if(g==null){OPf(a,h);return null}a.q=je(X5,Y5h,21,1,0,1);a.q[0]=mQf(g[2],g[3],g[0],g[1],a.r[0],a.r[1]);return a.q}if(b.nb==9){if(a.r==null){a.r=je(Z5,U5h,38,4,0,1);a.r[0]=new IQf(h);a.r[1]=new IQf(h);a.r[2]=new IQf(h);a.r[3]=new IQf(h)}j=b.Mv(b);if(j==null){OPf(a,h);return null}a.q=je(X5,Y5h,21,3,0,1);a.q[0]=mQf(j[8],j[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[1]=jQf(j[4],j[5],a.r[2],a.r[3],j[6],j[7]);a.q[2]=sQf(a.r[0],a.r[1],a.r[2],a.r[3],j[4],j[5],j[6],j[7]);return a.q}if(b.nb==3||b.nb==5){if(a.r==null){a.r=je(Z5,U5h,38,4,0,1);a.r[0]=new IQf(h);a.r[1]=new IQf(h);a.r[2]=new IQf(h);a.r[3]=new IQf(h)}i=b.Mv(b);if(i==null){OPf(a,h);return null}if(cf(b.sb,725)){a.q=je(X5,Y5h,21,2,0,1);a.q[0]=RPf(new gQf(i[0]),YPf(new gQf(a.r[0])));a.q[1]=RPf(new gQf(i[1]),YPf(new gQf(a.r[1])));return a.q}a.q=je(X5,Y5h,21,3,0,1);e=new gQf(a.r[2]);f=new gQf(a.r[3]);c=new gQf(i[2]);d=new gQf(i[3]);a.q[0]=RPf(RPf(RPf(c,d),YPf(e)),YPf(f));a.q[1]=RPf(vQf(a.r[0],a.r[1],i[6],i[7]),YPf(XPf(e,e)));a.q[2]=RPf(vQf(a.r[0],a.r[1],i[8],i[9]),YPf(XPf(f,f)));return a.q}}OPf(a,h);return null}\nfunction pNf(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;S8b('groebner',(!q9f&&(q9f=new r9f),q9f).j)&&(d=true);e=null;D=c.q;if(cf(D,143)){C=D.Sv()}else if(cf(D.sb,143)){C=D.sb.Sv()}else{return xzg(),wzg}if(d){B=new Udh;LOf(B,(Izg(),Hzg));e=new ePf(D,null,B);if(e.A==(xzg(),szg)){return szg}}H=new p1b;if(d){l=UOf(D);u=new sec(l);while(u.g5){!!gEg&&hEg(gEg,(zEg(),sEg),\"Recio's method is currently disabled when # of free variables > 5\");return xzg(),wzg}try{g=C.g.Ov(b)}catch(a){a=cub(a);if(cf(a,55)){return xzg(),wzg}else throw dub(a)}f=0;for(q=g,r=0,s=q.length;r0){mzg(o,a.Qc);v=null;if(a.j){new pCd(a.Sc);d=o.g;S8b(VRh,d)?(v=BOf(TBd(o.i[0],o.i[1],true,a.Qc.S.r.J))):S8b(YRh,d)?(v=BOf(oCd(o.i[0],o.i[1],o.i[2],a.Qc.S.r.J))):S8b(URh,d)?(v=BOf(PBd(o.i[0],o.i[1],false,a.Qc.S.r.J))):S8b(WRh,d)?(v=BOf(YBd(o.i[0],o.i[1],false,a.Qc.S.r.J))):S8b(XRh,d)&&(v=BOf(KBd(o.i[0],o.i[1],false,a.Qc.S.r.J)))}if(!v||!a.j){i=o.i;if(i==null){v=BOf(o.g)}else{v=BOf(N7g(a.Qc.S.r.J,o.g));v.g+='[';for(j=0;j0&&(v.g+=',',v);h=o.i[j];h?J9b(v,o.i[j].cc):(v.g+=$Vh,v)}v.g+=']';a.j&&Q9b(v,0,R7g(a.Qc.S.r.J,'not')+' ')}}ukf(m,v.g);m.hc=false;m.Qb=false;w.g.put(m,E6b)==null}}l=(g=(new xdc(w.g)).g.ee().i.jg(),new ydc(g));while(l.g.xf()){acf(n,(f=l.g.yf(),f.tf()))}if(onc(B),B){m=new Dkf(a.Qc);ukf(m,$Vh);m.hc=false;m.Qb=false;w.g.put(m,E6b)==null;acf(n,m)}n.s.q.length>0&&acf(a.i,n);if(s==vzg){c=new Dkf(a.Qc);ukf(c,'c');c.hc=false;c.Qb=false;acf(a.i,c)}}}jEg('OUTPUT for ProveDetails: '+a.i)}\nfunction ROf(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=(!q9f&&(q9f=new r9f),q9f);m=G.Oi();if(!cf(G.sb,553)){lEg(G.sb+T6h);return xzg(),wzg}C.k=false;C.g==null&&(C.g=(G6b(),false));e=new ePf(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=TOf(b,k)}catch(a){a=cub(a);if(cf(a,55)){e.A=(xzg(),wzg);!!gEg&&hEg(gEg,(zEg(),sEg),'Cannot add fix values');return e.A}else throw dub(a)}!!gEg&&hEg(gEg,(zEg(),sEg),'substitutions: '+H)}t=new JOf(b,H,e.n);l=false;w=0;while(!l&&w<1){h=lQf(i1b(e.u,je(X5,Y5h,21,vIb(e.u.g),0,1)),H,m,(++w,true),e.n);if(!h){return xzg(),wzg}q=(v=(new idc(h.g)).g.ee().xd(),new jdc(v));J=new mec;L=new mec;K=vIb(h.g)==2;f=new mec;g=nuh;p=0;while(q.g.xf()){++p;!!gEg&&hEg(gEg,(zEg(),sEg),'Considering NDG '+p+uqh);s=new mec;F=0;D=true;I=(j=q.g.yf(),j.tf());o=I.xd();while(o.xf()&&D){B=o.yf();if(B.g.j==0){!!gEg&&hEg(gEg,(zEg(),sEg),'Statement is NOT GENERALLY TRUE');bPf(e,e.r);YOf(e,e.r,e.C);h=lQf(i1b(e.u,je(X5,Y5h,21,vIb(e.u.g),0,1)),H,m,(++w,true),e.n);q=(u=(new idc(h.g)).g.ee().xd(),new jdc(u));while(q.g.xf()){I=(i=q.g.yf(),i.tf());o=I.xd();while(o.xf()){B=o.yf();if(B.g.j==0){bPf(e,e.r);n=vIb(e.n.g)-(new idc(H)).g.size();!!gEg&&hEg(gEg,(zEg(),sEg),'Naive dimension = '+n);if(!HOf(e,H,n)){!!gEg&&hEg(gEg,(zEg(),sEg),'Statement is NOT GENERALLY FALSE');return xzg(),vzg}return xzg(),wzg}}}return xzg(),rzg}if(!WPf(B)){if(e.s){!!gEg&&hEg(gEg,(zEg(),sEg),U6h);return xzg(),wzg}r=IOf(t,B);if(!r){D=false}else{K=K&&I.size()==1;if(K){if(S8b(r.g,'xAreEqual')){A=new p1b;m1b(A,r.i[0]);m1b(A,r.i[1]);Xmc(J.q,A)}if(S8b(r.g,'yAreEqual')){A=new p1b;m1b(A,r.i[0]);m1b(A,r.i[1]);Xmc(L.q,A)}if(J.q.length==1&&$cc(J,L)){r.g=URh;r.j=0.5}}Xmc(s.q,r);F+=r.j}}}if(D&&F0&&K!=null){v?(v=false):(M.g+=',',M);M.g+=L}G=0;b=C.sb;d=e7h;if(b){B=b.ej();!!B&&(d=B.Kd());H=b.ab;C==a||(l+=H.length);G=H.length;for(W=H,X=0,Y=W.length;X1&&S8b((unc(0,2,j.length),j.substr(0,2)),'-(')&&(j=(vnc(1,j.length+1),j.substr(1)));o=g9b(j,'\\\\)\\\\*\\\\(',0);if(o.length>1){o[0]=i9b(o[0],1);o[o.length-1]=j9b(o[o.length-1],0,o[o.length-1].length-1)}F=false;o.length==1&&b9b(o[0],'[-+]?\\\\d*\\\\.?\\\\d+')&&(F=true);G=new mec;if(!F){for(l=o,m=0,n=l.length;m1&&(d=Hie(d,t));I.g.put(G,(G6b(),E6b))==null;Sgc(e.n,G,d)}M=(r=(new xdc((new Fkc(I.g.ig())).g)).g.ee().i.jg(),new ydc(r));while(M.g.xf()){G=(l=M.g.yf(),l.tf());k=xie(k,jIb(Rgc(e.n,G)))}if(kbc(g,(ibc(),hbc))>0){S=Eie(S,xie(f,k));T=true}else{fb=Eie(fb,xie(f,k));gb=true}}s=new Jge(Q,S,fb);if(eb){if(!T||!gb){!!gEg&&hEg(gEg,(zEg(),sEg),c+' means '+s+', uninteresting');return null}U=new ozg;LOf(U,Ege(s,(HDd(),dDd)));U.j=2;!!gEg&&hEg(gEg,(zEg(),sEg),c+' means '+s);return U}!!gEg&&hEg(gEg,(zEg(),sEg),c+' cannot be described by quantities only')}}u=UOf(hb);v=new r1b(u);nb=new EOf(v,3);while(!nb.g){mb=COf(nb);M=(V=(new idc(mb.g)).g.ee().xd(),new jdc(V));K=0;db=je(y_,DIh,15,vIb(mb.g),0,1);while(M.g.xf()){db[K]=(l=M.g.yf(),l.tf());++K}try{B=db[0].Mv(db[0]);C=db[1].Mv(db[1]);D=db[2].Mv(db[2])}catch(a){a=cub(a);if(cf(a,55)){!!gEg&&hEg(gEg,(zEg(),sEg),S6h);return null}else throw dub(a)}h=ZPf(jQf(B[0],B[1],C[0],C[1],D[0],D[1]),b.k);if(TPf(c,h)||RPf(c,h).g.j==0){!!gEg&&hEg(gEg,(zEg(),sEg),c+' means collinearity for '+mb);U=new ozg;U.i=db;$ec(U.i);U.g=YRh;rIb(b.i,R,U);return U}}$=new EOf(v,2);while(!$.g){X=COf($);M=(V=(new idc(X.g)).g.ee().xd(),new jdc(V));K=0;db=je(y_,DIh,15,vIb(X.g),0,1);while(M.g.xf()){db[K]=(l=M.g.yf(),l.tf());++K}try{B=db[0].Mv(db[0]);C=db[1].Mv(db[1])}catch(a){a=cub(a);if(cf(a,55)){!!gEg&&hEg(gEg,(zEg(),sEg),S6h);return null}else throw dub(a)}s=ZPf(vQf(B[0],B[1],C[0],C[1]),b.k);if(TPf(c,s)||RPf(c,s).g.j==0){!!gEg&&hEg(gEg,(zEg(),sEg),c+' means equality for '+X);U=new ozg;U.i=db;$ec(U.i);U.g=URh;U.j=0.5;rIb(b.i,R,U);return U}}w=new p1b;sb=new wIb;A=new p1b;vb=new wIb;L=(q=(new xdc(ePc(b.j.q).g)).g.ee().i.jg(),new ydc(q));while(L.g.xf()){H=(l=L.g.yf(),l.tf());if(H.Tn()&&cf(H,114)){try{qb=H.Mv(H)[0];if(n1b(b.g,qb)){qIb(w.g,qb,w);Sgc(sb.n,qb,H)}tb=H.Mv(H)[1];if(n1b(b.g,tb)){qIb(A.g,tb,A);Sgc(vb.n,tb,H)}}catch(a){a=cub(a);if(cf(a,55)){!!gEg&&hEg(gEg,(zEg(),sEg),S6h);return null}else throw dub(a)}}}bb=new EOf(w,2);while(!bb.g){X=COf(bb);P=(V=(new idc(X.g)).g.ee().xd(),new jdc(V));K=0;i=je(Z5,U5h,38,vIb(X.g),0,1);db=je(y_,DIh,15,vIb(X.g),0,1);while(P.g.xf()){i[K]=(l=P.g.yf(),l.tf());db[K]=nIb(sb,i[K]);++K}rb=ZPf(RPf(new gQf(i[0]),YPf(new gQf(i[1]))),b.k);if(TPf(c,rb)||RPf(c,rb).g.j==0){!!gEg&&hEg(gEg,(zEg(),sEg),c+' means x-equality for '+X);U=new ozg;U.i=db;$ec(U.i);U.g='xAreEqual';U.j=nuh;rIb(b.i,R,U);return U}}bb=new EOf(A,2);while(!bb.g){X=COf(bb);P=(V=(new idc(X.g)).g.ee().xd(),new jdc(V));K=0;i=je(Z5,U5h,38,vIb(X.g),0,1);db=je(y_,DIh,15,vIb(X.g),0,1);while(P.g.xf()){i[K]=(l=P.g.yf(),l.tf());db[K]=nIb(vb,i[K]);++K}ub=ZPf(RPf(new gQf(i[0]),YPf(new gQf(i[1]))),b.k);if(TPf(c,ub)||RPf(c,ub).g.j==0){!!gEg&&hEg(gEg,(zEg(),sEg),c+' means y-equality for '+X);U=new ozg;U.i=db;$ec(U.i);U.g='yAreEqual';U.j=nuh;rIb(b.i,R,U);return U}}ab=new EOf(v,2);while(!ab.g){Y=COf(ab);N=(W=(new idc(Y.g)).g.ee().xd(),new jdc(W));K=0;db=je(y_,DIh,15,4,0,1);while(N.g.xf()){db[K]=(l=N.g.yf(),l.tf());++K}cb=new EOf(v,2);while(!cb.g){Z=COf(cb);O=(V=(new idc(Z.g)).g.ee().xd(),new jdc(V));K=2;while(O.g.xf()){db[K]=(l=O.g.yf(),l.tf());++K}try{B=db[0].Mv(db[0]);C=db[1].Mv(db[1]);D=db[2].Mv(db[0]);F=db[3].Mv(db[1])}catch(a){a=cub(a);if(cf(a,55)){!!gEg&&hEg(gEg,(zEg(),sEg),S6h);return null}else throw dub(a)}s=ZPf(sQf(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(TPf(c,s)||RPf(c,s).g.j==0){!!gEg&&hEg(gEg,(zEg(),sEg),c+' means perpendicularity for '+Y+g6h+Z);U=new ozg;U.i=db;U.g=WRh;U.j=sDh;rIb(b.i,R,U);return U}s=ZPf(rQf(B[0],B[1],C[0],C[1],D[0],D[1],F[0],F[1]),b.k);if(TPf(c,s)||RPf(c,s).g.j==0){!!gEg&&hEg(gEg,(zEg(),sEg),c+' means parallelism for '+Y+g6h+Z);U=new ozg;U.i=db;U.g=VRh;U.j=sDh;rIb(b.i,R,U);return U}s=ZPf(RPf(vQf(B[0],B[1],C[0],C[1]),YPf(vQf(D[0],D[1],F[0],F[1]))),b.k);if(TPf(c,s)||RPf(c,s).g.j==0){!!gEg&&hEg(gEg,(zEg(),sEg),c+' means congruence for '+Y+g6h+Z);U=new ozg;U.i=db;U.g=XRh;U.j=sDh;rIb(b.i,R,U);return U}}}!!gEg&&hEg(gEg,(zEg(),sEg),'No human readable geometrical meaning found for '+c);qIb(b.i,R,null);return null}\nfunction KPf(a,b,c,d,e,f){var g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,A,B,C,D,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,$,ab,bb,cb,db,eb,fb,gb,hb,ib,jb,kb,lb,mb,nb,ob,pb,qb,rb,sb,tb,ub,vb,wb,xb,yb,zb,Ab,Bb,Cb,Db,Eb,Fb,Gb,Hb,Ib,Jb,Kb,Lb,Mb,Nb,Ob,Pb,Qb,Rb,Sb;if(a.q!=null){return a.q}if(d){if(c.On()){R=k0e(c);Z=k0e(d);if(R!=null&&Z!=null){if(a.r==null){a.r=je(Z5,U5h,38,8,0,1);a.r[0]=new IQf(b.Oi());a.r[1]=new IQf(b.Oi());a.r[2]=new IQf(b.Oi());a.r[3]=new IQf(b.Oi());a.r[4]=new IQf(b.Oi());a.r[5]=new IQf(b.Oi());a.r[6]=new IQf(b.Oi());a.r[7]=new IQf(b.Oi())}a.q=je(X5,Y5h,21,8,0,1);mb=new gQf(R[0]);nb=new gQf(R[1]);Ab=new gQf(a.r[4]);Bb=new gQf(a.r[5]);ob=new gQf(a.r[0]);pb=new gQf(a.r[1]);a.q[0]=RPf(RPf(XPf(Ab,new cQf(2)),YPf(mb)),YPf(ob));a.q[1]=RPf(RPf(XPf(Bb,new cQf(2)),YPf(nb)),YPf(pb));g=je(Z5,U5h,38,2,0,1);g[0]=Z[0];g[1]=Z[1];h=je(Z5,U5h,38,2,0,1);h[0]=Z[2];h[1]=Z[3];a.q[2]=jQf(g[0],g[1],a.r[4],a.r[5],h[0],h[1]);a.q[3]=sQf(R[0],R[1],a.r[4],a.r[5],g[0],g[1],h[0],h[1]);rb=new gQf(R[2]);sb=new gQf(R[3]);Db=new gQf(a.r[6]);Eb=new gQf(a.r[7]);tb=new gQf(a.r[2]);ub=new gQf(a.r[3]);a.q[4]=RPf(RPf(XPf(Db,new cQf(2)),YPf(rb)),YPf(tb));a.q[5]=RPf(RPf(XPf(Eb,new cQf(2)),YPf(sb)),YPf(ub));a.q[6]=jQf(g[0],g[1],a.r[6],a.r[7],h[0],h[1]);a.q[7]=sQf(R[2],R[3],a.r[6],a.r[7],g[0],g[1],h[0],h[1]);return a.q}throw dub(new KOf)}else if(c.Tn()){i=c;S=d;Jb=eff(i,i);Ib=k0e(S);if(a.r==null){a.r=je(Z5,U5h,38,6,0,1);a.r[0]=new IQf(b.Oi());a.r[1]=new IQf(b.Oi());a.r[2]=new IQf(b.Oi());a.r[3]=new IQf(b.Oi());a.r[4]=new IQf(b.Oi());a.r[5]=new IQf(b.Oi())}a.q=je(X5,Y5h,21,6,0,1);zb=new gQf(a.r[2]);Cb=new gQf(a.r[3]);v=new gQf(Jb[0]);w=new gQf(Jb[1]);A=new gQf(a.r[0]);B=new gQf(a.r[1]);a.q[0]=RPf(RPf(XPf(zb,new cQf(2)),YPf(A)),YPf(v));a.q[1]=RPf(RPf(XPf(Cb,new cQf(2)),YPf(B)),YPf(w));g=je(Z5,U5h,38,2,0,1);g[0]=Ib[0];g[1]=Ib[1];h=je(Z5,U5h,38,2,0,1);h[0]=Ib[2];h[1]=Ib[3];a.q[2]=jQf(g[0],g[1],h[0],h[1],a.r[2],a.r[3]);l=new gQf(g[0]);m=new gQf(g[1]);q=new gQf(h[0]);r=new gQf(h[1]);ab=new gQf(a.r[4]);db=new gQf(a.r[5]);a.q[3]=RPf(RPf(RPf(q,YPf(l)),w),YPf(db));a.q[4]=RPf(RPf(RPf(v,YPf(r)),m),YPf(ab));a.q[5]=jQf(a.r[0],a.r[1],a.r[2],a.r[3],a.r[4],a.r[5]);return a.q}else if(c.Cn()&&c.nb==4){C=c;S=d;Hb=F5e(C);Qb=k0e(S);if(a.r==null){a.r=je(Z5,U5h,38,12,0,1);a.r[0]=new IQf(b.Oi());a.r[1]=new IQf(b.Oi());a.r[2]=new IQf(b.Oi());a.r[3]=new IQf(b.Oi());a.r[4]=new IQf(b.Oi());a.r[5]=new IQf(b.Oi());a.r[6]=new IQf(b.Oi());a.r[7]=new IQf(b.Oi());a.r[8]=new IQf(b.Oi());a.r[9]=new IQf(b.Oi());a.r[10]=new IQf(b.Oi());a.r[11]=new IQf(b.Oi())}a.q=je(X5,Y5h,21,12,0,1);zb=new gQf(a.r[4]);Cb=new gQf(a.r[5]);l=new gQf(Hb[0]);m=new gQf(Hb[1]);n=new gQf(a.r[0]);o=new gQf(a.r[1]);a.q[0]=RPf(RPf(XPf(zb,new cQf(2)),YPf(n)),YPf(l));a.q[1]=RPf(RPf(XPf(Cb,new cQf(2)),YPf(o)),YPf(m));a.q[2]=jQf(Qb[0],Qb[1],a.r[4],a.r[5],Qb[2],Qb[3]);v=new gQf(Qb[0]);w=new gQf(Qb[1]);D=new gQf(Qb[2]);F=new gQf(Qb[3]);bb=new gQf(a.r[8]);cb=new gQf(a.r[9]);a.q[3]=RPf(RPf(RPf(D,YPf(v)),m),YPf(cb));a.q[4]=RPf(RPf(RPf(l,YPf(F)),w),YPf(bb));a.q[5]=jQf(a.r[0],a.r[1],a.r[4],a.r[5],a.r[8],a.r[9]);vb=new gQf(a.r[6]);wb=new gQf(a.r[7]);q=new gQf(Hb[2]);r=new gQf(Hb[3]);s=new gQf(a.r[2]);t=new gQf(a.r[3]);a.q[6]=RPf(RPf(XPf(vb,new cQf(2)),YPf(s)),YPf(q));a.q[7]=RPf(RPf(XPf(wb,new cQf(2)),YPf(t)),YPf(r));a.q[8]=jQf(Qb[0],Qb[1],a.r[6],a.r[7],Qb[2],Qb[3]);eb=new gQf(a.r[10]);fb=new gQf(a.r[11]);a.q[9]=RPf(RPf(RPf(D,YPf(v)),r),YPf(fb));a.q[10]=RPf(RPf(RPf(q,YPf(F)),w),YPf(eb));a.q[11]=jQf(a.r[1],a.r[2],a.r[6],a.r[7],a.r[10],a.r[11]);return a.q}else if(c.Cn()&&c.nb==9){qb=c;S=d;Sb=F5e(qb);Qb=k0e(S);if(a.r==null){a.r=je(Z5,U5h,38,22,0,1);a.r[0]=new IQf(b.Oi());a.r[1]=new IQf(b.Oi());a.r[2]=new IQf(b.Oi());a.r[3]=new IQf(b.Oi());a.r[4]=new IQf(b.Oi());a.r[5]=new IQf(b.Oi());a.r[6]=new IQf(b.Oi());a.r[7]=new IQf(b.Oi());a.r[8]=new IQf(b.Oi());a.r[9]=new IQf(b.Oi());a.r[10]=new IQf(b.Oi());a.r[11]=new IQf(b.Oi());a.r[12]=new IQf(b.Oi());a.r[13]=new IQf(b.Oi());a.r[14]=new IQf(b.Oi());a.r[15]=new IQf(b.Oi());a.r[16]=new IQf(b.Oi());a.r[17]=new IQf(b.Oi());a.r[18]=new IQf(b.Oi());a.r[19]=new IQf(b.Oi());a.r[20]=new IQf(b.Oi());a.r[21]=new IQf(b.Oi())}a.q=je(X5,Y5h,21,21,0,1);l=new gQf(Sb[4]);m=new gQf(Sb[5]);Ab=new gQf(a.r[10]);Bb=new gQf(a.r[11]);n=new gQf(a.r[4]);o=new gQf(a.r[5]);bb=new gQf(a.r[16]);cb=new gQf(a.r[17]);U=new gQf(Qb[0]);V=new gQf(Qb[1]);X=new gQf(Qb[2]);Y=new gQf(Qb[3]);a.q[0]=RPf(RPf(XPf(new cQf(2),Ab),YPf(l)),YPf(n));a.q[1]=RPf(RPf(XPf(new cQf(2),Bb),YPf(m)),YPf(o));a.q[2]=jQf(a.r[4],a.r[5],a.r[10],a.r[11],a.r[16],a.r[17]);a.q[3]=jQf(Qb[0],Qb[1],a.r[10],a.r[11],Qb[2],Qb[3]);a.q[4]=RPf(RPf(RPf(X,YPf(U)),m),YPf(cb));a.q[5]=RPf(RPf(RPf(l,YPf(Y)),V),YPf(bb));q=new gQf(Sb[6]);r=new gQf(Sb[7]);Db=new gQf(a.r[12]);Eb=new gQf(a.r[13]);s=new gQf(a.r[6]);t=new gQf(a.r[7]);eb=new gQf(a.r[18]);fb=new gQf(a.r[19]);a.q[6]=RPf(RPf(XPf(new cQf(2),Db),YPf(q)),YPf(s));a.q[7]=RPf(RPf(XPf(new cQf(2),Eb),YPf(r)),YPf(t));a.q[8]=jQf(a.r[6],a.r[7],a.r[12],a.r[13],a.r[18],a.r[19]);a.q[9]=jQf(Qb[0],Qb[1],a.r[12],a.r[13],Qb[2],Qb[3]);a.q[10]=RPf(RPf(RPf(X,YPf(U)),r),YPf(fb));a.q[11]=RPf(RPf(RPf(q,YPf(Y)),V),YPf(eb));M=new gQf(Sb[8]);N=new gQf(Sb[9]);Fb=new gQf(a.r[14]);Gb=new gQf(a.r[15]);O=new gQf(a.r[8]);P=new gQf(a.r[9]);gb=new gQf(a.r[20]);hb=new gQf(a.r[21]);a.q[12]=RPf(RPf(XPf(new cQf(2),Fb),YPf(M)),YPf(O));a.q[13]=RPf(RPf(XPf(new cQf(2),Gb),YPf(N)),YPf(P));a.q[14]=jQf(a.r[8],a.r[9],a.r[14],a.r[15],a.r[20],a.r[21]);a.q[15]=jQf(Qb[0],Qb[1],a.r[14],a.r[15],Qb[2],Qb[3]);a.q[16]=RPf(RPf(RPf(X,YPf(U)),N),YPf(hb));a.q[17]=RPf(RPf(RPf(M,YPf(Y)),V),YPf(gb));a.q[18]=mQf(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[19]=jQf(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[20]=sQf(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 dub(new KOf)}else if(cf(e,35)){if(c.Tn()){j=c;k=e;Kb=eff(j,j);Lb=eff(k,k);if(a.r==null){a.r=je(Z5,U5h,38,2,0,1);a.r[0]=new IQf(b.Oi());a.r[1]=new IQf(b.Oi())}a.q=je(X5,Y5h,21,2,0,1);l=new gQf(Kb[0]);m=new gQf(Kb[1]);q=new gQf(Lb[0]);r=new gQf(Lb[1]);n=new gQf(a.r[0]);o=new gQf(a.r[1]);a.q[0]=RPf(RPf(XPf(q,new cQf(2)),YPf(l)),YPf(n));a.q[1]=RPf(RPf(XPf(r,new cQf(2)),YPf(m)),YPf(o));return a.q}else if(c.On()){S=c;i=e;Qb=k0e(S);Jb=eff(i,i);if(a.r==null){a.r=je(Z5,U5h,38,4,0,1);a.r[0]=new IQf(b.Oi());a.r[1]=new IQf(b.Oi());a.r[2]=new IQf(b.Oi());a.r[3]=new IQf(b.Oi())}a.q=je(X5,Y5h,21,4,0,1);mb=new gQf(Jb[0]);nb=new gQf(Jb[1]);l=new gQf(Qb[0]);m=new gQf(Qb[1]);n=new gQf(a.r[0]);o=new gQf(a.r[1]);q=new gQf(Qb[2]);r=new gQf(Qb[3]);s=new gQf(a.r[2]);t=new gQf(a.r[3]);a.q[0]=RPf(RPf(mb,YPf(l)),YPf(RPf(n,YPf(mb))));a.q[1]=RPf(RPf(nb,YPf(m)),YPf(RPf(o,YPf(nb))));a.q[2]=RPf(RPf(mb,YPf(q)),YPf(RPf(s,YPf(mb))));a.q[3]=RPf(RPf(nb,YPf(r)),YPf(RPf(t,YPf(nb))));return a.q}else if(c.Cn()&&c.nb==4){C=c;i=e;Hb=F5e(C);Jb=eff(i,i);if(a.r==null){a.r=je(Z5,U5h,38,4,0,1);a.r[0]=new IQf(b.Oi());a.r[1]=new IQf(b.Oi());a.r[2]=new IQf(b.Oi());a.r[3]=new IQf(b.Oi())}a.q=je(X5,Y5h,21,4,0,1);mb=new gQf(Jb[0]);nb=new gQf(Jb[1]);l=new gQf(Hb[0]);m=new gQf(Hb[1]);n=new gQf(a.r[0]);o=new gQf(a.r[1]);q=new gQf(Hb[2]);r=new gQf(Hb[3]);s=new gQf(a.r[2]);t=new gQf(a.r[3]);a.q[0]=RPf(RPf(mb,YPf(l)),YPf(RPf(n,YPf(mb))));a.q[1]=RPf(RPf(nb,YPf(m)),YPf(RPf(o,YPf(nb))));a.q[2]=RPf(RPf(mb,YPf(q)),YPf(RPf(s,YPf(mb))));a.q[3]=RPf(RPf(nb,YPf(r)),YPf(RPf(t,YPf(nb))));return a.q}else if(c.Cn()&&c.nb==9){qb=c;i=e;Sb=F5e(qb);Jb=eff(i,i);if(a.r==null){a.r=je(Z5,U5h,38,10,0,1);a.r[0]=new IQf(b.Oi());a.r[1]=new IQf(b.Oi());a.r[2]=new IQf(b.Oi());a.r[3]=new IQf(b.Oi());a.r[4]=new IQf(b.Oi());a.r[5]=new IQf(b.Oi());a.r[6]=new IQf(b.Oi());a.r[7]=new IQf(b.Oi());a.r[8]=new IQf(b.Oi());a.r[9]=new IQf(b.Oi())}a.q=je(X5,Y5h,21,13,0,1);mb=new gQf(Sb[0]);nb=new gQf(Sb[1]);vb=new gQf(Sb[2]);wb=new gQf(Sb[3]);l=new gQf(Sb[4]);m=new gQf(Sb[5]);q=new gQf(Sb[6]);r=new gQf(Sb[7]);M=new gQf(Sb[8]);N=new gQf(Sb[9]);ob=new gQf(a.r[0]);pb=new gQf(a.r[1]);xb=new gQf(a.r[2]);yb=new gQf(a.r[3]);n=new gQf(a.r[4]);o=new gQf(a.r[5]);s=new gQf(a.r[6]);t=new gQf(a.r[7]);O=new gQf(a.r[8]);P=new gQf(a.r[9]);T=new gQf(Jb[0]);W=new gQf(Jb[1]);a.q[0]=RPf(RPf(XPf(new cQf(2),T),YPf(mb)),YPf(ob));a.q[1]=RPf(RPf(XPf(new cQf(2),W),YPf(nb)),YPf(pb));a.q[2]=RPf(RPf(XPf(new cQf(2),T),YPf(vb)),YPf(xb));a.q[3]=RPf(RPf(XPf(new cQf(2),W),YPf(wb)),YPf(yb));a.q[4]=RPf(RPf(XPf(new cQf(2),T),YPf(l)),YPf(n));a.q[5]=RPf(RPf(XPf(new cQf(2),W),YPf(m)),YPf(o));a.q[6]=RPf(RPf(XPf(new cQf(2),T),YPf(q)),YPf(s));a.q[7]=RPf(RPf(XPf(new cQf(2),W),YPf(r)),YPf(t));a.q[8]=RPf(RPf(XPf(new cQf(2),T),YPf(M)),YPf(O));a.q[9]=RPf(RPf(XPf(new cQf(2),W),YPf(N)),YPf(P));a.q[10]=mQf(a.r[8],a.r[9],a.r[0],a.r[1],a.r[2],a.r[3]);a.q[11]=jQf(a.r[4],a.r[5],a.r[2],a.r[3],a.r[6],a.r[7]);a.q[12]=sQf(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.Cn()&&c.nb==3){L=c;i=e;Ob=F5e(L);Jb=eff(i,i);if(Ob[6]==Ob[8]&&Ob[7]==Ob[9]){if(a.r==null){a.r=je(Z5,U5h,38,4,0,1);a.r[0]=new IQf(b.Oi());a.r[1]=new IQf(b.Oi());a.r[2]=new IQf(b.Oi());a.r[3]=new IQf(b.Oi())}a.q=je(X5,Y5h,21,4,0,1);l=new gQf(Ob[0]);m=new gQf(Ob[1]);v=new gQf(Ob[2]);w=new gQf(Ob[3]);mb=new gQf(Jb[0]);nb=new gQf(Jb[1]);n=new gQf(a.r[0]);o=new gQf(a.r[1]);A=new gQf(a.r[2]);B=new gQf(a.r[3]);a.q[0]=RPf(RPf(XPf(new cQf(2),mb),YPf(l)),YPf(n));a.q[1]=RPf(RPf(XPf(new cQf(2),nb),YPf(m)),YPf(o));a.q[2]=RPf(RPf(XPf(new cQf(2),mb),YPf(v)),YPf(A));a.q[3]=RPf(RPf(XPf(new cQf(2),nb),YPf(w)),YPf(B))}else{if(a.r==null){a.r=je(Z5,U5h,38,12,0,1);a.r[0]=new IQf(b.Oi());a.r[1]=new IQf(b.Oi());a.r[2]=new IQf(b.Oi());a.r[3]=new IQf(b.Oi());a.r[4]=new IQf(b.Oi());a.r[5]=new IQf(b.Oi());a.r[6]=new IQf(b.Oi());a.r[7]=new IQf(b.Oi());a.r[8]=new IQf(b.Oi());a.r[9]=new IQf(b.Oi());a.r[10]=new IQf(b.Oi());a.r[11]=new IQf(b.Oi())}a.q=je(X5,Y5h,21,13,0,1);mb=new gQf(Ob[0]);nb=new gQf(Ob[1]);l=new gQf(Ob[6]);m=new gQf(Ob[7]);q=new gQf(Ob[8]);r=new gQf(Ob[9]);v=new gQf(Ob[10]);w=new gQf(Ob[11]);T=new gQf(Jb[0]);W=new gQf(Jb[1]);ob=new gQf(a.r[0]);pb=new gQf(a.r[1]);n=new gQf(a.r[6]);o=new gQf(a.r[7]);s=new gQf(a.r[8]);t=new gQf(a.r[9]);A=new gQf(a.r[10]);B=new gQf(a.r[11]);D=new gQf(a.r[2]);F=new gQf(a.r[3]);J=new gQf(a.r[4]);K=new gQf(a.r[5]);a.q[0]=RPf(RPf(XPf(new cQf(2),T),YPf(mb)),YPf(ob));a.q[1]=RPf(RPf(XPf(new cQf(2),W),YPf(nb)),YPf(pb));a.q[2]=RPf(RPf(XPf(new cQf(2),T),YPf(l)),YPf(n));a.q[3]=RPf(RPf(XPf(new cQf(2),W),YPf(m)),YPf(o));a.q[4]=RPf(RPf(XPf(new cQf(2),T),YPf(q)),YPf(s));a.q[5]=RPf(RPf(XPf(new cQf(2),W),YPf(r)),YPf(t));a.q[6]=RPf(RPf(XPf(new cQf(2),T),YPf(v)),YPf(A));a.q[7]=RPf(RPf(XPf(new cQf(2),W),YPf(w)),YPf(B));a.q[8]=RPf(RPf(RPf(D,F),YPf(J)),YPf(K));a.q[9]=RPf(vQf(a.r[6],a.r[7],a.r[8],a.r[9]),YPf(XPf(D,D)));a.q[10]=RPf(vQf(a.r[6],a.r[7],a.r[8],a.r[9]),YPf(XPf(F,F)));a.q[11]=RPf(vQf(a.r[6],a.r[7],a.r[0],a.r[1]),YPf(XPf(J,J)));a.q[12]=RPf(vQf(a.r[8],a.r[9],a.r[0],a.r[1]),YPf(XPf(K,K)))}return a.q}else if(c.Cn()&&c.nb==5){Q=c;i=e;Pb=F5e(Q);Jb=eff(i,i);if(a.r==null){a.r=je(Z5,U5h,38,12,0,1);a.r[0]=new IQf(b.Oi());a.r[1]=new IQf(b.Oi());a.r[2]=new IQf(b.Oi());a.r[3]=new IQf(b.Oi());a.r[4]=new IQf(b.Oi());a.r[5]=new IQf(b.Oi());a.r[6]=new IQf(b.Oi());a.r[7]=new IQf(b.Oi());a.r[8]=new IQf(b.Oi());a.r[9]=new IQf(b.Oi());a.r[10]=new IQf(b.Oi());a.r[11]=new IQf(b.Oi())}a.q=je(X5,Y5h,21,13,0,1);mb=new gQf(Pb[0]);nb=new gQf(Pb[1]);l=new gQf(Pb[6]);m=new gQf(Pb[7]);q=new gQf(Pb[8]);r=new gQf(Pb[9]);v=new gQf(Pb[10]);w=new gQf(Pb[11]);T=new gQf(Jb[0]);W=new gQf(Jb[1]);ob=new gQf(a.r[0]);pb=new gQf(a.r[1]);n=new gQf(a.r[6]);o=new gQf(a.r[7]);s=new gQf(a.r[8]);t=new gQf(a.r[9]);A=new gQf(a.r[10]);B=new gQf(a.r[11]);D=new gQf(a.r[2]);F=new gQf(a.r[3]);J=new gQf(a.r[4]);K=new gQf(a.r[5]);a.q[0]=RPf(RPf(XPf(new cQf(2),T),YPf(mb)),YPf(ob));a.q[1]=RPf(RPf(XPf(new cQf(2),W),YPf(nb)),YPf(pb));a.q[2]=RPf(RPf(XPf(new cQf(2),T),YPf(l)),YPf(n));a.q[3]=RPf(RPf(XPf(new cQf(2),W),YPf(m)),YPf(o));a.q[4]=RPf(RPf(XPf(new cQf(2),T),YPf(q)),YPf(s));a.q[5]=RPf(RPf(XPf(new cQf(2),W),YPf(r)),YPf(t));a.q[6]=RPf(RPf(XPf(new cQf(2),T),YPf(v)),YPf(A));a.q[7]=RPf(RPf(XPf(new cQf(2),W),YPf(w)),YPf(B));a.q[8]=RPf(RPf(RPf(D,YPf(F)),YPf(J)),K);a.q[9]=RPf(vQf(a.r[6],a.r[7],a.r[10],a.r[11]),YPf(XPf(D,D)));a.q[10]=RPf(vQf(a.r[8],a.r[9],a.r[10],a.r[11]),YPf(XPf(F,F)));a.q[3]=RPf(vQf(a.r[6],a.r[7],a.r[0],a.r[1]),YPf(XPf(J,J)));a.q[4]=RPf(vQf(a.r[8],a.r[9],a.r[0],a.r[1]),YPf(XPf(K,K)));return a.q}throw dub(new KOf)}else if(f){if(c.Tn()){i=c;u=f;Jb=eff(i,i);Mb=F5e(u);if(a.r==null){a.r=je(Z5,U5h,38,8,0,1);a.r[0]=new IQf(b.Oi());a.r[1]=new IQf(b.Oi());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(X5,Y5h,21,2,0,1);ib=new gQf(Mb[0]);jb=new gQf(Mb[1]);l=new gQf(Mb[2]);m=new gQf(Mb[3]);q=new gQf(Jb[0]);r=new gQf(Jb[1]);s=new gQf(a.r[0]);t=new gQf(a.r[1]);kb=RPf(XPf(RPf(l,YPf(ib)),RPf(l,YPf(ib))),XPf(RPf(m,YPf(jb)),RPf(m,YPf(jb))));G=RPf(XPf(RPf(q,YPf(ib)),RPf(q,YPf(ib))),XPf(RPf(r,YPf(jb)),RPf(r,YPf(jb))));a.q[0]=RPf(XPf(kb,RPf(q,YPf(ib))),XPf(RPf(ib,YPf(s)),G));a.q[1]=RPf(XPf(kb,RPf(r,YPf(jb))),XPf(RPf(jb,YPf(t)),G));return a.q}else if(c.On()){!!gEg&&hEg(gEg,(zEg(),sEg),'mirroring line about circle not implemented');throw dub(new KOf)}else if(c.Cn()&&c.nb==4){C=c;$=f;Nb=F5e(C);Rb=F5e($);if(a.r==null){a.r=je(Z5,U5h,38,4,0,1);a.r[0]=new IQf(b.Oi());a.r[1]=new IQf(b.Oi());a.r[2]=new IQf(b.Oi());a.r[3]=new IQf(b.Oi())}a.q=je(X5,Y5h,21,4,0,1);l=new gQf(Nb[0]);m=new gQf(Nb[1]);q=new gQf(Nb[2]);r=new gQf(Nb[3]);ib=new gQf(Rb[0]);jb=new gQf(Rb[1]);v=new gQf(Rb[2]);w=new gQf(Rb[3]);n=new gQf(a.r[0]);o=new gQf(a.r[1]);s=new gQf(a.r[2]);t=new gQf(a.r[3]);lb=RPf(XPf(RPf(v,YPf(ib)),RPf(v,YPf(ib))),XPf(RPf(w,YPf(jb)),RPf(w,YPf(jb))));p=RPf(XPf(RPf(q,YPf(l)),RPf(q,YPf(l))),XPf(RPf(r,YPf(m)),RPf(r,YPf(m))));H=RPf(RPf(XPf(RPf(l,YPf(ib)),RPf(l,YPf(ib))),XPf(RPf(m,YPf(jb)),RPf(m,YPf(jb)))),YPf(p));a.q[0]=RPf(XPf(lb,RPf(l,YPf(ib))),XPf(RPf(ib,YPf(n)),H));a.q[1]=RPf(XPf(lb,RPf(m,YPf(jb))),XPf(RPf(jb,YPf(o)),H));I=RPf(XPf(RPf(q,YPf(ib)),RPf(q,YPf(ib))),XPf(RPf(r,YPf(jb)),RPf(r,YPf(jb))));a.q[2]=RPf(XPf(lb,RPf(q,YPf(ib))),XPf(RPf(ib,YPf(s)),I));a.q[3]=RPf(XPf(lb,RPf(r,YPf(jb))),XPf(RPf(jb,YPf(t)),I));return a.q}else{throw dub(new KOf)}}else{throw dub(new KOf)}}\nvar z6h='[LocusEqu] result[',A6h='eliminate([',B6h='],revlist([',C6h='PRECISION = ',D6h='[1]: [1]: _[1]=1 _[2]=',E6h='Cannot parse: ',F6h='Cannot get Botana variables for ',G6h='Recio meets Botana: #',H6h={17:1,28:1,18:1,25:1,143:1,553:1,29:1},I6h={17:1,28:1,18:1,25:1,553:1,29:1},J6h='Cannot compute implicit curve (yet?)',K6h='Benchmarking: ',L6h='Output from giac: ',M6h='Error on running Giac code',N6h=' kernelPrecision=',O6h=' precisionRatio=',P6h='OpenGeoProver',Q6h='PureSymbolic',R6h='STATEMENT IS ',S6h='Cannot get Botana vars during NDG detection',T6h=' unimplemented',U6h='Interpreting TRUE as UNKNOWN',V6h='Extra poly 3 for ',W6h='Extra poly 4 for ',X6h='Eliminating system in ',Y6h=' variables (',Z6h=' dependent)',$6h='gbt polys = ',_6h='gbt vars = ',a7h='Using ',b7h='Possible numerical error in converting formula coefficients to integer',c7h='ggbtmpvar2',d7h=') and ',e7h='Free Point';Mub(1915,615,TGh,pdc);_.vf=function(a){throw dub(new Z9b)};var Gu=r7b(1915);Mub(4436,303,Yuh);_.ig=function(){return new vdc(this)};Mub(2342,4436,Yuh,vdc);_.clear=function(){this.g.clear()};_.hg=function(){return this.g.jg()};_.ig=dki;_.jg=function(){return this.g.hg()};_.kg=function(a){return this.g.kg(a)};_.lg=function(){return this.g.ng()};_.mg=function(a){return this.g.og(a)};_.ng=function(){return this.g.lg()};_.og=function(a){return this.g.mg(a)};_.pg=function(a,b){return this.g.rg(a,b).ig()};_.put=function(a,b){return this.g.put(a,b)};_.remove=function(a){return this.g.remove(a)};_.qg=function(a){return this.g.qg(a)};_.size=function(){return this.g.size()};_.rg=function(a,b){return this.g.pg(a,b).ig()};var Ju=r7b(2342);Mub(234,4436,fHh,akc);_.hg=function(){return new bkc(this)};_.pg=function(a,b){return Mjc(this,a,b)};Mub(qyh,1,{},bkc,ckc);_.wf=cki;_.yf=function(){return this.i=edc(this.g)};_.xf=function(){return this.g.i>0};_.zf=function(){cdc(this.g);Tjc(this.j,this.i);this.i=null};var pw=r7b(qyh);Mub(799,4436,Yuh);_.hg=function(){return new ckc(this.j,this.o,this.i,this.g,this.n,this.k)};_.pg=function(a,b){if(this.o.Cg()&&this.j.g.rf(a,this.n)>0){throw dub(new W7b(gHh+a+' greater than '+this.n))}return this.o.Bg()?Yjc(this.j,this.i,this.g,a,b):Mjc(this.j,a,b)};Mub(1371,1,dJh);_.Jj=function(a,b){var c,d;d=new T9b;c=A6h+a+B6h+b+']))';return J9b(J9b(J9b(J9b(J9b(J9b((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};_.Kj=function(a,b,c,d){var e,f;if(!c){return (JEc(),DEc)+'(eliminate(['+a+B6h+b+'])))'}e=''+Dub(d.g);!!gEg&&hEg(gEg,(zEg(),sEg),C6h+e);f=(JEc(),DEc)+'([[ee:=eliminate(['+a+B6h+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};_.Lj=function(a,b,c,d){var e,f,g;e='[[GB:=gbasis(';!!a&&(e+=ZVh);e+='['+b+']';if(a){f=ODc(a);e+=',['+f+'])'}g=c+hQf(d);S8b(g.substr(0,1),',')&&(g=(vnc(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};_.Mj=function(a,b,c,d,e){var f,g,h;f='[[ii:=gbasis(';f+=ZVh;f+='['+b+']';g=ODc(a);f+=',['+g+'])';h=c+hQf(d);f+=',['+h+'],revlex)],('+'ii'+'[0]!=1)&&('+'ii'+'[0]!=-1)][1]';return f};_.Sj=function(a){var b,c,d,e;b=KDc(a);c=LDc(a);e=je(pf,Rph,84,c.length+1,0,3);e[0]=b;for(d=0;d0){c=eff(this.r,this.r);b[b.length-1]=RPf(XPf(vQf(d[0],d[1],c[0],c[1]),new gQf(new IQf(this.Sc))),YPf(new cQf(1)))}qIb(this.n,a,b);return b}throw dub(new KOf)}else if(this.p.nb==9||this.p.nb==3||this.p.nb==5){if(this.t){p=k0e(this.t);d=je(Z5,U5h,38,2,0,1);!this.o&&(this.o=new wIb);if(kIb(this.o,a)){d=nIb(this.o,a)}else{d=je(Z5,U5h,38,2,0,1);d[0]=new IQf(this.Sc);d[1]=new IQf(this.Sc);qIb(this.o,a,d)}e=E5e(this.p);g=F5e(this.p);f=e.length;b=je(X5,Y5h,21,f+1,0,1);for(k=0;ki&&(i=h[g])}b[0]=i;return b}throw dub(new KOf)};_.Pv=function(a){var b,c,d,e,f,g;if(!!this.i&&!!this.j&&!!this.k&&!!this.n){c=mff(this.i,a);d=mff(this.j,a);e=mff(this.k,a);f=mff(this.n,a);b=je(pu,LGh,90,1,0,1);g=he(pu,[Rph,LGh],[213,90],0,[4,4],2);g[0][0]=xbc(c[0],c[2]);g[0][1]=xbc(c[1],c[2]);g[0][2]=jcc(xbc(c[0],c[0]),xbc(c[1],c[1]));g[0][3]=xbc(c[2],c[2]);g[1][0]=xbc(d[0],d[2]);g[1][1]=xbc(d[1],d[2]);g[1][2]=jcc(xbc(d[0],d[0]),xbc(d[1],d[1]));g[1][3]=xbc(d[2],d[2]);g[2][0]=xbc(e[0],e[2]);g[2][1]=xbc(e[1],e[2]);g[2][2]=jcc(xbc(e[0],e[0]),xbc(e[1],e[1]));g[2][3]=xbc(e[2],e[2]);g[3][0]=xbc(f[0],f[2]);g[3][1]=xbc(f[1],f[2]);g[3][2]=jcc(xbc(f[0],f[0]),xbc(f[1],f[1]));g[3][3]=xbc(f[2],f[2]);b[0]=jcc(occ(occ(jcc(jcc(occ(occ(jcc(jcc(occ(occ(jcc(jcc(occ(occ(jcc(jcc(occ(occ(jcc(jcc(occ(occ(xbc(xbc(xbc(g[0][3],g[1][2]),g[2][1]),g[3][0]),xbc(xbc(xbc(g[0][2],g[1][3]),g[2][1]),g[3][0])),xbc(xbc(xbc(g[0][3],g[1][1]),g[2][2]),g[3][0])),xbc(xbc(xbc(g[0][1],g[1][3]),g[2][2]),g[3][0])),xbc(xbc(xbc(g[0][2],g[1][1]),g[2][3]),g[3][0])),xbc(xbc(xbc(g[0][1],g[1][2]),g[2][3]),g[3][0])),xbc(xbc(xbc(g[0][3],g[1][2]),g[2][0]),g[3][1])),xbc(xbc(xbc(g[0][2],g[1][3]),g[2][0]),g[3][1])),xbc(xbc(xbc(g[0][3],g[1][0]),g[2][2]),g[3][1])),xbc(xbc(xbc(g[0][0],g[1][3]),g[2][2]),g[3][1])),xbc(xbc(xbc(g[0][2],g[1][0]),g[2][3]),g[3][1])),xbc(xbc(xbc(g[0][0],g[1][2]),g[2][3]),g[3][1])),xbc(xbc(xbc(g[0][3],g[1][1]),g[2][0]),g[3][2])),xbc(xbc(xbc(g[0][1],g[1][3]),g[2][0]),g[3][2])),xbc(xbc(xbc(g[0][3],g[1][0]),g[2][1]),g[3][2])),xbc(xbc(xbc(g[0][0],g[1][3]),g[2][1]),g[3][2])),xbc(xbc(xbc(g[0][1],g[1][0]),g[2][3]),g[3][2])),xbc(xbc(xbc(g[0][0],g[1][1]),g[2][3]),g[3][2])),xbc(xbc(xbc(g[0][2],g[1][1]),g[2][0]),g[3][3])),xbc(xbc(xbc(g[0][1],g[1][2]),g[2][0]),g[3][3])),xbc(xbc(xbc(g[0][2],g[1][0]),g[2][1]),g[3][3])),xbc(xbc(xbc(g[0][0],g[1][2]),g[2][1]),g[3][3])),xbc(xbc(xbc(g[0][1],g[1][0]),g[2][2]),g[3][3])),xbc(xbc(xbc(g[0][0],g[1][1]),g[2][2]),g[3][3]));return b}throw dub(new KOf)};_.Qv=function(a){if(!!this.i&&!!this.j&&!!this.k&&!!this.n){nff(this.i,a);nff(this.j,a);nff(this.k,a);nff(this.n,a);return}throw dub(new KOf)};_.Rv=function(){var a,b,c,d,e;if(this.p!=null){return this.p}if(!!this.i&&!!this.j&&!!this.k&&!!this.n){a=tff(this.i);b=tff(this.j);c=tff(this.k);d=tff(this.n);this.p=je(X5,Y5h,21,1,0,1);e=he(X5,[Rph,Y5h],[61,21],0,[4,4],2);e[0][0]=XPf(a[0],a[2]);e[0][1]=XPf(a[1],a[2]);e[0][2]=RPf(XPf(a[0],a[0]),XPf(a[1],a[1]));e[0][3]=XPf(a[2],a[2]);e[1][0]=XPf(b[0],b[2]);e[1][1]=XPf(b[1],b[2]);e[1][2]=RPf(XPf(b[0],b[0]),XPf(b[1],b[1]));e[1][3]=XPf(b[2],b[2]);e[2][0]=XPf(c[0],c[2]);e[2][1]=XPf(c[1],c[2]);e[2][2]=RPf(XPf(c[0],c[0]),XPf(c[1],c[1]));e[2][3]=XPf(c[2],c[2]);e[3][0]=XPf(d[0],d[2]);e[3][1]=XPf(d[1],d[2]);e[3][2]=RPf(XPf(d[0],d[0]),XPf(d[1],d[1]));e[3][3]=XPf(d[2],d[2]);this.p[0]=RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(RPf(XPf(e[0][3],XPf(e[1][2],XPf(e[2][1],e[3][0]))),YPf(XPf(XPf(XPf(e[0][2],e[1][3]),e[2][1]),e[3][0]))),YPf(XPf(XPf(XPf(e[0][3],e[1][1]),e[2][2]),e[3][0]))),XPf(XPf(XPf(e[0][1],e[1][3]),e[2][2]),e[3][0])),XPf(XPf(XPf(e[0][2],e[1][1]),e[2][3]),e[3][0])),YPf(XPf(XPf(XPf(e[0][1],e[1][2]),e[2][3]),e[3][0]))),YPf(XPf(XPf(XPf(e[0][3],e[1][2]),e[2][0]),e[3][1]))),XPf(XPf(XPf(e[0][2],e[1][3]),e[2][0]),e[3][1])),XPf(XPf(XPf(e[0][3],e[1][0]),e[2][2]),e[3][1])),YPf(XPf(XPf(XPf(e[0][0],e[1][3]),e[2][2]),e[3][1]))),YPf(XPf(XPf(XPf(e[0][2],e[1][0]),e[2][3]),e[3][1]))),XPf(XPf(XPf(e[0][0],e[1][2]),e[2][3]),e[3][1])),XPf(XPf(XPf(e[0][3],e[1][1]),e[2][0]),e[3][2])),YPf(XPf(XPf(XPf(e[0][1],e[1][3]),e[2][0]),e[3][2]))),YPf(XPf(XPf(XPf(e[0][3],e[1][0]),e[2][1]),e[3][2]))),XPf(XPf(XPf(e[0][0],e[1][3]),e[2][1]),e[3][2])),XPf(XPf(XPf(e[0][1],e[1][0]),e[2][3]),e[3][2])),YPf(XPf(XPf(XPf(e[0][0],e[1][1]),e[2][3]),e[3][2]))),YPf(XPf(XPf(XPf(e[0][2],e[1][1]),e[2][0]),e[3][3]))),XPf(XPf(XPf(e[0][1],e[1][2]),e[2][0]),e[3][3])),XPf(XPf(XPf(e[0][2],e[1][0]),e[2][1]),e[3][3])),YPf(XPf(XPf(XPf(e[0][0],e[1][2]),e[2][1]),e[3][3]))),YPf(XPf(XPf(XPf(e[0][1],e[1][0]),e[2][2]),e[3][3]))),XPf(XPf(XPf(e[0][0],e[1][1]),e[2][2]),e[3][3]));return this.p}throw dub(new KOf)};_.Sv=Pji;_.Bj=function(){zNf(this)};var v5=r7b(1618);Mub(761,18,{17:1,28:1,18:1,25:1,143:1,553:1,29:1,761:1},ENf,FNf);_.ej=function(){return dWe(),YLe};_.zf=aki;_.aj=function(){BNf(this)};_.Jw=function(){return CNf(this)};_.Ov=function(a){var b,c,d;if(cf(this.i,80)||cf(this.j,80)){throw dub(new KOf)}if(!!this.i&&!!this.j){if(cf(this.i,35)&&cf(this.j,35)||cf(this.i,57)&&cf(this.j,57)||cf(this.i,132)&&cf(this.j,132)){c=this.i.Ov(a);d=this.j.Ov(a);b=je(qf,qqh,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 dub(new KOf)};_.Pv=function(a){var b,c,d;if(cf(this.i,80)||cf(this.j,80)){throw dub(new KOf)}if(!!this.i&&!!this.j){if(cf(this.i,35)&&cf(this.j,35)||cf(this.i,57)&&cf(this.j,57)||cf(this.i,132)&&cf(this.j,132)){c=this.i.Pv(a);d=this.j.Pv(a);b=je(pu,LGh,90,1,0,1);b[0]=jcc(jbc(occ(xbc(c[0],d[2]),xbc(d[0],c[2]))),jbc(occ(xbc(c[1],d[2]),xbc(d[1],c[2]))));return b}}throw dub(new KOf)};_.Qv=function(a){if(cf(this.i,80)||cf(this.j,80)){throw dub(new KOf)}if(!!this.i&&!!this.j){if(cf(this.i,35)&&cf(this.j,35)||cf(this.i,57)&&cf(this.j,57)||cf(this.i,132)&&cf(this.j,132)){this.i.Qv(a);this.j.Qv(a);return}}throw dub(new KOf)};_.Rv=function(){var a,b;jEg(this.n);if(this.n!=null){return this.n}if(cf(this.i,80)||cf(this.j,80)){throw dub(new KOf)}if(!!this.i&&!!this.j){if(cf(this.i,35)&&cf(this.j,35)||cf(this.i,57)&&cf(this.j,57)||cf(this.i,132)&&cf(this.j,132)){a=this.i.Rv();b=this.j.Rv();this.n=je(X5,Y5h,21,2,0,1);this.n[0]=RPf(XPf(a[0],b[2]),YPf(XPf(b[0],a[2])));this.n[1]=RPf(XPf(a[1],b[2]),YPf(XPf(b[1],a[2])));return this.n}}throw dub(new KOf)};_.Sv=Pji;_.Bj=function(){DNf(this)};var w5=r7b(761);Mub(1250,18,I6h,NNf,ONf);_.ej=function(){return dWe(),ZLe};_.aj=function(){JNf(this)};_.Jw=function(){return KNf(this)};_.Bj=function(){DNf(this)};var GNf;var y5=r7b(1250);Mub(4221,1,tKh,PNf);_.Ok=function(a){return LNf(a)};var x5=r7b(4221);Mub(Jqh,18,H6h,SNf,TNf);_.ej=function(){return dWe(),$Le};_.zf=aki;_.aj=function(){w1e(this.k,K0e(this.i,this.j))};_.Jw=function(){return QNf(this)};_.Ov=function(a){var b,c,d;if(!!this.i&&!!this.j){c=l0e(this.i,a);d=l0e(this.j,a);b=je(qf,qqh,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[1],c[1]+d[0]);return b}throw dub(new KOf)};_.Pv=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.ab[0].Pv(a);d=this.ab[1].Pv(a);b=je(pu,LGh,90,1,0,1);b[0]=occ(xbc(c[0],d[1]),xbc(c[1],d[0]));return b}throw dub(new KOf)};_.Qv=bki;_.Rv=function(){var a,b;jEg(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.ab[0].Rv();b=this.ab[1].Rv();this.n=je(X5,Y5h,21,1,0,1);this.n[0]=RPf(XPf(a[0],b[1]),YPf(XPf(a[1],b[0])));return this.n}throw dub(new KOf)};_.Sv=Pji;_.Bj=function(){DNf(this)};var z5=r7b(Jqh);Mub(bxh,18,H6h,WNf,XNf);_.ej=function(){return dWe(),_Le};_.zf=aki;_.aj=function(){w1e(this.k,L0e(this.i,this.j))};_.Jw=function(){return UNf(this)};_.Ov=function(a){var b,c,d;if(!!this.i&&!!this.j){c=l0e(this.i,a);d=l0e(this.j,a);b=je(qf,qqh,5,1,15,1);b[0]=$wnd.Math.max(c[0]+d[0],c[1]+d[1]);return b}throw dub(new KOf)};_.Pv=function(a){var b,c,d;if(!!this.i&&!!this.j){c=this.ab[0].Pv(a);d=this.ab[1].Pv(a);b=je(pu,LGh,90,1,0,1);b[0]=jcc(xbc(c[0],d[0]),xbc(c[1],d[1]));return b}throw dub(new KOf)};_.Qv=bki;_.Rv=function(){var a,b;jEg(this.n);if(this.n!=null){return this.n}if(!!this.i&&!!this.j){a=this.ab[0].Rv();b=this.ab[1].Rv();this.n=je(X5,Y5h,21,1,0,1);this.n[0]=RPf(XPf(a[0],b[0]),XPf(a[1],b[1]));return this.n}throw dub(new KOf)};_.Sv=Pji;_.Bj=function(){DNf(this)};var A5=r7b(bxh);Mub(1215,18,{17:1,28:1,18:1,25:1,29:1,136:1,1215:1},bOf);_.ej=function(){return dWe(),_Ne};_.aj=function(){var a;if(!$Cc(this.Sc.Iu()).df()){this.i=null;this.n=0;return}a=this.i;aOf(this);if(a==null||!S8b(a,this.i)){oEg(a+c_h+this.i);YNf(this)}};_.iC=function(a,b){return _Nf(this,a,b)};_.Bj=function(){aOf(this)};_.n=0;var B5=r7b(1215);Mub(4368,18,I6h,gOf);_.ej=function(){return null};_.aj=function(){this.n.n=false};_.Jw=function(){return dOf(this)};_.Bj=function(){fOf(this)};var C5=r7b(4368);Mub(1617,18,I6h,jOf);_.ej=function(){return dWe(),YPe};_.aj=function(){hOf(this)};_.Jw=function(){var a,b,c,d,e,f;if(this.g!=null){return this.g}d=this.i;a=this.j;e=k0e(d);b=F5e(a);if(a.nb==4){c=je(Z5,U5h,38,2,0,1);c[0]=new IQf(this.Sc);c[1]=new IQf(this.Sc);this.g=he(X5,[Rph,Y5h],[61,21],0,[1,3],2);this.g[0][0]=jQf(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=sQf(c[0],c[1],e[0],e[1],c[0],c[1],b[0],b[1]);this.g[0][2]=mQf(c[0],c[1],b[0],b[1],b[2],b[3]);return this.g}if(a.nb==9){c=je(Z5,U5h,38,2,0,1);c[0]=new IQf(this.Sc);c[1]=new IQf(this.Sc);f=je(Z5,U5h,38,2,0,1);f[0]=new IQf(this.Sc);f[1]=new IQf(this.Sc);this.g=he(X5,[Rph,Y5h],[61,21],0,[1,5],2);this.g[0][0]=jQf(c[0],c[1],e[0],e[1],e[2],e[3]);this.g[0][1]=sQf(c[0],c[1],e[0],e[1],c[0],c[1],b[8],b[9]);this.g[0][2]=RPf(RPf(XPf(new gQf(c[0]),new cQf(2)),YPf(new gQf(f[0]))),YPf(new gQf(b[8])));this.g[0][3]=RPf(RPf(XPf(new gQf(c[1]),new cQf(2)),YPf(new gQf(f[1]))),YPf(new gQf(b[9])));this.g[0][4]=jQf(f[0],f[1],b[4],b[5],b[6],b[7]);return this.g}throw dub(new KOf)};_.Bj=function(){DNf(this)};var D5=r7b(1617);Mub(801,18,{17:1,28:1,18:1,25:1,29:1,136:1,801:1},qOf,rOf);_.ej=function(){return dWe(),uQe};_.aj=function(){var a;if(!$Cc(this.Sc.Iu()).df()){!!gEg&&hEg(gEg,(zEg(),sEg),'CAS is not yet loaded => fingerprint set to null');this.i=null;this.p=0;return}a=this.i;pOf(this);if(a==null||!S8b(a,this.i)){jEg(a+c_h+this.i);lOf(this,!!this.k)}};_.iC=function(a,b){return oOf(this,a,b)};_.Bj=function(){pOf(this)};_.p=0;var E5=r7b(801);Mub(1210,18,{17:1,28:1,18:1,25:1,29:1,136:1,1210:1},wOf);_.ej=function(){return dWe(),ZRe};_.aj=function(){tOf(this)};_.Bj=function(){vOf(this)};var G5=r7b(1210);Mub(4282,18,zWh,AOf);_.ej=function(){return dWe(),$Re};_.aj=function(){xOf(this)};_.Bj=function(){zOf(this)};_.j=false;var F5=r7b(4282);Mub(681,1,{},EOf);_.wf=cki;_.yf=function(){return COf(this)};_.xf=function(){return !this.g};_.zf=function(){};_.g=false;_.j=0;_.n=0;var H5=r7b(681);var FOf,GOf;Mub(1675,1,{},JOf);var I5=r7b(1675);Mub(55,42,{3:1,42:1,52:1,55:1},KOf);var J5=r7b(55);Mub(547,1,{},POf);var K5=r7b(547);var QOf;Mub(1269,1,{},ePf);_.j=false;_.s=false;_.t=-1;_.A=null;var L5=r7b(1269);Mub(1668,1,{},iPf);var N5=r7b(1668);Mub(pxh,Z5h,{},kPf);var M5=r7b(pxh);Mub(1673,Z5h,{},mPf);var O5=r7b(1673);Mub(qxh,Z5h,{},xPf);_.j=false;_.k=0;_.n=false;_.o=false;var Q5=r7b(qxh);Mub(881,Z5h,{},GPf);_.i=0;var R5=r7b(881);Mub(1670,1,{},JPf);var S5=r7b(1670);Mub(1672,Z5h,{},LPf);var T5=r7b(1672);Mub(1671,Z5h,{},NPf);var U5=r7b(1671);Mub(1669,Z5h,{},QPf);var V5=r7b(1669);Mub(21,1,{17:1,21:1},bQf,cQf,dQf,eQf,fQf,gQf);_.pd=function(a){return SPf(this,a)};_.Wc=function(a){return TPf(this,a)};_.Xc=function(){return yfc(new fkc(this.g))};_.Yc=function(){return _Pf(this)};var X5=r7b(21);Mub(425,1,{17:1,425:1},BQf,CQf,DQf,EQf);_.pd=function(a){return wQf(this,a)};_.Wc=function(a){return xQf(this,a)};_.Xc=function(){if(this.g.j==0){return 0}return udc(Ijc(this.g)).g>>udc(Jjc(this.g)).g};_.Yc=function(){var a,b,c,d,e;e=new V9b('');c=(new fkc(this.g)).i.jg();while(c.xf()){a=c.yf();b=a.tf();e.g+='*';e.g+=''+b;d=a.uf().g;if(d>1){e.g+='^';e.g+=d}}if(e.g.length>0){return i9b(e.g,1)}return ''};var Y5=r7b(425);Mub(38,1,{17:1,38:1},IQf,JQf);_.pd=function(a){return FQf(this,a)};_.Wc=function(a){return GQf(this,a)};_.Xc=dki;_.Yc=function(){return O8b('v',''+this.g)};_.g=0;var Z5=r7b(38);Mub(680,42,{3:1,42:1,52:1,680:1},LQf,MQf);var KQf=orh;var $5=r7b(680);var _Qf;Mub(Gsh,1,{},ZQf);_.j=0;_.n=-1;_.q=0;var PQf;var a6=r7b(Gsh);Mub(4366,1,{},sRf);_.g=0;_.j=0;_.k=0;_.n=0;_.o=0;var bRf,cRf,dRf,eRf;var _5=r7b(4366);Mub(1676,1,{},ERf);_.g=0;_.n=-1;_.o=0;_.p=0;_.q=0;_.s=1;_.t=0;_.u=false;_.v=false;_.A=1;_.B=0;var b6=r7b(1676);Mub(4364,1,{},GRf);_.g=0;_.i=0;var c6=r7b(4364);Mub(1677,1,dsh,HRf,IRf);_.Yc=function(){return this.j};_.g=0;_.i=0;_.k=0;var e6=r7b(1677);Mub(1678,46,Wph,KRf);_.dd=function(){return this.p};var d6=r7b(1678);Mub(476,1,{},r9f);_.g=null;_.i='Auto';_.j='Wu';_.k=true;_.n=4;_.o=4;var q9f;var Fcb=r7b(476);Mub(4337,1,{});_.p=false;var Ohb=r7b(4337);Mub(464,1,{464:1},ozg);_.Wc=function(a){if(a==null){return false}if(a===this){return true}if(Wb(a)!=Lhb){return false}return lzg(this)==Xb(a)};_.Xc=function(){return lzg(this)};_.j=1;var Lhb=r7b(464);Mub(925,1,{},qzg);_.hf=Yji;_.jf=function(a){return a.cc};var Khb=r7b(925);Mub(573,26,{3:1,17:1,26:1,573:1},yzg);var rzg,szg,tzg,uzg,vzg,wzg;var Mhb=s7b(573,zzg);Mub(497,26,{3:1,17:1,26:1,497:1},Jzg);var Azg,Bzg,Czg,Dzg,Ezg,Fzg,Gzg,Hzg;var Nhb=s7b(497,Kzg);var Qzg='',Rzg='',Szg,Tzg=0,Uzg,Vzg,Wzg,Xzg;Mub(4365,4494,{},V1g);var inb=r7b(4365);Mub(3518,1,w_h);_.hd=function(){!!gEg&&hEg(gEg,(zEg(),sEg),'Loaded: prover');jLe=new hXe;qLe(this.g);F4g(D2g(this.g.g))};Mub(1038,4337,{},Udh);var Epb=r7b(1038);Fph(Qc)(9);\n//# sourceURL=webSimple-9.js\n")