From a08b66ee6c9b419b1364a3f91ec564bebed37d61 Mon Sep 17 00:00:00 2001 From: Andrew Kozlik Date: Thu, 31 Oct 2019 14:56:48 +0100 Subject: [PATCH] storage: gitignore hypothesis and libtrezor-storage.so. --- storage/.gitignore | 2 ++ storage/tests/c/libtrezor-storage.so | Bin 78632 -> 0 bytes 2 files changed, 2 insertions(+) delete mode 100755 storage/tests/c/libtrezor-storage.so diff --git a/storage/.gitignore b/storage/.gitignore index 6142305dc..0662be654 100644 --- a/storage/.gitignore +++ b/storage/.gitignore @@ -1,2 +1,4 @@ *.o *.d +*.so +.hypothesis diff --git a/storage/tests/c/libtrezor-storage.so b/storage/tests/c/libtrezor-storage.so deleted file mode 100755 index 64898cc473e16081cab5d711043404b7f7d3b08e..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 78632 zcmd?S3w%`7)i!=6G7u0jeAUc%E!yywS(VHcmAL zOJ2Xu)6-?}mkR4#4I>~3QtORx^H&1m8ju_3+SNaWtsc7UjOi<2F|Y`qao-g=(e%Kiibo&0@61kPyAen=ewz|DRvOb$ zY|7Zsx?X{liRsx>1HFu@{=Ej0W%-b&G=1+}j>pXj_-5dHl7rOOQ}lH(uBYL9I=%sX z`8gBcA@~j@fX^^|Y0l^1doI5GoQLm7xigFlaLv^Bqi`LE??w2I$9Dq07vp;wzE|MO z&m?@Wk~_l);d%|eQ}Ml4$FDd`(?Z2J&^uhQ27tH$kmNy>!;#XJLcOH7cKl<126fAGu`t3Is|7hRF==FaY zlwVpn?xBo~<9zRAym{M>Pp_Hv$og<-#}&)w-)uj1=7L|1c=R`S-H`j(pl4P;J9Wxa z4{omh;r5r#t_r-}yx~{7+q!Nz^9N_W|BpUjU%C78;M*Pkn)kPi`i}AHhs(3Ze0S=O zZ>`-~_}I0-G{%2x_Dw|}77g7yaACpizwEW;rK!Wl-GBB6myEmP-OV36(RrlTSc>lkA^xKb*DgN05n+HE)lx&K8a?F>Re`wym?}o45I&Q}mzaDpS zbly1v9%PIFzR91?BhX(3XWA3} zQ;v{-GzbThi36U3Fa1OE=Q0dp#~J;N!b+7wU%}5de2HJG5uXdzFe;8x_>6BW#0rhC z)A|20LLna1_^UMiHLDcj@m}gW6j#!3(H(Vfio(Aj?doro>khvkFh7U!W&R)?7(RW} z#kdvah+n-@AsqknT}?lHkHUYV^Ixj**Sw(dntqDrGYg)cpGu7%q3N&Hj^+C**|<&g z(%)!$T_Fx?e4D0!@%I#>TGN@Q@o)Z2;m7Fwt2Mr~Tp=2D{*yI7Z`LY&w$A^y#=pH+ zAs*8B-=G}ju)RScZUtR_E(iZ-0)NMH1=F|k6V~}#=xFiL>NK9w`W<|O!bdef4`@C= z*rV{&2S1q_zy1vc&ruiSV@>DFc?xm6#*cIK)u<3-0Q2*;=4Z@v3jT+>7~cl|SmSu3 zRmVwAT$7>e{dAqm$T5VUbSU#Ro{TqPSn*8Ds-S0QF-er^VMtZ|I7_8oHCirMg`U86e=J zyN9t>(_i+C!ZWtuCmrA85Xog|{soCY6`KBRt;dK?7@_HmtyBp5M}GPVzORwvG)SS1 zYc!qZn-s!{A10w4w8NGpJ1o=r|LeCZzvBlA0UnD8u36igW4BARUPj!f@^`34;uf5&VQ@!(Bm}z6pcUQHH9bv%+Gr8nGSxE?LSA;Pv4>PZ9+bN zHfa3d3IW}?=_pOVNc))?D%q&l^fUXMp)u<6gr@WKdIkSfr#_|aYNQVGu7e%$GZ=K} z#~%2Ff(ucepB!E9;}rrLUFu?dsPVloSBM(`^D|fLedqTTe3GVfuI4B9yuv%<+Htzx zOLe{1sAOZD=5yfr3UQ*wf2Q$olqkeWy55U4om)04`~@1%{=s&ApvT9fHJw)Q$$nRH zKq0a<{tJzdwkpIxjjsni(y6^kA+j`nhVDlXUat_Rf*uspF=-W_@8L{&uRQP zE&t;+o@U1OKCbP@(R-`b?<4b7#w)e_kJWT8TB`6r*7&^|-}ft(*~U->H8Sg7g0xl19oqdY%fYdOr;1{DyjVf+aSuVD9{q(t_d{Q?FRC zcu~QO{M#24sI;C_@@6l~CxQG0^Y1P&uADM)dMI!DB_%pbL2-UbL0(D0 z?9#=>CC0*ng(U^0I!P$y-F}x#P9c^qE}mm7&7WVISDe3S&f72z&7a2um zr6oqeGU2c=zchbAUO{p3;$owyc>bc&LPLOf?r#UDO}_HR$=6<$moxd=ys6W#GIFL} zcSUgebfO4OpD}UT3YYT=H#Qc9#XEPrVZ7eyxYqP3k!;k;={`pG`sk&qEa^(jjd#!L!xZaeBrqSI?SJ2plE0bh`H$2P0L?uIC+-NFDmdf z(zz`Yrt?I{PS&FNi$tg;AUwOc0QTZinO~Bp%&uULi=)vQ-C8iGK()Xjs*1S{$}cOO z=Td;sllY+#mbmHExI;(l)B%x{H+yl}B6L1C3-#9xIWNB?4-IoOQPFH@alt|thej-d zIGIgL(<`;IqPfNSa|)#6Ll@okoQxVbYIL3$i(@@RcnpwW+yIm4F|lWhVv4e;?nN96 zL5DAZinPfU6%;QlgJ}k@n08~%jJ!Jv?t<9LiX2!QoAmq=!?i(W8pg72sudHP=b#-b z^Oq>14&J3Bs_ur>7VYL*Qcyg<5dF>R0Y!_K78K{v;T9|?%!4(Qx)rhi>85Ba)2w^i zR|>mbsL{GNknQ>KP_Tq~c}wyal!+IhG^L-+%ja#+nMNHEFZx9Vqdb}vQ0q?amA2$I zxCkAG*>#m~Sv>MWBd-81 zC?DSO_L34cQUQe;ubMLX@+PoC!$>3}hL9pYY%PmUi=jqgmNZya@oaL|>64`_T{(tOc@>yz-&1F9j> z!vVQrGjCHU`P=Nl>(Ec|F%SM$PyQAU-dT%aa;pb_r6<4b!8>yqCU<)9{XO}+Ja{*j zLwbgxgTKW=;#%#&FYw@N zJ$Pr0g~@9?cxTQ<{5lVQG7m^G` zZSmkodh)k=@H0Jl+k@9r6G`p#;E(a-@ABX=wTXXxal0KF#~P^~e87WG_uw&gaz7a! zyyNSb81Udr-Q3vE^We2>lhjNPKGTzbya!+A!DoB$_j>Rl4_+^MNNSD;f43+9Ob`AV z4}O*h@2n9qd7cNar{Yqo$b-MiLuZ)>ucwHTTH(PT@5x`~!C&gZS9|cMc<{9zyfdd} z@){4`88e7q=fMYw(4RUF-dU?*QoRR%tdkkns0XhsNhLOW@XneZQ(_+c9Fq{LLQxIuCxT z2OkP|q=qbi`Tl?rs*IMV9FB#;+f!e6a~vM`2$BvDTaCYIr)T4i@I0oswI0T2*n@<9 zgku8VN0>ufTU6k?3Dae_)d^fom@c_(jlka_OxN00E%5Dx=_1=I1ipzd&9$va;Aw=} zwcBP1d^KUJsx3$0%L!9OZP@}}OqiigTc*IH2{XiL3kZA;VZ@+DTe`q!66R3SW(a&T z;WWaXUjs4hIKp)KZLI?LBTN_3785vyFuPV;RNyb(158)fRwwY^2-DTHtr7Sm!tCm8 z)dGJ&m?2DCg~0m=vkSBp3A~3eLyfjs0`DZu5Th+e;BACYCY&vB17W((woHLvB+L+| zEggDV*Kh0mitT@daDZ^Dzz-6pD{PAid>>(ka&1w8?!gQ%^ z*#ciom_txorof{KpGP<#@HvDzWVWRXd?sOrByEPkClkJaaOWY>KVc5lZLI?LBg{~% zEhcaZ;n9Sn0)Md&FkNt4oxp!1JeKepfj=V5A)~EY;13AXMYdH4ypQljgo^~;LwG#l zSpx4QOc&giBk(rD7Zc7FxPkB`gfj(xkuZnYwt&FT6V4)>F7VTYzeU&(_;JFQ5$^m_ z^iMdOaI3%%5}rsnCh&cPFDD!o_-?{i5UvxrnD8XRYXtrdVGhY{)dJs6_)5YR0^daV zD#AqqPa_;6JWJrK2~Q@RBk<*fuO^%=@Wq4~;+39B|2#h3Zp|*U%roE71rPG3 ztqy;z;K9)B7?N!eN!w^t1wRE_pC<5hhvEscg3vVMpC&VYB{L07aSHc$+B{MU`zUNS zDtIVl4QklSHuOUqLcZN0bKBO#ARRJ)W9P#h71PIqu}H}0vTpw7a4Z}==mYwa;DNMN zlb}w~#+#xTG(2E_PBp~LomIIVRmcPBT2t)?j{D|YW|Mv3a}bBvQ9+kcrbRjoO@|_k zGlK`l2M?5LY?{JCrRm9)#B~jsg6FvSeEpul<-cpU|#vFvMT zx48o;Ymg%LX|L{*(Z6%ZH?{&?Uj<;=RtD^zQr7_Zpr74fO6$e#%RhAFSF#Fs@dV z|JiV~=ucF5Cc6_@Yh{0G3U-nUmz&XcH8gCZ3xO*u9k%J)hTB%lpt+9;9_$599#xY(8F;XGA2RHSXp%bnR(Xa+mdUI}&-HrlCG z!Nah>!z-i922_+EW&!%DcE9L4?j7cYtX{(yny@E~if#=^omo}rk@gVUOT>Q*duJp! zHrb4AQptnn1GP0>N;TPosrE=P)}RnOUh^Zt-gppLYiie=(3t*GL8;$9?jMH_yZtjq z_}!eu0NCH0_DU4pa|C*H7I`l1C#<(UA*}g-{adm#H3pV8Pd1x3F>ZHxsRqkU!CgQZ z?dMv#yTJYy9<9;8N40d~N!d>NJ(UAimXrk|Jh=NAQtf|MP z(5&2rOA=Qht5WhbQKInCm6DZEsHu{Z4?#CoX2fqfMbX&d&TYhh;vQ-(!ud`pQp0JD zE7B(^yr#+`Cv#KfGWRxEp-2U*^tD=FYxQ-FzOK{PI(-#0N5_n6xLIFg`r4wet@>*7 z+7w)$4s&V>c3^oQ7iO+#s%(W^m|WOY`HtM;rp3A0=iKafZhkK}Xi=x!h^V^sZQB@# zzA#+L%)Yc&gkIqUk$lKoF8doXOq_~uCG{IpDYqe|sqz47qX^s2x8&YhE!LxfNtJb@wyAqlC4?oH zFT8~X`z+asN<|V8C85X$DgqTzHLQOoY7q&ft^5&DmXL=)X_#bQeS#eE6i5N*Y$&1*7s65f=`D09UuWN)W_l17zxBgBOw!8$#rh>iUL z?oe4d`To;d@SUyr9;NucnS9TN&7wx}S{4_G$}WUSv(FS>BHd0}y^f`MfC;Vs^vBZb z3s`y>N{j2jKuMPYGH6QNIp=`9Y(3F?}KPdM00rG)J55e{Uw9O%G4Z3hwz_9#d@t3j7{HP6&XblJeX54Rl_K8_} z5Cp(qFW|TkcMk4T_5EqM@A#E8=I^*z1KRm_14}S+2dCuUY*bxrgUB!y& zn?vUA21d^8Unh0aiLk>kvF+zXtL$52eN>i5|02vRWu=wTw3T7zvHTh?U1|-QLl*qE z3t-zEElr=SvwQOqG5_E0%Q9v&Nmo zvRP^T8)1omK`hJ;|ISN4S1k2_v|_bb4u1rL_P_9EzzEwu)4vusj^@#Y#W?O^6C={M zw>kzhPjJDyt&?=78-S<|VJd*$tO8!dqxZFYdNUuNFt^-84$KWjxFmO6xTBC+StTsu zHXQ8*usRNo1z1bal1wfyyHK@NDTE{C)z0u~)v%6`wSfdDW67Y&eip+xI)s}gQn`j% z)Hu2WyrPvwupf7bA^)LBu-Zl3NrY9Sn3B?)GAV$_xTVby9O_W^P$PUg^mjKf(^hp)1wRq*=!LHb<*wIcEGF4f)4Sor1pl zf!RDFwi`<=jduU}(dRM@V??9b9PUcP1Ou%x+P;TBRuE&D{QsjJa&DvJ4{!>CV6=Fn%cVY&G9#h4T9 zG%?df>X6_eZw3T0(!}O?PCH>aBebF;iuRaWrhx0D&K4GA+7hjqUn8F_gNJkg`$nkP z(h+IREV|T48FBi-mvx85bG@q9aP+dD{38e^ zP0zai9?1NxSK9w?|H108|g36wnrvTpZv8w|>z z7PrS_J1bCT40H8eNeXH5_W~h)n*3jHQ+Mby-zW8-OWO_r%g%!CfrTvpe*sK;W$G?~ zF|d3!GHSP;_aRxm5eP)87ul-@JJLVbUWp{gGKdbjX=sYHHS_~s#x0d5XFY(6eJ@&r zLF2E`B>J~@%oD%_==tsEu^;3#z7$N@*P)f&ntt~IZ_|?+i%E0~n_Acu+{xN=F&UG^ zJ*AkpP`^mItRGe&b{1x>G@NetDN5Nt7i$l;AQs0O66S}yR42`M=d8Mqzk%FXqmdpO zjG=o5xnPGiYmT$B{Ac4Hia|S@g00AHv@b`FR(C-it_X|PmN6l?7t6U6e|t$%2Ciyz zVJ-l1A)Ll?@H^upW8T*8AtC~r+myMGCMfa(TAIfN&T zM}tw;HLT1e>016RQO8WRAdaW5bqgW%JrLr2Cx*1~cx&8mcU-@KF$%oT0sW+b>bx9z>e5I0?#FBc8ffDW(}qn5wBH_6Jy81NX*Z zb~{%Kv0)^3=tPIu91zn&o1~Q^iz#h`S<5fbc%<6NN`emd!c_)apa|Bpl=a-H>bYIj zvm3nItKE7y_#J@~h@`Dthjcsp2-RVKWbbEt&VW(vw}Sh3+eZiY%dn(ijL00-fT!8* zx4-xRoie!hv)GW}ekQcYI7jn4Hqk70|Cb{x4x=wYFbx%|4L|z6$m%q zh9SThhS?Cq2;LVPmWGdmO!ev1bafMMy-Y~UktLq@qxUIhE+Ugp}r{M|J>N_40ku{+4_74X+=GFTsfb&Vy z3O0)qsfVq;tZa3#yCgsxnoeSC6|vJ4vAakt$0f$aVk`Kv@-g*PHrvsxeM}4P>2K&` zTAPBKIkcm3jDd}|^OTvxgX!%%dLHFWUZx?}PuNyg2m;;=Ey)>zNf{Ich15G_WWk4q zp25%x#9TD;0 ztP_M7Hn(5VQzp35sC3UR$g$y7Rp0B?Qr~x3AESkOkI z%A=5_@(2U4KF1t|;jT+XJ5N9r4WB6Od>gSljC%y^!mc{jF}A1}nma(8H4T$LVVp&csqxd4ZZ~$uUP9>`OGSpTGF(A1Pe7BMWR--a0I|`69;%`fF zNpok(e|rx*oLiV+>E&vyV4@u;AXV18QN(%hj!~rt&}u+AAnM#Lk)Hygy45=@ZP86( zC)D)U)dxUq&@Xvm2eUA8oBrn&_Gb#)3M{rL{c9EWSzf%gO-Zip5Q$C*)iAr|uSF&BCL9IdN7rdM5ndY+L+vVFvPz&tduN)~p1ZV~xHy6HO`_Dup#O>p*ME{r*57fl7rUBhf+A5$ogZlY?FVLzD^kI=)}W)o zlNDTx5!P?uwke3^3wDA}H*#9@3I4Wy2t-qG4gMN!G@+2?|26QkQu%xmjCdb~HzGMJ z`|>nnNv1XErvNPfbNFlS9?^*TAnqD|JN5Q-ENZ;d_}AWMvs$40hZ%gbeUvrmF3G!d1xS5OrS^KnioRCf%*l)l#YOke%wPOQYu{Hpv zz*T}^tsas8hMF7l6*E6Jg_$M`%>1^$!_56ch;tw=B+8=i58PSpC3Yohr&UIMG|ZuP z<=b(?!~q|6r>Szux`lM#L3Ytf`zR9J8X$GBxaeK+B{3IqD-cco8(vluQu_q%)FsVO z?nay48A`fdENb#!fHDvu)HMQkrvGgG#WIzz>^vCEX#lvpl8!0+GgYkHe>70-rva`~ z@Ru(EJ_hi26x^c%D{}*#tr-iM;y}$W3Qbv|$A+bigd}%> zv8NMQu*h9ZuCQau7P8c)X+&0}Rh-z%jnlPK`L3UkC1XU|E7*|jI%O&2f{Bo9!=p-x z`yW7-NLB_6%Rc64M~TlQ6pZ8?&{PV!4Y!5N8)f>u!m@;{*yUvlN;CsEt3HN~xJFvEVUR3>HI(eI#C5fRQYPxWry4aJx! z{iZYrd)kx(YEZ+f^n*<-iZbp1xK0oQeu<9M@RHKU6!ahHV-0M{zPGP4mYk4K>`oNZ z`*w+kF=~J7TACa$DvQy^rZ&^Sa`$72rzOd>;Cc3|V>IoS|Kwjf-l}&+c{>$MlWTh! ze|S~^9~`x5Um3lt6w`%Hfl(Z$-VE7cRfea{egcUp5$NFTF3kU8Ja;Aw6?cR%51}be z2(~!K`)<%U>cHZu5DfTA*AviA)GQ@O;tXJ&Gbn1>7^HJs*aVb=rqS9ay9S*N=Yz0L zoxJ$?-94^wR&;Pnm4{X2Y=|l6RcdxYVd#O3^OD4bO*ugK+>X zjeaSS6ZrVZwFNCkzLyDFtlJ7tDK6{@C=0RV9+V@s4ZMld!FW-(iCIDG`rVFDHLX8` zdmNEqiNWYBD}I5_;tk>?3}buIQ^*(Wnr7(jDW`%a91D92H7UCS=qyp@RvrVp@QD81 z&~Q^WveESp0pC5d%N)q?bj)EFQE_7E_zG*K5FBDZ0YaIX3}RtnC|kEJ+vOxDTZ=oy zp>_s*gaeUJ)E~fchCpp zzO?+I7d$=sOZW8WcP#&CC#Cd6bm}jMMZsql|2W$+SL%HjrlQNAg07|xZdq`X($!!6 zHGA5j_LI6N{XjY)*I_)YCY{>@dp}*@BYW77{=SoPB=&~0osj7}lxgtLit0D=HoJu$@9uB@PYf2IyW7N_JPX3Ez|C03{=w5z&@x?>NeT0yv69HMIAug4;xVF zN+5TG7kESNy$*C{uf0*g%L1Z(F0~(-hc?Uq$j=hgih=A){)$g;@-Lo94l{qI^C{1{ziE?UhI`!I6h@V0ziI* z_~ED}{dtE2z=c?2&^0wX=~#qA+y07LJA6jFzc7p|vUe0-68vk)Ak@$aQ|Smbevrb| z1Z)MA!gB{ZEl|(x2!G^j{J`&vA>1S{JQk))&g@naD_c#rjm=t9mX9n$4xpk;x176e z_I2!Wa-ADJ9V?w2rVgWB?Z>koi}mc6IBn;zsK3PN+Lg%Y>MxLFIhOy=Kh>&oy3J%q z*zlb0W(7ue!(IhTP(d|141|Q%pD65ZR8y4kF^7h8CMS`T&EU@Er2F34t;w96ug|-~ zh!4{Jod9tqjLiM9)hp2pCr`=kzSdh?CU%%{$Q=8s==xJzEPv-Zr`g&BYS6+a{~v*- zFSPuBz@6!TAAd0rV@tgBSRNb4)_7mU$(NU7PoocRuEI^o^f#z%=sF{RipX?49o1_crP-60}{!R3KdcV_yJY)#QI06`@xcYSIwNG6CB|k}hT$v^>8A_Obz2cdK?1REb`VBEDD*6QV>4~2EM`q*VAKi)+mrG9ha58h z<%^v?Y^n`=(_@yI+)qpr4!psi@cL)%g8&^6Z}KN} zkOOf~v1~Ym@$4F0;BlMXI9JUYPb_4p> z0eExnYE1~*#W)QaY*Bu#$B4NQqH}vy@~#z_-7ik`_ddGP7P;RScc_;CfuB(CX_Y^K zSvf}Z>9YaD-U_kU_aYv^4i`-h(r-=NfiC&Gqd?txN{On?w9l~4BN`Bn@U%>mJrThS zp18r?wdhxl{O?9BEr`|is*el( zUcmN^$kpWk7`K$5eKA1&BtWuzTfD=g_H?tW3Ul>H@Q|z(ZDnCrdQ(y+v#iU^J&3Fo z<%d$1_Niw+O@C#y>?~|z*Dl8<_Cyws4Ep-Jyo@{c9$vCe!^PeNhA>zk;-g0q|9i-g zwy_tU9g14H2Qlu5)W&%$m6*lGGgfrFlgw>+)Jk^hTk*h^&zX$;3VfiaK+4?lkWHQ} z0}^o3e};7XTGw3+1)m1_oTm8vHrNmg0hdqX-acM&*`c@`=jHMMo-7hBuS+2JOL&J( zxr$sL54rgyw;c^q4};*TthALC$cDc3HAJ@n!~WOopI{qLwWMvtUrgI(V>;>I3VVle zd=!qZ)7tKI7&ak`b>6J%{5~=}O(4H^4(fzFzQ!sO0+O$_U-%kvNNe$f?YB`>zM$Qn ztLmdNu2uDkGVt^i=&GluPDrS<83Wd)*{aghJe3-(^gY-+YvM@92c*h=Y=>U=viu-R z7pl^&cg0!$9F*)IqO^D@*BiksVR10GxXG+TDQz;a&n%pJ&_e(Oaw(~oDeCtjA8hX> z5QbJ8NIwhoSCn^g&`GO&9N9>9qD;MHUAW=eX;+LEA%b#w0_6{2yPH-j%EJ|9OHr;R zI@r*@!{S$n>8ecH777O=)Gma=Jyn_XGrW(5OW@!!V-o&W9Y;kc*rX@ z1*;k81+bcC*t`UM%@zaX4w>AFabAtt2lnPVvGUOAu41&YN|rJrIVrr6vIs~SGq!SF z3m3IWcGy|@*x-~&s-W#lsX#wcr`>mzlR2S+E>!_yepV2ZMJWVZ;6rE%zmE$!8OlPE z4Lh{5=%}NgQIbDiJ}S|!Y5>|3jvf_mJ!G;xaEUgQiLgzUfZ#nEA-kCQ1s)SbpEzJP z<1ZQ8He{G$BOTSS|m2di4b;H3*lhyA*;-uC}%q-p((Bb z!+SAig8EvZGSN{ggyb06GguXdnzR&kTW>*~cuX*h)>sw*(As3M5YcpPmcd(EydnlS#KH6aiE zOO@~=aA;4}oN)z?b6@w-uzm^LB!z`(8~xLM7=TElkSJ%;*x{o@qmF#iDlf*sg>2`l zY=~5`$J2FsqkXz>TlfQcw6@BhCW-!3m1is68;CT(v=GVAaICTx(D?I{QWdn)3az}O zwX)aM$|~3`VihM8xe`TQRz)0ZoePq{J_T%*zZQR+{Ey%-SR{{CDl@8H4sn|P<$&Ao zh4o^|6^h-<+1@4u$e_=ONhkFeCyIZ`*(Lp=cBR~oH+B}hr|inmYxbSGSr}0m47~v)}Xm8 zCmol>Ff>;MKdvbM*tg^v=h45Tg^GcB;*x>(J!ll+CXsR53f-@{Y*02Gf*S~Ou%4dH zqU&)c`ah9N)G>=^xtp?Vc{?88w}! z-P6GdM@V*-g_i#!5Cm5o5pb*$#*O}gdIr1ozz_G}U>k8*%2SWtc;MsbpbdvgFN3rD*Lp8uoIxuLmv44slFzvHu+e{Ft$9KricG{=rW_~3pg<_VWWvOB?7U3{MK%G8}Wx#(*|=V}sHw5Z;p+*gaBeGquqsb&B> zd5h@3zW8PP1>~VGc;N0;S|xvcB0)0zRSElZq^p6Dq<(uR zNHr=_J`bs>xVN`L>y!y*$BegN(ZRiu5JUSWtZPXVzD%H2NoqS3wU-vgg>!xps1>=? zViW`7w*Bpsgx1u(P>-IwJfA>tED3V1h?d^&Avlx-PY1zpaBnYAyCk?DQhI2kw`pC- zvxz^5g0g3M%3j8%eF)K8{zwg0E4b8JpEwD{x)M5M+AHPt(BfumTmkaImTr(s6y9PN zJVl*5?oGm~2*UgoeJr5o|C&SpC#>><82?yC#2ioO!phwUQ zF!0W5)fuD%~?JDwFGK6lG^8r+ENd- zPoO$`tV=D?c6M7{+llulvX@GNUn_!Vc?jAh_#xDgU^~-Z_S()a*vO_7cr7&TqwmC< zb`+cT9LkChPCoVb7HB}XIpVZ1a^oY`|T1KLq>y3pb z)lc=P(;rP?Z&dSip6K5PXVqM+lmCJq6xZc?MK3{@f97MD%I(qSo23idZ3&&G9m3g^ zp&I_l{CLB&AO!p88zdCT(Y%Tk?nEX%ySH+;V+C2@@pn}Up1-WpD!OcF(kPC+sw%w~$Ai=KNokl2n2`ZS=(Sr)mSHG%O zb&E)s&Ql_-3chP!gVx5q^+E`2(`Y4_>BuDm8UpI4aBru>`Y`zH!{Bo>+}1uALo`14 zYz)5ZDCe_ZdTE|Snqw8s!*k;_C!@>Qn;}ygni`Szg@gOKR=p3S(&pkP?9&nm#ZX|= zg^JKd524?Xxe^fSQEQKb2Kr1$_Zi5d^I?&NGgvZg7M6O*qLNQR zvOaXsKAJ_bumpLfTLa0HZA}H#2jV`nO~t+C5*Rt^L%yoD)7Y2UDbzV?3V-8KO*q+V@9M<8c- zCt32U8%tiafgZtQcvg+DV^Uv#v;9*epP7;MZ z7Fbn-A4K{zwt~aKxKp@GguRl{Rt<5mYPMOuIfCnDJPNMg8G&fa;u&!Dwuts&R*keh z;w|UH%NMwmChvZ*Uw{~-X?XB81JqSrY4;zE`)-zhHQ3aapP(SPM4tXLYYveyQx0H4 zLlhERVh1kC8j?esN(+tBI=oJVD)E|^ARG&$dn6&WK9%{zplWz)ZID{^i&7x@Nw6a) zn?DK-Zmqx{>V*6|DY7a7d_~Btr^9#fO%>y*b-Y-?!LTZ&t%htNBz^biq}3#k6dQ1W zxSa=PkPgquhRfUZ)KOGN)l#lE%elujX)|8`Y5y$FVWc|B>YUQzMZ2DdOAv!*O>LW* zLBF3xR84n^H+w<7qRmjFTmr~LENv%j~4AtwD!=W>pLw#L3 zP9{5Dl}AI_*o5*(VtGkGT_|tv4vE_qHO2We`{VT(G)%k)f|ovN_g_Tr9M!6JJ5W_L z-bn2?FNf8-xf9aEc7<0-edFTXQIQS3cK7B>e(KsZ-W{0e%~?Ww^IBnoo=kJcTU|A7 z<>4{W?@z?Wj+jw-_7%wFc=n4zanByI2BJd;9oG&`iVzdLdx+x0bNAxjU-!EATSSO- z?_|7Z_kIuwMw`#IC$hBiwqu@>A|D7Svdo^@D`@X;6YFZ4`Q;xZByk;qHx!C z6#ioHAZ%@6C{j5Km-yguEShK4kV&1ShKZAZLWCSZWq$oILFu!| zEH!ZOII6J~9NvOtg}X$!EtzK35QkpFHtWHo4x>eVeDH_@guUrk4axcf$Cioc71s}^ z2K3;P33xmQ7m-cGOIHS$Iz6~p&v9@OQFwVtyT2VQbQ@g$f@Y|}MLpMQ`mbAw1!m_V zx61*{j}9n2$?)fWy694@fdFCo&&6LIrR(mi!Wgl0#Ijvbg3*2nxbMQ;mJcqZ+8=^1 z^|D6d8e5No1@cu6a912XX~>wq?ySPe{`i|3TZ>=yE<2ZZ)I->ZF#*G~G-Wu1fL*v? zmt7^KdCv2aU{^^eNVz%qS_}nzk{CV8mLQ}nj}>*b-$+*R++mab#9H!6VltS(r|4I+ zenu7D%fXLDdB|@j~UB<9B)Mtyxls~z6LYd+N5qE z(*U#$*Lt=Q*QmZW>uXG3TlBS6Uv0T!)f8*KYc{0=YA|#!HJ_mg;sN69Or5FLg7?8{ zYtC3)YAxAf1vFkksVePKUX=G(&s)lL+V!b2{HihTk)V+H4VFVYDRVi+- zsS>xLL^qrN9K5=0<$x`8zp^OULa&@!*PXS0CUO)-g{(9jh3rU%;;q+gQmXZ#$3l%C zT?$hoa)f?+Cs^j1I~i}5=Eg(BXO+$zwDWw2gpXRENP`Nv9<5Zc4Mn=ObwIqWD>~Q^ z%%?;2^5%wYxzvourF)yJwK{6`b&bBR)7LtE{Wr~2RjyuYm}so~*HFimba`xXfj8jN3K*C1ZO-RDzpY9aFFh{NOFrgs+{lIV>~(8 zZsd^DRZ+B+^HrRwIxcPF9-OR94fSOg;K2$Ue8Spe6cJB)9C?(B%s_Cg#~nwMU`;wu z7X}WpsbeTb&gUY*sauDO%!nh8s!ETav!$XS@-i)Ys)rt>$-V$qISgOCOkGivj?R7$ zOq0#98VsZiJIb3S2R=c3LvQAh=@ecIG3;>ELxv_OdHOO>GlPXjyZ5lemvzRg%E{1q z@Wfh^y;kMHD=ZJEp;K#iastTH6>7>JF8x#8XL|0(d+xJ6_aS}Hwm?>x&yl`MHb+-I zkVzvFl4j~82(!sPCLw8-PQn9qP4=faQ4uFNPxD#i@UWwzinoq6uIOk6)T6V~ofYdo zEU_}`oY<6?E%R*%6;5}yKtTM2H~}j=6=1cSn2mPgK~vrJt!y+PxF!w;0Iq|rR?|oG zT?07O$XA`lW#YB<)sF2U8SZ5Inm2+!ip(=~!L}w8LJzG(M zfvPN;HJwH5vzN+}8af*K@Tt{R#G~Xg?H5pr35!*=1H@3qH*%^b0r;|tQ zfCEXqbGr5}2H})h@hm}n_;L@hrfe=;Nn6EK2R=$uRN+sTk-)3DDR361j3QfGG4t;44Yqw z=2+=)XuekRS=sPR^oYU?d=lNE+`}8u5z2iC_w~46qqP(btteQ7=2F}+ekrrgleW&2 zMjCaVv^q~3Y1Vtv>Qx%vAmY)ua9ZohRqLTZ&TBE8`N3f`?wdXNnl&}%(Ooo#TgUX- zh?vg8M(ZpsxOFU_Sz2@!wja!&tkFJBB|?X-2=H`C)?6L3 za&mALFQnWIy0O&Aq?y8uoGtDG0|6R!JQu5Gu35OQ3mqvJd0?)2xMHMW3woechkjFw zZm0UIOd5Xtcj^9uQ74br=-Jf+2`Q;ky_$C|Oi1Z3RjQQfk^)ZR@fh!&c#QW>JjVNM zn1+Gkym#U;+!O1dQ$6?Tp8E{XeZX^{z+E~J9Wd%GXjSUzM3!)E@3l%94$ES`Xy{Z|h z%iy^1qCe)k1dmPOP!1@JkWOL4nXo(x=CB}O>a`P|mLSkzPhNo)MRkHvp03mD>7G(5 z>4b=j$QFELbJ~(I$d31twSpK7g~N(9HKvHm^74FDiX$7*UBVJd8l^M;2kmQ?_JMI} zK(nVk?LJ2z>aDF9DQ3cvVA7r=mzt1VA{@k$=k8Vwu^}vON**!m6Te5ZR;4Wcvk*F6 z+IP|SC0*)BD7Xj-)oii%1n(wL)00Mb12b{uZvw@ieHc z^I^L(ZAlEzfWi&pOtpITZ@3jdBqhJGv!a8q_)BVIQ{^g5Cb-gz4WMe=Qj_h2LlNh_ z0mQ*?$UrC=FcxkhGHnT-=~Az&j|}+bHCQAIlS*WqANLHOr#>vQi^@D^M+m>=g9Q5r zXz>|R>AzRu8uAkvm#r(QQk4*^_GTmFDz8@czd%hz20ThIQYksI$)Vc8cvz*@ds68I zbn2Zd^?6S!{e@1Qu2NTfQawiq#;Mf1J*kkpQ&#LJGT=5(sz_gP^?9}MJhA80_f+c8 zo>RA|)IL3@KBZDWnhZ{~G(7dLkW}aG?jmEgfKx9CO3m=Zk*q(1fV~G&|DPyPY$7t? zRnSr%B{J?QG6t(TF_L688(Cp~yh8j)2Q4ZxZi_Ba$r5qnZG)-Om}_AYxWhScj7v0F zEDuF$Vk~P(BCNV96)#9;MjAD*r!U!a#G;)?Dyqp{BDKH~MIx$}8tFTc4N_2d6|`{N zDzY!Xv;a+Hf~wc6e)bSj!@8%fke0S#VJzMo6w zWyf*wNe@N*A@IVHp#5k7*J!{?JfH~lQUstY5Aop&(!|dL)TMb!mwQ=kN3|^6<+8-_ z5|A#{Ki)iqMpza^VmxlZ?N}NKu$@A>OD)}Zs^$W^)G5EBLu~?V$&kTdL%LjK2j7hJ z0x&1>7pX9stt0917AE2l_4|EUk8D=Q=b4YQ;vS3^noQIVWYfgp7)_?DOQkY8uGY?;3Y z-%O#8Lt(s7P=cC?`!OOk;enu93h}A7iYVMeU^k9=@3Zcu*85b6=%W z&@I9P?}Z0~>d2u_iCq*lM(%|N(U%~5q5vMgnF4rF6d2t3lwn8&H%9J-2L^mC5|2QLNi@XZul zU5ph9nNl51$YT!#9h(fvJu`dy1wp5Gcc%azzL^4eAcgP?3-C83yoDDd?crT`>PtB} z$3{w#;Pkv@a<61|kK9Ym!3v*p6*yh$I60r=^A+T6gqdt?q5XCmoZYBQ$5= zuR2SsRt4eYe5y5gbEum6s2?q}j8WpuFdn3%43>-VZ0{)X5^+>2QDixe>Q59okE7Cw zqCn!Pfkcf@KxGhhX##36QM813!2nUTn>cDHQB-3bHJqp^38?dk%1Jh2fO~^r8kT$L&RBSRz0#YOr!^UR1ym0eVqG)q<=SHC+9)h!=I9B?9!KGA$9H z7d2M(ZZB%QK6CDA_NB@no9G?A(6H>KrB19d*%NDA;Egp>kq@zkrB1rb5fdzQsUs#m zMI5g~$QdYO)lfTXXfAOE)*AqEg ztxfjkm2q;;K^ZHEX94k)2Z*d=*ol=?xl1*J+tnS805q#R1ev?k9U{z_x@r>CvA0?iHA7V-B`5_hExQQ2Ne#{V;7n!vC`qK^q~=9nyRfb{Wa5O$3T?&lyJ+?ALIZRkLLPo6%KC*})A5#NsqMuiRzHFaWJ z1xwUp@TvsT!J3IT59lQ20UhMo>*EXA4~_|L7drf5B_E#g4(=TjJRo%TCguU1q&%R5 zJT1OpGc-OX*erDT%S*nX4g8p(Ep+fGp*IicB;^4eaquB3ako5-@D@UJL={ z`?HsvBK;M;B{FCn67<4SKMdpTCs=rU0{ghEx17jgDa+%>ZKvqtbP@ldoB1qIuat1- zEj;>?Ycr)5KMd^V*yrZBP=3{lQ?Q7CJFxQe!Ey%ovU`7y+VlzFCi?-f;J^*pn7Cl2 z<@+c=|I}WNcfcrI)^gzN1|Xc}RgZ_m4+UFzDw5 zyY?)!SP00$4!9=#_?`i0(qY%zm-#THmwuQPHKr+ zhPUj|Rd-H-TjL>LvMEa0b`u)^>$@>h$OaNNeq?=<*jH4AT6>QX^)fQXX^UHTe%BuF zZ*c@Vk^-F%Hp1lxvX@+hrM6p$`Alk|FV(eNNo+o~6dCsg$RpzzqDI2BXgi*)@3HnB z$f{q})}BuRW0ze25=g|q2|27@DR3}2ISpgy){g!uSG;t+%k%Jp9OE2!3qG`@L@Fhq zV)FN>J8}5AGwt5Tz%BMVwt>T$$H1e@feh(l231xN+#(_)`jnmQvbY&C2yBz9YR5)J>EYDBk7y_=NI5kbT09l2QUqS(<-NA+{T-H;-*(U=LZ+O7zZ{GgtoKEl5UG(gPBI!;MvHeK3 z5RdoLbMDeT56qB(eM>bgz4SrmRy?YX`YR{9dnUfKAscyg)$85lme9#C1(v66=tt-Q z-as`d?EmZr(0~gFF(hjYb_P%tZhCxt0(fjdW31`+kPV8cVlWs!o`Z!ye&z8RlEYfC z6ca3X*U#p_-_+Bk@DmzC?+ULY{PlPEyMg?f1AXD34d;U2oqFhE1l*_%0;GevNci^$ zu4gv9p96-WUv1t#34?b+TaT8!15-lvbTRz!37=7LHHrB?{5FZvp>?3nji^rX5&u)9XxA)sEX zSE%vh4UJJhJ#Os~EO9~wwfqIKHKSrUD2Am>IjDuBXWYd%b1V2Wbn8O3{8?B^9a6KX_{&@M}8xjAQQ)=o^A9?QlS9v}@?IErj z{KxpFq{jrG9D@}V+^)sj*}sw7AGiN*(Z3+!v(p}$_MhYy_CZ#MU^yJzKIt`(Z)W`b zp;sIz`WG0#B<-QA{*#RVYhphCoNxVb+`qu>bxO?AtI#u6^C*QJKa;sel`Ml{OG=$c zDY5j3D){~a*O-r|O*D|dsxSl>k`Wd?5TIqu5j_7~r zj_7~2=zrZtsBw2Dk5KNB6`spTTR9c8aWoIJ{p<{k40t!;Wf&~@D#o;x`!Mv@XQR?{ zF*lNFSO~A(NV{(v`H+yg1#^G^2M0V_B@vs%<(b9e=Y%HmHGXiExksJaz&Mw~$rTTV z@Pcz9di>&J_n7zMIK=EdIQ5=t@wx7A4qVk^_ufMCXtx?l?ybY52^^qh^0ERBvErGZ zS%kyDvfC$VIl{hp!GvdM7C>-PnsVXeHE4yW4LZ(68z8N=zKl`gRmHr4&kzuD1})u2 zyfii5#{br{>ky1nNZP1}t|PVawS^w$Bh`Fkg0ROe-SEO@tZW5i_*33|S=s}W&>MMc zlwKHbLV_sri#*i+i74VHa@0f_QZI{vJl@K*QeJUGDS1teGa7A02l#Th+yiD5zbUxG zsK8WdeA@j#f~{#AJiv)CGgD^=uu7&idhB913hL2{4mJi4qVpb1nEo7era%9l72S$O zeEmwb`tj03j>KIF?Ct-I{s+*;U2z5wF#$5=V4%p@LELhLp77WmVj|V$0uTY|Z=Hpz7|7+pKDG3m7)X8qM?GPd6wHU@ zF*UR^TpooL-A@{LOAQDjN|e|d34jb=;^(ol$|bjl&lSP!{VD zbui#Z5;7m-$&C5N`o?G)Gvmre;A;2NvxEPsZ1)Wj*+#}<8uX;9RVFH6qOSs{a1ykh zT3IKm0oJ!WX`1o>7lB`v_Rzyzw9saV9YU&J;#GD9#-w7PZpcck0J#+^^mLL{)T)zH z@fM`SWEHsTWCX5NiODK<)yarmS0yG7l+acu55)5riOCt>kSFo!*#vJ6UvN=HcC9=0m77q(<{V_m~+0Pfs!P6qfMB%#*6&zW(K)c}jJvvjD^8 zNH=O8F8nB`e0~9cL`}Mt zP5^94EC1!NSz4*%<|DQ8syT5bgc9QBK)1O0a_K+bxEYN|h?_^C4I(a@$v+WBd_3zO zH-F{G$!l&-+zdtZ7&othy>*M5nK>Re|86#AY$GEUw#jI+CH>2R^MA*ZKD^zH{klcY ziTq6v{yMz;{l{!zfGoT-OlA*uW9L~E1CdVbj1Z#7{&1?a;y)QX_wmHe0km01LkCb1 znc6x}aQHpHxcuU=a}K;zJ-k%6w=&3^68Ox9yy{oS&M^=~ZV46lije7@RP6lZw-AUS zuuYDg>vZf~=fut>@r((vb5h1I-nJRW51xn1x1TPtbDa}A*Sk&1$wwQ(>DGX5<7Gtf zk))*9c`kyxeQvGeDk);)H99rEoqB>WW={*8)H?78BK9xHxaG@TebFNxRd ztT#*Sd@ZEYrB)fN0ltgf*m%7n1?Z@WT|plP3U-J}0J2 z4F_g?LY_=uvJ)`lf#IrcQ)PerRgF_*8k>*dn!Y+a6>4lgE;K3*MNd=^i|R*!rS2iB z!g#sQVxb|b%26?_aamGL!nVW9CsUx{K^Jb0QB1m_Nn5*BwItotPkyDVc zRtk)@4zwYMIDNFPu^I0HAg}2}HbzfVylUtqwX1>T3?`3Jf*qnVOEJL@QFwAq`Vw%d zvtL?bARxkZC7MZcj>K!Ua)d7~v^cs6s9ZW(s&aKJ96GwMk)ry^YoWm8u(Td0!E<&v^9jqnhgM=Cl5ZfrhY zQ4?e%UP>Xhp&&fUDb#d)I@BgeD+S!f)o$kIgP^iU&=2kazKz@L{};FK^{X)x_>dPMwjz#eh2Iu4h)2e3 z4q7GqD_7ivnc_NU$`Z*D5q6&`_6G?q7YHqRrs&GiO*)bs^(2u;`S5!>^79nr1*!w} znD>Cn<2Sey509J=B+40Qr2ZG)G6{XVe2AP6K+XrgSA4#Ucq z_Go|D0&1?nq&9{><;}~}9(aR}PxgWGL@y%2g!$}^-~K#D@Q4I&;bt+GF#27VR|rf6eAyKBVEYHZ#ESEi?j|qQI|IN3~l7N*T9V z-7F|~ZtnF!jk(@aI+$4Kmz2SE!STlwEt~sLD-j3iHL12oHJ*!faJ|ay{_lv!);x$< z^gCxCl2})MGb-_Av#;YE2s*62RT_pyr2r9M87M;YYq2s=ojie)CoOT-CtO|~-&Lyv zCFGWsfpe~>aAa*&cGd1188DE%E_r33TCWULJ1YY>#xo|Y3?yZgvqIQ72$!$DOjZV} zot1%Fw=EZfhY&b*_ko5HAulaSoG4F4DB@1gkN7NaHyP+?qsjj2TGCZ-fwm$Uj7XeU zTg#~S7tlv~sy9KT)C&pK;3y$7dF{IY88?gn2{(C1;%0{=B#LHqoEc{gK^~Qs)6HF4 z*@;f_@NDn%-8|Jf(i$i@$zRp1-t51;w)O~JPpzP<5H#kU{6{qa2p-*n{1 zw*ucNzQ(cm9*6Hhd{4kP1K*SJ9gOd3_y+hjMvlBd{Vyq9T%13*;DXYElG2h3W?xXa zAireZ$k`5)S5BEYJ(M?n@=d`&R#rem!7FB5H!W|*#LK4yZ%#m6ab51UGj0u>-&4lS zTS-&M=gnU%AGOkx*M)F`dvA3#>6Rs;IwJiO}p4ASXNYgabQ?UKVxCZ+<>|( zoWG!ecNY(v)6Xa@TQpmtLGRlI#q$gAn!jjnAZPNmMo#hK*##vf0FCLT`NgHgmleTo zyERug8x38scyUo+_Tq&_3kpi-FJ2UwJ+EN)9fnR1l;+QMF!^BmE)C2r%P*c2xTC;< zOA1Q!bdkLLveJ2ZELWHhw&xfEv&F+l7~XtK3W`fuq0Xix?hs+dfx1cj$cj=;0EcP-_slC`+=vM)&Yfv#4$8)@L;4?wheoES)tG2atH051&(6BTPyWasoN+rEm$I` zKu0O%jJbSIz|X~|tWha0N5HM|war~sXoGf_d#qMoTI@yFupBBp@-f=0$s#i9vaVO^^*Ozj z=y{&f3P-WWWkVUDLZlO&`^w$6uC~sSw)N?28=9TdKl^U`a5?UXL8c3jBr;9*N}ng- zM*m_~T-qzWK38WMn_ULxA0_d=?lx~h0or|cTba*Y;HiSAJmmN!{qx5o%>SJ~+OcDl z=ROs{|FM5uRUEpcbfe-mvf}okQdE~?1Hm2dX#0H`tOBn>!#uo0n4Z+a`Zf?nPQ_+*x?l2 zNYsESAF@VJ$t5cLl2KWb)mhoyHnzL1qPwja!(^G)U#Y6)@^&E|?WN@ zlaV>_9+}#|X&<6}T^jH@8{LC9+#C2N??qE;Ew-yUJ%5s{4=H_w;Tn^?NG4*SL=^ z)V%TH=Wl#JYR8D)r(2&MxnlAi^A6qLe$9fHn;Z!nHRY^eYkmE;J&TCOaK02 z(yGQs7Y9x+-oD+l`1tezTYuU8ukEegU)DUv+x`0tLRGaN9 z+BGfib;IDwtWIxiS(miFdHddXzIGl~ zI`_xoVJm)r;g7AqR*lr8(F_mnYBC6Xd{)|;_P;>QQ5V9wB$1? zzkcBnFHjk7^_FE&InI9l_)sd#uQ%w2s64$hC;Uof`tSK|ZliKdzG}}cRJPR}Js(l| z9=!APb5zFP+>)I_<^0B>*^g6MyO*r3r1CBg?>3Uke9G~arBv><7t-FLvVUWE>nT+J zYrZV_nd%@aVM7n9hdXY%uz>2~c*|e5Qhn@ra&=#-lUr6bdz$LSJ2~PQ)lFGx%VtzR z7jHe7Np;k5U&ql@Pd|0tc`wz~m+PPT7uDAn&etBNI$QmEWgn`y6R-X>fa>nHl&kKK?^Ci{w>a4|IQGGk_-M5SC{JmLe-%!2#zj0Pl-M_Hu^}|&E z7hnJ7K57GFZoRfYwFBRpx@FWBPW5(ONA02W4bBeKCcb}X@)y)Dt{K1kb!r>khWoyu z_OZm#@rMs@@3gCca3KYVtx_gde}g>{WrF4((# z*Tc?cueSJOYvh7ET36ksK6V~ic*s^usHO;m@*Jp5x zs3kiK|IvSAzuVv2TDxm-*NN_nOS(KV^3`iR@g@E-IDoG-au*JtDWXn$Sb0Njmr?(YL5GIaeEuqCj0BTZ`u z><)YZI2gDjQ`d`uVfdBGY~VQHT3{9Mec(LcNnk3zb~J6QX?Fv=1Ahe$2F@J_f8ciD zY+#=|;ScOG2>!q~fv13%@TA_niKe}eSCid=%kfTcFt8YJsf&TDfU|+Acn`Q1I0D}t z-Uoh)*XyT%wWHvVC**|t;18T>hd=NHuo(Cx)^*GUz6M+e{2F)wI1($g>VUN#?CX4m zrVYmG+&JLIVqG5w{1299mjM@+!5^4D4*tMhzyrW6{I;VG*faqDW+)F}98fEVKX50o z3>b#ry3GZ4!4Kiq0Z#%C0KXis>t}$G_&sIxm6|plm;|iAa>ZP_#!svRz|9kNy&Bl- z5!4^>V_+?C<0SY4)3Ny^rotaM6Bqz)1y%zir^6q3FR&K)(o9`H51jV6 zuD5T2_JFPOQh{&H!FplfY2Z{~v!`@@1@HiHC(t=h*N+1ut93oHrKTO3uj?_u*Pg{c z*#um=0RBM7BKQLXz!kt}fjfcPV)z5IfRU}x9)U5ytxMn!%=;JofoaddA6WA|{DDzR z;SU@GJPw=(jEvH>Ex;IHt7Y&9dVntA&&%Nte18@Efdy;f4?On@{DIHB3jfx)2F3te zt%pCb4bTNV3!Dl}-T;4~e=GcfD}cv=zX2n!(lq-H_yhCag+Fi_&;`74C;WjEfGdC( zcflWcb~pTio%g{1YEAnP7z3=_3x8nIe)t2|1E&JpeFT5tjE~_DeDgo>2d=4wKi1gC z9D+Y^2{0X42Xq04dG*SXETm_05|!or|wuF<{%{ujxP0 zzA#>BEu%79w!O2}m6c5=X?I+ATi3*xo5_*<)A47!1LFx1e30*G{QU~PFL7xtqo#-V zZ_&645#W;ahw#@bRoBrSf_i39Ujq71_&20)f&MM@S!Vz6X(9j$|0w>l5k7rkG2#zD zW9Sz_cTUrFw?!Xg=_Y<;)l@Qu!=qsROiA_+)DW$Cn z+Hz>GnzitkgtHCY0_bu5bp2Yho+HC1io)0en+~v9Y_eW1^P{*y&NY3QS&=cViV9E(2F&>w>SF7yG^ zzEt~&=+}r0DE=kTf53g{Lz=7``o0LIZ-KsGh^`+-K7#tkVM;#=eJI`@?}u#Y;k%6Z zFG4>L{Wh~MvnS$jk9e=feQu#y53e@-`#_%!y^SUQ)<*oJp-;XG%XuvNL_>cF`nUMn zalsP)IV1cf&})Y4`u!IFk%s>k=$CSJ{chyL$X`TGxRHP8$+!=T7s9Ii!tW8`+u(8$ zx)1tGK*K*{N<_r-qKHKq*f7`l{a#%sd&6dw2tw$otS6fF(x5&DdNbVXD=lgC8EKpZ z-GMp41alf9DvUZ_3Vq8MU8iSZBmQu|h=AHi4fJS-u0LQ2-))3{4Ep^}UH^xr4BHxI zsG;qRa_RbRi~n}R-v&LbP}kR3;$LaRPh;b3=#N_ThYWoT^q-(lvFH;GeG>FxMY>*N zN#EN>`j$ek!(6AKF|G#sy_f@)TEh1j;U9y(8v0I)zRl1z%;g4;ZFr2fLH9uKY)M}S zBYmmR$6@ZZ%@Y1*5xx!F80b-$ll^Y-|5f;t3)SIN*nCrpf6s;p)lTIwEc6x7PeLy@ z>)~Za9(F?S>(zByXm0pNoHx>V9Qt+R@NZR^_3%rEe+velv7hTNEtcG$Z_U=vkN-k1+d( z-zCDgfpbBh2tC`}$7!6&kmC&5%z({Hm_yS&%ZP()4vJ_rvRMlo$3$J97-|y;+R!t? z+mGn_#!#EJ(uV5m3~Yuxs_Q8@H{y~*ipXy?o)6s6+gZkhXk$!Bf`0!Lj2UMC@a;x< z=0cC0s_Rc%^f`tefL;lGnK_LSOGE-Gebvy1wcih6;C4K1tB`LhoSK?+@y^(BFgZ zG3((jBmMyN=-K!nZPEK1dNuSu&?j2-@rJ$u`XcD(E&6YUUJKoa=b~pV`aDBF1O0pG zr!4w+h8~Rx=Nof${Siy~JZO|p67=Y~cwV&l4>J67p{M_i9)KQzo?!Mb5$>XVtD#Sa z-qozTgZc*ObD*2D3sQuJJe;4|_7Cp~M-x=tCL7!&H-y|b{(RjYh$MfPBxOW=; zBjVFY3V^~-f^Nfe<06axjG^a3UxepFdX5PCKW>B{fZhzxi_crqx5!9eHT0R#9Tt7G zp>Ke`A9_1W{Lx1Iwb0*PR{y+Q^nd6tL;une{%1z`(RfbwEXQ+?S)U+enSbarq2G>n z6wF`mW@JI(=R#k#w&8ho0Qx5A+2-)W?=<4ChED&KeX)7Gj3_kbL>r(duG95%7XQ8TFeBJ#Kx& z&s_oNS8Tu*#pdu$bH-}u?V+zU>*33c_%}db4*eyIzQWLJp?7-&(RJ|=TFr;T1BSi<`g!OL&53KF58ICUfF=BF!~YEQsnGAUp@0DUcV zmnDC8BY(Bf>!81dd0()9ZfHyfqW?pmc@T4AOaIzt^si{VC+cxn*Yhm-8)oD$33~n! zT`np&>gP`*{#@v3pZ-n$pG}yrHf;jn3UpqhOgTmmM87_ zdhcI0adtgl<555y;vF5%4zNz+1RY90dr9}wbsa~H$7*qGLSLkVlc618fu;s@e9r== zT;gcUNJEc2WWH#qp<^$e)##x2s&w$BcCEbBW^lq4U&k3!>7@6DbX*}pyoaRIOSoMT zE@gX+UgBDnV;x^F=LG)2*D4(H{eSAXWUDth)4BfVGp=OZ$he#FFyjfvbBv8+WUy@* zJ2LiU%w!zFSio4pIGu4m<4VSjjJp{RGoD~P$JkiB1i|+V#*U1%lL{S~j3XEe7%Ld3 zGtOsR$+(emH{)T(6O88=8;hF?;%Ds0*po4naRg%lV+G@M#`%mZ88z;#v~|wQ$Lhy&Td&xp*tj0?<>D%SVth($TvBX&7s*Te zzx#g#7T)ev9ob|UfsNDDcx9rs2>hqUDJvhTsqxIpH`3I&VC5Sd6rREf=oz{blJfr(;IPSKg<%~xv!E1aUSALW_vRC(a#rMKV817Cg zJ*xR;3jXqPE8%d|d_jdXUf5q={tLj@m;R-~K3MNAT+^{0e_>in&BpT$b-#Wee0|{@ zYJjJA3Y4#7T+WfWrehikj`-st{EyIxKgoPkVU2Gt%-4n3!&um#3E`VCe?BCftC&~w zr#KG(2Ekvg)p0vi@pfVUd6@}`7t4U9`lo!SLHBP@GZ4xxSVk*j&kPb zhwziYQ~T-GL)tB7`iGrtJTvENqaX6~p zx3N9evx_5Mg7!Z1&oDoMdHM!P>5RHn5QlFP{0J{mA^|Tpq#!Ti$R@>+Zg#pyN7SKKD~{SvfWm{08^36`}K<|i<}knIP8 zr}PZt^zd|7qi>Fso@nuLAM*vIn+`YgU2m7yQ<$&faLPCw@opI=)7gGij?YTq$3h znHS$i!GFi$)NnX7-qCTE!`YZ6uf=yxoQ5GBDz^h{ubxj@arm}uX)nH8;`9nUFi^Zb z21#Cg55?&%9L`Y=r-_ucMCR+5r#k^1X@YO7O%3UHIUMg_qomz737Qjped8Owd!+QN zzh4^i^iZo3;kVSHK9@YQFOJ6q-&UK!@p83m^bMQFx0xZl8Xsndq;nnH&kf<<1yAWY z!s!v;0ueLy11jgGU&wT*{(F?|hu9@Az768^d$wQ4_Nx8-&h~dYqnV;j7y!d8_(@xA^>5}{+30iOFUu6DU=KC{0%Pk2tZsaoGwm|aY zn;=d{gBR_M)2YVu2be#?ylS^q%%2S5r!%k7jSPqCr`62cm{-rI%fZ*ze%3U=|Bi%F zd#Dbn-`5+k-_ij8Q3L!j@Ki5zr^)mWm!N&e{5QJjVI8 zv3>JKl22uR3iH=7uN{*FUNMTJGxN4%^4car>&bi+^U6M5g&)G_Fh7QQnC7(;;b%1v&Qrp^t+tfwF;$btQs$2_znb}%m3`z*f=OlmO=Zt~ z5%W8lAJa(MPh$Q*%07grbq>_7#x$1p2iX26@b#6$8DWq5J;sLIfB#@!`&#moc!0Yk z_-nOIA@i%2jb(d#f+G~~jNy76`1<0dXzJr*U>~MMX>BiXdQ4ECeS)yRe4c-Y;4goU z$O4bmc9%WZjN)+AJX}RvDEP~tFCGSe75dlPJEbMfzv-9(zBP@L$Hb-a{wfCdHL~A7 zPx8-8(3WyIkG&=d@vQ}?uQC6~Tas7dZ({z)1Ck#hL3@|^Yq%qdZ?@1rW4>UTH0;Xu zzcRmo2LPVFXgc$a`$n_QQbyGN9%>38e-ebRAhpDIDy&Gu_2NP?&J+E&hQ*=EV- zvi&jGN8!0Ov>krO;Vk3|SL5vk=6`rr2EfCyb|vmFR6d`Kle}05g3}wB&wfer;@c%o z6Pcg)sN^{~EtUD&MoteYg<%#UII3!a$lX8u9JU;h4K65IFT_CJX2X9=D! zOt6yeE4d;6!P@2q>_24twp?zUJ*^*?+t&wW06K^BUu?gV>qUGUg!VJ@$y^R$so{V*aP~(oTFc$LZbRZIZJ5zku!k`IMx^8WNmVFkg}<`8Dh{S@3*ef@j#iSEVGE zg-Kk^d=-}uKZa@BnE&cO((Vk0wV(Nn?vhaD^EHpdOJ_@7tcAhpVc6e{dLPUE#lzto z=WzCOI}vMFNaOLafWv>4?F+g6bXhHlIObcj{QypXJo6pEWA>oMHMxly37y&gl{@6M znqDm7^!&!*^JBJ_%=Xn&rTs7tZ7B1{L-<1GqkBlhYuUa6Jf$aeJfF<=gE_y~vHcUw zPsx%*BJ+!wKf(=Gtcip6I`g~y(on3`!|8tTtr73uka^lCg1=fj_LogKpm@b`g2Opf zE3fA;f13F$uE!3{_vQY0ag8KaGXE#ruPT&;Sc{3%#?58FyN??}GTXOie$XqD5NlO% zdJFRxiX@-U_Mg|#cYcFsb&-R~mkvx(ij&$Z@$I5H5_7bN#f|s26|0UpQ+&dXk zJ`Zv@POcXlJI!ezoTY5P=Ur*2`q3Kj%9n!>u#4>vb(1U)_u4Wp&jT+@Ufu5wvweUc zthaN&{+{`L3#5Ij1ns|=U%plnFELNQp`!8m@lBFY=?udQ0pe?UeBR0S(ab0DJWY+C zHt;vIjTvgi_;C4mjXoUC`M0FC3MUghjjPALlDv%r8^iWjER=*;bB5D$=0|UoyjW|5 z(@D%n?UuY)1B272m~THx@)IRsp{Ot550n=aV4nz=+vhIyV0#dsJy2qI7JEzaqj9_4 z<+T?Ud-EN|b{Dpf@MGVVD)Do5`bD}cwpY*Iz3Mlz7hqEiyTj*mjK`K0*i=L-@HtA{ zc2{{x$#}S!uEdrpR#V;{$Fl8>*a-)o*f$_IcceWtZ)pEq+OEYOo6s{cjuKVkEk#Cn zvkbBIg(u*_<`)mTU0S)v?sOCv=R2^s2F?TC0JaCg3HBW!D8Ys{*q}#qIzRT)7UAdP#cu2mg3V3LyO)^kQsOj^-(KeP^3Es5 z1~_sn9Nzmyu-H#PlCazV( zOo67PXtccvZC4|AAgX8cl%RP+T#~9V?1y09-9+tq!rS7Q(wz_=C!&x$tN7fMJyVF- zTTI<#pKp2(MX7On-!By@1CZJ6652sxeC=lA=2QFO-}5c zq*cU;oq>XzyU48=&=}=j5@P2E)kNej5`J~bEk?46G;hG6xB{QsZI|0sD2le4FcO;3 zGdWoa!rv_QOtfx4Ve;ygtYMQHmz_2M(Smz{Xz0o=YQo>Z)Y5oY4doFKKAMKIi6 zNpYqG^y*CwoSS<>O1!B^6H?HROQU{2+UHbGTv?65`R0oq;NxB_?V?8incfV%Maq02Gvv*(JG`$uI@+8HOo6H9txV zQ4C5*?x_t*M(9M?i`-Rqm!}ZBN6|HC`(TGZpq02w9(4P>u(#VYbJB)n*fWNv+wHh= z`Mo?mY4-GyL(_%~><@Op&^&ua7Mo_J=YYx`(qB0Z7@XZNZLmE%Gjn)GuH4ehE}~EF zY0q&~(rLUHEHGLlaDS0qY{DY>TvWZEHmZ`BWY7DXP{*$dZ3lADxs0XTk-y03;o->|ADJUSWMef16tta%@_;`zb->_( z{rcMzViRJMji^gek9OV$%OGi(4&AGWGEcQbqiIMfg+xnMd2;73yPI~VF~X$*R>hUk zKWF5yTxxD$v3py6TgIpyQbw>tPZ@4;ssoDs*F>lEme|WnJ)(X>x67%oKvc@8K4gUs zM2^s0Fuq`4CTG!Du`5=vw35str`lmkEAx3u0|h}VbD8pXIVdnnc(D1<5Q5aw4FeMb zyWQdUW2>={=qMnW4;sTAE*FjM%uv}=&p?S;W40C^?O3GBlLDbSR@Zzt6SE^~j<#LIJ3*1^ z9fl`wI>wDcnv9oUmkRSQo7v51$Nqr z5pAFVC0}fJ`+V3Mjbl-pvB@|vd371ZRDZ$nj%=6RkuZLUZQXFcMerCZ$^$NMWhr9K z_xok(P`g*ODi*Q*TRnYR^pg;t8o1zPz4Xh=%*@EqhUH}U&lon`GFxFQznRn|Is-ZwjP>G@)wC3x&^sCBuhv~EJV_!BikDtxsP|HBiNukLKMGs< ztM!=*)%tRnh=X5;s7sAr+t6BX<*(LpD!jy&D*eh%A-!&;wd3kqtshsY-VcVRUnRhW z6VjBwS{JHNtyfp^hvuJNCzF3a{L!J-zbjPh<;lMd{zCof{R)){UdM<-tus}q-dD0L z;!@{?^m@_kuhyd~Ol@Sgrgxt5P)P4t%>HWKszQ}s6^go6_*jU)T6d{%#4E~EqKa3s zPlWiZb+8JrP=<_D*5-p=S5x{`{i*e`3ZH6ew$?P8^-^1mYqP&vSF11(5@E=tM(^v) z{%ZZL!rIo>2vxZ$c0EogiK>06b-H{1k`|%%>RKUvzG-FhSHBNA@Za=*55AOs6~Fqf zbcFpoLo**LUd0{33AJ72Z>$gIj$1>4<51 z@kcSmh49M1TL>>xC4ESu>yRu8k2;S39{zwq_Ze#ID*bBwrv9bUE*$xPS^QyrDc;MP X4;8=SsCn1tf3mBzRO7d@5B2|Fg#yV`