From 55c371370f3295e8024541106ff9fd530a229615 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Tue, 19 Nov 2024 03:48:30 +0000 Subject: [PATCH] add a couple of tests --- shf-tests | Bin 0 -> 286920 bytes test/test.sml | 48 ++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 48 insertions(+) create mode 100755 shf-tests diff --git a/shf-tests b/shf-tests new file mode 100755 index 0000000000000000000000000000000000000000..aaae68ba3df126a6d7a03a6ec7201e36635cd741 GIT binary patch literal 286920 zcmeFa3wRvWdH;WAb|njJjKNn7v36I+F*5fUV-tc_l4BqwO(04_NrHA)@-4y!U$`Ws z)oN`Vf@%M3h!|SCzZleSfzd=Sk0TUCfEj|3|JKg}RPV zqD*o9kAHFJ|M}ybi}9|;=}qzfWzH+Fregn$DPF(RSxon?{&L0kM6v$W7ccI$_shjc z@9HlnZ1%lbEVu8?j{U<(_oQdDnw3`QFvTQ#9)DVHeMb z?Kn?*j_YEUJO3ZKDzE;1=$XyUy5G0frE_hufBW3)y&{Hx-qkC2DdpT(#SBOI|1|gg zWnO#Z;Ih=E-@CfqHD_G4Hg(2T&8Jzh_XtdT`;N ze8eIUU3y%8etGC?waOm_mHi&M~p!$?Y|CE1{b631Sk9)mWzov1Mw?1Sm z?R@_9Z{a&`J?ZPe+S#)7#qB5kbJyR*oy2ke*FpK?$9T7Xob-Pr?^yXCA1D2`aq5v= zj8)H^aneaP5&la5b(1hwJ3oO=Frocv42N#8L}JvWb&|7G$YXXcoj zL+|Cz7;pURC4ZFk+e*@_Nmu@KN&2td^wRvM@#2OLG&Zl?xN`N{O`BJ4Z1_O^RadWH z*^o?KwbC>;u3mTb`o>M0lN&cTHWssvnQ_(Xm7AN)ruElsT)TerDzob9YgVpbve<0e zym5WgHJ>({KE0{w>h+{=T)9&JOE#OUHmzLQqAY7yC!3o$t=#O~HEmvd^?GyddPcn# zv+mmU>yp=)RjaPLcGDWOt_AYeT|<#|E7z^N`nr{79dC<`Y`(f#ZSY=AUbS+)fu4=m zZc47Exs_M1(#y5$S6!{-Yu1u?bMw{LZZ_AhOKxg0Yd0k~Z~im{ZBA}h?a8aIy1I$3 zGXOWaU0;`6yIzG>Zro^AHLG)G-8CDp-n_DDvst%sr9-7#oc76e^+q+da{YCtsaV~r zrmL>rw9@J0Rh!A$ME6#%Q@2-Lb1l$ax5|T#$4$ydUpIeR8OSFLS6#nx?PhA&ys>E= zpa?#Qq^4BsvuzCG()NuurhFJvs=Q+W7(1D&I_;|i_`GMZQGkxiv&!~4xed$MenYqS& z=|}t0FY={N_N9Nwmp;Xpez`CG7+-qAmp;{(zQ&h+tS|iU-qTX^b)z|eCe}%>393mXZzCc@uko4r9a?HKf#xt_oWX{ zv3S4Fm+s9mRqSzJ`boZep7f>5H}d}V`qKS+@w_j+(#y>Cpf5e*OCR*5M}6tW8j+n1j9rN7IUezPxq zu`m5LU-~(|^e_9;m-y0izI12!aNphSOJC~Ce~&MHnJ+!K4G;(r2oMMm2oMMm2oMMm z2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm z2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm z2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm z2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm z2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm z2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm z2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm z2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm z2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oMMm2oU)1LZGH9^s_f_d}!C3 zA(IVRX2+X1?z#IR((<9kCq%zUQetr+m-H^PKTL&*Hhm_dJ*9Zr}4fp8I{zF`jK}r2Pdv$9&J# zJlFZ2Pv<%1dp?`zjPH2~&mF$!^LXy|Jzv0czwfz@XWJfWe+ADm-}C!;uJb+r3C}6t z^JP3|e9s@{xx@E-1<&2S=PP;c_dTb0wnHQBui`o8d;S#9b-w5IJg0om8+p$7p0DG% z!}t6dp1Xa|f6jBi?>WP>9Uf_a8_zM{^DR8r`JVrh=aldHuXxV*p1;U*hwu5TJa_w^ z|BmN=-*X4gcG*b#ckvwaJ$Le4=X?GKo>RW(Z}Xh-J>SQ3hwu48p1Xa|-{ZO8_uS31 zT|UzOBRt1^&p+h3&iDKn&ne&Yex5VF=O=jX@IC*M=kDTjsa|io`}N;xH0!$ zKQuI3_Q2D5|J9)X#!SsxT%%lTj2Xxq)6hrx=<^pAl9WFfvN{cR!?7tP`J=`>8hfMl zr?peswnyKn{lXsd_fxj+;Dv>hQ`R0XTcq`Sj;(rWvMEfbu0-ljmZgn3_t*3*V$zo- zQd5_`G&x>)^TzIBJEs2jyL~X^DcUyoDtgjWvr41@LuX#S!cRz%RF9}J29L3p;buDPG6S#YN%^f_X*imzp)CfzYKNR z@S(1EdNwuJE@V#Iep#mZpEjn>3wPPm$$LS#D@Hvj`?zJ)b5EVA$)>99!u+Gsmo;Az z?g~?O>pj!6%@^1O=RVK<3cFC3KPH>{yOC-rl(K z_weS;8y_h04NPDDxV@{;65jO^`Tl@xyd1JSBVcIK)3UwqHigJ>W=5L&(wTXKiSl@% z(##yFy4E!8NSU7A(9F*0(dqq`F@+3y?64_--+sHo6s#$vk>8$X3U2C zD;u?t&-{C`)=8wLP1cH-g6TEcv~3EBscK`!z|Iw>LG4zC&7s~4O~b5kyzs?xcy8i_ zEk~QeQ|0E+9@4i^W=p1V@Rez!>1^8Y_UMd3PhD?Kwv<-V@2P`68#--Wq0^dAA064S zvi3sKq1!%{^fTT5E+#F`yQQR^Pk-aK`g>0_ZDp-EX*sUT>94V!{yq$E632rtee(Lg z1)cSyP3Q;a%zFK_>uaXLA}vgwSKwjqr1bv$HfyjQeD9!c$Bv{YW$lW1SLSHb)kfVB z(>R!(YYNCyb!9#>(Dr51@Lppk-!#>9H5q%+BY$TaGUUmii;el%KpW4ErmW@f?}CrW zNP4P4hDiS@b_<3OVJYjUD(CFNbDzUIkCN?-3TFQ?eKO zR#7f&wFSK@tG=pSU&yY`oM*Zm`OQ^iMMs4Esw+7;y}zA4<|)JbdrYo8o2Rd7FcU4J z>j~&tvL-UPnS1eMhi$g^hGulm3O5e6oeq|i%^;sq^wkQ(%Q*T=-lz#Znxu|d$heJ+ z_vt-yKO<+d9#5+-fNuI>L2C^%9j`GBkuY`f{2tpBb<7^ovCz}VZpQSe-_nDhASc4& zyIfyw3hjCty3$*(9F$(F-gKsNP<@fUSkF^8vLSu?Lnz$orPq?~=~SQY$)6U6^hxq3 zJ$kjNepeN^KSTYwt)HZR>Q(*JwT1j!$lppExiX8o8V8;BVpc)Dtd=Z{&T-t+7tM7?tN9yTD*6PUbuPgrRk-ARz)m8tyk-9|lE9gUh z+b0L#`7yJj4Y`jX-%)6=h5Iby;Er$66@jKo+D-rKNWF6;v&gh`$)k1efYq?0qeyEE zyGPkV8?rCE!g%p`G6-^`m$%f zRg_PUzvee1{lC@MzXQJ?;fW`o`F}s0zkeaR!QHDX_uNQbpZ3*N_0mXPrTp!FX>9(+ z;gu(MtEfvhO}5tBdimfN(P7ydjqz6Ekjk7bM%^H;bZ-iIEyB(Xkn|ji;TS=NR z&+kY7_B;H;FP(FIdjG58^#1GMZ>+-1i1RFa>$G1ty8Una+Xwgjn?tjWeE)Q{<15Ji zeFt4gG4}N_ruE{lNd~0{hP0>g-Rg|lZcO+a+wdENTi;tl4ZSzUzYWa;`$DEcI5P+x zT(-9&+Z{5y=Rogy%s>2Np7g_MH*rR`<)dbYaLc>6Jwbo3qu)_@Am8JX51SoM-rQ-~ z+wfIi`fx2iWgR}{@?CGOKP3=K8R3C-Rv`N@%QFZDcu zOkGbML&uv#$AHN*q1m09hxLc%Fi$%HET?zANV_jme}ef%WJ~4XSM1`LqcQPHaF0xf zZu;)_MunT3ixBw5Ais+Y?#OOv{gBSaol^C zUON2leBL?vho$IBUkvh&+TDo!2;PX{J;I_y0BI>NX2j3YVvsll2hU+=mt0({N z;j{>85&UD%UzH4=IGk^UhFPS^Ppk>YUu>uDC~Z6bCT&H+#Xjd=9cr*7tH`WmGYubV zz#s<}8Ok=gW$P*11l_Io@@`tOZ2skuvWMW2zpWVg>&V~u9s23E75~FX{%6Ef*Dt82 z|Kf>sCWkIY(9IltMxOUepL58$gG-_&n?uKC19I5d9CDu~-|lXc{rMZn@DX(Rp%p$` zf<7I9hAPI22z{3gpbh3&i?i0kkH}xe9}Q(&jnxu&0LD{f5F0sON9l);jQ(xb?n!BYh+tXlnV0XUN zOT9_*MW>p@&NXZaNkHGt;kSRQTv|0Rw z9iH58+lwZ>Hq@ZGlg3_+eX)}HlQ*Y$ebak)9Rmjb=c9P`%GMpB>|0Z?L-av3*H#=( zJ9^nwIn8X?gKj$*Odku2*~3`;xr;?##57EH>ufI@yUz5RL&J0NP`P6}y2>fz$Z+o| zSu@G(md^DvzqI8a*!Y9YnPp2-;F1KF-7%B>$eO4#uhjDn+uAN1US^Eb*dlBmp?_X} z#~z^Dakq@H-N9VckKKc%`FkrS%>NJMH#5-@Y|nW9$6vkIC$reBe@54^*UQ@D_Ts)) zWCq#lL)K!*gS9WYG&wYMj_M;uQ1E<=&r5DxdFVI-Pd^V$_67F6WBFx%e_+7}igYFM z1s3BARN)82OyeLv&7t2Rlkyvyp(ng1x)d6Td)fnS_yD5Kvs-(~C%sEDwp;1S!8Y#y z>TTGr5BM=bkN=%Aj*K0qXCt!p9R84_XS63-?R#2HbW%{7QK&e&0);BaKi0vfNj%%VY7*dggH6-H$)#>FfTKApKNuNAg zPvbs8+9LOQir(@3PG6q+?mN{H_1({N^D6yBU-}&1{Y>uT)TcbhE5GQ(w&{7Qp51qo zefJe!K5VA)g?;ZV@10x6o39;SXQAZz<&x(^CC|U(*$xx`i75^|cz?giDeCGi%)yg+<2kg*znF8*ut}T zcN#nt?<6a2#5cvmN0EJxhiy}l&5DWn*iKvGe+=L3 zNHO1p^7&%E;@|I&HZ$%7W3SzZXk+qkuqP$$%kFq>s@w@`SAC^EXN>C~JxBXRy|1tR zre_`eyuI4sbEPlqz@|yZK0_Vn^1Ot3u`mp|SGA!SR04lv?2mLA=m`ec1|6ioTis zjk}&3YPiFg!k*`b7OVcau_illdD7GLukE~eSB)_(`NB{`%$Q4%*_OKw3^k~HEq`su za|SsTKkG@aGv-mruYiaKI_LkW%Yaq zzIkPL;xBYwTJ-Do^dH{$^yx*vF3MQ(X?U^}o}6!ir+7R;dx?_vp7*sE(){oAc-LRk zCO+KbQTcGhLGt)$_{*IK7+dQZTepyBFMiw}aO<>t6{e0qD|wM#qXJE1Raj0+wX^Xpy+34E?k9@*!jPhNla%I897 zhkY*Y?-Kp4j*f@n!MekB)bY7o8(IY($rS$(Pf*q1R{jA~j?*4!Lo}Q@}Qd zEJ`j?lEtq~V0&u)`H`KO^hb6*`Q5|i@D_Z@tB?)7vr681b}#u$=AOKd zJU?Pqg7pB!3xj z`S~Dv&DfBmOoY7(IoSdHdCg67*w!4rKm`6OrY5_mx^pRFYP{E2y1T<<%Z|b>Q3v!N z>Vsd(@8$LKy+IsZW0CT;QBRaSvY~C%(?%PoGCt^i8Sl5*jo7U8{_BY`y}}yFX6V6} zaNdV`e-rrV{SCZ-mG{^2el73izkBah|K+~-(|CV?IoS1E&ETE1tM&4`GA4T;ZRfg8 zb|?L7M|T<(-^5ldr=7k~d1oDUYQA6O$;^R%;tDrGzi8h|nG9vVJb~ZxjoRWI#fgVw zkIS&f7WO#ITv%)2(*K_mhf^P>Kx3FSBDHrPYu?zUf?Z*pm@6@)hAL?44~3nz1H~?y z!Qpns{S@)o3^ZwtS249O$p-MegMO99&^`w}is?DyL*DdgY^X|W&5^YUXxU0R`AXum zx7I5@%VuncheyJYHML@l7<%VB^p-pHj=~W9GteqOyAAxl%zgq#X6?~_$Q6DJjnz{I z&9=GH!O(Isyovh01i#0_5x;wwxAoA~2ae)xDUMs|yZ9z$;19of6rCwqR}PIhpcG$wA_SXazU zGliRGKqGq=zQi6E;kMOS*=Fjs8B1l4HTRg}!z~PMQv3Q_>=|kt%uOrWnLKtTSApGv{+;kv`xO3-ymyeMdlu6U zvp3?y7V0~mbj=k)@Sga5L3ToRMso9R=Ux4-$Ee3|tG2>3=59_LBtsptSsLRFK4%(P z(fX~op1B3OJX@hXK=C82H|zw1Ytct%Osr$AocrNDKM%9t}WDR`NUxKiG>~w1S;%M~ZTi`6lY{>!NIjY?$Gi2fqYOjxFmSZOa;5 z`5E?gu?sQi@oZTspT7ug8cXK5e10E%-U45Rxn!*E_liC08GV8V?N^iS`@keK!^3vQ zABk-{eeOU{ccQ2FMT)w5XT-{`q;9{iMt#_pVMj`_-8rKu*Pg7Fjun1IvwQ&PWc+ z;-j&;V-9-`ee{IfG4)=?RN)kM|)g4ps5Iyj&-Q}Hd8jE+| z_Th9gyqjNwljQLG$XYsV?yV=rv>ZS0k*!w4{nRJFi*<*Bf_ zX|Pd6x{CgXY)=N>wZXeD$J}vqjIrrf7bizQpeusy_w?ge=&SV0pbw>Sm!0J!Yx?J~ zHclL)GX>tO!MhJ#mkt}|5|Oa%XK`;wl>6ozqJz>SVt)<9KRV4g@1ywmMH@*hZL(>2 z4!ga3X8={wjj;G}D9m9<$@5zm(2 z@xf(fxeqR5zrn$+>9Xu~VKZYo_nZ1FvLR&DyElqcvOlNtPt1P8$0L?=_GubB6|toB=M zf@j5d@6JA_STa7rGh83zT@JqYn##cxGWcA?^sFwiM{izWc6dC04nOhBlo`fZWzmZ@ zD%)$aD%(U1BIb)je4TYv$v_h{XnfZmp&B>-Sh>|4YKM=tX>VUuXrO8aV#)5& zq1M2Gsit8!@!1@6Wn);^h5ml(6zvh}i9q*G-Zi~((NCM7s4b+|R4vu>e6VOHPgR=v z$pWtI_pQPv?OcHEBi$)OeO2HULwD+_t4d?dSas!#b$MlC5$q26VqjIZuy|ib`%Sc; zSQA^ScU6p2^|TX9TiK3k@}QToQ@K{h^-V*e13KzxekWi3mTE4EH7hIndTcJOTc8~C3uw+3@(>s@i(&A9Vt zaJ%doV(ZwOvslY*xS#tj{=Um!?n=}3J+8e+4K7JA56|@y>)}dSC%)t81Uess22Xb? zkndh>PaknY3qM`FmfYAre|jl8A$iug!@7FUM<^rN$Ym-AljOg)B>$=8_vAwSPm@1S z{py?IL%TbyY-yQF$|$BUS>nC3Z}>y%(_DAm@fRa;s{@}rJZ_bn8}Isn@-~}$En=6o zms*RF(aWM>rnTP?YppwpUuul$!1jA_p^K@;{eLoe zzawMBD?J%TpAL&B=B|u)g`mNlVuth7pD~=r+4m6}mNUEheDWgK-^!CGiQM*`WzO-& zj|O-HuMQgaDfXGc`zg2oL1e0c?Y)8dz^m9dR4|O*~)zgJIm&T*o$y z8ycTkAFSuTj%8W!r^#PB$JoS1*sB0N?B^WbE6z7kvpt%$KH*^epWsFLzy9~}qT+u6FA_`4l4ITm zFTV6Yz>B*c`|sn$o#+40>jm~`NjLW7NP4mOKfsH$#yRYSqifxx$GMem|DAEJ+v>R& zI@*aJ^s<&03u#Z58SG%(?=EL;6dSb%Thxx7O7dISQTP$gHH_Wr$7jHPwd*}| zqxMwoGV3Vzx}fvzr!$t@jJKI09ZlFu+hm6Qw>MaK)A%NTS9Ypq&Elo_y4l;ylkWP-C)4Mf@RgM|Kj-?&#>$59QJdr|;}?rBDdZ#;=i9zBX;*WK`HVGZ7UvZ5 zZEbwl4)V*lwHGtSL^Phb_w$Qmpf>%mP+a-6f(&??zXzfxmg>ZIK%#2ePbBywX*UV4OjV@dyz@aBcCWUGy0|#eb5x|OMTEU zy}LLsb9~U8)pI9&oGAbHlKhv+_DUw9tLTH8QDgR>Q)a{mH9bv~DfJm|{)eH4RB@l! zZCab|KzG}jGt}@6sP>4}@7ugIzv=m{ z+otDJ?Nz*&HoP@y-D^!JqI&UJigspnUoP?YrMtKe$e4Yb_T;^Ut?46%o7`pw@k6v{ zpeqkuue0|k@vTYc%15yn|DXL^Vh-|o@yWJvzm4K=)`nZmZMB~{K)l+q&35=u`bJ{c z^UU#2nZ+%=#F9HAwV$crz4qC+VfQU`RBI#p-b#8D#a<`|ax3$7M+W%zrRSp2-@bhC zAY+lr&v47{<+)QHPw#Hbf)D zH?S39Y?HoiRU0#?|8~|tbF`^%%|vtQy4_c3Pjg8}?`f~=5c}DtDVA?_%12EP;-i9> zeB>zC8q(tMQyAFOXscYhIdh<%*svuVOTHNSLcG`B)a4b$vcunS@V#*xc_->qW{f_y z`}*{$BlM}cq)%Jv(^!1NMmT(%=i^(`7<}vdclIZ^c=&yG%@2f81UzK7Egv3Ri1oc) zJob=xB0OxyyHXxUN%MHT06dN)SCu7lrTuvmwb?xe4`kE4Hjg?24?-n8sQ1a$Kgb48 zAd`PscDPI~7XRFDTI;Ohx0S@WoNrnsYvO@9G%}a^s`S+68*O{;V8;IV;4JoaJ&`&p z`$hC`tn}NIK7n3;k-g8JUjHj`>(ZF)pCTVe!v7)q^vCFRY7CyY`FOqyyD$-kJ4-N} z?!*6oO0PS{=+howpEe(%PwPwi^y_i>c@pVq_?e$tw6jm(=+oHgJKS|43p-tl54WeBF#|iD$6why zkMWQ+wec_1f6fv5eg^F&u+v_9KcbI&@Kw~7Y_jZh1YL+igT}W?*G>zAJ;P&f(N5>5 zGX9Z|SYDx<_gdSn!cME~@V9fWot~&qZDaH)=j)TVc3t(cw;I}@-J`GXTvIrKJ)?@f zo`)|~xY2Yq?p-#JA)oiHNDBWgHpaI@O^dCb);r9GyCZKk^uC*M=JKW+62?pm-Ceak zVJe@PNGE>1^l%Js1Vbl3e%e@LBO6Q|%)N6ozAAZ}z)sxCeAcrQJ&Y-(cH)D`)sgJP zZrc1~?1atUs!?MDX`Y?F{Rp=9E41ey|J&%}|Md7@H%6b5zCL~G2z_cU>C^kgw=u?p z6DAEdnkzF5-rJDVuq9>ezqmj|)8 z*7~tTE(uJG3?1;0SFIXp2Fc_Jl`W z+8kL`ebDFdj(T5(Z?7P`|H9u)SDrO?^)hGl_^tdQ^0Lm*DXb+&nrrBr$T_|;5n=)J z;hFj*OhvciC*nh#xVrQ-N54EB71kF0noXZ>K%OJMx(^U?IzfSjrakMSD@CFH5zKjJ$Oq2O;EaC$eBiT%XkE*Q*>7=@8+=yFq-bCHWtVl)lUF7b_>i6RZEPd3hviF8A}axlRj zIG8|>Fo`_n!^EXW@wHKyK#vWbv!KbrBtDv+Zs-{vTjND~-p*KXufHFMjRnM&;LRU1 z7O@MS%Tj?lQjazM`0|L|K!&L|GcBzkFPs!$+zfd%&KC};EY@H=QN%kVGi@s z;=|>6qB)G_1eJ_iUR#>OEH}hl!p2!wt4*_RhF?^VpI9F;*?Rm^(NoVH=DoeVqkR1w z&i`W$Q+pErMDV;NE4&(XI^4%Rj9$sk<>YsYt$-+DWJ)i+9Q@Jv3j zWb0+-3q@bBIES(2_kf>#Mfr?j+L~w%)8_Kg8@KA2C)6@eSnkdfy!vMP=2v&YBh6D9 zL>qm-qry06Op3N7v^~xDQ%%tJ3^W#LD|6;BUO&SwZSwtQg276A>^aO8(6-Vp?jzOw zYPm~Wy-S9YmTSArrI;5t7P7r zTlBeei-65-IgT!Cjw88NooZimSG5=C8@?K@n&S-n@bp)64DsW7cOHNo zJNpUF1xxw=_24Prw;oK7G*8i*M^VOYXCC0iA7;kcuPWNdn5UG1X$nk_G*9v9t8#d4 zb$$%`q<8b7FASYpv-jpHY3A)74vx$T2l}dg5=H*I^AyP@eV=Ha@~d}^KMtJ-4gcwR zitO8RcyQ79^OWyE!*Gl*F)~k)9n(BTm}vf^c!ubSfr;W4F=67)Q%tW<-|4gFZJNK1 znx{aI<|&-%Fz!6%%YIDaMS6OnB|T1D^j4RCCoUQ@J$Es#q|31%*pR%=F=O5SWW~^r z=Q}In+iUqwt=Evw-q??`cI@1~G%q;9+M^|ABb+OY~jmPD^iE&$KpF-0kcm z<-GLcvgY#S4N2m?k-H;&idFeULb7I`=$uKbb6$78ZW=aate(W#oK2&1F^qi)^VOE} zN3^eRW@m)GjB)mcC^nsg=EMT7(0ylywOFnBPi606H)F!l%u}JishTT&Xri4~&ZCRG zhMset!fw9ZDQ)`z?>4cwR`K-Y>FF-T=2Ps;=qR@bQ`Bd}$JFUuE4aqEVp|NnPMi&I zmKgRvr}rmLHwEbDoJnH%X8J&Ah;OXQ*}vp|YrW7|4GzYMifqiXcDK9d7bVcgrcC4D zKVt8Tbe%MU$*V3V;F03o2QZloCX4R+u4&NsgNlJCgb6e{mLgM16q#W>j&rB7P_(3ly*hLtnsI(>HO{oF9U zbBF0Y@G|tWcgw*sRm3so;Rp>5j_}RF@$}I+rhPbStx;?97H2kVd=$OO?N&oo1#2nX zTil<_TEq&&cP4h@1J8xR)x^YFI{%!rhE3Te&zZ88XHT#iZep*~*09;IjeFVnX4Wlk z=bWCkXYu^x$_M_LXTJBTekflxa1?3Z-`BKsXtCMQ$GGrZsEqWJ2lo84)xdc?mp(^5 zD`r~_t)`;oH^jbHPhpCrz+C1yonN~wI9Peu843DI- z7Omo0-~QCnpJb+Tu-UGBpq;hsBxgt^%Zr$EEv$lvP3-S}iF3Xl;Qgz{-1BN?akif` zU?d|Jbk}U zhD@ksQMc8w23prb>$YiD!w~&4d#naSdA{5E19z&1s_UZAR=&>Wy$n2+(*-m8E*@Hqq z6F;#UR-?xokfW=R_eIFe3!%yS9=mI*nRH2iXi~LhCbg7L;yh)GZ@cM(p9O(ag+qf0 z_Elk{x)Sraa^}2fks+m~dC-dlYe2*8q7TEi=%Ypc^gA{Vn_g;*&i2`&CE$1--}9=CvuT5GGPc7X&#pJ2 zb84#+A1=X}+tNjYT>%d#UY>-;4DwR6U4Q#P%|dgi0$%o`!}{F___sZp-?*&i->eOa zp>m!GzwvQwR=nzCtc~`*GfUosb&*h3a{+z(q&=+S+jMv--_>9DLe4@TtL|Fjzft(8 zdY7Z8Dr0Z`1mC3;zt_uiuDagY)a%RGAp&#jfeMHS}8; zztY}2$p&qEvQfoZ^OP%&Q}j*#ct77AY0qyH^;Th@7^AuzIYFO7=u?dEwl(fcpQKBU zUm#s_Wx>#n(uVbb)sTXI`f|`j%Ciajkq2k5A0EzoUmlS$^Qz_i zW`_1LNX~@yQ~JK~73C@V4tLN;VRZlDSQhajk5L=+|1Z7w+((?Wd4uRs&&^)C#{*O5 z@F4D%OY`2(vuh5||F}snbn>U&{F}Y^KFkk%4|>5|a}nX)`w-`Wb7pY7kMqOR?zz9e zHHVV@Bj<_lMCU_be1I`yr(*vzz|+7Ft|{zY{{ibv_g~4GEc#)Bsiy#Eyv%1Umx@Ai?2WRN7)UVQpLK%5!oTr znPd-zQ$O}!^*5m_A?i;dBjSIAGPTqnr+(QB+0H6{qoGtj_g0S79U7aD* z%uz;uQbe>;gN|;l zN&|;>o4wT2@T-yAof*DCoCp2TC;w3Mo+z;Z^ zllLw7Ql4&h;CIE*HQD#ShCbQ&FF==#zhP;d;(Mkm&NMszntp!)oF%`W4n{7q57R;Q zDM>xjnH+nI6VwCG{=@B_U(&9yk0857XLCPHya~Ond9nao__d^f0khFF;15i2YyyT~aUao>N%d4DCpN5DJ;KBRI$?aD&jEnn`Fg@l_nJf2S=3u!m+pLsU8DCfg{%en7=&p74pTi#87USsq)ed~4e ztn&3OjqNIx^UdS*Ekevrd4HldTse=sX+Kn&^m2l}CEUC##_3zyeSd#R-*RsHw2kf2?Mw~4c}i8^c#c0O@lvHfd2oISaSoK>`8$^&oKc<+7VR8wt{ zE{)ZZv}MksbobFEGw&GeL7p`>I`Y78o-l_TNMB?#CNftbU*sbD-XweU9DRhg z2>p^Ayy0uN*zaoR{N3L7fe~ff-)G<3hJNU~g}u}lW&SH4W)I(8MTx7m(?`dDk$#{L z@?$#C4aa{$KAbvx&&fKzOp0`5Wp{sZKTs9Ei~Rl$>W~fZppK3VzX>-7Ux#{jck3R1 z4!+eJ_~-J|sWWnpvyZLT$DhYI`_{wI--5Fx6a8q1b_+S#-2v^A5BlWzR=)QCf%fD4K8t)GXMCkErG8Y!>AtZwV|u0`)7Y2G zBJA(gcpaZ|_;{^3y2hsjwmNN%jCrXejCsf4hbj-{ux;%B_r}Tz#z}8&{>>X7xm)Y< z;)%|OOn}KL_TafqjNeV-ulr5i6Ue|5-4)q7+w4v-ch4hFqBCKPd%msdx(<9bN4=c0 zg1s@kyqmL{iT$nR+m=1Y;$t%2>-?37u*2tdu!HxWZ(>1*e9%p-nZAP0FW;mMT;7#8 zJtxE0hjeB)KJ0wHX|K|^?c~?IQf1!HehYoS;hnp)6Fs_v-(66h#C5mZYm!U5KUF;Y zzLh;(`u&?9lRxA766n)GouRGY6By6G_%``}NBfP$%4#nia^j5_nt0(NbXDiG=xi2# zlgydltfGI!84JzCVHhvE&cjy}KAOuM3r07@@LMReDOMaq=*zGV{^`>UXWzR%c+Bd# z86K-#6dTe`966~NK6B`#;?^bcWM}?`{5tb5=642LnV=oDt@ZAMoJFeZ`P8|EzGoPB zkn@94Gbx)~6XVSPVwz$pqOXlU$+uFOjr4yaIy8nsS20$`yzxl1{1{r+o<~ej<0^bg zE&-2j%bD+~y)M2}Qw+VAIFz1G12^x!+PRzdcz>i7$?=HUoQq$9~SK z@*UzY_Hm|KjCxWr**eDU1+usDxoytJF4CAh=;ZG@nRw^Q3rtrnvGZ;G4gr1XdWcx^ z(R?!`zNtP7x=yA($@Bv1TLnFmE4|a&`h4CsSDV5@-mN*^6#kjEytsZ8y4HeElsGYQ z8h$&)s&?YVza470lbHQ;YWGF#gPFGBDs-xhd|uhw0p)?dlzumJ(xPq9^ibMt_$K{R ztQMLlbFTNIa?(rjPC>io?qgw|f_BB^66jW?`T&i>Jq-QL;NA@GV0;+vp8T~td=Kqf zP5vhGD+aaNK3v}&{+w;P=3w8>#V0%mS-Xx{@%6~y4b0~qeP^CuI#&GIsXl$Tt)BJd zA5+g*zmvX~>RFU_G-g@!tyJItz&fMkROj@uf7szcE$gHy>H^10_-?vo8|S6Rpch>! z#@>+I6uK-NQ_!y%Pzr1$w<%;z7{;(g8oy_zEq?zu-o+Yo7vp4?g}vdgU?KC?eB{N( zCM@JSkL#(>*L%1<`VsW4Meo;O2a>V@XJZ38Mr^PB^_ys;u+i~ZUsRuN- zt0T>`34NT4-@%yIWXcw;rY^5Pu_N^782VF6OB?$mJzBm=dyTBqzCfMbPbMEYX$;y~ zCmYWH0nQgw{im&1)PUIuMKs?qd&-$Cn+c!iXh;kNIhQ5N$z-cdW zwlMyCD($XI>>##_pT6exp@zm=Str1UD(#QOzAmpn$Iv&Ye&X7yU*|%3Sf!4D6=%H9 z_V`jxJAS^rK)i7*zR1t<`0{o9A$>>f)$uI$&|k+7=)+ibSg(xK@j2FeKkuvK5&SWK z9lK~_tUCH$8mVJ7wBJA-5$OrGz(0@j+nLqXK0DKGdOpRO;znhdmpEnmN6%ZY@R#W~ zJ!@n)nCq=(O}P?z=7(OK-;k}uK1MEOj|+b2?aZ~zI@6Fv&TmDoH4d#}E!x{ZP|03^ z9KTUn!`fQg&|6Mi*T0|O5oG@s#;60KqpSP)Yur;k(9ZcgT7TB>PoIW-I`doFG)qi_ z>R!t@qxV{0UkHsJ9mwb?I+R!6hIw>(Wo36?W*k=?@-6gxtTUaovd-Daz3QLoUZ=ZP z?L|}ivF=s#Z#}bl$hjWnUMIQNGWQyCuWHAW*CXlnEaX*ntBiir#JksA#Jks;uXq0& z-@W#@s&6W*b5Ol|t@(QQI$zDZ*ZFW7>okY%p_Ttp_p0BX)bsb< zt9~C(&wJhL9{2hX*Q3kgg|*mj?P2iR6z=|K;qHGH?*3=t?td2U{%7ItJs-)A-Ng8n zX57(y_kQM{Dkt1^)$gh5s^7K{t-@Vb{cen|ifia9+;!D&+UTm^G}TqO^Sh+gb?!Cp zUN3O3=eyVQxV{fu9+Tm1U3#Db-u|rQ;c1wi4vi;h>lRtf67y5kQ2kVy-AKCB&bh0&V zZCJ=S(7MLja5Lk=V`asC_>XX=;ZxQzE&MoegUY?Yx4(Uqt6^`~4>%vRhPhhgD6Z7A zma(u#_2`*;oafJ48zQ8i5<7?)d4HtvE;tVyk`vPSpW6FCo_ZDk(M*Gu#&0b_^Nnqcl zpJC+OU&lUhSH26e>w5n>ev;~2OI%7a)(RbI&TjWGU+}9U=D!iXV1Ds(7jyct4{ZH) zv(IXnj=TP~NJkDiQak;xP&Zf*uWD$8=A#(*yf(Hm9}r)EBRpv1l-d!#9wltR&f+S% zKgZlz_5B#STS@Pw9{pC1@b4849{x2x{ISid!_apJKia>Wavpvcaqr=`>Sr$9&lcOc z7rIqO96uVj|k}wHjaDKh|9VJ#rj{hYmg)GS!v*E?ezShuB-k_rdPIx_0_?AN~6V@$>uX z>rP_9$p!HOV}Id3{F)TBG&1J*5l5~CujSz7kJD%$iS`k$1wYoqXg|~`{DfDUvRdl{ z^M*CdJLQAO=4s6N6d0CS%w-ms!d2j$#;!gGjl>KbI@=y){tZ@D#!POy%yfkf`%Ayi zS!4J?t;`QUMVwqhKO#N&$gd(S@YBQulh*gyKn z!^jJd#e}!rjD=oc-|3{S)*ZpSJKR+Tnwi!dm*)LR`q%KTCee)t$td z)aIEl<9nhrU{lcgNdh@2#<+^U-4O5n<(TVqdcL#DM|khi-2UCeY2J2Ek>)QE>vDJs zy}Mmn?}N^EXz*y=4V@k@lf=3d`}AU6DX?DyADZFMDtP0>yWmfPK8YU9Gm1J@HV|UW zl59vOqKr}EZ<1J-BNs8s)Av0-Ic&R+{O|!ia^hXuvwYXrNkgA1(WhHfADF4WJ?M;L zLd^?C;$519RUkiU(i7Dq@h*ej>NmNi6Mg?EosgWPOLw6U=+bYo^9kt=aV*w}iut~c zzeAeh^?SH?^oV|H@9(NRi+c1;^vJ`z?_1F3mytV0cc4R( z4at-Ea29iwfzWZCFYxyp{v;n?=9>}OI8WaBkv-mr`Cg?Lzl%`t+$VM@=L`z!fTGbtlu@rRoIB%tle;SYuNej zu!%Hcw4HaF(01ao&Tq}j?pgSZ2ly7|Arl%nh4I7VNyivG5s$q&j%fKa_#)ck#8_&n zzfL@2o%Jf!$(fx|-i5huB8J1fV1W5vgVx3@aH;~QC^#v`wPkQ?^A+n^ zz&-wA7jfh+?S=K^@JjCe?LC4Y=e5_awN>)3aodd0W@#JGlHY4%#VsRkeB3QFoicuT z*#^$bPdHp&R(ziGMh^}-@^bSjMR|E4IwCK3FLLE2J!_P_h!?Lh=aj77tvM62b}_hm zvbKiboOWa_KW9|gnkmJ3N(_G2M)rKwzG};U^yD{th@sfiZguZjuhBORCiB%3(O>j% zLmVB@^#}5m`97hI*id)0nCE!%>|qa~;(v9-zg3?_d7Z5p<#$oE?%H;8dcW3P_pmov z{(LR(wC<{Ww$dqoXUt^vJykz@KvH~5*j{ed`t8E0AUF!9(JOcMx9`cj!Zp75@@{w0}!{*1UNSyjHxYjlFXEJ)7FO>HV6+S@Y8S z74K0!x9Lhf+TX5v_{~tK9`;W-^=N;)>e;4e>e;II)RW<=deU5vDAVS||EFd8+2+wQ z{oZl-`2VU*ulmIJGHs88#s6lR*0}Rq)~1^(_#Uysob~m0ztwOH&-|9yCC`NTKJr5v zKdY*-ZyUC8pJ8lWj^BAZ`=NHN<*eT)n;u9JOJH2x@b&k+)o>$aWebUgpH==rm93~Y z*hzg0*n%xJToZiL$hugU(HtVfH#hiv`X2Vc?BZ|fIrClawIAjY#&wlZ{8CrNFKfz} zBjG#EXYP9n^I)5F|2K$xE@utKl(*!G&*&S)G(Lg8Z>-!C8~A+FP{YmmT9v1m4GG4+ z&Qq=9o)48(f8$i^tZf%FuMQ8MJ4`>%8uK5y$nhJ_+Q#+HW^-J{O3v`$-tg{1>b`(J z`|DY8;ZQ?$Xr!J;Rut>m#uc2-TEW$;=h^ob>zTyb(WyS{7Le}v8_SDj?&9i|`8xB6 zs4wp$^=|!Ko%*?Yc`qbZFpIpE_&>xy8p`pD!tgK+552iW8+@|iA?bZtGyI|41a0o4&9pa9@34CQk~Sj~a(J5hWb{Pe|qGwpo8T#g(lPnz$#m4~=Pwer0JFXb^4n8-6gXSK>Q0Log9wgs$3-q)yA5CEsv3s2Dhzvs4 z_2BHtM#pH`ILeic4D;m==lH!v&Q7Ui&ASe~<&WJ?TYdQ4-rAeKk8UkD>~WgjxeI#X z#bsgsHj#ItzW#g6H!o+8tZ{f2+7%Tq;YBUq>R8OFUqzOG$~<)w-?=YAA5LaGnLWXL z{}=vxneS`QfH$9wGN-77zrycM&b7Fcz2W!szP8LPuEI9OzH|0*sUN16HnPTGSeMYZ z4@-202);i1zPoJ3H0}S^H^(y_|K92h`R4ug_^}pw6(i;M+0Tu!7rBw|eD7vYV4a!1 zy^imDdETJ0N$sf}o$vH^+Ibc{+i91%phJHYERxV>&0x;UoRaySGdHOv9#I32dVitc zCQtL5ZaS|iT)h?DReBq9;5z8izPLW;3<_)Dd14yv;GwAQxHLd#At3h|!nFh;WRiml%V{W|AI@{?l>-UeM; zu`Ba$h&@op{QMzf4`5>&Bx9Nvsh`pxLkv*%LUJV?*B+MyJl=v0aAG>hj@Hh6>!Y_B z`cb;iqtx!KCvN1oRUKp4h|)4i$_P*4n0`!W!+Q9Js+&sjg?Acb-1Q?05!yqQ14Ee-Y$&0eTl@zxY$^;rR>fE;u;zQ~gG>=!oMN%!j5ZShl-Z zKILMmd6&n>Dy=J)@KHLfJ(3;z_7%B_Qa5wX0(14->T*+^ZycH;e8+i`DOASUA2}Zz zxsZM#3*ygocq4o3`EpH%*dIYGR5ma%)wPMoGq%lDES5iHDgiGO^e<6v3bGs6dwfIF z^%`e4ABpe%(Zl)vBlzyn8lRfQW|_)D-ids5 zK!^IRIsMM5JYyR>(6bKu;MAQs*1^H~=A#4$%UAF2Zj=2U^wdSH4>#fmX&tc<{fKfM zrib!Y1ly)^$iehplRZP{bECVWTQpX=&yP`8LgV;2W5w-YG3=wTmhc$moPBt6H3rP= z)bBsv$M;$qGi-RM{So)U=P-QM9!JSe?h#}MEOa)Q(U~beV5ViKVLbh?;N7;m~kY3@Uh1NW>REzzn({CjcGc~-ojkTS4`Zrea+)6(Ud7J59g1&lrSMgh` zicKmWNLze&KPh|p8HfKyuf8#P;t6LD5i*NE;-1-a^Ayt{-|j(d<`sJ@vha8J>x)d` zMrdh5?gu&J`*d(mYpgFBYny!Eus+Y4=WFmqeU~l6$LN^_Zcov_G;Dn(SAN>TjNu>Aphvsm0(_H6Um3C~Dz8~;to9v_Q^+oZ5 zpT5sQ-%9Fxh?wk;p|P~Czoag$DaE%`4t~bvv+Rlbsk%19bLJF>o@R`^oW3Ra4#u<; zzk{hUWlrC;pUCs`#h;`WAE8(U3+62C`*NQ!9+`5eZu0%eZci^t|L+{-sE*AMr<=}O0JBw-O?e^_K z`ekG&`Uoo^u+M2zRE5pv5)d)6Z$3{8@VZEvP;m< zD0yTrIx(MC?5O;sYbo!2Gi1{b?ELU|?{EE<{X`S^!E3-j4L-#^#-`^Vz~9?@ zkN~q+DSMsIANKsG9JI|3b~fA;-_W4V`nYL&PKx6@`@4PJPs|gH}cIz?^bBJoiz#3 z(&W;Ta%pMf*_$^YKf``c3|iX2#qrIdr5;-1(Bk>#s>kD*&ZGRfaN=(kwkS!t8gS{w zcORL<6fs~ANT>D!CMfTHYb6~-(Vg$0WgjBQh7Ik;Ah+a`TqK33-eD`0Cr4jA`H{?M zzHtNcsPi$4G#p<4XQ_WDvLZP;0U1i78|~Dq?>EH9B)nGrdD`}9PExOM(%7UiEe#Ed z9qC;2>lv#YK6a1h<4-GnI^Au0`r)106OHPJQ!j0c*5km!a>q=a-zhz{!?a6&8=fZA zrut2s#lu9pkrF1*r~VXW%{X*j2d!x^+te|du5Uuuu&kqxqD!*s*}+b}&7MeC{?=bU zV|rfWoIX!inxNY+pLe)e&yueWt%y8lj^HZ!bnG7aJ^36@S3cun z?2Ki|r-gimkWY=-rMeRK`6MB*6|Um7XsLo0>1`BRgk@1ziav>CPiL5jZ_--_*UV^K zKjz}%*V`&+@q7}m9>*?G*C2iN^yORb_weGeVcha$S~xheLVnqfuanP{zb5oba&aDM zIoUSyI5?$7({`qdlVjgfrbqEJuMO3!c09VIM@xtuTu+@}=1=R_72r|^Mxx~*Y)G87 zuv5TTXRH!??c7P89K81IVv2kn)GIlbUZt=F;(J7Vr>;8clI%Kmi1(5|*;)0!owK?%J}QJo9Fp178ioU0{(_fc}o)h3X9uaEHoz*o=N)e;j)+e4xg+fkQI%i z%A1p%yF4(=A6e&i?7uT^BBP2WiKo}nek=9ni8ZH?r6%$<3On#x4tBSjqXx7dqCEPI z3NMeaQ=K+tls^KG-bwy>$nQjQ#$0k_zJQ!*Pq*+`#ntQA7N7j&$B>_k$m`Lew&U2j zBCV4K(&(~iwU8ghEj(;jfa}TpJ!Q&<<;=s@Yj-d5=V8`Me@f-Hn)+0?VegUGelKYg z$M!EiMQfW{s)ZTE>;%bEQ+t1GsVRZ?j5^TH`;D}&W}l*>8WBpN&Cc)D%#gW&0O2i z1?^407(LPcr8rmoB-!3W-^BJ<*yan+Wo(%fpHI?Wov|Jjo;BpjnY!2V*cERcbrF~` zk1C$m;Lf9(p}h$VREIZLGVJNnywN{bdf^4eQ1VD_-tL@f9rKEaaDcadpQgz-M<1GB zGH1$|o?p_2Wcx?7*-F1_`R=KTepg~getyu z|A;R!5yn4p+ww5@Ets{t_9n%dD>in_nTOEdZ}D!Ty1wJ1Tm1SR`OO6Q-$VWk_n)BXOH~?tbqe4mw^34UNb|JM^S7pBPMWo==;Bp1(ss+B@CvR(Nzr#WY` z#oaU69%Q@|Z+h_)tDq|ieXXW^Ac2pec-RoJt6qE~hky7?ULN^F!+wP36X>SK)o#VJ z&9v+{=xcrgxtdE~q}QHYdFB3=a)}AbO)0_P9^_HHbIRwB<(#IO10DCj*)UNZub()g zyV3!#?Ej&ziD>>^Nx6r~53dhKX;-{|Oti39y10&1*13{(vufh&kFaOuDXXmI8}ELz z;eZJ_=N~U1Ey21}6LI%P&U?$*hww9O^fRF_-$#^JuVkHpah-F9C4pG?HBFI%e zf35iT3z5y`6>-im4{v8r`oP`DP90^92|XGoP8l)CDfPX1hD_rF8*a)TfO2_#&a z%p`~qZR>?wym4lNR;ybpU~8=_lLQfE*RBN><&p_dwV8ffj-s^0g#fjZw6YzX#b*_CB34zCx~TM`GR=Jp@0PE(pLwG4qOwm?Pcl+$Uqp7WS#`gTq-yCu z!0+6b((Agg!HRY*zt?_7cK;UqTqaIl8|+pBpRkGH##IVjV=Iuu4;0!bF?Jl0rFk{}9Two>~ z*;j6E-eBi&SA9W4S&ST1rJ-0^8{^hky6~YJJK$Wxc+3i~?66RS3lGIrzf-6+y?eun zrF&c$nh{k`oQ>{c9y6Fnoc`37-;N6h@~(#HS2*J0M`r%boLP}? z|EIj$?2gg2*)hu*>6YEzch>{B;@ojQjQ zK0fQgNBM-0uk3vE_^Qs=bIji4Sk6h_pVz$QD|yZ2fJ$6$3h?_BcHRn(vXAz@k=n5D zQSd*1`OM~9ZvFAwGx-jg+(iBHn*FVd_rLw+(!*~@`TaWWuI96lJ-qsOQ|If)@9#7P zCQ-lar?fjH5#?L|kF?}9KWYjS_ioK=u0K9=KY4%>+$oUIyPGRaYu&JDV&0fQt3AXd zJY4T|*U8`Cf~{~-@XhIsq=aME*)=Yn1&>Ek;MQIfnwjVhTAfj2nqur{as?%FLp8uC zCoym3P$yn&T2~GUwAOV8QlAFK4ZjPdV!w@~y2`=#Zndd(-M#gSUkDF=l(jyxDF$1o zLo1o46Lu47E(9^f&j2zfn7 z3`7uLk1-VIr50)YOC`C zGbUkJxB8HMcV#fhT8~N8Gv>Qn%-)^WsGjW)JiLCVHM(be#W&V(w*ran%z67}y)!-R z$vL$@k5t#@nQ79MM}kwq)9uvA7UckpKOnf*@p}jG5KJq8A9-#&IWyE0wq>IYBr4z) zb9F|JvqOh0yZVp;H{Omw^MXA!JgY~h(C;JYk9AXPQWfx%+Nr@*f;JnT?uW~V!tRIm zGfADtV7?w~mzBK-ynd?sPub68KhycuP2|3>?uewm1MLwF*1THzE#H-4Zr|cJXQ!}r zj%w?MHYM>>Zh|(2LqX?s_Js5+`L%Q3jNoI*?O6qkg8bje9K>713#b;p+$+}c|a zunG%1uBo=)T)uxZa9+8fs(0mr82%dl4)t~h%(RWU#2SI$N%*&N0w)VRUOfalF&KU# zdY%M_+;_+%8vFbY(vuIfW@o5OZhV$M#@KZ??Z96;ypaCPvbJXEe8PfXM&Vf&vie+P z(pu)9&grCqL%T5p>ws2ClWN<=E|;$&D92`QQF9J$NraP zcb!OY->@KgQIfGY@F`pU!KV)1m%eS|f|iT^S|0)GJwm-M>MZAT(dy%$`q%qT-1e{3 zlTRWWw#o;Q&HrA8mI(h$hh2?KI4fkCX|?c(74O zHaD|R5}^gL9im}L;9j@y(suFEFzf2m>4h2t&!U_e(lfmi{l3W^OFMTHd;CK3n&|g2 z#v>Yi7X9TwqhtRNm~EDAabbJ+FuOW6*h~{Wk8<8$cbYGOR@Xzj*E5bKS4~gM%{RAq zaNg`}Q<``^SjgQcLwYRcfqdPTTrhU_yqWe6^5k5ZZ*mGZ27)~cuv`3y{W!m7qVw(q z`m0$`-BMttz6$;w3XZF48)dg2S{5ApG&JIHaPXBT-|U?Ptm?-f`yaF%@8Yic1-XqIb&5vWwzy;ZE@A9kAw6E=}oc6U@$>+ZR_IT!hT=eO=?|*S#&BW@C9L|JmouR+- z8|OfSlgQS=qF^&Tsi`z(_CCUUjicpw{?rz7WbWpS+I{E&hW*?~{TA|6%{7A-O5WWH z+%y)AH3$#Z_%tSs(dVPtWBcha?hNwV|A6*0^Na$+?%?REqPxpy8$JQzl8$_P$fWKs znD$HmJ-zP8x38L{c(h01&n@6U_ZOgh_CzOlsM+>O*6jOL)}*cZW^ye!QAmFEpE2f- z1A~tNix*~1Oo-+$3=F>Vzv$ynz~YaMbbp=naIvyO_Rt?<3 z%L8N2(f9byF%-e_PK(d7S>i{I5RVbKLm$WeU$#Xz-7?`_TMbO>?Y## z{{g)C8SuNC?^@RKRjow@>l8FocUG9{ilg~cg;y=)cPy=BUGw1i?5$*;mC~B{xO1v? z@%!mu4c##vPrGo@Sj59LE{(4%cv_XtJPDrNH=FjMtWEdLcDu$q5O=r0qj&!~f7;T_ zT;vrC}te*3&b-xcsL$pHayO!BCBex>%;(FnQSauWJ4-O_ex9rT-c zQ1PQ6d{*zau*ZzrU|(I%@An3@AAo;~&P`ZS*ZVx{Pu_ybgW;W`t%Km7Iq;1d{B8yC z(2ncs6c;)?*X0M_Y>pX|2zb21&2c;NN*+<13cMH+*t@cByQ?A{4SW&`Hx#`PUu-V|8M+G&54f`EHC@u*oyMq z$S=0ZYZ6b}jQ+e5{Lnc<Jh??DIN&G3X2a&S1q7sAN)VR-IJWQx@bYIj@; z4~W1EW(Liam!oGS#7m}Kw0!@=R!L$bGUjf4Wbc5lbhzyloM3 z{z0p#=LmFTE%mZ#p)bq(d6_q&GsKV;)XzroKYqWA9`~!2##zhfWve)mwu*apqbHZb zGsUY!+czOIhv;jQcxcX!=CSNmgIqi>Xy3ioGM$IXFMUrTIsmY#S-NP6#@T2E6RU2m z?`>ebjalPWoke-_e-wjI-zMXZ&#_g`F^r<^4YEt$%XhSnNr zFKgTrN2ZI-r@gvJHDo3cn~$A*u$d|vp*<*>G4@`x+76p(vCWi2XGFGeVw;W5+DwbR z7eO{bH~k=zI<_a^bk&f@Hl2Pm3VqxD)JL2-w5c(^J2$uW(4IhbcOt*_=qF6-E5I!F zyGZIz>fb`$cjxA{o*5XGI2Ih#R&GZ1U>ljkT%m`9dP1Y&!_YzN)g=#13Siebe);|h zfgI<4Xxd1Rc2*hI$6Pf&0S$&G=kR?K zr?lpt4rD^f>@CIcI_YIC#(5Ro6^vZizUSLA_qnoPE#pfvJ~Pgm9b$ZUF+RcLPT6L_ z&Hwly=q$k|82~?_)tz0g4j*W$PG7$N9_qeljY=FPes{ZTOXXa1p4k>y7@LmId2;Nl zHtU-M-9`Royv-EJ*( z>gau+Xq6nl8~W#t6CCr$nY|A$8!*n~3_B(JqImRA*^4ufFM^EUe|A4Sv#Z8V<>|Z_ z_K8QKBT3{$`QK~chsZEfMI-2A-%MzuXJ5-{g70=(#!6g@91}#Ylk9?zW_#Ujf_b2` zmNkrOFO7(zmlY@K**}_d-EHg{a3D6qN;O~y2@Ycau%Dob=w4CRjwL$m?OhK?1dk|i zRQxvR#)ZWf<)GyjkBzmaxT_k8R!mr+-Bh;?oYCv#oe_9W## zZ0@z)g-(+87QdffCp~Bea*mB0eqw2RA3f7ry7vS_uVl~Dz1-$!k!liW@vvukM#6A&Hva~#dZeUrU8RoU~m|EC>ZD*k>c+KlW<3#a~rTY zhHZKua~0k8_o(c#zr!XyA6v9+z~90K?ejs!;EGn?i%t4HWIs>W54ItZjO4f!BXLc$o1Y*q!hElKRDr&9A$bd486Htjb4Y1sqeVK;P6rTNNh##@sbcb}reO$GUib7i$=2 zzN4s z>TT+{beMJy)tJ7v{=jp!@$^=ML|1HP_nu|{_;qTW|atwa8NzBea0FNo#xD-oNQ75?!H%>C2cRd?T^gj z6_jl`4OwP%+xe7VLwW5B@eA?2>^1XoTi@CKD8XP+6q}-ppTVj{D?NPgh4!xlhb6Bb z+dLFKCeRjzF9(SE5d9MEsk!bBVx3Fc{^bSHprW?R_}2dNXmPPyM*Qz*JQqE$#cmkd zgO3~g?ICDk1@FWg6^mu?hwrAG;16!URVzI>qaSHbo*nHcF8&$p6WU*6^6`1CXlbtA za=N3oXuMJ0>${Y1>F)lxz4*4GwhcU&4pK{9 zwW;fVO>*w z2lOp{7w1X`nW_6fmQB~@xO6QBO?wcUmPBqCN4@Ovwcz^_Zz#v+7|(y?*W>U{e2h6f z5-foRy7=*A61j5^vR9pAdUO`@zR4 z51(G}@Co>hqJ6dJw@;4$IlCCQ?C2GRudM%)73drfJS5Y6tKgOOrXUYlFDG$6@Hhl5 zOG2N@O=-^{_+#=e+qD-%$EwVq8}@erhZ)88+ok5~>vx*bJ(b8@g3(dt7&?|eP4=EN zaFDI><&~Vbem{RIa?VSxe8uz0$T^*iFM?k}bk0T}6^#>qbf4c(<5V6R@{(e9J`Qf} zroDSJ?Yst!dX;wCRfjf`)a$10?fiFfkN-*dlUv^mcgm@+x^b(hQ}w=0Imw3F16%z% z?w-ihfewwJ&THrh&t&M3;4NB&J+hCtdh};!>l@&47_%4Qto9BJsp<@=+#_~)q`4P6dD8Jws<<_@tA1-VuNA4X#7q?!}u zf%*;0zHC3U+_9fo@tfKePn~s9*>A@-l+D^*QTFMI6=iR*U;m}ier8SOIb~I>$C|Uw zDI3PSVZ6Hn+H>EvoqMmw zF^Mtg{8k`PxuKf=&9Hwe3m05m7AlODg-rE^G1MIvx~J?4__peN5`Fv%<`_Gdm?iY2 z0Qb~NKM#lE>t`_EL)hxbKRNlt(p_7V!NRtuiT#aDVeQ!u<&+Do`LbKCo4ruOnuu?% zWc}@qBIj$IZILXix{`f|Gq-cAZZA8B`6&;x&ROinSNr)VYEE2OxU}rkl}pQX_kdz* zyRaD`=a=L%kMYdo(SnQ0S{T1#W|rQUUQrJ`*M#cJCV}fQVC2tbk{R42-<_UK%CVbX z7psws+LUm;%CY&Q5NJ;j1Lq$$K;~kNC7H1A7Hp01)XW6_;JZL3z4}dGH z;n9`C0ptno$=S#+*caX0g`#D`sonSnq`TCIW+USSo2Fvhy(2G>hzHFy$uNq4KsV_e zLO;rP^AIwWWFFB7KmOr-1}GqpjS2`Ux;UrMM-Ozpl#>`NV=l3(^meLmnzu`NZgGog#5SkEcd_=+m7 zIwNslU+n{*gU`*!CiIgLX7Vm%9nB%aof9juBS}}@f=qp%Ym3Ooj%M||!T*)$^7<{> zv=W=WesASWyY5W?gsFWXZAyB~cR)hZnR$Jh$KCG0lU9kEj zu$mhv>DhILnbUeaJz2cWVyuUo^IBhrcfFA??Pa~`b%&cTYi)#gz7C&xBf*{3z;2gi zrXI}TTO(_A&;)uaq0KAlU%HL{OCK)R7+JGM;4B+fkY|m+S-<5^iyw%jp2OCLJT)t@ zV8V34L$DC6;Wxu~;>VWH9=_`=(RyL);CydY9e#&AY(Rml&v5m@x!AG4S!&-CF13&m zurIO}5oF(2@l8pt(cF;dX8rz{7uWFqaILf8gpfiMbopd>MUya$&4@_QFu_#NlQN zaeBiw?wuxo;r-0pCXNeU>CC`~zZrg%1UKIyFU5R6k-nSHIQ_lQ#ahLI zuW(j-TKhpT#^%Ku8+ShlhxL0Ey0vgvzbEorYizT|KYL-g zw_uQ&Qf_h=Cb6w+?1J_C@Xata>p+lyUGYTZ4SOFtI<6w%KD`ceDuBR`E|Of7km1xF`Z@{H?8^Yy;((XVVu zhBBp$_l6;6+D=ot5Z=mKmsV+f&r?QljZr4fo=W~Pzi%IDoe#2hHTctgx~=~&aA!jU zc`LM!wASVD+=)EXTI=^7?uck)A9b*ggyR+Dz^J8t?b%)Vr`V^+UMKBSWFEhL?b8{w zS->;xQ~j1qzmoQM(f*mV{|WAz7u?ASX`9Q5R^tt5KgZWeaG5j9ddib&Y*4ImhPkNql{60fl4?p$^o?SCZ zsY@m8U~fe1Bl)R^|P_vu=dr^WayI zg%+bDEF?D1^cm;hZiLYZi_+P7i%QN=l)EMOh z$i$+9;m{m(qd-$U&mUb4z2VN~a52)9FFV9lg#T>-kWo4~`nmgwVW~47^-Ixxvsz3GX z&m&1c9U;aGEKD(VX-l>YS8k}G=G3~MSn9=#Kg=0O`5Eq}{43b& zbS|!zwUpc)vlL$x=zNW5{qp)~$;wZJL#4pBwCz*R%DyzRO?7{xx~!Gz8u*vitCsZ& zv0l<&Wbb8-nnLI(FS%_>{&#&DPlRKm-S#eU+beGS741ErX-_trQ@1y#uRWcMb9H>K3qk`D9;^ob`fK$qA; zAG`Q3+h9k=2D^c0%30*uU`MmQu0F$jik*D=*8Z7HJ8DCEhHz>+ZLM+ZVH>6`!PCWy zj&aWWd(!J}qclx^g{yOUNS-G0V zdi^rz7imLtl>cxo-|yDjPbKk}%GUP&)tNnTCI9gWBxh^CjcfZea9N8#?Q_9ViQeX$ zpYm+YMQsKa%2acGuYt zXwPXq{+)6f%gZK1!-$3U_HuFCW!j6_wPNh$B)0U2SD9A%fY+anOjKl2W3u3(b*RX| zL-fIi$46XvcY?(1xVJt_J*dE^Z}jC;Nuo zQRZC7xPC<$2v(TZnX z+ek6C2Jwc6q}$^2m;TPa%;@?f+j8j7r{$vK()auA1YR4mv8YX*|2(nu*{uQE+)K__ zwXJ80zqvI9eLbF!Z`$kYA#53%r)&hmDe2|%ZMuFA-xnE&bam}{ z-(K(&o{7GCdrWxl@9$#gW58E)k`GjN8I4&s!4pfL#{X|ElO4Ac-8{VzL^rIot>6hXrFE7?EiJFH-@dad>i%y}i zhpu|d5q)~3&Uh~Yb(2TP0fESvBiHDsIaLdcHR@CE@*rhnqHBi^HFp;bke4-^ROKSM=snY zU0?mSlslWQb1I5$mG4dEE~Z=y zv5x+_#juSOEnEIz$E}O{VAv?QWndUWrOUMm(-}t@H@lx0^10tnnthv%k0IjWOGBZus%2elg=Lrtjn>9*q=jOumTR{i}^*#7`ujiq%`=ZOgd{~CqTYq!Rr}dBd#sOnC@I`mb>%B1#`HfE_KJF}K%$jrj zoyYt4Jn*7WW`b%Q@{Guf%|#~uHe zQ||u`o$HLt{Ptiw*(v3}fkvwRFZlIC=Q|^K-q%;l6z8|_*fi%yjHM%sHX3kEV^NtfdqD74 zpHEUQl<8mnevh?JZZ^+M@#jg7hgbZ5TBbR_%IP}ql`HO+- z3fdy>VNLf1GutV*CLEvcD2^DQu35Wzx`VA`4KY)*4(y)p{3mtwPV!rK_oeNNDuz0* z@Jwe6y8jq;b>b*-5Zkfc?c;eDWxyliLIVqfie<7cYggUAHoK=gFHmj}^$&dzO>JJW ze82Q+)t_gqMBReA9jkKe_MK{rx_(<*klVZ8zO=6`;-_XEu&SNyluPn_BQnuS(aZOu zsVTfGy>4-@31VjimTE(NSf9URhx*w{9laBOn8X-sc~1=1a2wn6yF1hCbdFtc(RzgK zYUe7qd_Qfp``2zw_S!`$7t5?2wxD$`o_xzZqjeMw{K^g&SJs%83!Iz1HC$sls-1b> z8hZV;ThAgd zwC}Fl)BW@MSzBgapEWe$$UP*HE7GqXBcZ zkv&c|*C#0#0(52y_LC#}5&pzWSd+|Ly!>{usbu)P(cDwvtuvi8x$}{#& z)wAf!^}V|JAp&g+|4Lo*YxUJt8z=kJJ-ev#j-;=~M**#~mifLEs|lM%Lb;hn5$k*a zU!u+()qzLSOH1%w$ft1!{#ohuu1{lq4K#{-GSM&V*hlhl96sNR6|N}wL30iE@OS-WqC^ZoCF>7Ri!wxBBMxq_<;!}uWQGcF9Xb1U@ErRz-2 zU1ZG#J7>FMvrjdjZpP`)NAUS;bF%z7W#XR)&gqT;a~e3GQ_W+%)-JQQ`nF#1@)H=& z>4ginG>18>XO`6V%EqAgCzgKyBwL4ccy+LPBVuDFyyqK@^;A!fOj^U}I2nse`+ zwU^oL@C))EkmD5pQ0y|(9)kzRN11KHH|`W)r*kST#7f+Ot!y!N!fSndZ)v}6ult=DOgcvN*joQ_Q!LY^B8qw_hO68)K%MhA5Na;wCLS@ zJN2=F@3`OL8+x~bbGrlIC5O86kFCTfJMdlXbSI&DO~kzne3v}kS*>?pwNoPozKacW zmg^noV+sep>lo(Tsdrxlw+FtnhdW>3-7M%vY?SQu1$)u=QlAvPW-nlCTciChJKMY9 z<3O9*n>;&(O%0x0?0k-PeVf{qr)aP16z#qGSK7NYtG%;mPy5?EYgcQpqxaq3mA`RJ z;92AT*E@asp8qUxa=D|{$^YN<{+oGr%BLM}`)j@b=8?>I%YgUGy#Iau{LASl^=}G@ zt6_X*yjLzT-kjY2MDMwI7C$iMWVgi^ywBL2F}5xDS-}5}dH?;nx#L65aND1;meVe~QVpNrOz!ES|3JulU*7la!S`goY^o-+ zMuD05WwDFFpYf#;A3}TZp(*uLwy!DfP^><5`Kb32q7~%5hOpY(n=^(yI zvh=0uSigGj;}=^=K$Q=Cy{QlWOq++w{YoAWm|&co)Avj@^}5W`j+q zl32kI&vp&z{lOu8c>dh=o&2n6$KE(qXMG}+=^`E~$hZ6qb2IgA>R0ltuCVt9$twrc z-@`edRo>adL!5Jun;8d=64Uw~_FVeh$Jyb%=o`0RiG3?Q)Xg8_^6!2+?%5@h#3)2V z*o)~mi2Pufdp&td4l$l`Vr1%bR$Z_BK+1U$rd${Ei&3stFru91&04=@a^lx_Qf_0O zcaKXFULu?_*i|iZ0MYJKlbMTRuN1?02k{^spPHPg+k8#+mNK378`)Wlj-#^&ob_nZ z`MyoW^VZ2{dfUwQB=TS#^iDd^9TvFEd*z0yo3FEYWxZ=x*bjz@aXxylX_cJv7xM%L zjP2YOWCMJ>Rk|zlJv10hJ!K5VH)G3z4jj5S&pbi-;h%DB1CUZnyu#gx2i?Sz{?jXis z`BOQkz(Xs8htWPfv^up;#45OWxEee>+%RO)E@CL7!X4oR>mj)_nZd&j%ZI=LmwvGJ zJ|6r}aNs2Rk--6XwgV)#@&XBWkzc3y8#ho5rN`1A+6oy&h(|KQOd^{=yeC-E`nyhnBZP97vXVh8fy0C}p- zNEglUuMn{E`ByErOYtvsS#s0F`f}6UdY+e?<`(Rwer}ot*hc@abJO^8o#t>d{+yhf z^Y58Y1@p1-S$5!e(tPs4c|*Ro2)WksFF&*M7UrXzJ5l_@3z(;JS}K2AA$H>IylTpo z(CFpg+1ofQle>*v3&=}z)P6K8ciX_SyU4+|f*fo%xq3Ecww!w8@#%@+OU{N>x@OSc6H85>jbagTSCV}dV<7*(;$^xD3tAg_-nE7M3|p?L zt_9Zv9emF=)9eSy5h0$!IalW8ME96#`$6KoFXP>@Xm#=$;;8rJxb}ffKa>tUrfn=X zF1v($>72QbK94+Ga~_4RP@XdzJD?8B>yo6I&y>?Vx3P3YIFj#pRqK2_zKfVDa63wMoq$VWvfn zMN;;k6&Fq3OvAYW&dMdpxzLSIQh6RV-t-&kbrHs^v4$9{8v~};W!Gk7CAx?MDq^3= zPPX_nkyf3ZUvMjT%W_uuPR4u&=cJ;{Z4D!#F%Gq z475IK%w+plm&D>lue$U zKhDVe=Q}ws8hM9&3~A=bIuXmzc`b8QOd2^}I>SZ&IkBR)GJY$^OD2wMjp$d{E_d!{ z%>%}1LOVF&2{@AF6da~ zglryj{~S4SI(859O6>}_e5e?j%y}KoEXf993cgUbz{Q!7ZL0t72(wmoWHXTsMRim@ zoGf>;>wKO%f1GjIKig-{u9mEB*GI`MvN^c2#TRLB) z*-n+2$_;bBW;{cJQfr=HlP)66#EL3|y1i$485XRkA<+6Q?Cj=r`k=%{>PoN;PCA5Ec$yt&#g z1Fi-g%1Wp&@VZI;Gx@z;H9_Za$!V?WRl(|GUmM!m-C$COk!jw!3mY@`-U?*m2CJl} zl{s})pdV8HwR@EZXiQ%opzyGD>nBi0@se&_IsPxdekH%{X*G(S-}g=CYFnI#%h*Qr z9biA`yg>!)q&)^L*;jdkx5so2Y!mp!coXB}<-HdAyn#2y$Tt#YZjpsHcWYXmbMKn_ z`0Uvh_+6BUEHtSNR>#HNl{ro$`q*5u{rJLE4*jV#l{gA z>Yj%$a&vtA1NbSN6mEt?iUTcb+tHq0_aE>D^{?m9>k)^*FP*!uK~F^X?yL{l3C_kf zSvgjs=6ue|EjHW8YepW(+@9Tw;1$~Y^XU`(>Ra=TCbdb=fLR2((XY zfsd?TE$gQB(>kJ~zKtH?o&yfCe$s72fnIkk7HcP5(-@G$Iz#Zl9M-PVwZ&l1W9@b; zFG>6YM{Co?I;sEe^sv^;=rh86Y-kPfiOwA8#-E9|4FHR!!9Y_nG1W^e&EAG!aZd;F z6Ymf+S;{!p;R_vyPJIV5)-ds4@)en7KWMI`?+VW1)N&SQF7jy)<*)%^q#0 zglocyGtMS|8aSX>@DO-kPTW5DHAnCg-RSB`uhTqqE}{V6@Snjq&7+Gr`@a{CabywY z9Qg(?>}BpH%>6Freiw6J!rX1jN z+&tiWB>1UTaBS9R^Pzpm0;wA9JJvr8Z;u3rw(kB%aGyOGnkAgRv~}*H)2rAhL%=~X z*W$Ic$S$`b6a%Gfy_2IXVs6H^z7$#9p zG$)(i4$bgew?CKPmSpkU+vN9m{S>M{n);08#P>4%)~#c7zO|%HJUcl$29Lh2tii2Q z-1bZA457}A)R8YkeXEZA9^vFj=eO|nKaKr@o8zTx&~0VO!rRLJ#T{?7T5A|O-&@n< zd1ji+zkz?~yZO@=;iC=w)691C-`nHgNzeI}V%mA8GnFmlh%MteS)%4t5}$k_dadlW z%7GyM(hwZo6Ma2BM|&=UOeq~kGNZ})adWO{7c%2x#=g56n)MhtqF+bWZy9EsM+=bE zW}ca7;awQ|5aN8^!2K6s|EV13^m=x|=VTw9%UCwSGo#Qk?e$8|?%B{p(fLK>UY~7> znoOo#$GPll_L*rh&Tql3%3vwEwcvs5m7qZvWX$n&{?tRfJO6a@ynNP9Ed#DAIGbKh zZh}VQTjzeeKbN@ds{`|}cauwJ?)Uo3d{`d#*P$H^$jUEV$e4hgWbsRZml=ZGh^*Rm zdSUD9g+p3ffZyf7Z;))5r(fA>Laoi0GS}A&uWD_5gj{jJGi(MWUJK@Sve)4Qfy6}3 z(d0IXjs{!IUg;q^?`p5PZ~dap$}t=4G32)})KfX&!O`l19<%2D_0Z-{o!L4D-8r_R zy*bGKw-(&>moy!iix!HeV>fo``Ww^}&UEoE!Wc!9loLP1dPs(c=W^EAY7(6~Kv}I_ zG7SC7tch$JqIs6+9`=I(>(XuEOJ`lyu`bV0r=ZYVmvNlEztLTn(w;`n-e#{$(J9vD zoxgKkkW1RiIrq8XV~i_kC1$cNHJNo;&AJ>eENnfJKcqFrx?I7!3}#&p7hc&~!+Z2NhzpC{X)}<{%AbgOe;cXvDk09fsu*rrl_-M6S^OGyc(G7)E?+$&s|yDD?X-u z6Xw745b0QTGua=|PW`Tbk>}7){Vw3QC0P*M7cUDSH(W(~|M-~wjO!caz5)43i-G4e znS4=iR<3aG8#oF)7g-}+yp`@4!>4^d@R6Pv1un9=3kPJgn8_R}fr;))ScJ?doNa;c z82wh6l>)Es9K(U$@Z#H`mp96hL=**YLTR63qvTw$B4!u>~$d+rWr6<)f z4*O=4io&L`4pOn4F^C2WJ^3N9|haX9=<9yh@-dm^iVxV^puqQND`FN#s zRxaz8hjm7}0=aJSia=`wI(IGm^A7CS@_}CZG_;?3(#2FSmwJ-Lq=&luDsJ|kf&6JB zZxj`vGbHk-O3#d;g{44 zur}Gcyw*&*{3YTyjJYJUW|B$E3y`GX1?j@&+!x`k-!ay&n7N2Xi_c#xTLAyJ-{ai_ zF>nnlSU>Gy?sah2FYd12NY)R%++Dwto{^z--2GrBS~$0t#8!~zjEDHjt9*;!zwx{D zI!pWh2mSQ%L-*>BZ0=(yXw$wDjn$sgeo7ZEE9+wH=Rhk&^F@C|V~GRkT$7yiPw)(vIJcc+0?ku7WTAKVoZe8-9R80)z zCJJsc&5a>5xecA;lP7BS&j=Ruto&|zPIYil;>=)fVn#5($AV6FaV}7N)Bl`G?ySKc z5{A~MGjiwnO5=Rvs;WeJV06#@_;0j#Z)6-v^jzs~g7y7x5s$~Su3)}v3n~+?4%BD9 zkw0}2vQ=Fs7h??Bp&psS7|y?`JaW(+_LuT;y*;$wUg60Yit`=g+(5Y>fs@j)L(=on zv2A2S$;%o?E#tWoznygLU90n_lE0v2iJR}E*v)D7D($L0SBJC5v44oKQQwsB_)h-R zqr|~V{!#w3y_Ed`e(cLSvS}Fby>C4BN1TJ?u}P9sW-4t+#`z2|nEQRZ@BR+qPLpsW z>zUTMoM#&EOYf)G{Vn?gI_OJBpf_P+B)UFtQr~uAqkJReuc|kx$M`S1j)7hun#+B0 z{FkjJ3IArSFLl?$<3mB`G{$%YdiG`du9?Q&a-+=l8fe=_I%C$Il{APe{(zWH7bYwWNyBNoJQOZcEw1uN&N%wWOpLof18bsBUE6v zMX&>epl6%WyJd@-yRGJgAwK9eV$jgdPLv<#{!Q|IbO$GtNp=@b?BP=jACHlX{xH6; zD13smqgD09R_#v1_=na*v{HFnMDJvCz6_Wve~WBmHT)K>l}zu`cYHVSAJ6vb)`9j_XVyuwzUaI7 zfp9AvDswgii+^OD#80p{O|$FKS!7pWy`+=a@K^DQA3~QR@K?Jen)(61wI1IF_WuqI z6b-2RD)SNlg-364bu;hmr}oPg@TF?@w)XWA<`>P{qler*TH;*Hn6yW) zqyKk!Hi+>{zY*?f+^(&zrNmjJa;)EVtewiGPdi1qSgCUh<*sC$KFt`;|0w?>_4zIi zeUy1@;C}<_7{KRm$Q5^ZoAz05YlqJ3vBnQE=NPivQ0kIHz6AWlu445>Is4K^UE#O# z5=s7;^kZ@=fs;1!k;{jWMM4>ULAh6CW0t>u1aOZrp8zm0v9XT&lRo$n=Aq}7#?mp? zQEoXsFX8#XGml)(HbQZLH=iO7@OR+zP55p0fH(7q1FXZ2^(gY%JmLUv8e&qrv8Ay8 zhR-7our81L$qUW4I^H3ty%n_CFT+-?@8Yf;$+Jdr#Mn9OfPoiZWnt$I^jO$BlQ1GjA#;@vCgfA$XlRw*1pbR zon%|lddFGshW8>TSmQU#$o(a`EXMil54g)~xA+kIq8l609oI)wiWT+aL|Y2`<3!IK z@|SU<>azv9^!MPBVC&Gqxq-T8o{LY8Smo zerbpH1e1w})9cz@9PE$H7LOGUDqndWaJq?H4l{vKFs7V~<~noD1FA3N9(ObZ16~x}ym`jBov6_UoO{>o~D+ zit~zdt^nBWYrNO=Y7aexzEi;%B=fT#O}p`()lptPTFoa$*$)1L-w&v~zkkEX-r*Se znJ9no)^M-&lIio~^v5}P^e>p%6F=%ruhW=yhBl-ztn6eH@v&$~a? z&*?6i=zrsEM3Vcq#DkLXJ?%Z{($v^)?EmmB_VldSZc{CI_F@C5g}&+cLG%>ykR*Mn*-8JL$WNd$b$&+K1&T{Za_piA3&S%jp{Z4eJ z*FDbfQ?-43@G07kS2*)CZT~;j%i@do@n84jRIsM~XROe5JM8KfV5k1Pc$Ym}|M5_U zHWJTv%9vbqGCw9ayWZ8*>$`&oyQlc0Ar8jHDbZ`>V!sc`#C^1TK>rv2H~N2@c@5kj zqLT)hMQhRYBxmEurScH5NE%Q1GI$gI&p2mVp`C^Dxoo0L48Lt7c+Yog7kYr!$DNy- z1J%0|S!Dynh~S)qJ!@udOoYmF1YL{XGx--juv?2eQpacGS4C=&~cbE>;ZEd)Vg39^Q4a zVv*`9g3iW2?7CR{w-vond$`^zaAZ5pv0C=U$fM8z-MqOX*I6>bq~>$B=cX^3c5=~H z&AY_ttj?Pa8bF$79hV=WfQ)P!+$pn)@4< zUvEw{aHf%ca`lZ%%;PsM2|T`nIDv+*n$*Q_?z(tI{DF&B#2>sUz05qGUKZeE@d-Yj z4#h7%$g_hyJIJ$xJUhsc zI?^fR`$nzJ$AYQ(`aUn13K3_pBs!v6cd@iwWVVHfqZB>c@dS5FOoNBkeXcqlG283Q z$oaD+;M7I!cHYkt?tC8mnPf|N%PhSkZphUkuT?z!d2Y^|s#@hJn#z8<(rj;7X+INt z*miTb$Zsw@GRZTXYZ%Ll2kd9wth~g%uls#)e%YPZepL68_mwkeI-j6i!+A9)mTsmU za8M1SiLAnWbDe zqW>{$0*8nrJ6suP-$xlU(@YUAckKx{dS8BY*Tpt{rPIO3-{yVC#b%1(?3M|g=bVo{ z`VHmpcnwo*=@|8tbN#$-yv6%t#mQ#x^`uiBYg4fo}=5o1dJq)#Xf4bRWNtmd80c4 zNC}b|0!!lhsF<_zl_Zg zz5Rrp`jq==$(R~sfT!T+{t;KmR_R{x|H&s5`Mg9zQ=ZCNd z`Y@|o-+u;PXWOweRmt82kK*ilahu`n`eXUf@c-1WBpFmv2zpzo*STOX1f2xO0v_?v`_$Ycsz^f8_@?Emh8^{r9HIIV00g&v#D^ zTYp|YYy@k;MliZ0Q}@;XX5E#v@o|3)_Q##G{ogHTI|2W9=nUtBJRkm(oJ#+>Ios*w zxz_aGKD1wNJq6S3wNSsqX(x%lr|(P%XJf^)l>Z`R>{L5##@Vwi=oQ*~;+MLI{rlfV z&%$=`B=57IKhE)x*Z%TD_w0gng}YeOW4q6F@9~mOr1MMC zE4=%DE!I?dXt|HzEMkOduOno(X+CwVkLE5I7;=7z);96J{A}}97kTx4J-GvV%B2Q# z%8?^OV?DWX6VFuF*ylRisi!uy@72cLv>`j^E|mdJ_9%3Dm5rV2{Bl6q+cIUvBkJMt z_}JFeX+GTd6pf$f^jendPZAGEKQ6eIw*8WC$rtKV|NVYHpJ^*F(#*LVzi9QU{yUdc zRx-#e%BZd@e?WuxKwFnmcIlR(&il|;WN0GzfJgK_h5(4?&HNwA1x=%iMU|e(SDkcnbR)ndVQ3- z&y(!a@~pXpi3_erC%y;RUB5+eBi5NQdUGjld&2FfwC!HL6_42uJLO*;**1i>8kkFj zTzA=XQ9rr7bKyl!!WexJH#^HF#}ItFO1#3$i(J%J1dmnjrdrByhwehf=GLQ^YaGWI zk2jW*w*TjjrKGL?q&a)OUg6IhJa_R2U!7>9#-K52{knOlv4pX&$7ow)i7^(U z0bJa+#R?Yw3EQ#CXiVjdN4{M7QEvCzI2SwLoIjsMTo3zK_PTy~_c>SI70wD@jXBr3 z9Nwh=BSrV)=Q>ws{=4r(=Q_6kUghC87x7=~E?m$Y{Clz9&-Hkw)>rQ|U%fl(J|Ee3 zG}DfBrRN8f6+Wo!8-35mx@~xNhoR0Po@>PqHv z%fbVG!86e<;Je1RF%`|c)b(4$p?%rssqoLNvGD)8{db(_RN}+Z-0lR{wVWk$=^_4Q z?QPM@D7oN%0nh$9pFUf%Z(}0n)s1mQHx>Pm43gxWr`EELb&kSZV#Ms!(=PU#S+N}H zLz|j&kcUi*;wr5k#yls$8MH?3#aY35Ftf~lT<^+OfAFb;_oZ(ukN@jMD%S;0c=PaV z-r&~NoPBXD#%@c8Z3sLbVGbRCPEU5{20yF?F6JCBzeM01FE@nlTVG8qd3G*^81eX` z!=ll>$Qj4LU(sRrPGRnzA4BZ;DB{RPm#>|%e82K2@3uy|=VqcQFzxCvX~{5pJ*#&q6% z32;ZQ?!ZSi-}O;hiL@#1Il_L9)>TPc%sW z$`7MM(g{vp2kG+OI>;YY%Q~z!o%3zYtZo)`;s-#*u$)W z>$l>6`2F;h+MlCqr_yfBgZw^%-7W8nc6$1l;1d8o4Zu$DQCxy=`;Ftb^XvdcZ9D%H zUh_BR_P6|c|3%x6Vu!gY&!nUu_`lsgp`Vg%OzeDTSlUD?t-&wb)m_ zjwj!uY}@WV+3Yi|H@WFf;A>4NA6AZQ?+JWpJ}i5f=kuYzsSSBL(}ithkLNez&c62a zLUVVz9J?+2`A_Bc34_kNEX2H@<+Bnzk5`!L*Az#FEsFcYs#b%0GfdEpC)+|i8GCqA&8I8fa|u3tqBeJ1 z6I(Xd1l`y&bcR{N&5gvD30GIwnQF~p@dR%^hnUBq{ia&;C}bXsCopE>=L}~)#nWGA zKFYJSI4|nmSI-`deUZID?2Ks5U!ya!_y4KHKH zzZ4vn9{s2Ps9hmhGb^rgjdYnXag}M#ktEThleF_9V~8_`hxomd-`W15W%|$l2xNQ| z+k&oa;PPlcM(cY#>+|n`o3k_btj4fqGv{rwm7ZALzIyE$?H$(Y!}kq-Bv*bt#a{U$vZHWPxcF{4GCO5d zR(L2Jyj8O00K5tXym+x>CSJ@Re>Ps}xBuLqSN6KS%DQQf_%QM3{J-TN7VaHlF1s`5 zASLT)j@_qQt=Y69j6J3zGykK^U*)l*wh@qH_eNj(bfsx!HrKUrh9-b-7nOfaE%r&Yup5XX>MiTqJVyi;A= zIPUMk23s95dhk2>saN;KJdL03+Upssow3)uc09&f2h5`I+B$5#`aM@ZXmSjN7>j%c zinp+^FW}#BWr>N%E0P~aF~(xXJxEf|JOLRf`PyVKIM}V*ZE~5pMW0gZAxHfBM^NpS|vGoFuZueBvZ$f=`0I zVBV2|zu;bg{4T$p;yUrYbZYN@2{?b5@0(bIFR=#ooXc_7WOJZ(3-8?DtigQNpca3i z;v`>x7aMA3EvyCOKQsnWvg9|xLCsHkpJa*b7!BQ<7a|6>yqL4|O4zJQ)ZJ{0Ue(k;3Z_?`|JH^2V!e#fnIn!~Ae<6z!858X@XF;0z-J8jb(nRjqfRtQuJU2h{{zk{ z?&w@iPQMkjq5pIE9!Y$>XUC8)*0VkRn&+||)M775(hhKOZBvbWo8&NOAMeFmWkZNy zGnuJ80r-gAb`Bw*qu(EfzQ2%FE|9T_B%zynzborqSoy5!NA>m2kSnr1`#pCtp7b8O z(39Ek$uaN0cgHv^;IwAHN8a+^yX}Vp&Zg}5x)&n5{}A~vdGF2-+TyZi$Wp!aJUz8e2pt(Huz=uuQI#Pg({B9 ze^cBRV!ecmclu>`t}>g@kHRx$51_&+5EUAzPT{NIw-JR0*e*G_}X zFiUYG+3{+`*p(Q2R<-u7_{qSJs?DhE1Ly6g!pWZ(2k$ll%#we(`c7XOE%J z9_-pY0#%dAYr=l0`qoy~&gK6*IopW*MqH=H!`61_uP+Dh$@!5j`L$+=?nsBwUJ|VV z04eEg@2XAwVlAxUD7$6f%jC%2XpQQTAL79W9$qhbq?^4MrrrmXmH(xIJrqVK+HMuW zGm3f|(R)QN`)SWlGCpDM0X~yh0QG_2qOX2`T(8#9gNly6P8{ zRh`%PR{0QnQ~$MQkMQg$>*nLohppdw%4zKy*^B<#ZDQ>VwCO_Lwd9&@sY>}1z4Hvd z-P4Z=wu$2~$!X4yDXX!;Q?{iZ>xYZZ)qIvRU&jV@Y~?hkh<249PPR_r5cOXY9?4F* z)0nktPkH?fIr@K;`LDAvZeG&lbm!^pGO_8-Q+@xjbrM^3Z|1*CyZDc+=I()P{0J~s zbeESFMbCzgo2o!aJcF~K^c`)fcHUzA`tRE-KLWn^Jlo$hjYe@LBNOihbCFxM?{nHb zer;9ZBdq$jBhW+kz3@YOZ3%ta(5^+Ci^I;uTFb^Yvh9mJk3+{aXYqHH{b!yfk&k_O zs(%l8x~5=c%mvP(%-poboHxT~7evpA&-x|sJ+X9Wt6R>#z!5#*H@aKqS%>%R!mRoc zW43#AZKuoIOBq9qG5B|_yKTiTbUs6!T-GaxTy!-#adQR+amEP(3`8@aW zFME8CGd}4`_dVACUSsRPN3F3Aa{KQ6!AX5{hr%>>4m;fOC2Pn7#X9|e?7e$jRmZtE zKKlY95XDQB5F-o3s3a;$Fk%zS-hj8D5rrh=(!vI|Lb%Gt1XEkL#OdbIq54&OlxD>+T0}3HsB?CYFcSy8*J45`+jGw*?a8;Z5#ea+Q&`D=&v;5_?wwnOskzr88dXyfIt{olQF(dR5* zt&tFTJ0f1ie)zTinO%u~ybA~Kw3*v`>q%2agLnhAl1Ec*Y>1Ko;Q=6wivgt<-RJ!j7-cov%pgl*Ho{S zWhBKtmhjk0*T$#$E<$_6`fp-yAPTWs`k1p|fXcutX(JAe%g7$%%D{Y@{wQ#^Kww(r zp_B}!yHOr#6^#RFkD|;(JkzB69Qxi+7GtL1Q}LJ$eifgujuaW>_4K#!J8K5NZ()om z-5}(C0pKiA^k)}qtgFiq;s5ctf=&L-wW?=g;!9-jvSsC z?^@P5+E`!mKFV?*XSsJ;?k8IAHOqZk=w8*Upo_M$aLz?(TY3F}ejS$Hey41cq&=u# zhov7frN7=sdbz3mx<1NZX-Z$)NBZMB4*vC#B+PNEOfprtzdeiRVvY1crt~qUYsIq} zCbcJH-gfLu1)aK{V9KL#$)@x~Q+l51+FY)>Hv1>^8II$5L$0wfcJM4;$QQ{*+?Tp~ zqoq7+{@44W}TCe)5`CJXrc0r%GXud{`I3zqUt-;YEB05qwO) zEpB=d<5*bNVZGQ^gfk*tBUUFQim(4g6SkX0-0B1&CX7{UAY0Fm78k{V9{WZ%jK89h zcxMXy(-VWTCovD{k_zp^vI@m;_XD<6a~X1cfyUPTqs3;tDqG2(knOh>3(33k4;&-? zZR4UG>$y*ynIl?P3ER1OSmPvP?4k`f6?3l-wk#QAUG|Z2u7~x)X0{<-hI0*~@($!F zel2Nz5@uhNVq1J4d7|aM!?4LX$6YeY-{#5Uvq@OXxM0um{-mr6-*|J>vxaX9 zTa^zw#C+QLd?(+FPW!`WtS=!?=SMcf&vB;e@g+y zD%UQY#JaXQTy1WVkbAv|jOn^|=p@dW3lJA5I*PMAm}~J|^D+(ZTEsg8me~+9DIJQu z@S*8{(SDw&6m37md8iYWq5Hi7J&tql2vI)*eqyoxn%ryRwkG(&yTH8Se@$C2;$3ae zpgnkBQzi5IM_@l0{^yzm%wc#J3(Kb5SU%6+eXz>KxFGIbZ9j)xKUgJjwnL1(7Bo*F zp1x+N9xrWYTnBlhP&R(II92)5>g)#JH9^0Tea5{1hId=-!fz(paqYl&>mc-@BeL>` zX!|XW$Xxv3Zd;LKL}ev(dHV=g+imzQsuhrl3wwet#D`7{y=u}sc6;hWmjdZ2t0G3w zU*g(jg!XR2+SgL>T;IrjYtdGp-5FgyZ88n=6eChu7S7?1-WsFx{vh>lq+Z92L1Gx& zFc*5n^4yT24f@ME_?+WM@SQF?B2&-cTEjR^LOUs!zx_3kz7>AJj6t^iYr)fL`OX57 zN`Be*A0h6^ww2b5$v+u$)g+$3I~lWJ68q^#D9ep^N{_}fOT4F^Df#X}nqy_e2-vj6 zF0DOb&1>VISpG(o`Loa9&uQY1&qgsH z;tr{6ag8&Lviy_KHNGR{By@~*ej915cSNjz@dcb~XCJXGJAk*tR@h)apfkghqwLaV zjDyYK9{*m%A2ique;|-feb+3$fo^}y&-d9z&2?9r(L<%e8R&3!r%)zkl(<@SWQnc&{7IL#;1vFKYeBF(Ox_yqQqkp4iH^ ztMQ|rjYE5eS$S~aJ%!xgz5(Zb5i3f)2wAf|Zvc1sYd_d~1~IV@V1H<@XlvO{-7X3J z+#zh(Cs@xu0GXi=E(WIC+5+Df7dxL3^0(L>@V8ezCzf^MnUpBBcU8Jr7Bw7D6U){C zSBmr9vk`~rFk%+%&@C0W;QMIxG5@w4^Q*9iSUpjH)}`yPXuAe-yNG%m@LO@tIUQ@- z#jDyeci~KZ7veR=?P5_^K(r;Mh-DLDTX^o@1{#i~QTWDSY?L{jG4J3E*+$U9*KIn5 z^0HAL^U8eS8NTv9Ey@;C7Cj>7{baGM8grVWEq02S_h*Y`%p;J;wtsa3%TxI$fp%3Z z>;!l!ZA=)xYNTyhCu~n=tgDUV=zKQL0yxF+6ObFvV7i*IFNEhbMk8$`zJXtewiAct z-qNrWAEPapoBhyHjxqX|oxo8S-Wk3*VU@jf>;dqSVfQa?eWN+ye0K5J1J{dXe+0dK zf>>0HHJfNpZkj4e$BykNxpY4BtBE@?S9Jcu)z zcXmStxZVZ(gE&g=*^jV}#ye&*g}t&8&l_}Mt<18S#`5pL8t&A`uC~)}I^~&5yjKy^ zoPTj*$Ag#fo}7JMm3$_#cI=t$gZG}ryIe)os)X0p7_4& z;u7dw=QDCI{9-5M3z?>OPItp5Uw3mS`r>7#gy3o)U}=(x`D2J}>Dy z%D#&NPwc-~e0xv__5qtX9_)i$Gm1DCz9|Z>LRt~@xpx@`}TZMuz8)Bwns#zPQ-Keu`!sNcH5S{g!!P; z5z*vk+^*%zO&{zWy!S@5Fr-`%7QIAfx5<#X6L-UkjXU4h;@^H z59;fJY}kLDuyd3n(uQfUk;CW#_#r8_Wdio4D8shQBjcS0FP%CsgAHE% zcrU`4eAh+Ty~VKK7daNX$Q$Zl`OvL4*yI_BE$G{4&?ZyeO#2S%<~dRu)~HDsV@Zhp zXBK0e;l0#BJ2cXjLE8YkUN9c@INlFTBmdu^ULj8+#-$DNZ?{Lm_Zo#zR7C3E9MP#a zg0}O|foV#22$`>)c<|W+x$x`~eLl+W4@Up{VGpPS4)pCR*q^hI!zr}M9)a_!?8EQj zH~;MR82Z;PTu0eP#n5-XWkq8C`}U~H_Gd8=6>0+95m2*U5z_G0Q3FsBZs>6Rh z#-=k>+RQlDWpn#FZA+f&!Z*t$7Kuy6ZzlCLyeaZ*!;>xzT_jRsZyqlqVup^1z4Lrb z?bxE*#j?j?5QAJ-{$^ji3TCo|n`CvJ1MIUJ6dlbN=*PRuFyi7~m<%ObRIGRmV*bs6Vs zh&zFC$~>2Dv$bWbJkXPJVULNjjmf1R;r*MHH&lp%(@xkmTSVm_su{D7$fdlV!*ged z?c&)RdrS|?U>_6z`eU$(gTzgh4f?#(=@8GmT(+Jr&~yf1k@!9QohSxqa_w)}$TLSJsNQ~M09(?;Q z*x63J*IHm50iR%5r%zm5^E~YQ(g&aKyzT5?pkr+(U|VA$)6+k|97nsma#wT_Xg^5I z-P`pW(ROw_-kAY^?5Y>DFUQ2yjQs?0&`-eA+4G{U>m&TeCj82-bE55oopF0Vs>Rs@ ztYtpIxmU(rx_lVZsGDmVwT?Np3+ot;b;$G2pyQgC@*$lY-z@l3iuPU5UPQlXXw%2& zk0eJzZkKFpLd<{Sxee~QG~^%-{0!{JZ(MD7|8-0k_?_Vx9n*P^a7-@VZ(E7;ak)v3 zYjY9PiqYEr3D}p2*@|btGaaKVwKumUB#M!h;>adI=sM;%yz4giW9-x63`8z$2iJ1T z7D$~NwQmgUHsigl`z1a*f;oq4z(27qm~Y4<>F0l06uguJJ>|TI`^Rw~z})&nl+S%M z>=C6dLRpm4&LDmi@FP=mfoJ*p9{q@Y|Bie5Q8*_c-$zh|GW=K{wcjVww<6ZZJ%pXZ zxi%OnpHX6cT_3sHQaZ3Uxdrv1j|J9J3F4YNxXyAd#d8lXF-^nVPP@~2o;+S#Dd?Y| zFE~$e|8nOlvFs|$e>vFa!V7;8`^S2CC481Ff%kw%?0d9vMQf5@EW&d?P1*2qJ0W}Q zN5Kc!nE-u%aCNOH7z&*csOK8=Vdp2J?N9FFvFy)I=xP`GRyf4s6X@GaF{ZNXC%}Dw zXTpj96yV49;7hlIchK|qF*<+ZY??^Fa-q1`HI?*Y+4|`iw;7;;?tTou{ZlaS8f(i= zV{I9WKH@W;)HyHY$gz)iMyK~651(noe6fjppWgtyFAw`MKjGR5ZTL^<6#0YBbW!&( z_O&?IBdehY=Lc7hO^mA=`~HkoW3RY9@*SPdX`-NeTJ+W8L8>B7cWjTtUr zYdfJ+9*%$bTv|u*CBD0wepKt*fpnW;@Bdh-+k0pGc=!@FY43N!-qT*6z_-+}@mYqA z&oXTMER&62WwP-&6Vb1Y@BA(KbM8y}l5XFV4Ev6A`qS2-4U^Fx5o7p5F|HXeqm5?% z=@Ux+e-lVA0R2VGm!n}CKENKg zC@6!UAfiMJ*BR#^D;L%eYv7v*(9FX(b3ESd2tBE^ISyZV<=cx_C5b=(F;f&Au!&`x zA~)UlP4HFJYFpNV-xmKpt~p=m{j@A^z+%S%d|f?BJT$~^Y(u7 zugDJ{`Q#_GUyfATst%mlPc-@8ofw;}M}zOiaYnxsi*StTtM`3d!cqIaMToiSF?m07 z-=lz>=b881EweGN&Z+Lgd<2_P8I83y`-3 z2b%$Zpyhgz&iD^vpKT`~YuSF}qnyag3CPaIcHPp zcvu(w3#>IEo6-B=pKtnmtVmaK#_vQdrY>%E*m7zA?nT^(GGMvifzB{C@+@qXlpAD1 z*$Ht?ZYRpb`e`)hob^*hf%YZR^1W&!_g!RMFRmEBufA&Rw=phgGl#%OJCam2_THf) zeK(#%=iKlc=m_Tr`Yr*?3!Eoba14TP^7=8xi49}%B*rAiBW*axWGrlPVGrgVeJl>+ zSWLt`(gV5k9j!^&S4u)mL*TcNlMqAglIufP8}$Keq0}zS*C#m-;oWB%`hPX?m={(- z4|4IWb0f;2PAx^d>8Gf<{8#w>^Dg)s)UkM^aSoSu6*#*XnR@|anBz(H$vvRq+RM~0 zi%k8pi2ZUBZTcO~L9@Nb2qAa&NelY(@8GqT@<87d;64Y}Tdx-Ba&CnlDA{ptRq{iu zVDt>s%lR?`*GH0S$5x#V6g+@yw*&o#cDYej2l!+;8g<(!OO?}wexS~cLLTW~YuNWQ z+QoTt3;3ZQlZbjahtprq5~FiZpgruPVaS(*7_vaQ>|^#X`&J`_+y&CR05dUezJqz( zRgAuxJ7fL#(f%&<1N$0&KxOXF0tHG>DVMX*Z}`ZI=%-LeS?^iYIT`kZ^-@O*u_nuf zUiQ*~N8t~nuOpQXJjye9SR)!bfH8x*KFyCv3s`kS*X? z#JY6!ySB!$^s}ZqO2+;ga{+CEAF(OoXeWvhpQ0Sh?dNznlC)~3!9McUT7NX~8)|jwz)FjOWU^6MZ)s@@9NO91El)etuB{9qk_b z*bO^!2D;LT*c+ZX8J30EENzv~f%m~WMw~k#{Z_;<5I_7NUtF9GInZ{KUc`xd*L!$( zz{^F56^dLfr9Gke<;2!sp+4&HbAW7LBlve=9CyK{(_VBQ-Iq?|i11k%5b{2fX79S~EWeApe3{q3S|0dKZ@w*klT zA;${Gh@msnfTu38EID=z{NsPp%bJXI#vyI^GA7A*0nas@A}xMy_tgjel_+R4+N(1cM(`d67rKDoKZ<&8H(4!{}-5+4I0KK z(9R=5BsG1I7%hE~^O?4vB_meR1%D`^!_(SnyMAm-oS2p+VsB<_;Vg8Ib$%W8^DM@| z)2QPN=8`NSapvEykq>b_eT+=O07t#OAj3JPVsj zKa~26XUk2Fy6;HsB16%nEt(Z-iAFD83RFD>yHD|IBzoFS=5KU zwKo6$LAP#=71O9oEtr$Z$1~WYre3f=oQ>mkB<&vho%wKXvS6pf zQ7O3Agv}uz+-GV>9F0EDE6C3^jEXlg*2Fjy`;oCN#-A8(@*3m1w$Xi|PD1_q_nyMc+;I)V9@ zeu@kGQZwSjaMpJN#tGvN)F(e}i^*S8`q!~5Fs%qYpx;xUL_5x+KSwbRmINDuJU+xN zea;avn~^4CnTT6*-Bye>595~`fQNij%{Gwf$__Gq-ck@qp974@!4bBK98`ipH)7t^)${_ z(O<z_Cbz=(Z^Amd0O{X-S=MJ?Z?1DS_P^vA3aqnuzRCufT*jWA zKx~d@&p5wmQ3AicCeFQrzPSovJ+$8wr)TI){gm}+=(9WM=4Len|rD3e# z3_R9DBU1IVUHUr~!`ft8-Uy5?gz*&K&U65s_AA1~VduF>HTVa|x&fkLP;?2Cgf^uF$UI+Yb z1Q0iz#k^H%i*7mt=!6`oSA+2#f_e%}KN~BC zGY{U|mUezq(B{lN z4OyK;d;hgzZ2r@Oan=#>`GeZa32QMPUrqT^Up> z-v~cepkMLKVJ`blKrbExKh7v8=Fvf6?+rF4P%neG~9-C>d8sy7G+J|IsQ@C#d@T@ zVzhPd*+9WdXeZk<3wXBkD}WlxF1Cv{_9@pB=J63cKZgB$tdUa_Q^c|=j(L}*Br+;e0xO8{ig5NgMpC?dfvC>gyC!X`$l>BDGYCJS=!+1_wm;I*J{q;Amfqsq1 zvrV$*8Hci&Pvt4j!220dMwZ{!w0dsRdidk8pV@CF$F5mlqzdQJ)E@zzq5z_ll4I#PswY0zRSd8(n?2u7sfAjlsxmk*hueWIk9?~zr!_cG1t>hV?IC(5YK1h zd2rzL=Oe_vk(f`-`mv_5v^8tKZTp(Wajm7$y?pr9JME6j`Ov=+kb4Wx%W+Mz0PSyi zEq(na>`jiqeD>2(Sf3%jqV~ttxsw*-tQ_W+El*=#iTfnGa9&QhV5gwBoL6(V!!Ci2 zy2uz2=1_T7JsGz|O^jG8XpAa`xBldjHuw z4-8j0p+UY6#OK?^|C6}?0-as7%Iia{(|&e3Wk;DN!*;Vj97r#MpFx|KT$Ye;vmKg# z;>yS9b6xiE1#qq_IaRF8ieWzXCn3j}Y6ItC&cPgO8lH!BQFk%6lKCtp-Z4PgabC?l zn0=XJ3}ffAogMSDr(=v8R>FGi-lF+^7e06V4;1GM^aa zp7c}u=$K6I#qIVd`~l}T21Czo{bl-kzTY#`HtHN~O2Nx`j+ygPRvF)GJ9wX*lVInP z(T4v5-BO&3iY*mQe>gOK{kmUH!~1KZ&%KOs6Jv`%9KTdFReJH;iTGWg%D;Z&yOm8l zw{cGkzXRG-WE*tu+Zbo3F;C)rNIHH~EcF!1Kk10&IiEL5fd3}OepdXm+uiWjR%0$r zf-Wb*=b~Sy*<#kS9Gg?Lv8+R|Io#Ky?~3*ENa*#lVqCw3`EeJ@PajSFzGfevu~ItD zGa%~uDm8}G^GEvGR9kA2Q`D=m)`hvp_YM1qzd?t80^gC(Ax%d=f1EY5=|U=gHvrFY z!EO)teZw}Q6Jy+O$382b>*qRK;fuiwpI72Iz}W}+9NS-UUPXukJtOFnPPci(HkRp6faas7sNXZv3+qzeAF;6;Cyt%vWl(Dm;{dHz+MCu1xY@3Twg zxw7f-4@W@%99VyTWFHa3xL*V83+>OZ&=<^KigOSGHkUY@J1IciK)#DD0=mcj+CPHs z<8OT9O{^`jh8r!XTh`{e`eh>ENY3SQaIFmO!Dsp`b_70*jmd}7T3Tp%UI@!>f zQthP#yw^ANBy=VRdbBp>P{RB0#i=*#;_Ab@mcV{NpWlbCEZ}1aZRa-Fi>BS>TI*W) zh3t!w&==aX=g=R@7MSfB$5gl;>HXnGeY;RE>)V6+Sk?vj-m1JG$~E=X`~C%O>aUDs z$PjB2xz0oEtg;K^FdJ*6XCb2`e4iE$tRL{(htTr_sOJP^mh*a1>o|OO!rnp0I8P22 z>H0GaO1G{3M?0XN!Q@^y>!nV!PJy$zj7L5Mc~3)~?RekQ)A+K^_wgL#(|G>bf%@F| zBK{%koDTV)1TTy=q0Rd?BQNV1h5TF>`XP%WmvuW+j=n^Hz41-#F*xwd;^;Whb|^Y( z{j;xKzuxm;Y3mw%`Hm3yzlZU=MRE;@^Ngt;F=Bm=pLPK6fWmxivyC|HLw_crKND>u zq+dPJcJ<*T^yv%msrkF1FANt=lhD6>7X5(Ge^-gVRsuJt$!IgyH;Z1zSdPScF#P#jT@Oxw94Jt-qg-CX_(7j6 z-hlQeq1`sb0sG3w=T`HWaTT@lnVJ&NKnGH7D_uX)5SQV6hIdac!`xTEvY40Uu|3SsJZ4(r6%Er>ntIN# z6uuE`5&h~nXp6p?@=C(bQRYjM7yJesbm(dDp9MT-%wf#87H5|I7M_%?K0iWS9*Vtl z!)D94riOA6!`;Gta*n0*w~3#*UN3%gHulPGh%3G?u-1w5C*XHD+c3wacb-HXg7kyt zOwuC6G_19kJ?(T%I)%NhwXj#a(a+xm-Opc-TXcSe>+;Wqh{1i^Zp5J0qAhsOcpGgN zZGw9LL+3}LDGz0KW#ViI_+c5sFNW=c&+v2DbPt{(w;zgIq|HrPzXthR@a~GW<=5sj zhVviD$9noJ8-1HQ4t;_5Kcprh{@;amya^q{7|yWc*|9Z8 zBU-L6`Fuen#<2UB+WN;HT+&*C@6R!=p1EBNe-^%Ysg@k`v@0tHHaRBCl^t`!DOQ}! z5sf)W%M^pom1CSGV~jn6ah!#5oN26mvF^yt!Z^;d+1E4f%CWi%$%q7I|}Q0^ojm_i2gn! zz3=q+2<^6DzoYH+d+GB^zsVKyd%x368%}?A#J<-+NBNvJ=1H^7HDB}jLM4CQuW(@g z#B(B;KR?FU=6eYLj{e~DB{uk(t1y>ekM;8V?TF!~V=lsa@ifveK-a#9z9zl}?ObiQ zCw?4?m0bc~4Ay?g5u=Sv&TUM}UvPIP1w+l#C@A?>Y%TNBeVm*86>w zM_IG(9@NEnPbSJ~!JZ@5oWBiVY$b{2Z8nt2_2KGB*NkSwM#$gOSTkS1+?vVu!VWwJ zJ`do!9c}c0U-!)-eFAv+4e~W#D}G8|$s2j~*zx;9u**yHb<^`KRt= z8&O`SA8UK)FP~ZCdCb-Lx-kE<>@u|fB>MJ`;Fa>^z6#~J3(wq8&K|To6K9IWc&s;Z zp4bgOQi+dt&G1I!HwPh)q!`4|%CJsG-OnIilk5_Uu&2;ecDOX-QTlXBZ zi$vZiabWl}I7{n}!ueF3nOu$MTu*J;nSkd|Q<>MAZ!dT+!ub>j*2|^X`(*!=#H~qS zAB`7}ZG$g;v7$RLZ3)g*xrSnmhrNW?5)mWS^t~(cJRLl;z3+aa%NA?8=Q+Q*2D#eu zvET3_e8_g#x5qGE+?cn}?`^e^31v>XQC?Z%n!{O$!LEVdl@A;E2>PkOftV)F1Qub9 zG9P=ca6SrLG2p==DqkNd3i45YBAyZY0nV}Cg8Eqxb+ZF?nSHa+vk1C=Qm$U;TQu?{ z{WUO+`m+@CI@=E3F8=b5f%MtnZ=>Cg_|X`g3mlP}1$*p9-SK!%gZh)`uvI>X=d%z7L|pX+F zZOb@;eY-LHege7P3fYao-j0&rXN^IQIqI7ncOPQyk9K9CO_?0)s8fweZJa0=i8S^f z>B~`<18ra%@gwE?h~I*Iv>DXbM#$|Wj8Bf$6L|KDc7)>+{>`*MW8Wkn=P{Jb{ta!w zJB?E{*kBLZrJ*d|Cu5x;;G-vhtpss5`-5(b2bHG>drgpWjO=F-U%4K3i85YgkFR_k z@lN*hvF<=n7hT4CuU*)OlX3;TZFtnJ8g%DtsO#7;aqHI6F3ip7N4#5;?Gk7opR0q1 zT(BBxnb<3t51DMjy21rst~oSgz4l5`EA`n1eZ_lCa}igsd=T_3CkZ_KntbBifa3H2 zVBe2+p6PRt@3k!%+4~jgcD@Y^!V|R%7lKuvxTS zl&b^fwLrJyG4FEDUWIj1HFzn(I*D!J8G$dOKI#O=1J_!9oX7mwG1`b-9!=mpM_zBi zIOkaWEd7~|_v-p^rs^^DDaQ$aFWiqfx71;tErJer_5=!Ohtm-U8Uz{-Xpa6NFzqrR z#{z6-b0u9asrTYIA!23hS-29=uAA>yuvB?FVz6RR6kvD*H1#CZg zm~YZ4H~KT5`U1PmxXS8d*ndL5QeTp^w-Q80Nh|!y2itLW;}+1ph4ML;$OFgTO58tu z9&PVKcUrJ7NZA*Egy%>8gl7c7$7t}G)(5TYFFLLGBY6BUkp3^A{dYXG$NuCQp+w3I z^-*S%kwzV4T>9US<9FI|?S~D99NRX4cJ%SUv`>&myuewbmeYZ0jQyv=x3EL5Sfk~h z!TVN}?Hqgnel6xpqnu zwHfi!XD@j+?po>3Wm_3{<`@}|>t~I4M5c(4@ra2y*TDX=9k)-C&tE~G9=;xXZCTUs z4jR0#AF;KzRIL3*VUEQ*CaYa6dIEXghacgAPT=fZ)5m!4vy3y@6_Xk@0c&s6;luj`{{*?{?GMFY=)2P%bYboCSNQ3CH*Fo} zO|FITtUwdS_`a*flBX(xD}`@LKfNnv&Lo`e%;i~TZ6uyI!8~6L{&rm{epAa6G34WF ztiyg}U-}gHH#%`HneSj#YZ@EMQ~Mq~v*F6aIu7()Ct7J8@L$h>Kl)T9*bkZQv@M#2 z_0Rj|SX-s7NhlJ|$}aRn3jEko_%x@muSPvPiT>w$g?**gEo?i#)TwN&iD$v?aX%9G z!<^W|*oEiE4_^z(@BSQXiCuEo{AJ=8IZt$1O_B9Ab|l13`k%=0s|5lkidWh z1|%>bfdL5&NMJw$0}>dJz<>k>BrqU>0SOF9U_b%`5*U!cfCL64Fd%^e2@FVJKmr32 z7?8k#1O_B9Ab|l13`k%=0s|5lkidWh1|%>bfdL5&NMJw$0}>dJz<>k>BrqU>0SOF9 zU_b%`5*U!cfCL64Fd%^e2@FVJKmr327?8k#1O_B9Ab|l13`k%=0s|5lkidWh1|%>b zfdL5&NMJw$0}>dJz<>k>B=Emh0ycqP*D!rt3+6Y})(A0qvW{H1yg{p7qE&mVYwK4` z(X@FrzU51nRFqbDYZ^3Pou|~RRn%xT%jFQ&m-4>S^$zFs)=ogV#4D8YSL8C;LlUetCUG zO=U&RQq9-kDXk>qzKTael*}H6xKUf~BYCi>udpnB^zs@!^$kp~uBfT4*RspKHQp7I zOKa;^+@=UgH+V^XZMBkt=4sH<8po&IbZb>(F9xQlY zNxll|JvF{6k7P{|uir!K61$(Z6sR&I2w81EY#YUg5awWqEQwe>2Xmjox?5M)U! z_0*S5Ev>Kh`84F8B-t9q|tpO9sRE`y#DFYinw18?+Ly=7Z#Y zOVB$v2D?))w**Q@E^C)8focW?#pcL*`$^Xxu4pKy4pdYxuhtb5oT-l0g)zQrx$Lhc z57$>f_a_$Jr~zgCE1IM&@l;fy11HwjRISh+uCL|zs9HWrjtyqiWNt&Rv+KPWK>uKO z>wHOll;s7x=bs|gu<@@8$hX4R;H{oqRZ(5hpeuqgmf6TY=$BM9sx~UZKIy7Gjp4;n zRI*)*y;WY1G!Xxg-l_gK*{6S~JhL8$nKSKEMyK9gqQnDhSpJvBCts;F;sBu>2^;OiP8zi45t^TwUg6;FvNYmKou=unBjJ5{*@veVP9|p_2 z2V?N_$qAOQtio3rV#v@dPgyWONR)-{HD74bfSXGQ({s$neawqex1>o4nviI*pu#7G zFnKa32rmSS&M+ovPyN#1yv)gM@>0xm^)Pa^HJ+-;@BXa{<<)Qv)HMHD z`4qiYz1$~l>r!c&>a~V)PmOldlr&Y4tXOA--4Ir;MEApjnQxu$^HnL0$7G69R;TI< zq5G+CY3bx@ug~XM>h;Ntxc4ou#)w;?mlL|5yaX0om1{xwQ#guvSTDxvXIb;3=O>Q$ zO`0N>Vn`cZD03R}2%-C_syE%|lUupRR}K%UMsIzvpMvOqs#9_Z(eRs(8rTNBctPekwHDXQJy>VV|l9KecS~!?pEQWqL;}@T}1277(vVysojT z{2+Nhe9#s{Ue)lV8$M;+eFj-Sg@Z+dkI%~g`5KS%!V2m=9(yPE!&+Z_eUb5rN!v6! zP3_dt{nSeSS4^(M=v0}5e3;OEWnSW`@_EtzhWh0M*6~+TTU%vb-iVso$ziHutdN4L zYSbHs?yKHD={`qq)qAQZ`>JXU>lKubLibe_np|}h=~F*@ll8-$MX&qF7tURO`e|;E&QX}W z%*p+5(m#DT2mQ%sxz9Tp?uylJD0Dxy3X$J{n8Z@AX4H?$Xbxd7YwNU`AqQ8h_ckoA zuW^@^VfgvNQkK9rdFR!Xc^iRN=0?oP)*4pSc?S<}sHpa8)xN=qvs9OO>jw|k^ym*D zKQa6I+7a=lI;gCROnmwb>fJ)LeGB3L!PUNmz3lds}x zOG~wJ<9)Y5E0!(y`cyp2m=yJrrLPCc)>f6#Khlw*z>8dG{zI#2(|T1dnp8!-!x(z+ zsX*H#nNikHcT_R``LgNpAalO(K%`O?RT%<3QgwK5)HF#hD#PVj?RoGsguM;C(np;ex@pg`a|-?d@3Yo4lh|7 z7RsjAcUKLTM>4Ydxoed5>G{4;jkjsu+9l9~JggCPX{*SD2QiAOhKf4uLO@oGeamzs zK#{FShiTADY7xyf1qvu-dIaQMg)_urhF4%*8TQcQ$t$F01=oW5V(9jn95^d<4@$#b zXu+x%)mJ%EeS$ui#TjHF;RI%HCCHzyN7%IqX*ip`*uCI3%btl@v5{=(34+-TdG)o3 zabOlLkaM7~Vks862r3!l5mLr_!z;;1QU4_kcZjUvGDuQiBFV&(+Bz72#56E!eWpRX z1o0w-y;TIw2#CwjxHT#+DUrgsNN~PV`%rS}{v}4vx!vPgT2X2^8iqvrq$_0%)ua0| zx5*HI9vZ-wm^2U#72LCuvr68)S)9qH!aTe4=PwSfAH(WJzcf^oPA>B_c>bHkTFW)I z1u(#5fMRJ?Z3z~#Xp^Nq%WJ%ib>32L3h1>5V}y)SfqqG8RV{RTVo<1t2&FlNG)uX` z2gu%|aHWb7udf7&lAni-{*>E{S{*b*PpYV{!#=<*sepkpTSF?^f`hzLCaXR zT=zbx5_7rLM%iek#%2mOd}O1hM9YB=0n|5`9NcJW^ykA_qkCIrET_ZwEyCitrR831 zVM>Fy1X_drSNMvIiXyYY2U@?x=k->GZ3meK2l$-&kf(lXLv_%fFIbQ#B?Oo=55Isr zwZL0lHyiCJ41Q#KbtN}j>Nw)U3ViqmnH(ICWtQ={yaodv3|X>?sU;OPQ?YHUO+^ou zP90x16^jfw%hkATfa0kEpI7UvXe^qyun49AS!8Stx}kTBw@jGR8@!DTy$E#nMD_9- zRG>-~SVt5w?32&!U~heWEsf0zA6(QW5MF+EQJ#Cwto(WR%~Fjuijn!sSNIlqt4-M| zYL?W7ik76Z#psWM#dpmjVzzsJJ}<@_fkIv1OO|6<#AFej$E_tyF$~3fG$g8!gue5u;IsFZAijzx8f5g|MOl5r|BBM zV2h8AH~%-&=q2l^I=##!qKtgZAHtijNoVFuUF&7(rSMwkF;ot5wqWU`3)Q9CLag~( z&!c0_*Tk@1;>`bTCOP!Sv$-7eHA_-F^IElweCm=T){GCoHs}33*P-&m%lSNbz1_X} z3E|DMRT9$aLo{E!-u`&|qGf(jdUL(zyrFAzd(GEhtc|CN-BL&ca6k@Jg#Rf$D38?T zI{^PVa!~dmerC3A2gR@2m|(qk2mNuEcE^1oBJuhKYXh}KhaYD zL<6r`@cq$$QG8lI?dlKTAOHQ~`{T!NskcA9`l5Ixrb9;g@dl#5a{jyYdv4eDr%@GP zz<(A#uAlPz!)yJ}xBn00`{SoS`~aW2qI}VQN$aN{`@?@xJ)GN5`TgOG`=Rd--`EfR zhJNt<@o$w|f8)A8yc({1EcT&4e1GNihganYi+yt#32GkHf`rC}h5ob3?~i}0z3s0Y zD?irxy63j=`SE`neNcQB{rR8f^NZHoA3y!!Rr&v@{8c&KMn78p3M>BqFMfojzZ9RJ zcU;?y3~C%j8TSewXZX*`Pg8hd;PWi>XAOS*7W@$dUu?mvdNm8)+Fz>PBZmC_7W(}L zew_txwV$e-4F>%N3w@n|Z?@pA_EVKpXwWOaMd7XUh{9X@Md4jWIpvmmm3*x7&oJnf zzpctq^h!S!UNh+HEagY_gYP!%r&T_xAFX_L8uTtp`5gv+t_6R@z-#^B<1Bcq9ainy zZ&@T2@*YxxQvZ{gGGhpT$)jPhL;`a%P5m5qFrPn@ORLzZ=`s&~I- z-Ky{{2Hq;?Is;#9DZj9v^5+_OmxbPC;H`2_>j$qHcx!u=+~O_ecU$5Ts$CrhzRp5_ z$iQ3M+uTn%egj`_DW}fByDa#Lh8|k^S9r~!j{uAl@j??5B__(a&k!y#SL6w$Pmw`9 zu|hCkyvUF=xD#)B1Gp3mP>y0JH1?Tr^;nqKT7f|vm?$Q zg?bhD+z-%GBP8D3F4B=>Rg#`R(x6ij~weKavJ%+5y=UdOO)N{X==PMAcHeywm$ZuSxGeo`q92Q}X1TAId)*FVV8! z%y{-k=w9Dn;k~M#66Htj)sSz>Rq?CF1>3DccRp#?f`OplQFid&8swtlX`r3jN#2#ftpqh2LdRYGrh>nW65NUn<7 zEN^q^I-a`7aTB8Ecx5>utUek;CDV5B)0+=n>X8QDN^^C+(REwTssE=w@)M&2;VCr^ z$Q$?SoMv9Y$lWA#7ys5 z>Zvfch9w>CBtOA&s(1{>co+$Ijw60lI-U<)qGR;`9H0D{(yM(-bsYcq%D>zfDjew? zll-XsI5=90lNDt;R<|c%>E#v1j=4^u@+pWNdprpaDTIoUgeqM@($#yHpaX(cNjhsk z>2x@3pjQ|CZ*6xOq*hfKOb)h3)raRC8+Z~3Cs{*8xN;bGLAu)Nuym_ll`UIdYv#q8 z?rp5_eOmew4-ToBYOwatl9CEj?}hqB@mF5!Ygi7+c}i)mLLX~66=n5d4YBfBfyZUc zl28YAR6P|nIQW5M@ILjRm{C=)dTJW#LtOOMmkPdbz(l}#fS+JJwfepKZ|&C#o&hlp zm|pGhl~tG-u<}<`8+yiuby)LP^Nf(HysvZ~mocSV$14UK&wK_ctm8?ZNh}ZXpxUiq z4Gz^e;Nc`3YYUda3u`?!-iET;heLv})`N6DFcVZQYkwlWFSY30_Te5tK zNhf-z^L$#UDOP#c;7Hy>q2%86*W!SeDZO|3-bQa}h@f}*Ri)YYElLwo1Pt29Ez z_rYJ7dBwb{e}es4%L7wTI&&jH(z_mCov9hU>@;Q*vs(9+KWyOjQT_^3H}%%1+J>-! z)mu&tVFRm|zTs3@b)7uwBn8k*UuzqDwWglvqkK%4hVc57PeZ71q+7>zO=Crv<*?2h zwRM=aIU$FtkXP1r)IQ{`$IDIBW4pcT;ptp+5mr9xD(bxEbZb9IZ7>lGF|L)q$n-v3 z2WxvI9iOx@mBmYIeex+E6OEN$9M3eXMX&rmOM|TWef8lJkF|cxvSIernxE%SP3-mZ zKbT$?IwmUDgQQpT!q5tvA+37V(AZF7_HeA@^Woa%Rb?f3^uTN+P`;JV#&9#$OHQUo zjAe7aEdPi2EGWnMSG@cNZ^H24ysB1G<-xH_cp;_r6?HshJw==EZJ6NGmh!|YUYOy* zv2FN6RX8;3O)?4tnAlgj#dQ*78xZD)`#dBa(I0(&RYj?HN(s(Z8WcK+v(Oim(+{5FX{fEPD4kVPriiby(ADt` zKzPDSzIH_s0b1LwAN`%xSkW*AE?USqtM#aAx6&6?lLI zh(q!C#5G;d?6S2qx|B%Eim;A9zOTyc)hJRcAK|qKVYO#fa3M^uaFc5b)AZ15oi%gj zOfAoypKmSKs&CPJ_*^jssEn$TGs~Ino;TlGj@2(P^TOh+{fR!P3qIV0^f4sDN7cho zU0++J;r$(OKx-y6zzidXgXf3p!^W>wzG*kzd`tSYTc>BtaA#%b%$glEaC-5<{|c}8 zRte*c3pKxI80P>KzQjl`wBXg+)NjFi4EjA5ylUqW3tpLmZVO)7skkp^%MukocNpcT zS@23Oc^3TF4f;9@UiI?^3tpM%{T943I~^8$&_m7)=X0DTJVn; z_zf1kn!om2@XAgcvEZ*Y%IUV?Rg5pr70&++27QJFUtr)1EqJwPY_#B&J!!GvM;Ya` zTksJEzSDw#(7+3KIG@T+XcqiLgWhGqtNo^83tsunehdCSqns8Cey)LUx8T)$)M>$& z8T3(E;ruT#@DnX~uYsRy!H+iZbryVuf!|=k&ouD+EqJy5I%2^qyWDNTt9d>yJDh(t zF4HV{oeIxkTky)SsI%Zx75^6e1B!nOUfItM3qI4J@3G)-H}LT};rw53;4>`vN&{bL z!H+cXjTXGJugw;`zMCjSs|8 z&7g0w;O7|lb_-su|2r-C`wjZ2+2MRDHzUo0A8XL(S@72x_&N*TVc<7d@M^`r--1_; z&k+m0#we%Tf*)kyIa4Q8~FVORQPh^ z{*VQqXWVyM@EOK^j|Hz8_i^{>^{euu4E#h3zPnJTb6M~m2ENdOZ#VFD7W^Iqzs`c+ zVBlLU_(lWYYQYy9_#+nlTmygBf=@H>;{NdV#vAx}3tkxbGztL<1l7K)4*@47_H+_uQ@1Wmxc? z20qV%KV;y`E%^Ng-fzJ-8~A1m-f!UdTkz!u{*VQqXW%<6_zVNzW5H_%KJF{wa)>hU z6D|1eyL3921>a%d3oZC|17Bys?=kS}EcguuzQuxXH1Mq!e6fK)V!_Wf@MkUfGy^Zb z8s6S`10Qd}3j?2K!JjSA^Ut;5j~Mu33%=FBH(Ky527ZGDzs|t#vEb_re7gl-Xy7|6 zc$b0iw%{ik_^6_AIm8)w&4TaA*Xc4W_)Y_#XTcvb@Z}c#egp5f;F}G6vjy)r@cS+J zasz+Jg3mMXofdqCf$y>4H3J`494?0_13%G%?_R9axh(h&17B#tw;T963x1D*UuVH@ zFz_uFe4~MHwcv{l{1F2`$(TZvpCRXql~qQ|(n$$)8}@tJzll$$5ta%1`p z(^7ApG<{;mgc;X=Y5Z*|w~w2d{N#g z=Nr#IfBrwur}zBq{5$7wyLkD$vpcSPboX`LDcxz^)4OMOFX%4lF7961UESS${;oei z(!IL-JKdYQw{`F9ezp7c?vC#FyH9ujr904F@Ax~y42fcvScbTG^{{V?UyHwp8*MqZ zO}6K3t+wCTj@v%A1#Av`jD4j2T6=;0Zu?j5W%eq2oxRb%**?pD&X(wS&TezOVvme_ z&wjfj$C2yEciitNb(A{}IDX;ymE#@9?;RgF&N=?(xZ-d+uX0}Pyv~{Ioa~(Dyv>>8 z{Hk-MbFH)4`D5pAo$oq3ooAgr&d7)v7+g2l?D(5tn}q*20163(?TWY}Cg6Uu{JR1F zc{dfQmt>0F_IEKAImRK!4frMk&l31wNNSeKG`&m#ctuP`eqK$+HS1+9%t2Z`UjcI5 zV9T>D#{UAqNfJ&%`UKqN+3uEq1^CaqLZptDDdeOOIp!lr0lssAX9@g2Nm8>^rs-u) z0-OLmQ(5W+T#?raG6!k(d{2w(@%NNy!T+ZLQzT3g$@qH;f4k-1)A-N3?;%x_Dc6g! zxO-Y`Lyo8MeFAuv!2cv;0?InfZYa6Gx95XLfWbb ze7W}JyvZ01J?68kljHM0}I*9f$Ar_%hbU_|0T|r{c@GK5}!=|JTacY~k;mzTy>kwrJ^i?4I<8vc;i0msY>@ zgKROgsrXc3SGMc%7aFho(bYM5=TE$IDj_%LyKgUu{7tt%2j$Aoi{I|p^86b+ZolRG zd)^-Rw|O&We*Z$w<)P2s{N$F$e-rf|_m9u6eXeX`x^xe1D$}4fKlk2 zJ%D2XPXVR@j@f=WPzaa;SO+)}a4ldOU^8F_;B$aEfbD?u0p9}LwBvH%0$>YZ90Ge| zKE52-4~`4(z7p7vjxPs12)Guo1F#kFL%@!Et^`I7MZUr-fegUofDZsh-Fqd_2$*r- zl|T#N9>9ZuyT5WJ5Rbt8A;22}djMU4$BV863INNCuLS&n9c5PnQBbxF@0Gw9z(as( zfQ?J81abgxuRwXcfAC762hde}CD4EXOGX{|1uU!wf4pA~dMIqh!zdT9b;XsyS-?|Y z1K$YT`M-{QfbrkF66glh0G&{7=i^rbRe%}axe|CCuzefqM}WEqumCV)JK6{6+=2Q4 zI{+^*9WZJ%?pshVU?*T9U=LswVAL+~0T>Us32-9d9>5I17Xe*>M*!yno&qcc>;WtW zjKzR!1k?cifa!qi0OtZW13m!Q0$2yQ2XHOmi-6652LYc0>;P;B>;!xZ@GRh2z#hO$ zfKg9h3B+M=#sj7RP6W&VoC`P~un@2quo-YIp!O{Kf$;l~8;n89UbGu9W8alP8Q|_8 zpnkwTfX@LoK8N-JHvbUv0u-;Jeb|T?^9$$!3`xr`(I0@#hanfhj@PdQjswR38hjxD z_`ngA57-V^2bl3&=ojE6zz)FH-$B0+KztGKM!=}wLoR@YfR6*VpFn>CY9~=IU8ek`24&Yh9Lcqo|;2Y2n*bdkO_!eNxAJESl@}IjBxE(O#L-Z?P{2#$L?*U%~ zY(0M^K*M+la3tU)oJdjK;4F8~$-#wFwauiy`` z5wIMv@Z&3i-GI%2hnU`jegvEg7zbng0N_NxMnD(fZop!|R=@_p4#0JQX90Hr_5kh& z)Gnf*01E+ohzE?vM#i4MLmvPS0?r4Fzl3rCGcJRFz*fL^zz)Dpz#c#`9&}fbA8;bz zjer?|F2K2f1%QQs<$&dYD*+n;Hvl#R?g88l_#$8{;1R%sfTsXE0DAyW0mfdB`T#XR zX8_{^FdlF&U<%*^fEj>wfH{C`0Sf_}0m}fN18f9r2W$rH0Nf4uAz&+@n1Ff#M*?;L zP6X@$bOC0FK%fk;5pW$~E8u?K+X8`3rrQI7k(d-)BLaa30DA!I06QZCffm5Vq(Gn* z6J~RAAn-b1{J21%8?g2IKtRLBTjPX4pa5_WU^(FKiGjdMz;%-Xf#(3nqy_@*fUSVt zfblm50uygUy^~Q7;EpNa2e1e5AYgM^Ai&A_;7x%*24Kg{fj|Rb58yh$#&qxl*g6yG zQvkn=bilGql*4<#gMhcY0)YwKq&tQ01`DnS zIPwz<$PejaZQ#j72U8|A;Oc;z3n<(}6o;F5OF6i3(Y(nh$B+onVuu~$8ENZ~w(>q8 z+(Z1fC*z(PnzM1prmHr`J`uAuYTF?Dhs}exMBmeK)G^i;&CB^QZi33A9VLXbj&|G~ z{rlg&``+8{y!jR+5|gt9WYwS_ZezN8N5uBXuSa(rbss%FN^VG#d>f(-G7o`eg ze;|0ZP+hrYiTAUL`#X*L3!blh|vH?>O|Le|xlJVOWpYtHW=<6@Kdrzug>uTgEyTvJ>sc zquGV`96xpkWJvV($Q==mVw(v)>(lvU2J&kEmt)88k=*7)v*9ElZy-|L4p9bL4-c^E-~tBCSpp_Mg4ccZ$rf)7n?E^T0}#L@w=BfqhNK(FV!Y z{Fr-5xaeqyV}gw(Z*^{SWJ8|sy?YODvy2Kqk1mJNbR3n3;a({M{ z3?Z0Gm9??d&vg;12Q6Cs1?qD+Y!r}tn`5i9n1W=LbJfLcb&;bk?Ea%2@4hFcUrJnz zv=uRW_v-)c-;xO!S@X!qorZ|*;H+1--zQ0nb&f?Jvr*BtFtza+%&>ITW1FIII?{Rx(#>0r!g^-jmT!4bIvawP{e+7H6|#_7f4CBeS>Jw%YH1=WTQaW{#sBvb96TSWE~gEvQK?Qm>&+83h% z$B#ii@4ly+P)FL$(N7E}J;}E_cQ{x`ar8THXB|H#=ShP&#!e(k2t(>^D~QG#Dj#bF zu)z=8TMpdF0<04xM#rrLZUb<84BSe<4Zz)a7uKn|{Nd=$B*TL0OK>1J)dJD4fV&xz~4ihLlmz& zQTM?I5D&q%$kzKji~X3*jw~a?hU=KMB`Wu*dx&`Rt+(I#-S3(A67u@Lg0-GW*Jn|U zbEwC z#<;8}uG&1LGWxAIv)*|ds&ec&)r|w+zLbnW5(>q28TudPe(1qES|7`y@s~}WvN^c2 zIl4+^?}xZ5L*CbscYi6?xH?a|zdcL2b2;?o=F#WNrdNddLaDUTvOZkDpi6Z(dgJ&p z)WI>Cew7~Mx>2u3u7d3I!4MT=frM^|Ry=@jF=>}#y>4w!E=|coj4ROVT|8fDMbMPc zgv@GoY;j7H^MKR{_uKEdnHA%gy4Q~KofQ~Yux(H%y&tkR#%&s!y?MwJSLLI0)p6O) zFT1W%!k%i4C;)*7bu?>>ebG@UDT*t`Hy-iNGQ=U*LB1TQwkJnEH6nX++!I5ywhU>$Dr@D`7{6(B!RApR|l3!GdEfyWE0fT>AkFjxp{+3$75j`M{wn`5~+VF3&>e z2QJ5g+XP&O1-A#dbPMi9;3isdM}Qjx+(=Wsrwp7Lr{slk_&7`6Sj6D1I1M;2{Dl-y5#j-d_6-|;Vyt!cg}K^EGBG^FoG`s@FS{Rur?`go!FeoGYN z4Z-3;&;B@tJkBQYglm2@e0zYqumOG+5g}PtD_N3e43ww^`82&QWuNSr$ED9HfOmmr z$9EAA#=Zx~y3_sS9Z${6+BkR9oSek>_sKijt~%f9J8|6}+E)?6|A~0h0y1 zck5iaBkzn{I7`3A*hRB*u;(Q9!UpPn9-52l(HZ*OUc`CE-E7;!g#(wyo1ITMw%D6( zZt3aizUSj8=Pm5TthJU?KO(v7r2G(Zb-j;5Hav?qeC`(KvT%i9 zo(srx_Wv4lr`t4l=ILB556>d~;)&QVyYQo+UmR+qk>}w)@;rb%;>Xwn(c2@}e$tn= z-w$fT>Dg?*MI^hvE3gY(@2L-%e(@{6FI3)%(~Ey@qB8-tmU zo{sN_px*#`L+3;MWN)@F21nAN$67pesoRtk==PYOVo!rk9ef)5lh;2re)h(cP2;jR zCqI!icZ=4XxOMEd>l{foWL4@%z1GKH8S*zD2#r7T-U!?};O67nH2yZ(Si3G7W0j!C z-MR0$`*YIM4t9Y4An41TvV6IY%98OBE~c^>;hUw$EbOnL#$#r#Cn8IHJmmEX_MdRA z_=DfUMVItV=&W+xN&AumTJ2z{eHw6uz{LUgQ(Pmz(w8EYpZQjTrUf+0#uK*zxJ@Qp z9&o#XTL;`)-Jb}>DRbBiHcB=nd%NBKO>0|d?!y{~@>ov~$~^ds@VaBMH`)qZ71H@h z!&d`t%pt5%slz$Jc5I56v)P#wvCv^>yyO3C?`weLI*v030Ljo2DS|R3@+3-LMYKaX zBnrPI#Zb`#3xWU%5D)=Lv?P16*nPmRxY%9o4+-daS2%}vreY?BB1)nqSw`t}7VNNW z+!f_86(xlva)da%go>#%W$R+Z<|U|vwyBh)sA5^XuV=b<-y7_bNv`gyuIjxi?7a6) zPft%zPfyRh!7dDES+D7DDl>pGli!BCxJTPdcGgL)*ZcUbPhu^IH6%T$AjpoQ%sk4} znsIFO_2d#V;WvnL>+z*eEK6Y>)hYn)X%T9w)%zf4z+(pQV&}onrSs!UGsSv!+us3Q z9PetO0(}MXxg76z^S~x--%}kV*R|(q+AwJQF717r7K|8Q(fVC@Fq9{qc7w+Zz5B&I zU6c+2I|+>DHo8bZd0?l2%@R~HiOx0Cj<_L+u~ zjy8a1+h1}UN^_-o|AV|8$kV!Xz5k(hK7_m=^4_9)+fABoE5a7)BYH zbG7AAS8oG+3N*{V1HNT_KH`1afU2fNj%V4f0w{Y4Wlx^Ndr;iF_{(tC{j&z0H3ym# zhDL1hshXX%fWkt_lAH9|i89S^lyr-*Ks^Mk9vI!DF1=2sdpa|)$-)7tV@yx|jWwO7 zr-ci(o9Z};{2fvb&xFk~ruEO*IbfYGS%_`{SUWKBHF#7X;3Ei({GG^04vy;E0BAkV zC=j1!lW+DDXm+7>K4G|s51nz?4?5PD+5ZXA&W_2CA^$w`XQ%*e`p_m1=aXzlkRSga zr7=Qvp8%Et#_t`q&+8=D{clk}TRO=-3%cjNi}&fq7Bt*-)kw~Zpq)I= z{>|-|F#l2h3Y@XHgnX?_?k~6)a`U>KbVj36KJ{xi=P#iGd{O&iz~2X7x~GfMF<|dl z*fB2erketG(V{yAY{A0jfL(B5B+pyG=3SW7{SKF3K>#kQZ#mA15Um?qUk0OdC+96X zI)h?kbROlbMVBmtO#qv-=#H1crh&~`bgz`b&H_7a(OoEmy$@{0MMwHt5ipqDe;a_? zJhw5eTVLH}ut8wcRy}#f-1Pub$M8Wi@pu#8hfNi;+#s46e4M!g4UL_1pdtIH#0Mn$ zEW-z&Q*Rby6kQ)pJv9C)47*P4x)vMc+WzaQ494>$=x1>+zEi*RD9wtr3s{_o+Cer* zKHz(pS5530fn_H5v}kJ0-DuN()L_TE(8xvcl$MLE^aQ`Yd(?pv1bxwUoa-kX>9tgn7= z*`8(H%X(<7^dPby(MzVAb}j4e1`(0=tS8FeoBB$Gh^KC1`pB~0HjD5<@Y_R+ub$+x z-gYaq`h>6vxpNK+3c*|58K`MQ@*?hxHbJ|V^$vh)x2IV1 zyhkL@aicLoce~NBpw!CVn>=Fgk-U4|C5kdH>+NylDBUgvJXK@_UDivswFHCa^m~|p zs>qNK^Wu-rkG+a>YH~9BX0`KE&q_J&}{Z-GA`4xwPjw_O&pZuA3 zyy3LZ@v73ODcylT$u@;D>v3+4#vfgTodUKE*asRhV_}YD!TGfdgt5Fk>Ag)GjRgu= zN@Ia|ybt7u>xn)25=^g=W*>1@P2SN3c~@lT}vC+xS`iQdOf)V^s}JfPkLJv z-%%LWjyMe4Q^hb0u>wf*D7SE#_3e&-LmdA;NJmmwUbAa$f^FKn-iL5feZJhU&9!Litp!@}#dF#VHUEA`-r3H6032(Ctur*vXeEJFK;qsb^Jz~z1OLoIAlO+2uBAfZM_yHwO^$=>1^MT zB{*~Eu5)Sc5?wECe#!ER&O*sO$%;QZ|Mw8i=TZDZ7un@GU~yoqmy%uXezN*7Sh&nm zpFvwfX8>`wZwKC=q904^OIlv)gCA|QRBn5=`nf7P?c;Tf)h{iA#ug#fUswc@v_|Jg z=T!q3y{>%@wnP6c1i&m#Av zAyf3zJakF@A6_=?nY%Wq@yqQ$Hcxs&rX(f`Gd^Q`xOX%zwPZ$CA5|Nn~~D)n=% z3hAtMoZe;;+Rs+DYO(=-zP$q8V&P=}^he|500u>zpONTmX4Ou){a2;6tFQm)nj3Ch zyG|U^O*gN<2a_Y-sdQBV%(@Me1!9Z=!CvL$%(wy*bm+*s@jayKj58kV+*| zBY}}<)Rs%N-M2lGN~MPqsj}I-?%!TNwl%h;zGX{eATpHLoJ!}Nx~S^!+uo%5L)#lv zsAGGBJEx<2d%gR4S1XA6y0$l~{+-+FRitfuE+0w7BH5VoFi)fsc`(-O_+GQ(dk-x* z}uUm)f8z^ zvo)=Rs1G4+8kxgqcrGtT6XZHBUZJiDE-(Db@sT`9|FtyI zp7mE~m$c^y8A<7QTas7B%!FTSi8=Xmj7 zQ03x-8d!|P6<+#}D2Y$J_%%x67%xsyld&@|zCy`7=fzhR?b3^1r=&l<_$oY_`NoUa zs<}ite6^a$l*6xA5?6Zpe6$!(dhs=?T)b0*sBn(sKQH}_#kkOmuT`^Ei|3;n%w7{U z<#3sF++38ZDMr6GezTfc=j8(zpq8k&FMBDCk5Fo{{!QGwQoX}|Ldu!=b+tNf>C@ng z?Uv&6Do85!9AHL}fXV7o#5`M`wFHzQVD1`9$Eu4PCwMwm03!gB0 zKDyd4GIFkhJ$Usm`0U5L_{W%!;K>@p=a(6;zuil}wF2H&0pHE|y1NV?S+CM>`I7w8 z+YB!2@)5>QGp^$ah;)!~b*Gp9KQdm+xX>SGe8Qst&x}u6^#6_V^A`OdGQMEZpJjac zb|a6hTI>x14KVkfYh5wxK(-t4vuOR(wWL)+QZf3mR;`2$yCm7d1`U}0?$@rYb zr<3vN9Y+4^O}DH27_Vhq<}dxbtj6@qC8ihtH!xny zc5eKyQnxd%7#F=YFuq{5_io0|TJ7o)oa>c+sD~JzVO;j34lq8+_^qtxM;XsB9$@@2 z#`iNW{c?iwAmh@HFEPH2anZv!84oZn{qilwms@V?4vS*z;YC?`K@v)y;U2ana9%jK9x*L*#sz@j1rD z9>y7;VO;nhWqit_f12@(g@1+d{T82>8Si9V#`UX=2N@SRzr%PvhnoPpIJF&_UTgYRJc zEaNXSzKQW4Gk%uwjm-aj#?`BaPloAlK>tvCGmL)#KTg-}j3-|+^cxJU?q+<_!uK;i z%lHMZH_rHre`@#~V?N`I*MHmKF^mVg9%Fp!&ka6cVD&uX>MsmF$@t5RPclBu`1ctP zo;CEZa=YGUe93nVzN5+%Sc;8)(nIi^!RJ_>wTv%+)8Lnw|Hm0u-!u3+=D&mSz*`1C z$9RX(|G?nyR2fG51^;VL0ro-Hi;SOn*U&dJ|I>`Ce>C_}ei8H<#222FZx-@cz|&>2eqE@dd7oX!7nnNVO-|r&5R$l`0r$V(&Dp+@v{~#{%vf`tDk#7 ze z;olPemi$I<=trh!anu>67hJ~CdB)c$u`&uj%g%OCgZp|1iTk$;;d|7R-Di~JK0m(%}RwcqmdBj7{x zso*kyNxzR-a;C0QZ}5P(-Z9Wqe5H~GpQtg0W%y%X%Nmb@k6C_L@F4p=vD-;4|0*T; zLzdl6Tk=11HTgg9m0$EQaopQqFIfr+pHhK z?R8(qvWNew>DMa3jXf##dm4v-5Ie*(T}D6aRG;7mRWe1gxH=QCmP`QBCdOuST{k2>L%=Z6*e7(J|26PErjR-iAAYwO*n z=<~Ey?|T*a2>n|Y{bkTssnyEHsoTo+%Svo?RH?=9-EPzyAdBDk-J$6hzmGHRTKxX; zZqUmf2%C;h?x}#s39m++d9CRevD+_HpnrksC#DVkNv`B1@YU6&cv#|)GzJdwKNd6e zogA0`Df6l4c~`kEuYMJ- zwj7^E&{MmL_QvveVIyvJ^(r;Pe&aOrxr_Nve#-EdeUHux@;D+-+R)2>NKV(gN@e){ z??&c7!SvHThF<#XNycYcpW?4(fCsp&J2@ltLxzv=KM$PRWxtpC_fSp%Udw*ZdqMb| zFnp$1KR;$%Ep64+iab9f+${*-uLMDDnfJvvv;7RVuzr|-J>!by7yIdAe1i2a`2CEZ zS!(#qalJ9&!*-QqJjM9DW9V0Ky}w3y8Tp^8fKM}@DXYJJpYa)%U;6Pi#*+`2de2vz z%FZ!9a>g(?rKf2w}=NbQyaXD+Uf$^ne=dk}37N1)gSG?Yo@wKJGxY*0|n=C%V z73dEEUtPUUb@F^C{(<&INS>3H-M&EdE_)FDoMQS~%Ws@vyz?HTha|W6Eym~BzllBk z2{w?)-t2P)|G@OKOAH?wk2RntIg^&0w`e}_57xf!2Bsg37(ORho;Jey-ksdb^nn$I zUiK{q8J}Hd@V7V)j91`unCXvM{`@J%C)nPke_vw!!V_LOzoGHP=LBA6`WTP*K5oSC zGk)w@!-w7<)AcRj<@EeI(Hj!a=Z~1r6t`FW=RZ}TUx6bR<@mJVh)Fqo4?yb2K&O#2 z&W3m^_>g_p@;;IX^-1Cndd2Gkv4jqr&QE|s~` zF{YROpSL*gF~*NscKBZyKYNXlN9_Ff7|*ahtYJR?opFiBK4AO}#?{k?PmKHVF1)bQ zdiWKCzsmIUOh5mm!PhhWj|pcQcd`V65uZyePk=LTVtoES!$<6MBjabR_J$bWzTOFZ&aXvm2k9o!qU(884p^1?{68G{V{|Y`l|Y< z;gjM0a~Y2-fCreyoph5waRYpRGw3P)w9j{K)c86j`%z*KzsmJ0Oa2E4FT?*p1^h7c zk^O(M+ezT7@qSs(XG;HmndyUEui#&2T=pMMu?)Y#jjxYjU{XI$@p@n8&5trZZ_Nu0gqNwe132k_%362qV?G&P#|i&10?Ygj#yhQXbcXSZ*0^3^JkI{=2=nN{o?$0rO@J3T_fa`r4csV_MndxV_T_VrRz$sn|ay&2n_$N%CVSoMs z%k!7a-;R_2is>)Z8+nef{d|^i$o~+ZXAnR0H%xz#{p~5{|E{Lz2Ul_p$1Mxj8UBj- z-zf16#~brp<~GIymOt6f_yqe^8Si@tchx7ipJw`Y_J^XM9OHv*|3_J#3C4pwj)eY6 z#;16FD)#m@#^>rxyVf(GmkAdkTv&j@d*o$GOpH`b|u+9GmOt#e(ZC?-}1xH0Vh8e;B#^6my9x|nSR>h^Sgw* z^d+}vn11jXBhMz5=bYxhR?YMIp9~k67ycPTe~b^({gm-bT(9VP9XgcsChr}@o_XB`2Fk&#z z=Fb@qa(g#1ezby~-(>o@rMDjo9}8E}Y`&o`tu~CQaQIL*k_nGS5-GJIhDZD}VmKce zA(8}0qLE}We8`C$2oI+SOA(gM4>=g+{vx$k!#k=vY+uy=Sk=j3zso~JD>-p6L|qnEhl zPET%2qxZ4F^Vq!A`?$sX*yMfmvTE{*(PVM99=$>~c`Iu2=6W+5yizoHrSPhz!CPyC zm#^2q zY8$=cH+mb_=xt4-SE@#@RE=J#n!NQkc{w+ESv7fCHF;Szd&@R^iJQH|EnaQ3c-!0J zZEuU0bBnjV`0s2znt5Edc9Ta^sm&Z!YHz%2ec!~brj%B;aClXhkQ1Y$|X^pa^OpLg*3BJ zA)AFK>~ta-mCI-Gzvct!w(&fcOJWpN2U8%i=Y|hD!lYooz zNI=R+q@o?^Y+p7F6;OSUD~|t3PdfdH5kgfwl8c9+t-f?3g*ijz<5?#X>!SNqB*|5y z#ZFc$%EK&?I_PBc{fS4N^zap1;Y6Zw!>TKV6t0{kCe-+Pt_B)OXG3u(<&1~Yneknr zQZHzQ#}c_rGJ?Eh5-bww6m>}sGYd4W2@YiwdB-%?38f3EJSIj5eQ3H%%SpHGPA-vk zVk#F$2Oco2hoSiF0TnZ;5r`Cs*$U+}P3gAZiKgiv`^Qx#n~q{WYc)2fGENo^8-?U4 z=g@#wCG3&@)!w7Hh?xcZqmfj5B3ri=-GqO}-=anf$$VXl8jXzYEsUZaLr$))Sq&A2 z>l#!fna`2E)-{#ksBKddHtNrM1x4ja6j(YszA%Oqe1@GY?5~hdB+YZKu0iu}sM|)_ zjdgcY(o_eJj}%|*&_HQR9cBxpIf#g)0W6T<`xhu_s?&MRkPA;OMqWL!*TKO9s>95K z#6Vj$Lih+I*qP0yvq<{~=mVXJq%WOIjD=zI;r37MZSCm_ z0me6Mgm-pwZfE;G72eg|+t%70?(OL4-#HK-Xl?7>8CIw}ni&u7>h5X_h0!rvRW30i z7UPC7{vlbY087IcOB{4azX%o+QJDXjc4XZ^iQj1YpyMu?1z|ee-q@#j$5>O``*O{J-il1|E9<8Y>s&$)ppoC5WU zW&`cU5+nK+jiPvXmy?Ial8K=xSxh#sL+E08#91*1?qC$oOqa?hQgGZU!woFpip6yp zCvUffOcBc4*X|rt;jV$6a4FOt=m}AvJrEg6I^<(Bkr8;8ulQC9bS1;Bx zaLd4A+wOCsL<3=IN^VW!TTQxBG9t?9dzci+lE>k?F*`&L45ZWDk?e>AMMcLVVKbiG zQdaOG82*KP)J^De6Ii>9l=VJn@2)OP7I}1c)?L`Dg-pGptD{#d!FiwsJd$}yn_>q(s$PcCnS|8daikNL#R87^>)KMnA;_)pm>a!G{fF<(cz1 z5LCk}IxPD7^&$=nH}VXbgvb0xVXj2!fi{#5Q{Ypf7xrQzIlziSw3N@LlevB@f+++*yU>Py zn0<`ZmScS+bMeHmaW>G0W2wxzBkO4Q2BLCP2!fU#3gLEza%wo1&UoE z@j~iAxPjWnF~*eP93c3fM8LF${^7U$qAPksM4R6 zTS7xu3y@Q7!)Uh%fD)~vz1akITOvulX7Ji7$rvBcQG-mq;s8VONLD*QOB|k7TCpOy znsO1L!ehbI(MLI>FXLylCxss*jQi?-a=P?P)4^Wn5Zyv{V_Z2i&SSJ4120PM#mqM} z3t*JE?FJJwhELk#`e4Bj0ui{I(A!+??^`kMTqDu$32r(~sAf*2I2iJbjKWZ4{)2eA zG&?e8(1)mdXX+sKq;vpSfo(`@6dOU#0k@cup>)3o#olILA%~cv$BE<$ zSqGy6U76L8yQ-nYNHL-rN~eCupP)+le^J!0R~$EL1+TF+p1OU1A|;CLpBa4ZRbjA?)(YvcaInS{1y z2;z3Oke|Y%#WR-SZV5wr#*$0L6ZOSN(wLs!Zv`_RKHUx+I!w{bW~9H8W8}f(USv@8 za1gtfC9bX@PLE1zYKeWjo{XJ*B9Bq;8CqC+W6v{ONToAGPpeOiZrfgH z7bAc*3-&y?da#7Y=*n?%aW7_7i7_KFe3$MK&jc_`)0}q-8fuJb*H9|gqeign9tp#e z^}>_bpuy$lP`w62hil7^dCCpbZjNgK6T^5Q1Jypzt#c!{8-Z8HBG==VvZdgp=-r@k zm;+14GX=-1x>L-&t(Ums{Iti0BxYzHO5~&Qfiw?B!`IjkTCQ)3-4I7Fn2}dV>8&8W zb_$2Fl;UMD8z}r0NKrmzEpheQz@>UbyfiPxVrYiD@p`Q$FGV~nwZdp5=b0N04lfRm zp<*)pu4QzrbnJ86i3*JA>tAeF(-N+o#vKsGy=7WMvK#l9>-!T7~9&_ z_GVhMBUn=B`miPF?l|l+<<%&>7cB$b%#D)c*bTs@)L35kVNUNj83o&8h6Ha*9w;%_ za_H!Vrt?Ay`$-<9!I-_9sU$O;H|8pB724AEwrR;p1M80D@;#A<(^>LIW)GsY0io)0 zb=5K;^ooyO%ZL9t&()#)$j97z@Gh6;&fY;z*UP-|P)W_n*%M|rfrsp?|mDeyBX z^rmyLcbP+XdLF{agX9q^z;_wwtxj8comO!j&6dbZ>or-O6X&;JaYRzZCsV?_4pX{> z+=FpsG!aFuY4F8Iovy$z!?IstH)@pjC{!JPTd8g*@M25ru-BDM3>9eC`Tz8~84T!E zFTZXte$V7I1C;N+__c5mx*d1;>VjhVSF3|~QutmtR@KIuESg-pIzlm35+uEQo#BEQf{ zdI0(Ko!;^+-@iG><%3+_mY-quC~ionQeM8Nb2%RXn`A<%-){dAF5kv<@_n8sxco*g zNC}QI>F<;!QqkXU;+|}ZJEfRyzf)XZ^e^XLja4apAE}fy zsV)DsRbIZobS_~UeyXHc&A_hzn^t-Gp3{kpDL=T;)GMFT|MEPG8~m$?9s`8Q_o2@H z+?2QJYL%D&_nW0JK*Kd_l^3~nCO+Q9AMq0T z<-F%ajVWJ`bDHkUF8@!+q$=v&M7Wpozi#0oj-)h9sBXLbHA_tW_X{EOkw;0d#|`;^ zx#a)DVoOc=xDYadL514LUK%?k{OmHOqzMMsE%>_&yhQIZF3C-c?ubsVvpY=rT5AHd V#K9TB^5y66H{~~41*}K)zX2B4csT$7 literal 0 HcmV?d00001 diff --git a/test/test.sml b/test/test.sml index e69de29..9e8aee7 100644 --- a/test/test.sml +++ b/test/test.sml @@ -0,0 +1,48 @@ +open Railroad +open Railroad.Test +open InputMsg + +val emptyVec = Vector.fromList [] + +val cursorTests = describe "cursor operations" + [ test "'w' moves cursor to start of next word in contiguous string" (fn _ => + let + (* arrange *) + val buffer = LineGap.fromString "hello world" + val app = AppType.init (buffer, 0, 0) + + (* act *) + val ({cursorIdx, ...}, _) = AppUpdate.update (app, CHAR_EVENT #"w") + + (* assert *) + val chr = String.sub ("hello world", cursorIdx) + in + Expect.isTrue (chr = #"w") + end) + + , test "'w' moves cursor to start of next word in split string" (fn _ => + let + (* arrange *) + val buffer = + { idx = 0 + , line = 0 + , leftStrings = [] + , leftLines = [] + , rightStrings = ["hello ", "world"] + , rightLines = [emptyVec, emptyVec] + } + val app = AppType.init (buffer, 0, 0) + + (* act *) + val ({cursorIdx, ...}, _) = AppUpdate.update (app, CHAR_EVENT #"w") + + (* assert *) + val chr = String.sub ("hello world", cursorIdx) + in + Expect.isTrue (chr = #"w") + end) + ] + +val tests = concat [cursorTests] + +val _ = run tests