From 83055e8193751a4ed5d2dee5450e7b85bf83ca2a Mon Sep 17 00:00:00 2001 From: Pat Alt <55311242+pat-alt@users.noreply.github.com> Date: Tue, 25 Apr 2023 13:19:19 +0200 Subject: [PATCH] more work on mnist --- artifacts/results/images/mnist_eccco.png | Bin 19184 -> 19430 bytes notebooks/mnist.qmd | 2 +- paper/paper.pdf | Bin 323145 -> 323340 bytes paper/paper.tex | 2 +- src/generator.jl | 2 +- 5 files changed, 3 insertions(+), 3 deletions(-) diff --git a/artifacts/results/images/mnist_eccco.png b/artifacts/results/images/mnist_eccco.png index 8f18c4d1c8fedef587e36d2d0e59fc724fa840de..c9cd7a83ff98b28026e4ed8b0ff09c5eceee55c6 100644 GIT binary patch literal 19430 zcmeIabySsW+dXP*46qOs1re2!5~UkO!bP_df+8KFNT-EL8H-RrK#`PEx-md$q&uXf z8<9S9`F`g+<NS5T`Th1c#`)vyckJ=97i&H1dG7nV<~8TMt{Wd!Wx2iNwB%d1Y}re= zB(1(>3t88eEn7KvZNn?tzQe-!za2&ja?)EiN&kCO6d$-{%ZV)n=?j|9uP3@)-1oL_ z{+Z3wk!CWcyl|1y$HStj*w!ajS6)|>YklOsC5Kj`u4Q6YlU&k!_KzA0^{0%I#Ete- zMjuolFqMW#hqz5oKb!wkJ?%MN;~ySwlF&Mz=Gb$m_BGv7b?9m&ubI8<J2ld+Y}s<Y zKD{x2>z0{npC?aV3EweQS0}dY-8$o5;4(j49m=~j-J9lc@$MJ9zEAf;dCd$;Jg<&F z+Ttu5A?f9b-<#FGuFpSNcV?9k$YRmGLu_0&fHuovyrtE^O$qNK8<^@YV3d2xM;p+b zbUDYrC-?R{o6c-erzyotmz>8_a>!?LZ{NQClH0JhqGEPtrd;Fm>e6(SxSIeQTSaqo zb43NgB8OEaQd&-qm5GU(+n}qgOvXa6$bf;0YJRELi*C;jCnu+>kzY|>#~B!U6V%>` z@gMy0L$KF9!*y}&)2H)0ckT@C)=tq~Twm(FoTA&@*;(*rpZJ~O>Y16D-;<rcXeS%v z>xj$>**CjIZuOnNe7W_$h`FbJiKjRV3yZjTk^N|cNJK4PP(*~dQR$P?($c$kx1@wU zHme!<{_OF7hK)b710oJ%S7ZYN13NP<=5Zg9l3p9#PQCoAvKCTlt>3?WGsv?m`~3N> zaRt$|{?)5jvjgAV+}tiFs9p#h-s)}E_TjqQ?}^>y<m$aP8*9r7A)FR1$)S~5Mv+JM zJo<R!`?u0kKAVmvp0MEHL)6rnH@owT+?I+rH&(~K+P_fCV^JXx)Rse4ulS!ncKrD9 zr+K4Yd3UxRXXfOzZcjHMyK+6Xu&C&&zCQWt=|8QjQw7sZgq4}E`-ix~1#Bv_!gt{r z4j0f1+eyDp)7RHOF5zyjGw(KC#OioN%=rU9*YZN63Ozl2nn6*R)k1(^Pl85#ZEb|; z<m9B_&8}BV`@{S^R)04qs9ltp6)^wNSL#F6LS5*w>WB|aOis#NU}cTpFY%}E^MjqH z1t!MEdl)3T+S_#|OwG(%v#eSlKKv)6d(V!qg)Z}jg@uZGb`x#qGP-4-9iQy$yS1_A z5-!QD$!Sn{g&5=1<098{@c8l62FfpAzn0znRU1LIX<6obNI_XSJ9#;yPJ&8wVYE@M zXz%CGpXDDXVaK<6ww=;QGY}^bISU?zp1k<z5;60}_ow$ord}}0*^6{zo$drYdh|#{ zNJv^*x+y_zASI`#a`UIrjT^tJLmP8!4ZXa)X2%5u1X@=5@qN5SM!)ChJM-?uw@XC1 z&k<((%LWDp=6iJqeQX%JzXi}?oeCVr<J9lW57#KAt%-|?8Mq7uW4q(y;&dB7Jb!*b zRJ0(&tZtZgvb(^k`MuWCRJUI8m5+vA>&;>0&6DjJW?vrezFOeOrI($|L?|vUc404e zU9@CiV3;L1h+MsP?M?ejVXP=3JFRfe*C4IV%j$a3j~}YD)BV%awr7uUI+@o;d$(Oj zUe0|x%4;elBJz}$Uq05fF^N`GR8&Q!&a@`1CPH+nB9L`V$@0gWdkv~>i5je(5^>r3 zSFctDvCTJiBb=EC4MSBgDaLa98JzGid9tjEullB@JZJhYaC4_2D2F$1u`0iQC19gl z7b$M&xok2!9T^;K;&Iz5wc^43`v|!xS2eY}kv@veCF<JR+K!Hneuue^(bFsCw5DDy z*z%0WvMFI=V&cMs9fz((oPTld$e#B0_Q=S{{++?0>ap^n8)?e%3JMCHAFe-ezs~+7 z06A#hO|J9t<3~Rl?&D(4w}RQVINw#h<nGNdQ_<AatO?`4C?zGazR;L$)9LE!Iy`hE zRMd6B9Q(F+$Jh8MPu-lG-AGw(EG;7T`&0TPos2m7&rMBD2$idOc0<jV4G-OM^jw|H zVO9t!1<FWEm*>zfxOzN0E{>4HLk=zVxYc!ci=R4WwEBAzC>G%F&lf>CGxXB1HjF<B z`5oo8;WAVitP&}f=e|4#cwrE_)rSiQJFWKnaeJ=Ket-V_Id*sO*MqO}(Turyc|#)N zpC^t#RgSN!tkf-Voc!_jqEe2TiAjo1#<$9+&m&0xT+J|5n$7sGxjZ*Czp>juRrcNO zKQli~szTNW164TR`S|#}lMM*NUf`)((+qoK2!TrB0*e#vypnSIMXrkgLq-De-Me?V zmO)xh@dS{#Guy^(x~Isg*CR*9@9@hrS9LSZ)v!d>amx=MKIFWbzmSwxtea)2<rzla zIp`2WW%dl)72k5~zyZ~KdkX?lT|)y`ta~k-fsnfRcwaEbW#!nW06M|pn((FHowmP3 z6gQWDMFC|*oM)~DvM9x=L`m2UmcMy(LYUPkoV#R=hn-!X7}H<o_bY26jNfWyar|<+ zamDR{Z(7M$&WVY+SA}p*c4Yba`VzfzIy*ZbKYY07n9wbx&HCz6or=cw?Gef}G&D|w z<&?r?j86hWdT$jOMBxzw1LvE<^fJv)-c;(&yTi)EGdEKIjt+2D<d)-JQb`;U-Al`N zwxBPFd}XPlM9<ZA<+7ni^P39~P^t7}@la;fuP6^6Zb>((LJ~Ml_lOG#<zD~#Xj!-) zI90mK<g1R9e&G0`>!Q^hiXOjhkNfY5c8xg23Kfm{H{}hI+_dKyIM1E?sQOGj-+mO) zd}!>Xe|6A>tsh^rWnBNdgFuXQ6_x6e+_P)fX`OUqEKzmzDe>O-S{xPmp*##83on=m z@yZdE{Irymx7YsMp6wMD7N!%h&b1q=)EL*ie)b4(<q&}=b@Ad*0G2;}_<`5P@-HG& zmTj*DFRzAmMRhf`WYl491I}p{**M=r9C0x*<#a&$GlT{?1`j6Nyjwr-Bd$Igl_}af z`<56WeyVTkEsnRU#5Z2ex37rXzn4FR*Tiw6?Ib}RiQ7cs8_EN`{yjHm+4kYBj^+YO zJ!PbbhOEAD%9W2_vY*ZDX)unfF7{YObwQ-t1$_JV?Pf<Np_tBVu>1uQZfO2VXO8XW z&&Lc;=|w|cyg1oV*-{teGG8OeOjubNPaERu7u7(lzJ7hIQQU1|<hre`t#I=`@5<~K zQ#rk!Ze!-BOe@RpO!><WU{gFiJZio@(GQ>()h5QE91hcVmw1(k#W!C&Yu!`0jF=ib zB+-1Ij6yqA-vu~LL38GkODNm?NIfI23lx5^bAKgWuh*srfhe&$!P_X#%fr*v-96r% z^s+AQl*-`r2jzI)B5G<WDXBr*+)>3)i^eztk<YsAY;c&&w;Fr-ruuhsGLb_C)5RKW zS8{G%B@mw;6E>>)<-%gYqhUJQ5KCm@(#<^GIs&9siZ_-;g^`iLB5+(zT_fSeYvI7q zP_~1#+O<J1(khe~_$XTkFI>1_D%zTKnS?Q1TwGBpSqFJd`0fB}09=OPU1_bWD=XQy zy#}Ke^MF1EVLK*a;dU?@K-gY7fu>RW{l~=+CGyJ3PYu!}UFKri8UbXA-$guDGK-3e z+HC?rt~SAh03Q4v{sO$b^KBn*%+Ag_O?9zdPSwX&zsI%A8E8L5`1vW^x^>Ikd<4s6 zv%<A^@7_aiv1}4q#P81-(g2=#qp8M0RLjPOhOyQ(#BUNf6-Z-VK>@CpcR9^q+4{E+ z6)PTABSklB>-HUggHQr=2Sx5G9w^eyg0N;BCUn~fp;#JXROYMnTIe=#NfJQ*n8DLL zzq9-WW7$>J>vMw@*hGE24P{&AsdHnT(vAn8Cm#K}yLCH|<@ljP4r5JhjTJlq2g5AO zW)iH_MugXuY$4aihgKFwGj9F-a_3iV=!OPrzVCB>`p@zpp8FXjk~QL=zI!*&Q{=|2 zpW8P$*pzxzv?@Niv9WPK@CFd%@4p9CuOrK<WUi9KG)Y0sWzKkWW4)jK1E3GT=Zzp( z^3ke9h-ei$&*E*806c6Oa2X{WPkN}}XuvnzSCptzZF_s3!pk#<IJB#?YEUNH^X~it z8jFjI7ub&)2_HIr*}}r2z-e0f(xnd>8A;f55(-X4Zm|6G!f?DbEo$^zOiWC;pshA| z18BfA21$cV^A`qbwk^pzfP!QTpZqgd^V_s%K+^PbZgOe85Bd|pwJ_G4gi;GoA#q%k znZe2F;?=3?lFg0rv=Ze=G2s#}+2eWn`M<}SIXF2vB^kRlmRDC*!uTvc-Q9}Bz1+^l z!C?hLDIp<|qL(AkeJ1K?n4s-(O3HIy8}1;@xbh;hYttr>;j4c@K#j&{gv~l`qC4LK zpNlQLjUB|ZP*6~W^O`*sBLbZY5g}L%amR@(sS4NL%xETQE2XujVa0k1U6|#A4$z@= z1HBMfq^H}q{7BHIV*ykTh}nVSD);nQXkABblw?$B=<--nnyHD&WLMsNWiZFo)YQFu z_d>p^T3U|1z4#c6!}RPCFicuL^J^=w{AW-Q#NB=~F)_7ucJBP=pG@=mFZRjqxI=FW zny#*{wY9Z_R8(KTex2?vxQs;uWchZdXJp`&f&P9mF|mAyanqHNkVHW0&EDd5QrRDk zeVOk#IW|0OTEkj|qJd&!+f%56h+t6)du4F={gp!J+la*K!`BNv*In)G(xajb&!7JU zW=z9*rLV8=2ksJIq^l7x;?l-{WRDB`X~RH7plZ+Q)C$H^r|@g-M0IADRbb9)8I9o@ zifo)HO>}g{dg0wBvr7B1riuy6Ea(;NYC-!=0)c?F=UrvB>c~v2H(wigCds+UAI@iS zilIn9&(1W<rYl#C7<2B%w{ksHk{X^1AZbYO5ZfvW6svpXzZ645xb%DlUn#y8QrlPd z{d;G7J1Xa;!O<uY4O7IuY0>!uejOW&t%h-Re8Qrln{!p%F00QEBOlM`bj9(~1_1bj znJj>Y@?;qq8D%>CSe3X=tSW2R%b*~p?4~qBLt+dzJhb_Qgr6AOdBsOj=WaY|zj<nw z&tt{DF+fL0r?$2hL8tAddW9p3*JRtaZKYis0N<*&rKJ#s-?4H~n*=gJ6eBTu5&HxX zh`6t%O^F&xP89q1=M<iqXwQfrl|VA^yCr<CtDA;QnA_Lyd3kZH*=eHfdj5uegop$7 z+qOI3q~j5QBV4@T%$&x~{m1!g>_Sefo#N!Iw$ITwtK`(nuAZPQg8+=>k2gm4-gb0M zz49@-{kQO);Y&n5rz!mmjwaj?0Ao>Po=Jt*q%^V4Zs<i?@d}s@_<v&n$Ygp>4%CtB zy{tpp2N<tHsg&;F<d75TG_5=m@C`_>KpY$#j8VS@{30@W%zWNy+PQuEb{X%ujCH?5 z90ImIV&jt28dnRQ)heqLkIsIz`1!@#w6ko#LgOees3DM%$h4P1qVQS=ImeSw9&G91 z2Ytw)K~-nx+}wSXIs<EULFZ@#P>O<>2p$qa!MM+g-(S2bHa0fqXnHCtDy-diQ&42+ z3%1(F2+#&dZmwmtQyiw{x3r(^;CI<Mn>F1KTa{L_VYy=T7<m{U8(UUd`e%8$f)1MJ z6eFY3I1R7KsZ*yEck**{b7v?>SB3KIcyJvcY!{}uYtJ6Of`78885p<;#G%1r70Go? zVhj-RRh+$pNcYUouXnDhl?%-A7NRz)m9PjF4ATTIk~{KWIaD1~FRQED0e(wjt8b;e z<)9Qhvc@}YOQ5Kh;7$w%jbQ~lv#e;SsHmu^`7E1GdwFdFGVv-YnTavTM$}>eA_pt0 zoWauPO0fhIS94pM0wOFdE;`uR`TF>TLIgF$DpUn?2%@gsUoStukp<;#+5G<P+qYCK ziU*cHUc7h_@bu~4c5J4l(q6Ci#g|M3d8cnHSdrY@1HGQBDT<*y!1Ck#mQ6bu+-Hy- zeiW(%A~7%!RCvAVT@Wa9<d+kM+F_H7H}CnHr-EUZhEdK9Dqh&=MYVgfXjIzIV_Hz5 zXJlj~;xx6^)Lq)fc*ow}`p28kKfgXs)6X+<CA({O;p?NlU@kc*pQDZOemYFx26eTy z$AxZPgA%&Okm|L$0lqzlY-ZO?xCQNi9PwCRYz0Q1QXqzew8X1K!DHdP^5MkUvp>qp zh9G94B?>%Nv-K}JJO2r{E!KIjnF!oTg|HBbxH;aEf-oCzN^C^^Qe@3wVr5+#ZT$6M zzr;vSQGr2P6vT+MbSY{#(0q7eq7Y(fZm7x@s-rT94G}r@<L!g?BrR7c;Ak1Yns7lk z7Z+gnorRJ5>7pfrSoz?NOpA95qX4E}xDoj5=GuInQWzhotv<>-s2vu>9VI_lP(xZ) z*3{UT&!T~;bp+Rd49~G{KX~8(wANYIg%L2L+=2pbopk9QGpN-TPI9UvM_z3Tc0ADt z7?RTMZ!&f~W#{0K0%rpX94N5Zpujye|D!w!WoGbBOva->Y_Y{gVJlCTd)%g*A(#31 zG9mAF?mKqmoDu0EIW!Xv96QG8cu7g=&{1QDScR9_bB_u|V(VL4TbBka0%^Dn_#!Sa zN(BA6d)mljW#Oo>o$-|`ZKBhKjM)z#J?dz0FM=~8xi)k00=<lVh<oa8^Y_3jfbE}Y zuT4FO2&CYhv8F_51GUHd=u6ihL8QU`>aD4<sgIVyy4<$2%lBMg0f|xC`2zK5`Q0;# zx!GBygz~_*0I=H-Zo>_f0LRgWA(%9AR=uy`!6AAP%p>4{D3mV^J@Zhw;8(z0nkIeu z?01Ilt}g5W4VNyT`Hwe<$yZM)!BA|A7PU(}*B|XU+K<geVgL;Ck&G|{&ndBohGH)u zI!SyU^sgAK3H!W?tD)ep4~N@Mb>^s;j3wk=eQzIfMAR`kCub>A+-+@r9pX#Q|Hv!| zDjYJu_+}<TWp#CC9G!@$sGnTt9Ggn(Aiq_My_1uq{fMfvva(v?x%cLFlH4cicY_>l zj%_-CJL)gdEDumJ%9iVuc2@Q}59|$I{2AO5^wBQPKNjhTENB7278TX&DOWs7y(>19 z2XsM+>y>HTP$<v0%|(h?_kz#YW)>Gy^z+i8m+`sWxeRxI?dqUJ!;<3B4sxT0&rrwg zw(W&38T`MR`}(fsJ-PIR)3CT};tA}MKqd=#rR*t(1W$sn80V{X_2MM}m66}8Z^E8y z&W+vu0|R9zxVY`Pk4ukrWF?K>L^Yw5%-^<sd(G1`Eob0I#L81#-;R5O8Id`$E6you zFq8-A4y8$CLN+Nq9BWC@%eHP$PEHo937Vas&k*ZhTb>{4E>#Q#Ee+jwk%U0T>CY=c zfSL*nuv)N8jvYHz-80W@8dSbmKKg}CBd&ZkCN9qRGvA35pE7NIN3X^;D#*}gs=bqq zQ@UF0p2tK$ZobTURTJbg(|0dCJUl5Wsl7psQP%%Clf~!zWb9rSXI0LE4`)pF-x;;f zClPGV11c&i84h8Z2DY}9_Cf-|@u58Z55kp;50om=-*)6@K73xwHFyX412K(n=6uSp zh3YF`)MkhBfUxwhw`||BN0qJZ?Zur0;-Eu|alfn#6u(mMO~$xpQiaL+T&7eSKZb}+ zm8%<9JX+7l*~>}_R0SejQof8ylgglv85s&HDmm$%gMoj)qIkYm6x;^Zh#+kM>}+ne z=!bvy(KIQB0x10gLN=%3uxKO~cb|93`tR_<@IRKJdy@g#_l(m&MIE_W%|aiZ?=&5W zhsP4M+g<G+Tx(R3^w|ua-<EVaEo3Rrc{VyXdc6MKV+);GCQp0&%t9HlE!TgiOWqz@ zgXdbQS8ZAe(pA>eQ!M38Zd#&V7W;+4YwhjATmQ;dU!ypGTv{xp)12>HS(z~GhTPn8 zicjnFb&@TwnK@Zw$z3AY-gzqBbdjJA)sJ<mJH%;PNu3H$<5hQ`dOjCR@sg21;s;oT z1Y(?Wgk??OBw1NwV}@3eHpw<{U$%q%@}0<aej)C<P;MReh=~wa_3jneFv%#Vg4Y3Z zNfJ&)t_}?`gq9`B+e^hLUU{;}#*-!Py2Kd7_^j`#Wwu6$4z4R7`V!^N716wajvo^6 zQ?e!~C}<?cL#?39Zi0zJH=I&ug`ITp8Qmo!Q=QKUq)ToN$*Vgj6(1kJpI)TNoG<Kn zKO9$DI5Q}j*qu!<S_PspA1wr?7fOu2-l+}wxOsZjgoegOF46l9R*Wl4(+md>9>g6( zh2YEN<bXQj9TO&ADh|lJm>8yv0O&4LJ#-;VI?C?fzmHPJdNV_T$Yg4SH-oASiKGp} zWrOGi@8l2HoI~(<&6d%KI!?S2z7tni55l>y?B(RN1V;)I+ZYCYoJR%<AJ#jl^8}r+ zU5teW^quI<u3U6Bm{?ebSA0W}lj6=ZeP8!W^64qsls`W?|EsR|<Bi9Kh2G4wkJUv& z{~;susq$EUum|oXvKSgJ<g!Dkplu|78uhvLK7p!npC?mkDUfMOp*%AF_V|XX@k=k0 zAkqxFUKgNbqvSJ4xQ|RurW9L0M>T3Uiwb2qEb1_(2?~PDlaZ72W3oVXOg?%}>#%ke z)hu(4d%#m6IUUc6qQXM(jzA)j9WwvK-n)xC_R?lzFTuM|N}#UL>k!|xCGOq5n@uM@ z#vrZ4ak2y2gqN4ss`<Ui@31fWSBqSm=lDRBu4ZuE_~w6Zz4z0nPk^WLug{%T`r&hc z;@_e76SVDFLsJB(6PBubiqP=<<VBM4IoX-x*Q&aUyJ$f@O2T7sGX)p}Jqemt)AAke zN)4zB>~xu@S}X=sCs!vj>L4SEO{xyV)EmE>j@T|TAfbLnj=1Ms1uF^qU^iK%6`AVD zt1^(o*RWmLrz$B~LK0qGxiAp*#eR;H<e1JEYwhHkIT32#CIb+u)U+s$D@-QjmlYKi zQ<L_<8mkWD=Qwq$A61i}tQ?Y46@PbOVFA!U!=at5%F77U1q6Zj!7j+L?G^BdjUKAl zb()D@)REe$Em<v5Jr<tx&9)CeOE%YS&CL^F<~DM0X=rFTh(rv@gr7KU_5$WMWIp%F zli=zUMh6xb7qymOgmB!hS@|=2BV!UVObqg}qaYP-z{2f`wvT|LCniFq=3DEyRZ{{b z9UTYvu4Yh+&9z^WB^xVN2=_9ILS&LXenPm*$jDR_z&gDR>ji|6s;U%nafrk|&gh$W zWRAkM=cJ*fp-F#D?yCs)R+da<6$CFDfdj6gL?BS+FeqInW;dW2*5k3%9Y1B7ot$>0 zX|PKP=6X24l_SWRd@y^_?+z=}G755X9*<!eu~{e7cCgEa<Y7oB^ypsQL~5O@ns}m6 z1iGwqGqd`1sKfQ0J0IhTz~LluJLUXrj2(`PV_F&6KAo(lHoT15PU^0fZOP0;CLciw zG}+4a>^xpLo~-y!PC(J;STuecesSh<oYl(8pFayz-EL@=#Myd&2nq{h9|{>hV7E?$ zzcPj8?ceGD?3s#zT=m)kL%XUdt$u}@%VYYptMiBqCKF!+5GVtf`9FUAKu&o-dXx_r zenntN4E{;LS}!nj5?giY(vyaq)+T%;Md!&?kJHv@TcCal-0T_|A7AaTO3Sk86gYjl zeBmeCxh`}ILiY;xe<!uH6a`mSSHruTxM2tz8AZ3x%jNC!M)!jALEq@84q^q^4j>s^ zv7xaMz1{y%r?d2|S&ize_>59O)zDke@7R&LgDv~L=X9cXb;zpAZf9d-3qTj=(j`!^ z3oxD_vZUn~tGG*oY{PuGALrya-RnA~LF%Y1&;NRfqK^GM#IAYZ<rjRBzprol@NfDz zKKHio#M20(FNn<tT4lNOX?iCmS;@*mQ|YD>oEq(mPwWt@XJ97CD=1_Pw|qoRTBA@M zeR$^4xs33GroJ@X#o&inCNw8ZfzM@rG}CP#2mFunmS*{lPWPZi5{pa*SDi;{+KXI; ztqk(`l2hm4p+hG5oj~37wKdbaNDlx6I&o+l-T(yP@gO!b^o6DN=(gzpI8U{G=f19N z8$B>&m}zwUmc}C7@2-WWtg+r~^>ew>?*(&lxkj*;WO$(^f<$c{wMR0p!CWpKdiUol z4L!Zb@|;OVSj6ks)!&3NZd5$xEzmr8ImwRBI7Dz<IzFV}!_oTecXH1vxz7bvT+BFl zd*8>x?2KY&@YAf}8cMSCgg~L@@~VebLCVthUNw8+1NIhsT)%!Ds9j3}W%N0G2aEmu z{ML@2ayX?E6%rCM{^eMRp<M<gFC*jEFf%Iopwnt66lh$Wo%IVGl|~VRl+vQhM5`~g zwIn@;J%APF=kLGvXW&`$w3^NUTJ1(HS_lwwxf638|K}{gKx^QN>PUaT9aP(HDi&+V zBKX<pfjQo~wQJu#^qPw=^>&qb!AAM|cz?LWp_9(e&ab$1qWP%9Y-ldNZ5L8cHzrg` z#vw}d^<S^3=32F$sVWJ7{P^(-gT@|j`T61~5$dr;*D69<2>Nq1rbpUY(pm>)TtZH; zy}JiLjD?BG9o>cgiaRIIovY^)hZ1CqP=<XI!`G;Yc1y%iY^2WPJctj7GN?qm{?grz zA1hb%vhK2=!0_9T{NOJB16P1CEiI7)Sz%{qXK87fN(d!YYnoChHaQ+)dO2z7!sX#` z6><4nw>~)68m{!F9IB#d#DdEo7Bt|5y`%ygDw+F)v9a+Q1j4?3`})5XylEUocX|8l z!whRI5Rr-By6uPk4LB!dj9EPA%&sKAzahUzEyRaijM2br-2pZ(luE~=r>Y--Wc-jT zP<&AsWPmP&9peAw$p|zp9{P1egpA=Tdf#R>VOnimP`OXrncw7kC)mp{cL+ejp&vA~ zc%}b*zpg-Q$Sa$V)&x*2PMV%<3<^YSGVcghmIkkRZYN4vzs^r{?ARKLb-O^rP-Szo z*1EvmSRRu~phj$5-0;ed72p<3=T2)s<2hzYxS=ThQLaHS1JO1ZOuU}=-k@j&O0Klc zQr`MpxDD%i+C00s<Gn8exB5Pj6#pSD@<F<(;o*>0Tj$U0hQ(`u@WWiXa0C-!YQVO# z24LfM4oD`K-r_Z@J=XX=i2N(!AH1rjL9k_yH(aQ6_g~W*?E=)5G(W+_*{k+fv1=zg zudgf?X4j}2q*auuUg0y_P2`~!a{G<$bX*;|JQ3f(*0|{a8%*upH$)}$o06An=xuv@ zYL)My=qPjnN^1`L3Fv98V4vaGTic-pNmH{uQs>N>Gmw!j*pIQXG4__#Oas`JH;jzV z7#6=Czc>L);wJjjYbCBl8%PZzQ^o%Am6a9W*s7*b?NcFsG-*P?M>lh}Mep^ifXN_$ zwm7H>`?U89rcpS4_4W1WNNT%^`p>{o0$CIh5z%D{hd0hdP^T1=rRbzab+_#;-dvyd zg00q4;AEQ;&IkzuZx`g!39Jv&=b69182A<XBBdfEs>yX<;I)KD$HHYJ2nx`A;|A}V zC)qyyR&%bL=lCn^R-Sbo%-}K#613@IjdC|yY5G9irgK^OwdKC!V&;z5-`JmuUbU(% zD`OTCat8DX_}i1kLO#REM#I=HwfA9Tyoz6<;Qe}YYTnwxDebpXWLC0@%PH@co8aK# z&L(?HHYGQgpB2u64XUZBLDrdG{E4lE4~>4FOvVz`yYfG)t0WeN2M2M{C{cAO77`NT z16@VIgLF&KPU*m>%c4z<a)sUh+`7(cg0>n0iPSW;#pdTZPKJet>!r495r{Bc!EPMU zWu+tXWbgH!>oP#s)vER&+2Y}pLW4j<v<p9fzEJ4+?!$|q`ny;7MnIeA=&g$kHi6Nv zCRti;@7cY(J>Maz;VKUULllZTM0i+=uP#g;)WVsWTP`MXK|w*_KJE4lFMjh@iJpO1 z(<Qh)(gbKR+L@D9P*5-=e|ikqmx0A9FTXUadz6>dU%0z<`=A*~3pl~#fU{Tr^$I+P z!)NqgwKAeZG7BCGm&Uw1KdUVlmFdr)KbH+$$`)P(g7*NHQ=kCY>)xVA&d<bDT3f5^ z8GbGGI5ZL}i98VtCKPOF594y=$J@ljzvc_-jnYL-P9@7Ro?)D^UV+x>aUKXjzWH94 zp@K7lw#8YGm2O;1te7?KUM6S@JRnp)Qo|jVTaB-z=bBJj(Umgvl3^8csBlB<4}l${ zXs7TEU?(xfa~vHGUw{A1HLW*2+32%@KI$k-(?B-dSy`~iTkXOUwi<e6Wn_%Q+_tbv z*)(^tLtS|CWEX}-mcJLKrP+cNK079yj&7jKg_=NCm8ss6-p)?FLZ6Fqt>dI-Rh(jI zblyR4VxmSoNg@A@MW`Iq775R_+_exZ4fs9Bc#NMEYF7b^K%K!bPMRHGUtgaWG19dK z%3^HmW=~<BI~V=2V`8S&uVA$)MvCcpuCDHfn+5KP)@`Tt)AO2|K?Z4pO6+e(z_(CP zuo16PqUOZXk8uNOySuy5Dq(x{1+I7imLHgdC_P)`5U(jFIb0iI6&9rP;TqZ#zhOis z+FxiZ@!CYRqJi`Wj^p#yr`OIN;o;%YoZ6Oc(I`udDK9VAe+M{!E#{KGCcR0r<7_&$ zF<XGygO6o3H7PT-2O(YY56mQLZvQ~V)QZiOaqfD%QLolPbioCyBzge@h)4^_;R{^6 z$xmbacYus6fpqPm6X4|F;5c!j4}1+^%6E0@GRX%-*rT0L58VT0v%I{_41ZZh2EO#= zLP;%R%%i<@k+>f)4BNulN1#?H$e{g9gfYyYL4NPpe|&8+r&k;F6ZKsqUYYA^e&*;! zd*nQRTEGT;drIFKufpKwwu)Wyz?_QKd(Dr-qY`i4=odPlYaN;e{-yA}7>s>skUmMd zfNOSic24(}7<xW_k%(@F{dA89AOHqQJ6h(z0t{$j)ZzNqd&W<nK1K6z42?b%LcFGi zrdL8j0y-A(;Tm@yVJ46acR0bI*F!OiDBma;DDGM?3;?`%E5N_E#LElrE~t?JS0~U4 znxq-iC^a>t2O=4mXr@D`Rv$N~#b_B50j}lj@888P^QK^W@CngFwq04FI|-y_W*+)G zi*<+ULjx+voylD!<AVS3X@WXX^UhU;9(m9{l*(5_q~6PwGroz&Xf9&P#1-~2d<|9b zD7Xj+D;Fdli41f1JKVZ;1*0o?w9*HUVSVG(ONxqURzld4%!9J34hm^``AP(tFeV>h z|4*Z4fvS?I27OPS-JLrCNHq{aQTve@%(lQ~PKT)js4YZq8BBC1OjC3mV$(6mgzmqP z-QXn*Qx26#VNMN0UW*_bg4S&_kTWMwo`kexKytNPMb5EHNEk>k#>T{;iFEzTKev-M z(NlYAYX@q+4~-l&>*IJi!JE4g$CzUy4YFWp2eVKlYxl?=lF`?`?H|N5$(n_ORnqse z;ZDuU3uTKV5$A5mdU}qM?bsnAEF9Xc6*9WGg03vM)GXozqd9#vhVE}0M@?&Aht{Rl z;0reX4D28Evbu$)NjWbC$v)xMprxhF2l4_bDhZ*Oi+KuR0sVzVM4+Z<CN|)b@k-&y zF+vqx6tp;6Awv;7r?+`}dTOVJW_fLTR@vr)E)O;P?ImS&-oZjhkH|Bd!*x+57#V;# zX~EUe!2r2O?@1J0WjtJ&(P=Ct35L+iz($g!1?G!ha$KImjs2>N+D}12hehP4l1)~N zmi9qsfixKj3H>oJun{Q-4`FI-OazM>dkXi0dU90oras6wV7B|i^@|{cus`q+-rnBO zyiWbCCaH)+Lo{kZr!j}6b4Gh;Xs8)keU#UfG$ROZ0rR7Ne36P(x!P<8J3BkcIDeto zvTzhPa!Gjom*nOP+mCCA57M`ty>|CCX~M&8am>UK1|Hj~xVpBpZsoEvGaZvOf#qzN zGSz*A5lEO&)*|LUtieo#_qti{M<XG%_U_v!K-VK;KXPK4)D1*NR|@_nb#SvWeKb3+ z&;lTY<V2}5tv-_HEG_+Tbl@cz0T#?1Qy$EOjsmB&!tk7&91L@8-Mlx`A1YuI#zg4X zs`-M&(X1uCllt%UCou-T_<PM_%qtOyBrIw&Erieq%K>jZ+kIMFld{o#Xh&{-eyVO( zWn7)*6vi{ouD1^i4`-X!&}Mj))>tlU&;@)0(7fu7m|0lRPdD~4SvPI>06>6un3$M^ zPMZF%Bw+dm!<?+l%w_3Pvt!>uPzP7veeHsG%}hY%J};E1&G==B2}YwFSQ7*y^??I# z)RzIrf1&c3D_v9Xo!P$6+dqb1+JVwpmYMAQIKPX*X|lsac(Vjiik0H!a=@r!mDv+_ zcXu>C&Nv=eItZioW{c+RwQj_jqM+|jYnUu^hwI6Jtfpa$r?uWU0l}3hd>1K@{MYku zBiurg5<odg%xb+Z*Qkt~Kt%AF<*PC2m8?#QX0#6NIdb*{2Cj;}#8>kBuqcM{5qfL@ zQ0g~-Rf9Z+D{phMvkSwx!;o63Asb3mREkXGlNYJ*7}!^@Jhh)&G0B5v{uFF)v>rr= zP8WbFNg$pvC^XMkTl)gMcsBZDU}A#gHn-o}#T#dp5PEK1+1E?}C}yeKa_y`?y=aR) zn=FVGJfW(I13MnPh3kSD#44|s4;M@Qwl$|UqHu78`n!JHyecwW`St6?3C3aHZ{NTF z$|A5+1!4e$Ynp}S*^xav8q=|PL4TVU{azRev=okrLHRMg91c2??!NgVDykP2LfO9l zrEB<gbr`$B4g1XvkH!G7)|X5qVLEphvmnqm$k$KyM}vTg;fvdDe|CW!Zwx>S(r+la z0b7YmsJ>n&guVfR2qVuZUv2P}cA9~W>*WeCr>;G!X)}rV@05l8XljzX<Ul0AgT?^S zt3x@3EU>AwhSXpu4Pr_dc;KGhA}{i;tcpVQ#Ky*|?Ss#K<Ks!0iqk0k%4oF0Yd{Ye z;f->Lk2XUZ%(;{x?ZLGq-2Z&Q!~~Kk`?a$5*&`SOh!S(@9~?B!SG2IVUqCZ#a$*7& zHQ3^0W@aWNE5^+mtw<|%3^fUy0N-*G<`9M);IA@>yJ{A@yDYELqP@N2!?r&KePjae ze`d%i4wIszco5bKmE;Tv-z1lT;3^mr$*bWu&>xB<k$70NnEzgG8p_4QDO8~tlqPbg zf)03l?9id$*RLn0rix)7lx%Kvc6S%SL^0jJWB5C~`=yC?xV!49`g!~4MXvNP=Q@mQ z>*|KBC3;s^E7o7kNKc3J+l67ASqVwr9S?qDKmr8>1p@|(ZDU+OL%1t9M*l!Do0>FX zeq+7DxU4yi&CD(*s+XZ*CL$81H$--ZiD?k+c6vNJkgzOdVZlDwDahHy#b?4rTe}5O zUsF48TIyn;_*&EAD`;)70UZ<<bVwO}Jotr~v9V_ImHGv7Y3MqvUfjA`S}V!8!-Nuy zAfP>9nl#)zB>4T>SyGP@HF$J%6cL?-S_^78)a@^O!`;1b=)^0ihLDiqfq@$<HD0LG z5u#3tk2ByH_)0{#jxSAi(l9Vg|NKdL<cN9p)D1hkIV_WhyL<KF3r*vT7+=nHo;AX3 zGUzu3evmb>b33VdczKgF6Z<D8vGNwn52|rZ*q#)JIsd?sKBJ#|3+_gdL2vHu8?g>H zb4*D7(WL&LKTmqKp`tLeu%J_^S3DymF75#)g$Bsn%na1SgCREMH9s6b(6SH_At#NC zqj#azv-@<a6sg}lSV7e|E;0@ei{xoxQ~4wK4^UH6Q&LjW&|HR2f+I%i9>FlcFUit* z>@6+dH$=aU`*ja;3SV3iFQ<Vo>p(p~6v2dPfPYq1utX9+u+|^$rYe0#px$eh+KBvh zLdv2;C)^qZ>(rD?7xO4I%L`Vmsh|cZWx{E9+|mq7QZqa9_4C@eSXsYwI&q66kA6pL zN<a&{yRV_lRw6!N@9DQHR8~~@`1+CtU9pzXN00|fPF1zF#kU7!eGW2LvrL!Ycs<H^ z34EsnJ+zlEU#{63NJ-sSj>kf)WBL}i1RZ`Ak&ELR87EcrZ((Y)eS-NxXlN*mL8_AL z;ChBh+FTj&p>`xX43i(@W;U3v>Jfsw#Nheo=QGI-=gF*AxJ-3XlG7Nbic<>T=CZvg zcSkw@Aac#{S}!CMz6pz&{<>zR$!ZR9g6~-d&*brFcKzvU*)fbZR7j5AR_ahMIR@$y z113U8woQ18&AA<9WG*f);_iP`doYEHVF#<W_h#QQxPm!(QWwwRV&oyRww<IAr~4Ek z8nH8C2YC~erVn6f7LoJggVyrNxLZ{@Hc^zDPjAl%A3Any0+t6$_b#J2MVNArQYxR} z(J`6oB7Y+J0>eXJ5bp?Or{U_OE`G1r=GP1eo-3pAAd$S`ikb<L5*jS958wsQ&1)iM z*)sp3oaxf=+VfeU&W)iETni)?af`DYBNG#x+TWY92~ZlC0kuaO4jtWzfbl?igv-Qb zn^<Iybix2V7>{Pp>Tgar)73ugue2Pf;l02>4VWRp!)pD)MwoDXE%dXm??l>YIPQ;* zP7h=0AD@1jFEi%@QO(cIO{gC8dT*A!|BC<;7WtK+nMhm<ev065TOy5&)Z8qQq&Y6> zNgCTQG&HPoG2WzIxIq2!_3PJ22RB#O$_!6ZgT@e+P*R%2GusGEu{`znhk=#MpEh0_ z%;hnYXb}#Dh#_B{4Z}{|9fc>z86D&q{z;Z&_$O25zy3A3NYnVolmGAGrcZu8F?;_0 zba%(4%D+EsF~9r&zx4m{mH2dFe8+iS1gaJ}EZq-hpPHM+hy0V7lf&)*U|U@>5|zUn z@tvSf8o_0+hahJ2ZfIyowm33l3xZ)4`vbHtNQxx2<s;xUve!>cSkpb-Re0B5_MHtG z4%1veRzGZc?^lrgvp1sD%%=ZhXdKJDxrI*y)1I-<KVLgt8L|r|fhIX-)w56QZKDo= z_Gb4+C3&O%qr3Ymvn#SZ_Bp77{AVbN1nGOfn$S=Ql42jY20mXSr#afu>#-Ce{~1Rl zI^0$JLLD$rzb&oNobRx6#HW&A8;`S+MT+r_?b<2wpS=YC^#`HCfsZ52o(uJI@^4{` zzo$NS&gh}KImq*}CDn`~J7y`=6F_3v$>74q9RxARR3E{4FLpBeW7KjFG0z`-|5HXX zG@krhm_n*-3z$NB-xNwDMjym!mk0cNGX^InlBp}p%Ri(jpTEQIp(^9~jUK*3coq9m z%yX(=T3<Q*L;t$}gE8z~jftURb<ozo;rn9?;pl(jc<=N7?U(L8XxZy58_cPr&W6gX zc|=Y#(GmVRI~khEYP)Jac7w|XOF=JjR)%Z|p%t)Bphibdl^m))p=lHYn+I#Et2N1E z<KsEJG2Npzrn!VEDh}_KG{ZFYv#6rO54LH~EiGLpM;Sk4qJV=Ekcc+B#G66Df~D9Q z(7}PFca<%s$7MFn9^Oi<DjJUD15ZREl-V#8p+%08tIh2CtCpUQcA)Rt>ND!amJaP( z)vwNF3+$}p2%df*Z^jm5Ns+k!aD$Nf9R~O7=QMWwU7z#YnN0q(P<-dr|F>V-rz?1# zmsCA{Fe1>LZ8<s7G^Y=1|B(p%kC=lPpiF;T`vudNF%DESwtfG#x&ImJ2_Au_36=sE zxJ=%hqIWsAc4Wjn*u0)%_ii<EW+tWt>IqDWsGFluEn6Hs0mq;*f46sSZ*On*eN1?9 zw}tc_HRGeT;Yes4B_DXheiAbs!6G;>^7bI)Jc7yXTg|I;7uopG+KIN_P5!(F>7luj zChykd=7GkN{6cU2&O3H?K~nqn)p;mC2<7?Dy3n3r+y3{bH(QDSt1s<Lp?h;wR5a^h zkZa~y^7p4<K;LWCaRxxeQmbzctl^Z4_m5*@X`01cW8yd&nk22Eu5N9vh&ICBSaKD# z(Y2xtJr;x2N5E!O*>WwL**iP`DZGTCFs*2qOq%2{PY=6W&2%-4+GiiaiCTfnR`VCM zfRArKjcdYL`fy4j8nz-O1EtKHv-uZ2+qxpXlo&LH^Te$-uaNoun-BZnt90u}{?@Qj zOnu7p@$zPz-Di3BNRSjf2=CjaU(UMywhlH2b^ovU#!y~c7t`8mOl)ks_E~oJ_t*61 z_K2XJB+tjkr^%)XcP{uoCQ3BP%f5Zntv}P(`;`Qd9XOB?Jc1d6XzDOnsFOBdC@?t2 z?u`z!TK3@41#|;xWV6<;&sM{A43Xz!VTt?nEJ0#l!%m9By#H?C_Z{VjGZp&-LoJ%* zq$3Om!ZeylV196MeqO_;2aQ-Z&1`EOY}^&O^;H+hsZ&;jpTanQBad#Pq!u}eMaK5Q z$hzSces^=Ux1>bg9?VYuBq(|84-|*FW)?EY9!+vGGO|SK<iAgZBdEUxwr&Q7gv2>e zWdaOr&LlOC21)h0&j-{rZ_`%a{Qcft65etOwd=14r@7|1LIowIti0q(GwIY<|NEi+ z-@E;Pr3s>a#-A37W$#G>5vH44@CYodWNMr}(k2gP(~yl-4mUA1JuI6A`;yDwaw~_! z$d3!mf5QU`9GO4|PMs*-T(=vi+sL|)o!F0rd3zAE`0v$6{J4u%$w>zkVr$W<N|FW> zNTDXj8ELkJQ&^1b`*#;{UX|jV?z?*Pi-{!7BmEZyv_>DW7a7DiCN^1g#$!YgCS~@a ze|*owv<;RbH3ZoJjK_FQ{nalO?T^0pZvtfB8;9*1Hjnl*q#m?EM(%wJ-5o3f7cb>M zvC$C+?Lub2s;Y{UH=-%wGhS$G%CS)&J{(8w3a%|50sV`b`X&P1N_KCYy##D9w7y!x zUkadjK>E7?PDCP6Gn#!My`-c>eFVo!wGyeEJxA?DVxQNWYm%dxp%|;YD3O2zcvwAQ zp&3Rplm!FR47gTF(pn;EHFFwf*Vo84y8q`w!pH&#kkwBM3+u2APEDn%o2jZkmv8!f zVKzz#{Sdank&y&-)|u$U|4LL@=6sBJ#i|1Qf~8=?X2o6qbmte^cJgoG>!0>U+cZJl z%+WDhUen~*!pw{+d5U3)L9BA$vKAaLz@2h@#@nDullL_a+v-TOejMJK#cgQN#VWg& z&OiMhLp<&ftoCVd3=zaq^BmbDz;F&O=h^pU8y?4wQP(|2$ZN5+MaxhGkDzE<3!R$T z1}Uj`U2}Y3;2kxs(5*M>=A_d`^+(?9LjAtTECSE*lvRbs(E!<4RW$3h$Z_nSTI$Z- z=mSTOT3k%Tl<zj%-I4VFCiM|A@4ov>1q0Js(V#V&J|XN{@@&Q=_(oe)E3vVvN`W~a zb9cd~w}i?wbmiDa$zNDZ@C7#E!C#(9QJ;aH&Zehy-pX&&p~=SQGB=2ltIAirHm4B& zP6nKm&0BMa34u5<k(=iKE4Z?CBUFlkQ+|#AKlJV2;3EIcYe?A_sfH#?mby8tAa*hs zM~Mf;(a2QC@S8;oA7`3@>nL;V4>&AAQW!4KPUJmt;)J2iwz=<Ut}=(ccyV1X3oIu4 z{uq4VcxvQduzCVqA$A80)eGW{228(y|CWCX1BJsIGpL$lB#(W*k?H&`2L~-5QqQzp zS3Ln7wMA)*f%(E`GlqY^_+WUvliU$|c1@3{0!vbz9J6^z&=rFf==KLop#`YLc7&e( zDj4fkW8)b0(@ad#Y^0`Aum~Evk!b>3xryj-a(GMNv_b3-On6en3xC=qc@4oN))g!z z5|Mf!Y~I?1Qi74sX{hp0@M#a#ahAgK|8tn(4@WpeJpqH!GVMh7e9Tg-m)9zvV<sKF z`(m;0S_=9AY~BDr-*o0>d)!j&4>Se;;sw|1;VmslK>4?%KM)by2S<_Ot+4kgA)za5 zP54s_2uK4(cp=(87_4UV#^%Uhh)_0j3n#yTMGTe#r@Ty_=taI*vgI1Hq@-kULS?Js zI^D?hblO3!JRVLac8^;aOOZdhSeKx#N{o^4Sh>=8w*22*3lf2<OTdXX4sVj>t^VWt zcRA*jI?2tpp1AuswwQTy+nWSLqx@S;FeFloA<pFOOP^3?=Txv@8F2dxpD}LtzDXD- zmE5y-e}J>5L7w>RfmKWL$CQrf91_6(Kx0pn+?7;tNu<-3%76)T!1ejNWlo+xeTfZ! zRYat7Oq06}{pHU0WaOn8Em>MCCn72TO}zPUjrJd@MXK&>LBYYX>NAj5?Da6x)YwRk zEGt^mM3hbTddSTV)%cb8Exw=7K@OIJISiF)Q1t$9fmJ`v&#%R{fKxC@O^H+J)(U7A z;9zC=vt86rFy3+6n>6qhd><w^dp+=&%^OF7-cpZs<z>i6jI9sh5H@(qX*DUfpcgOR zs<W#81JxERg%i61m+A0#MyMhF0&N^<17!8WZ@j}`1NAKB>^6}*!~W{0aady5QftKz z#V1eq5ZtmeGa{o8{#}Ai;#X^l+9_f33&11xdJLSkAE?|fDq2?9i80S$sjXYLlIq8K z5{qCSBL(c@!h$9_NENJ*#zw6%{23OMO%e)Y;!cx%TgMpAC#ajlh+`+i2&ratTG8(? z_41k;B{uto5w&0u_?KFs7jHl&*mjv$wYIiq-xu)uXmcikrvaxi`un4)(Y`=z?WrU( zLH8mPPDpBc9yru6qjt$dmHEA0=`)FyOR=?BE&T3^&;MBYt&2h{AxRo1y|kkL<^a9W zt@HmyIAC>ZM*oGz(M4By54;?(<e6!ys5FeZK0c~9Z_3|&eyiI+fS~W6Cpej>>VrR3 za9Bs-uGzh)s3>_-SA)GCD^6p7C$b;yANiBP3SDS40Ekq#;E0k|G>%lL`W*IP(0tpt zUg9`)<olZ~d)_6yR7}d=&K3S)Pi%AhWB%t??kgvro#cCP;>>MjR+T~9;^E;k)u>PA zgGwaJ;_k!KB)NIuz+ZK;Et=#|o<INB!`SuYum0SsM$+jgPW<(y{*nIsp-(CvpPbq! z9XG|p6j{;=|Jfo@=2(!Ta#t|DcbZ!)qV5-W!QkPqXPa0*1$wmXaPjK-f4bn^|CPJ= zpZU<esH9$@<IlothV4a)`e^^yk1wuFe{Z)Ih)`x&Q=)s=*?uC^`hc#$t`t!Lq1Sc4 zs(P=SdHMM3b+O};uJrCvWkw%$Q;x4u(mgEr?>FiRIE(*Xz8U+CzedRaeKr4IK8NSl ZU4L5l9=jm#ihbEakWrRSmAZES{{TwHmR|q> literal 19184 zcmeIabySsWyFRKeK?Ms0QBhC{NeLxIKty4ZN-Hu!N|cgNLPA9p5JV=8l7f_ggd#{7 zbV@5AC@I}t=bC=|?B6(J?7#N@_BiK{<63Jh)?9PG^L?M^jw|j5?@KCjyQmIPZQ8VH z7eQWDZPO--&P|&(^K9ROSG0Tv#PBalLq$2+O&jFDVhR%jH*Gq)i6DDU!|~<lPbY(2 zZ5xXlc~@jvjcIo5x=>OS+`hn@sbQ}8^nHkyZd&Wrl(>*qHS^?Lt;?);dDUk9ywc{q z((XQ#<p_A>C4aoSc5U6pZDQ$XePOtbUA9v5%oM{+gqYoU?MpE`eY*kQIs<-r+yee^ zTob;ky=jxr%eQae{>Z)|<v1xl;<L#y^Jn2bhxyST+x9Ru=O33oCuaZW+vtyMBSXWS z^zHYL5BHQl&Aw4D=`jAXm7X(SzUtRfneV}wrNL-(J?f*~5-y9k|9p$>$hEE)a2~9S zynp|`_r4RmnI$FM7Z?v7bXr}UN=i!Vv|3!8>YbdNY)Vv>a+;Pkd3U2eD)Q{TdAvF` zHKnDkmeJ<Vbk@0&#HJOxiLPj(XvGRwt&cjZu5bA>|IYcxJM$c;3?;{%aif9k%4$At z)0HRoolx1ieLIIZp(`vbthd}>|Kr_SmpAsNrUR3|ziOvnOD2?FI(^o4c{aOVvg3n| z(X)od#YIWiWu=#*Q@#FDCy&3Hm~&q1uMYKRmU7!zcb)lzpP%eLa)^nExJdsGRl64r zOWCs{E1fO-PhJx>u6X|8!-v&&>$`X7we?-+aD{;bwG|bAx{EhTy!WlljVyFp<$p`M z7I=b{HEC6egM*T8r-+Ei%1is9MmFXJ+QWwnZndPi@bJq;MMbHos8AF#td6Wre%(W2 zb;Z+6lhSl^2fiykdL`%Y)AH=d8TLADyh}AoLV$0{V~^xs?wtn(OGpte>q~?4^Ygh@ zKdS_mTXn5llGSf4jQ@Q9{=M#di^{cawVxmSv+Y)M(y?eqMqvxb;bu-n;R5#!w`fUM z3row=$Gdm$W_Dk-QBxyT-nx17CX3uNdwYAj)F0o!+mE#Jii@|$@8)v-{N_q_pHTU; zBjz`5I861F7P#LI)6KU}W+h;2(hFEmpVmk?_UQ3rpO(64DZX``QXl%K{{A9-S5#Q$ zN7_^icW>UjS>a=<R@zlbx9>9Q8N{;$Qq7CU-q*iACXjN>+tOFtCo+x7?ZtntF3s5a zQc_U-`0>Nj)3YV%a_?AfciqZ(I<ZjPx~pJ)ZAClns%Bynfn+~7tXVB0<-YEcZCcx> zH8C>s@!o<};2p`8(QE{%+=UDMh3_lqN1XF{b>DyQ=x~_m(o5*u&wKSi^w`hNPU5|> zch*Hq>;eJ}Bp(V&%J%QySJxK0#V)SQkLe~T1h1_uFmP*G^j8Ik&?Q-Q7r6$WP#teg zdl4EM%1V%wl+0^)SzDg#>gwtV9JUvil9CGa5aZ@fb)Fl}D4dTVX4K!ayq*^mb9Blf z`Rcn{ckjMmqQZU9ao0qh)g_9WxANS(w<2IvmJ~Gl`}Z;CE@5He@$vE67b4MkA|zOI zYV+Ic=M&Q3+6~sVx++<UojDWAsXmaGdS|@z3Mqc1En~3Ft&~}Wm6f&pPhVxAo}S(w zW=UL2z-@K0U}C&ES^bo0&7Yqi7g95dxYoxH9y}OgZB;3hS6p12m^f(1$2A=gStTSs zeVm1b<<zNclj;yeQCT(iBGUif!BeJ6$eUlEJ!UeMV!j#QxN*bOH2>qrr_37c3c*|^ ztNM{Dp(Ik4(~RlT7mdBtcf=z<XWg^c&LHaL+YdcIcAiT+-GWK4(0Q)Nb>;Z+<F{Jh z96WGf5mh4Byshr%&$A-T)y-4A<sa>bNRg3ic)cx6cL9%q5E=d!`xP|<A4$%-ZfIyY z(wb)7`C)2#B%^q3zJtWNw!Sh^9m?nL>${VhIy-x1L*<uqVG#;QY;0^s(em&%W|v>X z!-w|oe~+cRJJ#;`<jFl}XP=hN&Q9?=!^T<Eg+xA*&~)i@RszztrCw^|@PPv#EIZy8 zxZKu}KfRTKA(V30p)fhbi0?*f(~zK`ps-cvVkv|E0lxZ*itlf)dwA|Tc8dH5ffvzp z!#~ruzp8(IUqSp%%C8jxEQJLHh{01cW)>EsVFE^`HDL|O>WSTMD`_{IUhC#sjs5)S zK%D>JwziDqQ6aJ3yLXR~k+G0yz4RVge5)<}CsMx4ePb<zSC{zlt|h7<KCx%luCZ^i z9tBqo41W30bF-_w{9yGnzd(b&wbD}cL>*Ijcz8W;-Z>A-1jW!0R!#wdsV|<?sK6a> zuYV0-k*f;fP0ebFJmavRM`yC`%tYUJ<&A~n4HVOn-(R1+5VjPz8>ne`CAYG&QY}U^ z;<7f^MngkGVx{LJO5}D}eSiDAaG{I)N><;a9s9U6lJ*`tl#eBwAM22lm8~f5u(Y)N z=bwMJ?K+f$o7(&jWnV(d+lMNNPkntQ?v92{X+B{k7{)Hqq_>Tbmn|zRO4qhJgts&; z88sAr0M*+1N0!M%SK;&;mtEZ0X^ZdQ`W~uRO>~=YSS2SXqqJLK;n5RnUNM}!7A9n_ zb^G>h1dCP%k-S=HGZ+01^_%!p@8{WjHi-Vl4jW~BS4&1^qDo|Y+=Zukc7rM}gn9Wi zYdvKYHwr9XzI@3_@bUBG{Z<%sQZHX4S&br}`X3gP=c+YwRTf<ZNU_1LXL}d+FrGHM zlx1A`-m)V?_JVWKosm|O35&_&-AA|xjp3(m*!n*9^o*2nQd>R4&22t2P%C29>1Y+s zm6e^Xe{W2PKzjJ_VV@_KHnY#eeW^c`#Cqq?w_|6|>hTa%RT-qBLr&^(Ww1NHrlRLU zCRb3)Jv+=vX#5s?zQrLEw@e_VXr`Llb_`?jn}+OrHgD_Wn+Xv7cz2A%nv9ekX7mXV zd}rP^KRIdEoD@LN$YF2T8+AtQ;x)0fE7@iF{+G7i6jZy&db)UdIQ8%=<R>;f)kS3e zd#2I0-G?iBnH<JDmzq?iB1LVE^YSXk2lFy>Hl=Fw5lHOH5v+VP<w|qIE!Z#LHei6n zw6wI!OK0d#qo#HvKJyB_4{);h=bbvRvn@k^VQMNf-v5A<TLCL!WnlvSfAZHkCnfW{ zckjx}R|IowH&eT$UwFDdP4DA;RWNtxNj;M7DK&O6u^&xMO=V@|CO!SdUvgQV6px5x z%m@z&85kbEnn5g-(4x;f&iqw8vTjlB()OJ@gZyvz1_+|OJ!idH;zh&7_SE;q)bk_+ z(Nl@)JyNSNS=aHHYy@$Ho=|k6e4}xE4N``ca5c-A@T>u#gK<wKipNtgFRVaYy50(E zOVk;Mlh_y5(>#YcS@Z)LrOb|}SFWwCDQl%`XGEo@nky(MFqxYlyI5s5fG%`GHOkl9 zyJ2Jwt>B2b{q4JV>uhRKm6^}n<&l)^YHG?xv-3M7)Hq~MAP^806;)M@BXfzW(fiHC z#l*aS>!4!2d-qN#FKr5_=Y@#1vy)RWpFWWo78T{zQ{oMngxtt7seW(qBMUW`Vm@~B zh?tld#n!D`DJXsxI5jPD?4qKgjs5y$k5uk+To_3ji!WtAPm5+5K_aOYyREgR={|Y< z_@vI;Pc1F)6hlt}{ZtygQ;ify8_5Iw*mYR+5>eE)uL21&{v-PYJNreZdpA{9jUxn2 z6fzA<OGt*LKFZ;OCL8N(#jDfRC!$>p3)=rQyeieZ^t;2lSg*iwDniJ7pgx+<wnU6J zP!6C(R)XpnBfr5Xloo`yI2ts!q!5(~uC_cklIu9tGc#Dv7~SXb@S$u4>9Ij<MMVWx z6Ai1ps|&bm4Uu7c`?eWcE@Dr)RY_U-EHLO;M{ZMNqlAP63glY5c}DnQ4dB5uj*~GT zsDMsP(YF2MNQZVlK6Rsxj*nP?%8!LV<1p^)=QlSsHH6l!Q)|F~Si*4<7~|QqXL=v+ zrd^7ad3MJQAaeZYN9&*Y{o~_Z@65GlVx`3t2!tOW9jxu`bNu|2(dc#G-7+znStTsU zx{V<jPZ1Z<96vftXeC{WMbB4_mek8K_9kWkqd1`q@Fsibr|W&ZntT1)wN6w?#b7Qr zHzR5+|4o!q6pr0T#G8v;?>Q~4OcZaFGrPaJmN$*{tTp!wP^_z~!y9+(-d(4tx^PW1 zRSVlS{OQ3z7l=f{#fxPq2?d3P9XU6R3a&|>$}wv=&ckEz`->+&hWd_OywNqnF7?<6 zt9Q+E5!Ws$Exm)%iVIDDu`XV_+mfRB`SWMoW#GL=Af<(&rW*ikCsbbYyT$DBi~(G6 zE_CZH^FuM^xE%LLCoD3u5S<R;B4phqq5o_W|FMf%(gnaD-*@<|vptjIN8oX1XL6H{ z3JA!&w=m8qV)Y?Ee|c#s+~K^pw>Jt~p6d!~!TTpq<i0-M<;NUILkbLB80%m-a>UZy zyd&nE2m0Nig<$L|85TT!`ZOcM+QP!Z%<K;;{BUz}Q?mMr%&VrRre<bl#>Vk4Ug!en z`Z50$oCk2gldsRzOJx*HE1-#9yLOFdDIV>j9b1Iv`ILdLE9YiYo4)%`QW}Et>Kh#a zff(KW`}XZ)W(IO3e>?Js?`lp(U0u5C%KX6j_i0BRJ_3d2wO=Y?XFhHAyx`Kcz$c!b zKZ{&HA}6M&7f=F$t(E~A{j^U?dj_sJ?MU_y8tTl;u57tA)R?fb*t;jNg-OEk8yHof z6k@a%03q6a{pNa`MSD(i!2+^7BIvzI^?m}W%#ZN|-wrA&!OE?G-sCJQ;^pI4qg*=f z&tifdVe2vwG^wH!qob!cF)}*kIB5`&=sqrgP(U-*hI{WJ5i1@-qrUr^$*NM|t5>}l z#p@9t_uMocs0k<iuoU<B{H@sCoj}rhqZ6BR-PH88s3M5kH^(I`tn3`_@MuVLhQ2;2 z9uzDr=&0n=s+jwa9&O#WZQGeM0M+B+j{t%WA30K3SQx#sIY8IxFlSTDxqk%SyN`a) zwB-;MZtd!lJbKii>9w-jx?d0tgDSTBW@Eg!jfjBjvVCuh%=z=R8PvFvWkDUXL7C~+ z<lG#->`lSL58ax8iAcu0{QRm^u$L3U!t-5)_sZ^Y5DPw3W{(_~y0bWWy_e^PH!a&k z4-Y@>YMb~P<bV>>Ws7ey4;o*pXQ7meiHjo@KN~M0{a6VRQtm~S^tYs?rLSI%a1PHS zr3MK0G~bY%sQ@)&BT((!d72pZ@}-5jxh}rkC6$}!sB=DQ<x?7+{qy#%enA2UcA_Q) zu~vTme9q)6B1n<MYC0)2FgSRE>NL}s{u`Z43hMnj>rT-l=w)hF7puIORS;#uS5CU= z9NH6&&jaZNv)=5h2v}0r){*uNIw)xD^=B(^?ujQ@4mJW<`Rj^9gRb$upAB?Si&zQ6 zy|Luxqw*dVFy-pI6qiqDL`B19`H-vw3!i-N-SYVS*5Zd??`{=RJmLifQkQt{@I2N| zFV8l?!vo+DbX84F?WBIu=*S2+pS_(O^`1Q<C-r@Uc2HBF8gEAVR60phD^~?XU;k1} zT_tdbo0}VZXv{!~Y~Fy!N(r}N>zgY^FB@Bi?7;+UY%U%fsi>d4DynvIEuyn8LVss# zb@vYgO@6hDjGUaD>WM0rfNe|D{eej3(H}F&1!VL>XP%v{!rV|(B8qmg%TiWx@dki! zidNb(iYA#ybr&PpUMs%<c*5IGaC0k0EqwkWk;Ee`{9ewVsqo&y{M3}q?b{z*mZoQi znzY~OTt*wj1qUbOD5ukvUkGcaXdqi6B%HE7_#dI83yO?9YxXS$Yko!T3-W-CKx&N4 zM4uM9+1Q6n<x_uMgP<yhR54Y~Oh!XJTQo@V5CHy)8GOJ}!B6-rLW9{yymVuZN3Z~q z3*2}lA*%j-;~x0BfWB|owK8KNr%Gr7<nq*e63{a;Dry~+J6x5;(Av5iK${HQKiGU- zq}p`h+^dUz!!4<~sFf)9K9^ZjwKM8!Y7PTW-nw<GXu|5#{mo>$0%Tbg%I7}&r(wrF zcBP2ZmG$+i#sq9)$qF6FYTw}CU|*j-fIKkpf#L;F?Hs^35Y*-0Png@^TY{myx9*lS zD)UA42YKvr<X3cYaY65wTwm;ki1KG{8FcQEr>7s&*<~ajTHl$wqa51loe&kU2f|P? z@KXrSmBtS#D1GD|m6!K=@}wM15tM)B^EPG;#5>@=Li9-vjz16|$e$(`FJa4wsHh@9 ze&D)0Lyi44;itG>)qMH-6|I{5KaK3ySC_ymJKkHGe~US1Z$As*DPr9<Iy{{3vSjNN ziSN52$mts$9bKt+nA=O;Z%OuQPqVS@aof9h)72B}P-9)uy0nQ-Z2liFTD`OE5cWSC z$yTDuId`zB`CiQ)$;B9zNbz&$&Vi_(0Zd4`{OY1VlU|X_(*66JGGz=6<0_7(a_i;i zc#8D3aL&C4Tmw`pvhDYo+J0y%wq%>^F`%|?AR6RPx9fslCMyR=1>h(`d1ELsdfJ>X zF0;=@McN2Oz#6^VeSIdnF+q_`o+2S00jiT%b6iALPR@O{LGI+qlZqicH&Na_JkBdA z)gT1@&IBO5cA?>Sbld|xP>wiFP*fxr9&pc2pm(Iv!FpFaEY<lZyOpCP^6&y$Cc=0Q zA1_`Scp<gE_zGHy)W&M|)2E7;E`1}hDN^oXazSMFN*-rp>xW3<Hc`0nco*ZqpFbbK zGYNt0b4W;JVi|#LA1=5y{&6BjJ44c>DyR+G2dEydHUmU<Z*KU`uTPtUV_)^$O>Vqm z2#F4Y6yQ|q)px_5)C?e2WO2(G96GUum7t)inj3#mTwL5ou49@*yRA>iyw(2BowK%m z@>*IU5`IRTxn6eGE6Sh#f@>GAyPtKQ<tU%Ku<qELba|QtBCJ4~Mb0GG?8!Kt=<CU1 zQgarqsJgnkrA6q}DRp9n{J}ozgaE<x^z_=A12<mx2M9jict<_uau3+S-(MAxKkHnG z&y@s6FB#<+#w!7x`3-9A_1H~xU%TT(K<u&&wqW<2_66*{Qt14yl8J#w=P02OJznD$ zx0MXSwZ$>^L-7ehBdTaAt$^>$3+o~QA}<%0f_)>`zMoHz2@e>}ZWVACYJX?0d22g2 zhhGrqm8^KD^ZZ3Ctp4QY0BHfm9ocbQBiBlgk1xa5*Y}!V(A3<VP<JngcYjNXeE2}^ z3r2_Y2;oBG(*ac=;mt3IT3T9&)UnY~m6xK|3$FQc1XKrP`=D_Kwh@$+=pt`=Q10^W zc<q?}ZSfoZ&2P9tM(sO5awOJwW(_h#LqRomPR`2G(o#SZ<6&~NLqG!r44$~Ox}#`q zUN^A6$8N|zpNz5H_c}N@1Ug0dPCQKEAAjc8e=FX1@mHA#-&PxSxtDr=-a9S@6B8ah zJo@*M)L$!QzD>-wim&n5wg+&Fh0qAhsVR&W|B96`EnzNb^C}KRq|7>(=IbpNSJ(cI zUp?$Sc6T5tmKP4*jrTR9VIMr`@p%$yqd+=sRJJp)AJLYXnMqJqe)ra;FF-=A%z(dO zW&9)5E&%}nN{`>rfY=m*_Lkpv^9#yzTg%rmTXzs)zgR_P0|ne<K@KY!YtoqMwmMZ# zYS`)?_c0uOv#|(;t#5R6w5P{VP%l(eY-75bucz3SXn<gt7KhkNqiqj-ak@)O!rT4# z7YZkD$4y`QOx$~_mT=9`&@kViJe%IfX=#>dUdnC>K8l`52lb)z2ZJ)`OXUwj@N&}0 z{cPan>zk9EZD(ssI&ptxFxs6*OfhVa0=+FLHX7op3x{By!bDUx8Z4&{sI)-d=LCCQ zrNaw`r<32htvM4&uffYI1ILz1fBr0lcmSSPgxAxqzN4}%b_{1bapLK*hh@HrastAR zlfR$`ofH-QfT9TXy#Q~=GVofn^o+ZLf!X>#J0zswwv@w4fSMZ2r77;ZoU<Bq6LkcA zVz#sJK=)I5Ma4kdL#6B?@$vCVK{H+VCR}G~Mab$23epFCl+v?PA0A*g!@L%{?x}Wm z037H3iB(ruFJA1S_V^r=^%U)S9ZN(clBI%b8;U93gZ>WE4-}M@g{-$LWcVH6H;^_k zFo665^bIxI3Csi1ZA8K7MBaE;;mWVi{{(ts&)F404~#lXR@c@}D1{xh$_9eEXsG|; z_Axd#wsIRbAVhB;pJC9l${3QW)Y>etG}4W%GxU2RKFaDhKIZ4QX6SFAWw2cI<+pl) z4)in2<mt6-KTxjyQrnB&H_$T=gK^{i<=QofR2ELop+Hqhfp8^D=ta~FCsAKRB?>*o zrY>+sD&byA`-@i3JqEtUZasg#*GVgsjN_&iXnOZpz3YtfGFxvy1d0f<Agk)|>(hhI zd3&*CK!(!Vynk_>*~-8ZsE@-<l*tQW;0z)vJa@sRiG|LC_0h$*e?OEbX{Bn_l9<#@ z4BuU&*_O9tZeJo+wR&`6a?;D+-yNa|O4xM5mbaY%L(ol%fe=1@`m~EtIR5qPfi>l< z2M->wDTXwU%;lo5!%sowMZ72x)x%x^--Jh-f_j-{8FzlLDchKvnb9qB$?M$Zy}%kJ z=_(F&t-MH-m9-C8N#AA4bLtHni4~U~MeKIv*(Eye@|>*V&X|QLzithAqM)F_(8x%6 zp!{aX`!O)bS8;K&&otSI`;IZ<tI^JLEjwPfjo6J|!cJtgjgZ46F!!w6{Er*x=^aoF z7_AGg7X`<3(eFOMFYUH1iIq@PRD`1cJ<CMV%q+?AOB;$6Df>}nl1^&>dv3bq!tdX| zAJ&%&EtapMdjlbNP_)`WM&=9rsV`r?z|4qVTy%8GbD@$~RxU)UKsKN{eaevk0N^<T z9UUD^BzQBu+FTLQzW28@f-l%SsimcdR1e`46?bDMdIJIpO5nA^MnM6A%ZW|l`Z+rc z`@Cw(%3foe8X6jauW2Kb{Qdo_{BsU_o3{cHMDVDpsDuQ$+fwVhE%k$>IYEN~?e@AU zx`#<3scpo(Imrf&gOf}Wc)i==?<d@lxEta;9Um;9vLo_gDfN1JZBIB@Qc72hDz3K7 z#&^<KjGit68|;1gM9Ady^l)QBH6YkNTH2B^x!&-2-W&j2GLg(n4ObfB78eq8PzO!K zW59wc0L`>6m?9ez(4qXIooG~7(JLpxv4uI|fA!!=$`m05C<~tHQOf{H9H6c}rNFNI z9UK;*2<^QdVz8}Jl~+DFm*cH^=Di6&mArmL21OkbPWEOc^!V)w<<k!d?OQxPwuRKO zkET{%7nS8!$NRLFvwF{b2WRKz=f^v8C%~}%x>pTOVm+%kYmfCgJ}3JWz(GCRd~<Uh ztnSqm>_w>8bJ;w9Q7o>#x{muiMhO4XhSC6cOo)TS?8~DafN8)-Vnxbg+QJs!k8XTK zJ0U9_J9lb`JNrQwZzFksZ~6EION0{c1cexIjl2X9JdwM8%u%#Il|lUp4lHgiAmSa4 z*P&%7TMfe+VFwHCTY7c)qfDgA4br*W4h|VQnTE#3eNYB$CE73i#EO`xi8Rz+X`~+* z=E(%>&f~VXwdGpPe$=lQ>k`88C_f;mL0U#e2GYl?SFhlfi5h&`1j}yf)gP>Rh;@Xw z$JeH&Q~Fi`oIunyX!F%UoJ}Ar)BV*?6@SCtk(HIzv0d5ytpr$OexjQh9v`YWq^NMI zLn&W={1D^i<t3ND_>VT?`g@N=nfa4g6XN4_Y)8KT_;F>OBFSEc;b&N-@{WC_PZ_#V z-;fnpski6|5NaHTn{R@i^|Y5RI!u7#w?p>=vOFSsTRO2x$f{EmtBiIA-Cj&(M?gpj zdz9VfJP|f=Ud5AUG2XBS#!w(dMIG^cevBf*OrZhAN~Y`kaz{!<d8WF7Z`~JuI^eN& z&{9BM?uhF_J$G9kI$^WK;nt@2;r4GpI(D|dq|}Ceh2(I<HkmbDt6#jL#=6z}BCp8x zeQ{Rh{>-8Jh8%$(P1$-58@gHEa8d@~GO2vQGHs%E!X_mkaYra;B<gGgr1fv`Cc){? z%gESvH1(Td!;j}p^!2e8Kar2D7)p$f?-LbxvUJX>(dczT!j)+Y8E630Cd0=?L~>y< zb06s&U_RFz=y7cy8o)o4J3%rpqA@u-E+$61rMUT5(UN)7t8|2!=HB9{=8rNbP9%b( zsi1AaR)QW1yDB*{Qcqg?6L#~$@&ND%iS@`?=jO%a?VoFFYmKXD6VksK=l!8lUJd~0 zj&Ki0@ec?H7}on8b@pCOF~UP+j!)g*Q^6xEx`Tdr&Uxls#=z*<nDWH~S5D-%^?5pl z9OZoV0Q)Hih5!qor_$~iVpa6)l@txmNR<UN%!B~bVGE1Az5`zW_bh-#4d0y7Atew9 zm=`e9TmZ6qi>jt|-`!_lo*kNj8|5<Bq7B0~&sA9u=%A;!7h;y3QWculr#=b+8yg!^ z!;mNs&l|AC`k#u@()S(f^q0HS=x3;#Ac`rNiV$lcny7>eUZ~+a8lR9rmXz!2R5~3Q zV8cQ+<cYc+;&)g~jT8?C5YDgyp;F3i^#cN~Y@&|;SU$&$EWMAHNViMV*RMv6@dT~Y zk5<9TlgaXD<e3G;E7?hff2E_NgKgl`%kTU1hoik6ok;RV-OGpRglpGcR<gx>@JzD5 zz&0!llZ1xlV&7eTL%E)-!sQWRJOUX6G`^a_LE%uiTML|&!78$7+X1%XG!3gl414$T zqdUTjI1F<%wVRS(`?XRy#N?8alEdB7%nS_L`0_wDQo}j2o({oP!hsJ;Dit+#wPvZU z27(+Y-n*zJOvg~LU1eFnSJQcP3xy?kDp^84mC{#DGv3of>R^#@hkId#%mT9$!)?OT zgwFoXrnd}`z>8T6m{i0%YRX7~;ur*aA)yvlS0jQp>^bonhjq!&JE$%+>)7Vtp(iHv zTpC{9-j$X=Yx?ISuGxEf+WifW;*E7(5^L`b3b+=S(wK5Ta^wiP<A5sw#2na|6})b3 z%@_6T6j=u$qX4D-mV$}1OEZJn+1bjJZ9{X;m(Rvj*xK4UuZ-oQcn*z@@(irxTtngK z(=Q@h)rXl4rS8pJKzr@q7@k|kvlB?HQg23jds$weRKIb}E9@k(phv@Wv3sYNmJ)k0 z9`DVYH^A9R1q>HS@wmek<OnjUYHEzX=SKpJmP-kb;1?4}8r%IFzKBCZ9>MSfnINNc z&7p>m49km0rX&4P1dj+9%0AuC3vB?xQxm{}Kz#$UjXHKW)H|W|;IQy;KuL<qq#ZBz z-q~l@N)7}w($XYz9y`0DET8qY!g|S-n#JVnY)gU}FGX7pOS*jT`yxFgD?8KnGB8jb zDGX8Y&7YxZMSP$Cku!J6&+PvQ`i@Vm$ivSDds*uG2DFM?oD`jvmeO81HRG<JejI^5 z`@#I)bRR)h_7OAyf;NOf7uXQ6<iZM~4|u+Y?#+8ON7Q-N?A@)FAfnO2akzWth<Hq% zAT=}*3aBYQgj!h#JIFW>RjLl`e2lNfPN@+|&!69hrUFy>aCRz*Rmkj{0azpc&OXj* zq^Hf{KX%8~Hmi>(K;OEdYD{Q}jDSZ+HOBP^SV)40_6AaxmXuUDyv1OOL$~XVtcb93 z0e*g5aZJIX60P6J$cT&v1-Wk_QsCsDKYzYIJe-!67FxP#!87@l@V+DH@F&M#Y`*XV zpmup-Vq$nW<@9wQ65yLvdk&|B#I*vgvJ!u(b<x|uq?f`yu_ix(6rmy5ia_HkMCBU1 z>yNk<b(-#rJ^!RV=O)X3?5PkJ*YLYG;wiU2V?aS*RSZcKR@reteuuuAlbIRN%^vou zudh#4a!HmH52PNp5%&?1fNQ*rj4b6b7ZW_N(@^q|&A|t8H<6*%g>zc)x-aC$c?Sgr z(XuHVkXo}cGGbxs-uG1+N*5y44st4Xwg8d{`wJ=8<<q%oI;9UOsPR~Qd-x!Pj$v#A z&d96NJ+BZ}R#sNXm0gfPH#B32xj>K|-@k|Lk!1kDz>L$Cyd??jDpn5d18rP5J*}Ua z7s-=HyMO<{*ck6d7);HZ4RNJFF|Fx(+)_D?D88V_WHCg<refB44ccB+5U0ARcHAXF zKpAXOn@`lq;vCD4yRZPr8gjR-r3FT2kavNDw|-!Mp&%l)kKJH`e;v`m)MSftOeTfM zjz04tSlP%t%dUbY*g?VF>+5i5!DL4x9l8V#vh1ayiESJ43sm560hj^+!~hEWOk#mo z%?dU8i?((fF6NW|7Jigb`Li|1LWockml2hlGX-G~#ck9~8{#gYnxgutDNOAFn}bJy zM!2@v>)-#L1-fuzLPByUg#{oWE8+L=-(nZZ1}QF7r8<j=Docbe*vag|0)rx47OHU` z8Yc1|Vz#OB)ECjpKM|`yCbUAK>ki7qVmH^o(HX2P8P-E;9B4cJby&X2ECzU{czt;U z1642<4xKi;jRpbs!Kk{x?R!XQ7-Cijd^mEV_#W&X8DV5*W~QOZ#MIK%x(0!CNa&V5 z_5tc!!Cb2@Y%jEAEKv|^vVO4}mI_LH1wgev5)&X@DO$1+BUfd68d@+>g`W^5hos!d z3MmGl5Upef2b=zbl(=$#6{8%%hZD;uI&w1_rAg2oOY`NvA!<#{&F_J_EgiX7Mk0}% zXa5LX|MCcq%qU<JkS)fofZMYS<peR-gB~$E(OryzBfORZ?G3Qdz#s<h`P4tYBv#%l zSx|B95fip*7(dEHN+5EQiG}$<Lb9?YK-ED15|-^b@Zb+vcc4x|1_D#;E-l5~aRVhi zefDg;Dbc_3ALTDt?OXf@Anc|#)?Nd<K6dQ)--#)^eQ&?vd2KDWV`*vxo^TLIp`qH( z>?(E50Pe_UpS~pAycvQ(F!tIKf)BIH<T*qsx7M3QXztISKS!no!I3WTYOAZWLUjj{ z-oJ+lmL7a+Nw_q?h|o^0ksokW)7H1MqwWAX3Sj~X&j8tW1-e>hcJ{uB$-022Ppg5S zkf_~ACcfg;EZC925(tiQkQ5Y}vk*Wq5XE6R0v8tIGU696eOk?cN$UxiVF#8C#+q-_ zdl4frF#DhEVl<tONbL0S@gddA@7S?}#0v5BO6RaUG>`rlFA==(Ff3Y9f~U5V2SDDN zx4|O6jxi}X>isRL+R!DQWBLf&|3XQ6FB4M~i8PJTm{n>w&cbgz6GK7y4KVHc`$MCk zPop(d>Y0QSGbX^{knu#P{$S95cc3uwNGn*#P7)S(N54-2-Y9Im@L)N1>>Se-{_9`1 zIz=?b#KfSgD#IgIsd993QV!$4KHXOd=LMq(U@1Ki+Hcf^UB-063}ZB;pCDF3f21JC zRxs)Pb>VjqcQY)Vm6er?{jORski|<%lZg7f{8il#x36Qk0&D~Or;c^P$iS~(zsN?^ z%|=<J$35fYMIefR{-`_S)qKTZtQW|GHqeC;e|RfY<tu^)C8)MRqTp<D%&xPL@5Dt# zF$Cj;(tz)QBBa$`($?mH$`6aeto6+gNHUB<xB7nnra5xN74O1@nB5l7t>)KUM%U%m zNV<(ihyksc$`n{mn8U!p+Z&`US<nOfXd0P=+E{5s$#wjA4@}u$-+|eK!WLojVy+<8 z)4U-Y>kGxuL>WbI$Gi**$f#VI9Wt_2wsPY<{<vO8z_~)fbFzIbG_ZoRtgI~J3EDCA zBlTVtMF~tKssW<-w&7W>1M?CVS~HF0oXG2fmQ^V-k4Y!4kde9NW9J_quog1-bRSFz zVkO9v)6Cnq{JrITM-Cs}&qrKskYk3jijw0bq^hb4-r%zSaB@0a!00h(vu5oVaCFT& zvgNlw6?vjWiU%Z2rYnM4K_Ee2n(n++FjdBg#zK|_iQh4AN+6Z+U(MTs6$SUm9?p(f z#!CCT&*R=e@je?LvB|!=-c0Fn3<7W8_@j>>SHLT4t3@iu!MK#d_>Zx$e08aP^M*%Y zau5O-7ybSWx6WMaXia8@TbM}YAT&Zy>Swc!Ix7eCu|G9Z%AH7x$1GbC-N^y#@wSX; z=OfMCb^$>_tXlgjV_?u9u)YUHuy_8$je4e;sSOmOv+nB!Q(8~<Fblgsu7F*EQejA8 z!<UJ)X4j<87L63MD|3wfQ&;BC%*RKg{0nw!*%g1a1O<%dS(h>TEK!5(niSkd=^n^V zT3%cn?aWhOGryK?>c>jJJOMwEgOnz<I_Xh4VoSOEFlJrSiNEan!({ipR*B@wcz>&f zi!;&A6dL~2(c9a$Jpq{rpSa+nh+KAh!)tqC)*dxY>q>b+V&EWO^<^*!0K1`vZ{IF) z-<pHmiLucBD*9f}9)>!gbl;Cma&qMmbV_~n!uX@k*FKsO;Eek5Qqnbl>OBN>6cLdq zpN5W(6;x5d9~Us5K*qNrye}5mcT{^bP^9Q5`Y}rp1&8N$ZhW+_33&11g^rvry`PUy zm1VF7B|8Y@Rig4vrpmfH;jVd1FhOiPbXtDZ0o8KgD**{(Wcx1f&WP5`0`t=HGV)ye z%~7{KSfiHslpdjrm^2n9irNh*5lG}oFg}~RcTd8p1VZvnJjbb>{*u7Gm*FK!zX)*= z5=4YQ7ao5c+Fna>874WjNb%4_5AxB8y`CFsW9-(<%FLt@`G-7ch5zPW`wg{#B?F~^ zl|aI3n`PxK2`z!c*Df^X+1-G*53n$h`F?-n!5Sj*zKac*+vunTnr*^O=M11JR5eIr zWUhl^jTVPynU$L>;@-t4F20PZCCI;=V9;aj?`ogygJfP_RwjvN1Halaq7l61rG!%> zL^l9slphrW!D;f>gVfa2DWNNBYK;K@*4;(qc~PJ-ETlNJ9x<`JYk9WQQ-|p3*~H(v zED|Sa8O3b-z=6r(p>GSV#EaQcY<hN<F5`tOZV&Clhk-BMww@o%OH#7PxRO*K`HUMT zDKHIa+)MuJ4-4Mn1|W)HvK*!oSy^|Qd5wWCh#N{wJ8Paou|T`$J9aD<eF3?Ax>)fx znpaQ|-I6->(9lqvr>U{A2AC~sc#o?aJIW0xj2%(~Fco+Krli)8a^aOLS9)SE1Uonx zo0@6?PPDYlfiHD()jL4Yg~Ydpq6wJ89Ris*rQlV`*RSV|>rV*^LOL|JjS@LlH)HrK zUf~G5@r>E_qnP~DNIpI;`m@+wikCM{#*?aS;ur?VfU||I{GAJ77S3Qh6y)WhbS=!y zxsJVStMPvc?f~Zp+MJ}2&^tU1!Z}61xTqikR)&v{;KWvD3CHIoQqS0!rAr?fK%YEW z_kld)k#5F<i^A}^eEBk9GkGdtMzXBD9F!lk(;ddNvV}x<G#LOYV`JkWUftHVwp>I8 zmwwFis3>Bdt%<5?J<3iMvoUTBy;~2i6cPfo-yYgUA+bB2urI;M(v}TFc0-qJ?Cb)i zEI?N+EZ#tCTcY-d2Z7N6V5YMWci=}yME8{F7eKjD_}Xw;`pw7?<n5Gc6=@rKXKW6@ z{XzY<E90m?n3*PvrBg|p-Q72EmH`R?KoYaK{U4wvOw5DwSA~YhLLCWa-z6lur=+Zm z{ltmtL^&fE7?>Y3z+C`V0dU@MTUdvmi<H7dXV#*C_m}IHciO@2n55iB$Hz|&F5@Dl zNz!&mg&u_gge{h=MO(ji>^qJe97y=l+W)2W7UF<iTRHCYA@`RxH8qGq*$Wq-`8hc` zVVa$#e2J8mm4%ULsK_A!0hd8GKwA%Ggn<4cI?#v1c6J4<i1x}o$G5KjX<*s2XV215 z!Jj{7kt*5{!<(C%5%gWf?#0+%@;2#3efaf8BbijGNQps8)t92j+`fijo3J_Ts;Bz@ zVC(@n0@!W$jvWCEZd0WUXqHV-xR=TptsgykqF><H0Kphfy);efY_sdRQAJaedeJ90 zv~U0%Os<(oM$F~4^<i()G?E)ZODtDY<{r*<=G201*%kbxin+adrafkH?l_?lJC~FG z^mBK2_t&qzuu7(B1=QFjC5d0J(jUP9;Zs%uzBmy_N4TalcVU*xX9q*g6NTRwST9~; z>^?@vVgfHK{(9Q9%+B8-)*bt4HlDdnQqb?+`wMyo<<IS~d!he6epf|}iF@>AC;6j1 z=NKRPeEK9Ese(=`=7f>dnI0m+4U_{#_|!oqjhHAYHFiuVP5$~kJ)?oL#`|_F&Eyw# z_nn```J5SDRu^p``eIHGKnFukrK4f(TAX5HOK_r~X9dU|J`6O@$(amuejvA*D2xt$ z{CFJ1Wv&TV?kXP(MkNIW+Fj(X{rPh&YJ@^B$J7>h#HcSQ6@i1Ze$Sp2InUjyjSwo8 z*uuBp<1?`4cwb+<V9G`wKK|&Anz}khGBq;|FDyNO=H=xG>;jykWK~?e7g6s#P;(G9 zdB(<g<512yx-6(NxKm8ySHE(@q|f1f`)0^<cV5<!^))p+_v~4ip3dsK^HVJA^)5*f z%O)fxjIO2P)|Q=)1UlK_AmQyg&xE&|J^hb=s(sjBPp#ehdnV|9=sv>1zdvo-^*m_v z-=Ds1`u|`0|M*JWk8GvCZ~BZ`DxD4|eJ-CHZ793QyTc6AZF|p95M|NzxEh+9HG<79 zUcBh0z0L6fMuDz!(j7REL>F<!AzdLH^V-_pMblN>3b7d3O10QtV6l_Z;|}Aneg10N zj!9d!n;tn?UrOZveX;ScTPF8zx~jUmlQj|B5vN*IKwCxp=3C6Hz>m1dliI1Wn3zkX z<I;K)R`nQ%SnAUbOn!0d^%Dt_!Fd^lSP--;h2>CTxIDX@29E^qLZ@|2b)cfV0ti~Y zAh?V2d{HPTfuxei?Pa*x@=6=!Ok<Ts1j#v*&yvwNe&@f!o>IQ*Ur}#%|G)dvCzTN@ z=~F;|9A1W)!b_pMTHu&j^%zrNYUHPqRK2ssCmxN4(-T}bE$cT3sYV=^B|nZ%nS4cc z59XMBi2fR=_6Pp;WvVrpcU&gyI65Y)xy*Cs%)62F&mP;jJ<&Wggtz)+p-k#zY7(D0 z>FVmH=2D#Q8y`=ngDeryQks%;E_LPH9ZHYS!<PCgzW*C(Ox`_?IE4_NWV-2v1wOB{ zDRgHr=o!2V#8Q1zOJ*0OfnXVsBW&!i{^kNFyWl?{+`%#!YofSxL<lNC?(x}ckkz%Q zAfVI_8$NLP{p(i@9j1%;Y9i!GIhb?gmZ=Ypj7+1es;W}^@fMImAr?44b;RR%DvCH) z!#~@0b9mZ|M^-(?qvkIs(WMe!<8+n+8PoVwegAP~gQaxXTH53*CX_fl$@ur@_@$EM z!+VA;-yZehjS<$7UW;k5oJ_#H$Nxgj`+iezbM2!?kCJ4`@{wMqu<$LXbiixwD$Jn2 zRcHoE_7S9hhVxjhnxBf#C95R_$pBDa{_z$u&DBs*A)jyw@GVFN^Ku%T*-5~<xviR; z=n@hW&GkID+|bkKBdB2%dcAe)g--ZrRB<|RK7amQ48ec4Y|)6ru*v&$Nl(>&BU2L- zPVx%q@VA_Mpe{B*{jBQxMMjO-M#`~K;^Iq67L$K1z-ehU%D+EJ|HJy<ed+F1ZRt~Z z*d3g6X6G!D$c=J|X!;o``b<rJt@;X};%1F)d@0aI|6}_Y_=p<b2z4DAu3M|Cs~T|_ zSka&=gviUq2<WY&e`3={U{Fvzoj8WfuH$iEIy=1nV!%%)o2g~}0cX%ggmcJ;GqD1} zeD9&~QDn-QRSz2#-Ty|Z*=}%o#i*a};{Q0o|BK2%&Uv%fz=vE7v$L}gzu&}&npy== zz|nb~y#sZTsk8u0BsKZ|UPaRBTg@D)sgFW^J{w%}#@s9YRplH~KtL?*8m3EvWuWdL zF@EV+w6tilEyLbRlEpynE4o8sw()a!z9?Qy$Q}VUz1|8b9e^=K7GnR5tN*a&rG&(4 zYCyxirCXe|Q?+=5$){HFe{w$m+v_z)9At(hx<gQEsvg4@;JZIe_Z~beS=QCnRWlA` zR*MQS_lo|BU+$1rHRC`G)x9x3z!z<<&fi>r3If0-Z!$7l(mQgLfpX`87+O8(#<4AZ zd3OOW>28r7gvXc}yX-CLG+nYRzIh|txRN%3Y!g#uvy)gaT)en{nh7X8txGGhiPN)a zW&BL)Qwknq{sSnc<%8h1!7}92!coIP_b8ev16cmo_MPrB)PvmPtb|5bCrPw`)T+TU zpqL7=P=%9%ZoVT&1V?Lib?Q+c3S;L&B3nMjd4kRIZ2N;`Q2(^43NeMuWl~mBk|Ybw zHHi*KPA*e<qF@B&-5t9c{0AUUBTo99F0>Pc)BOCGIA<~O%jF4MDNbzw^iMMm@}>sW z(#i_AXa3!>6gBp=ot_3zI4Le${Ab~yB8yWAICOe1MHU?~l@3P*URFJ(APbP51#+Kk z0pYc&fO82ZUmu!zh)1d<DE0kYvt=|V{Znx*&P8g*LB7p89t6!tZ2+u9GY-6j>+%R} zDfaH_tyJZ>m0%f+Co9B46iyBr8XQcdB~P}inc<X|LM)ynDJVQRIDwYJCkt)?w<om4 zAQ`}Fb<P<yN3I4?9!^h~z;SdDs5T1WI1$QqIfmmS_`X_&0l$v+YiAU_rlBAiE?#X? zJlKtHu3XICq{H8}%)1Km6q<*HlfDe^d#J(R{i&Go-&qv@vzi(t-k~6##Hfe{RcU!S zx92rIJ<Te(DcaucKRDODanvqI1_RTTJD#j=+C=3?{=EQPCR;WXaIe}_bK^gCO}=8B zC|UMKZA1bc^Z<op!2>%AzG>`UfqKX3i7D<lHPc(SQWQ>uXLDji@(tagQ>MNO;hT68 zn}*(eAI3&35!uOo@H@F}?wXP@`0qlV|Dq!PpO?tnUTp$DK_M3MAg3p&P+FG}#$V6T zQLnC8bbh$ZX}>gW61)q7%o|#=2p=qiVV>+5;-~5!_z!rnlbAg~mq?O*O3(e8E(@pS z;tf9)dw(|gmQS@mSu-_6L8DNg(kF`{VOJc#!2i5+{XaKJ0w$HFH#~72wyT)bNVr5U z?n&?yxlEiL9g}3C%4N_}9DVBTorx--231`%4pSGnZ!P@<1^Qq?90g0JrC4{xu!-T^ zdkhR+qJr40!r6@TmBE6Td3lq*Cx$mtCGieDkL^^?h2SK=T?@fean6_9W2#J2WEpF$ zU0(dFFCRL}`On{<Vm6Zm|EDj#ZOY$rp&9mdkW9DBj9=AbsDN7DxJxxo^3bj#SBNf- zQTeEu)x8u`hy^T93HkwtL84{HqJy`e-#e?XI2)Ak9Cp^bmd%sytS3%zd&11)OSq(< z;G+-@2g)gB9|SB`@>qr}e$T*FGa=4Plpg0sxHj<#wHq{){~PhvzmRCr(g5R#@F<4b z*IQZrp$onuR{#}Yg^FO<O<bN(>$Ss#I7Q*zYEfYzG1=k+1|U{5b{PmjUkNsY01(?! zLW_ACg;;1X9G*Dx4Y0I%-5sKgy0=!c+6B(|rXi{r@e9?}lLuq-pq?km-t@St{hRH} zzwvSY57!2Kd~kdiWl|v)HUNXE^7J3bS_;P)8B2q%k;hnGi{DScV<CE|I<ZMXGQ*Z+ z8<mVAHsn=Qw5Z6-Z;|x(rdxGEM%4abzE&X?E_iCtP)|=Bt+IkbR=lA!v{#Kdj5H}6 zBM$&yzijS7j(jTkkIA57VK}L!>78==^qjEHyIY#Ue-Oh_x|ypcdW;$yzQcaG@LWSQ zb_)JG8!c*wG>y>RQJsWu=;)flv-9&>-sIzbt!<peCO2-F>rs3<M0T*fA3u6TcU76E zfh;b5gEEyy*N($>pEb6<4Z>gyx#%ZZBr)MMQ)^o#*WcZR7K}2<tNU8b6o+i0hPTR- zSjp#eQByq0vXxI-b3H567d3DE=8Afsvs;!Dl7uWr+K*E0`(JAaK1pZ@9G>vPHG~T= z1+Op*7ZGHbQKXLK6FvejT7hgAYXv2*b8fOcxRWwC2}ki1PGj1)IF*Im71*3HWRma= z9($0?_3PJ>fX{DWo<NPt$=Nx@f_w-xNtW!@mOch`(&U`MSs|_lvSr8F3}-5M*JjHL z7cOvm;@}W)R((PjAHyT)stnUiQ?y($!by!p@GLOP1A@l#MWF=78VtPu`!o@9s57Wy zxJDxmrvkVdFb1YWQ$>wPFX#Zw43_!Js;f3F^#E#J^2YE*ifnIBPmm0Z2{kHctH26> z{v^@5E>6a({Xy^GV%*YB2F_|pF#Wg~F}k74meN=ZqeAmvO-InYB_)9t=eCm+=s2>- zPaUV@@%j0L2?P%pz8NwD_qOUP5bIvp9(L)b2SvlPX|*@N4&EuFmkSr-cMbeo5z>E( z4`e=3;7E1=Xy4`LYI{Q|(Bs6Rreg`uVVfv~!^zk1#sObB&iFQ@#a7}aG@MpT$G!@h zgy)das~+Q*BfPcp|3s~@7RKkb|8lY#Td*0X2#Y3YII3`DLzB!2Pv%5yM`-;=$wyTS zlEFwpwR+_JhZ^JzPjY5_gQRxTE_dd#-0SHb@IUT2|3&vAHzB@IOpkGTVg?;Sw}~e- zB;@rS`um|*m6UuzbbX%xt+Dtu3LEe2%HQueznSiW2`8`l2R23i$BL?hXTu)XB~Y8G zQ&8^};TW_Jd6UsyFi<tU&|#HT&cAbx{#U7_xyPz&(ceJb?)CQ}HeV*w+oMPSlEJOA zWZHlKJ_otA?%n&B?{0}BD?-xJ|L=V0LB>bxHzUrH(YcoQzFPij;;o*ZnR1kP*1Omj zF1&r^$I%>%y;p^|r)?7!y_V6|-5vIN$Tsir?k6{_w{6r9*+&d6Ri3xl%Vg^DE$f^a p-aT(I>Gt<Ye)X@a|Bs*Cs-Y#)Qt(=<Ay#M;;ev{6x{SfY{|i3_Bjo@9 diff --git a/notebooks/mnist.qmd b/notebooks/mnist.qmd index 93d5d668..c630e681 100644 --- a/notebooks/mnist.qmd +++ b/notebooks/mnist.qmd @@ -320,7 +320,7 @@ model_performance ```{julia} # ECCCo: λ=[0.5,0.1,0.5] -temp=0.1 +temp=0.5 η=0.01 # Generate counterfactuals using ECCCo generator: diff --git a/paper/paper.pdf b/paper/paper.pdf index 828c613ca85465b91d18e1fc904c22c1cef04531..cc649cace729a26630523e4fdb4cd01f5c23132f 100644 GIT binary patch delta 20656 zcmagG1z1#F)HW;zsFaFy3CN(*-5{a}QVJ;D-Q96i1Vl<0r9+gEmhOf@x?8$SItB*# z_JBUm^S<BzUB6!H#6J7%eXq6db+5G#Hvb|B94Gi8R(*+!pFLtq4TAw%8*}~j(lM^a zcGy7bikJqbA~vB?EQS5;R1R<22(IgGZA^|_+}zv|5_ZjYEgE*M^n<lm$Wwo@6AW@i z+%1%9r)T0Wc&Mu+dGj-}>Y!36r<Z@9;&=Ym#>NS1O8U2b!qKlekB;^IqhI!&ngv%c zod0^A+?G{5?$#s403Gk<K)Xs8Ot4uiHXg0Y{I1xRlfP2N=se-+Y%$v@ydRr-@u9fa z>Cr@!)^zAos!gQ}S@S>Y@s17$tAD#bES{Q+&^{R%ta3Wu9pptVZFh=Rw>-$$S?)KF z&~!4Ls6N{1m7f5Ub&4EWNJF;2f0g13ZPe^6^=f<W_D5$_LYoM3d{LAQ%3n3#s9$4k zt#~51mOXoKLG-kAN*-T$r^~)mc+lys;d=r(KAI%FE6X`fjfBdpmHXql$Hg-V!LIY{ zO%#f|z2HI-Cz!Y|&XPb7??6Z5DO_Fz`MZ3b$ZKan-I~&&ON?0CBbWI)X-@UY;mOfD z)c;bM8)XXN@MdHcsaed<Ac7dJUr76qG*UsR&7q	-EC@@-t6!bKcYRGY0%_s>P!A zIGFNd-84&0@N&cPfsRHeMpo9VwmSr$Qn}8O8pn2Tq+$~>k#L(St<p;blH@k%mi2y* zf_KIXmm5XBHVk;FtXU{eS2Su>?u255Gssu%^hiU3hq;+mhs*2k6Gs&(CUl~Q-65}3 zbbW?e4I?z{+qpf{k-$K4*+fTeghT|RQ|399ud3!M_eK~srzTF1Ct^w&u&7*getEql zA9h`c(_bx_3s=`WI6!tn<18V^9fIo={C2a~*K?8cG4cr_l~LLrOUV&1naCUacaQZZ zsvyt(G3N=pD1Y|fAI0&OCaR$_HLzgkAzeQ^JO69;I1TJj#{_(<Z|6N-@ZwnczJ7?X z(YLj$UR&^l2F}xDR?qw8vk}!O!=S61y$*$7MW?bkBOe&ENeFy>;kgbztX`V|yZgG+ z4gN17t9o2s4Wfj8=wty3#?qo@_RfKz;}zRNZPYaJ+OD(ydf&IFA-!^fSyS?-E7d2A zO3^%)YKs#rLHo@N2|~Mliq4~!#kf2}cTTK?!b_5n+99$gJB!^>Co4JCUaO1O2l*#o zUpm}f*-sTc_D_$KS&=9sNqRKe=`qjAU5v6m-Lqz#eSdA)D8|yMjlHQYPOun?667)M zNg`47+Ap8rMlEHR{}%8#*bw|(LboR!p<yRAn&3BTU42|K6C6Ne5yU<4-u<W+-|NSd zY7xVhPrCKK$xq3GJ(d*{9$2)2VNOgqGo<fdCS_%F`XB4MY3l9wvrTx;(ost(A57sx zk(w?b<{F7k+O56v=fk)2qoJW!Sol;Gy94S?R>*eViOgzg_ABXR*F}$)<XHpcx1KR( zaXBn@(Q7eNX$mRJiyk{1Rh0~Cxm(sJ_;!0^;+8GMyH9^U94M~p-xDQPTs%c}o}y3- zqSYM&D@lXLAj-`q_>m>HGkVA64N_OiMA(xM85HFamZzac%ZA%H5GjYj=a;X#4Sodj zL?s-r8rw<*#*gyQy0Z$lEA?JX5}J$QwH|L_%!&0Hk%1%YsZVZXBpvUK=1j>m$j4Kt z9}&n4-8_X>bDOeD=c98fww{d|k9Z#K1<{<;T*4PRMQ!hoyRVlN>slQ$a<@fsG7!mb zmWZIH@DmCm4-yWHAt8QjVwSc}w%!dg{oc(cYUpq&waJ3#q;%YEg>d{b|MK^5(_1cO zdQTnphK<)t7vkC7N!fHB>as<1o4?X10ns;VBAD6?9H{!eG$tO!(DQc_sCix_49>Ib zg1pXKu2cIqaxE!=CAZmQFFzqD!?K`TVosEJ#Zxv#N>3Hq%sD;G$&ENTnmE-uS(0Y0 zye(K<Q1X5-8#+C)w60*!m$m;nl#rw}>H&{p*O&N}aPXNGLbfi%Igcm$QIQ=b50N5n z@j->eS}rt1gUB_4xM2e|fu3Vv26+vIYA+etdF_)qZIRMQlBd)3!P36?)Ku!G$CYj; z$OZl0ENCS8mqV{??){V>&~jQTLT(kzE=```XY;^v_V{qu+!P+gVfc(pD@5dQ5l|uT z+M?b)rpK!!i!)oTEah#l29dHb%X$E^^;9a_Jwh69N6Ro(&V*Te%#cf4aOBQEQ+L6^ zVlVcW)@!vcvF{iHx9bh75V}2}d`A`rb)t~lez@dB^7{3CMD^OMHa%~gcqcsUSJ|oD z787|+8UZ~BS4Wt<fJ@nLksK{A%$oXX*xz6Z&w}-KH$5=tSj3by^0$^qqSS9=(3d#e z41p@9?w#g_cxE=k@+Z8G8o8;x4yJrX<3K1EUG_R!E1sb`0i!Ht(k=7bA)bJ0l6}td zjaj(7)%+XuP}@RweMEzupt^ID=uDl;ps{lKRtw`y*naitF>5u-&S{FqkKz{bd~fee zh$vP5Clb<aYv&YW*7+KrP%cC{Nm9Jq^8HcERPLxq`GHeCGmaRGJgGL(;vv0&I(fLP z)H_&A8^~JYmht_`J&*y&cpW8$-+~3wr{ohnwwleeOJVM;B76Flq8TzWCY}5Xu__m< zL7JjIsKHX}GZ5J??QGl)5#AfB<Kfh6ct12am&5OcI?$?g<3?G~36wP#I3$@@H5)wr zmAt!-C3;X>N7DV#+H*zSwh++Dw<-DcvX$)B_X8x4vn%(Y5m68fmL60fUNaf9OK7ba z5Sc{WQG?o$@O%b)+ZeF<u+PzIzWlGBAOpo#8!d90bbT2z9a<KsZf@YA$PYj%v9SXR zv%t32gf~;)a6CQUZ#ulk5*W2`D@Nw~pk@4Qa*qK^)xmU0A&3?bxaiC^kN-2!)M+#Z zl3Ar?DO>#dl-iTasFB%>V>njmlpW5+K+S8V;i`30@B?yt0bcCR8wJwmCRlht;sQwN zAcwB#-%BeqVhYe}^~Z(n8Re?UNT;42RiDO)cplcgxio_>3x!zR3*0qA-s>&3UqCo& zxlH+>e5|XGMmTA<N4b|`g<S3Gp}AC;cXpS72*`WC3kS8>KM@!8SQd}*6m@cT3gt(^ z2);J5RRZ*hS@50ff_<=weQ!?b|LT`!DNUMs+O7VKkKEY;q?NX(AtaCWx&oUNAcY3U zK}}w-eUSV+v`J27w)g53GT1iXYd+3Q$HXCFvmUQ-Xx^{duiPPW)rDL>91%qj<9+tW z;9}8`m|$2QmxXB^dgBS)J4yWkKW#G>$)Enfh<IB`86zVzq*s6S{y509kx%1n5v1%( zW+WJTJ-0%pQQMs%H<_(?5MQ>A40G{5th`IN70eZ4YWp&MxLMr8Ft4`~2g2B*hy9t6 zasXpP9h(<#e9b}v1XZOsH)#9&Oqr&}5zVN%Ud=Y+NR&clm28rH63>N+_TA{TNBX=M zCBwf<`IYE&dxrXykIL?q+h{0ok`mEe@%NS5MdFecRmk}{Lgx`qYUf|J7HcRNfq9Sc z{;zywXttv)tYkH>RiP~h*+`PEhskF#^y5)s>mE+xLSLF9RDTGR-wz8za(~;>C$g|T zA=~4+rV^u$*r+1ZYF5x=AwSzWmD14-fzsv%PHJ+43R+~c)vBGoV&Jf(Ky>k%EbL&f zxSEm}EeI^!;mG54C}CbQm$30RJ0c>0wW?$aQ`ER4mfWgjYBj$T?<GhPEx!I+z|;X^ z4>J9ssrh*K-}eJQv%hPcaGQ@ZCSn#D;)pLGxo%y#JFsd-GZw@<PC|?zQ9ikCKVYE8 zRk56&At$`sM<SyyX_?myW@AK)4oZBs`CGDH4I)E!t<3s|p^&;w_cTF7BXdJSushW^ zGa(w=7-=DqisXjy-mfr4Q3louf>1Tt6NvJqLp6+mC8>U!!xxA27D3(C-3OQvgeRfh z-=4Cnc~mT3r!N{Y%UI3H0r|~G{RjvvszLs(pLE;hO&@t7Y+?7kz)C~i*&c(gC(&)1 z&SQk9_NdJ!W6=*Zd^{tOwJFc48(`bL2`2?QVziV@l;0%O=I<WvuS4BWhzmDgKoF4D ztkqJ)t3Vgpy0({c5wmDS?%ndimv4NZ@LOxIGzs5xQGBzLB#)eBIB(8afVftQAx^1e z<lQxb>8+9kB(}aofFHG@?WiTO1qTq!&rzK>pHhUbU+_HKiQ==>YfBl)ZEmpOp){c4 z%to=<PWv;==Mb4!qMDEd38xThVSCWu)XXW&Z`A;X%+ZltcM2k5r;QI1^Tsq(CI@0x zs0@TYJ46k1mGZ$aH!}|Q>UI%LDiBFJTeHm|#ef`1z1;ks!PS3ZI{1nypMq8of`ZSA zX1<_&HBb74XQtnD!k)b7dvlVeHZqgWbeIFs70L$)aW?^olukY38C<GKo14F<u&g<$ zP->#e)7*=_5ebxOu?;d+WH-&ho7}SCMUhX_SEleNX^_ZwGqi(NP7j(ySv2BBwqrzH zjJl_LhZ}wTDD2+j=4{8vkX=Um8R|~hJk3%`rjsd$vWD#w4Hbw>2`&p;v!DhNA1xzC zC!zYdx`QwglorYLZ8}Gr+AGAfSS1c$>`vB73x<K9+e2$Wl>e%kJ|Zwm6gmNNCsd>- zK8}1DurU*Flxc6u99E%=*LB4PJGd**(lf{qF-~ZrZin8>OEiA3#0c3{1%wcrEN9WM zQOqi)z8ZN?;Y@Rl`iKF@r9KcpB%qYz*?Bo28+f;)Yuz=5UrwWz>@gpP9an80eSOYK zt)#C|00=PEJ55g|7D$j)t`5GLK!-5D;e2C1+l<V-XN#O`!g<cq(IDFki~`tZwjxRV z=5rs)VL3G3m4%A|$H*n87V$U${2fynK$$;q@S;s8#)1Qj0<w9ik>&Bqug~CQDdEHv zb+Fl+Dj%}RZe=rB^M>7H7Ap_bWyg8fw$@|TbDOAaTj!#d(FGS(CiW#+0qw_AHgOSJ zZufB?4y%uv*166E@e*0lP|2y0r$C4bffG{q__}_DgCI?@sV#@1${i!zG9|dwH9a7t zf5K>%#$ur%Oo6Y>4Gvr>>LBGETZ7z`-yy*0>%Bo6gVhnk%bMbIe6$}z-FRaUaO^3l zI)k%Vsx4DFjhg!P7;f-xZPepK3xX3%VA(h<!}p@1Wn}2;%MZp>9*%)DV7f#MPgYSv zc)rIXar50>VhToXe@TH6jG|b|S8qYIx1rz#*SXKi!RCmyKCUPr|F~FG&9e&i(kbQ< zY-F4Wm)C%~bf-RsU0ix!=ug1FW5Ho7uP09^uO>uOeb}F)@O;EL!E<XckpCg)5j=g# zJRn+T<YhR+SJO^pX{Tqljq8I-PUDWd77M&lL_rQ&Rvf0<H`Tq`S*bjCx^X82AxS-i z1QkKw5MhG^)yhNxOYjj~)3PI$zujW$rFBzrLG#^KD?sjbb7{f8lOWi2g0S^_%<ETB zu<hlH9K<yJ>5I^z=B6qEo+Kv=j)~*n&b`R}k&NaBhyfIN^{Pz2^scUql{;5^9p@3; zYt#-AWB%Q27@@h>rzn36$P5Y=hBVebDazdsJgN7^4Jd?g7N<JiU{R6O%QEffZI36l zi)0gsTMF%!$e|hw1O!)q)c1J4cQw_BhZUg1(kt-&oPkg=s6{@gdjaN4@Z1}wMonVb zD$mq;yt&UC<&c+mlTJb=ii1A<9a^WhDNKi177eGI)O2(CLgAgiVxnbM>8Cq@R$SYh zmWvbMev;*)G2B1yvE6R8cWcw2NE)7&04J6^B$Kxgf^UABm!EoXSkT;%IbVM&8Tg#r zJzX4Mn5+Em<6vngketbg(>oY?4dC~;LD|wEBwAF1non*1A|4}SVf{^dw%lRBfP+;b z_<f~e+rR*%Ze3}U)C_}fJwe*E_Zd7ILfsrOZ6T`;)3jSF9L(;zj5Jge`sllGEAS=_ z%jvRmwVJ(kulmP94SU&>x}D!z8-UumG{ZU^U-8{kmBH`P<r#iR+B$o%fG4>6v05$A z_x@M|MY(SEho~aiV*BVeuqF*6n$vN`s^$hRR%&QkPcQ10Y(R9|;YyD7NdR&^Pe#^g zC9AjtU!1+RHQ_P6k=5?9k0N_eAiwSud6h!>Pb-Ear318nSrxEf=#cd`6<V%{S(?m7 z)h4Gkzx#<Sj~0o$iQSV9Barrfa|sI(n6behN)j+*W*q1Es@*<P>#g0aObFv@z#!x4 zLkJU}N`vpI;)!q<S-O!o5P(Z>7Vs-2H9%u%c)U=^HtX;fu7e4@nO26APID!?ZQ^9F z_{BGgMjvfti?W%Q?dnjjZQK^ax&oY3#KYyp-LglFJ6E~+)qC61nBlq%5zU?+7(DPE z1fK*=7i|?xm@gjXNWO9Bp?%F)x@Z{)1qHsoU&o||((T8%gqdVnQVAk>yT@m4u=1Bd zozK?u$eaMv-Um3DOP<-QvtFhp_bKdR8Hir94>Y`2Ja{cL!k+-0Ad&4Nkw9OK`*3|D z7xnTuan?5o#Ll;Fkd%e7-1lhLj^<wwEz>gLV86HrT2sKVESU<uN>eE@kX5=XUdH@~ zwC0B6W@xwph)x3d8<K&1cy)U$e|}Wu<Nj2pbFQ8{*2M{)lfS303Q`^x`Bn%Q>S8aK zE~5-(uN2i5yiCr7BY+5cY9{bV9xk@P6-9FO70b=-PG4CVB9Ej=u|;yblEj>-a^Gql z=<;R!Io1oZvMJC;`&Mp7NcqhO<4cQyq?{dQZ&BqNxhcWw?|tN_Sheh$>2W6vI_*K$ zPT>{HbIzE7^7I??S?5bYLuV!-m+_~Zh7fduqICYnuDSNb8}Au0VwS;kP=aZ+m!92T zWcoc_Pyd!+!eh7IyQf6>0tL-nw`rWJabslmbdwKGu^?&>Ho^JyC$cHp)n0Se2h^vV z)IKnHLNtq-M^zQ-6Pok`Agj{3@Rv_NCxuWD=}mrZ#2R|n%1+<G8IBWTL6YQxFI zSkeDETE^>ExydHhg<h<bJl2T&Tu}}-?nnzbyQ1vVkU=58rQ5$ix5BC(rl>{NG^u{D zp@Xu50Bbt&%fUPyay`mgca~>6<v$<H^HvXUbSK(J%N+htAX~BmX*fDG8wn%8^Ri^m z)lKb9K>SWVk?!p69+_K7g2C5|U2*ewTeVNNB8-YQwix!+2MzSb$p={ze$eij&fzaI zyRB>DYadl9MWg$k(O2N05Mn(M^<<TY)T7(1%GZcuoPT)*YNWX|VQN6r`+WwWP<T#t zJzp|x%|d^*_4IeYvNk2L5#2mmjh@D`={|Z%A-QFwm>0<9Yc$~y#d8#yNwkMD-DZi^ zVXO4C0Tl@-!xLqyfIMYC4#4_cS@^<)V=40Mmhq^fNsw*+JikmT7ZZgq6u}*J36JlK zjjNk9eSD<_tgB7yD;t)HBbxG>JQ+1aKxye4g4e16Pdi-gSsl*TcS8#aTuK411dRL; z>!z>=o_xhNT7`R-98*W2t`%`w9daB{Wk}gax`&BM%D~0^c%tS-%Rim)8?{9a-O+Ym zE6nkjV-$AViDcJ@B({MQo}O$n&gpk5!0$t(ih*IaNKhH5AAfHOA_t1kfi^DP7Sy}n zkz>5$F8ZL~wnSH-pe=J~(DXBuZktZ+2VnJ7`aK|9hy#w<1m?Gw#O5M~Kw5M<%x;d{ zYsxQfhQ%Z)Dsc-<dAL<>RR`l)axfpRD*OPQKB$r8<~J#~hzD0t!3V1fQ(13Rj13u^ zxadaQR<e3kyY;?(@K>C=#JaSWnpHHitWMt}!#82jvhI^y9_?8yO>4C76U51kxxEgX zHI6SHb5gH|!ONZrwbfBdXK{pENM}+Q7GgJ@8YHbh%@Acud{O{ZsQ4AVY0VO$EV>pc z9!R!(yNM~0Ge%~^U*3Z@$bns^FVLZ#H%bU3!%@(<#@0T3Zj@Cx@F1a=$(&<u{boRW zd8~xGtaOZw0HYU@QL|^{N5y7pYBG`_>MN)baVXed4C{E~>e1i&CN5*qgCT8c%HfLc z`Up;Km0FVXM8QPMm0YUtczQU3_Bzxy@~CWN1hjS0t&%%0Z!pBgiYhVV@ZNt7Es9gO zSntjC<|mb_9k98(*|Ah?)Oo=D$DSY;b9NFFGanK~%Pc=2V31?_RqVj@9LfCIZth+J zi=b<Syt@C6C&7J=;<#|0s6&3&DRs8IH&vB;ri*5>u#~Q)_I=Q66p{%Hg0_<ylRPEM z<WPEBWhXfWxy?yc0-)hIG#d;$91gra0xYM@IMFyjwnc$@9kmULxZp$vqpYPmSd2{i z7i91AS->TwlYu+^IK!#$^x8aAuI2I0d4o!*aLVsaPvX*UZ{Quw0g_VC67Mc|UU#XO zX$lFUS3z;cxpGfH%B&@mZ<&jRzFJRIfqqwjs^`5}In`GOy}4wRoJKOgloCWd_1=dN zIvie=;K{ki)MAF$(AZ<iA(fygFYE}K_(8aQnnO2bQ#MND9jJU!shV2gWT75kREY9j zxJVI!bdg0~1YQXln@&x7(ECz{s^(9fj4|^ce6*rFRANq{3+`qd`9|#zP;OJ4e1Q4% zjBspl*VT`kX~f6tihCAfWRMr~fyyWB_;o8|)o71lt;e9pUu-KOq+?wU6x&U8b4#Q0 zdeP5@lKTyME;{+sX>QBHU~lY+6c4EU$a(~_QO6u<%}Lf$t#Ddn*ponQw6aTOHZz4w zE&RF%Rey`~t=lSvdTEO*tMEub0uC4#taT9}ZwC1?fyF`^?z+?cw3kTh)X6C$MrNw! zv-|JT)QxL9BozC@#tEylW$cy#xqRx^5N@KL;i*$La8DT#!6xe|ktBN$!Uu{1`j%cK zA4aW9*kp{awvFooRz|m1D6Pges@4j6Avtb&IROUUJ;c*QfXqZ>%ERF(_31`4Bi0uO zHOk<Q$FUV2ErmN%p@;I;y2F+nOOC9uPw&MQbDDFoe{3w^A(G7!luNN`aHsX`V>jmj zKCJ-`5cEYAua-)&$YN?1HMap7U$k*@e6&#gH5*8+;06}xlA{@i&m~1-h*{(|4b)Nd zDpnrGEZJ%-DqXk`Yu{nI)Jr1hHy)5Cieb7958BZroO2J0wj8Z?y-wL@pr=bn(0%t& z(Jz$;vM_9KTYS*?+;JF4A<^hjcf5bdys4iLtke?Fu#++b&V|N*G*j69q{(8zUuv(~ zsvS>j{zPqk7^~!UaUu#@fJ<d0)=6Q4#Ej9rRXpC*LVLu85&jHrYL{fb%kLFKbF7Ed zxSrO0yXuj!^p|0y-e&YASzDz3GxseI`rm=jb*k^=_y)9Hue>NFV_boc@l(};8GbLp z>gKz8A;**6_~`R9c_~iv;oh5Bb2AcTR(pUHHZ$j|LH|3nD(gNYIq<ysvbmfOCcX}L zrKUJLRN?&V72DS%QumMYW()+79vr*&TXv=BkkHUNuw!(Hfx$&$Uh$RLE%&7%Vfl-d z_+|6e4+`3%&9nJ+YF=;6<x(&9XDI8^MvTK+VIP*>&w;KzD->5e;U&o94(w9e%;dH{ z2Cb2}X#uSVx=CEdF`z{YvhyN-6y9+8J9cj2AJ?|*>vrZ3!qu%*RVq_xs!ra$z?GtQ z3*vS>?nhTJC29i92JQXmkUKlwN)Yk6q~{%Zi%Y1Su1pes4Nv4?a_9cws*E8h+h-Rf z)h!EOI^7!t9{3762K9;$^z=5oU}q{|mBJf9FmN?j-K25F1(a@$>xioFy72p~oV^&! z3<(}~BJMo-qG<{xPh^b{fuy!`k({?-n5K2AA`#YVh;UJCUpaG*VZBtZq?IlhfntMi zMpmCe9_wx^qHrhssS~1GWs^JK2VI;1*U%GwdGgpM(DwKc+Fcnfww|h>&8gf|YlCMH zxh=j!qv_4d^UJ25$=Sgh2HymoXJN-`ht-`c#2P;u<THz<;rA(?RsyNRr5DW$DrE~U z5LQYL^x}q=OFfYqEx^O%2g6_04sUX9zK<T3rf^@)1-AtS|J;cX=)a9ux<`a$KixOs zfIwnHb!+7ANOKN(z@@(WeCD30`8*!%ft-uLj!1RJ-1bxR2?58N&Ad_Ipzn)?r$Bc& z%$sH00JP{xkNQ1^Eb^LT0VUWLg4RT?F5JJHzgk&-0lLaNy7heqQ*o#{A&OaeqpsKn zacjMevokY?EBD8TmoGt#u6*;vfvA_%#agK|?*$qzS++llk)>0TvGcg3Lu}2#-tg`! zG9T&a1&`vj)<WJbSla9DzMp%oF+JUesxHtXcbG-iXuF-alUgJC;yll&1zb}BC~R^W z**ugcGxBKQqq3GOy$l6tA=Sfr!NDHNGnf&djO$*uwhPDTBU!jB5Veq=@vWn%tvVqn zr2*9NO`0EQs%*C2xZvq`Q42Vj^e_2z^UJ10g=UM#w0*j-NJg~-WTwR%>xxYYCtWvd z+u5I?YlXvoyiq^+c(zb*f}{GA09SBQgl)gX>M@1wqb+YNXVtVVm`ErKnv3!N%tDab zykT)O7X@oiaZK_zNKx;$is9#%hkI-4B6kH(SAdzesKap4*{|+tAGR#ald@;B)_eQ6 z0YT&8x4d4{(|r5e#L;c9F)nRUFN9z)dd7(zZ;S}-%EBb}hNNdhLR;r&oyQ!Nb>-sY zdKjv)td1UB0Kt~zGyX%jKD%r=eTYxr`S$iWmmyFYkq}*SCj#NYL1d0TQ2>WZu3OCv z3)OUdl|Gx`kOWoGD~C;=UtHGn*a3a`cv=dy7C5P|L$|m+Llt?7Iub-hUq*xDiw7ye z)kkCN!J;PzgvuK1Ypz_R4r*{!Q1p?#+FX6yI|oxtX@(Kd>EmF{75`9#`@7$o(Lq6D zBm}*w2Qw{my(C4S97KA$m}M$XPmVglafCywPsl_H4F@zk8_RFcGi(5#2^M5=BHPqx z)SwS{#FeigmG98?qa-4TAG+2+64#-^ty}l5?zY}KkQ7gZYCu+}#TB31o@~TRoMNEt zvXw;(DYJWzoK%!cn?ISpfcyJEFYBu#v+|=&IdW~Se$-;-_K$%EE{z;hC`>l`Hsdkq z6APBdeY}Sm0ge?KUbz8(Yr5pmukfDDZD(;+krSBf(Nvt%$bE^*5(f0ae4qw<XIlbw zNtZ#7?CxSWT{h|0#!ArR-`@Z|4*ycODYn-fxgL0-*q1!bKr08*`xHWNDdRSS*=wS8 zx<=T3gJ3?V@~Mn@uO8<yCp6?L@I+iUfwWV+;&QHDkUNRs*Alry+K??{;pu2wq?Y?y z<3RGLK{V--0z8dOqPH%!U)E@EbvXB3VCYv6jG|=QosldEB_4@lz>nNY51>RT>C!1* z@*WuFsFOg`6R4<tfp~1``(T|Q(~|y8_K09z-uTXs0?Zd$mpHN%@~vqa6ihh`(?N@5 zsx`*h>A@}!PgEq+XKNwRDz07wJ-s4O2PU}AM*&`UU)|FudB*UwojS~R*f7F}E?3M8 zw8o_B+ku>)skN%uL=6ARS(7!Yd5y98u3?*^-WCP<8;EJduQU6=2tdz9RC1z`h_U^n zfET+=;1Ov^rN<q^cn3*W8Cz_I^k?97;MV5ibjq}KW5<JbIei?nnWCMT2^4INpa)I? zgrUe%7)p>yYWtC!rJWp=h8J?K!*QZAMn<v{cvLEDw0s~1KL>xLHAh;STr3|u)ULA% z4do6K8ns6k*5e5pXh(fYt^gsx;K{)Po-^2!gb$&PDB1f%*tyE(0xNRmCH*!{I82;- zYNAi6YWfV)e@c7@Nu)Md@HYuIqHbR{2}Zye`iX@gH-aT0rqU4z3H~MVUVqR9377AC zZpD#Pb!avMH^8A1;)C8E*S+Ohhqk((Qfqn*>Hyu+rp+Ah$LhHxJ$Gph$brhrVO74a z;8<|b<KvtO>`NOHSL6=<5&T&V&ZP)iKV9E$cwB7Lpe&=^E9mRP3i<P!2?FZ`HnK&J zd1cOTY0D4%Xa=nfsqvj6$@r4Hf}u);rgh<`&wgh%qZXfvKEq0c3>yl5Anh|=h2q&* zN}iZAk?}-53Fv(PIS%4jyGPa$)SEv`u+#b++%|5vtX~#3gzoP;>j$e@aj-v}^@}H& z33tg3G?HY{w2<_Qu^2MYdrMjFqoOtE%;A%RFQ*(p*$5=TuoFF+M`?23nMS~RKdR&x ze{X&l<8w_Na#OBk8?Bg+Hdl!FnGa6&jK#hH4_WL=M0Yp0v{%aq)XWK)?(s%Vehpyx zK&b7?W$mIP9}k|!Nkm=gO>0K?^<?knnHsmrje6bF6nK|IgS_+_lsUfkTfP&Sw>uTq z$17X4Pu~~@L^dE&wCsJyK{n?gGR&<2-RN?tryo?MFGNZ`ZwN*WDd{Bzgz`eKwGo2r z6`c0-Z3nw`Mg)q}8!KVbEK;e$u^<s?q}oVK{17xsT|)HsFiC8bsGUg8gJQFY62BN> zCw&+lhN`0}YEI2)_KgSiDqT@?dXAA~#omZH=u;JEe*&!x^%iZ0Ptk3lm?nl;H25q> z3fO3gJaP4(WJC!%|L*kK%P*M&Ys;Pzi`l%e9U`zfA7hO^^<#&ZPQJy~+ay1=aGA*^ za9K?B)4Tg&G(<Od{)k$?lc05P=RyW%G<dR#aXuHEI{VABI9y)p(|Sr_``D=&9JHH1 zj^s3!d&S&xguG}fnh+<F41GX9mNd_5M9m+P(U?Uzt%aj<g?c8;kJ^jRa$H&4(-8&L zGc#E2foHEk0k#EJ;SAbWh|`4}qSFbR8>kiSQ?dx+A{5(qw%EoBUKW4RoBKQi@t{d9 z*co3IIP|395>vt{8&w@Rgs=gR{vc*~aLl%Z9@ysSWs@t;L8wboAjf5i<5baDxAo_9 zS`>sH1aLn1DLOPnji|RckZsx=vM!nO-9d5vYHVDj4hXGlTI;@6V3mYTY^EXC+sgHX z2@<yA`~{sJ&nfDqz_x+NXjq%DZK7ls(geMA>0fJHQWniG$z8ofH+rO5=bS@)YPo*P zTg>J%ny5gUJ;fyGL(8JFj-)78wblL^0VDxyle9*mYbxt|?Sg|FiwCE#Jo*m7qaW(i zL8%#Yr%}W_r#5;!{<e3CoO9P2NtEwJk=lx`m#<fG{c0F5u_-JGEg42FcwX1n(A6U) zp6~p8+Z?g;B5kO@NhN$fc8-QsmaldFmycd9QxL??IFQOa=AelDCWGs*zA{mLdayau zDhrE~po<Sz`G_zX`d~HikqgU2((5f{jG|DRFP0>etsIrSOO94$_yL}>@h$Zy@YHsU zn%W0?TA#*EOvYTtMk8!z5TIXShO~Dwltt_jHQbpiKNa{{8yN`BEMZmMDWf;G+v<+I zkq|7O$!^3nl^dm}I5TP2+Tc&1tY(^w8Uf{1>muEUqw2%u4C0PMY`m}iGSOUVPeZ7{ zlOQHeQdP}N0S(96wvB|?ez%x4!4q8{wZ$#5zL4RClY-U`=q95d#7okT0Zp9ZzV)7` zB3q%L!D>;qlrl_z2@5Z<oY$z0WE9!}k4i1odSjuFHz_Q%v4HcgppV8ZP0>&BJb4q8 z<$l0n@be@0fC^o?0gzjpx2(YvG_8yEq+BLlK+*(y{~Q7jROvOeS@$eiyt75-9oV2x z^AYu=+-9Fj?_qUod4RLwK-Uw{(TUK^0}nbhXib9$i8jDM1aUBBdCxOOTxyXDX?{M? z>q3=!zPj)n7hba{2OnR$iE$aexkMb{gMsl1{&DdN;f)Je7<d;a@6?E0pt#I;^|d#6 zZvz)y5{GXrP~85{XE!GAT)?|Xak&OQu|x#dS)v647~lj;1n`ebSKtkc&;IA^524z* zH%A$&L+llb*jW4}73?X|%x1&i!uMb5Q_N1<{p9Iy%Q3QG797m;<ffRtGh%4I^riZz z7@l2MMw^%k2gU3c*tcez8__se{3hnz27Fg#eZ49A47f<~9>J&XU~!Xz_gw~jKgDD* zDc-^A#qi8Hz}Q6eC4u0r34DJU7k+2;+O5euXV?6hq6^FbuURI6HZ$$elP5NlVDW!% z1~+{7_kM}z@4y`BReTOW&&IK5L7^eyniPG7Qrt5asSB1oxrLZ1Y|Aw4HCt8;vHj>h z7Iu`L<{C3O#$%(-4So0VrqCFt(CBNNyo1F*)cpXA0L#59D*>PSQu-YRp(h>iMsE}S z>c2~05&LIrU@%zy%zw8F_IbY4=kUL%6j1g3Kk>PGKK?)V81P2l4E}qW2*85_{eu{K zV1r$wS3eN{(UAa9CuvNj?Kf&}19nQ>>VrMyWO#Nz)VB)F#<S;g3Jct%SF~}_hTU`` zUwrQ~E7oswqjidJ2#H6A#g8`DnQ`o2oW0^A9Zj`;ezqB4zW<m4@64KC&J7KKho7vl zz^|>6L0tcPpXX5gudAa2{-V*v_x-Qw(Ga6;ZubWv1Yd~;e~BG8fq-v<()Nj3*@&Vt zXEK1Sq;L3ZbboqUb$eBz!->8}S@f<MJJ=+_(3gkNR@)@z6qyq}RnKv;BE+#0vW#9d zbuC9Y?y8kFNw_@brdZ8(crGxBHs6^|f%gD^Idf1mU|6`=ZvqJIR{-oYUj<&N&(iYG z*uP$fz5ra`jdpC{!C;W^nK%BK=**YF_w46ip5N<E2)M@A8+?bp=ieddJ)eJiHVS|Y z@87x!7yZox5Bz-#DlB9&Vb1En%Sy=*&P~Vy80nNZR32(ms7uSbENQl<6gm{9TIq4` zR+qSQgMH|*wAB92O)L1#x|eOJ$2_J_=YjSBn>6JwRx>*7mS^amFB-kWKYL&K6Ng~S z2o0t4ZPndP@aEwm{ELze+AM!B#Q3{n^#1-u3LW_{Bt=0QSUxozadZnphxi#zz|Mc} zC5v$TV_^w+E(n3Y2%dp*HrF3VIK%ZEIvqbdPiAcOR>8u8-#qSpJ^k@Rsp)BuotHvT z>7rc;m4`Mr<3OGz^Vm!?(t<fesW*oRZ0W0%qR7iu?0%0NBH$jH@w0PNqz4krl({$Y zvVFZ(@RmHVg3irxwmCi%mg|4*bH-qQ9pDe4fw$<D!ST0A$-xCvXH5486+muZ&V0b; z2Hfj633LbT*Js=O<4ho4pPy~_j1kX#faEV5{zbL+9I8Kn?A}4s;{U$rkK>$i+&S|F z+S-)b*@&5^<uGzrm*5EVr}p(g%M7UyHw717k#yU&vL=0voN)1U(pRlN&G>%S&IO4T zdQ^wcWQ1b#4Y73I6(@GYiKoDGQsv1`-fjX^{*QUi;t_2Iu$KRT@$dKllKsEtMN<eR z*#1yk<{yea3zjp-Kj$;J?GXV4c5vn#2qPn5kPQH`=*j;02;hrcmHGeI>}S3dPcic! z1DwA`XNGetoqYvx+3@SH(2@oXrjS7e?c|eJK~fj71mEEI_dFD)n)#(xrPSV1X!Fr~ zt&Xa&4>dh$Ca{=2uFzgy7?|0p7X?19Ftd=%(i-qACX%Pb5}cy{j%>W&??8@ac>&J9 z&4e)nf3rgZ&)$+1ILkhNoSEnD-|+a4>!0PRGvrKo0XP@_2?#i1>y9262q^3yhjG%T zSbg4+nG7>*%TDqBz5F)#4aiGn9{J(28A}QwdWC9kgLQ!F4dpWDv&^#74R_V#vggMJ zrX4|k+q*cXES*8QisH_Ri1Y?M7l$fup=o&cHUr@~(Yd_=E(UIfac)%j^KC*>JU7RG zdFVe;-333~X2q<$936=J8ZNd&0QWm3IE(84jG@r@fGUfA#rrX>Q0S#>#_9AcG^Ri8 z&A7SWn8c|GWl(514d+FdXGEz=AGhuYnfWSj`>0g}Q|ycsVsksEoQz=sz*<Mm2m5E| z{z;lOXHEgw@h>_3li*oQI3~Xg%AKW)9J;?zgw_=2%<;cJ>sleZ{&!SGFnYW2_){$M z#lqe*A@YZA&e2DI`0tprR6wzVWBw=8cfm88T`2j_t~^sVt43|vM!MwRT@B5>T3c(y zW`|3{4=0XQxSNz__!od)lIzDwpYtrl$uz1otDpecComnc9OzB4df99|#$>m3S#=I< z@ti8I0!`FskV$lwhtExQmS_L2oeyrgM+5z<qs~$Yu)~>D`Wv-pa_bLv|6B;5L4ehr z;R8NAzulPzJ9F7Tz7THP#hBgv8cm7yV)A*gOXoID{QD6ab{KTdhQNJadz<)Xq^owZ z_q~gVp4fV3Yr~)9%$@Mva6;`>PRcw_B?ZM}clONanT*W}TbtpzBsC&Ofvi!rku9sM zKwBMaeK{mdF#Zha;vZB0#Q`DR_ScwrXL|39eE=jiV(`a%H_pjphW`JHA^zjo=Mesj zm)0HNX5d4Y_J5G*BtOUKZ0djDIg_t{7%g+`T&$h}<ra1Z9&{#!Fex<DR@GWp)y$OK zzC|DIPO=mN`g#oC$xPW^Z~LfLp+fO^Tjo0gUN7dLI-b?IT`va00)YD;Tz^o_-r+-w zJ+!z3h@!P7@OQf#e}weecr<GQtqth(DxMws6X;BQ{?*!OIeO=>_y5P_D){JW{)wkQ znj26#dYUt;`6pt4e0S?|`{<1py=cS!>sjEYXm$T*9l$AO8mI3-fIsToZctnXW(?vl zioQ~)q1{@XvGfJYPLi8DWI9ysJ)$;Q`V?rk%CXAm=!ua$qR|Uj-9p;m=Znl((i`(z zYMpeG)hupt-v~nA6qpz7`e52eXRHJuc<T+E4fq;*p*3g#KxClTf`*U;?Vx`_JHr(0 zs#Z*%53ajI0HN{gg4O;R@V81h6B4;-xEHT2{4?_(*wDFq@ft7Q$ld=7N5Iv0&yaVk z`%h~5g9p$uAHCzDn0J=1z2gvX2YULceyU0IgVnCK^vyQNnlG8*8yuU#UTzyPKc2ZW z;u8(q?pG6Xq_7}9QIRfI#Z}z|1;#%{I)@#tC3e4{?Sw}DzlMUV9rEC!HL@DM8va}K zb@0t20#@`pU?E_RvoHa(h;yNd<7^hNq4P=p2{QPP!`sk#SY=^l{SW*82h#!XGrs~~ z*Ai`}nh_1;;RqvqvV2Scb&0%aUoK=457`Xpr%=T1<{P?Jq25kxuIfuQ^Tlj08;r3a z9>_`VmseJHkJSF2GGFZ0_lOJ6Y0fxLYmH@2CxiOZjJ!Gg^$sb>orLg&Q%r7jv=vdD z-~Vs0gN>dA#+gVv7lQxl5cK=76Jod}P@2a__~2h0=sn^ru)i290H^sU!TzB;^c~J! z>PHNFBJf$9jAUtH#FeZ@ou*njooch+8FPVZ0;g{Rzo!_z_oyKHYHPD30$&Fk&mvmS zo`0|QDg#{|mUS8^yWb&xsSjieaJ2CAg`qu4=sdjZ#a6&?bj<wEAU>y;e;`L2_U{hc zpK!x**U9dklML*Cj5)U(dVb(m1ylu8vtNwiH;?5p)Zx0vcOYgzZ|3P;wfRB2XWUs; zqU8e|<<Zg0TSsaZm%v&nG^HzVsw;6;MB};Lsm$1XU~iLVugSgMxAmAg;uU9cbe5TG zc6hXM5yY)DJ*luTY&K$-U!9pEUAed`lL@wKK}?mF;;r??&;))Sr)N6u4}$?i(V`>Z z%x}T={s;>2_TK@%-spr&hxWn0_5XRKpP3d!C!ncwABVr$A_ac=ABR5+Q}pzI_2>V* z^11&%cmB`R|Kjy`W)tB^m5gwoLZ(Frv)?jUYsNqX2dBt0lMilno0+}x*c}+07^UiW zxzAq$1=@)-@Aq+JL_4cXAERT(?V3RJ;n8-LnVFY)p;|=?Xb&)%2Y6?>-_g!!<oWkz ze@OGMkD+(*e|-t)Q-AwkTKh{r5f9<H80V=EPJcoS#T&>X=FhYBUj%Tl_!sHB3@k4E zPXzvDYLGuvQ<{f_{`Gn^k{DR$%I$yR^iTT#Bf8OUi*tVA&Rug3X!1+{*S`vYB_Qzo zymfzHCr@!svNE?89%v@bPIA=#R1*>fP^eUgKQ&)M?dr6%;$<R03kc8YoWaqV_VRza zKYz_{0~%6*rfj-E5qM^_zl%A`eP@yc`>eT=Qv#gm;^!O;LZd&}n1B-dHJatniSokP z-)Bt`;6r}{4}6W*2xqOBvsY({^DKRwH>S`#{Zo}(M#GN@A_}w=(68WA3vBs#O9B`V zzhv<9fv3mlLWH)K_c!id;?_70LI2bxdPCq&=+;|NF#4z8z)xY0v0PB=0O#Q~V(2yT zUq$aPqV^&NADqn{|EdZe5_)3d%pHMo3FH1nezu4g&KURb8`Z`_eihw>_O)|E++T-8 z=wHI1g&55Wofo*C#6Ny9`!SZZ!&>C7@;+nf;hxXzf-)~_)q#Xme#?{iMFU6s;xO9I z$rz2a&tbz4UMfh!v#s_r_E*G}tuor57s^78Sud-`3tr}@7139imY%5K3NBMS(Q{9e zvKeVxAbZy??FQ=auN7scsp5L7PWWe-(~TWcW<oD8%LsESn4vHQUcxY#z#64zX}N-( zX3eYL!H$Z1$NhdW>yvD$bo8z)pE?#L<Ky8gDU{!BSEVB**U}RiEN_y<6p^+t&J85E z6lmX$&l#ojSTb2_w_%E`i;?#$Gr8XRI-+kk)ReMpuWJvbu<@+1h!1BjT+6Heb4#{g za}Km|``b{}0Zg8OR`JpD5;E`cy;j;Ifq6KmIpghHF|D4@?lwO*+m7s#?`a;iv>$YG z7l>8mbHM)=d6-OTcE>C%vM4f6Zb=$$PiOaSW_Tjv67#ishJ2R~p`|~DEo!0d%U|wp z0ZY>mK7(bL(_2_6^QuDzS;Y6$r(U<hZAGEpFEa9&rlGL=7B%=TIuES!G-$b)j30m1 zP?060VqkcuFyvWP7LS8s4Ed16@MIdXi-+B0|LB3|lFL@^OyVqYI2Wz7rOIaS#e`VN zE!&#Y&rg5MG3j+n;j*TOH7n@O%6u-OA9@p35W`xDkgnd{XIMNgTK3B>gVl4CyQdLA zBR?!lD=+3d;PA>P=JFZWnM7G!T#bBju+u>E$-b^+I4P=MVI^@fTc)h4x@C}lG)q?V zqhZAl@~lMs9Tr+t6m6MDK-O*3WxZ)u|6yw9<Oz$?q*-0B^e5p_E+<kktT{1Kx*UX^ zbfNp4;gqipbvyz*uVLb?sf!lwf5=_lf{3y%)(#CTh%#xkYTWhzX1+8(xHT=tB-xZk zdg%tU*o2i6eJi!hF5Ru7n#U2#PdsC!RO)skB~?TU%W(pCH17L_^Ej%<&)DjLCl!Lc zTL-+w#RO{jR01d6A5nYI@6gOfy)jn|A61r4?c@x7-C$(2!oLtV%oDK~)y#ftKn}`( zV)G(R+ex*<crh#+Hp8OYv3kFCDc+vBQzo@!lH#Ys1CEu);Xh0!zE%x;9N%1*8nvwa zroSzzb+X&0{vI(UP2?eYx0n&rtUIfK!FubNpi}U7QJ3JZUxYG+ECJb@WS5l!M)&w= z5WeaoOQC^Rvf90`33nY>R5JTcv*)itNzYC0rS^(yPEVD5xrC8O%oR5`HfG`AtZV7y zY)hO=?iWaFb=uS9(Ml30Hzbbgtf*FX5`P)y!C{lPB!#z@n9bAwT$HVzM@vJ7g87>D zca6uwmRG*Vh&G<6;1k{ySL?`Y=PC)-lt<|<CzG4oj>hOu^u`sNf7H@^L;5;}7qZ|l z>5185>rx)M!8N2a%3ab^|M{YI>GcGoAC{dY+wYNkehQcrml{JmXQ)2Ar#zjTr+S&B zDDS3Z5Pf11@~orsA@QqN(y6b%Tl9_|vX);Y6&+VYRSfI6NYsq_-rr@KO^<f3*rmTe zbN61%Q=VIN<heIIG{|k%Xuemzy5U*_z1&r=L@uwmcHNAVPNnT9!8524jNgV2uteV; zyJY_EjicsuPDOFEZMtE$A@cj8L&9!r0mq3ff_AVX%QoJtVy6;1Cr<Lkdt=2DkgR?H zDRI@>2i^UfLgh|PvDhqHF9NQbWnti6KK{USAacxB-9=>KuBRcC&D!dD_W?KA7l@?u z4Yq1nrbbvzZyvSAUVWZUEVV~gkj+LT=kRq;$E>7xLr7kH!rfdx{{z3g#gNI5Z~B)L zKIqZwu>8`->T}FCWz-%o`u?Umk?Zv+Lao!$19AO>u!TeS-6=+uY<=yqSB1qEL*Dx; z*mLW?>-Wg0S|f>q3VK7w-|Fh$w|@;C_qM%J;V6?ceQs=Drvo>Uz_HkE8m-!iA};w1 zQ+AL$c+M?8Xca>4#e7YsFwTbTXg|K!kb3bet$qOS2aS7}DKENa2KBpfhA1((SoLgg z@~Xe1{rYoNK+3FTd@`)FrpodM0gYeJ_=$!@M=i&M1*Wf{e!*eNvfJg#hHT*&sGwTK z%be0Jv5QM<=9nEL{xFn=-ZR$p3T2CEQ~N?{r9O1yUFYt`_3}Hh$Na+Y#mdZPLTI1F z%OA7pe0pwrE6-jeu^^80y?&u3mX378BE`o?=`JTntM$XQWCa7?xv1X1&b%!_Hmg9` zq&w(z{78*4a`%e?)9FWyfZz|G5M5B=>Yit;E;$B<ZiNo<{ScAu`TR72;mcM~n3h6n zlaL^ru0YI-gUky{OgRE!n7z^W$l+BhBf|U-2*u)j?xnmYUtBBoj#&1>@?t9IZAkaW zdiO$PsPQPwGb#0v$Ba&^Rgr&Z5IqZ3_rvGLvQ&zY&j)yH(JyhEntLYR`K`ea*|P(B zN)L)E>+&c2y#j0bcO0-K)68PwDMF-VOzs;u<%w?*@^{v{>|Nq}z{f)4^LEpjx#ZiV zN0<7jOXpBAZC&$Y$u2>{TX<efGy2Rfs!J9})!MZwH}Jj|3cv!}+9;4DKUPj$ppbGc zz0@n%7ELZ5_=z_*YcW+H>R$}kgls$G2rPCn>ZLvj<LXfQ5&2ycx;b?-6SHOQ&C($E z8+rv(j23~f<;n5s{)>mLY-8iI9Bmi~vilk}#1(YovCX@@C9c#tv{WUNZNZZDs#p8` z%K{Z|Ft~GUzfKitWE}B-RmU&0IL)FGZ?a1qYeVv2>Uy)(h_hkM#Oo!0NnFT1d7K&A zoS$#ZVMSb4z4$i523aGBQKD|S$2tyu%wYC-jBQ#&da~&ETbbmiw`N3!+wSj1(eHO| zH&VO_Z>FJm*2igoOS)Sc#=-5&D=_;k`?GBLl2oYLt^?b*sSCrZZ1C7CoN(KU*bmtu zM0l&W8?Fj0=*Ir6m6<7-=jO_SFwCAAAT&E@RVNW8uEK)zpT1labfwCFqbi|q_Ff5- zL+N$PyzLS8*LTAAZrJeM)2hDG_?BBX{vEd{1DP<d^d#{;0)`fuOu`$xTJjRdhPup? zZ$x@2UGHyI-VS&$YiPu7Re0l7pr5_&TW8CZDKWf<pX;9BsJ4(JzH}caM|45M_?j4d zo)=;!za@Mf?ZMiz=TeuBpYz5LwH%}}x0={$iWb*CP~-9BZZ(yaENa3apb?6EuAT6K zV7zM%V|Vx3?t+iTj9utECdQKOaXm~XUy0EJiLxr@pME=@`C<&2+pHKX8jnO0HLK^W zCs&L5%KYH;wKS>O*~?M!qIWYP)h@=F=1Y~k{Z;7!!CKG0-g<Il2nr*putB)vnIMdA zw1pt&ZbZ_@sy!PN)k;Q2w~8F)F$!N5D`&V*Eg|*zGtG=X6ZOyS3vv!G+rt}FEyWx3 zRP2mkr4B6oqQ30L93{V~A6&ioQ#WX`E%Ns2gVeMR1&vT_Pi>wH1NyG6;m{pyDgXF4 z&)!sqo8l<_tfc=Eb|Wv1^!c0Wi_SM+w`d{mM@;!N+_GHmd8&II(`=ta=8D1(!fy#t zH0~nLm<@Iaruy<%8keY*SWmvybX<>`zwCsh(}}pY@@v7HGUz!0j$#Yz)n8#O!ZWXA zq}9r!1Jy6e+DL`Xx<;lYAlha-p&FSZrnZ7pIwP38e#%AVo*PDTJ-yAhIrA;T6}^Wr zv#+K04VmbYI!d>z7bOte;Y&zv+)m|!rTN)1%LsqD5*6&uAKh3b)IZIBqXh5AoUDta z=9GH(74sk~9-JH=RN}RnQMSvQ<eB^p-xFM9a8Eo5j0@@{#u~1#TsB~GjevT0Y0Q{Q z@ZR3+q-wK%7%^(9vZCIIk<XynNE((b(DZz#+9lJG<i~}_+ZP^8yIeX6b9<yqucRby zNdLHy1Uk})d&_Xz&bCc@=P-qQHng|?U2SA=RH#nm!Z)U8O*O^M-9g(g$Sx05{rHTv za9!fXa-;|Cj3Oz~x4T&bmcoY*p^Y~f0ejf%J8+^KFykw3B+D+gHfB0omnxYT@Nnr( z#jn^z%XpW(`1$eq6WMzL!R`$7l2;x3$!uQIG!0_NPSsyaJYKnYi!O?XHlk4~#>e#d zE-PlIX}h<mn9xu9a$o0LEq7cVayvRxUZ7)p`2C~Sv8{4{Ey0X}{-b9q7ETn9s{J~K zl{2T32p_B|16NB~d8}B|Jt<G`7B;SMaf<Nx`ghMn%-9W%VER=`N$`|#(DW3FSR{!5 zxWT7_;p3x@1T!3+KD&hi`DYj&Q{DWBHi;!0OV6G9$0I(+f4`*r5^Lq5fHZ6Wn{jQy zFUXhd7EVyA0uSuLsNIP@P56tq(Ds!>Zkza)pi{X=E9JbR4GmM5uS4#wRNBXmKdWLD zI8K`CEG5%^<KH93GrJ3;d~ID(KbSMoU^-JZc9gW%l>64vq6DQC%d<9j&;`wVC7%}F zV<EX8BaUjHY96I|C!yhZ{mRw6fziD9-DRCQ$H_v{))5=orWPJOtamm$+Rz0Yqoeev z$-)73HNUEGYPDZ(<LjJET*Uk7;u*qBu0hXo!&jedVfSi+zizBcUi=~{XWSGwPS*YT z#1lokfRcBz+G!ufiiTdPeBKn=n7f?zU5MtJNsS`SLV{M;rHw1pN&UYtT%HRMiC1*b zPCxCmOd8p4Iij<$Nu&MF<>DU=<r=sf^tK$zk$nhz^Lx@YcId5_Nm#yGa>#A{&v7}| z<2A`X2wQ7adyOIXjBu*fX8mq8IgxekUigR`IDhB%@YY<><n5H4vMqd)NR{M3dUdfJ z+Hbh4SG(DBhHWf_nf31`A~<2<=7m2Sg!bp09(~ux($lRBrx9OMPdwxpA5+{k4xMOK z=U`97!A%O#{y2LuL7~z!VOVg2oY%IVsJzzPBZ8tEaEXmM*4Hc^zw=r1`=zxPF7ORP z2d^S*6kK&mo{WqnVpA*31m|+n=@t4PRaenfCxKt<O$_koBKUKuxb^1cgw89R?3^6@ z5!O?esm@;(hfQ6!#8MFB6XSc#AtuK4h>wqphl5vw_Ypg<m;~>W$J~#^dARvR?g;(= z4$-{MDr0D6>|k<-ot>XI;>FVC2auG>E92X~>!qjE+}&*mnrNeV0)4&dj}1feLG0}Q z`V_ZhzxKS8PGlsW^X>_Mn-Q+C_%QK{1I@jnlEu2j=RYnBtXf4-CNY0v!2|zgOYQiA z<EBl=(dj8=hwB6@Olqrjn@g&vAq-LbZuzm6G5L3#BppIa;g=Y<YhM;PD$&1&TC^W3 zX0ZOB06YZ4`*Rg<MAI)yK^a;znl7~wY(m?Orn{Ac3ba8qJw_#{LfeC;C#?oGXfNhk zyiQvSHlrOzyGC0FwxAtByGpwiY(qPRwo1Dl)T5n6TcO<ncA{NJTc&LQylUu0yF%Lt zn$Y&4U8ZdYEocYOmS|f+8`>z^B5gb9K+}KoU83y-U1*bN7iqge585%b3$(qU4{ZwV zJZ(SNg*K12Ksx{!anSpoqa6f8Xs6N6((VDnXlKyQ(2jt;XqwAu+I?U@+BLLOv<CpM z6*Q}pv}0hL7LUbw+Jj(%b_1BBJp{DIQZP#!fY!JXoS;1dj)F;W3`~LJK$q8jXDxq8 zD&>-CFvA5jUESj-2w(&p1Y<yV(`I<LcnD|#Ogv~GJArJWm)0~iCe2TS)x@<5?MTbh zR<&;VKn9U>u$1F*$NWwzoVYkSa>a@;xxz$*oCu|I`<x}^xAm4Xt5(6HqNa=M0#OT_ zKsRUwx{(aB4z$n`L{|`rpDTWZ&J}+;qUMSk0dob6Sh-?Fm|S5ZLSAplY*Ui|`}KK_ z-#K5r4YXVG`XV3v!3T*x=m5CgnW-ykdZ7G7>aOA4oV<CHS(D?TprqiEpuDvM4w-;U zLMJE#N@x*av!K@+pweKw0EzM*K#sf*41-on#>;eb!sLV`;^MF#6o4kQ7m$Ai-*3s2 zHT{AZ_$a{qJ`QlKk67~Mq`pD|d;-W}x&U?zIvI2X;cUm*j<X#X`wSokPClIAI5u-^ z=Ge@!nPW4@i9Tso_))hc8csAE$2yL6oamU)WkNjU9P6PPX!{FhH8*tu%oVf%nH2*& ze;4AE*{g^3K`p2QTfkPZ4ak3Mn!S!7omW+6{U7UR+d&Oz0Gol1IgbCJ1BydG=vX4K zfvkppv$1EofX*fzMkG04{=i@ZVGkPYaWHN+|FV8T&I6}F;A9B=%?q>OJeW3HdPm=z z11G^bumCQCOJET!fh!Ecs4kej^qPLV0+>+HOfQ3FD}MK;PC`5sO8|f2jH%g;fAs+l zi`X{e;z&XxPams5x!K!y^t}pD3D{O-evt)4<`>yQWNMLBL{<@5MP%5q9_#>|W|6T+ zrW?sjButTP#b&dc4|KN{v-^FjTFt(HUsapg-#1jXTiS3-Rfnac+G^~ybooD3U6#K4 zhN^B$@71d6vGk`QRlR?f{_~2eJ}XqLs_M7Gz+0+zSz+w1ssSsk)v4NT#gZqg2Cca8 zSk;gfKd4Tu_~BHJPhyTwALaP$X^vYz<oG<xai=uL-H9Au)aH2bXO6EP=6LvCj<1Jv zeDiINr}uNLeWWW-gBdG6`<XW5;K|rb#&MIeysR9skBog}EGjZ%DH%)2SW3oHGM19D zkBog}>?30z8T-iCN5(!f_L1rTQjJ#p?RNewf2}0{1Gx8E5tktD1Rn}GI5!F<B}Gq0 E3KeCAG5`Po delta 20793 zcmagG1zc2X@HZ}^qJp3zr3fmrD7|ze0;0eIf=IJUH`0<vMMXMRVri5RrCS<>MY^TC zyKAZcvw-*dyYKt{e|Ik*mUGS%GxMF9@62=V^%)?o=_Ab$E5qkx=L)^_5|06z?|0nQ zT8-LTu8k&o^i~yirtL$Cl6$7?-V<Y`1X-?@-?3E+SKQSFd=d<NzPctS{Pv{pkuyzt zV8+5C-E!B&xLq+vhw66jsqGTlZK23&w9Ufym|LeyS<ULY6s?m@+2CTyWOV1Yi%7cj z!grg=lP8Y;$$0gBdm_SL6x!bs-Cy?SIsGbasn4dVs$y)T*E0WZM#f58%s!X>iea=P zCh<gb(BSR_uhqwwOBDp>=VRNbUk<%S9$-7o37ENxcUS6=J3XCg-zUOD4zP3CO@7q; z)<fm5do9acH~0G)qF;_slx<Zh$qRS1(7Md$b}oFMjNVx+J6P{THbH&!srds=L$3)& z<crr@Wun{y7E3k<@Cc}1Y;+s;$~XJ-O@!&*pHa90<=3$mndSG}d)GYY-JcFKq_L{J zggC%{Z*pZNhRLwxJ{dGF&b0UYT&e3Xyiq|w`(%H*-(e8^>&jNVbl>^P`2m;JhLVk* zSudtEqwREfA9KlCE0l?nkL1fNm14Q5bH#ZqP)dgZ8h%GHb8z+GO0^fIVo8?jR+nYj z9<jhw?DoKXyOO+b+>$(mRdU$t-yDPv0>p{==X2WB_h$tci?cU+OsgO3<aRubSY+=v z)teaOG;FMACT%WLwXUHj$k(Z3$)CfNaoEkYd$W}mB*oNmKy}Qk6woq-wvuh2k{tgy z9qsl*>TxfPwBnW8iiX|YNl|$RZ`}#0iAy`f*DQ-4A2bv#6q*+P6y0kR&0T#6bQH6- zhcMUcHP83W98HX{@ERVi7TveX7uv+>f4xKH;Fm`V7y~v735srwc(chx3-QxD!dAqI zdn{x^)imoIq`H0kJBy+&TT8b2c=%_`fB^EMd$!|nmw2?Q3i+nc){r~Fg{x~zKS_Fx zo!>0FE;?sc94ylwWEPB<9qg2G-l{B1EZS>2*p+w6d{0Dmne=@KD$~}34ce~Tu4dP- z{g^14KlAn5Ms+Hd7h2_Au3T;5*ur*}(KtXmHS%t)S`e?FoHt8eR}Di<-wN_zRrG-K zNw|os)6^h~?`CE-jo@@V%D(Hl$2n41<)H86<@}t3(M&?~oR$ag*1x4>NmEZTZgx8_ zmUvvawy`sK5dF18cJe_XW&Hi#CTM>ZJ-E9G9c+$&c9m7=R5OgC^Wz)I?bJ4%e0?2q z+Zu)^?t;BoY^Ni!t)UoyS_mk!%4+(PH|q@6zF_^ghQGkf7s?+YTK3&9b7=Rbqy*PS z+Y%Aicr7%Y5{G{oimak*8+Qks7ps1-=iN)WHE&n)h?=Br_OeHM$o2wh%$7vqPlwXg zs1Zz9WF^hMucZs!YDB2E)3nZ}ALMFR9|i}OwW1CgblaKV75A!9ZBy9lZgR^LwHT|S zK)TFzWv-TJ2o-fbl^0r;*eoqj(XvyngD!lQ@~3f~jB>y*tv6V@WzRyaiOo2pEWcxO zd0s`PBAdQbv{>3(Vzc5&%7DQ-l%meBx#~RhRpBRQi`YZ<B!|vtw?m3DzSR7RC^1oU z4pD52|40a>Ft4fPvbKGAa^mTSuC=_Tzf<T#RB!E>3L+-*%l6Duf;K>)2ssb{DDLW| zbzN)OTBP$Avi?3E;yfO#QYg|!BVcPpw7df%0dVx9UW=lt&lhakkTpv)-_kLk?nZYy z&89l+3XO=49AF>}n$u9u@jd!|CuM}62zCmD32uYzWk^NaaeO7>28r-mbCRjcj8crW zxS~&Rl`zt2I^h!C1GA#}Jo}yjV-C^n8u^is$DbeMUKtK8+tvSG6R)*b&)Jl++v70c z$Y3BijhyV&+aIRgzqycyxoX;epqaACjpp&xuNvIzAB3tNj{u0+>>-gZ%T;^@300EC z_CGyH7M(_Y(dL(V{21<b<PGW>)Q4U2XK>R?in14&jI<%<8+ygZT2;XwQa)ZJyxC`y zS-`p&Gt~fVYYAK^+n+5P3E9QMxzS~Ny=4fGJxZw&dOr<-ELvyd{l~&UGnunI*A>&s z_OVbGSsOnCLzJx|b>;q&hp4TU;9DhQ23j67RjG*j9OJguB`1LUDA$ed>3bC7&*^ol z@6qNXK{(kc9I)gtrY)UKD`GsrR+7py^Y}}nJQE!HR)8Zmt(tRWPDneyBqG2+L-avI zr^(Xs1?yH<wMa<F*m@j0@--KlBipbEq5&v2!-OQWyf5P$iYJ}7C|<_!>GXl9skQ4Z zxKN<GeWxW3hME|IZ;VflO}~odKS#dzt!8cQdu=!o`5PGLATM3(Yxo2TPPaG4AlhyH z@c=qlJjm_V!@;Cr5}!n<c?FpyAEV9udJuT%%eQ4a{fmVKCK`rOb|Y*MW|Y}NX!tE@ zkK+izbz6l#^VJ4k|8e`w1;2x9yqLn$g5L2^Bu)Nq2Xe2Yj;&0yui#*Rr`i`WoqPjR zUC{gWTber6Bi&+ev6<y++Wf%{b(H6}-adg6O3gGiS7-nGK6X}RpS$~`gi&^lCcqA1 z!&9vr2w0S}{ZyPs-Y(QxP2)UQ%aqPM;O#%E+L_Ks`Xk!zw_4^Yx7pPEeQf$cp*X?- zfX#b{)^RK_*wp|8M{ixN?PwGXah31IvvCQ*H96Gu)Wc3U)ZNAcnb|>qx3$mnK9_JA zbJPOlD~&p+WYka4i&I_q;&%`Q-FA8h?X3hOtuR!fT9CckZnPAQW4t(GqJekNXWN7s zQ)daEE8SUGmI0}_Y(-c+rscC#wb)PX&K(47V>nFfW6~SXpCqEiT|Wgo^=cU;`dv5s zGex|v=}zzu!boRWxUM+@>k_gRv%B^3Pe!(_Affed$YA+jKF0Q)5wg^`SPO>Uc+fcA zF{ru@nQ&A^7VpAQTnsUMRywZQmk7MNvkg%W!xkJMZT{#`L0%VcN=}M)YT)jyRA{wr zQYEj7CKZ&WZqUgM3y}lS|G@cRZ`1!OH{*Wu9<3tLyUc-<7=3JyX?m4wG~gU7z94<t z6D2S2jGo{FF(af-9&yGsuEs2@23E8H6`B%_2bb7pH}H7xt**7nTPD@KHG<2g12z%d z`!gy-w=t6cxx^MF$vTL~CfkqK{4O{C{wzgw3vPt5sX<<`N(g@H6|*-j52=^J_btQo zRYKH*J*B8`=_qsSRDMv)HqhU%{CHQ1aWzJQDAvkZ)HTKk$hO?N2!i7>Efnkya_qtO zP4V}YZ%VF3$jWy8@D3Q++Z^<FY&TAdB1ff#T)F{cS!Qkoeoomk(utvb0+liU7PE>` z;C7Q|CSl_IQUL9yu6cg%a!x`-kQdqd1XcBq5NERc#Q0v=0#T5M8@<Jp$u6`#hSJsi zMpA)5z_>ii$jXGyj4MDX4J6!^_Gx7om!(EM<CWS+L`#8xV3b&;EqPnxV5I&G#AmJ6 zzENNNt>w^<^%A^}2HEIN-i8~>lY5%AXs&htVdr-ksV0aBcP9+p*x!E*!}Ghwo2EGL zMJGPx`11nq+x5v9$gRJY_425-N4PAt<H&xnzm@R8?y7MU8#K`Ku#(3|u)4P2ud@yT z%X66vSoZoDT4?plR|{?+4PauF&xIaB9;_orF@X5AX<2fVZ8uo98fxgUdEM3VVWZG~ z`MmD>K0pc}SEfxutMv-&D|Kv^=sSZiM|~;de}q$7EEKOc)~Zs8tL~;U#JE^56r)&l zKUXQdT!k8VDI5r=(*Q#$fMW`<NnzeF($B+WDw<ZUj~J?+T@^QpKuiRyXm3}LxLuTI zpSW!9Rw>f;%>9B6_OYABi-lss&??IhqSyU}9&~iwSQeagc6%x1DV!vZfQd4s7n266 zBet(AGrJ&Qnh%pE$(VE772!8i<Ui@WNY>nV{u%P+2^U;+X~B}+<mr3yb0nQDzt1{& zaATDAfN#O(*G-R)B>p!ow|R*u*>CuT1P98X#AuB<9Qv%JcB@;YXtj2gh$=GMFho4c z*liy4B6P4rMtFHzZ<><3m4g8e7!@IFL9BNZwqVrnTiGLuxs0F0R?ZXZ;WiWXkEA?n zJ)k6=N_mp>EzMTI+LpJ<;ClI*S^9G4KHzahm8+%8!wak0{F4jz@<@2lI}1f@`=dkd zB&-gvD%=U=(H!&!O8s4WIy@0_9R5@)j$wQoUAlD+-nrV_qr0ALF2jW5JC$6y1;50t z;HVW9_IQV)ryAzDT~`5hU|q<=u~jJBTPtUm^8JNtPq+J=OgP|WEFxMoK9q2snf7Fm zL*Us6+L^l_e1!&0t*YN}Q75w*>k?C!-JHn5(aUWI%(u3ZPM$dh)FY2ltg=*V);J)E zY=c`95tfPG@GLtJh-~+jBj~h}B4pJgDlZ0XS6rFg?9%nGosZeBH*AI2G<AKsy@Z9x z^)u@=Um+&GA@@xB4vGf%EXFt1(1R;AoHmnMjjR@Z(81pP%aTF8)*COk$3sI20t@IT zWTuN#EQ~oqwd~dU!bGoqZGfSO^ZbQYe!V?M>UCYDFWHA}`sZSBT!xS$0boknj;{!H z_SM{+S?4!mcKRk+3#Xt@TclO}JcBN)AnJ)?r#?^9%~$2dEr1%t355m>)KS5EUI~5c zcSJn_t;@w;(K8Jzx`b_$JKK9*b5>2*WLJ>Q<--lk3a1mR*nEu5A9ngu;4d1XYMN@8 zZ1!!xYHw<vBX>=$shn8})Aa)+NkfN+EPIx3=&eMYHvbn06K@0}t1N?3RR*6f#)r=+ z(!R%d`W6YO9Ee6A_)$|~We);Iq6&B->Oq1l1BnDP4~G*s=)R7WoAP=T4s#dj(i>qH zaogPreyX1Ql0wiRby*(nZk}B;2ZXT7$0}b}L~YlV?bba)!TNy~;UX9|YHpJ!M6~0t z=b(g8ZR{e?oifYP)keW;%e1B^{(K`Ju+Oxpj9S-kF;?Ixs4Tw1@^Aa_7upW}cEN)e z<rz{htfoI~v(s(u*l3O5o>D@<=s)O(YUPE!jd!rop`G%Ck+!vjS!mfbaF<~_(i{0k zeJF{4c<a#c0X7*%PE0Ezw14+~hGC2=v;m^8<DA{NtDqKKaDlu?b2o^9=H-yaAollA zg}d&HyANvG^>nUM4OBH@PR{rVE<BVe3uCVO#6cr2RME_tBCle_j3nUZMt4o-0|LE8 z8u!9%5=U4UsLB}H^jJ%`Mhf%+VEmJ<!>;`_s;3-1msU9Qb=#)CmC95p5t23T)*A_| z3}oa{Hw%c_n=`z7XC5Tqac2y5Y}DwZwzXUkNv<=_lD626^;s0nGv+6??(D8Mk>+hi z$a*{|l;cI)rhE_<U3K@kZm(LmNgNcGiK;%uO?(>s!t$nik1k(va0Yc)Z}-oL0Y89@ zM<M+nE(Z51UB6IK2k~OcukvEzJN-a*p8yrHf0fMk=UY|*{<?N^4}o*<&kydiXhG>k z;j+7nV>KvUKJRxLM9<yNT(}B2q7`1k)-3!>72Wr-AQ>8HcR4A>O~7y0DxXwdD3b&0 ze~p**_dYz<LlB2jBHqkCrZi`i{Z4^AQSNfzsK_z})HX9$j!z=%e{&+i$~n9_EfaHf z9DWOwZ|0!9xL&p$2*}Aya#HEuyk)hx@3p$qi357ARkgS{V%(Nk6|@9Gx0jl9U)FSD z#DqLGLf2@owj{Zx^6@R2T~OIyWm~ww+ZXWZsZjce1&#;^N_lpL^|$J+*sRn_B6Xpk zm=GU?dg)s_tTD<{t-<LalroM(>MK4mUu*%rgj`*M4<VuxWt?5p?g*+2ooHI;XO5d~ zdd;5!7s~fF`B-GzqIaH6(eJ}&{rcZeLDBFc9z=l^$vxYKcD?&uD^xwkwO2(I`>Z>Z zRb1mQ)Yj#^yv34EPf2&bZ@(km4dPxkYSRb+)rS5yW^F-xX>Sn{?GH+`d;0yNnk-4H zF%Md%FG*izkEq1D%nO~TmG2N<e_4k4F-6?&fYSGxO0IP35gi@$WrRm~J>$0&#RKp0 z#VlEb!Kg1UD~UL~f(a=>Z(!lL{v$c;0VXnIWjs4s>q=SD){`w<<xBx>I)aW!>$9s( zg>we7(o97bCLA}dx8oA!4J+T|06n%oYya{XKKj)~?lxwmpqI)pGO+voG(D~>qRxZP zVAD=tA*JFpkR88@7~j0d$<=U1uwAc}lr6?7uwWwG)a$dU>qyTU{ne=!n36=8{e!|r zZnP+%OQz{1_I+EyP`V5Ks=J0+ret5zeoaxk9;i}~``Qt<iU?|DFESmWefy22MEOwL zoSNHoGf3-_PHku9kk_7>y4A!WB|;Ze*CbG$2Y#2>CBwe2ilhht&Xq&rpn~!=)-KH4 zF9dwEK!NsrogI8$J@~a9=*-+f_OV^yt-kJ{**55P8hYl#4Ig<Tasx%&I2rA1;h0a7 zh=_P<f3sl<h6sPM-%Uw1iW#{ES44SgFd|n&4H^aKbCi@&o|j&L786rS#(n+Z@Wk_- zNXXUT8czcmxKpjPpXCWy1_uluo<czZIqz>z_VP<}xz=U@&;U|EOQQQC1-ehQmswK@ zQJW<n$keg1BS`aV+pPddd^KuOh1y0OHloF)m7uWwR1@nEE=zPurv1aVVI7QASIuYi zu73Qswhy<Bs7t;>DJUic6c0`|x9c$uGShlsUs75*!(TOq!AE^STqUG6o!PpOxs<$H z<;`07Wjta|-%og>YYp~r*}`sD3bIOjxm-m(El^^0=MJl;kn_eI@EU=B^Fh~5^X)oZ zFKnxG<vTf9YXodO|0RHZV!~OgE%R<YFA^p)HhlrM1W=!JWjtRm+hRLdVGD*SMTa*= zIh2&Hd|Vv%p!GW_syK6vD@r*?#JZs4sfMzJ|Bgo;oSu~zU68Qi+zMG|jToptb^OM} zjb6EJzfeqaB9TOv49Tiw%rQN-f$f0lCWbfCG@1RhJ-3kEBvPc0N=^^dT}pMCcG)!( ztVUVz%fnoKt@o@$r#tQ<V;Gk~d*kzXw)i3!dhK}vS8G2g_R)c9doWUBH*=ay-K4r0 z%rN~y!sN8sJl0haLfzf$&3a#j9Vdad#08ySw(Xp}4rs@s?@lM1>ZR%&EWz4@+g6%K zx-0SqVgk?#);Bevs3ARwDh*9yLKuLk`=MXZ4f4@UepyW%S+?YC!a?`I=L^X@$=i2{ z^WYo7(1wTT?(;rXpRi6X2d&+~8WaO>Lvm2@`dziF;*d9INSg&Ms-regbbcV1kSH;q zBn|LbX;kvZ8eCNP6>xJo-YcJn5tv!&2~Biu95<$+o<}y6D<$&13Ktp}sL0ycNrpa8 z8%}C8dFL@2-?p%3Y;tV5i!on5oGTgVqRf;75u+8(Z(|_a^c(b_fb)cKK3iU%S5<@( zNG6}AefwR4fVq@`{%3xdjyE8`@Wjn=DMgV-vM4cs9`uH2(Z~HoAUloV7-$tO2dBH} zXI7C%z;z$&APlyahL`EqZJHEO$q<#2Pmt9Ph`7zuhQd}Om9>+Jq|=JNpf_nVVK@j( z;mgx=$5n5OaP?u#oGNG!LUnZN8K6azK)(^9VL|1+$1X6jI{hd(v`fErQ=Z#ZUv}Av zdylWMq{enCTc(1i*NjwG!Us03_4Ue<^GLQ#aQ+#cDCHFDHXkDp@#It_3F&o5o@|%P zIPDmN+GE$imx~l&4eR`TI*xpBKIlWYv;L&4cg0H4xpDL)OFq=snpG2@c3D1qrJPt~ zYv`l+qz3<tiAv+a-G_tzA)+jC;<jIE;+0P8jA(rqPNl0|BnVEL8n+2)jzGY++LJ_r zL7NZ8L8rBYNUSfg8U+N{zcy5)UCnKKe72K|DO`5Xxl(5{EvZGWtp$ck^Fkg-hvx94 zEbba-=Rh}=AX{CO=W99`BPmSwL-0c%VtD2w24=g2nvYbXZZ6bsXFKzNul4NCDUR>G zSzGP^J-`Gb!f6X!<f%{B3HbT}#o9>w_38VFE9JOGdZ@z=c3iDhJk=#k*gSHzNwlm_ zZ{)>e(H$mNqc3*?f?=q_T3j{i&k{xW1d>UBwE1U3>*NN4+n(NfAAF0$A<B;jy&GBV z!uZ%Rb}>!&Di$;}?%F!7y7t?3ULe(-6mp}PrVLsj6%8wHJP2mxLAR?^`(3|Q)CUqZ zn&yFeb#U1`F_c)035QaWobQ421lkbOOq%`MRu?Etxp_tZPAwvFOY?;o*5v(&(tQX% zA<})ODq^J~v~(>Yg!awDq{PW2DlwuIxOHk?j|t!zUXy~xt?{aFstyn;+ANzLfG1k+ zt#{H2*iL0U|Ecqo_I#2|Nbc^g<Zh2`@b`M|rM6GZHn&*G%}|f9k+!XmWLUrJ&6Q7M zqK!C$o7UrJ**}WTuV81>X>FUurlH$8Ynf51S!AdZ+aDbtF42XUN!BOSArjrRy17(R z)>>_=dR8V^6j6@T389Rl+S^2O2{rLyRQQ^8)gfhkdcQQbpJJ_1$uZA(T(N7l!5TWj z{f*1<8sV~q><_nBTgHD*|JJYs&~e>)B&&3;C^lSHy}Z#O-n6Wy^7c}PBlM)S`lh&g zbw?Qz#*JQMG1gZcV~+puIx$MPcsffGgre#2YwHd<Z3?Po8<y&0_MM%0pFzZ3@SvcS zSE1_$X|&Z>%a{Z7DHVEtu38#86xKYE)BFyU#1wPSzrt#>-+_%a?OIzNrMGwRvy{y? zLq~OD-m2;`Z`0kUG~y68!!dy)f$4XMN8HvP3&s2C^RKG}nS){3-3Ac}ZK)a}dFFZD zuxzW=(3UHfE>8fSvA)LVpJ;xk*G{qbyBtj7Vs{vB)@9NXNc_h{OWy7G>b1^lfA>=; zv@mSZ)4AboJP(+(phL9mxX-2p_KR+dUbN!`8Z`PVtrDTj)+o(zBCHt-&29R0ZWy#a z*&s<RfR!jut%EZ&AgM7Vf_%bwe>?njR6(??dcbeCnIMxU5XL%M8Yl@o#8!VHUvY_c zKP1d_IrXq1Z+1}V9gPV`W`>ui(d9T*3+4cr(%XucZ$S&mq|ii(h;=%((6&E#+s!Nw zSP60s3>&yo1e)v`JZR8$DQg?QS<<Z{+AYY9#;zh_P>k|J&Z|xw#@tW7|0?ez5xt>y z@Owv9?Me)+{G>65xu0!RDaKMTo;C$3bCVlgtMY~7Tuzs{(>55At6X-=%B(d6i75DS zo+)RSnbRq$MrgT`G_&=Q^GmA`NnY(yC?C-HTYg=epnY#ueLXbD0G^e^sXjaDo6|R6 z)T*cREu_p)D6lj&`OY=qyc31%>0U-2wy;OzoQ;wwkcezRL9n^wwW^0(a+}|=q|c&s zd&0_jye>7P8RWq3oZ9YS-o6*&-)rjkmfX|E)6b`7_gUBZQo=vEIa5OfXNaj)(Z3S% zYrH&l1auvngg2Q7CqY*6?$<_%AuRw8ad8lQAI&@Hk_{@6hVDf9n1QUCCs^?~@nzQM zvWQJ%_mxQY68=(<=bt=HH~!FsWdBM(EuNm4*f=;J=RxCDlu&p7_W^g5Y4|p5;YQ*q zmh^=WBCUFF_BMLiAlKU50>$o=W*p=Et?#c{s7BV>fm5on#X(<0;);(>P>6`jV@=(R zR=w7%H;D<OUS3Zx#m;PX^O5J8ajfeb2#D>yC6&8l*ktd=fau&_R6wCYR_f!QAPV*r z3xDxDeLNy0bG_+JTxYm!W><~Bt#FTCtCZ&Kw^V>E<O~Hgs_xYJxnRU7Wvi$AC$4z} z>iNv*uh6Y6Pz-@Kcvo|rI8!H?Bgif~(S141;%r>#@3hgynV^$O{$2N`5yxq8!V{yk zDKjY-13LbzdzDV0VO8tcZZqk6Pj_jk;`0Mv#s?^A)T4x3zdfU(dppw;B7qxOn;Vm9 zMna;bO<$ruSAyu-&2q>NHz%z|F&D0KeQ~oFCijD(2HY598pveIxZGKI(YMuA(c5Rz z*6hb{z3A`4C7h}v9gHrTCdmo4hzZc{OxB2D%}J<<_2)%{uA7M8xABZ_0~9|fzeX)U zr`Ze;$j>(0U!v0vE?U@+t5rj6vd@!T^z+s#nFfDQ$rQKAiwYx+b)J)b`wAR%?6WHo z?X-s2EN#leGCh#;y<ZD*)>fV+Ls1W&=&Fv8C4%3)zir|M+9C!G;mT!a&9Qsab053j z=_o6ICw?xL*)<me%U&p)4UuO>;Muexcv&oxxzJ%3SV6rAS4)LdAersV+%eE!J4Xtb z{d@=lc7;iFqF{BZ<@4x%ux~dR2Vw&BxqRIpQ5((>uC4@M1_!tMFCW4yRaiwX_OhSZ z17wCrOPjK!O|OS)+9{_-Hi9R0{1FnAE;L&p^pf!=Zj!4YUDp?S%vTUFX1}Q7Vylst zd@eNd!s}1;A=bSrHn+@`(dpWn{+F%{wx4QnebP*iP*L%IC_=Vw`Ic*unt&kvgV%v{ zQpDE<a@?ftx2ualf)>4fjT*G%$7KfFBV@4x@o-(t$NsyYr1n$hY`YIeu2u!ZI6*bC zQoXHPE{!w{pw;eW7}V3z^ZzWdP5oU*&JENcPoRmhDtgyisiCy=lg*)^M>XYpjduZ@ z5Pyi`B$k3NB9wkxqdfT)v1VrV47!;cpu2@TrelbFaerIzO`8T~%<dS2yvX*LLe|S~ zOb7|kit66-2i?qB&?7(^Cj_@r@RRAz&UI%iCGf8`i|fv8&4QEjsn7m29C{B0Rv;se zsa#n0h!;~{%1G6_#92h590<M-FqFhImd}$w|MxbgVyg%aOO#)(j+zaH&)u1JijUI> zdkGRt3^+oV=2a1Ki+KNQ1&zXarn+gWUHfCHDlxh|<$C2-$!9YZ13tbs;CvnPmVx*r z{6P}aQ$)1T_whcyD2~v<r;yb>qwPloYnmt=W76<ai2SW=$zdk|dM?j9R@lgAQ|!ZK z=OS_JsAK^gFQ2#4@wD9<_NbPI-jO}M<0k*`ihCWdQNvcUjJY=ISxJ3YqRZ&Bua|s- ztqkhiyL^zwDAz{<Bb{cF;nr0`*)Fa_z!l3(aA0<RZv-uW8Of}o!$oD?G;RJ1v2x5Y z;$yY<V!~yGf+)vzA6-KYY`rt)YJ!|41uNffo6=rx>&fYoJ;-<IaV(S&9}lDIy{Y|1 zH4{VUga5dX!8K57&*gi8VIS^XEX%Hf2MtQzcD?ZTEjdfmwkR~<;LJBcwYUe6zHd}7 z3h5S7Ds@x#hkypULh}AQ*!6L6a)Btao$H;xN>L?()V58^)@EAFi1(MQ)D(E%-xYn+ zPW{C1HhuL33|^aG{)q_Ls6-g4)E0I@OH;bU8v%pKtRuB)kUhp6aJUBOn1Q48H4V!W zZsHv{Q3Byuh<r@}Xx97)?7CUDo(fqe3{QZ#`+=bdRO{q6Wof)<aJ*T0#&e$fr`4{f zo>-su0!uKA)CHUx$qiPKGc^PVxUtLnR8uvTxZTo6+e$miS}{?4l}5n)E-%lGs8kJl zxhsc9VJO?HT&Hm-q5`mZUuxWe(sam*AoHVDX(w|VIU3wqSejiK^nw>1;FMmnA&umU z!4(83_i-31d<JmT+D)Q7P>qZbvw`;{K)*-XMPD&+WdJ(ZTdOH}6Xh_#kI<=Gbf|nH zifJAZfv;fTH={70YhrsJ;hSzdpHM;>f1->l%&a*Dgtud+WE$iR43|xjP%M<Kd|c>e zzR_p}Y9UbnAQ&F_UR5qr5HG1I2B&q?4;9(LaqG(I4JN|Yth&Rln!^Pz5<TV8Uy1jz z0|O(B)Kd@SKpUV|@M&@l*W-G*q7v{ca%@lz<>{#}{Z3!!lLr4NQ)2q`^`Et&WtG&q zxN{wh4ke2llrm9^l>ePoQy;bYXkabxAq2|cf`BKa#y_6!OD}w?iL|c0JKb~jG@Qlk zpyw+ho>WsqasR4!2w;50OgdzpF|q_+AvU8q!7gt~X}Qs`R^@cTe!Vx>9s1yIJQH8m zVWjvHj#Hj+i_*?oz!O@kLOyQR0Ib2ftW-aYD{tRW+Qtsq=JP2qgL4KgmCF!_o9dTk z!a&wz@#J;}=Q9Or=!^u14yNn|ru1SCJ5LVW`wf>)6%OcO{I2h0$Lyu-R+WP6<5Km; z33U#4l&8AfA+;L9u<?-}G=*l6>`~!|2gee(F10O&McMB?DYQM0l&NJnk#EMqGC9Ul zrgk^4HCD`h26^xr+Lx5o(N$^EjKjTV;Vr4goW20gDs1yXPpO^Fg0@l&W*<yBtuto6 zO@9{``awxUE2`aXt|LwDre)hAIi2N^ZP4Jg^CWHRntk;g*WSt+)fdW&QHya-bPRBM z3!(n2-ptdc(zS#hT?{csiIh$QpbqU~h$s!exr~9XSysBv3>GR*g5dHMic&D)0G;nh z@Uu4E_Va`4T8AiE7a7P*xwscEmLqU6E`-4xL&_{VTZub@*qP6-mYo2{OWswMyMrNR zLc}LQWJLN%Ebr*5*1H_&3RO_8{t{{j2im+7ncz$qq{6jR(?SXEBq9X``q0K)H`OI= z0Q^tt?f$D|tyZN4F4Cm9H-;wI$Z7fgi>fTYRhCd@Fp6MUNQ9Q|^^`zcKWQ;gexJ=q zCn#9mL762CXdtesytTN}KT@Va{07<`r5)X<jix=L{60Hu6T`C1Fw%nQ;iRb{aa(fN zX(Ow=c`N$a9@b+Sx`KNf3cL-(2g`r15YhSAQ;N){Ka4Rn=AjA4wCQ!7r3;QAFls*k z>|KeBY`M2xgIQ*eHmI`{@SAi4ox{ZWwv~$%pCRT4jI{YuY|Y;TSv7wZL?(tBd#N5c z_1PDIL!;TyN?F7Nc(ul7@bJ}^C0o!BZ`#aggJm*6yz^t@qvc=&sv<&9&$PW10&VNK zSbe)kgE}rCk#x^Gq3kD&t)BSrd}J%8X0vKr(5lyqcEe6@Ey}sHW6_4u=tVYphi^^c zK^fyoq@U$|=rRkuUD+@N(lyNTKi!tSk@3SYKTL2@6`LngW4~Bl-{+ew^C)H|H%O-; z3=&}^^T1NpwMJ%(j3t~i+>0twU=B%u8&qM}K#iCVeN3ib?tM=}D*|dzC)A_RmJbb= z30o;I2(~n+2Thz{xhtQc>)@5ty>iNPyRk;sorIe2Md{*;by%iKj$=3V32L)j6Oz-u z?;Eu`OPtYsRwJ!4Y+9w^(k*&(mSRMTQ0Y#(2enU47f77r*UZVU>O`wKLK%H}SUTK6 zWgQz2H!*9LESf`qxr%}<UDzAeCLi-yXkR}>Ez!CI`Ql>K1fT>+v&<?Qr>VG+5Np)5 zf8{7G$nE1#KAo-u4f{INFD!UmKPv>Tf!CElhnT~9?3b;@YNaPB#g;f0s$>v>1D4|N zI;UI30;sB&M?QEluh&C#r@P4yI3YMO8hy4YPyn*4d>H%9d1G-8VqeMEQRc%-`pF3) z>h|6G-WpE<zk2D}sjBPihP8d*Pa|y6$2WT8JWs!E8zsE1$hPq6^S%Mvm_}HH*=2b{ z02>~P@f(HS;5e794c>$VopmsWrd1W6bP9MGZ*O@T$U_b=v9+~4y7SQ;yz0P+?46`L z5k8D!pJ7I^&9I=5(`Q0^PU0z{6sB)nIXQHrT<iq(DZaC>+)ohTy|_4Z<3woSNxVm> z<|*?0RXjWaJk+bH(@?>k7Y>{@PVYCfUj(?{p^VahNIrUl;PFJcfdP+=QOJ6>SuYU* z{|Ae14Ko4aPf45P*F4;t_4s~?As(QHZ*Wl&TQ?8r<o*&f;-DUjg?+AhaWNb`|D^`} z{TB99?3x-1k01_r)d&1_coCoY{^3Z(doa-rzO#QOx{u0K=0AIQ)yMsCun|WdBg%4) z5&~NTYo0}5{#{oi*nNXM#Okkke~J+c=$IZYOU$Y$)KxDiEMD5>k_7hn;_>K5W<i6R z-5$xC6E7~3Ss24sc`69BhPn(`>wbt4vwqzDg#PYIL~I@4E}VLq;CLTEJQI#^A_z#J zN&;>H(c=C{W&~~!q!Msb9f|{f|JixF9vFrb5vPV@!T-o;-Rz`rtTqKy3r?i>?$rMb z;5&T&uQgOjOmOm`ZqGA9hm(0<appl;a-hS2u&f`M2kQmY1m=fo)quh@+qcv?7xlMw zL+T%f4z``)#yw(E+<6-8W<v?X)z*m-Beup_=Pwa{AFqD$@bceQ0;B&j6W>_~fpG!~ zII`mZ`t*MuK32|=UJg<6e;O2^4(JkW5VyoX`cgn;(j4OI9}K*Ax7Ye}`%ufyAL+x< zeVi`o=(5_@PM-cH1DwPsuNkUkq2C!0QV-S#FayyyPKrmU8AXp0G>lbOH1Yhbc-LCd zkY(%C-Aei`ZkL1=r9a$tj?MVJJ0X+sM`D~Q4lRU3G7y&=!r3?6XFV3Cdt@*Gj6XZY zNd%tq!NDIls9y5O0dR&r6zg#4pN9^mYtc(Ng3O;u02pvfVQ``!f2Y<%|Cy1Cis-NF zZ&C0CN>t~<T~x*{MbP49NLg)QnmMYGI4UvSybCe{p80IY#|(DhPGF!`h+b}B=0drE zJxrY*FolWYyul_Tokc@nk0MD=jgQ9+V~WH5vH#)(I5yOJEcgHz{}RKw!5?XX(}THw zgAeuC;Y|bt7Ch3yq1(=i;Xa2`;xuq1JkI%n9#g>wH=p(KGRO0Rz>q_O`y9`R)4{QV zfa4np<36}ihX_2@GVcD-IOy+zaEgwjMgKE!FUmBlewumFaJp|%lUWAYo8ixk8sr-^ z#b~xWWylVEXac&(ySL9j&{BU{Ed>|zhJy`OY)FW$Gc<TsK4qNV=a-S6d#f8he1lxf zX;5tRSmbuSD?nd|o&|7z92HGCP~}TkKq+|$mOm=EcciBm7s1s-bN{&u_WA{cm_u(r z#>dh9w|@}8cNW;-e<1I0Zk!Tuj(W70L-gRH^6`R@*dZSO{H+Ug`2RQR$SQ|%w%{TE zmYiWtXK+2q#%Es}oe(+8$l-<;&3qp?V(PQBI71kzB_ezpttCR3!qs4e1pHkSA-hjP zqF=I;X04UF+c=*AYHNbB49Nd6^*`YRc+m}9PWVqa!65>u9XQ?}EB_O$+Hp7jj+Muu z6JQc26Oi^VMII&;;HKaPPXB+hl8@D4%sI?VTsU1G-oSYrcnFuOfa#87&9TxB^(u_p z)*oAdptx~o(0HPOnNSMlcw44adM}v@K;51YKie!Yp-iYc-LOWmz?qYJ>=|2zO~`$b zbp=Zkm}U1bX74TH@`{C#IfJ=}QQE)vG{__T+)I`&>$$y9=OpxXw?A>1X^vvT-)2T# zI-o+4@7_get?~&T;R|PLu*FO|<NpbWW9<C_n}-+zLtK6sO2G(})dDGse1QZ4PWW$h z@?Zl3B^lPpE*bE&iIc2HMZb2Zo~vUXl$}U=S|4=a&BUE;%UNd#6!Yw0e96GAv)&<# z88t2%z8#BhGFTR{&N$#GMc2#k-I5uoAPq<Nasun^<<#i8ecimiCUEHH$4UEe+W{!* z17aW#=}DnhRM8q6Ph3qG-e2m)rQ5%-aVXM}Qh<vbk&f8VdnnYU-D_uFR^o&MU#Xxu zW48g>q-(z}sL@y^wn0`unSljF^<Q$jXSu-YY#PiuW%t>fGWoh7s;>IG4ZB=2`{O$j zoK$skH6wOov7Kp2qct!!;Kok#SPpHeBU}6pQE&~&azuCz5pjsd92(%qfR>QW{>6um zZ)0Xr7Z0vNz#7_u2+Z*VM>;r4qv=twQLy$u4t^{h?(bvI08jiB(@^~ffH{HOROxgC zCHDVAM@Ae&hm(NJ3H<8#=AoMdd7#4-d3^EZb^fl!u<rUu)&NI+PSNr4p`ly9;u`u; z^arM!#s<9x#njZAr_|EX=hQIzAaS%byyWMb%FPy71$HhgPRSzyrg`;;1PsM?Hkt$i zVpgnr1lYr+j#GWHAGlU7W`vsDB%ylsAIA8vhN?Gig4bP-AbGe}o8IxrKbAlAMV#f& zP_JcW`M7Iafp3S5spnTX5!hWD&H~4m?gO%Uya53GGt?4-nk_gM2rJfet7WRHkPIM; z*meog%3^M-hv9_#z(EIPk3seiIe$iEHt<iKR?k2fG%y2eJH0+kf`84&7I4U5|0tX2 z4{As0Ct_hor1sC^|I$=8`2XYDKXT!c=OK?i)XLQ9R=wiN|LRlw1_C2fkCW(7a)88T z>%WNh8aQ^*)&ZbB+8aO*Pz;#pNNsb3E_dtdnbAZmPdQ_1vs}pmB&Uo+>Vmc_5+bN# zpemlp8$FYi1{|WfTI7IMPZ^8+(%Aty>JXcUw!<m-EdW==Q9e0TI4)!!lHws8ar+a3 zkBIMc5PJcL|0_lYF1=SAl8HY-=q(HaLG=fqmSCErxP+Vd$N_QF5WhK|<|vdLyB&@w z0O@cd|Es&R$E4%Pr<x!9)-$s?+)oN_;{oo3a4DWuxe(K=T~kisHHi&N*eWwkJ#?Q7 z)HP~6-t#}ja+)4D?B<}aWp{n0o+Br3(h2=_kL%A44i$cc|No0B4jC`?sbd+&aJxG8 z2e7L*?mT?|!NF02BJQDw{(uD+_HY>wC=*Auhhi@@9tQ7!1;kN=o*|4_(SMf#lZE1x z%V*?ndPLOzNqk2HdfqZLgXBd<=gXw*wOod*2b^G?9S#EC>}DaQYOU~YM#2`pf@f+1 zGDznf4=x)dr?X)ucwS>mE99L4w_a8CzjW@%G)JcTm$ChQwOtRjf#rb?gHp3ovlBql zv2Bl}!|`Zbl*8S_(asx3o`i$;C#yp*z|p<4{}9L{SHUIjp??VJzt@fv{6CZZv4GCs zk@X)!I`+(C%azk6YwhzSUsCo(U-v2U(!TmQHBj7coV4U=D>JbA8PT1GCe8M#1$ALw z4WpVs$#-l|+pZ2LAiSD)^7XXm_eY*ZFB%TtK*3i?QCAO$$$;e!_x*1O@3P@TU0T0_ zhXMJUj1sq%KN0ya9Jiw)cj=&Gr~a1-|4o`T6#t3-Z$XebjFkW&$75LaWGyD5m`AhL zk|zOOgLhfIsL0X^DcvyQHJYeym<y~DDX%zPL@)ZQ)&HsYCaxsh7-Z@0jQ(}H;m~)f zb0(qxU6ub=P5!-0o5wi+|1TPjfqYmvXte$@HV)taicG{uaK!C3P`~!%@tjeV`!^tA z5BKXM4b0iukzKM$v`wK|^=2?7EjQGmG<EUJ?%8XVqucjG*2A}TIAsiQNTuK_K{I8I zNhSF6uI?B-ZCasFEA1pg@^yteenm?TOEz)R<49`g^|?J<?ffU_{ACnCagHib1?V4@ z|Ih6Fr&K?(;31I&4;&IuTns;Q@Iz_A{QrjHKY;vKi$=mYPd=Ik_x;Z<aJvG&aLii& zZ1Z1zse=OHPsM)x?4O}WlL7pJP0sO$G;uK036{uBR0wtXsG!~VLiMu%(?l7Fgy>f@ zGx3gAjXV>jx2z1!o@<p&EOZH=N17FDQ%lH~-4kBsgUUjxW`9*kriyO_xT6Pa{#Dm; z?g!%i*#=nmI7NbBUoLi-BSFsxnB+LgADjB0%nbDNf4~@Ia-V+pBVK`HblYp!QEVH8 zkP)3Jhds$Zpg+|A;Tnf2_qYr^N^*bl;xSkMe~$uMWpzpUT^|!(qY~PrPu1lU>h5lY z8dfu-#iao_NCOp;zRFob9}^%3?bx!q);c%=U`5y0yl~MOm<N{;k7)HVUT|<ZE>6lp z;d_({0rxp9G5#S2gpZCG<llMV4DcDiAP?Ei9|;cIWrrzT@5r2oJnDEZ90G6w?^uN( z3jg6&XFwbc=9?nxJl<QZZwk2g8`rWreCiOFhg4B_2SnZ@v%R=@0>wUs#Lo%D3pF~4 zXMK`~0~Ii3jo<v>4C-Kt0_+&H4a>!dPl5^sypURT(}Q~DCrM`DYa-FzGNJvgQCxo! zWLD5%B)0d90<Xz~7Zv(w?p5<I7O#RkU^KXMlKNDr6+WIgirx9tS??PMw4Z3CnnR26 z@$TaBg=Vtg-3=u<g-47hA4+oy?-nFulIt+ZB^fR8cq|~2s?k#9_R~$KOzg(Hp-B~9 z(EogJzJxL8mh$w>gav)jEe}f_dKJa7Z?awzQ)YJA$Py$i)<nY+Q)ue(&6M7IJ@H#F zq9k<);kjPz)c5$H;M<o=O|RfP)^#x!v|kLb7A@u}i#Iq?f1P0cUikY*+F%8AH8@FQ zwYGPL;pP(!I^$1m{VkzIOm~0Nn~g7Y<#e!Xx)y8`6Wa(Vs$cPZ!hgM{C0nQ8o{rm3 z{4{B@R{mN%%YEIpTwOc*c`T{Fz4wn*JBPPy!l@-x{`5*OSErjlnom<M1r>^Lq>2w- zFMN%Z)=usV@yP6Ht+Omp>>y#^hRC9IF85LlUQxTjfj&zX%_dK3tg45scFA%wzwB8# zVNK#0?-+!>1zSU9jM#M!*zH9VCs7a!m)}WrGxj+DVTLO)s$PzvBcbM<-1*dz?m-ng zmUBPd)r2IyZ^5_CDxlR<u^+FX8?Ek#JPb@r)7LqlUD#bn$CP`o`!;z2wGXs|J~Pfp z86U*l@C@Ig9A7E3!rJ)LGybUfR&2-H39DN-K2|Jvci6Enr3*0zML$#&Om$G@i$=VC z66(i5BS<6d_WV)Q7<!q>O??Q3Xw|v81dU%Z<M&s!Rs8AwHGY-3MJG|Z_x#*F$)1K# z?cs#M!ky7|Hw_Y9Bog%;-CqLL!=$s#zn7fMwq4_u|CGsR_(KmZdwwqL@zz@9&G=l; zyzEDu-{?DayOGmou8?vHQ=Udd;_bSZ&v~WAXs5I!wm2nix5=*s>Y;r-%WfM$eaaTu z9YH}m+i2+(&FWS89v8=c&D#Q@%R-m8*>$_|RL@}Y`&6C{HJ4t9D+%?1ltc54ZlA@} zhhU!%tCK$pS1$~)cVl6rseEOd5(z)ia(QjuKqYgx;)&?3=lHTYX!Z7d^xM;#{`Y>2 zB=?U$i=UL{x6euLouT$uLK!JH^A(uk^IeI@_i-OTRm!kdp>m)0el%4<o^q~ht}XVK zykbCCy_xW2F=wxV5;rHmI#k}HR(h6|!={e4ZktFeOPPHkXuLiqD{_OsbEV!EMiGf0 z`0f@bPmL1!yhb~(Qi|w^@H95n##Z)HO<hT}BOr1vH6<jTWA@_@Sqg(E#t_<f>l!bu zJ2zblFA7TLQSQ!{bAM&x*n1sc$E@JpIsf<zM&`qasn?jvS#$mne+X^PblLMgN96wW zWs;=REN9P_#J&izaagVCf0x_cU!_%PLCxV+uvd3+mBr9j;5o^%sKdTNhrgZVN=-#g zA_ISpN8&)c?rJ$vFP|0MD(7}_oXMs2kB{#4_ubv7Hc0WLY|VOao`|ul7g+L04z)<B zFt_ykdCy@WMa&6t!QccG-k3o)ByIWi=R>5ic=I!N^WQ_#{wkM?$9tggiadVZdb)|; z>(VAKh;B=X_&Yz@K+^<AIX?-M6P|t?XpGGkW`u8^OhsB5ysb-2ubsy)nUmJrwKZK{ zHE<uM!n2%A;>r&AX0f>ZTP5B{Oo7MW?9>CEn)^#usTH{%u^a05p)ov_4)gViZ|Rd_ zQnswY^ynWiZV(JCN5*{2YKfnsp^P$8?KEKLY>Vd+4Z7f761d{t|G6`+k2d@(gP~4u zm5ckuHOo^ImYcSwgRVP!om_d5R>Qre)DE;2*|YZb{EH*Oh|6NBEwQg-ku7Hi4QVGR zdS02!=lWJ(P|o$2pobXnuZ;4)xGCQjj8J-cb;JGJb4_v|JNNWpIc66tSsu^A!jSv- z=5{08y(UznC3eM?iKSlrDmS?xFPV9gonj&V^vqX<oM1Lf!S?b&g{$S}=02kWBD$xm zXm|>Zf|kgbJFUK0&SKPf<|>?1E>ADKpS`0&Qx`_=%QgJaup%Q9`p93t&u$aIOr^y{ z_9a{7d4?Pr-I=`iqw@;i>k0d$wH^vExP0l&T+FM!Q1<jxV(qC&%znwJE%(d9FTc7* zd~Z?I1{!}{+gex6qqCPf(cn#~S=mS)_u&pl(bItNEZ%}K&J4@h`L|7Rw)vtefi@ZS zyeRkKMyk}(<Q+UQHg3qY8aB=v(yQ*TeTOTz?WKe4tEA^T4<%_0)x|uln~Ybhj2F8W zPY+uQ7yoD^G=$_xbOK5T3O;{`zjI%dh%)#W^LjUbs6tO8QDx?UJzWO9jxFB9n|eYA zuKUAgmrkpH(<dj9xEFGn?t*o4?P$R)_W8}!@rFVbj*zmZSCUeakhId2`ufhz#tg)( zSM1tZ-cKZA99JE`$id$A#u$XQPs5vtWy5L>uZS?+6R7(p7hjQ+*jgFCh_#USlSU{Q z-tf9Rd`7_8VmP66@HK7S!i7x6rC02=1Vt~Anf_}}KBTjlbvN=Xf6uI}qBA)=<HM>m zldfRZ+7?1^mYDLiuLES?{aE~5S-iXa&rPkeDYvWNG|Asu;N4Yrx5@Hh5O>!n5gD1j z|LGRRY09SOr=(6-C&VkT@2BBAT!|!cnpK~qDtaoxcj4`+lDL2uOS)9Fy5)7X2E7M+ z=gIH$efa$)jGcose@wSL&0};=c)`gt>I`!RdSqGn?fpuEQGGn$6A<&xO0*!pnH}EG zM<4MoJiG2e?r~1&((t8}Gqv-tr+F{DrdOOkQS0=nC?UGgcdD@Nq6J$4k<BZ(`t9GN zgaelh8!NHb`ii|(E|H`-7%;>SGoPA~P^!B70VRxfERU04_Okz^r^5oXwW45_&%qMP z@ez@|cqb9Cp=G?p`^+gE(hDz9oD3;@X|p=gNul(H`E&(gfy+?TiM~{x9g0QK4;|zp zpWd|(5ka=%n@mJw6=~ke*-o1yv`;R2=@84yP+TNVSV8l9CQQ-GTl2r;t(}xkOL!DI z?RlGXW%}8J3cQu<XE0$xgEv;ikv?hu(#&0VKU{iJ@slsm9gQ(=Fole+UTD_~GIi$n z)_ZlWZK7i??55Z``xPMr{A?f06VhaAy*qfp>!TYK66c%)Zajk&iromkPMgl$S~qo* z<8rbHDQ621ko!2T%5-C<g!sXp{&SY0*8*+Vt?sUrT=AA3)3;!^;J)}&)+5{Pjg9$_ zrPvd(wL`bC%;Ohyo5%KBA@4<MOzEi|kvE7JE%M!#)A-x`Ua9m=))lWJ@@D-m<Xdj* z{)}UDN$rV?9?v-$)NfTOah3$uu97tJmecl~l&jtSJ;$3Wy|*5@hLH6+8p4Ii#Xp;B z(P<2ZjENVPcE^(b{!Za<$3q{}oHDq=`@&w(r2l7);$nc33X(*&={j`zH}iDx^4RNv z_fAM&eR(#r$DX&&&WYBX)8-o$Cg3u+K0A@Ln?+KuD955dOPijh)1V*Y+Mz=HHdZ*` zBMIvEr`iB}cnIN`;|Yes8GD(Llzb7L7G{27lqOGT<h7q+q(o^O9#`L-uvVqxYZJgP zsx|(aeMM#L{-6rWtMw<^P&EB77e$?Cu|dz$CCTy0tS!%dIrY}e`plD|^m46Ju^gdR zwG%IIW=ceK&pi%%^SV~#j8gO!Gs$m;2EU^H6$z>KxH4C|*GJ|^zET`Ker9+%knEIw z72UH?224*Af#B7f_(Z5yma~1Ac?3tF%F0k?pU1Ggh85g4#tPLxk=HeVu!heP9mx&C z4=!=GCBc>6FeRVkbYHW*s$&q{WNmV>x14+U<JD^{%%3fi9qTq$?=OfkoD`}Gco5(e z_WMUWzIwomzPcJ_;*Ml;|JUWY9xR4GTxZS?)(&Wx+Gan0Su#wLN;|lH^TXh?hMN!e zDs`_eE%x$#9_KZ|XG&2F$Q**S-p`7+t6N_`MHej`hV*C6f37;KK8}~o;MzbHlps*8 zN?gX5l1rI!LSpp<;|L%AevlLRe~YL*an-Mq%B6&gG^5@!95k@6Qr*BNUK<N&t9XkE z^Fs&fgiU^8maZ<(ADZeZymR5CsY(}PvCZkvckE<E0_~HD+#d%8&8DGUpc`A|uOxTg zIba_Vo<(J!6ehAO=HugL-+nz1V&f4Wlv8?=64rLZLiVlvmrt;d!qp{W=PuvZ`hG?; z_}6l-l+xCV`$n6EuPPrVdjA@?YBhM?b8)O{i0Ze{7HOrsW|pZVLn+Z4f{$@Urg)UE z@jTb2J7^v3Mup+5+==mT#|^5XK<-VNA^UvY`8T@O#R7|V>+7za4pNLviJ8sKHl{_R zdwx9>Cgpe8bk%+|zOIC;cHN<Egoc&E+T>H4oKM~z+fBxtc#xX$^n3i3atfNL&m^<n zgfYa*$VDx+X-|QRPwg^@<5%VsuTSmeo(@L_j~Z+`FzV}m%KA1TN})ql1qmW!k#v*E zb8CyYb4s08#bv4GZY<~L?=E*BcjoHu(vP|^_hCQI?7y-ej(zZ~6>ke8=(2}JMDoxS zmdNzDMKY>Zhtw^O8@I{%k^D4VP$@uqkGu)wI$b$P9bJ6g)u>XL0r~2NX-R6hTKWq3 zuOqc*lT$8q+I}^ov%hy%>Hs=j{wy!uM6oCP4pIHQ4DD{mg@Y3l`z%ARd^#PvvMQ8E zPR5BQ=E?alp-nKJ46~ko@L{5)=SB!P$$E^JMkT#jq4c|@tg5`quRf!%nHbJK8b5bQ z65sDU|H0ZDnpaF)H&Qo<%iUWuDMt`63Q++Ix{lW>1GLZGWyr*m%VnNGKJ>kG5l??R zv?_cgvUP46tt4L)Z+p|h=p0YU)Zn7LG{=FQb6mx)&$8z6DlM76p_OLtHNMx0e~*Vf z++9JhF0?mDDJ*TKR`l63onVd-v(r&tvOF0K64k{9b(wamn1`;uhSKkOR(w1uC9b?< z$}ehrEBdP7Bb}k_WTbo7lKeSL;NB9q!9|H}!q#XvFMQ7JBIZ`n!QI*UB3=<vfi2o{ zbpoAi+Ak4}Y7t*IC8LF<VIL4;afU_ZgCFVlU&p;-;$Niq#oWu;Mm~?t4)t)jj0b*B zf*<^Rhs&q3noe_Yal-jRSw~LM9DU7yJaWpMK!Hb+Ujoh!XXoJH=eW<!eV-G2;gaCz zm3#n)OLFsah};nRUmwvr&nByHVQ6b~0}c<ZV8dsGu7}8&DeGT(*CevpdOyzcj)IqK z+2Fl6`6UWzV`ImUdG}tgSl9ldB$)8WhxtT?g;5fe>ge1uX|ALsKs*V$N=;>RMj-GG z?0uyfg8J*ai+4q6NoUEX(1!Lb+oPb}Vl?bgxN0k3q(W5VtQk}A>nnZtm=YLY-74^W zdO!EH!ZyTdWU{WGHsWi9t>RI5|Jx@~#+*Q~`F*o(zO}+@9-qYOFQ=4^2wK+SJ7Ukw zcWZj*8=F?h<xDnPv@D#oGpcT}Xk9qt+}s$~AKOnj)5037mDEpgwb|lxYRdvavB{KV z(SzQz;mv-rS_$T7Sd4UyRE#vluJ!QsFq#Wa-D_Kgv=Zk}X&JQ{g&Gx!k@P&u@y;oU zB{4r^{w|M}C^kw=Bk}qvAHFHqP$Q2Dyqr}d3L}y?;zr&^-Z^wb?BNsE(HmzeC5ztK z``HsMsf%R`$Oz)WjF(k~#05|LwOX7e%&C6$yWm27+nHEy3xXtLe|OSnS0hhx4qa&; zw;Obn34)}*>yg)6;UQEu`S4Cs;we2lIc3p9v`Frc$MVYa{|h_=!~6&BqXEbkdTC8V zW77OISWR53(2le`ZB^@*4`dKI2TM5~cg*jk!ikHMBUh{llPgR_$ca!Yw=Y;y{+`}a zX4NWKRMd2FT_9><2j~W^KsS;>N<a%OL39O?__^Xo=v<*Ae`>C%5inQ4h?Of=gvk{q zBINa!%r_<ZzsH+7o^ZZ+8)&!W<yAiTjSmui&;f9}GgDX8^g#KE)Lp~7IeGIYv!)?D z6qFQP5|p=gz#$WGN$3P+KnX1ZY!>udgH#%97a&pI1IUs0fkU9xlF2gNoG>{diMTkF zf&$Ql4g<2_f1{SHf2&^*10M&N-zNc%^$|-ROzSHoz>fksOc%h8K_`QbAe`+u+i|wz zVxI%Vz{!Ub9LHvk%^aIKHgjy|IMJug3bnc=(Qu;SIM#8j<3z`VE)(J*=U5NbK-*t7 ztA3;lV6LDA$gCLH`MVHj%<kOP2en`qr~|vf9w4u2fA%_pbY4}N_5Gxu?FBVpKiCO$ z%yIk&9Z($lLB|q-4P-U+n@zOp0y>*?7?I?F`2&Luggt1mr@*Ay!hQXMoCi*Uz{wE! zn-}K63Yaxp-O%?Iz*(>amcb=(8LWaU;2MK4s*7gNf2!YJ2TUkvrdPq56(4=0lMoNZ zEr4*wf7I-yQGI~JBDRgVIFiuF)5j`MZg%&nzE=S%0o#hqFS3Bh{32V3Of9mC$SNYM zhzvW{gMEP0EHd`UbR(IGgej7(*lc$1Z{4lM?BhGCTFt)uK~<aC(=SxDTiWoest!xX zwAI*Y>DrX4E=yniN>#U|_m@=lSem_{s@KxLe?C&xXNB^2RP|e7;GwDkD~$i4YS0QB zE2@U9Slm=KY{jMjR2{J5Ym12$U%!{*jrAOF{+r{ik{s_=<aoa>#|LvcK71v|Crdd# z>&)@_KRLeqKF9itIleB<@$k<a8$asGvtZ7OzckWj96TAD$vAE@mY0<S_K~rVj74QE zStVmB8B57nO2$$$_K~rVjD2M6BV!*K`^eZw#y&FrU#iiHkDuhv^84G#|M2=-U<ze! pWOH<KWnpa!Wo~3|VrmL=bYXIIcyeWC3Ntb>HaRv5B_%~qMhdK1$Xx&c diff --git a/paper/paper.tex b/paper/paper.tex index 663707bc..4baac709 100644 --- a/paper/paper.tex +++ b/paper/paper.tex @@ -272,7 +272,7 @@ As noted by \citet{guidotti2022counterfactual}, these distance-based measures ar \item Coverage and temperature impacts CCE in somewhat unpredictable ways \item It seems that models that are not explicitly trained for generative task, still learn it implictly \item Batch size seems to impact quality of generated samples (at inference, but not so much during JEM training) - \item ECCCo is sensitive to optimizer (Adam works well), learning rate and distance metric (l1 works well) + \item ECCCo is sensitive to optimizer (Adam works well), learning rate and distance metric (l1 currently only one that works) \item SGLD takes time \item REVISE has benefit of lower dimensional space \end{itemize} diff --git a/src/generator.jl b/src/generator.jl index 87b1dcef..72952aa3 100644 --- a/src/generator.jl +++ b/src/generator.jl @@ -28,7 +28,7 @@ function ECCCoGenerator(; function _set_size_penalty(ce::AbstractCounterfactualExplanation) return ECCCo.set_size_penalty(ce; κ=κ, temp=temp) end - _penalties = [Objectives.distance_l1, _set_size_penalty, ECCCo.distance_from_energy] + _penalties = [Objectives.distance_l2, _set_size_penalty, ECCCo.distance_from_energy] λ = λ isa AbstractFloat ? [0.0, λ, λ] : λ return Generator(; penalty=_penalties, λ=λ, opt=opt, kwargs...) end -- GitLab