From e716c246985bfaa4500cce53ff8afb88f14a87e1 Mon Sep 17 00:00:00 2001 From: mrwulf Date: Fri, 17 Jul 2026 09:42:45 +0200 Subject: [PATCH] paper v0.3: absorb the five queued author items GPT's compression dropped MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The reinvention outline and the standing paper queue carried five items that the round-11 draft lost: (1) retrievability decay (leaves whose pinned commits cease to be distributed decay to historical record — author Q&A 2026-07-10, outline explicitly kept it); (2) the extractor-vs-bare-existential sentence (over a fixed-width hash 'a collision exists' is vacuous by counting; the corpus's named extractors + pinned non-vacuity guards are the content — the S3.5 lesson); (3) the one-implementation crate parenthetical (first-page misread signal); (4) issued-at spacing corroboration of the ~30-minute replay figure; (5) the SHA-1-vs-SHA-256 binding honesty clause. 16 pages, 0 overfull. Co-Authored-By: Claude Fable 5 --- paper/ltl.pdf | Bin 392384 -> 393003 bytes paper/ltl.tex | 19 ++++++++++++++----- 2 files changed, 14 insertions(+), 5 deletions(-) diff --git a/paper/ltl.pdf b/paper/ltl.pdf index 21dbda7608099c16f872d04fe62d8e9920460c2b..60cdeae6b28116410572e1650818607de707361d 100644 GIT binary patch delta 37544 zcmYJaV{G8v_r+V=wrz7dwQbw&)aJMC)V6Kgp4#oyc00Ar`~331H}}U1ftEnf0Mj~KF2y6LKwqE9B(rgqJ?s5&K$2{V-_x+dT1r$6 z_m%*OyT*WpF?hA>gkj#*X&@v-wT30NSA1&V>&ew=oZ+)veWyNTRbLO><~6rwU9T^7 z5oS_vJgK4nrH0OnN^SFeZ}i%kO;_jBqW2(<<~B2xfQEJx)|8K)L$HPcphEF#nzM8s zrwM%DZkglX4Z8Es00uU5&go0;$7$c#HWh;ZD!dt$<9}|m!wI%!Cyym#&wS%jz#|M*Vn#0J=Mx$6xiAgA5|VDmfs(_ zl8+?3N+f&t2y%TL%Q3eEh7hCtFx@u$#q^x7l~Qg{ypC#1v87uqa^J0-O=&|zlFkyg zw+Qf`Zx={s=c`|BdJ+O3&P+2iJGTj4KBl_$6Ibjr?~Kw|Ajbx3?$R@SWeJ6~tj+OO zp3|=TwjD8B^X`6B1yXmJ(jP;A458cmpn%y9DW?QD(#1=U3Cn2!d<8d&;I%aZNr%m- zFDg*9xBDn) zXi^-uaPc!7_{LMxJ_*QG<_ULqY-{%R1h<$d$j%yY!4c=12dTRD1(qU$#9&l{8JEYT z8(ba_XG|5>-hRb^hbV)QgHaRHbL|prW+oKOS8y62@rcRhABp_|4J#~II8{!%6!j_bBC1uPvAXnpHtqvZ^o5$KEEPS$ z!RkbeYgdGy7~|VI=rdmx6^YHX^ly#)Sj*{*h~;Ry-io0B6tcB8VXXa5=tb}Zb_0n! zlD4tD&MIce!&7WTH4DBs8T%(<2Gt~%fif083iSn&O?U~vF8QTKcqaS@}j?S zUUs+3HH6B6nLwP_*R_s}<0)qZUmqTVH&UfQ-MIhw<3#z^6z-M#a0p$`_S=>B^n4=r z47BXz6_H{1k3FLE33&$5)``5=v9CkhLf$xQ7D}Qsh@pcnP5z-tEkDkDw_#X+XAiy& zf2GqH6qXjn$ghg(X`IQl*R@>65()Gg8MJ<~T!sQ%ZcGL67B|(8Zl7Xt1R>ESQC<$k z`HB&IrzQA3>|KiY{c)mCK-62m2+K(}LXK=%-f1Th+lj;DM~+ZZ<+py(h^4d_A)6Uw zIkz>GT5V9`ZY&ocZ9lp>Q#I95Gw!eBT_|eqC^ooWYDZnpA^IXii{SYvm5>IxEaUC@ zBhLU5GDi*LYut&lw){J(??YrUC?93K6e%IF8d=tQ?Q)p?g?rtZUf0VYW!0jQAZtP= z!4?WNS(4F5WJvwmnkTa?C(QJw5Syo@KDu~pdR^40H%Gl{Hay{*+;b!^BMG1}J{-eu z(L`VpDtnHtiZj|ja!JK2SL6Dbpne;6J?;ZW&OJ)+nUaH~f6DUjU2KZQ*+S=7hyS$1 z*ldJ2?IpWEjAe8 zC)GdTN@)b9O3yXAexJRW)~^ppLY#s9*!X?f876ocrBr*j#9a5qn<;XWq5?WpQUWUy zPD}b@S{{TV*occcBk=cp@R>6c)Y`_}nvo6K?&6Ki{8d2xy zKbF2r>}m^ZFiyrZu7N_x$&tvNGs+w=Eg;Nwy+Kxc;E)~zQR7) zRviJ_^_7NYVQsd8gbRqc2}>PSsQH5*kxnecr&T0{h&p1<;LTi-A-RKKaA@3)1c83^ zBv^yXztWM{xESNJ%(zdRC|n^G6a_33jH!bfjzRWT*x57}Ku*@*Jyi;+CwTxp*cWG= zeH=l9URm@>`67hkJ%P6(BuBV==z^QY>Ru04@Hrk2 zD4c1v;5d1pW30df#lcsN7cZ_N&lC0kN#Z5=dsab-+v2C#;U5wyu6uw>+ZrCOTaylh zS~|Iw={WprK@Js8Z8ENXGV&KunK8{7{E*N*FD?QHai#|rIHBG@epOXgs(yqHhOu9p zS*1CJTpiN*m7@>_k?fo19k%Z9rt!)8!lm2>K=Fd*R`fob`DZSZ$V}w}rW>yEzNKQ8- zbf-0YyA|(*z*DU<`z~Lfu7cAuEWxZdOGsy8dF)My9z0{}uocMJBt>}pt9A3pO1Orj zVMgIecjPjntC_7u4@KjXwUxCGsip1F{?G>*|HvEgLww9VFvxNJH-q>TFLt3Ji2lFy z2G=B)VdyvBeD9f*i`tsy-n?yET-!Q@%<64{T$5dzG>~hIfdk?k+46t?(9SYChTKy- zhnt0%OCa~Iv#@|E%@$);R3Ap~m2ct`KOH7~tUs*~Hs$1LZ;gK?-~|^i)}+bj{U%PU z)!Js0uUuK-euZ}bEJl8chPkNrqB%9rT0%tGR;uEE8xn@bOSw$aJqQ&r!%EnPz(V-* zyT)O1j6`XOfb5|^Kc5ws88&hHTQCXk7H3!caQ_;)%YJLrI3{sh z5ajG~C3d z-1BL1`3&;xme-Mk_=~_xUSO&(7S>|Iu5$RK9ex~iEikmx#RbnQ#{Kq0crcfh>+r@z z>~C6nG)lnU#JoOtdv&U-XHWwq`&Z70WS>zjumyY^(DLd!GxaHC_Z0n%gHCHOgC}+EtP~Fw-TS~>8o2)A1c9)UPtK9wG zrW7v3naeYrW1l(?f%nrsBy<oF<3ZL#Y7<_!b6CQd zXtN(_Z>2aFpD_K-E*0iU~g`r5@)sPNz3RCKbM@ z;U)zKv5VJ36511%lnw#PxPVGNoA?-jagL@3?yy?>e~#`1 z7P4G*h%!%N?nu2e;5c!Wn9j$&n)6YyScqbAq_30VNgXB&y)h_#qm6n+57xo#Y20UJ@ev&ohjp&4`Z0#X)^iirZ?ebUkgnBla(^`6XW&aI0w@T$zyOBio`=kHfw#l3 z?@dZeUt2JtQ(_bUP#H!bzL6mrIXyL=esp0a1@)G1Ghp-^FY4O zvltbWv~iZ_UoQ{X6e>j-4L#B}ljL9!cqbA??<-rIznq%JumJDWoX@Yl!6s}6_!cE? z9g7kj-*yAfB%Q9CnKCSXuBf>2+0Xfk;v&J7)4PSRJ_6WoPvCsomFq_eW%oFi)MA-V z8nq68{-ZH|D!u8i`OppZ9Y)Pgsm_G1Wmzqwwtu}`&9ay1-sXwkyQG-kzp9KU6<73| z_R8#G7kYQ|=3HiRR`6OeRa4wO{O~|FyFIItbDRr;!Lv>=x-1Bqe+&o4&(B+OkSgXd zV$r7@k2FnT!~xz~d>XGD{Nw^pq{WjdElggBLFL|S4vb)(HKUC4;vyk)3HOaujCK^F zzUK^UK^S4T%2+Ax6_4HuyK&fB3=2~<7OX(_a67xXTV@ygyd>8BA)=$GBqaY4V-?%0 zPw6kg=*_N*0&5Y&Htx-aYf(g*#wz>Z!K_S0-`zFLXP~yLv?8q2HqUf}BBvV7$PxC; z2|KK1&={NRhlk?2R-to#IA(Ti=H#kb1#OEJXw_Bd6DSA3tA==LbvR7&*^4Z?_z%&= zICfNIR%{fU5KSiaV=))iy3)xk1S)6=B{#1J`tzU9;SteZXOpZN#k`>+7f#FAw6>a; zj@BSUEl|~Jd+xTh%K&s+8`LTiJ?~N@c>N&zF<2L8lf#w&u|BopBX$1JX03lH*2VA` zlDF{HuGc|v@LM33UKMi1iRRPj`-_i5y-7pnX5a#|H|#Sa9V&VYTB1Xx{)T; z)(4aKaS(-b)1mGI)Zmt}^2g5JOF*cLqQ4DjJ@fEVzGWY9x(5Vc4V6rFQ+I`?`qX1` z*sK$BYF=UEXkuDb^DbndYX4eNEtTY$fYfJ_d%x&@EXYrt*pvg5MF@oQ<+Vo@L=p{# zz+c7>g-m0uFb%5cjb8rEUvZ(eR~>!ZFu6kCpjeygHYpua=~F&tHtUcw*gV-KlQ3lDCAMFF-~Tk}FP+7xXFz2aJ4%%T`q2%TC0PhG+@%+`*ruFN{ReOS zw(bU{s?_a%;9pc(sTaZ+IK(gM0-brWpn|R-XrSegrpp2jXr~D6iyb|GtrM7?vr0lx zv6QE@?@rP#SYTK^mzgqT;RQ}|Z@*D6-; ziD02>UT~EN7Qlp$E2VyJy0bZrd|3-9O6L9fJ9&&m5|Fzice8QI#Il3O0tk^>xR)#4 z%jHt$4H60}fq;TBW}r5=et?zqD;6v9?9b)KL@4J&<@1j1j&X5G%**m@o%jFqT^h@} zftUqtx~qIo8|6+%pdnwPaIj`;&R!5&-@iBj^sav&)Un$9I%RwO>AqhEv%#! zwqfjVD(wDKGz=jY*T0W@3do@$km%@GhS$_tjVj;dufNoEY~I!UNv=w1>hN+o_#N^n zH3OwHNXSp=h{wrK3Br?4#yf^DG{s98!`zl!A+ce1{^7W$`8hwHMJ}@2mS0j_z?z%kV+q|$8VBb* z#YJN5(~WTRV1Bww#q}7P^>?cA0Q#>o0TS~V{iX@RniI4XI>oLH&rhVQT`A=+as!WW zRmzV{>rMUrH_B*n|Y>fjOG(iOK5@@5dzrb8gn&h#+(oGFs6^07o2%KUVG z7@sh5m0TgSC~_5BC{a1FzG~h0*3oX&le*#F1Mw&kSKIgoCBS1UP;@!a8>)8BKMOnIo~Q{Hq2L zUp_~Vc)f)r75IQra3-%PgbpbI^}#msv*3TMSC=)-mRMvV_!oYgv+U@TC zufF6VXvc6_SNuy_R%9xP;%GbDRymsw1kC=nWKnaBgID+}-039|tts!#PrYB86M>=T zVDC)&!IIHWI2;mvwoMBRewVZPEOTl!mPg6EiN}}k0mqqpsv9x?v_?VmGGtS*>$au!pg+Q?nxZFtYN+2pgX0RWA`Fw-GX_hA&Rl?5e!uHb%0}a0S6mlKPj( z^{X4T69CLY2kC!w?kw7BSEH%8bqPj0))JAdR88V~!v9N_JX#I*6MYQl4+5byH~NEr zL3cJ3N<{+|)&$XH_;u*5l#uCYW z$GF#BgQyEUC`^BRRGqnPb?C!!X&ps`FR`nZBLJx=XSxkuG=mQY^(ny6Cz=$;~HTE-Fas9GtF`WsUUJSIviyK7~^dxM1@hDRv#TvSlX z4hY==Ef4bCb3D|W$J{OPij4lLEs3`t}Pr+OonE}v}pMYSN z8B>;PcpB-)T!SO;xUMx@!b<=tLnBK2ACqIf#-E|aI>VU^M&p&ZW-O^!6p2e@68;55 zM;ltz1m~|$x%(T3bB>lt2z9<)hy#qnbHO+)g8(MP;8WuHkZHD$|MTPFm6HpMG5gS;JCIhG=>1h< zvf!1cu`B`9GI$WQU6qYv&?;lMN|Q6SvjTB8`aU=!RtU@WK(K2ln%G1+6nyQWWc=9Q zE3RRl!9&gBtZ{)*E^OUh0#lVqR2r!Am!w0#Zm+9uV>Xi8X^Nu3XK65@ zaeQ@AoLm>q;UCP-vs?JeAzx4*`tf$#&JluoLi7?Hs*%A7tX-))jF@z8(DU#N}qOqE1x7505 z_yigfqaDI7g5?U$Cv}7uLFg&1d+=s&rEWJV&)2w>^dKUXe0t5donfC|=_Ks@I7@t2 zkW@vVR?5Q{+Bh^~_DD0O_wQ5t5}T=gvQqq1LBFMdPoLIpfg-9`Edb1LZg^j^wxR#9 z=;nbtIh1ghPbgB5MBp+1;UP}uy28P&8k)!KQ*<7`D@%y@T#o~{Ga!ZZXEMi+H+z>M zoM0?_9SP)2mDS`4^?h_B8ll0xhXOdV$l4v%H*5p@)#ka!P)&l=x#Dobwbv2KTN%p_Z#i7AL~k%P`_cR&vL6J+EN%&U+uK184-Wzs8B&nHXA#U%YH&{)qf8B zo{6dgW85|xu0c!ObroG~HEs}DQ@-ce@`DX#Ni92277B?OG6oz>R}p4Tm;tgc!B#*$ z@rsuZ(XoIAg7|u$TL#hcr2S?06^1NGoZLn@*aWX9xc38+7(n>xhj4UjTHfy#1k1_C z;do1LMkiI8=vTpvRyp*$EdI|>12Yd#=u-iu(H^YU?h5#GO&`=M1d*!A(qOy58;$c% zW(#6+JU$J;zna#NJoCHoZvjIv6E+ZB7@tDrxOnN8> z6tZZQI)OOUK%g}=>iST2>W8|>=fBOP5hX8S>qqH3adTHEZBZVx z1~|fTOhTMjnyW$+m{`FJ=qVK`$BK!ILU_>rLv>z5w5$F!p+qgaN-AG}la*a*)q^|U z80<6H+y1Ve_Y{r+z!an`iIo(?^#|4qdeI@fcT-Hx6mM~4j`VEi5*77$z_&vH1kixYbzAy<5Mr8Vp` zViq&XV@SY$PE2#Cg6Q!%XEPRu=rfxu*6 zb8>y>0RW8C9=QL3yT~`qV4$H=29bZ9CNw@V00Rte<%ynmObUY~v( z2mgW|T9}ZAfvPjw$ZwY0X9?b$M z+-mHtgRc5qU*6~wFLY#yd9h22JHKA2YSgCF7Ekw+i{HMXn{lEDk3Z2LI%=SC*?;kW z!6+?j|CYrqPOnwgrdaH@sQW-F`^}so?t~PxJ#r>4r%l zio9ZjRO6;EHjs@2gL!|2VWHf`kHPp(5_&KpMb#e*;?22NHAkDr9{#4#EI*8&!2-^7 z+t>36dC*q#>3_=-Fiw^v)&+EMRxY0ZTaOIu>N;$WVERATk<5jul&9e$S$akgMMAl$ zV9-YLoh8{pV0dVl3{GZZPfpZb^SaD9jxSBn%bp_!d5(AF@;>jqQgq`hdJ6WS`Sc0u z^}Jn;vZxx+1j(5dc(mLm@{BbJ zD>7yhS5*)Ax6!`fg?{sGX6EgDJ-~UTGKB}Fu1J=y`b8|=TNB5!h_mqbMgsVL37TFW zT9W6>GS&hbj5%)Y=CwWAznMToka-qsR*sEzuQ)0}U=g>p z5Gb{A-5jK^C!jW<@FFG`^8>I8c8cI0Mjx-~wF#j_ba2BAsDd~a46*}?l#T2;r)HTo z=wd(Q`Q5Ah#~cuPG>`I-!y7 z)+#8AuztX-Kx^vmw!SmIXs4y7&6s`AIYj&^bmLXHA4D- z%ilp}3W~p*aI?eoVg3?Q&F`{{cNbr`{f@PFFQ-`!j4e81aJKbDXvI3kmYT6MP%rIp zD$AWx2)cH0*XTEn_o_FY*q}f?iNKb<86b1Y>fiNAr)SU8BJbxsA|4-y`%VKs>`FwX znfWENJf0VasK`FfU;tCIY>_O3t8GFU1eCa9h%$m9Wf3Y=B9om9Ew+?EDPn?O`?-#r z=>BQC*8bYT2~eaLjL%OnhzT-5Qo~{C{OP$bUBZ_TufhI3k{Z{pSS@n!Wpg-&otLZ3 zQz0QZl_c}siVm&3L#PWt-!<>PpCq}lv)Hd5xIQ4LE?bw64-jw#|C=TKVTbAaSpG_DB^Dav{gU)$d;L~+*MT22yC%#H8%Dz5M+)H*&0m$`5< z#TRZcbfc9!jJKYLHB_o;RO&{-PE-Ni5ZftIwP%_^m8YN9Z*>g>Ui5p=rywM&4124I z!48oAc7VnX25|Wx_KP3Bg9QI#OPwLt-RvbG0zAH8^-+^WZ$0qEntxS`-LelT&n?$J zW-ll~>_qjGZ8Rw9-C0HMPJ<@>Gv@>^5w1|qLb$wnT%5FJ;!eklwc^%t`7S>5WkbIF zU{}yIPU=X(O|x zqo=h^s@UOD4`k<_3W(WTD}4p62$Q*mLudm|qjBq+e9>dUQB-kcF8eq)==wm?qP5k) zobh)_z^#W1ehl(K=G?}-j7DLUANXMXJ4=oOK*cRavU*PD8zF=~H-AMdIr5uRqnkBI zsmR&xV>Bwi$eX0B@*k1wI}ZE0Jf0m?MQrfJTOZPnu~VFAC~ss{sGtDi$Kt}t1I{BG z-EXs3vJ*}2Thj`hKlf)9WknVf<2{Ij+d_X%g_DnMTwRReeNi{kU1R5;^(z}uvRpC) z)k62fgP8Lq3Ik=;`DA0(WNt=?gd@TT*8lyz1$4Q^o6YVH8xsjC8o>9CR6Jmuv@K?+ zqQX|Vjt=n=&aas=X%wG{q+!mkoJD$B2%9L<4-{4@2_B-gfOYB%bVw3?!UQdl8 zzP1}Gbe@a{gZh1^A{jIWFs&@Mytb#JsHTdPRGk-~vCsc!?PMTP7!z}qtoO*Zi)jq8 z(2d=OhPjjCEG6Tvrk(K4a9@t!$h?0!Uzgw2lR$#sPt!jOtN#*zTei%)z&kXSCP`mI z(i64K@*o8t=38Fgt+*5?=x6~UKf1&(|I>>L{HNDi{GY!3KmGjo|Es5o;nZX+cgxt} zuoFxc2lkoAv=p(mKSlxJT-3WM=CSsmsR#I85<%mT1H*Vjp^;(*!%6sC%EiN?`cewG zV3{5o5#Ny9m07Y5niM6`CGr;>|l;-a$XgK3S|jrft?*^D7_-yRu8Vi zBfY`>0?w0b5ec`Dk-)>wTv$ry{hRJR_iSO&A<9T*^^8EB`Hv$qsctcxS-0f;sxO;< z2krg&1n>jOIRk5~A7A9&Bv7`{w4L+Wx7c3N@8C>Tj1>EieB0$zKS+sydjyS?Dpc#C zUL^aYd;Ljsl-jEzeT%rB%{%upqG(uCGiINdsh?}p+0=-U0D3tC5&s(je~1k2-}gY; zDJRQ`(Joi%B@g+a!$N@jVUcI^I2wh3Z?MVU39u!|uCqf-(4kfvi?NQkq5EkAm?a#b zgeD~;9@IAj0;!k|Lg7Ex7ypLs<>OHooFX@-?{KlU}JjnNF$y!#=MkPPW&)7ra z16mkt_?nGce)%DtHKoRL< zdkxL3Q2C(?Sz=EbOlpNFECV4bE5cylFcO)Y)^61KN?5))i2|&GMLl6*;3mItHk^4M z?)xktHKYFlL+2w*z0Od$$9=5B2|NAZ0nlP)b8Cg=A}BYE=e1Cfj3Vv`_TnKhX)H~0 zizBEFw=#WukdyL%lf3XvuWq+>wA@urubilxv_l?%x*pa=_;+=t`kQ_p3Nh!9+SE7= z^4lRM?J{ud8+0xEre|K71Sd4-9D$TA8V9Gm5(c3eV=cxVn=3PA(qGR(b(@X|01qYw zpZ@>4SAUol@OOziZ#3xau24^{jy7BnNZ1?IbIkPBPJAtcqKsvUVX%;Jad3yqzKN%# zJx)o|4N>wDsS(Q z6z?ZWXuXvb2~w5J_#%Dq1bvF{J4m8<2oLrfD#86GMB#S1V`6PTY$TJH1_)5NsSILg z=$|a?+JE0NT-A}i4Soq??0ys4REQF^xh+U#9<>G&8fiuzU?7{w1i?irx|dflOLsnv zp%UYEvNRO9Z5r>9GDkK@%*0@NJHeBP|Iw~ya>(@HHl5yhT6CS>Y+{xQ5TKPK$ZA;| z4)S#R$uc!XnoV_mv0t>>1}velwf54qsjuPuL}ky6E6wH@42cR_S!Yq}q6PA5EPuM# z%-zSjt*yK&<-2cpc2p+}B9WR~fF2ce6#(NQ3ST~9y3T-)ab-_mb_N>6vi_7wnOB0W z2ky%I%F#}|6fP7T6Lq>r3GI9G(N0GH@YQ!KrQ|%ExxJZ-tFyUrQfDwRI0pyk{|zHc zdeTV;T#dcYb#s>$WI7yAN3UkHO#exj)5D&zAjto-@(IWVNuUik__t zx9rWMZr^;d(u6Ho;y1?M87?2qGRCbVwW+k$5B}BGZD8;DEw_FZ>Vf)Aq0<16nTQQ0 z4sgIh1c>+fKki34)MUI;c^loIAq~03Jmcj<;L&pWv}AtrVRQHOyzx(5EHQ^?F~0&ZF(ifQY48@TD8(7dN4R8cv`w7IFb86WL^>0=dPj2Jk&V#O%&sK50nWH9mRKU|a+``KRbBJYaw({T+(_JhZ4 z_vJIVwz*kq^Kn;r7_;eGnN%m_XPeQI(48_TC$Z}%RMg4|AZwLQ5%mB~7HfoiyDR-hq;{S~6Pm={T+-vc$&X*P{O&c#fR`yyYVbyxY=Fe6Qs_~H2Gm1>PUu5|*3^t19F-*(MYM*D!KhWdJj>JUuoXtk z$`fz2$eA0;Dt+`>+z^dRcaZY(Et$k0`=$p=sWTxNxN>Aqzu>+J=psu&;JKivq&3EI zB%SX&Y83)LzY-p#JgO(9VN;a_1jDFu^Hr|WC@DgnmPI-06qqU!v&1SLd8T=lwmZW+ zm1_Yh{%NcqO_>*=F~O@M%PMKYnw5d^W9DK^UAW}X%~Mt=jb%^th7s%+d3-Z0+&7(+ z7T4ujizP&8)od-ZwwVW|aMVroEKLY&g*$GNzJ$1X$CUF{%Z4pc(yRV$`ma{SQ??nd z8A)T?G**`74nWHiyu!37r>Rm*#wr>bC&h817%nP9>vc+uvDA{vTr_pKBF7@R#~m-s zPo`O2#gQm9H~B0>ZRtg>I?}fkQ;& zoMIPk_*iK{@=7WMERwsQ(qWdPN)15ZAThHODT^XB;P_NzdH=)0??RiNt}pp0z&~l++>?T%-lPV*G(RV}H%rpv1pF zOJ-MHozWG1C8{Ju9hAGGQ)3cE(rEq~>Efy-0M=A0utN!2opQqe;|;mn#L+Suow!0| zy6`87>7Ae&v%0x-iUYC+!?ifoId;gz{aA&Cw~4|_uI3n>2wWfm^Z4Ea_s2oZF>hW2 z%0C5UrNRHB&GA3loTP;GxQ0G4s`6^fiw@<resY*_s!%D_NF~w*xkgBYy_yb8Rsd1i!$%zwCrCHFae4%t|F+bG}VOa7tzgZCsR zel^U zj<3nN<-p1uuUs~}mOzqz3#MEnGN3Xg$RMU6@itu=lK^0MQr>ea##&%cLVMEAUU!mM zvmI^lJUp%fhhV^Kj+sc#rqZE3m12Y>j2OO{GBq0S2@(L3e6<|U{P^j>@W(8lkt zyKC?_F9QBxDZk#yLna0v7sj%3CdvrK4o$dG*>L8hWAqabSLj>*=RLwP9pM7RC`=Mt zFY8GxOR^Ma3lm!N|KEIe|1%#x%|XsPNn1y6)k>~FNa!KgN-D$Vh{#vlY-fySyD7E( z;PpOb?wF?i0#n-PbWG&^L8rh)C{Tqo)LqAmlJ#HCqph+(;++308mVy0-dx2Z9&w8~03 z&bi`@d}|{|uw-x*wbLz1j)j5uF~jU~D|v=duT{=EnHeghDd!f3Q^rpCQ()SX6rtAv zdCs^zD7p?;zrI4kBaZ>p zOGi+MK8TV?2Jm{s7dP=6tu^%E$pREfYKJ<9g=VKTPwpoqwlx>6#O?&mG*6dSQM|2w zt-(ALjZj3*U#&!H4zi^`?m(8arLU<-{n8gC!=E5t;Q(-&u#-htFai>odH)FPx8#wM zq$LE7;!`1FAB=dh#x_0;a&oosWp#S*zYxr}5%Yg5Wm*(TmArS(Qy7LvP06J5vKqIg z8WPcl(ZiFmvO(XUkOK~vMDE|d{5O{sr>XoEE%O3Bh}>|uBlkY{On~G%Mg^_x-c}>i zuUCTrDG<*8!W{V&iUt87sM`}{ROGaH*lr=XTCjJTJfQk8T3B#CL7gc0_->GVzQl*s z&5*4LSg!q@bq`>_=u^~mG(|~ap~y{IitU>tkB2x_Nn>|P7TJu)uUhI$pp1BpWV5xr zD8wCZ9}Z|WmFg={4FN)6rZykEw?kvLU4+PO4f7#y53Y!Cbv(>tw7;}s z*cM{HQ!hUWaMAaoA)#FTX^RI2g;b*xQEHv&kWBg={AxXBNzXvVj$z&+J)AXCy~o&# z#Axcl65oiK%hs}ik|62+Cco+93$&}WzAvyg+Bg1kDaD3 zXECBa5FeAgl~rY5ax2DJc~=^(7~#_M`33?NHPj;t@a-akX1=pBu>BK->6_XVwzkrg zXVK*Hdo2I<5y@ZBAjK6bsGC|of4?ye(WC-A3XQ&TpG;uPw!Az1OK%$V`l_a;sJn@ETE_X7|lqvCXWM_B5Ik0nvEvDbrJ z_bujApkOh|ZDsrKbfu5pwS974--fI1hmVz!jpMz8Lr`|xr?(#Z@$UT!_pZ`bZmQk= zU;%%#0MAjHqwP|58s4^f?2iw}lcz8NRAdr-uAW8>=}{=ddy16ySHzB2`I(;Xg!`=< z&u;Cp*WAr+!Hcd(!uJpV4j(y#JkcRzN%RC#Ks?0Wi{MGXTBH~eGE%+Gz7p#_%7L_U zuvF}02EG-9B%gEn`-7=3fh1JT{fitQC)=-AusJN2Ora+*0Fm7F?KBj!yqL1rgwWlC zpo?JZ`?K9&QWNeiAdQ;t@N?+=@hX?GX`@i49liTxuYedyzpdn-HS}QfZ=S-fTF*Nt z0EaIVAa&3E437)4F2J{-`jwJmQ~yz1*T&nry*12F8r|I1wmhDa)F#p@5uw1WyA;6> zzz^r8Y_YkwwY|-FGagi8R>^XGxNW2SGQ$1^NoY&q&nP$d8rn>-8mc;>L~A~$-nT={ z?zZEQMyQY0+8DUxyMR1se*)^E>+7fpEb6kv<#{|`rV6)Hd%Ht+zAGAhUJm)rO4%Wc z@gwM`g?(<{vXR=tj#M|R5xwax-`%iW#6Balhz=i`<0XF~ZxOja6YiRm>}P%T4|cAc zWD!~=MT28RLV1c?1?=sT>3@5AN+0^mE*8@v`S?;CwN(u>t(hTC-rDRuLU#%QO_YY8 ziI#u!j=bA0+0w-4(cHP^WMrz(CVd{SkcV&c<+`;5k5h8^6t)Y zOP@Vrm^1O_%acBALbd;WLB;U~&>UO`!WZwmww$y!3qHE`48_0@m#vRHT!9_Ct^$FF zu1lgL4)-qs=U7Nf9Lg`DekqQAXYT6oRkR4eK)CpT&W<)#&M$b%n0$JxSpa=J8df{Y zeKHG7`2sB7DXyR~L}uik==uH2eXF3IFR@*`R(LaA@FQFvjoXy&W-4LTS zSqm+4L@B_Gd%TBCdtVJnS>_9Wu!A5FUuuqih)W^nd-CkKFz8%ul9P-0l@N##{7GUN zo&J{Cten_9>F<+A>?*cXqbZir$n<(a#7(5y?0jE0Lh8YBK0Ro^gL>Prqk;f-=iIhd zObGGTX!|VfmtQsn!x0OZiRlF@hyp%8=IU(GnB;4){Dm*IYSh~(4k>v?U$^Qv=G0{Y z76`eUAri0+xwzEx)_;GJi@a3Qsh=qhOgbG_x;55cnZ3C3-`h{2EH;^tT^lx3_J`>G zligE40%^?3@6W&^`DqBrD_RA&OA%gX?Y(gBt)F8T%#q$vu0R3MV6_=JkaO46=sa+- ziQt_DqCcJ$R)GKv{fO(&W9tW;SY`bQZZ(NNMj0+pX-W)8F+EB&)+{J$(gaK!qNS8H zdb200KEe8SeC~lZl(Eco-8M&XWKF&7q_r0{hTGm-Onw}dEsid>WIxo>*q*h62VEdg zBC9{Sla-{l4+MZMp4X71jIYk??P8p6vWZ4~Bw9S?g3Wzc#&5siGxO+X-9o3Au&OJ@ z0!n@7hIWX4prLEa16+PWj^s-f1(V+=dF* zrZF6u+9j*@{IWFhJTwEFXy7UU8=_W*V3~gW7_mrf%>w5@_>GM&8;VXCRJ?> z=E}05>m)woKNODlog{44jGoP{fDD5J@-g>kZ2GIF^y-2#?#QGWZq+QXPj*ZtCKXEP z=Z&pECLQ1{=^#ZB^+V|QICLNctNC;qOyN)Uq+uHm{;|k&&ilfEnWZ5(5GY0laD-fc z#Zv??3u=WGRTYBTLxPZRaByPhrT)vE#oJ<@xMJeYJww}Gg{`>JtACWovNX|claEe$ z3^B8)k>^Ox#%;4P#3Io|H7f$Kdae%0-~seUY`#FFtmwL}TSvK-q z(mRh0N=YXJ5AN)ms_dK&*hGhJrVY@#4f?n)%?j!RgZj&uLE=CPW(;$rOi-d<&=Od0e zKM?={VKv`CR*gzHPb4ut(w{(9;=dTtXhW}lQ`Uv`SnIil*A?Tb);%%fly8UH_+Cvc z#sFUI{>y; z#f~W}re%zsZtvS`Y-%v+HwpU=uiJA6SDG;X--2XbNl^CraPTp)tDAL}ecdmo0}U+9 zlsEA)g2^wv?w=?r3K2zjL{kBE!ZC|y(3l?|S#5E)YJjx$diK8oS(#mju^aMObjs=m z;_BdFCK^oPaxtU{nv=-*`6Oz~58#*_IXg70?7($%huGjVh4uA5R%ac2=R2M5dJudk zHzy$E)i7Xk)~F6m1n*lDc`taJh|D1MHm%RUrJq7j1J$^hK%GpBey)rWZu#ak4TJU| zsTaV%pE^yLDbM4MnK5pj5!H#hFjAsz!(TUMEurw9@6lJ2iJ|AOhR~u#0s_i--8h68 zhnxM+5dN0w@Cg(SqA}1V5(|iU%sExTDYxQdrCsVqHp+_+KxW+*tQ*2n|CIhwWb<%K z#+`d$@Eait5fofSV8ol-+`5y}X8`gjm_Bu(pdrz8LREu)coobPd^}`^D&8mB{Qu$U z8iOl=*>%0OZQC}swr$(yDYx9(wrv|*+uquCPkZ;fnn`BzHxo?WM-kRh%krIDaeE^wVHp+WDF8i`zOPz=tW>#;ts3$6iGbeek$0yN zjfFkFGiN%)A|G>8fl953W+qkR>^j|vZE<_HQmktrB9I!uYq?1je%(kTTY<_9>aMtU z|9#3JveyQY-3D*TW~bIwL6-pA%CqXy5bem0wMR2LlsV+3$&O zkUGcV{;MpjYw5l+8JP!fl&8zo-RsW~$bCmI&pw9uLE%IX9`in~MTeK&M}fmGJ>kxi z-jUuU`T+YY&hQ6SS2izG_xC^@CAk{2L|I-AmSJTY%u63_IsMFk$<9Go8KxGl0^O73!^LKDpKOj-& zL91Ijwd{FcsVNPfHb%1x=!QAGF}!xz>5hJo$9@-26wB%gmoNR~-Z7It9usfx*mM;1 z&8TbbVva$*vEM}6%$Yz{%zNHCo$9ci2f+6LwKQJT^$~Ra^jiD2flt$2a`uD$Okf-5 z#%S*%p{^nS00{`%p}eKpXgAl@z3iKMdEEKfmK_P4=lb2NkWT>|htK-BL~{C5QEw#s zmoD9xF)jDf6DEJkj{3>8%K4CrHjc_cEJgc2aKAA5dV6oPXZSUaBRkpoAp8}T6k^jKwW<;%19Z^;B4HV)JNm1-=>Em2 znIWe3d8lEddNGI`B`EANnZ3$6W$)MLFS}yof6TAaL8rfH^`z5TH@JDR09-&=ZFmzs z>eQ^zmV^;e{>5%AQOW&M0klllw#5=4h3gDz4)B@R@SR|6z+0)dBSiOWYPU)!4J#UR zcTw=kQ#?mqAq=E+iAQ=awO{zp5*<1-fM&MCrE1v@@;85~bvTWBl_?5%u;t|PjQ}3* zu~G9bQsdlKMsC9=orVkPRwBrRh|MV1-TkfXyI-n-gUKf4IA$h_0CINz`+Pj3rn9~R z(Nc)LuP-Ohhq2#$Jn(QrqyExGgNkbHG+9}*eUMoKP~*Kk!oYC_drn$u5(;Cno;SA# zMFnbXrcct}D$#EaP0SCA^v5yx4p~DL$j~0MA*9bcq_hQU*pNXlJrD+-%>DGMA5B9o zu9mO3I^wl(3U6{0fLTbzzlXEXgb>28(qTe*6F!$U0M!x|CY1sEGjOtfkxpaPI?V88}}bEk%`AvWawHF?3v!hhU#rX<8DGfx&wZ_nCb%csF{+p} zcIE!MDxXvMu~6!f5?H{V`gs@Jw< z59-LAX9L<=7<#GGM&l0O7w9EO7Q9uvz{Bl~G4}=Xd07^Z1`B>&oWO_7^938T(>*z4 z$vA~prg?ZmyGxG3t3DOwzeSl~iHiW{6=oM85v$M*i09d@6G8p_iAax}{)7iJGuXwR z{aGyw+b+hHj(Z0b61G_lPdXf>`$GF%mfj8N80fhNgLJSSEcRXv!@ToX%AUFvcx& z;uM3$>Mbtl2 z^}xh0*p$Evq48Let1u9z@UYJ$M7eaV32{PicBBynA>eNT^tfeU1;Nl$9h&Qman@6GRQd#xM^YLZ{@ySj?OSpC3za`Wso3(LrxXv0V06^GO8d;(BE= zU;=hKU%4y5$af=&#;R-)DPOCrX#Rul4;~ftu--W=gn>!X^LQtJ&?H@fgI+19g>hHy z0vj~VxNt)>{-J~F!mV;%e!G|hMLaDb$OHHSV?BN9`;aBI?&|BG=X?+4ay@?{#U~() zg0K=m{3({<03^(z_i$NBvexDpRp>uOj}ajF~s z8}{Q5cy=AyOrg4UlQ9Y?{S{$FHWw9sF8>$=1+nM&-;^Kf1|UBNSC!a`Dj&4H#crkB zOfux0rp8k}tOS%})>G*~Ts1+CRX`S=-JX85?aSW&l&`WU{+tnC+ldS#w{pr}&VgRxy#C4jH-_wTvi{ApSUYBNY zx{w?uRcTHJOWA-St)+F@4S#Kw2(`l2S6i7;)xantH55r2miCfAz0TG*MIsPmr1N>G z9Sb~*DZg8V@W|ES?NRN?WCBTd5>PW7WMLWSNWc@C#^j{rI*G?mu(?B@79*unUqJ>OD(q}`>cT8rLPHyx zM)S*1N!H~y?>I7^2qVAiaEDc8S~#A=5s;JqIVqy!^LW_a(hKX}N#<$l2q2VLzcNE) z1HuS&UPx09I-idB=6I8wAsR6KC~Kj6GKCWo<=RO0?~-w5F?3UtG9#~;W8{0!Us;I1 zyBx7z{Sh>487U%8eduaTS^tV6@+36CgNz?e_Q5g?3_Qa zi1cN#eT*K zq=2=3zPVNFX$Ssu3Q{eHa&(2CiL-)vpV0>CwU~uD;8hmYHbzp91L+gn>Rs-9G?Dp} zsf*If|Fx(9W4vdi`0)A!{&cHNC8X9QjR}Gaf+*r z&oLLq-;HoI^C)=+fSPR-TeB=&AdIuR)XM4kp$hNz*}!EbQ0}lCReEsit|ru0-CH>C zwb)4jFB*R{vS;9an2i1L{DXs114#D;>#FCbY{~0dyKn!Oj$b!`5#}X0hL2IRTB^4i z?Y@!nD5Mm^pLu8oDpNL}zPVeR@OKqbQx!y3VJVVP>Y`MRZ+#!J7`tzXoN!rd*zn zPeTd1?r<&usGk1^{HEp%>O@I2?v2Fb&(JbrYnoxt4;t}jQ|ZD5kX5@Dxka)GB98_j zzv5f&Zl@g+z{?Z>gbIc2&w_RlV3w8XabX~LX8`<>?wP$OM48*PXgovAssP@NWsN&i zOZusoKhf-;Gnmq-NKv?D*OcuBY%41xzglZluS(PrVn9|9RazzjpBY5QbU~)on&xf6 z#(d6!wpo&ot-@y92g9<$Q%?GA_a9MmrJnE2)eyLVLv;}@){4!HF&Hi{CpBV-$?bBia0mL)h5ph-05r4gQPsL#*3`$&aW>T(0R-wARaSbgVPu9mj<|A> zZ3Py~oNAb2U80@hV_*oh>)?+c1Qf`bmhEVuzUc}^4@rjCUrZ$j$q}PEzhBi$&culo zmUXNFRVwE_z_DGx*Jha}J{qxfX{}Y$Y+_G$ZOwHv#TP@I6OQ{nQb4aYpLQCc#z#5x z!?`Fh{HCs2#nU!Vzyr*lJU6ZzA1PbbMHYX*n4_)gh8mGniy zbr%Ixm!*+xLMHdMho`k!aaM8iN|Zx_Nvv`F2d^FLO;JzYCI~eaUuK26gXY=8rNs2m z&sShqk8musk`6T~np2<(zU`*BrjVpE(nEwrlp;XxOk$tWWS9 zs__!pfpPLwcNxjOo_-!y=HODHqNs{y^_9$)h-P=SJAll5sWf3(qgHJafMlb-0=>Gt zJgrB$-aJK&XeA{gS8(s1l(icn{-y)c+k?7RWPOtBLS7ji<X3a@Oewx=JuzaGw05 zz`gs*sGWJ`)DtPQ>=m4xkWg-`d+sf)^mHzAr>?NLi9ZA%4ff^IN##<{MK(Rq`EgwD z3wQ$Rb|P}>OGslNSZ#C7=q}0@&KmPOU&eR0q=54mr}W}~2nC*GgKAEiQ|@6tZzQG7 zS5AZ+*HU{^+QS@CH7`-aQ)6w@DT+-{%G;At*~hdG_%nDX#A08)F1ZsYAXTEMZ8c#? zLDJP@sq*xMU;d}Lo05%$e1GDy3Z6KqJ1cb&c-NfA0X!q=e8j3X0YS^^FqFGAcA$-z5FFx{7Ecp13P0sSYDfP065C@?zYh3B$Qm0+EH ziSvEy8N#{Op8Kzvs-mOoMxL*S(Lk?QtnCw_@pEk!rZ&!GR00k^>J|zI`JX$;>NrkP zW5i(HO8m=HsBd!= zciXK$&p}xmh@NJiFh4V&58kt7GYqBgH@nJciWztII$QrZWfjOJC46WRHPlsQ%*?NU zk23Ut`Wsv4uIj&HsgosPe(+mHZ0;KLAASBuIvmIepB5FD`zovzCK;>Wt177bcmPtM zOU>9FbfL{Z4rBd0%@I_ac(nV+8vc)4HOSnJ_&+ZiIgfDX&26)>=UdoDL>T#7;1p%j z*&3IQyELA6$B?Ef^|hrU&!J)LF6?;Jev3A&BdNNN4$Y(CK)7XO=1;1w`LB@lBB!#%1 zOsp|4)S7!EfFHjju%O8NyFY669Sr-o7+HE9)v&1{NRf1vxhKRNDNP+Y z)T$%3jMrW$X%Ly85r1iFP~>Yg&LBx_58UPFUlcE4?c7hQ_&k0^{Diz6Lug|rJYg47&mMs|k|W-see@8xRRm+|EOP1{9F3SM(5t{R z2EJ#(Ef%IMW z;q!Pl)4yQV4H6JAjC=|FTYv*$yoy|VwifMrP*=X;xSIoPL^z>ZY_gVNCMY#6SzCv> zMJ23^s!$`utlk*wF>oZe9Bd~=xm4mN>96eO%SlTV|A?twoSzDW=n*!u{s=kan*((x zE0KdzcYo7pQ$FYbnFl~0lxmAMMqoiU@!<7n z8U;GyRPbK^T@pmTxj^hkMrp`y3!wH!8d>K%9}Ms50Go(nMWpZ8<((G$cYlHT@>2Sa zs&@uy-uj0Wi|JiKr850IHrPa#Auo>dYC+-k6&`!5I9>bl2>nz$o4rP%N190sJ{nx& zbNYxBi?s7DMzp(M3cFASnlZ=HgUy zmj@+K|D3TYUNC5hEo0fPB_J@hL4_0@WS`Ij_rq#b-VvXLCm~jDG(tY3$ZB)o1y0PPJFV0MTMDGexZBoK$jUv-hS;R0d_-NT`)RXr$14mkR8rBq>VlapOU`A<%@JEL5?wX z!(#Gd>QMpRuM(Ylq!~I)md%*k_@4|S)3;!K<&6MfzW-_XU)PhOOE@f~^Qk6L-kQ6g zK{D0jI?QcA6<MVwCF{;@23BaN%>vSNn*WU(QP`Aa8@9DyWKyTcpF%%wEfO5e6as z>vhH|f3|O+EXWln{Uh0D7Dst+7ifeEzzQWyw9@6$#QkqKP|X?r@k zbHOmI*#crw-_A^MMgfpTWlrv~8KrW6TXwBFvIj9!4s zsItsjL4v2lo)p2;$Y~9pY1dDMA&ivI<#>%%S^2Y@alGee)Cy}!GOZvAs6nAyR!xu) zL?UN2)tC_!jf+=>xv}VO_L>8|ThRFuwr;OG3He*dqcaO>XP&Jm%XM{hoF?J&#hQ(K z@QA{|wDH^GMiPgKg1C3C<3M-}GD<*k$+_l%Dv8~ka7@jQk}PM>t)GX^`pkc(E#TAY z&D5rNdqxHEHa*L1FU93r;7&m0HnO=Nev~MDW@hK2LH8|P;ESsXOW(8e*Tj01af$Zr zr{NeWgB8tc8j$41HbcfMaGcC&Pc!L|T=Sj({ls0`7sH2UrI5sMt3vd$=wt+BSHmQE ze-DO}t}V{u?zyrV->|krztW(VYWIIkL!`gbFUKQxPiD)@mg*aGs_o^#{b?zH3rKdn zX}j}i3^2zLRn#$NM(ALFNe96(6dTNPUR9>lVpNGfKaT)%zhWgbF-W0HXCJm@!|s-0 zae|rW1@T98bGgc(l<^<+O@RPNHWOr52k1#A{SAub4az+_v%!nLbzUhJAm;CUbFL5f5MOs6 z1TCL?31ET>qdI>V%-!~G4+c%2n750FL!I8W4U9RCnlqfzy*zPp#_RzX`viG5zXSG9 z?ymmG&Mf9PXO@YK-)Ab2Yts*22rvgU5{n#fEVMcMPtHM==wIaZk4xb%D@$bWA;jcv z_sQKD+&-Py&erWKl8&(C0zY;MxM5i0DxL~n?l z5nqURqGXy2d4BhQ_e9{QjXTm-woe_}B&7%+(dZ+e70!ApI)1^Kg`a`_qma;(M4CCk zI5_{OSnAQ)jl<(W4wyCEm-KSxH}$oXRj1J576yZH_6MmH4Bc9g5HPPYgS!IEa&>iZ zW*xd5H=-+hd$QTi#yJYkdc_4h|7wKUQ9?(b4KU`HW=<&J$6Bc1*DFB` z1ZW%RM~lad0ontpMEl@lFv}*98A%PsIt^sfDZID_c$C)5)Y$n2ZHaH;9l})#()VC3 zLe7G;nf6$j(jm~oKxCuXNGd6A^&@y@mUf73G-KN5>IZJ))eN;z659orNXRnr8-9)! zLoyxxgsO*zTmBXb)Xqp&+6D*hanDO7}IS475ChhvF_ zSu=%T#&oYmCsXh-#0538fOm`zAHu$nmV(9jL{~R`l_E_h&leefq8<$U37U&K4vnWr zHEvo{d^wV_=pfql5!70x;L> zpVUr>tk1e6o6Y6VnC|0X3KB9~tF!ppya5;);04MM1nxe4Y;I~cl_}0f_%Lz~0x$}h z7i{ot#Y`J;A~nfyv!5cAepB=5wolMU&5zPn{rPbL+Jmc%#n9+SZgV`lx#{5wbZD@P zA=-I0pLd_Ou=i>QUW>i}-P=xa0iwW=_0LLu&*O14wmy~o@mp*z;p9t$POw*+YqfTj zQ)QSgJ_>?)F`LA>4E7M0y-0D_dA4~{Drm~6e5wuI_uMn_*S>!0tyJbl3Tq7Bf46R_go zkSX66?91_O{B`ijx~Hn)2-jE6ciU4+H)4Dw2lkcGwU(D5kDIk?}5o%TU&Nm zAH{wdxS%jtu3yDatv-iKAv$(nIu} zmQWalB!Mv|zsX%&J5-ifR`Qy2@leJyfG*t#u~s%>az#0h`Q%$CCH^x$^ep0@Vsa#g zQgX)iGI0T=!C>QX^`&E)I1#gyph{MUGc5B$(bLnR6({T9X`k9?F+LGb`IOs2 zRrae}_@xHafaMCT*jSuk2wif`NLJXOWI|;1IvbKec6T)@IL4{6%4O9?g?&}7y4lkc z1@kAG^-z1-)yTr4rJ)trI2I{Rm2wmcX-UMcc+Ka@eKHeipLgFVtvM#;XR67I58DEk zh8P}8u+)wVycaEr*TKTiSZBIM3&Z4i2$?B!}-5nsFX1?QXO!LY0#_{t0GcV~DN1LjX`m{vHs@U?Xs5~8#i=uPs+00vz=wm- zmacpt;6kVxAqqmtd`^)ZiN@vOeL8fLGvA5^43AOkT<8RXjuF0uzl`n6YPG6ub4Z_W znFzM{T{I{}n+S+j^pyVt z2o{Ifmu+0(Ie8R{C_-=%9AL0=hy@8o8tMY6l;ko>;)pr93A0RXWv}GDRk5FQ><;kL z`h9$3(X{2~w<^EpkU-e+$5LM_PVauG^Rq?At%va{c>)4YS^1)kQeJ0vZ4&z~NCkZY zXN(ucHT|sF4&Y7$_7- zOCi9&H}@J;?RFkp3}_Oith5&p!$F0grxpNaA1TlgJ$RoQ-|Tc%tRc2jibG33=O|B75{ zjoA!5<9A&IEVT$sm)0@7P(@2Zw=iZHa)rr zI|=I3Onr4$&#gAp9B*;2B-OWQ!=efT+Fhg-H(F?8ITt^idpKHsyN_;KcpLG4r#@=X zMkQ^Q$sADEpzd(27Y+O+P2bE+r;Rou{xy+}^Yc3b0B1Zf@OX8jQJU>n%+~TjsOVo` zx{pwrHd=8tWKFnLRRFg=2}Sxej8}Id!SxvyV8A<&eK+-$x!nfj`fY0A?uZqKythU=;> z+6(dlz@4VbC~`eHe`g@PXf;h3af_T)1v0{A;f&5@X>7Lh6{{;DO=SUj9|#Ym6~gzo zqnQbiTob%bksjc9<4I%}4_*`4pfnnI z#mGY!;xd(auf-j^S=r{gtb&FakIBAHn!zXZ&Lz~@q^JzM(C@|e+rS6axOFu{XJSSG zuHHOwDdM$v1X3%v(oN%+kg)l3E;_Gl6QlcitmC@y-X8|0x)oBB68zmOg{vYz68cp* z!{(l8k*AdhWL_k98ti@93_=URElMdK4>cb`gph^Xy_nBI(aVOT41XGDd7uivi{A4{QK=C&7 za+kOt&h&=}03X@cGS`8w1`0;dd|UsK#(%q)IJS!a^-+m(;Gir`d!mw@RyOYJWU<1Q zfkZmD9&(?qt?>{`mrXarT)h;h$(~QE_(9JB(I?^#Zg&CAws;_K(R-8Uw?r1;h-}eU ztNtPXls{o1>BoMp6^c&RgB;^i2Z5zH#(+f_0h9Wg`c*q+eUnft($kRE(My+w2XzMSlsr=(y>=7wpJvkznJjn-2^wB6OB`u z2IZw>Yn5Peb^F9{@!_IiV&)#}ziU_AzW%Q({ro zS<$?#Ksb}7Poh$AU{NnO#pxZgg*@|Xa^4jc3H!_YIFjtWI0T{$aMaHH!4X)?o6I}J zZyW0!ePnL+N>ic*kKXU>&8jA`qjc|p1V2-Pl>p8SU~Wo*w1#dB^23o6u;DtbZ?V&1 z&TvCYkPh?(5M)796Xe4H#Fo&4`>$orKQOE9TMRGrA`?z`jY{{VDl+M;R0%G-p`yF` zgfbX@R0(`UCF9?Daa6N}n?fV-{zHUjFcTbmaa7;dwnQ%opHES^9(GhMZ2EGyZ{Yct zKP9dZU+!oK;R&6&b8p+p=lGgcv>WDeNFiC0m}>kp4|B9N*66qakPUoriTR*Egq-Qc z{zy>8fEiwN*Zyoa*n=lHKpD|>twpWcL*vm1k38iUOvWi32_XH+c;YJiOMruVl{fg? z8y$QQJ&UCD^mbLJ(*kUi0+3pVnf55oWA;ib;36f3U_qa+`*!0@a9#jTEm=lejD$v4zr={cr^4G+Fw_Cpd@lO!)|=yF(FQ zBg8w1!`y>aVQ!QY?|XIjPa|BPg39#`^Efn#$$aAE^J*tV9AyR|e1aR7?wk zEE(l5XoXb(LNN#~!Uklya5Z6L3wPTUZIQ=_?}r?8D`9sZu& z+9~()TCR)tTG5?uDo`@`m<@ zl_2i~w0_$?YqYldo7Ra(lerADJidaKZjthLCjedy?Y zfx*!+Wj6(%cydS(`c`Zu?G}mCST+3GYLVB3T#`5Q>b4{7b+Pe0IpyoUH*+*Jr6Epb66I|Dt1dm0QmbTENR8El( z$fJ5;ZJzU?K7^gb^C{w#{8}-h!iGd=;YmY!A+y2}ZIN${U=0s6mu)TJDNW{)NcJUe|o4p{{lWk;YfN z#V8Al0p{v*Gwi4Bm{e_dU%ghLk2azNbG*!1g}!n&p_ZZGnNcZk z+Eh4W^6;0;lE=?BHbiEI;Vj>_n89aGMTaqEMosVU#G)Lui0CmceU!4z&tmYnH=W(j zyu0f^~zYA*0`SmnFR_$|a z1JeTfj)#Y?ZX9RRfiHIG^?LSP;OyFraqRAF>uTqx?1z&91^u7NUUQI}@ATQVyL9yB zyn{Q=TMHEY5{nK*$8We_Pnr820Jv>!KZRFF4V*|b@Uj-ED51RW)w}>$SV(QKiTkc$swU;_FPo1cb z!XYVXRL)6Rte3;G)wAL$4;t7c$(ej*W_8n!X8xBB!V1u=-F>+-;k~%Fk_T?6apO< z^e1095C<^oZbhA0p@Eo8zfXB+6ZBl>d3v-T_wT0rK;g>`>6@;`LC?yp{kYo*FN8J?|RgYSRd$SHm zq7lSrGr!*%xDAL6&h8uRQ!W`n&x+6fN*X(r^S~+MqTq=c@RD=^ko~kWl54y>gbZe| z9yU_M900{*b3Q1NgB^x)^ot56kz?gVNJmf99e>C%&j<|g(S zfn9omdB@a)2p=OrB*2d18H9)n4>pW((TIr9MuZDOKWxTH8dd_Oi!nD0G{(Fl4yWS~ zG^QA#w=p55jqq*)lnbws#=YcF{}^x7!A>mlBAqnbg6f}-GASnIl&OUoHo;wEO3WrY ziFNq`Yl@^Bl_Z-XVhao=N%!D~q3D3*iD47>j*^TP0k3U{42_=hyIL3o`FWzX{|KF9 znj*B`6U9`|!m}RDO4*3DB}}*zt;UkjL!1*VD<5i29e+s%043eokMP2CCz0DjJ~fFT zCr36ClkSh7LiKM z!xT?LSU``pR^i`qkv6t%bd3CcIoDj*85iazHUh8z z8He2^M`T*0d|rRLD6Qq|?1SX}QIY#LXn0r#+#cVz=s(|VM2{?YZHG@jX?I;?X06xj z+A+48yd5puZSRVnAve0Kkdcuf2s@K(;E(;a7B~r4@zI*aoIE<}ntU=j^=x|Cc5rV! zSGXzQf{fN;-)UkH$Ihsc1m1Ehjvoa*?p(ir*|olc$j+vARb9=^{^~WX<2+#_pR;%c z$N_ExA8BMrdtrdMD2gQd_0+exR;2A*nh59wsU?LXGNa~d9p7PFW;o*CoXh(f?hB6o zorwl?ThUP9yM+VDH$Ox2)|ujYsU3u0LNZVyttcWKw)=+0qk>HjpiC}7z{N>6?S=nP?qBr zQ@HscQHih<^QpzGn2jh?#jL5}a6gr40=ZDtyiy?fRVLqll$7EnKj3g|rs8MhIf^vgmpI=i12$xtR z69EWx=+RSY;eYb)^jkH9P=YsQy;3|v~xzzoh z@;^Fr5bt`=gx}rrH&>=lHzN}fC-dhklV$CA8WHh|a%g!~mDF<3lTDNhRW(FZr#XFd z)jq*>)!Sy(l{uWxd++CZhFkS;K8NhIfsx@sOwg0QRG6g0)@1 zX!GVn)7AB7O9o(}(toALkfE#SL{UL(DO;rQ`|hSVV`zNEbc$!wW#JPN27h`m z;#w62#)gb2W75j_7n3eR_q9nNruOo1q}EpVRN21n>Fwd#=ZxAT!tpbr#x&THkd>qb&kU> zy&CBVEH?icz+NduDE^61)Q{ST*yx>VKw!;593;c`?bZ zf)e)IK>zNc9BDx+^!ao#dx3Lkz3~xecyn}NYqB>ofER^U|KDoWW=!TGZG0G7WZ1wc z(LVS53S2@>8yDGidf3Ycl@|#9s=H$EKN>rK=buoWgUuuevF6x*kN!)s3(u$6fI%MV z4@`xjBxT(bia+fEnIJ|so#hpIIwqSD$rb0VfRVpn2t<#e|6m{mD@SF@cJE0VwGWRn zz6s`t1ym!t7gENebHs?wGJ{fZ>`?L9+*?v}pyhK^qb!+I2uawzPTW?e_lws3CR=A>Oi zWSIGqr*sHJ^a-VH-o$*YCN(0k6c*HBOSdj9VhfTTuu50sP$IRULNLG(SMMPL#cNuO zm8}RLbO;CALkC+OMSAR83Anol@qw_ZEP4NXN)_I=25_id2gR9Y)C zP)JF0=j_T{(4*XGOY_`@WQUJwT;Ji;d_t^OII2l&+lHh9rBB=4hQyPI_GFH=5wh_f zwiQi5Bedt2*@-X7E;7ZS(WWU}a5E1b%+sJ{g%6Yv!8*wxs*~$J12dMN#H-kYjBkGq zDfxh;*$SS+%1aa8`FD%tg~-|J(&pO62)7ZQd%Dsy{#zG#NJM!Bc`jXtmf^h$5)6<%bI+v|TV?Y2 zY~xZP)#+oi)pR@2Ka0wW_!1CnvWzoDY+N*8%3%7UN$9v|&0CqsSV{Y-j4vZOpF&D) zaWGXylwDZGuwX>XRMK<e|$ma~ZL+sFvUT z)OQ_HtH|CzT|B_qZWI)Dzwcj(ESU_L94+8z2n7vhm;#LiyL7OA(GUq4d})6^&p~MN zt33k20zgSP^oAxSFCJ_fK>fCqy;-~bHI_A3&&V7iT#?KnBxbpqy#2qdoH^=Xoz;5R z)wpivG~*_atWkyme0$CUx;+(~Bc4Y^_s-rbf;4%lWk)YZ+HZ}Y6@KcyjJwH>lb%N( zE*b&!vy%@;ejU_I6P4ZcOc(bq-fgsX6BqaI7gz2r)ED=F3B{xCZW^qkMm@&L`_}Fn zji>uUy_5?VRfk$lb#;d?tyIsWwEMXG+4~FdmG@>SX?M3Ysy#>~fG0zy4Xk{e71U?$ z7+Pkp=px*r=wcRd4&9lFJr6vSiIts?-qFD#l%hc@V#TmhS__LKpSS<{LBC~Z$p{<5 zTi-v3;^KYQxqb3G`MW}6Qt*5qd1*IKfY0|0UkSjnsmI2;_ouF^s_V^;BequqL=Xe^ z*F@-4k}1(gepx*L5P>*#%9jvScZB_#gVsmzGoY(>Ab}##ucgu=%LdX2d~n%Ep7^Ev zd2&wnH*)x%`}<)U5|P2K&YClHxJ!jXx^4~^atj}d&oLI;GEHVJlTH-ks##ODqmD#Y>F>=WR#K&F^w*3t3H?Y^+ zH^lX8D&2b=;=J8mS#%B4mVd>IFul~Op`3!bPRN2`IGQzWONF`)qNk0*7^xw363 zW32(ltGhHje=Zl6XGGY5EwWNRzJ2-GegJo}DL;>*HS#oDnID%u6qp-1Er0;@Dxd!K zqASVrCXXw>!+NT^+3WFE6aQCi?sQd@poOu}6f+dysz2rvTL3-z%GOJ1l*b=!u54P4vn=Z~b*?{+E%^9=ZzMy>*V4+Fby+KY!NsqJ3_Xi+3Xn?~Muf<;6I^2LV@z4sNHs@L^VM}U={M3hl4Noq`=YnazwFeYm_ z=NF)jemwY`~Su z)qt=jg0)hri<4C48q8Bu)Zm2JSUFcRo@j{3Qb)jXec}SxiBMDLimBua;Hf|0hIZB` z&qlAgEMJP+ct4!=13ixZ#kepVny~d z{DiUA`LfX9QD~Nd1u8)%hB!=Cq8sE>4RaKpsAW~Yyr!dy-61LTg4>w*_Av_;SYjTN zFe23!o>9CYT0dftb5)$ML5vYZ{*B-0U538z&SNfAdB3D-*yZHEKx=Q}kk}{&|EwUr|);NM@Nosi};hodbd~n1tNW zGdAtbV4+mnH}z~Xa{k_)4(blUv^<>J(f}{Li`{W47g`-@jfj*$L@8AnCeyj8^_L%U zYxneVv~2c?>%O1M&{gT@l(W1(-b8hvhG%G2)ZG&`LIm5AT=ndTeTGWCV>qq2Jz;d= zjrW0+vWFUOg!8wZpYc1W+}Z?WQ>f+M{*!tDI;ucc!KHy;l2Q^d=`?uW3w1{3@?Cdu zzI>RC5Bfd|;RyeNIC^wlV5Yky|M(H(;IRLBMxfiSSh!n2>+NW=Eb$Z zyiv3)jx$K#pzZ^Be`J)#p0vI@c3uIFt)N4C&%CiwGFk)IS7;ev600`cjQBcaS-IZJ zFg63K>pdAy<;LfGOLE?+f>V94^zpMl$?XB|_?6ZD_tLVrCrn!3iW~h*KU|XUbUtL- z4IGuBE;m7p4Ta~7#s(E%M}BF%l-kjmM`cGOQu-9n)h42sk{W#EH#s!k(nV8v&^h5G zY%B4JxBJgsImMbW;d7fw8E`eI3}A%Xa~j;IDO|O5Z#t3ulE%s9+$OC6ZIY0W6NZp` z0Gv*5U>?C@(nuEh#w}N9!y*hTll;vbS6y+ci}0&&@7;8Q9Qdh>JkpxK9{3Z=MU^zN zmiO~WCQ7Tt`^o!FxYu%y&-Jy*nT`wKN(uO0!ijDmKrnAZis{v!mCs&*6zg)H_<_uu z+-34rx!mzaOUV>sXiNs1(bWXro|dJ}Tg>tw>hO&s`QuXUm_{e$w3|b3C)egr$b}HI zFTx}!*~kJ_A#ws)ZB?0Yo@?cJ@Xi81rt9t46d{uZ_>#KN=04%b?NNgiM~M~T!(^Lw>D?*DvpTZRY+>f!qgc5UoOQZJ z!q3MtRVBH`-@}X(6oh2TRkAI4{M8aQco5RX5joaVM8*jOLelvW9Cm$ieXQuh2+%7j z@2!|IO`n|j!2B$BQNUJIQ>T>+ivF_S(Z@26b?kZ5a#Txz-C#lDqroWV3ron{!B=_$ z#W>H8M-DS74@5qjtdN&)jHkJchvAGd7aeA7XJ{lqceI&209+?_?jygt+YzzQhtLJJ zdnn(T;odE^j>hqjgA<*@A7uw-_Y5_vx(5}B@A}oylbFTTo-#Z+w%k{>ZiTHh`KQvL zI2gK`$g@7R;HegbYhrHiDtr8$HoHw$TCGU%Jhsku>c^-8=e8q%e&;kXB~(p|AR@==u?1m_f}Q|Q zEY#@h3Bwc5mMO!MWG2BP7s-e5JXq!xfz9Eueel^^l}D+Q#c|{_GlBH_roaYHJtPkWZOw+SL9BGl{)58j3N?dKagB*2ni;7$Q~`3RGf=nG>D7)GqMJ` z?e5R^b!sbf8%{lG>o*WLa2)Q@I#xIzVJBHx90D!>lztnT=>K}RX% zUxZb;rf`IgD*1Wp`Xj!WC?2mnxBk6gk{ZgsQC&^iq6x8M!kDqOwY2fx*9Vab27)bu zKI8KTou3`e+@<#j-*Eqstyvcm4(hXXF&A?z5_j&03G4R%fBn!nKqNWAV#hH3H6 z+;5Hn7m$GnNV9md$F?YMqX7f_?!YN%31M>VW2C+NQ92)omLA0l*DEWsv8WU=LidPl9hXe3iqf6ID^nm**QMd3rZQ3pD*C5=W= zjIl+O167cI(03oM-V|+%ko7x^S$uca!(V^cUBWcbf3da95D%x9Qe9)9_`qLI@_`=# z8mcik@<4s8&9iO(b70l@+xzl6CvIs8%z0UcuUpy!z~TSJt>{I{Qy*L}9Gji{2duf` z=XI*JVGmf@`j)N8V?(T>V+%qGB37`@$H)7AGfz&oc`OV7^3#Z)?F&STrE})tf$a`B z%f23zeK(sySb@ujsi$1bW$WTAk|yZXG|6X$$xRkSaWhW|n1O5Lnngy&hN1TAwO=CI zUp;lGOlQFEmF+=vO2+gbmKSPhMKg;-$t#G+m>M+|{SZ6eNa* zmQpIDlWHx}sUGjBV4eJ;?}_WmDpO?ga}_GTWTZ>bW$05%EpL>e?l9B( zSEBHA`b(%ml@rM)!xT!5x>CmQRqjdbSzYh(pqZ5RXxYW^J;{}1K^h@X#e>;|l%Rw5 zR}6qj{L4Tc14CrFHC%Ji3$D7lMM6FdXai0C=wIzXAMR8bQHurYq=YZSPb~nB? z_xo&o6F)9(HbvjUbM9^qx3TqQH0T#e!l!2(r`u7wTl;!AUoHF9_808eicJZLp#1yr z>|6yztS=)Z$~m$X=KQQVq4Qgtk#@F7gDSR9Uj?#IVoZQGuMj9I(R)b?OWXb^c|C1z z`)w!Y7f;WqjmA^o$m5B&%|hs1`v&JvF7x{4$$x%k>KZ0wDP;AKrs!AXoIT#wPoseL zxXE_ks|{ISz)NKX@)~yk;}8%d%tfAdo_#!vNVqrV!jeY@sa%$Hs9KhELWOF6Hi{Eb z+4LKGVt<-kqR*O|B?Tn?Q3`dNd+_ZOFq+|3kv&K$?7pGhnQ8RdRv;~yWUrl%kpFSz zvf@MBr@rq>>5NKpPZdO$1=e;IK?TFS=0m)NWZ4s2z-Nq3fA;XNbLj@tsTyvkIoJ0Q zgRCV2ktU8?BLqrM0-9fdpWkoIGrB63neXAxFKZlj^a??fWmUey*Cw*7@nF*zH?`C-m91GuUy|y1UbI*T(C9zwkoRE^pqLOE>&>Ux4S)CRXBpiIK#NIJua^-Up;K zUj?c5P)OylUhQz-gx`onMY$f&)UjvV&1p8@JaiE7?eW9h5R{sATmDaY6X{b(M2mcK zPGYVHdM2g}e6FPMTvb9$Nd+kJTtZ1zR7z1%^%+n?ML|+j?t$$8D>3`uk*uiXzwSAL zGaUmdQfqhYMlxL3TerM?M3a=qa zGv%<|FlNyqVM}lPh+UbBu}jl&CPoACLbRJ>9ym^&dK(+G8-Ho}+*n{9Ixdt?4P%&R z8u!o%X}Z5B=EPI3SP3!VMv(#?X&mE<8}n&V^so>#mw0|-0WJj;%8T|vOO4x)hE9k0 z#Gskb1>S{bk6~n-jwWNmNj{+{$Az)s6jvfMN3df<@okjM7%)%mL^m7agSflL@$=Pa zoDcclQzyV|gbyn$(@SCtA`=QyX(QWJk%{q%^a8NHkcj}POOu}!y)4S%1>d19%u$h1 z@h9g{&4S3Nvvu8_=bon+w|W-Z6z-Gl#mJ$6i3cf2llIpcMf${_@JmLPnhQ?#4UFlB zx$6bd%Reb6mDZs1V-w0hM8GoMFW*PAJNi>IL7=atpbo$nIl9=5cF(E$_BQ{20(`^3 z`G8%*uwXuNv}is_HPv>ODPP>z6p8M3U#6RF+uy$_$;t)Th;UJ)5QY+m(y%$ou{(U{ zg!49;8PH$z81GzrZ<;F4x^`X((b9gm%*f}*`-f5At*8^y{3KfP5vhI+l&&fFS%DMf zPIAue>=Vq-?6Kk|Z1;9yxJ6vT_JjfLEXBGtmqZy{Ath8Bg~j|(G5f~)kt;bgBfh$4 z^+|6RFVX9VDX>$8PT%HVJ9paO`hO=1B+H>V;UC0Ej;$+e!ITz1UsbxY|B(6ks8=eo zgu3QFuQ;{C?DQ+QNrZX+uP#B*PyAc>79;Ohx0Dr*TZu*dspT$B5mHs;!{7OM-}5#v zk*xk_(N-Z{XB1WGUBVOz1iwI_6MRs^*hgaJaegQ1zeOi#n!E=y}K zy+o6Wf2gQ7N2D>z_{v?{buK3R3yqg&8?1Xhnb`?X|6v^Ouese=e*Pc`i+v$A+GXH> ze*Q$d=IiAtoDmvuGqDrv+2-{neXX zk1MedbUy1#b5arNxaiI=G_bhxGStlyk@KrA$2;IN5QVgP_}`|wWh48G>hgaU)p}&K z85VOi-W~9-tSI+D-ckTMGY^IWDDr}G4*GskXlvZ-*i*l76RU#w*yGT0if)qCXx0<$*DIxj*`{_7OvTvX7C-D-td$Q6Na1l7~k{Tb1%Z D_StoD delta 37002 zcmV)MK)AoF{ujXc7qDts135K0mr@7!MPPoRF05$*i>Rm z{p^!(WVT|G2$}NL_3cUvBIQaeO=Qki*W1-iqOR7Aah3dRHixF{t^`XSuGT`Uq<^T2 z-9uZpSFf+X|KuAjR*aIIV!PWFJY@_3oB-8a2GFo4tEFv}Ws`-e8M| zQN5MD*`PtWjzGC1GFu6#U&lbh^=16nGGt~>vW`y86n-w0veVA>h7u!v)%MC{T z*n;gANC^iG*gf!NbEOzKH2!z{$OXqv1eoCZ&TqZ1D3eXwxtBK>8=R40U?}0EFiq<^ z{QCOYZ_ik-VSh;&hrd})DC4Wm{@KlIy4u3W?;)@Wh-~j|)jj;vM5J=HTmAg(Kcg-L zU#UDLOzWi{QrJ{dc$(`0WZ=s(%=W;+YEpInG$QyMM;pY36uM4Rl1t^*2h?3R261SX z&BZp62^-svD8@!w49Qf0#Tu|q^hg6+23~$ zb503$zM8gA*gBpM`C5pIt+ zVEB0X>OaPdfcFOb5n|q*>4FrSqV*q2pEQ>HJ%2{SEe1k_VvsBnhZ(=Q%A^Zyh+bXo z7INxtE*?R(nPn1G^%gO;PyaAI&$+!l`DuEX%!Md~E+bs50Ep;RgoMQEfJ3Z-N!PFq zbne|IBLnU5P!-a5WB@`+2XXmPgQ_jJX4L3dw5dH!Q6kB(jCFNJI3(zi$om|D;W7QNIij%2 zIwHJOc9m_Dt^a;kw09F}pUfa_OvChs(tpimZsJb}W()8z2zWU>lz_}KNb4_$hbTj~ zEW;^yc=j|F;2}CeI-n6LrcRV7=qu2O0V<{mpM#40F;wJ9TOTSL7ZE7Fz@R7+Z^ms1 zm&XAA2FxCO`(wbQjoWtrF%JG&PXUZ+sX+J}IL+|ZL1mg0n-0SCR0QplNv$C|jDIxq z^#syVmL(ektrB!Hlil`uhi#B#W5u_J&B(`)lL04_+LFCK6c^Tu0m{BD->3A^3K+;^7B zcl9<`2;y-=c4)2i@A&n$srRFCn_)P?Lxa&dmPm8h#5{!FI{aMqD7t92K0W%}0(zGg znZliLy0>>_TRQBD`IQ6yrhjpG6iO;5z}7rJGE)BNP6k8{)7-kVqoysIGBkC;7#{BW ztYy%jd%bVGL6DhT2%rOOz#ip(ciWHq5Yv>d{5`<#qiAIl>YyQoW5>6!dVVhTp}RkH z(Nx6oDAa0BC;!G|<9!)2(KmiQy!MXG4mi#$=`-mCNHEKU)?8vOleL+~liM z11Xvk#(3Q7W^o|QVt@I#$^PU(%pPJ#jb8UoKFIW#f;sSvgkAIwZHZ2WfUY?c;&WVBq z;# zLX3dG72PdxMev-%UV))onr89p1=ET!&EvjNGT5k3T`j=%R%zVy#mXb0?XavOJ&~shCRZuuMPv@lXLSNx1#0n%ZOwn>-+M= zWH4su`DilF-S$?5C>$d#t{_qevJxy;70b+ME{GDNW`A!^UDJWNq_8VQjgYC?6h01f z1Ubg@pFF@8c<@@5u|B0EW$^FbkulH1TKMYsWmOsf+@qIe$~V)5(b3GNY)q1zpJ!tN z_iRXmqOL8XflRL0;mxujYkOC?>p{j((A|22lw@L?;gG54JritxaTgBHxvhds9fpQf zvJq1!Ie$yU%!L*3MGQE@NV*oO=jz;nF1}i@l?H+v3L4yFWBwjW_kkAPeFSX>@xak` z)OMRmOANN|(YkCVhRmIPdn$A1wM`YFIe!9g*Bb`Lj;VALvOFo}Fwj||&Zmq$8wV~? z;o=uuo=|)>~gL$o-Kq+J+t*aQn{E=`8o9F|x7(fF71p|Jue01AD2 z1s<8)&DB~Z^u>&>XBL~W>~v&)G}LMGbqdR^IZH_qhZcf-g3$*qhCNN|s zQa(*!F&6lLsAxPuO4*bhJwfjC31^`I4x`;ZnQ)%igh#XmraCO%V9rtj6NI}{j0jU-V%AhJ2n zS4=X(vUHe#BjIY^uZKB-B`slqaO=A=j$e!~+V~qZfm4#<*8s?xVkYnD-VqJ#LAgux zvFeepUFPa2Cs-8C;Au%Wn@K5p?MMa=IO-Z1d{2yjIpniTub{wiKF$Ie*Um$aSATOj z4Fvb%Z#uXl5&~}2!IWL+gpP0sJC!v`PEs}Mx}Rd2d|ifoF>u8!A6)%~(!iqo9Ftlq z4vfUJaZvEq6F9AFUAWSoZnIgXaQCmE+<1oPAyl(J-`cviabAyk7K`%-{K*W>{F(dk zya4+|rn-%IZ|uKmOdITZTLxnMcz^CdT|bySS*6hAyK2Izc)o#RV`r)lp#;Rhg4aGVg*BL>&-!!nyC z!1%d{$D6Y{etMG{&V(yUbf)9J9T<&LaISK~z#XG{=fKq*GK1{&#vjQBYJXOAH0JB) zo&v8uKW)$EifZGvYbg?U+Ob4QBLBhZXbor3!cZoO#4ARkVY`!jq=emLi0SL;D7TZ{OU{FUwwrrx^Bzg9h;WBOC|29Y{NNU*cCqYul8ip zH#q)G&c!)<)(Yk2*24+hJ|Lvo9}_|qj|}|9PN+DH&7I}DOo*EG)Q?r||8`nPM-`hc zx)UnnpRxql^0WgX*Z1YeK^Y|}RUdI01Oj~A6~!}W5MNM?tdHjsa1<$6JH$^sBSJIP z5fTLz{uiyBoo|ytFB2CuF(5D?Z(?c+JUj|7Ol59obZ8(mI5v|}Oe%j`S##US5q|ft zV4eb1nK0(U0LhcHv2#>X+1SoYy!!wVLkTemZ~;)Vw({fC*N^~3OKT@7mjz(X?w&rr z?qRmNS!Js~yvWX;zx(jw)mxvhRF;-msa7AhD|joQFI%aVH>tHN?|f>pZ@2oGd_VO2 ztFd-cUNoevqXPg{rKU}u#lNA^l`28JozDW+4oJi9;bc?Fxu#3thQmg(nazB zopI`dhL1^#%||j{y)D#oY2)+c^_7Fg#={QR&0X^5YORugyj_3y*Vo)I1{|?D49)bw zE&Z0C)2+<8r6E-<6PlZ@nhpcD$$+Y(zC77nIpDgzTKh6-n-PC`2NG8*&6JAr(y7;e z<*i9eD*}VHR1(H!oT?6%$Z%bQD{cAt{*SNM+U4oh+Byd;QR4=;rpiJmx*?(x_CC&R?)7sV%Sfk?B2Bxyhz0jUEkFK$7}{B64x1VD`8Tf zcr0?zj4U;!W)^=@%vti&AsiXBSxyYv%!5pS4kI_+-}YnR*6{hZxo#$!S#xiT$HyDX zR1ott@@vI%vbEcp~3_~pKtZc(5mGxF1+YPo*{rND2bP&neyosA(Dd(^$2 z&It!cw((;ky@b=<20rKOR(ir+Qw~m*`eiGWPrggIwnPmkmS!NDc!7c2H2bztSLOZUA9|09*s7M@|n0k0|~Ltz9L% z(BXfKxM4L-LvwwY#4cd)B4Cp)mw4qoy{_`Ja-_q6=d7MN3;rOJp?7hho@ z4hl0kjo5&uZI2oSs%9mOz4`Fsrx$TKr);XUIxe``z4-WJwyL2MC2YXs+|$q<{P(HJ z?W$e9fAROTB@9@E1w|^|Q!C`DvpKwdaRq-EZoX*&4T_z+ujk?kuiOH8 zs1x$A$|U+S@~|pn_+63V5H8jmF4=4Q($m z2XqpByDt**nM??6s&c(xUHAr?$dhuQJS~03Q+!&KezjIXPQn`8KKq#*5|hs8m9fvKLQK1NeW_%SoGOx6(zL17bYiN?khek1V>benyi#P@gZC zJlCWrC@NfS9}66C!H)bHnJV z>!)+52tlqU{1e62+W2(MNwMzns;D zM`)?=|0}SB*uv!n;0}paAJFuzDIlEg!2LBNIZp_W4FtTAUq{HuXbeUBW)j$dEd*Hc zWvV`5Gog8dBH^if%mLXe-%&qz_uL)^J`il;?xBWwE=$W&O}9TxaIPK@*XyGLTEqh9 zY-*ik9Cg@(kHrja+~0H2S9Uk7{-Qsxep*cm=yS=`snOo+N` zUIsGqfsN(3vd}}l7uO*L@I;oVzw2j6km zbu+EI3LEa48=wFanNBJc?M**GE`b>exX0x8NQwzV;MA@mh=t{lFiM&Li`UJFBJ|Pc z5Q9`RA-l&~Nu=t;v!9`#6FUmRgUumCl@cBvNhDKZoTGf;LnnVDq$B9*uxUI*_d=c) zyNN&O+Epz^2cj@joZvJ+U$Jh&IMT84H|Qy?04*36K3BVa8_?ZkW!!O|Xk|*0%aXMl zzGX5yCHU4cn7d2C++{i~v{~~0t1kufqYKDWpPx-Kmt8vOBRnK~oQ7H1N|TGk7tCOh zg}@&yW)c;QiD`eBR&tuqwyoMx219xm6Im@{F4DWn@ z8-$mA)eMn%Nss5WBe84Ejq&KF^n&onoftsBWjS{z+CoaaLG1(p(~LWABCrk5(1w^W zg9(CXLzS}8t!Vqm`1Q>8_;U=Q9^+tn0cQkWaT*R0!b5*swv>YK~z=?m7nvXXxoj1G;h`XLubJ&<9`;(ecHHMLjPc|_xi`;W_ zEqXBAK(q@&Ce>!ZnO=Y@29h!D1aUGf=D_k>UK(iS>c~AWE430}6UeJM{#eQ|E=4AL zD#S%v9|b{xe_Vm8gKWjMz!6i4M^*%QAF^S{STuhXDo<9VJ>;h>;m{Fb+8eH{QRz>L z@;D4@Qyd2Q`?~4SJaGK8sgibpM(lF`j%PSK%UlsD6`Z(AW^j33n|cGz=`;-Ft{_bs zF02W8t-rM77rmP<0MS7xSWrtDS`-&C-Lm{QXc*YOXV*P2W@3;_9b{Jg%J(ZU`6xX7 zyzqa}%Q}FG-yl8pMd|5pm7aP=de-M~)c#A-oBEpoZfm&gFig%BAt}LQ;5J8qK~UkQ zW9Xo%d`)FsB>@430x%qpvL`sv4|^*8LTAmch0GheI47Y=5jk??ja#BgA?oSEEbq$9 z47$R{cIbD!9tHtS$OZ32bs+zGDk+!C^0Io!}xM?Me@_g{gENh(G1 z9j1hMQAO);9EhMFhaaxnX2b8*gn0583S2UBZYfwC;MZoh03F1YfH#V(r(2{)QO;PM zW==TVadcy!<-J@ycs_y%U(tzL5TUq6FL|#gS-@a8Q#fWx#5=qS3d_~#&>+6Ak*R+m zWlD~uzQDq@!bl;5iDO@IW(?nlj!=asRPl4DFL{4mq%M=lT^**|V~nEU^Xhmvz>c}; zn775Trff!-#6cQqb4uc}6~tcf)S68#m;6n#ChsB>E_qXfOI0O*G#%czV(JF@!6bLJ z=LsULt-$+;gr|0mh){qvT(fjJjZSjmVYnD?& z{mb{XnM;e}Yymz$h2}DZz~Z=o0H77Jmrsxe#Y^|4o7Bdo+6Wqc-?vp)y?TG${ahhf zfHmIz={+WzpmhHXLobcIHN5;T0DKj@fFb{uZbB^Z(qN*sLmQFHL{zAe`$$LNdD1=@ z@lnck@Go_4HQcO@@9+Nb;uOU|4mvNFw5xns8Jx3f@pix$%Ly-k;bysmGf`)o`6o7m zs8yVe{}KJD!P+Z&r7l!oNdJGe=Auiy;Us8XlYhYkl^?O{&-uIO46vQmQiuLPXc)(G zOo6v|xELIk%<1LH0cd^lnusxZnUjYd5sM;TnS>G`3Bo78Qz|hAa^g|P{F1AzNLBn@ z$BYhiy7+b90o1u|_T1F)tx8OagjS90M+*B!G%kFGylB(NV!N>G37vn#J2-=}@3^c1 zpPa#Kt}eqjU0(C+2GgL50?;T#ZTX46x8b)V(T_d2DsAfGuY5p^H$%nAiFr<)L5 zjYLtbP2Ppg349ntiZ%brgKk>!kh=O5$zT9TLh2-qL@{U_0yp-WHTVn$}$FzTH%MI^vI!IzY^=k$q0O<^%MJW}=vK;=nMks2VF39#Wi+j^4#tHQg9* zsy|O5bTKu;A8pJNtj+PNjxX0oX`UA%L7u-kyNUq4nY(+W)ark;AAbCxRrcf!#>chG zG6E^Q(YkGR_;MYyLS+M&0}KL&>2?>UDC>p63%2)X_hm5b?FA&Sa*LyY*wo~PX_cB7 zUJ1cCpL2GgAyw1lta*@ga>=+@PNml2HO^_^4_TI7*ceQvyc8@I_;-j0Cu*dSV(~2UxDKtLsW{Ptwc_#Mp$+M^z#`TO)G7*RSDshaE_g2GY zC5@GdL)$a6l5?0Da5xjuP>13FLMQlDp$5$PC2w4Z$89rJRH;*aZ(eK>m)xA(yQO7z z`ys?kXndrAE3Lo`T)tXcl^U!UA?3@1ee>bPe*m-eonDhcFB1VZmqDln69h9bH8Yn{ zn*}I;#adaD+r|-o*RNnz9)hii$Y2f}-iMT3v7K@`l|)vaB$W#UhfBmbC>)a3zdqg5 zJs`p5?n=89{jf`51~b!lH_)G0+$_Z6#~0%0_q*3G{`y0d=|v>MOk~mG^=6U8VP?!C zF-fR#WW9J3yp@r-diVOLY2jagNYvq?C=?QZCd49IWFkzngY`A6&##s`R>7tnyJbJ* zHZyBqSR z;O&Q&$7xBO4_gcW$|A35Vt2KK-P^LkLk46J=$~_;RhVh!!oDA2b=!pWWGIB$Kdq8~ zWRb`y)H0^0UvGg7rJ|s}T1G*6)8xb0@lcK@1O1=qw#Xa2kiabxWa*|K>pJhs-|dZami@<-DWmUDvv0>#+cTW>9!=V#>!PD%5(Bh$KuwgnS4*d<$!37LaH} z(C+g0qowO#{_*Y7M3QcZqIPW7d3Q@gd9$XA>Jh=nIE67YKfR+R28ar?M7RYy%%of_ zqcBzpxkPkIdJb{0PC}*QQ^Fm8Y)|st zpml2#&4YpF&C&=l^K_+DfMG!4rS{~jqX_Zmo<=)cwDoQr$fqylz%;si zby6{JXuA`(0_#GN=*O)^hl!GZi-V`GACwdvn1(61@lpy1w_afKa|AYQ+uoj*z>H%E zmK3871PRfpZ768st!)bSW*53~sNK+#H}^=&oDMc1!YFw6Rv6*enb~ykRtRx=%i!CS z8^Q_`0dZ0Wf59L107?Dn9p2q@;CH7v0Kd3?)V>eZr9MYpkBhuy11+0>|JhMcA?ytQtnHGq5m=_^fR5bXq$fM#v{Vl)_Y?~JUGj`&-wJ} z@CQ>m3T{hVt=Xc#+$!bQwMuyjtDK4yIj>PnnuS2ZL5-rpOgLCOxod-xK})f_o~A)3 z<$82w6HMlPKVsIXcetQ`r@;?pU#=?56)Cvgl%d`8n2za`3XIkA-NzC_O%yC$25LK~ z%sk1!eGH(PeZAe|@Ad=+GaR_>f zB58tGc30(B5R|cwNuZ6zWmI{VURwPTj9g4PN5Uk8?uwoRBx~#9|F|SQ9I#+&;P|YxpCw zs>Lrr)d^Ni7-{v;4zym}-5~{Uiauutt)Qw=`otb4io+Ox3g>5#VWKQdvM0#mw2Yso zubEuqR4#NTym?3{q%-!L$vVz`CRziZc|Z3|1GE3IX?^Kt&*Xq?=|F1UX1=D}y!BmF zS>9gHqpc_IHveuT78y{CujZS*CRAwBm?CnM*Oo)*^CfW{P@T8HsY08}d(8gaGkMJu zHaw5#%q4h#QSZ65@+O-UfCet^OZ#)rC(!ZEdOlUd&Z8B`%;|2FJ~osfwAjf`K{)wI+f931U7JSr`n%;CZ~GB zhUamrxdbojRF_uX=n$@^M`bbUAc+ zSzXgLeuW!r{LF!OyS6HeTe>c3gP>{)`uzR%98}9NO8$VXw?Fqx4*G-*&*PwT30~Ae zFRi@EozAAcXYBa6gK85dF=svJm%m=3j#MI)@()OP`*Y9aQBT)tc(ZM z%o|K9OTq})acmqo46Mg4DRr_mQh&ubrFQHJxVAJ76{2eocWvdcM#cpHEc>3i&@}H_ zU0S#v9Q7!{aZdqQqz+|#MAF!NuwA(+^HpWe%imVI~cjnmT&7N z2D_k}WoI`QyOuy@aUbi45GgcDpaxt)&fsM_z?bQgdhCW2$*uiv=xK1+y0$0w+&asv zws}b zb`XrCnGQe;rcQJ}FsP2`STee;Ty?C3D5z|{ppaiTWIWfk^@clm}{_w27QAw>DoNgCUraB%}5(kzE>=lSmrmOcO z@Qu0l8^YKkAn5yukUS251nGgP{kQ@Fu@Mq<vo~4>Eg* z>`?-U!0{3fg!xzw+txXo0&{Y51dG2doq4)o9lN69nx1gmGU^{gP4k-g7TAl)YjLeUB|LwmSGAD8`{S+3m17&j5SJbtT2i@ zoG2>JL2~)fyt^4|KDMW!6-&?EAOVh3SU5I_V)wZqp7RHu87CY#r||3(q&Rlg2uilT zD0fxaSZ0YO&Ae%Uug+)|qu{o-49RZF-w*b)pSU*Y`NX>H>wGBCJhy%=o8+(uLfM0i zayQ;Y2GW7_QFIF7dwf#OLCrFpk(p5Y8iCCh3)yL%@)a*5c>nepr599&99aJCZ5Ru# z0YOJ6LdQ~sS|~;_Y1-o3evWC4V!HontQgBAg^XVwVVL%RE~Bu7m{5++WWZ;7&v4ld zEKZFndoQbgCL4`#&5liugEL979cIwWJp}Wp?$+>9388|()%*=g=`_vdT5LAiMhG35 z)yl-tI*wK%%C!_$6}hxxldK@co5&WKU9Hr{Br3|*xmcgZCWbSDz=_fD;beF#^nlT9 z_6WRl{~u@rY^YI_K`#@Ni-i>fH8VGtQJV!Qf7M)BljAm$e(ztQw^c>7Xxs#Lo@}q} znGHK)Z116u$CdQA=4_>lf?oi{BS8=(|N6`9f4Wc)NJBKr%k5f+4!KIOqaNs>%r` ze-tcT1?`MmY!@$9=hPmlx~hesW8OZ}D9pqw-GZS%@sC_}rrZbOK z#v})Q=JoDliVtBE1=%h>%m>qqKM z+WnaHe-CIHT`47;ETAcUC4{%GK&Et65I!3S1R-6vZFHY+H&JptCQ?2tE}MZVe{nCM zI0;%n(U?jrDMCgywo+2d9E&q46K*1A(oM8^YGN?2e`YZPW2V`4Bq~uk`PU**s!&-` zKL_(U@ zG`o&UD=Sd#uSKO3l~nRMR66u^RiaYOsFWW9OXhe5maOAP!BWDK#ssemT-E_rtZQH3 zvi23Yn$Ds_U02HR-thJ%O1|-lmIHGp&U4fH8McxfW$K<}E_1iApp+;Uf50?ljM6?2 z%QGzx=o2*$=@T)Vow#I7&TL2+EtI^DQ7|cw~AgWs1=P(MX*Fj(}FseTiqs;LN zMp?&;7zMj6;?EG(ft2J?AMpABzpC~|FMj&&Lq|((E8&bWW&RhT@)kf<764Ee*H(sn zPr(3CfT?`v6RChrA{M2B9-YaWyMUGbP?womCY&Q`7t!j>*$e_*V0q09zShe|tV zRgM&2nHpe}!zqypEGA;%Gcz@to|xnfSrVsono0K3X&m+`!4^ru)iCs=R8OR$#%E$t z^Fs; zPo3NtJQe=j-A1D$JXfA+D5}Kixnw<}_@# zPw6#29xIu;^cttCpsXq1P$?%XFlET0;_!;0!ho7ce>oZ_V&OJ3HJhH8WT>CSDg9=W zz4RL&kHtccQmhuF7NW>BGcA{NqUM55#Ci6_WoB}2OZJ;W&nNr_dL=3UAEcVvLY58B z`HfdmjlyrjM^$Kv;WfWuyM02xfiPIrR^^EW{U+$j8gcSw7gU86LjG1w1qlNgDhZB> zRG={te+$2vsoC_zBu9M`r|_Fu_QG$pjK^&@_ZzK51r52&PaQH^Ch1Jg1f7ZV?1{_F z00gDE0gEBd%nU+gBQFB2jVm3Q*nVFp1k{qYh^Sa|`1v_u*&);#htKxfr zrya-03Xe=m$B`fBILz^i<0QjfaUAvsb_M5MR7(e?qfZ17F87@G91hq(y=-~@tPS8- zf7PLUWuw6sLDl)23M2{5MIB>mBISUbh=uFS)M7d@$$&qJQ@YM1d+9omwY)+bW-CC} zs-?|aoSBr%nTWZRiIz=G95M!Hc4W6HbbP{Xpp19!gWTr&u3mfg6dI!2Tw5}88w>g0 zKI=BM!W}zt8-5or@kG9Gn`XT}Zf{gre;)g0+z(eBhe)E3=FjP~#RHD@Nc- zC`~xKSfh|@U9Mi@1}H#@Ezy{he`hoz)xma~d}r#)cyEjS^H_p;bAkW|Q1-#869hOw z5TyMaFZ3ymizllIXh_qZKK95UiR9YqP>c*vAzD|gSc}TnvXm$ut*Ti2WCF$ay|t3L z_;^et>2p)o8!1*&qId$4(tmDa^jNP^yoP%Nn{t%5mm%~*)zcPXVzShCkz z*jxj!9Iz!$tUQuJZSnNue<@c`u&DuG9e>WQpgq31R?oOX8gbaKVDL=$G_#f7ssu9GCkMVgJRqGKg&LU*Zrjuy52xR8v|x1vN+xSJFWh9W`1CUG$YZ*p>5N!KU!Xf-mJ>_CpEd2 zQ13yLe?>};55xX={{RzIhx-cBk8`|toG3)JuJtoebCT4s|S9H)ZsAF&4@$aM5+53%Z41)&yI>? z(NWKBfcuOu^B{AijgAnJdU>}$4y!wqe?R<2B+#IbE5D=r`*zn3&DiaC2b9y;<@d-r ze`K6tl=u??Bhdis{jecoLnQu)pGe0|+)^AFt5u{$pv1Y`reh+RF(PZ*?08f9cb9M+ z_ZUCYgyx6#xI1*WeT(AiK;mW*4RK@stS4-exCv99kFX7xAR*#Ie|LbJ4wgF)mlndMFsvPH26-X|y$1>yhD2R= zyZiKjL*BmMT*6C5TpW}(bv(SoGqqTDeNPSyQ>CJr{}NVA>x~cHFt)rO>;Y{IW|RtG zuuK7o(?BMVxfJa6a*dImosr@g(ze@fEW&j9JuUIDGLNmJ5_n|Dhpn}0gwwo{Zw}*D1Nr?$W7jjX- zp(GNcW!Y;)8U2m(m4y&14n$|TVDLzR{qwne*!~5IcS$Z zwCfu!m*AD%A2DX$;CCIM`3;!qH9mq^df#4RbyoJ_Yi4}wLKVndYC#V`>DdJ;6X1Tg zAL*i@pLO4KTe^f0G16f2K_I<(*!O&iAnIbNlC5^PhnU;<%!{HN=c)|=49ai@7(D%+ zf+g}yP8_f2kULE9EA_)Se@6IM=$w(Dqay{^r-JU9Jy-Wjst)z21|T$Ks@0LUNhCK7zT7HbB%8SI1nSA zA!xU|bwnw+JFUAPUeZ0IJ6Rt5@`sqvK$}&{vC%>_3SdY@2b2$YfAssU*&|(9Xn9JZ*l=PV=srRQ25eEWHEI*FPccc%H6@NED**M70$JDe>?a2rvTNH-ntMx1mi#9Z zGha@IDZZ7#01p+xe`OQGQmSmYTH>H$mcJi4Dlx{1`p_I6R%r0MDTe|t*o$opvi0(3 zXakz@ms>S9sx&8ru`zc>*{`1nBr^y$C+N+%1rGx#O^n>cX0Fb0MM zY#sZ>&o6$we{i-%OW{XB#-|di^nD+cj+vwI9!!C+L5rfE-T8rdhP%1ZD+F>#0Bzn@mT@^}AD_bZ9 z3@gO}@HDAT1}LSN*N=?{`cy+_6V!`iRT2H@aR6z#6M`t)4y()d%|+S8D&d07_z3sw z%!yAjf6t_vfd(!$=ks2J467{x19CmadN-$Ox+QzU1?7Y*mcu_7&>T~qvRW?24j3Cq zF4X!W_Ym@cv?@0DqLm7^lr^5f)<3)5E@fv#mOj-&Lbd5xI!>Mg6b9Hw#xtco6oC6( zw@!&CFRm42o9Lf!Q?))^v6ZMRt=zN~o8!8p>Ph1X;FZQa>tO}{KNY~$yx@-SOVqk9&#>U0%IP{)e2_{v5XWSo zn>#xDit~Oyb_4adHJ(gTnfA8ZLQU24e_~qD@0M(P9Mky3g7TcmoeBwP&P$JvOe>_Xe z=s@wfo^CPf9>>%!$k_Xs>DW}^(GutskK0d9m}G3dQ;;r9(52h9ZF{$E+qQSxcK6%b zZQHhO+qP}nJ>New=UmN2MpRu_L`LO`T+ebFAS-QjwFuWnC^={KVxpgh|-^ zSzw2j{5Ll$Jqq(ME*Cd1C^U_Wd2pGoNi<3lL%^aA(r~ePGIvmkZkiJA)v*ecicVCT zso)oQz^b3K&{Zhm@#2+NEX_DZAw>eU=hztFc6t0y8;>L)k)}A%)=ji|U!FXBd$_~W zl_+v|_tggsTB%9zb=t*Ax64lHZ4~;AIG;V);eGVYlk10Y6wOxke;X+{ng1U~3TD>- zj1<&>Y%Q6@!xrS8+1k1I3LGaX5F*LXqpI$hY`KPec{K!FLPj()rpeH$(U@d|TsxN_ z5;kS4!;A{#aPvY!0|5L;<{-t+*BjE~ZEg<1PS>Jw;*b(D=J<(aZvdr7*gnHLnj=}$ zjzuwPc=z;)%AHHorXm#j*B|+#nU&=>xyL<#tgXais~gr?@l{6RIbCnG-;THShJ(4I zmrk_WsuRF|16aMWyPdU1_0W+`4}!7ZQFC<%Z^!&+?)T^J>25PM3XRAKXp`FnV^8Bc6}JeLO-7-RVlMwhh>Gju%ft#63|fxPoX> z>4mlf`7$9guY92>8QGhHt(HPiqdf&c6r+g5Pu8^oUM+`QXsUsK(DI_fbUM>*^dw`X zZZmX`3epY2JjoWtUoY$WP%e#3DIe|nrNuhb3QGvyTzkL4A;Ik5CZBvm<#vDk72^WL z;|{!)J&yTq7w1rQ^sa^*Cc-k{4eVGsMs$!so0o>JB|oY^?tp2Q)!yzRQ_soi5v>Ld7tIe=zNtSRB+qR945T-_DDlN{ejwXFeLx_WvnO9T6Hz#v!{0DZ! zt_VUzptNT*#39R0;r3_s2f<4ymXS@asaMWSJXse4*+S}KZ?@(1nnvHF?mLwn0xM(J z#cwaQdO|Qi(X*!gnDv=5!MF~vJJ(USVZAg)b|z!$veaE33e(?r(0oKh20~;f`|ezE%5Iv8kQ7ux5anzr?3N!WyfIsqJDugc8T4*A4v0%3z)qB@=yi)=P#1A>V5=U-MX-iGx9wpQ zsoTH8;UNW?j*gf-FdI(krA@ERx1}#Wt*WaPL0zNg(^mun5n65!gP65C>yF)7^a{ii zTexDO51)VVY7w;CT;jQ4m7D|*BCo?ZcqZgI%U5>Q?*Si%ZQ{t%Cr-NEiN6^$Fl+=w z1436>_!76;PQU=MbT3hAmSYTg*cPgsQAG-^EZo;!pTJb=9!+NMpq|OfN^n_=_|SL? zT(!QA6dHyP5#>6|C~q`#dIssRP|!1i3*HDvb~?td^Gyy8FIy4B$#g(dh;eQKrYH$+ zfQ*o^JlPZ6iQ96}6?h<{BnoO%Z^KcC9x}BU2U&Q|XF7nOUM52bxmp#FVM-TH%wT?n z??LIx#3F|iaxq@HVDo_=uUVdfh(NELo&cK>^ogkfuL`8L|3h;Dt#&d!E(W!Ku@33s zH$8MHgnJEDo~z<(SpZ#ErA z+W&aQljj3C7R2QYsn&hX?pz28>+OmPP8)78@1I6W8$$ zKXS<(be1ZWn!!yravPEyoaTxy?ebZR1-fp4%m{#0ivMTr2O%kSvhXWGhrdS^wDMta z#qke&9{l!8Hf5;cF$-3iXA!u5%(h|bh?ToPmQ4?#Te-3nlX-3AwA8XB!U#&@+q}x1 zh64k7n$jZ|uceL`v@)YIDH-)#Ipz0ZK?moe^R#%mIR!-g=o@n>m4M@n)8urpyVQ~M zB^rQ2zj(U7)hsJ9ct0AhHErGD@(~8VJn4Ocb?tkoviZd!UqH&gz6J#&MmKi#`udNQ zNSznghsvk20rwmB=Xmkes9HoK+LJh^D_pKdxKN4Wn6(*2 z-aRSj@-LYAe!mtIC!jAl%qX-;_79wXJP2SFY(USbADF@Xf{7e#UU0S#hJQEcky9s} zswpagmJ(S&RzKZgh_uc|HtuGQnp0&FOWve$Mo$scyK*+?O939U})BbG_OGay!k7dhrP&h5;2yH8#7sFp>4f@xC2C)Ya)A|&T5dPj^Mss34_iJ=vY5p* zp~b9%?Gu|f6#)p{Ne!urN$paFd*sPt(8`_INi)2R?A1p`sakrxCik7pneR06Xmdi0 z(cqpDUXS8n!PyQ=6W;wQ84c-ditvPwfvro%M{I9mmV947&T;lQ0)70{Qx>4VQsl#$ zmWSvDmtFV{CN2D^cQpU;k!K~(lHobiuy%$*TWcgcq(!#4)L7^kNOF7i7u^lj-w#$Z zF+MImlnvNEgUfs-?kFt-zXi(PnJahOJeNoc#xWi}N?lLmTzIf;ZVSM(LA$?M{YY6i;;IBiY#5fLea zRNaRgx(OT?XofOQ+(Vg?1b(b7X#-NgjNOws9;o0$hO#^N&J(O(H>nAgIj{$Hnt69He5AflG z{b`?8>CzEouA;stK|)1u+Iv;M-+Vg^{4w zRNUhPi@4X&A;D0}FrXv7(IJ^3rF(dGP>x0Dako4zF6n}1ZqvaH=ctpMX%d&PlAR_e zb%E17Ivge|N7MEXVFY*vVm|Q55_8TdlfGRU?F7*Jmw0~k#?Y}G;b@%3xyRD6_@~M0 z;&0;9!0!Bf+Y5XjAL3sQ#ZjjlVY{<&-NA3t)ZoA0mW4`}vvkj)%db9meOb?@nkni~ z*KZi?x_cq9M?PDzX46CO6j}>(Q#$GvWS(`{XfD$Z``E`b+yLnAz|2@#ouoYS4n1+~ zFX0OHhO?@v^6nmkNn?MkP=FpyvNo4oq~Q3DVCO(T+q|eHAg$p_4dc4-hyrM)K3NM} z%oGkQ`fG)5dt#CT6olv2?+tUVQ7}&0hUvP*@w2T^;Mqb|i|(G`X1brn=;q^c`L;Dd zDxk1LQc{`l0RYXr*E~Kh-EJksza3i@Qc5#?y}$DzsT-0?-bv7DQg~N zR*92p0nQBR=rEF&oNh;RW7YAza6f@|`fJ;SYSq1kt)=@HpvXYu=Jb|V76b1X`xmsD z1;==aSGIX+wIjV`6aENQ>f`!i6J6#Y#0g~UUR{ysw1CaZpxy$Rc&APV-C0@Hc}>bP zZT~IOS{W9A<&$JKX2Y4lQrv4%54(dF;2%z1hzj!)kYi5P>|Te3qNwo~WY8dwW6A^- z1}w&{qMEVCRR?N2Uk@Ls!N^%Z$pV`X9mKv`*4WBt*(VX0J{a4u6)TOp$WoUCMKBQ= z@WmetP=G+lDrUo4E^%8UtutYx1Kxt!W-ITHxH$eF zGY%6A^Z!|B$<`WA_|Griefh_OWrKKNEp^_qDs32H{VVDrHGih99g$L|eb`QBzn==O7Ol?$4}m0N}fP_l~Y+l$*(c7(u`zq*9RPn-cD zj0$jWs;1vrU%XYa5th7r{-DnGemeb{Uy@bcK0OAv9~Q ztfTs()kXY0IE1r2@ooE~eES1hYad(dAaOEoXC3!Ffn3B*P!T`6sh^zyWv z{y73F#~xcm;C=#`C;JiCzKA6^Ut(GU{Q^s1CfT`#2CmX@r z#?P@j8kv_J92@j+65pTG!uAjVDE!?4ynX9ivx&d3?HGswl)O#&O+M^1jIi zJdKkmHFp%Q=GWJP$t7X>A)Q_p4|+sr42zTcm&i6ezqQutRtArkYRHf?(4#~CBP>1s zZB~`tHJM-5KA*G}YtKF1_xeh8CrYJ#+<6^cWF1idvt~7@(ZjN=#J8CFa^kqxVpMT% zitq)rd^bP}Sx=Y@&2TTmmPOZfCkN&NV2f4)mBSR<>1*8YZ>=__YFQ|}7(a{8nAsZ8 z4W7O_I-ITTE?rU>H0~~Ed>i32^+P$nymwKMBJf!8Q7x?qP+(CvQ)pt6_T_M83uv)w z?_mwk*!OuHX()Jd1{$Rox532>e~rgzG?Q(!#KCyRs$T`+=v%{jd|?p*G^;T~ z7&bu!QPD5=Mf0@cPy<3_^E7*nB#gpQ)hHy;tbiiD!^q2ywPJ6OLjB@K_HD2|iaL2W z4%~sva6Gh6ELqdU1%L_z+n=A0(+N|~r{cet=7(dKMPy)yG=WS8x|G*OBf`%JuoM@^ zT#@S8dAIx*|C~G>9GKN^`+7VB!lZ6S|Fxy}?k1lvPud@L9gPkHUVhOvJNcbqf#jE9 z)N4N7Jm#A*cRoRF$mRGzwD2I?v_C3Dx6NODOc1@xxI3i2H}T)ud0g5r)G>w*4TVnU zC!KstIA0<)yJCTFK4+w%I*L}guc@Ach;$Ux{EnMW|A}yRf$4j*?RZ@S$X;&{AMy@J zraWP3TIpQvqI~2eZJ>G>T2ZyN7Y6SG*uc~|hel2JYlj7PYH9y>1 zC}0~cjpy6=dMW{3B3E?tM*Kv#s-mctk~YiN9q&jMt}9@a7Zah&y%6Kp7<%KUZukkb zu~%{^Y7=Q(c=%c?sqkn6&QUvMie~;6ZwDzS&uvV*IZZAEPR;%`5_31bKc2ua4oj=m z(j<)KRri5+IDD||?RduO1bRlyC|BWkGHyPu&zLoFyt^!4ZYJ1dLA-vqRC`UBhq&aB ze%x}uxJX?rizUKAA$3INp$HHQlyZr57r&Pc`A%>ZP6XH=`I8C)nA0m3Nv@a+XZ^-#$6TdbW}gZ_s$LS{#h#bby*_7aAvpC00!9qE91syR^_4WV&DNn z2(N>H^;@b6Sh&ImAjS_uoPRV~?qSBq+5a+9DLtIHvur+c4KvfPUIvS?EI$Z}BB}9B zfTNn;Bsunwy)2=MDxX5=2$#OMb3^@Dnfci@g|@<_a34nc>&og4UYVn#Q(Te`JM?%q zA%Pp-Dai8emh8;F9Mm-JnSXvK;Dhv&>3Qx(MApIPgFn~RD3;LxTFYqhR!$0jt^{*ZX|UZ9_BEx6>c+5--tcoLGfiReZECv7Zt;7`T#Mw2 zQJom%XHH=lpJ?G`=x9&XnylUQXL>mmN|Rzkms2nL+sc+w>F-)(p_%77*{l{$;v+lt zKf`|!B#gF-)`Ihz!2%GmIM#>)TLNEt>I;l5|mgo3GfybI08IKV>hgwh9niEgYZECv>eC44@+`MP{b9Xf!<6rl8Q_v1PYroFc1Gq&K&ds zhzea=P6)Kq%9vC;M8=$2f8Io2|vwSi(?<{O7+(Ekr&*m6l!OFuxS{o#|3l7I;#z zMokE}N!qNY6v?#uQ&OJu;2Z7o&}^#(=nOaCyN}*U3?vN=EUW%d+msC8Mhh;iXZL>I zhF=Pf&lSfeG+`=~QQnYLNDFg(Dw5m9XQ&CM8m+1WPuwOTXM~6|`yOW}2HB*4=EfuL zd3;n9-6-{AZr+Ibei3p<=kq}c9-7&eT-qh{fNje*rlv#vlWAp|rGw`&X1KZs0G3FB z3L}HC+pA)k(sR$|(K@7Pyn8%f4W9cf>!aUH&sf>QJys-6FQXYV=6f6;EXq&3!aY)_ zxLo` zW_5y`^d4tvs`R<*2A&=MD{8+~gx5Xe!QO&xp6y}MErLx5^F6>=5w9{*%nEr=4ROF1 z5sOogM+J>dF{sX&tc~$!WNaM@%*mxy$#Ym5sau-r?yh_6QyV+unifO@kj$r-DPi(D zQT8X9THa)rgswCYPAF*e^&TG#lF85)2A64yL-%t>qJszILOL-*8H+29IoP&Wh4!FZ ziB#J`cY`DZY;qdHQ3>T^oQJ==6DQ?dY0MS?|G4Nd{EaY&h)GCKF9fmQ1(l^-&rCN@ z9hyDAme(=T`J~|}eC>!klA6;N@){gR zj>+`G-Ng0dllQxNQG)2FLL*lsZpI#+N|3n9lXn-2kt>LHdy!2s{MRBw4iRLpzaq1y zwC_pi%F$U$`5vF!6NhGD=l>{1_Dw0V>CF6|-waV7sxlKKD=NbPYNtPH9gO%h#M_Fx z$y}9zA~oYtoy1k)C$pARw2OEq;96YL6&q7=NglL5NY~v^Lj9DBE~6KNe1lm#?rA1T zDY?jXC!bq&o^PdKOKTSbRuLG7Cg{sh=Y?^KTYABc;I2syAM@;rwdpMt&olUlXwaq( zN)Rio-at=OKT!>pTk%JB^l>Wu^{x89rwH{&us3-x2QSep#?2HxQ#VyyS?FN~w`QeN zUwWh?JA6#-o2g)DWOB%1UI zXSTKlS=+nulJt8#nwmq4Vo8#_3yDah#Y!Ni$7;+U!iqGC2w8WS3K{k|y|eC`8DD>+ zMRl_w30nszr8bPBP#Q>+MfuK=8{u#>aq0um1nXswLJlAt2}x;2H_%63bIJ3zm`hRk z_XTC)Grpe*LC3{E0T(UM6)1x1?lGi~i5^o!1QAZ`LAI5@F(aE&K86sEPN=@Z_Q65% zM%7(oU4`HTFq-2R2;xkYPkT_Rrr%%LA4tih=$UL{F|sdr0oO&_7a+R!mI+N>c*xrh;7X zxHDw-wbJkZ*)w98db$Ptu#M|bF<$_E>iKkZc=36@-9eR~8k55H2BJY#S+#_)Vr2G< z!&^G6h%m7gUD@o@v`~rTR<@B4R)sn)#dTQhAA>5h_%?KD*USjaoJ8MeV$Yh}ZdPH0 zaMbqt+U91rHnuP=`KHOvrbGf(cs&eD%$hqKb1}La@Z^Lmf&&#L1uRaa;@u zGcnoTQ9dy>J37jGfOekVt+)j2wI5;9a&pqoCr_-c?b3YSum2Vr?y{jW)>~wXb&Ahj zlqi%iWIR7CTJ2PI#%=h1RJONe@#*`q)#C9Fp;T{JBbYdQMsJ(_p#=u~htQ!@vby@A zmsVFYqg)}4xsmo2lt!~%AM(8n6p-J_bVkZVvZj$lcBXUu;o88XiR%EBL9lel+eBWH zYO0-aD&QVht8~sx+Ur54j0)4_Dw^r<$c_n)peqhpI5pXyU@O8afam&V97a_27>aI% zJKEWh^WG@-AiS0*q{9HnRJ~P9dZI1N%xv#cE zE((+=+<^#nsmng9lP}Q2Uf?Jfxv&Emqb+km|KMR+yBd;A zTa@E9I4<~vZa>rVmD#7PHbpA1IHmBBp56hXviNR87-N=OSc&-TWIl@$B3-G~;=O>z ze&m%y4>`@u2Lp#CO{7@-1NFmn5K$huo4&QA`E`8Hz~ zDG%cOgBkor;}iZF>_q>4cFV~=y^lj0Bo_5XC*YD1O(xPy4&+@3Nwbq+w#JyY;Uhpo zn^B)M4IJgkA}mv|T@V+WK~n3%9}BHqFJ;@C@X+MF$SnfgKr`UHVp%)1R`OKvcvUbeKa$isQaKNTFRR%E1?VG-Noc#fdv$ zP%p=MX;i%yha|BavD*Q6;`>4}d1FPyl4ESn`%oIxOmVd=!eythj`!xI?9uuOaJAd7 z#eRZ26`=wa<24P4Bz6>pgXH+t;<>@pJ0exPwR!C3t$r&**e%j{lb8t$rcIi$wZ#4m zTM^bruv28VIq4<&OBIQm5G>OWo)zO0nc@|0j8zknBLea8dlyh5`0hz22;3EB(+{`w z!s|Is?%rH-tu~*eoI>TEajhbk3^=z)h3~WI{nY@}1qsM^DQVqN>7lO12|sX#h(|Yy z6vHR+gazwJch+Vw-rv7_5WWEMfU_&rJ{w3>mN-=z( z@}D;PC!%ixH+A`2p49Ii=Wt2_TCKjA#MO5kO@6q=*rd9*Vy4q_^l_V;eg!MBYc8%Y!i6dzz8 zLR`ag#DgR1#JMq}w#U~-g7zI9RQUy$mXqR1fca+V;l*jiO*7?hAT)cyilkRs3LGP6 z=i23W51*SEYvXfk{P93ssKSP22=5c20TJdiK6ThXQGr^OV(MnnU~Blz%ta9LbYzd7 zB+}@L_s^5Zs}YM|&;u9$TNqP26X!&X9z@LlhX%>a$?|_m8^xOcU(Uo?i>jI=s?Q?7 zY3r4$GQSPEbELDsq~t*ciJH%p=FjsdTZfQRMt%2=t|Tw++3M;x6i29B+xxK^)h~d* z%j=temYoJ}qE0n4^c$j@dBCJiDU%l=!6dQNGj8t4^0D+)!ud?L`}wfoX-1?sn)EiF zzhqGlU>bOBfY=*g+*R^cT02lz$CG)pck9v|4Red?D=SfSFu;>8wd%F7Wi9^mdRk4G zoU=}2Kc^z_=0eiK$KKp6qU)u$J3nT^uh1pIlWx$=yzuAE-Fia*rbkgMU~)fHniVI#vRJoWcLrhq2aI*;QwX|>BfmWm5AhE$nFw`3e&KQ}D9a{NZ1cx{t23MP@IO%L(R8iQCI+nh#4 zh@aGJz`-+FS^;cpHQD6@F@_w{JqcUHj`(~4Z!i+r zOSmi&hd%tR(ZodKByL1s$I6T-DjZ(S%#$IqEMBWk4w6m=IYH>gUjwNwLsph|x4gI7 z*0UCkZYCcugcpBHv*{>hPHJU>QaX^+G%_e zLBel`1&0sLSWH{H^*>{0f10wd4TslSyTXc+63O5cvT945^lW_*03-{DNAua(5(F%0 z5J)aN1v)S>#%*TI;_Ara8$oVWl00j&g_f_pJ-TP6h0>3#iurF++fj>vxvQ*zlR(=y zQiSNoakxUbM!(0bCUOlbu&8Jql4uDC&=-H;kQ@*w!kFkdZtK&yEqe!}GY^x88=@he zAReFL)kQd}9GEeoIe%*`l>};bGpsOo3ykJ9$DeH>H{)r5kJFvlcQ%3Cbfpy4_(VPo zCbmT!aW>y1y>Q$=??fs99q;OeP zU7G1d?wSr(Gb5bL-bjKZBhpxvtng)>^c(f9fo)KRL-gdfQ!4II6b8d3*bG#@)E-x4 zLg&V9=Su@!l6kE3wi2}1@4JiJRsE;R$lNj>KjYHag5$~fFBUFfh|%~O4PajCH)*G= zH9HKJy9+u_f3)~=H)X1Fmxd5Nk3B%{yAzNMf>VS{Bm&J58|{fBHdjS!gOL@uQ4J|I z;h&hxiB4itND2|afLnPShk`8^BO)wlOp!hv^qi~cNk~GdXX6!qzOWmVg!-Ns1UR( zy|Xb&O>k1FUIpH)i(!f?kL7H{$`tiWZsNt*L@Uj_6W4dZ8BfD_NdCq4kf4|rj~(x} z)80^aPHhf{C@3_9@mU?)(<^faOO;C|fQTuh{^zKK4D#PnW2hLGs1}J*rPGXdB$u9V z4kT^QXu3s!y6UnIiA2_BCBQsK?lae95wftjIap_d8ZhWLMIY};({k~rYu5}nQsYl1 z>Mp{?Qdc-0gJX+;-o7MxtE`z;TxC)^FE+wehjkC<%$#|BfQ4KiL8g#@aXmuleIWr^ zO1wXRy}+6Glusx1sf=|y*XaLvIGnHxn{4~Hhz;Y_qg zed{4@pq^!4X({NtZaqiHN6FgG7KxMU2jg^BL^~mA=TSDR^v+~M{4bv2UwQg_(#F!F2{%LI*~Cf!8GVqfDaY2Z>OX>Z{)%0gD>-Y! z?i0K%XIe516!s|x=Xf^a|LpZ^y8D~)Ro=)_SJQ>-vrU!9KbmaD)9MN6u}=A%J}@^- z;)=}S4MbB9Y|?dG*+_8|M^1H!g=H zQRU8DQ8O?@WJ&_%XOiZod)P>7z_34c%QLZe=;SB^hA@ zl82?W;H9=kvIicUu6+{v$h@fp59<(wWxAS@@5h1$Ec5&ODXOmQLTf_K#89`Ad*KGq0!ooJJh(%{?hV zR1f`>hH7Y3akCkgr0!h>A!H+Uhs;B`qOrt|0`q}xkMV-oEs8Sr1YWq3oi^PKx_}|o z^`-u_r0Em;eO!NYi9z9s^57^G7$$;N~a*cf&QSy!l`IaVB`CH|JIkU}Oe+?y+zbU`)wC|_{L}q5s+t~4)w%;auDlWMUN(I~a1D|rVIl|*@7Zt7(6f&EowB!o2;nHL zLrPa#&F{H>NE?QH2Zc( za6>3B@op}Q?)|r(de|de2fz)_!V~mfC=xw-&A#S@da#}y^x%ARhKI*eTSq6zZb#%J z$psVQf1;2k)--m93My?oKIRt6Wu0?8Y!Q_`7snlAqk;CbU33-YknA6t+Ds39gjlcr z9W0Z)R^;jX*Tt*hw}D{+=t~5NN7XC72CdibIgDypkYk(dG{QfGlR|`ptY58sQMo4Z z;)-5Y2A!{J^a*w$U-U!GP&hzq3?B9`)*_#H5Lve_SSIAAb~Pr1PDqicSuvf>DzclnZppD^uFNLk5uwVeGEl zL5mQb!Zv3EIvi;cXYZ#A+!1SkV4d=Vo)VFJP#a4pxQRiS7!z+OC=oe0|9|#76FbZQ z)!K$NH|_q@+I)9w_x?T-(R1PLz>xYUE?N3xFkYcqSicFyuf`yW{gJ#RyIFmm(v~~W zmZE5h1kq3IN=WBsOumBS)hOALb=n zyk``J3Jfo}^H0Sxh2pI@OE(h6VGG$;ZG(<#h8aQ=3#PdYlU0M8W^6*8W}&@yLiZZf zUm0-IZ21$@Pqs4BlV(B(HLJRhIS+`;HKan}HpYiz5fS*W{SO0^q!nT^_2VV__h)7O zSE4ykC-bO`Q(Q$9WQ^ule0_55efS_tqvX+1hMA8=-Cv@t?J`y^Gc&&C~C0)6`hS13>+G)x5K%tZmlEQO$a|7ex^01x1k#aNl$ z-6g)B%@?wry}B%&~+VZ>UT;>8KUZ zTM{MT-?0L66tKQ%sa0T?fCr~~&TkS{C^UXsBV2H1a&zlBqQB1=FUx{PE|&>bzHZCh zqGcd3txf!un)|CM3DRmqI}x2!c?8;YP|vgZCB7RBAJ6wz+?RVMhf#y)j4qety7oTb z=Yw}&9%%^K_lKb+d}pbHXV8#ZD9ae`aq;enyFGP9TOGd0aP8IsfI2(xwj1+Nd|iY{ zJ|4#F$(un#erdq9{RLhcjc)Y*2u zxC~O2AWQLpHDal?A`#|1n@?0MJO-vcT6~d0edC)cW#jOrwGi{+>&^>HJ(F_RRs7X8Bpgbj526L6$o{rTg=?2E{!V0Kx#Jf{%SV=$G9 zi5fiXB2IYG$1a3)ZNFkxqzcfT3YaRRtMRQdbv3 zuB+>SIFFmrTM)#yN`7pCfPp&Lg16D?kBC#b2^ahTs*Re23%%$ZSh;<&qb6o}}&BpQd@u;-O}7 zk8b(vpQfqKsiL#0CjBc2{NUbEMw<(UNrAP@qopj;t8u`UE_2HYgowy%Ha@HsfweQ@ zl+I&zg66JLVE0qe)2R|kGsm|l&-C$}i}*Yy`O~|yWSfT{x78xDrR0B$gW$u1H{d%M z@Vws#Xl>4P{4kT}wh_gtme$`|{Ts$@1LdYMzYZ?8ELBt_7A~&^F4uN>&{sBifRybD zBNNuvP$_ynK%wcSVZ8Cr)TE^12!4G6F^q;*Y>9xp)*R3OKdejDCi)FeT|M_@_Y5wH zc5YG^wbpyK(!XKq;DQ893HEnSt$*;6XR_Q?00zk)?$>B24+L)g8XK-lkM_MEN$H&{ z8`Th8iKYp#e@7-NOT)O3E$h^t;Wj^J2b(zt-N&J{f(G=o?g9b6ALg>19h?T$4EpJb zvC7S}9qx}>?oVIi<%-#&Wb?moT(1-@h1!B4lLld_`f4 zvms$@_$DR6(f$J}SoC841>`o(OCwQCaph4o3dy4Se`*+5;s$F#I+s|mrDRAjTAWyc zF&Ol^KxPo^FUsO)Zv)=>F^YjiWU~DVslw~v@_i;j3@-@tpa_Wt z>N7FKOWHY0OaD|*?rLECbFe44K1xS}ImeaI_d7AnF#Fl+oN9H|ojXG8Ef)x)ag z8%gRsHiA557|wM6F1#BmLj`bcsmM<2EbzZTJyf~N5K;aQKv@u6hOusegx1JR@XR`t zN2!P#;N1XCmmsJP959YRZHZp+Sj3&^*41k>V3UIpDmZW98B)K*uyMSCVf`JOALVrBy5t5sy@)tx}Lctm0NXW|c zqD}xLD`Pz?!Y1Q`i)7K}Tdy%{5l(>P30+&N#`8wJ;fe>4o8X%q(v(Y7Q%n=R2dZ!6 z%UVKS@Zg;CH)A2;6Wc3+9D6z!bjWwS?T35P66-LFK<7{vdHD zUFScnRcb+J7}CgzqDq7YgdXa5DX7B6TeEbO(x8R5b}F%rd{;G+ctWh>87Z+UGX$N0 z?Wrp`%Zh{OCWsf9VnHd01`4W8krp=Q|0`JV3PKem7{zx9wwxKu3F(P(UPQq4TH*)?s8apmd9zurwQqXUEyrtUJB3PR9<34;2Q)>TJp%fDjUzuUy^k}nAr5^ z5%D|&`$&U6q7+uab2th>8O0B&Icm?bkxJ6nen64R0d9ee4LnGYM|z(%ut-U zN{`W|riCc+8AEo)z#g_yU03~64jTo33U}ej-9?dUYJ~#|EbE0(t%*-Qi<^Jf5HQNA zENEe_34Egx8NdVkgG(1e;`I5MTDc9b0t}z}yA9qhAm?2$JZ5#RqP-b&Z0(SAonkZW zm$)zdm1IL#!lra)*6gfXNo0)mg12bopZ^iIX;I&Bs4gQasPYep<0d*c^>qiF6|kwG zy)7MIRLmWyLtu0r2L_MVAar!-*~t9JS&pG2H;f_Oj&V%U%T z8y++rHP!10$K{K0VoQFVM0eJI@Io6mw&Hf#uFuqyU2s;on1=Noc8zC*I{D-1REj-t zN?^KF`Mv)-CgQCj-m>4)L)dBv4JGe}M^YED441?xjdFvsXz}?3)IWi0RTC_r=s@}z z76JWqk45l-j1&&#eni284M>?+SmieGdzdb4x~r#=%G5pM~8 z53hzVho4R8hX+R^*SV0UC{im27>^G}BLyON2{QH~LL>MM`VfhVLaaUBE!e70tougs zlPMGbTg>(KOeSy?$?~QmW%TOFnYuVHd_S(D8B%&T)6?sfFyNyRC=o-t1^ACHo4l83 zV+th2PK+K)y%+gt=cEXvm>*9*q&}#Y_hAF3_E-d?@KEPkBD*(oLy!(yOUWQB$k=)l6zV zZheS-n0@#JUHNE&kaBhTmzs6}jsSS2%do=CAee`HsVi3`voIpGoUp)Sj zlKXlnMdj=u+pmxK8XIpYcLI=m&e&kkRk0ZEBY}ML_r3g!BabP4r>4@$37)<#V`_GC z9OkP~-BmKgwqA3m`wA;?1o>*ob{xEg$fU~R=^`9nv*_k|If zUugbVQ4p)OhR6~n1khn56%a=RH~qvRNOF`n`29MP!qvNh${A7K4&J2>2PB5QTS|2cXZUd+`8y|SlxT+Rj$ z3JesA4BLGes5R4S>?Vu&RJ-NBqS{eV?!I%@X*(njGcqr$g&2Ey4mt27ObQZy&wM2W zcx@&{*!LI!0QyrmL*l~+MlPzf2bmpH#Q9EL2K5##gnOmOChfXk^GS%)px!8a#a0## zLxgEG=84Z8IqH|g@aSuJq_vk^s^pIsPJsjxVq%1?LH{Mzr`qrKdajRN$FK&FQ~5^v)Cr5<8Uq73-6)vSd4&DIk-V>_s@6OB`m7W`G zUDLcQ1B9^m&JziLzmK*B^t(L2gd^ydY0xS?l+pYyIV!G5Y_irfY+Ciuy^W^NxAIDT z`NRWX7T;YQ^=BE3GCvMLZd@KMn`!(KTYS?M*X9JLDa5V&v8|(^QzK8LVbD!IA*jO` z3d9tTFG|BvP4AAJ=z3jDsDOmY10QiPywHEwv`o|n!R>ayzuiao6c#$xg zi{gjEm$Yu6@;re)Msfl+g&}%jp(-l;!|wfB5NisIu&<7aVRi#-dVcTxx?^J+55k#0 zuFZ4Aoh9b(tMe*z`iJLub^jLjrPcqAO4Qoj(4NE17AdV7u~Ve>3dOIbM$Hf%1 z7)2CC)ozsj8YlqDCHXRZH`n z^^a|tRv_bUd0DC~8(Zy@>b#B-p5jkhwJb8fdr;B|AgQ%fX6D$qX$Y5?Dswg&@_l;Vt<0wvD+ z3zxro6Za{{>qTR*7}9*)kbo?f}zGwX%In8>bST=rAW z^i>-X*2vEUztL5WAY3+~u)v7Mu6QAnZAQ`VQ{NM#>em|y*?+#n7h7q+U*G;mvL=8u z-if)1VV73vga;xp1qdaQ)b^{#t#{T5QtOYILltP-R?*qv%XvMwGeN%$f-K=}Pkfm@ zptKF^Xf9tmiD9kK2e(ke*Cp4bEY#2oJVV7a*5Ax7xY&|4B&-p0Qe{9jNa*+KjCAGz zf00F+)1d>U{IKLfKSRLUDY&jX<7ySm` zv{0u0&>R5H-*c${E%n7aJ64UnpvSQ%*=e_FnG@C`&lDOvaOx*}uB(W4m@D^q;vL*Pd4XjB4gjSojn(v1+D>^)sTH5cUk}A=`}w zg&0rL>nVdtpJqlDhBf%in;#~FF;a2Be-Pd-($7;D2BpG*b#8^mK*}3=+eMJ*04xu5 zTw6H~?$?f1;nm14Mk znv=4q^4L?-c#l)Onj09p!!)o<$uG?6g!2JCh z-6hOl1UhRag!#>P&#^sRLK$T(HPx;lPpYinr@X`Ywv~%L$+es@s>TzX?{q=(QV6^I z)Hlsvk1uDB&j$f0R&gz{W&rEjSc%>S)En~*s6h0ik-QZSN1RJ*&a_26-__mWg&z4U zDYTHItq)%wRdM6!dmfG-{!I&Qs2*?}OEe>8$cL{obqr#XLha_nT7%ckMcfpV*%U0= z%cZ@uIUuh`+OC&+7|CO*Ys9om@t?=(H+nIFYVE2K@pJij|MX)&My{75=L|x8)cj)E zwM_u_#zOK1q55SxMH$)bnO%U;e_J$rfFIO~3jaPiW>fY6tf&(zE(VS%o4dnaCOv}r z+Ib4OV;Ys{<@Qb0oI0>aC5ZZ_ckFy#h?bwT*O+COv5a$x>Oxw+YQ|OAce%Wg;I0ln zw5sVl9Z%Ov$z$ddOyw%@noy9-n503>)bq6{@`5Qo% z_7TL;%jSH>oG)&ryr*~kgs#vu)sbY-bfuB()mb}2Kka;ROXGeF+HmN>^>Q|O^D7@N zE5J>`+Nhovk*9T!u30f#194if(FwEH4TrS1S->8}!9K~k;)2E6Rg;ce?vUFrE9oTT z0JWCv4A!;pIZK_4Z;AKh{=<@(WGX$;$F-Cm=5|-3a8`w3CfX)Hs6W^OH1R!+HGdSE z!a6@?%u<@!$)j=a#M37Kp<0;j_1|u(y6p4}+6plA+0g#h4AL(Pw?mHwGB6X41}UM`pD1 z9w?3$x0kaooYqV~41MwR_$V!aDhRB9t8DL<@(LdK!8E91fWuIFiC!D@DV5i8?2hw# z1pFcIZs=@Sip<^{wl#^aqnmLsch2ZPm3+676f?7QpGH36<V0R|GtaG709;e5WO%r7zq`Z?~;9dx% zD4~KTM(-`QPY05bl$vL_2IhM34<&|d&4nF8$HK2y@FG9CmbZe$nwHZek1xcItiT@> zs_czIc#;3gK=a=0Gmnz27Q=lh6zKQO6S&gAJL5$>hyS=fXi9~9G;_)<>!vLvLMXUK zwgzXTD4iXf4DWg_#BpyBD~gfbEISbQIy}yC_tccPz5MdRz^!(OG!ZqqNyRPrK2Dxs|35I`u~R5{to~Q$uPap{uaoB zdzzbb#8N)DHL9;1pT2)*YFJdIKE4N7uo9Gf4J&##^n$%0_l-=GoRC~x`S5ZiA{hu` zF)W7gL42io-^4?7_3ouWARc(-&fU`t=_jXZZj}6nvxWht>(Oq_4%=Lobo|XM^c|X; zh0m8g-gAz|GtPhAMJUA^s>7n_P*`(3wYZKPmJ^S3P_e#A48#kd8Ik-%1$+S-gj6BQ zx&z9!Fcu*Da zTJY7w_z#@tRcLNhzNU@VugB%eA98s`rTz3tw^zW zETmYcI%zfUkyz4?jK;66F*}k4x9?&!JraA>cZ)iPwO4Xh97s2YuZdBpiF3I*fegs0 zJ0|s^{F5Z75MwVVqXJR@lUqk;m%)Y)Z6EG7qolaYpVs^dlrybvzk)|@ng_!ik$S+h z*%hw!qOI+F=g;ypV&|o>4#%%^Tq`ysr8D<8>ps?%C-KsZYW*XVJ#23IY=LLY#o^X` zouq4^nvmjd1cUUaHStXC)J*sYGaskB)x6cL20E-ZCe5V+}53TlJU$z{C ze0;3j2Zp(jPz3J)eqF!h`8U0_iS@ksnWS|#x9`fZtvo7*!#il3dyOYR^c3tdsld1( z*&ei{oVsN$m=E9_houLyw`g#i(pYw-xA7Bt6&QrnOn>}Iftph9M7Hr;VblBho<_=k z#V3ZTr^QU`1*!weFPo$Ja<-$4GWyOmeZDdX zQlG|Yreoq~G7lX{nD0_aWE&T6l(HkK@t-MQ5W>cYnjC*$J?}XacLVdlMJw*kP&?G< za9QQk%FW0&QNKC-wj?$1Jme!4R|lH|NoP^14nIq8TH>{}=P`&xyFYN;ub2e9;EV{Z ztSLpolCWj^(n)*e<%3sKZh1gfB`OAszeELK^cxdZp3{En?6g<7Q-k+>Y-N@?{>xQ| z;ClWAUEb>lE)@UJFxfW9L9p_|n3%O?CQq47xSF#M<>Na-&#KCM zc9`4mk9Zu_*gYI^jTvaMkw4 z5qZSEXi{Zy7}Yqr%6v|vg;VAFzeu6ClLx(jfTLePu%C-7y&O~qsvu7f2J4vU(*FmH CoP87k diff --git a/paper/ltl.tex b/paper/ltl.tex index f18444f..bf4d685 100755 --- a/paper/ltl.tex +++ b/paper/ltl.tex @@ -443,7 +443,10 @@ latest signed head. This section states the consumer-facing arguments in the form used by the Lean mechanization. The proofs are elementary but explicit: successful false openings yield concrete SHA-256 collisions rather than appealing to an informal -``Merkle trees are secure'' statement. +``Merkle trees are secure'' statement. The explicitness is load-bearing: over a +fixed-width hash a bare ``some collision exists'' is vacuously true by +counting, so each soundness statement is about a named extractor function, and +the corpus pins a machine-checked non-vacuity guard for every extractor. \subsection{Inclusion} @@ -566,7 +569,8 @@ unmechanized authentic-size/root invariant. \subsection{Proof corpus} The initial subjects are upstream \code{curve25519-dalek}/\code{ed25519-dalek} -and three deployed forks: Solana/Anza, RISC~Zero, and Betrusted --- all +(one implementation: the curve crate and the signature crate atop it) and +three deployed forks: Solana/Anza, RISC~Zero, and Betrusted --- all implementations of Ed25519~\cite{eddsa,rfc8032}. Aeneas provides a functional translation route from Rust to theorem-prover models; its design uses Rust ownership information to avoid explicit memory reasoning @@ -648,7 +652,9 @@ repository's standalone verifier. The first twelve leaves are three four-fork replay generations. Leaves 0--3 record a failed audit run and remain permanently visible. Leaves 4--7 record a clean replay. Leaves 8--11 re-attest rewritten repository histories rather -than replacing the old leaves. +than replacing the old leaves. A leaf whose pinned commit ceases to be +distributed decays from a replayable claim to a historical record; consumers +act only on attestations whose subjects they can retrieve. Leaf 12 (the thirteenth entry) attests the accumulator corpus at commit \begin{center}\small\ttfamily @@ -721,7 +727,8 @@ Deployment refinement & finite differential harness & no theorem for iterative v \subsection{Cost and reproducibility} A replay of one Ed25519 fork requires approximately 30 minutes of Lean kernel -time under the pinned environment. Receipt verification requires one Ed25519 +time under the pinned environment, a figure corroborated by the inter-leaf +issuance spacing visible in the published log. Receipt verification requires one Ed25519 signature and a logarithmic number of SHA-256 node computations. The accumulator corpus is independently reviewable with a pinned public Lean release; an environment-derived inventory fails closed on added, removed, or @@ -833,7 +840,9 @@ proofs make the lie attributable and persistent; they do not make it true. Targeted independent replay is the corrective mechanism. \paragraph{Theorem identity.} -Names and repository commits are not canonical semantic identifiers. A future +Names and repository commits are not canonical semantic identifiers, and +commit identifiers are SHA-1-based --- a weaker binding than the log's own +SHA-256 tree. A future schema should commit to elaborated theorem-type digests, axiom declaration-type digests, and an environment or replay-manifest digest.