From f73cd6738f4b234b23e4a18ea506626e81ec8d0e Mon Sep 17 00:00:00 2001 From: Moudy Date: Wed, 6 May 2026 13:11:50 +0200 Subject: [PATCH] refactor: delegate to auth-transfer, add shared account test --- .../private_pda_spender.bin | Bin 406144 -> 403052 bytes .../privacy_preserving_transaction/circuit.rs | 178 +++++++++++------- .../guest/src/bin/private_pda_spender.rs | 113 +++++------ 3 files changed, 154 insertions(+), 137 deletions(-) diff --git a/artifacts/test_program_methods/private_pda_spender.bin b/artifacts/test_program_methods/private_pda_spender.bin index 70e4c5a0c753b6ae2b6839eed3cb947ce6871220..cc602ee4ec61debe74ecd28f84b0dce80bfcc7bd 100644 GIT binary patch delta 107574 zcma%k3tUu1`~R8Q8w-fwf?VXXy9W>vQS*YS=^_{JX=QgU3@|NIQYbBHN##tD=SSa-(D;1XT4Si|L@E>3uwK+-+w=!vvX$VnP;AP?lb2s zxW9?IbTq0mmL7O*S$s@j@h-d4TTztYP0NNnG{`lPD&jJsMF~|Dg2FWgZF8LR+O|wl z#AR&L-}pOK8e>#k%f9YwxcM5b?nH7emP$qW&g~k=CI=iL@%Z+ze-~Pr&)QAvajWc# z_4A0AZKhI%nM#SxoJn{OF-CcWT?o9N{K;HFYD5h)g(|i{T;)cE`$WI*b~ZaG3;lb8 zRPqr!8x(EP+Q%*r9r=ZNXi%CiftAHh92o3skJ*{90q< z^v17#&M0>(HdEdIcq^O=tEm4uV*%=x1%EJ8k-=tu+{DLH%OONo*LQ}_p3v@=Kyvr2ziHUaK11b zn5EjQl$>-` zhKLLd59l~SM>w8M?buVhci+RRI_eX-#<7e3cHdZLkL;tvk7nZ|br|0;wl1<6tXUTo z8KJZB@iuI9FK0)i1RERWcX+g5qbs_5n9jz>bvC*dFn6@X@Hb4`8vO>TX7|J-M7(1& z5oj(k+RTcPOFp@_v86Ey#LTwFJZ9M@b@c&e?=(1KgU#dsoZzWd(O`Y+tBX7RheSLB z6aheCmRyr)lv3u7yW`#}T_e_u9-%4RE>OB%879RIX&%tju)YOO@PE4ECVy=Q-R6PHBP@4tYjzr?e1kPT-Do^=h!IK55Ks2sp_!^ zXHpvlXA*5QlPDf4HFOe7>^lALdVCYu=D+W8-^tR_{&tLOG~4#~JxUJi-R*D3_y)3_ z-5w+>SyXy2e2Fc}0|%;zjyeN*RlFWZ8l?~CD%0}ua$ z9ldD)DP;k@dXb;lz+TBz`I;5&O%US^|ur&A?@&FkH_|9|uIgmAm?^RB@e z(#O}s%0o4)t&~2#iB;v?dB+Atd05$Ru@Ta&CWk48B$L7wY43m7V5lB@t%5%Cup9U2 z%P=c$oB0VP|3sZ4+Ri^`YBD6{z#E1tkrJ23%PRM0TGk01u4=X>BO$CtL_B8lFW9}M z`e;Ub67jhqsTN2Hm;{TKM7cj>js0GCns;ke*GC3)dy+DBN8oSweaL*n(`oJ|);Qc* zV%n=kILjWJIZt8cQiV5&6)IcWQtw4nWaZzyZ!_CTTd!7x6SPKCtE} z;@LD@F}$`&@x1ndqNco~sHy7}HH|20Vl7pZk5e_}992^jh=P&MrWRnxCvB9S5(iRwH+)Wj1+O|DW@CkRXgp~4@Z z4fG_FAWceOLb_nWaf*H``mN} zClze(3buF6w5o}>S=Ho;RuE{=#0kZb;`DVi7Utu{bSKMtKJ4f7<`hJnBi(BKZL{am2xyd0<| zLIlZSL59wy;BpnC4h})7nBjsS`y{D zLv?0jRVxD2JL z3l5%VOI>}b>jQScmDH)P++_9q8?bLAn6H)%%zSiojV+?T!XoA>)r&T|L~sy(TzAW7 z@&imxH8B%jZoM#8g$31ydlzA@MT<`AX~XG^V8!i43c(f!{=}|icCkn~DM>7G$X(R+ z5Suq7hWg^z>LLB(l^AG>*ZDQ++V8R=vcS&T8Ltdr6I<_J!nY#9~y;*}g zn6V85p9DqHK`MW+(EmwfJ+eC^L`A2wAYy&301jPpmTgW{nJNb{n#jsc!|l zn*9j%ZDx73T_R;_B2dHkwxD*OWA>+`OJtDV-(J^)Z*AtW#8z$soLPyi76IJwR3ww> zi=G$OpA|v-dYJvQwejXgq$oG^8J@INAQsBRAm_4%)3X{n+oYz4DQsbGm!SbBqis>P znML$bY!S1RUZ(A?YU>v4O?-;Yy2z3ra5Hr9gXZ&#MH*z4X^5G(-VjCNGLUuUOBg-N z^2jAWEzC+=TE#W62E1>}n*DdOhM`Ny$?C>FVMOQu7FIbUh4sh?E0I!m`2@!eTgt@V z`FE^(5Bx&5npm2xI+tauc1Mny-ZM*0%gjOb|y3@ zTGJYr0~!?rpCi0*C-|IBa35y44>R0{Sxr4|Mt?N=qe}n~1ArL#eIt+i|Lv#7K3=_mUx})b2?l4nuOL!;@U0H~%kV0ZTDVebt59fs#;yf;bU@UxB ztS6bod7PPXY9gFoGMrutoL;JQdhr-r5|6E+j>bxx&2;zVs4hZ6b zAYM&77p$gV4p!}?z3L2WkI55&AOYj;7;i_+2v(D8gVhv_PZi@yA_z?cp^2D01e1qg z^7fd#JqQf}p@_UAj)&$OP5OSc-i8(T!OE=~82CW!muaW1;&;>_b z8V3grL#T~YlSN75)kIN(!A?<@#;bPOAFrmbN4i21N`P48EeVJi)R0zd$6#@9G$azc zpF>48oKHfA4Tgniu|6}y+0Y7mg1 zz{rUu>)iqQ!KN7u>}O{dE4B$s5Ryo@R^4#j34JoD>$V65G^wwOveu|piL%tFZW3jt zQQa*2ON{F462PEt-C|VV+J%9`E$XXXENayvv$|=K#dhZs!tM+rwo`$Gomx!9$*#I^ zxMjn_Ef#grF7t*(Tg>X>do3FlzhF_9d|=+NJ*%+`jc?q@A+oaB%xdY4#cXcW?srL4XHySMSj~;lRuCt()?z5y9jQ* za09n|zW`sJzz3b_E)-R@?-KhQlj=lSB3P3s8o-)lQGzuo62PdYin7+ArtQK$Y!`A_ zJ2pI}W>}2b(3w~~oii2=t@LFtl@$Ezvl;<2HOM~E=N1alNa=W>L{I@@68wKJrZ zV#l$hohL1ms);YPGjt>Hyl=GgbgL~PYRaB=pjuFi1BBXePZEiM3?n?rr9@5p91;5d zcB=iQ5KtUqgEFd#dk}e#gdm3WR?{cKGS>HnKD3w_j)+3|S&`}bX0>5?8*5Ycf#d16 zKq1PKw&vz)FHX@k#IR+FxHbhVM1*cJxq)qvw#w1%+nXO^O3{#(b^t+@9grnVrgHZ9evruVn1_PIf-b1^p9FJcq+IyPau zgMdJc6B}*w|7M<^4JKlED~EXADkp}w>xk!VB&Az&6we#wN{MG<9gYze8xcNn2y&lE zOyNLjDj`g#|L zL1rfp@iR4dtlT2nbl05VvDaoBkZ^lS5;L<6T}Za4OKp}RwKNN?&N6f*Sul?wFpVKF ziy<(HAuxwb8zDI&`A77FcDgMhTtbsS6_exq3W>9NKU03 zw&|zK4BIW68K=m1+CjeQA8O)yefw2c4P4kiD>xC6XHF-YBx_J%|nG43?NTgu17($$2

0XB7F zD)nv9wsZe3>|Xut#9%_LG1XTdvJ#6-!E*;QW5EOTiJ0nwg7-`v+*KK~sLK~W>3;tF3#MQj}=oXli`-zp3m#;?n!LaSJ9RYa+*`jog2$?}SI`5p3_QDJ@(}d*ZkDPuOwjl3Sp!uP5vMWPj@W zofSP9A-Zg4bD_opb2?k`WM8WM!j3*UC{Wp-fyB@jbYwdVpPfwIH?x7Woz#`V@@B`x z)QzkzOC-IFiJ4-fEzcUXbv?^g%uc0;M>5}RwFDVG4k7|wPzaoJNC4$4oV)}w5ekr- z+RSKoNp7WS&&)*x_rvsLR zVf~C9$+iECT@%MH=6foJy1eYnQ@6Co!5U8Z?$DNeFps6o8$y*g*wlHcCHs#>-XZkQ z)2x>P;@Ot=0LJj42kE6@lUd2IgvpbW{Mc`GPn1;Hy0ENLzsF(axd=V)_`OxWKI6oU zg>W7LhaLj63A5nIlg8{XJS^hrF6oAl)&r*UNs%5&&l>R@?Ya}4eBs@)*0Q`lkFn8@ zCszOYbR41XBe2FyHlf7E`h6G9+$$gJDy`H#i!C`q^Or6$c{UyalX8f}wGlfJae|~- z@=O-BYIKmiSEk{ekSn|>gY@F}FCk&PD2_ywEXK1SE1m_FA!Kg^E4q{^wo}Pa&!kMb zbvs*!9dkC!0Ol~azmh-yb);p9B!5Mq83}9<6Dn>IW}-jX3zbe=;%PhX{G`{f*&@2Y z6b?7{GQFX&&yy7POI>q`ts+M=LTO9x*Lqp!5Suj`JjNtT@nm7v;pXacr1*&hlOQrw zz+NP*ugZ{QR6Jcuu|eMAKfIeJci>w8U`YTb75K!Ys=W`=heRUIC~SCwp{}dK@oCYj zMBdn);Bn6dlZE}XDt0up8A=H=~j$bQtG~p z{|)=Jw%CW?c$y=6Z2LmP_!#b+6wXWdh(_ zrZDKQ_qu19?zVVBvB%Z%qfCm?NuW8U?Ez8 zPo8#Y^9{mSyjSB=(!_~}#s}XOnED^*;{$)r5AAQz_>r@yRn=X!Eb8T3G}?WA+4z@7 zlIPjxm;2}|OJWyZF4tF<#ERDT(IFjd>)LLe#>yauEHE1+k~Yh8#jz`EZ&4*#N;Dp# zDu#^$#$~KF?ZOinzm$}Z*tl0R$P%{nl`kxK5P|dX5LUF#VX;fhAF$Qy)@%2^_n2$_ z4lg8F&3&2JPir30e}fV5`e@{j&r}s#=ZKOMyYa^9eQ6ln2fGCKG$;I}26u9q&Fn)TSl-g-JEOt){uH(fBP7r)sr#DE zSFEy`?J_W6i;l+)Go|PLf$d!tJ)m0NZ;i|nW!4vZ`R(7E=>7^}2pO7Xb2fHKM+*K< zUQ&leiv()+4Y`(VbxmVOGm6-WrOP|I)VCKgaTTpY|QMV-H@YKiE+k;ES9?Tq8Y62ehz}WQ0T!Hsrj%;lcw52@4%->p&v2 zgv;7LR9}d6Q6ah$X^@%VS8VKR2YdE;2Q|3Zw&x=(@)?8A$BsUqoa!5(1qzo${x^tk z{_lv7vr&~_Q$tD{q?i>b%@!yf|lGOgN4AjQ7LHweII6_0LvEpy2wf%R*Z?LV) zd*Ou_6EsfvGs#!Ci8U@Ct#QP)NQl7UhOcO4wVqMxCT>~}7r=fx7|GVM;6V4_mf32U zQ!?HEf{UAT-(?cRnpl{a(%p8-pP7BdEf#sm;d)X`8SnlX6tzfKpYpO-i*;4J;ZMA& zG`1(PMv9m(4xf5R!FFqz{>%!e3>?J&eoc9#3`1GZ!Fc4`L%RDeHEbv+;G4F8Qw)j* zx8LoD6Yg829y)vG8*u!QAxB#s$SODtg<9-u)H^%eb}uC7&#|ffb1Co zSX)T>I~g2SU|FyYY7M6WT;&$sak&0qmr9avjeu?ENe$Pxr`7o}{wOgEeb^m{b7zpF z_rHUFqaGuNc>72%)-yxf2z6t5?rtG@GD;uA@eam?LUa*qo7;TT%756*MG})=i9Cs! zGTdtpW&dkf#2;#Mm{A-wAhOo5i|)AgcIiJ28Odlfo8M;PrFY}C#;K*5S#tTFQusUc zR2muLvhFqiqe-d!JuqG!gM?g}NCTZHVbER-Qw&*yb~8gejLOPT0+vJ%7vOo>yrsZYPT69r9 zX7;ko2jvvX7dBIAJN+GEuiT8Gj*Jy#m0ICjYqN# zPp;+unOeRs(JOhZW`RQsdhQAA%z_~$Izu#u&ud|bR)6Ym81h34#Tv6mA;!}4&(zgt z$gq(67P2_1X@M_X)0UjW`dLt(UO%GOAI#`3BbHxJa*yhI@}Z_D?}X`y4(sbPYJ0d# z3vbq0RLRm7Ez|Dt67qpXw^P$L7PZ(JQg=dVuQuF$oDEwXKj`2mNW3XCY*RAU!gfRE zf96HWo;!BR*1m^789%Kl_Nq_yWc;L-j1T*aRV~K5@ItxWz1fMy&YN=1XrQOQ&_IWM z4qL&2HSzjWAe;A(TI~#~JcMOeXOQ36yz1Q)Cn^1Eo*}euDBHWe*3ux)(SKrPJ6;O=L+8rx z8eIpCtcUkb4Z=;TmwNXT@^3T3Ro`oKY#COV} z`|%b>*`Wc%UhO-yhk~Q?jywpcGe_Pf4{NDjH=PDNjq731a!tjl+Oh8}uWQz0$6%dH zY0L~>2wyJw;MyV|ifTI3RX!9Ihee9i*>^R(^<9@A8;N;G9qS8uu(D(6A$23+=1lt5 z45wMgVnolGV-JTpyugKH61zTMDjWBaP=l(E#{5m6u|f2WYxujqnuaay<@);Q9IEfn zrXF8kB57SUlu>Z6{WfJL*72|#AsV5XiQ`_`-*>dukG(V2Dq@#_+hF&n$1ON-7pak+ zpP#xO$FE~F9MF|EIM~vU+gaos6@%Eij~#99quAMxtrl(nK7ciTJTXg?&mA`NS@C-n zs>Stk@w)}Qz^xEXhc@E$%ueL?OztI=hs48deI1!>#XoNztl_znna&b@8~87=a}#Nd zUcad0x*ISiUB|x`dW{p8JuLXd&Fxcm>=t~|;8s4w#+{g`(cUqe?L9F^m2;F&5KdRu zjbkF+v03~)oiu{obJEdClSv*k<>_$BVUax;lFfLN_++LnWz%l)deC)qT|BAcJ>%e0 zIR^Byai{uNBo$`4f2xHRNLUj>(FqQ5DmAnNNvXus1L( zhTI59g(zOL(6)+My0*WhZ>flbJ>|sMvF6I=y4|NaXL=$iB)WR8hB&awA1Zv86xdFcsFDi=-njx zCb?PV=`QU*v5R!@J}=TjwqU_*cIb4HHa2%2>+x9(3;DEtdu{9;I?R(S?Ng66N~;}w zitYS#v^HYLd=~tfK66DeM#lw8ip*&^;uQ1;?q9C0=-YXKjA6?^8*PoykE*+|i=W+Z zjcCamM}3|oI4-!%W`CYRo?+WQZx-KY29sy28_x`-*5@*?5Sux78FPJ=L6%p~{;C(T zHt8?;bz?PWA0;m_`?(C##O^uQi>zTw&;65BvAnN6z;og2`^n49bv`aZp5~Mz-B5`3 z>Yh74pF*1@@`|-=-uc1g6}A`O8`!n;?{{NbPyLIqL;R3UhE_FWBSr2wAhy4KOTT|`+krVvlEUNL(u6+b8HhOg?$ZIbUOD}yDmRSNF7`EbF>!A>V`1i&j`cS3;*X0LXNZEzif#9 zL|BJBt}ha+b#2fWa*{Rv5*dApnbsL>cz88W#j+TOvqQ&|X3i;_;!NJqtUfFS?x{buQi5A$M5o+LH=5+#2`U($XJ=$_EBlh@>aX_b+5 z4Lh14)pJ2lFIWy0{=qxYNbaCy53e+nNOF~LHj@F4t4um9Jc*D2*|jf!m^C$@TIJS4 zysN~G7P5f+#+O>iU=&9!Btgt?A-{B5ym5EFG0>QS7ezcdAM6uhRSm59T{Umn$FBvD zE(Wu8A5XE8o4Z2^5WsqgBLdZ4b4_(tT~iYeTvL;c*VGi_HO)bqvo+CU%VNq*QL!m$cRs|)CNo)}2}ZT-`*vEo0Ts`~$Uqk_l)1G&b>g^=brxHBn`*_xQ^ z@UE^;(eLqUbbI2BgZGt@@zK8p$qpqCN9pYgHHt=Xqho)Lw?4HY+aj@ok&bX+EXf`ebq?DK3a-`8u>cI*z!R66aXiv6CX`u#Rjgu?np;7IguHR!wuGmvue^Tj{Tc`AzbV|vOF$Wqp@!SsN zrJ!`vZZ*xc8+NmYU+O?^>9lpzZuPAlyJ0Xyt@=PYPfb7T%M9k(Hu50Z63DN&?53E}sMq8(otMg9kk^PVl70Zuykx-1f#?bQ^}i6gCR+VPj~ ztY%X6@#4K;?cuR|Z%dna1lJ(<(|h!`WPa2^E?YE#_v8nhWR9+(J-pc}3@iG5o9UNk zHtU!6%-TcA|GH14KJq5MEs5N$0oUKe8}XVVEGRUY9BlV~K29^(BAi47^nIUSNGA8T zXnl5PGWrI)X@cD}!ETyhH%+jcroY&YuQTzG8gF(Axs4=9`>7wO|1cA8G#>cVlY~M3 z_L?pvM@+{m%&t|b1BQ2E9cJ5=JUFeF_`=)TFLvX(nzN`kdV8tSMEWjx^9P3{Y@Qq{3fIRh#-^qOCy~D zpO*#^Kpr+zP7XhtM#jM91v?a5@Y0{WZ(vzVjtuj zcXCeW_O0GgJ;>))Qp;2NlcD52Ueuo?Sl?5PN$;zhtncyF{fR>d9m9S7NhJEpMBniD z`Pu#?Q|qh0ji(GCZ%6o~BP`qK%MUjPXquOEFTXT^cq4oaEL1n0^yO!pskT+A^YNVn z{fbq0FW+_x$%lG`55kn1vfa-I4k9mT6#$$WL`Jvt^cYO`#I>H`Rf-Lb`(8Z0p!&q) zy#X!~M|3_-;Axp;Kk@O#O!8>NPs~#GdqzL7EFj>hcQaVFa9ANP8UnSDY&Ff~dxwxt z5kJ|?2Y&PRbwE>cztIEugZ$DE@}>q?H$_-kVS9vEY=U}f3YI&~8=g%jQXOQr@Vc>n zcFf`Ha*2Ac3>h2RBM?+<+y_Ud2nUDrtbP7-FXWH%5tnYi{s8iS8$#?*l3`8pE&xRf zEZz9{q2w_^2o9R&@`j-#NvquX6u&l zZ0;yCHz2zVRlHt7;K615!bozP|K}cFAcsvpXTv#&24H!fj~zwsj{cgN*C`nogN(J3 zp*v$I?gI`j+5vma_RfZ!0H~(su^}u?gM(MX7@li#X>?2-Ogn=JaH2~GO2qr4K$666K`A+C*d0i%) z+aKP$q|P3aR67^Qfn>h(Epk zo+kMQ62RBEk--G;({3m&L|aO-h=pG$MU)KiMm+<4L~FK(bZZZJ!Ly}k%d1c4ZV%Z* zI(Y|{k)Mnto~JD$gQH_@unQ(0YWU>Qb32`wI9|4hJp30L6Zo}7Sb~G^T}*lkF93zW zUjSJO1+aUAmk@GU1V+x5wD@*_3?;f75{k{@6W(S*9v!FbpgrUc&bJGfD~0-5<1M(i5C zy1~4Gfu#=K$l&JfylMr4tAhuuBr9(~+u{F2`>&O4(1xy(XnU-JRoeN1RoD_Z__bB! z6%=bYY}CQaR+CRqj9m*y@c0Yl6z+$;NdAn}mm>s^pYalH874a){}Nf&c_|njywv2~ z3yCfbwrA`@-TH#Vi;^w+Eja_8*B1DhhSl3;4WTqi#ouGGXaJu&G}j!HoUsRhL4P>C zDA|%fR4>SQlz@c2uaKnwO2XAwK(gK2unx;X>KyPYgy7_}U&UITeD$kjc#D`WzKTrB zuNA{K0N%;n8<6G7wwx^P+W<9H`IQZD+V958H&G0vb1wtgrx_pC8Xx z%tnp1C!PG#Ch{K*6JFo3^MK7HqJ^l$%`h@M&lAOIzGgH0hlB6j43k&+)y*U$!U^|e z*R_LcC?iy!y@gECPe@FfX1cmcAO+hoxt=~MKe`1*3N%}gB5F*?;;z@p)17pV;N&&t z`ayLnKmEF#JL(O1YLyRsqm6OQegmsi`Jp$Ez-Wwi@hfkTnV^62Ryk_(R*1sR&u+z5 zDUnyciPa?Xt#2Y@)TT^Z^%lYkT+3Tz&h_Lg5t5P+cqyGa-urEcBZ(Kh4N8*u!nfrN zhu$W)X~;}NxP2QLiRq?p16_&Uy`lyw1pI^C{9kqKo_~Ne$eubLd! zbEHg$=g9E*BLq3;srib=&5bd9Y7J7BWL{Gv8FRX(4HJypiG1WBoz&6o;CeE@x?RG> z?vP}U-yv)69Z;8KzIq3FT<3_1hkB*fxxDZV$-K%d0S|dWUotoDM9sldc1jJ;+ljyz zz!&Z$UHt3Qy;7?gAKD3Qm|YB1dF(FCp3KMZf<`Cv%3Z_@Y?#Txr|c%Nt$LsY7`ot? zgIdkHhIQuacEe)rJa`Yu6b>G{oX*;tpRS$E-FP!!xrY?Du3@jXhP`dfa@}6RY46x~ z!N#y3wHTE9gXZ>!UgFt4Fi?veeY{0JQb#Q^@vQI52kr-*HT=qcxPA>HgQp!Jqa!69 zHMpVNeV8n3sYD%VQ`y$GGVCZ>*#dUqD4C)y!!(YM z`w%@^ydB3IKg7lhsB!Fk7r%H6Axf^c{4O5+5t*R%nD6FAANhMsck>l3J@t3qDj!_nfd-Bc-_JM&#+mD7n|udB zw)@`ow|n;rT}H+)GV9U21p7}@tP{A|wP=~A}k{Mmv3(KCV~9`F@WOFs1D zV5W6A(v|aBTiftniOju4yZiig?cyX-qF27wom;+!+FZy?J{^}^cetiWdf#MbYS8JySL|!jfv0=>oh5w?nxdMYtJ;Es`j2*82P`s-GuWB>Q|BdY_*|Pq&U!`etmuPx^o- zGwP*<~uJfv(;<8)oQz9?2qY!kaQqigA68w-URJXupy6_0Zwnyx|hocfERO!@KDq z&&b!v@hXM3cArIOV#)RGF0+4{7Or29r&PXF*& zKCnuhB{1`WYZ(Wz0*mDZzO|9u`!^jgijMyL_RA#Uuf0QG)_UK&O!|t z>d$07X{m)@AqgR5v$r>;oD%OUGwnpY-it;WNm^>LW{Rf*dLLhHq5mdcUKT)mq1YKf zGst${7(j8-!_%y^JBsmEs-kdPsTW1RKnXcDkPZgq)<6k)F_3m8J9u~yy&H{FgJk38 zAew*yhk|Gp*~x>0=^Wwe@z5ueFAYZ5o8GO#wAn!3=37HC!&}~lPfLIi zeTd%ydM}0pHTeg3b)?lOu5_f`K~IJ7d**K5v`D&=YS`0 zX(z!8zPS^<10-JS1cJRhC6*3|@QRJtcWyHxw$I|N6D0n!gU^noV+8fF)YHPO$#L{~ zpt>3dT6XfW@$`Pdf_RMu@sy!)UIJ>{y*m?VhJoz#Hah7Y1`_YZAAk7NR3eq&;5cR~ z``urKyDG&{c8JFE{qNmQ+tA#s`TlL9jw>o$3QS*Tll zKkmw)G6S)h3Ws`UXHXnu%1mI=Q16<4^c`x!KFJn5b*OjT0GdQChfoVxn8V$-(3?et zEnJ<$eYem;!4$ZY9G*6a4j(F4*k_fhIqje_@vvt<8x^@qb9-G zck{{-^k!8L2sU#zY`^R`ZzMn$ETFakO=SNOC#ungcd*mbrkq2D6<%U&ydP7 z>>)mRB>klYb-^h5+u*(uswcA?_&p;^s*sNb82|9zj`nBvJ!CTglMVMC54D9De^*lu z{Ek0?^t-MP5AZdk>75#f>ht;4(e$#m#@xx`r7?yxP3^@a_xG*s6rzB>%NLT|-|3hh z=Jqi(KkP*>Qb1Ob{EGJzlnaKw!&i)uu%8-L!eywBe}}UOM60^Md(0>_OQUDzshMq_-VvZSz&>ZTS0f`gjTJ z+F&Ez@9(5j3~?Xn5J;7f`N?$1H_6||i|(bJ+9p`8$t_*$?uB1F>fL!Sok>up-B0o7 zXQZj;4&~Y75lcVj#pCIpEp4+W(EJFzm0WgB6LNjC&aHp)#t8^9Ht(2*)yOsg2BAtj6c|jjOCy%D%h-`Bny`?=eB^(G2)QGCMgau2kWgjB6gQakzHk zI*O|j*Y$In<7O7lm@;wdl(~g7(r3(6%78T=h(_UxLnLO?X;Po7Xmp}s3a$iP{`!-+ zkH#fFM*T|ZgQC=Q))uKy1c}#BBchd#HmXWfW!z)-jyP;DK}L0_%*zi3K44yLtTUVmc)A(Wjk? z1t2p}wnJHh5|EwE3UUTmKpqO(mt`4~T^(3t1KCtJb$7#=0`+TR;9-ZA$!XGPBrab|M7TBj2PJ6g` zvRxU~($7<8(77G((zP-HaErkM!Pe6Ge8&vxOujm-bzzkw>`IT}kR~MR{|E_(59dwK z()kfHvGK}Ay%Ea_L76jS#`GC{;4C_z-G}J98BHT_4dA!EOl|zaZ0d$tU;p6+bExaK z!r4WI`Nf3=_QKf{^NXj>vG=qW%_w|uX7R-0Li?oYGwf5QO)2hgzrUzp;)JVir;-LF z{uxH%Ua;3+?}qykyz~ibpCX4oIi+}V!HkJdYQxj)GYa#k6iq3dRy<);sZ$x)W@NgK zX>7s7I|>U6@~2Lm^4PFPTG?^&QM=+s{mc_~Kx!Ysj)F%dJ7~}|Ja;yIfEGT(H_fK$ zbhVprnnTn3UVO%>bOzjknGi#~Kc1p}(!VHoDq@A7 zpfukA7!WK}pw%A2pWqM7qv=tNSgD_);@P-=Qd|8E<{N*#`MN7K^SuceJK*9WZkobJ zmD1pn1H0{LP!zu(DL`Gc#V&9vr=Nzl;r%q~*_DOQ0@rhPrC~`&tPCBY=(za2T{(@80F-Umx%U|wKnE`5 z_0P~`TD6e>_zdk!4=m)#9vV+C?B=;1>ddZOU(3| z!YL0=F1};(#GCr`eK4hq1aHxc6;EMK2xUfzqEzAS?BVG4yT!@C8_v2eUEcQQ%sIOIZ42aBG8vW5fLw^jT4gj}WxDVi)ouPt&_hJ(j?}`MEOMn;(Cg zs`16Bk3)YSTtY85L(aWXiZSk&r4KK8Y`SpaiVcrT^3cq14ZtNnqi_k(9tix@6 zS8@64ui!qRP5o8e3y0+Y2zSwlY5nk`|888}XH1`7+&w*?PhC!X@#z&bLW{*0mh!nJ zG{#xrLomZQ;XefpQETn^*6u~U-$K5l1e&sKFaNOwP68qQKKk{u{6`N0dB2T3unhhP z_5Nk3gFknb(fQQ-96wb?AELdV=l#p6Gvwl1c8OddJo+tvq#XX|yXScm%A~SNr!pSx z8*pKBjG67%%K`mXK5;psEvWCrLl)2w8nBGVFQ6R*=PlDBp=TK%w1D0ozXJ8)z~R?9 ziBI6fm9n3|wE#qJ-p>y&pv#>@k=hiZJrP$XE`MDpgk9G8{DpK#JAeCBw3%863E~|W z(Ohb0-Uk-Z`9$1&xtQ)IB^Qok@Co?ef7+EbxN1JOD@#$2IteF(dLGJwC z9Ps$-;iAqn7tk>&7XZ>$1%l7El3aNX{t|UTvX+v$XVSnvPZZ{N*UeK=?s>_nyIIV>Ed$&ed1o0{PJp;`af3C z4zzJCuU|oL@928PDW~_ZiUM}>D?EKA9ib+oFBbL1Kp+^qMsc*Px~v&#w$;I3SwTBG zil$GQIel99>C^HHg*&^1al%c#gzF|;mtNr?ucZBHk99m`6&*wi*6~|cQRm%N>zqm_ z^q-`1S2kXg?b2P_A`w@UE+AoGog- zMtmd?i$(Qb@8l(%#_%vs?~a&=-n-B`45i@qLV$$v+g8zzK`laWSkKpT+BfhTU_?TN z`j;H!4}6u!ucoO{^ImP80o`(z)o5$U>un>pp_+v*e;zNujQX`Y&7mAZ!tFPmy$KFw zSiD17jkeqGykp#hLo%~Qj=McG3yQa0q zDO}rgEJ`9*sBpzMuKud zY5bX&XljSEz#*jh8%ja{9~=35FVWl%;hUV2&Hi@#Cf;!k;@8wo{MI!zH?Ru*eE|RI zCcbtJ9b&qI`pp^-udbolfp@;PQu z^kq7f{`OXbKeL&?xR$2UfGxa!Egced=N8QYVA>YdyJxgRYH5GoR7*pgMF1Iw?yupD z!%?=a3!;j)@WrptAtB)t9LkAXLDm?DX#4CH`b398uRE2803$A8%Y$C$53NHCJo^BD zeI0Bb^>5eFzRru7;|E;7;WA>(C65!(tt9Oo%?GWgb4%8}p#|Vu&?kb9zb<@Q+j`#{ z>XT3xzRC}eV@heX{(2GW!iV|mGjK1~=C9AheT?{#e}By6Z=8?Dwu5R=Pi`}4JMP;e zS&X^}Gyd^Qa4+(+w)O6^&ey(5J0|aPp&w5@m5 z>nP+$V7ye!-`hxswBQ(tHsJ>RIPSxJN}IY+3*mZ;W=)%uKfR#vscujAnEo~&w2AiZ z;2+Zyh&#$LykZlb>%6c{JJGlZI}s5h?j7wsYA{N1o`mtv*XW=j{_*c)yihfNJ)SD^ z7|mZ-Q5P2HuP34|R1A1teGS<=%BI(_2}GH^nLbhC!8}SC+!d}(xOd~)AlmR@D4)Z% zRam|K=-q72ZpnM6}7F@-9T0_ZB+>hT2<=x|OXs0_s z(C}_6z}EK>YkU#_KVp84#?qzL{Jt$T#u)w{JQ^bVUHllTG`@y^zlAyjht+7@8d&D- z_&WWbSdBP~6(W9ulbtk{f3SlFwX{7c+ByXmO`SCp8@?XK9sGfN8MJY%}eXsEZZ( z@t2|Ap-p`f>L3gMAWdKTC^QH;`s?jc*9h=7y-A0VnDKZ?PhgmaQUFeNYkPxfyZC)? z)6|k}Xcwwlk5VkS@sdM{`r&`SHvi~QX5;e1t!s1dZ~Ol&d$u6Calp>MLAnraJaZei zxnsA{cD#5SwRbqMTgy9NKsGPj`GMVh(>9tKV8ly?B7NX-O{T6QZ&X^6v#}kVN_d15 zS&KL39r}QYuJ-Y{J7}tPwNE?e+R{d${B5sGg$na4l)w26(Hza^Z>8}q!`~8Z34F4b zM&06vdmHl$!T9Te5R@=|e_d#XP(Xj(CFu%UN%13r1kwf|FZklci zse|hB(Yt6A|6w<6PgCl66X0X!p_Aq_5e*i|Pb%&3&bU)CJW35Rz=|-C$W~UC@TZi$(@~}g+ zgg<|Xo^0}D<6G=cIKlF(*Sc7>XQvT-e6APa}MMEkVE{1!}MWl?9J&BM5mPA zJoO0eOV03#N9X`r+=s74)jY0mQ!}3YKX-*j^2?MQ&@{YGbCf2VF7yJC(vF-RrO^}zb#I}a2FTKBE-)ZZ7|5FhY}7zOQ|58ta(ze>Y1u%2>_eK$D?g+G zq=0|;A?+&ejpp9ar0hYW^CnZ`;HKs(UfKw|jz0#)tQ^ey9|N*AXwT!0Q#77?j^VNY zUcUYq9s)M<<0$CBOin*Su0B4Kr+);s4$k7!J_1=NSA7I&_s-&v{F6G(KH(JYY`SoVe}GlY8IH(x zmcMz5W|+e7Y-;Y!+x-hpgM0$N8GaX!`2@-{_AdUwCpdS?yNl2N1k%X6o4@r5O$FXh zKf&?~?&0(_9=dMkJx^oZHT>SwknB3X=ro?!Ht_AIp}swM=BG3v(1i&L+GFoLo;RHq zYB@p3IiBZz3K^zNXlfqCmz|+;eDS9^naQ5O*M15nxzIk0Py7TM`7?l{lPBwc{S(&wU1gZ{~HMK@PqL`2(k@)3gwg!^a(; zW8{Gc1&bx(yw8DnSRQ}mb2@@9%;!5kr~RE{3!9n+PnGc@p~FhaLYgg3*0i1fY&fsU zg}lQVXxZdRP0e%Mi$TJ_noD;;)(l~v%qp`0l)Pe$Q}i<3*bGk z@juVfF?8%A(VT3~Th!E?t?;$iaI&=UQ;Ii#&w-+%Mf~-1n9{hEe|e5hqN6H#?$=PE z*~|D7U&Ca!@|V8`OGYi{^=LNDW=+koBEiYv^LQq%tl-J#F?_`ee&2bBd>b!658b-T zx1Xm&p?`m#rz2_T3%uz(9m1DhfD$FX*wkFWyIqDO^(v-cSsrjtd{{s5SMZW!8IyiXj zMi?yOxRM<*mM{AlC+?lTqj9EwuL(^G`yJ2Q3csT&U5bN(?=WlcZT!@C^gi>r?Z9T> z&z;7A+b+^xrn5Vnnj1K|0HuB9B8{W7ck}lyVnB~t9{4Xh!n}E3Q}b0Lf8Z?S?fw@X zN9_lN*Moz$V@q{VxRjer{SLOch+DshudO;LTt~W8tN@2F>-FCY4|GThPI{OEG%FwQ zrtjflQVzEaf3JadG@n46bv6a;&L2h1Z(Qk=Bc74nQ?g8c3js@c}rV3qHn=U4q*5 z#{F!0pGq%iZQT9?HPW#kNdVJM0PN+r{QwP2YvA*LfLd4a4}QS=hz&gYM>@u|`KPAl zC~dArMAvmKRdXmZkkvm4Z_ttZeiZic6F>YT9bpLgxrq-jnxlD-pQzC=&R-jg8jSSL zpWv`A@mW8CckW*$@4{UmyI(Q_%daB9qLLlr;(3R`pkDxOUV62ud8&cW{}O7~0Bh4jOcwHmSr}id}|ByIIgo(>g+j}Vg^0Kf>%FRF1bo0{x$JPD7X)(18 z9H0Ac%f`y8mC_$~wX|xn5{1P^C>H4tVI|aKc^4rhF&m4ph|-2AgeZg%LI@#*Jd&^o zA)eiYknZ<)&75oJ+B2W`dG$T#I)CQOnKN_G-ha~B?B<|u>pChOwvqF%yhYvl8`Foi zD$mJgYf^Q4HKuo~`+Otkeof1|tz>X|5BQC@lWwZJ_BU3DqSjfiC5<1@oq@f$$!J~o zuY>292HU;L3is^##4EQhyC zi&mMs!GETAO&7JVJNM6Yua>jgXR|Zw_W6K|+%tc2f^M$+@K4@m+P6ct?uixYE<4FG zHIwH?r5&=_N%HD!V4JC_x;g98-Reed=0vL8jqYs|AF{_b%N;>+-I~pe>gu{Kf2Di2 zsM$NND7t2?;)P}H-gW2y#WkyRpSq|1V(*9VQ@7?X)~4Eh>e~FxqC08dx>0{~w3pRA z_%}yoS>2C+)BUQ0vf2K1FMZ63Kja^#;G~1DW(ZAqWfa^}D+mxjr|r#rPSV~=X~WxCgO z`ImZ%2G^bWFP-Af<;H*02ez17o~`>}6=U=5zuauCtxIi9AC=A>Qg`%Lu8d=b)SbJP zAzW~R9M)s9TfMYL~i|g8CEc4iq$imc>J}@jX_%x~VM*&(9Ju zXlPygESJ@B!?NxauN#tOKgSQNJ0+Vwy5;l{+3dKwW4Cgzw3K*mLf*(S*m~Ri%j@`w3ohjo>wZeN*sEUjm@g8sKU>_{`>b`h19!rA6k8;-h zGw^Z~KL)QhJ{#*>w50rPY2G^}30lE)0&?lFx(??X--Y#kTvEX@XN`Xg%MPpG!3@OF zIW2mHIjiH&$aC;iIvxCPO%SZzHWQ2^CY??NFMUbb?K8m~Zs)~!f5pSP{7jI;t1fYA zJy(Zr{JD<`#NXqFop@h|i*NA_>v>1sL&lxGyYg0wIKS?&rvB%!yp>P$ zmxLtbQ-K@;so)1J@AK1u4Y-K>JeR*S$KH<6F1X&rcfoTGO3G*OxPue-z)Pr)3qaIf zcpM3Xc#oV8;pKRX@mwr#DU7#t@GxF){3w=p6KeirxHEgKUWkj0pT?z$!{AvGh9?QZ z^LUQ&5-i79D|`jZ98kZ8Wr)>pU^%4fce>Rpwr2YoWdB1@bPdeQ7*Z4F(%atFE<+KguD9Xj>eiGy~ z9PC{DzvO+pl79i#H|2_-!usZ1@$XpQq$}>aa{ zLAfCb8t^Cy@(yD4W4K^&;)QrQ9bmbLI`BD`cNoW8D)< z5stTX&~;nRKY8!9CUhe}-h-_!#HGePvAh>s^Lyb6<2|t)bImWo@?LHAzPR3a|81Fn z4JP3L0^)N*itu0+7ewbs>_c&}@nN{s_y{a-?2fl|FbFR;J_gGn)coT@67?`lfCv|CqDJFT`?))K6nMMC$Na5@Zf&!t+?)+btEYbJqMHu*?bd zPgv%J`WIZ~B-a9Ydwa4qW{=?X;JgpUk;uXn29rsU^IR_u1>6P8c|OyvgzMJEhd|f< zXt*S@QZ5Rd*P6eMl~NX-jLToc2`!UU8+^7go|Ni8u*@;_{u|>-7&&AQUi&Rx zNMzxW2K#J^*8y#?4$C^APX8XC_oLkiO~i8EPj%&s{|utDY6mPMRE71E4dMk@&LYVV zC1C>za+;jx3KVaSXYoMi-^?+TwR`*RxSE;sx~=D(@SsjTC@ovdpaULk+zGomBI|#v zpeqT<)|l;v*YS6lcxw?9ntbWNk$AM}z+k-IxEwD!CF9ETLIw{xHSti~;WTk{{YeEQ zNEkgT2^fiMPEUL)o?~YDDEzST8Q9MHF*w;8vqxp)`gD@#rczOT+erIz2nLfNJzVaN z>6gp{>ER&fXIrGA2BWo~_{~^4T1W=4v$rGmA1+*z4O;;-dqHfwQD61Jm(cuNPp@DSrYv2;N5 zOK_EwOyYfUvNdMg{uPfTuW=VSh+gCRZAmF;E{R^fisB6H#cEIrnRV@KYT zAstc=!!pFnTg2)>Np8eB|}?D5IDsi;03p}Vm(IGB7H(Q{3G(&5@X=KqlMGp>zPa4P}h zjBm$f7bN+2;5p+G&&2uHBzH)!<9Zs@JEmXpO0$EFE)SQ!}w>F{VbLcRGidfCAYK{7)3V(C!SK}IC(Z7Przzb#%&K1W*iIM@$2jgY+l?@vO1 zGh_$hLB@yRi;V~1)y4yHgYi*#32&r`w{&nc)=#=g2gW-~KJz~vTt5IVlUZJb<+RzB z_p!+=*Vq5oU^ygby7;?IhvY1J2~RO|U@4w^Nrq_IQo-vu?>agp`!C1jR}%EYh2jo$ zRUB{WpcCFigX*qWKa?o(gPk?M97_Z01kQ z!$a9aJ#9b6rMP|69bTT}&N9T#J$c<;YYp5*so#S&}&epo&S8eL7vpC%4T(0~~vNRQ(!9o&hf$Ld*F z_E0?=%Lu6N$I@Z-gV-K|c{te`vy-@bhO)=9G|G^l#(VN)h^3Ht8MAx|&N$CE704lZ z*K6Q?lP|~kLt}~m4d-1hwaJzW{%FhmE1Q^!C<%WNu#P>@W7dO%s~?D!S$?c@Tp%3` z!4j_?hV34oh?A``yHnd#)PcTklAqkp&3_4!9$w*9aFtiVWMhec0LuqL<1H0DgiCKo zcHl!?j(IS`?xlk*cm#G=zo2Kx*cY1uL-DC5;7TkXpIt=-@=z&%r`XzHJ1n2;)k%4+ zv*u61@>$-cu6!P+hdACi{yUH$pWT%qmj;e-)__5H6GJR3q3prMSUxDM@sBub`~oZ= zMwS~4sc)^b=6{9d!^yI)kRJy5JI4tc&<@K7fYt4BF&`E#CP6wd0L$lqHGd$kH2D`` z`S7sjUxeqH{Clu`hB)51{?8$y-UPghJ2wTSg7@)A;}7v%<5jratRtV|&BkkRWwkb# z3ckR#S3Ap#HA%p?SU#m(OBZDb%UOZ+Q_C_2$Kx$i;_pL{5t)cPFlY3Y(StbG z%&C>Q3(liHiT?-7A(btZCbp6wA0pS&ZjX+!qX_bgu^a;R-dH|3uJNZhYyN3i4vBg+ zmd}c7{7uf}(>@K{LV_G4EpQu_4~T1lCC-}v3YJ5rehud_BI-AAq49EDYWyyq9$DI_ z1MibC*93fsml&_Y%Zxw8n~c}s_2#kM7g!FFcBmf9AyI#e<&Z`DFCF-v1UW_;@FSLW zLA?RX!lM2kmW4&V5zE4&{vFFYqTY<{%J>hKE!uxss~Zba(MmR+L|OX}*eMmAhH?nR zH8}eCz4HfHPBWQQlHa*Ki<9v=Sk9tSm;W@Dvt)sDmz`5`R)x_g!=-|=Ns!ZOo(uR8 z%Q0ncM)!0Dyy%l-sy+$JX*SNqKZNBpD@?~7I;$f)M0_-d(&^wKEQd@MCb>ua5!YT# z1?$|!;J{tD+L?eWc(x*w=0sQEWh`?~VVj>Tb< znFF=#k$fFO35jw@R$=K-bhTp0+V9R`!VFk6gd?$ZNbeEv!uG}GS}Y^b+0|FrGZl46 z4@u=NrhU1b-Y9#Z1!!iAbKJ>Pki|9RO9iqr?$;@{=J&^w=%8M#&cyPi6q-L4%Xcs6 z#p#Yt?7t*vz)S+<`xM;ODR|pi^H*T`whQ$Kc$4u*xafu?{}Wtqyc#dQG0FctBw^)E zNy3*{z5*lOQo+|)z5+wN4$C)RsDHrn^%&}(uzV|q`WGzUmZ5II`F!m|F$r=l2s?3b zD~^Fuup%XfpQM_@T5@sxgoY#` z7=`6KGNMUB4{vbR3Tm}fBHt;)^Nv93$-o1GPBXCm#)c*>WIaTjE)QIJf7jYi*_lH!lcaKyw$%eRq zu~;UR7Ptq?Bwg+DKfp4n`n#2Ldsar7lv@69ER#^nAJ&WdI13iL@*iP2bel?c({4Vhqlu(`27_`Ik4IqU`){Q!6xBjJq zyGUptpv(pQ;|$qS!B*UXZ$RNC9!dvAT{+D#dk}djmajI6H~yZ0_aJ{8mmlK%=}G?8 zxSYR;jF$B`#hu#>5*l{t5sZwS6FiKU-;oq}6t6S0d=;L{_o!$GvUrhkuU)xeF&=?e z8CT<+Ss7h_dAUu(ToU3f6Y;sd>NLn>Ct?7SJrZ4dB@Ib zW4T`q*PDcENRThr(F)`>!gym@rE84kpVN(R#WE?i{O$ZxCZ+lg{wb4E&9|n6(X7;j zyUANez*rJw2;X$p{I{`8LiGy%DRV^q0soXqrv8Y3%A{0(!atdGO&cpa8WrujecPnl%upZKSo*724T{DS4YkGGaVgZ%v|xf-GlnqtlR;u~ny3bWEf39`8}i+O8`bOZg*M7NUB}%hJBzp4^tR@GMTnuEcW4 zdy^kMDV&tX}pO1Vjt221zmE}DD7jB8*H9|f0n zVy5fRMSbWX^_9l?A>Xh;g(M7j1^&eP4Nua;b^G#MkRj_E<>v&YJiL)1j62XW_`{5t zto?TM>#>*m@V@P9Bu-nz>&t%K&2P|e|QO? zJ`J`fq0j_$#C?rB<0;0w;+e+Xu|4Ly;bd#fzS%An4S7|Ic#;k-Nkt=8DDVH3S-Xq` z8Pd|6*mp6>j6bJAWAPkh1K2J^>+mGAFzt3A z`M0wE>QeY05@Zi_NFT=Zu*t_C#Lu6RKZXWn4pf>B$_U=*c_tpWDC72lx9?-SgZE0j z?!Q#9fP_l9?TNNj@B}{3NnWo%g~vaiaVe?bWzVnTNhbe2+`taxP(s#`)NY*CxX8IT z4yT#|dy!DDdrX0oU4gj8bWnlyyX>UG>zy_KMps^aGnNjhr{Y(gWQV5h*0leU+L)a| zfNnA(i?Mt^V!Wk-7qNWhq55Sk-=nC070Y)cs+Zw0#&6*o<9Bvr{O6j4_Xt>Kyb{}E z_AySj#_VbQxlH0SB+4XQj>j19(}hWk<>DpzXJXj_owT=wBuEFef-Shlcq}hIWe>H2 z8CXU{EBLSJkc`-7ypHnmmJ0rn{M(Y-_}zAAhj28>IfUU55*kc_VR+1oNd+h3O&r74 z)Fa2d+Bt3@9bAK@0rhn_7oS0b#6Rh*`HQf0z&Q+_lLSYZ6ffXpYs_B9+HF_HfjpFw zJTyh;U+-}oZ}U!GWpWM3ydZH4ljPD$(Q)MjV1n76VLo_ z6)ZCWQs6CPDe#LaAn^?*U*dl=miUgWFv$?N3OdV*)3h~acTF5d7oQ`%0)vtOiZy1B zF_s1{^y0^xe2KrzSmN*T;^#EwN9!+t$7@Q6uZC}X1y-1RY2X86Y2bG+ezVD!_krqzg~f^y_!#=ZaCQ*vxUaez!6^jAd@fk zA7d=>RZ+aQ&#b<{1W194jHSTTsDO5XtCz`__!-6$|DqTFvdNeDSH;@C6jFRnI>Q2#~MomQ@r?_Ouoe5 zVl44b_NINi2a8OA6nM^93ar64{tJ^Y@%6?M-=a7Os$b5yF-ZljaQ{~lx90ojnpK!b zK(aMv_bKJoD-|pzQ7$$+n0#rV53Xt|z$c$fzI3R+vBaP1#g7V2fD|~xSPIm51+F*w z5`Uwy#6R!FFERNN|BA81ha0>C|1$wnV56}V*mck5d)yr-TVr-NV~HQ?#g8!g)E{O? zngl6utyf@*$(Ih@WGwNEz4#YRzQn(5Eb%`#i|6|Ps|k<-jmA=->t48a$`BMLh#u9%`5>NXqz1NulDR6_a6nHi%5XC=l@+E$WvBZDv z#ji8@68}S!Xdj0@qtU?B+|UP}_{v3$dSyrqM0alP^P*f#hhPBvca9m3~^ zsE-dmL^mw?hw?e0SCbo<)3DT+Poe1fe?1BMlLC^k!Bi+c-kv89nb$L}4gQ#bZ3o)P zlZmE{S#B)l`{5!}{y;o3aTpv-LW9}EGHe?-94A|2b~YWBc-@2UW&ClO3T3^LTeKrh zyma7fJSAx`I2X@ra+nIvlLGvyYCHZT$Gi?NYYO0R!#MZN47swUf_v~<;$@&DemTyc zmON7V4X+?S>LB@D_v1;Z@n9Uho#Fqn$@Bkm5{AE%i7Ztfk8|ElJX8u$LA<4d5jf9y zB<^f{Dn8116kcF_29^%V#{5qQV@R+cAUGS#9>g0To58Zj>hrMdv3eY~&w?+;_7Gl* zldUoP{=qyodp#2jly~aOF*|`-E5|59lsH?)8;596Zs%oE4j90D!LT0lYq0E*`VB0{ zw6iOJ*kQZ@fkU=A9oP2&w$FmU$1*}=W&fpt%S{hu(#-Vs;BJ#I3)Q{G692pxzr^HA z{42&1|Eo1pI6CeeCG?oI}@85h#^Kr8ATF+SG`+4yPntZAMVCSfPDR72YV2oGb zY-5SP$&0_mq0e!TxuV6j)=W4y?m1^>mlD>81UQ~brG`G~AF<)yx_ zjHLtrc=21K{JIwgwb&)>(yw`48Juj~@ES{91HAZwCSTe<%2?tr!h6i<9=uGYvSi$Y z%aVNwgE=Hz!x<%yi6r1%yuhp}f8ffbK=2oyWV{8}8fWnq<8*&Mt?^#Q?GtY}!NvSJ zK3=23bWlRVNE5Ixt~TBu&oe#%uQV>j!TU)AhvHHiXhX8>(7E_%+}8OHT!DGpio6Lt z9V{hbA_=2hz|VM-sqj}kkvZaDXyqfrEiJ*Mv19)k_G85%W{;s$MLoN?*r2|Lf zNhbeTyv|t`fnW#;>rKEgoZ%3h3O1PlDe$MU z6eu{bd53n!$<~+E^NB!8==OKg`7UGOR1dILBj_3Xa3_BUc3^$a@jPQredU z4Y-^4nnf9Wjk>hg-1&+mj$2JOs}&`G?~v zrUU2WwI)Bjn1p2n=n&tFrc8x z*Zg!7{yk^NmJU{y#d9Dc{us*~Q~wvsA!MU{0zM-_W_`S+ zgSA*rEA>}cCXMIPX)#jKfsG0sQI%0vXmaB2}lZ@?G-rJw83A)$hR0wjC<~rsrs*SilN0fppNl6MZ-^1J|w;t#-O zSg(F(;T6U=<4_umH*UjS0rfO26{=@o{k=!&&{Aj3e;rE$>Nl~>0rlHh4v~7rk(~c> zj5Of`0%VBQAK_BtPw;T#)p&vN=h%KM>`N>|uJwJ5mt!5VyrYcLnJnYuhA!7e<<<78{h2Iah)k^<43;Azca zSoSzNruffe`Sd|VpK^BjVepI;_$CvZL0pXI ze4F@1JaS#)mvN&R!dG$syOJSYh6fqHg@+rzgXM=sznQujETyDaDEOVGxUAVa=b zdPD;YvFxE1*obAwSpcI3_B|%m^xLe`;CQS*%qo5sH|-(yePc#ICZT-TY20@iYKyM_ zsh|Z3E545sNaM{4c(rkBY=<-tCtG9o8_o);u)>YV4klk3+!MR z^*0?%AVGSp1+KudN9wDv?16eRwuht!CmXMpS(s#mrqZI!scBda0bg|z`Ay6rVEw0* z1YE?*B||P>gf0FC%ZTVCTzNca0p_9?O~UISx$vFxDw*K+3ndXvydfDDlaY{FGe@)+(LC_S2;+yh>SH=7<`>iKfKnhJHHc>v2V zI7in8X2n+LxYMkx$Hn>TR(LM)>To*}CI#J^67sS9JhTSvIvIppJ=BxG`$dK5f^7aG6d`4!Kv;SDDKE&PmWa3h|BcXA!*GKBV8 zy7uIcpxsFrtqHg%UQGd68Raw@iW_p14xWUUlb`SMug3g>HXw5R)*+RFLnv9bRbiJK%zClLousLgVhZ*tjRIH7-s}`*dKRBq4HNJjWC`0M{EI zf;Sl-j<*;O!ZL^AjZgG=9@=DSpAL*5VVo&&3SMk{I$mx(2CpkqigA$`rc>H7Z$336V?8-H2H4Ops>0vnw*|9316syAc(m3N8nJ~X!G?}qgk;w68G zbF}|5O@@(BNricokbtY4wSvi57AkcOmeWdoJ(kl-eIu6BFy2}QH)A;qG=D1QEOG7A z;4~6sR%^fvEN6lGPAtDiubzeT=OmtuGsgGh65|JPh4DN*W=@z?FrS23Cg5>g<(iX= z&yzUW8ncVA{ifb~xcii)yOtoiHtar{8yL=-4bK0;(!uDo>@UgavN!m`I&!Q)s)Liu2jt@OF%Io4T}^`Z z=Xj=>#r1g8_Q|aN4liz#_$R!cV;=25&@%W(^35FBis#aycw=cA#{6Gu5^{#c6~qB8 zgKe-q1l!_dPF&B?P6?ErTAXa`|Nk%F^*68G@xf9l_gA<@vAls8dvc zZ`3A0_8{dd=*2PJfODMlO$THMi?JPneLVM-4w?}<0GHjDT<*^bNf?=*3}Gc+VSJwF zi#%U~*P8f=cVj8+YiCbg;zpexCc|OdK!ke=0bbgmP2CVV;ljd^Db5 z;*ZDuJ0=|%ju#l8j8~d!5btjHUZ1=QsZ~AT?yaE$;S6hV!IL!bZyK-SHd~-y1J8F2Spf_rvq6PvrbtZW4MBU|r<7H*PTTC7$=iE9r1F zr|9q~=jaIGGqCKCdQ3>d77}`rA`8u}&Kht#mJw3lfn|i$GjS>2iv%hEy0hlLiDksp zZ{tZ=7q)PdOVEHn@k|1AW$S)YY|Y;d%P~|JVY@K(#>v*0-3!}=X*@Tja>yFu(=ZHX zoW)->nAKw_B@53vW4X&EV3PB_SSDq;^LtnhQIYdLra?Kaj`cb;#N^9!z+ufg6t)OX zGyzhReDIy}y09(z4^P-}^cYWm1ZA?RKss=b z*T5W;FAY54HSmzhm-4USL0ytr{+8!=@JyG_{O1nHB#1x41rH<-nf}GgDKJomocyCl z#)fRXYuocsyxMf&B)s0Z0_Sy&Iw;pamfa*F@_#&^gLCMRt_#!gASxIylZf)0oTWQb z-(Q}$;HtR6C_i;FBe1J)brgR&rM%u>6{ z^RAVA`og?6ydTRRM-LLI@H;Grq}s)AJ%`u#=37?=oJ&6O#pFu|YQ&)_@RlSPe`NMh z&g);XJw(5G{sY&WL--FK-6NSJ!704&$G9a9ZNj!*!1j2KDbN;I7A6($j29Sp_T0^L zAzo_Y_c(?5SFl@B;a&t(Geq&mZ{Fe+#(nWx<9;}po5UZ8?HoB+@|!lk?+V*F^8HyM z7aw|5Nst`#*T!(_vB!nX5^;gmX>4bZ9Bw%vlnR2+x2%#J2wbHg_0&M#4PPfiH3Y-IF=-EuL$<-t#Y>8}K3% z|2tk~{5M|TWR8E9gyNn_gE^_wQ)Po9Xxl!i%fh54`};5{~bd@ zEeRP(;Cgl`Uc5)rp)2rcon+)cgmZc&`SWo;`FcRp8Q{Rte(#0F^@5go$&%?>qn4OQ~NgQ4OS_Gr2SbC{Y&*Rxx zCf!;}$vUtW%Q3H^%i^);rJ@nbAz#+=hp`OtPR{GGbST;Z9z>R$&%ZjmC!_dr?U1xD zr_DPg*kk&E=Z|oSIp&|@1vJ<~8f1jhr*Q*g^0&bojPr1A?_|#Gh}Tg*jL%bk?vaE+ zCSZW)BRvnsV@&*UxWRas#1|(Gj>OX8cuNPT;wR>E{qO7c;JP@WDc}YyJ=6lV*dEhc zak4dLZ0)jcOK|Eu+;ney+R&iTK>B&;MLZ?9woKEcJt zYdnAD`5Qc(_+rkh@Pe zip!P?p2S0ppLH%v#e2~2%;x!}o)5*w=-=mpexz8){8fRb-ybiEEbY_eK_qN3 z0cD<#@H_|?_fI->tmh%P%;b;2v)G~d+Q3%{;zhXWN6_Yz(Eos>!iBiP_!-YHczy|2 znfTXm;ekngZ+Twf9PPi1zy~DsH3e4TMaG|b{?hZ;c!i1o9xszUjK-HYIG)Wv4oW)I z9v2iZcJlIk}#&Zu`VJax{+#8QK`6YN29mtDn#2K<8MG*mZWIZflO zW$+u8S*`hhV42nGzp%^!^%g9LM4heV`d?2%M^dB%z0TnYh6&gc|Ao^of26Zka4PN?7{#|O)4?)krHsgGZZ4%mIs)gK^3j)|T_+U~ zP)@CKegDHbZiFwg^}H2tGJDv9-sKHQMj#iL7;o=f=;}YhwawQ3oFZ4Vf*Tw~+{L4L0!t+f2WIUHyzhe~5 z=ZNt$SYC?BY5ghQ62(W?A9;Px-}?_whVX08-+TTMR~+H~*i4m&oyU-y@<(|-8V@x2 z$Ky%jsC_CJPQv!{l1C~bUSbN=;1VWfPP7LtgU4Kcc`BYWKYH=MdTzw4O?`jhQrc^J z{on0;?&}98Bd|NJAfV~ugKLZ@;ao-_-uMj?=V+G8AYafte;d!+;_35v{jUw|M?wh| z7E_~~1df*Bg3SE!YCo}9-fPF|09$9 zeQ@7Lk{`6Jz@4$)<6V#I&4@jP8?feof%8HN%1D5w6Q1`ru^G{AY zP3T2{oM!RXGT0NhCqH_w$0Qo*tnsJf-sHC-K_=OC&YFJ%meWjKi_7u$F8;aDC1}74 zSWY|jOSlT_q*?E*`9EVhE!DqbPOBz2VmS*me-oCoKpp-`!dep2q{tq0zc{uA?1p6) ztBbJAVs&qv%baOJf|NheS@TcEdE~1ru$(2%VQ@MLavEvCnOM#O^;j%tfw~e;s80NU zcm(-+mdtS0_&c#oYV|DKzv&Q%ErZ!4u$;TCRd7E}HohJj+w1#7o8wvDpCGxu|4@;N z*8W=O9k~9>q>MVmv)&b_^DowoT82pCk2s4rHjy8lWuZJA9>e-Spj-UOW&-{gmx?Zr z(kUs>=Mvrl!K{r6@UZz}EN4NqZs5L`HvjFxOR=0)T_`UPr=P=eR`qk9XLc}@TdsFW zkn>Vs?{7c8`FYyb^G>+loX5N1)#b@Lu`AwUTHrZYO|Br-96EF@}8()H#7*F&ZdcGQuoS%Gz<1<`k+~*Qr zcN|BD_4?mW6QbQt1qb3%32;8t^I^Ec7Rh-oWdQH?RNSi4&Uk_&vPEH1H7~J|yYDr?|>^ zt#e^Iz8dawY4iMDJ$J`*hnVYsPZIKmCJhwh)n-Uf#LJDV@nYjg@l;d(3D1i>KZiSq z!;=P=NP_Vzc%<<%&u`)BCVvGkVu*DP{E1hbl+?ckj~SUbbs6)|CbS~Kx;36<3beuf zX`mGcN!I!U@Ep_N7`)-sq=9qrLX$ro53fk_@4SrpZxinI0`9|=rocmZj`4iF$ataW zXFM;)%T4@CmofhfPD^_98UfaCd42~Mn)na!AmdedobhL#zx4cdNWv6T;CsB3A=B&q zjuV)KxWEm0DV{Sb>F@x&h5UXlzY1?KLtcmbvhe7fcn#N^^5I)9p+6PKZFlkI%>(xF z+!qg|!nUr#)3Gc(@y0u+@i;ul<<~lE{;gQf8s{*$odh|pG~f;_r=5DH*j(@L#_P#% zNq|hkH=H$oIsS$GJeR-GS@VC#f04gkl+Wk?cAXd}Xh3(I!w|*+>EKvr%^!j{T$6Ng z7?zby^H0Qb8mdpma@MFT@FDn25~9EVU+)q$;6^N`mHK8Zr;&Opws*PHu*@0FpMho0 zsPDuwC)BgB%o*93|9rm>2{K9IEgjsCg=pwxoh6Aohd!9xBkg+z)W>f~3N~aFKE0Bv#ThlGAh# z+`;4z$DPk2U$6fsYl5^#2S#~51CNvf(UuDSgQrkoI*LvQx8cIalDps~xP|c#IBnea zN?O4@|B~j?!NDX1CZG~$X+ZO*;jP9m@sW6z@rAg*@hrSxfxiEb5qOJ)9Mj-Nyu=jf zQq7A|<3YH{#9xdHjPJ!OO#It;t??$jAv6iQPNu*G$&eLdnYHnj4tipl)#_e2w=Kc+>8_!MW&KMjYubU+hElOVHHeHJb<{tuQR)ckX>98+}_9%+05mP4fZ z7vTxUmrQ2S1t^;m{neIwpreDh?E@fMRX zl>nL5T3{NMS+Aaf<*ZQOiRG+O&%$zAsb^z3?bP>UIW5%>h9t}PR>B4D)$8jfUY6z` zu}s>5lFu}|@apE1_)^c8jS^Wj8`p8)`7?IEL=o{EL5N2WhOu8 z8b;_6IzYa3;1WFK$?ieM#m~Xxu&yib;{1!XJ=VXKE$O5^i9U*!1`Tw~%V;wn1SLfV&O zI+uhAmnI|d2p(;Y@hY5;4|aQy#evE1bsfjtcm%FDBUp_ajOXK(k)!?RJDo@OUOcDEYJ>jllUNj5B+1C$2XI?scx9 zMw#W`dHFwi{snI`3B~3;N@@d z{6Ac7%5S=n^S|Vpq=CN(s5i%`@Frf_7$1*U8c)PEHA(rF|jm2_x_4({3%}3huxiIZddK z|M3-zc%doq23~Ib4&Gq=0d6o}g#+sA=<3Vjyz7zyT%;&~Vz zZOV_tHIMN}scqsNnu&9-Pa3=j7bXsa`$-s-B=DQ_OcLV-xYGDZJkR)9XYKH2FaKZ9 z!7a?Grt%^0c_5*3O47q^agFf~c%E?qUSQl2FE{Rrb8krM>){-Iu^9*TBAYMQzsqa_ zo`?sU3PQa8rli6eTveO+24`MGM@#dkUjACoU*V~)e02R=N5U><((Q07H=#Et4HV!< zISZ(t|D}UN@p_X#(7DX51Czb{>pb6p3vP+(kFS5XkT5Pzh?$9)ZVEK5m}^r;xD4RCqe>KP_o+jPokjz{6ht0?$w2k*542yutW+oHyM(|9?47 z2)=|e35gpJ7mvz`7d~W2`>*#1+S5CftiHA;#%fFyzxCDSmuO!v*&+32h%vDCcY&u zF{gP64$mNgvxWiYEs`YcZ33>thnoB+@uK=$6M1*iq1JeeaU0L=Jhz|D z{F`D5bRwV|4eEJ*B;M6@=t7(^o`o0BNjh*Jt~Y)N_b@x~A>JKxZHjhy%XH@dUZ%pH zcLc$n#zS#mF3&pTCt)N7@hGfk)qA*zvqn4g5gx9V>;I=D zOwt6r7MD{&J|$#`x0xBAc3MH6=N&y4;1#C6j(GZlqyt^C+@i_G{O7j?O@g?{b8kG? z6_ETAykKEc;eL3PnS_Vpvd5GBfwzKao^06OT5& z2TwJ=U*ezb7HrOm7p7nFIgDV6J(LmbcxMn~OozMTRgt6XA0t4*_$QMFi*Vnk67Pwt zjr-s+G{9YZ)WB)@TyxB);PbG~iKnsbalCQ4$I*zz*WYyTq8G5#^Xqt?sbD!SeI}{! zJv`d@BYdIhz*gLu5z-E{xQiVozv=yddy^nTr~!RFAKe0d z#zS!NVsrf;LBg2DNd>3ibv$P4O^@Ul*5FlG&x*(KGUL^F;EPH5FR(nOi??)8k0;{6 zuD)&W7W4dH1GXnYDpcoVX;9q`ONZ3$@eVvh8bpG0u*_NW56AM@O?@Pm$9n3)xGFRW zYz66LhpdTJ$d>|fY zd@!!Yy4F`ZYx)1f*N~rf_0MqD{5wMut~C`bbJl>j@D!83(OL6<$2Xb$%ssI+zX!gB zd|jxHbJqOu1QMnZpgo-A+!TQCFbzEFtoe`OnI?a=v*v$}?>70Z?v3s8!=N<@_Y$Bz z?CY!*^urIB3eI%a{IU2UlRwp2^QYlQ$WM_VbKqs?IG?}&ze<99@O)F@|C}{{ zBVK6Yf5-BWO7l14mB#;Id8noNTXBOry8g}PrqaB_AqUGd8!fO6mS;lhZLz#uS8tEy z#j83W%d2H|J1lq6>h@UfqGb!^g4vM-x$Ta(bkG^gZL@k;EVs?-?pW@U)w^N2i&ht5 zc^#qdjpc=hdM_;ZoNOWg<9j|xkbAm#;~kAyZaUTdu-tU255#g;t3DXZO{KaF%RQy~ za4h$f>Landu!-BJ1A|GBdpr#&$8wLSJ{~W>I`L2}w`iI_0?R$1dL)*6K=r9uUTLXE zVYz>Z_FqQe3=-syMFYlQxuH;>jpc?yeJ+;Qit6*QT<_K6uw38O7h`$+uD%rW_}#Tn z2QDX}%4N%YI40p_Ys`k&{#|hMrK#v|K+Dr~Kh67wF5}B)c`3Jv7Y5?1O?mk{;R9a% z55@VRYojsy2nn`<1#v)>FBQCvZ3kDFeEFu754`dpnS3e#KWy(0HbpkC|NkUm_|wT- zue!})2)UscNEhTL^?c{3NBCmTm*N_819AnPZd{EQ8(%99NtheN4SeebtoQsgUTrF9 z!1+s(JD%Thh4J6c<5~J-2Tr-KdH(4*v<1#2q1se%HeT>jw;_lu2@l98y!swWk5G9l5N>f0N*&0pio`?0O^dekt8o12!L@96b!;pmW zX3{-^2fdQ?@NvAH{1fS*T)jTSi%o+$OrHLWk`C;R7nt&Wo%v6+gSUJ6VV#$77hYj1 zn2mFmCLNlKhZsNNtdp$ugU$2Xc-|3@Ps)cudlKfnnl#V}FEh?y8S;2b2R)<$0|GNc_ykRiX`S@UniGUV!;v7Pl(ak4dL zr(rwmXPErx^M6m1VE1^j=NEAW4dzm-bm%*r`&u$$KY9KI7n=Nyc#83#c)2t4pYMG& z3F6d4Nq{&9*P9Aj<9V+q9cY6$7`OA>!E+~^yDTbC`!tXtVM?43c{jY!xR>X>J@>(@ zO?*E*h!NA<`ZJv4!@{q=V;Rw=>;Ks#l$y6vor}kqV|*UA$9No0w#Mwm*dF6=ujETA z8L`4tys#Z|72hMy2rZ+KEObk-9P)v(|B|pn$mNp;qlJXeY@C3lLmBerGaQ$i24!WO zhV35D^n5qA9lqC;m#gJ{SUN22v$fz;$??DB|4Rd};w@%K-}L-8&U+)71MlM+-KPm-|2^k^+!VZ6-(-Y{s~2bV8ShVV38YCHw! z89$ASjlaZOn(E{F-}*6*p$X`VH#7zC-SBwy`lcQSV?3YZxe8A(@fUg?kEd$BJpaGk zCg4eUo(AB_o@?+rlYaxQUe*OMQ}z8=PE+-RSWZ** zJS=CKdOnu3%w2!e!Q&*zX{G^B;yfmydJ&d|M*SR?^IH7^mh)Qu5|(vAy%aAnejUqM z=dQo$;7t-%n1HvjoOW8l3cSJi11zVJ=6{6cv{QeA<*ZV##&Q~}KgXQ5dj021C`l+c z0bk>2R!1e$JbK4WnzmSu;SNv4)(YF=^U0ScB>!M%%`d|;snv($InSHt|3{Lrkbw5C zf(xCsz{S{}jyQrhr_2 z-^B|#t(LclU(4;fFm_x%6%=~ziC37@uo$m19o!Fx4JP0~5<2{noVSPK3BM*Dh^H72 z#&e91!}E-X;l;)yaYaK?-)Re(e-li?nFQD#j>R_rT+ip>g{J&Po-e`mCVwJcx-scM zxRCkRU=nHwu)e`_EiV2oso*wT@rV0W3#Q#_T(T+2{{mMTe}m`#p5*@!x(f6dZt&db zc@v&QgBt%AUS_-%=l+@Gw|KI-b3KRKkx*s|$;0rh*Ug^mJ0;fALD=&pp?B{uT!zDygq^lcVcTDrnP`K>KuPM_jy3 zQlP!(j(DWW@9Mc5t~B|(<7(sHc#$}2p9V`bLE6XrdG3!JOa%wyA=@P#JPdDQR_8~h z(?JzpXFLP1GVymi$L-VL953JjoST<4FwgURTx9YW;zh>K;8n&iczz|eYo89hM#2VD z;4Qq_cm>XEpLFO$yu$duc&+j0p6fk-i#KoIbp2-%lCZc<(!eixmGMT;e|r8KuQTyk zoWDa-U(VC4oW`y3hR`ImAz_PgJI@_Fcfv*aNdp zFQvpEVOi@pq+-8)J--b@hjPf52Nv5-NktuQ>3j^9LssPChuy%#O-8iX)mLdcBzIKT zKF$2IJ)U9$3-qb4h`CXo2Wi%b`?s+#nq^))^ z74&Lm9)ayiLahntgI5{R+C`AQsFf` z+|FuTY*xbMxXR?ei!U&KA75zvA->pn6~0s)U;p?rLi|I3M?O9oT{gnf#uM zd1^*|d%FA+@KjU(q{Ym?IVRv?0#=%Uk8p$Wzc?@r6g|(w=%Qpq_VnDx^L}`|i9hgp z=6{FRlfO`ml>)t!3eUx*#uwl+;&lY>!lU=@9;{=Mq&Xy;@RYrh@_*rFro)9Va8HQ~ z-H03?lCaqXOvH0=Hy7|A&NU6L#6yh#!K00Le=+V5#iJT}doJ-D?n}Z{_8{K);yAIX z@GM-qPm*7W$C>%hg-3%yM-W%Pd!?mvA{YZi!`*#~ZKzb4id{ss*;gGE3EMuuM|*j#wtCx&YT3 z?~G;AYW^-*Cat;)ma`_>Wc|yKAg7H6^uTi3sdvY6+Nt-zGDpMS%ZVmmmez~0on#X{UxA04Nmz|@_tg&YYkRmu72bl`$Jl};Unf%!}cfX{;xwzE$5p~o)4L+_3(J=7c?s$?Z@T}+OajnUJ8P79* z9j`ZD?)g3ExP3aXl7zzjlOBJ9SN2Q11{d{D{1vwM2jAdiYs`L!?IE1TOEc+ESvtO2 zZp4ge7;NHtDwod>ZjKU~yxvqO$GqiB%{#EI=k0NS)4{fQY4hxi$jyp z(+lW@*PHyk@$}N9gMIN9;{!Y&;&}irIXEeQBo2!XO%jeFVX^7)rFc2s&F$fRxWVMF zz#Gbv@*jHsujkKj@J8}&xjC<}{``MuX96Epb^Y->lexndFhD2~5GEl&5R9`XGY}wb zHYf;K1cV?7nMA~hK|n!~L8Pr!ilE>{qzZ^@LD@9bYNdh;3J4Zjs-W~=YO$r2ptUM! z`a5s#<()hU3IF%;gZbXG+;h)e-kY~(540ULdmV$2aVppc19Lw>K6njMp4@Oh0GPVS za6d40k>Nrxb&=u0VCo{nSG=A;g{)v06sXUP!f-GRBEuuW*D<~ZT+H}da3$mM;MI&L zf;TX}K7oRbte_P9JmWZcGvgb;+Zay+QW3rYX@1HVW&()CGp02J?CU9N6A!YBz%Uy#JU^!C;V{)Tekl-iN23FsQBf1-WtlXW9~% zl~Omn&<}@=VCoX8lK68lWyl7BmWJUGG^qb!IUv0@4pluDhFHB z)Q$cB-6)_wvyM_x;Z891SyBNvi!H<1Q4FH4I-pIg#k4T(0ncND_5%kW1TSXt55Xma zbVlj-|0gI|V+z2>9Q>JsPk^^E{TlEI#$SQOVAEyzVFKPa#AdM_U8Ffdy)Ib+adQW^ z1fO6I+JL`i+#cL%s9ixPaF}tXgS*>|`cYv|6bxquxegA1Z^t0C&hufA7K0aqeS)lU zizYbxE&GR&^G@ytAruyNc<=KKHw{dVgaMNLS3p;?fG429h z#45NFJd5#caK@Fk{T+s_`Vm0F6j1%(h2R`!@N;mO@nY~0#>>E?7(WayVf-j~Ipa0p zXTZt&QQ?y)ILs8DBfiRx_yq@Vb8s~{2Psc(Zt)6uIOEsA#o&%s^W5Til6C#)!+)ZH z`q()5H+UYnl{UEejU*d+CvfT_TfYl9y1?cv@O`j%Y5NhHjr}O_;y2Ik|J~vzDA)jl z7TRFGW@B(SxEk{ATE0QEk-q>wv@k1)XwVk$5$Joh{t?Ya|0wua0t%+!uP8{xp!tzD zXtg8BM&24squg*hm`1hX_Tb@Qv%4Oo*~o{2X;2z20w-wHnu4oPu$=ML;1i5TgI|5y z)*l02x69^n;8TnzfYaZz<&(gC-%+x|j6W-an%Xib@SVqa923$YGE4Em2k}`=%v&Ei zm5v!708;>?U{Cvs{a^|p3v%MN58*SN2%x9tYr)jO@mgQeEs)g0eY)V!P@oomstr0W z#{~%lkg4Sr2+(Y__TK|e9d25PZwEX0esBSkF9m0hvh`OaP*A+vUYTA8S2F$wcpl?+ zxPy2x<3jLi#y5cvu?ngjJlnyEIVk7{2VJOz7`5v(CtK+jPl72x!_R;zK*PTVQ-Fq_ z2UCECH-jla!`sMS6Mp(7L^TTRt)})BFdqZ2F*&9DLvY4u;}CmK2mc>9hspm=@-epl z3Gi14=n_E@AvEc+q%U{ycaMjU#HIE-UR%E&BtvJ1KzeQH0Yun+~Et}_+j zN~nX2z`dD#1US4uOWX^4O8I*55Cr%+Dj+@yUNFJ-_aE?5#@}jvz5jKK?@$ohXAI!w z?PLYXR=GtAn77yqwzrzvW?uZiT(~A z2;PT`m_EJ?myT!qt}2BF&^*^y6^-0AaokI z5bQ&ms7qFWzb>{Lu!=ar3LbYTtOIwNWE(u~;OD?OO#TA6gz+|F1c2JD06qZ^nQZ$z z22R||3O+*t=YKo62D}X|&d@FDv-bCB~S+kKJ1{bko#7}l%{GEnDdu`DC-6R`> zmf$u>VKXg{YBut|VCr+j{lQ_Tf1_q2uLRSWFnmh_1y&zfC2nymDJ-`YW|JH#?+!T) zqBWY0gD1d0gWOyV->cck_k%Y>jv-*#pV4gOiCPp;pPB;qd&yC5Sb}Mk8*U2b>p%;z zz17sV0`qmCHIvgiP*B%CAqFr7y5(Y!!@*D{CkIt^9f+AsPWHDs?B_B$*{`o-pYV#O znF2X@&f#Dqlaqr(bsTubM@&xkA3N;-!sKM1x*PM}%sTr0-?sBJlV! zn>&Mt$8GKkt~}cZUeO(FZ&-T4yi3}xz)>^;7~{eGrvrlC%zz>s2d+Hp!7C;(Ikj*S zm^&U0Fge*T18aL)|5L~}cq-(qsI-=*!7^`i@RGX-++Ux$NlnVcMaryV4-k|M-j zJ3nOK3(UJ9m&wUK07eFN{Rkk;6v)A3hl43hP7cbG4s@+4Vk(o9{X-7>hnbx0AF=Ec zW*Vi4)l7jLyzOxCE|ZgkJ(dI8ejk&Q{b?|trsDm&oC2;i?We0?UKH3H4ynL=kPYjI zU&EO9L!d;{HkIj9h56+0tOKv;!{iijKZn0UaH`QK2kOB0DcLPpm8xxRO2mEa59-R= zl>YSp`)X4lj}IUdcEeyq@vJ;GK*+gHJN<3g&I-4z@R}W&3c*z#T5I2@c|a&pjPf8CT`3br?_Wni8GKa-RFM2CIidZs`DlsX*5 znVcLv;BfFDlau`lhy6+>C;J_B?GxfHra%sMIUMX}a&qwBx(>v*OiuRSIqby;c7Djd z7uX(@IAq9W3gjRF<|zy_IXReI$AMQ&VREuBci2y5aB_W}C9*>HUu%*RkuCMWw4*vepX{qc%Cra%G291aSYoE+R>99VUF#WW@- z`hRd&AWkrsn_V#O4R>%`a1N7afLB-8`j>zUZ?rkU!=bjJbsVOE5YetI))(mI`CBJr)%DjKtXh$t?(N73>4@$KN-9Q zUcel_4}OO6$Kb`#uhRPe0?z}dY5pEO>V2O$t~vdWI41ymzve_|6r9P=JXJt9@dPmd^#Be8nebX%hdar$!Bx|J)-?mlNVg+68Cm5MG&YGBgQvdeqpzD;Joe+{ z$;x?J{tGa@+$2Zy&;No$Bm@Yz(8mRdUdM2@^Prvb1%JcuLA*?4yEfPfUO(GT@k^iL zvQ4*4k){Jyf5#|?eX7>K>>o(6J4k?Zd=MTvGW8cerOnLfMi6voW!c1B(S)6-2podNL$4hsL|v+gq`e=WXD zKDJq?GkWqrILU!Qe=h<`kV5`fa4^9qR_h2CfsaFBw+>(jnBIPpt>ve|baK(O=;p66 z>Y?9M%Xfo|>^>GQ7d~pV%_mT7HSiM;9PhF+kgy8Mu<#Ubw;ikn)5*yqZSY61__t5^ zbcVidg1a0L&`K>o(i9J(v`9Y4LJjKH3=3K7EK#E6{*)HDSvez1tkfAxZHWrJSt73G zgTZtQ{w&S&!E}RKA?;nLg1?}E9y}SMIky!ISf4Kg)9YAFi)+9;8IQimW!<88K-+Hx z)B9kI{sfFxZvQHn>=Q7_$7*>zGjVpM8;AmWk3)u5SOh-wslAeYlYv3B z$ai)O+|>aA;kK0_I^{pX&$S{~rkJY7$o=3k@7i6I+6k9oUh|1<+J8k4jFD4#Ax)(= zcpL>yv2;eYLYo}i$$~x}qj>@NWQVTSENG4O@D1>x4G2(YXlhS9E5aJE5lk51h}W7WC%}dJ+uv!JH8tQ(Onz4ZZb+hQ0A}rfxd1K3O4b_= zXwYQz!@S0zqdJI7!F2CWw&q8{bmxm1GxrqYaUNvEukBw3)8*Mh%{hZ1hyP;DGX`V* zr~5w5C_VrM-e+NqE_x!~jEP@@Q#)tkdEaC}JHYf5q)F+2!F(O?55<`2l>Cw=HDD?D znS(y-iaPOs5-6Yt$f~r%u~%T4{Lv>iXcj+4%Kzj$+lL##d}p-?soUhiOAYlH={nMt zysm@{wHEkzIhgN!Dkou96x%CdVjT)Rm*Uk}I;9(@U}H<^uqkWrep zw6od31kIY?O<3SdDIE+8IZkMeiG^gZ{uc91p~yJzrt z&EvuJd3Ce4uLIL}qD!>ga|iZzkgwEy4Vb=;eiZdv75)?j^c`q3FVBGKYv*PjUv?*M z(*xhD9f*0DO4p!8I>ocV^eJyMEq8+H%i44oq&3aJbl=Esw3ztvyU^uV(Giv2|5u`b z?$H~iE7$<0djyB*lpn-6;RhVIEvUPDZFe`8TCDXubp^ix(_Is5bO7On$k^^oF|SoJ zfbC#8Z(W+WtrP?T z*_H4qFx^8)AF8C3KDHbcPOiQq!*fH5YQ04MNbT<8>8sxB;khW0JN(Kq!vfLCevv!e z@54W(({Guc>#vA}B7s1KzalR`ST^S~Y>~2o}-sFwrY%&>^bVCuAah%n-$D&bc=#Cpsc=Wu<=1XFB8*q8`KS5 zfZIspBe42Q{Wb2%R@yZkFSj)?{L^?x>1J{iT6Gydn^)2nGHAXn7Ue!D5nO6No#B;q{Jsd^p%*#D~Z*|!K&#zzZ+h8jK zf!xZ<+iuPc`ThBMd9l0@g3Jr$MS?+f)i<754Ue`!s6GdxaRVz5JdcC^*kd%@hDd!L zsuzCiIp7@|2<2n)Mf~BsKsXSL=7)meSTec>*Oze8^|?H#wFNSyj=1Dc8(uGUlFsF( zk%8zop3{SRv5gF?XOr4p-1$uV z=Ex!HU#(Au zH&{y`R(~~O@`S7N^3~=}=+%H%`Wx=mK=eG`8oA5!*Xv?PW5;Ode1o(mO}1ALw3exz zL(|J|59Ch`1WMzvQhz8Eof7ru1xtrgyQ5aSGn&i}1+#xVCR@G#g{O-el_66T<8HY% zKJL~VXO&ZVAbLCfIk~Dd9xsnio-%h<`AoQs1mgJ>c@cj_X)Lca9E%TaPF)^rdK0@akzUYDs^`cjHOEk{e`QmAu2fd^^6Fc+*7QVcC z$EB)yQbyGQw`|kM_5{w89MjJYb@MrgO5%c+@=!flxqzgE>aOEs|37<_Q2m*WSxZnv zjgHH9N;a262Uy+R;100fU9kGRxm?%qKD^%jXR>!1tY0sxKRkx8?E5yn2iNQ94;>`; zAkACKcJ8oWZSF49Rjph4)uNX29aS(*HdFmmWao_JSUrb%aSC>fBU{NU+MGi;ql3Ke zT;-*mJSD1sN9nCcSf~c1$?S6pX|b)wV%y!7oEi;guHK`sMrOX=W2ZzT9q3)h53|!q zdp)&(U_U6>NC$y>BTzF=c{){3Y$u;gQ&+c^xoUQnw_SBwciFO;`q?UZh1wd$e*d0T zvb7rNk(ug10cOoh!)3m@d?BYwFmX5>s(kp$?JuXQBYouz)u*3~t9E_md^L8s?4;hwM{xM7HK{aH z6@**+;n1rfCI_f-eW0?r56afZ(2@sYva9kDen)>@8Iu>O9x<6kdi~X%G0cKDV_1VD zeGp4oSoTnR!g8J3(p%=K{82aw^AZ}XzRHvN)hiYnmU~?Z&4)$sO3adc2=|3qIzVn zt!jUT^r<(7$zPCkX!VO|m`n8^BrmQmE|hCr>Qo_qt$cYcJWd}3LnOP0>Pmn8?Rt5! zdS;N!tsXa6e&kZ+L*#vZ{y40{D`MC0rklm`MjFz%gjrvl0ROJ?#<}NH%^S8*( z%?sz^%>Ipd7-NEZ3hbpj1&-}d?{1MXogsyZ7cakNDM!>QA@IRrCJ`JlE9U delta 109713 zcma&P3tW`N{y+ZA?3JtFatCqQ2Npym6a?=rDu|Z~%S_8s18-%Dw^B1%TtFpKbkwoD zVO~-*!xmjTSuF{u=_xEVD=Rx%S$R5kj&-a||L=L8XAwH}{r&g#nw@86KJ%H+eCBhT zd1m3t$tdSnQ8jV&oO@M#jDPW4Rw+x8B!!9yKd@_lpN3zt7|JAOC?ghQF5wxXk7EqG^t(TjA>omtiL+*>KFgcsjx{FL&Y7QN}I$gE7Nn9qHG$H!we-li*c5L7gB-DXz`b% z9KcwNmET(o{t^>(d5M^76AOt*VQYdiNg_KIltZkmg9ni~HaIwkM6pG|eMvYwgqjd` zBlx#&7cIv9l!5ItB`L^a7%Zs+8!svo7H#?vNn=O=OAL|8MOL7EPY>ye=k+0Xx2 zgzTp(oP-I4NV0XiH1lfbAKK%bfVwTex34Qf-S`{4MNd*#R%p-II>9b!mBp|XNWJRJ zlsfN9cX{YDRAb&~W)ADG@wR}C2)l<|V;jTn3BRUNUZ%Ggz>*Aw_iwHa-$3qW8^b$` zW-IWvYp!E0;W_ATj(Au@XlK(Sx~tEU%(h2p19{`wWnaA`mRTcvYVeV4T%-o$u&~<5 zTVPFXRAjiu##wFH=ykG_QG$(EmG7`h^wMSNQz3HH$BH7IkB3Jsu(u6!U_J*l$_*$ z>%n-jCRT-{RCii@5h1~>rt=`8W2ZaM!FPf6R?@%zIN(glYgCa{wzje934Mp=L2!Ql zpBAycw}*jNjeqZdVKUmlIDcSQ6DFA^C|sYy#@Tvn&qZvbt-JaxO<<>e_0l*NCTsQ1 zF>HkFgCFItmR%-cOd6tKOrkAD62(K5B^kvMyUzTx7HI_A_2(_#K`brpPy0CgvbsNS zab&WrZhzWG>dFpv8&58=sPs&Hk5Imy%6Gl;eOdXAyF;`VD&OVG_aWu`it=sE5Urz> z?`6vOVdeX3MrP?Hn9yig0)n*<)Rs`In}9k;K>NB9)JgvB>zt_bn%mda2z;jYb+rPY zv3=bmbpoNGeWh0*)U~f`5eRAfx(fm!XaEeos*rGX|OiKBPAFG*VWf|x0Vy_R4Gf9dDWH9ej(d?(8 z*G+(hugPKFk5gFO@KB4=F2xEubi2!i+5VN)PR}*fDkAXV?;}QI*uTHl{t@{dA(V@W| zS*_Mp_*sk@TAgc^TDOB*GFv+js!=QROctY41Jtcl>zZIoy^=cck>^(Teo6?BQ(}Hj zHG)t$=G@Mzdk-N$u+zO?hFUrMto$<(lb&UXeP@?ehFU6wn+IbR)=ABpXoOf$r?`KW zrHx?0x3WDnLQX7;kZr3XWNSjCoZda$qBlr#8VO_ivT!+Zl|LLu0IZZhs0Ryg-NI7; z2L1;Wg&1tQq})JPQdywR-Vo@rlOVY?Wve8o?gxSfNlrfnxylUyKmY&&01zl!(QZR~ zBHHbzBsqnM0T5b{0L=uR5QB?>(Wci14~LE!803><&ETiv1OXm{m!n2FJ8 z&}Mo7NTCh6lFnWxx$NLt%2t1H*dHAB2Zu2sRTa=qT=voiB3rixg2jPgaUfV6Xffnk zfRsXXsfyHD2QKKbEP5;pX1}$gY~SBePHE@}xBv`}C4uUxtbRpK%nFe0Yp@)N0WNDp zgbwoJO3aPWbs-V1E)C%pLL!AKfye+|sl6;fP6dT&pfJ6mJ-bu3>Or|4lTbyC zp;T5_cS_1RE5bVC}{1Y&%0_L=_ zF#{j(6l4kSBeC#>l6(0MhfrOiWxPg_zy9pPz?cZXyHtZetS~1~a(ZC=S=F#EEM!m@ zlgi)<<`^_OUYhGlD+?=HQVk&~Geby%MU=%$1SaQVRzIi@^)6&r2gOjwy)1C>i_~dn zb%X6xN@V8-59pYmVi9&j4DM7c|3l3BLn0fImke7GoeE3qXhWK_BU_edqeHu}y?MP= zGMsL9CC^TsKe4d<$EeefIrGyMtd2HV9Rt~wtouuu;v4qO8%;3-bVv z+Ro$1VOBWwS%Q6_;^}T;Go<>s$e?S2*R9^|Mov04Mk{`&skbVNM}cpG>UX@#ihL?) z$GqD3ogMuZAEWqUo#uD)`rfWP!c;dgsh{F^RG+Q+9cZ=iJ4)Rk&F>`jv6KqGqaxJ& zPSXIz?W(J>NA zNj*kke4mtxq7L}G63e8b6?z!!5UI3i-FD5QH^B44Wq5_l@Fu$K1a3Q*!t79;y@3|3 zF`7{aYj6s7jp%gAxjI*JnNF9|ppz5f8SG!e*8K=?LSWL?z-w#=LG`F_gjB#5CN;n& z64<<4qDw9#athj0>r3H!8sU0QV`q7Zx~vU)9cJZ9%++I-2C>{QCm^7VBD}+L+X1(g z!d_C?OZxvXOO%Hw;Z_`Q)x)X`lhewE$*HS`$telLWqbGGa$;%jaM?C;xNMy`Tuz@g z6aYg3Fch|HD2(h-3xZ#MRd7UtODT)NEMhQ=Sj-|;PTy*jt^3Wgt-%Zqn9&}M_Gq-n zpgl&mqdjH6QBG|zf@?-*Xh^^o0wDwpySg-AxJrkXS+PC|m}LTHnc%XQ#p;q9VqM83 zPM4A!*Vc$)fH({ghXFddQgS;9cOqNAg!lLn-h%|8Z#??Oqi<*Q?F<3}K|mk~2$a)8 zgV4Vd`gcPAc=V5lw+SwlQ@#wAQ-2JGbM4@=lSHg*qAR&95wnB$-ye+G1Q9b+Kjp-kPlg@Ig z$a8`06x6XHM2^@RBAfPyVD?z+GQ>fWMx^&`IN&5*T5ggnwJgcitsx0qv4dElWp)s+ z$0Y3FEb@j@yPSxJyxbI5-pCYP{=^hl0ZDP?ho4QZ69M(a zJ?WsN5Gx3ubVhQ?Bw1(AO~(3DXjQT)50e8(xNM(Aiz@w$mY<>|m#xgG zlXHz1sUhE$R7#AQ757V-IR~J#4FHs&eX@K1ND2k8L8EmraB%4Ume$ z%&A3dOsTT9!K6zjVXoxdFkMPnm@B0rOitSxBd70=L0g<`J0;>=iz_MDqO+G-ASV`= ztpRc|GR|cq2H7t1T*O5pFEhxgO1(}_Q_4CyePo<$T@^3ea!a9VU&4U=7z0&_l~Y4w zF;El+io!rK7%0YKSOpbpK=dbR#zcBS*mGIGRj5{qsv%|lv>?6F$8I=fXdKME!fL4i z>uqJ&L1b1umg}zAlnZ$=W*SRRI^5awh`VA(uG=p=H`9M!uDj}t0}^V?^xKWVsVoJ) z!layzH_(X#< zI(hpje{e=G?-Y5iUfw10GQC{7M?5r8d9Tu-llP7Cmut%d0c-@aK#SfAiN$ir#O#uD z&ARk5v%Gh^QQlW?lxrK!@{6ZojvI`wBx2Ipb4@OLnMp1$50tlGGRr%!ndM!2KY34> zAC?9xJrU|WD;`<`HQpKrF2`ko%~*$1@nB_Vu(^%R_PT($0}x|NksIQ&6U;0(z?EDU zz((C`FD6BLbl^5TQ~ zciWsThbm{wis4oE*wYlzv2BI7&&56(%BJ*_=74c9s;~yV&PdE`mM~XgWDP~}Um4v! zopp^IsxJZrHA>7whc2$hl*foY3yhJ-u@8-@1^0ou$jUe7A6>T=m zmlG!CuN_9XfW0znoKWC1}I5M-e}9PQy~k3c(4HqdTE zdm`HHr?SvSZxfj7BarBJfUq4PY$piYsSsA04aC_%oDIa;0FVG60YCzPAS@e*vw=7p zh+BP7d!y+1sVLAeLM$27R+njb0)}xzZsxPEg9EunaL|xh+3au$%}9o31byUiB||>4 ze}ZbHn(XT@1eR%|y;mBOrs zb`l;|PMsLXj1FuszJ%jUh?cEzs5Y2h#RPAK$KDT*-4KUPaI~mTK}y{p>r+F>1Wvhp zCs>ZtMMgs(Arq}mSK*Q~0f$ljWqU$@gs1&2hSJ<#t)5p>P89~VLD#`GI;J)BJ%HvZ9phI_x{f9 zJh!q|k_m$K*Pc69{&UZb`m_Wjh({aGeS1|MdU05zS^7GxYJ}L2Gea&86dZb0!yR}x zD&C!LEs$+x1#;rn0+5IJO?j78pd6TBt2;?ls;4K;Auemfa9v{Aa4>GTt_vBC)flEr zEgR-a%^jxeN`|?*HVg&Vhq}^ohl1%tUELZAEQE{@TV~~K34tCj5#HT-1sdAVmDJEr zXD9tv-xC&wakO2n!>xrA)7X^Mj`hZ%nupM|uU=^=VBV0pq4wV-zx$?S5y8PafD}Sh@8!}dM4VfnC3KmGNg5{EH z;PaAh&~C{!=ygeV_i@Q}_s5d%o^K`BJ-4+tM z1+jEqDX}dbh$W_qSYn@*GK&^V?xHV9=8Rv7d&WaVch7R-y61VK8@3w*zfRbO0E|_- zR174s)l?u5ohA1-Phsz5Chn=@CHJGhqT_LN{1_d-1+l*n_5vaqz-G=IPjo~5sM2TV zuNX9dSfZDc%xTkzn4#EnyC+@5mUgj}`OQbf{S77{a8CV&$o8#>%o-$lkn-{Z$4}{B zLce~5gCj6np$K9ngE$peq9@(6Qx-bJwIOG9BsG5a?%-f+GpO#G`nRV>F)KSdl zjvYwxX86!p9I!sjE{q-M=NKzaE_F$b?Cr5uGMbHeFqKN9cuN>=V61sCI(aRQpAAi$ zJ?n5>T-m%Shofvd`jU3KO}U~`(!0!hJevLU!QNCF%2FOmrOp-HI*N4WUH?lG*s<}! z?iU{lBy{Lg?z(Y)!~|p(W94qI@DN;PtgE3h}UKP7qWKTED zw!3kR?pHp8~8`6-$!D3WtQbGbY__u(|FNmPVa$zN_6?EK}Z9c6HZ2wu6`)ie8oC zAU2mhH+?L1bo;~mM0IgwyiY7-Q=j-US($bIGF~V~^xlgQ2(A&Y4%^i`MzWF_@zmA8 zYG&A|6vpajjHc3kEO2HYDw(*mABh!A4QKObPHW}k<(a>9sI-dt9nV|RW9 zt*6j(otToa4#Fzr0Mug4Kdw!2Ju94*ZS;O2K-q*x}OfmVgt% ztYsEn3n#Mcvp|!L#m$b1$(!dcPb8W8#9Xle%7K5OvL&0(3TLO%Ve{Cc*>WyUL0|{{ z9T?ab6nc*rnGOETAC?2A&SFHp%F0OfUXZ_JsYIQMY$m%fJ7S=85@#Nig-=2ZS}$c* z?sf=J6~r-}iGbGDmssXr)43}Wu@5-`w6K;6T4#uCd{)n|-T{F=G%t`%m}7`kIqp_o zPzt(~6>*C5c$?sS?VN6cwUGA>I7#nRstVKrjkWa_-*I}4V%k4$YgtvRx zwXW$6ixJ1^N}cXmUYky=?ATn~OWVbI&4bSGU=!xWQ13RjXkLs_dJz}6uK76AsYAXp z}3;ElYVaHQx1lB7ArYQ;L|L-_VfDvgFlZG?An*24~%%}2mc!c2HCt}^r(Yk4v?;>dO7nt+0~sX0$KONGhznyS>dimY~g7@NTS@2)s=nM8X zh&k4D>Y&K4cWI6tbw;C^O<(f>UduMF$sMFjQHRY9K}(GufroZ;Oj@K8koSeE-NtV< zW`CzyY>8h`4BlZ@uy(P{2bTZ226p)mV6U;uYjcR1S=S}RW+(=4fw0HwH8t;G56HzW zjvzK}T_=;$?!+yybrtHf<6#!aW9}U~Pf>n#HhC5(ew*@OvC85!l(lNK_ngvNjAXZO0MZ!D+{lTkSZaa&6WhsDlJc^x~4HW>vh5 z?^{IZsjRHyc~t@o-)rjhl~%r@l`rMop~$Fj?T!D`*8T@|?e~YO_fs7AXmeSn+L6H< zduz)Y&dN8gQlGs6EN;`iw5f%aY_bJc{3Ik&yWTRI)ozL(u=Kh`S4NqxPRiK~%?KXw zn+G{tvEsj$4jGz7sQ5({*3rMJ7Gc@X9#{sp%={a>u?cUdg}_R$v$V~&Qp4{m=(?Ml z@wfr`#|d|#Bn*fJ=X08}*7)>Uc)tI+T%_oa>t)fVa_6g?%;2P=Y|)ICI(ccJZd(Ou z#l=o7JEX3pcjF(ty|UI4b9h@D(y3(osY zQP37;5FI;KJuv=AF|0C9Gn??Hu0o0D#oJ|VKlUI?c@Cao0xNtDxE}dyTtBg0&;29* z$cX;~*FY6lfr=~tuW^0GQdWX4yb%6Ny0TPUeOTQ}(ADd&alOyXHJP}^W$=m(m&O}M zDjQLAm&!&-7Ho`nbP-DohYJ(o3l5|dkK$kqW_F>*?(ZmW9VTRz%1U@8g_VxO%(1Gg z7zS~|?O`I>qE*^zNula6k!b$oFcIo7O#!P{r~7+HwvN(kwaqRT%%?Qo-I1zkcefWq z$4=&49TDT&;j5MtA??_lX)(|?R<}Bemvkp-Y|MiDyQ<=Wmp~_IQT4M1*NziXQFWdw zLOZY*X%!*IO?Ga>bS^i7IiWW5*}aoC98QRf~snu za20;aE7ZX8)c+U&wa2F{>={JYe`nL5>7+8j@!?+~aZXcLEf23iRZG!YzWPk`J&G7L zSriLmXd>!*S19+9)aSfd(WX8dIxBD*cjPpzB{tcL7?dbZ_U~-WV&4_+V{GH%;R!+F zU6uusbzAtPgE)ED0+OZ#W-fi$l%Z(-H8#C8HX%sG>1^9$FE;F2k35;}DxIeGkiKJ4 z&XFdo()(#vBAyjGF0*6KCrXuP?**7Nb5YptjuzZ(V}=Gq9(V<;!hNCD>9s2|nL5Wt zsER}1hT0XNwxh)_8tNnN@JV_xBd!0Z!e%LT6;MreypPdWFVrEABK z`~SNrq>oNxY^tKqYNv7RLRo*6c*h4UamjF!!Ah3&)EMJsdzVybQ)^(oTs<|&H`!cQ zH#NTT&JvgXnG#s}rsqAx4!bn0&id8m;i~U*KE~q8bD(mg%0Dwb59j7Ll(SwH398lc z7PAQzTh(XBgUnp{Pi}Mz%3=HloqORXL?wSu!BZ$v$f4JU-gNO=i$c)j@}6Lk}~IJ z52DFlTi&DIWz1Z=kV<8&y!P9!7nDmOvvpl_sjeGtr(ErPAx8-qng*!0p}D^rFf7ew z>$fI#R^gw}bs^M+gI3(I|0fH8UsX0)&HdQ?`W2??H%eI#;$Dpx82bf zr+qqCw_M%-IfQ;kDs^PDj2)4rA1m0A>^DdoeV}{(jt&Hx_|02Q|9HdMhL1*-97nV|jh-VJ`kxjKz)tooG(ZJ{_DwJ(R< z%c}SNjbgW3@ahsm^JcM=bqyv3*fEN&*}oxll*X0&RJx8n%p9-XuR=(Z-5Xy!LWtQt zp}wzS(({pD62up|Wx50yd`VgL)_6li{%SaFzW`-7DE6u5F30+QGqvo^(^H0a11=|csAC9tvQ|^oHq}lzCk;koX1*@$B33I$ESoY z)K+DIHlT|YzbnL`{@r{2q%G`(Xe&PPXKjrqc6U%F*mIRe2xE&*ZY@=aU02H}*w>*> znuCcbR(&b_qd1dQ+Ov16?KR3|#U4h$ZL?ys?Qy;=yo$;+?^#Pb96#?;aX8!IU>pA) zWKzbcx)zZJHbiFis`N9nSLs}3**O~n5p z#M-sP5XR!(@7=+AFifyXgrI_K4@*lV6-$1cie<=$ z?8*mssRvQUz0C1pC&4FHx$`XW#<0a7cCZXlbZIBn&|k$m`D0f5VV4fyAapY=-R*&{ zv878-v2!0LseSX$Fvpn~7Js@!2et2u8cYl8ciQDQMJ*jY&5oVEOYL#+BNlf?8@clD z=-tU*IU37fj*YpX-ygp}Q0V&l3?O6Ji)ZfgD^`^+zlvQy^N?S$ru$WF+}R|-alvJ_ z>}(GClzGqI65k))NxpvV+z{&bO%8D3aPm7=_(=}=-o5OTOyYN!=LK}C8dk*`KYg5B zV;Sdj$X#se`AqT?+j#y%@;fW}%mp;pK6{A#%nCp6)LHRYdCv*~*Y<-&MbszEmH%bc zpWjKYvy=G#Hw*mY?QU1pVVnO0EyPb*g!nsURYVP+tJ5=nrY_6Tuh{i3y2A1$UKmgP zZff)zSoJ^dXe}98<3EOw8!Ygmi&$9A#aMjrz4$abrCb_9NFXcuDiYtzzRD!y+=suK zLjA%bEkf#!R4GBcd(36n-XM3)x15j|mh%1YUGu;eLxmI3Gu7zogfjt(R|QnJ!w>2; zR1;8RoV)PKc!FPe*8MYD^<;)uSj#`*gx%|Zc$tt?Hu&nc=nN&c7l)rp{NUK8O(cEw zkCD-LFhi}*g1}#EtW_H;ySOuc>?;VH{_k6a^m0$X#_>Y|xBl1RI+DW*e~*pMR?cu? zzqwbqH}5YC@VkXv0tV{;VATPkiH2cnPRFyz4AK{$2&y@eyK&&PcOWtxO~UMC|OGGGYuH z6CeLmkWm3-N_Z^8jJ9<+eM1gD7*n*)XqJPGF}x*!<=c@5 zf8#KSMG-y#zwL^3?Wl;&oQ$hd@kXlH>!eCt{cXmDG3@-Z!*RfW2JgktUS-5(vYm0V z{a~DclT&xbD0$jJC3o4I!*uq_Fn9AADKj500wv&?=%4XbtP4}bV*Gv?uY{?pXPM~NZep`p_-ny7|L&G$3_=ascU{p?90`6 zyUxR{bwZz8l#S9GT3snWA4h&PDWaTL#ZPx43p5d3?im$N?xWFB7Q;`s*u0-QFh3l| z{G(@Njv~U%&vLJo^j3kJpIw)rXpl9591V&pDo2d79A~srb~L}1K*qL8{U{r`>koQ! z6MAzKdUF$ca}#=_nanoA(_$ko666^rlaZveI`~@cm%+G0-1xgI37vfPjfo^r496;s z&-0KZ@-}|+*pfs#PmFc#tc=Z^0x^g;(VS!v3M`Ft*^kCqj1dyciICitKTB@WzQp7& zCmw}peH16)mj-oV73J+akOm_ptpDp!qLcvvb}{5L3}|GV4x+*I>AIQoz`@S7#yVOovY+c?MKbb@LFAMix=C7p=Ir-Qs- zKXQabuj@}94{keSkEDFY+1ou+}R&;p>Wl3lAr8PV#9H|*!YVlI{~7S zpQRePftlOr#pfDPeZweBAhe*X0sl;^fF0CHq|E&pW14)kGQyvbAmJX@n(+83#1R;1E z{vp3GkR+*v`%m-0LBvfy=H5Z%&Q3vi?}VR9)ZfI(#m(0DPO83~=W&BcL;EQ!}%myi=(P?z(j29Vwtf8o-Rc4z~ix{ zN5A9O^2tcwFVs}MFn(jfp^6G%y38jGArC}%7v~w;0({HRoP$Nf-sC&pGK4&iY4j@~ zef|FB3lq5$#qic5!)c|~`3i3-fSmupqlS{tI;<65DX*0{t{(<_`yC%VjC9d<@T>UT zVPs^7;Q$PH*6D!;v8t*c_~~Jo?+<+baB^oTtOKqRtTRfU(Lzv~t31bslT7LttWKx7 z1J~b8HjsaLYVU@&lV3eo?;+39q@R_2lfvW5pTu2Z#TwN;hZcLVoC5F|ns zJ^_DigLfZK?4cdi7`}Orx>)8=K6N~X?Z~f zlp^ELMy2fEtXC=hI)#sW9D}8B=i}&@;@S8(IYGO0Qe6aIk3%B28Lr(>!<33{YOl&P zZGIWNW(NFuJl{0~qj%;lC`DV9Glq%)+%@pW@4`FZ&?L;ZZYJqGGEV#oU#pSD)nry7 zZY2bYXhyH0?E)C8!6ZT&e9sBubX{NvEK%E+cI72N8;Tzo;;Iy`+i2aAcrB`loqK0u zUdf*GGs#Od8exRu!GBiggZuERVVcA@&L#=TlOU!QO*OD>ziA?CwU`Fq@*rx)UeBqm z)(n1WHngFHC(gkYRtE;=5+BwNo42)VtR`3t5NS5o-!YE80{&TPl|M8BH#No;+Kj1^3xF6 ziM(zR8AK-VYm49`Cwfwzfi$9a)MC=DLlX$D$SccfhISg8m-3p${GoqCIOHZES z{mRLm(Rg!g1{B`XE87VvNTcORzNVZ^`5zMJ^S}!7HeJZrkIcd^RFF=>5Wq;RRRu3HH+zkt`Tgl}EQqiV?7Kj7^6|G@c6O&grnRRSk>tb$H1;HOt%N3f6wt|nWM z?OhEGUC7rk@)5EL&%+Fqts!UeJZ3HVJyK(%Sa@crA?gea3;6VPWL5G;@HlY9O3z`e zXm#L%oYztIdw!t@Ia~fqX^s-Pe4=9Y^yY-pq(!(7X;J|`UZ@)8n9>|XKbC;so>rrv z-xhg5#^VGeoP2>K{Ur(J4Ip`e=fVa|2Z3|cCh-4hzHAfb`ZV9Qi41LBq3fFvM)?F{ z%x1tp&1*Iz##QPnUg0g9A*PGCehbXD53X(2LXgY8(zk8OjxFXHCyBq#i7 zm?o;4g zG3`4wE#jAVC}XGWgpppvN9=5)6w7vEl8gAcorql&6cu~8{v|R8^v{1u>2>HOtiu9+ z^(E|*p5e8-Fq>!i;a!Lo)$y0}klk=8Ff6;tg7)-F;R-3i2*5P*_~1QQjKzHJ9+0w_ zuiv8#ac&P8sc~;F&v=;($9Rig24T;5PKpv%A?g*<`!6MI>MNja0gu`ThG+9p`#|tS zUcHZ;(#XNttwWgmVS*g|Jm;Fq&K-03qE`{Fl=8+`70z6KwG9`->WK29L9tHf>%jI> zZr-oJrR`V9p01W^_Cs7s`L6wBmNto%-1?d#bFd#pXsUlr>2~fl&{xXC+$b&Nz1)g? zm$>2dCi3-e(#1DF%^clU;&X0b!|3(u==B)AluxgRJeTs?dg1{#jFi9^93XMG1wk_F zy7&wC*S<}{MQ>b0WuC)tlm1lngMw~8_zwAsBr8q%TeLH1 z{1!yphqkNt2J*UliIt}{LYjj3qDI)#R36uauw8|#S=$PB z?I@Y1&cg5tFFuAAg=*6)>yBf`1QcV@;)QyIqId9O4i}eSLbdUA;JgRO+RFsM6WBZbxUn)I-$1Zzt3>h zSR3$nt*ue(cN7C^e+$L?n{NWx72};f7~Dan8Vr2)bNU@{B!bvIb3C> zBzWVD^`YQbzs5nFx+DfHiP{|HYZlm*rBdppNR=udi<(a>Gc8e2_Ey_`ENVWZut;h1 z=4fp`4xPQ-Ps+||dQh;hl|`Q^EK)i;vNSemENVWlut*)SN6s11uV?CQV(WNvw_Tr&-@1}u#+WOarlsS4$TK&29^$w$Nm{zX0$McDDH?cyTlM8-GX&Ro7 zSOtIbGI@o3?n(TXR8UJEv=a9{nX&PPYGX|Q=7+y0WB;V#Kcb-zfAk9J{J*V3epXxG zyFz-B|8o65VfKAn$VLAoTS;pv@n58KFd?47zY|VL2oE7NmV|h&--5rmT}&esZv%X- zd>5tPqqIgxGm#zB(Hs)IPEY%y&`(eAKsH@ZWn?va>OoduPyiPh=$#~(A2ukE*A28Q z>A(|>^Z`^ZGAfmajI=X4oHNovB$UUQ=mKHt5#qnhH=597^c*(PTRLLqhXXKz$#Wrq zo>2@q-uKjc4hPeo#Ag9L*E;|;{?0;SD0L&#ccgdtjZ}A}`Bk2N9qC%CVuyh|7e?1= zugPBV%nhf>1hj385X|6*BItb}F)$JYhwxsJv~PHb*oA%LG{R$hO&-O5{?vgli=_7m z>LaNOnaWB&KZ>pdE^{=93FQ-_=|h4C(JBw3DMMv-3`)VCV=**GM?w$A)BAMfDbJ_` z`mv$(BM7qT=qt=n{;S1U{tGh>{>>s@d1nYo@(#{XY)HjqRig5zD%zvAX_}QcO>28x z(K@9~XqKW_)73WPjNAPjnqpNf7E)b`Bbz0P)+rsGJ=Bhdg=)vjXB4ed2h7mgW@<=h zD~3rO@D8nQj@I_%?KX#|ZpQh-5-VpQN*{;NRJ=Ad8W-@46dFk;c?wb}ZbF25@Ha)V z&YwUss;a6y1zjnAN}*`H;W^K>H2PmsI$2f8{E9XcdrP$nd6jBg2v@A2_|% zQ=CncsOcO^=4G3CO)uJ86xg!$n|VtwI!Q1E24yqv*P9LN=_NATFLd14{sV|+T7V@|AQT^zut_rnz+NjN& zfzuZ)e6CW|v_&1G`9)7ifBGEBROI24Z5AEQPTEi;ZiW1jB98)#gYcFCw<%h8=WT*; zfJ^b`5foZMQK5qlRV8fgW?t){(P|-YJNG(hczaqax3{5ni%M(74wY8pu64N>P+1nk zZk~}#GyNX+U=+NGc-b>Omv+;u3pl@y*XGgQvgQ#i#=%hi@?SiW0A0Ftq{XcN)uXKR zvHko;9(}lTDX*E;-=YI13!YuBk(OZnuX0M`uX5`4Uo~;?@Vy1}ew9JZhq-wu{ZXA_euKC{ z&2XHl-ZpZ6ce|cqAt3I`EhOhR8YVB#7)Fai|D&?Oe%%8tz{#~g-#(0Xk5pKd_m0}w zd{k{bdfIbk7+q;7jaQH0aCJn%=_pgjYVK^ov79zen>uk56|m}?0>!=|=(H+zA&O_- zsr65|UFY4d)!9@vM}Gy@vCTp}zZTMIx=tw?1Y)HY?NWq>gZQWS- zm+77{W8tJoH(vfAebb`J1O(@XW?G&UaY0YM{2`i-L0_kqLBGpg-T+Di!y! zN-0SFkiwAWBUK|6_ObHF$7xchx#(;|hiOQik$mN+@Epzem(hFT4*_H-is@96LXnG) z7+<85S^V?I>GB9k>S>h%waV?;R%tNGSNN>Q=>Q(Us9#2-(M{B+v&j$UOp1tbaMKM2qZL#@)(VOA*($$=Dwvd8a zPi;h}4gmfTc>wZhGoG9{eOj?~`lK0C=1#RrS6kb84)EmVVB(Y$HgLAD@C(f}>n=xnJDrcIhL*ZSzh=@VxZP4dBtKdUZi8Z>j> zjJcC$mrR^JcYzPaI`hd%vnNlVDP+M1Kkm=qpO`miuC?^hN!E$;=1!eCd)mTD#n!nq zt;Lf{X3m*57mE$TgoOH#AaaoWkOYAmJ*{K;VEX>qKz}tGfjdx}{hgvCpEiqHGy7N{ znlgLlypr)H#S_!4MQx_|aB(GmCMddTy}IC8ki;8SP%B?Fms(kOV&xm>(g{5ZiznVU zX;N{~^oi4+s4ls^?rF2FQX|UNXRPR{e#E-(DpA&*ezBC#o=qR2y_fM1X47=utAy6@ zb0yS4vzBu@ho)y&FSkj_=wV(6@kJViG!@B#v>oXX(juhV1-C~%wm=BQQvT05G=N4{ z@n7fAM|o%!?Za1;(wO)QRW@lPP@aOIhzW_0&{UD6XZVbH^sV$SpS4NpD1M6EDC+U? z!CVg!;(xn5W)XkzNtzy&g-QAp{Lo@p5R}ElRipLAW7Nz)T}Zq1D6h6jkE8!OBq5_u zK4djfalQ3*S;EM8Oc}PBA(lnU&M1aB;QA@;CiJ$|9KI8l3rcG zXFNk=Y@?d2u#Q&ozYCNxyj51Ei;r;|*YQ2i&}@Be1DMj%O&@J2nKbe7Ieg;+I=eKY zro9afeD*ds*SwAAHs!e}i@Fl@8H4&OZ^4EmKaYF@a`Ex`fO^2SEssK3)a}*!TJem& zvUEx7eBacGJ$h!3PZ9DiK0fMCuH!E(psBpyQ#7#judw3JR!JexW8KB5$OY0UtJ`xgDLa;kg*ozlsjMkcXk( zfv{azJ249Z*S75IdqL~F{ttaetORZl&=0AR!JX7trISc=S45zI$^xY7)lfiG?p@VJ z(!=@Q`P58DtmX&jQ#-9+%|D+{v+3#8JYoTjr>EcM*$b$x%drBI>K-4iFzXbHHKgRnkp{s2l z0d^8##k%Gq`O3mBSd}vWVF?`=xvdipFD z{v50hQZ>@{kFYKuTP5=+STs?OJPmmoawpo%c)o=8ad@7J=U&Lip)5W=-8u9r1nRt1 z+6df_E|?4NHGB5N1&_|0IepT^8P*9C{(-l2!h(Lk(e{8Otim*S$SIR%TPNW8#_dL> zZ4@lIunYiJ%0*Kr&YoBVj|%9NO==9{YnwB7_OuyO5F>5kpD(44+4q77pJ^TOIS5Dj z@+B*fZo) zK9ZeZLzBN!NfwT%JFlyz{ym?ZRCLD^GmFz_&jHHI=%0stw7)79c>EJ`p<}I%jE>pL z2ULUF!&~`-)$}p?udTef8bUw#MV|T`9oB6yLhXBjW)zaJ0d33CZOQ}iZ093O=>r|Z zwzc<-K;^%Je$vIfz5VR^po?I-_!Of}JS#b$$Y?mXt)v~Pb34yoN$-tlLAw}U$h!C- zNR_T{=bKm3VRAj%;!v&v0>Rj7LqhAU=js!r!NCclhk7&W4~Hj6S0WSmhSju_WfzbO;vmx@?cH}8p=`bt@3axr-S{!LOBQh zkL~3LIo;W9=PN2t-#{+-Wfk^!j&<_HY11baqwH%xkM#KdL0T5&PM6cl91kF^z$g4B2) z$Qp&(SNX6P=#w4a1MH*dB9hSM_g>{6yZ|5AQp966K<7~&y@6)i<^%2-q~%C!kZP)I zfWA%A-h27J4Rm2?#(vfJ_D7r8`1;DirnN0+|Dik?Wuc5dcpPOaTN7Wo1Z82veC64A z7IX8Jg_VyHzbfv7k$jblQQ5XrJ<9eroeto+Es`pfg`4s9e-_W3|4_a|Df8e>G{WwK zTY@^F*1mE%o|BN$l{!9b6OGZCixc>#(`j01E0mamShi)m5~K^e6QpZMA$!z3>t!_; zb$^vMqD`bQEeSlk(BD~~AQd8QJb>j!5_$1KHQ#uk)c5e$d4?ORjTEAFF7e!kEkV6# z7r8*}d-mo1w1L~UiDzHR@Y6b{bWxq{>CH5xvwywn0e6BO5aQMk5l{0K#&zQvTj&V7 zrJgU|LT3-Sg&q^pDEyPKroOURp0?$#S{a%05g5-e;OVt=U@MN{s1s(uhvPv!r?e>x zu@I)WWZsMgMKg;hJ>Bh@j9c}5UoFk<=Wx(Fz3obN;dw+uf|TWjukf8RdEdDWu(1)orbz+79(5Uwqj9hEcel|Pz5WO+8a(@G zK43e7u6?ib2e(t3|2f=96Wpq=^i*!A-x0qxxN#@RtTOryc!}n>qFpG^-dXAcTL6%@ zXacZsZOegwCut>+mt7x46@`_fDxz=>*(vy0cDi{&x~Dk zAc?v1mQBHM6S)A?YkPy6Z}E3`)6`PO+crg1MgR5!t z?5q3#nRjnR^2ZLl{sifK)bag$XeRgWp+Wr89%}74%B#km&m)=_=6sZwN4!i^&1+CE zfK4PFL&HTGMn(CL*te!>fZX-~>x;=_Oh57`_ zSN*c6j^;n?r17oY_ldgB{M>#T)!zsAD#jNJ<171Pp@cB|%0e=P0Q$-fQRb^&qKW*8 zmuRFQ@v+w+h`#o{>bO6-X$KW8|N1rBqoc3+GffWAE!9o4ANJK}()Pn3=9+ zL|Jgv*Z*ICD4!H%p76aPj32L~f&4Q!P4>$;u12qKs5IK^X>e=ZVYO~_J?$9bgL@ML zh)JYpq)Qpc`Qm!S<;dTvhw>x;q#n^7@{R{+x_(r8^Zb61Jptfy~}4DpaWt8 zPpH9L9W0ixu&0-)Ti}=zyczAberOjF#}MRVK6}wFg0&}5HX;X{{UD8x@xg6Gy|Cah z$iYhK%DeoLgRt=DQBD%|NFr)Ef5Nl#AU$gs`1eyb#bnRIM1;n+EerSID;Hxl5yAV) zt6R(bt;0B8>GuKu;V_*+y&rfUd6TZz$DgjWNmg_i@sX;?cx(;*8ZA8d9hyG)k~Z6C z0V72HMdV^t{jE6coIF=Vl#&l-ux0=nH5eZ(FMEfU@>}oFGq$UEbt#w>@i9z0@?7MC z2~Kobf>izy|M>__4ZptR_gjLA;v=k>hp4G}0c1>aI6$?d5O2N0a&C zMry_%=xS=j4U-h^*F>k#;!Hlf34Ur>CV!!cW|MyWR1@t>PiOJqW}0oR?|JhU?g`xd zfkyI)%`}!C&f$xj=|EcDo4?ac?S>J3Zr&>3tIp8~t~*Mj>4d&K{wVNGRdSoLSO-7d zm(M_*VSZmh$^H|-Rdy23upY8ocxrd>Az|C9R`H$a0 z!B-rEFkT(N_Z$PR8>pYaSGCZ1{-0yGBM`?!kK>hLA{UdSmHGU`6qv;HsdHP{o#T9k$2J7IFQe{gd@+ocd6NMdf?4l{rH!sX{50Q zFjoii0q=tvGfvUdc<2e5L)Q=H!%l!iie-XJ(@AR z|4G2s7VsxeB6y!Wl)rWoE+LTrbdnB7*WAC;`;1w4-Ml3c9)BKu+5dN}+||1Tb@*=y zoM6?EbrD$_ANd~5q=k2DWWEQkO}Lx??LCa@6_7Fyd7tVH-n(z!O5+Jf;d;d$GYdM` zc())w+aMLTWoAeJUTEKr_UVOu-}|8Nav}fjeLBE!dF0JoiTua+Xl#%GDZpOu5~}L? z{`cYJXSLvF&^Z2F3vM(G=6`RY$%euA`8xQCF~i`-9K6#hnq!zd>gKI1{>()h#b=#@ z5uJNKuQ~E! ztggg=`2eqYGkDU6v@@-FNGxi+zXKx{caS8MXM89`bDUDoTRy}>R*$=RYXm1B;qBqC zAL5*5`#2ta8uC+%`T~CH6t?vvPJ@%j#_`doF}{_ToyLTUAHI33T8L@{KXMvkefVMi z`Du__|1iIK8mn&RJnj!n9G%PJ($!cU(4|G2sz z_^ihMf#c`C+h&wnl>UhBY8a9sRE8mhQ86jP(j*x|2yurY6pOg0LKu=E43l_5591d? zk^UJ{VbYW=Pr84f?>X0Z=eu)Wujk48y1v(+bDirt=iF!aAL-zwse?XeZwrXqO5Ey8 zQ#-$jAIF#+`z-^OKPI(_Y(9bNdF9-2=clH9O9y9+Nqz9GEYr(&rt?!n8{*wFvw2Bc zoNB)!erRSjsky2Czs2`YU9lqGBVK-a>VXyU!{e*R`E8}@SJ3e0aj9Qd@OZHLs?>n* z;-|C3?)r`iUw&=sweMIq3$IPB{Ejl~u1&RF$y7|FPFTqi%THa-KUpOcSn{n>XZ;`R z_m!0lNam!gvkCskJbzM!9rT3@KS{)w~uYNG~=4$59ii*_w)vTK~somEwB-PVX zN3DtX$z1W!&U9@mww#fiv?ks;Uh;72(KQs``f%#gH5~Gs)L(0uT*FiQt&N|`1iW%> z{EYbc%G6bB<0qzetYs3FKejVnntJ>R!`P4^0t1GT1#H5{QujTx_UD+A%A^5BdhrTcBU73!D(;k zdPb+7gxsL}|NFmq``u(J^PNrJ(j}=U*3+|+&vvFcy~>K%yfL1!>qhd%l9ubI?IxG_ z>|UJAK1&_9fw|L{|6bw$_d%Sd+Hc_CRcwf7#OC||omoqEx77O^n1oZmNNw7{%+5&l z-^iO7^HcZoPdxh%S@L^HTiJ2XA?Fv+v?<8R7i`{?8t@B)Jhm})_b+mWXiPoFzpTsu z{=%C!i&8)T!f@692!H4^~7)S{ZeQA&T?Ouk-F-4E=NOBul~** zL2>G@-#IBv$xd_q81*UL8F&y6sk2jOZHgbBRYP(jBlYqRbnT^0^s2l~YSSNFem8Go zg;cajr!x<86Zx0IS8n!)ZrWyM^^}~nJ?saq;2x)fv=T;-;mfxt(Lp3Nk-wDu z#qnTQ4{nV2V5Obe7(X>$vuEnjMlKOkI;K`O#t+Ke(J`H_Og;4pSGE2AWI+y3o$x2` zL!Hqno$CH^e4mbTTB_u!(d_Vvco4{X$fH>oKW5 z+qiu1I5stI8|S~=)bwqPU$@k&{1cyhLh7q++`dX|Yq_0`{WirbZc{*Di5l~I&V9WPh>bDFrrDo9<^#1M`hoLbPtJYPIG zwX%sJY%^4jseireww>F{&Z+&j(|BR(Wd6yVO0It&#krT<_}rnXySH<}TzYoet=rTh zNndt$>eKD<(=)dgr_2EOl>ZNlm3!HL7}l~8sZ0K$XH!O`?)!(~su_`bPdtCb zTkFN~+S^iH|D{*?x1|QizXOx0^Z$+a*`t6rE6L?G#`EiWas!=A&6ND6+foboH(AIV zsd8L?AJ$_&4z{>=7?yl>Upxd~N`lmPk+bHH!nG#86xSJFhV_kGQhqu=kmM(51v3a} zG6hoDV+S;UCf0X%Nd=3YHUDEQJFNZ`GY|`Q@{pluRnQrKXXA12=(XHJ?8dtah>6Ez z-tIs0`eyfpH;4Om@o%^xC*koGgTAN!B!6;9czIMH`A4neB-W9?yt?>ve&%G|g}=gb z?=Ja&;hcRF-qIjHH98$XG8w)jD#lN4@Dgxx@cdqO=5Q?U8k2|4amF|49PCWYy93L+ z!qj(Rc~@BpM^)l~cGmojSl)S7L4xF;lHn!&1PwTip7uRD5s-i)++aKyFYOoRpN-|M zXu%fq&c(%Mv@gc;9y`r1#kuStFCVBq?mdu^z!+SCZ4QLdU09?Y>tZU>TBMwI-d$0w(~_eqdRSMLH&{395$gK1Fm%drfx zR`?N?Ayj8?4koD#y2PJ`^*yoT`|x5qe3Hvwf`j+0vi>Dtm>Kd6uQ7c)E-XwCE?dki z$McQv!FeYnB$F-X-G>`aO862_!}31VTvFsr_la`+h(Vo?=LX2IS&J z#s^?|1G45Hgmdl){zNP5z8LQ?`RC#A4a_m`d_4d5@I+LOQ}Id)=(+zbEN^Jm{Drv2<^DnP-^1mm z{4cGUf3qpTq4xti(A6qa!SQ%A1vGygZZZ`-g0qR&Azp;LnexBk8N|yUxTOPo@p_@g zls{p2=HH-^39@C2c>@WkWfkapa!rMMpn(t$gjHUDlb%brcn|8ehL z5@g*6Tilz9%betn=s_HAjp=EtJWnpq<4Keoj!$sj3E>^m$Th*`xYFH_^sWz9fxoQd ze9=CZNq@AoFW3LX55cnV&s=ykmRYZU`N!b;KhZUqTF)`&>L+J5>A+7|F3;*iHw2es zIdMt;XIL(`n*ZCi$fvsgQj#xhCOS2kiAOt=QV#B$=% z{8#=YgFRF?Vwu$b>kR7eyCs;UNga|KNstqZ7I+)WiAO!=ui$#Fd+-^S>v^8*K*2W3 zW6gg7%jLVo?O?CJgUfe?i=TzLd?%Z48r%F6oLbuvAR}-V){h2>E3lkOHUBFtXUYp* ze24!9C$53c=V4jrqnu}A{dA7hw+8=O&h?+=8O(tl;m36(;2|^V$ zD|jD&uw{C0;qQzWU^}Vb#s2&c3N)q{kuZTjDh69C??VZ2n{?o3Twyw}5qG{Y;Uc)D z!o4pJy$Ls!gl@z$MupyrlOsom34fDNRT}yqTz6^cfALncOyyWixJNr2_gdjwjI*%a z<6Y(0HE)gSV_U_Negli+!7|y&D+sA@7lPyv9G@BUdtB!x(K5bZT{=9-xq25~ArsGw zTt9vjmL14-`E5*tGJ<^~9XhO?oPV0P#&q9EfnkvXBTT+Wg(Honf!pxZu?bgW%)1@e zTpqd{7hVzio+Js`SBDAr;VR>4SU%7cY%#9_&ozD+_vP>0{s?$+?_De(c+&VqSUv=$ z{t!<#hbZ|G36&<{6Fk>=3I5*r3!F=X!4~(v!qNfta%_+J3LI{Y>Fj@l5y}e=QPO*n z1R0{K?wFmhGw7k7nC`^Vp`)oq=EQ%obXZSJyQG5-sZYZ)#C1Gul2dO3mJyy!dGUi> zl4OK8`sV!GC&s-#L#Ai0N3aaBS_;XKj&&WJgk?x8U4>h*jF6sqR+&APIq@%EYz~3+ zeA0CZO0)6$*W>fyUVk%$d>NfrZp`nMw-{1>!`y6*=}x@AN-FH^I`|Bh25X6u&JX7O zR#Kl7lM$SbrM=T|QWDyk3Z=(~;TaPWWXl%w`r;bnqjCB52|riz2jF!#gg#c{c|%3E zUz*ni5^wx4t_pTg)?eIv)CB}J#=Xa|e(+9iAQn4o{>NAvP=AW;r27nqTVuL_^M-V| z#Eno7-e)8`n2__Y4ABe{q(^>_8Ih%?0vVA%aqW!>S0|5Bao_vhkkY~K?YWxW6z2ED zb;kSQg{H%YV);a&JO4ApBotF&7EQ<=UyKKu2JXZ1k;7nP7UPG=-^0Z(kn$$~Ke)`~ z|BB^fi(38i>med*Mdn&fkg8qgir5wIr-(xKC_eEw1M2jlZi12<#&Jf!9)#pHJ; zLCVj=@>xmEe+4hRzh|=f)#*w}FhjHkuQsm74aPs=PQ0%v*y7%LJjwVMJj1vF7n>8= zAGrQLuKz=+L3-GQU6qe!YK7gf9AkBNEQdth6U!k}?}ueX)OlDAf%;%9L$2UW4k@-Ws!DJjJ*tw(afbufOIN z8`Jk^$NU0qNRuI6zGuv@FyA>()~nm3!PD^!)4-W{7<(xFk`b7Q3-MmgPve9c;p7q$ z@=d}v?A@B+|744K+ogc<4qQgOuImFjvP#JJua?A5aMtoSV)-DlfAu8)TW6P_^j4A} zpH{9UMIJQvqpM;U;2ndd$H5l&j>FPn^$A$^P(2XK2&hlR(qZ-KVkgeOS>Bl>gj-|! zS}vcm$1)Id2oh~s1q`ti65qotmk~-h4>9HCkc@B9K$dr%$(MV^8;tq;Q)9Z41o;eg zu*JMtSU$#_D-AFr-8%)={GM1o{#@wt?{wDuyK(Nc@KNr3+yU#VT8ZW3*RnDHW8NAP zjwHap?WW0HIJmWwg8<3j4X@^vObG>I+-mNNC*$G1GrU9b_&dV*!|`T@TpJvT=kr-` z^*wk|V7dR{VKWI!O~4vlZ=B6rmaC_P4YbBZ_l9nZ+pq(A!_f~9e=uxtG|sy(j30xi z`1$_+b4x_R>m;=HWDj}yjVGE4HsDI^zg8rFkFK8gtcgDsk2UdQ@qElZs9)d1SU!zj zgyoR#x_98_>wg;(mQsLr`~pYgU$EZSUm^ue1Jkg6j$beTw$G8)o{{Yv2t)MFjGAq^lV40Na1eQsu z?u9qwOG%JJaF(;?55+PG)x}umi26J{F=-OcCqZVV23&|`(y2?ZOgi;wER#$<2FoN? zUyfzYsLQa-G4<6rDU(bSt|dX%b+Bc4*JD}t!ItSw#Nnwk%ew`KTVs0pelh<<=AXDY zQ=Yqj%s5@772PNw?udKj`=5wO4s8j4vG1* zxWMJtWBvLIiSN~iN@$?O<)6(PVyhUjzP>ZOd00j;=uoD2n;9{=R?JC8hV&T|AQy}0 zjHN&wmT#hvWI2%x*e5V#i+RUl`6dc!Q1Y*H_OtN~coT1vMu!6e9+NN7MGJee=&=uLtQ(FnZw z;V^$BUTE^~!SYQO!N%W$v3wJTdK#8*!cbRW`6dj1lk4BZB*-xdHeL;5`8E>uW4Oe4 zHkNN5@h24>{McFJKgF^G>d&xz+la#-bD ze-+Td(|d9v!U@;l>sXGd=I_%h<{#61mwzYLFO-q<#ICt5^RLE!{c`=25%`(}Tj8;s zO6?GrVcUTWb4cX8us<%+N#(`71F=1Xy-mEFS5|anM2S!Kb$fiM36Khh;>nN7{>sK# z692&=iu;Otw_*9ZlwjjYC*El0P&wXYd=IWOFV*hDJaI|73gX^05~P7(<9R>cYWy&^ zd-Ny{x5o5Cyhf7__)kz6@?}^$!2bEC_PzGu#j1JfHXK(?;rcJfP>#_|5@e74Q!9t$ zM=X1&$Mhg(v2-ZM#Xn{`AS3opq=WC7d>QihjV1mkyd-Ica6Jh{4~OfteS$L~)?2g! zd@0svM3>qkaJ^5sv6V$GLFd>MSVPaX+!CVd^t7Yk|pFWi6n30k0m0QvSJ ze_2ta8}}Y!&F_xo8;SJdGsIc*&%yGALF!?+fDZH~K{{|dmhTPH{PJG3KhXrdA_Yvq zYq-Ybufg)ALs~&S-fZ$)bL&%V^4sDH3WUSiwO--dS7c-U z^FCh^MfMkHO)_-|_b1a?6Qq0*P`ly9>)Q^w&9Fie=fU_wK}9 zHD*o)*Z;93$g+}2CKbGaWf>JXr?IS(YUj(jbC6|KbD)MryV+}YLpK3fDKW}^iw#)V+Tx0S_;l;+Kxbq`n{g>gqq)8Y@LYZq`4#|}`+#1vW zJBUfi2<5g4CfyAO^TeDXFUSZygnKzTBxNrD!hWnG4%t}e6qXS=kV<7$tiVYbGM(jJ z`p5hsQlF1yh}E43@amWjw|5nsk7bWEe>Rp8QLmMFI#@`&Eb9x7;l0L;h%9sIz~lV1 zi$7#q;Clk(7>{rPiGrAa2uhqU!7`*noyVIIl1cgymT%e%wwU(_t~aj4iMPW1SqCux z>|?Pf2q-XzxrdSlc2Ncia4(5TyMl2oFCnN_R$Eg+Th>pY3LG>QT$NU{ArB`wYlJiXuWeC5D zxE`0hop3wBJDsrI!}XE)t$6r?F#d0Rr7JCy`X5~SUUPoZ%gSq!;O&ab!T_%$p8Tl$ zlM5%3({KZO#6SLtTIeg-g(YuUrM{uvB)>uYV)|-5lX0Y++e!NaCum7`1@V|4@kKo}j_P@W=xeYGL41Ym7T%d&u_2x+UdYe-+=%BNZe_m38_ZmIl-(9?pq_9`|+m z*J0VCZ0D!3G^p{rAHk$Gz5&Y)Y5C`|i~!|>>;Jx{M>1rEco_wPE#{qsD>wwwpj=F@ z#5>F}uEg~weiklX6qbJi``@DJ%GWvj_do2j_kScv1Hl&eKF5`Klq;~^S@U;b>3}+o z?GVQga#{XAjp-at&GyWgdow6p#@(0MB_p;TM;EJ_s-TAoL;FHkfb9 z%OS1f!K9SuKEtp72$L`Mk8tIseYPxbqzRA;E;g0|cew%@KgHxr{Qbrf|7s+@#^g)< zTY-c2rNEjVyu(8CyE%D9ma|jli04eYvV=3^n6lmVVEN`R9m-yd|CBA*{mhl~M zxbeOr+}yqtI5twCFjC+oV~M{!5?^NWr9)R6OZ+2|_{!d4`*f@^Ju6b+{YZhuCST$| zHkJl{kHl{_`4YdySmHa&{dZaOm}Gf-AJPoJL;D&_f#b1_Khfk%11B3x{Fq4ms4)3b;9+BluZhIJW%4C{fw9D|h{PvXnE)xU)>sO(>eF(Mvv9bv42>ne zcO?E$lP~ojZcKbKeQu<{a1$T}E-;n`Zi~du^h+i|3M`Ej z_}b)41K$`+{Psxv4wEnOX=91+d8ipt?ti@fNC>yabe^#kI0KLWFyTUC-dQ+rap&OAT^)KhNYRrGc9x72Ik9q=L!D68}sj{yCE`@h=!l{E|rg7h%4f zf4J!k6L_}Qn2zPQ+@lN}ZjI?(j3vHrB>rfVFZB;FmiWt>NP#PjrNGSQ z0@95v?{Ska@pFtN{Tk@%xbzBJI^SmMV- z;xBjk{{BmWvPgl)A_Zofe2IV3SQ=OoiT}dnOZ->H5}yv@UHc4a{P1vpr9h^!6gV8) zS$?F+m-v3h5`SqVeyqut_$z$7_N72&q`<65fhUY5{{JHJpPPJX;7enP-x-OI9l;Lk z{!4)jNpPDKI1t-C?rriV{!n9yFOI~YXYwWfd}E1E;-qch4ig{+?lP7F^RSJ7$>dA? zd}E1U9*JLJ@+E%N5oZ6TfV@Jm4YZP149y#>z*yoBj>Pvd`O?5)#u7g)5RV0fg!1twn#Tx2ZqcShpxHu(~Nud&3x+%lfe|Csyf^P8~LFPl6%^io?-Zk3~u>8bCu*JQD@p$7t*e>3~ zaJVsZPK^2WWxJQ8Ut?*{-IgT1#7W$zP+<Q6hpfrfKL+~`c%^-*@C6d|S69UEH}^2OQ>>5d!A~Y%X8C$!nPjp4E%!JB zha30O&i?*OfrBFj`a}vGW-RgNM&gH?eCf~y#uA^5#NQF*`|Z;)ZaX3cUWgQ^Hu)0& zim^2CbtL{9lP~e#8B6>>e!RBNr1;kaNC9s^IABs>Z(OxB;SyuszPQP_2ey+e*OZs~ z4ltJbPLlZM_UXVWCO`_DW-J9Rl>*Iu%JRmVe2KrpSmN)E#7{N(68|7>ZeI#4AmQy< zJ-zp6M9vF8H1-d@OtjzvnTmW2`5d= zZ17CHaAw%RL_Emk--5>*--auVZ^w&_%kgI8d-!oaZwU>wb$k380W0wy&TDW3-q$&s zzfJGP2wmiS1YY-b0?EdgapA&c318y=cr5Y$d4mxx#d*ua{L7LgJWK$8H}!}7AzWqx z9>L3uEAa~BS$IAtp3$!SN6tYH_?iPOhfKW$%OO)IzaU{(_D~bP!ZPIQhCB`4WGgvBXb^#NTN0CI04S)4mi)MGDMp z4v_t5Oh0Zc@e3mH@0xsxUt}!tYa;RWnlJk=1%A>5Bn7h zzSMu9vBaN&Cw-Ifk_l>+ckw;!5`soz-lJH4fUSee|JYgcKgEmqO|{M>$hBfCUV(RW z?q0}=iSoe~^LiF?*Gqn|@kLFTACF7AgqU|22@M3~kRlb1#PaKK!4~sI;b-{4Ha%5O z#quk1!4~tT<9o<&M}m}Jh~*dOf-UB~k0+AfiUi4Tz*XP+`!69euaShl1ZW4koxm%h z6$!~?i+Me;{FGg=#k~FTIMbn_Sbhdi^M_&ii97WL_)+3_CqX)JH=dd_0r!*8*>vDd zEWe?r6}*Fs$=4xXk2jnA-*C1mzt@S3(05_^z40XD1Wp!FK>xsc1_|=xeA?g;d<*$) zNRS@ig5`((G=DOdANEtrSbdtRVs|r zf`1IL{92$k_y?9>4pje%rx^c*UpM6wCo%tI76%)j>^Lcy#p?aB{@kE6IMiA5i?RNC zpyVf=HUADQlUjWj)?X-;`1w*m5;Wj-EXPp&CYCv&ejDr07D@%{oHc&~mPxGs6%WL_ zkRb6L2L{&sWM>j&4rs#OSSFczUo6K^-2=<4SLb3`R_X(=%o+7TSeB*w5G<>}nIC;3 zLDsbf9D(H+tB=BR%+&p{z1|n#aN}}pEN8k=k@!-R&-~}l0wzHU+#4w{)#S^m^g&~Z zee?ydNMro-Hu1%Y(JL=6u6d2sSSLCOUaMB z{Mc!%3KQQOPsR+W-=XtxJ>`#<_N9lnldzNo9f23|NHZeKu{0QLyo=Apt5;#EP`wuG zPmxOf*{28A{MK0N_xE3pVp|eq4roAoEXPRQ0m~s$cfvBn>aKW+@jiH+aRL`G0vg{7 zxA-K;{v^ndYruhcxEZoyXU#tk%OO#pkL3`kFT^#$*Nu?GyMgf-^4lXBk^6lo!vYVG zAjeEAn2zO`sb^q&;z{9fYfOJQnD1VkKv>wXuxa|Ca(|I^*_#<|F2ZAA&i%IVpnVo-3kx-C3F_P-Hf38xI~?CnUKA&OOg$4iJBkiyxgN zLH0-|NfnkoQm@A{Wa;gZ?I;1bL8zrRGC& z58;Ib&^5n;cb&C@MOZql{!q#re}rWRH2)J^<|Kz?3D%AI-NQ$V*!V`Ojh*5uJn&pF=z&b~3HVB>TcND2MpZutReF$@2a( z0n(u+V=1uLS-jHuGvPWN^Sa=(tyWzUE+*q!ef3VUPr#pffU|q{64PqP5V;8 zZzSYw3me#kr%>T!*FcxSTpLUS1Myhnt8rh`z+?CiMufX>zy1%MAzR%0$i=(sFVE>n z7)S+YlPw+E;_S!cZCHA&-i~Di)H|^3u{w=qkJa%Z!3e1{vHa?GQfFztOVEHLu=IW9IX z!?wYzakw?6moW*Yz9l5eBpy`EnKjPOGCR+}#Z}30)-ESOe{fu8?X{*t>G1c1Cf_fFTi|gDXr0!y~=`&oTKWIHO(I;H9{OadI39-AuyOc#`pih;NE`60R`u zx8tS8cjI-&_v41pNw0zgnMA?Hr*|Tr8S&$|#Kb?1=NdncYmKY%BI8$a70WU>BwYVj zkubJ>*nxUnN8$y)a1;4$T>eMSn*Rxw6P0=imQ|(x0?VqBjrq?l5(%;lgDulr zj%5`D8!tAotP=GqEVEj@7RxG7|9~eMufubUH{kh!<@_J_ekEa%3HTj17;nZ~jkn<5 z&xH+c!)2~{xu4jM!;N?UVEY}rB_-UTaO$4w?>`rZUq*9V&9Z5rlw2$hERFd+^d||| zf-A5zm`%Q18(zZFLG>S4R?RY3{?JSLAO`tb{u(SJB4aG&U&pe;2g&|R!e1oF9`~<=&)&Rhw39RuaW6c@OyWGeZjW$MAA;xZ8TxQMkwc#J_rS~aP9kBDnFFWbzGjF| z!$XXVTm|%(Ez=u}?IAcDha2w~!1fT#xrj@04?c;XPgE?P>8&S0_OLJ>9D+SB=8Zx$ zs6%)zmJaRh$Mg0jEPLQDQ_BC2C*cfN-*D3b8NmtIj=)X6li`p|B4L>sqTBIO8Vp7# z?!AZybqwR@vSYL8tB;nSGC*vGb;4WNXd|$*5 zM*I*SYvNNlZ{Ow)@Jk>h%nlR0r*Mfm(Ny7y#?Rvl<9T>4_AjSgOO`nYC!e_YEnZB% zUM*w80|)tB|1(ICb*=?=!7Ge+!;Qwf<3Z1d@i};i@t)Y83HQR`)|l>so6m$vua&pg zxqS6BC!P-O%r_d#iDe_DJk!U$Tgq}%Q~)h4U8DhxtcxHtKDoYd#tDC@3Ab)4z7dkNATp6 zRiQo!%c@Xck7ZI<$^D1yLB{#K^kS0qbqzj@Ws-53_VasQzyk?7*v0MPrC1IL=No^I z=VII8<3_gh@`%eW)O@-Bp#xc5d~5~XI7Yh3#iJj#ll0h#3vrE^#3$p8#;0Sid-JUK z2CL=z&pvp?n&5mM?raK-#HGfg@Fe3g5nmDURk*^$Ux#aO&^{fQNJ5OOJU-&< zaJ`A281XH*cCxiS+&ZDqQ$|C0qEQc)5`6lYu zO;*(-=hMFJQKbox4$X>m=n0cA6)eDoW)I)R<;IJ!t^Y$)Uh4noeD>e&@tM31kP7t7 zmK+!J8}Ogwaccd%*DiS;MGX}n-RZ_mo%48 z@@F&>GWH7__z({_Rg&-gBbGf5%4d3)mT^Z#{r+=A>YIz@kW7~IpH%Svl_W3%3D;o8ReVze z1$sN5ih}|{{CyF3HG3%Q`Y3D<(J>JphnLDBl>L{LdlCsl@<{MEZnyA6<1-^ZJK}S3 zg^52O4?i%h?_xaLxYRjlpAK9e2`Iz!O@V80#zA3)H{cv|%x}UYjVIwU<0P&yzC-eL z|K*v@T_l7X-))8Msq+Q7_|T!T1j!-0Yb-Y{>~U@^a6OhGU+nTf;}A)Qbk4NBn!9A< z!8qpyuK&DK!k=UnBuJ0-8O{BsLvl=?4|?qSnB~ng`Ess*DbnHjCSS@g!FB|{6erD) zE+e6{@prh$cr7kB{t4S6L#oByjdq1`J3=olfMPeA-|ie zZ=dAFK|*lc;$8wTBtYE@FEidB*P6c-ABd%c8s8gB2h@jRj}Ge&obRmp$qPx?l>q${ z%M@n~xF2^SKTd*-z?;sR|2FPIKC95rU+1j(8?cO+`d2J-F4!`YJhy8(i#OwN>9IKP8g4@G3xB+09F`I8NPH~L>;D%?kRJJa zz=OmsxB>?kqfBp`>5wd&JxW?0(@qh0#fd}1Inf;#FaoW-V1!P`)tWEY|G^}z)&yLP zn~X=`2~-d)Q+^j2_sb6(xHsYlBA$+mP5h&{-Z?3Knk5Ae3oD$1rN_a>M>6s8SYDpX z9QfQBvc-c&G^gdsRJ659jm?JM;=3Zd~J> z=k~b&Wi9iMi}(awZpxo>8S}rmf7rko1WYy_;_N@cU{Zb@$zKxj7kDn^b%b`|ZdI&% z+$Q37NfMTrfDRFN!VM%q8(-XT;2|f34bH`5jbDoRwTR!q>&zjn z$BU}NN!t1f9_9M^{{F|kqe$p&0!HD*Cxsmt6Y&)hUxg=7UgyYTc;Gc56dzQwoLCBER$OEkHa#l zgZ8QL1QKKpXuv=$heUlU9*?__ARV~YS@W;Q_mUrX`E#5#{~3Hg`7xLOd0^K*#l9p# zj)@jnhO2NJS0L@I`SB~c$0Pp;mw$+}=I7&eroJQa4t$7W4l*m$3C#8dGclRq6#JUNVi^eX0GwMm#ofc2b+pTRX|M4rR7 z#xG!|iQBTgY8-BSR14b?>3#|4f7ydVrlkzYtciTj2OZK8c+FHGd;B?GMt%{s%5C&< zR|gIn;W1vsr{HyF2hYGejE5viNSqQ5$+^yY12HX<|4_t_;DM(6%!nVyQ%(NU5htG| zVYUgFhZh>Zf^$v{J6IF(+Yv9slT7^k5iiD-VSdv4goM5?g`dmWiciM!QcRXz_wiis z!vbC|&K?wY=)j2kM0^-7Iz7CtzYiyx%X9o6Y>~j9OmN@k0RCix%Zz8^$LZj%u7e-r zYLmYNFJe+=`1zUMUoM}Ig7|ahuxm`bT>p=<3AjJ5GZh|(m(XC2Yw&Vhcv?6DSK$Ve z{}}G@au~lDH<|cPoMn>p{Da>)y0&G&;E2!0xu(Kfae^W3O$Aauc3oh|#*52{cg1oD zf{oXfq2>G^^V*Zpmj?8)SOFeld>P(sDkzKinusUhyfeZEZ^DbIFUxO@Zv)5G*uDPe z6AC1ZCqak!A3WI)2qxiv6IdlCe+XV;@^8WGFo&4`@wa5`ofUTAMLY>-#Dfvr>D>JK zzt#0Y0L9pNH$=p(ah0hs2XCaoY(JXsc*4Vngbfzr$;Kx~e7du{{>HpBNtkU4oQ-RZ z&%<@*;&eX#+4w@-jY$}6eB2J_8jr>c&8d0}Zt?lQ%Sn*)fL2h3lpObaZ-tMTrxK-yXJ<2MA$PMwK& z5U;Nr@|`vR2rSD|eH6}3nuPu&$STl)0xYXQeLOD1aS~(?$2n{Ml~^XRdOVg%tiBFc z;#MR``6qBv5;Wi`5@eREtFSB+_48Pkk$N7MRiJ(e%PLUM#~tns{W|`cd|f4LZ(#mQ zf)@CJ0GZY5b-2zP;|htZfMv7~706#YZ^p8$j&|N`_E2s>_PjAzmil`CTxY_igm-?# z7viO68DE0yhKA>f|XpOUa~e)t)V9urx|#y8`PbDDeXB_qBA z_crc%?Dt z|Csl^Nf7^t=e!c0$#%bq222HeMBEWKnEbAI;JIN3y5o_?xz4$K{*?WXd6z^2E{k{^ zo?$Au8t)huHZTE?rNespegY3SuET?j|HPBelk)!ckB>?(5FRwR>VW`R1-f8*U^C9@!XE{ znbbN$)p&J@dH>(5Bovx})p+2jume9tyguSz@Ng5q30D|z!Bxghf!+Ow7xVs&1bDYF zM5aI{&bTD(&~6d8i+B&*!NhmM{fxWel1q|dg+2U)(ECSxAf9L{=!1taVx9dN!!O3- zvF5x{jw?oo_1%l7l7F;|ufda&X2`!MVX^UUlQ?&q3fejMqXJnq6C(LHMLY>FqrN>{ zgU@3*@dR7kn}?GglSHm&azn6;1hEEui)GoUS7KRK>NQxFow^>|udMwEPb5E+0I7fX zTLWu+&aJe6D*zyJco8gMMW7waRI%bYcT9G+qFA92?FN?dVYSl=uxCpOK0;#TIL ztV2zBiU3(Q>MHy>zJvtXgD;#l|0^uZO1&J*DpIe&a=llt!ZK&nYm+3%q|t;Q@Fe4P zSSF3;Z@@A~)W2dm#_Hd(T+Gy)v0Tj5Td=)+C%2IhZv5#L+v|4$S4cUtwc+Kg+~NF< z#!c8A92R(p?AN7NodOV!%fDcaduE% zo`1x>2T15`DtsH)nF8x@fyr-oC+psL04_4V6n8VOz_rHj;40r73+cdm5=NSU_T?-S z;{rU%_%gh3LXYMVE5kBrgDvh|jb&1+uf^5oM07otNgCXL(1D30KC!hYW2%lMo|4KmP4wp!E%V$f7v*uB*-xeHomO}%P~^Fi)9w87hxG< z^@msvq530SVEhS|L!|jjFeC2TrvqP*AVaPJUtt+?^>RGbcmGU?Qtu}mWM7A)&py$#ExQ*XzzYScUMilj+M zlOW4T1LAkJJXdGpaO3@Z*q*ANyCvqIDXUurr|Q-wUQW%2VVSf8C7)ULHcr}E{GJO4 z8sS~Bc!`emuJJf*3-V%1G5pRAY9D#24a*KtJb@8X- z3X^{=t`D8`9w%XZnBdjn$;Ml7iSfSod0yhyumim!&Wre9JkrGH;~eJPu6_r({$D^s z7ZPHw$9Ln+lfwq?$6ZbSo7ls8%zwa3Zx7?wJCCG7S!Rda-!lJjYq|a%Ny0i)!2rCs zY4B2YAus6cPgi1 z<16t*6Mrq9Vtk`>o$J7xk^FZ;%lV&=V31I0D)3;R65|i>gnPsC9|ul)6KPRq>Fy7<4A>*$j(Do6pewF6?v5v$ z22aNgCV#NA{uyq%Z}a;9(MW;Euy=xNti2-v*pKy=8$xc)qFN zOgwyA*rBuW1mp9hyzxjp+jtbNH6Ama`QKy`t{_0{f3q1wy1h>7l=Lo)im4ynFJYmI1jDAAl#D3VP#tX40L9Gad>X7>Ng%{Cn^UlRwqD z(47a8pF{#akN8WR@o?C{H@L)j6|OL@$1l+V>Sz4;ldeDtf0b-%k}_1riU&wreoO4q<3oRbPWbS5q^KHIs05sJ(8|B*<*%!nVyC8mO>af9*mIIl8n zu-bWg&iD*=LDAP z4?hu4!fF#x;ygDN?7=gU{J9aoh%;t}4a~ffSUroYzQ{YuR-}p^jWBd-TGhT$Z8vj@PLfC;%aR>AAei@#UoErvwN5ZG< zkq&9bV-zqI?26wvd)yb#Hu?SWhbF%iFUI;epa*fiiJyU!IrG8}JVwG?<0tSEQ{gB0 zGvlrJbK~waxf;G0)|ZPvF!_UVXU_e4NQ!4N|Kwtz2_p!wLo^cG{815?;s#Uxa{QHP za0dPw>m2%z#A6-dUuQD^Hj$vqs^ctr$g5I--=7kBuw5zLjLPvz*Icm zcsic=HXo~v1t*ekaGl9tg$ruJ^7VL#@y~d&@vjp9P7kjs!>=#t9W~qYwljp(?+@W9 zoMU=C1}`?g0++rSHaH&Vz7_g;I)B{7ZsPivMBRV;yqu z@s>l@3fuhbh+E@IQ$7dxUJ%yT5f4$z^}j0#F&cp6jWnV|fauo`KVN6bVw{f1EY{11t}%)c?iukV{>M z$_;=N7&SaFgB4Y-1YeX*XY9(C6I$8az5<0QxkEq2!YkMVw{ zfj^x!|1X?p@)J)n|0F>JdXaFj2{_AH^M~R-d=uUrFXqI(2bwx#Bzz z!1CH}D=!TE@BjPMR3LvS{0-X%Hko|+rjtf&8`x^{rF{EmT9)sC!;SC%!LB^(kDKqV zCO|4U8oL_=^7+!Jh>yqX7?I9?F5eB0OSz#Kh~hG1 z;Eu$19iD6anR6An(!jy|ht1EA_y}BQ%J-9k@Au&UWQ%#n;v%u%J_#qfgbAGbq=Bb3 zz!i8t;(2(yRN(So!LvUIU4s`Hzl~+Yf{kCt!*Ym&_L)TgAtBrv(;r}ajL*7*zY(xU z`2@)%`mc$XL-r$<1_w$$JFxZHmL1q0@eaK71M~Vn_8ix5)8j0h@nN_}t)2V11}=)^ zkB)c@-oYO0#i|1Ldpo>~UVsZeG_U{v<0pg-et<`s4t$I=s6Z!OBks32jNgWblRu0O z%Ehb4^E`ks4Hn@#;~Vkpq^V$%Bw!g?8N!v$kd3$LM*JgQXv%NETa6oV;eW#pHahDZ z8#a{{W3dc*u<@eqQ#VwGhGtP zG561G_$w?8`Y*@%$VP`d$)`gJ;^iY8@0kW=&aA>_k9h=VEU*86BEj}}y{SMhx4+=9 z$E~~ulP?YII*$R}==6}rFn}l+gAWlTQU&MKMhKWA}xB0(t zP8^QA86O>SL1f8m=)uE8=q^9)=g2_zQ5slCXm%xX8D^{$t*y z%?b2}4vmZWN<7k3a4lY8d?VgyJPBtk2q$S0XBppt{X-s{fB5!062gsdzr*&J4`Y%^ z1$ELrCfVOu8i+gJZ_3M@n2T+PUW#}=&iKqc|9^vorBs+F6;kb1Je7c8;~Na{T;rX% ziFiHJ6~0L1JKoWNTDF4dgc-{JLtkqbCo621%@9E_`tiz6Np@kqSU z#E-%w*M{|tk@$t-^?y2^y^z=c`dDot2_MqKZmvV?aXr@joR@gyg7jnEYCt@orD=C|CX`$xo7?4YYlk>p2CEb^-nIR#QPKF2aYn{0HzPlV6Lc8vls% z>cbJ(5OD)e+JHYuC^ZGP;<3Ml6>P^vro*|fFvP}#ahdVWc(w7fc!}}SSGfMqHVOYD zV4?B;^VuWgp}5+35}suIJRb6U*x~AkUyZnCKI?C+DeyJ{)(i1ulmC9ii*cpN|0Loi zc$vxn5;xFcmYBcFb|gtiYz})IdzB$I&WgBo#BFinKj9qekLyhN<03u*=bQLs83}zG z!wy^%@dR9I3OtGBJP~Yh?`bUO0rj(3&I9VXSk43L7qOfNoRi+mByb|o1n*Tm10PC? zoQPIAy8_-?EX!2=1D0i~UWa9wsyAR+rs`j@EYo1)_5bfA$U4=4%~+P1dJC3irrw5S znW?wq*~U9?wQ(9RG>*R(ENj2Ky#CK5K~4->VKy!>ZjFnK+v1VN?QxlL2P~^X>+6K4 z8h6FBotghUne<^Tz0K`#HFfrhx^R6agp;?9#@C38R zx8iz}e+SO~GhDX!;IUgmPsJ0Br{fCaM{y+%+Gh}FkucW;%)v!}g%v)F#~RPWwu3K4 z@?VSi4Lrw`Ul7=}PY2#5VW|oD0MGwB?7+vk-grsGUq-wPcWVmEe}{|y=YG_J_7XLo zm)LGz|L;e_$n9Z)gYb-hLLZ8y0zHO(Bkmt@0WLG~C*T_6Q*cw#B%C1$#zP`L2j}ky zJ1`vA{2Tg0++chO?yxh=zYI??F2hNia7`p&0$ywi+=LV9u)^DLiSeB{C#K7kZ&k%p zjHgBXP!03X20TK*VpCuy?y#t*SIC&lI$wf1Wz#jJmRk-{szx6@vCZ>e>Pz) z0bWMfz)umc$GIl|H@wVvGj1~eE8>45{x?ZN@652l_#3S2tkApQ0^>Fjw~x33o@nB` z;PPF<`u4?(jFY`033(A8j5nJC`8bgsR(K>Hzia3L5g#A%iFi&JpY%>8VOf~q72(>} zVTD5@9v1Nk+^tO*e^JDv@F0^vriGJy^EnB_O~6%nyzzCo%6MYLw?;e}*PHmeaA8i^ z!TWGIlR8HxwOs#eNSL4rcr9LR3j7rD#)yBzO(uSG#9MIZ_F)H_aFsLjpO0RXu-F8| z-)!k!BHj(JHu3H7M&k}RXOFPKE_k8wzIaJsIseDJUSWdoyoe9R8%+iIcR_pZXlxcO13v*ypjSDW}JaEE*csdrjk4tr*hYuEP1ILvl;?nd@=T$t-WF$(N^OUq?FpjmektTW}E_9x3%R z;{D$eCv^|`E;m0R^a*&bDR7^2&;h-<9o?&cnaZZcwZg}LJW7g%O#Nj0RjYy8X-`iktF0HU`V1y zP(U^+A|N6NcCcEt6+tUjwAkPaL9n8tpgdKINKsLuCWwN_zv=h4H6PrHJn;O4z-{@lS|JNO%Lccy;|>|uNc zJl|#$Ul@fHXs(w+SqD=R1rKC3n7>k?CHOd#Ujp94R>DZ|c_!}wuB&H!{_l(e*EYL? zF5qy+-N6xzdx4uXjsdq|+#B4AabIw2#{I!<6w~=X0R?SU0oV(UWb6mGW1I|b&-h9( zpT>j0_EB4x4(8Li21_*s90nzm)@I)ltmi1eN^Gswv%%B?#V>)W1!O?_=fTwFQIZEQ z#l>kRzXMDSQuaH*)MCZWa4w)BfIocxhr`h*pcX2HsW=x<3l)F89Ixbo0nR;^e*FC| zYlsw=f@ug)$Vuj1K<-( zF2Ln)+4gUMU+o`*>gd3G!@<+xUtJrn1uvxf==@7-b+?zXR--^&Tpj`5!~!Y5>VE5bh7(WA!57_=Tf;A@p1RTjY z;&seFf3j`R3I$P^Ho*gXG;m+!L;?yZNmC>%`9Ltu8pVUbl;w(tf+@=tXMicm6_0uy z^PjR@6^wxbWx3+3z?9{Rv%r+3ipPT~Nfl27Q<5s445lPioCBt5syO#`GnloiU>X!C zYZVuPA7?xrOw&fmZvfM@Q(OwBX{Y!`Fy)Bi3NYoE;yES?D9Kd8Tree>;@iQLREjIX zGz%2p1*R-lya-H5r+5jNl1}k5Fy(||^L`XiQmBFlz?4*q9|ZH0%NlY}f8Zw?!TjX% zD3jC5`U;rm*w#=swe2X#U`egJt9sypXn67`fLct+b0FHEUCkID?I}Wr1 z>;c}IW^)WUYLLx+z0!as<%?kI($hGf(&_Vom7(l` zy*g;juLAP`#yNNbxNk5()Q=WVLBRyb#<=3oc~swqXxx$x%P8Yy(knh#3@tpJElvba0u2Zz6l9KL@;Us2$*Z za5dvQ6jS>tghi@A@)EFnnC)OWI4Z;DRp88b>=teTPXhP0yoG6Bfh(E3;~VJF5w?97 z$-(*&Ku?E4GmAao6q0KVHxS3iFvl3^;2PwT}*$ z)(5u6^6>T5xx;+v-2O<_o+DY<+g5=ikqvpaKPI zU*CHNE)Ij$+MNYHag`nM1P4!X@O9v`On(}9?bWvZ_27=Xlz%f!djJJ`eLHL2L1zD;9{4elA#wWmQ7=Hua#rPC)mL2dJ z2cLIv9e6Wl4IRk;FfHs&B#kT}Ho(>3ZgR{#k}V6!eP9}6#Q|_@usT=dOIGqi@W!RK z{`KH}i!G-0A8#^8L034i<~{g9$;!bRFeQ=Vhrwy!Rw$sA@E?+u{B7_k$S;%f(~_0^ z40wYTfOY-})6St_77QY!LGOPASsC;NQ<5s~4}JvPS?W)etmKoyl;w(Zz?9UAbHRtf zy{Ud`!BSbE6z&64QYu~nrmR)G3LMAy_u%=A9|Dhk&(?ngoVeTO$G~@jt@hIp{22vn z_t*+gg89kgDX@Li);$B}=ZzF*u&_-@rRfR>5W} zVEmecw}Rh8g}tbS7_zS=199Lc7BB@EJi@dZFa@aidoTs4_(!lw5vqcpP(TqXJ`d(O zPzSb;+Pbivp*diH)j?ez18zQ1`NP@M!Tok3|Du?}08*H28~DMC5Ks?zr55LcpJMVt z2hVVD33wONzY%lwH*!uS27+3CWGJ+ri}n^-*0m!m?}{6-++0GuLj#kZQZqC)nN30xR%WnsD(Fz zc>uE=d>eQJ3vhvh?*N}>@V4RP@PzrRsIo@xQDSD_N0|Oe z2Y(CB`N+N*J@s8&m}Gnpcmw>^|NhSlDAt&zXrFSX6t|F z;8WlzCO-qtB1ZpPRh~yd4FW*zRsel=VbfS>JB$b4%Gm4RfP+)P8ECQGW^0AueT$U8 zFztHqSkz~#50fipffWyWU^SS=NU;FZ5GeiwxDp(O0_w3hB`f((@SRNly<{c-5xnpq z&i~D%gXs6Hf}k7@-;|0 zM1fN1f`Xx7q=2Q6Az8^sfoV(?j{#GbE4~U$S*|z>Tq22XY8?-@kJ`G4;E>P%lbHgo z0}CAv?qPDeZnzYz77|)V?qhPY-|Vn|g~`c&%lpWG?qC~JAP3bB2j4L{IXDI8_CGK= z*}Hd#_CPGyK5FYO+l~3h9bC>7$U!#v1es$ zNG7K?4FvNT1~WNz>QIM$29uM0*&d72PqA$;m;h4?^wRfb9d%uY-9Hc4Tt0A7VNj3}XruzzBzfOeQA> zH#_WSGdbDc=CGg7S=Ivi|da&qvA!~O`9ll^B7`{PUwd$X?XhoN2A z9&8`D(gx;T7{%liz;H017?}?K4VVw{)yy8N7B(>`;1#S4VB?FKmVqc}*Otu;tS)mn zypzeP#dkaWEoO4E{~NbAv6}v!DUgGg91dP(a&qt`cL4jZnVjsuaoE=|IoWsHYxfB9 zKSJw?0{f_~iw5%^iDPnda1FSUtwq@m{w;Vhljnd}GtLKZ3Nr0lu(+Y%C{wrr%*U)0 zY#-QGf_Z>}aF-QO9+YUvDwsY6{FuYvpX=pRKNOyHIDD#JA$V8EUWbDNOiuP6IqVNJ zIR(&cUuc6`f~~`<9}1VCfVU`8DL{)H40Jdc%;XfnP=|d6laqa!!~P~I57rNbTO1B< zbvSs!;b0w;Qvgpp>^Cqu1#r+||8Y<*PP+6mBxgVREv6c0UGzJJ`q+$iXKL z2S=Ek9DD}m_Q#o=?Asm)?ZNh7`@jloqJTSyVhZG7xWmCnCZ_;KJM70YIoZ!~*w1Bh zvNvycIH+U_3t! z0_Hu~oyp05l*4`ulUpaDs~irpm;yPN=Wwuq$*BkKaM&+oamR-+`loa#{rOgC{6hc7ttD1oo8LJQK_VoCUUz+PZQu5AgDb z@L)YEh!1YRwVRnf1^8&aKWh<=(Eh{}s7u#69Igjv=D4+V)Y={aZva-Aku%393Y_SQoa?u4~!nS8t@JH5O}TRt{;c$j|Fd7>^8N>rNTB89DUubRY*Q? zMAJTU2Y=PI9iBKi1J2&+*2dzKH3hKbQ?&3Kyx}7($ghDnRk*FM7D!%p6hkuGt?g6( zz>{8fTfc!u@^zolB}-g7m@gGRLIJ%5MRno999>L zzHvL?)^>yk9dtN_?e_L)El=u?0n<%YYKVUR9yzkZ?tvkvF{==8Yw2$-c=2Jkb^j^_ z)afkNzo_ewWHO=|D4;v}^Q6He;1$UF#ghL8KAY#(9+B+%312njy0u+0pfWJMBqdJD z*MsR2q-xM1@WOu4c)T#!pn~&Q{}!Wy=F;Ge^GF&#<~r7fm)siawYqSBbNsUJdu}aT zI+%=wXzZJ|y#UiS%}lAk3tV%`t+{0n*0iEq5u&v0yH2Ca!T4if=};uYa6A0@3t=M&VF1T zu=IDE=nHyKu23pOw8LH8y>Q)H@=!3{$CfU6EtsB9$&g%2`YZ>s+vB?TyLJmVf$60y zs>K~U;0<8OG4->;oQ(o{ZH!Xr(J|D43FZzy1Jm=ZD`byEc0!9W9SCM)yJh%iP)_sqkiOC_i^Ox_GBO#y@~FSeMT3hYFGP+0wqc zKQ6uG2k-c$AsH8s9!8J#mGa0d@EJ2AM#G~}7y^v{Z&5&xi=LGV#R>S}iKId-~!Yrs2Cq5>Jf!>OUu?wP@G z2stK!)nns_;K6#F9qEXK|0!S%Q&({bI4wGs&K0ILO`b!+9ux!>3~duQJ*Z&G)6-qn zR|R8bi{^vranX1fPy;>z)3c9M2XWj`GzxbB#YvtDru$=5gGQojGLcgr)NdKgM*)3n zn=T!m90>(fkR#bY3Jx(1RTc{{AM-O{dazy%QC24Iaf*r7(xm+&Fg+}JR`SbWdctRo zDI@$I1xKTUzqm;)7(d#jt-;#umh#PDdaSHmI_NS6S^bGy+aP&6xDabQB`MjL{RSV! z*~w~D78bS^crBew!Y{_*eTn$`iSiF!j2}544+D1c8IX@@mLILog_RLE*zAxz{3cAxY0+A_p~h;EqGE)JlgDb1?70>fEpl9EAYraBO5dfykoc>z)Udx zO1xX@zXQfk7sOigmd;jlZo}OfqoTECQXzAm%lehJjWTJDfayn6H?|HA$?*B$adwv9 z3#MOvFO>Fs!SpNclO%V$9XT-G-eDEpj;~JX_oVZr!dpEoX7lxi)4}s~8UOS}!c_wZRpt~y` zmjRps(+jiaw+RMx*CKqpI*Km4B*?Ar!L0-}NJ81-X<&L)kmA3C=}kb2qwvrbJ&dV# z$(3MwxRTa>YJfR-1(IkRzQ#3z>%c-VJv236R`>y!9{K5uulUFyXCJw z6Nj25e`hsrAsP`=zY@-P5Nkb_Uiv*tvd>@Rvc3bA3t5#fQlA=rMcl1g!r1)MveJYk zPheU>Aiuzqlv0pCtpnNa8Ws4 zzgv9XL2qv+<$B=D<8HFUK$A6-n&8;vq5jH9QkvkOxle6K-MmQ8`5H2~uzvEdQ}=pF ze?Zea-kYe!6^hTg=^ey?SiOZv@2vYoUI+bh@oi_ljhJ&r&lLA{&?lHOHHxRD7I+i= zo@t(9U(vLbRDVHIa#2bk*;iaxl;raS5&}pE`nRe2o~9``4|?}{#DJ;#n8-xGzc|T{ zEG?dvT%3~X6W2xQN5$NDy`|Y`gx+Ksq7~(s?9qunN4hrZB9Xe;nkv6gHJu%j7@B~; zF!+UjXofegADU5(w?EMzl2eUW5IQ9q(Z4>BkeK)@E1=nLFBXkd0RI@kLNT+8p5Az4 z{nVQckCe0HlW49rQI)y`s%B|IqtW`MZc|igHECJ|0m`a;lUD0SBM4kLTYu39luS*F zAPH$?HdXgmj6(gXpwV_Ec_ueKT5r?V8M(}O#U0P-vqb4{^=7e+#^Lvi{1UxuwaHKl0Vg(*thz=i0ptjkmyhHCMBi% zQ&T)XuP@*aI&XB>BYUX<2O>Y#@QEQm>UR%p)QdM5VMAWZ>-5n^?v$(j9#PiCaElcW z>TSimaHEr$IMwJbO0nA#%iBeC7SHNNPto!x{pt=4xoMYg#E9iT>6bPrwL-0iwDC~o zm^M_$kaK!*!|qoamx?{-^qIpN?}_9Kc7=vs2qcSdOVOm`+BjnO~5Yf)8m) zUSEN)IK?yKf6t?fc)&DD$}cG?LshdX0>x!F%@QxUjQbluO~~G8=tOgoDH4+27nvbu z6MgtEe5PsYiKf9QGJ~hgCPpD=NJD)QJf9@d%HQX#UL;n88#~3^ae5+s;=Z(FgC_rX zR?q3s&{CmKM#)Ehx#KF{`LBcSdn;VNr4ZEhQCLc|EwoP+aIMNY3}= z`;t-<#l|j1is;zP=pbG`ueYvxEW+sO62s5vezS>Nii_lM(>z>YF*Rvx)WmWA-*-mx zJjsULtlytCF$nMf!_1TGF@<3|w~0**!~fr%Bl!a0r!b~mV7J=TFfK5x)`r*nrQW@& zQw!tCNHKGz(YES*7o$xJF>7tm}rQpeT~aRLXz=BRer$8LPE|p0^*tgQuSc6 z5hu>|*ISFX60yg)YydWF4|xnP{n1MNDG~FzQ$7SWR~luae7P}NWW^foMeaajgt*3M z^blkG*t+HTj6|`^XC#aFd`SH*et3@Z8?hqX4+lT`VX?qx#EZqGyxeDa!;(EB+5@dU z-Hpzod7^Q<_&m{=AO?AjVzF*Ou!cV3;WSj;bD%Lmtd51F2?LC4#S>nmP_*wxk)lOKcg8_Ri^#GtE00MpV@&gN(;r!ZpO`BWi}g2IR5S}9 z{DrHHzT%}gV`o*r5k|j!F>t-nLgcJ7T8DXx#msd^&jil`T!AhP(=vXCtG4o>ugvLa zi~n%x72n_lZ-J?JTl{^U5z~ymv8>d>#i#3x=w|et`XNBG^+xY-`pW?P#dzBluJse% x6KHwKdL#0Z)8O*XF0Cb8trAPt8{Le;C|#QzRCyID5wC&s9;*6qz43(); - let Ok([pda_pre, counterparty_pre]) = <[_; 2]>::try_from(pre_states.clone()) else { - panic!("expected exactly 2 pre_states: [group_pda, counterparty]"); - }; + if is_withdraw { + let Ok([pda_pre, recipient_pre]) = <[_; 2]>::try_from(pre_states.clone()) else { + panic!("expected exactly 2 pre_states for withdraw: [pda, recipient]"); + }; - if is_deposit { - // Deposit: claim PDA, transfer balance from counterparty to PDA. - // Both accounts must be owned by this program (or uninitialized) for - // validate_execution to allow balance changes. - assert!( - counterparty_pre.is_authorized, - "Counterparty must be authorized to deposit" - ); + // Post-states stay unchanged in this program. The actual balance transfer + // happens in the chained call to authenticated_transfer. + let pda_post = AccountPostState::new(pda_pre.account.clone()); + let recipient_post = AccountPostState::new(recipient_pre.account.clone()); - let mut pda_account = pda_pre.account; - let mut counterparty_account = counterparty_pre.account; - - pda_account.balance = pda_account - .balance - .checked_add(amount) - .expect("PDA balance overflow"); - counterparty_account.balance = counterparty_account - .balance - .checked_sub(amount) - .expect("Counterparty has insufficient balance"); - - let pda_post = AccountPostState::new_claimed_if_default(pda_account, Claim::Pda(pda_seed)); - let counterparty_post = AccountPostState::new(counterparty_account); + // Chain to authenticated_transfer with pda_seeds to authorize the PDA. + // The circuit's resolve_authorization_and_record_bindings establishes the + // mask-3 (seed, npk) binding when pda_seeds match the private PDA derivation. + let mut auth_pda_pre = pda_pre; + auth_pda_pre.is_authorized = true; + let auth_call = + ChainedCall::new(auth_transfer_id, vec![auth_pda_pre, recipient_pre], &amount) + .with_pda_seeds(vec![pda_seed]); ProgramOutput::new( self_program_id, caller_program_id, instruction_words, pre_states, - vec![pda_post, counterparty_post], + vec![pda_post, recipient_post], ) + .with_chained_calls(vec![auth_call]) .write(); } else { - // Spend: decrease PDA balance (owned by this program), increase counterparty. - // Chain to noop with pda_seeds to establish the mask-3 binding for the - // existing PDA. The noop's pre_states must match our post_states. - // Authorization is enforced by the circuit's binding check, not here. + // Init: initialize the PDA under authenticated_transfer's ownership. + let Ok([pda_pre]) = <[_; 1]>::try_from(pre_states.clone()) else { + panic!("expected exactly 1 pre_state for init: [pda]"); + }; - let mut pda_account = pda_pre.account.clone(); - let mut counterparty_account = counterparty_pre.account.clone(); + let pda_post = AccountPostState::new(pda_pre.account.clone()); - pda_account.balance = pda_account - .balance - .checked_sub(amount) - .expect("PDA has insufficient balance"); - counterparty_account.balance = counterparty_account - .balance - .checked_add(amount) - .expect("Counterparty balance overflow"); - - let pda_post = AccountPostState::new(pda_account.clone()); - let counterparty_post = AccountPostState::new(counterparty_account.clone()); - - // Chain to noop solely to establish the mask-3 binding via pda_seeds. - let mut noop_pda_pre = pda_pre; - noop_pda_pre.account = pda_account; - noop_pda_pre.is_authorized = true; - - let mut noop_counterparty_pre = counterparty_pre; - noop_counterparty_pre.account = counterparty_account; - - let noop_call = ChainedCall::new(noop_id, vec![noop_pda_pre, noop_counterparty_pre], &()) + // Chain to authenticated_transfer with instruction=0 (init path) and pda_seeds + // to authorize the PDA. authenticated_transfer will claim it with Claim::Authorized. + let mut auth_pda_pre = pda_pre; + auth_pda_pre.is_authorized = true; + let auth_call = ChainedCall::new(auth_transfer_id, vec![auth_pda_pre], &0_u128) .with_pda_seeds(vec![pda_seed]); ProgramOutput::new( @@ -110,9 +89,9 @@ fn main() { caller_program_id, instruction_words, pre_states, - vec![pda_post, counterparty_post], + vec![pda_post], ) - .with_chained_calls(vec![noop_call]) + .with_chained_calls(vec![auth_call]) .write(); } }