From fa73c33c27a324c74ee2ea0102624e8459734054 Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Sat, 14 Oct 2023 20:57:21 +0100 Subject: [PATCH] savepoint, too tired. --- ocaml/out/samples | Bin 2841688 -> 2841688 bytes ocaml/out/samples.cmi | Bin 1120 -> 1120 bytes ocaml/out/samples.cmx | Bin 1343 -> 1343 bytes ocaml/out/samples.o | Bin 12368 -> 12368 bytes ocaml/samples.ml | 8 ++++++-- 5 files changed, 6 insertions(+), 2 deletions(-) diff --git a/ocaml/out/samples b/ocaml/out/samples index baa8f92f4f73aa81f2b13bf64cc99ca766d9a538..8894eb8084eb5303a9614efe7ceec2542c4585d4 100755 GIT binary patch delta 54955 zcmZs^3!F^#|M-8-vTnJ|AjjFL8TaeXP6(CkD8`c7p>nr7NJQ*}P-4d=bhG1)S5(?T zSdkf*ToOBxd+bDIRqT+WR6AW!>Hm74*Xw*9-#!1|`|+5W-S_kLe!X7r`}^G9=j^V{ z>RJ3mYF4VhykzPfL&oRUSi7W6wen4!KA6>KNUd#-N?%t_skCL=t*WnUjjvTvl%MhQ z8-9Mr&!6~_;RgQR+*Wkg?B=N-RT^~rSkb=c9nIEXKXj>$t8!@k<@Gb`LfcBkFFLnW zZE#{m-ge2A9X&~C<_7wXXUsV{{2e^ETN zcWRrKCQTF0VJ>xt@Zonz1czy z4wP5&YOx;rd0hBLYI@`iN)=gI&4|8}Wx9$W(x+t6U>@_ICY|)HC>KQ(X?PXWZIrvg zoHj=!M!M8%!ahn<7l_uQT>8acBw6w)S-FoTJBh$3P519-ADUM+;%lpfJBTpSLpzBU zyhdrUVvPVIKFXU04X89S|Dn=gs3^L)dvv-wSNKP3{x8x=Mc#a>3^S9JpOJ}cD=X)d zYBRCzD4YDQvJn+wP<1B9pQa4Y;#z${l#b5P57Z@^+mfuLb2c^#-;*?UN{#+qk{#FJk2d(nD~{0@w9sRKk9zh{d$ewPaM zDVJI%+)ruxeMMxwh0#$FQPajulx28z$drK_q?pLV(H$zeb?(b41=eJjd;w~>mx zXDgOyf$%@=QtuFAf+3vMv0+4@bEF6V3|fcunmkx{i10jpmb1 zWmCn*_L>NyOc${NWdyn|{V5qo^{lb3(IPQkODi2tWz)q{(zPdxx)ajXeBqg(>95Qq z6@_tfr8%p3Km;ae>IkuDf>*s$#8EP(4M}EfCdoBC20bR!XEgn;&P=@(UFjj*NEf_G zw5)*A`q|2O;eSR`pAs{k$1kbWp)YQ z#A)u&u&>GDu+5-~>BRIm9(PJwlJ)u=-&Ne0=+ck1qf`a;uof{Cb0cXZJd-qi;9R2R z6UibvV1&;^V3MZ3CKgR{>3_yZCigtq#f%tXvWTOGXPzXQd4Ng=2V5h3DbzfdI$gN) zH1(*+%5&+Z4^gwYdnrk>pz@svq2yu_%k%0DI+C`sMdZ&w7HT4#0Zn({=po1J>`fIL z;w9ljI*&)U{Mw}7ET6|k5a|_cJ+ky7=~PNM92;SBAe6OnDjQ^eD?L z682{`{c01YVbb51>94|r^nn-1w}@r*{6GYrb*V8C#_x+Fj*_?flOEe>%A+}ar3!Vj zrni&xBl?;70ksqQRur5mC+Db3MQE~1eMH12YwF*kbh1mIJAvdg7SSNEgWGL8;hf@9 zCkY>ZKO}-vy!xb1NYYVt^{Jn5a)AZBbnXaKyx}D2&pztAW$UWUrm+B>t)7}ulX)g7kh)&Z~A&yS-V(r+c zyHv06OxN_Sr%7k#87dQV$eSwy(_Lw`d6-k)B%LIqD0OCuJ=1%sr-V8KhZrun%<+WH zq2a7>&yaIQ)(jkXv5aKX$!Y2=`1)zreMZU!B^8Sq}?@AL$k>eq(&yN-jRfY0rod(zVT~#qBynEv}e6RpyGA zq)jPp$@gS;7pHwfBxh>sOi}$sm)?1e)L>H_+$uR2N*m#O(WSaX@I@~!-;d&VP}pZ_ zdei&ZpM28!HMhi8!h>}CR`Mr%xtR;ncS!_hxzzn4JWHGXCu=B7rTo%2wk%u*%W<^i z=Zd{&9xo^g@+($h4P2qflF98!@n5p*uIDMfIER|c2OPg=mk}>I&$jDN*O9hrE9ynF z7m|=J{IfNE+(gn4nM9hmu!a&5nysmCilW(Gb&g2R_UfH;NwWNL>LvHHWI*`xHND!q ztfz?dps*2|iXhVQys*hDqO=>CZWd9bKTanP=U%PoVKGkJO;a2;sV#O>L@t~$25?6y>^>g8#<5Kqu{~S$U{16$q zk|gKMLzFTRLb`b>QAY_i$~oK!E{hmy$P~#rni>(+=eqP6he*;^LfLqfGx?(M&DHc- zFA-ISQ#P&c#UYT|KAV+ zq#eeRm9n?ViicG^DZ=x#KF5v`&AyE&9&Z>SiA`BHue<}~d5GhG*g^5dSE*!Ha^CAT z5GnK1)q%o2-=%&g{PQ*aiDy{F3@WBJIKau!OoZlZI7Af9ccs*tD9+9ArM@nlFKPOK zB1(|^4cWwXhY{WozL&I=Kh}z;UrN_cd`eZhAyBcOtPxREvBE(rN`jOf7po{138deD zLbSXt(XG7vUM1`cG+jN#bUF2$iQKBD3(o>g9W4egaOn@?2r7%Ed=6#53+w+|gi*r? zoO&cxxFXDhh>0SObbgemt(2yV!<_bgp)PdE=C{zR&%=pNYA9({jHNiz%*3Ql(ll>g|Y0jrL?lFC!v}WI~HjnM{aWb|#BVf5L z()86Gh-S>Ca(jhoUtxb))6;r#+K0&&c5EZ`79OPaFs&S6ZI%(Xy$B%P$^Jx!QQCH# zwuT5Jty5O!l98W)uMf_zA*Iid%_UhH{ChNsZsg>ohWIK`diWd)lLa(^gmqhFp zO)vY9BqNzrwl=Qcc_R6WrnVK;U!A5tDuS+wO(?^)85 z%XG1@zozLM_7N=@NM(h~3?qyX9;AP5CYtdfQJh7M&{hPHo^ul|{)B1=8=Dc9i|}h2 zuEux2=2H8MtFO8A?^=;$-tFXJkh@_+;eK7y*SybGPLQ70SkEKE|GK8O5HntPsqID4 z>n?qJK1EC@!^0}4BBCb%3P)h^~H1%<@sKBcZ5^bw5&@(h ztRU&XGMeZ(PWzY$ub8I4iyg*j?k`c^-(uQTxL3+UxEU*5`qaZDWBZ6o8+92WCSof! zb(kn!nWN9?Lo$(JWTg$ubQZoh@u+7Z(E>hY(4Xl75q#5yaW0g3EKXo%G3YGQR`?6O`Xw$yM^)1Q5Ys0`tk8ug7m|fq+5v2wQbX=tq~SG| zu{|xCgwy4jjIgHn;w52ueG)PYVyp-vJur%fvuc(Tl}AJr>157ENf&a$?5=qtfwT=y zywZHhAJka;viUK>zS^ap7M|6bp3#A1GP{xnDh@?CCjv+(;F?norVA}cRU<`sb&h&g zsB7>z1qUxFQ~r(F8OY3e;a=lXpA`NzvOs67ap^7Ak*&NJ$e;S`4_?--g&p%%Jd7q1b2_QP`pe&=Aj@QgsL2+uL%l2xiG;|Zr97miybi(G1vaBg&|XM}H~ z%l*qHSsx9Q%(0Z=Og47-UeZu9zG5xn1%-{8KAey9%Xd+Un$ym2B7ropi>>o8CRpbH zVSi84_dUs)tI$A;t{UM-;Xyil9-XY;(2`c{oIAWm5qM8imx)F1x%7jFNoG1<>@a)R zCJ}$ntLJ<~`W<7b#hWeZSK;2|!ozU?Ce5AxCbj$3P0cDHAO3lV(&i4Qd_BXy?GQzq zym*!&i5eyf=Vnc>i6fsZ;etYvoXL{og>SQlhsonMd(~e=bhDOnbB#E*IbFRXZfyQV zT_vu*@6y+_qQrT8s$(K2zDKyXX!;L0R!P+*qsck5i@1b;i-wEW8CzWHcu|Dk2Sn)> zui8gABQ7;h_#zr!q8NvNKP^^7a5>IBB(sRx=3Q)MqDY|RN^v9NRbLUFD4tbYMHZEf zBx%m?&x!!jCRn@DpG;n`nzPbtB8+sjgJ?!gYOPrMMkp5Xs7qZh)UBGnYd6U}R!)W0 zl4b4`Zlpg4h~~@b4+D+_M%W|#TQ#+ln6VWvE#Qh=`jF3O1x*h>7ctb(aXV3)ok|R| zV+5R4x4P7!!nsY;owu_F?l4POW`*!=bEydt+$K+6uh{0&@5d2c+A7;Z+Lp1TTO_u* z+%+F3s-#i#4KjTpLL-d@cOZJmR90HAi!~X|bO6^hN=?{9jD`9S>>q>%p+mkHx zU1N$b>_u5J=h@RD@qwmKrO5_?^ExNZLk z&;ETxN|iLqWLuX1LwG*QLHY1UE_IfOf284c@T(t9Q^yGZK22>VX6*AKjqStJCfTGR zp9lHLtf8Gq?sKWFg>%1_Qq3>!-Jh-px{|2lCbh47ShT$e?$`9bdx>VMl)t~2;#7~c z(nCZGCQ`=Cp>L^3AbqxwXhg@(fdPFo!Uw`$?A5==Tp2y45@~M9wX{_PigV<(tRY9JG1;BnF-=d$3Cw84KT-D_$TByCAL-7cL<@J4l?_Z^6rq@wRZ}DC z=tcTRvJW-yqj;N(;>}*W7~7^?{*n5Wn0-dzGmE$eajX01DgKdQ|!YAYLztKE6M@kIiO{gjU<{mhMEX2IE+wZ zKE;nAyQ`gp}Bi}j~pq=kczkH*=G(noj>X?T;;;6pAv=d$P!j;fr! z>|Inb3t4okh#%7QAvkc$W$>V(G`mw~6lJMU4|~&UO(5U$`cSjm&uNnpG4gOaP9~wl zIqoXmNyxUA4E%2@=s@w=i%F^3D*FrPk;Qnx9X+CDjXFUqr~=C>OBq3FGyb8zVlF-3 ze2L?~p!O2uc63SDkLKVg891uxb$AdcX+|~Bm}Rg#Bb~m9G&p`E4I!peMEt1H&5wHV zjHvqYraHvv4QDK;r=v7jf>EyF7*o$`&3hNMCqqq zwWV;L#Cau;bG?^p-<%2Nh~P;r<<<$Y^5h8hu()wDM;F-IWbtLcLBVs?xW6Q0lHO+10mw6uRFkxb!Y zYQ!B`rdA`d`m=O3O~g^rt$wVC&+FG`p`k)Ot?8?{n98QpK!L-(5mpH|(mgx_MQRZZ zFzqhnq7m|hUc)3_9_NwgeDzuC%;_NMsU zQPi%xajG|k?~Dr%V1j3``0nSl2S|p#73D(_J)^15iKAy+`d1E;$+%9{gUc8roEP@b zHFc|K{kaQIX$}6|r8mdYm(?8MzCM#B@z%W0y=mt#7=6Or;oFa1Ve!g+ko z>=q}E2>%y&^uuSH%J^vP0@G(j=nEI#B@z2V!xJT?UwGA|aDJ)bsr#;9PQ#fXihpN{ zqhGr8l^LYJa1Uh?M;;@T3j0~S)siQ!?1R(_s3;ZXlJFp1ae&fhWKg_05G@gbvvTRV z=&TpdEXMKgIpXSBmmc3ngNDs=v46a9muh&AVpeI6p4F258Arw1nf*xG$$$iVgHw`?;LL)@*oL8+bj^ejR*uV1XUpMDm45i-C zf+e#>;469T6~^zcMEolauLE5D%8N&A?yp_ym%{(GhG#2hd@XNhD*amK)cMU~oR6d5 zXgCQT{l=yD^^)e?_EbLRL~vBt&ue&;)B3ziAHav|`5)6rGoP(D5`puY{wB6s<3w9S zb8H~INrX{Dcd`4tE2Z`m;)nCS(6IZ0rg!C;EW+9ToYf5!ex#ioq^{ugilg>a5xStM zzlx#@@*G4dejgLn%e-j7SEi{A#JDn--fcZ)CVvbS6J<%kJ4d2rcqNz@&1E?hKZ@=C zA`(cuJxgf|PEsSo<&zPzg*~CEtwigDOV8#Zt8gs!=A}HKeIWt~ms($h6L`PWS}xFo zR9NQFit{w;xmR3GcvVffFXCCuP9$lw%s{USKhhdF-O4_fH;oz@E_99XiwGedb%bby zZ&EVn&L$#uQNt^9r59az+Q0fGSK5$#mh4YHIxf-wQo8&4ZoUQ4 zMJf(+=)(*0mt=7tz2wrzzeh5K9mvJUxj3E`_HQ+JgpczbHK;Pofwu+^CXr*5%E=ZF zioxH?Gt`T|b?L?LlIFY#BvUPggnT0YtyiBJmQ+y+B2>hzK>16!FKbzqKcTc4b16qy zXGW-p|H=Z*u-p@I#jI38eqLeu)gp9R({~S}R0XGqnnUqBB8K$iX++Bo5N*Y2-xJBp zUVW*DXkH8Q1gCr>Y!<%nu=>Xkjl`*h|6_`WRo}U=-$(KLTaozAt3Qr~U<|*jsNteZ zMz|n6-@9-<5y0<1MfiJ7-6MA6-_69;?_GLTbVjDKeM9=YbM5pK?km{5_R<2jRSUbJ z3r!dS58JP})KMaYG661`^8HlKFR)CRh#_4QB>g4p$t$dGBa9NsEAm*g`c)SmM0dsS zQ)1jzdA>J_-$8NXs!RWa58KMOlW$LP+UJGm2d`dpC27w1p1kt1=dX(J4_a2vJ47Rv z@&4aq6rcAa)kQtlx#u>D&*VGp%npDzX#6N|_;>#(&m3j_=*r4^i#0c;`ofvr2z6LP z@naO<%+$;SS>`8{3;I@+$s+b6E-jGCadAU08_UxV-l&EaUl7%=$=f`A*Kon!LrT_G z{;FHGg5+@#MA~Wr>$$z+_}W)QuesEFMBu$SZgqHap-;M|!b;z;2^nzoB*CQ~Qd%@6^kJ*cGdd6`EI--=jL%lfi4(fre7(M(&dCpDV=e9IOaQDSIRYAdcx zxo|M}S2%ywaL(-dt4mMmOENaT=-rNGz7oM-HNE;Fq6Pm_w;#{+DG^0l8+(P+pZx*( z)1K*Klm9?PnVlm1n>VFOH}S)7>F&Tl z5-PI@-G-e{CN2q4FZZ*7DkAH5mpW3+_}!%^uvVl@CO0w%%QP3U-?fyQ&BeLj)Ac2M z@Sxm5ipH_fbHe$DrY;v<|8U{;vT=X7^yeQUb>(~~@=GjvO+^3D^jAj`jqu%JlqW^O zgB+wjT+>Nc%5BuL%)!Sd?0@2gijzdM|D%>-PO{U4=TAAL2k;x0QTY9@h@<>OJ|9%Z z&+uSFGs0U!{mZM@!$VkUtB_Bvn63D@@c-pfaXR~J8m_>qU-#kxr0+W3tJ#|5mCvZ% z(L|sq=SA@PVtgpaegmJD!g{i!sEHQz^?%{F^f zEV_Xgu(46devr%0f^j0Hn~0;ul3r}FCRrTKW6v<5-gK$kh5IJnrre)2l;2))X#Gd{ zk+xk#^o=W~U9zx6giyo1B8D;xr<0ZZq_66vU^L?Z*J4A(Kmr}F;ByI9ev z^uOT_UZL{J<~!j-I)LlQafH%tMU17_u^>-smI3mAb2^!U=jF7%esN{ilq76 zk*TWiF}ZgsKJx-~jKiF&+G&a}<7;l{j1h`N{2$GIPft$8tG$nz)_tDh^Y~KcSdJep z-2ZCs@;7-EGJ-0SDnn65mQbqPOVqG%v0{X~h5ui?Gqw-g;ybp?W0p-Kg!H~AIjtaV z=HT|Ih#|d_Nfyi6Qgb&gP7_I_eX=QS2A?Xf!*)}I^OmOH;1VbdQ`5Yg=?vk!C9eeq zZ+X?5;^-~B+P0eXIIdHv*5IiMg#ABFzlWFh**A%rCzX2$&wnnwSuTLzl|}eJ*-@|l z=h8pn3BsY$AX0<7#D!&URnrr_$(HgAcNq36y3DV-^eQ|kWSk;8nCa$aMJf)+%aW+! z)rq7bKbxB48kQLaP8IPK58*+4+w>g9_kvGVU8)~~D5Xw<74kn99K|1f&|~bB<>YV| zu&1EZY4D_==Kdd$RJKA*tsiS%2LXwjwk-6yZ-wO%I%_q>fNugRYe^wla*X zjHUH3L@T4l4{;Eb{r^gvisOq95>j|5*i-Q*2_E?~8Um?UI$yye{7;{^@!e##?8l17#h1WY6{RkNuPRD?_68YevcvAVaxS3}K7sa_wp z*1)##1|(2gJqI^xpet>`a~r1pumhznX-a9)10x)SfW!_S_RB_AHKMVMjBpXch_PMm zz72KdgIW_S>rQaXpKrlmQ=O)d=I&j_w@NnQq~jr36O+z?>b0=IZXF`~Gk>O1H|LBv z1Z$!FSFv3ia|Yi#H=30kf@m!?^)e(-3hm#J|NRcFYhx?Fwi|}jR(q-6LAW+{1=~}w zr#5Ck2v?Enq6cX#Tuuhf9K8qbI%shJ(_9`|l;KWn@Hz0;QC(@(a|mb1)6^Io# zj)kc~7^U@I+_g&h`dM?9x)b7dbmhA~x2R?H5_s*7blza~r7B#%r} zuR#d08iE)K>&qUNt-QAKFAvD9O8FgZP`hvYa>O7Q3*jAMaVHxAq;Hi&eQELd-$M*XST$Mksf%|sMQ~w5(CU-e`OLMrQ zJP)DUQKg^P`6Us`ay?c#6k;;Cs!k(O=%=Kh^7VH}8`Vm@dSOk@EAtjYKz9y*$SPCG3Sp5{jQurI# zErr{RXO;ZSNlO;~6x4=jaS;y3QkRYIcE#R60o)By*FL~47w}+dElEZAHmQaz^eTj; z)WZ;yQoZjdse;*5j{mza6_Qfwc5vz_HR}$ND&&)!W`Aq}K8Yh~Z0Z)3kZEcw1QDyn zutLY;6p+CG(jc8yLAlLn6;!}}-Fy$~rr{7U13YP{b7gbVSr3 z8$wL4M7SG-)6nl_5JxGs9bCo#^z%4v83lHWGHG^zGvK}hb%l5-Q1%?TZ=Ppc3Vw-i z@EBRlr@+k2kA)Cobv_i`frHNLs8rhc_7`e#*glO=ITwDt1GBXSoQ+V~lSL$!y@PB8 zS!^NrB(DE5;f#++%U6tZASm%pTy9DukqLyU1QlgHL?tfS#LBl-^dSlfiKk$h$8jtXaOwN>Y2x2Iu>vxe7hh@R`5+o64{mSb(TP-RwZ2d;C*QI17 zxs=;?Ilc|YD}2cY$2BAL0^eQe(-;_c7y6Wk^SLaH48Cy<$2B7ygD6Vr+NXr`Qz>KE z!i~@b5)wCX5H7rnd@|QX9l-9uGF%BB2TE;thn3t;Q-nE4HHLu13x_jykdjU+*(iaq z#6xEhF5f{jNPD76RftO)CqZ?hRMtz>5vHFreIT*X;6|)ofGj8GcH~CVRq}Afs&5S; zDP@NuDRtxtw#ajq*}O6#DNWst{>viE?pIOCUT`+SaoP>RCMcE4XEGi0s9M&s+kZh+ z;>X>jB;RrtZVDtMp8gt@5T(}L8;trZ^rw0eUmcbg#QPSC3IGU~e}<8}K*7qPYiVNGTW2Su*d1`~X)o zmU2T3rSyAR6V3q2^bE$!A=wPONiD29BXw6QIh>u0Pzb)}INSfe6P|9aj&MKMh{Phd zlfxHTtdfJ`9oK2{Fvr(HaHBc;RzF5KlZUr9oa`)kTA*+D-AlNbuRWO~=@tmIK;PDk zBV7JCb>5FTbt92X;)C*|iI!N_N!v zUy_Pgq)tLiD(QBNucjRERQU3x4{Mev0ReMwKScz5Nm@<2KA()uHKegnVx|pV)Y@Y-WKP! zt&4b!vD{dHa|QHotM<}QZXqKX{i)cno{ew=qHR&jVK|Cf)Pr!Nt-3g?3C{nrt=Jx^ zIEvKG=lI*GPzG^tZG&A+%4cTMh_I03H$%Lg>T*}drJcm(zY@-1+XGusd|?(f>mrUn z2=4aiQ)kF(k3J278ST|+Y8fQktBci}5KPBHxzd4?>QwMJ1sY){L?!-eEaB{b$pYL!ZX|FoPfV z*vO@j4Pn%(m%L4>b3;_9d_$p958@J!|B$e)0U3Rkl|Kn;29`o^aA%;@9X_h&Ouh@6 zg_MuMFQxv3kd&&!^{3pRZfXujCm<&A!(+%)CO-fXU@fyCDRI?ZgdLpP9E|pX6Hh4N zv3FNDnrZ{%+_?C-#{DOoANq2zt{IR(tlj|6-6*^U0`lh%2;Ysv+234w`SQvo1}-P% zTTnZofppM2U~wj<%B ztXtXkvR6@6Q*%+2LP(+!T!cD1qMI2I?1+w?UClY)TCqWX3yF^C*k5o1rPLGP>4Xk+ z9!kOmsU&RnsMjIT2{m_yu$0QgdC#!lpQI+So9{v#vAPJZO5y#W--B5Wb|&Gxz2xTq zItus^tGys}52l$4Me@Jrp;V^%^aDzxG@@e4Wdr-c*%_q*;OmTOdcZjRPyc&82|HF& z8=TC-4IwI}Cc@Fq*wr?GrwbMeo{{N-C7IF=_H@DH#jio_iWw3oNJR!;5BIZ*!Qhs- z!)e0BmeuAc@EfVu5zd}Y-cIM#xX6*X2`*=3X+`Q2-pqI$#3X)U0k!^!Wk<0mA=wr4 zdJ~-Y;tVk*o0ODYB_*v`iHZ$MDtE-GR}A3z8H-rnPEDj6$M=9Bs?)=noQy9wQ#~rm zLWm+(55UoTv9NYS>-(^PyU!uvY@M2RJ90re4T1Ym_;*+&r6MnpRDopHXNB?>S6T5xzejM|L9!@O49}^)Rj*c7e7K#sBoN+y@Kz(KtNwX@u>NkixCu zMmKCuPeR}U6ka!7t1s)F;^<)_A!G_flM|$acCO_-Zn^X6MFiPp}^@KCdSL^{Hh)Y~` zIN|criuh?zd!P*s^d4yA3KviQiHcI4z>gTul!v5nT_}>m!*EoT4n=qa$3g7Smyqm% zZSq_X#v`aIp5jA^4DdaOO1v=cLF@pQ|W!F`r;EkFKV22PyxPDhS(# z5p0lSrPF5EjNj^hkQ1&5v24r$%T2VZ>@b*!>W;?X}?U ziNX&bA>qvbs7$8vl=dz7CEk%qIPZCC+ap=m6$nWj$Hpv8l`W)FxWKp*#1P~0VQEh+ z%8AA75Gye|$aQe`LM7{F6VB%o3+Aj{0KQ&WEz=<=rSi{^RPmkEPjI|7!ut?KoVFF~ zM|zTXCyf!!8Qadl#a?QRrL(#l~LeLBhFBs6syF zYOeG=#YYZTY)Yp)vbrM`c;F_GgW+?##IGtIp*$8T>W zUFG}$mFZe<2=&HsyD}tE3a?#M&q9?igD(ry*o!Dl$z~d1PqNC(5R~}uM+j$Jp!&iY z(Fj=(MXWA`qgm)z)d)%D@k4*uxr|U9?0ry4fCqrwi&PWi8NUx6iQ}CqwZa{TEGf!% z2uK{MM_r=iJl4qn34pSNDzCpSac#xA!{9sMlej#{ z4)Mumb0OUmf)Y>4Bjp8_%&mr~#M^feo^HVdAR+P5B2sRfLY)mu$_QSt_rnU`1A%^c z7QD`*@Iyab)wBWkBbey;BGMUouVQ{)06$`NJIr_lbA86fe)G0vW>f0{F)6hGN~P3A z?nDk=;XlU?v(*$#pzrnj6%w(|KAqBnU+`2(Vl zVs*G7A*CMbM^Ytxn@StD^(@%4Q7QqRY?QifHRaB6CuZRPgoY51_<8KcMz8*tx~I8t z$b_&|@(;vOO3j0-+1RG?!0p2{eQ>&#HC&swtT4592EWA5q9&=bcoC^IN23K0LYz`- zC~WlM>bzMy5-YIm1NSQ=eOOl=z}Fv@oeGmw;gh6n1sltRpv09r5zhXM3KSP5Mks-3 ze{}y*NXVa=U>|_Fs1L0N;NkK&s7bnSWh`OGD83S>4-2_SePY?50n86Pxo3qjda1KKE zW`S=IO7)w{dEr)!t284#071lf8f*m$>t~0Ol(K=UrU7@WlaP>7yWqwk%*1%`3`Ui! zW|DB(S`xm&U3D=82BYD3A&gR3q`T#Ro8anTOxg+DLon%AqbO;{w=^pqWp8$ZU*g*j zGv-G)s1y`Djt?Pr4_rvt!OzKK0T?042YV$y(b$&7@o^{}g0>$3=TKCxwxrbMNvf#x zEHwgr5|?ZxT)c#ov|>CLfb;;Q zXG2uN(hsZ@5mJbn`RZmyj-AUq6<_yvfg6fSnJ4#Nf9y*RQP z!YMR^VwoA?IQWO-X|=RZ2rK23%|{u}h2(HFHKhsROq~h|#~34If^!7o&h06iXOGrm zKtK0`53$+=#*M(0>Dt|-q~If}KrDD8RDF`-^EZ)g^JzTC9*Qp>OY-JOI}sAnXpc7u z+xW(~Y*x1m>^W%Ezq56Y`fxRPu6otyw&ZSq?KWf41BDEppbV#YTbJFoP z&#Cav(`wC~-EXKf?}2I6+tyOM?EI;6+cPRGa;F@i^c{Dus@nFfx}ZbH6#P`ePi6e1 z;-?CJs^X^_eyZcA27YeCPtBbjI@Wr+OOw)em->7@X2-jYoB#cfYr3s_K}Ke`{E^2d zfAewt*6qP5Q$L=ybN_@|JL;?RU}~^dOM6Z1HJx}%M{HY4W!NmE&tTpDcZGU~jQ$ob z2Wz>yUBhVYdx~~q^g;apSKhPSsife}+cu>T<77Dbf8u3z;T5_$wK}U~VbPpgE!9kj z;!lGTl2!V1Pn1gcD)951S}jsH;omhOIj5Ee8FOpZ#F4Js+*%K+*$|vt>#o_7-i__K zovIwPHBps+6lH@WlA@f&dyH&JRk^Mx6G~A1FjXl~Vzrf}_86wy zs4~99)&omHRcz5Ysf)BU9ysf z(B>44HzS1JYK1H9CEOt_>jW3XB<{mF_aOBb`c{-&NJ=~t@&9WU7vOvw@g@WR|L>?i z3_gi3uyR{Ja;+h|_9p}-t|Q1bUotxubr1P|h@tEO_kEz(>*rC?K%LtZ{V@omOCIKIGgw+*h~q_syF+bkRE z=0aTJXHCp!4NPD0cBFR@uV!rBn&N$MOZ+k8-1f9o`kQn52lyqfi|Z5VvUS(4P7soK zFk|cE7jqyc@hZe}p=I6i{yj)ae1=n7w@>~RoP~&QTTZF18$mS#pTrL^F0t$sJ{*D) zPeLp`ccf4a_vMVe0#S)qFfRXxCJ?jvY=eZvM;Y4|Qn762F)Io7a4Rjf7NBzZIuO+X z9*oc*!U&mD>kfb;At3QADUZ%XxL_G&C5v%6 zsH+jzdV`dgr&CsR#`l0*;w;9tt<;wP=EL_n;Fowg2B)sRf_%#7T^Y^gZzCCR6dbO0)}a2!SkN($oHs8@O$VRE^B8A;PTjaN zui;ifP~u~Z3x`t4)MN9PAc{EaI$~KX8PST%fGR7=JL`4!793w}*;}d?*w>=9XBp>x zNJaH3TYDKi5^rD}u^eCShk(SNGq&FN{XK*w{?kltIeCsZyh<$hWRfi?*K$F=JE-p> zew?v&*@rhNNIZ>kSwkwu``GgW@JqY~u`H*E<(lqZ2uXaFQ(O1sybdvm?QfB5*4shw zvNGb-P7)hc-W#0jFe3MV5tG4(5&D~~AYV|q-pSs*4?&6dGA`hUVa!7VJVKPX46&R> z&OAhIfDAt7-CJ{GiIzHAEi^{wy~8PIxtE0^wNsXWVS6#Fkq>GK)q9;H^=oQ=f>?nc&`l)`l_8c#tx@ zhMk!Teu=q z44g%XpJ$x?DJ=m9Fvg{w#48z>e@+#BJ7c_~Q{rQc3tuAT;~9SoQN&sQGPXWIR=tqh z-`R>rH8Y;~P}!k* zxs)}9Le((&YQ3PTb9@OmuU={^)`;V+ZwBcJNoj2e<3ipk zyf-Hs3(if5r!da{iZZlEB_0Bw#P2e;zEWft1SO7}%K2upZmb+{iITWFb`d#v7Tam~ zi=`0n2nmUMGgkP4)mEH(AlNq}p2FCA0(L2QB;LZ<`bH`|Rf#zDti%vI;;av0{2!nF zP={)&4sn^b%UW`*%(9==2vFZg`~qX^3j>yeTjD6=Y|GW@li-*5E5;GN-N)>V-$O{^ zO7C)^aO%f7*G`B@+?}y)9Sv9JK54jkmw1|qEtlC|2Im&U9seTb)*F&{gHPhqoI1ky z-S?Nf<1!xIO6};=0e|t zN8-xs$+mUxmSzx;_#wvSxim(7!^%fOSmGBLTOaIS4{?dNGtL-54Y4M-@)Mv&5uamR z#%oq{E%r0GB~~|(Yx#T$d@$Qy27Za_F)kTQ%KI?JtMd}~U~IikH4tJFPh_0QZzMAZ zw8fB=cnf3ebF3eMb1UM{P34xy9Ik;+;=dUy^Q#z69c9;a2ugfU5oOH!4Ag@VmDtBP zGMpNMIhZ~T35j1eQ(NwCT@Chah+~Yc`#M|%kHmj4wr<~#XV)d}xRFM|R+c^MdO%p> z!HDI^QfS#IP`Z zcnAa~p2Rr+VhsZ{U_1|^5*INpuxus06A}`C$=JH(&JSS!0CBa=(zc>FqLo=K{WJuR z#O)1?m(VTe1s{cg#4{O}b)k0n0P9!{VTt!MwmwgH0^*3XuA0g%w`x{@pUR^kyQ-nD z6KieF@#VZzvXkQ<0{2d|Hk`5bWjFJ{FEKFAe3)AOZcdE{W)dGXQ(K;uz63Fe>uw>R z@=7VE<`9|zNs0R)mXrJSnYCCg{R{`^F2vJ0bvAFaVIEiE#d?uebe2}N-c94+P1~9fhs1N}AZp1G!F0<1XVTF|t^`3&bVv!`Qlo_-s(|RiXM) zGxb5TW)}N)a7%oKvGv^kb?{4^vXyLS^FHldZb~BvN$f!^cOzCTyAk(;n8ZO&UBZ{F z$FS!sjklPpo9X9>@zeN%DQvlbU3(jshu#GLl1*gnXQG_@P`>^LdJ zPSTd(lei~i>l6NiASm%f#)XzUNrMoT_#MXilc*rfa|)k8LgFtNm*fzx&yD#HuA-F>Y&cqHz`Sg~vmnhgPopJi;l@{A7;OI&ECwp{D{2;vgQ8QU!9QZ9m8jJVP+ za?Q4n<}a!WMQH$TiMukkz6tU%@Jl?CaiQf&gmn;-_yaTbNg5#D=3@Bj5wEZftOsn!Z;5+63=3sXBjtFK|tat)8^#J0@Cbry>xd_~dQ&&oC%n&=k zFXcaH`7$nLvweIAA;ek#F}B{nX5UL**!EEYEn+X4alCZ{ybh3*)`l}K??QHd(Lt2}&*1I|0!S9Eg#PR(g zf$CC+No*9=T(EzF=HF&{>)Vk&0*}PUO}v!Gh#Xe;69go#zK^|ljJ&v$aWe=@d_Us< z*YhfmLtNrHoVxHhrJlj5-v#v$F1mMueh5$eeZf-sm#BC@;r@vC{-KoqA7VKPo;_J{ z5=?`T#9j82hmP0DhFPaiKuqFEjIEEAFM_1RZ!s>kJO+VJG9E^JjIs44uHS)A;wr^t zyUa2?<1v-Q>4>H0y)94R_JF9w6F7A_FEv^#6c#{2;^mCLos6wF?R*X% z#96-~Hfn}nK|r;O?_G|O%ej1_w;tJ492{@mEbkr&qq@|GB{rJX7>G;rFPZY+({O-e zsuA7;^(dM@YvNMExEwXYZ6A|cC6;AtON^I8SEgkf)E?kRb@~{_1$>?i7v4sg4*0xE@@ocbq7N}PItZ0CJOzCO;lDL9WI&SYG8l9W>;Rg_1; zC-Ef4)_ZH_Lr~&(7+Y^c{1BoNA2yX+9$h*I3B*~~8C$pCu6>Yeu@{ZAC)wo|7%xx6 zTX(SO4xZy^?GeU(cs~$MrHqGw#4obef^J-=w~@el2upl`v2|0q&mb;w8Ds0)wSETm z1mfF1A(u<|=K2~TKPx{DF^SJ3HV(Bc zn}z-XNr}x3xvUQlHUa0Sh`S#m&mH$u1IT6NBf%%}RL0qs$4-|)P~!I)7w@8mQ_K-J5EptII9>Zm^$3JRGsiSjOMASuOoc2am)BoI0O(z-+}r z_%xBkI}pp$a3z-e=MF+x;?FsCHgCQd%F{Gbv-{I5ZXf5{D4WjE!wnr$WY}5R&*4)3)Vw@fnCA&ib2ipRIOKffjUOtQ*zl-q{P(Q=ze32oA4?nr_ zKYcIj%KwGR8r!)M%D^v$|2Bl(^-hq*@--x7zN5Mm#>*Nx!sl%`u`&Q+Qu!E8X5(8G z+c3|Eq{OQjM=V?9>;dO##0ka@%L7S&fKTGupOR0GTh$D;8Y^!FL5aIDF6V94(-`CK zMG{YD9O3hg=2V57-XKohF0s*Aj)46P%71|ovOcXZbh-i_#9233U9RQrbT%CF<%F5X zJDK!gFWO_gRA+tt<3kXZ)`oMkvKWbbjG=sEvWlLP~!1s>WMUZ-NC8x{HnxnAeNOd zh&Q>OUW@n#kdXK&r_SeHsycG&i(vl}@n4LsuTicK9>l3_<7Nwb00L6}F^rIX#rmv3 z0K!s!?*HWRDJ3btMn<4~iRI0+SjlG*?`NE8*=a5TZi!PrqtrHj^p}cH9-8|l?!Y*c zS0-lX=?fu=M=*}?Mbny`^=Ba_u|RBe2Ft5!@x+U{x&2e-o-fg5h@Tf z-)F#n4!g!rj0-H=6IDJ#KINrQm%$!ngr;VE9kQ0e@g4}EIz5MR8Sg4??%?}8gb}B{ zC9yHc?0~qGKZg;riCEu<{TrxXA+Gf~c~Sf&4eYbnS_g1T+?R2-<>dN!@Jsw0<3h_r zfpZ}w@p8t>9LkD0>F$IW;;b(jJNR-zJ+`fUK|Ym_qhyb9ypHj*i4=ator>c-f%9v$ z)}NDQ@)%@hWi0q4p2ev*SoX$T2|zl3a0rfoMY{arfq>rFUj$Kvo=@f~Va%#o$tSO#l@ebQ74I?8lqxP!wtl@ zR$NatgP6n}O35|H`&6}$vvD6Jjns^-yCc5_&I_1&J7eqHXpeypan@IiBQa9G+|1cI zGHQL$rxC|z@T;EMuzUtYrL{-RWZVoj#^WI&@hrr~NN?FFZzb5v5bxpCd6t)BoCA-< zmA<0Y+91nn4Nsy=+ySv1unM+O9nI&(|AP>gc!Y^9JJ~z~afz2P&a*6bcY>NgeB8vA zmo}dVx5WQ4&TUIW!Y0mlYw$~)^)Q+vRV z7#|>VUdEp>5R$@^SvdOuVq|5l2(<&8SjUr#9uMCzUT2b!-ih3j2yM` zrS3+Y8uvd%7xV#)^By4Es~A5AL5UYLF6TpmG{#|wO1y`$bu;W!kU*UEJL9tZ$@AKr zx=w<8io8hiPHuvCb9~vWRGj@-{t@teht1;|iH#xtWe8w|zLw?7LnOb5<%=PVI4i+8 zKSFt1#yI67nRk?t`T88+jN`4_ggpT2_h@Y>j}7D&t@FCLaFz2Y5?aI#9JBX z@%{ItLs32hAL6W=jLR)UUG;Bi__c0zeJ92nBj+s|V4AYEZV;8$o@AWApX~HyJR1@c zFJtUDNvX}Qu?Fl{5$|GLvWJGo`J5WJqLTQw%Vaw{gX**)mIb zlFfA44?e_|=OCsFt#}{0l;6kl*1hiH5JjAIlW{&T-CD7=x>vZiEDi5&j(7Z=YDoH7 z9(NzUhSu^JD`hme;#$lI^T8u=p^48D_N5Ts4FSYizc9A$nOx^8=b6W{&aAZs$6KGd z>#NdV1h>S?5zA9XnY;)w+v{fVOMHk^myfMxsC}B1 z{{$h4Z9kC9WqdZII%6CaB<{jE?^yzC7(Wb2iJxL@-7sS^IDbYwi?L#(N-$l+J5nW% zGA^D^u9dO!6A+X*fmp81tdH3L3sH%kKa%GqFI6?tnRD7BkdSx?W9yq+r-J<##DZ}d zzj(~NpLGj(BtF8}VcBr*G6W=6u2IjiZWeh5ge7i=*p9yAyL1fKXc$tI`yeiHKg7lX zd|S%*bk6r=P|Fd|Vr<n3@Vb__Dg`~tY7#E~dYI%?#1I_|T#G4qG^TVz86IJ$tPvXxR zTeqR7$QxRN|J5%g$0$G+pZs35okN&gVBOnr&?i*ndU*BIC@L zsmxb#kA4$862EWax>R1H*z+S0khsiLo=JER<696$oLc)A^xRlBI3X_OJIDwu#*F_c zD?e~nGC}#O;x8H7z98jxw*4oBC9d-;SEyxcyUq}o*oRmSRT*Wb&y;*TsDC1U zkyBeYsC*mT5=R+ZAC|`FxDjVvW}ItzVT1Y``IN__t6-Nkj?X+mjdeE1cZZm?HkNTo z6&jq{F~*&2C4S4qyicM|<)Q2Y=U<4=GA?+Vl;6&&%fTnH?RWCYy0aecFDG#i#@2Uw z4TLD-)S$#hKUxL}DgPeJXIG*Y;bm)wz2*j_`vxPcdEsaf!Dwc0|ecpN#Pyw;PDBGPYS>K70$@5;sP1 zIY5+gF?u-lz2KL4AY$2`b`?}?Pk4AP@oY|=!MAJI;nXW2Ch-Br#b+qr<=o9KKvLp= z4du0!l|1coV&x8S-b9@K7ui-UTYKCGK8Xh)mdlN@AvPmnM@~K#f)dX|EHkFGC)!&PvggU#zVj(@hrx98>wxo zobR_GAn^glC6;G|FF_b_)_;s`yywycR$li887;n_<{hk9BcyYDu4MysFR1^ZwH(GJ zyn{s+CkucZaq1F@ji&xS_@(>-Q=MhzjYCM{^CsrUUmsz0KSNC7IycG5d_D#@myqot zDXsO9*szuZ&VNyUHp^RIJ-ZTo67OQ1v4{$K2bbh`5R|ye-(;=u6t#U|XPgj~xGQ3L zTw!fs10f-C9;ddxW#SdE-$J~Ov2|alQt(K8opG6uT!#m%U1WBI8V6XPb?@ib}o~@*>y4zSiS-M^~!g?VL9kI4hyG z|F5k(k8`TX_5gl^HVr6{ut_^EX6ca~m7jO~6zvFp;N$wv$@$fM>^swcz~^(n_f*xb zTX#*}s`219bhqq{uxS(!zJghcF2<$S!xEenK(53vhZn8OzhQt^rl#D5)Igm_ptX&U6mevQKcp zKc@+=W|rDa=iArj28s*6i0IIKElhuG5$}0sUz;fcULgzvcRXH;Y@c$?jpeztw%#3B zpGWcO$hrB!?yNrc+=4CTk&uL!fUTp-e?|1I6ctW@)2lS`Mlg@$Dg2>H+&0wh5y}g9 zD?u&K(S~srqE9DRDRT`tgfE%(Qes*4R405H*!i?ZuSN9D6c+v~v($21Yx`P$j}pTB zOyagjC>~%|xJO4*o4VcRfbf!|6Z1J>KbqBC4ecY1)f*}IT<6=j5{GRwuYAD%Rz)?z9MuLZBdSCLKTJxDFW zPlMffpr4Ptx0B-p<~$Nl+6G2BN?zf#f~O8w7jrGjwR6EwHn(|U;XKyG}$ej;-X*z>9GyHVf^DIk0q*!i>W z!n<)9yOE;8_kwHDH_o)iEtC@e0vy3NNao`B1LcK#^4GUgoSf}-K!0*|Wv*tHwj98W zn<$y(r#j&)ip*UBJ}|dJx0CTs`uV9340%uofG`f;m{E|(0FF4dychy)VewgCI-MVSsra$7Z zsPjKiMtB@Jv|Gc&c zQ&hMQe}pcVzR)eo=9{7#N(oN}XD`vj??d8^lowtOZm@l0vYuQ{=1pJ=BmB=mH2+-A z?E4Yy*`?ck6S$jG%aq)pm3<19pNZx635};yLULOI&fcJ#vIJqbQj2f`9Ks`ZFYv46 za53*Pj3H4p4a@qNyu$mzR*fEX<|^|81%*4i(7G_9ta;3EQ(SloIEzW;P2vkEBYZvB zdR8mqR1}RrY7pjoWxYK)qz@40PIWt#_uy*$0^EcljLn9XaOYy#wa$ZjA~5$#6r_ZF|3Le~|7bS5GeMSBTC& ztXnz>d6)LovbLf7qiN$6SYA7;{mG2G%5idKv%ryI+B|(o?kY+MuQjRKCL;ecwFtjy zq8*xe7}2fd=*9fCiQcAVJrDc~d4>D(p(0z_lx)AH11KmwhFNMqnbd0Bfap0C7rqLd zds*`~SF<&g5#9*4Fq4=$sJBu<_%pEoVQr1$kvI?Y)tk93a;TsX{!K=><&Q@_s38%mouER~pdne_Yeg6y2-mKegiq@Hji<9bl#x^Z` z1urlDTxFZhrJCycaBlMuW}o3;8HJg7el{7Wf%_;YWaaHxd2hJ=E@`C}<`Lg9%Pz6c z;9Gi@yl}!KjwgQe8tzSs z3V)8o?V~+^M=9as%5YF)fa!nWso@ODGnb5J)_R&juCmILTtQhN6>Ua8Zw{1Ie%F;Q z9$4utJA05Ob}hPC4MJkGC_0eyx*9yFm$^mLYPye7!Y?rw4=dY*t=lLs{1G@iPR#C%$%Mz>w6hqO71*HE4Cg<$(+b1Nt;9A}nYFeui(c|Ao5=8}v=7n{o-YLWH7 zMRLwvx<}0ek4273=934bFd5y|=ALsXd4;Ef8y?h6@t~ggu~K*q*p1o9t8kP)N^#*G z;M!%nrR&ky_ESdqN3hjJn<~FwDE{%-pThk(HMvoHqC(HB2)0I2`C#U0MdnlAVpD;- zLIVYaZ(x>vl#6M}g9v|sqQWnMou6vr^~ieyDndR&>$aZ$(iI|G1+UICHV~8&I zUX^54QfIY|h*BsUUnKIEJ^|=Ek4r3mVG23G5!H z_2kA2r_U)Md=PA(n4$+og{y{X(LzJ@nsGmx`V2}5F9TaQ=`K76yo&O|kAfq%J~U}^ zoyqm|5jcy1a+YDc+pxR=C-cQvZh5pYY4kO^8Oyo94<}bP9_+>!rsn6edP)d4f|GcT z@FSZ0`v}KP;us%!0GPj^9mf1RICh#ImUn_bA+PW;u)nGO38gy)g)6)$`I~xRtwgk+ z;=+r-P54INTws<{MtB`Khgmb9LG+7MU@mz}xOjH^kjg#0{t>KipAgPT0b$Q@EsO_K zSu90z6DTS?pIO?zedg(FDJA?cq8l*6xw)KeraZH+73_XdxAa*g{*zgLOe?4hj^<8h zX<=%w*Nv{l`n{>n%XbljXtuX5&9Cj;pHui2L^o_xNFwq3 zC?otdIEEhm=B)iP6@+(~=pkBbwTRwN8 zdza{ajM-z|$t!%y*;=%=yRLiAV)3Qqz@Y{M@srMU3D;4EgJz6a5pC?mWZoO?qL zkN*RIO$FhOqcm^(q-O)Dd?a%oH1mA0=R7UB`IX@s3JBi^_G4hI2%?{-D6?-bIE0Q9rrHZ8Q*{5TL|DmK zt%xK(+IbLn`W2Ly+{QA??PC_tzUEEc9CD3ez5$#p(KE(JNcA476aI5C@ov@&h=%f; zy0GvEh>l^B^%LPaN(lc9uHCLX)$H0H)FSL1CkJ&OtJXGL)VbuSVZNNXc;ow)1!8zO4Bbz87ydCVEtVfQy73KM#gnON%dHdhg#BV_211Tju4jjpA z^i|-clowtNPUD%)T%A(n8pq62(CJ}=zEo{!*{xJ3eAMJ^yQ}FyVPR)2s>L?VtA`T8 zKCpdGs!ORwcrmjavVA`>h0>z)&}8G8A47B&hpg7TWo;!dv+n@70dohRhwVO!Je*MJ?pfr79KXt`Qt2#OKuav?q{`@Pe*e65>a?1vy|0756K292)}{o+FP~x+=A%O zsr($~uMlmYrlgbt!l(QZd)W4(cPvGPFE%_yt6&8ZUqLBhp7~B6-QH3D3z#3;nSHI` zCJf?l>gg9=E?eZWO>@^}f-d*tb6lim4WPPO&TS&I9EG8`^qL!o&!Mnz6zoACveUqi zQbKqO*gaayYWNds5k6AP`(K}oyOX1idEmKPG^ed-`~pe%GG@6c@Y`N?T}MITJDH{A zPM7BWIEt2_xbQY`dV@9q{nxVi5+Gc1o<_&^C~QRZ5Gn|d0y_`sQCN@Thk5N#jBKl`6k7Ttz%pJFDq828(RojR8Rl-dP z$*l%#{itj%Khvm1c%ET=7t?^;cy5SunKzomhiF+%Q|F%%m`e@|7w<7#6qNP7le93A zZo28_%sQFk!VAH<_cS?ko4AZJ!uNvHco|=d!tj`+!Y_gC6BoZt<>xUUVE%VM#~nuj z;nRFtwA`gyv~@`QY>Em`1lK;Q`*Z^M3Q7qt2YYZuF)zRFro8Zj;D$~bZCb^S@iSMU6;o~Q3(PH>$eI&Sy!onlLPK<}T2pph<@Ivs+Ha+tW1Yb)n!ncDx zxP!$TGV397Ok~~&w*IcsyAa(>Ug7t__8E;@DJXoz@NK%?s}Vhb;=*I5=!S(p(>lKl z2kC6e2rmOirfA-mAUZ|`;Z5Ksyl^z{{WDZPi4T;I!D;m6{ua?~Cd~E%rSAn=82b#| zBPhzrl}!MLFqW8ku`-`h!q+huubsBhvhJZgb4jyA<8IsK3wzj`q=KQTY_+1>iJ#4VV{oJo|_6I&kbFE!rMz$_o?~{uJDl(|THj_V+cV zgntHyMk#-T*L*`MFMNStirr?tZo(!)R^`5uKxe@GszoeOlz5;BFKZ_Ri3}tueaO%&*J! zloGxQoa>_%_Z6boQC|3O%(7v7ZNoS0A=h-~Lx^rTPMg~}M0ch-;fk4>w{y3$>FF|# z!ou}n_iQcsa6~s!Lik2-@>{*7-2rZ*7U5UGS^O~YAK;J4;b;CH9I^E`JCVG?6|=Nx zP3Wy=Iww?9PlJFpr|b*Mi*@S~EQny^d1CDZ|~B|AfQ%BgzXO zHhiz{@=8SaBv(CiQf2O0WlC z1!?75)^dsq-)*8lP&fnGbH^>=onR*(?94+Wcia*_1kMiDBQ1*Plc{_r^N876wDcZ5 z30x1JMFHWZU}sp5mBl!@-cM2CC&2a@x4BoY@Gh|Xf3#l5BJl&17w#|z)pCJu*d(x* zT(g*`fwQ)c2pg$R_*!rb(+?&Q9iy=D^I*%?FZ6v%F#Gm1%PGYDfvGPIKZdY0hJG>E z?2dD_tT~LbV6GFVljB0p?HsWGHLb>zP){?+D||Khi-NMbk624V;f-J?X814_!Tq#_ zw}R7i^vD^AE&Y@-!Uw@_(tVT#_n?CC@OfHt{|UciXeV>5cv-PMQjqUyc%hN}6gK_1tI$xrN32oNpw<9?od{}a;1V?h&m= zJNxU-)LQ2+T^1lWj5c7lp&w-=w`yi-?a$cysPGrm#j+wgccrEmMPVMJ@;Myc3~s_l zuQlLZ6cGLz?2KqxmxD_wD%`I@i0O%SCjW$TC`_TjXfzWTpmQxy6S;70D0F^LU^uWjOn@oSFAg!MYzc@ z-i&NO;;)fo9`{Fi58Qy0-19b(Qw{KLQSXmIU^TG6J}&LYPG<`CGuS$FbX+VHFhd4-8t9spjkJpk~RVZ!es z+Omx$c7Wo-rHv>#x&xXU;o+1K_Jd<#-4B>?-fE-*bF;glvbM(2t2y{cd9tDA#~ z%2n%rH^FXINpqJmgG0q>c8@ulSHCfM^NH;z+r4%4?`GJ2xkJ0jb$PD zr;}4wqLc_F)!b0rzoMFaVm1G%P80U$cd7eC{CO?8yxk1FCe(q;lV?ZxZ&5I?XL6ku zCQT8}K`u2S{P;adga&EJeYY{&kU!|4n%rMEBjyfCRflbe4f#h+Ua{W{EX+(*|3n8h zQ8!Rm{Y1C}nl3&?s#H^yNtKOUc{IuRQHF{D(kh3D7Cu8XnV=F9VWjUZP!yY@D=q8U zIGlc#iWt%>lPPYlw~`TDn`Nqsl7Qy>4s$}r&A)=S@tDUd%59`rS)0qosyjka94N13 zRb@T&GeY=Z(Dc3YC|3T0ibn8#EYnPckUk@`1=E-_l62BH)&vnnx^Xen4V1b89Cw^Z zyx>w#3;R$_9Vc21b?L`@kYwR8vhom1`b2Q3roX<6eP~v}2(P9RZX_Z|zu!zW_XCQH zg=!pAMSQ5Y-qbpj8)^SiZZK4St1IpwmZE|P4ATO;Q%FVDG%5@;k;S8BEe=0P34WVP^(Ap;Scbl?2GPtGWF>`@@v-o~sOiN|6V1z|NDWx$ zauGth?`=v(@sDK->5zyb{gwSm-$t4>*8G7;yy#U=idMtrcW}5%eN;s7TZlM*?-S}v zF7>Ezzoh9;uO#b*f0KqM*!n6FKsv9vqS%#sO3&+5m(1L_PlR8}P(KnSDDzV`X()P$ zDnUKgut+#x*3>UV=a;?eJP~?X)4!@o+FovltrHJZn^#1U&J29+}@^@t(*7riMv`qwGjK3)}(5w4_vo)afVq^PxpI@0C7ixNf^9Y%i9x1#)dFR93S zwQP<~6oHX0wSowb)YQ+!O8kGOI5X0vx5xC!y71Rd?A`v)u~#@pY3lQ$^C*{IaT@7V z)|9Pm5fMU}C&he}nT)PWe+oxXIcuydT_i?n_4W;>yy;}g>07Ug8lzLx(ZVxY)5pI< zD)QpwN;6i`S_DUHYA-Q!v{$`f#8L8(RwS9amL!*OACxB4F`9mFN2cDguA~Sz(uE6& z7Ufdh09)xN0%J7wEs;GYL*ICWWU@9=wVA;(Ek(%~mwHAx$7=etDI}w;q=Ih9GE0Sj z?0EN1Y-=(*Y}r&W4>GMVpTY}Uko8&|-b|E^b?KYh63wlNrHDrXSCTry^NOZ-n@Y5J zELlVcjAN$=zM^3-Kl2rrUU@gkWS%3tm=NR05OLHn;6JB?9hy{#L|0yCW5cJ)U_gl-^WE9C9n1&J+@(#Mzj0Ug*r~t z>%K-bZ4=cK`c{;E!aXiS%@N^oF13q@jnmYh#hGy~{T1wZWx7&lQYWx6iQK9yoUggm zfx?g9sUq~6SD(6%BpuZ$2S$`5$x0&enx^;UkuvKzc?F!hI>P?CrY;q&UiYe1MeubT zaVL?UqFr2$T%u{)2W%@nkp_#hvB91iFnP^@&vQm%Z#)SHYrq&nw8(wvx2)v=` zU3!sZVOz3NpZ%FG!bpeuD7W)|C|eT_iWt%*LuA*0y;&;Nc^Y~Y<%%dldb%}fF8+@+ zH)74Vg>$^7?|PK!63V68oS)r5dvyE?FG+k_e4=sre#0UQ?HgL*usq`(4ZQN1wB0c#vmnf*rpx}IEogX0#6Fw)$nRO7asq8e8~o+_`1n50c8 zZsE^lcMHdTOq5L2)Lc<%l1qPLiPT_I99%0o70M&RKgor4KQzgUQ};voJy+P@*7WKR zu|GMa^GB|UwS))h!S&=%`p0G}NZ;2Y__j-3Eh2Aglh3n;yktr*ePhkSAwu?5g@2T7 zJy|@V$jvERgnwgaDRU;XJB5G8uGfE)!V5B}x@_X`<6Dey(Q&d}f3CW;RZUUPo2`(9 zl0{&$rawEDG~~ZRn%A+0?IJu`Q`d==lfCN4qGYmHZ<0xp#m`bJ>B^FWg+E8r8+^`s zR+1hRHje5dgtVVLw?QAWR#MzmOy`Rz((fjahf}YV^{|yl~Q+}xDW`BHC>1f(&{mX8(bPqv(o~oJ!G4mo6;d*Al58A!axzuZ zM@}cI45nmYT{MnGA~ZEaeOn|@rfE;gh%dOyWf5h9u)pI%E1q{W{XcBhGAna=j%d#R z-w{Eijb0{N^a)wRCAONezXq$cJ$(gB5Q^2A=Mf zpv>?VtfwvYL8Dj(=M^*MtR^&5^DXH}GU;!SpXPY_H%`E$e%l#}Yqssbrm|f=PsUnj z9H&HLrlx=R0MXQ`lyC1b?I`TCH2t3L9QR4Gg$>&{1_=++yZ6iT!hetNHOoFRw^4Ntr=Ln9K1;)&Sjq=vU<(nl+-qTb~RC<5B`j7~{@6|K*kfdV(l@unyI1Y-$`B(feMA$#j^zA!|=Jun!!fA$a^b#JV_kKY%^(&&|nQ9`4bibLFeN;MF*^Fa~ zh}je>QflUZP49$_-OPBN3YI zRa3;F*)H`FQHuXB5T0C3zqOm>Gs}@hoS_(pQv`E0b%dCi>s22Yag^MLJ(Vo|9KCGm zUlMBAr6zkvh(V4@5IzC)Q?>1r^5Y_rr*JSM<%Rb z0(sb-WgZm)q}?J+cT9SHn|+5p!LtF6Pg5>4jL2r9bHbvRI!b^F?B=S6{f4X#OI~H)^Pg@{aI) zj3@d1iKeDeT0ZBvc#`(9OD!)VA8YDFu@(QnU0nG%Ll5SVyuzbzU6$8G05rXntA5tc zWXl{2>xeMYi#Vy4eim`%!vZx9Jkf>mdY@(NXFu}Lq!)yL9-fSGvrltV8c~&T%oU+| zvf|F4=T)zY1WFE1BRx3*Dt)uTc!YhvruV5qH0^!L)u&lcSK&c=_67Fv0L3-){8bS| z+71gy`mYQlI)dY-iOBr%dKepwq?ywx?TeW97VZV|6fS##OP_gwWNbSqw^5gItQD~Z zn%YyGS&*TR?L{*AgUCv2mT4mV3-PRH2GLx;WYCA{I1yUt!hDFLOeRK=o@9MUIk|*o zPKv}rul}2pHPolcFXgAA;DE6Rhm!)LMcXO-IL93!f{R=@3`bBV10zcPc|*uUbK;2? zO;ILCsGqo0w{YY4HW9#YywdlHF?IdKt3Dt~KGF0Jm_<@U`U_;mtg&;1bFrq6U=LHz zk$y!bCz6GKv4%6V5sO{=(B`DUF_g*?tA}x{5mA)M5r-Cg)$_vssisHsNV0(Q93vV> zCE@wh<-R?TXy$k2jnHS9CgoFj&QS6Yn~8Cp5|K~6x@!f|^fMHzC(}Zq=4p8SPtSAd zdvGk2X)H)!V)4K;2IIh%lIPXG<~(#%ApMUs^@~`Z3okB|G8>Twb0GP5 zglHT|kykPzn*RJo5-P4mLS{zv6(OYShEjJ{(Q={kM-fH(E+?a~6FFfv*FhqIvM0TVEJNKZ z)Fn7Cc!Ok$&zg;a%v=-hB`(!30!uX2C9;>e^e)TDR@PhO51z6a$3ziBJuW}df=yIu z%#m=2C_(!11Zkz3()c0rlcOq8;auv%O6kY%fCw$s^e1PMo+2(bb4vb=h@#9lBC%9c zhlbSZ&7t#?$XD4DBE+7n4=^4Q7S^qT__nv$uGsB4@kFATN61Grlk0Av@H9(b{D_FG@am6Xp2(CHETmZGSTbIy zE4}q@j3b)Q*Ep_JBoA*sEM8bSL>(hyEAbj5PFbajA|7yhbLKP@B`aNc)xf#RrT!xP zt6c7KYh`)VQPN(f1gCMnZ|FiA3P+VKMZBS~O4EIK5@D3q7Rpg`*!f8$kWSme*0~!K ztn*P}U#;n@US!SpP)Ccd8pmDXLF#*lF4nJTfzu>BICaX4BDh*pSBjadUHa(*Br}0; zc9^Yeo`|pZ>f?5he#gsHPKkKbC9g@Y*Yu-XNv3Zx zWmXH8sVv+`zYh}4=|vQK8sj)F0_!!^C$iVO^z(epFo&-SnjXeP3^nxpk~G-tlw+72 zN!r&rH0g>ew4w&^Q8;B>fo1}ei?gTquE@he7?$Yi$vs04LkL% zU%K?sBUpbss=jE>IQ9#5BMv@miRLe%+-|_Mk8p34m-_=K^W4`YQxu~7tj>+UnFw#x z)C*!IN*0MT_&rus+T_wdx{u@wcacTx0*wQ^|4mxbtrx_|O+DOyqAuyWlAzZ1A`6{p zNa1-sC`slxyGtZC;V8^mnNviu%ri^8Zn@c|W(dz_O&@%WG!*|tGG_626G5con-ERc zNx$jbdJ#byA57GCfs)#oy;4LR=^pNW(;8A{y~nhRP`7BheHF!3o~L3q&(TA|y~QPO zV&ivn5k|?<0VJ7rf%LRuJy{~QMZ>F(XST?;?%ax3cQdIHbXw1)&ywqef2&J$sf09zvlVv7|=vJ@30p~+Tfu8sW)xPI!}u5S6E0crRH;Xa zY{T*i;n|Ua@{t`bb)<;z(C|L^l^x^NJ|eJFQ*9!9rx$5#C-x}mq#=hp`EjhFt|-~* z!n@SYU0Tv#nWD?C6n$`K5_R07`qhC&brITyllJXI(^N{|KTKDPDAGT(mvXPsVXr*bBV+NlcZ|V#<-`7F_^ zKHTKd-R7cjv(+xax+!O-g-iZ7M>6zH7A0t_57RCAWo!3p;oPmMO+@G2E;U<>*gYO6 zN{QWgpJYAz#`lc7vu{rd`yO0i@e)zn3aXVf-Yd#F;n}14j`AsI+Hk5OIN>mkzu%!) z#d|51sdHkK!qeWNT$;l2heTwL%*i-@w-@SOEvZ7GsJAyo|2;+#GA*}HFN?t5@pzm4 z%wCuJx~Q~Io~?D>m!V!3^Y_ixpPNJz2S1;UvlXR-@a)%c^~Zqy@+Ruc{n)E=^3u0Z z!OURMnIgVl(|cgYEvLc#2h!+HiBXglLOtNES2~J(%j!kdZWqT*j*1r!q~Kr@K9J$Q zhGU>CTia4H@V}wp0SZr_O-jvLIb1jo&c+k&=t0dl{wU3$axJs0-v(3M)PJe1m{ZSp zr*rtXR9|9TkNy$%LmAjh1`pwNY!sIM6gH(2Xvi|yoRPl2hN$B@X$UjT6!Alvyohqh zi&sS5hc$g^FV^EB|IN;%l?WV`ms`Rp^T!gB$zMZhe~mNfu81Ah)Fa}|VV8a{>&dmO zk?1X)M{sEkpN3}6A%C!oH;%T#k95d>(qFKiYM$Gqb zHI5gA{ivoM6s?ZB^t+Feo}6s5V%EyTB6w8O`yL@$6eKH{$*duQ^i8Y;vMu%xmu+qJ zMI7ly?$y#iBF#-WZb+!dG<`#aHD92zSi$sV;Xan3UJ~JBE_Jtv9g}Ot&K&cqHHGsy zjw@N5>g`ne=1B0d2p!jwY8(>_jt@~ch|=R3`edwavar*qlYv4u@QDb1?bWY2h~~|w zBAm+fBN6{v!=d%c*Dk#XkOCTkimvu%MSNYq77M*1)RUUNp0lZF0(BG`(^4{;oKmMGW8m>%q*%$7{xf&ix|>-vYEb1v?{e>Kf7cyYV;@MDhP^#i8$9 z`t(%NpSO(?i9L^T>=X9Wc=p2sSNdM61(cOCBRojg?xDD;sT6K@M9W0*w48d*Jnh9S zh#UXEa@wU|+CZI#&2qE9pKzbi)KS8BCPRO)1^Y9Cvb7`olOkd$;}vJlxb%Oqdy$>b zO}rEo~eL%#2kcE2X2e0~yaR2C1_lUrc8eXl;{!uPxI`gAUsq^e?9FL=CH9P}8 zbk?PJ^pfVxc9cKnK(JBR&uMs;)9Rc{f3!czvfUp<0%@yP zDQ@m@s$@8QGLB)wp3u}D;%j{Zl zoJKuQi7N@OT28pn<5kQDNz!H+f$~HE>EAp+WR0gv*6DxVhLMgxNOALdk&-!fRui%F z8s3>ZbKZq3?J8Yx)$5VNl6}Z$?D>u3c8ch8A;nzk`;z9XyN}|gPNfuKnHk4j zOo&Wrs%1^YDYH-o`S}aWe<;G2H2w2I6f5^@qGnh8o`@m+Vm#5JJw#h_T)d@!$*bph zh-Nh>Pq0LdBPRTpvG|7*&5u(K-(`xYRhM1Z?xXl!C=!>wx}3)u-S1+mxag8`91)(M zU3lUg#P9PW^0THc6I=2BHgV-=mwuglDcf1n|0tJEXW{-u)9>3(6WEr`?S?MOXRHPy z@QX`*T7*$%Fy~D1F3RV(*zQpgLpnP|UKK7Uuduj{<7rXyi#*q?bj5{pozD3El^AhF zUhj?K_ZU%n#ib{(Hp>(he@VW*#Bo0qo~vHnfm0cyq<$u^yzKb|5xJ`Q#(hdO-_qaP zk5G8luT&N_S?98QDLjo=+L;Xi7ijz{7yP?_l~;~@zq)*b7qR9hR9-l;8^>+@Q~FcT zm%^KJ_;K#Y()Lj*=vz@TMC@0bS|FAE;))(NmZu+FsD>6_5|w_F%RK$R;e`D$DOpYV zr$&V`l6Zd_X{~ozPwle(Yleva=29Dr#BW;CZ)3%+-%|7fZp^t;$(6;du8HvcuIVQR zQZf`?xnmB6Q$_H1S#@Uq?p0TbI7-5kB$?BQ3g9F+zi~qSL&G~X`X5*%B7pxNF0%h{ z>9hEPS)QdxmWde3v=V3jkasvL{h6VcZ$+9j`;ulny*3Vfpx{p&=4um7eVzP&h6}!r zNc^ekow>rSVi*i=d?FhAd!5OROt+ zkbXt!Eh5FTio}aGb*8vd?9wm#NV1@SJZ#Q-wg`8LhK~~XN?g94IEj?na^_JQ-(#6l z{8Ltl{CL@dY>lo;`Qp#0dYNYpg(6mh*WftEa!!&(GwxpyZ?59}29+9hvphNNU}IN= z^O}Z3Wan!x{f}NGV{?;CTbB7#gsy3N!~H~a|D#quis>^Viu4xdl+>TTiOjcS`m0DF zymPyg`;WqUoQO^7J`&X<2vPF8M}!6r6t{LD!%_KMSq*m6_om;PJ{GeoWe<0ifvSp z%)X|nu>XzgJB|}gze^Rv98-r1&)>2K58^k@n(+IIh@<=zzWh_fkL+N*GL9KS{l}}{ z#qLSk%Hu03W~JRM0{^&F9KHS-j}xv+H@$ei=)Z|eGh30oa)PQE_4|r)ScGoQ#{S4& zs_7r#uxjWWO=V?T#OsQsn)~n8M6>o$O?jLB`7^|tA0o|W72POimg4Z2OZbt# z#AW0-NO4zj+)NR=EgyE6f7?~B7A8&RY5_kk@es@Wa7vuNof7yR4M<$X*H`h(!8jhr zK~fG2bNS&b4pxe>-WcjEH$PY4RRS4q<0S`Pjxa_9|JB@=a2Sy^hZ`~#m7;W?$JY5) z8X7f@zeVI<4exZu|J5cp?oKjkJeAwcGIz2mJd5vBzRclWXHj_O1*#}G*D#I=*Z^dT z^1q`-$iYf^9C+oUTrG!C0aGC<%6$V2J>sSR?D~H`_JNmanI|gqMEE~VZ}B2q6cpF& z;vNz)q^HtIe^DE%^rrryq6BG&bc&nG*N3rBGmbjKc}LSPog|tUp$d9G(+`CIj=TXB zy5q%5n}_b;(>qH@(s7gWwz5j1Q-%GmrZ;X#H2oG)^Gb4x@Z6Q__Ja6bS48g0=6dC> zOONuX;83Y6smu-I$Xqve`^S2cHf0QXHH^LbWNtup>DRbxNd1~9W}|V;pSx1^svYN+ zpoR%!NkdLLRa|u5IL3ohMV#p&+@IGEjYpv3kTgl&9gLn%;{2@sKZ?Qo7=j$)gYJPG2` zMs-ljq0|RF)yZv2iR;fc4uczU(tqzluX1XNdH}M^VWd=8i9bm<)8PAZ>JT*>I+w@L zx-go%iM(X zTToTOwqP6&KuF@ITrV?Yl$UK7Pl2e!H#^G4q2ofWvW+hW3B+m;O3{=)`cXhEYAXcZqm5OSHUd%1cAxNqQw~zx6sDx7cU}YuMB0+~p5Y+`=Xlw}9j3Lr~)O-1!&1P{9D0N5=6tL=dYLVe7r9 zYc!};u&^qFTmBS6po%(PPv_=c#Ooum#TrLHD5-)`KZZ(GF~e#cAo~;lpjVAmZ(UlXuNJ&9=%FULH-v)OLESN*!tATkQtin=N$RpEKHiQwY zlOTq|dgw`6%d08>afi&Rlp-jpp^i`bZyJoOiN(4IqBT+V({QLJs%|iXR2Occf!M{d zGQeI7b*|4MY^y+-FqiQr@YKS-s5V4uVf_uk75S45?%J59N9s_V%#X=i>NFH(ID~7X z%HBNNFU+ST*JPDmh{@PRUr}4Fd%A2l`XV^%pxa%ba~(8Q6+-xys}!y? zidFK1CM{TaE2wqR;wRW0OIvrhEDI5tC2;``@Q39jH> zASRR}?1xA_^g9G`l)}OD3jU=Z#$n6Iusf7UvjG%nblyaz(#A!(!UhklpT<#~0oUqdvKE4~0V>O0Nn+_6$ySKP z7J*-4WftMo9i-(4#^WF)@e-VFN+bEB37aQR0-_RMT*JyYl=a~gNJu;b^GwFheWGl~ zHVNzvG0#qeNB-=DU_(sSDwx?2yZ$%1uT1AVkfy)8K)ny!#(+blQsIX|xDqKFA#fim z`2e!-!~7qQ9kT2+p5m*QoG4{I#8664ZbV8PmI>RdP=eTZj^}f>s+46|`;Fs2OubA_ zVJ4;aa}KXlgMH%rG}x~h$Nk`Mgg*6w5slENK{%ev*r~i)4f{3Y*aT6O(%T#(oRds> zg*DtbIzU3=BnRQVM&y$@FKPsK2j<~)@HkLv`=_j=HVqMGCshf862CT>v4fO6sFIC~ z5RusXHsRupG=j7vs?>+Lv~eC(CrUjyof^V~?@b>_Yy!9ut4F}+#MHjAigXn|S+?jO zhOm@s1}ml1m(Q_99<$8q)fY;nsr%4>nPus{%PLs`&c@hJH-u1Ql+yX~rQ;ncmSybr z1&B)Qag&l9%cZwWNJu=a8)4fv%CfoKu7`uY2_{+tPZN}C%DqbiRh5l&S|2 zDfOmVaqKi9^>hC2fOr$^k4A#t6cc?vo=O?1>Pw}7t=%~4K%gmRO=HNGQuT4nl2Up6 z)K*iLY6vlu(i^uToC=iaY{sjgq$xI&(zYDCGvyqPPR8*i_?zKqUvUeJY^DxzztDih z@@tdB=UMDevw_^C!NcrdABWOr=v&JeMN8xEtu;sc4LtJNT#GJ*3;2eU*^};pU~}|s z_6Wko&r;*v&9N)emAzfV2p3u=O9Mb{fm!_txLcr&4=~v>dlVi7|K9`#5UUSCHVW(Y zo*=1wi_|uVNhSWngl*qaGJCQoHK9b}7qOt^>3K!Vy@DKYwnR^|!QT?4e)Ld#_$8z4 z(0&j?65rZEHqu*DX}`rb{18R#yOcvX)v_3;{6Y#(+e#IV%12S0t0~;kn96-TtMh@q zm8!Wr4wtlOCq>4I|(IS?b2yuxoItb_T z>9tu~Qb28u`SBpQTjLCWQzl7eTIx>lhw3+$vvFL4XdBeB0S=)S9AHY@sIz_5Z~`FfitVYg-N>EE z9DXllN`G#yb+D~T`Ls0Z5@v9C4B~B7m-_~H_r=!;r?TyCEh$=_kLvYG4nGaCuJNJxMt>ErgZ2WJ{Shzx?_DPx5HF^#A6lb zLRW~OR{i29q%|{4naaxul@<_}c=A_-ZFR`#tE@a5)Ktuc_TWxMsS187<}_aW%tFey z5Rg*mAuOeC<3MDz^-^l4W^YskF^M}3C!EHQJp@_HNGOrG{uaUxj&1fvtH6m@l+=CD z*^Q)szdbQHGdFJq-br(qF4ZUZ(QKSvY|)j;jzxob=mJSoHv&p6$Z2 zm06L#n2MU(siM3OC1^xl3C{ND=Hn1*kB*=f9ch+AxHy` z1yl#ev2a_6N~!1JP)BTP+riTbGew6;C(Ow|+Q7C>c*1xP)XtcoB zmblSL!UdM;=F<=`VlN|{K7qWQz_D?bBXKpH&q)9BYY|?{_*sZa{L;Hr`|~aPh-E`b zXH4s5aCX5FA~T(o6kQ=DEm_I$uTi)oPOah@4u285PHD8rPF3V#4u1|ps80VNjid2R zW-3QT!4qi2>N+^o1vBe&X!Q_gaGNP4oUT*VZc8pGyCC=w3KzjlDYa-iN#$C`u&WT4 zQg{&zrF?%LBq@bgwwXCy%oCm5mgFx^9*kpfAJ)njM6u=>$7>Miij})vW5N!Nd@?(j zFCf+xjdp}HU9mm)IzUqSyeb}hcH>wM{)bWOD;V)GHi1VWiht>Sxeey>192J)=RraW z*M`!Eu{!x7_y`KmnMRsz1IfObk0T)>aq(KIyTg#=3ZejP(n`4%NNv4fYD zF_mvXVO=(kV_#EvA)jKIMwf!egIWD94DevZa$rv{W2f;G9z8j>8zLyBcVEuR&y{Tf zpF>>Y>*idDA1XB)$aA1RhBn%O{utUgh2w#=k#n@H5+?)@tDizx3O9$9Qn)Afic&bA zw{7gt4*d!xk71qM{}|&TR1`1qxkLl-cS9u)z=&?x5Y|0T&Az8)rB`J>c`M*6Oy=oT z0Q*g8wD@l-pz3V2DI}y;4NALVO|QTmS>Z0KaAxcw5PTdnqZ@i8m8A2-mFTH))PM+L zwKHse9P4&2xVxip=0OrpyGwcUIuB`h4Oikw8sV%r$lB0~-hq`_nkt$>x$qNX zC&Un|*WpZe%*rVR><}w48^}d)_CO_bcy5-%R~F1sdnx#PV6nUpAt^Qb6e%gVkJ<_L zx5lvmqKNA)#`2M#WZg$?v>D@nPr~^gYKr>~W|EP!d}G(FAx&mccn&|qXr8L~29Fmj z`)w}f%*Iq8$GDjP#FH?oF8@H;s8T6i*FKxKn%RfTG zW}Tk}fu5M+=qh%ZADc2=YY*X`*l*W`5|qN57nOXd@(u9&Fix|T6sK@4^{~e|8{!a> z_~)kxr~X9cg%!y-2169FngfS?=vV!GlFH&o{RXpCL$LQkC4;#G$UILaF^cg5@JPIa zrveH$9I~V+c@UI%QB7(Rh3By2`#(o_h#lhqH1LGMACxI!#L)G zTjK2QgwviQTq%igH3&R`xqTMG@@Fu_P#7l#XYen*Kc+_B+qYP_CKTBnnSGLd|t9D}Mq?r0wfl2)DFEyC0m-V)4y_5%Om-M4v@r z-)a&rc$;*!VO;_eh}El5`YdK$I<$HY{e6TBOSy;gxrBv_Aov^#XTi+pQ1c%U$G`Nt z=)KIL%ueR$OVX1;?S}(@m&eI)dNvt;kabmrKtI&=7-aXu(RCh_;9vR&+!vtU<>YaUz~fKi>`ejcM97)nu7FVd)Vh`m_? z0f}23U_6x4Pv4621%wg1yUif%;HTp;1B@eiGlduaPJNq?!*{@$=h1d+a1KP}zc(kT z;u0#Tb1c;h{1RVWPq<(XDQU_06$lN)q8Y>IU=GXkfP)|*V|R^G!4_JsKy(NDAjHcV zD=L+HZWYp=3m%F0aD{X5mVvFAVAxL72raK^&!UvU_C^ zPT-nj&u$1O(FlrpW*nO#Fc>eZrR*cD6jL&vW(-g=7)@n1CY+{ICSf0A9Bsil1aXsg zl+4qIsxqLTmf%OMc7PE>aAvw?D=Eq4tzBBM?Db(3p0kE*o6q32-$vmDFH?b=J?-<5 zkVc=LF?bRFeT_FPcPdG^TZK(ofnoAE{(r({spW!yO4W{P zOPD#ODn1JgQT(Y>mxcRqgOp0ktMJE^s?C!x;{U5a$&{)Zq)x3`1s6g*Jhf^!)d8WY zRU1v-t0-F>c(%M0rS6X?3huOOi@vHVr|~M1twdF}D@rZ3Ns{s<{stQ-DL>-FrH-s5 zl+Q_0MvoZxTFRKwO4h3* z#=bUO{%>4hOxEak8@*E%Kh^M49X~ew*zr>XKQ-}F3qQ5-QwKj9e(K^!$4@={)W=T) z{4~VRefVjF9|wM%_-TxvCirQJpJw=JzPZsmElO^vmp9wrY?)C>E!-TO+H!U|)xBAL zx8+Z&`qAdZjFvBzSDSD4ebBP{y?BB*U|!4F>HxShujTTjKlj0$`7L*<4L181v~(rG zyhSZ-zM?Qy=S;pWi>H^y@gIjLvZy6q0$^NVS;71=I6px=nX&aT z$9dqFc!L?+vbORFgb@4AGq#@Y-R5xR2WqkAcu`$Y|Bz+be*ouY(pp!o>W##{1xSX3< zcZITjOwJTo*4MO#5USICjB{#J#to)nM;QoFiN~9mmqgcPYttYh@u!T7`0=Xlj5mTk zg7~ayn;%9p+e)cWhv4}XkY_ngvWas%<4A>|jQkX0Ih(aU7lN18B%a8zZG8999Pk%G zT;hDj#g>zLTtM&{=Hicx)8C|IKg+gD&1fl9bmmE1<9S@9Jhe0BAA|s^)5ju~nLlq` z*@1Nmge6|gv8}geq7aif&bZ(!YL54^Gnb)6;v0-}cmqeX`BVhw62z_X%t7Xpb>rhS z@Jl?*z_=&F?6R(9K}h0Rh>g1X2^GQ-8rv0Ik09~aj0-G}I9!B;#Mc;GZ_U>L`%=XB zFCgW`T}f+_N+}xx9*N&zoW+YB%5%Cuf}q5!5z9=qEDobT&oZwuB*4i^xEDvHmNjQVCb#KOZAtYljV4P=p z=wSs!CEm{1`i7LFkdXK?Vp&F8J~C@1`IZFs<%p~E8K;A{xoX9pHwDk~mbgP41f|qd zES38Y)qpW96@-YyvrU{wwWvAQqLmPr_#k3=f8P4;k~5&LKzyBJ7hk55yvoXxz%6lG zyr?7Vf8Ilc>042HLO|jGW9!X;5QHUOZpO~0?xF{~wg+Mo|H9a|oEq0iwp|fQ5GU7@ zmwM&f&IQS)gjj_U)vOTPBI)o(t1hLGB0?V!(*pwwM zG-I!&G(OI;uRucL8zw$Yh42jHa$sMD*pWxBrE@=#%lK*VAWqJZ*htE&5R~#CvV1P@ z9+txL%OE20X2i1ISl%?xpFk`#qLbx;3T(U* zPvqFvC)DsVj>Iv<(luLA*$(puh)Mhh$4=$D@O3$1Sf&!YKjR{_>|5RgoNEyGWo*5d zkqLgp$&(~DvM~%HDZiBE)46STWNSMhir9C7aq$T%G;>(G!QlmVD(hGh#d9nn?{X}= zXSN6XTC~=Uv2_oYOz=pY!#JHUk3G!JEQFxM%NQ5&67!{m%uIY6voya96o`7#M>AbTQ(d#0Aa+wlZ=aazs(k`{7()q z;QQQW_E!Cze9gBkJZ%Fd(%O@Zi})sbEmk)aoa+$3!8n)q#Hz#C0e*=;XKa1D#x4jU z_Wi)vx+eCvX|yKwHOZ{C`7-jgXeotEQwem3gtX>o?D(5%%3F*_f;}Jc$B5lPrVq|UO`DI7(w}J zUJ=C0=F*vNjIA5nJr5-kzr{Gc-aUrCm8=z)>#j$)Q5HOgJfTJT7GoU!$( z`2++dF29Ogvu=CifQZB?j8h-0WMoKV&X(>FmpIdmZCO+{4%9CZ&p|9p*t&VfN^m2_ z+x*7QapT9AU|l&!sRWL5I!a9!s#GwH?_d{dujZ=D@7DQ;!?C=jZ7<`jVHB+^x1%g5 zk@y3~)g{Je)=v2cE-8 zoW;1HO+_Qvtf_M$A@LH%)@PjYg4!l*;@>j1uCVya2v-zGv^<-mpYm&|5DqG)9SYYW zi0br*5X+>bzf1Wvkt4qh5s5!!Tx@yw)oO@KyoIs#so!rv-HiAK z7i^o?*Lm2s4+0WrG0wU|m9G)wsSuWUF=N{|l;9qW^C5=V_cdeda=|;M)-zPk%znAS zI&!99HiZXRT?cS(L2Ew5vMyU+12hc$5>MpVxx7k%YnuWPk~nHA=Oq(OS@|xAO8h(H zte43fjqyE@khpF>xt0?n*B)a0DA>0m9?ZDlC{?%Gj9&$h#39D1ydO6k<6Qw7w=W z2iy|pact|u^92wNqdM&>_cqS9n0N}S0EwrERLPa zYk7LG8_U4H9r0I;t-A|<2Oh+}tBiAwl+ExvW;Dy&J8WN)uc^F=_W3cq(J-WBZFi-GO)$Zl_XFd?UF2&q7u25|ZrxR)@pFR+icqC%kwOL;-hO06qUc)$zTh)XA^VPW%@pp`^udPtPFLBLH zq`a6fXPBK6t}c-HamHEAs7>Bs<y~i#&E#F~0y5u@6*wV?3iPgwQ~60J96F3+2t*{Fz}ULo`1=r-cqQXJ zu5leW_6|@B(7WRj8{YlNg0`LH1$E`vHV6J|X80j;BbSYq-^y9Fj_TwC9Ik^ihSoYGme$f+*$m*& zhz|h2#3MPjQc4xRF2|k(A&JdL^zwMEt(gNGA&S`d4aY9@5E#Umvf2z>nB>g0c1a@M|1i#BIJl zCoH*ud@Z)z7pMnOX)T4Z^%2VckdSyB;~dL!M0^tbAmTZQWj|zH473D1635KgU8$?( zEj*Q^>wtkWD$J3(CHK8$nbQ0pA8(D5p$hY$l}TWhKZ z*xZa`FSsTC2eItT3N4pGYeGQcl-*=o8A+AwHICf}!V(7=TVLKb8)6dYF}7}68HEzW zzB7zdy;K3X^HxeYJnICx{45)-zK47JZ_F$p&=&lM(b_|ZjTr^^1*sfuAcQ0iGPb@D z?>&f0yqs|rerEnjj=cdA67NU+|F`qSMX(=1e2Zge_MoI3=h!vCBXOI(54+)9SGPYS>1e*-@K8A>EB;n)R( z?=isRj5Tl;B6c03ly(|YwoAZuZW6zaSXO}ap2hu1mG*?5TLALQ`+!5&9z0};zoDYoqC_X>CrC8B z7+ZJiSpfkV`zYhwLzIQ)-V;Al?7NJMmr$C`7jxr-3o`bjN6EHzPxd}gBJpU()}3Q# zf%7EdWoB&4?q$cokJy)BY<;HUmZ|klMI*sxsno_E;PBk7 zREgWLp7MoczL2lx*5UAa5JGkOBPJe3wb#s_eh`&73$eUmvy0zl%#oFMAR+N*9NW4? z85it)hxj;S>+X*iz$38|r$Wo*cM24hBlQ{tC2q~w`bbk6L?j-J*r<(Pmp7sfWZzz) z*prOd|6k8%gL)ccFEV4FqwJz@MOh7Q#J*#QFkmeE@Q_AAZoMo2D)S3JoX$7{4&a(HbBp*p?2iFpxLAI9AwDsex?h5Uk^hZv87gv2u$ zTi^- zd5!TS;Fq{BV%ezo@Y}PPDkC8z@pO)D-In)Lh)TScvGq+R+aZD2_aoy%o=w+h?f-Fj z`lpm#cs^hpw(rPS>zh>Df#)n*^D@pHKuIynG!udnf5_OnDcCBANc^p-+_F{2MTkpW z{xsXRJb76M)N_a%Gq!Cb+cnwcuHcq<5aaY>YIiu$8wYN&wXWR%%Bz_pNEJEuBX3v20C&bwtJJ&&V_A1BD1HZ(ZOyvuy zEX-c)0E8s|jj{ECsfrMlxWV`2nk|j8r7A0b2oe(aW1M!I`ejo&E&(V)Je_edUpwB& zv6q1dv2VYroEvFl#(!eC?2!9g9t5)eK+fb@o)%~X5oyiE*fE!UZN=((L0sYij8i+( z;QJ7tcH+Dsfq03DEe|nn2DikA8Cze*aRmYr*Zz@QE9Q*^ylneH2uti|Y~2)Z6vQNc z3$g6Ii@5hTd+7yGBJmoIoyYsxHeluZz zKnT_8T@lN%*7|m#-Vl{IXkvaQqYhh}0SSrMFt+YgiMNC=AU@5ut^0K-;E}lgIkKH! zlbTrxEAIe7iJxYy@Ybsn7~{HLiQh*o8;bQAJY4OEIC+bV&C@IOB4*rKR%d;-{5FRd zETSeu^#yhR#NJt+tZf7VRHwH?EC>EV%aw`8AS`hoj-AVw80xX}84#0r634dg)tn0@ z60hdi)|bv60Out$Jpei`v?#`%+|Or6~B?gNj+T@vJ4&ijOCa_j*Rl=uzC zie)`)E<_|=!`NooFzXn^CH{l4gQrWiSh)?Tv6IWiL~}4W9!TK zMuGDe#8VmPl_P6wS?gl(OT3e@BTjfSW86MS;v0x%)wOOlUKyeix4OvH=S6a=2gmk9 zLgG<~W%o7Da^Wci_A7{Ib8PDt^|)07V&7iI>2HwoY*zk{8E&~KRQ(b;WBY)TV!mXw zHAJMfG{*U3lMO{UD=-ecD=cx4vGtWa?|^z0@hZkeLrD2Bj$H_DiAxw~^6NLuAx43K z#E#44S}N~N`#Hz%2w{oS85digj(Ztm5>I7Zc!@FspQ|#C)leewe#W^Is1-iO%CCU) zSHzWnrXsZcN2eV<8ROMIiF+fKy}FHCLNepA5R!NnAbt`J**sW_Wg#~`wQDXLj9?Ex;h9v5(gPuHx7Cqf)anuI5VZ9q4rnKmLDJ@ z@omOw{FrM;wp|0_5<9L)+lo@WzB~i^xgXTu5vLm%Z@j-jt}Ra@JP_Oxk6@gdOSl!| zDG-o&K4a@*W5;z$L}Ru#65J9`G?nwx`JRk% zKMjeOG0qxFvF~HN2f~PbKQmVN)fM#_-^Os6l)rYGjfFs+-zg~t6{(oaGxAPQBCYjh zY<+p;i{LClJe9Gsi|W)oZY%iApTsN7*kdSPHFhQjA;i9OjB^H2Ho6$!BUiqAZ~b-V;8O>mydDmTQXc$bG_=H&T}-)zETARzGvh~;>iBlltYKL_q)Eb&(cuBJ@o$A3+U3lNi7!D}5dLfn_J_5HOkf?wj-85i+N{72aM90*DLIpYFe&to=*FCmK9_akGQ zWjnKfIXowms&iG=+5l(pMpCwuujafX73??AnisLmr;4wd5hz{;cqD#@an@^Pv++|1 zO1zGhr}BGzo3hb85JBua&p7jWs_o_}{cSUvWnaQ3*T~o6;U(&pyq;DuYY^FdI z)#=>~jQ0|GuBx+lV;~`Mh;jN9N?VXIfc+-o^@yc2GdfgfKtIR8Bk}hf+q%)mWe7@q z&kf2M>pRHXK}6zSj0+l4P3+1hMnhcUw;5Ysj*P1UOA&8koW@(LJj=1a0k_0g8RvdU z37f{a5(Fe}{x=sI?|pBkyBmZNm-i!v(CDVMR6OsO^3zy8(=x4E2PG08VQk&C6K8z4 z5LftzGlEY?Ut?$LfnVYlh~-t3mX>`|@tjZMz8t%Vuk567>@0{%EErq&*j)z+i4QZj z@#zMS2+Ad}-$tz5B-gTrQ6V^3c?0lB+=FpyOTs?JxV%f^nT(Yzs{0)ouY-uhUn7>) zCyzH$XR7=Paf$D6?1HY;DPxft2R^;|FX9JE$+b*=x-6CP6X2G3Fyq|ARKk5YWp6`3 z;suDMZR@L%*Fjj~9UMEg+`Wd{s~r0<#1Q+wXYANa%BQgH+Z>+5r|sq>LBGY>Xn7kq z_VoXuwI>)C@tWcPSluY_OFZ3-&5hK-cqxPs`%W;<+e9-Bv-(^!!@s6}3piTU+vH4f zQ*vJ8@Me&Z*19pa@hgqmGadx?JBY_K&dR1TZC!=<9Pl7c-Y2oqVO@lvlrR4;Su0#Z z-kDRnrVx?%QO4Ho0((PT;c4ii+cM-2NW4}U4F+10z;707b#5ju=gAU@@ ze{*>53i7ED_l@l^3n<7?0p`Z8$#NTX_k|!W>v15ugr}ioz1l1 zIV$wG*oh@`6G+!HEqami%cOCztF3ULMJyYIb$_y39IcqQ44lDAYu;r?`4!tWIlMCj zQJp@VaoR*`zz;B<1QChfW9&FjuIh~QATIHC##xr_dX9pcg!muExjFw&S!W*SRF&-U z8`jolNtCT&)Wl}%Ml?ZW7ZPO)h$Nu0h?t-vIxcC@5pmRxI3NPgw2o6QAAKDiwh=W^ z5x3_j%^-`Qc6=&~=#c2V=Q`2>oB`iQcvY$2nU8%YfAFEt_tvR8`?>d?Th+Q3yD1=e zFu&24ri`>xd@VAcMsdM$;Ci^=Uj=*zH3A^L%P}8*5;_lI9vd> zBQO4hbno2Oqp-5Q+UlRJEt!Ea11QvywT%U~V^B?}I>EmNPW+&g-Fs*%qO{;wfo&&$ z?^2#|_*=#@(fF+(I46u!%RAi}9n{tozVVm|TL)2~g0)3~?I6TUC@y#na00uzF_2zI z4UEHk4aNX6^AN`$E02U+e=Xu_i1qBK>2@f^kyH|GbAbKWw_XOZW#l`B@k0jJYjey3 z-b7KsIp9Xz6W$KIkCK9q0=p}83gH#0{Odtk!J{i+@~zsYW@1`EMZxz07p_;`y&?TD zc}``_fy&ASwu2eIO(DTw0^9x_+ftq2U-7APnK+zzs(S@8A4zG!QQ(yIz1fYF7koc( z#5xJ{2)Qa5XBo@T7_m+>N8ZkR6cGF+@Qe5u+u(K-7u@4i6fC7JX-wnoyx`f4r8hc* z^zL*77OLB*N$_eT-AC)(G$^m@jKjNuy-PInyD?#M6g8blH|R7aI|uo7tkm>~72|6F zMLV&!i-2v{eA6i@coA^!ORb0xp^e}02;K-BvqEOuTwnxDJ!QtPQlvQ zcsi-A{%Kl2FT;A->q&iNhx(U}8;Ch%Byz;Ms(thz;bekMuY@O3hdbbYX4tfZdk+pBpGHcs*lj^%l$L z`gUqy96ku?2tE=pd%>TOo_k$4jVDmVj$JgnMYu7~9Z)N4s3h7hEaNUtC)}l>2+kbx zb!EJSu@uF2a-5{7;HQASN3@Ui#D?TuN(w#*?6$&Jw4tov0sLk~GSA>}keT2(ppf7h zz)rJPyQ$tddEAVXzQ7B5=irtshGLh+ONjZLNk) zojhu*?E-%|HHo&Vz%7nW6H_6!kV=AY2lnDi4V{4s3?~{3LJ;Up1T6brX3`XZ!|m z4l(jH56AhKLV}MN-8kfFnvjow39dceReq7J@M_?e zJG5_}1^fcJx-sSue`V={<+x}c1q6S?xID3MZr#GXEC@cWn@Xqd)W*07nfIp#!4rX7 z)+!zeJe!&XF9EjQ{x?ub@FpXTsa7XY$Js%??%etQ3hcjMGw+Hf`4Q=n*EHP&r9HZ9 zQS4Y-Ln+DGRZV3q)#zNMBjH(yao8BacLUpT88|wd;H|)RT$m5Z!|pGteuVCg-CI{< zR|*OCvg<(69eYzJr!;g=raHk_0~ZjKWj^q|W#1ZAzXwiX_oaC_PL}c_y_>N#VWSoP z=K#5SGCl%n@Auj(cOdgF6cEg}-DT672Pt*~&!o8EtASe%YwP%c`Bp*ja^Ms`@ty&^ zk(wBXKQYqQ8R35*J%YPKZAi!Iz@9qGgVZ`OI)Hq=SlbxjW^1OLM^VAI1KYto)>2aN z3yh_nmRj|+ld_D%2O#Y~s3rXXML7hq{doKGHM*g@N^P}+0rn$L6>A#@T)+z^^I(tN z;xqOv1pZg_>#fnMnnRsy3RZ;e(F0XW(28L*m7)V!%MHM(kF@n_Ve|u(6ucfd^MuX~ zX9Dk{tl<5?Ied?7nt^>?3GP;-6=p|q&@8Y}X)%9&a1MhXdj5YoNsS`UeJ zR44ciNGIU*FbvZ^rZnU5R|Y?*1=|hWrdE}@t@oSVknYF1!bw=?INVkZYYQ2%!8-US zBfB^S1mDY8y2e23G3%2Q7o34~5C;m@Li$r`U>rVXFgE78JULF6L29dWDpFvR7wO*9 zw5KJI9s4>JZBu}4PrwVvSIhV|-~>Kx;oI%elOIovFGV^B3e(Brecfi7HF+H6McaJfSXSrDbr8FUT<0); z5;!$owV6jG8z~@o7qHhl!Nw7&1Uu(SE&qFv1O7HbaEP%CjYMbFy;6IfGnbkKF9vS@ zK1j=1@}KscN0O&tsB1!5qv#kF)d?F z$tx)u<%sQd?8}gjXxSd}!kHL5O%`mMSg#-@=cCZ(j z2Rwu71TO@(V>U0NwBW~0<_OYj+M6TT2!0*dy;FPFE3o_na-GM$>pS2SVr7ko?oI(U zIRf8{=Oeuu=?N@+MjIc4=j^JkWh@opu50}^mmT;EURB0i%lov2k*TwRngs7a<^{Y` zp8~#*N@DBRz;@7siXm#N9hk5$r;9OmjEC_Q^|Q8F5Oa6d{$wWV#gr7h2H1arj)WQ* z^8#fB?*@**4_g4ZL`A_}&sUqg$5i@MRQs>U6JT5eY{!)!L!m&8gcqojs}|#`pmo~$ zK1vII3b^@AEkGye$Wfkg`@ab;-(w#q*ATwGYN*;2yiB{o*|>f%1q4q3uD6~5Tt{)i z%Yb92XxqJn0{?*;1g{6qSSM!Rq$a`d0=oxmeV8TpQz|hI9|N|-P_@4R)o9f~H>9U< zl-~xXgw;G_KMKOP31AspfQ<24g?#_3xsK_$hD!Yl{H; zt!P>EC@y#fV;OKG{!jNd6_9?G8U$~HbOGPpnb(J3P?O-3CUXSYHB&@yDhVDnLQRWU zhp;A-Zy4iifHPsW+$@J2VO8+Mz|AAH$xZ)zo|1y!U@Vrm^lH5;+e=x-;RBFP{Y{Np zf@9LzXP1Yd*&kW z$K<(?>!}3nM&{-OLS;~uMsCotXGUNTPM1DVpK85#>PvN;UDbGq)nB7C*lcLKiqe9A z1L?@-*3wDJ3w{LB?vq-L=Kd#3uCa{sklqicZ?lofaS8~o45`Up99!4gayU?LoN@a} zg3H7HN@|enm*D!ubhXu(^e{CEehoNidBFRSN`emoyZ@q9V;0h%$v2L1pNrI(7#2)3 zV*C^p9APZI*K2L`Z=$5&2O(WppuKS%s*!yn3*K)qjwPElinn!wJr`>m`K`E%e9S$_ zcobuqVeB|US5ipuExlvFHsF3#CwM4u0q*TC1fEW5!3&JE zPfPkZaDwuJe-CVjzj~cq<7@a3G_e0^Ew>-i9Ver{tNO|R*g7wqcbJ--Kyl8XYCdqL zua@m}WN;@n2wn-CLdfX>z|T^X;4Q!o&VTm--bE$B2Y`b(5#|FvPQD3@dxq7t=9#M7 zoMswAQNdFg%X}Hjw{C0pZzT9GNT=Y%)J)#1C@Z)T*bWM}nTmq<0_TqFCd*iUkUSF^ z9|JB}_e#AeBzW)?RO%gS`L!t66si+^9k3lE>rP4wUc*=lR`{-U!8kaH;OEP@x6>DU zcjWDGlTTv22bnioUfPQkU>q(1yI<7)WX5U5R5dyGI~~6(knJd>H)1YLA2cr zoLa7(`)S~n)Fk+izzM`Co(#N=N`gN&(*4yKvrqn(e3KcsyF_hj?5@*=nd#ZVmEbUN zA+K#@GM`0B!HXG7HRks5H1dldABqv2hIA&VZRExbvxka;zhErO$iV*kB1J85oD<{; zGp?SdrUhMEUH^oF2^10>2X4V<@n&POg6agX2hLy%V2)F4rL^EZz>WW_TFunVp%xj3 z4+A@Q>Yz4jROO{=lha$26&_?3R#k zD&sYbr6|3u7<3$qTkxMD9fOm<4UqmjB^ifL0yiSW-~?cIL~Tlp(E9$qtpbh|TDG-i zfR@ed6=GBrZTACvr)g0}AiFeqE@9jR9K4Fhh zY|i6!skoM+8nYMLW>8wR-3%PDVj-`fyx`3SBYwvjkp45drZGMUoU=aEIZOe@Vb=`R zT^Ol7s{rZKIbE6~(ZdW)1?S=V;0Y~TEv}zT4Wex!#FidtJu-RH5d1i#8@Fq7TmQI!suR2nxE_zdb?4@A^uM&=SAhL~Rch9>y_9Dh{uVgZMzOiU?ZCIu z<^9XYI!Wulj^jmo4v+Ny8^-Xo5@BtVjhMB9UP*Dm^^D82bC1@2;3;YloP~7Dd1{Qg zU)fDff#VYl~gukT1&80pQpi1;Zdcm!g6bz;>9-HIx** z!DPNjb(?B@hq8>r-!PW#xP4xy<1Dqw3(rqAP&xqV!D?+Tv$?#GJTq9^rNE6iOE4Z{ z{C$+*df?PFoiEM7P!5VMIBW0^T8*adKA^PVqRIR@1qozcqP*bB*=lmGNr#5%5&g(D zlkrGkZ$HiaKhy+gIt2tT0{$(+?v6(0_flN&Dw8=v*nSGkAIJ%Q88{+wllf;RfrHe< zI9y^Z-Dg+5nO0TYHAhWuhI`MXCOhYHx-92Q2kUaKI|j#LzqyyOwi_Up_)&X=xw&3J zQNbG-i?-J?t+l;MNx|Y)>6zrZg7NjhK{z9<1%7}6f}a5{T&(@$DDdkP7rYZVhQ}vnkn-1Yg8yzZpQIoJ z=@Zl>xc@vfwB<5sB9#QkfgQN1_d)tj^37uWD6sb>EqAp``CAkfyx-u@RQDlBe@98d zr(A_vJF3#=faV#L6+8sEd5=n)?!X~Z1kV6=f32hH1L(e$JhK_E0k#AFzDgm%2N_F8 zPFee^AE{1o*ZFFi{}IhR4$IkLzTgSKv4l3sbHIxzFL)WSd#Pfxv*fe1a~QwKSaj#A zbr6~5=N$?N&KqefK2M3_f-A39)7+RYbX-f++XlhI7|R&TY-~MBCR3B(n2|2(EMp4x z2$ck9feTx-+y_yxJ>;9qxKPgg-(NhQq^RINF*VJ3RHbu}9!5#QQy7bB5v)~anp{X( z!FNNt@aYn_2&7sxZ2dbTE#X&Yyi^hcWDJ0 zhXfZ;9cNc{8E~qH8uL38hy?FdZuPFx%YS-rq_A0Sy5G5gAG^T4i!?RBumiWdQ-cb#7^NM&Q7+kOUgx z;!*(t!~p@w*HJW6bYX5}VRB?n0Rg`Re&gijQvm_?0Rj2~4pJ<@HRk8QvjlGF>FQVk ze*&NZ0;I53FHCP|0Rh451gh-q?(bOv0_6b$>G)YFRBr(R!teys@xZeL#Paj>S^)zq z0Rt~LTqkX5cyx7gWdQ-h1b_AR_xS6e`TD@KkfSDVaCB*JZc3oQvjiFY{Qdr50R$2O z1Qs1YK%oQyV?aP_s8OUf0f|XLYHS>klfVJi5ZNr_O4Vkyr5z>v{4aPAKeMI+x&az* Bfc^jg delta 303 zcmV+~0nq;72;c~iHvzbjI7k7xk%1Qhx{;YFf4c-L*4NnC+D8EZvjG6N!bT`#b!~HX zZCG;w0lWk%pun>PFx%YS-rq?90SW;D4i-u;T4i!?RBumiWdQ-bb#7^NM&Q7+kOUgx z;!yzs!2toq)KN53bYX5}VRB?n0Rg@Qe&gijQUL+;0Ri^{3sNkFQSj ze*&EW0->!|FHCP|0Rh141gh-q?(bLu0^$Jz=Ji=9RBr(R!SDpr@xZeL#Paj>Spfqm z0Rt>FTqkX5cyx7gWdQ-g1b_AR_xS6e`TD@KkfSDVaCB*JZc3oQvjiFY{Qdr40R#^L z1QQxSK%oQyV?aP_s8OUf0f|XLYHS>klfVJi5bIED=(`ae3Q_oC6OJT(^0TG_x&hmp BfENG& diff --git a/ocaml/out/samples.cmx b/ocaml/out/samples.cmx index 04d0f87d6c59fab9a9437cdbd12cef1cef61aa5c..ac1d98bbb281f6830a881f61bd02e3b114a503ec 100644 GIT binary patch delta 123 zcmdnbwV!LlT1J7JI*+}srfpp+tNQzoeuaSj=Dmz(8F_;e3mF-Y08!8eNAt;o%;J;R zF)!zi$YyY1WLf}35t9>GY?LBW;CvQV2Zse53=GN)ESeE9aN)`OSPBIkY#WkJ72iE{ M@tp#5c`xHxM&7{0LPo}eKoq#a(R{KXv-sq7 z%*(mMvl(0%ndSmf_~Zl@8>R3RIG=^p!C?Uh1A{UHi)MHXTzK+6mO_D955?J+bZ5uU Mdf_^GjZJPg0QVRtoB#j- diff --git a/ocaml/out/samples.o b/ocaml/out/samples.o index 9db00f590c7e37968d03c54b04402595df268fd6..e25be8e9f410d59184334be1e49618c62ff13654 100644 GIT binary patch delta 313 zcmcbRa3NvC94^L|$#c2X1$mel;6M<_VwrpuD0+nvF3129eKMJsTVM4JlBgn3^au){ ziGhPbfMLPpL~e1$j>(nW=8PGWH*%{pIsi#UX^7Gb2xGx4kSTj6+w!P0t^t!Nlh^V{ zPj2ARU<{bNl1Dym4N%@_BLjmDBf}8^B}Rrn3=At2HZU>VU|{GG_{hlcgMlIE0?^PH zMurIt2l*JL0Qnyp7#JcM7&;CVFoN`ze3-xp62Bne1oSE+gTTfnMusgQa}F>u)G#ne uYz*40$9tVe)Q}-LF*heTF}ENmwOB8$G%w!7%wn^YR0SiW$>zz@dqn`HSwpD+ delta 314 zcmcbRa3NvC94^M5$#c2X1w)t^;6M<_Qki@eC@O;{`eiaNx4!BYMz~T2MIdty3ZIFA zgF%2{#pFb8amERgE4j@XH70N5R%c`Yl8Q1Ar4mRwKxTnVVPTwX$D_vhWU?)fI%Ce{ zwLH?38+bGr6(+Cbkxx6qz_3H1h=E}VP@&O61_lR427!%5j0`sz7)=CF)|!r zV92=uB-Vh`H*D79z0Mu7nn-iRvTac4ltd~}r7jI%_zFA7Df|1d9^JMA0A^`8t BKal_c diff --git a/ocaml/samples.ml b/ocaml/samples.ml index 78282de3..11939124 100644 --- a/ocaml/samples.ml +++ b/ocaml/samples.ml @@ -4,7 +4,8 @@ let normal_95_ci_length = 1.6448536269514722 (* Array manipulation helpers *) let sumFloats xs = List.fold_left(fun acc x -> acc +. x) 0.0 xs -let normalizeXs xs = let sum_xs = sumFloats xs in +let normalizeXs xs = + let sum_xs = sumFloats xs in List.map(fun x -> x /. sum_xs) xs let cumsumXs xs = let _, cum_sum = List.fold_left(fun (sum, ys) x -> @@ -31,7 +32,10 @@ let sampleTo low high = let mixture (samplers: (unit -> float) list) (weights: float list) = match (List.length samplers == List.length weights) with | false -> None - | true -> let normalized_weights = cumsumXs (normalizeXs weights) in Some(1.0) + | true -> + let normalized_weights = normalizeXs weights in + let cumsummed_normalized_weights = cumsumXs normalized_weights in + Some(1.0) let () =