From fc91d3b8aad61181561de13b29ab42f5fc17b1af Mon Sep 17 00:00:00 2001 From: Valeri Sitnikov Date: Tue, 22 Sep 2026 10:31:09 +0100 Subject: [PATCH] =?UTF-8?q?DOI=20=D0=B0=D1=80=D1=85=D0=B8=D0=B2=D0=B0=20Ze?= =?UTF-8?q?nodo=2010.5281/zenodo.22894337:=20=D1=81=D1=82=D0=B0=D1=82?= =?UTF-8?q?=D1=8C=D1=8F,=20README;=20PDF=20=D0=BF=D0=B5=D1=80=D0=B5=D1=81?= =?UTF-8?q?=D0=BE=D0=B1=D1=80=D0=B0=D0=BD?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 5 --- article/sim_numerics.md | 2 +- article/sim_numerics.pdf | Bin 502787 -> 502420 bytes article/sim_numerics.tex | 3 ++- zenodo/README.md | 4 ++++ 4 files changed, 7 insertions(+), 2 deletions(-) diff --git a/article/sim_numerics.md b/article/sim_numerics.md index 08d3e70..b9caad5 100644 --- a/article/sim_numerics.md +++ b/article/sim_numerics.md @@ -558,7 +558,7 @@ The second is the steep flank. Where the loss remains — `fun9`, the near-cance ## Code and data availability -Everything behind this paper is released with it: the reference implementation of the base rule and of A′ (`simroot/pure.py`); `simbracket`, a compiled library of A′ (Cython; wheels for Linux and Windows, Python 3.10 or later) whose results equal the reference bit for bit on all 868 problems of the six corpora; the corpora as code (`corpus_*.py`); every sweep script with its results file; the advance records with the commits of Appendix D; and `verify_article.py`, which recomputes or re-reads every number stated in this paper and is part of the test suite. All of it is released under the Apache License 2.0. All numbers come from one Linux machine (§4). Repository: ⟨repository URL⟩. +Everything behind this paper is released with it: the reference implementation of the base rule and of A′ (`simroot/pure.py`); `simbracket`, a compiled library of A′ (Cython; wheels for Linux and Windows, Python 3.10 or later) whose results equal the reference bit for bit on all 868 problems of the six corpora; the corpora as code (`corpus_*.py`); every sweep script with its results file; the advance records with the commits of Appendix D; and `verify_article.py`, which recomputes or re-reads every number stated in this paper and is part of the test suite. All of it is released under the Apache License 2.0. All numbers come from one Linux machine (§4). Archive (code, data and history): https://doi.org/10.5281/zenodo.22894337 (DOI 10.5281/zenodo.22894337). --- diff --git a/article/sim_numerics.pdf b/article/sim_numerics.pdf index 8c27943b12f7cd367fe45d4847900fc6618fe188..c22f0348520490806e63e54ce18afe82f44752e4 100644 GIT binary patch delta 20647 zcmV(*K;FND*dCPC9)Pp~icSJHIg??oD1WV5S&!RB5`Oou(96Qo!lv05n~a~FYmr5Q zWRU^#kOToo>KSoOkqSw9Jo)uoSM!iG9tYS5L1bUmRbBPf(M(tOt913R7peSzdGq4U zw?1E~G%375jCf1vk&(b8#-0J4A`gMJ?51ZFU`}J+v(^J0gPJgwu zRXzXL;lly!G z+d7n8y;18&eqZhjM$Y%eLueBQS%2OIe!A_-Eehj3No44`^|#ce%B4;y-j`L=54?mn z&O^6)%YDp_L3U2PJd&JYXwweUAY@XVF=%vBWWr$E?Lvpc&APqAe;d~}>w`#=P7K~} zPs7=WUD#HA#q62&(DMI%1qbcdGNu~%|8z`7k)NrO(n)4bRHYIo=t9jF*MCJy++l0U zuYGl>>av5yVTX_0hV*r@Zt=v@l=#6Jv|H@&PK~s*vgRO*wi}rDAic-3AHLYUw$LQR zj;Ah2A4#M|q7OI+Wryuu;GR&%C1ve&y=|M{Qe*E=T{$2(momUZ$%-OL3z5O8;X?r- z{v|vekSW|z!+IS)%2t}t;D2t0sua7LO&+?k>1!fOTAU(7*a2IE9fA%Yj`$QUwc`UP z{lV#>+4W40j&^QFb=8EpX0%o5%%P>M+xzy^M`nxSjN9BL&RXX7SXQEeT_}kl>QYp( znSu_a8d2|H_dDEtfCrf*rZ~v)fC`3Yv7ElpX)$Xg)n`%@ zYSkoTb0%Z2piuz2+=FNt71+$P3z+i4N+x1#37*XyF{u|Iv0q~1G*cGZw%zg6a}()O8p8;(j+ea5EC6Ke&{2x~IEZbFFafoo)H zZL)uG*Il5sNvGfye3EnPvObZO^xVjN!NWt<$b98JHyyk7whjkrCcA)EorBIeo36hb zq-Pg~upQbCMdedbKo}YIIa8$W+<1%1`uG%w)+Tx3C98&loW(F?M7`bfSvh3c>0wbUk9PEogB#zACE3#jbHKV_)b53>oX@Iyt(^j0xbH zpneC@4^ppFvwxkY#qI1^Aw$2=ToeP4d+MZ=Pdp$ydsbY~0>t9kp6a1G63l{*bc`h} zNzI~zDrM}autOC(@vc~9TEV~n1a{0erV4-zXO}yBDRf)h*+avdBH%*>0pNQ8HuvNr zFwO}wx~U(Z-=)zI7Q%M^)-H|KNe+R))m?^?EX=1%CikXbGZW~K}g&NZeYEG z5!<@#d%;g^Cp`xhjJm2Mbb~&fSQ*rEN0#K$P#s7WalObJt7OLm;!?AXho@YFE7C-c zW_03?wc`-%y0sCNiu57AE_JJ|!f2q{%_zX%E4s((gGVN~3SIMfrbqs0Y-E|LLOq%rV% zTlHZ(#)!z}8NRs8Bv~q4#%M?jGx>F97A)v978Jo8woB4L{_RlpvZHZY__z&W_v%a@ z=W^8-L4{fz#&x@M4j{wn1y`d@WNV1>@5Pcx%-lNZEq9f%W3K-cGXvg3vV~%03j~zt zcz*FlK7^vqQq*FviRs}1bnHfLKB?NQEDzn@Y7gA^k6Wu5+sJqvN+u| z9wNWol@j~lDQ{vai>)jjtxQcjJ4neR)UOsGo-ShOvk=8#9ZQS-?aTU(bsUtAB9yM& zRb#SM2)Y%58CKGxaG-h|Lw}P1h-4q|bSyi`2jXmzR6zkJX{?C~kDXPwMlRL0AHwQlbN-6_H1hVaKPTLxiSQ4+pSXbyc0e5Gk zJi!s!C$wK12N{w*BM2xXifpbrdYdL1VDfB|NkK%}8Zsl5`Sr`^D1SQ-z9nO;Q##ViV4ecO>!uo0}JZz8F*V95P6VWQ|iv4%x`|@Z#6s z)71_-(O4{mQV%rruz%73F5aWC>ebIL{=;`J3ZO(O^j{jK8TSui5CA3xBVSQo$YnC` z#3JEgR}Q5#ZJ__dCW8>Es>|C7vU+TJd?vVyv{FdhW6|)NnBHJQ1IVH?PGyQ1Q(*%~ z8dROf>KHk1sf)uqx1&fQ0qDby-#8nmeyX%9IbR-m2fl`~Xnz`jfpts_B^beBRNNoQ z%V0)IT7_<(@Cii})8HkqI?o~Bk52!N>pY)|F$$F!44*Yv)iV)BBvp6_weuyZ$!xEC zNCjt5oKJ!bqifsY4PHeg$H!;Ls@#JD`U|@1?I#HrdE$YybHaF8^*#*G(9{mxraz$t~LF$lrL(2eQ9+0>&3$J?`=dz5=ywo3~6JvWQT}ax!r zX}nk~Ku11u%eL(#vH*|Wl_*?grg3;L5c{}=O8hi&EdOKkb0(r4WEc?TFSfC|LZQf+HJU07i&d`G8HqoTcFXsXry-1$zVql>8=IuD zO4~~G+J)ES-JzPwa{S6hOl5ef2*@l-3Bak0cYgtjtGN{6Rjd_7wt7_COnJw`cmj0S?btTb?JD-8DPv@8(Y_+- zPJaeX5f%>|Vc^xZKu)I_;J=hVCE}T`a4oFY4{i4t^K1((RO20v{TFZE?Aj`6yZbkw zt4`$TX{wJx;@!v(JtWRh~gCpZ%YrLxu5q ztW}Z0qXme;Lp=B{;s2Pz`xr~Z0~iY4c7M(;KcVrSzMq%}mk(E_PTyY`21zgV1n>A> z^NGS5h_Q&9P0-!tX53mH@hm3@&g^1q(0kv0UKFbo1jXnvX z2xVC0lKC$=`e0_m|M710CXVs!{WH}6F)x??*7Q^b$MT{@T+lQJ~Q9-}clsVZ1oD!ZP$Q5_=K}yiT_e z{K{9;v>4=G{m`9ey?b)t7QdSiPeXw^50~`c8u5&lj@8YNHG+Kf7#TVWv&xG^X&?PE zNd>=J34pcbKqUd4O<6MzJuAt?^?#Ht04nFpVdZ4w0DLzNzE2O0Ey1u)Qitm8jJT;~R0XDJWFPzcz5Y*-5KYKZ>o9Z1Rjw4p1|uEdw0 z_toO7oJ?+;Xw2&im4W{0i@jc49)A9FsfKt!-X+e9L)Y3k{9H;=c!~c+5>y|?G8OrG zYC)sGhYTantCL1tW)VSKI(-X=1IEicO#ZP!EAJM|r)#Gi_<&4X);;Xo1q{Wo08X!b znK(lA?0Q5eDmN<&M>4Xg7GnX{{|A`dQk=I?T>(Rp0W*_ft|))4Sxs*oHw?Y+uh1{h ziljbBz{sHud@B&7IkXLO2+~DSAc%{^0n&fp$Fn>_94kg#p%#M)jc*I1|9l&?s)T!58Aw(bGiSJQ`>7 z6j&KUSU0OL%3#nEEaL;%ii2U$%)vEC$_{R5s9Q!4xqE-ig0R9^q9EdnN^pFJ2N_=? zx%p5IQm7ml&XR&J<%H?gztq%OaxfYVe=(&Xmi%*J&_FB`44V3oQz=+4fy)GMaRT+k z>A+M&W`8?rfa9@nGN=M8WKL+n*^IBv1q?Dl0tE~*+?Sibi_xRWT?;!3S;5C>7%Vdk znqV2Qm92ka8O)(1{DS*KaT*!Jg+U|3*G2GV5CV0%9nnxq#w;;3+}RLasZtN%3Jo`y zVW+vlENDPYjL$9#Pk=@=AYF#7qHsS8dMx{phMFKWhT^O1iwi-*?q}${vilh#R)1H8!G>{$kE(yBhk&Y@^Wo;^aC{zK6PBLB%W(Yd z_dh~QQ9S~bV{JKn`27C;o5Qnb-^Fr@1~E*qw|5`z!_7@N-Zl@che@~RPT_OYbni;s8jem&iX*Wvi$`E5A9 zI(>h+4^OLo_3u9?47~m8bU6Num7hM`f5J-7%RU@mo<7}u{`l^MF65PS*Dt3(|9<<^ z-Iws%Us0??hJrOyRC|NBz5NIiSo?YLz5gDUboO7hv;Q<{R4sE~_t-~YOM+FO@OivNu#HCO#*+td^*~DIglr-%Vdv5ThJJhC$c3WB4g|m zO-(b=fPz?{(iNrOg zdntXD$<>6m8KJf8B(&CXLVN6^;|sEL!|pSJ6{<1AZ9~{3(PW6wp13uFdeYazc$t5z zDW4Of_eW^UGeR40BDCqZgfSs^idk$|P8}eoC!;5ILUtFiD1smI z+=RSqInw#o+iWLCx?$_p`Ce9ymV<5qi;_4Bw;?Qw_n0cL@!50LbGueDO#*6#+n&Qo zp!M5g7j;*&s52I|?q#uUV6n|pCyIYn6&b^(7OUD27Du936OUm9>X0^sg~MXyK`gR} z)Uh?-1Ra%Z5Sw6kDC6|1?3J~)|4$U!srUygk<+{?Gu^2~+fbF6EhrJ{N^J~F8JoBa zVQ~_TX{p*9}}7J+>$0>5(DB?7>yfokKrDY@rPSzGb3<4h(usI;dR>jS0mhd}zLwa>V{T8Z&`x57 z$B13Ibr`6B*KZM?9C)=u=BY@^UWaT*MKVtrttK2c2C*3>;t*1_#IzJYOITku@ffy9 zyhOl5STB=*~(DG*bomNB3@dPSh8_9!Ry zpC`Ev=Ku_ATl(oFH;6?`!=bj!`2&u7izptDrb5#q*svqp^)CQ{BrA*zvV~}NA$3cg zf$I=H;i?98kj>JBko)D!xGurPzi0hglzP1{d16%T}0CjmS9qd`GSyM z2!E6Va-nNrD?J&u>dtY?X9X;aP>a_nA&Uz5oxKTt0G3U z=hIxpI5IgA7ynsHz9TT4Dzm(svJ^fKk*E2Qn4_EKD)%$tDvrkvFtt$Rnk(^U!hii; z&%~%m@1Ch0sQw)u#L|tyR8i~llD+Cg$pfsaQu@NiRws@3FBHAfVC|7{p#&f-X^OL( zA&zR3X$VG?+Ot0L9YV@TnrPRMzvYQTKSs4lhF-xmGT~gc^O*1>Z0Ny$G|mtZUiSz@ zT+!aPGW`sKi(qde>v!!A>Eq$giAszXQ_N@ER+;ayK9^ymCsb89rcP7jtg+esf0i|Jvj(RVt@2FX^}AX z5^fq(i#(_M6~kXRx`@x047ra+{;B$fwnyVe-*H@$ZLgmIM908RHPz9oU!qvHa#X^U3!780h+jRK&i{`3O6F& zKR}r!3L&RSn5stgA~-NnwlP*%naev}^d3mY}I! zofF)(pO`1PnkA?sZ}0tWb1#^&Z}U$jp72 z#3Th-Z_Dq1SG(I6t8rNhCR49gA_WIGxC?vqzPJ5XGlJazK9isTL*pcz$7{}i#^>-y zu>?0|g%9n^d2!`MGs#`Eq_n1ws$LxjB;hvB)JmtG;k5ls zMnW11%#m^v*-~u))?^Xqx+ZF`W$c)L#NvhSm%|b;OUV$2dVk&D7CeemfIx?nhJZnG zu<7NjDzA9l#9$_~D@bM{E(V?6GC^fu*+DBIQ0w(%Hu`v1pHmiakcQYS=Nz$Q@=kv< z7{X_o{CH%Q=(U6+L#9Y$NCr7kP$BVuZezuTAPt2<%Xi)wBj$q8RbIc|@_8!CZsd)# z(MRp#3jN)Ksegr*-$QGoib+1kU&p|p3&)tuo-ChN?})Hfp~l6G5KP)5dYDe@B#>E) zGSafmLw4j`&X5Ap?dnkWtzh7^joJH>GxMal$MRrib$^|#8cAgcd$<1DJ&QI3PlEFc z*?&{2%vFJ0W>k*e))GTk#XrMbXp?1?IuCqGFFvNNYcriVUIFJw2h!MQihkg- zA2EO4c2EGk=?uiUU&*KBzCy1o@S{n?CkG=u{rI60dW16PK;g9S~`aNx6nljVvK+_xiu4_5kb~)8!7Uye#?{(1iTsNv?>$ zdmwB`=C=k8G3?VerOKsE>uG8HjPc2xoB#31%e&ndD3`pInqYx0s#qm!q3z7zUF-uq z07JX785mnaa~V=~`xh#|NnxYacrPK|{LAM2C4UCL{^GD*b?*282YI{w7Y?WG$Lp}s zULd|q6;de2NFGqyyW=+1_YjcV?g_lo;RBhA2^sEpTw~oE1oW&Hq+fkBDI!J6Dw$ui zcsz=M{Kf*zV%dBlIuZ4dp41|#KK}H>8CTGWfX?(T{6Hb}q3rrwJ}&Y47R3X&-P#zgOOr<{)H9G?)xK-~M_~NkX1tV~`A~t=|M2xemn)_Gt5Mc#^a_Uy zY{`VhEcI_uie>7&D0jpKP@~Ep@NLE1A_dhFD zkNq;M=L&ajm*}4BZx`*wW0z@Qf$>V5)_))PrQ6Ez(yWOhCL+Li^E$0d?qOMbflU!R zq`QY&8EmtTiw6syRB!6Gp`$4&olQw&aLlVE<&$0qlYNk|Yp`Ku4W5AB&hd(dx4Z^% zhP-ga2R;IXm7q!x;v$|oz#ECKp)!MUZzv4>Lz`%kDGM8YiIvRMM2WN8qtwR)et)$E zpO*sT*+K?BroaaZd%ps)MQ`>U4|yF`Q;)f=x%cym4l#-G-%{6FuI(ARjvLNRL|X2^F8>hJ*-Kdcgl5Z{ zmdi!3!M$i*s>Q=Km-YT-? zB`TNw(vi7+N%Weqb?T~0B7cy;M)&X!KaMzC=hqlkbwFNjNF0=IdmUH@<;{BNkD|q? zBu6qmxwi>lpgeZDAOx*XSuTh!@es|$%sG?u4F|uWa1A991uSYAJ8;ne)@BJ?O(_vi z-7@*x1h|B3IGy7r$OEtGDh>b$ARZ&`&EE{|GrO(#<9|qQ5?uMNM}PIs7skijA*X~2 z3#F%)mp-smGyw?^_U}((5&p#nRFt^c7oAw0v`oxTFe!&umk1euKGwmR&CfRL5w zh(Pzal@ypaBU9eS8nV^)yrJ$WCpQ2_2Z0gw@QZ^B$w_AA1t;swSY`y=IueCq@gDv$ zD8V0uRn^-Yi|$R81b^c`BhJ01)>o^LLMsD`@Eos4t)V0}eiamXN@R}>JlOTOE01b< zc6bUgKYmX4-T(zD3T9YE*uFPYr1BLu!Ud-9MSwp3#=if-(7=u+nsC>1scQoGp6A=3 ziqUqJ5w%K%z?uN)a?&s%R#>~lETvq}82y?$Tx})Rln+QBTQy%JCemJe4c3bfZ(AVtN=8kP!*tS4MfS0s&8FAIyCJ8_gPqQ2kz(`Bzk?i?ie84~d5(X&aSE zps_b_k530D+F>RCIz&IrE$063W@Ii737B%Rn4K}hnFi&+6o|<1oZe{zUrY$0hm4CN)Kk!$r!X02=c=oD>|9@=U zce*S|ponHf*e48|c26U5*3w}2sjD$M>g(-ON+qmBF}Sl9kbb_hA`r5X&gofivOG$F zKxTi zrF2d|D1Vj35hW#K+kyx|wiLuawdzDrBH4`*qGnrhkA@EwiRehJDO-Qv#pu(p`hQoX zbzZhZ6&FsIT&Hotw48r-9#;`}Ejv@;s?tV=A#*qjKA(&7nue6H9P5%oKXz?pCG$;_ zOnPNcBFliFMKKlRQ}iH(Ml)oMK;jjy`e$;l6o0+^p2AE=m(n5MgC4f{oTCkOo08r_ zZrlk=N9FbFQG`^m`xyE}B&$!_KdIcX`wQPw@@2Fak2CG^`~@^%0aN);8wxK19;^0Y zD9IH!8j>BgSsh1^NPbd=+dBfB=vU%qi?!UkO6wUUTt>MF*rz!m&`{{DR0LtM7%|Q; z^M5Vj^k)%y<*fYlkLfvr+$qq5Ws9At+^DTQkmL?MtJ-~}JA+75mN-a}*Rd7f9;}dk zmH-nj*+iAR7+nZZr-7J^mdq^?L&b2pc0b3FFO3#fKifPQCkw_FDW->QrUX0foNGJQ z%QP~a&diC;Ndyl`2QJy=clw)gB|KW#6MqWn+DdIxu<4!2$MUu+P0zLVd8=1y0ozY` zvI*A+au3c5Xxezdh|Ldw@;jHd;E3nnVG3eLp2<`7h}#Bf(KU+Bby2JqV&+#ETW zz$A!(PEw|W)^&fb3{HBBefykzE`OM`zFNt8w^-lR$1E&OY_lKmz;0+)xB63|TaabO zY{Tp%MMA&Qgq=xdQ7-8iFI)9aA#-OOJ}*n~JU(c_)sXtJ=@?k(iP900>U(89)ejrH z+LB8xW6X$O5sm2*BN2wX#O=VQS|2&>yinlU>ujjVq?Q)=L^yN)#6>8%tbe59yc^u( zC9eQ>QF?Kx1_QxeZJA>w(c_I4_v|W4u-eZPO$Y!D#pamXmjE;Tg{m4(wNEuYb}spR zG?S^}mP~%HmZ(!SPa`$gFZCIW;cAg7z_0k(y~)R{$XP~M*~ngr#mki#rt?Z7hj6v5 z;Bj#LSoRe4Vl39en(UI~Th zDK7M|q#@-7X4cxQtk@|x{5M?o?cXG;A8qzUdpL18VEBV&NNxm>4S#Ti40uf8`_km& zIIdZ3umvL>R?8z2?_%^hhroR)5&JVfG_oZ63DAk^QcWr92Yhry@5M<~oahvD0^;lW zoNxryyVkt9>cpxa^~Z`&B^a9Do1k?<^D8(@c2`PJqlMaK3qU~VzvEe6zYOs`)26|G zT%ARqh7XszV!FIdVSfhvsx$9OtjF5Nz}rkglm911uy)+m19B3NRJ`$@M_eAZ1%k@= zKw%s$G9Eje)X>EX@WjmoNp=) zs}E1>@Fm{=WZf7y$+T@y-4+sGp1p1}`v()Q-e!(u@}7M0$$xB{np!TInoSm4;3duj z&|X4Jsc~K)0A$#JVZuFBHFDV@xb~mD0hQN18iT-7jq>=Ov#1+}j&Q39pB8&=7_)QA zGy*uT-jw|8J0iK1edV8CY&4T||36|OMmTJHrrpdWu|1$(TG$EC#F8vss%g#bTg?&C zc;eUe0uk$k(0^I}*8=^4a_!Pxz}Xl2;RyvoiZSer2ze6J#$D4z%5FDW)t*mTjk^+c zxe>~VB&r0PLzeQeI*N<{D9Sy2Pg~m$b^(D|Y_wQQFxVz0syfa>t>+Sc`B@T9F|<#a zPv2`l1pF>=h4AAc7&hL`I(&bz2K$q7417Z15_ zwg2_#=JfiUcwjq1kmK?R$^lP`)2v$<+OCdR5jo%m3h5WKb(sC)qdz^p`430!E=xz)9A^ zOqC_vdw;(wrNEi^Z*2y7*2J{27`_e4qs6>@917jz?9P>_J~(M^_f2!@N7h z4tPe%|A=M~L($2qG@2g>eLQc8+4BJck;we4=)%vStV)kVwEOC}9dF2p44!~K zK!1>BblLd6RmOOI!ZOJcJXCEEct^RMCqBn8&dV;G;q|P)nwyrK}^A z&rK%6ft8{3#B!I+)EP&_e!d#~3>As};auGK+`ig_-fz|9*g+@MCtfv zR(pAbem|j8uk)k&_YEo6Ec$D&mFlf%Rgl1hO>#{oL}1p-PYwF3kIE(GkhxNf=zsIL zU0^8BxVKgbYiV3!+G?LpXnFOuFbC@RTCXgyWxPRy6I1%=AfUc(k}^DsTo;YkMTY*! z3_QjQHg`KyJ4S(ljymu`ARqwOjGRY4vJ*7?bwSDW%MRc^$Z!<7wB|l*?2f;ox9!_& zB{Z&*04#MczMw9_nxJrUk3X=}Y19hNm)SzaAl4Cfb;lm*p0xYGKRm^m znA1MZKQ=kfgl@Fg-njgQrUf`F~eZDH1Qv z;`g zqe`1emL`m}_(XCzsudW99pZp5EtG1Cu@z}DSrB9Di;Y(%V|7nDChPDi>{wUfP_JM9Sj zctbZa`1l0K*QCNEhk}NTWPSfVb~%*1UtQt)AhR>jd`A%uFnF0JAtk>ci-vXuM-pgZ z1usyH@v>DTxj*qZz1C#}_R5(2nER1?1QuIgUU`v~3rZ#a@{?|)e1HGTxTaS4MQKA+ znLRrryy^*ZcL9l1hi7vUuv~PY@?9k%mJ9PI{I@aEpYh0b7OUP{rWq@bV`a7UEeoe0 z=D<10$MeVGb3d$rbH;Vi`kHJx;6LrQ4KHUiPjTJZ`-MGaD~@oNt2H;_Ow;-6X3DMakxC6u0 z{lo#gb3Wk746zZ_TYxl8FOtrsV+F@kMC#l+L@5K`(L|z|Q{}QRL%SQKlU~^_DGh-V zb9J=LJ#*n^8M`-Z3MJv>M| zxwrr!9?5Yypnpl{`9jgUVr^BkM0GeSj@l-0Y_p3e!Akh2$m|&Z|I0s)+?QBC>z(@w zM#)hEp7e)I-XgaN;n<;^pe?ZXCmiD99InC-8B0`4Y-~w?U;iKA00cGJueqUk4x})O z0rw=)vUs!l{4Ow6@%)IVA1tscgU2SuQ_B;P{16P zz3sC<)h`5GV7omkDz#VD$9Ng#(c)>sQfkgB8i+_GupX|Y;;YpNy!sAM)kiCa^ml@u zGsWR0(SJd4`jQLnRQS7QSDWP^t~2a3Uz^-d;rnbV>qmf$@dDeh&JRIuj2^;f%18hh zF5HeUmg{CsO(0WRM%x`bs|N;^j(HGOAi2a~zbzXC9(6NeAX!u5BEhSF*hLVEo+prf z#1XMImjBUSDjqe(WswMZJGVm>O6t28o17~@(M1qx3`?>rSpv^T2$oYhV>h&Ul4q%5 zoN=il&G`f-w46gfGrf^q4y?5FGNw^$I`a6Ogj*x7P-P*CEmxFM0gO3a*rLLhff@o6 zhdcZOhdcZPhdcZQw>$g>hJOP%H#d`Et|*u6dj}bR%XZ={541!{yrD>iq#Sv^erjm| z4S=9PIg^=(dlD8Ky;fIM*Vdq{qbo$AV=S~PjDTX0@C{|D;aeBh6qOWD)ynv4I;6;QbpdT!bO{NIi z1IpS0>M*O(4sjO;xG*3euqqT1)_@Jc7NiVT6voIxDh(SpMnlP4=x1PaS_+uoz*tSV z85p4hE^c82P!9T87ys>}4D-+`>K{$OyE7F1QjjDG}oVlwmi3t$|U>SYQM!q8#uB%1Q<7j8nx3^)OsZ zWF|Ce4O9lEDio6fan=ra2CP#c%J#rvAJ`C34uniPLn9gt(93ss>X83k0VKW(aN&{3?vV?;`|q<&o1 zkH6<5H}w*i_1gcNcbK%XsjB}(aDm`+UOlVlY}KsunnjJyriaNzjYL&_Quki>hFsQd zr}en`*Tcj&;>(Huphx_d^|(zXYiLK;HH&D_dKdok%kh8M!~cHW`%|0Y zCp%DY*s`jJuSdwu0GH3|nP|>`f3~;Mmj&kcE>fvJsovDHp4FvQd!=T}z=vOK6o+v7 zy*gB2Y0V+%2`!<9>s7RevZ{9iAlHOo4^8Tm_vb!f51|j(Q-T_1&Rf0nhvv6~U%dB+ zV6KgUnVdw6W)4B;2n!HQ$RV0;gg8W^?3P5XeHA;>i$I#>%lghMnIg7$8qHOPSb3rMzTB-T(*W7MH5 zoI;L8h4Xl;57G08qVAM`rlu)UnK$iiy-Zq|pakRDsqzM=W8AHe^`83sOZ%p&t#S1- zT-G26s?{fr<$9x0hNwmgVmNlmyK@(CI|znU%G-E9R0dXoSHTe6QH0e;)c@tR|Nr^h zK6s3D0Io%FPMgxu2V@fU0e8H;`;IBn*Y?_c{&q_?tX<}# z13T2fRAKP62Z74dc?}IglTraQi-(TtK|8=OfPu<%0BIE%fJYGV@!+4cMaZEPPT}79 z3nLHf&?*>dFKq68WECpyTsaT6+tHPaIi*te>jv7rzM8}Z*l6bhm zDaPG;njiEK%pWD`71Vl&C9DNwfog;exVkV8h#O)XLB{~iAq+sx$xsqr3^Q}oGEJl` z8Rqp6EfT+QAC~Mzg3*)BM97AYp(S&eU^ZtC$%17cjD28#GwI7mk^zGGs9b7u7>LGw zDA_couR!WGL2v2f98zRAglG=e7y(oNGLR*!l>({hoDVKo^=5)oes3K5#z&9(0BOwKhroq-Oc#4Hvm4t9nGa!$~^8r8H^4$%k>{ip!m94KB^(XcFd zf}p6`nF00&@}L~*cxN5$4b&X6-U zc0y4t@%ht&l&B!TQ<7-I8Q_v9!LE9sN?^z%^Hy!i@uo7jehEx-5=?=CYs&fR%m6RY z*m+5Ov*=e6?JSbtljY=onmCJ|4BCBQmh#DYuV>-|P2O)?rP}TWd7d0511u;eCdf7DyMwrc z(vX!QVSLFacTp#Q$EKb-V7)bT92I6}oWs`W(Oc#|X=cSHhspu%MlxV*w0K>D60a$L z@(R}ci5NmP<=*D2PD3R+@opJ zb%|TP1g04YvRx!cmn|ghU-2_}5I#n-lGK;=6gcc?&&iHZG9*BFm8sDq<6blfO4rpWCITu)(}Aoof`kPah(jDeG9+(i&I$-sL>F*vgg#1h?qElxZc zat#87)`mQP3QnUYdU@=G&4wgZx1f}qXW%cxlSm4JDfGrb8Fx=7%V0!=L9wNDfO8n5 z8}c*pWP)r6pF(N$kR@)!Q^;@0NLz};tU}{zHAUbgCq|pM zhxchXEkJ$(`sitT?qfLow4xctMk%TqUrR?cm3w>Q8l2b)PZ4-kVms8dr%_bvC*wtDLf9m?6olq1;)DvoJ1qbae4VaEy-0F;B-alBPwaXh;WeU;*3= zk-|Gc>3c=D9T8JME|NZ_G*d97<0uh>6QHka2?g}UV&J88I^&wO)@`YnoMeVlMSWON zUlWNKW}bRY_{M{$GzmI?RitONjvbxbFOPvq-SMz}2alRMeGRwdYqwikL)&$EG`(Yx zCIwTCagjtLl7LG#-t>hcika7tAooe+(4>YLW}B!k!#u_Rs4|=qsVOwdRhG5N> z^G#G)1y|(h*5>lrWj$IvRm~hBPu$nNxre5+p-Hk5L$cN+Ns2FToF-q*QM<&{UDCG# z4^WCbqN5;{+yzUH7+qqg#J!*x24AG&_{3vo!6!!y>+tG-gfo?viH#@PN;>-#-8e_B z?6}co2aMM#VQ45}*f+U7ir!JMwmBi_T*kyzx*3xwJbYP&Q4U}8O1jKuU8nKII69Rk z#U(n4Q1qNTrC^!&1b(oOBwlna?>Kf0^cn(XGnlgcVggdc(zTeQR@XXe3>&KOHIP;4 zeBxykI>$7BBUy4od^UliGIU*ukD62bQl@?&buo~08!G3G4v!U@Y_p?_F^mQcdGP5# zdEzA>GqMksA_v2fx8wXPy;7GxxgM*1Dv`vuCHOnlUc*rBb#pZSBU-BOQ2v)|sVvvY z1FiUP(^3gGmaB`OY^L>~uYswN(>aGsfj(sJ zWON^l$+AN#Iw>j*)8(m4;GBc(Wyr48g1M>@P%t&EWUI=<~%Tr>V z-w-l?_)d1Gd!!3EhLp@gr;T0^YU;SeX*r(F7*E?HV_T=}(n|c68I`eZ>?e&Tn391R zv}6EN4Y>yBN~6#t%kgRrS<44TlXs4WJfh&UD3fqTdOO6iGcV{1y9AaDdR2_efirID zl>kBcMV}UylH+E^f}kg{Z1$W=Y&+PINi{WpoA}^zS^4xvn4!^J+v1z3_!!fLX~pWq zOM2HF_iZde;!M-VRKgN`K!g;UL^jJ`02R5MsP^bSHiH;|n5sq_%HUV2T5qb`d&H3Q zu!?$VdXELnK8@se-ax6Rw?eA>th5CSKE zG5m^QT~d)en!24fOm$W|Io#D37AUZa4k*4>Ht9cEkT4lnW_`@ZCPC`+SoJu^ep_FA_Rvvx*yicMD*VE}u^zn)u z9U7a@NqsQIDCzZ8lgfE3?}y6-e>?c*n}hQ0=c{Q^K3*<152x#s)$D4sTpiH!%gH6Q zyn6QN_`4_nc>dze@^Z3};@;76ehMAtlk;_9xaZN)@}~IZo(ZnFry~C1MBq<erD33SO%lG&@nuGGE zGzcsY%yBVU9ZxsKSLOZksC-a9EFYDR%O~Y`<@54I`LcXfzAoRC$K~7d$MWZLQhqE? z%9G`Mxd3>1IVn%eX-U(SXXV*{4F3N#EzjoV+46c-o|hNp#pkPw>7tyK0frEH@Bdf+ zUe3$Qa#1d3i)pzmmjJKItI2A*m`~3(Tw2joSJTyOd0Jl0uh-=t*UQcH^y8fRR1e&Z zp18Ow*X4Tp307LqZp!t1vc4!c<>q2FotB$Fm*sW&sr<9NDL+@=eQ5BnN4ly&@6ds^$o3Lsh!XEwb?EAORfv_(on~O&`o9SXbTjBwEGd;haPgdJ$ ztPCCzhcAm+gXg&+u@O0iMMhr;e=G;+>vHmHnUl8`)T7yX^YF3raGr^A-I1O?cAw76 z)#P+`GMQt`rz!6EbUj0S+Eg_AQ1SgwZ{B@)o2bZJyp4of0SWnCNpf*>CDRd7y-P^% zp>9cJ6oX`JYnf-DWnO`Hc?WVjnO|Mx(h9PAwVt7-N#C-ZZYChQ=jHioe>#Da4^oR- z<@d?e)ufzH*Xwf5G$Hw|CHLxLCd)rqfM@40bE6(`!b*H^W_<~E`_TUW&&NM~c-^AC z-%Wa%C@;PIizx5aAmx!Jyz|Z`!#OLx#o)nR%#or56rk$MX1 z|9d)EZS(!Ed=KW}0~ztji%(z4YFbM=#&JdX~8tyrCgdh2&jm)O}w-s?4XdZlurtbW3jF zT~8S%=YWy|e*<}dW#gj%(Y3al!Kl*h=aYZ~ z9+-6YX)>QKPNr4J#Our!XS2m@^O=GsuDYBpK*BGtf9IRo)%_>;yy{5yBd&6=m}O z0tVXQh-0!w!Cn7;3FrYqW|!^w-S1^Dj^5vY`s8hUv$qA2U=t($bsGhKr4Q<_5Z5?v zwUzQtf*h=qSm2mc}v9Mkw$?A!eX``%0MzkB-Z+51@#H8jLN663A5u zN&0Adb26V?w#;&#_vx4uO8#7K4;)9Pnb`tye**4svzE!)j|=v$7pJh`$#ON_75DkQ zOxN2NPv5_O|Bn~P_g_e{RUp6%pg&EeNgPD$dO+m@VeJT!*kPmAz>-x*%=gP0J$(D) zgD0?;qoKXrgOhxZ{`QzQx`--E6M-u==+cbZjMMpM-n8}+wy5Vvi<9Lk2m&lKJ39lD ze+LG1UHl^5j&wnxWS#sVIWCl^^v8^{9%r*c>m<~LwwZ_)+E+=6LdV<>+A6d4$s?)d zBa{w966ciT1K}gtM*(F~r9(u=iNu%$nok~`no7vM9Mv7N}-6ltrv0y(;TQG`s7@)f18fZWY>%Qqwh23I;ql7%qVGNmCPxWvMCvc zf3hq&tx)tSD}{fOY)k41|1MdRe)?^c^oT8&2Gvyn*zWcX00g*OE*#po3R`X*@DbyI z>}Fvca#C{o9f(tB+Y9L_;Z9ldLJ7{Z!`922845S$(hF^>0VutgYAvP9s$vUQ)!?e) z7+m%KxbC>V>7Z-%PSPrj5o*%9G3c88(cO{r@1kqF=$e)!U_QG>H;h5o?vL({tbG?< z-$U093hpRjaCZ=f!MtP#Th}A5#8(G0>c$3LDaN4d_eXa)H`qnDe@9#ua?#Z~J87e| zLf9YM;fS__t?y&2TB2Yx+KxJCaer(_ymiu5XFZu{OGK{COc!gVdss)YKi0Rs<%CU>G8%9}-LHP~_?v{5Qx~ff%M_H*cDBr=(-J0+2 zs*E^VnspCn>H9d}f5F(@mf-E`jUJtKhO)`*oeX0zzJtBHElb%!>=%Ok?rx-=CWrqWMv$K>>Z5NfACugUHvI{BHJRZ97WnY z*s0-{47%9%e+9<|1-mC;zj%5n(=+?!cUnNQ`w7gp{LQ(Uf`4|0-@LTs7Z>ifhEMp0 zG$)6Vg=DjV|JDb8%e$|kRN@2sdH4@@@V7~G+w{#B+Pl_JgKO{&SfN=b@0vraW)O2Q zZCNK$_=HX(zhY8!rhIk1na>tDD~Wlbs~{caoc<*ce|q92LHkvMXB)g55=p7tr+;FH ziuJxy)9cmr6a70Px$LLWwi&H=j!uW^<@Bb(sWX>q<`O&R(#f%@=GuanPOb*brQ@z$ z>2zIL%_X+c4GBlTM%~j*|FZu{NI0|KM zWOH+{r)V!^i zSAz^J0ZXYn367H1fMuYT&xVNVz;e(4>MbyfuxQV9|M9p9`>1m=ZpatvzZ5HN#W_4mK*ao&!e2!=@Xt!{^ zStUC`2iOHV!EUgJ6BmfOL6?QM{?LhiU_UqvdMv~zdT;<71ihdS90L7d1RSyO>GLYq zcyv{@_!v0OD~}MV#lzqX7`5=lu#TMoYV1ic4%A&WViKIS@a>?Abze11GuLGR*Xc8K<><=Mm7^<1gnkwvDMwO{ zq#V(I_@vpLdpfH=>qW@SF9U?+2+4CHStcFKn%#d>ClHb&B%kLg{+Jmk0PHZUutMDj zdQb&QW{u)YA+s0k~OK1C{|iEUN>{!3t0hRsx(W!?dzB0QqEV z!8))WU{%>hu!+WABH9X?tgz$-y}TJ>|}q>jb+=^>Z<(Y%i&<&;|C9>RS6jH>s}L0}hbt`Ue5qC8;HBjf_2$)FyUM#uiFy z-4QTAs&)>7qoisvn<>M&QZ*4;%UDlI)56g+R#wuCSU}krspiIt$=GU1vpfY(la`2o z*l!uTEV0_Mb6|qBg6KTBKq{3?f+E} zL`e)*zA?wys5-th@}kJusI|?niuzJ*Vy+N*QRHrs$wVz-dLQXVWFC<=MOqhWXJk;3 zK1VHK<`EfVWKfZ*MlE5c8kuxt`VmEcL{t*BdbM>?Sd{-E;D~@D0*>0X2sm!CLc=Xx ztI-Mz%M~?Qv9O@1*^0GQiZ)wua9Gh6E1tQosKtuUb}MSN;^SIHZB{YXuV|}Pe6>u` zHmmsi|95P+%Dw?bJFN1fyNcSa@}H%Oc3Nrtdqo{qdiuDcT~@mGqM}YKy>>%?(QYff z`?aDyR!W~M+H2)C4-|D-x#_ojS}pJA*mf{S`|mkANxOP-bpM*8mw_Jc&M~k*$I)MM z484S&R!u+f z5ZX8o)#?q`u{Z|BIrQ>KdWNP=I~*IKkm^K0qmv>N0o!g9I&5y1?H&HxIJQ~tM3b~* z@P2z3PFifjy6P(y&n$e;X zOG|$3t6f!>9SjaDeB?5mUl+?3cPvdw9_&G@#rp2hNJ%SW4l-!Ff_@KDyD$6U%hhWO zMKam`&;_X@jkGxF1NK4PVR;w0CX{hV89QCB+vY=R?ERrD2bAVq2e>I&Q6y<0Iyf}E zDWJsPMW!7Jg)3^(&jF4*0QwwvJwmILP-;% zEkzTX80bKz5$z6Ezrn=^c#uwV6bIQJFu~BwhSO&@EyvoBX5g>i*VTWJ!0uZosD=kY zP{l7d@g!8WEF~I$#Xw<}Z&BzkzRik-PYRzBe8v;#QlDf-f&4|{QrYd4JDdUTs5A%V zR-b51W~+`mHYYmv3JL|F%PpvuQGt(nb_P>kM9D;rEy1&yA|}-WB=&PmJoc1<)@`>x z^jw6t|2arI*`T|&3tWF&Md(|{ec|#4+`>}o?z;B(zz0VqsXh_Y<%zX|W`s4FUN#{_ z^T07OwKUnExauy@*kn`i3O>oXWmzBSl=NK4a>2tx)kuHkJs0h}_O=c?DW-D)r8)1aK!a!nTCc(=R& zk8$bpT?r?zY(ia!mr@k^q1u%L9axa|%yB}KTb9|y;|vc?%l{&7_GRn~oq!=@-P9&W zSDEnyI3}3iPV9e!%lac>XxQ0)n3 z!A3g9l9se)(Lt5c_9^U8g-*OH7MWJ?@1MYq$--0tkm2lnWiMsk7FYJr@S+I#&_DqA z9ze`3xd`MrL0UKUI#Vf; zE5N)x@+F%`vT4;wiY~a|)F#>%Jo^p@;9aZM$TAAzdkQF9!|osTraYekC@wdEBnXM? zzy)k~&|+PeeJ}Wlp1=WsB5yy+Nu}OB^APzNIc(~>o zT#+WSHKTvaXH18^-&Q;UQ@vd%dtg6(tYi=DBBWH!{frX2qrbL*>HW}?FU_MbwWy71 z$4!S=CX?)h%E)B>VK2wJlS#$df#sy95_z8}rvzHq)z{+k#Lz#Dun#3)bvPG*!z*qp zAqdn!2qI>{e5Nx4Z z`2>FgN_5<`!9ebj%Yddho;efwps?SSbZZg{pDaDv4Z9-2>3 zI&&vd2n|J5zFs5v)wN)PM!!rvX=+IQP6B@#W|vU22ZRlqOM$9`2@5BDH~e;_Xh_#P z!H&2wlSq>TVH=rIjLa=>JTw?H5u&GD%|u?nZX~&ai8nCux2qys9tH{lO%4;T@C0`s zud#MD4{qTHq2RCo4E}QaIDyXx1mh&bk5w7Y_bG8=obHa}g|BA&$+6V}k;AZ06|LFtc** z*r27bBdC9hcW7r4oB4$Wh%B6YII!lx` zGsCkGy{%i8!i__Xez+e(*mE7>Ve=6U%Yk9VLpEs)B8Z~~&s}n$1jP~luAz@{U<;<0 zFYg-qOgW-=5Ip4besi<6mte?&vVp{w#Qb~dV0kjw@e3<-$|Z$%^O-)R={0{At4{Y# z>BM<~t$~d|RZL~^DNDywrj9GyNy;PCuVx^g&N%c5MKPGi(sKT`Wqrps4n{`| zr7Jhp7;F`SZiQfmmGCI+C?9{v&?EpN(FZ*3%TD5f*jqGJ5aA??HPPU)vg$Vc7{Q3! z;{c5`x)1Fx41l^a4o<&q8H9PF%K@Ls9h@~c1wQ>sG6OUTMBCpS)-?pNq+W+ySLSg7 z?#@Pif+Mn5tX~@k5t2Qb5Ku-8*<5t=Hcd3Z)9Yq zJ#$`l<`Qqryx+bqn}8U|iComdQ6Cmet&`O8h70b1jB+zkr#(%la{j`NvFrsLHJAv~ zV?w{_tD*Wdaf6n#P3@uH#5ClNLcDnvn{al#BZ>dt+`Rbh#TcUJ5J3WyHBKctL?i3n zi=Tf<7aOR=!(xF-Jy3ts-9iJnc#q1e7w=#ElkZ#|E4y6>Wp#IY;1Bz7DzYo%0LUGb5rFtg!2^|8{UCio2ShJ4mM}B`D?q?_2C?4=>uAvle2oh-x=j$1+Q5<^#sWfUn@9_v<_Lks(lGL0m z7NU)=ZHF)LS|Zs$J~y#W^Q5r$Y-081$tXbqHA>al%y@J4F$~X63ITcQPbQ6N<4E@) zg5(Pb&NB(Qsw;n(qkEk0hkrWfRM>(;qw)@puJ79VwUJE9I*3d!!U(3#45A=k!IprlcO+mcxq zNVt07r9C&plk(dEwMcBVh*(MO?m|37@On!D5Uz)>d=-ArMK`%eQrX?S@qAG!Z0=_wrRt7sLxsH}kA^y!o9*X>a#2O5pc*Kx&&_UUZUD z=D^cRID$IYPam_nJLyL7(Ghw}lA;+$kHE-zU75Rz^>})bCR;pG$tAL;(+v2Jq&R<) zTXla3mWQ@`{E{t86*J?6&^D^(__ktPB@Uhc*21ezD@W)M)E$o33z}bf|s6?J5VURr_U&+ z9P{Bq*W+gxhChh$l2-7JuQ#vc*TA@oxY&OL9b9h4rRC9lbHdxq&XxwX_w6&8%BT|s z;aH4C-{bw(FeY6>$w3~!(U&3U?m0XkL&|&}8RmFXF$-PuWAIrum3)MOw4vGz+mocx z*s>gkvT9;#2ybWIrVkFAIdHH@yFR06NZ%Lsnu8)_O1La=`54wKp~d25TGPe@jZh&nfyEPyqV zTClXOZn~`^q>7(nW#}5rA}`Ms#2=;Y$44$#+NoFRFr)&XeIvoxZ zC@Tk{{mKDuueaB7JL3pNmKdm>jv;^1srLWV8nji31C}}+0S@Rrrt_bfT<0cndae%y zZg3|*G^~ZUHE_Lp16p!FuIMJTEAi$1wwisMlgXtMwRwGJGEjf~aIYVE!X*NO8{}Q$ zytr_!jYGboh)Ci;O^FXC!0&F=nPM+aA_!0+K7tgVQVDDUMJ*xh2tw$_<1G5N|{g)vPVR`hNkLUs3?K zYh3|Dk(Xg`0V#j2Sxt}JHVnPbuh1{hh#!(DV39)`?5#kM=Fm3CAxH;BfgoEX8zBAn zeVm=ym18^AjQ5aOBR$hJ-y=nNNlQq9v<6jNQZNgYQ{ck5a*%@QEJ2gcYtZcTIcO`m zmXL7^Z^uj(aq}1)%~N1wEWvL!cdEf)OR$U=;FcW>gRMEZ1WD@P zih;Rh%#eSFr?nvLcO(iT0CGa$6_I7UiKu&*G)QLKF@hx-@5BkW7xLFN42pv>FgVYY zf;56J_#qAPVPY_te95U)I7RB5;++zxCy^b)ma;#cEU3ULQ-dnhqm?j#zl^ulEFMTm zAXhks@M-mDF=h* z@j-tQ6w7sYbF%LfBXH9P*XI|0OME?)K6bOetfrk@#2SAPO%{t6YTBX zr~7bo6ZW^&6YJro+heMp#s&qZ)A;D#83V2I8H4PT^E{-h=P~B%8RJ=e8Y3^|(GHk- zun(8^uRh;>`1Nof-iH0Fm$za6=J4%4JbHio=HGt~Sa|=}VYmMoo*zEle}Sh*w|D#3 zhc9SUzu*6K_bt5jM}We}$ahnU*52W1??1x?d_Owh$M59QF@B{T z<7dgDS)Rwb$DU#>39*KhMzCx-7RX=(OJ*?*+9fR!MP~?_0A(AJMo;gW1bX>&wD*5< zAolD&{qS6D3mPM@O=(Gps2JNsQ_@T{;9#R@+6AI%GZv~!tY$-4?5YtpY6#1z#e^go zV7HHP&tlK?Q|za#d*P)e64#jSrSv3|s|l?$LQCFAXer}__SjS4v75w-B0qw~h7lEE z8^R`uO@;{ViCZJ6Cw(oAm${nqIU#>~dxln>5nA~oLaTjGXq9n7d+a$wE1~@A5Eh+i zL{qe>rVbF(lhKnpA-l_1G{FybZbII*9NB#9t!*PmcEQ$b^Suns-Ez_`V9^ps;W~sx z^Bz;-H9mW;dT!TRrb$AraNBb@Nwj`j?6U4^7H!6&m8~q+3s|i4(uro(M87?u<}x(s1)ERAWY^;^KY)U44MR&YLSIwFb5?tSSl z)N5#Y=eb%0?RydU_lHd)@Xvo9qav7K|ECLB!ZP7-x3C*6ViS6LZ9m3l7;GqZ4foW1 zX$#o%HzB+ydD5e=Y)6xp;_)nqI!ip$P@H&QNZ%^tL z;(AV|J@-og_eAcs1o5mFXTGQxXGz}^#N)mA1bgoDJhK+QZ!BUxvlf54i6yM$68$^f z5EdtPBEGo1u4dZ+9akyzm|Vpl#v3^c>*pA;Sgcy&PLrAYGDfLu_D zWL`3ANjP~7Vio=35K=71w3I(fSofNE44WnL!iS6{EE{&xDq~ox*!YH^gtXMMCbmh> zx>|3$3|;GMpWy(_I&WWZv~HA}UeMm?LVJ@kt~P{SJEkpR6}@OJV^}eb{>PaSEVqit z&=3~v#g@vYb!d4r{lO>Fu15Er(&Rh0|8?j24oi71q`Xx~`2r#3d9X{xnOJQIn+wGr z`X7Q~zkG+P^Z~c3^a8VU1U4`=IG15)0~P}}IW?DoOav&mqG$tm0|(0+4J|zd6_+4v z15*N+%C~lG15Z8)VD0k%0W?6%zqih+1EDp4ac99?DsT*g=-jt-|2 z_qCyY0@Yc|g3ba*mfT`4lnr1W|_>t5Ldt z6893Gwq7#pZx$r+JAx?sFGqA^U_dRzM(gPNd0Brj&D3NDI9lh|S}tcO zd4}S{ptwhux_q{oEd02NCY87=4Y+<^W+sJZ`|b+chOVD?CM(VO(+(k|8=~iUjZ)#; zqvjN5dIx3#R}D z;Hfh7y$5<3vW!#VA|9hu!q0^h)We|TD;_S5p@D^GWjG3kRouMI5y&>LNN4kZ?=aUZ zV~B7O9UWu){h#KkV*HDcjx&v=S2@kNL-$W4$LqC<6wHh@ME?}k9oFS}=wrP}DlKfs zSNFDQt8yJX#?C4tz(#@`!$K`rk|@=eaIHMgC&4K zMX3-;G&Ox#=HK2!S}7q`orUT~snP0M8ohX>hmuyO)(^QsB+@45tSqUSoDNcoF2-7S z*CQl2*d1*=8?MvoU;%>@!&5OdtCeQSyJ8K#NDDz%?9S8=+R$;y3sCfbYb`pDox%U) zC{60ff2ci(l4JJWo}AM0JU<`XKeo39alP)U8egV~A!ek5s&jS7P^0RX2e4^5MQOz| zkJjt&r+P`C=+Nl!u~SD9t5{4+HrJ8jr9kc4Ky1PvKmfg{JjY*O5J&S~eaUr}Xx0r- zVd8tminjDWe)sa??k47cdd?Cz(CsgMe<>3^$+pLadEkBuwz%01YE#ufLILp48k{OS z3utcO0;ww2ynX1O0bMb~t^^-fa&<{kFskv#1h!24^NWo_mj>?ts^0{e?-= z^qIzqUx;>+b=}!-zLhdX zDRAvEctm!o%=;&1RANudKx&p|uK;Uxb~J${LabK~qYWmXnkeN?%~b+wXK#Wv6_^_N zq|6`hJ0%afiFdJTu=pjsc4ip@5JSjRQf7dFoezCod&IAY^lgxMy1V`^N*=q9jo;2M zH-?7+6>>*1xj2%4Q-~(3`i-L@-mBey#XloBGq;<)1)7pP!L*s3Z-t;*(+agI)d3UN zamg*@LW;IS9T-%G#Jp`<}qt1k*IwP<*wQ=e?Rih(7l*Pz$YByq|<{?XcVzf zfr_2{Ou8)QmaI+Jt(8XQV%v+7emc(9e-0amw#5M?6)!G-Ww#MybHWMoSA)DL2@mE^ zh2-kIeBNy2Q11pn1fHzhi1-II=SX1uzJb%H@rg69Ik3op65HL9{#H`@(^RGHtnI1R zNi~&Y#{KUFU9FvpKDE4h=1vL0R|jLu+BI z@v9fm8K8834<*uRYf!ZExDPabYdWrEsYycZi8=>Pi@A=IWj5;>27?S@)KS44UIC-; z(sQDq+$c9X)1H;eu!$!fSJ>|}U4EC^$|v=TFlM|H2bw@}D0Gw0-WwekdKt-)Z8F5g zp&6-lP)0Tz9P@dkOtiX|w1F5OU-m{AR1G(g^b?eShSCXCgvRw=fhUNjKa5gS?8!PC z43d9;CRS$GSDOZ(peww1s8*LBo?Zmp7zDm1im%jxZ z;6WyRs9-c-PF_Y4#(DxR~_EEvApM;v%zo|8wXJ>Kl(egUi{R5(5kXO9$K%maWw7aM=bw4tO&I;#>gTQ z@<*tStIORhC_J&i#3V9pOssIZ=vgkETf@ayEb2$OWc|+*%#0jT_;RS#6Uh7E`ko<& zdT1i4$o@j;n4I5JYQ6uYDY%WvqUQmjWcr!e<5WW6TFT&=0_f9;(R~?BAlh+{5p;Qf znwx=AhlE4dSQGGVsFrM|mqA&|lNkSImFZdK58g2#Vit?Szcp)FX(?VETcwQlvYHew z$y+@hN4~lZ(+pYC3|Z}|dRqJ2b%odfy|Ittx#8Ho<{tZy9o~Lx(l=%ax4*9pRG*l2 zhhrVq*)*7mDruiE047Hx*VigC{q zk3OU*OkMh2Y2`1@d-a5birM#zhpsH7reyy6n^tofm$}tFu9i<&cE^5{!lfeBSk1}F zq*p+Jlq83hfu#dusu6pXJeD3GiL@M(q~9fRr2fNJe_bV56AhKwtX6P7&{FAtdFN}V zB+vet{$Rp0?v)=(eXIJ+1L!VOq*?o6y<~iuMq+mpE(-kj(|h%CoO9)Ml!ruxmi522 zP{yg$g@4?n4>gCC2 z$jTEa%l6K;Mxca}#$oE-(Mvx5!{(|J1A~Yf34fWC*NG}x-UlUm?Do5VKo6+hP<6{* zkr;_DntH8@gIloN3>2n1NnDsIH)^?MLVwHz6s>bI+{RnM00BrTe!* zRZvwOyD6YpQ&m!2X&7>0L4w^K-0(`P7&h@|F9=s9WXMi<+~&_%R6j{06Y7 zl<1^)HFY!C_3t+@13*G(r4)fkkd>(rCJGv39so+kF>y0^Q-s4U z^FP#{f84{HvwdV7dqE#ZnNg8;lHD9U>KodAfBt@%d!7dPt-fi!7&-*t*M{-J;7x_6yOJA-mI9=iyZvixpyp_z31p4W_XBMPK9Kx}X zJ?Ps}xPF!*J9JW&huAVY(Vu_5W@Ql&4)v5cr#wMy%Z80l6ehO;H-j39_!oOJ_z>y^zyz#ewg3gcjD+%zAY)=+SY*n2ULe&3 zLOxs0iBI$PhuqbVSbmVvDPb@Wtg5`LtzOAjb48B%tDZjP0rE)Y%D#&bZ>!6!QcEXe zc>B9X?K@;!462CK1nR^dC+X{W3%R#D+Eu21j5)*zOl!iN!#cK&J$|Gp1c>pK3GUX; zs!N-4N{Ma9+`4)Kq4N(zHAspY53JU{ys$Q23AVRTBqbL_gSVgN4xO4MYf@ zrXcSM9Ep6#%EhPRNs4tYVPELXSH{VaL2LtWkWDo!KAc#*ax@sACthtFn zZfdFe=v8nWw~Tst35CCH2QFL?nvP{;Mhw19UPWPP>xv|Sw8k4PJ{#2{=x9iP+_>(6 zqelJ{Ns2aXl;j7fBfhl#5Z2b0e70}fv2$-6j+e4&i@Lg$B$R>ut+jZ_)Hg0OF{~f@z0X9H$K=lN< zawNmGy#^EgJA<_xJbjMh;1z?NsI1H z^Gd;cMhYwv({x71nYZ|-&H!#p0Z8!gg+?ko{JXp<*`0?1m4QRZ9XAfsh4q{^cLB_^ zF8@?{I{Tfr5g`fKz}H*r-=Zp7%$(Gg@6(r~nR#P{K}e^y(1uJDz))3Ffg&YzU-+7bjz&&r#+d%3&aAfv>TT$%r}aCf#*X3JKBs293*qoF5Sr*{ z?KlJIM|WK174yBwx@sq6nN&Njk~h-K3>#{_F;uXlxpT}B55!Qq_B9>92n>f#zMK>a zWPUzVm^^tGDXMhzu0sK1lNQH^{)dO`o4&X2SjdCi&1?f4*rzB79Gi(@9~O8FA8JX- zp)rqAkqO*4dY^`W^6g3j6N;?3xw@^o+AnBjuNX4YditOvxqLRXDR6gMy=z4}iX^HG zIZ~LQ7Ya67{2ZF>&DNQ$MON0K?}?VLt^u|aHkOLzzw2ehZQ*06!JE=FoH2)V`~MZ3 ztVzTbkDdaaMou0!ky8^*QaGKge*n0nI+_@%bv}INvAcqQE5tV-m-K~UpYq2OcGynS zyKYXUz}}cC4$2~IxM0{jy18 zKH%f2>RzaS1K#wocZ=!fR#)cdaB2;U2_{T9)xTlO_~;~5j3Obbq%yBO3(wPbX^u3q9Ffu4 zFWxA;IPGM=GuX+${y#LGra=z`b1Ga)m2*KANo2`NHvn%fg|Cihho5bxd;aBt;7i#z z+e=S>-BOCp1GEgE9NLz#`{BHmlf(kIn;NpOD!24AV8Fe`ZGj91R60}47Bou`E1lp- z%eYcp^aI@LJ5=aQ#?z;Eg2)_+4Gx(72FDGJM(XmM(KNX!@rtaOND!2a8X^-fp!My; zn8e5)i{D(}FMPLTK;N0>+)3nX;XEZS%Qt|3d}p|g(J+ZLhI(0lV@?7_SZbnUzDw+N zTBqHegO2)!kV<2d9^l}bA8xoeD@hrdwb;tYyzfcPR|@Xz>9k&o3fk35Ql|J6(k&lr z*}=t+Gwa2RZESyT%b~Hz{1r2nB$VpZm#A`UUI7XclwN*BMU3YPbeUoT(&HaGU}uwm z7$e>BM`8oTyw|*csfCAOcNJnu95c?Cr_BGLZP@WLraTiRESumJcWa&75#tCi43`1^ z`T(7XDwW8F!rai^N5JF;7g}`YG9XfgIu;1XXA-z8*UyV z1aS#-IC6dq@@@RHq^hhcJ#3hqfAi&kCfw=KvZhx9y6ET?Iq(p>QV(6+LU*n%Q!~c} zA+lkJ6-vTE_~{#II)S>*;>UvVLnukNFH*&lp7`lHE$$)%aeFW8js-9k5UZhBhR1?` zI9u3II`hKcdKE%opi&Bl$HQrA*gR>F%tNcsG{dp*1fM%GRKYXZ0;~{-DS`rjIC3(U z1*izRS@9H;mFlBx!Oh00+RCH-@{$63F*6LbmpIpf7i#xq`AjjoNMUQt`Un!it5EHL zIj)Nt+aSYqYPeJ0LU?;i&RsTT!ApJvIhV5e04*CxbBF`*Mvj{l$fjd;tn(bkLP(2$ z(kXV**{8CJDKp;>y==*-T#e2n_Y59{u2)^j znZ%iC83u5g#BFAk8uwd&qzOC%ij{_?M)O!z={P5u_9~i>_=f83t}I=-0z8FCuKuMN z5~ZZ#Xi?_=oN0R+LDHS};p6`#M)8TB#*U(k+W*eSLWr>wqvJ=ld3a8Iog^)e=}QKw zki-vOyV3yU5>bqQfaH6O>5T;j$SvLA?si$LkAt$Xr|VrhnE2;^j>d`fq}mL%e$Jmw zkZ!81`XcH-HPTh8^1%GTKtORxL5T!x^dotAf)80~8S&No^0yF$r`)-KYa`WfX>W_E zQ#ul0N?)84BOeycZvDsuds$1Sd|&l91Jzis*3V;VsR^{(jb;q=NEM$q=RQ_|fRTcc zk<2`rFQsE^9vz&2aTr@8gZXqR0Du#L!CB!<#ST0J+wp+FmNotXS>F0#a7V)0i+@~} z^@EKX@PEYqkif8L>XvK2XV&iPHa`vK$TSA(?O^n-PCMo-xIyU>8-R;RdD>{5E1p_p zOdDa)4EJ9)zpL`B0T&dEbqQcsuFh=tRoMaO{e84h7AQ7<03RF|Vbj`!dt&u&?rky_ zRV54?0;IM^%7gHthM3mum_26PzpUI2_JVOl| zf}TJyB@n`jntQXssO3y29m_qR$w-sKmjl{`IaJpzVC3HulU1~OVl zi+so`p~s%sQzPME=3Oq+-X5amW)Dm+<&P~JJ1+?gGq)dK9*m$=me{G7VA*q3fHRQF zjc>Vs%3Un$)zOhQ?x=f?SeOu2->Q=hGVue7cQziMZDE-D41}hxYIZUCl7tq~2QjN; zjoG*?^HoQUcWtU7i=0Q}=ZvyxaNQu5z(^mJu=qe7+dO#|?gf8CU*%aCN zX#4fN6+XZG%Iw6zJhVnyPcxW;)@fpv6GWDwp7C`dPP2+~3d%s46Wk`ZptL*o3`Sqb z+FU55jogdb0teCedg7VRBywawE810H3ZK308aX5f*4Lt|>`oar{^fWv$oFle3gMuC zyWq-wuq}B9Okg<{gs<&<;SYK~z&*SWMPX2V%r7<$dKQJOcAE1E@Ebp3L99{q%8E=x ztY$Sw#OA!$i}Z$oHPhCIDAtA>`+5>5nl(Zv?LF&{0BUzGQ_3%-+}Bl3p(QV602SWt zt}Mhu&V?p=H}mUt@aQG@Ly{Fl7PNz|5Ze?EVb##R&bc}^og%MB;6274Xh|0q}+7&ShabUDB zq?8(~0+c+U4l5N>Ng#)TS)_smp`;6`1(3iP3ngt~egk8*^RT3W5kMy>LA?Ylp`V2j z0L+20Fv3bC4D^r|f45~|pVE3HtAi0XD%g{Q5l$Lt1+q$qd@&A2I2Qo}2P3>NupJ)yE36MQ7y)%rVhL81(Ho>Cv?4WtJ02N_ zJOBYu!XTxkgpyb40Qjv$P}l(f#|SGzlazoWFjZn|AO$Rh z@jzK+VFp+Me7y*01x`46+heZL0fxbdw2?SXKN0kGz zLJ3-d>j6s8>Ok<|7-B2neem6PMftiYA1&W3i}HT)&3bygnJpLpbExCD#rNMIeDj<3 z4nF=jA;et-mo=CoSRgn-Fhg*S;5T6eejgz?%xiu|e=tEXufZJz$Mxf~e*7aJxv7`9 zsMr4Ayu+l8O;!CDf^!6)^XgeWXRBtN*DPvuHa$$vYb2`bTr$TcC@LzDXC{kacVTj&G!l%R&0^H%Ttq51vbSI{Jf5pA6Qkcc2WZ3RcC>g|Iltl%35pz zBM8gzD2CMn#u#X42-f5f&A6#>k5Fx3K-GiNOzFJgK$pph=sXurUh%c47CztaY4Yod& ze{94x2ogCEN#J@;rZEt_8JewuV0&@XJ|J%iat$~UuvV}FBq?}7d$-UUWWfCeBwI8R zYpAC&>d+P7dttr8dA!vCrHG>Ll%}RBQkggHZM{rdn4knlqEqD!PRF=|`K|ZV-(T7{ zO$}DOUWUsW1VOd>q_JFYG|CXwkR)@Lf4n<)0f&oVNTs}u_d{i1l~oC%qywxznfzz9 z|Nr^hK6s2YD$EFOc~cttfJ~x3;Ep$U-!Vn{+FqN_-)_lW4j`=p1MmnUJ|2B+vV}R6 z!YSN4e_=2PPCJY=mJEl(Mey{4PLB#TfkdP%SPIZwQn41tR)ssa7U$H`qejya(J^GX zB_3`F7I3$o<_A3l^G8W~MU(j=f2|5*fog<}jR8%W!g>=y#{kWZMVpeKB)k}A=BQ>$RqOi~F!-FA@YJsS;#E$Iy~FOfZ`>hh)LBj}&BJ)0dAV0|fI?xzy$`5RLm# zvT00Tfz)e)-qOdhJFpW5@^{9-)IZH#uaQ~EK(v&S9vY9pRaFr6($}she?bExyDKyW z&pHGpI}M2n?d5iS#Vw=IR;B6sH7!}nWgvq&U2!a`2vi>M&B`IUteK+dm&d?#N|UbH zbMUCC)7NlIzIMB%HMCvlOeCuwcMnn^Z?#5Z=P|jE#0rLF_1T#x$UPV#a_ke#x4 zC~9_QfW3h{D2F=USx0*VwF(0)V&w&?WrsRF-)$e}^cz%k8Dnw+ua$nTUS+HeNAXg-o{=9JbfA=PNdCf*^v3{fL- zR8)ai9WY^Xud}zbfB!C>nOa0=rf3dZ<1-pFU32Q@u(eWe2BvWiF$15t%XEmMPnQ;* zs}IwYp_W~2O!T$9C%R_T%^_1dr+1=yM&;HS3aaL7CDEu@w$Q5wLmf}7gAycCd zk#8+N48Ry{`-}}h=CYKkQ7OA2qn)v!V=T2bmGWw-w%b9TejaGkqj6cEnb%(#Q(BY z!J0o2L#U?Q+gzRsOLpNulV0O822Bd{7XGk;maMy`)Q6#RUe9H8Fty}>#Mh8}G;O*r zam$y$G$TQ_e~aYkvW0~GD}E*q!pBHflKQfq0*4*#IoT0Ph6D(299`(yfYcOZPnfyR z*Bt`5G%B5k+v$P(NH)N~cmW`7*)RSlfmg`(@S*lG`;M$0gYnUrEuI|h2#!?tZBTUna+L%IIe@>8mWAv;rHAUehm7OFn%aTjw zH08Tc2S;t_xKV0Mk=qrxp29Xk?v;ih9Yz8f11Hb8iy&%}f%l4HaAq5bCAwRjcrxS~ z1PZMUdHxifMoskc*a@2rNvdu^DLK!;Uxp`<6a-V~je#=mo=%p*hzNsXOX&dTFh)1z zXX42Of7uW|h0^FDOWcU3kl&J#wiJn3g~rutioi)uj7B|zf(12RW)81UxjsX>iLw=r z&Dw3CR=NX&M@2#zP=ff(sR|!484*aoBehwN0vEI=#e)0co<^!V77pIfj!l($PI(XS z({NgV`~>vT)AZcOaQJCOGmMQ=R5iYqj%X_PfA+*RII$I;BJirjcBpAjqo~$V3WjT< z#xqRg>b~4=;P9C$Yn0q8Uprad(im9Z6YMu^#H0ka*H-H_HCgB8InN7h?W*uHo_Y>s zBdTi+mmv3`t#ZnaVTL5HhH_^q&ce9d(b2^d!7(}}$2=X!NSYRvq9Gl?fdz0gL<;W& zf2Hpg-F8Gw{kTZ_l+sMWkdC873{HT)t|b)E7mIzA(popAVserhN)`2CMSZ@e zVwidAHQ^f%p3)@fRFR(5I(Bq!zdQyeb;rZ@9Xx94^fla)uib8G4Qy`5r$z# zK{P~R8_Zaf+e(r?ltrCg-9-siWWe{Jd;bkZ#l5Ig{H^&TZrsk+ELvI^mLm$<{!dJM|37_V!G_fXKXi&x< zZz`(P2VLJ{KXfl7xqj6?$vKxb3(}n`c}P4v=e~*HY5qF5-P{k`O8YbfYqp$kqRJ|` zB2TwAm(MQi(c-CU<_LM>zV6LEe>9y9O_G%ulC>sDQha&iH2G?d+9js$lD-vqfKuEM z9R;c6E?9EJ=n^|6?ghm#(Nyt?$IOCHju_VA)d^=REfX70w3T%BDY|ivTG?@<%MKW? zQ^L?t!mw|0dlbE;U~O|k(7B9>t8_CaQF!>W3Zopp=9P4r&ALwGD}i(>e@%)@bP}QH zId@9IGVcleU>`}m=vv-!>=@`Z1j=SGW%ia{@D|_$?k~>rd;tG9zS8&K$Pp&&Kv&nF-`SB}Ov!g4y~`Qcm0M zJ}cquVMB30dBcg489j5Di+nylqiP=)l?!j@LO1`g*TB@s>6}BRe?T8HcQU#U#$?$k z*oFkMG2Ltq9a6@yzuO%4-HooKZJ8NU3SLl}p@I1YHfE$SD#!QWOr&H|Om7H*y6<(5 zbOFbZl3D1q(F;ON9hW#Q$FmvZX?tXB>y%wuiQh7#GPaHVq|pRZGBAUd3}C7u*8p8< z6nbPiUacW(`M_xMf6md6(;MV0$|RhT-VSl>%nSO$E`cS3UKQhV;EY>(B|uPq(Wix_ zh>NnJc67( zg=U{d@;h&!)YDrb)qFfM%}wruHTB%sOJg=mxcb48cY%nqma9AgY-Tud9i3OqnWnLIFK*L85G0R>%5@vQ1S?Qr6&+A~t;PZH5fAQt5#)IoCc;qA znV6yJW}j-15t_VQ%zu?oR1A6@^C{$I3c7$%l;NeGT6yx_WSRj5)ZxpPsXfg~qf?n) zsKPvKOe>@{2}bf)^BPRG%7i=dhfADSwcwR#(%e<^S`ucgFL=)0^ny6*)RI zHlLIFV2V-F>#HV}^H$yumkIuU@ZEO@<(to!)1rL1Tx{-7*MG;W+2v-rI-uw0lM85h z@#MklA0GYV>9beMi^)QYJ4eg;33QlG&enzDo<~Q^>*CitCb;5`!r!srVUphi3>?@cZrPiJT6=@A#iwmUMyL_cgM^V#v;#o2sXh=cO=W_s}sUp+o3e@TPD z^1vMDlhy0#rhoXRyjvcX_saX_gYsedsQjUPT0SeEmoLhf<*V{_`KJ82{7_EHkL7WB zyqqr=052{kXJe|S+pQh#MygXfAt;)0VygdJWc|Ki~v-1DSKgxM|Q7+2G zY%wjDT)Ca=o=?{2<)+-6ucp&-^VhPxDnFHfmDlCx@}JYy@>{0!!x_-V7&MQs4!-|> z6#t$)`|+@=eQ5BnN z4ly&@6qkRC2MT}mqKtg_3l3d(e$#j2&RPPefJE&U{8O0zO+gj!c zXqgwFUEYG6PUe^AxwL|;Uan`TY0|eWr<)0g?pb-Znoi*4gVdr{`D1c+^7efuoBksWyzA@EzU^Lm|NfhI zAD+Ilz19R}6 zjQC`7e6^XD6I_VwDwWuhek?z(CdYqFH`I{Isp)?Ttnda8=xlX-b#XeMUiW8fAAPucuiD;C;v6(?4|rxBzu)=A+w*b9_D)lL z2A@^#@YhsAK$&Hd3%HJfG2`CZ{k;%pBWN7yj7Tl=4rMidPRS` z(TR&{GNGdHlWH%$_vpd%S1+DqJ_m1Th*TlD92#}s7mzA*w5%KH$UokaFnHTjhRHdg zOu;~MVA=TXe|D|yW-!!r`#I|Ge|Y$$3N>GUzWBJDuWt-AV{wP#OeyiwDi>wk#9Dwy|hH95%oZTw7gzJm>~j9OTujd<=UKZl*&u<<-f7oW>4R!*;kO;Ak)QZykUx9ytb~p@~ ztWj{+e_Q~1K#?uz&ajU@hT!pE<%Z}%1Uy_ep9`}oO|cQ0_?%f<4>P!qU( zN25~G_`auf|HeoYb^T*X*}Q)w4G)pz`gk^Dt65V6L&zcZG#FbBWtFQClJwE^`glIM zXqn|a8PqW+lo7hv9ypH7J+lSktlZ&dEt9n$7wlavPGG^~UnMCD9dkcutIXCXkEE85P&y1roKxZt zgpXt&1(ZdV4iOzE5@UZ7Xg+y#YAQLeB%aO`AI9q3RcVvL*)2|CD-~4)m1m=h5Gf&* zDTN~HwqD2;Omm=$=#z8FZaO-XT`%&_zR#HJq)J0Eqoj>hG6(BSgzA0(YunFOgPKVY&^ zcpzLYUqDD+zAl0--xkr;X?_v`G$0M3ZVSoXWE8 z_y;;uTD_1#f?)mLx1M0Wu0C$)5i7w6A5GR%Y#Dx?pk;LF4~3#ZD<95Q>kV2x&?N`u z(@FK9VA7vwe-XGT;*F7C{t=>smh2cX@S~mt=vp>2!t^>O0+Ag}LB?*}7uF(x+(6#%cyCb3B zMc4PxwS$5?N*LV!=nkhWJJ`A&aV5TLkWn`_=t?mLe_g*ny2EM1F1kJ9s*sDW*4arL zr4_>d*bWD~9c+CcTh$T;o6&aEL5uriJK`;st~%?8+41 z$~{U;Ii!KL?cpr@ILlk;h}~~fbWx67l-)4OVhqZ+FmN}#8_`v5ay-gPjY0VqcJ9Vh zcvoe_f6>ycdpJwq$N3h^wGJ6Ve6*1I_QL+Sccr3h5Yo}K0@(t z_Gw$1Nn`@pvstodv-nRa@9V`3zTMD8w#QeSf6JcDkd<)^vbQi+!!Im!^{3p4Y>TvV z6lrf^r-t7@=wjQG0~1>6-eiIx$6%}fR`1*BA=;`i23zy@9x~Swg^-0dvTsXeA6@&m zdfz&a%5@&t*fGd%u}Lo{XVdjTd2e}zw-pEQyrSflNNYctonV3m9}15A3w}GgU|JUZ zeJ_G|cr zZ%A`;6p8#N2G2HlYb26Rxl8{R z5f$rwrKXpw=_mRJS8~};qir)D)AQ+dgHvZN)yyS!%%ziGQ_ZynFP%IMm`lf9 zyVB_*vzkk8o69zHwf9($PIzq{t(wtd*XWS%O2=)x3eB!kie+dn+nTG!>t9xF0(SVf zo|OkM11B&xH90FVGAA%FCn*XqO>bmGVRU66C`39kFfukUIWjUaF)%hYIk)wg2eb=P zK{PiuGea{%G(s~%GcqtVGc-a$IYvZ6H#aplGDI;lJ|H|nG&eRgLo-4&LNh`$GB7kV zG(tf+Mnpn4H#IggL@_cxT?#KuWo~D5Xdp2&H8GQ6t|)&UmP>3^RTPHLy7%^$(gQ7T zXnFMkEtEbe6lkF>r929h0);}MR7$~!F)C;@CQ2Nbm=LoE#$`-8^f59T6B8xI$jp&3 z1|KuVIxq?ei4xr4{{G3AweDH_p1arj^RJs_S@xumWrfVL2ft@T2C6K}YLpg0F+C4^ z!64WJ2Ecy-Fb0l*5pWV58}2Fp(Utl~zVo+fGn&7>!YHh_&_3uv`$c1C|EHi6Bcjp9>8+d;c!FEy#819XBe zuoZNJZJanmvvRf`XR zgS>KxNG%=#C&3ZRJ|EGsqd<*42F8H8t45p!AHV47B`^yv^OVor%>J5EG#?Z#dvsYT>hubL9346O zJWvJDl~!s1u;U_L0D zJ@`;*CBWD6D$oFukRJc2r#V;vaI?Gy)B-##UksLjrC=FY4sfm<)5=!?j2wFfZNTRW*ug8}1Eu?y7JLn+Q&*%hQr21)F zK{u&>E(VovC)E{tzz$MfYbV%6s;l;bK2lwOH(nUnlIC{>?ikcA%C?6%&+*mO=TPiE*YivnkZ);7N?=u5SUxkBJYfx87J6SRcseV`kGc?8-NXkDP4fk6fO9JGX) zM_`PBK?SB7w1k;zVA6r<2NZu1P)X40)z(E}LH>t;0|E{RIB3@*;IQ5bb?@m~4OV#n zp`u1B7T!?QWX0NhikhuB+@WZL6;Dno+GxeAYZbLv@xMMrtyVgARnaCZec7vMvz7k+ zO;MXw3_Pc3i&gj|MeSDcaHpaUD<8kFsME^Nyr`(l%Gc)Q9OR#{)GsK+Xs^E9oNTM2Df5;_+qbd&CwP3Wsm=>IBV=u*P)Ov1scgpn^2j!q_w z-A)*9PMElvF!^`F^gzPQPYGAyvM@{{eQ9V(6D^ss|nmF)=tW K3MC~)PeuyHY#);V diff --git a/article/sim_numerics.tex b/article/sim_numerics.tex index 707b2ff..d8f4f87 100644 --- a/article/sim_numerics.tex +++ b/article/sim_numerics.tex @@ -1731,7 +1731,8 @@ advance records with the commits of Appendix D; and \texttt{verify\_article.py}, which recomputes or re-reads every number stated in this paper and is part of the test suite. All of it is released under the Apache License 2.0. All numbers come from one Linux -machine (§4). Repository: ⟨repository URL⟩. +machine (§4). Archive (code, data and history): +https://doi.org/10.5281/zenodo.22894337 (DOI 10.5281/zenodo.22894337). \begin{center}\rule{0.5\linewidth}{0.5pt}\end{center} diff --git a/zenodo/README.md b/zenodo/README.md index 39b1c88..39e9c76 100644 --- a/zenodo/README.md +++ b/zenodo/README.md @@ -65,6 +65,10 @@ attested by the author's git history, not by an external registry. Before public rewritten once to remove infrastructure details (a server address); the commit hashes cited in the paper are those of the rewritten history in this archive. +## Citing + +The archive: https://doi.org/10.5281/zenodo.22894337 (DOI 10.5281/zenodo.22894337). Please cite the paper together with it. + ## Licence Apache License 2.0 (`LICENSE`); copyright Valeri Sitnikov (`NOTICE`).