From cb4dc1e79ff89d2855b0d910ffebde1a5c84dc56 Mon Sep 17 00:00:00 2001 From: Arzumify Date: Sun, 22 Sep 2024 15:31:23 +0100 Subject: [PATCH] Added verification of PoWs and made the format actually make sense --- .idea/vcs.xml | 4 +++- library/main.go | 31 ++++++++++++++++++++++++++++++- pow | Bin 2282994 -> 0 bytes 3 files changed, 33 insertions(+), 2 deletions(-) delete mode 100755 pow diff --git a/.idea/vcs.xml b/.idea/vcs.xml index d843f34..94a25f7 100644 --- a/.idea/vcs.xml +++ b/.idea/vcs.xml @@ -1,4 +1,6 @@ - + + + \ No newline at end of file diff --git a/library/main.go b/library/main.go index 47c866b..f8f64d6 100644 --- a/library/main.go +++ b/library/main.go @@ -31,7 +31,36 @@ func PoW(difficulty uint64, resource string) (string, error) { difficultyString.WriteString("0") } if strings.HasPrefix(output, difficultyString.String()) { - return strconv.FormatUint(difficulty, 10) + ":" + strconv.FormatInt(initialTime, 10) + ":" + hex.EncodeToString(nonce[:]) + ":" + output, nil + return strconv.FormatUint(difficulty, 10) + ":" + strconv.FormatInt(initialTime, 10) + ":" + hex.EncodeToString(nonce[:]) + ":" + resource + ":", nil } } } + +func VerifyPoW(pow string) bool { + powSplit := strings.Split(pow, ":") + difficulty, err := strconv.ParseUint(powSplit[0], 10, 64) + if err != nil { + return false + } + timestamp, err := strconv.ParseInt(powSplit[1], 10, 64) + if err != nil { + return false + } + timestampBytes := make([]byte, 8) + binary.LittleEndian.PutUint64(timestampBytes, uint64(timestamp)) + nonce, err := hex.DecodeString(powSplit[2]) + if err != nil { + return false + } + resource := powSplit[3] + output := hex.EncodeToString(argon2.IDKey(nonce, bytes.Join([][]byte{timestampBytes, []byte(resource)}, []byte{}), 1, 64*1024, 4, 32)) + var difficultyString strings.Builder + for range difficulty { + difficultyString.WriteString("0") + } + if strings.HasPrefix(output, difficultyString.String()) { + return true + } else { + return false + } +} diff --git a/pow b/pow deleted file mode 100755 index 51305473c09249f583325a184099e2c05158a0c0..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 2282994 zcmeFadwi6|^*_D|Sy&+PStLM^+oG!muL-v%($ozEoP`YrK?vdnE5_7%LD+>TD8Wr2 z>$FZ;L4f7W)>t~|q|0r2EY=gc zghT(tpEn|uSbpEK$trE%veVS>z;5xZD&RISDEEq&n7p(kysevQD*rrvG_Q@X#Qzs;}ZVNZi&YbIn~5P{-pkEK1KQRgSz~( z$#KqB6{di*Jb#Mv|G2cj%HL<6`iVbM%YPIrAJ3r!hhEa-6it=BcJy_Lz+0gHA|JSD|pMRM{mEZE7`iVbM>mP>{@^Gw{m^_ck`8n~D zI*{BNi{(2+$9OL>YxILN)oZtu3R7M!43<6|95Zt&tiMrO^O7RzIZ z>#TmqzjgU{_8~*UUuyjcN&gN0mjeH#z<(+5Ukdz}0{^AJe<|?4rT}%LsrcvbWmp)E zsG2$X!iiOrZ>lUCal>shZ@KxhvBNK(FmlwL(`OW3H=+Dy-^^RDDjl6SZ_35jm$>h` za>jMH%pXx&@}t5Vt|-l$e9Oh7OMN%qJfX69;hi^>PRYAD|AvV_E3{lG0-p>2S9W7{ zvj~oQ?18=(5iDBHpTb>BvMa)(_V5CS2zC>}>ukcm$$rg7(Xc;51T*@H;MM)isQh{n zXpr0g+|?3(H{~yEtQP(JpA4x!+RJAZL6>V|e*MOTJV-CgKD;5#I|YG${{2IQf5X?p zf6TV<5)sO}_KMRi?au8YR3@UM@N`8l#e)-h_rxT>0*=#g`bXFD(wV`421+fhM3Wb{-J^qb||E zMGXBI?J7Q8U+r5D5~lgOSKpISj&V3r2!|tK2p0o|c zha0MWYtev=E+XVgM|Uh90%j3M_KL#o^Qs;fi7Lxv4dlD**h;?6Qx^4 zST3puF;??&2OrNLNw>&9;-P61mSX}j;v77YN*s{N6Pn}PQ>r?-ALNMYPqqhScDVvF$qcI>d^`66bivRv=KS-_?4a@8c}Q>BI5) zTcVl8{;ky$>ZWCmcegjV10RZpPF;SZ_u%pLkMWWbX2$)SNg zj3FgJ5mlZ(IppkpdB{1i6vXJ_e?L9i#U1!o1Qt8XMZj!)V1=`e%?&*1tj4b=aJ924 zMj=mNnsc@%;Bi)tuc`L}fX!9sbzbfX%yG^YA?ux$J&^xX3`IHF!_M$H=XTJqc8js> zGprH`>~TOgR!?(YUS}7fDG(XE#1RnZ*ropcX(DZd2rhP3dP0|_xeHs}hNo48u6B+W zg*&~2l&m@^jh6{t!%@|!5+XDs9fQfZ*Qcs^Ukp1T{F_gRz!7oeAEM#JrDEte3i_+M ziG?SG;W;6KPwMV3-08~_!4<067@m--6pTmZZ(m|%@%W^AjT(ujh@ck~EIer3`!Dsj z7$h5ZRD|w4;fBaK@-aFMb)OJvn~CRaPw4Wr(!z$)z=l%8)4;}!!TeHq$Y(7r+#bD# z1TJHLupdZr(En9un2-al9?UPj6hbA)1PWJ)!lpQOK{Fp~aRQF@e-eH?0C1*KG6znmmE+@|iy(EzoL^ zzvN2w(kvgrubv0D{GluGZ(iF2Wx{fO!kheydTCNg@~Om^6?j4M(4bvIGXZ?to1FDM zA?uh=dRmItVysx!4!}cRus*{gZ#rm29tdaa-8c5I$f`Wx6B?9xPNrq;KxBfHjuroQ zU#xh3y=+~FvggOk7NacW2MS}Z*%;C^*kjHaN>Pno$nei6#W@iZ=th>ZsZxJerFJLJFF{*jPv2nUHIY$KI4Q%IjZjyF zy83zqg{^Rs%~(;NqR}LmSNcPaNrjxXJupONC5%sKMGk~~obGbIKas}KMiYz(+5|BG z$_Pxd`Lct;UO36_%M`&$IigVHd_M+B`U`ru#OYu^=Sn|zQP`&r_GzvhNxsqgT^uK4 zh|3~d?oGn$h2-X``K3+IFYVx1-Ox?dly)4t;b>P67!}$~ZHrM;2r-?%B|>R08XGW| zw?n_&a(54i&hgMU4oCAv;a+3;p8-gO?nq<(kPpVaAw~>)M}!u&pCnoQM>7^bxwPPh zxxR~hEAn?lo>Ra#5V!{|DH8!Nq;%~LJdhG!qqE4UP+ZCg{LLj%(p zTMi|ti?8>1wh5j;2S3R*1pog;P z){Au2m74L^^EG5083+9=B4lkc)HUA$YS8*%GX+Lg7(dZ&!e8$Y?OVV=#skX%xVkFG z;{6h?(e-vtV<{Pjb?bv71I{{%xLM)}i z>@Ng%({CX2e~JhB3qK%&7u8=@H?3!X(OxeK+l){xG6Kaph({adpH01>;Sgyz&GK#hu7OYhnYYU|cu{Mu?IN&2o~PbgA+y*&a;19xQ1-@e zI6E4iVIsF9zl)Y%9ge_uhK zD;le*gmDiUu>&wPMWC))zwK3d>J&>fRs%=1U4m>M?NQlQ>1?m)Y%lVy(fZ-LeKoX3 z>uxjXFA8tLri-_?Jo?M77I&ZvI_m|bxdW3hIIT}3sOgK{r18d#_Bo#5$g|rpz=9c0 z3}%eoYQVPm+tQ8DI*x~6RyE3q;GjGB<7j=M4RCN`F&+eo8|u?V3p z{-QUU*rb~#2Q$;SkE(9D5lp&DIz-$Ea7?_Jd z!Q|lm>D8!1?tI(?cYiu*k2ISnlyxh*c5)yy9l=ZA%Rvy85wBc!y~3-2YGl^g=o}_G z5bkeg%wtADs;G?RD&rwDqYD|oc~?U$W5&vO#wwL@o0)MoGHx|9&Yjp;lTOYt^VXz4 zju(~v_bR(?3rakuO6aEe+qyu+=`MU@tLnnP@JDyyN(NK9@UjW$!VQ4hzc6{J&kcw-yRe)f;$3(J-jceIW2mDGk8LKTpR)@U{|$)I{r^ojW&%OQ6-nLr z#NXoGc7c{x&nR8y#jw-Hq{#RVt&!%*bwR+p4RMccV#} zgl_!z2Sgy=jZLaVtQ#|o&@kPNhnrM49^j9EBZjv10|wEJKY2@wtWo}wo=UzSFH+sO z3F-c#yWiH`_{F0!k?7qGm(h_W3)+1Jnf@ z1a65f*JjpMKw;8nkrJ(di12DNA4G47O~mq*t9+Bpd@kgB(98!RoZ$pCi(CkuDp|&r zIBi;gsIAv(Gelm=8sx1Ofefdd&{=_ib;Jf>3ZUo&i#)TFJa%KnBN`Gbb#T4tY(Y14_>YF4LrN5q;AH;^+>8$(Ls{xeH|pJ*6ZLP1mDy_yIFoL%l`&(P)7R##$aT5NM{*> z;Bo{zx^zA;PNL7!#ZDV=ub$sk_&1eZvvCbyRPT$_tRO=+;G-9;mjI~Fub$zJ`bB2@ zx>_O+9yv(~K~Wpjzf9w|=p{Q=F4;5yKsg?$&EfP%u^4I1NVOq0Gu22A!ymDnDp=9SVl^iJYW*q)W5L7$qkJmIRt*~ljjgcEX4Ec16Nr&0oN6~}Z^auiB7VTi zsJ&W85Hq9pa+P;#ZcM)~%Qb4p=<<0epJ&uwsIwR7@&!iiKpjz7FtyOAC99$?5i37c z7`3##BCZVO%Z%E8;tlne>+hR+T6g^mnUGJWztx^>D!I4;6{1}T5Pa3qdHtgWY{?ImHmt6<( z4ZBomUYcn50vWMR5y62!;R+{jVlboY#Gt3EO@4*>4~wBkqd|@**e7ZeboQ_BNMtD` zKO*a~7)xfUq&M2^w@b0^O7l+)Z5Bhficn^{fEBVKk}lSdF#p8Ry<+H2k+xT-WQerw zVx3|Bu~1;UX!sIaQ&?uOs68IS?2^$7TP&RnGS!Ms;$uiw7Y*E)1BE6FTKEO8=U6U9 zqoY0XG6XL}@bW!n2}2Z~Flx>u%NFi*2bw*GXQSKSW;5^55(IS%sOP;-WC5wh2d?gFm^YHQSI1E@SO+av|acc?QXxcM?b(@9^Uezrz7M* z$PvY^qRt_V*Y}A0`uj2mUy?b*_(eU)Fdi#_c7?)%o+1cKo`Kb!&zKl2>Dq=K?$(A^ zuTL0F!q_768-(%37O_(b|2~*<%)%2xnQsGm3-+MAldvRjTL^9$9kopidb_rXo&OR$ zzraFV#a_zT#Q?hVYi_d{?+as_$UoxE2Hb7T>i>dpeF`aHDqvGA+-dx#9-D3=R8ri& zv2!9AwL?(^X%p;tTy9S$5##}^C`@%Q)sdRI(@f1{YF=vUbF{$tH@iSe7f6i%HkYyN zXNZm5j!NG?aeH6<55a$h1CQGsZ-4IH@b-7R>(M>!?Y^_#{+svTc-^dD2d09WcY5^o zx7!v*W&;5x2)T@V-$h4M7gg1RfxPo6 zk5nv~3yo9kgWu_-(sg`PkRrG9v4E{#!q&sm;@ye=&+&hx!f4rm|1a>r2~5`3AIgB08}Sd8F5K?@l(`|f2Dd>}4FRWar|lLPSiC=i#Q3|(lnE>e z!v`|&{8s`$La?DI_;J_~up|K_Q2XSdDBR<-iN<;m+yc80I^$#5&?CNBZ*`U)yvi1t zW@e}m#%=W##%%L{ZasU*zPOybOa9{yWBEe>3|1f98tu>d2AvWc@Y{{oclgc*0qml% zao!g&SRv7dPNFnWi8gnmg-o}RjY-?>4isQ7xWyY0p$YbiKeZa({wQ%;LJ9Btg&)q} z>JHdBt~`TVV@ZL%JNGwyX-9?L=b2hvbk3U;Nwq%(bkzh;=<31yHtoN=3YD94zmo6h z?0#?m)4LZ*{aRongZ%Lne!N(E0v{(Q^+Y$v&;>*6L|qE&W2g^Fr|JcouJpFaeI?Eu zPY4G0$TKnGqq~%Tv^cIGVOkWN$8uRNPfcQ+z_5&~qpNe6eM`({1$$vXH*>rc<3 zPz=Xlm;gibG6F9$;6Ik>8;i+*pMt9~3x=hBQwRpbt@@34B4?X^Bf5>%apcf)th-eC zU>#$*!39g)EC$!1h{eHjAWNB)85U2QJ2>HySq^xDTw~mu%k;&oWn-1Y74Mn zTrR?@tpRif+wcp8`7~$Q_jiU19vb(9H>mxTQ5Px*hS|{Ii)>%vu7%wc9irKxyV3${ zm=f4ckC|Y0bK!{vn<6vNPNmJrbADzjGU3R8?`b^RZ?@XL?#8OQ*K?#mdSZ~TyKRnR z1Yft}b&F-)@C$!>Ctr8qb%$l0_eRIh`T8MVTP%T0XL|!klA)e9^~^j}V%+X@1`C+& z0J42%3C_*n%fImQPfJPAWvg%-w_ym+J&ZSz$+x3;YsXuey`q$;j3+K7!SZarzQflo zc%7ZY*AMu*1Fw|>`TBRhwpbK}Dm=z*U-Iz{uvqd6*$-QvP*;r;n<`3-ulFJE?cY`u z8}p9X`TW3+h_4Uef%Iag19_dES%KtiMxqfXmA0wUIj1b$jivjm(ua&CH@E=eJt7bx z0^hN)M&NG>fv<_cd(0gn0y>=t{7oV7btk120)JBobXuAS{7oV7H9KTINdYjsh{QLj z>2^$%^Zu=fu*=TKe-npY#NnF?GnE+Z%C2DANhMYNyK+uZlC|&ZZM-x$ zCZ&z9zdE^OYMsd?StqEBlH|7-k>6+KpRn@J2tLMXi2RHV{)m+y>XgVSB~|4gs0MdZ zl9g*BV@^~owwo1yi8@ZfVsEqNHe|ZJ9ie$gOkyLl9W75St!htTvDDHg!OhYivF<~x z`-FlWV=auYBW(5itoswz-P!m`Ev@PXd!4E@>o&(%`&O*8zopu|qznEhL0eoh6^i1L zS$XV~-_?Wj8F;SQ47{=rfeHwuMhKmH6?z|`Efxx*W`uUA&|ZXEER-<&fd<4FgHZ_!sF*4El`kT|#k8dYlC2GsH=HrG{?OrHZ~-O-X*@xcePh_I69%7V`NrsF9sCzqlY-W6vuT{&_W~D^y`{T4W}JQP&vE1I^9Um6Kd)oX z)hcH{>VtAXJoiH#xtHnO+f?p46Yjw!F}SyP#f9&RN>6FL(DcoYh5hpC=gxhnG5?m|B-$ zuFeQF`1hUgfAVb@szXMYGoc7(II($j8tE6ZzSf88jJ5U8>Me4Xdi#=Ze&s*9@Ol{M z<|Sx_9Xbm8XMrO&O9NIk*aIL3Z5n!--XB|(iG4>o3J{_@JBr0as(c53*ug$Bms^vm z{BdaZDfwf;AhUj$%3(H#BMNjHe>qx_3gj=zKsLnmD?h4@!8l~tEyj#3#zhUjjEeB0 ziN;0szVt;SXbj4ef9^*tJWze}o5b3of0%yrQ@8mn>gBB)9$f$PudlEO;{~W;fKQDBc)dvbvUQ%^<`rjaX8r6uX{L1SSIe~b^}U%>`+2``$2Ktcn)>ifTG zfQ=3K<)Z&f1IAs)ieP=Enam!Uc8Uh5{=X>BKVVQtjYU={Ez<+%AAduJQnZ`o6^u*q z0K)ibxi+z$XsZ8D=kPZtzz4TLk#CYOcMgBi55qT>z0*N|tc>h*>h_7?6_XvO~I{)aQ@pRj%lYF55_`E}UUe-}H(5G3q3FuWc9z1Jkt zHZ94-bIkqm>Z3VE%|;ao+w~6O z85A&#mboGo5c4B{M8{?-HOoIw%3;g$lv;`1j zWy8>>BvT8eG5&i}9Cwz%EH5$;=#Bqb8OB8$Vi}E#-l3ZvfNmYyoCG#Lf12uaSS!65`Sq~Et356`^D8x0l6SY}%uMXf=$be}DFFrl!VdVb zwe?oevEvQV7M#S%ni6oT8tutSA^oe4mnT)!seJ#Rz#l=;lA;d~{>mSQZ!D`uVY3an zQS;Kr18Tsss|Dp5Ao2Ek_rs>wSkB*P)FTt#pK!9`A`D-xIS@L&?BL_ia_;l+kLe__i z;bK^f2I={Ej1_KuyEfs#jI;x6^e@Q+NYAg=bgX~!s;h3az~_R)B?ynYhEKA@(xa@) zsO`;2NL<(E66cUKW3|UQq)z-4?xx80DMeTg4#4n8M`+YyX#TCjXz0t?aQA)!^EfH( zb=D&-Q04QGN3MK0J(f155(US^3&LL)dvx-WM>;Z~@ct}RK*-R%DM$0$o~$FFG8@&@->j@l($dq zn(U(hqUWJsL)PuXK=cbxR=$I=goxl^MC3AJU3_rK2d9}sDpCt&P<4coU$OqhtT_?# z$^*S93>f=H^uzkGQepr6uhH$)bme)y(U(kaKr;LTZbrJ2JMu-Km)gH3=Tr)R(d<=y zv2gRjJI9#^#DHZVxLfpXpboxlS5;gzq;CNpfx zo1))Lvz1U(#)2&-f{s@K!n|CiBcoNhx_*vPYMu0n&yi1^qGEP=AWe5I{Ad7@gz|Ct+u1h^fx9 z7?=sr9fFoCpm`~pv&K>3H@riBDEfd35J14n2L9=!9>^+r0}zZh#O&kc$V?u(;MZuK zQA2xtb-ImuJiMa7KtW_mzkkRPOn^U4l3elBTI1zBa({6=w~*I7yb ziQx;oio$ueg(Cy?aV}A0)ADP5T?(Pl;v8V(jBrt{b|~`Hvp_us2F5c4k1S9ik&mGQ zhAJ6y5fwrBWsJ*Ho$-syQ|gGGmx_!WaVk9gi=EECzJWlik{vOZf}=`4{g-t3=wtn} z5&`g1Ic!y({i*&bi}Ozs|6+Xy-gQ7rQd|+^Uir-O6m&@vR_jn~3r#@&9xaOg4i%b^ z%ar9}I8Ku+=phQPvbl^$8qqP>E}?pkT7-X19>u5eKpB2qHSI?2WeAXDv*A>R&hvtH zrg*}p&nuP;rq08p_ll(&3S3|~LaY1?%>#?i141uK)e&BhKUf8t!{1(d{sVG^tV5rR z`MIzEj^Z6%B)1<|Nd+$<$wpK-f6A3+dY;^VOr zZ;g$a&AAbr0J@SVDy!G@R}gD{MT&&{ns{SDJijJhdd(K!tr%a=KSAkngJNY!Fzc`I zu6iH5>R@NsWDo3Zom8QNTBDOZfVEr0f-^)Rq}V*@z+7&DD}Yn32o&3*aP?48SeU{0 zc~uv7B4k2fYz~-|>sR&c;8gObvFue~Z*o$eUJ$}LxEgJ-K;~oH&+u0xNA+EOY{qhR z%!qs|j(l1XHmb)WMXY-q(uv*&qOjRmelenA<#8_R{vphw#wFc7>8(Z5IbhweS-j=I5ty0dFM61HE5fMfC^}Sm=+4Y_2WFw3DL|B*6W|)TNl!#* zfBv1y^7&=vY4G1aV&yQ}+X7xyr*ftpR}t6ug4%Ho@RQ>Z5mp>S%GzabPtt7RG!+oD zS7Vf1jH7VsT!eoU{L#P$y8o|)iGvy8E5gfB=R+>lYxy!VDaF9xTglI*GHXHQ-#ZDyJ+0 zVm4*B3oUEX)-3Z%=KV0bPy+PApP{jl_>AE3Uz)u3(Mc!Sd@0HI_?*VHfCvQaJLZyfzWU7_DZkyRkY< z82IxSU8o9Xq7Iv!hr*?Bga;EApd!^brNJrXrC6bkf!?OFI^{b$n8*)m6*O%kh;ejM@2gV|;xI9|uFKT>LF$Zd~%Ug7D6a#Kk*fJDHCG@j5nFGbj zSkxT~Hvr3USodkkGTfzL^%UXwGenzft%0<+c)Uil>`sn&5D{}JWJBDEM-<-6RvWcT z@r3+SsGKf>_o-N(AG?t>gU6%F2XL0n_tx_VR?|`bqMoV%+>Ku*)nuv4JpwcS#V8RY zB!&gd5zi8bG62p!nWorNHIIaPubZc~#u~yl$ z3(mDME1H1$y=IG1L-&xF?Sf(=I1`ghajx;&lpL5HKNMYHA_R+7$p=4YUDG(T&dU?+ zaOT1fbVqu4jm;x?(VlMdwmkEiB&aw`-i!?9nOH1sINSp}6<`rs>@0f|gT^Ai!XpV6 zu(tnB2svDEw2IPq$^XS#U zEo8k-=l>D&Z$SP80S%I4jj-71kUyJ{D5*&+=u$|C%#l^3JWG5#Os z_(xqO&a!Y6asaJPk8vp=CiK#}&p`LE_kwIln?@sXW0cu-R{b;!(hP z!}q3WEG}SIMqkA}2B+ID5uC#@QvE}$l6%UBNUjGOPqGqAGj;$u`oiL$Bt6evZMH8 z&maQ7UKj&5BB=Botr664cF@fYUX?>1(+Nt#VtyC^RnA|O@gT>v8j23+8DIv`eM%1G z`xxxAD*0Wk2Q`w)**^{i9x6IUjqJ7Qs7QlKZdjzzBo|K|me5Q>$ZeVjiAfukda)UV4+7 zn9EqP*?%}K+C!7}F!U!^&0(XKyXTP=+}{nT(<6z!qK=24S7@RMp>1Y|oCR?HqELwK zz*QDk<;Wc%p*t`DGnpndDU0<%KD#YPj=cI51O^wMMBp=Oy7-Io2^;jSBz@UG?8V?K zq%Rv9Dbw^VQ~GX&dbtYpZ6SUCbH7R7`F8n)Dmp?fO@enoIL`-t=YhWSLEmvEeP`k@ zUx&K8S``OiIKQUU?;i(0H87CXe$E2GFc}{89$wX|aOA;lfzKJZsu@l>V{4=p@2n5OKK-c?SCv z0?&wG9pMs|J^BR1jJRfFtmc+!glK*B=W3?^ReKivi@vln>M0#{7o+|YiB0D6*`JsK zL5<%CPycs_gOfr(I6t&x#^;A-G^MloVL|MCnGNeNteDSJhI`Brr;{*XkS6))%iN<- z^CD*ty@zC@t|h<#3GYglA3#M)mRE$Mzdi}&qzF^0<>+NJ?U%NZTpL^t;29J7qLO?_nj;WO?)_(p?qkOFCZ0~oe{dqtOW40pY9WXBApB*WZ17eXD*C77~XW!qkqW)nDJB26Hz zNp8TUdM2jHS_PDKtyMrjiM7!;#cV~4s<945Yx>4Al_68SWoofn2LGHxunK<9YV|z! z4J|^t4N-^uliHEhuWHUoUa2N7L^;uw)udznznoCIaTQw?y+nQi5HKovf@)F4=?a=E z*0`Lxu);+q1hB>xSO8AK68AnzT?8SiR0$EV>jkb0ax=cn!ufAj1LHZI0ptekU*e>E z$5K^@QjBSrzi5WaHB66>0YC-WxcKCPSg%*7V7)pO>(w$Wxu;^iN()vo(p(~XiNC0y zDi3pmfd9>UU5#F_YHLPm5LLmN(Xn84xmcFc1jnhW92W2Co&YQmSii|xFK~Qo5AQmY^~7 zKfw-D^T#X&9#Q3(`e2>w=&tyZwgBc}rDz+gug1DrONEg25nO7ZSAwq{Ky}Kx1YwK) zkCy?Q)+LNz)4o)rD%SR;VW<&3O0F_Fs5ARg(u6x+6{mfvOg?)hi_^XYtAn;L=?VA$ zZeMa?I_|J9Vd)oWioAz;4QpyFGS!;8oRjBlHj-;<)4Ydeb-7+v`;bkMC^o*yOMnBd zhznoo`%$76t=7DehNGA{)%@7$`gUw7SVgaIUmN`c>)YRBx-sV;7b^v}i@EQCJ9^ZV ziGxp=1Z#K?rdsH3K1AJ<`FQgVSFx25-mFio%P>b_ujw^cj@x*lS#*I_7{l^>rKV}Q zh+Tm$+O!PnbvNj#*WIX$8y{-jy_7g$!pkMqAo*~fhpHJ~x&Jvbb(-{Va(&;jd+Mk} z4q-JQCafZQ+1&?Idraj>`u#!uY7y*FT4j-Qfm5gYRldnPw$0V`XcUgT)@f0fzhhZ1 z%ucvu>eY!RgKL)TU~l;ZpiYTg=pXTcBFmB? zZDK=J`RmQ{;KX__?xLCnaX?K9@`ZEu;F!6dTF~+T{ICvKq^|*H64!fivNq68SaLt zE?_w&0;0B}eRzWoT3vLH5?oeVw{gcoo%OrBbCOSFvwg<01p8DOQGuXQ`!ovdCf>#JZN(x^8gR$GH%;FwM3Ru>)#wU+8cd>-g5236okasy96Sz+oXA3qw zM_CTFed@g7iTsv2P*UwvCg%VEhbO3-7ab@Mz~qsFGgEt4eLPDdxd%h^*@BF)Yv7rbRee^OnHb*v!(2Mg|dWL@J31!+#L+%`` zB0{gL(yG>*xOfVXT-H%Q6@YlV>3i7F19y zSAlvz2?B}s4W7{1*$g2TyAso!AR%u2g#@wZw?HI;L91f;d*BRJUc8RR|59rI&GM@E z*^m{^$5nOrs&T;}+%AJ*jttg#10l{ujhXQp@4ZjgDB?9@0_>=9ZeoohsYdx;QjKc# zvBssF*l!#g&7Qy~G7Ym8e%Gl!_m+WY0!?ex%ei=g)P_h4%i|ZB!zFUCvzsoIe7(mU zC2A%sfWU{|^Qd`0+oG|k`G%|&a11ABIGA`T66J599cwPF-LeFhwGyWzYFac48=w|Cr*du0@nxcSep*_oF{Qhq=hS9Br5&31sbt>LtQZD%IJld1pgERAM+o<^iADA zI2ku8ej^GWst4M>h4hSbiNYT9XNkgzws}`7w*{*G%aCl=PrV&wff}bkgmM{zyutNH zLtL;wUT~7EiOrS3C=aaZPR$1t&#wG?u z2DoZZ;2rtJLY#e2^B*n=$TS{YuW&!!(|0AU_v_}|_*36aL-{6X+RkmA3 z_`LhQoo7BHb8ztDFp5{7%PkKPChoaVdkBnbT#UZY3&vOvDff|1_QaTqFT z#PA>Kq|pUf^~J!edPk2MQg)#ir1F5I-xfC=rDK`w_>7A9U!q$0hJ{a zz#uTOeZX-ZZeKbFqsAQa;OmFV!4iCR2OijioKQ%9!yl!70C@}~wQHa}SK?Yf#yT`k z?)t<=y&RUCI^sjt8{sZ1!{=&IY{$wy58^O0@X&0a03{98FJ<-ky^nRvT0bQw47r=D zU&lKI13D^uC+&3r_bWq&^#Pi$p z56eCaI9Vy-W&P71AYn^r76y(e1jnDZeduw$qRNYA$!=-~7lvuBr~)|HfsDB{BmIi` zaD=ogGAO4cwd+oEJPboLIba(CsH|1=Ej;3z7+j_(00wXcx-_a6)!aZcNb#6Sk{4C> z#-;q>-{z&HNg9c!%-YJH4Ke!CpCL4}ktEOA4Rf_#pDqH?BfCzueA4TSTTI%4W?rYw z9ehBe3i0U%;^=yR5!5rZ%y0+Qwv@DvX9Ka{K&QpVrOeMic_AK*w1>e(3ORf~U?BQ_ z#o6e4rK8E80i)=0voCf3)uNb*Lmtjf@4^}hF6iBqrfnx+_6;T;bBeJe5#U1Bd(0%v zgNRW=+T=rYB_W^*)4;jG^!8?!Nz+i-T`Eq`H*&@km?QPn!+K=nIhs*1z9X{|CgW4^ z-vXD3J1UxJt1h(oh7k)a&oKYBJPp_ZETh4NHd%`Co2+@OWtjXM$P<0#6!48@-*(Uk zN<3B{xcfET*B9#(Wp8RyWKi4sDs9xiy!r;|4R+D~KK9g%2VnO`$H4nMc!?-{=k9V` zWt=et^HXtkTaniaf1{}2@&fEmQ<@s{FrnlsBQO+{Hu=aJnoQKHoH@X;Wn7v&)PlAc z?z9-KBH9Iz_z{U35gLaB5-!XV4fD8j_kzLw{ckx&;}g4b}Q<&>J(!iVaprC+rv zg4L+2{Wz&$ZG75#^S}LWPEP&9(P>NSkW0gUzl{xbgbJG5a_8GNYmNIKOvsN=JmK2Yx-zEFd@>`s(0(bbg z%7KC{zZHX`#<>dVq!2W2=Zl;OO#K|3UB;IenT8jjy27c(Aqv$aGD8>gRqH})_=+u> zX7yX+RGfsY`|wWRB)}hiugO?6?kaKE%bAc&8 zA#N}sE6=!u)5en?gI}7;FjzjHtd5A!OG?CGu*tF(CWMfml`T!aLiANekuNJQRtu=x{31P2+aL z&$)xj_KvT+x}aTM^5qF#l@>0=fy!m)0V5CS!Aq;g;^y1aX}qcd>R9j`!~LOjPz0HM zBy)v3RF;O%wakYcZPPwWG5qGXcgOc-fL|(JwB_jwvEb`;O3XHwT+)7_JFv-pry{xYD#1uh<#>KHNSy0o)$^^#3Pr_|nHm zCPp7AT*j&AWg4UCXiwn7h=BoL+!~MTUU}X&fShr z2}yV015e~uO%}U2_1o{dLw}O9_LF8hhbL&34C<1qGnM-qK;H6!abYt)lPoeVx;nCI83tok98@9RL4{zN26X zjFa@(m<0O%Q@!l*1h&Zi2r5hC7P%Y2H8zECgWRg)*HT>s|E$L=w6vIh%H2*^-C}2d zdG8sC^M=~;#FuTH{UZ_Xd&d6s`sYYYHT8crH?9UkVAZisp2zqrGGIHuA!7A^aw*h< z8~>Gs4@cq{a@GK_F+XBbTZb&>mSBN=`z>wtE0Bxc#(}23_34(#{mc-`I`6nyUo(rG~Q9YF$d{=kbEQSnzqgM$Xh_T(O$|2}!0m zD=X#s@%*2tL(7X;;2_oIP}VlEjB3m4c*kV~U2sPe)=>ye!usUq{ z--udA6Ug%#$bCmmAiQ;67;h?6XUkVmkjmt2=_Z~TD8czDvOt&0j#XWZcif|ZJGM}D zHbRqdwF0Wnk#_(B-c{^X^#~#Ika5)(Sw$2GKQc@My9~f$=bzX$|HNpE!yG7cV}J&t zc)dJ|&XHag|B@mml+}b5#O5bOjz2U02D2ewzF{^*^^aTxD$3C;t+uA{v5Htv(UNE~ z1in9GmJ;%2VrxYK-M7nPXN08W=?RbOMVIF zU`M)i`&VvY`w9PfU3{X(%C`ty3a{qgaxDtbow>KX7@aPAFmJWad#!G@?{bq)dE!`DL|D0tOm@N+yljoWJY&jnAqk~DmF-#9x3+7=> zi(z4r&ytL_jP-AtYa0KRIxEZiCQ6LRC-f}T^5F|CtxO%clH(Q2x+k60fJQ=8$=##5 z8ltx`)MBXoSfU!M-Tm}M>8d9DfE1o+0AssbTfuvf+MCh{H)|MP7z7;XkC||Kau|`phEy(S*MqT5byc1?DH1A`<9xfrkI~`!V_qh{Mm< z@Fyh0KMtzNT>ui9buxSx^rvL_?`k677>B=}5ulGt9)!#ReZIIY3ICOZzku+MbJpl! zP4Z6x?CWci@V`aFx5nYmGT|4F5O{ON?> z!pS9hd;$NK*OKVt(eOWiH-`V1IQ%;_{EB4w0|@^xfJ7FZ3_lP0eKP#7AVSIiariBa z0DbagFAcwIGW_+FxsMV4fCTuM4KX8fhLvX|R}j<{IO7%Eg@}%6SH44j3t3m)Vp2(7 z#R^8T0{xjREr2lpU=BhBxpM95Bnq9UE7j6(epp{A=`d7B14E(RR^cO1PgcL791 z-PCN-U*msOy{-apynqQ>LbjZgR2#-0%E!@fGV7TDc_x=4XE|06M$7rry@pI4%9f0ruu|ZaarLL6*&|tZZRLoUP|So!h%LM$WBd12BXskk@Oj$caOH)=Wq764W+; zz!wmR_NxS7paScTEH;v+!*ALW)aID_Y|f8dADZ){OU*mcTl8)fpykRnuWF16IKSn} zVXQF&H7fj9GBISm<&7Br)DPt6s)*V*f~qNo;j9(B{`QC?djxz~IK$?Op)d+VE{L=y zC8~&Yo(N=UOFuRm?D#@6?Ek-QZ%?-PqcD!>Y+0NwaETDDqB!HY!SGLll?dL;Jrj}T z_=Bb(r!&&8ccU9*-Ni{u4w(b@d!nLE;*m(AMV$60N8J8IXHC-t&b=k}=4|}RU0*05x_T>x0yQvA?O{7ev8JzFozZP8gv1*lE>9= z0u^%Qo~Jq^f!-gcU*`RvQ8I*zvA-u)dSz~$s-RoA1ac><;xC`rzdlwR(nFpSnoXa|(Ku~iQtf*kG-gxS zzGnc!UD&+%9Mz;lpP@+?5h~Et(09qYVl?T7^=K0I2bRxg;lc)E`E>}yvY}O(2IL%6{T7uhuP4gF4uJQeaXTesn{RLW@ zY3_xkvDc!WYKhOXv{${wJ^f2!_YgSMwECs|NW;_^jYp@i+Zf1h^d=+=Ipe zfwc;mSZ~4E@EO!7|8^+=zPJ{q4ivA96{mb_IUnT_xs$(uQw}&Xm;gsHGT=N;I3dER z1RVI9XjhX(S8{wc;3aYsOzHCc9@x)4CvH^N>w}GGrYZjls*9eUmV@2uv)~M*0%wSI z7tgtI!Ns@vAQY!L2lHe0=iCCaz+K6&&ccSq!t1cD%iZvO!$ht$d$=Psyo#N-+WN)t zZGw!7?)4w^iQAhACay{49sC+|a&Jo_bc{VK<3Fe9Ht zPBa_y+ZwAyzRg>CLe_~J5qlW?Jtr*$zwZ+(&SUzh*K${5rS zUb9*t;4hFr*C`MD8!2O1{6llX&y%fsD!Kh;B#{pl|ExzcT6FnIo^VFa6C*|)2e0B9A)CnmSWP~V zx4XrWFL2jrD{)5d5Dq5tQ#+WMTG{A@n@yx!J)sO+X~>1fiQuJfHVXdv$FzN8Atpah z(8@948R3FwNY+y-C>)-k-7}((pKnlq-0zW1(uwKB&obvaG5!NrKf)GbOVT&>B*G!6$P(_8qDSJ&Q-@pP10REH=;Ii)p zU`h>mmbWav3txTODH=Bey>?-g>{8zv^PlK`cXw?1P;{bO{Tq&A$0~RJB_cHWJG9It z`X3fYc8Tr>#m?jYPhrl_enc!iwhFoD|D*^A>3{H#_~}%7AghDsS=XvC^{(Kkt5let3;r=( z!nkHPhy%s7?Y^t1z?F+eoEHEFA!|Br&V>FyCXX&yo2F2tDoI!#?IX`Q)Aa9wLoH5q z*tLhxSi9OCq_~5sshlYqsh5?Bz~v4RSeWZCT1+@zyZjuxmdbx-VU8|4BZuGmF1+04 zolIYEurO83kah7Fu$IB&@B`lP3&6PqjMV8+lBdHj=X?dwkSi2G7}NUdI~DNdFjesp z5e#dRF0ok_ED*sVBG4Od&hRGt5gPnHz-)&PGUSI0kKzGaf-?5tld*!-DE7wETyWY&g zZ!h|A_r-fwx_ZC1flIVzAU_dv96oMyE@foHCtaz5_b_JEeD6e(NbMeH3`A@qgXnil4?8NV_1P6xbfkeu|}_qCJ~wrhwHr< zHW_!nEJAm{4+d)qbJug{0Z5GaKpJ`k=fxJ!g%UvpZs&gZng1Go=AUq&mG-ZvF4uiG zm^F@hBRy4)`46Ot?O!6vY)>PbKpLEQov2;g;9h!^_|-VfG0ocLVR0Yu_52Zy#}oT@2l&wnC%bMcN6`-iUWd-d0Fnd$<&5BXKyza2MwI zK5-Wco390;56(R)@+#i3WfQxei>7rp@m-zi(w^6x+a>FqMDKK1Y|3U=v zcpqso`Be>8>K@S09P%BZpUW_uW&)y&Qk zg~#E&3X%7*dpX38%eL{J=MV+v6Baz4R5O8pROE;}T)wsTlUE{{r^nfWkL^TCxtBCJh5jd(wp}X)M zBgCC1!_O;KH0>Kc1u(eSjtvgPx}{m(q|WQc9LEyco}t^`s17gVx*_;i;&Yq4%>0r# zrJub6eE`A~sP@5`Ql0k#Isu|&Zk%3!op)r#}es1;sp^4|}z0wkff+6zEI zRWT1!Uy$ET61g{;t zeD*jQ1JgF0aqN+nAHM&>SoQ``kI8o^=^^W%C*Z5o+WrTj2PHQ9GH7c!h6i;Fe(`Qw zG$Vft@0F#-gTaK`{x}oY!=3b=vnj|yhk>{_@Rcf1g+m;odS$f=V+$+4J$jj{W&)~_ zNA1X>WiK=ew+kMhjSq5P)Z(f%!T%7kG{w{F{02PtTRV;<#mVbBQ^#tMqK2I zlaWVTH2(CjH2VjYE0LiX+(oOP_g1*N0y-V3L)P=zm~&KPUI2A1KIn#YrPqx?{d9*{ ztxIZ*mnN1Mo<>`Gm~AOg$B_Xv))sivqb)B%&3YuYJ)@7F+#X(vXr7OqY~qgE$r(7G zv=Ox}b&}#e6q1986DgfY;C-W!YXET?t#)3K132N6y`-kx&}P;dU76D7iLa#Jf{yc9 zD4AypX1iMFU;(ML;Y0G98vzgLs&^I1&_Q`}G9HF4DCv@yU9BmH7}YY!6r4Q4W%V!h;D?hqMX6Ym<}WH_jrgQZGB0P3MBdAv0x#d(n-gx&DC{gTp&$?cC$TFd zmtjsYIY^KHPdfS!Dg}h%hM0kv-t70&er<~4&1)b{VV~Gz>oxn5g}iTD(#Cghru*t5XZSbBscKQYafBuYmR8jjf__ z14cLv5nG|4DM(`HK5cT?!OxJRc~}gVK_P-bq~|P*6F8A;4!dT#^rvhz(*jxqDqH*~ zM4w7|)0?^_Ul`R*j0-{4$EOW=fAJc=a|YlP;ZUu?X=DH9SR-%|M^~90q76!&mYFklZG!cpkEHQ;f@#IexN);iAgluGXkSw zPi%r}l{fdn{T{H$0w~6(yRd1#vlK3(4f`@mgIDLEe2Z_NCpg_UIpFDn$Fwf?$n~HT zdGcZumCv3JCip!bdVXEW*T?V(ckqLrBtAJr`Xo;h|4cn2tNG&tbgDVN%hY5*t{|Z` z?E?+kJC0oOYsQAA*g;D@e}bO(shsq)M|W33r`v&LD`zjRPQcrOVxW>%NDvC~4pG>8 z_eI2)BL`oCfF%eZEb=rCED#I2D z8ni>p2M$?NKG3z@99zF-Y)n3=UX6AGyJH=yI6z_Ebr6hz-$_LbnN$;zP!1 zNn!3^QeJFgY$x&})~L?p1-8-?o1-v~U?#Og5JF!{K`xu0+KBbuHdc(Hf--r~yP{6DdPc>8QZ^j9;{Y9hf^=7ZB~6pF{)(YOa>= zEh|;}=1EAmGJT?%o}<&(KcUk1UygKcO3CxgbZpOYeZEqse{==XY2%kY%yfrNUj+Da z^`m%f*O+8og`AnlX~KUpi9clUpNU)%j;!y{HBv~cUNwFH3~(lW9i|A}!2KA0-cZgA z0V0m>-^o_zQ4BWhvx_W6@P;;!dLKxQg`qme4Ha58sZS26yigJ3TE2#?Gamrn1KGk{ zk_@mwA+-OOXxgq7cpTLE3hAkGdc1utD^YvMde?J^#exF+gNV=rLXD4=JpVws8Oc`* zl9Wa&{>wJohU+NUh3Icy&4{sph*`1n(GOCJCeUYR2mh7xh<5NHZkMxuPQ<@MxP3!F z#VLup+=i8ODJ!T1D-BdT+NXJ6yucPthD|!&=Z;1=z za_r?{Nrbiygvrj&Pn@7TloOF?Y@lvN`i&_fF_8~0YWQF~bux@mOy=)Ir{-@7NBHS2 zcpOK4PcBtXPXH<0GXgoH!ir%KHwso@yHxF!CY$!;_2~-!pNj`HBCQcpm zwalaILurQ_xyQ_?Bd_7XAU&AL13RPKS}$#2Ue`&W6=<-Plb{c0tlu1k~` z#C`wnRFj^O0oDx96x*bX5wiU2FMQ**5linm>;RKHxP^!8pN;mnktx%gZ$=7<7C-wQ z>mS7C&7)^p?z)Fig$ZWDm0%J#GBEWlpIZ!S4S3`(7FaaVblkQJ-E@B=K{GMTuu(zTaFym*vvpeug2!8-*1gdR@kTICL+a zPQ!rLYuGZ1uPCRS75usbY0sv2Z6A}JV^5s<+f_=3qVT8YBXsY$_hDV^HGgp|F=m16 zjjFXIQDl`rZ4D<^n-*lYe-%4M87)fO znTEi$vD2lQUjc6vO=1v}0BB$nzCnwz17m9F?+$`5(PsAUp_m_NeN<$cxBlOeBpZ!q zp&NbQqaF36@Eh|B8~6>$`R!#RK^!ELi&&HDtZ-*A8#Rawf^OT9FO{#}%-`KGk7TlX z%V~bxKm!#HZRdBd_9aYwX;SNrcg^~G`j)mCw7Jci#&9z`->LHbI+f%fjp6Yh z#f!5Ft$yKeJ4_o}(c_Tffd11bVfqo`B zux3nQ$|BAlfH{rHOkK37mBPHC2!vzFf91|I)RWc0|4#lIkxC&--wD^F7!E&=I^l4! z;qA{4%1YcBcgS2}{@p;U@Axh_FiG|-|9kr{49Brl<9>E4L?#D_Nb%v{rckt?l%Kt* zlvTyuKxkfX=)db7=7xI?uBY^7o`QVLlJ=LlW~pz3y0Iu8nS5eA z+@=EGEwE2lh=e7BvcB1xT2<5Iwx+yfO_IMZP-Vy3&o*ApXC`R$P%880=X?XbIa#B7 zgst!xDm35QI-h=sPqFGF|MPy4AtSp#W0%JB$Mc?HCjY@L0Q`%s_3{+Jr{c8!bo(?v z2}|`ap*Wa${wUi2=}i_B4^Wq6X}!OX_lrcr?vu79TaWV~+4j#8xN~g9I~sXq`Zob^ zAbg{ic_T%Ru@AzNc%ZrO9>N3kFIVxWU3aDYC3~^I7q!3b+WqYj%t|u}=X@Ne2JN#x zV192hTb_Y->vSxqrg&Z-P7|H846@20h2Ogr!{t^aUA4BU@2GWNtYy5AViJgQNicCl z6-0$Pvs%sts53_>WyKQ$AeQf6kaTIrwq*fZ`a01}f8=Ymr`@#2B;sA_Jj)FM>{P%u zf9FR?4NsW{CrY)OJsJIfb#Q*4ph%h;&8JMVhEQaA5SO;>mBGb!R$v$7rqdmQr?r26 zg;)prH#@}hHfCqbtHa+m4?ql3Rv-7blTGXWt&>f;)-vGJgPRQGmc?)LMOM?mB`WLD z-<8bw{&Dlf{q|Mby-$8*yGi`JGe0g+8O_w{=Onw-(^QXN`NNw5#Nko3(V{h+@Z@jP zM3sepvJ;!B;Z$&+%i{I89rB_I8?Q2S|#t2keyIu z!0N7FD`?t7g4%<5vWB3|IFIGfH0OCu8YBemC9iTH`cl5otI)5y%}m{LHxu(=X8ClM@}KG)S$38A+J}>v5DL7U1MO{5YMFn;`NK;`hW@ zQGXIyO!o)vlEGRv0SnbNJ-4;7qQW3^Ewum}|C2!0R8lCdOVnws1DZVzDgTZomjW?0 z(@ok<@d+gS`sAGNsa|*uX!|KiY?1Y~RjZrM#OUvD?aOpk77NW}{8ZhGB9baSCY6Hl zb(Pz1yPjpqqVwlq8C)0iPrz690Ax#ia3ZhwG-cFg9APCta9qa%Aj*gD1;fi+hpC^W ze?!0W(eGhT%6gP+R?LiyH1(MfhI{kv78!;aMe>#h^59JcZ~ti!pKDXl_g7s)u`}IE zD5|^~wztO1p~1<Q(+ga2C&tDM4RS8(;GkM>7-sb|QVq$9 zdfjYtJx%I)0nZ$);Z2UJzxtUGw&bU`P;xZG&-_lkuQozR^`A;9Q|mwJ)#^WSLA~Fa z9__CO?>BP3;JW6~!R=em#7H`tTd}{!py*})(5ltP8!=cEfWmDw1 zQYn&caJM4kF%{a9C5?Q0ftG$S#`&uA%wDLI zdkx!4EyGs+eTw=$`L{yrsH4j3@FgCs$%GcL-ko-lXsi?aPty&ishHu7e7m;kQoB~f z#td|_vAi5N7)SPQ9sWIHw=P1?PJuc{fiGQAm-0MHB zr3n%;aHL?$-1jJ)EpFTOX+mw~b;}~N&^8~iyhRt;akuF2-Yd4+_lw8fT-}FL?$)5~ zhEgZmZkAb4_z_jxC3&dfPt=*%;Hh}(ll%NoEg@WWoe$gDquHqkcKlw30VMSo|AO@? z?g;;wvrC=xhkr&9b*&O7qJTzKeT;_IFt}h&J-s?0<{-s+;TfYFtJXB1*+{Vi{0oB( zjY=D~gL)dNf#?OQk@r!c5&!Jd>{s;8xLwz*rbes=?!i>&UuY_rq;IG=(I>L3v8sBs ze;yhKFFVMNHJMXTmirf8-M|J+PIXCR zdw50eC9}SaF(1xP!Zho%J1*HQ z_i6$D_&WadwJ_&vD`b>Fe9;O_R$L90+x10qo-5F zSL7Zct=`aNMY1Km&wrcc!7pWw=a{Mz$13L_yJMVQorOEF<~wfgx_-_)@Sj2?;|tKw zeg9PV%+`{aK-CM=4zF%`)+`lGOEk6FKJ=ZlniOGc*QJ*fNsOTH&^pfS|?9UR+32N|M$;hElkcY=sdp0pmiO2WTR(R;+YUFE&%N^ z1+l9*_KIs{c>6ND**EHoIEVmu73v79h$o#e-L|@ORmmkQHJKPH%IPq5J&YB$1@CzgyO)Bfw0#u5n+>K3>%M(pi14@4HApcq~f@ z-^#Tipwu3{lXI)K;hiPPZF*-Exyh|_(+bX^#?c3%sdLK^^q^9lSF9)h(niOBJ!H0? zr(@=9VS^5xZD}^Tpi+o+CXNojdk}ih(CRsFvzL*T{K|jss?UP{BUU<*#Rh1s;I-Cb zdHNT<&YwxI6PI1T^fUjYO`rMCdx0m#g*VH~{=BvJd0|1o+)wI^Q&Xe=+nv*Ms9LoW zYVfi?IM;r#nvV!iII5%js~zRd{F>y^cclrq13S#~Vl#d)NH#UKTgnx~T2of4@i0ua z!ii}Ki*OppU2A-qCPBm68P-Z~Zlw+4>a}|g;`FZ^MAN>C)ciB&+j9b8bRu+mrfroA zM_`JX_9;)lw&>ocK?zyF_@4C-^*%}80Yd_p^1#ra_Jf($XJNEj?{8y^f+5_URmyP; zguhDvDB+P+t)L{GR4!Y*5K$*`Z!jH`Nj}~^SKAcEhfJ%FX3HSF$?RPEqN#uDKF*xw zg&18DM;hPJJ_nY_zkk+yc44g(IX9>q^h^tWY^*z68of;3(d%(qKMtSw8;smxxW