From 90019de17fb7a06940eaa6bd0354f7fd3fbb5fbb Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Wed, 4 Sep 2024 11:53:00 +0100 Subject: [PATCH] amend bug in 'insertBinSearch' function which caused subscriptt error, thereby addressing one of the todo items --- src/string-set | Bin 0 -> 283368 bytes src/string-set.sml | 5 ++--- 2 files changed, 2 insertions(+), 3 deletions(-) create mode 100755 src/string-set diff --git a/src/string-set b/src/string-set new file mode 100755 index 0000000000000000000000000000000000000000..13ce0a95295bfcc8d07cd096db2c13ac1c855b53 GIT binary patch literal 283368 zcmeFadwf*Y)&IZe%;W+=1QH-zOlA^5i1m&@tdBV}LA92bF&3?|;tPl1xJDtwUQ}R8T{{Ez<6Oynl4>iX8f6vpVP@X-MNFrVS z$3NZt|FuKRhq9l_Y>oB*4D*v+lGQ$?tmkh6R=oXm=CkS(isfIq^+-Qo{F)WCpU!-O z&5I|jd@r7uZYH#!^DSaj{^)dZX*vZC$@gkH->d0-_VfKT`S#PsQ)ramb7?%E({w@- z*5#q5oB!{5N?Q5%)z_BJmiLKgTXar5+iIWvd^t_0{j~F4O+KOX^ZrYBi<+6PuRmO- zrRley>E^1lZ(dM!_RX`;ym`T*+n1dgiQHB_f6C;umMlK&T&vxA5F#zO^s29^@i$Ld zQxVvl@vWaM|DRtk-t$l>wsNS@Ei_1Zl1BbX`YiL!dY{a@e3y0&;ibj%RZZfi@RNTN zPy5c;AOC%G&9uX@vA=76OgAI@`QK{t59{OGSNe(n32FOE|6)J!xAs#`TR-tK#QQ3r zXyxbE``@pK=qvp{`iU>;r~H@tiLdG>{!9Ioe_222U+*XVNBzWa>L>nN{ggkWpY+%F zlYVqR@xgxLcl1;Kx&5TC??L!Sns3!h7c5?+ZeN6UsZk4WU$iiCi<&$4=G&LdR|{((YvC=Fws6kEg^TZ)qZabj zDtzf;3R*7TrK+3fEK<;M+wDst^QdOd;<@s1!J@f~CHj^Hq+L3D@$F01?F%DIs3vmr z&5NsPBbu!`-NuEH1&buroZD_wb7xB{)WTbCTfB5m^-{I)wmCu;74dcPZBpi(MR%xb ztC+dfH!of?$85~aO98B!3g#@7_RYQJcCfi)u8j@BC6bOtEnO}NNGBl8{nl*@mQupf z+o~7R`XzJb)Ic0{Em~X&p%D`z(l1!LVBwtGRHSP0ZA&G=qB|Dc26&Z~)ypE4k)?B% zEm*2((n3+rQ{-*l!dpy5eU1dGt>{a?ba|+}^1QRopRDZHbEgV_X^#KAXk%x%zxRKY zs{ikz?=|%~SXXVtd&C>~SOUCQ$YVWsOUXcu4O4m+gp8lWu++;)u5_J}XPU zBc7tV|M?y9X;aYrHqj9;_LBYY97nuuTgkU+j`#s~VxGDqexM`%GDm!lBmS$7_(6{N zYaQ{YIO4;O_`#0&`HuKg9r3p~;%%Og&&wR~Lmla(j(DfMz1I<+>qvjUBRiZBR<~|zs(Up$`Rk4-0M#J}%|_dDW~j`)BhUU_=>zsM1v?T9aS#1C=Ak8{N5JL1PX;{A^J z36A)Qj`-6Z@#i?=CpzM%IpQZd;&n%Si6j0pN4(e;_P?(>;?J}rd0y*?Kg$sxcEq3U zh@bC>KgSV&izA+?RrkMTj`;JsW0i_J;?H-)yRR++E&?tBE&?tBE&?tBE&?tBE&?tB zE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tB zE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tB zE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tB zE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tB zE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tB zE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tB zE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tB zE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tB zE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&?tBE&~7mLZGbJ`==8twl|*eD&qsC z)}2_f7~yUr2bTBYZL84o5gdSkrpypFz0D5x#s|ah}p8Dq!E^>r#A{=sr7ZI*J@ss9PW zMUHS2;gBQzGs0Dl@Y96r9pPURZg7NuMR=zp{9D2uj_^*xTBce5zbhRo$9eyBnu_iz z;P;wWHMM*7R7bHgUS~W~*8OVtV8hEdAHVU#Koev;>5rSfD9I>)bb>?Rnq>YYnd zx>8$KbajoC@obM-=Tk9$Rm&j5!!y9MOsUQmr7GIVA9(Z9RD}HRdp%8xac|0mUg-l$ zwH6((-5VTK7YiH@KDdMQ9pnwYe`%`9%&T?hwP^jVC2Mk2DwndtMPDwBDmC>Vw9Bue zGs8uvlzxz-r%tTc*)4~py&dT`DAHK6Dg6|B^ivFpBmV>PJh38O$1G2y)UhOVilKR; zd#XmLl$UUIG}EXqP^n8OYfeZtYaaDfNR=5?zxSlZWkzSte$?AMcjqW$?%SSJ?O(jj zKKfxzVwf>|w3ZqdFlHXS<=3~(zR=g~%OmZ@zUFb1Gg}*4Iz3F964H1HU&nXJ_Y`p# zYbo=+h4&d+YPx@{Ppq}zZE0cM& zZ=F_VtlK%su<=-PXLT~d_bN?KCCD39W%~}me;x6fB(`edirVWoVDoOjntRVD-ps&2~#ER#iTtz$VdUt-@Rgs|1=-nzQWl1?2<#>pb zvVs%Ux@W*)3wW$6Qf+(4n}DX?bvyG+cIK&4Z85LP^C>+=+h+QeYOd4tX8+2i{o!%+Q;aPYsRFP|Z>5@+iHzZlG#z_o~VAEj~eAuqCrRCAh8AR4iIwne>21 zpk<;_v@D$Tz)yi_zEP<>ozWv*6?R){sk?Xkq+M<2_h2-l4~!<$PQjCMo27na#^do-q*Zw_o&6 zyJY3*>mNT}^Ec`c;9hq zbY>mxe4l=55q?B|nPUN4NO<^w7Tsg>@D*pPbxFph@bNF8ed$isHb<*WZXco!eK$i@ z%+|h{tggQ?sloH$$haNeRD6zFw@f=N8PAlqj_lk;x+wW0j5|-XFew<)j~CcjB#M*) zKd0i*lDONGjFJyNhmTdNj&~(vH+;I`_o@udqCdS# ziz%i3@Ewin3rdHYrWb5FlMt})J5=ucNt_gnDb=PkqkN>3S# z>%3HruQAbwd~x>YzO&T2RJuRo^k+VJ<$;42jH~r=#;Nd3RVMgAhl!6jFE$%|#?80z z5gG-bby{w$FiRbZlg^86k)NffmQYshFm>pZPr52zL-vbp(c#U*_84XI#ec#}hyM+X zBG?P5n(2+TpLC71Ws-!yL0g@2L5V!?)lbsqB3}<5KSH|?rrW)Vc2AC?6QFNnx?P29 z)S*qZ%dg+KP5*n>|PTeZ=5?&<(XqL>Nob;`cf4dd%NF98N2Owz1a9J@4fZtPfm1=)ETcb zeiI^}((gN{XD@B|SGeEQ3-_1EW7GM0_#qE|5P7v3IU_iVty0#D7lOzt3qNn?fm2k4 z4$nmV%J2+Psdg}o(5Iduda4Y09uV16Nk^38^}szE9hiJqLNJAJfQdOzv&RVoDERV7rZMwub%`4RQh%`ciJ^bl_pQHP1e zIOzGRYK}xbhTsrj>_xtyQl30Lr47~%!eeX_ z94TLLtOjcjX@vKm0K<;-IDVXddjj6yuhgN1@OL|X2wy&>q7#kFp!IZUAA>wgU{BUb z*=tl%`bWx?@no0z%6PR-_(0^LimSGJ;3Yrlb^2e@H}p#1>P%1H{E+ksudm6}MJ1jJ zUs@M!2CI4VCr;Cs1(E^e!G7$k9gOoZvPsHrPz6b8djtI)roK3FBIh2bzG6q47tm&r zT@BE<85)-+RNGCodmjALMccoOecau4|3u?H+CGu?X=d9qO}e7vJQbN~x`bDroIhz= zG)-4mny#CmXLdL5X`KhM(A(IIo5UV~HnGe7=tNUT6R*>cQEYIXJ~VM}nP7=Zg zvZbhVQ>m&5V$VVQt%+}K9Q{7^wv?(14tqT%*a;;$0`6a4WG7;JkB;ZsJ8#1%_q?uE-=bu zeh1AW^G({&BfGob{l*`8w{4?|*cu-%$!PotKfra^xgAPv{g{5oc6q8AT|^tPfu=Wp z`#Am42W?I}Xx$gox{uOwM8L72Z*w zvVWG7zbx0be@3P4pE2n9(Wc)1CgWJ_9~tZV>Oy4y=%!5OQgLKJG!s4!DPt4!G^ISP zad7p+i}1ENrxToYNe8d2t5Sxv^W!C#G}?2~^6xS?VT_4f))*W0q$^?`SoFQFzUC@V z*>gYi`uq0WFTSS7p6so!#s497o&~n@`~pwm!#MLB>M0FSXC-4QjQ+07W^7@*E%&G` zk|z3APnu)2U*ZzXYwUc2iIeB6vD-~sg*M0GVO!n^|B9_5GARHS9^}uXrYu3`3lF~| zdVI9W!wF*mMy zkC|r)KlZZeoc#Fy89nnXlONG5qtpC2yPF?JHEG_lee&aD@M&e*9xulpzYcqR1^H{c z`Eg8|AIHLv`6fR$GX@0vN1XD8eiNA!YZQ|R_~epYT0=DyFL9O zye#r*1!bE3Ec(IjXXJJreQNeI@1h?y`dMt^L?1HNX&Y<=L$T>Z&I*P;bfgyy7_)~? zfgi+|H38i?o^d6*@qjnGsaE(CSvnv7twx{x7~S~V{0Y;FmlY*L=8!x7c|)RiP?|nY9D%9Xb?Sp02-LTJ{3Su&v4Mv4lOb+!lao9Edd8D z!DYqCYG|oV)8e6Bk~ZF`hqep&|BkV9uoZ~ag|9edRo$wt)q>zvs50& zdz(k`4Z1Yd^KByEoH_~lv!}RMoLNrGXydeA@nO>D_Ys#%oWeJSuOdgS^yKn>^>VOx z)+2cbknY^Oem>B+P&HSop*4PRNO*^$v(N1u@IzIx>Cd+&$C-UOsB;qG!2Fx1m8ros z^Lalvlk$D)+`BiZ3d!H)8Cny-&WfjPj?Mp_mM7@vZayn;@EPw;K5M~tjhAW ziQy5J7hy1F5W&2s3cQXlVcadKPZwDo^7KOOfHaV_8!y;C)B zqAha=G7j%j&7IgMWgb=YUBd5phm_o3ubL0=EZlicXM2b-h0Ro`hSXf~I(EVgl@eR- zE#h+)M5YyLp3X_-s^ZL=$h7UAoSF#l;5784au2AA?@(p{{wh@7nojX?mB{!*m#JZ$ zFJWu><}XWPkL3k2)z##`^>yq6zsk8%Y^L|UIVI<+oSGTP|K+q2ycpvEEL)C{HNvG8syn@=C^&7^%csp@vVa&1>^hB zcM6Q77bD}+exQ4aONh=0rTMT(Gi^#IA6A$2$UCt`*Vca{`R)1}lK0hLm%JB0SN+cG zx2@5xH|LnABWotWk3)Kmy*L<^^ukCdZai_t%frc^AP?s*I30QDPtx~Bp+|N86dh5i zREyx6RCZ*?Zl^(70%h{?zbX0tds;EKMi;ns)`sCgPle%@(0dG#zhxCCGI_fRm)O#(W zpvYmz&>xSHzAyg#aW8ol2CIf%aXNATNt{_fC|+@>MpGtj*Qk&U9$MVI&VmACU<#UQxH|;B;eIDlj$FRwY@Ede67p>=;<`a94 zXEyoMa#Vke`7D?zFcbT*9{aG4vJYcBN2Sj`V{SbUyyEbgNgH$P1hjQ{Gn<+iC({>< zpQbtd91F4k3q2lFb`>p;Bt>>P@xZ>hU#Zc?Yd&y_UJFLofmOcPPiFjn;-korW7t>D z@e>EfSLIu}JuN@@v|bRb1+QmmQ}4Vlk=Gd)Chc>?+1MVSpG8ha>0A1+Cinz;I$c-z zflt@vPuJBzT?${4$SQN59{RLzg2lQX-$c4^owS&3$L5RoqA^Y#>-&g%h&aF0c}2R; zDob~XZ0Nx6?IEAY-e0iRX|F|WLq_CPYi$|me_1#1dc}6_SyPg68Ac!anKzH}j!CN3 zH*WKk-?&Zm2J_{bxg#vSp{*|9+c%RQ%CU7uG2d*Rq0eyW4C3oYsIAQ3cFX+j+abp6 zj2<0f&yyCX>sHkL2=dPElXCJ$(F0;**Ux}o&tndZzM3==eZDM`l=esOj5gPy@2J0X z0P%J3P5^&GJ>#=79VcT!Ck|a#Q%o8eL!x^;_$%dGN2W@N4C_EnbkyTdV=S~YK923g z&qF!&&|RdcpLaiFOY9OqJP~BPE5;O-mU{HMUH-iV$eKb&d#O7Lc6J-<;Q>4C zL_f6n9keihJLn&a9<8&u2zrodHa$U8-Z}iFeAB64%GVw8u4QT8^6r-(A&*vHlT_Ys zz{ew#VfuY1>%PvoIC0PRiqnbPMx4&L6F!x(z72kH>f={fuVhe|^J7z1R%vbJ$Uj}? zJMgb1AFQ$J)JLcKo$|rT%k7_^zn>h- zIA7}MZwG%@!wVO@&u7qIPMoFRF9g$e^j(?Q9(k%_0%Lw0dNhdL5(tH=7H}OI(VR7Yx}sD{u4U#ophY)q~n{t==i3C zj_bPV$bt?fbRaiPUQFu^CokUYqyzpv(FYwzWqr60{o|ZF<)zo|Hx0x#4U26$I_U?W zLYcqsmw9S#llY0sd(D@mo&TWxmOjdN+L6aupKQ?5wy%_r{pv?gNcm^}!zy3qW1}cP zA!QXQY$klWMW5EsXVYdW%N(;sp0{D&`d55bug@=@CgC~r$C>lAV(O}; zfB*Ow)@|QkwYRwCx^0AObo#rPdB&Xivy-y_V;r_%5jKvj?L9#`zhiAr!qev$o8=UN zNhRf+!d?R}YF~l+AJp+y#`zI8>~Z*?6#F;PeM=;53RcDiT@t)y?OXP z;%pucGw1ntd3ez0;Nia)oXo=-d3w_^&q)V!@E$ro9}f@t96bDMCmrx`CVBe8Z+buY zT}-^fK2q2^fA8gI5LrBh@6L8f+_}VsumSKRp8Gm$rS=@#)^l$XSC#3IkrU8a6C66R zNKfs|a>y#=U_4Xi=j<&Qkhc4ghYkJN{e08VgY}f@wELqM^{oewBv0;}Fl|u1+9h!x zv%k;TR-L$`#DztUAm>dv((q{?UY>IgMcne?>CEp68J}NHTH{mZOV=7BUWqN^K0V&ghd<)>c(3xbH3@$(p3O0h z&*UZeGVp3RS5Xey_?$g2^Pt{^hYq$_$IG(lH% zv`NS0~hTYXIe@dL={>EOq>qdv}y1{IV=+Jn2ENlh` z@e|p$q-`&U?ez`DK^@;cit)v}*cP-q^+VoQV=GqC{se1CVoQW6%Y!bLIkD_(^C@dz zTPE}D4zG_j9BW^jlr8%Sgx4FeQ=ILL_iE>#>D%7pr9|*b&jsu?)_V33CS)&#%m*0j zN%Y|t;omd*(1)Y@!P}{Cr={0|H;KMwj1;SHCQIo@KV#)BXp*(7gYc&MVAWoacXTX( zuBjfB-^$)Ia}Ff>N%-m4=qIterqA~$6}Gnc2iw6vpFCyh^{-;qze-vEx)aPQS^qi{ zzJHB%L77)}u=XW$0-1lNpvhc&By9Ir5ou(RZ|R@GTLXIWmaL8T<}Fz}d_dZs z=C8}>;|`m*@K=dnXJe7@*T|+)aGFYe=l8*5QchIL>0?|wW$}je8l=rhf0@Y6 zH=u7jZGR3LL?+jn+EI(fjuxsGG-wcp;GL)j|Jk}rz$5VoI4(QYj*Pns#-So@(q2IX&AwfQ;UPuVf<3E$K^60O=z6~Zm0-uM$CQSdB z`~B1TviP=zHPcOekMljwce~6YaIFMq^~NXc;i13ScQDGQKhOaUvahm`Z=|j8T5Vje zja9?S{CZ93{@|V2_&rz)GHNy7p_bo%QV}Uo!-`te)gjWz-mS`U>eg)fSkk1x*OUX| z7x));zLw@UQx0I~>*_St0>$3F&Xfh;H7xxvGN1-q%`6vrDzb5Pulbe-Y=tM@Ew*%% zC0nG-v6P8zt*$l8JacVNnUn1@KL@R^ILqyW)_0fol>2@5cYGdNcRI_Aewx-lF6=4u zTFR_sEpyX&SvRuQ-D>g0#!m05sKq|KIGnXMN3^S@H+glDb+Zbk6_ZPb!?UDGt^*)6XYXJlk^) zC0C`6;2-$_z51b?K{0u9tZ|yT&X(I07yl!EfgdnV>(H~v)|m-!UekA(OPXmpGqML? zp}BV^SI!#kdh*cWo^vl&d8ZjKkw(r`z1_#Ro#}4}_*Td{tp0vc_Vyr~hDOQcN+$T)9o;8^^RgY?u3%G(NVt$xl_ghyzp4Bw@#15|d~<7!}R zK_)Uy%UByA{kkIAbDh^($U0tP>c-K9D*L7Y^mGySGXJQp@{~rvHgedL5)9?6me3L& z7)pJjiZ|45(4XC`g8YjMb{CfwTn_y*kF6d(y}6dP=_uum<@*kPtB2^Ra7lUU zqWp^rr0tvew(3#+*{6yxD!77ta`r2{$J#er^_O5OLj8=vnLj<$^>91=`ggvsx?6wt z2v7R%DHT;l6+Ua}6Ps_^H*>xf87ufKCSS)$@$2SxCeRT&x+5`?eXX)TYOLq#fXJgq zkTZNk9_)$ucRX6A)ZsdGahV!>xSjYiHTtl~X*J=^J%wuC2HmHZs_fc=Fy|%m{o#Tp z=oVVc{hsWfy%>7bT~^v5{#p}{B=pKzH>H+u5FQi^)i5iK>~B*STJK_a_0^7B;lXy= zQARtW)MuTWv&u1XV1KTkdb`iVrQ5$=#sPZuCBAi-G^!>&tQo`2v|GE!nLWl7ShufM z#&U3bBPZ0DdD*>t)@JIBv)A9fC#D4(U-!fhA1D+#pBa1Z=&ufkl&7_t_vyR;dbk=s zm|gwm;hT%}#^B27>*w%$Lk(=bi8YbH@tF@k&M$DhzV-3rt6SgjskX!ze2DjEuHXEf z%=H146}wDjb4Dbm^(J_fan$x!YQvt#;s2~v)7LM!={JX`^Yp8XSoQJpy^Txv9=IE$4s_k! z&{gJTzaZaQMhEW%kBVI6tXJj6y!f$|8Xij^L*xve>^oeId=R{>^LW2AF^gcEu*T7f z{=anxW5>(d&o8ONe}gh|(X;JZ^nrbvcl}OHTWiX7>hgF!v3b-j^}fb9sD3_}@~`B~ zhSJuKm=|nR(jM%OziHJQF7{S$DD?6JN;_1zii$f`eEWK_;;Vi!@+ZXwL zFy-aEXBBPp`Zli*KBf%m>kHNBn4;gR{rd7^ua~|a9jk`s<#E-vT^rH4^?`>T-L8%5 z+*x}z3aqX-tl|B+o{TH%F z_)^-{$oo;=6>WQhciB6CfHGxoh0Lwn<-DWcYy6o0|1D*RuRP=ZU}~ev=v)m(Ucwt` zgXk8Kouzgf#$A7D&LNFGcID|k5=vEHTa}!PPR`^U=FQj6-L`hss=Zm~gi_hZL#cz* zF+j~|))w5f?c4KjN)~yvoSc@cOLgYG4d7fqza&}D+!vY0yFc0LQByZ&s9QxhB+%b7 z??_}@x_S_DVj%iNK+cbFDg7KE9rQh((|$fSij!PtdEj$bOh8 zzBwICLzIze(*EhRJ5F?M-7r6KQ3Bd)`4z1BIAKYr0?)!`xEW8`Zm&nkWw ztvP^+mMTKR>)pWEeWOqH512&7w;K^s6nWYlH^kLV0?##K||Yk>;4R zG&inBKHK)1$Zy$qAu{?5>hmF^!(aByQY$x`*e)NUm!<})sUpv14kY{Pmm#aGk=>6% z$FeU?ll{cEwy>}23o1YM2K)TV)SyoG?_;}rniBKJ%$hx2-=5|3+3aoi!tc>LXK&li z{G*-u`9?LkGeA3}?REHRWY1|-Gxrd8vX8qWUZs~ZR;I)of|Cj}RLyGk4p(KUDf!jP z_zvZYo|3t*d5)bk<1#-GeI>f<#EKV8edV9}{XNA~zdtka{4WlVqy5K4K0W`7+h%)D zFKzLu)GwucRjE$n+U9{-6PU5*w1#~+6-pPsVs>Yoz7-lyPtzdt&@-v89bOiB!1$YK zr`^Q9qA$Z2e*nMbJR|hw-=r^!=qIn5vb{)^79Gi&B77Bp4}WDb{hEo+XKW=hwUqRU z%{zVdi(O9(eQ45jyvxKzXb~MIbP0X!-cw5cD*Pk*Zk}rX8GX|+Pj41_d-LvQbo9=T zv!=>D9@3WGy~_Cm;a}39+pAP*8}GL6kf-H~(GPpzF|kKQ=NHTPIucBY{V8FYTk58) zLw@6{6kX~?&&s#Wj4_1{tVA|m#=D%)c9!o!e~O%&u&gTi0{#C6I&>hqQ)KG^^rsKK zQJ$fvveBU}*H&#qZw<{b^}&zUhn0%Sxy%4#+k@^X!%rZ(tTMyWW&Qz8Jp1Ng60TL0S^%KaMOcIX3<^G8j;hNTm@u%s!F)(Zh_ z`v5w(9-Cs#{K&RT&;dbo!E~>>;N{TxnCOzJ7p>a+kTx>55gT(S>$4xguT{u#)6b2~ zB{rd8T%4mfhS6~&if+P1vhry*_L$ebaJtswPm6#d8h%gp0m zsaM82elKfzu`VsIlYKDw`J*#MSBY%jgw5=yu1%stecRTLVXP|b;@Mt(Icv|Y2f3%= z&K%|dU{k(g$uhAG>ojj{^-a~uTIj8F&?|Yw_qS2y);tN#Qr`jefyl|1(c415O-q06 zkTfsA$ATF=cWWKCN;SH57djB%hta~f7Ieu+-i(rI;CYQVKX&XcwSE)4{W2Jh&rp-4 zZDY`jE4s?}?uUkY#``{PbnI_her&%swsR+A>;uO3zruc_*TQ}u_3pdsi)O#Q2ro-} z_Gu$qqF2K9qi4J<#IA>c5mXZxz3<8gBNh%%^TIDo^QSl@Xc1ohaOg zV$Y#vz7+JUwlX!mvmTts`DMROVZ{j2S5PxDs%Qd83Qm*ui_;%h$ zhA8e(lJ9n$jHweVe%3vo7rQhMS*wt}^l@htn=U+;@~VQRh?!V;uIbO5V&B6fHe>i` zs8kQAso@6FF=xcKFv1Ngh2MN?_-GK@gt_S_!PK!`9;3b7V+?0b6+*skeOfarC{t+s zurj0Zz%EZ|M=Y!H$fYXv9WV>O9!%Xq{srXyurjmpbkB&`G4Ft;LN%fj-$(^*MIH|5 z^p8RhBL}s=Eqh>+2fqeuWD`6-<6dMMb&2dOQS^`c(zqBh7@3^ec^^1c9XXUaXm6c`cd|!>T7h?B-BSU4o8Y z`Q-Z9)DgxmUX5%l#ILai`RL0pzq19KP;B-%`>u4Em&KLwH+WYtGO;~s`!e^KvMvIB z3FuQ}wOM}X`xf*G9(Rau2HyPhCthP2K1mP!$$dzz?dBZbv$nMBvb}eb_oy}^c7(OE zt)?$Ey64ZCYKx~PJS{R*e#-JsSQV`kQbA`pVV~@@z*In*6=m zW7z!db@2BspIH1Y_bcs!zpL()dFAj{U2wQlrS@~SD1mJ9tC6jF;3{jFN01vDv=j|I znU)X1wl_UqWUE!C?C~AmV@j^rACSrkg%|(a|q4 z7R#_NywEQ`M~S-^o!MTlr!w&ih4D{3jvT>W-6HE^<>*6fm?(AJ*M_dm&fYOJSX`|W9Atz+|} z@NC#;OnRs5;XCl@hz{6F+}Bv+=|JajW~XTf=|qnPREBX4>16+1d%1?+EIKob@Daj0 zC|B~Hk6&g6c_ojWi3}t%Oxboh>H2GXq$9^jP~Osyx*nE!P#JcPjvantMRT`2lfE?9 zXs~I-pLbMb;2(meI`e}A@CknX-Jx?Pi0_K}@|rqM^)-HQO-AF<^Hr(_eyIbuUowvT z;3od9t>}P&8oo9FZo=0hM@*h0zr}NTP0q2=c)}VR`_r<&M@L%oJ8A#1G0cOYYbqFI zfWblJp}3C|U=nD_G%~^B7{2K}v{mG`Jx0YJ`#L`9x%i@GPX7cxXj>1;z7LVr zcjJ>jitT63^}S8lZK(>M-nbb*^(Dw6m^f9v^7-{egjs`$iLJJ7AiRk`Iz+s@iyvB^ z6@&6(=Xc@{1+PDIRwxCnXAmyTSBK_%hkr!xTJnRtHkikWZVgI0@9@qDW9wDg zm4AS<(BfxfO&H*Dai)Qfu(L*G0s{$ufF z{=@ViuPW#ob60`*h3}*-;=BAqx-BmvCqIN1c(hgYijB{S70)y>=V`0vC;TBiAbR^F z@`??qn6FeLt3@Zvxc?Sw1UK;8=pEVVMOR5b{h6QNn{5bRiESl3^`UpH+`Bh3F%=nC zKERND8Hq2dlo5P*4gFwv{c&%-rQE@|5|JbHe>YeVB?C9YWMykGZ$Mbw`mpU zNrL|yEJZK=yal~ezFIf;H$6B^r5;)oZ2W=dX~Z7ugtm&WtyZZ(hMKBVZrwjuJ`fmk zL+cdk&sW1^8f_EW14FK5d}^`b$hJc7*v>|DuHefYx5Oz&#I`-L;w4kh3QZp{)`Xrh z^y9S-n(D|OqQ2i~T5CCVM5$NgyrOPJUE=%y23UEJCm+Jc2f+PRQ>Kk*%3U8!4W*C7 zX7GDQw91_76vEn4$_GnN>En^`TvnFFA=-6(UM6yMmu@p+Njng=L|=&BbM~3d z+wyd-M+pW?G<=FCe|k%n)LZ)}?Kv`1uwcg>et0+(Ck@9x1 z23}rc(JO5bdf$UydA`U~?#Hz0w(bJUZMvBJG6#u}SIU&~E!i}pX)50&k4>+vFMFX! z@UY9@moERQG%i*d!iyr`hBr;148bMN98JoRcngo=___xh&vQ0J;w4VnCvk#ROFG_8 zFBr?WUvoEN2VxC-?uhM)4Dc{Hq_eecIChf|c~Q$TyKuqtY@Wq(;R`y`8w&9`MzbFK%UISY&Y}&Ec}F4x&Hns(0=sh;wqDqKS?P{? z8S`pp*qdEik>hEc#T-`b+s*XbF65u^kDoCi zM=#2G_0ex@p4M^TAvVnu*{?pTvNN&ue6jPv;{dWOfqW`d`JDsMkBM*TroR|DR-!(x z-P;ZhWqJDHeD%nq+tsMfVr(wK=m>4}AIq95{+=#y5MSfV^(wXcqpT^mo!3G9WbB+) z=nJwgA#zSgXIB~evv>V9a@W&m zTvYInF|`FVcNP_Vwdk&bw-~Rt)alROUwlqM3H@>Z8RrxX;oA_tU5@OT_XGXe1>U(E z-e@T*c;9cOebFM{fS;;H5?@-!y zZpp0$=g__Z%*&snPdeB~a{Uc6PJA(EMZs5#R}{R2?v{O~?f49^^G9aTj&Zc(@$8EV z;?OU9W>(zObyqcb-tVt2m;|qf!N_jQBsFlYtldf6B%i+a_q->lL!*xR?5cuW{8a^w z`0Zp3WTcZ`f38sty~EOREwn*#FY}GWIdzrjpnBTwfmha`ql<+HuqR|p&cc4dzt}m6 zJ`q_aJhhXx0hzm0`)6U}c-KzBw|jf0Cl>Xpsba&({s-nJt%IoN!GS9E18gXpEMjLSl&>>=Pbg-}59FOtg%(X@}?Rm57;e7H*{V$MC z@`+9J9PgrcWE_)zx7;-rNQ^L^C%vsZrN0FibZ$TE9@NUx=TenEe=arr*XBt3~HM z$r#(D>D=w8CYRyk*`c%6hu?W;c5rwpHGe1aFtLCq($eud)2Sy41){H4cB<7Y5CGoBmX41ow8U)JOCo^I&X!Pt)%SzYLyH$`Wk6 zjFBj1nK)q^$XwlOJGNK4?K_B*{Xp!2vwURYcdQCFmTp!?{%U2Qt7FUXYlpGt3cac` z!QLOmej}NG)TMpg+e2JRtL`FuksRC2hQ>?>uJ$_!PN8k+OVf)dbp=b z@DMBnYxK>~?W|+Vnmu~gSSJ02uOrF%?<&?EGVuX&F zUj(sz|Hj&s*fr8N?75k5AG7u~d^A*TsfSnZ1?zj@->=h8)7isi@$Qe;U&1_-GwjjPZHV$K0d4}G0qBJ{mL8o@P8nkZu`@m^N(%b4Af)yFu+_Bv^tV)NML%Q!8gOu3g+ z#;LrEOJ1GBj%DPs;`ye-CR6A|tkd<9z-mfQ%dAVUg{&T$ekmP5SlnT@ZlV1LI^e5PRY`hznXMV7s`g1s1h;ItVGoH$J+Eb>g|rnWq*21{F>HJW2O zzogKcQB%h`W$9<+^T@yL&zfS>@HVpb;E%H!-xxV`(hJb>c3QR`{PCs4T|G(Y3I3yp zCv4fe`R|Mq6F*C~P9!X}1o55Qw5N4eVp5TmcLw*5t_n$etabiW!zG#^@iESc! zRPG1YlEKtJj$3p1>W|R7@HXoc<{loIAIVsX)Srq>vDX7zpZq3e-cdD-`#~-H<5g^- zrOXkRVY|z^Lv*B?y2G>&^P9c}jkQ;4sc`);L&`5)sT%iVCrY|@e0;Kwam1U~%KFCI z7RIKmQ>~=FhuK%TQS)|Yqc5av*~iO16m&*z(^B$?58+kjLkZS8rosOa8Mnl>qg%qH z_h1u?91Qp?m>YT4Ml)5cE?4%msh@;spX9g7)XcVZ;iu~A%5LoH8qoOB$6XKWW2`ll zX+zj!_dK)~V?*a+FGH93Me4>__gwst@Hf)!4%2R_Lu}OL+7M%!w4HMXWnC9HZtU_j zN_|qV-HrtHwD_SHEL0wODNB4Arrk>U^1O!UoyeevIBQjjU$q5&UJXWK6N`M4d*5Xa zFSyu#O3Masee(CIu8}?Mw6KeTSw8y(TJT3mxl(2w`pou|**2&2`-v6Se(`g$MqH1*KFYF{{rO;<-}L%x;$IrxBzgZTdFd<3tI%K4 zUlIDtPk+h$Mf|<=(ON%ql-*{TV*i_K8M_1FQD%92%<}S@UZK1f(&dTIrtk79y36}b zcX@)bUFK-xx0EM5C;a&kzAKyeCL$k2X1Czic$B`0^KSX9EG*YEZm`EkwlI&7`NW0H zB{oyX4#MIaY)Sh~HxMUhLMKTnMd5$phlrVfRJzS_ zH}RP6`BN2TNE>DSa2?MNtM#W7te1+f?W3=x$H0|@SrbUilJPdS>0@wN$9mc~ydz@C z_4A&#e9gH{7t#m&S+}_yJ+OkkE}93#IIOd{?HN{X$n^?|XYp-eNdy^vL(e?N~ zb|FhFS@E1X$IrvpAiCiPGPh;TU*_+O%k*4-c$1I%Y*{XHT;}^degdlu@fAp!a{uv( z70*5Cq0Bb!2a~cTPWIp2ltR89&th%bs_O^%GNhg2BM_dFdAY1@n(La(xpop~t#x{u zt^wcQLx;@OWz5_Dg5MD*^3@t+-Q)Wy8Dr1Wx6&qA0~NoF&@4W|6Dxkn`oC5qbNBRo zy~NUs*80|Q<`eBd=49%N!P0}Qj}+nD>bOTW(+Av%&bmGGG3@%AqGzZISs$i9pF&SR z6^M>ERLgjyeRXDI%U@O|+u@aOLW5qSE_f_U4VASp(Vg41u{B}l|E!Ze^=E#6;g?_T zH%d1b8P`>hGyY0=UG1s|WesreO-s%FL03|aKTBN@rJU`Ws?oooD)#;*oDAbDF5H6u z0J}DvX}w3}eV|_IKSNCx{m@>m8M*M#V>xPQf^jDE>UatE(~z?Y5_hX-hxp41{tLd4 zHmGR8Xo0t^d&P5`&g@<9nWUp$59iLx()BXWFyEzKPd4Y#zMv+5>|m~M)*CN08q9h{PUbe9O1!S;u^6AG{;$a6;c3 zz0)1l%ydD{smR_|S$mUoey^eOjh4GE#u3YtC%S}tVF{~5Z(ir-g)5`q2o$}~Y z?oyv%yeV~6sg$%Qe6(xpal-5oY2Hg2jl7G!Ci7|&$HWBVtF%Y*O8tT8>BetJgZrvCr*# z7Wb;h&wluPzrP^yJ@sr8HoaMgzr;ArS%*5qxQ{ygnc|;Hx3A?3#v0-j^TNbVWab1l zMX>IAUX_~T1e?#vugopFvBnNH`E?V1Fsn^x8XoHF9!L0|%yD$A%lh7Ox{(^C)(MYu zM#+j(6O1Fo2}UxGu-z+UKeJti?9-Go^kh1HbdvEV>1}?9)89^vgct0*QG8Z5Ud6re ziu29vmj}}0_qBAtB+f8)Q+_+^v%)Wa<}flB?8Zx-WlRIF@JSe+W1LT1bYKsU_*uty z(nbDmx+3yUo3M+!<;%z5<{WQva4rz}@{rJXalwBjZ2HbMo`k+`dcw-cqwd7TmW&kH znD{+*_bVGmi#`$iRAg=4pV+H_{AP^?SzVr9+x@+%zicf1jIDo3^C>+v|4%QP6?)O6 z`B97JL4UPn#M#CQXqGldKS=kZeui-eaVFoy{l=2?ySb->Gpvi9ZA_eJ{I!EI=#&G@ zZ(e3kTNMArXUft6YVvW;{|L7I%2Muj`>8cozwv&x~!U`EFc4M zx&-kXv5D$MULFmlF5p}KwM)6@5a>H)w0RKK(z8EA9I9i;T;h^@T4swos1lXkWCS_BD|% zo^Ia&yS|_G)c2jAoAvEhN*QNUhm6ru^0dHDioaD`V%5u>68XXX0uS+xy1MO>7W95! zW8yocOZcoY+4)cW7-A=_&0gpG3J(%jy^TV z{9ej8`|X!K?fOGgx?TPZBQ;X3lkd`>1Bh>jSIqibJjP+ZneV#K_$TkwW3|%j3zHuHHt{c@NBTQRx`Cv# z;Qpiof_y;#k-Dc@+D?K9?%ZSQMuHo03nX zE_3bGydT2TRPz~m7drAv87Hr)TYgcwcckkptWj{DLR)FCrD$vMX~Z66&N+g;&ihzP zlygT_@R7_*N3wPyYZ|w+J}dKjb4}yXa%2>Le}MUA72`2aQ6DUVEQpQ;|nU0d9L7UVi+A@eBH#*dACAOTiQ?O z+=Zhp_&J+pZ+2hp>3~kVJ%Z0?wMnzvl-~c`yG^(EYE$p_^wo}W(s${;m8bTibw7dP zoL(S%^ZEd1_2kZL;RX4AV#O~`@^#1@UiuGz?a6%?m3=9mSQY)}W6yGg^U~G$<~aA> z8kwOtqc6DsK#31>Xqdkz5=I9{N2o2rZ z!THybmo&b?e(fVU(;MfpXFKvhMdOdzvpx4|J#`QJwAX3bvB%kmJ^yDq>$l~5*YK13 zL;~DH^7zUZ)<4fr_F=E#$=@vI9uX`2JbSez{M?Y~ znUC%XasL;*hksz8F%6pJ`_8QH{ryj=aE@^v@w0E@9=NJ3qxvDSXUx45*f)cW>LYx+ zgKrH3jOq=JZ}CCK4f1Uf-`JmD-GG0QdIE_-%*RJGeT{G81G^F)k$9Qw2Gl9$x2vd6 z#@%$jNxV9!&OU-4FV4Lh{+u`Y`}FfRY~)>K-&LUUYuN*B({qYZM&9t<_#)GJrEK{g zNStD}FFaRIoz?rBKG--{^4-O`-QM34gN+jTR?nJj?{DE#jbiz>mVGb1za>sJ#>%(v z>8WA8zlDbw!{r<2V{&?bYZ+n;mT$Mg+r7W(LyauH%|vd5M~I(3yN&r?>I%Y9#sa>! z`(?a~pY22VvA0j{ed7A?sogI=wL|-Rd}>$rQC@o=<^An5%KN*cyfY|I#>>5gb8hu^otYPO!TWrtb*IxDOmOF!eizOS^x-SymZ z>PhvhZ1&YapBiVS^Ndp`mp{>pSI@ByOgiz~vKG8Y>6|gvH8aj*Kf_koZktITc7|EL zo|}FSH=lNzZo0i77q?}gn@3*VFV zvMPC*KJrXwT^7F>`kA#f_J>d&dZi$M zLjE>v$dA96dcD{WindpCPssu3DP)gKwQu!xazBvVc@ZF8JM9aTE+QC_PTEahA5y;P zb*-e^n5k|J(DnqnM0iT!SJk)!h;pBvOj~5{mF!`>o&6v!S51ypHC$b~xj@eP4R4Jw z$C0xKob^~M=leFXpSMcZOczaWPGApKA@5`kbh`#G^Ih(SshTTi@d}db_?ub*_BbE8 zTQ!QE@~L)$0koYP$2MS1_sRscR;%FC^x3cj+#@9Yvz|Cb9Q`ni`dS6^Cx{F0wC*&~ z+2<;H_j2q9p;hRU^^kT`Z*or%{$tt0hYuztwoR4nB{BEZlAm@C5xKc4s2Z zhv>r!KYYa4o*5VbAAQl{qePl_I^e@FymJ(vvGC0i?nD=h^zN8 z_KQ_Y?i);$E92nl*0^V!-kQLEQSpt}+4H$>oj^Ih^tfKbxIRevGOpM7)?6ol+w`D4 z{-H5Sx;k4YK)bCIWDnq)w46Q2-5x@>ob{A(2CddOgD%nKzGQe{b2oU;NEFd$g&lXKk?M)acAO z_q{AdKXtICUyXi>qMu|RkfonA&LVS91p22A`Co18C;SqkpQLQjKcbtKqNl1kyC^zp z`*o^O{*HE!UP|AEgiaM%?FYYrjUQvj#!v2~vE>hbJ5&EOa%NU&k^1Fq-bs3lHt&)= zpHl~kAF&1dua`a5q+~9d)?a?Gvh`O4-=*j;=Ca&P6Yjp7=BD$kyJ;5SFSYNcnU8Pu z|LwbJY`ad{a5De=)|!8tz8CC}&(WSD+M}~(*}}S$v?mLmSKQYY%T8}yKzroQ z9a$fqPdnvKOS!)-2S2g%UNyNZq0YL0r>$;C`tCOFTEJeakn){(xAjiDgFD#n;tn>Q zyLvV{?ry8?b$46ud>-r$EP#MTCx+XuJQqGCswF#AH@>(U5V{0 zdkkd#U-rwi=VUk55#PR9HGAS$mqy@qPYcgkYO4MqcSMLz;hZb&GD5plss5l!?U=#0 zW1-T-)$F6*}##zaP0S*eE`&hZu`3_^@<%u?t%~*lO*ISL};d_^ad|DWyinqU@~^yKTRwIT|hQt$-eGVGWj<2ZHtYKzvu*}H7|Y_wQA`+#!cEAf*p{d%xb&d$%jiN6EES>ZdNc|7N&LbPoY?{a6= z*R#ASowh|dzW|-BL3oq0j3v-KYon*}aiu2fuW)}<_x|?cX@aHxMKvW@oM9xua}nne zMIHw4;XD%9%YNH{|G`It_bB=MT2tOD%Ut+N&V&U&;68>f+DJdKm!b7*v{m+`amPz* zAlE)8mfKXoyWH`T-p6&n$ghB2X!z+f!RH#vc$s{8qze+3x^*uy0NhR`PTFqm-{PD! zvYLylwMFVfHLx>(12w*Vn9XzPhvpzScSO8kOhb>CNQ16+Kx|2~VF`p?9B0lr>#h z>t*bib6x#mJyn^jrGgt}-s1U*%=v=r^;Cf>-cb2{{aHUx`<~|M@ZtgXwFqAYbJ+KU ztsQ~SCa?!3xa2FPo7l@41lQ0R+8|bWJE#QO(|@Q`8pWgXqJIE$Xz#oc^#% zMIIy$9(`@K*O2s{vC1gFK9ph}^8Om#3$BVelope^;On(gKaFo|FZUV;N1oEywc1;H z?E8ZoJ8D(xAU4haVej4JqpHq5?lm(B2?PZR5Qvn_B%m@CuL%&9W|E+-jaGr!+SWER zxo|ODBngT_$pp|^)1Je4sTF!k5NSOCms7uh@1dFH%AMc$2xAR-*$QnZ)`$8Uz23c5w^cnhf4&#`&TcKO zH+^67cFpc7NQ<@Lk5$d|_00jFZ2F4vzKQ_QpK_nyA01N`-R`h@$cv(q}wXL%3Lg(sOATdh5t+142! z*FvA7NzrD&uRPG~j_aYt-=Y`Pzn&wn$Miy9+IL@$pNQ?fx5gi8WpCU)-ZXD(`K9cY zYcfxAt{LY*rXStih^`RtFQ8B8tAEb7n7*xg2F^;6OU^n#B{by3&JD5?TcNsMm4iatvjPY78&kgOfk-n@x>05o4=CP-XKC`d6wAIhPl15*4t5YW*ICbXfmC5~Xp^2s_P#$QV zdOqi;K?BMK_e1x2BYbbzH>ov;{Q`Lg90Pwh{p|Z~;=$G6K=77glW5NG_l_gSp0jzN z_fp@7+M%&|AIU)W9rN^+i|?5K0J^=@cV_$UPeA+dpnsld`pWjI#!dHJZstHObgz!V$GrdQhQG0mzbHB{s#a4uV>6` zWR2FdWKJjk?~3Tx5|zJsi=1|zX-{PvcSlN3b4pZY0r|<77@74I&WJvYt=~4<#I|Q*tIavLwT*WH!+sdq(TuJ9%;mrY?qrK!3BJro>_%+W?onCohqFeuw}HP8 zfWP62VUDV3H~#j`S2EVaS=Y3;f047|z-Pb=Z$0Eo-wUs!2RyCkX^bZQ9?4N(n|WS- zi1xdNHhy|jG86b&b&OxynLTJnOXL{Ok(f-C#`vzaI}TJx2f}zeTsQ`^m25#JUK5Ln3scDS?xzMMz)8Um#dkV5zNcMtcvz>#+x;zWAl-WYuXnx zFF{Wl>!iNDwE=u2##d(282<>%?kEG_&G;;h_qJ?m_Ii&-^4D$B9LoL*@J_Py(v8tg z>yX{DKU&T=GqdqoyzpDPXI$%3CVOx8R(wC`cmp`uDIVAh&s9W@OOJ_f0{oUAA|I=I z4*Y@a)c2Zad5-+l_e{QfWeY<4(q+2Wi#z3VKJk^%_pP;2?i) z=&ir=oplh)pNO+2720F3A;hn6_7`J^vsa(}Vf&8XTy&fOeeBopgkaSguYAseH3Rmr z_DJVr*EOy6w3j01Zh${m62I0O=Zjk=J~1EpCRmx>`Z)y z){GhQGj-qB1n&A$pXEs(SGck3fsbT8t;zWCb6;g2!L9V&R9V{oLGChApC0BW)tA?t z$(Mhh^bIiQB^EZ~UNJdM~-=J6kzn{7zZ@y&q&^gR! z{=~!F>tM}a)SAC>%pZQaHGerr$N3-R?gwvc8~gU+#0nDZ@sM8m1E13Oe|$0VpjUkV z?E(3CT3-Ebi2E2aJH%I#vEnK5QzC24Gx)ye_e1(Q zt*oY>Bg~&VFYtV~7`bMJA&%5oMt;_i*!Sg)nt(kRZ zbBo^;cHnb-@I?9k5?|)gbze_Z7W;;`p6g3*E%9X>^&%&`*%v6i>HM9_?kp!B5QH~?p^O>d zVjoR)@+`(S&K9Y`rqDfVPpdq3P$m4O^SE9)b0A)^m2y@bpe;A{8s)wVP0Gji%g@Kh z4q+S0UKSh?;HhBUPQLc84H+{yzaVD^eJW<5GtK@$yK2w!;X;$(pX`nU>YMUiU(1;B z8hNm?e^mB)%D#<0c5EHRGz|3K4^QYlu>+iA6X#5spVNkHoDYM8s&9q*@9z-p+#}jZ zd8T>J&TV?vT z@msN)IQkn{pX;eX$NPP;?Z9{hdG;ClE}t3d+cw@jRgP@if_*;+f3@1Aq1VwH(9j0{ z%Fxvt{AI0=n6!K5a31)&(d#y$PrthE9-RxQeI7c8E4Sl1`I2{J%={3zF5Na9oMu@2 z8ApSQ`R5|5^Fzh)F?LLQ4lvZJ9PyK?3@>&Xc{{`vOE;UozF*rhFY^7L3=!k-XPPHV zi39kNXS?yc6^p70UvrYd2g8&!#VGx$9K+T+3uo=J^V$`<6+LCKgilw z8G3@fqrn<-t9B|E4qs~BDl?|q>z$T=eST{o#Mukzq7rn}R^F+NX3ohEvpz8YTyG!y zb8;NHDgB}OkgU|XEs}SNIbQ|Nb$*NJteo$XwX*3Q`Oex6`p1raT6K_p#mRY+tuOg5 zeIVKj_$S9M15ck|o}^ERH_Z&y;Ik;Mz0ZMc{UvQ<==?*1h>tjIk7BY*Zkec+^JmRj8l{gPl$OaR{@-k%=jklm+`x_Cc~nk z>5St`{BC9*J*@c~&WgL6GMeWu?blAek40vy2JRWdhxa&^+$sc?V# z>S5e9on@Y^<{ft0%f1l&GJ5@{ZtlvFJ!_OlOq{bC9N76)UgF%Iqh4YiI_sHzw?WN| z;y@ne{4Mr9hH1;-2U&TBe2-$cgnvG#Gelgvd6>O+rG1lKzN%l>@Z5JIQCL?^jEy#G zxx-0#`7&cz#2#wds6WBaYW{gzXASTM7>6}3?1!7J@%j2{q4fZ^sAO~G%bxZY-dW#A zaBt|-p1y@;-oEPm?BWk_KHOIB0@9u}XN^K@2*0A8aPsb`9jp@=`s8f&R-JpQ^KG?W zpm~fW&(ImVRv>>t`*Z(DoF&3~Uo~?wD9#VfXg`mKyQ~%aeS-e0$yF;OSFIX+AQP

BphtkHsGeE`MwfW3%K|N zIOTao*;fGW_O;w)j*EvLz~9LS2HE_~$344QJFBL=)@U`JFlD>=4SnCM@(%w7u)PCe z^L!WO58NC$?tRYmuj35lIoR^gm*k1>a(0zq)*f2FcmxdYbSRFE4_K5Iewb#a(&D?{aT(8%lx7*6f`r6jo`G1;sWb!>v ztuxR6H*~>W4}H5eZrTu^mGV~x|5el9tY6|++Z-B6HWcYGs#o(_MKD_WCz5&Us)=RIZMuN-+Iy}k(iNv|(V z(d)ur`WdEgA^2Ml{-i5w7*7rOD*$g^a46i>2=|O#xG1GP&PB3fG^4?#a#dtw3YSrE zsazG|(#lf-m*TN){{WYV_Or(cT(%`~+4g_LCH40ThsaRQEEtgOHQ=!ZJTj&}<%rt& z8@P8^az{4NzhiGiocp$zfAkhSJukf56bqlni2+2AZ~A@!KSequ z&V6vF(;?T9yP&ejnSCDqjv7#RIxON zfjjkQ=ez8A^b@^F*+@RyDRXl1$()?r)Oy!Zum27n;+__rk_Thal;kybvD1fa;(pmZ zr2pCfME|cauA%%PIccz2G#4|#ho7@l9v~M<@Z_yQH?jU1Wlt-zGfQhYS5hX-x@`+| z&!_gP%oGl-u~}!J?y+ommGz`Y_Z3s#P@Z*AtIW{5bigP3xpdz3*)cDDbq}}vo#$jn z$q)LULciC9 z_RLle(%*^ApMAxi*~&$#&iBQ(%-J(r{M){%v`;)-g=XaD!u<5u zs&h==0`~UQHJDD$q7Bx*4?CT9n>nkZj(t6gt4&`mdwAC7MrSW#U({{bkgFTg9t)Rc z$2x(dIT)Q?>^nF1sgIcx&FpD}PpwN)<*BU zBC*CimRRHA&&!|hv4lT5`vA`l@azE34)E*%&vx=`C(m~BY$wll@@xyww(x8V&$jSv z3(r>J_cS+*D%M`D$t_>HLiyLtBfNcUy)CnwbJIGTxkqIcIzaog)&_a@F>l{{T3WAY zzIXWT&B5$q`CCuzWB$v=#lFSoCz*%v1-`xo`n<%~=f9No-Lf&ox{Ial3iG6&JW9#4 zMU+jjpZKC4)=ubq4^ts|D=Cu?j|(4*l?ynXTY-dOX#^v>fo z-dGJdA(!&;nvGepG_!4<&bpEO53{DwOCH(50#E0ylreKmk!ZJjk0+-0dDrZj9ip#9 z!uQy{yziQAij4N9`Ez2I5|93<&hL1d_|2JSMg-lhIyLwpf}`%ta_&R$>^%p)Un3s` zTS9k!w_ta2ui!o0JHt4Atr2JoKzJn-BO5<}jrcp(dNV#7YEMVT z$QOxFR=$Y*kj2Z{3dHwgDSt5&oK&XSKvH!`QI3BN)q< zxDOm2`*Kphrsmp7mlA6WI(DFw?{#AJ{-nIj?%2frIii!#LbH9uN}q(L?_U>;iC*lu z=fsYw%(?8b@O1NJK4aINH@Xu*>-EEUCwUGHzTA=z?bVbO$KOsAsf_aQRHlVGZ-M8& zWVv0?ZkTfrx;I;~p8D>KbVi`c>l~s99g_clqrB7ZR@O4RiG#O6yR1*e#1jG55mWn6 zo!*o_0_1NfZm+dq&s4>Tbhevfk9PYnP*(FTxFeL+S!k*6pG)ok9J{SB^X-%o9yG3} zQ_7W|tA2=$GA_lOoU(%LdnvFfheqYB_w*Y^#;c5Adm^R1Zq5N3RE~Le$~~IW-Y#+n zWc!IWHRfn z_>6G=^D6G#6a2TGGq~KklyU*i7rKqURc;l$qjuDu+Fg}Wu6r!-=a$i*y`MWinX^pz zemP~BpNqRE*yk|nd@SAnrm-y}W~xtzA3wl;x&N>2SHbx9b2f~A#$egA2l0KeQ~dfA zpC|n%$#!c^7QSu5cgZ21ehfb?;pI-W9`27t24}HgsJwKIi`dq_{LCGj%URRC-^+e3 zctrhz^1+S^W?DX4gpbd>nmuy_3{8R#GM#RJ5BrX9}@2h01eP~Ho+2QirQV%GgetOtFNIr_NO z9_Pa|2VYEn{~_O(B2yaZQ}Xo<)?4Cjr zEf~Ard2fQTsmXp?-(g%1ZiH*$MmTz3vhJFJx{m|f9o0c%Em)U%q4QU68NvZQwt)`(o=JFZo2;za+oHzVFw|oa!7}&I5k0=~H`Me)FVs zWi|7ou?q(#esN5)Hpu(D^UcfMoU8BnvR%kiE;Xpk!;bWyZQG4od8WE1baCt{>ZuL! zz1o;a8;W!8qKp-L7;k1+Wy2T8el?`*naQ%!5jE&|*4Q>atnqN)Q(5$q*m1AdT2GP= z`06i&*9jeW@+td5ed@Q<@0&bVzn*cXl7RNc;`IY}E~%_+kXMp*E&Br*ya(C(UCOTB zc4q7i^|k^>HPto>)wK0wBw9l?-=Vw(>5yhn`Ax7 zNcFds_1Hbcp;P;~HQC4Yd=89>ykOc9O+L+Y3zyWj`*8~45UN>OxK5f~%qFK?aF&D=^V9Uv%2Mj`3d-`|*&nmW-n8 zAN!x5ZM9*?9nOsP@?0<*WO}^6jHRzOI%R&Be4ga}{{DZNtSg(#DvJ*I1PsRGoMlb8XR{vd>#0pr$(%8m>>j-Q$xGNZ{~&5NMa4*hU_Jf%ey$H3~iuV%(z&0Xxd?I@?efN~GKVT7ZG|Zg@b;Jr6RI?Uo%-)6XW6c1&x{Ecc z1^B$mOG}usM~}eIQPy&FuEV3mC&KuxDldO&8tYYB58i;!8OGN%#PLaAyN|!XEAS+NA| z_w`z+i`wS#ooOk-1vcVizzQ8lcurfdEF5JJ<4842+ zdKt|ewM6qNAM935PX7HFbY1w>EY~${x~)<)DY`rp>s9z4uLIAtD)Up%Qf@PG?v4!T~3FPQ_u9$*fvbt`@c z-bfThevYr*m#}gkwC*F^Eq+6?)Aq-N9}oCx26w`b@)DfbZHSaLC zcUsr`3vF*F4pTSG^vOSPzN=4Y6}yd`{P3l*HEDy-r&2DFV$w&TKiya3Ij^j5CwU^n zTB?pe4PQQ;_La>)hW~cKe+Rh-rxY3>7b%!=&AF}JBhxm={oc*ugD`yY@S2RxwLi1> z2@f-Ki=TcwW5%#wLc84aHVu0I3HOJ*3_QY%^H)M%QHZ*Np@2<_CVE} z+Y@=jZPCv!<%LcdVoHq1ikDdHMIUC}jGVG+avf-+RsI9~wznjiQ`U`dxFwlW){e~R zC8x~KxPQpsI_Nx_Z;B5okBnGU+?N*I0PU3+pOsIxjeIhAcv|`O1=hX<2R~&Y?zSek ztjhST+%oL`d7{lNH6XVf2 zOHISd?EC8B!Egh-K<i6FOnr@wOfiJsYhtAw#>stKub!B}levZ@Y5J zs%^f1PU|ujuE3dc@PsSjOgVUua!I< z@8rlh>n6HmPds!|ti;k$_FBDoM!dsZot|%4N3!hKQ}9XywxeiLwD@`+HalfhR&*#D zyjiy85W4bv?0m6!GGEMrKb5ZZ-FfbeD|O!fz`Th^9Go~~{&%epi}rdM%WmC~&OS)l zIvQioC~teJtOyW~$xn{|HO8-UJ;|}>Dt0zx?9jlVTshHn>bO(K7-x*$x5zD6^Qryj z&+KPqKV9nCfu|dPEppM2UF%_oe}z9RPlR z(#A;TRmD~8*o)W7>9~)1b?Rw;bgxs(!*h$rK@(x-O?n`Leu-iWb|ug4<-iyV_btp% zK7Bg5Umo<%48#3XNq^OmA5nCbc(sjor2EBtVfJ6kc8Wp|IxE!Lt87Ys-I9_Es=O)r zn`Jm7m*nacs+8+vbSk7l@`rTj-3S7rL@^0{F>=z78@k4^yWsUKsO?mjCaGt>=!; z4V>v0qz(N}<8vJO@pc?TYq56h=?U|{TT|nnq(~s)wo#Cv=kEXuoF2+Ici3`n5 zea{*5&U*{S(Vp1VsqeA3ocC7ye$F~deXn~VQv3Ix87tND1hd9S#O z$^?`TO?~VYE5;I zSbI?h(J>twyh@*Z{9bf9`Lczv|4++QJMguH>JUf&H@Ef-@C{ z{&=tz^Y8=5LueTlMKe`$t?0{BEv zd9%?O*+*OOdnGRiWY3SRF{%B7=aQGNK3F$7c&_COZzRUQ(TVYEU!J{oV#mBhi;A_+ zWIP%pu=9InOmJV49OGd8kpIJ2E_B9W*@jMj)9y!CK5N;!#9S|m<@eVg$m^B8Xye9? z$C<8~_Fa9PyS0fn!}vbhlk(C}?0q&9u9uvj&~Y~Jtb2^K&tRD3a8AdqJlhXWESY9z z#o`&!dHEwl?bT+XJm}&1RkwjLo4Gu&g8r3NBHl8S9dVp343PI)`X56-l<>K zvhdF*1{d;Mbw0(X%KPC>{nnga!L!$xH;0B!H-DE=PIK1+FFJF#mANy>ro)V{E!{lX zSD^Jodq0B{_jGcCH6JEEGge7Ef{ou#wx{4l`)a;TnJ*B7I<{_RESq+9KAd8mqM;~x zAfhA1Ge)l@k?i9cUU^4tvL2yyw`6hUb*WhDLzM%XIhN%O2)PR-ItEt z>S=$?m)2qHYj2P>!r%{B8<+hr{U}}=4Sqt%u15C75ocnq72_J$F@on&!RRtT8z@%`yAUShMrt=S1iI3j8|qz=SS~NgjkK+yAV~es+0E z{ZeC|vgO)NOSkU;2Vr1v?pn9{3|}7mFm=+IuQbl0D^KIBRr-4#{OG%$le-(#J3Zga zbBF#?;d>1Dv$ajb0H8CdYVU_1D|EBiNGFj*oOdzs-NK9)5Ooc6VNsvv4@m=G^G) zgYS*bK6GJp_KTNBXCI!)yVf(?d+!_7erWUP_QU^)Z%V(t!=ht)I18qGeOfF&Dmtb+ zBaQnT@r#Jf_NmbC=EB&yFDyL%D!6)NI+o@bs!qG;GNQ)cOXDebAOQ^v=;^|YDCo+jJou-Asl6f*@* z2gY*Xb>RHbSTjqo9{M!*tR>;q-RTbR*!1z8cHt8}`MAX+;PO>$0b7n;7~9?@nltwL z9XLhq{f)f&&a$>MV=n^dc5q!sZsZTawQ%}0I9-75sRpNls~4OKwmJ0SNx>aHM12_l zQFsW9-jM49kG;TI&RMd(^fQI>4&HjeTOD|s(~r0OS=HQuM!dXmT?*dxUU*a4^k?ic zUhuZT!rPQtw%oPxM*I8n@Xb=6rQ*f;o*I_|C(l`a6+Xs2>r#!2HIK2YA-$+n%4n=O-?qU)jjmd*po& z=#p~ccIxYHMj%lw&^zBpI|JvCz2Vjp=k z&6p~kA%l$&^^Bfbr8oq3Ire^M6>I$6*)6$w=2Nfujpq_Gx+T|`b0<4CtmpVQ=2eZR zJaK;y_^TRAt_}7@Pe%DP)ls>?jo!1$ZZu;`Z}J3F+mI|#8PDIoF)#JG)AmsOd&0(o z-I4FUvC+d}JJBxHzn}8fY=!*fC_AUv1kPn(rju!Me1m z{~&e3&jwlpl#PrxozTTR&xBLd8DYhZ&zepiZuR(RXQWJfORz;ltOs%aP1$Q}_kS4r zvFHI>n@>4>_D=23)4A5-YweMJi#qXFJ<0rxw4fay@C9GT*09$GIWGzuwY%42-P`<2 z?K3$0x@qcblP}a+YH};iF~hRD&mJ{RGVfaax~kuhi-D|UU+M}!XXUZydxZy|w`LS| zk*U(3qW>Q5bbpL|mY({7-|Y$85C3SkX~;&;hrJUkCXRk6Hwx?qxe$HU-)bg=I=3+% z&fBS1-Do!Jf!Gi0a*;utrJ=TkH?^<)sTZ3=itF$@)cG`ceX-fFHgCqBO_|RV4_!CP zj(2s*FQ+bd(cjO#vq8rea@O8;R)F-rXhn7Zo3n|wa_60w?>_z>%3uzC!|ESn?3en6 zRd8WyXO%Czz8+fMoE_@CoV$c>2PYxcbVB&|J)_Q;_G_;6%?tUva@Rdu&{_t5 z@ZE3jOSbteedVR}BYI2iOZijk>!CjMOJu_AJEL0{7kPUGYXIy+Kbta|L8|% zL=%ZZ(YqgfTe1ne&5=Q=`iFauf@)WMTeJpyAv4tZ)Y|lH<+#*Chhe@qjxi0$lgjng zCKhGx!q50wFE&SekgLS0o{tc#D&hB24zD{{7Qia=jbZZNgrir+d8r zm7d$m)%O)S^a*@x{8t$sv@v1Mo!c5tp8}7>6p|LysJZBAs z!N)msTAzF``I`9p!9H-U@$BQ-iPc|iKTJ&HMdXj!p%U=50Y&#D5&>Z2R4Hcl?<%x~z7qOyRYk07jnY-Dp;P?h$an_pQhu{NRcsui^)B zMo5YA*4L9S-i@!Lw)IZ!e-In|;IUBWq5WxA&K&3Bq2{9V@?N<4EzUXV=&skEvgMNx zZyw%$gtItJX7l7xq44C(;L{@?;oP*%SGR{gp?x9vmCR9sxxN#61W&P>`D~6d$LRAo zbF4Yn`#AF~UtG8jl@H+BeBV@V&oG4!@9MMXE1|vx&|G|*wU*fz2fyI7Fg~*snf#th z;>^Wvy(iy~`^SS#oK+F0PBpxtG7eu2)=M^xYVIiWt_pe%zu#1blC*Yri1l;IS3$#`4T2xO@RHuimI?jP%oTm)`OS*Y zTw^L9xZ4yxYBGc8u}^wr7P{#X&x&2>gSam})}pve+xucKZW-QwK4W>2y#6@%lJ?M7 z|NE}@#mbOHJ@i$eGFz^02PZ|sk@^<=5&G)}H=4gVa!z>U-C2HQFn|x}r`V zeCYxIUEWM=uknNu(u05ZjR>Ak+4#$eqM`KDrRTtT9K0y^L^hvr_ow9iN0A4j0UvYQ zjQlwQ9u6`lZ#wygn!_)1XPeiXCHp$W_e{_DEZMG?-kvxAfH$+gYdd-fnIn0#7`Y>v zqIJD9fd9Y;p%3KD-|1KQ-c6pIcyfn#LIr07W|4Qg;&T_6N;ArgnXr7)n0TQnN^4Hb z&P(`KEd9KxY=c*Q<_dT-EojNi(V-Kmo{$QHuU_bcOnxr%*FLhw%&>R%oCxI=Xf_|;t6CN zutkv_nVMJH%;Id~Bfj(?`!DAmy>!^pzg(WNl=Y_|F~6W}7SSnw?z|(L*@NjFTXE>C zrZbn{FXm;n{|?)}8#x>2Tw;SCflaU?-e~&PJ%OBGc=HqS%a6PQjdk`QTStP^LtjO1 zOYW}OI--iQFXmOWcmKk49@)&92iRk0EV}AM*63xE-z1LpCNLd&$#izV${mT=mEA{8 z=ZjlLx4*iawPSplH_2O+-`w2@Pt&)28pn^B@@jCc?nR1GATD(uWQvS-Yr<}4A zDci@q`5DtO<|E+Ct?0JKnw#}q^6nKgZ<<3KZyWOC7okqhFV5-)-eO-)R{W?wCslAh zX+8N(6#?Jb6~rX6{9V!9j~J8n5PNt_d^z?0{SW5mnX&ckF5?qgN52*OOvN$QSy;oa zKz7KNTXC&LbK^TEA-5H;Q{TIk`;X3%U-nmx1$`qJRsNdynaW*rpi}8Ret(wV33TgY zw6Ap#V*J6mv?V-k>3=?+=VOBvJXibn8f$jPxA`qQinU>DKlu{ch~gi0easX-M65V4wgD;h9CVo(UR%oHAygg)!{OESco%lcscI9=ZulqukH!E6a!nd<11MMCI?&t;R-K1|BPx_W4 znIrAd6V26uNAW&q{uUmmj`pOXFYedc(po-0c0KX*Z^?IJ4Bv&O1RpfhE!ux{*;B2)Rdg5{Hcifx!G|6aHln4pgZRzKr9YOT-l z9o5z+>*su4g6z!)hm!fiyLA4g==bK`_8nh}2O)DTy_qc=nCH^lz*Ir*##!vko-5t` zN7j8B@5mivJn6ya@tzgY>yX<&OBDWwGql<$U)eDGT!4V_CY^QW8z?C?ox zfbXIW-o=sK(%H+4mrwp%VAJ%Lm&7W)RPOYc755Lj|6_LnSJe*B ziZIcUr&4cC6=9dR}#pUV0UJ z_5Dk`(MQOX`Vsinnk%()JLTkm7VJqpsPd)Bn2G!?=6;NPtmstuU49fgU$U>1-&?Xn zuhbBC=|OLbzRJdak@F(XwqPq;v-ZAT#_{#tcAJjtMRXT4>ALLpzRz}sQ3@D z&(0ojt??UR5uOA~54iJa-0UF}%mMoPsh6=L&n2_eW*j{&IR_n|)s20DuL*8)I)>v;^^|9aes9; z_J(L|0`H{5ExF1wuNhnM8ayn1a^~bCl#%b1GB0ye=4GztrI#`N4|%K_@9*^q-Zdv} z%;y`xx?K2RZYudbhwl%KGliCJg$^9tNw+%qBUX@8Ouy2Xv-tj8VEN=FhZ2=H@x9c? zyfLm)+Ij&v)sA1Zoovf#r<-{Y&5fsyWncSQw@Hpmdh$WwksXsqKhoi{m&;5}MGxcA z9GykIImD0+?P`uSznWXWKEb=;eK(&a@XhDYQ^*+BR*LLba@gDtj8W^u7^1^uwFS;_=rgwfM=Mi zQi}#Y`y9C_jF-JtDGIGxJCwb1uJKib{quuUfs_`9O6Y_ zmHt#&#USz~us+n7sFaN(8M>e;VZ{Nr(vD(Ysc|skp%sdSDc*Gz?**gdUp>lPO7Do? zX8kNt^d0(FTrHn6lKYA$tn)(S)Q48asBJIpS@AUH*;ALOypT49=lE-h!cS5Eg#hi&w-WNt!9*xoAmkS-g{c{@K6UZB6IB;*cKx6q8iE zK>2D`%wbKUa0M{Q29U2a7GEbpdEu!F|5M`nZXJHp(``1E1ZUsFW}3@v)Xej1hVc#&^j_x7T&VzoXze z=?wWeb$l29iawU=jC=5-`B8h4F_v!v++~*kZu7q6%>}GmI=sJXXQD{w+N+HK^#u<( z2Dxg(f%V28B#O!@qu4}L_Dys~?8UqhmM!v9iRb(I#45V6hjL$t?1+2LncOzo6qT8g zmngPy1lm)dpF(~fK?grfABWK;WyVyn-jSvDN`8qCM*UQ~sTaRUdvZ^*n}~flcGJE$ zPL0=2Vr*YH!xSDw*BxQ}>)}sNgj|+q3amAU{5hc=Rjf^JRXm)vhr6-+Ho%t=Vf@}|eCP{r$Dz%{1CqAu z6TCmf+{<=7g1&nW`V!BGCWPZzv@iPdh;E=S*)WRtsSnZGu5Ze|H&1w2Q?X(oyxZ~3 zM3MBS>K&m!*48?sk7vwyXrw6;Ew!PO1;;kdR25xlJ|{e$D0-ec;&1slinEDd$4c%o z@2W@MTjds?uinVlMCJ$%tuu8IN0ZI7hx+nioOqLBO^P!ykIyN#rTCNLO?64WZabVP zx{UT6T6mMSZq5J0$ZXMr=s>YR(OwUql3kj2$t}%2ap?PH_X>XTlg2AKjJ`X|18ql*|uZDPoBwdox}G%CcV|9o5~+8s@qY6O*sPE`k=>Cv3<&}+!BxP z=y2lWhke7?m&E#t|Jhv5ZV&db4p;|YI%Up-C)b(Gy}PKdHT`nG_KtcwBF58t<)VTe zhsceQy~>%BdjoHk-RFU4$c-)3nqfM51KqTrj{lnqKYIr{(S6psqTpby5!V(B0np{-=LC^$0p_jrnLw+~e<&vLwnH2V*bkvSTZHmm249V_$PBEPH5Y7j=Eu+pX+dJA&S- z-<26V%x4;S5M2%D?@ZRM&VVLH(Vy0oGKm9~ct+MgMocEbT|3cP@4w>=a`c{JxhxyPW`u}J< z^zY8y06+d{$}e(jDO-1qA*UzvXaVhL4L=_mC}Z8GjJ2MsuxCXJdZAz>aW>$X#&^w2 z{zwzMGs6^}L(D~cxSJm_E2az&-9h}Y@@bw8W6jyY|M}RlhIwVrScT@!Ko@rcPg-Ug zdNgCu{%;@fMUwKiddiQ87nn{j@Z}}p(|CJdPE-od&tgyh$v1*HHZpq3v$@z(Bif*K z`QK6SF!VghB6w0c>6i0fbkYlL3D<&M{7+wf4ZPcv9BccLMCC5VsqtLNbB*&8eEMlS z>@}u?2S4e7FH2vzl)Gu{d~hch ztB^M1?9;kGe}8TZo1Q)JbKvgs{rQ@|OD18DiQd;_&Nt*Nmy8U((#3o2L+zq1-pw@dzS`+;gE~fKC>wwm0&CLd zN9jX#v{#~Fjdy;xXEgh)PTG8}>skFlj|Z*q-ua;v7z1m3^Sj|+ z(Wqe7?{M;cT_lXY;yM z1v_e>z4_SHTfDydYoNbu@ZLtgoP3gN8GqZeg{}9qHkpk+dvZMf8SxcoecZ`AX-nqH zp<5n&m~|zslWZkl&V-Ot(5>`p>-UjMloKr~MnuehV}SY0hZZ09n!chJ{Kv5uJA@DQ zq3>@~N8^Paf<1{X_zU3Jc ze>5L>ce4*wda0~d=aLTZuyhh~?qiJMkCa-XfC*$a6;Il*MN%BJqxf3dQkoJ3hBbDc~ zubSs~!TV(swr?)QUTZ;@2B76UY%bY#eot1b+VP~BPPO$6GDqurvR(0)$3oXD!hGL_ ze%wm?g*l?{i5=P_}>UD=l{Kihd81{Uo%5g(BIVC_SCoqQFCf0lrg z?%#!vZ-sAO|DDY@`%fg2drZcs@Ta}U#BOVB#~rj4rH=Z-5ASn$Z3^@B612lO=B|gv zYRs&d^mqh6n{$(_{en8X+|RSc{8oLw@AH4C>y_7nMt8&YMaw+LbtZvLf8XohQ|jP_ z^T>kAE1QXZm<|2;@IPPmW@jnx*MxkL{P`Jkq53uCK^SDNo{@J_N!-9XgDV}{(|YY+ zD0gh_+Wq(z_;5K^&ezWGB_2%Yp2ROBe;$V3c9D~JRpzkPHr5U@;pM}W&BQm5ty2!o z)cAMhaxQDI7n+#^9c`HMOzr_}anVhe8Mk-q0^}F;d;nY7U}G8omQBcu*dvSlJ2qe! zYA(h?FOp|pV?G>NkSfo_Q-kTqo{v)c+e*Lc?@{_wTd!ezJMBGY`PAb&e!!Sc*G4`# z#5b}0JYr|{-SA;KKGJq@6yWb+wLzHe=~PCygUqlaPa;~n+^^gOH?|z6JB<~Kg`Lzjf_9QxIM%HPgPI* zt1`fsled|U4|pguz4cM-??=cJ)j2Ge!ZRM|KA*V9ZeY$kkJufu$#=e)E1MXdTiF(^ z+QAw~VZQNIZ1C^Vy4b!i`To6}Sv>-pT+DlG?Tv9Pg0~O*Mp*u(_7@C;hf9CrZ@u&81v{$wdm6sl zc7++U9b3G{pP%(`s4NSaoK+So&+17txA)F5tLE^o#AF;@1fS)@W82{4GWfV8>H8LV zOhp-dT;}n%D()&?ZH6xw%Z~Dl*jvgS;~V^eEZO^k(44GN+MPqYQ~0fNnaIH@#2{qz zmUv8kn0jr`PHUB~-##9Ho;k7ihuG)Q*mGycM3eS!O~5cJI%=BN;Ax zHoN0l$_YP5l6o>#=B9qvd2*Ibnasz2oj9lN1d#qb25;*exi^>(?Jx0QXEvkD&%s|l z&_xWl5IYxt@euD{gVw&xTZxohw+(TL${V_yvTt&fpaI{yBK2xcuOxah35jpFR1s0v(1x&Rj>)xh?o0e zkjs)k_guOd*F8yC(>EE9)4${--xZ9RlT=%RvGc1 zGXIY(S*UnR8+fRFyJ{Br4{p&IX|E)TZx8+IykX^Iw(u81|Euj<#^1}_{smZtPpzv6 zpIg~;BRoeKcL_PgW-9(B`NXBb5!CY$q2js`+!+Tx0$Ie+YVnildmHhZ{E(T;nnJ90 zZ_TXrjJ1XsN^_WeeDcnQQ8&}<9J7sF+R{w&Q^}cZVV~l`2e;(1k1(jZL+iBzdlmU9 zKK$hx);={q)uY$tYL2FwJ2zoV_bvWgqG$nmRiRP%c&sHnn@5b)Z?9bm=9$2#@&1@?g{C)P)4Y8KI;wN!-niazC8xNl%lto_s-?uL^v1Tgs(C)ac>zh*mc-l^O1pf zFi({}Vw&UxR^g*u!@rkI+}iW51OC)sJZN1^P<0%?9=& z*z_s9)9}UK~wchh>>bPkAt%==2&Ze@hNgT}}u(;a&LAoV0OM6avB+pF-Wc(sSUSCS**OYEDXmsvNNPdBZDK1%THVSosXYju+j5ZR}**h-dqYlICYM*)&!2Tta&yQ>RXXZ!f~^A zLj6yPcWR!0|F=XxEryck7Kd1ev+&C2d#ZMbo;}bj=TcS>SFgXB@@gjl3_ll~s8_B78FL>nZRPxikJD})FiYok z@opNwMcaponU_(9e4t?TuL;h7m~_dXt>2SaGcfmufN3>lKTO>O?HXjiV7MlQrb?O5 z`Jxx(vf?T&zi0i4c@@0`{J+dKFI4ZquDrR6+>J{q_eJ7^xTkZ)OILQq}YED+rkT8@zE*{b6$ocJBRPY zu0;9&0B#;>|F;Y5txuQ*a2^F`jewV&PY5Tk_~d)+QHP`@%Sv zkk1}|i@y~An)>4yd(yws;Mh^J%R7N=Yi(skoFT$_>%`VNgZO^q z(Xse3WnE_O=c#i5J0b#2kUJMU#<{&#oXI<(bqjI0>5?tpaTQJ8v8~l9_3oyg>lR~<{t=kg;rG)9^v!*T zyep&3dv@4o#d`6TrqH+aq{a{gf7Ps8`xs}4*nl5?sKSR){Kpx?24X4ICav{ao?%}$ zNPg5Us@ya~+8nd1c9lPK!DX`CwswS4FF^UJ|AMfOO8S&}ozKxDg zmPvhQ<0p7Uyj)9V@KIp;u{*{d?-rv+G)Rz9)?KMRjn)H6@;$_Pl{N;=4met)p zy=M6>w_olQRJq{`8kR40aNv(L`7c^E^`eVsELn9D02esb?Dnr(ylipfqPp5swC|^v z#k?5`nFUv6Lu6Uwl86PGQ$T$!s*Bt*sDBGE2O6vM0{{fN?VtbR}P-hbQTrbVKG#Yh1fI8i*^=A+w>2yme=J!!&EgGJ z^jo!)bY0$12Lt_!({00L(WBK~|MdJ@usVqUZ3H#m-q=*Pbo!FTOBXlUgplNA4e}J_ z7c5@ojL|80%5qC1s|GhGR9WMiSGS}tVhM1R{{eT}(`Bk7 zNSjDQy?^QQT1dnuDrda!Z&-d?|1|z1Irfh_vYEo+v)a1G#SKh@1!oFX|DzWA#}`>< ziN;g1#Xo8wIoAGpyy4$7hyCq+1Ri{MctR4^E^e$J04PaUk=p+H6mcZ$COan*Fzf(P@ynpG+MoYFXv_w;bziClqng8MoE^->OI<`U4 zGz@CjdVCrXQsK7Cy}K?g;W1sPw7PTp8+d%0{ub6uUs~7L7+F}?XjSBQ-X4tac<#%ba9;L!SW;_G#I=#z{W1&m+;2U%Db{JfzxZk3kSqpYOR=Pz{sG^; zL$T8|4v0xO-l_h(8$9g|YUpHsJo)u$Ksyy&{|tYkv{SeD7-P=kck!(y&b9BIHHm@|6uWwg8iAnzd?#nYz;UjHWgwKUZQr@OA1+ zzg@4%?#pt#rq`@&Xg~{09}qKEA^uB_=XAwR3)ef<8;p{ZS$A-UqMn92T-ICbYWt_e z0`ZjnoLu~$gYy*i|2cSXscXRKJr&5Og!h!iPYv=vQU9GlPSOEBQ2+clS`K+ChELgF zYOzy;d1|^DRBteNxM`uQ%0MFiTOyz}wE)lUde&(ABVDyt)7Gvny+luVeD z3#fg|5s>3`@@uPqix(`RBhX`!j(#V5nr1nbgYmgE za`QXJDc=!U1LJx(alE8!Yr!!P&pZi^e;Ci~rw1GUR3p*}w7$D}9`Li5MieFnjRe7x z!7(cqRx|M23Z4ym34Nbx9E0Go_<_+_7CV8BejnS81zPp{y_l5usWWObN!_XlQlzfd znnhW@a-SP#{!S(nEHnyF} zM1&Z{lBUJCunGaL6#KT`Cj%7ac63+*y?Qy(+>}6puq=x}ush)lGf&|agsZ|Hc0BoZ zi?aHCLE9O+VzwCPcH4sT^J~CiwVOIsI~Mu$+h9YCK{YbCK&rLU51&m(tlA7vxQ0Ei z^xDgZteK<|Hm{R(LNL4O`iAAiIMAY%mJV!Oybvdspi+__!7~0vomEUF8ZPtmi^v*Z z`-?PGTgA+R<+mXGiD|&KjVVmKfOrvMZzqD542WBy@u5+1t0Zp}7wOkm&N`Ikx?iTq zxt4n(3m4ZU4UHs5PFb!-G1Q1{%Uo`S0PN5JOJbIQXj-f_D@&_ffAy8pWEUcyOXpuR zuit+h)GzbWw76z^ZKNske{6PWyUAq%7|aS#EL^g@8b_8f4H?hMWp%4=sjJbVfZcn4 zj8IW3$}gx{vK-nzuOF#N6k6gGY}ROjk5A2>kZX~cp4*)b3b9`; zUV01bNEW`XpLg9=S6_2w)rYS8(3QsaKjmlI^;N^7DgR<@f@S^fE?u&8`LYX^uWU;8 z^Dg3~jWRm^pLV_nI?Cg^ceMJ05JCtW+lr0tb&Op(23Zo=$b{7UM-mc9NC6ouv0qk; zcBNgj+FkFi@Z#qrN=sU$kH$)nkN`o|hQ25%X-I-wlIOZg%j=bDDMdN#T(I&&dejr`}WYwmN?Bglfb9%m&KX+7_iL8{wO9q6tYwk59|&{ zAHZu{=K~nQ?g#D(Jb*(6Hp_j;rr>yb!neng;k2*0&4*BcD)Md(zM%#t7!bztR4|=d zz@XFmB!+ReqEXKA;X^BNyx{hbzki1BI*KFD~T1s}+Prx~xb@az6+`)GaQIoj=H ze9$7NDFV+dakjn5EsZ z9QXj^6BhnZ4*t#@cvB9%j`1dod}j{+V#cldT>Xf$+mJ=h9OEGiKFxTS1)pNP(}JJM z!LQ|8|2jg^D z$sQGC&DECr*g>QcG1Lyl`Xhnpucfez`@2KfwZV zSBo+hF{&-rSopK{RP_=cU{I^RWEZUqQLDf1-e>C0g7z2Dm%gCr!Pj__&X(}*MCMJr zYDGn&ti23=LsPC&>tf}ruBlzW;lYPC);;X@c;~0bIVlTS<3a8PB5Kgs`-iL<5P&w5`1XA zEybq{A6iRq#D`)w+45F=Xnnd9pS$q68=rgeA-jGAADYt?FKY1FfDb(+_e1!6nlhQ^ zD%k+f8kZ#E6NG^t zgW+5IKwbYZUi}B4LwB5g;T6yg_r9~I)GG$&HtzdNw^vNeeEzWwd%fb^_TIkl|B+XG z>`PsjJAdMJ9e6%{`!{c@Z~ysEU%7niw)!t$Xf68j)q#4*mCp-bm>K={-;Qry|JBJ0 zcmJ~a;g5aw?fUmt{9)~}(E~p&{@&yFcw;96l||>W+ZJx`mT2Mg&!0Ki_|88+^562? z>RM}Wum0zzr+?#d(6^|D)$&tnZ?g&hzihzlHP|C^_E@XeDUzh4OQ0t}=Ri+_z76`;EAP#(!eCzmtp*)fdVRj7 zScuD@DNs>zeSR3U4)hFY6X;8z0njzZx5hfzs>qF3=Z11E5zx2S6*z zuFp?`4uZY}x_{;Mc_%D03AzDv2DAzEg&VKWKLOgb>iYa3=$VS^^X1qeRD9_A{2I_n z&^pl0TcIcD>f0fY@^@UHCueoueSQ8}(26zC7qsqP=tuecz`q>ye#iwKTX%i_D(Kk< zpf?=6s|NKzuRVNy{u(*_rt9;i*yvq;1a<(ea9^K44?3|O?IT>wfIb0Q(T4tkUIsk_ zdZzvQ{JT^RT8>F`rUUJQPJwoT&VZ&suYeAMUIQHmEq?U+{3*~1(6gXU&>7H5(6>PA zK*bI4WYAThouHMVU7(vmL!j-TY0v=Z0B9O?5cB}(IOqiE3DDD^XF$(^PJzyXo&&uK zIs;mOiGBsN0`wZ_TF~NM7+26r&<@Z#&=6=E^Z=;%1jd2r|~X8nm+u{R2(=VK30RH2Qb55br(%KL8#0G{yro{aM%r^vuBZ`OBc!J_o&S z5n}Ux$OoMOO@mf^9{vS73pxin_9gfi0@XO^2GA>@0noZH!=FJX4q-e&#VFcEP$~dj z1$qXw4s;5%1@s(f7ii~E=ndKhdJc33bQW~rIK~;lu;BNu&)0)iOki9=uYsPT{O@Bt zLC3yweZKfM_%G;c(6gY`p!-iiFVH8x3cWznpp&43pf7-41Dyk{n1r1`>p&|Icq_gJ z{XjcGe(Z^w9nR)B5>tp@D`Z35j78Uh^yeHQc#=n&{R&=a6D zpl3kEH!x11b)e!7;Gj;>!9RvSfSv&D0KN82$N{bR7W4-l13d>i1Ns)>--eyASagEc zfmVD6?SsyMjuZZ;7+=sa&}*OrXW-vX@V$(7K8*IyqaDyQplQ&~8MFgh@hZjvvSpzR&mkGCE*MN~e2*dIrzS2C%H1NS?g%j8*U@lPMF4GzgQpE6?d|Ca$lHsKz#fO%R7L65#OWt_>;>?9tUOtcBE^{=Qvu_;9 zKU~mX^4hEJW!~3bbu?49^VQed4Ry-8jN%R#9Lc9P^1qljo_Ex-< z^z5Zieqe34Y*GDncoq>9FPXjMUe^@y6>H$RcttHvzs7_-HJ^Cq1r#JPwZ&pDC0F za+DK~9Dnen!9!_!h+YGh()AcC&4*6{+dxcsNKYrQapJ>R>hbp;bPVTx3WKG_P3qAE zzF`OA3subarqJe4zrwV1tbMgN|KN6=3c7Tm#Q(@VpB9Y^x0rm|^E0epT5_C(Y! z9KA~-cF^3(oM&NTAyl22000nRSSlRLA z^#@CbmyH&WE!lFo=t!aW(9)3-&v^dP0>=(?VD=L1^XhB53vuEdDLJ&1_=){!!FWCi z=_+~Uf@k&;dYfTh<{%IfOrYx9=0dF5%drMP4SJ}*?ZDmwHY5>+1%QRhur@IEENB{7 z!3wOy%Kqlq;H5d+GFCWR^zoUC4KTs0ujwG+C3GuIyT@lQc}iw3ZZVd+XD&8TU}+|X z&e==bz~D79?7TQ5U;T)~;X#vf3VN2IwoIj=^V%Zx?*{m| zvipSN*qY;adk%hh_^xe-?i_Kt$8I0J!+qqo!>b+b7hbtI^Xh9fXcXGYCLF{y;yiTc z=pAFXA6|XrHmd5_Po|x@2nWL=q9)Tb3n6*KFp0LuZ^n8`HuS17_s}?cX&?inFo#jk zXz{j-?lST6`3tYS{ze_xFQabfE!cAye7%9(xSsr2Is9RV!%v3JhGVskIdT5j{2}bi zRNbMxV>cXM*)UoOX7LPC4GQ8qox#!UGk+MA{=U?``asjS#X_h=lM)h7& z1eVYcVgPhXL+;tza1K!R&(1$D>Exx!<)zuxEk{4ARRDEQqwXNi7%8RGK;E(P<0~2t zmJKf-DLu5T{&4Y;CCy_?M@zipg-45eXD(`&W($=K(c%<&;-%RpGn!wNhq*!PBQ0i*Zz(2O)t#w|rf5#DL43RR5$u(b zriaF$4%l13E@K`+A44qmj@)o)(P;+^;e&_>sr%!73{!$bH<@C!$*4xJQ9;G0uXGg{>M+?-_CVik1j(!?4R#V$}Xbx`%HU(@JYbp9QopP^(peR1Hd|gQJNm26TqIZV5b-1 zI|r=8!Z!=7-O|QYU@aD`0GnW!1*-tI!Gf&?R&Bvtz}5gW>f8aW(!v)4w%UTxok+O_ z8v<5p!A<}Z7L4vu-uB>pOoqZk?Z3pBo~MM(0lNY|BSv>GR;(EJF0&TC)xf4LST(Sh zfEoK+5A2+UuM^l=3tt4-6fh_BqK9M*usp4w6WB1z+l;hfzHF1z1rXt9z;hY0232fU z^R}KQVxyXgd*OW-^;Fnr%*guJP=9R$&dXE1NIWIvjk*gPoK6W@f6?=ExirnqT15&$$@oT?l}eUO7Nswa6f>19GdF| z?qgezH+v2?4R5I*X*|?0T0iDJ>^b6g#0uL!R=EAw9j>CbqV1n3p=|(-!s~Cy&A`d= zM~=E2&(B_ZoDv@9?Lgos_NJq*@kbp0a%t9a5F$|MCbV9nyDrT>Nr}hhxoYdB*=Cby zXhgagRUvLt^3hAPyC{u1yQo!2>ZAPjOS56hH(r{RO*CAZZKb?hY2_~3Uewm0(zwGw zx7WhRGrJK3)tG13q67v*t?fQqXWV0XqjYfaVDmasa43J&F_!0+J3Y1cOhL}c!1ek4 zRyiHSy$8ay-#WIAI@&LiKTM*|yFIucQDc;i;U0?NO``=*nH_@a%%aXzh}TZHVeM>J zTJ@W&$bB*0kG>Sn?2EH~N5{hY^JP-a5_}S+*|8Tx{#IXY!$ql`G zS#vh2VoE9QTHi*!7qCX4ol}lu_a48e@!*=_yS*bHK6F>psB`Sj!*?9HJ^!veRMqZB zey!$T3+l)BW#=F1-UX}+SPRmI`8S+Ltt->;DFOZkmLc#z`>*7uI5-9Vaqx#|((@gQ zhmJsAx*74(O-qBi0df2QEnYHeU5P660_iO7b-O5?-FMKTOYTi*vx*QR;|tw6Ujr{S zMUN97x_`a`>@)#cAM@$@a6u6OPx>?FH7E@%V!+zLM|aj;!1k;Cggg_XfT_tmfB90lDx6 zlI$KXJXjRPIm)d8q-l4inw9q;bXPw}cj}O5u=#LdJkzf1`z-iezlC!j@!@gda}`(% zumLq!v-8{GqR_Q%lr9WB7uzzDdR44&Uql2$eX{8Wyl@;GH17eLfb9oHYa2aepC^DF z05(NH);ER=JtVVn)X{-fGHWFJKk8I`0r%TVzp1=q6~}M!9K3n>rnZq)j$>pdWm$+M zU8cZ4^`Fe+dmh+1U{p?z6Q3)<&H@V%z<%C9_gFjB;E;_<@h+qM0QVugR?2(MN|dca znY5+ho|F1nkFpAs%_`a1*sRa8o#uWz!Iwszv#3LJSnESKzhrkB>N>#V;F%-2i^hEH z_vr%4L5CdEv0e6e26gv;5%=O|`Fc9b@p%_K6W|$BJlYozN-ek{etpBCY zWo-+067|4}fl(TLk>_MeKLNbJf|Gxwn4jVu&UBKW4ldMhYGWAXt8_i&38VK&gh~4| z_5v^`Fe;~q=rpj^!1R8S+Pe&_0+@_<`VN)bTZ8ff2qifikcR&1K7m#jI_DFHhvcjU zUp4sHUh4kGOE){JyanZ_P=1Ok(4`Mu@^Crn7D2gdC_6`}?Ezp-z?#$;%b3?hq5D6g zefD(HdlG!9FX26&fv@3U2`$IcU-Vv$^rUxap)YfMGsY#Xe@>LYjq-CS=l<&b9uBoK z)Jy-VzAFW=4>{bZuP&tY zRtqv{jOe{#1n(E6ZICA)T|@5*fn7lw`efrg?0G1UuDG*8Rv~V6fWLhVce$Y8pLQJk z$npCc4^|HU+Q_|!?ipP(cDMKNhmYKK)H!}9-S3+9*jw0ktD~u??a2itj^k9+Q`mBQ z;kG;6h1+i{Y+dd6Wzn{xmZDbLt3Hn6r{tFP)-6SCEnp(n*44z>c58c<5$oBl%-khrDgH`E899wbfe+9b;OI*I4qbMxnUdSb&y#b(!B-;L&JvQCkPNwwk)tpi4gZ z*Jx3jod1}d)2A^1X%6FY;xhnj_FLG$5x~Axf3N`WfYe+h|2qMmx^LrMwDN6}|2fW) z`(>troImHmKl!|QzF}<{&dbi4Yzp#8w_?0c-tZ@UN5$A`VC}%(MV=ngh2B@!;eGIB z0$AS$x;OXGT%ZLbI~Pc97x>=-|1k06AsH!P5xh$tBY@{O-p_1BWpvuJj4lq5sHfOV z^H9F~27jlDeU|l=mce?ggSZ~ZEQ9L2Hj8$|_t@TU!=BE|`;W&jB5bn0>ef(gcIfVK zE8ZkvE^mg2HT2FLassM-xlVd%i6m|>o$eeisGPmHG`ylD8w61Q-T#8`f*? X@Gb z^)KN27Y3Q~Ub9iD;Akg_+LkyCahmLL8g(cC4ENHiu3SIqvaL)sETauXneZ-C%NJf# za$Kc0>7D=hi&&?PZ5Fl_$ad-SL2qw&8PcdneW=9y|J0vn*De~z&GelBU~HGHUv3?7 zJPQ#9x0LU?BjBH&!k!0rx)}HD{+_n?UOKdR=&0hMm#KZIZw`!(uP%Vn3lPV13m~+G zNA@4>5B)X!Gr#kz&%6hb?;IXI?AZD$Ei>7{RCOzzi0ePV_c=(I(U)+-$MN7XRLPtU zwr0}Gb^+8qi@Hrz7Z2Gp?Zm$0hkSNGeic3kfTe&%kk*eAi4*uU1Dw{}?Dr1fx>!Kh z5oSNO1#Ao07O*W~Tfnw}Z2{W?wgqep*cPxYU|YbpfNcTW0=5Ng3)mL0Enr)~wt#H` z+XA))Yzx>Huq|L)z_x&G0oww$1#Ao07O*W~Tfnw}Z2{W?wgqep*cPxYU|YbpfNcTW z0=5Ng3)mL0Enr)~wt#H`+XA))Yzx>Huq|L)z_x&G0oww$1#Ao07O*W~Tfnw}Z2{W? zwgqep*cPxYU|YbpfNcTW0=5Ng3)mL0Enr)~wt#H`+XA))Yzx>Huq|L)z_x&G0oww$ z1#Ao07O*W~Tfnw}Z2{W?wgqep*cPxYU|YbpfNcTW0=5Ng3)mL0Enr)~wt#H`+XA)) zYzx>Huq|L)z_x&G0oww$1#Ao07O*W~Tfnw}Z2{W?wgqep*cPxYU|YbpfNcTW0=5Ng z3)mL0Enr)~wt#H`+XA))Yzx>Huq|L)z_x&G0oww$1#Ao07O*W~Tj2jw3!Er$OU)xp z^SB?ca6;$jEcySz`O-|k-7>YD^C#}|$kc~8f9}0{nYxYh#Y}HyI?d&)E#>cApN|n# zobQq)h4QZu1H~#|#CaE&mvDZ$LnW4RzJlpZOf|{p#FcraA6FA&1*%{bmoH&@3)87( zE}7DJHRpA|hL~?DQ{DdcdDS1m{PUb=bBe2+|6+-f&(;5rkr}r8zqJ9UP~&aW|F?F? zHE!j?D~l?aTKTjeTX8*Kt+<}I8Yh3H5Bc>TIB|&cAo7_jYtYGm7cF0T!;PzMy7`t0 ztUg%cg2$ zev2DS?aiAuh@B0as)gUPDVg#|1O7xnn1qL;;S>Z*ah#T-IBnvEgjBeDT_PBXbt`46 zofb^Wv0zf31vAO@r-JFM7MUFCt*0*3V$FePl#_SB(YLtQuY(7@#r#5|GhlAKdaxTU%EdpuwEZD z0rN2clMdGcwtV3bXBWlu#g#?zg3La`C@fzT3cY_Y<3*W$h8bTX7F(b5$zyn3H}fwQ zdVgTXON8D>m~q;*C_gjfr9!W_W_)?ZFU@$F(Bo;wS0Jm_2QywSDj!%3Un#_ci{Up2 zy{|LNxl!o-oEcvw7Ta&+i<`tb-hY|-Zx(uAX2x$3LwO6=mwc>7)%lCzdJ!>75h7pc z-KQ15P0Zb5mV*!=3dAqw&73Mm2(i%qYTvnBoaPvy>#22jrC4RLr@|NdEoqnsO|?He zS&-siIF9f@Jj=yYj&>_8?XCg$`}Ir5GAR~+?#IUg`5M>zW7Y0Lzg74`KdgJ-c9$XU zn*CqP(Xm78^T_+k!D)o!qUPU<1nF+)0{*|KLGVTh`>M4ce&&&9{pFikz zM)Us^3DQ&Jd~6c$GJeXiE>WFg7=-xGSa7A!3XHos&S-qcg)yOZ&W zwTfS#=hiVk#<+vsE%@gc?_~T2G7g^S z7;j=+?mvJZW4z9S{}JPrjF(9%LVS<$3dZ$0{jV7>w%{|2U%Ow~P0RTi<8zE_J%7pg zG~@c*T?m8Aak1d57(d0h?$_Onk6Gl`GCp9z-HeAUcst{r7WqELn;6&qiZWiuxVF!y z8FyObA7H%Lf*)o4>PM8_bUgez<8zGbcE8K`G~>G6bBs?}@QaL}vdDRp@d*q6JB$xm z_zUvYxC~hE8yQbCuII&v8IN1=8pcD6>v`c~ymO6Ldf;042R$u}58k72g$mJ`1Mkj( zt2l6rn6Rw-dnA7r*M6nrTf1dHkdpirLgR7nfZ|^%&RF8)XTbk{@z7c1)?JcR%jtZ` zYr=o`1LSl)Y?kw7@Kc=BxbD{p#^cPd@5{c$_yNW@aO+B+6~bwWt1mMDl$OKeb)NCL zO-i40Ea#_;PkvP4n;E~#_+`e|GQJ#+MEaL+R{WJLzk+es#}poC{s$R9#rV7MV|u)d zpL8kyH3}9!#-}ZKnsMP){Fk}iLB=n86n=o^9A-T3Rd@h-dcMZ^+!lp*C|JD6xT{Iw zLyTWwe424uzv=lE;{(l#|19@wWudZ9eT%|3=PCYs7$0a=_&L<4XCvcHI~0CZ!J>h2 z*G`33u>2<&?|M|>=Na$O{GAGaJ5LEpYy6W6Pci>*GCuW$!q+lB!uVUCQusK_nP7ad zOW{MjpiVOG3@co(v)^UBlJU#P({q;b(wO4k!18Apcf}Px$QRB(V|-#r;UVSt;unlh zo>cfXmh&sd&;3`0cga@u{%VDoRZ;^lV`^v8nU6y-zXAXYd?o^I;uUguz z%pphHKV)h5p&b0W-GQGh*56x1u_X>X0yz|KHLl~Ewtv@lv;7-Cpk3Eb&F!{>pY|={ z?-f3fuRKVP*Q8~^FsS!Nb0{rX#5E-(E1Nq^iO<{{tk~8Evc3h`ncH+ z&wPNKx%|cDOjzV3KS0jFlEvh#5HmUKBdW}L{wCW;<`Fl{} z6(aKoE8CYabxTb<^T< zLKZpS{s1`xcPuXFibc-%a>&v4ueR9#Yz}^H2mS6rJE`{1iAT+L_?sMZH2+x(|3&cU ziIu{NQ#*@|%Rfl|h4;_@6F9x)vEF;40r~g*zug|&v zm_wfx+~0vW6~8|J-VU7PPqX|=mj4mvzw%d#A7bV62yiE-jpT9W7rcMda(Y?*kmY{k zRb2Quu})dvQzTi=)Cy&{i9FTHvl{1nQ62Ywhj61JoE`^WzR3HIud|$qKUV$H=cYer z+;vIeFuQza7@uN0Yy3^dOFygl&oTc$X*s-4h%o*hJNN^or?%%W7Q${zdfv zA;1fzvyJdY`rD=Du>a38&r^(-^Ehfh{B6chF}{lV4>PX!8}Bmy z`;3b+H7)@jml?cTrvAE4tA3qj{*%lr>lT3*6uwy@Qs8+SUKyX<+N&?{h@{1eS-0J%Y6Bb9P)>m zzkt6(5n(yM$9So}*Jb>xjCb*TcQO7v;E9*bHAzNXgfC&&OAoa$^4bP zj_Y~R&3Kcg-RBs;%Ind7?(bK$9L9B={|@7C@p?MNjlanF6^s0fz{?leCtN0eqvD+Y zWe&WZ?Rj=e*+KhN3BDq*n4CKar+H_IGxsxoitp?6ym$z>a}j+SfYbiU`hI+e#IyGg zdR#&ze-SzRa^Sy1IP}!_hdTZoC;52)tG~yh?f(tt*XPjF+}0V!T{Fr)dR_Yg;fv_= z8uOp~wBpzPc9ro7KHuqe;a?bcTINdy6kbgJI^bkC@qju9Rk98b6F>TUiudhWek0@J zhf1GGj{j{r0Qf`$OVi z#Lkykj{d%ij?e$Z_*qN4uS@^We&0rqV;%kzhnGEDb=C2%7a&RdopC2&p z`mw_2xXuN}r#SxT`S@lI`PZ0#KgStuhcY;cobPP6L2map#s_$xtof@MFP>ETtY-d? z63)6ANox+=2b{)5-&<<=Pcv@ar|l;>n5T0V{~Tp}$bz3{-1WOk&q$uq>idif=GT5Q z1DxW6K37h#K`%4^6<+T&|2u>mJId+e8y#Y=-1rRRQyl*TY|lByD=qu3D~uOBujIUd za{@hA85bPqPbpZu!?=t0s{`!Mr!bMp-v*YcaqQ%Fm#k8FJAq zz~w!Re#wClN+{bvp;#ZppU&IdEncvChEWN&e z0yxe0YW`kL9oG#o|4H6g>$v*grJs;9sqxZH#d5U!IhN!4jN*TZD;#8efc0O?_?L6o z?KtyKTI}#`Eyse3?nJ7lDkj#Xh0phN!XNkb`NL7MCV(t{V&F^pdx<3smTrF};(I#i z-{b3v5*8&ak=h;X4O21@Odyp^1rxqhpRYR-iw2Vr5{UVFBeC87h%b{E38rpD!3qCH9G)gugH73-tH(?L!qq&PTsVFtdgu!9D$3 zwLib%{K&}k{XIocCTs%G1I zdXm9Zvf7lZG39Dax%H;p22<`qQ|=*CZlftzXUaWn%GFquF>6y}R;R|SPmNij8nZ?< zW|eBpI@Oq!sxfO-Yu2jPtW~X9t6H;GwPvkq&05u(wW>91RcqF&)~wZfvsUZPTCF#0 zwcf1Ndb3vR&04L0NW^wO8SGAV?2E(Mld=9pcW^uWOQ&}RpVG;s@TXc^Qn6@K^mgyW zZ)SpU{vNn$us7&w*;Q2ySM8-A&_w(DP~5#oI%=}9A9D>8PeI6}68>m1g6dQPx7^~D z!o2;71ZGN8&>t7cR06*+>WF#vrAQObHNwSH_~nwXug@QMM`O{(h`%@KOZt0)RdIhJ z1$C0CSiB?Lhsq?`i=PFx5^KPlh$WLqYQCOW;%OAN?S3+zN(fV~xu-e0y+4r*Ciann z3(81ADhNlr8)J#~L<}aN_Mle?zeI`zcZPcj6(N5z%qf~vDYZ>&F>Lf{Ny4ApQ+JtCCg6Ylsc=N)lU0aP zz-y}Nh}2d+Ok{l(;vOh|pjSim!74;L&?Hm@seuR({OXR#`YKtr0eT_#pwd?c{wjn# zKvjr~APU+j5yE?+K`^>EoQOq{+L;Q3W1!v`rcE@^5{}X@?l7lPu^uFP;^AsJagYyC z&BWfeZB-bAWC|k?$E*$~6Mk^?g!cxMyTkB`-o9{>=6NWXj{2#Ic=dx|i1!8ie9>S! zg`o@Y#n|`&h>m8=%6>9dZ!m=#NF;UrfL!{3sDZ4C?WE;67!6=C_W2rjxLX^14cqH| zKH;nX#CCUUvllRa;pl5<;?k!29m2PzrOo4R@wGKJ?riArb+|n(4L*UkyW{&@TUweu zULOp)Q6$5?dZdjo<}Eby_QON)Gr+w;8gOg^!rgG&vLb_(f|!_n2rIHyDjY=!jVfsnfuN`-u?n}s*WA(S%kF$S zTD`RI>G1E41SzD&{k;fi&jjHx^dm_*$3-CA(<8;Je)DRed@7Jp1}69Ub|(>_rJ_C( zN4?`f&vO`{4(BqG``~pc3S%gs4txDk>NC~ViwK(=jxPEUS}~_PV$!>J%7sEC_a(#F z`xq7Jlab7bKp=+QVhmD7a#DM=xq2*?h~Sr{u!D^AL3aed5p9lYk7Z3lh zu@--#H;9gRr~N+V*2Y$8xVw#jVOC-b*h>==gOM<@kSf8a`h(GKMBey5shV6h!@XEX z+A&>t`7zm1_<{j{%1_)H&n}lnBdbL#L5u;6yhuhdeWR(K1u9@Uq6VAfB9~Y=d{Vp! z*Y1|CAveIHyDu(t0gXzBfXbNDJ=kFX&hm! zB=FdnDNw+npaeE=Mn;2|bF`uz5ybcQVT5#OMr+9!?_WiGEE!Jw+Ohv?i0;MdRqiAN zPLRPpM#=u&v4qL%&@I|@n-)J`a~m2#g!1(#u`l$QxH_|^P;0ilBS9_p%a$Ml7o0*xW->-L zHn3M3H;}Yc?Zu5lR;pp8m+nq|%8IX-3rjE+PKEn|CZEM|2=^4e{%9;t{B$C~v@uj| zl^!E{~{FqL?dc)N$ zEn^B-Jrr@x>(uVrfSgy^daa@tH&%WhTt{y1NensVB3oU#&xPTos|8H;dg!EU*ir`I zfaEALDi|$=AcbRtX$B{lV6b*tYj1KFrp+3*Cc#h*;I`k#y?Xy&Q|SN60es*?NqQvThb@LfqmIu)jU zKwMPG{~gmC?XTM1AC3gpg#!$^J`YG8P$py>Dii~V0F zW3zW7Ltk;$_0Kw7$l>>O46Kp4>>vGpK_d?#VXS|};gUsHxV}^7vVW}g>rwPe{7*C8 zesR7_G8gmrXf|-wLZ+AoUK=p6N$6Ei3z{n<~pL*O( zm8JCiD_v?G|1Y4xSYQAD8Yf%2n#WPsFV_jC!TBp{}W67 z%>UteP}M)@(a{ayY%LPjRkY?m^tN&7QcJ43}NPCgu zoLQ%^+d+!KtnIGnC4N?rv7O>ne=9er`WNut+4xx0!FNg)um4`Ns$XfTV9ARA1??y4 A= 0 then mid else 0, children) end fun insertBinSearch (findChr, keyPos, children) = @@ -237,7 +237,6 @@ struct (* * todo: - * - Debug the Subscript error raised when calling helpInsert * - Complete code for FOUND_WITH_CHILDREN case in insert function. *) @@ -426,5 +425,5 @@ struct end | fromList ([]) = raise Empty - val trie = fromList ["hello"] + val trie = fromList ["hello", "bye", "try", "why"] end