From 7e0bcc772ce9290247ca47fd9d58bf48a408d2da Mon Sep 17 00:00:00 2001 From: Unknown Date: Fri, 3 Nov 2017 23:13:14 -0400 Subject: [PATCH] iterate calc to 252 --- extern/MinaCalc/MinaCalc.lib | Bin 254668 -> 254516 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/extern/MinaCalc/MinaCalc.lib b/extern/MinaCalc/MinaCalc.lib index b87d1cf007eae4d98f22a2c7c20a444c6b9b9a42..e46991b26b1dfddd7c319e3fbb1a827deed84f01 100644 GIT binary patch delta 10959 zcmeI2dvuJ~-pBWTW}b;)5(yKRkVy;~B8f~=5n7UnQg^9qsxEO?gs4jqC5o!HNFV9% zP`9*tyi_l7=}@K8YOCtbscVs=r-y3PBy~w7@qYK-lW^9%*1J~M>RIQXv)9_@^ZWiT zd++Dj&wj>mK z?zlehACIbCGmA>brrXcO0TTY@6&~t}iHVPo4-Iv-i%p1i3EzmCJ$W;2Wkf~Vy?LCC zHC&!xzSHRCadKZ{hR3PDpT?NKk>_z(Uwodi<>;cBjLhQt`rDvwMv=#9=`@tF@}Wkf z;--4fVT_G4l8YVsVo<&@0kjtsXXJpo4rlBOklmM%d>YmZMq#nTx^x6%Md+gWQzqw) z&FPF8hO5M(uLC)av=Rq*8S_ex{wgI;@u`FgEW6H96e~D-PB_hIQCTh3`7()rpV$ z_P{!0Fj3X6s!jD<(e{rx(DwWO(k{jS=_EdKs)nM$SED zHOmmQ%(>^V_6FTV7fsEp$rQ#Cj6(PZf=bXI`I=8AKADUyF)~Z-MpCI+UkU45SPtt+kYkz}K_gc^ z9;~;8xzQ*nb?Ey+2aFq_rPCQ(W(1Tu^k-)>*57DX=CCw=2|MK_vDGXcW-~T;wh{55 zsXh}JY2=qVtXXpyBXrSBMsiuOz6;h8gFkRsewfRcXRb`}&tmLrBNd`;9%C`{j7H^6 z_1-{>k@vu%4}6)iOyfJy3eZ%;gTMp$Qh0H`3@ioa8_DGkE6--EF}fNKo6pyT``;c) z2P3E4p^sU}*bHM&xr5I)ek^zD>92^wz7-CAE-2V=fhI0uEX+s~+G4TCvOyO>R$~jO z)e@}II9cJaP6F*f7tJg-y0NjstY3uUXM|Nc^vG8kn{RXjy#_jAWL7$?_d&5sRgP{1 zlmzReVNEv*;CmUg*z4ocw*uA%BjBOKx&`z%uTSOqye9T~I(%WEN$8?!GH(H_l}0{% zYe1WpDW667ELUOOUS@n&9+Df%&DJuQ8E>e78Zvo5tYf*U++jTjy5jYz3EhBI3ZFgq z0CG)lGM0xfn#%RS;<+B=)>@7mfi9Xxg?>0eU?ov9hqF5{)$3G+hrpUB6K8;ycztR$ zYhZ0vi93ONy-t<*HLSnM#4DiNUY|-duVAbmWosBQ1lSr~PDd^?1y(=h916_%7w1A) zZ&8>DnQMWER;tXJ^2CVDVXP}tmtpp?nd02iTC#3yfOL*fiog(mn#7 zLKjUlQhyKDe}+|)QsLA?)-cvdpq&orIE4qoUP5`owF!7eAWnnd&3ZA+Ao2)L#5*`L z1$vW4!hVaAEpUATJoA|AI_w6NBV6%o85^r`5pX9JLe);K#d*|#LVUQNrmvHSm1Uh6 zDa{9S4+Y*r7tQ;w@WCu2){BTOh|mw@;enx(B6!Va#^(Hw3f9H*=DWH+-gr=+rmz~^ zVTn7$*!}ORdkx-HUw#DdJ<5cv-8d$WL`rJR&Dx&hatdD@XY4rLfLA{c976%V7{GH1 z5A+Xe0K7&jg7wvB8T*FP;j~-;7M`PJz9|0i9AgV8AF{scCSxDdd4aAXJgvlQqEh|e z@ML&YB|l1T!W-1U4u~qo(Lt#Q(6^T`wwq=PtZ@fV3gwBkWp^1%yRXs$T1fB&(QMSMybvfH4(C*s_HNJ#trjzhk{pxWx z%vLpsc%SZub(+Gg++p(Ap z983Xzz-5g^UOR!kn{f6Tr30-7uxp4KQm6c29?WOchko2?GTGI5HS8RllKUgLDKI`% z1zY9QyBpSNN`=$n0aiF@jz6w}(TuYc$`d)SHRr5WxXLlhoH$r`AmB7j3YQC@1%BA4 zKSIx;*TB$T{IJg)xj&YP7BTsQVzU&&6b=sr#%8wfRR)Pv}8qaMiKN`9gM#V zyq;VED0Qn9XTFi%QsTzx<5AQ}^8&cjvI35~k+d}cIrXAA+eRlv&SBul=<1w%!TJJN z8!0RhL+%G2qizDv0c%hu&=T01v!<=7dmt)Bf}fYNJ{CBWZiwIo!0#!bF7OKQH>H*W zJ5#z)2gh(Wo?a6;4S1UJ1^T-Yz9A}m%)V$>Z z;9G{Zc7pO0<%zU6+He*}-wB)&&v9aV1g>bySw1zip@OX)XBW{$Q%A@M8{SRz+jHjk zncda|3}uNJ8|{~WuuNBhzTB|qe0lH7dpv}>T?<1Tj0IrO^lWJMs^=| zcgn1fBUzZkQaJlWm=5h=3UzG6!>z|46`_m9$x|P*z6WzO-9VJSu`_2@3TOcA_B3Z- zQ9FUouAJpjI?$?j!!|(|O&+0iq5+n-3X+-fMQ~DgF(%L+5QwwqSD2MORf1LQMY@gE znilj@PuikhoUNkNhS*N)fuHuG!ws>W4uDOR2U)lF7CRqk_f5f|tzk|hkMLvxk5R)$ zSl!=y%hmb(3aM5fZcHq0qB{|7qcc?`E?l}&KZ~vpUuDz z2XNzNWm7ZoTgrrLJqbLEE}HrVQV7c+pjwC5^LG;vpz91UQje3Y-C) ztJKB7T$(M^4Zx$62h1lr6k>fI4jfV%|p)q({HNSw|`r&auF^DJ&eT^qa_81iENG zl!5F;0_c`+f!8L|FX6l?Z%I}scUoPOIO~P33Y|nDZqQJ8 zw6&8SE3zFS`zhavBA0-_PNEA=91(1?d`Gu{+#NW1GQH3Y@+`1HsY2ci{KhMv0RJjv zyS#c9mcdzQhDwP5cOef_wC6Htn3IR|Db%4Q=CL?K%p+V|lR+V!xszuQ-U#9&Ls`RM zQB(x)WBnL4uAqxnoAM*DmO*qh0>RIzkD=;gg#6G(O`+%r-knyq!krvDg|lU}x)m<` zPb%u3iYl8TZ<1DlXlxq20g78`Xe95WH=oK`8_JKwt?33FK<5Qc04^dP1zZl?N-d-K zSNeY7De^$I{0zK1l^R8h3z#YHcXBj>{ei70CmL5LG!`>Tgxycr4t*SOmWZ-bOgvoK zu$NJxaIFV^_E^?2*nd}9cY!!3Vyd$0Oyl^AM|NvuMFG2!t98{_Lt$sqN#R-ye2?(; zz@dK#+$Rb+^lyPjRIR>GaNP{ESe3H8h%X?tS_H)d2T*~);lL?$L*Q)S5(;nuHvtb& zJAr3_cU3H#&RHG8mkc{4#b9-fVB3Z5&|3nZCLRk+15TDm9T;X&EzbEa^Tftfn8{iz~_K-sZiizU@p0ys9MSf*qemy&_4nmR=Jmf#RBbA zCmQb>%Ph`8&wEsDtvF&Fj4 z#2j@mrh}J~N62e|x8_iz1VrBl*P!GC+>5}uoH@`%Q#VuZ0dpMXz-yTcTrro{i0k(r z_)98;tRDehQu#jv@1Z}+x7xEfdlFqV{92aG8}lscos7dGiPQfW2j+W zco04DbQPVcB7T;7b;0rd&w1`!U3i~bwFcC{*A|99*g*F)&+?ib>^FUcBEI-#NqQZ$ zP0~hCnLBd@f2hSNr4{Z}h4i%rO)=p&A%<`F-uPEQs@fLNUV85>o>ogGevI$GWo{pX zuQu~rlt(;`Uw1zsexBR+%X&L8)<`+GgVp1o0CjSgtmfP5cTi1vYkJf8Ykzl7(%e5&p`{(>#-}<^sw4n6U9}=lb{VUE~Q%Q z0SczUJGgVcD)w`=tG>A^+zwJD+Jat?a~uUy8S_DE_;;)6Ymmw~TOC&hQp0O{mA4T{ z)pPX+s)D^hs^HXWGC-=}d)0A=K&s%0YVUQBDp(ia!Gh`8o!r$yC7u?7ykK`hDzOrz zyop$qy3%t&s>EBMdvstYZ!%v6g(F?LI)LuU3y}s=v(2ie4Iq_K08$x0f>cInbzEb7 z168?+AeAu`q%x+1RL07t)qy*z=?9QXxg`SW2&!FGqBY1DYp}2$pv5w`A859ush|+*`>C8v zhWdB|AGW_r_kL?tnPVV-+OHxmeafBQ`?L#xi&7Ih22vBc1X2?U@~@gu0!Te2sUQ<2 zx#f_<+}!Cs6%y+(yopvS{Uhk!V}=JX_M)6kU64AKMuN6WZ6Rojq)$O6s<9gvbe9yY z_+j8b#pfTdLXIhM*|AZq@vUfJ}I@>akIvI9i2p+fkVxRu4ZfN}2+S zqZ1g;yWQe!Rr#AhYVRHcsTrRG4U%{FDo7oSmY}M!n}Et>*=Uf;?G942$N;J9ITNJn z<%87Xe((c|L)^mJ;Ah)i?m2t-Ig?H7bSQ8=FR34BIE~xK`|!lg?tNUt?%VwZpM{T@ z1N;ZQ0{*Y)WOuEe+g`voYTmoj6LJ|H{)&(C3RWzl%$;zMUomx1XY}U?xgsb34QQTR zSVGV%Tt>ftV1 zZ#ljgCQ(u}D9Sz7!@sSKcTaRBciPn@U4u)}1NrsX4Uihj4<~XNO-B&FL~ASYjNXz1 zUxltNT{)=0eXNpq(z^DS11!f<)llz(PRsbMAhp-rpk^}eE07xHI4DMH_*tIya1Y{I z3dePNN7F7w@saLXG1^~!YK@T*3lS0FZjqp!=8r1`rLTKnd+qaDNT}OIds7t1>#Fq* zcb81owg#Ci-|pMlowrB}oK83HYkpL4Uu$9RFnQB>D!Q-5n$0ugbIDPv#nS7g@Qx~l zw{zx(p0q+}_k?yF8by_X^fGu8!d$`RDuZ{m&@zQ~;pmh8v<{ki!5a;-=(O-Y`2gO! z58&kH>58++*{W>2?ehBXtp=As0^4sD2=tF4c z6^nklN7q2PJxqSN4pR$r^N2lLbNiTLbKMYDm|El(;qz-aHVqiQD%WF*r8I8xBNvBM zakO&~4dtd-^X(cxMUw%d2f}+AUK(Tp`D&(68m^gwC{a)@2tO6f)J#ru{y(N|q&y8d zz9vK#YNF!%y-LVxLdAjEdV5L%(Fel&iV5C3_0l)d$3m-bhV~mY>LsYT8Q$kRe)kTg zn&I6ev>c&*S8?tG+6T>?@WiveR3f}Xbdz7W^P;-i;&E2DwXIhXx>8auQo(txL3k)k z6UTc@w(_6ad|ws8SRZdzs79olLg*%n^ORU`%X0<99bDM&RX|w;8N^fq_Y{@fCCm+X6af`QHkWY=73&%MrfAvd zOqyG1c`c;Htr{(}8qLH}GtI(XGi065Ip-03&CKtw-|N->E zjy67dtnoTuOJr1Zw4Q&bWkFf5zCI>%Zr>;P-6oKeScwyN>qXJ5ccZ zPWQicpx}32?|<#U|JMJ%y8-{V{{Oloe_#85_y2$Q0P6SuzWw6b4j(owf?gbC9<{$? z{>oX_=#)-frZ{I`FqfP4ugN4l=Kc7ud0*(0 z?|3}UeNI8yoz|XDMMbNp^+4Xvln_vpu>)gt?|Z)5%V_nRG5VqkyX*VF8P7A;cC6mL(r%qQma!t;>z+f~4LUbgufFf= zvH&qxU?%IS_Z-&Q;~4u92-rG>u_-C~Omt@zW?^B9^!x)J^JK;@Po~ut?(2fyGoLApW$9J-9o9vl zZIbqYzS0vOIILx$I-zMUQyB}Jini=p3@};YWZPNsI6y5?hn**asC9$lBRqAYS-*(jP*>DUGYc2K$tW2 z)L$L$S)k^#Ws=dAKCs5?CGh2gywZQ`8w6{b?pER8%k_>GLDm(pNl%9Tx?WHb#Ej{q>+9OaxrdU9i>2Qq8Wb9MD7>;Y8>vQxQ zkL=dB<}$WVFNe4=i?Q7K5Pe-wBf2;Clt;GMa@yo<#ujCZed&4to>yTGUno7>7BcqX zLg^7X7hvwmk)GNdY@powoS0n3Zsx+{u;wu~I!`(dA|(rEc)m=@&u45yzVuv%#|iV5 z0_nMqcMtQT`ka78*!YX2r~P8|bg}Tbn6U{a!knz9Ry(vcOBma{L~n>~{XL4ku|$uk z2-H?BMH5Sf>aqpuR+znXw;G40|B$4$XKgFy{yjeZU?@+S~(ktE@;&KxGJ)BU<#3k5&}H;y z&>qO5%i3WWU#aji;FZVWH(}Jsa9a^NUSx!a!suSK{v@~C`T|Ei)>C2RD1905Wka{V z3FCdLGI57?6nJNyo_p7>4S$ib*)Qsc?%B09zb#e{G-l>KetjnO)I#y7ZYyK5H z$6ykbn^CDX4(30+tcO1IbAe+hth*#rM!dpU`YU>M4Q2s&nF=ik_u0T$j}77ubnS!5 z8v%3U261lMwKL$#4HRm{yfxa$SSJdxBBL*G#zuM1Mj#^}<{ruso|C}pjpVH%xlJ)+ zPZ!H%Z74XaxIW_rnD3L9hKz54)zafCYBkx!So|i+MT^>4@LGd+fy*}OV`}WYk}hgI z$P~6&-Ywyq(aL6Vx43?R{AXZ#zDi?k=<(23;i9EB?yz2e9lM%#0&R!iVC>J^v0m=n z$7MrHJi@l){G=-Q!jeB_%>N|H;L{ji|0d6l51%`E!Q8g9(xixg&S6duAf|{C8gPfH z=_yKYzynQ}Ps#55c#5%KPsy8iwF!R#f63SyDo0>g>#uPuo>5iM>VK>q2L0o+jNPJc zE|?qBw~V=*lS{nVow1;EjBTev;W<>!*x4I2umO&OG;}EGCT>PLFI;iAaULqYTBhIcq-gk+`)U(Y6zI4N#``W~r_PQ_E7gq$>tl$to z)o_F#XYq6%;kE(5vHqNHnsFpv@)vy!X^b+h12}8fmWDS**Gt-RmP$F0-QRAH1=zC3iM_ zKfp(wIm@9F@M+E%&dznA?yb15>v6bZpW@8imApMrGp;LVox2%%E3v4V-8ieHR1ef_ z@HA(GoTXP&*N8p$?)a3*xo^iaeshy5)jw8Rd(L9<)( zAnhR(kKVMYC8GU$bGEv-F^E|R{}e(rl_Ols=)+lgUpaV}g&1FAKh8d*Zmr-7>yJIr zU*0Az>Bu?+JCq9HvP~O+_6DemuFY_6wn*SCa1fQX;&$`)LFyLTHHfoA6w(^;$ASNV zT!S_4g;LjHhft1iMGwXvA1qyN!Zix^M%aTM1!&vA4+qmg48r7^Na-zkpshtBZm&cc zZwo?vEEs#++8sQJirV1r+Jca-RMG~sF`6z4W%v-z&XSuKlsf9@1totd$Eletl*?2g zl<~tk` zviC8(ik|VcM0rcRE`vz-)Qu5w7N+{(D~6|F%Z0#vZXZ62a9M*;w&hMR{L-} zkEFdqN`;i2B-_`Pf^{$&(l&#)D&4jlT$;q?9TkphpTPcwa(wahb9s)o`0_w)-gBJs zWIE}KVZ@mU6CqOs26znn4&?iDSxD@P>V(2N*4K4+HOfvLI&_4K4+HOrtV8A7G80##w&~abO2cr9=mIP&Slhlmo@O z6}VS8{j4rnfzRm^1ZZcVUYka%LovOTU~M{iw*|MEj;%1A%Ai|&gU3^9Tdc-h;5tLz z2tGh~%sBYp=we&EPklF?;@k5;eu+A^L*rKw@CzlkL!QqJ&cbHUn0DOPiam#?@EeHG zMnayVWOjC(2Zz>?*Q+k5)pnJ_`MPS5bT<%!hJLG zEX|bRS{HDSOga>fG9$nlnXnzxT<0M&Xo;n z!E-t5GFQ%o))U-su56JHp|g>^JC#TB=GqSErO-vb5AsjLzGdWBfE&ys?=G0@d7L@s zQEn%6H~~C$9?dl5BA~cew?h7Ko*L?B;B({^g$`Z;Rvzk$4;5l$wmTEWv z4KIPcHA{7TH@GxQblhPDoF?NjUiF`Eq((#q>M_d&GRYfl1fq zfQ#m!3vl8rQ0q7tJdui{F^VkUmIZ2XZ-U>aav>iD ze!f7h-DPl%%G8=>;|(}l4Ng45o`O9oTMaG^oDUxsQ}%Wx?Dg5IxBJ1TvQ=-dfPc+a zBXq+Xh}S~$j>5iZ2kuHaF=&1!aOFbP*-hZL=mg~EM}eL>>d+GZ#y5$l%N@Cg)gNL6 zd12wSuE2yGHRd_sq8ww6z|I`G1GN+2pL0~NAAl{nYQ7rfa^{z-a{GZ(a_JEEkMsMk z{4I+nUd?Xj(mEW$ru*tjAH?y2(ottP%y}xnW?bFWmBz;Nwlc7};b@sh>2av!l}AnD zxt%KG`LkLBG!Y_&KvR_A__+rUmX0_jI4Abx@m$uLYScU^6W&gIN$i!RM!WoSJdUc zyqL`SFZacun&&&W^yP_eZlf_Gjfr6;IV*>7*I2(>Hlg4bGnOj}za+7}lD2?qoQ@)1 zXNpovh*)G9wdx>wb@VhjOcoHvn z?k0YY`+Y3i5`TA1mX(i!R1$s&V11l_*}!+Tj8%&G1E_H?Z7Gvn*E>7cgKn*o|7 zz1c#ewQqAD{uJ#}m%oY2Ub_A^kHn?TKJL@+YZ<%}-Ciqc59pkvlOUTM=r^FhN$ny? zb*L7kGMZq7S1ErV?>3~f?87n$zLE}smf+ihU96|Ndao;rtBh`-*JNC;dMyFuORoEQ zP=P9Tt=`oV`(K6ofmDeY&D%Qk8~)#3`t;X`q#= zcc3guxuDL}#L0u&tMIrc_)iovJQ<|An*vfpm<{So;}MRVccl{@e^-`S(v-1Xk`910 zdLJ&ogHmwEAN2bqjRk!oi9o;7LzFR&s5=n$Qt&}JA$pn@-DU_cA}CpAg4L28gi zATYeB9|z^h zvEg@DgQ9Rmwvr9!gH)FTWex39{-HTNijKpRD#s zCn%rG%vex@tp5zCyQF79YMW((%4FO^&@@y(B? zAOMOB9sIt23I@sU2VUX+7XDXfzaP1;iF-Mx{KTzh57j*zQpEYAvF4!bwCG0tqtH(# z|8Rrj$IMam)g2z`F+_GoG}BX3I4Hu|>MsAJA@=yC8Xn}QW_lxLC;|B`*iRtUR3jYQ zH56Ej`{5!DuEqUuS2lbJx|-2y&{5~2THe#tZ)F`ZMT^jDHiPcAgUyB;$^N zR4b=IQBuQi?QF2qg`0YDzSlX(WI7+lCp+6mnEq;WnJhX&p%v78QBFIcS)zW< znMfCf_q_1>Rl-~9zI_!XR6^@l39S$sxJpRcPI+P5#ub+T=+Ypq7{&`RVj%+a&y|XjnzGz1kE+ z8>*3T0b$%iwbiEB#`f!DW1d8PLIY|{eiT(>^29nX0yo66%FntUWm&Yd#?*mc6J8tL zs6o98HK-R*i%!k&db}YGszs;z*Fsw(wDpbtvYg(7W@%M^Vlmwo-g4pXSO;(L?ba_* zavii$b@h z`V5-o_%C&xs7`pRgg4FtZ|0geTTrS6+Efd)ozQ4A$TjG^ns7f8HMW{PyFXrlr2LfV zCq0cZqWrPIYK{9DipW;Vu=5mf#?*=jkiXUJ#m7;m)g09LE3Z)B#}W8NnYKfu4OVj_ zzMK959#OJxDxMjSH_kUk*|xHw@XSdQ=1x!@YzM{6@t~9+|3+6wKgp^xvP6uD*~^%I UX-_L>cg_6t*(d+w%rVP90oKhW;{X5v