From 75a61ec3d3896eacc34c25996bde2ae1554e638e Mon Sep 17 00:00:00 2001 From: Ryan Date: Wed, 2 Oct 2024 10:00:22 -0600 Subject: [PATCH] Update Generate Test Vector Example Use different size output to reiterate that the output is first in the results of :dumptests. Some minor rewording and wordsmithing. --- docs/ProgrammingCryptol.pdf | Bin 658545 -> 658614 bytes .../highAssurance/HighAssurance.tex | 22 +++++++++--------- 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/docs/ProgrammingCryptol.pdf b/docs/ProgrammingCryptol.pdf index 04b3eae91f5d4aa28bba4623bdf252a8438ebd89..45190e9af0f5de298bbdc995a84b1ba4542f1854 100644 GIT binary patch delta 44291 zcmZ5`Q*@wRuxxBi>|~NmY}=UFwl%T&#kOtRwlm4ZwrxB2zw5l5dmr{|?}w`DuCCR$ zX_PJLlzu^=L101PO%TmY;OtDSsclRU1OOYTP$-Cl-$v90-MCQU>iEyw{!+4UezHh0 zOrp(sEqH%Jc%|nXMb)a~(Twg7M@1~0Z)GgxTfoEPn~VRG>g%KM>uYd%0$E^98l~UA z)4N+gYC%}j2b8XhHMO?2x99iiBF)Rox+E3i&^9QLnVIzV_EyC$8h8zc z@|K*xW9j<(JkMnSKGqTou&Jg!(cnG~HN~{5Xqryi8aQke+b}ck2I5m>OBEexI){mV z_ui`sd|x1nG+HGj%DdA7vp^RCj!i^BP< zT}ykhlB`I*GgU2=uf0m+sCwta0F0kYVgE9I{Y*wfKMF{DDXmdXL~o*46{VtcRTkph z7cl0?$l!EtbyRDulA7mgFED$GFm{Pop2Or_<~6 z)tR)Q3sg#F1jVaK3!G^!Aln~OHl-UG2Rl+Ut4^tfGIMhxp~+w52LlZ<tJ~5^1zuRhdQ4YgGBE?ACfBGA`GUyz}LzFgDvadjq?}n zJD$UPo|s^}mo0AG;>22(2j_r@O;vNasp^)&X_3}ybQl7WtLGqxk56rcea%A9=J~F8 zytfCP#LgI_({Zq+c!AlXa~Mx}Pm>8J0%#N^47lEpdrPyv$ULo}i^QPj#Ph84zcfi3 zb?sM1(NMYF+LC5Rz@P(v6DqEh_Xn7KvMNKBdRkE==W{`@vTv#;ov>e7C+kV@seb9^ z$R8tRCQ-j=2FcEUUbnFa%UkNW`6NFpeg!QTU&jx$Fm-P|9qK1bq_U3uF|@uPS2wp_ z|LZZPhdhfVZYg~~5U`e&JbOS9oC|hS@LfKd-<;E4-ocR+ZduzCh0tK572Y{ zh9&n`iv+(9dJ8WK_s&)EMVSw;#&1fZ?hl--#Gr2y$Hk)}`aQs?0XY{-1-+K-DWjik z1FNHCtCBo?I~-;lb!rttCQCif42>s%t}I0d7hN^v$<7XQIvMv5Ta^r^?;oz;@z>+H z(1bqcl|ph!44^}VcG7JO=5mzQSBEXHSGw*0V=IQb_fX4@k`!!b(Um}A6>(S;wX^+k zRRrDk0ki_9A)GkX<+?j=XU&_yXQb_{NEp?hMgZzx+suqwIb7WHQ(c%}as{|kCL5;n(y0dkk&B%mo1gC&y-SK_}K#X(o8)zvuo zzRH`ct`aYlZet9!n4=)I!D%85mBAvbJXTG9n@-o&#JVl3V5msfFwJA5d5LnH-4iu0 zh%xk6m8utZMQ$-;!dpV~sv|6Ko}TFSm<@&grVqXbJG{I!m@#Npopu+4ylZrlv;Oqw zYk$%M7ciy+N#iR;b-M>;OW_upW$net+_6d(OGI(O>yR@~j9SIT4BY)xr7D?>^&kK0*-E_f2C zjkN6Xv=YsKqO)8sg#FIY*t%}ZAsU!g;QMRf0l*=HJIu_YFbalLuok>anCIIkE??y2 zTDh0;Yy}4V~Dbj2AIi2~gLg=w$L~c5$Xp*!IQ-fUM3W>q5Nwevp zOaa?ZA0*g?ehHF|_=|^Vk}MhnrHb=%W>J=YjHPyjQ7Tk=IE)`N+T!>ruzhMN9jdx{ zKd(es2YE_&dAKx`UN#2=8`?C8CYscM|KvXzH70JkSBg8h7T~#_?1SIwD_U^4R1dPFAbh^ zvW}Pzj|p&DSDQLKS>Mx;I%eRi2eFlGN!#*A*Fqo@N`4GZJvh@qa-qt$Dw-|1whS!k zZ!0&{z;6Aso-LMva^8T8IN8yG#uuO|Fem<{#y-EDK42WT^T$hoY|M5a+)7cPy%9Kv zZyL7ftRsFx)f9O;i1PnaHci_yT20uZo2b)xSHww?3$M}RS-)0E#Q!r44c`3-9d#(_)*c68gUe#C@A+b3^Etx9c_vkO;qcCbD1`rW-YyC!nG*DoJqYyLGR=o5&*#bEOo?|F zA%4swVfmNiy`sA*;0czct2U-2q!+|q2^PMU)(nRPV3p~{gv((og6&-1DX*`9E>^dP zUW?^UdEw`Z!oo>((;+CgH_K%%eLmkzU1g~%@!>qJt$375adStwa!I${;@-rcovbJ9 z#{TG#HvuHsz^qJZg61>EeXO5vkaj-kaHvB7t`yvuovq)`o4ZLeMumILsPp~@808=m zvXPs|RIrQ9i;9B|3IxY7P0gDhiZmo`<1%6D1H3c5+*2*ClQyx&J?&)2pG#(vN4>Ho zl8WG!$?>_y+~;CSC-e+Xs@xlVxjQf)DkOFiF#x#t&gubqY9kSsx=!#E_Hk8@P&}S( zgG?9QZ?jYAAq@9e@8TL)5>Gl@sDB!gec4fdYNMMqP*RT6UgQ zvh5DpD`2}}Zw;lUVobZO^E(L@QakovHW#|#n(Qc2dB%LzNrc?fbZ|dv7~~gUgfMcs zB>}A6HkF>&19|mgR~hZ9k=)UP)qtym#i8TBFeOcI6LXU z9BT1hjfgM?t25Bxt;QH2q7N5E2e&^bUVw$>P_?vz&Z!JJiTC{iLytimoabD{4vk&> z_dVwMkdXzM%MTay?e-}#4jY0+)9bZsHDt0%(%z-*-j`o@Y(#S#Lq|l<{AxjCngk-n zM8qV|Edpp&GyO3v+6)${QI>j%aZxx;oTRS%98c7)YS)|VZm+KNlc3t-{9@U8-#{uj zW5oSbZ;yU6UvpIehkdNN<2=Xf==)B$W7SS7(WnxXp}&f7LoKd^ks5*OQWI1V)B6Uc z_B^S$1m)@8c|R`F-=PqjIRT~H39+=g@`>K`BW|omd41oWw1tS8{O-5qLx$AcBfywc zc9CE0onEdkdyXg5jg=Y3VxX-Vpjh6C5Nd_k-slTbn6yPK`^?Jgjw$iAGs zl<$2f3NTACO`RPCM@wxHfS>?4xmfx6;hdZuO$}|}+}DP+q+|El5qh50Uywy<6dB;L z4;1pW^IFA@)gBnrS-YK)z0S64MI$^{97l4-^HvbEeq)L$d3zU`y)l(bjsRA7DBlyO zk6s^-)*m0bIRXOm`aNq@VLN@Y)2*jPMK@>`yT$1_wE(Z==^~D|H#b04?EixBz^YF5 zc<4QcyH~~bNLP9D3=7RVL(DL^ZU1%u+IpILob#g?R}Mlj>_SwoY9h-5;Mc6X#p_D3 zi{bQVHn;Ii^f*xTE`1%|c1{?$VQ>pS*G*@!?73hyr_NW1mpI-m{zxD&2gM*M?3049 zRtI|@D6m`6p3cy&3;||cxAMa*JDpcX%1E9&+G zcL->!r<34)Q5M$PIe|`duCb1$dt{}Q+fXvz457n8U8OdomFx*{I*1mUT;JjIV=NZ>g?d>$%@&79r{s4 z8?^BuoDx~LsrF2BrMv+@`{KI(%mUtYIjP#Uwa(j!(_IUAj3b-yJ=8@}8Yeo^4%#Z` z`x&iSJSlOhB;J?QP$z%-vIOUnco#IrVQQ(#*Uc*GA^wH|1 z5;?Rg?XYMJLO8RG@8cCNTHs+#x}d^SK$gA2gTM`3k~Xssnk6-tpF^FUovFEOo?zXn z1O34?rairi8lFx=A+$xp!rJKh@^5Ry{-mvamzmwK0lj)6P4vB%T6}ZVIbg>S^(Q9P zJ}Lyn3}8E$a(JI8N@EV5H1E(<=#QOgBndqMZ;~`1?w9jZ%nkdKOQp+-p0CWl;tc8^ zRn_eU%)T0}_AQ<8;}1f)6or#DLwEcLl`h^)IW&~nFKpWkE5hdhJ+4?XdoSUO4&7mu z$;dQp0&oZ>9$n@Yq|KUN9D1Uv7`O+njOgn6*npEAj=0RW9QHM)CojnPAgBn=&zaAs zN3~b?THY$LgSIhmw^tYfEB*D8ssZ6vTXImGL2GNNsvT$i9Jp269A&m&P)@X?Cl?^U zNK#&OT+4qZx&1d{X2RGo7`e0?DlGRhj@{KP*c}fzhjV_jv^-LCy8T#^TDGX3J1i)# zJ^`%gjVn~`$SKeY=HA#!b>`i@dawLa=FcT1e<`2DpqeX=@fc6`+*b9d3W$&#GzqVJ zoU&_58Gn$7s8a1683WY>er0J87p3R#M)dL>7YqD3x#_G#@nM1jm_D#Ot?mUyS6-|de zGNWP{7(15@LbHN7Euk~}h2on88|%odPo{~V;UHeY_r!E$p4^bOa8>;{$Z>7d&!PTFv%N{~e+C!_E4#4c5 z2$JG3I5eVxlZn}w33Q*Oe4{@hKLRq<-=(tc4E0(fBB}NE!XKBGpDvYC7woEta@dut zYgSc6D>V3?Q3>;jYfk5l9uiAT=bj0`D_erzMenNI67o*tp&r|&$u!iBPq4#7)3oL* zet(Q>xoqp$-B3i3jNpl57GHCe0xWd#?2#4vw4y-3gcHv*35EIOQcS}knvi5$v`RFb z4EgVLm(EJ8_1ewGmXS-^Ve@7KEN-zDFHW_igmFBMVLVN>d{>HKBJ*}bg^af@wpbA9 zRZ~6$pS-{4TnV-4(6>Ueu$H-~DoNQDB8l}nG2ZL1#W6CFV2q`>%d{s50oIdpQdv&3 zRrhhj(!ntww+b!6Zn<5#zwLou@w+(1gM=|#tAic}3?RZPohrHKuJ^P76$JOu7UkWj zQ~U+cH^e^=@@!ty(l(w^>Ts`W^Ah7zztE@DL6YyYdlrhcx7W{z%a+|-k(OYnezpvO zkmS{Y;Wz#v_Oc9^st9M=1jGtAB61y)k>zzE>#a;)H4+C(j}aKG^{8{g9BUjQVp4J> zDcDkJ@u9u7lM9O`2Iy*xaz^3^^N-R7v&)@pc z#WduDw?ilE323Mj9pk0C$jkMcUX_g62?6&vCRj8xwoh$_#B3)f^t01r)lve&@e<(t-?MmASKA3qGR1dWUop0mM~K>vf`I^y z02HbtJkPEVpNeyNIQxQ_vQKBN3$iV!PIzF6|?cuB1yHPsw?Y#+$rXdbF}Rr zgy`EJxv<~++@~X^q4M)#urE!r_AmVHipSpoW3gl29&sPE)#y$8UupQG)sv)rOzCdIADpeLa_@nvALR06lM zk|YLGR`Y*ABJ!d!#SCT%qgGMjvXbDrb2^}rxhixKr-N@M*;eaVbxr@R8UcZC{Q}AgM z+Nu3ZO=JHp6gDspX4X}s_N^gur=FEHa<8sca0o6CVnX7v*?T0ezow-_sgg~4%77eD-xgA!+l7_VRP-KM}hqo({I`(V(A0Si#;=wHNq zvrDl4QL|B_gn(yWER)baT_2`#foY@<+E(8uBe|1LKo2HzL2yq>(=HRdaW_?4K#KEN zfEoxTpP%s`h!GFLQ9t1q{5P=C+aAB3DG+!5gpl88gw{+`PKEWJGD$4Ma=3Xgy{6j` zQoCJilY_>tyeFiQWdF_l4~dxA`74GLcj$^)UPVh?}r zQ()uD1KF-3hY0$k4vm7L2=O$QGwrXP0MO2Wb&}n&3r``D8NvI&IycQ=2@dFq zJrTRYF(PbWFGv-%Vy8X#Rlv8vw|5m6fyB)^_Q8W@RsDj1IB#S}Nx}XR`y-`KG!A-; zx=-Nz?;2wPr2I%$zrSFlU#r3%=NxAo6djce8ja&YjX|!(@Z>QgO{zZ)=(|CGavvv^ z5YW}X_Pc#a`zArqaBqA?IG%i{T+jh5!9>3b)nwR?i6-|IQwsg3Uc9z&TwG}ZR!Yiv z>n;CnU$@{Y#SrLK?=WU4xyBPDYW{Ffk?p_=lvEqYN29?9_Oeop=EKYTwghxz;p)e0 z=xq@syAX;19$!v2?d`BJ0!jy78f=Pc2C#EC*G$|jv)qt9c11YMpW6aMAMs?q4G6rs z@MrScrPhk~@_X}o&id-bsJJ6`f?$WguFO(Ehprsr!&!JPONWQcUm;z*Ky(Wr8l!~(_cz7;2XYB zz?x!0J+$Y zDM4=-VN;(o%M+sQDKqH@+hqM%d@(WU&tXc(_%zjr1*0nA&QgCYY)fvQ{)BtnDRJ~< zu-~>~SD;bqVpjXUV~&CGvt5jL+$Ir=E%(oj&(Gxhud_x>Jnhex-2ICm6QPF}Ck9XI zJh?sDawAzgeBC+vQ4wHhE5FARtL9KBR%mZh6_n4zF9d3YIw$CRn|*l`v(xc5EuQ9v_9Jv3@0urRgD$!1}x;aWCSWDtoZ~bk_}V*=*sqXV6{L& zPktz{zkDSVwTg2d=LMn%((kwyO$%WVDa_@81KKS*uwjV(iuLD_v~TQSCLkl0pimO2 z84*oF%znZg2+qcMt}D6Km;>yv+Lz$Lz?<32uco2j$gmKw-2fCX6Wx$9X+XpM!_70 z!&XV5Tz@mS*{_*@MSm-269WUG_r>0!N<2=#JnwV1 z9T{Aor=C)2yjJMR@2Q-7J=#A!yrbS3uD+k{?Es!MpDg+H*Xher{oHLYMjp?5U_Nqo zzwmY!EJ=sZ_r~Dqb&-#-XCqQvM7r78Y<;AG|C z+u&8@$++A`VW=t@9X98@p)+rpV#B|tKP9h?}d;0zng@`E`I1V8_K8A z#O>VA+dI4Gd z6mbYfiKL^o3=7isLK%5y{@O2io>Y!~JiX8`7aOYPIW? z!&P`CQ*6mc4$;_pB++^CSANykC0I%D~st~C=}%gq?lpb zZJT1KG^c?);94Lc8!Ea>lCA+GI{pk z0xp(=kKRIre)x=*T5rt*6!i~y?U+w^4eGwUiBQ*`k2~iM5Wf`tn6*Z`zr%25)7#P8 zll;-X9`COHpav(<@=h;Xn&*!vI0^^*1^&#nB2P+{bO^}AAQRPq`rlx5cMzocK2!K^ zm0$n4#q)>?_vy2xH;6&)oV}SwXdjj&h%Ap<)9%Ja`BGv$3gXq^)dLdR^AYg2SQrx3^4Bho>(GH>4_ef9cQ+@0nF7DRZjL zD-p6S^eQPG1O+_9A|%GA`XE9a_DO3j1Ls#}Tb~N;9$^;0VzzbK=M1|Nxs-v& z3?d%yY|^yzzM^HURo2Ti^m0~qe|gkWPLyd1)~f_NZ3ifzq39uYE4I1XL_?`e)Qd{P z7B@)m@Y_!Bj_F{LFr8v$;{G`irlG%zDpk4QHxj`NlW&)cc8_|vn zh8TV!$$1NM_Hr&06gY?hOm8~5-Y~Su@?Z&`|6(U)QDMp?6k25Tt zsRG>oK9In?iV%`7M=~P4FpE)W??js;b6hCJ^aPB>QKzyeX^gCDR%0KV6KIsu{YXJ? z)DPZUj>%`w3N*Lq#EQeJz0{u{d@9PWUCbDO!(PZHX8Mz8Kh9_g7m)?6PXE*d9~leK zr_3Kp6bx!vL?|}lW=F!kB_G}@W70;NGu&>w0W>wl!QUZ>?IjTY&IU6zR86Bhyl{w2 zys|K#g9dkyYKyo(e2^k`o5XmG%BszRf*2q0J>3Y^Ji2%s7B^%>KE;QB`?V)Fm(T0m{$sIU5G^jLDA3x<6Sk%D>_Hz|ivXR&roLjQ?=jMLb@C+L-C#5ED1Tb!mj1>wWTX`%T+y!`*ndWc|a!lVtdThHUV{ z3(jKT^;3ufjOq>j4e6S%%qYYE6quBLz=Vr9&y!F74R&+W!nC=*fg=Le-OF)xP~I+s zRsNX#dA?_UF|zz>x`hq}4Gx3LIDcR0DAV7(^Ems=-@rqZ0>>_K%p8pOfOn)etgG=4 zcey9WR$0h0^QKo8YAojB#Oh!T-g=D+Ip`IcHO-JsNN>ndMg{3fSE{=(3MfaasFDIP zylv;24nUZZ7k20fPwTdUhM*AnVYv^f<^>|{(j-F3=~L@4_05vq6q(APuh!zM6cau( zA|h*6z*m$0_3vJ9`Ftg@m%N8?Eo0^oKMTp`vV6dEKfjiJKf0#Mva;&b(XaV*<0fUb zK1H&kq?fc``ekSdZNdjP9&lEyg)P~;Msn4Tq3t$ODR24NWmZvEcJYsKP~DR?&{wc- zyh10U*B#?z=dYsW?Pu&%RGicZHs!zewg=(x5n?e+beE1%vZG{J#e3?~Lb$5gerKu_ z>G0F_S|~ylPq=0d?NCp~nD;ZL zbCU`!eQtEYv~Fr1%^c7_Q}sV?=Pjd1y-=FxQOKwgp}DH|vD{e$(oNm6ix{K8)&h z33FQT+bX$yCevfH>Ut>4D6ctR-j6MlF<5nAE1IS73>RVf<^WKSnz=RL(o0rt&JUTj z#(y@G{5;=xzVj94$>%n@05h4|2v-xa8-{v5m#cb=qjtbIZk)+s^qyc!%XV?nh=5rN zAFD%p)cquTpG>Qk)9+hiaksvy7wt>W!l;A|@f%I(ZuU@wy+3!4Y2lXRcv3wn*fxJK zz_^+w(^s!376R^5={*@4H;5YdJd2Mq%s}ELW+oS|B@UIeN7_z_m5${S~vIRSJ&3 za!nI1P=(hDa{;be?vSz@{BrQ(WFqra-`XF>CL%~mtcUVO!BuD0_7M@|^gJH1sZ~iS z0knda_q>`~jOF(9K`yGBI?&;A4u{QFw*>u_QwuGQ zaRl;Qi=*?uPS=r6PUhKWSlSh8R#xiEYQ;w*szRYuFD-xrY;$n%vAU3l5KRhFZ#&kd z=inT>(S^k=WRi748|=tIdB- zL+cLqs7F2Is5jcADa~hKYQjDVVsp6RCGQ#pQJ4Iv=A?E?L<$=Q^9xn#hv|6A9I*G{ zf_8*^*ndDJ?|712pe*v@MDn2I@%4s4DHSrGs<9F)5IMM4&YejV3BU+*{x~ zK!(*2H?)n+RI*M-ASWUvl1Np+H_m94xp(sS0y0D>7a+{Vh{J zi~riQz{6V_lj|+&fM;I$$BT>*E^ziFgggpraeB9GjqgDZ@Qf)y7C!U7f(GLvpEX~q zK-oA^g;aR_M(GFf!B!|^s?%n93;ETR&J}}Gbd{>QWQpIIQoJclur9eLH}mN^B1RvN z28uncY-9CQ{=vG4h}>Muc4EmFfSNa6)VlDC)%_%X6_LtTt(}LrMDnAZP;8i}t3V8= z@qysqcir7N%Ts0D7n#@w(_LhiK&ZQP=EyCD%^blJ`HR#>Ky^!|VQ@R=6gHjGU9!PA z6Ga!A`!{q2K7vZBq9-I;sDTvZe-EnFKnj|y7GPog-^pyUreq34CE~_Ax(8Skd5E?9 z;qEKcx5x22PXKO$R72UdEJySVJ}QZ}7L5ddQL|^-otr?!zT30}!v|fc#r^;i6{jZ6 zm@aZNdFUDEd8qhLDkPhId;cZ}?8v+gq}PA#^T=3)wy*Yfp=S16Uws3y01Au?B_c)Y z@Q(#`2(!b8;8(>erymmK17iP4&><%_LibcNM$3Jr{v?~nlXc&)wGd-JhNv3a?c+qN z9Ze#3gn)L3-_^iO?GWyr>%={zZNr@~C1Pfro|D9|2@8-i-k_8;Y-SxbMBL>vrbR>| zfiVgTm~&t~dD6_dA!SXL}{fxm-X_D)=L#^3#I+q)uQ)ptcvI_9pBH zO}?czo+boC&$yxZcS$M_X^1u2zLrh~XCbAR9LfThEzh~Y3-k2$LxfpmZiFlBFDX4p zsF_*s+{Q+LO4~2iRw>`IA;KxxSu(+R>Oqws%6>Fs;%T$@5isSjz`s0RCu$P=D3o%+ zU~bt;m~ieu4N#ItVfAdoYZL1gcuzf_os_4a61bx7zewN}b$4r1u-TnznY8_4)be>j zuQ~UEE5)horSV_~?AaM~gtRN8kBP1NLcyBmJ%8HOJ~7VSjo}HK<17W@Y9OA+Lrydi zdhp6b<&%!0)G}@q0m$71E~N-0bv9Bc>{9+l3X1el%(tO@#w)UI94L{Tq(zg&ekT0h z#;@Ey)-XYkJ}hgf{AYxiqNX}Kc^K%hWp%~8jIdk6GPnblY_To=-BL18=$dqafnE@7 z6EhmZEBg`Yrzd;0;6M!ZGH;_!KHpfBeZwwtoO=j;U&hZHZT1 z+t3?6xb)Xh0N%%_abusMjf5^~!C6a5?*wU)BwR6D98}8@ZRmr-E>AFj^Z!_HtGICK z6QcaFzUxeRULCIv&t;D-HiAH6U^wEP2Q>)iLOf(hdK{+paw5V==Y7Dt@&%o!8$R_c5;|3pdr@?x(7dzGa%^>9^HLh@1TWc#akL z`ox;~1Y|j6ZHim@1mfBc83bMwFL->NpAz+Pj}fQ zS7(ON)<)GkI3zVWoSPS>A6ogk)O{=Intkt<0iQQa-ze|$T+pl6&@Y+~sflrU*Y|v1 z!_YU+j_v1@(KB)i^F_~k5RL1jk@yNbiesA$p z^Nk8q4sxFRj*6R3eWBhqS^8cLB7}(rQe>{+CjE6x{YAS+X9oKP@c?6p!UJ}{tY?lp z^Pq)<8}B!=cHjyDtF!#lq7LdLB(Txb6J0D0Hi=$G@E48Lye z^xAc!J3n%*M>W;Eo3B&mNNn=9LvvQ&u6nq9$58^w74v;jWO1}-7s648=3*hhSnPup zi)A>c?5nSI?&Am~$6^U_54W~huhY0as!X_D1!!O6+t{AiUv;G{j}u(Cq4W5nKdz># z`|>`Ntcn9&ylSt8F6%1j#)BS}wQs8LL9*FvZi1ujC#}))9_8?|gO0x1}!X zC&^JMHm%8SXxVrtf|DNS)pr0SozGvn&)sf1Qt8U_=k=2fKAn_sNSD&>;`xs9ZMRp$ zO_v?!vDW#H(}54CT7IguvZ<3-=2R!Lna&hnp5=EVqB;D) zhVvO6Ge7!|j7R*nSBBK)=kp?8jNH=5>6GUrmGrs7^T^PDP6N-)onm(5|G}}G6=C;M zEce*RpVpK--jl5F0JN(0X0GZz@@;MqUAX;oGE@(uSk``%^|3M_%!LGaFS@sF zA5kP*egnB5dVexHt1f$Sr$o+eKs;ajzY7Jv&Zg%#+^2hc32a_1B;C9A)t9aoj_=w$ zY9SUZzUc*-)N@~S?c6Te|A`OR<~CDrZ(P2APJCHCH*V)<*dl>l2Y3qjY{)W1`e^Z= zJ&$sP#=d`J=0*C0xVQIi+X;A9!-x5B20_P(S z#NTDP<~~cOfk|I4wf%n?I9>GwDnH>q8$WzLmm9k9m@=2uy}zKrm~B#0cR^vaKv`OO z!C+V+0saT=k4DfqoG+v6R~;g&CllnC=cQMtiC7%Ian|0PTSds%#p_$TvDyn{=dxV= z-E&8FqQODjuae`B^9J-A_*cpuY4AVh&&DK@OuNdtcn3B5mNvVwbRX^szo=5bI?LpJ z{IA`!b3gUrL#|UllyXBuv-M}W&FxlR z;jNCFwp&-_6fy@WzS~<=SB}v>Cq8@4I&=Q=bqapsr|x!+b?bU3H?t+Vrqm+6HNV&H zG>&t`e0>rUx+Bou94o&MZJTW`$UEJd0^7bgrSB_{ea~C_nCX^GyM_F{PF5Iv3OL5Luz^td(UO+JhDB<&{ovE?X#Wgfuw4yvACroAX%@ zTbl`kqp$wHmT8|BXF}gg&p${!0!L>JH>2{`(+#{IU9ZU3ZaOT-PuaEsp{wA%Kt$C) zLp!+!^6jsh!A{eqod3*@fcMZ+8)EjlnO)iXVCS-Fojd%s+oi76y4(nHYtm7+-pv`M zuRPY}ghrKvZ%aDewyEbjIk>x>D|z%v-+anc$Gx^55gkvjLq+eN!Q~qk{Jyk2_yJ zb*O!c>QuLzp0DypY>(gAm<*j=$~BE1c<<@y4vue>jSeJQVTs@@n- z9L!T8D&fX#VXs{#GMeA&3DuD?9gCK%ecBakpP+amDq)`P>Ef&uK<4LZqp=F)9XrNy zJ4epVA~>$t)K_@1^0HSDI<9j?2AW&OwzWluHMqC4u%;6N>Vas5?TY>NMw8M)r(Uh| zZ_u1#n_M_kTa*8L7nynr3WM1C00$$+1aSQCEkHL(+WMRkCHVOZL+eQ?f~cVgGvKEK z>Tmt$xu(ocr$4{g78(?@#J+rNvPH1i$ZkBuxy{9KM-Oegoh~W&fS%fCSM<>(wym7^ z$l7Yo73K2+Ry0}d*rFSKw?&lULus}ywQP*ryT|YOquZy~!|H2lAeG#$@~g7_-F>@6 zi}fjN;rZM^Onj^QdHLR=Gn?nhs6H$xY`Y|Ty0AAQ({!HbBKLJue_La_BeCt3@_F~) z7c+u>OQS8iqzbxWC;HY|PyKOzMRo1QxOk+ACtUrCocs^X<&OxOXwy*RPt8{@K3&;U z$%Im|JmxqkQye24;5Ui5774k~idbS@q)q_)*rbrQNq|X28kmrLVjjh{5N?SLKS#2w{5R*W|;I+!GAX0nC2eAi%HX6ind)Mh>yQ3^{7PJ;WFNs(`s z`^VvTOPImbpHa`e;nj@-M6vlqN21}FzBhQ{4kUN^ZyImKifh^^x$XS z;8X%t3iqO@L9s&Jn{i=ZO&yCs!E= zRrL*7Z$W2Vg#3jJ!$@PEfin@bMp)KO| z3o_y(%XjdFlGKPZHRqI_n94I>#X-9!I5zjVmf<9g&3rM<%u$z8_TD@~4 zo0K0U_%GuX2EUQb)i$)jMc1yiFqbWtYT4+*CsOTt%%D>Uhp5V`@*8ls} z%*(^}{&_iZW_|nmE)6KQq>}l59Lg=n&I$DNUZNISxsknIF7YJ8U2_ayGPm9L@VQ#m zhb3i1oBlJs;drd8=nQ;kt^T}ezL)h6q*1RT(mT{+bNDS={&X=6`(^Ks@GZXnKI39)!4LIzRMJg97* z#sbYk2cfB$KG1bRi2G-X2o=-Mg-3j56Wp-`Dpm^Rvm9bYlx0lRW#K&;^dX$2@J5Q? zS+IvgIX|;-es*C`<%DlR6-cjQ7D$W3FyIE`yEFzWEX({VW$-{S^{+yiQksg}r%mQ_ zNGV9&pZuGX#Rr(rk&}}LrDjRub!q%uVEbe(vo0~3nMe;bq*eO1@#0X>GII{5(DF^sRu~?uB5y$FTSxIz$QoM~DBfZROnSsRG`-6jrp!LD4 z8TLXLpuL9rf|6cVn}^5QOtKXmq;GCd$tpZ z5nDxK20YiD^&i(yNmI2Jo&u7IVz(mFyjL({4Vzj;yiSL#FkpUs8e@$%t;fbIeV+OKLbgtK$ue>`WEP~b@*=|KP+3V1&c_*)+!*1S!Clu_hQQ#O zQEllK!Xd!sM3@gKGja1OtHg@CB8D%8nOn#fuuURVOHNWSTkKfI34zN8dNNh1nQYzI zJT`Vrer<=U95yWTdv+@>aq!3co5w9bpcbb&%>%=}6E zpW>wwFdV?9?V2Ep__YU|en|z%~fc}ZF38Rg&aMc?_@k;qcn z@2=HSqmPfv<&WF<<4IJkR;P z&ErQov1S~ckejHxx^mxVP{U`qrHakn`bX?b^8*sQ!|<6!hm$(E!pO%pg&>&Y$O4C%jzDh5sbHq@(DKM!`Z)R8 zL+)+lcwu)iMV>Ves00T3rnsQGfizzt_K%3(1EB=GL3hkY#&^w2s|KbNb))o=cFfr* z{M2R+Fo|9w<^`zjZ|d)dN9EH-5S?yGi}k-><{p zxiolaiU!|LvGAd6yn+8kjn^+!&ikEr3dBz_IA@4&8&gy(XCI}3KaFMETr)_}Zy)7; zpcVoYAf^}`uL>4j;nXv%oa(QLW+|=+hKoidw&{E4N5VkzB`cc^Y-Ch#{Agv?!u~kRj*}BOdb3o-%{1~ zI4`G|*fGz#99ICzRr^8aQF~)-((%rB1#grG`l;rVyQ+R_!>>Ad^P!7l;=U4)oh|=E zKQbNXoUfA`1^CWQwF94TqxsJau_P|hdQRSb0S5z<=Hjam!QSf3yor`8dZM%5a`Ntq zD@R-6X~S=B!2=5-A*d4);oXyi z1($;Hi1N}jc!sO|j9~b{Y6cY&^CxEQceL6J&qUUxSgP+A&?0;fFih&LHxz0rrVJDX zfb~Cp7KI+GK1R6CHyW37EHX)0zO=vT2|L1VH4UcfLuyLG#y^I*O!T{#;rY%91F|<0 z?~~BZ`x|cK<|o4;_*|r*{nPv+lE$cCux&eS9HWIzl=z8rcSIW}Fe}T?r0ZT#uyzPv}@60f~Ba)4>2Yz!x z$(rS}sS-tvH>-OL0JTD-8oA@7_r|A)?w@fAh&{uHmYu`3&^!cdd|%Q=x23pTNA{w` zFl!UQCvg`IqQ>%lK}&QV+kB2WrleKJ(MPNwgiwtZc<*y8`adNhD+{Fu&{Q(96b`8k~HZS-$T;4jOBD;>rJ7jX8!jqu|?3z_b9+aP?G2jMiG z$f+>>qeO<-ho%!SdbzNFnb)uUwrpn_9dDtpq|HQeoU1h=rqD8W0HlM0TpDCaKxfX? zl0Y@C_4LpRbEdK(A&?8Z9n(@GX*cVDN_)R#=Qja`DUO(vk`$pNMU``t!~%^H&Uhmz z^~1Es17)r1RP_WDo0JH;as(Z`V^AQ~azSOH=Ef?V0HBw)cXA(&2!|ajd^}T9+CN`Wduo#-LnQqfVXk>#v_}+7$Z4VX zq(oFnTH6eaJ(#*%Jh|4UTUxj~ni=oTZ*K3+yKOI`^e+g$?)MxTZXWxm&xf7uSG09s zA8-7KxH(PCUygq_1J-{$i5(6d;&b>ype zJlu~)Y20f_Qe{!g>RoN>r80oI^9itZSKg0$AK5N4ytsFq9;QdG;M)!*sohDG>y~O( z>r%?dS+BmHXEx2{EZ@O8L&1apyZj<6Kyd=B`U#Ob-_V`cl_Jex`6P2qeq6_~+pEA3nRvkXFQo5!dLc-YM=%*^^_ryL=T?&M`;HMVL33TpqWpL4Umi} zPRycevCVdmVF$41_^$a0sL7JRJkIN%?Siw$a*Vp(K^>7`rrK!}Pxi(la8dx>TVI*B z^w;#9sI~(Wpgbb8LKstUKB%U~+dX_@nl~V0QH`xvwOkZt4h~3%2(Cgyn^%D8Es+V9 ze=Q&kF#aLHh64DlrA1%p@8Vl1kpbMjt>6uFGJeJ373~b}e#mXU6pmgYP9)lT{5xMk zMJQRwJ9s#FsPO6LWJM@dU@)*j|EGW71W|_K1m;NPQHG)dl!NCXD}s53+dzTJNHQ}; zfK(9&8jZsf1qP}xhL0BT_KTwjREk>P*h*`!DVHZjChOW-HEB`34G`2+!P`$-OR)=na!6WIceti#0aZFlWJx}o;QHA_%|b_VgzGY zq?XoL+B{8V@-OoprublpXfX3sn3xDlUPVOXF`Udk;M4@P#JnLhn@w|tN`~6r5U$&o z(Q7lQcZGA)1m5IO6C2N%t=YB$=S#Go$8a8Fz@T=nyLlw7O?X);Fx~y^7_5W+$E1U)=y_=d!cXWYe+f! z5&?4a?p$HHt{6hZ@uqwt+X3qo20odSD?#N9u+lcnR%Q7u>wnPNI`c@`J}aRR&o~YK zlWH0I(VrYrvN4G(y$2amQ=ZnH&e@h0oI<5n)~J&wQ`;ajJ1>Ed*P2gg3)AnK0Kh@@ zRAuFrtYX4M?F5v24+;c?WxJ&X?&j~L;wrv_A5SUa5+2p`*8!`t!@2sCv_(j0cfl@R zX$tZt?Z(l1pmvmdU~;crj$qjxy3|WvY--luV1rkY{xuFoQha-WT*GGs@liMGs^k(M z9p=~_ExAN0W0EZk=nw4GkVOzlBLJ55g>WftPv=O*E}Ux9r^cwc9ip`K^X!6YjzWwU zZk{x7zd5FHk&kOZGwU#B^iOy~gRSG0Il-7cuzFABVq$7~tO_ouZ7$#4MuTsPl(yu$ zTSA-ngUyHIHPH&km9Szl0ys@Q3d->bil44(>~O|YR0BQVBM72wxan??9) zh(d_QN|c7>22E{#9f=yM&P~;NR<5*b$TN}(m(_&{N3D@GhQ<-;1q{tRB@i6dxhuiS zw%R016ePq$5j)p?X2}2?__)8o2pPB5jy%Cm?{&3l9Ex8dQRhJt=qpgOc55R_65-^S zproN`fHroAX%PtyEvV$=H*z=-q==$9x?goCLE@t zENghVPPf2K`fOX5m!+ndXTl%1jh&8yZIt6Go)y31`W@!y=-}Jj@_eBzpjju3A_P2n zlJm2`c3zLZ=9&t1@^P%+f+cFt=A`C>} zhk%Xc_9NGM!$>%~VL~5#ATiw%c4cmuKVG~IrvxzDuNyTZa(bC?rga+H8;sXg*QC5A6c%|NG?x8(6@%|%x4wcay#4Zp0m!b1VR2Xk@~P5XP2Uh zzsX|^h4&|?UX^G3&6^!<7T~WO$2^it_f81?}Pg_9}P7BpVO_cayMgB$dEpEz${R{dhYF$)evAVDUd~RRmr}z%NIrgkER|1!$WfUI1rJ_7(TZ@o4 z6K4quL_|kIVWa)Q)JpEIJaY0ts~Eg0({m;V)K(kQ&>)~XoTCD0UwXBA2P)h>ySt1F z3gL)VyL>VAz~5&U6F>2iu+3jUI8C1+3H(vv&7kn_tfy$LbxQTGm5N>M@IKLuUe;YJ z5Q~e9mdXg>C#N1n3HrAYsx91cHL*+&h`Jof3d-IJUd-fYyu{?D#7#;guTURh09N14s zii7dE$G$DTwGLDgC>&9LzMXO4@G{UtJU|1vU8bJaZ>LEQ?dl10^QNy* zcFcxz-1o)$VcQ^aYGtxo26BqxZXNyFjQ@H3z>*1*ljbD;O4KE~)yAudOM_B-7gQX) z5z0Izl=BG7!P=FU9T0*a;?+{&vfJ$w%7%D_J)^Vh)~+kc&(9~iHtL)0Up4auali5^ z_^%I@s`Kqbv8PV!Kw$$0%$z4p+$F`(&^^Op%018mgldL>P!CDV&7(~Bjy;C(TJQ~1#|)C7NO5Y$jtdFi+#mY>1!le;btf$3=KE(y4OK2LHu zcVB&8c6M)lbQuyl9}>br1SMuQx!%RvO1obTj~qq~ybB4XxAFpnM=*zC&WyT6jJl2b zF~~`n?1Z9IvHA`jsvq82xB|4KKOQsM>=#)ui6w-NFP}?WY4}lKkC9u$@Dmt{h{wT# z0~oR4qqmqo`=4*)(P`8LBtYpj+gvo$Rf^+L2Z+f&htt`tuR-8HE5WxYRgeZy-u=9k zh|r`>O@$(yz`Fp-l>N!XM0z6OAs(wu=bhNv9D9g%n{7X~Xp^80e3-H;sgY1YcoUJJ z$Y6F*IwYuv2AcI90#uYFD51+lYC-g?|Gu;ck)t8qlN%QOq>TEJvcsI$5v@RZ%q2&8 zZN#OYkA|@;MI|QzW~6F}oBgRrnoQ}KrX#gBW&wLat^Eg}Kn><3RNQabe;#wvY^)Ob zJjz)Wm^;zZ5U!_5iC((9;$yCS3mpNX4nvddm5EN|iE(!jVwAU=vgM(AxgYi=zUY%CQ_5&8Yhp(tf0gu}%9di(tQL?)mKp*AAyMA*X^`&^``E0H$B zZY19EyrgXO8DNDWijy8RhQhs#BC@*&Txy3#X7aPUh4HNu$6781n*lE)RP~}w5~{&A zI1zdADk&6djO`h|&YKgzqTH<-g3}7Bj8i5|E8hV1u!JC#<$Q1t*Lm<485w)C+^+oB zj=3{yDEJ+6#fF6>Wf`MptA~Momd=Y@6LKUPg5@ld7ccBGQthpul^HWoKsvwLsoXD~ zxc~C@XtIr&m~D;W7wH)&?G`3sX?h2T$Jximffk%fSlMieXYiZYzPq?#zXf-W?QjHz zf-V3SXWQyjIkJAM7BpYexgIQ+);IG*P5iwP{#7uCbWG>(YZy+~J3W?_~ zlhT@TXoU1gQNK<=qK&Cf-*qeW0r7gC&@lzjVwL4plA?EWtX^Ba>{sgE#Itq=I%)Q^ z8lOt9*}|8+(LXgYiTSPOP~@C|0t=OZY_MuTYo${%doE^3D^>t?Va+91Yf&d+L7 zd9C#2C!Kg1pT06wYvLPp$L7n;N-^^Iv2GWM_#LZ5skjZ?Y57zsGf78WCudGc4Q5`eAmCo?N=rBg&B9T_q-ZK4f+~mMiN(Czn1&N zfJvi%{fx7^er$Qi=5YuVBu=JZ$=k15;BoKeJ+5;lzS|U)=26o&uh*_DV$PC;EG=7H z>IFq?$)ukb?;223j2^`$HXqv4ZcYXHQw@KAyRAdOW&gZUrJQA}JPmET=!lmNKtaVK zH?}5$yS=g}O?X`)ZraRI*0YhScc?%gFDtAfmqtgVMF=W*{LE1P-6saS6pA62oVgp@ z8?|Hnk)zY`lO7Buh-uEycY3${=J+SDshOo~RYf7~8C8Jc&3{-rpdc z$lPIdu&KV+-K^I3+u$ez$l4KY?sqsfTin2TojRK~JFNvjdMlM<ZX%4SS4Vc|}SAxOmT$5tmYv*Bu*5T_)v^6L}fbtD%yL|1)ZaF)=!fd#S30WjP< zIyamwetR_4M3|<-+K!>RI#DtZQLchv$sLvN3}i9 zTFouBWYMSrSZvYa(UD+ceQn+z?nxhx7w-p>5Dy$34n458H1kt9scJgtiWOIi(BoEQ zENvuXs1ep$IlcwKh0B6>z}&n=Au^p>Q6qOyoq?HS*10%xGK4a2ZCQj^#gpeMKt6kL zJO^eoR$Rai9&rNBKhPnNAmgQ(*wuF2-irw-CW8 zg^(2%1tJ^j)_fs(uC?L*BE!TonUJro|7A7wXUTHTnKExGyb}X(N{abh+(sT6%9&dF z0h-ZH1f&~q^SKB5o6AQ*(Y9%M;xAKRQ4bnQmU0#?>6Mjb&txXoCLd_bc5_%oo;s6k z&|py*oQDyeD@Sr@@p!2HnTeWH(1$Sjo@=Mf%-Jl2sG_xQ`y`sI-6x zeg8VLI#P$l@^S^>Af*R*f!>cluWI>rnQ)|Mz4E3U6h0%pycM0WLgOpw_N7w{577y> zbOU_8lOEKKY1y$eO6J`6Wu7LpV2A?Y0r=E4;{+y3MMViXx!4!u4vQXqt=q1X+r`r- z-T8EU{2C}X20t+c5=OhxDw)0BDkGjzvhpBT=)he>_^A&NvF7RKt8cdj8*u4wXKyYX z#v@bQlq2AGvj3JkB?okB&p2bv+63cli9psXBdSK`TRaN*1I>G5{0V|R(4pu~umP48 z>YqLq=3@9rpC=);Z-YgmKD4j^=hv{YUQsZnT)G;E+HE1@GPQ~K2JTJ4wp+t_&dyh& zX0;UX$-WI>gcINNV_S}Hgow7CiXyXWoB_gB)-`59^wO#l8yN_wUtW^@#Li2ufeo1R znh@ArM_e#^NNL9A3eUEesDxTB}8bEBk+fP+zrZ23MYXI~^G;X z9`^tgXTY9l2vLW@84@-3`D$gxw-d3F8mW22MGRj*^5MxmaTV?Kx*|V67+tyBvw&$O zF3YZ}34-`1gNrI7wLuqBe95fcjQl3XiJHsHdd{3cONwgif*}z~U4NHT(i|c&zSt(% zz2bO(1&xui{PKbrD`LOcsDW09uW;v_~-B$&Er269-8wx&9LIIq)Tu&B6Y4 zkpu5_T+)-3Dbwcn$q){FnhNXyj+)wT{(U#}pBEBI6On8Gpl1AF=t`1^Qfwvhph8Jw zqw?l*MoeakjA_aYX@3l8?q67+;VP991<0$nJss;vmg}mjRAuy^mJp-|W%ai@S2i#0 z9R8q@dz@{RAkV)@k3jp(=)x~pxNOAlUg|_I*YEzduyk=`Uu`c8(C5JxP*?t#VVfFy zQnH#^Wg+k05~o3NQpLSo8hK3SK{V=&4c6$KXsu4{{=W0%$viJHJrA?5yjmCK#d8m1 zbZUv&3%jVy5Wzk0l%U9~!q)P}I~#mm)wOAeJz~H-bNaj;ZhP!*iLE_%vHP6&OQUbT zyXTxV!MDJa2uc70)Pf}ui>(r-1jdOb#*uCKNB+Ds$mLr!%|$u;StcSAprD(`YJ_8g zM4}i4tOy(N(B-dzm^7fE=CASbjif7t3&t~@&Tl5P7^&%QRS1tSjYcnx2GhUC2g{;5 zrLveIgPJVI0;3Bptbsh25Y+6YoleLN48#c8q_$upea@c-Xv6EnL2IFTmG49m_3#Uq45B$XhU4YnNRmkd< zuiqK*%A{9*{{ekg6nyj+r=22wNt(j2(|cn^r*7}bjL#tEeCOBocSjdmzRxL&$DBZZ ziZgob&-EKDm}DWk!@rxHXGLFsZ(`k#$XI>c?J>S=`I2+1#{ z+`-qrUvBR!0%l>i8TBQ1mP5u0%j0Av<$_4kI{OE%ShX}RbHWK=Ks%|*xMJQR3sI*4 zYoF^@`SR(eSCDdNHKpRr=$Af(2Pj$z<%GREnL2gO-%|ON_uxUnwP*<&^zaJh?HrSb zDQ)rH$+}V@+r+Npcr1^v=bA`I{WChk9YmW|c+PUT&QoV;zIrx%ck9+-fwxr?j^}Iz z7Q#VvsL#lqX&ej(CY9O=xD;>i#g&6_YbC!opXs^3#<~Mt{*{ilHIy1)*t!Ri{cqI| zFkDu8A+!MaXhH~xh$3&hg{qC!y2}E6?dFHQN87Wrwx+k!VRELQDDdV%Td(;p=`O&9jOZgpb% zoJ<;D+@Ht4*7so?S;+VS(os{%;ZxH6u1b%SL?>I32{CA*9Mx3I1?8|!pHxO=nBkf? zlXEKAvejD6n$7N8GpPE$Zv`_u`{!muZ?>C7MlR{LYGDJ%77J(Y$M>&*)sLpf%L6RiqB1FM zW%Xw7_9nIJ>bb62vA;56ab^_LOGc$A(-RWng68Q~Wdta>G@NAXDo zPI6&j93En5IE^e#@V4+}7{2ME90#fC-Zzl&56mj!v)@`w70MOKw|Gjzgj~{9-a)<+osJ(D! z5TF$cG4MBrz-4n~E?Pn4uj0P71*yHm*U&Z1Dv3AGQ0WHb9aM-s{=LJSAw}LQ!8xgi zhK~4EQ*#`!DYTN8xkk#r`viIE0Em&NU+VZZP7HmEw$ZKPCZDPx7_RiQS9}qk-)Q7fD)c_9yIo`ZqZ}P_^95EaT z?dAhxfVBK1w;se%7h3XMrX;9AuaI|Fi85ZHIECJ45OBWdUEw|9UC(Hh7dWx1PYEFS zKOe>)d*_Tq0%VN4rar|`OA+ho@91gmcTDRf9Hpt!Bb|@}R07tmGdJ<=MNcY2D{5wz zjTI$lj=k=tvgVtc0Ugl-Ax0wRAUF|IdY#V)0C#=B*F+_(zKqO3zGC)KK`D@AHWb0G z>W&5JDth0KI&D9m#}Wb52rnd-V^LDmtC*~)lC<{?qaBv9kTV%gW`Qx1`!bP^$8Kom z;e;CeeMAFPqn`|KQvuedgM>BCwi zN)TkNvpQMK+2kV#EWL!tX^0^Zki0L=DJd$zh=v^fU|{-@viUo|qa4aH1&Wns5nbs1St_3hQ~gF0Z0-k&>|?s&ap*74x~Y+u_c(2J~XK8JpT z5|$vYa-0^yzd;GXDRz(l4K$Pb;td6t+T-|*-1?6IeZERl^7B8@?AqTcr$xaed7<8n zqUojFpd+5oatRHS!`X?%qCF@tY}{o|SXt(1&j@nEsF}z|2Z9qRm@+xTDNN(nrujnXqj zvXO23rP>k9Wyc0t*bJA{?IaJn35ECP^4G^*V2I7oNwH)*Qtc|$5_R*Wc=4F~WUY}K z#BNO0CKLErgTv&xZ%s3>AHKf6Z0A$Dq^m^*@nc8;6X{HE^Sc+P*35cc0rAo-j*#S_NM3tyx!9@eY+N{IMt{%Y zej$*F-@|*qTROLixMQ$UnG7J<+1C5hQ2$n)JY%3d66=%FL;gZh%)vk>DncC`l8xj; z2oB`u1ra?bwFwH6)FB@<_!${!i9DAhmj7iR^JCfc?+l#0Pcf1P;J0V2B663|XhF*( zSdQV+=g}rC+6qJ?ZogIAh+1$;NFtNQ?D4y1_>QMs(W10f1s`A>+bObj|2=LUa77UQ z>ssfpuVlQbX_M=bx~r!XjZX_(>-wjW>(RW`kPs`1-z6^8j~Mk5P*+O3R$RpXlZ&35 zH2I$9(;oc;-)}ngRNn5KUNeiVgygw#C{!l9Y8*1;)=6o1!MsfCG zrmx1ulX=QTf@e{rbAsiXPAyd|_vea@sdd`D>>T^8HURxg;ont>=yKFmDt zuzg39G>`sk%^kZsYjPl`<2#g8`OdS8)vRctD=7fd6lXM7le9fh?;FTP8W|dX5*%KZ zI!!)XgJn4+i7HtlQmZhS9T$chj6vsZF@qvn=WQW9j!pVP$RY~MhBfjDBI!ny$vAI- z>&Vob5Xhz}5z7!L$bBrU# zwm=P2EVjcPyWxImla2IVg73q-%Ji^}Mn%?J*g4a(%5d|c`TPWlHvZxHue~03`*zit zQUybyegNo-V2NGO1xK64+L}5CO&S8ygMafqKgs5w=Y^SU${h0P=_#?R78C~Uo3Po> z^bjW3aGsSPK=H*Y#j}DEwXU^!+(lp~B#E1Ct^~*V0J?l#OWtlhd}`^JL<%SqwXa#ASAFpPz%YtLJ%lz*^TM(o9RS^;XfWaavXnzV8N)0+Wd% zAIvVGEPXOD@u*xxn6}rP7q1y| zDGmV-d=Ed~B&?WVC9AWOE{6vx@tEq$IU0<}K_KOCK=B*-2jL8&V&`b?U1rymhA7mF zw%)e8cYyvF3~y!_V8;fWNy!QuHyddH;uq!OTmFY|t%AM+hE9N0&)WLB3e9|!QN05* z?SK$4K*Zv1Opxk4^=>C+8XZ2E)KkI%4|de)Yo?7`RFU`d+MfdFj7LwGhLVVj(nShX z>AdOtJSbMoByWQtCHP`0+x9ho=TlHK654h~j|zh**oj^XAgpzZ86^o_i<12tE*OQR zRZMS|*h`LpVd06z)v{i?0I=!UGKtUmGh}2(R4o>r;|3-7N6iCOQ$F4p!9*WvX-ZmB z`u@;g@8TfUN5($Nyx((>3ZIZr&wYap zrF3r}6X+cCn-DQq<&?P%&hx+M&fK8s7-7MQmD_)~;ITymJOa(jZ5k<&Aw@@iu136= z$oH9!?B>L9qtosl=P3s-VgF2Y<#Br_nXDu@jMvpa*{-|P z?jK&iuS?U-VenF_YchYyTWBlRwDpOom8{3u8{7nREdW9Nt3VZA-)p?0br2)c(AFK* zWvww^!N6@AVo3dC|9f6T5Xl-}**D`Nx=S0IFw&Qf&{a zGH!i4m%I-N=RBCy5KO1$M$pcjZ-JCjP6aTFPc%GsbtnJ%>eyDAJ!<0HW7no!-=#ao z2pn4}-!+Lt2Xn8~# z%Nr7#kX6!IvaGyI_0;fie@W$p$GfTJrOE0eHB4^&9bMm|WC4jeCGPnhw(?%-V3A-` zFYxUj(MSWvzVWC?qED}pn#D=m;y+4YjiC^ViyiglFmy*}m(lwZ;toVVyAo{bj{U*R zS)Z(06g3H~sc1!V#A-3>3!?%F8|c) zQ935aPin&j*Sx)Vj$X4ACTSqx(K7dAOek!-o%@-gjV<8|5p!zWJGwch>tUz`%>6;rCgadlYYhSk8D3%}({-}Gp^ zTymmQ(XWqFUWU%nZ%WC?IM)={o@1L%^`fpf>zux^zWwZs%~}=qT%JITE3>`jl3Svt zWqK2Txi9nF(N=Z&TlW@#mk;ou3vm9RxRASA@c4MW<%BJk)ZX-c z!AhVSI9oW}bC7v+ZN8ZB;b$`Q+FZns-3x1Nvwm&9zqma=S}v@;a63G8Z5@$kFERA^ z2K3{}GHKG@Ia75A({x*H=3Vhpl_J#INmodIX;XLhB*2hJ~*BXGfGhsoK7qjMk_iHilm(7J46M2 z0n~^@A-m_E{oJgL9| zu>i6k0?Bu6$2^(Bk1Xr)Ig7xomm&PR-eq9#s4RDgA#z^8>hOjp;^>CvnqhIcQFeOU*dYWT;nsN8>3FO>tyR z?JUVfwV7{<0N*x}XgXXZA!NQdSNQ(VY()fO*N{32Icw*r?=>rR4*u*=^@>4r3Iv2a%irGbvopw{g!kr&* z2!@c)y4Qfp-`k^o+V`#G6Ife%ZM;N&KgzkPo;v?D?N(Q+HPDQGXx$sz%QHZRvY~o( zSb*9&XRfa53-_hc2AA9gekM>pF=SQO;DuTMY-jO#vw+A_$k%Y1CG(WgYvt66a|vx1 zmC+29a#evLv>jSlc?vN=7t@3k{;rxAruytOXDVW&`>KqAH(x=+2Sb*w>=mDlREb-Z zE01d+8Ym2B6}QV;3{d`^c-VnwDLpE|buwbvCjoAGfd(muybvvnvJhQ1Rn~y|fIa0& zH7|`D?`DU4=f2jn?7O)*!Z0Ya=PKuP*)ZYsM8FN34WDWl@NKk4{xMpi zSALOP-$tuQQ;RWlF*YdAQaBUWE2*fKCY+3D46@soZe)KN7`khP^^Rt|JRfEKr^jN# zqDAgOpe62pDV0zV9;RR>(B3@lzTGM+dhkm`DZ?yDa9ED9E`E-HJmw1OO3Q<40#3JWQGd$uB-tVq4L3Yi!)EdY&ql z@jOz(i3p~&y44cIN`(dyqp>05L0GbCLs)WYW8@lq?Rx7kG~B0JWPBuyuP8RGnZ@$+ zUf|iLEN7IEsd-TI;^EpF%NG^2{+;#PBiGohtJi=gfSFZ1^CT&$N0}R~8UW|-5|T76 zUw;7=!w6jdSEptI|6v^bhXqrRwGa9x92}`XFI%QRb2>!EQPQD6wv}0y=n5NY6efre z;XXf+P@Nh=YTw>@H{~R@@il6BN_1r+!|}m=6AtP%Gk+dCs-&B6Nsztk4bYO?Nh-Oo z>pg#aj_N}>cMqM$s;NZ;Puhv-gpM9ccIBdg;iopfTGvO;MlZ&nRKOBdYyB(j=m^QI zd|lw@bCNDnzZ_bYXo+oV9|KUonFds2-%Nu|(&+w`f0zcy-%JA(i@BtKm_liNp9_5*~NAo8$Z7mVV===7gLl0jU^h~n^Zg@ z9rc6W160qEyQ7!!lV!Yb$o-C&;SK^AyPi`Tx=_R7OKqljkS~1(@a}IQu%n_qi+i|? zAS|nndcb-ZMk&uq?_qjMEEPqOU#+;Me*&rFg-|yt0a)yx-BOwr;s`2PLNi(-%7O0Y zPWO5Eud@4mI83sl8EK(iTNB+WO|zRt!^3CsUu6UG_}y9^cV1>Un|F{L&KGtiYngUT zHiw%#!1%9M z;!gYzc@l(pxNq5SD>ojknzpB>R)gJb#mfWbTxzZ>1JcfCkroIyDhmaYR-=DfB15-! zGn)%;oHCjPZk<{8?AN;AK60wJn%4lucE!KC_f8&D+<#TSJ@jWV<9oV&ZHgsEa+Ghp z9pFr5ye|J3-(cTicQ>+-1-yw9U%wY1*Cv_ zQp!R|VJeI!Qki%v?L)vw4+~Ez_^VCN{gg9SmN15;)_`JR==~1f7m{|`$;c42I39E! z%mg_TggF!B8^{cWDJ@PVslh$UDibm*4nh*H~GJ=yTGqRUZ7DiQw zFQVb?G*UAu!O^!Gb$xG=GNKG1m0w6Kfs+4aF1Dz)P%F1W5>}!w?4gC?Vse23bw;SP zcz;M$Ns3K1Ng}z}no*-n2*D1wMLTLr-RNY5$fIj!0wj=M8u5NAze2~0ppY6?3+v&P@ zi-eZjwq(C%6#m&8x>#bj6|jE(gj}1W|M*v1grlLz0bKtPRZVwB-@2C(3F!LCC(_#m z?u4LHjuO1Y8O_C64cj|P9=Ww;)idk4FL#982@H9v?2dcn$(X2awZ4pS?yOwMJW+@~hT?l`DuwuS43hqR?OVYR2l#Xe+l0YM>ML~$ox=Cqa-EY7UVz#(ZhZ_;| zFnP6BAGbpH8VyZgUIhdTgmt`ZcKcn%wjELDkLhfg@ZAEmDN>G<(V2+z27>4MfFe52 z>OA2{?i;PxBo_rEepp@(uIECsq2QRLWzhHH z!O$5p>i8d=!U#&0P>@)%@o54{eZCRAHAvI=wPy7d7{QbziLO+5ghVQGS%v&jur5)J zUd{C}3A{Co*Dh)NdA{+eAXM*z?8G3NAL=EBL)a7eJEm7q( zK>N^9Du`}8;SSWzTkcLMKhh?`xHkoNsmnXV zzKvQl(=X@@X#nScsOd$fw)0v`!ap0t`zA@*7o?vYKt|Tos*|qF5vWJm(Xsew8Ilb{ z@pW~~iJ9`<8$e$uRMOaEsdo*Dvq;1}0s&%QI2@x@hn$R{)-mr4S{x2+6p}@pHS{H_sVoSCoyne_LK5Bq6X6AQ>RXt);HBj3=#*$(xe%__FjQC(TF06Fhzq~tdqQ3S+xr3m$#KY?a@=#8%X3YLD;RTU|cv=(VMQBWpC{uCOzt( zw3;Vn!_;3IQ*!B~J&n^cFq#S**%VD*AMaH+UqLYQ%}!e-Y>vDM{~L zOj;=^C?}OgEBP^xB{vSp)>S?=3F0nQq75;26mLC;vnK0U)z+pe6Xv#MnH_2&j1{$F zkd%Z|_|cwgr`DbcgTuy}yg{3TN(b{2n|ov=C&_>FLsF7YLY9t-OZ+8PYf_P4{fsMw z6zWwAQg(!E@kp$|i@aplfKo*R+MEFmF$|2TN5X>?1O+()C*m6dQy~a4it*nigwg*o zftdy}3#R4DD3DX4CP9z>Qx#6j8&@!+WJ$svg)i>|G%PR!SWHm@}QG&rpcH*HVL`bbjbK&lBr=5RJ z0rNrrzbgR#_qzQrdtJD%fhG0if(9YLaWfwO{l6=;0eZKO2dlf)7}DofnqL&1|CH4G zJe&?K6?5YPX1^vfPV%E0A4WG;T!<*-!V)-AEmbb$OX>&8%tod9)$26`E#hRi_v@Au&sD*zw#|K|q4|Cdpts}g$% zg9IUh;2^N!n6XS4hYjNXmkq6qEt};|z&ARb)Ro})e?zxseLQMdBV?y{02vMzPzDBYGwfSOWB?di?_v&(OFbHGC_&p94aLZsnFetI2)4R(T74A7D3R|wX#Y=Du8liEn1W56|4Rf z-Xwqu9_vuzP1ed&-Xfty`M|!`LHnIq$L|Sye(Y|mP594rT7E?SvA)B*!@bJW1rx{F z_t)B&=NT+VT2$8q@mZoKOC~!`I{`_4*;ew@lr1(oL)N2TPV|2enz_ZB%RlU+rs_T4 zzIh;tw}n`vir}oy7=W7#VF9c=rX*v(I9r1CL*<=!|F(r$$T{jOC5EOa{Kk-(-kFP2 z$Gg4imG@^f(N!(Cc&^usSJ(5xqeh8z$fvBW;^y+cm-FW}MV9WDkLRh8rM+MJU5KBa z%EgV$nvI7!&34Htnd8MzgHeZvonI-^vwJvcH8^LMQ_o+_hk$OoWHG>FW7;Kwb*0JdH z@8o7X2%-1=#*L8=^IKsaEtWtVQ#8})7p!GDz?8Z43z4`O`I0y1 z>>1PP*jhR{4p3D@ax+`*fuIG6?QPK&*Us}!^L^d>X?az>@du$y?O`TK4(UO85K>Wz z|7p`aXJIv8!!4IZhR>}M)tL8gf1y=Yo#P9YW6hwdhBk%0oZ_V$!EDU`(Pwwy`)LX! zVa(*Mn*gn2cmmJ1C}G|8C;pi5FdSXbBII^Mx&q+~^zR?Vxyx8FfO(tD8a>O{W^!3T z;EAy{eL+*MeZ<)+eE? za>^_PgNAkST!D%vUcB3U__yS$*m2mjdj7vvzJNcA{_3-3Y9E zF{EV_Q6q)psz8N_$H*_yP195I_Ma;81cL9KbGRFyE%l<(BQY{AeDW4KUHnOcrkM9M zmQ%Cv<0x1a8;VKcBPXY!SA{RG3Q?YD*N$gK{Z)ZGrPWouL}F^m zMt%`*J``gfpV)W#R`Fu&&B9s&C!9F11dB21SrlbX1-MH3zl0Q5Hx~uaUZ7>pp+g>KB)>3j1Te%ooY=zuy}4p;s9#lMkrgj+@6ALrZ9+#8@k;tHni&aG<(&cB9_uR+mxAL?-Vt ztnIy?_^`#HgZT~I0I-wp;;N^JN)n|3evZAK+c$n~j*-`YsaN?~R z=bGC+?)tTUFw3$&Oa^xOE{@ma1K8E`;y14wAJz(q`O@XWqJPPnq&koFB0Up7X!D*&Y`QP|{1!7*x7p+-KYz6V<$BK@QSrw$XxepJ$}Eaitv~mXGOy{= ziWe_*N7V0W{BFl0LrPtfov$!EWT35J>ASuS<6w8O`*&8xCn-a$hEBwfBJ3~u z2W|~fFKQPiV&uLRTpCTGhHeDtYE1|*6j3)?OFMsnjm-{lzYcksfZl!nX;_V)UG>sc zmqkUCijIRz+!w*cqj1*{>Hs46oNZa@m`oqz1o{}-#|lHAMPB{Cd4R zS~;4`g7~W@%zeZlfBz-(S@(eO58Qn6EA351Ta%&6106eiGC>7~rPP{H+5EcP5Nm{S zf>6p?XZvZSGJL+KJiR{nS~#hPnxwGwotfU*S^xQ)5UcpfFV{0J=qn;{8CL)Rv(}1v z?uhuZae4h$|H8Y*#Om7`#D=F8GiK~p)?Hr;5x^>4AI249$MyPZb{)q918suwI7)5SQA_1#HF%p!|<{RvN> znY{-;@w;rBuU!}$2STcK7d8n3cOdO{+|g;o^=D(%I~p&YpKu|@kph#n*p-~1gZ1{i zWns$rf*DG9;YN%>S_tB7g*Sfl?6fE8H7iz}R45zl?;_OoX@4>Pr{>P$k6qG(vO?ff zy4aGc=LYY9icC$B>ki39B{d9x@T)deOfZ_aW{#~|!hhUZp zO7{o|3sMBzgd_)k>9O$lWe75mGux|LEytHh~8>l+fl@u~M&4eDt+inLNFzexe>-Vc7yjf6Ne{mx-z zSuJHG>5kZ^v#+h_s0Na3YzG^jAje!<;@a~nSH|IN)2;UZ`B@| zSaRHnx2Eb%7Ft`AwtqeFXDW1QrG5FxfJY|~V08I8M#0B?krwl5viJJX@46z@U#BOQ z8)z!#7-XFov%a^hIfzzHtgy#+bz}wTj*}%P)<%5TY!h9 zFmeEjvmbCC)@t-b8Ev|pSSt%cqa?OBqwJ3kbYv@24SF_}dvwHies)d`km^n&DuSdo zLY|w>_szAo%WZ~%xz2+9By2*aMPS~;dTlelip3x~@9S7!rk@_;jk`?oqw_az;W0O= zHzVPn9edG9%NrU3Ra4*5&NaSW%U9k7o*G~+$eV4244Bev^!*?eeJsVsf_nb+b=N?WtJz?KjTM5=2_MXnP z#0pSg2auU^_a$z}J@T#(Cx)KjL6bWQSMe}2Z^+QyFDOV_+}D@R!$Eacn}B1|&}nPC ztxa=4u)GSGo!7v{V6Vz&#_okmO?Hx{mh=d_c-=VWaxMtB{c;p5RdMXEBM{cw22O!(1I2HBH><}l+e;&Tfh7`$?3 zd?F&(k#lHs@=Jz*3)%#61e~5ya*_TDxnrOww(Z_68PC6aqbz{$TNAEmtNjRSgyP(H z>!&9x>%X8Sxppi=87ic^N%1hkS{&Wv_*wQBJ5B!s zb~U6YHhf~Ih>Qr}l-qNjqY51x-hNoa>4=RqM7^1}`{vc)xEuPg$Kbx{ z-(jh`%^A3ClPqAQH;qK@sY&WwSnZB~QY2!ge@4-yp&k0+6y`e^qMUHtcNUg*3|4W= z*Je;q0}I@7SIQbVRXFvQ8i3c_+kN(P$vBJ?jND+{R_@7Y&i+>RNP$6fRlU}RD_OjF z^l)!$KbQ$coykyos|>mpktuP&pnNB7@WyaOvM|RmM=;eG3V9Z(X#P0a!I=w42Q!Q2G%PhY8Efn zdx;FWk{ovHJ3D{37cqLm8RRxD5$w!92JA0wPmCbL_oHLs6-{Kxrst(?(2HX68+ry=Pa663q6CmULG=eHG*n|nV9a~AiMurg0j798uMR=fWG z!NG{bo-*YVNX=5n;xWNU7}-sxRlZ76XW|)Bp3JxOj4>p8jU+U`<~D5OflA#J0HYq z&JlWgIGrH}3&d1s6-evkeh?#xH-?451g6UNcMg|t@4|GqS(^qw?)ELM*7b}R32#>2 z#~T4=UTy%XaY>XlFmNH>-)m;lx^&fcrZ;twDAWRyP}{9p&hmR_PivU!I+`qnLOw5yd0Fz^+RyA%zDTf4W2N?oAu( zq!?(R&NjvnrFGB>=K;iU{_Tbyq67A{A43AwF|LEK!hpNI?D-d-t(Z`QYvyVij~;8@ z**J~1WwhDgg{E8OiDVJ5V8vnpO&fezJbBy|;N(z&OSeW=S0{UEXAO9A?z&gLUZ4N8 zPDV^1Op6sn{_>jP1Y$@|d&CPjou?@6oUko&(2pg0h^vvGcZUySi%BFD%2MV?= zx*;x4m)E~UST+3Yp&N~D8b`6>Qpz|_j>kXrZ%TccC~4l&@*UgX)Nb~Db@6aV$ZJN` zs$b#+fsa;|&fP%;cTPap6*?vH(HHP51wc_BVGt2fY;|eWr8Tpwq;KU|%m**ZG&kFf`28g0+M1qQlH8r^7RDoTyJbEz-mQ4f!vY-=L)7r(_vU_o zb@>K+>Ylge6NzO>;2BOe8M!=GKe?yAA*8bla$#T0|FiYEsC4x@s`&R+4mGfxjFdFk z0W9a>0+Mi$kpM|bO3OLfJGeO6gJdP_9aWV6eLej85v_4Q{x%+%OP1PK!s9VFtefJ8!)qxKQZSm-*h&;awXdDjXiZi?xQ@%rk}vv zmOK~1iTkBInnB@5tQg5#24~#(OOkP*3^uQw1^1;FBuM5;dCCw)R~E@7^7z_6UCJ3RQ?asEsgsDb3*$sC{Xa%F;n3rek=N zX2L-cI)IOu{VS1??d^}z8;<2H1P8#CXsgVHO!WQ2^Jt2p-jQpsC3BQ6I2WgGyM`R6 zqK+X=S=Cc$Dk+s{iU%#}I&mC1=S}oti_G~g%T-x8VfCdpe$zqL@F zp@2l69@(7|UI=9`4ZYn@0H;Lwzj zdEYip#9IKB*>N_El;=vw>lY=?=>P&f+abV7fCnfR}exy@a4m*xpyIXx@@+_I?XL4ts{)JUq#Q+Nd`r z@=07|fv3YmdBIuKTj4zUPC?Pe(4gHZ-Cj3I zS8+sV$-+zbS*@N;0#qhnJ5kRj2`c5{ovktGefqu9OQ>#D1?I{8_Q+v zo6ON3dEmh82(?F0Asp2E;TG>FHW3bv%s|ie1_$KN>YDY2-|u!^ls^w?Sk6)z1Jx03 zr8$g9u_4*a_JQhdL);da#F65aWY5o9h$LMhanuj$b9WPU2p=nd3g$k>u$h_W>1icd zhlRN}0!aIE=?V=~ChZ!DO&a&=FD;Q@k6iM@X2=<%y4!Z>{}yI*dzwoJLE8 z5KQVOmy*8n8X15vmXB53-%E)yuQ6Whl3pv^*Qcmn)n zF);(5Qpj6~mEc6N)d1Nr><3U*Z2bXW+5AqiASPE*+y-Txxx)l3d19 z&9%?De<qJss9xw~ZCS^}@uj*T zYfAgafN!TGIoHa3Bas$ulM}D5~m#1=Gtl{vplCVwNJiP}Lfn@Bv!%Fzs zlI6tGH5ie}R+B>izXcoz2h1E$KBz@s>5Vh^=mJk<(Ap82XZDV1ZvROafi&g0Tx5^2 zAsTGmQ)#y#2A;G9+&!GAvyn36C7Ypl4gm(TQmCuakBbvcaeF7|8LV^i=l%{Rw9ih` zwr@|hPpFF+WzaUp^>?J<#w1%q&el>$->uGeyUq2~1G6;F#5tnAZ#Jj$FWJlm)$u)* z@%X$w#|xZxY@iNrsFTu;#b_X>^d=iwaP%f$IXg%$Qx^rB3E#U)6s@?W<=_Ez1eCx? z=n<}p*Imb`W2K zDFu&D?1i2O9OA|I+E3*#(9ZwG6{GGg%qX3C!mvIVfvsXE@)-s@-Hg+MEe8-mT+yVM zf=Yszt5OdnUta^36q(|rWabFKdLUKlnx)M_*T~|ZB7Pb*yXS9D+Bz)jxlDtJ_fn!P z#-T)_3@NZ_xL+1kw`A1g+bfaD#0pD0sOtXwKXBgL1|=Q9brd(5mxio#;OtAYFG&Z1 z7+9gCPS5kmVsBYYs}<=0W;|g-G6ErZmPiU#@toed+ab$9xsRLDpqKFffV_03>ItFW zq{FJGFdDA7(UMV1r{i6-9nwtbuSW(_YCbrmZb#Tw81GA&08{^>zsT0-Z5(FC6q%v} zQ0$e$wYS-Lx>y33MYca|`*FCSauYNy*XT1leFAvI*}Miu&M#oxfDQf21tfrbs}WjnrW>MVA>>6hrAmiC~g$^O>6gBYMiinY(;MCM_0fy z2epFN*@x$SLSBh)-)aI)SIvwE&PbH)ZCZvP5r248*}RraCQkX*{f&XP0k#HC#N{$* zY}xEUc5>_ZXBO*UTJhVrZv$f>n`Be1^KBKH@{1AdUXVK2%=^9I*cxcOUK?bOeREnA zQ~L_Rw#j&rk44&iyU0gk zAUExo-2uR#SiSKitLzQChGs5@9pT@r#Q%ter0uYyHeAe?MF!Hzj(M7|V4dDnXTX^c zy01RbjD6Dx-HOK4zW$NAf=7A2%bF7PC zjm8rr>-mr0M4_7)U$yp})zApJE~5@1-KSJLgGPmibbzT+}~*DB_D zO016eJ+XE!t8+o}W!w2^&9+prc7W*NExY8vgXuiCBv-wuJv;Qw|F-m&zC90`jMA*- zj)v22bXXH=#3oO1%y9}7uX;FBa!wGov6iU^uFBK$+WZxAOM>SSMXhT~KC>msJhH&B z@f*7m5WT#mWYZEIa8*1vD6%+!VMukdB`tssv0*mH-4MOMrJ~Y;G>?tnk{q6835gmg zznw**3yCb-l5J|OLGNG~XGpZf!0oGus!Q5;_kVnU?2D1AY7Vb{B!vGS%d?xqbi&p` z!xq6H$;D~!2o2Yhq)M~*fxZ&`7k*yDfC_G0*Zyg`%2y(1SLI$v8!Cp^dh49ttkM+2bv~(f)EWo_6am)7d*pG1^WgFt;wgji!Cd}XZZ;4H}AN{$&>maMr z)@A-0_?H+$;>5QEn%YMG(9Fy$mbCBxxu`lXbR1**XC}0q_9z8<7Vq^vQp`7(w(-}$ zm1?g}-=#ImmS$%h)8aD9Wof4aeVZ`KF=1y3MXpy+YuU^A{U7{}n37}+wli3J+gQQ0 z*BLg-OFR3J>&Pk)mHzoy^mCeQ6U ztE)@6soVKno^#obqrWpSC5~O5mvvUHw?ng*?H_G0`_w7|T+3xP`^4&PF`Qv(-lDfX z#0t3z|97FLNshjr8Yu6=1xavsTf#YS+e>j|MzY&^rChq}$ zB*lYR5QeC6OA8ei%=;4IPa_K+KQ-#=b|a5HXil^Uo};I@5OK;njokj(xM{GG!PBVm zAXfA~U=Qw5)eB2lpfOFb%4v!pGFK1#N2LF@2!XteJ!BZ3qy4>FBJ!u0O10ebhz7xr z(}b<31w`{-tFHDk_HXM)hvi4%MS7YazC=0+$33K6@ZaWvP?1ZT4Km&sKkpa#O-n=> z0h{V^7#IE>qh%LamAlX1D5&!qyV`@uN~J)yO_YLVR{6rxC{^{x%z5b&0k5~@iY()r z&ONlv;bn>`5&S#R!c|+6+z|Y>4D!Tqd5V+#^np6Js#jsp7?#{VQ!&L1XD%{3Up4&F zMkjN$3xE{9=r`fo~8w%9;*2DoGGHo~n;CiPHq`0Gz z^H-RKD8{Eb)1%1Ab4mZ6spS#B4cT6vSv%{3qVB3H6_ZdJKcO0vbaYS8cuI%h$8u13F`meEBPYQ{Unj` zm}forLPUbLy$nR&-4d~2Hf0Zv{#xDVXuf3iyN*8tt@^_z6m=)Qvwy+k#n13OI-TH0 zVIP8c>w=1~4<2<{%H?kej=V5=IL%E;DU#OFc3~R-^&spah7T)L4WJeq{#wyI$=nO9 zYJM`!S-scP`^Axw_ZxIbRdxI_a=`vvY(DydZa?=;2~E>P`$llV(SARzMgxn zzQ6DEPJB$ZK=uE;GCtYGy>Lzk>xi2xDeR91-_~(FVYZujS= z*ZvjBAu3&woQ?c+Xlk|yvgBu7(jLQ}o zE8nyX!*@)5aGUrwC(P?Yq!v5HtlgXc07RCQPtJQ6M5V8lA=_D-fd~~Gu^D~TNM$zX z{yT%{VQBf16~Tkij-?ydKBvZm+qg8Xg{MK8z(9#vW6j~T)cCI=6M$lqUo`W5doRw4 z^kIXMr!vI42F*G|83pC{-&K8BT7Ror>2XGckI}N@WuCj;EtmO`g^0zUD2w3ZE7gQ( zJ$~&%ImbJm0;&;szMozqcfpUWW5!uex(yPoG$}$KiFkv$NV0+coSTw*80Sz{`j@6? zV1Mi40eDz8MZ@goa^cLZVhLaK->eXoS?xrf2lm45zMSe974HY`x^-%$35z`L%`Zxt zwWOG2$KCU6{>CqL-!-%S6srRvmWgRoF6?(#I}^*uK@TUIqYf{b=HSu}C$IsT8ljt) ziMBd)g^UZFT?94YBxf@^o z=EY*>%FqvEx$$O$wpFyUZT> zcax$=Ou}DY0CLY8eaT2nr3}wXATjvmRKg0RN1JH!iqJs{V5aQH<*K}1eoQc4wNc-{ zf#-l|OeKgeu;TcB3>neJ5ZKPgm$u0AC!u#L6bT6iTGs9HkETS)sassS?STvU{*kGu zpsUJ(DgB^syP}OpgWc8IE)G)pc17DK`-gS|YyJS?Eqyfh#OH?BimM@OZf32gwskH! z>X})#KrJVtFYv5VAH7`fAh#Cx-<@-8Xa(Nf@?csS zQsOV0$D~zUubG2CXw5K>sNcS@(fLv-f_D2lz|)!*z+qq~kf|NY8O$y|%h2$x-gUg^ zki5gF(orA4OF40qB`XfIn)fjK@~r3>go+fEJ)&s3a)*8Xl6~rM+!(#idOJvZI5wz8 znw}cHZ$<%?O#2T77X(F{Y!;HajT%EaB7?Bcyg&pyT4D`-P%)N;+-K03RVW9hMC1X} z14Pc0pt7ek*9GPbx!&Y@v&Efzx*R0F=-8KEL)Rc%qc}~`x=>r4p z#)-0;c?#zAZm(KnQu9q8!#>H8xPtEN2=6*;hQ2T7+1I@9h_+utch0k&xQ+yz97f)=0IV;6r@l8fUTa{8 z1uO!EQ^8Y$bA&7_=&BYWOMx&P8w;G8WhaBrSY9sLrO8R2nmmx+6au-q1IGt5$V3J& z_1k}7Jod+FLde86fWA&t#mPwXEBBQ8MhIIae=p9<<+xruB609J$j$TExke2V2>nVu zq0VzWtiSGljPx7BzulgBT!XMG$5bP9NWh7Q<-XLZ9A#!1Cv}?DhegcToeU2r5YDX4 zESath-@0wd+wGQy98*jRnf>Or=TbNp+;^gu%FBRLk*WK{n;5uS*p_ zwe%g%NUNTY&tzk%Jpyq3pjW{@(5dcADqiP)zTL^kQb#@U*#ZVw<6ZORQ9Sl)$cZ?P zCo)%W*31~n9PbFftKYVg5*e*G8{gWzdv;OAA;u2%nEo0Mos@(G_?m!#rh(SA{{oOE B7z+RZ delta 44189 zcmZUZLv*HX(5++JPKOk~*8PwpO)TFN3 zb+5g4OD4@t22DT+cnCxYWD`^~3nT{zTl!xXC}IFI2nBo>tPOufHz`=MD_LweSW)KF z@0qS4YVs0)G`hDA+M1iPL+k2Qt1I2`$0_+daJozO!NhbWRHg{X3Vj{-d|f}>4#YoV zNVskPFm%MFXjalN6h>s4JUDv<;nH^bK(MxAkBbTx*?~4}VXtAHdeLCJWV8aGFB@m5ZE?9>jukxbv}}9> z*@y6_KFPyCe4^cDr*!gM@EiO%uTOu2E>EVev+W!8NBP^_1oTBBSEO8Y zSvgJ4&DNgvU-tYN`=1)R%B8tEda7)`)voS)s!M5fAXeLfSvu~0-2*Fq=++t$8SVH~ z_Q+B1FIp;h&{jo~g~k5HZG1cDLvXvR$!ea7X{ZaTP35MoEr{|L16eoRX_zV<7jOd6 zII9>u*8&|CFqd>*&GYASK!ag`>Seqi1iR3;`fudAfEN#5jd(L|u`i&j7KOTqSL=m- zu@AA%!ManMI4dSikpAy=1__ppr;iei&}^`EGHX{pw88i}!&}QoIiFS50_h4z_2nw+ z$5=7`1T6giH-f{5Q23P{C?D~GJfK@^Lv2a##A@-n|Jm}OxQ_a_P)fworMP>z4Gw#R z?XM8ie~*9c1%GfJLXK6@b6gwGAwnpkj9j#7t;cF@?b9q{ieb)hHl?)(5TKKkD!<8s zU)o^P9m~QUuv;wKYG!eEoTs$?jce5S`zHwp$~dQ+)IOhadE#5PKP&!LMK-|N{keS3 z%$Z~E;P;tEtoZh+an#?+>p(m;x3Yr&eh-En-f>CmW!D;fxBjpui*FqKp+;2O14KJ_ z{$W>pV0SzY@Ahqw@snbEu!A_8$+w>KgNX~ui$5q&f`lt42sQkCX%Y&+RgOg)Z47Bn zH{EnUz|nEx{^iLgr7Gmxx(iHv62;|-(H9m%k1$;?#Gi&fR9KvlS9e+MqzLg>;joC# z>F3;w-p5dAcX?^-Epb>Ip zPEmdxrG+$EVK}$4*E1Y%N$W}HC!eA6y9sJU>c}=92Oe_J;jU9m|4dP&T;yKH?>}M> zWGydyS6@l&Ge4-QXh6%C^)6?rvKm?c$6KBAO{p+L!`9f2l4Gf{URm1mx7*O4ArUZ} zB{24vt9+sus4xgreQV%#qB%pDG!lM+!URGrh~J0!6H4?MO&z~f$B~%|qTs+IKl}uF zNZhPr#p^X8Bl}l?O$-qOjr#_lC5B#j?ZDMYIi6+$g;S}?%sv*u&<}m^u|@#~a-*`- zf9oFKl5$+P2L3eNqjOxY>vSpkeJXj%A5gmsNcWq`b{|rn$MFI3GSRf)!8B@O95%dr zlhTzqrXB=aYe#oU4D7U+5G>_4<+qVp;Y26BPG#Qkyh{_pn7iX6_ZujTc4MJ9J_Ax7 za#d)kwfpQw==CldW3b>mg)Xj{H#Bm&xES|!^R-81=1Lpeain_0;(>K&Wx}sIm0s$q zn|A};==Uj~3njok&zK4vJzZ&zk1}Q}U$~~C${8L+NkLGJTNzpxa(;-12I-2Plk>wW zEqY0IH7>Qk>D)!@j@4f&DOgJ#7i6UQlSPdkf!awNOPjXVEcDVYnkR4G`n05_el^;; z+hF)ji9}I{vFQ|?RV5APRt3`xi;UR^Cr9bjLQdu@fj~g(QzaCviU5K_V&RyD`%fOw zLk%L2_ONka&~Y}MZNQ6G%XAIpSnI{~kaDdVZf#E*;$A>yG?f1NYt6XR_bg!$^7J?Y zmWVa1^))7E8aGmM_ofxrmK7)4Y3~e43BypT@c73iI5QrC#LQSZO^R+`I-F-gu`uLO zy#iM-D$SVDsHQ+?`jfFe)Zi6c*ZzreJ^-7S6u1 zntp))fF)}uckX%=lY#b~osCXAg)u=!ff|mbF&rTI6O-sw_YUvl?~}j^l`&h=dq-C+ z$!aiY!W*RA#}z2uod=ha!Wo`v+Jcpg->M^VTVVwn(8e{Jd+T8K?$Z zDLP2ss`Uih+P-4?^3$13Y?+b%H(w;Km>K!N$6rK}zKd>e)=zOtvx_ciJ+$HLf1gr5 z%-)0-&g0@)x{e5iW)R;=YileyRzRr0Lf-GbA2+3MhD=CCbnD=TBsZppMnCGZ3ui76; z(I0$gG^TdMf#@M)0w?wX^a2}aYH8~i_Bj#*YC>N3RnW2&!asjE(JvP0tCX5$rKZef zn!o1YXg#n}{8eS0Vy30Cqio%mqh{7+EZzV##>@85=6g}3NhGI@hTG^`7W$QG{`?^| znL|Ng8h0jE_Fw%S7(Mx?+Okm*J1n|*fft$lLN*_wk5uM;CkjxCCvl$M7AT&p>8Wa{4F> z{N=l3>ftN03J6D&os0P{dTi<+%Eua0kBenwjm|nJ#5X6zAi&yTUR#96adOmRA_vIo z%@@wmkq(_CS6IM!#3{Fi2PR1pQT^oSzxJPq6Kz@*K?z0BSiT#ODu&R)`CAJ37gKo0 z#l4YxDN+@O8*TZ`rpTAYs5 z{(aP7-Lpzu)P<$4JLhbgXEc+#pZU3vJaZN(>nZ@!v)XxoDJqMb@{VbXOR;C?bgNm; zL#<9Q#SA5f{r)m(Wh={R&@cxaObY!~JA)XQ0nO~q6gaO%lBGqtt!MEKMZ^_978_5+ zb1qy8=x`8zwGR${&}PQwOobZ=LLGke?tlH&m6Ne;|I*=uLIM`p@t zjg)76D^#UX7IlA55hT>O7E?gSgPbd1jWhVDuCs`2HSOZvuZ?g_Q_+Fdf5i-k)s`%; z_G)9UxQAbi$vorC-ylwKYsL`y9G7ZQ*k=*97x~2{9HvhR&IJsJ4eu-yO+mAF?8T}I zr}?}=g4JfWE|N@j)1kt|R5y6`aMG`k&9;61;!v;RbX@HUPsJJ)ck8)22lq*9nRajVre(=c`t;V=Bt+tLNGs}e{fOi zcbK7MTdy&1M-nJC`K=z#lRZ!zYlXwvpIK|uM?7VXhMnRbE1EWcAE?GpBHeNn%@#5N zR`v&i{O8k-?onoZLig)c5%|0sD2lZNq4PpE7Y9sctZU$hicmq#ooQw6SXb&;a%H!O zTHo}LMl!{pkaL~)Q>%fF`ZQ!F>5O%j8;51BI=dBzl_!f6zg!^WsK&35+Al3l}CsUSVm zH>_lj@fJXV&?2=dQDgLCv7OiF{nKnqMp44t{8kX(fSFJp>o5dl(Fzbj3`tVeCh zfWr&zg;qVY0ww}cT?(7agjH?R8d{{N!ojNtrwS4sCP9$KC0{>QnyCCXnl47%=eX}&S9NXgvhRx7|LCMoTIC=( zMyYvhb~fWQSCtI1b2Q?p?b1%&m<}hmSpqwh^#5Gmq>pBBJG^r=K5$$%#wi>Z2&FUs zXdVkRxr)4P`jt8|eE?~{w$W4BD4% zr&|vqRuQ16;vsbG2o+zCOJv|J9Be^)xc-1&I~||KP39}*h$#g0KV4p|ziNf|OIIzC z6%eZ)#Gi5*71>!4@FtdrvY$W%8#*cUT^w#mOaxi?o09UhMP!p^Klv6CEY&bK+#V-V_Y>_q#H{Q>J~WaG%?#tr zT9GTgPlkM!L3_Bs!vno?k@$+sP~K?4GIGucj)cm>aQwZz5H-i>v*J&ZU4W;{KfcF5 zHoxcW;ppgOT$2wPo#^k$3ukT$mOlhzC;R-}L;QEzF5cjHP2hVeJ6bK7;iS5(A5VT$ zm=`GPF-86PEd-L__S?^aEvL`Bm)4W?BLno(3~GpP;_gM%OV~e~gz_1dpOFpDxY9WS zeWq9MDNm$}pOM}qw%i)}XP7)A@ASJY=RVr!^h!eLB)aeXSq&ujQs9+OKd-@y)NV4_rjr-f~_(z8YzXN*zP@$W7z&Vy~7S~ZJ` z(C?-Nq3; z$zSe`gEm22-4T%RhdaMAU0##)j#-W3CLF=Lt1zOr1R80ym&Z(JL!x^NFDlBhXLf8M! z*=BBaag6-ExFl!&I6d68RPi{esZ7}&GeP^0Jb*XWIH*qZC2NxqQp98v;=s8Rxjw6L z_L3X+dr`sjU=YL9x+4|&cOrvq*MJypo-Eiy%89?Q5wlg78jMs#pNhw{!I%sCbz7IG z3=9!U0Rz(5oNMI2s)^Jjc1C5atWkk`Gg1d`H~w`e0%+mfs9AIQqz_HD;%ZY~F(Ifc<0=Q)Zmt}j+y_9WcYQ-Q>IVx-AM+zR*>h`o{=%%P4@Qq&aU9pQo) zyxY%bpURLf&7u}j5542=j*!rr3a#Pes{Z~~hbb79*uv^^Es+y$e)akdKiNedmJCxK z$#h61^!i;_{ZbK{YH<;XnFtQj1a95N3gf?r@Y5CY7E*n*ypb<)2W1FT#Qi!a82~6t zkM7iKaK!~*#@?TeD$|ViT~Bq4G}4l7^C0 zr|_bapL0;w^c|u&CNp~I*fdQmkhu9*{2?d{mluCcIIUg&Fj&|kwJtF(8L1&~m&#W1 zErDb8b~6pvr{ne{$_g|eB#Nz$4D^u4t(Toe6koSrOI((kf({L|cbQ^)`GHPvzW$#T zP5XWdno-=A&|V#O1=Y z;!vB`Ns1X$Yp&*(KNSi1eAV^@))}3xJm736e7!Gsd(iW+HC&hUgOY2{0Fi$xHGxab zAzyGgDYzsA<3<0ZqXwa3K>IGRa-jscdJtzC&Wlu=@mREucPo$_TAey{&h1d^+RD)v z?cT*8VrvqdDY25OQ_MNN*B{W>5^8se{)AOausc|tm75~|TD)|Bw&+8RvlEk;hQ)7n zm`?l!N*GBsxjH>l#4Lu10cm^+M;@vs2m2OSZX&>p;T>z-vgP)#6#1sNVsHzqp%V)x~NSw3HG)N^Rz2#54j*Z2+o=mNbn?3h^< zU#c8Ganx-Q$q|vYTb7LVC$u_(OT*x@Z?zw^om+5fqn@vGNe;damB9rDTPr+TY$gAe zlORR{`lFmCl9V4;0jON;fs9LuKkNO|+~eV8H9=Y&4Zo^ncII8f(ixc+lOsH8T%h8X z@?23t@!{FynP`9*`wZ%@H1WZ&izG7Q;6EQzv?%zHg0yL7a}U)mtW;Z4q;08 zYWeE-%J~^x&%Zd`uVdKM-tr`te(BEd;r)#F$i14~o<4NpWa;&t#}#i;hl_JhbWS~d z2x(5v$ujK_*8lB92%A$Py)Ydbvo&7|%Jl-^`F{`chQ6*V=4g`tmf>uChi{O|M#B%x z@6-@T6KH+w0j?RuL9nq_F*s|x(k1~w&z7dW9F;C-!-l=H2T_b{wS&3(fdD<5d9kgV zsi{>=yw}g?@Fy9rAAFrzlJdQk_CW(jqa4bt27bx0+v)_x!Gqs8hqeLQY?&{`GP#y@i1H!daZKAEGx5e{(i@ z9ziqM?Y;fk`*mFp%@8ibH(chG&uuUoix@=6xP()0WO+kv-rLZ9!%Hc+>NUXBRCsfs zoK0{=Oyb^t0}e)_1+ba(6`;dBf4#J^>?{$a_q9fmM0Q1lb*XUlR2p% z=N*>t!?aAG1k>Pc=fQEKxFX2Z{kCF`Alg3s_cP+}ch@#y?U5WZ525{D`nE`Ds5&eG zE^w=;J|hBQ`4|*7s4SBq3qCuaxw%3<{GgFJ%H1*WpQDH^P|Gp^1UCt4NyL};H!7-e z@XJxHoZ(i>SZE)yIk@$a8MEjEAI$8D7Zcm;^P5Q$nh|ig8)1>SJk4vhel-D)O{>`2 zhh?8)WG>te`=-GuuedKs;ytAK$ z*fAv(I57}PCxJw!6f{$id@w})Z`TY~L|eGmRcyj}@%v=AA;UT`ck5PFB$x;C^~o@l z{faMk5M@rAFn{*pW&%i5$h`>wyd6Qs&1-mOe$NpDCjj^CSMG6Q!p{4bPNQI7PBMfUs+jlNSz~0FHW2DE+f>RCHp%J@@`oa{Df_` zK>#&EoxCi-!eSH;Esw&I;!O&z0z*j_N_D|($s8_&lOndBDPDu2$0frJIU=0g8@X*G zn8<8M7HVGYjjXtR#(kUO6e6cHj`DoSfTSfsgU*bQk(jXL0)-QTl{PvIv8-V`6CXfV z#Tg0uro;iAZ#0SX9>t@2ZsUU9LQEk~Kp`mNk0lH=86i%9bvTH028fKJknh4xL!4xQ ze`9pcQ0^%6u}`_(2G# zWJCyHf@wf-M8HCG?(3b=GD4(AmhmG>WG5s+EW&FgO`D_|(fdbfzf3q5N}|tUmr`ND zKadAlm7|`S&(2nBpkD ze_Ry@uguzgz7KfK1!WaPH$BWJV*}!ly?#0o;@#xKSoxrgHi5rum0r2$!fZawjk*>~uBqy)9 z+`sST%XRzm3U~|oFlYBzAJxK*c9MK>`>^tQ4bmQiir>7>Uyj39qF0W00KwPwDd79O zL}d)?O%K?IHlKDk1VH}{c30L~H>FGV7n8=$D($hphiMn|q6vu4t%b=~uUVgwVB+^k zw}Eff9NGn4;B_Hf>O=YW8KLgn$uzHab$?`@sHn8ZXyp`gmda!6L9I|{#Q@v@_S{^f zQSVqwiYQ5N_ST~NfGSN1+dZEV7h%W|Jc9uKOq1q|_mA_Bu2C=lCanpDOTR3IYlqK+ z0T&N9=C{gR#Vv*JrV7`22GdNE66z2(C6O6bb4p>$3?u1%ywF4d>zkb{{u}hk%2$ei zPToF;&|yK4_5~!vkJR_J*uT_VFuTucl*(cyh@CR%$4t@{vPsJC!*{ocd(xq+5VX?Kf$K<`QnM5B zIw=`{nOOG7-cD{Zk+6|$=lLQ;SFK>^xF2f+pR9wc)QjwDgm8Veu%}_pK-*SUwAlLj zT0AyFKXI9NHV`=RDU@!4NkWLMZw#VpLp0~-D~3r0o4z{&zw;N1n~4jG$DHK8;i$o1 zLsbid#lX>MoqP}qIs9~*>Vu(0(eFJN$q1%nDJbcK{cJI5Q$Zt)D#ifeO5EFHjerHs zLm? zvh4?LLccr!f7Kam%yJAI$g6-*6%`~-WxHdnH&}*LGSs!@Ir9S40W^p~stC+u7rG+f_?3=Bh$|m}Kl7+!D`!cao zENGN0X}BCzl*$#?e`R&&`#*WS9-W)R%f+;OvO4D7L;uZvaM4!i@(Fdq7FqrBJ17V zKA%n6`j0m+>+`J{)|?x6WK5LReH z?b2>YNUx1P7X32ZqIb|R{#}#N$`o}h5@{B=JvL+Yg=E81&EU@_j#t#cB~d(zKIrSX z$?3Ru`^C$tC6al%i%k*z&gWbGvFnmuh^Hkt?CbbcvSoLV}OnwPyYyV)%DNQcHF5EdRy&eT>fN0 zZsg3GkD8zliC#8&e<{U+NU&VyXN{CiI>R}C>Pxn=_K2n0(B0BS#--rNC)2?%qmL_u zSGal~+{&xJQ--j?W&E}gmc6KIIINVra&BB9PB#o;Z2#qS;f>HGJnsdTr?+CaCIn;sz27{*!JO`c%lLj>+1>lxBT?Qu&-P}3$b8Euael+11s==+^ar8{ z{BuFJ+YO=m6-jZCf$kEjotCb)enC5oiq3c|!Cm-c^}g`rk-;o^>o2j$FGXD#7iqQ) z)&u;no$os@E}eE#$7cslKjUFOKN;MSQe=oW&22I`k zTHQEJtV=y=T|@2A!S7i9k?!{eaGo8j`0lqTOh$WNfd74V5)>31>gFfTC-M)GF$gs; z+Es3C6uGez&^5;sztfS3gdCa`Q!{e=%|iQI@Hyh?zVGDxSa*1~RWjt%Yxt_?{iP=Z zw&xVD61B|GV*-hsYaw&|aa;W&(J}jR40X*kW2iQMJ}1H?5A#vpoLWZ$&{X)8*H}ipEem==UE@YOZoH z<-4QhwwP(DO!{L-8}fy%!lC3PUKl7D6tw_9QP+|^x;bs5XpB@mgNEvU_UrzZQB~gO z|La^|rmywu-L*dFhfosHlB{Y>5$IS?t*(|KKEJ_8o8LF`t6SF@8lZpY`ZdDw9j-~t z;?-eCfci+;I%3CK^q3Sjnd!P>DdgByN#2-oDUn$q10SP*!F74VTWjy;azWjd4e^0c zodP=fV)XvntMfNSy1Efgy)#w)>~+1)K~d)8g)kKZIx4dYjbVXH4hgCj=c-VA zQ2HtX^nI>hZz-uE59`eQAH;+FH$`o28OWklR$CrfOk>*FotttczGN=>tFr4D4m+9( zt8)a_b-88v0kE)3UD!_~BCWjD9O{U)U-st@j2Plv4MI#ZIKYPuxngQ}y$h#Qymq!b zj?k7Wd#}2Ps*R>$g=dDkt=2A#HBD@|Vp^$Y`SR%A+xN!3o7wa+c=-ubTJMZRbD79` zFdS)Ph!5RmbsdO5ztx0#Gq~;<8B}{sSnBlh!K(z{XUGQX^-;V&-K5?C0z+%EfLnrn2qjWQJ zNKHyz1E~MeDZY_oDF>rPQy8)#KC#&XS&=*%aeoW(CLsKW*N0p!w;LpX^p&ZwIyj!r zMDNH;JFH^0XH3($KysxGHic;jqCX!s#54?Up>|V;Ei0%N;LvtNdbN?-JRZw$8Oy3c z(8~US=BQ0-tNq*Nl@F^^T)|GDalMRi^xH$0F+c}@wcU0wa!4QC7J#DIgH+Jz7E z%Up)-0v0K|YOM4lS~HNWhA0(hOUP|0L``R?*KUgH53Z~r3{OJ>&Eii-^9lOzMQQ2^ zQrOF-!O*I98RUum7;)GGF&|!jT`4HSg36nPo;!%VR7&8c24HvizH?))oBw z?zD5==fmxiOu0-<2u^!l`#6+ z+I{Bb=(;!eh@QS$)N||>H>~1ECz*{*#6ab@J3SKiG&$$;6_GcQX~|OpmrX-K~W=7axCp1)iBb9<~vPTHaW_!EYw_>B1(L1=L z*+0c&rw(-`Znm88>P|uRR+U*jW%zB0&CK??e!n*}2m1{^EMP6EtJznX_D{9m z@NKNc)H?qqSiN6p{MQQX@cpb!1;V6EZ&bm6_?7N=FKi_ni#_|trovh=7vYC##sGu-#N9?4Rfh%~=3RgD*w@*&9iT?LL-YDF zElg-j^izYjfBKwC$~-|fqyWUVQ~+P=}w8taU$PCq!|6 zb1JtU*;RP5LCKckUzA;2Inu?{H)*@Z4!S9|DgKS(ZqH%ku#W4Nk>>cOna-@c?Bk!B zhTG)Avqc`&La6mBInj+={!HWcvNAIg?-4KD6+#EWcj0-UQ-_8OlFjfz$zvqQp+ zVDXkIRfl>j`Cpjeji^XCE+>T)y0tzWkIoeb*Z%xxm!N z4dE%v@2|+*#MLeQWw&P7Wlt(6)I=sSL8jTFh4^OF_rCFElE$nBfHeVcm$z`khQYaC~UcMuguch%{ zZo-?xl*ErrOmM7eRePPs@^|hgIdxv9R(GgWu7eP}T11#0OoGkc_hD#Cy^HG}-1{nX_=ZjOTLhHoZ4u%c{d~>_ZH0 z(-!G+t)TD271s(oAEfy4NVVxV2GE${X|mA&6-;ZIEG%U$!1}+e*;H+*G^k4S^)oDY z2yxyCj;18<_C8?sBP~SZN*Y-1|EDmESJx- zK2F2&HK}~g_g3qD5QnC)HWunNb@{`=^XQ!muii!wR3;sx&jF3>O}g(VYnlr3Xnn( zp^AAa(^6B-_ark)-j7@0?5_d%lpf~G!tT&ix03#R4{=G5&uIh z@ohXZl|Tgd3XL5Mciwsk@zc=Xyc?S`OLe$Sov*!&4`MOw5!bTfI7RLK28=9jhX$ri zV8qp;{t&CqgNT~3dPZrSBybxmolel!)tsAOXrcc}rtk&6+&Qp`Ym)u6gWM5sNi6BBOg&pJ!D4)`Y+lO4;y zDdAu&R zSlOJ|o}yx*tt)AC4YD5KzM!a};ol^U7__z|DBvbegf(&IX<)05t(3Ke zj$9s6H?M|75sh3%DHh9gjBV194jh+el|(~9WE+Cy!PB6D{DDHq5)SH@A`Y_Ip*ZZj z6}m>Er@(WKih&#ZFZRcW6Yt6ox`m``Q%Pr*k2qAL?vujL|c< zj^t#3l?`g6Bc>LⓈ8-n1RCLQo2{R-fm7(wq_sbO_G}MW2fPtVTQBJf;6GmD~UG$`w4hzv$i?&UYm!^)P21TCK>H6mNFMQF`to>@tGUg$v-mAOZeybS)Ur; zxp`M>UrBoFrMUI@`E;oJdfoLQJ(KH`_O$7!d5ObAhM9MiG+1*vne?s(AjIPzm~zVY zE`aW?vr6oy1~JEmL9UKT4GvR_DnbKWkJkn#)h!FJGJxUJj_xtbZK*%+-y_o7+G~2o z??R&&;m@H&yJyz^Tg93#n**4*@3`Tw!NL2aL>e*ba=Tk1r`6xt2ly!R@scPX40`Qx zoCb(i5P~5(FiB zAIavlh=GMU%5Fo*g5-;qr%&0~7wVUCzb*u+Y=z|8MSy0jW(u<;!!JEvh67xc2|VC= zDL_3SAim`aq6t~R5MsI06Gyzuf+yO_y8~~wlMXHEJXhF@`NGu=JAjP!1V5-8sjH%M z>iNtsTbN!z^53W!?`U$NXXGb;^k;q}q9 zxqmzQK>orfYo_GS7mT;vB6cO;B=TG|hlnzBJi2v%kokOm;k|57-S`-C{nFSq-`|!z%zaC1@@!rd^k*KXW)BaEhH~w_bJuU; zC|td;rn^$kbR_xnf!>Np>sX8dd>%o9#| z^Iql9z&oc*P;`NjwA8RIO;3u!;Pk2-rSHnn?0Hr?!w#2o`a9} z{rqiWk5D(yulq0EfFB4D+Xvk}TmJVtkV<>Sf}eQ6>#aUIYWk;u2=Sxh!`-mvSNyw= z|5EIU$Y-L^^n2AjEbYgQVQ{K}(}kT-gfU~r^Lcp;@1KrD6eS~0{J4}yx(+`CfijM(+W3Eu^d&X??#Mv1>saox$?=Qq# z`Zq}8(<9C2_MFM#>$6P~Yj2IzNDL4@Zyu(g$s3~3el=Y=Dfwlhr~-Dguop*%C0 zvC^*}r>chAZ@GX*+V#~f@%6dKN&Z$v{v7+_-}`CxkIl1Mpp<`2^J}Kp@2m&>70Iy` z73BDym;Q3X=<9#=Ij5R;9dSGGhWPxGY5uJBGW^X)ujpyl=c8af?afB+qO0I2NA2pw zYlgD&sX4ccWleziDq^MMhXo?PWBMlHM@+R2OXtL918S=_Xmh@Gb8%^t>NUsL*R^>) z{cvTnWp$?`J;ND7Kah1bA03ym?k6MtHikswVx42V#?$vK3I+nox1o98 ze8781a*vi;kSs1qk?h{qE#;1OKsCdMb$6yUKM;ZU`%i}Pf$8k8YyV*mSBI?=YOf4| z>&g*emFV%1()RY^inmkO;-anK=wU$0E_Q9E&Hgd0U7*ufA11o>+8?x8+Hzrr-M8WSpq>BJ!+%c=i0ooIqfF}? zXc?nHh*%ttN4aa9yPpa#PsrDv4*scKv9<}|b1&cXJREv`($t@nRUx}%@@);Or%9y` zhsV?Tz0m~ka*^u4eVpg;Ud87h`bV1A?S1{>?x7uL#qIQ)fB8I4!+lzMn0(PKEmoV5 zc=Eg3|M00n8dB6@x>73_Y9=w=37Y!ZZN%W8X#1juH@(f$`R8sRy5pEvLv50DVQUB= za9iT>IA^lKOF11-8}45^e0UYJTU~ofh%QHJV>wwA?4m zVV?l|^1kcvv6I}mr`P<3h+t@sib8ixv~;;syM*)NYx@UJ?kM|iS6hYou@?PQ*Zr4o z+PRzCrKatN&?A(68iKil+5hAt(`{d15nCA%;Uri9&i^;0p`RjWd&Z0w`ti^ztjvY*b9=mImm~?5&Fr#iThZBx36@cRINzD%+ip=sf>mBigb0YF%di zSBkoqs{YW;_~X(~^2jK1yYzltwx&n^rPzmNz7?y~2}LrEju%?;vsFXq()x2JyHAk6 zj3Sq-Ptv|M`X8hc5$!N7m?R(~aVbIu&107GoE%gDYj#*b%qqevAs<*!CNq=l`7Kr+ znRSG6gDm;%Qbesl5wb`TBUd?aO4u8NW-aLWjzm14GISXRDnAP<-y1$i@n;bm-3&fF z@dT-`?muZK#=@FywynTz)#Po}U3TnO9wxXHSXRn~ghG!{0#>?ScbN2R0XVVm-d5bi zGwPmr z6_sl%RsVeP)?T8VqXY74f8;Vu=ALVFS0VH?=|e#+0^a{J=1`+H(?l}`@ST)lr~P9+;+_+VLOWY&u$mXD2;ErR)j7#l@NL6o2(9$ALFtSKD$o@~Hd6=5QGE+4N z5hsg`ZFw@qSpG8j!0ma~zUYvkAqS2mE~Pqor5Wi>;XYOo5#v@E1O#{j8Y?sVgidqO z+bAZd`e@HwA>wbM!w)Yb4&S7&z$^&F1DQ*hTEoVYiIv7M>v%R+irn) zLbGUq!q^|_7+VR~?g{x+B97%pqA?cy^&J%7r!Pox( zj5|j7{~z~8)Y^Yrdi8f7<;a_e_?xuM9ZGg zTb4P?lNFhQ^X78Z5n0+Jwx#A^ax~T27yH4;9+$gbdKZ~cb&(ZG^T`SFk)GRCLLGiR z)q4FncjxpqO=1JVP0#+irQF1Ke^R34e{T)#@yQ*RA8nRr?)_T4 z>F#@2m*>{=kKdo{wcoIHaCre^MN$cD&5AYVUu~6ln0qpL!xvEN9DZj*g${auJ_f05 z1p$|q&B=Uz=k5MVU<8it6)GLS~QnTGhx8F{dc+ z*>kj4F)cwEO*=pYdSCQV338_v`5*fGd0~BHIv5`USLTc;s(v-B3kasD`x)G5YXX-r z0Y)AQa!aMw{g{Z?AO$VA{vyn@PqO38Ql5%Vj#xAW5e?9_ESTek-&Fotku_1LSFE4{Ed6%Y&Ms#eg#T2q~|br*!pjDnf-k3 z`5o({snz*Rd$gC&w49L2=IiIYL3Oq`mRY8df@t+60pFv#efXHZU0vj%A~omW`zXX& z*4H6&YwpxTzKvGe_(msx6h@}^n1Hnsk?9W@T3{lvB}4UFPLT|^guRHb;$1-*O?WJLP!9d9)Q$6dhsWw*T0gsAmZ*!j>oxG4a{2*+&Wj%S5{HH0W6! zpIcs)^$)Kd|7k|0jPw~p>zwaNzh;k$2GcHeV_ysPu!oi=3lM1g5r(xjKYJWyFU=Y1 zSdtRgU%i^Ae|L3paPsgldMzELEvRo9>3$M$WGv-;pf#tTkHZ$A(D9e0 zMKW*1a8owfMl;W<+M;K}{0a~DA0(BJn(hdr&%^m;E-%mN(-Lq(;GV6hl5m~iP|h%R z8UNFKR|<|Bn6z0F#*%#UM_^Qyt>f>3#}gy}ZnWA&rBI+NMbHtXh0)M8vIfe#?dh`>1FB^L;v1FNt;ffiNX6)4yqfg@qB!fG z(-uFLe8ngeACe`KxIHOnchJ4#$@szMbiIt}+C@|)$R_uyN^#&i@3EW@=fJFfWPWm_ z<}%w2kJFuiYvaey!-E$cth?d6=8Te>m#Y_hv*opx&qjQv+Ud*b+Vs+FMppIz!^&F* zN7C(Vf^BHK%*^aIGcz+YbDNo&%FN8rW@d&qv)jzfY`2-&9^dc%Vt4P{*&nkzp~#Ap z%9E!eRZ1O|^hoIe=IJBg$3(zHpdUW7=%1tx56FqMh9FpDLTT`LqeSa3Uy%A6l#wanr|(F<4-kD*3F(7V3c8Uw1#Rfv zgnd(%a&MLSWAs8dC}lvE&0VvT_~aa>M1uW&@oYKYmbf>OCr+y4D;Oa08?LUyzt)J+ z;(iN|@Fjkx#CQ(Ba>C?%3jpv}@LV(BZS1*qr9=H|(OI<)r|)c=CJhn_ahM2?!x$_?xaLx7%1RJ4{rcAE2Y}?r;C7 zS*Fx~*u8{}h`@jCf<6&C7xk#0mezTIsw%=eGtD)~TCQ_w)_8OJmxl^YVR|)%Cr3vz z=EGKtt_f9Uz~kC+d9L6(wkpow`#BYoYG=EoJ;;39a{m$Eismz1cHX3oI%~<+Q*XC% zdHvUZLF!HdZ@cE1SWloUr&$*&>qhP4+g}Or@#kjud$6Y8Z5DM}oIml#iXa3XDLC=Md(NJB0IVop!W?I2C z-Q5n%xgnkJUk53K0~*=Icc3AQhSsX|{#r)0lhh7((863ABPv@to2@bvw&*2`TU(~i z!#mh^aPN0$lT@Q;NTgI{82|;4`QH)<#Ym1_J9iI^HG3(yCqD;3%V-yzRzq_;P)n;ykHZd$knE1)o?O)DwqFA@~y3O-Q@ z((}Hm%yc8(AI?SDD7ZCOw&?M}KXMQcD{p6N7{_Xk(wnqg0u=bTRXwZS`htexOQjDj81RHDHxABogM9? zL}JIICUeZ^gg63n5^lpUh9~uK;&BHkw4>pUGX*(mg6$YE8HY{=fY!N;vDP-GUQ$}Z z*kdMpi!mut3I1-)W8MYi!Xj_*#u2M6M}r^FA3DOpvygJbmA7Nj9Jz7$hfN4>{{r|V zV8Zs{!5kFTBspSI`t%+Quzmh+0qrL<3<>s-WbcTWXOaN6LLfj^@k0v67#&DAG|t~I zs%g_w%#xsPqW%(lcLK+p6NagT`)cl7UVwz4zvvprrd9A}Pws5wuE z-i2z*<1MKfT)d0(aPc>>vF}y6Q@7;kdSOLoQ&9~%4US}HwOic;Z)YEs9J-;Yce-u5 zo+kj8Dy%E1GS6opWGqx;oBjruPy7w;+ixtknVhundJhNd{ze=Fd-9LblUD$60&V*V zVLNZp_*^rJ-e&LI))l?uNj5{16KgGPHUgZ$v{HhcYD`W&u}lJ^8H z2NlJDSpha_3k97wJfoq6FNlNoNF&ZFDId|6_(4M+wA*fjJ=3wMJ1qU;+TMHsX^xAZ zbov)5#%ogEFzbihIy^k)k8guhizW^+KZE;ATzR`l&X8FkjKn$CE#r~u+&?2xRsl&W zsU~R*G8aE$U@8~fKQCm_f0uLMke2{A}klvNjNN*5Dhl}h63SQQPjX{M$3C`cJX1J zs>skpeNF591dr?PY%@>w^yGrm>mlcI{rA@1qfhs1yPN&^8cx514jLyr3y*coS9Sm` zo-0r=b^LlYHRVPuYabRlyFX~Am0<`HWnM2pj0{-XF-Um5O}_?ACnpH}saGT~y~v|e zFZm;GaEOTcE}MYtvCm#6#%`E@$ZiKg5B?X|yC^v0$QHi=zTITKeVGN@;XyjH8Iz>u z_$9t6pVfhq>^OL%#u&DHLp??PBdkaET_Y ziQ>%ALw5F1j50Qn*4qUz5*L%&btV9)-mO@z4(tAIne^J%-M7=o$!;Zm_cGByyCeNJ z=9nb@=zTwzcgw0@>V3=0feT{NI5UnDz2I%*BYV&7;vFrxN4<{W`q(W>uLc{}{qTny ztt)`Hpe)C-&#L{WNek?S*hHkVX?XvjHymQ9ikx|bRRs4$4j9SZCoUhDn*bm1&7VUo zFsTY**^$e&*ZprpOXjbTN!qA@U;_Pi-*xlV;5T9^acwP*1MqQA(9eKy_81$z(@m7XA zE3CpG0t*Q{-g7^`o^v(Zif@Bqw@eB;3h|d}5O%r;VW4Az`OK|A27djMD0{L1XNLX@ zJNY|n#pY(U)F!YSIkVER@Ot)sQ5}@;hSY4h60OyZwxwEH8G0$D<(fc}N6c2(HcR=Y ztn<=tP`)2|JjWTO3d4c(XQGsW!*k!fxOZ$3^gd~6&f}rxUP@*t4?a#Lu^7Y49p+NP zy998BBbaNVLs`6mhZjB^*vLfc!{tW)jNFbUa@GCuiRw`OZQX$|+!79L?!g~#owXSH zVVX}vQ9<%M6maHL>&i-9Ep;yXID`bySF7s2Dw8K!cQMwSXx^CDIzjH$G(tQC&D}89 z50I(32;L}q>WfIk&8!nh;D-SmNBe!U&r<5&B38j2ztzeENl#HlOCqPx&~m;}9V;H2 zVW-q01q!o1%tiaU=w7Su98xptD|OnVzs1On>ZCT9(vF!{f>Qr+U^f-!Y)e^=wGYD9 zk>(_$l1rG!*vhT|VmK%8-cCiKh012WcVGvpHL#~9l!9YP=Nusn`cvGf+GtEi9c1}f zURj)nPiZLtSF_g|AF}R#Y+vpdHK$a|uk9X{_bN#{w%XR>Agnu}Z`$_o^47lLtYpDr zkHR;ry8LSO+T)e@#t{)z1G#~byesh;zDp6``tlddCS zcu(9%xHHUG)2oUa3HoTTia(Syk(=(c<)^)!iAOaRK%eie*MaVZHa~?b^yk>GG}u+? zWYGGKO4FkteH=qYSQtkT|ul=j_qN+m^NA=AjKc8Z_G;b7A?+RjP zjm>2337G5-@JHtw3sbnC01vqE2ls=cp+4mBV9*L zFi3{9MbF7Dngt>ATN9XxS1!|?q=E;k^evW8cvHn!R^hKW%QLh-AO3|Y`}leBFQMG5 zVqhZz680!!pE$BmLQpN9jzTX5D7@x}|8bQZh!uOyLteM)(n^=6Af<^}T~7iv-G%Y|Z3Mbrgg0T)c2CXL-B#Zb{a!k{bM zQ7MCk>Vk#*Q$SN#WHT-1NG1v_G8#RaJ=R$y=U8m!SWepWE(4}#LqW%=0Dx04wL#U` z(~F-jy1m1N@ULlp)D@>M!;=JC&!!iT8(W=^kL_FRu*RD_LA?g{Y_?+)ax3-LkCVS> zx-`b=NeZ#3fwRfp4&$wSFVZA0)MCzx#K;Fjq8`_Z*7%QFm;5Mur7rV!-DR(2!M_25 zy8({_ViUS`@vWKo@m?oH*Gf!%QNoyj#F?Haygm6SdIH_wmJ`A()3YXHDJ4=S*qn+q zO1rVuy6x!n)7x8GSJ6V>6=`}2a>>zz>QvOok|@-7fh$5p)u>R{#6mO!$}MK+vRlnq zK=a$?jVIGQ5sIV8YZ_JmG{kMJAOQ+RK7;1ZhOFdj#mw9(1~b zz;tF%GH4!+sYc9L&<&GNUhWY`UQgtKces*97gvo7|>-q{2Z83T2~*wS;uq9L zb!!JjDp*0M@dh69lYqJr>a)fC3YMoBTj=T?7z^l2%Rx?!x!M!GHi0Eo8WD&a{NwZI z{ZIcN2okiFFl(XN_^Lln5)k!pD=}wc55!+ZQZj4~64V91uGQ8G6^uutQv#T3#yG$Cd{fn zfekQ(uoM+P!0)f};LdY$_GY+vJK33xDK=jvB5W2KHMxEpkrC{m>As zV3s_8W|NU>|NT*wS;z2AC-yg`+xa6`56_4u@367y#xQqoZ5Fwe+^^j9>Q6VN#k}kK)7#L@7l+yk30Y`~&Gf(J{0&KO+ z@+?WwyIxkGsaf_db#vw5{;U0K!cUJ^sl(Sn3c`h*o}9?y0%;=rm|u>8j6Wh)FS5Dr z6`7|5C$g3G6w&Qo6T`m?638$1HNJD{_sk zqPjQ5F7_H%BdYFJsrRp2GVAs&N^Dj-axl1-r16E21=8k@) z>`G6KS<`nDm^}18j0~xevITF!M8ejf_OkZ+#fK5(vpb0MG}4+zt3hZ-k;}YUL2NNP zre8Njr6JX{%^I|;ikPw_Axp~^mqx)5T7S{ai+2sGDMpRr5}O^NthpwEme<&v?DhWk zb?p7qzERS)T9OB|T7|;J0;Hs3kP%%9#@gT73M0RF61DE+FX>oLvfR<2PMd?;kWHb& z*T97kKL=wkVGNB%uZE-jMaMaa7lKBK}?LtB+BhTYE_?E)Wmfml7F-E88Rl zqae~0lUIFrq&p61;6}=l{TTD?i3Sp11IP|d+C5v>_2?U{#ng3WdDOj-OoPwK_~iq_ z9O^PO@6$(xWM5AzzL|&S7v;^!yg9SD!SU^Q-@GUw6}8D{Ow#cRZc#(!oqv{`0*%+U*us32J3|KM9JwLVsQ5}wyz<5R5@jCFG=m4|CGLgoEJ z$PU<;=;u|}?~Tgyc4$(xVgwoXj?5A(nZglVC=96b;JLgWr%?GR@%m9|7|<{57gwq z0zDruw0UG|oe=;H=-~CUaj(V>d#&z@#sh}v7s*S7Wbqd+mjazQG^?= z3Y!jOO^WFuj6^j9Ow*DxMFf65B8CQYKTEz~qWqYupyJ>QkeA{a)gyy8J_+&0uh}b? zn`yHOM(xVnn~I4u)tA~&R)xI1ta=dN?}z>V^6|oz@u@ZcNSn}R&-(d2?X+L>h69DF z(I;Bvf}T-<>P2n9dvB)ccw7OJMJ_fA92zYJ=k-K6L2s<-%rkvw522NBM3#>Vq*|w5 zW{NPBkJwog&;Y}u#jefE(LK#6e3ifTH>6f>yNTiU6QLu|mGIO~OCq#JJI^r9`Mfs9Wd23whiR%WRaU&YK^ob45 zy1F)XZP@Qx)!;!HHjvEO7~waw@bQrhZp&!j=&_mDfL6av>;;-4bL2~@oB8-e92wlS z&;AMs7av;Meg{x1`6}>rFO}{I+JZE-`?XD(^w2?Y)wm^I`_Sij20Pt7?dSOlblNiO z{)~^1qR3Th(q@R=QOeyrZLa7~B{$_LnH-OS1zkO6wD8ESRjp97VlHpSfl8d$f~QjP z6=!kg2mWf!GJAYHc<4kthCjY`Wp!>7Hg+6--b8($?wl??v{x3`~>)|Sy5>zbD7;_Lyf zisNXA5gmT9;+5ZRV5VFEAK7m^=VV#rig#=W28`*Ecsf@Ho6yjXtb6yU6RBdu_A@HC zvOW~FJ6!<$EFd@W&~vu8LgqQhW-*~Ox4Awm)-j4g0Zl$Wb(GDv74B{Z$1=`(x%Ik&XD zYFqEIu&Jck@dvZSJER(o-~^ZPZ7&S%8ruBaW*QkU$R2boll5Y^22~+B#R;#Ir_Nat zV^1lB7nkne_qPXi``G~;;YY!UqW69^6UKkBuqP)=sLuI>`Dyca=O4fJ)$A)K_#cRv zU;mAWSyw`j&M1Tl-2ST(WUKA!x?(2Ito$>2mjmJUvVt>|QYFowp8faZ{yND|#nh%# z45W|j;Rgc@hrhb)Yh&(N+SD-*>+J$V`KN2a`=4uh=>fIw7R5Oe2BI4K1Y41@HT-&d z!+8!sCeO;$!v;Hotu3lDQ8W3pH`mO{un`xJR$X-N`3sha4LU?(Z(S$-lxH&h8(W@L z`nBbn-wjTele;^e98dB6E*X611{=irgk#=ZP%h`oD`WGGuD0td5bfsgOm!8D^e~mD zACaekv6zwvd1kx0gIg}%2&HrnDxR;j_z!eoAo73&ry&$TlLbmM0awLS3zGM|j_$jv z2BZ{;A#~8+j6$S2!a&S$E!Z$EiONT~0nc2PfO_PCzw%#o#YKc?6v624umLHkui7xr znBk)u{-Y9CqL+fx>ABef=(_&f9T5W4h7!1oy%`m3re(nvpx#(GBpL*sa<<*Ag9ojH{on1L{%}6~YA#% zk|vzIB@w9l=yYgqoR5AhJJX^9#|SsNNUM8Pp9v4 zJ92IXh}Li+%V@XTM0AZZ!geF6 zMHc6_`2otX>?ln0aWYW_O4e?wU(+t(GnE{T)8AV8gr~Yr?wZ`B&CC zm)T#oG|k9(n}#|FWFa|N)4&N+m*#BNH5r?8_{DM8TJ+Fh8)gm}wa5+Y+Llx2*G4W~ zpi5R$gBz`wvTfzG%ECPEdPUjdi6slY3nD{7Z@vYgJxwnOfvIf6g1I4HXNIFsd;g3_ zY5nYpvn3p!Yt_QygW;fF^xVGrQpe<~rZ)RpxyOp7gE=-FUS+XBSaa=yCO6kqya+4Y zqS~S5cE@S;#jWgFslisez#@gCK;#8S&7&r@TS17so+#rO5CzeKc6r#!4Brvc*ARjCC zu23Q$NAwg010$b4MNmjm*OP$`n($ZYwg5~cMNe3?P8vZtu?aC7W0@E(HcU(?X9q&L z+=icLsd|)nNy6R?fSoPG-E@|JNA+2eaQl|ANa$+M<0rLb{;3m^4yxrrJgU~Q(EFb~ zta}E03uyJ-iARWG;dMl%HeTBnAol$**frAfa|CFG-udGz*q{^cDpJwK5W}4_#nMEDpWrGjsB?A8m>Gt}Jd!Pz zfZ(_)$VdcA06#rV-wm;jexcnVt!DmNdyo`IjGOTH>fz{C+{@nKD~IK1AhkqZv;w@> zcA8}q4P`9KG7|-eZdC75(Y_g{%ClgMiGz1q?-(*p7wvE|W5@SJ1OZyGG2~WVHb1L6 z(3)W_e$KcA*lJ^eO#Qowv)lYLBtiO|bg%i-WTBclb1mBSF-mBv;}I|4)I07^RsUL0 za)PnUp_ay1ZZ{w!XySgpdP~J@}K=M zd;A}wbkXrn3}@o~QdOBh$7D}m-)J2Z>oOUE0FWBI0qjYkIb3tz0`R8&BBXV&5vzjd&eN#)K^ zp{{B6rv*l~bV;$c!!C*6)T@k|_V89FZ9_-rxA<#`XzjsvcVMk8zu{|FZmS zsXj7a@vVNzT<&xMNo+uotmf*NZA?{R$RJyc)1NNiIvmesK~UaK@{@3M7fq`Jf4wXu zTF>L;6nJuGZvW|>Toy^@IH{+q2+gQEk(xq- z_C0V@`D&2Gc8z}v4Bz_&ePIwP%N+x>K2B{Ssxc5Q0NiKlrYS|ke>SFbq2cu*2G7>p z*t>|hpvRJjmP#t?1kv^oqPJ{6|Lb{E9KWDf{|3bHQIeIPS3tGl_C`G>3?QKk`pqZ? zNy==Dd~KCS2-58*83si~C-qu(rIwZ1^R_jO_f(8@skS8KL&??AI zCK8783`Xm`cPip=bhv-G=``i>xJfSU;*vl!W@EI+UK4|m_2<;>q!c(A>2M*lOcxx= zLV1?ZZ%Zme+85{|*4SEc2EXJcnK0YHKUDB)$g@tSz=a-4eXi6=Jff87ETR{ex=%&+ zU525iFd84T?@xZ*BTXlUqmPdd>$nM>Qpv7i#h)F1l6bTA!8v?!GWP)yx+~&<__|Yu z0Dz;5_MObyvY*wmKoF2f0)x|S(zM~gk<$o?URamf3P6p6=Dz572Ai|Pi-l>B3+5E( z9}J$s7}w88+PO{G5`=}qXaJE?k+__$+%r(iivr~pPp{C|>rhsjDk3UzK)Ht!5{U;t zAN)4WfLe>!-~tapDihV~hYmhh7@{te|7jO}n#Qng9x}`~2LQ^9<7(Fc^ob5yTOYt< ze;U3!U4F;VY_nPoTX5d10??ui8`ZYXd^8|#IGjmUr7miCeWWoPV=!Gm6Lo!V@*@)L z{PufIARZgFKAo)jdo!IcRmaOqWT(4p-o&|*pLv%<^zM%V9kB*xFZpIx)rz5ZXAK(F-Y!_18=x|RwX z-FwTIcB=@VtiBt+E3kP> zf6H|O$XSzv@3!OoKHfeY`zZTY1uKTex4TKuq;GBE!}X-!Lz@7HHB&Yz1AeVsdTV38 zKi?XDXN}{bf?8O8f&BieZhbiZy~&2ZpL4!bitN?{HZ{N6eAM3Jme|?D2Rc!c$=iu_ z4R*^L`R`4)M{3=30WFrKZFCEi&I6~<&7%Hxlq`3zGiI;|o}d+6eTcK`{2F><3qVEoxsoH0fplrY>7 zV<-xQNk|0j=&!gZVl0t##I7{fAbR+E3T7ODi5$Qr178zmggmZ@_;17Ucxi7wO(Lv2 zFhwy?G(9z~)%c`cI1+=ny`%+RpG6T@i)E6#(VXjW|8Dw+xGVivUqQosQE5J%dgs-h zgwPI(AA!T9(ysJe!2_h;*Axv;yAC5Td2@3X^yDyZop*mWrh@f>(E~9hnKSX$9TM@d zjS;Dewj1uW!$$dUQB)5L7GxbTM9$un2HX+nc$SJXgDp3O(79+uNSyQGK%jhaX4YTxpzQn zqRcAACBavDNXvCxgp5wks~t1FLx?8HjF`|~70FJJP9*7Jco-cG7;*F9@%7nEEpd_} zs7~ebf$)ECbI=6B3N_!$F3=_R*C}>}@Q{BSS%Hz8q^tEpYwK@k@M;0AQUN=wHo+l3 zw;rdDDaBP#LRF;GrFEdSXNoE?u@p#9))LTL`YuTN(aBpCRei)ip1|XEotgBqd+j^; z>W4th=l-T4dL})+mL|w4VlVACwdiTbSn_mgpg`3jYS9Pp@uGC~pwz4{tyU9>I8CyLb<7hcVn(9`u@q&p*5Y<^nV5ot&ND}{aV;~! z9!PhBg6f~l`t++pCx?(zU{kT7$PMWVQh4g#czCI8mfl$#a7uaR@b)&$>Fs8W4=8)z zSj%NXC@{UoRfFRA55D_4p+6N>_5^wW)8teUnTwixcc3IKZ={q8=vVnsVeY@99YU!z zge)$mXf0AmR-L(P!~}zW08a0y1v$^uZ+6H|!y$y~nFe^o10rUDtzCMmsx|yP+tEWW zF=|UptcBp3Ej)z7wj-Tq#w_`@4Ij1RA3hHs1@zb#1SO#u4L+>m=&U8w0s6OzhwFKod3kUQr zU+>Ul`Wcp3(8@I_r&xH}odz1drLvzR&|-M-?e>EilYZ61L|?h)R!do7F;${$#Ahmf zTB!j+RpvNXBR)+O#3h$Mg@YZ?k0vvjMKw+?LX)96x-i@+RXL023ju3vPrdYQ&F?=h zsxBAf@$^r&>vyyV{;c2CC+la@d+O9TTRr=4bQQ1R8HWEBZNbW3Z+Q!c9}|0gupEkGj%}s`<0C5 zRGIb(b|*HaaS+RsE^SDXE`!*a!yZY5kwNYV@^@B@$oHQsi1(smL03AeN5$^%)^v^} z#2b3{8W$pVc1u)J{y#4hYbu1o2y}8*U4R)5m7?@SW1xQ1N!J#O)Yi~s+}?F{b`uIt zj6H{H&2+PLQX38;jQwMp$Rq^qWv zTQbcKk{8DtbG?elUJ^0qlhts z-}yd;Buy&TU%-|e10MbnjiC3JXypH8UgTz%fWmaA>Bj#XM z$c8*m=T`Y=d0B{q}}K-Y2H{MdZ>~s^lZ{M z@JQLH#qnBhr-j|XQyj{`5!PBf7ygk)tk0MIW&bz(o2+kzEr=?<^^SU*rW9~G$qz{VULOqiN&rL47rA zt77Nj{=foRCb7BW^=5`#IYNDGV)!}q^yogJGQr?bI&vaIfcUGADH*06h%p1Cr2z)Voo{A~AL zZLs!**Vl$yS|UeCT>?h-$sVSo{|m5R20Lv;_L){jqtPBp_De~CR7EI-Su{o&J#GqB z6vWeyxG|{sY;F~=u*qvz6Hq|d_lHUzixOXKQc(UZuri7#ND=X;aS5VWiVlq!DOw{Y zCzUxPG;vhrGN^? z3zjeLg6Atp!XN*Z6!|Y8e-y5-U{H=~_EWO+>YkfN+W!KpUqg~TTvKR--<>ed<4c-+ z_2e!EZA`copJfFXI7T7-Kw9V;dJT zO>NN-DKHebkdhG!IP6 zzq-S_E*U`h+ZP_#)SV1*U;MQtsCK)#qZ*;D`z774#u8P9CQbjS8aRE(hnX?zlnF0<*RmBbPW5Hqjduf*O+C_0`EAFyA!Y^ z=S~w;yl0x?b~&7Q=dRX#Y{)AkQ%N0H z0aGGB|LS~}0XG>|T$I9+*fZ*8Knvt~Qwu52;B!~Aw9WZ0)jajRv3^CeegidI56mQc z(dmqI8n*&e)qj)6W>&yUzPU%S`2l6z?ziTzAh+))vR3W!ODo7$2aCI)m-=~yj;bGT zAnGUq|6K6akPQ zT_lkY(}A=eJVstJR=x*fkhwXVqwru+s}!-3x}74J_Ol`T-zjMO6^m%hb^uk{JGO>m zxtDLJj;H!-7wd;B+CaM-WYidhQ6DG3pyI7n3oVG5tr$!c(zlmRQ+b_$t!-yD*Phfc zANOFrOei^@4bnpGtk*#-S-&V1RqRxL+XS_p-5?SA@t`0R&F_^KQ~_e|r+5)Rllc2k z)Y!NiC`P4s@y%64f%0CC_r6=1*>Sjo2dmq+@{?_)QrD0Tpf<+;s044&7bN=j3fB1s zW}zh^2v7+E?tD6A`p-qxkgs?Ldnz#GE7EN%7*thZ(A!)|cZZ!g17QiPi16VfOYC(_ zv@vG2=Y8tqq3kM>kyaHK3 zqgC+EY%LDbEEiueyi`yW5=g3bkKJ|ydlZ>tLdxJJWh_7)vdO`dpB`QBVu}y=$16we zRh6(i$w)TE7hOh~A|K(8Vt@~6T5r48nS+ouQ?z`ZA7`ev8|TiMbG&4HI1Lw^;2alQK0*PApx|-rFx~$Mi!|bE z8)W{sZ7^vfW|iTqZjC26Rax~%0!K3>6cOW_gfo|oswui|$iTFOF!FbetB2rU@(mQo z5|G1PN4~B+de$kK#eA99HC?nV*VYd%%JP2os*8gti4%L)QcEnh?n~jP>hQ`C-V^q%CQ8S+ z$hC1U>IIdMH|S&oi9O1*c|_ekd7SE-%VS)I@Hu(jvHRu{a(`H*3TQya*B85mx`=)M zI$TPWbD_Du{}K$<6l;TL9!?{lBJ7*{d43H`oCT_Oou=u!dU{shk_{dh241B`Bv|3; z4j~toie&|n9=L+cm73j*0rRUkX@wi0t>1*Yqr*%+tX_xxPz6ow= z?wzbG^U34Y#l|g%)%z0!3zhD_y(Yh}9^XKYf3LKi(YFg=K>T*~=o{hXtO*N5&4MCw z;6Op%P`Lw}e=v|Ow1NKeDj|7y`!kXb)i1U^;cg7o%@+ji9mSHC1&bP;moqk@g18r@ z8Ym#jMA%38Mf+)CZho|EbqE6BUzL6Nx(H%0=Ipb^=`|h^E)H9Or+ixe0}%l=@{x%0 zbgl;t=e3m1CWNwB0t|&^%}(-ZHbuYp)>3|{Yh{9LO0G0q z#OoNyKf!*+Ah?6FC4G}{WM-mQ?rQvzI+LFt&svob0`bleu$*jLb<-C%q826hK;72% z_;#l7INbK*@N%+!&+Yoff#alF?Pu-!X*-Z+_+>NV;6Nwnm!xH!z3;;S@exx^cE5yf z8TLfNfYCU=>@7lpNByAOU+T_rqa3jWi-l-fI!zPta`COLvLCGVJ<`hDx?yQYS2RU>2XZuqHY-5<)^wx@-K=6GQW3DK;P8vXD1g8hDD^kG$7GestQCU8r5-3H za`nJ=8|$Vz0I41yIw-r{W^J z0$KuNp~9qr?Ee-CKG(5wL*Z3Vs1l}m;+db0 z(%X0$$n!SDsw23lRKg?z1=bkRhXgSEhs?Z#f$Fvffw@7GS%*LCBZfn<{?dj=p`4E41pjLBh6z7%gB=<<_(Ma!LbkI*#91T zirbmsoC3ip8g8OYR@JH!zN0*{^cw_-Y+UW(Xo!PdC}0>lkY^3j9Qze_T<((^pLAIN zHVQ#kd?2t5itT}%)k957D;D*a)1b8#cQFHwE*>_&XhlLvwBq*(M_hzpt3$M@mxF9$ z9qc|y4+J_jB4i-?n$)Qin1dJ4T!~WL@xd5#;1*`UreAH}FV&EIN>fo~mhXmvlo7If zN|Z@5qMvBi(8t!wrYcU#(k5_HAbmTIEPA4dWVgiiCMUg#;x?@*&gL z6U1~0Yb>OYDW5cg(zlQ90gNSrH{+NTPE}H z?{it~zJxQvX7Va0o)&fj5mi*igBxVTW7tNeNPjJBYf(ZGMK@wevJElUNt_K5J%AV* z?FF08?8jl$5ar1D}qPf zHB-BRle$uY5AKaq&0ERBi{ya?4e}H1A=*X)07Sr*P^O_l2(1W#R$m|gH{lTeC!xea z{Q)-yWdcd}lMx^z{MRY^|AOHE{3qf6`A-7z`+pMfUnfYS(E>656Uhnu2f@{I6p`g3 zF?=~F=pdnf;)H~VNZ*(W%?NqHPOv1V1Uw;Tnd7qk?_mEoSit|!cmA($lz-VE`(|uD zEf5HS%`%J%%wFl0@pz(^+CcDmWg6Dv|3F9~!*ys%Ew3wDFQBi~8? z?+k$dTeJUFSG*=(;o$Gi>@IP5-@3v~|Xh`~H zyVVrks@Fo+)f|DVT(Yl%BrO632Io)->3)JR z)hW_I0zf`_MQ*4i^p|1(3&2!vJZF{cso%Hv<|H1J^pa0n^VRULSLw;79NkY5{6!#0GBhkB zq~^zc$b)Kdc-M3y?fMHu9#*WFLN;a3n1l312OnnRD0wUoj65h==@=Qvz7d|Jd~(G2 zCizQHC-KCqi0{d93hRVyk1Xrk5v*Y#Dc0Oq#{znm%WSsb_`aFWzmo6gQ!8)Q{>0}r z-2J~kMBlYs6ONQfBm*C-ZRfleBA?IBb{n&|o;@Fi_s3R3r}QC#pB?>kTG^GB_fzd| z($aFKbC7!`K1aQu_Nb4oQYqpck*}lgvSr;Hw9y}L(!9JJ$pigD!{UhtUu8Pxu4?Kv z827i42hYZ%&WWM&!g_`(VH>~NH--G3LFftQxZbus{as46()pKm{cP2y9 zpwH24*qK5{MF~s2DW-=rMJKU5g!m%D4=1AG!k^nA@uW@|>wh#4L#*{Jp3~?xw^AtV zLTFq(BwgzvnEX&_azg5vw@nJdhS6^*mh;qb<*cDPhyjXlCR5No{*VmFqqfB+E`lgMThPqakhOxNyyDKC*A)j?5u;Liod_Fn23OabcrmWzyeD*79}Mh zUD8S|wKQBwr6puRO35Xcj-@0Qqy!h1?p!(+Sn|Q|^Ze$idFJ`=&fGiq&gaZ|pYuAO z`!0|VZ%35_wDzrTyKuKSP0cM z1k;80J?1N=1G3F5t=agxgygA}7v&%?cnhB9dDUO<=lJSd6*npNm940|y2~TJP^;W> zEKGG#j`^`-2mQnsi`l^s)lp>TDMOm>?Do#A;#{Ow5lWe_J5(N{&$1FJAMu2l6WwAi z>sGceiF}nTo30=&Wyy3)FoDy);FtRMO2Tm0<{cr{_(Wjp-JIF)<$KNvZoE$o!O(1{ zj*c0A4H7SU7PiD5Ly(lXo~$xKyBL-)f@Uv?f_o$@o{2N?&8YG!Lg-08As-$&Y6d;@ zDPcAINgMZ92*fs)?ee6P@gU@bRPVPJs3axcd}y?}h2mh<2A{P>I6Tpc;vxxoe?A=2 zqg>u5^%bz9Sr8xuv%j$92#i^Ra0`?*vgNfK62;Mdz>ad!I6Zb%X)1qAC8$wc?jn~F z_jZIS+es=4%;EU_rYL1Xw&90>Q%yODYf11%Dz{_rFA+*foBDf76@JOtEj0XPRs0!p ztRmJ6j~F5X61wH=?Kj^0ZoToVs#t!U@sbZcrvrc3<@ZK4F z0j*8tUUpSa6kW`YvCvpLOyD;h?5Sp5;XAbHmsbnN3KWl($5CLSQDzRg?rP}~qeg*U zuKkll3F;3M7V|N=!lh5azl5ohw8xbDb8dlneDZ!jil4o{RrfIhJh}(6dIn~dqxqVU zy#WSBD((f&OOm?Ea_5w);C)xx1@sdO%Y6P?ma|-3V!t6LOGHDz35;|(!CQiDY_d?r zPhP%!YoO`)b8?6)uwJfCN%pB|P56#@lo;OE@Ks14tBkQ@&Vz1JK5W%%0+htM=n zXLYM@djAXz3Hw0-U1C@_f!us4R z;6^VzTbG*&&>VBl^%b!B8bP}k##kpn1-f;5{nZ#>_g$rNc?srFr%8L?9%-te-{N;| z_D3}yTRwSW0YbXw-+~-zZrF~ZMWBnUS-aedtRxFv20W&9+cr zJl$j_QVI-20B4@W@h0_g`@h>%pI0QwpoMU5B~3>>{_ID00k79Z73p0jJb3w%3!yR7)^E|q6=T>k9ugQvpN8aBFJ&qC}r;@U|& z-+rJ-$uIx79A^1DL9DBiT)8&J`mYttW!FDhx0zY?>j1^ig3|@LG>e%gX~O2%envVo z(|}A&p26l!Mp}l_csw-1>YT89(8hzz2U2+w_n{tS{np#-^~3uFed!DpSzy}BS4SNl zzf@D7+6U)b!Q1G&>l|$@6|rC<{t^~@TtxUdrL9=ES`5hwaSr0e9C1ux}#cpVy9nVrDgU8=FZ+?R9;~*jQ2ze>`b) zxuAG~NuP;2XKF(t6WMvArafoxZpuPDC+Aa@aT{Bs)R>i;m&r~*n82Duf|4zbMQV*h z=T51eX*7H>N?F{vHVxv>sXyt_Ro?T73Dr(!9H%M0TFw?U9qep)*W!e78J^X~Igsw` ztk(JWR{YW7-T2?kmJ$5<8!s-Nn!TJNab$;g?KbY+)Vf1$GgaUJs>jTLipUI;$8kYAM`*JHL zaw2n;6Y9oGMV(eEG9w|@3|64N?*avX*>^`BP08YJuf--DPS8;{wIx-?L+UrMtdUcX zRWcrKN8dl$>u_LbJ-+Z2_dMGfTUb$bPUnS|sSnLj7?+4FlExai4gUN|BI__1BDi68sxw>DWrJ8m-er@N>j`C}AZ1;fyf z*mZCh-q26cYpSf~o6#Kn-L-tlVQP%+G{x0fYNqwexXuy&TDt3i`_U2V!vKy@^j&q` zmatM};Qt*9!<)H7kTNP4h{BFVyDG#bfXLJ4^$|{UYOS!<^ef37E*iG1zYiN8*-vrv zC>{}%9rY$pZpI_?@v)n zA+~fs4=>mnH6qpOh-IAF&Y*bY{?2IfS>>6c5@js{-w%Z6>vx)v?qkckDNin3a>6CTHnt{+G9 z^4*n^0y||hT|ay;-xqJ~2?r;lh7BhBOV)SJrYhpmd}G@gXH8Xn`?7!Fn~da@^^n5q zXBd!9neLM0G;3|i^B!HU5hCDRD%pgG9?L}--ajci@pW!W^%cL=afXRo?;;1J#1Lwn z`+xUOdc^aPmwpg}g|CUax}96_*%xDsr%cAV*Wrb4`njVqMoV=)h9KnPJ_YXZ;PJqR za?RZSDE!EQY)-;INw#PlH?|K*d0o60o*f%9nCt9xTqTa57@{=L1|(W(pZI7r4=Pqq zD8{dS?iQ-g{7{(s$>NL|r zy(5t$h5V8?;R;7wfHCvb=UT{K0&+DK%aX|cZj#Pu=J?Ff2kc?o?a$>)SRL%ix=~ry ztW9NNK%Zj=j&i5wMb+1*HA)bcu}!`?hW@zaPVL&BPYzT=oxh*r_35T!UqGqG!G&wA zc+)lSz2(96n&$U&eUls(t3$t^8bhrxn+9}M`4t!|t9)fZZF)@#tteV2fa>vQYPBzl z)Xexc_-`SFf8oTG+Cb~s$yUeUHuC%4q^+zvJW>9c@n^m?e}4=1DTl-TJy#MJ`gnpl zG>%WQ7yGlPvjDMK!G&UK<}>`h?FlVixoo9IhVhilx+`< z%}o?%fJu)r5$6%v_Ee@^dqK2gZ;C^P*S`DNv?RZG&kp~^uV-lMMhZBCXWQo3^{4mfX=*K9piNE_Le4JZqZ9xa&;b&#EPsL zJ-a%wb2qPvA6oIu)g%nn5h>Mn#X40w&rQ4JuBPKfq=*`g3NQ)kEP{I8 zmDkY)j`16h3$XN5lpe*$44)E?4@~iz%QiiH#|ai#7WTdKa>}}kr?Ggfn&o-bFb5MG zfQN;sGhZC~EF?qsuUVJFIbdq0c3oCJOeVh^5Biu*M$MY4k6anFBy7CBnjMZCMKgPv z0PJZF3+)eCzk~UmCEP|-y(+3!Sx~~Gk!{-62HV~Kfsd#wH{s2$7GouQbn5^ufyww%3QIM%bOkmNjmj^HgXybMBmE2PilUgy?1%h+J{m;ZhcH#Ciy9KOCs zO#f0?KtM>)%F0R#;Dre>F0Eqdr!swUahRwe*=t+wv$8UiYXINCy=oPTz9Ax3dp&C}XNdzs9() zeo1?4_#?t=TFu1}$!!QFtMYg7*a$GV+LezwA@wU`IYeIDe{#wEgAZu z7=?n_z35Je7_}CJ^e-d`oK+Rmwkvj>a~_l$spZ6lL!?IwI&t*3jv>JDVXn^1{h|XN zjgAa}bs6b5zF#4=cWD+VjKX`I#7lmCONtV&y{EfCZxpfaB)vR;d-97{EwShV_2gAY zXqK76^1MsF@K7ooy(5!Onyap67wxkHH2eJX^{)0JS{1nB+vyWpdsR@^wD<8%8Dt<^!Sr$?H{S;Et<`G z|MTJ=mN>royDF`gjP~g>jIIvMgVuC)(P!x6b}67?d0Z-|&qWZLubduhDX4o7x8bQK zP5;-aNdH^1V+l>~H;WOm5q3T$os=r3tvFqfT`y_{wJ01GjS#g~axlI~G*Zx|Yic_J zj$7;xVvKrXDluh8-S(Pv8A%E_>adDave$0b}`=@DFaIa>fsZpWGL%zhJ;}B#PAMb6cd2?R$z=-P1bK z(EX23B>Amu8})pzlzML5v%$&Eiv(2tzo4SWpziezyaWjDpQ|LDukn?rz8X*c;TRkR znQqXTsQUOau9zte*$T`}Y=9=)Ep6I|2*y=2s#9>B5 z8H@Mu*Y?46n|lF^x_v-RNuF|?qGJ+YbFT93*n}kHY?bou_{m)6z-}>&Z-}hBL+Ic# zFWzaN$#iz_;o?!g!uRcy+whntfMQx;R^O3Ww<=Q`2EFWasSJ-~_cCwdYjRiO>K4Qa zsi5!g`)$h_r8rl5$w@PFmMU;$#)XLybEa&sb2?5x>pczi<^t5()|O8l2&U3OBHIX? zd7l0ArN9)4lzbM%%6pD}Vc#b$zyCxeNfnmFgT_8uj!x9ev^;&K0xR0^O+NH=aXD#J+p zg_*4L^mhQHwGa25;t8B&Fy+x+ih0Cvy!wmHh+@RFBuh=!$tDp`ds=Uf-D&=E#yNM* znK6&4wC%$!5kM_B1@$>!7;z*3mEDIzmvgr)Y#ngth^C{*%mSBlPq2IZ;B`$F$YoAx zPfT1PR$JDWQ9Y?yXm&g`Th(GjCTKB%(34o759B3}2cO(e?{Hndd|`)OmU8&6W%^#c z0>StFGDF!oMY&Q#)|YNr(5S;sFA}?ZJ8@QZABdk%bd6X7C0#Z*ug6V*aAn&+yg&Kq zg-aZ<=sgyj?8ASp8`qL;MIYbH$n0NVp+=m@{?p`ezzI9z@v0{;4^tq&hohfxNqe<_v#4TWsFk6Mb9jWi}B4yFSz+qIL5-da9` zpZ)K@|3mbV&-j#f{3wUajF$VoTv2eD-WXB5|JHJp#q@QIb}5%m8&0o{NU+Im({4y6 z3`ITCDWONRuK(Ds+|D%P@D<`JDBA#;0VJ>OZ%>q?HP~x0H;M)?1Kogf;TKJ@{s508JE0M3LLZ9JE~^ zHl-d^k=~hmPr^8}m?#*$l&!&;Ro%_c=op~f>;YEzJ zPqWj0zm-X!F!_oFHE-!J*+Vz5u=Pjr2qy?{OHOSsk?du%9dh?+y!Wk=cKhBI?b>mo z=F`@`oL$9cGjK^8J_(3maLT&X1a@~_f?$bosL1<%&NK3_+1di}}{ zwYiT{K{mUowv#)$DTM~e)4DeUpXOmc_!{(ULbXM8dswIrwaT?oO zcz$|&#{6G2r%tWIR9!wl-Ndl$Qp#`1`^9n_Mhr52$QC)syo%YS@3;7|99={A@-6s- z&5Axzfs+8){wn0_(==)x#`QS8IAiKb@lp0~N>3Cp=^*$A%&1Mvt6kpwmoC2o6-Mf_ zxw=_#wvloAVgrE+@OqKqkFM>3HtwkG+ua%@CWH}odgo}v((F<8Dn&I-Y^MZugIB+5 zaSuj|+SlnfJ6^HhV27Xx|L`uHvCs-|Qo0dGLJgeFrz_LP8D%qMB zNB^an=*~2T@>Y$KfdQ`S__p6At9cefyPRe|Hb?pyP#F|MHUg(WXSyDED z;$2hR!cmtv-%Ju3*U%W5W%_ty(VC;ksGL71%aGq+@U-j7)zeus3q_rCxM z!em|mFnNI||A!=5{pS=7VKqA<(=GL$D4J08biE4gQ^^?YL6@BeCm|twae&r z(DZtgc4iJmL9jCB5%lfR2MlHwk!X(5M=552t9<~tjEdub^54cMrZP(RPToNC!%mq|no~1?@zV_m@l{Y^yh@FaKF>KZ2Cz9l%ANhd7-RvV`peHG=)@R}CKh|h zIcJ#~sO3zrhNcsvw3)L{4N4ZHS()?gZM{|dfM(9zC{Wp%ju%Z;OHly3xxOrlFp5oDA}DX4yjD@O(f% zXC@V>uuIE~ru3vxpZoYv?2PGX63>Txb5;$3|I~dY?f`aAO6Z(JLy*TVbK<<8?HJ9CpxdAvm=9qiT82O5y?(;l9V>Fu+D7y6# zW0ZvxPp&zAuEp)>|COSzU_tE06(poax$;x4%uA)l=+|DOnSWvwsqFNOw{5AGNY`9s zd6vs4%FYQ~(xyo6o_95vbvS5E@&9E};Gan?AXd^-<80@8$65z8q5c$`$R|qKq9j0c zy5vI(jg_wJI2=N7{xOWH=(EJdmD%Gu5et`huLiyg+=MMYrHhuZj@HPVrNubAFsgsG z{1F`=k6F;aaJJnH(Za01oj4T2TTh0Ld)w^rC|$Q*Ps^GPk>j}p5xnB;^njNx0ViaM z^RM>)@p-MtIUVQN9w#M%5C^`x2WjH#vysex@dK@=NDVwLE#st-wV)}utj0|{?y z%n2)sj&TR=G6?2b>S+$8muYwp#Al0pJ$29h;U`aU+l}Z!?KDez+$2xODX8MD&FT%@ zmE0xNSu_V;r4`5MxsU=yVdHONc8O)!kx{s^3=J$g6k&2Aj=zl&-wQObL33cdjwnoH z7qj~7v6w3-l<=Q^OH*bu{JGhxo_*o&JEUIdwxXuS`J4~VS&Vs@(*H+#B#v0NJn;}T zhDcwb^tZNsBHtM?8@77)ba?E8?1L+S)!k@$m$enldu!gCN>S(!|PYxy7!wF zUA$CytIF3IG^M|6n;0LX)#bwvE;o}~S-NS+(NXS7-c_vZo{BWro=-9=dhufYw z2ShqSif|Jb;TdB21TW0fxxOf2$hq(c*kjOpDe&!tW4bkO@voTL87(MTjj1yn!EAB6 zACw<1tZ1!)?L_Hi_=?zh$q&U?lHs2-Ms_bIi@_~vZ3p_Zm_xFhc?iC?4*N79eNcom zoppSnx`|>reH9J0#>$*dFDI75{XJ_p#mHXx;(e1RrvIt2-{Z6!UX;h3hyc@VcNWJm z>Tl1r$*M}^-HbJ&e5pz}@&j-d*tb_79{uDChOuEF&Cv#psOX)e#dQs~h?7QM5WN+~ z6yMsk$dG?$_HmpP?xz?9Y{b5`uV|gJ?y!{_7g9?L{|e192_KJ}K=9;J#o}Fa(km{4B}FiFk!Njn9Zc*gMr%S} zZbtMkq7`|wPU06ZDD`LZcuvk8Q2LYR0Gzs-)=cY!C;aUGI)GElKz8-tT4AHT@p8uZThN zKF444=&G{9AaUN$Cz^v#o-!*qh~jJVc6q{1rd<)u@6Nj&Fa}$3>*?#HVK{-aFZ5k=LwWptdIikD5gJ4> z6|r{oL1pmnRb;{v#xMBt1vUJdN`_$PMLxFpIUK}Ip)_?#_Q$mPMWVrgC|TU9+Svn~ zc&CQTlq!M~qmk#sEA9HH>F;?+I%sv&=k-Oh|1Tisdh|rsIaaiRz^L@{D#-~9|54T? zwovlLd@JL^U5pQ)(!YYf-b5H$FxV@Xa8J`x7~fb&={B=IgncXI)-xW%;jDPWO7ex$ zZO_uwOH4~nk+*8Uygo8Tjbm4@eq81EUxNC>T>gB+Xzo{|+Kj2xt=jCVr z+=XfQbj@Ug7xw`xTp>UAQ7q`SI?Q^G5flH_6T>uiRY0f`xDS7Jl1*{1@r?)2MIfvr+iV4^mT4-9~lbNX_bMY@6AtwZSyxPXpVM!e7@R6tc|X#Ha>tc;*tiL zS}0W7tq{@^*L7##^vXwtroF{pJ4e7k+wxJ>r==veQp2$$RKnA1t3yvmNQGa1v>&3y z1XbN{ZxM?$8u%;!vpS|EVu(LzGq*S!{O1nrGAA#Z-r-b(CMzAI%DJsBO=$zfuW~6b z#HK4WvSFE$(<^>> zQpdkti3q~>s)ruysTSrQ0JxpIGDFwYbEbp6=TUU9r~+wNRVU>9)z2X}{-;q8q=o^hfdjVm{9bw!veYz$K^^c%o!J!z0&pkik z-0jxhm-y;h1Jhsv|LuRfU7>GH17N?x^@#Clx>k{|{3f)i3e8|e0VnB&)HsF`3B-0a z&dksL(}_;uLy=BT%#pro8J!54dX&P@jHtR(WR!Zs%txg?dX!kwLUbeWq`>2eJDM2* zY$qLTYC<=HPE3?$p03q{{9J{u;pO6*#D_fO|3O)16PP~w#8J_dDysd8%dW0w?ya5v z_-99q=!*qsBDL0T1mD|AIC6mk1D8n_qr}4oh*Bf=ogt2$RJD(E=iV4aq&WSn8>9jW zwNxa|l3OildcmKa`L@tOdO#%S?o(!T1p;cpH!t203imov@zFQ+n{M~v3WWiTYpmFM21T{ z^GXUi;Z-q>2e%9(YIb$a$+kL4YpJmd)RSLQ-a@;e9lkuRME&It@N^iT?UO{@W9CNb{c^@mbyB(!BY$KfeLc%zzdypbD3Ov-@qXc`_ospl{6hFdOks4W$7M%{ zg~4vcO@$M$arlxFtDm}g##1tyml=h2hO2k*MpF~v=fCY39+a! zo|4wQ1X_pjJd;0b3Vq~of+Z!;xhB8`|A6G^ste5x67{iVoJK6l*Z8V0t5#F*I}#+< zWj(#Vr(am1AW!N#3}!*H@{P~tW%dQ9F52*TLrhma8k1AvXg+7R)NJ!TB%%jU*CLtm z-o&Yp%#>{6tf? :dumptests results.txt myFunction \end{Verbatim} -The results file will contain a tab delimited file in which the first column contains the output, and each column after contains the inputs to the function in order. -You can set the number of tests you want to generate in your test vector by using the \texttt{:set tests=100} command. Additionally, you can also change base using \texttt{:set base=2}. +The results file will contain a tab delimited table in which the first column contains the output, and each column after contains the inputs to the function in order. +You can set the number of tests you want to generate in your test vector by using the \texttt{:set tests=100} command. Additionally, you can also change the base used to print to the results file using \texttt{:set base=2}. This is because the command \texttt{:dumptests} uses the same settings for random generation that is used in \ref{sec:quickcheck}. The example below shows \texttt{:dumptests} run on an instance of a function polymorphic \texttt{f} which has two inputs. \begin{code} - f : {n} (fin n, n >= 2) => [n] -> [n] -> [n] - f x y = x + 2 * y + f : {n} (fin n, n >= 2) => [n] -> [n] -> [2 * n] + f x y = x # (2 * y) \end{code} \begin{Verbatim} Cryptol> :set tests = 5 Cryptol> :set base = 2 -Cryptol> :dumptests result.txt f`{8} +Cryptol> :dumptests result.txt f`{4} Cryptol> :quit % cat result.txt -0b11011110 0b10010010 0b00100110 -0b10101111 0b01010011 0b00101110 -0b10100001 0b01001001 0b10101100 -0b10111110 0b11101100 0b01101001 -0b00110000 0b11111100 0b10011010 +0b10100000 0b1010 0b0000 +0b10111100 0b1011 0b0110 +0b11111010 0b1111 0b0101 +0b10000010 0b1000 0b1001 +0b00001000 0b0000 0b0100 \end{Verbatim}