From 871419d6e2fc948b1fb809323215f67d7ed06110 Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Mon, 22 May 2023 20:50:42 -0400 Subject: [PATCH] step: find oeis sequence starting with smth. --- index.md | 11 ++++++++ jit_bayes | Bin 135680 -> 159192 bytes jit_bayes.nim | 25 +++++++++++++++---- {bigint => scratchpad/bigint}/bigint | Bin {bigint => scratchpad/bigint}/bigint.nim | 0 {bigint => scratchpad/bigint}/parseutils.nim | 0 scratchpad/seqs.nim | 1 + 7 files changed, 32 insertions(+), 5 deletions(-) rename {bigint => scratchpad/bigint}/bigint (100%) rename {bigint => scratchpad/bigint}/bigint.nim (100%) rename {bigint => scratchpad/bigint}/parseutils.nim (100%) create mode 100644 scratchpad/seqs.nim diff --git a/index.md b/index.md index c771709..b238e80 100644 --- a/index.md +++ b/index.md @@ -3,6 +3,17 @@ nimble install https://github.com/nim-lang/bigints https://nimdocs.com/nim-lang/bigints/bigints.html +## Dependencies + +The data folder is not included, but its contents are: + +. +├── data +│   ├── stripped +│   └── stripped.gz + +Where stripped.gz can be found at + ## To do - [ ] Exploration of OEIS data diff --git a/jit_bayes b/jit_bayes index 8d532e71f9a47381248c8b029b7bffa93ef4b912..e0db881715d758973a6069f470c207c099b55235 100755 GIT binary patch literal 159192 zcmeFa33OCd_AXulN*PTYXmO4M3gUnR3av;SO3ML_1I{fdf}l)dqBulC7o{o7lGuXc z9Bqf#PH6{-C=d`+Xtx@aR-7;@>Wx8-G)lBp-uLZ&&K)W@fqwt>|E>4ddUTtrd(Phb z?D_0-&b_y$$4)uEQ(j)g{_7k$D#EL}ZMCJybgUZF$$X1MiXwv}z3{g%vRh;ew06ON zMW#3RbCp4}pIr@HXM7T`55I(b?ySub`)N7kC-K_*7w@G#_A^qT*TjqRtGUkod?>9W z*iYNBpmPYJOF`nx3i%_tVH-w3DH0_#zbX9E0Z=Jp0*V!0o5i zCw0RA1{=D$pM~h-ze4#NiR9v)Yw&VEk2CQ0lVkATnO~M%`oA+?vB8^CuY%-$mULJ8 z_S24cI`F8M&HZQ1e1;jXJv$T|x$UP>Z{)xU<1abv&;uu2y8ndnlS-%UKW*?~`yY1b z0ar~v;9y~ad~po=)Cs4Kh`?@jY%}D<7TcL?_TP6{cFd#|g+K1R_fJ=@yte4>2gbi~ zj-|md3B!NHHzDI*?~ZST5&83G;G&=t+x8TQNTlB`x9+@R%v%$OtV`Q)F+JYLqxiaw zcjujW?FY2eetbLa=eE;MUc&ep)=v8`?X*v6 zr~Tx1+AG>=|E8VxecEY1uN^&K(+>Py?X>t1 z<0nKWj+r=m+|RXvJQ6f7E*U>r+DA{E z5*a;V%*9jD6`3%3(q)&UVI-jWc~!}!lS@m4?v!gIV@FSzeASr9)QiXCFS>{^v2>D* z1`a1pj*Pu#>iCi|k+G$dT((D!96jygkz>b$;qli2ZA{74mz0hrV;mVDpfY(XSfl6^ zXllvGi5HKb6d7wf#!f?PN#ul6PCVw=kp~}e(4p>E@7uu#42q0A@vPw^!PJ<`#$Q!3 zX6jkPkA*m6&bs&#C~xG*%O*~qWXO+H&`?0;NB+-#b~e}AYX7pgOGuB!QZHa$?JT*~ z&KI+9zY}S;OJryG7u&WQKOPlD=g2RUpr~pe}%qwYh(8H^R>fK+t$pz0eC_^xJjK^;Tv@QD`PzH?=#=}~ z|KMw{@U?I6Yp?XR_wlvQ^|kNdYp?RP@91l<_O#HKp#z6~y&x@?v z*!N|8C#*LM7&4j$JX@z^uM7*wPiF?fiysqi*?lmWxbxjYs*G$Cg znr?TmnSj?d&2X=oc-J*u>0UG8u4}s3y=J0a*L1pj%>=uy>1g+wiFIAmLGCpZ>bj=g z-D^&8>zcN9ubEiaHRZY2OsMOce)!$W%R~zK-D@UL$nRb=aYBCgniD1Dcdwa1A-{Xg z#0mM`YbH#{?_M)eLVov}2@>+V*G!C%-@Rr+g#7L`6Cvcc*RbY~ztNh^xqdq5`q7;0`*W`6}WjWWSIoA_&uE*qD z|0(BsM9%f_oaHEi=PlJy|7CT&$BVx7F5B7o3JVw}frg&rXmhtRTa)stv zGu#~x*^14LCtA0^dTV}L#B@yFrm-tgRv8hQD&uWsy7CJm!)obRRXlTOCw%H~&{|?? zK|Irw98^+gskfao83^CwPbC^#FO46fR)+rO{jzbRam^WPt7Q0v~#ZmZZ>k#8p zV%SeqbNl#$_P*cL}MrTUp%v268#Z=Weaplv-NL?=fU-3RibEX#7ftQ&wr(y z9;>w1Fl925Xfecfd}tOOS0hR4^&(!<_}3Fp%vziW`B&bA33OhUPVo%W& zCgxb`=T<{^0WOJG8BaKQS4J0T$SjFxlG8-rT_KQ-ny-E$sCJNXBwD#}dEda`m{C?G zEYdftT=qU@m%+{SIt<)_t157nKX03gv!ab;EvBsfz)pzlXRVW;wODyP<>%{E;ft-Y z%BCK+svyOa18iih7Lq*r7YoR_(#-MYu(%HjLM@)~9qrTfPP|J)1#8VWpDXDq@bajsD<=WM4 zxnwE;WyJI!%xuT>!!Rd$GP+L)f*S{vX_jrcRD1i`UYWMhRvsS`t1R7x1jZ;x)Pl&Y6RT++Y{RGFGKKi! z&qn?rk*IU-I=UpxzF`%tUqhnf6s5+ZFyDGrgnVyPMT}RR8w`#O3e1OfLC>oWdfo@v z*_X&PB}8?|bld4;!ob%JBU&(w`UI_JHqe$%|3r&hFLc1Otrsi^XKN!Cf_E1_9rO#7!Mp(fogfGcAeyQiDSaUq(J)aS2*SZ z_+Xo&Va7VQXh^IrF!k(&AHh$1_3UZr46A1kCsLrE?Q2?m_3VcQIrVIwz(DoU4eR~& z>?m8$whh{PtW=nf5FfAV*LH$-Z%&rknAWGz_5+NBO!PJ%(!<(xy=_vzsEYSTt<``* zYMrx4ga%0uXSLN+YHCzl@gIDO>ww$KJZ{I>QNRn#l~Z+3!yH*3TP%J-hX<#J`Vd~x zrrm9m<#fo>{J+#y#1=bG0zZFVY;i8554QLiEoLrktI};eCi~a{LYaJ5E5U|;D>u#4 zUB^WZtj9X=^~*X%oZTMBy$L&U&Zk58Yt(K0%!t<7GP6>N(!Oa+Ka`o{4KuCE%taPh z>*qyX*^DCWZv>;dQmnNaepcv#23k~}gRwVQhf1lGAcaQIV%5O*BW+g~@@3pi;B%0aKa?3QgmU`Se}vP9?KHfWdB84*RNWe=&SMVO zP@(e$aNFqd!*4gu-C`X@@`5*DNThA0+=(6+4HP8~y>=x0_D-xb!4GtU|1!N_LmQW< zdQ~GdiwoS0B1$akV+0UiNYsGO+&%OR*7U8{|~da^Oo z`==ZDF=&{8WS!5yMl`*N(xQ!4maU~$a!Z}I5f#)Zf)ZF;n|iY5MR351SzlNoJq9c_{Y7FW$Wdm;0h63$Lc?|uh{+MAf>p)+h^ zdVolQiRo6;;+vR`?w&I-jT0D%AH4|Qu+icZd=w|AwrbwRQ}d1;syTOJl3>NU+EoCO zRR%GulXpGlZD(vd)6kM{e1Rd^J-pKWr)QM6>@cB5xrH%_o>Dc+Ll!t#=^jj;-T`PE zpByL*ZCY6^*Nbn_OTN{w?abmoYnFFs@t(?9twmyH_ms5`JUK%sL&%&xyUC}lfiR*2 zWi@VMlQ16wAqf6IZW3}!F;UhMDLDy@wXgu@x{zNpab}oSX_}&6^IFVyV_L0_PId@d zp6nqaE$OzPt7v!2N4E%GoI=#p99=JE!Z&~lJR6L^&V+iXQ)3=l7M8Lb>j1xK5$AGEnugS$Sx#LaPvI=4U4Qpe2%x&9z-?wQHvBN-U&Q5oS|e zviesHtmKh>wGRGPF;B9XEX9wA)#PVRG|Qmt72sOz3YgS}UAsDL$!zzUjBW-%`Hk%$ zQ~2w%~DRt?wc|#X7HHi-Ve&9)cejczZ-pV(Udmk zlA3*?`hA08c=Tdy=bq`TwejR@1T#xZ! zQm7+XaliLv&TQ9C8om=u!+6Xrcj(u4GRuQH|G1fDwhD8R59w}gI@vbS(=xqw=4Gb$ zk5}_!&|Cb#41c95wVVZ{E9oa#V)YIR@V^tWhBwMKUxvlx3^RbsoYlmux?zzUv46Hm zUc{cV!dL@zOvGMjpxTMpZ!M9w5&Mqq`mZB)uElIGVzZ@URu&`wb;PC(Zg|8_w3Ih1 zVk@x@fP29`b0f9~9T!?O5&H*A7F({ti2Xw_V(+(riD1Mg-S*9o*xRo{#Gd=pCL{LR z5~Iz{irD+GX!6PIi`ebq>(1*KFDzpB`h4>ub`6*|5&M~bZO5y>McDxj=SJ*PJ|q*d zciSe7*vomD>3ytx4BA;beG%JL1wir(M(pU%+=79{f;ma7k8R-2kQ2$Djg|L?^0Ez) z(rqBWqx)Lgis>1%#|E7}dLdq)RgJecZ>=*1;jzO5xiP)RTHTX8wBQIb9sT+Xu-sm) z`vyA0YTf6E6sUEpOpCA99f3Xbz@g#|0s|97r{ddY)w-Xnewm2A(y#59jJ0ky#@!2< zq|Ve8;d4HmbG7L~+a$Aj)_J^fZ)|?slE|RtV1J35p{#b&a9Vr<=oMW};6w_n%Z!|k`wP==`7XJy`v|zut ztUNP5V{JduOD%LDAx;w;@xk4(Oas1DBtOPqzv3M|ZI-c<{a`%^wDd~qEjgH1+2lZc z&>_ZVlST41o=Fz63$y4?m__T8zkw$FMIdWc_0v5P`SWDZ_*}PY%S8LEqUZ07)6*pR zBdOzLLSD_U3s$o!S>TQTl2YyOQH>`SvOkhP^G^2Z;0qM2lMgJdWKzjK9<@3J`)G__g`@vXBICpyiC+Ee=9(Ed8FA0vtpiVb~{8I-x$QvY^>}qY0oAW#lf5b5f+T5j*L3=#v z3}}E#j;H_RU>9#^yNmbShiIFzjPZJbJEIKT%$06m48-Zk-ffatTPSnUe|I~~|6eOz zvlTRo$rH==Du2q+8(eB8Qu|W)|4qNPGbjC}6@vQ8h&wc0mimzH(xyvnlihBYbz!X| z<#oso!@(c81w&$OF<1@RY#-sVd8Q>FIwdvh`CbF||2Q4(ZGmOnh`Yc2h4=w(7D;t- z20$`arh!fO`&apx>Og;;J;pAdAgXLfe`hFTZW;D~Dr=Ar$sDZgVVkV}`nv}!WM{+m+I~TKYikhZ9U#o`A($heNw&%A)I9>)AB<`R5?ndo_nuFs?Re!# zkI99XyV?n1a)j34_6Vrb0@IXo1XMp9Tj@JzuxWiiK-+j@zMmQK#|h(tKCQC%tj5zxQJtDOJ!5zu`G5$+3;-VxB#;HHhdyZy_j z{0^e;dnHPlkF@kdWnTGjm3dcD8X?6&@};xb{8x|yb5+sRC|IL-#|)o=${Zfwv=_gI5eAA1}( zV2zlKt)+^1x)k-J8n6J4S`mA^ybRsR9~HNTH0<%vAHRlAU-JlvddEX!zw{pu4Hn_$ zc&MROM|~6Z8{o;RW|>6U+(=0;C~z)Uiix^j&C%Lk91ZHMpD)B!y_rGX1UKtE#HmVe z4z%Y1w@DLEsEYfjF=Qw49`SKBC+fPo^-9t-9$l+E^%_FDncn5{F(@H=$vV^Dlog?~ z7Khs6)Hz#k7re81K752{r@_A(dZ)w%+ExxDPA$sU5s zdjCL?GJ`TAS=LFtfjR1DoO`!X*A;IE)wQe~2CZmo&?i(!R9E9A9jU7jqtKwZF@nDS zyaCR}xaSOUdB=|Dm@nM(r6HR2Fe zz>^f{Tq2$5X@W#>m1^{e&D6)U&cG$0&YUK*M>jOX{R^6-vg|=)O{9d4HAq-URx+^M znbe)bZS%Y!Bby2=Fo)fs6}0^jM58wuK&`-V3I=AN;(j$~2`<5+WH zzk_=eZEZhK4MN+m8P$>P_rfWCeX^KKJ+in&C(9ZSrvjr%*D~#zW4qF_J)*mcC4;dn zB`3V(?9qDKjeUJhn6>kLmoQgPF&C^>EYe`N8l%6aLmX^}=h91Ssz1y)oc(-Hoa#D?< zH8!{DAIOd3;`Pb1t*gDMDvMp@TB4yrn+~>3xcNFVt-s4#2U<8HRx#c0gHTt8@-wB0 z@K>|4sRd8d@gLL}tGuxXT~ls6y@4f6mZ#%u;V7SI=>XYYy9#vE07D7c>ZB|G-c23xxtjnKMhsq#-9yW}qvGPaxS58b< zsFHg9N%aN{c1anLKa(WgBH~?z{Nh4|bk;3rGETI1DIGz}uGH>jw)DM6%@ZVF2nFgZyNO$1(wdeA-xX0_MW&`#^8EbKi+g(m?TbT(-`a|vR zZwdSlIKspi!I7StX(Gd+3F`2~l7e{N3Z#=o-KiKDazCgEhLnW=k@7j?0^`HHBR79$ zYztN4C)zvO_Ih3d_XK%=#!S{tKg`$C)_?J^1t0FIgRL=q{bJh5sg)cEUea?c({Mh` zI{gFBGbPUzyaL}NO()`>0t~4gu`23)wQ~IT^HrYuv0%d6lE0)!gu19&*F?*3S@TM7hfyd`uG4glEx_JB#&rKsjnuj=C9+>XT<$ zJLQR;cv-$s8cXv{hNuuA6_Py_GV3>e-^G_PJ~Q^msTW*)Reh2-82jwcOOWHoX4!uf z0E5%Q%B7T7AI;i)`wN}_c8b%%MVXbj8`ae??aw~3|I9kEKP6Jt_++c6Hemm+jQ!8C zS{VUo-3&K#d+yVN=1CBLw0*QhSQrOXb)ej*r>3AMsH;12e^U#l7P8ajbKc;Qw&&ZHt;dpnQ&Rl|RSGq{^pU;#eh}E1OTI?!Q*u?{>E8 zezRk5LLCQ1?4@E=piNSal3F=JNl8|d=N_v<;__M)>n_vy#tkEJrIk;jBR4Lux(AII zqDhCi(hO0bJRJi0;)j>z3#HK)m%LW_`OU;7oXwlb*DBo|3|*^*%G`uYdHn_-i)q4W z!JVAHQ(AAHrE2h(sBPR>JS9+~ZYLCtZ=s5U(BCV;8w^1-RhFB~*`i$+Z^l?;-5)Pc zqLkTG@?449Jv4b9NbBVq>8-huNK=pX*oAobQ%Pf7^eXk8T9-o$@IblosR6vm^Tb(a-fE19o`Id&7Cq4d zr=xc+Bwp58v{)d(Dj)#am7kgD2|5DFR@$y^+O?nUV)1f>-0PU1*^7z?`XM?{;~9o4 zuBfJQlh1FBR7vuTO2vWWcP*2CXmIA>2~h`Sbb ze^m5o20a^_se(rr33k@GX%Tl%W)k*Dg+0X%m5$zRfR0`W=Zr#hZUXS=)O~#V8uZ}Z z0p%AQec^w7a@tJX|Fcg{;s1;2AW(GlR($hb9WW|S8% zg2C(-Hy{?N@)uhquFKQqa|;25n%_d83n=Z6X_C&3}drDcSTaMs1c%*isaO)jmw6~!e_qaXPjuOi4#1Dg7#Pf)Z zza1=+q&Mut0r^wy`rR(wxIKr}%)#vYLi;}V_oaBtIM2h({5qF1!4$qH3#AUvM4z;1 z#+=TQ->k8M;-7>SyZ;1d?I?fB*5ml$N{kM4rbjo#fu?>SqH8vQ435gMtA}K}YS2Sp zYiLrC|JZe3COY^aZZxZczR})KY_D}rDhg@tcq6}fVP34-`G`kbqN1QnUiwn5l;NTB zk`6>k&DVB9rDBz^?~1{91_5cNWt2Rab#H-ojrY3XgLoH9thQtrHL$hzpBU&b!t|~x z;M;{jdEY>{1Yq+EQl~gy;UEw~*W||GdK)E8p_iG(EcwE?IkzI;@qSQfzQ_nj zvpl34qy*XT_=9$p*e;(ww%4xnye?NCMI5(}_74g47xl6F*g?B@40dDULKr-+3i%fg z5<(Pm(R^QGDuxGy+|#j*(xo!8W@Q(yjGNvQWi*_uN%9^GED5o^x*vMsp(zPFxut_- zPEp{A;lO;Q6O4$B?qj+-1rUN$Ti^ze`{w1CRHO)hQ0Q`9@KTcd?RcSPedS-+9eD_w zO>KtTKX_& zS64td)Q4bhZrR;7SvK99TMh%GVK=udem=~&;mmgTm@PC5y>PvL`i|(;P1JE!VzXU< zrLk8quR$Cy-KD|i>=PC0H4DYP%93J^aFX^sX?w&;i@GA6SCw`b^&@XL$J`a<$qIjc z03N9U+3E=wNKObd(X%a(*)Vr{{$vwb(4=#o%hA*n#3fGX!d^o0ja~BK{ZG1tYG+D& z5s#15$DWnAgm!7x*DL}TH%nT($uiMBL zhk>b&J)@DI#tK9pZk3JPS;!9+v1cIUGqUAey0aQa?pv!gtI@kLuLDSSXDysJC7$MH z>ApJTx$cmdb95T@4|%dsdlonOA$21ajeZC3K@`VmIs}W1O6U9U#648DZou009Da zxj%CYPT(m$w({uS?Gc$m)+wgTeb*rO88s&1;7ik7@Hx_A-;E|7^CIp!!eE2}4f#mL z%BkcFRG!_(3+@(xGC}N zrZvE=Y+B8~a=QVRC*BduNX2{1#WN0|XB?xnx5Dj3bE2*gBgoOx#o9gIbl1ztKKbT0 zJN+adSydXraFNUKE&}0~tUt;T1=Ir}4_1V`M90bV*g&FE;a-AfDx02{zfbcoMWjN; zD9)Q$C8$D7{GsMW?^x}9*7VjVk5-Lqgkw*KxA&SO0W4rEq#r^MOtroTY&aNK@pLg< z!mXqSy3i_#i;$n(66|s8@jCV)9%o8NcN)BbZ{x~Ycm5kLSDcL}7-{6zgqbY-Nbw5o z{mk~V6lB)ddkY&TX!lavZKoVg*2phgacROWD(iBs&TGMX5zdCSUXeQN3_M`A&4vB}xYz2Q+`X;2)#!!t}Bf~kI} z^$m;+t>kQXJ+e#{WuDq8u)sQvx=-zF;0?60YtzZO0IXF)C4o(wuOIO-HHteZ;q}V5 zYFje4)|xq#u^!5pyNhB@c;;IqT2fD_a33AFjH~z-zug;XC#Uvnvddlj;F|L20GFYU z;NI;q_+-rZR49X&zbcw@8Jt6x!+D=Uno)+rC=$8mkF@xm+IPOM4=vZ^qfcraiOuE{ zY>3u$MX&EYhI18tCm%X!U&Gt+Y6=M2%f;+NP>guDqBzIdAdl6gmf|_!)QWeV6kcZ> zy>p0p#b^Ga2JvsR!&3H@Rb8+k-QusFftMkJ>QbD~K(sA1E>O>=kuS3hgz9i_-u!_c z?wAAkj~=k@q3ih{BJo6ByYXmE6b6o~6OO)Xmh0uuQBN<5Ko<<#tGOR(!xnc{*wB4K zM_GBStCP9yPWMnN%`-nwD_s8oTmc9n@FEbLGXKIgM5eeAtrdoI+&e__>yB|H zBs_qA5mY?k^1zyq;NABj&$eqvg@(nQ>U%WlY)d`Vq-WNF1-tSF#C^)rNP`3y+^}j- z_+i$O*Yq%2yMrh2hiDD%Ki*O0V{3}dDSTykTbKJ)U5EUwKf0r^eSUF}zlF-*Vv8g* z1T|e9pRu$H9*s$#RoMlXaFs}ENi8z@#`wF9yEmj_FVI(TQvx+!Zqa>`V<2{oFr;-6pPxR~DDi3`vQJ8*~uCS%ksk~jOI=U3oRvI_*Nq9@hmEuutpC!DFbK&-5@UR|-uxFYf}X*}T3 zASQMKZY<>xuW9%6KzBfY$5nO#)d!R+0zu^C&9k5y51?&^e5f6q4?na1QpP#xNPDZs z=m&iMQV4%>z+ejoqC>XICtqU$X8HpX+G>RwTJhO}&lY!EN-_DWEsK>XYmDFxL+Mx} zk?*Aor0Scav^_M**Y2|iH-)a#`vCy7{ewC}Hn!eBa3uy##n$7QW#5XqsI5B>({Q0X z$2ttRHCW@)3ir=veU2&3bmwMRT1ZNm4B4bUAy2P){du4_e4x)-3CLAwYt z9N>5G4#0yHaG3$rQu_c%;6D;*%lnrKPu{!PF+h!K2)?<$pYra`pttFGD?Oj6KKdo1 z9W7z^5_bU>pmvJ5x4X``PqZu>0hR2)yk@XvQ&4Wd<%ZS#^0N8*v{mg!*}{f15gxGZ`@+Bp@)swxi`s)LfyGKT&UgrLP>FnIxgg0)Vp|s%{;Or z!H&gbNS3};fzGkOqR`6nLiDn_mI=5vo{|=)^^=fUYUVvYeGg=Kr%Ko4z78)vd=2P1 z`ui7Cfx$5MUJ+0LG(alB%_a**V@ zDd1|Bb4F4(_E40PFqF8N+th;G zbi~}9!U7pX^;EngT|D%%{?JwS<>h^s>%=>edw)2Boxa;T)`}k6BbBZMxFgmjnQmsuX@8^&tv- zT`nwLL*W5*r~-}ffONl&;p;tgAtgSySY-1Aj=&p@^+D}HN?<#e02z&-G1BxX{D&^@D zsLvz-h-J++Bw_w=%@Do4IR8}r zWD?f>!c?VzfVssw+P-!)1E4h8tgijoCh0Fx0!;`^wYk~jba(HUD!_6Nz|Z9nfxGbp zD(Y2*e858b_p(jAWSwuY0UgiT!4~^AHT$*rn$kMMr4=hTD)f(zYUD9&{eyAjJpAXK zh{yvd@PCV+SXd0*MoKRvqgf^XBNCU$?B%+1X#h|?PPjyhlQgIM*+5*bh_6^g)potO zUS9M5t`EGSaI=GO*0SEo$UhZsf(s`TkZWbx^1p`yVr=u!XORo5#!OdM7K&>L>nskf zk)<7oZ|NXgx`<{F>YBrG|%w|u0vNl(C<3ydepgd>}EAht${4fBYp0q5xCD7u>Sjz}qW znR)gq--TzPq?PN}N@_i75DHSCJXLgJrvll;&pLPN;Q^*NW!u#i<}f+>N_|9K5f{4R zhg~C*0E@&SB7i(5#%?WEJix=KqbB8LoZ$t7saQs@DjeNfnxWc*-7srb)cr$IC0iOC zj`OVoM?7H7B*q^rt6&o6i3aG;auD1RKQQCXyvxe%S|)s3_gsxN&To~d1;tsw0{t;K z1E0ocMbNViw$A`O+5@g3Fwzg|8dKkBk$V^CVY_8(7O~qYc3*=nw{3CBA+9fe@d7Os z!|{3SS+&vr9JRONeY?Nw&%jZ=v$~@*!_-_JIF)aQ6eBy|8mOrgYp1Xv!4j`3eCx4T zW0PvR){YsfmciI927{^tK%AzwJI*56U)58Utg*Lsx6I-}v3i?emAM-Y^`0zj&Q!pA!vKc^sAmJ& zI7^{QJt%~WRQr}kI}}EzV+FnN^(Rz4BbBdD2Dtt( z*S*hgI7DRvk$IvU_q|Lm8Kp?oKBT}MeHUwgh1cKqjy~MU0e?+=K1_B6u|LQ?)*ocq zyyTZH;@y^rI(YLRH0X4BGsG7wQ$gh{+eC=ItHDC$e7mpf4k5~U3eE$g(S^i^`e@M9 zdPwS~x*S2+NWitc8wgWL$U7+JjTX}j?&|me{+b~I9roEp!Oro(fbGq^yK48~V7EK% z7Hann{%*cSL;Z6v?fp-G*TPsRGrtT+p5a6(=H323U>=W8Xh3<4?ycR=*ls(0 zWZ)-QrXrTk!kN5@CA>(cqPh?&bQ6;dbpY4whx`Lz^sXF-f8}N`<+k@A&h{GVv}0e7 zkq|qsc?^T&X&d)_fZMY4hLl*dGxvVo&(jH5&-+4HuOS3pbU}#MJct^cEJ2cL_jD=Y z6pEmLW=a9{T|Q_$Y`O*G#W|6$vXIbbdJdi&zIBsN+G1o<L1kzQ3ykq$9tpVJ`~kPF8#8_lmYxseJr#6_z`^wa!k@d+(`*ly3ER-S zQ=^?c&f2G==sMN#_=WO#i3OI}Km`Fy{K_pcCYzK@Y50sW7ePDl7>LJvQ!vgxe$;G{ z8xUV=cUP}_E@ZFbDFhFOU_}4n&{+)#1{RgNk?@rw|6_00H#$P*$r6gXVdTo(CUE=a zW6J$?#eK}W%+Zlg?-)OG%T`RUf_m0+Ngqv$*vCVxibr`o=l(`216_71x`!>BFGhB!&LnZY!?sgmGEjafR%SUY5>Gxz-~BtTDp zO*%s?u#^IU$*I+rt$^NFp?i4H2s>BiffQq2eTW#xBsMP=-_V#M`;YI{k)Mx!SlP!1 zo%K2k+-@vxct?)U8I9Y8aai@|97T_^83SD$o83{-UGIejk;s#vsZa47%_8y+5aJMI$ zUa?K02Z&_Ozj1zx7yBPbWZafZ$iMg@-7vB-cOU%Eg!`uoe~AZ=na4|FjoN)|u)6@Q z5$DHOLmYTUdC)zUmBT$MkgUtwZg2P1R6!^He0NV+5)ami4`C*OaC6y1Ay3!ndfFnT zV;Ch?#jZ27>o2y;S3sSqUDtSBT0jBoEbY3`c4bE3ZJ6-042WuJ@+g+)q<^+T9-Ip) z`!!Noe8+P;vo~;#LU*yyOlmkAO8#yHIamAF6dLL23_~|=+%hu#91eD#cE9FzSKu_P zYlO2?r)F=M^A+xX7Y@@*diY%U7BnwReSuwwrUXWHo%BM*86UtQy!hfH-+0t7QpjO0 zB!rOK4a^Q%dZV}<;ZCdr$@%a$Y8n3k0?`nnRPM_IGgE0MB2LVS~oH=zs62XG? z+OB265NoeOeMf_q;gzrhf(Ix+C%lfi4;u8Xddro|Q!NrEE_dH}4|}`_N(qJA+k<0m zRO5WSSQw`rS;)CR2|4D5&70iz@fd$&7o(|A##8qS;|;&*Qty5XEa{Q61!^{}r+!z6 z>jMz76Sf!a5>ZJm%<0x+N?RG_DbV2oAS4RRl;120NrhKmzj@*oX?CEUKH9k>aqqcD z#f>T>&sbm)m*>hgrRPzaEwukOuOFr`v!^b{x+=s352BX7jCqjfc=Fv$0?n68#%Lbx zCXOD8JJ7=g^`bs7Ha^cNuo~~FVBLaX1ssD1io_`}IDLR)mE23w-r32G5Y9(3;ZU@# zwEOvBx76Iun1vxm_~F`|V3~sXsGY^bQVnq$;tV@LsNZdUw-~}*nom%!cJYvOW|4wE z>rCd{!G(l4q%IyND#|xIS~=xJ8H`E#-Ia3)hQ3mvmbp+w_OvloyB`g9yDN~ZwEHH1 zw-)w?IAZy+WTHts_+)%%g{yk>saYJZ@nzp09e6YrE{j` zSY{L~6LN#j5KS+%$}2l`6du>#C040rf}`>ZH0E!%NUXo3tNNkSY+r7z0AoD>69uKi zh`)_?pAhKg4HX6K-Bx@1x9KhJ%DuEz3q)!V3`%|RH9@JDm0N!d-_ea}wxRTk`gA0H z8SW?oU#?I7LHSErB$-Ic>nJ`#u$UrjZ{!aFF-u(Za9Teu1j5{6k*Xxg=AmwSfWHuB zYl~v%6^y?Kkm5NbLjnSF67K^r1^cXmQ^8|+I@ z(=ZJtJ}OLI>ktKM$OUp;^H2qNHW$ESJ+Tyb&=(gn?~KB`GAcnnu!FXCYL0d}34+Pe zDxQ~M%^q@V+!_sFYI=|zIaJeK{-XLiT-oeufw`8UOHx?*He_k39J~!yz)!ccTH(|u zs}-;$tCdf9W-5DSotm&+?k!sWsHl$^)cV*W3}D8Q0tdp#1UehFKt*g3&Yc$Nxziyu z=~0S4#vNHv`8MF;-~p_;&36K8+* zQ}Gpu=Euoq2D{w?@lEAnjMoiCh5UB08B)&Phnl6V`T4Q_9xh&O$;VV<6-`_EWA;5A zB;p6;8ZJjI>4}f5$GRXX>JU zd|AtlN0HQ53h;>suxUFyg5zS7Dw-Aj0TepxD3nvhwHRyy@G^TCcz> zTwp9NloPSF{_ITjIk(%$st=&Tr*?DM$vO}67|^_JKlNw649jTjXB}jMrD7L1+LJTdrju{rC*e6Z%fudq^%(^zo6!jd!?}W0d47U zo_dCCa_Hb%VbB$Ul%3E5lGAqEz0_kg%`j8n+0*D5hJ%%IipUYSz$a``4v0i&TxX&e zTO`e{1>grWp{QZGo@><55oRj%As#fEi@L&_BJ3K7hPE!(fc1e$p zbhdj+#e17#q8_rql4xL2%*$_oCgUR~p>EUMguoC9tEo6z0;s=qw=sYm&K(f59ikUp z@1)P@gA8N0Lslr-t3k9rezZQ4AO7x(xDWZE3RtW@Lz4|!8#b4OgBi-ewDSL}DXxq8~HQ^Ys;fFjWG zVmAtYhebz|IXfx0O|lS%E&^vKgNSU-PR{m2W^#`pM`0xQA#h^7r$ZKcSS$nFIre?+ z&I@)Ipf%z=|F@7rZP;ZwZa>Nv>usZcoMsw&a20|O0kDcJk$7Z0P;XZUg#mq z1kHLx5fh*PZkL=2`j=c#C|jp1kUKDA$xq6rJ-8jLLp>N()z&95ZElRzCnxEMN~b4goeF6J5%wVIc)!;|jPghM z7r);k_{zo(!UoMU6n#hWC05d_ybxaC@{`xltHH|<tg`Ar2lA@a3*(54^yP?I$PQ8 z3ukLERT~)!v zRrr)y`Z%R=mZ4FfoB$KkYpbnBwIuqahTg6GLuO&wLqx?&+<)^ZNs@!KVG^^thK-qCY^OFY{ zc1}=s&Nu9|75NFiX$1y}E8sycpczUYpM#n_ANC%fJ5h0d%QFVIGHxxAPEn-uT_l!q=H_}y zR5yH(Gw%;qjD9Xgh!>v#BELP2P0y%B zzTS?5p&66G+T_(T<@_W@E8cf(ff<)M8;JQchj;O92cE1La{?Hc6zNu#wOH=mHBqG&q>(6C||f_u7Rlbp;mB zP!{t7GFjGiZ10fxOa)$v`(bjmWEs`v5QRTWfgksPB}XpcF(fl|>d#iMBNVdCgEZ!b zUZE+CfwL9pTn`A@OT9)MNTU7%?58$;f@pCKdyb;*ZqNc-&@hB-%Ij!Fh5W4-9>UxQ zbuB6{TNEihl7gJ8Bv$|Cmm0W5V6T0ARkvpezLCQL4t%}>k7*xR zcmU(Lk4En6xj-=v31HBgMnrIYMj=WRo;`4c3l+YzA0G4A2D3c-lXkDcTy!O36Bt_3V zZ}U=gS4|B}bUXdW2nJPP?3_gR;WYH3r$yQN?iW`JOwkpExRh*NUe2#Wmd5i>X^@tb zb^`SWMSVVis_+At-MLeXnWT~woU`r=k*X0zmOJr`YJX`tR0Eh&eQEUKk-nr+V5cTYRPH+NVRu1b`gx^|up9Ub+bF&>MR6WOEt?KEf zJ9p<>U|Gs#oo5~sxutBE7k6f&hZ~Uk*j@Bjl;Z$H*X#T^-Wv-YUp#tMGF@c<4usyS;Xm zd0nu1QCB#u@YqMYFY>yP-6Vn9dT9rRI5GgidI?Y%dN=LfCD2{O4gTsIuOYzh3h?Vs zuBh;$;1O2f+y#Qk!3CT`9Blb2b)7ww&I=wLa@tS4(jpZ1YifdE?u50M;*@ucLoWL& zweEp-V6u1SfQlP{1)9&SNH%|>{aS4+F z-(h0rT_2TAxC6(N_CUq@i;G1EMchI>^9x?rcwKNPyETuQ=ef=T60Y|KC;(;0mC=(K`rhj}A1J`$H~3m09~6GWO}qWC%?dwfc~fJY+Bntbv`}q)J4Ln8hoWbq zyIWvRAhJm2CujNmSx}S&)(#5#lb1#m6fY6POBwj$8=Q83GmPI>KsGuSw4>WYJ1Xu1 zi|b!v)3cW}c9ul_Ra?F9q^Q#^s&ELNw|fm8G#j{xv*xQcw`YvMLtS@gMLa%$h!p|? zWVTtb?4lrh20&m}+|^|&#@!SmF90FyGSLtDwwX=dUs9;>EBx69derxqKph3npTJ%v z&F}v;wx-j3WzRr3$ST;E)fKcFbLwMXQ&0yEqi<0<3-w7w>}yPDU+Xf6_v5!6@IE*Bnd$BYv%G(dg2-TvTwqfz!`!5Z1Pt?3u4B7m-q2d35%_ibS4%G zNPbc(fozfi6BtQauqVO}dTuJ&husBQy<8|R$7o2 zEvH%md+6OFNudz>SqaVI73h(=5vUem6-oAkBtHzv86;yMWoukDB-x`g!0?XiexPE6 zBEd!2OpuWms1Df;3i?riZ$1k8%Vo+iD+e;1P&ATiIthO&>C=fvdEHu{{6!@&YAUX? zylFmLCyF5qq~M20Q4(#!4b$z4aU@GfBO+HZxnk}d=!XP3Li~#5tcTyHP5;M%{=zo> zuLSzx;W_m03-k|c(|<#te{h@r3%&kDMMlZH-UXghqWGrAp{M%fe^jw^`lz{lt}*EW zx(559RDNji9%*IH<##P671QUwNckC=nq<7@J802L2CYAr+<&q!myF^PDmPGZo9Q~b zNR0EuMc>QURh;c1Q_igU+U4lA*%}b`y|NxsEs?-OwL5$E(AkrP0a7WB&@aD@a-i7F zdE(;V@XEkxcsty##JbXO+q$+RZnsx%?a!h7!vf1BfoaAR+>g_T@qS*f8?2#{#P;>f zG^L@S3RB_2MEfqq1}9#48c#)c+teKd~L_ZpN$idYs8RX z>+e(n-W%#6wYBlF;L3=mHoocBa2w|fr@mElF+36|VY|sukK^T5C*X&C1@~kRRE`@S zS5EJ>z@lfosiO-_Sz1gLS1ZJ|L5O%_Iqu4%F={X+6YdFxJKcrD@<~i3`8n|uCPUcb zp>&8X_K*8)A=0&tw}Ula7;oP-cVvqZmx(PJP-W5vODwSP!gBGP#V8k_hGRL~g)vig zf{&SY!s*%Xgaa~jv85lX=H+9R85Dc)C77F%4hJI$ZMeLYKq$xwy@i1`JKEKl zlwFM3e_{RN+sodaHo&eC5#Rgszgudp_qPSe!F%4)N&K#|D+WtQ<-Xc}M>FN}qcAw~d%kJ#`wb zdit~SRd0d0Y^QQku`0@%(C)``yXoRs-|0^!RK(4KZl*$CYoW8|(H={bSY}c8PgM~T z0R0ge*B4#qE18EqGIP-)bF10gzu9)ttViH?2xmQN0FsLP6Sk8;b`{7&scL21PQ*;| zk=I30`^av^lFzYZvsRY-TW?nAr#pf!KvZ)^fC6NHWIqUnq(sI2NzqqZ^h9iKUej>a z+l&-KR4BwL7DAQOhb2OHvp1Vkkp2M>*~07N3`mB!$^4_k+yr42@+A8$N|mm%+%eh; zb(Qx=iSDbwjM(5-e&T*LizJMT|Ceh_$yR7ap(a`=kT!4PKHoN3iJ3h;1DJAbmg4Vk zf#qiruW+?jsoh)IZY`#GPhfc|e|R2Kc&w_4cQCmqw=2p=ZjPg?3*YcSiQ6}Rmbk5M zI@NEeI~4D)2CqK$AhVi=2|YT~(_9zC-Cd6%OXL9U!Sb>PBc**^a9!~OHNtH>Kqp!| z%dgBm2)Dt){Xwn$W#XHy!|vy27rxPo^56K_9EIrahX7?eh}JN7D$ti-854(F>n?>_ z9DtJ8@S6r1kiR9AtF}8@Rc+17U0vU!^d?(+Cb}07M7z_VYGwtDj2V+ebFU&CWf61~ z1Q@zikoy#3XAhzZp^H2S6T-Rf*Y4lG^vlWHN3k!1?gzAcb)efXAm;@@cXHmD0crR> zXU4wZs9FEMPqVD zBTs*pd}H1rlcVR zgQTHje^g^Oo$pUW*C^i37SF7|E1lh^i^F0f3YM6EJ0eH(Q&2NtHVk_Q)g4Nent%Co z<2Rw2e*=@V{i)jp%F!(rL7wqZ|9V-wCVO2zrv(op=hvo8qC>u-2uE22`Hh8{|6wb7 z7iw>z?G1D3MGEulXNG;w0h{U4s08IEHN5qaqb*iS&lyVPWzR-RC$ghXJMOkaplOLV z-DI2oi&1fFaCjg!pD51Ke2nWeuj(j;?kK$Jo|TR0aU6Gqz{@g)`lV4dAiv?;rHuPZ z{0-mWubO0r-Ndkc!O-k##-xR8#sh-v{p0P3Gj@H*oJbPewJo9Ed z&8nYr`S9;VC)SD>sg{b^8tiC0k^GrS@T+>{NMQV9oWdauwn8gwF#VSF!=LG+6Rn*} z3h-z8d6?w(O|<5f{IU5|j!cxLsK=U%^oq;vJ~dd%%*3%o^8l~$Wo+CyPjXqxcSVRK znW5jY@q9vJPcE=Z>L3_iTlI7#=LN$`7jMf$alO_8Dgn) zi0%xT7Ov=}hlVJ+7K*M(HB`i&0#mrat~OG$dLfJMnH!PF_+{3hPW;lTV{bWCTY-w;Ven{AERWGq9W9#ZVxzisr;; zqkIZ1^e_9mNVC~kooTPbincL-);YvV$LP>f!@*iK#wu^A1Zj>0hd5OvAcoEbKubaX zJpNaQUx3GSU9>e{!s-1Ce92iD7fY!22}ogLg+1X$5!S&k3sYDJ0i=$0J&yRrs!d!- zSo^kYHsS9uOF_;SL)eHi9I}3fbvaB20Y$GZMz04#In4*iK<(mm1&gq}*kLszArY&~ zYq}R1TJV~O$@D8Q5-q1|4UI)vSwo~`2cX&n$75i%Ae;~0v$c3n9)dz|yw_IoDW^-KwNL)de0>TMZ)Q8r zwPgB*5AXwbT{^|_ik;ro_>QfWqc%1|p&Sd&Y`i9hb))>Uoaw29kqea@F=|1s#=|4bL87nSKas1mQx&ahtI%Zkr2z&{uiQ{d~$ZP(W*X-wR5t{wnb@)*6eec6x zG~n)jN4~amz!f=F9IIA*79R7J2Hd3`|P*sgd75R!GXO@z;uQh>IX| zFEWl~lWw!IXMWR_B4=%GMCKom6OkQMgYUfO3bcGhM*Or0oOg)H|bS&?LfXiC;ydyrfNQv^Z`FE9CAgqLvT^@lehDOCd7 z=18zlDIBghwwTVJ!*jMox9-u|vH`tyTdPXn?GKga(bH`}b5v%bG=B4u`V+PaqzPMJ znla6;9&Y22d9YDUB#Gy?NwT~keDEgewkM92D@Eh1GjDj?C_i*I`r;(?q6cq}p&d{2 zfHhvE0?s;>YBBh?TJUZ>*Wla^ek#!txc^|60YRfID~C}kkYqx3rhnB5j$FR?R!3Y8 zRW4nR|5mwu$U~|TlgnlzvpsB$yQK=y=+yTU$~9oLLZ^brOA3rVMa-yIMqdIoSQbBP z%#}6*VtJx5Z)ROd)VZ3tc-qAvAS&`20`OHq_~QjWhE}KvTK!J>{25ND{vWsnayu@y z&BJ})E9BcQBodNrddj9|i}wD#O>c2mr^iGa9lq?8I8)1^ij?%8PZI_p2=?(Ng$6lG6~VxL=9-zn1GsOhbb-9}er z1cIQ1F!_jM3qn zDbCSUO;Z&9qa#z?d^~!gHRM6&7HhZq*fWrXp_X-igO^mqo+&ST25&g}8^aLr<|)Bf ztzP*4qmsSRV}l%41nS3PB5JmV*ZX2S-<+4obEBE)pIy~Gs{_)I<{rw=u*MAh_Dg@z zw<%9eo^|fgA*geixBj}?zbqiDhp1?MEUV%!n89$T=T+lFvg5|S)U&K6{AcG0>|n`^ z(%J<&Xdb3h&WtjLcLYx7F_*(rSj;2Mdz$HpQ%Lx&x2(2et$_+|piGRsr_>hK-VLJ- zZl=6%PqC)2EasGr(pcT?U{1r{ROXN?UjQf87GspiKT?WAZF%Zh8q*49-}oT98HLqY zTpv@%?S(KZuSlk8dS|!VF~2ue)JL+Pd5@8=QA8*QzA(l4b^$2x-!LA;3`vr`{M&E~ z2h~)e%(Mdx{e1H)x!?pXh}f*Ei02Q-A5GVD6`!S{`Nb=di3z{G19ji5d-?~=e79A3FDxmRkjPGdmWz-37;(!>{G znBa8rjUF;3%oFyJZRN`TpjJ_z;M#j0X!$(LxRJrZMlEj-L^?8xO6e~)nqL<^B33*7 z26T-RvEfM17c3{{!y014L>CRJxy=Pm6*P%pmZ|gprL~<*TSa(gRb%qiu`OGR-^diOU1rkNpGnkpcUd$-Q#bR z#3A>~izQ20yH|m9z#guLIDtXChHGX|Wzv^`j13B0-OE^qE0exVG-n#sFZbIE#Nuy7 zj8?`unr)71z>OUsCF-_flQtXL<|^dXHgDF_nu3*Pok+y9w32OP`wQd1M_?-4obfgaxOBhKs@P-k~y{T0;wlN);#h9$z z5P+uxjL%aX4THIgjwdEA&ubb9^Eun^nqxzZ#>al5zvBrC@dNeWKeXBLC~_xJ8%f-) zE9E<&OsvG}+(WWCItx;}hzOXCAz;!G-o9krU$*_UGbdA1!|2dQeXxTG-gupx&Y{J) z=GsQ^VZsNSJT$5b(nC3+LgC-S$#UIvYv2;eoy38VF6tB4GkbK2Go7KdeIXP8gE<6j zfPz7dOh^SXx)5WY2G_&c1EWZGx)^p4Kvf4TLx>h!H;2VkCOZ2y`VEG_dqwNyYdbZ- z<42$uR@zmIz-=vXqO2-duU63whrdIY=4_AuaDCm?ZoRsj5_o5^8I5kP(dn;Br45K( zlu#`Q)sj%Jl`bK9JSP)P1qkupm;z_bMIq(rl%3piG_kh8xaddwby62iEbWJCEuMPc z$-+%BTq`d#Ll*$Rd7+Kx4g@|mWy&@2$j#m?c?@s#bvmyV714|sN+Pla!2*Yp%@X(r zJQO;Dl>-T~5FvhOenOr4#8$lhSFaKdzua6ynh~qlKsl{?7Pq6(uIh8Y3mcWiakZ$;mA?J&p>t zX<&5WHDcJ0ilfz`Z=w6mXP&v9*8++xmG1L3!I(`f~MnJH2xedI$^93ORK5P4&d8kN&lqgIF?ZPxi6dw5{lSNb5Kqx~yw_vh*5Y=2AJTe&kDDd{H8kuGSC;vf=yCdyj0 zu?0SAYYaR#DGwqN7?$_iQ6kjsMxqaE{nZG7M#%al?sjAI{PRSCh$S?u2RAS2i0Vtu23jCrKNSQg~CwJVsoP7+uiXyd{U@T1pdcVMQ;ec<#V8`bE9wd z4whK){1d5KsG7UgrFf!RHI34c7HDkx8XB~DYE|3xGX#fT+#Z1008D)=uuX%qryP>A zu4C=4Sr3afWE3p6TF{_!K=xhsqq?CMp+K3SA%1`fxSk}jus!N;&Y^h}Dm|h>A6i!& zQ$pdCSIyRdHG|MK`ObV-6-se|O%J+5K|Oc@1OIhqnY2bmfKY+Va*o&R&n!h=vp=)+ zNAo5#%eaN2E@qYq`n8?Ra@8RK%*iab;9dl0%P++uH4v1!^TUf=HSzcsgruT#LF=)MjWSuj&LS}j5?2ybdXxp63Qpiad zquAL6nP3b?K%m0^aPZPyF5qI#r&)(a9~j9xHT{Jl*ooj2x>aQtfZ&XYBvV&lYP_-$ zTKQ};;1FF6k!yP+i|_g*1UlYE*IT}T(W=%TIN)seeqt4W#zVMfoo?FBjOQgcU&g~D z)}fhgTOu#V^JLIJgu{QCLI3z0rO!H_oFxWqQ9a4r`i3+K)N2N6zCx+4O#ZV__IwG% zhWm3@X6WOl}EMxp#IYvX6QdW;dDA zM1&tvVmg#Tj@%BxTz0Z)v9-NTv9V9!)kez=9$nr)b8${Jy z#naiqfIE$fC$u{vvR(m}$kiqh|BKq(gxI(%*A(CTsVR7o-{N%tQ`8I~d?Z9Hk z^!%e=4o`JuaaXq62T31Zts}m4x?St!hHI!A2E-Z{>_BGw^C1kr-I9AA@%&SH9}R=L zR+{LoN5opD?*%~+6%v`%iwcdDcl=wzwHifkZC>*`n=&WTmtVYT>!}R5i&fgtz5%6` z8Kr$%47fzBCa>vIze2dGMbPx@+Yj8}L~>EDK+s@Qp}l)GY$leOJL{aXmki6if&W-# zgHcTCnq6DX4hJS*Eco7b_9QpCX|=FThA-tQxFr1ML8_MoD?t8E8z`ZI!U-|9acm_h zt&$b+=r>cKaO0kb;Hvj(zV@6fY8@3%MgNHw$S8>`9bF{-@Ve*=zIIpEsQH}*A#9M` z_pL-{4_xy=YTcU|*= z*WAz7ycErwEHmOt|y8l!T5BDR?SPOpz za|`*Nk$CFG7JTH)bq;@eIi8Z2nA9ipK>%9?(NpNAyi*mrg6fim5;|EY%k6n{DJ4MyM?1>tK7l#7Tn9Z=1C zInxMiUa|t*2YBhdx5RlwyJcX^NnM>7WR$~a5k}9b@ygCQlpSSYXR=Q z>o(rfT}1;JT9#L67Uf@xZ2Z62`xEG@itG;?z9d|TiUbvucD&B02njPH8irtKK_Y{q zf)GL=(U61;fG8S;Xkv(>f})~EMU6Hp+74(V;*`+s(AZ)({+)2XY1BpqMa7)=*)^Qu z=3cbvUhDhbclBK>+2_=+_O4yKs&);hP94&qc`)n#QHmyW^SVPNy98Y4@}NXr-L*LoNH4A=_?$`bd5PzZ&L#I09jA(m z!qS=hN8)kv-gubJyG(rChuZnE$=~UZSJ(GKlYEAX7rtvR8ag(nwsle8aZnkdrFfM} z71d+Xl1;IVVc6ZOVt*eF_%(0!^_8wPL6gEWa;-W;NkOe(@02_*l@UU~8AVi;tqosc zxQ}SeY=N~)v6diS%=ue&W=kc<&X&(tqQXCWaphE`E?a|foyrAHsQhdl_Y9M786hc` zxS?5!E!Vns9Bx1x@>ty&QZC5R(Y(_b3(-fV}?6~UPP%8?uRO`>dF3Fdxt1kyT zy-?}Ic9(;Au;gHc&Otob=0MkC3YZJmgjTbhRukvjh)-!H#A1Jb z(CA~P$H8NCq7h{=y%)AI(#ZN@qi)O%<~8ByreO+M!?)aJ#L>r2uqKBB=3n@7C8n;Hhf9kPRE@Jq;V+G1 zuE)*rpf4Q@F+0U}0#mOmpFlFRVqPB*mIm51S(cXSyxDx6=Yq5_``XUV1Izd3C5!SQ z%@>P9a!09JW_K-9UPj{01IQUYCK_u5T!Pw*67*vs&3fJJ&Vnw_Yulq%QhF zRF7Rpkq5hsrS#K!Sut5|aww;8uwwFx&M#Gvrs+MIw&v-o%w%_Z4OhcjnuUGbp!Wly zgmPd1Cta&7Sa?q%d~!OW_68Gk&TA^B@3{mE?lRcXf^N`)0+6uoIE)kx4mZtvd5xZ1wz?9?%X{F{o{8 zA16n|UT4QoL&VymygmmKUDPAoocpOBy(QD)Mw(BsSLBrsbYy-V7*0&Z3UPMF<*2m^ z<%}<1i5bMz#dR%pj2;DAk#I{)gsb_m9f_d zny1m9?ln3HDyDddoCD9$@Vg#NRpZtCyIfy2Q^$D5i@{Q2Mkhj*+W8v3%@4~X1k#vj z(kReT=K7;FWpuR?F4FMC04!iAdco;&oc zos~%-MEz&o=^A+-DIn|d|C63OXMpYLszk^{MFV{Id0%KWl>l@;&5Wd+6-(rL> zE+L*4E-q9RFQQ~cbITPt8LsRCxF`G{zo4xZ&Z_1cW>~DUvR<-M!!X)Tx4h0sa=Kbz zo#0NQtk-(bVGPRLc|{)*Tn{rojX#^9Od5EUrylLloh!Fr@I1vJZ)$FRQ6-Ka-u+O} zRCp=>?Aw%v3A|4#%}|{?MkoSr>G|-DZ|CFJ|BH$klGmkJOe!$4s^D| zfwNeo2vp7zD(CX}Bd>dJS6YdJQ|{WGf<*^;XKUagq>}cq4EmJ<!GffWh5v9#~Fd@ zn2O1#*kdY!>)M}xA7kfE*mbdQdI zl+KlVuWeN`k!+{O7SuhJ@0A&<+}CU287airD{CLs_EtCQ4dCdmj8M0v(~(Mx)rR-; zp;USmhm&Yau#*~7q*k@nT2RZjaO_a#hQ=yhYm~JC8G-Q$6s9ZHDyZ@~1*BHJP4jB3 zD)q-YeT2l4AcPAs!ubZQk)(D9;tfz*dnS3vpTTuKDG{EX2CWx|!KkpYs!U5)OIG#9 zd7Mq|s}({b62T;LkCdS>GyZO@D%YGiHMGC$XJL^bScK?-)HtGpbIf*Cg^q5GW)4P) z8l%a1T-7R0<#Q@#1xuMS{?zfcQyWCzvQ>Sy1&mRiXrjE`4thSxVRLs9Q7xpo9$l^5 z-2k?Y=qzKck7(uRXl=CeAG6J*x=MmjUWitHl2M)mo#*Q4G0M||RBaigl$SV_ Od z$B3s3Dt|e1(yjY034FUw#>!c5&RWtuj+|+27iLzsX+F%oRh2u0&XvtO5Mbh{7S*PC zl^deXq+4Lf-(VMhnL$(6y`K!SIAW$tW9El$t(&r)tY?0>^#jjVVO2DgY10qNC%~M6 zkhndTU}?VYY715u*<0N1YKv?8c-<8xqYCiZH6*n#bBpb+5CPN_{mQDq^<1p%&zjqB zhOfDnPTE~)_D$r|$h*`N{t{+Eu*6xAhtY|%K&nmAtq)q=|7?v&*O`$frts^lAC*Y2 z8WkwISASJ$spFzwWr=kB>^PFmLbM9KvQ)D~1?$;TzNGg2KvgK4<@$xY&2{aPdBUwT zn&y2!h*&LOHu@Tk0J=8~D6(!RMihcEZP)irLTSx;b5;VxsmGYPaU9oEp?f-I{WZ9w4g= zb^_RDJ*yHKp{&8`f9hx)8Oge@`7X)#@{cC=`$>|2L9EjdmZs>t(z<+|nmO*Mk;hVv znLGIVUNTC#uyUm+?S_vv@CDG!?<*I4AF3EFk4X5FshxQQl7@+P8WYKb4`rgyd$~D4 znljN&Wg`3d1cBN_-&beus9dl^nQezL+m7nY?If^WTTjk!5+PHi2a`uI+cl?w(-chR z)L}JNYpk|iI)=gOzqT56OMQU>3z!k1ZYB1c2;wEAvFoks-Bj~kxFDL6dfn%`1NO2h zv+la=okZQH2B4}DHfC-S^AXBzk2ik zAgTEt(zdP3#*wNQNcf{x2~SiBe?-C`{l z6E;HKgjX|Mh|Teq*n~f6mGBIe@Fyhv$!|>92z3+gA17g2creGGwo3Rb`e4orBjHbf zW5PzLo3K3Qh|TfF*n~f8m2kOA_%jmz>^CNCgt`f5#z}ZXY{GcKm|FewV9D|4By2p~ zuhwcK)J^y`8b@r7*T*LOMXQ9bQVDyGx zzEcefet(H_pW6uD=5_??d8>M1f$4FGX#&<^KbhoT4<(Lgn4oXjV0ovKAWbXyGVN4U zYheD<>ZPx`@J}}(Qa=;9t4>`emsaH}zmTFP;wtu4~+JwrtK@$%{hdD}xCXH(%aqs_Ovoc;_74-;?o zQ!l(yUygfGWkM>0mqh&C)z51iOR1ZvWL1>n&Kv*eS45<*?qtel@rkNP;M1>&z~Qeo zfio1?Vfv>s4y%4aHzA^M<0G ztzWrdc_j&4UV)_LStpU?!srq3vkK|1t*xdmOWLxC)}VIottJMIa{#i=#>{KPF7?_j*I<`xe0I4)+2tB-7X!!`+;5jP z6O~=+vudneeEQUDldvkI616LOB0;aJQ3+J#TZ0m7LaEgYWmF>#(Z1p5sXs;~#0gvs zxvFH@RRIn0O4AGT*Jv=tqk1x~7PA6GuCDy^Y^MqeF<4Kv(#2aks{#f2shGAVwR)+^+#`V-Be594V zE@Dc&`-V6=U-Tye)gtkqtRwN4S@r~54AS5Ft<&buVoEm=r3KY${f}`H2}>ewT*{-_ zl*gIJO6s%Lv}rD-Iw}Q%void$daJkFXIPTOe_ozbqnveznM`Hd^xV#WIo*bdMM|mj zbP;@X3`H=}W^pGKb=^@$#J;UWObCc5G^KbaBC=}3cYKOO)jg;Y$`-g|20fi(AFbGO zuaiMcQ}j^PYv}9d&9IBQ3;^`w81^8a@=?qHAQHVpcx)eR)Jr#c_w>xVA@Ono}zD31KEk@4it88z8Qu|H~< zFiH8Uo*EKPHz5*x#^8bIMQ9u#`*qLkYB2^xg{# zHxVu_LJ5+0fS)2D`a5*;Ch4u}m8wr7R@bHTB{nyKy7cu2G0IO(Jnn5~VcpoOxJq3n zuvJGHUeUiEElsE{Jk&;(?yQM0LP3ww=rMj&jw6sUC-AWv4qMocqopU8Wd-WkHl`vd zw1!MIP)jM|>`u{3kBpPe_9~mPs~L$Jq8=664KWN|WcD}Z_|TymJ<_1-WR^#xcxD`pLT%zk^I~>9jDZaFjZNP5bFky z9ZTG)qLQx5j62mg=x!4ks}7G-od>)ds6@5l2fl0*k|7Z7vnl!mdnAHyQ78x4x}Ig~ zwk7rKa5em-0%JLm6Wq-(_$Qs&4|GPpQGQ=0OX2Iz#$gTq!@eAoRVut6>KK3ZViZaY zZ_4ui2Pmlq(+tgF*rFNk^cV&SgM9C$CY;8l@|V&34r^tGv0Km7z7#2DWNUSS0szc_pKG%)^*93v=}3(B%7i&Z|Om9ZTNz0DPL8?v$+g*)oC>g z-ixWI(R{iSJ(%hEoXQ+y59v_(HUe+XEnM(kl6rM7y6y-u3c=^=x2we?6SeQ}%XRRs zgPEm>V^P%xzI_beV8eG*kZ-Kvds+C{mhAGii%IXF`V=Ia-h9KiSoowh+4NEj-@zum z$Af%V8NTttx7^3qw&Fy|%DO`g-~1rowTACd__pRQv8nBAxDGU2!-HJg4cF(4BDS8a zTaqM_YNB@uMi29vso3^uqAR;{edZgCi7wQ>bQ^4;+RXP3LmWIa2)jBxFS2BpOw9BOt9?RWJGS?(_Qy_=E<sfYcL9^asenWMLtib5{gdN;5NXWB33!==ka&EFr}fL z!5TbO22e3o7zdkMDfUwX&5JHkmkE6Bn>=qNvDK0obmJPKe5c1_k`VEs4N@L+YE_ev zF%W;DtQU4NG~#f(@~*0!R@0ONtB1dAiZOM9zTrjPSxMiJgj+yn0)3Cv`fmKY_N;Hu zF_CM-M@4DqzP{lfI>sNp7@W^b-rVJ^HuJdk^$nXf!&M%`UpWif^bId_scLPs=Ahm7 z4gaU5oa#yWogBGZ*Y~H(Mb)P0OMR8aH@>SQ9$+HszCr92-SAe7(IUU03n;l)l|XD4 zaGn?J?*fK;!Tv7bB!UC=>*Y$4u4Xb5=RDs6l_6Ef+U>T?X7L=Cy49d65_N1pnimEA zrZthRerh36I-%f$w)=b5U`!}eH%M#^rKcN=lKrmB05U+;K2Rm zHv@HGH>X0jZv6kJha1wEp7h$Wa&WBeeiaiHHuoVX#`W2%uT2cm+I5UIAA{^^Mkh#XQm%FSBq# zL+BFr_JBSMi~O!|M;ni=k>r7Bw_Bc(lvts*)zwZBF~+xA=ov<+PFMJ_KtSDjh!3jU zMysmf3h^eMCeQgJNb`}+*7FX5EZ0lA z%PAigWR%=NnX9ijQA4tLAP`T#94R^;awrR|Hp?+pGW;T$?{tRGG08lmr?5E@Ly~^^4#&?X(^xoS>;%@6ls_=2X$QN6$fK_Rdw`hB)0NL z*AU-&CDo3p^xiJiHA;ki1Y$Na%06u>WK;CsJ0&qb^&sEAUHC#053^`4fg{W2-lgQ* zk1)SeiaBwizq#!ksPjXMqU~Jnww(bTRW@6-ofml5-#<)$nS3T1i+rQ2kTjB^#ab9S7b70^z$DkT>d)}kV3}5${DWs5E*oPc9V7xU38m9#ZDJ%>Fqt~v`?{v>Qf3e z+C0lmo8b!1nWfX{r5%)>t;R2H{~Rd1c+aX^ySh_!!;@0%S*qJ$ zjo+bH1pQ8<-;`OsmA|sD;F+%+EoX36vz{k|tWFV+Z`mVE9tc9e<4%-*{~q{A`q?W|4NAi^`Zt zj2CLYR3}(3H$-(?87Hv_%S@NWKB}Xi*7}d_8uPg))j^yua_YjxwqDw^#nHlygvMJ) zsy%xHQmJoS=;PFkJK7P2Ec`&3ZoAPgIbtQ*poH>sww8eTnO z(j%QE25v8%ziFo?)dg0x6)8`dX~|}kVitSNAY_ScSZc2|do=Z+Vr!b{y1&-7d#pei z4Czu)Dtmb_h;JIQZchvV^lj{l^MuO<%EVHqI!dG2HBO7AAv__b!a z%CaMD+gltmIs?qi$LT4Re zsuv+E*a}{^t>9`Fx1|9rk{y|>b$Sry*blpWWJ8D^(x);UeqpS zuXIdQwL`h@RW+(mDn;yJI{qoG;_KR^;$NoYS4;eej=#5w-&i#hxq1XU zD6>*_`>7CKB@#gIZR^C)o_E+RMhgzWCyCr6wcN)qGTDLORP~6(`}Vt-c!f2OUwoj*ejbgiPt_TJ$E?+%~#Ej?r3#tQNA{ zvAmz;%{u88Vn(T- zJB357WO|R|UKjt``YGL0UT}n}x5W$+?(%}AM%v(Ng1x77Q{ylHH!-b23Gr>O>dVby z1+jE+&ERkEDa)zu&OX>Hc$2C1jO$bZtw!I~420kA-3Ea)X?2&c%%~ph8Gk`=Eu$tG z1exWsaZ4n#OhEO6J^#_yJ#SEn+M};euo@!VJ^H${1lDzF$rIA|2i2^bqK`k#BcPN} zoB~<8RthAr@kf7*b0?$1Z9G)08=TING5WHdcKVmOd5cuqYRz-=q(@~Zts=|hNucx} z)1j^VkFna-h>fqe9w4rbi{91Q9i;2vG#itUWNLYGgo1LZu10H2f+KWFl7ra~&8Q{fe<_#3fnwF=e#N04g8Uiq97!Xrh@lBE+k(NjVt zUCYe;h3M&;K?@Kj?cY?RAE_C?kvgPi0LwIEmCBy(4S%?i%B0T7cx!LFX`D3A)T~cg z)~2crk_`#1)j6kA`|5tFEec^CBM|_7vTsLr^JR#YTx4sB)2&2CMT$X8xlyi&bGD9? z;l)u%P1R--VXTgDgco6+AT?E6OoVYdLd$fW<;JS(04R*>g-{qGPZx%SR6eJ|eT5)Z_e>MF z`OLk15^?|-Y{wl2zL3eah_(`iW@No$Hu>k==mt{%6SFDVmUpJ)SWK(T0%(ph4Q9Alq!E2p+j zrBJIfPMuQm^avp5#}=o#OR}%#e;qFakF+=M3e{= z?Q7B{q894NJm5Af*?3J=wB3~IRcSWAO;rQjOZNnvsUD}zzuKUp;z|mpKF-4cM)xI@ zuhJdVRKxQvT3aP()*!{6dVR+vxQIrr5;eb@YJ`|*HA*>&fD@4jf3p#qsxqvu394Vg zA4#W1MWae&xv`fCBgRs>*G2iABbz7mn5{`YI3%@Ty%zI}p-kalbCnXFEg?x+ehbkBxcfS$r{p=Dy|)dH$?~h zpjk~@$)s|qDzi{kiZ;!%on=Y$53~$PfN`4?`GJ-(uQC)6bs(NBch6NFc z+pkqJ#u5=MQKD@#PYAv7*Rq`oR`USpXRmqa7(6}!U7!WO@1a_Z*h9^xF4qy(+6Zb6 zq2@zZYUCb^)T#j@<6XPne)$e}K6I6iJI9Sn>Lz|or{;XqL>K8;*(R1}%*44&A(zeF zH2)IVrC9Y0ip*WD<%Qf-O~s+z8C_c~v#P}&<8M;vJyo@6s;ZX~*V3)O`6qp`sWgHz ztX`gay*Yu-rhGNsoJ zR;w~XxLW3DkUIF#ce)Nz0HV^<=R#!UxlkFjO|y(YRUO}&FO~6H9WC27TBC$$Yvu;Z z9OJ5~SN(-yv1T~JW6(7PhPps=Q15n*`nH8N;dkUewKOn)&3iOv{yLS3BnzSy%-1Hw z*-!S3PEjU1_fT6@rqBm$Rp8HnJ>Z)*_u{*Jp%FtaaJ9%;rvsr(WYD zG3u4bJQwxqQEz$cx!6=sy=0qWT=hPFU90!FR`2h&#@A*dnaL|mf7H;QT!c3esPs0o(5a%c93{E3wZiMQmSWHS82~4?XSz}NSY~xZ{)~~eMCL8U zm8nmyUl?t_aOd3AYg+K{frnVLk#FaGd6Jep=Q~adT44mK={oNp;ZYFGaSbm^(~}or zFt@6GZ&wi_w+wLV`kp#U$2)u*1Fn6-++ecfwalypG6%Mjd1XLmijn!3er4#?berq*+g$jmh|PtY>!6Ue-wmCSc!K@LxFU01(Z$Rb>BlB{Rd9jh%Q_E~fAoJE%GCz{Bs9Wy&M&^kk^B^NLP0JjgKxSqu znRNk~eT>Y%e~HYO+UUHeYndS^t>58>bjJuIEdGB)aEVyMM7~t+63EK{tVXrzLE*l?XMMj zDcjBc8dsSEJ!K*&(>|z-il!8~f0)tP?7M%KIc^s7D;<@4*TwMbCqusw>B zwdLBIpEW`f;e+M>Y;hVhA5abO7v29I;&n@UI7MnL8VXrRPP0=VAYgpq?j|(#LxzuJ zW0Th>$h-S%QtNDO9j8@4z^d-

dtf?ob4hjZl(Yq8*B#$g}!d`F1#K(mcRfxV{sQ znX5A&5ObZQ)4b~}ZQDvd$20GE0nXLH)dryDJs?)nHtW8V@z?3@+~hnR_xzZ+ZWTRS zts_V)wMM^DMx3P5MjC2ec)jT>p2b8`&)9Djv+0n&H^sLL_WgTRp%F@4d_H9yJ@OgcjLd`dT4#~H5^3k_{9HR)8%62OhyYzx-MCb?eA1-7?7Xx< zsblKU-otgg4pFwQ7xGU`9~f-zTp7~>rrOb5>w(d7-IquU_)!fD)E2%tEugCmD$stW z*8VjwvKiE8)=SN9;6aUYS!yerd@O^JoLg7bsMMZhaHH%URT;HIpZ~i|WmFA))C-@g z2_5|f8C}S~RvAr=&1f1=Tee}Iy20x6vxt8Id?^XeXY~qU3{ll+AvueU4hyZ^31EEkFQMg>r zrATfJ-^vyBBAg^~YQi^h%iVU(Sa+X_eHEC|;|g=x7_Q{%K%$Nmj+*d%;jarHQzljm zFXFB-{4i2Pv4^0Fzb-sTqSb^~ihL$%s%s11sqY>YQWK8oL?vyL=(XmuF-V6aIU^97g7^`ZY88CJoE`Sf2W(v#&8B# zhXM|U>ZE#dmDCvS53eNE2ijF96$U|E50T1;qjgf<^xZ%qHR1DhQa?Q2Ml&^qw{xk> zU(bJ-ZK;EL0p!gorXnsBk?xGvmzwyKJkaMu`q{4TB3qtHl5;b{`BCj1~F#J*p3 zJmGuwUAa#5;d_L41~-zSTxd7VTmDCt(qxHN7cSAf=gM7^Izu;1w8rp)J9UOeAcmA~ z;g;C>LO4G_l5YyPBeQ8Dv?-j-rLGWdxspct6_ltg!rv4=3HkDC47aVyv z{AaRnMD65Ki~5l(5p|E&;X5%A<%$6LHHMoJAx8gLi+We%+0;KHYBZNx)LC4Ks9PjX zO*o5NMD2i4i+aO|YSN<8G@gg4grBI>%w=OZmn(4|Uusd4#hi8Fs$x}QGv%%+yqJA? zMu!?MwGP*EB|5xC|Kum+&EbA<1byQc6lLtGt>Zsp#++x7_VmqU`V|xoZm7r@A`a!KKzgKDQ@2oKdfI zSk5g`?{jsy+~_b@>rkoj9UWaAzBQMP;qSN-9Zr=vHQ}$gTsgb;b^VH3XR|Jh%4$kF14uZxe`$mB~DGahFe7Sb48^Z zQ7Kx~Y>l^D?Pe$0T+%+dlI)x;acIAfLh8Z;>F>Eq0Yq@!{;m$!a;bHwhtEZF}$8D(cuJ%Qxkqx>oD-|Bg3oIj9Kkzxkg`ZmhqpMDY&PlE9{M#w_qF|!?q#S zy6`z3!)jp=XtIU|S!kg;3tYW_t~cy?!$dQsxlnWLWjGo$mvN}t&3XhcQ=1i>f_gL4 zcALvIj=#b-X+4- z!}iRZt2398%rccsYE>AayG^P-nAG)>RBdLxynuChqBQH})hl@^j2%=meVJ(XXbZWYOLge;3N-D*D2KUJElCAK#b ziKHjBa{lctYHAhTmj`YX&MmQTf_-<3OoIGN!?K*+x|)A=hSF9hKv8{}pqi)aP2_sE zLvHWXy8Y3|bdL_Iw?S&UgFR2+ZODx>D~e7LA!<$(JfJ`GH)^}s)Am}M3c5%e3pUDy zY^t+gX^?p@**nk2uvQ0+ut8Q+jyb*&+ddzC3VzJ`Jg+Co+|vC*?uwgzX3fT}t!Zu2 z{+^P9Z31zX{NN|70rH*Jrjv~<22yXGHS+F5^w81F-Ht<_*7HBVGE-%e+gh0)nT}(6 zDc{xlGC}#CZIs!mm04&b>-9SKTR{&|-)JCIR`p)vk2>}Q6I+=)hT}MDG$s{mYDaaX zP9d&DxI@e|~?lNKoXU7xA4o*=(D>?TDK*FQg|6{_`^ zbX6xe>pBUBb`MMS74NJ{h;s<87a`IrW6mL{So-Ulmgtm3(*wOk8QWs|=>m1J3eCJs{wP6^y zj>u9Coo1lMsv_yN=$t0Hy_a11x?zz_AFLv>cTwW&)^lc~%wlB2wb`jMn)21}GV8rb z2e3t>TE&4+qOy&D*?O3HfT!hE-Y4SZFw%fz)rpm9O_vVQhO}#jOIocNRtDD$AG}_* z1VVY)@=(OP>zCzP;!q=zK7M(qLVE6mc}IjP`OlJ6rD z39M^|MMp#!sjH0$EUDtwj%MY}Z^^ILsTRe6fbmFO-!1paK({Hns#FCtL@~n@KGP{5 zU{Rmy^gZSmlt=x+H)88W!u`2oEZGd6@a5O_IDFA{j<#M~tE*Tqb&<3;*T8dil#fmi zT4eceI1S)Cd9q*zM*79(jq|j$n~XGH8>zHGw&}`C^rq=<4J%({$AwE+3J(lFsTcm? z=cOv$OkG>5@v2hb(IIl!iZW{Ot@h)u5BRIvaKDwl1HnGO5O(u5cJE8K-`#*U5=}M! z4j6B$u}+u*Q;k(7#5dK*c{paOQLW-oHNuy3<*70?@v`&Dx;Vv)o@h&!!lqPX#xcjy zk|+Z0=!s!QT{~=15M)MOAKM^1mN~&4b&VGxaYkK#We4YC@kd>^nArdJ zsOv(1GWa7q>N*K+TIKh_+F#G_SS?U$NRpKuH^1k|2&(m{>-E8|k=!v&;!)Qk5fW$A zm5=|$1iN-0JRmK6EQP)XcWLLw4qpnZljn;FNcJ8RFHoWmJpBIaque_KG zn~$70wj(ob=X5U2W` ztfwcgYc zCx)Y?f1&+X*hW^pjrWDwPjIAERHn5_(MDKWIho;prFPSC9_A@_tIc;@N29)+1#-AH zQlX8!Z~-UyALqItS?;0y4wuF*PrJpdaQ^}Nnjz>BTEIzGfcDG`EjZfPcFZOW#fpQlGY8$)^u(A#qR&$0~aHG1*= z%YDAz?CLmF$34o68)qksRAtKRFdg^%es0}W3y~F*1Uy`W?^sZF*2wqI9&NLAuscaP zLPvVSMv}>KT}daUn*J2YYFVhR`D=7JZLd1>QJE0j&V&GaJ&Nm)RXF#%sRu3$G!1tF zBTMQ`&663B)}7VmI%zTJbykbGRq=6lRX0{mL5Q;H-dgkXEziQ|BpJQrtP=Ek)f#>D zz{2NbJ{hVwLaf7n5$W;{G3;7!o8}2D8o0*kpyT||*O+(VbCLy}gk1RxPp@K|b#I-- zzM6fFVK=%re@n}8ljx}9EcKGmxsVT7m|Wn~uIRzMTmux13j_|<T#nl?|B5(q3Lti4?6tO4__-)-9S!yToA?-BRqmpW|Unm$PIt{uTaR7F)r)MFPEdL-xAUE^*nT8 z?8=hul&{J4q6SfP@bB=S(Rup%4!JJW*U#h4qf_JEOu;>#i-Eq*u1{pJj`za`M{Xv?kr^nP;5XOoep%+e( zYm#W-Jrtg#?^uF2hw#qLazh zgfYT4tP@$1aZ^ZTNsXXLZz~M~Q&mc0sBxv1)RpR6nN@pOsTMO##B|hRbdMUp)oS_9o5WouNVd+}HQ6k{=vy>hY{UBE!^V5u*q6J#O`roOXhEsd$l5MP- zAv|JM zmrvc`1CbYffGQ|VW^8n$$23NgGiQ$0^}VvYNaMN5=aL6G^zk2P70p-d;VE3pPb8U< zQL7*QGJgsP7&K)8%-PRvYdlL_715jLlmg50hGTrLn9TC4Q}nLKW=K zb)r$B8N=A@DZo% zyvg4G&PpC%6#Hv5%m=u(>aS{3wh^6~LQjMAOGCCSVzy0V-W1=q>HFu1GGg@bFY`Hn z$oq;la*xzYlW$e;Kde7m$N2UnQw!=cx42JTFBVhRhQD5{S+?^aG)q32 zCUK-*ikux!vro97SxkSJ6W%1t^_&TDjnvhj@@=}7wjXL2Mdfk-hU(3<^gsPoU8AI35&j-)42UQ%5D`}aQ!{Lcdav%r7f0&MW#tr1eefm)1XRK-$3cwDk1!Ug^El`=s|x@0Z>`eL(uaUTMA3d-dwoyH}rHeS7um z)xXz(UITll^-k~It9S3-eR}up-LH55-UE6M?330fy-%+`z5Dd()3;B*KK=U)=rgcy zTHo}(z54d<+ox~ezWw_4?>nIHz({^EfPMq}r}aZM` z{(buQ?cc9||NaB|4;+v-Abmiu0lf$G8PIn?zXAOR3>YwQASwTarr8h%Fs3eD! zmF1O|7Zeu_&zq5#TOKOSDJaX+fs(`?+9}6M)n=NJQ&5;UT}xHvYqa;s4d&9&j6F=Z zpggZMr@XjSCEKl6pS13g^z;)VQw#Hoy5*b@89X>LYHFlBKQBVS%<}w5@eFlWmNz>> zeJz@qH$5^pA6+9_P(jhmNb#J!Qf@s})s=1ShGt}35R4FucaH>d8QjUw(2U9YHgt@k zdzk;}#f62mPG57{Q+c~-r@16TRiVy|FCJH3ijnrXo&?Ivs2Z1)PRk3;mA{ktS1SK< z`15}InoC17a&wA`ipwL#C3!`sM8IS@L4Jm2wHTxm$u51k}FYY*!~tp6)0QVwR1h$yLrAyl~F6!aN_FX5zmSYSSi(U$XhNjroOt<=5^%{I&o8@y{B9 zbqw{h_px+E0(?Ic(a?+wE-0lZqAQ&qnNeCi>y%iV%i5s)49%E4IT$0>-*nT_6aMdP z5JNNO4LWW<+}Q@IW_~cfsO@`Wc#0 zP&7Sno=tyRaYfPevhJ#@%`Gk}XJ9COYFQ+2R!R9KijQ@5KQ;U&5EAR(Mc)Vtry0fe zH&G3ZlYdW^T*dnPU+bSw2(sIL+tQ3+>BU6mR+bj!XK04(IQ>=cG3pBs|AB)FS9~;f3vVtu?Lo zsQfe%R{9hcUV<0ruNW6zTreHA@=C;D6{Tg=moju^u9Gu;w+4^}Sos;6F>d4;BhMOt zN`wg)L!pWij2M}ANn}`gY2nGk;z%;xZpcvKAD4N?IS61ZI5Ve^-ln)TXJ%d`CpR~* ztgJ_*+Ykzd=B+DNj&_5QqJqNHV~f_WmtVgjL&u`vkZDE5rL#x?J!cgZWG-F8i z$Vf$*6sR)WDUmaVP01^g(SxecQd_8M5prAs0jpKc@ti98{apP~47dMN60 z@wAJWN<^41qR1>mL0MorOxw#c31$om)=gr#Vc@*xxSTFgQ1+G1u59GM+ zP0#t&n15Wse7Cmjq1>6dQ<$2~!qv*c9KHJ)ITbTS=pM?;nNwI^nwO`fx7~ThW^AD zN7q$2OoBqkqTk?SLj^@+WjGEcm*jVdR0Wnpr)QU!68K-4pO?yjyP{;z%d5D|tD&>X zrm_4rE2pG{;ux2gQ<|F}DpX-J80C+vC@7b1VJNw{Sg#(AsVE;aL$!`Qt}nA@O)n@b zQPsuFVP@scDlWZb?@)1>GFUdHP{z&p(o1~zm~U7`X{n@LSg68fB{?fEr-aEo+U3oz z$SW%!Q>F@}EL2f49m8jr=FL$}Mi+K=MY$A1VW_O6u%KMU>}7L5vPc$7rAiLPB#2h< z_~OwyIFNZh4%Tllltd~;?>TuY-UudwI%Y4a$wLcfs$jYHRg=PkvT`a?Na$F_ED^G3 zes1ic#pUJ2td~p888WBvELM#|Wf$ko)e4AS6vSMUe~A=dix6{;!q5!brK`&HynxW@ zd4(YsVysPz%Z6)QTVFUmy-3lZuqY|w()Z9`?#CBTC@ZxN!zSe| zLy>D)hxbZi73PGKhme%EUb!2(?X&X&S7lMTvIJfKxPq3u*zBPd3x?T zk6Ax5qNQ${OTSMVgY%>$sV2h<%5qDYLKNkgk<^~$S2et{JXz%(%HjbH{={QLq2S zGYh>^NO5DEVNzi(DPft|1pl|6n z!fg{QWaLbfD=5O-sDDyJa8YCP_=lOq6vm)u6_2#B&KM@99h)~3H2}(`uPw2 zxY695Qs}-=)_HU3xXS&Col#gk&975jeP*gi@id7+%ES&-9;sMm71PS-aW9xG$(^Nw z$IKX(Q$jOhb*g}VSj_itm!o;^sOB@O8HGaqcq#VE>wf#6#D8Tm`+fNH^K~%y(__L1 zaPL=oNX0yx2~1AykN{d0ty$m8Jj;|pn|mDRTlTm9)<22gtKM;5xI4)6f|2p?t-(4S$&rIL@v7UH0I=|MyiK zzQM?mzh?Gj+G|Uf#R;?6|6A#h|3AtT1%7r#F(cmpLjS0mn9Lx=ZRE_#3(YE<$rzzH zSKSoKBb*sLo>O<~Q3!)Rl5O=n&x9D7@$a_#5_%vuHy`sUYOKEx8xh&_8V^ATJ%%WVg0^^fEyg0W)dfu|0 zxy9lvif5G1#c}my8da7r`=okaR8W5Mw46)w$_jFd3d+>|6m_rk2Gw_x|2Bst4=U%0 z$7m|n>X9u@1J{*jwm2K1OQ2C`_Gr!)h7LT7&9M7~LS@hh^loSdwDXu2XDYNiv=Vyi z*)2{zbl5p9&U)x(=oaYg^Wg6g3VjNVKzBhipbwo7KXlv$@I$vi>!BMb!4I838GdNj z3*qMhUXLm8Lsvjgh3-AI#hD0Q0G$V223-zK&uMYiKwpGzhF&(9(0)FTx(D$Hk&4C~K zIh&FX6;z2-9bp>ueXXf5>9TKJ(?U5EYl4~5o3BhY_BGoWKQ zK4mI&CbSazGqfK1;1cW)ZMXsZL$A9Le%^ao$nj7S=u!@`%7C83Zu64w3x4SQdibGpI0<7IMx(oU`^iUpveg{1jdesxyA3E}B_@Vy?T>*V* z9sJP0KMy}N^9A^!(_VzXE9t%rKlB(r;4%sNGW0TNa})f~)f?c4j{P(I(AlrT58d4qhaY;-kMKi3 zg}w*f`zQFJCqNJ70rpIQ1K%2V24^2A=e&~I_gCBbK!SM3{^z}pFhyDni1T8-le&{XG70~?;gCF_{^gU?C z5%5F%N8pc;4)j#$g-5{;ZGm0}tvv>Q=y%7$4?XWV_@U23cR?>c9{wZohuz?Z9@HIv z=({Jw4{h56erRz|_@P&&!4F*r-31+x4nNOnF6ae6^l#8f(9yl&hvxQyA9^Qm5Uzp# z1G*X7y}#q^ggyZ6dNlQBfa45+W({xagf515m;gU?1oSoN4-?^s{_Q;Y*$40) zv^(^w^WldcG6{a@VUyv9&dz}!+F=^}(5InaLeq2MXCukb>F`4zD}Wz5<0AN>YoLpv zc^5lQ19UTV1N4kS-lK%R2u(SWdNRv#xv!E44j*}04wuG0kpzlB%pdCx$haL}& zLhpg5oP=G<;D=sY0Y5a8_nY#eJD}Cj6M6Bh0eT;F1GL9{_yy;+;gs&=<4X9UUta}3 z^pdOLhmNX&A1dFcZh&T82S4;ej%SNP7eiA{#{aR2svETX9q>axh2}$d-U~nUr~BcD ze!{$c1M~pqu2JX}tKsi~zlU~%?)@12Q0I^ELmz$ue&{(*!Vmofx&ivuQ}9C~=yGU2^t}!6Lp#3?KeQ)w1N0PV6uKOm(wqJS+6}r3ngz{x1AgcMo2Y-# zCD7H-(A)S8XeVf=KHT%8J6FFp^T&qT%3)P3frREADJ_>>cSAA@Jo{F9&!87+=tlt6xxUO9jDgs&HV z^OLj|^OruX#W_X7hIH(7b<(hX+f|?tw}P+Y?@Vxt-opz#{568l126OANkuAx@PEnQ zDsZ}PkAIxU-vNDAf_F;t;mP|XNetod4!$(A#c3b*<4IwQj{?8+_btvc;83Q~KWVX> zej)fa@LNT`#gmt~@)v^_j83foD)6=7iS&OB{0Zpq!tsgg{Yvn8;EC$}%ivdo=LOQA>gx9? z_^aUGU$y%74{CKh}Ba1kTauSzeKKPyBiOR4Vd=+?}=-}2NuM8W&zXAV40KeZ& ze*^es%%hd>aru|HcvSeo6ZwXecJ#-&iQ8^B@V%xd_8nQ^H-abf9r@r6cp~3X4gS}> z7UzIK+wZ8_zO>;6@E2JRcua6xhRF>sz5#q(ev5N-fd6n8kAk1WIzl4flhU5~9C*)w z{Nr5yZs4D=?(nYw{<({1fj`c=L(#r|{qpve0*DZl4<2HD;7)%VJY#Y4!nVoRNkf!8 zE+)?W%M#b2Rp3j(6V;*D!0!Q1RENF<{{lRbpX)$J`yu#Jbn)uo^==*N4nA%{;yN@6 z{3CEj_-z>_eed!Yg0E*S=!756t@gs10Qu| zi}RxJyKUe(m;X!fufdB0@@KeshrRG~R~bL<>hJ6Sz#jpx3Gi3C{G-4RT9~+v7J}ac z{$M~qum4>Pe$t{A=fpt%j&$?43cPPsi!(fc4|4I>z|XrnaX<7W_+P-E4W$31tAB^R zIX8y${cZ~2*SUCi@PB|Osvo1k&#X@DgV>fDS`Yrmfc!^X`HR8F)g-phD)9Hf<)~%1 zekITH@(A*aOb-@k+-P^mmcLP8F))wb&;kCLYZFF_d0#9Wf z@%8|Ivy110Ukl#fkC!S~rC$v$>yX|2c&>*xfIkR+oFC8e@D1RPf?x0VugO=twu^!v zen*Sb6u{THcnW^|71lEojp4e1_p9e)iS#3`?UJ{&6Ai?ES>Vq7iTkg7@NZcUEe_P( z8LoY+!G}E9;v5#hJG*!T_-U-4ZVKS9y7&f>&${Z@e)}XfD+7ssQSkMvSdR_hx4U>s zN9K(Ww>ZZJ>~pAVpKjoptj9J9zpXn->sjq z>j`UG9M0zS@|S#ri+2P6;h7fa`#}0%x$?8XUw>ALg_-5*7K>q_> z{kws8d#A-YGm!pJH~lQ|aqqV{uS@!F`*_(+KOa2wf$?7!pR8c*|G?XUvn=iLpX1>T z;9>ABqMx--^1H5n8^B-rkhKNjw|LT0H~lF1Xcr=*-bwSJo$$fryzh&b@6=gQ9E0lihzEFu71_vcmLGltO}Ih18(^= zfS>#`&$R;b%Ut;zz-xBlU;X;~#t%{OW#E_k@gzL}5&x0Wg|#{Gqy6~#DtYbyz`xrK ze-`*zzqB}S`uUSKxccXVJK&Q8`j2<@uLeKWX>ooC@PF;{H-H}yauUv8H-O&&E}!6W z+gGyJzeT}+YUAks-)(=lxbjnYo;p9taX2>2$G^zcuN(Lm$*d~}@F^~y1>Q64I5R|l z*Z<_W^7FwfEbgYS9iZ618vIY-s{CF2UYEZC{ET*v^RUQwac}Ol0elm<6KG%GyX`9q z{>Qx?=jDL@e{%It;d$`69USKbzkI#?qRStAD)_|#{%J0M7Wg0bbrP;$`9O z-`Z!c%AWTB;Ln23_otsU+si+A=Tt|pZ`k}NAMB>T0sNp&jx#sF@2!1D!Hd8X)_*1l ze+Eyq_Sy~n`TZO{_p#}dmXzIaun+ckoPqwdOT4^I2mb+lLcn&TT-_Iecki57x0T@6 zfXCBK(tjCzK^MoV^{1b7l~MpG^eO+M;QRa2CtNUjf$@U_9S8T|)hjMV?xA3R2fINq zTV}rX{8Pct;F)yaK%MLE*11XGlMd!=OyRdS8{ygIGVn9OC;9Ot{Xjy}Ujcp%`1AmN zfm*b+`um|8U_B#jUPjls;3jR0nA$~k_VX`!9Nq-Xf zci`!PKCheG=UoQgHsUy^3BT3P_q=Nb_)*}``thX4-1OIiuLbWAke}?ze-FIjsQC7k zIuzU+9%xyp|x zU*hsF2mgV66}tj?|IX!K1OCNYDiUafA z8SZ>{Gx+2T$9Xa!f0dj5PVjHRmG7|Smo!r0(l)v>5tIEbf$;|6RGUyAuqVOFM7Fh! z?>X~$@RXtGCb%nmhMRUd__^Sh25@gIx)l6z@S%cR`3n@gO8*J)P2gVy_&;#vZvwx4 znB!dQ=TE9~@$KN@;rP9P-#FFv8=WKU85!XuoQw7WKLNb2zwRV=ck9-8@YBw49J&`z z|M8yw<>39n6XqZMM(~gP{7LV*`ac0aF3WM+2lQ`o)87Ps%I_WLPr~oo|8bXpJNVn+ zs{^<<*XVpCdv@4!lqi3Fz~_%jtp9lMx4{#Q#mm7@JIisJ0={9L>l>DWe|9!w#Q@&h z#h(CgGr@75Yvapb@)KVE!S6hW@lb&ODwlsd_+IBb&RYTd{lzQ)qv%&A@vc%}tz(|s z_WOVzmb07ugU>}u1uTKgnVNMCq4e*99+A0ccz_(t%z!rWN@A^Uk=RKv%R#OcaH&=vKL zvw&+iPExrRLXgNll{lM;lP7UTbnJ9}(#VcouS?GC7^!QU*|FQ=@bHdlSGUXRIACG> zGdgAzbsR9HW7?38-G+9I4DHx;Xva=NJEo}pkc*HLy4!I?9s85KuONIU@>#n5-|v4G z*sTTX)dCi4l$P=hZ23($G~du!hL#$tV=bJ(=(qG6gMUxPZ5Y)7&K3NCYI-k~F-?uaIHX58Q8|tUl3Aj=|1*-aH zXcvWg{|sAbb4MBcc;{->>s!^{B-|ut&rb}=`*!~DjJ@=|)myE56J&zj^qEGgpN;pk znf75V6~q%)m0!!q3bneo_TFahA2$MiH1}4X5&vH!QBy9l0@F-+XBe7o=u|^X46QVD ziJ|p|t~PYNp&Jd|V(2zQL;LBJI~f`=G|kWqL$eK?YG{d}m4+@cwBFFwhOResqoG?2 zjm__Gy-!h_!CS|UEuTY8{c0UEe#jZahMf}WHenjaV^l;2_UO|i?d0?db(em5ue2U% zeR^=rxeAZZ?+;C;^>(!t-v=azl0pOGh9`$6#tm;9x-4#ZIAq(aPkbmj)GlP(X)wHf z$hPNTcuL6D^I$lw$~G(?kQ~}OWZR)Hm~{7X+iNf!?`7+m4@l-^)kxg%j-hRF>PND? zUC#63*k3ZjzaXq)0B?hQ4vU5Pc>6 zOcM6o7GqDg>8S9C>BlVJktW>sZ#G=U*lp0K+UR4gIzolFw$Cghr#?phB`SVvJ1-|Z zp8h`@IS(2+YAjBetanSkJ~81v2$SC-CVW5BVX3(%;m4TpMJC+#YbTrV6(-!8dz=Yh z#q&J*sdrJJvM(T>o;KZ&)MS`<#ub;B?)Zofu<8EY$S*YEYK}{kZ6^HSBX#@-H3_BQ z_awhBnQ%3y1(SVV5}tjOj=0Ulm#@A_c*fB>K&=6A`Fj)oPZO@@j)YG#;nmF9<)_w^ zpqCOJFTa}zZ$rDwxEF=_HK_lL`AzsX6K?a{8Gk47JFV35ZFnCOo)!~s?Kz)0r2Jy- z`IQN`a>gS^@_RRPF8ST?{}gvFU~*MezCT11@EN!~f`~Stf(T8$tIL4)GwDwHk)$h6 z#FOe%r@Jeus#9H$ekAHdc@Kg*;&>$}QD;z*(F}YDm~jZGC?Lr7H8RX#oDr@%D6bI} zl)3-C*MC=?I^C7J_q%@I)JHg{e`oD=_FjAKz1QC7B^%55&qHSk2>Q>_Zxe3(XP$Zz z)ud%}&da{glTk0|G=vnfh9Xh&1(AZ&;`MH!_uMI%tFUUhFk^eaL8$bUR zx$$%3pA}}r_^0vzQ&)|U#%oRM81yl7m{~>rP&U<$@c{K zUh;zhet_KCFM5prN6EL7pJnn-zK^`aj&ooBG;KUJCHN zlKjB)4vre42VW1rv9b|8DXxnEJw2jU&&d1qA#5b2bVO_W#?+UFtD$)LrCt z`{2Av|38smOL;R+{U|K?G~<*R7j|wEK{GCFrk*1&6n+o&m~m(9A^~RHc^Ycfd0!y^ zBIPfmo?|ltOg!)@^3RfgjqzQu_OHBl(!IYtNg6U3b>X0 z4df4yn|zva^ND=3o;c-qt3VpR8)ajyAwR7sV5OMVx`_PUvI=79XJa5TPu?{n@}Hod ztH{4c9zxuvem9ZJMVm&Pa2t85Dss%0^^fEeHQ}#jettq;oE82f*;v0N@0$~_m;5!a z5xYG`&Tzy!i~NLn5j1`tCBK0Dt<*C}ey3hgZp48$dGt~dH1WW0@*DqB_;0A^ugR~y zO29tyo5(vpEa0=`2g(0LM|g_-N90fbwSY@$pI?(7LkGEq^2fYZ>~QlP0)9+>8upR_yZ$ za$}z^^5aq>|1-*ukze;t;YPknenGmK?o)tiu<`WEB*C8yKYp18re8e+p}&%UnB4f)5cpE_pwDP|%xCYG^Ol$&Gwwe%E8L9x zCVrTh6K?eX7=NmE>gfkB@C*_4nDPD8-6C(sP17&kOCIc(#`OaXSWlrI)4%n-PxP36 z&-5F=CO7@Y!4~EHKFhoB8=|L!`kyg&AUEY&{y!uhI~3sOkz3ysJw|?%yd%Ji;L1KL zFBW+&Gu79-wvktuA7keS$&G$v=f}x|cK+BUqCaTo^Dh-1wDW!BK|9}hnaBt2>|8F~ z*!gOf>xe6an{wSu-a$UYa{UweM+5TDlkX=t`j0$b>^6F(=r?-KBfpE>oY%yekCA_g z=QVNKm47LEILupS9C_na!p%4`O8wyvHJ7VMzAnH`{G+}ZuYSS!=SFhVPOqV!hsbYd zKGpL(%1fb9*ko?^HZu$F4^0$!hIw-)@*SX|(9}>=HZw-@=oGVeR#?L=QzWR^C*}YnyB%k@8!mnfTZY57|5U$@hf!({v&;2jq3?Hrg$;a;# z&alRMjQon<2-nZmVE5PL+1JPk&1Hs{$e*L5aTvBv#DK2q@!ktXk0%@JJn}LFF8y36 zjt!B&zzM_w%IC>fzEaMs@2SVJkCOk9hSB#7f`5hlma|1(-zNv11(@sT-z9fCgnyX&pCSLu z+k_uWJui`87ZE|zf1ZR6T-9$c^_)gMQS#vrivoQw5sqyp?~jV$-%~zMzJeX3ehwPP z{(}4_w)gi?{&I5f+XCLfe1496Fe1SCn|gnz%I8h57H;O(kCI=uT)1iPza;_zqEpU<9CJMFB|I|@^^*=+)dt3UZg{@`?D@2&wN1y_4C%)eLwl- z&kFyhWY_vM`R^D=K1Kdj@=w1-v8gde-{2M^(=e6l=t}83z#Nf zLH?!(MLtgbA@bX4|J~##c8Z=odqn|;Mg1F~eDYu9?;Q2pJMff7NyP1Hb2GV?9ECCi{n7l(6>ktbY3q|4zR5ZNkmC{|byZ%CC<4p>UeXT0uVWzlC2Zr?K8de&3VA&ALGsc{M76 zOlGYiKP@EuHc4jfAU|TSfd8QWOUU!=Cs{q#jpS*zcdE0#NxtmL!pFH-(@=eaReu<~zbH=m-!e|q?>>a&5czvKKE6ZLSuXhr?>a&g(_eYyw_PrRr^;dL z1LSx7n0%RRKSdtLRM}*x2Hf9VS2ZYr+}sTf^keym0+KD(q&+Z>$Rc2iaKfCI8V+ z1epHw!{mQ+q-6Ycl;2Mtf42aJr`C7Lcb_QoG?Voh`C8_m!;ke6c|SXzJE{LKLy8CRjagDz{{D>r@)V0hT!Fd zWttpKehlJi#XHEm$veT1(}HiKo?mc1)9ByXLjFq1Zx7_>2J$_D{Coqv!=DlE z|5VBQ?%y-#{W=_@L*2b?ZZxC(bC6%ETt~qHlpPKR^7A(GLxKEk0zYmU)^pg;FQi+a?1~nhy`5#bz zAJ1#-@I(vw-&6izAfIo6p_F}A1kU>oa_dqlFBaGIZ-e1iHrwG+@TKhbNy>Kw^na;^ z{5_OED}f;2q3^f1_TEbL_I?td4zRx9{-ao6lDK z^;Ymc`7roW_F1jv(Y^xpVv}zV_{oP_=(&ON`vUTJDXz}Ue475`A<7@3{KFWx)bFP) z^gl=WgSR#N?Wsto>dX47aMKUG9bAng7RM1+)LSblzx@p9-@3`Cv^@XtZFW=sihzBt zA>SA9&)W?T=zm=E*WWA2;<-|; z;COL5_)>OAfUEKj2J~#x^2@C}^WV?>+mv4yke?&p9?0k4knaod?`i$U>W%HsTkt<9 zj{fZiu9v=wNnU~VH^rah^P)boo#{w)VztgF^0Cp#T{JJ@{L z*RB?9C+`*UX?5GqdbWH%*UnbGa>dTzE3%GPDCJ#zy0fz@ln5^^WaG2&IXhD>XBKRH z?hc>co-E_boOZTWC@dg}?=M?@ueeFHyU^L$U0L#j=&n?%+3rfIoSVhB-McH<+*GbwsehIe#YKWXue6{(67R^?w&gRJ zb~qVHs^hCvhOLrUk{x`ov~M~C6WGwbjjFf#G~3}&NPTu4Uw$5ffm+MOQ`VoOg!-eM z-IYv5eU2UngmL1sLu9qqqPFVTsB8)u88=p(BOUI+Ji2CR|zQ*il zF{}Qm^#+clQp#L`PdJ)SZ5z35jeOeC*q_q?Suc-ot((%PM{K(oOJ!1-t)+Nxd1A|K zDw7!NE3MgD2u;}$>+r{;ZH~v<9FNlhQ0i7r(v`9@_}XYOD<7czb6O(jsc%HW1ymtN zihXNBn|ccFwp1qFlit`HO*!+4(0baS<>C0@Qzs68Sht+C*C&PR^Ki>#DZhj}CQ=E0 z)YCYK9gjwn^)I!%GwzJfd6UV|pU+S}Bdw3m?JUjjtd3>Vt7r4$8@$xSu4*bXMK0I*2l#MS|1lDXnj1{CjV{B7j9#}NE`b_ z+So7B#(t4D_KUQ!U!;xwFutf3+R}cJHuj0ODPOcr`J!#ghyMAn`9nKB{PA}AZ&Saq zHuW28Q+|wHhs|HCP5EPO${%Y}zZl>Td;Ub5@*$`?eEK%!OSCCpqD}b{ZOWHu)BY1} z{3FrEKN4;1hr!^m_DQy}U$Tw;l5Omlj9XJ~bl$mmeidlEQfn#xuj+GwAaVwSFMBeosNriNR zo@}=4qo{Fbx>nq|5uu-(Z5)Vpg`jA>kjdx!)N$XDWXxhTxF{%0CRMEH&MZ2R>O!#S z)r#3#sjexSM0Z%IOdy6g5p=XGmb40pa!}TBH&b?|eTQKDd_X!Lw=iAEj@NS43`*OZ z_nbyfqp46#hwBI_hTWo7&dhBt=WvPGtMud{xen%2LAefx?PwB>*Q=z<3rinNs;Hx{ zRxbN%Et=}mam%<{_2F#=x8Ri*Y<*~(TlR3w+9lii`7l|49ha!VSjwuE@OgQ6UD=%- z&+YQnVLa4jtTR+p!Fyd>vvM0Xd)b zoiPCwSr<;=IX$!aQ7`K|7D8)8q`%lEDP_ohNfk75T+ehGC+_O%vZkDoOu12S@nkA# zIc`3m_BK`;z8a4p@+-RYRa8+UeG1J+eL#JY$0ef)OR06sc6C9|MrJprGGi$xJu@~^ zO!W2cn%>k^-jW=jYlw~WYr9g;Nbg{u+tU!$8f%4AW?-f^ zpPX8^qh}@*+Y(!woe0la_$0f(-r^}$)wRmBG8N`l1M`ksQWLMBx;2C8R3;fI4rPav z6XO%%l(TBf%zTd(oD$j5Fr2lybnADxql3m>ZlGND(6lNQw1`N(dLwa^b8+dTsW>{PKDbC-G8R*FfNXZuog16jk@mLrrR&Gy z35<(stzf*Gad!54)v8ypGWcK487ew;u?U*v;fDvf)apJvo2#hKrjag!PPDl)BGvhU z&2vMu8@7y$uX5tEDQ8D9JilJ0c8kHp!J1qMP3L3jLV9FyAU9l%PnK&TXTs;D+V#5n zHx92}m717b@2%-upDs-9tfiaQp2}2FS!tl+WJ<1HmZ%pa8E+RI zhB}j>WSbE10%Ic~}bD z^034-Ef0%9TOJNeNYe7SxNOVAKIdxmZk3T(e&_f^a@TlbRdQ_8$n55nGda0lJAX?} zao<|ahQ4sa;~RQQ(>o@%uBlcg#)f*fW>OPwG&ViGZR+rPC1h)PT26UeAIEZ&SH*vr z^eb1`Rx9QlHBNOQm{*H+g_0V6(X(grzA+k$bIi|r#yvp2)3%ZSyy*0^|lm`MeF0HHR+WRQuIyd@>%r$J+(%- zhJ_1+Us#25p~EYtJ;{x2!#h)P?Vff7BC1Eu<=w$dG27^Ow&grKf(ajbX+$?u)oCPF zl7qD=HxRPLF|Tm30NR@?s%~B{T*|3bXVBDDqJQ>jbZ0h2q~P^2Yd|gI>Kr$vOCk_L zPS$yqoGOaX5|I>Ea9y`IHxCvG%MZKV3=ba>ns>-bn-yOufNH3H+*&IMRMy4wDvG zaed9h!gh1jAx4)q#`=QPHm*6^31h{+1%zmgFf^W2%Y51FpqnWT=lpSZ2$K`F;w%-X zT3}tb-(4`psCuKhg7OCKvU-M~t)>=c^^&=Xd1EO|m}|uX!X#~)o?>=`JB2XN)vMJK z7{|LXdP+n?pDCbu4ORMc^@>ui7)5X1Vr~;oVc@JFNUK&Q~f{_2i&rBG7U%*STk z@?_qdQzcr$aS@a_Ua_jKAky93g}RPnS}TSfY3|mRc<+`tx@dp5iB`X)B^$A2G==6_nRDI7 zj5Mz1fW=B}T)AA`3c6>}eS@BrjJwsuhP zuj3PR**I$;;H{^G4>6)mYK9&mm zr$U&T1cs)rSVCIV;;A=|EHy6Hbw|3ee#4?|$jk*+3t}mB>AGJH4#_Z5uBd~Yx~fkzKFR(85`zH(w9mkO-2 zNCLyDgSMMiLn^i?dGq+8nq6HSgHy86-^*F+BR+aZeTf&+t*-E4d6jPGpS?yACuQA+ zr^Uiu3F!!QZyIo#Fsjy{r$`iIknWd*-7=yt-QA@j*RuP!j`oZU^{J@D+1a$n z7Dpwb4aoAV?p&}Gmt9wF^tQ1iBC#bCqO;T8mO-9ZoC?S(#gm=e=shAIZeya3xeqeU`h}_v?<<>t!43X$baG$}NH+RV)ds za3Qdsr&w1wqD&PW5hLi=n!0Kjt6W_)I7CwsJu^@daL!SEOI2NF525GQaRQdC)83-s34KpNHF3mL#VO=*_2@=>V35>debCt$ePSx z;+2)4$=`tdffLr;?bX9$y*pw1t9+L+aBhm~axOJ7!_+084-8=; zEL%$yTC0vt`sb|CBrb4j5As{83)9#v9KYwhsI1^)Ci^5k5!n#$VORGLXt*j5l^bxv@vctwo|F; zyOAu96*1^}jb&;CatUiRJ*0*QeQ9Pqm6__>iaB;>>$c+R&CZT=7VUM4D+k@(tA~er z`|L<(q!U*yYDI)CJ15~>%?EN#Q7l@BZM)@i(X%10d*o*ENp-7{zjKPHmXBOz-AM%3 zwjIueD^puG_h9LJcDkHh=WOoF71yq}Eqe%SWQ}{b(j$H9&aJdsoJ8lAMUew%LN>f| zGxLg#X}MX`HU_sbFOR64lwD*Jt0pE#wHB+~w&|mXiio%^r;zQ#1*57=9Gk6z?mRtI zac72gFI-g%Im7IP<5ffRR)+WZsD3+AydV;*A%~^!KqUrku2ET_LhMK zr`%U5xbeQOzD=8ZwhlPiUYN5QjD;)Kq@K<;TTI!*Z;UOwYFMvdJvW@F&hIF13^_ex zyGBEEu!S~U#@wQ1jMrje*@l(MdAHbnGTedXn_eT$@Z4HVKd8+&Z4SSz4i`En3O z?^SgRa$8)Z$wd;lCWx6BXP7 zhRNm(VhHh{Fod3W>2?P9QUNTM31*rzDRU!CNgVBc$d`6B?QE)@r{QER);V>SoasO# zVP~SpK)Zk#q&deZg;NNac@jNrrCDsTf2m8FYD&E$n0iXB9p$pC)sh&lax?;$xC+&9 zXC~T#as&*?@R~&@SLV<7Ttn5nZBG@js3&ExExC6QcK|AfTKbko)p2Djo-M0(av2gm zNOPf7_h*+fRb1uu)tc_V(AnV@O>{=O+p+Dgp28+KTS~0X4q}mhI=gu%ZcZyMh#NSi zg@$4TAE-183$|U}5bxbp4)@1*mghY$JnD=txFhgP8{+~po-5kwqBpKTHZC*ABbZvL zd={8hYk zr4P$CtJf4WDJQwsnO4<|Q)jSVGF@=1ImeuTJi2YiKxtLJymmB}EZ4@})I@0OyhxWl zuZmvCwil`kxxO_sYh%$=W>v}=%1zWZY%29218Nw~Z%|QUFc?rV??k1-mQ_&8s)1%* ztFK|3@g%52MR!=&oO1Ma*TA^0M?GAf*DI5zIJL^IX_R=bXYKm=^3dj)R3=)?_V-~# zLg_K|`i8Dn*S}HIZgqB|HrecG2nVJX^(|a^l_6Ss3J#~L`c>^?N`gVOS(UCRUfk7@ zWus4u#Bm8jTFjDG4O^3yVT4_^k`7Jk9)~+c5*W;L0dH$+d#Z<=)GKDq*|BXzJG`o+ z!yt1NqA3W<>-7y^zl5m;{8N{uS)W)M_n|bryw%lsQ!P2;yh~r~HDaxX#8y{->*<1C zvhs#1vRes4n=>L=Bh1&dp_sdU}V>t!AbyEk2#8Ok17Vg(6NNTP(WhBPdcu-813; z!^W|)o6o2O+$$k)>C`=KCw4ohJp8G4Dz0O7RLGXfuC_ z4tcmhQkZ>}N}Uu6bOtlHjQ~3;xa>sxw>t5Zg9=~j4_Ewu?BK~S{RoRZRfYFc$YUY( zEgqL@`tfm>Iy(b0ykl}BYelYRyE z)h~yCO2ni$-VV`jhxx4*H@@-I+?%g->o@D zC$qX`qiyWZKe2T+c9cy`dh>l7vo-IvG3O7K{}W8#ONHjURc5=7idFiP@h_PEGhixT zM!$MwQUADA{_Xz->;HNj^r!D&IaEY?m_NPw{*Kuid85MoZMORZ>FW=v z@nN-tZO*UWbKpO}`JRv2{^0Uv1?IdaKkBs_{`BU%KW6(HBgk#ge&1qxQ~%~URkJO; zwOK(&^Pkp(f%N9R7iL?1Wpjey`5z6WH{TmF+x>V>)BiL6W7y-^c`g32nbzMMvj2}_ zx1hZF+iagf+SmEgoA)r?@qd~APe`lIWX^BCb99jD&%!bPufzWb_Fsv_%J)rr^F5?r zF#Xd~4BdWJQj>4v2VVm7pWl2p=_fBq!VacaY1Pl9H(T|3M1Oi~x$y+qZr7OJ+EVWrFD-#ov%ojuA&_#PUQti$YZ`$nEW6yPR39uIE%sl2M6e`|6qN96w>;rTma z@;6?SWZlWUDq{L?)lHhbD{g-KW1{sXJm2X5ne!TUEOwSk|K+Tt=j)4%cs<_+{2yV8 Bs#O30 delta 46192 zcmb5X2Y5}%{|9`}9G56p66rl6O(IpIBqC8_qb%0ytGA8bR~H1Eh!6%x7gh;^D2r91 zCwgbCw(KfbS#2$rmGgdP=H%qY`~SVq^WNu?&v)iq<~!dhXJ*da>&C6}Q`TB#Ialdn zXW*X%0R}^bc|q$dw5}wQtt-vD8JcqBYl$a|(O@IEEVm3JdkFrQIHiSl`7wr_^7t}zyjw{q^a$cfILE**B1R;fa5&Ear_tn#%qXmgj|k zm-?O`T=z|eJKav4rA#W7agy5czb-Taw3*X0`QNYjUtjijQJz$WmMLQ|wd8rx{O@)C zw*mW0^Nh|?0Z)7IztP-UKTfCczpLqeW0>@k(@Xi^eExSR`>SNHEviWK&!GOjdWVi28d}THuiv22Ba>^6))RhNU#^g4Xu|H=Nq*Adtc<=>n#kKOXsH;9%zhLr5OgZ zmjB_4{J*q(Lvb(D9D1YWTYV9y;`EI}!U5Jdv>pX2#bCH+!KkPiV_>$(*M=77zOu-7 zw~+r}k!WA;q5r3x?jFU?y4QYh#wHw6@5vP;3O)(IQ`)vN*SgMLs$k`>^^O z49OOZ$~;H>8D^1hZIM6LBHz{`e~LwZ6^r~di+pWn<=m`8DI)MJ3R=hIjKvlT4i<*8 zE%F^L@^dWmoh{F4^>ZWj3$E%H6~tX?MVm*?A5 z^!{y|WJsEEcob1DCZ!&?I>t5B=$l(5!yDD_*4CZDHcO-wkRiyi_G)Y}{B7;|5$R~m z;g;!;FVcQrq&>b!JA9EgeUUa=q*GXdpYgP@EbyN%(tmxCe)vWD&KK!xU!>1{kv>t9 zPT@5^SdzihKYx+l@x7wHvWq!)gX&io=hLr*)4kWbPxM0#{C{l(6sy<;;pVWw$S zQwDJ_5+#G`&<3J!vyeOmA}P~<JAOqa2bljG>H1lb2WTS$j=k4Sq~R$S>jY(era@ z4SP3Y%%x53J%YL-(=a-?T~cb?ADclYr9T{1DJdiF5fbJlpH0S$Y?6oaG7>)|rP~NF{=+&Qa;*0x`1FgrSZ;JV^DP_6@J!0eI(4ia zti#JoTn0rM3qfUdJ*H&$mh5SsgQID3bEu~$o0iEAlXTDw{vsb z2e-IihZ_lI<0M+eCBQb9UXPX?-oUUMK2xa(~L|loY}YOr4Zd$jW4G zl9SI!)+SZB?c#baYs~AJQ@Wllh28eB8%Cx-p%Ly5q;eunat|l5Pw05}n$iWj)jimB znQ4nIHmou0Vzw1OAbjW|9fXBOjj5eS7>W6ZZvWAaPFd_^iYrmM)rj{>#lwlLZ$$Gv z+(}v^dfuZd>D!3D_V9LV)QDTZk+c`a*k?*o-NdZXMsxaOTEo-X%0}bQ_wu9zJS&si z4e5B#FjC<$-R$WTRPz$*o6!y(8a+qv)blR0D6mewSnK9BkI?s?ooyFf0|Sl^KsjiL zw+(17uMl#g0iEaNLN+y^xn5z;tKX=qHu6%R+a#q=`jC`i9JEf1W729Jwf1&uxQ+$X zav1w*ITpjXV%aZ-vBYKIneqKvNx7dY`B(C9pvSfvl}30d;nO82#}^4&OyKGoHpgTd zZzV`d*XdF?Nq$X_)b%$N3K2H$Pb9DiD|e?$b`A?HG!KYMPEDX$vCfL;49S@sdPO5n z`Qn=Cod!M+aU<6m6bt3U9d z6B5~^mzR|3Z~}Q^>SZaL`jYa>TB=HR{Y-~8bg8$dNObF3THxZeR)B7Uy&}^zh-GFv zwC51Lii;GQ?e5Sie$LVZy2LNQ)K}=Srs*HYJO2|uYf>+ce)Nl~)S`s>i4Gs*K|Ay7-&w#OhX}V^OJ^ z#1Kmt1xAuxPn5akrDpQsSV_5EUh<&>A}Y$x%eAU}S|+OU=dv%Wa!JdvsLG!IzNpF; zF2kzw(=t@W^mmNz#QPW?+13GNXhLKazhi=PgAMMEV#MSXXR+rUro*}7Yt;;=`Thp41 zsY|nKI=gfg%o~M?YzVR@T+$)tfY|MX%M0CaDi- zrP?0kc{B~KU6q`QrY&oS6YB?bO6?#b|4DOe$CCDcQZ;ZnJ=D%fXVvjA9f{I|u|J9j z<6<2rhnXUmH;E#eWMmZmuTCgQz0YT%ekE#sgxZ+8)}(e6tv}e2uB=;?ytv1wI{Om2 z2{pNSn;0jDCN+7X+`KkN)~reE#YB(3 z{HaLY`(u&Zd~&Rv!+ep;&1(~BN+c%IaPrq(?)|V5weu15b!@Qb>Ilsved63>#1u4n z7ADRW|L}>k$6fB)UqX_()*ylxxwM`&v5%me>(!7Sg=@3smT=6Pjx;dNfegFDT{V>G zeI3sA=EPYO?{K;*E}r}zM(@RaMHYq8>h%Li*W0wgV>{ZnzPssNcysadka3d>otX&6&)ZNrAv2hq{)hS0k4!M1@vbG5zb;8^HIyN1xw z@$J2vg+M;jVIGI*1-$S=^ZnC&Y@46IrWcnxlH8lTLM=*MYbso8lVC@jL+SSk)yZEW zbbdlJvO0v`O>if6H|c)~fh7Gm9>HPEx>%D8sKM$~<@HN891<_ui>?+|gFPwe;s!zF z*$qBq@72&%yn}fd>>Aqpm0gbd?^;=^{*g;9>+f4bdrGX%##16LvVRb_a|5-;V_^w@ zR+!qd%uENu%E*jf8O%g5Qn4H}|NDYB{efT6AojFeqbjC-oXywlud6dp0=-`d=QoHa z&++P_h{D7L+6027aiQ7aS301PYo~b{7qwl?*@cPO49yp>t18w&So0K`cRy#7L}E6C zayWA*XM*E;gL87g$zz=2>1lpGz0)Yxb`&z9h}9JSWk$~oq}3byk|}|-Rb$_T@qwaZ ztN(@#zPduoBj_8M9qd3jJCTKkJDh_Ad>|d%#EYc+(>YDzh)W^OYd(rx z`z>ee^`@U& zv?oWsXuGdr<}l6sdK7uHmHM}Y8BaQ}Wjzvih;D2dK`I=gw_CO%zvT0hMsJ}%wQ5Mh zJy=QZ=MOUf5~r}yf`t_G&n)aebf=N6ecf(hRF>*t*;)^)wUK*uO%Yx_5n9vS>B83S zNsv4Jt92MTd4PI;<3jGb(YoJ6lOGPyVc$4=WV-2{Bx{P+n6HHP2qx&G%x)st5Yqu3 zgIeo(4CZZMrIGMOG`LMQWA~F-#?aSo!^ysr+QYb~8Pm@Tjq_TkpLcXT2PedySZRlP?P_q(rdv9Dka^zpY-b$N z9OY|@bfLz|sqe+hY5tuxvGt-|z6&M~JZbuOwMoViy3IYvbl*#FReK@o(8ZOwAL0H^ zD`9T*5?u1B;zobF_g$S3mMz4cI2@K_3v7Zki)!N%<$9;sqMk-EbZ## zKs>a{A@E=XwxzUQqNIh2?(Id>gqO0b7>ZClwsP9?-=_E$pYZp4P2iC+cbV!;T-P0qC%y6OR z9@R*~0lwr26@!-5D#C@E?by?a{O3%E_Y5Z6_Vb$mB&;);<<9g{&oDC3nUY>@$v^wJ zjgKz6Ymc0`jh}isk?l_OK(7$eOUMi>k@;50)aq?Ve4J?W-jU?|FWipVS+{e@k=r>9 znK_R1_ue&0UC7{spi7C&5FyjMkCQ`PN3H&-_%Ts&e@8mEPc1TYFIUTT(oI(s#XI)3 zbGT`thAlPgYwc zS%tPr_9CBc>9FJoa@v;ul>Bwz1ly9jb(Xo4$rf3iL{>Xn>fFB(v9YCH`~N@|+t6$M z8<2K3)OkQH;$cHu4{#@{H61d*gWR*GnFIQfvDWmT0g| z10&;qsH_#4Iw>0uLw1J6y3{~XRL5d2JD|)+z+n=0f?y94?7Ed{)Sw7bwle*GPy=$z zL^lnpMF!^asbIIY9+F+w)OK(%`Oz91quS*9Hr`BqO8C94dB_R|JCRUp`upH|Bzzn7 z7*f?_QzGM2iOYOH#EJY>kxm)nN-kBT%ZJ2~`4#D{ArYi|MOt~NGkHj8;LuR=&lVas zBgk~wr2BBU0@vR>)S7IsKo1PvS;B~^-25Nn$=R~B z!4CoC&-Hx5=qkd-Y>X<)ZT$R$6NxX&ZS+}RVq=l8A(f?-#zc_H>)H8`X#q|$(RZ2l zC&IPojKQfDp{vH!HI7_|rc;K@mO|v7>r`dsY^gSlt6qV&92;wzVAK_VmAK-Lu})-- zM9+-vM81-!|2S{rC()#Fwa8xvI%S*>Ic1=0$5kV14fNDFUozQ1UychP?F`g;d^9d4 z&{pFkZgsSr6 zA_M(#!jP&z6d^kuyOq>QQw-KKUa^{EaAJ?mq&q^&abg|W1NhCv>hkN)20Ce?k9-!m zW@3Fg1Ni4eKe;!s;v_dY5m)h-N&Dp<8;krS9#kf13fg^U!DmxPxh0$0c}z|NYoP0<#CfOxTU^_Nt+7}!jPAlJtL=&g zL5NJPCD#PTPW6*30(%4h{9vFNQ>)8+fP287416^;+^_iu%~-|^W-O^Nfvuu=_FnISLq)8Y;`cfvL^p-R}%^Z)%9= z%y-2lu){N~9^vd`VR|4$m0sgDTqePch&8hT*?(b{%;o@ZxNDIR*G~c8uJRqc3fp zX(wChbQwA)(?LG@oXNP;qnWPqT+qK~){|QUS8u`|YK|-UFo%c!pO?Cmcb;)4bLUvg zdCv?qe@-x&_KbQRc9=icl|;#lS%b63LW zJJt0qu`vZroXx`CMs$$!#VqZVh_SvEtQU_lA$m>=A5!eiZ|#dzjf z&%gx7Te73j`>uqajn|=SIYUYZX10@H*Mpfz>L=R+Z&PPFg1X4}9vSEy8X)fm?xj`b z`M}$>w%ifuxFApt0X6^<;GhLT^0kKsx@3Wyya%{vK~s4kP+k~IOlf>)(^Q0&jkS*t zcogO?bdpazFwl(){p1zEOAGx;+aGyzuM`nr!VQFQ(jsfw9zvZLdC717G|-8Q+~q64 zWs7{|t-!;J{H4BhZbpD{S`0y&p$ASDs|-zz(U1W zo&tQKMENxRLk}ctT73eoECLk-vBrx7$i3UUhE_FxOGVf(j=9~F7JU}M9q7= zi1tgJ zXH^|?YZ6+_o!`#*?swgG?k(8%pyyXrmQ!vSsP`@x`eBtxZV%cjyG}(nb}<2qk%Gj0 znzGA@_R98jYI*@`5BUWkOS_ zim5ZZsv%Zudv5TkTwd)YPrG5D&sPV^9e_@2Jmp%zI%@*tO2A&gKYqmndX1ZW9Jpys zHF+iQ;u_4vz?Z-tz{)?l%ME}bKl%E&{wf^C(OH&d_dP56*{ADlB6p~8P9$$5>AEh6 z9{9;x&IWz{Cx3Yi@cmC7atEN(+IZOk*lBI3{NS2_&RXj(p8#%LTTNaCys$Pv9u53= zt*6`;=(?_+>;UYvE>6C771O~wFL@_$|GHRtH1OYbK|V=Wbq{fE<*+wmlE#`;{=3PG_wXB$nJ+Yt4 z^0edS?*)HCF&~DLMOHEl4^0cBt#2403PIj%U#>X~{58$S40rFB{@(wTh_clAZFX#(9T&tLFi-;$PPG1+< z(Rl%~HL!bL1NqD;1N|v4S?&R>ynVKO=_F>g?f!BOuwZ+HJPP=6d!k$e*ldzNMea`551Gyfpyvtgy4`J_JVR9v4n_WKgVbJjkU( zifxpHHR8T-GW!s{zt5NSJ4DOv4wMbnfD3thkd8yToEQxb3HH4uz4^ zU3r|Y;B*E?*eKn(kJt42A!{;oAANkN7HPQ;tM4%KxeIN5*pu{~PKObsP^)Df=Z zZdf~9WNK}roym9!BV!Lzhohk+=^#x6+~~Y>^if-hICS2bcC5BcX1C|NqL+Jh=kd0W zZOtncI?35TW4f&7N)rmJlRw(=MMU!w!J#|3;J!j@(r_m|Q|Lje?W9i&eFD@S#XcE# zO~hG6>R}0QYBn+wb=xY&?9CliedI`+o(%9_RwCb;%bS^eB1qK49FoajE9bQ3j{5G= z9epjze|6GHKCn|b>U*j>Df*VbH<-xIL_~AMbHSQn$;g2N8$?{H;CNSy9Bxe+Qty?) zDt~lqCXpi~UhSaQPWh9QJLu(A)AmwF#B)1U&(|QY@@U9~L=P7s%JzSY5nA2~--#F( z<p4w8^7qF4Q2t4BV*wMIX{GkJh>9O^$7&oiA1;+1u!(i-BZ)3qH3< zdAbMj+jzx4UUVWAaBh6rgN9!!=kNdv2HwPI(>bENOIvA+OTlFARyyvI2br;zF1{2& z+H9p~F4ZEgTd90`H2G-@9e>%IOx;44U#>>FY=JpnQfmwJJZPCK5#&)Wt$iho{G3aZ zuXq!hOJ`m2Afs~WMnJnO)rm*BDd639$lV$9k-rdyxERCT1RK!a;EXOT*(eW zj=Y7JH;fD+ZA8wMTlSv5?BIsYtlE(Q7XOJCMFnRYAb-L4-qdqz zmmfjVmk;UfDZi?hhd*yOp{r zn!vjyUMWN0QJ-p{A#ig>B&;~2k6QEK- zEF6a^wB5t1#>J3WrD+w7LUf6%CWl;Vj}+=XN-6>y?A6z z3Krt=kw7Zd;xoZW5hgYqz7{eI9y<}|g>=i~^<>xr+RhwEnk=9xW_J>}fUYnHlhi2w zIC~+g#1w5rMO~gCR3%R1OqSgYW`{zFPpXyqv!>XAI@9S-s+d}pXb->{AY422#BNC4 zd0Le-v0+SSo5sY8u_8pC#jN6qFf(o-UZa?6jKG?%_%0H=*N~XawCV{hGj;o(GT@;XAuOUn!Xk3v|u>ICeyp{a-kdnR96Ti$?OP zP*qu$AO-BqeQ~LbJOsxNQ~o|d%2vms$FYp@+%3b-o^P`yQ^nc3jXg8Dji7hd@~oLS z&WUrU9pCxLO+nv}^QEib`4GcQdg5I`e0P8L;*5V!q~x~x0GyO#)$<`K^=Ke#sPtdW zh3rL>K7llafO!|Pl$YL;qY_hHik7ckG3*@oz85joP1F5|OXGf&`DpJ;v2iu`e8L-~ z_&W8W#wdq>lZ9QU4oXvATH^w6w~s-7%YNiGSlg7`ou0`uF}yfL|MDZ<^3j`2_MsO( zMn#^h#VwoBzOOJC;C|vowh#DOqQ=rCpL|LEvGfq2&e)v~ zKeZ;N-&6G({F%yY(5=Yc*X0jXx*Xdklw1fm;wn)|4Q{838tg3!@@pV$l&(PymYM0` z$RT=QDlMma6JJlZfKa@RQYG3u=c}S10iHP`t`XL4G&K zb1S7A_}h9LH*(f7q&xD4aA z>ymP)oD}CW)RFu0V)JDNn`jff@$UNhQG-G%OY1zQA7P5TQ(pR$+0;dXAacC2blNm?1QX%AzgZ)A z)9oz zk37ciE!Z22+58StXU6FxICBRma~vdhGJJrN>mYfMHUpG14wAPVK0uu5Ckrv#0ZJuD zd~fANe|EO-K`!)HS~^Mrg+<;c}!rKuCT^i3mO>gR9jH&8d>)t8wFw{}GiJpGz=hD_rdc#LYXDq>

W=! zmUfs%^1;D7OJNW0_fZ#ogKtp}s|18fEj$7f zh4L*d9H4YDDbxN0H;`$JvsJP}rOqUxiSj%Y<$KvETf^{FsgtM}!=*6tew9)y91YQ} zfig5)YGAuxGquu}nKBMqr5p*DdXnnT72gPa{cEeFDs3XrzWoxFA0zPa%T83b0PSZz zFH*l)v3#YdKS=I!&`JaQ=97IDwp1_m%_qZ3B_vX6VCvqKxzGE^{3IS_B~o&2x%6p~ z<&2;D+#6rqGsCIX>;f2OeiO`L_A|~yy7(G&hB1|K>n55y)&w zG;4*%>bU4-FeLEt86yVZfD*19xNli5iqaO`ElRj?Oo2H7uC}laE#U@OaN~q!8^KM% z4$x?8!Pb`EZ+Pd##87DbRJX)*yimSc!hLAL)mG%YOSl&-xDAEwVvU>6eyAlWB{MDw z*XzvT+QidH2#qQwlo{8S$yCy0uv}%$()tS-XC`B2U$8<9FsPYKjbc|a<2u0=^Tpo< zyNO_%nskB~=0D*~W?VZav`(|pR0uucZ47!r7rj;xv;GXOo92DwXRLwdg7M|$O&6L)4 zB!{r|8b@4MGe0a+%~u{U&$WeD6L#rO7>fnDsH_yJ6x5MAkgXLJuey?(?`zx;Gskb@ zvB2QN0L*lVv{Y;}rCVJ*uCfx8Np+>hA%wY_>F_(72r{Ej^7)|9oQ}l=AFRfw z6KXUlo(*W zenROUTHVYCR%Y~%XzN34k8f@&m?hhs%;*7(i5`vZ?tNumJuJX%?<=|Wq~J<7MIU5M zeP1~;UGi8IhcC+J#@S)vh`$!tUq*Pa{4qD9BOB}~uK1Vvvu`#bv5p1VaVP53uL zIaOb3r))@&LQEGMa|c*Zer~|3O1i#L)C9>^Wi^lXghUHJxjbszJVtvy$KR}5z?;Gkhb zD)8cW=q)L(lNW0}*8PS!Gb7i(*<8X~!*{QC;Os$usUf8OI;ZRT|dfcfWt z(9bOPc!kEOC6acIW{l9t0%Ig7bYEi_kbMe_RY6I}Nu0qmkmCsozq(*_0w$#!@f$CQ zt8v{dgCQIuNrfrKHK5t>EinEB$`-O`7egrBxB^L}>I+RJjfopuzyOm5*;FG7jLkqf zLiAgvk#20v3duBfUxu2e8(Sh(V0=Fvzi0%dw?M9+X*4pilyu_@WI_BjA0bAwNd3zo z-54ZFWrb^{F3`vV<3dm#FgYK{J_W|!peXC#MUsIO7^gy)l{FdYEXuk74$O^ZRx^zO zqO1`jmC7L9*hds~WTBKIvQF7WREubld#u*x2V8nG?gBMJu0@cc%k6KG_CF$I(}M3b3Jx^Wz< zbEdJ?65bzEkt#6$H%)kz@-GN)QKc9rmu~zUIS|i`;i?O#+IO%<*!(g>Bd*AfI{O51VA%&6r?b93=}h! z%VaSA4zehrZFO5UHCy~ZFx|LL@LkafHCs*~g)L`L%vMh(lWwenBuvHYrkpiXwm|Sd z3R5pNeTb$!*KPd;ip?Usg{{ZTR;KZ=!dvY%OBEUy{jJA_f)q|H0L7fR!#Ys9k>B<$ zG(JPaiP#(m#bR@iHD$W-2Z+N|MO5F4{n{94D^9aGmIuY0h-5P`ecf!O{ zg~lE8^+;?3DV)dy#hmCQoY;gUL>1kMVVV>Dg%k4y|N9hFmKlI-AB`+9_65b9Xvu`q zjon#5@RnmcccMQ_p;O`8hgx$y11X$%4vIN(O@y0&$Fb1ZNO!_rbHYJ5alRVnAJ|Hr zr#mr4BQdjqVouD0O*kilyp^~#sRlVrm4RuJzwH;N z2@|F+8Y8*M-KO%>goaI6p`}g}qO=@~A0Ki3gKr?PrqH%7He80)rtDN@^cX4HloHJ< z$Il+7NAp$ol`)c?=eHu8ZS(S2^RZ=DR|%MDtP_pPlA+Zq?`3)2L|)lwC3>v%ZJDIQ zs=8>L| z$4k!gw9`U8y+r*-p`JVezbVw-Lj3@%U#789q>?p33YUL7RYaxls+yuoG-D!_*At{* zPgAiL-$Srvz9qfcCJMs-|}ly4zbKxZ6u7;=FQ71iJ=OgS3fY zS3qhLmk3<{a8v>(Ne*(ClS0*0qIxi#tInDvImv0^?BYwXa$ypxx1&(V4o0uln$M2Q z+V0VQ$I4!`%%d>Av%;?n1rhr~Wod#GV>*RPz?#zFP+q{($=HO|30342$;V|u2-k=T$$Q=}X+uLfI1dsEXl*5v&j<<=DRfcP59e^aCw2f0Rx;n70tRWLiY_EH8+ zmF#T4-Ggog{~i*^Wg52xD|4nwUM@St+puhmjx=n{?)=DxT%q~nQl((3lwkEX16mpF z(iGdTBsZn{G&G77ti()1&F%&%U8iBU(_ptUZ<^%nkQG$oz~91wNkK~fG^r^$^|Mkw zRjQHF=V+-TjY1<@wRrfq(8vPg*Pz(KWOphb{$C-9RC)G;6X{sy@Snf4c(XGUIqdoc z_xsgMYznlOSS4>m&yE6j#$m-cMsk$5jS_Q$!ZJ(E2{W`Di#cK7wJ+v`o?HfH89R(p z?xjirrkSGNY&)77#QO*P1uut|7U96&m{lP*Na-?NijYqp7NaeoMAJ`bvS09Wd|RE> zMRXBuwB4_cTl29_{3pC*FQ~I2cUj1>f^Sr31zY}x*XCj)`rv!=2pu(VAO@fK4KI2A zAu%czl-Oy`?I`R=yohIYG5B5uiov%hkPp62)sMf- zC%6AomSo_)PD7;eLcb1W2ZzOnff#`FlQ_*nWxR#vzrI>!_$wuLc5GuF{x3?mufOk$ zz&WK@1a5B%9}*TL#@mv;Bt;o88&8MKP@6V|`f-$fx&;Tc+emVtkd@ zOexUQm(7{%+eqwIWyaU+(4tcDp~ZqNKcKCId)k8r-gCd_i8!6!2bF)FipH_I?qV_vdTmdv=l-WXi=Q=pM#i5DvgtCZV3MsY8{&W=s7bThHl-z9q`d zjEjaP^LwqER~{&|(o3|OaCf+?DA$Zzw5;5%>{plgq0zhX(BI4Tjf`d=7C>uZDZa$g zS#a4)Z^XxV7&M(1WS?T(1FG1UW1!7lHD7FmftTK*{!p3?_CDmYV_q`cxQ`Wa>)2Czg%_%oyM zBEyI!7U$yCk+A}3MWT{xow~P*Ys~V@Ytgpa#o{W=jZ9-rZ{1Pz_l9Ce4=Z`Ll1KeH zIou;SVB7`flXvKa`fu{s3j?=!Z1DuhFlLW~3kdVhb2tp0`!}0x>X!YPjdyFW1pe#8 z4LY>I%Bs7;(4c+O^y>}UHBJAgLE8rD|FuiX3|WBeZ(CIVoRs?9%Diod61Gh0K|+4s zGjACdoV&BJev^C^X$?*&e_Si|-P3lRbcXCn$&uz+?J@6^{wv$7Y7bSt`~Tw~lb5uA zmU@r73p>Tgcue+j_dQMaV+JTca&)heqed9M>#9sVA~oJ~@CaV}?g>AR14{c~KSTc^ zz1#HdXXrWd`ymWNLzTfBr26Ft^dHr|SI=>MM=JIOQmYgLR{XJ3Fvh~r)RkzFx(jsf zf+F=c@Br{Fu*ISxbvZCvDN-v{Fc^jcYXDaOTL5hq7pa4Qfxy|oI!lYxTwwgFBK0ir zD)2dQFn%ktQbqg>Il? z>Tc)*w*sv&xL59hJ}_nbUKjw;3(uou;Eeq+0IYTZ27qnwfIkUra0mu~+s+~a7~D^Q zHGod&<1K&_frEexfU|*t=Mh2Rb>LaxwF`(KaQ{W<+Zqgcm!NNpQ;H*(VE`GaS6~46 z1~{9gufhPZ(lrq*nqbcEs*gO-hd4P*1_wr*}%KNT%gNi7y$lbh5_L0Coq6P zf8ZGm0N(*y0DC`&KG5qgL=YJK0uclnULu0PWk56VGSJGwVE70OOabBj3QYjq_6AJ= z{NW!M0G4|P1Hf1R!2nP$f&t(N6$Ts)hPeh+4FvWkn4N&%$f}wQd<{$kI+j({9N-<` zNnlDjJUf9a%d4uD6At=Js+tlAVjqYk;Ks@@01UN(0pLkn7y#zuZO2K*w}%1XH3t~L znQ%?KH3|gQc7Z4@SYF!fnm6DUMlb-Z(ijGSw}ELu+e8=uHfRC^z-0VXn;Ce#ISjZP44+y+ zA2_-t^nvqRLm$}b8|VW`8|VYyehYnI*LKhcUhV*W4})QHN=Fy~@v##O0R20|0B|)h z4R{=w1C0L;27oqQU;sF{D-3uV41KymA4o7)Cjm1sKPLl&dqN+$w-@w*-hH4CoC!1o zp98J%#7bG*7Y0Bi_JaXn;{h-Lv>F5hzzARtaQR>u0B#!s1HflMD?Bs%4uw82Z5Z@{ zDli#1emL}jStFniJTp>Nj|0n$Qq>2*PNP+|OjV5ks~~)_%y{~Psx}6W9;2##fIp5^ z)hWPbz~#Ui<5cwku;)Zoy$u`&{112*=#I5n_#{=W2W$)M0vrUK2uueq2d)Ah03HV3 z2F6Z?zE28<4f=q4HPirD4|o&U1z2$k3;_=`aBN9_Wq*c-0xu z2ZsCzePE+B=mR?d7Xy!`tLk209=7KW35%b>^t5vmYJ?b5*qt@D8veu+BVH z9Sgh!TnwyBVE{N1cmwFGzyMGMI%5yxy%_qyZNQFfPqP&Iz-G&!4_vtl`oOx`&<8#M zrhEX=Z8Z!8U=*x@0pMNyI!#9)#jA8K27q18!2s|hZ~<`BWf%ay0A2-}u0S6+1!!Lb>j7XCu*p^E z178A10ViIAK5)===mQ;pg+6ds3W&ELt^n;rFd^K40ifM)FaY$w2?M}H-~wPD;4a`Y z;8ox;;9KDMThI?R7#0GffZ4#dz#`x%VCCD;2lfK)0tk4MhzA{AMf6w2YrjSh!@QTW$7y-3Yg{4Pn=B2UgLQaO+D@nO%qQTTTl`8WyI zKbZ3jv+=KLrZWB#_NB3z%2I|+GnIV|muD(B87|0FJ~Es>S8=@z9JoMaEao21^8i!62oxXQl&FP!!iX|Y(2@lWy;bk zlB+Rkd67CqdHqDPEBk;L3`>_YcU;SskDfib3iv=tL(c0`XuPAwMqAffjAKvcx=N z(LM=&Ppq!DGk$Sv$T>RS4E`Iew()MqLf=#8Tb0F1ZZqo)t|@__N9LlBm$K!r%O-(8 zZA+2*vK0Rj=X=9^GWg$YLkBWh`qJ0LBaJNH=^?Z1K#>}Qv|gXlTtb<9Nh)gu|K|fN zwr-3(c7TPJlU4^=cW^V7gW^HuBg+Lj>Y(EKn;=QP5~Gp#^OepTx#5s9ULz+SR+ehy z;3LXDjkG?h++-xWZ?~h$M~%F2RB^p2a_bypP09t19aB1MWQ*gE?~$3|1|jimi(S2{FC5c1b;5(u#!a4qT#MZ153g{2=v4DtdJQfo@7YAZXgMK6LxKDN)@m|=O=?d7ksZ$ z1vu)>kp})8?Dl$F&cJeKKK;6*d_xWdE@2z^ODPBP^a4(TKLFdqm!%wds`Jg@*L`24 z&M4KPr|1#1s*D-;Ly@|)RD|boehLd=AOxI07OC$_Iq;WWKoa;bz<*ZCz#n=6$>9Hj zeQS+U{AxNs4g3?Ii&XY@RgbXTj`3UY9-9LJ85`X)r9${gH*gaC#|Bm1iTS?7z$PQ} zkoN)b$Cp)=*xzs!%?bw>ov{0jwyez{UKuVN2>uZ8kCrOz7rnibz_+QOs;x?S+eCLJ z8T|N)_+DPA5i_TF#9(|wV7INxeoLTae3LDDICH>Hs-mi|@f0nojk!#5ZBByk;-sqA zOX*+I_08a40RR7tg2q6YT&5XAQ1ef*v2<6H-fh6!pd8q0+=72sT zj_VF2gJ0EC6%$l3zbj`Oc#lqlKmY{1EDf~R1dx{lzCZZ)n1lLr|Ca9HN$?+esp=A@ zU(6>9bO+4fclSnrC^e)ui4_g&5LP%ldQ%M@;)>)F5QxM?Usa7M6^;nKv?TBs`Dwz* zNO=3J>L0A=;<}OF^rF+i|HEHZK3$ev%H<%@DnM1-P)y26B)kGu^(UsOJH1lZG=ske z{L`f@AJO?%IIn6^{r{uig5MMT@KV(XD6R&sz(8Plkg5ih>e!xo$4&-+Yz^#JOGWKl zF%iM3H1KzYscP*~1%wtCV8{XgOt`AzOuZyD@^Fohes>ZAevzu`QOW^(-2pTBK2h4w zJ?7| zziYgzzAvT!Lf6j$KPo|0zT+Jki5&^5$}URim5@uGCuZ>78mi)nTU<$^=*FyYY`F~l z%u@Q(b!P&>w`z=&qf-3t#e8&R2(-pwTtDWm-V8nU0+PXBRLs{M5EBq8#As$mgAvO&a;CvvOJ^&7GB}jKm@K!_G>DXM()dSqaj}+pw#V zwZCI^;j$rJlvx_txQnt$BY)_koYu%6yC_c?>53O0U6l&Y1^IVZB}gOfyD7~y(yxay zKqDLVP-bc5ogT_2jXc#$Ijxb0db2ncF#s+IyBIiDA>7yNtR&$Z-}nRNDLV>@ zvD5ezl(GQym1(NlkQprw(Ijq@*I*a;|A7CvRH1iur>=s3AXQaoS?ZG+I{z*B{&?Sz zSZcLWuXwfcy}{lK$8$6P_cA*Q{AS=sTQ;&>L+=D_!SDW~`v3HGCh#>L>mQ#pCy3ON zjUbkj3Q>wA5)qVRt0huVQEMei2u&g+dTZ%Dluui_QFPjiiuQl))Y_=6=U>{o+N-Lz zqHXBETJ5c-uJ%$T_nCQqljSY{`Fxm}@AJ$v`@HkM@4P2vv_4f-Aibgjg(M&TEGkRk z9i)4qvaUQ|Uf7)^FMN)EOSnp5ZC4B<_VV=CNd6niw^ostZ@pqf zxQAY7J%9JgB#?ah3tZTA3jg*3Z8WP)zXRpduaM*`7t!Ujio8R)d@0G_T|!%JLCzL- zVnxI3B>6u`{=I%&XXWm%YiJFcSgphfQdqpatZXXD%N1mHMQurbaXAK9cobcXSI_{X z(H4_Hk+v(!%6_fVj{mZqF49RZS5ZoR|4~ShMHD%wBTFgLun2c1J1O!EMf9CXjT01k zWHsO5)VM~G5{l@p-o)^G>AB#W)aq641lN|&@&uA!SwrvYD%WFHMMI>MJap~dM_?hz zL)N06ODQs*BD$V6c2Z=tmgu6NpvVteq9fNRQm_v72yafMrHH9V0!6m2M?KOh(s={d zBc_ldyEoju97{=FOv+u(>Z~c!b0bC0(OugKE!lYYoz^vyZ`gEq%i+=Vs{H?vCy;y{ z$&+*o+C`%B)4+66c#jnB_B61N#iXe9Y#uGP3>g~!~LGH{PDvr#81Bzf>Q)%tf=&!~MA?zF9}teQ3krwew1cr5X- zB|U17iuckTigEBu#<@)N|KNWQ|0noY$Ek~dxY~8tY3`qB8X@_yeVop;Eirm_Y8-96 zj61W>rFz|RwT(Kgp9PVFCl2eXkfSHh#*I;nZ@JosTtC3}B=B(c*)3PIsOvR3u2&Q7 z)*&C8U78BH?dl$tjX2$xOwnp=i;j#S-cn7y?V9Kg-0xblP1aMTw_S&q^sOE14)hza z%Oe9_uEWbnHm-)SCDw+lb5jLd+Dt7Z-z{nin|UQnJgB^^Rrx*Qx|&Kq)v4Zb$#|ci zo_si+ThtZD?#P2hCfy}Fom+$m+dY+KZb1(fGHp{-NZcY!gg<3Cjqys(O|LCqqZ8>) z=N9#Z?eEGmx2P|upDQC1c8ds6a!1}kP#09ve}Kbo8di1yRFYCF(s1%uPGI#TMW)}S zn!9Bm-y%no&;w5)=|e=ngGYgzce9mp(aVoZM2c)=WV3tF@ITiu7j`g{)OT(f;-=b4v_6# zbJb^BOK%9Y)7vxcPC<)4Y^_G(Jsv}axdotLAQ{s|7^mV$+`lx6#ii_t4iJ~z%U}ce z0Puyh%xm`sdtx+rE48?qjHwxk%p0kw>N4WK7hAHLE!zob_lRM>7*?*U)l?YYKw1sx zV_3TSkr{Fx^S==KPf%&@0k`HBf_oi&J$R;r>(xfrJ+BoTo(TIWwNIRcz}X@F^zuv2 zW_**v+E7e;gN3ty$AY(GvG@WRzYLxQehK`V;WYouT>uI70~MXYDzmeqH{wWOJ2xSY z!4`1aZ5P39x0RwlUWjK!=O{?*!2Ct+ji-P5<&4hweF*Hh2n%4oJ%JOL*IX2g1b@O@ zx9ROT_nfff<@HXiZ^uhJwK|Y``mdBs_h^wmwoMMz6f40?CNj4Tz7JfO8_kN2I0x2|16OjI1@I?-O4%`oJ3wje=n1^?Iv(GM)uHN+7MyT*Y&J2i(L8)R=YGLI0r#yZq>nf6THa5BLlghB@W&N+>^(4to>2o zbHH2a&ycm71%V#|kD+vXW;1XYvdhlF{;cR+c5ZB94}&k9#=!Rd*Wdv&ncGXzP4K^9c3pv; z`gBL9TP|x3gCgWFT0`*5JQlpkp74SnUC7{P@S))QpJ!ms5l}D}{Onrh+o8Vz{He_h zPJyq!hf1hRGz9a-Hr;+Cn7oTMOVIa6!3PvGe;tM{g1@?#!3J=<8<@GjDz|&T>c00_ zU@rR(C=qFrYjzKT%_GIf1%_w8R<-wxiMM&B1KdjHOXX!b-J3}u7cCHYbCIpFkw*0>4a zE5YeKlW|kPcYsHM&jUZ9xt<}m2J0ahbdxo04c-G^@dxvV*)zB7y5+{-W-t-_DD*!D z?*aZ3c#i;XN^M`~FWhywNe9+pfgRNm;A0vvH&50{zXQ0t74x3RpcnZ4_c6z;6(hlK zwqf23`ZMcL{<;Q(+Ooht#drk?vcYW&?FRn_`~nPp3jTNpwqy0L5!d&SbNtNxw3*kg zL0#tFL;Ctl&aQynAjm(&-1hx=;sN59GNWASzkNoZc2M+5op$+-3`2(2Sd0##F&Mnb^xZX2*X0g5p87F~z!EMDJAx;&h{!ilsc2L+RiUPMg z9NR)m!L1?NLYu&yEi`g4+jq8*`(e$g{hdv;$Oz~m6>4BxXwDEeC9~lP3M}4 z!{D}JcFXl0_(pAC_rKk-yfTyx*`1GFN@E^jZkN)f$e{Bu<~D;J;3FK|?gO3#PeR4? zKHvd8=-!6F&Vu7GbQ-)E3G@eYTK}ctoN=V;;g-!B(sM5A`fxFO6Jux#p|&-oJIp#H z)~S|b0S<>e8e9!#umHR}cnYq)wt9WRUpdK&vys~b@XY&|+m4>coPOx*7Z#v-#Udo= ziJmv73`u1J`0anQ{`2gKUEt9N7+eJZ2l$9@7?`sc6g&f-XkJxP57)v@@G=C40=ek= zA(VEmP;McW#_=iaiALbPRx>c?_b8YE{&6fD*bDt(;I+ya#OZt~e=!?^dFFf_9n7Iy zTJ2VV>uu0AFy8K`2_NBlwY;49t6YQW*fAP>=b`urmdGT2tI%hQQEl2x_)wO*@&F zfrr6R6bx+x-vRw?;2(lteuaTKC`!REz;|Mbj4|y`f(sCM_i+Mqw2y+fz#GPJ32ook zr)i>FXqJol9!@3_!8a!{H!lQ9ra$r2`opR*r>JoweGqJahJiWMOThy0H`1B+=5%5K zc+3A~euO=-61@9Y3|@r(PVo4Z%*`QH3Z4e{4gZb>xTK2zKro>*bMyHE1?$%18gy&H zJdZsQ2VRDq<4o{w;PpRca1{j_1^zAXW_H^hCVQ$`m5^oGne-h9*bKH?a37YFW%*Qb(@Z3i9MS@${ZTyOi$ALGy#fJKz zpmV`bVa2)vz7qV(AFLn8p4bik4s8VW`XkJN0P;V9;QULh`5SxU8}RE**s|^8-@qH) z&pZ(shedEpe2~Zn%;z=~i~;W$U#@TR7u_NFj>VD<;BX^yy3&<}p*Fmp_EaU8t< zdFBgHfiJ-Sc7eIQ54#H9$JdHAF$+ZiZJcz0uIddHxm}!2M1vp48u}wL=m!1(7NTy@ z&jfGrJ_B5f#9zT%&tvZU2nk+=pwCDKPauPh;G58No1wo4d}vn&<})S=9tW>;n)&_E z|I+FoWMB>z>+9bQ2pV?b9L*UB(wR%Q8@eU-FNPr$XbJeLFPRsyC)R?O;G%`+LSiR) z7G^;b^gl41?lAikcwI@q#sK}x1KG|c z_Qc;Jss6f;_l{!n2X;RDkl=?D=4D9mIe7FJ46yWzFToEz#N6&Du7Q73%-o#sr(gti zq0YBoE!<(+CW?dL+A2<9zS*E)FYu|ynNP=(oB@6i8xwOpj#OrX*WSwd=F12Qz5+gc zC-Z;m{?~3T1cgI5-kMuh93ZY&I_I0@&!9iP4eOiFF)8>hcq%SVomnhgO}NI-%w~X< zT=>EuSnx3fs9AgPYIB*J&z&fk3jTE|^JMnKaN=|(&b}iDrFW9h|DT^3VU~;8%za{$ zV?*&430!x0wf!y(^|{Q3?A7uh_yP1)Z)Ba`lxuut3j=Jf#T4*_T+ONd&1Y{EoDacY zCUJs&?1@$2YyQc=u9(}wr{7>+7y6%rS0Bs(>zDW$eBeFYw|{7{?tfP^E@@-b>^@E> zqQL7dWbiI{SMb}*8I*w!0&jtf25t|;1ZrU^YSEz=D8kDoeY5|+p;sbuc5QzihP>DS zB;vtL5qQKbwlD>Qv=}@IgP}e6QSelZwvC)j=wCb1)9;sB*#D100{xCYlmv?~v9TP8 z01qAel98eayVO7!Y6_ltibt*GvEY8_d!av+INc0Ya;mPB)!ZW6qsr)bNk{PvY3Q89 z2V5j;aRs;s+zT6i;vPC46V~W#a|+$z=*4+9?GvRik?AlU8pT=8ahUE-JX8jYP^_}H z_Xa{g8C7HnG4DsMQjK*(m);Bm% zUDS@o2##+|p%57=JegeX!)S*dhBp#)?hAyyhv+v%Xwq~L@*qX5AwuC7*eFK`Mp?q z(!p05JHAL!;xKdw8F)@qt>IPhOb2g3TWj4?Mc}rE3B+~9oGX==c-57}C(>bKox{eH zMmJbIfx`Dj;h%#3R)_vFaKEFB?}LkzRqOPVv9H|pH}j;BYHV9N9Tw4w%11MPJ)SGw zgFK_b54Gc&V-B;EEFRqX?4q+VH#U{Tx_P|FIuPb^!TUM*Lc>Ev$plPLcz=ifBFD7Y zZL(>21mZM@xpPL`bL~WK^|I$-)szA9xXMV89$m(0^~n&~KwV8C!9xS(GF2m0&aXc_vFGr_-WeGg^mB*FiRSkX zGvedb!c_Ti@wHT$>{6?C(;xAhJV?f=b%W#zH6~5=P+QXEC>1kU<`lm(Sgs0C1&_!# zRkLC8edSM=`JVjg)3U}E7SL}lPA{C4Q!su?Vcw+NjNW4l`{zw6jE#*gE*U24xs-c^ zd?#e=v}si`@1%B*kjW}?q%2f#jg&Kr<3`CAE;Vtq%u6fG%FTap+SuHzf{cuU83h#0 zi0_yfD{`t>h>I7wS-AySgPEs_wgUdoUwi@RmY8!{w^%v2Gp#BnmC z?u05VQLP;(rxgz#FF$gr{cpQ!6gQqA8@pVsRPsdGKE$4~w!Tm^46e?@%pP$bqu$ln zo@}EhE&hNiw9S zKZLXQtErP@QUiO)+4_sBq&Q6}LhX8P{UHO??~`P^AbZ|<=c6iqvP=rW)zw~Q! zlV!V59CI$em78Bv?a|zxa<=~WE!6MCL+rijF}z_4ToyuQPkUT82(b_7&QuXCB2kb% z>s+!)ZGT*L46E+j7xQ% HAe;Ud(spk^ diff --git a/jit_bayes.nim b/jit_bayes.nim index 61466e3..8097ce9 100644 --- a/jit_bayes.nim +++ b/jit_bayes.nim @@ -6,15 +6,30 @@ import bigints # type: BigInt let file_path = "./data/stripped" +proc startsWithSubsequence(xs: seq[string], ys: seq[string]): bool = + if xs.len == 0: + return true + elif ys.len == 0: + return false + elif xs[0] == ys[0]: + return startsWithSubsequence(xs[1.. 3: - let arr = split(line, ",") - let l = arr.len - let nums = arr[1..(l-2)] # .map(proc (x: string): BigInt = initBigInt(x)) - # echo nums + let seq = split(line, ",") + let l = seq.len + let nums = seq[1..(l-2)] # .map(proc (x: string): BigInt = initBigInt(x)) + if startsWithSubsequence(start, nums): + seqs.add(nums) i = i + 1 - f.close() + +echo seqs diff --git a/bigint/bigint b/scratchpad/bigint/bigint similarity index 100% rename from bigint/bigint rename to scratchpad/bigint/bigint diff --git a/bigint/bigint.nim b/scratchpad/bigint/bigint.nim similarity index 100% rename from bigint/bigint.nim rename to scratchpad/bigint/bigint.nim diff --git a/bigint/parseutils.nim b/scratchpad/bigint/parseutils.nim similarity index 100% rename from bigint/parseutils.nim rename to scratchpad/bigint/parseutils.nim diff --git a/scratchpad/seqs.nim b/scratchpad/seqs.nim new file mode 100644 index 0000000..20f7a0f --- /dev/null +++ b/scratchpad/seqs.nim @@ -0,0 +1 @@ +echo @[ "1", "2" ] in @["1", "2", "3" ]