From dc5feab3bc50168b0ef0686d3aa299b292b004a1 Mon Sep 17 00:00:00 2001 From: zkronos73 Date: Mon, 27 Mar 2023 14:51:06 +0200 Subject: [PATCH] add audit report --- .../zkEVM-engagement-1-Spearbit-27-March.pdf | Bin 193012 -> 193048 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/audits/zkEVM-engagement-1-Spearbit-27-March.pdf b/audits/zkEVM-engagement-1-Spearbit-27-March.pdf index b48e2d505d88033004c36296464954687be7aee0..6ab4de7a02d909b00ba6f7f9437d51aba2613eb9 100644 GIT binary patch delta 20458 zcmZ6yV{oRy7Pgx=nAn-vwrv{|n-kkk-q^Nn+nU(6ZJU!bd+)ElI_Lbm*Xpk7?x&s~ z*SdT4;{j~iA#9z!bRv@vRbsj{1yE@MapSIb=Lg_d9-QK`-w~Jv@@4DXSKeH}4~a}D ziQdiK#0!CI+nnAQhbB=OAu;C{Br-T;@q!@7!F|pSZ3zNX0;;121-IU(S}_82+=I27 zqpaJt)VBcgGwXZ?h6&f!GAp@>pnf`4sP3~MQNvMyrp8w z=Pj=mywZwU+sx@li`AEfUYhy@`Nr8sY}&zPr-B!YiaugP#e{I?=lql~|MD%hhiL)i z_b*&k>ah1`AB+ji#iQljgyz2+&YM zly06vs0yZ9zhdbYFCc0rxz(X!-m_4`&x;9Dwx*AvZdx^MU98v3yT$EG;~e%ql~8}r zfm`+k!&Y}HAe`e-&5TM)ZSmWuGemoON1P-D{)ct*6zoKG1$(>y-V8@?C5)pfJ$dnE z=rQy0dFu#9tKAgLI)N+Rm1d$g=|^%K8$u;pjRb~EA?j?+BJfq~u0VaYUt*`TrD1#V zSFRe!sDV&fsdr23o=wM)TEXf=<3uCVEw3B7}MKrSZ&haVQ|cadL6a zjzbWscT+9Lr7|@pBDNFn^$+ifyIqG$<#|7@{KCG>)mhbI0WY!MN<&So*iC1;ZR6Ge z7H8JIH@AyS2#~^%A*Q)1L0faNou236AmiI})g&(FJgNqN;gNp>z<>L(f4!=^v6{VF zU5q+#*<+2Pe}>Y72ubvSuH329L2fa-I0!m7$jbJe)5wpO9E2%k8p1OZn4#0Y(axvo z#d&QYZMX3BYg%nN$#uL^+SG+%_AOmz1nm{!SzuzE4G124YmpA&i7chjw2QkJWd5SS z)8_kH*_rvh6<0Hy7-k=VX^5;n3?+i8_K}I0Yu^+STBl!_B%$9C{}JYVRqknrv9?qKsD)Z3=X~`@7#&m^Mo*H05_GWGB&(WQ@%_AUMX;vVsuO5F zODYsF0#tZ3nk8CDA_C}s%|<_DZ}i2cF~mzIUVPm`CJobaQvG3X6Qt^55;B4iQ%Tc% z?dDB#*-oNA{hP!uwUeu~;;-$YR8OBm1uUs`nIYKI0H>f@1eZbn;~c>|0yk8?mVa{$ zI`0)XpgXL)e8Tcg8vB{>vYs$kJ zbVh(=C=c^l-m}c0AEul{4_0}%#QtMMJStJy z15k7b<*t;CP{7>3oK$c|zzDEzf)c9AAdZZTCJQ}C)!Zq%vOPv^=k0}7<~UyZtCZK@ zxGw))M$)fTkU65W#Q{{aWPfDr*RxB_%+D44Gql%2V-$;1Zd8pNurmyrW+q;47frVr zeD(dL!lbYZ-MhI!Md1WNP>MPLRDW6AK5#`D&P&)R)Vppn0t9N z$Kp-s%P!5BvH0tui4@ffuS?#Sk9bGLdYByDP3XBp(Iha*8I#59KNDArk(&BQcy!? zhyqfwQCnfVBktB-a$N&fjUD3i^H^kTT5~`*srefm2CI8Vz;9fCm0h*B>T84jsVE3Z?Y$HnGG$KVjl9R{sRi2d49=5BeW48gG;@hb1q)P z%-qZ1%c>#A}|9iB1SsAHL#}h&>0$v>p04WL{{Q zHH?X^v6Hi-iJ{GZR3nR0tRR3hF<%fBjG2`y(LtILIHj>+dpL~jvr~)7iMR(M6Y&zc z)1*~>K-d6bu}f~u5B4X{q+(!3nW-10>olFx$39E{B(gyZORe5iEsGHP$De7|Y^Uj2HyR6d

3W7XbJP`W5NzaF703EYalGLcV^wZc=V?zxPWW$gBCjn<8H;cK=HtuTAkba~Wo zsNrs^DpH#{`<9*2aPC{;D%+ap1_%5GmBI(!W{2(2d2tU7H!T`U=F#6X$jCsh>e^fA^Ys!&FxtSQF> zddVY6yq|8xcN0Gyt8XB7b0Ow6Z+P~QgR+K0IT0;UOGVD+E`WNH(e3u)$Wzd_xSncR z7Mfm6y@Bvi{PEJe&Cm)8pS|?U+1VVWyT{%X(X^^DLjojIeEc1Jm!Q8^2Z4s03FPa3 zY2#x=hZxtMH)3!n(fmORl{KpXa6StGHo+kgU*l@PzEi*VP#a)#mFJ#12|yDnK_Ju# ztISCKX=4E-?=-*nB2^jM)XL)-6l!thqgPHhAHb+Jb|ogcND|E`WVs6!Xm9V16E?=h zv^jwEP^b`CJ@6D+(^W^1NK<1bUc>8dh5uZ#tGU3a=v8yVa19~~3J2%r)aHQ#@~#&7 zYWYvbl8iX*M5Xuk!Nqj^7UOr0BDHwKW5_i(;7s`9PlZ|aPp(8zlfbG)`5(qQc z|MsI}IWwTl9YPnS^t*`1h6TwR0og5H-?fuxX4gmV}Nw z3fJoU@kDl&LZ$}EHIgtK8bb5}JYrCPtRImay7xtrr6TOc{+p>2%zO@UPAK01C=yW? ztAV)w+2&Uj_5DTqGoIY6b&33ydA3GgnlIwX z3!gvthntOBklvMh*C+zXe)>?Z=1hX;%+CUxDQ8zk1SV=0Vv%kML;X7l*gyXX5{wZ; z^Z|zI(ro#6_Kr_MVZoQ4BjqnCVrdkNu3StWf4TS)ReoC&lx&i>UrY=!Kw4t-j|KpT zCfi1me0itX$NVylBx3MxM~bfQDhkKDn`UO65N8i|k7=@4|3Vl2Y%ex1HX+7A4C8 zXY41480SOQZdSuG6h6_C$t7FUTz)}?EIFr`-gQMG)fr5JtTOR#qjC+A(g@O8k}Ri$ zU7<_z8h2)xSqf%%)yp_ncf$5_0ds#qgWKX5!q9+EtqfabgTXogSg53fyNSq3m$t;V zs=(gwYeKR%R$fU>)T{PEVVU1K+GkpWdKnk#h|6gI=MIbh;5y+@nj-LkxiS$92b}sa zThNB=V8-7tFacjq%Ev_DJ0L#o4`&FYDIzd|OgmH{QcL;Q2~ zdJaK{HKEnxYn;v)sKcWt?2DbjgXh|;e-%e30Q~fDka~UbgO+$m^cG9RqAv2LPDAH( z_C}&K`tvw{kE28N>jva0M2>0OSJmUe=tpSfFKjGpw2pHsOm$bi;uJs{=blGc)^>0^>eVbs$sxRG9l?84bDV`}e%;HV&Q3{N;w~s~pp66<1|UgK zbkXLw=kgy)QqZ5eNoO#>>s^sLuggAy$yv5hmFLXe}we z=ogRBGGtI!jVANB-Mk?+JI+0`l}g|>?DWub6u~F!(>i;UpNjHI7#jw@bsZ(WN3x^t zNDSgT{QHSreBR3Z`IPJW(U&k^$-bT=X{#gr9YN^9MsCbOgGJg;M;Eb)+B7;F&Ejcc zoE3o)3q3pQ$mTwDuR@3L>~&Ena!cbAAX}9O;LCIo#M~GwmNc$S@1J}wK$Y**^Y3SI zADv77-qP|FjEal%&xfU>WJ}&1ef`-~V{rMTs6Kq-psWFK{Z2QC^hDFbkUGPRQQmmb zo+ahz5b$Ag(?cyElF&PS{4fHI+p&o_TpOTzU(=K359*nh%lvwU0I;{eOW7_3oENt! zz-6}YL0+F9whL<-FYDcp#i`t{fV#=dawJhA;}w|S&PYWEL-;HfAXv?%*A43v*uTrX zu;b3KAu)CH5f-C^27tujS^jqTc)u4FI0P=QN8l`I(j}KPdK-@_TiwoNJyc@>8fHL| zY_j2sHeKGb;d+N9`D{kG(mnw`muUpW8~g)X15!J^jG-8uXpO&)%_7Ou_!(B@&l=z& zWMIpH!rO(TR8$)SY2;w}(>0h= z&0jEZIDklELna>rI}C%YiLIHlIUzGA3&($XXGz;8c7q+|@3lS=q5e8z3Fp9z$S*=0 zh80jQLUYf)t)D_f8;<+KEpSqusfQ~&EDe{#nOixQ)f`@Zo>XHbjv=`G4{%aA(&^K1 z7g1eeQm>-koK9LfnUgr7%*KC8uRA5l2W*`2Td8D-O`TJ!vN1(8Biy&_#j(GmnA)I- zffg*pO-8gizbFovnGvqAa^oY-H-n-IM$^*jQ{Lsq)4FppD_L6P^-80<{p(z?M$DO6 z$DrRaFC3765iBkR0nrhg1Lt1@+1&{-+%1o)Mazc$J;qvXXlk zF;{|Vi6^JyAessP&rWzg+p^coRV~jVWttXbxwLQae(Uxa;RJerr{9N=i%hM z5iUVYd!sqct?`GqE1C&GvM@1n)jfiqBgl(zdSW>^OAO9JKDKdCDpGioz{Vfh0C~e_ z*Dbq}M6pIC67)oz<{Z<~1~o5-Y0_!M;WDJq`AN1y^(1NK6S~|Hu@#79^gZaO1vtwc{#yf6{?IUmtV;%(O{1S>xo+0T7KtUKAEn8d zraSPDKZN|cpbzelu5l03rse(P8R_@iK+WX6*@n%M{JmYJr{Z$2`K0t0_czfu(>DT# z`S}y+cX?Lp8pAYIY|gzrO>_@A!ng&Nw~`)DSa(N8a~U(Re!XWRm(ORN4Hzeo*;;9t z**pGyw-9^(c5btAozZ*vmZ|#jY*})=M80yPuXcfGS8;`C(oH4c`!&UZ`k9?iV%m1k zxR|I4_p&=G{X2=5=cg=ovGH0D-Nn6SVynpl`^kklD^1j)qQvA6lN+g#r5ep@A{9Nm zl14`!U?{0`IU6_aA<)<;4yo-NKRh0iDBsJ7wL zZfQm}1(@rzl$5}a0s zfpV1KB~YTeSFA#2O<`H3{Czr6IR8m>5XpSmM3bDul$V)OjIsHlf- zH!k%T@0_O9hU9>*Hj;;RNtKV`2>FKKt6Qfk!mjc~^F%O*RFqL?-$e01w+Z*zG5dzi zeCe?xO;4yX^>nqb2Ppe7f8JA64GLP&@5GIQkWlOwz~5Z0 zbZxecK`%xw3_TP?b~_6JwL>S5syhY;Rf$Mtwt%df1ZWGfblu?ruHa zHu1T~gzjLanhu%yR#207h;XDXnVz4u=hn; zVBFp^#{O4<#Jneb%t!r3gGQCO_k1LjQV59lGOpC~1b!!=TE-e2N|5-AP@~1&HgZU# zDI!-Rsl#r~2msSH*U?7Yv)H)-sW@8`=HmCJ0$h!N5w3If+ zgJVa{wygRTTD5%Ueus{%`o>w8`M5>1sM4M3QjH2%I|CogrH(146amf)1$5v~Hs+u3Y_G2C#cFZE5N0Tm<8pC2(9#Y;L`;h(P@GWS6 zMdh(4t7XQoTaHdPjGL2Pa)lbKqvu(xfO_m{Ms6p86ji5*qBlRpxDAzZ?W>$L6`gbI z3(TiY#OlpB>SrKHc4Y9)sVE<$z!OY}?A{9E@<(R4G#TWh?&kesY|XZauRkJdp{7pQ zH8N$PWcakvxzU{P3Xg*|wRj@=HI0~A5^vNlyj#}MpCE%LC>TIvL)}18UH07EffN`j zQHXKPnf74J1$YQp6b)at@!|<-`-GaP$c1!>31ozIt*q8&7Ne6hxfAI@oG?E~PdWi$ z4aGomxFY-?N{C?P`sn9!@rke>4GK9*xva(f7ScZRNzYP=xSE(?Bwx;t_+Us#Z2)p` zY#iSGcd=As_nfqWO*H&?TQ%AfAcU=Sp@q=c&(UVEP!wOM@y?WsbAbge@sgV5P`}gt z$6%QQjIy-~^Qt<)9rNl8;t0)(YJFPEP3eYk+v3wHdL9m!;({+%t>^tdY1`MD9Ge-E`{o>N zsU}1w{&p1)AMA6qSt!{U=dINSUc9jRWte1CY(K9RV8?S3nx=7P-4nH%C|oyo zTzsU?VQ?BcUJ>~qB`RS7SPxhGQ(A0vIDjuu0DmvP)kXD)V4Th9qGna-`?`0XF6DrV z0kh`v8*gRgmyRo!h_dgv%hB%XuNp7vj}h&b)^TPkt_1I$20!BBFGf6L{#iPU7n=sh z4iXEmp3BtjhUUk$lZG{y?y&ON;BKJ zJ*M|bZNDfM3_Urki-t`w>`lkPE=aP6tPZhaN>qIW1h>*qS#LB*M;ikqERaN6PE2mw z1Wv($)#5{;P7z%R0+PWdjoQ+QbHwQ@1pe4#I9gc#$gt2`6|>;=v~P((4f%8up_Vyn zuJSR(Ea(?0`Sw*vpr$&4!z8_ok|KiFZ)W>eax;|#0xv(4A2O+Y6>I^A+C>pUu8D}A zh2Mp=%et~RnWZxQ-8LagbrFZ5yr7~WmUr2ty$8sY9lr&T0y*byl`%^jAOlDs=>#-MKN(oOdb<;eO3?u9|M3bNrApDD|7ROEI@F270+|1s zo#-5d`9Bj1hofK<^90cvMdtls09^kaUfraJP6gEkMQOx57KQ9~>9@4~`!@j_z#`QO5NgY7s(26hUt4B7uL9OGH=wB;}I4zqmWGLnhVEG|>(k5)dc8ZV;!vDwhDTy~iZFW;V)%pzpM zs@DTIZo>Z?w0K}-nq~%nCNV;M+bnsG2*^_y#<>r=#r^dm4aybWqzK~3#?)t?RpVYa+^H)oCVq7Q?`e~FS<(WGvrEQ!*B$8n|#%y-|s zUMLe3-`_#=L=h2ED&ZbcT%(CqD8N6woLI?OWhmVg47CZtY#xtr@k%Lcl5mkIYfM9$ z&ePB(L|`b+8QrqN=qv-^NQ+5?~g`&1?t{%aHsMeA-j%dn*$$@8Ks=L&N{d1^M%i~ca+dyv<*7keS zj3fr$)!PCX={iz7#u~OS76$4^X6)f+{E)NiF1fEZVs=hmuh-kES4F;m<=mpO>gR+0 zcZis|q6TRtbcdE69Xi8w&&TzQxk!taGjO9R&GyQmtk9gqD)fjsV!1ISc$>Mrui1g?}y%uDaWRP&zRo;PFl&9PvGB( zon_sxs;!EXir1@=k&4%DpH5YRkoT{xilNB+0zMkwzPc;NPJhTt2`-wPmdtBQ-PX)) zs^?f=n@o>4pBFVg4ryMnWsepHM%nh^)^Uj5La!zr*VA*4o7!LuCg5|Ai>bMV`PJ-o zQTrdQof*wLpH|y-7l9HF#ZR42rB6Q`+C+?g6ZkvFkZ_GxqGf#gosKeSSbpQ$#ydhU zS5=!ilRM)cZ(Ux`*E)hccNM#ntp<0s&x13D`;V#0E7#^XZAG2Q*4i3sUANR=j}Pru zcegn@pzTWP)yMwV1@L+5=ndPhLQMUqUDWfsrLs=SgGs$s>#Hf7ev=%N9V5lV70=gS zm-cpVgE#F_*DUvx=$P3%J${e~^c(x!Ls;i7@7susp~RuQ#I(9GZb5m$R9B*G$)2An zx`x#}Id?Gw_;R^bSOdR}cj;?(pTs*8I(t5T?f8uKTy zcbSBJhFy#j4l_(cr)7$rcC5mpEop(A2S?N7_5r)q1c2j zRI%s4y9#ABk?7`4fZXJ69ld(}_Xo~wUt%5G>P#J5T4DVXqQI3--(_n@`4&JW;2X~NtMQV(MbvEFpRCJ zcAzv7$vu&JyHR6JJKLEzHV!JDUokO_u4MrMaKE1hkF}CXFx)~CwVU}aY^}5$Y(hoC=XEkqMVG)3HfMYp1QGGgO?5!iapIwH}*`?wR)X zEd*BnrZ#b&AoO9YabGmL<$xAjonHL-rg{rpIztZRD@v^igb!qnm}Sk&gMo0A86XE} z5>$ikFNXkgGT)r47;oz)ln_c%xUq9i;~)ER&|xB`gz_?KjYNaz_DCLXQ2p$E#D}LK z>w7%67^u5gd-*YMsN2f3nh1P1VQ%}{tITBCNaiTsy8Xm)haJ&-P4z=TywE!JYy@j9 zwyRwlAVlpY2 z9B~_WmDxQtB&#FxBeTZ>vrQ2u&jnx>z5V zux}QZ@L3;+0!b+amQ)0go(CbbkfblQ7&AEuXh|C*G&@pqKp}0f0DX*m1y)L#LL>sB zxuN_d8lE704vbuHN~%}`&urL}pH6Q;8(C|ZxD<(>u&7jrrnk$FtC9eJG8;OdrlaNc6qf<1iZ@{Ak8APbNPXz zbU{9ppODR}XQ{OJG5^i`sO@?pB3`7;@1EdztleiUdHkWI#hCz3#%V+4BNkKiLf{KJ z9lzV4V((d6e5x^hUF^H^yI%WaNp2`95XNi|CUFrD(#G+I*g0<9IwC{vQwvm1Jcz8h z!QL&SsBRsn+`s)h1K8!zWl+sCl4}o!y<+~dDw%=!^8~*jIeIw1Ux0>n{4E=1 zzV!U!{ALlJN11^a)<+qUUJ;9i(tLsOR@Eq)r`}~F9Ml8oNT4c3uJ+Y*z&lxTiS;4v zCJcxXLwnL0^PNx1XG6F58iC(cP_B}~LGveuWSmXHC1^1cgoBR#kGuXeg#?{5xQ+2T z#6L@HEsr(yct@ISm3xH3Hs)%|OK6pE1(=V~GNZWDxkbwTc@1pl<)lYpCja$AW{Xp^a0^mhSjP0 zwhdG9=OtBvm0><~-ytfd>LV&1Ge>P&5P`{p4g`3AAv5Ns&HleP{&q%|Fl?+${{?cI z&l6YxXDccc;0XX=Z-s^d1V94V5&;6Jt+~hmYXB$*<9`D}R6r6OfTgvW03ZaG>emkX zvlW&EAoH&RNcC?AMQgR91&Ba{GBN%y8e{|f`d1PBH%R?A522Mq2*3afVEx~)mn?t= z8jOvZD;|kF^;-{s0LuQqzJn_*ZMzL|bl;U)%sd7 zW|PVkQU9a`(q7+Q7E+Tj2P4g-23^8BF$6BNkR2|k8WAnzGy^qJ@@!Kzn3C#0n#@+X z(-Ch-4$HKj=Nz)q7jt#8meKL^Ocr=-yovm;{>lDh<`(wG(%8;aQ^2HUn4q>ozK$f5 zamsl7il_n94sl_8hjJ2R= zcRkkq7%JHo5E!f3Wg+{T)|pAn+gv9l5hul23hC08bFliYTnvVB;5Z_%GBiCW=~=e` zIsnZ1MB{nh#amLA4j|HLX*@S5i`1NfrxnvCwX>$=ATkplLz`f0Ix4AZWxDcU-TS)JFD}euR`r2q54UBXS4a+{`ZR$P{og3mXJ~U9DG$dC3T_Ex=SOUSqKK5mT*jsba zQB6ZbZ*XwfO(7_rU$dozlI*_%2#L`NU{Q-o(n+uZGSNfuFfc}7Y<^-wmO?TpGJ=8N zKN(~176mZ`;c3M~n#SXP{Q3ok>Zw&pseu-k8w~?rXH{qz|F|ej8?O@kNSmOi!H6Y= zXANhr!DSC>Nev{W?H7_%!bGGJ`BQ{O=nz0F41iHXqDu%0R4JbKJ07h`Dy)B%`U%&} zsP-GbDFNAn&HdIO?(5!AukO;GodzTD(oi$|=MoNJ1I@0HVr}7)LdPJYHSki5NvDoO z%e`hy8ZFg8LShC?GkO{K9kd};y%bh99WT}_b!{&Y@(c)A+p}k)H(Q&yT#77x{P_FN z&06`MY!%Er9iZAjHyFa%bwxk*7PGdc88*T<6K*dAq~nkN)I` zW#yfC$j7$;X2?C<(bAj@+*g&ojZAdq__|pyKGP1M^x+sqy6OCZr^4dYEQ7)Cn&7+3 zN|6r7Z`-473w6@oca5MxeE(^WGbgf*tw)hyD+P=Z1Z;-D!mJ28{k%lz{so3U4fLw} z@mwjZ5g_J%0=P58Ft}+sF~&3->NHZCZWPm$KPL-?gb!`J&vVy@d&_m+^H)e@)|IpN0nYEmVXR#5DY>Jj3RnMFyRyagnyCiQC z7ZTaS=O{=HP!4E=rkhs?ik_0p55O+}A_q31(2E4&*vF2q1@O7|HIT>+W!Z@16~D{0 zVyGk&DHgy+jmuX!zBc&j)n6XYAy4>HZ8NNHxNPx`%|r@4qmnb2Mq-mG2Z+FErm8R1 zl_|$3+ww6?55EoE^T|+OmWf8gaC;=EV@Bq;IGa=&c1D% zWfi;ke}#xeJWFl_$;qSrgm9z3)CEp#L&rD=PTM9mb7E83#fS2+`A|#8U%?jJaT8d2*+*`8u@+zEI>#V4YWpiP9kv>p?`6-z@ z3N@t;lGrR_O$06hS*pgxuf>eDxa1+Y=9kOt!wVENUj%A-^mzHbA3vFLbAV6VmcQil z`W>6fL)XDf@={fNZ~O-u9igW0E#^2g&&X^SHMzaJyg%Q$Vjz3{*6uEOc|1I`_^8Me z?{`-kGP3Y^eRCB~5(|Ee?BIF1kxa1~J+L}OKgX~>pld~U49T=&*`QclCP$h`7zk(1 z>QVk_x)?>XNyvN#T}C8WVgLeRa}Vu?w`hRc$)P*eay3Ww!>2GjJY#azA3+>eEmLwf znVIYC9L+YimK&Q3<$7GDO;ZTbBH>6qS?>wjN`b2(KF z6!!dFcR_1*{$nrN92ng0gL90oMa%J7vJs_5i9aAt0L7qVE87m&#EHO{>-YroXis8Y8ZSrtelvA4K zF%Y4)L)o{DV- zAOOblh!9`@>KLsVWn{G3(VcB2`HG0j6L3Hkvb}f;I6rz?#_B%4B42^Qyz=2Y!ijz4 z>%!}b7e?Ypn0QXJ)geH^JGb4?;hryi#uVPI=Sz^KWm?0>fssKaOjX`ul3T{jEPV?T z&Ehhb%wuSoeWtuSyQmhW0-HjC=Nlm$o(HBXi0({^?65+tf^@f{iVE+j&O!=zttA&B z`lI|hu!xhqWd!U}WfD^2{x-)i=4wCmD^xcfJ2Z=l%L;kJ%Bm)I---Ed9kGQU!)8^o z7d__~7Dg@`$aMaaQ`w1mQKZb~pLRaO5H8Y*rE0U3+liTv?eT~I5yMtw#l29A;{;r> zlZxd^5!g(9Ov%O<7m!9cO|3ze=KV42f}NJtZU1f-rWM$)9v zr#KX89YU6=6NQMoH!&|Mg+hL8=FuGb`!RQSPM%ye**tR{w1t&N#W%u_YCPj6$uT`M z)<>!?+i065obY2?Mykf-@RkSZeHP%NLT<1d!fxisM(+q1ywCVrR_0MbFAzaU3#A^^ z&|{z(HkaPE#^_zsv2@~QT>C!esK>LwS!4Qlm*zs^zaGnCiY?wsPhkxb=`?x1o-*<@ zlBd1DEtd0pdixrRp`@+JP827qPv@tJc+Ear3}a>{I{ls01X_u4+Y_`VYZYS=MqA2q zDeq(T02~xJkQ|O^G!+k`={!QaU#pqrh(3}uAnrRlgRcm->X#XM?QUB}t0z2|K z5;r16z-B+@752FC^GH?ouZvA%C|j01G-*YY`M7HL4vHsukJ_kS-5k`VZBk zwzjkbWD5Z-|3iEXUC;nV0Na0ppRKjgpmQ_;j@Ey{1~!26Kc+t?*Z=LpVP#}u`EM7_ zkk*FdCOeAHiu$eMHX6oYbZSL)b;1>=1MP;CG0$4jeP6miYm_@yBJSGw%8i9y2zaQ7 zc1-KDm`H%&!S3UktzXg%*oc$&9+$BBCyYcezi;vYUoQSDf;w_@P|R)7%_*g0(4&Zs zy#zR*SyBRq!QMOeKv=>Io4lwtxo`kD8xM%J&&R`}{=6$L|e#3lzmg9Ypv zxq!zsgZ ze=JHAHY)fq>LZ!E3=7F1DG>xuBR?sg;wlo%f*#Kj2cxnl_6O$Y@!Q){mLYcGOP_-^ z2#fh}a$6y$@HsCpLV^i9l8pdC2S9x4dKe#r0*`|8XYNLzNoHe)#BwN@Dp4I?L1iMb zM;DjW%``Mf!#N(62PxmnL1Kgis&_>nALe4%#Q39(q!jZ=%7(&)IU!*qgy&J;^Y`E; z0OY6nbJU@c^|;s204<-6F!S=ZxH?&%pQc4Mq7{e|2h^nM%DH*%{gS}491+;TaLb@P zho5n&Oadp!5Rk@05XeyJNSSrJG6l+kU-2?<-hd zPQ5G$UTTL=%F5Lf#_AYHnoi%;)3=BFV+yss!1t-6iByN~?v5EXF)fJenPb!3;YFrs zJ8Fq$5_|!Ae(v5*9Uh=dJvIZPQTIqkdw z=_f8(iLL)hg)&%Lz-@5&j0R%%D>uQk|~P z=dI2i!TwARJ?9AUKj9E^{&>IYD*PcPs<-?6%ouh)CWizJ6@>a&p7B0%_{;?AFfLJ? zyNqgu#uP5iTp@r)+W{H+g3~}jg{&)C&7rrDp(SpqWvTXUv$h(!bd^@xnze}Pad#Uf zC*4+cvZ*bd?Tq)?sEg-68P$3S4+_V!1%zzCW({>&SI4L)cKX=JF4*&gs@H{P%GKn0N8I|Z@%c7+7 zc1qT(^jqqeUp-}0rpYZBs=`ez(u|t(!Znk4rqv0tkS>cG^O$Nt%GI2!2l!(>jADOt z{y6JZ{YwUA^c2ruuK0O5Beg)!ulxN>b*Ywhb#({dGk*H{sqjN2$uOwo4CR6t71nVC zG`hg3j13@BlDoaIjLw~qtQL&6tTGk6aDxe&2yyoUM_}#)yrLxjbyn81FaOn!0#|a@ zoA3VEv*E=k*$ds9EdQXHUGK-;QQ}1X3}tEVeR=@cubf?$7-=dA{)3j8wksBoezSc1 zcG=O;!Ee@gpp}jrbDa7IE8EDOHROF3P+{1?vH}=UT0^M%Ama=nR+fUNAty67jUfV+ zYcVi8s&mLi%aSSa0tb-5tCi0hV7s^#Ru->Z`B%K7d)%{|?cMgEAQFJf$^SEDb!tZR zn3B5wt_2j88Os7=u?FWv^?v-mf zc>=o|q-I@_ReVr~3IoCPczu$g`F(QD5vpvMj){W7dc3zb%5kpOq6Ki0m(?0O+U$ z2npXl12-rpKkjbi4Sw(ISu?!7zaWsl^tA|guP_tL|J`cW>*I5+apHUR^%KI|GlC&v z_*0C;`_D?>OS!t3vbV%tet$j405boL)h>_k0*er77m4T}C}a$8a4A_Lu}@e^9?u)* zU{Z9k5NF;1G+%g01-+hPc2e!bli){(BHup>AP?PC>W?XZ|MbcCn4~F{#KZxk{pTu6 z!RiXzq6!$oCX^-4s2G9BX%XUmiz^^4?lGAGu(3fUw7>{t?i;JT50tA|)HGa*y5Bvf z+aaHrJ83W!V@3)Lwlntn?6vk{>il}7IO|+3Dx3vV+%eWe5&FGfHi!$mrRn>z4Cx~0 zdCkb9&m7k1ephAYz>ULG%5q?@J3=uxj&EcxzcXvE&7G@CCWC#)u|9988l6N(rp$#a z!d2xphb2(tuAD1~n^VyB@D|U>r!-% zNdFRJ#zvtRs21sRjvdIdBN=Ut4p;UdkL>)7b!lP~QhS#FDZI+dQl5I!BW+j?M7_kO z@MZfcVZ<3}S8mWtv%M<{eg%_(-7rbl4oWN!Q+?IR5xI`$Jw z`|B9J<=D_5Uk@|3|a^C!H$OBopcSPvZVZYX4dL zot5_AENrAJmqaI~IfhKr|5q~oCwn5(I4WM zA!EaaWp#<5IMcMolx2yYmif@bL81qNQNMpK{4Eg~rf|X=%~hFir)EoHt0;YonN|u&XRc zF*S>8H9OZNAtXC1N!qado}0tzB$ue}IOmfuQpo>3n!-V9FwtUalEX^=5`rG$h>JC=_c$lraGtW20jpU;n}&}7*%G_vhvMk|AW z8TQs@C_`9Xcgok|j)Pk>GbFDpnYQOcTl65Y;l_(C1QwTN?abt&TfJ1oOuWaFXx(w2 z%vdFUB?<(n7b*q{idfZJ#VyYEbaBP5xF{XkT5R7W&RcI@6abyiHjL62Uu+{Hn}lyt z&>y$0rIl4}v+Oo2*gGX8E%iR`gLKI?l@#Le5MO_H#JIPzypg{_Dcisd6Uz2%kx{X^ z&}d`$q3vL@Hd~;{or>x2=)C8^L{$v5t=%X!tqkj8c&LteTwO;z@-sA$%F}R+ZK)=V z9Ql|waLU=XiRtC z8DF>V^E=(m@U)U{oY`DgVe=$SqbuKx&S#jvHPM|Nb4tXKl&luLt+;8fw|2*S0<$ zM{Tb381nRn(_qwS-7K`lZ?K)g3oG1g`Iu0<<<_>E`pCS~z!M4s?*5-bt~;6y#%o7t zl$xb#Q>~E@LL|0YrAAPy#8#zIwYOG7ZECz)D@X~o_ueCK(ISKrk=Cf$*62XIrS$9j zJHPXNe}4bm^W5j&bN_tKxz9QGLL_;bA2EjaqkP+oYHWHkMBoDxRLnQ-dE<6{w#*TY zD#@SSIu1p(S-iT@(r(I{VAGcR#W}58MZ2^HA_+&HIx0WKR(ERd@i9epBp5zOvzBnC z@6MeatD~j)*O0xP->a$fds1Dd)kymm)slv<_n?J=(+!_=6VfBzZZ}hR=0z}1?B0tI zJlAFhca&_5)6Nfp0irb59W7Vq8o&XCiJpv=Dm33haEvb@Qu|IhVYTAbh%%8Evv#9f!55aci+68(;60kagZkm1}n8A)2=^9kdTECcIQ>;N&f>mY-R=XS<7{?x4SeU6Xa@pf3 zApbdDn2Y^y|oL>76G`ENkD5*g~gpB9#cCcyredoe`75 z_b9IByaNfaMWpV8<_qf&rBy~+77}sl;k*k8CEnBHowWQ;N6A*`w`1RvIR*{XyUUU_ zPMM4Op~lIFyq;NK%EB0b4Y1ytzxA(Wzyn0WbEDRQu`CiYki#X~~t@0M-hqvMLyQ1qKC+Dk%j_DgS$^1IF481-?ge z^=-?B*K#J^1Tei4$hfags`HxhqFGBZ=RLhgxi$nWw%Xc0$%(u8UP40UIgfG=b@7M} z)wyY$zmcB>S?hXj?~x^2TVPfNrTDZ%8*?J=@Lm%3`0G;E^Z5Jm)s1z$=%%VS5^(u( zl1a9Q)DN(U$J48?AT?&^(JRzcNKNhgJy*wL;Iwsj8)-71M2t{9IhRUQsagUt0bXR zFR$?}Xe}~HHJjKZfIR*R)JtkMQ@d1Xtar&!S58B%jR47^;y*gG_1{FBUAjoUrlyko z#Eh{O`g~GY|4K?(0qAyFsTXBa;2*w#?;c50Lq}CLLY>*2ud$nr!oRbypodi^Syz;)Qrv+v9VRndWq#RZQ^w1X{KB}mF2pB~+Jw)5 zKgxXZ>*lL`#-U|Ce_b=0;WPFvle6Fu0TXM+CpP8+56-O?{51I(Zx7UQ?#_?E|6u(w zwjgxi<6Yj<&6NRtBhG|<$bGL%{JsHQa`o9wn08~IFKt?23WpcLYAF45SK;sIsDBsb zWADwp|8)=~WF{uK*gSGFO%Bat(7%D&df2`wkO-YvR{7gCw06OL8wLu6^#$NE6;p~Wc6%PcMMxYh~_SqHo6gxjSb11rU{Z!TIQM0f+)HU zW_QR8J+y~h^h%Fu zcs~})-1K9^N^S?IQdV9lWn7t^J@+)I+jLa)es#N+eOUos+&l4V(Clul!mWOvNcQ(1 z3e4xjsOR~&I4NIm?VNBIva=~IMD7%GHcyNmnw?<{3vFn66?LkI#VWJCc7*=>^rVk| zyA^12y_leH(Jb}5zS?WINEY=hpKe5Ct?&2IgEMW;u)Qk3c^oGW;@28T9O&DR302|l zH9zqqkTv@e8?A=lf;_*qF-Bd?QLuw`jdADUPbkOxcT6?|(&i+w_^3%$t*_>sCoMbQ zcgyd+hS)f|+X&Q*?I+%wKs!Cw8n*Ia5*B-WkQ?ZHHBLz{&*iZ~c$-|!EklsUJxfE- z2Hjy1>yfjKAQ2DzE-6Z{z2uC2OBwi79AI5b87S?e{$0^qbJ(NUs>;xqqy`aXKwuTN zP6ym>&toHkXqp1cpB&yDZ*L#IZ`v0N{1ra%Br3?d@X2F?)5D&jgXoP`}2Y;F>VQ)-;Y>&+QB- z#gH(zETe;}_A0bX#MG6G_M9}Pj~=j?P#~(rw?F02hI_H(Z2B54Lb=Z*wNOv!hLH5^ z<=&W35!AS4pf7<`nsyP=gl)m3VvbprHaP4PLh+UflciOmhle(7sTd3LBzJXYxE!Sf z90Jj+O=HLC$3a|c)3{Myw%^@-Zksc+%&FQ5Wy_-JT#e5v9of0GL2_5qi{I{rG{%H7 z?DBq;qUs6hTUR}d6=_YyoW}LIa-u@2mEKpJnvnX{4V{LC9{U5aX`W$UAWH_N=0*R4 zNx~u5%#OL!um)zf^W7hCBYy^Uv*i&2XI65((DTUN@_tFE=~}s{!3CR_;IgSxE{n=D zd!3&6$>l@v;%*{?)-E*KoQ~A_9m!nmeJWFId&*B{ZB?#AyBIE8xx8FgMF-7%USCig z3>aye_&%eET?kkPU#M^{)C+`6fVC>5itdI~Q^9@}dqoNU>cgK|D>@3D{kx|>11hjZ z-C^oWRiPCxiUf}gFO*_sxqsYDc9l@e-kpF|;ESrZZZ}!CYkRx>5Yrl=29Hs~2217pk0G)<|Pu$uF~I*BOLdFYLrbZC*Mt^ehHo$8^+O<4)@1e;Rdf094OIbT3tc z5XBVY$@MS&pklCCjOQaBvVk86*K^2+bf)kKZsXQOOUYk7c;faP~V&pm+fd1Ia77KsvjD z{Mf_=#GwDUlw2>RdNeON-?ONHTG^H2(E;F*?_tmLUJ!Q0d0dDV$brVNX)?k2@cs2F z3b8#aqIQfKLp+Tf$RR!|NW(QZe!S9%Z|TIUfyUVR^4>3yE&of7Mt?a|8@{v1f&w0m zN7alwTP#?fGpS#wy5bSys6#h;YBiXMotx!&6QvGRXV|NF4(PBdh__gtZgB$i@a$DM zQwXE2iFdl3D0)cW?L#|))B%KHOx z{^d5*uAp_mYahozYi?BZDkYA@fxT$NBM7c+k=2$bL8{lxF6RzI|Em+geinAd`OEUl zv)L9-0AAV=Ma^qebaT&2JDIr49>pkl=%K?Xx=$EU-)gLMb3Ug`^akwaBB8&KwHfzF8M*AJ0uE# z2hbbEz9qJ6098iN5PI+y6pKgJ>`h1g9ld6>-pj4#YG587aNdz2m$Yis9RYM?G+n7i zTMuaGF)80K1i@GMI!VXDKud|uK_EHc3Vi$6T)}QL$G*65X~QIWj(b(KB(Nd2gw2)D zNJLl^C~{eJzv|gc%ni|iopkkU{?v2_&%VS1g$@$PWqK}sfvVDtr6CGLXXfw=t3us0 zmG`H2m`SejV)R(__jo<{BYJYZ$p8ph6KvxdA9j7#rt1=3Yc4y|McP+Rw)q2r18rY_ zr+OJA*IensROpg&EHYU2s`El+xkLyqH|P8I<=#JE=7LfX{|Q?I8|&iIZfad)#s=nh zg935Sw+gxOm)%V!g{Q#Ny|+&XdeM=mVu+8|qvD@aa>u^|#aWc$tdf#9EDTxy2c>N- Aod5s; delta 20401 zcmZ6xb8u(D7OoxJ$;7s8+jb_lZT@20wr$(CGttDhb?2P()va6KKf9i{YVGRXRo%PS z+iRsC!ag3r);mZ8vnDx8D*%*alv@w<`{4hIB44&GeC00$LQqtJQS|-U zOS%xaw#)64cVw1u77}xMi8p~m7Eg?J8eU}W&?YA!C!ji7QgH9(-ff>RGvIyH{Auac^6jHf<(tFac>emGDyMyoe!QfnW`n((Gg9Cf$sRbmEI)zU z`a(_Z8-=*t#mIEAP`G(rh4z!z!r zjOqA_eH??`ZsxD%ZF}y`sMco5&Xjg`getaLiJMGyiakKR;sMS`l%8P|lJ5;d%TsB< zdoz%r7pySfQBn=O{T5y8WHr94zDC%WdwSN_Fa~#<qSsmZ>+6;f=CpGx&r-^7HH>42%v41y1@jX0Bjmf%1UY9~uiY6JT^sz_ z{{57br3!#HGYGV|W3_3E&Xlgoc_Ry7?OWZ49PnBB-03+}&BF!)RKQJSm$|#8vAa=Q zf*xGd$N7AybQ+ZJI;>WG`sUFhn^aFJ`LA%Z(u%j2If}2v1 z#jdn3-BJD36P6#+xWSAU-S@a^IjWx%`5OQbPKOR&R*Sh?#GKVSiGe<6-*nv*Bbr;f zO{!R_9T<)Y!rB|=Ss4||Lx-)Zfr0?7j7rbV-WHV)8)oI6!aYg0%Wgv6k#JZ4mg^1D zC?DZqHd?TXZ;gHd(g|grg!)01?PF}6*IOZ$7%pr$h8Sj6I`nSv{}!A_KaWvB%?i<8>}* zZ84Vw7xG#cN+D!Xv`GS3tN|!euo8f2WKIdrTi7hlQ$O>evsGuEA?s%9*b(T|Ljrfc zmt+HI`YsXSSSAtuFET0Ja4#vo|I_aYBvP>4vV{B?gCNFX7ABbL`l^`@MxJ?jJZm&t zPkp=4D!Xn_1m#^|W+2P%;-KZUVbJ(kLQA3^Mj6PnmPA9&Wm;q4s1~8liY9;(;Yelx zy;omq)l(eWBJv|%QSUcU5s4(XID-_n_*i^%^m`&`$fMN+BaY2&{PEapWNQL+@C0Uf zVm4tHbWh6E;&-M?z=DNuRC%3%s6}%=_%a4=c>xI&HZQ~U{DNnR0TfKE$1KSJ_5eh2 z>Y@!AH@Fx`)>YZd3lhd_v^!t`_`J&>5-KLmC0sADIr_h!Nq9!tqs|;0Cdd{0r)aEx zz$v-3=<VbX>rRR?N##!}$l(uvK@l@l#^4sVkV&)H%4+ z*!jPCiZf0WaYeNX84OeIW-U)(%U`XP?ht^x8#W`h1f&#xoNBXY zT?LfFqZH}p)4^yJ+Oj2{Dl0cm)ZM^^C5wv5we_RZeHz?h&-#2G6XvWK9#!{x9hLuZ zY-yO^e7dA;S{{m3UHSbIcT0Y+T8Fh2fKuNwdU|+&9%gQ!>0;pMv+LvY#^6kP1DNOJE zSi_l$N_vvp*nuY=jmb$lDs{t+v$oZ!>Aj4VW$f|mipXZO=CRs-HXS={vN`KBu=TXi z6sn0``jMYO@f9J^`C79u(swsp1O8KcI3=pTnPt&DX0E6>}be&$FJ$ylcV5x7aW60_Rqts24fE5x9|00+udp_ z;#~9=*d{`=IpDeY*gOY1_=v%%)!K1fpe`70GRIE9T^y&dwAadtx?cv4lrfX2y#h!S z?09*bFj(}wZ`^~pPl8(5a@3YZ0Lc*#s!Fv;FB0FDHv8*I!M@smEJZ}c{Nl7GE8l5X z;TN2fx{W>QE<`sZX64C0!Ju%tuLgNhEMsd~LJXKZc=MacFGpyl(l=2G=0cpePL9Wz5kBJrtkWo33q(=RfVtfbcRCv4u4rLiP}-k9ZW)BV zoWax1vfGa6r21%IWN7~5ehfhKzHVG>q_qZH3Ky>j|KnOJjP(TKibSyiw79PnGK>9Z z${k1x>!(YJhS>OYf`ol9+lKT0H&y@_(T&$F^Y&s=>VpzTaXsXteW`g?b|}Kx9cyqH zLYYbd@S#x|D19ju@JIB{VY**)3PO4?(gAcYX?{PHuHd$?uj7*f22Rw5Fnx30ZPwA-(!cTy86a1X=ar-InnhD>VtI%_K$aH+HEm z$!q+X(DXq7$LgBw@}=d(Flpc`W3qgvr{7*3fix?8<(0X4U=cuB7x&K#>rCD<+q!~z z@Yi{?2}N0LqyOjcYl4c9Yhuu>4*7Z!@<_w}e(*7hcDO~di4-}AF;jI4NOq{?DV_in zvV%E8+2e5JfwN1d%B{B}Z)kI0P*S;BJH6A_0?#q*WnDERKUG5&DJs|zp zHQ+HFjMY56FB4#(*kWRg%wnuIq*N-2#>$Y>oNKZz0)A1^NmE8sXzWmKM#nO)%oaWUg4ZeuY5poM zeJz&SHvKBM zXYC)7-W;tl;moE~w5#mV1R_V&+JBe&1aRef=eDVa!D0I(Bdx`l3!@|MC_|-Vv?x55 zvc~wFOHIfSIu{#1zNkL#+V#7NmV!EuAU1i4_W@R#u|kdq!Pp5JGiUMggpO&q8@^QnPD&@n9Wj`N{!VH{S4)zlDn4r7`&570IL;4@KEB!HdU_RgHBN5o=<8Gu&aU4B zdr3(g3QfSC2}urd$zKd{-c&t&FoZ+#3h zc$fwdLC0&!MlE&~LZ{fxlnI!vB(}vm(%8iHU0Dg2*bo>yS8>a6pu>JdQMf>NiGGik z=h+#rZ^L6PDsv}PB=~(yqT4SoW;8ZpgVfK4a?70h3)Rcxa}|xZf0Mf*ff?@+HO93MLWmAY0C<&1RB|> zH@C_LCRZ4$lDIgPbpt0m`V7}b5>htZd+Fopq+x_6vU&(7en#E_*8JK(LzVm8Uj2g7 z3J@^n_i#mjGB{Hcu$sf9Y@Ux%IEBL*Zq+2EbfKJG5*U`jU^tRZ!od2Eh8FvDox5qI z8jQrZ(ww^<^pBq%^*Lf}IRcxnK?pz;Y?+p>oj%SL+67LNl18)m5ZGWCWKHeNT`UNh zIhk0Kkh9qUnTVz1`yWJ<@$6~V0l4*&PW{`zgovgdM`LWU65SXk>iW!0Hexus_*Q<~ zKl?vLCQ2N_arqo$C9YDNF)xv_9KqGX8j$D^Z<*3`u1Mb_7&h3By{i=lj*9VtDQAze!b1%kpBg)KjYaCrAXaFYaAZ7??e5VA1zK}y zk{F!wdHu1}QKIl7c?fv5<%OQ#l+!WxGJjP!&a2NDS^Bs9*)Xe?_%VY1@E`-FBO z_8>*%ka9ocv*P=r;~^Tt-4=~MiN3}W+le&FNVyR3OK0wppHh&~`OHa9k-;J8siW`( zOT@~=&KP1O>wr%UaZ^r(jJr1Y`1fIr+#|zaW9=14cSH=VQi$OZ@p-+D5+oQ_;r`7=h0Wq zC{*Z`%_;Q#_yzW%x(tJ1*fgk!BXtLXKt~8UnS`u4CMQ<-=AFB=%x*0=&zx~vNeLSo zUAYdMARXtr=-6c)!3dvu@#U1rz4_@b6I?I1*i&3!cj~&XY+tH{p*BVWA%!sk!kU!O zz}DKRp-fp1bIs>+P2aL;f3%-kC+{&f+~v+6(XTDt^sRvELk#^xWFYbb*~LZ0S^rS8 z=tNc9Q z5<$^BDlL0p(0%0SoOr|kUg@Fl)KI)3TW}ttdMWrVvfV7L>x$woi-x=>@3LQnoV%P#G%d^&EV?CK-Wu8 z5G21A+kA9o9w!3H-_2&Z(8^P-8$BAz8k@V|BvwT1}8tQJy>VBoy z_YEv7TA?k~@6(hTZWERkn?6DPS~YEAJvQ-Fm!MHt$ePb2MV_%)L;V&9qPN%8 zuhrsvEIK;nc39OaS*WT=pDdL#SWj%3wdXx5T;8CjH3YGZ5{3!1wr&M9EegQTw+yU!Zg-LUv%qW47^lewwSTi z8-rMExT`V%Alr7=lH!^uW;uZ2tD!<*opCC;sUtSkw#Sjkb!*20fsm7!F!^s{Ce)^>LiF( z)-i^E9o*PkejwdBXR4AV>W`&lm2PuWVexwq=zo}gG?qYh*s*oq>LlCa}ev( zaL~>G;ZnW>4f3X91AZfsf&3}ILUOl*`3c}$7(DZp^iCOwkr-gPM9f3rxcp}Cyc|iR z)4*I@a4sMmcXNEj%4uUb$gOTLoLVW18KkiSi#zl%Szzh0#iZw4dUb2>H=I*A< z+q$9hn}v>v*|lX8QWU4O&IY$nP);1oHXXh`ZNSfqQ?H{k@~!!cvqobpN6T1VEZ^(^ z@i{(8_+G0ltQ8tFxMQ)ux`CW&yKMkp)+iTin}d-m#g!UM3&0T5A_sc!k(lHnx%lRQ zNpaQXQL7+jyXdqP{?!>=em?bCC!i1L-XB{+CW_`%I&6|0g{3N}6=?(7PBvwmX?v)o zsEZBU%G*|L!VVb2pKeSH=D6FR>0D|u*bN7h(;|7TE?z|c+;ovBM#APHMj0$(oWtyI z!*w2%zG-aT5iR;PRx4pzM7GXpbRtSc2Qo@$H4tVDtv8h{O@#As4EF8eAGQNnHBA9X z(+scLHiUd{0~&G|Mpg6}b#{Jus^j*Zc8=gG?u~1wPQ=5Uwv9Igb{c!sQj_;kCtm1a zDNz>TmjX_LI?1kjL9#7_u&%DWA$Ev*i`F+*SmN&Y+ee>^! zE7Q(()qD4V-lGBZ4!N^-I224@ zy|+YFcc4c40Q(Ve{wxcT;{t&F3ZF54+&_k$l&Mu!+-%)nZavq$hhFg5z-gKoS7i!w6SBxt$({A|9Tu=eeFc35*z(4_o$T%&&px2M?yFXMU5rd z;A7eYjWkTJCNB8I82AS7WB(JYljL}d3c|wHWLQQ4os=(#)|6c@4hzhbR3M1j^xQQJ z1I+ecoE?pZ1!n&*+ARjaB=sl$Y69D)gZ}>_#f}AGfY}p}C=j_g|DQygi#f^BkqV%# z6^GM-?3br6)X&g`IAoSELc@rDi$4o-3j*s6O3DOR^l!ngmV-+fuYX)Ts8yMIn;jNw z@MT7Wt`G57O05pOS4N^~7ez}eG10WDmlQKoIib7DE5T8Fn^MtWG&K%XM$4eyuF{;u z7zt;+MdQ)fL(LVz=R>d764)iM+nj2M_q-K2FHaZv_{>KF_^Lw zA||on=IHl{B?S;360jT;SFvRW49#Y}d6}5S_Cu28?tht`!WD^py0edK$a6iPMRNsE z_{fX4BRy-iCtE@(NR{s2Q42wkf{Y{mYO2Q(#C0%E^dSp0hC9!BlsCUT0=UY11acku z3m}EJ1&{Gl-z0WRPkw~g5h~~P0|#;Bp@0E(e9-C`VCE4~qGVv-n@9Hs-o;azV0u;j zC6ABB*9y^N0v^UC+=*9(qU8%B=PF>LejXGpOK8;5{8jMG0+Gb@_$8|INWP~Q{W`R; zFRYqzORDV&vYiPAyl2^12$23m%20{R&>B7+rhvV!# z`M2%)OWhauybZAmonbQSx%w4&sCDWJVz!##zS?8QuCvN@+s-R)P2j!6_W0;!+xtn` z$BmF?>h4!4)!M6i2cyrsNyp{<%G3_ll+G~L&1ScC4%Tn%-+-+)j?&c^XLX<5nk={N zI7_`>0vG@qzkc}C37QO3_-Cik2u)6`ReZaZ&T{A|PLsN(J3?pm()*WI*pWxU7q(a#U$2+DA3M#u6$zLICerPrRJTo|EB1YBd*!WK+h486GYH%&RzEXb zxWxi~p_x2F6*=yW_Rg9+;pS6^_zR_kDm~;?3!p7!H*V$OQ;kG%7H?|n!+UqxcF{_g z`K;S@st&pGRIdG$>jL8aH$Q#^vj{Ym_Z|ul34|p<-0$=0;RJV;1cf+@7!3kWl$O4u zdIpNi$Lsc(qaD@S7I7clEv?wKFfU0w*l!hxTSi~mCbQH?Wh{G({FPcIylJ_4Vm3bN z8o>B%#iQ>7_GoYqFMG&{kIEH2HVoPfH$yB%AOTxN_*`T`7pQ9Td0;_OO{XyX%1>l* zw~XDe{RNLQ&q((L>jJCo%a5*|0ZHpB($)7Of)nZ{iRzmf-0NdKhL-UK(5hct>vnznB8loco6ORWW>lD!M8r!-hhuCP$1F?p7X< zkiqhiA@0)4LjqU3V?TrHIB<({14?q;41+WDp!365(7~tR3JJ<2Z|4>!Y^!5ZnN#4n z$SQSg%Mn@->DEfJ$XKQtW?WTD=WMFus6(G!KYD9k_)p9_@upwr|6*Su{l=`L`cP`t zgx&0P{PGfA94&Qh4z?lQRBBGeyGQ1TUDZ0g+ZPQv!2y;A)2gS4RR4Qr1aNg36Q?l@ z7amlsMi4P2L`d=HRE7B4Y{Z5mT#W#k;GRWj14=90ija@j3khHX&gCN9n#r5t1J6M| z+Ftt;aYJY-%{_rm?xQ%B$yjor-3c6)OLR=@rfe)S?_Rc4$I=N$(APZ zFIop-LL484Tki^&ud+#@JHTfdg~0cHQm;+va5+A;lys)3gRAD;p&Ek4s}M6KC(@7T z8y9~0S0JA|R2#y=Sp}uA z^GV@Hj#z8jFLmb86X6;)=*Of2(KOWj@lgP5Bh?1X{tYhir%Nl$uAn^I&si>37JuQ~Q+UklMY1wG`iErw&-mrQGtB5(C{$`#vey zZR8=KCf>eZXi8?;1tt$-selStA{DcA+Ejjz#Fe@c_yo%)889vFtxq$&ZFFZacj80u zYSGW3EVWVPgw;qtw6L5ff1wwK76HB5~LMqj32C;-=$oC~3O21{unXZTJonuq=RLMwqs?S()hAZM^ zuBft&SoKmu_#U9}hCP^D4kBa*-`yS&VD09CdB;Zsl-=ie61e`IX>aM8j8apGI!5P+ zj9|f_fY8q$uA88|2b<u%<&(A-WEX%ECdb0$n_tE z*0#q6toY9{wEYuGu)r+;3(1fLrh*1#XZr8!=xs-az!=b=Y|NYqNaSf3YQP8}oSgsd zF1XUxw%-y*_gkyO%x9oO$DaLago5G3un**{$znYt8waIRX|<9 zNfo2o0#{BujCVHk=w&(KHmZh_WuzfaQevh7UlKZ?&QL+n7y-%Es?dst&=@Lq!H1tJ zj$L+; zm7NB^&DOgthh3*d*6tpKebnZKCsnITPfFhioVCoH=02__F`C1DPam%2B&g(q|zZi-Ij`nw^FL@#`f9)`g>sdd~CY(dFtv2e#Gz$jEBDJ744L-1Q=wzk&@swd-ksaTKs@I=Iab3q62b-sx>E)Jq;)9 z5gb~Y4gd#EQQBjMl3jy0b0@mTvR{F_q$1uRuhUC ziAZ!x*dK^?7^P59BN*LUMgb0+6y8Mwo|2uLl`$hkz6kg@0F9c!3&Dyy1b`mj+RqI& z?T`M5`h(S+C?<%6Kq~{zCjlF%4AHqqh*43`Nn2A8Igc#CUOYjMyAiv}^oY-UYTD^2UONR{|cd2OwTA9uE$^$SJdDQm@ZPeC*{UYQ*OIhL#71Zk9peH9yPEeEb|2tbhVA(H@}xC&e~ z;fOPP+t7ezF5;u&N0LoqT&WfpPIB2uHlTC-BpPn0}UU^Cy#d|izU9muz4X_YiQaspkap~WY|t;p;rDYC z;)wqb8$%hMqIf!okwO$o2f~_WVO==0))PL_BoG}el#;{ryr8JzTtX_Lk>erri-cyh zne&d*_x5jXc+L&{nYG(k46YJlvy+rqCzrG1buxX55$)@~%4ipX}|A>B&ZVCi9)jf^%3W%mnoC;c`0Sb-iIAQrmChlsuTQjx#z57L>G~hOI!AhZBvF8 z?^Xm?*Ee-mn^EJ?SkkdpRrOwZsqJ`o@m-@Ma(2*H4FOCL#!C>>gpI{sUw9sC@wfXo zC!u~{OS(S{sY0~*ColaO_XQE2E6)CQ<;g@in$)m%zt>@jj{x##GbQCnAx2Je# zTE1w#4+L?gafvv~{Iy$?N>!<$sFx+VfNz;qKM_$_xHlWpW4+-$kYMM~F;oH_urwOP zbURZ183Pzgq(nsb6s_>HC!SQHbc+AGxKj6*w|S>ZnARJ`)%r9CilI~-E$b^?v?X$8n$vIl&?5wi>EVFl%CFMBDTVCK{hoKN9ruM5Wy7|N6E4l7w zrAJj#Qu-4=?G?)4#rR7Fpg@~NGnJTSf{=qypv>|eF>6d$(NACG?>(JCl8vZI3XJ7f zI>`zL^{h(}vsXzMg96z862L|O=k_}6FTf-nHV;u0N;v1dfQe#2j3i~50*{%sN;T46 zCRpzHwgm}2gy4M-ZCMzx#w7@3XP>kZ$fP!Yk`gbBLfUPXy;#gADbr8=uzVNys{RXg zAz`lB?18gY+*<7NxBqHOQtg~WOo{UQ+EQhHB|&xJ#zIxoo3y8J>&D_? zz*7${Y{P~%cTRb_+iZm1#%{#A*uD}h&NvLB}l>IP8-=vK~*Y+BHOkX+7e#N*&$M2{lL?f4??VQQ=)R1L?5~U8%7^*=THqAW6iKt+$`&Kea?!LEV z>48m2Z7LNF;PbMq5Rv|rhObi(dbkg)-j>{oNF-+HC`l20&T#_=x>YAGT4l{#gSr=952r}2ngo_L3Qm`FWxs-UR z5196=kHxyVx@S^6bCtPBbqV}K_R9xRR)Ji~dCA&UQd2L9alc$8owPezo%Gb|Qu#NO zme%m4_-PJM`l{{=*r3ncGfHT2*tC?Yy(=e_e{8T@GB9{OzR%}^)_wroUU$U$*=w`X zkrz7-Gg!|pf%Z+qxdFve6lvFtnQZQukC8md%N^$kAB)Wh3lVAnN&Y9^x^l{Iex9mG zT!iP)|ez zSwCu9Uk9*kQ5xfaJOYs}NB|=+>;Ei5TMWn|4KVxvL~aMj71D&2Z8++ahIaAlG-2`U*YDoQ8>ns0M- z@$%2>m z#z6t*!9z?8YBYc0A((V!9Z_Q7>u2I8Vti3p;4~5hMdA1@;=nEsT2PM(GWt^`{|T6` zNFYFxNFXpI@n&>c0>((dAUI}35mfVlXyI^RP%veQgg*`>VfN4xXSj+E6vHtQzE}hX ztN{^NL-B+G*g6x6QDY(3Eir;6f<;7;Al<(PU6RZqMy^t>d@^~9*x|!f%Kj0m8Q>}@ zL1#h7K}&?VZqa#MdIurrz~H}eIZQB@tbu?DqU$|<;ejA;=<(YGu~Sh-m^o&Tp4*I3DPG zN(s7ax#!2cemZ`SelG|84-;haxa0ulH{*fXiP| zTn?>-x>@(NkY^u%qqLZvUJ*aK^*XbZ#CFfdiAtGm5A(}xKC|7%v`dNS&>rKy#^{=K zGmXp4qiO@~R%5cQrpT3Q`bMuIY_}=?#x4oGLvt=TvGL0O56`T zp>S#L25qzxn5i!~3lLOj-M*-tb+b-gsp8c?S~;&DaV@Iq?lsgJO1054rO`dDD($Kq zck}iv$~s`I?SiCfrH*n60|45#qH8ufX(OwJ(SA?M_6eAPFA->nwTcY?q7;->h`Lw0JrBUJlDSH1c+R>YktSHfn^pM2Sm&;?+#shgA*VI`1c zzhrn$tCg1ElYD_JKe@Ze)9d5?Iace{#Xq02ao-o9k9ukj_n;*rK4eUkD?~2|3OAZe z6%xO?ikIf?m5|Z76Ot`Jt4$wO#tuH5qzn>$&#w#Pyjc|`5?crBI6d$I_z3(`g*pCE zBJB#(B|I7Az+kzHPY3jTU5}+H&|jv1Ro5ZDjK~rJak>$jWxt31V!0lT?qW)M8K#A< ziHClR|0FQ~v9~?FmODHupnSCC?~364wd?)RKJPjcNzV!3C_6E^ReR9l6UD(`@bmus zJk!KM8~=Dri03cQJ1}|Rc-&tyE{Zo%CsNQheXJxD`&?|DAOZx`{lV>N;65=ii4Ca# zpeDnGa_xwg@A!0Uqh6yNb)fI-TwHf4vA%I%IIp}lD#E~Rf#eA?aWK0H2~g>(38pIM z?83srIf+i?o<@6D_a}{$r>x1>c5NfJI$EyiOR=kK)U&VY?doRa@)vn6TSS4}ikNP0 zL>W_{U?M`5=>l-NWWw+U&(>CNQf_-9S@k3cau(ok8z3fQA)cM3&borycU9Xy8?YoJCr;- zo;<8V*`e)E+zr6?84UzGO4>^!e;v8@PQrN6Fs7M?q-ic6G**}HsYFP8aM5Nxr$RV3 z`ed(U=I)W5jU3sZ*!OjKyfIs|>u&uO+QKd~?9K*aN;s1~6v(Wkzq48}}CE5EzH;qynl&u#63Vv;5$F%JjWP!{t?o zTag?G=q6t=m9c$*O(}MD#pA*9eql{EfKz>A$LDtY$QV<$md~*q9f*Df?t;?7jOr}3 zT|$C(z0eG$GkXS3Lx|_)#`eqKGt2c7GTeBl;Df@N2UIMBkoQ5muri1kBbtN3%>k^AX!%|7cuM=osFAi}jW!8M|LZ(0lW4 zOke{{N?=Jd|u zJje$ldfsP6yhE0}Ggee2-{lpmI=VV3@1B(&}bJ-V#SONaq zD+7YAyIir6(s>A+H{O$lb>sH}HxYIVjxQNn4f58)l7k1QSdkm}Gg@<~G8rfC# z?@&vZwql1PoP;BgnA5N|sBzBY&o1C|H%q8Ahk;)0<6cb`@MRb3!Z%lOZKjBLbBc9g zTWB~p(}cOP{Rh*Wn`Qosxc@<(i49|1Tef-n6AKK4E2l_+8`C`f@&EY$qEX~OoISBP zLAd&d{Qo~h#NB*DyBZMmW|Z*Wo1ZPSK!n%~;@Siadp3xCE+{KysV+k}8vr{K5s)jR z;*g<`#Lqk{Pm{(GHUeC8f}C@wo*|Ao51sBYx~wY&0p!SWv9Qm}^SCXHvf`KhG@i4~ zHg_>id`vDRzsr;4T`LM)W4X&fr_bEz&G}^T>J1Rq=d~qjTq~8}x1E=H@eJfUqOa^l z^mZ?`4Zdbr>kE2fJFWYCB?f~hL+!Y&N@u0Z(&Sqf3zA~7E4pIn-l$D^m|BxdJ3NkCXt#ahrHe<=?uo^{^WhkHt0PVf3t zx=-LRMejqy^k~UGN^R%Q8#sL=cGHY`QIkzit&8r*hTYX#%#MJtu5?!%#U=6X@eI@k z;4DyJ)X(IjXQ$>Nu30S(dX(d%JHO!Cdv2o=toZV`@wm@lZf!&KulM7nn~Hu5{$DvY zh#w#aG0z%DwRVlV2RBoH?KJEjs>{E8P8c3^)wgY**lF%Bwn>)j=kz+mMBc97k3-cf z8cu>35I4_*QFCs5v8b=tvhEeDze=7j07HKI>M?pjz=nJ0W<@l<>+dnOIMd^Xbah`X zrTWFlQ>DczD~2Z|gIgjChabWpZI4lGj4ezXDKU9(+lYJV;C?BL$_oTf=ktecCf;4( zhQ(FaOVH-kwe;S?F^FXm?3-3Xd$W~ZI~i=u*R-xkRI5Z1TAaFw0X;&e zBRPO_*DC_Isu;cP_-|_Xa7DpZS_{|;*>;Y%r_tcwt|$MekSmRb!r|Twp^;ruwn28q zj4?7O+mK}JwG`2~|GR77{$X0`lt>|Z8laM9x_nz}R|M%nj z<(_+=b3fj5KRoxjk6rG5SXWu6-0j6loq)$spEUXDa??cheTd2n*3h)Vj`Y%@H(kzC zd?S-lyKnqf1s1Y-$c%UJH#bT;{jZf5r5e>di97cqPRFoD1MN%Z#-c&W~Le zf6^|^;fJMY9Kjz#tQK0zRz>||41KrmoStXM@oFI>f_#Oi>{F+gq^9xnIbOMK<#!e> zPYyp8e+IqnzwLWpu6sf1*LUw;dYuly&Nu#k&UGWMEeMsH=pr8*bZh!%i{5~rPgp&h z5;FJx^(2^1>NBlM!1rFJjicS`TCZ+rdc&m@Rx*SPe7&U%q0-}j8?~*K6ctusD5Ssg zuDVqGHUhp*y)$~X#7l{TZv18IZqL^0B_GS!8uje6g3$EA2tivF8pJmU3V+|;*}mj`*XTvSbG#JHCT0A-9(BO#KtNGNABn5y)cw; zU;!l@Mf??%uO73==@LXGRfU*gDN++BKSp)3=O~NabK@r@cqQv5|z zmQmbE+KTr)J#sF`ySF@X4)P-78kNvXg-1541&~%dg3Wb!ywBKl`<*E)-X?iO!f&cA z%q5s*4$G)CxnIa|q`KIwf*MHcD&oe+bu)*Nc?_Vcey0D2ED!*|Aeqr~fTyQa z!5R?N%ro-<@qbg5c|h6u6AHk{BOovc1ct)?pA7&*z-lLKfCAPQ88`{!ZC=-83(0QAfg&5xsj%=`TLyT(o1dUO7Byk&*1C#eH0!V?|3~Hm807qJKe?X5=ll zB~U#`0E#++{IcM>BsS>dtV$9%+O9Y?5dJo%!&&Lj%uEGmr1A|EXiLB^|hJ5@XdMN zwg*1r$W6lHQxE%0(zJC79YK6#>!EYtNGl30)i55 z%56BRe;c{2T?cx?+Y^`o>Wc{oe_$c*uAf((ynb&u*~p%;y*8HGBi^K!O@I;Bltw&t zC|GtFx+Hw`V}?2-IXNV@W8O5tCJC&h1z~)ir#!z6*T~Zq#HE&`Gy;5$^ zBNF;0N$(ET1K(LPt1v701?By_8K!pE{hseU-iVe-D`HiXo#C$7RBJ}ImZVtkx3^;z zb!h5M>?2}dF-9S4pp@v3#AVlb;LJyWA!DHGwQ*ta%nj$6U%~d+>x4%fO`Sqgqs7zb zJqYKO*wZL;%^AhA_pZTe$$EG3y=OXrqJxX^CdkGpqbO zH(`5)vTp(#;(zSI3cHrdjW%WU2)%AoxG#j1SKu^U49ZN_`D9%bQFtAub2Ed@ctL)$q2=O!%d!mCE6@jS zFILG5?R9&d-BRavoZn{O0ZOar;@;82@7EJw9_RD9zs#U}Bv@!Jot63Qds9a>%5bah zVC(h`H(cP)IPQudoqT`ifzQSM9}&0q?jFqRIlw=TkKbL=>e;_;aRKY?Y1q?guDNSb z`*r&3ex&nV^S@cmQ^!JL$AcyY*edo0+wD261Y*QSdrFbS;YI{ce>+l#K>HP~W-)f{aLIX0I~-_#&}G{fpnmu? z^{9TJ!1l$<>E5F^c6DDkhp%bx z1Ap?4#OULch<}%$S|;}@Kne?W0;-@q!taA%Fep&P7UT#9se!;Jpp~z0&7je z6|1iPAJ-*$tW2hvxs#3Hv)x8ZAikT;6i35nWEd-KpAs~6?0rKm@*@d4^!{;m8`28! zB>R7V?oWR%z%JXBDyszs8?h$|+)YeZSL;fZF5rek22;T+e;>(7MEqSO2L85x+sq*u zjpdXSd=g{nd>{~6#0%`SfwG*UcB7TD?vq5lxz_ox3zC*N8jhA2CTvaiex>uF3^0P$ zLYrk7>mrwT#$Bn1eh14~#*++J#?v^)Guq>ErVE2NNCS6axB~P#nnyLa4NUc+YW54! z;~5DUi5f0ZWJ4;QEjS*GUtBCGT{HyQO;NqprJs8f3Ag2>XJlq?Q!{M!T7d?r)*UR&TgsxldK zzWiJuix=4mfpYM|c~d2+KK){q3B_M+OxJNy)JgQBDvx}tRh3E#>t*u*95yc~{u?KH z7){6$Y|1S7rYD_GaN7k^o6sd-1fNMTkScVymK?Pj)Fm1C}532(p@t*>Zp;|>B2XRh>b zp1h=W@7}P?Lu>cuc>9g4Vu>LwYho?2jK&=ZM#?RUsuky@ear1{-5%-Yb&q8S5s+@U)C0qX+85Nmy`oiIeUz89%3b?#XGTp| zY)`qK37s(>MtA*Zq;5x0eeN>71GR$lbncw$I(6WIIZa2@C_SFa=6bS9`rQ6-HC&tv zD#Fy^5`9Ge+{%na$Btjp4eaYuem7V=x%52Svo>brB5Cw~2$R_5CeEdY<59XAed0{v zb~Gl)PgZls(8WtSVSL)GDeo0Sfs8h`F~Fn?`&za8DbIoS2y8KOvpkd=npfh@Q-gVNxy6_he@>N-sr1C=#o8qzD|?04dVxI=SRoLtT{Ccf7fw zQmx&dm%(lt-*dkb0aAMN5>5R5`5carp&k?9MM5Tgu2DI1r--OeP2)xq(%?e=H-_3u zI9BSVhfHEctIX@#Dq}W?s|xUC4sWSYlh{!xJryCG&aLQ%msO6uMw*QC9P%idHCY_w z2i@~H&x@_20^)8tP=5|Qda z``K>}yaQ5VP>(!@+kNN5AL}=DmkL>4u40B}dmmHsMOhMktIn!Y5sFYqX=nO(K^Jn| zqHax0Yi{s{$NN2@vu5A)oVqU8^d4Ws>0KtWM`6DMme{39qh*cytxX(R+EN8Z_h@k) zE=-BIn>Eiuc4k+<%Vx1_^yicY|0CqW_WVqwKah@_RsJ*VA!GcNCD4UWIV(7_f?d^I zFokK~TAD2ShZhaUZ%9;GF+ug|2?cEIY#Eg2j<}&RvarW(m$l>z{Iq`f@fW4KfdgCW z1QslEWc}vEI?ky4cmIO(py#yL&fRkEe&XM@QsJ_n9pS1Go2lkC?YHQq+bV5ayS0in z?FkySR_g+EvaC;1WzJiw(>fk0wA0F*tGsdzu#ibU;&Jg*NJAnXyp#&d$;A9r3by}f z!pOTfa1!d~_dwmQnk~KlhRJsWBXed&7xR7)1n_x6#B_3)!X`GXd3!GNTI?|spgOfZ Tb7K<#I;{!;%E%xrjDY_KPuV#}