From 3eb53b01955945a000c50467bba5baff61448a6a Mon Sep 17 00:00:00 2001 From: mrwulf Date: Tue, 7 Jul 2026 09:05:35 +0200 Subject: [PATCH] paper: final subtitle - Where Deductive and Cryptographic Proof Vouch for Each Other Chosen from the shortlist; states the two-traditions loop directly and drops the jargon. PDF rebuilt (4 pages), page 1 visually inspected. Co-Authored-By: Claude Fable 5 --- paper/ltl.pdf | Bin 413314 -> 412316 bytes paper/ltl.tex | 3 +-- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/paper/ltl.pdf b/paper/ltl.pdf index 426729fcc89b0eba14f4f200ce1bedaa2be45ed0..dcb96fc19ae54122a605f9be521b81f3f85211b9 100644 GIT binary patch delta 37445 zcmV(tKLrwq;%znT;+ue%x6zePxr682TWFXt7P@>uaXyj zzrT9*&0C$Wgo~vxdUbWX5~+$sqE;>uac0xi)pqqEdUuiO=<40;i?wnldRKqsdw#mQ z$W+wi`}UAG#eVbT>+8FV>#IL~^VW!!fKiN*IPzK>7*Vg*0)90Q{Of(u6wpiB=--O% zanqF_FQkinQNG{egNuG>o(^4o*W`!$a>I3hY3hqLRMofq{8W#!{h-gk{{3NF+?H|Ocy>5D=>B1?w2FR9q@5WXD`ix5RXiPI%u<)cLS{g} zik0&u{OMRdG5yjHezxtr=Q>u}^3F&Fo9@gCwl5Z8Z@#-}yC&asJh6Y4s|@Iq7CR(y zmcmHMO00Ami!@sqo5WU&)zuDq{=C1CY19?a`$9ytrz!2J(h)GfZi*eh9AFcn3hJ|{ zXj&{Z(T1c8YBxpGmA5d$6IVc2uDCt!K~m~HROOZLR5xqd(;3p>*QS<9Yl=;`FIt>R zSQZ}m-4=(cMk1bw(k*|NZYENPMJRMBw7*0ai|FRqaRt)`4^7bmS;wj?_jf%(azc@^ zu~VK|dD|Z02yL*xPNEV?(;_N99cZdz-=6pf^9EyBOz_)7R5sqaCHqt}Y5%FDfPPKp2;+}Fp(4-xu2kiuy8MHPsga$Cq4 zc7RCi${lST2+<>Ms@DoIT=8jB9k)Gw)vj)FYn6%$W`Fas%~q9`UwoLYawwBUTiaA{SPAG>;A?`q^1z26mk+>*|}clUY6PdlXM*!s6^u_?C& zKl6$*T#>YJe1Jfb;3aBw3L3{tVK3#Hn%G&!ypUuaM8w?VmXyBI`ACDE@Jsfh}% z0=8|M@`mNrx4tjt<6HYm)6XC>^a5P^CZtIWWU zMLp`bb@*B=)2}NZq8UZXBx{czOR8i+}T7Zp+m$+QL>r2ig-LH%A5wXxw#0+vTWz+XW7j za*;Y}%ey_U4Tr%l#jaqx&@LQQZB(3SPdy8~azV8^*W(TwX)ZV^oR-T;CqPBcudP?1 zcoNFr5~Vj>{T|s$M+jRr#eqj@%dQ5g2g$(gN;7|0>=LCK%HWq3I1VHG$zZO{X)+bv zl^r+O)Vp2T(a?IVc^xP*YVufi_uQ-a1eTW!ITQm2%7!1eyyDHVKNm?hp-pD7P?~8A zEHAwN%s-X&jvw2iYw;`t(D(s1lkEj7R}nD^Ysy*>zoKFeVkjnb z0H}WyZongzp-AQptZ_&76s_GJwBQ8}i)IT;#wH<)N?*P!D=SbldVM@Sx++sK=tqC14>|2E4(Rxn4jjLh$NK(t_Hnq1-hXy+l9)`EUAzn}-DiyI3o>Scz;RCX4pISK1Egp1jNuidcN~v;# z(&R-+;_+H@`?A9eJ zY#Z$Z(t+2+MYmpJ@OjAlH-laG+pd2T8&nHEZisJOif0KQc6rBZFSbi`ffJ%L&#C+l zz#nO7kmtaJb#NZ$cQqw&1^{3K;71Qg5!P*>Stj~wM=@g>rFuBp4nF^ zVxv44Z`gp4@&;|WEz!+D&b}Gp*Tgd|92P{pd~g#~A78cn*m+%%0JHL~FU)_NUIW9v zkY!yUEXiV%sz4Y52;4A(Iv9U$$~|E_dOns_$B%q$@QFym2X6#?+aI^m7?JTyxjR&B z&mBPfB}tQ+i>-7gNkb{`@d!SGi!kuWumF8NuNMkm#!H6>LNCtKHNBk=6i{I= zV>m>)Ta+uE#cAUCHWWl36lgEm&Yb*`KBV->uu=wC36tg<&=-UVtDF@o)D|Dntr8L1 z{lFYIp+dPhHGw<48ulO4aNymvd|!9`fQtX7LR{M3Uyk~~z8$-&WWeQuf`G0ll^pJH zpsGJDVN)qhoMzr72Md3304r@6^Lt3go8$s&fQO)b;IWrpd^rK^Aek(d{Rnw=R}-LH z!t|1&W8TRmEC-}`ATPt3Da=7T*h>(Im)8<#;HOFf%1Z7~hsM4sqcARE4`~8RCB`*F zG-zAg7W-}N?ZGG}maKr$F+g<=hJm^k0)*w~{RL`myex(DtMZ-{Og_ zn;q>Z_+a6X3=k2Ovv$kE;d6rk71T}xRM2qa&vn5q?omy&3&$J0gp)elk<#;KDqyGt z!&yb%u&cr)AQK%(F(Tl@K(-U!3;1o1Hz3@sB1#rm)Ztxu3&s^NV<5(ipq`NOqzi}a zD7NbxQaft|mVkeHg1&$=!GVgBDR40JiO>|+O{G75M}GCYf8pW}BdL&9#wqUnaC(uP z5h)$C10R3X?)r3aLy%&kBPbXUH0awh@75g3W*HrmA`(Q3Zrn%6v!MkzRsf90?XG#m z_P#vy=YxKC7(_#V!H24_QGH8+g-868H^H$P9!GCLD8_%a6h6w*lM=oUNE}W@HkM|T zK)+*9btt{ipoVL?Y_M&@ZyS`-t`+-&-_Q0<+E^uGL_|6zR4Nh6RE`>5^XNN_M`mOd z;Eh~#q|Pt9EteLZTG07ko!wwy2BTNBpGm?|4lZI&LK((u`Y1Pt$FeL$!CT)LO;m<@ ze<2V9ZHj+SWgBA3=kAEHX9jf``2X?h)$gw+iqNGbZJXVz57)_R3styY1q*(phC5`N zA){BVetGp*P8JENRwm9U=6ky`8Sq!EoB;lspeT6>GFid7cCbZ0Ul4q83n*X7l}*9h z^TPX|WEHJfA@IxmDEI}A{q3=3PbUc>5_m!h${T;*vDl&9gTiDJX$c3CQiR8e=qN)0 zk|71c_4^&@lv>3$854T_#!q+O(}q!rWdsEb0^94Y9}02;yS=#pLLc@u{ybL2_Kwz; zkkHUUO!)L-2}j)yIj;^~Gb+B}#ZvYm!2?H?1M}g>*O%MJ~) zL<@fwO`!%-u)0*nR(M-F2&!fJWQPEvT7alm#4)PyNdb5Uf2?RKk4G}h4H1tr!wV+7 z!Zo3s>>;)6F?C|6RJkO!)}PS|o$Q8f5Wtr0YmRu4Z%YVOor7U2JV8yf{0je^Qw4Qh&zY5HNertsqq-! zJTocqAr@jnY_a|P8BGF+M(gnay{p^Z_ipSk--m;_MaSt;84X>* zkXJE7>FFgWqe%adn76_9*+C-4#z}vguGS*9nNM#^ZkDQ*#+b9hR^Vbdz(v4xllT9umsPzpqz$5@t*xaLz;#YUZY;=LS`44 z_gMO%o<fR-Fy-V6~5-;CuiUTDhQbT_UM#YajL(0KK z@_)d!{;GXWpta3Fjo9&=?_UZm2*T^5KB!YTX0!J(6((gMk5iqbjfjz|lQ0%O)x<8n z;`E&c9)O>bSDX}61W*Pyd;GLzKPwud-;W#tP=kvrYLbjmEMZgDd{~?4VWE$Vt`Q9c zB`=1xBb`1P5PZtH;Ua$y$4e=rulZ+@o_2nK>-p)vpLNzu68VUe0Q)i8**=%sZ;dqI zrFrk;SDz9OK|wbY8FP+>J)WI9%LFESHw_paOmiq!f!Qg3=HdCwfgo}OIB(hw{24q2 zUe-ItSr7b5$|%(XPnX*IOv%wp<>?4gb?-G$_9cr3(2Zy4PHBJdDUj5Oh;?w(ifzD3 zO?|w(_j%o=Y#^ps_w^|uI&-PP43eokpD>`niWmN-z=JdN5Qb7ex;hmIRw+1#%Jt#5 z`vU%y8&1lL=xxa`3q8APaCd_9?jak5dw)8FA~IrqL(vRODV3bOXafp|H7;5JkR0&# zWeC*XEgU?7xI=$f1ApN-49?)ZnZ|n(CLIr+&*3c-OKTCC>C6WbW(Nkyg^{mQD{#n# zrTc8cTK;k2=M5Lm&L=U}W=0e0xh0S65O}+GvKUky*B8PiXptlwsBd``JFDaqfFNKK zL7adsUSaB(Pw?^p*1r$(&nBpfclD`P_eS=iDt{Sgb|{DK%cKoa1D_ zI3;5RXdkZ*h|G)i>3UT%0@t(C3k@0v$W*Zvp3LX4AYM?yNagd_QxVGoCr9fT11(8+ zb_SRH(2?;`%I0)CVfF}HbBgKneSmO4eR`L?GCYO#dQ;_e)g|O{!{www)CS$v?mlQ0 zBnlJx)zN>ymVWT21eHcmb3vi?7jvfIVM@ONUON$PT=_dBOS+8lEz{JLd5?Cnstp%< z>G~^PL7;@G_i2mxE}pa1GKnRK?;3tn;T^nm-j?Qkrf*))D<(X8H~R%S8ESzsRv-}? z+yb1A3boISiizQcQC&ak3LHcQGO`wMN{v6u+5CSZH?QX}gM)h69jj$B0&|vD;euM4 z4xD6B{jfalW`22iH}1a|3`F_@$NrHaGqO3)z_QH}EW;U5F~dH7%ReuSls`Yx{BBDO zizG`jB-Klk-h9ra6H$5nyl)UrxXdzeWmGUV0igSXn+|UyDeE6VYQEi@JoPg z3%->B-EY-+${$}cfHsY#nb7%qP5_2s6E|JivM=&!)|eu`maBmUlrPblfqGGs#eMx8 zJMa>^O(t|cEr7BwBgO#z7_b`+{Vf9{@UVYCjXh79a2 zRV*%6%#1ZUVQXMWEE7Q=G2xAHY&gj7%|<;xkZF87hlCJi$uSI_12h^o%nV`g<=jTB z0YIgI7D44uT;2yb&6fxuxFj4Q)tMeA^cHZq9^vq(`7srJCp9ysnr_pe(V18Ng-d?{ z*V&5kTI3(H7BxSndTva=7_vh%4gv@~xJejC6`{RMW*q}Tq1LsHmG!dlX(l4B!F@+gT2b_)d^*r>SBNqenO3%*mN6<@apCrK*cvx_b zr7>tUpUHx2umjdivf!hY_hV_WwY`6cFDxJRS!QOr04P|XaDC3MWkW73Nr3x2j%J_3 z(SLxf&l+m>NWz|^8V`|@;YiM%1r>|bVl!?22;%>bo`lb%_w%%XoH+?;8iODBc_%?R z`|L>wV~tM2TqEgA$}xj=NAmLvnB%e)jc#-Tr16`E1_8Vt(J;u~hE@hz$q7d=6C&a{=4CKoVnIFn zP5dtSY9d7Z;UV{Ns85$n*CXZ)%hOe}`MV>DqrmQHcut4CM zMNQEioA4>+{M{h%hBPRM(NOin3+{hr<20Mhj~W6$^${s&w4Y@-xK`P?`wLUjbt0q3 zefUcWyc+4R1K{%kC9J=!NU0j&ME|Kuk_>N9oCOXHJ0Y4@~ z7h^cUPYZ%_nilU#g7$wN^?FeWL1Tp;+pyC~KJ7_%Uz%PEw94Xa`UOG7TrFR~LY>uL zC<@W+t_+!7{I3JMkR{_UCKtVOqkwN}mTyy)deT%@0^9Vs)8%aXSvY{t=_CftpICOq zx+?sC1QAi?|AT~2>noqupF2A`c3P7|Y^=AB%i8HVC;5w&%y55qrh!6ZOz_+%fmloT zt#*`rUncR7O-r8#t<@-8rOtw!U!0~FOC&s>h(CGBa~U7M1v9~!e%l?V*S4qoh=WgL z{Y4SJB|_qaSG4)1DsQ`XEP;cI3}xqa)bMUZKki*q9}jZ@d>Ko+#P-i5jC5V(1#z4w z^8LIlq@&ICq4<9<7pH%UTOVs9mQZ#!gl8#z^P$4Gxc-`%3fxDrHPIuCN3>RG%F5aYyKuEBWc%z0sHx;V??pkR2?wX%UUwJ6^ z^glST%zxa>Ip%`v@k6a`-fS1|t2#m8(@*Sgbf=O3UoVws%h)Fzc@)D6{+BlRzXAM* zmY9HI+}1IVn)%PPpL{B+o5c*n?<#r)+|TP3GvI`F{D}kovo2T;OhfULL3D8Nsm%WZ zE^Vv3gW(s4;THk7;THl(Hxe*4H3~0GWo~D5Xfhx&Gcq(dlL6Qj1T-`^IhR3z11NvG zV|b+7wl>_cZFMTPZKq?~s@O&+>DX4sw$&ZmwmP=$bdoQ<_Bng4z2EcqyXvZX>K?r3 zm}8EbKZ=YO?Wn!jN0-Cv48#)4*=@}VWVadou z9D#<;7IwCxhR#540Ee?VK;GE-!}ou~f{~F6mJIL(XbW`wP?`XYJOHvlXG0Yadms~l z((o^!VCUpaXJqK~p$6KTS=a)pK3qiX>^&SU%*>tt#9*PL`xEJpw=g|G%Fx)#&dtfn z0$^xs0+6DYr3c8_xqS#N0F-vN03)Eep|vT%&J>^m)Bva|izz7sz9`A7Dky(b(SHP1 zcCoj&bNnAJBFZYNUuXfMLUJl%0H7Kz;ESrV%AZdapzQ~LGg^S0%7^|>o)5!6?y_Pk zLMoaHVoVHw)&O7vxB?xWEdHeZFK*-?%m9B=`*1aNw6pmu0f5rn+1Z|(fx*qqjo!?~ z$(i2H(Tv{S`Y(Pe<`zx>H#>hvE5OIo5oitkt1vFMCLiT=HV6JIz@J?K$XFNyZJmIB zoW$+^rL_4d<%iRU-1* z;^g^{+WhCTjqPlmES#L3{uL1jFtxA-{$cO*XU{Bb|B}fH$w`WfDXY-Qd^DadovhtQ zb!_RK-JSok{u56~RE8VC$;b|1;$j6bel)3=t%-=8jm-yZC)hvb6SerLle3+p2gCo{ z*jBc7Znj?khr-mt*2I7GPwh=y>={&TEgW2clA`}({vm?>TV@7y1~3AE4gjFLu{pz^ zgn#wRA2HJ(@kb%Nz3lDm0j7r5PC#!9Q{cw~*2~Gz6$o&4bOCyM{ZsLu2$qQhU}9nH z{L$(k#|8GU=#sXkb^xw_i9eY9uj+rAfby@SO7(G0P3&x~Jpg|uKvP%-IXmZ%mZ1Fq z=cN5tE^!xYYdJ$3Am#s4)BiR!w6U=E_)pXSGEoQqVM{4z=V)VS{a-o@CvgjRpoxNo zv$6TVO8YOlq_g2i{|nigSpz?|$KucU0?;vWu>F_rqb-fCY=KTr z09Mw&RKSly{1<=YkLv&73t;#nFQX)%;?{ziWv`PBc7xIU2K-{>QX@xKuh z<3|{ie?TSx1Mna4gO2GxAPa!O>>u!hp7}o@8-T&$AMj(D)_+5$k3_crfFFtM{sBJ{ z+5ZE6M0Wf)Wcxr)7ViI0f2`K|Z}mrHXSaU_`&h8cKi~%u*S{h2M`n+IL)H(aC(!X< z-v8Mg3V(kF4^d2LG+T{c)jwT!>04O`G1ZY& zcAjQ2>r8q}T+3&G>gcfuS6k;(6!XM8%5^faPFc%pE`(d*9Mey9M{88~C1l)oyrrpj z5a)mQC-j&|!ych!>RE%lV9Ze|Nc-+iw1Wygb5w!M=V=V2H#E(#9vUGUd~$Pv$J zzHEwA=FF20$~hRN3Mo@SyCetZ;l^+0A`d;QPykm^MOWlz-oeTd-Px}~Ks>1%(?tx~ z0rWHTH{p;tswM)8>1y-Pg!Mt>eK3Sgx9g*czl{Us?D>&fulNJ+QzfW%ax0jJ?N1D#!z;H`jT9M4AtEYp$p42?|Iok*~ z;SPsx$?IXxnp97}>1iLNC*4a z7zK|k?uvd{v7;8*3a7YLk=;VdM?jXyNXTAjp_1(_Ahp3kUHn*1bwm+}xO zgCYYVDJrokN*ukq6#Rkm1E+u0o412bV-l5Q^e$&H&F?Gn3q`Px_I`06%?aEs1wBBi@$P?j9#sgd$v@~*-ev33!Jz(o#sJDfSIYc;3HnVHlJ_} zYJFzvDkT)oMpHppZ-}m5O_T4Xb3wp7u!nC>XbmkwCd$O`yOd4@?yrAe((FR8o*)t$QEqL`sDv7b@4A7X#KlF3If4btECy&J9H z=xJg*X46%cOqrqGip}0WA%wF8pWvR*rGCqB7#2TqJ5#lu!gMK|(;sRFKYoOFF%G6e z7oF^0yrOBSWfV`YgN8-Fvz<;#Ux4@Z)qZ}IbcC2|*GM(H@@+xxxxnc*%h0MQcsj4u zLreKuf~P<}xOIOazxHl)NP{`LGY3-kEStjRdO^bAIy}|o!5+8}bEHVsOKwigIq@B; zUYnK{p7|D)g0x$+3}0w1aq3$rj5;+eGpc^UVuX@5nNi#bXLdkJN-kTRVM;-i7(0rD zY+gcH(GLc_(cxK!IsZW^ZJ`4Bg@}s`>Tlraa4l1i_s*>>V+0ER=C=7cePRrtW9g&{zO`ICRSd-Pe(;g25B1r$CKn%1jDpNXKX zAX5ff@jucEExP~sjD%nLgApw<9qf!jEPi%28o2;IVT^tJd(r?&WGHKV?utJXqSfuC z%CShjm-gwIc_in2xj)@cXV&(?G^)F=s#XlmVee%(#xLW3$O@H`9o>avn_Ua-?(%Jw z3_5=-L2VaxP1(=y{SAwQniHu~bM2pi)5N>-Z%XIy%31t(%;4c??U1h?Eyp!FliGgE z8MCtJRLi88ArPUgvYt0G`)wx9?t?etpx%`Rq|{P!=L1P9P!FlRByM#a^X{0G%*!-0 zu>3@*w_iX`Oia7iqwd9*sjk;)C-z%bU>ko!D#1NY7HSe}klz}=8ntR-d(U#^UYA?`=J$VS z$H^F!5&16QHbOr?HCi)ckUKeuMRe6&n>IKa?A5$_gr{{#+v!gLpU3qDWAx5sCCjVh z?m5qR;3r9yoHlC%L{2V0Q_Md1YsRiRKb#tolsmrRs-ERAYV?vmFi9ut4gX~FXWgNqVD>bueHk55u|41O)P(qI^#w+z4V zsw>|Sncd;iwM&!3Na8Z7bY@rVZPe&+_XUH<)lYtDcbenkol%(TJmeC_7aS@D7ELOwu*~o?!{$% zRULeqyG}>TARB}FAmYrf!2;R2B;n=PR>=I3ubnwBef{Go_U&~FaBKFFtouz#6=>ha zn%&NHV>p_L6*V*#QVJwQuX{*l8hhz&_0KwP*N@n1KHG%%_P88I*#LiHH&{B1stY{B zl95D8Rl&6qkjR(Mm_jwwTJ!kd@`&I(uXhAqRR*R7cB_KTh-ed;uP#2RVAZOAvj-y1 z<(uOMPTLEm6J+}9Gj1ehoJc-&b7H-5c)5(1eAjok_DEJMe_CHD)I8gSnM>bzt!fUk z6ra_6kt5KB`C>D6y-0tI9_ud5bZmVc=3npy)N<~p7me7B z#O^H9C%(4mjKV{+glCS>RQ5-bsiMX%8sC-9E!)@qRY@|gvJ)(%;?uhumn>+eU=({i ziU*P#cT2FAAPkDisN1A*5TkDXJ#EaaH88ypC!;3H&~&ICY#9%EgtY=vKPddGyW4U; z7dt#$NNs%9tHghf3-J3+*G;iQKPjQ#CI0H#Cgddy$OJJb_?^Z~fuljLv$yJ44$2f9 zBYkh=nM$TKEB1>Z33aS4>d|LxAX65RTMEin*A2((-dV}N!^I+@X|~RALh$--&*5Jb zF~!ITXb{JBoGRN3Y=fz*TEXYtpXZz$!+q{PVKa+ga@c=M^o7?<>BZ*=jFX5E#^EIH zYPh>VJVkPzjVx5H1#D&?6qbUlu3 z+M;Fe^ALZvMiPh81|Mu1U}3{g{|RR?L!lfT)I=`eOI98bhel}W<`D0T;UUwJmy4bp z=z|+k>2|izZ+A2s!_sy>8AUtUmS&`3fJ9ENnLIo+a?DJ}PYg%05o{TQ5OFmFco)A( zMq6nQ8=p?X5#f>W9vH?Y^nv{S(*whSVL>#3L^ywPErulrY!2cAsE0l!NfnAL3fhkPm^dRe?k+#3<)A6(Ba&%pQOt#Md<0d5R@j3J9(Tyk>Nkd(0+CDQ+mKrSW4Q>IJxLj z0fA3zx3014xaYk^z*gyufnYXVy*#bxw+4TGS~~xe#dCyH<|a1Q*I%nj(V*ME2uS1A z4nY`4SLJG5vddgc4*aUSqb{1ifyA(9i`>n`sBm$}2=;>XfRxtnYZY$JFp}##RW&*^ zIr*}wY>zcMI4%9v;^;nLbmcY$3!~z@qnl7{~Ut2^@zs2C%K7eIH zkibZa@o_6L#tq#tb?jRxVjj+I43s=Z|Nudt1SBQE#+$4hu|K+dhET2m8$Kk14PSZ+$NqBr-8b(eqWu>&vz zAzjzw?kPB0Rr;!Hf@!wuBTK_nQ28ghCAoY^2_;`rZg_a|Kw^ysld4rx4Mp#+f>8;* zI91-TW%H#t&{B@ETT6*4t-nu{q<`03+KbJjPfD}ej8QjzmSl!Fv>AS}?R- zx|8wQMl8-nDG-sIu*FXd{|bK|M4q+5yuMY^Q=2mG{)0$CEb$^UB)x8L!y$CldqeiC zzY}SN0+_6D2qf4{Wisl>5^$%cjjGp@OvA<>Mws@1u?i+09%&<%a>76fKVP?71gRRxDdJsEsI)Sk_C2&YZ$XKzZFP!2(v zRx+re7fNqujo**`j0EB=%Zw(=F0r=rFmGo*rFeIq7^$DheEXm$F7=a}2f#VUhU7w| zF_DBQrc?B3Cw*ZZ?Qws3{n644H|@`tM!xZ@O%nS$oP0BE;s?`l)&OtCzV<4-(Z6Mf z;#z&iCYa|M1+7sKWo=(=omIg;I$G)dlF0(IZh_`&`SkvUw4`;5i($=<{PR8rgs9MZ zwKbvwn!;%32?5_QYO1x~)?4JypSPb*yrE83pDYugIt8lk9DsjGIRR>y_FRtrVp05J z&pI*=RiUGV$Wv=BGWydEN3evIrdq#_`oXAeY+I4_3xT#Khx?yrsI$q$9$4o0TJto9 zF`J`cpMuEI(b+tirW=q0`Yv!$xwz3%KX<6RRj(%=#=vc9>L7o&I_&w{ADzv4tP{6}uDu2pL62biyAOz!cDtH}T=q!m?fBGuw zWX^k_B&wx$GpxJ`4bNc9C-#xnxkg{VPSv0#rzihA~rX(MyG_m1VKyzi{m#g zK$hHm_A5g zagKkS*||b^a$ZniG7;M#Esx{F10chrB-X>OW;|(oCr`bE{9FPo<3-g@q-tF~jqGtf z2Us}Ig=CVF=~gf}hG57Q1rCd-l$V!WV|T+Ous>8th&s5tJ&fzSSE28hkG={)WQ_QQ zaw=-gNy!^sHlqeQBW@v=Rfr%lJnso{AqRiY9d5op+Hb>(!{D39P_&@wLc%t6;__x=9*{uB067!XCXcxl$7B3kW)}#O^5W@Ow=+1R?WDgD|yqH)y z%Zk4X{buLy?AZ_5c~}yN)6ugg25CjOcqg-ga0{+*Od$vsecgJ;Fk1m=Di3|Rrsl@o z`;hcxg?`V!4u(N%xYYG|nWo*epSbCR$(lGMi==#iKN&z(7irzT%hiZ}E1!SNX_RZu z-uNX4>)IORHySwio7`#?)b{8+cXV7TS7dnpHlkZMbFrt%5f7gyY%vcz=?jt68&M1T z@^&%YS2ZUp^$NBvRLh}NwR^#EBn!pYQv!tjdmD@j^B}xaXJRYKMF<4ZY7iIy0GdG6 z;GON$6anW=1g(YWbAmA@Vefu5B9KR!G zk7PeCNO)c^Sec8l?>*FyOb)~>Wh5=B@-;n8m8r_#Qxgfxwv9C*YF$RR#>^G3uDgUFwsp`8*~sQiT?|>$~Kc{tKsssKa?4P z2eZZhG5lz z6v2G+RKzM3$B$okD5*bk2eU_1h=s!-xduy;TAX5aE-G37DmI%h5A<%oZXY%B$h;Y@ zCE9r!b!^Vm_VZgT4$r-9v2yS*CDHsbtjw`c{(BJR9=t9K&Pjj1L36XGR$x&H^AfvV zPgXZ|6Dw~=1zZb&vIeb2G`t9wWsCsp)yxu1UyaM@C>cq*j=UM-^(N-5=EE7eGw`LX zR`T#|vl1I@ceV0YF42+gppMbT&MO$VXojhhsbyswgMOj>m&ZDYFL}jXSlr~lEy}>o z7-J~&1P+QfeC2=kXRM;WyL!0j$h6ZzJmuQ|CQtXEk9^1x;@*qvRJH=N4)su~L+`?Ex6cf2kU!z5tpWbiIw z#vA^4>dpNv`r;&n4Mb&L_To8?q+}Hgu&a6e^W)-<8Y!3c!jXF-S(+sUrKkpJ2zUKc zsv(bNPyBx=0+W)5CVvsF=Ha@#KioALGvdh{!v?b3cMRD=$v60$Y@W-~z+=!cv9;q; zP4Hv?8Vo~@#t<pq0Hcn|V4Z|;!-dT}7J5Pt`Bmd(nSKb2R1s5Hoy2TKqUH(5e zAu7zAX3s&mdQK$Nt|-oUmqn2IoVp`9kH9G;uGrwx{pJm-J1=s!AUimoXpipOY9Tz zV*G#2x7V^M5(p&!N~Hli;IwyA`|48p8QWpLAU2`7DQ!raZj=cH#|!Q+a;SEREQPj`n}8Wj5+9% zQ#Yp#aRIlKsl@hMU>Q{h5p-xkF-Vfsa~#mAU~3$3uAK1z+xLX*T81g|%{0GH+sp`>(4)G~j@5zASE z>-az>wCM5-|1~!zbd1|E?)73)ZKI>+iqfQxVJcayc@3QH&UftG*yX#d=0KE)d{nHD z`TjB=c6r=`Ljk|ro&+Lujtd39ZBrT*0@50Iqp3lbX9#HmHg|jxP8^-Ba=n7FC%%#t4k^6vD`EVhKFQaay2yq zQN)+bRp%T7`&b}GCmnyk6!g@0{oOAu97{m%KLp!eDO{ycK_db*&V zNsm3i6`julH+_3*25JcY73%ShR_xRGhIYkhtQofx1mQ{f`U!uD)UB?mK-D+s>Jtip zUg#2;P2aWC_wO<3k7*5N;Xe!#Nrb2@eiNL|f7TW#w|9QZvYG}q4;1kCj%3w8jS+$H z!ahOq7h)V*Oeg=CYHF%BC)-x)tVYl_Yr5*4!78^X+SU%46A~25XYw%brn&ry!br06 z2ufAC!bT*&D!hM-j+w@lXvGrR9ULI9lF2LZWDLTAQttTE+VL{$M<5UmD&uJ?`7&2_ zHqSNAn#Kj?$sc7<>=$LEH4iUtgVpb~+}NWd-l#`BT1`J{Fqpd}6=i`!b)%eE9yK5W zKGUn0zA0bIjXgTLTH%VLD9x()lF|L-(6+-xJ!NCSkl=rX1L7#juPv*SGmvo`xYZnu z3k}-iD4Qq(4hb?Y5aEvenY1YS@Lk<B{Ugvp19 zJgSs)Q(1U=J~kZlGH3IbMv+O$xFD5?eJSpW@19?Kk-hhUx!7d*pfy-2S!lnYk5~SU3G~yb1|wagCjh0}y7uK^$~0w>(LVY_Y>k{iSB5Q0JzQ!jGkBxHexn zXzqXh9TvF>FO$xutu=<%_%zwGo;xD9)YrGu^k>qmf;D6ho{>RNUTpg$iJc!eh6ZF*=#oX) zbHx+b_VbFwPIi={UNuA@jRIwrZXsG$RA+xj=e;OMCiH-zB;a)|NJS>iq-EQmYbD|Y z*E0D?+noom;lhav6EmRqc2+7xk<2Dj8W(eJcH2~9WM0=)vhw^kE+nb@$>P zI<-X*)_4CLL$Ugf0kAD!ZKB3HW>`eC^$DbYqTM0ugtM8xeAT7%Ni0drG==PdloNmU zfcUI1L~ZvuE^xV*bY>0Tp_gYuv_PZ(?gA6Ei-0*`lv_B2rEDK<5u4-1ef$$Wu-WQ$ zH{WQ!9jhA(vBU59-VzoJ(M+hzASd2PSSL-8vhwqAZwU{ii=*WVxlm!7J{B(AAH)iaeS@GmbGjlJknZ2o z-Pkw?_ww$!%!OG(d7fc#8TASl!F{1huV2|gj)STcx3QlC=HaP10$;Q7Fb%8Ie=Hoy=S z&n-_ZS%c_suqeYW#9%1h>n>Tz2;LGlZ6jBDAqH-JR+u*=dC_D?^d#v(6zbbY^}DvZ zc4@Wl2Ur2S>GxD;6&_ZwjxXSUCh2!|5JB?kSC^jN4H-Ha0oWTU&j{fTn3;2)tQQWJhHK}F7aM{jD4{1VrX5ykR~uM9k?DY9|RMXuic|(jrQs}!l0)! zke(eJ7IQ#CVh` z`(5T3)rpOQ{_yOPhhzOGJk{e6p+BBRhq76aGZ~v|*+7Q8{tD6bL4iUjA^hj`MXful z_H7}Ux?1*1(Dq$T;7nZZ{Iri9<{_DmfQW>j+-(c)i)08_0$MD;$==_;lzfONY z`sxz@nKn!c;~ue8%Xx%m*RSpjr_?71=)19(P(m`oVD^CAidP4d<9U?)HfPM(IFd<`SF<1?8ZZvodfr0~PT`$Ad|TY|RS#8Zk-^SPiF^c2&TfAbE8w&FO{S_Nw*^vPHLN>@YwP};Y-p_144=TuRdpwd2_%Dx_JPR2A)(Pb zdyV8+fOU$7edk;P-B0s$v9m14b!-P9l37C(qF}-RNsgrK|-IBa29QKk$XDD=j4V0tg?H#?fa2BtL_oR55Yq%$&*Ca5!VVq z!Z=bUs8V%x>{K(3u)+P5z&e&vsOhB>+v|Qq+0zq$mb%fTh!>IY79?cQ-Yl$_Y!`pK zUN#4B$`WGU?)2TWzE|L{2t91LUENny0YJlNeqB2``J^OI9iE3DBp6e$q^$#?lEp>p zsZ;;d>-i{o)PHG&UTBZP4Vf-2pMVdT0yU>l$DpR!R=a^{DfHvdDQLbY5(Q!ra$lir zJCZ|xs7i@b5LUp5Zzi*(o-oJV`sU>5suSrwQ6+}h*|A(+1a9&gbl9T>E}D)+R;>T7 z&d7%GY+LlZf_5^DMQ-RJ6i?C~S9vB24R{O#KtOc)nAFWFWTM)Scf5n-P*!Rz$6uem zoF=P(a)KAXt=H%YgGepRJr|X+Uj1rh+{}T0(SA{{!WCJqVOfwRCtDQ;3FstEBZ}I@ zi-<>pIeL!XGm%pnD|oW!B)60&!uj-RA}>(SMVCTWWV6Foc6Ly4=hd>LRUus=NL0(T zw&Peg-TzZPos;=#QkcX2T9j_e(ZwAESuK<1{pHH{NV`ib?~A}!@>vgIV|=N5x`B#+ zFH${M*wBdxwrS6WpYMBkkeJ%El98<-ULiptt&{ruI;fYxWVRrq7M`}vEPbB9Yj9?N zRDOSupW+a~L5n7@D({0cDPZg>3l7oT?aDLH^bb$(jztSEF71fUDz+gw!#14~Zj`qz7&0t4s;gge+ z0%wi6{3u=gsRq_dLP`a+kq&@9y{-hqEvLnj*aK&N;v3Tz1$XSHA++>r=rF~9p4AHn z5Ka1=h^_mP^fTn_TpSN#g z&=Pqg{C+*_Fvf2lG7xz>v9PBw-8HL;o6B_yZJR8MbjQaD?Qp_lh5Emr%LJC@A{kFU zSxeK4a3;X;`wGRTUQ%S6sctiWo2CPc3oH!{pGsE7b^X}*!mtU#CY_&BwFUS3_1pZG z&*M11sqA@GnNEm0kZkCPNUGttd7(j#o;tr6U@PIX#aXYb-6N+m5y$lr*{-X{b#j02>A0JFLsv<%09!RZQApj8WSJ# zTTi^**%3I_HDW}APDXhXUfZ8U)WV487UL$V7|7}Z9Ak|Gx7o?^&1dB?>smK86nId^ z_p3L030j7N7OecZ5H_<4`4j7+^t;`A?Ph{&xsS~?SEo~T6DJ*iOqe`Xz6zVTza$kX zI1N9|;Yqt5GJ)T={+e(Bvf^%8-@=;G5Hsn9TkVl3*-&8}f7X~yVQ1L3Jcqj<7Tl^B^C&fly_Lp6yg;T(Xe!&? z6Gph+Ht((!m;JhbW$0|oe3rBa-1(ASH%Z6WDY$hM#=mAuY%|mUmT*JV(VonHz<2~S zw7$;ITp1YzyhLAzF0#KvhnlKmf_bvtIk!TWkPF=yTl?=#xO$n5c57P(xl**wrSHh= zc+nSimBTT{hvtk)Lf<9%8Ha=rB!`G@Mwd9K;BCFZA$%5pkU3?|dL9chGO)Rv<~ZU# zARzN;6@bH$rF(7djEr1A+MBn#cLRAy5S&hQdC~4{ z9M7S5v zv^1+=IA(f(N(6}=krz1}RJxw7x2L=O+?lBz#^=PWd_pBDAatTct;NH;pY3dgD1<+T zo3aO(xQcQcX0;Ep*T|dOj4YZb@$(V)Zu-^!Ri)>4NVSgC5Y?H@@itcEWw1}Y(sS-7 z)mV7ITLPg#8QwKJQ*mP@^|+jK3adLZ(dZ*UCSmJ;u;aYB;de~uQ`rP)>Y=J~j-P=(MXGa>9Iml6Gc$m7^Sov35lK@bM$GAtVy*4t63OFn- z@&apk`_NX~vdRzzX+FFt&h>f(7*ghx1k zE!6Bp6eZ1SGB6B54d$92wuU+2SU{itLAG6Dz)J_A$Sm%Q13ZtdVKA)-8MM7z7eQASwIF#Edsg?$w+ed#;K`ak&tlAGt^$}b8B8- z5kBt#t;c7wyE!^HHqb*)ajD~4m5rW%u9!&V@0|`fR&F{{Kd38n8oxk`671#X>Yx|7 zUI<>+z9!f#7(~TWCV#4+{k`U%&QolpPp7PI)@Qa%O)9Hy+D_$bgdblvnWb4aQ#td* zKbWwY4J80JR3I7)#q~5A$iK)45aK`+S~=-LZyldr@@3$tM;GgdzI*$1IOXPlB;CdF zMGsbZ?3cOj%<;5Kl|1I9WoSr6rk99ca1y6%&ZKalqSl$=!U9>+(4=n`s?%_aE@ld( zHJMC0g`9mg^>kcO@8%Ny<(BT-q(G5Rbq4_r^cb=|Zjl$Dv<7F;psux~X)}nqB$@v5 zmtpjI^VP^ir(>!D0^j*Io&axuPxKbtz9C#Fpa<0$o-UL5LMo=C`EByzy|R7ZbvbGQ zAkAN?0NPKxM4pZKh#J8>c%!OKJ5J4IU(!|v`+{o>qVpFvsrZ^Yvt57m-5QA>PEghmz1UVZtyGYr>%=1sv|g8~-{ z$i^`uWUnJn&F!Z!@?J}WQQ?VU&CRI@hvm-o-|%CjuH4d~E~jCh@(j^x`)ToXM7VL> zz_CCYKoqMqpuZ0w)!bHlTCTvQrDu%qi^|1x^!Z0Rx;1p~Kb6zh0Z73ubO02OVWY$#29qce3;ZG)$9b*i zzu6R$`S9Ltz+$lMQ&uSsr8EZL%k>isFZG-k>~yz91HQ+!3E6OjBv#TtOd5jiiS0^W zM$#&L`b2lMR%f;Qg%8wvHKRX*tQZE1p@!FdVX6M5M>Z6H$QIVX^b)wc_CulPAwW}h zdl|4>%O!DVKH-!}(2?_S(y>sxov|t_&8y0tDNsCUNV`XgK?eJUCTg%hTv2cEV(5vE z5b8U0{oxnlN=}7@942BAeSdfgcZ~A#@<^j4437yK3xWdS?<=+$E}y2{JcKx3WqxI$ z2rBU=N3GC*_7hoLwTe>h`EEE(vRKOJ<(SseK*f1p2^F)9+z+A&PD>cw!j~4dkw4Z% zo5Nj?_HVKfD3K;!ks=u{dn&~HgNudY#ll*a)KlvcH9c!e#N+<(TC2q%&NyJ1J05rM zC&ky|tODH%SY+~t?ppmCfZ4mY4+K>-N@ZOPw)pjb?f4S4aT#qB{RgXOz_;gKY|+qG z7@{I58Tg8TxawaE?XTxer+}t`^dw&Nfy29+VqalFH$7v2T#p=%1}NPM7m@3|wIRVv zDTy>L$JnNoAfpn^t4tj9c}qp%x~4p( zze)Elo8*78u#~gEslp`Ym*ht9J{fj|ePz#opkcPb&fa&|L-uMCg9kc{CY^7ZV7;;U zdx6XYlAJbjc)b)S*cppgmjm2KkwB8+Zb`2tArnl~X9?gHHvj54>f}bTlWs#>l@B}D zKD!u$J5+@gtGgQDx$BZRO|Py5*u*UE9KbjE_JLGFXXt*@OdoM^y* z4vfo`P_UX612R!a&cSt4Ape@0G;rB@BB0&%CicT`kXNB4O^nje zS1Dgu9?v7G)KPipk+>Tbd`HkIYb-l^&(W;|tDJx6dMNoz5Nk+-l%llke4K!Y@KlXb z!2Urkz2lWs5f7@HACFhgaAHFEWaArurHp}Q{iK*M8b1ttVbLXNXrd>&Qwqxyh$Ztt zOYD44KgPSL)Ryt9Tg0tBPA{U8R}Ksm8wfIs(!FW^Ih^k|1+<7<{m=F->Q&yEkgPi$ z+7jfb_6AIRsX%9naKKvikRbe5Ns>nNJ-T=ja2vAq=SZznBMLsmJ>zeJGyX|`fc11V zg;A>4zA`eXH&4DdLdSTCfpWHMZ#^lT+J4?3IRcqhYN-0JA}~)q*mp0G1Lf4 zC!Z|;4D8G}DK+ray$vwywh(ca@^wQ_VTjd)v^HGxB=oCYPxsC!P2FzHz-CCx{^@jl zuA#c6Aus#1uIXyG&nC$2xYIUUR_t(2kIU7d9z>jgl7~H`5%S5dmf4bjL6Z^(Op;Et zsuZG=*8DmDYMcW){cfZhlx7=rElSY%pxOJwekPAY#Eih_P>3#x@CZJE3l0)+r6|zO z9_jz%|FGt~HHS9%d4U0&vM63#>Q}ur8IV${U9v>TYtU0G7$Xg}f(;ZvjD>D~P2spw zephWif{Q-?E|+sOc9vj&|Bjk%HBwc%_$e*?LNH%`GY;5f{;2o5!GngQl0gCXHO7~D zElkrx&78fj4C@*eM@qX84&X|{h!cBcaqzxOj;rtT{w0g0U!a6a7>HgHdzSc`=BTr* zMLOZMHGWa#eJ3o|?dKcZ$(rBL)dtUoDRfL0Qp0wr3J~W?bj$01tY6&M0Y8UO7NkRG zpves<)Du-M_)G+@5J?Cbz>Y-64(R=Pp%VSg9dd9PDUx(o7xxD;d1Rik6Klg=>3&t9 zTeGA28~I+{%p#JM(iaV1lKDbS`bs-{xK3k}wS{tokoJOQ7xi)|tEzL!_wicq9BFHlp6#8#_& z;4PO2tuwL2C^Bt69-#%txD#^Nw-Kn9%Sr`v%Hw%UCJk2etMsBx(-F@4W8mle6g+Hj zyX!(_`WF&weu+Urj&^_c!LtcGx{BkqWi#C{#Eu)d#b?leVHSO4?j^eIh7J^1?0;Gf z4uA{;6M%KEf~ZQ+`nbq~Ra$udmbjh^3&l+7*NZ)s*sbW+=MG5OS(j>@DuPPesk=YvPih}ZHMVQ6&NA#u|^-sa`pI*5nmXCy!0^~~Qv%SJpr+nz&Ou71j*}^)p8(t@*l)sJ6!fc58zRx&U zb}xG(voT&YTdet`C`J!HRaAg8PH3WlA~6tvq4QuI ze2#;EhKxU2j_0tojV2b#@t~Riyfp<(za*enFe(pU4G!nvdCkPiT`aAtn~-Ykl7O0% zH~o=Y^3o%uN-dsu%WIH?#N3(NOw!*I7pq**+Bolp^}WFXN{($u(XnITRs**2PDtc4 zB4ZG;lLfNs2<`(#=8i8eEQNoe^#KO76oRDn^WvjMC`YE#4an|0!uN9 z%^BcYmiCSex|vNVqi})po9aw@3K3i&OCIW-DK^a^xScR4;hfr@w`rOBGmdY&6?7ak6cDs*`Ph znHQ z4_~G)PAer2`$JF1pPdYgoLuO~ADHTzn6~*X5R#;K34}j$eP%4$&xw+u@W!^bf$}7? zrWd&~6^t5t&31HbjAz_xxRt7ObA8GA@X;Cx%aP~R}rWngEh2igQI-PN#-pvhCtZZ zV1$f$o0NV`@43*b8B|Kwebrx!jLCF0+Z4L5o(!J6)##ZlLj;5GiwlRULW^Tc1Wm`z zW=3KZ_qz79Ti0zVk?tS!9Q0;?Jw}-R6JA?|QySNjz0&-4B_+0*_tfV|fH(k%IQK&?VJ746(S9s_HE}m^H(s=R15N_PK z;Sfp8fMc#wUC)=h%apk@MleW6ttcAhwGV_^kcUM4w7WV;i9n8n z+`6E&;5~ZJ+)?s5WAc{^Ru0to6r%-QWd3R1IX>qYpnGKhGU7J0B|(fOZSv+zKP8L= z7EAKa7Z0p;SVflNrRJ}-JeweU6sCRh)++*7ygT3M8pMbfrnQmitmGsDl=m_ZQkjh^ zRg(?`acwkzY+8*~mmjD5(dQ8l zYLBMLqf7JJSPW%wgL(;KdVMtIPk4AhsHor6CXs-$QDlaipsTm_GEwqdm-<+0jpZ4z zkjs=fWm}M*THUD~iFr_>E_l97oU)H3rZ?$(fXIh)l1b=#ee_VhuiY`l7B`dc=$w;0 z(oV=QanNYG;tPF$_6ImOnxQ)r3$>Qhq)bE1U$Z{I-H`*-Fe;_t`*XBXM@OSKCfv@_ zx63qOZvbG}g>G7V1bh8K=e^I+rD2ds!$Z->+YOvQs3I#6IoD3c;1t*b%~Dw*xA8e< zLw(C=x?zVuO4`1L|0|q5>beLb(}YRKWt1>H7m87y;tINdxJVDk^m=SZboK9moBa)C z_O<{I`nbbwl<%ksW{x$TY- z@s?lS4a3xpYfP?! zx^Zr^^O&bvxR{|mI?v0=J0r(Vh!WqZU=EtoPve|e{9_P9ex=vo)#haq!%bw?TUn#b zQ`{0o+1P0*^?qC=aFTr=Syp-;|G@2Zz@1+k;?7*LTW~@jLN<600jAW_<|M;o9-`H8 z2H^sKXw4O6A5$oHa5%Pf=H2LBRPs8hHE02quX|b%(I>kpC(8t)2^}c)Fx!eY8L0{> zvbag>d4n6DD{i~KlDj4&oI zes)Y^hO7z{u`Y$lE*Zt3YOLDKUuYdf1)juaJqfQ54 zGU=u1WaHdM{@S|?CF+PnYfuzFATDOIC6i-Gg&ypplOJN3g+9DF2$WBS4PExb7^S%t z#pVPX$lu}jiXxZPvu&#%c%+JQ5IphTe%Pk8TMHk{@nk3kH$IDfxy&4LuU`6?BC^`%KXk2F0uC)HDGrV|iD!%^DsnS2fup(6*0dV~I!Z?pZ93 z3SL?B_V1>VSAKJ`R&>fXHYv^{GR=+8_T zQJF}Ty>9w=4`v6}5}9z#GIW!papy4~&Uq<@#PS^^#xv$L8TOJj_^E|ZuvR)~xt*pm`%kAK{{7aqByNi*7iPLSs9(lJnR zoWwsE+GA>CV3z|K-;xkg*r#@qiG^8PEC?&DJa&8+e>LC>U2CfHF`{hiR1yTL34(s> zN&Ow&?Fb;(|IaA`apJ(F{w5+I?Xu^p(-dO)@jED1ZjN~NudJG$QYsUTsP8a-y+knK z9IShD?>YX|(YeS%XZ%WkI3;1oN_UO~z+!~9D4-`15(X{}BAggc?JT)Z zyoNXNeFBGl?X=uWEN7`n{zd?>>jq!qy=dO~^i!jU$#Li_lqnQ{WaBnE9YtbKzae3{ zL9n`4uS|n;W}i03dhC10>krxMChDw#;594p?*g)NiUe=iIUKj&vYh>2XO7mG^bUV6 z3pO7ILe-Eh@bACGbOQVYq0=uH)vEBU_JBrK>Y}3ULc^MmmsVx8OG`EhHt#<{x(lC3 zOS)jgf(i!4=Zc?y3MuNRWd6HPzpoTnl5bJlquNkXj66~qe(hpp54WEjHkUCyh~}5a z9gy>NW*8r>Be=u9Uz7d~ssRHm3ypKDsnLyd_0*#FJKxrWQ)@0LlVC-3#LSq@!8YtS!2*% zS1y~KzVALOAvMI@^k~~$!D5gr2oe3^@S?>GMTF0opCp&JsaSn5Ce5-L_SDo9@u{5C z$dfcCVo_P%l6msu+A6Q)*XT#MtS*2`qj7C)3y?S!Wov!{f6R%v~xa~-HMX-)q9H-l(?LTEZA+Gb6Tj&tq@8JI)Ln7zAku5 zaFiPBTx3|9+UOeN1HVFG_ADo>xWDAA zK9CYJ!n#!9?$jI6Aqqy1=VS4}BL*$W4d4$Ff97R>{HQ+4XWRDmRyxH$uOSZOJv%`! zG3pO4ASM78t91$r2X$%h15Ob2${YK{-km1h$f0m*ciLQ2o<8}dm39SAUt*cAk<>WI zm;!$GBLM&_t`5th@4Z*$q5iG>86;mvWl-ne%GCt_79%(aL?fsMtp4>C?tJN_5QSeZ zP)#>~C4dlqyn2o1f}yVZ_o)PJ?kknOIRJHT(DQ2^JKtCUjoMQ+Jx(7vbIHU;<&-6z z)b0n23BfKg404NayZ@NI0%%0k<6T_sw__xao2`m_kpW-WzeY* zi%fK%jjVC_DUjR%GRFqiGZO*HM*haIV`GNcFc515dfdG&(KaRc;D0e1#(hd0ZiGga zJ5R7OH&R(uvro>{I1B9!SADuV&9kvbzSRj*w{-poP-Rj9c9R}Fq_1e*lT!$l+c@ce z?CvI#-TcIH8W-#yQx3{6yVg|Sz^x{xeaDNR12`qaDm`I zva;dsTh1QMS;q%#T^0hpx4f*~&RlIV!&K^|B%ZhpSOtX?f8Pw8ZI3EXp!?jTtzlEg zv=uuulgCK{%ot!NV)Lr=6?J|wO z=yy(;|3{?vFQ-;pfISs+dII?3j0`%bBt8=JlYu-IAAFfcqcIo$dXc_G+uOS zbv+`$T+?9r-qL>+Y8w;)aW-Lpj1-~(l;SgCqXpv3c9@N6Qpww`y5v&60*dK=<|%u* zbGqDSasL#LLacUDoHht3p%&(kXIyJPuma^v#2k%qxGjqs5xY2AIV97eUErPK!2HN zrE+NgJ1-k08s7C*HsX91_ye=csq2=w_m1H3p14GuXbJKdKJ04;7jVb-?r;^j&7<+> zd)b=1wmjq3oJQNmJPJ9+;wvnUZygNW$9Xz2o-)|&5C=oN7pP@O>k+)kjJn$ zRRw&80t^cxCX-LT|d*FFa&u~AD0W{TKSdsx*0v`Jix;8a6lek(=}2p3&`Q6t=c(~Yki zbD$h_-X=_ zd{^+&gD(Lb5-NRvg@oPxq?A-{qR)mcjv;I?IslkK}@ zt&*0i&1pBXE@-+#Y_aGVBTGkToPzjM)}x{VVA0rG2o(J_uDlm!+U=ZHP)>Gq2B@?O>FKr?ba@>vXZ&CV}d9RN;m8yB#xc zF`?OK@>8CIvkk7LxSQH;?raGUcm^ zYW=cA_4O)JM#ja)DM-kJSnfI^xdPqyauqjg^!-hLaEs%91jB97 zeu2z?N1>!6cMn11Rw-YZK<9VS5pS0x<`X|!W>3NmtJfEKhH}@{L=`lgf3!=lOE1KwG3l5_t670jLD2k#M+buXfdTNKBbohJAQ{ zCVlsQbbs5&9gt4GVMl>l6o_otO znHRF9P^0u!LB(Aa$sRlsVBw1X3drJ+J|5qgOxT5kuoA>2{I;$!JG=%4Bc9I3mo^e* zsxUgo7rZxHcfDJ7G)%5`()*|y??p&|aymu#Ho)C)HYx`0thbj@A!OitRm1B@BO$uJ zyc|{Wpk&&~%G+sp=rd^*SE`Z0OcSUr>Z7V)pnb#)UKVr?FdA{1=d!<~a5%ECl+9P% z_8Z&sZF<9iXs1g%@}6)N)SIpOn>~57-TZ1j5$B5&d6T!GwL8x+SFU4kL465-7UMlC zqJzx-O( zZXTo#%+85h2t9i<|E^2Y+#MaVT3~c~9Ef3~F@;fQnbbnW>ln|7mi)PSrGwe&Qp;@v0J$D2rxvwqNMFD#*s1BqSmY*m|fYP7i$(*XrsW|E~W(4#CXV$}ZR+ z4r*O}LgW`H=v$QTF4<{J1(1~)26Kkc9r4~IZCbZ?h4&IHTxaYqyb_FmknTteGH#@@ zyR4*DNvF(b1W4samqVNn%j!=P=+IW2CL?rjiN1Qg#fHhC`DG)pL;NphlB$){hsi%h z+qs-*HtQ8r#9eJW$x+U{F$e)wYBESOh+H;E2IPV*I+s1E7r`aMO`qa;rt$E_Vr+IR z7UIot2pjfBgcgdK1Sj-=(&W{llpt|ASeZR|ZtgXna!NGe#LHej<)o^wR#j=Mj>`*- zVQFdgg7AYcQ2dFCbEA3XS&ip$h z`YF%-MD-R56~cZN=XZFU-{r*2gl5V*^}&6g%ooK~Av(+KKl;LdRG`s0})1liK zrYR+}HC)|Al253k=KJyT4F{JWVjlslgLK<#Z{AmJb1yfMq?(*TgZpX?%LBdEk?6?)Qtl6#RWL~t|Ua{S=j7%$M|9&4+gs-6f$4d9`%h@HJnv{-Uq zL)l#0c`N7VNf5^<{cJ_hkWYzsO?_(R3HtF~53s3b6R^;Ktdn^Qb6V!v9H?K)a9AVT zg&AyXiWg21_=`qP;jywGG@`m8%5JKlSO18_SPgl>1-?R&r$dYIuK8B7pD*V)ugY7CAbA?Q5i*$8m; zKs5dl^3;K$L+2#<0w3d`Q36ERum-h!sw~+@CcZ)myd_F?F>)5jXL1G z)t1!UA&5quw@|sIqDQ6r4TdTnMv2`4J%1luxDKd)BOnfkc^KWyyLvFzT45{P_Etd3 zdIql`qYx%ZqX{hE0&TddnulDGNyboxA{`by2X=@r;E!QE6c$l&jO!Ma9!+K3U?bNp z!<(-L`_}o<^Si$jRflO;^x~`W`K`VO9d4W;ZP}4b`KA4szj7QGjn>6{dch)8W|Js$ zdX4UX{a2EK(u~_?<~jR~EwM_Rwt=j!vgb=tU$q;>Gs*8nvgBf-QIBEv&mt!72vnTs z%%`50js6xy)m@a2?&1&0Hku6CM`g$Pwo1$W&R-83?Jtu$$9iDRaP5L(^D*NJ5_O(2 zx=KRG3kCL|tfXeGqq@fYUtAvr@hNVHEp-Ba$k-{-foUi`97OjOLF~%P*|=9XYG2Qg zO(Jg3{$5>{wD3YOo`S}dm})>N%ZpaGHTAUM@SYl-1=JL3Y7cs0iA zkdB)|OP0lk9$rdE{N)&r`jF>rafo=Mj%xD=vC-`2%5(_v`;MLl!-iP z_HP(_56)}if4tL=!y;uX=Hu>~Y1_9RG)4=Q7p0^OzsV6^w8fy+mnU!ESWhXEHIXicH#+FU*t%`@U^0&a9 z6PS~QwTw|op`%bOYawK|}||9C{2%^vueWkM3vJDS~1FNO!(SCSZD&M;@p0($@+aC}yIgs~~8l zsHhG%VIriNjp( zv=)xxdSh!pP{hqUZ)WDF(31K~?fZa5e}$M2KG^bIT+R^+_QOaoH&xMp*ZA9^BS|nx zJrQ7|2_r2MCx2L3z$P_AVY*5UE28%{a7P`FT=BZ^jzj!0knPX?+@)&~#`fG@>?k@} z-~QTWfwO$=@gb%Wt{!f=EjpgF+QiOaa$$HUSAVEWAq!DKoeJYOSC5Ci$0jX4x@|eNgaK=@bjL3e^bQVbjR;D{p8+6$;9;J`;K0ATFEI-f`EOA4T3Q0M3e*N|_00$t!LrSvy zu;tQdFz9LYeBIOC(}3)KAqpP~V+wDJ5DM=KsdeFXAz>K1O36YNI;uiJ>kC~Np$cg{ zOcDpugd)PIv;xK)OtU~9g@F#vHQ2F*(jI?lT%o*!`!*C>!2_j@g$@E9#EvbD7kJARHU?nmJap(*D4Y-xI;!()ehFD1k3>3BlKW~ zQNkQ32{Vj==PIBD6(GvSp%Msh`a%A3N$THjR*B2o-o%EoEo1&aEfr?5G4W9 zg1sTG@Jxjrgi|4^v`Qq>8sUPDLF+^4O#nkd;K7oWhKT~#uQXEos1B47r~-eWQm{Hu z0f>NtfeK&=$^d(bprgqvzzpe7K>f?f{6T6Uu~@emDpH)3TEz1opDszX3I zCoRec)A4k6dNmkU;7Dl3%fWwQQOzdcUFh=o+v4HrVz8*d>EOUYc`}_WiXVS0$`e2g zfF!aLK;EV)CsGKsy>x+=RZ~etcA745^BHCf@{})U)8T2gC_aJ^M<+%3y85;#lBmn3 zD9WqzFIThk&&9_^*z&0QIvQ559^U_itUfxS4=vcJID};zcWA(Sh(mt~nIbD@R!tM2&n?f*@1keo9^bo7n>bP%6iUob;(q>YA04dCTZ4TU zU{yiHLtlU$0Hp`)19$_bGEzYcyOTJ9BD?}V(Mg!a6p1IzP5l6NQZRzdKRuCJDZE$; zK`r=on2>-VAXDF3co=`vMpwg8*RG$t$vdlMVw_X3g{cp6OQ5|tZaBD&1Xs;0rTm_4^XwW{m&v$RrGM~KV zXF)mu5^>8T9(E3IQ;^5tCi9RoIJyV%30;q%T}5;n@*}Hw`=NjRJDL%}&n7-Rk2!N| z$yH!p#oU>WS}EYBYz;YL&LX3ju?0!KptM|1sUU6~>Y?}4(qwlNyf_8|)NqGJtR*Gi z$HdhL3q4X5ZpA23WgA-!a@TEujSRkB33Lk7hx7_0tVhW28FW|y{3Uokf$qS2Y7IJs z2+jpVBf1p>kph1_pA^KwLhGpynWV(YLFgog)1U1rfq_?bOLID--3nIg4T5f!&V;~rjVJ!F9S4GaDJ2;Ang9Qps%HV6WGrG?}lg-E}G z#1NTUJc_{&r2h!h#rJxp$ieM+pHK!hLW1^@>YTQ{RsjqM=YAb(f*VK)kDd>X`c z8%r%|W_gcM!XEs91$eS+wr=iQSY)@iOAG0}peg%J+kq)H>qqP7Ek`oq<#oP)){;`0 zgD87;t$=^5MQ)jbma1?IrZy9jpXOtrT$lo+;y6y)CEw;Hx%6l#AQ{SAv31M`&aN(C zwgP_#B#KrLzc{^y#Y8eGNrHlsVG=nkWPrZjk_c#wG4P{w^6%g}mFag@m?+VbxwRQa z*lKb=sxgpVe^kaJH#hcR+$Q+Yp$nFiMrj|qK!$5^MV|H`(rG%gq-2g^SFkk*72?BV zG&gZ)Cy*Qj@oxf%Y94QEn^Cop*^=``(DHwXnPL59ea#AKC=!4?s+K(1qbKVU0u-RO z>`F^VSe6v+%S&=foI}E1$Gi}|Bswzi*OUbth|6fbC|NKOje%f^UeIBY4|WKz!)!7V zWR~dYbYug1To+UmlOsjipilzK>Is-b=jOxha=RH)4Q8-_QaVf%M>1{W2)%%kQmKE+ zW2T`AO#}L1IzSS36+GEf84-DqL0ExnHgvEz;4QIchUrW)60azwCDW0XQ%)R#mE!4u zk}QmgX(el0r1O|&YV_p6P+Eq4OTPUUEj}47t~q&1L6HX`!^bGt@0cIb&V>K~0re3I z?ogoMsSN=WEpB-_(;I>$A5WB&j3pXA{IZgNnI^ldErw6--~K4Ze7LRa8OzoRNtG5y z37jPpS7^qL(r9+53Qf#Kol+s2C^ea$HFUO6xJKvjZuDFou}#&4Ii!Bzj2SWHr=;gn zi-|#Nz|p?R!ASj7)3A-A(xQoRO471Et1+j^)oUFd#1crXI#zW?&opQnsKD5$F~7@y z3*vsFXGwC&nI|WZ-XFHtn;=<%KS4h7gx(XFf`F zj5H4}IsU6S)W%Lnp$DWoI5Bad5bKrJ=N5HbLpi+CmqVa_-4+$X}Nx>(IKmiuzrAbtE|)i>V@p!jurzfbG>cXmi0#j0d8)Kjn z)pCR}Pe=fgsb`lnbCe9eJ%pd-RYJQN%dx;wWyzbfrdYEXa>P%`MqgUv57{X9TFLWYoLH|Op#H}b z>*WH{L@WNf#JcVg1*=(8F(4^_B)iKC$jeYk3b87mbPXuBa~#Y8W~c~YgtGo=m9a7) zb2#(1#Xp;yA93qK5g8jRlFiOQy=OXb-}Cj>0S!Vec{Q<*j^{_5bD6OaH)hOAGU`hi})P+SR$iqeMYB4y`Jr7pLQJbA)ki3VplCNA$8 zM+qc{Kl;syAH6DL1aLH=z@t%99UMoZ_K9Li%lD1tcL?-;en~}t_ZT7WQ~QZNV|o4k zsw(JflcQ=roQgT~wEUZ-5Ehd6y(+j3BTE{ElC zI-X9Ty}TThXJu7>DZh-$^YWs+_aTvb!S(jZqbG0PHgKs;aCwA(3qPT=p5XEsT*0*9!pmLY z5^)1uN9AJx4B^V5szLe+zoyr-KCGsb3h+Xp=A&-_*5YDTRpsLMX&-EEAK0FsJU)H= za}8VEfEs>d2u6nAI^q|2QoAK;UWgnuy4=agd@pJPMhAfzx7Qc;THn#D7mwb<`koCI z7suZg)nq<@n&NJHRh?gt2eb8SRR))epZ*z(>6Th9)wEWcuhZeG*RIp$#-U}t%&Wny znvAP2i~FNH(P}L2vAAoB-E>A%BkISFRC*UNXmCqrvyaZb~1$X%i#g`9Y6NC8zbU*(U zjN|ivY%u(_THvOs`?P1)#2|WbSzVr?wNw-S_1pDejIMmTPZ!nM=P^;$7feW3+$E1*4RM3R@5>R(KCiyQ)6vtjiLdqd zw(**O5A!Kglp`uVJuJJOYD2L*N8sn4%?W zXas8EBw|*F#01XwHL&azEnd9&>Ghk3H7s^BD%L?7fghwx2oQ*hyEQ716!*eHmWnnA zt8FbY?iCH*KY#P~-Me~;Zp#v-MUQ}gFk#3e*jq0VU1QG**Dh`^m;U1APmh1OS1)dV zi#Inx%e{BoJTZ&tmj4IZ;vP<^SKR@R(FhUyE*72J#^1I?8|ew*MZH@)_~?vuEMvM zzyI+1(bJbFS$@Qe?AtjZrAHe7(CZdECrbdW+Ykrw)cCrS5VxT0KVNS+SSztt!1(F) zlP6D}ExpS|h~QA2EX?1|rRFDxP41<3F6da+xfMQ93@%~6&IgmTlt{2|=;D`uRVOxV zc}8}*k5`ipCH4wh_a47KI=Yw6A*bIjKTpT=tp`-Vna-zDVud}kL^zk+>?mUTxANfX zYBv4GiSuAKoBj^@?C0s?qPbvzs&6B3*ptNw$i~z2(Qq(E$S+3|h;xh{iUH33th}Cp z9{`n%+raG=_Z~ccck;Fa+_n>c9ON?*|6&mTAkzo+XW-T!^J(Sn1@7hDkDonxdWq3|yA=BBNO;Y=rVY$qe*5&Ndk;=N zBw)5hJy7>uEki2r%REbOm#ti@Y_$Oxv%zOS0tfVSeqbFe_O1C*IGkL6Uw(!SGCE(@ z0COnw#DZMW_2dl5htpZLA-hm=FV}y3^zg&cFaLaYdjFXeJtqX%P)6aOu!7k|mDNOy zGrj)4uTa+VK~Cq$p0wAo#={;@hSRgrbtTU+b65n zyU1$ym$m2BQdiX271gR-R1q>*-$7Uxkb z&G(oKyGW~l_m{S}O4Aiq?;gd>PG)<9DAs$f?Ft*WgfW!~yA!fE2xGlx&5p2g#SC<> zuzr_7rfv|(cKF<(8zJPzfEF@0W>*}8HLFtJAf9deLZK`2iVfRd8+I%1!Kzi6ZxGbB zd_B+=c_mm#EH?CHk9rrGZxGwIRvNqeZ$;`{W~_;SH6pLOR);EZ7+iHAWiTx&t z^N=ie5%>l{u3IzddWjX=^|^#T7jboSY4!K!wx(sHGPlvy+%~R?dxJpM{|dgFB*@MA zSDw+RU4%7%Z?dR!VSOg7-bGmZx29hmJIK;6D|V4~O(c6cIIrdh<%8)p)(Q{GC!@1@ z@sVABM8Ud6ugJeyH=T3+i|fUBG(jdLXpyWJqkNA4#akyLG9OX%k$w{&oAX&CPde-(AH9i>%=mOp zMa)OleBuT+KIdXrxiq+%^-OqT%c)|a8T9^t!_jnj_jECsE$$R-QpFFCzD%c!$#hX2 zN*HwAL3IcJGaDWqj$mL=O{&5CPQmBcH2AriP3DVgG#L*j=hdBpt2pWA@S^%U7y}=p z*}lrBqs!5vBTtL=Q&(`lIh~Atg-1(HuhW$3Oj#=IXY z7Ib3@Gh}w-VlV_Dy~u_}lf@M2B)@9RC2tATqFyiixEf3hu+K%g8V*sq9LTH5bu}J& zf2Z*I8fRaIE;`T!JB{UN5E@4LW8LLwlt?T24fKlCNt8DAda385^Eo)H3Yq0tEq=#R z=h>aYCxiJiI=`Ng2}zNbcm=Kp2aL^su5k%EyVhu4daantXV;`FGSWCKMd~C*DuVxm zY*}{41XB9$D9WrucNFo{u{(<5niW)QFG^LemBp@otlm;}Gp3La#l9%IlXi+{r2X#6(a?lxp(@ zOjzzUe33pQY}j&aRLK@p(!OGS)Bg|4zg7CZ(VMM%vzhO#fY~;>y7m z3G(@negK&=%|Yxx*L$9BmjUYq6PNHv289JVFf}kXmwHJC9tAltH83`}ok<440Z~Fi zMKm`;L^L%qGC?&qLP0n}HbX{6I5sddLo-D|Mn*m$JVHW6G&e#-G&M0YK{Yl)K{!G- zLq))zsJ+y*wD;O+q2jCoe)A;PK2OoD1bsE1_@Wb1X49?CrJVc=w$5#DG4dq#M*IE1on$N zSvy8zf9L2sA7Sk%X$7nVE|nXx2v$KctcDDfLJ6#awNM7@pd7ML0hLfIA!PgrRcyZv z24MttabrDf;Bp7-hG7`u#zvAKVLwd4Buu~<9Ds3tTtnIlqp%MSapMwPhH2J(Ru@T3 zQkkFfkm}Q|hX!bb95g{Q#xp$*z$Gt^1Qe=hoYJD>}?p$B@Q4^F{pI0I+l9B}fu z1qOh_#O=V;BFBmxI&!w?hh`9w;Y0=z8BSzO@gVGlehFOz{#49V*-!nhzW|@O|Blxa zc?)q5Fgo=jjYycB@C^=wx5;bf{iB%be{mizz>K6jmVBn(NouClOgWa)Fr{JI57bPV zf1lDdrEAIzl&&dVQ@W<~Pbr*IIHhn(;grHDg;TE?l~S*ie>mQu8VT3#`vX}gKhJxr z6B)egsb1vXoTmnnhc7)fiaeY4loNUV%2SghY;dGzNj$0Yl$XTPkf#<&c0cyiD#_V0 zPi>M)zVOs8sjI&%U?O;_dDayZR1~UkaT!!q;498HAc}Jqj=sZxo(tJ80B}2%5O&X zEu-#%k$Y~meDeRxi&tu^)K;mjQd_0A%8OTCy!r>`-xeR8&H!KDU)ySQ+!!e^2*$GE ZKj*`gyO&u`1|ADBG%+;_B_%~qMhag-EHnTB delta 38499 zcmV(#K;*xil^KGa8IUCcGd7b^FDQTIJY8?(Msn}_E9UK}SVObB*&p16f!G`G*@wO4 zvKC+gskSoQg%FRyGlFX58v(yZRWtzsS<)>iz4BwX!;TU*vy#db+yE zRMh1A_K-Kle)Gir_1(qw)nC4Sr^QOZDq2fic`c-hofGh&<1D3>|E+Ahro1_J<^B$4 zOB4My-&{x=-Ix1f{r0}_FAw;q*wTQ%HTA_B-s@X>|M63~h0P0mvr%{7)W^Gf>dNWo zL$NtFZTZQsQaw@QFGY2`ep`PuU3vS&o7?EGMe|Sk^(Ry^=d6$>@rDk|3{Vc z_CM9lrwg4%d3R5zw%N)7>WoL{+K5;P31?PtW_Ow#<2;!2uYZ5o7Pn$0DlJXt5{hE;V;L42g!?{5eHF58moWQ(EUjTh_HYN zWn&R8@cSFMz+ISj--i^OPSmB8}U@CRo9`~EBtoP8B zS3Ie1*8WasK!ac741s^v6q{~ew78WpL}>84Ee=(UKsGqX zpbo}gB8o)>#7jkSM9USQH`Q_5!&mL< z7Oz&Rs37z=PxODft#Q`l9i!c68@V7y_Zo3#rMg1Y15IiB0*rs9(pBER7w3Z9v#-X?g+RsHF z-eJ>QddYu;k!!eQ=zk)$1p?LUV-$L%k{50@&{tI>ZMg*KqHgh8EZl67p9F48-LTri zRlx**Cjf4a2o^B7>x#C^QTnzE81}+Nrcqno?eT253{EL_1?h!$fl*Vf;v{A0iQttD zqSe~oIx$g74JU!qQoEN4(2>(?%OVsxq5LgT>4ty0KOkB?3*o4yIM6C>+0{VxKpA*l zE`!4^L7GAv{E`62Wn{k@?6o;qF@eWC?;@#=_%|0M=C>-%o{l4&g)auc6*S57q~2{Eo>R9 zge)q#eOFeXii%AQJHq%k)XFA7)++{RgP9BxSTbXf5*Mu{eN^J9se!1{jya`G6q(bauZ@VIT!%i}5Qs!YWo9|=Ch zG;17?@vUb#dMyzFXkQ%5_MX}p3IzfXB;3_|dbw?C)=q~8C)EwT4VZXAh$tswB^XoP z*be~9vVCfSom*t|)OdkfdQs{-H%LuPN)p*?y#-3@Z5U``dylwe1V&~~LOxR~WwL)* zX-8nN8s3(h&SSy=$~~!UydCJ71scPl&9V-{&iV!v_9w4|@Q#h=4aCuo-Zt0+WWONg zEa=y~X-Z-&gJe1{DwMWy3SO5#LXr0-htb1pK*EA0+nRdlI*l3A67_il5yvzj!Tk2{ zavOT-SQlX1G{ zJl?1kc?lnOc}Hh2wo7n<6Ov|(sr(L%KQEzyo&yrr!Fia!Rp*T}FaS0{e*3P#$1UzI zfn(7wIPSL~eip7Yl}RskSp{VFnR}HY){3!sLkh$TZ;+PT65R~M?35qty}Vc?Nr1NwX{ z7Yc5pqr-!@UM$1Kouu-ECa`}Vk(W#GI2{|yu7JOjRO$g!;@d#M`OY2o(ft;97uZM` zk`qz?C+=ncfL=K4umF!$u@#J;7NZu-B4|UfS&)J(!ZYG8*+k&9113=B-GX*;p!|MC zf-R`0!5%V2>ZYT4IsLRdkdpKmET`>p^NbddM#R=IzD_=JFe*@(qvwB(jVvHI+yX8- z=ws>+JpdNoD_Og`*Yg1a-`LX_E>Z3l=_<`)moVOjgvddG_LB6>$uF@%^*oYUDT7%F zo8}vk7v3VQ@-Bp;3Jg8LQmFR>a_j^OWn-rUcIY(ZKf1v1cG|wLJ9^q+1r4&kh1q&^rxK!N3jkbwMNU zQB1T8>i1U@L1>+) zw$1L<$LnOZg)Tg=f&)MLfjdN-_DZi>{qpKRDWxQ&TIo3RG2h#j&H%q+Wd-0@2SG_k zkjV=8+QJoaz99JG2CRG~SH^+2$He>ZUMm_FA@F}o_$cTF*#7p|lBbh|5D7dX1?3G- zEOtouATUWq8gB=Bp$Lx?(oxz6NQMvy+uwJ9Q>H35$r#YR_J6mq=Ue0*}kTT zm-lVGg{sbtVc&Q%MPcU2-EnMXwjp!pMYDgJf}mY&6OLpa4=jAo^L&9M6&l*wjOT5R z&8NZxvEJrY@vsng4tu9yjwV)(*ZB6CO#u(F5EEdF?U(PU6R>E~bi6?C>UQ_N8#@en zrBhUaS!8uEe#p3VYrJv3kv*^I$qGgT=cZ&v9-QW$m5I8XZou@p+tkH5A1Eo;}Ig-)n4dsiwXe| z);o56ZkBjdNb=z-olle&h5SVvC_nAQ=#>9zptF?$t z#_4TI!<<^B7;{!Q3S0~eb`c<5@gS|k_HvlkLBWvWa{b8Pk|dei7*s;`eBxWDX^g}_ zI07Rs2&Z9CyhlI4;9TJF8s$nCGP{Vp$C873DT<&+L}lJ=IVW7@eh9yfsWE@mSn1)$ z8wh6Eah}5GZW}nvB)M%U0)J(?Iy3hc1}lRvOtw7*cu`9w_`gd zTuU}XKrjbD9MAio=kH6U=+2F1Tn67Wr1gQyzugvtH;NFj&EbO`!3Fsg%twr6kl9!c z!y>rMZjlR9hoqK9rW}7^Qe~&$>M86*? z0-y$kD{7LAQAA-=)O>$j>*!%&j*PC+8VEvO40}g1eY7C>lyl2P6poitM&HoSB0TN< z0@w4~{V?mS=_KNalK}lOy4gOL+h2{;;H9zm@hhjqLr~DpM8>QoVvlFH&N6|?-c18a z2h$viL|}G`pRsv9!w?=E0nS@$2mTCl0n>U%cGd&EdST?!fv11#$8x6R$W(b^LEqhb z4Llj(W zD$M62;|x87A=Qscrvkvrfpe&AAAY+p;7_@sq`ZjUm1Jh2XIBksCn)b8vO#$FCngk; z7V8@y&A^mWNy&eUHdx_s#zhSPlmp(r41wCa1;!I-cL<~5FR;Ua2j|r^)=6kLUOb<( zw{$FxLCY-7IFK;AFqm8z`8tgPhg=w6&nAqa9~*w&P~+@=5@T(8v|&1T%B7M z!g{@_a$kSy67smAIB5{IL3g#g4^jnz!bE;`#CP$Wu9itGfqd8S>jXP^ZeEw> z#M3vg=LHk8-pzi2PKHuoY%6#Y8dL#JSB2hZR>gnB@WQILUv&izq5>LO3*b`CyqwJ+ za`Sq=7#zgQ?pQ5@5sWAfZH}l8C+PME-P!R3~jQt}^W?tt!W0q}} z%re{&1vA{^cl7hZO8N6E&EK}fut>5*LsGr8>CKmHIw6(U&-(^}!)2C%E2Dy{2?jbd zt{Z<=FoX&-7pw~^u$OyGZfS}@AK4j2vaW58~-^mk+!frkZR?0LwP zjpYQeEs3^yY)LSnvsnNqMxz~B6^n-zGi!}FYz+vBWkO#%VMRC&9Ax)qqn;nVYJ4|m z389rG$7bl9L6gFT>7m(sId>6jFrXY*iy(4*T%H4*`fCUfToQ_qrdc{p=q=dc>BxT$ zf0|!Y`R}A=)>PAL8Vow~%D?g`;5r*IK8yTA&Z6emRL`x+hw*x7#z6pr2R8}hs3MG) z$*f}_e5iG8Vr7^XKF>tNQ*a;LYK?gaJ4X3vHT-JNtp=l>X4gu9F@|f+`T=KaeKT+R z&w-19d6mxY@khYx&pt_lEAX&@kEMUss5GC+f~TMdjGkn{M*PVTl6lmti#f5{&)>V13b2vn&aB;!*lk;QcZwAZIwixfuMwFXIGd&9j^k)*5lbTqHlSRxqhX{YN(1OMg z^SqR4A4m$S<;_CGWExPFAl8&NAtKm+t~jvtvp$8%72ME;ResbL64j2XtwN&e z4Sx6P1H9{7EEYI(6-+EFP?Nw?CD8}mo)0++XtU!v+ZQr}5~x;=r}%(|q~JFE?Cbry z{rw1z(ItIO?!VNKX$YLBKDvLpEB9Ck&Qk}UQ{d~T3ymQs`ea8=iwUp{0&qQoVUWEI zqcn_?6O3RcM8tE*%V5F8fOzCf{66?$LDY|15KBb(m4FYc{1pzTys(yIE{m)G7vdR7^A@EZl z;V7g1EW*LH%Er@Q*wU91>2y4YzLdbyNG=D!=L1q$U##d;HGql!QC?#X3ol-lJJB3LzM*&|@1;I?<;&(e6vz zrvkOIINN@KP%&3a1z0Gv`hubm&F;#O*~R}lunSo-`eJg?E7uC}re^Ur6{#mlWh9_2 z9Z$NPO+O0@=Chl`py?CKu2@$Eu?>(+#s5Kq)B1|j`g6RK#uk4ZV04JJVg0x)ot|@& zzgox)Z)X}P)LIA6eG-T@zTRr*lkdwQ{;_H4^PsgFg{#zAkn^k4^kNBw=M(WKFL^HG z!&fj9oawLKQhIHBsz)4rBFlv$R3+lc2}`u;r7CZ`c1(eTLWZ(q88xhp=-0h#>f>Q9 zfG=a|i`f2|h|zzSi@ZRN^FV%>rv*2bB*hGiCX~C?!JbhTUU?kaz0iJ=$7Ha0c z$o>Wcd^qPYkH2ruzN}MVc398_!^vuxo?9w1NCC0KN#B3Hcr>uL)A2@bPNha`F7D$* zF5C0qypTIU&*6U-`2X$z4i46Rg*uEuFHbBg`Z}2Gc3+eBV<>c4D7qbhgZ`xr{%-*O&=M0+WViLJX8f7<6Q`oOS({<_T}3Z|`+Zq3gPqWhKXLH? ztP73<+xYm&AUZhsROWvH?6A24gV7g<(H8-?(H8#ExKrG{ zSn-eUbMM*vocsIt8yU%)XX>-&nrp6+P?9REF^ZVl8v`Zn?LdsIOe}l=c?DH_TO&JG zHbzyTxr>dF6M&70g@prwl2XhGXausfw-Yx40r>#jAPaz!34iF__uYbpg%^PmAO*Ao zI=w4R0mdEx1t7>s-NOOM3ZOCi3n<$=gBXpCoZrOd`k zhMI(`8bC@_Nq<9Gjh5*>u$qg5gT2%La1m2e*N|cWh>IwyO8|hM7ywclYU+PJ)q!^J z{LL8vit6wBKY88_|F|nisEep;D@(94|5*co72pbVa<=@F_P@AMy)y&+P3_&)%*o#N zuLJ-Z3lPYGkD1xc&5g<2#Tmq8?_|#8VDlG0bqh;pfPb64lQrP|=>)U^{#6(kJJa`a zf-Hdl3h-xF0P>b5Ks#sPA16use<^L>OZo2fE(iUa*n1&Be`4DF%N*bg1pY@F3nS;h zeC3suerNK(s{d&Mn!k=J?fW@3wYRhJ z0DqVQ%@CLs?LqG?LG%C5N&Bx{k}ftjibl3Tn*USN|28zTwY2g0Pt*T0(FFcsOQUG- zWNT#eUph-?NlSO2sj?-=#NuD2{g+$@Wc1$uB6j9B!1rzWOQiAVNZGvi?)&_){4>4) zjI7+8|D}6xOA~85ptCc8gX1q1@VyZK#eev{`hWNWn3YA#T?41z)Y$z8u zfLZL1=wFBjz%2eZ;sr2E{2Otz0hp!#MjQZU*}oANfLZ=;^d3{;Z}c8T>EDQl<$rxa zf1~%9s(&MP0JGY^5$}5xqrcHRGvmL}drXsmBUYC8pr-$TtN>=3vwy(%Eav}! z?+dZ`H{{@aM;;CqK)Zifyvr>A0pEF9{{y}gv-umczEk;!FY7xM`+vaqWKREp?~$GV z4LRSH&X(@~P`_6d^tbvwGRW8BEzr6pm(UkuT z+rOp=%io>%Key0dSPkT4Zw=J6G=0B;|6!tF1ah);|IG3}0$AVW@2~&;ruQESDF2>b z|L_(SwRiVoV*36Ld3#&SO~X#{2|Ecusrk=H_dcaLi=2 zCA1L(G{%m_cssfuV%R3%(0_iVlIfPWt>r;QOyDy>QcM>d3b%KN59x&sg zjrv5E>1GY{L$SwXVH|q9F%ByAEzpIsAE&WUUNN*I`shXIO}a)fR*b~ebD=S@hwvb` z*tp&C^%jwX*ncDCBFk`vC71FuL*-z)62FRR2My6Bu;C0R+bNuom4B@=FGQ)eHbA)I zfHn^>PGprvzK0c1j$kKMbr^2|X^HfkJA>e5`Z+h?XtLv(vCtWmsgTdQGV+P7lr+v+2kk(#Hg!OE-q8QSi$zzPZ zi{5NLfsFP5-eS*jY~XIofO%51voX%9?yOOEU}N<)rp;0AwrLfQE9FjRY6s$@iVoW%SDoN|QL>Q(!Fkq#ghK3Eu79c!O3qRr4X@VQA*)Nr z0-yVQW4Wicb`a$^th#Pk5AfE-x8uqsE}3OL}6T zR_y7-Ho2WwY|dLpF*Ic;Z2<_sR`7?$Ny4Y^x1T)uS-qyr>oBaULiigx8{V|dBa)AH z0glXs7~w~jJ%2-0Y%0y`N$}$o=-_8KqC?{vZGjRBvVmx?=j!*$hg!$+%G!;YEm%T7 zok^=%&>-K)>iTPrIYR5f7q&!kp#pvdL|hf=ovqSGXVA#aIbpgGw3*;0=Pq~qH2^bz zir!;asS4%DTt-LPe=Za{9miWpN|?BBRIomYrwlPKoPRx^(fncBO!g-0Ayf`a2~J*I zYFnHJxRSujG6ifndGaX6Eio-*yzWUyN3&EO_N?hRl} zKZzIZgok0k=QxvB$DraW40IKT}9U|oDsXq}ny#NGsq1RN?yM-3z9Mf?W+Hm`VO)Okm zTICNa@3ewBM%zUpQ4)?H$qt48yf4f37{<;;7b8pN9F}1Lfh2NVa@Skd6!=ZNc`dp8 ztbgi-U^XeF$S*0VoLm#9Cb*_s&p(C@78~~wZTmjnE0t;#+c4{O->1>$m5DySYc@-L z$&3xot;GBl3@MU5^aTHeF~k3h)bVdb7n4w0Oz|JRi&yjw zbu5yp^>7H7w|3JhSqq4MexDzI%Q!*Lb$@DQm|yv|q4r(i^_qXtsVsaruhYj!^DZS& zrW)G1P+EU8KBUJU+nEC|e^f~0b-f^Gb{(1O@!$$xh&xiD?WeLJ$n zotmOoyPQyDJ$cGM9A1+SfeqcDa4|~tGo^9DC{J!sT3Q}wf>Bywj06{&v_gJTd4F*e zv;Nq~Ec0C8kgQsmaSmjJ?&oA9oN^9QuOTmDSRJ|61c_sfAJfwebu$N4T-9oUY`wf@ z&vvlEf=WZBPt@HFPf#xdugqAFpWq-`MjAO!hn|doots5^$Xt`5nbGBEQIl+BC?L*2C zA^e&Usfb&C5$`*+fPw1TMtR&QO2D8|DDcs5i4`OU8_VanYMr9?o}reL6G3GWZ7Cf&4;fdwT=E5t|7DIkzdH#mta=B|Bv9s6@NOssJLtzXGAT$<5u zT^0pJvG{==aust+0di`g`j9<63qQTEpXLKib_3w5!ytr;dn~ZE!+)H%7zlqr?4aiuBq?Pk zU37=6St-n2UvIIFvvj{vtRl7%8m|j&-~XP~tWYz~zOp{3Ko^~{0p~z{$~3%e^#rHA z)VcvGH(m^-iGXaw{C`z0ACMjUZJ4P<7#7@2>+sX7ewToM#*WK^+=3t_nA8#Kt(Ln~ zYr|cKSdg2l|1i5>eo(uZ@cPNX%%?3O_Z!B!es_1amAJ#;sNxq6>buvfeU_Ng^P0#G z4dqxVB;@sdNmcT1XE{_w%k^I|Y_fW-3Ik|(FK{G!mJdr5ntxWRZA#Wj0YT!30!B04 z{DB1NG^t5U5a>VkwAzw5wn5uASu6zQ=aCTH9gRbIKMsHEPE3#=;Zi}3>A|Y5b5B%7 z*r<7lBR;z4;rabQW#}CCY7=8;2eR~jL515f!BoNp67!zU=HPQ0J;aMm_s_Icw^FZK=eEi%b!ztLH^TEScgE7gmf5`uo z@r7CZo{2k<@m|D9F$ULLl`$fmv_U@p3M)BV+1L;ZjY~OTTuyWR*?;s2V4dKv*y82t zX5Z)F_IP*C++!q9iN3VG05u36>l8BL$n4s^M1QZMa@^(o$y0xgc{zO-x-4t}pj(wt zAx^Yt!o^40QIPtEF&_9M4n@%qZAx#Qq7mKf2_7slllGbBJ6s7Hc3W7A&Qfbr z;xq5+aFY_kSi>9-sP~;RvFB_zIEqj~C`@6D?{7D(|K>20{?PbDRLe3aJh=140)x)G zyK-Crvhs0~?Mf_&Jr(B096Dvtg<}(U7H7CR(y<3>;# zSQ|B%?!wDH;y{+G&uq7KsZGBzAF7$lIh-q>(Tr>GFX3_ICuK2V#N5XzXC6R=mZ)6- z^hajcKs7tM*D;&cMzU7;@ik;4H+Amk zR^VvG)9FYn+<3C6i7lJH$8Fz^GRMlqG2Q;~RL@wAr*n7s$C;F6Dz*+uo;&bqb954> z9qw>jL?VCut&u`Dmdt>*Cw~;=A#(2F42!y*x*0bFm3B#$bdoJrzEKofZaj7Mz~rCt z1LMr;j?)C;Jp-DhtT>5}>Ohu6dhHW{xIQ*Z2qp}uS1h;%(ZR7ESB1 zkhvAQZnfwUqY$cNW}lzI09-xmQxg!!O)T``8ZH;9!NWi7S2Kj_ZGYMkW_8poxx)vz z$uq3GFNSBej(FfL@cDfkn%B z(;8(k2OpT-$?$++zPLT=77+}>x7AfCNie*o{l#&Ksc&o>$lJcx=^D@JJIaTZ^h^f z6Pq7bw`=B|N+q$4)RTA{Qy{3xdo?rm1p0LkV(E;^Y>}cwY-erVtT8*v(jQKd)-WYS z{jljc?oXQoy?=&_Bl`Q5y==7Ll`HRpWeepPE<9*Cn@b@TH#}AeM0D@H2RuO9#LnRr zU6*a@--GU?%;~Wcb+&FDac1U*&t<^H`A%orCN%1vr+t)dCrpHX>$I?c-f^OQU6=KY z7DZU!qWAQF-KzOGqSX|3r%se-v%qTEl6%e#MIO#ys(<-i$xE;U03U6PzENt>*zo)X zvs?AUuyr@17U|>k`9lR-B8fip=W)hKB!$l^p>iC!aU3f(3q==!GoFK1%oh$Rzf2}| zO_g>p!Lv$s+7}48#Jaf&JJs*5+t}>ws;`=1J7cL?zH5n+Xpg8k_rzOha8p*4i3-V4 zMQg#5iGRttaf{J|yCBR-JCn$4F_Tm$9x)!1kY0m1bi~;OK-Bh0gVMamL%yTS($e;)C%|a-D@$GDZK&IZ%H=sc&XpQt(tAc2 zWHnT+V(n8Ym)r{U5>?VQ-GP+!5fXQywU!G>X5tR(262sT`A z2AyTXXhXVxf4BmpyQ0IoBu>z2rCIJ`p!cibin}T(CjYVu1~yTmNTdy}9u;e$( zNdvinxX>4_BC&c0)$g=z{c1X*CiZGd^sa%Bb>c=qyy#*a!OtBryVLdiBGhH)qc_LG z0oIH`X{4>e`@&+uV-5~}N+@svm}*M4T)XrBqe|nY(!64?FXou=?e(r-B0G_Z7=P<- z(?0}tW)(I7$?^ShjKPkqLkd(FeRUb`e0Hp-Fuv+F5P+-0n_%S#K6P!ioigIBcU8*> zoy|U-o0*>#*FaN@aL;R!SxSd~REKaxfEafx3&!=wB^+c4%o~uU1JjT+|55Y15NAg6 zSM+(ja`9Sc6NIqC=#(RJe+Rc2xPN#fLTs|*qpKfZbGbu5$QVPuO)}?AwKd0vM6vXX z>MoCzGW|^+R7XQRgi|TjS`8sOLC`OTWK18^wx6mFU!c}t@n`wbg3Nd1k7rP3ne#Hf zw8R!m4w-fW!V4}SxsH7|X}|W=*>^G`a#qHy79PD6&y6pZSR6&hGS7z}%71=Q_3l?N znSOmzl2?#EN!6@$Mt>ZM@cVQIze!iBIryf<$fHc!B1&Dkg9?m-wJRwsb%7rcc$`!n zm>&}_UZ=-X!GX7toW}OpP$B75`1LP1`vPszI%XuS_HTH_OulByMCU^`vXa({%;S0>X;V0l;F zbwKwqUzh_u-7lMv*Q*!uxpSG*HFG&UMjHi;6)iIa`wm0!3!Klf1Aooti7i|U zEVHcpd8otXQRK3^>}#9CQ99$JKST=vPKG!6+$BU_ksdJZ;D3Uw1@0<*W*|UTH<&o8 z3O(tnw+&uO-2tDPBRg{Jd!i_t9VuJb6o*InJu|?*cHvm>e88?uHAlBvG#ac)uV48A zbhZw928nRdXToNz$VkKb7tL^7b21nCWt~a5 zBqG0!Lx3@ebk|iW#0>#wk4^T@MYw#KT2Gt0U&D497Ju_gDzp9N(ZK{4NV=FV^Mq3c zLDy{_hl7hka&gj-6np6iNLbAfOBcq|qXnb;hDB%i0}9%f3I$^oE25_ksYGy{Zp^_3 z{yn`;ZLzcw3MWcj8F9` zj=f-NRXLDd6--D4I_r3JQa-Mie*;v=CA#mc_FW^yvK!4^j7~WP7YdIDB@Q0F%V`LfY-Xn&D zvuO9M8O3m&UhqJ3(=Yw*51gZmTx`G3(_Xc!b_&VCRjTee2b=4(zQP4o$5jw!WG(e4 zM3Am=LFz%{eX_3uL1RqEp4S>8XIca>xqoH6$+p-Ksed+}X7MNC*s|%I(-YaaKn1g0 z{V*=fIrlLg4<|BR_rAV@58-bBF`bL1e=SAtKP>9p`a!k9-sNu_A>Ia&HN+kXhT zVqwH&zR>5q?pYtpWX8>2zTIQ?y2^9HXy!`SwflYkkfP||&Ulvk0lRaR7@yS>^V=#t z^mtik%T8hzL?P`4tTx&PgCD5h-=(C?53lrQMky+tWa1+@`DocXQs@)?*BT~EpWdaC zFB6`X0Yd{e#}D#1ZGa*(U-$Dhxqm2}$-x$8`IebQeC|YIt5{cpGfFdFSsnMl4f?Po zgPfpAOqQJs&ZONU@vu@^lFdL{zYI1j5iH$jM-^4E8Q&SoYoiX7P}&FIg56Tn%FKu8 z57Ua&SO%k|T(-4g;P8|wbHZrt(pu8SMQ42y653(~8+)P*`VxCn6Kqd14S)IRL%1S9 zOkv~(uh8u$p)j{Ls@@1zjrAtV4^_nmL0L^>m82ue&YHD7XJEcQG~jM=y!_-rdj{u% zaa&8GJP3y^^`&67FMy`t?;x#CN^1X@ab1V{H9?w1$npBD+N7j}4$Z!ka@Ox4oFL6_ zE26)Uw&-29{prn3gGVkuSAV2Fz-fPFe#saAWM)GnW&Z^Zj4)3*3VB^eC+k^T0aZ1K z$yQB()**I30Bb%&nKwB@z9g9(K?5BKb1WUGkW-2HEtdc3&?}bIIi1P{P9wkszJxIF zYs3WO6|zilt5DULiLyn2%_npx=o~0*7q{-~4lVgvyXD`HcYn1dD3W0wuDvv9 z6SO_WhF=e$E5ZqqFFC1P*Np_IVW?`b(l6U|LJWBZ?VaFN)jtk(Vh8Iz7@YU#d*SX$ zHG9^s1NaMl&30OnC=BhfRu}I(*uTkLpO`K+5S!%3ro|j;mcQWrBx}1CZerBwI}(8_ z{q!4FCF}j_tL}5)@Qk^({5eMc8!U%c>giISkF)x{ux5 z7*t&uU>zsE(RUJ=d%RAbR+4rqM?==}G&SjApK$#Q^YgM{tGtFJf`(7i#Vk6%^k)r%_}$)toExN9Jmv_n!6J%18fA-Lzdl6@<^_ZkUXqRq~6 zt8E5WQ%qp#0{aT9HcQ2$Izj!>d@tfB&s!B0wb*HI_Y?G)AB^Rk%cpQfd1D+52dXWL=tUi1_! zrNzm3LFhFcQJB!;Q}!Z~v?7GP5IVshn@=dc>iQ(uw02_ahs=pC+)X+^vYRN>;Bo#= zm3BKOqXqNtHTsI@Kdi6ShGJn*2##s7QBTk|LVvqXqTt7E6L!baxOuYyP9lEMNN68( z_E2#9R_1wGxT1OXtJS(%deQUES)%1xRXxCCkTEEWb2+IapZCh<2CLZ_>tiZb*EA)u z;y#8+KW3?<1EsP|P{7BkZGD@Qi4c>$N6K`R%E{;mG6fa9=B8u~u>-2qF2&yVS$LfKhO2hitLNWPheg>* zA1!3>iWn%7SCy+A`M{)J@4~F!qtF>r5`PZEx7PI?4@ma}(=Qn1te#aZ_J%(dfM9%! zT?5bmQK8<=Nl_Ic7V^LH~6humD@I{8ST+6;HM z%?V~KOP@ycLsn;b8b~YBl%sg`t-R={bXub%GFkBJlDowB zoN!`C=*SWINYqyut}qs7VA*5i7~2?N=33OW*wu5|S<0D6mC$EV%BX>-$%9G$zgI8a zoq1pp5d{}|^9MsB#;u6@oPQlonmj^0u>?j8qMhLq2m`HPe0B_P*ou#wm9IwH+BPN~ ztz2wa5%E^_qL|k`l6g0=S=(|sQmY%{8K9f)>;kQm30BJ2voDJW$^t6bo{J+?D&S zz8cD|rLBl}<`zhR-P3#VOtw%4I8%l_d%GRxN3d2(7fEs|6Q=h^1z4a_{I*-}6Roz+ z>P&nDxM_AOqaRp0k9=)DD{&-n8LT;d3pPr)8EkY8(BUidcvzmQ((7>+>jOLqu95B8 zw(IJ$8*oYPS+D2q%zym+qMj~p=1X(;_KAwXzG*1Bd^#86PBn4%BU}!ID7O;g^o>l1 z7z2_$*`dnD1_oA-`4@PYMbCOn#h?Qc`VX?}L}}t+rG2KPQgcnJrB@}J%}zTC)7CB3 zGSNO-tn}(Cr_UuP(aDK%u_Z#g1S4hg-m?2+6Umsn`iVnUMSmiCbFGSq`ge8)qN;l; z_;@&U2V2(GF3aVgn#!Yn*7`*@*I}-c`*q$j-0jVOO~ALGkmSAj{?5p5BS3u#KX7Uk zhbw$O>Os(wm>xR3#X)VjDqLOKZ%x8U;q$_oLEFv|O3sDkSxtN%N!YlyCRI%9Bl`9TQiC75#b6Of>Vl~5={vE;7rUp1 zb{Xu|hwP!ca)ndBXNBUg8o`{4Xn_4uYH!hxg^5ueWr&>H<6D0bQBcLxK$Cyh0oQ(C zc-#p#IV46od(U^<3`JVT`)ZGD_9cX=P1jW=>U!XJvQiu zkhoP7y6Cr;Dj)Sk0fwjvuAL%tQXLM0Jq~5D-exy*EjbCR^!YFP^L?m`ln8PYL_)93 zufGnCu#p?&8M=QR*x*2}+LwKX#SJg4a+x`hjuVbQs{$W>U%{6=-Wq-D zEa1~rF=s#OXvwq=CYr#%au!pvI1Fx!(lLVI5-JGkrJMi=lgkqWLE9aOTv=n_6s(yr zYs1MKx~kg2qX&GY+LG6glW|DGKRjK23{a=vpn%=ke2s~E;e=5mG#t-`F`8HVjj4j+ ze)0{{tJZ(a57HlnbXt{sX4mKJ+A;c$@!mdz{ne@^dRp6RWK2=6cd?HmGR{uNHRUx6 z0keDB3Mk|Eg$H#5+zF{ZevV(@qbVw{MqP)-=VC-Ic&I`pBI3aU0d%f#q<#e|(rr%| z{SI`S0Bf)}ohyiV5ep^;jnm&Hr5fqF;5^#m2EKpm5tDS-S#2?BZ8W_*Etg0BKXY-h zz`T!DjIx8dKf8p)^RwgZ@P5N1;dhGJMHruqO^Jm}-TqBU{E@xIkgQkL#bIBUsijmfcWOO_T>qGzY+DD@RN89SF?kH5jU#DnZUTMgW)@IW# z`B;DPI&s+YgRj}B@ipWax5=zV?eyWIkD8b@4|}(GRX0htjEDqtP97}Jwx?B%aw{`0 z@kgYNyTNSj70JWl6Epq81I48aM#bZiB(T44CbE8VA0kE>SW5s;Tb)J`Q%dPBxAl~415FWOfPc<1H(PWB-9M{NjCV%q5ynbu61n9Ydw{b&ZX2k%93Tl^bK+a2tz)$qSAaMK2l9SQ z1wDuzoO(L@Yl1(_E$!lfMGk$JgI2NNX7OpMBt(L!s+L2X?H$#(%s}zFRo&KqbOI&C zYCLu0D3uQu1n+}T4M;+Ewn-*0SPOsWUBIDVn=bqH(nOR%nkQy*WX9=EGT#kL;=*P< zKD_u>Mhxp6pqE(gj$si_lF$0KRTm$Yut1+Dw0@VF{Fp-nW9TbN&2}u2DsQ6pu;WrvHHb$JWj5p!diw;49)UAe?!3p|LzbuF4d;I7pYys82RX^3(TVS~LY?KKU1L)Vn7o)zeHc0Cn%cMN^~3Ajr$ z_SCJX{}vjYHbwKR9jb)1sdi{}tK3?wF--#uqTb~vmW+0=e3K1!3>Vk#?hgrtfh$L> z*P6yj*Tc)lrS9p^RKC6oRx`Fq!dooGtALv%p3_ zbI-)JappCjY@X7i(y*hUy~F>vLu6_WeR4>e_`_?CgBseTO7T8=5U2Ed8^B*CqPNpL**gd`a$+Csf^!DpU~&j| z0NiuEf40LD3sqilxz5}O^^2YQH zB08t$XYzkx{3Y!^TA)}J&^ct3wj}*Kp;F~4;6jM}a-^T|7 zn`24QU&1-ccB`+MdBK^h*z<`hH+Q2CZY)H3O0r6v+}&0W*iL~91=iMDu~TO}gM{mJ z!K~AtU(^eYO71fgjO_H#ygGS7b_`++biWQQ&~ksJ;#4GQ_wsd>eyWV&!NlQyRQHa) zEe0aO2E`(22>J#iTp!aT$4G5bGG(&cd_sBPyiW&(o!-ko687g4OW3xm%$YEt8=A^g z&Qg_FgA?VhoAt@7NsO}VS-mcu2>hf$3V!i%Wzc~mwa$LP3#(NSqQuk~ zw%19x=H214rLGEznk@g>LhfeW+dT1BYT}v67|bbGFrmEL7`F>FT`EHm{ljdl<|ikk zN6g%_K^0tkOMCSxphi(`d#FW6j3m3ltoKlWnjH6x9@_^6jqL+F1d zKRSEqTU~t$yH8iwkaYIfG76QYY{he^Em_n`KKc>J$-WP{p}Ni&?}B>3H@P6y3AT~? zJroRMnR>4XrhGzx&KPwj<|%)9grtYu+3dI0;IwmX9k#P=1aSv{qZk6XcAvc=59;sY zguO=EIdY9%yjlwB@09aaqyaGPY(|pn56vnQ{V6ulPCAQ)cNa%ykI`fE;)BDY+X$0a zan_~tppSZEtRAeD&zRR#$qC_>7@dP)#gD?zL$K^M`>xw$7K@h?g}r~IC7#!}_X$Q{ z3$BG#FLTvu!wU9j?9&0#$SX+N$lg}QHg-Xlz&K}_#D4R$!N_&-(6vje*>I%3=*w~jZeMr{z z!J|KA<)jbryRR}vwDZqul%Dg7s&(ETh4A;i#}D=5bOQM?eUQT804XH%6=y>5-@Y$- z4zT2V5~CAlYgd0wuV_^xZWLP&?Gmg~eW& zMy4%-Y9V23WEnSx6&i_~Bjj{^Q;Ffw{OvFaqz5~g8v{Az)j{sYl=y0!BGsTLo@mJF zwQ;Q+ zt}a~oAurU<2<(5e>4_oDaG%_GqqlJTXE~d*>@mkJO^j4;g`X;<{q#ysWeLY5GY=4- z>mwPS(1&>v=_)OFMBH{yZTyv_C>af<7%J_*hJ~UxEOijpCw{mv3Jm84oDy&Y4T$t; zal2||6nV*pEO1S{^wTM%c!Id4*|!IFPSHd-JfEj?=GuRHzJFc6P_?<4UC>!v7HXf& z)}X#jn<7(mJYSxD)$DMt+_m{Zb-1P{TBw)agQGB>sB$Q4I@+!-8c)wE^=i&q2fn-V ziI|{+ye;CuD8M5UXCTY1vYCf)p0uRGe5J~2!BfVb!qwsiuUrC*$m$a%d|%6FChwf0 zd<)~}EnI*5`7xYK15z_pIyWS07qQN95t7=LeEyOjJO)sculLw|4EpV!|{5CqoKTUDLoAzs~f6O;w&uA@uL7tViAK|(3 z!(b!l-FK2bSMH)Aq;c$+cq3^VuI(xbnO;5h92OTQY4?R3zAvTj(pzIFq#3t5UVb~@ za*uyuk%bHK(N)m5YGItA%pj5r5dE@|jzi@eI0a;iq|hQk031NcviregJ&mgvWwj)-musX@lQ7E+atM_J_FF&TYL9{Hp>nw&0AVejcV%G zA}vqLTL2$A@5TE46OCLYZK`NxDDM(Y#Wkx0A;KXN6MZ-lhZMSvfHUiZ?a0tlhjD+@ ze71PbM*+w>hKC{2?Su`l+!^B%&u-H^;1Y3s_=gVz?BGYI4UBBCSH4AE$;k$5vy;Yd9KkF@c+3* zA|>FUQ~!y>5my<}2&$MJO#!3b^Ym#>UyBw6qJmqY4w}DHHKyfThSS*(i}df%5P60L zka-cuY`-y>dAc6Dq^QEUFOUni&X7N{Kk{vB_=W324BeL*z!jprUJUAU`pkcBtObjG z2-9y9G4Rt{r^g(7srJ58pVMda4Q)qqhpFXLXeo86fMN&J+mG?4HO zloAvfwovsO(dBcCS*@B~HdN?2*-j-sqI<5B^APeD1xI^hPJ$>SJe210nUHBdcL!9c zijt*jC^Nv3Yir9|#3#agC3=5s=k6QKbW3YgKB2R@I0Knww^=C8vWlzSmo=iY4^E@* z1CKy*^$eNg6+V{JP8bAa*Gj7o8TY9cH=>F4JZKR;D7h)~!M%ic^)wc%&g+%1#*&fn z8!!DY<0EWdH{HdbO;FKTgQBs9pb)DK?z=r=rN9E<=c2QI_6wdc#6*8mOF1bMoK(c< ze)QG4UUf*T)7H=BXvdDO!5H}7W=B&=Z@_|;J>IqrYV=o#<8gSNryfltHPxKZw5RJU z@X1|PVfH(xa#dyP0XlsA9K$JofbbeM?o)k7TRd_Qh}k}u6OwumtWi@K4%PDbo4+h5;~ zN=a$-GacKR$cvUiPdV6>65#^xz8rN_f4(n0nr!>&O(91lm}xgN-3E>w6s+IiJ1UxK z*>bavro&9ua_QaVw0|6zF%v$f+(Jq1wGl#nX}4gGW$Vqyp67pvv~}B<9nYPON+pMg0})mQJ(CIP5;f<{(-( zI6p>(`8ynJGzNb;j8pyXQZkiNLDz}bJ12x#$3s!35FN$@?^T3#bOV8BEL6L*sf@1= zKg43IOZz0DdLe@d6?KEAdlS$HEr0(uSi7K$sI;?+b&OM^$-)Xwml>xcqOmB6>;upp{E zW*WfHDJHMVQgwkDMa&F0?Ttymdzim05=^o)7T7pOsXItsKZ7h8W^vSr(JM(*4mIedEpY)&w1%q=N|W(rl-lby9!dmD(4PHDjh*HmAm(EPbsFY)N4v zzTvUYz?*7absbFc;Fbg@;nvLYhB@MF_Pex=1?g>n>iF8ImuCbd-^XLUfb-R;c7I4yoUK&ggh@ zGd1HN#shGZu~Y1qRS>k+gw*Vy#RBaM9{D({htb49m@br(7HYH8E4QjJ^%E}a_DQR5 z=Zwv1z)Qo!GQ7cd5@>ouim?#r&^1Bpn}L6C_Zqv;Ok5JC2}Gvrv!CPb>=y%%YXjyh`c~8Z&{D_>BqFtxcWmzkz#0bZH>$$Qo?&@i-i#OgB&QH&ONvSNeYt z6@8|Q?p<$SMhYW~Ur3kNu!6BUjMv?gI*ND={^&FuP}7*T&e&x|BFedgvXPu0cjKKP zfseLHPPFzCg`XCZ#HLnt#$`S4mVQY=AT7N}uZahq&v$~eDj8QOpP9dgjQ()xmP18%_9+Bh`5Rk(kFC}_qe7rVd(K(IglBj%(u^Fc#>^%aZF#89$p zDv;{;03ZKWvsf3U4M!0vNp+G|J1q6Z1TflugYOG|#z(3fvF2JAcZzf+F_X`(#{|}? z^`ddnehm$t(_?)G^}=;RK#QIJ-15CjxsQ_57MuiWu7hBk2wxyS_&KlK7fydO?FR9( zxxmQ(u+E~d$h3Tr4nev_4wxj&Y+bB;1q-lOz}vOUhd5L04o`mu{9Z%1wRD^Vbq>T2e^ znD#z8uIG7FFlc7oyOi)t(FM`>B7)zjXWWm!CtB(tgNenS%UC9~y}#7xcCZ%JrU=z_ zf&YJPoKtfofTDymv2A}F8#~$9w#|)gn;YAqKm4`QNMl9?f9z>G_lumnpc;ZOP+kXebuz-KP zszHo7WvKy+nPX=`1H@7An3SPze-KmsiwN9K1q>{L^TS5&d^mrUO6^uhIWH_>dA94> z1AD#rt~DLH6fZ3@5gad`Na>UYcGBX)q+-4-ZENJUJ>KykKS?My2o3hPy z+xv2=T4q#EDi*r%v6u=ch4;j|Y-0?lSy)S7*+UoGmpOmybo$>4GKk;>!B5l;k=nFC ztBC>J7E}-3NL~MZk5quEk!NAF=NWcp5V~Ua$G1 z)GO4A)1MhHsjLZpp4y*vDUwYMpYLOA`a)zzGRT>nHEN2V#m!jO)o}T1?NL_KTqm~k z2(6-~NH9nsst?s%m@Nz@I$Hxd(z)wx$f%*I6aK zS_ZaOy)V{zA|9flR#cq_%iiks1S`ff_n=;7#!p z{}e5xu_7+p#DR0>Unz^@+b3Cw-D=&Lae;ajB_G@WjTil7TV%q+(2dzfRh_Bg*#13i zXYqe&As7t=B5W3-)unU>V?H^sUR%+v_wdG~ z@Szxe@y&-sKtp?6c)LggKmBM3s#Jbt-CO072rD$f2$Ot%U{3$0nbIi-iYrQ*DM%sM}vD}+v+L_qtZSe)CUxmGk7YQnY1pqv_n%k@UFIXbpR9k9S(wN@K4`KEuX zlk$hr+xo_L6u*(LaqW?scH{9Kzv;=(NG!7PxNlq>IR%4w*D)Y#4A3xGG5YT9wfhZL zZ-Rv!3a3h0B09-rNe<6Q|myfA-+q9RM#1{ej`ujutiJ&3Ko2gxE9r;bo zKV9r|5q!HoGyYHriNuuRq`8q&#CFb^Qt34SB&?YZ+Ni|}w*^f+J4T8lgVIA;w=eNU zLPMbPkXOOOw}y0^2nATI@G&Cma5PBXde9zk)e_zbCO2%TJ=w4K^w$l-Gh}}RLi8|) zzI+JC5_>LBoormnb8EjGE8J**b8f-*pYMq|FCLt0A*cQgP-8oewElbJiGpyy$U68I zbIIU|v7--SVRiFlk)_=M-&(KdVH)*aQn(q9oB*#U|Kx;kl6uw%7o+$BV?(|hNpI_V$|jYuTl;=)Cms2pL?F~aynmLO3!+EZU;hfmz~ z<2aZ$6(d6L7DH#_#a_a`p?w4r*&LRe9rEa2d zT{bw-8+}mz``>TYhVPeQ#U*9^Kns}l7wFNnsjjQWjz0Ja!r3Sn8P*y<1(*_ zJ~hTF7XYIt1Ej9l9I(7~pM52&EI8gtCvSQgTFDz1>MQXhu;~DW!w)}wzU6$tOUEAKaf#x1bXfsRBZ6es+bK14S zgweesro{ZvnR)T7W-@;^d`b$hNeMIY=w>rWgVKYs010+vEN1BX9TaKHa~g`UWke@W zIg4K|I@QN6XEYZk^60=kBY1ui2s?0so|7=)t3|-<_gpVmBzd`}1o7jGs=4ao`@!&< zaeulR<426x4dbOUDJ*mlXm?V!O*!{(viF=1#WRE9%(z!k&(2(Psu z^TOSbt>kLofnIi;IIG--m&|;!fw~>MFBV}6825{LG+5h?>7Y6Z=|k#j{7wE?{Uv&2 zs<>td+uSn@w^09acepjgZGF{?v1k&ac+JF~>tT})*iSO|zR^|f#<%yNNa*}O6>0i@ z7DMP+%UdF+FBg9c{K^1xe=fvnQnc9teA=04cw3F~5Hq!R5g7Dg=TkRV4g8uqP+UdUM z9-|KT61D-4&}K+6;?L} zJGv{zg`c?AZK`=&rP;a<%%YdYI&CCqAw;Syvim~}Fg$)RBV3jWtg-VQ*Hb~d@iTyp zdp9h(a<%0lJ91e~ zVNYk)2)%z3lQ8_pLrVkQFs4_0yixrro9)gRoqeUlDx27sJBEnsCu?7c3YyTOi1p}O zW`@|8US~P2|G~>J_Z`xs@^??|Y`As>Em~jU z2*oO%6(ZH&uDw18E0~Qi3z!*9;u)5Ow8cRYBB_7*#vfhiJ4&CS`7U!i_3<#eJ`>57TxkBONg~WpVZ_rBs}rgH{|BLpYn$YA{-+NHxD2_^zx1DpEh9WPO^q1$!}H0i zNG)1cClFl2@F24rCK{m`enqu&=GY{?fBJvz{`pj|BSRih&EL1SKr*P4z|n`GiF=5I zlMVbx=&o>FDIzs3c*;&k$<>QHg<+52hp`aw_eFV9TZj)vyqI3+4P8hg_AnB)i&#avRI6UE*VUgm#H zV-IE41J={Dsl4mRixg*)A2Ndm%K@cKQ;H68+MS;K-xmSFiBc?_c`olH<_C=;Rw{M4xm<NY9Yol7IlBQaOqjscEp!>Iwq}*(UV`Z_~6EkTx!pO3}XzQ zPE+ZIe7h2&@w|e;1&q@Y?C3E30Y&7G@fE^MPZh0%6#;^dEH$B%s~wmxQQ}1?1RX%f zz)~h*>5h!@iG>StRCdQshO6!myyr`xkN;KF=5@-}>|@`J%tYegzj%?6YsP=t88xX0 zuj*Ik6ZtKj;s11YN7W&dhvw8dgL&O`DA$>=WJ&x6HRLTwAGNl&Byh;uBILVLTeW^d zeD96g+?H(HA+?%g|Mbojgj(O*G*UQkPyB14m<|O3{2_DnRJQciU~zc99{_ar(SUBR z(iUkK0=%67#;=V8)PCr%WgdST{)I%hHRg60#kB-|p1#UJqsk~K9MPOyMWeH@&=LKu zr+3}tb;guN@jROS=^(HB34|pE)SvZ-f@5vy6Y9dueMlX*dsp=)FfNbzp#gE-;-Gi$ zyHBXfUY=%qs?_-0jbItlv8xdKy3#}g@EGlVxee^N?s%GuT>_<$FP48Ymq~g8oK;r` zaiqc$@XlbBi6pc0@l@>$$tu3}_YI+CFMbaAo=DIVfzQL?rK0AvjV9Sfi)JEu7nlfa z?&mU|%i6|5&G1=4f6;4Vhp9X2qx<{6xk{q!b9R& zhSMnjRGWfk`-NZG)3bkTyY|WX{4{+CsUJ3O*&kQ!ze{iboK}QJ%+3`{?OFB?e1&++ zOV;aHxRp|g&Vs*rN}#`N%S$v_Dpt4#KQ>aVg8EfoGID+N%a)moT4NJI!d)B}+6G8z zYbha+5>W(+@HVvhX>y=L2$mH~S?nyCI*AD-JBj406OsTiQJ#POX|$9(BtFE$WwduD zCh-X>S&9SZF=|O+D0&Qdh8w#6%@j;mhs1XBKPn#-cOG5J#bOw%rP|3Gle;Ft>SuB# zsk}t$fDsbPJ4IbKCf}oQKbW`L84&1#wFBev;oGulJuEbQYnNnT?Z; zE5#}U#Br1JNl$-1sgzYsXRH#BHqadis~qY*!PCd2X2IB&5m$!`aU-ez~NmYI7N=zucCi7X32W?aL~TgV6(Py}>L zki;;tpSezGl9ia6^k+O=gTzx%(8&hqiyUo?f!CtNTVj7}M!Bq9YGG!QVYZ^Fw#~*` ztqq1|e&2vtSVzk0#hlw~+HXU72z8ZqKV*Bq9`TJFd@i=*=4ts&o&a~i8}U%A_^)n| zcFdf#ZfKDXcV8DG{}1=Yknv|O{B3qzJ|k3s+lFOE;^Nsv2vMp*{VD>CWi;_k=$IAU z-z(QKQJa6oGs@CI(c6qgaNEjbPjm2986OO;T~)IY9-BpZs1I%!O7c5CC6=g@WBLK5 zkX(h+>l!DP6(tXoh-uq#V}&rD#mXdXhW@KY7W;?aUa?a&VSJ{JF!)pue)#QH*Qw(CF_cEwKLXv=f^+41I(5F0U z=fNGr{vTe2o%@J;8YJ?YVwNG3b>_CDlI2ky=NfENHN`VvP~|ns9BXJQ3IT>z{Gh6j zzAZw$Cu-dNqbf%7hBIlg8FRU{ex9*9k;rWM2S7<+nr*Q(s1Q-*>W&j{s3v&xg4eb* zpzMFZY~-8EZeUg$N9axZ6mcG2VC{@QmnJdjyN-aW*EI_vyVLFRYd5P!Xe19d$RnLw zR#v*UoSXTlGHQkf*Y#aO4#bqa3^}o-U6}D|wSsx=bb&UP6>6DSRR3Fi@3q+oS%5ap zj>AxX;-5GV9JHKGD=e^IpXYEn^KZs(vlf3j=(3^gA0n<-6A>g}qQv%mD1F?6P6vUC z8@_LHCFqOxP1N_dSwT>bqJ1n1j5wLyeg8$Y{qR@4dj4q)-E-7>kM*^e+FLlnO}q#I zTmM`&mAUnJQ>|8s0OU}$RDs(PU^Ag%%{=uga$3{ZJfr0hF|yV*Tc0QBur)Cks{zK-Ekc7@Dsdc*fw7IJ+gx(!Z?J1q?-PB#PH=)ckc6iT zhX3mOfA(KD^ycRwD+J@%_V*bNOg7gQ*U`4L?rL3Knz^ctFZn)@^iKpSi8&>->nmJc zmq;$R%{$G|OVEewRDYSm)UZTy5U9+dN~94|j+)vg-f_is2w`aH|>; zB>SUmK4Cg}91FDG#-;Gb2LyisqN(|p4k>wE(YG5F9*+xG*T#Nf$Ay`(niV(zwm?>j zE9BWbO-SM2SXl6c>{7oq>^K_bjj>2C7<{8ZP6d<@oobG>3$dk`Pcjp#E z_g8HjE6%Sh!dD&S9RTywrkzG4@76`nw~15toZAopngR$pC7RjOs+Y7&iz~5{5KU9K z2xTQe*m92D$7C-@mIp`{?SiH-7V;@X9=*F7{|-%o`P%uKc;NK#`2&|xKJY2BLK*gw zn!|9`>7RQIx${B~l3{=CMRyh>pzlWx^Gel-67!e)wxd>IlRViKI;v1u8_|whDg^${ zKWi5GnPO=37Fzn@u5}O<>>z5_&U|)`2Zr0Bdk&(>%s*YS*{XX0)Xq*bf(->`U9t@h z0GO)Hn%B3_V?|O1QbUyr@FOI*8x?(!O|dy#)jSY5XZJ%uD6)T@;3&AlZkcw=$Zbw~ zMhOv9ZBsnn!Uj*j=2iGk8wMxr7sRSBrizzSjav$EWm-eseTOAAJ4hg!s?y`tz!VIi zOjM9eUxHg(a%M1G+zl*4W8!0U+sq458?#vi!N;)^(;DkDroB@P{r@(RT^Hl@+zZqF zZTpD4Bx!aBa1np5e{gA3krQ7oQGMrbt(@#AzqcyA47q$@rhuyQHke4hd@M~EvZLhm`vJh`-E~YI2`M6tAnX zcC=~)zZYku{N~Se_^XHMis*afEdoZqHTvXfJSjWd$C2BIdpcLH4-a1#D!sPnyH^8! znlnNTv!e#iTPEwIgvYFwvY`ni&=*&YauK}3Dpit(WJ|Vs5JzC2qr=ff_RokEojX~c z(-o-;lqG-XpgcKh>>zcxi&$EPI|O8v7Gz3}3UZnRNjE|jWPl(16NMK1ePocV;ejf7 z|F@~F#Goc_E)U>s)pYAG#ZxAyo+1I4^fI@db4udcZ3%NYh*3OJ2V79m+j_0NkxOvNPhp$$XIXZ0_(AmFH)`uY zs1-d>Q5bR-6r}D=cXLV&!YK9PQTicwWk*^k2&Z9v8&962J0->&>76C{U z7mt%*G@No1TBN4ofuQ^bF}`N_IDb)gp~@x;?!s@vv0VAY=dKI4A()w`6%Oy8UZN%ujnJW3?k>sNIxgTspir9BMIw?v+f@z z4E8i=)Kr}O-GDwCD`KNWf$@~R9_vNe&be7wgB+a~40H|z(>wx@|0_#@V*ehfSd4!Z z`aKPu+=5zLxP>RaGscA@V37YXq6h0cteAlLam8I-VW}Ty9y*%9Ow$2f;#nx&FQPo1 zHeR~=#hV?k6`DuSh3n8LD4Nn7&qndqi=AX1-OGJ!2TT?6)E2=6KDHg2aWzKaEE-bv z<7H=eL^D~z|HqifEphmL2A?&O64ie<6QRTBTq~DdW9f&>rfMQBjzQ%SlVCrBj1u^I zO8fB4v#t9IH&lAd&E;dF&g)l-##q#(XJtZtT6$<*Abwx#lwL{O>p|F(ET z3m7PrAs1KPA20V5?X%|oI{q!&^NFDAWZwXTk-%xK)5#WCZMRBzbZPzS{}O*3n`JPg zqe7L$jIPe~S(%|DoQ7$yfluY-(_Z`i|9%r-%5GsFzSAH+J=UG>mjQEp9@f`oBeo@p zYqJehs1gf9THyr-GqJ`>Frch|P*DYI2LRPA-B(hS-xHm0ydpf>r?qW{PSrCaP#SGi z$p$&st0k>;a$xrUE*-iJm8E|aR|3)$s@Kj)4#GR1l7Lm`a3;+?0*>zL*Z$@7BS!o| zkN9}_Fzx;z^~({2UK>(*Il;_4Tc`CDLxP+acf+0PR7(6FWOEeD;e10I=;#Eg>6!>;zUP9Mf#ZK9yh|bO`j-4xpy0iPMwpMnr zuX{hKCOrb_{XvUmR|{8dyrhdrktn$pt5&*T)Jd%&#+(w0T?u)CuFL1^A!gx~5MXA* zi;2aS!WJ8K___QfU$^1q#`|lrvpwxKgp6Pxxsf9G%Np8sANYR^iajTogmZEWDHc^e z25yK`XgfS8DPNuCAzF|df~TD}$zWv>TDVcTn_Pt5?dg2NV0ux{ zeg}Exo4G;2h3cuq0QF{m$8mtieATinas1*E*e8B+t@=zLvFC+m)rISf6`H7~Rb}+w z_SmX4!pApBh8*c+DlBZ+<*6c7ow zr2@{&QHqchE~(j24mo@tL5&}fFW$(L9Lw@Tc|ADrnmK6+@0gp}TUq zFm+Vl^Y(vgPKD_k$!vxwk?&DZ8b9Ln=fFiFhMCKcb>;H6Ffyw4@|<9^TFa8gNy_&6 zd>?oWdsW(K)9sL|e6`W|+YyWr|G4r{=t<*=lW20oP;m6F0C;eiDw;qs>t@Oe7AVp+ z+p(W0ll|DK0ggK5fhub`~Lg)BFc+R=X_td>8UKYGiDr zt+2|m5M^KIK&qBL^#ZK_$QpI6+uZxXg|HCa|2xqE$wCs=Bw#qHyyLPL_}C(vRg~}? z4%>f*41cSv(DoBS;n;YuZWjus)X@nEG_FFCtQ8m;V0v+wr@+EmJ=%ODi_}!tOYzxz zF(T@il$HL~di0@PN#Y-}dd|b6OHE!!9;J_1#RaJ?`t{yW+jLAJYt+>pt;ql zI9dHJb7qEUu$!`I0G#U#I?R8% zRuo$q6^`s0e7V+jDp>yx-)lUKb zCo<_S+l%#(3DVXev`2uQ&&G9EC!T*sXlh8yK7@?EqX*a*;#T1DCyXo7n4@#HCjoci z)exVF>rGak;Kn;yqV9zCYob{17pWUsU2^OXLkA~pevbih-803+?6uV zPjVOO+nMc|%7d z5`S!;^&OTH-I?rkP7CED>VVB<3~REUq{=`APe6VuScI{08A93G!uWzmqjq!bqu}Ww z2KZ41%KP#9)IT$rUjsa$O6Y&UP$yw*G4v&qyI?By>=U_!wGy1A6Eg}IZg$FKw94BC zpIKt|r%T>YU($mR*76*>T%U7)2Yol6Lqf|`BW8tAPomj}iq6b4WQfu$B6J~^!00Yc z0$w(Lu)f;LMx}4(M}gxeYF8u)R9$zg*VR8%NWWsu1c0oSf-nJxV~c-h%xe}R9qE|C z38K<)&wVL0U(`-2DT-Y4e!J>e!6#Qsw@Pp@zw!m>*JMDK4Zl2QgW*ryU-r&ZUt@`< zHRKUGNPdCA6jz5so2jFNg68;EgC9M9Y%AL_vUNH9bYJQm6i;*(JaDuB1%OFJbo6IV zySA1Y;i)h{{EPWIUj~23qqujnI9r$@m<}wFh1=6oYBB}|R%|kuZr45Ao;Fk0;}U!q z&{(zW$NXq!in&!y2xa5pw7L`9XUKliW1|J*?x2_vJa~HQA4R!sS##W=a@{%z^d9J7 zaY$}vD6wFsmy{o2xuk*R)J~1FBEOM6+dU45E(Rsp*Lhaq^&Ed(6lY9)>X|QFoKXSb zf{ez}(RYnALVa)OmOCJ8?3_Ri_lZ^I}F6jQRt{WHmgQ?V1fG(iwfGL(o|5(HcM_KSyx8fyQO<0Y9~^H9^IgXuqnPW z9PRd+cG5VuRug{%sky_}00pqn7L9bxih?j5WgzBIB+P9QGGkLT<%vBYB{26Z^xgSh zw}k!%bq+h^M!rriEb?9!)ylM(;I3e|kfOv(p?Q@Q9m=CEz>k)Hv2D>|kj1B}6Bg9J z#fVX^;>mF|skH%D%hymdXx2IP^QfE%{=TFxS41Oh&fh?M9|*EhN3RL*DmL29i9Run zdwYlYi|)S8YdQ$EwX=pNU03I7>h10D6k5BVCy6*6t-KH~6_Ne!?Dl_FU&ZE=fp8Ot z8?OR~8?OV08?OYn8?OZte*!o;lTj}!f7x>zH`0ICUxCNATF zh|3Q&HJ12=A{CNy?ELlH2WE&Fa(GBdb|1D}f-pE5-M?;hH!x#)FG}HqFh+PQLJ-~w zskQK0NNC2YQc_5vqY?^AFSIbF64H2>R31nZM1)ppOK5X2&BE|l8mQo0gB2^3fA%=W z3FRI1+aR=p1*MHbhY}WYr7$wWbm%tL*#qemRFDrKYFr6}oq)>Kz1OH;s9yrLC$0hKo=KLN&#OH+LcFu zalS5rA%!w&4VWpES34N3N|<3vSwanF7^UrjLdJ}h0H=f*CLol?p%MsG!d$~@D5P}~ zpAmlVP;n7q2U-9gpsf&Hs3_!78ARFn1Dxob2E*`(DXd}<+z1we)IF*Re@O!Wpp=LR zf)*`WjSIL4f*L^IQUUUzR8bhLs8St(t^iD66uAi&$T;ls8Y+lslu#ifilAQTiU5;9 z(~3r-dJ#{+mVosrg|Y~zjt8K0KohtHd&3%NQDH@CfC`Z&DRGcSF2F8Jqfv7RIFvZn zg2q9SP(%5Z#?e9P17$!3e_#R73(|oKfCXg~ssKb#2A(8>jwY`p8ig{jfD9m=GN`JE z8vy`Sij)n2z}}KLH)1WwgCBl4D2~NP380qZwJ6?y_(f>x4>faf2m~iL1Q3L$7um9MvJIzpg5gQ7UG8=L~#m;0gyE86p*)R%Bh4MYjynq_`7e?(Uv!X7c<(1EXuhv3b$hcbA7h&x3d>QoO(!K`{rfI62vH}BQK zq#F0#rA!p53<^2smAIa-?V|(Pyfs*N0i+6LJoEzW07iPiK7iTtC?ge=)-feegjYZ( zItjCQM50M^Q$2v42u6_UrxmG0|GH#?O7QD2Apt=^rn*$*`koFG;JOB`nu0cO|%RuUCBfB>EI*te2a41^Z&~KL2Fiu$KWP|kSrYaIp_n| zQ_`-YaT@X?t9bjN{eL@}5y8(UIy{dlb7{#{U|z-4c^s9pgihINazvb2MmA#$l3bu9 zuBTKGHxAX%duqsKmc0pHYy$>rxI@F%awPX-;%Z6@HBuFB#VAo_8%qs**JXf>48C2J z=oF}K!5M|7h5VjDhZVqIg6AvI9e7WrL5C2*xnO8Sw_+etfPd$cB~h?Yda6SvDRD9l z3IY8JCdsK59D-@tfogy>mdqM14#_1>O`JsbwK$0Rx8Bw@a+W-z=|i;>VXII-sSc@) zc1V@+;MRl+wL4|Vd4`0kA%}_%*<%cZ5~Os9lPL|lLx>7Mr^I%oK$$gpOMnZeIZ_)* zYk_%K7y>IWqJKF=(vse?k_iP=xHA-3Jy<3&f#$-c*JO%RT1BI{3>x?FN(s4a>j#p3 z)O7mg2?Q?lS&sbwY8grbdZmQqADKwMg2WJ+N<4~Te(Xro8_U`zwwGyqqTQ@PD{>h$ z${{5^ppNR0nwsEfN53{bl{f+L&k=|euel@x1WZkkuzyvTZCv9mrDa4HVNiEm;)uLY z6XIOQzFmLPY$};vUV@<`3f$t*!v#s{4p<*(4LF9)#5o38Wh7&ckN_FBEtrW1NlAWE zk{6_3I3$o!`+x(v9-N|_k&OgK1l%{gu#~Jh=7LIJDzKBK%&ErPm`2nsHSVmER9Cna zwUxAM>VIVu9@GlkF+H;`(!6FY_8X6K8%rf=X4%ImVGVx30zBC@TQ}D&2-&UeQbKxP z(vYlqS`2aW96wI%#xEpo{tNK}PeFqIjTyqb@Ja$yRP zisLwGmwcO-UP&8V8mOypb$5|4-( z)_-4C*Q}6cL;{do)shB#^kiLS2?|hKcBQ2wEOUzXBt83xGtzBCP#|2K_Lg0)e|s>&drC* z<#scq8q8n;rF57kie%cx5qbeRH6D{4%zrdAp=m%LJPweAT?H$9x<*7AWDvGQnGGH6 z4R}jvr*tM6iC2`;lIcjxDJQmoqN$Az-4#B~Rz^h9Jq?(@09j(ilGcvXXgB)_C9O*(CI+nrNBbrRBh}NLhHVs;geJl%Nz3Z2#(Ye!UhD86 zmOx_Fv8uE2JO)hz6&M>e=DjQs*MHM^<|OBwX>tPT{b5_)1j!2g2||LOVb04Ig&cSS zJBK_k^R-qfF!FgBLR_ky>8P?}qio$A;&0PQ|**wyesE{D*V9GV`mb8$1OeN3E zd(lWjs&nsM%3Ow&p}1u|Umb5I@PI+NjwFX;F;&D+nDQb@{CS+_I~v8ewV)wI_u4U| z#5o_$Pb;XH?uAvo0*|CJ#(zLpRLd5|JRt!{rkY*O%uzD<_7HxSPYLa&Eyn^|l_hV^ znqtjn$Pqmy8+~cbo4TIu9HkAEJ>pFk25(H{>YqHFZ_W_F6deXzxmw8bGd{^t#+LH7 zCL`1Uf5=+7)=HlL;>3FO0QFyR++I@cSo!z(p*Wa|~q9i@jn7{p|U2)9# z-_Kw2gLf-@w!#?1$A8>Al!~q;(9cj}ot4HZit5y&4V{-Tcc6=Qx`M~M9=sUjx5bJ^ zX-mm#scEJnKLVQ~UC-C_cxIwa$8l>K+BiyM>R7tw!P03R8D;m`yaU!b5J<#mOYej0 znxdVz>?eV#%}PgZUf~rO&uB(*pAIFJbb~PfU-@>rZ!Z!;v){)=Pp-~oIH{)nhy2SS_cqT+?@ZAa?Q5}D;fCKOfk@aa)JzJ581`WPXuQ~8NLYkBkix)SvD$#FFw&PLaZ>5RWdc`>+xo|li$ zjvpQW^V##))2qQmmiLdQ<8v4=9$d_Y;gLs2({JMAeG{CxPv0Kl{kW7`e>x~0%!k!v zfqwp=csRIzT#YU+(<3g3efMPqLQfWh@o4y9axtz%d4EuxEvl=xKm>Z;r%8}P0FBGR z3_oZ2NAaLIDxMWDi`T`Q;%)J+7!;q2VKJPJrxPfzt_H<lm+yK{c@dN-vxN@j!kiNpN>CLPUtLdZy zyb!4Q=o^5wxSUm0vG{%32b9K3H6ye1BV1llf?hyXkdxaWfvw*2}64ii)2C z8jIb1|<6vuZM~zATPL7yK~8VfZw^fvvOvZWq{oGg}(LuQ&91$7nO7H0@te| z?&TDpzIb@{;cXT}Hi~C-iDr*hFVQcmmS1d#k+54B*U0LAWiyv76nf8&EEBXGgBBW^Zqwp(kvydK}oi{FahZl;Us{PUPb)ek(7 zp14XLy&B>Mhu>Et=6zm$h1Jp1vx%?u_r)K@AJuHyHjKU8{;Q+2*GG@CXt~)i6o2{y z{Jvb{2kL){Vc1^7V54{p27%^K8w0xqj+rZw660hRArn^L*Pygl@Ob(5$2V^ql?9m#=<&^7DgQxPL9q-2{!o(SKyp$a{z)qJZYQ7rXp7g!T!1|P`KX#z^U?gaF<>yfS*#BQ z7z9SkDA1dP?;HSD-20u~dfdycA3u2X{HIsTY<{!qO>OX)E`NU6WyOXq&&V$K@oLhc%DsZtgC}o}j~}FC$=Ua-&(raI z>v~=E^%F}5?^QI=kNK>D`iVGd~8HhO6?!k zS8ug;x%aCh;SKMaHZXhn?Xw>rJUsm+0kbXYfx7Q&8PaXP%(L|NEtYHDVr>A%Z1CBS z!2$i0pI--yeXjs19Dh!3u0F#C8C@)|1am0!#DZMW&Ey=052v$gLw2F$UatS-_|Y%N zKmYUj+0k=Z_M8x4Lm99-rNQi?%C1O^Grj)4@7}ECgPhKhJ#EXe#>1XWhST%Wxh9~nDwMA;3dWc$3T-o02pzIml7A(CYXe4Y0>YRSzLTo! zTP;!`>Zm^Yq|Am)gN%gqOqmadEHaHc!%VrRa0ZQRTdMujnq)i6szubT#9Bm~*_4QW z$ad^S6U!qrc1zb>;YW{a9{n1x`Racg(sR_@Pj|7BH|+ZC%-EuVl} zuCdy37jD)5-1grMwYkMVx3iJke2=-X3%7cIZhw1kX}Zkn-J_V<$!u>C#d^=RU1qm= zFO@O76SB7mW4&k14zqH_40JEEewRR|ZV||K`1+w6A>_t@7BV+xR~&;it6bkAo^AVJ zq091$4clHDb}R0|s#TtE5!AMPOweU{C0IzjZ0N}z^)5W$BDQV4Y3%O56|Qrh@lLE^ zd4Fa1S---vzD0!FcE{J{*l*%E56N;DhHnw%x_2gBFR@~~KIhQqEUs=Yt^VHJ*0gL? z<~F*T+s0LPZxP7)U%_{i1i3l?$}<|Z3$y0$O%`>|tk0O$yD)42*7U1m2U+@M%U!r# z6Ukl;E~@!K@o;*BcZCPV)6w}{d}J3PSbw+Z75O*orgN@;d9xUgCP;)B70G&$Pm!Wf zBJY}sqXpg`CTI0PqgB(Ck^ANrkN@?Oic%m;syQ%xK2c5I%Q2q z`b~6fPG=22>9C7*^d>qoqtiJRF&$OYi5tlHoQhqg(%@>=6XA(1r-~QNp!a_qPk)E^ z&lZE(;+|lW690JoWjb9v-p$n4$i7VVmVfe-|?#R{GRa1V7`nlZf0acvP>dggX_TtW3y)zL4Rk@8qG_u zWplZ9J#>XfY6nrIPHd!0@c$!Qmff}zNBV9n@~lI*74g%t+luU(6;x|BS_4;@Z90Lp zvmMGnIGRoyP>kJi7TUV9I%w-k1qQ_5Xykn69OOg$Sq-S3?s^fSX@iS+w}+AADBDeh zUb_jE*Ux9TmyhgY6G2g`O-2_mVZPVU#qrs|hAhWMm25#J?JL$d{rOn_tWJFXLJ9_0J55qxKi$pRDH1!YfA4&P zwUeY3PzroBE@&B)!%A2MX~;kYR6-S0!)jOqHLw=e!6peI?MJ9(`)x1`Bd~`H>tO>Q zcfelQ1v|O0k>p1>3`b!c#^4|vfkS+`o-_mpU=)sVVFs?iW!8LF(i8I>}xl)pIMp?V3op7;&LPA+`()F3kaz*D2hy*Hkk zL>|t2Y8H8Z(^HGcyAPgPB{5OusZA1d>Zx54f3lvkk{nnrQimk(6g+iGs(AT-yCijE z(Nnjio-TRn5lz1LloQRAe|hQ^t-J3jFM9itr#{hzAy56HpVC3}%d5!OYmvoFyf(oNW)B|WN%_>3UhQ}a&&ldWo8OAF)}nUH3}sqMNdWwGW4iw diff --git a/paper/ltl.tex b/paper/ltl.tex index 9b370ea..7bfe8d8 100644 --- a/paper/ltl.tex +++ b/paper/ltl.tex @@ -16,8 +16,7 @@ \setlength{\columnsep}{0.8cm} \title{\textbf{LTL: Lean Transparency Log}\\[2pt] -\large Distributing Machine-Checked Proof Evidence through a -Recursively Self-Certifying Merkle Log} +\large Where Deductive and Cryptographic Proof Vouch for Each Other} \author{Olaf Horvath\\ \small \texttt{Olaf.Horvath@zkdefi.org} --- \url{ltl.zkdefi.org}} \date{July 2026}