From 7a6499c4527589dee0bd21972713ca1a6ee980ed Mon Sep 17 00:00:00 2001 From: mrwulf Date: Mon, 17 Aug 2026 12:54:08 +0200 Subject: [PATCH] paper v0.14: the full-document eye pass completes the referee round MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Operator order: every page of the PUBLISHED PDF inspected by eye, all 25. The flip surfaced two referee items the v0.13 batch had missed: (1) the notation summary lacked rows for the consistency proof C and the flag b (both load-bearing from Theorem 3 through Lemma 4) — added, with Ext pointing at its defining subsection; the gate rejected the first, too-wide row (130pt overfull) and the shortened one passed; (2) the HIST chain length still shared the letter k with the Merkle split point on facing pages — renamed to ell through the game, Theorem 5, its proof, and Theorem 8's cost term. Gate green: v0.14, 25pp; pages 8 and 13 re-eyed; suite 156. --- paper/README.md | 6 ++++-- paper/ltl.pdf | Bin 223273 -> 223811 bytes paper/ltl.tex | 17 +++++++++-------- provider/src/pacta_provider/webdocs.py | 2 +- 4 files changed, 14 insertions(+), 11 deletions(-) diff --git a/paper/README.md b/paper/README.md index 7cacd39..80c49fa 100644 --- a/paper/README.md +++ b/paper/README.md @@ -1,6 +1,6 @@ # Which file is current? -**`ltl.pdf` / `ltl.tex` — the current paper (v0.13, revised August 2026).** +**`ltl.pdf` / `ltl.tex` — the current paper (v0.14, revised August 2026).** The review process concluded in August 2026. v0.10 folded in the corrections queued during the freeze (the closed consistency-verifier divergence with its `sn = 0` root cause, replay-harness-integrity @@ -10,7 +10,9 @@ verify-path instantiation, and its certificate appendix; v0.12 unified entry numbering on 0-based leaf indices; v0.13 is the approachability revision from an external-persona referee pass (house terms defined at first use, theorem statements carry their own scoping, notation -collisions resolved, FIPS 205 reference added). The +collisions resolved, FIPS 205 reference added); v0.14 completes that pass after a +full-document eye inspection of the published PDF (notation-table rows +for C and b, HIST chain length renamed to avoid the split-point k). The version submitted for review (July 17, 2026, sha256 `7f140356…`) is preserved unchanged in this repository's git history. The live copy at serves the current revision. diff --git a/paper/ltl.pdf b/paper/ltl.pdf index 5f788b9d124316c565c71e5b03f8d52ccea01246..211ad89dbf8162c1f0084e9e02447befffdc44bf 100644 GIT binary patch delta 47086 zcmV(%K;plt&<(@X4UjkiH=#KKe^QmvXn~gA<;E?q~-a-jls{A#poh9Jq`i4GM_^YK6!cf9d+L2o8GD z)C*WIT%8TKJkc!=P3Mqyf(>{}LtI!Y&GIZ=2gM1$tGpl7IY5O;roY#cx`WB+naXf&f6TyH@q8s{e##PIni%~)A`z!m?u$nrjJ#! z(k!7eaisCspqTScj-30(a zYnyJcVXIxDFXdyD0sL$$vqVzb5+V!{S6(c#BB%vOpouJ%Tk6Oq=7D2nP1LG-D@ibp z1kM)<2L%YEF63|x64M>YBB&WueVndB1rU9m5%&mY6cp&2xsR@le-pd_DNUKA9PCLT zrf0T*M;+!}0f0{h9Jop=7Q#xy3xJ`}> z+ILUUnb%i&F;2p=fP#jrMqwjG8?^9)n~V#cJ~<}~H(ZLAG7y;S5b$&Lbc^6iT*77&$jq{; z^_n42`W^_K_$390hcFU`BooIVbm@kJwx~Y{C2}}qKMr5j<}L3H5;4<>l*-cM1;_^< z(L7)u=r8?He`zQDAh;kD={xJB6zyY1a7GT{f3%CmwxWgC?rCU&V}0i_3U!m$vPw0t zaf-r*f{KGtsX-6t%N_Oz>x7EnBW%WJWsd&fMA~4a%e&~BT ztHd#%1?{Njc-4>x!EF0J<)t|LjE^x4<6q-)wa7fvyoBcDGnwZOk222$%lkS?@Dj}k ze=JYxI@(B%Kj?4=?7(}@4bO8QkMmONSm1Rxo8&^r*)`OI_o~5O-%$d=n)+bMi()WKx^s8Xby2Xmq!r6qPsf4}NmsW~FXwX=qkPShmH-I3Bm9w#Ef5Z>S; z?Yu9$IW)%{^L&j2s%M&HQW9>i`c&G*2$pevDKHfFT%E{Nnqj^MO6j92?e-ZBM z6mrY*M49bn93B=9jwIspCd}HY{zOF>_k$5JD~(?zfm3e8=QGDcTn&H7t;5J?t0cHe z8fn|0bEb{<(xlX>5?AZgb*v^QiUuTeVFUVfzPb>)t=+j2Ck#l|%M&y=)^NV=NFtyB z?m5I3EWN7dsb=Gh%B*gd7QP3}e^w8ItDXcXJasZ%(7DsKC;1lz*D!?>*6EY<1f;j! z7^Cz2t_nwG(mj$YX&gkz;uR}PcGwUetFdN$*ZQFH<0>0)Gp==47~LEBtzkcr@Yoc z5S)Yuk8_;NSm4O5^DSPbe>=-ZI7ka6jO>;72_lVd&1e8nX4U6p;H)^(HAEIB)Mf_Nc#6KD*)>>c|yLWA_UkV5s$%=~s^iCf?|q!Mw|$b31EQrkrN6|P5;vQRt> zT?x`5RjJtt0x`L-+^s{c{k)*aG8)ueg>|i(>AzTe!xHvry_pZa_0a(|TD*1W^W% zd}pGFzBvRWTXVvyf2o;*6!c80?#+;TO|6U#^Eov;t7K;+wsMD)98XymdXkc(nIX!Y zT)bnNHA;d^l4$osw+|u&cMnnPkdjQjren#knbnXNY7^HVQ?cEJL^28qKhKM=gS*kK zu{n#&FlVvnz|kr7xg-LucvirtS!B9fvJR_jB8875GW#+Ye@0I)_p?mg z!xW+@3VSQrf92iMBFU{~H_2E+TfsNabImh z^LEkX_5_bLpH52wCWpDSnZr*vt4?8J_9x6eYv(sPzS`QV>?)wlL1f@NG}*Vn9B{H= z(bm3dEAVWesn|T_)uGq6m6=XGa%)>oc~OJy&0nXDe+6TKYuR##k7ba_&0Av zdH!KP(+~lyVp6@O}LAzbFZ#U7i=_+~#lWE`Rc)6@%Xo6}JChy9mWU_hXFCGXh-dXWf5n zx!uL-!sMR~z2Rn;x1AO~r0;&i2S1YU(h|qKOgZ4eFOfj=W4ep98!gVc*@73riR6;; z_rps!JKWAb?#JUu+VgP}aOr=Q>6bmmO*kPhP-wzPT7!#>+jy}O1}Ga&vL%XH#x`5d z;geD(ZPlf(o?^QFdmbIi~mP*$uRh_5{+L)CejNl zB?1x+?1=MlfWLn3y302VP9n7i^u)6SScyWo$(QM=BqAWe>5wQi5r8{c!0<4g?dq}k zaj>a$s6v35ibt$b0r))zu#p_%j+p6==D!&Sf+y_h>iN}m8mN2nIDqb1!9lw0VDbNTMDWMsm>~_{ULwL0)k`7?J*fZ zxPh+B7)|qfB^b{**3TJ%Nl^w!aV$?-NAP|xSf<4%VxMoP-h0MF)$aJd3vIhz!v$D} zN)c&=g#UoiV__`Nw?WVL5`%y?6rjAkV6@t1q{zE`i!J7}+7UMIBq)J>)yffdH%?Wi zUTSxy;Ttoyuz%)mz)^oB(Q>iyi6tZpQ`rKWMfG~K`ISjrpFl@OTbOgGwvuONlbJc} zBP*Pu7 zlyMGfz-g|fzqkXv><;qq1J#diMsAZg2Xla z;Eb>`;7k!FjWAvnNhgI3V}H88Jyu^;XcU!~OWkaNAsi2XXO{-z6L1_c2^WK$mN~dUh#c!&b6-c<&F~ zd(D!Rv*#0_TdjW@scNgRsNO>ng+av*FVSkEjdb}IzZ~woA-{SRT+Xk8zN0h`6L=U0 z`N3Hk_v7$d!RN3{$j6|hM!O)#2#NO7x26OE?gzK#!`~YFP`CDO2uKm_gcBFQ`F(Qx z;1D?3-+l{dD~ts9&vNVa68Mpd1*huj$p~4NC@!7DPR4%-Xv_A85u}DR&V}@Hye9+V z<3dOeBS;Ro-#TLos4>eHD>NBVr&yeetl&B;Lu7?FStqOABeJ6fR}e63?Vh-bE#%oL+6h}bTR_uPpjV}Z;=zCi$C3j zA&?u<;#PlmZa%hovF|Z7S(TcExn_V8#qb;CpA=wC_^FsrX{@r{btlZkmLv9f2n!ceO5G{*}Rv1Y3C%#W7|vwy!1__=?W zi8SC5dl97_5-OIcffHuDy&2;P7)#rAD%9W;3Q^;C8podp5EULX#vbs%GG63^Rstv zhniXvuv7&S!E_lbD5eb#h($$raY|=3XG4FnX|@Qwwz2rm7(10gC<2r-6vKdjU}0^Z zeo;TaDXAKKNyZ0*F_s9aoLPb?+I-<8P_U&KH$8of zBOxHj7`x1Z+YeP2$Z2M+se$tkmc7GT$lNDIw#O+fq63Gtn#l{V#cfX)cUupnAzvdtOC~V-2@!) zgK!_-3JuoutDnBV8%F@R^!A|!zXpYjvAi<=NU$xTs#NPWN0@Q zyWDU>oua*3eh%jxO9c(4j8Gko-#-jBxCd#uww+)&OI)KJw1fhdE~Uk={y2Y{CKJMA zKvj+!wS;-usXC~GV`T&D^^ao}(dkgJDU@NmxjJl7y|1-W4hEhcp}o6N*im^oxGW)UHpRmo-4@=%ib zAOh3pw=-u?E5=;0wZ{QfP$+-KR#Fs0Sil9qj*k#e`0sI|wJ5ky%D9&HUk?Lb%7JE< zV3T(YeL)Tr`}m9Mp2MnVkABW>Y7^zEBHuGk8wcpOm}3Ij_OB$E6X$u`{=1E&c~N}e zvtOt8t+msgU4=wbXP|7!i)J}!FxlBHjK|I6F4;1K{* zh{s+0cDS@9)+((Yb?M`qp)scj1|Gc`lek6&BgzJ4Uk2H8j<2 z#W>M zpL$D0njv!|V=sTJ;P5@_!i=M~+O8L4z6KG<2_Y}AAYTttl_BLG%afeg6MTHDs74HC z#GGKdD~DmsrF06235P1sa8^R+>d@kS6u73+x#rDLPvtA>kv)TyLcko0<2_mCDzsXP znU6cK%o*257O1vO^DmTs_SmymxL>|cBV#Z<#`G%k@dYGrZ- zRYo@)QEO|%D0UPpiSM#Ttt7|?bUnpcH!0$S@9Ze?h+e*oXfqV#vIR3(i)b=&*8)v5 zT3ys9TU?)jL#+*Sxp@wr6{l&nK<70OSBh3L(i~k}Q6>n9T!TgNY%@|Hnw?d#yUJzJYpEpB z$N)fzG#DpU6nlY0clBPf_rnJz>UHF4qAa5uer|KonH{8HlR#$trKl4@&oG7KoF=e? zj5So~pGO*W>Vd%==qGe);O3A1bSJPwlUB+ykJ*1Nkx`!px(}bS0K$s1cEw~*IPuQX zhi}b2W_HzV$b1=pv7=IQHlvpW>E!*QP%bO3@*$0oNOdyXB{&-1h&REB`;NCb|8(Eq9j+yfJE>=-e#D ziwS=%*~yZWp>YgH=ahhJRe)!6u7uP%Z>PX`@ctB^*Ce#V!P9bD%FB9~&aLHXK}hgM zom0!;Vl&JUa9&V1&w07>N}b>U?H08)@KmJ+9EDOCNv=;?tY~nbOf6sTC zZ{BHL4bOmL<`bLB=|yCs*ZJc*rRwk_OR98eO}W%^5crmy^0 zS_q{{>#Qe!+ZN5SEsU+eCR#pgepJBB9ISBG8Emz$(Nl6z!;^@p(ggTkq5>puC*N0f zQ`(1X7?Ic8$dYm(!fO3nk1gj#rCYR6_lNG=xOM1S2a|4bY@u(A-eJG4mX3g23%$W! zd<&VPcC~xNKUK)7?SmDX&uxDa(0`?{ELX3(g}o-3mct_7v>$yNLuoN~((g^CO0ZsP z&G#jJeMjwz>RR*`mr5)bsPeQl{BYR`BEo$U*QndAf2%!8f7EC?SzYg?i!_ zEnTG+`Iuil)4o=q?(AouEda^?8#sL2r=oyX&_-T1k2NRGfapmns&=l2@BAP^n32MS zxfYyApW>}g*QWZqUg3X~Xs4E^%c;JT!RxJV$MtcyjfHc&@ELEhHm(o zZh%9BONz}*byjqtFPGZaSe@v~i*edxrZ0Tcy#<5yVuj&A_$mYZvbd98VF+bV^+uDq zRTjOQAs4P^9h(gTT)))`FmOui9Tp45tr#%reKT?8!Jft|`Fej5-glo&#G8bnLgzjG zFcC?u>GxzR-mvZU!}xp+s7A|l2Bd$>4hT7`Vvbf(%l??%%h&A57vp!=sPGb+P}yMw zw`$Pw(nm$8k;<2M)bStGr2S@&BG4Lr&}Ios8JpSX>Ra4I(;3Lz@S<#M8_h&FgJJ`F zT0SBbt;70gierDc6RB}kche);MM1pcH5Y~?2aS>~RFIsS=~~)&%5mc1Xy(u1H?0Hv z+w~( z03L%e)Vg?$wGm=ygS8>iRx2;{cgdsjWphp`FxlhiP>p|>Wj!BvBb%4y;1=xqx}rf_ z`1tO)e?Nqg?i7Lhmm^kg`FQqvGym2&RXQvGIYEW-FZ3%x=$Rp}z~+#}QF=N?n1yW_ zDSLeg*W|;WR=ZL4OT}XjBxaMO?S41IUSQMU&MaWsi#i4M>KeGAj5oU;tT`Mvs_(6l zh$g5%;Vyp)YJi#&ih4QC8E|D#r!Y?CtoNMgt|lrzSt6vMlq+|A z&AP;uOpdP=(@W~Q=*w&y=Fq-XFWuts{W)&({v2jH!rBFQG&T}6BVZZJKWB8cfwf!r z(G4hWAJ}F-u>G=mY?LoE1+t$w+F+rFK|%?G9c_Uhug!&Zfwx>YH9wvC=(gW+ecbJM z&2Hh~rZ@&R&}M76hHEvY0#z*DP5bp<{s(q&|1$mmw0!>TqpN@Y4}T@a z;)NG~&Ru=*0`%12@84;^6I1e-`@%WAcXux2t%I;umAATf6=|Vy%)@)H2tH_ z<4szphSIbx)dC7lYIyzitJn(km0i3QQUW(Ji&jp+6)s*o2cfA*O{Hs^imMy5SQK=* zX=U5T+Qk}r2rSl0G@bhYLzco!>~LP3-d>@MeR~ zHzr!36y~Mr7qH)MT4-;YDgIc1n$0pSpq)

H3Qq4HI*-SZ})R?(6~p%J26^U!)*f zEZsFszy>Ce2%RP;kar+>%M3$HYG)^ZkJn~#8bMvgk(e84(8EB~X>KIsg9&^m-vyBq zaZ4U>BFXe?xyqmFHEp!pwHe>0?jtjcZ_V?ecG;Tqi!x5>15V_LR#wu_bO*4tBWzy7 z&$f3Xu_5ZpF!@^qr{jG8>D3MR>-)Ep0g&L7N?00xb<@Y!ujT>}wCP{UcjG{RMN7`( zFwPkp+Wya^M?-IB=|$?cKYev0jk$g|oik61nJ44pSKB*^6as1_%Z{>;w=M6d*V|p+ zDB=-DK$yjq!JM6t@6yO86C+8{KuL4FJu~)rW@ax-5(K>7Cf=}>nP_<%qfJ{Fe4+`% zbb!=CL@EeW<--4!f>J30*jDwjstDo?QmieB8xUU(fjpR+nkt) z!#bRB;-1aW3=o@XB+2zH?R{%!jGnf>FeueCa{3Kfy2t3FoQ8`TeO|t1ne!4A_JwIB z@`{jN)~#q*y>v^pBYeC!UUi48j`U~ZP0o#a(x`VCE0jFqcCD82zHqyLZ+o^h5I2y@ z>s#Xf%~a_U#0umo;wIuEmP$OYS9-QtTCen|#Y-rg?As|*MQhO?FO88_<)!|Rr`ult z>6=NX0E_fSW!YaQy6?7~=t~y-%eQYHW^1h$VU_leS?l{rpEL&RgziPperIXlOqd)E zQvvmQipy>3%entAUJt=u z9V}{GtYzV(^ zOQvy>>fYW#tioH!JV1O`c2d9Ri2V5rcJgf$-3-6jCn%NugSS+tb5DP_JxiWX-BL2rwJFT>p)5-loH3BJ2io-{#-OA6cqJ2O z5M?3~c>Dz(5|Z?PCJ~s3>W?yWeRTeuV&l2Wh)txNO+ACu+S}ZF=_5Y72;4oC;YNB= z0~vR0ZHT$#Rni%M3`Q9;0iR-e=|dvP+NFYakJA;|Gwg7sDEkk|khqJjTKJD!Gp{8b zC304i*!<=^mpRT4;eqh_*5E^tD`jATP0xneTR&kq`_@l?zE|t%PMgTjpkz94d#&d^ zwH=#b1TZ*H(3u_3PGXdQ=wRVr?3Vo7k?+)}b7{(%+;~X~5EIrd{7f55>)Um$%>52E zdIsNoK?}Z}i&P-fO&w7okZEE@eEGSlFswm*S+j0J zRyo|-UhI8Vj%ruiWw15Y+LnP86F0+yBl}If^)Agq(?T`(G5fDE`DXUQbGfJXm$h{^ zpx|Nd`yl~HI=J$W_WW4u{fm2U&EWZQij?$vPrs(!sd4IvaSLj%ed`Iq!7ppwC4O1k zh=}`tRcxy=^HX$>Y#$oBJTi~~U4^zcszVuTH~KWnw7)9%ian#9l|C?u29ro6?|qn| z{ER*WTF@72Xxq}B*a?Yy(@Ogfr|u39w0XDO9W%vGFox#+qvzM#H;?|Kn5sO7vm`uSJKFOqh?n?nx6y1=3= zcz57&q%Y2(K16zPF~ZsR4TOJpKrEzsOUArjoLCq^w1HTlax4cybbla>w4$k%1*N&s zLb9hyk>)ZHOh}5K0RNmZ34U>!sQ9$2Dr|=mr8Dv3lRldEfT0%YE;z(RzFB9>dUr55guSPwU|D`Hz7G(f}A;H7=%1^7`p!P?k$&C|9g z1c^LFaj=|?mYBtU7}h^L?$54YXvv%$CKmx~D;pBV0)s9RuIx>DY;ic{r2bb^o*%S< z#sfZTZlxooo%9rVX*F=LYQZSP&Z-T6C`Sh{Vwv`J5mbsFTPOd-L}D|MxI2;A=bQDh z0^&J_AM!(+>Fzs2DCWil6a`Is3^?0~`8mNOm`V#iW+ajWM=y+f3}|nNGAerThIJCa zOjlu!9t-rz--ak9Uq=)LODbcAklRO#CA|xZ-gD^}fzGUaRGFvy=`F zGYnV7--0XdZaeJNllV173C>ZV!4|G`!14ViVp`KCms0=0q_qJW+(vsL@94NS^Qw$N zY{RPf887t<-C^)hRE;~=l;<a3d#LM@@HdS38DQ)~S?#zil^KQY5y}?bw(}IP;AF>&);F#6^I%D>qZS-epBB zMQ0c0b3|OxeZ^o;=Vxd3f4IP&!p&2d21e*6?|MfAQE zX*QZw_bU{w@8b7pO!NDH;4JXPVjF~2uH?VYhOuacPYGioDYy{r*kfMnK$f7Rlau*w zsyqW(B>p1&$SPIhRv#11G`taz6702U#Mp(K>&`%RKuZ6AbvbY&KyNqqO z#cHbuDm%rEf)UhlqkMHs9h)msoQ6sJ0y`O`H~hE6Lt10WPm>0J7B+k3<5k!JmyzC* ze&1!EWy@X-mVLa^M-!!XmA|UDJ!6Yb#i6TaY6`>~E(vsz)-J}#5}WdF#;+nN)J`9b z`V6fhk-E_(QtgM%Q)G=>vciB1eaJ{eKM9S2Ih7#Wc|q%(Jfc`-tpCBp=m@-{MQnlh zFQy7LvBPZPUH^W6@X;pLeZLO+0fOhY58s%4;lDW0}+MPv?!k# zus1t4TBFZ|mPbHR#JrWi9pj=@@&<$$l*$93f=49Cf03w~)Em2qH~=2xe?Ceb|c*EW1@jp#WUyf%kH(U3q@ z1+qHIZVw%>Cj#Xt=0gHnkNx{4S5nmoz0UF`Y=y|=!Ha22_bzJ;7O1@fvC>`PwgDOn;{$u5#jIj7=| zsnR+nJ9#%a*~DVOti{jvLPI4*|WaC|4KqQvE@=^H~V)NHx9L=eF9 zDIR)p&S`&I@fhCpMi~ep6ey>mz=AYvpw)hV?)_t*xPK1Thcg&4Z zJ6jm|Ql-knGf;M8QR)MEaw7StMBk{;6IT5{257QmHRaULz_)!n_T+epWBbyD5HOxz}bs6RtZ} zx!^8yt)=?y};re=A_pj}_gzkJr@}jle@Hm4u_U|`ncn}hy`>Z_inI|0puH7$hnyE;Q(A@GxpuB`)$kuyU=Qa0TBeOYwNvJNWpqgy02*Ctn1yq-E4|i?4`U?A;E=*;`?Z{yB zeu+=K%!N5P38RJ9`QF+mwC_4YW!KR}z)SD;i$@SNJz`NxLT|4PnpIRNM^qqB5L$EfaFi`5Y-cDlEVF=<3f`3wlz! z{(41he32m7Vk14AqiINE{i?aF*+Hg^x%%?zcUQmd?xoR485?OyTq)e^Lf~6-dGB6& zuCiX(?%r~Fyw{UXuf{Qdua~Eo{0)c@()Q)^PsF12)rY@-T>t*dr<==+=ojTV zsi9wJwtFrn?>0?$&Gn}L5Rx!5LE+8?cE_L(`K*`hSQnnl zIf_ss$C9=@ec3=CAUPYr%nkmDXSl|#bOAOiWQ zC9>Hv>;2U)KKS>^mgZxNP?d67E4UPY-cG560b-6PcYQp$9OB8P+J#+mi`A;`%qI#Qyu1{_9-;@Uno%7 zc$>CfNZpT4dxpBT*@U`hpq`d~aj2{wB3f2FEjdlODsRBlw~Hqlc4Mdpzr(kGbAV0- zU~3pgx==&(0{+0b$El7AJ_5MrKM$sbWJ1Apo@2+WbZo{{uFaTv-1<+wt z0JDK@?`ANhmQ7C0&t_PXG#nt)1ZaKs`MZp_`0=>_z^LgJz zj@?D94FZs~DZd`x_Q7N<$U4`5M%A+>;%}@W2X+DBJ10hsFZ(f>Pe~7*4eAa++t?!b zTf$#_oGb5YnSwevxPzTcM&}kJE43(|i`O^S+|EN7)0KnYYmw)>7)wCXs^Ja91O%b{gejKrw0pwl7_xw+Y>#^HJ9J{`6heQn;z+3Glk847f5BV&Vb+p--8CA$QI#NlVGT$f0|#vmV4= zIJc41%`T?uG0s#E#9bwut^L!?-I>vblioBt-G|Z6k7E~VEg1C`7rMg$!GPMat&Pq824Ru!9;4yv&Ug$MDb)I@3 zU)2@(YgWuIzRvGx+)Ja86AyY@D@r_)#!FY4k%dzaEPh zX|LpoyqV#A!^L{5^vn6LzL|PLw5FZ?L_fWA3 z>FZ+Kqc>)(f2UCw#c;CaHsjde_vL%cyPR6S#t92uZmA?74IS(sF7&&v;g**KwMhhWCcZha>5b1aa$s?q&58_0$AuZL_60CUxGg-e)-KP zn5lB84M&sA$ti8$8jm#jn7@1!UIDb~sBL3URz*vBE;Qd5jf3fR7&&ms?m$Gi029I`9Wmf z)=)1|+BAmbkh@lXSh2m0_fCf~Y;-x@2OIk1V8b`_vyj~o8$GFWl=4~_Km}CC!Oom0 zWzQN&!krFY2uBC)8%e}ZXgW&7;QhS*h;Xt*wLIE?HOir64%Ks-WLj8vu}Q|EsK+K5 zDuItP$;hy`FUNNt5y^1@tGF<9<9z)du)Pi%_VSM3=TR9Mj*HM6(qIkmTF;QxMLLHf z4J(lA*g-zbt8&HVf>n{=h650VJDF0L^Sx17KK5w?J;}L)dlmk`UFaz!ouR1Ny<%SX zSFFB&q^`&NG+#AoTyIi7+(VsJxgMRQpg9aU^*}-7oLd=OJ`25RH-AzJcNik~w_Ol_x%c82c5XL;u#?ixo;j(GRMtg$jR#?h z9NTKD(s`#dy_~(&b?$~xgMKzkRXO9G^Jm2SnzDKzwD;2}NtG~K5PKt29@wonOy? z&Z`1Z?2s{`5ulA7=u%$L`g!aO$}V;$`QO8ehdPCIvd<8N#pjV3zaIM-*arBm$R{^) zs`ZG`%%!rHGWB0OQkh&i;`hJbe*eq2lQV`$kUA;6-#$hje3fGss)*gMdH;yADzJzs zhK#dKlt0sG6|m8SNAbzNPO+M|cd~DPJz>oFLsm}Djc&l2I)EcM!G0oA;=Hp6q z9p3o%>rW>7vL-U;zgr6_6u_(^<<=xQUB%MP>k$i%QY^VAzn!|+)_{ZCLUOqoLCOYh=X*vx{eQ&MgS6H4uOnG3uZyIB@tM|Rub@U|LOk#0A(_Qm(gSa69O|Z zm*Lt0C4V(HG(J8Gb98cLVQmU{+U;D~kEFM8f6rghk2?sOAz3`(_5czh*-0K0*$cl| z20XpJqX>~N*>I5mKE=Cu^)Xr}d9Z}Rc7M%}EEbDZzdFdnpAO={@qcl!@?ec;&Uvd3 zAAX0=zQwkX9ED`yy%dM{mtUVaw~}*( zf5vkTubgXvpD*G2^AV&xwO>GnCxB0sd6xDRp5XiD*@b8F5`I-D+5>)8?X#)xix1^f z>Nh;W9$ue+^Zs9va$yG2wPx0PC2?{{^t=CfO6`UjB4fCdE;Tx(KGh}mn`cty8lE<4 z!haL{lE;>^?^HYHgg0gAU%lqBg+Ey4Ef+#Y5(NVzltcD1YpqnV^&kJUw6-Iu;H1W( zNaJtbJ*}s&m{d}mVe(^_hDoQv=2qW4JsqXB?|vHoaqq;MV={Jad}SFf;+h7-w6*3j z{zK-pJO`P0K1vrx$P13_-^`W=ntWmSH-8*#nX&6wZWyxAs=#pr26Sxx@%JCr#G%w% z;5b%m+zBlamNi|{GUK$r!GmrUPF%d2B56VX!frs>k9)`BFUqCelBGYlQjI-FaGqJN zP1v`MU2&M{XjAyt<;(Nuh-N&W{~$#S5Ujy-52kB&0y7$6$MiULoP%X zhi8E+K>(AAdyX;~Sg%bUdfb_cX)Wa~7Wjb$K`VR7VPXQ9XKRX5$0ss%j-4{4@?@Rs(;vZ+`v&aKPB~@M$ZC<-)xoq@XZy4N!%c$}|w~E`QDA zKu?qmdckmuS{6{9`1r=pzxeE*H)>V_1EFyn9_b5JcaNOub@ykRP93v?Yk%K#_qsF3 zr1c!CW|Zn_%>dk994(A-u2UNWCltTQi7XIdg8|Ab%0v=|bJSz&$pB|ucm;3b(3?bO zwys)oXQ=2jrur+x2aABvM1jvBMY<6-#J~I*&ZR|$M{%De{nS*ybb{=w`0F|8?ewlz z?Y(9cp0zkNU6)!)NG+o9%YV{)p>W*mY1~L>r)}!E=e)342PxU+OkGoSB}}u;iEU48 z+qP}nnbgrv+tB|W*>tot~1#u({2Vniv zR_YPtSkkLJh?lII&Gd6Cqqeln;&#p9%ICPj1Co`JN+ww$E+blHc3?GCvqo^-tk(sV zHFoONvC8IV)!;0}^6mCcZ5IOMxB8$JmH)AJu)d#~*$Rl#n>w|EO?vFW04D-?fnW{6(l*{> z*v7#X_nCVXCiKl+2sLBy$QLCM{E-F9!B9!LWOD1Gp(Jw3j-Dnq*5O$XTKc(EI}KUq z4`~`sC7xbw(rUmpgxl9}g!2-|sUlnD#V;)2mN(G|aq8tQQ|Rm<0^X z0aT+{T^wLg7Hnn3+G4`t^mPr*g2YRzZn~@!X=UfuYcmjai~JhSqO$hyNgH(7J(#3^ zb9Fw)LSmAxeksUGP9qQ0*|jEvJda6c!oP&&>No$W{Kl_!5ukRLKcX_-W_zX6G`HOk zbw!T2;d=8G>>T=;kXDeQDYrdHPG*+%878?yZ|znoX_lKhao4Qqf;V0p!iu+ctwpm5 z@%TZOu}WatHa#poDc9JSW&Bt9C8%bP0LE5YNe@-4OYCO*k^$9+yiUp!)X=9idKdxe ziaDl^<}$GoxTOh=l$lJv$0Ph3?5873Mf0S5)E}^!AWGXP3rV^bKENLL!I6LZ>kF z6KUN_$47$$0q_O+;vF!8Tw#@vYD*oJ3s_^hc>NWMGd-JF2xbfr7tcPVJUAF~qd8fw zi~qiDNx;~i@jo5%$Tl@thgpq;{wXHF!d1N0ww-|OnJ!^=c|EE=v)83W9pu5CEXLzo zHO8{=^8lM9r!S@mt+o+ksB>IWoF2C3Z8=>rL71$}>_+OWKZ4#5fpA5oJ0XPIe~?GV zk_xH6#p}<_sbO@MUV_cxX4l-Gxl~eKsk8$&2z;cjgxS2>Q1H_E+n+1D32w13@t~w& zh>Ls9uyNWiLmmr5*V(MH{82c@Hj;{4p&!Tz_UX@{<6$%{CZ+N(RIuNW6&F=g$X?i} zSC&LX)-0&aT1rRv*oBn|7Av2&!Mg&-K*Vh6*}7-*1#u^sWC z{va6~pm{bD+aWt7B2_#2Fe%fyvH5j1(OZloczPIvXL8m?c&dZQ{OCy@-tJBs`YZ=} z(&_mPSWDtb_s%9w2GX+AQ`~ zDA38#-BKTd>5I;K#q%*7II5drat1RnNf+Z|9O{YNNsm~BPkA&hZbB}B#}s4f)KsX z%PNFalOG<5MWkkety0G)gWE}nl*HgLWXp!8gOQjO@W1+5hUWQ%feb=Db!_@yL*R= z$X|LD5_sb>7o8s+WBKAExmqxS#=?Ne2X?^r;fVlvWS)|KeMg)4clJKkqsbx(oh z;qnPO1iRT3GtMtvx2H}Iesgm2JNenI@cf#G4~?tssL&31MNQ$7`AQP!S=pQbEEi@| zf1SHA<&MK-F>e=bG$l#Kv-VZhOm_I!pE94l#dI-?BB`Q}LPyHi7woVe!tSRZtwH(A zfAE2TbT@DJfuwuGvt^z!&?*p%aJ>8yG~8pGWGpLoJ^9)pN?j|+yIL`$6_-zqa}{c%M1`d z8TK)P5Bx%C%qXIp_oLQl3WF6_+v(-&-<>zOGT0R;D!}eclRO&gf$svzj_&1ssotEU zKn3?%^?3SGDLE^>cO3Zl$us|jfhgh}4emqEDg5VTON#Fg0l3L->fk?N+>ZQT3rdZ& z`~uQz6p{n7Y}-8HBBHj2E=Ij)m&Em&Y(M1P-S8b%dGmLhP8M~*Zgq4LXmWOK5p;kg z&&|@xrI@i+PxCT3XM$G%1`ynl-3dXfOGoL9qxDQLeaa9x`#8shkMxHp7yaP#^Qpco zJU@boW!vG8+KC8K__h&-A|w`nrunhhpKJUv%_P01=qQQ9_0tzn4jG z4x=68Tqn#9*NN5Bt)zgY%);wL<+k8ss*V)Ih{M0PVF+%IPiGLTY%&>1c zx3_HH^ltS(>^bwY5v})tgkv7aOOv4(B>^+^zSzsdjO~PNfqBS?W?L=hZ(|!Auy;(RHen zZRplNaLM~yOBGYim`K^7r}=;<;@zw**S}NpiO|X$50is@FPn-epxCQaMWT(v+$8ab zDTWJh4Z-4u@+0>*&nl{reU|@)@pcc|Qt>$FLtAfC%+TUXITh{7HE8D3tEIa4Q>pXL zEf$4$VlEl4_%Y01vyLm@e=RTXk!<(z&RRhV&^tGb*wL0FGwFdHqn$vo&MX7ikQ7xY z@+u3it&d-SX=t7Ft-1w12}+p0G^z^A<+CQ$V*`GnR?lj#ED|8}L-P>r7dxUF=eUIKq4h^8- z^C;j6x6a45!<1yoA}mRW`gXt`eLP5*;pm=r(ULcPr3_!vVCVu(rO0El@58*nb(+%4 z7Y@p0wCk}QJK22YMSqyq*|f??1~Mt~&>ql;sHF$PHk$EF_EO!`QxmzGD4grCFPRU^ zSa7y5KBo7_$s_I$5Kh|Fg`jXgE$s_HJ*2?}efl=};IT4*t8pQe+|(>tNQkhn3x1~= z_8NN7ineJ~^=<&EMO3xZNS(R4b{9ex&}27hVbvBx+jZH?g_`P1{Ham`*F(=}ej0j7 zNQ)IqR7Ej7szGrrBiky_mhWwbe$oj?9=V;8tkekA!9bH&$kv_2X(J`Bf zK(=Jvw0e&Vo~{0+LtGAS(XTXiJM$ue9i3bDYowc#OS=Ig3U4?~mBcr>9yj&{fsR*z zlk&qj{XiojrLZ(c)-F%8(qr`m4I@%IQ^%L8^tJg(otiI$_AvUVF=eTk&1ky`aSm6< z&yVvDha9)DPRCB=Hd_u4j>!Hxy(?SH=OG#z`_oD~-(-D=H_t>1HZlk%g;w&=!@xWRS{Mz zq&0O3tcuEOisJtz*0EAh)V~oE^tC|EOp?id?q7Puw~- zn@%1!*f}wT1%Da=+dWWH{YNdV(XC(1yg^U*>B0e3p{T!l_kQ`u%pD$R{!aFyeOPc! zFPrIqetQ}lj7;vcpQB+Hy^mIb@1)IzPRTBvGld7U>pWlIlWzh1oWk zt-}KHh!9?@W-&i6lQvyR9Pl?Z%oT5U7xm?n9~dV%S-=mkt&W0nEVEoXJlk>*`iM2T%D*x|%l04q?7M@+bk==m&DGKjf;pt6@FHXV z7`=ZQKs-hH9h+hN*-dMyETN_tws<0!vXuywzC3%i?4XaoEeF<6@f)-@_?6kH9KH+s zcIA3^`wxYp0>`6oh~`%nH#QR3G@;fXo_~;tB4pFL?OY3NiyjC@>MJ9X*vB9T;7Q?R z7rLU?wYRYEyJ~~+Cn;{O=;l)(k{Xa4poswAUvn*5CGBpli7B|M_ssN~)JmDg&O1SL*A zT^IsMGen`(Eso|X`tz0U;YW34a;`Qod>6IGgsQDS*ES*OH*F9?gsO7T)?%P%R!$o1 z@9`7NX!OI%V_kG=wB5!P7bv8+S{@MD52Ub#p^}3VuABoZwc4q9XJASO%wAOqlFy)* zjk!m`eAx1((yV2<LDx9_NK+S@KXHCDU;J0ilwmwtVv0Ol6KKJLv z`Fg7*y#b_bc#GN8{yGw;Dm(TsC&OBOT(v9$cMCeuWjjmOAj*lug6Jl_${A^*Ot?Bg z;RiG}`Yj$>Xa$G(>aMT93HlH)XTC^%HB`sO%eKlwL?i1esCqQby2EcCG}84uf{XLF zB+ur0e|*djA}b6m2M@8G6X7GJ0EU8#>hoPSzJ_s`NVwT;I5P3>!5{?FsN?>v)@;pa5J(^`6rYTY^&1`MGk};=iz|FHQNMt=fFOR0z^Xs3`^Ida6fM>5FW`o*EhMShx72OmDS~JZki_6Nw(K#M*ix?Gkt+ z22|YeU{2q8D7n*c9-q1At+YMl$2$r5G0voEYjpJKnrg}rwTP2}lQC^A^31-a)g;!> zwfQ=6%$g;S6xccI21pW=^x?h3)G(`KH;eCl1PA;DW5lGx@9F#)qv}g#GR)`l#qPTiEw* zB97cqhp}_R(&H+Cx|>}-#&LPK>jC54KPkKB55;a%sSyelcYtW=RFphhAaRb+b6C2HT5GyoHsIgHelLw=N zUpqraq6v|hRfXi1*IUlDynPoZJsqc<-d&1*s!x>snEXe;&VsR~do5iZ>TZ*H)hKUv zJzJnPL|lcHU1tWvY~j2J!lr9XV<}l#{W~8^48J*pdeR&v-n#ZB< z@t3D`M{QHPj_fZ3tnc|^~PVOMG}Q>-ofweLC`6W8TG8O<#Xn*rZ3Ya!Op{`b3@5t zqFcPbKn^tD*uKrklxeN@ot8VV73T01}TON5xP2ARbDA( z?ggnh+Nl7hmYG8aZSE??!O@!JO>!eWe(K0w5Y>mD)afaej(@Hb*z|6ewAXa||nX{K!i-XFBs+M}V?zOa}Q4k?gER4YPYf z2;5FS<4~x!Pt>b5irj)~e7ZwKcb~5G?SOG<`+{0fYd$Nb0}Yt2%)U7(@kn3 zOE%wIY;^!msXpDrj`GKm?g&a9>R7{CxglJNB>R zkL03yZUS*4D_ALI_RMDWkkaNdY>Zo3b}K|Jp9!tiA2$Ic0U-E|py+iWxVvgn(onGB z&cL|@7ijd3pdh#1&U_J9sYPVh;-b>X@(?=r$%ceZWGfUXSYKhm z*GQfCK3V~GAtEgm@kq_ZqGQnF$Ua&0M{E#f;%K>{YBAM77!?$GeX2oqF$`1!k#4Pi zINJUHr6|4WutC1hFgH()XksS&9wQEDNzYNQ4v3~ZrD0JXij>yF&r&)3Q*}g z@(DZ{Y;~>?8K$pt4-_UrBeXG6<~}kV1lj5E7vk8^9|kd@q5>y?0uj5Ywm4jFSb5xH z6Y)S1TsN#3{8!oGQo_+-NHo6HgpvmH9D}Mx0tY!MPen)>Gij7XdMS-EYFMKT<{Nvm zdLeOJvie=*QHDgWPJOb{K)yAW6EIX0x0c@s#kp~@TBSL%FNLab8P<-2-6)Wj2!pg< zWJ*V%BsY2Rtm)s(43()cMD!-8X8m(~ZHriA5PwswR4GQw17xOE%L7;rX#rF~2Ebe~ zoA-`fCEti|+JMGHTz3q%3Z$uFH&`9S2LfcF%Bb5FMyu-}ian}I=zYc?7-ma%QxVwT z7^rBifM8_;VXZQwxmYq$1O{3rsM14)3rwL@9){Q zzqPa6_M5(U>*r2Qs{^`T?VH=}%5YrNwPTUjJ%Yiz*KOJ~W7hC_9m7hO`n$20m*4H< zN>rXkS{G-4OxAR$hTT9i&9`qOk~$F7!h zBkwvjjW*qO>7)6@*riMK9SIt&(}(Nt)c|`%SN`Z(tq~l2UElpRaAW##wrVSDc*pR& z{>A)pcI)qG*5T4w*VSy>Rvuv)tQy5!bgf8Qq}om{vkFKKe(xp z++ey$6?S>mpMl*RP&cGKen(rTv(Rr-T?Dtn$ocS>r*EOJM^tCu|%Ow&7`&2IZCe!Jw;6(U95j%xZ{V3)w{daL1b)j zgX|A%zw%Y@$#jzb;L|jACd6}YcVnYTJx?UA5Pc>lMZ@Ez%v#Jhy1&SB-0XmLX#e0u zWGG%%mAzvP;0j6ujpUZap+M3XVoF8Jvi`772FOh4GirgJ}u(a-GN2;^5Hph)+g zfS+=Sq5@Stb(e{}$WpLGeg*neCL@|k|9UN`UBbu(Ip%6}Q%7p3*2hlId zpiSo{fVBRPbS+Z6I}^hh@wJNxw^?k3ju`iWXEY%tAZ>?;@F6;l(CWwr4D86NV~mF( zhciE}5(KzPtCK)0vm+@I9FBEX)I5o?zj4)`epQ4VxN7Da&QC@a(Xs@tj+^N8%BTG% znIEa{C5Bf>6Q-F5y?edv9N0J5G!pE@9|h6Osi2%d6ntz*MNAZ)o3u+IJ{&d#mdpgl zm}?t)V0Lqo;fQXJZja$kZBxJ$vY0ruteXIh^Y6s30a*@pXNLRs_xkmpnw)lc)hwzQ zLUywneGDVVF8pV(tyxuv*OPIiNmG|HbR5%{{810tKbj(l^|>^A-8&?7Uxt+JwGlpU)hAkllIwz+%R}a#4jHXTzDURmdMa_i4CsH^aH| zf)>; zazE=dIXNd~Mxe!X?A^MsQGPku>a`I=C=NKdq)8EB-$!@;16M=y7 z0j_sZZ501)jh`yM8A?w*#-G6RT2KTpDy&4=oDn9wJBhMl2fr zbib`>M7+W?Hin;N5>BD9$v{Xfu22t8kfhID!){1*t0^K*VB=$u2j(-)tNHXYX>0}$ zk<54z`r>m6Cy1B1E)SD0{cWr{Xo9!r1J3u87vl^<&zYsaecbhsnSK%s zPt4Ax2QIqKM?uJiCoxZU$C7oP2FP9KM}CfEhFjumpT&lN03j>hAMc|Du0bC0w?SuY z&$HQ*KhMwO(U>dea9n$LTz=|(9a(O29v{h1hQ*Q}1^9gB&t0v|LqniCuh`fc@6gUj=mZ^sy!Zr*+@9Z(wDEU6liF_v!!X@*B019UauP1!plRn4mkpL zv8c^`?Qghqt#Msh! ztDG^sMmk9|b@t4uWx#IwFXb^+i1=vnw~Nu){np

OkWP!5%$oh?yk}9^_2yqfhm#py07G*#v&f z*qI)F;*6WP#X)1i6@R&uA;cEKwt&Ii*>kTal4jdzD3dL(J(1{v-&ze`o3z?Su``)pHPHp|;asf`x&+Gfv@vQS*h&X&dyOZU0 z0VE{x2!fU0d5Tb#Ygzf_qKq6U5EybW^>i?JMmTvsk;`md}+%V`nsbZ}kK4)(&R zCin?}1wf2&11lE6Jt6(ojpEyV{PRP(M~LzWLZ>d|H4DaN!wI|v_rKpxCBNR!2JJmO zzOSQ(AFnz;fA45j|FLh?47SjpkR2z^c&NtSP5jIM{4<*SnW}cV3kk_#uht&(c`}Z3 zV~4PIhf&Mr%cf0#dwYkzt!iU3uCA7I2|DTQ3EgNb6qxtuneNhgA<^FD-_qUf z+wRqFFmTu%#IN_;P}2vL?dbz{?tmY}KaR-GD25~_ur<#--eY6>=<}cZkKe1BG3s5n z<5)T0sL}*kv@`Fo9uK{QZq!APw6>np8{?G{cvCc-nPpJm8Q%Z-fS7i=$uXKHBmN0} z@tUMQ4dhY1Y9$pcYhtcuWmnWd$T0I@th3_rVd?LDvzKihS;n&1Ae3Rk(?`|Xw zS0g4=SAUb!$l8hU3nq)KBNoecxmwp@aKeVR9C$r_+R)*b)sHJyaB6swtgG?#%bO`)o&SUewE^= zq#)ILaK9&L%!)sFdhY1oi0&vaoWq?y>BTm@ewm=psQtS{6==AY7m5A~6nA z1?B`GRQS)9`O|GF%u$JB7FBX|Q|k{;(_xX_FSNT3K=Z#y+bc4c4Vqm1Vdm=)RPT7TDqFrmw*Wh0Iz-_Qqq_V{@Ltd;2mHBdX~aIDfIDejPd_xB|DRD+|lirW2$K%9M>Q9xIY4 zT@!!j+&z!JY`_&+_R%6U>9RkDp2^OZ%Hip|6mVhkU+ukGY~l(c z_VfB_h<;k6av7_rY|=P#j-OI-mQiOa6ff9h)>pqJKNlWTVtVpKc- z_(_{}`jj_J8oyyp{luK-mk+hStb0zOEJdT!M{d$8@p09q8 zOSEneeX>9c|8V?mvJgV1hDU=TI#?h=hmLh2ol$DQ+*^%lm}){L>%?K)zF~jG@%)~B zQ+0V}(eYWsLA{SyS`6z(>#D92`enzOMV36uglq2dvI7mQ&Q<+hO|CXN38lzj1JpI0 z_WcoE@ujg^F)+lN?nwWzTHbC)?W`290cpr)L;P2rY& zn(3c4c;2o#0*R1qY^?1s`Yd5?!#M)j>q?Y&iugyqYh$3m;W`g1JXt4t@L^O0oE(+-NwAeEQB$IQi z1s8$~ilJKnnJm(s;x)g?fhBau-)LDDTbVE87XP1Wk3s3WNXV7B(6}P=XvxA7>-;07 zx$k(c#7g`q&fWFiB>N$yl4g1}ZQhzTo;K!Yz!p=*IE1BIGzj?P1e6WSC+EXd}j*Fr}a41mPI?tWz@EulbN4C zfos!*>|luGV>wC<%ehJi$+qEesv2Hv)6M3hn=@e(7zkNdvVIO0mIMB+L$gH|GPDF7 zF59P0%k~57_{P)zts$#L7WMAVtMJQBfahWs=eH<<`|1KJ4-myX$pfS;?!p@`Tfsnu z^58aU!Si`yr0DXHZ8RG9C%Rn}{cz$?;J++;{Xa8L+nSNMCBbTUod z#^-QJ{X(~Wx&0gsdV|)iE=T>m2I|hF-T*xpW-LJ7kDZnMVAfc1a@P}KFLap-5)t6* z*49FdUj8(^y(WVprVAfWR1v1tlUEZ8AheJd6GE@W=jL~2I)#TMhOPcHB_L=*xdK;} zsLB?H{1?s+qTI05FmAc|x&B0IV6s)oM-2bhwkw#<$Mg4x1DcWWJ<^XR)SIWhx3?9+ zo?i>2#5cOdMRBj>ltWqs=XaARuUh^g~hAgKOU`gIr&zgu6-8X zBn^<}JNLY>t`?J6Tjk&9J|P69?k_UZ@<##a0JgNi1^{W=>L`E+$j1HudEpdo{V2RH z6u*B}ltvGTbt+^^keJ|z(+T@)<;&+7u?k}M^M#zp)`r3{|;)n$!UyG zjLIAZVkB8?uaN(xq-J3L>$MvclPG5p_pawzB(( zTvku*BQa*B{ve3`w%W)KLl<^AE;UsJ{Mou9om9ubCd5!BHIwz~9F-4Vb&n{FoFYy* z%r+80(BBpTh>3y-R=ZIEpK%`8zSz9DxnhRl2tZYrJ4v(LkWr}{h&|hw(O36 z6ftH)Zc##K)LhkLF{q6$8J)y9!!VdHRoV-jKhj}r0OJ7NMOKqo#Fn>F4?|Eh&NiY2 zLe`_Ing&2i8;$K{VJndfp6G>8i*Sg8Rwn4AYr71fRbvQae+8fff##E0{Gm4?D5_9G zRu!X6^c2!ZL2r;bzfmChCh?MJG%=Pot3t7zUt%&2tB{$oKus+KRn>gLw4#b(4BZ@A zfE}O(rNe-u5iW<$oCl4QQzk0R4FD4WK7#Wx^Fnjsg%tHM!Q6v0+E5rfrHyIXDA9pu z=RyN0wWawF5hzX9%Rz6jPdEUSFj86A8sCA&`A&gR^LFXD8Q`g}=}oMkyNH-0Q|I0p z7EFDPnrLDfPk$!lbg5=i)mUQ$sDovep;~WnFfvtsZ#yS-N zIAW%NK4KA7pn9?SRRJPFya&qqBX|HkoC?Z50<-Y!gv~%VWw- zUxfV$kSf2WgQ(|D0AV91ra{I?_PIhSf2=?@r7F&R9ZJQ+R>aO54~aM!{hKYBnvFy2 znLwMkv@3qA^|}JW{`=!{kMR2givw2DgzS3$?)AM)@%wAKj(AbO8qtg$1`*?sh z+ZJb{UbNj;oIw3fBl^Mlmd9li3y}nIJYB_EDx|<0nn8bW(1S%>!7g_Iq)@QDm%MIPI8d=V(uzG{JAl`pyFZ&S>yqwJaG^ZTx-5r7YD>}@ zb#~2ASkQ{~@2a5d;iFpZ*^kO8Q=AFw>Ctm|nH!%DnslRs`b+nf)xAjx)RZMQkNcnLuxu&A3r~-O7fSv0+e|*0hp&QC_i3L5p-i9v3;1@Y&x<_skMNEn}nqK&q=-S~7jvDP`;!=eu=zbM@nj?Ncz{94Mj+b;=@8 zRyph}ICgXu7?bqsayva~8BqEOeX;$^-9()K$vZx!ZYd;qTIk@C+>~~C9WUF}z{x=R zm8%R7B>UIG<~`rBD2$*MJ&8id>&Z`4k%B(Q{3n)8AT%gXwM36C$aJR8g17$>TGu`o z`aN5%>7|nB!kdQ~23wx7Tw8?cQu+jnHny1@r-D72RtMmX=?eZ-C+CDRpYR@e#j0hk zm$#ubOH{e7Gw4UtR#w@Xv}uWzPm3H^XniS{y${aQXZ;SL4Jbnk0r`+NzXaw)Li!(> z9MAA3pl^MFw-jeyfVW#qDWv=QN!AmZ_)bgz1Jl)nh(u#b!+v`NJPctHH+51HPux0- zKoqW`sIfDybdvq!QZQ57lJ?5KUx?0sV*fm&&6xL`%DjdArA%iTQfPU#U&R-zZYCt| z43-*TUW%Kg)=}M1ejvoqw!SYW?W0~)#BDuj0Dg$=RI+W{1$MubDiMsKtdHM?rHW7x z2Eb>hjdLoiW;|6<^wx0nY^J3y`)N8)PW4{z5(~y11|HY{^VXlOasr9a8F@%QIyuc1 zo~9)eJ+2A-dHj4{M}UeqJ)@EWZ-@JnWeZ)$3-?XWW6pUB+s6@kM$wkPOb69xXH~ay zfq4XkUm&0V^g*wajD`gMZ2l*S~WGe&2i(R*3`oKd;R{!+`D8 zPV0^I*2jcl=j>&6`QSu2u(3jtHxo@n@LzvdHH+ z)fj(%*gF7j&MZcMMaSh0@U@9G3&m{8G4j&$bvF}DTHc(??h|}+O&MN~ zS{O`Afw4fOADYc>V~`<;x^uQz%lw0k+J1&!^9xf{_&+doi{|^NwlX?cRyn{jRT?d} zU6R}uq(&QrmvNJ!Ann+uTEp8!f#uBJ2>bV#14sz;3@snlLNGnWdZJOXm1hbS?!fj` zOo@gWp?YTMA|Y30!P3{ziM6Lh7kbfUqkH2G!Q5xmw^BQeES08PZ(8;adUg&fc1|Bd zoV3h;9rKDVVYATvX>uzzOD;Mc;u>N-N=mfzzLNwEzWu+O2zIjkjcK1xF%tWEnj{e~ z)=Ug__Zi-|zX1-E@V03v^8oZT#YF&lo6I}_0`z}nINMwo0WpBI{?&gd#WElZG;Q~v zl&$S(74QZ~W8C^TgxCPkfTk^M11Q@xwg7&Bw1C}z=*u=B901D6)E2l4xCH=M(gMB! ztUz`qcCP;)dA4YId8!>Q{Z4{efD==4atz|(43O0W1;r3AY>WVH4B-c8i!6@|jFTme z^SrxT>`=a&&4$pCA%jK$AV{)GK(7kX!RK1nb>0*_?_2yR0ljxAt%iBmuU{Rrtj`_K zy~iK^zg=do;iF&?O0?)OfxxA+6u6aIfA`^ul-t5Z^THQ+;eqPoqGgJb1IwXf$UIMS zWMPQXM$iQj(1o?YQPJ15)FzKFb~-ZrEc+|m#5k|$Laj=upp_1^;Fa;`B-%&Rj*wZe zc-&Ew7zCf)0!b2BcnmjbZm*!|i)!tTiZ!pG1SItoJRB1?>|wf|*}GNra8`6ad#nHSk?cpkYP!7;?Ai*w5? zl$$EJ7vbpgF_oh#Rw~FBRcvrtvPle!G*oTN-4?xVz*-X4#fFu$D#nl_#Y0ta7Llsu ziL2wSi8F|=!;GG2o~}i!M)`Ox0?^*0q<@bU44y2Q#zim00`s`P?(4JbXRlopw3zmO zQ*>T2`U&0c{zz(1`alxrUmV(+`1E$39?Y7ng#ns#*Ig#RDRmOcKQ|%zPDyb3bWrrj z&OrSM&`Tj!V32|Imfzf-gm+!{$l7Gf9IdDhqjBIyXZB<$+sk^6(}!4}t*9j9oE)20 zL(GjX;|ncv1dff)aVq3pxiO=G8gy5H48Maa3uqY4ak~q}t#@#y;_D9qAxrsFeo^xA ze_$)>D$Ia)4yhXq*MWJo%$Yeg7g0|~RLWb;a)YqpMzvefcxP&Fj)p#JbFo>vtVhzH zN((Vke+~2ptf|=EHRmf?rq#7we-P&po?JaubEd-pfe0ClFZ|N?jH6mziutLk7kw3d zO`Bn$@i$JyP=Zlwo&*Gf$1jOhR(P$(9JED=8hpR|=aZUReIvHnVsc z*gFvq0SB_Aa=xh(i*#})AtadQG-A~IH3KDTR7_x6?@|Adi5H#JHw%3K!2|v6s7f6$ zHO6!{dDC#iZ_6LHjxNFuNc&A3}(^Ux4A5k=mltEqZD26EC!YpXmsB^-72 z-Rq|90t|^WB`jha`l1LSaB@1NX&F)iway@RuLA`Z2<~pA?MPpPe%Ro211dVS27tm& zCx5X?CIw}wZ;Dt27WXX?YQ%B$xc<3w*4jMVFIPZs86zEU=-|r>Y#GywIMgB&h?`PL z)iU>k5+rVqhHh*byvL2%FCKBWKjKAk>a11~!4^r4IM2KkIQoBQy!N>H0^{-yvV|Ze z%jOoL_97-b^st(8w8I6DBxd{}eckObZ0lS~_T!$0BR zU2HGOw{R@R49^;&n*3(H0)xqhWD00Gb4l)J?HU7+4zu^%+*uiMj>3N?!tK)RmkC#L zAb`i)$bji!@QuK@AC+&bgS_T1rJS^Ixq2cX!GWwr*Bw*T45hrIa;(D@78p(f7%my|rJYuI4k4+VM#^u5=~v+~li+SaWB8h2T`_T3 z5DovXMauC&wS&lk|BC2C$!%&|{|^1t+K#|3Ea!kIkh#P5ph9X}&QzZqWsn|8^}#mN z$E_7Ddpk+>ApO84BM$VU`a%8Dr$0?AEm@^%lZQNDn8Z56Calnqu zIt>ptsR;&OC@i?&8#Kf7L>)0REIm(|inS;Z?$=)|RMo$&H5$O5l(1P7uNXGn>Y0L$ z3_ky`Zi(IW*Ug>>U;L7&4jWdHETm zbE+o@LO)J?M28$g5MAPAn^;z7PF+0@NpOM4J>oo;L@98J!+%-u@Jp_ea}2>BMy8#z zhL)X;3~u2Bf*pW+KhZLuU?%yPlkH zZFPA#$ZuB?Ia$4~`w{|P>X8s$2;rOk=We%(`9)Ph!`q3d{7IRWsW#IEqRa>LM6h=UpCh*7aGxaem|qRxi<1EJ7m|AkAU~EprY|Mx8X&uG zPE~-h_mqUV-?lHmdfCp^;)k|8n%`z+ELG0vamnxIVyE+=`thX_ z>%}sMIW^H|3Wx)`p(vIu*$9hP)xgs3fKsUbW70KrP1|^jbg^>74Nj`-s&06Y9s-iw zA%PJkL-$T>2HoT{CugD^l5?v^q;5TC1Rg>%PD&=vU4)6TT&vr0s{r=Q8Mg^x-m?pt zs8m@KchH<7yGrvu%jT}9*WN?70%%>h2H2yUN@q(HK_r>Gme<6q>LWX`2-Dlo7wQkQ zMW0ClQ=7ebuNzVyU(0pjlaRN!iKj}2S)lX)R;&gkfO7;o-vTu5Z%b0Z==3ANLvixTDY*+|p9QPZVHP4)gh=`Ki>y;9iM_Ke8q!HxTXP-D$t+A zJ5!A_H=?M+TDGkenUGG(wzp3RVNosjL4RM{&&aiXn|sS}4%}7K!(Lp#ps_Azl1}poio*M;P*H@vC(|gbB zw`(d(6~07CM@O%a7L+_klfK5<4rqVkcYJxZa!bmEr#Px=i68ZaBmeyt#;b+xI?m~F z_wDhM9oz1R=D~A!Uzty4m)i@aU$lfG=Nyqh=hlYqM+w8ncUmVS82TE)=8oPSMCq&6 z@od8!6OP!0P;}q}WPOZ`G$gl-d}J|i3w2=j5b>?p?kK5X1otRjI2cqm128x@EzAqI zgUFdC1WP27cw_F!kzE)=|Njd6s;IcOrrXesySuwvaCi6MPH=aZ#@z`JTmuAmC%6Y` zJZNxt_se(A|K0K5r~9%W_NrC8x_XSg=U7#IS`tt@K-DV_sguqip zDjk|(#Blz8LnK7gK&_tb_4d}xjV|XFk%JGP5cF&8R{#fbJh&9&j`?p*AQRrGp0GH{ zD+8U);6v2rbtW1O26MRv|3j+EVY8R5(B|W>rl(3FdH+_h&4zhxCgIyXf2M!x8~)dC zPx`@_&|H)zn(OpoGK!2auO601LC0$cvc67DQ5uXyNC8(^3pgSEA$D_u9N~H&4ftcD zXrMhzpBVh3m7|r1_|4#MWtn<%dySKv(8~2E6rZ;N*Op-LAG?|+uY&M1<@5L$xjy9) za|d>LnVJs}npJb(oCF0nggQjTq($Ih4|5_YiSZl>HMdp~>0V3nNrb!$HI?YVD)s>X zZ8=lbe-;wBBjQ)_XbBvQk*G6E!%1sv2aS~2RC8-(R`eh$@pKisSC1R5ts8DQU0l5V z^6Zg&$xuCCKzlDOjPsc$aMx?RlAtY(F$kMbtooJ91+KP#v0EzF7BEWu_B~Pk%JuK= zdn^iyI!~oTOc6;{BbSF&H+{HyK4ks*(U@#U`V3na9Pow9s`|#A`^=RHDRUr;3{+I* zX7yEtOI+(M$Ib@&E}72XO`QvY)Wi2ms!Mt$X)RGN-C;CLr}nXmJn6~GZ-witDm=z6 zx~z>3Vg^TxEUUJ^2FX0}381}REJ;FUT5g=Hs&`PpK1vSKMt3V!E783<6A?B9?BBC2 zvwUCHED+&^_13S|4b#4nlszO;4Pw_z%80YhWz?xjF0~$T={>!FHMVd3P?yG<+To4u zLp^SWUmP-x_bL)lrg$ZxM~sS#Cx!y75&q0GT0;tbm}qp*I)~o6FvJuKd~lLJ|N2(d zxUq4#!I#{upvFiWM@Df@GF$DQ`s3AT#;^@fSiMu6c?Jfqt0GYaGK~8P400_3o&6TX z!L+5he_H-rbGdCSFQ;30G7{guv(gAVrn!-lM(>!2oupY#hyMo>6OfZk+nN2{P;&Z+ zTl{z=d=+gqF+?-ZD|?2gmKWFQT#{uOUr>kX=Q$wG>gJOVy5L~!Z`$5uChJiV7KRQh zsv*SR)c5?fX_mGQ4nM08Za^)|<$-7RGI5X3WVZo35S9>6N6`^ZSHPd0KZ2fHa}Mq6 zUUqB!T}_$`g@3%Bz8kQ=1MG_0fPyyF4$>*!7Ruv6(0OYM%MzKIU#Kp7Gmc&aP~+z; zUFH3?P`9rm=zgAGm}7dseS$k)R`nnSOzenhnV7cmmr{+_uO)p|t_6t-uPtBnnt%O; zLdSsKaJ%Ia3EQKpWatN%Gas4 zwgk=O=3mz#@?EFa{uCT4Z{>i}UL%Yf{14(Fr?I{wxEL&K{ zZtkDIlw2lHy1yro!iSf7%{ch@9I~w`8>&mb{0a|>E&Kr*Z1It_5IgvqL&fskWp6U*-rI5pgFmgfp3H~s2WQxDNo!L}}2`u(xc zvA)os$xRm^F2QHBJ?8)vH}$5*Z}#*X*|n;)GGohfhzDF>RF$c`dX7E#vWfc=gohb1 zeqcGqucZ40ze_)C&tr3h=O&&bFnY8J(9RBTCLkE(5pgYGb0PN)Jr5zp-{Zwn*W+sV zAYp~q)=G&-fURni*KIk&*Y3FqYQ4|@FB=MP=7SBz&GFA+U<=6|gfT1xSIfuA;09tk z8VV32U4#Wd){=q%Xh8gj&SZ-VP=tVB``7#g4?vIbL3#SmL1K#>6+j6l9rOml(ej%S zU;=>PPQNe!aHP{LKp?j`u>fKL5WN3bg4lT3+5Y#DV^}JZ3Wg>AFgKZ*Rxzp0wscbm zZ&irgZeg=@75A60@{vd*$Z~Q`0Huf+05ghI1sF_*!hvtv%YrTetB=1B_`wq%u=#1P z(dg2ZO}x0yxzFpFYj3|%bsXEmHe=}9)#h!Po3ZBanfHGFE;Q8u0w_@SK>~WeY1l4S zYBw|6Xl(iT8@4lBtUoc{a@qS7yz3zHBbk;WEbWIfVhzj`N<*K`xm`A({Q0}js(^~! zD}9o;`NqT7OJe#cawAu393;}Iqo>|Zs>=*wQ_3?^`(8B3oXnIsjx(7xJS@p>9>vI| zo0gbc047+U+ZmYwxo6ae9t>FhvFQrx&Y;MuS{(hR^XE`ERiP%CuAXZoIVG)1Ik`%^ zo7&rcCi@_7oT$UFisiTb;?>cB3!@;9UjCq4pBP!Vq;Z`#;T?W6qF#JekLFi6ZSrPl zy_l;0WLBuOSV>qm2tTVIS09AIxM#3DWpOg2$!0lUZ@L1U*Xyu69^ zAbp76U^Ajj$h>{{%5M5!uGLWG&3hOaqV)tqn!f_s@oqKZ1Wr!4Gb-e#&j!mh(I+XcFl}tud^!X12F)SXr^+ z(cc}}7$)q1^$lueEsic|YAy8mLB|COs5XSqgLT=L-@r61eS`HcB{YD1%#{3-HjePjO}Y2);gm|}JWJ(+XeM}c2BcJcl5&&K1ABCx^yh@BIJK~L zzk84Ri>=6IiLPS4veOj=x2I(-ez#54vW)Q4YMdvsHy1KCN{>1R6x4<|B~wj`7#gFh z!{k!^Pc@hrvh6D+n4mFd%X9BV7$=B!&O3pQYBCJXt2U@r|KA5zyYTjx9yNv|p{FL=?vd}Co!{_M}5I`_$^&vx%c8@ zM%V~%AlKA7x?`nls<`l)YC3gG!Y676llE0_Ga~Y1MA8S5893g}G5T70S9eA-^m(KU z^FcaR^qC&eCKEU8HYz+88pJ%Eok=AlF1 z{B=#^OG|K4v*t)&Q@#wr|L|pLePLm4?hZ6(FO<=Be)WA;?cCv9k;QAYgZ~eUR}Dt& zw0IHuOH7re`5a*BTRl?@YY`|?mf((LUAR6jDu^I01yd)AD8iOHE5q2S9t**bf*5pB z`lcLiAB}|B@=CLkceeXy+r{$Ih4@PDmne_2QQ!cA^hi-zoL2oLERFRIE{$oM3<$I} z-fZ(WP2fCpv)$7EQ_1*u4s~#Lnen--L0DC0HhGtlYh}-_(2-r~kXr2siZ7Xp#_Nb6 z^q32e_c6%X{R=UV!`=5t5n@vki=F{I`(Z|;4+pWT`A`Bci0x(9^s z90Zh_-;FAAW9e}ieAQCKU-a!HdDTFeWZTDaTeNr)&Sdn0h$3zlGZ}AOtPx)TVynR6)RUoX?C)o#*t9uk4}^P@DLzQ=bGq5fqFa zLbKR#EWVvFrnif#Y_?Y_sj8aj-?mf!6KqEZQ;6w-XT?m&5;g|(6Xpi-o=lw6O)WNG zEGY5``n~?-^plM>ou&_g4D)tf6*qKBF>2UO+8HIW3zJH1Ba})|DT5ltQ;OHzH1mjG z5-{TBACow6zMADSO3S_dR3{$%*5SbbGe+Q6TsLa z+R!yJGP?KZYFavBL;x? ze?IXAyZ~Ov^m79MXA6oDAoYJLkfS01W&i}&zaM@EaXII4Dm0edQBgI{^76X18M97{w;~V7z4gSe1MN6Odx+t=2rkK&VPVQ zI%+=vGacvyp!xtWA4_~Krapkf|MIodjn4pR=^+sSY6#AMS9c-+vlJiWtv5~16=PsuNwgXv9yBmp;VoQ ze~lg<{bjh>bW6Vv6ZS1v7=t-?TDNiW6kYCkDQ8+=rRH|(3_83@r0|H64=4@n86!xe=Ltf3m z&<8?pSbfF{{$70h0f0lGZ(N`k zflJ_*3e~|RgzX>pNgVA>HVx%y457Dz!TeNeHEfG1lJhA=3DO{+6p!LGUnCSlPf3){ zE4;QB;XD|idQofzk~dC|mHV4v4KoiA%I59E0VljWaYria(gzvh29Y)u?u_^mR*JBy zajH*B=0kM6&-N{9Jw}EE%&)Mb$@~;)=^|?|_j=gBgYKp|F79Yu7hu#~Sh`V+l8ON` zd5W55XY6J1Q-+WHs(hN>WYb!A9s48q>S{@r@V())Oz4< z*6P*u5@A#Q#??w)^0;7{vR`B|0g1WMaV1ox;8U&r_!!E<-d&FZ zTg-%n+3AW+aL61>OI=0X&4-rrtOS39{OzG()h51%#@??Tp}l$5Yii2?Gbh_*n52w= z8VmLkb85;AxB;`#!H6u}nSMkhIw#uC+4cr|sN`A2F^;q6S*DVTc6-4fuUtO~>qTZ6 zl-7Jrz~B4fcIwHW9z(YF%qtLl20}hI;At1h;8QrHCV^KKfi=@lUlI2B210E|n>eSI z7ze_HpdT*#Uv?ft{&Ew%Z1z{raa)Gu#0YSsinoal8Ao1^W<}~`J-%(qwhN7;=kTSR zS?JFmAKS2Hfdu)8slV@oAjgvyQWH9^cF3q$$(CXmd#&T{!y~)673_pEv5%nVCz~J3 zMghrdpH0yk!6_RHs_#RQ40miE?7y|gp(AF3mLn`g4@)qQ^}btIb3)ig7CiSO?j8m& zeI_U5pW%_g;6uP*hrbKTby?otZI zG8h%em?FhO`-9k-2f{EPyGhzX{#IX4lx%a)2d<;3^2uDZ_~=P>Fg#YeZnqXXlD{_@ zhy-SFcg}X=F{$iQ5H(|4Z4_BNm#qoWZ>Ok^H(uc?YZT#QpxKan#2%Z>*OO`5M`&!A zG);b^;hHgVSH5;<)nBzX6(2`v_kR7e=fyK{pRG7 zRIufcqVov7y=9H!y4;M`9;iymb0O8d%6n+yx^vZXHx&}yN3MbT4dPAZd_r>E;EZEK zv;#6UE3mb$rzB~MA`P=!4d>8F+D)H`K*^n*O%1n|vu#9ZIlov_35ELX!NeVY zB>}tk8XWAZJEA5xM0&?Sn7lsa;*dejip$wwW_}0x=Md85V)Q1v6zc2|(qz@oxM+$r zI=gfr%CqKtWCzi+ki$AAjYS%PAT;o&c1dNB9PRdbNJ=~Lx@{CpfA-NhzsY7#C2zr2h*&fScb zXF8-+@GFGZeoT5pKiB-!WOk2>{&bF?z1(^5^)D2;&l{YMX{OB}25J5| zk`nZssy`geg?jIqHD7oeoM`y8*_JzB=XfNnm=9iIuKDHnuyOSD%T$D)xa}T4=W6D6 zP@cJM@&*rv#XZySv-vZY-H%}}rMvWcBKFimwmj{KN+n%$FU3#CQ@b|JN(m@ew@lY^ zIC>JX3(7^O_Wb-Z?L5Zp=UajEkL^Sl8+0>2g$xkv>z6FPu;^{Vr)7D^him0j8^jvv z3+pji8Znp8=hQR^?=3crPZ`C4R!yW|KqSJim9ZLPv<>YiusDA~VEkm-;-hNdZ`u)+Lz;XILRhriisThlRyL*aB z=zTtP4-*l_!5FE3Ee4Bb9 zU8s_*3l1ha)b2+ghW0F0+r(c(=+gBeOCeHCT*xQw6s_THG9g?}4ByUd1}M{&24~B7 z@BsaJ);EY=yyk*UfxpMR z-y}c}6hN%C>rOd(n%Y_g6I^%I*NQ>9!93Tq|Iw0Y+pKPDF_qoi^{MCh0n(_?DN`oO zC9{Q1o@RGC{DHENxkG_9`3-4GkHjw2j66r6exRF-UvVS3R?#iFlF6R{R6JuaPAJQ_ zIr<{`c0iKCJv! z+=jg+8W9u|#o&+P_iW*5SEbL(O%0<4(+TewpE4fqFJ%3akb@uBd>p|e{SHiWP|Z|u z5g4l&)iPulOzw1Zwz*Ui8GnmMCc@Y=uvaUeQAFZ5Umey1rR(!1eJ{g~P{1Oy zycFmOA0JAT^5eUv0|v-CYer4($7vF=B)?h^ZJRioMcJ=fjM77AU*`FNI@VAgt*={N zO9?tM%MVcrMF!k%^JvYp|PoCK8y;KlMusRJzXdnR3A%O=Fq;&J5m79=THXoZz z&8CH`TZ)nz&J6opMbqb-45<-BS;n=-T{hIioHrd$Wdh}V)=5=zD1#g_ufP z;rtDp#2T}=TBZ$E?<%lb_#Fijm&qDM^K*P%qjj3(&`WT+L756smNv1ii_>&O>aPtN(R9s~h@*>;yJSxPspa7OuhKCnU zmS|1A6)qSE&V<{7B8Q44oHi>^<@k2;jZ58@?6PVVE{M+cikSPD%|vqj`4Yc?%q zUlEc450c5bBUx#6UHFXUfCpEqR2XUxu(b+TP5&h1lcc`~CFNqFISmhQdmmDkyDU6hMP~xax6PQkFjk{^eMrVTQDe zp!h?x59Yd5`H*~OI?1M#>@eQMgI!EMfg%}K1UX?J3Vdg#$EXZKEngK`h6c|Vu$yC` z5fMZ%5`|ibVNkLWlGYuBSxJ}3mLPSb`{6SQtH{SIs}-3D(-L7_-@u89e-3nB>X;01 zY-kiV98jE7XDg)_`JUn)^`sm5uDkpfI`TtbBTiM+ZA@aZWF%F@ZH_LAd3sM@tRylN z9fTj19XM3=p1%PXNKKh5cZM=Tg|`*EO0u~GGmOY%Qt9g;DKJ1kAS8-?Kicn&Z!~+R zFPn=jZhz$#iPbx+N;SzbA%uA=-aDSuLUC^4b>ZNaQ|5~K7D*}LNDc=MlPNSuX@{s` z%z?L%FNO3AC4s_`?O6<_MS>yv{TY&+07T+W&Y=h|235%MWEM*c%s=J=HpSztxRR8S z(jN+pCf*%{Xe1Zx_U_Lx>q$SK7nmU_*tBB~*m$EdFr&ZT*rFV615hz9MN?&#y+Q#M z@RgyTmq^IinlbWAgIAdf;=wdLD(Y1GKgk^%Z-v#TgUaSiBnZ%OvrBUZY=t<8K*7lN zN9LPakP@-Qn+IE}1CvF$GJcRbnCu!mqZHssbvVBhWRCmqQO=CeCn zC>Nobz;}OpD9Ka9>yS=JgRr6)kaS(D#$39l(80L0KN#XGP9#>e9sS?m?V-?Lgy$mL zvFj`@^Jy|V^N*|if~%u$M{2&{b(=XQVF`|EFO$7@>R<{QFmpA2Yl6c#N;se8T{GV8 zI&6pcBoXEdczK)H$QAN!dl4{ja=u@`vXOE(dTm-)&m&=BPB&?L*!Jtv0lm8Kdo{nP zysH1wo+zL9yS$v-)@fS$%?)}D{g`}JQ$E!gK5n%Sh2L#d#iDtAJmG>B;2BhMci#OY z=X!VLLLBwf{Ot~7_wp%t+2!{)x70DuHmzL-mD_NxKj}2H$I|mJ+ojrv4+#m5`wbH` zHoT4Q3D_Rz^j@_c!2x*`FCZCcX){_9#}cjUnC-#gigM%K!}*)-%m9`^+wg_=_Hq&M zAGbPvE#ZbI;bGnP*JPez^Ee2!nbX-v4J@f5XEGwODlU$)v&~M`S+b`#y_natqO0Dm zue>4jV<)Ms0sOSF(F32ff0HWR5N9Kfv4qI^sCI@&CsO3I&%J3k zwi+~+U0Qj+oZUQ}o+ELdaDfZkt=Klg(nJ@7SrdyS+4I8!gkX5*P^8E6UtAgwxO7i& zhuNn;cFvuz>^XtAL7P`kEsF_;LK7oxKX|^a2XB0ptUr$y*GC#6qjRa{i59=f zw5DRh)svng?`QEK`)M1r%d91hsMDRUM6;@Wr)X#)^9|3Y7-Ux@l^`-9a$V$H71N<*mZ^NZPicJ`irBzfoAIASWmA|##ApaYYD?+i4W|R zWgg`fL&fdD2~fgd^vS5fi&tefVcsvFjR7f8miD1V`%wqG!4&kX90CLUm~4P#gmcn! zk~SW?QGBXLVZ{*T$IgVIF^99Se-zCw*dtwu_As^yk}Gcac4pl)oQSxvhwJ|$A#Jw2 z_UR=mN>fwM>80g%dwINEL23JNt@%YqA0VQ-On)a}1=WWI23^ZUvVD?8U=w_dD1%Y3 z%L=sPc=8SJ2g?y8%u|wbT{IvFgulG zTzR+i1!VcyrvGhmw_HCx>q`Dn`mrf=kdt+lVGfwe$S;ST5$`QO>>)i|UA0YPd7k^r zi;MNm_UGce)ouN$NNe-)Ytg!XU3t~gVqW<~qd-=AUMWrm)sFItKy~@JB4br#?bXxK zc>7DYO%r2!O!?|d8zXm~rUn$L9~1CU)o{tB!iL=D34=)d;ok+;R%vo(-pc(_ML; zbV&NgnZcFIoAlgn`%{tbw;0~?)%>1iH?SD%I>Yy~daiYaI^c|eN=LWJy8Eb+JsYpdr`u#_qWZI?b(2+rr+9xc0)Y_ zv?Qm=WAjL?qli4GSN4dlO7XAm>ySqBH9k%KKU3^A{Bv0nAqMTz`6@N%8FxC^6iVEN&2~}zq1%Aa%VkCHt86Cq1kLnWDd@Tr9c^ru?gU$S(sL!AJ!DghZnNq?C%Kx zlfXjFEB@4XsJ1(1U!TMoj=AmRodU6$@bwoC*C-plN`*4vjQbnc!h}G``r0?sa#=8h z;wG{6H?5_H0_t^#6bazlk;15>o-z{@pLqFI7WRfS*3R$GUhkf~_3nLV2t8voEq!2e zE)orGeN2`5kNouJnx~FP;g>$WCHs zP2bZL@)o0nPAv~8pK{NspS}#d9j^|bZ(fQd#rVVFc@|x~-K{ljmpVSDap~0)vz4(>z{kXSYACi*JszZ_xWd4% zc!pNZYcA-rW*jIP$6silo3(}6xal>w&FxZtMdwT8IKUdgrp>xt8^V{*x|P7#0@gYmW7JYeQlqzrr}= zuXHeQu=+lJYN+>VJ!N=mYW=4BZ5q9;i%FaR5AgVxr;tlhRuJeXtnL(C43BeuvsG0U z(uGg{Tt}~3*6;M4?fNGes1`Bh{?XIu!|N2w1e?XXzsDuIm7AaLe*+&whAmF0ThDVo z!H+YWFei3KH5D@5Dg_q1*G89YaV@S~MNBlmcnihQXb4HVVcf$U^`8?o)j1z-b!m0y z=61>H%v~@h?YDqZnfX@InaO?Df5e#yyfF0U=(zRka2r&nNXlUurFpZSS~{(wo}Ek_ zFDf@It~;C>Xs-FwsDc*xqb#QQqpAe4CKn6l7F@+zu9=SmDX+o$&$kkSd$$8`3&Y(I zT@Am@dAhwh(zOysrS0oFvzV9c8aJ;!o%4vheXsW%rwl=BzC(Yi(V|JdPu8D}$uPi@ zL4)Pe5@qT;jqQ(*C0=K*{4E@ru!l1K)C{BK2|W7Z#|p2lu0sQ7{c~ms@Ayh32iBFo zIj!9D(ahsz)2cRd9UPD}m4M0@&i@$p+}p9><}%?W8kY#n1{BT4dKWcx--7pcPpiGn z#bJ&doXkZJ-(Ef@3u?r~LPE`;Pc@nl#LoG@TL@DV*c|#<5hd?) zgSqp+4p&EziiGST;zc7jN~}nj%chz&4%d8x99<3iL?ZL{{-?V+Kc58JsvR2{MnH9| zVRk(->yrFzg39}%LjgnDBXc&QPh&NW)d|y)qeGt>TDMr8Pu7TG7YaWt?aS7A9OGn? z!%qi|z-GIl15n{_`S7mxB)qC!I^n-UM641zc(5y`O1C^}l^S+J3B&2{0voB@GMN<)$kRy5gr9GYqAI@QUyZ%! z`M-TSmkiPVH+8%m=_DpV95GsHF=rQjc5XIheRei>a~Dc|b}lXlZGBcYwvQVeWOV;u zgLEGgAjwCoL8b|i8pQkmXrOW~YN=pr;SOE;Pg&w%b)fq?Mn*67po>DOq9JghLQ2-% z1L(h=M`I1H`<{0hkD4oN#g3Y(-H>PKQ~H=BXYlMjznzayIOcla`E|5*?4N+I1lg)J-Z}xR zi&&z5)N-V49$2hKKDLGxnGaTY4NmIB|AJ@}@FqCRha*4l16&?8wHRsSTPsx48h)R8 zlDkoKCOP|oLVZr7g2 zi5)l=ECl^*Y?PG9&Q(HUS~yxqZvUi9B3-lnY}y(5o=;5F1LnCBAq<7%!NqWfMIJQa zAxv?Cj2}?t!5@x9tg%~^+ta<=!Ayeltt64J(NZ4dAdEO9cMY~TgQmccNF%BRSqMxR zCn?GwsfB|c3fJ~T4txn&j+Zr(*n3A3wT4bE?8gnuRg?W z2%o%nR$B4h?7SS^kC0j{MA|_>tnHqXNhCj}pCsxJQ!o zmK~vdHvxjx3@g#_>^Yfb;pA@Hjqm7F`0;b4qa&HlhKavv!{PmAKxXa|f_sEhVC6j} z!mVDuD;I#jAOOt`*`pU!UA6(pN#L_3XM?}($p5UQm1{M}`HtI$ayJ-oGd${yn*el% zmsZXX*mc)D!skRPojvBSsYtA5ay@XzKEOB(dcvGczSTL%S$zG?JI7n-=|yscybsVh zH(@-wm$97wq#rDQ=&p1~xQLe{UDKejuO;LlzLsS`b=)<>U*riA(OOHK5i|Hnyk+kf`lPs6GezVV&hn6&pRmWg-v9g{vSV&xY<`gd zHi(v-}LtjoVq|08lri?jNwTz)Y8hu;mCbxe;;ZRs-N^T!+OGfSa~@*Yo|O? zYUMaGY-c=jXk!N*t!sPsVX1m{w=d4;*lWxQR-KvJ8Y@o58$XRs;$wB0R`P3Z{d}9Ya8j&-dye?z(KotH-omOlMK3 zH>0-YwuM+MoU3)0@>UDDwAq2M0DJH3R*#Id*}*Vr?MYM|9lycLEgxq1>^9FvPK<%U zllp8rW@hk}g!AR#E2T4Vo5?atp4Qg8zI6a9tu#{J$KJcVRh2HNf)WJJ!!`P3y`{zt zlX>&Fumg%5e=zfIZ_Q>Lmw$Z>+r`^jcr)QuUTxPN|2&w(B6KYW3b6K0Yc0G@TYPZ6 zjQ!4Zwg_UX!MXRy-sRnT^E35MY3=6I$z?d}zD#R*x;7oZ9>5V8a48TrsuwWwoA0jk zQ}W~NV`M=!vTEIpc*}P5E_mo;&|$vXA5FuFVo|%Y9G@D*!7}&e|AlJga@nvF)!~ft zv}oojSc_czVrq&U#lkstg(eVAbAg%L8{>snv*q3y)xz5l$#UABbIQCvOtVFBPv*21 di=2Bed|5wAm}UheMqp=UWrwGtl2n$0|3891T)O}O delta 46581 zcmV)GK)%1j)D5Z74UjkiGNCyFf6|t-HW_H?U2e=`TBv@xE!_h1{r$~3hawH6sGHlJ zt~;m!Cdq_E87&Ofa24t|fM1^jz3a+vfau>o*7__;K`_b|b>^I@H@)07t=d)BJLw;x zlTg0^a*wtcWX;(v_>fcC!TQbQB6qZd4e!ZbyO6k@E)HBqkOqas0kuM8e~ff}SOf>X zXzB&57p~5RTb}5aho*B#JHZCLr6DdXm1cRCu7l!)-&NiZ>Kvd-t{-(?`2-!s&eNO3ag}I@8B0 zS!tF~nK;sTY*5VkILvRFf7Lk$?5O-tg8!9p&MBd|y(1pCbKZ|y7Ji4+^Ntsq<2H4kX5;9Ug~o#}BvD+JgB1=W(fvk{=aJGDolf>s zM$Ke)A*4Dgf9#rX6O4dt-a0><(!2|+MQiz+baKP3$F!^p8)teiTZ;Je z?PTl49>2Y>@oBEoZQh@)J0cOEcHP=o0xIQsK2xmeh^#`iu9dzQi}F5BRC_6e{kBxVq4L|Yxgv?z_Gsb7=^mYYgwh5 z*EmICLqWyCsMMf`^W_eEgmpqi@DVoSvoc42a3XCm(s9Mh%p+&SW*6Eg_B}&(DL?c* zomJwP&w_STbG&NEgJ8COpYl?iea6QahVid)xmskNXkbbu93@n@w_|d`hkP6@+aO}^9U;z~L= z)uA2pw^R7osDsJ+QKd*Z59UNeN=xjNe}2`sQgcL%YiA87ov2BYyCbECJWfP{A-usy z+Ie4gb7+n^=J^^4RL?ZYq$J#2^{KRr5iH~UQeY_TxjK=l#wVk>>XbWBY=4yQaO8p1 zQ){7z4~cZ^o_I`sU=r6b(q`!Upu|e03poTf1{5P8g7^mnUd$tl@m!kwicN z+;fO6Sb9~@Q_aR1m08^^Eqo7{f2|$_S3L<(cQj+4HG|6Ce(?Dg15 zy)x}Md$p|RSs|0pqTlM+t4R|R=UX`7(u2?kg=>zPeHPJY%LuEk!CRK9f9?K)5hb|w z`cx;w!~XgzY7aLN8j(3?{X4qCoqZ5nd#Uh*i|tz3h_QiN?o~HIX5yfU7lXD^1A+*2}eUZXor0s9nq#7yrhfs(Uk}UQ;V$!+cK7&MMg%iLKn>B*#;hg`TA3Xl95q zCl~LSW{r{{lO)>x(Cvc=!QDgDI;131ujyFwYi2d%h1$gR$5d>0A(4zi!q4;K>)>v5 zYi!QqGR#@*IdF7JeJ+VWE1nhbX%?C8maN0-nn>Z}h|Ipse}&N#&Ch87GX*n=VNNLv zX@iwau}MdDQH*7Jo@67>vIobKM3y{K{@N>GRxMj)VGg*x=4iQb4U5&RC4#M)Dro^) z7nAZ2yO;p%!_rh}yAMiP`Kb%XsUv=avBOjE{nX=(vw#2{OV|%hCG0G@$=J3O!u>20 z_b`Phio)JXe|CAdv`BJm*-bK55m%8R02~dPed6At$?^x2gf=*6S=?8f z(7atVxjn&S&8O2+fXQJlZRYUP&8kzFnEeTJ&)WG-j<2@1D!U3Oa}XK$4o&tgFbAA0 zShTgT+6p||XDT*Nd3ETuZDpoYkKEdpQ(n|yd-K<6e`CQ|;99oa;bR$Oa`V=h#ORG@ zKa--ShOQ@4INfLJ6X#cH+-6Ise-=AShS@k$Q zyKL20*!CZ+&7uX}Ai>yr$}V(ozLH<{?FO=k;H|858`5hCohv)|>zLa##~P})(iOmk z(%ETYf9XDg{zP`$TlGZ^iJNgdHI-qw5!a-tUh7TjN8!6SyhiaWwI0>+_VEQ4w#q}v zdhbD$vz!Z$Ve%lkH%=$n+$~y9L}d-;Pv>WQLMYe^d|Sxz=<|Gi9TkOjugz0tU(AUbme` ze^`ll~d~8yG5vKfY-e3OtNB{o6_Cm~{hfLO+iAm?8`n=zg(kV67w|aqR z1;i?|=@d;m0x`F*U}aU_Ob9Nnv9kFktc==p^gjGDtV}H7y^HPytMn39Hf=iC+IISj zf3R|XGtMf##>$(Qu&Qs6db5CGGWo)o6Y<v(uu?WGq0 zvMhdyW=47>}&j2m=x?Sqtxq!@8k`E2|g!piJvJ9qJfat-9xiJ<&x~ z*Rj+feLNXVj}ZIFvQ09dzimXBlbo(Hf8ab(yidClWiw~*X!I|nIeL>PtIYNeqiild z)ZQ6?H@$hltttb}V2_ty`2%C$;&_e5hNruH#0UqJ_>Vma%Ev{3V7Pp9NCUrxAnbWp~smAG2E9%8K9|?By2{1^x5X4 z&((%e;;5t6Zk`=Ck~k%(+iV#p!a2@1&ko=0D7`Z`-#+`t=Cfz3vzaB<$>nTmDP?z* zYD%ft!yosbZ?-}R_*KI<34g}MU-;e4R!X^xbND{~`CpWT(Js#mb8hoDc9%c-(Tc(E zhYH*OuU&-VpZhUJ=NSPm^|Nk&w%qRGbYb$(hTd?q%iB&1AJTWf;e#K^cWH@ZUZx!I z;Fn0C`7zx^+Km?H+-$*%;6!rC`1|3dn;mXvANS*NB<=aQ3ApsX%Jj<~<0hPt7brAg zB(1?k#%;V<2?LZ3C)pCkEMuE3=kQ4>leTKujpYFcaF0qRG}n#$ry5~@AR^sARq3hU zL>Q0B!o~k1xnvmpSc%53A`|I_l@bAo26n`GIKW4ryYBK0gOfm)FD>!1z$^zz$1)g7D53yqi6_iyRpQZ}pB>Xxc3izWHEuJ(10gCSCq#b(MBS9MkAES zntoKI(8%c^N&_`!(#o2_ON9JAGUiPn)*z$99t!;yLBfj|4@ZGBZ?*Ka%l3J5XA^xM zUKuk!;Ypa6vHK)Ucs|)_*_KaGB&MwzAjsCDUdl)pby3`dA73<6m3jfgbb;7od%#FO z{+5EOL8`L~Yk$apvVh=Na(he$5N@C=Ge*Z))Bnl3zli| ziP-1csrR1oP_;Y0??T(I*Kh&Wp;AOzA>lt@^jH`R^li|yy~H4(4FxDKFBq-187cBE z-(rjTtagOWI|)i)U$t^X-HlU~sh8TFY52yBE$pAU8*mhVNwi!nd}0a7!c?}vW>LM~ zY<^`D*C)`C(H7<$s;%Ui*<@x8`^X9_BP>uSVofkJId%sBltv zds7qO0eJdyBe@{L3q$nur_FyhUq_U24r;(@uBE@b1VVW>vP38$Wf1dU7AcPggN#>N zi7MkoLP!gLQxj?pD3hq{UL;6d!w=2~D+AILVbTcWb&-T4*f92|``cqxMhGPEIEN#d z4IYiPEgCD}f}~8uaCI2MgVn8)BCGA|(PfyaZaPL)1($1byfN-^cYQ(Co(xSQ#MHU7fJG?}zi8j*Z zTl{jk^M?HDRd6}K3i^)HJWMon4+4afi-N_&aIZMF8Po#K$&U6z(7zP#{czf%p~5~R>HA?A2;QaCqqaL`CO`5 z*3kLm5S@$w`P1t7$Xn!v=;BZ}aR}r`w7AuOou7}5UhI4fZC0fwajqGlL^1pZIVc5K z6Mri9QyS}!5XS-CRjWPu33=$~N;!9MsnqE;9#P(>ca__e9ut``aQoVU_-Tpkt7~qq zZr{Ebt6xXpM(ibo_A=@7F~M<0z>sB+V9PuO`vgw%>g{-4O1J@rzvLvpg2AI=jKZXU zW0|XmbiA*I%Saz#F^sPs4{RFCovtX8$e#CPp;64MI32~EE6!1IdonREC02G#R~Sk) zuI6}wBGydxp84@IVfOFW0YCQ-Gm!>7VlSe!Lqf$8HE_a=w>M)v0b^;qPK6qrLLq7Z zZyer6F~)tlMApSJLX@ZsD-KhCJgbO*VotE4T;amZ)z1HC$ILGnfm`FE*<^|>j<5s# zEKJeO@5wVQ$QCF6PyW*ypebpM;0r|z5Ii#M0^&Xyt^=MDQ?|&|H`ilnZ7En$%JPnj z{{HIWm#6o4Ls|ecm2!2N)cow-+o7hG1T0m7L@-?j3yNujBVtj}U7XWdP1;a@Y?>`1 zuWc~CGsaG&5H6Eo`(HA$OhesF6Cov2EqULLB@eO8srMl5y9qeKm~bCnod&bu)lc8w zja?Zoy`nSX5_$dpC(wduA$cR^j6|5+V;42xe7}fCA_~r7)@;bv2%>CKft^wvvaYyUfzdV9!gpgL}2>-c4oC|#h5Eb z!#FY|VQpJUQ4C=L7XUjxf@AdG<3wvwumzQIE$zP^dhW`BH6p>d=otEfYz%f*7Ig}T zRTl;QobBz#U9TeFGfwM&(DYl(&P_IADhcKkVBWU>ZX;=4WF~y}>-4_0c3QUgjYLx` zLb)PRILQWAjuo7j1E*NIR=fniC7EzVnb1{)94cyuGnWV}_z$*WO8p*ZX{%xBLK}ab zUiGIlp$^u*(j8&%hurB1cUHpwH__*l#OO}4|{V#9Ff=2*mKQ0;$gTQxyE&QMAd z{t++{o_bCV5S%&}uJh}0 zmeU$d*+3=Oxk~td+qGam115)=nAB(27Dj*qmCSe6;tk*h9WHBqs= z&IW@#^s6mP8c_Mhpdh8qVTTx5Yh(<}X0h+xhZ0Z)oQ<>D+<^P9;d7JCu1`@mn*~!t zYUXrPfFLM1I9e-P$mM1Wr=vNQInL4xnonrt$t?Z27-0*4h7Y&`uwCi%tiolS+qNzb zw%JzwQ%?z)nUd_TRPNBGG9;y2 z1-{4fBqu3<1RvijDtLhzF~5=S%3&CDL7fUzg+t{uIKrxPsatVC3S3j^T=V9rr(&=5 z$euw;Rg+C(fcIpXOKNIeSw8N(%3xgVRiN57Wx3Et*6ylE#YM^?p1-`P>(5xsmF z(PpSFWD91n7SUwlt_7NAw7Mv^w7A$ZeH(b`P1Y|Ty2}P^l`^|gm0rfV%{6&p86O!n zvRXHOnXEX2wUfQ=FuJYHh{k;oYyo|`#LzG*PSa|E&TA~LB;YgB99>*dCJ2eVgGD7^ zGg2Ranw?d#yUJzJaj7KH$N)fzG#DpU6nlY0clBPf1H=dQwsqubqAa5ues1$>nH{8H zlUQc_rKl4@&#;E$oF=w|%r#WCoJSgT>VeH1=qHq&<4X4abSJPwlUB+ykJ&D^U!MlL z51+CC!iuw&_-AK0@y^nXZw)?XcGYaid>Ma#v7@?JHlvpW>E!*QXf7+>@*$0oNOdxc zyq5)U#GByb8#;?`>5E~E?mR8UiwP~+$@KcrIEJHhO2D~tA}8ui7gguHodV;HGK$ahtL<=q z@U@(l^0J1EbL$dX5E48|=hQO3*bH-oI*D2n&dd8%>XZ_j(b=k!q0rxV6DX9$NOFDB zFG7vatC(7hF|MWtcU&-`n$%DbdZF#9sRUZh0ru;I122@ywMwYatzBLckb5{!nxsZ4 z!cH0|=#{jkN%va3q^)d+XpO62+s-gYfMKnk$cTP5?PCs9u2y*TLWP6vo8k9=6$7nQ z@Now!Sj#>XW490_t+!gbg}BQR{f>l$0m5P2E?Sw+^?f^|BdgAM3PIarSdaovp)y!S z+xna}F)u>sL*oj%Xp&jYtTtUkRw^5IfwkKSL5;1Ofi=z z2WkTAHZg4U?3f{p9E;;*-Z|TUn|E4Q!!w|m`P`;*dJ&oEb^fA%Mu^7YN0wA+H<@y& zdJNdqx&tRN}dXy(XEK z!-B=MAAK7`X)$)v?@jK1V%VUUTJwELU*b_aJi2zH#ibI<1*)Pe%?n(1f{1Wm$2IEQ zX*t`#`poiW_ejUGzMM*Rx7P!MFTMySA4X63pO&(R@!oyRl{nT2?yirfJ%jSe4sK4I z!4hd@$rQeu0CQlTD8?>=HNlo5Ml`kW=P^!^7RnM4I@PX>%o>tICUbc@J z0p}J3NK8?+b3J?)2XW@&R0}?&Px6+Bs}n6@RtnS2%ukn7eNDF4THSup<95I2X#}th zt#iyRkbpyOse~|pH1^IkgBIQ)#YUz&E4I+rOYLi=(CUzNA-Y#FYno8n5IF zMtEOGKM`&ch6v57+vjt9}}TQDqr7G$A3_R_M171KxgzJnj>+0Tay(Y7MMu`G{1s4(sD7j^R$E#%0}2w^tVf@oLvx7?2#ae6>(Pa%!e) zZR07oiHDgu5uH0cuJh>g6}9qMb7)@>mTqzQCJ;Ay69^q)?SeZR z8wr|$lc?mMGq&2m+O2!&1{AlUM1l6U$V2yBkHO~zcL{Xa#L)%|Jq+?sHFC5Ce!Mmp z)&=9`!og8-46LBd)^H6MYl`V27BAZT`Y-_qkr5=bWPgnk0XUbjm;olU7?NibmvIOIC9|ZZ_!R*#m$8@u zC9}f2@)-d(kr5;WH!?Lhlik%Af6XB13V9A!yVHQJICd7mmaI3+57X*tNzmfhBf;{& z&pF(ROR=hMFVZ+N1fl2N%c^3LXZ_B?t3O}KD?$IsD+^cF_{BMI_0^|e(|4cI|G!TE ze^&nf^5d(2{SSX7#o~n*&Ru={a3$S>*0`%{2@84;^6KOJKimibAcXu>e+WZ=5pMtZ z@qf{^y1f?6qBQ+SH;)%-od!zNj#LXMG-=?gZ(heyps(!Wt&kFUkXf{H0_im%b$U-m@KIjZlUY7 zOf&v|vIc$uqh%g-^7a2VxtXJt`oZoGem7~cxug;Lwb(lCk=7p*25i{*sZ?RqrV%usgf77E&OVx4tH8@;Q zO1k;AL?U9JuYflje7>>J0;Mo7&A)&>xoM%jX_ojC0cy6&uz+?t(bKChXFN>8&0hPNy*w4`x%@_20)rxDa;5{ade20ctf zot8#IKA0eP@>LKee-V%52`83Jzm{+Luev2dyIF_vW$Hc(v-sA$9%@&tIln05ls=F| zo_J+t{mgd&TNGjQ9)7+}jUzIi!`T0s+|kgRS$dIr?9X3cOJiQWf19qEr_IcZ@yY9LiXwx6 z2FXHE7Bbl~J>72K`dX2UFap9Vt^(%lf_$H5K3Nz^h6YMn9_o=+ZqwAN4d` zEa>z0HQSuGsE992JCS#U?6Pi0!|tU^DvI#&+W4(I6m?`jlWcNsw39}=%UGf0k+f^A zjQ2&_ebQCQJZVIqSZ&cR(Wug1qwhMj9hJW?;&BJW3)gr9Y{xN%fKe;E( z!8)OP)w6%IL^l&5N7Gb5cReNLw(RA6|1Vz?x6+4g$t3k+X)nsuNzhN;5y?mDzk4VL&(>K7Xp;c8Ivr$Ky`-_MD!cmt6}WwkY2kw@}$f_so28B~@L zd=FPoB2Ft>dKPYz60>cUAB-;k!PHr! zN7I~oUwAb9wSjIY<4dM_lIh-FL88K2$TC2De_tr6r#WJO{(zl+8&x;MFZKyWW&hwU z)9KvP-)*mwXKF{&EK=js_lrcYu7t~&z_TyXck>r71a#R856dkjBVC)yOdsm9hqrJ^{ ze=qll&n^mg4`sNPp3FeT9a|q_u6dPo#vg-GhFrj>xL*2@NwRgRprvv8M)m?bd{d15 zhvZ1y#ZfK%$D>)+l8q82t4U&hbDhf?=ZEk_czl9+urJVPkqN`8UYN>3v`A8f7(Ti`VSo}{EOYve>?h}?&(}wa%MN)(gMVU zeG5MmVQGD{?v=UU;YQEkn=fd=cXO2r>6)eiK`&*^;#V7*rM`M3WYJd?NIf6P1+ z#ad8Z$fNiBraUl+svJJql%D|>lHEX>^b&04hqzL}-|74!BF|i-n)FEegWp7l+mjB5n+x zF=sMI77yjFgw*<%cC$~je@ygMg;(qu z>#W=ZlWH)DMKbNf4CQC^8PI~h&_dhR_9RY7-J4e1e>4qucp&243U|y5KfxH9_mlhE z#VjPOx@%UGuc<1wmp@Q35Pyvn6J^ABOD@kNd0Z7uqr>hs8y}+RKK7vA|%9gm3ni zJdQYAax(v`CC?AqK;r=)wYJic(N1;>ytElOc(q^@V&~Ncl%oR}u`K(#2`c4}t&4wR zA+cFV++D~V^Ud~He*y6v!w>nP&2slQLn!XX1QZ2Lb__V%srfm>BbdqxJ{BaB6Gt!1 zdkkoA$TBK+@P>C1z)V+Rjvfp2$)AQSC0}P01y3qthLFcck0reeiav7b7lF>Ka#WdU z2(P3bomKO;jY=`V8K$e^Zy^+Sx1ILtN&T8)1m`T!;0sqaf8h9j6E&@g$feXjFl%jq z1~<`P$P^t(Gw;fn#5U}TpUG0c&=m#`Rn265~w_8R1z2K7hA zI2jPe6)S4b=#%eXp4pFTgBv-qI%>XyyE-tmicY2cO-pFWkk~@E<6vgtEH?tIGs8m= z7XjL?(oF3}f0q@B6rDqu&yjIO*O5GTL&lY|V#*wTF-l^CZ5XRJO}Nv!0CCysRHn4X zT`E(x7gGZP?IK;3Teus8w-%lKJ9lq?w4^3tEvKriwsW~m#Oa2}_$Zh|Zix2ogs}5I zV^;sjW%}vnGWE20l+2_wR>@59QzO9QHz%@_(w&;@f25ggGPL)wCW^dNWbTV^W?3Fu z^We^jaktmxuO=LR4MhxjL~J!Lnj8)}1ci^Ysz|56QTmiIi!x@7y6=c?xd0Iv9L0Kx z=Qts2KYxly5xs9!nvHJN{R&0vyZAXe)BHX-OMJ1|CSjFt^1sfev1o-)Nn;@`xDfBy zV_EA!f0m@9lZ*LoYCHpZB>p1&$SPIxRv(kiG`taz5$v^T)YyeYawZ|*qnVF7*ry4b z*TPnQStN$eFJs?rvD)f^%T7t7-~@HjD1WchzUvvsZ&>AHV6diPE?#e_qx5o^eEH;?TEd>I%dQE=hEe)-J}# zlAH2wCa)qZ)IlGO`V6ljvAWSEQ|*VYQ)G)o&iCfPjk*EW4^ z&FDFqyf%kH(U3w_1+qHV>>0 zwWX4y3ENLCW}!@NC{QOdqT@X-u2+-fz|*BA5cZF3=(Q?D*{Vz<=KxKue;>rfS&2V% zdns=IqOI>zIj8E5xzai%JAF3<*~DVOtj*8%QbQ$ahoP(1fO{DwbrrL_aDFGcqQvd0 z`5Qwn)NH%BMG(OA86J9Z&S`(z@EG3oS{Vo_6ey>uz=AAnpxu6M`ms->pM(A3ipJzN z&)WlDt5D_&LXT-sT=gwae=2Zg;7EZR^4rK$w2y#+pQF%`%em=AeIHIeD3F~9W*|bw z5(K-S2G^`qRhz>7U<(6Zs&sjH2JSEmvA?~DJDk$`C^ejXBD&iuw@aPbY9db9pH@wS zdWt?fWu1grY}d+eCsP(RaSj)e{%BDaNuGdzYLtakp*E#e>Wj12e~8MEGH+9^pEb(z zZi?Sm;k8-Jg!_(FA-Kyzt3uW*_^}p@crLdYUy!Q^*C#&g-(~E^7|^_W~yU zSlO)`B~3vIYckb9;s{|^t&)^%lP;r2k}>jHwFl2c`pPiNxZ+wXoP8isSKNe8t&b!o z<<#+)oU=dAO7P^Ce}S-gD!r5BhlJxEOTs&m`TZ~3B&BFmq>U&5(N?4mId8=X=XT)9mh!Um z06QH3RthdYK6!hJd~Ltm0l-6*Fv9R#hTu4Hj<}3(FFRXUf26V-FAp$4Q)5;h>Z+me z>1@ePdemlxQ1}H?Nl9HfQBvN0ew=wj|KBBS0$1211HuurNKa2|9HF}WoLuG+H&<3 z_Bq{{%8Hv&f52vXiBG&NggFEWqlebT-r6U$?>a+e*V#nCOYhznk05Az#G;gh-d`Im zt7uS;s6d)Y3Yl@A8S+ni0+>xObb@xYG_T^$*$1C2M=t4|lA1&cLjpNGXJybS}wvf5^gv-YbjgB8XsZ6LK#2963B1 zEWi5r>d#jTdNRBIdPQP3e-nH~xWxcT7wdL#aT2D5;8t1%z-OV{1fuScyV4$;PGNP~I;bDI)PW!s6 zw()aYf4pn+p$;ikv7{knsev}P*BcwL^dzm1zD|L=i-pv;y7gsjTMq{#emwypodW&4MIBY^nwy7EAPe6>2$d}JQ5sTJWAN_j$ z_g_BS+-5|-D9=R={YE3tomuR z5pxI>x-;a86;m?b(-s`oJ@;h-^lC(J9hVd%^@*{Qal)!i!Xqx#%l ze~Am){o;_vP~|>}R#kDXkyZ6$i?8Tvr4hKImndXq1m04>a0eF4Aa$8ibyxcyU|{G@ z_>x@ooB#a%$7wO`*pA9e>8lfmN(+N)tc58nV+go6R>o=eyR&@~M+Ebr3Vzf%Zd}`4 zQmBSd4=NHkt5E*M6lz_IgLlpY2suSye-rD*e+_l@Iens}=&{caWlS;IAM&>|17_~+ zD@n9&a&^HB?=cHFjdq&}W{Iiw*aYAFjQ`m9r+oT({PX!Xw1Xt)!J3FQkzJ_vfNn+> z`CzPSXfhx{x$~MR)nb{2>Ee)at)etoO=@#;Zf2vHwwRb^onLhz5Cb{;Ey{l5qA?F#l+`;TbW&)p9 zVM?9w7t_F`^FqSK_q*i07W6lxa)!HJh1nsnOAqvUYT}s}(>lIh2#pDvOOp8c=AYE#(6Uff1h}7NJe!a z^nLarnpAr@lkuNmH8`tsq~KU!$zXZmp2tbe&X!J+Hz_A8H$Guly0yNCmM5$9iSz^+ zqFi?JFnj#4P^v=Yuv5V!q$+LLUT9^vbzd$4duqAX!G-~!n1#JvbT^&31R~1XFnUTw z)&;L|s6jU-Z;vOxQa}(0e-jNCgYD*mE}YjYbnx?iqqF;|?6#r=^UdT1#AS)Lk07iI z&*dCb$cPkdIWiePv2XIHZ3AKi0l3~PUeS+MP2Fia`$uB#z*hye zAsrJkaaC1~?!a)!Ncz1xs)W0?mDt}-cs$*!3XA9X(E3Z=MFP8?f8n4qP6q8kCmW5P zX-XMZiCUMo&U+7(`g!p^l+n1f3TWtaB0zDp%RY^bmDPU)-TfHb|m{;ET)h3;N2Rj4r@}!6dL?5 zG^lK%O|V)@Jj0amnK5dBGo%6e`D+Du4!s+!>6M(0A*YS z&|%d8vw>~zW-z3dO-;=&XIPRnoFLOAXnp?0yNtK^@whSp!qur+6(4806YTcTkR#*s zneL**?lRT}1xVJEUk`8l#bhqXHrGbivnJzj>>&qs0pYtKMvX7~v6xRu53LWX-2rGD zM}&Aw_!l4Nf67!XQ&I;fcW{u&=sbdSr4}V}aeHme%{+x+orJk>55JgZHgi)G^y_gn zzn#~e0iUyQk^Mc-2X#u6DA!ki`t0?zAC2>742Mk-x)FZdN+0b&-Zg#C58Z2;X0~hk zTZ+o+6@Y1B^HJCK@$_BMQlzQo1@O9<47dsu65?9Mf4?#VL+)HylD3j#k;Cn|&w5aM z;oL?tH@lpw#{^S7kaU&ow)RgmcV}iBPI}WEbRT9rKaO3fwPDoP+~^J&mOxNDzO}L1 zz_!1;fd+xY7VX?WZC*%Q3LzeYGjG%%D`z`kq`?M_XcJDRu?3|~Y2Ww7w0;G=&=r2C z_g~c&fB0+G(ajizO{aey!cdH@=%i zF}NjJg|Izrq%Y_-fp=b3VnLR~_%~CTRjt>nf0=mFq_})I!?;mN(d1}alC8Gx^hnp0 zdU8C=aK4BEy@eefb_tQ<%+Yj8%EJ>}IqXhufAI79;ar+v*g0$c@S|jYvgn6oemyoX z(q73Ebu+{HhKu!9>6eRNeLIbWXib#;#5l{h(>Ta@_e)L#G2z&v-R>itS8bht!jkmW zfL#0};IVPCA@!W>EvL_=o&)i-FzyNOGFHVP+dQq>*sPh_IQ!3d4`b|g>_6>|u86*F zf3`hFW5)h>8g(g&osisS9{c;geUEvUQ`^@BL8RE~U&Co7Ry%$9VWGy>X@{b!pU*IZ zaeD|!xc=<9bOF+GYCX?*)~45SnVg3AhRKH`>5vq08}4QE6ZJG0PWFUX<`fld2+^$T zt=TxsHyZTr*$jGe9TuV}VE4okjeEN$e|P&+{)YfE%j|ghuBk+nYlSZrxRbd2W){rU zIMl|X-(jajzBL|c@-ct;D7*q_)mhudp6rU2>Rf2OxuMP$f9C!*b5pH!Uooe!%}|Z@tTbgi)7RM&LA`Q7O&Kn?^4xBAzF;=LgYwe_K<% z#AwqP@)Yk{{b9v68SkAAW7z3(x=%Lr$H|6o=4T+Fn|iEj+33aP|BWl zkc2y(ybz8K+INyjp3rjSBAsbqG@KtP!9O)L%Bf@y)pNRJT3C0nOQzBJW0wq-z{j~{ zlw1T$mURFVFh*_ zZ;%i3szPzOVO3qrdT&&gkA2!ePjc zHk$RTfJ=8!&A81cS-+-l44M1eA&7ic2@G4mTR_-p>3$9q5XSq3PquZ32f0ZjVU6*g zFZJ@5#?GzpZF{%nDsx*oe^0KmJEPy%n$-iXyP8=o=U{(sr z1j>W7^~zPHkoC8Fm(o*pkgCn4<=a^irS2xYe%noWH&eh^F8@&%RsWE2=hwsYs!S9+ zw29LQ&?XObH7^y{oAkKP7WDDF2E4pZ=WL%zA7>cZN%=^!hb|rby!3cL&@1D z%%6F*%GhY~qxfiFr`XQhJKDEiFqZtGEXVc!IRpr#ly=>(qOZ<^3K?NxWUS7wgk92H zkw}uZ7>>_N*B-xUe;!(rR-mb>s(uaWZ)Ng*3FK;{%p|TO=SZ!I%Ae30&73}NMb`n2 zZ@>9;BBC|1IsdzLkwOQ|Dpjsj$yr?`)6E+a3rVma%Ev{3V7P>TuF~)xpBVxSLCq^M$#mMD^x0A z2A+{@AI2j!bkXQg+1WK7Xta$C8T$7Q?!hg$X~{kajY4O>(-_P>jxAp(e-yiTWGVorC z!~65EpE6gRXx)h z@Uv>4O?_W{D4$Zj;R)98_VSze|BgKuX6U-s%zCdR4h}p0?!TT=xnYDT81AG?g`QKL z>KyCMBPnAIPg{R)!V~+N+m^DgR6FK`H>K%cz2&xrKUn517edA^3I;|fhvH?{TB%~` zKmN9qwqsYpNsUdB!r#1mS`S|_siZc;;KwQrlTL%prM`K3I!bHb{WSdN-ifuuWUSiw zDl(kJbsr4V)|&g|4_VUk6xPJcQM%AVo^TZZX0$x?$rpctf5X9+5xY+0hM@?p3KBP9 zK*!=AfB#|KIb8J?IJVUacZ-%RmUX|RWyWcLMF!n0Jah48%1R6CFYE?f`*H7B{6)F6 zTk`79rBoBo5u9h1YZLY@Fs)E7spp}uaifK83S}9q-TZ-MLRzVF@4sI6-Z6u+hdP7W z#p=Fz-)nysJ8BlCIEcehIi?JFm)|z7?eExCp4Y_b<*1YiCG^W$ikb;-p{+};@zsx= zszA}WJa0w8l*UjBQN-a{kV;s9NyWXyH5f#%O>TPJnTlyGWV6@MNt@ zcig1b09A;oLId&c{FmGg^qrDHFBoo7%L1wsAK&=-7oYv>M$JlKAT(~nBYmOj?ol$m z?*4ylQ>kNCaP6D!URUOrw4OuNj8Z+V1%TU&qlGcfb!uafgyL5vkrzbRV1Vlt*F;(j zr>Mu)g8|OC@CqK1&_hdSwys)oXXw&tLiHD#4;BHTi2|QNigY7vh=2JroJxrdkK#T{ z`l+dY=>*wV@z+z*+v#1c+I!6?ylC;mViD7=o1!wh=c`&?d4N@M32QoXf5AtVN2xs694Wa&SsLiQ3v{jotbhO`UZN0hCaa zrOP7)?TEHY--=XInI;)^ZrVTftiEBZE>5kVs20wMK-(hIx26G`x`7d%;)*v~sZW2Y z{(vDc139R_J+!8l>Y|Yr9Ji&Hsv4-*ETU7LiWvoiW~hrr0cBr4N&D`rU;M|@(u9Iw z&gx}-;~$Rsn#?mo{F{zc?Ov&rAIvlKTEFq$!2-D6?1 zzBZaq43YLJQ^Hc!RYDbVXeuYup! zLJ5t>GBzv{t7poOo2Kc0g`Px%2ST4`V@%q?{D>5E*p_@l*;bL4ks*(%z4g9T!D1KU z&<=!fV{;Z%tY<6I>Lw7?qsT#QH}WaS1psici2>v(j<5FPXtQu2NT;dRpxiTGy)74QK&Ku@X*CnS)XhcD6s?up95h_-<$R0 zEB?-iKOHO?V60P1+HY7hV!TjP%bY>%eijjh;T0~L88p>QiXNk7MU)dKP`mvXpg~@l z^-oH0J3Pd&h>b&cm-i}MmOwFpbV!am;%K05LyLyd6%EE35)q zZK=It0h=m^pub#E;iH2QZ!`;Gv}oBC6NTY!rl zMX}U2>lrztqpERiH!Ytw!D*rHvB{HwvplCoaqzDnxs&OvlU9qtiiDloRGrk>E3DGr znn7W`T)r2}M$3F@-)}aQT@r_qE-%qY_)80?w6>saRvZ?82JL)x^|gVaTnES}Ej_f} zXeXpOm1(A54&T1rP@*@SG7TSAv=gYfEbT1Op)6?FRYA*Por=k9?zhqk!DhF$vMhB$ zWIB)gOFxhu?9-o4$HQn+L`wB3m%Y)F8W~pho2$6hxGuvyzk z@sRNyu`yV7(>;7!*h|p}Zbej6bfZ3~a?zTijECfpBcG9?Kl9NDs=$zbGfwXh*0 zTnadd`-D%fI7GLKbZ~C@c`Fk2FO3%NYF=*L8eZ0ec`2+!E6$?v<_OgSj-HDC8ri~E zBi=_D0nR3MrgD|Y-3NLi`u-=k$PKT>qLj)`m;L<82+^Y*MQLZ7E1BQnA;GAQ?9!KW zUu=I9_m_crvi1iyX`){K6f#NGBS&6=cyjMIV^%V@(V)ta-}@O(pvN1smsG|1M6y}a zsvAPc?#r(q%9psrM2lZiNhlK*htYuxm-&1zF+M#seBUjZE8t~C*Ime0W4<)AyKD3n zwWWVKFStCASkm(MrgT32G`3$@P**BXs)*RQ8$buHe^Rg>mXgO2BMGP9x=LKgvyFU-1JnFq(<{1UA z1TzmO$SX$A*tbr?roykG(A-U=XM^xk{ZUuh?qBH(84%?gB0#3W4Of4GKt*00I$dl! zBTWS)WXAM^$b%BKEsf*KqtWPKvJdV}xUX~THhv;+ zUv$)=mtT;Asv9Kh&UWP6VKW144wk5EOfW#r2!JQ!UOYlcy}mEy`RkAFk&-3Vg$?qg zW;Z|NW2AZESWOMMy)_huFIKh=H>yK1hVcocq0Q{K_7eF>mSjh<##EJYr7tHGN6;)2 zwC1ORO}Oef+u!BMJ021}N1u?W%{XZX!8<&?8CHl+mwT_gYRy0Iv1UVPVY()%%2WW` z6Scqw_)6DQEqUM>M|kFzR>)i6Vz$qnF$}X(x7Ru|q2oww;`dJRV_SMX;!NBNUd2X) zWI8(4qXi}P;=dQSob!3pVhJh1V1eKdH{o|4-#>l$@#^H@D+6YCTr9#&S2>E{0!en^ zBR?J%!ZL=H3_Don46{GGe!XZPcJ%|!`jZYLd1{j|({rStUX*p3vGYG=gj_F|rHZ`E z=zAI~-^Si&h%W?vzc#~rFT0Q?z*=*97+-yC41va+pIOGVzfNPcIWMH~=;=jw^}cCX z$ZAmK_|_wh35I}q%9g}mtT^-*=&~`g1z@yWI+zkoDARJBKKBK%PUcRmYt>U z?e4Xu;&IQ0rd}tRVT(?u)${=4v!P~l+l6W`(}^YL1Xg9Ug7(SV*grU5%o`8A&)RSA zgKJzcTUf+NA|Civ<^wv)jR&=@S{_0k3$lTA&J}s4ONgbJf)8yq$y|(V2D$!ml}w)+ z+RBS1Q?AJ-$FP45PR43=j4HkjGDIKy#N87Ur;vy??yS@he;2bgF=z$$@oGe{!oiov z*PO_Pcu>bNuB-?bzi10f*vL+7MD7;fU&M4z{9e@^pVqiZjFAfbjIa2q$=sNP1x)KD zR-u!S2KYD+Z(wZ}YE{d4`S~g5njmGK&Dz&_{3jW(W2ZYCmF_0Uc)5b5tT53+I)tht zkH`q2yh?S=dsd{e!OZ{z`gC7Tx~StX9RHaHN3rl&2+8>BCQ^G5W0&$kJGPe6Yl4OMA}Eoq=tBNG>H$@1%c+yBL1zZ!8#r~1{p6jmNnKX&xsUw|Tn zf+C$$EtQh8#jgEQ9{AJ%)~8ZI;9BS@%}+xw39DaHF&fzVr@vshoFmvv5v{o%jG+^Q zgV(kiCRFrEZA*d4_5_v`N2}@BWquJwh)G&=xzRj#^eqj>7fC|htkmEKBfC^R7%*HV`LAn>tYK?yk_Z82~OXo-zX5p;_-Y&E!iAW>AR zhe(*;X^Qf6!`~K{AU~L!Y|Ys7p(lNoNpwUjYaO81!l(gCxx%;V=aQ4fF;u+2_W6ZY z=Zv{&W%a!j`*TM+vm_3JP(;rdGHdwG>%YL@>jERW)bT*`+XOV=@1A8+s^|$2klr%( zWiV~KykIo+k}%Wp|2FNwFp_@awJE2X)6gX!kFUr%y4|=K{6uMUu)3liee#U1N=KWU zwzcbpFB%0@WoOmS41crNBU?{l9$4LF4c#ny#8&ei8-}Uot;t-6=ar`&9@}EsxswY1 z=o=F{z@d$}dCHc%*NtYN?0s!cQavs`VN%Ery1KYf4#T8&(pom8@X3xP>$1?)Our}r7Qf~<@5&@`Wyqt2R}n9{4Dw4)7KiIfHYf?t&{u9Sv@bC86C@Pz*; zN1@)t|JlN>OCaiX5}PoAvJ#cX8<*YgSRH{POy0iGD1o6zxMD3AKF1ERPC+$=?N!0y z&a45>cbyu|KKhzex|&vre|Ahr+_6r{$UQ4A10w9e>!M6stebt7?h7`8KD*ESc-oOnEqp%=tW4oQi6R3gssaGV{@;9NaIKHMkT zu?I@u9M&+6TYopoDI>beovz*FDR|Ellw;XLAWWt?%C8=K8+M5ncHlm>&*1wV%>D#g zq=9p99G4I8wEuWmJlehs(px05o`kX?KqIMz$j5skP+UW=+$tYS8dYE)a}c+P72>RL zXt^9vJ!cwO|Emvzj~>ehze&rMT<_sM7>|OaF8rh~dku=f}<)@mnV4>Kux$QgY}1V%^u$C z!plJm>L9eb@SIZrusa&mJCjNf;T(8&zSt~|uLmm~o+2@^cYw#O%!=97yj%h5o+f2u zxSA1xyUk2VgLbY=+LWN^c5m1KTPIqk@J=FValUXdX^xp0*=iOttZ6==eHs_jFVS1C+lk=o{hEs_!xX*OH6D=4>8#M%e#sJ+Sm4j)b-V( zE~4sQH_nlg($U}913h^~;O2I}%jfpfA-C`zX^_NBJ^j+pYQ_Pb&o;B2GL41nh`Z z)S9oRwpe%ELmPbQiA{;|UOmHhe0Byp@Ai(@us1!FJhdbWP6>SulnlV@pGd8Pd*;s( z#1M?xga8Ko2@!C-xJ*hXy)}w*F*G@|*VHa#=|*jJE5)ah^KUnYi{Y`V6Z<%4%FrS; z^*;@;e{lXzHh4yG(tM~l;A&HpIv{@A%Ep@$?cAS0cQ>*wC3t6gsKHZgj;?`QyUWL@DSX`$Zi!^+^Plt{puR zU%`n_<4|vfpPxAEB?zc@SXvI+T#S-ugx#y6Tn<2Z;XG{?sz3tAM9gyV>{J0roC$dG zawLE9S0pAfr@_nO|FHM}j!qu+wUOuIEoje9`Kj>4)iK=NiTU`9TZ@!7`PRv-ZM#+D z-t55^aVfc}d|26;)EqE<&#;54Exktiv#hIREf%nUxf-|iFYG>M)mF=#t?b)hPs_E& zy)7V>)a)F963PVXxC8}S&J!%lz^^PTZc*|GV`ieR?~Vv^)DW zHzJJrWftNR=9TUcxE1#uCU@Dd3;(5`Pw!gOYu*p=v_NtxwF*f zra0y(J90c2M|ytE{lwl(XyE<-aRRgb53Hp%1s3Fr_PazVL-cXUs|p$wcDG%YzScluEq}`NTzXCpwuEW|SMF*HybAnd~2r z4%T{BEI`E~`%3PTEMq!j+U%t2DyU!oxZt1S`R~?jdHvWH^poi6dH}u4^rj^s*0T#n z2YDv@EE)z0yAS-!1&%N1OsIdKD%&G_$@5aw;-%*Zj4j8a4k`{zpX*Bu~)|}g96!07iNco$AU2+GFfh1`~c=Vm;%Iz{*I5$8T--J0KKoXjD!grHv z6x9JIxL!AERdiQ4D}SZqA2nlB7^-LB%by{Hu4E>R+o+CXSQ#b^mPOR+Bk>@eAHxdN zMqLuN*rbP+d0A<6x&)A-bE5LnFfEV~R3dS(1DdiuB)q zT)|?hkQhZ$r4e~9^N_nPom0sRLI>y;0+*cwh+;-`6T0&Dvyh5F^rCsbxxP(-dGdV$ z&BaxDE)gncKgkzB49L7dZ zhn_Y&yyZ2_aY_O!LChp+1Wt;Lr+(cnNK8S@pU*rH^bZ1dIo^qJQExGzv+rL3WVEJb z_?-EDBe2LbB^5F~`ycs2CUajzh-W0)HRd?YJPF1^4DKsBk6apz#6g+ct8#wT@6g5L zB*)N%D8`6Sg3uN z?DR?MB^aR%B)*j0EgY6fH5BJ<8VX zx7;RT$$hI+toVWCYie^8j6P+qf8*BE5o;iSW9`_o(5atv@tBj+3+umG-bEz2wbB@$ zy??F^taASZm4J;$g9ZFJW`+h6^Thk*Nrj`?6b@_4wM*~=JX!5LkSNQO)I?AF54O=N zC>v-ih+!Vs`7RbRS}NAu$N4W(Iq=aaw1dpw4$eBBq^3-Gcb-SI$M^IfYA6S|Lwtwe z*UNiqoX5nSgS~@h=3VahEql+W*2?wm>0bTnZTi0sY$7$E5AU@{f;m7q{$QrV_1er4 zp#9On1AHtEFPWDM&@t4^^nAX)mmUls#sHAYDVL*`$!IuW=u4exdH<07KVHuSvm>u= zzfU|2zwT|C8|6ed44tNUwN!YHEwBPW^9sgcWuVXWxX6|6WnUEy+Rpt3_Qd+ZuKx(` zrD`%x?}2S1&6dy5OXt#q^~c@j?oYUp>dxG0Kx@-}_7g%S^phyCtyhTZoDrw~6`=J7 z3<8g~|5irjre<;;0l>%L3*!V}KMizg>oN46efh3`z1-m5v42ci_5gmpI(FBOD(RcP z)iX5n6XmAI3*u(4>?n3;o-*8qjM%L;{Vl5LmrFY05TSdjzmRo)4CN@W?fBGn=xkP` zI4I>XF!&6IV1JcQs(m{Rn-RbSw!>R>mwSvahp1+_jI)0FBW;)Ayd_Xm?OT>6J#JnM z-o9GTI!C4v{bpt=F_~1h3iBt#)LUa#x+3m^vPUpqhHFMcvAg)?`QuR5$k)lEwad@r zLGj@u&&7#GdTb)u650;oZ`k5`L}Y(f#tkR$A0ouGCn@+khBjy$CR7PC0GU`&`}{2j z0zB-Z$a`$Xkg@d=#;ahR1{U-uvbCVx0PP_R(p=FRGNvk6dby4-C25SH01P>01j{+T+FspgUUaxqZn^$aeGvqf*?0ZYWs`h6++R%)jV{kpTTC*mL_n zIH{3&23kb?OP;?-&yL_GRV+=_+&~@^gV1rR##q0lTYbG~8H+YEs1$Uf_RZGQYDH0H zt2=-ts6oC6mZkwm0&8Fx`bI|_OHe92$c+)ZKo4%nd;~{WyZ)UJxcPuYZIZE9nuQF7 zMy)}x4+>)D@Wp;lozg?WwGT@BcZe#*rU{B)c08HWHO}*r&{+tZ*KS8zUW!PQb$w(u zc0RFR=X9G>Y#Mg!x(>e$7b3NB7)?II+l?oK+0OjQlhKOEl9AwuP!Am|slSv8hjW#3 zRcl`x8DKhU@-3tocw%ZJ_?$Qc*46QI*PJBX19HZg4mE3;eGsgpf<(L?dx zdpLEzdE4C^rIpbRSJ&&n3Wsm6Qm{JME0-yWTJm=D>(&Bnze$vK(^MuTvuc70kkO}S zhIVXm_>8`ITX`V1W^&XujheI#h15s*LyHQcvN@r>WU=D`;kLvRi;3l{Mkt~m0c~dZ zc?32JlN@Ze^pVH2PGdgrq1( z+kTLDVUR=!5CHgO;cO<@;)1PC-Mt;YT8x>|vjuF|tHeEnC)x~TFvZzd1)}CDyR3Rj zg^?QO!DJ`aZX2m;q&cf>)yZy^h50Fa&?yQ)o}5C4nI;!41H?dt>`AEBh?^8f19$FX zo2`kS!fM0GRI?y-TePhp2I0E?i5p(c1$+@>d5<&zZoeUD@z__LStSS0h(#`Q?P^A= z00pWFqIrv-YnbGL-tYIc2;?)m6N;Hjd-46?-k<8UeV(8{vqf9`hradw7YgT=QrORp zjI%{Bnjj+qTn+b>x##a<*;=t;RQC5e_L4>fdZGvdy(_-$o2nYIUCN;5sQscg2Yl3r z$tYtWX&t5fyvBIm%n;Y0&!t!AB(afDq%+3ADjTL}l2O~g7k1lSP-yTZ*@dO77STfm z)5AksDKEvZesT&bAdM2T#kXAjvRE+lD$xe6L|!Epk$YH_Y70!04?O6c{`F{|bp-vT z{nW38*v|TnL+utaU<_UHsa=1bjkRfw3P}(kf{gv8wY0GkNsh00S;Sj(#UP0IR=Cj_ zxxp(vEQqr&Nx_07K{w?*&wt`^b%`A;`ZH@+f@F|vo>W@npurp=6X~-k%@61wB%Go_ z-#|sv)OHCq^fcYMuPV))yB^qpW=w=3;Gg%m50>2ppOQv;XgwPq>|WwvTW5Ft;QI$0 z{Ui5`hEIrifj{MiJ88=J^sD#hl+z73(0UiFAY5rpi!jB+D^@Bh6uJEk4Hq#Ly^frQIpzG)t*2NC;#OjYE{6kzbi9IX}PNYmao7S#= z2nAM~96RGVb8ps@P3%>EPrwakpJN9=GRBbj)}?yjipuvxwIx7IH_NMC+}FP0ZCWzv zkk5W(KJ*Ozny3uNFt%FQ3QyEfD(TL$k8TD}=9cE<%iRMABQKN(S7mlBNvaw zK=f}dM|BCl`q5q<0{*E50!y6nEhFUVQp+6?e>pq z;ce%kUIMYDa{_@=$FnL9q@p$L&B<74S^O97BW$U( zf%SS5)$(efoy_>1?HfX!e(mKp2X*%jNpN7}5gboWhamrvGQ~JljOjR>R#I6{mF3Dx zZkv$TjhBLsZ90miPtL@9U7IG*s@cm9*Jj3-;4G$iw*X(U$Fpp+xlpcvsWW#I4@!v<&t5BoJqU1`+;PwSh4E{eVUGU%!2bV~#>oLMCF^NPRm%_u4=S&~q-m zWcR0dJ${fxEU@PCz92B9A34x^?4%O}T|$-gw0*S+x-9@dl;)ij^j-2pMkp1}#wn7C zxKn0u`A)5g8Ws2klmwKOoqqzi#xHThZhMMa&P;>h8|_TNk)q=s%<$@?cQfBVK(V{p zTo(Rt-_US9oeh=R?#_VN2<{R~L4JgE?F@UB#8d_TN%#La-xlKDuPRY8r#3%&b8`(H zYLOETkn8U;`c`_!yPWO-wxYG$IKIH1+oPhVkwcUbNf)aw;I zD!bw68bVGVt|v>$a9ibL%YuyRv^tPz>O;fMxW-%(VhSGS4)lqN2hx!_S~Z zrfHuCE1xu{GQhICIrwO%*}?qLjMVq3g`pw#1SW{DmMfRuG^4gj1~t0}eVetbYijKo z4M9q+F)%JFu_>fu8t;fRbA>mosiPm`*C&VX=Z(@Mo>|dbJ?Yc*F23a|Y|(uT2R7n4 z_xskor!LU=JJP^RX|9HeZpu zvE9%yX(`gp*Oc6ZFZI`b-C_8t)!F<_KG4pg@{Z(p&u<_a{rBhOV?tpsl7*{p=eno) z+o^l3DUVGr3r?cE=NyVFi+xnh8s{_pnZSue7wPGj)5GN_lAz=;?SaYSXKf|0fLKle z-CCK|nZPkqy|lOE7f!)y@9p>Js^q)z-N!0b@#@hXKh-^sWg>${d1uQjLofWs(IS?S zXnF76f&d_qW*PBF-f*EA7sgqA9IU4_sdzUJM|xlP6DG2lpyh|?#B~LxhnTQWmv`t> zrQU(=?rp2!549dr0j693LUSF3=#j0b`fr)_%jy7a%)hXw>U~kf%!YjGoIi+}0xgE4 zM2uLve_TebT9f0RaVdl-PM391W}i-4!0XrR;;|em@;NYfz}$3 z#>eu+w18x3Ksf79UW3A;_l9U!8%`$pd5-w8 zEGuAn#HfzHw5hPyX9&evy5dTBzP_FEz*S8U;=y34XU(h3eaqo0$>H^T45lj22eQ{o zav%}SQrr;tuSdqK!_)9~``ndJv5(8=qzjbUD}y>Gg^0gTnKocBUiIEkmj50fcMdO{ zV>&tPa6B68Wty!*=}b0STG*b2AL+L96SDy(chWz0f|>UMD3ko@ALbFnt0q++5zX0? z?H3k_>qj8X7x54>X~TV;A!s? zLY0|As;_S87t#0p8ah_r|JXFl*GOK^<8Dz@KTlABW4aMsfl)G-3@gckv^(WbuK{5D zRP_BW-Li3JB(r}UlW)T-!W)s=2lv741o8XCHq^;ihlyHsx=J!cqKM+0vH5-0 zQgofLlq=8pw){)D==)}R8t%1D+#|PfI4kob)fd-6F3L@u#ZU7-n}z>|U_c^22be!q zGrze6@E2K`=h61XrZc-2dyTry?$~SK8wl`*(z?~6j0|YxRNAk z)!7N`u)p|EsZ39A$cc7Q{?ner*O?p@AtA05#{Psq5smm`Y6{(klQ`)KhbSG(1DE$= z@6@gqt`u@Jfv5p8PG`0wZo{HXE|c<(y!8-0PB5+1{C%4IN>lZoGfR5o0?363N-T7; z85*y2@;SK>Uu`ex{*cew5J=EDy?;v6HatEzKs`d9-$a^LJOOWMt~$BOH~tHcTH$s= zyjfSAS>l@irZal~q-0_^cy18CN>c=6&~9=V*yT#m^S&atJxtLLvFTbz5AzO@IH_~j zyvAl+MaG4f%|bk2v)~f!0rK>cuRhTXY$8U!aEHYDnkSbDp$Z~}HeqqIqXB9kBo(>^ z#v(~<`22~cc=q|-s{{Fb8#=Z*@gb2Wg+DF1I3hxK3kZ^}wx}u8Y~YqKOxTB4gLdq@ zJ9IZ4YzAtVCo+d$TbGNYd8Ozv*EEhRQs6sV&03_&;&#|hcdvWV04-jH&JmT$pnU9% z$s#z@ z#J+piCY_{tGG49l*|tLvHG;mGkJJ5MW6859zEDPK1B8l&>YIL?#>4VtUC_M^iy)iu zg4Yl3*Qix8|6}H#z`>!`Dr+faSx~MMyN!dPdn4}K>>y{?VL%wNf}&7p($W%!k7bl) zrd%$mjN)?cd7sh*gysaq-&B|bi)$jMTh8&sD^u>6c)c_d`4 z!nmfU8z#1E?K8sI;Oyumlx*^*SuZ8eDdU>;&U};mFc&Y;Rg=-AMP9iEGtY(GH=15^XH?L$_Oke zs7b_ep5&HA{GR4VL&(KT$zRHfmZBT}towqU0fMJwq%|zNJeNn-HGHQE%T~SVRd;(; zW^v8AW>fw(K+R!X1}HpZU!jbPQWAsvU~NyNBKhxtmClOnooK*+*^Bw zU|a?XJ@!*3_tia@jiB)bN}ai&rs}yetCmmWHsW$4+|$14{ynGLp|+^9KT1x1^yn3* zi`b6SvN3q}3WY}J)%V#>mZ252GcfBVEx$p;l`=C@UNe< zhyvKre!WQ5tx+y9E+pkHUi7PFt62x?q;APqE6B$Ky%1bkc<5p(N~SMFs~B6{hqNg;~2B+Ta*SisF(ZsH9CIye_=>KQ)-X=?N+h#25x z{lA{!WbKKXjSjSpBibf8tT~dmei$PhSmy-WpnpHwqsXwexgH7n0*oR2Az$9rtcuVq z$Zl7n_U6h~P2Jqw5(#vtRnypZ6)7gnWWpSrD&W4eh*Li|QBxq_Qfu^EWQf^*8_vCJ zms7bV>o=}^o=n8+9R#phW#-4gxBrgO?RFZIr$bI~`H~fnVcr?>E8-k+6r*12mlhEm zsmi>|saAAUB|znVD>>IfpTRw&Wx`xRyo!|c9kJ+N>(fFDmdU9g_hnRtVt~5DL2dUM z4klsQ5!DDOQH>r7Qx#JmM8Z@h3m0QeX2k@f z{TDLPs~0oo=+mK#?8m$$H*qv$fapWesEzC&(nAaU=2Cr-u}&;U@Qv_WH+&;(fwfr& zDoccrzmT<25CGQCR1T|Rk`zu1Pa20fT^Fq+kM(V7&oj8LJr7ij0|ikqglH{FX7oJ@ z&n)Z&vmJe;DyoeSjqs0WF}9gRwRc|5KZVzC`8*Vp0TuDdrhoQj@u=3s=9$y}MX9d& zBE+gQmxwsZgh!qv%T$H329F30B={haWt~BNQy?ORqXe`QLTJw-l#9gco+ZoGkWGu> z;20OJ&D>ciq1?!VTySJWFqLtvg{koiX9`>(k)Bf-#w*HV8S# zxXlz5lLP%}lxXNdq9QoozTYJgs`9`xK@-NrDJqpmBk~QF)nX?o-|2v)*=fp*g+01 z=r!^{=D%tKj>rR4li0l&YMH`<8r<i0}3wAC+%Q3=4M4 zTkpC+QUVKh@#MTLdg_E`G+Z`}_jD5*E*Mrbg%A&khbFnw(`c#SI{O$h6eUJ!Gr+h` zbTN^4RypW0r`(q8eu%ws&V=wnBqhVSCd@s7>@n$_7+{C>0V+`6{y1fc+PFO+8T7s2 z?|iedM|yo?mAPxL59_H#%lf3$iFxb~R`<}PdBkFmO_QwuI0})xpA2!tGwmV-pLuUn zp1MQ^JA0?8@{@MYTZhsFp9^g!)nA8s$9?7$}1^dElA^R%7uZT!Ox;P1* zs7G|5_AD_7qRVBc`h0kigP`^19fr51(o3=DucU``OjVrwa_Hk&e-2-&i(U1?1Odzi zba&@cEa6J1J2}$%Y|Wp*O|#{>cPzlX8ln?p;CwwHTO#X5`HlHlPX*}gbLXha&bn$T z6!mV)*1A}Ciq2wxxZvt#&pxn>gLk`nXV4rN*|lBtX*$amKz83SJJfq~-w0lL*YxqC zLnb&r@(tFso!qLYE?ukII@cVRQGS8yGXXR+5HLVj&$iB3ucJQlv z-(Z1j5V)V&Iv*wfEaROf1rEAseRBojOW7o!zZ)2y>CK#c2>@gA2hunbM~=uNgdQ3v z-*@JcetxCdTb4Vo&${q+e&28G&{sU+vKg*fO<4IL^Jb!bb(&4A@GYmzvW2$WU~G!g@@oOodgM( zHZl$N!tWpyN0!;|IBNVH7R_Dm1tZiQi=*a~Gk0{BQXBH&3-1poxK>{SH0%RN9u>n7 ztC8Q)S6Vj?mby6BpZcp#E>&E$^z&opE~nPd{}~l?JzC>h!duBN3qG=3Fnq|$4@p*A zKsmW_niQU=OII%n1Fmfol2;ugu21N*bNbyUfiMnPnUDCxH;d56^#Dy2?y$yd;GSp^ zt>;90cO{X-X_vL^7sF{6(r~{W8InRJqd`b}b*utC>?RDhT`+)S$#Aw=zOSY94p-vZ zt~xlq-22PZ3JB%e5c_sno)0L`Wvr17-)M@rtnqPu`-g`IKvTA0)V=p@SF*j`{^|}n zRC4?&X%92OJB`8e3^hvPjr&e@N;3#iDQmetHAf^50>r@UbrEXyrfc5 z8+K4C$-88I0e9ci2fvE5w~4b-!M?96Md0&(qO>&E|Lx%R@$60U`_Xgf-`ZS%|GSsl z8(NQXs5wK%ueXkOJ)on?WvzkXi&mzTSP-ifcSbI7IHxyhJkpE_OQlM8rTh)u|W8`&U3xvWRw z<@&NqsS2Bc7P4hpZG?P}H3M|i44!x!I@zFYx29glm(r))Uf=Her&LZu`*Z$}n*~nD zYahQVAdWq0@s^O+$`NStjChM(zZ)r z>6V`|l)D3M%~uH&&ch$O7y{J~rwl7`mP^u5?KMW9njj#97t4%LsyC*C9 zN+ZIZ1av-|%S^u+QJj0@ZKy6Xdx+%|KQHt%vyb(hJJ_MMO?@;-)CaKIK;OO8S z|C_OJI1hpXPu=B(Aa6xo0>yw*&lW-CsaZ_mD6MnLplI;a>}3#nYtSm_6_l#K`k$D; z4x#~1^pwx*?5M^u1HYgO7YQGJlXcgW8O@TnnsR@SQtNG5EmD`ze+3}Rq-Fvm}1LzXa z@MY~f0$f4Kl^S$fji;*zv>HQEs;QBCtRZl$hG{(%)Z~Js0-X0lmBK0T5>7#hgF&io z{pCAB6BBK`pIB%qu~V(?NHh}s3d&i#;Ua%=_eB3Xq5P(OU}^MFREDM ziuZ_D7ig&3l)Ei@)1<5k*%fgpFAPv2V=9;_ZM$%UI1QA9n1yv?hqcqT1F*G359eh9 z1{*UJ?{wj@d5UoYEE1gVk1ObCjijH~K!AhZdE56thQ8Mm;nv@$Gy1ag(y#wYdOtJX z%?;T%*=%fc)tvE~`X>4@oBRzxzOJAdn__WhO%A8rm0q}ZC2)88oLVUD+&pi~15g~O zgl<0nxe8LYT@!Fx3faA9%EmEZ@Ik1SnC&_#qVP{2kB_AbrM68}Lh|;j+OgIXit2T2Fsfh9=$@k5SUS17TQ>w5PR{=M23zZ^?cAsTBHdb9(n%iu)Zzvazq% zGbVoa`azp1H*hze*Z}9)J`n_?Ur8CD6 z2-Ag?x?szK3+G_OlGIQ~?53`>c7da&QN8prTx!Yog5hx=zF17Wi_DOC-Cy01vL5z6 zItn>9Y|^OPPk5riWd=^@RWHYWPxQ#l5~BifpmaIg#@;`RR2wM-1vIUnAX3YO7elqm zkYyQ78esv?`j};|JnWx4wX`_$xRz2($PI&mdLon)O@fZ+AFwAOE}4tY&`B`}P6>&ibQ zmO%mSxbDK?HAt43*w!2Hg^`$>G^ih9Fk-p1%S(0|JMULJwvcQ8M1JU0v;2fd<<{=7X>H3}H zJ}I&TJz(2&*eN*!XyCrdnmDfo=+;^R*-FK=%e+WR&^o~inz58f&8)X#-Od8D;-qov zjh6A@<_QhBcRn1r`iC?AH{5&*0lB-`LJ}6?V;c|&5i^|)tmgQgScdzOGv3f~X#Yk$ zi$g4%mF*XCfqr2vcJ0cU0uJcvLqEetBcHNJg-3%i6hsBe`cH!L=NjkVg?Mb<-6{#> z{&&?&4*yjQXaXIlC%(-h&=G9@I(!e10G@AR2F11jzE8XoZK+vYSQ%$dtq5ol$}BPD zKUJ-?5#xx^>9#jE(F3gqKMuiT?i>ZMcE0gp$Mh4h0ofl&zVn;Fzg9zaebOcAdzPzC zu$@%Vf)gYLGI>j6_>mdJLGs`MXUf2JgeB;>d=-a*37TEFdaBQb>BO-pUG;-F)__^`G|e-1YC@LGkSrhnV!aH8>+)s_sy=l| z>et%X57^nw(D5`QtJ5un2Kr$fQ{m=`)l;EGq}WSA)yRZ<;4nUm{}=*%XHR4ic?blW zGWrXQVj9+rFht36h7zeH2I_Mlq442_a+H#Q&qxLpdRC0zTf0W#M3zyC%L2*`O~BiUrQmvj3*yKKj$ybq@49proeJ|H-?j*2a&0hNoclQx zu;lZ<8*gW31QB*W%MR7mZHMRlu)8`}?7ey;IIiu{kIFS4K~f+)XzfJHCJV6&qJLLR zHRy|jzb^es2;nm_pM$)k4*vfBnvH5jDcy;wl$Irb48}qb-GV+knfKSz68*l$dT52z^gObVE&&@lEE3`VM7dkt66D6|@aGxM*br&zoUO2fvC1-m? zeI-B1>Q@txiyAcZ{B)HMe}5OrGvTz`Ag)h_c(WFI#`Q(8z@JM}M0NX&<3!E^U|z%T zYImjSI1sz1!@mU!*II}eMTkx;@4vzIefTe8dvdMZioZEf zo)cza@J+%P-{}7O^+VbARqnSR*A?6C>giMso=effiiE2O5Z#74^<#S0y@ztq93xNj zM7-g%#@yAjkeMSTPmSSx@kFZpCmg?*1UXRD|rZr*a9<;6eZI zv{R`^yV_#$+e)Cj782xq_5Z_Fo64*2vRSfG)uvK5FB`6~6=#t;hGUV-hrRY+xG9XA zT&yEsmzG7@Wtjda+i&ZSu4CDRqi+;T22m!(v^X+B>ZhRI2H!h|bD!}OP{}e~S%G3; z(y>dHoV|-#qQX1o?=qjI(N;?QRYY13jU(QmfCc3mnE^YE#L)tmAuoR&lhAHz8K~jM zD%K$)Oe;Ke_?t|;gsyQOF?lFtg$|R7Wo2?Dlb$1P)oM+=FAq3h>XEsfrLY!-7$>xu$IH)KO04El<^aL%4zUL8FQoN9a zN}8Ih8cQeq(gA(S$4H+N1f>Zm7u{VruxZ+mxo??M3&1Gi1ovCwDgpzco%x z`MSAEB)o4lr61{ij%8F{-;e%*{YInZ#do`|9nQ(7Tmk28U}0s*Bb{`dKpzw-ma1hN zMIhzIsh6w@h2r@+pI`C9kOh zk1)g`QJTY=LOMN<$tvr7Lpnyk3{QIyRfbZ0dfLxX6mDFmbN32J=6BlraY(6o>f)rN zk-2H?BAaNNnFF)_L)3`vP!(2gB&w7Y0fXMr)8n=O8A8#+y&NxA1JnD2Z#1 zTRYz_6vOcX9c0@Gv!afdjgg=Za;}74+*tr30-u^Hi_+JLqDRfZAQp*=UZoQ}P5!*e!;4p{@?~^cdO!#%tv1na-IG)O3CjASczqXJ@vt8DiVhf%5d8 ze$xa5j4kb#HNWPCUCLjraq+_mmdE=@B~r*wnpWF(%x%hWFiK(;H7e!N%#J4)RHyxa zg}q~RX3Z8Y+<9W#wr$(&*mgP{8&9WWTb*=l+qP}nwsZ5o=bUfc`|JC$Ym8l0d(GNo z|5$6Us<|e^1_NedzA(tUg4YQ#%2ND<(Yboeia6+|r-c3a^U;!Bb9apwIGq+%6sc%U z)!4eUx{&PO{266%4EyfmeR`)gzmtZBmKV`?NY4#$TxJ0vg}@LF@y9H{L z>~scKOb+&jr^mW5H(PYmUX1-5kDk1~fV{ZO-<59`-tO5wR=1je+bsjjv-KX;nCZaL zW5ksW6kduVqK*}gQ0qig@;gh7I$te^eAd52<@5b_MQgCzUM@{lW*eg;I&(>DJV19E z$Om!SS{}}TFKd5~7j#pg)4uBSF5pGlt;?7LjdDb2E95bCDJ-ic2`9I3TdcQ z#X~{!Xe|fLH>FG`7WHRk=L?8~FQb;?KWOI;J54PJtvrS_v<0Vz34PXI{iSFme z8#2*U`S#26e7lg;hJsG(u|CnuV>T0@Pja;t6Z&W2dv{b<(stecjIogwoaJS_Yk4c( z`DffinEX@h&N)mqvDguRU_cHP9t2rRGP{R%D!a7rCf(- zc-4=2ppRAYO`s+6sp(3NQFuApiJI8!cVZ)c<@Pq zySVo5wE6TGf~gP*#O%T;Hdl8EXiPf=SqM+7WpZ2xK0{`&4RMEv_Tu8^mK@S4<4QnF zs{s1}VelN}G^8H*QE91u&+ud3O%fR4mRnvUZ~!`~yFos1d1ND@!R^Cs_zkv7KFRei zCBFq;-jr_R!2jMixII6Xt$aYnn2DAB*@FnDVzS_%Wddp7@Rd5X^Ajda02mYC@=nEx z6_{}-YGEYWOj*c1+A^NHBUL5JxUT%UjlN@zSW1IZ3m@k_R4DtG+!yFGpRsZ7WiTiQ zyop~0yE+Ms!*I!LQ-nCRjC~@nQA+NyA-dQsx3Ua0Z>d;PAsV4uYB{j%F=Mkp^vvQ! z`+Ze?Dpni|QYYLaOc-cd0%mI&KWk;WS~ze3?Z*(~<+h$th&e@k08zQXJ{F(wcl=aL zrL5jCH+V1^p$0x|PK+-tbs~N!)W<0XSib{fhkP-E5vyM7>oyZBNYJiFe0#gNS%Gwt z;PngltfLV%se;~{_hVw(cT!kVk~Ig*DbS`dzeoFUMLw#G0tqRen1w3PZi_TRIE^X# z=^6fJg8@Up@}up#tnmKlp)bSp#>Dzn+PYq=pQ}2K)Zs+DS+Q(fF06VN#Y=N7uvrq! zBCED>-S)wJhUJ&uJaF&gVp?|%3`ez@Lonb?%I ze%Mrr@So9*E=V~N+i6C8G@M*?U}Y**;V7Go_BUHBw1&v1v_RZCiEdY$I&r3^pL0&K z#b{~FW^0a%NKD6>;;FTfu>0Z`3B!SJK$HS0r!`eNa>-aV5<2#)Oo31XK!Y^fjJ=6I zkgQKIFV(iNWJ}ow zMtzuAhnn|*RZum`l}gnMa#-NGPjkBk&Ebf6Nl(D=4Eq%V|EcMLLpOnCrS(sSRizGU zVs$dPkrffRBXy_g44JFn8k4(@Eo}jrLQ&!j3bY$_4!|4e?#wO4#Xr+jp1K`^O+)7o zIdX!EOcdUFu6>qXeOMt_r-ZCb3wCU&!vo)sS=F&fNpK?0DdMLkJS)f1uDdotP|}Dr z|IOfma3+7J0I)S`KY|!Sfw2FZaBIBy1Sy028u=&t);IwNsD(@Z0|$VO#l>wb#0JQL ze2MP-J4A^Kpn(Np`Oi%t1wa8ZImY127$gJ02mr$IPd{7ZUnamGz!yd7-&7tm7xVv< z$_q?HR6=`1AAF43brmPEPeY9uzEIoEQpTPt=*wee{yMdX9O!@5>DYyD4+#mzEkuMz zMDR!id5By^0u1!mk3vTRgrE^q1W?d47|oQ@%da5G^3G9Ebe5k+=!wNq$QRzGd9b#= zuKH|FK0a>f06{2Fi~xRJr&rTe{*Y16cnI)|<`ib&XE2Itf2YXyEBIgyIZe)H0T0;3 zvfR~mM}ASb9@=knJ`2y-aHvi0SIDnvt1`Ow2BELdLSWKN7Jfo_mBX|v=ck8{@j|w) zMn79<=oK4QC+#LH^t{(-RnSHrUPnaY;^wv2ZBCrEfXeD&bbXw28m?lcyLJVm4K}r= zVRLn4k;(;XBYVZuHA5kw+sHNk+eWdHq^?iC1{W*$$hJSt)vuDa*FGX=gX(lFaemRQlkMa3 z;@0WU0Paw)!M4|LXWQFNczN3B3)0rhNMI=W?UM3pjp@J0@gx$2o)Uj4-BeS+fbTFt zze8i9KQuW>`aL;RorJWs7nQcw*QW&?gf*P8js@B%A@4xsx;YUIdSCv)*5)Qd zFv;u-3l$5XRV(zJr50WoDJ`>RDhrQ|A zOz&6X#z>7l1B?{S`>VFG$fOQ9Xn2wB#4&P9aZ7fJWTk-Fl#RZ7u_pL+%u>>FB@mBw zqU)QVdB3f><);%}PZNH6;iLLQBx&p{M;)|n$L}iFmv5djBlTgMVuCMaxr8yeDO@cS zZseK9hm3y0c>X2jaaI{GgqiVf%k-bxjQ9c@w4bTKK8!F_{=%1l)=rkD*ck%n&@goA?VwL`ho6y*elgLOM#yp zKN!WxtqsT{+6*`~)GCv#cY%o4mF>6@@%*2QC6c)#10w|Udt*7MtAR85L!twVxc%Q* z5O(>v+{o6VIBsQ|BG#w{!_ju&zH5b@&4KCBQ4!ZLoAABHZEG;W^s-+*z#AN4TW9`q zGm=`ZATFb}>l0ctQDq4GzB=VfdpfeWN;b6a7lbKo?DE!R`${RPybZLcGl-QN+sZSW z?`Uo*A$##Nmgj4>t7m%Y7{vLts1_+s|LuDG$I4LXBlugw3Me%p?g_MN#G`)m0y}hH z52RPa)Z4SXDZ=f+WcEiW7{Y~5C zta;b#0ZfPshVT1{==nhJU{mMB2Iq#%Q@!G3Hyo1t1wpOv&WGg+-9u<4X^zG|F@Pf_P? ziOoB`Yd?D_Kj9(453&An)oB0ox+1&)Zm|D&UAD$5K|mrP*-H=ro9qn*g41X%0$>3A z&ySCZ0fNE)=f{Jk0f+!lc5d$fxa%=lfZzXi*c$!h0bwBj2?PWc0X+Yof%5MFTJZlF zfYSgd0{~3_eLh|b@B=j2Kjs%7RW=a2* z_Dl9D2grkPef9D-LR0{PFk+F&|FMCV+}{Tv2VwblI(a`}0Uw0ziyWOyybBNk;rO>V zV;8^=_b=#|d9MFrI$Z&7zrvR>uD4bWqNJF?kzpF+hhf{=p>sXE`XzKj^=v{|9)29#j-O86fesAIiZB%JE<1 zLRL^-sDF|FF@u(j%LhvO@0uG;`9K3eKsh+R=--r$wz{CE#?1p#O4pAiD}FC>uD`eldd8fn{d{CxlDol4D3 zF3SL0lyYpXqjR#S)lq9&V4BbfPRkY#&KcEEf`l;GqNF>sfF`la$H+J6p<#dE(1WQ9 z_1%(ZH1V;nH#9&Ph^u2?Xc-Lkm1sLhQbV3N5~2EOHHg;3wDz-DwA@M(EzU}Tw<4y; zco0(=*+jca1c#&&oG~v^EQTkE;0;=f>cCzCT_$Ltk2{1~k{6=}N)oaO{V*iVH1Ot5 zTr7dJFJcdA4J~U7j+vY&N<;;Z$-1&SzgF3g0J%?qT2{6NNP>S4%cJC<=W~+$XBwN{ z;g5jf<`g<8AnuRW4uOdF5mJdmp0WLDmbvsJujF`FfJTMAa~h-?Ic#qctKwY>Wl$mw zTw|UiOX_yii*gPVV1Udc0<9_3HA@0j+Z*eo&U8zTH z))fa+{kwf^;9d>`U$NhA93%l-XfK_g2<^(XWv_HsR}DkiH({3AL{pCnA0u>AGGV$i zIFKJoynf?2hG8$YK|FISXbW*_-1ipr%YWj}7LZ|aocW}MPV({ZE{fe0!~Cc5YWw(z zXB;$>u$=HBpjEhxpyLALk(!8*V$h43t+-MG5{9$Mf!2MgJ4~1^qY;B@h=@e%mX-mq zMZLoHFxq5O$UFYebP2L`Y}LKZoK-~Y#9UhbKVTmHVuylsr6NlayaEJ8$4sKjBp5`z z`hty`M77d;@gdZMIAQ!t@y^REx&Y_gJ6%Y7!zop4b(HyF3?Z0S4v^akv=VRFaS3#? zK^!m~zy(uQQI6e_o(&idv%X+r)Y%M3L%K6LC5}Az6;drDHPIA~y&c_NxjOa;G(|p~ zJ`7M^)Q@42I`|eM=16iUEWfMWVpJi&T-mrmWy37lxfL4tA^-(aDx1;Y-=fphH@GKh z7ttJQ#1BYGp~)P@q6_BD%##kr}9$m}lyk35=pcX4*|{f2R}wfQE@e`!)p=JBsu>zz`uj z!PPVbHYCouF}q7>i^vzgf*7f5==TmOUaBkF@gNcg6jy*qmAFK{O&^&D&b_Q_z7Q-} zERa1g=a)={Brh=+QUJ7co^-f9UQ_lEDcjUHm_1@9PUdW6x~b>_DJ6FjnRjBktv`jZ z86h}BVW)j8!$MOS5F2)Q49aj+eD@}8LW0h*o(1Y+b3MjE5pp^y0cVVK-z@MdNKhPu z-nx3q``Ede(&NP(VGg0Lz)+epyE4EHsemI;hc5O!ELBifS-fpvieS9k+a-8-NH{TD zQwUJRP)IUJ1BSH2L!MA!b(G*gexU^tecn#)mp&iVygZBEZ-bg7xTj>77a!@bRUUy3 z#cZZH%as*yxQ&>!e40HQK3i*TwANQJaNO?iNWD8BDtPc1lyfHN;_dHY?k^`Gga9SD znp)p#me3l_p1oU2ED@jK4>K!E1dk915Hi#aIEl4pyZ`b6Pj8M%qql~2#Xh<&nd}TU z7SE1J5g=3!i^E$4*{8mQt&a*9qNjEA%QhD)kB&K^B6G-1L>^hQ%}`Pv=)>`0ldxDF z1ex|~Y(l%IK1kM2QD0_<@$!c~{E<+51&fG?**8q|PWKV{!JieP98s$1CE- zQxpfvI#8$+w`3731dV7+vSBYV)H#7qdgQ?kIS00xBy&|H57=!Fe1Bi0`Pc`F%yx!R zy?^$BAkOO`mS-pP&FvACK=92SxYmNU)%INma|q#n3okl7YVP%9#kaG)KLXr`hO7(_%UltMX{v#$IWyBDNHrTWBpLuNFd1=LQE5 zCQ}F2g7}9hkZsu_fh!f4_s+?D$$>aQ>@)cbSlCk)SQyb;mJ9;eM|2k2rH=lXWu(~f z!5T?iq6)#oFy*Nxk|;%HTmr?DWQ??C{N|2D&+{*%4SR=hue{^Ed^6H=)gHWjc{P-` zInJJAM9Eg4ie6XD=?%}TgKfQh&nhmws1zqzqTNzEkl+j7TkOQiX9o<1$h-MZMSjM)G#{s1h(g^u6QtgO&x8*AY+?-E6rH4%?ij;sryX( z`(IDNW_khe*!D#%>9(Q=NF-@F;dY~!r%vMIKQMl~>wAmYE)q*224uB;+xiKtu(?UM z)@WNeXu;o_HKVb;odP0=`zl%&-5&?v91}ny=`bx)Q>4pgmp2cZQ#0H#6GamyQC1Ry zwQg)961wJhaN}O^Rl@fv*~UO)-FSyl7%zN@VY|moOxB1LR^+v!FW#M$XpbEjL`Okl zN5Pa}W01Df61wg8i_#d1)L?4)&Ej0bGkdX&{m7^eY#XSnwFUB9*96R|erHEhd26U= z_dHqUIW~{eVn~)4^JQ-qtCbdf> zdqigizuw5Gb4Y63spe|4m;Xq8@KI&VvRj}B)2B;HbI}Y7)s;8?3}kXZ zeT_(lrS^JB@GMf?yih4|&8$HfN5%H~UKZS@3>l|UBPxK{ald|=r#U@8w)-4WN0O5w z{NQ9?AV(;BAw*BRYE+C+iHh$vQxe?90lJs_(zsWD5d+kKf3{>?4@M?MAhUB1{wl|$ zv`2#nA?M{H_c5b3ay7C~6fnsGkd?0{)W!-Th6ug81{YW`e(rE&LVjW#NQr$-v z6$-XDcfE(KGbE(z#wmg{hnY0`o^P0JRz1J`B5@5tx`H=uFk6G7*(!l1PK^4OV{8jX z@o9pp`v?tRK03q8RR4Y!GtYHmcm?wxwgEF^aSEWi=~w&Jkna;Ppn|FW&N>OqiVLnO zXkj=(?2(@FtYWWJ@sTr|ZlOkTOng%0E*LEooGU3o&2f%TY`#$QBT)7`z@KT!1<*I- z#iO+>;@0yvg)0QjJGLdc)VRwG6trGdjg*S;Z*> zmCbjl>mA|^4N=5wbCN~48bdSW?>wC_8b!^-6L?ih&gamzIbCbp5l(~f)YBM_qk2y$ zrX7>>?4`rdR+>)XbtVW_@=pWk&k=r0&B)Z%l*`&>2$SuaGZ9;F?hha;#RMx~857Du zg4y3^5&P#~M&kKWIbtoC<)L!RsoPrsMNuda$f&SBA%?vJLJfaxjyG(2xs)i9T3VYe zmccvb?4B3TmB)MGt6M`%j#AG55a8GH{rfBZ;YDi8kJ)$6o5aUWO`dafzP$Fh^u+f1 z(EGOdNvyqGeLgtTb>W-5fM1-v6~}B1<|;d1{tE2oI1~^6`xLL^M1k-84_-SIphS-^ z?+HBVy*Iqh0QI^zi`4#U&a(IDMcacbPVYjl^Ss{vhXyiiwDJm5#TYkI#~Dd49wj__;AR?Iw0&!O;bhP6vpw3!RvC zn|0p(>*VpmeHtAuTM9lKt`;~2U_pD|Thq(wizd9}s!!OV%}!Uly8UIas8&b*6ZS^_0mMDr&&>iNO^{! zh?WpVLWEnw>)g9GdnheMg?l`)mDl9xK&E%J=O!S}dE4%CbAkxv79IkKI|E z27O{%`v^HYgT<9>hxAxdYEH&!iYdxcsyDg^w8a?{oA?OIGnaHnKI7ANCh4xF^XbRB z3vh;e=KI@(iYnhF$%IYpY_0EiRAjpYOUN(c7&q!00{G$=*(_+Wt&b zb3_<~n2-|m3|rPH!|y#|M83B^)N$**&F4P%`h1zQL~zIp+&-^Y@;F33SUuJ63Kge< zvV*FQ%p0Y!v|>VTSM;>;cH#-R7k_Nl1^Eoi;oIb_61^!`RD!*>;Du4OA*kE$x>e$R z^KwYddfyiy3H=oEfbo(TH@Hp#l7D&|!5X?Loo%me-(qDn=$)pVd*ZKSF)@Se)c=rX zTnvKlO@YGiMaiLxlSJx2i@=UM=uuy#UXGHP@lh%x(zqM>pjCoz?p9+KXQ2*JomwJW z1^Fa3Y`2DD>=;(oY3ZKZ32T)c_DwAJ@>UacuUM+^);@J0eTmU{?z-`6_6hmrXE*WP zZQe@0Az7>%#s_B+eo{i2?g)}n?)`?(c@4yjkI8EEiW3or!gH2@Nxl1i8R$CRUR4jh z4GKba26~6~Z5`+*4}Xc+6|}duqTai0^hz|3c+3eNZL`XZ>dC3^Hy%^>Llm%d3oyaK|fNk2+6xs9w2$!o{ahaNJyaT;y zzYn!zQ!v!N5@*zc-2+JQm_z6@JL{x~Jck4FMc2({sBMNpm;v?+G<1?$C5UUy^{8uL zI8pNHGwf!{xrlsRIl`PC!btmv`ikjy2}~vy3G5Tpsq)sYT%;KIGTs_LCOz&PCYqss z*vpB<1N)qNw!m!l)?i2i)*{ma5IDulwMx8;as)LTbI6MO71&(Lw76zGN!o%brUKaf z7Mgw*VUs#MgH`rI(-Jk`VuDI{~%9;YL^ zfn_&EvKZ3t@Q2!s&$y5Nm1UN0rOIM@bgRH(2a2?BE7=IAiaY&K{UOrg#HTC5K>@Z^ z&pRx~+SA3W&;-^!{g;AtROt*%#2o>B+}0hOz2jB#FdIfOS58v?bX5qPr@DeTssmI! z7$h1J3*aW!bt~;2pEM_v)uq!k6TY-0$z9{1G)KHK(=S`beptN81rf=3;7F0fa)Nq~ z0qjVsL)xeW+kFBXkp8{~c9rgQN!;B$WeUX-WABJELa(dp9E*h@XG1{*Tby9H2PL0G zCle5tiPPqF;-9&bsCn$4N%9wkG;TJVI2rXC#s!+=DyVY4TOQmB{}Lk@Q`%+w+L}p^ z#qoDCd@%t(X8=11DCRsKgG_Z;m=$t}4v_zPW!jd``P(8}Np?^pwXg&=+8{?u5n_iG z6P@yPi9!eVB@BhoShwD)69F8uw+9k7pFJH$OkTI(u~?VuQjZ{abcZx2c?4}+|4=ry ztg^D{w+iyNK!Kz*B)S;~dp&D7O;nMoCcirPl76+On$VD_KIvq(r9qoiF#t|3JkW|x zg19ZqGR{Ut7n)gqx7;>o?}-c9O!JX!b{H9^7@YJkXp;8%54xH~AWgCEX;E;y8v zdveia;9F%rywNv0Cxsa-bk#yRI9r(P0M%fH?3S)HC+JiX78thQe}4_wzIDN_n?g&w zc^@`-V#L%JaxBhr0;fRIhl>r!@a!~CeLV`!c7))=biH)zjeZd}w2m-!PZ^p5fHVxU7 z3+^2GTTSgY4EXPf;)A$t-ty4Ls%sxk;Uo}kQ9{jv4fx_n4wj!|0@~e5t%q+}blvJk zr#tFDT+q++6A>S7ruCO%R>1dRz%yaEY8kS-=Q!C*D%8rf){dkL7;Av{>Vn-1Nc@`iQCll$p(nf8x^v`*ig zpA{7hrIVUkX6}f;LpFh>3z((P^XAPko!q~mAHD3ZD%_tb-k?OhuG@ViJ=!|H(GSXn z)-H99x6>G)XjERmBJ8gp&-Yq?T&w(Wej6O*yj?y(JvarFqtZ2Q3`{bwVLbUjMjC8w zC18(8rXBCU?YLim=^JQzcyhltF$5s%vgUj&nu+7_XEG$6o>&0YKMyreJ9(u=z78W6 zAtfswCZkK_9t(phTi1gC`QtdvdHMtzZR$6DH8%`&=`2jcSa>nfInq!dN3WDjbOU_r z-)xx+7u2K*yxfn1M}}J^D>K_hHHlTdo6{?P0_Z#ZF}gb;=_L^T0%-#A=n`J+b_ZRW z;BrZrzhSV3ptb`cDg9qYv*I?oi?T`jpo-w83BxfO!!fuC=%Y6>2s)q3w}aM+v}bT3 zu(j{pvdx(4lyHWoNwBl~cLx)%!Wjgy=)azy&RMZ!HUW%&d#|?K{(;G0&8MsX{&KP% zUK{ZjcSQ6!^$w2qqxA+!!{0+H437@MV<^~Q4cbHMi;BQESJ{KdPyvoPEYX#p{A5`c zqE~iwt@%9ozUk}b%DGEUa|1DjLfAMyMY8{xC7!lDG()3p`2(L6R$>WF%Nduhv6;tM z_1^2)xhK+W6U{70H8oozjKg{kY7Q=jFcP;u9G8`Vb1<54!{@Q-U|`))B5vJU!&jr; zCfH$DTNo%2Ohg)X6|dgf^xP4_me+wtdoH69RqPBo6x|_olgq?JZ*5@J^dmNx7~-a$OrAr|-=tBI{_5S8efT{?i)0=g$@l3(b0 zy;$8nnl<6_bUgC3wqxDi{A$%g(}Ym@JmAxfOVD$<5@>;%79~el)JVeb^RV~S&x&$9 z?0id&lfx=BBy3XAJ%j-W`YkCEK^#+uG^+v(@$Bkr5Ff%|Lou<6q_k1hWaXKJE3x(T z2?pj-hHuc6mfpWPHgD~p%+}~m3i@UwVP+oeqdyNis_WAU&W4U!w=*mz&)yf_kP_gR zLv8F!do;FbWF#t%TI}E6EXLibD~vwwi*wToCS{IzJbOJi>n3RIm*^&^-N-&mKG%~e z+H5syq(b6oI7iU3tllKqjz`(rt~Nwxb^`gm9!w3_7FkMPr_Ie)LF~^bUnN_ch0Rv8 zDh1Tite(B~eKYjSlJbCU&JJ2WOMUI=ShST4on@myjZ(8_UDf@ANwenXx)K^d*CI=m zLK3BF!s*E^--X)e3rjoQW@Q0pr$(9(!}%BMc68J+b=g%a74nao%UFr#PYu?Q3SehD zPsi(>3-Er9rL>c}RvCTSWFaGtnX~j~TK!@KKgL_tTMdoi*k?$Ct_Dyw+>yDEViBv# zRWAoA{V`70O^esgdAh$qJUw<+}giVBtHCO*6CLQY18Lu5q0#g~nnRnbX$Y1kiT3%jLUs zCm%iGmvo2Z{_c%5RkVHr<8Y$ErP%W3szXDe6wcI`5l7hNh&ji|ELCl4s4{V4D%CuC zWGKPg&EEEIJer>V$NlsBjbmm0+%`yKHJZ&?-$TFlyv_rR!P)~wpElplyh5Quo&3E= zM-~i~dh=10wpy*y;Q(9e2yo4vNv}K!SU?xLzWh2GBY5iXZuQ*T=gl77+3DMkIV>{%|YJkVM zaC^Wt7;pg>Owiu)`c-J4L6`2)uNw~zf@bCG7}xrMZ6FdUjX8{MBk($!TGO3=w*Ve| zK1f7G%x8R%;yn(($mV@_?V>S0-oSw0cGXug)x>V1Y=7Qb;bg<_O}`qk?)SN7_o^MCSUNxOVe6yPW!WYe-rmGSbT!;rV-j(@ z8-OF`jFMn;`Z+}c1PZNy-d{XoJR7UVer_!S)89Q8N~|8KHa{i9y!98K+yk>!cD)*O zb``154feNvq9cNf*KU34vD|XAJ`T>~cWXI)N>iIF)dW7(@(ncDq&~YG17-};Oqugi8UFyToZ+G_ z^P7+ea#7&S=yOoaoZl<(o3}gtdRt-l%VMHWE^{5|2q~4Bl=xvO?6oAJ@3hX3| z@VFR|5Zkzm49NqNxVj|8ri(dsO+CNA2%(A!-mxsghBd2LW<2tPxm2KXSSYDqDl&C? zJKDRb4K5dI14>@+1jR?%i{_?tHAg2Cwk#L0=CX~>wJA1%CZ6+*ELfM?luIPm4_Y89 z0zEb=E+3Ax2`X&(8_E)U&FDXj=mWb=y+-)o1yphm7N!_Ao&|^zXPS-H=V{~7Rm|7O zMvsSAUmr6b86WHG%72yw-Ip=eK9)I{Yx%igmN8LG0xkGo^Ldoo*Y8Q2=PMj@k=`%P zXB!Lu3b$Y{RChG{{kbStMhDSG&bqF2(Xv?KxhNw(kD6i$yhOhfsxS44Mf`m^|Nk z)~M!*1C;)WDVw?Bb5n(2``G!jr2h|KD}$QI?P@7P5Aw0yNzkaDTn?1vk0$Mk_9dAV zou67t;Hs|e=p?UVD)vML;rRZz$@OH?`6M~(yLV=a`wq=*fA4k6~ATSdz#s$5L)aQ3{ zdK9}j6tiO|8W3}gcAj=-(~Wh%RD$8WRC=UfS<#M3jTwlQF*&2aDi=o-eqgCaz9do1}nXYuoe*uKX?M6nXlD zB;LGINLHR5HT}KSUEa56LBQ_F#&MRxtacNvMy^alLnJgRrR!+44s0@xa@@D z@R;l(;^dgq80|#BtscwljB>d0ZJbJYuKf62d>Bf+ij(rJj0_B#96i!n9tt=sC>SRv zt9bVqRF7hLNPX=t;2TabdH27|PQEn)MV8Z4HZy0G7SrKlVl`u7=P)v5=3p@~=VIev z;$SgnW#{HHWijD0$1uI>M}4L5)#2nGL!vCiyIiQ0p^U?#EW>inDDl&4 zuLj}Co8Gs7eJ0z_oF2GwCvV#(GyhT&wlQ^H$^Y-#HPBXRBV zEw03VmR<4HWQk_F>lfYkV;SIb?n=DuXaZ!7siS`O(l?%dVTWV(J6uhsAeGJki+nVeZ9%N!ha|K1iM@~TSzCuz_Ay2i0=arvic zl+fSO7EQ&rGk09A%-HiQ82w&ccT_vp8W4^?i6Yji0A{y7-uHot<%9yzX6$Ez4NS&Q zJKS8>*+9I|?@IukFbz%T&pKmMPVWfBW1ZZONZV@s2Fdq_s3qw(!OG=jAdgd!WsR?w z##zw%_h{elA<8|1B~-7_gfd@FLE;F zH~itN(BARVWu4#}cN|_k_H3~NWseWzFL!w6<{N)`quAx@F9$Y-01H?$gxUo$<0rQz z*2Fpk+OS7WsNR(w#dQNqkCV3@$MOvPZ5;T0Fq*j~aw<;I_mY-iT+l1Y8oL{c+>U8< z<(&u^x5Pc)H)P$hE2mBwo5L2bc-kkn;qfGI(e61<6Y0A!pI}@nzYf29YtBppr@lAYpLJl1Zs2M>87 zp5nI#2tXpvdi(J!Jwiwh@lYNYT>|uK&#OUCaD^8QDbFHafDBXjMWqF_uA)ASM`5#+ zigt4rAJmQpXTk5sit%3u4-f{d@c8{-k`~p9CyS1`{PizAd|-}i%^2D%0PQ5xMH<^A zT9ttlZ5O5t*%iotxAErM$I)vhjNndQr8K69bfZ%5S_+&aPs8-3D@)}T7Zt`N))V*R zTq>N+ogwaufnFFkMqj@j2#ejGMXdw^coKHk3&#r5}Bu-4~~v?m57-3bY|M7^V;ub~C{Ei}74?$Q~RfWx#eJ3HYY z(Yb`~Fg{Qp4Zj5D*6S~VWeuh0+MTWDe9A83UF^zuf!j!P>vrOEe{Id?_{%R$N{w9L zdcS|ERITSO^xH>tc^19)LM%b?W?#U$xM7CUSFyYHH7pUh5az#fuBW;5Uo3&X8Zn;v zlQKi>+7q38SW{7KF~!>9f_>&bGcZ_gA7)h&Li*ft93j&G?s%s-iq>)!9|(KnTXi&4 zy#LS`1%{Gjve3WwC(6Tkj|AS=Q%LJZ@{R8HvzHiq{BA1pNumt1LAT=8(oKs_Qt5LU zuHuu{y*u4X^~$KDP}9A9Oq%WM*KOp}TI (The full walk-through is lecture 11 of the Jupyter c

The paper

Accountable Distribution of Machine-Checked Correctness Evidence: A Transparency Model and the Lean Transparency Log -(PDF, 25 pages, v0.13 — revised August 2026; the version is printed on the +(PDF, 25 pages, v0.14 — revised August 2026; the version is printed on the title page) — the trust decomposition (expensive verification produces an observation; transparency makes the observation accountable; consumer-local policy decides acceptance), collision-extracting soundness for inclusion and consistency, scheme-level