From 4455d4bb9dc704193f85f27052a21c6c9ff010ba Mon Sep 17 00:00:00 2001 From: Nils Date: Wed, 15 Jul 2026 12:26:22 +0200 Subject: [PATCH] ladder figure: base vs FF vs loops vs distill (fig_loop_vs_ff) Co-Authored-By: Claude Fable 5 --- results-loop/fig_loop_vs_ff.png | Bin 0 -> 106544 bytes scripts/fig_loop_vs_ff.py | 60 ++++++++++++++++++++++++++++++++ 2 files changed, 60 insertions(+) create mode 100644 results-loop/fig_loop_vs_ff.png create mode 100644 scripts/fig_loop_vs_ff.py diff --git a/results-loop/fig_loop_vs_ff.png b/results-loop/fig_loop_vs_ff.png new file mode 100644 index 0000000000000000000000000000000000000000..e4e5d2eb7328cb5df8c57d3e26d84e689a66d865 GIT binary patch literal 106544 zcmdqJc{rBq`#$;@5>g?e!4OhZrY0owl$0S;rA(=mAyY}_QlXM0L_~{xNpZ(o`{Epvo>_7JYy~nXyYsLG%&vQT5eO>2up67K3=-zp|4DJHR*|D=n{8E08>al8NghM0rX3GuMXL=i4^Dk*yLqXoJVCkEqTHr`ZMn>{ z%Fp`E9h;Pos^u!O#@_R@=Tc)-<{u_hic3p#lMi|wx?yiZVMn}e^w8HALF-g5w-x)+ z9ZE4iI606MZty(0Prf0R&Gn?L_ne(oX{;cYO8+uhP*KTe&z^nGKF!rr9eHtl+$FDb zgHB9Y#q~9rj-Be!@}7r=+_bcqd)`J}@tpqkvZ8{4x)~F5uBu1JqH`kU#`UDwqNGj|Ec0G0nyhSk z0Uzq>F2=_4{q^)I+uF68&&|wCj!A6YdNCzM*m@}O65-drpyQgCt68ZtIH zdv?bT`{q~Pax3&wf&v3eaC>aLylFr43knJ{yk^~920!h4Ft+6MX}vcM^$#1#$}q7EDy$eIZ1r9BgV6nD)oW1&sC9JWvZ-DOHKDU2bM(*45oD z!lJ2JcXx-~ApyJf0#oA7XU|q(edL=)xBpCe79_tsT7mD(S_H18UQ- zWgk9#xO(FT`Q4jQQ9)+jvz+2)g_rK#yBDG1ej|%TEzPXx#>K_U1!QDa89p+2=|e+j zZex=o@nd%Sx8p#)h}`*6daA9zKY(|)`>U=Zk4dRdsfQO+ZWF_C)e31BetiqT|8KH; z)0E>N={4i#cK*CYbFL%fvSk&SR+Tqz-t=J;R4;C7T0;#_{X9K0`@1#w+z(!?Z~M^D z4SZzr>(_fM^7ic6BkeZKKh&Iev7kWC&CTuph2KLN+1Z?9PY&lSYe+j%+MMTXT}#u3 z?=mU$kdZw%bnV@}T|xc${+9tOHb_{M(C6mnn*SbZ$@QGxaqaqb$rJC^YDY-WP#JC` zmU8anjMKlqtGKvqYs@~q;m+9H?1i;*Zme-}ac;kdc%tv!`;g~+!p+^iDr+60e$5VB z#hRGiAO5o5OMZ(>{HUtEy_kom=Z6Ox%liffM8A0-KQ6qCPyX7?o2&&FelO$PWTaYo zgGVpV$vUs#(X)sAe*A6UzC2}QVp76aR=<7Q-r0Ha2G1^0yH2ch#)%qUAt9mSw{Mqv zPK}F%PZ#B_ogeImBCgemzbP7W5UB9I!zn$Jiy+t?0t8S z@}XP2j9*k#OKyi%1q+snqfy7Tq90#rlJ6oSd-mJav?I@})^4($OR4?jS7mJMc*DZt zyOySA@z)m@M*2Po_Vx8`oN1xqu#@-R?0xWU)XvI6&*?MY8@F?FbKh6Fvg~AYZl?4y zjbPsL$+6y$urU8STMoxtRo*znBQD~a_SVN;LD0v&!FgYLaJeIo?l$lG*)N9YYz^*( zRtEEtkCLz~W2{d-Y~1rXYNvyQV~1*e+L1L6)UVejw@h+YO0%-DeJHw(ooe9swa8nX zd(|qYii!$lBcnSJh1PFY()gVD_3dDLeaZn^$^wtBW8~bAuS`=@Q+|<=kvH$%+mck| zHlj@NW8u^%CVOKSQBr36_wQFWFt}~Hi-bftmyfxf-Iizt@1xZ@Hg&@OlN93;F0suS z>61-65L}VY^K;V{R997VzU$+X8DU}J5=3H|#|!tL z>=a`#pTeC@ox|;=xS)z_tEBpCcVLB$&Nw@-c#~$3a*LnQ&)mU5{Bu*&67QLjEBDjW z#d*W;I8TmRzx?v$V459!fNF%aW4x&X#klpvJB~xoY(>uPe{*Mxe{}TPyk}+wZh96x z`T6-Je_6jdHu|WJ*V@w3@=_q@CefLh7cXA;PfWPwIUA*!iuCpOzwXM;$Y4GDy>UIo zD(ljx+vU7JR(^}gp+lnInz~+x8V(%ZqkC><+dZzk*Cs3V_4VnG961u_*ja&VmZBK3 zuft_N6`Xfg($LUw8|%4V@!j~uwW(jwWcbt&b*!>WYGQu78j zkN+C|xKDgY(!eN~pRoivXMIFO1mcH{gF`6PxNh>v)vPD@Tf^b8vCvJYU-~UlR#(6L zzR>eRp4AFr?e_z2Onw6m$M;pL-Wxoxm-cta7_8FRSE+taM&{g*Db3B+U{UROol{qT^`S9+w|qc?t^)Ns8EE``ITVf?GRM zY7tqG*L=LZ%lP>CCZ?w!DEl*OV)sUFJ#hxj9cf$gT}idsyk(2t^RsrSiL2=tSbXqS1{Q7~yj{`E zjBlrXb1_l}DR4+o@m{l2luvQ7A`75Oz)2C0LIx@Suj(JRf&pG)yV_jpG4c+3!i?LxA<7(BOpZ$LG&YjCh zsih4KT*r?ecbl1zd}h~l*?$RF{Hc$RCVHYAjtv~jI?0C2EqSVbqd|)PBApnym-()P zf~X~Gg}qNbyc4+wd52l!#@d&NlJbJP&w8z1zkZF9 zq#iDIMEB|Oeb@tn^76dM_~oRMyN{nl?$oH}Tf6p}q*VpKxcG9r#w;a8Me1vzXAsY> zv*vy8o4LTO2=r83>~dA)V_z@8#<$x@X`<>}}aG<33zhJ z#_7CxvLiz+yCUx1rKPY7mabT_qHl1pbG*N9V&HK)<>7W{dbImZ@_~mpnh(4h$TGVp zxf*B*4=B^ATg&BpBPWln3+o#ZvqBHw*-dGVv<6Y$YBrDawNA09sHjMq7gJqbUH7qf zPBx_RV5vraw|aL16ZCybU1Q%`xYXF#IC88$a=HJ(0yjy@9EB1IK}A!Ok*u{%UDCR3 z+c-|t#FW1Z5o~X7_kDiuhb5xbJ5Eap4;-xta`N2#Zcx!{ zpn8{Ug?gP#%A<}s8L`)cw5TGUC0e@#l!0q@*Cp*+K{1Z?yj@WzCnrY_EHN@Y^>c8^ z*RNkYes4Wq%}Ox>B;FC(JGGLQY7bVJyD77hhi41Puy^jW*d z-n(xfC&jogYKP(D*vY169+OUaohVkE+S=NecAXn~#k1@DXac3!*IHB*Vf5H&3yqJ& z`O#zR#Km=l=W#=q`ua|eOve|jYez*XaQ~?_BzNJ$1^klRuzB9p;^n-XDb`;4CPB(_gGBRtSd2L`I5`%JTl>M@~f0rX=r?axPjbZ^PME{9pZ(g9q9V z^xchqfD~cy*l6F7GXP%bnwr{#p$Qu)@olRVtdq1O1t``VdYCDFMJK4l^~F9)*?AI{iCS-Ve-eg*U};v4k&({G&VULG`KXNgIC4+Cz8n#il1f8 z4(+5LC`!txBa5h#2uZ6lmwi1KrE34GuCDG%8wBEJqZm=Slub+`swMlQ=f3B(mSuJD zild6&y%vz)FcyE5FUXxocZWCg8jXDw>Mb%ULu=R{WgT9%uhJLzZ*F$tGCdnxSnkZU zCcy?kdu6~4=LXtPPu+Zzf{3$Ih%}FORKR5S2Ryo&eR<^db)*Rr5cWiXD z0*@$~762CF-O2#P09Zd}X5GlILPqv(}< z_!&Fq2mAWk5ciZ%Z%u3`F#Z`Qr;_T(t?NQGk5z4zl=KY<*pr#{`}vQ;i`TDTuk9?F zn|f?I3-sXc>r1mgTH1HThW)R`Raog!HrkMtUcG)Da=x_taeATh$47?NRk!3NMP@gT zHqcOyjnglOgoIQ}qG(0BR&BSdsocDIv$?(fjr;fcP4k=?TS8>eX1QD595+0p$8Y63WU76e!@oo z+)P4!B+6r~)Rse8#nCd(XQsw&vh12x5^R0-YH@}|skyni4`9$bDJk|aQNxn{x`*Y? z@=5!rxAO?Pa`sAlo*GLRs?-$-F$cz#YEY!3qpObEx!l*+x1->d&b>+9i1flK=Aoe> zDH|FZn$H;)bh54kmw-&(tUdkl5hrP(kQV}M%6A_fFpV1ft#a>lkt{;tT}?;+vXfdZ zgR#QSw{R)R+a&pwR8`l%tEpLzAj);=XCECMEi=F9a$r9-{QGz1t@V4)jC81F*|)4V zPCx3OnVDI;Mu@NVe#kAco#TMTlKdg)5-dtDlT@JFSdrt8d68sj_YCeT@y2t z&QAbj`twp!QYe10%C7IrKl~%Bv4-9C8$`nyI^dYjx>Php)xup5Hp>R*0*Z0tDJvkz#Kmpy>~ z`s(fMW191h-g7hOO%5Jhw|h4a@HLkMgNHWiMfcSF%$Uy1NG0FK14%6IzlW}i8a^s+ zZeA-ZE1P@aw-|7?u)OcVwHz<<_&slB9)Ek6d+YIQwa#zfzNJxQQ9gF;Sh7KHrGrG* z22XaQNWZUH8>a3W|xz@8ETffbop{exS7|>iIL7s zw~-Fo-ul6Ybkgg0-!sw!7+_winY`6&GG&)|J&%I*wQJYf1_y(@=O!1Yn-x`HzgXDW zEp>2kK%-Io?%lG7I_L8Wcx8 zM+-s#X{m(@?>qBzz>qu#krjiZg(ec|%TEr;$~mIsy}lBa+?O3?%o0OsbF+x(YM<0&0oT~_3;Go2Mn z^ESL8Jx8AVz3AxSZ(p{`dC!>+*|fh27vE(2IKNl39}CscVBE|tzjf;hl;d(>jbN}o z?8}xdW3Jg`Rw(x=-7LMJPE@q-ExU+oh0Y2!)G}IHTGA?wJU&0x)3NFMb?@|F+W2oY`&w7V86igj+-uZE@W?C2Pt7_rK;zAAPkAN(3eVd5|-k%fh3 z+LzvY_b6XtmLt!`q1eUydXCK%EtOCD=5VpY{@k7;T*yj&b%~8u+d#9FYv%`-wU=IT zoc?7O*?l)*^-lY1@89dvGceF@EcCfF&esJdK&qc$UPK&cPeWZDns%4W7cz*B>uCNv z5p3KN<`h}w@ZQ?Qy&X&jvG4Sjs&nrl!%{Cq>`=;$E{xaKi=- z`^j5a<8}nM)8sCfJ|C>swY4(r{r&xxQ|Rf3i{@u_EO-WD#(sT2Y}=T{WMg9^)sF^^ zG#nrgV&u-pXXyZigM8BrDKhxttk^PAcS+dlC~N;Aym@X{jDokA^V3W`5KV1u4!ZF2 zO#6a-DEW9P9^kE*~6 z3*b-=X0jjVtn6Kl9_S$4y}dd^RyL;cctN{OZ%q z_^hjLvt9I^bWqirpC=^b_U&ru1cI8qTq~225CLY(5zef9e9O_sAwgG1NYaUkiD?ar zq&e!Jn6qg#at*8J-j9A2y+{*p4@bHu1Tncs&)a z&x_$|_^G$1fyQn|E_v4m5HZW};ig4iJXi{U;A8B%i$PrCC11YesWu+bZ&(EGa_SNj zHg;kH)`^y)@nPlS+Hg)zN=jdD=*N%rjB6mz7^zD;>>4-9eNEc8hQ?=j;NzyqalHrX zOrSV6^ZAe-u^o&uc#_(LJyMgwJiCN}`d)RJkqR}t>4}{mKjZHotz37v*$5m+8-EN8 zThjd|+s#2tvdhXf!k(*ro)`6%aPTc%wQI5=s<5{h~!8 zwvR!NfO$#J5=SJkqn>U-#d(!o^XAQ7kk#Q4=LSEeF1itihop<6uga z^W0oUv?uksyQ@f!0hkJxF-AKTvHQX^37c9W|4vsF@RuJx=%p1RNrMkr#v}XcmwSDTyT(;48Y(L_u3o!#`}N~~ z52J+peq*?pmED+n?H{(BU1?**kzD~-uhtLOD9l42p#>dA zTD}rFgpKoWTt z_ya4>M&dIxG_-aGprz!+h2QrdKMulXypNz{9$POYM5v!vRaJgDIXfR2r{4gRL+BSk zF{OL5u4M&;V1|^iKtOHpp=nDmnxmyWettAw^s5`8mV5U5>RY#NnFCSc`d+8n@c=`j zX%^)vRhXNgGcqzle;-vM8zb)-n2{lI?D+9`RQTk>Ib!2Ke{Q$ev49dm$|u75J_0`@ zGxO!o!3Kf={X4@VBLkd!->pL`M97`2PiB+ax;4{t`s{6Sv!m@%+XrGop^9Kl1wf*J z@=P|#6aW@ZF)GpueAH=t`+VH%h)pYil7@%R`1dYaw5T0>ojILN&88^d`5WnEKti87 zB}%VU%w^_5bNck4@^sQW>GFyS$SkbcryEwb7T!X_5IOx1XSewY0FE3Ic{{S{O--TU z(NX=0^ISh=AD%i``%85CMK;(KgVaNub8~ZtR;AA{Ki|RSs%`KhhO6?YUfrOg#hAty z>6O-m+to*pAboCVElM-!enOZfJbc)R)%AP)coQhi6sPB5A6$rN(bpRMKSVhDQ~Una z@Kg^~`k<%%&&!5~j{U!Wn&3**oBzB*J}ops|M`Xg)tmo_F9NmAe|IH^43fG~n8(+0%>v0zFasJiS+L7Y}A0L;NmoGxv&voh! ztQ~6tk=-*rm|k@I&bnE!PZuL2S2gB11e4IP_VS2%@IX*|-#)$UQ-(9YnjD;VPJMiv z&ZOq~dOjQdo*}K4wd*;1 zN-(ogZEVrAjZwz2r|0Dx&V~{u(^q)k-8Nt$Xb46&JFk!!d|F0=?8Auxv@yPgh4QGg ziNm@0kGtDXUk0oB`h^k=g^pzdbsvP+qE9QJ)_neKQdUvX0leup-p96jhwW8Jotuvq zy6sz00vAe$q;<~@qr&mfgu(c*6$4_3IOh-8r|YJxGpu@?LmIQ%Xbonv1p2vY4&yj=6qk9KQE+6I>y2ie(S+0Xdpm{m+w`oFe#5+ZEZ0quzdr6Z9T3+$NRN~G%0LTwN zov;1*%kTx$lZ{2=$0OpS4$m(F0ebn$mBkdlw6w`_hoJ4JKT$W2Sj~@gRuaaTG{t>= zS3&Pn#dvb>9~+C`-g0;)A~Yi_>(bMwTaUksCY3T$HZ1jLY*7rTRKl2`EFiV`r>1UM zDQ23S#rJUkJ!R0o7M7N@pjN?k$D`^?hEZQns~yQqqa-?FS+TGNAwc1r)yoT(b_E7@Cuq47;WsL`g&eFM$xx@oA~zt5>gX z?y0G&Vh1u3qF8~-(j4dTGiK`2s;$S9cbI5R3Cx1e-RR_H4S$HpIWHwMQVX)GvFJ-~ z+_*tYy+mk&%4IM5^yHu*qaQ!aCQwzOB59mCa|TKR2tYsJFjj8vjrb`MHz|5b`O9C{ zi$HjeO#9L;uBwlO980kxQ*I0uOMM99&Mzn^$V6xEFZmc_K>gF7p0EkA2T+QHuZONh z)X0%(sMoK$_~bouO=6(PAv8hAgOenRXQ1;D&Vlj6b@?At1m{nz-(7>&eC=|I(9PvD zk38lEZe)s%sfB=F)uQ+b|Es-(i3uD#+K-c;o-a8qeO84uzfSW9rT`69d+#Ob^Jbi_G}4&Xj%R<`xa5C zyJx>`1WU<8(W9$$v|qD&byc;366+;Ia~#NZ%g9>ign0$Xcaa4HSsJIHOhNL=Y4zGP z{B%9yN8tPdjPg7VJVL*9>(-ZFzaF)TnV|_lq`zsFKL2~@9*A`@q#Qj~`ndN#m*Ufb zMVKJ%=^Z*Z7d45!K|0OyC}V&fWe<;nipdkz5$nD->l-S0rU0XdjBTnz>z~-Yaf+Fd zQ8%TzzTN=61vbBbW#Ufh#GNuIW+LGy;4tcVyFUfhj!@#bMsy37?iMsm{h3f-gC@Oa zf1*bsd_$x&m=ysKX-gpImjD^~L&sHOm8ZYI!{O^@pg87t@7`HXp)Ept6%Y`R0U)t% z>(&FW-oE7o>9t9E*RCLERm1#2zqr&tRoI+na7Esc6!R8*8Mhzp{5vC?;sY2BMl9ViH8&|+a> zxzy@Ce}u&c3&c!%wIwT4*4)%hY^g#N)$)I9F!SC5!;PwTa9|)i(U>S!@P$H2!Q7JA zXRw8k#U>rXB0N=+0wA4By-bd$7or&Fr(5Tb_2lu-m?^%4sYV(q+|AHXLEfe;n@~!T zgt~MC-i9)~<=TRpH$K>)qa6(xI0WgV1Z`$g({lOVtel)d*b#N=81L8uF^Ir*(vWdE<+HGDTAqphe47Zeh?d>1oW~$;1|hwCWRh(l%h%Ysj!HL89tYA z4Z|JfOY)pH86@+gy=Odl@Sx=s`cK>&Sd&YHlmNKrBAi=Uc{vkQkP`Tw@Kf|m$`N(dtkgv$FkRK^F?O9&j8O0{j4=A#n?A(-c&pjy zg{korZjYO%TJp1X;RG5v{tNBbBBcpdp~(pbdp$aK2(|quCQFwqyb1$W-K_*o0V))` z!`E zu!yYnDI)~+jme1#Mi6!-Q2RLF?c2F?=gX23gll zi4`(AIcH7It&Jk zc)Sup@hl~#o6jo^lXq33Gz56Tp{bGMI#LonVNC=at(AcpcszY+8JDlAMqY;qtQQb0ByjbwwT?H zj*gadXb-lXd`|)S)t|b6Y?eMA0Tls$48c%gMp|VRl@Qd&p`5sCKt*$4ORv^PhMPd} zMam%+A__vjw83w?92B`vW~L+<)`R9eYBs?xN4r~Z-a{92)u8lG7o!gI2nFv`>ZlB= zXBkvW2^eRH$pjj+FR+FB&%*}~TJ+Z@O1qD5Ogs7_u&vE}Vq)S|_on`+`Pg{e1j&@$ zGwSMuvJiPTg{R1wqyRP++py!U6DmYRRFn#OIOy3RtySU1s`^QMMcNH@)58ysA3Yiq zA>4Am05U8tT<=hlOU%Q>L>lVb_wSrNPjhm(94c0-w|Je_&q=a6tjjam6wmBhX`=PT zLqrq!lL&oaA&49X0u>FYPhOr3THXx|0`H<_1bf8A2FMzHrO}mt*IgB+0&=T_(%+-E zZLYSawycaEs9CEf?C8#f@8Jw?*(vuY(H{VX&_!n95ga>lLIvBezn4D@EyLK0_?knw z4?uz*=XbAODWb})UAvY!dRomccpK~FNX-Jfz`0-)j<2~kUV)b4R#h)?!GMn{gL{MW zVASRCR~1n5XXeB&`=Z>!u*v#9<-i8h7w(4LGmv!=LqE9y$HOh0>{(NN zcl+L+*Mqw+{Nk88=BP&iKb3L1L2R3SbME_@+6^HO;^Vvgw!?FVHp#HDCOD0skc* z(Qv%^wHjr{55=l^1acegL{Vla!*5m45-yf{xN+tE;Tl*t#F+cnEXTbN zL9+e(_bp#l9X`Y_0v^h+EN6ykGkNB$s$Or7K#k zxHe4Z9%uvyI*6To-onevn~{^F0fW!nWG`RhWJ2r-xC1~x2g51T2AN|~&!XGE53tgw znl2$)SXS1yCkLOZ+r-4b+XqD&U8XrIy#Jkan+x#|9?;ycr?n-;Hg@ZuVyi-|PY5Gk zIk)?xGAK$*5#wP)llQevP1oW-3AJ$bDkJ2zcrXm$oqWIu!9x7Vek@36{rW|yd+>nU z1$=rOfS(6gJ*;W~^J*a4P+Uyy*s&wmb#Ns-x`8C!?$}|}ZS5&)oW??ND|pF?9WA)} z>XjymGc%8oMRO1;uTMV?L@qCZlY8;9wTcj&9NUU%nxCIrer~9lFccDh?7;z(_%S0k z;uEtXUaXY*nKKgT0{j;(S=k0d$brEWFW2eRJuP={q+&av0m(S~{Sf&Wv~NVcVddbU z2Q2{hYj5@8h2qQQkKlkPONwMFx!BFu4Wx$dHqE{b*B;^KHOm2^lYC+3v~%}NZ5e!&Upx2f20(H zDl>LF(WQj1n$`x}K-#=NO(0?S+w;V-eh3v2 zh#ufqsvo4$O3)Bt@3x@nj+_CQHi$^a9V)}zVHh(w@au4B{>M}m*~@S5ZeM}P1;KMM zAX_uQKj#&4j88t^RpIY>!+&z<`HwOute}|l6Ue6>nP`I}trjTCI+w3@UkeVRl{A#* zB_Be}!{KInU!e^x!RGV>d35NzQBuYno+y)``n8S2?gb}52uOO{+ozF-o_KzzU87LX z+o~#k=^sdSWvxs3%ua96j^L+QvD_Tb8qgzQiyJq#5@6ro3*%cudhGv0MS|K+^e&4@ zSfW4X?$$>~%>`k*t7qFn|9|5G;jcX}PmT9q1Vd^LIf#U0_l;dLGARX-fBE|_Lh>VU z!1ywXt@hoR7+&7+f5GRu!l#?IE7+#A0yk<@pP)avjR zu&-DFerySt7|JIt&E9vfqRg&cfsi^Hz#2 z%C|E8+-nknQfmp{9-e4e)6;k~2yPR@>%az4K+pd^bi#|q#KcTs+<CNatFj22xGXZ2VHy!@m(?>EQ+?p`*tS0s~G-Ytwsr+rGbs1_tSbZ8K6^v7f zR(;>TJvpN?fQlCf@2JVs<4XyAgrEdgB>r?m8uzx7H!Hr=_`t)}(f8rO$);zi&C$Zh z1Mww$=+(UUfWQ8*!2wr}#)%UoF{gd)ltVY%R1mSyg(kdTW2PFL4_nslO~%WJ2Nxzc zLX|TUcK{2IEC-rVC3K8h&t(>>63@_rND+w&vl>E!B%1kJd#!*yIy$5RUS7siWloHV z$slMpn`BS`^_CK35KB|#5ATo!%r!h#qae6(BO_dko4@zmzKV4(0d_ooKp&TV>&&;$ zl8}(BKE$gfws4R;saY9ri+^K=W<6?y^7qE<59n{;4#>`mQXyBRnqc@p#39GmWDWj# z{l7l$6<_o2eVmGg6&?JNsQcZbyt`iEmw3H5H>!~m{h`O-26@U7)^61f{@9RQe978kLhN_%w znkPk=jB|6qTNDM)!KsgX7h;Qq*HW@poKMj_Z9bCEf&Tl<*|X}}+AQFUBu>8PXW^BD z76c7j!n%rsSZVQgGB1F@mhhhQ00BiuLE^szk3k&7wg?$#VHjtxfR+!mhRe_5PXNVX7F}j#=(E!rcvnOiBCii82UMWUdKSn({$CK%0dbp4F5ON<;^0 zp4-m>PKqBT$2iUOB~nt*#kRXKW0{(C@+8qCwP>6vr8(E-gb8kPz;j{dW z985=ykBw3Z;YLH@^GfmYY@D3_#0-3I*Ew|$4>=MWcuGnFA!LjKR%hY>Xl`!KYBc^Q zAmU3%KqRcMZ9{L}l(QVj6vkdj%=+9PUkfZo6}P>-Se`}XV%UOVdbNy%H@NTPNVA9-ZsFQO7Z*8>xfQtZf*f?a!tqI@Pk`0@3R)Q`tVAS++(}2Zb$1h0 z9AGqlLiSJQ$5kf?lTIn{AT$-zLvRLx@w)+sS)dKLYJ$dbxn)^^@ci&lqU~E*M`lcL z>16(ic@Wg;3OL(8kXZN0&fZR4rD5#%PVE0@K~xic32@_lipDygOqd*fA&bI?l!$W)jc=phJ1j*xUsOiajKg+JZ|3-hkC--=_s z=R}esqoN)F55r=#Bj2Up53rkfk-*8m_v-!6&b)1oh)a%0J@R}dI2%|=rO9+JPztn5 zlFFne!ESxXw9?4i$yE`|w;YY7X@MIXyz2-7E*J!sW3nPIzofKO^6WR0-2D8igc?LU zyiT}JdO~Xhv}NZ$-}BFHC#(z@9#QT_A1V!9%HzY}AbYBFM{fK2LwufhQPFPRxy(j^0hR=DqvxIm^1{Vs!Wp)OSh2Y~0+gb%GA*(0U{luGR~41O zm5qyz`;Z5I8Md02V4vz`#W!ze0a)QEny;6yL#Ir%io_O{KYKH*tgOr&pq^MJNq-Lz zOa?=pCP{HXJG>1uy6A`0&@4-$7$hVmJu+-X>L(m6nQIf?EhtC_DOBm{@wepfY@2iS zhMLJnofvLsrB`~fpB;cof5B45Z^HtOgLcYo|-0`F0l(UPh36iZl6>U(4g^J6 zC!U!KcC{Yzx4^HvK(W&}C}67kJGyx!Lv9(TV=49X-Qi{(#P0-(7vGJ+>Hsvk{CGUT z#v!kFVdxc8>l|q4w}d^zqr@wv1GXy(NlB&2(QfP77hpAzCNU=kBlEFi^lhaVEhnw5 zt)U%|`40b2uE-tDg`R6*tI>5c#ovM_?D+lV%a`|c(;4eeBISvh6_Po+7#n1ebdR{Hcyk%;{J0W<+cK> zr|`MKtgId~D1Uxb2o1C@%t&Z8=+UB(Vu#=JhZEoG^{w?%lNZMOXy8NvA(r&Y6}<{x zHbJ0-Kr5TN!$3t5OD{!Q)@=@7*Mi7VLh3`4OQZwDy?NPHHp@1}NO-k2AAZI{=tT^@ zm&l>)OFMNjqTeB|VM6lYZwP*X&6dzU1V5yfB8=8wqG7s496VT(QbY;5Y#(?m(4q>4 zZjh8@BR(Bq5xqF&MUWLr8XE~#Qabq5#%5sRnIgenFVoVfhq8+xc+2wFG}8yaT74RFb2`zoQe(}5o$)1T-Fxp&w`lqg8l z+}m{pU=P-`Rd6Qz;kt-P2_OHudpGJDtPjMHVDQ9*4S17zj8lV;a}OBc#J%CHtgQF- z=b)`*IkfWbySt5zP5{$g$Y*+!o90gxIJC-B#aN1VxTh#+&tQ&V{V6Fh0Ex$3BiSt;l%#6~iAl}A&zXW=Q~evz57Cfu_pBHU zh?jo-%8L&)y895J4~kj_btxDG3J+{67r{Rf$0&*tAq$GHTJ$>|!T8xAB)5nIj8Oj@2d z^Zdz)F;L=;fkaktevAQF08p8M0kkAV=28J!Z(=wJL5 zFii-cri02QOa(z9*yomDTDT=G>A}nBLTOS}SGR;UgG?qA&W!FInSsH8OkF{WBqvJ1 z+d}N3fNF8*-@&xrnW(Qq78@?-GUMN{VKH0;pp`1INMyJXIQmW2W9jLLR@~bG7?GX=8{VL>Uc50vw}4xQ;MwUJx*(Mwo8>2;o$& z2d5GM4KG8@!C^)#1WPjYK0B(|~i5MEc z|KPzzjAK|Lv6pWnzRvO>2hE$;;BEq&OU7f$ag~k}!xk{#6Nac`R0Dc~$qV=Gm{ufa z3aoVpwASHYzbX)nW!9k}>bs7%b{VSd2tFHQH)}x*7NcNEqMaj{3Pc0ZSjo^6#AS070jXYs znDA)1cb(k~Oi6NfS!LyeKdk%BgMNM9^V58!*?%Km)CQ56AV1tP1Bh(cJdKi?JHA+fq{*<92ik>Xm7JaM z0k$7Amrc;j`@z_l4}fJm=uChSF|!QRFg!fWI;QnI=8TIAM;%fI^vVr$hc%}vJiN%H z5b*Y8==z&%RWSIxa@_`EynW zr;hYi6P|nCtm zWS5*dqllrRvTYFANIFDRXh4}D%ZP(qPMI!dV++{#F4;Kt~~)Uql56Y{g!|xHnnJKaTdkuP=7NV;YPkNd^^g?1Inp=ev*&h{)%! z^A<(|k)<0sHlT?kMH<-#>bO4!Xxs?LdKG? zKo+h$U<5V{`<&2}^^c90W5bX-h=)y2kwZ@?a&!r?+LMz^fbJeRbyq>}aQA?&OKb|z zJ48a}0R8xgu^cTb8O#GN>i~f{fk8?d3dfnSVj{AMkZBsgc9L*FkUB$F5r&kmJ4b7c z_%M)VfyM}yh?NoP5Hc89SX2>T@1Gppir--X#GnG7T~UQ-E9u;$T^+M~4dyBdXhe@a zT&JTz<5L}~qK`f<*{nz&^vm`~p$o_~S;!#$C=bM~+h0_aA%(9Y!sz?a+gnO+$GQ}$ zsX=WZPd(2COGi{RBL8K1ph>C)6Zx7XXL2|higl0;(3lDAa1*mQm;=2Oi^tg8otAgO zu@R~kG*5sH8ccFHj`rQ#NG@RBC~5+-B$?y2{aUaJNh$mdj$Ub9xwqATECS-6nM@rK z!=LjLKpb-X$gxpie-5bSA$#VDAf2O?ko8dmSBFZq7;2Gx>k+l19MP(Wy6+% zPpLsDsilylfpaSHCEd1E*!g~#6B{&SJH0{Sa*G6_MzfG1#R;Y_C=wiru8 z{wH@z7$^iPG8P;11`Qpb;mOpJ!yzDWSry%nM9Unpf7 z0UT0_Sx~HjhJgV`)txOt;)N5mXeMvJc@E1P+0Q`NoAmGf0ay5Qd@_Xb?ze=!sVh4LK zZ`d}lWBdN5ucQqf(@orx=EZ@KF?8fF_Jw@gqfQ5dcyC_>TRSkMDohhNkZkXB8D{v1 zxyhjdKp#Pg1tJF?3U1%>!lX(-p9`N0*6sY#flr&i3(pLWB&{X?k6jb*y?k!F#<;jH zT30~q)T}5y!V)>AKp30qg807_VE#&MY;5zK9^nBHM+6F^3n4Np(&m+?Po3ksA352h zVj}tYfj%IkH%M2P{r&w-r%54(t(s%6_n)k&wW9SLaTv$XCtO+1X9<=$_xzYJNU&o! zFr9ZFO(1!SNW)~#P|kCTgBT}}sg`Uu{^)$-?OlID$)boNua}}#yXn3CBc_jufdrhq z$S1Eq>_FJc1zXJ3J_X35i-{kWbW_EEU_%qIo)e*M^TEI9iIRzAMZCS_fdVXS$*?ti zM-&qR{s4%`rh>Fwj!+x!dc7hu8ZB!l4j+M2eecNGm_OO&HX+^dnwKHEFG6Mn`&(2l zCOVo01p)cdNV^Wh-!Q*pq{Ymo zdqII=u>_`c0&t`tSmR;n*roVY3o?xiSMhR)uIzP$EWo8GhwJKho1$4Ii4|Fp@_`gZ zjuyb9f-#+F?>KsjQAMRR{%rWdrT2xt+?ProOrHX3ZgsTG3UCCA7*@hzaWQO@aYt{g zcLkER1&%a^3_N`l05R@oGOiHXomScf1gTiBiW17fu zG(;gFe5m?0SOe|#u8?)dVJr3jga8w02t{OPf`O1)0?bg$2_=eWcNt6@Md9$L>qx$U zmD+M<0wMQ-kljYRn6R-PX7TQ;*$uW5z?1+1su)Q~62u^BUJ-<9NJK+q-b7^~+Efih zbB`^A`|Ji(cMGscPW^yzY9J#daQp$l5JjO#fP)tZ-zg)r3g%S_9H@CHShyDxTm<(; z>~!EoQx2KtI{ZCoeFCjlb93{ftNS?ghlBKVS~x<8jcs-VCK%&zu})^-5a4p#3>3Q< z+&;D7?}CXLB2YkYD~wbd_D3rsjmD*?FQ-VuO>P~5C>i^xx92y&C!tfZ#B~3hdI1HH zhQidgAXq_MyXc(nx`oIQUAJ%|0fJKyc^92M13{)B0a0NYh|EZAxELZ1ocs!@22KT# zM26p;6N%sks>c$gPO2Ycxq^g~0KI}ETb4n2@&)(zX-b=HSk(kOcG%}@?djPAFV|iwziwmxWhNO`KdTPg+O2{B9-|fck=%{Q>CRZ{Z zYlH!$#7Z*wH8hkqo{Q|6TYW3PSIZEGOZ7{F1H+kAsqdv0;_a&Z;%0JM!+&1?tCMSU zuh6r3-ck45#f{Z&?{PAS&&^!-cMZT|Pc@G${Xgd9+y5-e|Gy6G{jbX&*LqH)s(QEY z%Q?n7X`f9R-`=lzU*=e9_%13u{0g!cvBi*TOir7!vJwpK#i_(+C9xtGJuo_U)W#CsjaG1g6fD?Lc1T*Byu#PQ)Cu ziTLtT*fDSb(sGb<$r7<>0deYvb#20VR1*_(9)Mz^0cBWKE+eNLQf*)~!5mrP#8YDN zqS}5G%~yb|Cda#y#J}b6GgVlT7N}C}D{>wH5iG|dIKkPcz5CW1J`hLl$Peu=% zaU2B$8ZvS+PQ(v#G@walJohz<*v&x5cc34zJcOl!O901cGcZ7!EynFq6uP2Ho8InftNI z7p_Q(u$Y)}3?x)JF_vI~M4DqSfPHr&AUFzGl^O|ApaWOLWJQV7cN+ zqV4(qK8_BDpI!z|yAQ}u`9LbZX+&|&xDf(xHgfWC#i~|5A;6l(8x}`jpgQo{s&E&6ROaKhD7)8MJ zF*%|Ic0oU6&4>o1S@ddLML3&LhG?xIJ*{vQENLLf;fZ)EmT+Et#*iuuCE2w)|2*=2 zXO=U?>ys@5wQ31wG;9}tD0+n=jKk^>I*Y?3=t{vn;EGL&>qrN@TnS-fF-3Z$soy_>fdniu)PX}Mh~^TQsPpe~BEGxF+FsJ(v`*vx5h6ii zT&vro3IkmWS~2R1?_^f0P!q8(0=&XO#Er6Dcj}00;yRpwfyGmWAm0x6-={nrDKz}^ z=OS|MBst{bWL?trk^+d@q{!p8ap1#gitJ_BY-uR;&4d@k$%sAo{#09#g0u`meP#gX zv;Zn)xM2$%j`C}gc(&1YhVh1f%{AU0D@6oW=qw)#Z6;-w;BaUBjMyT`d;5V22%U~* zDsgxMP>V>}M3}&C`%^H{B@+eQXZg#^SPTJFd~8}HlXn;rA|Mkzma_I^gB13Xk`mI> z7I;ju!@!Dw7w_TygGewVyOfT7Jbe`FMrdrv6ZISU*KxA4QaDv2Z#?`g@;!=zx7+=g-86?O2SI*#}0k+TtC z;i|y?ut2(m1dJ(T{j_Tcb3nVLCV5Wlv7sD3mLnWGU|7cYtPz z$OZ_^OwtaNLY2(!>CYfi&vd}%3k!+HtW6xcflnj2gH zB2+zMzW|+Ab$ixP2EO@XEH5Fx39Z&#wpsIU?>y!P2-lH%DBF*mMv)H|gqTW@Imqd) zNX-{b8W7QrI6<9Sklztjlp=I4Vk*e43{FnSvi-si(Ax1E+%hZ`T;Up3>424lu|$gE zxMPjOPq2AkzJ0q-dn=AkgxLzCX;+}p;2@`0Yv(_Mt;Df!mSn&x0ZYY0E*4K2BIxTJ z!M~TJFBI~#o``PNxl-^Hl3yo8&|w%PABX!h0h%UbU%p z!o2Tr%emHd^72RJKEaYj^e4>AX*HdN+TtIxzL1-Q1fD8Xh*oRTjUMRl-3%BqR-2(rT2ss(Dz!%2 zEP_@5_s41?pCRfAheSjx48OxDEl!9ATn=Fmh^htTDrEc)OAn3G55sgT@nDEq32(eY z*b02C)?hHq=vZHs|Km|2*qi>pAP3wVw4q>uH^{|G%|ueZQakbKmdb zx~}(id+~~;DU|VcdS>YzI$+fLWjBx=P9=3|);2MaKwflwceh;y!*y+kx%L;&Z!jBy zHf5Ue@+L#v@CI~(CiwmHGnVcq;sk6HefFI0pZRSHFXSVT)1%&HGTuOjK5q3?EG*BC zwnEhu)M&urT^1ebC52zd`lgnG4KL|e=tH8L&&PD3$=IQTSAE)f%gYeDP*mSO=0g)9 z%YchZ+4yJX-K_oh#|L#(Yxfj36Xmn*{c?2izz$u3oCtW@$ztNewvl-bMYXLK-6su* z=-e2gn5xxT7C}GpKMpeARM~hQ7sacOtCR}?V z=@6HIHeAji4i4zr2kn|{_&j_@o7^0i+ykTPjrn*deAg~D1RT~wSWc&f_tTtS#jc4u z|4SMo+(8JR4FmAVn9?^56M(*H&>3h#a0feTo@ZeVl>g78$xDNmsU0zHVKG1-9=sXj zV*Rz&#K#zS+xj2H*7bDrKT9?*dTU{B9?z?k`x(RlDeg$0?Zj3DVn|3jVn2gG_UyBz zA_-zLuMW8xvVWAd9$Ucj(D;sFn-Zdvt006W#-MXw^hDl^s_ZVA`;hs!?w={7;3HYz?;nnL(tjgPc)fE4<=pi-P#in|W6PBO^xPo6DdLiDv@ipYm1S{53PR;#YZr z6bitKwzZWh*5tr2fKekH+rUz6UaIgSGjzu1lvLFFS}noin_+eHe(oZ~=@M~Ezl{fm z5b*|Z5FQgV^VcvY*c(=EAIEJ+_fXS+=8g zGUfoAd2iMnH*_weaL}tZkpW9p2zxGZ6uiCX$uHmvmG&?<-}-&$--}lryvsoxn$UR^cQ8|$qXR&;8YnI+G%~I~q+ka*-iSa|965Xf z0yg1dhZ=3l>ou^~-k1%qDtPHHd^0Wxe|2tv&~jDavj@?pEv2|8Vv6!o058PHt&WVX zj*LHt5v<^K6?FONUF?EUJnj3I1rINi`)@tedF6jG@!=~C zBaP>`UW;`UQijmHWS8&{V6P;o08ztpOb{p<{+&_%+>xH``Dk0%dLl8x=RY4DFpow3 zg?Xa6_!Wp^Ek1^1E{t9OE2GJ01_f$Dg;6jf4Wf>#;9 z!X#D*6$7R5^<7$f5z`TNk|{(K%sL%#p|alRS@ny(bpyZAS_%lI1UfrMesNf=l*yuC zIdv)kLUzAequ#K;3^~KwhK3N976w+XdTROUgKUkO0HI0T{ zr;+PQykt}NJwIGDzs**@;6c!%CK5N~xnzz|gz{-=V*n~qmE-VnPR&mtcxg-3e!ts+ zNaYgPg?Vpo{S9?a_hi7VmE=;zNVI4nd+ll1gps9NfU}ystAOM#yA7G4T!$jCF!E(e zNGVsqr}ux21@IQ9Yf%-TpkDPQONmkl9cv5t*$r?$Sa8maz9x}pDri)sXV``xE~Qxr z-Nsm7Iq0^!MvZz1->+(0eQp`q3E`j(ejG_itGD+Uc;oB%vtv_5_rRuV(4@(q52&RP zNfGsB-c4MJihq21T4z-Af8yL$M;|!Qg(yP)U^<%r$0aK>)~^@)94p4V`Fv8)ejw<7 zHN26vVJPUf=Tzu}c*7v+8U=Lf(>J~qj#9*`uyF@~-W@AS9fc7^?l6BXa6YoY!~=V1 zdo-rz(TTKx%Egv!jCDBQOqliFsB4z|#d@F}OB^QPG2v<87v#kmp6zOYbE3nf>;-ps z)}q>kw-v8cN^GI<6ULpa^>3*Nk|7h_93hI2E|f+9f1apG z;pZ*VmeLVVJ2Sr?^@+egkfNr=TV?$>{nv<4w`J(_2d}FbObD#csh6HeyS;gxk>EA* zn`G{nZd}G6*dRiN$M~NDjM+lKZ8OcDKBRM?NvlrgW@hq=S&f0^WjAi6ck-p$ogFRwDHiP zL-)^T7cH-dMK!vWCi69ApHtO}384h{Pj`mcRF^l8dK_%6{Ab^PD;uphSy9T#WyS}5 ztE-z=c?UMTCEi~)`V4z!6tY+N7~7W#Qp=}pFP-ZQ^k9Uv4|3e>%7^qBU`7(wKRBfQNfo=zOwi2ZP!{MSsy4SBd`0|g)s(s2$Opecr zQO4JzGY%$VlvQ(|0G z5h3y$w3D%fgcTEUH)0^cX+#^&$J#CXL6tV2;3xy&&=R8D5Nefg8``4)IrA-Eb0O5V z93)t|G1NIC5kSaz6PG!WWbzhUv~K+e0hF4$6Tf&;<`1HS05YzWb7)xpA_NI&h{SZ# zk%FTa+Y13Aq6z88>51PzyU>eT!7AFRI3QW{3mhAX*#tMJ`N+%dp3oi27?a`#6Hf{0 z3sG4hx{jWa6L|d|w3R4RMA$jPQ=jh^egE>pbEiJMn;g9lS;roo5AH8hNoCeNByxiU zU@`Qr8`eTJWlUd?8 ze$C_9iUOY=6A#YApjUgL+=&G|D<0d58;qL&<>jS7@8-KkT)yQ9QVK{*yAwIAv+Q8u zFF9O^&Qx)Kaix{;s*u$fGqgw_B7ywHm3pgJua=S(J^tJ;3%}5;%8c@0I{5wJ#YZ1} z0f4}{N^W|X|BOwx0w*)I?Y%k%ke6(zhqisOS%+FuN&&oY)uer6W}e}wS_%$p*S-Dv znC~f^@S`0AZ&z*1150~F$%Y|<#DeFnb;?*HD83)dS2cO~E6B+r36_a_a zYvo_`K*#Fe*c5&WC?lC(j{qoSwn%lfo2iK2gD4yiv}&$i!y6k;>R`4cuhJXzy2fh-HIrCHQ7BdrR&E{n4 zJ&9SH7H!*#c0HSaI|kOlsB-&Jba^;b+SS(L6h#D~S?rA)X5)u>GF`^G&4Cz^WrOtH zh@r)NY6nuG>wY^Rr5ybCsw*>WF?i8pre1A%Hca3ySZs-=pEA$X0r^g36C~u&R?B-^ zhgHL9)vYyE*3XcT%=XF*4b>Gh**hKYP?M2H?RL~d0Mnj!qwhMJd1sW{6W^uae(~%k zC=Lf%6ypu))x(^4ye()Fw!E4-ZQ4HO34k2ph2B}Rq_M&Q!x98L{v716;;AQQ)Pt&! z7qB4zFxfv6a7`X=9SZH*N}3@e*BGBxVY3)aNVEK!(%!Hka^}Yb5w7urSSm8+>Rx zlG)$`KAf5aL|&`n)j(+Y_Y=>7I^twri+*yu+syuuWF(n*_@;zcarEX1=xxNjh4V1w z-SQn0k(!ank_m!|1DZ8!Ms4NuYLmBjz=BpFkpxc zkX#@w> zhG`^^*nx=mb<(1v7iV5+j48fdZV?i+lzL7B+BF+vXP(R?$;5@z%kE5EJ&buzR7Zb4 z`?A#M$h+1Md3fkh7zq#lmmzTJ$G^tZ>^UDRP77vDWiTlI7 zgAeDs=Tb6FJTdH_Ll&xG9*IT4*DAMF6(m)>GBz^m*~G-8#CI)ZiA*{nVPbwjZVVvK z3r?jFdvKw+q(uk&;KmUt=xZzPMvPEp--+xhL$5}}FzJ?A@6KH+jc0?x-pZk4mFp5} zxtG>|K_U_mlxqna(N)CLCeEX6Ls)qeNV-O(oJfxDkC@WYAUk_Lq8CbhbOucz7pCqy zwQpWs#rEe*t*vGH%JGzcg{0_`0WsZkTBxY>ymZ8sZqKW#Q3sQ%z{NLupv}Nt`#9pLd=rHu5C|5Q zm*`+fd=e^x2Nc|a{6t>SlB5LrBiH09wlM)Zs(JMg5yh~_AhRVC7o+NB?O#I;Y3Bp* ziC%K-zR^&VERYO?@m*yxccbPc=}EC#ZQagD4jJOY{W$`1GIxkoq?o=59hZ|+2P#Uu z-5}{(RK1zreDd=X_|P+>&}G=L4v-tIm!H+Zi=IsM=yFyC|Nd{<8J}16|M){Dg{svx z5Aj0D)~6|NF{53xaSq2$?aJ-rLtgxncjEXpAuvE5O7jmzBxvX$W7Yx%5Vv{OrRSv) zo-rJW8GOR^CzMm-Am=YL+ zv|oHc7~-0mHSH;)RK{Sqv9=@FcpVB+sD9J@2hS4)$CfM)c5IEe8?$zxcDLw2K%$Zf zP!0PS>{(@AK8)d(%%@M~k`HlrVw1n!@gu`lPP*l#WwR%poF%SLB5B`70U+l@+!916 zued>ngbi2|UhMH17mj8ob@eR2>hkfR)10N>CI`p{n14;Au46T z`0f~hNztDfIUG$|tF5?J`C}&8YVNG2^%XMhLO$Hj-Ijo+ z#xxlK6>qo%m^#n5y(Pxm($g8jD>F4N0}jL!nc|(XcsV$c3s!`5*NwbZX113|)YVOWRbtGJfl z&H4PKB| z|Bx0J1;i~TOSvlMCXk?907|Di+5N*O$W`gG;RWjv!oz+tK82LhhpzojNI7)|fN8JU zks4sQ+~K*N<;73p;X0=|+gF*tMMnVqi)3&lr4JGaZs2N2dSI^}p8W;Uq}c9~lBP)9HdI(-eQzvmW|NK?a>RXs3F;oj*zkLhQ>!+pF0)H_%Km>@8 z$EVCZJ>1=qVfaG@9?9xA=C_uQW*g75_9_og94U+e5lsR{Wh`{oYyIi$5xG4|HXES- z=6tFuF;)%rQm$JIjq7^!MchH8_D+wP5oRs?Xvc)SJNOB7U&s%+Yn3Ub`mf`$kXX1- z`Wdfg%Lm~s;JbXGg8@xw&DDzgw-1l^X?P2`>2K!%K;P2s@0U+va6|IA$lxg)g>MSW zL8SAye#U2JZILV&x)Bv)n)u$qJN|3Z5nAwBbB?eBT2DKL(ZPC)*guVULv$1=ajA3R zlGH+ved;gJYP|Rd(?Au zap|*SuJ;E0;9Uc^zd8<8xZdA?-2U%v9=~ECyD-?w$?AQ+x72x0VW>st!D|v`K}Jio zwY771m{H9#y%0YbTd#_^}@$)KX==nL^HpJEEI{lL-H<+PgFu$_sr=j%wLSt_o?|ZVX(E(!d zBGT^E($*L(WgNN<4NTewR@Bbtze<+r8#+cPr5of9xmz-;(**tlr}nlySqFOHn{+wS z|BJenwzcihm4~xl8BuOzUUBIqu_jEznX*Fs4CfPS!NP@tl7ACZQUmEFo|^P>h#0Uf zoMay1L%a-K)$(vF6uH}1wd5%tLN+*vWqscloKQN&e%~sny?c!<;o6{?yG&aE#tBLP z<_vN?U-Q8P7JfYXmiqkk97#HLqyZ+)9XTH!>GI**_v-`t)_kn|^MLsD}Pal*^1kv`p8Pij7CWNP`QetB!_MmLCjS2F#Mi!)T~njiY{Z&&Ocu2UVe zO~+#?|6f0*PG%;umw*451Wg<*ccJ|I6SP}dx%#iw{39qgWZQqBS^#nNLr5k5>qmV^ zH}!x2CjVDGrAL?FWX=E9N3U_J-&rlFdD`_4391wGx~*?B_4wn1L(M=ubbej}16ClGDSxcbol&NIoJpWsJqkK|Dyq!POaa_}RhG;(h~qcY zo+dypJG{C!93goE0PTtj%KhUrFKuN^@!In-Sff_|sCTJe;7Cc4Bmg>Ib>?Xbhpy(~ z70ksIocPY9c!L|*0FDNcHVN(9QNS1lr&{-+9{4B#Oya$JTWRS65wgeoZH9n`^N?G$ zZ!@hDn_V-Y(4xhfi0U_OYAcBA)2Cs8i`Or_1ZJdytuAbq5QDQbu1)BJ_vzd-ogqDu?u*uB~*k=B=`m9K$qLD|niS z&CDk=A3mN>y-kOF{5u9q@$4WxE!q-b6Yt*jgF|Si+$!*##{Gli?jSPqyEmN4Afere zU+SGZdr|y}w9V?!_;E=6kB|wn=kELc0Jru2Y0NncG<0G@ky{Lb4#)5Qke3p?2|-0p zUY;=k)k1`bsK!K}h`Js|x6S7@OtcZJcLDfq>pOcWK4z&TDhB@gyz(gNC}kZ~t?6C! z>ah!!c#ZuoIf6kZ+%e#H;6OLJ>@CHj!{K!#AO3{HfjT33>_Z_q_3oW^oMdgx1M3(h!=qxJuCxV@_Fd)qiaf}sjz!3!3o9y6<$6|-vi%{)fmieXfapNMeyl;U=% zP$R`O$08^=X>L|-%J!~vzH@zv`0sL`W*63x!fF$xqz(25lR%8zWWt4oK}ZfGt-|XH zxKN2@2)g&%G*@VRyD`OrBqzAT5WgIRNeS`se?jw26CXTyFySI&Trx^t zRAiQPJG<}6!oD-k`w;Yk=)PkQ-LBqY>O(FJ5z@ztwt$2}nEH(+!VM(u0G&6uDQhQRyNxm0)mcqFtkEdb6Fi3b8h zdK&@HRW6(ZO-Hz!r6O0|m41OvDH!}^tZG`79^?bSa6H0m)PuR`0 z+|dR01o8ZzHIMk=)pfaKC#3J}XA^$V{D6(`={+|~!*)sHz?XkCQTgYby#@9&=?wEL zcb!$eElj=OKA4rb!)Z8k`m|ynF%2b*`0y2y`RepX5kc`AHq_;)^?Hb0+9WEAY>7M8Yuj+dZFIS`g(tdPr&g(0fd zAI_TJHxSs32*aYr3+*XP zKn_Ak<>$mY31f5<>h~io9nIqbNkAx%%-l0Rr!;@kwkr!FWW+Ar<>Rrql#@!SmhhoOrFYcIM#a*|`*BdvxF8w#)@8;Rp~p9{=coeoQ%JDw>2>5+-+CqU&PXi4xE zS*D~OC&{sLB9TEyE>S7Da{0XKlkyIoI^84Ijv;FZ%*fxd=dvuSx>{!fPLytrwV-X% z4SAau9!fGl3xibmLXYZrTX2%R3^nr?wA%wfWeTWd0A&!q5t>tuxBa^4qF88m@onCt z$R&5|=F4Jzg(T4S?#@7ngj!s|XUGEOW9A@x5Pta^gpwD>^#M@ArM``XSW#8|%!?p7 z#j~-M8a3MD^oj5hJudw5*P%`wf3dNOVck^j4T0zbFwKScAFQXBlamvViz2zC7*a;ah)faWa^JhrBQ;R@R;wP;Ak;cG+4duOpi-qCmV zqG>&Q=(}_+5a3_#Uw_kyXup%QcoxO?w9qR<0iZxxL#PjvhJs0Ky--=2l}GQV1y35a z7PwU)qgjlbK0foO>UCUqP3?>vA;wbE`4g1Z-WpNWVK}!kX6^T$G_qa5nk6YP zY00}H0Ek{ZMPpw6dc@kdA~SA?S`(@WKezq#mCO@s)Az; zU= z3>oz(EGbD&OY8GEQ_cQB?9!a~HAksMi<>Nra}(!bQ?`LJ#Q3pG_uOr`lt%Ur-T#Gx#U@9GyOApW{n zk~xnDfvh_WUf~6I8w}dq*2WE|Ew49gqgsak$Z?LK&~~^Vtprih|7e>qCK56?o04~# zqPBs80iKIkeyyzgv$cUwxU#a+^+JvMs-Q282T*Szl7qIxhlLDUI)iU0Dv!o?Ab6rB zN2?~C=lw$#bWCdwBgmz!@}KBQ4=Ju_7`KNJm6K+8qDs%b6B@uHFsv9)Bz(%$B#HP& zN{TNvk=*u|7DO*zW|FU4TIE)lT@N?Ktv@n9-g#o!ut}3~L4z@WoA>S6~yOW|xmM*|>3|VxF~i3!6Qe&!mjnU2x9VR|#77E%FE)uKf7qiLtJZPVese9ynm< zrDJw8D#-FIG8+53e`N?~)*EZPWKy zi_V{mggVpSpSdWLE~=fnssD<=)gdHp54?Lig)vUE<_rO94Q(CTY($`2Q$vk|8;w>z zn3I;4mJ@f=Id@LeQ{i0uLC6az-2Hw~_}1}Dw2aned@3kVwF#;}=fz*QU5uA5T^iNF z0-E`}s&|fBQKPE&&+6gzqr2o*>xe6-wwzpNJKZ*1%eP`=<;8AC<}V(hU-C37ivsqi zunuBeKpZECbfyH6QG@}D9=<jc-WLwlZHCTwCkmaO^h8uDTBkzkh!#y%l-VNayJ4PniOR3MP(L=*F?h^(23C zm0{!dldm(SQCBjNoUMxC;R6>>;ZoiqG-}k{xzI^u=qV`;s3ik-Dl1oUv1HFw<$=ga z{+QFPSN2u+CKde_3O^N<=7x)Dq=!nklWHwH28MS`eng!oc#yRH^%}Oif%FiD;qj@t z>9A5cFXoIz|ADTt8$jMBv;*098YBI1k-5H8pQ)A)awY>BLKA6hxZpf*TFM>`NcY(KjiB3psn2lcOM#1% zKngSwsc%SbeS=ID#svnleF3W~pe!;T!}+yVh~e03)#|dS=!@hwc?>ED%?bMyQg6mM zi633NK5>ia=`!!!ynjE4lr#akEIZNu;a)ZXaMr+2;}|YZC4+&}yyl%)Dk}pyMbly! z*%7rkx33(I%;JIR6^%I2DWUyTsYK+iVzW=r1^O!pR8}_CbV}JvuF?jUL;NW`8)6st zL#w(*1YH;Fsb-GLa|#Lq==&tt^?u+C4TGMsaC~8G3SxOuK=zwA)k9&<&N`o#i+pO( zvaH)|ASrJjJ`CZ|p2MmNp^!ZfyO{<76hv#Sw#GG3d2pAWd|6(FK4D)(>O?)6ZBbHE z(i*F^)#Akyf6^a4k>$}zJrs;9Ci4bNF}pghbez~}vuIH&vCk%JahHn{mr=>h?LKzr zNO^y~@BG=ibrQk#_Zx{_`wE!C7rdG*-Wdk$S(7|;@`ePm+ic$0XEhy7LLk_U)CpiW zB3$iZ72O#rq~#A&)X@E?x!&XS2g11wKi|@xR?!U< zav2jlFo8|LcNGJd>)&G;blm`wCtvjJg0xi1OvFj!&zCogJx2TM&kN-4l@a~16Iw@ofZVv|vb=%og~pRmdvkx5y`M|={dKbn zoY4_UU4cB0ki3mVOejf4Enpg`_IH>3z<z-;)>Z68@JKR_sGF=D3@qo2dno7pj~lc;G3zRaf&fa_Cgtb{X*a1Hg6I>g zb%aHc_#&Z!ed!RhztqXa#g4MJRo_`V=`@{@M^MKdVQP%MuJbIuGetj9+Ly8njYCHn z!l4C)Azt@UzvC$Y(i}Ejhapbt&vG0WjyPE|gm(jvy_Hd+*T8DjqOKLCT9gWQlpo&1 zt(1ped^rHIAu36k)3pw{D^h);3oa)EUoHh%uKBs0oTjdJW>C}8y2CwwhHw%YOx>`3 z`{WJJm6|k3MCm~NA3w1pfJkCel6Sg(d1KcLQ*Y8Q-4541Wj*A837aE{qaVY~TGHrCdoz@BP}w-fc7cGjVthHVNys@d0JV|01eBdPF+-msvIX zQRCjZn-SQ=*KP<>0&63q(SWZhW9IspINdJ|&W)}{0Q)Tq*=FKi%?GLLR~r3kYJ{>w z=8&Vof@2I!op||g5iXNp-1Cq+j^Y_|>l0&~W-+!!4|PPkkHv;_uifXOJ78c-Ss^xZ*vQuX;JaUiF0R|LOpOOU(J zBiAd6wpdOlGNG>N%w5Xf9>?cPALrdn^&UKd=Ikp2zAjQd4qVah1MqVPlsBSUe*MUP z6F|(HcklkV!S5;(X%1k+lHc6jBi|e&d}(6pezg zSbMo<2=bTn`K~+V0K01wbna3^%0b(m{uCUCJ81CG$~o~}{Mwo5U|y&j#nb}g40n12 z5Xw{@nFn`oLcG(7y+*pHwX8RffG2ea%tb=Z(dwvcsNbZToq%qs3!V&BIgTRY%%w{K z4~B4XXjrYtS<`ewudVv5qTv1IP|5+xIT5}Pg5IGpX`!Z)7h`>xoFh!*{q>X-Nl%O zhP*SSJzrE506Opx4O{m%fsDExrlY~|l*k8QWl-d#u&H?g-N@jGTDBu*#)oSZCllzr z3z(qNH4)=TLjJpkOfAabM#eu`rUlH;dB?TS7DHc3)E&47B+L+Z5HH%vV7eIbToG4t zNH}Yd9np0ta#Oc&kz{c1`;Q+B*mS+;#O?&9r5>#>_k^82E5;wv9@0r9<^}Pf{OAvT zCTtD=V=d7pIWh5XQsFrOAxOJ<)8;Rv$&t{XIz(SzfAo7f=rZT;Zy1+iiZP66ZvZAiAa)hJsQ5xn>~}w2%@E0FQk~|Jm^qeN z6I#cd`9=-P?7~5Qhf$tbF?Jq*XJD;XniCYPD4Gku)UI=r&(}{RWW^x3A~MvSleXh_ zXupUqN>*%KgCcnp0NaTNYxrmPZ`A0@2bPebp#U+z-shkj`0}h>BQm)L6v1~CxZnr+&4W(x4kcs47h4N4g*4^&-UI}cO-i`KPyIuqkNE7MMz`;ypdxS<)y10 zkWpSMJ~C<$o+Q|K)#m`llK?3R0l+>b#Eq=}oWN!^1gct*DTu2o3!j)Z?1S+fhHN1; z&E;aUVb>wMEf-7?B$EQc$whYokC z%qZLE-s)>rv!q?;3)T~uHOj{)!I+G+bAZbfr%gO+!Kjq^5gMx-)CQuu8@vMlmbl>a{w6P#}l>Ej-9W%Xwt2IU?*Z7(tV*ub2GRKs2d z2JBg2Qhjb~{_%g5HsQZf7V+Qs(Z3ZL{mh!(yijs5x2XXdkKN(-JJ0!EN5)!;Zh;NJ z!C*$yerX)V8VREDNU%p!n1V=2OSd@!P%!H3LCdWpT)!$9c?GO%m$$AaPUSw>SAC*y z8{_ot2I|S-8^5j3%t4g9g6gtq4+8NC5}fmr@;Qvl5CFr)JA@2^S-t_~cgq6-#N!M^ z?Pu-Nx6;c>8H2B%?xK%$rjeAX|7u<;>enb#idqyG7e`U$$n+>;EX8Roh`GbXoZqW5?gxFZpm!9 zfk*XuZc(;8qf@n{M)eF(men=)H3pH2eKZ+dRVh9@22YXEVFm%P+1mRoO(H|HcacKy zP>?28U{eaG+}op=S&tzreqGe#5ITemXf&&XW6S!6iWGw%)gCoU9DRY}VQhj~LW8Hk zBPqKE9<#J!N@pXGoD=R2{Kqe2no$wZ!ZaR9(E|2QJy}N#k{h<^JC@ab_4a;sY%t92 zda$Np(ys;onN8sVwBv)MJ8*>OIvF~PcZ6o+RYmS@)4aJ<+t{KcWMmZX`6-6Sgd;v} z1Dcs20Itog`=k=CGP$^l>|-9=s3x!m25ha_;1N=RIRgXZnvqUabl^QO_T!xcN&lMe z@>X*4CZ3`8sRiSz`7?T+>&~h~+wQ}A`V>^Sw+OVI0#jdmbF;Bu`Xlst7}KMP-yDW+YC_)dckh;a9?T`#;wZ6& zt#JR?)PAoYB|T(mHE1Q6fWiq!EQhL{CFKgCr%#96D;)F0cqMgc8i?I=h9(3%py82- zEyOsN0MJD>&(rT#mSA7ut3C)7KwlM^UH7$cGclCVjV);aVY>U`4q`W!p5E{AT2-^y zh+UUoRyE7m)Vv&pPYjh7B}|ISCZF4$mL$0&6ZVTbzJCa2EvEq+*`Rl+Yz70cv7QGJ z0Y#4u3nD47Zp({`i*49cGKD}dNS!kp*jh|(rc>KuI`f7^p>%Eh?@fH!eWj9bNny7` zBrc50rQS~Y>9d9AfEFWs+D8w~!gY(X*H(=%Ea>&)QspqQWoEc5-U?BF(Yom~XBNZM zL}^p`V)~Gde^41@wWv8rrjg)FN^6UBuISIvtKRW~ecNX)rYA(c0`8`k^0RqatJr`DV^lF$A#)6S zG-}Y`HT8O{J~JLpXx*X1*a;K1S;kS`IAM&$*IKSg9&QJxod>*J_$9|hDmH+9qdP;M zK7U>eoO{EyUE_aGwQIqa&J+o+P+mB^3-6z>2DU;KN2h*$`<52px!Rd?}{Rg4s~SF8vnviE#!Y++jH5w;lFbtQyEe zL5&Q6t?Wi$?_I?EeDmeYc)B2wsNe&Rj$mlY7jD~-ANOhcN4teHmS={-N`bLTHs3>b z6=AybhaxSWgMOBZV97&K+t3U7pNV+?!`AiOXS5vxnJsbK!2NpSGCX?p==pKia4Xh4 z)7={qm(VfR)wNXbiAS;i#=rmW_H0f)-|xS=eT&v6IG1$2T1wbDWa%Y@Gy*tvJqirnU~mywWd*qj)|!7hm~fyg3E z9Ge`RWD_gb?t;CIjRB-Z3iW4fxz9@893?#tZbvN3nED<^11AQ(LdlSZuru!Vp|VCj z7})HI@%C+UEp;h(t=AG7L>&0_^mJ$oUVAQn9HF;*E1onq_V&hPfv0@#@7j>VjVQoB zE^as_+yeB0mOp)$S$N;R*l*Tlv2~(>(cp#ftIn->b4zn606+xFv24Ut^y5r{97OG& zu`J6KqX615Z&U?9;_O#3V2UfQ9P0UN7|t==(zJ``p3mnah>KjRcTz}O!dE_eW&$Az zW)~=ip_^)U*E27#mtLD%7*nMbV?pC57n`GJ5rGW{uZdhKPvUKZ(nv%~?xkN{U!5yW z==4OZ-IJ2R7bB8Qgu!2{$_9P2xlO~B zg4>A+sAJ2A^+(dk2vLhbYQ!SY@d##~WT;FV^yJ3xia9VK!)@-_{MjTIo5hRG*@d)) z1D9NLK=nOoIa-G$uda0josFN%I>G2bd6-Jr=+C*oZ+9j=fQ^{hZgOf%%wbins{|tH2dNlK0BZmi^E590Kuh&J0U_tneom6SlH5PLZ* zBeGk%xhL61XTHq2{A*a!TaSOGt}OyB<_6u{hG)pY-Z{!;{habcpM<*lRbJX&P$Vo2B}lL`=lFk<}p^tZ9J2rv|O3~d6E{>2Bv-Zv6Znz=LK|1*llE*H!Z zh2UMjnyeRSusXge%r6=25gim#29X|#eHDT=BvxXX13uk$xY7u|J>95xczAnYHU_)5 zu{D(2wk;iR-lg)}0}E;o^b?Ih8)YgU*NFYZJ%%j(sam=nUKY(qF*ZB{B5(~KEce3$ zQn0+&C#uy`E~wmc$L-IE@`!Eaahg zEDC*x>)U8sEh%txU)RaTjjjFrC-*^Uw306XXuBPbz7})6 zs-K4hU$Y$bPCM=w;F>+~Wlr~1yi-2Bi*W52eeun>XNiANF2X$c(a zvIvO7_V76(w;VvO>M{YBkjMsrGGJNOP7>NV#%*6en(<4-we;c~1gtEZdBK2y1ekyQ zPMkdrR}TPwmuMq$RR!?-0&20H;o(pnNv=;kUVJRcyme~>yY)U#fhNUfT9D>`<&TwH zK1;&za4-Qb>x0UI&}7#cU@Bx z6O-M~w)Qn`US_u}*E9Z@N7I*C7O!21%HI8gqCV;k7%j`p{$c z%I|;u^_Ty%v4<1ZR?T-imF-;Ba&5$Xv!02Qe*MJ8-_0Smual>DX~N!ZTJ0u2S6UPB z?;*&I7phD|G7wK>1To`8QbQ>7|G+@Bc)qZ_1|TVA7`MpHAd!_)_Xyh3{Hwke(bLiUKsm*0_5z z2#$*C9S76sGdNt2n@UQgJA}GosexE%(9l&yxu!4$lBd`u%lNHYJKh4)jB>m_&MMYZ zGG&}aK_t7yGHHD7yBCH2!%x~2xj3!~X!)~PQ%XuT)su85qCe(tpL95dcHm=ZuU?aU z1{@_j4d=;5i!2B6HBspuJ(~0c;D(oe$Xz}7=%?X-orz`wmRe?WDu{>PL#ZOL`UoH= zvz1i<__)Jtqop2@Vzhba_!^cv!8mlAN%){X3Q)S_=g*%z%&xq2=ImKDZsTORcrf89 zn8cnBIpN#MhN4-n4gwsKDTrBdYq!%XGJ@V3=@RBN$M!EHTb7|1IKte&6tuv5cxQOA zAlD~0mRJg+FLEd{ZT8!@iFBY2C>8h-jlw8+qdh~n)9pDUwG(N6b&k-J9NP z(Ie#X#|10h0XWcLtzlj+*vqitF#wr&|Aiz}(@7G_K;QP) z2Fn(_51660=vf%&EV;C|giDX*rZj}G%QWHZqsSL{edt))bQs{!9E~1%;BR_-!y&(D zTiX9B$Ll~0cab4&66RvU%gc^7Ok;-shwl{U5BlVRL#H72Wd6_UjXyj`5N19KOkU|)Ym+M_{q##lbSdf4BT?f=sb7l8|80jJ?_lZ1?&2zNC-3+`N ziz^JcBn9|;gv|U0wC70<9mi7OaW?%PU-O*#oI~FgOx*hk3op7jG=Or8J9NqhK8vy| zl7+DdHb+65?pB3jUMs|)6k4g^DBm7_Sdg04JvQ=T1*6zdI(NJHq29zYVa_JX@6 z91R)s^M9P{XYs;>-7y@{U>I@XwC>nzzLNAqBYrA)bE3>WgT%ceZcNp9p>`H3hmB*b`&j{jb%$;2K z^o;7Jxk6X&b)|TEmmVQYBm-3-J@$yf;A>jnINf;Zym|9Nia|dkXCE9i6r5df9g#?* zDrM8ZoKXd5EC&Ps7UcK&-0Vz2E`!p-t)puYu-|pg89pwypP7kCZ0ypxin0OkhgYLv zWy^K6wDyAy&<($w&{|pf7Fv$R=IVHGi86yk5V_kEXFRYpmBk}ykVHX=wYLtzs|Y8> zk3%SH-*J158o-0_It;G-L$ye@mq03@m8Rxxhlo+KiC4gA6y85EQdloy4?#R7dvn7~T{ z1%+xaKKKo_v74pu`^T_ zu}@__S8j!YGZ}-7wG6#Bep>Uv5GY1W&UNKG=+FBXANKJX#aCy{M9^3v_lV(IObLRd zEtw?BKWun0*;5rpnA1*3?Zv<3>YTe1`hf;wUO^$DV3w#}uPMhn^KW?JR;Y}kJc-=? z$`9!8HD_HuouTgxTqAQL(ui^*S=~e#XBnU?u(E)C^6p*L%z;CxLz8|=$!fP#4gVUP>QxR5>+$!$;AouXCmuIw z1*C372*lw7dPa_7aMu2W!_<#5mhp8hM5~Z)wB+iGMwmWYwo*VH42)4WFCk+;(;qi( z+(K^5<5-v$xmNFp+<5t*a*HpMSRn>0lxxsG=3eu^w#QvS+V*X{t zFC9TIf#yX3kLXq|LbXlbyN7BAJ+kfLsgZ_Cym3Uj##6#T^pqEKif<8Rs2tGP+@R{$M^J-aV#;Y%`CiF>cDK zNz7l1hnt{m0v~Wz9Iv-fawy?k6C8)$TZ)Iq4zQfs+q80y`4>{VE|{dj(0~jLZZ$Sz zbXKHQd^^5(>;sk4I>z5O`DirX@w&UAvigOA&08ElqmeQ?r=U`E`lsT-j|8}-QrPk% zvj&gT?WxB=5r3VlokGFrE%%LFKlnR>tl117-h@=*{%O?V+XZVb8-4|)8^dfqEE&E1 z=Cd2$f||=7Wo5QZyngCI(n(R`$llcN_;Y|p#71x)#RSY~+J0R5@v%Q@WqJk+P(w5- zoYz@m{{y@2#kp<4cnd*5?4)I4Q~2`xTLDi{@rWM}QSsuk7pXiy9Cj@}z4knCZn@%% zKcUSXiHc2zOZXG*XH&Zj<@E|}Mdz>;95|5uv-+~mnM)sYat!#)oUHMzLK7ul5GqMX za$7boK}ZCdF%BiPV!0tV!$$6&OEDxL%)d*C7~vT?E8GWZkSjtS4nQQT6l51F9k*1> zR>GcQEJ{+7JwpcyBmt8ll9=%xxNh|Sjn-2Uh*V4jxiZE?2td?d`!uy9Cb8>zSQvTn zGB`f%Ol@jIgT{bB(F8gpaO}7Kf%mEgpo9$z;Jq;cA@cgEbDIuWlG)q~fd>Co zJayN6KWt@Bh`LT~%x2l=QSDR;vX_2_!WcBCe3{|8!dfy~2OPDKyU|;AAKO19?{?r{ zkSA6cG-^skT<4T>7s(d44~f!;6frO<2gTl48Ya>5VX)_#HrAa1HYr>QMBZm_dxSF> zU<#(Im_{kb>x}~c5hRPQ%o&*wT}RU!z;33z>m%qkYoGc}&A))Gj1WI;h2eCSH!h6b zXqy=+a?`@wxLz2Mz^hYg+!(Z?0}Fw?YzQziU4_605HIoOl7s+@F%L?uAOSHxhQSk#1bR z8oJ=DTgkGXQ%~L{d_`rAs9(SS>ql0?C|1=YOW1-VjLKW}{vVm}i8>402?TzFu-C*6 zsE~R(_h$hz;kwK zKXV2diVX4i@zmZjl{rS#ytVMqh=7iu0f~HgC#c&N>->$nyh?$XaLRaMXl|5n;Kk~v z26Ann5JWs!LVvxwuTl9*a0e6>)4(Vx=M<55<))vqX-i*R+3xwPtUeo+iBlPtL#=BP za`DwzqZ`N4HDF7@aZ@Mk=xW@QgE)p^LK#;?WvC9=sgS;e*BK3f2)a<#N#%%c{nyWr{Wz)CuJhE+q(QV$#)z~|le5xZf)+zE zGRjY*+Uq8dP#%^~XgY>?#c7zhBC;8n%sK8mi^Rx;($x5`xj?gV{L@c z`c!_*PX5iGwM#8#REEMchSmlV4<{=WR#}I+H@PQ?{**xy(XlZOdmp>7;T;6=Lm9J2 zS-HrRRqjHSP0O0}F_uJqmWklCKR)>~5GBGw!f^+E_tHJtj?T_9rNmQs0~8CpKccE4 zo-QG3&yg1S=hF3UXy9p=!bnENU^WxaJ6OgSf*A($Af(t9r(9n?{&MwG7fVEcqBJAQ zEyOv3-dPxV;xLxBeVC}bqiL~;D;0~lSXBL)RcpRzinN}V>muH!M?^@(^Q`)1Xkmhj z@mAVZPMALT7lvvkfBy8TakGUAscosNS-jgQwq=BzwkL-#3fZxhHgJ*BnCfb0&8e}$ zdWyh=B2<*8L6a}_eg5qr;X{;gGP*_y-VWFV_Ig3-*Ea>N%po5gGEa9w;wQ%g+~OQ^ z3W6Pj(@kiX<@rSo$F7zuh~m$%Okgu!brZi`T-9>X>l^Diy7jp-TKFe^m&|66hH_-- zI7CL@&pZ|z%Hu#g&vQCIaQNv=h;T#Ky&? z1a?iH`8*9ANOmZeT9V@!7nAl0l8Q2F!R{}{v!45ZZsdRI%*BfffL~>lj6k)CM9Sr$ zrXc++vUSKs^vKoh=#EDSyUKPFfmR^U251j)SgH@F!6X-PB8@d=vd`!HZV-qEw1@^B zct6n=5uIEws7~RDxdOp7GO-34Rc=G%Xwf32<3^MDvTBrbIV_;Jf9QxmDKZbzgaShT ziRwAGsm4peVVTsFKOpHBJe=}dRi-wED^TViw>@+DvormzzQ|e-Y^S_j7GHbJ|~t@@K)8 z;)ATX+`BVdU&b7zID2#~S%##+x3gEC0FtC%XF4GuCT8!#pb~Rnk}XMK6DHXYmQN~+ zhWXqGO5}uSo04Hi)*JPn^pA{#|FZ1fRUt8-Jt%fz!J-EaG!*FK`npOQ`WyIl(Hx3> z0QGyMdROK(ZcseHb<~l23q<)?171`MZ>Y4?(A;|$Q+^~N{->sH#vUECsFe8dLby&;<_^aT zJC4Oponbr;`-%t_ogep4zlEpO`4$n+f2WDj|Kv&jzw}S~Kj)+Gk|0_HZgjO=+u&rJ zE>2Fo)RB1y2bg?~q3@q{ecc|414e%GHIpkVDoSa%3%QpuBO{Qg63nonVSWxflj!Nq z=C!0ultIe3S(LoNjKYwi+7>LX5sj9GEcC7(G;|+8=bQ@qAVzTHTYtKn6pCDCrN=YN?dT5W0Jo_1L-KKSVigEmtQ*%WoU*lI5wD03@ z+4sZWvTxPi5OIkA^B)~+Lo>SN%p4d~Eo1;(fUu2{8%&O>l49_hvuYrMZwpHM^;30v z2^h`oo13sYp??z%BM*jb>mKU>YvMWV_vxyzn*xEL+)|&e>L~Z8gC-kIo0d7VS`%o7)9gr+;br_JG%|4WG8xSU zTSc&abkx=|EYH{+m2@pp`BCtYOlyf~K|H!i)J99;gG0&4>Sn6TFTy~KW}9&NgRgbO zW@<^5U%Jf0&>+W_``6@?vbq%-_9j9(Qq>`zEp&}22Y%x_C4mgtWPSZQ8zWUlZj5+| z!OF1uOZAR)9eSbQ$?b2&Y8igonkJ zRqcAzRJ&D?Rkowm_EW!!(YFGWv%h*1aWez|5lsg8+Eh{|vG#<`aTLEkuW`7JG>_%1iT(^ftDOL)l}z#X`aPUwBXB6d4`)B(ZT z3thkji;?)Z1#1Mn$plWFetq3=xJRvFE!r)lDUq>E(R#Hn_-Jzr9}*}!+N<@*@qiC+ zQYdi{aLFoeTe3=Hav%vsHj^PP{3lYXVDaER|pI(VelQ}+9$=E38eRd z?eC$E*yVszQqjuH)||YhKmt$)V|uKnPvOx-n1#+)rkz-sB+iV2dvEF>Dv&$=Xf1In zv>p5e|A#+&O=0x3o}4x(D61Q^$Vm{$KVH9!W%wlpTG-_kSY6 zN_PY>(KeARJCV5|FJ>F}FQMTZu=uebe^W)Q5M+KgjG)eQ`xPaA`xv>U&1=cs{3j^U z+NLtwFR2zgm+%aur;aDuuTiCOZ9`tU%?51z-8uL6O=@W7N0X5i>M-6 zFVXHRpn?r*Y&in0hxmvmhdsc*;jd|NOUH`m1>xz;!Ux?M0k}hvQEM7IhZJ)N)Pj(% z(&xnmG&BTZxyE(>T}oe&_jWrX-;)fWo<*i1kXI=x1mPg)iR;ayAw?&eUPh;;Gs^%C zrRbRzz+_U;^XmSgz2S^~h# z)#LQP)l5hIUmKQ(t_+&DhxM>V<|oSL)0+~)EuN(9(F;W~V};UOzxs84#B@6MlN08GUe}q=Orugwjw4sR45;b1CeHTLvoP0RdGBrsU zeMcd}qlZJ-cjPo9eC}9qC6L}ZnbRxZgCglIaa#&T3a=HsMF-uzerdFpa`g*UUN@fH z`;dkOd<*SXGht{wbi zJb;qg{pewhyTQ@%Ihsb+zWm{`j2Qeo>*VZDr7~v*TR$8gBp_3>ldUOtFW^xlB$mC{ zO)ie0iOE$)k4io8is88*K$&snaB+$>+<8udsnAbCU@XByf!sK^#|0_pxK#gfoRXd= z>IV-9dXm#@3T|*{jbnTS_Lwzu8DK1!ml=ZyvKzzg*MnNhvQx6iYihtl;0pfp^ur%Y zzqvz%`OM6chYGr)w<5MQaOpkrj4xccu=MNOi4fU$xRAJDchy~$v%z$k(+tE63IxDQ z$pBHaLQ$Zq9}J)!qK?f3?RCsOykB^ERlKta3G4cCDkdVxj1ISo>xC$d!*HAHfWpgr z`kN%$he2(}x1hWBr>y*&HLtI^)iyjxYy{3{DcPCX$&7>3U2ot)wHxU zLkG9kJ?B5p#;opQ1DYT+d5YY#mL_#J!;~m>g#wA1seI8E)pTl)HVTgX%n*NH8Tv-4 z5k>s1r#tteHMSLTdFR`v{t!2YDD6R5#)x_vgQol-fA7gfS?oe!5nOR?t3Sy={?E3% zJSg#pb1yFmws-=56#P%5>uogtNWk8x(ay@XYTbvFPKkNEsO;OftyWJ#d0Q=K&zV!} z;%+4+t(`wAQO?hppOKZ-!2Oh+CEz8>Q>g*(WWRD-0~n7D?1cfZ1iE%C8}y^9ip!;* zcs?#_U=+zY7a)4%`lA7>_ezP;2LPy6xXv*vEyLEys4Hl>si+Qo=q z=_FLXJCPOn;2Yutl7C32sgLGn{n1A(^DL{gnXGEweh-~j#C8GSVjeBgc>Y_3V=$Xm zpLj@+M9Ba;vKhJn%WwLWPMXWvm<`8HoDe+(CEqp@hF0mpF=6WNU#Itr z(aI}7J+M>Z@%)WQN|977*=_S_rDtN6tvm9Uke4^rOMmW4Klt1C4<;Vzzyz=~<+z8` z)+_l@qWG*t*X&<0%-`iw?@R8V*TKs2tyao1I4ZQW zs2ly?a)WfhkwpDa-xbok8DtQXG&wlOY_*4OXqV-VD-a-%u)%9;Oc70I3PXwos+G1Y z#k1ZJzz)&NhL>CIstMB0Q!3)ncQHjG0=%eRgotZog~qzWr~WVo#b4cE@`3)1HNvC06GAcxGD20zkI@__M5_DtPf?db!HV8KMgVQXBvVN<|3ytkt|4dbwWp zz7CT+i*+bnZ;ELrK91r6%c`lqv3$rl*X#|` zV6$kuQQM|Zn9b19rcImf)_TlK5T=4sps~x)YoKw0(Om$wTowXUy$px^%hwq36e^#8 zOdg%_STma2#$uOa%p{$C7U}MS#)b~%3(7U)m5B=G52tLrj7I_d zROyhdBPmQ{yx|JW(MV(ieAuy9CPJuP&nO-o7DT=5cl>~x=NQN;3P4v}5@nzSM(fkt znmhOGnR;@xDt4SXO-&}6e1tbwCamCkaw7+m74IWW7w;*`Qc?6tOvImtNG5eQEs-7G{kNZm zCKS`nyu21mzf>20*-LQWJnpi^%k6Gl25wWt%)fqjKif*ZFI{?Wh*rfSStZVZ@&QsQ z5_|+d+xz7B1s-J8v$j&=&c4f+E_H&3?Pz}mpd6SPL=L(5avjS>h0Cto_-jfpsTPZDF=6vUyvqP)awn5z^<4Z`)7!jg{{B9mK0?Z4Vp z&k{rpTQi?l%>2u{1y{?%5uZKRVYp<85q}SduZ1#aKypZR_XG!sg9zVFDY2s3?^)?x zbYfUdu}*V``=7C1yJ{W5UejraG9vTUzAQo>@aGxNRzwuo*Qr!Q9? zLY2_o;bI@YXCc>9C`7JNgL_&@9sjvy3$G^cApB4dL+Xzss|ZcO-~=Os6yijU)w$`{T+Vjp>AY%@m^e5=R3 z+Ww2&_08I;U-;A#30^N*U0tR|~{Oe~m63-96_}wn)#s9n*+zM#Uj2J*XzjBcl zf4+y=9^0G4XA#SUDnS<8?cA`+0%nz9XkwHX3<;gU_dZ0;`{3x*P;?18%@0GmkTs#= zv_E!g!H@X+>yN@&ZwGySOD+~_9y+$0g$E{|)<=(3NVmy61IR000gx9Q|8`;ef2=*_ z2Lu;KB1`MRG{sH&AlMPuyKd6I%f6?XR6j`c+NJkH_0SWZk8b_Df#!6#|NW&`qtm)} zdiBYsf2SCdEh>TZqq&vyo}TVRMwt#BCh}}p2f-LL=eeuO0vPy9=m#*74l;)YgVABh z%OQHf=$U|tOP-zUjvg!Uv?!*zDPu$z!-1}ZjiVVNfE%mmP~yP72$Py(0f0^4MmS?s zCnqezWs?C{?%73;#-MoGY9;_rmCH)* z@Ad4l{A1o&GDH$9nT^&U+2kGQBMswO`U=q(*oiPh71C{S!4UB2oOY-b>(p)9v4ECF zFJ~8+G)dPqpPOYuN!_8>_ZV3vA2@fNP+M))< zz%rH-y{enk8r^t5Vr9h0gZkI43DTHC+AB(7*g6FlQx)-({obcShA&^f+UBz6+0EO!b61q15abJ#F46>$PdZnTL_Tmh=AzYj9WEBMO9V& zde}4~J|*bB#JvydRV-|yRuYR|aXcB?{zP>K?X3}YnjeutG}}c7vqs{-y`tv?C_NQM zZ_r_Bzid#NGnT~xv?sbjATUZNE)Gvvq>HBDHGo9uUx1#NjbJH%lPYd5r?5?%HVPT| zfZ>vpMRaP%ZU%};iW%8tC@KTWpMa{pSgzng=Y6@aiS2IwL<<)ty(JwEc85G?!XkKAPdfi8>lE-w*wL*o`c z8;1$x-BKcUcel6J(%b+&%@}wYAd7%+1Han}{PW$Oe0#kX<+eZE_C|(lbaq_+J>)9< zlx(4lMR`oxd<{`1_j26(tld5RKuce+Y_N*6G{nN-76lU#r9Qu-mw_PyxU0Y%o73~P z5!1_{-PyBe#h_my)?=KZfEL+*bDc-N78)&z=6< zFdI%jL0aaXa1d!Edyu#BNZWO9gd)lpj*8S_2*&U!{_P z6!{BJ#XnH=tduLM=LQ1aQr29C)Zz(uWvUxBq1K@h%adB^^&go%m zW0Qn$s{#bkH1YI_nK#yL+Ej}xrEu`75SbV-SB#{|g3a7dh2AH>3 z$eo7FYOE z=b0!?gS@oZ+0A#1FRh#>?ONTX?-DgLRjg3(;9*9}*r2t(TS@lScC8w*VF@})+OkMn zED~N*Kr+zXGQBk5FcO|6RI5?}Q(Z>to;h(MiUEu|&Z{Vqk@}@~n1|m({fo90qln6R z2@sf`&S)nFy_mSoz_n>Qp+vT30FB1vPW#IO&p1HRXrdn;5256jBzrX? zLu{r@NuBaf`ppK&m=p|pztZ~Q?zO1Sl}`_*M_*4Jxy;LU>eOb2WB6%|Un|piSW~)f zB&|?@O`7|FURSSP-LPrXaGTCXmP5Y>f#%HuhPSbh7)Fj0r({q^SKT#G zz20~IIjq53pMa3Bf+Eq3rK5L;`w@>>gVK-iR-mucxeYdpq!TH$$o|MHXMvlfR>QwY z@C%-=S}oN6p8G!&4#Qg!`zR|HlgtcCQ=UB0W?mA1f1RS)(mCnP0^#kxpPc))Ml(fi zp!d>_kUZ>KjVmVEw;ea%}(~Y*J;X8B_yGZ7F$R82%=%8PkzY4o~I)UYCe+(Q$c)(o}(6X zuS2LVhL2pC8j2R1Q6X6$ENyf!xz26h5hX3uIV1rU7fA@+Jijjnr-+p&oNesg&j6L8 zcklK_j}PP;U2K4ERg9p0a+s_vW^^_JPC^(rxUtrEe_(;}$6^PC-pt#(A5K^Z{^LRh zyj{6!)d|2Gk8kF#_VUr8C&j%E?qyv0_dk_`X`XqVI+b$;Wf7-QC+{;DpR)$nJ87?T zpH8sIkf7oFFDC`XCk7q-r)jx&B23mxZWj1JpIV4gx+T-u^&AioaMyp6G(j-vlU*ZV zw))M+I?#xuUsZ+}MEf?pc7zgV!U-(%`Ft5m@xM=SUA6tne=Ft}! ze0%wwC@w@1$H8~S8X~@4O#&Q-Rsi8S>X+Vgraxm4^I6m;^eCp3ZY5oj!h^}HqQ4_s zq3^uHM5e3{Lk3F}3M*OiH&Ue*KYz52ku`a>@-etFXb1RQWVBImVBjtp&lDO^NT=fB zRPtfbgK=n1c2Pv(z97A45(Wb38~o`EpkdjPJ^?E4B0c zl%)-1m^53429J_;Ht|Q)EMT4jz7XwGB=}SEvtVCm|G(fh>25tJnfxk6JTO? z0dTg7tyvf|Lh?MAi4g~Xh3lkUv zGIjaFHxiu^bAxQDE|?O!l$}*Gfj0o9)MH)H8*RAj0T9}}Uj`NVwK)L2w}k{Mk!S)) zBOsO(SiEPPUB*QE%g9cEi^F%%-&}N@RD$x}xWyX2HWiw*zxiV*c_Vzs7?|$7BpM3p zV8irYNF@S65@v?Jl`n>{&*YHdl&n5f8DNk0kolaXvv=&Zm3UwL4Wh!>WM&qfZ(Urf*2U5WdWlkST2r=don%8 zCDGZjg6%>G2`n$K_Tssup=}Wph{)%EH;)FN?YcSJZb7hVZ&nz|s0*aq^md2YTgQt) zdr|L(){{dAs58gx?$_a53iiU|t;P0o2>)({M;^Em~Fel`>VutN_HNIYYsdt1BwIBrEq71 zXR7BYU)|&Aerf++U%!%VP5xd(J;0Iawh;hbmKja?W61gUU+9;a`2HxG^zZ-p^Z(U} z{vWDRh!lOjgCFesgG1wPzbw9VFWu)q6Kqnf9QrGz`}b%3-{rRd3y?UK*` z|AaJ8Y}i#&xaziE z{P>ss@+c-7Qh5|YG2xptAbll=i>}mXsNI5>FU{QD&)!`^ZyHl1nJco~#CW#)#yOP)(;vE7xHTZk_Wrsa4X_g$L23nHtZ?0=o<;&mA#I9m zfyVy}6244N$UqAHkY;~O4+svr&6`UbO1OK{uC(B!R%3chAv72%K`v_JTK07Wy;oIV3&N;%#al-`C2LQ!+Oq6_ZYgge=b0r`3-DdY9-MbFM&C6`jb)`S}I za2c@VT;BJSnoqwPK6Eq9`AD_Y7uOsGKb$PqT!F|oh>w2p)W;1Dj-HH}*FqPE1;nCu zhcS<#ppflfGLY&`G5;BRbqZCdlKZ*2yHPw-MQAd+H59SypY?NM+eRum1a$e>1a$>KEW5gjQ`eCm57k|bmOMbPi3Rhn zAPK0}UJv~2YGhKkV9YqI*Z9wTT}VYgLOT)Y8(m4=JIm8T?oK$5xF^K(lx zjy1Ut@{<>eno!*C>9BpKPnrHW4>VS%?y8=LWzLr8B%>Ng&o-b`wfG?$q`>$Eh;qal zkRwOCXed?>B~`-L9doPeJIlJ$pxdQh{t=KCbW2*X`@p(P= zH%Fhweh9u4^LmuF9sWl4;`LwX2upTEA?%+#Ux~(_j8;mrXV@mnDXG&@OYHK*alyKR zdY!R&QK9mRt{hHHm-|Nu5%9*`%`|{J98rDuQ>{uMAw?szt&#rcW$;Bn>Uoc!twcH~ z1}Bsra$gkY{#w&x_1KMyvpf&Im|=i9FpcK#-$P?^EtaxxeApA1gn4%(Rp9eq5D-)O zoZy8o&sXH9={VBe0VIJ2I^S)fhYE*MDT?Y*r<(jwFPCRaF1AxbIm)2o)FdE~z4A zI`3fkXm)m##m`|Y&`rmTuD3x%t z)m<*Vp==Vq7FDKpCf6y0xh!oed7iCMgQzf#;do^#0AeyAS5_o~h74e;(^r!Q)c5?& zr)5{QA!0Z~ZBc(gCz(ynxOY#T6>09LT;|QwemOc6)t#7qmLI&sM-W*YN>V=RFlRxa+@2*jqs0M>d(dd&S8{=qNz$0#wIkwD{Yu7kcBC>>nnn3?hivNR` zU}f(k6-1L!{ZoXze63C3bYUbSD8OZd)X~peBAMgk9B98Ms`#<+%SOS?)#jzq2^B8} z^AiIi{l4(K<*GnnG21KSAyEbfl;R?}SUb5ooHk}#Fz-+#15l{Or}c7N9C#JP^_he; zpXvsvOlP5ZW=;KOV85*1%cxvg^weQ~PN;QGaP|)!$0cv(5XgKCZ{($?q_oa8HJLI+ zOWbV~gWWIbx+)amK_g8~tf9>BCV@8PgUa-wBr{~3-1~s#s^j@zbyz%24MY&_nwMjQ z62IYJE0OE9q>V3yKEl~gL?lCxH55*5Xpoq9Z%Z#R;8FeYtgM;dJ)4tFwX(n6_<4RK zo*|mNb!<$dAu(gZ@E9!O`1>4(G>`!aHiL+5kqF6Oq-;Vp^cmzI6;_+O;@8cJ+I=Y% zz6S6)s*G@2_~FCvN8g#UP>LKdwnZG`8S}*Mv>EupeF&HS3;v-3LI7I$?%fz*zSvq4 zR_}gD!`5I)R1O^y6$isnJbjAl>cCTy)K%Gm2-(EAp~-~kAN%w5e)e%p3_Tm7^)ctmr;>fVja%oI zmU`Z~^~}W6^Wxb{s7Gk{?znIpm#yrF4>`eIqGKv@*1dZYYzmGpqxRbR_^Q475$d&p279dr4sK@dcF7ME zIk=`6t=PlxdvI{@TF&T=VusmI-TM5+Ws%9vn~7eA4+DP&PPHrUJI*3zzAZM-#W7I%;f=vV!Q93QLep?r+zj zLlI2oFfeHnYVCGLMj|-d=&aZ1WmZN;Em#%U<&Xy>wv5m5{r=#P$MG<-GcmHEvWfE# zV8)k$$qYR;Y0^Zf&Z3H}n?WNC*l0eCc@x)LYkpO^kLSNlw?1VbMM%YhwVbuC` zIk>@-<26gdw{E!pp$KiCiVOW>i$;r81_=bOGD7WIlb?Bo7=AEjbk*M7yJ_M*R={Pz z%Rq^#GN4=Y!NZ41xLDL^{spAkZgPSyOA}k}NH}z86VF>@3}^9qNBX&;q+~AXsy^9l zy{W!1h|($%J0t#xcGi0~kC;@kYz(h@hV8OtGW=$=LYv^*ouPAYVv659ZEbC|HaAx| z;tBxNs+*UW*LNZQtqnP?X&G=YCU$nZ>`;5H`^ClCxsZO#h|!}P-w)Iq97y2x*wb3m zp3Dsne-~Vzm(=YkMzP@^BMblNE%0V< zpD!CKHvf?Rh3sIJnH|2{>nRCLK`9EjbCz$Ogj)c&c8vN~QDM%Vm_B2M<$T#7l-XeT z2%($rPM!|MF_$@a1|u8`yxf*8D<~)sMf&wiS;WgvP0mAtf_2{)$^${drU(vGx~wkp@qU?unX~`L;rRGb&(rpV6Z{nl0(QuvJh)y)lbg}8R|@L6Tl^MfxBxt* zgaZiG<>(Jijeo_`JXxpH)A@Sz8Rv(i>}r~unW=z}<$lYAC1&Ogh%*iIHA8mn_|mC? zLJ9?V#uwZn8Abv${llw)gR`CO@H^`lEV+C2?}2nBx}3PpJ~5eNMD4PKKtaJ+FCihJ za5-m5{(HMxXj#gz2 zaEs&sioj80N56dYW;004iHW3*323}5rnjpdo><#Fe=n`gBBXz7=~EJursO`nLF8z} z-}(YEmD+jkgO}P&m!uHK5g*h^4^HpR4C#IJtY_YxXP%w1o`fD5?vQ0~f_$y^(y7Uv zVs`VxN4i`t-e_0pdj1P;&2KnZ8MMa^BqZ!FHA|(%U;ge%WBe$jOi#|(Ho`!Z3w)!t zOQ*kI`sU3WsTJ|@>zFsP9~l_Jc{)l}g)HEfZk$$M*O|!~znjjQITMW6^!)krmYVD1 z%IoP2($Ur~t5vXN&++5x74IJZGz*+)`)d(R23U%8Y5;|T%JSIBld1fm7lnmoX>ToT zSD&nSWzf2HO7_mGd()drh5l^Rtl8B0vv&F{ic3f{One>4J@}sg^Le=Cq)9&O z)~$PR8jWcKBO@d9%_`;PKZz~sTXuEn+gF>Sb|{s&?5>J)#TKWbw)SR{ z!^^3OC~k&;%bj18GQ3y_Se9WUn1@+L zAnxYGfHtIeBZqUt2IZMEXI^>qs42bbP@T_hYuA|J9R99wUWeLzl<#S(=@&ti%z9e&Mye;cb=HzdF( z?j@KfF)(2lct4o%?^UPX2+xCHRDXi{bfC1azke!d`16P7{Y6g;b+My#^z@lC4P=0Z zX@J(PS}9Qr$Zl?-0|M?XFQCTv#EQ)HkR{f8VTIQWyPO}6dND^ zs!xC)DFMDwxo6LwVGG!vlS0}Ax|JkY6@sFbp`nUG1mWm!6m+vUtzB!9>^5%X$UhdJ_)!@z zfKCKj`HaaUxy#svfQ%gecrEXqrE`2t%uc5vt*2IetNE8D&(y1_?s$%x zIf7gT1K8iv%1ROgwf1zP?OEoj5`Ltmre2|iA^9FHP|M&EvXnr;0)1Sc#Kgo~g9x@} zuz^xOP{J1wY}4tE$&o}-H!%Oa_zO!5o)L)+&{FK}QKsL(1ku4;`vUsfTw2-l@>7tU3>IMg)vynyIvBV_BuHx*=k!>b57;o zUtZ0$g4(H4Eo3mg+-65p4Goo+r3pW>K3<_c+W63s8(SfYfF1^e?(7f$4tNKk-*juf zjyI^^r_U7Us&!De*REVqz?)p9c{%}YPMjCTSDT(gBN&R3;!vkfP$++E!a1f&1d%Bz zi1#&d6xQm$eE$9)qYTsy+O~B9TwAuTFAIS=b2SyP#c5^{&3ZapANkTFkz-0GO`!)H zZN6SEGw37@V3+D`YLVN1D+;R_pr=A7swXCP>OjF=<>00LE@pWtNh{^%%?=r^|Ic5Z z$9ArB?H%{ievUtM?S^a_k8aVSef#OyKAeRsgst9HYBtN>-X5PxEhIpx{NUiAAjM|W zb=R+tP+S4c&g^XT?alq+Z`bhsrR67hTPB;D@{_hdY0FW9+diyCT$wahWUnsO)S!3rt#{{E7;%meSUs^W-s zE=fcdaMGBzm~E@WH#>Lp&YKyY70rL%xN+m$hZO`6*((G@?z?dOs8N}xo{f)-kKZ!O z^XGSqHlMb69a>e9tJL@5WGk!2RNLns^%NrcF0K$ix!i>60j!@9cO)l>aGXqSl7DDU zvb0oJHn{?Bbgkb}X$ZI~>16l8RaI4%TTi@>`8{CZs;L#Wjl+NJt{OM8&!-`^AOkl> zMq2(3+q`A7>9)61O3AFC6~f^O#p#fVZkDz4Zp5;JNeWnT#A+hjw;42e4J`p=(PSXsjQ0WpqX1b#T=LE2|VD&CH5b z3|H>gyfXM9WG5PBRYg!xkT*?&YmnRw!Nnp%qefP<`}mV;U3#5jehFRddizjp?3DTM zf2wn?Yetyv@Bb&%RjuT`Hlkf+0?wvup@LV2GSx>4d_T$1;ME>{L?}{FvTfibMWP<8pLj+((7s7s!F+yV@YFFiP8|EV4z@5 zA+$!9Az;vgXiB9IFuGU^6fhUNWy$Y^_2zPKR{uPE_7@eBJK`*o!^D&3jX51_muyI# zJPz>}?X01s)u5d_eIQRq7^p+bw#$067H+_sadL681JjyPu*)Z=zzLmV4|%&87DU*v zDI^BmLcRIDJju+C?|z-*1WUuMFw~5YMmg3RYY{ayHKDc?zSaL|cT<+BF35@)ypQWY9%zS ztD+LI^WeNU6AS8w^;pz=cfUt#Z;tPjeEqY-MzexXZw{aJ`lw_SwlgEXvS?PBf#Jb| z>tTn_zSi{J^|;TjJz)`RwpPS0v^Y1RGX1ul%Ilr=?i4j(+zYSiu&trusJ%uCmvA3Dq=myXfm~ zXO17gMt3foF)h$}A&^$mz2JISqBxaEzkC1V87nK*uJ31Fvd8j!UBAu`r(F+qeO1@cP^q#@{d@4!`)F5XW*=I`&%h}>FO zyjDg=Y7~n@z~a$mLL@+O?>JvGH8)oW>swCZP)I9m$svB$QD?sZh8#OnogexZ6-xwf z0Gd0r?{BKK1JMT6*OuU&GZYf`#p~C#DAAFmX;N3gZmr+H-yy-RGXtQgB*d9T-@rhb zODwz^KYdoOF&Z$Hqmk&zZTt zsnIiUIV7ueZf-loe(b~#o{H=fOIX zV|QNUwr^T;EztyjroBMTtE3Q13DgDZP(9bEVEybg3Ft<;ss^J*@H1vLJ>OYv>eQ!p zXPEkGL|YgdMAIkRTXLh6)~ zo7*qTso46p&;swRC?CLKH@^QgU?>#0=oOt_G7cU*%>$h_rttiVyc;)Mx zyrzr8CZ}%)?z^j(sXhFtPrshAkQeobqck>izbe`vY68={V%a zq=2rmlQ-#>y61dsR3qGH#`D6FmTxYPwGYhgwX-BI$?$jH3!j4QoMZ8}b)43`sXxr? zx&A)Q)-^AAewjOO=hcdyCnAn?^eWowbZK{=eEm|FAny(+3IElF}*PkpVZ1+B15{*TxXP?T49sY3ng`2xU zmD{3PubT!=x#Xd@dQVlTb@IaIwgp-Fs`A&g5#i&qAKf$EI{p5V?+-ML$IrK`(XYJO z)=gW7WuF+`Y*}TTwtn8FjMy7D6^dSyCN3`dZZ@EfNBfBt8xK32U3s(FSLfHs=DC%J z9kO#CnvZpP)9B;s2H^!SiW>UwIiYCjY)0i>_yJ;(ij2?YBdzR)a zEn8b#VM6xq-5ZgR5Xi`50g+M6JZXoq!nq|`TAv7xWG$6KV2j;gPH(2(Upkm4vw8H` z(J7C^I^2y+8hASKcYf8(Q_j}wmnII*E}h-%589++wMOIS z(-p-7-Z|UeP;NHJ?c?f}&JSaE7M(sp`lw1e+O_+Q-TyosGG6o2@H^gF>obleZttn_ zHfG<4v&)JWCciGuF?pVyFe}CL%gdKf{JQG)Tiz(3G{@Yd=-Hu9nH?OPPwk+%(ma3o zv94KOJv>%3`M!lHcNIGY>eTP}VF{s47;Q@9cVp)>u^A)Aj7epvK?D$-r6S~|B(N)_ zE`VngzRq<7jsG_-n!e>i47JRw+!CDe{Iy9gu;qTo7|ge2ZTJZHYJVRJa%Tp_$==& zTe>Yf*;7gJqd|CzuTtm2-L-9Z>%dg%zkPqN>5qTHQ;uv-iHMI}*SnF$*%xm%y*!ao zY?E^)_-^c?Iopd)S1s=~qiYR??z`jb8eYwE^i!(yx@rCClkXelFSR^%d|t9g*|uFF z{=wUK4gu!goc%H{=4aWCo)2mUJ^T>atw#@28g8i>fGh?HoRbptCTBY#7StfAG#qYe zN}ChlSy;h1drKpu_{VQ4<4w;w4Jqu9=1~!M?D3z{rNpKD?O0{Sw6yd!pTAWMvwRwv zm(fz+$R%mMNyDzop4AwzT4#&Ju=7z%`?syVPPzAhk4{hXibjkczlkrd)Azx(PrvPt zz5Dol$|bkKx}^_I_r!d?o49IKh{fcZih3n^Et=U^r&M-uD0!C9{-5TTyt}=1F3CM$ zw%={+$dQd}>V_Yla&^kvBy(-I*!Xs>t5Sv=qr}=0JL%x3*7b|!u{Ub0+4_5>%R9Tl zwRTRtt+sExnT__SQCmig9NEcoA7Yj0M^7%`Sa)atKtDvGP2w+7+2NL^21ao_u(gr8 z`a0lu5six(wumrAKwNvBLIJ=`(mKKzcI37+Z)J%ojT-IfbE^9CmBG>D+lKj7DN^T! zwixIUc(eD%7X^>f=H{JkVX$qCK^w!XIn{Bu2KmJVT-)IIqcA2^FCo7ot(7V1CXJ7>TyDk&hkea@fnrzoI%Mj;cdHsbm!|92vU zYC<*SgW_fv-GxP%9RG9qXIWiklOdj-126!zi9QYD4))Xv`fK7GsXoW?sg5Fu%$oky z<@N3^t8ybUXTLmnZ{UXk*Nrb9NbYR6+F2%APCzVb}`_|2V(w|pvqM@OrkOsrkLG{05`%s7Cc4I$P zMQVC_q;O7;lcKE8A2`qo{z|rJ11w~w0@iAyb9dgc#+W2!0|*UOoT!9%V_3XHp#J7$ z8*_7WabKowFfn&xVCh zP3}ART-vzhc(*Zwwb$NFp4D1QyJW_rd$(h4Qicv#=&-xbqpNR5pJ~`ERAJxzXpJ+c z3=YlDJ(g0x`sb=9-7^}b6*x5a+uJ~K@#A2h_$}RZOLLo^TTP+gwfjwvs@VC+Zis-_ z&m5tuEZ)^Q%UA(F-T+U4z6Upmo>^4&6-2LZcPj|ag-$*DeDqV%qiP>vy1 zl*Q4s>EN_Xc|OL(Ru(j#J$ZPz3Y!ADN*73)zLaT8Z*f?Zn2;o@c)rM$OXPJ(xxnoE z56iv_ryt!t_@BCyFGQ9GweQ+~j`G-mZtfaQ*X|rwv8(5jKHf)q>NFiwsqtmOSk=R8+X7*5Egq?=UiJ))ZBxX?bhQ35s~@ z9!3v~G<|l*8#Nu^$}NU#_=4#z*zmZ6jb>#hiq|ovJ-DW22@H^0S$9|NcYs zkDV7BtG@0L=bf59%gR;Pc*(TV8N0%EcDNE2G;5Ycoi)FEwai%1^p#Cir+Vef3X+{{ z5@uN^Oi3P6sVJzt+52p%rtke9lQd&;`P8N=mc`zw(3KGf4qT1fJz}9SBh)Tv_9QGv zkeqx21Jg;>((V<*E~U+jCSVBN6_!@WeomBk+3q);&{kB?mAxFh6d4`La_MXC}EVu_$$&Re!>Pz3;vaZ@yscqxXPc*+(qw6+%8ldZZ!+zmH|9a)qW=4e0 z*-w7*NVsf~?Ws8C{AJLxdHEf)mX44=+OCPRNxO3IsU{7l&7WV77fkW3W zD~abx$08ABTDHxpL?#eLg(%%2eyqY9HDLk2QwUcPUUC@qsX!41W#{C`kiGmIY<@MQ zrwg#am(5so4b(;7A>lujy&O#?FNCv9`%=amv_N;bLz*o@xDY;O5K7>#*W+`={H0I$ z>TNA{>gwrjz5KhXu5^8v?xOn5hJ(AcufHbclx1ac-_<5ee>R{om%(Sd%fB-oNE=e< z3?ecqzN}N*L4#UguPHVzpO|CP($;2CMk8izh7h3YJ`7w}T%Tbfl*5Z@Q`0QMt3icM zl?j@Om$t+7e|UVscL6@hX1zCb}=dj=NjtttN8uoA&=~iwQt{^{!7rP!T6>zIPAxrM%Yq|rt@}}JCC2S z!K8L+ulb$IWid|vI@O9Y`!UMGK&7UpUXPy4F`>rnxHvhB7H$E@V#N6Ip|*>A9r98! z8Ny^a{S%8zE8W6A<|>f4t1uV@d7b%iP*u`@TfP$}?X2E^zPNa%xORvG=`uGraeiV) zbCZ(Cj6Ko!S$pu{tlwdmEr1LgjvigGHtY7*h+|$j&HB1djvoJjZRb3e6qfnr41hdN z=TN6*(Cap#0|ob>-?^nmvu1u!O|9uh-1^2VKsl-+9WCawY1$UYV~+o{;MJ=(gLaNE zC^Y;1{kyyIFS=wbFHvG6$>N{imn=Eoo=&Yuvs$$>iQk9JVFTm3S~J_VgW@M!(Sfou zs;^*+dN#I#25s7Gd4p_bF3u9HNpAUSE8zpu6ekP~>|G*2c$OJcl0DBoI9KuQ+i9g{Q4T_M9vl04_TNR zBq)!;i8CeYGnkYwooXtiRRUA%x7G3T>HulP@o;7gRJ+Ha^ZNQ$gF@}oZ?8vtFM+8< zV2(6zLbg^u%yD$pJ2}ruPQ%~jo~nzK-o)8C-u)JmdkuQ9>g@uLXT2nJKv(MG=l6&(4pj3A8v+79y9$+_$8C5^)V?**h z`#!-=72>x2m&)ol$+RVfVn-{l)TvV^ipCkhn6ABk=hsN#SzV)ri@mZ#>}mBIqbE+( z02Zu2eYzLoS*zH(nc()VR9ixw`f0DJvLhE#55_Q(_-Z;n|QT z30e}9hRXAwS6#larTXjb^#9gtUzsHf-pfnrez4w``Bi zeh{+8{o`xQO9JR;Nl2t5+|aUip;<2SuA)QXtB1lkcI(znI;~ED_4eT zIaMf!bU<^GDA=5I`!5%b3(3ly^hNQwwY;3pMbfZam?zjFZfXellxgNctADmrH5jz- z=H;##p`l2&aEn_X8{3YSBZQ3j&B<=8Nm#6-o_Rgh2XPwRh6(g0IKC|rHPAp|e^cy( zecx2(4L2#fgHsUlx#3W#pYUQP>=wcHiClw&thQ_rf}E}BFJ4g1xO40zv9k79I74Zq zVt&Z6XJ%Mc(XhJHm`mgdQEXz%TF7r;!AMQ%I>V1oClPVDL*l{*{4(0ZT&=Q6!~AA> z$zFa?iqjbHlQ-)h5Fqru{BTAE)YmVT{I`rlOH1_V14m9$-F=B&Gic}P(=5g(+6R(N zDorkc#+kN;hSL$4iNC^ugga?V<7N^g4{%J5ojLRR`FnnrspDpSuMU1&w$$(*uxa_Y zU0s#vo@?l3(U0cYTdpX)GufEP?5b~9=VTsOtysA!)>C0rm74AS<2J;F*eREiU z<4wiEzpm9f>WJAV!Y>n((=ggNo1Kw${d&9XbMompqMdeB{Qk9Sz{>L4bN~wQliEplQLwZ)w%i8=24a3jyX+&hOc=_-A$Q5No*0p`? zx6!~Psc#_aL}KMZQuCV&ymOwX8}s4rU&CjC~bb{7w$3EV*CA1<7siz8?f`#)zML-Rxs8I zKFai`bYCfHl}&C?*tuhv!& zG`Fdlqp$=P=yHK9t)6?1B1FF0>$y6CLGsMxhPo(P=tTa+wQ5FJ{k9tiCSN2q`LJ?R z>O*kL=CiS1sa=vV9Fl%GuNn_Wu^o%9*w=Sy8=j`JLiRYLx~d0qJL&uomH$7Y+3Ry@ zvPmwxOS-JcgAMll{z(a4U`SZwbCigpt;nuKU!C;8iD`C)&3!$u)vIscx)ohRNyRI{ zK)p_{h0lCx))f*Ch-5)4fB9_MbW_=&taNgCX6FtU@}?11n9HjkmartIQhia=m-_8hHL^9w%lw7XPwybvY~9pch2KL&8Ff};!W-z)^LMv_3@7n?%Y`=zAiUWN_CVByL~kYbLhh_RtWBpo0`)% zTYB_F%i1dYYxTVF46(~*KjSqwissyO2~aUfb?Pfhx(o#l{gG^IowBAq+yIz%Z0L&F1n*H526 zn;<)2h(dM|f!mtSQ!}JILhn;kBBhiz5c~8V`AG#dWwls)B|_|1r|9yL6T8kxtxY!9 zZ{NNSI$E&;fV^q>u!5fc3`XX@fB)P%GBWZQ{cjl=GV7=LM5NMWY$wR`PhY>9L0uIV z718zDgag$KCJHwiodK*#Z6pDo&hTcd-y*z2_to)pQBB!>5ww4QAk#L&n~fMd)(m~9 zlvfl3*0B>><;T_JHE$+v6v8NrRPEmV`=62!)IwY^>1a_hFcI09PfU)SWlio*pVXe${@IwypktEebsL7WUt zpneSPAs}V~I zhk->!>HLgUPS`_w)5{hWq14ZuM3sJ>|32A0TY3zwp}=7<0R2Fm-*J_LhY$OS#*O5P zhGXM#xVQ(RhghSxS!zaM`+ZkVDY&CI*Z6@zUky zzz;#e1Wl`j1v&TLc7ExB>xWx@#eCtiY({75q!G1#tkt1^B%z>h(Ky!v^uInbQlFt3 zi{j&QLrRY4c-;IL)5_zE#_W8`RUuz=H#gJOt;gLEt;6-I{VjBL?Fx$2z2<@OuYmrS zdhHG6EEQ0D7*0H;%Wmcu3>$J2t}pq)RRTY>`V#td*)1wJ!pQBfUsv+S4#?RF>8GC= z)3V7jl{{UM&>?l?0t8&NW4T*wljuW-n43@&?K8k)^iOwW zjn~fCPdo8JMMN?2YrWq8?5-p?khjjuOFQZBUk@=!6I$>Rb@@jx@6=Mz@u#an=~Q2# zpfVmYYSd7`P}-?D*QdSrP(D!muouyvkqd=_hc_4#(g_#C=8=3LAinG8>m~QjTdma2 zC){--jRnP~^F1$Lm&8W$scUcld}yN6WNVPjF-(pqVV8RD-Gjc39kkbO-yW-*W^XCu zSqv*l5(S>Nb4>mtFynm)nuiQ-@+DBayDCw@`_iRL*4o_tbQ$5fM^^%ynAumZU8}+M zpy4gcY>^eD4WM4(F1RM$YWk^XrA`%|gLl8hOc`V$Wul}96c9Uf77Q6I2}@RK)HDBi z<+x^I@v^$yQbz||o*2Zdfh#c3N2JRPaSW%@p;GLus#bivmV&{CA%t#9FWUXi>8NV2 z5~%0^-CmkMUuJh~ZFLacw~pZ?tMMOS;VxLP?cwZ&3pee48dTO^Hz8iB&bBPdKol-k zg+NT-ty?pY+KLU1TxS_h!?_jW(uaq3bIb~cfZ&X_4!DU@#ef*M32s2v&`A~no!=!R zF!$=K`R2sazE~|mX(p!T3NFr1o}t~!#I)RS$p#uuziJmZM~r|K_7$e%@Za?Z;Za^k z@E8hv>{PjZhFT6X!q4TPFhigr=s8t77du}kKdF@H2V{?;U19kYE>ub|ROo>48pvjL zUf5SY_?xHR&Z^p*tG+sGtgHqQ%OnIib>q2n=N_CUkkF;j77xsA_VkyKMEb?d#Qlg)8uSfEry^A-SJg-vS% z{zYhMld(^jNUVpV0MBpW30*u)Yt_n zMaIk0wY9XQtDd%V5h=6VJT!n>eHKU9X})Csg&KdI?wN@!HjUC>Jq_Md3(G?(+z2An zD7uumtWuCMW>p1KIc-HYf6?p5B62Iz!lWG}i*O(E}}2B#$ZwY-nitrB{TN?ODcTFshi#vR4vhWj5J zX4dk;Ao{mgKyne}WH=EglD^g;Pxk{`55>iW6~z+Y-4r%T+unIA2lYH^i=p zXb|B<#js9E1lv~-TFFe`l4w&dBCoh?pjbw^>c%P09Q*zh$|b~nqmEW86lmjzke3uQ zJGnkj_F5&9auhfUZv;v(RAG%ein7n{-0@o_TR5CTG=aG>JGgU(j*w}&(~Kc#FXh)L zJ07VJF7VPQo@yu}5)-#dUs+%>JGWVY<43&?fK%mECRz`f0Z%Fp@;p|-x&ou1pBrh; zo-|>?6?)oo&MzpB9@916%#%pBYL zA@OJ#%cdbfCLjg{DtjLZ)(n?kpq<@bYukz*w%p;Ff4;fv|IrF(Rh+_R#l1E0gn
Qi%wbG)GfDk+2KD)>b@FQi`0LvwDzYqjs+y?bL+Z|_=g7YeQX&pn&dR)soLS9sj^m1PmzB6gGZV zYtDC;<{LrbU{gCW43Q09awq|H=~O)YzXnTk4~XZM;!%Qqhwg>?ZNmf2ufKw5Ksx#p zj~7eLci>Rl*b1*ZXc+-28}lw7v+4y&qeb3G0!d)0~ zXQv<2g%J@E6AFIS?LNy2hydYTi#bHx=uKuDs0Q^c>^yLw{cM923Yv)M=ned7HLu%l zmlf0^8iH7Et!l*HrUnWrsUG}(V&&SmZ(ohrJAVSj^#2_w_QIO;1pP2fjDQpqPt^h* zBGjVPq1~($taGZ#(Gh!5$rR9Prq3pE!UXlxM>B)&&1SHKhau8q>Ai5QLD`!Il(M+6 zHr;vgE!@TSAx_UR94Ijb!OAwVi|ZwG{Q$w1GGVs0% zxpV}@3IA5o4*^_oHlXkmB%xTPN+S<~&*+2D+fV~KIHX>sktV%9=>!r=*5MQJ;B%tg zIab2lw9_mTr`Q_*`(1XK$%uta67r|Y5;1yn)8W+c6*x4;f!2e6v)=!Z!tk2(yHz0- zwb(MCC?+JT{S{5hX6sm+6EVB8NLCcF+n+d+Oc`O7m?mXExnml`ZK4Qa>t1xs5)9;q z5%$3M+mVMI;IHp=*$>uGKlktut-Wq8j!ja*iU$%C8&Ko^uj<}BEa&|F`@fO~nXx2{ zy|QPCtPxu5OOZy#QVC^G*-E9PB-u$ti#-ilCR?P4v{6h9Nkv+ikP7W}KTbaL{T|=r z_vigP?&H2Yj*pp-xw@|R^?tuz=j%M5&*%9(>5}^0wni9_*RK`SGOuFYI*H9O=RTFR z2x^?1oRW48#~)lDY2szR#Cglx9bdkDDRY)?R61QFU1wB#Q%>Q2>+6u1zDqo&LF)L@ zADPq+BxIW1yKnQGm(f0Pf_KEw%MG)Z+ceZvJJqNh8|t3Y7X`}kHIHhCwA*GM-Oy#M z>#qWv9K>jk*h-t$C5T?!OO2OIuSG#z*Z#H#l()ZEVYV_O8?Mxi8!PQ1tNd z0Mtro)cXGJKmIV!`>$XB{-4zn{}n}jk1YNpf4CWZKO8B>?hn>rj?aJn^xUJ=?EBmP z_(R*_-;Cn>FVFH_{O@-8{`*rq|Nr^XCYa(r~~zyVKQPc_~CM%tIU9lLiwqB6;dDT}e{ z)w_35mg(EPJYoN%_e{$TXNpQnU48eajdJ4L_X-GIPS>Xv8GX9GuxRGyhZZEBvA5t^ zQg`HUxxg9C=L~pmzt^*{$i6L)1UabT_|u;#X#}~T`3PZ#G_6zgbx&;GUh*)yK=67x zhUo+~T9K2|Co&%?ZNS;%44S`Nc^H_R8kcC@;&DdCHb@{^T4z#U;u)a-+^;(+{$0~? zb&Yvf=_?ZqgubRd?Z@Co?+cL5e9X>Llbt)aa?jEW^RKs{AmeKf_MX!)hJz8WC6nLO0cgSctg%2hN0FMe(MfF5MZ^(g6UVCJ5 zEJ>;;m=m&xR;Mr!s}U7|S7>NgkhxhLYGm-%9O-(6EQfn^D`VmHJLiF+v9U6lv`<)A z*z_DI(krX8+Ob);ZQZKG9G$Hcu0gJVF@nZ(ePzo)``S`ey+(R*=+q11B~aY;S9O1~{NQ($bI$R- zwl{Vx|84}DlQ8xaUUAe-Tp&4PP%W)s2U5=A6SHL^V+yAgEWB*veGJcZnla}BM5$4b z_h*Ws`I(2TSJ7M=(Wc>h^wN$P@%I($zu>+LxW3r3Mz_tii(6Q zWHqXEz#P_I2N3ItmuS+``T3r=dUI;go$NlP;O*b`dPhH*rr#M#2>2L3IQN%v&2* zmzI(!@UaP8%S;?2nqA))J5eBKMN|Cq;{j3<)}xgbxXa8rO8GqHNj&(okevPRUQCmNIdW+HwUgda73?O zQgf;Uq4YTOC|GayW2SfBTrMr_o}4V=397bcfd65_ZZrPZmUc5OSQxEbkMZAXekbGg zqT+AH+oH;BjWbFQMJwhO%z9S~qts3@`S$Z`*mq0aVIBm?&>lhB{Sq0%G_K?K)$uHH zzJ)>qf@aF;IHyu0xvlW>8ugc6U0&>?FmS5)6cT6;ALt24TUm+7$tXy7sTZroJ?N*$ zBc$WFkzx@Erp-JfBTt$*2GXP2jFZW%YHyd(y%eo@iha)P1_(cE9&x}tmh82e&@A1; z^qtM*!^m-`p3(d=WA2T$#{nL6xU&3?`);f&+M_TyJOBEHhxHf$s41F4XSdBjI-n!H z&e~Src7&`#McEqh#_5T{PxfkRXc)xYsd;Z_w+8B&O(PCfQIVWijTCPnc;vCn1HMs6qV2+-OR) z8(7r}#p1<_2S1|61eppn|1gfoQ)QbtK2f01c6crD4DS(j<4t&-E)*qZJmPmXld?-~ zMKiaL2w-GVEmoAOoN1}UtTyKU^LOOYhu7G3Qwx+FKe;2tvT1MuR2792D3YO-Rb0}? zWA@X&-E7IhD#Q4sbB(~po-Yg>cguc5NzOvstfD&8S+iO*N<}v;`A);wi<}Uab2(IR{My<}g&#DC1JDyWJqqhC%$mOusr_e+zuTXSlJ z6J|_dR0V%vTjk%#CS6d7+*M(~p`v84Vv#Y%g@dynJ^DpNW+*_}@*Y>N3)u)D5O!K@W!CgZebAIEfvyg#V4wueF0!FMk+6$Mb)l{=NjDVgU&;v&|@ByzJ$fi zaiM_>6}sgf{Y7GIsrbG5JzJ}xXG(Gjg$ObH&?3AgFA#_vU8D#HL0lK19>b`&Rrxpo zX4(wMHxBd#6t^Hxgu0!0roo@SI4r9G((aSfT>|SP6*JJvasu&hM zAVdkP3tBD5Zs5@6YPdhh^uTw;#lqmx1AoM6QkPlRz=z&Kn!RB3F==D>GwrWfk(hOZ zgn(zR-O9;lL;RyGko~kr{x6STkYSiC(GT!`_weK}F)=|4-0#Wozn(8b=12r20%!9QwG2_db;?4P)I)ls!;}y(a7l zCk@~xesvJT?a@{TqBwvX5U&O?%i?Gi`&XjCAbdj(tQ_h#jNU}y%K>BLSBRNst>VUV z>Uff#EuwGVCgbB@Z?y3BLOk8kCkTf;odD08ui1Ll$JyH#T)L`FvJUKwU3cmnqm z!HFKb(1%TNczwqEe!o2~aZ-6yf`=QM#|G*OVln~fLWD8^z8%ngh;xltBGPWU7*aaV zzAXsGtJ^NuojPK9{pA;Hs_m(}PuToDf8ThmWCxdT3s+^L*rx*u&~y@E>k^PT^Ax&q zP{xBpAIEcohy9j+l{+CiA}~PFf01&G$NwjJ#Ln2wo*J(in{fxy=`#8r@p4$N#zbdzk484gHR@#U$m5wszw+@!pixO zR|pD>IZEHqiGNv?KueNKHDQThKGmEFP|Q?*!{!t`Cs5~NeL#ktqudC-3G8<}X`80% zxlEFbVdx@avY4sLeW6H@LP0)R)Z?_X(%li`HGjtG0k8)=%6nX*Lcx;6XTlh8UARzE zQD0~OLx&XVA4b2yM`kekmfCMw_HuU_%OZMEQRi^viG#BUO*pL<;VUc6j961J*h7PK z=ERbYGpw$9Zb|I-(B7Xk=Qw@#;%+4*x%^+uM}^Fxxt1}(;LHwy0se`b<`6bRO$^qf*;6_Y^uAqZ#Z!j!bS`HNSt&I5(G6A z63$w6?5K@xC-nZTO6GLk{|G(C$72uDf5GB+N2RHQnW$4alDt3TM_PK3&6HP@Mat?8 z-o}N<_a(24yHrN1d+d0e~Fl0|D$MvOV4+v#Gif~HwPmiN90;wFtE)O zjWG}#y!YV2gHIja*9=9bKy5%(?J#QtS+StVQZ{n$y*M)m$MJQkmJTld9b*O3DBk>0 zc_6ixCoxWj$ji4uCnKfZz9UDpn;QMyC=*&Po>lF4()Wvhvi+=LY9%EP3_s6xzAi2| zWS~w?>e}vW2v&{Je~Td)xs?$r3@?g&zbxfOjd+4Art;Om>rW~?x=S)7jVII<*wm+& zrk(syWf6J)yyE~ta%8^<+RXIg?`}FXk&p~F6^RF_1BklK8YQ=BY|h7UZKC554J0su z|KeCkbLD-Z4I}2Wz`-J{ZEPA17!Zkh7`qoei4B!3Mg)_lPF3YQc7LW5RWq!npyDIr z93&tRJQo4N)h`6FH2C{fJrP%sT#uNVF#Qr=1#?z>Ihcgv6t5QGO@+ak2EOo=8F9wB z-57(R@W5&B;k6H2zP$Imm++)P+?zmm7bCh->|5FJ)+M*1gy=?*aG%pcZ~?{dEB6Y> zKt0l1G+7i#gWZw$v~J(N_f-><;m$R=44`jD-X}4Ygn_*Dz>Tw)$n&_`%!Vy9p+8~% z56^RXKRc`<%Cj(i$~Sv|i3S97#S-^(OX4O)S*f*tvey&nQ+t@qyK{7m=c*j?lUhft zW>$wtevui?q8D{RDm8&JrP)sQ+s@@Y9*)jd-Rzbu;gClx9{D26Aa^@KR{(s8dla2z z!P*gQ_(6jP-J$$kvgKFit92riTt=7-O*~2$3OTW`tcu^=7UJXkhm~#1RJ*v^*q|dv z3M<1eTxg*XcL%6vX|-2~(F&xqbJ)ewOZ2lSlA;!@0QabDb(sO zZY#)x6?g94Gq%m*;}r@Xn$5h84eK^+@J~5PvI;iSDCt(iZMT|sLXx46o+%W5bj7&X z3bzJ`r~NRR0_?2LY+hxX{-kAoPJ@(g^nu{Vb^?$-x@!rFB{_}p*KNd7Qv8|QOzB%( zw;-N^I1(erOr74T2ni7y9x=PHQA8fATK6aE5o!X-ILy9Q)?Qb=Q{u(3r`-3WW=A+& zI2OuU0&+Z2%^M2j4aen=!aJVNTbErSH3~SJ$SxzkP&YK^JkMK9Yl@NwqwWjT;E8Sn zD(axzFjZ(UOK<#&m%$(6$gv~bkfUgs>|XaKUPZGv=okIfS?#ef`lyV>RxheDl`OBv7Ha%@}u0Pucv2Y6_sY(M?wct!TDPd z?NZY~6lHwv{VM<+s;rrKLc{$la=}EAgseW*|4=Td{wSa5;q{Z&W~s(Wm!g0ydn;Or zNNBLTjm?Rfv98XRPT?8l)077INa)JEI%9Mo-?!bUwy956ps8^*Q!AH%Ow434x#XlR7|>VBf$ZBr>) z(!UoiJ@-$(Uu7|_VI?YVl%Ju+v7#O!uJzvV#`p&~oXA8q~_o0ZsG@nFMS0Mf%AC z{tv3K^J>VKucav6u9hgZ+WvC~t*CT#mFpg^T(oGv-Jp#WSaM#q0w(wG+No1NklSXI zOs#6`>b#Lrt5Um2g!4oEHHvjmUc1L`<;s5kR=`p4-bsV)QCu$B;-WsZAsqF!7E`sX zq|;<-#n-QGrL3m|q#5QxM&wuC94u{fr!bzbI;C$@qZS7>)mpn5s`)l1kC!PW0`m)E z&QnT6{*a(q5q1j$Ako!e5*UB?uAyxW&YG9d@FUM@C!-q4qRWG;ePgY}3XCGG{NWIy zqr>LYtALxBVXh+N88k6cvc)K$#U9{7foR<%i$gSJjpQTBjq2_Nh&XFOq`g?;Ob)*3 zv!y>p;azNVq`MH1J!zGDdEqaNyx#?UrG+Ok;UtiVOsnOQl|ka=Ozpp&lgwz=tj%-a z&&|=|bP_!&-h&D)?%Vp}j$5 z!K1}IvO5~(zQc;D!Xa=UV+1FZF6V)67MQYBcEW6m`6YBB^^^IBkEbrCgR=>3%%*N5 z>I<%b^}2_*6s}wE(>l(^RkV``SM^v`uX04m02f` zRVlrONs%hfBzWXjwtC8{ap)kKk-#Lmrc$btM~#<(I4?HC)Y#+63JCV^k9ppWv%|hq zi$DJOznPtkzS0jUgP$tD-MhUJ(Qqm?LH{pZJ#;A@TA9nSFa7q|BQDE{(PNU8S^U-S zN;a*3ohhDJe1NJJ2>>u04zE8)tcK)>r%IOdpKjOW4=$WP=NCk)vGyk-dHi1O{fC5| z74iDejPI9VrHL*JFhyEY0Z6@(Eui0M^@vkQ&6O@t85U zJEykbV_@C(W7J5?l9V;9?*3~-MZ8Z8x4?SFe=LV&c^QQc{!V|MI58XV`#vA1e!pC|DN<%b(?THaB3t&Gt@*yV zSTqL+wzdUsV*5*zDgZ;mP@qg&(_3(H0ooN(?y^dO=K7w=gxI2z#aUtB=)H6;Nq#~+ zkwDL`Nr@UmT$3x|Eb`{-7X{j(?E7`h=AmMvN}EB_Isvu#+1VCDBYsYFGb7%R$2SpB z0gZ^bfYBa+1&1$e(O{W?B26RkZO71rlUy1(I_hE^*h~PnT(WNI_2bze2hSDzBnB## z(l*E=NDgU|)UgW&y}KdjcHG@T`jCh4UUX~XN=#lx4*Le?0xWr;G-)FYvRKgXhxF~; z%6ol}%7wo3`9e`f0BlNL(s72e%LOv*FZ6Zmh z^Q^Igghok0@5)Xh#|~$ZZBH&EB?R&3PZFQm1!C->(Qlu0$_b0C5Uvmj&tjg63^s*{ zeL|(eNIo^zk1}7h%laozILLHbI z#M0LwL@Q<@qmuTvhtIiA@f+jx$KI^%wq|gIIx|DT)r__F-(e>x_8mIpMP;ZlW=t1g zoNc&`^29{VKlN(w(R0NN^!t7qZ`J&VEaIKd5)ghU?TDd>_C>3#tvz-6eC%V%TD_6p z1nI&H-*3Rs{=4@Bk{iZmDpT4(si_Nv%31x&nfzFE|KGKpC$)K24xe7>Q4*Nw=ZI#D zvP|KD44fldFfOveb{QSMFL*6&%O9KlNz1lvkURAJ zZ)Zizx>b0|U$VxpLXk4%7Sz63S{e5jms=Z0GMPLU~ z?S68c35p48sPLfuzfn@h5QPGkC7x`9+|paz;<-TGlijH>eIx~8olrMO`we@58n*9+ z)|#eWX&^U0H|G~Lu8GK;loa$o8L(NTDTv0X6GUCHrvmJ=Ub@tqpnehwp6+UfTeW3o zO(O-m#KsB|?=CPA3J(ObGA1)&vn7%vejHE!D>~vKS0BI)wI%&RV6B2Vn`ITIh4_KX zC<*2*{qMjnQwlna-q;^LiJWdXAerJ0xn(I&Tnq7=w!MIN?;dNS)BXK|zCtz+qghl% zxEj7$dl$URae$2IHF4mW2nc7rEBkRBs#5dHCA?YEqzASCHqfXy+!xCCZP*x-1!?<_ z7%<=$q_H{zvXc>y96kCZQAfmPbZW_%?7{Y^`>Aucb6M<0F$j?`MtZDzs5kBpgm%GC z#T>Lh&h0SHx*tJM$=zj6CROT^YcLa@UmoIM`h`BsJXD|IwGo9#Wve6(9 z+(c$GxDjMTxkzOMY$GU$s41+hx>1}-L$w%4aq2CSgCRH0eYr)@_xI{!`tQ~%n%{IX zjd4T7l$E1fWANZvwzr54Y~^hrzWF1K{tcn=Kg3gYYh(RA#$WqS{1uHZF$PWAUSi^F z8q)#ECN8%S4+ciS4gB|G?5Lg~2GxlC<}ZIELzX+eXwd%@T$x<{H?R1ytiNkpzrWG< zKmKnLX#JnmhV>2DsPe9c-pXO9iCfWBR8_beau>QpM$K_rDk|{OuEY7}+P2U<3vD~-we@s_yPv0yv5zhAM z;%9;_0ZfH-*&wB0QKjbhogAC)Hm$C3nmFHr$jWM4wrrW}{`!4K39@$yrzA*LUv6a5 zb0doGp!H<%^jQ6Irz*cKwn7Nz=>a$R?YFCUYTTQh{w)#qUJzcQxX0zo4i~BfOky=D zD^RXjFI%>Qbl-rw{L|vonD{<_E)Koo0>c>>P~yUX_Qo{0X&zjIiz}Th?XqI&HIlYQ z0$&T*gNW4x9O*>jZF+nilL!}zltg@_qPk8fMGqxvUU7LYb#Q=NQ^LjO&4&*QvuKVlC2a~w-s!uHG+~#?xysDX z{AxD|kF;GXfsPGaKR?z^Y+@0Ud7Q7XCL@!fK;%_yev2btcc&sWw7aYaggImi;3U;W5|q;s*V0er!QS8 z+g!_0843L+?L1(Um+aEJiY)~leBLPm2Tf~cOwoUSI%3dAJ^W-a`e}qzNMUtmTz(;O z3{3G!`*CZo0a%kNG4wfRZdr0M=;_)`nKr^2xCAP5fJzZmV5 zAV+~LL2zW!^Q{C@Ye+04Mh8-gnVpUS*g9Naq=FTGjoe8Vn9QKzd@jqD4pJv1=9MF_ zuPckxUg07sCPjFoB$~_GwUbn~JuQ*n(Lb_6;(Bb6<@kyUDR^ZrcHoU ztgfl*lP1r+JjK*Bk@R&I4*YU&Q&YulpKkc&TT{Wf_CIX@K1Ld}@e0Naz+r#N@xL^i zHe$7i42{#ChQXaPmS0b0?%?gsUsHypb8rHWZ|6oD8yYG}QynWqI$=?DMBbrgTeSM? z$1e{%m^bI~w;nxu2#Fa8_SODu_VtrUGC&moS&gi6m59X7|$2iI6U z!>l?C*(7?@k~E3s=51r7EnzmPHuy^r^dh`0w6sPro~z#Mw3w!NQt+QDS1 znZuQE@*v&xt=L)B*Vou%{LMx%p59RF+V0vGl>y-zOWRLycsk88cfM8atWxJgy-HjL zrgw5%o?BC~wHwuf`6?uiJ7MtdWoLJha+KCmfl_i*fiCCU{(AlWCla^*uXf$O}Hj_-GG`@7HRk%`0=owMBN)P9>X(HN0 z1k%rBghP4Z3;^$VgcOSVqs0Y%JF!ejA=y1qPaIZ2d|CdU2nLu*CR!BnZKhj1`T8EZ z13kjRy5a012(AEXF~6?IVvdj~7qKD?d4cB0k-uW^r}%T=9avZc)(~&VH5o{c)EL{1 zF7vLh`NbIT*lfZsP#7pfbl_pDOgc^In9|WH9au^w>+9D0;egC)LKpp3p)upVni=Jx+AagT3fkg@$vD3b;ph<=RkI|@MmpcE3%P4p`%QB}ycetKcyeA|DH zQ>W%pcgf@Q_xFEw&sW8ehhcT0Xkq9m+i^Z(*Fko>mqQ_*%}gL04}`~-kg^@WRrU8# z8OTxb$Qn=a7h1AcPBmU3$h*HKN;70VL+>j=u0L5M8`JC?@igt_eK6RfJApD zqiF?6HTb(?E8uN+1|8LQ{SE0!L_|0!=UN7wl}2v>*LeRHil3rIMiSA#F3UG`(rfpO zal?S)q%9qEA~-l$%IKi#LjMW?g#UOih<<^(!Y|_p&^^QHj8^Q7APC=)F75bPTKiu^ z1g>4bUPQd$meL+WeM)JWH0JAE%dd+15gR-Z>~1SYVxzw&48|}jO zQbkX>Eyq~-fFUTbK!A4a+=&*`Ft#KUVuTq~d!8Pe20V>!!*Nf>kb+5kC~;NHKr81- z2QL+&1EY1h-AThXwAt67mwYiYGu`{};dYWp5h7*sA8Cxt`Xgl#g9Y5}l7@wN>$~;3 zI4ZfkbNjO>F zNc-(V9J`z9ITuu+r4juG@Aej5qZs*NBFp%*KIK`g(Vy6>c_k;nYulv`J8O#UD4~#- zjbvCNUzhNygoake{gQAC#R;g!P=qcw8I)W z`EbpXpol4meTYQ`x5nNHFHrv*APvAri5zF2^1d1IgxE&?rMBWaYon#<9@F6Q9mR*hw@DF-Uy)R}Rl+?{yN7C=;8 zB~kK4c#Jnp9XPp0@ft|POnX|F)x3Q zb**xJzAs6ZcLK=7vB=2X6ajDPUw9GcK29)D(xv#EoUUY9@;5+`KIn7{H|slFuA89O zpjXO$0mc9IMOCeSa#o_F%Yda}C&3bA5-3Ls5{7m(cnDNaXgh{jMlPJVvGmNFq$%H? z8VWv(aV)2|jCHyZ9W4T>ypTc?+>yvAVhbdmh_C)s@nqy;AYME~O?Y$T)|jgNtLU;s zj)p~_jLMeTX5!QJaBGVtA@iwl7_J}|R(U&O$lPrZF_Zo%0Tv2Yb~$(zHW%Vb#*%Fc z$}XZz;f8eLY7f|V0f7oEat;XJlbQa8f{n7NDW#v{cdMy(z;rZJ9wP-3;e z5SyBXHPb7_UyyGus33TV=8z##ch<#P;sisDBpkcA<{f)I*Rlp(zO-kMDj*IKO*yNx zu}1NveQYAiuEQ%cscF{&B!jr(edlaPD$0f#<mCU$xUbNL$&T@U*AhgYAUPb>dN*^ z2X8^1h9%b<);wxP1HduSjR1_@qxwPVhaBgwsLA+C@`TrHUU6?jbG*Ok<*2G>%1Jjh z$FrH>_z?0-oRz_3R_=9ICl}9`1dCe3`EUnybuZS&4y6HL4+2>f5kl2IDt%wo ze^ngiU*1OE2rz+_(1tg9R2nrBEfDOu5i4EXk_Qi}cD|kOT-UZhKmW`r%P^J5m1~M3 z`dswRd-pv0St`6fBBx2LU9o~Camc^5Wsc=)a};C{#+1ZTeo2_)5IwXqd$4ov?6Tr> znN!QkPaF$#c7AsI?8Vj2>GKzjYwuSb)5y6ZNT+IxroFq)WUKz~oRcqF*^*6D1xQ1M zQ(bd~2>M7;1bp-!)!X}hl*;>~Wid@sp*lO^t#p!^RVg*`9G8--GGJ0RI>nYW2rzK5 zveC0Cp^jy#jK@)Ct-it-2U)aCOOoM6V7WNs?bsT^16d4YB9wwm*x~z0stx>^RDRRc zP)-UNOG>USR3OjBhvj#in`g7Wh2olh?j8d2A{u5%u??u2Iq?1MqQNjEE1Pp+LEnj+ zrGKkkyPq_Q^A1x5fO?d58D%*aF)%}Yu2$N%VL}NRiLeJY>z@P8ig5sRqx4mi&vgCi` z3ONpNwLNbBd2;ACZyz7IOAy9Kot~To5D(OMc8pbO<{X;13Iz*JO@CA_c7YNb3AY=n z*F2Y&cxIw@LB9d|bsYjX1qvYA)uU;N(W7w*dn%aStA^GnY zm&KZ}^+ldr>i3N(Beoy>!|(24F=hfnPmW3pTY+N2sh0c=y#wUft2?y4_1M%wZx+cH zvFhp5r=Nk5WHJF#fqfmEyW7Wl$|7PJsAv>Nhu~=N>eZ`3Nc$9+F70_(l)~XI->lT= z6U6&t`o$f(Da`&&@`WZJEEi+~K|%Dhc@|s0#fGXFS3b*63{WvWMfpA*PQU{eg?`e40)FuRvtv z&{D^s#88$8wczC2{LJe-_`IjH<$Kb#B0XcMB!3mKp9Gx}Kw(h0N2^PhE<|>jeQsl5 z#N!Z+#HPkOfPWsUyaWxB>;ct)P3-E_M^w>NMVD~j8NBZ%h>-AToE03z17y-1vAJ{H zqy(IpIcp@Z$Al08*Yk7^Ai?@r2Z{qs>K7YPn*qBViFbsGxgzn0@m2y2NtcYO? zcM%&t!6i!^#}(3ZE^d9&aL%oq8D%>IHIaA|iZ5ea+&H9bG9@0x%^j?bC~L*%4gyIg zG0Pa!msh9NcAhq6O7gnh+j#7_Esk^kyZd|*`eE)<`t>vv6+B5{)x8@4{|vuQ|KMal=;j6P@pY&ahNdp z`ZnY7^{-c?7vECeH|*v#%jl4Uo>zY3ecbE522|D$<=zNVLDJvG>ZmjtQnlaQR1#WT zGm~T^)NNwusDg^l?SK2Wa!}3fYsXgiNv5izH3`8svVl&$B^^^>Fu5?v{&`u4urL1ouU33DQb z$0A2*N%mG!jWq~03?@wqpPMt=@t<>H{obehd2T68o=<*n%02aS%~8!rTU9mYqTc@N z>4)yuOfbp+SfZjAt};fa>`N+pWD&82f#*jmNB0;wum!U8))jpp>h)a}_Gr%2ir2xe z$T6ctZnoP0Y2?p#_&12mTZAeVOo?Al-`T| z)W=WYVf9m={r&fL6ef^aT9*CI&CF6N))eP`sS3Fv-iq*>Bg>RMMy~4TawEXszb!5x z2`Wygi=Hs$USH#XbZLRj@Aq$FC6EzIUSUkH+^%EF2AtLf zH)k7$77d=yS$I0f1Ex-UV4mgND*wKwHS30~c-rS-*tl-M2=PF2(l9`_{uVisP3VWO zzm?Tk?;nv1_KNpXulfn}XazOQR$0DMj6`#c(OoX0)$yzMIkfP3pI^PouQ<{#r7C?2 z4eHXQ5E&WrcB6B3V9dqSA8u*=>Fnb2-OK4@B;I&ICE0di&vlNHHKOr6m3A38MnrBU zx#1_fi-{3oLUgMT$M<1AALH4M6<8~J6IIeIW&%GSTrnG`jHQ+}M0O}eVta2nsl{A* z`0zQkf3Aiw5G;VBi=C%9^~p1il1@Z*!zRq(uFN7DI2isFlfNmaAY$>gboWD;Fdjp` zWmb1=(8{LFPob%mE)q15J#uS#3jxx}u|1KUEy8C$5XBJGbH9Oy5I6Muy2X*MRmJbQ z!vwn%)qtp}=<%{fqCn+WG&*lmjvF&vwu9R4G!(6e42WFz{6ZJ{nq{&Nw0$=O7T6S? zsjS~W15;M*8xgRw=y8*Wjgm2n?2V4(IjRh`B}}xdTK6I`v55qaj?bROy18(jle32& z=p>C^zbe&UbhoQ8M#g=i!?*XFPUGUH31q?t*c_q2U2u0ta2e9o*O1NM6(Tq}ZwC_> zR>f0;UEG8PN6ye>-`DI^Jo(7q)HAw{b?tL_rM0z8DS}hio2!y zmmwE5Ht6i|48DHCbzr-1&i>))t`QZ@ooieS)0P{i`{~!2kq}A?3ihK3TQ(zL0w>+s z{#x^OCaPI>1;0HlSxC@G1d6~#td&D{{D~MH_TN21(TaH&L^woTi#BQF-^MwmZ_;Jb zw0;}LoCb9kd8>OWXTKJzQ4TINh>iDst+}f4yhZ-q)@tTjjynx(b5EC7seG&bWb+)= zIBQZ|rFV51-3}6kytylbr;ZeTP9k)v+^6kMMvS`}r`T4yf6R87X>fN z8Llxj|5HPC;A|s`&!mDIZME|Lvvox;0}cz1qcgo*CX=Io^=^jC2+tkxG0iWNv1kc>_Y0|cB+b+%R z-^zFVGJE^PRu9yNH0ko!%gIYT&9xJn>%@4-h&2$RK|#}{gq5$}y5gs8N^{Qn zFDyF5&2%o%-1I)J_pV*@dlaiAS@f)nU{yx1$ z#^5UFGof7+TO2kVTC=DAr#l7190TlZwd!ss=r@d-KQ{fK>o|*5skaks?vgtnf3`wQ zpG5=0*NORO;-;lbhyS(cT1xn>OR7_Po2Gb%zbR}pFm`ogqr7D`*#s$6K(}reHS_Hq zR+G8lm5$e|@?VWUCAd1xZ(n{}NA>oFoWp*ZXLTwIH)$@{9=foyFqPdQW;$#m$LQdY zwrNABx*X{hn*V!jOtO`g+t;=N1wx-W&QW|mWBIP6JWz$3>c z-Jfn^BFlk9Wvqx{sQ4A1KP2RKGK)Bru`FTGuRjO-xJNJ8BOrvHUI*QvpJ_7Kms(I+ zliRR|oOtqSvulgeIO`bJA_ph9ljqBq^MVm=+D2ur32HZy{dq5KC!H9afp=^!-{BM! z!E=*tt{!D&j_ifI%Z56R+8tY&*PMLyP4=eTrTrYDGCw#DaIiJ*bf&%kqR~eF>Cqtz z$BixZ+p)vi{-=!ed%dknZ|?~$8*at+cFi2VMYsELs-=-StpN_HN*9M)mW|nyJ}*CK zL2*#wg@>ih4(?m|P`~rdj?V9Q_AWT2=|A;jidTY7>B#<3yY21vhKCsK!VAPCad^3V z;Y}-^1+bH#$}YR6o;D({uW3LfBttaB(-+B(U|1t^oRonnwomV6Ja=y3y@*s*Z<~q# zbQrs6y;o+xyTezx{$pYn_*32Af6oa3bn^8z8Iip7ud)66@2W7<%*j{Yl-s3Sw@E-9 zTfRkw$=G7V*1>fF@N$_mE_RrB^2tf1Hr?F5h&@M&Zv{xO)1y%iy)-lw2&FeZcdq`q zoBfm?YVg}5&$ncMF1zl&KRobK$De;nyPae`2nsQ5_3Oi_1u`i@yI((X{)NkCG{)PD z?sfeD3J2@yC3hHeI3#5EhYza)AK5M&+7XTX@$m2_7>JZ=ch31-ShaQet3PkMgA%;W zv5|MMZC$jH^^C$-O#Y8VE?!pMM??DQ35wj?hk|)0suNoD7yx^N3Q{ z9ljnqr+;t6^r)&&fLvQKatuh_c{8;ls>4{#qF98MKx-qXRWy1%?B2eX#|ydz#+AL- zJ|7ig61x4U>5VhjTTjoOpY+Xn{N&E7<5ubhVFq(Iy6Dk_5Z(3_&5u{;#|9UaSDp8( zTJZe6?ac*FW>zoqj^=uwig>*K%~2gf%MZ-7vw zf0zJ#r|RL+T0r(UYlr`N*LrQV>G|G8t;^<b4c-zbie& zqE!KZ8mXKTGog#xk~H>#klaWx=U!dW_Le30%dN1?g=fkMAY>6X3NXCVTAem|!KB^V zQGL62SC(Bjb=tJdp5fBKiIlIy0PTR(((7?`zn}zLS}{UAU0H6tMsM~L26IX)-;M+u z(QAOVj6{6!k7MRh9-!-&CzCentfO5JuZKmQ&JhwRioAirqC&JX>^*Fwg0f%lav;eG z_+=RQa4WwAd11wwK^=ELUN$s1Wp{e?1g+NK!h=VR(jK|x;Z->bjy@O_(xT(;2Oqa* zxL!ON9-QE(6Z`!6;k(uz2{vyQye%xWr7=dJz7M(7R+nhA-59lyBON%LW5#jR-O8?s zJ|muQwy`mKY#;rWjX1+y^EnV-=0`QtT|Or zL`MFC(@t=cXkZ+5zE$w<)XJ_+6f}PiW-Ld)20zibUSo)uXUhbrA1X$Rq(_W2a|_(uNc6- zop^kv*cT-s+DKnCx_eR(oCe2e+B8Fy4T`mg&1qM<52qpR3>)>rVq)~gj-6`sgYoKh z>xOK0amkJyI%4>6jO2am7WRszAPP2VH7PE&;#S7O8*7z7NUZO*g;6?fmb@j0;xl>W z#FMS->gqs_Z5wQLgJibQlBG+d7hFqTHGJKL0&XJ=J{o9XzwK31>Lq(Y9i9qQ1g|PgpLQn;y^1FTV2~Qstc4h*juB^b9a&IVw#26_g?W@C#toi zk1X~7*k}QcZk%>0`?kyTH}9g~htU__+1c5-@=Z(kcb|Wa%G`xKAT28NuC;-)vtIbv zcE0129zB}C5iElZ2?8?6hI%k@@!m1LZfs4Nb;PNSg=uu^5Z8P8A3FB)pUPRF7aSCy z$nBmvZ{AMI+|dJET+42caDLoHvxv;2iNYj%?!tw?+_o$!J<#=M)0A<8#ua2NoNG5E zB&OMju(e|FMgGk{J{+m;buf92v$>{&xwgL(yEpT})dL6AFq(Dz_VI|{sHFoxwKw|Y zY&0^psQmZ#<19xaJ}J=@B)svtmgyo_ZE8Myl1h`8ocW*>jA)x)Zty1L+~WV}Z6 z=5-8LzLzoTX_o%zjEZoPl%dum9j38x??NA+5mlpUOyep@bw2E>hrAj(V#K<`4;_8d zoxN)Rj%%p1M|^T=^`Gd{h)338Z#s4C2-DM;Yz>$To#~~L>$?yw*d!n5IkS&?%-cnN zqk1F-Z+?F|;PcCs7sW!+iOru`*LDGq8iwmv8yg#3eOew&_QLHoIBNfL0PUPDHLD5l z6wHn3;S7G@5!4Qe3_{$lvi+6~g>;|5gF<&Wi}s?f?fHGO39Mtj_1vBLDE9bqrF8xB zpIufF;OlFP#&stbfbqaIQbf|0o8R{ge}h}^U4Sd;u%ram8a})o%n+hOk^Jf{|9roV zsqpY*!!NGecPrA*BoITC-BQ|P5^g+y{?XK7d6-dgt4sH~*D8ZuQbui?7kMo!W?xA( zCT*phTg@>E6B#S`y>o&NKop_p-sqAT<*W04q3{K!NE`Kc+UMJQa@MNr#I_7Gx=^y- zHmZYrbw-#hbUG-%R8$y8m}~Xxmpaf=pvP|YpPSV3iT6+L9gFLbD$Qz*NkzZC8)=$x zKjX&cdkcf!cIq{$)Zy=@`-rEeW2^2LIL`kbx`?fbEK8yF^YioXEYU^Vro^UfrM^Ar z%=2RDU6CA|ypg0tq7gJh+Va3cm(GKpY2sv;a?V&XFJU@pYc|(zdwxzodC8Xgr?XAp zFlZtX`arZC)zzCf&ffe0LaQ_&u2zNeeiGFA(-p&L0DHJ*S#Usr4@pLC_4ByxM#sgC z{LAJskOw~98Y&ZmTh9-D-DaZQ#!s(&foop-TUZ)WOvP6J(=R7g`8OI*0cAgYh!a%m z^iW@OE3vv3Edn@z>i;l4IEYSl}2vIK-CG3tG@c|8D {by8 z7FJ)iYky{)K&-q)!}jjeC)?DIoEp+Z*0qRvTrhtIk#pYSp=#TZ)_=sH+s8MpUE2zc z(*#g6w$)>b*3)Lb0IHk2w2*x(Jsh%5>53Q;S2e@u=;%@S+IZyF7LIT#e>7s&@4x#( z9@tRG!nq3-knxi$H%j#TgkiqveE^Ub=_pGwXYJ?Kl-#c9N^2&~@E$;j$4;DRv{%1u z$HLwZpkALme(aIkP+uXF;oRKDJhY9RkubNp%P-^gSf!l!lFB|l_bM6EdgCq;<<~lJI|l* z|Le~`_3@uto8NofoBrXt?Kh|blH9saC zv!Z5{B;|h?$0z>tadQ)|ruWScfYfn^P)-fC`=UPRs@{cXE0#7-%g^t@zFR-4OAj^Q zg(dw5ZBSmeX3c|l@A?3#?hg)LwW;f-hE4h78md~79CjYQ=KcCnsAikIeft(SJe)w! zEL>bp%y{zbnRm&Sid!G-wEb0aLAn zXo(PEMTZV=&MT!Ay#iPAGK=uCyqJhpPWY?<)7p-mI#KRww)6Ww=4kzTYbU1{Z?^Qh zwqRi*VJZ(R5f1T!^NT=Nn1MbK&H!>nsijhcplTLzyaulyEC{7fbBy-m-M?+qs-tpc}Zq@Y+c? zNu$TO#Vpbd;vPPE{=5mt7YM?rV4H_UHy|5gD)am*tJ2-qTt5?ca^z~-ZYcuZefS`j z?zs7W{JZPN4}>BRnb95*OTVS0rc#XWpsg~gz|j>e>);@jw0B=OQ($e}>xmcD ztp*WkH}d%NV!hd42DEF= z2Gpy$J1Ed@u=NV((YE=W6h1|c51w5nc}0kDmrG-Elc+duxh}M_Y8g2vH7H1oDREiK z^mYLgVxbe0B+Vcjx%edbQ+#Q1?=Ts*7MvFG?b}ACi{A>FVS9DnacWF7f#?Y@>tq?F z>5Uz`hmf{@)28m^E+85MM;inM>F=3dvd? z4m=PsK1U!z!SuuS+}hRrj!s

7(1t6YpJQx&ucpLyXtU{*-eHb$9&O3&o6l2U^C z;7xrbWBbT9LwcMw_H1R;G{_hc&LqetdQAuA8dhC|obDoHGl3;-E21@*T)1-Wnvl&- z#gW%Xb{Wz@0?EQEO|`0b%!!}aRMV^0{m#(GCRV;4u61r*E)?r*DQ*7YRdgFZd)>FA zQ6U3~pHAfB7(YE|$XIS#xoA`mOc9okaB>*?IBS%qS1Vl~5=RGE9(}qwAN)P1_w2yF zNl!Z%7T#l!89JYpBc}Dx)Vy1;tBVmI*Q)I6(#v!A1q37pU2fR$;Ni{ZB*0CZ-l6s@ z8a+8buGOP`8eV)cUdbO;D~$qXYgx5izp%^E$n|_Q9fJEqLdGoabnsx+(m}s|rq<6K z&}E#}kGt{Xm%jgIR9fAdQ~&)&-~Y|>M2lwszVna&^l%i|-2Zr0()pABufC|J+lX;p Vm1E3I4k`GVGQnj01tV+E{{`MCra%Ay literal 0 HcmV?d00001 diff --git a/scripts/fig_loop_vs_ff.py b/scripts/fig_loop_vs_ff.py new file mode 100644 index 0000000..6837e62 --- /dev/null +++ b/scripts/fig_loop_vs_ff.py @@ -0,0 +1,60 @@ +"""Ladder: what the loop adds over the base model and the same implant +applied once (feedforward). Same 250-item MBPP eval throughout. +Per-arm colors follow fig_phase/fig_kcurves; easy pastel, hard dark, +overall neutral. +""" +from pathlib import Path + +import matplotlib +matplotlib.use("Agg") +import matplotlib.pyplot as plt + +OUT = Path(__file__).resolve().parent.parent / "results-loop" + +# arm overall easy hard color +ROWS = [ + ("base model (k=0)", 0.488, 0.984, 0.036, "#8a8f98"), + ("+ FF implant\n(same adapter, applied once)", 0.496, 0.934, 0.179, "#8a8f98"), + ("+ untrained loop (best k)", 0.476, 0.892, 0.179, "#8a8f98"), + ("+ trained loop, random-depth\n(randk, k=8)", 0.512, 0.902, 0.393, "#2b6cb0"), + ("+ trained loop, curriculum\n(merge, k=4)", 0.512, 0.885, 0.464, "#2b6cb0"), + ("+ plan-distilled implant\n(no recurrence; 8-seed mean)*", 0.555, 0.919, 0.457, "#b7791f"), +] + +fig, ax = plt.subplots(figsize=(8.6, 4.6)) +H = 0.22 +for i, (name, ov, easy, hard, c) in enumerate(ROWS): + y = len(ROWS) - 1 - i + ax.barh(y + H, hard, height=H, color=c, zorder=3) + ax.barh(y, easy, height=H, color=c, alpha=0.32, zorder=3) + ax.barh(y - H, ov, height=H, color="#c9ccd1", zorder=3) + for v, dy in ((hard, H), (easy, 0), (ov, -H)): + ax.text(v + 0.012, y + dy, f"{v:.1%}", va="center", fontsize=8, + color="#333") +ax.set_yticks([len(ROWS) - 1 - i for i in range(len(ROWS))]) +ax.set_yticklabels([r[0] for r in ROWS], fontsize=9) +ax.set_xlim(0, 1.09) +ax.set_xlabel("pass@1", fontsize=9) +ax.xaxis.set_major_formatter(lambda x, _: f"{x:.0%}") + +import matplotlib.patches as mpatches +ax.legend(handles=[ + mpatches.Patch(color="#555a61", label="hard (plan-dependent, n=28)"), + mpatches.Patch(color="#555a61", alpha=0.32, label="easy (n=122)"), + mpatches.Patch(color="#c9ccd1", label="overall (n=250)"), +], fontsize=8, frameon=False, loc="lower right") + +ax.grid(True, axis="x", color="#ececec", lw=0.7) +ax.set_axisbelow(True) +for s in ("top", "right"): + ax.spines[s].set_visible(False) +ax.set_title("What recurrence adds — and what distillation matches without it\n" + "(MBPP; FF = trained adapter without recurrence)", fontsize=10.5) +fig.text(0.13, -0.015, "*distill rows evaluated on the 500-item set (hard " + "n=55, base hard 3.6-5.5%); all other rows on the 250-item set. " + "Distill trains the same adapter on written plans, deploys with " + "zero loops.", fontsize=7.5, color="#555") +fig.tight_layout() +fig.savefig(OUT / "fig_loop_vs_ff.png", dpi=140, facecolor="white", + bbox_inches="tight") +print("wrote", OUT / "fig_loop_vs_ff.png")