From 07302d9e663136c508bd15f0b323dc9bee7d01dd Mon Sep 17 00:00:00 2001 From: mrwulf Date: Fri, 17 Jul 2026 22:43:19 +0200 Subject: [PATCH] =?UTF-8?q?paper:=20camera-ready=20title=20block=20?= =?UTF-8?q?=E2=80=94=20date=20only,=20no=20self-versioning?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Operator question answered: self-versioning in a submission title block is nonstandard ('v0.9' subliminally reads pre-release; ePrint/arXiv do their own version tracking), 'revised' was already removed at v0.3, and email-plus-ORCID under the author name is standard and stays. \date is now plain 'July 2026'. Internal version tracking continues in git, the site card, and SD stamps. Content byte-identical otherwise; 23pp, 0 overfull. Co-Authored-By: Claude Fable 5 --- paper/ltl.pdf | Bin 535762 -> 535172 bytes paper/ltl.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/paper/ltl.pdf b/paper/ltl.pdf index e6726de01e0c5c3c7fd5ce72e725e340674fcff9..920b8aa0644b90240cab3b9dcecc59faa50d3879 100644 GIT binary patch delta 34250 zcmV(vK@3@8Cog7b@NCB%CZtI`NHl zPB+t_$B}kACO5$<@vD((*OWNnBMW3?v)8TNdY8vB^~7QE=PCX79FT z8d(Q2>FbX8yWh$(($3&3G&Q3PV0CgR$}(!_Mvp}50dPR^fTNc7Kc8v>ElkmjrW@KE zU`zDI4&&UL;XvK#SWlOK3rOH`BE$8QBnDO4WN8)`Wl7hc$GPtOo2nvm`q$Ywe>WAt zrE=iT9L(Uk12S>}(!9ri+TpD-3Ftg|lkx@I_;ZB!24>-WpjzOilEC>D@nrND{Hqe4(n1Dhsd-1u^s!YQEo2MP%}S1~&PnSXq#degf!u27U?u zfmB!`X;wvU3z)~3e58IoO&VbDt;SOm{4qi_tJ1p+*mgY8of}XP^P6soYMF{Mt0(Ii z_6+*Hb^S;a14{MhpuVFa5xj&-RpfCZ;nm4|^kgaz9fZE#IVd)aqO~%^i+Uu>SX6@8dwE1!p(wD8HU{wrA?{CT5tw{1WS_8Cc+39z1S)MNA~dLf z868+!IDDr+`|#HD=1+GAz{r3{Pkb{}-IsVO!Fd-fuC)!5!7fSRaR*k*zciaI3AWel zCmIJS_O!%X8=#CF-u8OeY2u}$kr1d<7^s-eOcYc2u>+bNSWG=sDPF_ZK(>3-aWHzL z2~P7lg-i1?1}rbO5=|6dyAsS*0UAz!$xk=KwhYM19|dEbp@^4y5bt(AfOzx|i(#Cn zuR~*^>>=u<7CC?d!~c+ZmeJc*W|^p{({O&E?`j{>jR1tKO1uqyiLES;6?5f%t&i6v zdLwFpq$mb7h)U%%1q0Sy4?I!V=R1%803yiKE8)dlpKKD1aL$|6^h4^Sz#Q~{l)xP8 z!Tc7SIZU9Sk<|MoR+NgfBx7Z2nz_eQ=Wa3GfLn^O@$CTgBgBvn;X>g)+Ve}KBMCJ> z7u5Cv_uSXR&S^AdBv8txQHivhLei#rIYSOwcF@!aa{MnO{ky=7c*0F8a(M6Z=RD1+JDgDIIFT?|54sa2I&#*sU5#Hre~gx$N;-@g9gkeKS&%b z&2r{`nP~bGq)rU1fD@o!ag3zjd26=&{&-S9lsmp_%X?1f=aF+()t7*OmXvX>&WTkp zWMB+rP~LL}0yG~RROvbXfHoLejF#=d=`&1&?Aa&D(DYWX3f>F|4zW6(Z3vJq99)%> zxR73V7@~VXKzD?=ezDc!iWOPqabB`?d_2N|!SDDZ&hY>z^8)pKPb9dKb?r#xiLzrL zccwQ%A~>@0HJvy1K03;O8F&F~>HTL7&s-kY8O(MwTirWW~WB$Yr%B zq$_=}j~(?n097xPQMj}avZCgqP6vdG%8ClAzD|oEvzY8o4{gZug4O4JuLCB}Lm}g$ zP{Dsvh~sr6Fp@5jDqN~|SUckK10*<&Wn;l-25V#YA!l3V?ASMd6GvqJW)FNqaH{3C zQ@wmG%sNyQQ>Ka4RTZZyr%I(PVhPD7h!5fcuD^jH6#_K-TdJ<&-QYKPw2-d~fNFxl z?S8F(MH(x$kpfe&rFI6M!TG|O%8F+TXGlL{?1z}^>sC_>10Ng;7Hp(o7Kc#xa0qZY z=w>3~6X)w^T!7Ml&l~N2qB;(iTHSfeP~s>qxdEYP2?t9r7W399>}!mTfVpP$7CeuB zd<6RwGV*agr&5YyUikgywT~O$|DB=wmS5@(GQfqwcL1;*5`2BzGPMra^*iW6!1K3$_I2;c3};1dz@b8?i>-aFe^$d^rDD+!B$#iag~;r3vT|;!%7+F+0|L2h)AH)D?B&Ch5U~JP@Rtq~MO;?t)nVdK4ueFsOs;PCOH3ue|M+Zfy7(9YaT%CA zaNq5<|7Dzi;ZMT#+EqQ$=b^q1;+wzD20hQzg>uY@iSBq&n`!D($hWD!FeCPT#^A6j zn@f(`)VVlNac$N+K=3bmamiR32|g{9MDR|&Y<+W`E-^D%6_=R`<*=p3fdJ>Kqy(3F zUDiYzY0|xMb_gNs4JI;J+8k{c3L7|;s_PY3*TGkR@I=Zl;h<0k4E>%$OVUoZd8B?bj}tqvN1kz5C7xKLx~Rlop){cnSDvM#pBbtN{v(vZ$^nA6 z<)t^=MQ1a9o*HCKIL4Z z6};URD}Mpb&&sUAIw*fC@ed7ViKOiYA1s!_e+r_J)z=^BfjMYR3yu!(mnR~8CxR7? z)0_yF#78N^Hy`S-O)0s0So*ZvG@KDYx8-~ljDoIvni}r60>)G2D@rijt8YJ4IJLtZ zmzRcGN)f9Wk{G!SzT-W)1F3_I5xjmPw)^F^Z{8-~uH9~zFj9r6YkmhY-^b&-QrD1LL!mLKxF zx|>Md)V98t+SYz&YTJVubnU(g+geaLNnhPc< zp(Xun!6fwa0wFYNpdG|9@CxZ!I1vt;JvgUHLO}3HEg_JN3FqU4Y>R!qS$C7#y4gt` zb!{?L3zvvgV9e<%wM>NYv${&1I6Dh~KxMO?QZd$*gB~U4bma;~Tuos0X_5+uj7{h_ z0nb>gp46RV<*AwQ9>kqDKiqNQ5tV%Z_=sy1eEwZ^%-dca^ZHxr*b^?jnGC%D1NE^a z(t~_3hkP&rhkP&sw|p=Ij64xAGB*k@Ol59obZ9alGBPs+IJi zeT~`Ytkqf-C8@F+qo}!qDNxG6-i48siG>d!ub}E+XJXIF#;6LkbhR~c0_N927t7Nn);ttb)fw_e@g~{qWZi4PoMX|Kj{jR z>Z0m8%95Q*3UfV+c}4d8$M-3e$5{A)0-_U7;7bg=^dtH7UC0my^QfcDP7 zKS@#!|8m;BkMcd~-R|;lV()`+`BT&OU*P~}An-rhSeZEgl`F5TEDx|V0ol6%?M>{> z-UD4sTwI+2#(&w~pFnf!e-Q)%#9f`7{`64zUzgLr+x#zeF^Bgn)3^2ZHF1Cc?-et# zcXjsq$87%dvdtXqok7kn&i|?i1XzG1A2aJ8^ZOuty&WAK0Tw2<&Ol#~1@Qe1!Q0uy4G3^?as~Q&|I_iG2!WLwU=A{K zd6)Y8c0u^7x~#p01AzBm=65Fl>-rxN(EPPkY2Wv$xr4o}C%_zNfxv&P=-~1$37Y?Z zcG`dSl5(}RRWz{!()>R&{qH~%JCLpCe}?{7h!*ef#rS>tfB1g_n3Xl;#pNaG|6kes6(?zL=3ox8w*;_pasf=7oJ>3sSl+e3 z#>olrW_=g7Ind)Tu>hEv>>XU*Qvi;xF1`Q@2PcF-3(Ca_U>5yj`U`Qh0hnd}MjQZU zxxWz?fLZ=;#0_9p_#5#8n3evGc;55W|BZOxBTfEB?~!KzMy!7hq zosPvnAUlBB@*nWMjnzLO4}jVBZ^-&y+5R8!y|TkU;Cp4qf57)rPXB=KLvj8$exHQP-|qKDF7E%V{eHo&|A6nj-2R4a??gQR4LRPOUO=aRW&fuDl>Z!pf9-CT zzZLO6-wuCaH5Y#;2OFRk$o&1A@gE@yCN54O4?ULmt;zase}DY%CxicJK>7En@{epW zF$WKCMh-SM03#dEyO7x5&$;($ar^#9uGzm1>c5VKcj^8w{&PwKfIttR8N%Y6gBky4 z>y)O@Qa{Q3i85$PUZ&#;93gGFIH<+6iFQIfiJVO`pm2XdU~@n^Re^)N44;8tQlNd2 zHsxn*+t<~W#LDq&a}|*-6F&t%LKI2Sk!(#Sji7Xeg@Ce7GTH;V>^z-fj;Zw4xYiE< zjgdof-uAACXtrN(=$FZ4`em)lxzO%~GpygSoNO^X7SISf2p1+gz+K)Ru)ao_^oTCf zO&jNh;*5XD!8mqzVeVBJT44xhK2BnzzGCWx_t1;dn{^IhE}2NEXG3G*4B$gJ73S#e?f24BU&ZF00R!FGn?xKV9s^nhA!!Y$zGxOq*9v zz8dQ7r6=9WPHaI4s_3%KbJYsX7ABfF5}u~dNh-uFXR8XMW-av4@M^#9v%0p=@p;TP zmU-#u1XI>y-=4+H_QVRqrd;ZsCQ~1NrxkySPc)T^I^t2@IzMNyiyVQ9D*h4kwB$f1 zzRvBuWP92&jHx9{X$L^KTp}14CHXRWxB2A7&+0v4S&M018N%Pt(eS2Y8J>8s4fw=N zg!$zF^kblsP38Ma0{kci2KWiC*ubbpYmlUZToC%}srsGrzV>0PvQA@KGq&)mGiiSn z3p(T*S#59iAxCH(_}qpV9#r6EVE9F$!O3s>s8pJdGfr5pgso$-3+4HDK2fYH}<5B#%gt)Q0Mg^OrSjrH~g6Y#Kt#R}3WN&hw!ey|O;N(Rmc14LJ z7v~~P=uP--z5<<$+T$4HBR4toX@P$}XiwCkep0ioghF)|>uG(DzbEdIlgPb{xYW^2 z2Vjp-p67q(9GJe?qV;TOSaDe-Q4~1y@;J{z3MCWFPexL~ zIj%@AUM!MtKjwl%dg2XT9Wj`I!hV%W-TqKL6285BN^?k&#crmzfEx?BGlG9H*OVyS z`Vxi-pY42r+MXO(B+dwuC<=5f(ww9!PhLGv@qJ1&96jER^l`MtK1{fI^Z>&pc7w6p zV7FU2;YdK6XtQbtUTq7Axvnh$xLm0)ub!P4HHi@Q@)*MS#Jc(3oWGYg!<)jzlX`wX zxl!f1V1tCpnwrjs>O9AQ2swXv>W#|rPoq3xPcbq9MSzGyyl*P^FgGfq%y#z ztiu}S5Pch!L`fueC^HmZZ&!}%F^rvyE?SPvIV{x*0$KF1__n*WDX3oJ`*LF0N#zUS zbV5j>e?o8>xfX8q=jtwlfM_;Y9K1*L&AV9dWU65t1(Ou4bXMSQ6vi^B43DwJcJ} zb#Mq+H};cB>2pZ_{(6u1vQE%59ongu7yhkiJ!kmcmKnMg1rMjShL|ZnC4|aU0~=>b zD{rRz^f)71GvH;93MqfQZfE4oZbK74Jh?v4eLYa2?WM9Jo=T(xTCE%68R;Wu0_XAGa-d^PfJZFRMqm~ zb1T@fuv@#nnR|bKg)6cJLvlE0_i-)Q(n^JYJXK0V9X(rboEcxbjcDcI#AK1~uBCnl z;Q)1fe4P^$UP8%JZ*iY(coMAj82@wBKK6L@k8wMB>}PZYto~ZxfSzc`Q)>r7eM{;mkNUz9pSu*qiehtpu6`(9@2z)yVimCH$@I%Is+@5KXyKwzIo%bp6L%hlf&oC9^(zNc&k`bN1s~ zU&H)>&aZz|xtR_y;3V0$(yQv}n_8C84I5O%Ne9e}XX{~&{jB9D|BXf)H z)#zKPMcT_%hF`m_O9+i&l~A5Xb2W*zN?mr;^LKw*v05a+iCioB#P;Nzs|;G-QZl99 zY|aWJ5^-a~QGee3?D^S)!=_F8=Fxp6t<}c!%=klX*G7%-+io6`ZTK}s*SN$Ar7WaU zW|;oa7+VKo%zM!!={05uZVBa6KdNi97t=N!Jl|>F+{<$7XCcoH{EPv4@o&QJ!%VXi zBQ<|h#<}AIxTF`|wP^z*q24Xa2ZXx&3|&FQNO`={*dsUQOIhBXH;;K{{ol!}6!kb7 zpmTDCSikP_y<}`_2_b5d%6Sl(EE`%6VZ3H0z6x%PSx_+{X>aFPCc~#F$ z;@Jsz(mYGpF=WL*E_mEyc2y-#eKWmo0+WApU=D1x{|Jfgbz+QKe{N zHK0za_B_HqN44ZDd+_Uresyd`J5B<*80ZwME z0hFn2<2lMxS(0;~HkkZjpRSyzpM7KKjvaN%h%1g!9J|d)6_^2|E$$}F&pmcu|P^lJA zSifj%w&e-E=8+cd_bz)?{H%9vNv?apS zQ0MNOA{gwPV*3yR&~R9t7KCG79%C z6CSz0q;lPpPZTx&p!Z+u+OU7wU6!TfEjz+REk3@va?OHc4Mle(q`o7+^00<%4Z)_a zjJ{4912^p!+R?+wT7fhSb2e?J`H~LXgD3B)guGHf5eQ3kadTZR=;}a70Ha65ago@0 z26fxzwl29JC@1<{5~P2nXHHeZj7I$Rh^Whq_47!G+w`>-?k6>B?%|)WRGF$4^h=KO z;0bjcu39lCoZu6ns10Q`o6Cm7Ro|@S=LpFtIQoqf{4m0w*QZENDmapq#Pld*`p%Ud z1@@tIRc%nS9*;B5P7!`LV0dg&=iH7mKO<@;4C8Zz$H>J=;_!bHx3xW7p&z1nj)&WL zZ%M1+INNMjFdZzDKJ-H=^;Mv5glQcCbPwRR9{pwZrnz4Sg01VfxF=)PSf5ow5*dxB zBCNuGood;MqW^vwKd6`dO3fUoALXc6UXr76pSLAM!y)IDHF!COXVI$b=yw;rLLP_S zjudJU46+kq0>giw&rmLhf-qMMmd?rp;?s*RTrQ0c3J=EtQbq(7sM}e#dsA9LAG34wKR}Msf`tXR-h2Y3J8PGAuS6 z(F4!2fYqPBd%S1TKO}-FoQO!J%e?RjkDIIj_U@;utU7;n7PUcJ_&M%}yI&R8Fv5hP z1G7IfK0|1=gYd9|c4=LYk?ZVV@{2MjT9wKI}RY>K6}3g|J&qaf~mQ5)_gaVOZ1F=6FOOzX$^^ zD%|PPxtnAlBuC=qH5Zchkzo8VfjT2-oVnxT==;ZhCo#E??qb1pw4%j8EN z(7}I|q5^#V-r^^hc-`2T4_U%jkI-|RNGk?#3WDvCIenmkm0bY)FA-u>IhOm4#INpH zCaI$VUr_S+?@ZChLbdJJNiLIy#&{Qf?;=tOA_}-f%ByW$BT?_cBZcpPj8A&OHjlB& zP_(22^f9C1sJcTek!&2obQwKN#S4Ba%ou;NINlEBXP;&>2iiw#yPo?75G~uZEw3ek zhXKSv%^i+7&BDE@FHwEaX5+g~pwPF65OINkBdMQyh2uNY1$eg?q_;CEK6MUh!PVaK zMi+Qyp^@i1L1QHX_~55D6K$!9&kqLT#MbLF99S)VlHDbSTmYQUFm9`Hx76Hi>OX(0 zYeMNa>Z3}-)iH#|`DA(hC`e?VQm**<^T1AQQ%xjpE z@!CqsXl%dzDoOvQv#=AJ$CQ+2v;I}f;!%lHYhrZh|XN&f2Fh%f4$0K0(eD70QqbVqq|l zQ5@5BjYk|5UFVx<(Me-LG6EQ3w*D-UiCbRx28BLf zM(5%>gJkG39PzC$Qmyp-`k2%R^-1MQBZhH* z1SdxVfgsE@lXb__h2a1p&2fJ+|4&B&Ce1>S`Yzf~ZFra7g;z$`T(G>$k9fqhydw}b z$`TwM%Wc!@cn1edz0#TN@T(w9f9r=gX^N7z4PNFI2dWRd*w7N9tJStB%9zR{T}Q-% zLl~*Hh8wR@-@jjj9r?l@Ek9T%z;+2&-FyNjHeBQfZ<4`=Ae!&d$CK&8QG)Z@$0#VTvxBQu2;{cBd^*dkCi`8sQ;?3JZ(V zi*>RAE%@gd0R}H0X6lDdE%)lx#JyZ=3R$-H1wY!deD(6qJPdI-#W8^gw%o6X8#?-E zZJ&1h9S=@sJXcAlt;~NL1J~8S@{+^}eg})f`yGp1#uU29qSPP1NH|*w?5RrVYF-Vg zt-~QP+Y3s*X5sCMerpz;4^o6&MMuL*NHH8CqGTiZ%C)8^vl>@+?%pS&Iw8X7% zwj_{Jk1cl`6)JN40F+5=EIepjiEY%D;mL4QUs4>g_#%cS?4Oyv4leOxpX5RPS3R;H zY_xy4j>|r*#E>UhVtw;%e6>SCtlMb5i0TdX^rcG^S@C-eg`e6&a7t(&itF;i%rETZ z5Xk^z9H)o=k(7g1*kf3xSW1p}2F(bW*d5JRUZ~#7kLKOHv&JnkXic(Xqz0;`gAT!D zO(u@`rd;w-wm^f@SXdA8^I4ZmNL)%Ves6!2r{fn_ESEY)%DYeI0ywxiiz?5Bfzz`$ zj$Hd({Ok#2=~!961{lP71;(?1h;wd;tYOHYpWTLs@EgIH>UTeLEv(GCcVU<)3j-g2 z?+roJ@M;+euui(`J@7GwQZ{qT7RmWPKN!PS7wKNVDb`2?l#k~$Dz;>={Z>S9YYTq~ z9Qi!+Ol30yVSjL%J2EDhD?T)P9ocP=Ip5RlL`cLRKA(q|Buy&!O4^FGxLJ(oqv=em zRl&J|VLiC4c`Fiu3Q~DFCPv=9wZpEk3L!jpA+wR4henpD26qh#rvI!Fy0v+nBJ8q` ztUDKTN<7MHh6+U>D2^U8jVu@oR#bmR@@a0=;auGWs?&rwq1BLe+Btq{e z+|2pdw;sBC)=y;YW#p}?N;N&rm8ojqQWHtaHqCToQ&6;;zGP0q-Ucl$t5J%oWG}Nh zG$=L`fpVjd8bCA1yv0=Cat2(vPy?lBklJJn+7&foL9>YXLH(`g^}l;<2=aeDHj2Lv z^ue~)Yv@sFlCIQxagH;|^Pnhic>0HEQysQY<)|z%X}j5LN$gxBpc=H&S=p2ru_?Wyu*BBE8CLhYO)04|>8=-(>Y_Gg-V0g0&>}WCQ&l=bzUK z(pR*pm~OXw0y;9XI&@dbGb(=ryD8t?u)QDW!7fO6_#`TZ(l4{EPXyyBMeqS$D!8Rm zMDeSiO6m_hARSSZV-c~*FCmlU<|jB@ib_^}B&YM0fW94<9V4cmnO8%#q+1UoPA!>w zfr0bI5xLi`HlI8#$aR{A)VSx$p9j!yq3W^_os}AN)_ZD&=T&je@j8DD6%10>ar3s+ zp>zT0D{z{mL-UYXX2=NME$pF8)dW0FvQZSPXzO9#uaYjBemqfI{nBN%viq;=m3WZb z%ay-#Ne}D?^i9{cULg4-GAvXrtSj4@jS7{d@9UtY^NN4q@=-m5${-ep#03h|D3dgFh-sO#7%T z2jc<>P1#2VAzLG1s1WD0fxUtvDQtudNpZswdD?o@smCL;3_X7xO*C~$So&jvJO^+dlOerYj1^KbLsY4IHguTL=tL5Edt0tIAquKK2R^I@jjLVxarXmN5{yao{K zc~CKaMDxVE&V$e9)Ey{#ex5*u{AP^(Z1GK!A4_RDVP}7ZncdN-bbh?WZ!~A63T!U& zu3+hbQn2J6N|*&w;)?0nq|S8y(k{M{;S0LjK3O#TS&J~VpN<(5bwrh<_Z~jvj*;7= zVlOo(Y=LSdsbE8zuo=^;eDc6F?nz3qXg*PQZ#I%P5A8^DGH(|HnP23SS%819b#oLD zNaaJT4OoBiD8qjvzemLTnhN@*fO)=YvHYsxSHca&Fv<>VaR?EW^CIC78?NZT`Hj+P zd+efrr&YhL?2dgck?>-MKo&x+X>7=k=!XK8$bp+@#bGc)gH&L}dO5yC$I`}=akeQw zO@85rGc~HuDHdR|QF+Rro3HLKO=N-wLom9XVqt$QwycUFd_-keqLcBtbiiFR)eUau z=V55Xe^KFh2|b{OT%W#zNXzQt9u$zT_!o>fOV+t*Q7X!fdKZyca( z$s9KzGphC?88Ly9FyyJH_z)AJw)jxIIb*^0ZwcA8%o9}WX@Ou=zsUnN!jNpf;qQE= zGB1CCN=zMobT-00(X*mT&SA5cbh^Kt+Ju{f|?;d)_E68gOj>N z#5=z%#ao?OcdXebreix&)2?f)8A!s6o%aLm?jtq+_Z9G{tVs6QP8iADu)HSx36nSM zOUB(H3PFal!tz_M&aI-`Ew?Wi`md>tIh23?$S9miJ(qV*Ev>{sOaqK2FcYpkcw2Kw z#@U?kry6GIiNS!}^Y(2&#EdRE80eYTC3cGnox}tqw!SWG2#_^%|6oLNSqQ%ZY|Cc> zgj4MsOHQH`oTT$J3%yvQkC4-|F3&lw1s!_08T!J^C8Y}z)?b})U1WF<_vF76J?np} z?A<_y{LDpjlk(L?FaNC3HFIVbh13J8T&XP_G@Z-*o|@p@%JlO8g+DUngl5=qI@^1C`6;O}D(Q~BmdKHa;r+VlgtIzT)YS>Hb>yoZjc8Z4kGeS0 zclYTC|HnNPTy_izPk8W-aTV(pX|96Df$Hf=1c0F%C{o5z5CuzS_kkkZ8%y6uXlinF2mhGVo)NP^wh2Xxi>B)FBkEvZybUpW-xOxwZtexA(U!f3_2E_4>rh3Tuzm{bj>S=>fRol-*gJm-p#h!b9W*_)GlHQ7 z<)hNo;+RN%z;G0ZQi^yQOi^TXQ*8&uVaBHB8X8i4uWP1dP{G!g$wt5aVB3leH2mp$ zg0EoVX?Y=;ji(bM(7Le#hNx057ih>023=JRsh~XRPe+T{#Os85ZK;vsj$JxDi5f)m z#i2pgzLuy1t5JW$NXRPM?8r4gbO)>CSE!D$7jck%ry(*DKpFEn$YBJZP<|Ha|n7l-+@glR09KfEegwCL9u2m zUdz64SNwA?Jt^a&X0%3WaGTWHqW<;sfO+x)YRC2%-J5^9qD~QeqbkC*{(X%lAQA6) zuc>!}IsTVx;qPId$WJJ}ut7vxf!|*9n|pt?Z*FCdW}p zJrBytg6q14sT6?S)^+-*wBU$0bKz$^{c9a*$g@%uHINm*8~lw%45bxDKVSDjY^3BLyY${uO5G+SKyZnB7Y!y2wIMn>e1R@y^RXg zhc~EDCYF9%Iud$yXcS?6KL>r0%!z<2%-X)qRXw6Fk85Nprk)qgG)9Ie&638p!B0ES z#`J!UIZ$5Erh@91j4=G{pS^>tFK0AO7Q$7jaU8sczUR$-=LqkitM+~dG;!BerBKqV zq7i>Ou-^)4eIg`&H0ZD`2=XC++ib5qVouELul|WEt1}ty((~myVZT=D*Fx2Vb{_;< zdzqi=MXOF3Hs4t>-F;+d&!&`|BuCUQm~mLv8XcXZ#m|gQDy@CIFO4aC8!SraXpE4df5xByfSA(M?EhH?hyx5?@fTE-)})0oS_jRzDRob{e02J{Ir3rno6 zr=8B(k8JA7;UV_w4Fl_`!L%SO|1vItD41hZ1#K`5^qOGg)Ohy_hv`wc!copj0-C(k zeKeDR74>x?wuE5#!=z932-z;1jnve4ZNIZtC3U3xp#9PbxwdDW*6MI!P%nQ&_?dC% zBD%E2qYbM|zE;gzNd=O*Kf_g5iWcuMmY;An$92$i=3A82#R^JH@1@bR@w&n?b~)ha zyB>W-FpI0%fq}-n(s6qfJpvEtl0L{yH_LpMtlB`|Q?aF=Mg3Uu>a(QuYQB7@LxR)Q z_aWzZYDNX8>PLOTs7F=W{^5U&$nP~lj^6Z8wrA>0dJPMJ+TV&~5G7i8)L?iesx!vr zb{dGb>-Z3Xt@1|~*5d^)iOxvB=bO|M40XP`EZb{&kVmszFy1)`jp^mh&%{I4Fn>m^ zF^(H-g=}KDBUXKqK_4dk65y?s-jp+Vo3V($h2B(o0NJ$vSoCP=|6zaa$#Khzs=xPg z0~{of2y}i!c3!J{?jKe`#!0ClInT}Drc2@c9JC(iCqc;IHkbkBC*`7{+Q-HOk>!Pa zWpgX)Tt67a%(ssLQZn-bmB?AJA@d3UuwH9*AxX!JL^X_~0@#3z6CO^~PV}^mzSe?SJa*fp0;NGt! zE?jZ`Hp@{$4*earB^{Mr9L)A<1DTiYv&C&R(FI}I+isY>qC3)js8c zew)qHufL5Jqou~kvNOql_qW>aN9y$y@#Ae^f7jfg4E1mmZyLnfy!Mr8R>Gk5x}374 zPLuZTOE1hub#IX|_%LNF)1e6OKm^%aW%wu|BXh~a&yJsmQGqTxyMCH?iI0EDa+T@k z$CB1*TcB)t)*pY*XY>m)Ej{xZTPHta@(QYYyrV;=dM{4oh?+HGULjt9~A9Uxn6(!!LG4>GuXwKf4h>ljSzgo zF$3cC<0B;po~b7edr6SdZANEi6P%R|%E&s?7(tI$g#{#u{Dc5BgJ*e5zOSK=DpE@GGMiK!iV z<<(Ny#o~V;vd}sIv@qFU8$={slX0}A`X=!~dg4w+g*OtbNEPeB1Jv_)_R#PoW)6is zt)dM_A&G373-D-%<^xud+#!-}dO`}wRS4nLFyR}9QTiT5keEm5rasV%e|uyiw%xe; zR?*tgxO(<>y-*|DuiZR<(iIJ71jqb2U)k)NwOD_n=on&!JKTu8Vp^0fB3BLj!H6Zi zci}oZFgk&Vo1XQ{28txMv?b7r=jdlXW|4pMW8i3#PKY@ahEfR8QV+xh`&99sAX`rU zr$Q3*v7hS>>Pi5OTYrQxndg$1gC~)%WYpRfxzPy|98>+zD)=S@E>ak!mU7$PxvT9u3 zmG*Q)!oo!wXrHo|l?Sy;Gi$ika@hvc*RbZ`_$D-@8E{<}9>_zng=Akbc}4!j5rarEhi~)Vb-;uwc3>=xjCp_dQXRHs5dyP3H(dxdo_*O5^D+WGfluKR?NK_b z2>Rf!C`Lj9r}jXR**s%f4~3<-7+Y)4nfB5CxpR6a=MWtcp`~{s0x3Ncpa~ zyXLJ50T-sat0?)3H`5ht=zgv!x}!}yR;|-8`Cl_99eFl91ZWK~JNePHDN0tS_@)wH zy|Nbs{L#GP{XJhh+w9QrP||;mY+Hz8W;Q<>MxD?S5Cr!)i%Sb{{y>UV3ayGGS>sUU z9!B}{HYg-&CFMm{1-~F|4>nVS-@rt&YCWMsZUi7;EgQ?) z;yk}mV7rfXMHIJr<5O19vi3~tggkzxHtq_4^^8Q&p}G4dWz(?~7^*4Y^TZF*POZHh zMFI`r8!VZ<{cvI}DqDYzyMxxt+CS@qc8>I7hQdUI$)R>wBcRQQ<%`tdK%t{BP2;c4 zSqzav_?w}1P=Q-BGgndJhE=m(++qP}nwr=aTZ5y}U zU)#2A+qP}nwtL?E5wo5}M${s!vKAQ?k>^yNyroZ*I6`-L4;-q(EkNc|o8rcj=)>~y zNg1>RY8HI0Itjf<%RJr8M7WOM?!usplR%5J#2sW)eXjFpuIKH^+`x4u7f*jLF+VJZom9xP7Ucj`Bq;e4(Kz-p9xfRk%5ENPxldhNqk59()R$OJUrVahnhQ;eBSaU2^6A7N$YQlUjhL zJVorcpJT6$*5XWl$9c0K*NMMXm8rEisK?y0leJ+Ih6-TVR%X^Km8HcFPhib3ZzQfh z7}7=HAU$)(_C$vF@^GQLB*JOezNsbhw!~@()a0VP&=k8;woqVHjmzDaQOeMI?8E$l zV|lxv+2^%O77zv=gNi}e6-*(K`SF0rB2~FJ-gIXm1-f#7*6GK8j%z;w4c=f#-*^k; zlvQ$|A*H}Xo(ptb>~TglwX~*ZmIP zpFczCjTk3|-E_v5;dL+5ebTNEh34)*8%q{}xY1oCO7Prn*Vv({!gv`NZ&rY=CT&sw zBN4i%cPC~>-Ye{TtBWPQ9;5ymK%2PTMmUn1am=ZkaJ5u*S9^ueR+bH4mk>yFIbzk` zmKFEjoM!p%G}rNJmxXSBSERvsjKCHb--)Ql%Y~bo?7%pT>=OLGo~K$Mc0U>bduY7G zomh^1*vzx>gB;0wTP}}`juP;vaCN1AT9c9M^zIoa{f*`ucS>Dmcw8Apaz%0|uk6kl z+4E1a*m95_|H$lal5wab+RWs?6=k14!cBrRy=F#N3lKic6z_9^)b<<~kB-y2&1%%U ziW3KJ4P5zlT`zfTfm{5q`G`|_p}uDxsOZj0un_wS9@|(r;@GDQ6Fq<JC8yEEb77i0y&V)cLOR{Gvvv%Ro_!1%C2%xoH`oR<8b zSSN5IRRcM=Mp^TYSdAS&0_kJYVww7DCDJQF{>#Zo3 zc?l&X{rMn&XK`Yv@!K0UDupwgs&RTC)RUWi?pRrt>PCv1ioXC%IqT|~=uZjAR@G;q z2Q}komRqTC>Z&)D?DIK>N9L;s;eq4(T7d7{%R+(~SRIJJdOyZgR=D%BMeO25pj;Az zB3;0AQB0^o7Kf{Z=|L_RRKW+ExUkbx>L^3{5m*N?q9o_Z4%T#xBIdDJx#hq!VXHg?&!4Eh09eU@FPej zizX>_nYDR&1z>{WYZ9y&73)=z$Me172VQ}pDQ`^PsO16#dlnsi0Yr&_vnkviGT$n@ zBR!2S-xW#JYHrmxp*xd9MVA*QNp|vDwhTG%O$*MVMjU_((eY!na%|+?cmq$&K}1-S z_Ep{TLC6odF20Uy!4ib5wQ*=Yy$4MlPCa7jMBmG4NM=Wti$%tJO&oBhue~QPKnePb zb6S#$m~MY-V8j^=Br*Pg#>>#E+E^Ets#8CG`jr%;u%@*S?XQItV2$uH)~w8{NFGA} z83`n)tryT<*`DalCXcwn{^u_5x5dmn0NBrolu_I)I?V5jE@y^yH23VH2xd@)NWC=y z+{Z>ADTxo9Urax+mj%sZ_fgp@PI`&rt-ZQ`Um%#Zi62W1?avty<FcmGM6!hRSYuhI&)!&%SXD&cEU%uc==rJw;`vRF~e1KhpLl*>ghpD z=sZjXPf)|mX4@W6IHD~@nY3R^yE4OqpM^CUHg|74Ne^sg7>b$nx&Fa3))^7UI+h(7 zj0kYfT5)oR5i}RnT>!iP1@q3ep5|u$1#v~Ln-(RoV(7rIMSHrRgu@|nqjB&AkTk|V z{Injo*}t(0|GFFCZQNAulYWLRCebcRf)f~}7HGXf+_{f-jWwRUo`UW1hQcYkjsA>n%d1V|K($-F za}*d{{ni=TAAEom&LJXxZ=SDPi{U|8tw!qyp6|k^81dfL#~6iY#x<=Zvzp??FkpAR z!9j(V6nnD+l%N(KNABQi6zhCzj}yV&^FvV+tFEa8!1!R zQKzuj926wlo`bNFK_spHX1Ec}GQd)wM@-~4!jcT>?@!?wrAUf0J{?P2c1r_)5cS`?KQ8$vO-`d#la6E z`(bGp)Bu#npl&7cBAd^9`O_VyKI8$M5VpuVZ*e2K;J+;#)PJt6-NT~~V*sNv^=P9F zn0|)lTnB>5iY38rjm*6Oh7}uwF)Z@i85>V5zMptO-{8GhZKy zcb9KxRnBaAJ#vX>qe#L4_&hw}(`cg3p@B&@qsk#tVPER0hy2K1g3z{I+AEy7bqg*P zOgi*NIJe=EX+?P{AFoR8U>o+9H`B&xgO7##AuaSIm0t3OkTzY&8UXH|AZrEd1AKc8 zg5P=Spb>^pOmolC*<)KaT3ZnB$7}(5v-OMi;#J}|M3$UIqAPo2CY_nGs1}2%9tJ-LEcaDD8x4|t+HoPVE2ZONAHBC>e~Fp%iCPbvw$=gW z$U7#~__E?mbwKb`-#cq-KOK_Y-Fbg#mtXNjoF#OafvnsYJi&9kY)2T8pXG0xValug z%>qOPb>~0zqCH8SEz@wQRsld;B|1{wu>&{y6^mYZx-8-fFDPROmFygrzz2=V8cytJ zw$xuWbU!aw>SoYd6|#n3&8`kjE)Ul!r1*yZYz&UQE)am8wK{orA)EQ;K6C+AyETUw;rR;4&X zbVZl|9$4AL!GV_XSFmZ|2`{)cMLqlkCC-8UOAfG{3XUpk0=Lnht68%61bj=y3< zq4TA5b~l~%Z;g=Z9mSQ*6LC(>Ov8Y9^75Lkg0_;({^xPk+Kwv>{W#2LhDrGDCXWnb z&qlhbl4vSCE`w%2-3=KIK_0)h&C9YDHJ~KfA8Y$>-uAT8en~bpENJRKT&Kum ziLCC&47O4krNuU3>^I<2t2y$fI&lo9*23ITCjD6+IhpKOLXe$ zetXecn`93mT6!kgecE`$?2LGrM|>O)ny7sUZ_T{fBX~EOv1f7v(B4~S+3U6KcN(+4 zIDnub@s&uK(qMdyfy>7qK2t&r2)IL!V?^o7U?X;oVGKt1!74BT#6F0_9Mt?eyCd)I zRJRm`xj37#vFbYKX0FZitoWKrbVa{j!@}v=>EVb;>+_%X0SgWBE9%m3CEm6`Bb1O( zhBG+~y4Apcbtb0bdgBCzWGUjtDfo}CM}P`juGcJhPPNDIHD~BcM?E+mEvi6BMp_lygx(y_QK%Y;Y`MoED zjThcV0!C{C<+WCfyR;rGH!v*f#j{&bSXg?);nG-tk7DxNhH>W2){Ec;#Rc)4TO=m1 z*EC*0)lgZ7OW^30^Xh{4Vk)>+bjoxcXn%h(fAN40cVk9pm~qXs4ia}lGXaBW_a=J< zIg8QZpMBu~;MGR#U;QA}6T78P`lg*=E|QTQAm}5dzMhpvcKnoOumE63$(p|FJ1H27 zQ48rs4nfj^JSEl;%)k)e3Mlhx#n!6njfkJ1i~$L>D0gQ8wJoG<_LGLyVG9`s5X~xn2w%X zV`W!21g2RJ;ClL_8^IpA7@_vC?E5?;zT6wo?nMRP5u(ML*ZCKFC z(r46}2(^t~J#VXg5uJW1bT(>jb7ezbk-)UP2mh1FxgRJmk|dEBq>&Y})O;xLN~iZ- zmFe&S*otItk%V`l-e124wPepvK^@i;L1s%T%&TDjqat_H@=Fk-F1jc*BUxa!_sRYlVSQTt`!aJM-#J(m)n)Zxj=aNhNimg5S>5b<7qVm@g- zW=FM4Y{vyL3-jd7*fm`meIO+lwai*i{6V&>_JsNw%eCRFbCqf|j9Zw2ua(}up$;+A zXrckzoUZknavsJT_Z^}o@d#vvNHoB3t->~30{pvy?XIX#gMQ-^ZN5ZD5=WZU;3_;z z+k|f50W6U_V-qSFtlnrP6ciN`kJVcin%`84rMQF_%1Qt`RZ^seZ

ar0B0^2TING z5k?wwN$wbc$CxN;mW0j6%~Yy;%fHg@IEK|+2}oF-fi}Lied)dxBiO@9g}^EQ+*UX= zC$owxw^uX~I9(J`Xx9ZsD6b!gSn} zq;EKvJ-K>F2SizZzVp{&)7yZgYq+pPGbc!Bi*xNSYc#SQ>9yGvUTHX|^XxnK+)|UAM{++(@-u5ReXTZh zDNz)Z9oK)4D;#57>F7}*Uph=>bZiC3S+O~@Dj3o6!47iWJB`ojA76>Fe% zt6nN!A$L<#9`R1E=Nd%~qn<@K&U^e%oLw`%Nr`}at@S^>B$CqN`RvxZ>S%Gw~t#>~?k20n?|ao;e5TyQ+GfsNB(`|d*u zH~bS7xA8)X_J{?Rv6o&NndA^rhfmP`@Na}DqU4ndU*zWo&cIQ!jZ4p*9vzvcmr`t1 zfaKV=+g!ddm4*HSmm>}3Q$4KfQ~tYjuDF2^x8t_q#pZ6p;A09nuUSmt7l5KZNGj6# zkUY8J{WyNN*>X@4LoXn7PwC%KcaD(O?;%fV{6h|wMz32fnX8EZk6;A@uJS5sFX#ya zj}D7E(0YR%yW;FQLw$AIL3}%n^RYXK;kJsNNIsUO#{`?HA!#qO^z(Pf^{6D;eaX|m zmG9MW1a**!G}td~E#Z>%V1TOh#%4g6e>YZ2GVNmhf?U}JsE^rR#r^jb#eVecexCzn z7s|m)6Uq0z?jgl<6v<|1rfZoWC8XYx&&p3Y^kC@P9ZlFbnF`D*eyULn#lE>!)Odxg z6KtG?Nfu)lVbLv*F;%AOKjUToqha@#bisbe@GAQfUnuykdAO-pD1eQ%5zd{&PV~Se z*`uEV`5X#y2!HnxY?^pfrV>3zIIWQv$2wNCv&SB%|7F6Mp3ggB1lIeb@lB{$I%@11 z%Z*!d(1Ya=6Q0&$mH}a#tx#M+fNrFMTtGD78D2cMWgN9r`RB1@$(w_Clx{C0pH(vg z#_S3NN(bxr!42}&18^(i%vY}hT^Se1mmErt8RP<=P|UNICKDRnmnlGhRPiHiauD9S zdsw4$>)avJ7e&^?P0bM97bCN0p(^C%m@zcF%sug@09Rf>hJiiQaEHJ$0{TUR3K$>l zE6wISpGM1btJCUVOX|J~?Mzv^YVj3}&yO>BDwqq z^e{{K3&X5({&U%!&Mj;3a5O1_9VDd~STq;uTg4|H;VIggGQoz%}c5tM+k!I`)~8c zVaeqPsX-4-KmCaoM$I)^HOa8EVLeqPlYII+v&r1)i%(;n53a`#`hOL2l+dklIEv@) z_9nhMUUEtBAWCofs-dg3c1(+Lt>Se`p;oM+ovPN7TKVRwz3qpxKUf{eGp?AA%}fn$ zpw&`T0h}``$uE|m4O{b_?B?oj#5;7+t$Cn!j5 z-;cXrEdS{QU!#E+KX_5)n=1*?G`N>R=P;yu0y+$}iOXOtYLpUKqxW@c6B%}sT~EAvEu!j;xMK$$8R zQn&|?S(!rjyrPX(-QO4PNXI```C>FH0)Ft1a;+)1xho95(t%rZ`fR*7qihMku%2+89nB(jsmWlUsn|jg6WBmB`{x$CRowRh=D5=q)z*a?1*qwRzvNpfJGX1MtD1h@6?t_YPZ8~9hNL&;5meKR9ABDf~M)QgM>&tUSVd zynOBBp9=Tr+aDO17{o_+-v^T%@qsC2%#LNk*k3DZ-T^iuJLsy$g&3EE3i2DN10m~rc374I6D7g5AO&4lSm}K z4v62B>W(-}U1V~?MLqtZR5-kk%{Ga7+7uWS*;}a&F^wPay1rcRDcgTHa|~S0Fb+Pi zA`8A$3joo3Si>U;B6>}^YTA~K^6ANp;GKg&E7bN{Kf-eNqgjV#`jfV*&>^TS~XYOo3SM8d+t&FT%E$gg zbJ}NyB1YE^5K@Xm@IlSxCe;H9VQ^SIXJfj(d73~I9${j+`XWfDQSkVaz*0dpkZJQ6 zJEq2P#@{28C>WP^@4VLgySS;?HU}8g9 z+t?w{=|GWG%S>^VNFl187$!nIDd27kxeL`L$Z^#U87312?@#saxR@wS15Jcn+?x>9 zVWa9q0VNIow#4d<_VK!^HUk;ALoKIop7mzGm>;tRY~DqP7H@Z{?>{*C^S`!s*cdl- zm9_x5s;x6rNEHsn_wQyrqK74lfkp&%QvbMt?Sdwm+P-f315JfLi(NS}i>ghmt!_h{ zi;4!8a81V)qoY~bn1g#spkA!mHEGON+gYvs%WfG<4)=$q?-@}O0Dy-)ABIz4<*zI= zcjgilNafhaT0gBd@1nNEt%j{Xqj0pmQ|ANR;JL(bq-?y{s^dBciv~$DNhE$qlk=!w zXKO}~lem2pI9vob$N@U{g}|mOKcbUsAOAg*(P zCSw!WNazszZ*-L|`0Z9k!tzZ0pu zI2y0>tuZ3d2caiP?%_moxVyczqDLol1*|K?U0;k9mTi?XP>hG(WjyvNW}uZL`QcFp znuhDc9x35i!8hpJWsV>sdaJ4vFKBE={TXGs>YQ{V>}d#$iY0!D_hI_r__zV2y^!28 z^NopOGwSNdQ}1O{&;;R)_s^0G^K1dmX!BxZP}DN(GSugEkEk4?#B7wFjJn!> zkjF&chx)kRF0@e#%T?tS+_QeTO{%6I0`yG(aF=wv_hVd4LrITNXqa;|Rrm_x4Jix= zE7z`_=5}%9Va&qGh-M!#QFQ<^{@|JX-AYJ3bS!KIc?QcL2No`4B>qeqSmSS7qRFul z?S<9WSeH=O$XsNssOh~y^v2(l&JKX+2oFk;c2^`6Y+_jp$!B`+(L(A(3C|p`#EEdO)xyN^7Sd%9b_cqfU>wD z60}D74AEr<{upn@dC_2_1GBfQ!zTx&uk++{VQ_IAR1jt_@*n3^P?IU_mmbpPs^YxXBD$?Xxj zvIPQ_1$kdobHoj=3J$QadC71oKT#D0^eo@TXl)v+#7$pC7k<;#@t@E7rMCsRW8WQ+&%(`ce|k!QFu$L>t+gTh4#ALY+U}E3Z)@UWXUuX??VE6rTTG zlD`tCWO=npuz;Q00~4G~L^qHpQ{_Khj2Zh8oznGy8d`=qIw@oXL&XR&s95VmVX-HV zoq)b<8>vS3p2h&+&e9psBh{aFf_0D0ducemJ3N>>Tu_$YaNu9ke{Zw_?T<3dT=tMF zR$W5P^X5PT&NTFrbixW%oQ;L@1X)qHX2DLgi9mj4kCHd|w(Tm0nmXxR8rZ~U`~seM z`RG@l=uJQgTkwu;1H{iJhwXg((Hwd1MUGZv)9^a! zJjF9XWhp1K9#F5^E{{h6$VT+)7qqIHMbfn|0E2^Z4~l5|Vq|KY%pgr#mO|fhkhM0V zQ4e3uL@VI&Q#M;9Xl65(jFJGz4%a$lz6Wu}U~RIjZ%rIerMU5KZ|q z>l;>LU|}FV!*;kB9fIF0D^`y82uDz0rI_nzY4>eaqJOqMYms86Uo?sTudbrsdt!xM z5W*BUTN}FHJ#b}P8N?n|&w@M+u2OBuz2$rbj>h|o#A6^E!f>Wkz`I-l=eT`#fn*(( zbrGPzUZG%zLQ%|_qiHqHvJlK9zFZKvS};0M0>^`q^A7R|{#7~OUcRte{1n@QCf==S~QjeZ7r;Yfp|-A z`Ir&+XZl9%!W~XaIJuejkNjBW6rC-5nLhvu)SLfq8oQ$90_>_x${KC1*fazd@`yNX z%}hTGtO%jJ@MOn)GCtiZvro8P;?ie9j?{<+b@{v>#z^_*@@+HyHH8C5$+K+yH{X-k5AnH@mN zxNp-x-V>UgNuWP~i@cYCQHP?d;THAoi_>$m?$+|=P_ff$sU}c#1JC8QMAyr=Z|C52 zzeJIv64vImBAjvTnJ@=)pNHYi6#D3``2U_^lHX9-~P9 zw;N^&XDbdAygJPkHEC*8WKQZZ{u0oz{5f$z@3JJp+t*J7DUh-)b7l`hV(|5YoV#Qy zYr~RTnTJKe>CFz|>1`f-wKrnf$8QI@M-|w^Pv!Du_!qMtcxgK(eWrzUE*sLFi7I@k zM*__9m&_C)KK2?LmH2Us;1({$3Iu_Z!cex9uN1iF$Q>Fgd{E&w0Cn zAfwKlKc`A#HGHd}3?0HNn>T0V2iN}63)SF`x9gO@gYBbJ!o86fxkA1stL_IE@17or zhR2}IOJwxwrf?p$)dAoc-%|jEJBA_<60fyH3C0vAFP6j;#o$$zYI~FTwf%6w z%IFV?A%7>u?51`hu%m%Pzt;y8;KoQsK;U|IPBUUjU80%fkD?t*7SWu5cK+hZcbU(x znX;h~%h?z@oADgyUQg1^_1=7)kP-VyKJQj;uj^kX(}r#!v3go4KmcInuhq+WP-+Bb zs4RSZ2`3)Wdp6@E%!r?tqikxJ&s^T!%P88)TU_B~3>w*(;GM#BD798*J`4X2>}D$n zbe=X&GO~6tWGqRaN2unFioMolDp6D8KyXcWEw+Cg?@JW*j90?nV=I zk-F~uC63VzDADwZ?Ii%hf1wo9Aj}5@kkmOJFzqT-?jbCgu?h=DN7;YY;zmCu;pACM z0ML8olYgJ({-kuyf(%i|Ev%Z$7)h?ZfDO7)DI{ z)H&)~(BAkiXUhT@cc6`4IFbi=hf9x-E%1YEvAOKpHLy**$ye5*Y9voy1~!K-CuXd0 z4@LCcQ95I*b8y~X`~UF4oo;F-;ya`mYG<9cxP2a0YG*Gg;>g0$GYdRS%05PJ;(9p8*3+^#OjVkypW-#$Ds2c+4@J)r{~11#{Sx$ci!b*W0WyzfqRA zT*G%BRIA}@2X%E1b1s=n*e4^-^Z&Io4w>u|SNzBEx9Pwv>o+tZU`p>EGTX!#-|NxY zJ;>32xDEj}$n&SJsug)nMG$j&Se--m+^jT=x93-2C?F6)dwGoBa+~R)3w9jtc?xU@3ti$xWoLDoEGh>3uqOZA;wZUg zhAZwYw+|54ojF!~Km7Uk_6?!a3&F_leZfY>fOY`LGjWm*b2m1k;CTaj^2*g_#N2Va!6@NKKl*As7XI1qa*-cHXW_|D^PL#FZCYD%1A zGINN!%SPD=A5snW8XH8~2<8sq>)0wiXb~6^d$VUkcye9;1s{_dWXJCZ7D17tp#OZpI!^r^K8H zv0u+HisV_Kb+0A&Q@u?>;>L(%5GBJVuXqWNs=iNlbv_#ANEZ9|4&w^R3etI&GbjyF zC*@^I2c%%Y5U9u4z2PHKDrtg@r4hnJ;(O*NITMv3mVM}LqC)$4@w?=bU^uUJO|+V@ ziGlKtvAP~xK?aigx*yD``GakT?FXl4n-k$)5w$3qM~Pxn;fo*rW++|HOoIs;s!u64 zCQa{h{}zCSoDUtu_^R+D*O@Mh@$|}3D(V;Ori0q}k94a=;EF^pG7*s$E99YfYw>F@ zd7wM#$B;HsQ`~;${zM0m>Zk^e8VWxH`k#UQXW;)CL@WFZk16yCocake8X;dI;ye2G`Jg4;lhMB>Ut6rHNf z@CibNpO+GDg~F2L31njA85Yxft;BRnC^#`pwscBS$T?K-@WO3qbE(t=&8TxsVq{ao zgUJ2lPy10&!wK;R0Z@V2?IZx@KI38d_z6Qo$s+U+D*s2#Gg7~lq%}n`&5&BS`K>;$ z{V=t@f`llG!yzeYVYvavAd(Q$*#)FR@)yS;4Oj&<(iCU}c;Tu!AysN4_CV?+Vg^Sz zjlChqT|df!iuk4kuCyGf!>~ZZxi~)vPCTu!NC<8&C5kiP?5kfi4wDcuyc0f7OHKXRTt1-6Ao9-cDQ z5%$PL9t##R``v(WI2?d!VBNrOE*K9Q!7buY6_j5QWiIheP6W1jIw>FpOx93_cZsG2 zPN

z49*N8}9`eUIdmI0xn%X35$71g>?ww$QZ{4$#fXQ08xsFg9>*PS(#{q3xwN1 z3KdK;$}vddBYYIti*g{d1&15YU_Zjx?~g1JOC5ux-(QP9bbkOFoF7o3K}aBeK1%dn z29Xcx9{PYaS(k_{cJZ;4q51SYNc}!0EL)VwWk3k{b$;1M{y}{ssBS?Xhrc>isko(* zT%?sm553#Jr%)y6HU8cGA*@DY+>MC{e1D4G!p2JUH!_{}TWXYF4(S!&xSk{@$>7c~ zo}JDh(MWQ+t2V$Db8HO?9hF>QwkYilc~!9E{>Av{Ey+s;mi6bpwN6@ADt?YGt2rdzQM=@{^2L|^gk?~ZV`F-%K_%>?%AC8dTiHx#~?_)!dj55Gtr0h zeMwd_T@bYhJlOr=#~~J5v1=)>A4~DluA=yI5mm2Hg8yJPBylbUMk+GTOw9!QP-{z6 zx^k<%$umSte3sVbWL&*3Kl`E6jN7p*oE$7-=qi#f1vnB~{tqot?ZFS`jf1~urp9o`xn8nS}_%K*vq>sY0{4X9p78u!*0FdywyH!QT#{CVicuy}u%FgE9GZ~qhcbuS^}bQkhz5w(xQlEFyY z(b=V7PTMCLd-n5oOqI+~YNfhxB2~o+E$bW*)nkL`Le_E|V)*P#tsjhXcwR zYt9{qkzo=2ov=gp^-RD=7V(VOM^fPo+XtX9dk)@Rr2a(uEjIcTv$Od5?jlf#$X1*K z^)1sYzqgx9{mlc=os;|!%k}NyD`w@%|CQ{Wr}imfWZO0gFs8Wy52mW4&Y_EG3pACf@$L_pQdn(_o>ow004@AZDJ9)H@-2WM%4GVk#}y1;DCM8RHy2?Zw_A) zXJsl4oHrEQ?dz-{A)yHq7y+jt5N`|T)~W1*x$OLbn<{Ek!6ex3UdF70l$PU|EtCE$ zVc$=U)23HO(#vZ@mLH^nfn#i>OP36$!GGXwn@jr>$Ez~K+3+Hst<3|JC_sIuqOYWa zYJ!-`my5go>&**Xd=Z{xk|{`cl5t?}P7Q99pxnO6jLI`EwZjwO;-!N;|Dr*wCz0}X zYAVLdeZNE97&E{@(2WfS`*xE(SrIWvWbgC%bNBR65D>WO7dW{ZsniPvX{YVzUN$xY z`92hQn7DWttAsE|jj5I{1ZW$=q^iq70WajxZwn@^3i&0466;+wCX5OY<;pcdKHo40 z<$OxcWR&;(E0dc(i50>!SM9~;43gc?F&Ky^h-_AvJjwx@HNLK0Z*>bC)!}+x3!O| z9}b+)+mD${1G~XyP{pslLo7ZyVC55g9a$uw-J*1aXxcNi3NH!>1w$p9SzIINuqR-h z+Zo)Jr!=tO_FhLETCN()$ZJYcmUD(%pJ*qQ>WfR1A&kIXasDQKUp9Uwig|C|KHgpq zNumXv$o(h`bWD-Y0G8f9l`M008eDp%MkU-L zwk|$y3h8H@!a_BiJn&X&zk=?6kzV~wz zuFpFz)eV_j%q?NBU)q#S-rF#WjLi2yRS$1e;b?`fck}=|(?A<&wPZuI{*>7o_V46x z8jJq3n>ONvpfs3IX0YuL8$asC38U_hL6_m7LK%Rh}^fM^RNuy^<_q{Ekh$S=s9s-!s8 zCcGf1*OMu;hkWG#f>T{Fgu?OH05-?-_n5g>tj%2b%R5Cqd zE?%TNT}krLCO?yo-D6ANdXpG3r-2w{6^Gj0)6w1DGaj^)#!VH%42oEIA4!T)ZJ>u+x)x^2Les;IOZgJ%Ckt0VH zAPjv%wHi02q+#ju3fQb8mvNy6CK>0b1aYV5^XuhTCt6jc zK9tTkDQ=F;(XByOx_jqrKF`i&c>2tFuVx*RZz@6*>8_s@Sno@TSN|M-jsSNfU<`O z-)bqSU6F!PL``-~Y^}_N!1gaLrkj%1>m+ZQ@Chr+BGe@|rnQnfob2W&&aLZL!z%(& z8`-U%Q*WFHRDq_0s#v5GCcmC74=GU!XBP61UW4+VSY0!dY;m8q4`AV82H4RgLbx{> z5ML-wJmRNC&7%0R@q%mia-e}h008f6@13@CFteId%To%jRB|1~?a4=DL+$U{d!3a~ zMQAykIl9N2#8RNb*+_S(0xA#hS-*nZW5;Cba~ZJR=d<0h{XKEeUiUrAFlV;_QP~jw zuO-Kaizk;Ro%-3E5BH@>*0#kMsK6frH3iwP2OgJc@H;}0PfGR2OKhqm0I;!`Y{ka# zbIIcm&t%06%U|TlsKx|y^A&fFOTNy1K6@_R+D4lTI^zqKhAEOX-GxBYY&dg|K}(Np z(^h{|{Q9cTx~Y)Hu6={f5f*dn5P$vlB)&sk!|4{pS#Pdc+)6z5n&S*^bq@~Y8K-FT z_L)Ykna7d^q3mN<=NOF?0EdX?^S%bcsr%wj&rJO#BFpVy!^VKA&06ZJhMM(CmB|q6 z4jR>^0Nv$2-RdieE5_4*;S zZ(KEGr?y!A3nJacR)(FOX4ZO}z?L0y??!J-nR92$SeE59k_Mq&YnaY8A;(f1y7iOzm@<|2&{HuFWr8?Uo@hDM)QR{_hsmYV%Q7vsFyZ;lO$- z%sOd8v(|9q|3*~x{udu3-EQ})?7vW`;~NOZmzo%tW*p(pDSFm6k%}vxC0gccE-co@ zdY^Avo#I5+{QYH=S_PZSBWeaK)du|7P1-^AFNvW%t=2a}V<}M*JoBO2KfBWwX<^nx za--bS9g-Tm99s9gt}Po)b+pmfgLa~1yo7=!lgQh-y?_Jgb*LN6pCzi@IeY~IZ{i)q zVL@4hUQu$tyEs2o0vN)eP(-#~8&*ifT%`S9A|zkPM-slHqo7Tj8YIZp4ACILY9bPE z7l@btMy=$tiHVIVheNRk)Nre8;<0>zW5i=quy_~4_BNgx-Y{(Fp!J;&Oh(l!e%=8% zd*zS5F9B9O>BRW};LS`3h&37O2?;LUILmt%joE4vS-E);X&aT55~qcOh7M)qHXs3sZex53Pbk zj7Ur9Rk2F3Ot*q;dvq493V#g7`qS(+O7tsnRKQEuP>y;%qXeW@l{AfB!L;1z8O%l( zw5?jfv>0VI%to|#J<9cv>%0t&MI%L1BFeQG`{INI=YD3=8-;F*Ep3#_OC))!q3)?6 zebpsrg@AEBs=BJQKydCXd)NgGJl8xkOUN#J-Yv{swKW;41P7A=Y?*DU?j?+xG~O}n z4S-MOU5!UnX330J#kewKzP_zQSVUXMMs9R$?Zh^4JQKv8lxJ+nozu}6rmOjXC+tXC>FzrWeGu{MTuUR~T?Vnu?DPMfkr}s}MfaGn6t5yRa~)u&9_gtAq##3p<;zu($|^IJ+3P zs016ggfNo;5#RsUMfd*=MkHcpXW{xEh(n$tYon@)7V_HB-R;wBkv}Iw-J}QuKJiJ8 z#$iu2+rkHX%ua+{NPz>-nk^N@JkW=Q58ZY^iX5G0froY2C$@xNC_#>ZWk4nYZ^e`) z7I^x3zBj4$%Wt0R{PMB70pBmbLksp;ZGgL`2bIsKarVxFbWI;L@WMg@8jM%&2ar&y zA&jsvwdg3qOPY(Y&?*K|DOf(89g|N`^S5e(XhJPw&%>xjzWzS}NCmh0IB6ZIN1KRt zjI;qXqD?{@BW(iX(59jtC2a;RXq{+BNXLT-Xw%R}Nn620wCQMvNhg6ev{`6}NZY|= zv|hA>q*Fi#+8ne4q*FmB+I+PAq|?B3v_)ut`$)S$H`)VeBcwCHOtjT#!=ycc*NFPw zA<|wj8?6m(FXi*x~4h^Ft|NxBFuMq`0&2k8>9 z6b)p9q|3l^G?2+dE5J&$6=>T?R{=gX@S-ZHj1{HbRCFTR6f{$ zM7kbqK-0c#Bo#KHspcC zUJWpHqI;4adBQ^b3tE|0OGL@IqYL1Futb|CwJFV+DlOdV)OBj1Y76~OD^)l0G1*cg zx-6-q)EdneR^7i&Z=klKnUb1>)<}99Mo;Y)2FG-<+$rnH2Ut1D@_nG&!l5c%hwl>} z&lZ4gfK^<-;>0x9!s$Mx^8lNZuySH2(_(--({ivDV5GDLEVb~&Yq}S+rj=lS6|O4* z?MnpsC1Iq5xf0e(SS1Zuc;;6vfWs0F%hUmCHNE&Oe!y!9uO+;e2Kj^uJVP6XuVMfN zPy{LuCQJ-~w9~@NH}xQ#nD(-=W(lJpVXlO^5>qOTSh&)yi}!P#J|BlAER`672{$Fi zW@4Tu?3hmQT-+3Kam2+@GyAZAg|AO(y_0A%(h{OFB2BIVvymhE1gsL7@{zF~nd7ku zj04S}1+;@I3x5`M+j!6l)ZL6yXE&UsoO_*LodsMAFoEM_Gka7EOaV;(NZUtddt{hL zEFW=BoDqVZx)<_4&b-JoBApy(o7HX6Dw>_Nc*Jl~tlzBbaowif zSO#Ptw#nJ1s2R2nFuCG-z`TkZ0aGe6ks{8CR5h+PThOOPIg=x2a@-CuP234~f!zS- zcsal{PCXp&dL^jfl3_3c_5mCbkAfkyHKqq000#jhC>{nHJiNWDjALe7FY00jPdpAz zn4KL)a}FSHG#l$sO1YhXdU(6pgMUez3^ai|%pMw$Mzx$mxlUb<38z|4wR{GkkDNi_ z97;~jowjlrglaj}a%QnpOXpN`isuy1H6kgVQzPfdath_Nsq2x9Ag69lRb6vjLxxJb z_J9hy&K@f0I&r9=Q^5?wxq4bBn7)WYW%@v>S;wyR(}1wqH$L0IislA zN~1|piGL^0yOQHt%8_p8__i^} z5B)iQ+MVOZBROtf$Z_kv9KU^+k4XaVEF1keg5f=Qqaw1dfD3g`e+K_{37rh_if v4Q7Cupa;wXyBomp9L!d5|T#TRW22p(M{Z$dAugtfKm`om~V5EV6hOtLm$xqs@L3ZN7RH{g3azZ(n`( zHZ3=*2xFC{o7?-1id0x7#ime6SY+Aew%xoBzSt%zXd1JO)R^n73hsKn-6chT9(;*T zH*I&I+wN|eJ2TQi7MOefepff!Bn}SUsCTaqx}hyT&_CU7f4Th@C#GSMCYxQ1lU2zl zzBbnCW*+r4@h)#3x>k>krX`=f&D2I=c9z9-=Ut|-gWBv=?(Qyk-X(D!+-^%1*m|6f zwZ-~JrhaF(ySNBi-BZ5^>JeOjwA`K#nkT)}^~fY_5;CoIhgSa_sWdcp zkEc$OB>4V^EpGPun=f$+x=|EWJN!#`WfYaWtcgvcPF^7Dicr&Zm95^ukdb z#W`&s<-yNU7Cl5^g|DKGp6Cwv$j|t|hG^{4D2$6#Bycy)wr=K^mY+WZPO3@_L>szp z7Uo&8$%MaVQ47Ba&VVYVL51MwgB;7J-mqt%a8lZ!q zI347ccApP5>oKNiQLr0--W;0D^u~8!h3>h&$n!CklSM#mk<#03QWK>xI*TV*j6_UIH>kFDq-X6|i$ z#Je11&SVzbXdY^4wd1vb&4FRF%rdPWTb?s5kP|eWRKLUNFR>GUCjbeNhSkTurWJIB zB*Vf%hudA6C&BHZo0xd4<+7Igc`(gO+i4lBnbvmG+>Oo5y~aKgC$k}z4qd}kyac2) ze2)FIBsjQd`6vsVg`T$SyZym2LcD%-Pq$KD;tSRh=OQK+HeEQyZsu;TyOG;Rz!4Y& zYH{B^pKCBK(h;nGOpZ8B3-F@x-8=UXhIGpH`P1rITc{SjK_kcD1W{kYPa?@%mw0Pp zfh^^Wg#@sjR#lipBASogd@zeVsQ#oIKr$<@S2fVjO~;Fe6#}y^cCZ>|Bpc*@15)8> z>1E1nn8vcevmNVS7rn}kjv`aBJgaw)fz$hcdXYrx%<@%#T5Zy@aEv*Iej>|v+ob`c z;3!_8RA&hC-c5j=XK+>Y4^k0{Bv}>MEp(n<@{#-XJZq@ELyf1X{5~LUPD|%Su83ZY8wQv0?1Yu6>9n_MQ+c9;`Q&NRlA|h(}$rzheK*5lix$O+N62Kr*w7Nj$ zS&LSGOK@iJw@HYiZAGv;XATwJCU$WiBa4D>W+n}_b5YvQ@S8V%-3_vO80a>OH*Aa& zT6N=#b`%$3R*2}HQMHFoe{{-_;Nb>@cd{|*L}Se)O6&c?By&%SGjr5?TK4gv$5kiCPVbz0Xl!SR+te_b?c@+unapvD= zA@b{@F`S3O=+`dbCRku+M{S9OG5Sm-3@Sy!u0c`bJDPI)jsnLUrouW$nQ+=E<*hBD z=L&BxC~Hz7z*n(I@r2yCYMhDZ;s$?zcuR`(nmd)sV{Uz??FSMCwFzTL{}A>5M2H}N zqosJOKfFGoKlgNbG9yEi^&~v1ES&}up_lhU8>Ll-t{OGb$z<@^bZgrP-lgI7js<# z$~0DV*{tRd+fNES7&wDD)MNLX_vVSXSPenr0d3)TLjs8;Z+8Ha#A+ zenJpwNnbeLCqTbcbs~}J=Zf1d;$DV&+*wUn#uDWWo2*FN*=KE9mW$4zWk$^nFUbGu zX5M*b)DvzJDp=&q%_N~p!`rie(^$riZ>lY#cyYKY`0?v6$VR#21N5=2?IV+%Lnah+ zpqaO#P2kgIgMKnXm$=VNy1jW$EaU+ah4>R8t#|+uc$6VQqCK^h z$EF0$(MdIcJU0YkF8v|mXn2f)S7|d|Z{Vyog@+6s0?jKzBlDzrwY;;w7%~Fe*emE+moI;CK3{Q%E5B zydsOgXA-VtY&$V|<^&mkHmmpSGQ) z?bPpP3Ci5fKFSH+ua?(-_42hS@koP^lTE6*reTuiT)#w+8YBON_`;-!xq1dDRSKs4 z4cA=hZuokq=2KP$RgEg;Dz_*5D=7Wi#0sCJSnFqS4%QXV(yVy4ct-RC#ebx9L)~g_ zQSd`U9>XRMXlaOljE{z(n4@lHCO&b%ZpMXHx_OhipShMp6l`0)_{ zJ0iHUw-IXXmDlZ{M~yAL*D5brDf191oEV=TT*}6g5WU-fCFC;^IXe4FwC}AMxM2Gn zxVsv*;ql{HEs6T?r5207Fv~V}zggQqeD!KIuq4l*Ox5K*RdP|ty332 zc~}{Td3JSH`X^^q3AU*I(phOl_38NPuQwW8tCx^wQi=8hP z{1S2*@INkpqnj^&qd;f|%!31OuRXBn833{B_g&UtsWO|#61b(O0zoD9S?2-aVD##fsXXGHnlFpcom}bq<~n5( zW-|Jv#8<@DG6(6m6eeT1% zNgbn0u*)m|GmGDj?ovihJ~W%_5cn>$8O>mpiTlkm&EmfvWybz2_oOn_MKS(LNh2Vq zuY4ZdOkYrNze9CYJRs$5<(DaO8ZpZqF(^ELbT2Y|ehuQ0vmb!a z0~)kl3qJ?_%OmA~D#D7!YDoo4=A(@L&pzA{NGYX&Sh~c!Ya}B;x0Q?)prGr4r~3OV zohims<131=O0!dn!nIQ~etwD5aSX;0{<|0rpe`}m`J6Ymul@kK%SKbP)eJ5h0XLUn z4FM>#EGTCNe-1lDB^W%GcshFVDiNtdzn84*=GD5+ldsuo(|GxLU^t$b=2+(e2Gnb9 zreWl_d9|wUxAik(@xJlVBNoL)LMKR*SiY>Yy1`OD9~i|A0>!pqgima9fHeUo%ZohQ zJq7YKr2qKyKg^0mDdtk_AUJ2mezUn8?JB9OH4ZmFf2XU^GO%1zMI5gkh)jwaR)>3q@X$A+OZ=!b@* zZil=9hUL4eTwUZ~6^h@Sv*m~UuI?sMH?^(rrM9)-ncDVX2AzB!?hh$$)%T?~ZyJxG zBQ$_;e}(vUiKEkf?Gi0LQ&J>G$idM0XiEqx$ z5!=d-$M7c43iUlWVnUQm6U_w^l+coXwqO$ad4UibHP8;?7kbyZQbmoj=DCPs)a)#UlDVYCo|*~oLEL%s!yOkMQOWm@kGMv`=igPw zyzSL7ufL^^J>k-u$-w(RR6a_LgH#0bwf&Bp}f4OsXq}#SW9NX$R728I~?$~z4w%I{P9ox3k9oy(w z9ox3Q^gj2Tz3;idf4@&)c>rXA&W0);_CRI;mEm7N!OqE<-pJ7DLk+Ywv#08ot%Afc+P^5;_p zX#2t6j1C~D@}d8e=fm)iyR4Xskcy^)7&GIaH2|0au0Tg8i$7`qiyOrUGr-@}K3q*5 z?QH%^0H88=cDCnXWOQ?LV=!}Za%Qk|G-I&0{)?ZAxrGzJ&CbyZfAI0`2($+NRTvjr zlaF#bn*;w9;LolAWGswM2C!mjoDe&V9&dbTr z6$o&4bOHK!{ZsM35gaooz{JAX`J>f8jtksh(WPun?Eu{W5`QrHx9WeIfa3 z$KucU0?;#avj3Ovqb-fCY=KTr05-P2RKSly{1@Yof9n6?3t&{zP!m#+qW!;Z^Ov2N zt+Abng{>KYg`ERn=;&zZ0mt;w3oPvH059f`#x?=E|J5u2Mh06u=MNWvy^FICz|_tW z?$3sDumc!{{)qlUoGbuF$-faBfKmEy!~tNG`5SQp7-j!P+yF-T{~)dpKb8L=?hi}D zztM-KfAN11GZPbl(c~YH8Ndkq2mGL8`VYtoU^M#&{77T|56A^zwEi11e?+$Z4`lx! zVf#_|f9O9_+5H24q_Y1HWczToH~g4I)<9F|zopFoBmGxj|3~~$7<-_jh21|E!u-L_ z@gMM`%1(ci`A|Apxc@`_5#jH6>>tUU-Tuk#e}lZsKj6ngUH^tGAFMq7Ci9{61Uml9 z`+s+o!k?-7*SKK%yT$(J@8&P8?CfY~1yr{%`S`2-hl#AAv!jK(Hq*yhXa10Xy#D=5 z_kSfI|9edR!&_L`&fSZijfDk3&%*W5nXDg!^P}3FKL5+t_+OL%uQ~H^7XFR@j9mZ_ zf9MW0hFhAqGv@tjnfxQ9)K@HjvJ8@(o8hDai(f-J7Gf!FvJDSgG-rzhC{Pg4a^l8BQE=PPSJoE~Nla)oTa7_AFkN=hzpR6V`cOJM zPqUb9I=v;fg%F@RdL+W#*7+F4^6MS-e=3PYr>tcq7t*b8miZ@!qcxiQA_{Ih-r{6C zsPp?H#`j3W9-$?g8H2nKtWjww`|eKk{R%yEG=a>gDNN)ybj@!)v_iDT9mD9q4MkP5 zAu+H9alkiOINfn|7m$Kj9}u&Vq&PwoN_ZI|vM^i;-$XQn25DkhJ`E+<${v%He=al5 zM<_QpfVqBh-q=S!mX;sx56veZ#)_|OGg=2y6X^YH4}z8IWnYJ(%8X&eM59xnKsuw9 z*bu4AnIjvNb1+I3Ql^A)N&1?H8@H8Pgd>E@H?5 zV3?k}4u`@~H4#uuSDS+&st=~G>2ZP>4f_5hz8OoRdZ;skssd?b&Qe zHmEtBOCNd5V>Xjr!HJNcxRBtQGO-odUPhrEX*z=g%k#z3igYGjJss@zxaO(P*+#et zcQ|ZQUJq-=qnWv^^5P3c3-Ffs}PmBO`@|E^k66MiPYW}zcBk{;%E`{xj3p$&K zQHaRmuIT6Ab~GXzoKC;3&zeWj)uqU70B~2oaR3c^ldr z-Zjm>B^>Sm92oJ@!wxOFe+DaA6o0P9!;X=mfu4R69vo9`2^5o+4n%!BQ@K|-&^U@w z&}>X=!W39@BCcXW1%D^0?X5my3#kL0-xS7%2)GLPc3G%JOY&AHEKHjR`c;(c7Gbv;c3EXUY&?@wpZ}{yNi*wEm~% z$p^$lQcryj6;z`^=wqaph2@+>qgQK`o=sJA4%0-k0w-=Rr#Y|@U}owK#E2K44G6A5 zt?zVQrKG~?Xeub%e>L&tt7+2Rmt0VA5A5OVV>&~N&|hWZcU?-y0(V!>X?Dp{m`${% zFyq1Z`cNinqJ`UGq3E#LPKU^CNdZM7^cJE;0WL*qQxxS%YbVJ*&uMyNCwmdz_Li7O z@wZRzAfE_aq0BZ}ZB|d&;!!4B&6|MNJAA?}>x%#m7Yg+2e-}r3HGFvOJi1UG;clLH zr=O)wutqR(#2!CSZH(rf2dYIxf(_f)Ag2dLyekizVvS`Gs1 zZW&mFf+Z!D{?29XmQY8iJIF-xf-%FHA+Xwe(i~5rtQ<5^(j-oyspepaLPy1S-K9SQ z>qURAB$S<2f4<_)#0MAp#RrvYw2-EPm{Es%kxnIJC&F|kKpI0{q!K^2szuXf01f->DPkNbB@z(mZ4Qq@OW0M zho0dJ#fveQAyrJ5rsPnxd<`EJCp^Q2n| zRSr!~6>066>9pewQpUyAIWl0!mpu0t_gjBUgti>#eTh84oQUe0u#v%hL50H@sP*yh ze~AJ=v$WHlGaaWfqEdHEeR_obR^bbq_6-s0TOhf+N1x>^{^&k^P~iiSX}wzXsR-(C z6soUQ{10?O3+_J%k?|{kFri1LgP$^r#m&q_qZA;-k8zBrBo2^9hOx!v{tjeDvbwoY zITES&(mpvgkK~#w52XL;%+@}bMt$q8e`>|p{O!H$+W2`q07aovs-wGbY@=(w-Ce$| zl2L~>xb3{IDf{WYzhPle^H-|$Y&!^WieyLrP3i1iIg9_61tR>k9qQGi<)}tyLOWn7 zV@4K(dWj4x6f%rW*7I6sug%2SeehZw%%{?Tj7D1SY#>nu`aYG9)UA$l&K--2e`Sew z8jhbB?M4Fh*u=DZE$U8uiTY}d?$=(+Z@9+LN(hhR`I>}U`A!?kg?sfFbt2$ouDMJ? zTT;$-2DMKqiF|K1dxbuchymW1ANN7_!rbA}k1g7!u>*PawZ@CgxFZdhM%8b3-CRUF zu+)^-Hwe-A>566=g$oT3V6z7#jcuSTt!*giAdxmV?uFZ>?u zI2nU7A}IoHBMftsqczh8xf6q*h%dWq(*{RFyqZ@I@w5);Is*w1^0*~1M{iAjXL)tp zKIIt?{3NZC(`IXc%*o|v{=Ucanz5tK53fcn?T&A_qGvgb7QLuXLf&WCfBv*tDSS{) zar0~**;_HN`=*ka$hG^;QSCf_SC1Lzq~K|v(M5?M_1);^2Z*#CV?c}T7jR6^8^&e4 z>dJQ{7I*k`?b4)gq_LUQIy1lRZPe&-_XL9})Q^|7JI(d#3Jh#^C?Hct79S)*>{BZj z-K;SiT}2vO8j`-Rb(9x0f1B7w*Jm>{i#?1ozA`vmK~|?@AB=E;xhx5MH?`j+)F%0a zb^S>yV$+}A5Y3;onDbJ?;Dxl}I;92jNDg0;==y$RRD&-B@|oZa>^+n;Fj|0tln3*r zdDO3EXHY}6O3u)HP_b6+Oe4JH$dQCeQNtzkvpr2PGrkk&z0yj-f0Xst4FQtj0Rp7k z9ub1GiO0u=(6rRHYWrvw8)*1&$AJzzQ28U?ojK2a{o|drgTI=>B8P zZl}86Ih#ooH8kdve+wi+`ZipQONDIA`1gdMBP?RvD5PUzz?=)uqIvVUcbEE#rL79?s zr0xyMdh{tf=%hvDrh>B7Rm0JmPgc@PxL70%?dB;?C|=*q8N#z7 zmKZq!e=X9uj#FiOfo%v)RV&1t`_rtGW4P}v2sVrO1*g4aUwF-=UR;jAIH?FxEKb6X zhPw;oVpp3mbk05S)b!g>ncm6S*LXtUMqNtzLfmQtW6vec-he;Mw?=(1N)(@4F;+T9B|PEgryi91I2AUNzYXj&yQha9X%t zO>3+DF>Txu6sV9uhjYhXqAtHQk*DW;aM~B#iKBSRjKB%T_RHg+Uj`h7rN6iteoI_i0E5wKM{Wh9shS1(U1deLA=OXq*Ic#3e!+`#_iy}Y6n4YsvRKo+NV z0LnDFB3J8@UFKS{A5h&Lb>8d``kfWU@vG7XlebPR^i4p6NSE0Rii_b zlOMav)(A{Kb%?ipuu#yYjwJu2e zv&r6dc4?hO%4k+sgUwpr3sn>_CRgIGZ<;XE@my>55iA#BBGUDi9$ ziL62aTvj*~3VgaU32kH%xLwmm-D^p%VG{@|%qCGXucZ2fg{0+l8znSl@RcH2~XnXuM zaeNO;h$Ca{G@Mb3ZrXUz4P*BP6n0Tik(tn{g43d&9HAe2*XAme%chplhYB`~Q&6Ur z9D3-P%Ewvb<)NR6K%8}n$z;hT#&!<&?bNpv@75DDm5|)8e-Gx@g?>`=00h_AkX+~& zEMy_dsbqb+2|qYTdtAOi^fbc_`?JLne}1(I5|z&U&m7&zPGu25cyU1OMXtIUQe%47Zbd(Hp@%Z#h1q*_L>U2CL)GBR;_Q65;-e?oT zM&a~}bk!(TxgLJsdml-xFBzXGa)~t3SQ28LZUcrJ1&{moklpVIyfE=^K`64q#E=j> zSDDdSyOqyV^3H}_lwy;Lf2Y-&;d7{#3CEce2L66S}oCR!se#(1(8! zx+5p0D$%1$6~C=VCZeyJH*bCTdS2B4CC8E7A3N)m$g0Q(V8|@RU&RbrQM^IwiZj3@ ze})0l)h*odITja2_G2olds_pczI(ilm71mqKZ6YjS^RQ@iO4>^jd@o>i^yda- z`K_W?w#H$=VQBOCrac%Uy7`U9mrGHbWnH2!FkfevCRz~)FIFiZVx!HO&hEB;kY z(2^)}QIa8hfiIHxOj#tI~{e=(8- z)nwGFladdHY(@=CM(lhpn-D=lc-|w@d=8#F{9Ju>z`7NufxpO5w4mv)5)ARoe0QJ- zlE{=TqB~*?DRIAV|?3i zY^NuBeqjfjU$h=kR{Qs zzOqFv4P-Dna}q&#ibBa3sRC7U0|9ODujif4!Li9fIK7b`_F*m<&UN(U_YNj}Sf6s1 z6kiGhX6A0~ISx2@S>s94F|vLQ(ur{MO=JV%=Uw5MLlG_dy7i7=H-pes?)!30&5gVF zpcu#t1D=-mhrw#N)%E$9f2Z8EA9)x;$eTE&ilqHs9u1(Yi?nXus5KvbMli-~j0}PMSp+qD2Jv$YNKqM)!~B@tg^D5Cm*4q)dmTxfFA+0` zvL6>DJg?_ZnF}%RJv0x@4kWB)q%EoPH9bw0smdv-2}EUE#+p*eNa{brGN+*L0+&{l z$%PcNS6J*CG0tZ?y>X&=1 zaP!?ai@y){L$}ncYE!5Yuhx39PcX=EAt`Kn_yucF95qwqDE?;9aJ5wz-MxWB)@`9N zy$hTzi~BsZ-^nnHyyl>5=ufoyt=!XvDQ9q)_&Tc%CYXvefAASwWsBLf)o|%55Za8u zgT>5Gm?Oyw0^e<4zcz;4%* z)lJ>_l((${p#?x)g;66OUI5QBMuhWfW({Ge#^rL9iX>Y@*$DM|6LVJc<%--MkSME_ zI(XZt#0KA4sa(z_KC~UwF z^qneCV83|XPi}A8Dk{a*!$n7?ogVTr*Zzef-Gd?WK1YaWH?~vR3Ya4*$RS>{{jC=~ zq)4P0tXWXnk7~27Igjl+;W%zs{LWG$s_KRaf2Ip#kXUqEp@Oxl#yOhubw#p0A_vz7 z_P8V=f9;EcG?X(qBzZpxm{g6Zo@}h+Cgv)Vn1DVeIN2>*#97O2hc=hw3gk=_{`3`I zY1bsv)m^06sb}&=*?6V+ut{x+p}alb&m+)-Ys9$1x%d`-X+cW z!XHk2c>JT!k3-o(Rpw;RpJGW%R=@!}nnyoBe=hE5k#bqjoVmwRrCHL@ifT}X@K-;j z8}ev(#UCTEsCa4f7tm|&ue$rgU6ZgP9?darpt}9WP%M=ELi}a(Towl&f{#e79T#gt z9{N{d8FMs-NU$*|CkM1~N{eY3mrZ(SM0V{w9ik5dkE&ex3P|Q%bd2g2LXCF#|J;PA zf3b3!JqO|IxscJiqPXH*7C`56>JH^RzD^>8rx;+qn5KyFV#u$=@2)bk+Uu7tOf>tB z<*ZhL%tzc8{C*_=T=D=RzyvOO&G2GaXS8r-6W2%=hN^r(62*GnECA`NY0N+wUM1$W zj|0A|@A@RyOUVvhpcFy;xgkx!m|;yOe`#>$(`jObERzPP zh9X#{;Ou^-Fe!jYNF8}{(*Ja-ZBCJt!;puYVK>-4;p$g^$hm&tIt?#WWknT+oFOva zaUVm4mAZ}3y|5zAU7cBXqSi00X+2ugre&=bK*Wfd*9CI_g%aoIDrjU@e*|kx2b5TD zXxbOFL4e$gwjE#ij817N$l15wtfm#33Gw4j%K*L4V=`_^Nk5bV%Ws0L{cg1bMn}&e{9fHQAz$C|G7HF z*e}Fa$H{C#8ZPk;!6)asnjln_la9JrB{``A6NVpPv_<)(UC$|*%E!`LJz6jtwTN9J z6O0whE1wGAt3N?U_UrCoFR8O7&%_dDqICbLc%DgBZNXCSY_c6HdCFv1dtY=0d7pZT z7U+9O7PERS34}q~e@cA$_rr!-b1h&Rz7b*K3$v(rZ?J8ratPzBJQ=p(Ry4L zBfDbe<%B&!!RI5?Wz}iZH)_oO!<*R|6<&TKr9U2xLe=t1e~`7o-%E+~#nT3sNG@dO zx;MpdKdmSSsR)*;lhB)QJzS{BY-Mv(mxgO(W}La~t#BTIf1J&(H1NXXSQPSM<0~z# zETPxHo`%9(&`lX)eSsgD`N4nPD zh;nWHq=hAMfB%pU_y4#unQ|bG=(c6|Ewm>acDq-;^abkx`Q0of6MDT_hj`W)l&^7l|~ge+S(@y zyPalA5i%Q>1W6FdkE=PcR4*O_$v(OsD9vYj`u_B(RQ`Q?>G5IBhq4aW3#xSn2h3Vg zdaH9j^a0f;AKFzibcqkAiRbQ6eYk*J;AjY9vg?Fk>5V4~kAwgAN!XH%M#7Mj-n?<> zJIGp`f8{u(z#b3QTZ-)5`|ZQ$8I%>T5gk~?jXGqZ9~gZCTH~=4$)LnFm$r`lC_qOU zJ2elDj3CI*GLh-Zu?)oCAXu{a$wgcZMo5xcsn$axP~+3{4GpP2H#IYo$RO)0BxB#Z zShgbq^!i**ab!(B%r3>Uu{ERlS~gcf;1$cIe*^S5K_IKD!DSVu{Aj4re{ee@-V>GJj^P5K*AG_p->|&Js3ehz1BnUKBE;CyE!3Bxy0ifq; zrmm+sft8p#X`+pJhPZUWgGPPIubZtMcgX^K&dhSY!83ecAJHTF8jM=bb7<89(LhI9 ze~ZMlUr?+TgWY@}&>8pAOG`|@q!y)G8q_MjzNB;WGH8;th}^z2PV=rJr&+|>s025o z^H5_3NWebX|Is_i828JiaCw9)!U3rlIuKtyAmuH;srOgg)^_GtCd#Jnq;pWP=>^4> zK08cbctkzA+Zr!kEEfKa3GP*j#aN|Df3Qj(Rgg7WOqE<`n__(W1t0L@bA5vp&%>Q43(RgyDM})cIGOTM>V2X_tcJdb6|N#IbsTZ| z1TzG|Vp62^A}}iprt=P}k`H=E%khi+qCNKPrLV!vuMLD@k4hor0A`$S(03|ff20;D zoqVlF;k}6-6B~tu1o9b9I*nZL-x_O>R$j=ViDRSq?ZVt=dG%<$e7_{&c>_>`QF6?c zj@O6ktrQ^$-yuR6mwDH59)=83$JT9B4^z}}g z#0;#1o_AjiXnpN-AUq+BKC4{Oe?#%Ie)S5fzM54tT>Pd)iDl9knrg2X zzz@#4s$_CnB@{e6);oT62Rwo&-FEAOKyT9bt+vWz#)Qm)>b_4>np5ALd%|ww4{F7K zEmlox^n;7*Yu|@uZnt*1m(bPO%`bz&pf3c;X`?WE7 zf79$>)Y8{o3P^z71}6`)ZpZN8wi*y>a;o@8nw{gqbd+!p43m{pb~hOgEpwkN?xJ9}|$BApmg zeZyUD_m1v4eX!akc&ag2e@_~$X#!yzFaA1$vAmLJ^lBoV?2`6bYr-YF*Vdw*glW1E zBX(fN%-1V}RnhF+h3Y!Y@T#9k=hm%44V=MBY_guk=VX9*NiEJ9O~DOJbFye_a=qAu zl=@ug-kzN(SJg6TFIK|0yQZCU?m{3Q!>vq{RKJ%`Ng#gl3l>(@e@Jhv=t?|GIReS7 zQHWL$=5PoiA(NWY!NLhUzfXX+#bp0HJg$4O#bTzwU6P8Zy1{7f4Ejn?;~`l)d%Xvd zE^U1D;&0}bvks^1Cl(cjZ^5=I4TBr0LDUu)eq|hdkx(bdvKk<&s5L=|sc~)EqFTaA>I_pQrWYhs!b{gA%tcpN)(j_Y-w zppdVEc^N;=hj(g-MCnzRe6N}_7Y`tDdx5F06e`}OFF)mIifyN5&o?cri}@@%v!6!G z!tDZ0-)V=X<8u5R&N#Ma7YY*nTGRDO=or+$Q{pf;-8l0_f2?W~bzjk%b`JSV#hdqU z`8Si5drcy&&VIt2<#v>O%ywaaoOU?u9< zlpxq8O0x##HmdN}8#rJAEi%WKmJ)CdE#Gl#EGw?&nInWlnf5Y=Aj08LfXcqFuo)#t2rYwj& z0$rBtEzU$~S;(tP*qOV%S2;Rv?JK3Huw+Mo70h5ML?{dHxap6zM9@e;a}pFz3+wE%DEvdL|lAI zP#luqe;QMiPtY+?;_c$5g@jKOY%kuy5z2q53u0KlG|LF&?{HeA{9^&pQ@?!{N>&8d2 zNgj>b^J?0RGEKs(KfN#;*{xYpmvGuzvRw|=e-0nKw@U9xR8sPaikr^?t12G3zYK$H~Un znxIh68=b=q41c#VCXYKh*So|C*zaVcEBfhpP#OT?*P<^3otGa1pit{pL6!dPlpLLe zfAt0%V`_wJwlB;w+N;O(bXu)z?e${^$(X;nTdfo6G$ zLVs_Pe1T-9&Ek8Sec@H>-*%EMP|kx*e%7hWSbs%Ssi5+!QrG8 zuplsKWPMrQZv&#>LRgZ{q78xR7!T{Y#|MfNe(f`uZ1OT#F{F8Gf*?1RKc_8{WzKSZ zO!I@$%{*Zf|3Rtcjo!be?_?fIVVaW7u?vQ+I%tup>^rqRTg@Gj6q)%Pf595mneypc zwZA!cYGfk0X3_4djXV9Q#O`iJc7nLAz9Ddv*ssE}lY`?FfP#7#T4qUVXRaWnxXKmbP z)yHwr9$8QxL(-j141d(e3){&_Wl*nL{b+}s^>i-{WC zKG^cxQQ`SN1Q(UR#XQygfC%m9de$7!&eMX=(qwc3ccWEI$N`Q>n&T}SX7#gBf0Gq-Ey@K#iuOTKk#-*)QWRf5QILaXVa6cE9zS`Uce zTRt#ov&OR4SdSDkOt z^M2;F&`7Pl8bh!c#L@k2{NClrTvWCedk?9db#UGf=@j9~2!Rd{06;*$zm-F2w~kAl z5yKOq%7#QkW|YQTo3j+M0Luc)@iLStVhOMFRdP}o$=@i}(!@>!M%rV%nb+%c8osCh zRTq(QH&`QRjDN6G5EP#Q>c$+K;~?@t?s-j@(zvU~`@1H=tPbdsgr`r1f3S@ocF!E44AirRp!tb(A6qw+iYtGk+dha{{>Io5q~WUSOsXq&vi= zBG#i(-u^8$0fz%L#@{a^%Dby%YF@b*C_3PRu+ptLaTKOlQAQ=D>NgH%Etz5(s6eYc zlb45Du;3551f4o=F$*-^Y<9aX%M!N=J-gB=lSB+r6c{-mKr;w!+vY(GXvWAJ_P}>P z545Bup?|_wy4A&t1lr4pOVM!Nsh!DiP*#+MLrits%br?TCDMvVidVPxN#`n!wNYsZ zCM{rl(9@V>vo%|E+_%+k1g|;T#kJ=}AewrQ$f9!YktM;>xCT{!QsPh#9TJcy)9U2H zj23+I49pd>$lmF6;RTsFJLOZkp7Qx^Gk44=CVw}%;e8o5f!kl!CdPlMg0Bbd*6)$F z|EZ|(*OX6@3O21QDDBown?+}J(II|=E!Jy4>$oK{vGAH(E`WMisEla`=X2B zaky^02RQ-H=6mQa2!|JK1Mj{!OB^`=M; zNq;rl^msM?*lovDsoidQg!naF*b&QZJ6+3tihg}uGS7~qE?#_I`+(V?BN`g5A18Cj zmE%mu&>$H5xQ>$7CyFOw#e6)_Gtety=XWtu0h~+rXHi#VXo0MTGxyH`MM4!c1ZYRt zr?so-j#F5vTlEPuBU5a~d(+r$41wKL%SqeFwAnN3_?&woag z!6!lk3=YD0ZT}{tRFqp;ZeKSdaCxvJ{f!bu7bI^40xv@eN^dD7Vu`ql0cSUJ9^io? zK6tKn(Ix^tP*9c+XF)rUaK#QS*?{Ju3y7LB&L1JLjI@qnAWE{lJ1U$9OsPw9rL72k zhkk*{LU%2A;v#3o&ES5#sb6>(bbn&6h5BMEMPFJXpm95RTAlRd@hyLSdaS{fN=6R9 zhLp4RoXt}=7DXL&El$FQsnKSpDY$Is8| z5$bvKRR^DPvazuPa8;)XnL#;~b3h@pQhyq=%dC4+yMTBVL6aO4-r7CoLw|Vm>U30# z!AJ>+)(wBU@~8&Uhbj&m!pbIl#Y-i|WOz6K#TRtbgexx~EkUK-+P=eH|9Rf-`wb$& zb$SZacXGL@QX+fiC-}g~Zx@2JYVrw6@x9vgUsDufMzCZr%68XNeT*!qyDq+GqU})! zh8YkM_Mpock9mJtcT=jB&wtkwH(gE=!PAP<7?Plqe&9Uvh8l9$3Ay+|!C2IchSw*f z6-^~4>C{QypOk6N8pA_vZGu0zG-rU$a=-R#9N_`GONJ1%g4zYhJH=--o5p zF78E;L?xa7hp;YGVjAL2zQxE^;a!`RDa&$1son^tRn-R3L6lH4q<`YF{sNX?HhY_~ z{(GK_mm@c9)0nTmuq*^U3b{fGZd=BYG(*Q3j`8wse+P6^^Zj}y;o8)JyIcQU!4NpT z7HOc$p7M$dSkTQ$^VhzEO=+&3k$ILq&nDq7??j#WkguQ$+$ zPk%~7bm;^f2!yej^kYhbmunS|jI#ZVytsj>Df6r?Cp+tuxqn|wZ_Fhl&oMb7MU6~t zb54)m_(c?7Pza)4M<|_ep!oBfsfvAN=V@eI)?{Q?J$VbuMAypq=D^FX(MgW;)t{rYVTxr4F?6}xj$2t8Fj$EPiEt@4B+eVN8`982+q8D> zTV22lW?JPS@_&9OrsFQ=!kuc0Xg|sOHrGmqd7V0cu4D*}Zt~z5XXB9!C8G=5jM~}U z5M+?i zzxkc;E{lXgMS)^Yf$hU)9d48>@O7zH;FUd z*{8LfBhGTKc;-{|Xn%aC4#baPb9q23=(aRZpF&b%(S*QAz-rU;v+hj`3@Zsr;YNOz z1;HL#ceKKun_~f)Qz_OgS?_{NaSphW3=fnUUWtC6oie4dW9LpMVv%SnxPkfcnm`B`@G`{ik zP>V_4P8%s;=ZX+0mRp&v5UI8@ zGLFUo0f!vLKaK}!$=>TO+!yz|GQXM)tRWB|J%7MB(Zz|45W!x;?AetlEtHg?oo7tJ za5E`(@JvAZmyjzg&ODypQA{ zk^w6cOSqX&&gpn`ykpObzqJUk1RJnEDYd;6u@iIi<;^zKU`tp^nOA8-m zyMG!>QwG8<0wQYLdyWD$^Jj@Y=1zLHW7TT{A$+U4JbBXl9zcP=AQPtXUpXs_lO#Q7 z!o;g98E_w3ypRW7?3l;ZG*#xzjD=ANop^l~GBNr++iUE~CqxO#_2FOU^4H;%)nMp? z8XY5Z1QR1Kw!m9%LFDS979RSQuv@sR5r001mzoyGM+*QgLVie|MD`Kd%)_i>2Z0$G zvt&N(X6|oyUCV(5fPHqc4T8SF%EsLJk-s-^;V}Lyzc^zed-qC(yI|*LFO@fClHe@R3v1|EDsulkDzTQKfaZx(M zhy^Cgb{SrC=2`j!*=Jt&&J@sI!~#+?y(9Nw@Xa8(1}sA6bVZf44NE05 z&?I&c-V;JztH%&UvLpwqrhmu$96fQfEE!y0>Nfj$(z7o~SkfIq2%IYyY2)!{%UAq#)jNv&>eA%Hxu3r=e8xgZp ze2i(zu*SuHbRAeG6TuKfLQRA~N-~NMQ~3E{|_OVx}{<7i1ZF2I}HY znx=qAYl3x%hqRS3z?clcW{#ykozl(4zsfg=#`e61W8+xr4Yl#C;*XNty{6ivCp;gz zq-z<2r{tijE`>KZ$Jc%k;oAhRmq!dpjI5sWKYU7;+9go~&wn{ijNiy1z%gXQXO$pK zZ&(0a4q=>9ATS1^2!!tvcQr{r4k@5z z{Ze~YUtT|kv_@o;QaE0tbPxU-Yn6(Hm5fnUluV{Q&|%HQ2!YyIes6TJ*vMx^JbS=c zSz*mZT_v$?IDcG~DUUL$!8;GI-X`mrZy&o<&0<9SVpnq7GvwgC5pVlNN6LsPIc==Q z{UE1To5lN$m=`cu0n193e`KxNzG_SW7~31_L~A%d8{>bX#U^J>4W7E5U{d{sfg-}N zF@Ea=A3!h8Mw4C$7NcL1-1-GCoRsIg=Z3mrBdgqCLVt_IHd5RO1vo>f6nu}e>g~j2 z_d=e+=Rs-oo-YZz$2`drGT`b5=?xM zHL`1^m4i^}pS(S?26(?O$=^~NCraW3gEhUQSJzOw&!p@|wk%dP5j;|ZVLLI5db5~D zBb~ua7=OZ9{stvY_G--Kdt_^xD~~b=0e9XO&%TE6SRL*CDnzJyej6gnOl2Bn{h!Xj zNtFTl_k;8$9&KZqE&{~$#2TkXkS>u`%(lQ-7o_1LHPvF=i%w*-`i>|2xQ3wNf{Spe zdbMRb(J%BKs9zD6#^43(>y65I-6DVP9F^3I)_-ipu7KijPMRCB&R3QaH^(YrWc9RR zIt+qX1agV;(D>KJoXovj-j%%#XuCo%bEzZwnlR{B)GAHC)MQZD^Bmf~eR` zZ>BbKrs^$nvXC*BdMv+@|MDQbu7YZ>;dpSDT;q%x$+YD*n10vRVj=myCj>vZFE6me z*?&)^jL~Qp4I1+*pO;faVU?DM8jwju!$HO9p6VB`z36_NpJj%wU%T+^P8e3Em81FZ z$GuD!xyTn~AvV-@B^LzXr1mAfni=%S`z1l#kXwhF_|}806QBwBl;(@jtUGFfM2`XX zlwylSUFkn~To3D%u^p`DQVehL)Ck5<6@L@i+i#YOK?z0cl>9g5^c(GNw%Ceiy#u2@ z<)yJ^r{;8I_wv}&`-hjuzDmIw4KH&m3wGw>qS*bOu-&^bk(C*x9}sWvz-EfA5~6GX z)S<@*XPtJ}ifu9RB@;)T37ZAlZG9tyHAw3bd47(XDPqBEqK6OeGs+wva~C7%Q-2UP zBcIXZuBXv4PwHtdTOqH<0O=#fzLFPTsN zU%OYs)mDT-G9SmaZBxsQ*h0^lB7gqB02m+V;6yk3$jbm=bJssP3DAQ}7jw~fziPnp zbvkk&lIxl>+!KW#aS8`J+PEhmHj0tebzV;@4(2%95Qsn`Q13pmiV#QZKm49&4q3abePR0Z@@3DwO%@VOPzWODSvsp)krx*DZ>?ZTK10L;F+q(L^caV7GYFe*Nc;Ji&P@XuW&We;iv{f=Hhrwe&bnEOT@I3`OBMY~^E zTEc(9%d*&e{R0~Rb`srSfo*a2NY&!pAy~W^n7gKS%qN)#Wdo2AtxR7cm~No_7>}b2u!srVe3Lsfq<>pD&1xb$A)T3c)4BRL z=mm&=ah3NvqNNU}XAvdStA$P7eZl|yBi(Ih%Fv_Ux($?l3Zd{n%BuS$aCm&Y0BBNL zvk07#)}b^(9h8cq`3}~gA5G2`Dp&V~{!r+0PEz4seWi8QdQS5tfTMbz2ztjP-%>hI zbrxOwxtdIvhJPF**(dWULg%=YQd5*(g(0%}lVK8G0v_;S;8Op*lR|$pOAR8sW6EFU zn@3on(I3ZQGY3c>NmJ@CjFDT}T(*6lCHcg{c8Ie7^Zl{5Y)7OZTkki?rz6RJ9(}pj zo@OJ0)28oqdZhAgRx$u->le*3m)D3@3jwKR0M}fnOMfQ_VbCYI9@aC$#$;> z*GtA)$YWIbhpi#Di+LYaLh1uLhaJMm+^hVQO)HxhaXr$a;hf}Lk9EFRA{V91EYyzf z!;2RK!+#4W>TO$(^`LWA;zLL;G)x4yRANL&PtnbUL7)!Lnya&XfEQQ+mCSa=7Te9n z=x}gvC~WhAJBN%y&0yT}p#gZsZgxiDxcNPrQWBJ3j)hi;Vj`u2Ys*U-r#`V5%%XoUF~7uX9(~9wSE?T3dJ*DqjhvD8!aX_ zXMdJreR>!-A4_38D+}sPzioI`xP+83+D;7=-g9|m>l&WA)YfTOsxqD4Y^#v7{y5~H zb?gW@nO{pg<6Cm#6qidYCtTc|u6s~?3MCA$%G5?PQithDvf2=Y2w|qHjDJXTU(12Y zMX$eCV|S#0S?1o#T>!d=P4UU@@gn1h`hUhpNpO)!`8rUMsR~tEpK_ClOtZ`K8Rl$y z-B{hj`1+Lbxwaj57gY*3Mi3j9ksFPp-kuwVpS5fZT+0PQ(VPXya^yW~s!P3^9o)hE zMGXD!WE`JG%>PjoqDd75y^C5U0SDJQ<_^#!gO$sgw3HhhQf_iH={ zZ4<7wtIlf@C5Gx|XLUC3q&!7S5|#u}&g+OPz)h_ztC>_HSwchhI~*5hsAlo`w6c3- z%RNL8gV=ux_;6h?1S{vZ_~w(BA~-LDe@aWA5n~1w-$ZP4E*TUj{9~u4b*_4>23J76 zGWrV$7NEz*wByLnn9;Z|(5f7bgMacV5t=7bsw&nirmL4;aUu;~JtUHsH-7|*WBtF` z7rSweoJ9CRmCQ#W5%EBSw6Jm1ep&4PFOJeW5Hzr#M6mPxb5#e>+h1t%*tH<4r{M9` z10fSTTL3VM;)?vt-iN;po$WFSfhk+;r|&m0)lc6>U&TI9@tLQ<4f!8zYkxHIDPMRG zU-;DyNe`E2`7Hj!VJNjp1*#r(4>~cIRUCHiK-hz9l-tEWmt`v+AVi_5F~X%g4FNP7 zclGf?v`TmZ0I@ign2OTT^xQAB2tc69HX>JhG!MNu!Eob$PTPC>OQRCgZLucv@Sgdb z>It)RS)}h?sELLg*{1}H;(uCoPw0?EO>J)rAW<y--8Z4E3YIcHYZ>;P+rBd2kE7xf)2_UaIGyF%K`w+3;!%o%&Y9R#@ zik9RNP?Twe7IU!|FW2&Xg)EoO;bRJ^n){Q}RD)R8XMdI6)1Om@H16>X zCCRtrJDN2v>1mRIA5xee#pR)f8|2$E#aBI_5i&Zm>&R1Ij8x~atx~(11aOxtyeQ+b zK*}b1vs94vckd$8bE6}rEiYDg0Jb-fHipRZQFNQOe@*=@!K^VdXNQ@Ni!j18_{?&k z@E~jFqtnarLO@pGPj6KmEgCt| zz`|WLyY!ovWq+XV-Pj_;fNYr%h~cV+V}RW9vMrw1=7`g1y|BspfaQbq{jtPyL)NJstqwlb_vZ*`1YZI_L1^u#C(jN1I=*sW58xiU_SZ}iyzK}4CrVNx z&r>6mmmwSz&@Yd@5jr2^DhSEdTyOASXTyC~&wsHr(4vH)71vdiGia$*OJJ%A=#u#w zOEQu27+4`nA5p>Vz@5GHi-mf*6RVu#Y+KWNKV?>-iT2m|BDh&*ll|2hhDVaNO((HH zc`$mOi@_bu6@fJxL#j`BuemOA=!&Rd7mVY^o+-IvXfUurl$cu}N1`yX(q&6eyNlq@ zD}S$8ARFgK_vBK(%c1<{-@IrZ+7KSpe>S6MkErngQJZ|HGlWBj2R_IcynLgY;u4z$ zfg+Gkm8=^BJss*JW=K#tZsXi4ZwG@DTC!?%)VDsp49NzSK|kIIgL&^FIp=)VTH=v$ z#>Ghr5iH1Hq%B{y^>9?Q00W_T1_k(9et${oPnr`R%NsUE07B@GgBFH#CHWoyuyQE< ztW$K4@vZZRC}(k^5@xu3gN2eqa&)Sr3l%lv|CD#damb~V^CCPV#RRKf(`E3>Ci_^B znQvF3^M@R#T;7_5zC8MJZ<-P%Aa5Xq!bYk>Xyk0}Z_;Jw5PVIJL(a9ty``X&^na7} z8&Y_SMJ1&S7}tElqr*UC`3qi(WIT+bvhgdu?A0PJ^g%og`mK@a!=s6byrp1QpJX=8 z|4?kQU1t(X~NfS5pq|I1X(uysq(XM2_)%w{p8X?bxanFv_t#bN?x5n~QhL$n(r8U6qLpH(e{B-k% zT)mz2YEWLR z&>Q4jHoQ66$8-5w`wSslo;drNEN++Z*cRDa+6&p9#FH)@u$V)EiGLq?{UJpMC)O41 zu;^<>*K^+)Sy@^|qbN=dE6Sr8ASWB=N(d^;Rl@+B-2I*EX;+eaDe!EgD?CqaD6Y*x z3p9T@@MOp1w6y2%Fc=kZ4$Q|{){dNo&~WcDG62YF-NmZlLQ||H4|-&opCloaq?I}Q z+xaCG{djQIU(J(yV1Jj2;ML11X;U4>^gBLMI;b%`Do)iPBE{I{7bojDL@H=^hKA?L z3^6_x{sqQ7C9Qj+HLoGcvI~EtwZW`m!x%^%a51h+MA# z3+f-V4X&>4daN1NK4KU%{63IInQ)h;Tfm+9&w9lcC4V3+-cvxE&dTWl4!6qUF*@lG z&tRv*W*JyYMM(+E3saEP#rh?*Q|U1k<@JJS$sEWuvTv@i`uhj#nhhwrOBmksNT|Vl z-W+;y!TqF)nusSdp?d{h;B*cHD+-03mQi5JMZWIdaH!?Ru=I>yOg6#VBCWID!c zcCa|Fb$^rgU-Ggl?X_1Z>2YUK4i&H%cEQ^^YcjVCoW!zyqK=o$sHldc0{iW>$|<~2 z`zyf4Ea9{M;aR7>8_`wfDyh4cjlhd_z^$BMa}3*Tho;k4;Py+Zo~R z;+dN)-XBs@U#;#O+=?~lER+YXvkyjiPpUt9MSr7?h`q~w;6kc`f8tkFs0e2QQJU-m zkNZxnYa~}w1jXCa?V>L_3oRqP>!)8H{@`S9>VQ2a3H`% zSWq;aGJutMb|4w6Gu){2oeZ2FKit*8V8c<(^7sXCw?_-A1H zTz_T1T>eN7teA=W@@d2{99q+yU>~?`K#-$P)|QFggg}n$NH91GYt!No-28O%)W)Vt zVR&3Z(#J-rfs}YHnovtB3X;+eh;V_Fb?M}#JEqM~>g~^hX4fRg;mMYRB>pBx#H=Y* zw{ege$#?8#hMU>bqAqCrYLU-l|I;g0#DBS%Umbq~u@N{Jo|aI(|LRAoh=&>~DSAaK z`5Zyoizv3Uwl}@BDW7EoCgNIu*k2~@_Q49Okr8dyo@aD-FKL^S_oo<20R7kVZ@L3` zzZft25LKbSA5*}#aQ&*t&4Eyl1bICy?KZBv8y4w9+VY`{0?0HXWeXtBaSL*&V+_`%+0?Am6*$eS0+n_O!}H zh}A<4*_1z~?kSp2*(7dertRER8to{p`!kS?b26-#zMkrH|7>P1pl}pmwSQs4dN{E; z*l0GCR3M#Q!QMwCkYYoZp{U&SQwoXSGnR@B(xun5e=qng;syZ%(JU6eL!fwSo$kvH zw2bVEAXYfya(x7Ycqs}P2RKj}DhuX`cz)d+s%m7fjx^R0@~8#-mm#PpZg$IMnBUYY zqAdH9nvqYq1H&YQiHZu`YJZ2Q?DxEh;-+c=IqkN*hJstn%5Xtu%{|d57oB$?V^CQH zpTho8g*}@efqLYN_vyH66MU%APSrRM%(cy77f|w8pXQ4x7n(koqwup@Kj`0EAfAZH zPx^-`cm@t--1p}>(UCS+{F^B|%ILjiiLwe7!r{(ov@pr&XzT8(9DhCIw+&9tfS4|0 z58*NkLw}CS@hpaLIEZ1?{CSD)c>l7qd(_K5#((%8eqo@gsFU_69}$wj{@dk5sZoRJ zpbsOy<;LzV8j(>X#*zfjKLi!Ev#!5_$E4+3bkhmGg{UwSDGQ zdYQGxdfYyI#`nhmd;?e~xNX9XoTO)5MVUcGXeaeVs7PQgIjlUPQ{T?lSEXDHJUK1Zg>2du!aOs&1DqB`Hvz=weNhL3%j9 zT9u14mm6o-HcdJSmk1|SiI{sP)$o=F@^@E|Tig@;H}z)py<1SYj8?*wbo1y(-)2!Q z0Zm+f(w4(S9DkJ`+04U{GLzYrDY*IS$Y141KyBsO3Jb7rW~bSXri*3fi^r;W1&?!! z2L`PdR;rU*;kn?dC_peYj+>2Q{_;cw;84xB!_s*^u2cly)mG!G9eD*-|7TM$3s>JZxI_uZ5a2zE{AHz;nqQ}4*HJ#y3sZu0d8D)tpF>2uv060WS;+hmJY2%ulgT8FK7LIZP+ofJtK>4PHm z1+gsLvVZ>>3{n^-3e`{$Z}IF@13mL_dJh-vznhH#0#%ep09JJ{s?G3pL^l(`OT)j2 zO8|Gt%1z2Ix5w+gfv6xOtm-!eYC^04SQVe#xKm@v6b?+c&of1T%{Tx!f~IOr_}8)G zfIQE^$@;f0_!#XyA>ml<+K6`|HP?XzJnf4Mn}4Z$BjkbMrzuOqLE&HR*EYZy;R`lQ zBsBAy9Bie95WIJLGLdkDV}WsQsr{%oov)=qT^uMdH3LsN;IS0J1)+!Jt)AeJ-kMOEw41saxXuH- zDEnw!KT*d4E31v$M7b+jD0?v!Ne!kN3AMbh5zNr3O;xPQ$-cWejFtDJIRebd^09Sz zXN~E@NsKoS(<>}1`cNVVQlaF&_BOy>UVoQSN0Np+aE-HDtm5>FHGS9;5c@V^*tPW8 zvyp$47OjJ#>4lu)B1vK^F7pb;fO~OEmy2l=YBfMtnAN8JeMT*9x9qA-$lbxLk>_TIcA|%Wq&Hv z;Y~pVW;*mdOg-N6F1PO4EtHq?0|?uz#y!=98xoP!w&c2=1kifOV8|R(lJSNfdS8fB zbg8X#@&bLC0%~Wy3Zf_3p;XB;@d7}nE+)=HSc$$!&8aJk%yk2?m49NUQvr^c0gbk1 zFrMD%>TD1gTVoLUvdNR*@TXUBxqlk2YxfbO*J(8qBJ-=K*0D6vsniP&Q`}zz+pxEA z0{7V0eFNG=Mm<-JE^Ssm@}aMaVPoAGTc0!+j3^v!5xc3&F$ndb7-amsXk1+W5SquM zRmp}mI97ry=Jnvp8>h-pLN^;Ee*jt-=pEg>D$=zk#(4ByPT`0(o9_X(SARlF(&m$! zhw`vClE++1XDcd-(5ckom>5&cwO-%F1&w ziDQ6kqaOvu#kTPu!*~v33M5l@;qHe6*V5>^6s@k(M6aNGO`eqTo?z*---KfM-_R_ z=f$zwbib|O3$M_^#(eaaoS%zs&PALZOSQp&T+D-1hqV?pyCZilRE|r`c`<_A)twF?s*;6%Xy3z zG9VjR(b97!>;-!mgF0HEg6B^`_HTx9eH$kV?*8)2!IZb|vuApnqanf8>A8X((lWAU zg_UJ=F_c9TRw{BS(tp5^`8mBo!FXb?2|G7&&*0J#@Q2%GOJ}cS>j=sQ+)XYLdg(;?0A{tbk$RqJzVn@&kzz0sNdtAASLsrwdoE zx0xp_qQdJr(|vS-EUVQvi9DopgXiT&v>Yv zj=Fn9CpmB=nr|&F`v*RFTK4bP%k9{;%{N4YPK4)RrR%=Kw%|qzCk)jic9ymkd z7Wq5nqTb-MQyMZ{8`*i*Lj6bA@qNYX61??qpnI$6(ks8}FJX%*DSNmoJ(t;+?|yb= zR}DWCJa?pN7G&ddwZcn@c8(k3+t-O3t=qAKaP-KAu8?IU!@Bfvmm?|# z$F2{w@P9)TOqo;cQUChAF$GrVm@zJ zv|XO=x8uVs`UEd*XwGpC>k>ox?`BKFI?nB;*UV@^rGyWz%CI_b*J#Vq1!aWPp8p6_ z0z93n?|?$~JLc=T9XN}5;P0# zb*P7er(Uho_Ev}p4h}hV&gp+>LO5{r0S{y)`0b=zpgtB4Y0#223KEpD#!Ic2k)sC_ zhuF&lhuF&mhuF&nhuF&ox7f=EO*aBEGnZiv0VsdHTU&G6x~_irui)c3v!|hWCujET znIuh`u3VZXO`B#-ADl!@eCpV#?X1=AUw;5n7fP07$?e`VtwKp82z&qm5R_FSNkUYj ziPjAM8p0B1q2UNKoD;AI^wSN{$p4L>TPM z6_I~JD`*%ZwSmsu5$PDb5)5ep9RW{~m=e&>I(%h_782MHj%a0}qhv%|lZ=!U#CU$B zB1Q=4BMmWzV;@J1Qx=I4%RvIA1hGGmhokN76B@OiB_!bC{xKYru zz%vKgp+D2m59Z*^DI!2<#s%JM4J|~K0lJK92fYD9#x34!=php9ZJ~$Yi~~IjEn)SD zfm}=|oe+kjgb_#&`U;m=A{g|O3H0G0ACnw#5hw?MggnDosX+#b)FmpA3!o&O#Mys< zD+Roc1W3w2kMIltWS{_`C-Iqr7BB=Y4J`?l0t$wfve>e~x$;yTs2pfv%i)|zDN(?w zMEO9v5kpKh2fGAmu;t}K90Xv`IF67g8^;lf!R#I{TW z5LlQyz=$zBwxO-8*ufR0c64^N0-uB{_dP}8-{Lx|{YUyz${iK%BIw|7LbDz8Po^NLv@N*1)S7kZ&2(Z!8&HW#=6p~`=LxI;2hC}g2% zLFm|t-}@2%nF78gZ8(|AGv*0?gw>MS@MVPf%uLW%stS*QuzMJm=Ny$#I zM3uFzKqaF(AW8sHh?Tyd^B8KLHNzD$nSyIXGDahoNJ)(jjt4#YzYIM>tY3Uu(K;+0 zn>`6y@#BiV;k{JIhx8+4*~`BR2!(cbMJMske~##fpU)|whx32g>UFxjTTGr;^To*D zpN*g3&CT)N?#26moSa_FpT;wmyxN;j@1etV{IDc4^xWH<{~&+9l8{Ke;uyI#hIYt) zzKrPZ@-CgN03SV~`{U=Mbn@_+-QtA!?iF)D=-=RwALt`}{Q3Nt&gg{xAN@wB^oh>soX%${eWuUjMLL_NUss{E z@Fbqo#bka@7j#LN>0dB%Ir%|XboIDMQ@Z+lPG9I>^lyLqgZ`xd{@;Mm;RK{okUk{j zV)UTfPSoxT46sGp8kj|V?i>1+vegWX@G z4=>a4qFH|dkj{eTV~Q^!XNLT`#9t;c{7D49PLdYzb&S1WG4{8M@m-q!2!GKsZ&zje zX>woQte&ed@F6g~+dscKKFDAQJZ{1Ovh7#g=T_2ZR?*^jRTH$L%LHHHn$K`ZT5-s2 zFkkoY!Tvtvw)Z$G?eBRx0S~~y;vN?1c$F@|@+N<1aOraCZSJ{T(2K`8+Sud)hOWF- zflXCWltWN_e{yp9@sA3MrW-_-VF+8D--Myztr(6yQr~FJQ1l=#_2J#o=i`cqw#QoW zGP2}9FC*H?iT6&KbriPo;LRXdz<2LlR#hAZdF$(Uho_ep6&&0K99+I$AfNd?IB?sF z!+n26Ha^HF9vq*X9)FB-fKIujNYELgFJu^ucodAG%oO{Bk_Ir{g8Kgvs(79fKeB&huNk@)194hnRo+GM%QY zBA>{;%l#x>q|3>&2y^Mv{doCE(^>fQ{bheV#n6ZUApCuumQipzAP{zBAIm#8q%`O-?tBXK)vIY*>ZM0!7*doBxt|S~4T^sx zH&@4>4~}xobT?#J4~7+Ju^{JHpo$amDrB}FWaxrgAj=>^qs|j&6nkCZL2>2ma_{Zu z>s;UsQBzuh0&}c#`f{)QWr2RNqgb+R`gq-Z|e=4_H8=|OGIulvC z-=t%sJ4J5wjdxL+UwFJqrau|#)w+LD{f4z9l3^*!)$7+qINK1VVMCqcti1cNzl^i% z%4+u^n3eme4$PwsRtx6kX0{vb?-|_dVPI8v{cFGva{T897q9nsqdX$O(`Mi{OCtmx zP*e=OXBrV@MoMo;BruIQ%67BoMdq+k2XQix)}sG5Ti#AJRfBxLNZzL|AqIbiqU%rR zf9xKWZmLs>*5#|m{F-BqcZFSk>MpqDfb$c5sR}wM1l=5dyxuzjK`+O%<;JWRQtDR% z&uAr{6)`2-^Lf{=1Y>N^+85gGait3LaV<#2&cFw%#_g>bR-xMce08&%0kkPzNr+bh zw$Ch_4E_dutm(k#b+)390hNCX`dE=t4hk2a-@Q3|^Es1pQ?w8QrNo0=JTYcU{j!u! zcUr;g!gC#$`mahm$VdNie0KddFZ^8oe7c=aH`+e#WPS0AF+6&UWQJ|+b~{(^N{#iTp$;v_@icZI?)#QIJUCp0;fhatD zn#^F6HA^4H=w`#-C^%&l1cu(@?K8Oj$sM9pg@2H9z54Xw=& z>fZpq>L?jy+vO)dATYkGfneMHAED5O8&{vD#X@9HYnUJ+Cc@}Bz_=lhpuDCm4PKUsAj zAVG!=V%qEgS47&?yecA(3+bGh;oH`7Z$D`WjrG8&2078I51+5Et}~%GW)6yB%)rxX z{CtT;D_B+Q8>&*@;GAz$H4EY5#Md`Mns5s_ZE$KsQr*_=URi%;FS1=sK8kv~Pk3i9 zPq*n}IeC~3t8#^UR_lhPsc!W$yN8+X=8Lqegrx?#>4VpAZeCygq(cpm(W_R;@h<7l}6R8x9d-FIg$K$1XFn&Z2-^{lcJP zmxW`>PY!>4B>}&xEY2AE=`7Mn{uV$c- zdyEk+scIM3n?4Arv#jbYGZnFn-z*nAJF~{KS?Ade=Xt~Nd!1!dXBktcl4Tab?2;ZV z>tr~~8;;ZKEV~UX>xgCDhh;XL@--dN?RaV^)( zxypaDiEx%{Jj->S#c-ZCl?Li8ubXqkva}J(st?C0*DbJyG0ah|G=Wo?b>=mUmC^SIJ0qmxZNUtwSOH^=XPz8In$aUus+;w z5xLqwY^ZT7*Z@oD#jV^X1#9~}pw6x6&8>8{54T$ctoAeYI=5x-=7!B~_F*rX4$+r+Wf^WQqRYl}>`Z+284ZnueKZHKY-EQ@tBo5VRwuQj$s zC~G}ature+nYA&meSEFmB9OJ7VAK;W(d}wuD=_O;u$~OsEy7s)$wQsnHFqFnOGYD| z=)*1l?`AYi#5EA6V<%sUjU+{!%1osPn zYLsv2jwkoN5buZLkDbHcPzfMBB;bUH!Uy5u1I;hn%)!GaM1+S0OL#CZ!b46@xXtDY zad4|SMELCm5#ggVu-7n$2&Ew+LY7KIs1bC{q1xt<;U`)|W|+wEl`j0vo`-+AyJ&M! z0G|slGsZ&g!~Y0>oyfbF)pRmLI^JkVW&&t3{)hSgE=<8>F?6z;rufVM@Ol@&1`W+Z zzARxrU!;HepY_L96h>z!*M79>9Gxw~v-C&FQ;n7^X|XO^dCUy7n)yl!T6sRuLQ7R> zi3VEPmtUTi=mGKv4fv$RVp_sA(JIk@=ACHgTZN34YM{kS?0F~lNdB z(Sa6gl8TpTGt)V`f;MkLo0VuY(MhX-v?d&sgZhRaKHt;pcM=qPju@PIQcn;dc$_y8?WF>l(>~ zkqr#k0&3f3*SdmL5=Z%hI}cU9mCle7wb=^Q*s5l9EUsyg&=wFI(=jr(dD~#}roh{X z4l*&`P289QZ|xe%gpmz+>jH1xg|~`1uocrZG2FIln6-eT3%GS{A+UI^1_5;ew=x|g zW4Lt#+^T?EiAFMhWD^5rsO*eqloi*lD>&uMd7QN9GRrcu)&eV!t)eMlm2tEdMk^yL zL9{7`mLaqjL91k9xSO~sqh~F6R>{QJH$~1eaMt2x1?{FdS%%5(C|S{dywNR~^IFT# zMw;Dj8At13G`7()Sp7dlTn&V`e-sE%1}8B%F)=GJGAA%FCn*XqO>bmGVRU66C`39k zFfukUH!(LdGBG$YF}L;_2=xe3K|?u4Ge$u&LoqouL^nf5HZw3bH#spiHbOW?FfcbT zJ|H|nLpeq>MnN(|F*!9vH$z4?GcYzcIWaXhLO4b+FgGwhT?#KuWo~D5Xdp2)GcuQ9 z4FM>BC6-xiRaF#*_qx4POG`^j%TOrLQlKqEnJ1yJnJF`r8OorE28q6rV0<9Ps4phI z84V9;SkXA4CXkqDVh9owWvekn(C}akA-*WlXikjc`F{HFWv&07v(Gtu{cG)pU?(3G zg83$}84MOeC?NkqT&kL?!)DM5{s5B_&WsE23$Y3aFxu%%72+ zB&`K?XpLwmNJoHrv?jFUqzzys+E}z>q>Z2nZ5-M#=_t^QHVN%0X$u&QHW}>*X)9<$ zn}T+jbPO1a)`@nAbQ~CuHUsS-X*-yJ)`NC{bRy_L>qFa5Itffhn}fEGbPDK1n~%1C zm$VB^MSBEoh_o9_LtBBihjcpNHKM+EH)#*(MH`Q{i?k2SMC(A?NjeM6Mw^DVgLDq) zN1Kkeopdgkho-7ESxIj#OBWrkbxM)dCyQHlXP?JzQ_4 z*VT9E1NG(FlHC?UqYSKF+sVDNfU2r3VY4%KD5F|F0@Q;BAdjo6vW03cGsxL{EY$z0 z zO-5QsR70f6HDEUMggybQM5cUXtViZ}90i&|3m6UBL9K=RO}ecWi~;IyMyazK&Qi|3 z&ach_t_7IDae|pWs|6+kCV!;uBeOj+%p;bMI45?8V2?fs`5$LqpG{~v>S_o?87!W+Y~j!Rs$wiTmzU_aUEbvMJ7_j zIgzTy6=rjnXi?7O$eA1m0j7!Dz;>_$;2bXjOyktU@vc`vg-iB;A+Q(VhawuIj$i?rCobK1zl$k6?C0ARM4qlhT&X2trJXNM4>W$ zAk}iJm1z%jh%o;IoO1ham)Rm8W7Fw-3@%z9($NCSs1j?WSs-PCsff1k{G=Pzy5j25Opc%A) z(V!KyfiYk#7zf6Kb}#`<1RY=!m<*ms=_b9|}1)GzujpMNdWwq3^nL diff --git a/paper/ltl.tex b/paper/ltl.tex index 6a2a120..a591631 100755 --- a/paper/ltl.tex +++ b/paper/ltl.tex @@ -47,7 +47,7 @@ showstringspaces=false,breaklines=true,xleftmargin=.5em,xrightmargin=.5em} \large A Transparency Model and the Lean Transparency Log} \author{Olaf Horvath\\ \small Olaf.Horvath@zkdefi.org \quad ORCID 0009-0004-8008-5805} -\date{July 2026 \quad (v0.9)} +\date{July 2026} \begin{document} \maketitle