From 0fb75be3cf27811021379a1dbb79872ae4d0caca Mon Sep 17 00:00:00 2001 From: Valeri Sitnikov Date: Mon, 21 Sep 2026 00:09:18 +0100 Subject: [PATCH] =?UTF-8?q?the=20wide-bracket=20gap=20is=20NOT=20closed,?= =?UTF-8?q?=20and=20now=20it=20has=20an=20address:=20the=20STEP=20RULE,=20?= =?UTF-8?q?not=20the=20guarantee=20and=20not=20the=20reading=20places.=20f?= =?UTF-8?q?un1=20is=20one=20function=20at=20growing=20widths=20=E2=80=94?= =?UTF-8?q?=207/8,=2012/12,=2019/15,=2059/24,=2063/44=20=E2=80=94=20so=20w?= =?UTF-8?q?e=20tie=20when=20narrow=20and=20lose=20as=20it=20widens,=20whil?= =?UTF-8?q?e=20our=20observed=20order=20is=20the=20HIGHER=20one=20(3.63=20?= =?UTF-8?q?vs=202.02);=2059=20on=20a=202e4=20bracket=20is=20what=20bisecti?= =?UTF-8?q?on=20needs,=20i.e.=20one=20halving=20per=20evaluation=20against?= =?UTF-8?q?=20their=202.3.=20With=20the=20safeguard=20removed=20entirely?= =?UTF-8?q?=20we=20still=20spend=2046/57/61/68=20against=20bisection=2057/?= =?UTF-8?q?77/45/45=20and=20Chandrupatla=2024/44=20=E2=80=94=20worse=20tha?= =?UTF-8?q?n=20bisection=20on=20two=20of=20them.=20|f|/|f'|=20is=20an=20ab?= =?UTF-8?q?solute=20length=20and=20cannot=20march=20across=20decades;=20wr?= =?UTF-8?q?itten=20into=20the=20paper=20as=20the=20stated=20limit.=20Also?= =?UTF-8?q?=20fixed=20a=20tracer=20bug=20that=20had=20best=5Fof=20double-c?= =?UTF-8?q?ounting=20evaluations=20(2993=20vs=201487)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 5 --- article/sim_numerics.pdf | Bin 392264 -> 394179 bytes article/sim_numerics.tex | 41 ++++++++++++--- diag_cha_phases.py | 105 +++++++++++++++++++++++++++++++++++++++ diag_fun1_endgame.py | 75 ++++++++++++++++++++++++++++ diag_who_caps_us.py | 70 ++++++++++++++++++++++++++ results_cha_phases.txt | 63 +++++++++++++++++++++++ results_fun1_endgame.txt | 11 ++++ results_who_caps_us.txt | 13 +++++ 8 files changed, 372 insertions(+), 6 deletions(-) create mode 100644 diag_cha_phases.py create mode 100644 diag_fun1_endgame.py create mode 100644 diag_who_caps_us.py create mode 100644 results_cha_phases.txt create mode 100644 results_fun1_endgame.txt create mode 100644 results_who_caps_us.txt diff --git a/article/sim_numerics.pdf b/article/sim_numerics.pdf index 41423f00f8032baaad21eabd3a703b41d123bb93..8fe3ae269458d80884e242cfca80eae721ec9784 100644 GIT binary patch delta 55554 zcmV(>K-j;?_!q;67_hiv12Q=_m+^!FD1W_LTaVku6@J&Rn8yTYM|0+OW&$HX;?!+` zwg_wkO>6IiR!b*pw2~`vZSTMDcPNRMr6_T|!agiXk%wo#`Oa<5a7h^zlrt(SGNiI1 zN4Qd!adLQo`(A~>idcng6(z;SD@%%yc zab~X^v^j(43CbbwF_uq$;-Q`+D<3e7vC2bVW~W4@F-`^GB9AkMBHRza;apTeXB_|s zAYqTW5YB8S(JGswS25t6agKl%g2E6sCsq-V2%saNSO~KL)EpI5xd8A2HOhT3#3oF@ z2Ybxl;+%yhKsCZzz!ZQ7uX>qR#(#b9Sz+ovq@XgU$QC3RqkIAYq1xwcCxlrBs`$z( zSO5gej)XVZ#bJU(kZ{mMn4ibwi7;Ug^b}whu@+1M0|nt)g-Cfq7B9yrY~v+1N$AH# z0KZ1)0#KQE$XP~qAk2F)or*Teyg-pBc}utx+rxM<<^atQW{0;j&dG}%L4PA2i{Hcq zYD6LfBRPwUh^fFk*gz*a;SNX$j=(O6v*D4?JRw+-qf7?oV+NO&6({%{!8tfZdE($} zq6Szw!zT!S!a2h#q>`zeigA%DZ&JxJ_=U?P2Xz!6<3%4xNFGMT&?&%zm<&uJ@8IPC zQxYbe7`7+)S<2v@V25m=lYd~lOesuWyin6OYWmmp+qIhhq`uh}^K!9XY5G=u|NZ2f z_l_g}_`NaaXF06oP|9H=hqWATUMN%b}3Nd*h9qx3$jO z`f4eMSq)`TkA2^Jv#b?tL^<-wpNNy`?L=Sg9baicefE#ezE|;h6*k)(EG3Q;_jW^8(eW?9pV2Ce>VL7(VNTz({-GznZix` z_UD>}`(8FGPv@rrCoRwAk8SUj+iq1Vh8(BO-uPV6N4J-51ghvv?x*J}D|QC^Ai z7cVB$xAz|lHT`AwTQQlwT(8PvRc_INh~Q-Uy4bGoHuGXDja_x;AH~gL_T&1CdS|3P z&Zra|rG3yTUrnHA0|n>^cG5qrR%@txC+(z+jBZj+Y=3qqs!msv4wUMh$@IN1)hPwFx?3)< z21MCZqRgZX8uk&Q)<-RyI33Yfh>Hs8D|Ezg_gxTG?fCv0y*#J=HEhrMa9`T*{k62> zw7<5}gdb$kQ@ewVM=Tw#(PD@FH9{pF#&vl2Fn_K`$9@Ka%%prGZDl9hg9~~_AP%wXgH_@l z$aD_Dn@~qc+{4qO92MDK_N2!ak&f)4ihrPd8Oq~i4TwO-J}GNa2MNv=BX~wuAEP)V z1_(P&mXdZn4zRaD8&sSzvW_9kXYi6ko(l>2&gc;QD8&{_ryR%0QgU#LI8Ih37u{e{ zZxz&bp=J59aI9jtD|x#D4^?v69;d?t**&Mj6Ih2R^a?m$k#83Kq-t)tSIupBQhzm< z?;*Pq?f2&$bom%^!IE7iU-@!_AZ7Wk=B#$$GawInO2^lY>&<$(oNewenvq?=Dj_sL zywj9uBoKGmk_`g|oFoxSiHP#;F(SqWRxwBRqb`$^DeoGIjEV_=a#+VWEafa=ePhqm zY}Z91;cDafq}-Mz;6Q1_avTW}3xCU#!uvcBq1e(m+2FmF5459X4WZ2$r`KhXr8AR@ zU;q&yJ#AzflemVui@`k9$}rt5COx#x=knoT=IZ3PB+=`hl*U}{r7_1(OJi=IzT7^2 zxp>iz1JRkVPGFRGmUUA?%Pn7X;jz*3qax&qTM-fKX^<5Wn+67Q=!1QbZ-3euD@}f; zt%yMI_*jDo7~F9@4`TlNY<07_`#39?vxiy3rSVy#Eqh1=0V`V1<782dq8q0-Aa2>l zQL-NEdOo(CJR<9&#RA5UlC=r^(qPVLMdX8s9?B-2MA1$s?KIO(E$v;2RsxZ-;qAq? zD||mQ_^-(fEk6At{HiTW%zsr@AFM_lVUz$YU$KlpWp?qj@WETiRoe$+WYIe7>_;tk zhgP+1Gk2V%W7>A6AFeF}mEvoy9{QV9;c1&x^3N<)9SHln5W;1bv$7Q%s&i zSgQiMTTbCQm$M$rR@VR#Vr(7><96F7FeEeQUA;s2QOh|06! zYk&{}G%}a(gaIml#am00rs*awb8N%TtO zgrs(M^Xt=%2KX9qC3`28iv)ro05cjm;YLy&{d!9T|yXxq_tnYB|PamnLsp-EzmehEzcI5`1 zd~A#Dy)el;e4^~>=Ds*rr>gAU;$@yZAIsK1_T90lcP%`3c`Eu-L7jD3?z;P*AO8IN zAH;0?GFK_n`i{}gg%Xm6&EHb!G&44gDh}{^U5^9rHj3w|k@9ZCWvW$9BbrMaTMdQ^ zn+=O)Hoh2tPc0u7OKBOQQl1%F#gq8~DJAk8=w0l9+DKZ)l3hc+b<w!y%u+rL;=kwz$D~Fd`exL^r$gRBrpKsXMxcX?tvCNr5a_QoBS3w#m^?Skr%Xerg+JY$D&; ziv&GV(M8$rfwAA>=~-a%YMdu?qU7eIKVX8c@l*GHduQmowC-epBC}VVFhzwg08|3L zXbXCOaVa^G$n~Q9cHQM%(q+}BM0u0nah~Q{3#2?OAb`J_U%;fmADj!F{8)W}2aQhP zeIHNdxudIQkN-j7p`*WtRiE*vp^mQX{n(=QW4dkAmOE-+>aIDxzlR-#o_*6&qkNCk zlvU=Cg#QYs zrviPIksu6Gy~nvqy72__4JU#fZU@sRoC+rWYf=9ir+;zC9-c)N{E_HsZOqCjc zG}!)9o2aM?w^=_5m|U}*w2a%#a{G8DC%^S=Q8#t9ElzaHGgfRbClTYr!IwS z#$x-@plC*&h5M4>RPrp@m0NiCQ{mVUJKBcisHe*cg(a%|K~^$0D6r_#&;-2}hJe7I zyjqofu2xgdS`$va?m^dRIAfqN{DpH~ z5K5(*@$i&8u-xe*q(fa+ha>V0u`yUg6hW^#P2!2?SPmYldjB7^G6#DH^qbl{;9uPo zJ>d$;60g5dRf0f#6(f`ZlIPiiQ1fHSQqA>fFZ93@YDP{0W+fYku`IS69-kS1&ZUo9 z#59-rWI0Z{{cHM*GKDayRbqGvr{m!DOA`L}V{9i%JGe04$pX2hdfdt7i6%u=h5u;A z@c)EXtmvYzl9^QH!@gu}8#+}ZxcVwi4>k}?#3+w1FDHZ-QQ4Xio_jKa3NmSKSQrAM zk^VX#CJO__WFRoa2p~j^atic+g8&{Kr+Q1&dL*^JEiPT@=?U~Z`gZw&)IQ(|kA6|Q z@Xo&2_D$^Rn5Oc7MDu5KB1$gE z)}4#fsq8#8>!v-^5otixmq*n54hm|Sd_PE^yX_GMbnQG|X8VCnT*o~6fV5CL%0&` zAY#EjGzaDy)iCvuKNiz}kkSHoU*)0ff5Ag=I?5?p_+v3EDC|TTl^;MT<91JGsbNbW zL+U_~L+MCyLAuo?(P{z`2FWFH*I6p{5}qIkl7NQF375fT;4)`EvBNPnLwAPUxO@c2 zh^749V}Y~0C&LNX`vP#q4s{lnK^|bQL2c1|;Ze{cT^Hti=Ue-Krj3cDGzjVJRVA`G zxcMX?H`!F-uK^{+2L@;ZvfzWMQwzU)qSJpNTMK8PqOt;p(detTgx_dN23F2u@38@# z4BkG6^M_@bodQ4ag?X=Qs?qsEqf;L^avhB&YtGk{0T}Kq%aV)1BRcpY;=&|Ak31G~0a*csSpNG0&YACU-gpka za$EIBkW&=?tqU9E$@ioG49JuNA~jXIsE>+!NXpd*Iu zCaOba1`2X=#4ADsVlkS~h{mS?7sJ5IB0}OK4BAW;l+YG`6qE}gc}w^e`l>Kx@BsR_ zTO?Cs243S_$3d`4GofO8MX7i37g!(Ni5J^K-`&eg+oJ$sSMLuVIyapoCU!PG+Iwu0 zR(Eq=+RjB_g!A!XwczG|0sW3dXw_uCF!m3B{mYN{8=hr}QT7WLspK~K)5G6}_P4DE zfYq`Q9 zX2cC~UIW*No5@7c2pM}m7DcfY+HM>-L#i&e_k=rCm zfC3OE16YlG%$DO5e2(ajXDe`9$y6MHmI&pD>De?dfH0^NK z6oSHeeXx!OVX)54JxbgB@yWj80i%DEn=!nG@%R2Xi_ocL3(Bo*DOzZVw+dDg%CUy;pn1xcj?_#STgL40GC|XEmSePJGr7+EAfC*B zI>$llFAg{WcK4Yt&ZS6mb*DfRDo|q~q1e5RL4W@`k3Ny$UhU`;uA>atxh{h}Fgb{@ z(89QsQl1DYO&p{FzmGyMIkN~q@d+N!!vS;x%MG}0nHL>i12ryyxL*kH(AELgp>?bZ zA54gC1!L80l2T+@*h(f9x~G7+r2sU4;d?<&qZ`M4kjc!`MWKzMUdgPzPM5I!099{V+U8+t!_2UB9(v() z#O+H1V!mNfnQIfKH(6Lz*rAu_%-p`{0K{)t+GrVwYNWJ*1zA2E0GHXi(g3-CN^>qg zQ)&1*3@Ok$dzNuY{zn%{Ff7Ty9n+Y^KKhPeP#GCiXmJWOQ)eH>jWHm&m_a~a6c8T7 zd?H;9$dJvEA@j(P5i;asTnv$6iVDGo4Z_W$e&+#i1g^T7fY6uP`^@#B-2H+2Xz$QC z7l*p)FT2tWw%&^pt~%l^wdfUpunS+nXa4azEZ`@zNmu>HKkahYC=OwrX~_%pyX>$V zST6=rRZHY`UZh!_0V?}w@I~jT5@R9Bs`HjxzV6+hMlT&<(tK}zX0O#1p`%gL!H1ws8o7U@8pY}PM*2n`J$&?^%Iklf~;Bv-(IU= ztJ_I!)5jCQ!oKxtwGPzlE>k>Ui- zz>rMqBzSbsS;{BX6vQ2FowW@Cb>0JgE3fzzoAQ6j1{kCx#G(_9JQqCm}zQbJTh_76T3&(7K+ol`y7-#COx_Awk zPW2eIGFNlXUq`j)G`JlFL9;nlm~D)las!e`V=H42R=>hl z^y*gl?K=_b6?T%z*Ek<_!&Wfj?Zl0$tdNoW$~T<<&rqIf>KMv>uJS1VbrC&c)F3zl03s?C_SoRks2n9HOY zSFezv8#ctm^$m?gj~DY|N!F)}bpW1CgLo@BKa4)SOt6YiMn~0cg*Y4JU>~&?HWgBQ z5@oyCBu~)s5F!9NJFu~~zF-|`LiN1ZZj0XEbw*R$LA>Z{U$nl_HfL(}Vd}x*i5{8A z0nW1Qg$iAN9-1AYbhJ=Id(Q(FjK(o6_>=jylQg%SBp=WF|9X;`tJ9Q))u6|y4jWqD zk$04#o~rN4)1KP&U4VOZEg`{8HmxCymZmG0DE1>x%^^kymEzzHxK(0Cb`hb&ILOuD zN4Ld5{_V8`%2T0kmNXw?#_!al~RUU3&~d!B@YLPS%*((-_58Sz7x7v?P54C<7I4zczNRgZYmiqhKRVGSU80gdxxxeG3m!Cq0POIE z3gG{LUW&Hx-!GIj$bT1+W99Z!N3Dy)8Gx4l={%F!6kV||ahe@H?!KisPd=8|(J-Gl z^wpj*7$oPtF;A2vA z{Y#o`%w=ZwhKYh7hoqerDa15IKFzeh&dZvASD9rc>wh!Je$_<2fCTA9`lIjNCq+4Z z+CWm_nbny(8aw~kt$Q0w_;Ll>c-+mi`>e@Z$}F{7yr@*DDXfJjcduD8iEO`!BJ*5M z@L()xp{LBeztl2~vLa$w`;xAUPeu6j`!JYHe_}GZD7n-sL~vx%^_9z4y7*ZLq{& zC*MaH=c_ny05)av<^qd-Y?4`>!1Y@3uVZt}49>0FnAK2FrSJrj#4Actlj|9BSt%9= zq%|uR=hl6z=l&nN=5*;jbx&n|ppcj^2wC(iW2wC@YI2#OeJO=B3Z2Ct0KSs_|@vWGkigD^`UJ{}+by*b)L zb+kjU-6d(c`FN_v?JkasO+C#miC|Ac9{{qM)W{O(Uhyj+t>!XU{WLRrmW-;XkCy>erMG%4LE(28Wvsy*JU zqUoNhz8+8K`XCL5t;sj1s(sP{-J|^fv`y0uhF1H=(v%N7lf^+8mJhoq=Gk~ITYnvB zyC?d{Y)&<^C)zyr-C3F{X*kx{e{6f(((qCGhWcnfNdJDjLwh%#w0eE1+b0>NYmYY1 z7_QxY#q0h=#OyfeR66E#MzD~tQj94<@A=Da))=lkXVDmo&M9; zRJib$UER{`qqIGrY>#!>c_<5Fo-YM4isPV2Vke1@U4QnRgiGy zB3!17Hp8WATPANxvpH8x_(f`JBxE3o1vhpq(qcPM_`5xKMDZs&Tt{bQgF+=;Fn21~ zc_K>^+743dEs4+KYpaW6{(rb8+FH2Y6R0yI7B=!uS_8^K}@B2NEj)vZ<0yVkzeRJYadTW9i| ztsZzuQtqz3HlC`B9FW+%S-Do$*sSC>N~0hRC-F8>T6)Dh#i+!M>VNHSICQ-|I=jr? z!=pS9#weaXd+z$d`l!bkR!%O#@w0&Z50*}sSoiie@&s%%^Dg4dy9?+>R4kp!??E<+ z!2afCSZ!jnv}dT?TWblYTue-f@+5rUT7@c04E_&| zt@=jitxlMjB;2GBeSetdTAbke6WJRI>e;D87Jgy7sma<_O6u~KUv?_?DBAY;wc4D> z1bJxILQBS#%$Rd`R8XTQzN*DKyHTp=s+R?mSxfWz3ovv`u9l5p?5qowPPVxWQUoUk zZLNo!DWO>FFWq7DXz@7t>~Y+;9)r_}0hs(N%4hXQwjqlMIe+?22=y=05AKql3WIZD za8A~cd&P$i*46OyOv5@EHeB~2{q3ON=|4D?UQ8>xq2Oo7DR~V$`21C7?q`C}mPLjVlNd~3MR~vY| zw)qdl1(KmVlz+=Ih||d>lc)5dQ54H!MH>wH;i)3hmphb;1PdzXC5zsjNT3I&DA)0F z9aZtFURwp-T~yQdYOSMUqCSNl|r@P9F5oH!%V8LrJZc+VjY(6BS0qXsT=bAR2AE6T}V{LNuM(i`YN$hem# ztZ4I8C&WZ*9cCNS1_msl!d5Cg_Z@3D7JPY4jTIVQ_Vb092CFmBj!+1^o+L?wcoz1L zY`2oqS-gZihzWc9cpWqba9^welbj62G##H^nmHhvu@wWAh^$4q!Rb^a0U7XQ&0rrx zcmlQ(sDA)UVbD=3OFdotN&`_`_}ELoO)>i!E^wQMj5~6uIk#4aPnKjTFWfL1^29|u z_>UJJJWM7fssYX5GGtAH)~B^iyPf!xrZ@aisFAZ=6{S!pocAo2mXVJh?y4J{+}!{W zlLc8mscDiVegKjMVLCB~@!oPijeVHq1>vJn3V+p8MO*bw92fAg6Y4Oj$-g`?&OKAg z@;4*KgDwTU@XS_ZL6J^s6P3pJCIhRI0C0W*6ae{CJcMBbJFAOSdRVZ!wd^X1MAtMh;_M^wsc0|S zZGYdpWdK??UeCFQ{bM??l4ptV#G#`ugbbp{r6+Esa}l>tP)wo(4Ia8zy@a-$o6s6I_m?(*|jo1(_2YtH4kd4+P4Aof_Gm7oASduW5^kzL24qd=;&<(0#T}EqJkfU}oF(2Y<48 zkk9(5ow5I#G~9F+PV4!sLy}b}6PR?7_zJyrO1O&Y3=h7QB|$#>K?xtCjI(7ZBpjTe zsf;(j^(`U^fd;0}fAnr8n8U_jb|W`SS#IR+N~RHi_>~MvQY@g%Lj{>QNAh7o7H6v^ zubGwxCQBa{qnL3X!2)K@Ca18_Wq;#@l?s}}0N2l?%|KrDg`^&SYSgsE2Lc-5GAltJ z)@w?@ZS~X1rBF~MnA&!O#N60bnql2H5S(3d=t8%U!qGTo>k}rNtgR5f)@*;m#Q8N0 z`{SR#k-{<^my4kaH74{KpD+yaIjx((h}_8|L}o%EW9LT%L77hH87Fyimw!@r zhnf3E@@^6>v$RmPwf4wPtpq6X0Lu~+#uF(4kd##M&6)>soUgK&6lT^4WPxu6sfwTH zV%5q&tg?8^DZ5Lpo%Xg>FMpEsEcI8pZjoX@q%cp`eAK;ha;^1kE`dRvW5a4cbj@}2 zCYcfgAUE0SYg>;W9AWjXZKp~0s)rK?V%k0SR{b)Kmr+hD>Z2WQGX3gI5qrVPr)y^# zzr&eIxDu5#$0)HadAAo0eRia^Prx=5)-eP&p(Lca#2O!!E?E=0jDI=hL8YNVc@cB z*`B-pg#d>myv`RglYa_?AU80B&oxani7eMg%WE396|IW!F7HVw$lec!dKfBg_$>E1 zv9pqBYY_bD1&d4=>o%t=9ALNO?ou!Cw@w7v+&A{DB*okkMUpKaR;KWG(8~|bR{{XK zjBe)4bjGQ^Mw(!rzrGtPhLZ|=&2bqZJed;Cu)!a^-l_=941dG2FA^HXQD$aNBi*2_ z2!L@C(J1kUk^oinATVs0sH(f*?SJd8A7J&$aeJ6<+%66I}N96NpHBzCfUIZ1n-tjOzDm1st z;{_fSlqP^p>3`VN-45#dqwW3Jo)(i&?EH2eIPLZog|j5ICJjYRs6dlW*)}0?6RQp^ z=w&L)293iqe_JN2i(L#m_T5D~gwZ7hweTCeS0+ZuUK>46R5Zno5^vNW)=R_>@X&{vr*BI)>EP6{!%8|6>aM1q3w|4m~bZF7VTPXD%L0qQHN{Nq$}TBh85 zFBcP0#28}-YCl?aw3J`D^mefQd{q&xkOx!X0M|-iZx4_u5%mNjl&1G`7@F-oRM$bB zm%}=4#D8Q$u;$C{vjYa#3sAsNsv56+_1nnB8f;b7G%jZ%>d?Jme$scCpMP26QcQ`g z#^nN_)S+CkxFi)7n4Pem6FYg-Ae~41WLw(<8u*csDG`9?OJtOl?xF@g4O#sEUX!2>S0AtKq$a3QVEeL#y>JBi$^kue>DVdty+CR={iW$@ z#(#!HcF&$jx+))}8J_D=5?o%9fjwH>DSecS4#c5XeHgIQ>pNZxg`Rb37z)@P^SG1owfq#Cnm2h+)Ct^3G4s5#RJ42qJSNhCV{QnWqPhF($ zWR2(g>!li->NkV$J}ostHf9}My1}T2|+O%;n?`xjTGkuoHwVl@Qpu< z%H-FQ@RwN21QLH175{q;@UEPl`P0?B(-nHDqu~eg;HOD<5I|`EDdF?_3IHP_IQQ=;tH5%zwikB=c4!2BbA9_J08o zE=^FbAGgrkEtq869vIxih#vZGU~o=0k(<=eO4BH9uO3iQ=af$&oFGlL{wvNmoHQrQ zpjCFDMXa!5YIe`AsLaoVeD5@_5(f|@io?yf*U^D;D==MeXv*aE6CT3h^9#iO2G+ai zz7!iNhLA8$CH<0CMDN|p&N$AOfqy3=%zMBxGVfE~XdW0F^NtIj4{F&>3`ltU)S#0n zv(jLb-JCv_LtUQebc}N}de=lwFEs^{1ZiaKx#~Yj7o#owb4G>Vfob$#DW$gaPg-eI z3}@yS|0oaQ*-d0+nBGYj=Xv=ap5_=hQJY-TThwmzR}^YwaD$2OQ9;Mget!sD@cUd+ z36j(zQlJ3jJ{+n>i;}zHFhUe-3M!fxug@%^Ae$DJ{(OrP|JrL(%Eb_Rd)CW+Kfy#= zo}yBXeE2bL6iK$27LQQfZIJXxaF=@$qG1hz)lp$_SVC)V!WU(dDVIXXHOWs=)-4PL zP>Ikm*xo%rNC#vwv zA1W~LWNMboAz{sh?Mj`5xCa>NMxWzix$-{R888%y<e> zAh=^WVs`Bb?|L1xVfAfi59lJQixM9dd`R8<>z#=N_-d4@<0w9P-A|GF7f`5GY z;m2Q6b;pvpND6lMaJo}j%rkkH%Op;uxO*t?{vPG={XZW5^5ZZ0rYB2dRit+b^?5j( z`-9*~e{?zP!4*q0n&a5@f4D#7NMoCqJXsBz#)VMSDWOh$Lsl535I~@%+i!_TLNg+V z%oFyZu|&*y=6k>}EVS3nFjwj2JD3nF6miP=G7p#T)buChh|rux%;eiA{kAg-491FB ze=e;0UmyqE?<5neBVrNl(IstsA;AUsweRi^z}Mw;G{eHq zBnFJdD$hv_oRl}ZKcXC*p>GPye7?ZvdDOKALc9WEvz+1k;3y2b_#S_K9~uM*f1^Mi?bBhZE(fw zE=_2VA{LwVve0qov6Az~Q7;AMKZ|q5cDs7D;!G3^jp0}oto$08U_`YL+`Rwy;Fv(F zKe>l(i z)*?93=|GC`OPNHvMHv%CRQBEFVhs+~#x6|oEEaO+q#%_AoXOnd51~=knrJ?$?L2T& zd}bqDVo0&GI4!d8xE7wiVJ(BBk2RoB(3eZ!=~=-5ML}l@J&vXwkTIl;zMQN1J$zB^ zhiFapbVgP5NQ!Cd&;FROUebB8f1Jkxqysyz+SjZ_`amSNz7 zFQ8xjr`_OspLA2zl^J3HDoRBkrbj?7<20I*x<2AQ^XL=RDmUn{tAU+reHlm{Gi09a zsv6w>RFBmKhVMfsm2CIbgstLAw*YOkq=*`$hpE?(HO^FIcs_yAa}Yq8e|=SP!R&b^ zRuY&h9))e6idmBHH2WSWWMYjIk|0n3QgUDpBWKwlg?}BMl z`K|fjEEY=;wr)I@i?#(mWr+&HIA&!KO}{(*RX-l)?}X=@f8kDj*AQP@2cS2O%S$jdrIpGeg$ih#)byq$JcLrvI;FuS z1E5xHg{wvJ%rbN&hEbC<0V1E}MfB&9UR`=KnEo@qvSVhM6J{uMJvcm6TzjX#}~!tpn>Ua6o0jz1!k$?|JUAGL(o4P^ddn&3R5R7oJ3dTt=s< zuBqwK+8p2_YpVb?e|i@@Tkxc_1(?Y+2`&%R$O@+1*y`L-;^IT20jy`U>O%Vj_~?Q5 zkgpwVtX9LaN9PqNf55Ff=lGO{-j@4mJX5g>nzFRuahesk zY}qQ1fVM0x!f2A^Ag9@4Q!TkN4&Mv8C6~4KT!0R`(9ZfXf4II3!2RNkG=yaTEhsq| z_=fY`?21NA<{myivD@pcM0kG9Wm&}JrlKkSB}gU(#%H$F7IXnAz(Kv>xpIld6wdHW z74v+Y`l0G9!h(JtOYiMt5oe26)?9J_WU_Z~((FpOWQ723?o)-fxzWkU?f~{cbYW-L zq&EX&wLpqgfBcRUm^F&JegtC03q)G00)XZOy1nNk<3jPhxO;3H-UeFgn~cQX&PQSV zRU~iJiG1;Ee-~B1dfuD$SQW)2p#yjh=AwHW(L`*J=F!j8e(a~xAQ-`F4u)08NcWX? z!4yV}lK{Htd+c`{$*F`-AF;~|mFeW5aPo0XTkB5Ff7{_QmYLY=Age~_*bG&`PB)cx zVI*_I+E(+q>L&LAiYj&ZgljOD(fVeEwE_dZK@Fax1|QG3ViuukNYZ6U1U_!#Py@GT z_IaQhc9_8ny6K>1Zx@Z?imgrJrO%B0vP2O+U11K|3q}eSsFQLBbzpCe3x1W|L@rgz zu7v`Ge~OnN4wG-dXR$k4r6@)RDhnfy#Gh{n#sAt`cXCE%R4Kt=Ys(l=fir{^lNE+) zV@7nPaYMo7fh|px*qFZ`e^Kc+Dk}4ZwwEDBcO@9K5J{Y;`@y!yy&3EjA}cu_-{QVJ zhlk;**kVJj(kqS{9LEwzc{U*z4SZ0R-EABle@}#sqXWxdd`A`t2*c7Byz$~n~3MT-QA)HM!veMA-#l<($%q40BbUHXo!2zwn zdNx{StY&8c%`JVPU<7(v0O6(uaJVl4JO!a6Lh!ai7?T9_WqREKKjiyM9H=!wGj ze+-JSexdq5P2c%>`fhr%shdCyAqCTwF5#)$>6zzn=zqm7AH$rR%xw9uL4Cm1>4WbO zjZ2igtx|ph8WnN{zUf#C5hvg-Y(q+<3v58m>bTyFQ*SXEs0>YQjf><}ty6w<4mQN< z5(Q<2y7OqLb-H{_Ndi^ld~t+-hY7evf0Y6d&!Sl;|$h@16H>Xa~W7NBqDl(2N> z<*oTpUZm0R(f~<&;Bi~EP{F;a0BQjw81G@?7iufblW7ffni1H}gr&vWjsE2xv{lz% zQCD)oY9B%b%RyVIZ&RYcNK7I)39&YK_=}6`v?)lY!{bf0&Nyt-axCWT?PmH3C0^5$aJRzxIf*=5(Fe;LNoH0a0LU%f~G`a@BdbS)z*<`B(p`Yegr5(5dw z{sEe&#U}KBND~%jATznB-3{>h z;%twlz*Ii9)EUhYO7jD%c9*aL`@r7Ot6C4^Y^u<^Lss|ph#?Kq4Ezn`e|1hu;*dg{ zRNmh{FqS0IpSt!~PeX+n&Nj5k1ipvwoZEputrFWbnZRH|)>4ogYDe8t!39XELRb>( zB{evs3nfhtYX*^4XbGL;i~Xkdh;A~uyx6_&T7y(5d`wXJz{WfeLeO#kVmK3t2C7m- z5)WaQMVq4|_R0`==ce`1e{L>a7%Pv43B7c8$oN82J6Ly&X}QZ5?$vRe0AasSZ2*TH zg990(!~rx_E+E!+zM-Yj=CurGeVGZ#y~qEGVL_j%G~X+Oy^d0OvAZUNa}#>Qt=}daW0o!Lf2PMRcoX3k~m_H#(R#)Ek`(#GcbK}cUQ*~m-}J)3Qu~X@`zx%Zl7GA z6Q~a>uu%3H5bpEcf4Peoxd6{__ToO!OXEE+tZ3KRqoUt8QkbzdgR7%{LrpW|+Pw%O z6|#g!72dOR#TK8;rzb$Y(3GF%t zdiQZEpG=9tF6HS89&?KZfVo==*u6m)bzIZ|epEQ{DfBn$O;Cv)a_nGm<(QsC9sI%~-SM<_k28jO zvH>r=Sft3ZsGn;0;*7ck3m9m}=Qy>l8(YiBBw$kH^%~JM* z>wC19l(B^7-41V|LUnY_kJVsYyd8(U09bNi*}!gy$c`Co8bC$Aw$$VddV=_YCBd!4M1fJ@4UNOSEDk6YeharM3m3U6Hwq ze;3eptaa76ZoZ9f4_Ow*sbXge^KDF(1Y}DB{t80g>*GF{9XP7&A0IW zAx&-URZJ(eILL6WF4ql!bynR?1_5krJtqL9riN7@>MiNT?C%I9Y~Sd*8r)rC&l&=6 z5nSvKD9|=s2suE}LA`ZHgj3YiYqYoiwe`ez(>cWIQ6AmE-b0lyRXLu~SCzSnfBuum z!TjMsp#zEt8GS^ywMd9Dw-2QAU`lGThr0gG+YDFL&lR$lJxVg#tG<`s8R5j)X0}>; z?$%DzjMU9<6U%2eAoEhQzcFjY&NKW>wsa;NCOL+|^l)ZAtWuyuR|vsyt;T3qdb06Fn4QYiJs##zfB(Jqh z0{cI;)i~LyMUH$$+^J^nRGy9Vb*e~Es&Dgpz9VMuBKT{G&|@&GUsiBZe;Y2a@iC|! z`_9tR4n?_5D3%7Xqb?2IIv4(8Ke{?0H**VsbyJsqB5EbS6DqA%W35V*R#%7DtS=O=a zQp-H5i9;-~w*4t01giTTe?GEpjya7!wR2z)tF8UdgWM;qYyX46NOc!Rq{<=*ShF`> zj>t~VIN(-_z5mzfif#unuzc18yP!a7Ll9oF5}$}nRzD~l)>kBbh+-2i1u%iUoaA#3 zAG_Hw+hseIriaxJrVO!r3f4^&#gZYlVU^?Rug5*lXUjzfEBxzCe>_@$#{CR|$1%Ev zI>TyXfsS%126U7RMP`*i^yYp?8+;(yx{9G+gjCGc_r$vLW|rn~>T0(t?|R$VwEJU3 z_*-?j+kFIkIew`8`QdL=Aac>YNvKx-;!f@Grii+B69LbnKcVUCr;8qI?U*s)G3UF> zVc<{_EaUiN5D4-C6Yx2vfgF^^cR&2c!w>%pR`a@&mqE?~6O*B?6a+FcH8Gd*gaIgj zwOC7Y+c*-w=U4bh)mj`90AEuzhs5#hBvsj+id9=RmCOOAAPF0a)PSTN=htsHx=D&M z?K$m50Gf?Pqx*h9?7dLjlw8Rt~T4NFTv(uR%=+{W5rG<@X4LF0o+Pbw{KFxOFYORvoy9uuy(S_N0weEVSE0h-FzRvX^ z?Kq0_gWWJ(pLQ95k+&MfMjB?EWo1IO1WT9i|SSurw| zOPZ-L6Y(S_iC2KA49x=*iIfOQA`bqsq=kZMQVje5yLgunV(tHOlM7YOZ}PXA{L(I2 z1Exuu&&)w`E^H>$CMcz=2!I1iHQ!HO8e|npH_UR-9m(tl&a&roiS8&s z8{PnMs=kvtX#jhd;3Ts!9t{{Tc_9f^qNZ3_5P}?Iw8$k7td+{cD8I1l{g5PcP_HcQ zc9v4|B-q+kpH6&3NCmEcW#*Q?YZ`XW82a!RaP^u*3^_QL0VJa|lEG$`3(R|9A=+3r zHF~tES>D!^l)_;CcrcuUL9X|Xw>~WF{PZES=039mp>gLaZvxSf(?tSBYu9&pr7f-D zRQ)q#Oj)pR1&XnITQ7MeP9QSU_%gcYH8T|Hn2-o%AhWM+wLZeaHD1~V#j@TqA{eN6!>z^3_S z{q*+}MMMYriPLop9l(*6lfJkb^_^`2A5gR*a5BWD|J=~{2(`!O44Av7uhDn5-V>pz zDXG*N$jAJhn;}H~DFBHvZwo@?fH1r!5V_d-}jU6<- zV{k4^)3zJiwr$&5v6B_swv#K)if!ArZQHhO?Yq9`-T%6$s*jraHB*gq5EFdC|G?-r z_t&ivay7&WKe_{G~1GYwfHoa%c*gAYgqc3in?6D-UxZ+OxTHG};D_ z&N`!JY{JF-d!nLwMd4AN5FF$7iT2D|ShPvzDFMLYN`(x%&tldy|N7=}qD%`u$|N|D zuu+m&g*su1rNKq8<--E$^Bvw61vBxRB3&&p91*8LS{o|#4+Q^Sl0^gp0)b6nAnuIu zx~iFS+)Fl$Fq2REYp3o~Mt6M&!TXBHhsk7r41nDsFWo<47`?Qwad&T#R7#wt5dE_@ zI{;M~E24<*-*@qgO-&E*xOG9$P!j^^FFU_ef!kF5u)OnBxrS4x1J+!*w8AO6F5HfM z6d$d$Q1h7zMCdp*(=d~>G{SjJ#Pb5eI*(5^>#ni;37*El_f-dt7g0A)c~%v1>LfiB zvn%i_WT^6`0YofwJn_=?!EICtalALOApp;czE~1jqn>lje!nj`6tI6E*{~sTEFPyL z0)T!vs+u@fR=Amg9QI^jGJ>qKy~OH$;X6^(j`%>&qH|uYF3uT&y&w~8FOed{lo+X0 z^zQ1{WbBHyx6a~N&g75^M&Ar6vAfz>!N==RT;Zfz?!=S10AbTy@dNvg3JF*<7C_bx z-9I$@z9e|6b$?tJ;gT+5$FBY_`1Sc`%5AlejEI6!HkPqGh->~*1xbb187E?}1^wqhy1rp^Ci?nnJXOf;4Ri5NdCD zhzP?w;B7{(>;AW#QNZ6VX6@YfI%y@&1XLq24pQwjS`fFkf^ zVRh^Wub_0m=hAv%O=t;--3yFRUTvmciArGf!zna|g=k>Nxiz$U@Z+e03j(^LhN&z? zng0eeDilp03aKI%84I+jA0VD%D9#OB=bF8VEDFP=Il=O7-HtedNmtmGAOXzpP6~t) z$C)-Q9)yru;LZ^wwpwM^bI@BJhe?1|)cFs<^UV$_rKd5SD_^Y|Lh8{ge0YH{#1jb7 z{sObR1uO-zwY8NIa|HJi+7uD-xzC+OBa=9GtN#l+-1aq)@xC_F1fWg_9^g)sa&B55 zbvS9IX#&pEG*(ExiW#(tmfYIDtNgMF&=|@ni7M8H+aKGOTo<+*0Xhe)@cqYAyYi4q4AH(W}WnCnW%&% zJC=>2JgBQ10FR3%BZdrKzMi-}o&b`fol;;-?M$3qoJ|krM#3{m<5TsNx3Z_$o_xA>NPMg?*C7qfCgE`1!4a`0tz|E8Pxv>=&eW$ARf&BBcP}L z=fJj>>w{F;{SWj1R^VFQXF#g{{Ezj2E8-ZSXaXP{{|`vq>Z1xeC;2}hQLAk>D5l;2 zfJCjuuwa#xz#Ogr9UOz@{|K$VreKTgAe{d%7(Mkr54P1Q6Rg2P*2n_Z#D+mz?=FxqUncCq1Au-RgZhjZwgjZY`Uq&ywY5c$x|#w~O+CW_mjpO-JeZZJ z*SP(r+r1!C{$^E_2X$AU{%YRmR)2Z(OQ?BTx~hS1{G#{w4j#NvAe5-TU;wG@3Hso0 zXa3Y4?i!MlR{m0*0qVYD3xKA6-RbPXTv{H0&X}0LWJqLxy?#a)K6^DuNDv5ip6Fz4 zfV|WZ%z#*Fd0G7Zof1#y#IgQKYI|tx8c)mX+AeXJi7MAwzU~cu`Yy0p63^?Y}0IyDeK6*lisCMA? zJ)CGlxkT*2Z;O+f76xixW;31ktwn=>*n=Tzvco}!LcY* zglY-gBXwPkgea!GhPL;$-DJ%K$JQ^OtcMJpY+%*BF zO5%BkhHY+!gUQWhGYZ9?CwA0VKG~o;I`x8vXq$G)xsIaR!UL~=tGpGlwQmM!!#ZNY zqex*DmBiyXeIm3sfdPRJU=gi+bKEk74Qf6YO7{SQ_jQ_1A5uhj^X;5(Gd6Zt>g)m# zf7T?gO%~V#G6!Kik-M;+LN{+dPuzw{A?{K+;#=sO>HGhBpKt_mFX39A{u@IC-P17_SxABHor=I z1*Q}9>!5p8AOP(7lnThPA@4trNM^a#2@M>3`ugfX;sc55;wA{F={l5 zw2}QDCq!-aGfxiqIrdxCmn@oeT^AmB9G;IG6)6LoLvt<|^;|F-`NuG<`p7rL^h$rE zb3Ts#Q29Y&A2A_3uJTj+;|Ly>%03^OK>|C@kbx%-nFCO(U}cCpi-5a%ToJvTdr(=5 zN&aF^s%rIqc14n9tEm-Cx{0)2g@y~%gZ}p@_>$Nn6_iTJwR9fvm_J_;uf_=?`svO6@4tCo~q<$S|u|+22ipH?v zlf1&SWe3DH=H#&ssQZv$;6R=ip_4mzdbyJ4t%}RWwL12RUyY9#cVDd)LT(jmZG~M% zvJ8>YvU~Xsy2Q`+7E$dXK4C4s5H05QABSR^Q$X|o(on_+jEF;F`~7iSI6~&T6u*y! z47zeIY0Unf7H*K`MDVKn@sMcPV96b6e|hR1M*%Rt;uCQ*-Skze((u4n$0XSGS$+i2 zs^iAvJC$+{66xc2nPKS1y6gsIt<{z@pc9VtCtbhlScn;|QxKBKpFrrq9vlCA&$Kag z2P=8ivkS6c^Bq)BRdvr~RJs+-64Mzob<2Pt>#t&84)6JmqaEZSBm6T?Y@*~?0{3^b zf(u}62h6Gw7Ab)o+qDm~T$leYVnaXQRNqQ{0OCY;o`CYrFX1X;9@;=Alqkskp&^|G zS8s#AchRgV(v#R^36>;vEkFC*O{7V9L%ZuM^VqZ=xiwd+`1c2F8cW`_O0;4mIfg1b zHD>4jFPB~&bm0e3P+(80WIyukbW@4b$_HTBCFcbNHHG(hVJwLmXeBmVd3MF!1dW}f z%$Yuc6LmAQKbBo9;=BK}cA>?_ADX-D!N~V85#W)>4b?*zGHTGR<2&`16LV$5AA`~Q zf*Qkcr&=WV6xQCaq<0|lxR3Dj>H)4v;w1dE;JItP%8tE~C*(w_V1AW1XFF)#;0l-& z`yBX!#*&?Dp7XouutlF1!VDqk|r~_5o z28Nqk_!%(-j@8nAgjRqHK)X9A?s$n%y^Gsx32Ad_e+zrwXbzVi8b|DtnznWMTP>9C z&Y&O!VXa98Ka6Q^R(SF1z<{$ItMhfq|_xpNEf2|O3mM1@uaC1s7L1wJA&?EjPC| zWo!Wti8Ic9tWAiVC$_|XUj45Mw>;HmAyG8PeS&nP?KhKr5aCFqGZ4Bl$clOZad&W` zTZ}jC`v~9V?XZuz0PXiuhhQq@JaT#&AmaEDFch3pEsfUj9r>V}37rtB=sEX7itVzH}KT=VEV5btj z{@fiMr}8G_Rc6)!aKJPxND4s7Qu&2(o=vMc5pOa)!T91}f%s z?bay^Yl`SIL2RV9Bf}UYio!%h-TIs^;+O(A8s=C$PUyK?H+M(rW|{NpodcFjpzE%y zHVY=`?uMJqpSn#`hnx2D;)=x_6Gwo)gS%<(F zFSm+n`n!_ir~Fz&gC4bZp%_VVFbX?9GD`VAWA3*IWQD^3(|7<6ghAXXZKM|cun{D= zKMHYHJiE8iK zF+y9`KC4YuBPGb87cQVx1LZfpXurZ+*)91JNq_8xKhFq*ZGew#$zqH08u`Nk+Kv*E z$#5&$&j;i$ofNv$SP%&*FJ;!G3q&r_(x*Uznmul_8wx<+t*$-XHc@?3N_?TBGfU?& z;#k*nC=k~~SnqN!H}zI7%!cvbef#P?yUnhGh2(|Hb{DLcJlSaL!QwX*k0dmoxU{xr zI>N0elxkh-yn~5Zk72*M1=X3h_hEw!xKvPGc9BiM??~Aw8uO5gOO0l$oj`ItVZ(5j z9;qu(0Tp1Ca#nc){v4(FIursZze9=Y4cH5=^6$>f zar)N2-KYfzAjIh##dLK#lmAsUquZzjUu^L>#m!PP+o1}!)?$R~_y&fw74pJ-&~JvUy8)_kdobeZxiS~LnDeF30QuI&ju3^puF3pYa_8b}scQ!>yR`<>4kH>8BuB z&jH{%qpL8r`pjs8z6M_{(WVIBmf`PuLzb2x*D@EO^ zuMs*v6fyP-fx0qvgw(=sw|PP0j}C)KC~b$vewYmRjem;69nA2EAP6UtjXo2TcUH`C zfL`X$3&c!oy4xc>0DHT(d=kaf{_sL2iA{#!yGof~~0==FY#gus37mby0 z(>ds0ByQXc0@)%J7(rFnU#RHG`c*)FmK)wJsr^!{F{sEl=5>jW3p%Ni90Jq8DGcyvR3IQhNt1n`RNiPOc=qgOtM#IlRugj-bOo*AN z2cPBH>|eE-ctO`A9t637$^$WBkI(szck=vxUUqb&d#>ggIW;?8EcpUpwq?LPi|#W_ zMVHd|Ri0R2Z~F+?uT>Kq^Pj4{LMyT*RS+8rdp&Vq(2pO!(D@x>CGHUuv>%B%p-4KJ ztTR^X#ZmvvF_!#}-LQUm^;h6`6iaN~X#Onio2uvphx-t6Ngv?imMhuX8azlXV3?@{Jk~9*@5K%X=H9GWv9$jMS|%Qa z$O9>^Lu+fnuMKT27*1zm-bfJ7KI3{PHj_EK@POS6D zoC|KbN-5;Olk9P6MH%A1PpT-n2zvAZ;++r?Vdkjc-fqG=y2hpWIk5txnWXmty!lMp zi(2#)ejsi?NAkQWGhYox*ADk2Oxm2vH51atlYP}0AG^vPUgmOYS zBQ#L@^r|Yd93<<>Tqr4pFSkXfc`iujt#O^iIK|eo(CQT)jft?*n05S#=!Ub6BOLX{ zXg>-<`97i_11>vS?E6ITqOhRqi=EoeRfa^t2~}+MQtjJhSp_&I8N@ z$&jUs=B4xE#I5IRNt4~e)O!>rxV&c(x{T{t17?iX+7Dd_pR;RN-G$O8j^_jYt6(WswfeA7= zkM!9YYY4c~+HtkGyY&ttBW7{r_DDZ$Qm!v9RQ^>oT*gffTWactM!oeZRi7_`t5g8V z2iI1B>K0uB23|h*a!A&WLQm}^Rrl2i1swS2K+ZT{;E`@?a@m;#Z|n(R-}YU&}k}0*mT8_q$VZ{+5hn_nNYpRKCY(=UmA8Z&c;uJ^Gq;QN5%Qq0^nB zHME)$g-5o?&k7uvQ{P357;QnGFL^tl2v=jVU$UU*`Gi>Tec?;8@G8J3mDY{|I}Ck850*_>zp48ee+xxw+8=s2SK=@ zgB1}x8}5;(%lLw{cPP@HBKM5_x`>(Ea{@fnrP}M{BOUpxG6UI}aQOl?g^WZNIi~tF zA{#6_FNR{J=Rer5QEF9{f5% zVVrIr7Fj_`D2#Gl)bEr+J4TNV&veBby=5iWNZL>r+9qPm(8eqLB9Z`Rd2aM3lK|!d zSNHneZ<&3MzcEjE8z{M%W2brcA-;e0e#tHd>BPV9ZyQAHOD~}@)Cm;{y zZc=rkF_@-A1nsxOcS*RK8lg4;<^slz9L)Q2&-*r>IRRk=Z#_cP*~Ag>&AOpLfm^Sl z=z#llWbet1A`T$D`7OoqJCjM`)`+#;XIjA?YysDf^|QT671P_qOo+okk<*!~8<(zGH_ky4 zRT%h5*l#S@{B0LZyB_0*TEPnLjQytoUIaedi+?m4=-{$Xqx#0x7bR^IO3i9$9TOcBHu28HXeu3YlT!EtS#M>nXJ(SKRiMTpLHj4^#dWQT-)8p4Z*egchM>e8~)O(b3=;1DFK zf4azs=!0}H4?flj&FC5BE&&J-RgCC}C%WTxn*q_Ns9V-Q!^g=k@XJO+f|CM=D(nQC zw)9!y(EkQf-2Aq9oQ8+oD6}6dk%_Z9jY0(ipwbA8Y8dHACUt|=anyc;%*3NjEx}?i zpGrWhg1@#;4$6$h z$)h%1!3Bau$F(-Ayr#HLjZJkT(tqJgwP>z+efxha1E%cE`Db{;ypdd3~W7zi75 zbnhXuV=w9@db+Iz%eYuKeRgBWXx#SfMrKFjAz2KMd>{7KKLgBYJoaot#7Kk}n!Xk8 z)ch3`y$jM?0|qLugASQCT#1~CmS^KVbjNBw%TUENVw%%6MDG{rqMYkj#3~VZT$jY6 z>Z7GUZ#odP&gJK8VV9)7)ZMqlXZ!8`piPOZv(^}6@M}T8=HCBXCMU*hAfLGk>Z%F^ zw`g3jVgl|Vl>%hJhWCQe5sh#*m19cc@AKELw?P^(JT_Az(OTm6D@gi}`;w!H+qZ^l z5KCMPpeJq5^al5%wL4ILE+}%O#Vx9EvaL1YaW4rCp=6}UIfsqPuWFplTPK+ z9p8bU84ng}fBb2AN$erqdCPwPy+HOOXPe`qGT0br3SGs9Ej!)&=CcP#qK{o+V4D@)Vs*uLOB4*;mo zB1#1-fD~Myz1U2>M32#&n`|5v_=FWwi^EYVlv+O_EA+=MPBUohPD;Z2hf$oBfCm&3bQ0aQj}5q0M?#d- zZar1FQA!-dKVo3rxIb$&rM5il5bZqLE!Lxlc?H3T3O}^Bg75{y(+kV|0$5%)CRY_< z)`vB;i+!XOx!e-)P8$gt&wGa*29yrzD!ffL8ReFU#pjfQ`1h32BMT~40^>Hc>e3}%-*OWYs_aA;cDvb)KFHq<4EKVzO zMdALH5pK>BJYb{aj>8>2JPFfeRrmKCqyQLarDo^H__ha`+r0Q70nlR&_I`2?_hA;M z9`~2$tvBXkO!l%)ov%{<&=%r)+TB`wIssFN_&xcD0Sx4}FfJ*H8Ne0}j+Zmjs7TP# zH7%MFD-GHFJm%aV!QmPF3ZzhGCR2nA<1C=689InI;g5FuaW@JOAgQZ_fj0C`2mn)u zta4S1Pp6^?)gd_66~=9qfzqnF{9*`uN?L(6$84hdr z+-zzHrV2hMETxP`08(Ea3aoxs7(igtt^^uY}J&RU$&@g_+Il*6%fAo<}4qD1B$L!POhGu zJ1|t^@T*St7N81C5sNa+F0|jnT@`ICygW6&XjFSC<7|FY$4_Ld82dBc5b&Rb^!j-T z(50VEwHMt#4L`qI@4Y&nDiEN1t zZiXvHw48+L-&Qat(`b6W-i(>P_9!_>PeF(Nx&oVys}(;fo|-kacZs0%%%jIB-NK8ftJ^zl+0R)=jED7cq#Ba7~t;r zcg!SE>xzFCBG*KM2o@}hD*@K^7XaMJ_&%xwykemMc1pi(0ZWUn8zf!5soxH(#>0P$ociwCGS7<)P9HX z>Nh;gq({wHZ`)j&(f=u0V#Om}vwXTn&E}lpL7z+w6n+R2u>e?^f5_!z$A7HRG$t3& z)Q7PJdfwN*$R=v5N{i{!WUB}+*9z+2yZ_8rFS))zR1L{m;dLSHEq7t{L)yk5jPFCs z-WDcO)2dYtCv(lmb}Z2}WLVp21GH?gl63DP->#IE66F%_@TA15XHo=7e4%Q}ool%? z1K*N}GY$z$V*q|+?h1}Lt`&X;OxPi3q?X!);|ZaHtPHaJotXxaxCTu*-12O`-mb~( z^Ts6mcbq>5a9BbEmdUkVliR^qjIhNYe%7oM;JBY&IB}z3F@I)IiEJuxuN+!VG&~M?ab>XVQ)kQtSfYuO=WMIpD1Izz`QoJ3yiHgqix4TmHR+p z!!5k0{oictkJZ(rv?xpbe}A~~1T``CT8*nSB?tCRQb?t1{_FkQHW2^wmvgWt3i}2H zZ^-5kEz^{~XZU$$=supQEFCO36uQD)?hp^A2T!w=Y}9KQK{)eiITU zi>lw%K2cY{>_&D*-XL#*s?44sX{9M@Y?`F#C3=`B(i^C8yP(uzx-3Z{E@S%zQ-D>} zD*?rWY>&aq;CRnglC&OOtG$$a9&vVa7C_Y@0|l5q-Q@>jPEUWG7C|-SmUAqAu8uoJ z?+UGh&0}_5nCNRJrFiB2$HhMPLq9HbptQ!U$)bEMFuii`rU)6+h*@E?wYRsZ$>|-{ z8n%`?&-P8eiMF1jTg`gRSv7%Q6a$1kmQk|!sr9G_G5j*bVJ#@un7QkRh(FxUA2J+B zsR=NdUcIq>BEbE#v%q>?afMaDzgHjC^OWu{6}=zZDPr5^1?Xp%3m3dj+$2P{5}z13 z>gEf?86_(gx(3VNlk{=Z42OT=^|f7L67FRF^KpNK_lqO}b~A);V6oPd&{(COb-g z-)a6ml-6+Px2ZVZG(#tMH zM!A2xJA?7E;#QFKzR*&qL_uo;eO*SaC4plE)}QA|T_WVjnOO16GfEiPFS|b2(E*TP z!QX*s4^*>!g_Zn!gqz>dB}FZna6nAD$1!-**;qP5beScfe^tTS>}!$K|FWC{osmWf z+GprDV$T$QG-I^LC9v2MV`fWf?ikdJ+u=Swwi-3`)2uqAIk|XWwskJK`-~nt8t&Cc z8?1YgrB_PtpR1yO`D|s0-xxlMZ2|CZgKTtmIg4>5;mj-~OoHcj)3dGqz&0CXRBKj+ z6F{AX*T%}znd4jvXd?cnUe54deYCV}OvzHQov^Zc?cbkBlC^6!sM4h4S^Uw17c#kZ z2>^`9qaktK4=N@phZ3EV(MEEQUYR$x&uhz8JFuk;L4#OjMC4~1v9i*g`T)AKsjC?k zZWbq4S;QJ)s}SQ2arn4a69}DF5(|-^>_s;Q-|i5s#{2@wkhvG~V+63!mA1%P*d^mx zWl>Fs*IC`z%=wBSfj5huuL34Ni4pe&oIh{o%Ms91R+-nq<3G~5zK4S+{Ef>t1|_V5 zLT4y8N}i<-#Vy_@%SxG4H2`!yK{}iH(@(*ojYVt_*^|37o=#L0q*wx@(&Twbh+Rtg=1(TX7?0U@s@iXGQxEw@S&{D0M6r=$aEr5!x9n)LfM56t5 zX>{cEspNX=ilceF6UF z#I|JV)`@0BYqw?Gamvh-L*2R6QhYr5=E_I5CRDn)Gg(0~i4`{K5P^m{e*~F#w=+0!=NSa#1j7jA^Es#S$-sAk~4Vx4CbA zZkQlaHDuNSy@olTlr^4bhrQG~2)5a@)`$9gnJpCyuXcvB%R@wszd-Q3zT>|{|Ll_q zx=9F6I})nZ06XR)dJO%g3Eoe-$E3Ljmi(Y7Xu+@zsiW%OLSeibq*g9+>bS9Iy4Y?$ z)GoeYOF$Aeds|g;ubSW?-hAZc9>We)bRrC|B4e&}s)xQq%V7i*zBKzfq@;AJvo^%s z$30$n{A=#WiWk0%{NELuPWLaP21KZ$YbGI@x_ZIHfTin7HRyPvi3W@};rBV_`NO<{ z@C5DXY{lBuw9xPQ5R@Q#A(4_}lj{8=4;S#>4^J0$#7V%ge9lUowBanB2lAtLdivX#=HCE&kA2r+` zPJwZO0DJHWJ{vvXCN)Xn%9t}6{z=nOB~0av?O2Z}DXJ}o^?9L^&UH#2IJE%N8*b|q)>?D@EbWT>)|!m+T`>?1yx^y@~eD011!hwK{MxC*6Li%r!fvJ)eWfSmeW0 z2)72<%~Em>U<9F2DJclVTQfv~$Zpk|BqmhRjr&f}2TAOw&~atGG}E z9;Q4g!tm)XR$M9ELDgPE?eb9Wz8E^>fFJA5&?{8fKvDxGPoX?dPdc7D9}srpNSb$) zW&Cw;#p3B%OsXG)@qd0t#Qu>tQm87*m>z2$OdB#=jRza*AdHJK9qn)@O?TS#W)J8qwoU)OEVrq6Tic2f&E~&kg;4t$-(0Nt{1zO^0I+;0 zj9SjNtX$9w-u{tOUT2V&>}Nr(hm2o;f7+L?FP0F6`rd8|Wm{)V>WPK*hL=x|yLC#N zrjrS!!xGUXQB`MWA;~CKn~{t-0I^2DR>)wxQ>E$tJf+2lV&PA{#r$qE(l8KhTlM^b zfFW%H*ute@2JU*Ekp~08TNJ1QfSC4oRKHM$eNe3qE<8&7{rB)I{1O`2=*FQ7MFgkS?vEr%p{>7vdNA zYY^k%xRhR-Mg3UKC8&o{@&(~ItrYd_jFGf`qoOMdBe4hQ>2yGtd|Q5U%sA}Em6<|g zojGz5)CjqTscV##)bBOb^*pWk`Cf?q={lkMS>k4fl*#g#V31z3&V(6pfFr_zOe~aF z3t4Ml%&V0%3BBqc5Lj$Q0L!7XL_=k&RIq`NG?-anS(kN_w`S43%LM)f>G!w!O5vQ8 z9uuYEh#aDW0-@ zNwt{Te$X_VTP{jJQ6oc24p@oY!^K5N(N-US1PmQx-{1fibz#Aq&1=s15;sAlTg@-O zVys;xz`^-MtD?6O!by0ux1Ymge$o$m;m`0q!n)hPKvWw(K2aW6Ay|}UIf!-n&GEn< zMa@XGM7fu$l(eZJz^}8xc2ogauP_-@7oq-vNEoyfwCR*!aRr1YM$AOvKvyBuR?(BL zy{Zn)?eTRsr(n=mBbigMLYMu7C+-1Nj&0Z9P$#myH?-sxBM(#ju?k8{*&O>6C1HG3 zB&U_voZFiH$Pz^C>0iy}4@KHkGZcg5%?t?b5u9C#Wg}5#06F_&AW`3)m4;(0PP@R$ zVgX&aO=&yXX(E2|;Z3W1b9%k)P8iZLXoGjY@5SG%$-+i?U*Za*qV85?s)(!{^{X?5 zjp(~mwMe_&q;O6a%4AlXTUMkAKhiWRM`D>jikw+b%prWMl;H##Y>?IscLK$I*`u2w zv>>|s$*oHXfZ$SE8CXIB2&vL-Zql2`AXxYB&GN~%eANFw^8hKLw|2BADPvh{Tl^zQ zM#L;!N5*2j@!_kSjFUHI#-?U9nzae$#M$r?)RHs_3Z%ZNn&Y&|URo_wUnsVjjA85I zyY@7E;vf*MsN~u$sk0};Lmap<-ELvl_44{auW0MT1UR74=EjL8%h<5o+f2dIY3Qh- z1*eVqi~@z{l9|=)MJ#7NLf4Tj!1Ug-tA%&v4Q)^iNx+9MgkeCRK^_}M*^P)pPDX6W zqQpplyUQEgZkj}fj>jb;rqUd?4td1AD(QQgyy7c;RVquH^ZU3j?wh}dXDML{P{I-H zGs*>o04qe`H2*i+pJ*n(BnrtIB956bpP|U! z$z6E$5joYbsdGXdq12b*YR`-3)-e2tpu(r60FVzI@Vk4KB!)Tx<7%G*?UBXT9{=`2 zOT0{>Pr8V^;uYMFg==JHpd0SGMhGo3#Vg&gYgqRlHp7R_)F!JIW}`R=PV7sZ%a9hc zF?w}h@(5*Y9;bN-qKY>@Vx)Vf*dd}R=^x?eGcFg%I|G|9-t~2u{_|M=7Zj%cl~x90 zA5cqwbN~`80TfK5%!dT8aIk$OQJBGu!yfNKxGi}KiIz!cxv%vN^G-?xjZ;MpnYNga zRrU_#cpZ-+NW9c)W`k+h3!9rp)JVk;#U2n7B_~Gk@69~S^vUTXrM!#4D2e;%`lGkg zpCkYH%`}d6y!Yb?B-S)G`dy;pW&m?V4S+<32neeSujeD?_D*i8T|WFy--w^Uet&~k zb{aIU`7nke4nCB|rKD|sP+s3i4Dw#PKgB@i;a1p=@XZ%ZP&O9rmN6eZCFPs4!$V!H zE4=!ioW({wXt`gCL287*zOVmilH3YV#e{{&2ll}ACj>Eiw~t~si>K%~|K!Pg zQ^$<24K<3Jsm6D?Z>kUph$MP;Z-TG>j_?jdm8Ye&c;dJX%3M-)7A$;21I8Xa?AOZ? zjlNt0JA&pOuxM|+L$dsW{Mj&I8}9W`w7laaH3CqiQLT3SmKrKWP81~XrLgrAj-1MR z_M#+9cfAM(@T+7a8IB4eanxC?rYUs6{=MrLxPOk@eug+#`V1imP!mmc_mq0I5E3YjI8LB zv;IS((D`M5`0&rzq%PIK!_eWA`=?18I58)~9b#2q>}1s5b>Ul)3rKwZue>&;@QH10 zX7fhuX>tX^uXLB7PgSzes_aYTMY3Zbt^S3i_GwyLO~NV7;6T+CA3`H|eFFB8-O`xt zqUAL?MvL;j%E{Sc{WxMBN0-8|Q|qLoyRI8Oy2>l>Yjs<&CJQZaYWT?krD^%QU zrIUe>wfg`a7vP6jqDIcN-%mRg@uT52vYavIAbovGF8p{rK_tbWXEMeB_eO4EXzhWq zM-JD)#uyv&{W#+-(dg%`{XmIlH`akT{j)<(OC~|x7*X9AxwuNIhKtC2{7|yA^q){N zAJaTR;?H@Q^|C;kpzTLf<=ypd8~$M&I==={5yWntJD?uny;%IYB#lt`~wiY__P6#FW^a!6;+!fRA7}FQkV%-!&s8 z!)n@XL4SehC}lH-_)z;7h~OVtr)ZfY!~r@&x@YBrspsfMedHSnFcmA#ObgT|G`NB06-@+w3YV|XHzT%Ri498IvyZHW8 z^tiC$tH_g5txF$x(2!BmjJaA6I1{jtIiM*_ij|w(voB4aBRR0XR}25oHR;=hxFg^< zUF0B>#;7gl@9Qb|<1CK80xujsjm)*V8L-s+vEdIlWeFd#gosKEe}`)_LhzhdQ+Lx< zIbe&g>4esk0}M5P9T?Q~mv|P>BV~-ve07^?jGJWnU*}X(V>|_|BG_CzQ&DZzpExxg zz%nD(XuP#oEbu$db3b}B{OJT|y7k5&1hBjH`pJifvk4o|VASO+r%^FslWW&UnBeLv z_#r0cLaM0S<~fJXZg=7rj8F!@IwVp4JRn-`kNUtXUN}yO@>1qEZ4T=@iiuQQ-ElE5 zqq}*c4yrq(kInqxcH5)|5qCtVDE6YJsr>Rrr;S zt@|QswOn~gOd7INB%}}X{Q7u4E?b6@3I562GhkMk^K0$TO%sEA>q=wCH5(O>Y(S*3 zS7h;PSnjF9^mH!JZ}kyOY5A)1x44!|Qz}mZ_%&Vbxw0`Rpfy&^i7k1s+D{MeGDmGaiWlnB{i&wEhw<3pcVOd2mSWxv=A@?Xb!TdkuH|@ zJ?_FN<)>KVEp*;wo+V07C_?%?CO|*H9aQd;5>-l)FN2lwCJj>SH{NHI{rd~0>x%Ol z_B7CZ4g>R~LkHuacJ0O89`DY@LR#1ULwrts9A54u~7h`Rv;}5GnDqugOT}fV` zNxF?9|ADeTrndCSZYgWoxDj7T0rJv2+03Zqxx~Y^J)=f=;qZf z&W9}9jeP+unLheX_v##X!XrHGJsy?+$k1){)xjymK)Nz5MLBEQbi%yNd8Zt}vZWJe zAYEv4s^I+_H?fqT=qf9Y3ji&S$gm+Ab~5!sIo2egg)!#sXI`rWD-tz=T+pu%p<<QdJzQ?3n|7FFQ>xnyWpp@&hQf*COJAf4ZTF zhajne|3V`#ms-f9Hih?r^K*Tj<=G6z5AQH7U(UL*>W&OHKONs6Gn?$|!00M@Sb!)h zhb$lRXNHvx=+V$Sp)sSfec5?iFqAKX{f33XJVdlz<`kRjt-X)S`fR-yw2__dY>=dE z0=J-R^_*>uLy9LVe**IVYU@D^cs1-%N2sR_;X^g535&$5%8>9komF$ddrmxFb3^Sp zH?@JP-~BZhQO%KWC7PdDnS)gpdMG!EQQWJ}IrcG{Z8s8{bC7I;xfiMD1qJ>Q{}d1> zwKw?uTXsR^v%#nuod4?2M)uJ&y)->zpJ2WdexL`I!J!(ELk1Z6y{TtEf~C#1%Se|0 z8Q~q*@}hU^Q1@^LBhpZE4pD8x6JPvq-qgXXM%FhxC@NJ^KD9`D`_r;0_hs)Uj3#RY zzOzvB5csXZ`hJ6=E>t6~(=Wfj!UzccaXB_`q6X&ib{!UXZ#}nJrEjeyuaQ-up+Lpn{SdRSL~BSb%&H) zqwtSNgSVqQ-Man62f`_)ed+a5KR3}?aEBwpg zm7_U4Bz9Jh_k#bNI?Ok?`CVL9CwQfv7Qv6|>VP#EmKm@_kw+F1iZ<0jD~2@gC_-X+ zX!kX*J}x`AIfC2$VPFbu(f$l6SO+|L5WzenKF4hn8hlm{xg|5t{-gMpXR7WI{}&6- zlOFG#uPE=kJcGzf4iRy>1brrgq>;&4=JRzf&FG~jw)=#pzNOC zb~!+G$~Go^Uibrs40T!M(f&U$WGtVA|0=()y}voH4fopf6<&fx`H#C}c3+P?cjMZ7 zMI66H<*#H0(bE_D7Wus?G(viX?#N`hrZA~2uMPr*WDECVX8ft{EA5y_(kQHrqs-Ly zc=?>M*J}25Ep}{gWIp3ImC1(k96BeYmtlZ}L_r$caaU$lSun8H{W?x#tVLw1Qgc5d zi}%791^kyMr`ko9P+oHPgo}AITP7vIMVcohz{_^@^dZFEI0aNnimDL|nt^Jda1&ObGQ3|&iGccBuUv-vKb5ut!qIQVm1_&}1!V>F!#Dne z$*!nYEd-`NgD%aPw>p*h=M0&wusL(GW4L7$Tw}{eP~=hZK#gvGaJlRhp{NUX^fT%F zf3aS{=Jfgs^T~jzlIPHGdiNg>J9?Vbh`g)#Zo{j|U0S&YF+r+v;w&S~A7QU>{Y$1z zzr2r40N+~1T=Z1JS=JI?_VpvjS**Aa|J08{0i<}qCx|puTIG1V5~0R zu0q4sWd_{*QqgX7zY{kF*k$u()DmM{e>^D{i;<}6tkINJRY>Yj1p-j0WrDd}U+?TK z2ig{Uy2rAtc`nyn1uL&#$_ zVQ#$n$(^v685E&oCau?q7;{SoPUoCYpAo*-SX&~;Zu3A;RC)UqGzJod`IIp5f3#32 zyN?%Gc;|bcc&$m72vcncqJX;P0n|+~; zEcOxC2id@SeUseg_82kXxu){uaIglwXB*^aNSFe_PTQ4WRG`eg+0ym;C zlP=5$+s<_5FmND~S)aq#CEoZPx$SkDB3xxoZJWr9(th!_1}ra+r_qB|yJwvE^0t|w zFb4+w9tmArG4|+l|4Dq1R!I=Gu#7`ElbT&+CiE$5vU(s3itSo3{)j$tf6*Wj70)cs zzUos?vI4a?1d%`Kf*0$(_a1KBU!A180WlS6WeMCns7Gn+k$v3?V&(w z^+J5+6IA0e`i&+m0$o}{pnmK%3QYp6SJvG#~LgiJvYa+D}(8eInRxa zQ9(;!UEFbLUZAR9?o5<#TfovC0b?jj=(Rvuzmc2LU6Wppg_DBBTVyL}wL)SV$n4{g z=C!1yL+8D@BZ%AJeb)f7ZEjl(o&~lstD{9<@ff})f&@qck{!Nytc5B-UOC3ZsW4 zja)}h_cG!M!pfv5%re2NKjV0<6F8Wua_yDHu~JSrwlqbvf8zC*RuL#)8JE>BPpmak zdvfRy0nXX69~Q!Fp!*Huc_*9x`q{5$zLhg)G(#zv>-FV?L0i6evv5$q;w-O;@7)|8#WQYond?!3LO2jeUxEN z6K64CikY^ zWT8tb^u76huIp;=OrYsb$;X2T zVXgS_Xoow@;T9*msrN`#bYpH#>k8IYJW&}poXi z((odD(H1@HVsftpQ&l#I#9MH`yHxb}_z$1=f7aL^RoG_bV%lRal`pb)1zDMu1tr4X zjh{9YhsG94IMXK-Xr9Wif?GxKlxDnl&4>j%qJ!pN#~5b3hd?i?n~;VMb# zEiZ0n!F2N{i^r32)lLib;vGIbE#cMrf9#;-`2tuHLsnkL-d#yeUH=5k1G>DW{*~JN zxIT>QT8S9tK}()R+BWdK^vK1_0YZsilVA}SDI>hprH5YYJ(q(syS5CdlV^-owC3d4 z9h)y3H@V>i?oEOB)Z+dbEGd30AI~#q6{N08=QWIBVJOYkSxeVP`7|{;!ndG$f3Qr? zko$5XTN_<&l|V&0Wz@qYCS{?*?@M%My4g^m>1ZN_{YH##rSL8$R`bTIEmx;GFwsUd>*0F zQZeI2&FHJnkUHw27lK#q3<{t1gP#2{B))=7#K*2LW6`l?H)VOCbk!vZ>68bj555*( zJ6Bj~*L)E|nKe%nOwWaG4yEIBz@M?v?-esukxIIEwBe1~s&6&pWwShD-ZLTChyJ{=l4vXl zM|!@hS1eDd2a~2kF|3=fS2LN^_33mZ?QadZCF<%VVU7wT-t#|c&vc^+_Ft&>W~LaE z!VFlBlqs!>_7nFG;oYf*aO>RIp|6ApH@g^cS$F!YM(QGr+(dpve`hPrBPDRI)|mXX zUEiSCyYyk>9@S^skAxO)or&@t5Lo#rL{&oMIpUdFh<}ZtBXIF9^89Wq3Z1`9*b zgkSaFsm*mY?MbV$0KrnA;`fwd23H}Xk?3HY89T~TIv^rV1_*A|ER}(R$A3l*(`L-s%qdEA(cjm6l89$KBy1=&hh<2*IIW5|w zcV77KP*4}bh=?0Je#{4d%uz0lgzwdAYvI>~h1PfMHgRw+o|@n9OE;fT@4Y_HEE<3;ST!;?FbA!ZV0^u=%R> z3Mas;nNQj9bU%2el19~h*C5`KW@N6@wImGY1zr>k)lGI}v4lrN^ZFi1@X@DTh`t#W zEfW7p@u+wLT;gnrFMKFIb*VqcnZmn=iBcHfaMLmjhtCdO5s7P_l06}RTaNf+Wcdpoi)p)JK?emm#lO3R(Is6iY2Cncob5?#m6#gZNseAFSreBh z3r}{Twy%2wO3O4+WFzzd2!#E4E}tK!$p2n>%nEsxT-^~VtmG6GT24O3d zp`heN$FpuFFK%1C3P^s1zNzKaMBFfwS{V;X${O>fuL{v3U7B_te?w>! zJ3)TQnO73>xS;?E($+R4c_qSy#T+SFw}21FT4uzIK?FGb06^QHo}U18SMZ`qzMSf2 zhztl*0=&G|05U#Z^!77i5>K`g46F?$oWYCPa=gx7c*2gT`FZxHERHM0FeMN2I&NCR z`ieK!ch)ofT_krT1yfGiR1lG{f0S^t+v~i5$Zk&{#)QQsRAXnr94=a(l|*kPb{m~_ zi!UY?PYu-TKd!L(p0yC8P6xR)-ub0NsDoLl4}Zg8nus3WB4dh!aQF{|UF|CbRL1~) z6PeFzWbBxSQ9eB?TS3O1)`pW720h7uRtw|12u~TMB!78C)JrRp2FcMSf8vs=eLi@8 zSX{OB@>PzaK;8v_aQc(wdbY?AW+tgZ2sr){*!xf0C1G?z_&5k0;it z0}H2a{xpNvX!fxB!{2Mn64_dya^5gS!9)!ZedM&xKO}Y5k6m!cm*OO_AV*a_9=cx` zX~Wb6#^2@(ki}s(cvKs#7VYovNtfsE2)y;;QX=4-Il0gNe|oIve6Un#^VEkk4hY;M zI^f`YX)j$CA@-9)eh{RS;)342hkfS zC0|*J73mlLXF?qUg0s^keLv09qtf4UZ_yBaln@E4mb0Qnf7r;y55zygy*MI;Ku`W% zN~%4)AS=(0%i@`x44>x1Rx{cG)*GP8#-6o7kbdSvugZy2u7R19C{)p}yxzuN3GYQS zic#j~AWl6ix=ABu0C%5#3y8)jXq$y21qL6cZwO6XyqN^M*)G${Bx6X2mzil&3B%E; z<_IlfxS*{Rf0x>Gx(2^&(;r}VnakTRvq@nX@s>xPdFmims>D@X_~GS2U|JZ0>La~` z{)29vGZ}t^9Se<&sa*A(3+3)QN;2XLZhlw7;y6<^__t+>8@wfxGeP@ez&apiUa&t{PNuMqVI0$~jG-M3Hc*3LbxyYf_dp6iIrf?S}}>emMv28I39 z8WNg%n<{9jm^x~3^Nx*}HVzY@pZ&=T|E$8#f?+ro-7#qq=CaZ3Qq2>T>gV_+T9@Z% zf8yJ8xJIL*gN?qrC*R-6c}gt}iD2a+QCgfrc8>TsIaai$eK*5?L*OX}2iW8kHUE#Y z<>J!B-I|%*B^!Q8Vf3NYUxpJ}}4}}>&@qzpYHwPc>IpT&^3jxZlh)M@_ z2`vVfVy+pD6N=;Oo=|qfMT$d3DRk`KDR$nZ5)R2qZ<-e9IYuhNhD(Ir*fo+%rY9T?;oRHkRu^pn068pf7OQvChjJHKzKnW z3BC#JIBZsHxTY7fk*e{{ey{wD!K{YgXtc?DF{_g&%ISf8+h^?+b@0?2HwAz9h*_jC za*Dza4R|l#WE&i#?;cpk8T`a;e}4>*-Mqh%I*)9j2a634 zQ_Fz@`7X~{fUj?aA)0bg22xYExw>N1XP$A-Q7YUBWM-irMv)9SuZT8P9WT0HHg3iQ z&daFE$y*g{{phTRm_@+=l|=1FrzQ7%2^6L^SQK<+yi(-&6qwH`XvAA!;HzT=>2=DZ zc-;@u!oy+Pe+eoXK5b#vzv9Syz=?mnqmbJ-^fP;&CC5PdgaX)qTShweyQyrXJGI5U z+=(UcrOI3N1<42iX@FPQ>t=Z%|Fp6{+u&B(XBP;B4bABy)+Wk#;-lGq7|HVDVpuFj zsnzGz`c3g0UyP!EmT}S4r^BM&PFIkk+{@?b7a?yEe+Ch{HAvmLbp>&Ra}!$I_;>^c zK>OLEO9?iP=+FgY&zS9kvoIN9usXEy0AD!9Bs5#4ChpOD>yJWAG6s8;sd)rL6a1DX z&U1vM8XoBV6^6T2FtEQjLvf*T|MW^SRy`%Ts%W#4cqzg1L>tkLOviUwrf(gp8!z`v z9`0r{f1^{5#eRSw+4pHMxNli`pOdS94#6g;{HECEAfD_3g?I}GlPMb$-$QJjmm&RO%3;E*Gu6`#QFdx9Imt_Wgkzb-izI?Q zTXFot(ayKRTB;TrKeM==JOjppt3Oof!^lPkf9}=);!*sUliO!gc-|-Da}@%x+G9&v zKwF;3&Y`k=-1AgzH2EIA!#vnG2$wiZ+J20lg!RNZBG3ipV1x<#xJ zf3VrL=uDqi;ijsj+nJ)2O#92*Hp@Vw0VwKLGXrzsG5{S^91D4a#QL=CESHRdY!1Ui ze6(7B3A~mlD!duE_e0-rRV(N^i?U=+V=)mhK?-ihs03Wku$82XJdSIS#>2Jb3M?`f zl~NRFl*|HoP+jKbGHZv&$@9&guC`{zf39HM1Q3D-ZwONLPU(&~$9PZD!|tq|S~r(q zVc$RNU?)l^-YLEvN`JM4o?@pXv?%ejAQd$2~ ziaf%$EYuti8DxeoI}g_-I!dOsJhvVW3t{bEH}_66ZkKB*P)~Hh^svk_3m8_i)MJ3D zASAQ^Wc*SgBY=fj02dlGJRd*oYWN{wKy2uy!|Qf<4bKdj_%WfBGpzR2ALC z82$!pKbJ}RDM5m}hy;v%A7TKi1HGE!e}9ir<=gnjm+1;=>Ky@dL1Yh_LuB?#Fr$D8 zD|0a5=aHYBrNv(9v%>V4H8U=J7N}2d!fl@73&E6TQl-@uHMJj59o3@?3qm%D2m}^n zVdV>WlJ9qHfKB$;JFsAjAxxXTOybu}+fK1Te z#>t(f*Q>fBxV3EPU)$ct1aZ!DBdX0o3JRsQRgbN!uI0~oFI4~C$|^rd4qswK1ONL0 z6)N-XFaIe&0Q~#%a+@lSEXN|_kc-Qh@>bW(BBT2|{)E4eXe&<_f9#i)k!rho4Yjf1 z1&h^Dr;x2~XEkTx?_dvG{yTo%4`T0Tpw?(CO&ZuCeZ`*`5FApQh5Y0cHU6c-5#O*H zS-F!`xug0L_4p1km*hJYJe+8&Btg#LVD8~MwTxfr~*u@^(@|77nv{aYFQ zbr7N22MvD!v4o81iO|Uor6(;Y;<2KpD!uzI5xwOdGS9)uumfU=`q^i&u{AP>GW~&e zJ@3F}lVW!JePH5|&9E3q*LuTH!=f~WLc&y!dzBz$ss6|e?WNj?%3V)5AHU1>OC5NF;J${#32N?InYSd63-DTb>T3M!aL}fo#upV^4IX^*yFraEIcbKqkwBkYTrq z1(^MK_E01qery9!Ps*f9u6lD|_}1d3)78j6Z>|$Pf8S_zqO9TVPD3aq?c%Wm9FK*@u14YZzLMe-<>O;_+57P_ex*XD(K4pvRxh{D{>7d zPyLXV0`r(2I7?=G^#_S?V>AZd9~)?|49P0Z{>h68vWx~3*`)Z=258o(#&_Xodd<0I z5iHpJf0Kx}M5l(Oqi-Vn;As20+R220RSq1s$><{5I?tCBZr@%oK8xe!S$}YkmFkpAh- zgJ#YGYt(4XXh(IJ#pPpr|5P(l`a-sQY=I01ei!8l+C~zas2$Fo`D$8VzGlPSD`lb% zQLmv)qzK>+n2+y7LB^S++Cl|z*q;;JNZ|^#}x-VSU)g+e|#TNmcgeC{mJ^GvFe~ypu z-zSjwPxFD!P4JD-rs!K>L%LZfKhTzXU~M}bg{2QQ&Feat;LD~;Bb``6j~O^wF5WmS zu0Bn3?1G0&k~$UMMAx{)Hg~0B6tg)vZIx|q7JaH|?N^nKczWUJDaSh=00|E&+*HFL zk6`!0n9HAx-4WPHy99a>|fh_-{)I?r{}$mzp@CPkoF zLoejVXjnJ-18N89b76jLuc7m{JR@79z0%$^e}+^D84c%y zE2URh#ZRo(-0JiuqTLK^GO0OC=-EPVfJ?=#qtVxX*Br3+p4mmbVw8Nsyp|b% zp|n<`v4L@NL>(}B8Tjo_vY}zXfqtsZS439mI4*-Ae#-a9K72yx@~JqyPxiDxRY^l< zXug{{3F|Yt#&?@$cP4o*rRLI#t*;*%_-$VFo7G)07X4gP_0B4ef8cM9&-ja-S|S=1 ze1)n8BrvU#{nALbPboxoXXtg*be_HFHKk0wL?Mil2w@zgBIy~dQ8&cY;h`s1{ev|x z3?7*`^0pTLWt!Vbh&_EWDnTa*BAN!&qLLHw)(oO^b$#SGGW@+6lheA~x6mH7{BA(p z6?))A)V+K7&Rd`je^tHkJ$;6QEOnvlRxu(Z{}a$5m9^%vW7SJHjZz7z{7;X$Y~ z!!D+>Sk~ zj3nX1ZThQvYVDle1^mWJuGUfvzOt9+CHmYwn(&}@fE7h;e-m)C?tQnMWyg&axz zM=}e()E+dp7Lk=8g|zlcsnMjVT0#rl^gc)SD>~0>@fqdLJvy4=FHIGim=D*SHe*z= zic`1cT7Wt}2WK?8PPtmK%#3BqkH2pegO-#_2p&ezOwyfh3kZRUVaFJWd$Z| zdqzVA%Uo6)Cv2}0HWYda5|1$lh+EPAG7Y-RImI(^e{G`Fo+ij9Y$Z^5*9-qDsoI-w zF&NJ`u>g)`mc9-4DlDX6LG(hbeAfqKdTsK^EZ|I7`(`2i+uzgDZT@u zoL)|CBQV7)OX$vu@3iJ%{f}*U`ZlO(#=3hyS{FdK3<-c$wwY!;Th`)^%c;J7Y7gDU zrK{R)GPAB zjJ{X;EU&YOPjwe5#yysx1!`L=s9$5`9Aa8q25Z3yA!hX|BBx`|N}8O#(R7f@|A=CR zN3pv!i@6QF-OO)jTofwA@87apC?9v#5bVFD+9**7#mn(vwKS+-N%7cu6bfx_1haO> ze=eqsXj1bT<5)0jT6sdzV!7x8mNrbuVx37fa_cWZp1uMEmrG#{A`kC7_>$&4r4R@j zf}&Q{NVdTA1YcvzixRY4o~3vgdEcaO~}YQM-93u&hFma3j_GDhu%4o%X%0 z-4{ZXaKlJm7yO{u-MJWWd$Qo;23sX;e+@GmP)~g7)zQ%gp{Nm-HiYM_3^R2f)69o- zm{97Yy_VC?@4LO#s5*bM+zTSMYN#N;*aC2GCgU$KR`9+;ra)c`%f1?kz znT8S~L(NY&*~8a{{udxSXs%N|F9wy%W7msZu7OyG0|e{T9$bf zHRNy4@IJ1!f4vApC{BTjHvO|P5GS`=|4!V2aP`+D!a~lz$IYY(UgAb84W^k4%l zNo@*ol;pAo==W|d52>A++#qm4o>x-0<#%4>e=s=Syz)5i zx$)lLXr+~y3Gu*l1H(%Q=Lxs}0biF>NIxSkta(1)V|h}O%TUU@yY+M{zzZuDFa@c$ zSt4o}V!_Nn4H3}2;}!*4I|j7iX09X;@chbYSXuoUSFw2Os#zpV`Qrk(CAuzL)~Atb z=+3(ib@;6K{-i{76m#3=e>c_L)1T(Gz7g!MBS2R`?gFro8Iagdj7iz5gym#VM`c2(%ow}f0C##aa_EOrSPuh z2)gm0ON^)KFwS<{mxMXh@3Gr+gS;G#ul)1^8q$IH7%?VDd%?bJDs?aN zGHy}2E$kaiO5O#U^P5ZxL%ZIx1rc{ac)>&y|8IdUt3t)eNd_no7(kbZzAVH#`&RUy zaK!a=*E#B4w)JtGe|8~h;&UXu5BSA*2X^Y3DwVF}&UpHa`meZ+qi4$%#+QV-B{RP! z14;vFrM^(K{MI{>8xnTg zW(Al#vx*a)3eOBQCX^KvxK_|vgkw%HFsoY`2_*e+0YJFje*_wJx%x?ASAMJ`W)&%@ z(LLzb(G&_QN>)FzUfpJ$%DE6iyEcI+cC;K?wp_J1kwl&cf$0N5wk{jSHBq{O=tI%9 zN!+v&MwKa)Pl=Tt;9ttU1bJ+_a$q=&3s!KyA30MvlVweedak`yeThipKpcIisr%lQ zLNPB-ynod#f7Va8QWtIq&xX>)?}5%9KWR61{$vwLG^B(B0OzD;&DzGIDMhPOjM!MBqf${RS-L)0*O1*Xe+1w`5*|b}1CC%_`2-i#N0bgW z;Cu3&qVmsC3FvOz-A*BQa=*C9Bz2YfRXB@zI_{+8;xbbr(3mwV-Q#^@CZZ8CAa(^5y7T?ueI4T*`^0 zMJ%9##?9YgK8>MR(_n%jK@A&dc-w)otXb_E~koPou) zlFPRt`WFc0l{s#d&u2|yMmVmMG^CiXCiAZxKx>BK8u83lJLX1&r;l`l0=6C;K ze+(COTz}i}#k*UF?-iPWdQZcs&1mP&eqOCjdL{bWiFo95B$&7@5LU^H}Q zzZGWZ0P}#R(z}l)n2iU5ZtOhTCJR%Ij9jRf`*JM6WP%jB;B>I+KvJd9G!Oj|*z>5& zXo*Lf?TwtAM`;8G&Eqc&x9B3S)B~+Li~`+SQ3qv7Uyo{w@Hy?p)=v%Qe?6Pj z!SSuq?=dY$KDY40^&SB0Oh_zBFrLRjF6y;U`S*!E3c+TMW~DZ+o!nkMx8sgjAm@cO zyBB?MQ$}!X+iScnD#=->Sczpeu#BH9tfHyE6wAlD<%G84#HNV8%$yD1pEl z>XD*u`P0?VmY_X-QAM~mgc?^`e}@X)gM7?9B5cn#b@Rfm-}cmYye5;*`<~^M^Yk|BTio8?LB;Z3-hA@}h3+xtul*I9}vU zeBeN490o;XC|yxK+VoYfe@SJx7dgZsq2r~cIIW$^jkG$AYgD&-=W9hxxXdl$?OC4p zf9d#%0}>($iYSG=)dVGM6TMm_YB90R6lDu(EmUK=5_7!GbG9ZBcjKArr5J1M`AgJ~ zxeal))J8Cyggc$|jc#ZrEZ@nKO;c)vxl>n?C>T){Iq;bw{BoAP9ZfuymT1Gq?aPlS_~=7dAFwqm>Av!363#*fIOe z@UQ#BDl(J*6(aH*#v8e0z`w#@Jl{>z7{qpR)h*v#O!P#`orYs-!eV=o37d>gH6o(R z64x-k^F#n<)XxBOf8w4#c2SCAf)9Aaw9}4R^nlt-{#B)4RobYIp7LbC*WQC=cwD1i zQpvTDhnb7C{vy6ns?S%KHLHp;*>jRssx&?NNoANaU2vyxBoEI)me%EiQOa84iowQ# zjVhRuwy$HCz>_}6ZBZ?np-Ri*^VR}XmBS=~{4CDUtvAmVe;Fs)k4l%3Srk^Sop#)w z*KGyE=)u>wF#g!DYF)A2%NBmQhpLs2N8gE3_tNq#m{t;4oLKf@zS45Hp3Yy6tY?x1 zNs0?w)BRFkj%_A^7k9-cOBn_dbe(Gb(%_IbfAuc2EWLoV)OVfn?GK?d})1>a-m_nu~#|%+%3QO{ED=rB$ zY&M8S%LBxQ5snGn{5s@{t~f9Q1Tz7iIL0-p#omIPB)6hC4K4Xbvj^!T-_R0bq>MPW(vds0%tp<0 zv7nJS5A4N7Y8>;*`z@YW@HF;l2ojrgQOy~Z*O|=hBg(^ zNAal=f5h*9cz#IQO?Xbk0cP~3F1~%7w1wAEoOlNHqhnEL<~=E(asagT5v|X+La^?& zK}Ll10_@}6wiK+PycQgJ;cJGxw{T8z6{#(N@ql|jyOX9xneq!OL-g!`C^KCHzmvn% zUR5dvP}f3L!-e6bntBz{`_b|PY~+~Hc!Mi^57(5eFU*zUFH!tIW|L}^m%*w96qg)} z1rxXVhXo@8ms^bm6Spsm1uO!WWRL|Fw{VRG@&cD?lLaddHVQ9HWo~D5XdpE>H#e8@ zgaIg*%aa8Te*$&wOT@&9zy=R67#Ix07CZ>M0iBVTk!6Otzy9WzSuIyfmXR>?a^ptW zsp_iitjeV_v$9*#J~ygywsEe}K{Y8gE;icQM*Gm{NdLh$HYxh_jZ3ESy730xq45#j zu?gDl=#ZM==~n8C3jL;u&eOGRvLSMj+RFIG<1=KTf2}n}=q~LOHB6(8A`ofVhP0!T zZnPtcv`XzYEs++WJ#dr7dTBUe;g~4Ve@KLwuyAmYupCg2xWN!|#(xS#I5kFVLZlmv zadcO(nF>OK!3vL}O^t z&JsT)Ich*qv?isnW@waJ3Bse6x4`#Ms0SWYe`}TAF_0t4m=muTW zM%u?Y?hA3(4Az=$c%p^KPb880^F%Aad!3xer6cT>774p`G)I7esR+GC7$5k65hqXA21b%1 ze~cl*fXIkRL9hx3IVxC8;td8nOJosRLxqYsBnu~-NoMEgpLg1O%{y8vZOG?M`})n> zCgf3~^(K`@iOl=-ayos#^Pm4*iyIZ=dT&R8%>c zPUp?fKR4~ZCF?2o?31Qxn@XEBOdLv^f25ak-_F?cJ(6ok7iA#9h{}b-h3zk3Ui}=- zz*Uu79Luu|kOItN7MeY9n-<(Yo1GmUcJt<4(>}Ym-?T5fuk&WX%ZtCyI~o{&>UP>a z;;TEIU%<2A_MP^5cX4((JL)djv2oWycRU&Io_%fJsRka(j|{oA@oa=@{K(Q4*#y@HGa@%}BPwjn!(jwBGRteY z-f(IIS!+ZKl@9F&p4*vgtYcs{1M5n%BX46Kan(HHZOtQYVIJ`s^GIprQn(qH_TC5{ z+1faYDQ`rWJl`lOzpV!t?DT<_f7bbiTCGD5P^t9?C@-m1<)zyyFK?l|yz0F(Z5rZn zBV5vl-;At_toILT3R+MmX_7`SXz7c^z@7weQr`rEd;~h$JtCktG3m6-Ulk!n?~lIBeQq&R(1~ zq``m9#~-HMNdFt+`OZa9vs#4Hk))70 z3S7$M^v!0tlrwm>*%}Z`oU&f4&KCeYZDzLiuFO_T64SEf5P5*I`!S~|DG^3 zNwxWZ_FPFR+2!Sq4cCoA+$+!)XrqVYUG+s**8x9 zY2=$o0T$&IjUL8y&Wy+>P|Tx#13Hn;^s&*3;!BTINHdAjPL}#Z^owcA#0*h-S?Y=o zaTx}iGt|J` zCsZJsXcMh5e=1T-0*wp~NfDW~N_r+3*pi@{5Loq@wF~jYkU)yt$>KKbI#O9O*iftx znOf_h7wZrh5-hBig|ww#)?G$fk3!lJ5B)TrEx|fyK`2Onk&E7r^Egy+}Qi0L)e+aC*8(~U3#|E(A z7ut(Cs<4t+mXw&|qKKUZTe`HDkDIO(-;kZ`cQ$3Fx(;e5vK1)|r@P@JUvn26d?B~m zGq9!Fe+DX8%N6&MnTn$~94jofyLvNxUuEU8<8#_>qqLjha-bqhkZeuj(DT> zH<^^KqDxfR+5(|1U!a_X6gvd9z>o#SAb}t*F&7rDkJgf1aapvH3~xdTSmZa^l?2Mp zvvTY(JXS&Rlr*Q9u0_bzCSVzfj#ZkEViZIrf85fvls2hQB0s4&ak>!@uY(WF8-+-^ z!DCfXafl6YYc;p4u$JFi2UjVk4%TdY$Pqb^3d|mN2=tU@z>y=hkanhgXV``V@EoGy zq#fsZfPzzxS`J;(meJe5LX)A)QbTX^RZrl+s%bTb9TVj1II+UB!OSj_lMzQ20oRRC zf0i=x)WB-eDp^i=fs{M~De@S!5@#q79sD+HpZrEBlWHCF;zD5HB&3#tw57k67aWZ% zq*10yecN!FLjlQS1GH)@@*+$WZ2} zVLf-WXp5qvLN*#5r^uXj2iH3oTQF_nEXgQN$=KN$!xG7yIb2Z|3S}0{j-P6E%eIFD$H7p@kv5RLYJ#x~Do^x;s6`T^t2`W&2DVdBfn9wka zo}S|rZ&!BNIbzF{bDK~$5>&XI^eFTpO2U%NnLg=qrA47+HIiF5h%0N&;`VV(nF?$ zNbWcmMW6XpE_q4f6PqeH)~9k@rd~F$U^oh+#@f?inxUSzk~z;Hcnq~Ne|m8tFsQgB z25C!wEif4^YIJoAs;fsUh4Q&gu0=t$85F~ilcFdqbD-mPJqkvoB@nZ&nuDwvuXEKL zvJjRe@7vs+1F_<6aX7B$SG7v@MxAi8gKN#k%bPfJqjEk1k1-g zZYLe3f<|6}YZ1D5phfV=c?Ae@!5tg`HJUoXygJ z6UYV)5IjK8z(SA(f-MfgNq`^=1oz+)++LgzTo-r!Ah_G&1P>70-JQkd@SXbW-2PWH z-St%0+{|=W_slet*Y(m}?W-T0^{sUoNBFlJoK9tvdE??ITE0j3k6V9Z4(aOlS)0 z_4*xoSrUEZoI1Mc-?a-ir;97-9b$^=2|H_Qesi3W1Cnua#(7HRC>}dn#L=Qv>~9fx zf?x9z{l{Jo;;f3#cI8FPqFa7#9m9>}xUdWQ{P0;ahX;8Rr}^||IU!Y1GRs%KN4flb zUmu?;0Ub9_cW9$yzIgsOas0_x?rvv?nX+9XUNGkBT%^6MV_l>qS{)Dwe<1tN21!ZF_ZOIYO zmzAD`xS^N~5#R2DKDPH*4oZaJdW{9oHpNLdqm!HNa!;u?=u)9X?&4>0FWJh+ci6`p zPNrc{YTWupmrF6D?L#W)Wctz$u(JQu8ULBSu6q> z);oSjtTLKovb0gn=4$K&J&{eG?8p749pm6*Qa}ra4$0Ef8q6p~J2B0Dx>YXsMIIYa z12Ut%blx|E!N4#T@f0jj*#)lKQ0fuBbtg^-oZNMxxDrVY)17wym7-6q(6GwV6 zd!2|WnBoZr?Tg-LVqqw;zBKK37^ zyIT2NNS}u+<i7dsgZ@u&>Og1Er0{MKki(l4-?9(`5VU)PA&(*w+mjxT!Ja7&rDHLUW2 z32fqE>%L}=Ut&J$TCSQUHR=PJY_;yC(qju0>nE$CENkMgFNtUGy5(~a-FDr!hc8KPD8ljMkT(}3bXS-Ot;OVtG+?l(7 zq_n~yjL<~9m7b6vB}ZZbv;S;rj1Jk|hGg?bqj6~U!_JS)iq6=<%m+*)`6CiDpVPQt-6w_EZ9hc)8|^So=46IWad=H|GQn~rDYpl_?Oi_Y z=Y|#S9M`|n&JWSH-ME-Yw4=5TIx2=g9KWA#Ib8k51I@@7TAwHfuMv>B)nA??t9V5Y z-tMHhSEc&vHvV*e#~rMU?UGSC z;4(^%A?=Di)uCVixaM`4zba#cm3-Bya*wzK7cBH%2lo}UOEx60IMoyZ7>NfBP>(TtoqdQ ztlt66w>J;PdPg5S48nKLQF^9qfdC)hT38#nW5S1~F8-+Ha`)t6O^3bO6f!M5ysT9z z;+I8gqrYvGcZ*TcyBj3j&FuLRZX=5>&9!V+)BrcXG|^lJy`J&I z^FpIu=3GUFf_Hyn2X;IigzuY#4ur$EVyjf_MOQ=GrFi!uG%x)0R_Bx!wXPSy!I6g| zUW2C*Q=wWO_`I!)VMlzu#@+$-Q?~_YGwa5r=?k#Mi;2Z5_$6*qhLeZ1FO_G-J0Qz7 z4R|54=YqR0;pp_rOv|ld>9EDM=5jz0Ew~BIa$He4zO%05SLXCzeCpO+^4HF;of5GllGn6eUupiDBC}*o zZ{{bEf(xDNce%f~d4NE4Nro%+fL_gg=m*z!-TSK4gD>8$hy`0J<)Et)F9prj&UqFMB8`87!EpQ9Fs@Q9C&o4H;T zZ@*|Y|Ly|roep*+>_NjI0sw-=6JD!}DvQW6tHVQM+V4nH_ZIu0UmaZ#G+RAHqh4;y zaMJ2t-#csXOY*X}>V18UC;>OR9HCVAfe5*~9}4qm#s%u)k7->G`BxJ);1XQ;xH<15 zx`CF$)Zv)#j|AEpvqdZ%J&pbwD z&W^Y(cLKwjD@Z>h=tGh7aMXGz`Kb-)%c^u;Nw5Dd z|Iws7wVXDagn8JEH{!?de^hPhEw4>uTxN9BDPx&M_*0yKX_+avVb}1jX29LiSrB?J z!SYGid*8J1gZ8p?tc~4a_^8+4*ERS%%q_~;7A0lk@OsI!ubpiT7-T&6G$1jR5n>n)&8K+-Z}t(;suM^7N6 zC4$*xR&O3?1RrXC-uLYr;#h9T4X)WY92*pPaYNIA9$Ot(F)#az)3`1#Y)dVIE}O4^ zPE~R@Kr^@+)mIyT~ixq2L-Ot3+k`4=>qMdz_ABFMDU{-5DWbC z04Su6_V>Ta_Ti_bJg+Eof9QYgX z0acfAMV!x&COKQ51-dfJZU|a|`NaEBrEUo6zy9PW;L22A%}6gUW4BCkx6C&hgO2f@ zOqHlc!km=GZ&l)3DLN?zYM;!XD%Hz2mxdcOxrqs_x@a^ z40s&jq`R-`7Cb`smg$|Yz78yzqWU!Xrj_O%7mT1-^70g*2p_gC`y<>pIRX^#aO#!l zr`eF3{w4;{>YV2+^FX*JDrS&C-mLVbJl>sAisr1H z%pgg94oN>hYv74ue?{H++^;m;XZ}IdzhJy~K;^|4N2IYerDT(JYxsrq6|($bz_}THd*<0l1yJBDMvS~v z3>)i;D=G}BwiwiG>l$!KAAbIg{}EH5AcAS)Ar2v!)`|e$Go{HXNreO5);SZJO3)gt zyv2;u)&23A-Wn|~2t@K(uBT_aeTW+>IhUYGKg(K<#;CVX=6sDjLTalF!k{dA$C(ZRu zSuO10l9W9I;n;$UvAsJiH4VI>UYfCb_t}ApaEEg(4r&dNeus1EHCrw5!cx4!E&0SE zsV!*)R{QqD0IyN}2Lyt+Zg6^YlRM+{);CyOLR^NvhDNg|G45hk@vDMs7P^U-9@v+B zk1A<$Pd^&~Y8PN#?M_Y)6DVq>>`DYR zvvJH#_89mzM^odHki+N5eomaVC7k)7sXGg6m@mh z9FrLVSd!Yu1;7~pY%nY$lD#uFe`Utc+FF;3v;CQW`S1??E)YS;NcclE^9!CK8DT&i zF{p7!wY%7HOcclZJ`1_&mTV@Xkg!L$>Pmg>mxuNS%Xnmo;S4^p=MXc(uq?K_yfCm@ zX2m1m*9Z4?Oop@v%P6CCNinUmESBU$ATt&~xUS@~lh8emZZTizgdtB#$paI^+@&sK zcf(o^pnnrk3e+heu(IvBfl;EpDD3kqH zx8r%lrc}^~ z$)j@Zm>LQadIDCOgwOp6c=BL1`5znK^XaSkrkY=oI|MZ9v}yccAcbYUDgNEZEgALN z)?7?DJBiPf?lYRjmTziw8MZBe(ljDJnts!?`L1Cy!t1mzvR4D8_>uMhiLuP6TM5<}gZYMp(?z%rC;;!?qf^ zcs9NbjE?-!H?f;+A#k*ZH#O-SlB*lPBKfL>&vN1sxbiMzkXX;-0jI732R2o;Y+0Bn z_T|2Z1SxHobs$nwHKcQBnluy{Dn;G+PCc;&!R&s8jK^Y?%$A8E+%S~=5|{l> zQX9|Scj0im zQmT#9ls=b&6a!!#+>DZH|2Exa#bb^g7N}raCDRavCXhJv&cuM?oRgU$JlJ#Fh{s>` z83C=$;7?cRYs{plPGwsg?-B=Df@ipN6?}^ZD+gsl7WD%ajq~NtvpiGa>}x9c3sHxv zk(p-WA1!&SKbsJX!?a4$SWK)b*Zpjau#XFcWya{%Kav5Q>|{NDl%^EhZp@h!#G*t? z?JPwvO#8(DkcVcHS?IHJb?|GTZV*=jj!mHk7<##=zv%4eg+<4TCSx5>95kLY8xWNQ znQGvsWVMUSrogx=VBB-h$g|>;hAZFJw!x+`tciEsYidzz?JN5KfELQrZpUMf0(FR! z=V}aj&)WdXX*5*!-_IA~L1695wOC!Dr<)xK6EAy#?&9jT09EWzINHptRB`u56RfG!M z6_BZu(BS<%;!@y`(^(caqyIQ+0m?8B6nt>6gaycF;v|R*v7qA2K#jMe(mp!l%$P^; zK8tsFzoFU>b+tutUuG?D??{txEDk5u#bvgxJZ6?Inkd-}88fXKUXrsm1xGU0q`Zn} zw&w7dEUcc`zs1PIk*|cr@v|1W7FG|%%-+iBB<$O&?bfb$8|NJ)BtHPb&Kmy|$e0)8 zl>*yndrd59OWD3(Ek1d!!k=KMUo(!E=^?_f#4$CX`S^#ekcenLU!S$6NP-yLw{8_R+*K aZVf|S7o6%2M2Yo*gOd-Fo?cQ>3iChT`+95u delta 53621 zcmZs>QSDip>k>D*x8Ss@?e&bX#|dJ&2`crO^8B&*iAcPC`StMreehhLVLWv4 z;dL5m8k~Q06=z>#+UPFIscO#hT1E$r4TdJh7%gI+F&d`y0Eswe@8iB{>@EdE1aCww zf%gQ+PprZRIOY)=M1O7`a=I9&$iOH*iEt7=i#GB6WoJd=Vxj$3#;;={ZCots@M69$9 z1?hOn9zZGgfGtst^bSNtkr6b~5MwM`XAODKrEV@IDN;S zsj59`T#>&(2snJu0g_Dm;X47W;U)tbbLJ?#QI}+E0Ff^WQxq9PxC8z>cu;k)+i-{$ z(ly=^P8s$eCBJ5d(yVpof^(baZI7aVJMCC^n7jR({;88947lyp zM-9o7&AK;7EHyhbm90_#eEzQ0#&bHqt1$f4-NAM+)z#p0sO)Ulr9e;CBLD1pJT5i% z-1Kd&3`pyW1eLt4rKt;ZT>x!OeyvdM=S(>=1N?1LKl&*W7q6?N;Hl`Ft{j&|pl%;8 zr`Q(s+C6E$0jlk<+3eu6A1!qc#dX;T)$>^_UJc94TXp|ky4AL4%FMbLFC|&)c%Fyu z{L?0C*YdjDDM+(hrPl^m?7-_@L3;h~;!#`X*K)x?qge0XhO2IGY`B-sw|K9ypT~;e zIN;c2xXLojv}Si>qnY+a)>UPDd4}Z{a#&CCA5HzGdvaR!>L0twFx$_(iI${T4$iP^ z|FMyz7K%vH`FaAl)tA1SXTEU-Z3V(2u#1zP;hZY-a*JeU|i6Gk41zaL73R}pOrk`~d42qsW4(GTOoqHM2;HSAn=UFYbk zBAJK&n%kBAmZIF}H~CwxcBbNV#!-gZ)!UC6$<0kbdDxwne}5hteZ1O*>KRn?9|C@& zWZq`HD{MLqHizE>%RH{zyL$7l4`88`dc>>#&4mXxpPGm(q*EAEGFU8tuFy0Bt) zw{|hCzc!EJjM@C#b!{Vu&11|pp#B_c410UEW@6Z!gG^HPqOCTLBTmj<)FkNh6jkTP z2`?6?^xy@~!obZ5*jDr!(4`u_ssp?g5~5dBLM>ZBQwERA!Ari(+5G)HnyCT5J}qxd zIKOqedYDzpRC=+$>_1*#D1v=^%8K%w7d38DX*ni$JcUuMx$N5bPiyj{hQhDi-sP9) zwkl_|fx0xGbX<6p_+mE*VX(ruPfL_evi7T|qQWy)sV7NNDu(B5Zt{irMF9GCf3(Kw z>vu)ZOE#QwJl9Z2&p#XE3}Jy1R8J3)Eoefo{^(7#@%BW{6g7 zXYY}ARI!DzyGOC zhsfEiu!0w&i}B(xBSu^*g^16t9HAZKS)DbnC@zQo366R9;%&>kRE!WgQu?*(nk)SN zo(4Ts*MJOeNv4xv2F7M+Hq?~{;(Xu{efF>z#OLZ)pKk90!|0rezJR?x|yeM5%s zbd-yAa6Y^Mb!|0{5f6_ zXA175Bcei_v#P1jI-rk0TTHv@lP2iFj0&-cT@j4sMM*n~N7AtcDc{2MnK+tTJfLpS zlG+M04EQCrS$G&*kM^T?LJ3Iis&UBwi+|J>@1L1eKVVxfNzr0$BuN%MvenD zl+$YZhZ_pkj3gNa`6!=-XvABc8It4QOi~iH18zigBs9QTb98JxhrHV1DkAfGLy}C_ z4l6e~s|gH`3J~KQTMCbn`X|D}izuMJ#Hi`2J9TkOxG8k*1n%&%VQwK}9NbbU7JPm& zR8ka0!@y%cD+~v_G-tRttmR!*;A&d8=1ZMGrGv7BIgQt9YPhU~xmCu%KCMTW%Vsq2 zEE#k;{DHu1J9*A|a-NZoW9_XR%IiQ~tj`-~0w!Dz6adQo)Sr6{#Ai~1oo7WG1WiCl zg9NwF5V}ZI3XsQGt?JwyHy7|qXV=BaWzTH-6zkKR|KN(oSf*+-^2K(-wZjs-tgnp= zOHG2b)T`6%dlPQr5bj;dV#PszCo24GkfK#$Ta;p*Zc>qP(I`w1Dz^3XX}N~kore37 zVG$M01N^z18-bgl7j?!& zul_1EvF^0t{>GBwcYJ`wR9O8&D-4;2n53l8|)%aFgyF3d|&GP}fJCT)GSvz?G040Uhgnj3&NBFf}Qk4v9f5S}Zw|zFCHR+IggPHHR=}#fbN&OLNYKs^3l#T&? z_4SBuCZ*6+!xA-XijwWgVt>PdIU2z|oKF9603EKdba;J3rS#3p=qau#Xf#_#xq=?< z8USH}8Dfax8Ob>_!!4X&nm{(3qiOT-Uq!Yy;60Qvaf8K?lB1zQ zz+BV^FI-w7h}!}2sa`sRJ;QQWgYn#Xcg?*?e};dq_rF3 zTOJw#&xlU?Gw6@&67w5#Y|ST^`I<+!;M`*ge#hdcj;7Lu*O|BX-EBhjt)SB5)hOx0 z(J(P3Yn!vWHKoU{S7aEnYW{$Btz-p=Px8A?d|A^f^ep^ZcayQ#iD^TJOK0A9L z{Fpb_qyNz3mzYBWVHNi6;QJegX73@lwz_?{{l$Cq93BjJnQde z;<;)zHG)5)kKnQ}Tz%24WSoRGM>(C=A!3K|nrUBy${^`lGaDG%588C)kxiqvGXv$1 zId!1%L&Ut})60jorM+Vg`3FCF#; z>V59xdS+Y%}fnez^B~&!Tp$o z`CDgJGSn1dcxd>Uo80@GtP`;S%uub-AZ%ZftKsZLQfOIuN4SmklQ$Q&Eb2}>k~$%G znb>Z2raZlOG07*mHpG;0$Y-z5fW_F*(QM2YXA6dEDr2FA15%XmyCFBUAXJY91;Pvp zm2j91@<}8lVWI30q4R1ASb2RmyGzLH>oxIxAsoK~%?&@pY=+(CTl%cOEIMLkifYl` ztdjA$^NR<3-GO?GSD|68zrKAf1 zm5i^Jub^m44R7WPJ$F1LaA!PXT{A%H>RBdYj>p1*i?$}OXc}sQKr55=1Kdn}sI8S- z9Qa(p=bA!+E+51)Lfx$HGv07@C+5a!lxa>K0sVjdAVX;T5lJxc77xjE8?j3TB1fGu zl+}s087Jc34aSfF*|9L87(bdbu#whA(O-WQC%Sf%N}FtPO(b)$9?n2%8OB;yQ2${N z87=54d)P@=wBCUU$AhsQVJbsRlbQAV8UI1D4&8_Q>tqix7G83&X%eHllXMvJA`0Jj z5Wo>NS&Ue>V%id}|AAIL#zf|Qd$1_FdaA0d9pbtiC1L6UaI_)G=QOvv`v*)uObL93 z+OU^YrIOX=W3&h$F@UwmZ|DGtoxi~Jg9en)W{9mHz0`wd!_5nXJ%(9nHG}yx!$c{q zE)+h-h?faK9YNs8>|`6TLhQB0IO$-%PB~R+@ZMZR9=6<|$KrNB(BgYMXT)~Wke9F7 z3s+Jw64CJk{04vo&2-bj&i0+DG3U^k!hZ-cp=ON#gpc44P57}A2rDSPzY^Q+MLL|k z5lX2$cfsY@#6%b2^EcPo$BT9chzUx+z|1Mi@KF_* z5K>KmRp=7CcR=je!<}Dru9YHIO+3(~bhsn2Q`TDTF*!=1}UT9|k{y}C#^y&AU3!cGU! zqp2Za^rX?7wP=$LAdIVm%b|HO-11de7m;aDTQqs-BV`W`8Tfsn$M1sqC}|9A0YajP zdDDg3rvo61+$o3u;)w)Mwj&S&CC=6_orV?Zz}1J=KoLFB;N{G%6pA7-&mVck`vHp6Gl<{bCiq$=@j~Q&w!@9L8V_Iunq_X3tHtJB^=pp9{GY zT<{)oc$ggqgWKz-y>B z#DX_*%IV)d3bgofM$aDtgnU#_`#!f#pLr`>ODEu=Z?S-|RD?Q&ZWEPJQxSXW^eXcxT5h{&t(Al3@t@#iu|G_Wn-5)4pFk69uw-n_R1^tnfgT5dsfQ_ zHQx+w!{P{Er8ARqjfP6^3`VOD=*k}Ji;0p7`o_g2hUbCv@Kpu)@OShi=`uSK2f0jD zRTV~$sUH6Y=nbzj%9I9alCdpUAl=MM3DBoXS6$!I`EWNZ<$QogED0*Z`>iNN zf5U(fSLr>@EY#8~{S z7qeI>IZg--J(B*)btjZ3t0TK2h=jog7HezV&z;RhQS;znyT5JLz4M)sBYF`PawX}` z0;(Nwrz7b73E`$ykR+g*CiEol{?gGS<|6(?E451q(1woyx;ZUWX+3Uxy3TInDC9py zVbDaIk`60X3*k_EusZnJYURy=^S>L@%$(ImtHf~u@u=*e6U%!S{V?ipcq_3)sty%d7jt67+4vH zsOf@fiD-#%0sixs3;BSsJ_6o&8Sf%ef2hL-fd;z&+1B!3fZpAaH4fV_G};@oYwSsJ(#$E&k2&okIjMaDg-KtG6^(= z0NdbPfEA!$)uYk?<;3mlsLsmj1ZeAo)q6IL)#3o?fDaNR^3oXa;6|t()jm&32U$GI z)!bDztl_diubV?fFmXLVJ5duVoc5W~tvf0u!op~JMQz-BC5nzTYGa19Zp)rLWKGp? zv1uUqv-TN3wHb)=)h4)dyja#{tqlcM8RNFG#0j7d$7otBKFyO00#^{^jQC!cf&-Iu zZw9VD|3L1?{rIF!#?MY!nXTmEY&O2*qLc!$GaQSHV^8$&5NTJg%TJj`@jQ)&VB0c; ziFltalL?P4Kvv3&Mi4aB7<#yHNvn*#bKj^I831M)bVc`&Pl?M;oS{$?kVYTk*$KVo zvH(=SH3Gn@#Z$tC`uF&U9J%G5F*k9&&-z#lG7u8V##=yXIp2$J<(~z{SW2DlI{qHk zI*#xhC1DQ~{CuTK!!k1>`Jx_HOd$y=?J6mezU7}T1#LBIb_JEBUe75`n`N-8O9uzZ z56F+nw4>RSJ6=zC|04AxI>+{C1{?8UR|8mzt)cCdjoN^}pB0!B=I~4NGui@BSPSpBcqbHZvv`;bC_|;+e6o94b2?bVaK^`fJ?$E+rB&Z+-y@q_v1(J z!V{EleCwIKT3$2-5g;O0(6&yxTC7@80Zk`18GI|MZh?3e#$3uJRGE?WLQOU=_4t*z?oqChIy zOKN~_13F!2=o!wL!S5Ld*;&c!T-02$%9VL)_Q$=bd=Wyh2kn_W`S&aX?t{V8{pvXrK9Tb zsx!WPvb5#W=*4hJS@}8&0_*Gou-}i^;X6DmEDh`A*fsg)TwN0ss$$EkeLt!QEn5m7 zteaNRam8nE8vZxj^O{o2IDX;V-0IfrT;3f)=y%1_p|xg>-Y8A`D8yS zR#;qu|2&EkiX3EjmbWNSS1_pn&YlC)+GV1jwjDvRP<&$~pQYXNGhSK;xIa&9g}i7R zy>{bgxOf$OSf6*XK{a8~tkNku(URUi;T+O3PKWMBY30Y#CZD+Iq~}{sU1ZIj`}BSh z$PTV2>H5XT(=z8!drWRM1MsEzSg-948XH|IfG=nL`2h6H4ncIB@UH!F>ovn&6?Q;y zth$3CfO@IQ%7y8i#6=GWDCgfP6ZnqfV{|>?{-F7#4ZYB^DX`(j9y7j5*k-n zCtOLZXtBM0-|*cMU@#2bq+PQH_*vR!$xzpA#~(#ipdtI&&yNupL^OGfGT>C?-!dSL zhe4$A=+391xj&SjkFlwHw@&@uuhQ{`a5&FTjx`gz@-ZjhCA}9@75-f9syr*6D7Y;O zbB^}On$_9!Qfin2coJY3_44mzXp)nJDz^Ae>S9&2Qsf~@BoX+E>;Ye^x8;ht*_sk9 z!zu1dA8Q=5bjy zSvaxXg@5$+XZN!YA$B{?SOOpe{tUonq$nl8IEzsz-@l&&P8GbgM#Y<%BJi|e?FDsG zmfVw$EY43yO?y{K{>0)4a3Yq^n()XLirmWMT5 zK6)FxNd;(D4a{mR3QC$Sq?^SJJxJ8V0JKl(l@?%^rDo6bH$c&|=%kvn^NMzHX$HDt z?c{@m)CMB~k9w=BX+7cBat~x`!PPxWKYnQ7X1)(lGK_s_P?w@NI`kW?!3-mUS zmn)4HQHmY5?|E8Ph_3jO30l>Y^EZgUAM*)x3Y=6FhB$Na{AVKRPuH?I&aj9NlmT1{ zo`2b&{cSf;Q}7m9FRci13~~Q#p>N`q7g%?Y)Y7&Cz`ak+3%8Uqn)R8`=~w8(Eg@bv zp0CXmVEg2U{NB}f_rWNgOJla3M@nUQc~KZP?NdVDlS7<> z4&L=EyN!1PtT8z*Hn8vY2@WT zL*q#SaJoTb;^jy30W)LiLv#V5o$BQHT2^GVl?!Onwgc+EDPta2M4VK&?%O?A9b24T zJmr;Q@kw*)=^8S)2ZCoUY>Tt}2Fq$$_ zX9RY@z)VQ9-K8WoyoUk(IRP`-0Y9R;?544R#;pgS!Z)-9LJV8H)mO0)PtIzJ z3i8zoQxH@Fpmz_{P*~$hMfo$30}uz5!DA%cY)P6A5E0LVjlsJ@Cw;OwaQUMHxOAET z@+3$ZJEvObGU4*>yKiV>VdxMmL=;5v?FN-af=CX8TPJ33uG!numqqt956g{xV^wM2 zAn@!ZnR2E+Rgrxi$usr&N}~`zCmQRx-a5aD3`PDX_(%&}&ACD=*i4g4aoKZAKi}?d z)gOU^1E3VzcE6DrUZNFSB6W550c24zFc4;wxJDCTwtu6~ zAN6iu!jZ#Xcy_}WQB1s;Auu#q+r?~-YFMDxRo@4^4b>Zt1Z>4upY7Vn?<@mLC{R?z z3t*MtLqqvkaLoL#a*v1D-*N|8@B-rgaTP>Cs@Q!|tsfsqHs|22b{!WuH5PT~)G@nO z;}0U@u!<5Uy zH&+s*6F*WVHq7IWiff9UQi(@!3B*hMhqe0j8^|6H&FhhA5PBKA0o+Wm^{BKJv#)gG z&NZK44?xR$k1h(ql4*t)M`#@?h$xlDY2YP~cV9DsiWjPrE|DcYyEb>fA z0GwT4#+A`b!M~PjJV2;nWy-NzOyxO`I*BzjKD@2C* zyi?$VRQTC)j>q#S<1Di)zoayG1A!b0R|yO^lmI~h9Smkk^#g$T)b5f^YI&ztCcMwR zA6bCC#O6hMr-lW%mW(YZnb*=A!w}LWTbO=L6CipFs_Q^p(QI#;gpT&{vl<)9GyXI@ z&`C@pgF`+&ddlvKx3*b^z=E}&aQtM%x>gMiaS$0=E3EZVcpCbAkO-l#Ue3;{{E;#Qz?qB-D zSp5L%ct!X}P2fJC)>&Euvfr3SvhZez&O+~~O1Z&ATg|i&=K_)+Vj8up;>r3kM1&>cN#S((*#<(Gc zXe%cauat6Sy`Vs{U1We_5o6NwrpP=D*5eU5=#FtV#qnlPU?8Ah7o?kq-8RSw0sINc zb^F*AL6rWm7j7x*fHSO+(8R<=vXyTlErXZ1GE`rWRrQedFv_B9B zhFKdZOi-X9ruN-aE;pv%Kr6ntf!+84ea!7NK>i~otHAl0fb;Ckw?6MIO^Y-xT z|3~X8)_884B7;Evjj#`j@5+?mb(HA-Dpp=ed;}E%RhALj3D}Zt5%eWIv%T_JO$3v^f;fK-3(gUSe`tiPEnKRF z!x^Q7mHoyvra-7}e2)tGDVO}Ia^+0FcAr-obXSsKylx1i_Us1xfTl36)QJA?$RRyC zPM9R#o*9`4m7n3PEQMXh3=>*t+4?_)8Eq+{rSAKt;wsBkJ*B_dA3aSNZk{`FnjpNs zFv9ue0yT0SQUg}MR9+yWtRpbQHLJDV{`HQe2nz2FQJxw%qI{v^*XIoIAik!{ zI>Fq>J$4S~5o_}^y<8v|WJm5HLo4zsl%*T8T*#kWKRYb8u7mcj{GgMZ@*)8{*SF)@ z-6Xz5VMS}1NS~ff!xu{X5fSz|>wv{tT$UC*>#1NWOwFUtwjNtcuek`>^uX3+^2P0} z09WT9Mn4p5$*-bp1{!?4SvUc7?xBu#uASi=em&^*gE!i6%Tb_(j*8mC!TqT2-ux*t z?Zs*df?Zy3#^YB+Lq)`-6769jO0V zz$*$rTFTcnI$3(a?&-b0`gbw)x?j=_ufK6TKWmG%fSKgaC%;FXr^5sw7KlM$a@|4C zokAox7sB@iZ?p_rjWa}c7P(`1hz8czA*13^h)bTCUON@-30`u4bl~UL4&kkjz`}t+ zqxTrT566T9|F94%G3am2EWPT0On0_((koueXOb(4wl&N209E6Q0VVgF)M}XK)j6&U zjR@l8BltBB$6bfZ?YRYjHWuL<9z|NLGb}{^T>)kmjX)5#$s;(5M7Xl%@4(If^6Xbc zPYwEvXT$hFAUu#~$QWbhS1Go!DnzYzHv4x_Ip~le*bDBq*Z9(uo4Kw@|7}mX5*RqB zy;m^WRn1@rJkn(>fKJPLYX-wNSI#&(!0pDub#SqyC=%}^zYIpgkt7M7l0YbxObQqs#WvJ>E<*-rV`)U>DA>Zuh z>W6~#LuH@7Y#30WC5~fve|CbGQ3$-8(zl7<(V|?X~s+#Ra`p*>Vcd+yCO{!`;T%S{F$eS25+M zE2f_UDIK!IX&06A!oQw!w=;99VVH3P4-?m)c5aPUN#1Hlv8)X8o-B7;PykbYt|GNh z$6?+C65z#<6$R+0JQ0GNP~_`WGhaCmh|Ps-=bJf<(nP7@P|97woKv zXEW#H9<+yK+3JKdy0X@}t?1N2CkgHTVBA9wF8nFK@BfFN4+10(-%_XX3P(o^s%f{a znn;AxS3HhV^F9PyMs+F;b>8?-Zve1X;zO-Icwd*OtE{3iQk&)wfQ=Vu-oB`FvDR?E#%`D%?|a%Dr+(+ zYFo?~3Zy9&Yg=Wtcg`oq=a=&6!6w^zG&%whI|0fO^WY2apljW5Nph?McV>>db^U0i zn%E$|vBhUddlww`v#_%NS$gNhq^G6jv;PP1$|TnXw`-zwdHj_dKQs&SWC;dncj%f(eV1=`Gw`b!7i^Ca}8Dt`#?e6Iw6 zu{f9%IP9LuSS0R=2_u`fq|wJepyvQntk;dMn`uM6J^V-jgzs(*8S@|ivw?(_C`w%4 zee7r8lQDcP*`izISO4yGcg5+hX-i>Y_V+zj4kDAt-z+1suB1wcuAh2>sA6egU=@cD z{P#9llHLF*r9`=x8)#;k%~sLTquX()&j%6C0~&_hRIT!?w>J%N;-h zmz}zB@PB)o{snmr=z;$K8QO8PB_N}Ma&U70?;lQ$wp7w42S(4S#*Q-6>86=yyR2{YQ{z1$4<*D5sN#h}&Gjd?q_dflu&z#5WuJ0#LoWlXx zl2obv4I-x(S|(lRcq3JG!_$dB;L%2L>*jzfGAPYXWyR!nW0T9$9?<)Hzqz`xHKe2| zCJu-WF3QRYsxV!P+RWjwnrm+5O@X}bTizwfVf(B+)V9K9;1i-mRn-kNf8EEp^r67( zc$p%f%-hM)gWs&n!L>JfQCM)Wod6!IO|i1u=2*s0hDBYIFvpdza#KFzkR|<4iJ}#J z(e>j~)B9^NJUGlFn-rulnp93lWkhymSPsC!<7BGm-{VC5Kz3I#{*1t-TbxC=e_UFq zcwJCMD5|+s(7oKA3v2BpiwGvnzwA5Iovo3hg>4VTExmrC^vUoX=iSeWOyev`fr**f zS9DEp)oFzmPr~e(bV!&mwOdtn=Fz7`q*-4f%|*kOXfAMZ3>@psS>c&Fw4D~|i3jiv zPItye<=E|Xo{XXM*yTd{XdqxN-k4@A4VHHpqihd(j!g62{qQ6MAFhXN zU#hpvi1KAEMgHf-z9+)qAfFVVP*oCep^j{M!yheJSkG(ZMLSwE$ddReg0uvPUdSYE~*5$~iVnD}CVE3dWC!XdMNV z?#WdKu$_SJ`T-t3c3e!Jk-<7sGis1JCvLXck!3}#!%8nob`W2}OGgmU%Lhathx>>y z6D7eBc%GGQ?{F9I!$-Y(j+`>Xl&tyUJ|8&1QI$1xRtp{!tIkiZ=Q~OXJpm7+Nslx! z%QgrL0^asMoHudHKiFHD_qKMQmB3cA2SJR$oq4pX_v?6jij;r612V!oj7cis;?8LH z2=!Wkvuqxo^;YwXTRt(h1vE!{C~Y?CmcrR{N?@0Y8=E>`T_eh^if%5+Ci=ECMSm)*9=;38o7LqebTEUpfav^a3M8+9W? zbm)QI=!dJ!ph5-@V_=Nob~G5VCVza&V~eg|bj`Fz7S>r1OQGLaJlj$PmLF}KKO?eEl_K*MJej*n%LqMjcTH2q7DI@hL$^6Mx zinj`*#I|RsK;_N+#FYF1F)t;Ju*#iaetAHTSpfKgQT@-$k?Dx_UeM!iZm-+$oAimd z>tKY;t6;YmtRv%O5FfKFNmTDK-XohVMOcY!vfai!+tR%09{_Er&a>sPF_Zy{V-q)% zX$<1fnSG7jfaJNC9lBj@&foc^h**0p#y&{0cgekRzT+;xur@Wa{Hfp8eaH& z>|=g**}`VfR{%%j7nNwq-U+DPg0&M-5Dh`2VqWBEHW(E*a;&R>aT=Q|;pHq-UMr zJ?POryAIn|gURw))T}ZOE>om&7UCD4NL9=33VLpre91? zhjoAT3gGc{SP_TrWwj>o^xzE}+Ai2WxhN0-q7ioDSf&zh3R3`-t(*=XPdTE$)d>}3EI8VE@&IxoH8UGUKXG*Ng{(=U9DN9I2h&~u zuGo;Q2HC^oZ3u$6))I7mi+0K_C3T)Ph{}VqJw@jB;R*gr_Q4Vs?Y2ehk3H@-Bf{s_ zTA~KS*2a{i9G!)%TYeJo#O;j0*Urn)D}HXCjS$NcRXX=@nCdXT4;YzVU3dfM%CAsq zZ)OcoR^wAh8cCNOPvBRalZ=QjKG@6C=>(F|EFLy+F9F<2)wVS7jca&3__8j98fRvp z^R`R@%2D`7zk%XRBBvB}&C_VT3i;Sp&w(x9~h~8gU%$Z3c&g8L0wXv%`VXBrEnO?I<~6_3i!u zZyv~JUz@~~yagT3IvEsD`^U(CDo+{;9_WwotolW2zg|^QQH-C^EAXm#fad)Jk{2D#1AyS5*#Uz?bD+@Xl$fW|C%RtyK&6dc}^i+VqI|I=XL-6dgA zmxJVH+F(kbssR2DovEJLE`maFxw!2xu9SY)hW6ptwaA@gS=+xyY0)-dE8c7*^dXZv z5jDZ%ra%b0uOgd!CO4m;lGa^~f1wHQek@-*HX}xhdf>`G!tRjMjRcUdvbFjshovj3IL6IwMBa=e3SkUj|j`}BuO4A z0sFBJGLng}hqT+CmxQcL?FlX|hlYB3di)1_DvS_t&t=r42QC2g3lVr=HmgLfe)5`&Vywvm=)){n8OZM^QOEFoQ`E7WDQW<{<D$ zj?HeC&bYRHuCPO#@FVZCg} zFlQG1fS4>ndymXutXq&%lhc20G%Dh>91vq2#Vg8h+?YrG`^qq+9y?7mqM}e47xed$ zd+`~h+3c6tbQQRjrlhsJCZC}$jSYsQ(X$kawR;IWTpfcacvDqkteCY;haPMJ`wE4U z`a(7v?LfyZIZ#d2W+s5-m=1zQ`i|c{4fyxV;MEx9cektK_vCl6~gedsH&&q~x{O^cm^pCip#~#T3=^HW*j-Rz#oU3YyXfQdF|~ z@u$!#_qH_z;9Xe5B8;x^sNC2{YpJp)pPBitJIFDTf$DBHz>vYYNWteU{gKF~m8y%c zGJr8Dzt;wzuOidW>9YBmRZPQ8>S!TuULeuv<2r;F;9pBJW zlxiC%J6IejpoBZi*UkRTj4Cx2)0RHynyykY*aoBNi(^234bX1arNgL0n!6Qj0(L(k zspB~UFAjY&8X;uw1pb8X=k5|Q8|+jUBvq+MY{DInhFgM;H6=aS58lIt?dc*qX8V7d?(}I{& zJ>D}SGdBKX+QkXXEdk%M>;ON|8@SZy?jfRP%>nMy$^R4zV<#)f%VNMsdvBmh4Hhr0 zB&JjzFjNNZ$0si4HDHlU`TVg#Y6`%U^^}Rxeo!AT5)sg4_^m36wRtX${8^5!)>(?S ztrX0Z($J&vY{_JxbzOB-qn@BO0Z>LAk2B7~N1&wv^MIj(uy8jPv@wzZGdIp}a1j8r zCKa@yHsZfma|5&g$3$=4WdX(~0_OaWjn;~+0&LC&!pi;Mi`XdOTmoR`r1=f>R*_0z z5Q_h5(OR|UfEmgDD@JS0c>?Ca{jV6k^%@am85e}@|HNpmYqTJzQ2!DCCs`W9G6+KJ zJ{yQF^Z&B{p98+t-W;Ub{=XR1*8ey<{`?p7|Ds{=LD2+2*#D1(nx=;W2Hz^A13EAH z|A7B>uoQ!0+W!yO`X5Id<^Nd!i{{_~dtv?`uvN$wY?&Q|3*Y$zu9u_YI_=MS7x$#vv$7L zVpnD2H@oxMb&LHO?Vt-#uW7bk(rrA6>rh7rj|d6oSDap)kIu-=2#kQtrzt2MnHri# zFf=y&Ta=IF#=#1r&Ak?d4Lt1$lxbcHq{jLOi1j~<*oX-1SP-I%y|Z&$Gb2H0FvYC7 zuTAK=I(C-khDK)yORhDZHmwXzkhiU^t&lBUUF>WVsIQ_&@?<^a1l@qH^DR`VsIYRZ^SS*AQjd}K!cv09eVWD6wp#yEit$x zppo;zyi~o`{Wrt@1(EXispoBUr<Hps>5fKLuZ+aFcHUK><2Qz?~m7N*D#meOSUvPg-T%DcG?1BF#{hwO?XZ&w5nVET* znZT_rJDBi>Sf{mwRrrY)%~nFv%}yJt(=9WDu1x*8(M7cyv^4#Bc!hVbhL`V-KsXa< z%)fiNBYodYYV^wt;do*)h9p9N8SkZptkS}-cI!>K;I%%&;2J^$*Um%%;wJJAn6bVV zq(px^$(EISUMu5N#*Zq=9AjAC(FcjL9lyHp*ItrFp9(Eg=L^AXpRNXF)-ts4+F0;q zZw)LwKX@16h64AeWno32<6*c?LH(7rsIIos9CMcxcAoA5F0R;C80EHGU=*L&$radt+=>6OERz z!s>W7;pZk6X;pMvRMPyl^I74W3ogIy4uyzHIuvljRN;c75ZoSO!!$3@{sciz^fZ4A zcJ#EZO(qecg7ppLFEQi5s6~(g6TJN|OTh%Bg&VVJ_x%_m?#^Zx_Wcwp$x%@&*3723 z0dHY;LE)qoj{S2r^9BeC#tUEiRaB`9MMS!a)JTuB%ERI6zsUeXw+xN6jS?+ST*|V( z{K~;3Ug1?W;@iB&eLl_NQrP%E$pe3y&=aSK$HE4dZ``pR$9G@d&y&Kif)KsSvlq&y zHcZypA;WhjD#t1nsFg)vJhKqoSZDgU4$n94*1t1YEWCd6IBf9dwpJ~Mw~C?ZE?{xw zvqH-iWV|BWLt3H^7eDpN4^!d`{mf<@;{W}m0BZb9kUZIkn-v7aIg=Dj6rX>Iw=O7# z?34!d=>C4tpY8z>}UA7atX*Wdti5)o3HtRR+9{EYS^h}o> z#*6-IwVk8EoYKED*&6p~q+8;*zI_!UHx@jaEk*NB)y{G@dGy?0YR(0FPDIrdjCMjh z?@3hq0!%05%UcLKcp2Ub2@wUB%s$sOpv#6z(wrI z$6~$g*rWU1qnh1^>I&1vBr7#~e8cpR&%dN7;Scl~Q}-ZKp~2;b7N#eNJpU>ul7q%Y z2pN7ycF^V$KI=#Ej|GG5bEdJK{mn+QOfwF8u>N>Pvf4DC!nyYJzsY|TFZb;yJuq&^ zt5hmH4XuunuE%M_#}%uM$O^gBpJtG+4qi3;Rflxnj-1e^sV?;^jDso5@43K;)Us7R zM4a3WxEjjG5c4<5!tMx6|GnIXz_9CvpSbY%ZJtD(4@n|P0hifnDv%Vj)>Jq8{zI+| z>yTm$C7Xyv#hEHxZL@#ktf?97=Neozig@G=SEz;!?H6K8v8Ii^O(7SMBT%HLi3-$((fbj=#e3yiFMO2N)Fey+ksOcus~jwX=U#DbsoCOH5eKq)P)+ zdOuhnc5)qC?~zf|u%Pa>NbYoOPdY!=ND1}_pTA1$(oamt0hJf)8=t(x1I+>OB`G`x z>!s>r#`iR2XX`PvxK(YqAAzSLeWCc~KaX+~=9><82)@TE$PY7h@5(uP#7cbS-SET%hc(+Z&#mj{))@#>B zY7r+t04EK%(OtCyRqnYwAvvsNfix6foSBW9Td6H8;>&-b_wZK~vJkmfH2e?si=c?f zt_%A`8pFwr)1uRf*QY68j+=pA=aq0LN}F*vVe}2V*tR;2Yt!Xn$&;67|d)f#K7JY?Q9E&kuqs45Ug~V@I8LSRGk_M7YJ!~#t9|ZFkWGXf#4XthoANS@f&pXyr*fQ7wnsr)9g;^{mK!t6#hK&r=cI*jql>mrS_<9I*K1D%sJx2u^+bi2Z2gk( z>8SZn1Jswxgs>^omfSUqscfhU=Rum0He+J*qo^PdklwHBdZP0mcdXM4?Kz51Zg+U{ zOfyaB%$?!1>VfQft2U{!io39FI(;sLrF?&X_XD{sAH&E)TpxlP-z?rYLU+uLR@q^P zR^t~(iDf1Beq`a)qFf_xlkD4cnHPV55?hwgK)-8OaFK5>0(cBxS~)ZZ@yF6Y=CN0$7=5eemYMV*H}@z_Ncx z83i!N^OZ%dlwh%g5<-a(O-l!r?wUEU%`q)ju|CN$4OQre9ouvu4S=tttir-Mi9i_W zT{rCzZh2|7it)-6GmYC^S^g1B3~!o|YONDxQ58B6suJZ+YTTo5L_KcIb&%xVSj~Cg z_IILT+DZ1;W&ggZ2*47k9D7>xTxox*gV0SZqF}CY{AnV#R`Jc-nC=gBU3M!bO8kLt z&MN21-+G7`>5(I0Bw~QJ5n#3L8L^-XVtX8b`*TA0UX6ae_e|VQrci(x(ns|U!?@5Y1;o$xjur!vSp(_3lUv-SV|Bu@F1Vr{ z<&?WCh}`b4n;xsQPA@+uI*cWV5p(o&QSZqO`N-m~O*;6!%_q2bAjyB;kP#h{4 zbZV)GLOJGK_l?xwyO%d1KETsMnnf+T>vhnUnz&bQ!Za$k_Bz1P|;%)Hc-o#Q2 z{UIo8C$#aLOK;yqnUKx_^4H6}Nb2>|u_z)rDE)%3LX;Xw%C~27jpeoY z`Etv_LVi;mCeL$Mx%sAvQSw$w986C4KDr>g&>k5bPzf-Xz07|YJbb`tO|ntY53$%y z+dm#vD4AheWev~SLeTt~axU=%6l>g!_?#lT(sW9lr>^(0>I@-+?9O@ zKiG4eeHx-+T=IYX4Zt%KA8GjT$nTK6a%nt_=J#DIZFI!tB4oI%hZTOfnC%W|4hOGL zY}gXGfnfWBf!X79ED!YB@LwtdIOI+sS9Mpfjq~Jk`ct^Pp#Cs_Rk>$w$^Ssp^_M68 zx~*Ck8zog1(%eTe^RYeu8F6s~($S7&8il}vmHP^zaXEkbI+)#t<9+0f`f>b|$lyh% zF%MluMON*Ho0YSwrBQsd!4=`}DnnH_JElI@N>YJYWW%*l5D!xx7bo|94}~PZW)Ozg z3cT8~zM{WB_VpbL%m(pzQqiBUs$3(rb>-R*O@S-o#6fub(Rz8sp}{*f6=J_|YMmRa z+;%XWL<4_ltD|K)>l9RZqx#rEi3R^~jSBwNXdYyaSSCQ#h_9&x*i78KiuwlhZas$4 z-D6QZ#-tbgLC`>pEK3;gH7PT|fE&*=p}yaT!3|dT0r?VX9$AS!oL%aujgk@dvS1Zw zwr1!eff_3w;XEqtFs8Xapmn5wdD?8-9=1njbFEy!R2#WXLe@fu20ad9h!MfI;aoKBLs==|}ieK;h@=ZTs; z|3Cy?WT3UksAS5Lu%kWyX!Q?481{p%AS{1a5P*cAXeJ4vC9q&uPxv(e{-hU?)W@}oj#l%m@&OfoSub_BbDC!}wDweO_SULvB<7{xF9Q}zheJy`~ zGvDH+jzO8ISmKcK!5~K2-<-k9O6m!*y7Y;V_{48FB^QlzFw339H312Ai)z?nt&636 zc6_*M7Ps4FHuk}8B#8V>BBX=>M;Gw{^1kT?_7;sx28i$m_IR~l@z`=H9qf?zgpi&UZ=`UGk9n1Q1%V<%GyPL>&-Nou&_0xye{@xjSst%VoF~2lPB}o>k`3e@JrAq9ADv!@ub+3pe(7WQMx2$C0j#gt+&vvW zIFwie(sDyuwm9sFi;_b2Tv%m%JygC+jfB+T3*^~$50B4w%lL_bSTP=j>Q5L8AJP*PQq*f^PqJEr*BQq9&3rw`n5;AvGyRKcpqXM&e` zm8g!`E7X6jZtp8fnZTA^e^(CAir=vgYrPmPMh=3>AJ)kBZPJ-2E!&D2)&G z)BCXD{bj@+Md<{2mQzN%Z3lam>)OIBnbInEpFn54oWT|X@xwKC!6(2(4CF7HSaNJB z9HWE9%=82^x;J8QKyuONB_UZEQ^H|G<(GieF70MHOO37P)MG$ z0If8lzJ+E*gJo$1ju-T0TnqJ`+FM)pm4>ADcTs@s?-}|Vvq}KtD!gV6M4#zlK{_}r z*$97lOk{-o-NwR*V?`y5+jYCtq7GPY2Da*+6JqT%j&sVzlA+1xq$FsrHobS@rV$!u ziGEsGuWWe{*P|9zoI_N`7oKsrMN~{kj!`d_`7`k@VmpZbP^1faOqHbzsH%Lie!CKp zHCqZ?u8ejWDFQQwQfjl}(@}RpnJ^gN`z3!4`On^;=oDgY%oMt*?~OPLkcHKuEFT`@J&A=M` zHO0a>8*5Fx;-LGRhL|z7L22Jz&p|8ADf)GuCXwIjj=S(V*zJgtxzK9bb=0C;EB^lT z7h-jB$c1dNGy4E9t6)CbjI``l7)+51ccM2HWt|B*EoDP91HYD)7R88E$)(oqq2H5*^*ev`flMBv88YhS$4L~gen4sw^Sn1^32VKl820kV8q$UG z5+V~Ko8SD}2-kHV6z9EOPz)y^9t%fA1ic&j*es`OJlO`hI$N@9!{eZ)g5yv6EAKxA zqQ%Y9*)=v0dTeCus*h{qt|wE^BWjQ_N&|A*oKW@P<2r9AaG72A2^W6{Yp_4vADFF*s)kj{#agYtpeZO6H8UI|u8PjTX z7ykK!B4K^IV@~Z)Bl|?GbL!H{fB#%JKOOaBOe1RB(fkaFwM~0zsEYH^IVERD<&A~Q z`|GZXjW%OIOnab{qkaz2FQR^IKXb@uRAeO6pTpA&sc^Om`-*>CzBDU6ODpqq569r@ z@f`dmAj`h-HNnRpqLuE&uW!(@pB}-yKEdtYD*+~;6?tv-YVmLdGBiin7AR( zQBGzCpvA@geQq9)NLYNe%`&{27E=uX@w2OcQ##~&Pq|zi#ua3qQ(uD zDI9tDW#Q#j_8}NRs+tyRvktL^a_RJaRx~NDQ`D2$zo5ZYc#6%zZqX?dz4DVg+qhvW znZeN!pj_e}C!!>Oxcf7<&n*Z(v*i!2*XMud~tss`fR(ADirVobo^)*Sf|I| zPz+~Wzw!Tc1SxlE9GNklLiX-uLzxuS67?_U`90Zx9YhlE=wgj{T^7;9M9NznpS8yd z{Ge>r&Se58)uZRp_G-KfK$t1I=j!0zvSL7CoEW?r0^{9LQJ^59SwfN?YgTKdM{jk} zhPX>L_9K7CX+^Tm$2fe(=WT2z_$Ral*QW!^;xM4SAkjU;FU2BCu==;mKm z=1>YHHsZ4bY=1_P($F$E<2Vkch`=Cn6J5aUGrWJWX&a>O9op9;g&#Efju2(1aRfWR z-p3FVsMc*psCvFSbvLE3V1@fU3U{@(UjrPJV<<{)wLXbQj98%+Mlp4r7=Pdv^wmgI z%64ZGt~G{QW%*AfDHVcC9>)de%vLRLk6X+bsjqlEZir4{joy}N(f_Q)Sw`;1IUi15 zBBy^tnhS}RYK&a)exYkZ(5uU@&4U&;(M0s=NvBIn)>_-3lT@LiwkPqiy(hEW zc>P&d?YdN-m=CHD(36*ULDj#iiijrE27-S;n~}N(T#Z%#+fa@KMj7WQ1q!S=@$2$Q zMVpy$$%MsxdA^62frB!%W9@ax!16lNX(oT7$%&=RfVg#TGl)4wsMv|f_GS{FE?nu2 zY~p|(5t2hA3@Ni1xc}U2$_q|6f!|pf8p)k4sS;p_f$Y^LacRyc5kxx9RW=!2XL^ln zyO$h5XWvxs8L_1NgEvsQ>r{u3+q~m<<773~$)9gTO1#VL*FH9LqI)EmJp+&G|A2qU z%*6PYEFn4TuTfwvOJi6SXZYC0W7Cr;zp}oTj$jgrdaPr!#>V#^WtURt*&DDDGqGXd zLV#EEVweE5DLN#ZCorw|hfGIVjs5r|&W)>WKLY4|haf|Rqn zakjXAM(gS01k<-ySD77sCQ=T6<1fyDek7b0`Kq^^4T!O_Q0niuR%0@-(XXd|c}(C~ zBa8WDd<@@Cfl?SA4GJw;W_O9N@6XcIP~}kG5v6rDb?of~Nb*Kbu3FWgdPz*1C~298P8_qWEeO zlE@8KbYx{C?8=zoF5W@RcBFs7AzvauCR73K79E=Y&%0{_(c{F)MRi_M{bJVRpQf6R zfQDht_}U|^tXkn7$jDUjg`2B%8(SSm!X9Gl_*NlRBZ#=hOZ#X0s3o%pcC;XvEyPFPh%>X-Cw^K45m9Hy4t%T3h#g7L-Y7|4?s+& z=X^8KL|9IfUFm!)PxmUvMsAxchYZ2l{-is0Wy#^Rk!E0=DiGx?TKy1 zevo!Iuk9W>igSAsiv@pAve25Z&D-cbHjbjXd&*VWF+``|V+nonGai!$!yk8<#&G5S zf@6w`V9F<_FCx^6jE%{AX&5z*NlJmn2|~e<WpWEvcu02QPe|~vKNcy zr=;DA7m~2SbhT03!P};uSvUi}U=qgx{-bH|op`QhfW-vv34nicpjp7Rj!r8WwTiJU z&uxam#74dcP#FZy%7oC679? zO5)5;$2lRAYF|pQ*-tDd;qTwZ7WUS9qLlH{I=@~fD`W}ns3}@T7Gea!pm`~#KzTQv zqV+n`WH8BL4b08?_fL9x*%Gmy5zT#Q)joG$cRpJYHybV22ZkZ zUW*M+;Zo(5>ibd@E_09n{TVxPK;SsOp(vFMVfIO8CUdr#c9Xf$TTHERG?v5(0&1#? zp`BtAGc14ST%DaMoi9($)ABPiM3W1w53yk?JUG{)A9CiCqY?BUL%PFX;q5e#eT0c3 za%6+;y)Y`GxQpa!kRoT8Cd!I4XY6Rsct{Tdwux(5{g?NH9>Trm_FW^B?J6vpv;FaJ2_ z%AuGHWBBZYnuDm%#sw!N-W5b#6BKb57-f#czvtfcg1sA6LU@$IFJ*dhi+BN7nh(bU zH>8Iyq68vfZ^YCF${T1y{r!8)TN9OM8PGd6>oD_0mohDDylMj@oeOu?Z9p*M6K^w3 zh68_9ZB@Cw%ih-~K*F<>Dk8F&D`QtxDWW+l(PhzE*^xxZUbQG{nN+;}ehrf8`K`JK zqq>ERe>oDph7-=lktPQ|;8rT#D%U=&+EuS7ootwobwXdCwsSbuuFTQWjk7?bGvSL2 zuWFPCePp5m9TxKpioNuV@fA^D3-Ms8d*1xBzfqEUqjKx+%OAUYP zZV}I0z3foimdYS-ND#F^6_mdWsfjb}rLoY!G>K-^xOp0HBk64^W)p>v53TJ!6Qg{^ z3uf6Ssp0*HK&#-n`zJo_t^y$Gm1HgO56pAl_%#pxuWw41LtE#{+Fvj5jhj_zd$+LX zYGROCTR_7OUy3aR@y(K>SLEXySMq<=%KHq+%SHGU3Xk5aJmgb6t!F^If^dG;(&&mG z=ukUrM2()wO2ZMoE5nX2rJj#~8oMabn|2>CY)^;j=S z^`VDJuSz)A@GuMYGh0Y@xvxG)H}+iwlzQ(}cc1FE+%NlMFp%*Cc-H1V7VS|o;^-VQvU@d3Ob zQop6Z)L*jYt6GV&-fNED>>z)n;9G$*51UsX9ThUrs-qv3p5?M*sPoB9?ngYvq?B%# z>}ViUUF_rSKW|dGb%fPSWGUCtdPit(8mq~UhIoP_U9za@B;aqap;TRS#a*_tH=Q-h znb)$eaz#b6EGekstYkW>LeZc0xNCr3#8;s_-oQqSwHjl&nlYBnKS_VL*~7g0Y}f(< zIj&$tjchj-o-ZgDJs72DAexBcP z6T=Bhk)JFEfcl4Ul!hNBtN*s4dIYeaC@XTg6};-%X)CJ&OFRMG$;5o~8qSJ1rh3 zNTmHO>9$)`Quv9>9osFqCEom45T!15$%)lInhX1R7f*i}CEDU=3+>Als4 zMlWOVnjB{ZG==pt(5#iL6B4_}1U+OcU$jwX!d;bk81eP!0B-Od>`@7ANs-D@U-p#r zWW&H%8~lG4-{Abmd0;6VK41Eile}=@LZMyf2k^uy#Xpi)l1iSP#gyJ=zUpL7LhuI8 zn*$G>Xk9A}lNYqf&7O9C&mu?>j7zY}>KN6M{@YR7qeqI$!HdAovoEZ`C#NNY*s6hl z8og?%gv~+%;~d179uf3xQEr|c@73l+TIe?^EM$K`@wCqw>8^eTF~UzWVlWd#F=!>j{+xo!R+{H|5$j(6kPK93@Abf|D|(}clBQV-2fUy1tWTWX8XX| zD!-x3AJ!3pt|n>}|sbc(^B+^W33WzGfBP0ESYWwOiCaACo2jgFu zke1#f(E}cv-;k8*E%NhKh0YZUL>trBQhl8@kn=kJ^|m1kUiOQSJ}QoO$hL!&oM2<& z>C%}1I*_O?a>zEi4i@zJ%37qDEb?cygd~3+0`2}aGsck>@!m=2ZHS{^Y-2q#RKo#9r>Jxm zL(6MGR((lhiafLQ3Ywt&kh9+RJa-LWGy}+J{?DqFhg!K*lK`unmQ>g>)?cmE%{G6e zRZ`Q<2m%bRh81@!k!z#f&B~IlPPk1 z66t}3v#=)f?~@ALxxAgYBG46Hxr=|ziFkUlbnxL}kUw-frp0}6aN(~1ICUD=cR&z| zkAt*kF6@m5RR$Y(_y~yvB*Y6AN2X6%zfY*r0F>E`CQIy?a~eVJhF9_FO1L}#V6~0q z$+w-eItr9KN_3s6(MH#YjbCgI=Tit3Ro4q7`MzZ1BB))Q3ueZve=pwx)y97YBCfKO zqtQsCX`K4MZAri-tABSUW5scwai9Tb=sD~5AvFfQf(uCXV~^YHb)arXQRb^qvZ7&B z!KK1E0=ZazwIHNN<$*2bibW=e&;rs!+$v6EnJJ0TU6e=RJ zpL%@BcXWJ%j46m`lqLwU*yn$rW+#eXrfbI21lMk|o;#hYw2D*ekcETl9{UM}*-x3` z#Sw|j_gT&53@%_>R!4j}70Q>AsQ@uib8i!!pQnt`{&_0C+Cc&3cr@cu=K;z38RBv9 zq?sM{(9TS0(TQZVDpbvG&M3R~B6DySmvM?>6tHUD(*}o~WbwSi^b3EjJ3C!rKlpmM z00eU!oI>V-K;}1F@%>s9lk27}lvHI9yqO-vDpxV6JF zayfO&R9*)$!W{B;{ok*EHlXGBWsox{zIycok7bXI`G%|R!smb2R1hQ&|AerKu{XGBH(>`7^5(l+m_z?fqxUn3`y+_Qdsi+V0M$3C&A*bFTAdSU>Y`hnRRv#qdm!X7Gh1%9J zwd|^p`Qwv)lE)S$xg4r5I3v>NH=hS_2P#ve3;5`PhLwz3Gl>@gV*Z!tU4C-ge&JlJ zhkH-U@;CwzrF1S3i9Yv6VfA_}x0`hr5t|;Szj1$8>5jHnWL`d`11~b4w?h-rXH51; zjvK-CTXqY6{B4lJHHaVdsW<54*F_xg9^xtCnGmT@0WoqaI${T(5D?~G+f%(T< z913q_fr_@>tU#aBc9xTFb59vXMS}m@#`<<`?pO_y#p1>LRko`uyQ}foTKlO_?Oha` zDdFcFZ0|Y|E8YGM)NixVd2S1&i`_SO)T)1*07Ia0VLj^n73)rmfoHoF`)GyYF=#5A z15_4+eM`7Nh2Li7P=sd($i^2)KxuIj4ifAu1F6N|2CJRh7Ou;4ZXUVNQI5BcbvuiTtP|D3KPu{ zTTF1nvfJJM8n-*hv*xzQ6!JT*SSLdQ`-20}bZWa6f^Y^YmYINMEMC5MV8Nl=*K5q4 zHdVoUEs+I-*=Z3+T1IQT>+&((BVK>8?)P9?RSXjzyv(fVkEL&1t%(e$)OKDRG*_++ zlGqJOj_krfP>dF~ie~{{%%Dg6@>tL}=e%b$AYY=nzbTTYbCUV9C zra3Im<53J+=$jK-hiQqa)=UTeB`rcux$P)2fi*rTMLI?<*ScG_3g;i&m3`D(4nAo3 zaI^uLnL={zMZOE%MG;2J@xFhMlTJ7G_!r}}CE5c0CN2WM=7bMBwl%!wSAIKUt=36| zOHiCLxAcpLl*&pF66XaU?#H(uupI_qO2gzAGZFrJw>AkUf!qmkS2Qt(oj6KADaCRFaLjiSb&JRLFFOc zOqCE)CwsTyvLBxM;nSVQOK0~%sF+Ar2#rtLy}1FxM->YE~BxR(2S>p5d|xJP}5G zW41lIb(JoJ&|0*;wCsPW+#Iy#D@7Ir6Oq{g16AK4&n$SR$P8!a-4Mt*BK5Gl%%roC zCM!?`&@n$~psY`rSyXq`CpgQIV|tGP`5N`X6}1iL$~Tc?+RX+5cWc?|`gn6>G&0SM z>-RTexev5utQy~+>+6E?ixcU~A*=Ot8?N`>Nq!k1%^s@@kkEhV!u~;C%=a9L8ii8W zlU4eQGwBj!QIM$lr7JgQXM;i$cL!<1J?L#$DL^v0Xaa#+K=~g*4y?4(cdF!)sb;m5 z|5!IBFVs?ekj1GQsI|G{NmZ&o9hWXpNXjN8^3OzLBYkk%SV)n3mS5HfW|Yv|xAe8j zz!KC}$KtTrCI^2y7sd1xN$(Fm&z+i^KLP$*$rVnMuO$Wxbm(X=zlrB{GJU2>^zcOI z%HHnLv2Mg!@kLJvo@K$*ZN%9Z#7E=Z>3pcwoD`cKhgnJ{fR@ry7DPHf1?2r`lnj1v z>OF4+3UK`788#%*gRvFAA$xqXPcZu)2f7THCgN%6k{f@0@#TBh)3$svk%s(2bLPbz z^+4-8l5fAJpId~N{ib{2oc9dcwNMq`!o-+`@I_^ANfP48fl!`mR9&K_Vf*9tXRza$cY~EFsuE0D5*j)xkXG% zDbD6H`7_)(_tZZLZZ=3Txk0u=+ulEMWNPg|UtB z7_9W@>xYmV=YPLIghbpnk@9U4hI37PixY~aIDWtms@8J7sGl*e{WO;=#>9%7w8PVI zHwxQig|op+-@dTWZT}i@9i4_af8a8aQ%l7!9IBT(4YUCZFoeVh9i5tXw|(6yn49rb z?$LkobcJVxq>>boc$Dq%0 z6BXED@^|>1c`JF@zuvRJd0Mz!5e{sw+bt3IzPL{I`bY1d7%4Snk5RRiZS#|^<{?nw z^Q@}yYf|(sWMLmB80Z!E02h|=j0opzO$mQnIb*o6dWjc#P+XSxfX71|Uth;xBK`Sx zh3;0wI@*476et0^E*%8eJZcMe2i9qjf8Q7+nlga}YF{tCQk+Ot3Pk3H4l?}sk~)Rd z#qDHj_uI5e)Eo8w_AsuDJ0&k3%P+RGuW<0)6YE`?8hNHDI+DI9d6V<)%`7F6!S#O= zMX@TJAlW|ZgXPBfsiMZhCr}g_N)6VEIHb|tm&MQg^+G@V?R=+VxK_OSO#q2ADQl3a z8>LuWK9*g_&#$nYFJxfEWGU(w>&u_n+@|>~h^1{QUWirLsM;yu8sT0dOSNZUbn{Ql z4i~1gsa42-#F0KhxF0JD|NF{q$H;%6h(yto&^CAU$7^OqSX}v2nzVDe6f+^pjfl2# z2rzg-)rrCcPdv%2^;7K3n0kN0D+Ox7*k6J?@*W9iQho!*WTHchAoU12)L??7^#E^) z!$z%mYgBlC&0V9MmwNGLYL`kLuHGImUwSf#T|b%DXS|WV5AM=oDRpPPV)m%BE2RF@jS zXwzp%u=7PiaJIUK5-iBT(Vx7TR;1XAK0*_0(rtg#ZmD!o_{IGfV}N+A^#{hZ#}mjvGtBamP0YEapET?N-izZFF=Eh+6A9EESQpAdquCU^7`hDLS2{g#ucop$cKDg zd}^idCIscaa*kwaNidET+;202wQt4vuzT*UV}UBtpVXT3PoQT3u+@J7*GBGZySc*A zmc9FZko6g;Mf)i#4H@0$(;F6ReYB+OD`I1c8=uEUSvcxLc!?<Vbcf{4t|REcSMIKSL(?`hIZ!ih=# z5V-BRW9zM(_ek^`1i{W-8OP+$3YJ*WNhk-qW;xLooNxC=t+rsLO#Cr-|FZ`mHNQ_s zFo@{0?74L9b{45#r$%ZMA1O!^2?<)HXzqrwHsmT@-<6=t7rB3GFx~MMGDsNVWP(an z;1DhIVe#rcV|&Uck`jD5NL6&4FkvCg;D1(WehkKwff(GQ5=a>WpmI|Qp1OkBi7-Ow zJgDA-TFbv5Rr&_2e>bPe)4Nf6r+}imR|2hG>PXawn5fBA2Zpa;-~82S1ToR)ZiiUE zXpCD{7`hO*zHEOy;*qHXQ;exE#J3*v=eK5$)fe`=tQAE{HLXg)WG_ic*)#^Plv6o4z|h~{1AI-BT8C@$o**m&2Hf~lCHmbozx}cz zA>;ge&vyhXb(0fS9eYLDaB}OcaiK?Ve21|x7)PLU@g9F%r^TyPN+U`)6DqXsrs;F@ zg984bt6z{Nwoe9TF#Ax$Kj%#gni@6u5nAf30V4ZZ{4GTn4WNu>6PbS)0rMludOAV9 zv-->!QK&Hp&IZ@}*Ybz5-W-vnOM*i(vF5Cn2|9&%_S+nM+3CHKKV@GavZuN!z=Iec z!4SIx;AwxeJG7!NEAelw=PI^21rkB_?jm2Sc-GkoG{k4+n{wRZ?V(}>|HLD8QesnH zNt3q09ri(QL_IXor?WQRi*Fqk46nAnxKaJ3!omw3jIJEA_2?Pw5Ds-SfM|0mjagqi z>6*${6-efGul5-Hit1--ovwps9xC^Mr}8gb6NZ0WUc6nL9}88{FgK7WkK-A+ay|Z^rs@`r^i;RkS7^7|T*jZ+QyVo=d3CmR@4% z`*VLQ^iOPt+N=I@iO!ZXU#jHWDaSGhBl+TJ!Z@K-@~vpM5`uxF4UST@-y_G`QBwp& zgtgb>r-q;G>JV0cwd7Mn9>Hd8(&#|3`fAOZ-I5(UMYm(u{=jBQ#^C!u>}sduMf&;u z0p*Os7vXEQq14IKGZq&2V0u}d3}z}j=w^R*lBU<1S2=hC_ytP4oQ(vi<=DE}T==vyIHc@|J z!>!}`?+!bJGOdjtx?4=$_XC@XrEQ(?B_o}{!NUO5`rP2;BKE248UkE33)RrrfcyG- zMhE|=*?w`JCDoq^V^#IzE&dE<5=;gl)KX^xEL_f60Qqvzn4SI0v3&p=dzEaQDk?Js zAoidR-%>y04gM*>L)D*1Zj305TIPTEG&~H<2op5SAJzx$jD%U=A$|vbH1*gg70AG` zt-N4PII?Di$6S6qq@sN7Cukk3^Oe<%`?EzfBp%;HuK8v3#6MXOYTFC&C+$qrpd-@P zxo=U<2iG-^JLn8s<}sc1e=0n)$ePi`LV7$=1^b+r{`hk!{a&0SYFL)B3Tl6$+xrG+ z;~U2@Rg9y(mJrFtw>VbB^8nh!vL+?a7A%f_woE-PROUQVp(P2&b;;Yu7(u3pWgw@k zAhakxc%9s?%kZ3YcefS#wj2oOC>X?g`Pahde8m)7^xY^ESgyLij=l$aqeROsYD6W} ziX`uVVoQ3VXD%}!6;b(2dPjdtXm*LIpl^RaBhWr8xII;R zyic3DW^+(`aaS9@FWGkh3XL~f;kJOi9MlGdg1GWBsDj1IBNTUPI-X-ss90hY4E3M1 zcc{dOp?v!|d;8ffggk-&g!pXyiLTrUwAFtx*EDGfeZWUeA70EDMKpVod2CB?;o^(G zGB2HdD|C0j`0j6t97`ZO4N=EV6>1Hrdgk_ z^CK)}Cr6oaU6=D36m9-A1kR_AwtCd7O<4_-u{#C%JISz6j z56{^D+p;z83qLd=LCY4SOfq;P#X30Ij|(Rkvz2EH$9oLw|EquEoSG|P0A(9n6Wg|J z+fF9fv6CH7Y}>YN+qUgYtch{YtvXewzCY33>!H{2vb(ic%z{#+%pGhNc#8HW|1UkI z7xY+z^~p&2%n-RnYWh4O$FH1Qn#E^w!&sw!m(i)aLNMBMG$hpS9Or*enEjr`hvH>t zzVHZ(-J~_&O3Z)Ti5>#}8wR3!3O&z6CJ)Zg+PVs6o#q)gU~hVvzWB|Rt2Y1vC|i3C zw_#H0Ke0)C6T^3~hOVAm#F{sQG6a#lAM~L%B%XC)^BGgx7>E&L;&q7m{x2*dxd%Nt zEN?>-cu6!hO%?!9K(D{g@xN2uV`drTsq&604OMT2#U)*SsW(S|_oXNJ!~xq-Y zJ2cL2;UG)c^G4FhKtL5I-3bLcmVQmrq$FDBpbCh@t>j>P29IE_EvFAe?#&)d8Q3LZ~NH0B)myqixk&k{(0zwj!NMK((|ZLkv?i zzpu}~-XJ-3DkJ1owkPi`A;=bURNz?d`^P*9eaSx=t2yWpd%sA)#1DH`shJeC?@)`B z2NUPyqH7#uXe;MKJbcJNO%!qXb20715#` zPl{51Z-95nFHj+7xzas@g*MOXs0Z!=kCLv9^4OFZd0#&fB{jcvoV0X={N^!}#MgIx zVIlYK`ZNo699{1nonI`PWxK-4f{ctX{Kkopqp|j;h{K47$JDbjpwEu!B_3bX_k?)D z7Kv~wR)}uLOhhaba}XvhER+I-M;6qh;g&ytGo)jNLL8l@s7+3FU~R2vFleRIp5>!wbQG zpJK<|Zbvt(OHe1ZQ2SF?l^^@fk7jCw14og11RjRalc@%%p(DF;cUMQmZ@+s<(Qo~% z)`wA8eooYy!4`SvlOxkueqUfe-cvuI{0OhB(Kv$sLFXhlC`uVWcWV}i#NRuajw*vXg z%h>kOdz!f4&FpPgDyaTp>%V}LoRcbdtSeBNx+&`cVQU<8HFWBy_i|LWGiwJ&$i;nE z>w9b-9!{RCj>3Wuf3dL>u$*z1XFS@z(ON)khH=1YG-cor+-_7x5KtgA$Yl>lmF!+c zl%9`eqTFl7L`=6(kt(K9a$q}uS92s=>LD${yx!r{E16gaM%!8%iB=$G-8s(#Lu9GsU7QzIa%8CU@=9#teH3MEny-){HDf;_s|^6ad{l#2<1OrLJ`bY8 zQMf)@+~L9FEi z6%Z}03CBSYQOA~_PYuEVvMB01x0tcV4{-@AT9M??0kfRW{YV#D;jnE=W@G-7)NbR^ zc(#dptudXs6uay!!3}DzF(zcS2`b7+6_e{9T?+HjBXTXC)prrMpVPl zO{wqwEAFtnZmDfq=D)Ik3V92e5%#tD*4qiza<>jDt%$~gK$Mar-kqU0>jBko%T44JOpUEq_DYltP3?iw)v?Dg_-lgvOyQCx#hp`J{~GR@;a8PJ zS^K;w`&QnP9nvB+BhNBwwE9t*DOSbu$z6MgNBmxb32g_{F@E%#XU>B4*$nNsru;?e zvqt(_uo0T95yz?+8e42VZYyVWGcyY zD8x3sx-1E$ipOJ2Bbaa*YsGCKSp-RmkRtY}FtRf&k``w2US61D{AobU(%qgiHJG?p zYu$ly2g)`T-sgplhLCQ{n&0A_c=B|PDK<3>=}io~+~LZ9z@`A1-hqeVK3=bpDb-TXJ2et@iyj;zX~U$e zCnaoSQ|@_sX}pfIfQcN%;9OT7xs6dzY|KfL%$+xOhSC#yp<8OuV;SmO-$P-&NhHA; zsPDnljf3&6TeY2Ar)&QWdM8}+TI+t+mi6094@?n%Cs7!W;%BvJ;mdVAg-%6AT{o37 zbWJboY2G^gxmz2}#JXIUiSY_oAZzEP=GgpD^4!6E8MkrF+M? z3s61uGa{22EZs@65I|Nnm|5><5^dWp*J*oUN9Uv6(tm?zcMz~nc>&h66(6dMYW!D# zPDKEJQtHcHP3@8uyLCxOZ5?d_O)=rdokER(o-{7zS@9DtS{JDl=Cy!c(YV#w7!Idd zp{~b>m9&?lOp_Y$aG#hq~!O=>-zy!mylmnGj9+(y?-U zw*z{$eB-g*8wigZzT;om?i$PH=q3pS>A$nX;e&i7$;Uub7i};RF&nP6PBnc=zvyL7 zsiXhAXbflr2kqwlo9(E9$tZMaGeKn;`~aL344ILS5a)&AQyiX$@t%dqa%(?u43P*k zaYx!(kyO38T?iZayEz#if?zZM&E*(>b+$`iLpi-hz|J2LZHRjBbr%xDaS=uLTiEwE zaA^Dd8Ew3>f_`A9PEQj12bN3SMyAuY4$>aJNXa~BQ-SVy?_73nOcf2X2a`mSvhmmwv8=u5o5 z%JtXb?~kdBFl!F(tOR|o9?tAIxH(pM&u*TXW#3y4#X|K#tSA2f&=8IBqyIvoTR}@& zTifl8$&ITR0lt%g%z3uPE8US=v=eKeiXZ&0o4E^tPqiSycBh84=AW1atJhR}@rDY1 z3CXg4hf>f}gn@^c$)o}=zqk2+xZ=K71Ca+er2^%kMT{KxTgz(buX(WZSaChEBZ}7H z5E6B~ggY0ywc1XG){z%xZcIOVR|MWR^KBSzC>AfU#U*Y3oIE#z{0;DNX$oDZe_M5j z0Be3(L#j$p;1TwDmlW}~wxIuO)i1K?ci_0{llXX3pOeT<`yE$JihEsue|g$wuVvvs z06?WE)G4v`h|6yo_ql%X{xagH(j{`ceVQ>u;Bm<2IsRtjASXG?)JM>EZ^=jF(#eh0 z?+~7n--qlB<%M(~XscVp#F~^y{Tmg_tBZYcSckY$wjo>?QKR1z9@l%u3$`XGkhPCIc-*0y^?*KFX7crTEDAHACBHP+6czu~AJWFJ2jyQ_TINs}jio^@6iW(6N0^;3{ z!!x(|zi%(NNkx!H`%mhFreYK9Em_E@^tr2%)rKUJl!v1?h*9gHjgl%rZ**N_N(s|t z1v0ojgwcndH{5FY!fLV5G@a%* zLAT6V-%%^mfvax$GHCytD+M8cfcLM=!eRfKAm5w*M0>=K5(yU|5#CrF-5~kGQQUnd zaIt_shx27Rzott;ZKN;M{uH4VdQuf{sui_Vrz&kZC5?(|Fn@MPdSxi**N<3_!i145 zLU8OdJWpkRqI^06lbT5cy?djWX$Vn#7cw&!(LJxpNjTpp5rwLpUDmb9U3p?O0#sm% zc5~Ej{e}&tHWSwbVr=i$1=;oS-3|Fz#2cI$xcDhz>URjW9E;1ZL+mK1qAN&v<1N&Z zk~UW;;xkxmqM>xBt5CJu=8o}>{98=%1Uf#3OPk+)PhFibW8X!+bXFM(WCU=290*TiaMp#S+8sdQw zKRz@86DX?mzY|tU3qO@kpV}T`*8p}KQuVoi!&(PLIb^r6=VlUCop82(@MONn2gwsy zIqUSg_GM5Gq^nYLdxep7wd)6+`SoMNf4+(Lr6fq+s2kMww)Jj>$dPNa<@_0)mMn)O zrXKNK*GM@<#s{CdFxYSdC>e(!P^_@Us(2$PNNDQ~2{cgzre*NsKfg(e)u$_V;-J|MxN0<2iS}ReJb&gI z*yjs_o~Z%Qn04=~8vNE*VE_N}D-FtgXuuGfAJD8U31(WlsnNQ2!S8xykJQJ1B(S?q zTB_b}dE5dhB`A(jmsSAmM%Kn>5(H{dG+1Bu;2ef1p2v>3qsZVA^XEXA@z|it`$ zt`HzNxxRRy7~Bc-!1b0TYj#UfSGOVHH=JEh=g4@myQ(R#d49U5*$62R;w;7<+=|`U zDNto@B|9#pxe6{W5MVsn*4}!5TNQL)Vu&EgbdQNEpS)cKBTTViqyfbm3);9WW1o2* zM96=?4_5rOf+?b%7nP%Fh(Mnz=j&Kwq(a65k_!kA$gks(#RjbkgEF%J_eUv4O;@B5|%p`LcSc6@k zD||uIvw5`h@T8tmnvf4#fak%6#v(;_9^14!;xnd<*oKCEUF;{#vFh zBAk(%@h;q?mA2Fc@tbdTu7BSvC?L=}s>>6Gg&-xrJpo!*xo2TTri8P|>&1D`=E?k5C zK*M4b(qO~Zmf{G|fQ>-MVe^g3`=_VX91%})SR1$n70wW+UUH>rX>vY7CG)#ivMqWi znuzMqKSikh(^S#^zq+zoP2g`4{&pp=EvGgt7yds_*n<_4o}txA8S-S$*O zjW>3rk!?hOl``%7r@|pcF6+@UJe#0jMQ2sH8{HuCDz}7T7|?}EUSpyPT%CIs@Hqcaoj1ww$;4ezm4dZ zzOcW@S{^hBa=;)*A+(Dqz$Akx=RbuhYeS|2Ig-qOoQ;uAieo?9a2Ih@kZ)FbFb7(Z z%*a-%H69p^=Knaj__5cmH0P2Ur8ZP`V2xNX#{uCTu9}XWUP{>!g3Rg^g5;NM?Z|hG zqdaH}v+J9X{|vWOh;1jdcPPEdiro!5qYJtU=(imE9s~SD4)JV4Uknd`8;w>7k&Zm6 zumpI2!_jtt$RP~mEHh9Tb3(dN1awY_I`X)Gb$s*R`hDf-I~$MijCr4>d%5&N%3vZg)A8I-lA7yBEtQ&sQ2v${Lj~ zHPjN%k5;3o<9k6qSJRrA{%VKI9j930)Q~%W9;sEt8j2cQ@BKM-wof^o3_NBa?HLl4 z{zgXt;*w5M42vxOEN|Y3&CN%rAl4tPDp5j+M5o))Ui8NeedK;;ANe;7sSu5sj){kG zopI6r4gX{3yn>^u2^NYS1~qKVUY{km()@_Q{w?7z1CDv!vd$|$mAO>-e%loX!wIo} zg?v6;n=@&J&ILjQr+E&lX)Z)Y1!uMGfM7wrj+K!QfzC>BmE?dY<(un;OGg>e!~y*J z(+i#l3#w+|hOV=F2t7UbZqZPsuh>VgotE?J=Txg5^A|6hCKTnBG|$u5Qz+qYC)eWf z&6n<@qm_SAhZ&+nt5<8y;wFhyD(|#7jy$9Hr_io1 zOT1gFsFt)OB$D{<@R3*!ibwP1SVrcc#&u{>HNi>zVhy8OKLR9aDtl#Zsxy z^AU$s4+&cN(Z|~;PT7oCj0jMFKZx3saHRE`)`|pPtB3aVa1rhd(F9`}G@*bUQs@y7 z#IG9WlDL$7%f34(SwHXVvh{PaZXO(UlZ8i)%@j4SyW8R5>7yz8-tlD0)q6Zt(+-r*X zSmN}!Zi$k@jK#pCuKGhpEZhHq@TjAJ?AEg7e5=j3VmjkhMWk{zshwDgIwv|t!bZpi zbHe6|F7Cm2(xGJ6L*{zaKLMHcRAcx&2&{kI8rKKl4dE&zB&%}!4o|ju5D@Ne!X2}2 zVOstT-CHhk8?5c;8YT^Yo}hOhV>CU_B;kDi<0B>aeZjJV)bzuTvnqC{3z5se8XZ@daDp=^8FAy7nxb)-dbc`;3qiPaeMBTqY-)&vuO0MqV0cgpSjs)yUb z7AFvokPA?Le+f?N#JCf`FTmwoT!%Xl`n&sLMksn(#dt@Oj)fiP3Ph5goq~R?$3+2u zd9qK>EI<76dj8ZI(F;<<&e`8usjD61er9T*$A2sqFvXUL1Nxs$d=uCx1n4kbgZ+I) ze`N^IM-n=Vmahqa%*2Ku!g${Bvtc9cG&2Sj8{{Wm39PRtX_=+};(%|uo=Ll%uI49^ z@DV|av|VOOTl#!J|M>P4hq5K4@XO`Rs3s~F;uAki5h*TIncap?6OHitaXxf1!moEz z%`f@oR=PvzE&%s|w>rHV{o*fj%UCol7V#^Lp5=50zyq*KbC~}pEQk0;R|u%FStsYe&)j6C+NLAt zP0cv95AV-&3;tq7PR?WBXFYvGilvK`863;G1%n0Jj};X7_zXdw-<#G6Xq*?Y%iXco z`0-Jg78+iE!uD(pK&lV_SdY4@91rkNG(i{+6I1GNyoiQALV8m+7u~f*|9;{Cn9wEC z2PhYw5NFVlx z`ZDT&HC0q1e7_eGP4Lw60ma5+B`WmRIR!dIQq4sYIR^Tb54N^oxgV02fsjsxBEt-LlQE~hEK1qq|w99K4f z|Knq?{EFI}sh$V>6@NU;YJA3$VY4y)B`B^z(T?9ygFuOh=;QUNn0TPEwH&Znd?91L z?gB6_WrvGC(s%@{KLmx1DdQo;KhlmWV{+T(uHoo$Ez{Op!7?za-K0B%NB0dBkGS1e z{5`^3%BJzF7n- z#!Lh;wrhYmrJMKs>4&rc6udgucRk;GCHzh046SzFu9;;!(jZWcG<^}1+G-wuOK`!X zNk@u`ufUWM#MN!_YL9&@GsMOUD$P=oW3Vq6h8iT*MLGqBQ^FyJ5;zP;vsB~|7Z{fZ zb7!b{TuRS^2V0&Z*YbS$pR6djO1{4vzy7<|@Xo;H-UfB0b^p7>!VG? zreU5Ez9LVnfjF;alE58G5s)2!-*!mg)y{1iQhgXZkWS&e)CYmC7abXWrOLPisI+;|o!g$7rqj|?ty|C@?)0XVsh>Ka zZkBv(^+y@Dl$R{yS~zx1 zCpSkoBfG)u5ZC}5+<<0(kZT_BZlcpz0xeq<%!^+$eaj>D2gyRrh` z@cdFvDZq8y0v%<;ccDKHw!H8mQ|8J%j+q2N;Z%fYswUW>61wTvenO5E2~XfxRrUPT ze_VkzwGqDw8kDGMZ9mV0UJ>??vc}pabGgP)PbtNLaV=G6Nz$% zp%c_auKhc6Q&VdiXncm5mG`wlZhrB2enExlA{cwo|7^YnCmQ#gV0BRn=K(EcpMjBJ z9i51NMIf{+N-PXS4|em96PI`_v3qg)_EJ+mu1aIEzAEK^R%djjCl=bKRozmW?h|wb zV-u%e*eVdt{bev-{YpE8%=^0pn9$~h2J~ZSSFQi!%1 z-l>T9Zq%xOzr3faIl;jAe|Ap&D&ZjjgW&xkE9 z!-kmxSv7F|(in2rQd^PY64*8uC7=O2bkTEVq8d>$Az*eIgLr8R0bKsXZDP%fDaEs5 zEx=?~UBwN~<}A2q^aMCbwP{Eq;!IWwmRB0G^W8;%f*D-`8%*Q-*($N4>SR@BJ$!N( z8mue|0-%832^gQVKh4oFvjcZoX`GTLcPy3|Qt3rk5Hq7FudOG`NpC?14q!fvg$XIm zR)+?=zM5f}k@rbj7;a1LM&OUxRcXOMX!3^Ey-8(#T-hFOron7>Nat-fm7*N894$Ah zfMQvHg?w+dEwie!pDVp|cm;|cAu|}y7rgQXHu9GWIi{%lDYd>dauP<3Cx!%45I&l3 zw=Q4z!3DDSfp}dllJceqN?f^A23GW}3YR9jcL+qOW*A=Kt`_WPAkW@W^~Q{2i{rX%idNh$o(LkUr3V z8*r~b{xdjyQj4DkK|t&qpn?3Rk%*A!8Ry{$`aHrvdkk-?jpJ}rrfzQEirriIhn9*D zr(~!{T6^UtYbtMrT|n$Gc;3>UU|5KMV~x-*2Mn9PSW~va3iI)LS@t=2#git*`L|R8 z`jz$u%1SXw6i?%rqYy;c1(Gjz;j1fT?EMIsDVqH0N*;id7;8PY;Ibgdoi+ez&VsPs ziRXP#^jX}g-?fdmZa(do$S`aO60B=ty=|ypP4Kd>sUgHx1S8&tbdw}#xLn@jF zeCB8BR2VCODm0|?Kzq!}|9Pvwr)AOv0V97|AvVFKlM6IDIpunAz&h!8?mYPK0dj4{ zW-#-MaP}c(!b&H!gMnT9AB^2PYmFy0Ozl<>2w^yM$*d+tSz@pSdeC2bz2Tbb^17-IZ6kp20LlJCy8ZqG6LmJ=aB15+&}>!r7neEmk` z1UxgHI540^xP*F6f$62heDWVzxthScGr_bjcMU9gledryL)zPaQD{RtoQZx+15FLd z&&o~F^Y-$Y5f2OJH=V@uH58`DiRi45|c|NRU7S6HyvC06dw?;$0eI1NcXE{!A*01Ipz1Z=VsjTF09S zPiN%o*bqptfRk2#ieDTE!Z2Es2J5#jb@b9Z+(~nwM~&O0pjnw$o;J=c=T5LWf7BJ@ zlw?)wN0Jy5KXsoSkI?Ck#LaKeMF`bPdJr{IVRt0e1g5rES5{wYF(4;>WUZ}*;;`n= zxaoD(*{HygzeQ%k;av;S{AcnOzab5fh^0?g_fOuF{+W$O*MTG zr{4h?^IxMZskUG~S#GX4K)NpW}I_+nU33XgH?@3yl+eG7W#v z&MUiGc}}N)fv;uOoDDZChp^kj`w8sqpB+Y7ent8i5CyC{4!)kvkNZ>>)9270Q}1gY z5|BZWB!AgjKNx_lrXkX1tH>=bo51@o0ma$ugAEblf%^*mHh}&%>GHG~{`SOYw7shb z`E#;}W5%bZcQi*ENy5L9*kU}}a6V1$868I!cB!6!g_S@I;}XS;NFlt=aHeV14kUzH zE~D>rwiz-)d-FhWpN?5)1IEitY#!V&CO>uL3f~Lj zkF zj4gzzlo}3O$Vw&|1}m~!gl7^Xe4{JAwrLVj6YRHMlHC!@Kh)K5*yT?+WFP!a_aoFv zF`96xx(2ZHR9;fkr1dhYsSFl3O|-Oia*3Z^v(5a+M@(Y-$AkiW8OR@)RckW0pq7xk6IsnE-$a!9=#?n+ggtm%ON}F@ z;%38y()SYcN)$UHO6HpHEZ%LQ|0?+B3osKI?t46>D674`yVHrRdYoCgF|#sFvK*>B zlbUSpiPa6Tij84=EH#17$&D2~$lA$&QpVl^@2`X>&3AH9*@_ka1pEll$`lSEIla`S z(AEcqoY#+qSvx3VZ?eSWpf+k{1wsy-%OYl>S;M(Qlt>2HTxPv?>wdvvymf?ATyk+Z ztBbmfyetKVH1)6?>mbJJ!#4y!qHl$3^5;-E;;1zseK!`(g!T#mWiu zk1Y9JRi zg#e@Z#SMq=C7f&)nQ{o!Dss-mIH_0;f5*SY9(&)@V=51(luhoyGZ@@dB5*mjx>fH3~0GWo~D5XdpE>m;WmQDwi6V1rC2=)U_`W6DI;2JZuIA z!>|Pp!frrk%*%}%0jW||R#xRwnOWIwX`dU_INLba=%AXE z8W$UFZKHi?bfo{mHa02x^o>iV@w)MbyF=q6cgH4ZyQf2Hf~Tp}7ZvxLCOS{wZIca= zi_})eH=aL37TSMW+lF?awNKPRvyC#;p#R2&JD{nCE%Mv6VO)F@tl}0MP$cPTw)Gs@ zUNsv=CP^e(MybeMkqtrTyRB2D`n6YuuuU;KCp*YhnYg zOL0KHX)9FY2iDuIaBVOH@)9?qvWct&M}2@>YbYZ;;8WZG}rVO0Iu# zS8vht3O$W(@*}kg^u0x80+pis22`2D_gaALs&4`Ldn};6bAEn76yG7);Vmt#jPbqp z`1->X-ye_8|JZByFD9qm1S{zG?fv#ad+?44s`tF7lPT*b4KhXK5C@vQV+sSy(oqA- ze+cUibaLFZzh1n!Xh@^~nhrmVyMcfHHw&fGb5h$IW{q2Hg7PC0fZGZ;u+vy)#A|SU zRs*-r8?D17Czt$oxQ^)hE$Lbcj#+KDUkV@tr?!&=*)#27=cwCrbM?{b9haVCtj^SC zSK2#Zi$MFmXD6?E&ungacCxB&2|^}Om)W7Gp>+*Y`3xvbi4aE;3Yw=V3j!==;1my~UA>Fza9Tkb(q8k(2) zu(0x8$geEEHtb%yP^Xida?Z+@ztepAHn3v8>6XDi=N+sh?_ecsa18|lN@lmgr5iUT zacMhT4m2_Bmhj!IgLj^8i#LD#e@_@X3}W;D@c#rPeY#AZmp+5m1Kn&7t*0~AgW1yQ zBP&Tv9Z-5wCi`y^`yR4L$|0IeSut6pP6OXWN|SVx>BPo@>6{smbyEnSe#3Mk-L>hK zujp{hkP2y#DD7maKSV!YrYsDojalyEJSmpF*F3HASNH~L@4|c;Y1@C~xTnG?bEV%= zW>I>yB3C9THM*d-tC=rL zG)TQ@`*2%WXljud@3DrgSv~8abK^ zq7CekmZg8RNre*mNxcc_M&NiId;o70B58u>T}6cu8`!PY+^)h}ej6QJrIC5&jZ7#=e~}3KgEDhji=N8d z3SV$sVD0jQtXMQxkFvz11xU7{mF6Qrxu4>+(JJJUJ8fSyP13HIj`@7LZ^l$#45OW zK{8BO*Uoct20mV&@Q#h`0**Wr&Dfc#^Y$T|lo%A5gLX?Ch zSvN~QpLMT8e0wd7)pk!*AY43u)wTv6pu#D_mVQLKBA&#olt^0P3y#z58J&hA5l4UO zQDF#ezFt{owT9l~PynJvK_<;!NAcSjyn|Sb5my}x%vfMD2&{lISFoj>Oj>HkXy-UW zU7+CfMzOb=+HIiF5h$zF&;^bOrH4$1Be_E?iaz63E_q49jZGCC>r=TdQ!mUb7(`*s zQMJ$k%}}pf$s8*P9-vl6&%X!^DlUJCLE6$^3rt3f8eQFD)zzbwLUC`C@1mgE42ogM zO;MDU5$MpaN0||63FK8*%|Z68@!)L1A%w6jY7rQTT0~mI-dyaY7HnKG=}Oc~;;toJ z!{p&9MZGgAay7_hl%jTnR(be)cqAkcHS`+EuJl;WVPeuHbKxWyQOIccI*orq0b_Fv za*8V?J|J1bK@W&5{1Q_^VF$>9#dQzuq@z^O$Sa^0;e1(EYbiS6i$IQny6n8>MfzpW z^(d2dNlH{4fyjZ_P>mHya33mR@;z&4oM+52W!$0Y=g7Mgww9PGEqW^C#rOIyzZTWt^+d+pP(i@uOlm2B zf&o?yho=IoP0DI9b4tv2BtGwfV{g>(1yOtfs!42}370?*7=%tByGj{XGljyLLHd*f z5;+u1P#Q{5R%J*S7r8;S1|dC#t*Mu!REJ%i4rb-(#N%TDUWy&Hk+x}sHvh}9|A^oiO?GJZK+Z?R4G<{ z#fn6~)3DZgPj8XlK&yDHq!CE)v_q=oTu;%6&0P0GiNofBykmdh=QVAGtXv8<$lrx0 z${b>bd3oSTI-78RN@iZim69M!#KZpwjE3G(6S$Cy)SSKHM=AU?gN}&>MYtdbJ-fs^ zbukt_TKF!fb-^R6%LzAW+AAK=xFqEO3#TGCIgO-}BVjpE5xSIPrhO^cc)ZqNv9iVk zUya&&E^zVPs!)IG?$RsY>t5rLUue!>Jf2uEUPTc(gj3j)#khs#Vl*JHZ~>8)uNrt< z$s;*)A|dWjtRl{0J}NL$67eN}ncc>8dHNvu(ysfZ9b+t~I2QT>1*bPUcak$|w}C=O zpsZ3uhwP^GINbJCl4uCm8DYB)t~0=O`hrKghU-jawmg3ok^H7ml77ixWCiPs4|1}C z-~qyc`d$|&K(!d8jeM>Wmy8L~Qv0jgqP`lZr&hBNj;N{3t?&hhU1@+TwMB9DC^I81 zK#q$c<3TbWi&{MSlvKAc&jqTiEGm6Sa5+%~^{kNoXN~k$d?8R0^br%DM5A3wdKM3} z1t-laz?^^NriAJrb^;jTqOH!T{>ekfjCwE11N=~OHtJ`Oc_I#0X&HI4ZOd%wl^N0> z6s}I_$(~(!nOWfrj*ECa?ExwOVW(gs*9zG!`CCDuBQOR$xUQgs*h&u)ZZ56J1JCH9 zB!}2*!m~_Wuq=wL9`#6?jUdl24#YAp6nSo;jVFKJ-eFA5u>i?O`}r4v{CwCnwFsmw z{X()H6~fM<^is7=MuDQjDdIrCyrv;N2~X0?+zMZCxL_V}|J9{kjpErg9~dJ=nUHS@ zg^s`|QMZEf{I&E*eKDZkg?A7l@)gctW-&D4nXX`3DAFNfG6nYLsQMyW364+}3Z;z$ z$ZvnZmo)?rFe7@_J#5~lCktsyzfi14nJ&Ma=&P1Vu^KJ%;J)nVvtxpjGNz`3aT`#k ziKw@ty%-Y?qz(AKdM%D$?Yi4tolHiT(~F6`>h)xJMk5anp1ywe=BI2N$cxpV$$+%-i0c-o!)&VP2W*S;>3$b}P)&%+77R`#zJo$bfbm#+PIaXo1-&b#)i z`_i4a)6bKxYo~u*{9AT+I3k)xUT^Kc1h|>oS1(^4J$z2w-rLBnal~!rzcg~5W14?i zu^5sU9)=0Zy1idkJAsMPrWbY+k_|0$7bI?wUgoL=wvwNkuTlX zX?K2lHR45ka(iOSb=is8&+U%vVxyk`68QWHp=F1`>1`~ zK5dWNVLKdOejc_T+LQL=;_PhLc5Q!mc{LheoX4wv8(td9L+x{`Uyd1XU z?&_)?3%BiAdv@KPx0mf@HyK@=wwIqrx}CIF?bYZLk-QoYuRga^vaxPDY_Hod?O*NJ z_UowqyZxWOSnV!iy?^(&JI{ZISkn#GhO?#BkCJNIDAoUx9L@`~Uza)ayKsMYbm#c+ z$uV*Ee3QL6HM19$Z^POAB!#?@FS3rw@Z^tf$_HrH#(`m@8BI>E&pwX3uVg>48Vq!Q zUJu8Wqxsa1+A-vFJ|drU0nc-}IG5EaWFz9;wwL4UE4Cr{r>oJ|g^yzKc9XuVvT+v) z@4vqH>d`%xaM)lvGXeAK+CP6nz>Kz0z-Pi$pP`+6@7-6A4|b6^F22eU7)~Y^e~Ddx7*23{y7@Wk$|>qbW5k$`^R^5S<{5vV1R^#1G8}j3 zCmkHGkUkrolR(d|$J5c}`0w_-`!t-6F3!aPi6>?@x=D8m*$aM&Z+&_1fqVSd&l5s)7eqX5C64=U3XB^ zO}CcvQy?JHk=~005D*eVi9$d+80jE{F0b@ngh&$<1f)d?NRc8^LJv}X=^dnnB2@t? z0)li5H-7id_wSwA*?G>h&zYUs{o~B+**V8(WyPP!aN(w^;wGA3DxdZ9`zkuT>3n7K zUmTp9dzaT;53X&Jn3Y|Xh%U_a0ZD;B#WbVb9aK$uU!tB=ygNRf?)%gd?0s?mFVV0k zHcPWq-zAIw)8vVqet3rpfu{mjSXRI9W#g__uv?oVSEYnKf*vTHRxH{qo*#B?wObrv zq49FVv~4IH(PH?z7`&OlgRZ9+Q-3<8S`7ZBasDxEZnzqexSt~N&Zl0?jAsA1#q09Z zpNr#F7n-kv1~&=a;e9NZ%{vv-?hn4%TXL;{wZM!$7L{*=lhC-UbZx0jp+P5WUYB`P z3vLSHR+NS^DF(5Zq5#^Qvc+alIM?IGc8Z?pL9J`~_L==$pBYbE7&`2d_=o}Pi|s5L z*K@l7@t^Us%#qD(MjcVllu+$D_T74tYK@IDI8$6p`E1%*mr4=-`>byOg441dNm5Xf zB5JcXUiqh$=~_6Zm61(po=!E$%G+WRzHlxitNQhR%eS!c<(*-JQ?4F7oO2f z=nlKK55p(@Bwn)`JvFEYVP7|}TOqv1<80?8#umQoonpMSW`mBgwn`N#srmrbVT(O0 z{7iyadBi{8kko6yrgoX#Nh~^+_A5Yi}Qks>;~ef+&>V9qXYGP{lP^tNYB&L^uObpFZw%Zln#&hMX# zP1spjG1KTd@hoL!)gZqhTqVBmUnfY7L!l>=e!T-Oz>j`uX}ZomPQ)c0!%^kCd0OaB z-cx%73e(hcFfs4(t=jig-yO&EO|SB5m37uv+qD?A2$>JbHh& z=B^%KR#gO zFIzSYu;Bg2fLsa;Y7Ah(B+mnN_{AyU2RVj$isXsA02uGN z4ER!Dq?Z5J%Mf$=18~Ndt^O6Qd?)E`H~zx(9{>vfVH$CxAaO&MPdoHc@IvQ5NXH zekVsXSZ@>edRFfB+)laC56)9#bfA*UV82JX-l-)}$Dihte^YR8TntD`8;zDb;a|?t zkjS%sk@%c1MYQv=TDl2B{Ry+5akMZk`hv0j0}G|>?Fzn9RJ3+c+;X%yh=E^R&YB5( zy3{VZ<_UnP$BF9uL2M-Jaf1f3@B|R?4_VBFM`9-&J z9iEgpe1G?>Ln70UX1Bxduwl>!z2C*S)^pdwIzq*&VxO4Q$7sCeHzKl1;WWA~f?b1~ zM$4={?TOzCK5BSV6#ehS`;GBp?q?zRDC{^Hc}eoMB3zeXs=snB>a#=Ox?;1U5^Re< z>BU~9LekP!P;T0+vdB!-`c~h}s>)u%j=kK~m<54r^SNdg7y`zs;qL^;0<+nGfF4$qwm%;V!nilO}pU z@O}%^{l0w5=c^)9$T4@ZN%T(I`|~-REj_nz7865%E>+AUUDx`&uMY23T2$Ivo5=c0 z?V6=bDrW@DvQqlo#fEm$Y@Z+FAyFx^rkGpiDh)OZVugpb6LUs8-deOtNoPH5iL#b| zSMu*^w}d6TtGgaUVHMJ?uXaKcku|+*AKE7c3BxA}{v_VeU<6H%3kl2R;>DE=pbpJj zGJLSvy*u9hSqW#w_y4m8%vz=F-bQw(A9m8=7#cckARY2ew}1^siUsWcY5gtYtG|59^MwR7Ke2vWXWMti~S}yj@WQl z05WOO0cLdgvYFABKXfXNoDo1T$evRnWM}JZnsE zfIY5#t2cei!k;@y1{uKnm-bQy&<4(fXO|qrB zg{P?tgM_AE92yaSj!e?GOkrMqi0K2kE;e_kLE1QX_>&4m#o}Er&6-q~Gkc zGXi`hc>s3~KC|1ehVkvlnp*N0g;YKmIXZEW&5^RT6*+YyXNcZk&}Tyz*UXUVsUDYE z5XohN(ir&`vdD*5hGek@)23)E9#xOj!VTVM#pqUpmw|&C5~)GXLizPhYXGBki|x{to*m1R5%VU~ zGuD@5qY9o(c>#1r@oZYD=F*S(U;UyrFBkYbjX_X#I`FHerA=%n)+Vj}qSvEi%KtoI zowTH`v2F&NE;yEq+WfG(jzXua=KmzLzZI1f4DsRUqNG`rzFWSSXB}Bj&X)2kgTaX@ z-wCl1?RN8lYN@5>MAubp^2qXe1%)PmCh9|^hozTZy=x>xRR&u^EaY0^dxotW@s>}0 ztwB^#nDWZoelsf(`9_ma8{W;lhWxl`?~hKX^&cZAF#E6@L9x@GyH03+k2f0j0Um+@ zH!P#ykFwv-@ZRt10Q-k>9!qvTi=1^IpBN^?hepUrzU5`pH4|)L#N@Xy_vv>4&Z%PJD7QP#S47J}VhMIX)Q@iS+dJ zBa!laxA~AX(%K%*o+L}*|11Qbm9iQ_R$WF@Rzp!8BCjb6l~+d~6xHu(D9R!b5KRbF zU6t?umpr2VZ%Btg6)~^p0dchOgsz*O9eek$T@|_aMJE1RM#o6ZSbllH*Da(5?xV># z62rjB%J@V<0GzC~9k<8G3DRZ)fnLPL#1()L=H^;p@YnWkwY@*QSlf380mF)mii_h+ zYE%8VH`By~b8H+qmYx!Q<^d+?*S z(`~Y&+gQU}u`eo>ZXOjjwNp)+!l&29bl#-cWAm+Y)vP zsU5fYf&n@1%^vG6QMqpk2#7tilDJ65Ec*JK=aAh#IzQJMj; z@x>P(Z0=i5S2HWE?N7Y?uBimCptRcSQyo{Qsj#`+v$-Gzs}CDft9V})e|ORCNCW5D zS)Ly;^G44+K$3zmJpI{eRin(6P`hM6QkXlEAM{fN=D>c`fhL2JYoHD*oO$aa&0s`znk4%Skef9HYxpr9 z-A%Okp_R{%=CNnO4u5n)CDThyIcg{F-gC_<^zaj7L4zL!n7a0k>2D^}Tb)f`vTWmj zAKDaBWR!d~=BOHsN%~io%|%m+UZa9p@YqJ9)i(aC^oxXwBxUH$;Az%iW0v3x`TgGk z-)B(YHC!FHy}z%P^kOw$2YL$bN^7XrYN`_Bo;GrxW)TSaj6S)$@v3Wem9!b^+!Gx% z=6|pFCPyCi?=OV57UH*qj8oG%$k`+_k<4+c`U@tL;wleFMpj0VMp#(GP?P3=0Ewk7 AA^-pY diff --git a/article/sim_numerics.tex b/article/sim_numerics.tex index 289e334..c2d5ff0 100644 --- a/article/sim_numerics.tex +++ b/article/sim_numerics.tex @@ -609,12 +609,41 @@ of the remaining gap on the wide-bracket set: $253$ evaluations, or $17\%$, not $11\%$.} \end{table} -Two things follow. The wide-bracket gap to Chandrupatla is real and it is -\emph{diffuse}: measured per family it is $+57$, $+54$, $+46$, $+43$, $+35$ and -smaller, with no single problem costing more than $35$, so it is not the kind of -deficit a single mechanism removes. And on that set our shape reading ($2159$ -re-scored) is \emph{worse} than bisection ($2136$); only the dissimilarity -reading ($1740$) is clearly ahead. Every statement in this subsection is +\subsection{Where the wide-bracket limit actually is} +\label{sec:widelimit} + +The remaining gap looks diffuse --- per family $+57$, $+54$, $+46$, $+43$, $+35$ +and smaller --- but it has one address. The \texttt{fun1} family is the same +function with brackets of growing width, and our cost against Chandrupatla's +across them is $7/8$, $12/12$, $19/15$, $59/24$, $63/44$: we tie or win while the +bracket is narrow and lose progressively as it widens. The endgame is not the +cause --- our observed order on those very problems is the higher one ($3.63$ +against $2.02$ on the $2\times10^4$-wide bracket). The cause is the rate of +progress far from the root: $59$ evaluations on a $2\times10^4$-wide bracket is +what bisection itself needs ($\lceil\log_2(2\times10^{16})\rceil\approx54$), i.e. +there we advance by one halving per evaluation while Chandrupatla advances by +about $2.3$. + +It is not the guarantee that caps us. With the safeguard removed entirely the +same problems cost $46$, $57$, $61$ and $68$ against bisection's $57$, $77$, $45$ +and $45$ --- better on the wide brackets, \emph{worse than bisection} on +\texttt{fun3.1} and \texttt{fun5.1} --- and still far from Chandrupatla's $24$ and +$44$. The cap is the step rule itself: $|f|/|f'|$ is an absolute length, and an +absolute length cannot march across decades. That is the same wall the fixed +fraction (\texttt{cbrt}) and the logarithmic change of variable each hit from a +different side, both buying the wide brackets at the price of the canonical set. + +So the limit is stated exactly: the placement of the similarity reading improves +the method up to the point where the \emph{form} of the derived step becomes the +binding constraint, and on brackets spanning many decades it does. Removing that +constraint means replacing the step the contraction law derives, which is a +different method rather than a better reading of this one. + +On that set our shape reading ($2159$ re-scored) is \emph{worse} than bisection +($2136$); only the dissimilarity reading ($1740$) is clearly ahead, which is the +same statement seen from the other end: where the step cannot march, the reading +that helps least is the one that only improves the local model. Every statement +in these two subsections is reproduced by \texttt{diag\_rescore\_cha.py}, \texttt{diag\_rescore\_aps.py}, \texttt{diag\_fun7\_root.py} and \texttt{diag\_cha\_gap.py}, whose outputs are kept beside them. diff --git a/diag_cha_phases.py b/diag_cha_phases.py new file mode 100644 index 0000000..5d32ed2 --- /dev/null +++ b/diag_cha_phases.py @@ -0,0 +1,105 @@ +"""WHERE in a run the wide-bracket gap to Chandrupatla is spent: approach or endgame? + +The gap is diffuse across families (+57, +54, +46, +43, +35, ...), so before proposing any +mechanism this splits every run into the two phases with the paper's OWN definition +(stage4_why.phase_boundary: the geometric mean of the initial width and the ATTAINABLE +tolerance) and reports where each method's evaluations go. + +Problems whose declared root cannot be matched are skipped, and the six scoring-artefact +problems (aps.13.00, fun7.*) are reported separately rather than silently dropped. + + python -u diag_cha_phases.py +""" + +from __future__ import annotations + +import math +from collections import defaultdict + +from simroot.baselines import chandrupatla, chandrupatla_scipy +from simroot.pure import pure_root +from stage4_why import phase_boundary, traced +from sweep_full import ACC, MAXFEV, XTOL, load_problems + +# NOT best_of here: it runs BOTH implementations and returns the cheaper result, so a tracer +# wrapped around it counts the evaluations of both. Doing that reported Chandrupatla's CHA +# total as 2993 instead of 1487 and manufactured a 1299-evaluation "endgame win" for us +# (caught 2026-09-21). Each implementation is traced separately and the cheaper split kept, +# which is what best_of means for cost. +CHA_IMPLS = (chandrupatla, chandrupatla_scipy) + + +def ours(f, a, b, xtol, maxfev): + return pure_root(f, a, b, xtol, maxfev, similarity="ratio", scale="derived3", + guard="safe", prestep="slope", direction="dissimilar") + + +def phases(method, f, a, b, root): + """(approach, endgame, total) evaluations, or None when the run cannot be scored.""" + g, xs = traced(f) + try: + x, _n, conv = method(g, a, b, XTOL, MAXFEV) + except Exception: + return None + x = float(x) + ok = conv and math.isfinite(x) and (abs(x - root) <= ACC or f(x) == 0.0) + if not ok: + return None + target = phase_boundary(abs(b - a), max(abs(a), abs(b))) + approach = len(xs) + for i, xi in enumerate(xs): + if abs(xi - root) <= target: + approach = i + 1 + break + return approach, len(xs) - approach, len(xs) + + +def cha_phases(f, a, b, root): + """The cheaper of the two Chandrupatla implementations, each traced on its own.""" + best = None + for impl in CHA_IMPLS: + p = phases(impl, f, a, b, root) + if p is not None and (best is None or p[2] < best[2]): + best = p + return best + + +def main(): + agg = defaultdict(lambda: [0, 0, 0]) # method -> [approach, endgame, total] + per_fam = defaultdict(lambda: [0, 0, 0, 0]) # family -> [our_app, our_end, ch_app, ch_end] + skipped = [] + print(f"{'problem':<10} {'ours app/end':>14} {'CH app/end':>12} {'gap app':>8} {'gap end':>8}") + for s, pid, f, a, b, root in load_problems(): + if s != "CHA": + continue + po = phases(ours, f, a, b, root) + pc = cha_phases(f, a, b, root) + if po is None or pc is None: + skipped.append(pid) + continue + agg["ours"][0] += po[0]; agg["ours"][1] += po[1]; agg["ours"][2] += po[2] + agg["chandrupatla"][0] += pc[0]; agg["chandrupatla"][1] += pc[1] + agg["chandrupatla"][2] += pc[2] + fam = pid.split(".")[0] + per_fam[fam][0] += po[0]; per_fam[fam][1] += po[1] + per_fam[fam][2] += pc[0]; per_fam[fam][3] += pc[1] + print(f"{pid:<10} {po[0]:6d}/{po[1]:<7d} {pc[0]:5d}/{pc[1]:<6d} " + f"{po[0] - pc[0]:+8d} {po[1] - pc[1]:+8d}") + + print(f"\nskipped (not scorable under either criterion): {skipped}") + for nm, (app, end, tot) in agg.items(): + print(f"{nm:<14} approach {app:5d} endgame {end:5d} total {tot:5d} " + f"({100.0 * app / max(tot, 1):.0f}% of the cost is approach)") + d_app = agg["ours"][0] - agg["chandrupatla"][0] + d_end = agg["ours"][1] - agg["chandrupatla"][1] + print(f"\nGAP: approach {d_app:+d}, endgame {d_end:+d} " + f"(total {d_app + d_end:+d})") + print("\nper family (approach gap / endgame gap):") + for fam in sorted(per_fam, key=lambda k: -((per_fam[k][0] - per_fam[k][2]) + + (per_fam[k][1] - per_fam[k][3]))): + oa, oe, ca, ce = per_fam[fam] + print(f" {fam:<8} approach {oa - ca:+5d} endgame {oe - ce:+5d}") + + +if __name__ == "__main__": + main() diff --git a/diag_fun1_endgame.py b/diag_fun1_endgame.py new file mode 100644 index 0000000..0a34618 --- /dev/null +++ b/diag_fun1_endgame.py @@ -0,0 +1,75 @@ +"""The largest single item of the wide-bracket gap: fun1's endgame (+61 evaluations). + +If it has a structural cause, a derived fix may exist; if it is simply the order of +convergence, the answer is "no" and the reason is worth stating. Reports, per fun1 problem: +the bracket, the multiplicity-like behaviour of f near the root, the observed order of both +methods, and the endgame split. + + python -u diag_fun1_endgame.py +""" + +from __future__ import annotations + +import math + +from scipy.optimize._tstutils import _CHANDRUPATLA_TESTS_DICTS + +from simroot.baselines import chandrupatla, chandrupatla_scipy +from simroot.pure import pure_root +from stage4_why import observed_order +from sweep_full import ACC, MAXFEV, XTOL + + +def ours(f, a, b, xtol, maxfev): + return pure_root(f, a, b, xtol, maxfev, similarity="ratio", scale="derived3", + guard="safe", prestep="slope", direction="dissimilar") + + +def multiplicity_probe(f, root): + """How does |f| grow away from the root? |f(root+t)| ~ C t^m gives m from two points; + m = 1 is a simple root, m >= 2 flattens the endgame for every interpolating method.""" + t1, t2 = 1e-5, 1e-4 + f1, f2 = abs(f(root + t1)), abs(f(root + t2)) + if f1 == 0.0 or f2 == 0.0: + return float("nan") + return math.log(f2 / f1) / math.log(t2 / t1) + + +def main(): + print(f"{'problem':<9} {'bracket':>26} {'root':>10} {'m':>6} " + f"{'ours n':>7} {'ord':>6} {'CH n':>6} {'ord':>6}") + for d in _CHANDRUPATLA_TESTS_DICTS: + pid = str(d["ID"]) + if not pid.startswith("fun1."): + continue + f = d["f"] + a, b = (float(v) for v in d["bracket"]) + root = float(d["root"]) + m = multiplicity_probe(f, root) + x_o, n_o, ok_o = ours(f, a, b, XTOL, MAXFEV) + best = None + for impl in (chandrupatla, chandrupatla_scipy): + try: + x_c, n_c, ok_c = impl(f, a, b, XTOL, MAXFEV) + except Exception: + continue + if best is None or n_c < best[1]: + best = (float(x_c), int(n_c), bool(ok_c)) + try: + ord_o = observed_order(ours, f, a, b, root) + except Exception: + ord_o = float("nan") + try: + ord_c = observed_order(chandrupatla, f, a, b, root) + except Exception: + ord_c = float("nan") + print(f"{pid:<9} [{a:10.4g}, {b:10.4g}] {root:10.5g} {m:6.2f} " + f"{n_o:7d} {ord_o if isinstance(ord_o, float) else float('nan'):6.2f} " + f"{best[1]:6d} {ord_c if isinstance(ord_c, float) else float('nan'):6.2f}") + print(f" |f| at root+1e-5 = {abs(f(root + 1e-5)):.3e}, " + f"root+1e-2 = {abs(f(root + 1e-2)):.3e}, " + f"ours x={x_o:+.10g} ok={ok_o}") + + +if __name__ == "__main__": + main() diff --git a/diag_who_caps_us.py b/diag_who_caps_us.py new file mode 100644 index 0000000..2eac75c --- /dev/null +++ b/diag_who_caps_us.py @@ -0,0 +1,70 @@ +"""On wide brackets we spend what bisection spends. WHO caps us — the step rule or the guard? + +Measured (diag_fun1_endgame.py): on the same function our cost grows with the bracket width +(7, 12, 19, 59, 63 against Chandrupatla's 8, 12, 15, 24, 44) while our observed ORDER is +higher than theirs, so the endgame is not the problem. 59 evaluations on a 2e4-wide bracket +is what bisection needs (log2(2e16) ~ 54), i.e. we degrade to one halving per evaluation. + +Two candidate causes, and they are distinguishable by a run: + * the STEP RULE cannot march (the similarity step is an absolute length), or + * the GUARANTEE's projection clamps the accepted step to a halving-sized move. + +So the same runs are repeated with each guard, including guard="none" (no guarantee at all). +If "none" marches, the guard is the cap; if it also crawls, the step rule is. + + python -u diag_who_caps_us.py +""" + +from __future__ import annotations + +import math + +from scipy.optimize._tstutils import _CHANDRUPATLA_TESTS_DICTS + +from simroot.baselines import bisection, chandrupatla, chandrupatla_scipy +from simroot.pure import pure_root +from sweep_full import ACC, MAXFEV, XTOL + +GUARDS = ("none", "step", "project", "safe", "credit") + + +def main(): + print(f"{'problem':<9} {'width':>10} {'bisect':>7} {'CH':>5} " + + " ".join(f"{g:>8}" for g in GUARDS)) + for d in _CHANDRUPATLA_TESTS_DICTS: + pid = str(d["ID"]) + if not (pid.startswith("fun1.") or pid in ("fun3.1", "fun5.1", "fun4.3")): + continue + f = d["f"] + a, b = (float(v) for v in d["bracket"]) + root = float(d["root"]) + ok = lambda x, c: bool(c and math.isfinite(float(x)) # noqa: E731 + and (abs(float(x) - root) <= ACC or f(float(x)) == 0.0)) + _xb, nb, cb = bisection(f, a, b, XTOL, MAXFEV) + best = None + for impl in (chandrupatla, chandrupatla_scipy): + try: + xc, nc, cc = impl(f, a, b, XTOL, MAXFEV) + except Exception: + continue + if ok(xc, cc) and (best is None or nc < best): + best = int(nc) + cells = [] + for g in GUARDS: + try: + x, n, c = pure_root(f, a, b, XTOL, MAXFEV, similarity="ratio", + scale="derived3", guard=g, prestep="slope", + direction="dissimilar") + cells.append(f"{n:8d}" if ok(x, c) else f"{n:7d}✗") + except Exception: + cells.append(f"{'err':>8}") + print(f"{pid:<9} {abs(b - a):10.3g} {nb:7d} {best if best else 0:5d} " + + " ".join(cells)) + + print("\nlegend: ✗ = the run did not reach the root (an unguarded method may not)") + print("if guard='none' marches where 'safe'/'project' crawl, the GUARANTEE is the cap;") + print("if 'none' crawls too, the STEP RULE is the cap.") + + +if __name__ == "__main__": + main() diff --git a/results_cha_phases.txt b/results_cha_phases.txt new file mode 100644 index 0000000..3fd15ff --- /dev/null +++ b/results_cha_phases.txt @@ -0,0 +1,63 @@ +problem ours app/end CH app/end gap app gap end +fun1.1 5/2 6/2 -1 +0 +fun1.2 10/2 10/2 +0 +0 +fun1.3 11/8 13/2 -2 +6 +fun1.4 20/39 21/3 -1 +36 +fun1.5 3/60 3/41 +0 +19 +fun2.1 7/2 7/2 +0 +0 +fun2.2 23/3 20/3 +3 +0 +fun2.3 27/3 25/4 +2 -1 +fun2.4 1/42 2/40 -1 +2 +fun2.5 1/48 2/47 -1 +1 +fun3.1 32/32 21/23 +11 +9 +fun3.2 28/28 23/23 +5 +5 +fun3.3 31/35 28/32 +3 +3 +fun3.4 31/42 28/41 +3 +1 +fun3.5 3/82 3/79 +0 +3 +fun4.1 30/24 21/23 +9 +1 +fun4.2 30/26 23/23 +7 +3 +fun4.3 32/38 29/27 +3 +11 +fun4.4 28/45 30/37 -2 +8 +fun4.5 3/83 3/77 +0 +6 +fun5.1 30/27 22/22 +8 +5 +fun5.2 28/26 22/22 +6 +4 +fun5.3 27/28 22/23 +5 +5 +fun5.4 31/26 22/25 +9 +1 +fun5.5 31/28 22/26 +9 +2 +fun6.1 29/23 22/22 +7 +1 +fun6.2 29/25 22/22 +7 +3 +fun6.3 25/25 22/23 +3 +2 +fun6.4 25/27 22/25 +3 +2 +fun6.5 25/30 22/26 +3 +4 +fun7.1 11/0 8/0 +3 +0 +fun7.2 11/0 8/0 +3 +0 +fun7.3 11/0 11/0 +0 +0 +fun7.4 11/0 18/0 -7 +0 +fun7.5 13/0 19/0 -6 +0 +fun8.1 11/2 8/2 +3 +0 +fun8.2 9/2 9/2 +0 +0 +fun8.3 10/2 10/3 +0 -1 +fun8.4 13/3 12/2 +1 +1 +fun8.5 16/2 13/2 +3 +0 +fun9.1 6/2 6/2 +0 +0 +fun9.2 10/2 7/2 +3 +0 +fun9.3 11/3 9/2 +2 +1 +fun9.4 13/2 10/3 +3 -1 +fun9.5 16/3 12/2 +4 +1 + +skipped (not scorable under either criterion): [] +ours approach 808 endgame 932 total 1740 (46% of the cost is approach) +chandrupatla approach 698 endgame 789 total 1487 (47% of the cost is approach) + +GAP: approach +110, endgame +143 (total +253) + +per family (approach gap / endgame gap): + fun1 approach -4 endgame +61 + fun5 approach +37 endgame +17 + fun4 approach +17 endgame +29 + fun3 approach +22 endgame +21 + fun6 approach +23 endgame +12 + fun9 approach +12 endgame +1 + fun8 approach +7 endgame +0 + fun2 approach +3 endgame +2 + fun7 approach -7 endgame +0 diff --git a/results_fun1_endgame.txt b/results_fun1_endgame.txt new file mode 100644 index 0000000..c26985c --- /dev/null +++ b/results_fun1_endgame.txt @@ -0,0 +1,11 @@ +problem bracket root m ours n ord CH n ord +fun1.1 [ 2, 3] 2.0946 1.00 7 4.28 8 1.80 + |f| at root+1e-5 = 1.116e-04, root+1e-2 = 1.122e-01, ours x=+2.094551482 ok=True +fun1.2 [ 1, 10] 2.0946 1.00 12 1.87 12 1.81 + |f| at root+1e-5 = 1.116e-04, root+1e-2 = 1.122e-01, ours x=+2.094551482 ok=True +fun1.3 [ 1, 100] 2.0946 1.00 19 2.46 15 1.67 + |f| at root+1e-5 = 1.116e-04, root+1e-2 = 1.122e-01, ours x=+2.094551482 ok=True +fun1.4 [ -1e+04, 1e+04] 2.0946 1.00 59 3.63 24 2.02 + |f| at root+1e-5 = 1.116e-04, root+1e-2 = 1.122e-01, ours x=+2.094551482 ok=True +fun1.5 [ -1e+10, 1e+10] 2.0946 1.00 63 1.85 44 2.20 + |f| at root+1e-5 = 1.116e-04, root+1e-2 = 1.122e-01, ours x=+2.094551482 ok=True diff --git a/results_who_caps_us.txt b/results_who_caps_us.txt new file mode 100644 index 0000000..a633a94 --- /dev/null +++ b/results_who_caps_us.txt @@ -0,0 +1,13 @@ +problem width bisect CH none step project safe credit +fun1.1 1 42 8 7 7 7 7 19 +fun1.2 9 46 12 12 12 12 12 45 +fun1.3 99 49 15 30 19 30 19 50 +fun1.4 2e+04 57 24 46 59 46 59 58 +fun1.5 2e+10 77 44 57 63 57 63 76 +fun3.1 5 45 44 61 64 61 64 46 +fun4.3 2e+04 57 56 73 70 73 70 58 +fun5.1 5 45 44 68 57 68 57 46 + +legend: ✗ = the run did not reach the root (an unguarded method may not) +if guard='none' marches where 'safe'/'project' crawl, the GUARANTEE is the cap; +if 'none' crawls too, the STEP RULE is the cap.