From ee450d6dbc626400a09445e4995b242cd127c66d Mon Sep 17 00:00:00 2001 From: 4l0n50 Date: Mon, 27 Nov 2023 16:15:40 +0100 Subject: [PATCH] Remove redundant sect about MPT --- evm/spec/cpulogic.tex | 11 ----------- evm/spec/zkevm.pdf | Bin 317319 -> 315942 bytes 2 files changed, 11 deletions(-) diff --git a/evm/spec/cpulogic.tex b/evm/spec/cpulogic.tex index a73ebcf9..ce0f1a4e 100644 --- a/evm/spec/cpulogic.tex +++ b/evm/spec/cpulogic.tex @@ -53,17 +53,6 @@ Finally, once the three MPTs have been updated, we need to carry out final check \end{itemize} Once those final checks are performed, the program halts. -\paragraph{MPT hashing:} -MPTs are a complex structure in the kernel, and we will not delve into all of its aspects. Here, we only explain how the hashing works, since it is part of the initialization and final checks. -The data required for the MPTs are stored in the ``TrieData'' segment in memory. Whenever we need to hash an MPT, we recover the information from the ``TrieData'' segment and write it in the correct format in the ``RlpRaw'' segment. We start by getting the node type. If the node is a hash node, we simply return its value. Otherwise, we RLP encode the node recursively: -\begin{itemize} - \item If it is an empty node, the encoding is $\texttt{0x80}$. - \item If it is a branch node, we encode the node's value and append it to the RLP tape. Then, we encode each of the children and append the encodings to the RLP tape. - \item If it is an extension node, we RLP encode its child and hex prefix it. - \item If it is a leaf, we RLP encode it depending on the type of trie, and hex prefix the encoding. Note that for a receipt leaf, the encoding is RLP($\texttt{type} || \texttt{RLP(receipt)})$. In the case of a transaction, their RLP encoding is already provided by the input, so we simply load it from memory. -\end{itemize} -Finally, we hash the output of the RLP encoding, stored in ``RlpRaw'' -- unless it is already a hash. - \subsection{Simple opcodes VS Syscalls} For simplicity and efficiency, EVM opcodes are categorized into two groups: ``simple opcodes'' and ``syscalls''. Simple opcodes are generated directly in Rust, in \href{https://github.com/0xPolygonZero/plonky2/blob/main/evm/src/witness/operation.rs}{operation.rs}. Every call to a simple opcode adds exactly one row to the \href{https://github.com/0xPolygonZero/plonky2/blob/main/evm/spec/tables/cpu.tex}{cpu table}. Syscalls are more complex structures written with simple opcodes, in the kernel. diff --git a/evm/spec/zkevm.pdf b/evm/spec/zkevm.pdf index 1aabf59df2e83de63585d26c338c3f3425ac5878..e7ccd7d54d3762c854cca261587525d1e305db96 100644 GIT binary patch delta 35733 zcmZsiLv)}G46bY2c009g+ve0Zr~YbpYIkb4Q@c~!wr$(@zuMe$v&t&FoIH8+CcFl{ zqzFBr5tN1;lru>M1s$A?i!m0-bdZDLEXPKnH`BNsP zXlx2x9!W-BSa`^I?e*<4$3Ynca`fDNOyel8w6x~bHCeoaIoTWFsYY$+VnV2CYGb#l zM-FHwp2sGR%2(AG+VJpE^lDpW1o*c+r_nJO=r5TYVqyAyJe*a(zaNg3@n2!1ws)O; zVpcb_I!3qCE%~i3H0mti>jNvTkG6(e&k&dEbHAu@t#(VmtQkUCy_2nips}PSa;SE( z+{jd+OHi$=VcAHl+Pvv5d+;Kmi+DxP=gGbE?Z~8c)9pAK!kNM1 zoZ-~Q`#NE|Z=DfAF9(oAqlT34-p6nqL-q9s^3T*KYA?x6LG!Em-I@IkPHNvF>@SX4 zUxH@v3A%&}aBn2yy~(C@$D}q^Ji8*Qw9Up){GwdLvkXjgiC5$<6(Wq!V7A6m zs1;oSB@3xgA%mW^*zKunXzVnj|ssafLZtI5`H6StygPLscUCV zr|_g2NGIt$^{_QjXN0_`#fx|+!i0+dGJLP5J0}Dkb)1Xzb_(&d3{yi>&Z0v;5iz5x zV4ce*fxJ#mb_5j5Bcg{V<7%i~-@O&??1aL~fk{q-P1D_yhxJi^13j(r;uW2YJ#4Y8xoQx%9(a7lIkC)hR z#K9^ScLLKWP>KP4NXAxft#xy+5Boq7+-4Q;JrxfvD*%I#(fQy-s&%*d3DXam;tERE zyoG`_x}rRD4y}^78ly;PAwBOa*bv$82A=H*eIR26vv|_}<7^`?r?2!+!C5Bd?3lL! zB7TLdLjg=16%|uOc*BUPofQ$xvG$XXq;3zD@GSZjQ6lBwyDAQ(mX@+IacHC}uS0X= zYMeGXHqe^Y17rO6Ivh)4AT9{WBy`lIU`4&F4E96P2K*|5|7T3HisA;{xk8(u!HLVn zwSWa=(c~2lmf9q$)4+_l&@ghl(F5Cu$p_&(1+9E{CtrPQQjL2b&041-B zSkM*os2hB0)BG25;z)COMLfgrY=08D$FCgCWI%ah<=AM-`sCN%{=Z((K-;Tt-Z!vr z6!D|nuHvfnsrtR-rKBZFt+|Hg`^w+Kj&xn);C`m5<v*yBHt=tn=Oh#UhW((&OadhH>-E13qzjtib_$ZF;IrBOpt4Qo5 z`v5Ao&?J>zimX~Y55hoMD%QWv`P)L~Uc%nAe6@Q!;?BzieQ;!64Kym;1gK7>RV@lW z)ZEKB<02uI_H~Sv^~lB;Q>sBhf0P59SjGoJLW~vNu;6d^LoY#^0FfhfJY>2I4k>b|a*5D06pY_h^w8y# z5w~1b>u?BS;?w&%mVrTp`P@lO<$#beUG{9ThaKI$d2=Qd4eVW+DCkm^Xzw${DUd2B z22!yQEBepCU8OzRfb)q7Ulqs=};7V(>N2(!^LXTQMW;{DSPw>&!x({y)Un(owiDh6a8)}{MVU^9+ob%H<-UM&FKrb$7Y1~ z#0CiD4mT2DT3=$lVKxf@yT@uA_S?j{|zJ58Q z6GIZ@hxHr?1Ih}`%+O766-phd4hBWL^H-PU2{(&E<=RN3+JneWB5(Ge@r*yKlsuZ6 z333(8j5=*7&J1J4d2lq>L1d08mVJvf+x^mzfnKTv2VUy4X|S(FCPD1E8uhTt1!(3H zy%ovu)r#gZ0F7q~BsO!XYlWHo73i>iFGsD*)*x&sggc1Sk|_zw#F1#AEGV8!kX_$4 z%P9IuP9Cm`I-_Nol!%utAr!6$irGqp2ogG(=9ZXWkg^h1JF4B`7c3NuXjt%KCoY1M zBlP~`7K-B7b1E~%aR^Oo566@e0ee7Pp3=ZMBvH``pkBL2l`0bSZKB+}4@4nI)$>Q< zV4M&n!R=v(D?`XKFZ*Dw+=h_lFvFJ^Dd*w%;*ecXS)rH&nZWLZIHB^Rp;=&|lJ)~3 zkz!$T1O=EbVS=#1d!#(Zb7&H*PMY#qI*KLOF}Ai|M<<_9)0;h}`#J$h_qC z5+H*C!y@*41pP#1IexgtLKDmm{~gTd3sLU2Qta$Of$kgA7s%iUkwluCwD^Ty-LU2V zDl6wvt@NWJ8NrXjYBGyX;c7BZ9L4n14PxL1n!@uyzSR$66a(-ZO^P`I|57(Y?1zLK z!5Ip`wQvEcQD|+D0`k6y@TddQelJX&k^q2`r4Av0CZZOFQ6~e1i9(Kjbv-M6nK&($ zwWj1cGtz5~vE5?!@9tRy1%G;au*K%jDvQbX>AJ7k>&f+o)1)U=LLEvQVXNC=^a$-; zg8_!;*5Npx+vx?=M_j+WiCmx)bU#UU>ojJBk@4t$e^OXGHo^hY*&_DeMilsb6EuL_ z3?=|QSuQFNp20TagI=~X;MKvauV@(yr}d&WUu~-ie^}!Hv|aop@R+YwsRo!?rgwie zwUkb{Qgn`M#Z9_aDKgHN;!8fMwsj>mkpk_Y{k6*a-@%k&HIPQTw_kW+r8(6Oc@;hf`aKs+wp{25#2!Z(8EMTEk1{DcM{}fs5p~(z6 zG~3{e5b)rKJoKqE%S9!M>OH9G^a3G{yuC>Tw9C(_g_d`-wr=YIm(LFT>PHgq?HUnlN(~Lwv&31i|2}K8 z8M7A2Z^vWvRIB83Ntxy3Dgf6=Wb{wt9%#x(3lqdLlCQQOnA|aCPE8e8;*f8t>M*Jv zW|(3ck@fv|SnjdvF*2?Xe9pUT<$7(*5VCdh0>mv~v-h@XbQDj6bE=Rtx`eiF14ts{ zjK*{`*mJ7oHf#(lWw zkPxb`>JU6ol_fBZ5GGId+x$Ko!>ZK%yi4KSYsELz8Iw(gSKv>f*9J$)pN=7QT30ui zjrc=;V_iP z(BsIhUC{5L82n9EPE<5&N2e_!M}I1PHNQK4NB2)Qz$~{F95VSaTbnfA#(EkiTm*X- z$)FBucG{r|sZ6F%J|iNbl~0BlmpHs0NQzD98X6@?60-Uk@K-+3)vo2R%xU?9Y5#-C z{WVT|6Cx{ln(_1He+C*jyuRf+HV3`D|9}NDO}$!+P_mkRRQ8{=PFzQ zmv^z%3U&<7xsJ)k$8J9HB}HJf$xlJxMxpUTe>>=w|BJaVg;=s0_q%v+v;}WgLU3`T zbdP7KL~(;EoLw5{8cj5^J>iBQh~sr;byNy--|N?Dv9wyUoi~{m!mRUd+UmUHfzuV_ z=HZD=tg)j!i8*PrDt3MQ!eYqEI4${cZ^3}6{A=>C_QUy-i-E|`01jsEc|8F6rK=5< z;OU;vJ@gyoS7`7ZoVkOUtDB3tvHkzd98GNCI9OT!x46K=l_b(d3+Op+G^6=H*Pu)# zVU1M$i)iP6t4DIt{ZZX;Dw2S~U7z{{H!G`Wu-DrCHQ^-vm%`Bmd$M07fSw00v459q z8^QW$(`UlRuWuJPa*q39-P1pS&W|Wg;PZNQFr7qV!6GN{-jMC#oIR^rQl1?ES>7{x zd(8Yj$52b~*Qr_X6*y%@5I}`;Mss!admi}xIP`vExRL#{8XKtk_Uo%!t$ci@|Hk~{ znS8yzhmuK8f-YC>!x=zhijwFNl^9}gUo_~@mYw==sI2S#oQ6+$X)kw^`84R%j#}Ba zs??fy6ajDB_Rz8H<{13+0Bt99cbpXV)8g{5>43UlALg7M16Z}`#YR84G==E&_}bWP z*$>_bI-%YT?wDcvBRq_%P!qbti_yA&I(3(2L%x^_&C}16Jr9-q<9x%XBV0$^yr`a^ zG&Az8#fjZ<&Qs@YGJE7$ey=X0W7jY7x8OvKwb!(l?aZGlc^PP3h^3+%mqH7UE}O;b z@Uw>gZ7=cN0YuXArE!!?Fb(B@=Q7AgEiuGpXr1b}*e~%jqV0AEp{j7xV~w4xm{4Ce zE5xP>DsxqyXmw1gKBKEuEw1(9k*;p&*=_w3ycNWw#1u#02v%YK9sKBA^zqnSD`(-Q z<*P$|2woKf^U)X@yqI*~0`oOs&dn-Wk3n@v+wq+y0hD7RG4pnR38T4?vuAc?hJZv2 zu?20sNpfZI7(TQ}fBssuQ%C%Jgd>d#S_7kWH36dzf%sN1{1Vtz=Nr>A4R0zIT1_p} zNQ3u>JYq*4ku@-g3^_H`*o=$_A;B2M7#dL}P@kR$d#u|bibnsuTSNnz6cD65FFHN+t*lEGL;i7j#faVHT)-dWUXQADsbe4%3 z`w}hr>+Rp$<=E8R_2{j;=?X~K5jSC@F+Ka)A6y3GBV#V94WU*1iEzP5UOUh&)LH5Z zx)=!zouz``UlsRVVodpS3~S#fN42z9`i=Q)IlxQlVjk9e#%AzTX4P1e!NqSukM;J& zVfn4NI4Ow+hWHSFwzpARvSg@&a0)Zq(tA|D;Pmt%MHwvPYtW|iuEui_laq0WW>t53 zkoPgdO4!x)xm!w$P{)Qt{A`TAuioqs2-fz>@x-!{K{ZHGHcsogb*llt&DClF7;yDL zDu73^Sfq%VEs^{$((@ikY{uv~t+WZ`5ri|X%sB!Qh5{G|#OhH{`agcQ}U)y|i^tkQAdV(12uCnI=JLv^R zT321uR@O^=R}V2ssp_>|wY`kX@&cb~{yiwF5r-j87>9wL$O+Wbk_rTzP{VzD0|1f0 z^TRa;E`kHG^mm=5<*1)o*d&B_D#_~erDhBGDt7bT2xnGb3CYQ&UGJP&41q|eGV6}> z%f50h1WODNjh=tTvRd%DML04n3z9Yjyr>9)CC zgsOrQ5&R=pMEoT&87FE4pC%3^f%|7Dlov}~M8JKxZG|dZPEns>k)8fQe2=EdddwNT ze3oR&{v>3LxA{_f1w*lI`76gLA|42i&CVgj4ApJDNaCvjw3<<7x@dR_^CD>@5mLE# z>eJfS(xPsX9vMadnRV@Y2XMTpzy2EDjuo|^PD?uin(_C^ncN^YL|jiq$Kcef6*eL) z&=YyqJObce^ z4~>xU<}Sdx6Yy9?%7KqOGB4Ms10#_Vcu)Oe*9c<~*V{=CW3g9n4e*`0xvdX=#v4iE z4pZSYgc|iT^vX-|mg%$O^ASxWTs0*U3GSF0TS94*mvleRumlY6WHGab#7@#6Lpo)s zjM4sTgJ>lBDQkib2IcC`7OcP3Lb&UcZS(eI&W!$nn;uC53;pu(k5@?Oa}`1RuhJL) zzu-X`l#)L5L`bx1B;da}wNE^;-XrCNu%H|HY^44x2cZBXJZ0-W$?$a6ww+9AXDd^h z4ZCH^x6`|$o#*q=iZMaCc?7jftXlE~$?GJXA{z{x@(8zR`Zm9qq+Qgbk7=l5#p#)y zJ6`Ky!+3>w*5}&7M}k^0AO~GgBCs4wH0O=Oq-&8-P=XmK18z?JtuU@m)Fe0QIxDlJ z=+^9Z{KFw(lGm@cQdZ8F!rUBG?zl4w78V6|&ZL79RQoazU|+hWK6y(J_n5LVxXe80 z%+aLF(0_>VnF$|)zl3e+)dk=eq+bX}59<%uforM<(9(f~+%fw4kuC&2ue1wGj-WT4j$OB!)S6DsgIq>0H*!M37ti4^=+29I$O_mS7u~Yey zO1)AI=W9HA^)=Yj$w;UdDu}bdqyOiX#p6O}Q1Ej4U2D8W%lANM&~Tu%DO+0oO3L2F z^W)hkFwRZ*>9gaOk5C%@`Uyg*-jE09+?uYBBnoeD=J!vaF>Dg~Kq((evtE7jt}TNh z!x91#zR5coE+)i^I9aMOS6s$$E37ro*xEc<8?{4aDWsFB`k^XT>#6w5&hwZ zlEyc`eBH}#M##4bDK_h*iS=A)qE1z| zUKR4Rpg{B=Co;VdW1c^If_?Q5)_egGY@q|rI44XU;Hib^KdW;Dy4fv&eEAF2AJ~rmlzhk`uVJi1gaJiM|fF5yR%5FsM4TzeAPNPH@G(n2{#SR5wE}|T89M~9I>0@}cMhB(2o-`Oo zZ4pl&jQ@RlGVb2p9P+)3cEcf!Pos`b6in$+uZ0RHn|`7Y+L*HBWVW@J7L~cDd~xp$ zU}Mn|ZGV33=EeXZnsfv9WT|^g1_iKeqNwVs0S-8*)hf_;UIKLNu|67TonN)y?_WXL zSlN$i*S};>Rsz>4MF&K6AKDE8>}W)Ku)o@tr+Z<_$nb=ENlaoL8sF zJ(!-tJU#G+JcLl|jMm{y;O`_=Yx6cGM+A=)>wjzu6@Z-Cye@a%Gj=aWM@5xb5J}<0 zw@0&+9pZ`Efs{Y*&@b)?r%q6xdM|;wq6_tKgdynqPtoL9UFri6mK{AI=8o|C*$8$1BRL~Op^j=#jAw= zp5zMQKYoa$tsw!;iv?Tm)%j>&*>cWHOkQl1?P&X7~wx zDoR23O5%aQ16v5<5G4ejy?2R&%31`AoA~@ln(9Co3xc?6txUMbcwtUxHPY}02}L&< zp#uo}*JDDW?&A9LHouIS8v;84CRRyz=d}SwLtRzPQ%KTT>v`zPem@NfWeY*TA~rp+ zicc$&JU5bx>>r?ZL&zPl0bLqp^j52ngZ>t zFN9i#ycG5Qs|_~WGO7DugCbJxrZOq`bqgrsL^7p~M$a!vL@MXYNJo>0l&W{uiMkD} zkdWr6lLrTN_Q{aH%`p^(!S(5kL{IT({_Y<<>tZ$|+gC3SbylX2ei)yVX5~p4df?6w zR*cWI`fvLO8N|oyDxUsS^|xJhZ|9(MTU1*#@Ar z7t=D6I`_%AWZbD;jCYYk-r67DQS!~I4kHuqJ`qh0?bcZfL=ors&1ID}hoMa`tm0%uZ%8#>R55_dV!XL_4t;sJrPWnfrL?cDJ|+Q);4w*B}y1t4M0CfB4H! zXF$r$1D-~&d9lDk{u0Wz<)aShoRFUh?#fn3IZb$Z62j?$IZJuT)+0uCZr?j;xSJ$2 zXrx54tzzfxx{K1`>w4F=16S@r0sQi4e`3Q>i0JvXtNw)86)K#}@fBp{WD=_2>sDjv zRWoY-FbM82`)#ROi!wVsM)g8jdIcl|W?#KG3eUVD^##cdZY`pNRKPF1@ zmQu!chl(X`u}1R&M~z6-IsdiS+P9&4epdH)4vrD4-%R{GHX26DC?HxBSGjSHo{%U7 zv^t!khL`#w!);4&gB5J)8^NzJmFUw0=0oisupWv-TYG8b`|g&g*&&!q#dF#C5cxfA(Km{cN5F z<(V3p&jD`~G-oh7S{ydQv))|Bt?o8Yj`c#S{q&&T^)u(2u#5v^RT&bJ*3iXXj$LpM zX*fnP>N?ib_u^4Hb&!zIE{@C^m~y=(gE;t!86SGzypH{J;C^O7sR^G$kVntQ!#4b!&5R6im|)ZOcVw{Z z)7iT~dZaRaCfMfdrbWVM+pRGGOOyeFgzjEiz($R$Df=`~x2O*5w-xMu`>%O>j`yj= z-Z}x-CYK4J>)M{Hc-KkYlux&CZz(4k?n zCsJR7Wypu`_*KpijA+!89?90%wY!@`a?~M_Pjg}h06A%eD$fz6T0TdcsDw;&X{Lrl zC(%9jDl7V#>8F4;$(i$b`7k8e6g%=f7%J&~6LED2vHC{qc%Gr{MdQeR1aLv&t zp-GfRfQiY;_$43Ka-#rrswgihQIAeo+muQiqPiX>Ic<{o0{cU&O?eru%+K~#JTVj{@K6qtqF=o z5v)rC8ft<|biW^g!uFAxOg+QCmTUUuGOop~7Hx^onRM=FeAVY!7|Zr9Cx}z;#1FEP zFtI5F9GbXa7B&|6bkR(Ly~lH9!8eX24j<=4Q=%;aG9<0(&ZP6adkEpnpK(xU1A|n_ zx6aF4YOe9H?0?J28l>l|{Wwa6c)p1_#<~O3dXzyiK>wEt2*$~gHj4{N1N_xp|Ghqf z>X%zHv#uJjxcr^F?=1$6kGnLDBQGJ4%5|CLY)x?$S0FWEnS}GSTqH;y;cU8+BoA zEw6cjWIb!3c5Q0Avg|SF9Z4uO>@cfvB(aoy-fq)jK~vw~etwFT1xzL$t)(((Egi0A zH98uoy9scw$Xb;&#hM6mts_CCOf^)O)J)c**a;2y`nA<$O*@-tg_BoBJLqZEFk6^; z7;2iUUF_{4Z`^ovY+prLq&J3pCe1)yM-h>p*xu6*s9mDUZs3>|Qs14ULLSA@Irx>FuRfcRjYKL}&Y zh<&1&7lbsTu&N+E{tt4G{^cQf8S^k>_RHjp=m^(cPAZ01^FMw_5S`a)TF&K7(oF zS`nP2JEAJ*=~CB7Z8F`W)jNMfD6umr3scA+Ofsyz8NE40_bZI`He!8mu+VPZ{9;!@ zDl^=Kw+W4Ck}|iAhqp6=M$Ebphy-h_)e%wyBTjNwHK&4k+Z7v4c2h)#!+KHY5>IKs zXE+`~crdvna39UqS@z4l!Et}4lpBNnkzgcQV`FkZh%86X%v-+D->!dgWS{>5i6;rc zZJ@DRZr*);64p@bJW+-DW_A0l5JO44$_@-YZF8`)e*~KG!dp-CeA;>Ec7`HytzMxr z*Qc=eL#%UM{t7F$tllhfKO@p6*jfI#SD)*C7>6toNYlwf#l#{UR@^|{#h-!%Gv0rj zVK>LLLgW5m9q=lLL~k>|amaA~UGVW9=UdlH(aLtXxyM7l$%N66(|n0_4MGA6UqWBJ zG@*lSMRQDk{Ga%X;uF^3I-v^?PW@yxFO69qP2awca}69kLP%fSMs};<*{E78UZ=E! zVJ!X!jG>tHk(5Vu$siWxrLcntQkHtJZ4K_|rP$`Fi2P(^eM%`S&kGbhTHbuJwl=;# zPz2JG_?{CtcIQ#hYb9k##R8a#<9PKc1Y5~m>jXjps3!J`K z@ByqWPo5Kq)gyU}2Kf`=JDe2L$q5IQfb`8$A|8V?QI|T(w2J<~+>7 z1iOzL62}~-FjKtV$~zHRAtUn~j3qSuIi4UIEJgi{@MeL1{DaNAJBF%53sDg2UC{Mcr)2AgkPU=bU$j9|T)!+OoE7egU5S&_^Vp2v%@L-J;&d?N6ejNz7-v|Aa@d5JaIlw+FGR>^@o>JW_&=*-TO#x9quv)H>%#D|5H+mp8mfPV z3#hI|l*}>rD(!Iw(Zh9J;h43J__v-1$@H)z&yu-0qT+bljg{K_S(!40{a_dMOe}N< z_Z_(6v|q7Xcb~NzAuYo{EV%_DB+T{vxUzCI%pdaA-;7U3=Iua67(s}6Nz>wA%iuh5 z(KTs$_VY%Z{e`HhofGTnuGDUTl!E^J=)x?g2)B(^#=v2Ed1YGbMOX-(TqCeH{{?W# zAfg)u8YbdXQeBY(_Q`UXcdso|=(Q(0W@D75Htzk>GTPX9_>5!eZAM^1kdh?acBX!! zyn#8vbtpf%(uu0<)?@6Ii-)#1L>iZo@fUSXnJfEGHxP6I$(=pum>oY4jK(_IxBaru zwoK7C7@@qK7h%#~dSOU`zZ7NCKlj1Z^OEwwz<)h#q0fl6M{bjljYMEI{*{Wp(N8h~ zPthv({gF!kp6k4i0(AjE2tpOr3aF;1#fy@}=on9>lfaRrBYh09fNrHp*foOkLEv@) zL$4LEwC3839~#_rhY98KxZg-+%%)|`0_rQEv;_t_(*%lMK}e`Vnqx{EO8-f+~a@nYQ@LQhJv3&mQgJcM$wZauFJn9Y(!yC8rHMe#*_k#c{9%La=I zD~wZc;;FFEw39~=PhoZMDz3!|rT2uFmgKb#O?tw_r#b`BcUVZW-vAkEx`q&m(W#t} zbi@f7r1691kA@*Xt#QQ9b^1BUyYq+N=HU~pGwB*xZWFxsh&HaIuW-}bl7=3B)J1=u z1F^V{%36mDPMd+jE4iz%V8~~!-7TS6HT7oSH(u6KLbKWpBqjtqPIL?XsC!2_Syp3l zql=!G0+8_d!^Ui)y+Jy4ZJOABaKC!=JyBne=)_-If@7PICDfj-rwn|XOP}V^C|N#{ z(B5Fgg{yVgL7yFA*u(Hks$Dj=OhS(3doX@Vq6aef+YH{x6C#_Vf!cga3 zP8HR1MqO3FGFNyC?ZzTUtBqpK-Pgz?0Sq0r>4?gk{LzcrJgph*jtt=n^bp%5{PW?B;(d;#V0n zum90#k!$qg)zLHlQR}{cf`95fqd&G*#tQo|{qZii=V3oL*;LlA<2ax5sZQU84 z*|rfmxY^Ifd$kmey!zbj`+Rlvw7;pu#h>sQ*O5m3&Gm7vmGjl57#}16c|SBF9q%Hq z+fb{>T8)URzQO3u*kG`-IH_gBm9K3oXNIiMSy*?)qFi_xwfNUntr<;wS|Cxv%x=TEGY*CWQ--&LGz7qPo-hb zM|5ya0U;f@DTrk)9vwJHpY+qw%He{FzUI#!AvB+odiNmQQlsTo9KfrpXmZJ1Z^N-a zbN5G&@V?IPGbTdiWcIsZxTT}0gW`bC^@7Ve6d9PWN^2X9#(Y0;`)emZbSndXq>|`H z4Qus*dM**n z+O)pHDqp?f+_B1P@pCDaZFy@LbZw65znvhN8`2sVB8mY498_(`oj*SZyi9x1Gg`54 zyo^5PV3IyD0k@&!fxJMd${!}R)KD@e0a@4s5eYa(@!ERV&lK=x3*uNKIn?kbjo9?d z{$nTQ0m+&w!hq}#!yxd*zauku!&B1Ct!47W2}Uj$F%dztoOC)pSqI)L^(zk6Ug#bY zIuaGm{B~k)Rz^E(jrB6&$XXO+%d<*4UM^Gyt|*LAW=Ga$wIQ~?2|24KnHpc|Bdn%71mH(7F- z<5SaJs=itjgh5BGRIWiqg{U76b01wnAWv|A<54NvOR-P~Nh$mw(`ils)-OwW zJSHLqRQ=HB%#tViMck%|8ET?6340Hnd0Mvr=Wj2k&u?(cT@@UMhUO~Gh*^C{$~uXw zuUZ2&F2DevZ}w|%1!qR&S^2NnJu#zv?1W!IF?A4AW$o~?61fudopvI@N&gnkK_V`L zlD$Y1)Q%`~3F3PJO?z!@GuET%>ILH(M7n|%xGt=H4=gwcoPoCcr=XJgvor%Mb*+=e z^;|=k?F_-s;*|-R6<4Ske;WG%&;&)1Y3qy}H9#QPpeXDe)Pn^~Iqly}t_}Q%$Y5tk zW6di%NxG}+pCkdsy7?q%*E{U?Z(N9C;Y-LCt$eY-HNKu|bl$PE`-$>43nI>rvGRZp zJI2ydtZ*jBBO-hwI3g`2_CuPzL)^b$o-`YgblDmdyQE}+Y1M>w=ZuZx*-~6_J~GFK zY5)ZYB#-#-|C&@x-E`yOK&{)26Ga*Ab5sLH1#V4K9yXBM=&oS8UL4-(x1wPv8iQ~x z^Fs_}!x&^7?=ceIe+H2X{nP3el_&<}%os?9B8}5w=x5 zn6hK29H)-NAtxKI#&roDZYUNXdQA0T2Y^DU0z(q_Z7Zq6k?XzQ0V{So;C6D;8s2?0 z)?;VakX(4-5lt#l7(aWh#THf0LjLl6YO;k{YHLRdX2&u5p@ie6*#wHu3@&*^3kO;z zCKi7^Sh-s*FjN9F*97*l?KiJlSy6dNoL>&wZZ&R79n_!gZzC_spTZF23&RGB5A2BF z9X9H$$rfGxGec1r)%qFpTNa{VHVD?)SQ3OSO!r$zUiMjLSBO)@-0}*71UrJ)o#ogR z1-uS7O*q4R>E{s_WLf+Z?N#w*Zp8N`Od%N#9ZU*OGW(NM;_nreW8s+xlV2FOa=G^B zh#*rd`o<1$_`}Nxf1pMER_NzHXo1diW0M$Z4+H&U{T|f_zTx8~4Q^ATP-4~u5ulfx&Yqqe4*-U zVynD!Az~>`n+r_l?mt~6Bw$*l(=N)X3g~lKL18^NC-&Hxs~95diHW`MK3G|;f}C}* z5QG1@b7EL&W3+3OTn_@QL*z)$yGiO*cBV<($Wpak*&}AQLM_xZvsxPBP)&AJ@J<+y zfE_l6da5d97Ka$zKf=KVn}7s4glWQ_*nyw79pc||5jf-p{l)eE>OOVWm2NvN^<)|R zK1Y6UH2-Cq)46SlBf-t$V#SF$BXCDd1MbESZ}b_XhjT<^yZ$2qR$&jmouF&r^EJld z9aQnp^aC{u&gpZv-}C)BD33DL97o0DsNa(LdSEh=`MY!t!TfVh22ie;@HT=o25qyE z)^lCaQ-S2Myo+<*Y`#YpvrjI)ouYtOU>;0k$8vx*`gbo#q{EbnO0}qXfaC!hmY@Z! zjo~;)l&s%I)MRO(UU`Dd=*JvX(kFO-v#*>@sv?KZi|WPG`i;ewAbx6=HP+{VEZE9u z?>^mxdNh2YxH4H%CD59N*_rD{`;@d|;kPm!zuQx5>rBW>62mN;Lry+;_UNxs(@${a zCg0c40YwS2n6Bj^JLLoA;FcUYb*ovI6)duqji`X`N$!(+zHGVrvRd9vXwlV3I#y|4}iox`NFBJ_B~h+T}$8V{I~*(D}etu!!t3 z-!nnXF3ILJDW#_q<}60cwQxSHy0BdcB`pDcxZ1oFP&#GJBgN2FJ_0!IB)hkfO;B|f zcR*!&!|KDpeyt&>99DrxJo0j@(c(ulVIPY1T!3N4`jl@F5()<`GNpZ>#0=Euj{1ua zuch_J7mpggr|U3{+3$@X>lLzz;?4B4f7}U@wdd4q4gBCTw#)rX4Cyr+wliWR=JWun zcr||y$V3fe_%nq*O_P|wNaCK9qd2uZm;D5ZEA+-ikmZ^!{m+rt%Z>Hl8>OJJxl@>B zEgOk|@g_AGD1E}`=dod(vFZ)#cQRPmufftTi_nxbu?0QBg+@<+IGZ4a<28c$ck$ok zp9SR#RZo^U%SO*R-s?mnyV&V$`B==j#Hl+YKrai1+&`Yi#=pd>dZg7_^J;$0)@4vj zs$7w0whxjj(!Mw90g%y5he)S^0VGHtCuaP?G3@v+xg)bMV z7gh%xsRfZe)1LAactdMa71qWbwquhexg@dzP+utaO`|;;wzM#&f4Z4WK{J-9U53;l zm4|Z;>KL@l{j845_*C~yB&tX;f1(GAWyx0(Ca@!cgcqu@nwf#cQTZ2H&iDjKdDX+C zp)x)8l(012KneC{`XgW2dAK%{jWfKr2Vu(AFhlY@cldh4w~x9EJD z^4~}h66v6}ws705jYc-EG%A~G(qG8Tka7fSMSaM8*5AIr>Od&R+!Aqp_)Wp0AwB9= z9B&sL2DOB`QEqZ;24qiyV2ia>G31Y4EBODtJOmx`9}kWJd#@PJJXH&b^B_A_@t)lN zipRr&!oHHbHCfm|%@%D_V$>locID(GxFF~H;_%7!HQ?Q$^Ii9P41cxi-|&ie{2kOC z;Pv{66jq;tQYEc+inHgPa+v6xg2qM+rB;oOx>>zXFN(ss$9BkJn(a64^fV4nHRY|*hIh1vmN1adxXEuQk^Qz6$I<9M}+WA zClApw%Y^+rxwyo$&-#oN$P&Ta_SWaRSo_!$1imiV?A6mrexroMlM_Mw1a{_}z)qCb zZ!f{)H-AGQfqExZ7R=UZ-=nI9{qe({BpF-;!4K(a#>3ERLuY?>Qh2+g0$)ah<>+%A$Q)Y*_b zRM8*azv?zJMF8uf07fLu-~_Wioja;G4hzbm|3k6Vo(E}>uq&N154(xHG-Vzg!iS8# zd>#GoZ{hwec4LfMy9WFxb_YjBEC4nxu4gJamBD%`yn@C!Se|ty(k1`4t`f;V0(yMF zmJtltTC{h4mq5dqkkC;V*B1dFb}ZQ`dckABFAeAphEAl>Mc6I+DQ~)RmK(5y(EEXi z)#~vq5?$K=C*p?Z848ArJ)x*%=fOquV1s9a%+k7Dm0pIOFnNU1e5ncqJ!1MMUC7P? zXUCW|6|P4f0{t~;e8KvF|8SExVfL4&;*=Rc7L1y2DJzVJ`8HTbP_YCqyAN%zwhzAV z)7v@huY_*7Q|oK>PD+xBr9d&-`y)MUqs&LG=W#00YI-2XEqUHzW{XdCCTCW1#@{a3Qjl__NY!hXJvOC$Ccgie=xBnSmat|E;vnDO74N(_&?1&O;j z;ARmEO9X*Fu-GTuTbq)e&PlKH4MYYAihg#D5~V~?1?P@t`{Qj;GumdLJlWHGe&AJR zfxF+9sn+R03igZ)E04=1sVqj6();TN)~JKQ3fMVZGdK)%Jx&fP0U>kyRhe}zG41wH_Hc~ z4?A9pIX;^~nk-edfjw#4k_&f(Oiq)QZo^eTCYV%8v)sipP$+wKva-dRH7O_P!dkV+ zPDYx)>Z|o-izdk$OPL7$A$tN?EdC8iAtv|hVaJo7W62nSdKEYulluO`yfC}Rl#4%j+Pr&ODe3I& z6zGGS5+e5W@p=&lR*}@jZ>qGX4Co1xC)3TSe-NS=d>{$^ODhild|F2f znjFD_Kx1^uTo<^_i=wWb8=9Nep^k!NtKwJ&`lq^!u9I^uJ;;TWQ6D`>m03_6vB))I zYb5!}7Ud$!kSXrFjnXXlgL#H+^uV}?;~+CHSZa!5d-~NYhyZ%^(%Ss#qR+qSbhXL= zX{LTx3Y_@TJ(~z0;h^oIrjr*5Dny_=QVcv?aHgWZy^N@&3`@q0>zlf0V zi&&iCn`kSLq{R31(N(o_&KRI>1okDB!~#}%dl7Ef*qP=#DbAwbU{p0S3?aC*gFrDZa(dSMF&w2(fmP#XEl$byHnRk{nW_%O zh*jdjvUf-@1w0r=E?Sb49(|8pXhFNj4Y0-vHx<_NB}ABOM1^dmB)Nc1R*c_ZmwDi0 zoDgD1NWFgZ&<^r?i5;@L>JS>GonA45OSpwFRs)_oPR3AyxNt&ZYZM#a-fY=86{orm z#SItV9Px1>xdbSTusc9F>aX3E!j1d^$FJ9h{Sxl#glB=!uRPu`+opADc z9776cyslY{O>wAFb{++~Xr)iuXf#M^%wEpfll4mT-!Ab-K17T&vb!lVz?toTIpoJs zgVkJfWW5?}Quj9EdK2-qb!DIqnIE(i+mVmAF`p5>J60;j`GtXs$!?wPwdhT(hORcARX8@q&TR!+946T= zt<2`yA;m#*3t)oq>hMnDtVgM?WC%owH#p75-#oD}=Dt*;@iz1K+Fh2geZq&_V(SKL!n{9gs% z|Cs;Nh{T@S3j>Z0!Os0ZRo@g?a3E-R@LShqwc#^r4QUK>AP%3(NUwB9m1{BqRl-=P z9#PGnk{Bki0jxFQZcztnu@$2b@QAeBJKsnKdHth1Xz0FFeo53k#UwPw&_Rg}6` z&hf&;2P_e1`@-wd<>$-A`NYd(Ceh~KzK2InM#m4uC;0D--PNo~VDgo4hX~B*hvjUn zv`sPT$BO%Iwsl8yUWt}ijmsZ(9G-ja$hB_s-Q9g7bk@B3E+A^f5BSL^g-TA2nVEL; z!*_+nU%K{jJxzR%`fe!VcB!CWAOV?IV3LSzh~1d)qzp%00)S*1PpV@^Lo2fmA+&B~ zfiSJ!6H~p@C({V@8eVedaM^5MZ(4=&o6b6(dV8g5_;;6HJC`-yMKASvRyhm%v|Qh$ zH_s08IHU7)HlAI>VIteZ8zhdfI?^7^X-25fhyFvhk9$SNjau(B^*KnQSb@Td1?%NV zF%%O$Tbx%djV7R~?49hvS%ZN&r^q=zd-kie$su)U?!~OVKNu`dWNd;Zjgwq7kk{E} zcR6N$nmWI)6hcSWX`HgX({g=zdmW=w>~@?tPMeB+_7qD0jQlil*bA9J3Ynr=Dz65S z+4HgaNm%X11P%2&ffQu$Z*Fv#R@utG{p9O70n>BjjSX*T)JndA?I;*&K*z_a1k!%Y z_|a8?UFi2PgTg;X{EWg;%7G>B`9T?~TUPs2#0~7^J*$>LYsN>{lD{8iITP%T4q80f znLp##l=6BLuAzO%N%w$~ZC2kyNC1>Tn5q_c zPzlT`()xarMZ+oJ&&^#i4tllUG5I8zq`xPatg(LibH*bW{56cVRP$ejD_?vZpl_k@ zF$$$&Ad|o8@~t2BFFtZiLb!w8j#1H-@Pg6UAb2OS2nKO@24uzkD>{4y%?B|r$62%J~CXW=Fi;h!)xe_cB=`nS5UT8wW-L23SsCU&TYLb(CBRtik2=6_R+8s(U}`CR@! zw5Af4|4^`KU(06)%$yGS!Yg63wGjh0lQ@(QUwOOAi>g5ai)>{B(?(uwD||0%?9F_* z0hCRPxNMB&?}3{+G}cO~K%1%inDz?&Jb@rHv;YRSwz^}IZ__j8G(9ZJs^q3JMNAbI z_{99GCQ}B}tjE0)mk%8&3caN{82#DVg3t6B5R5dzaufz_x(9?WI$rm6Ly5Kl&a{eUy03i%mb26tz03O8y%^^Itus{^Q3m^a*pk22*QSHOkSs`jz z4zSjU{yPvT^qs0%Z};?2_|{^WGIR@Fw8YLUtlac3e=L(9(l)*%?Qk0!(Rhom*dEmq z!!W4Pvk|4^wCI>87JNrdXEQVzs6CBqbfV=$o_!oNqSI3h+s#LI1$Ge&<4*?hbD0ir zgIylkVclIXQpp}oHYUbI5%+bs zp|!XV#O*b1eQ8({h8d8KGnArlE#NFF5XMq41VaJHFyZ&{J5lmF3mWpz$XN8Xse;*@MlTMEe?HZP%(AF~ zraKI7B*qh?W=qwUx+|SU&2t9l;t)HTO+_u>nLR*Nt)j4~KELL2d9{dX12BvD4MC!t z4)#Mr3T}vcNafR(LqG==?y2KV*PMH;hqvw8?>|bHJV>e{2d%yHdk%OduDV#f#$mM)Z#e zmQnd&Imk7UTV*!XAYzk5z3fk)Di9CHfQ^(Fukc#K>9Z_wxA?}P2?yK z->y-$_<=i)12v=>%#&!blc>LR-$vEJt2)ywR1t=k=(|X9QlZWAEUUs|{_LqQr!Sdt zi9`fl`avz@OoNRCV}K)CV(D}y#)XbO(K_BX)a>OO?lmdZGGl!UM7|&%6HKVp79tao z{o;@%pa;F_0(-JR)Uobad7xGD<*Hxc4u%)hD+jH1={vKKezqlafAC<~i)67bSyZ8N zb1A zm2D^$y@aBKFr4Vhy;}KPIC5-!UCsgV<00$k*y$V+^3JrQ) zPdg#@sH74|=mk#MU`E86XMA8ho4tf8X1T5nn})%zn*&1*erawb>v`MNjLYlcJ6c1q z4mAn##~yzOBM{QA_aaZwK|(S_(-#nd-j7q=mldW-yvh)b@?$)u;AEw8x{(LC(N=HY z-h;TBd5_~oscQW?5I_uiQVF=pnQyL20p>;b2+3eRoKEylKhkx@_HuT{9AK3~6I*nB z6)$(KHKeWm>O&)L)5sXBemQ&dT#>J^MhL@~DB` zMl%_GrarcAD`6)nmN8-Gpe1XRwI7|9lV_P*4dsf-Rd(2(tp=e8U{1b~;rfNM!H4~L z#lpM@ZQ4+86k5JZM`3w0ps;`^$J%djk!@0?Nivyh7}TubWz}vu6TZZ~1%d7Kcim z6H@(I4wn5+o1e&ZA0$c4;Z0KFUTSya2lSLwXypHeD*q3t{2%GO|L|IceZgt|2UM77`QzEOLTK>zEV9qDG$0|cG{#W%TPr4m z0kwfv#WW@t?enyy_ueM7`(M}7gFGn3c2;hmgfnxk{fpV^p1GL-T7SErIA6GI{`ATh zKU->^lK!xNie#PY&LxT4Op{v~FD8#e!pkj|v4{zF95v9xOKjV_54F8#nzx<%ZL`@` zOB|&f?A)LPI8?)7wD4FWEYBCvcpoeOxs}cLPZP0ew(v#Cb|~NOVV&T$Y!|fH)Y+zR zYpUt^D7bp8t$uRC1CI%nSUtK&1bd9hoC6&(R@*zw&_^KlTg$H+XeH|Rho2DYP(SqpXsWHHw!8d# zBP`zEi*r3^l|CF%v=K+g6D8l4x`sa0rvMa+=fP`D49Je+f-WZWEOMS@!uhxC?bcs< zB-P=%_G91@Mj5i&M*ouIQvr>*ninf&9l1Km%-Uw)21Lwd1+Z0Gc_8P}7nI^Y0`OmU z4GjxTN&IV2j2Jov9dT+bYGaymXxfs@G!1#()3DXi?zAnsNVKtLMLtNgbB`hh`(xUN5>g#vtFdvB393c##3)TV^tn_u1Kn6V zyc)ELKc}noW@_=FctEx%!HgFG<3I=UXIaXTH0Vn9b^sB&mucATb{C&UwIx~N_rr*N zyH9|!Ps;kv+4!0zdU2}keDSMSBy{WHilPVMBBY!6(rkE^d4>efXz*qc!48*Kt~K;1 z%oe&5MAsw+4Wk^!Bt?--=y|yj&wIxCi5xe9z?9nz)lmA=BB;!1sN-1SFeCdE4sjn( znP0YOk1Jhs>xi)-M?3e;3qyr1f4*(c=@;{2`{|8nq{R_jwk z4K1Tw$K)^R1ApR=!=NE8xNo8kc+dvt1O?aj-KP^sP}{b&Izba(yaT(6o4;o@p3p*y zX`Sngfqs35zPn&6fmn$Cx2u&}xRVR;jOj&hDAz&`XrQxRaF%Ep(Iz$C%>;H~I~wvc zHa{Ukur5G9TEmkkacOo)jsFWY042&Qlfe618k2kCGzAvxwY^6r6YPv&U~3&^X6M-0DRa!God&j<)2sNBiLO!+wI7zQXHK|1PH3{8b6iD@fyI(xQpl^$ zg;(=ehjTnl;!AbCReZT&pOb3sr?V)Vu-W8*PERUz7yRM@WxInOM{p0!2HC4{JyVL> zR21YOA(bJ;-R~o);r?ITS7#(nD@%NuEp%xa+QV26a#)-V*}&pfVkH~Y@%QlnPMQSZVpckZyFW>J zz%doE2dm=E-1WRoZ%`i7`_HK=*>_y;jnZP=yASw&f&EC!u@$syE(uD0MEoYTt%zn) zA!Z21d+fQiJ6AyG4=vj&R2zrw^Dp_{=nPbLMCIfp8EN9fskbjK=2h~#jYg78th~9D zMIwEKcia83K#Fsi^z1S%og4N&c&}S9<_-+s9?GDl*_lK3*Z$VS8#>#15KJjv>%*xp(LC--YF)CI%L=d0zXEh6 zYin{R^QzLx0Aj=Sm?O6M!M05&HV3JRPbr5`C zM#Vc8#d`M+L7L8y^O+h01Vs?6I`bqv7Mbg{oE43yw z^rN3tpqTuXdjLhcNVCy|AsYAQ}Ve>vzBjHJuT zR8x{cwJ|IYFLfK-lZPuLI1!`onywZ? z0`oclJTG_|bOR?`tqq*rr)L8#ehng)WisZs%8C*~X##cDIF}qhR*VUV!+|>TWa1No zUd@aS4DUglp|ZbH&{*p1nl9}vS~T0yk1{{KHT=neY!=|ODrLxN6nCH}FjXw-I&qe6 zL7N4D#*bM!R-Xdb#n}7&RaU;tV^|U*D8v5CwCAmOiEU!3sCz?!5?SKH{I)ag74&p} zb{IO*8}BR%s3vOQrwW=XAj>(#qlMl880Gi}uLypf#FpSf#h`=^M0im*Pcy8cib#?_ z(Nz2t>=u%>Ce+rt-1=*|3I8c;tuwe}v5*REM_c-W z#!Y9Pa7j(1){ne2Fn=!KYJX20LIic@@AZ%u4#xqvb?rllg9`m=F+ThFMq=dUNO6o_ z)0IJOn(sB7kx1^K+c%$EFGqaO9f=Akd@}9tPi=Wrr)Sl zM>s95E-kArO{Lbu8fjg-Fi`M?@ywH*$)3x$a~TXT0uAYAu)TAppZ#>6tN0L(9(RxS zkNrGWPgh)ADEs-i_0%qn3~kIEc*{3HU73t~oGtn51;0U4NWQ?aBc)z?)ZCoMO9@dX z4P7peO!>S>Bv7rpIR*q}CIiV6IafoHRI-_Ii4>I1RJ@vdgHLL~ zaRHh&Ni>PmO+4}G`aX{LPEqqRsSuqqx^(zn?EIA_ z-u2Oau-_*iYW%Phr3b1>DdV%5+ky z!MA$ybOkxy%bZGCrcvy^T$bX_gO!F08>5j(6$vTRaPH*>CZE`fd_K zvOtbS$8QiPv!tg{OMi7+#Rd>hd?VN%-`~71C>BW4O&v`TM5w*SVX{9L(T8y=~ z#63wa9{X}(CvWyGQ`or2RL&QqTX309E&#EMHJ~TV3$=Z%yDcsEcw_09wX!43$y52< zlf-c2gY~EnWkCu1oZ9)L(v5@ipPcHqLRhSwCWuH}|KN4#&~pBkZ^sBS zn&P%MxnWFf-~7bIXmPrHJ9Or(SS57LGvE#?gHrriIpM5rL68N zC06TFR%YYUFrC6ew@V9%_CyjV1!yV#6V_-Mt^R5ZSQ`a2Va}zk*1MmYVJr26XxR2RL4;h_JQI?Vz&jc zIz`WCRTPm!)&Hu(4*uZ|zXt71+Pden_22(tdHjR$+y}+aU?wGb8+SG#+NU(y6|c4d zVSt;_2C$^!I%-$KA1x!r-(0TCKo17yhsF8c5T z!ZEy0qy-~TFM(jHyIUb@^StqtPNo8}&lN_PY}^T=ubq4}C^Gh2 zGX{rBj1rBV9O;#Tp|U+!Q-FEdc*v5WeX#qUOGkZc!V~O@=R=4(F+u<1Ml#x3v z%OzS9)U1MND2F#yAy6@URK83eH9Ocp&Kx+NU<)~G->_9S$S48TS4n-ijYv2HC(`UT zM|Ky-#KS;7Qii^L?wyy8YeTNdykl8#f!!3s%+CBj&>Jjaj@@eo)r9?fW4%y9Bo?`% zs1oQqn2+xgnv2WU*6}9DyCaDXk|MPzLjy%sgjPY!3V3*^;2^fOIrpV6NnM&{nbZ7a zC3WMJYvny!5oy9aw^2q5&e-X<5X0rQ4-+l-02_3}w_zT%7_=tgXgB0BJeD zXyt41l8#mR75 z9BR!Fd&n~<-Gd4>O0xE4pqX6opdB^AEcrw8@}w!j07gsMPfSL!7b&)ZD^3l^ty<{_tw(7y>=`G}MB^MN?1M~nkh!a)Bh$Y*NLhlU#EoR84qE^YVd zGX8x`>*$6M_Xml_B*g4D+2RCX^AJCv(SIO%tPTCzRGWB+FKjVbLs4?}^;tnRPfC>W z+6_pyRRoTRyA8NHNlPQEDkULOU@|xSgJSCRd_0zFrJ0s9R~x=pz>7 zULv92y@9ml4R6rD873O7o6Z^gQds~F8{O+-KsrLWgqtmCkm$puJg2{c`A!B7J9n<0 zs+aLo0x@s{_?bdI{$90)&{_X8dW3L_IJ}mHt52+EFEsqN^Cws!!V8MnUhiB2C~9O8 znXew3LNkx^Her7@KU&#b)%j+1A%wdT^Y$e57y_b4h|T_Vg*J4#ES{hW%`KoJ4MOc9 z01{8v#C)T2`teC*I?n$P9k5d>@t6;m^ec}&8Kiwsd-YUF-e*p%>~Ji!aS1*7NsA)} z7Ak-YP9w~yF`o3*NEA8!_QtvR3I31B+UWm50sjL6xQLmE|8w-28WjnC48g^b%G3lv zZ;p%t|3v}8#nlW~2fibj=){TI{P7GPM+DB&9E$@nD+bQ?pE!(WcYTQYFB%>9|E3v- zLNIfExm?XD-4OPg;7tFG!ovdK(txx4cWN0Sz&750^U<4ybOFM65KRA@p6U*WAcbJ! z`fng-2H*(~oT>S1A#1Y#Kf8Jb5c_|!Rqp}+SRj}=npvoU>|e(JCjQa}a-jToZS>}0 zYv9+BE=y{U8*r#u*#&3^k!q<8L`}_f1~xT^x_|lLY|RgzKz@kSI%^zd&MfwmB-U2Z^(<}aTRkb3L+pP>?pw0Gn2Fp^E2A!&RZE-UAjru{NQCNO)da9vd$O=IpAzIZ3_xuacEerTqqkRO#PZ*(p4~D@+bLy+Q*$B zH+kx{EhMhTRo5(ppK_E@54K6sLPW(y;XxK?`Vgg~K}ka8d6L@LbfT2#q3Ox}7>+yu zfUX}LpOe0+L_eSYXbw|Pelyp)IjIA2$O=WMD*_W~aERv?nLi9|PZv->7!udYs3e$h zz{s3FPvkd*je2?x^R$T(*&tZ0YfXuAx(h^_J3j3+%c>|vPXSa440w}?Zc$4p1t@DW z$?qL65Ch)k2a*UHg!x1IEb0?D2l_cYM;=`mzD7s{Mmm&6(k>TC*s2wZN)dz{G#Nyg z+%}dR(yVgtN{&AyTPO~~nbh~lSbViCNH=sjXk0c9(^YU@sHY{QV5s(4!sbhIHF6Cp zw4O}SR-Fx2B(3JBVRH>7$cA&nAdsU#y?=i}4YY-lSB?e4mUbRFmXcSVi9Leckve9J z-*M+;04lMOeH{whtY1fq7^0^V6E!j=j2|Y_mOrkIzEtopsO_*4*qAK<8AMcE02vr0 z_%I5(@SXl6T@OqR&{-=FMJAw%PSPjetJ3e=sQ)P46-5Ks(+|J)X}HBk2+($Dxt1R< zF;@6X0 zPVQ96dmH|*7EHd$vADU4z#Jx z%3LuH@8t6B^$3>k6OijLnOs43nAwE3w6xL07R(mAMtR|^_%yL%&O8>^I4k`mdF-Y}p&r_1}nS`;+Fj_6(V zeEvjpg0@q{g&!8{9(TTQJRTh%9$j9XD{g>TBmHeSboM?Y;OpC-GhtW!Ik2qG-JX+s z7lZW}MpS};##RTxCiy}pjS8SAjlQ8$H)3$xDLChTm%>B9 zY6U?41Otlob%P}x_Fr?iAE%OO__Q0%jrbwj9oq1mB6sa2THzJj>1DN1Y7-}ps>3{@ ziFBpOUUNRTfuIslqxjLKwJV9GBk$u1^?2bdTZ<|(gSOB*CfN719#L`OXAG)^OBzNn z_WB>uBH~0ZK2oi!x1leT{uBpQ!dW_~F&VSB@vDtE?i3}w2PWe$sykWo`o{lcxS(PK zSLx2Xpi%?ZMQ8@a?o+gi$+{!Dx>7lWM-WvEFJw&|fkJ6#)7UXq$i;pxd{(sbsrk6E zr?MK6T~ip%y%{q=6T3SsC+P3%Zd>6cpz$@4Jaw+{*`&PtFc~GlPqj2vQd=%fEYjIa z3TML`EfK42Ie-q**MeptmyZO$F|=3I2Dc$1A&!xbEuSy!pYNUU@s?{@@D4OPDdF>P zenhGEf|y4RNp5-eLPT;P_=j}^ERtGv<}s$gJuKktB{-f+_IAhXh)xwCiVVebPsfdN z`!X8gWXpK@q}5zpZbHPAmAiZ5)gI@GtQ;1(at?|QvCS>rS_|Qi(}u+dep~%wJn?Y< zGf`LdRM(l;&p|u2n`T|jfwtsFmS{$Xj5 zfR5z6xrWV;L$Jttt&&nxAwBf=E)X<~eoxN(vJ`)#BMp9%||jq(?ph!x}awmJxL#P-!y5% zNk?fI=)-JP(F)f*)nZaOxgYaa)=Fs2fHa+#eojZ!-jU0alqiR119et7;njQ=DzgRKyj{ z{Drv_RW`~CB|Xgug-^z&-TRsPsVOtvN_P3}msEx7=yX}7s>rysQ%qxMB{L0%Am~!B zqWMfZEcJX|_B~0BM^)MFN#cc@RRWfl4AM3^p{YzREvmeAYX*g+wXeh|{~}8WOYGZU z*w}iYymY<iX|X^`VSoPD8~TPjOxZg#<9%n=?e_ z!jBb^q~8oq0_-ynObUzmZm0TBTKIQ)@C{N#Q`#gppbs2dSApdIE)SIAPMTRj(mpAH zL()QInySt`xa5M>Zah>WgpX4aN=z(jEp9K0Vd0xJjozE(R=R6;4G zidcFE?kE1tf%sqeJZYMM=D)-gN@&_7V$qn)N@z}g-a=$i*SLs6-ZFN>*jd7NI|KN` zAvb_x>PDtC22zzjMXhEEG=w|IFC_A}Pi*w6+*ZBE9R)P7YA)AN+BYSfqN}%DznjQ^ z&DI3ySu1$#`7;GCUl*$H&VXR9IWea7ds?q-Vl;%j2T$#$b4e|>sPoCQL;dRUWJ@Fa zQC;xC!rc!^pg?2bnG)Xjy3^rs7WXlz;-L(E66vyHweDe-w%inP_^*K!(5BZG4kyz| zB#vq!uEQmv{jL4GsQxi8y^lX`gmO;y7_E{^(EQ)H!VhW0S@csT$UzXMfsCkXuk3%* z|E5w%c_py*|6a(G_p`gEfLzZ^@wb6HRD(DtEAczCyi@S_`1=<+zF1EVW~NVxj44oa z@AvQrP-bmF3>LrY$6nwbB*J*a26IY;La0n)^3XQ|Grm8Gq0SizKTljE4+G%u&P6QM z?->s$@4S>Nu}e*UN&f+rR-#3ihP1hHhMp!ZM8R4#1hOT&Ms~KL98n9e|Cm?ppmM;E z6(+2JC>_ZS6XLxyjl?{|HR!0>+X(~vjl+d{7J3V0Ee~giL#V7Mi)@eo zQ{|AYhI<@?V&+dN&OgH`-m2EUyf*D66pP|rpkb*ikC(g4Sdj-JlE0_G;EzO&xGxh+ z+Cs2ANAH*mvrOO%%$b=HUzA>KBT65SFS0rIZ;}x{q8wa$l$}hF4{Yjzpdl@AcM}V3 zqL#8Vif_xCP|_E^{VRa0GeH>Jmjt7JyCkWn#b}S|x#aZwT$>akqe6x@p)G<&US1iN z>0xvqUx0sTX+9n#68}@v{~!`hI%g2E@bG0Ies)c$cX)0Ev-z?!ubdIi1oho|3w!XI zf|4Luq#Wq9o3c329Jd88&1co?Ngm}&q^wDB$Gw8xVx|2fEDa>VP~xI{a1H(SiMS|p z?lIM9G*0Y15EGV{x49%mgjAk*4lXsL%ASCv@@a}J;rze$b=ia_qe0b| zR!O*jikSCd&e@Zi)#07i z%K0mqdDuFdm?FF6FlQ*R#|VjPHUIU&n-HCjt{)}+lOXjQyvVR4c?ImpwET?o+3mtn z*#+|_dy?KDMj3l4LehC5f11|pn71i@nttWtTn-ng{vZjS(v>S(1*ko%W?~}v9JUhSkt%{+%lL# zY7&G)LJoN^wDipM0UNb=U&9jjbmi|S67fPv?ft5R z3ao>2??d+uf4Z>Kv7~)?XsrA6$dwNXXax3150#sBG<`(d)(Y@i062_PIbQj1YBl>T zcWqzl4}ZP#czwJ~TL{o0=R0~cG*NO-Zl#Nj>Yw#=|*GIeb6H}wp|dje@0 z?;(Ytj?8UbVcGk^|6N(ykcluxQfXuTZUqwb{ReZ~kz(}0 z#YlUm-G;YGa~n5)8aR$u=kbFxyw}8E7J|#5Wl+ROODR!zxUYUE*UHBg(p~*pIBzLP zSP*>kPw*{__OOa@M)AvbxEtLe!Ricyatvyz(Zj{hu_W*N%!zay*;O zoy%biN1JIfYxzN}+g=+DpWNDGeDqM2ZtCLZ{*PEQXaPGZhAVmU$L+1%wZvxP*1&fL z)9=b!bg2)7rseH%??6O$nW+qgV{uE+k;^{i zEWfY!)7uv0*BvR~vQD7^f(Z`Um*^K9PoX9^P}J>psIwvriP}h;ncj<;XV2%L?aABz zrJBRv465@!;M9b^W>byKtJAH!dRO70d(etM71MSOia)9zTo4&KbRhdBg!lF%Q;Bjr zNqb$iGGds?JwCadTBpX_$cEb`5T1tx)Nf?hwfa*lgVG}F($MFeB5Ffm%EDBAvL8dS z-LDKrjtn$`+I`MyA~0ounLY~;B~m@d$+i!id8b>P_CxXZNl{d$7F5-$UIQJIX^e4>`%6-77&}~`+BKYRN zWy5wNMg1IKkJz}ZvV1gphAx^TpgmWl+!Y+ze<(h3EH)qx@BCthkFflVX*`O~ z--TKfrB2#>5%qZt#n>F9>1x(`F!91Na#D=}L+8BRuIM26F#Np}QMY^4WMU&UNkXYt z^9;kpp8gPuI1>@=vrKg9wvi=3HRF~J$5m^1g}Jsn)xOP4zGh1Ya{O#gyeYE!G$zx0 zIGL*t6cp&KQfN~IxH(SlpVTSblFj$%~;}J-9j;Y2l$QEFRS>$ z9Fih`@THR-$ThfCGM(qU)~y}U#WKm#nfBfjh^RE5XEJZ+x>&4le`}DF~ z)pJW${!HNzEt-gfMGW!iQ~F^xY&WTNic~l;4Ogaqlo0nBKDmB?(0D<(iV*Crc7Pgk zM=R><9HRa87o-$@64Yy%yTC(bDMtvNz_BKjS$nH6)Go$lr3ujZ7w6??Vnax~c9zDw z(kt-}(WPf5X)~#CYq)G~0XfBUAI{+zK3Q3(%6t3??%hI}oyr^lL{Ie$2BJ5|lmLkV zsqj5O#OC&L;4mO{J?HCbYBjJIkcv|9RaCRB2hsvk#s7RIWVL?P+w_`&-yu>xOTMDM z{0)fI>hiDpT66~x1V}B(1R^A!=@1~W{ht~dD^uz;4md3+TU#e_K?2EFu)8mIyvXpS zs7vjS%786e3X?2LA@%ZTKX8&``zdHLVl>w-nI?TB5j)&aQ9n9AuKRpYz>O2oO` z;jkMAih=WC#IXpq-c?Sno@A-Z#tH+sFOf=W;<1fFHhT(WORdjt_GLwV!!3pTVm&!< z=;sZhmVOq`6HX!x1=z8)bBS$79E=_X-`EpTr4cI z9oWf}t$%-_h+YfyAa5oO=b#mc{D1*4@qd@(Xv|6ehS*o%{uCue${dTvh1qFD42noKfQ3;TKS_1yRG8aY+>`D{+aBxb)k!#4 z6n5(}Y2wgN7aHhABXboRJ1p+9D3RzhF7KW#Fefksb7sk&u=Jm7y=5+~U{HeS0Bkuz z_?C;Od>|nFu)%C~0KF}t2Faoro#9U!srC9c2x;LWeKD;?0>P1ij4JWF|L?H$^u{fA zbB9QNR8}}jq1ePJ_PvRVHGB8s>W{aMONCFb`{Np3{?D7Wd{EHzg#wY@`q_06@2~5* z@=(U9ZqK)!xAiu?>JL-U?ZwN@?e3bK zJNC%=PtfLMWWN2kO}CZ%=6~vthuca!dU(Ic`;Swbg220Q){T8^0($73d6)+LV_DNPbotwc$#_HNOL80n40z?>q0(0JSTZ8NaK!n9j+oo zhrl)%@8Au{bE0Avsl5W{+|)N?vkx}DTU9DcJ!+v_m=8+x36@VX?R#<}P zzaXRBe&VaklU~1%xq_QYkkz8$XGgg)!~C=SWUx8Ro%PyIxI>-&r;hred6_Mbb!C`4 z{m!{u$NhOD)F~w@FRL{N2)nY&b+w}G3C>0?(}0Va^*SVGK7_%eT4xkn&bIrZWr&+! zqL^wJDnrN2xM&YOJCiQ5kj+auT}Aorn{0aWtdvZ;Q-Z8>dT$*#v7(s8Y79?l0ZUmj z#)uQmkklmFkd|te>7jHq*zI2j8Tm0nEjzVWK20o>uM1^xCd(WWK{lK#L_gv26-p=^IO50d1(|~E5Dz>V7zdqxR!pF|GAku3vd z5WdJ>+{4=CAkdQF$UP{*kjy$@5hY=R{$Rt7nNK9=r9(;!sAHx{uB$n!R6TCuU#R!{ z>*03oI7KA-n4{a-4)Sej5y*0JvyA@NN%Z0A>iXp3x-3{j1l!8t!zqD>qx2jQJWi)5xrUXRpxLZNaLz$ zLpoeyr{hUaTCIWEGnK~j&!Y239i~C0_Rk{yuR*dkt3cMFppDnlqY$q}R`Z(@5yZ?Z z%+tm&j^YTM-$i4QP;tEO;)d}Dz`_f;QOOeyh9?7m0s@z$ ze*%64v_e36WzlWJcx46o+vOB0L+~r?$b>E1Z^=;AYv5@@@awmN@#~|e2*subQA~@n z#KYdjtrx(4Q?-VWouih~`AzLl2vRZiBV6EMu1pZi5RN_hjdLf4V<7RjmY;NvE#hX8 zdNfax{RzQKO>r!bincIM62l9MpSBt28`TmprC2$sSwb0#U)mh@w+_5e>`5c!U5UQV z{}|tj-AHfQB1RXfX}@L|f$&mGq|1{eu!TEPCMfsIDX2iXo(|IJ83oPX%9@~ew(kM% z5p&%>2hf%E>ajjrKd-h=1alb$E~}Mo*-dg8eJ_!>+@efS@_6wmgxv|JvIBu%_kS_T zfFT?Jd5;%Oz031N@{hntkr z<-!fQ4&s-3fvQXq?gh0j52`DeS8^~cHGgj;hO7EeRZY&@8vMOYe7vR}hl;-Lfs0E{ z-C~p3v*kK#4d|ay%D;MFN|&RL2{BCq65&M<;vRRt)+#K~|()lELHWGG? zbjYD9grJl2a^awsT3!YJfkO!GoSr1hijlGX!G*1oRO67OathkLL!l_~)gP^R*knaD z{p1#vmvZ2utt9?;wn@NHE%5&5^MvqmgHDVJ#+*i+6B|uHcIMlcw5@FI*pMTq?5oKe zZ7ph)iU0(jbkp~sUj>>!;?AybZBt0MPqE|gUO+%|8WA>6JdSMYecNSAVzo~i1F2fs z9aIi%eBLo~pg+hB7Wv;S1D1HdiyazkoYcPU_))!Gx^#nfGcXkDq!EQ?VOZ#Z)Digw zsuh+!TWW$nFK;j-n9+PtA^i)20P~4_>A8FML-0E%+4tTbH=%Am{=Y)4G#Uzp4bL#R zWy6 z><1*?;@npFu$oC)cZwfIdn2X~)?uFQes|?KE#r)ICg}CskO?&RrTwyD%lpDF`|P{# z&cli9(jWD+!P&xYS+RxxzIO1&7`$wLGL33i^Vjulh94(dH^Y5a)r`YnggGDRz{JBX znfE~kp+xFhex>$i#TJa{GM(}%o;aPJI~jhRpkADL6*B3cneyPbqSsPiH_Tj#KP229 zdAqbN(iEQ&y!PL%s!w-Sc?g5C)-L(HTO z0Vx42nu!|(r3hj4P-p|@;2=op7yLX3VgbWIAXwtFZz!QK7Tuvwt;`)0w}?@3wt%9I`U3 zJ(-Vk?8+8mHb6DRJyiN`dnigre5zo>?qP+Vk=%zyzqbfD^)w3WAPS#ne{7#Xt^0`S zZy&8aK^)U`F>>Sl@yadR#C1>W@_YIyd42CywP-ZGuAnyi+joOW8Rr^nM&;4Gnf#&p zl7Q_;Q@cFAU(;9IM#h3v6mf+?>sw1t8)sa&UTs?Dx1@1~c!y(XJ+79!hEg1f3)nm` z*Ka3noMS4aswC&n=4HgF=Fh7uH~3%49=F>r@dsyXQhBpCX$e1M`X5}b3U=9{*OlC1 zyD%TiXUVkBC&x|}@pqfgGA{YS|Siggq4-P zB@%C7fz{K;TbM%sZ;OQKfzYp{h2DYIf0Gt!OwSN^>tkt4d(4qYlEy{N@{i@_r9!Qj zNg56grP24ag}~)bf9l~mR25b_1dr0qI8_u26tzH}Do|F7$S7j#MP%rCXUz9Qa$0iw zQe_tytfj5Re+G@0?y``xdkJ4gu}eRnH#_o#LWCyuhu)X8a2j+KQ+Hh*u9V94vFT`b zBl3B&g8cE5#)XR(lJa|M#sx#b9_n*ysG~!t7te%x-%-`+Mw2WofF!(FDpndAXr!FW zC9oS2WPlbwlZ!@@f0HRKF%R}_J*Hz(j1TrFiRN=k@Gs?DlP<~yMu<+hSBz4y6P7%f zxQRQ8Bn#4Cb5(-lo z&lMn_k=H;4zqR0}$dpR1#KV`Zw5@Z5cDn!*Dk!gPWzgSv-XX#^7WA8^DL;<<9XslG|LjxWDx_pvvYw8A86jAR)8H#Q;xXhsndV1{1 zM=%;bb}!i|x*9emJLgBTb2jdfJ#GZ9@x!*2U8Xvk?92c`>=ErSjr)cSw*SI+fg~^v zad?6q>sZ)uVaw9~p;o)bkL9Y_GM}4?7X*8%8#n>8^pTcs=L@>t_CFpOB%LduwsVMq6w+DC8kBWS@qzf!3MVg9h+A3@` z@IbCe|GCbYq-0q{3>zn0t6&5O5ZeQ~i;@@Rua4+8BclaR%h3R54kZBgQ-O#+h~{Z7 z<&D=WcLGqH%B2i?E!FZO63Yeh!Lb^1j4W2vEY`%5k>2D2^S>z<#Z{&Pm#%rrjBx1m znm2k{0&-D-O2a5fBve8L(K|JMoCI4WG$NQpQEsHurM2%SCeFf(N#D$cqLW&dCV3>F zOi~X;v=ZcCanwn!PFRaqlh{8Gj(XsI5Jha#dVn^!Zj`Ca4FgEuH*D-bPhXa;E-3~c zMTP-h{S&LrHhRWLEIMW&sO1xXSb+|>zoYm#kE5e@Z`IM+H`&n4}uYyZ5zYARQ zm=db=+Bmk1*_pW*Ix0xBP+k@hq#Qn!WJS4_$O^zcw_DUN0`zt@w>&|A`u&(=va0!Q zQ=he*TK9Whb_l^UK+IN@`G@rIv48IvWC07hq{1%vyYDx;XRzUzoiCw;M~O@H)YI-8 ztm4qp@{c z*Hqxcxx&Z$Z1*vM!hFQFUP&dJScUmjfayA@f2{bT_9k+0E+)uV_(8BFB$k}^?)KQx zH{j?E$%M0WZEFT(`?$dy9V1uiaY?!;ow*oBjNsI}>s`PGp?zhLtQ$wtbp31RTftir zr%l(@JJUT!muO+ql#^!S>q+YCtj;)r&$p8ODBwyPXaDqe^a`J=^%sjro-Yz*Di0Cm3Ph+l6{B19%Bhe|WfN!M za?$UZFUn_zRxFySL73bIBP<6w?4S@kX zClL(LC^y|0$}wY*26fxYY<&6PiB56z)gz55WQqYhm9f0a5$B6;18GH6Gebb@b8nix zu`)_K_tGoB?XkP^^es}raIyTB=i;&)V;2?`;lTwC#BXHcQ>q9z(em{namD!SI>s&5 zT%Q3}9FZ$I&`z!yuDlqI2|@*oU#O#^!p7rDi71rGD{Nh*-uHAsidKKPA=l5-N zU`ubi-Nw^dO;!luc63=YKWCxkp3C3s#2XGLdbHg%y_MDHIvNZdqrgWxB_DMBxg4$7yO6$kn{nS4Jv&aIU9Ayto`Fp!84~Gk2Af;KuQoK O7OM|dQ?ovc2mc2g#qUf2 delta 37129 zcmV)QK(xQ6q!Wj)6M(b812Z)=lkp8Gf2~>FbK5o&fA?R($;;7mGD>_9 zB>UD*o4f0@(=_!=ADTYU5+rd#kq${k@%{C;i(OEpOxu?xlbHxuEP>s{Z@=Iq+C@q9 zuPX`vCy|U~UI=OONXbH|EQ{8Ms}ENqOR}Vh_~&Lm#qT^<>W66{B%)BbIsTmYzX=E2 zOiuXzfA;E|*TzK3h%C=!bh~{d$L%KiGydW2cdu`+|GNF@Dq*pIynRmc-{4>1eCqdQ z!E6ypDT*{zUNDu4)J8T_A~7k+^-jrTCe}BvwVZt!E5Je_AY?4Gz+{b8A=K4@4ch%JnE2Xkn)U zX)T2^I!H9(0}EuL$P#}GIuV%#(}=9l#F-G+T)i7@!5WDMP9<#0tYwE^(v6phpnY26;~fy`SB?UKR?$Yz8w zf0kt1R6ExXUS-74hY5Rm0v|&V^blO znyY(Ua7iny)#Q@q8JEn3$?|Bz<>ghC?V*RJoYW=BK< zPBu{wKB2R7!$Apln=23OUS!@>f90e(QA%E^DB@fOqqjf5q1f%3HOaF9VSEsj=*%)W zGZ_sSVdvx8(Rjr9$LkcsW7QseUYR?(iQgsCxO&6O?~*j>k83p0o+u@I1j!X9SB#|fq;K-kXgG;q-Uc}#*=#_pMf2F50s(yt= z(f$&{iSPXlca5uQek5@>kSrIi&7x|`r!>U;ha&|65H%*M`{dTg!Q;Y&fPy>|yP~v3 z8o#;3(Np}iQr3ODBwE$1>*Izpot-E`(8TCP8FA)$%njuO@tmq*&rA#4L?{R1-9xk_ zf1kOLozy7`QtBf&QA)?{f0h=9z!gq`yYUAht#iY%LlJRO(ubI1@|bpPYgaZzekZj7 zIN}+v!pl_(c;A62cp#Af9`2S0mXz$2V+i4 zzY~n}0y_kbxdQBI2DlKk&A(koQ8AlE#pzy;tvhuZt!IVjKYAkF)qIx+nq!oyDU|Di z^D%xIwg~(_^1Oe34-A5tJXbWZ)DNvM0b%a|8BiWB4x{@k7_Of5dYu$;jm(#Kh6_{@ ztfs|7a#?5t+Z}Lue_?YHHkm1$1cj4)a%8*fiB$0>(`@T2{xQk}(^Jub6$iw}eS7dD z@Z`;=LgBDUz?G`mw%wuRSYuLlA{=eYbyZh`cO(BT1t?hY2?z(XNK8!V=CsdZ0+@ge z;!0imJ9`BCbW%T1V4^BM3*|gEFdTVtf{wQ7N~CzGf=O26f2Yh-hAlWfb*MNs0U^MR zg#@fawBI?gq{8b8tT(zm>e@D#T#Zs}B83j$IUZu8MyvbMCwg`!q;UO={)(&<-`eor zr;%I6jq^DU&uNLWE<5araM&J)r~MHj=kFYqq!jMRpP+|)uD`&|>=$(xV^-OfY+7GH zli9h1J13uve}imD3P`CKE$+iHs1TaAc~J~WKq#F)Q-N#fNtCwG&q4`ad|}6tfu2xn z<6c?uLJ6*BCAeHF!HsWACS0rMJ3p1e-HfeY@nx6OxD%HQvm%ygW5btoGIrP@jhD03 z3#A1<&4gnX`>;Y-Xo8sIpP0B67=|{zbbM|GN=8C?e<5qzykIMA)204OK%ROj3GygK z0oN==!F&?+KMT{~fhw~>h`S|BCjvS_s6B+FXQ;mqX{!N*uvcCHdf80d1xTj?PWrzP ztv(0QCKom{UkA|~fzj9$fhS48^1~75lxA}o7;|nD0*5cqs-_>7-ilP3fVd-+CvQa; zRx?^8e-_lk=biLLyG^*b#|BXZH2!lG|LT(uY25a#@e}bL)aozt=sX*)E`l*s^1H4) z1e?_Z6{(=tfJ9^#-f_;%6#t;maDGrl2cjYzP9d>rQZSXaAGH0g)# zxP}hF(bShmMGzMV=iY8btrT5taZaPie!}EZf7fJF5@VJun-<%MqJXx!4#^s)6}l1v$bGu6OVkG^`<5yhKcUtEsbox= z_+8rWeZN?}Lf7R%kzj95$NGQ+^Lu*C01C>D6s|kX#oGxnVUbG(YB~WGFwct!uV&7D ze+sNZY%FQiL4>R5u{FW|r8^(GAUNY7(~N^mQyIIVvA^&vl-n6Kfwx$RK|}rnocW5s zal6C${ciH%0W%lX(h_Uw6dIa8pj~nw(K&o@2Cj3vqp9YaO3D}y6&T(M)nsKe)_W_W zOlvnNeCIs`Rf)VhFT>$ee)gF1uVe=Cxwx-MAMdw_vH=+ssI`9fzN6G%dBgFh@uymLc%!I(s% zh8v9#>!vSF{^`q3+l5fK$e3EM@L8zt%X1ds`X}(MCglcy)K?IK9_T~=K!HBNLTNm7 zGW3{MAD3GO{{R_Y883FH*F2n$&6K-%k7?#gz!e?4z9J;m5Ay;(l7$k|Kz7DI#)Q8j zXm$B#u>S$qK=&G#aF7HP0WyP~Xo*yPo;HO@ol#}nz{yg)PP$G5svz||JpW%wkFtP;Ur2z`Z&r$x`9%}09N7S4P3tLxX7x2xZ7zc~}E_QmZ>n*RuYmh-vqrxlA+$M?N7 ziUOlp5P4DT#47Ma7?EBd0$V-)>fG8N_bc<5#(5NAs+vuihW} z70{n(xo%c#_!Rn_miwJ%zB=cnvfhrOKo5V=Ii4M#rk+xXJzqQ~g4pI-g85@Ha(O2= znww!A$k-F9j{`68|GOc=*f)kS-;TZ+euR71W_6B+*b#YZh%gP^2VB#%cC-Z(jFo1) zK4a5xLjjUEu&8W`#mPM&f^J zZ?y&&ac_6JMs0%#wM~q+B0kX;Waw#l6-)rqoo$y%GfOoAiap+qXK9R2gLw^ZvmGqJzw0n>X%ma(=TX>*I2)Zf`@~q>Ld6zUrBN+|=$S%u! z2o5k$6dJpiEiIyVpgGpQlwRbgFTeo^l_5EugcqnHs5RT5ALLWn_Tjxp2( z*e)fe%d*a@%5a?{W{L6OAcj!Sx*d&-u0fo-&Cr9gL_~v5788mo9I$~Bw*UkH8?o%J zZ(6hj3Myfxrr`%)hS$~MIzxDQctym&NzzbPy6cwiN01jYsl&Gq_1r zbxUpv#{_}r$6SJ4qMb2TWx}so=H*ze0F4k8m=F%)yaYSK+xYl4GF9%y&)?H>LkVUC zu8z02n%48I*W0Eo|I&X2t&}yMVp3LOK#ReU3EQ?A4&4_^X2!?q*eGGhN2|%vuZT`L zHS}o%ngwj~3PB6>zj;Xj?{78j-|AYopnpO1q68@Djr+q4?y;cb_0UoLScWqyOWQ5i zr`KPfIqxA_VtYEC0DLNNi#9%*6!Q^Dr=Hc30_zTg56RcST<{Tgc?F z1%N^mDR1yDk3{bJcF6mo)y)6UmVHk(6lh!aJ0kP_7vANgr#|Pxpgt+a|1hA_*196B z@|71wC!qTaRD*x|o*2<<)vsAw6;$?Y;?Kmxa*JEMPyV6q2R;0{#M(44|UO|+r; zeo_u4i49U&r%!==4SlIXh4rq_dR}YG?T#&q(>sd$jd68k~Zj`?PY0-)nlji%V{9;;!}v^ zB2vW>G@d0NiS;41ygg}wMKnCDelAr`l#v2T8{tRU_7!_66Gu1t^6Dp|kQreBQ9BC( zAWbC#eV)LKy@S;Kp+4Ewz^Gm9Ip8er{<<+6pi_}+*tT)vKUibcCmv`a5=~JNX-w3% z;{1PP%_X_!x@yb&veH}QmrzudHDw-i{->*|TT@lxR;ZgywJ#O_GJ%7Rn{i#N2T=Dw zjALnTe*6KpzTBIx7-Z2cf$6V5sNzB?1OHUev<3}eHAitB7K7O5Hv4m`r4Gm2ELE-3 zyMerz+qgi1zoSPZsi`p*k#uJpOPp}NDTsf`wh|xAAq|Tpjc`Vl=}_@`kQj!l zKRKyhDwc-YKC21YyUOAvW`*Y~3+x#sg#Ckg2?=1dX{w5##*{4Tm|Bsq(CGK3566Eg zKLjllzMSAwzdc6@g3!*N|>K&BQH^y2tAdC#PtTdRQKJI{LRqLQ#Ew8E zyq7!0h+Z;?ZKkLC1f~}VLweW~*GWGRAp`f0P#Nd13oBgb-wzd$O&BAi&ad#itZYlP z{&v|@H5Rbotlj))C$JmMxdPfw2` zT6QLjJqXS2eqAiSdPNo~4r09FkWCd_iU~2{T208&R5lc%Ve*EAaSet>7@MdtVk1$X zCzGfyn6gP3)~J~5Gp^NSE{3Bwxm15#gDGfpBvTX@(M1TR7IaR4np6oTGDtZ*s9L&>nsc%8C7f$tffF((sBfqNVcc^}Xy7ze|KPiU05U=~9J_Zdcs zJ$z$~RmLZ1qy!rQqaKGL0FUDkd_E3DvY~M#0?Q?%3#p(c&?3MCa0Gu6KCgdZkW(R;891*)R$D=1QG$jOPl~dS zz;aQp;W(=a2BSfVVAiiR9z}mK_$AH@F2H3CwZ@~uJFebH7#n0{R2RZ2qr5>VzbGws6n7eSfuEb^9^L#z+6^ ze!Esq_>6V~_qd<~qB{#Si&~t%!ZvzcTT=%>4?Q+$bc#VI$9ENVU zF?4UzZbUD6Xxbv%*!+8JC z%gvjG`>x;p*6l{q{=)sk{p7yK4cNF)XI2;m$|dVjlpq_e)@-OXEovr8WKnGc_IRZ6 z+_)e6=e13p<&ZztA7 z3d+wHNMr3ZkSbeUJdXptpo(emF>t-N2%h0ctd|E`kq*zU zlaxAC2%LYKQi*3NmFUzJDaA&?PJsui)EOwT&9OEBJ>M^cyFiJ_#*&W%vAMOm#s*;a zu-MQw)-YRhY5;;mNew>6nr)B3Yj_q1QXf7Ne(?RLG}uKUfK z_vC+uUDvs{%gc@H{`1!DcPqErUb(m1!M$GYUqAX(0e$93Vn&%jVnRYqu4l{=P+w?p zz0H9hY$R_W!fyR&TFI5tm~>Mh(gf>?uiO9>t-EpqP$S%8Fu=vo;38MTk|)Q3u~eH% zgNqaq!V><1txVQ)>~Q3$@YMXT^Zc)E`Hz2C+?~d2tD@@NaG~y|*aCzA_`WKt&f=Pp zVW|N)p7oUmAbZ>3VGPMKHvkFS9Ehp`sJl05z){6!yP@ZRqD+MTibJj2hlG=gr0Im~ zYbajAY;&RiubifM{nMsN@pph4EVdl~yckSaJ6ujotHQ5aTL{sNY4V@N^rzZF|M5Ul zUnGnPFLpNFNaOH-@AU>?UriR z?)D$n=>GylWMIjcaF7HPmw~PX69h6fI5Cs)4Jd!DS#5LMHWL1xU%_uj&qXZW2!J#F zlEikd*TnWE%JpvA&Kx7b7N?S^kW?J^*LN2SP$VtK$tB|%6Id?Z7SBGrOR?l8VadxU z9R9O}C)^epS2hv6$b>P;V)Nv~lgu!~iX=Q{<1UW#TDfoLQNXf7;Ni-{=2)!os%C=AYa7zu+%wKJW6c!heKqZDJ9{R*MD|;dVVExg+r#3D_EK9sF|J2 zaxT-W6JgSN*PhH|E>nRIk-D|pxGlcvT9SWUH}!^8x|JhQ+m#Dc`GdL@>APmvxXvv} zScZ9@U*Mj+=zZBb++8xu^Gp^BY@^@=ns)UYU9zp>&&mLq1EBl>TzZ0G!90~()fK3FI9uZdd zh=As@f{CPS+;-te@)#nt%EZBv-%buiri6Zg9BkxOXpj|cKm^=BgpNFqRtbM`VZN&1 zjG|y*<+f`8=AQIW@ZKNGtxBBzBhKW!Do@*L19qy`WwX8`U0mEhadB(_V5spM%Nd|e z!jqGv-ua0a!EEj+iY?x9n4;{cb?evkn`h&@Z1?ZGrX-i_eZZuxTh!b8&Q5~*da51m zL)`$yp-)v?hymrA-s3^K8VP@ij)Jm!>!$7|z#DqvJ$T#squ!>49eCU8%hO|*FLhRM zG4M5^ivjIoPoi1b1mP&51ELDuk{-}5-ht(538zB?qI$&tXutvMWkYJgACRYKgfk@| zG0Ddl7Q98Ua1A^fnR&l#+KxIM?&j8?hXfPKI5xqMEd;_A+IL|((m{Xas#%8dcxN*u zW%^S`FRL&!z#1_<0$gyD3EdjPH({iAn-EiOE8sG(REG4yeFC(Gfa2|kF5od&HxtM$ z_H9Qv9EO^G`(-c_{1KRm%&HzfKcBsL@$6?m05a4MhaA<|OhG=ZjLZ~74oES7{hcLC zcnOAqT+1f6UUiemOc#GRY@NJ?EY>HY;}y9T8Mo5UCBi;mo?V>1dG_jPERm45$N|0; z&jQ*h87n5q z>ic~NRSO~x6GL#wRd>5}27cVm=C(ep?<+FRT=RfxXwq9wXnvn0dK)* z?rz+&4{I&%{>w-Q^1rVjovSyO|2}*3FzLvG15w!TLOOpq7b`;b^V7xEyZOs0%170z)=2672R}G@uW>;f@~9(K+Pk1=wg(uDxJ0_UZJI z)IkGL<-Pa6emlQ>b9Udnf`ipq4he+L>^E|{;0CV9__=g|ffUdGJ3o8-Wt@)oJ#f0n zJ*SIleSm)w%2`l_I9!a10~Mf+tdG@0>)HH3{^V)`)-NXc2+d}v5g~_#S~my487_)N6qDAAzaYc%F5s1S) zoEXL4a@aUrGWJGigub_Vn8^nPc;cz|u$99S;l*@Q!ES@HqKMnUjvcNIul`PtKp!@S zH!pvrEO_ve(%#OIxOE@)G3U1a5H=nHbB*5GI75AGkJ0wRJ1kS_MU8U{DPw^K=L^x$ z7lHVqrsvhWxBnmo3WXYJ%$$b`5EKUSuq8z}MiZtlo1;dPI2Qc7odAD;jy!3F3Rv7WaI3)=wo7k$5yCb;OHu>-KIn{C~=CHf6#q0C@05<#OaH=)(Ivh~-1 zvy@@@>sOb!n`fu@?F_D!cH~c&jmC+GIU6kB*zaOlj`3gEg63s zopbGD@hxR6Gl*{KFGv~ya&LEKh<|WI%#g5+NftgU;zme+8WLbd+QqT{{jtwF7BSMt z-R;p&H6rU%&Un2oO-e-~ZmkSoX9~D+m~TX1pGo?4W{f!Gvk(h;`Xf~gNB4rCc6Gm- z+iJbW5`e+|xBGQRZTtkIIFI!b>%V`zk!d&^(INK13$}|Ahz|^}tw}GpK~6L9v_{XS z6B@9FoLuD!BEZv7eUrDiMRk2gOvQazliYqTv4`xE0J?x(>NA>=U4dAT}2z~V$0q)V8ZOo(lASBs%DF!YK^0$y*P2O z9UA`qoSPjxn9CGfT@}ek($Ue;cW&x9*adO$^8*FHai9W~<&m;kpj94e=Yn$o;QfQh z#V*bRX|Cs=xQ=Ee)J+CL9OW9BV{_(zJ#272+2P6h!J}t?)&|-}E^{haZ$Fb`y$N22 zKfQYVY<=}+{p*8R#9pnxCi%bNZg6O;IE)UlV`y_P2C43N^@LR z2e)uMl5oC%ol27^QD!dX)0Z#St3PPx%M)1>#i<>{i>|J<$->{Rvc$V?tr;i)?nb^VEn zr_OJfe18X<6Rm{d>ab&S0f##@AY{wmg8*$&3g4zBapSq5$JUq4{#e!i;nlU#DG7@0 zrs{g&eyX}VBsf+8j^Mty4feNfvtJtabG!j$0kLTUE$j{W9B`Ta9bDc#fBE>Q1!OuK zDV+v?smh}KN0I4VlqpBN+<;7@pZsUNy8SL>8tW#=G&Tz@6DM$#fh}AatIrC&aNY!w zNdGfV;_g(IzU!(F2s)3Dn5}@TzGft5a6XmJFBl;RSF5cKJHH!55DMd6tFZYqR;Kek ze=+!*wy&B)Clj{Z7TnzUebast(q_|wc$X}Hdj{%xP3;f6{*JYn#8WL^VDi6WMG;;T-VbqiJauQab{6QPWwJ#N&*)40JA|4TquW$@T&WV@5#m$6LaZ zCr5?f=x+{P-=50eZ&2Mf4_`FB=h6PI=!MCFTfaZ{s3GAkN27ivTY%r2xi&Fdx&3N` zNP+I5K@G!pv<}*Wn~^2-ccA^AZh|a-jD!HP(cGdn7W36|lhDI+fzy=XN|w@jpxrlJ zKQdcz#BULQpCH^Iwh4wwcvFGZlj0bxoo8QLGTth&PbA$}boNO(0i*W z1u>CV3cP6Bf304$k-9P+cvE%8!or>enX%l zrp*O&Kug0a&!J;t$i{VG9mM@K|2lG#%*~NA-_XQaWMW6WhFrcnY?~$6K=SR*vY~T{ z9p_u%GKz{UGR9~tc2?9(Kz=P8d|wQ93&gs5N3;0;RUSt!&6a{jX2;BblTnz_mG0VN zFQd&#a?TcI%CpP)Hr$c#f({~1CUN`(TD9f&p0W(?7p-*2kwDABwg+D?`7m^kRpiBc z9oy;y?^@%ckN8 ze_p*ILSg%LCO-|(|ziHhElr{Jvu7n;gYC3 ze-Hx)aMOiV`>HNlO47$_${{py8-V9HGya&Uvtdkv!XKfFWSPy3~>@?GT0l}O-fMw|hW~5e4hQ!MWO^jP;lYg}P0-g4Sq~Dq=q1B!YPL@v z=!YGq9^B+PY|UlLY)qI5(?Uki5pdjW;etg*h+6n?k>&h?hC#vQvmM~`^D{VpnGu6N z9{C;4k#W-!jDSF7L?GdW#T(AxBLZdA67);d2iz}zBvxItB<@O*Nt&<1r@#GX;|+n+3!@YAUt|iFJ`d)^y#$6D; zIh2$XsyzH>bC!aWnwB=n!Y!)~DBv^Gvhs)W6BCZ7RwU|tC$sMd(7^azQ*UOv9bSQ* zKyo^NGP_y=$9x=%;Bu!+nM z7QfnBD4;Xqr3PQpHun*Ty|8nZQ8N60*%{)aN#`4v0_NB8n(Wa6InyTwgexAL(4lmL*qC9gc5tc?LiBt`R(JeTh~q{QsQOw9iFPU63q z$(anXkS5HOjD_-kw%oq^`CZ|K7jc#!i*c2H$Gt2UZPy@*sAzC{9LHaD0u}=ae|mU- z_tkr2X37*kcsYA`{A?Z%tJ!z+zx?a#_YZeJJbe33q+Jk{)XQ=YRYs)z@`@yKfH5{d!lYH{0FaLizb>{k@Q;YE!TMQEN>xAVX!ooy1m0dhjx#y%FPeYY2b2CW1*A=#hX2^6NTO5 z$(tn3&wonQa=F|!v=f_O?t+>ZcMGHK{Nbr;@{ncI4f)hmxwtIbsx3x({p!7ci=*B0 zg>_JoF03_a?%yjZPJVNuF$oK`-3C9dP+Ui5{E zW<0hv^SXMWf=wGnEwo|W&~+JX7**G8df)DMO|{CZ%A=1|wXV}d+<1+;a7uOasH;z` zZE}mBkB;G8p|qYk*td^??EAZaAH-~hm*2uYHJVvo3GBK>SL`!`&Nz2HQikML*1 zW7!y!*k<=qY^&|(k`?sjmAi>#rF>zeA4^_7m33Wh+V8{1q{lLYP9_ww_U}(*MeuyUxe%P#1 zQ!kX-DT1Wt#|HAb4V$`a;7F1kNtpRJb?Q>BF^wh<2=BQkBg%7QVIv#Y+05{wsoLb^ zyL!Qs7US8r>mN5XhEwxLo;eC_wWlaHWqtwCUAWiHPZ>BZ6lY`Ve3cOxcm@J7jRo|% zWPVW=Lf%Gj1T^KbdckjhvA*6nf77PjM9{Y7hg?aqh6<|{RFhkmyUk%+x5=oKvISw! zNKFW`O|{$~gRGGAuOIhp5-`m}vIx^z1e%_k>f?HMXj3hPClok5sX@OUK2mj^f3RA& z%d%OKLr^u%o7xi=Rc-y7{gge`Rq`Q%kOTk&Pjd{Adj>vK)^+NC(OEsM>@`eS`5r5>+XTi6R5Dhe;jsZyF0&%o0DYvdDq` zPxvv%0XM>r9x7Z174|i#kceYW+6yKaLIKm6nP@>-u8i1!CQt}N^co(vbIzOWDsJ>9S z%mEJdYWuwJOdHkjg%wl!RR$;%qT)(Y|o^y$&#GZ zy9@|UpKvtnUyogt~Py>XNRX33im@A^uZ{I?Mf7jbs`&2e`bfF}pot)?L z$2;W2<>rvyAs7LMIt-<{D#RX3QSIiU3<)HJwIjSNP*uX_x5+-(|Y7J77aoXU3k*7!72`i7(}0Mxac#ZCs}8 zW=w~uN_$DqK?ZDyh}EmyzDvwJErVKWLf?~kZ|&U zFpGWSsZwDuRjRJj9H^LFiPILU);sFs^H%M4D0Lf%BOAp?$bESdNlb2O%EW?mmAf;%(?IPtfc1x2b5#7BBs{|LSVFoBAZ&!@{knx@Bj`vzjwN3LVGX799HnD2lpElMKRF5jb2mV} z909nTXghM2d?HM3DM|%3ic(aqK5R2~1CAr*{*SN!g5w&-?n47LUPj>0&i5vNZycOL zt`FTSpxBj2D2eV1#bZfjE}bMvQAmnSH;}BPMuf0q$(Mssq^M(l4 ztYh zk|EBXIGB+h9O*$NJz(i&mx}dzh%uiD?Vg{LGGaJU2JH_kBVRNlF*b3$(_;+*tXM-_|&u`Na zMAh9e(ks3@pm!hdtj$M1871L=;pE0E-@j}!X_-*5wuLY~>zdqIq9@8|>MbrrcM9FMC|h`|0c^agF>n zPrAtM=})zpxluz(vnvn>f9?`f1Ei3@{+le=+2F0@}@=hrrqRM2zzKr0w~=f-QV&0tduPToOezIN^B^Q-9RcOEJT|}QsJDFKqwIl{4h(VyPxHbs47?>vCCCz<5UXI zFfrXy3n`TAcOep)yW2( zwQNuWzUsJ%L4b5fP~SeVozHd$A1e_>H=4eKp-&R1RPXA=|EgwpPp8#_6A@|_>9M1e zh?jLs6yMuS4d_LN@-$c;O6KacW~?s;iQ1X-05&4c3v=em(>?m|+?X%fq`aP-{ZkPp zJFzB3P+Uyv6k*P1AarFZ6sfL|@w(FvX>DPmW;3{$`nv%=BoR zw$5Rq^c8&sYtMqTJN;Py|AIzjvX}H;0Vo4EF*uX)4Jd!DSxax+I1;}5SM)9NZkpkn zQh*$?JDb4_Fxc$GgE?e#kkxdz5Vh3N!;WYF{8q6jb*n8W0c;qs$l|M5&#%~gwO#Sm z&ldvz^OabMG-E=iD=9K2om&}~vrOXV_&M&s9uHWb zobZpUi&uZ|v|dTgTgE9-SDV$xRX)u2mZ#H=il!$ zq+n0MGGk<5NE&8Lwz5t#t_?ACwJW>JwUk*>HQTbFW|7y_xQ35QJaulGq25rljN?TU zCT#qi-0wWz@zpzPXAGn%lR)Bhw7<=(APNw{m+5~tO2K7ZU{ZoW;VK_L@zn;#eg#da zEM47&nfsMuHp5lb>H|nATzGz-(vqcC&M$n(i_dSmKGBP&?)o+dE08cL zuD&b#9nFr*QZSco>*E%JNdM(RSG{io(|pct-gRVVMVa@Yy0wxvZmVS67D>g>w!TJw zdLop_&JZrhNc4K9COAid^j%cYzYnlXB))&mqe!elzD&NQ_TIPKvfjR4(xNb$ajQo) zUR|a#0j4!KN$WR5fw$#4iU5dx)8`e@0>?v;eRQ{$<}{#%8)_C!HSFu|CG@0D_IX%y zPZ}PNCYg=Kc8FWWyT~+)cj>5;x1Jh!D-@#JI1}+2_2%q8o3iUcOGDZ1$j!kAT*l1Y zrpSDx)SonP+zRxzUUG%VhSf=k+F*Z_b%V}!N1ebM42}+lZTXtaES_o-|25wqD*tjh zLK~J&$|$>qFv%@TAs-r>vh;~j5^Tt%Dr{x7pfkI>97JG*N#5WG?lK$}xPZW#!jk9U z!dYgNe2j~~5f{y&Xg2;KBicB~7Unq^(H4M)vU5hR%f9=lKP|b$S{WG@%q)MTD{Blk zO2ja&M3(3fDuDvKQ3I_9M>-z~eM4VC^k6L5&ljx(IW*$CKASQv^r`!YE%}ceVKU~N z{!VxiaDbWM1f%VKxuN~z?cr(|EAQ}MyyHn)=*9qHn9R;X#4g7*x0ewBK|tS>;K<5D zm^kJcq@Scg?8Yb_*OyI;aa(_80$2)O3sVSS9p_Rfr_Z5nt}DNPy%;SWaCpo!%MeO) z$5L<(KvJ2`o@SKLHk|fyu-7*sl-2;<%rhNq(8J~Y;71_T+zwuhGHz;$p=)Ios5d=x zl!#PZKq?3qLJA3us`dHip5O(>R3wfu72Ar2$fOZyM8E-RebLicHynRr@@V^q8%UZo z=7o;Hns5Q1&l35cJ21611gU5}$~myixVI0GK&2xROwj~!#segVM7p0tPVnG5Kq;W_ z!Jr9I3;^}+iC9jj#zp6uX+7iiBtHfDX9iB$lm!7cnOVB4r=f2l3n3v{Lo;e~G5kwo z!6@uXXO>yO>`yT?31NR1fN0oD3wezH5mTQVn^vbl50MCFduftiFstszzyKnR$vQ)U z_jy@Gx!hhFoe<1`UXgcxeI4N3DA&vcmzxO|r$yr=qjMBPkTS&(q~5^ERHtFDj8i6z zOj_uE1P&VpMa<<|K-rjlK=T4@9L&okm9MuUr$9T|Rr^8sQVJ_{+BqwLr+|Sc0Pj7jW3n(Y64eN6;7MtNE!}vV|Qn{dClgs=5!^C@6_f znF@el{aDdkijr{_kS>1qc~ur= zGjvNbJ#vDoha5{LydeSmE{0Zn!qRE=Hy!;l#^PfLJcfVx6FY<64LIf5F33c<)Xk5$ z$jmKZ<9g#;tg;#;-Ypl3JY(8Tg%h{}Wu1u0;9H{&N|bE9V{~Ofw>2D`pkv!s$F|e4 zZQJIFI<`(HosMnWwylnBJ6}KVeeU<`?q9oVjXB32W7m&Wv(}n*0A9F=?oKpoEm`wU zI2Pp>xB#{nTDi~vU6_lRJ1l)D$D zhdQM23v;H+pKLaj&<1`{9Hc>T#iLI>t{_bSzQoQ4G`)Z&koMU2_q*hitVA%Qu~~x) zj`f|-+48Jk(Q_#(nH@|h=JQWL3@jpv40G$opfi4xzg-4%AoAwfhj-AV&f zSXaTZ*Z|F`lU`XVGx#mbs7SF*oMoeU@P<-+rSsA+gd9SpjgxK1{M*Ep!=IM248R;4 z89F&08f+V4;F=5Z@7#TjS(n7?E}PTor=*f!4gz>&ae!-N!*b(d_maUH_`7B;5*z_6 z*qVd^_88fGI4cHfosQn5oEt%mX{S5Wl8Kw2A-t?%&29%;hhAQ_Qz)~Q?5cFT_LQI) z9&_B5o>#LilZsGS$kfJ~`0xpgzb!fb(JMPJWYm@_K=~dN@?;3>Of^?=5RdAf!}(oCUrCe~IkYVAn+We>Z$__==~DKfRDw`YTprF^ z94rn|Jc;Am)$>_q8~nJy zuthc;;7@%pycMzn#+C&q#6MKP;`p2=E&}9QXbo}U(CPwml3*H3w=l(AGH(6}UaDGV z%t^w7OOvV`+UL1e467IK4`}t{{yAac&JysiXgL_;+ku(N3PkWPwmvjrcC-ivcJ zcyK}WY1gvG7(M}^2RxRKKG)3sD4x>n1EWzwpqj8nfRmt~zTbM#TgHh1);-=WlvR_j zz!xcm9?TeQ?oA@pN+f2_*Hl2I))_CRI$l`^C0uUHF{gf}WOp1tN_KEyngY}s zxdlWa_8uOlrEtKdwad85Aqn@kfn<>s+c)G0TOVNnHLGlJL)^{z^RADWX8yus-oyL@ zaOW%!^e2i&!E4{1u&gQtmmWCb%AnUDj3_2SKVOWw*e6{Si{yKwHpPFm$d^w9Tx%YG zFeUJ>FLCbQzj--g5t)wn_I4;_Ru%DwyNR{V^6!`N_Pf<)7c9gf_##|K$3+%JovT|Y zE&hi0zST?A0{VHi@wnwT{FpNUnrCB_TtwKh04Lpu{kamoG;N4p!s}>jI9PUyb887P zAE+&|4Cc`byBE^ra?~C0MJ!g>zW0ArLvXMp*E(Q;P}srg{<(>0C$A5o1}s+_y$l-J ze47sHHP$2|ka8JCZX#!S4B3ZafK7_{VT2f{ebKFG7!nelnmMnNBmlpsdmfw$t$BNX_+gXr0yJWa}>?2966>jXLl&3C#4qGHlmFmIXb>t|)DBgUAh_+4g z4X%JY&33XAxxr&N^hq6PR`#iNi@`dH>~-yEFnFT|q_Y*pmm+EZMvhr;bd{>=)9Jhh zg>RRabNa(Nr$UJOG)k1PU7f((*hZEApv*7jr#k@L8$J-P@<5mW9!cJrNBsgjX$2C6mq#C{=lojwjhsrGRbn4L&f@d zuDra(p7Ft<_c@OSDONt)(sVm9-LA_y;AP};cVR=Re`K&HHloWssWsct4gsRT;Zk*- zUX$Vr(45CJDc@*#I|B%Y^D41>8F;`)VTjxTzRIIXF8Spu25wBDF_~VZ;(q>_RHENY zQy^|`Gx;tD(Mwo(1@~C z{xA0`5m{>p=LyMN8H6h&W0TI=wU+H+0**f|+pvC$>i#(CF?sZDEQHkkr%L0mhKvH$ zK*z@oBL4n5``=Bva|4)soPlaELhrARm-jCh(uZ*aNW45;SByb=~Y71ks&Te)ir2i8-WqzmbW`tfS0-QC7q7%9SbI5Y}<0`VH!4vzsgWfn<`0yuS z{+x?~i)FV!GiQeQ8qNAq?@@|{Xoq~ig616YyZuv72%pZp8W{wUDH~sSfi)UEONCVO z@phFxl6}Bu+uqBqskYt^E?%%bj#5lp%TrT9Do+C?E&<@KZ%?V~JRA>kTGP1s9?+M+ zx`MC;k?o~q`ZN^lVRIL=Zq{m?1!gTW(mA+TThZNt_oVhkID8Vu>TW*rL4V%_?b`is zgXXf(`nMfUms^qKYWeSo*zcin$o{0 zWn6jXMa}auL+MA<+$e0**us?@m@|q|=Q+hf?fjk0zVbtRdCWUx-5{~LQuaj;!|oEi z^8)aIq-9IN)QXF^({8?OV8cFGEuDiq!;ia~hM|N%@tz@A`3aE&EVI&cNr0drB9Znj zCa1Qtb|TTAB?PcDMp}In&+uYxak_$9Ln7!yn_`+hi!3g`(SpOtl)CN@kfva``>Sa( zeCoHKw=R2v{oPi?oe5IhJ*|~1xsR8R*KdE?!Se0NZ(AX3aF>~xt7F@zCtvN&3~%FR z=UK1Up8U|?0>=q9iCBbS+Ww7P#U0tpK?oG(2rx$vL0a#S z=oM}=cqN0-dq$j=BS3u;-~`QIT0`Q~@gk_X_kS-A9w|ryCo>$DI5*nJMUjxm>ut~& zL8}`+2`;CgCKgDaR$T$Me;jDWq;gH1OpgCG=<2J{k3E}s*i;+LszD1bc2h*nqpq@ zq^J_J7pQRbQt-UiLV!nlSb#_iO(et3|x&E2&hl(`>-L_Os&`)nDPPc=}hhb1! zf0TAHu_KTlzl)LCo$QWcIi)^{8!eAi(-M2ZuO&Bwb`U;sRt8+lx5WvPhj)+A2n<(c zdhX4hn!Go0`-OKDxkZouy^htGz%t~qC+%u9413|=8X=Op(>Sq^dnEWvZ_0Dy?Dycm zbG;-Nl;U?S28=0f1hQ%d!BF9wCv(gSxIaq+vTx`9C)j10e?)>VvMg0ijYU}hx^>qS z$L6w5WLZxC__+q0YT{?m;pBs?`AqIc3BmWhccP6K=4ZlNWdCR9rpPhdbvFb0Rs z?U!C6XC}7~xOM;513Sv-8=nP@HJ=9|^aG;>wS}#>_+NXu8Ue~F?=X{XjO8R zzS-wsc*rJTyZ*?@V4c3L?U z#Yo}XyNk|_^-UeAdeHKoQohv z>}4H?l6}t$8OI0&+(E^P`_bPVrVrDQw~Y=dnWbg4MxQ!%Zw^E0s^>~FUL@yoMatG zjyCzTkzHcB=%>xX;LGpJYIYYpskfz&E2;;bXf7ucHNq0mdnK`oN`dmS)xfzAVu`3& zy8kPy{BO4w7c1+3i)^)BH#pJ$WtP9zKu$ISuwcO;&nMFMaS4`hNz0x#V-wO@^|bNS4bTQ>^Yk z3>L#Dj)+^}f1ao5>m6B0RN;CDW26sF-ngy-kC0a;6`qfPi-XO7@#|+LDXjB2HN#>2 z^e(u7fUkhN%_q%uq3VFPgo($4Mb*qNIAFlx%M(0K6qigSLsWz5kD}k)v!WRhzaqsc z?mdcA;(`qwnseczE<4qfqbK?HZ`ZHHIR1+E;p&w9a=d%vTokF@{8@`|TB#6ROI-3~ z+#bS+e9%M>L^755lUwLGdv7|79)>@DwpBi(xBkhru-@Dtuee!spnaiH-20vA7&q*2 z)8)%lb7Qw5uUEvNg(+iB!;7sWinT8=Vnclma$?4L27A*!o!qcy3@K#NIXS-5DO!yz zk4Cr3ZxM-EKZN2Kj~5YAHuTdqd%Y}A!2#bB+%De>IA^3Y6kB%^?l2KvXFtU?aj}w* zlVIb$u=$#cp+?fgm#^;RuKE~vwu!fHuIOnd-wGL_a-Ef}P4X^SX_G^CGe0r zL2VHjQpN9gNUHLkkIm+AFbV$vLBR!fVd6o0a0|gW-?BwjG?`cw3Ht7{SG4C znVnhzND@qlT1a>1;v~w_+n&!iDUB1h!h2oSQc&O^8?SGO1d3amZuvl$+~ER z-_W|y@r*1*AvdO`udTK<5*ORCvSrE!23y|bcLa$e_hUEAL~S}#XldJzk?b}3OgRE2 z?UylMlyZZ@w66^$(ZZ}NTACkf>68|!?wf40zzA^4M+2Tr7w6(^;lS2Wr1_Tv<95~c zfmEWyJEAbIFf2q+gsMNL?ohR&Fu)fW)kq^q^`ds{Wvl##+j>15R=@22#&e)|HV^fB zxuHlX;7xx3+M8C{KDx|2?WGJ(5*N_?Z?iCwVN)@rEjkVa55RBkh){s(FlN)1H!jULL_|ca!(1vshc>Re|a?)uUuVKOd5|&f40LkE{ zMRl)s#|r?3$89TmfK{RoJ?DWQ>&8wd+W1my7j^dKendpxcIb>k$&7fnWLD0%hTmM>wrVhpXRKIgKyL2^b?Z6JmL^aGmImMkqXsuR|r zA*o+Q=8Gmf7$Hp?iOGe~v5QaxaIvcbr;i}xiQVaZtW8)rzp7rG)$32>Gs4OU6A7JZ zhdl#eFY49bfW3)c_jJ>qcD?VBK`}MqyAE&1t}^H^*k%y<{W3q?u%a}o9B+gAAS(Fu zD*6LtxMZfmdYDgqk*O^VZaU*O;LY_;!s!QPAv<7^JA?#RH@vE{)coWQh=Fy+0QF0K z+SnPE;jFlJ1y)nlACX33DhKDXJou{0ezn8sE4-(8s$ZYQSfd2C{(8I?QHT1VG=?4N zZz~$QO5T`)jM^DZQIcAqq971ILP@#|ds$l?F7=NTTu#FTFByAdiulMZTQciIiMu zPCcudoTZbX=Yo*rH;xE;s%1kpCIN*gHkp}JWoCUa3=)A{YTIs3*8>cruo&mvF%#W@rT*zz4`$ue)sE4Tyf zHor^U!xy|KEYIwa_Lt8`92MfD*dRMyRAylladW-T#@s@d=Xh;jc)k`aBKr<>SLG2${)hiC>L{5a)dhVMqoMW&p7LEj2jH(c( z8{ocmwk@AVN>UI{lTkSOCkU+rEO(#jH&ufTCv8JccdghEtk0+lmzbu3p;+Z{jIK=_ zkIzu^SsNq?I{B=pmJ=3c;%Pd1k6gIkh1Nx>?s~lHz^*1V(2jsl=b#6Q6Svbx)vzV+ zRKGP7P`$=cUUtFUvfh@|D})cW-m{TdFGu%@>*A1OR8llBBt$0H-&q+AiWjVT$JUBO z9P~jC-=a~-IxF$yqQnemU*91gg=lB6y?p*-ktE4``_mAVG~Xg?!UC@dj*$=|1^EoA z`qQ_zRE1Cth%kS#Y^NzoMnBI~ukUwo$2PkR*Pgv>z&1K%{xj@W{)&xdf5K9O3QI>I zr44ECBvLV4*@@r{KTn5j!+{*~U_uMUeOnlwdTvb?o6J5~}rh?QCjkVN{pZkbPKcoD5(B1er=H&tMwC4PtnZXMadJJJpzS zJbMvKAe$ZaL*hU$cHa$-Q1QOsufejTC=TrQGSXObT*2i+3r@FRYd_E5_t`dJXye(l z)6lWvc3pkm6mOgxqxh)`8@IH&s-DTym^5oQdi&nccS0~tv*GP>q|CQyatjoLZ&%^q zDWt*!6GHVq#|&{XcFLLaLlq`hebZD`N>nsd@K7wkf?TRF3YV3lJH%!~P>_wubB{8% zy4NngiL12qyrXT!@PrapzbuAfWsL zd8h$i%+gvr=P24u^1LXGuQgnW2j_1AJYS$e( zU{Z6dN*&=;(}ex>cThReRM^pua$fX+{KDNf&#;3%g2{9l&4_1@dy$9`@H7J9+f&Dgmcdwil_e}TcmchdYH zc`YaFf7DWlf30K6LG-}ne+C5q4*##Q6jCM7nb1az%RT7#^oz%&Ju1wQrI8v2W|^_1 z(+l_?yZ;7&k8CT}CXNWt7PW3Zh>N#fno@$c8p0VlXCp6WO0y zUS(5yXB0Eu4%%!DI4_JVEdoR`xFg4EaUQCJgBAz+gqEfaIu?MuNxY->jCl_igZxYD z$4}4Uzq`Bj3_n^wZ?sQ~{W}Bf4!^>>XYO)u;i=LjL@B0lq|s&VQw~_A8+W8X{0OQv z=(wDH#}BHGyR+qQ2W2UX=x*6Z*&1Z`9HYvZnlSu2si5b8KnX!GF!g+p&HDk_>uLZ}b4`8- zdLZGM*z{tqgang;#T_~)FUzT$;KA^}!-0&JjV0fBBg(6r>fsmJDiA-GVAp{`vqh+|6svmB)31By(2M7$ll|0@VA5k*dP) z$X=6f=&z<%@)@Ixjzr8kW;(BeYfZLg|Cmc>l)ZSU4+N5J)$PbOg?6 zZP=sTee~;a_=RJ+kKIRZY5SKv9>kq!XI7z{8be_D#cLxoo*Z*{QH5Ovp8h%(8lg6q_dwyRUGq;2mTh37w0*OZiXXAWzmmd$BZv9)%;4B&k z5GN|WjWKCnJ*oWWRqtI76ri{2y>Ok+c!lCo_WoS9nkKI5 z;gT)aqL|K(uxjuXyc`SG6+9FCKzBik4 zdvQPI`*YWF^k!&IlXgNS0wh(Q`JdcnJ ze8&6bY4IuL`+M%feF3B9&TsW&s>Z%+=rbSMECrPQ^jc1idG^=kn%?d$&ke5C-bczV7Y z=l~Y(6!(?CJZ)u8n>n1(v#-}2;@{9*8u=HoJu#KlCg&9~6T zP=%E%5rh<>P^);Y8*TB&Cl3qotq{5(bxt*<)wZ-+`z0o<=- zknnJV57C^PQizod<={@GnJ}LB*7B?m673H{!-p0XBp;}Rpi`ldRUY++F4g8d%rYJZ-RM?ZqOL32i!aGu% ze={GYGB82`c_qpaxTZE@dxILow><}J38+8(C}5hPdQMygm}kj9HwNZ;P|A7HCWw>5 z3!ZC2Ro#O9w&K<@CZ(tNtO z13VM6Oi6|b786>SJR6HGR=V_f^H|T1V2){1a|w#WO)`k!AX2}JpB-~#!jW+30p5Nf zy`w-S>5gmyEejIlOOaopG*$bKb3 zH2T~^9E9(c7vIm~2~nI3wAP=SW*9`gpPOS)lKqqiK6iIdfkkPj3w`qD+mY=kU1L|= z<0mTEmO#qG+L9KG5Km$pJ5zBfnqm`M*0Hr4CevTvA$*2W-xeO>26Pdk!+Q7W0VZ50 z3V(|^ad(Q{>48UCE5+{^z@Fwh9xSF1MIdEnbGrFkGYle5!3v*hPOA)ZvOAog?T3-&aId)_Rf+(Fu~^ zT#TA?a?&a`WXTQ9XVw#w>lKNirAaq}<4mXFtbs>|`pp2+IwD=m5nd4`0xJ(?UaXcW zKI-=P!nP}3y#K#4NKR01?LWt9E)Yu;fEF05rtdhKbdvzW94D8#t zHW}Dh0k6_!=tAkVf}Gy$qgV0@!ue3T)rZ#MC!)W;7*U)NdF8kvsbpbV1}Idn1KJ`j zOC=kVL>A(z^6(hV_s_?d-f6eMMSzlu6KKO;@nybL*hgu{gyT0;fw&&pAKNgEr!U~K zR^=>WKs&!-Mbi3WIBskmlV&yT7eaUBi{BTr2(C$nQ&9o7xNC~FLW!El#N5{U7H1)0 z9L6LzL<6%5&ETd0TqIlHo!42|CeiGyJRN)#lXQ|x<@HbdIa@XadsjH&s%u~35j~O} z9-{S7+xLDLws(##pXEo770DU)vp`@#%&fWjWx(pm6c^RLyS0rgh*@tvBCgXqZ0f!g z9j20E12IFIEEnFOrM&v)_~k{7V))Ox6JN|p{}uplfAfk!Z@V|`Z426B^|I~5O0UHR zUlm3YGs~RIpQCL(UV4g!=UXpV&joRNZRPr;>4=HYgF3@r%A9H9k^hOw`YAAcePa(W zZKR@XE(9H@nl@cJ;iuP5jxi=p5aTM*9r>u$7HP4%Bc5&{K8w)Tb?8CRzGEj?jX?YM zlJcsq$ebIIU@|5gM+lyQkvqnNmId7eKeWSycQl5qy~`v$<%FMgvfOAojjcm~HN|fH z?x=sZCc?wX@onEUHAfVVClQ!W{Kubh_&YbSn@?6n8s3k{?vdR#a=9rc;6z>@(SvY1 z*8UtkC-_2+Cz$k|TlIS`%gc?DZTr^B=ly;mj5K)ucCsWBgEEG$rSLKH<$LXi!=^?Y zIDnqTt~W4n@nU+!4Pj4nUr#vD5PpH+yurQcfWu#p_~1Ov{}|QrAz1zk&vb!|B7l$*C6@vBuQJ^==kORnALH*7E^k$$sfCmM{ z;|V}(9y13Fz=CA_0T`eaXFx-LC$lbpGOrJEHAJJ)}EXD@VhT~&FS0{+#E$8T~h>OQU0+LXbPqL8?e9oY;*q} zfEiX;M?$}xuCxS$1dNt&hk)CDRYrj9~~zwRxLCm0W+m5)UQZM2C7LfT-X)H6!Ji) zMo6RKTbBXw6w>GbN2X;2y`@HAaz8?IJP3>n(4M$OQ=QzFG<0-DqwsX3&N1oj*^7M3 z01!pS_LvvunCb)<63_4)p(rFr0k2>kh z81&^4lo>NMbV|`qO&Q|*9ffc=+UiT9X7>^WIDW?L%1|m~DHV{5L15$;+YmvLc&tet zNl|cpOV%~0b8}OdE!(7MeVj9B&{p$XjCc$`WW}Z6CAGbwfW67@9Y;}B!BnrXHE>km zLrDsOzKJOzG^@@9(zC(VENarCW)zkC6uH8E3d(a+kpPnKCyBCnya0-bbeSUYXmrCA zvPY%Z{R)W4K3S_Y1dCzWjNDkb1am|G#sUY47uTtukoBhyA;Ww_ho5|<;O9YQ9FhENGWOj8n9p^(O~)u5e| zQsFOYB>gmTKOkHRc1MMgc8oAAxR<%&_o^XR=rZ6+_2R}spyo62TeTuQeN9)Y+%g^+`FF z<;PBX%jrFI-isgQ(6YRy9Ixev1w-31*F(X}?VZq9tJs%jgf(g@PO{^CQ4339ERF^> z^Y<2BU;-UZ-goO2tFjO%WFie@BDLKXG{rFLewlN1p;*VMA;fu&_O&m)N$1t_ExuSp z1I^uwcGVIb+Nv`0^snurzh5;(2@Er5I%SAp(ifbaYrTRae-266AIL*os0v6Kc zGG+r2e*KQ`mdhegYXR}V<0kLH z{z8h34d=>tU^`6c(GQ>WuCC{MSE-FLb|$q(TT`|accp)(?n#}v_l!OgZ1skRyh@js z1XkCKj#RFsR9eZklMO+DkpDK+wd+H-PVkbj(i^%SyLBNIXvw_sX53@9#B6!_iG2nU zc)fbhl1vssTc=$xjOm=ogZ-gA-Q5htU^o@OIdRlz3N*^nkbi3DV5+jo`Z9pzFjjT` zDRKCEY%AN^YdE+8Mch1cGG~fq_hk^E1FY{;Ea%)SjvY_4+d$T?dnkhz*cx6_S`v>W zgpwT7$t#QH0Qz4OyQAI@dd-~#lu7MT?lt*{*=qx0M#^pW8$BU(u58BcuAtcmNX^bY zA#AA6NcR42Lt&|{uu_%JzWX*Vm8w_D>ss6Q*3+7Jj=7_v@Obb4aHS?GJZ|*#1okTj z7|!2ZItUlU(5`f^w^oC0g4er|gQ^eBr~I3HK8hfo#vT4{A&L)!bkeUq2f`kL+brMi z%3rcUf9a8`KRc~&ky)?Xy$?0LExNhp+K4C8(GN!GjLUf?>(otcPZ*@itQH;3Z=S*~T?CS<`2CKyC=q>Z&8B z(#+&qD`z*^zw^9*h1$F~N4$OE!Z{fPO%z1vrzy*wQ&atv$FKp%4;N*e+`E-`6ySdI zEE8&9EC=Czy23xBZ5iA$2yg0K7q5B9&z_AfSxt&6$0?P6eUFmISq!i1(Ea$2k*0k^ z;JZ!^hSphWLd3@)7}Hq&*+ zgWF~M@1y8wu5?U^n);e_@Je<25U4g1nJ09A2xfMDn(7u`sS1;b7z^2#C#fA9+};`k z3O0P5&5Tb?vWvM*for#E(i!{FfqOI@RP@hZx7~#l=`fE(tKs{+#R#&E@-k685>vG| z4Tx9=yX&3vABO@^*B$ykrH;X;+d3m0U8q5gv1oc0uvDqZO-&356YW1Sj3ZL?NNv2z z!gIERxq|_iwx2tR$)dV<(-VQyXI=`O*KgxXtETcK(cIZ9H*6NP9r=RXoes| zctUa!>Ik~Q4%~3ujV;u+$Eg`5)=7)-4wWevMGF;1?esLi8t1f?Q~36YL$ERL4(Nij2~3< z6ZyBXHr32Rd>NGr5qZ(|ys=l&H8X_rX2}GVgwVlhoR;LNpbU=i8fyCjp4mPyyZ!yJ zSW<4QYWL&BOkzNPDHIX(5391Kj;5*?bBO!+*Bf2{FyCDJc9d@P2y zN=@5cW*Z=dVoyB7%a>?ZZ#NX>5wCC;9aAGV2z?L?dxveBqk$XRs^K9C{YT{I{wla~ z5haHwP-`lIB6J55C3Yx?pH};%CEG9F5_v!orLKElzfKP0`kPl|i0$-G7nVqpt?jCU z!etf+X^h#(>k-CE;TAam5dpKJ>sJ9Vush*ZhVxUKsAYd1O&Z;`xL4Swow?EwjT4MLG=-)a zL22>9T(Oe1kxg&22(}$-CpDf(VcVwA>U!tctDzD-*pzi#E?C-_G zy!$S%ioJqx^v}fpavep@BB` z>++7sx3z7RXFa9AY%KS;JcyorPAmmR2UjZx2zbS`;%L*vate*6i-$8=wa1BNWMBGe zrFKdDZEb=J`ti6z#uV6R!H+$P7DN`YukM*1KNOXcQY@_58jl7>* z^$v-YB6aUdWf9Zlqm!u|>$=$y%z@lAyw+Yt7P4gD9k23>&JNNq)^rZ{fo+^Q*U#!Q zLbfElX#l3B!|x2qgDlmlCi}}ZY_nvJF&ofl-a`m<@$x^nEn7GI81jFgwK8DlPF|<2 z#*Sn?^Y1Za+d$AGT5jUKa88Kb#MYOx7R(0L78IFvRIVn}^~m3Fznbv1R|2K>yW{G| zJH*R{3-4IEk0kWLnDI?qSxbw^u`l!ws=TEOO~CO^)}U65UzIsWKYjWTna z_H5S&t@D^o6bl`~EU%-rGyN60;@G<^@f5&~yES*|3JP$4eSg^65h5bI>{3sHe*F{e zY(9Q=XqZ_Y&`T%)<@uQi#ss7p)_*rSL>Cb})f2M!!3LqfqtubtAPxm6eynFeSOWjL7V^*wGd z(u+I*y}Oy<80oDaJXKSZ(3uf$7Ga8SPxeOH@7&*EV7Tju zP&s@3Uc{HqZb)U~Cl(C3Jng%87I1Xd0ofm&>ALQ8+1%gUodtZC$>ihLDqfXr#G-HP z7OS7M&-j2x;BcL8Z`>F!^JiAwYu-&!Ynkuv3MI?tNJeUSsna~Zm6}_RR-PwKCI7gH z+)4=i1U)qWjTz3%{^pqKT{N;Ra063%bnF6)dC^bsLx7K~Aa4cgbabqBWU~g*Gae}5 zj4ax*+O>}(;MH=zeOHCN9<`g7%!kTlw=e1(=On#7rU#L@>Ps8K$)yw zPR~nK{h4$kWtD}SuV_mfASZYe@v(g}fu81bClBPhbAvaqtE)gTaKIGL67YX~oOQLB z;FYcC2`j+43TN_6UwwtWwIL1bz`WA=#JsfY1yzRrx&s=p*$j2Em>@znpccRE70pX+ z^nPV+f1Q!d=n23Gz=_lgvp=N&?9aq?|FV#?=yXoVcmnO5mVqMEVXD%BD>Q!It?JJ{ zFQ-Od_n{o*6|)G*@>JRzDMhgy{gtx_mNJtG(HV)2y9tEX-$uVu%wSuEahT(0%Si1o zUAMCM`G6l6h$9cSnY#-jC1#g{D0$kpuu8OOM`S#@JTJr3L`2y&{kr7*ghl&S{!II! zZumUW1$GDRe+fHyHiW=vZTnKwEv{Hc-be?lDGMJk&Iz~i>W~9rjPSE{xQqY!Jm}Sm zH>So5`nlg;AOFH}^6QwA_TA(?0iz~db_JWX=lOTd>tT1`H%68EKZf2PUQauyCEm@P z-xU^_GBN4(;wdiW*H}WSJSf^ln zBR|quKT`3bM-I5Yy*Ij|jCP1M=KY~?XL$aW5}@VMEMB9KTYX2qWOn0q@Sq|1akG^? z-^umG&A%m}=Q}8gp);2ILr6Z=%{Xs~Dcvd~x#h7a-|dKbk;nfn+O5JlM|N60QViJs z$GP9JR+A9{d*raY?`SyhuDPft`9)P#ou4E2!uKtC=Qnua)lm=4Kj-IL^}no=9=PP@ zGBFLb%(vw@gBL71T^l+>BTS|R@S!FQM0;WCeshn{42HPh_s})D3$VBg;E~cXW7dSE zx8U*%ZPO$|uWS6ik%F*LlAuIAFiF2R3W&;jl8nPvS~W`B@-)!ZKVG#oi&~vr8sn1s zhL4B_Dd|X99rk=8k4C)*fk@f`Bp|(504#_p3Lw!89}3uj09BL$&_VkC0Lf$+k}Aq5C^n-JX;_4unAmZ_9NAVh-ug8xQY z84H25L|=v|Iv4Y}yVCrtSD2oaTt{4zp0Cj?=&vG+XIgJBw^zc>skA3+r#JP!&fdFD zg|V&#_rA_KiWP83H9QmA^EyO<)iR`W8|&FrTa^+E9~lpqTbpi3b4S%79ssIOsx<#J16zX%`IuZuGnOPQT9V(j)uprR-oT+G%{)Vatp zALE1g`zc6BhQuoL?DnxW7$ZrqN4GG#Yl8@D5>o|~SW%bQaI**-CW4W}QVHq9&7Oaz zM$T$e4M;K68WXeqHe&MYLjzvj^AyB#5EZNy)zpXam@N2ZSpQl9BbktQDq>#^x!#~y zx})Vh*M=2jK9eVTp75D{MQq13it2YRR?TT&Guwg(9BS~q;L7$<97%S4$@sobGMrNXlOjLZhn1>G=^C2@|vbdlx)}3xjon9^F6( z`PX|AVj7y%_g+Y(+FBq26IDT{r4Cv63|?KuG_8$%X!^vxGg7}giWQ>S2;6kg+vnTl z&WoX8^W@HaIaB-O&T8{tj|)ZEi^J>L!AUIo$(@t(z2d9sZePFKwIca)|Ax*NC;u0B zPxno6^p~zKi$}r~^SZbK zZA8HH4pv|Q5AgBxhzksZ-s_e?kp==e{hPv=EceZ$Qx?Ckm&YfB6WzU5JvLH6jMF)q zLYqLQ=dhzf77?UERgW_~w?R*2KydOVnnIUAX0qlHvSAiWW(U0@%9QWS&|)@uKg z6?n-8(agyibv%%$3y|Zvqz3l=c6G#!Q<=E|L5sN==KgVU_T-INSGY0az~4(0>!p65 zdS$)e`}6W&9E-N&=5xkpKLW;#n3j9oGKw;WOpgtjt?A;$eCFYgvfz_kydGzU#VWNN6mDy^^M+ z7d!h$y%67{<#6}Gh%8K<%v$DasEq&2Tj(hve2BBHxX!!no zK*OQ2=e><**?FAzn*76N@%q=rnqukLCG$noTSBtBWnxJPc}-Ti@#kqv+tne}q*YQ9 zClAhvyb2VvyjpVg)g_5a=|xrvl6iJ}KgY=wUc~w4MbN|LW7yILqN*Rn1xIO~M5EPD zS{-cgPw+)rHD7;v>l-t5)rX zFjGGAs>7V$5uOc>&FbEJwgc^vUR>l`WtokQ6|U%uoEMvw5uO~o7vdcc5A|)E>J%O( z3l+?3>r2M!_I=wN$q`ML4B@Ak9 zZBYUy9JP?ee2RvQ5>&r$ykw%wetU0*p&yfp|*Sb5<#hbja{fEu`kisVy)V#R%QCf%6L)F#q`{vG_xp(HyJM+x%edc-B z`Tg^}^Lyu+(mZI-uObFEEzC}10(Nvp2n~@9HAfR34GgY9$4(rak#=3B<}b~l%_)cG zv9#LeD*Yh8+HTq_foZzinhAmaA?dR(zUq(S8osG(EnfR;#z4;QmQ_IwY2sz=Q!J6b z(1X@pIi|gVaZcHTUWg4%DSG(@KRTv6(&e=M6Tesm8y;D8Lbv)1o}XCGq;(}L!~3d{ zRntIlFJCUF@nkch8aw1Ly+#n<0=agCmV!MmpiU+d}? z3+fgRv9M*Y$dBlw%zGdHy3kQi;A9xc`DJh~o2EcrT|AmyNqh5GL08e9)!v-m zVC-vg&1npUTblcc6Q1sgn{>RQqC=vkjO_)L3wCV^Jz8}M+;Gsupq8skUOvK4oEWtFF|P)NMP%bo?I2`H=? zl>LhXrdF5W`GlgsURz*Unvh8AKnzhuyeE9SpduiL4mMuqgwK1%R=l#%SD6_Pp)Ouz zeH4jK`Ms)43LKI0MwB=*89iyr`yrIxIdaurdYXd zoTUVoI3OY)-luY6IDXGDgO#eQ1X|I-FjjaroPre}{ef(XbX=KiAlEnDPfGPX0?MRb z27}rN7II~+DV+gr_8f$ue}mPxQTyAx0^;e`k?u@)n+R!eyL>qNIv;y3-0sQ0!E#tl zGLNeTiQmhsdW6XH-k~(9uoRaHMdAPB4E*$ zx6^&%%-)Kz^IC=9UhA8|_R)x~441sS7+9i9Y**N#OA@iDvh^ya=#s&_<;Gimd0g@& z{d%V8ZYX_px9laXgc`dIF8Ma-;+E6{^NWU6&dm8kuDP=w4h%5D2pz087=K+ZMKeLd z#X@5%(`d_XMDH@@m@X`E$!0E~7H)-bfI2VBY`DK@m? zfzdhXydLcWaS|>;99s^pZT|v>cHiL}jr@77uFmi*r5xr1qVzR*mIxZK<-lJTSB8)3 zTXQTQ7<1pZdCnixv5q}Xs$M)(Hy;R_1Dq|y9!Frle{2xE)jl`UX5@2AEjE-j%;3iq zyM1X!4o;stJV3!XvW+91x0l!vH?M*#HehC&p@NlnzN|ebl*Z(80W`tv3viml4$?qaN9OXpi)X$u5UOgPf=YY=PAKwSGu6C zV@UUy%)%k*r}RKwIH$n4|F)%ZQ^IJrrTk@iQ|VD~QjdL>Ogh&&J%oT@>)&Rq*Qdh~ zobf=~x)9BpSGb^763ym)$G+AVbs3X%>`o27{6)3l)z8XPF3FHJSu-@7zp8nRkfT=) z9szVg=BzF`!H6A9j(4z89>JHH1hy{R?SdzhKj;=n9}EmrWzByS{E}ksU)8u;;jpmX z+c)~H(}?}aMeocDT95mw7SsHx`xoIf`&fjOZqqh#5&PD2I9;iGnfvkk&LYf(*7xI$ z6=Gd_+I-g<9*=Z%q~>!GRz=)(wQS;8(epESI+YzB;CqPVt5a=>_u3=HVpV?wmNIXU zdIm4eIhcFCwm$Le%sye=p>uyC1G{TJu{m69R9-INdnh*l=#7z^VWDk>PpXsr97xv8 z_wz$!kz^%U5FYb5kM70n*YIJ?y%fUHm+)i{zE~@8t73fJB|39C-RTYSqA`XXwb@Lc ziD1A(G1T7pk+ZntwV7XwE}*G2qN6vOr&WGVKo2b0k`asM=@h1=?P#UdZ)`E#iwxiX z`;1=V2_W!)%NKOi)j{f@-vvPo4FPKQcSCO%WDYY$Fl(u6LbVH6N0=o31C>UY%ILMv za|SUXO@JCA@NRen2m;am@AN@aNB7@S9+LB$5UM(``$Rb+n5(rQ+FtqslVY*Wl)}P+ z^ZK&9i5KVuKBsr^)nRJ&}cLYMQ$`-ppIo)eExNf=}I1FY=+91luC1gpU+KS8#J{lyP9L7;#2KV{{>+6 z?Rg%ow=l|Nq@1G^HlRq8N4({@72a2CGYP1v^D4tNc`JaewHk1E#El2lBWh{ML%i zjWi5wE}j$cCv_&}ZKM&(_(6e-H(==}?Do6v(38VEXZBhjBX)|{k~M0J8?K)Ewu?$b z5korZ%Jc^EV*H!BD;a&%@ag}e5afSQs33ogi65h*4)p}6 zIR!@hfzBa7%?)%N0@46M&Yg~-p%EZ$J-zcWjsP{Q5dYBgkl!Ty-7^DSH`F%PG1Jk| z(=*nAoLfCzh_NX|OAmp7YG`O^nHg&vf&SkRZlm*s{-Yj&=s?u}_4!t=z$Vzmg)iyo z<_G6+1GNc(Dc7mYzgr+y#;_n%kR45wWI|W7p5@CADy~Wic@g zp4i5X7W8I!Pmkh5D|mwyO+`(&L6=xHV08tlQbf+Dk^#TTObMaTjqPPFKXJ{co% zg45!e#YVSSwIKRg$iipGb@Tg7--M<_ zH0M`^KzWV^97_7uD#U3; zGLE70Mf_N*4?szNNr!y?TEI<^MxIqs<{P3x{O)q0nn5A7dw~Q<_DA?CV;iyuV=R-_D{zRC`tyzmg=b8Z87IWK&uVQLtm8IM#Jt(U zSV^hddHW8;PWp$eMV6ZEvkAc_Ll_RZG>LIFj4CQ#pWw~FLahUa7rfCFt;KhqVF6pL z_n~4;x)31UPeHB(8N)P32r!A#dbwKEt67~ML5VES(*}^8dmZVynR`r7_1Miw08Dzp zsy$m}gTnc7lD_2P#9a{j_@e;E!1Xc6cQ++~-`|*vFU}k{LhbC%Y^ok*a1DOw*k21Y z+t@gp1-}(YaKy2AgzRQ;iF-2SV?TK@6X}$V3%=O}|cGs%}Jg499eJ260C!d)#`l z_ zix72A#Q0)&{Yfd^+On*DRRAR>Z)WOR7=VI(w+w`}u@N$Vgupf*F#aqa21-c&FllZR z)wgDeY3!7Yb@)U0C&nbs-@J(p&Y2csJ)Kj+zVS#Ui4{n7gzBh{($n~I; zGTDchmfeaTzJKmitM{Dk;dTPTBqpQN;_Bxu{WuxJ%x}8=YiwCEj~IJd%gp{kG=Jgs zOcL%kDlY8XZvKP0+b9VQFYk@QaZAo0$u4c5AW)|_n^z59el)`1xJ3lM9jAY1q^>8! z%dh>jma%M_XCEpddH>P!9(I`Ze9yvR)E9rZ)eEr*jb<@CTDIy|*ee@6VOM9biu0HC z!J0UGxy%irl&-|*EaC~XE%L@wv$H&Q=|deqcZ`EUKSs&K5}x&aU<6i3cs z&AlLATYnVd@K8*1MR{cIimV4iZ7;OBX!z(ly;7W!c-{T5Qi>(7%QIMv+a{#dEQmhb z-I*0NJ~6ESl3tyHcxK!)U&pCGNmpo(SMe`su=efEC`8H(wJWmh;0C^onV0tef-U}+U;qLj9`=!eXwzHlAL-$Biw2Akex-HM!U61+KwqBMOa&CnA4LbU?5 zLgrb&q9WfmokgLvygQHmN%AT>{}5cA@*i%5ld4qi{mN;krhO#b|6I