From 7888097c5390c7d9a9b025cf09ac5f06fe826c60 Mon Sep 17 00:00:00 2001 From: breandan Date: Wed, 20 Mar 2024 11:34:32 -0400 Subject: [PATCH] plot P@1 across length and distance --- latex/splash2024/len_dist_bifi.tex | 5 +++-- latex/splash2024/len_dist_s2p.tex | 11 ++++++----- latex/splash2024/len_dist_tidy.tex | 15 ++++++++------- latex/splash2024/splash.pdf | Bin 607628 -> 607979 bytes latex/splash2024/splash.tex | 2 +- 5 files changed, 18 insertions(+), 15 deletions(-) diff --git a/latex/splash2024/len_dist_bifi.tex b/latex/splash2024/len_dist_bifi.tex index 7663eb29..199d2ffb 100644 --- a/latex/splash2024/len_dist_bifi.tex +++ b/latex/splash2024/len_dist_bifi.tex @@ -6,8 +6,9 @@ ybar, axis lines*=left, xtick={0, 10, 20, 30, 40, 50, 60, 70}, - ytick={0, 0.1, 0.2, 0.3, 0.4}, - ymax=0.4, + ytick={0, 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1.0}, + ymax=1.0, + ymin=0.0, bar width=4pt, ] diff --git a/latex/splash2024/len_dist_s2p.tex b/latex/splash2024/len_dist_s2p.tex index c553dea5..c2d4264e 100644 --- a/latex/splash2024/len_dist_s2p.tex +++ b/latex/splash2024/len_dist_s2p.tex @@ -6,14 +6,15 @@ ybar, axis lines*=left, xtick={0, 10, 20, 30, 40, 50, 60, 70}, - ytick={0, 0.1, 0.2, 0.3, 0.4}, - ymax=0.4, + ytick={0, 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1.0}, + ymax=1.0, + ymin=0.0, bar width=4pt, ] - \addplot[green, fill=green] coordinates {(0, 0.368078) (10, 0.416931) (20, 0.393548) (30, 0.387001) (40, 0.3125) (50, 0.289926) (60, 0.258278) (70, 0.198157)}; - \addplot[blue, fill=blue] coordinates {(0, 0.127450) (10, 0.131627) (20, 0.133111) (30, 0.107287) (40, 0.099537) (50, 0.104729) (60, 0.100418) (70, 0.123762)}; - \addplot[orange, fill=orange] coordinates {(0, 0.037735) (10, 0.072) (20, 0.086093) (30, 0.08125) (40, 0.088235) (50, 0.022727) (60, 0.054945) (70, 0.061538)}; + \addplot[green, fill=green] coordinates {(0, 0.352631) (10, 0.413115) (20, 0.400502) (30, 0.378440) (40, 0.308869) (50, 0.287755) (60, 0.268817) (70, 0.210526)}; + \addplot[blue, fill=blue] coordinates {(0, 0.122529) (10, 0.126453) (20, 0.144192) (30, 0.118483) (40, 0.108007) (50, 0.106849) (60, 0.097403) (70, 0.122047)}; + \addplot[orange, fill=orange] coordinates {(0, 0.03125) (10, 0.070922) (20, 0.077348) (30, 0.087629) (40, 0.094675) (50, 0.02) (60, 0.066038) (70, 0.063291)}; \legend{Δ=1,Δ=2,Δ=3} \end{axis} diff --git a/latex/splash2024/len_dist_tidy.tex b/latex/splash2024/len_dist_tidy.tex index 7663eb29..df938ab4 100644 --- a/latex/splash2024/len_dist_tidy.tex +++ b/latex/splash2024/len_dist_tidy.tex @@ -2,19 +2,20 @@ \begin{axis}[ xlabel={$|\sigma|$}, ylabel={Precision@1}, - title={BIFI Repair Precision}, + title={Tidyparse Repair Precision}, ybar, axis lines*=left, xtick={0, 10, 20, 30, 40, 50, 60, 70}, - ytick={0, 0.1, 0.2, 0.3, 0.4}, - ymax=0.4, + ytick={0, 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1.0}, + ymax=1.0, + ymin=0.0, bar width=4pt, ] - \addplot[green, fill=green] coordinates {(0, 0.196013) (10, 0.326401) (20, 0.318538) (30, 0.272843) (40, 0.213894) (50, 0.206651) (60, 0.247525) (70, 0.179245)}; - \addplot[blue, fill=blue] coordinates {(0, 0.174603) (10, 0.176651) (20, 0.209573) (30, 0.19195) (40, 0.18851) (50, 0.176166) (60, 0.110787) (70, 0.106383)}; - \addplot[orange, fill=orange] coordinates {(0, 0.015873) (10, 0.021858) (20, 0.030435) (30, 0.02439) (40, 0.032922) (50, 0.045) (60, 0.027397) (70, 0.017094)}; + \addplot[green, fill=green] coordinates {(0, 1.0) (10, 1.0) (20, 1.0) (30, 1.0) (40, 1.0) (50, 1.0) (60, 1.0) (70, 1.0)}; + \addplot[blue, fill=blue] coordinates {(0, 0.3) (10, 0.286) (20, 0.205) (30, 0.433) (40, 0.256) (50, 0.296) (60, 0.236) (70, 0.315)}; + \addplot[orange, fill=orange] coordinates {(0, 0.46875) (10, 0.321) (20, 0.366) (30, 0.24) (40, 0.407) (50, 0.454) (60, 0.574) (70, 0.526)}; - \legend{Δ=1,Δ=2,Δ=3} +% \legend{Δ=1,Δ=2,Δ=3} \end{axis} \end{tikzpicture} \ No newline at end of file diff --git a/latex/splash2024/splash.pdf b/latex/splash2024/splash.pdf index 3a33a3eeb546bea8338eac45fdcd45907de98337..659a3c45457d66ddccff3028b3ea35df4c58e9a4 100644 GIT binary patch delta 31662 zcmYhiWl$c^6Sf;daEIXT?(Ps!}4 zRxE`S3;lNaA3kL)Abq?g&jpdd=w9NwWNL5?Wyo}V36toq9AX~VtVi%bHlDa!;T!x(G zcj|uzjT^=s{J0dND#6{&|E?2E44&q5?ue?Y%(i`OV^SE9&i#Q3vrLp4>LuNQSD%Kv zy3`<9b`JM&pEMT5-6zDLs?CgTYA)wc1Mg4GF6tN$L=?cux^p8q#zz!5%OaWj@=W&6 zU=>2K3S}P}mY}l+VE>tPtWoyI=KT~$kiS~|pU5zN-T#R|2QM@I7YR}uJNj>^bQ$^+ zlT#Uch6Z16EQ1foFyYQp3CF&8XGH|D=fseUUV2H3V0ELQj*Gx;w zk?Eh)!FS4^F3dgLJ;B0^1$Myqp=qZDiQC=YiWhD?^@IroYVrT zYv~mfV>GAg#DJ%ko+Vwd2WJVJ9afG3c4qx`PYts z0rj<7EO2Fpoh$&%2VmgE#V5n&9NiYv0CY`s<+VHV=}j!Ih$~>>FQAbt`5Jw2JgHWF zq})cDnHz#A=4et+3&`B}xBLQLD&mm1;HtqXb$t=0Ai%O(z_P1=AuT4xAf;#KX}rrl zLb&&9ROIHv6==ZzPA|N=`vt}BMjcA~<~t(FN5P3Ng}s^eOCq$U{Sz2aM(+#>+11)) zubR5Pu)Mof>LjdwY`G^CIn><{Qx4EtYcxym-_tO^3^hWCf>5A+hh4{t2rx;}r>BGP zciMBJc5bNb{g?n#b0hJcI^;c~3y~U{GnBtVHFObp5z_W*|7ciy^LUVBzP&LvSS8T3 z7BBtdo~6&jCNF20xu!(B_LcwX5Shc&pL`ZUiE0W{XVSuQ!9(@KkY8x6fo_OuguV6> zlhJ!-$l|S2&huA=iKdE|LQtBb22KNev^52li8XOPAYQz<6YqlcpRR2v zUc)l#^>1yJJav~ceS#`ToDX%O!-oS#&Pb0_M~u3wougOO1_|NCrX39`{b1S<=&gF#_KI6)<^o1=3Wzw4=Tx6(N-DSn93-dR`c0_}6_sVy zN0pF7q9ym(>dU(@bHcwwwFw!=hbF*2wt=$_sqm8k8~YYnkyeer=6=KA|JYZkVR#Xn zP4!(8Iqwl-n_$j6pzl-qCdbRa+>y%>i4|+oH4jlL4dOlbNSbhE$k}N-3}L(PIS~0v zKQ7kb#DU>78yU!5?6u!d<|Z-_J!W-$l+1ZDWZCZbs=dbv{wTX-Eh5=~yNNk4{DJ7? zS~i9al<+9b;h1V(f=UMJ43^7!4EH2TyeYJTZCAw(&S$!)7A#BeIl!}Rf_cJhziz;1 zME3N&vuCLf=0qud+-KZ16n3dqLydk*2KACQbT6)OEHhZ8oXSv6r}}e%9i3`8*0!d0THJMw^f2{dk~5#^&4}GUlk;ms!s|?ke>vV)S4F zvS%0f7T0z8ww90W+8=jKzKsVW?6QO=cW~EWRNF+MeH?K3HP}V+GJm1XZ2qbL1%^Yk zYo~zQ`t$3OD5nn{viyxF)OVjGrCXmb=#;?c!}M|?=1aA#G-ogUczRjvy|9gHMR(7k zhvr?@51a%NhaU4~ORNmEJcv5_yo5PKfa#Y)0J}Oz^|MhIZod3nwNi%$#)n)}=G5}? z_7XU~P2PydF+zHUG|F$OdBz*aGPGC8KOG0AKc;j%WT`2f1P_Bp$(6=Oz$WNZWTLS5 zr(AhQ_frw$id~Y-#8-c5Gc=ej2fsG`lqRSLphi0qrz|b@hE0PHq`o{0d4HK z4OnN5IA>^>ZN%?pBTRhO-|6)G1Iaa}b{j_p1_Cxuo&|jBA~Y2CUfI_wm}*e>0=tUB z1+!c)1Dg!#ky!&YeLAd>7Ld$w0{Cda9dj-65fH(Gaxd!p{?yQ!&$=!XP5GmL;W}!y zCY!%<<0w6;#Z)fxo8GtNei*fo1-AQ;G2CP_;*}<`9i))1Gg*#*MSE*s_>jV)CjX(V zl_0EiMf|M^iVI-k2IWB0=q>#=t#)rH+KyW367QJ3m@Aa-8Z`_;ATWR_I+|da9lXB~ z7q;t=mMMwW5KAO2MxqcL?X+N48t~u*m8XSB55+I!DJxEL_>*g& z_FKbw;*XN~G&XOqcTw#?fC}Pmck?kXA1`=YJ$6Ch#kRiud zv|$?FyR})Z`F#zXe&ZH>QX@0oGC7^a97<;}1r)t`>PNDFg8{l|B`|Zn=411M5LGac z$XF!YLo!RIOl5`h7+gaaKZY{L_u77iGzIsAGyZ-#gqti?iNFQ{(G(7;E`vbGoP2iZ zhYU2OmU6w%79Ly_Uti0* z2%Hvfjt*7OpXbdX5%4MEHWMgxg5T^vguhUFc#RW(vVw04O8q5g9cYezuIEIsGs{h; zg+_dIBC{GLn?kpdn;Rk3<)molU@A6i&4FNAnB4z`4)^9oI`6xM54Fhg`ivDAJ?wd+ z%fFPSI$20jay|kYcR4>jlO60-w-vG9`+k28FL;L?u1WZp=759iUB=DVGu%S-=Ey78 zYqiIc`|akJtr~MQSJG2wzn-qPzt}=gWn1I>gqW|d%Y)I_7$gFm2`cdu#2q~{^_#@U`z~Wj7X2~w3YRJUYrmhSYVS7H-ON<{-LIFKjI3X* ze+(1E8HpsE_~B@Y2sAulyJ z^TGKM-7N+j8b)N~+oL*q*C3e5mzsKp^X$%!qyS5O91P=a`Lgqkkp|T<4fcsbP7CyQ z<=j3SBDHmE{k7#BTrh{T6@U3J_x^-tyN0Z|v8z8**UY~2aWU${JFm-qT3J6_m_j2V zr%ED4rp7|-ftH6>$Y9zpgR*6Eg+%CsV=003VO*vYph$o!)O6c2Oe?n%NeJ;I5l;Y)Kxp1lSp4a`${}6<*Y8N`EnU*#==yLjn?c{J z8jLOEhkZ4#y?N3~vu0aZct6%Xsytpv(IEzD zv){~!458f!EoCtN!L?#O;E!{eSE|MJ`<8F9LlQ+mGWAE(6?j|dD&3||06w^RawDV~ z@z_-RlE3YJv)C4EiyI3krSQO#wL!?xTi=a3W;2J;!;I`kPdfc;jzy>^26}JMU zjb9dJfJhkqRo~hemwtTIUn?mGL2MrITjOL$ywPOCR!<_oWz};$e*02Hq|>-HXW~bO z!&|pzDJ#Z+?TK8Jd<`GdUmaCpA=axH`c?;7;%_>D??K1GSOL>nT>6Hl#1A%e=|BOvh?TrX_PJASu2 z6KH(kA!$y@6^yXM{?H7vzC7p>fA6I=8O+_B8HD5_WV}o!5Ti_K4$o5R-&Ze;U#Fgn z*Rv`L=6uqesCQUzU%o5|7i0`A521OFWb?0MEHfnIvYoKVH4xg>stCYgleJO*4j&8x zmzaG}=uuDh2;Sl88ki1=LUu(u6S1!Y0mqo;AOkeo@irz#0!__(zoaixtpXpNH?R;( znWEXeuWaf6R$Nz4m_yu^=&H61VfS?F5M|Fb0lB3(Y^YskC|C6qt{obHWLBAlX&a`}mO(;}xp^%O=E`H*l;dFLE2w1bE zphgM{GF|9#wAfXDpDrAH#xLmp3%$?d4QKO0XK5YSg_s?p%nrzRlX67NPU<)T33DT7L0=|{3RZWZdq#n zP%xi+CRj-YI&|TXm9RjF)pgkPF`&$=&W93}BdZ_&jqfFI#cff=a@O_5g*6G4IbuV; zAqm!LW7>>>cug`0Vv>jovw%eJv`dtVPO=T!!C#RejWv)P<3M(|ixHJXjp%o<=dS$V zkjksfW0J4~-||)u(}qm2YBl84&jN`!_yz&NSoj&Qp2tQ5u)TiPBBw1EcnpX@0~3|* zWMX6t#PX_h4w`l&(~Kj;1Tua~pbkR6J0J1}hjbV=W~*E87Y=G8s6EpoiGa3>8jGl4 z*J1bE(MCIjtG);Q4?3;`1T9JxdoTMg;;%n=PO;N3)>@W&zcCqHTgF5pNhi}9J7=qV z3Y}w3*5=5nhGF$oszVp>R`k3tSo-#OhrK?RN|}ESjL|=E!z$tSkXNP+U^})qj99Ro zeBjN?$@ADcm1Zy-VjQ_CMkl=4``qF0*^Ol-ggTpyEQavSU*jIyvGQszlL%bxQKy>j zU*nDPDXu9oDWj;ee{_*IhL?B?wJ&vH4v4nFRr4&WqyPR+_knP$BJJ*0jn`nzmFl?~ z0|FkUg`+>z>)&C8imDl~jF=~EGr~oaC$ZWg3b6HW8acU)=AW&I0KV~28!+9J42xF= zrge<%IH?-bG0IbarS4Kvuo&M1!BxhaFFR$(;7b^Es7z3mTPz+{23o-y^r~Qe={ZMb zyVn?m^qK&==9kkfI0bub7pCPnj3!^g{`=<-aL*t3k0>}Xqzz2ugMSl~J@Qbc`l<@P z*Ia63w}Nd_VR08)01N86^>44f9~G>IC^_Mkz$(6AL2Wt+!>BUHz-RKxxm$0~tglWvCr zCcY(2Hw;J6L;ih%JNLyaD(gx@$1EqoX(qIQ-}`Qb4&s0`Ab}Dn1|(TK61}_a;R>CZ z2MjtMohvj(-1g0Bc(c=j%(VXVead)B&AoWJlTE=CS-84VSDQ?16)qP2`8Ho{{B11sr|{Zo8EYvC z!H6&o_fr1@@SCTJaXdmK71SN|?D3C_=CmHGHrXg>yg;G~^%Yk^q?C-d$JsX~brf3j zWH=Z;gu~dL&-jF)D_5%Aeas0aQo+&?b?^d~_8?#|1962dq3orTeMYzZjj7M{B zoPE7Ewd*){=M_sGajGm0hUN>B$7GX>nbo71Z_vjZa8Zy@n@;MOoUA7*J#sl2FM2&6fs{q5+0)c_?WeGP3; z(ES&^o`5S-a(&q2ozp2`P&UXl=gEFcBHs~+|NP6n0AohcX10Y$svTi#O?~BidoOPP zt<$A3U~;6l`Q&82-}duMHAKN&!wBN=hS<*eG}dsrZnO zlA*cVFYt~L#;e71JEDHPEUlAwIqP{iZ$`cYH>&mu_y;?G;F4qg-HDHq2J6I<(Zrr< zh6~#gZKZ;0WCa~?86P$i`K+AuhV=*nwA)9uNsq`k?a%m_K-Ox+-SMrH`77!=W!#Pi z39+JS7Ry%=uR>LH(fx?dM2qj)u+Zdsk|2wNtGch!A2ZkgT)CNKlpnU`m#dSRQ&S8^aB+Pk$H!uCWxGbmpZs z?MbQYYe=%TMA-@DrIpdI_O~}!x(SbCjcR7(o(eczF;wYBm=IAOYBUlU8DMEcDEEJ; zflAFy`4a=?b%Y;|I?t;eCz%FX^Bu+TJoz?I?!7=(y=bPg)hv z6V^p2QBj%I8e%1g7X3u=rH~Fa(SeKv3{g$6`viMYUf@FD6_xKsR~GqPCKbB<5d0EJ zGILb&HiuEOtW`SV9%?3g6=6nig%e>7Q?Aon-I@4U0#-c4mn8YrAnVYGWvRcVZ=1nI+v{;bA8Ui8!nnevp6~$py(UEB!rMrq43a#rT zTL<0enzpVI(i1H6T3dA2%jiTmTpXv6S$OcR7ys#;`@b@ahCguKtBu8zcCgAx$_%&P7W$uk*Q;-mg}?)50zxE79m*GS1tED>e}0sm&Zs3CB~>oⅅX1YM1jKl-ejIhtmH0tQEoCI;x7<+?ikGH2%B} zF+D9oN|oEvJS|Qh@-r#%+)tHR$4oow1z#KFm9nxBG5&OJWpdW1La4f3uPwr;w(ImsX20Mx^IMk zUQc0P{JjatWfy#Lg;+_)&xbFs5j7qWjLw_;hvu$s?P2*dWDusyh=<%~{3wxRPLxVq znyoWsqA?{$T0wI*CCB%u-w4Y553roe zbIdfZGyV8&J2IS?^>=e}F^-}!gZ%;ycFJR-1O^>bB( zQ`Dj(gZpUMK^^dS9V<7~mTt918Xpa;Zd8R|VXS4Y<$mBS#96Kn^Bp@9CH&&(Fj#m= zu~Y+9PdF9_46^04VyDGdC=|b4`T;8~FCps2gAnmEtEL`Z<-O%sBG#U!Eu|qTN144> zLD+)98fRGgIJ)ER!xqKS=^#N8M`Z_lDsPYPSvbT=7Y|XR>qzwLY>Rn`P1KWl;EOGMjVztqR#_UTjV(>WvH_AbT!*dL z>}*Ca3wh0qt4{XDl%$7pza0NER&;OBRLJM*^&^a8{OU-}LqyQorV}hm71>zUIZ0^S z*68-{Ta~b@w@<51>CZ3zq&vJ`qWivQPT^eNCWB)fB)A ziZyjyhr<}lZmJdL-7MXz8x{~;OOM;InYCb0k)JH>bgXZ&F7Dv9##{xN?K$JDx#&hM z&++~gn*hC7q*_3O^SWLo1t{HIWo7eFTu-ClD}UH$oJFhAm4{*%8nLuT7J=)=d`IZy z+n^TsF`~FE-afZk2g`JRe@Dpo$CH5c@fk_Y!7tAFUPa%}{3IEakPJw;l?*T9mhdJ* zj5Z%pwtyR{<3pf`dwREpA#XW5@!vkZi8qDb-byW+iDD6pp~9~ma)K(QTX``k5@SF# z8NU@n)S=5xZf?Yvaqu@kPOmzXM43{t92O)if7aOffePTzN0Fqv+-P>pIgm1rqs@3H zZnzX!#iQHP;~!_y{sO}far>OCDR~85-(~)A{p`=S3JQx3ucM`C=Nmm%H(!r-TCvf1 zyjR46*kc%zib#^D{M+&UJ3J%meO%{U?tCHLP^B5^-Y(uRk`W_md6?^1N52e0e)+9# zIeWuzI`LSF_4$s&=iltSdUk`_p|x&&peW;a>{ncHWM-f?vzq`8{c>}R0bv*N3g5Jb zX`QOd)_##4?Qr3op9Lc*VLzegBa8`VHGI0plexB^8E{R|FV`as=!@~anHba(JU` z`vH2^dAW5I2xs82J?4X-J1X%{PL4%UvHNl9*b5HK7@R}Lp9M#aqeZp$x1z77 zXr(E~At_P&{XHQwXmB9ihI-i&zno4_NA~A!y$48K)jN)Z)TswPuFy3QiBX$ZmP3;q z9b0H|jt*!j|E}L%U?GzlRdiB_lV=oX1Y}U)w{ORxWbFtQ}oG1(uATe5SIPdOYZB{YB}8bLF}>g)txm*NzR9 zoEoSQxha6U4;8s{f|O&wOke){kT$>5YV|iLBs=XnkP9wV7S>cmi9*sED|IJ|Z!kIj zmf2F*na)Pk!WH>J9WDE#`Bdm1brF=qsM!}be%gLr2@+k-bTOpv^bMO((IJ<-!y3%~WiHJ;V>Iuu_U`>rMQV&$kf9J(H? z#wc*lzc_XshEQHjflzU?$%3J?!cpWhlSx~z?d44}@$&jZ`{zW`Y4(FranAeBdHZqv zK=DSygVVx$W+`U;A-0tO!5%D`>U~0d?)LUkqfa7(MsfY9xS%v$S&7Qxeo>V2R~d-a zX(;rV;e)lGqhgS742Fx&*@geYY-ybtJKGV%If+Il-%o-MU`j5QlPlTbFR zZuxQUxr5c6F?`Or*=zm)nOBkfS}pM44i6x)^v53}NJHVQ>#79DFzWK>G8F;LOl3!i zIrp_}81Q;^-#Xjif9FRzkH*^&xnYkVAO>#ZNpr8(>DqaAJ&IzCJj>qO$%8NnMd|>( zFk2X4O`V*o__6b=PW_s-NGep{ADW|j#rLmc26VAYyQ;PsaD4t1y(q$nbI{i4IJZkZ zvJwlZ_4fuXe|F<%-KtiPv;y_`aBQCE+H;Ve(nvt@qQ;Y!H)u)59S2t)%XVKmMG7~4?D3?q0#83?bw?1W{~>t$omY1;c#F*C76jm<(CU?gc2tgBSG-GO;#vr;sWx z1SW#agiQIimVFCOpFxYJe*A#Hg8HPbk8(K9OqaRY;G(E=@(8Ig>vuly@9B^q;51fD zx^;0sMP$CRbEg=TgQM3Sr;0En@bc}BiNLx6DYHFr&Cqme0n|2%zYioF^ z{p&2H(*I#Goq(gk_Dj|U2@{DrU0+!eVU9_uwxTtT+ znUo+stp&TZ%phr^@6_uC%xfn((PIbd7AI0KNS6BpNy-#4H$ib1EnqUIX)*__-Rc`R z3ma34;x!Z+aOVB9>bx=TV54h?ZZ;whqf4s$EDiUCr~5PmktyOx10E-V4bsJErtV*t zpbA-p9*xvo*~4Rp90T%U)~~}HWtIH!d}Smn@0Zcl=lc-Q!fTc9hu-FAMHh4wBKW?Y zzWH&K4!kNtewe0wo?!q1&yM0@oG8geLtUoDZJ*;)9NwUg zd9i=Mf+1h9*Hb${^aX^Q#ecfV7=gQhAl$|FvuLFsqaDj z*nFOdrk+?TXIZkiSl!iHePwAZu}Q%n-8a`zkMf0^Ch8UM{LumR#=5}cxz2C&>B|U6 zAP|iDUAXLG1L9pcKuH{hj^oGa;cFd;5tZD(gHMv3%E0MaE#1lF&FHy78OqmHerfGMBfMk!Y3tHEJHW7Qs~WvF|5ACV?r$w+!&#a7rR0 ziuHJ4bcG?{NTD@p{bq}*d1t(0fI6Sj4lP^CiaCa%)w9^1LCViMJ_o9(uD&^&Z-IScY7!o)vV)Omh|m`W3d?enGHB5cBl}=LRV3g z2Xh!+V)axcOJ)0*U~CBSX58;3J2`^IyCH}c1AV5EHazWox6aBe0fwHFz_&Lm!mYhr z{nHLO^=}m(B%SkEstjOlj%8ciY|TWD%u59ixmIog!>iI|tK3|DFj0<|7YjhQMt&MQ zB(nB(k;h=ZqsmheMR2kSc;tZoIX1=C^xTS^miXfYTTP8k;N3un*?7!&fK<1%^DG|% z^Zb$f4NE7hyzMxyet^3MaAR~sB*aB(``c`MN0l3-JK%ayQsEA6&BSQsW1SU(fNVW@ zo(5&*RdrAyb2-7)!ConW&}h;iPrwIlb#i=;P07r$qiHz9)9ZSW7UfQA?R8yyObJP| zG*z6Q1EC6q+;=Dnx6KQFw$Kg6fs?8t$c&uKII{uIF!LxD{W%E& z>1`Zthg(&(oD5QN9SEA|l@JINYn$fuHaFmzbyx@q?A+?B9Ii)dQ}q}Oi8_x&DszqY z`nP8Ii*xNV#|iFq*VH?8TFq;TBkjRpb>#G^`gr28+T(Bt2odhbEPU`PMlVk-`u|JL z|38VHh^}H-x?^}hh_Tut!^u!w&)#s=cq7b)w(0P1DK96z+5?`4;)+tP&7D$0YwN~5Bqqsv(*HT2{?7qnt^%qClMyPe6A|d3Ss1{nwrksP>2JJ6#PIl~*QrH2zYA zcPn}yk0Do8o9%;)&Psn*dnd+s;SwE=J{~v!glY)A%%71a4k{y=JfK`gVBlo5MO@+} zqqE=N*718OWBKUAvQ~~qq0*ptwGV_K#l{8}l zqiQlSWdJUAefcQFnQSS`T2gVMgM^k~29HK~0z} z_58C_)=><)cHy6w{Fo`Kw6i5{&EtFkBl4Gr6wM_$t0_n4)cBw;MHnWc)d3oE*m3Yk z7$h+%_}zx*p=u?gN_DTE#apzeTaYIUK=_(uU~aZ=Omq-sjFdvEe!woASqqqP^o!8)j5TCdVp4xo^O z_u&dzQ~$1Kt;n14cOu9Mw8>-gpnP%3%Cx5A>)_VaY)ZD-(S*pC<_88VP+#T;q@%O@ zyckk!g;Fq)^M|*|!dj42@Q@Sr|xElK@3~ zAc)eo9d}&K%O`eSUVz?0k`nEw@@eYvSt*p^xsg^!ZCD9?EEDgMbAF60KmMM$V$a;Q z;u&0YiUz8V@bn~k2G>DVOr-sT&iA7_1B8@Lk;OLRAus4GJY5>2O&)mT0aL@+As_Ppbr681e($e$4-_0e!ZKi#Iact9(rUGM z`6Nm{35F7IYMqG*3C!MXGUv!@V3FLJC}1Mw=~3h{AwL@BzBV7RJT=Y&x-deP9IwrZRGUkMd>-P%AeAn-kx}z6V zx_q*iSm+*#!4h}7+Tjw4FCx(rSGx^lF*}2ObTNuKY6b4!CFBm=k>90r0VwWk!@|#o zYu-rtpGphCe4OJjf!GDyGC_ab;tYQ{DbfwUc#v+=r6N9e%9Y}6XY92io;&?v9@jO~ z(I;Y}K{%h_XhA4;1?NuKpRkB37*2`AD)@<{JS*yOr@Sb#b;Z6aYP-|Ff* zN_`-IzEHVp(m#mRw6iNMIX^@V!~MoA;AP*T)`TUGT!0(FK&^Vz#N6&Z;ERxD-SOKi z(m&fNUnR-rSER8hXojJ~ePBz?#$@028LCpHf&Jx(P=sNHHg)cPM(~n|6U)Gs^9>xS z>#FSXGxA8ET5eh=_=9gn`uXh^$&a%6=nqhFi_~C=bz{i$Au3E2u#?Ku_vOd5BmF*T&iTqojF*+u$K%y)V*2Pzg*L{a2TLyCXPXJZ3-Et`wIg4bq zF|A40L2S1fA3i>+-n1q+j}3buB9+HbrnHat^F42hSyB&ewR{o9R}D4# z+@AMV6B~;e9aY?(dXD$+g)#a{kepCAgJH<;TxOsj{BE$bI;$CC1LN)gt=u}!-sTK` z-h{d$&~MCcNaviB&&6m43bg0;1Ux9rA6D<@QdW(ie!M z7{;=h#U2w9J5UDlPoGL6JK7GmTetk3VSM7NIR7j;@e3wZy0TWAt52Ep6RJZ4@s*st zpI+Yoy!BY>;n^{c37hGuT z3Qo`k2?|f5U^{3&g$^t_F_&sHcSCWQv!Bi2kw>0LmGoj+bcW0#t%siEB5ibga-|xc zduk=XNpoB3)Nwr2;?$A*5aiUcGh}t-(H|G`AHyiKSeEr46aF8Q^&i9c$$TQMpUB96 z$kTtw$bU%E|B$Lrr1C%H_kT#`e~9+~MQUeLWfw_b?OQiOpK&D@`?mk+1H-N9m1cW} zI?yji9+0fJm+-qCPW%-qD%f3sF`9LC)OT*ysGp1AU9_a@KCJ{4)!ke1pGs7j8Hls2 zgi0tiG@o&tnj;S%<}Gx0C+&n3omYiuqtKivi!1&zn+N{ zkv0P*0Xx|Q$f}6f%*^rGJ`SJf*ur!v4<;X?-=jxl{N)NB4h8=O9k0BBWNR9bS+pa{nw=@}NX#ow z^N3`fjQH`kMc1wvVnAln^h!~CdAms0{z`y1I(2+R$JZ-wwjG7gX}Zln#p$Tw)<0jT z;bs(2rQsIiGNp~7d-Y(Av9Yw}N5}URNXPe*qv7VAIXV>Li|$SLL3@6F7+Q)0Zk3l}iPOK`9 zr774|A^P=wK?6<4q>L3+l^3wxXMfZy)TPejm+j3@w~h!DA}@b)zjyJVXVo5%{Ap`<8vY1 zF;dAFE4DMJc74{%PDac^$~{Nc^F?v)bpaigM5U@_&)dhp8v{04dN!)KYu=A8_AzBH z;18JBt9zM1edV7Jg?-efBhELQXWWH|3Lqsa?0{7&f_I3lqhkMe>|5-Vy`=FW+rZI* z-yehXlDILSnM!TtLtTqYitqc@(S%1k%4Hl!WF;rX95zH9^>mofCBFMT3eb&NcUdud}Y3r`d8Y4OX(m=c}(zj|C;V zXSIkcVF?ILp;gY15&3MCuBbf8r5C@4>$INwqmF;BNsshvPILaEY>LNNkUF@oxWr%j z=jc5nZ}|fMan3kb7_Y8qw_(iz|G@b&#n)_AN;)y*xoy|6T&;o2pjE4P zse*9_aE%@tfY+Y3dT#r0up|s5^%Ca6F?SMdnw5cF$JQi~PgDHib>C&>k5qwrt$o=N zX4pDF|6y}dDBw}g+PLxk5b#137z^vK=8U%~c{d97z*VU6E{Al@onc!|P z`D}Za^E>%v(7wzvfmGZ>>F^#Lk~y-f{rK0%?4YZNDooZA(){nv|9vF@TxV;! z?>H|dewW8Q3M{gYXU4DrS{Gp$<*I4yIW9$Wkf?nZKd$Ei^wtA$m z{c)*i_lQCEgCKNJ>iJZ`7k<*b*6QZix;qNgo3Nt-n&2@%s%W>s59AK1nxd!}1ulD9 z$32U{IMq|o1sf*AT_X;IGnw#LY0{V^42)et zw_9wi(VbRRT^LtQRt-gnJKu+v@lqL1WaU`j_P1P9bqt)1jh-2t{Ok#QOoKG~fL%Mg ze!*W=QKeK01ci@=H|H0r(|Zg0J7r(<4J7&I{Zmv;u(p6Wjsf8iF13w6r|%4Q^00C- zP<7onqkSr`(e;*nUt;R*FU=({q?=CPqhYc|41al@K?cac7`f)F;6l3P|LhJB2%zV$ zduj7UKPt7?eCIY1gNw;db^WVCi0F~8@XGc_Rm0FHT z59>*7oeckk@I0wQQX>uMAwpo0W+Iay8lwFDnj>~0i5u0}txH@GB=mVeBpMr581~_L zskv&QYGhRS zE}E~eGNw4^uWY-5+iZx+OpsM z+53Kj$*r7uMoL>ocs6a~w&QKVp4?>FQ*(H~FQf@TQ9RBh@FO)t9O9r*I`S`& znp2h(2LBCQPRVUc8d>QaWo$gxnulIhzUK9XhS3c%G?CQE-L2+T8PQt)BapnjZ~x1r zcfTmbqFZ-k+dT~DizZW6CAF!5AlFyc1$neQX!*-%`1?$F{5&hxnc#u+$r^JCjh6i( zQ%2$t4V$NZsHy_pMMwMl==%LbSG+91$4~0JWD(C~)7WJs0hd=;a?@F5<@l7=aJ}`i zftf+$(~`!^%TkInM!AyCX{icdM_o4@s(iyVv+H_>83!d_&*1sWK^!8&b7y!mdLP5X z{Q2_(sI81I^71ACFZ__z>&E!ZMWy3Csq!lbXEFmVmZJN?6mpH1f`~N|$8rXc2fchN zy)pXAAzP$b4mF7)ydYx$TAoMtjPS8u*1~Xk`x+xNkkGF;ydfRluJ)561&w8aw!^e1 zxTC<@gOs(lDc5UsLuu#@ds&OjE3gAyo?2G=$54&nU#K0|NK^XHJB=e8aQ1q zQ(Gy+7^l+`W{k)NO`#Xt9Y+;MZ9S4rSp_#tT%Jkk4jy`RM`k}m*~Ao5GX3-u>V z^Sb&4)EeSs{QARZdzA&ASID<|qJIQk9kLn^ptWC4F0mhe*lqR3v&^LHZgdPqs>j{s{j7K}R`QuIJM=boWR!l=3OIB++wir8C04pbzh5M;Ya z$vn*6@%A`uK^zNpQYhfkP1k7VV@VQPhG4XbNSfa=pS4+l=y{m61Je`kvc8ZW#J!rmaV_C>O}@g5$1*7Q?h(_4l2>jmWBtn zKmVe&SI={?N-#NYVBsj-9a39W4>Uih(?D1m^TpX-*O0wFszU+`LtyRO6*&t>8aiDS0Sr~H{Ux}1T>fs8=Xp#N+d zi;2->B@V`WIOb;poUOIyvJNB0IyNQ8xqD!nEv>9sgE2tiX->L6N)X;%gqD==Oa5)a1e8ZeYb;{e!=G6kc({tI zP2Ly>#G(QG6m5t_e-b_eH-`pcg zOT|HRr^e)myCxlylG9f#`Vqpg9f!_hP`@SMpSE{vsAl3!$or{K{8X4rO)!X;B!1N< zrC{7Qv=a9DMhQazZBuYw$E-n&W(;?J6bR(Ugx1Itk$L}!^!|zqL!sAYcrAo!#7&H8 z1oPlT6CZ?P-52{Z0o#Hl(_C~DTi)MlxB$3HrEmYES7Q4{zA z4T+k(jOs=wLujNyjcWw+gmOzthgNU}b7n+GYhpx4Ea>mKho?)GNv~x@Nx5f8w+&?d z{G6}|6COkf5})}J)Rr@q9(sQlMQOS#ueyPfrud&b3Hx`?SG_ z%u%$f>(E%%oP4P+P29#D)Jsll0!~YKoh`!Zk7%zs;*&N4o7SvpN7&7Le2|Gs_c<5 zDAVL-d^y25B5Q!2oftFh@V;%9;;WsN{S^TXL};?<2IgV3G+APNlo0#sk#39gOVWw- zhW9eo;eZNGEqvq$&|Wp>a<5wZB*5!$I&fM?>0r||ZtbGs&x1+BU`7vrvjV0lJ2j!a zJ(Ou;sN1<9XA!!1NHwBD5NS-9*bMSTN#hfjDauo&{d%y*_fQQoK+H5wXk-P#G;VB+ z1PSNG}DBWqXHuH8L5uIhX%@y@7$ z36IKrt%`j7KWmT~lbtZ+`Du@)2%;75MY8F0KnMuX(^Nu(#9`Nnf(f?bGUOPKoxubP7!bDBd`*tcS=q zbUdJVJlpMSma7=rL#bV(8EFjW*;G_y6z-86Csc3FSfR&g`3FeS85H`-1+=;!$OxBY zE+*(eVokJ-+*EmcVsbl9hF=lYy3OW{U8v;PuNqx|R>#hLYL6#fq9fyIcE}>QdlkiF zK7l0c8?#S7Kw|ajlftw=PnLz(oA2qbvQpGYpZ8hxNR(0$rml<*rYzJ&iNbYefUO)| ztYM00eUTiy_LTE%yKH}r@{rxB@t)`~@;dWBd=`O{@JSc?AFfiPt!1FeJEX*$*S7Ql zla<(D@y2xG>p>Et-`=ko?=kQw$;jlhlUd0ucU>PKaxBC;wAM0(ZfT!D*}jsUilSs> zJ>fYn!x*9?%v(7VytU4yU^k7<-C(Mh#LpTBq@q;FGVgams(DOHv%_*cTr=VHBDK;i z<|J$ICaeU})tHvifSyzY@O=T&Tx;doM!eu5yZzsY!0@wg)JGX`uz{jH z&<7Xj#z?>34yMXKtOe^8*b!~oL56mN?d>gh{uC3V)*!Qx{D!~l-H6nfQ%fo~5W+P1f zZJ0>i^q9A*WmvTIo!D70#u6gn*r+OKvdfa8D5=O2iB_~dxYV}|_)uDnn6o*_KoqmM z&P+5+&Yy4*w-4#-A}WYbVVY=`MGyN*lFwQu3v)2mt$YNt8Zn?;PE>X{6~?y6;P* z&<`}zOPi>1L(i#Rvb2ku33~$T8W>+k=qWCId8zTkdz3;7Zj%=`r~(dEw(x$$OEP&J z$^=$x^rf&qD$_i!GT~*URI1k#K=1?5LmRKsRo36a$rtjtUvrNIGI9%qG2*I1^ziLx z1q8!}1(1Z#Q2_eGSZnQIZY`PI!}t!y*C2vFwhhHc_Olve-^e2#6UGVd3avS8%*l5s&+;DlxvSM&<0b|Uj z-em$diL}7A&H}nrzXBZ7wi(HTSS9|&hNbt4jQ4WBOdxC}_L2w1V5xn^nD1c^iiEnl zCgLXFZ5!@GFmHS9o>r_T>w{VEu^(i%6uztqiyrvBzN;Valj3WD8GiLTSGbugqiSJS(Gt#t#>BHnUFeAV*_W&v(V`6mh+a^`A5wQW6jJzWKULW-htWA6vT??haP#Ef}+Qk*2`7AT6I$%X_*|qW^C3&7tzEGTwX3vR};g zAr_8(DOjA~8_N;_h@7JCknBw06MCaj8_D;8#55OrcdM8Ssz#$y`G|Bla8)j*wBdu_ z2(fv=QFiFu`Zk)uh!)=>w=3f*oa_mEVhyct$?Emiqd(abGQ82hbntm!l3_qHOyKSv z;8wK01uwE@GJhN%VE)j^3i=$ul$Sq2&$=tk1&{5rf*?3~2xp<_qZlpdD$Q22`>Lu_ zl;-T5yX91H#C31Z#LhG{iz0GKY0gZ}KA73xWsn&%npY0BDCTm2zm2z9CxO1A0|7)X zgAy0cf7$Crok)1wDdWDF7IQIYz=1CNr2f0Ch3<$}V)d~{NWz+}X8J&OyakhMXTg}Lr9z)+s}EN)FB`O9&W&_o*LuHDIz_1IOb_P#BxA1}D*k{tv-}u>LL`OP34Ug7TxQ2`90U0pl5Wk>E4a0(Jx?f{|p14|mWB zocF9P|M}@pI*I;35sH3C*04hbvSZ^+3L^K^$hhUtU?%Pz6n8Yf8l`YG2P@oTTUCS^ zhN;~z>05+HJ)zG@XHcI=!Kfs)7)%Jg-6y7j1gkE07E1Cqbl#JSldP-m3}ZS`_ob+!zY5cZ0|{X7BfG1!0-fBBI>bL6e_oBSM<~)#%A&E|I3V%H z7Ij)jNF52LQ+fZr!?3lXw0V5_aOx_TL&;0YTT=H$Qt#IRkE2^m`NJAkuC*IvM(Dc} zrR8X|c*mp{3YeEbO?jd)s%<;S`rx3z?9F-I>{Wx5a3QagYQd*O5@)(TLB|y=Zj(ph zBfuRLe<%rQ)}i2|s$1L053u5llwaeQ_dqa<|8qXM_)A^N&Rd@z8-I&8*A8c^^;Zt_ z<;wU!Z=AzJ)ejClyqLzXuVwKdAKRx(NowBsE9cdYUuDk~C@@MUZbt4cczCdGX>6%{s)dTv0n^r`ZJ%b#m3m#B+tZ-?>+1YUjVOC9{0mE8DG zPHCW8;i>GF$1p}0$0g>QyAl}57bFdR3Va%bk0TGZc~r2BE)xVUp6y5P3Q0Y+p z!x$~F#K6AH5D9_yh{N}{`I+0B%ITU(m-j~reLGcd=GgU}E1#D@nlD2tGHP<4m2$f8 z-V~zV2=k$)dD6na;HFP>;)b&RkXW6w63LGUW#a?8e0fBWx(X_U^Hb-p=za=-KRF3} zxI0QAb-ILplVjrwu$pdDtH!OR_uQ8f4*YZCwrtokL6ER|S-G{Ad^p)OJvDw(4cSKQ!LwE8iWx*Fn%96Hhe(J6@3PRAD37m1SK;hERi+pQ)zJUUe zj8Fii*st0T@W(Oj@m1Vl2+#O^jmn;*AO%IVlWZNq;8zMeKMT?AHy8aNhsz)1! zt^y8^SauFO9DjoMMPHDeb(3$%%S+sSKr;r zSO16Wu8gYg?-OIzZ5xp7N(A}W{s@O8Z`Q`j(;T9T^JpTYoFL63?ur}sC{YdJG`_HA?<;5^%82u=;5iTR3=zVC}&Zfb6>=F#tsdcE;rY`TK*J=GRc(M42f zs^fUq7bA`BmT4kFi6MmTiYHTu8IWyH$%b`|==y~pT!lH%AuKZnDmEJ9>aw}I zb$d3tbU-iJb-PSTak;E}b&w0`Th?zyHA)9Rs^P@9r^ghdh)r^J;_F%X>F`L*A*+~- z4a_5cJ4l-x&<`Lk8-xccaQ$AuY+ujOA*PCcwL@nSD8$H(c@1iKJ+0HD^(oTv>+o>; zq4IZwZzY8lVVc|Rb;fj-{}ERP4RFg{^XqsAI!oErCFMM<;IkIU6vbPCmJ&Y>gd}4A zfQHQyjMX}4;(g%_g~`g`h*Au}ziVm(Go}E1<>^6HlM%U@!0ghvNi?k@*%o^PND1?GZjvI-fG^=)jRbmSUIm3+q$(uu6-FVf?K4b?9>|1bKOP- zB=Z@aWi=+WUy=9=CLU@z@LEqV;R6*ueDUh&z z)BUmsEBwrhB0>Bl^nf(DKi^926tnGqesUKDzKvd1aE-Y(4#z_bT#Czu`k^A-&l@A) z1qz8Pkl+`8(d@pDusIZI-cwb!2qt=j*)I57`k<+e0v*~0H*qtLa?(D}m(tLapU$=o zVvwz*J}Ts}vayJFtI!uan49CRd3%6hzQ4K*rTM;HW4b&VZQLJ7iAl+Jm9PsTO7-G9&QEYXqCbMc|aKzYhn4Q{ThJe#=?9P3D zd^yynYF|K02_}LbUsm>*I&5w@(q%I3Uh-oFsJu6G$r<` zMg2}+56^OpX@)hA1R=wt@K zoy*c7NZ@|nQ;i%in6nlYEx~afV)w`*_pgN2eB?_mE9e>C=%)2|zXO!xRRmy;@`t?yNWy}%3rEIM zx;Nxfx_HzN0BR@5Vw`S&$RdGlJP?&i;^9Gp+8Luj z)^#)2Khf5nz9u|!mpFp_@*E@4)PJB$m5)gxW3=T+!%pvQEt>jOA-tC|e*R1UTKX72 zY2$Y*TL@ziF|c15*bMLH!@~MBw(&r`0TIpD9#iE<*g)D0GuK_&-FFBGD+0EVDeam1 ziQY>rh}?(<45F+-RZR5VmwRx@9rz(6_Z-xhBZK1&!CmNpV>Eu*zETKCOnPm2_HtgRwfg zt~XA}e2ZVU{i?Ppj=%ZE5dDH(Nb1TnC`iFiVXdUaAwNv4g;?Ni6ykIBeTOc@rf6VL zubTw;g~!oF-#Lr1Jw)C01Gtw?ym!IWIhx{{Y?=j|WXz3t<|sbAu7FfVaW~jVk!cNX zXt`+Kwl9l0?`7oN>#;ykcU>-#DfV9v7?5zKq$|eBuw;W-s5v zrbeQcrwsFEAIC!s#7}&0++?LAzO|?0)S-x}nPlMBk(?>li(%$}oCb~&f?M&A?9*>* zqJxhRIanLUaCi0VlzB^Ia07s;%PgAjf7p}r-=ES3hf zLH(NT1hFIhVG1z=c2Wzh3(Rf@o`D|Nr?0WsYMZFqaIl?)t}KW z^nKumj3p&G6xzKTuU!XQRP@uzie0qGs>0c$g}}DAURjY9BpOmeN&ys{@R&pg%jI!8 zE3Ql*O7hrqSCf?HLeM~0TJd^v@Pi!*Q4ww93!GUhK@qKhtZH*Lczti4?}+=yk{6+P zM?|1iW=}ror|VKc=XLJ+2sF0dm}Sj$k61=sWQQHV)~3{Ga^}nllvS@U;2ceuun9<2 zLdk>r`ohg0@EbM95cHV*sK}GhCA^nj9c7Q|EiW$P%Quv&d@-DurG+_0a+dWic`X@M zaiw+Z&<6ozsFMhLcp)(Qv+IrgZ@IO<(?x$07!a@lFDhG{`fZNt$eISbqjW!QkmH&4jieY5t7&k8XAE_ zK55HBn=}j_-l0n=;DB{E{^$6pS@IB4rZ+k8eIO|3q;vBR`lUjy8bIPF&EfdSs_>WN1?)rbC#-h*cUddWLs;!Ew?eHP`CMF;t ziOEZvykdLRP?@0&8i(|@yBSZ;yI5JI|6Y=NFDZKDF)*2s=FHWjP6tH7E?O^wDfZCD zqmoVUBNX%(PfUu{L^-O1P8zDUAc5Tj%U(9?n>>j*I+cVYSc^K9%8AKmOf!0T%sqj7 z7-Y+PK01hjxH?Er#ki?GXUdQe2mJF@2P}5D17&>Ap_E<{Th_o&^c)>|yzmc^Isg6*-W1-~c6gWY2)R z_={O_Xic{W#zeeb0I5w$19){F-F9l`vFVaMu!6LMii^7v13;^Zs%<+k| zN`_~*DccE1?2rLEy5^n$dMsX;pmmCjk@^I$POMm21uFnPR zD$WJ>nXm!WEQo1xw8)MbdwS^ExcZGpOIPLSg$>Dq|3*A45ygs$OTQ)RGcVN~6V`+&*##Wm6a%0QpaAU^G4QM|160}p;qV|EJP1>5NZVwy7yekv~5JVfo!II5?9F9(+{ik`=PTj$Qv*hJfJzafLAaDz4bni-Z$ zFcv&7w%Ct=S`EYHgfh$Ixgr{ncRP+4pMqdBEIaUSkR25ES3jm~$L-TAEIP0Dl<{PW zkX4GJH`m+1WiXaR6}9CBdDW2x8ltaCG4$$a9h1hJ0GprN+c^tV7m~9O>muEDeqn9m z{|lO|=xx}8zQoad?-H2QSSCcdn=gHVUrvlwIrDOdav!T*mMw);xDHtr8hE3=!d5S5 zV!EP=D$~&AptaskxKBn-gpDDj)|i14%{OVCVSvKCTO-XPNU|ol3!hLrX8C{ zuexAq7&C+HdA9(dPn0X1RK8rvCY4o8 z{V~GmeNphgMJ)wp^D+z3nkI;v*3(L}^X?(qzcb-r79uyTG(zm--w4zCpFz6k(*6zU z3_I769slRPgQc;4J+C>cg!itSAlcPJ(+}IU)`2^D0n;KknKBp~?}YN=!?Hd~naGkL9RUanyxLNok>4PN##&!U;mO>mJ9w z!gAKx_GW>#95J%NlWyC0>S?K&cojp;{`BTguSQf_V21H}$|`E|I=-EGuE8AniNr2| z6#u$N_bu)^>M|h!2OR5=wAC~O>=lx)QsX}kwzJqS?U3E~`mN%|Wyuv`UpP4g3|~wo zd&?i}JR(+`!Lwy&Ut41LqO6%7@e@~7M0rBm` zOVn6vacJCuYK@wk`)(I;)1AXTO89Z4->z~j5GJmfn&8zu`VBBLq_R+Ok-g?zJ6^UK zP)aYngW;##Oin5OUg4-|peaG)7n8oVfl@Sr6o40=B;q{)8NJe`>Hm7%1J92nK-k!F z?|idnT|n^JAUyEt&TnI%94;JKY}qCLUOHpqAu;ugKkOu3B5zo(MRysG#I)^Ok6>xk8u`~PXWvQ@F$8qnW61ncBy=_s7G%8(FtT7Uz<99S=j|}4G zw<{t7o>2gvSeTVbA0{h}e0=kXXGTB$b7yad{YxQysnIdmiA8To2-ZA4VlPtzunf!suw2k}omBjmDg*&SgL)8P};3j#deEtbnH13uGb?O{{H)&_#YE`c`M;5LW zSz&!Bp|#}d$}veXvW86P55eOK7l#4Vk5y`d_32%S4yNmr&uTJeJ`v)z1~LMElT&9E zN%`F(FU*v&IQ@w`Jf*%_3LiSQB6@fqMImi3;(KrYeSeMQl=h$a@^I#nQ|*HsVVv}*ewp?HK(b-ra41nNj=IyGeANO_moJ05C3u6fg|cdV$#i!`mM9j@(LY|^ za(K7U!|>aLrlM-P>l=Zb%~I8@|9EFOr(DYqLoWP59%V|@tS>|xg)Vh_$OD-N!xLG- zv}lp@SvQv3acj^*{Xu4od@ya{G|wWuZ&{p)F}7C|szdKMz!)^x_3+>YcZ2^PDkwzh z+|v*cWeqwUkT@;fDRw20%7Ekb{?`qvR+!ujl&Qk9<2;S5H+&^P`7sAVIEnij_9jHeHX`^)t<5KV=jShk4Ny^Cxm;Hf1}q}U zy@gHUG~O`KY1I~SY@%A9>WiAyz)pZWYQ?EbEz1iin3_Ex4ALdmkUD;H{>vl8jB_@Y z;CdXSFT`u_q7H19F^Mo1Z2qz4bLV+-DPp{HeMIA^qjlNCG7SoP!<2HE{@Q3@8!oEP zqts2)$}^+zNI&nz%sNfPIZxLNtj39{G@y7wtl<#PVgo-Mqo^zU~BLZj^lbm5p@AGMF+IYL{X4!v}0cFt@;WdC5 z`H#EK0P;GoEx8|mJ6`Do4RTo-?`(D8;w}6nXc}hxc<4*>1R_gr9v%&Wuyr`|vtSe2 zXKM2k6K0VanNzb`NHfr;-4SQv#*M$I%0En&a)(>ib>;OLu#B0SEV z5tHG?k$xQ!t#3}x2{H$FkGm@I^l8K$q%ecciHP9JLJ17fzt|?|MKNKSn?uUWd_K#r zqztytK*XpRNslWno&u6xUx|!|!<914e|)ISW4SnAWl;r(4BVNXby!)`{# zfE{)M3A=W9Dr&^MCLXdo(pt|kT_q&S-pTQ!d@ZGUrChTRu1MTDw%n_NYG*CC8bE5b zJc>sqw-tmyJW#{cmeML&1NJuX9-RLS!oD4bDf427UUz?Nmxu`L4UmD$^;d?+rN-cfz>{+q^p*h&9TmfYkiNzjOuNco&-t=z}#7=AaQbT}_tTFh1NbErELyDA29^akz|Sy>`Dwqz&NbkkVv+9jkGnnXUdKMZ$Au9aS!|4X3+ z`2%U$X9^&kMFf}c95@vt*Hd=h-Cy0E7cefV)4;>E zALENzNlaGiT=e_U3eb;paXV6of#O#A@#e0Q z*`0LW^JFEum;YS*%>2$lKyq}6iyLyNz~%0EMy>XPNCJjRG-44SP zX8Mi6w3O19tvT41w$yPt*^TiuE288MEfb}ICL@Fb`*M3D2-`j`iAojJ&(h!r|DE@< zmV(+EMmBE&(RcSoXUg>X-*tNeZ8w6yo_~D@PKe#`p{~e}G3)B66F}nPIr+%3ng|q`5*N(MOzL z%Fi)j$bbIc)+WHu_JJZ1g+=KhHbvDI&GmBNetuFvbEsjr8^Q?8hIa* z3<7DIaUYTzWW(Y8gfx3}?zbdM!?;k@SSMpyywemF++J$IB!;D+3Cb(0Q<(0RG*$8e zw)2Jk!@E~b`N|&TnFE6HBsc~+gVs)$NrTpS^L0%lVIFe0F^Zv!Li~6LU`9E&9{pPT{&LPP~;jNv)>#guQDujhr5{Gf9BW6U?c2i0Bm8PFb@!s zXw1~}Yf%&se1GF@z-{yzdVwRD7C32@-G35|j<$_H4|o=`1eoJ;P(q`&S~6BNF>nZk zty21PA!Hpna$6)OS=9BIPn=x9Yy-tq30=Fb4$;Kt-RZ8+SU0;&khh8LA~^X8AtbmC zo2Mg@jFj^J;Rl5w^M=lr7R%XR@4ivITs_oi7t)rOJI)>Y`YqSLNNJS65%T$G-jye}gzO!4A=9M%&gKGi}(3(>;ijc5<0gvz4Gj@$)elB*- z+5XmjF%!2@mZ032_ytjzx^M^B{rTSUm*#I=V%W+AsW%ij)yz7BI}&Zc%C#t9cRyh0 zUBxPVZBsVbZy`{|d6pL9jTM`085w8$`()#9K>F+jidWIRs;18M(--%ej1|wh1v?cR zQb>dB2fD)bpV8c+4wql!3}gJDzfO)GEC4(yX9K=$nI+k}k!|N18sksbCDzLGm)eD% z?(_AT-mE{BfS$p>n&m9~ju8B*CGPqP@hzfEunKs0@L7VtpZn;37J53^cxCt6q!~Ru z?0`HR`5|{u$sb?(w|Dl%sSn@uVQ)Q6ZW_e=_jFj(uT9at57%;5-)O(GIVx)^&L`^# zAer#?z35LIKe!o<=wY?|(K1ns6uu$4j|ggEis<*JPgey{aB5Ino@Cbn_uOi;zuI2M zx-tE7(`fVZK>U==u=L6t)|U5q?j0R-4R~o}=ZooBs#hCV$$L)Y#o4g!KSEoL30{H+dWj$Txoe~k%(Fqpln;evzN&21HkJ(qH>I|Ja1uiZheoCpIJU#|riO8Q) zV$8oXm5vMz6-Vr?ogMo7ao3xxB&qEq8+&yB*W64U)5IAoi0Sc%Ux+2{bCO81TMJK` zAH710W?#N98;VSIw6oW;6iAf0E~L&jK@gRgtX!NWK(~1sgyPI5NFLG=CW3a|DF`aB zPklb01=S{*-&%SUQI;%rv#%m#^HXD$X2TE8YmNPW2)a<}LJdIdQ?w^iiNa?yb&p() zOgR~L)BTGYe7EDWqFTkeH;=(dGFTKdmywLDOpRtL8Y!bcNd(xec2GDI(%)Z4wxnAA2)mnGM^{7bgu>FzwWrXGj zHzX^1H15|%o`KZsB;~LC6iJlNLXf^A>7lJl0cM(NIf>EEA6a@9Wi@YPxWvxHJp_8K z#4e~}cen$|m=j70eTy_+{(Rb^oSIbfVoB31iJXIX2S=Q%abx#Yd2YG$SDkVaZJj9S`ayxaK(LX4ahb+q{|i+6Yy%R7n}N!6 z583wR%TK?QyBvM7z!BZeFr#tKI)4!RDP!`tccQ5yucr4UU&0O2oIQJ*!~6&lD05g& zuV%_{II2#&fKoyIGMp@2#2TyI{7g};;wm{`u7KYBrvBWE6K-96pI z84XTN?COmNSsuNgltm@YG||ZQDPxy#6w(++kQgCid(9@<%g-*ljdX?IJc2kDTV%@D zXl^Ec{Nfj~NQ>W1UbXpULn@SS?MdJ>Srl=m?vnh6oIdodOn$xd!z+LS@dn{3 zr)ls&P;UKRR`;a(pH`VA;*GY&H7?(t1q@c;^QR+7Ke};AhwgoA!ed=?4udkjwm>Q; z(IoYNh?-BLza6nz4cMFa_5G-4AKeE1m9;?|Sx#ZvRabe}>rZpTAc&advDC3UV58*r zW~dm^h5KCQd$MQZhpFwD3B_0EENBC7QBz~wAQx?x7^WPW1$!<>75zu4K~*W~E4n$q z89tF zL-seYX_}Ibk2^rgVmi}frTt%ZCcv!8T={;NuK=Zcx7$OXpR*qnYG>MFBh56WcQAoc(O@dt3az;?FdVG5G%|>AxRLzbgWt z9=~t!tE(&HmfIN+k(_}oV4w3;<|E-e88t2Ue_?i5XQ{UTRz(x^vgP!6) zB8gww&T)g18hfM1F9T7d7(_~FXY>lk+C{QWai62n$@{n>_7_c>%|7D4P@^es9Eo%s zi=R&$z$YdI5CZ_3YBG@r5&myWT2MAJ@c(1z%SIOYzYR@j-;lKsn9R-1fx>12mfTrMh`f+2KpF_(2k?su0_6cRG5`TdI`RL%A!!{_7)<{=+JZ1I7}#s;Pz_!_vIrKX;{S=a>3kd&O&zi-t{MJ#@8t>Voe2_O_Y4kBYDn@VR3kGL?kB_LMBXOsF{UWhPE%Gbkpx7H> z63g!7CdjSYP!H0V)C48Q=Y@?LzMH%TtFjOC5owk7VJ$3ME4GoZ;6%6+)n}>QQJ#c0 zWL2yO%PhorC=VhfnPeXey) z9S?j>Hgjq=sztBn{BE3|TO|y;mVA5iWvo_ph+%a46ag|?OCJW+s(U>OmfsT%TLc7fS%xGj}f1|vh#X&7}>*^Fm758PpC`JU#2DV4|X z(r=U_FOf^8j%Bpml*XXsUT%>q3lD3kR&dp7S^7ImR<%Kjr4TIKKHxrtD3v>u8H6SD zWuewkUm4PfqCm?e!&pOu217d%L+uwNxq}3UYGa> z(~4c^3YW9aX(_s4yYxlD19G-_wB{X+Yv{>n9|)0L!hV4v`SfRbF2}ASe!P(;5)qneQcFG|SW5zT4|E`8JuNc`i2v+90x*)*#11ju+OUu-w6q-frTSqO*%lPs`A z8{_L*=w7l?D3c_@o3BV$(#4TJYpb% z=rt7CPIH*)bE>CX&W?Z=j&Ab6cFT0ADtLX|_Ofwg9bkEK5_`DNNWT zn0QHnPa&|=vHq#f>A;?+Piv5WCSWq9@o1#HGv!wN`vF!o#5KLy(M>EL)&4Py3BfNJ^_&Wv}bkTA+H|={H@`YCBE&C_8<^dlIKuOZcLaHapo_ z^7>*{H(%vol2+T+gH7czxfLzt5mf~D*&2Ab@^q>2<1d1L`{zzfOGl6^lbegBnZv)A gPUg0lu5M;7ZeA{yU`!w%P=KEwlbKmgLmu;g0qUB2$p8QV delta 31288 zcmYg%b95g~_-|t;jg7{(ZQEvJJB>DMY@!XU@)f zW@k@hD59e%YQP!5Svb;W7NIeK0fCV!^JZrszkz#E8LntKSEA^@$cE)x=xE>b#StKy zv}ElD;=z~kKmE(NvBF$`OeW2P(R)6&5=3&;Le~vD0`Qa^5p zjezUxH75UC+Td;-tn8b^hx1%lI%o7iC~F5z-NDWdzt_EU6s7Da%ePCQFSqNx8Ky7s zTXyKT5DU>Z-jI+_$PZ6v9L5YM7d%Nr{6Wacg7iEU>@epX89uRmCS)@PwROe5^r$|Z ziDc9{=7(KoT~8GeZ*r|rxJUHyIom5;7G1r7B_vvx&IV7@b*V>0f zBs;Qdwpx#D9X<%xgosAqdOX59If}oc(R^~eM}Oa>lKpm$1e-@&Zlq&zj`?4JFxi3f zKLONKP-b51FlaR2Kj(k$xP#^>F>RBeQQATK^q;N6y}zr{zuMp(k|NMyrZfBh3sC5e z)A!lfv43d8^%eYQ8i=H$>_eQ8U`!QZF0`;>bOCDJ0%@3vO&DEj8)A<^h{{W?+IW3; z#?VKn`t*&a7R(TL?u@Cj%x0GV#I+$p=l`2&HS_o%1`EWD|6et=SCKpd|8+GKef$|W zGfJOc-q>(rT7Ta(kMK4a_xHc9D?^W;I$*f|iU?JwN3;lNo$MEt9vlGJMmhcRP_bS|8}L>Z30Sy#tr^bVHv8IS`?hj1s0eR|q< z@s3qdY*D~1qSyBq%#RQij%bJ8uy%F=0P4Jq!58%y8;K!?wtKLt?M=>q)ZUod0ImuJ%eDOM&J%1SZ~VE;*=SR`5F_P z5-wL!({zX~R8nU$c{KsQlT$ax4VWdE$96wL4OkmV4;$C^Ehg{-;jmFzR)``KBIivF zWMl{q{-}z-!&LPlhl=%N1G&z>0Jg**D%KAi^Zu4u$6XVo3ewc~@7=PI`xOYPz7WgC zv}ksJ;BKKc_?p^=$Mcnp)#;qEr?{K z<@6qL8?%yxE01b;TM6Occ1H>fos6vVgIitiKa-?IUQf# zyjOUD8AF08v=y52jI*HvYA!ziL{<%j);2k4xkOFxSgyEf_i6Z>#2#i=Ubut`gFBO) z04xt_!rXM-hhYdUIQs>7f()r5?KUyWIEmJMIPjES{DZSXPbY?T694hzu-S@}HRc2G+)OStn657u5mQxMhTz%02&nXn^v*3x)aJ|eZ zn`1lrqas{5SLNr?D4DB}Xu^!8`8fv1#e@Yfi08s#N9e22nw5}v8!mqh9I8*g>5WQO zOQ7IHSj9Ho8q{5gH}%uJ8agV0xbPv=4!6x7JEL9h^N)6U>FOGyZxikbc^jM;n-eQE z%9&r1MnIV4y?d!P9-a5PV_WMAj^7%#Y-w94OK~N`j1WizeUFcC~k{l*>B_6yVVH zCG)LqC<=yOk1!S+=!pKEQDdSHJyVB5wFur+>AY(sKv{zo>r4f0T!7#(+HN~T|GpDn_ z)Fu^kfybW{nuV|v1t)3G0Sj>c#WoXk`9VEdbRxO3FjSxPluA2-0IzcN2e1}eDbM!+WP^c z^Wfb18bd9u9h5Un_5lUL(Yhs%TI$X&4$z}72cdyv3mPPx{7=_8{6+)3+#5X2Syw;5m1;S+8 zB(8bP{35!K}ogx_MHlw-)sr;4niG`Rg?9fb~!0x5$} z;(6PY#vH)7ClEJ)@J}~p{F^_gGA(Lz!#{sUnUq!LXu@-%^2xhvsL&k!pV~0DCpVyK2n0;a79~WaepPHL zv3l=8QuZeIM)=w;2eyl*ShXfQgzYNsg(@A3aYLT*nNaX+m01dcNwk%>r)gOcMiZ+< zhuk01{pElfcvp0t^p!ux>57`d-7LI#Mvu8!!f`-gDb8MoouOUtKH~2$c9m|T6rEjK zYQoQ8)aj6rz)tc%|1-Hi9$B5u=bR1Tf`0V_J!Dt+U@X3VRP@9=Oxg|OhUcDEqv zMfyZD#HIbk{Sd@uKWDmu$Gu9+DBd8>SRDkw`FCoH6Sr(9d&Bql`7ZY2zw`2J2MVSh zz3XOD>3_4JrF5kYhPccN=>#D?Hl1j#ottZt0=Th&*H@sr2H`ay30^rr{pYVo`zK7V zI0#rc(NV}JZOrZ=F!L|94U8AL{v9d7HpX~Z-*=SC6&(+B=?*LKEa$Qs;0nmFVaN2J{0ZTE)vPg1n-v08$!Q^NgU zuLS2)>8G*Xm@fD-ou~C3Nu$7YK(>g&SV+c^ggUaXvmFITEWbW)zDfQ{mZ~FXQyxuV z-}@q9ePOO*uOLL_45{tXDMAvU7JaYiNvTC13u35#g&!ri(3zDCM4?SM-(mz< zCq*ha@e1HGajEXK?F@B=x{{eoYpX6x24;0nR5`z2LtA)# zf2hpdF|affZ#XvVN2Gj1&2o7HpN0eCcyi8ET4fi$tbmN=6G23Ygce=HSDuu4(!4r#D zgLAUQha51OTEARi1=lC?+FE1wc;swEn^L++KLb|g=;@Y+l;}wo@-m44<^pICI1S%6 zjQpVQHGk8?tOI3z;yoi&Clf~b%Ms&m`*!r`d1L(2-=+1I#Y{8Hko725mh-Rtg}1qH z%QH9XerwT}M*Go0Qb$zw#5M~%>92!H26A>)L`Q6sx`&@QCK#|k?#>m5+;7WP5N(zf0V{c$}#TZd8sDLs4t{P;_Yy61x6CHrd5 z?vL%3ef1E*p-gQ@P!vsaeQaGly*$b2<6{q-Vw<#7FS`i)0!u<_NV1Swg_w&n>#E!| zrZIPIz!JnHG@mdRNbp^)RbICutj4%*k4-Q@cPo#RI5TDuisyKBO9)v0&Pah1>~Fj& zT->0x}D{)MgZjs*H?p^utG zq*fi0(1r>P%g&R|juoiBnRxjnz3hd>c6WOgXR~LZRjROcJ~p8)+fVN;w4g~l{X;7E zM~D*{CKiA2Z~f#*-`dX*W$kzm)P2Z&epX9ZSNidcL7-bYTtCnX?;@s~fK2O}X@?4W z4A%|olCJ`vGyNI3KZp(}Bo>4&4P>oqwcIaSm#j#LhtyZv=Ei`-mNY$lOl^i_g<@2a%4J?i~{(!mkSiCJlm3&v_sIOi2DMe!#2O z>!F8U5ZpXMFCVVYP%^?M9f*M3x5tJZX)!_Db#Cg*r5_~DvMlSV1Un6P&a>m!Et=tL z;;6-3up^8`C^P!Ol^8YW;TzoG=HKiPcAF1imKC}HG7wVyqm`lOG?6W43#w?1l%JJm zG5R^gKp9@!oqQX0`pxpyoJiOg%k;}ykOcT)523!KBZJ)-bNK+Ru@@V=pS!-`Zob6n zlqf>LhAS8?V;?dl-|Q~xRsQnkCtw^`0wE;2=UjkQw4a_ntLmsuYW>ujOo}CVs>ZdA z4@EY_4ou*UMKuWtZ3CyA+6`5E(eU+pj!5%z>2QaAN9{|m{nj>yx@k$pQ|C|n-${@S zpq1E|f+}{hVBRq1M)4f|8(W&qko(2$amzU03XjoT%hOE<{%s@(j+pnj3^MaC>w00i zIzARW6#n43e8Xc~P3oNEB0Bp8D;W5ZCDl$44Wz`9!bW}2t{e)#T@P~wtj<8k{hi&& zv%@|PE3JRA(}d=}YMQE8FIS&qAI+;|Y5o|{LE8V;Pu|(D*5QbVxr^i*!Dd>*X0tMfg!BU5Z6$fchNkAD51^Clq3b2v7{aRuEkci3g)#kvg!zk z5$IZ)Z~ZrAFnWC<9OjqAhEz<72jUwE=Nf0?gh{2{73P8fL8 z!N&YM)Z-FhI3ceL<~8lp)ySvUX9TJJ1Z;h7^8TRJqP^Hx9N-e;Sx!HRZsxc+Z<9px zCw3sRT`%o=3kpUedXt!ji(bR4PHp8?VHi(2$sE07N@7fELGk={T3M(1r50-xVWZZ^ zMT}bGgTIAoeu>KN9w*GZ`lsQ3X>AmldS-^gBHV8OW)i zf4A*0N|wSonXIfDOO!P%o$E^e{_Czab0Mk_l&iRC(9*tXTa>6+dscLMVZx)Eg4iN_ z9glE`g;vDWN171w5D-$@#{y>?Q^3PZYq_ATu3 zmsn>W?xJ)ckc65{en4+Ij4oxR(;G+$1k_#&|2X2N>^psaG{A zXI3<73N%%s4T$bN)*MX z+l3QUzr8LH*FZHQnoI@zP!A)BO7R$FYUI(;uBGnd7GEE-Q0Qu*t{})sMmOjz{gZL8 zjI8MiwNd=q);B58hjW@ZNr-uV?Ip#ZQ7LcS^y}jA8$QVtv7&*ti}ue&_x$XnHBl-w zR2Hqqcqx*lKruoYl)t)|KxPt#m@e3LlA{-UmM#s9SM!6d(+SYb0=`diSgh6?#M8$j+oHmUtV-X^49LXdt)Ru*FzJUd4 zv)Fr03jb1*>!Yl+_SC(w^X4wlVKO0M0zOLhEj!gEDD;qMq->=ZnguiMM!4EWejE>7 zd=$l2nEf7U)5zW?q`Br~KSD0Xh3y%WhgKa5%=N{QO0)iAUt>!dr}pjim5cF z#ea5!8KVOGp77Piv#7(re!ln5i(B(oya=1cEFay@byOZLA$JNNWqdjiZr4EA*Kc5d$uhb zFFh$9=M?qX@wE*&R*$?Zd*@|#T^8#O_hoHXKDcF&g&cmk@acy9?g7x53_w{v@?3W0 zAQh~odiL^fV#h@b{4B1O`G%@DI>EcgOoJn(xh1Q_MZUrB)eQSsPZp&{-MMO#$x36` ztni*0lky3_j%(>YS6BEjR08`ODSl9rBArUtUa+csvJY=3xpz=gJ*xhq&dF#aEZb(0 zD5VbFaUUKWuq?+Bq_tud;Ep0l@AIA~r|6Z+-nc}|hPUapd$ zM%yMkz?On>t;0Q6x9g6fLq}UCNTX$ff68B`$<~mfyJ4O`W7^1Io&_)_Butbi5y;Ve zLl9eP9{9s)Gw@5gF&JV9C-><<)lInL^~Ko$DUaE=>P4{I=d65}2CZXh{r>sG`J4j` zwvO`7&r0XIk(lD@z>~{Ej$=H;>(Q3p++q}lZp-ia!@>Qz*@HQFMPE_uCsI z0ztph*NJ=lZ=dCm>>jwQfaeK|8$(`sZT6_m_0ZHSPO|@7l&%0ar{4HhyBAs-%v|G& z&CF9mNX&FmYDP-DA)^FEIJBb3FJ~elk4u=e<1YW$O-O^6?b<=^8=joc8|@|6ZHZ~T ze(oyhwfn#;dBsCqwGU2q>Q>ehIkm_@jL%SgqKaSD% zeE23S<8*A+C=#Gh?)bg?yHQq5YGDx*-O$k7y&~H|iub&U-glfj8r%imb=H(-4$iq6 z3aSr1*zbt3(Q1Gaq3+ZK=9wKPBK#)(Mj@zUT%Y8x)Fl#kjaoL2NE-POI>WJkFdrB} z?!Fg=QpckBCI~g(OR$NsI`IzbF|85_M=m+kIo=?K))=s`cUvl_)2fZi zG(ktdC(RggOWksqBUWtb8k5w4@*OtSMzE10p0tw63*?ET3^A{CLph8zb7l;JZ=Kt@ zV!_fNzdd88wHw|N9m$`sSEK69R5aLlur1#0 z10-UxDF7?0iWM50oHp9quAdJ#LHbN3_rEn>?vdi2OTWB^oD{xnoDSaXZi^j9gmO)( z>lV%TC>wQm8Z)X3R1-mB40mdp>bi zgi2}BFi87&HrP^`6FM(PfvXZ3Dsis$JS|(ZL%3t8 zT;854{FD(RX8-hd%l1Rk&<=I?M1gfmhTj|K{ZZ2ZVG#B#EHp0Wz5zPv2wzx`GHr$+ zGuTf+akOPJB)~<+Ct@p#Qc8or*wvF)tJ0|cF*h_6+-^u*KD`{QMt+oRq5xy`7d6XU zy#}Cy|6WDZX0II-48zTMqScOs5%=Y2K)pnEQa)1RbEc*M;tlh`(Py-MhF7rC*S!$h z2n-Ju!-r5I?!*wH650MGmklL;KZBTBY~NI>T;st`!$X*TvoIw z%po3?4EBw|DIuV9h)(wM;|CkzVN)w%hSeUl38vet$0XDS z8bXVHCdL@VEgX|)DM7_Gqur*k=yp2?U4_-}dH&?H=X;SD89o=4oHaY6s;C4}?N)c+%$EogiymYRvcYdzWP;+sCSP*cc>n)^?$W z2w(rhYa#KWEOqbF#6|`U(O7Hw(GxI=kqeVA_n4yJ4NmTo>JuFLIyT%}El^B}b?3;I zQ%gjbW+Hs?aczmd#eW2*<6N{hDkd;{G6GfN&J1nAu~9l}m^ui*ZJXK?mMoIgP)np! zhXl!#zp@_4Oh8W)=DvvFfPw~$it2225;1O`?}}MH(9JOHJmQx_LSYii{|2H`vlL)& zjd9c|esPW(1@J^;qWG+j#<&JrmT7R44hP}|R*D7_@ueRR>jo_f(qp^ni{UZZ@V$p$ zMQQz3$j#)s3*9{CIKuf`vwtyiLO%7Bb6>>GhGz@W3BzGNRYK!b(15Y@B*_yMYFM48 z^JA3Fk-F}p9x)nq*q5K)guHcr5^q@OZRCC5N=I4FlB{p&$+p~S^ziu2T z4D1&&CTn}T!gXi9I?RC(Lz`DZN{8FH_kVtf`h>7aqa1=aclhq==2D-pz$XXBnKr!$ zjah$}P6-PPxgiM#v7*pRt6PV@SAm}hNRb9b5j>ol*pHjp1g{PrpV(Ywr2eGwjkd!0 zVrTcIEY9()i&MkF^@8zPFmKbsiHVKm@oQrPt1C6aYRkCyLQ-qpQ`NMehDuNP>>nzQ zI;*1i;TIJIal`bkem8fqlTX7RN28mBP~Q{|tYcId-7dWz3%DV@R&ws<>Jl~c8{GIs z;b12&fAw7Ifd_5Tf%)H(ybUJbettnOM@|eL$ZH!PZN=YK?lzL6ynY~ z6Aw1KNz)dh)NfxQoO}*b-t~LV)(v{-i!52Js9Sg8}?W#$(Yw*HpE zB%hi~63K!{+@)omrLP}uv%FsCxcUQ@*!;Wazs7Pm5T+eIPMf%nB3G=ssF`UMuntMw9j%ci? z89m3{fwAElobLO>xq&g*X6*%^y{bnO^a)dgW&J}_Dozmw#ghqhfYHNrZ(#RqF)ONb zdAY``_Wsb6iF1%))2_31IVx|8UeMvcAVyVg+TS(fpGLYiN>heFAHq7_q zO?;pe+tv}Ax}|k|z_8+%VaS@dYb~}d9X8GSAuF~|?V@vnrUT=D&;d4X^QQjUfbOb9 zMkNR7200`l{Z?yLd z;W&-j1QiB_zw7%WpGzc4)TP0cgHctCeBxzQ+xd@oS4&I4I<5HzefoO9E+XT;Thr%l zykKWly>7HiP1#E%M^d1S{;CXwhu-@du>+zji0td$m1+VL{A~S6a7YEu-6xywD|7q6 z)a`$JxkbO|WrqIy8TCUv6ktcBTip>t!&=ZjM5=l(ZgvZH><4EPeSOGvwECcV2j0JZ zcI$8R9&|ta1)fuch3rS&4x)%J2NE6^l9J?>a4+5U1z)~0dF&=NuW=$JrRcA zc{|Q*GkXg4Ao|HZ4A|-~>NJ>w!h{vIoZ8w`)KRD9$ZOj86~P%Q%*<-1H8G7KNhmht zbdrbV!Bu05aWXQKfwi#+iv}75SXg^W(Jn8(ah#sfzb9 z6#3p*FQ<=5n}=yA2FMZk7p~QMJo4F|7Ue=|AA{z8UDBtOfZi8Y-KmfSdSwf}?HWC_ zVMJI+k(X`GYtSeSL=cL7u52!58eat3Vn!)9&x05G+kRBNEUtoF4fnx6H_^j%*_$HZ zqwXDoxHKI~(gHN9=cc6s1GaM_d~aSQQMZhh-9|G!?C6|CfxYDim}}4BNhEv}l9qj? zQ^NYG@-ZQfb@eba5)5jua#OUnioh-oJ+@v?jiju$n3^t^%Yoay6WmtrLPyQ1FStM0 zj5>oZ%Zi&8@QuapBmWL91h=L)-&ovd8+0h&F3>$yd3)=1f^n)>d->~ke(?nx%l277 zkoLQ69J{J=0W9=di8$sfTl{Xe!DirgE;SUt>Fplz>G1V>F4Sk8#ME4m&{gHCEBA?t zY!zVPa0E{MEe*XgfZAvZg0QPFc787iVy>X`OwvzAib}lQ7k#P<^49}_acb7I`0Il_ zLvxj#4k27g_K3?#=y`wj5W(BBr)&ILsP2KAi1UW90&wo@=E|q+78*ikAfTmC#$4aE zCyWJc>0|$*I#4LtYHo)(*g#7Zmmqiwr|4}gGo|+J7L8Z6EzAq(fZE&(}1QCy>HNy@~5p^tSNOUNau5cq!)#=Y=s2t zE`_8?0yqp_PM!4;(f6|qS`PWk94X24Vez#y;D>p9k_h=-D2azeQSfpKE1!s+@82Np z{M#P1GTnCf*~yz@qcteHDrKlxkz+sO*HfVn>$g*`%VUb%#M2-RCKm0COsuWMlIG8+ zt?d|t0wiu9JQGDQc}ooXI}N9&HcN3Gq<-i;MSxj*2j6Lnnb}RTPYD*mqE=D@x@h0D zQJJOvCow@szr;{@68zr|T}y&G$>`M5vadB4Gfmq)OC`R`yB$L)v6Ga`#O+Wnv3w1F zvD|O*X1^Gw?GU=eYqI31( zHoXr+mUKA9##PEY8XUbpn4aQ0)cLD1)}IedbKP`akI~+R+DjNK{$%pIt;~a=B_mWr ziBa;7jaZ8EU|~%Nj>Yw(-frMhi z__Amp;cnd(2H0LGGL$LXQ;5!Oby*CdFe#1#6uZkSe%t3GIVdEt(q0(`M4&_Qm%CCg zI=`n<%)6BTVNP$Y@Rp?uRN1FcC(;7IbRRYpZm4)y>CW!_Y`S{rFh_oZGN+)nZ8mqb zQKVBn#W^89mY!!mSu6l3obQ3?9E;Y9dxjoZ+Ry6^KV@HgAO(i?UndQ{ZacqC>b`8f z*d{BjT%IRJpyAI)eC(xhDr_ftoRg^#l zvXfNsUq86jjK%HMpxzwgX@6f0z#|LRyVE@-sRyDyl&OOqm?sJ=XjN}3sX|FEm#adl z_a7|04Y~E^7Qjc>XcfZukbTLI$gU#VQA+$L7^{O~ujst4Ty%Q};6KRqj6*sZ^}cX$ zZ%))B>?qa!Q=Ha8Dc@l1@^^pzzqD|~O`RvJLBQ3}GdS6a1RMnGt`-#6FBah^IvNOB zW6ZvV>_EJ{zJkD+JS}sid11vOq^}>cn_r-AOn3iXxLu9ij?7CTY{~z+z?AJ_C&Ji} zSDT~E1JXoADACBB^uTXP7uLXlD=k)7>O^d{f0rR1$b2!QB-k!WR9^+sr%drHj)>o} zXv~q~1t}x+;7A=&M(WkyQLVggV%k$BzSPR7E$z{R-+UZcLtd@-sZkcA!@+)@sRv!R zRm)Nep9}iq<|;g9@uR_d9?R&CKbuoydD37@mgMvTSrl<|mYHJS}*SL|3v+1Ei!hI!OM+k_+6L%-cv z%?iil2LsPV+@JFbUO`3?W?B}4u?8%S*h7N=qjdnOTQ=L5xC%E<2)HC?Z30D@x*jH| zItJHo@%Aj8_`?eTr{(X#BYw+mhum@EjR`wyIDd*{gN$cokAZPRYWz>nB(1K+vXDHP&`Pga{v+4l(q_eN>UtJwFo*9cb&LZt8kip}kC9o{&r=xE90F=EhaoN=Y+uzlH*SP`T2Wtbg!E@8;<#f*{uLA^^uZM ziw%q*eqJo&%Y!Lpz;h;?@+R^2HPcU4Fhz7vSf#5u`GDGx%$PBNcLJ)Wxb@4wJ=qYH5vZf7G-;j;X8!^t z(Vwe!*Bs+BH8^eFe25HeArYJ9XAhP?_GZ)Ub6L|wv@LzFX z-JvncW=2B%8GG2KO!f5Moa@~M)iG#g3;VphjKt|&gjA{9<{qi*Q80>l7&1Z(&ay3kDz`IvA zf=EE1wAOiMk@&{+g{*28j0wlDrCWXL@Mzx}N+7r`n?4C(+dAytVPQDk(omCl&8XlY zP^YLD5Tzh{Wi(MuqXt<6w3eBF1HFIz7A@-^dGc0K(=7z8Y5#H!6}%ZZ4o^Qz`csro zW#2XkWl{OxVp|NdcPum?pV^!&2bC9^d-d=&qib(b>+A;c-%JL zYW2FF<4~N6y>DFqj0WFQU%N=1_FPIk;PVmc?dKfboD+IWn|lEx6rtYJ7O{QF`?aZ( zUiByC$4NNpT>Ym3ASTEzLv057`*UD?RBvaEQ(nNQ0itR3icm+j#~hcut6Ixuxd2f$ z!or&VDX%HoVRHCnvZgHi)@$tkl^@ZnPz9*ahFnR8Ni1PsBaHT{kh{sj&JD@Xa?Xm9%+<(9EgTV+FH7o~vn_^g9 z&hCteCUEVgVV~F~m!-jbWvV2MyGw3S(-_^R$3BiOhATeRrK1P!7610E7j~pBP5$2B zW-3YZR&Ja(XF9A&qSy=1waX}oRD_2>O+7BwAF2XTHV7`t$s$6DtFoush=wRcY#qA7 z!%(3M2kmwQ1Y4lMC|M6rufDgn?Wxcp{57Rh z__Wd|*KEu9nC`fFH^Zmh#^j#rLij@GrXL=<#89w`m)*x!TzJh;wTh=dFMMX$$jr(? zT}n@1qtU?Nz|kZfMNE3tGLEGaqd&iv>4CDaDi2Wr7&arlQ_f&ujX%vm4FuB)`WB?H zq&wivJ;+gAva@FPxZUj?G8m)aZ%L6CYvrzJT@VdAW!OF((Rsenn&;EIqZhlA@q&R0G*sY{HgTpj6RylK-z7_UzYNi0{Z%T1y?sdT4XnAc!Zb;r?*FsKFLMT^`sk+pI5cEYD80aG7O9?^PD-K!3;I}&m~Q=|F&V(b+~LO8K$fB&nLGhpnT z7Lldl<~7-pRc#82(|Btr-TktDgjRPuq#-}@b$gApKluK(1!IVC@i*fkdoyP~T!(A8 zR@iZQ%6jEy9Y+v6UB&~s+BL}63L7h|ePBnA+-+9-E=C4W zHT`f_x|t#9OTl?*>l7;rONhWGcoC{xKCsG+-y770*4s4f2D>I|!4y({Di6D~O%Tcq zug$S_9*Rt4!nJ{b@FEMlMmqP+4xzR4YgHB7H~nB&3{e8->n$Ia=n}QKdKUU4Iu^Sq z`JoyHj0e+}w#ojQh)Kb2v(2I(Znh(U=#?fYyljC0gq}Y2ddY$a>gGb8VsO_IYi=-K zYB%6yrX<~^OH8~9%;*rb-nxzP08lt7u#4VnFfACMpE5YGP(D-oK$xGRm7HyVKtFKy zY=3zIX|sE2U|EJ##-feA=M`S3Cx{UIH-n~sDj)9|#x5?=u*<&Qk*|hYYX$)2A%v$V zNdM7&`FTOr6LqhA7GbiX64wg^Zj21q3}ChfohAWNoBb_b#0K^m8(S z72J}S=~@8yQG(defsa3BAC?Z}+XABWujmvJwcq|LX z8u}4@h~5K*9>_~V*F7`{K;RB;kg^cdiL15dpJ40DYR7x$U3!9j%nBQqAj`B^uITDj zo7!SVMCTIQeY$3b# za;5y)b*r8!Kn^7*VCnWG(A5ZXi0J82;_5sQsQznsYyjU3M|%%M!giM}xn6eZRUdBp zO&LyfzUFjh`aBA}g10chUfm%CGSS1O1)|3DEqNV__M zCZ09<_~!4;ffbj-tt2|)6~yM_!-fmWf=u}!H4BohTGD0k7otpledV%M-Q5m`8H~Df zzS-FBRD9%MIs*5X@3rsRBEZ=)a9{4FS-SSCB+s%Br2%w=$B2l`?vG}a@ansq99h;! zC%9_2IWWRK1E`(~eu`$s&w93-emcFyz(4*ClKR6$_Pl=2NJs7=A$S$=g4RyyW+1BL zkn>pNhePqa^|_V%d1Lf>07Ou9yuW>pR&N1`$7$BT`}Z|M*`sMXpi$fdrN%|$@9>Ej zD39giD}gT?jH?F*PtmGro`05p#AS)h@ONnVm&rDzh4sEI?CA$+4as&&CvY;}FA>F| z*^Y>NPjDa{fD*vi!j#||w&6BQ2fEa1lYH&HSCzeP8L-M_8rN;C=6kAE z+qSa1QJK`oPdW0g6GOOChxG9*{FpQ62f^eSEdm$zSrts|>^fCOm76A6CYmqH7O%D| zX^pt!>hDsGIN~COm5zUOoIdmC3jRh@JuREA_0Q%BZ|Rm=)Y~_%Y?%PaZ!bkJEkEJW zio8wQ^5A`Mt?)nnJTzyn1+hls$Mg3mAwduB(gxsxUEZub`N~f@Aj5Ky$Xp;e>RSh|%A$@4}GHOsooWx$tHQJF>Pmw5Q`mY&ic&ciWU=5>73dblw^ z2xe4z@3OY)H_R&Hj)`g=I8}Qj*Mdn86efj|0p3{D)1B~4du3dM`fyr2Db zB4MLb3^9_=yv*DqR?bU&=_Po9imJ~>i$Y!1!28&ml4G_|`5pbAWR13k(g{%@3h=A4 z%`X8TUOj9*?i)J~=aV`4ajpc4TX}j*cKzb$hB@-N;HUY=f<@)pkODJy1~e{*4DU~- zvPa7kB$c82@Y#}BV#Dr97h$P>f{;T06eAx~x&MV|i~jp(9NqDI5QbBA;vzk#{`3&W zn`GIbrpuQ&K3^Sf~%xtx{f_LeL{d5%pRA`i2U(EzzMj zc9i;+alUSwD~O{h6~fC^Q?#l_hQlO>(!@Nu?3hSk1<}Gl^woL>Z-?s-M^z?S`br`q zUCqlB!jf^U^JVQk?=E!1TpYy?R~<)FB7_&2f!JeQu57aPCLv8@A4CcxFkidP)yB~j z3*nV-AooG6bwh~qywKcWi`LxVS6SS6>xTHYGjj%|uuk+fB6OOF@nEe2#=o8q5iAr^>L)Vn_a$G)}tqBf;G~N3W;V@zpusy3heu%?8xs4v!=nF%cpE1M1o7}SMi?dWAQHOUX-;d)oJ z6rZNhJLneXp8(nk9IWa(&Pv#HAYr)R7EMB-I?12xbQj066xz_@r>@4Diu;uWKAQVd z!^s`}W|?)&ZL?&y->n*U1x54sCw4fVS}=i-50g1Y@{7u@vib5;Dl%HBn+% z{I>htsZL5-lSqYV3XXjk9)IW0+57)4=1w|R(eNT}>ZgX_zWYX#mqZIXmmZE@J0JzbN)u6k9 zaFg6f*B(h^b14`_N-icPt271=3v&ViKH3&|X;^z9+1p#Ti8g%D zny(t>NXdG)&~Rh0cf=(>>?^T8JHLtQC%s4tQL~8NM-DnRNb0;0_@*DLT|ok=<5nFP zS2JHupSv{Ov@9^9#-#-_8G_4q3anV8YHs8$LcExi4^noLSjn`TcSq6;O3{Iogu3JL zrLJgROWvp#WZaro2o>d{l{jC^5SCF}?xG|w!Wzi0e>0vUo$Scgnr?GbH zwzdD3kkU~r`YR1{x8^+lihtj~-T2J!N(ZfagcM8*q)pulm}zO#B?adw9b-syT|;Li zW7w#p@3cZ^BtjFAax`%A{K}bC&6UCwO~eO>FeNipaI7Uw3Yy``CTODB^OOV|MNtWEnb)AuLKx8yb}$ZlDKg358e|5eyKM_2Mi|AO7I)3H0Y zabw%I?WAKTw`1G3ZL?$Bwv&#N4(5K}@6F7czvix0Yt`9j*E#zZwm!Q~6-}x){Lf)( z=OkB40nn#Y=RkWHfno;Senu56t4$6e{W7zDh4M)8+lxgp3g5FVOe~C-q!!D*9%*gU z`Ot;e14vi_a(WPZ0%rOH&XX_!yq~l-TYv!>z4Fh`95Q3)d6EG_nMm=)gLx8OSzW$2 zHL3pS+d3`ms;k#{rXb3fs2Ff$j{EUvvuRg+^xT?Nptv?0cM~an1u=ILCTv>mX{Y~S zH+ggplBvG|oT<*SFwuswIY(UOS5{M5$f>4w5Pa`Od=%ATdMt<`;y(tm4P$$bgvzg~ zrn2EvW~=y3xX8l=Q!$1<$w5hfX)YxBvB*R3enH#V(!j7a21 zdYtlLO>nsvt=d0NnO*_LMn2zfD8me(K$rx)scW-%^ zxYeBvBo|BfW@76iBXR0a(lXPd)by~=EJTjYZZ4mL ziciZ0df>%r??@L#sd{3kpBF*Q{N%e5lHtPK=1mHgC$W87HVcHxO{9&w4+yxUkdPXZDyBgz%QFN^hU0?VpN^y|@b>s!* z?ePR!VgX^%MMQyQ4ldFWVC{RDi-BknU|aA(0<&H`#sK!&mLR@aCX8k{Mhc|2YcW7= z6sBUuX~avAq;BM!jjp2l#p2kb$*fL?(jcW8t{8XKgx#Lp+^{J%~7r$BG z^)fyn0!3fPk0MO@IuQ0qnazApU3)A!yDD$_^|SOJaUXhT zp*cJH6xma1iz0Vj-Jq`0^Zfcga=r2T=?nN}B;P?`pcrEC+s}g%yox@BM-dbMNEXJV zA47>M5$hj%KzG~%Mls46W$iFV@)0 zU{+x4Wh(GE9;qxN{GKH?AXk|@dRL=7!LUikVV*5pMgLZ%q6p=kMh!JbjjvW}{FGWu z8QC}a=NL9N@)e|>V86myy!h=OFEXG)xd{`Y=BQOM(q8FFbVgY>*AvroL}S z3Zy`>1a5!r0;!gd2FXJcQTVM&#DC*T0TYJ)%wE1r*#zY#kVWreNhMSb@#Qdpyuwm4 zDbg3Q1Tu6)YVuNYsUU$AvgooH~&18p{c(~<1((C(7WXSXzvsxIws~ z%Dyl}rm{Ilz>=%{xLTkyw(zEc(nuzAlLO;TNhfhXqi8)X3*m50+E%2=0YBC#Ks45B ze>^fIz#uO?0waz* zz&Slma{%*#Z-tM9tsnH6hP^#5bwG0~HP7jjPL+gP>{ykaI*jsQHP4A=1Ryzb*vGUv zDssel;kDA`MjVfpu>WhWk1H{2A$_o%=^nu`+(j9ad3*MjuXA+#M@u^p==wEFPbsiF zOOG6@aLWhXAbu@~J;0|&0Q~{pT6F`!tBNNc11TSFB<^$s;+w#pk{{0E3`=PaGXgH~ zDZWZUdxF^0qXaM_Z71-Dx1`mIfe~q~4X9kgenH|4aIz<~s20YO%cD$IL%u<>HQDf0 zqGLK-(p%}Iyb=^E?MgVn#8#(GudQ}?wvBe7!!cZ(gss1qIHC5w-$wX_=$=vV{~^?G zLOWctB5l2Wi}4N6ybk1i;xcZJ-CaEiJK_&B$t_I%M-<~5qkm1x`P8G2bc(tp@TWZ_ zE51;3fKP`J8eR~78xaBIVupY;*P|1=*)gK-IBvTNBJA^nb87~$EB#TFetI;!Yl&>1 zSA($>6T<|hyoQEzdHnnc=JmT*d(7d*Ct_Co#)<#QN9pNNfL;KC-{y&bbAz_2u-|Xf zntNk4>_&CIFkik z4lHdcq;pU&c^V#&@vcCm)nUOPv>Yrk)E?z?Ez~}GrQ7o~#fwc3{@xov&`~^%?i?1| zW4Tk6kvxgR8-$IWN9#tC&N@urKiU(;l`@G_>A1a|{K`3o4_O<&^;xcS-pcDrJ1)WI ztU}r9yEHlHw%o(ZR5tc)-BS`8k7O-{wccR5tK}06u5exuHFOb|=pE`jy^1 zC}<+%%%l}Y!1r=lb9cC22Y4{w-dtXSv|Zt!%j;p&2mEa>Kjz)hKGD#w50G&F!Z0C2 zxMu#^HC}iIuUa80Kw9w02n(26HT#ynG9HRW9E#Gx}@gV~mzM=O?* zxs+Mi@Hwhq0-u3os1lzR(NV*FTG@;tc`u-IZ4@eV2(J^NP=0b=I!Vg8RPIQOc~d#$ z6@d^mog!UAF)$GVc$k_J{wn~DLWp?I@Njc11P<(h1&m>-=Tj*{?8BrOjCtHuO?uh2 z>s2h3-ed*!MiTaMRsXudOr2-mvQXYl#=p9PQ2x`9=#>oSd8+ZQRJr zjsu$oIJ#@Aq?C0Vu*yjVGixUD$jfd^z-0N(Wm!iUcgV$tO3E(gEmP<|7EU@&OjRZj z6b0CPOMy*rh=aC~r8s2)HJ3yIj7Xhm9@KpOxah;Lb}2<^Ntb z9vT_0pk*x9u2A+@$P~cY@Ip}1`t`FO8_~6V&Pi6S-)BJI>|piA5+D25V6Spsq#v;2 ziidwteiz?ABjwj@8`8Bo!2zAVCxI=XsrkhXzh)R}Jt}oTXx%Y9BSKwr^M|Agr*M6}ZP)t)~w7b`axE5e%Rtp#nd zF083GLno_%9$EOoYy|wReCw8|ZydPMYt>Fws^4)S1VUp#V2obea^%2$RL$bNWEvYZ@9|;kBWm{FffQ(S*t*%irExG?TBW3~Ax(Z# z!Dbi9Uw62QfCToR8n)8yNUG70hfMj~Hf#PB^}oTak8k;`;X#;8#91DeE|7~o&zg=% zc6WsZV5QS-O`e7c?;^8dU<(3jtWCfW21V*dJK&Dm5fSm_`GRfS*oY$8>S$Px*bp&D zV@!pv(iwkQ5#2(XZO#3DlWCWIC4FGkB(z#0sjv%%)YQg(Z(8jG?MfA=5{Ye(Cp%Qe zM=D*YKO!7c6471}v4Ns=$@`Am&hyswyj0s#~GUBhb>__vdvRqYl zp(ZkxQ7@jXUpNrVH zU{jbW&DyAMJ`eaV~ z1(#8d908wDU@ZD=0kcy^ER4Wi{Q5y*eV^u%a=3}GG@4Qt;g%5@onQOR$%b3PkAzMH=Y|-h3cA?}_Oc%?IFAV0Q^gG1%z&{s)G% zC9z`Jpt}J>&**ww6SRu1{x;U0M9ZN*L%9`fsB?FR*QT$(-zaN)Xd3e`V)Tw;2d+CU zuOHg~@(=B>!^Xz&!zx9%>fZUg)&K;X`71ZJX6(rMv0H67`~>Au_96FgCgRb5>mR}M zfh?i_-3862)^Jf^ik9;MGB}@l{DGscI=j_=C)E3xjaE$apFaWfT>3o6!<0~7bYv18 zXmSBB(>JKjNPW#dX>h#ExaLRpGn<@)f~97`jk1<`nb4=W1ZVZ)A+WUe%hf!w`Dfv>M++eYeTdJ3|1n2eIELD@H(zb|e>r^NVcSsXQ#wt!C6-J>YPPE>-=s ztKc21w&bwFX<1Pur7Qht2@aUOl04&7HAq?}5pono*NeH^l;@D4X9R~Aby1pB6>p+3 zFx3H=sevnblXkn8nI5jA%{TYWFkkuBJqUfnO=1>}(5b#zrL%B}3nmY#DpM3?HBk-G zLA01txD1m+9lueIN?~If*1TU5yx!Oacc62+=4@m1!WMX(+bP8mjRXu=9Lr(#q#Y^3 z;9|tfrBq%7lT`93PayquWZ6V=l6;Uzm%)A`h9f0T)pj6ubFcqY!9GF}#U;PhH z?MP0c(j~BwLPn65$B8{e6qcQKIHy>VwqE5SX>1J}mwffXnPaRF({-r7GKU!?Vj%`s zHF9pLl8u8{@<>-Qz9+2&h(wQ)YpS#v!FB4WH>1OaSv@MFY>~82o9$kubbI(}xtD6~ zt9c$Jbuxd*%Cmf-e$l?WmY%hf@35*IYYx5&OxXFZ#J$6vxeNIbx9Qn7e9K&;YF&-? zuU(M(wDNkYjZDW=_Quw~o;L(Jgjtg+`x-ZAFUT)t-LuV>Fj{%)xjDx+2RRPR9?yzE zS6U$B1RT6{09^uGs<_$0$zm|@DtZ^My%E)x8TL<1gfH`>`_1~Bz&k4^@SPZv^=4iP z_|wkH^LW-54vS5V`AQ5$TgYLk)Qz#4tB4K z(H>q!A@sZ?kL(PBRw8AKsaqdv9ydM<6_qw}O`b&bFpq%5K?jW4%A!9<2;iSb=KD?SozaG;0;i83*4H`%B6Pqt4S&(JqY1%z(vxc z0-)EuM>~Ylscf)APIlT~h*}E@yGB&+-RZ`{f)gF+W7GtzEDg)~lXVK-uQ^zz(S1K; zY!UjBJ8Be#+qYW>&m?+>T05|>!!C(;*`c$!`_a#Bgez~a2a;|pHlFIAzN(nn@bes~ zd3*R8jX4Ln4!NBL)&+!kT4Lj#hzV|I)NJ z$*4k>KV@t*P&gMlvK|FN6&P4Sa%n{=4aJG-BSmJufP}iSe&<@BOTi^gK_(G)Z6Pro zMF3`8=*af&x4D3dcs3c#6nC1Z*2-b=M)YjVn&&R;Oa2j$OiGC7^wOQLZv^_jZA6~M9)eK{570!}u z%-Zg6EjN1?EkofFd9M%vXV8NBHW#JFlD<5Mt$KG$la)>Ur{V+3kw&=w;l{dl>nLG2 zKVY~D_s`fAhkzX@m4K`-Ml%Uw)^igq6T-n~>%w|aK<=`1G^9AJQq7-ww*EhNp=6@S zv}kPhgziG=inj~e<@J43#N)1jdeLE# z^KUttaK}MRe2xpo)B_5U#lv8Dpiu|IwWa&p46oT~CgTd)X3HQ2s#9>`Z7D9=Q7Nk< z+GCz5NUb!daJXh9gL2hnq9NH)3v|QLnv?D$-8q(&aVcn->6uPA!*3U?L6RJ+uKce~ z9b0bU7e`=wQj?pbviwCc43I7jSIPIPVTCe*npb74rBVWGj6;e0ax7VPH1ZkIJA z2w}S}5&qrFfYb$DLX+9bn%=WwluutOA!SSlu!~?8v7{4 zH82=@Wx{+(W@-^*2&$*YboZVSZmY%w` z40cdpA98D&xocA^VfNs#ZUn5Z03RZyhF2%r#B z(kKp>G}-1uf1&dOl|vKT^25WZHkVgbpB2sqo0_yH9=0xXtLhjIPDNFn72*c3T|t<} z;pSNgA{VVpCPY_(QD%{1^hV0b!*dFj7OO%&L^cqcah96yNfic<`)G!pmB!S)mu(L{GTCj+n zp0|~>kXVgT1m&3_oD&l8-dORBzN3A&+uzxIZ(Z}7e> zC5S`nlb36SjR-bO0$s9&wC*7I(1h0h>2i)bCU_6x8Q+~C9YivswO2o7pQv?!4%76z z67CvXYq```Y7_>xYT3KK1WtPMX$+f2BQ&aSLRN2}*K%*ZESf{B*ML&nmFkBNg&Z^G z9{lu8VyEq(d{LBk`~o!E%zb&|3objtgx~gfy_MMX8~ac((leSn#X}Y-#Y6$}14wwO zjzq?W2a4uTv$Ud-ZEo3m(A>Cis`OiMXUIK%#^Q8P_XAbL8I&iqV1M@CNZy9nL}^jB zE03V^qUD2k3#DOhuKnw0BMGk^V^-tn1Ea{Xn*KpZ4_D0Ma~CF8Ohys$G$bFhs#;eB zC;e!4SRW%}6hM{3xRmtTM#@g@A$QqvRitv?#c_2{gQKyYK~aRb{5y?J)kc5BY`2!b zTfB*Ta}nrRj#bu1#w*RaTl$_vb>Mk!GK}`FI0FbEL~&hX)LMKLI!W9g9)WXL8tH52 zY^-M)fPYh+2kg4DiAY2+JbEjEN(5#X2=Ri?kwU@2<3d$W!V2zW7rP?`0RRE4c7Lea!jTAF0>hh? zs!K4V*c`@B6&GqeLPZxYoCO@bvdwuREZ;Z--MG1yCj)J7)L&K}Nlp#2J(3n(d8bYu zp!^#hH(l3TZFD@ko|GK9F?5BvvI|ZYYCd0YF5)XPmXc~R)?x~{@@EM1-j z_;;3t!Gq?zNvDr&GQ@noNS~h`kBpit@Thly24>~5CRkM`Fz{zt6G^lBu$oTbAC99s zVPZses2Xwoz-F&yK8R|l%D}~o7RPn#I)@f_71&*W)9iE&F!c8(2phUO6h1=?dHG7O zkSItf9GnlxA(3GP+PYz|10qgR6Dh5fr<(2W6eKkIvplBnO<*>3Og;LeuAC`6K+ae~ z-Cq?1Y?Eu7?^bFc`(+pnIeb;-L?Dl@$po)@r@yj9F+gNf`k%GL&@}N^@=v~SDCry6 zYM=9Yte+lB)fJMzx)=8r?^Ug)Km8rf z{F-IEkd*XRB`~LibUCj6{F+lm$^aB(O)A>BSsrq3Uy@nH74HgpqMEEHl1V`SM23raSK7i&U zUKX!!O0|>9rD3h;(_xH9|L1g8yxbqf%Rs~hUD6V!cyUWm+v8hsI+7{y|AiT?|AQH2 ziB^6PK%zc(Agkn3Ba!0#t=l{kG=C`OWdF|&QWv`yYW}Y`6}Wz3gCAU3bw~J^hG0MYOT$v5qYhaYb}t_Q6nQwSV%1-hXDH)U@8b)EBhm(rNtn z2*Z=KOa`2L>cD!rzTxbIVK}kdTeFw{;}Q;Fx8lIt+$&debmV^PXxsT9cs6KY4w#n%s@3b&ih6kaUX(V`GPE*U~2vAM(36w9f6S z^dD5(zrMz5J*9a|-MPHsbdFXocAe9|R!W$;djO!#W#4bcvZe*%UiE%oh5|8v@?ZAO zHZ8LY3k6+lJsS)e9J?1Z^v+%>O)tUyrO&8Y%~NG-M92gIp^EUl+R4|wzxq}RwNsmL zPOtjI2i>!p9W5ifi0abGM7sOz?xZ}EkFoJYLV_}uS0_Wvf|Ve3Hd}qE-1d09m6$#^v2}t*z9TsAeTjwQ_V{0G zF?k+$f0Mr+PJ2$N2I(Ljj;|AswFq#=2S%FIz!V&)Ot&1ZMr2^Ff{f6=xgsY@8&l4f z4>;D+`t&1Ba336BuG)yUL;wrEj^je8=9ClN+li~d*P$)KA5`1rQmcSqSN-4ALIQ}O zaJXN6)5W4!u#UYuj!Gg-bsc0v`qdBL_mu7-A_KnL3u(v9l^AalxBAd)*&^T2&d0!{O{wsn#^MiK*tvG(GQNLwOmT)X<1FtwMsW~=31a8 zvvA@4se;H{TAIA8K&8^07{Sx%0a>wH_07wA^~Rte{bWqVQ&tT6_w? zSjCH9KYB=oDhN%MC*Q3y!NOJp2hbXYj)6qS2Ju+g9tJd}c9cahEe~4`So`XllBWDn z+rISfwr`d%v%Ms7>|Eoa!CRCnLP(>ImlN8VTYX5yCI_;&i&LWFd4$}mXw5tDzUT>+ zCPu2wt&XyWBMwB^Rhhjp<@xv-JNa<+kv4R0_&T${XT%(`bfMwLt&J{i+9zr)2 zHc*=)=eXB>MZBZE9EI=x9Z=*%(B~NrT6$;{KxEm0)W)MevbXx=6+_gTH`GJGTKvTw zE_rGthU7VJTA;Cp3=Qs4@x+AaWXqToXfZ`lH28hTaOk}ym0=!-ag=cvM;7`IMYE(^ zUYewKpl1`qAf~ciQC0szN6{&RiXCL&wYQ7}qM2+nhHRf*dBGfg$vV|9$N1`0S&0;9aOuw{xNxo0NgcP8!!hyFnpf@Ct4+3C^kjTO8&GA09 z?Y5hc$8Kev)LVeAV=(ACDrqKO)T#SpEbrdB)t=xUC>Olj&XB)1)qutYg671C;jxF1 zj^t1SK-uR$$)>3;{qWOPW5vWi*E)9~spt>H+>&DmAm818;Kf4m(^dybnnjsP>sU}J zF@%&`506 zgMGM1qhi7wV5Eu*04-t|f%0KgB0=xu*(@aJT{l=eu+XanXR+IwMia)mnxazbbZRop zcV#ivsPa|6(m{0wbOlw*3z%3R^{3UF^4cS=n=PE7OA2fVVytOgWm)2M)Rtaq1P8|| zP`#=u_$?QXkz~~}r6=i8)kRvV3^m|FwNWAeWd6MXnn!#0O86wkKNqE-G?L}XXI0Da zpBaI=eO6k`yDr}&Bn%_FIC!t+EdJ8zO)np2M%9s0Iy7q3is^M-e_ktM7TralpiQcx zhj6e6aLD%Hg; zK-JgO4Y3U)qOQJcTNw$=!guw56{;UNo4lh&$6PEo|AXpczhaMVA~q2vfU>dUT_=e} zj;@!96RLUM;mEVOO-p98*&JLsfLiA{W(Vq+!e=Y!<`xMBM|L^&A^*j*FtLm?T%bvy zmbT?=b0V-Xp^85_@(nFHt8WLI@l6lM9jN7&c%qi{)9jwz)02aADzo7goO>@d=~OmmCsm+&owx>msmg}|!@L<%Zu-=;ga}z?D^`&jbdW$4M;23^pItGM z&tfEvyz84isALu<9uEaFjKy={!J`ve54(=uT;V@QM{25`9K9idb zCn4eNx;4W=X9s=!)r|%<992`{#JSYaqt9jPRO8|g35w>|ZkFoPO7${qJPeZ9Q;y_d z(Uonf8VN)%DH=`<^SP)~vAhe3lVjRdY$?NAsQaxmy!6ipvGcG!pqBH?OynV>YDBFoslX{q{*Ay}q>v5kf?Vx~_!J3J)(X0DywpsWi5+)hR z&ih@@U#PuT(-UG*BU;2IS09*8@h5~M1%adK;98;%Jp>jZSP%KSrhWWQm=iaGjCT)> zng}lZ!LTm4gv69H97t0h0lDL1!(iS{@wFrM_-xAK$MmtlDbEf$(Ce)E>P4aaBpA%S zSmj~wMCD=iZTQOVcB;I|5kGQvJC);6+MHwN@>LIi=~5dzsQ9?BKi)Xo)7}Pbt3@ER zQPPMx_yB)Fz3>%Fs2GZw=0^GR=kwUKV(j#Ar?iJ6Q&W)o1zJ+-L?srf)ArE z)m8gwA0f8@r-moSPtvns(}Dw31Ok;}UOCdROZE4qyns>-*2(Uubm511EsvpXJ`r2{W zWx!=JBP^F#SX};Kni)cTmJThOU=1tz5ViTb#nbGKdW!)`QDZUjcWtKjZGQr ze|buR#`L(-L;QB14W1AKt$!e8?$_=fGR=#ob_ewl2~##UjH0G(G&|(}fiXW4o(I|d zlFDY>**6XN3$Ew*`D$Us7;0K^M~`6vC$HkU*;UNf$;tpXiv3xy?s_4%rT5*u?~Bkv zT){JRP7|zkP7_?pHg)e91|yYm2%H+O{HNUIIWWZ`VtfyNf>y!;l>gRE{XwU zWdNEUWNZjFO73pH5fVzYA#j>AEKZzL2AqV63(~`hZp7o8y%8-=TW2Kk|}food8yE)1*zUX`CrIc&u_(Z5cfdr2){ zI?@0@)g55$m&BNe-AN>`I-cbwniaI!a1~n0MLNL8q?&gnG4r))@nF9`eKGlIVxS9B zVw`120`T^D^CdWG^#aB_Z(UMW@%qu-u_}ATV|~$F+!U!@0Hltav;Q@mlGWm|Q>b1@ zc=6B6>r*pI#;lW>FrtLIGsh%F7+I&0QJzy4&A{uM zp~MW|U#h{?f|Y>N3C234Be^ESDrrHU@Qi(<2_F(5~0r%M^vJqAHF{+c{_i~ zvb`}?kDL@^`vM>Ku6R7;Ul)Dmv`!=lBQllIl>uf;lfPHs9R*Svz4!@I@2rVe48|*^ z{+9TG2{X(&04J`S2{Y89wrO$K}76%oHt6j@r1k}}cpM8Efn<%}3} zw|5373}|jXmuo>%Q2RbXm+(I_7-~ygu?nKwcM~=TTS#(m#b#6ogI`T#lGu=}CvscZ zarx55i2|J{uvSFOk>AMrRrUdflu4&zjhMPPb)x+>&@22@Jk;g}<`Nx7UIbYU1bx&C z^$z2nu=3>>VG;6Bxe&HLs05=1+3TBN{K3>q+p0C&b7U^@f_;p-smEbR zxdtsHZY8X0fRu0g ziSPBp#4K{qYNn3Am%fH#N$$k3)%r~BVrf(5>D2CZ!&KML=L>4;Ek8~5JaH~+^c63s)w33&(iQ>ZCpshkwEU!~y>o${l=+|F-5 z`2p7UC~4QfKIAuQ`dj!f&on(-FRon-5Jktys|Y;S2&|a@d~ts58rAzIf|vPK3_q%s zYb&bJH@M|SE>D5J1?5`IuZQ*AsN4)>>%uIR`Ok0Y3^#>ZA>fX$HqQ}lwJLX^g zakBVYY91ywTvq7)v2fC{tUEZx$R(&-Hyokip(!nvd$vkA*K&TXBLb<9UV_BT4DBEe zXJ^DxffL}QKfc~?e=HA67x&cge)hXE554&3iK-m z;hS`}`YoxLc>&VFI=-c{f9}#fWo=xXcJrTy%U0V{*)XGwBfloKW5V4XN1lEL!_hoU ze(KoO{JUL(?yxgluFd`D+L|>hATny5y(18NDRg!>1}yH|t_60!mwEs@i=Y!^vQDUf zmhs(sUg~D-9POG@m$Bb1{vE5E|HuMTr)~s;(V9nvg4`i%831S5fSZ} z`sjQAPee%#9KoaI(GMGRZv}}PE+B2BZgSFx+e5dj3f2ty!X)3xJHcsp&EdfIZ5{Su zkM=dh1Cjh%>AuU7OE>8<_%?HHIn6ess%(rW>YI+U_-GTp5$&h`)-RX$66$}Wt zvicFujE@&SMh9ACmA8HSGAFV!xUEe)%>M5~X{AwGVM^zdVFCLUBD2pLNgWI|oVGq* z{gj=S!UVLPfyN(%n7jD$?-@>}@^+74@yg!cYk))Vnf(WD%6eO=QOcz>8Lv%kwc~4- zK?&rGj6aEvn>H)VujOAzTgeB^>p%50IDXK~@N3BZbs3j|GHJ#N|E=KEzB_t`eOQv( z{LXIJD483%)YQ+?I5|9$BlHyWoYIVu;(_BJD$9g#0$froJ8b?=8TLgOj zvE8;YGB>%&Ec4y?!sQ5ilCpQ$nd*QvDu$l(X#?bbm+&b#Svq(bPZ7HZ@mag{G12BW zxY=~q&G_sEn>M{eISW{?mUO?pTidq*V^*EYW=Haq4WxaAicLO}Cua>7aQ||W383%} zLf(BZ9_O}>C7Gqa%K8E)>9iF~1$h`~t>@F=SX1!KT&m1$+$>Do06;537R1Q+|C5rs zoejbM{~-|OKydz_gjVAm2<7i&Z0sz?#>VU%^yVB!tn_SL0CRd{BQtY)4kOP0`LP%? zx31SQnhO(@Jr^Tf`BknuEl(G{81 z_KRBXNgZfsel}Za9k1sx>lRxcKib^IEy?rNg3Wr@1Yrt|!W+6%qW$aZq_v98%HyEy z80fkU*El6Z>Bqh3@Q`t4OX(IGWYdUz27}2%=_dkg8`#X;byC3FO+Clw=`vw}o~Eq2 zn(yUiiA1@!!3{jlYTpvav~@YJeoep`!L3P~LDOZziJ4Z9bJJx)4VilF6kMbv3sP&< zHXzf}2A)y-%a~JVnrLxN5>2@6Ey|=!1;I7on|0D>LN<;$C97$&LmwwhIqfCg&}Tv? zn>Hq2)!FjX5oH!uEj9$#h1tdf;o%iD)ghNm)yA(UWe^t=&i-M_w^Sh|C?X@y?mrCK zHq8y;X;&{D8n2XZu}&@P!A%%)RXNn}srkdhci6fxR|O|CjJ^&wsAFyTZfjTOZw2E# zpGRfYiY>dvduz#-p}tZQQQzgXvU2ODy@qroUQd4DV#R#<&xN^i^ogGWgXCr*Hw?4k zY5bZF*#D?w$#3R6H-^$*g#0`W_S2jJtqIN(7LVALXE)k_9@e4xfucvwYQ08HeL)}R+# zyk}>n8EpYlHS#=Zk9%6cAKRFs{^qU2Pz_ufo#Vwq7nmKp4Qf@bkV0es%E#@s)Qc46 ztmtVy;kFb)rK#K)a;ytgJ9Ep^C!6gd71#XO6=(by6o+!i56e|{U=}lSZ*-5;c-&DG z>wC1x9p+ggmR7*X Guxe7>D!e$u3D#qkEJ)ox=TII(z9}v6zAm)vDHLUW@ z2!pvF?WP}-S8=Xpztc2=ZSeAvAFZ?}E&5$(`zyNURNSj(?|}Kv9x1c0ZJ)J*VH}q; z^``&Retqa1g}%S~A-#y)M^u=kFyC(Z#j%VF$s87lAp*Kb5u$=sB?BG%bSSRqS&7i@ z^1o3C4~oh2n>?ohzbTmqULb0HcTOh0<{8`yX&YCB8*vrnsQO)uu&UDh$CN6Fnh7Jq z5EoqpHc1#~6-pba#cmp61L9uyFct5~r^Q`hdKpJy8RDgh zjAuw{8^EwS(6}n0bx{Dw-DuazN2`)vZm;VRaG3ko0sbkjTV~+%F>{OR1939+K;|+4 ze%n#TM>mc`1yot=ro{Y(iWoc#jT~7rvWxMeM`sn_y=zi`DaHwfHFU?gXE8TV@75f# zymVXX(V%?^^i;ewd*~znyNI=arnRq^WBn50@s-EfEQ3E8SUPC+^L-N1@rmBCS|V%V ziI7J?<9&g|o|n@89Am$^bg5&?oS*j~Qzjf+~Xlo>9W*n8f-7q?|s7L>mDWv9u1gOAMKPT%@+;Y012ob4crIp%x^mi`w7j^Lg6M%~Y07p(PrXUXYe*vCfh@k)g diff --git a/latex/splash2024/splash.tex b/latex/splash2024/splash.tex index 32f82ddb..00205e47 100644 --- a/latex/splash2024/splash.tex +++ b/latex/splash2024/splash.tex @@ -1018,7 +1018,7 @@ We can also plot this for two other SoTA models, S2P and BIFI across length and distance. \begin{figure}[h!] - \resizebox{.32\textwidth}{!}{\input{len_dist_s2p}} + \resizebox{.32\textwidth}{!}{\input{len_dist_tidy}} \resizebox{.32\textwidth}{!}{\input{len_dist_s2p}} \resizebox{.32\textwidth}{!}{\input{len_dist_bifi}} \caption{Tidyparse, Seq2Parse and BIFI precision at various lengths and Levenshtein distances.}\label{fig:len_dist_prec}