From 253e6fa018799469dbace4234afac44f531cee8c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marta=20Bell=C3=A9s?= <77489280+marta-belles@users.noreply.github.com> Date: Mon, 16 Sep 2024 16:31:10 +0200 Subject: [PATCH] minor fix in plonk specs (#838) --- docs/dusk-plonk-specs.pdf | Bin 273155 -> 273133 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/docs/dusk-plonk-specs.pdf b/docs/dusk-plonk-specs.pdf index 378d592ea157b3e5a937bb57d94745e0369497ad..4c0c154c752922d6c4130682f83522af7cc2e5ee 100644 GIT binary patch delta 23382 zcmZ6SQ*b2=u&ra;wr$(CZQI_ly<^*%*qGS1oyo-3ME8FYz^gl z6(w00@RtS@b(s0Sv;)f#u2p0a49aceCd7WR9Yx=bl6U*_W6p)9;TliYWPl>dc~4*t zf!62>&gion?QR}k6^1(du^(lR#oVKb_t&>B>onu5B+zbX_b zLw4~mMVdWT9YZ|30*<`c_Ty8v5Mku^GP35bi&12MO}gXMjSt_5`4v6o6z|M#^7SxQ z((`wi*80v8y;TCJV9c}f5XT>?ezPfNnCQ1;X}0rR$R~c$o5aIxpj$|<*CUatBqJm= z0G5b)23~qQ_mKlxTCE@6J3Cns-g(7WedwCz^Z%#GQ2l9m*ceCtt9?XMpZz4 zOB7+&18Dx~vnPrHmg~*4rRG*mo8}p@aA2WUrH6x@UmB~24>d4z$2M!eF|!GtIGuea z)P}7*h(Xs^uRW*ej>whj>Xf6@mX}=&GF;+jB0Us>`6()M#u;z5 zC(3w=h3;0``bgcIh@4CQ9CAl+q%dW!dV-%l3*=I>OogohdtZypZ1`{rI}p5Xy?5`> zz{ekA1uwCSUgp5C;IC+R$%syOKV|Xi`GpM4Ryb5$6T+H^%Y||wAjxK+2Oqxz(3||E zDA3i!cbb0g&$a1+G>##neIJlqpiL}P^_Xd_gD@+Uh7(eVYu6xifD#CM>B2o~#qG)b zwNEO?41uS%@yuc0^SevMHU2Ad$V6+o%L?Hu*3Ind_LJBXZcBWBkF)_;F}=)VQZQi8 zPOw2f2|!@?ql3f%eGCrd1yYs+;Kza{@YMwzF5hm?QU0+YA7{de^^zlqNb)WO#BXa* zQV?Q2$Y5yy8wgO>&=H=r&T)uJx!Zo!f%TZbbYz7{;dSxU4)`rDpCOr@N;@u>w?bpm#l%T~ggkE` zlR=dUt7vr1`dJ1mkK+QiMm1ws(xx!i@Y;WcDvsDD`z`bJyZhCuzPVu(IV~8NPzZm1 zZV;fC`m;T`_ec(yMq`Qr9Zm(#%j@MCP*nEqSBA|Se^^rkZWayBGpQB*ej)&W7%vNI zF~NZ>atv+kqXTG8zGj`Hg%TC(hbRC1*lsGpByO$vdb5@8_;2%(ot>kwZ>%@*6P)`4 zcV9iECtDddS;$)D)R>}|7=QvoE)4?0Xf->jrtwYL8NtR}A)Hx434A`In_Qc5~5KeD)JVc({W=wc4V)4osDqvM;9_n;YsHs8l9G8P?rwg#E5rBv1fZ z`92RbGGo9>YK)7Q?(S8rZ=q;fSvy%T$U6$|gE7yDqExPYUu>(w zE}o8hM|HxEfP{yJOpQ7?x=*S)QKOY%h7l=XTl7knIVLC$1{D;14+CYo34begHxXDx zqEJ0$QG%P+xouIRa~KLY=UIx)p{RtClMgt!43;_F@~5}JXg&*AOb7kF1(a5rt-(bq zO*-rat6RVn^rswDut&A4f5Y|~cCQGkkU7}*$4(&Nt;6S)S7^P~B=z!!| zB6y)gaAD!UGO46;7O}K|Be#$0CxGSmSx`hBbHe+if$#jmRhB^|6*GR}_+Ig*GzuU= zj&Dtke9!<=VeX(m7j3#Z5eMv&R z=5$+BN7>@@)9i)y=KSg~aK6G23{gpekeXRlqbG07~08cVIa zI6wEEE(;|G^p+{bBW{c7RZmkJg*;+Usuj5I)LE<-ym#Mff_{mLcwfxcO?h z-Jb-{ra?X4{ZhjV>6lipQ&Rjy_F6ArgIOcaKi$!92U?yJS>LSHF!pOjt28ho2zI0| zRhd#Ik|aE3c5P$|SFsc3y!`-u)a@>^F;d;&UF;%XE%%8TwVrHCO0vw=F|T<3>J|t# zHIlSkrOfn=cFQ);@~iY|xROlGYN&x>YmDck0FRE#DW@evK?^cM?X9M8cwxakje(5$ zY6l}}w@eZ5OB%!-b#rc@!Zs7yD8MKo9)WlMPGnd6vdzBXi_!I zK!5;DEw#Y2RznssXbT>gLm!{)m+KA&^bIpS^3-1Qf$3KAsO#Ob2zMTg=FIMRFoY-; z*j!BpS9(z%T9)BVarkxsYJaZMztGqIo}@#L+;&l6%f8y_nC;u{xr*D<$-T^@Sk)j; z8MjCU)19x9W%e9{gWmvBZIqad4_15Me4Q{5SIN-YlfVNc^{+MxP#N9S)pH$pyHtVP z0}CI#5R4osLGJ10HhZbQ1IaX##F*I+SBE@ZGYngk z1~1xLLogwnXK-9IZGACr!#7iLIu=3HH@ONpo_w}(@x&KcrBd!s-jFd6+s^jsSuU+77Z7TyW>?N-wSA2X{CYqLf^P{ zSug#%?iL=Z%(cwyDae~g{39I{;6({}-eL0TO4A{anFH9f6is}d7X0Wk)Z%vA(DYV3 zZe6<(9UPHRv;w!5-_X*yq!Tc~OWNX}u^$9qm;rZKZGJ>F@CPajV4zO$ zqk|?-zAu_>wQOH=ttQzbaD;GMNaY^tUp5S}aOSqAFzKbZo10+6(ky2!Nfno?WU_AdTE%bNQ@wrg|XAPab z*^_x>w#vpH52>wX%d(YN4lLP9R*j^Wt2f^- zk6M2=b;nw?{lNea3Km0hR{7K6%Lc-nw6@3ofpn1ptfq(68;5EA=L=8+hYh0A%s%l=?~$x5QJ zYt7iOm--m1(q!WPL12arCXF&+LF^_&!@v)7Ac3z!D!4rZENw_J;j6(9r>PRUO_rp5 zBLCtkHx7|-lX{9UE6s+$Y(!0qjg$@J0|Tl_@{Lv6R%l?M1WFU?u;_PghEULyi`s_@ z+hT1^L5D~%r^~0;^?S-ha=??14vVoVR9k(BfaQiryo5+Op4zx_w4Zy1~xmbhi^EHaJ&kT4wJkHO;)ej+#6a zXY5G4JVdmF+-S>rkY-~fcpc})wsAwov^EycQ^9B64C!f@*BYvlR?_(XV^c++{P#w7gzi}$wW6A6yG}6!E*G_fJI1^Wh8i z1*|Y|YeyE!SQ)ZFHXY&mmMc)$)k!{)aOND+@w3v!#(t7;73O~W@(kjY=O(v)aXva< zy8ot1J&6TQIkzg-)0Z63=_iKK;LZZo7_5H*2vHqedZpy=%v$YK&$fMd0LsS>1PPyDph{Z3`aje znQ0&{lq_arh-*zy#;O7KRh<$n-#pse(q_{oY*KPcDnNFIJp=aBe`B$9$(`^bG-i=h zV|UYF%>t#Gj-(1B5B<+T%p%vbJc{+HPu8F<)p)hYDq8}qRI2W_$cI7l6fIQ0{4h3+ zm6~jG(7Bu_0_~t7gcZdOSr+Xg9!LQo)ul95$jkqzFA~1PF{GR^^c@k>eYG}%CG+B) ziBsg5xw#2Rnzb@=8zkP^#xgJ#*Ko1W^ zkaF(fyHbC)5l4U&Nzxt%lt=;8FzOGeW}!OfAZ#uXOl_Nt4t;D<&{_^8J#rO*Wx7L7 zdITaW%a=Y)&ETb}UAOUNKb!~YF*#G$1vrPeF;54u5`PNMFo=-`!#9S@rDz4O&_t(C zg3v|HZb)?|21NY`u*l4#(qW%!m#B!jjKA)R91ey;`FHD$>t|aMa&= zKP3Os@0(LH-@7i$o+(6c`{!0H$?uTC`?+S{exu&f^%w5>mrN8Uc_8n_mgkU@+{Rh> zZm02*Psnw`ddD?yK=oPOHrEc&{#lmB&vCt^8$Qpq{QQA&J))|gc|R4fWV<7%%p7L&W3W`t^kw&C1Sf< zys?=2RloCMF;vvWkgJ+E%NO|1i6bu!f9~%M2*nMOjwaGwZa+WCE#ygr<*>lPR;`I` zHn7^=4ohY3dRLe=JHBe?*)J?#KtVe4^swT@Y{6c;khT0Sy8yc8=Bdba1|lbIMU!8EXzR=ROW4@^F{+9v z#hlUA_Y((&y)o3pO_$;44TjMA!Y4#Bt07$}d0hyyxHqiR>FC})bs_1+ueuViCAvIa z#IHIv3C#0CVBkU6|#50V3idvcwNhBfyWPfe;t57^Lwm4^_X z67~AYS7L5~HZ6$7bm}uQGT{r?bAh)UNvOLNK_@2B@wqe_+H7lxBV*O&HnxVf?Ql=_ zWbKO^KDJJG?B%Xg_OMl%ZCW>3sgiiW`+;@$X2;sg=!;VBKT7rC-Nx&7s=9DTVf+3H zOQ-UuS*a;C;4L~PK-}1YEKCbkkm~*im?*rdtu$Ijr!+j$&*fr(_+3mg3~DoldelbLYYC-dYIn5{CWJb(H?D zZ`@#Dhjm)$G6ZLJ&RS&Z#bV~ad1y2PHX+|&oF#ggJWRkSIU89Hnd3|}PE6TJX2Ly({J6C~WDr!18B^@)Hj z@pD`ka|0L#-Kq~)ZPKn0Dvg&H;72nqf=1Jas1e7?K38O>y( z*NoeL;0t|oWUFx+?S4CVb?eVKF`f$dE^cjSY)8?NP;R^AH{27?CId{ZT8;#GIX(Adm3w%n179geENOPn!9; z%$1qyU)M`NhkN+KFaS$65?}5IS75SKNtajUtqB!cuM%?uV(ms0Lg$t~@LcZ!^tYl+yn4*!5#UpaG z=?&e6hRjT4v1J4Gyz-#31dX7W4`H8!f zLRV{Voip<=7t=@<%Ls9gh+5Uupf7C{J^>NA<_N{kvxq85RYz_PNsp}Yq~z~FCU)NX zZ2iT9=3$eCOXp6|UBam^ zYc^VSGcyHz zeZ$K$VKat!_6t2Ktht-`j35BDh?KRHrTX>$B)2{sRK3x3Dd<-o!r!Sc71yal9}SrO zO!1lM;X@p=jbp1+ubZ>;9&HzX8|z>XSTud6e~iJs;W)uQu^&Y2SO*|DB=|64Jh<2I z{W-D0!K%P(97aI(((&0MTm2O)0tVN=6!PMbalIRKNGC5fDA&QFLk?urngnu5Q4*Mf&>!LsnR|~yY5|TmDMVHKE>;>n-$Hw zGSJRSSEIqS{*_^|D_Bx%D2C*{6>D2VPMGCrH5F9b=4?Qkpoe)6rsPnS`FwKCs8U!w zA$}3W62Dq!jB-bur;G>91nKgZ!j=aU4lCn$TmYAiB|zXm^UK(@ zEA80wuPBDg4$)*H{`qz1qWD7TRwQ&oFo|xxG=#Avt4tU;B8-EyQx#Qih3$qRZKE~< zs~j{NJ0f7a7mjdmtheH z^xTNF6xO2B?PIX8WfL6cbeW~gL;szc#3v+Rqysqi0t#CMvcu<^@beZA8V!3hAelv% zvWEvjGceJj=$r1*(OyTUl+3gc(M`Sy9;83+=7BSbi(n#pS?da$aOy7|2T#YT+PN%( zRES_4W46^C|L2FaO!6QnT5WLL!n17S9#Djw=HEF!gMo)!Awi7!zPQ{rD78%Vo2x7E2`%t_pCd#$g24lHT+_ij#? zHq*W?Vg+XW#H8@NhY9RvJNW2H{H!^A_$2+yWk1tJx$V_Ntd+MF=`o#zi9BaL^m!Lm zE_P8aAl$%Cd=fy*z@h_Zm+)j=ihKlpHuFD!JCr`>?*y6vQhHw5GMO;<6t+tCdK#OmO9=f)$69UU@THcH6EjHmqgrJ=9shx zX?_FDP1`sIC`tOZpcO=scIA*??7@M)#eHxRXXY9nkUUW9Vqd>R-oe1(KYf!y!tP#{ zM))?S>vaM7lW7aC3s1q1WCiE%C^F>sx?m|=&xg@tJ|^*ZIcaHqA=qy z9=s&-IYqL$kx3Zw+b*+PG*smv9`K`R$8VN0O;!RQua-_`KCs$x&d%4PM@`YLhda*b zg(ZkjysqCT6ykAF0sQciDpe$kt^pcUZ?vv9WIXh*%F03!dNj-%1 zOCSMPAD!n^DmP=BRqat!TJXIH&-P>rq+m%oa3LJ@GebSA=4&)*b~DD2(PJqq19l&u z(-P75S1+#ZMs*qQw-5afS1(>h{q`~wk>0t1@T&(u~Z zZRC%thsC}3S~*h{a7!uYZf)1L7Sw}`lXZ-lBuWSP2#+J@Y$Yx_-XPZx)uXgqri!?m zUS{(M)N|*5@_Ewv3a%T%8$vaW3tB84f%pV~onyTQjs0aV4FaVA(MJquLMJyNV+2fxY) zAYN@2X1wkXJ$Gd3?@n-zE@I1T<{F+NyfVG52$ZIB2ls?8>Z02<{7@R1mB9d4?TxE% zR{AD{zWU{T)z?^Adizt3Bs;HkC9qi)eS6#hWvh?vfmPFzd8J`tyA+r_k!?u}NfPHZT7u=w}3^MO9t5#pl}= z&h3je*lTh}?U59082Z$rD}QQFZ;o5x+35G3%MvVs@|efy`R*K%bmuk0~z zw7#5SrXx?K?~885k!#s!)v^SCS`&t@bG5{YvH8_$*G>X*^emfiOzxewBntRf9n`tTv8ko zn1b5!+7m7zC4WZfd?SqY0m?lOirj>R}_VZa^kp091xi(7CeXKYn0@U!YRm;Un^)LDLXsixM#{M3Y zyL7BNlMM7rgTXv1y=k)-m;0Ac9J?y|3uoY)_D{c?=JW9lq+H!Tem_@_a{IP&=og^S z$SB}_rzuq4tj=`wbhZE^bA5F6Z|?Jx6?;(N`%&nc7{Gs%@>TiHxu^L{P@KewMUKF; zTx1OusR8HafKqkx(e2sESFixaQR*Tl^K$x3EW){@v6e)x+wQAnbvV~Mm$z3udhue` zXXx6d-+;lnR@=(lNy>ZqIT{1owCT3 z2D4CP^gsaIM!lZ#8bw#Y5Jl)1gN{r z+J`uF%AhfM%Q>zspB_8(`Lqna07GSJLlLu$Pt#LIE_A9VEOL7upn1EE831R?&quD^ zx^)?=KZ0|&XDzdKhF@BnUYd#TlAlb@rBqrqS#i z5QV7b3T<|LSRSoL4mT`;xOZD1kU6KI(XEI_iAKMV+8dRm7D8IF6!<}JgRwiMV&FL% z`O%e{5-?HQL6kY1dbs;BlK~yAsx1%R@mi5AHTb-=!#t(Y8vI1PlEGRM@PwdW;8Z=N zYdHo1ql<5DLjS<}VS!`oD3%)V`!8Js1k<1rL|`Kl!2wD5%ca6NhjJpl)1i9^C(~sK z=P6v$B~NJ5li7#1Y5+h}o;lEXd20)(#Tz%xYFn~i7ng*OK?ddU_Y0_cVu)l-v_=~tcUYswF+87>F zVJpMkRte+e^LvYHG?xwkt;G(LAVxv7>GFvX2;l@Wk0%4W7nkoP7U6!hly+j`Qb%aL zAQh!V)|w{2lurwZ zMUp6@&eB1rLKLB#R*SWD7vba2@-WtnFic;SEPunK>L5`x%mbYDamsF1WiDNAq(RB@ z2fzWIuprPUB&DK8 z*(TH3a*qtrmF%c*b`Bj-pgq3K zU@z&*+vvQh#QuG@U$x^QOs&pm3q-cb&37S;{ph}Fwm+&H94(V&9rTCT^DB2ai`Fi0 zOb(>V<&Jb2=KokwEyPH#{l|);VD>hky2~*qbg;{``xlV;DhszCRU3`14-8>i*#vf% zIyQ#g*f4Ra;3s|SlVkitJ(h68EN4fc&Os%cu}C$U8XU;Gd)k$fSk?vOs`iUely1Do za1elR7v;&iXyJm61@u^4lx18NTyin4gSudy#k#Azcv4qI`7gwT?Z^m8BqWafjVW>| zd(^@K-vrP)-M^7_eB338Y0XCg;;X6RC0AS10-kj0R~SsPmB)@so-r}OX8CaTZKu#G z#o-ctI{$*4+}KR`!nx%`^5Rq7OoX|fnK#Z>K|oP;{=FhcoO-&K zSnfqX0WbL#DyAfH@lBpUlK@#vce7p=O>~kjOb#F$kjkM%(XJPZ468$lFuX2ibNweC zd>jtT`LugvqfbU7-|F$P8#RMQs@7720^vI4+1dO;%mJ%qSPqpC082VYWz;S%Fk0KS zfT`1>U8l?O{46+y^IK8pUo(a|nr9$0=ZVqW0fh>0Hk*gaAMOzVLP~SZZT&TlT$o7J zG!&q=Es$n1k&|QCc`nR=sW!J+6a|Di`F@qLOf#T$$Q;4i>@6jMtLn5a2c!Z@e<`9l!PLM$s|&TYaawL@+=R zfth}1UL@(_+rY;S4qqZb*!#zeTWr3(;Yebzo+(Dqzq8X%G0y&N9$N+4PwiWkDG)%z zBeCule$@Z=epG2UCzRpYk$s>2E6&16G4audDX-*^doIw9fYI67qj^DSv_8Gg&QQ4T zR>rZaayyemJq^!SG5?v*+Fr0)ZY8)o5I4FqfD9JP;9nc`r8UAAa5Gx{ep1j0kWwsv$CD zUZt41MxCmXo>00$MUsxvQWGCm+O6!4-0VSi=-sEAxb$rBs7@$BUKk}hyrh0jGw;9q zc`ScKq6ISB9oU%q#bZI^lqL11qns19SSNq(;QlvY%d^W+pMf2PV#n&;5W}7c!Es3I z8r%tq!%bPs9QsyVdO_X_Td~ei?ckCH>@kokuY;ZI3GOjEaXnsM=*DY4vyAgX~hxK55?1k$3`-(3aHiZJ zXe%SetEQK7@>wG_`fmB)^t8VEX6OEL_&H9^L;cVB?Bnk@_vdzdT~G)5h=dpm+lB>% zZCF)tObL_|tMq)_>E|CWc3yd0^U~8rxXE0MgP%`%qMHFttz$;IGYmd#HKLSsb!($B%cQ{ee3L z>K_&ZN$%UG0bbS4on-PUZ^JL@mGltQlWnX8L{O!4B0t*6I4@!fh>YL~soec49k4`g{~} zG^*syST28D0f=RIRqxA>YsMIe%r<|iv+HlPRL~I9im4hn(+jZGgw8&APpE$tDDTOg zFwui_*qWJQ5&WUy44#sffanqoa$1Q9c4sY^@N{8svq~u`|5Uh85d>OO60+m(w=;x! zq^a7=kuRUe8YqQ?&OOvuN*Mx3(NUE3s=}O80VGe#DKY}JS+pR8ng)i-?vf z6*>^jhGL36v79ov3{f9DmK6BoMcQ;wLq~}{c0?BNE4IJL8o?OXfE^WzgbR@PBvX?O zQeT;YfucPemdf-^WF#C0Mqum8gSm-o!Q|fQ{gg6&3fF(2hc4aWBtc>qk01OHKmG5tQv5y4!Lsp=Sb@}oAq}d0*X5H1!0;v55rKh*q*|viHCYT%C z9?~m2O;F8x0vCScd9W}-*>~^t%N>xw#V{!skXqZLPszYoY0}b4O$Tx+u`ctC-i+%n z0%CRdbbYqPo zP)o{x$~cGWEi-9a=Ckq3!xAzMM?yl5YT5B~bSe$*0|M|Q2>yyp5%D`0Rupre&z$28 z;`y@3ktXia2h$Cjq}2}u4Uw}ff$gYg`;Pj{dNl}j8E;z;1fJY$p2~)?j~8^(rW3f9 z1_*1Ffxqa6jVG!tFPpzITrsNA4RI=X6P3qp_&O+#fd@!OaI+YB4$P;*a&=brxTdbZ zz~6T#0_5@Nl~&h5`2}{_+}j9;S$Q~iHL2_F!HvK!7taQe;Obgtehlg$kJ;^{=r>lB zcP|!Y2vPA!Zl5;n(e)xpJNY z2{n6F!s1}eDv4IjDQ~x_1_O+K!cx@=(f!hkbXJ#YIx z0W^B(79Rz&+KzhleSyS7`98jksI2|7cD*{rbrsyXMY=Onrc*<-GPDjujZdBbP8C{G z(reaAN0(ynYI{2KHn0Ocx=e1?s2-*4+5eesD{849j8FE%2`qlz=?N=u@+Vnty}tv*yVl43Jdw z{U7f$G5`)=TMqj!ZC@~AYY0}Q*Ha^0lkEk=8%<94g;TR?5jPU{J4Fe0U+!92)C`P? ziN9veM#@aP*XLjwBg?=NR(?Q}e%l@-xlz|xPo`iHhKf-XZf#am{-?TU*@8^j1XtMv zQR`1gT8PI~E{k>g^=M4dl4>=_(l2EMOk8kGRsxO4ml!G1)51eiwNSx=SG(5kM#2+?dh24A%uQloDve}?(EA_U& zf|w1j8$lp@Nr$T?uNwbFU(1XF1$wuLj>Xk9`ym$v^kq?M5p+hF4`0>&VI(P1WUOlF zHHkUNx9j0Yi*{nGjE?qE6KOJSmgQ(dV1d!ku7BWn@yjRJ;?vsu{gR)w0)KW;RM0C3 z2JF!CwS`|fgJ~mLe`hHV$5<%fQ$ZU(*gp?Tm&7wIx{;qO=~J*5+Df&9-xB9L&P5K@S1~T zey|$Hk(M2zdqKAZseBtz9C{h40?S#!KCLWIsk@R$^i{#cxkfsfs)D3gM*c=E#pG-H zYiTX_Ei(sE-Gw9!w#3I6RDL+`T1DMupqNQe2ACZrBb9cRn3) zBW?J43R9DDp-^Cp8o;Kj9KH^oxUgvMse>b1e$h5h1uG_q+nwOEY8jo$(>`t41pNc-$jl*2eHEo-h$uZ_T zxt*6;GV43p&Bq+L7&o)Q0F#gzL|I@$eni>yjYlM8e|-ZK0+7Pds;3Ac%K@}khPqlI z>HM^dnvs~QMzEsOsfZ7)t4-$g>95;@?R9;eVZjwR?TAT+xb&f0q1f9VXS9wZyKzB! zD)>-TU_2d?Q)ax^85%0F5&wwyzx=Ios$Q=r%-g5R98ARgOSIT_M(Az);5OM8kxJqI zwf{QckaoUM+_Sd!OgjuT5{xFa{^9 zj)I;cbRT>AJwTr-V>P+%@eg+gv2}av7}wM{$b7&t6JR_}e%*>KcZT}cn}Z=Q%JeH0 zit4WqJK;T2FMPfU8T_7fTNmj_1E(ArF^xx9M1BydyAu}jhyRF_6C z0nr(hq}X$z>pHEiw0Ih!DUU!5E&0Q-MmP0kR64{{BXX0ha);Qc1j1lvjQpj7sx{9^ zTmhjled<^i-bz*4vE$+N=#)c#Y%6>23o(KWdrJIJyRWLDzLRzBXCQi{0#J0~l36i0 zHFoin_>i{(Kr;}!KUoXSN1XMr32QA3HE<&@VCpDwjfpegEnxm4C2h!-lUK|?`!GM? z+a;4|z+i3}Fm~RSDefzJC<#k5TT`c&esdCVL|#T#E)7;LK2{b!R#xDp)zSYUTh<)^ zhv3_A{U2gvGfBa1%5KTQ%FfGZ#>&pl$YE*4#>ivJW5LMH$!o@C&ifzbg1NHmHcrfU~H7D%uyCl9+F>k~1V$Dg4{d{DymHL9hRpB0|pQZ^Ah#f`l z%X1`?ETHC9af}tQNgAky;?dN&5B`!1aiAGwEeyOK>_u%NF;+5&$ zDra}@L)bX*6+v48;NO;T3mE)OX}Nv78_&8({$G)Uz&wjg)>2s&d_K!ufi$UhuSdfq zua}01D$aLL8P|N$!c`CtY3J+^r(iotAp1$ZCe`f8)Ib2CCB;8W_$5N2d66s^IS$a| z`0uEE&6A0STm~JnFa7KHS1!3-bNA;rHA7=5O0&`+>Zyb56YC0;%7h;MNOLXl3{!dK zQYq}kLzz6;Vl;ysSXP;=x}l0n5e-6%KGNjoF&vw?`d0+kZxpXSi<=WHgu=M#g=qm@ zQelB|5CG1|G7_PS_Gy3!`%#*?1Ogx|A5#6o`zswnWg;NMc8)l{jw6mRVW-gmt_Ukn zWH+rH>lnATy;Wh{of(85na5U>LQ#{c7F+de#t?e;tENF$EjYv_Z>Cu&>)E{Uf}%rN zCbf&1==w2$?-LfiK$-qXlxwOY@oKQY8D};MJ&UpY9RO+!1D@K!ti?Q#`3Okvr$LVn z`&9#~C{7OL3ENzTljsO|9P$*(o8O5NWi6Oxe>EKaej9rhWE!h}<@7KuH%Boip&Cj) z7~>S0uS8~FQRc;-!+wGlfWNPot$uTKh+Bf8j}@NFBiCguN$v7C`{+gROrg88+o4Mh z=|gLvcGhySpz-9=QB)?tDg~s@LDAPtpOLmu6P%Ft+^P3mXZa-7P=MWPkv9kRSzY5m z^Nx8M_9FQetTNP(DGf2uj$NQ#1b8S~YuZEo!G>@Ag+c{I1No=G`uVgB1r%u+PghZ= zla`@*(|TFs&aav-A{h;dxXJ;4Z0g>+_{Ahb*ZW^3SNj@YYd=+)Z45vrA7aKAP&_rBzca3koU}4Y+;PQrjUU-%w*( zaE*Q1I-`O4X2OJQ>xgIFh$T36p8nCnw?1SY>Nl)FhOKuEWxl;p;@`Xq zrl$eY>cHB|r6cV%+>N-fga88*HJ}*tUrY2LWRvhm51TWev2@Qt?{M{K?W=$84|rVV z?PD%u$bFHI56&F%10`FBb3gor%JzX%d5QDTlC=WI&~GU~Ky)^Cd-5O(hcqNiC|L>w`xr&Zr(~xkJ9t>%( zr0uP4Y$@YzlSJ7V4w8KhT8d1ne&DM6wocawu1WGUL?_;mcb#kJ$^(}HBM5xPba~8J z{Mc|jzA6MDL(v^ZEH~k_$w{hyc+uk25CBVp8O*^&BrR8cnuV)WG5j6~-u7k?Ces9p z(iYT!FP~_3Ps|7lPg1K&X!;ORjbz_rhuI>0-f~w){fu%4VQ1xElZ~g+GTY`+ZM#@s zVI1|*#7-r)>>8_uFSM%$GbL0j`|ZE-{dyP_zeEjK4wB$WgNBZ$|!8cek|`3d-Wljq0~{u!TNL29_R|7LjZJ2 zy}|?FV2xPxU?P**puNm%Ef-Qd@L-<8_?48*yTqogGz}hx?u)T5EE05(Z&dbBiWT9H zK(&b85;`Jy9>E%6{4o~aC?D>32J~_W0=eBu%ovE(Of`NOj~Pr-Ia0F;8hk}L=ab+C72p!)M9X}2YUwCs(@=0i> zxacuC5XY@5Ym?e0AJH4X?S6ko!mZyFGzwejDqZ`!@$;&xJ4&xTuRUt^xy&zsYR4F` zE)sG8_i33BK5VDtYi@f<#wRG?O0?84?>?0#G2}vg-_E#Guph72ao$xU{IZ9iNr(Zc z67<#+Qs;3Aidk-v4;Vjsg|IpLRI^qle|~FYIptjBAR|HA%apLFIN5rsy`fz=j1(kT>fjNJhvdy5Q14V5c)KpN*TSa-CTc$y`je zeR1|?nbM$XL)@0k%yO)G9*t3aU0?%L!(ZVy<&bd1$s3;^|ZeBeMZe%pygr2*$P|o=sIO` zxHY4>ew>hOJI_K!hKe@3PC)bw7=xnK&moDT^V?53VVBmh)Ts)MO+Bz)XC^g?yyH02 z5+6gcw&Z{_54Zd4FtnM|*4qJ+uVk^bph`RQ$X&-=#H2dXNMLIm@KzR-OVsQDC+{2W zEt6)kn@56{@{8$uw@HN^k+-Y?HA>JKIS22_bD61^cL*stLe-`mkYx%cyc=oBd?6jg zt#8Sm7|Xmyn;$G<@w)f!Ijf4Du+>lBR&8fY0njg$bGF92kcnl-1NQ)jhm13h*_#u^ zQnq_(pQtoZ7Ym5%qB&AI}>7XeEi?=K|oAkQ*NoFGbxvLhF(Aw;p z;hpft?_cbUl@Qtw!Rhxg;WxJmLky3|q2WW{7~(}>?r0QrUR7gGgL0*OOEW~c*;+c% zLEJT_jy0sJHHUwyJ=_6k4l7337MFnzc;Rvq+PA5@Dc`%TItohx0yI;d-&VMPdOD3M zUvK8eMrrlI0_djf%!IH=maZ#B>wP&0v#l+c`=JV55pa0uB*J^M?gA0*s zjw)g*2qZOsivNBHj6*fM?%2}3kW?vOCmx7BwI#1)EtZ05W_JaHBa#) z#gu)R-%ZVM$cL3(kR-8>SOXRqjs)M1nB10sR-ms+rH1t7LZ`M4^7(9d!}o3!VB1EE z-CAUxe6AS9@FxjOmq+$oy{#tZZf5>+by4!;{gJiDvuy&T2S&?9@ypxJ8+R@Sf9YkwuNm zE%ZlXC(+i~%@D_J2^ogOR>7P_A1tp?4YC0gEM11h9Cw-(ix3Iq<#ZhGJ5bx6D`U)m z!yW0EHSmIFRFQs!Tb!IV_U_h4H!V8(vKIcoLd~)%4hCA%xCM6!IuKlfTX1)m2|BpD z%OF956J*dZxCJM;OK^7$3{G%&?pw9HRrlLg*ZI&@{Rg_w6HkdrH+Cv{0jA2AIR3Y{ zSr!{rfotcR!X94fNZ8@yPArNKQZL~Oc#Wde9sIA}^4)Q~V#x7hgoWtZUiVjs7JMT0 zk)Yqu^_xhdr(_To-~PvSm!eVlDdbn8zFZaQ^X`7OvLXQX${lyfCom)ZURBKRI;Cns z{6y1VO%??@)5Jct*2Z(SArBkMxtMD`~%!TG) zvX}B$)C;L3N#0L9fLbq7YYH;+lQ;*5qJ>CQXRDV2z{7;?flo<;_FPmR-Rbt!i?zY}Cf=EksXY>|azW{iq zf*ay@cAGNVaCnx!g2hNTgGpB#Huw77_=C>H^x~&jHsLS)-M26N_N>khu18L;V6YO> z@#&%a3wyWNn4^tB`t~s!k~{aUY)5~d_A;%>g|*Gzbw{pY#_N|)$eAO%OQ5Gc()lht>T>38`Ao%_(=p za#()tf1kgq<0nG7$oi=}tIf6G_~C>6?c!Z#>(}R#EjEU6R1b5cN`;d=$-)wYC6c9L z%>#l%--O5&GvMk?eJd1o2~!Gv);?f)gE7xN3=Q)8!$*VHZu|%8Eb^8L2<;LAL3mq8 zR9guAe}~ZA7J`T^|Nr>>Q&BsYHHG@WudEMl)~K}4V#K`&O#}y?uz~L$P8ZPOxT<(| zJ9@uQnWo)djl(6D!n1-6vB*^TeAyGn$JOl>vSWk=Xc6hMYy~VuOhw!gsS(_GZ4n7v zFbsz+*ar&Fe4Xu7)~#+2H~Hf}0O>f1>r9B`a39Sl3k<9VnTrUpTf{thb$*guJAxYp z^@k4^#JJ=i^lg0D{@W}fZX@FKdi-7E$h-~&IaV{Sq+f2-$S1_UBwO~d zgc#RBCpa566+}m|K8q~^F3p`mc++i+4x}5seiOJ&`{EClu_#n>h$qSRjKG#K9k@^| z8deYv7u5=pqzvBhpU%*b5HYAmA33~+q&$4Yum`-YCI^iu_}jHRYI$m(Um%(kAzl+L z^133?1v)f&62LqDV>AB@ip{KniEdAyHiw4g!@}|{)DVc!4@d4V_m7g<+(^WX{K|w} z@=FH%ID#!Q^$r^AI2SEGhXyGw9xRONxL9VdfhvuZo+Y=3tfgsgH0);|rVS+v&A2Ok z3tR=75<9{j*er6X>=DJ<_n(_;#&%FonwcE#10fN=EihMy$UB4$Yco2x-6!_ArHo3& zL^bBvFlrr!|JOY=quDtGX{l;3=C2pd&HTS(E<{5GN zQw&7biwhViv+Hwyrc=|U`maEkJZC{<;mxw6Y$#R;tPvU_vM}Z^)|!RoKsqDpZjhIN z5|C0eh&o_Z$e!i{ZLP<=+`-<;gh$|FjNGJ5WDGe&Y(p_3BgEjO_7RRHm{;=(ytR|O zSC`-66j|7`^af7Zl0DY>8+@s_+eWzv90oI%uQVTlwA5`1 zFJb3O!v?aI*Tz<$fakL>21ez>chX0azyIiykWfEM0K&=P*EO<3fQ(A0uyr^>mCE^o z_D}@ELlC#fPwYsqe815dv$`^yoiJq6jrTUNuWJV>+i@5Xs8kp(7qIvdnpmqSIddj; zT-Z4{-@J8@u7pWtG%}AmRCH6H=p6JN)ktLL8@rx-!^lMoig|C>871LD<IcKI(r>Q~0WgWaqLSk=G*KMwS) z4X#4jV!@Q5E5|E{c-6tJwS@=oz`TA*UV!+?X0XxP>daejpTC*A+1ZMvO>22VqLZmA zi6S&hL+WQ2URgauDpq!g)PjDN1E|jn%8@$R^4@qo%vV;(7X-|Fd{z@3;Q_~pidg~! zgH#?;fJZwOdj8$A}?9FPeuF-BGHL?1>-V&XX|o1Hepd={_rZ?{E>lu`wU9leGg?j9@B;Xw|EIYQgAd6MQ8;a(T_FE z`6n&8W;~{{mV|dz#tucP4Y!V<1YwUpzlD!ZcrQTY*Ds9g{IZ&=Q)22iHhD2PSkx5( zw=RX|uUEZPxdNezgR?!GLEoc>mYek?-}#;T6rH%Ni+?LYoP`iDNP4q+WH6|Wm}8+5 z9cH}sH@-B+2spnSX*jXaHY7i9Z`r|7wLz7QWokz=Xh=Dy)E&^^A1m4R+>s*-^$H3b zb7>D&Ck}Rhr9hG=5!tD~Ixg~f!80mcx#cW@n{Ht2K5I5+!)Syr2QcqlZYST zuOUy9h}7WlArV44G-NqCJHGxR{{BC&*!)>zLCi_vxmALR_0t*w5?N-5qrA861Ln}* z*fZo>DraAT3JwtKi!wT5CM^|Z%L@e>l;TV*-saVYPqaK2aoU%H(Y@2vTFSF(>{A8~ zPG(qt_^FpFsuV*)mtZA_p3gmvRvT=*XU&J4a#%-+Fu(M4J|c> z3U+QP$x^67Bt+G#ns3|&R%6Sd&T80=w(^A)(A|4aK+V ze4qV3Ff&y@MhZrLpEW}P-2BLk`v_1mxDr~{Gn=>J94Q!dG%eoWukr?-~$bX3<-~ z#K>ym5!{$!d4!JWe`%o^ub%NMpf*N-&uD_A47%5U>Oo1_t?$xn@dTmA+qA(^sg(o_ z+iM0QB};o$N{(^SUbn=CJQ@HIW9T5!`C`_#lH0)rg}J`7jG-X?va~cQG`Y~Y+61C?avb$fPhMuFEB+OJV%R-)3+)`6M zt3ep+v;$ryl|DvojNf&&O>5-%tzj@S3D=&TLpEPpks!0v;&|l*M3q8nhJHcsOKvGw z`>lhSY*!ixOmde=fmRKr!n^wGxJipGlCPKTbtWmh>4b^Mde9=z=)@Krqq+zF{74{? zLMmx7XrIC;wniUTsi>XZ*!1OBHmHIXAx4QDzZP7I#F6B5r1NI6ANP?@SgY7+cuxze z&HxZ@?V$~^g&8=IxeYWj3UuV;B0-puz_*sDqeBw^;?ZPT~P1G;Ztpb4uT#jE49{kn~2G zA7E=V_j_-@$Rzx21$6P|Bg}7}2&T2bSEM22FICcZzR*#A*NT`LOY~8dVtNHCQxH*6 zA#GK}^!iwST>gbLdsT+TmM26R;^4h>KcepKN@CY+w5>e`P%%ylHA0+0-j9EZQtO@D z)+_q2v3_e6E6Ggmi!LN5iKlWvt>`+O2Zv6Tlu--5t3+@}BxU%TGq*nN8f%Q9k{zkA z{HxJIre&wKS}78#vcSMH{1=aDtd8FT3)h9>saehOLc9xyj%f3c}m~oyZ1aN@xz1o(j0(Rr~DJK}zCxbDH%24Z`TDL_hFTVW5>G={4573gN+N6gC1$r?*z!IzZ4utNsxbQ!rLQxetU1<2 zmOB$$sjJrnbERpuTei0%UT{Z0(u|pjrA^u_`h=1tyhw94(a2Jb(6ewA z4+^H>l5l7`KGktQ55821614-L;R#U>OsI|8Kj7>R2Hp8y^| zm1$3l@mYy@t{ynAasQkrXW4xjMK5U{*?A;A%0>~!^Ncz9%u5^#E~k)6*-(A~VI)dw zcbR@Mw9pXYF}~+!}0-ab5b)rFkEtS%Wx=v%rUoQL~~z8 zXfXC2R8&{w$FU%I5)^7Su6EdZP{^E>`vmU=kHbSZNDQHAjn~=U11y?z)L<$O%u22U z#i`B5<)-1K7EzUHW4>naLWY>lcks@2g{k6 z&Sg9c3A{U)E65;ma*~9!(TBwdC2u47;bI2l`kDMJVT$7zVVaurc#J>-Nqw_KG06u$ z;kp;oROX?4wI-n=#a<(*B67ji{WF<szv+wuY5h;Pe>P@y8g{bUlJ&(h=w_G4Ksc5tjl>CKOj9lj7uihN9q9mM+k?ltQ4G zig+4WYMKx9{+O!opi9OPQ|tOXtJ$+B$KPpF!A}n>;iXd{e4NiG1JT8~(Y_Rmyg$bV zDLVMqM&KXL7<-^LJy3wz%x8lM^kpo=F-NW!EzW6i_UBz-mf+GVUX|uTw+R+UNEJ9w z++zG)^a%^o(VefI1K$KYlBWmmU2ccm59_q?HYyX~5O)r<$KJpHw_vGxjaWbMB+w&F z9aObX68S#Mc<8ab&s7V7N$n-$=&?*Il?H(!mN z-}#t|%g%|3oq3FN$Zkbf?ziyMwRB)WS)ygLFG{tW+Z?G1sQu~m6NPwix|p;Z0uKDweS z19e6e#@Rj`f;w?2KRo9ovsgiIQ#jV9e5@CIGP1q-FGyv;r1Q9nvd4h$H4=B(;*$iU zRg_kT6O*ozlc~_J+%s_9NcG-BWqD8llBaP=FrQeJ&GojWp7dz2YMXO&WqD%4d3Wdi z*y|E%ROcV6=}tfYDynxaCLb5$^uZh}?g3T0oMxdh!Jl4$Cf%=cCpJU(!9t>&{}|AQ zTP$cobypARD#lGIntyB$o>M<~eT2*j@o8{-GatFhtt8%V(YT7axp37Sah@(>SBrd` z!%>-`ex{1EzDBM#GW&VuS=*6pcIhHl8hb7DI!e^rmDNF&7@4BIuDPS|hPCO1_kRY{ zW`_+#PnrKq-=uU|kV4*Rkx0>nKJ))4uFsz#G;~Ph|I13#A=&@0bn^rqQWUZ@kCddG zj1-R)54WI{oD8=dpDe$$pnxE+psb7(FOMvr7>(%vF9LxuAqjz%73MVwhb{x&eBRSEh@>X;cP)0#!_pFExgq+s0s@||!hhhp8;7(T zlZ6o04>l)G#58b^iHagq)QZ{QoT7(9B^23O3YY`7c5KJO5xV+iz!N2*{F}P- zl^m|$y%GdecUabBA$x}<;-0v#73Q~K)Whnhs+QZbK3wMmjl^7VPFTxBQHH;>das59 z4dA>qaQv8hqzo{X2Y#D05LB8cw~YBXwGzhEVx~(I`~ruhH9CmP0!Dxi5&Q-?6lMU& zu!&marat~>%YEXrwg<62auTK)BSa|idlmLX*24VV}Ewp_gTdgX&R?V1#s z?TC^ZpVT^Yt3ad744tlbtxxYP;=t6rgS5Z*sp2ka%r!QJ{0v=1sT=yU)T!fu;;SaD zh0^)dRHMXKancqIEER3DaVc!lq8=J#6lN|3T5QhmZJ)oaJq*4gnuuHdg{-n5(V+8v M#$aHORhPr~AN%cK1s~Mb;0ftjx-r6{O%* zqy#O%JrywW5aUBp8-^WBv)}>t z8Y$%9cpWanZ;az$P5vtPU{0wvZQ~z@pAE$!I2SU+l^c|A5*oQW2yuGnpoI%B}BTRa@Lg)i2(UZ(V+X17NG3?j!wX&Gi?&5B$C7s4Y}lq`e?$ zjRwXn%9%8xHPhKHY5tVOuQE(!&+nt4+IkdbFEy3TZ6P;Yg)6)^rTg#q_RGfZ-Gka(sswuSJ+HVa=VNBuX`iHDMp% zD2(4`<>QfY`jeeP_=Q(GZ3zvjsuzvbTq=$YGFB#juPZnX+YYT~D>D_nKSv!^q^uQD zP+sX0L&yjjk<|ZzA6JSbTaGqqIf%}6fmM09DRd^OOf3ie7hAv7>t7eQPrnnk+w{nb zG4o&1lD6kb%0!!bj1=ak_J@u0p;)Qg+cUVD4MXa7!cQm+x6TC2b2 zB08dL4$~`nPa=E{@p|gnbyh-1PyQmK6+dAUvl>NaK23r{iPnR+tp^l;X%2<2eY&-Y zh-M}FG2Y>_8%!giiH>G+L`jR7Kx=sGQ<*8jm!f(<)+pQ+>Lp94X?rUMmWmBP>*Xw zq-aH`pb*R!!%XIj!>AdSNSlliQ`LhmYnZN^0K|SM{Y2*bUsNw2q6ixn<=Ic+k@7bCEm$Gn#2Q;Xn{y!`JFu!V) zq!(B(Nibzl>%@ zAp^3!m+xIZ-wn-;f&k0YT8W^w=5coU#)aXh1H(It9jiHojhZ_a9(NFR%|=XvGBEC1 z>Vau%oi_-S`QqHpP8UgMm$77q>^p?_+=eXJ)9{03al&fb*K@0?BiD`>1Hgv$8_?gY zDg_7rnqln9eNy1DgnLsn;IE&jPr|J=n3?1XP%01>=JbVHP%6NUuARdc2hvZjK|wqR zOoOigi%=h(4G$dtX30Af9lRo^6Dw##4$sBZ&v#s!Z8VFSN?Zz8t`d>6?xiO$|LZos zfpGFw2!#Uz)=x3C%-@4y%`B#>$W@jOJOW=nBEi5-GC=W9-EEIm)%DRAtaMCrtN`ZX zQpQ^|(QkTFa5{i;ltLGUsXwWSQARskkNhmhfU<}2btk%M57Dyr-&K>E_iyB{Iek?w za#Tf#l5s^2jXB*x8f8DdKRHWJ+}O~8=dxTVa?Y02uRF`=T(`?cU)PmEN1d4kQ|Grk z;QZp}5lmKzg^8qDTA3kYkuI5+$GNVX7rAgf$w&s4$`r79N~*?Yb2612BExUr(Y|79y?^1IW7QQs=$puk9Z*s z=t-;(9;PK^B33NdU1g^N$)L4svzkzDJR{co25g(5wXkxA?YcV52tPn zRaGIgdP;g!5XM;1MA08}YzIvbrDo4I`ii3h)uu*xo{rv9Vehn0Wb!F zajyZ=Zhn5%*O;FrTV@xVOx0fl_x-$XHGKtFO0%32>vZN4Or%DNiqXX@8C%DCnDK?s z2M2Jkk7(m%6REx@|0cpD_5=)U!h)cf9!j7o;loEaP?mWX@kO1jBFUF1JQP?ds)(Q? z-%C)L10igZ5y+FEMDz(4CaBfW9TUTOp~#-8)#5$FSuu66{&g`dOzpYn2aD$ogBeVr zk)y~IiVT;dh(c#@+Sjd%392W7`dDhh0|V?qh|;X>J|zf^=dza3g82K9#b;-_vEqpn z4tcSPuL$Qoz$wiZVXa6Ns3nVROa1GCKdjBBtP#Q&EkJ06beqk!MP1GbQ?eLf3+GWH zbfZIXYvjK)r7fo|T{JsRRla}}jvo__7eM((mdG2PTZwA77rML%mf~5vkj6RUK?8vB zGS{~?y2V0hjW(WQL$UR;t+xaB35=ovk_dHd&N2m18d0FBz}`M!O@)jo`)0t(pud@r z1K3%uE>eJ$h>a54>^= z)n;k;(cUgwy3CZVky>WSZ}1z=H=Xw^u04bAS{lMF`Lr9$4V>k3uu}&z%dq{%(f`zw zg39O@-FTlf;af2V*Xiq4zY*(c(F!K*759B`X~^$E3eFJ~k~wW{^jdfv$^jjGYTyRz zfoiXv_bZ#rlQ)KDukI9Ep?Y%Vn8-Af3`7dKnNZMkNvH`kodeO5HDNDhN_R)|eL#)?U*wF1=@ z&9RO7?Rg{kY}TMW!Gc68wE+ac4Frj2&c1iZTNlVh33S0bb3#vrhY1-at=MfSiS{e& zaZa>Xbb(RJNRtI>Z75r(>N;&HJ*zdc%{u6-K%Q?gh5Ffn_G@*v$p@Fzuovwm_%iMH zQ%9vJt-kUn)&fbNAe}k)WbPC3xhyw2onp$p!T4@?y$@AIn9bbNqTAXe)JkJPi%HX7t@S16>}9KGjXj^i(`H?MqL`H;-H zow5KhAq)_PNwZ2C@{^Rm7bm#V?K3&|-=^E>-A_B;=L(HhS8gh+9UTN+-?c^@esyyQ zy|Z=5Cu_lE7UO99w*aIZgZX2aU&M|e$>!~Nt0^O6VBkXxX!|6@Kp*K9jrb6u$)sxO zv8XQb64rhy>6K2we_Zv*^!*f`4#d$y;GZeRSuCBykt-h2k6nUkX&e>wMggYe)4XxH zaecAdp-k}j?pTfJ&rfTd-%5bRuDc^z;r7_ds)u>MG<>q81wiW7D1n}Z!M5Iuy?1g~ zwb@DxOYFRsEu1exj4Vp*^2VfE?OZB#1R)diuH!{jzj`6I!90@qU%(!0)D{W1w{HGD zNk*5vm_~NKbO(}X)nee+(F0NsLtX`8u#`Ynnohd6>nP`M+~|UT{%5hK?YvHKww{C8#hgerFL$}TJvEz#T zY)SQ_-q;FOguz>vCZW^1)U}>gtMo(eZ0^*5PfWIdx2=MQZ#g|ffs|`(}!I=R~$56fFh*3+`s`g)tl#BP;E5|hYv z5Tbz6u4BwCPO~U2Mv|XGDC-cwevTt0LsF-C(xJ*SR<&3lniE*Sjjj6Iw>dLv~0NEKK^ee!d`)&i-2_D zU&n6gTh2EJp$*>~3@9SxZ0=jy6|qo3FIST(h5f(?A)fs{guoXKW#)0wTKHv==( z%>B<8%h8@i@J9F|2u));V>Y^LpK>AWL~(g@);3yo54B`*D7;^5i{k}DwHR=#)_XPMXus6AS}O;?K%Y`DkJl7KP9|@gZaV5C&_whYd_X*jjOJ`iJYC77 zKP4sLPghQE!KV#tLU_tBo&c0=!QqtNF6Fd{J5z5j-r>~Emn(mUT=Y2Jd!H|FPdk>v z+?bGO;z9}TPU?7A1xN@vy7uQDI`$An$WWD@q8W*NZm(>LXrnA9%OR>;iNvx}oRtRo zw1{;0GWIC*Mwv2;B7kQ;#PrOFYJ;z=7$b;U>137Aih?LY8y7Q}Dsrw)p^UTWYNCuA z8@-=J2Y+Ly<9_pyxoBLIJFFCcCa^|>-X=#_2J&d zwX?Ig(5ib)20$nGvxQu$mb>Chd~3Or4yLyIgexXVDJR948=!Kcc`9L&ZG?GbR8{X> z6Xt|(^u#gI{Fo|Jgs25t_)iy3#Axai=c1!#^<45N!it!msZ2MeEYmK(e>e%kRAIt4 zv#+N~JE(4XiY46TqfuYRP8})Z54wk2>c7KF#cduhdW*TW)A zt2AtYp;(LD8DN$*_AZ(AzA#^sq|vcD2|jtlX7F1zPVfxtP!Ai2W82s{u@NN?^(n>- zgc$LUcTA9Wc%z}QE0mf$$5IfS9cm>FQ8`*R>S=%Eg8H)zl0}K<-vKL%kqW_77C9*K zBrP4GPu+w`Y6$sL#svD}B-8K3&>$@3pe`)gHk4_O1pp0DZjxhB62H68VNW0|r(IwP zeb75RxXVISDAU>HI|IAm5o2Qmf-1wjBnujTm)$f1hs`BcPV`Y#mFkx+560^#$9Y!h zeQy&6mwKfd%Uf9q@Pf)A-5sEF0WNv~^-!@n40(S5ZQjiiNAa0k4LQ61BCuXN8pB2m zd3jFT3{X#lt7w$wkP;UGjlk?iyIk6SZDQACdeaB(gm+5J*tB2D$7v`~^_79XfU50G zP5^0}2%ct?9OB;JTxoogxKBf3Xa-wvyccM9k-Pb{36U_w3C+!GJsu3cuhue^+$)Dn zA@q(lX3gEn%jGqf%=)EJo$ht_#!cBH>&r;}2+%qw@$$GYU4I*a9}2=wo0c8y#gNhT zEQ=vRS+9|zs8Y`cwbI_ZD<;-!^Ulc;-??dKt;j=V|8Oo4BehlM`I@z9y;W)IIEQ(z zl?-Pm^<%%>bQ`pHUbh*v-!5a*H}pArmh+iahF{RJ!o8hn`5;5;Nirt2<-Eb5P{OYeQ@UrJg7#5l6k<7=7ep`n5swSCZGm(C~K>M=0 zH+?D^T=*4KHW`ogI%;@8wf;Nyht%N1VS=iCqF@JC;jFkDEz;^eh`B`&oZ11ddIa|0 z@_;<<3FvONEeEabfJsZ^rk+xBY;A@K1GH!iXtXuGoAN&E)NnU|P|$;poFwpA2I>Mi zk6!6*A!xL7p&le)*W6lX;P4|&G(Vv;G~dwUzJ2zXt(H|6CShEq#k{T{=ND~dya|<@(ljfcS|6`lL5EBRQV&sK-|t4|b0{hPZ$dfV?jNegG(2Y&GXlwLvk&<)aqoL!`rOyjO> z$^zhFN;PT$8#%J}V#S{}**yA>S;@^+p#_*te1wN1_+&ZH{h>q};3h@b28o~eB884L z-|Vl&SU$Odt!!#O*qL6fdU3|Y)a;D9+Of|Vaxbn(=_DzV7x8`Hx9HqxTYVXMkLn??}7X85xmtp((DAvfJqYNkbGA_7n@3#gGy@^LCBcDc`>78!LF_g(XJf<|Cf-)(?6{4Fc zW@SIm-}PN&fqI6RGPhC1tQm<^;2^!PxJzTd z0wOT9wvCTl!@mnZdcBoz?eE~?o44==ZCwhhTMF6Vzy2@RbpVIv2`UL`+N2!4m3*$Q z=~;>2_B{QXQNme&|1g>SU$0fL*S>?k=gG@g_W-OZC~=4^5F$F{5(<^&{yR;egOuJrwwD-XG=4{kVM`nYNhzp)-QdU$J0ekDBgX_ZtFHdB~Xg*kXpm2 zKqm3fwD*V)9l)_c(#iu_B4z2ha8G0lOECG*77}a@LC-&^&L90y7vTy)UCtIj z4Q6D-l`ftW$P)d}d*$cFp*O}bRzDcNM;bxU7V+vO$7VkF)?pUfk~t9 zJw=GIXiO?i5S)=nWU6wdrdwBcu7N0;RG^MaT5g(V4nkO0lp6jJL<0$)k(qOYaufoC z`W^ED05HuEY^nhiDM|k4D*T#7tX^4f;bLDClYU9A84oWjRK}XG*->j`R>O}vH~{HD zN?yU@p+U2T?ZDZ|^sU`#dk25@eVs`6FR`rF1(M!@bxN@T0450mF(JuzffBO{SKL}2N?YQz;;$dV0mCS@U&QxHNP3Qd%-1( z5PQ7HZQXz(m7W}b6~JYH(kwHb05>aw9d^P_`N9gwAuX~xrQ1xB!BXI?sL*C~APo&s zcYCkA*JKf_tta%g^U{x@6s`Q)zd11=mpIT z^nmutXHM4-%p}Nx1mVQ8`Q*or9%!JLyo*H-h+Hf>TVScVW`;xK_(;r{?>FhUji++# zNoI+F-Ngf&42BF$^+w<%l3Z^!qGAbJf#EqQ03mDVlDy7Seu^2XlZQEmQUGTU0^7)c z;V8dw&l6NDs=Z)qLF`n~7)XZL&m9#5SNTvzgl(Y=$;Pf1^w!HOaa$phC6yKuE1s|b zD8J0d-l(HN7sc_3RAT&rXK}X;K#{zYyrAIUnbja(C?E=#ePy*;>M$H`#+!-W$S?Vp zie<1^du`G>2ck|W5q^IK1fM9!VH5;Y%{xUW;d3r-ITeNHOSHfv>Jx*s&s)bs^+q`- zKtSRkt;cOE%B{*R)pscy)?pc^Aefp1a9X|4g?C50OD(qVP7i9yMUuuA>Zcf%!0sl<@FpT}Op5-XmvQKqVb zNOWwH0y}_MV#BsAoANcj{#e%k>URA}-xZ+XHbKd1-N3Q`I4DK#Sx*V1%yo!zwj0=lveWv_@r+t|pl94tA~9QZw}#b2{| zxh>WBze^rVlcL)Q64_5X=<;r=Tq}Hd_idHQrMN@@t$oYZ%>&7n$Ci^(7Onbuw^G#s zyyC6(&fMk&ZU=wlEB(R4a`utm*dvM_s1CQu4rQ}rnEvI`zAzv^9EY<4#jT$rifE?} z1zK=EeKwNT`|1YzFbWu?9wQO>!IQX}fcVF58#pHwyo)sCkc%mn6UjM6EXeftFZD=n ziHU1peZU2%Jd9tCApmm`$0<@u~e4z;K|c1;aHIJkxMN$H@V`$0W(vJ7UCdg;V^YiV3QNGHilhe0U2 zpA+jea>-2ep#D~{d8!Pf%rcza%ycV~&xOZHe$C-f_0qGo52Y7I-H+E|YCWx3gaY-s zzb(<@K!uR>B-l|x6(mTL`P^{3-~m@Ga@&h#NyVy?+nc;f=d-zpy3@4w++2dSnlz!VKNw@)RJ~@a?p>hk<_Hq4*BM6A zN4O?)Tjn0}c!8o?f-&E26*_Z@Zl2I>4B2>dq$OhXhIe@H#-+>r+~U}NC%W(UMzX*| zfOo#!cA&B*v?N&8Yjf@EKnjNr4}UEpKD~Q~f`Uz-!@0W+pu7IX4G|$pMkJ;N=K4RJ zNO6>(TZ4g5ih_OjJp&N5b8S8FHToxu&fc^F2MLH#ycc=BY?G1`~PI8Z!<+yQhy39Q(4_iVVT;MIEhr zs>2l`RfE67+s<|FUF%%%cb+~#-}imHGe*X^+Gyish5$W%ZDZv)Yv$VgkDuTBVUW5g zz-L43RpGu#XTzUQHX*o<+G!abOiQBuDB}QuABCKcaqUihZAsUXRY`$Y&wwA3q&s4; zHi+tC@_B9*(P7sP(=ik&`8msK_Qte9yVib6;Z((*!lUW)bL7%p$=(8B+m4SK#WZ5H zW!&|8f-^zFBSoEL49=*bNpK?^34~BdKF8dNzc72P&O0E9JnWctLc}a)Co12KnlR*! z>leB(g{35WllBE$CeGBQ^AJU&?Nl-(mgK0#+OjjP9{)7+ID@gJ07Fs(!(r;5Y9WrY z&Sp%5vhh;uNlN)TwPFlt)#9IRoqDePx^;5u`|Gfl^;oCediB|-eieRl{qrDI+|sqi zftZbI1%_k@)lyAnsKRW+B9dJ|{1$^{GO5;7k)J%{>=XVlC0G|b9drU8(V)r~(c=9b zH8seCEd;r&jbw+g3QXu2OT$neSR=+Y#Gx*_4oA1pzO(zLp5F}!jmb>yGqE;;Y9}IVhxESD2#@I7y3dq@Pnjj zq)Z54u2C@|K?DiKo)Yl{GJ^txUJ!m_(RvGHIk)L-4Thp$=hor3IDlNcj0e-;1r&ZS z8#5Lqh#?qd;(_ovw**}`^1CQCiyoApOTzpEBc-)i1X693Ecwd;S>9Bn^s1Jzo~opm z5@lfI3cCn69{H|rQ{CVS@LC>9z-Fc@SKS||4A;hi&e!4~CD0H*Y9*Jx*eTQtw7 zUznt<{kfck={=Xq56#viK#8M|M_L*~-lEgwaSRER5^F1IWDM$8{4-R>x?dj&&`+4!oHL9b{1o}<5M?DDqieHp|GG`=7W%vqCU58vH zY_F-M>Y-Y|OPj|;#8&;2-7nFYv=-^6i3mMs)#_#r!QIsgkGm|U(mUA-V2V5dm2gwx z`V0VQbh!>0^!=gsC9EasS&xMCESSwz#kUK_SC#lQ2JLt_?n4(Yz-N{x(@^3Xauj0~ z4oQ?nk>$qu%dPOrLBgIxX_#!Sxb6yut1vL?Gr$prP0gjH@Oa-I2^z!c1L5-p^Z3cel86={%Y1lzT z@*M~&t3Tpi^_Mj4md7ekP8>gtH;2@@GohvZnLWm{g%x#oO0f@HAr*`=Rq^dDTvYLm5~A(;|3lW}Eyj`9qZD{(KEAHMI-|%`_mIlOBqkJ=@ijfNOXjhG+%MNRs*r%a0O{ zU?MX{$SjfHf53O#HlyPBg#BHIamc_gskr*4?Rmh2X1}^jMDpwXN1q*^ZO>4A>HN{C z*lnGP*Y86kD>j*WL+Ok}i2nf6?-C9Fh>!O5qLHIMug{|MCb>WVu6nZ`k?LVCY-i$~ zJ?L_Y?Kt3ls&Z*>#+{p%`bFq4Yn^ubd+#MmD=K&p3KdhaKW6Y;xy`Ek`o`jC%} zAUReY(1)MB72PUA3K7er`36@NYN^LQ27l`qbNGsLKMKWPFw6xVoCJgaCF(&Z)-wCR zC*^fPT#$YmTfr|*bOdl6gchfLl4bZX&f}Rm4SvE&QRNXwo@D@Pt5A0V#(z(?u}OTl z>4@dmKq|EPcIh2jqpu#dV%*-D#PtS~evJIKzUzAn3TC?{x`h%|H+WvmBSVn%I|KU@axP#ji;}GHrjuS(hbw6M+5hofPuc= z{;(M0OVX}vXT|^^qLd~U*+`}3jh_wF6G8b5aAkxZZm#toB^i{T5yD57xM zNAURS(w?@uW{&C1Vq(+UET~tCCX74VojmL{rmj~XdHUQnn)WcJ-d%Z{Vt}?9zc321 z1{W98diE{W#P3Ck0Y&vTLCByW%0XnwwHtoB(fu5Pyb#ad0tNa%CGb)v)GhM6QmYzHg|f5YSKqKvSB_R#u8T#Y~b%z#&`$ zf5%pDin#3`A?Hf&|D52Ph~30kC+5u)^^G~Zs?RXsO(9l7>sZsK%>&hN*E(+kmtnHgBSi~?DMRg@$g|WK{)k}@=i3G zZDcaj3R)Tw09px_6fsSX^nl7WMHB~O zIc4xEB2>^QT`yN@GeHg9#8+9+X`n8+4^VU>u|J$>0I4D#pd%A3EO$u)R3@f!PKaqM zvzK5{2-tQx8F~STQM9x~TY^_rFn)e00c`&Di3g`=wtFLsipT-T@ogqVLJc8s5QvbW z@Th@s>wbw9lz@@k#}J$1RtHKqk$ts(Bu_OCu!yc#yNKeHAYy9p`f*tf^h=6&F-zT$ zCR!gYz&bxToRsin)2Rs1hT+_&UZSD~%s(z#kLRzFCVIxfE-)s-6Gb}LU63yvaVWDw zxQBT|Dp7PxQcqgSUCTEIP%fyX6zv`;T!&0db34Ul_v`RYnFV>Dn6iKnP^}o2bi`m7 zSfP?i@Osh7S{Pa47?)?)AL=!r|Fq||EQOaKKzy2qg=sVJbAo~X87U3#2zWFS?TgT_ z_56Sc0iy8=|lBBEGBOJF*mZG>YQMY6;3o;-&~m6&2Pgp+L3>IlIXUkm`Dn#Bsp+c-zIp6Haw?={|G?}whs9K=oy zpltoY(!LSaLjrsaqxo%V1UpY;Y-DIyA8z`~yp_^Y~`jfr!cg_J>;gP{JE^In%v@ z<|<`FOZwarn}d#us#STbV89LL=X8k(a3~0={Icxz$p+seWg))?wK`s;1mkqA52^|c zQDh7Lf=UpWh_RnLIZeAO)9CX&F|^4KdP^E#N27p~&HXYgS8*JHd-B;pf?v;w!|R@s znM=@xY2=Woj9hD^?U}-0a@N3(jd+iL(;fIw3F@CFTR*_J6Pw)KY7nvJrn{&KaH{M@ zSU$`jOT}RS2WBq`#IauX5ue0Zw`|CUaldC9Y%)U_8e7! zyma3UP=73z*v;x;gBGplWtVc$kz|p6Cab7}GiXr?k&7)1Ak2HC33K7mhO{W6;IB05 znhgp;(S9rEp>HW8k0r1?Td6PuNED~R8>Rz?+%uCN_a=ur=mw;CK|QCkd&lF@sJe^~tC6c;UCo*ox9SJn(W|!{~!qH1VNYv2 z?bdWpARfqfcc(>Q?U}RdS2JoXZOP5knV&G7%u-8I+YZ+MYyWtcZAwh7TrC<|jJmJt zYR^pWV!{PvoxrTtb#!GjJZ{}a*1beFe81Ukt$7~#&y+=9_o14 z5}2hJc5V<~`CE9FIYtDm2_u{9_qvpk_+$CFXt~PaT=xjZKMQ4?eLK~|(%)JjcB{tj zGH*s3CFo4VdM_u+>eW^ym4-Gxe(v0;uTZ;va{;0{{FEHc{0E>^t&KSlp;7xlU>Z*d zp2BG~N@H$I`KyXg&4xnV2v6MzdDBN~MwIi&F|B3h<3v*Ks!9{ve1$3^HYz9v2bo&n zSEwZUZs8e`Vi@oEoX95$kmeC1U=9P?B847I?>%!P@_XW$Wq|DgkdDywD5a z%UDSd-KZ)xRWZl6+Wxz0N)rWz+J`Hi2vZ5|-d*?EMtL3ALT)ptM|a&GoMV5oFc^oJ z*f9;M;z1dj^NdVl)nw4Mp-S(qFmlD$N*I7>;@NV}hYqNEb%l*DTlEpqv80*w$nQLZ zxhPOAh|&o41ytS?a7Ev63vKM$ZW-7YLY|$WPpj5P0s}4%!BR25Q`WE;U zp=pIBF0N`IChb<<<>7!>52k=>$`w9cp7la7l_b1iK3Q=s#8{z7`__Sb&?_rPQ9XMn z7cWPU)DUWoAXFTBa3V8+)D=WT3bX#8WdHT$9>4n)_a@9{X7n5PIZ39FGQb}>=xGL}k z-DdRfs>Tz^$qEfJ(09m)1wAvq%IG*88d!744g|uHN31^XiiP;Ji^vTChj;!Xk~9B! zUpE8okqqv2Ka0IVE~eNK2GrX2m*UxL)RtQZ{v0px0}>~^NxBIViuE%Ln8D%7a7y@7 z;mYJa?v6JEitYP(gE|9ARk_E@R5_8n4zDi8}Bc4_*TJlHT#muuZyQke~cC#|8D_$4T`lh3&aq|d^oah%*jsF19hC_0Pe20Ernu`Vr1O@E`O!WTii8KFRTBI2}*;V)Z&CXZ`eN97bqd-6FUi;Jo z;Bc}fW18YAl9pfR6Vh0%8(K8ws&_MZ}(h0j>)~jFv@v^Th@$-Ob%|R z1#{aAUHcF=>{V(x!s>>nly(9ZoxCu83QT*Ok%5kIEfmQmsIh@i&~qSul%#;e8fL>=MXW5)L90*2MpZvq91 z%0DjnUIqA9CI85mOgIHNv|EvEYP3%@)(7+u3TjcmVvu3;!o|vebIr0~-a@rhOBE zHwzcuhmC-}?Q?#x%gG4!741_j!6vr(mw*{XYQiV@A=*HnC={Ke=ThSG*Se3kV*BXh zzZZ{I_+NW%1&x_9K+8*CyO+~*3kTo-oHzgMZ`<12JFa@9db7=5qkrZ&_j>!$mkf5U z4?hj=_o5na&iqHQu8?EkIO3RP6N?+m$^$*7nM)JK)b8YHnB?^_jxL-NUsXmmS@d?} z!a!env-^EM$CIrDN@%FX?cEdM;V6<#PHQn7FwMI~1I+ybKc9x*Xv>Mc&t-N8d zL-Emtf}j#ugz#u3I9*+nmd^#Ty=QQ0aFp3W0?7=TUMS{K#boEv2LPb-Ov9mC$Y0k` zDK8R?CBQrY>CmDN_W5`axqiXaw^?6?$()Gd9-Sv#*um=+;yrapI1{5sYpfBfVKBw zJyt5fl|xfW4}ihqGblvR2rJOC7Z-U}E=?kTDY{y>R*io|G}c}ltsykmlv}d0F7=n( z%)qvshfr@xYb7)AeFUVMHY5^QILx!ru@)cvL*{s!Vz ztDp=k5fL5;CwXN+eh{QN;LApD*|s;zyGbilBiiTni9-jDF4uqh&K+zt*qE1qVe}m) zV~cSQ%&pwcu}ys;-ROdq0_VVh6u>_`4Ld4{i)8+62v=R%TuWpkN?c&Nea+-!9`4#S zl+7QMT9mfXYlqFE28Di=COxPU?vQPuC`!K6HD50%T<;e}`Z;E2w*y;Lr^hr_EQ*uh zP>GgAi@G;;Sz=eMdkDug?hT>~f8evqrEBelS&I<>K6SDvY9fAQG+ILi0+=f01}m6Z zebnSET0O9Ae5vgNOMnr?!Hp*^S+<^rqii}jYzWl$traR>7u3kQ>uflt!uVZCst0Ps zS%Ib?{Cip7TBXkXnamHX;H``ZJeP0oo}XC(%)X^7lb(sOWBsAlPWZ=!gblyUvgKrn zJ~aQjDD${a;s!u?J4WTl0k|nkc^bFkw^U-o{MGmu81=(|_e(v{spKjhE3Vu5jV7{w zOD4=m#<4)$@F09he-?kiKW-r>m^TCV!Qt?WWn6nzl8raKvqq0J_2?OM>2a#ns^`bV z4RVUowF>A@xMbq%wtZ-6CpE}I5l2p=vxm8rMcm|L$}vrbjIcFJ0zkI?K!Hf~e(ZOW zw=`|gwO@b&DBcSZkvmYus_;v61r;wGjPTjvpjN5nVK}3Vn9iiY7n5?Wu=bDZZw>KY z=c!jG?%R0(BA8++kLt1r%MHVqTQv!vmfWFkEWgOKD9rMEfx}Zn!a)J?giTVbZ$cJ(Yx! z%UF&jvbyqPZDp&NMm9n=p2cS?j8SvfEwk1&Q`X-$S{VvojpD#_#;%7FOh%^p1+Q$| zx5{IG%_)+eO2M-g-y9Y7TZSH+k}nCYH=H*KIM$LcA2J*P06kFfAlmzMb`*pv?vvP( zn&|U?Z^K@aef)FODk#uHe#2X>jz0dZ);p!?l|Njb4!Z7&Uj+!;R_~Gr{U_w|j0_Ka z(R-} z5=ZEOs(?C4OyE=C07u4f_8|6T3Ng=0rNP+_i{+FM0h>KYd}zr+h(d~k2}2c9x9Sxo z<$AIFX-^b<#NYz(h84_H->jO2M^$*QBp^>an4Fptz%tE)W#Aa;440Px!q8HDn%FTu zc3sRwQ24RJOJpB|pL_GauIAU^ukaaDlx(yqEdetwExU9!=SCDKin!+QRb4|WEHa&N z*?QP7bfSgJYb3UYw$f{V?n;;;oD-93I>IIYcP!YH_=mJdW_u*oEAD%@b@%w_k{7xX zHTWbxz{KFBAzHc%*(}!V_<0-(nNX@+FwTdNsx*EaZ{DUmhn6g}PIs9tb*FOH_ruic zJzuE8%0<62Dlg&UyRtKGF0t~G1$#_sKngS+R5@J!|}-bIbwhC)Up9H9zuP0|ea`-#d_h98EkBfE;*-z=onJ&)3p?0sp11{VJG z`BX;NBSJ9f&~NH6LGV*DN!4qm*qxwMakt_OP!^V&`nWH9)uByQkwVp>8JCMwy7lrN z0K@p|=QAR_7iqrQF&9sM8pESWvU2L?9JJ_3Q%36x5$rlYC zrvw-QB_1n@Zcy#t9r@5O)8f28v{hL$_@+n7ka+FOftyx}0&fHAz)G1_`zAZ^|zdGjxK%ITu(#v@`mE z393!5uPqw;$>|Qnb&1%JwiK|`mH{8Pd1t7eoeUJ~Xps~5#Pf@Foe+*B?!nT?o}=68 zgq)p>1v_UMced%KRT@{@Du35!I1!7SGNrTwFN@jshCVm2fR28)%m1R+slXv50I}yE z%^2|!V`EyhKh2Mo#Bf;^yO-^1sX8YJWkAl0YSp4~@u~TK@PxU_nk#<=Fk1ZDLC}?u zXQ2nmYUF~?t*;bN$NUL~|5qVr(G_D65xjgcY+3YhY(zXySuw-F!!40lN9l864~>CS5@dUyY)N+Po$^9o4HO+W1Ag`MHkf82>ho|a6ng5HD@weQ zizXV(0}+LMEfcp30WxE`iz}eUD_MPy4DjRqf!#F;@t!hs(~nqw>xV#CW{tVS#t)Yw zw26F1VUd;K*d}MVck)fIQ`(`K`n8g`R9cI*F%3NEe*+8!QNC7O&*G*^X6?TGtUD6y zXYZ~_l>%wh%Gr~$b0B^Bs<(Uhz?O}9^`O#;0K`RHUCHhXj_|qd*cbSPuY#A(E_}W5 zIS&LL$hC3yWIV{@#&CM3Y*M2S>=UTspL!aZbq_-%xW84NFZ{_XBl=~XZ~t9mlpY*Q z^xigsE%}eZSA0D|3c|$3^D_^q@M!JtC(Bo-1gMOGb`LCSl=f+iKPK_Xe4lc^s?mqD z4FJG(*6kxHi4M2(BGBjw*7c;Tz3wgVGfPV1$fM`SE`{n0)Qeli6XV=v0hUQKj$@~TMwOjHKk{}LHEYe zn=!rCLJ!x6n4bXaaJhmBcA~TKa{X@sdi25D$jDK77=yY03yyiSOHFg_k7EPX*&i>% zYY|54Un>*Tkz2BacaI$TCq`C^EiG9t)U-ls$qy2@I-y+4jfv(OMh2M^wO!^-&4A@f z%(0o?Jh;q4z23@s@sHSs%J4csvG)}RQtO#R?+y75HX_LPptza!_Vv3O0mL?U=ZAG_kU0|oD%$_cBbCna750Y9kNKeX5%{=Y(KEcORs%fbKe zBmrT2_Zj(yjce8$SF7T<$Ct&th7V}LU_=B`nsFjSNi^O99)@@JV)$U|bzt5V6T(4n`q*u_63h zW~7h?F=dzOU;jvCOi3bSE>caKRE9tfAd0nM-UaIi?=oT7%Dt|xf204TZj)f^=Pj}d zwh9i5I)wQk``H?wT*Og#gydLwel=za-z`%i7X1_MHb?>z@n|o9;fGdSPI4wV>v40veqH zaUTLo;OGaLF;dNc^2>0#!2Y5(aO%Sc1z1EsF`G7aw!-P)f7J?Rbpi=|HX}2=#-#*h z`-hWpVBe$bY%=6DlHDR)Kv|8b4R|j&$xLIlgr>R)3lLBp;Pi06`(F-Lq0&Z(^PgiO zBHqCNz?(<)M;AnAmd?Tuk933I0%$T)gyahe#&@LN<%QK?v23c8`K!W3dr;<@CEs9s zqIk*&n9Hltm1fA=G-;~SV2)1Xkswb_^63AQN84G3pNYGhMm_GrG$j&ey(f{=H48zD zcM0hB4|_*^qsGDTAsbfGORau{INn*G2_?EAuo5^?gEtGo=tNSJQM1FX0Z@3_WXHgq zJqEG%-I)JCRfs%+oy8?J5;MmIWi=oR+Y8y#)pi3dIT@Jg?Kh~_T?AD!%!@Bg`3)LE z6$w0lJ_rTu{%!8Ou>^blP>voeZfLamuIbQ!c6K%3x%w}FU%l-^SVV*Wzz4 zp2oy;TZeV)rMK2I+9F2mKma=8YN_$u$kLvR}FNh0^+%B;9iK;leGE`>_Rf@4 z7CM)2N96=JfwH>brQNnb`xDv1^v6e#p~Qq4an7MeQWui{3j6#LAe2>c?B>~gFYqgS zq9{9jV8fC}HWiON?|3KR${Tr~FKSJgNk=*rE(??!a z2zezGX0BheS^i`KKyhNA`PxP`lBZfIIqtpbpxU&89Gd_d*wmHzaiXHLX{YkYY^XBp z+D%vVFJxpxk)2?6XlUfpeF?Hz*WYsrg1M8&5j!K&1vZItPsPb?Rb9yeMRqWe70%D4 zs(>@1lGn&Z>~TGCMURbDb&absIpvqx8#?J$WSl7Qw);CEk<2T~CibYewsy%5iYDL#VM2#p7lz;V(0u09|o5I!9F94~JqbqD<9c9P6KaoUY-Ht1xm}c%d)a+ar2li`*ch6a#z4 zZDA$s$HRHaw~Ev%-L%%sq~@{8QKNcpLL-(_s~qE>(7|YNWo8=H4OFcqyx|aK@!Vt9 zF+Q#>K{et})~mp>_YE)eOu9tn=!-93tgFkzR&)C`$Z*rDu5V41w9dU*m$Gn_n4ni*w5-e5DOdq6BhD1wq{rl~Y zg>7j7CQ1XI;@0Io+F;MIaq?8?S?M-ybw*S_25nj8?YF)xocBUql!s$|>z+B(6j(Cz z$T=zl8Y|KKrfn$ai_zi%9kdRJWnJPKO8}}CQc2vZRnB}0cT2RmM4#ugv*4C8-tp=s zw&3w7+JQFDZgH1MX->ypaBC5B*~3xs!}iVR%fEY4p4G38+*Kwbi}}}#oTa*Ci>(}& z7bH*f9}YK)lm$w$`YY<8N7HNM z8OepQ;_{nw6pf^7hEu6YI3`r>QQ;rT*)0Dc^r*8=sV}d`xv%ZJyHzEm_>Y6wse~L> zkwb=L*}8#6?|-~Ch*h}M1X;d4K6I`O=R8u#DWl^ca`?-Xqj3-wOXPqM0WB($EUhhH zPXT{V{|hC5`iL(}Tu^(ZKy2-#+IR7EQ_wIk>?wt70z?JRo}xYhA_AJGmpjR#97U_b zjYqa=7>oG7Wyn-AeQK(Y$a4F&HEMvPwM+GET*^DvC&%q&cdb`2uuvBu;9H**!Jqyy zz$;51HQ?U0cj?zkC$?n}e;3p08CjYP5|l{+9Ddfj$V;!s<tDIb-SoUc=Bm3Lb8N`fQ%oGCkUnB|C7TntY`+B?0TbZ6q=Hv3lU}3I$NEQeQpEgCN^XO5P zjlpH)^}%kyCjnqfinTUeD>|iPd)=zPEwoC3Yb&rVscN^9kWvBa)%`5v^@u)-B~-pZ zC>r@JSPrG16UzIv^8g2Lh3wv$Cc&0KZXYO-XrZ*qv{SE6jcw`5$dnnZjh?HxvVnZ$ zPsD{g19Pj@RhdUzG)*v^UqDY$VavT#BJS)N^1#t!2O?sr-E5rrY)Ba`D8J%zQYqSt ztMB4*%?@C)Gq0+8)Zwc>(yN`K*G~(qVzG$#>Mhe{1Vz2q9Fj+4=I-16jVd7&{)gR* zNx@uPj4eKXJ>HAiEVz3$(WL&F9mA9fC?$MM$kE3n=P=aLIjsVYT<_=YytM74UdQkl zMDq@C00h=|&hepLiDhOls%SLJ^kqgDsmf$|q<>UNV##f}JfXa%%#s-9b;Y#ubSJsu zUAR36;;!FFnfdyNZsMVrS{a*nM_wwEJjPB>J|Gk9*HClOte44gHJrgWx!Jse>Oe)* zB=caV7dSGu?OD7rX1i$=DY7Uz&Q3Zh^`H27z;rRQL1wQ}-p18#qbWEw{WT>+S#>z= z&lYZSbz@1&P>-94xSP9rG2%F*JO#lLEn)Pq#_EEWEptR)gQr6j4Ggp_>n2e5Nk2uO zxx&KPe@%HD^H@_`F3;7F|KVdLh$hfrG7E7_epRbj|3k=Nou(+eJS0zHa{lu$oPbCf z&_qLJkL5IbWjt6Y@S!U+uQ@Kzrc6d127-vH#-QaWMCJT8Zy&ovwc;j-HjUl5bo#x+lW0@>Yz|Az=eAmfK8iu*s+ZJ6qF6*Q* zO{`^b=|UDp{=4+qqkzr(+ovEM)Jy9d0EUCrHDBEV$3*^>hK}#5TUlHiRTTuTl{X66*7lB_%A)z}aka6yI z*_0p|e#`1_ z8n-?@8XWqP1bj!#U*2ohh-z_c zgm6MGZlD>9+274yfA??j@fkJLM41DU@}rRc!I=}uaI=LA99xQ1ANFuzsy1_lXr`yZ zv6q~Bsn!OlU8o)CAR^GKtQGIS`^wg$*UR99+X*_xQt9Sq143kRXm)2 z6}7KAsr8l-t$?9vO0)M#EfI zj=T(lL02q&q*O4RFwa-wv)Rg`4kfsn1kKS)lPs4w*+ z!$hd-hTmJ5iq3aNoGDNxUL<7RoXbW8}PWIOnSqml5`zxbB<4W(2b z1sp_Xq=I7#*5P%W784&l-*23(80`o`z-|#2@BDp4!lSF6v4Fx{5QB=SwwzeBtg<&l zjC2{ftue;P1mpvWU^h1ffe0OTZmtABs$G7`M|>?W)+o}$15=z~&3d}hm>o7E)c(`p ztnZ@fc}t~KYQz_ubQ%t>XbCIwgvO%g6#G}hanfuQy+%g|bWuyFg5raZrYzE~D2e-5 z0t^nq+wGqQf`H$#iKZ8aplj#xMy&aVwO?HKZr$zQAjV4ju=CxcI;m{xB8_>*JyhWOAON9|T(A29|6BIB1{M&U8ZOT=~jG zp*wcMLfOjYiDgxy%4IXh73o?Bb25CDR&#CoS|fJaM$nFz!CxY&op=dvn1yfplbn|* zIN73rXLh&_sMnsJvO{6!^64GNHuYt`=#=#J(!ztD2-38ebuZ6R$DIOrCGK_q{{Bpp z-uKN00K_l+^>={0D9n1Iji1x1`6pteVtKuPgJL*i#$BDnmY>_wb5nn{wkb}zAfaPPG3 z{bE}WhMYNxR;}%REw3^GjvmV)cf?JfBBRa$(W(uYlg^TIP@L1d9rG`45aX`u``r z)#d|x_76h?lQ8wsvHVTp4wkUHmB6Bes+L=CW*G-?)60nS2}o=u9&+)%MD}IV{|B-7 z#VfS_`!fd>eLC7Xz{wItnQtSj#is+vgm5qUD{MtlBEepc4T+$OHC2C!i2#Yv&OExB z^v^Z#Ym@tIo|}zx0lUXt{bhlLCEQB&xenu)@qo%~QM1uE-Ulp9hcC@dAMuR;I|@4C z-WX@dys^&Ou0zx4?4$oZyP@sho$NViUxR9UAHkh189t@S2l;!X^0uB0B`1I#?5U!D zyn2pmjtXWzPrMFQKUkZZid+k&Zwt_pdauG~j=CZDPe$cNg!&#otc|Mt23mEy-m?>A z5))4i-pnAw_^A#MvmlEw%K+0}vqw;~r=N~{U$fhM?k@Hw$y@-(`!{jz2ak?-Xn|b%9DjPG35iRPI-3}|;mR?XMVz6V=b^-XW`&w?+lxuoT zB12AbyGE!&)%d?t<1;1v2g`azGYud$FF{}&lQsrHl+o^`el~K7@b&cZP3N4%Kk-aI zV}*;OcEfswRhpTR#~6*j^x>!XZ+|jbJ3{gq_Y7DPlV0RN{BXQmq6hU; zcFo!{oHqLR>)H^W&h)~=7$P#YAaaBKrxWjjI z!QD{hU{-u+vDl)M)KY9dD5$fqeX6#oqpsD>WsNSw&ott7@y@hXx5{M?;reHB{=RHr z- zp$TyEbAfrexcE{qX%Wf(ua<)r(eD2&H2z2MWFtv&NpMR^@$zuVN`k>$eB9C!oKmtp zTv9v`0T~`n0a;#AYT^IiNJ;=RA_N$7R#GP!xV&EF(HT%mn=YLvvFlePbuO&@=B(XL z2!lG$L2Vu0MOFnPUE-j|FJ|g4&Lb=LNz&qBgtOxXhy9SIqsLE>J$?{f^SKf_$a0@> z|L0rfKCUb~-ZwUhaMBeHcn-vqC2^+EzY7RO?2W@a;AX>C2${(V%pJ4LAp=q)_3%EJ z@h@&46_8Eq>!R?`u#b!V;aaQ1vTt2biBr(Xndm%tqRXgCMjnoh% zhx(;yOkK?oL(g>y+^|@d4!X`!G0a{1xX3!xWj+|minaXXp$6{QjD{cwHPV!Y4Szup z7V*n8ylD&f{l`$e3jd@UbSTh6He9bdC0;wNZw7J*R<0p!=!7mJJ5FM+) zvvlgmwS}MY`21=;4D-&_6`AN;1e}fvq#LXC1sSFizbLljwL8{&=mTxLY_M<+mCO~6 zzdQAX@Ry(o_Do#hEVEGJ5{F7xkk!wjdm3`d@l^Lu%-AJ?`R~Hb!`~}UrH5O&hx4CQ z3VYT`SFM^XChD&-%=jihhsf66d$L@5GCb%i#ImLle}ah=-X(EtDd