From 00bd5e2179b710cf7c6480f1de337bd4dd7c52cf Mon Sep 17 00:00:00 2001 From: A S Date: Fri, 14 Dec 2018 15:30:10 +0100 Subject: [PATCH] Added unsafe fallback without on-chain commit messages --- pdf/grandpa.pdf | Bin 301338 -> 303173 bytes pdf/grandpa.tex | 10 ++++++++++ 2 files changed, 10 insertions(+) diff --git a/pdf/grandpa.pdf b/pdf/grandpa.pdf index dbbcbe01f4966f448779df50bd02e9c811066c5b..f7556939607aa53c12bd4128ba5d2fd589274754 100644 GIT binary patch delta 41138 zcmZs?b8ux**S#Ctwr%GG9ox3uvC+Ya)3I}6bZpy3$7aXq*v9Sm``uf0zxUohca1gX zUb|{n?Kz$`cV+{|a34n9J}&rp;{h%^B2*gU$wRVgC1xWN<@h}~TQXWLJupX4-fgoD zz2{B)q@^%Q5|iv%PDyJxYu&;wd7{G>)dgi1iF+^|m3h3r3YZrF4#h{bHZBQ4KsIZ0 zzkfEe3G}P z0j?;oj=9vWuAzJ(SSHac1CJvK-+CPE@a-#Inj&lu5_`-~NrZ*hI(!j76s}6tmkckv zTRFCP)VbX~E1Z@t5fyEW($4!K1Rv_1GD)<7HJ#?}z95Fiw`*wlrEAx>t9W2{yLxzB zK&ggC2|eitxKKxk?9i&U4uh;31Y|ksNSB7z|SHN`okR;80fM0Q$}t>YVjOn#QbcQ@p!XT^KFTmc%Ah zS&|kND@Iw-~&_<`rq{Q5<2!ayj@4FrgZydh&MhE>xL4&&$8t zGP{GG4t<^2VB|1dmWW#NwxZ(1pwp#iW@iuEP>>I`needf&)juP@~}`RWbW+zJ>(A@ z#^kQ`R9TA#zwaUr!b3xs zgXMRtQMKM7$U7Tt^&7a^ve9SmFtjaiw285KV?b=P}Dznk;I!$j_4fTq) zdnCS6ed&YydaZdi#lmMoigcu>-=mBDUChoj;Qh;Mru4_-j@}+G*MU_VXD&eKH(mj3 z9e-lqr{I|01J!Sn&_h17MACEdEwHv7#KGMimikT=0c3BHWjnr>?w^%y&Z+z{PwHF0 zT^*<+&Vi@(#M?=1d&O8#U0A1LxeER@Syt@RqL223V(cQVqXkLhW(Ln0cWSdR897-Y zO^^cltUsQL6<~&EAcjkw7<9R?v#(zM3pk&z7XbHO$N>Uvtiw?S{t$ofFv7o~VvK^~ zK!mSxbBoma3j0fL;Q<5X&s4Tc`^ztfzc9J#q`?xcI;_V(Q61?i(`2c>=$ES%binE38t;=jiiuPQ>F40|$0$Pg~p* z2OW5}Pf0M?A);6;_Dr<>bJClX$S&upwm!ISxa1~=AVpVr%vp`w)lEt(pBm1o2CF~L zSCPG_ktC_a3Psw#UbJ6=1EoR|_MWFn`dLYs`OT5o+7TcomlF+-B47~r>Yr;@V}Z`w zio;Yo*!R~8N>Jf4;B|8t2`(j)Sd;qkOV236rlcaRapcIOPn&edt5O0Z|GC{tkwX>++B7t`jG#l=(VNiKOM@s91%e%fe^su33@Kn}0upg1aG5I`#bGxZT zH!U)3M1<+SLw!N91;T|=_{X|2&%hGXBKVzjf?1%yB*t zTW6~RF;mTHVm*>j@PhS$XnH&&bm~^pj}gK@>JJjXr_3S6Y?QTPF7D7TyEytMK1SoV3L+!^zPL&93l9HpaQ*YP`r;Q-U7mMkxIoZKnz?p( zb;x_|uR>?CgraOhLb#D(5b(EYi9`C;u$L0LHVtz>99YH(@P}udGO{5?!U+SK?m9k( zZ7|_Zor}5_Oi+*@AscVIYy&4vVEm>p*hG=fQ!#npEMywVyK4VJ0e#9i#3wE%8>vr5 zi7l8M$HXW;iqf^i zrXVjvJijJ@Lj&`qu?+V_Ls)da9+hKdXw;su*_cm;J5akeRT!5va(#;whBZ)qxQTsqQ zsgJ)gc6v7e?)D6|XLY4h@EYeo>{mCBqORCK%E|Iae2^G*P#GVQj15b0PCVFT_9_>D zE|fH8^KgS>7+B0hh>9PBnMI!yDHi=<0~om#VX=%lbWHyv(wbIXeP6jfbABHN&KQQ3 z>ALEA(gdME+<%rm+j4VH)9>woSBW)EX(KiIla?&_4TSLS9RP67WHFm_js5XBFpurM zuZlE6x;DI<^|Dt^2tz-W5ODK>WKbUgw&;NTLs6*x3fT54J;uy*W+)>`F>%eMaYv}i zxGYdp<#v-Yh;Z7CSZv4~{Kx4V0={MvIf3RgAcQMTs0FTIkj~Oh#u;93_+DgS)iSlv zN4!}TeMN_B=H38v<*!yGCZ6JZ(c5o~!1=`7-}Tw7bZR;l1KpAovVD+V-bVFr9}2iJ zRB*>hNk9+EVh)-k4XMPEyF!sPiSKDF-JjcEEl4`YbI^>ag87&y(r6k@Ox+l95W6Ss z4Zene5;`MvCG_EP5Hbn9r*eCpi?*q1ABxA_o_9ry4t8ihG`Y>V1y%T4`pL~t7+E>= zNMSV=@8n-bU14dV3d5E(s-{URWU$L-!3vKTslW#9FDP;ZKRyw)%(~XX7^2|UJ0j|( zr==#0I&(j}_H8;<)pF<#H*ox)gYD%t%hgdF-ag6=_}kPk(`wg#nQg};h8#u-dYl&x zXz9#(wbCV10Q?@lm74Kk$ET<`^Ic5amPtR(JOL7I<96JMY;~BJP=hw8#8AH@A%`|S zMc_&T)?)no*V;;gX-?0Z>7JDi{%{X;cZq@l?u`^fNt^v|Mz!%a#imEgi4RIVK>N*xgW z08U6(xOm}LAt!JfFU-(oa=Y59evJI^6oB`Aoyk zYYwLfBk9c|3+m;RVRe|$m2QzMR9|UUOG$aQ0}3^)ziV zj)aAM_vH_MrLPkY3qz|AN|DE!q}rDmT`voWM&9-q1xi{G7L65PxbRu0BF)6f1{_-q zsX?ANU%*PNpx@ViP#c53|NA(H|H+!ON^fEnWBxQND1WzW3R;af9Zc=@143L+8P~=F zvF-^DpF?n}e^I2JX`z34AN= zafBn7q3z?ED%&Pm8ji?pdfh&)WY)Gl`Q`rCWe`FX9pNDdCY|M5xSno)2RzLOJYe#6 z3S0E=t(X%_yQkO@&`Zp&MH1}MsKKK*qgsSyk5|yKy@^U`S(yEH1}4(wFledcyVUqH zZ&E%$PV=!_R)wmc_?A&KpEUKSp10H~1`oCB7f zlbeN?3jjL*p9}VXb{+sIl@6Rfxoeyt`L733a-a!vav48C^3^y(@_QIHBnLMeXcre8 z3xb^^8NHScSWK`Mw=s6JWn92(7l@xZm9-WD2D2O)LI#&0`d;@Zf+R92eYfEH`uu#Q zboz)qZbc+_v8v{>rlzyv;pS#5LV1nl>6S{yGrrU?&D#g-LT%qSApMdgzSH>e=#qTm z!+-7WYGF$};Ue0Ujvvh8rAP2)NPAl%wtC_Zisc3q5ZCbhVd5;afsgaN*UL&cEuxcb zOIW)WNucRr$#Xc-i$ssF!S*}*j@6rWxS>Ee@#vs?wnLmCTxb*Z)CZYH4$sra!;MoX zEG9ZENzBbHzzStE8(WI}BDR;Ch2(oQqPS8E?2)v1WhrsZzWPNcYimNdzFg%kGb z{ULe=Fwz)z^Z22h5xSNzNFKY2*O#vrLgXdJAldMuz8gi5>lyQWw1nY@C@{nHF$^g@ zn%JEx-wyVzC4{Z0`X}LM5~}+l+9SRc4k555Com|d?io6=+ZxS&`}zdB^ty^|{fYH( z2QOTQc@Pp+`Qw^C#)~YRO%7sFmW%>Pgbp4PnArD7^Yh7=#j9Yg_tQsDEafzb?4AR2 z0%L{=x1W071~~M4M24UbA$)E%4RU5Rs9=bi2&>ElV59tQhhJ|eom0<$veAJz(Q)#E z>5dl9*PL_iae<)n)IkKp2H!riiIez}fqUc^G2?8KjzCXNr=^ZG>3}A&@r^Tq3Q9*A z`1q41jBM^BTJqef2w6Hs>8NP1^RdAxevdH9ZYGbr+SjtFAyKixU*BJSN>1{(Jv;+f zfMjVos^S^ZNpTTh zg(HD(UfR9TNi?)J;CuskFpd+jKTC&a~D<$0PB?Q)p*}dp~GyDw26{&U)5U462TgHV$nzBR*Gp|W#~h4 zggdQ8ksI3zXprtN)dl?}5Z%h65gD`W_nqX_SU!qEP(1lT9vfX$*TLQJcB#(V|kLIj+?1UA*JQF zA@%W~hWde0OJ7ZusRndnHWyay z`d3vq>M>I??(MJAi;1AZl`K%i=9FP>D2d8cuya1Ke2oD;^z-uo7gJfD(7H(* zJj8~;%JG;xL=tvm69n=4S3WFzl6;Vrov6fb;cfFbKXF|&`+HU)KMt#-s9>h2c>u&~ z= z7SWz6{#;%>9pq>H%cM+|EnBYWCuK1FF?SlCf0LC}mkABUPB%wJA0mE`V*Ty*uXya^`7;!Fs@O@9=xNYVzFOzB_KP<5>SEGb+Z6a^NI< zgq##V=n7Thp(U-#C0Y<;Qf7xWsvk)%W z&yy{=k$`Mi*^zqdw!>971gjS17B%^yo{cC^kNvE3RoHZSc(lfYu1+C<%gOh^(qkO3 zWL1ju^=9SAa;V;KA`bFyr{jjMJJHq;+{>?o{Y$94xnU-fhGW!O4Yl}JqEBWN#ooH; zzkL>h^8*?e``&4`;e5dMNkroQ{1ljSFEql5v7}y*u&ZhK4O-4)trqUB|9qL(NDlWS zM&Bk=%_TA!dO=bZzn})|PFd^$ZkO1HU~}?^2$tq&UKUsL=+U#d78~oeTc5ful>z&J+`W#e0O@e@`z*do-M9-$#8=G#7}CLBCD z9pmP4`{N5pl8#h1g;4vLNFws(l(IA*A+W?}JY@RP;WJ2^`R1rm{RK*|H*ETux<~fC z=dh=GqIt2@-7NI-z@EbxcC_q{Fo@7zfkW4F#ZEttU09rAHt&?2PVuOkbRltw^Iz6t z9aGY2EHdsqpG%MqzyAscs+3tpmmCWzF*%U<7fbZ9?$#pxjS8rOfoXUXwPB@K>(y&1 z>!g9Eq!OYu`U%^cQ6!Td!t8Y_&jG~SZ7a?hH4B_TB0_lEB~x~KXB$XK2EZtxY>x4( z2vCAbXm_U+s19ooKRHy_sOn#Y)|yc7VD6aVu!5~#MvI-=<+p8s@eQ7yFI$hln!wec zpg!>1k@UD+d`@}PRx^IYFw#WwyDU{Y-Dh=6e|u1k^`;>?7$W}40-M|`x6jtiVWLNT z(yRQ{c*%{BXU&G2`%UG>4W*oCg{?ccC|q0fmlg0w=lra&v_iP>TUMVGG;gi%uO;)9 z3S;D+@#)T$O0Pf_pwZXZVGx}|^Aa*#0fYzsPHSut0|eqUpTBxo?e9ZS2OgKBzUZ)+e!IprcG~Lj{X)43@uGv%%)2!SG;IWn+{z1%k~KSO;NRddm_sewWa1 zq+TAkqd>3#W4ZaiyX>+nR>>AafNZ{aEycD3ddIIlDoa@SQiJqz=|})#V2-{%{PK}} zQqP5f)mH@?FnUh|GD~wR1TKX&;)tnhsg%MWNDy%bs3IU!LAq04kkU*$R!Pf9Rjrw5 zC@=L9_ChY_hs24YL287egBUa`b=EU1w-1~Qh|Xub#Ss1wWkvU2k+-;mh}q`cu`xEN z6Z)CK7YR1n8!8)jyo{$T;Lk3@Vkmd5zSh{|s*JR(`eDeeV^~P^pj<&YJKTa?j7^mz zf7T)TzH?kbh+)=#%Ijj5IBnZvxgh^t%Ws^Lo1z>cOeqX-a0$UCB^>L8s>~pj8#WhkBpat zjE9Ghg`F2L0S!o|%8lKcPBICwc&cmeF7U_o$7 ztpDe)QgrPpC=y#|h0T zo5$$oY|PcJZ0g42S&jeR<%csQ_sl(;aEp1TALdcZ%;4%d%Ec6`7x444Fl8>hX{_e^TZ~MN1e?oqO5~)gtab2v0RNP_+4Zk!i}KA*;~Ci6 z#;)sRuWzUYpoNv1a^~A*p!Fpk-yUoBk*RHa;xj>X4q?8sz1lLw#LE|>8t+Fgo$J+KPdCQa zDU^)6#4z=v4Ejp>fsBL*!OG&iUjoKrxqmksxyp(S;DK^UO+aN9`Gf>0pHl_R+&-^O zaeI;aG@r0<3R?8g(NpdYEH(LKTtw=N*8DeV7YHIwGJ71}-U0S+O(vPI6Eui6kCUPN zjMQ6lLF8=}LXuigdj2$$&=ILczB#G8HoX}X{ z&j7udD&45SCu#PIvFxvNrb$zZz-W!kBQ&&(5Y3E$atdOU(=>N zibmllX~!i5$lcj6ESpNTtB#skkw2=T8Br3-CeC2e`+>H}ksV2~g}2%}|Jq|=W>8%z z@5cA~P>kUuEz%jM$a=QLum#26+y$vmueKCqY~N65b+%2F;~gE)b;erN-7Hqwgdq&P zm7DVng?*=IPlDj(X}`g}*4tw9kDpW2v^924xP>fS-=3`W36%!PZQYC$^qXe#2YO$X zr^Q!!odB(hP7A!eBgRztoe#$Qu7rg>jjsClfjKmP7R3SZ0%Tw_4QKiq&>ica9_jk6 z2Ud?>cnul+PwZzus#jeEPU9j0$mTc z$hF|!P=UZ83u{9CaSk*8W!`wTdGvdIt`rzE1V1rk2Way3A==nd@DMr6kZEZQ73%Y0 zb-%n6Vjl90xxH@BFR0~XjpFx^ znk#mmjGm*VPR#JPA`BNEQQ>6_mb9R0xKr8GM%&Tl8T;ruNcCo?(xw9lK=rM*%mI-6 zx@XJ7x0fdOsWvX>{PQKS9%++J^eHip8J0@*$clbwW)eRbnGlO4iEu0_*4{4y&uq4D`60wuRv2o>o?Y##t*Jmd_1c*rCs4!^WS|Zmfv4o7;G{7o zEv0W@7Ga^*)ib{)ko68zar>mS`V(j%;zHivQdOs4HD%S%*|{sC`RR=>5%_YrRNZ8$ zLtZJP6`GX#w-6GZ=-c?pO{z3u!t-9N9m==SmbKm?MAJ5^KfWK+tF%m#Zrb6ZAeVUU zpystp6vYU=E|zSo;EC^ba>%CxF8aMON<^ofxj!(V3m{U(2X+vlm7G2iP=|md`NSOye zoO@PWQD&hj=O~`?S%v&oQ0IF+vb=61b_}!HC*^tAQmVw#h2XSt&EUAI+2<@!2V-wi z=J?IVES~RVgF&L|Go1rl(>Y?hRDzOGTqYV83{@asf`EJm;X96Ke?EV@zyAg&qv{y{*eW9_qLF$y z&}(AKhrT(CcxK6j!JRi5qj6jVpRUbOLuNbpOng@6xIH8QR2U+!+fWRN`J82oQDw3ycG2NOTLdn@u~R zcoO}UFx~faYzPuKtN(*KZP8m4Ep@t)-=dmARuEUz(j$VB>`whMM}}Fj3rg|!-u(oQ zc6k!t+DI%zwz!5)ca{AJ@;5at^cQ1umcr3d>w3M6=175)`3HR#Ep#+u%S9wcc*sK< zwD|I!q^2fK@Pi@)D!Lk+%MkL2J38+Vxj5r8z}0id1FR+R?;6U8!unoUjNzXqW&7X} z0ZtD#$Dh7~AqNkIl+uQy-NU|WFU9F5QTbYK0?-Ow0ei1~jQ>Y~z%^}|$LPLiiC z!!*>$`F5pmke+2bVV#vEb*mEgf_=s$yQT#t(x4 zHIipdP8GE(xUVg4V}BXj$u0=ED2k)|vY~5Oqq7BVdoQ_DI-#&~ zJ9RWtH5H3PP9?;?wI5qMfXic)i^WZUs{l*>tflXw6fzp_lV3op#bYw1k*HZ=z)y)Q zi6;W=>--LF5RP@0QFO?k)P(l6Ta_9IDL4E4M>2vRWZjs-?C1#SZ+`6VW|&53?7-cj zj2{E0M_9n&Da6dbcGRf%r^Eg`0Z|u+%!|M)3pnJ|r&f^!NBVmp&KzxdIC2Ni}#OK=(-}kwI)O3ZYBzPC zz+7C4hP{a`DojR4aU%62B~!w9^}mt7%%L-Zmymmu_b)gB&-{M@<$ zZYlTvoFXCk>Owaeub67Q__1k1QwO#3Soad|_0@w%0ZV5%fQBcmu@cUf&z4BYikfH* z6StccUe-utPzCg+B)y)XrbFEWvutjMNQKO8(HKI@4+uO`0}t`HPRN>i92^y32z^U! zr&3;deoNI6QgnAhi$eZ558qG3K-2LA9`))SB7sY4a4UYnbBZ&K74F{Yd(BIf+=1Xh!u`+==XXbik@00T!c3gGhySaHSoD zyQ*LU2sT)ANYQGeiCmE9m_u1M#fMqU1#(atq2oPgT$IKMZTIIpR8I9P3Akv1j7=`> zjUStXp0-C7Da5 zifJ9-4|Kc*VSZhY(65sb2{R`!T16wnHT~37@|;&#!4O-!qyl-7x|K^$Etj%WV-vCr zw;ir{)Ht;}lq!_JjJDKe)4vQ1w|~-d1`7XPZJikoOA(kvUG>dzf1kMrHuIL_@QO(- zhHL|6BfuGmjge%3#AcLDHz1k?HBny=ZCDL?r$$;EY_=k_wsh_6KUDf!1N29mk&@sg zR4}6~cpG<{@nW6to#h%*AkyYN{JEQ{f*bw%QB^VMbPV`*892#1#HYiyjLvR&NA#(| zobluW@r$pitm?v6KO@P3)6rWkov1A(;+K~(&|JZmCFfiMWT6>=u&ts|H2}E+ITnzYy1@TBc&*r6VGXSeB(%cNhGxY6 z9_*QYJSz7?zjCuYTkW5?(me9FY+jaU$Mx+W-u--kl)LCHh~uJXsGv}9e=o(N`S3K= zORT?NYn;F*?z)dauez*L4pHvn=-vAZIErXb-%Hi_ktiDj^pea8UxW{yJp_O3Vn_|y z{>j~!J;=jDUKeOzj}Ig5(w5MRF80BqR%&F5>yu+R@x>@cOI1i)kj+b56u&HLxsOoq zf`eP=fkCw><3C)JrrTx@6A;MtkcQjfoMSR#(b1QpOZMqhjPQ)!7p=M?0?~VQ?IKro z7<;r6vv7L^3{FFB`AjlN-A?mfIvB#p4Dm1$cZ0bBz32EL`@Z~!bI%BUhymgGSxTd? zzMQ#R*GNPKxymPN&l-NhxPyS49mzYU4CS~sLshdf_q*r(wl_lMPwqH|mx=+dCdsci z@YxGS15qh0qMW-b8vTrK?s=a-Yv3-ITc;7vRhR35`Ob8GhcX6b-)$E*amg04nrc3` z+2_CNmi;S>ifBSqS5DKs5ryrTmV#U5g!)sg(>thtDQaOkaam}t)+m+SNu)Zb?)8I7 zgb@nW?$KJ+XI?%WEE?ft=_f9EwCAs$KC5Vk3(XZb9vX1?9Xw~%={c}AlC8GvC3 zoBK5j6x$B41o|OezBw3LQ)4j48LculPC)sKAI8b^m^s?tekn(cDnxY?jPp+AI8sf z#rCumL4+~eOMmGd<}x7EjDEbd6-c0SoqCu%iJ7DKKK=5Hx(!~i>qULr{FV(!y1Mjv zB|JtDMmf?sEzKBbP(9W9zHm~xF##M($UlzTbS4SbgFj1}@?9D#4Opj*5Fk^pne4@$>c0K+d63ET<|003h{~r>_&G{b^ z$cM%8KdjCWK}ZO}($T`n%oc%zJ9+L?0(2b)4wYOBKp^GdW@q8#0g!R?akB7magcFv z16Vk@*vWXOY$a&!G-f)t=$6>tnfuK&dZIRXEM zSvWY!96jvq4M71a;3U}pwSev4EDRS9=tu>e3hRGM8~_d$ZXOVcDme9jnK*dZ|5H&K0N*x?0d6J(RL=*y!f}mjO zXzgx8#?8(NN>m4D1RBQgwD;L3%HVSg6wE`ip z3kF9K8NGddX?5x=cs1RAUsTkt9HLY%o)&ylDcF3;EOm&6?hY2}v=vYFxQd|5(r;N; zi9l`j+N@&0`}GSUW0j5(EVEq@k}-MB0O_K)t=n8{Fm9`9oSN&xa6?0*omrsQZ#7-l z|Iv_8XQAi(4A^p0-L&|)x*+!E5O&tqzOQB}x4FrlhAlUTfuiZP`H*qe2Nt6?a?x9j zqG?tbh@sWE7FqW$WgUi|7B@tPVs6=xuvjS^7Cxro=ol;n{H=))WWrMzzV;_Cu8`9~ zx@-UsPL)}kdqBPt9O6z?ljhb1_3sikrQV;98Kgu;SOU$AqRS9pxr>0%5kY?>kAS;(0Ye_kqUf`F+jRDj@&??tAD zjc-mPl=!c=2#{?!qX#j{7I4{-IS|vxL`wJcrBRO57PSk2-zEP)$q1Cn}+JJKq64F zwS=Pe^Sr0zG8~-PNHnr9Li`y&!F_qu@NcDcN`e_I&%xA{A1?YeSJvSKnEtGS^Z<(l zbS^MMY--!?J{gXdW|RKZL`r(URwTx!%@ zj`F?dNj)lU?+XslE8WmR-40$oh~(cErMVD@J}&xBKU4@Q^2N1DY)g?vspoX{Yd?TP z)y6T$cP|qzLHi{CPLzB`tR$_T6%w7lcxd>|Osn+w=*yTPBd3f|?1~rZt4y)?@3SiO zwWms`;+9pVQ;_TOJP)KVbDENCN=#bl=BlY4=csU-97#3!xvB zmcJ#rD#li;XMyulu%&dyUx24?3Aw#)C1Jhx2)Tb;-qD@gXwVJfYlM_BcH02m%D(-j zr+?{S?S^u!7(8xM)<%{i)3_Bi82p|V0U209)6b%PQM63-esZC3(vTvE!C?*!gempd z+wQ;n66{%-B3t@hGhqW&9zw1He#1#+M!?)|=?x&mzYLedR)W|QJX5%$7JKq6lLn5!>vng(X9Y|OjU z1k8v6I$#`njw&B@9c#ul;MW4rkgbkYOl)~*fiCFS=tdI<*$Gg+O#YLjGI0STIS^&E z2y=weBus*6jc_tlGmi zGk<<5p~8GTDx?$d?1FMHCwN6)Wyre+vAOq{e#kOP)?d@DTgwoKe-TrxIq0QSv$b0B z5lC;;(Qt6w34Dxnu=KhNbjCmkhyhAEeH7=}E7*ej1Kvi*FV$_pp)(~N!=K;z&3({K z^>PIHQfkmE{E9!x>VcPbJp9ILde_G791hQq}bQ` zK{!CU;d=$|43(;rJ`%Xa_uaNAgKCSI*Ry#3)>sMSjGR6V=z*7ZkX^gFfz?yI`b(BL zCJ0^@jwVi7Byvi^T~JO))+Ci5Jp@)@TJ?=g&I>9_uJ&wVSmjmMBJ7+shQb@B4{fd~ z?wjItn8crle%9#264wA1x`H>D-p=t5l;m$OQpchBNngkN1sC0Cbz7>~HMqUJn(Z0T zGj*@KDw=)aK&I=%E58}TXcTFtf?lP}&Ca)i0pBGzUS{p@SJrAM80ho{cdt* zQnw3$ot-c&^8}c0A)IvZ2(ld|R6o%V8KW*<#yA&uCT#DSHL_A>SmSjQydGuywfc^e zriC)tx#?*~N2QOCPb&H|1fH`D+xlN(KjQMwv#n*P0>M@8p-ziX9nHAojpT#ko3nDw zkV+vLfhaa?sLVq@SY~eNXSLrXJ8w43lhw?rR!1;<`KhQ|GWhdhOf~dEz-H})^w@w( z(n9%z-w!Cw^1VzP@~xqpfaVdF{pg`9+NoC&h{d+Ov%XcG}DXGTXmb1Z_jVKx+W#2zmaV! zEos^x8JlDXNXuZ~p`|>g|By(AbLQf%5IEUuVgLG~WEXn6NuY*i&EC#d9i5=e^OF{R z=k3qx_sbkQ>nw^Nziq!dYWQB4ABa<13JeS$wr~vQtEp!)k`gt`2tL<^5DOXp%lhM? z$8lM6eVQ%V@J(|yp*=iz;T1No(NAU1kNKC z^A{fmg2ma}SVEU!O~N941b7IpA+d_j{exm`}v zF+{GcVOXjxtyq8QxyH8Wx%dA4zQErSXs~r{X*m+8=wUR<6w{t>Zfp3C8<&1E-Uc8naiv#`ShXDmGmF-QBiKy1LWDznj4fK474}l?< z+`;zXo9O%U&;6W#Q~=LkvSv#L7?Di1lh3#uHs%x`ki{xwmq@%6D=2Hz(Oo1estuOb zzBC4fr&Jh%NhytU|J{%`kZc7pZ5d@k?T~xuif3NyEozG9u}<~EHi~7^eF^2n!z$P! zR5PK+Dk-$ca1A#`j+B=U134)7`^pPUv?<*hcf;uiU7|j895Lq`&+^IwPRli z@fF17X;OSF3?Jm8i@6fnKaA z7ZWP}iB64>Ci2J^-Q#rz!(9C&{hkOmikkRu+0B^DS*`+fV0k>L9YW|ZrQ&Yf%Poc} z{!H8l%|7Gkey|*O z?OnU8c%WCYta{I#D2QJD%ZjbOW6epT(V{vMZU-rWI(mi~dlXg>H_>e+992Qs%g^c? zZfrap26zPYucz7!p%6tWt|4FG6@!1rO{kUNcPrq09>gAw@wHWbtp{cU$ZGLKU6h6& z;V(1g%=s6By>NWWQ(}dvx{G{sF|$|+LVsWWgrgE3g*URi6fWG@0Y-NQq z`qin@V~kS?Ow8?XHB3o^YIsexgzMRk4yvC;=}4W!LP{wa(zL=|en~IxGdkgp$k4j* z(OTk|I{*1YUPe{VC<-)GKj}cVja+NJ!I}tdW>;1rT=FdSy!D8N4~h|AomptOOd_{``*`5fUH0Zh_@#pQTW@TJ~lkN8?s>q@Oi zU9{6(XkDF&MGC~4;*Yzpd9X$&<=F7jsV(?TcJBcDK;0a~FxJ52v;JH}efX^kUGY~+ zlvh!nc;f(#Wn`f)_$wFBV)BVUl69DB!;o*C)}e&er-@1{T3$v`e-mm`^}p= z*C(aIQ-lTWAsBy|fe zrJ@RkpMJ2rtSHAiQO}RPdn(!X`o>T#P4rkn&|x^h^Ci#j=jV0Nd)}PwO~>!+ki8tb z!m^q+FCxrc?1P*oCxM1IdC@;koO?5upm>8{#Myx8f*f_8I0lL`*YRC(7}8Gj7Zt`m z2ob3*lz)1q}Kd1yeMz9=SO=`*|0m zWZuHV8`p~MiacukELbTetQ~btRoug$u!J?uE*oWii7LPB?d?$Cq`!^h)=#udlbQOL zt@Q(c4556XU*1TU>}J6UFK!@!jhgjXjTZqTVIlzJew}P##FRPn?%bZWl+G^62cz#F z%1$(}vG-p$dGPeL%QTxaZuP(~W32;BPhmcn^y63})IRl=p8B0< z={~2SuL#y3t#Fch4e1Oajpt15toC|LI&=ctF~u}*d!fuPgxV=#xE5|Y5`BIlkr*F& z16_K$Uv><>FuW>#ItvAg#a1;A6Ix#=UXa#h^uhkRzv10+VJ0208}jlF`dqKrM}L4% zQM`d8;^oF+y`eqozgT)@CSr)%Kb0KlAZe>GME%3rUGUuPwu4&!In<23zL+Khl`n& zlarJKoI2zp<>KXL=Hui0huzJFflJze`Tznd0T4l9Dgfl9)j=s@PVhV)Zgx@*PB1Ub z&PB?}$<55k%SFn;1wNA<)GGkyI^&<=Kovm%3=FWt^#5|h+&q8%qEzfWe@&|YNg8wW z{2!*6i-(mtX~Pu@@Q`+ulpYXA|(f6oAWS3v+304Av08t@VO zzem9#Odf77(3UlT0_(rVIKiwh_*MvPz&_Le9%AKWW(BF*04V=^!N2ZQK6Xw}4EU`7 zXAI0hv$KMk`M(VHp%vJV3Z{uc6Se^4lwDYUq+EY$aVmBP*QMsSWZ?WC+9 zdhjm)2-MfLm6s{6LCC~5uB0K(95~EV7^Xa$Yh0c_^K`$iPxx-fu-4z-b1+z>)`!Xp z_;hE!x~)5Wbtu%lUULt@@%HziSoQ6+YMz*={5I}!dglO?JQrka;^~{rKKPCA@60Cqk*cISEBd=Gp$z1K6RKuhFu3{rj~{k1d&9*Zi*0rL5;J(pk;*L+1^A z0j$oGrE9=1GOy8N$1sUPtNO+Q94*HLMK>qd)EkXOQv7>_Hb19h_MQkia68Ok=L7iC zhI9}4ozv3oka%v;1%806c?CNs3?P@w6W8JR#JoMlbe1|D^{SNu3o}Xba^$!S2@e-7 z8hHog6Tf;kwHFf%-=5XvjSmV7N0IB}C3D1FJrM%o?LweoTEDGGVRGVPh*Gw;szHdU zr>I=t+hT?cLrolU)OBWP(a^S8b)*;TyQ_X*j9kLcXBfRkf?*320U* z$7VOTWJS<*V#FAA`2d!X2^anE;Vi06_9Xg!MV4Q!U7BX-d0ZAJ`0!QWUCvU|S(^vn zeyul>99mHJ?BB+=p^A4|#lb##cmJM~tn&i80=s>37}W8~HxMurzpR*zzdAM~eAD6l z9?>?6occZLai5z}k+5REtSCT=n|tPt967lg4f!Q|jMsJBb6!**E`SL(V>RH<#mC+G z`id0zT}%*dak_y<%V8sE(Ro8pYkV`w7qR7Fjo4@}enQnBc8T9pznV=U$(GDruq*^< z^y@Jg9bYTXnQ13>!t0aHFFyb27l(GQNV9Mb;ID-x*&>1joeHbjN_Hc>o0c}Xsps=X zEX*InS&@6KW`s{)`<{8_H?_A+C(NCv-JO-PCZrcV7i@hmL~AVTw#$Y5piFBE%Owkb zeu)b+eTLe$X)J&xiC6n_Q-d+V8uHT)*!FmdmNwQSsdcJpM5TEXMY{0dedQa#v4Nts zM;?`z&2EP}5Kuc=#U^aBMA(v_WoWYW1fxZ-ukT}&OIR^yS|pq8g7TrOH;OUo=_>Vb zU;%3X?7ne2kU*=*d+I?cU8usPiTl~vcyDpv<(av1GO-uE!-3+yeQLq|{$cw&uqsX< z5jJ_|)MSp>#-uj{N_aVHU!ka^&aqv}+JCw3@Qs8}^ZqH;R-JcOdy}*JaPE6KZAF*L z13p53;0S)MS1Y*zBwr8yt5+v)5fzk>X?WP^%piGMB;FFdm`)IkAHYZsJOQ|m?XEwkdT6*(YHYDVLZTB zf()k3O%e+vht}o&i=%#|-7y5A-#^zoAFK1=mmM8%q64T5!b_<+M+jGrfiu)bnE080 zEV(ub;7{7T$-jn$=R!>=*%S%UlhHiA?hcJU()Z)#?VzooEka0`k;(;te>6ovr|7JDS3SPf}^UiDm@)Xw6&D_#59 zFwZ7b(2T5vbV+mPsMcNrmJYH*zO>;~Nx%3^5;`uU2)^WbuuhNOHFw#Zn>|cmYsA>Z2I|LNLR)HdxB8E08InoV+?*;)xfkQm= zo5jrH12iI1i|9b}8tVd_SUa9|ayH(9-yY#Zb5IvS+;QXX&)XZY8It!`5n3U4O8#E@ z{=J3c5c_2>ed5C$zzx{2nxj38WzwE{&Y%(pyimubDUa5bMH4AbHJX5PxCVS(iwbrH zxN5%v4YwgIdA9Pz1RXiaTthO$gQ3lqCz6pp^r=9w_<4;4mUvRRM^7Q&ph_VNwDXz(b3plSK?i^p! z5WV?y>}iIe2Yhk5y{O5N|4o}r$U;HAhkg;TB;*bi+0eb|veWv>>V#UW;|0c7NQ?V{ z@Ka4NdW@T@D7ymprhAL4#=LY;P=1jzSFyR64xw%UA0aCK$A;Wt;SFlBV8@T7;=^A? z#PIlH15)UElOcJMy}A-#^7R#$MI{Qmcv-Ob0*Dvc?tpA*pOUdG2`oR1?~`b%TTMYC zPw>raW@_^EBe*?7Kz{L}pBc>%U$zRD=7Em&{=^3>R&cfto$k%R(pf~fpiEkJf!mY;Dqj^IKqvjiKjb;f` zI7hyv+X91$3YxKh3y|J3U&&7WS<4|hNNf&U`xMPcO#1_`(F9$u8B#;^8ezk`Nc>(l zY^;Skg3(ttYWXVT`$`_LtV?bL6e1m_txl(Bx+{9pHJrm`1hXiW3C((RA{pYMlp`VhBM`p{Ie zJ~5I>{8o6kP9@5Z0Y;mCfGUJ-i7?`y-kgR-C}rH7tr(>BAjfZN&FNHMFLKarPfifzyVl;y`-D z=u1D`gRNh!*q_CFO2-4vrdX3+EsfBmuvdQaETE0`p1VAd=|Dh>7sERHeNfTTqWFaG0FLz_6q{m+HIA2vfv;fI(&$#>`{WYmWs^2aWg?7&mIbaqy=em=xsV2D)_yV?ufL z2v6k=K5BEqAy(#5Qkm2wT%0ezX$~(jo+n8@kR8_CsjKLE9%MHJ@_jH`eX}E zM@*h}oIN}GJ0aOlRM12XhlmDX1_A^^GD(Y=qTI@Lx<9b&k87CZFF189N^ti{8c_%y zE?X(`84^UvUy^?o{92OTQdq&S?*|ug6-(imAEO96K;Yl4x7IkmfQ}T)<-xpVT`a91#rou@>nx#AW`_>5Iow$;Dmk?GX2F9A^9YJ z?UQdUE|f1#U|;(<(HgI7cGUWOYsUezZ}E5i7j6A6WY10aL>W4sZ=8w3(A3vM5)*3RIZ3aY-mm&)I z({Z&u4xA6TqJOpwMSM%*w1M*+ldZHR?ocpRQ~5e)U8sDGHX|auLAr(L`kJL&r-c%P7{kFgME7Ikxf!1l`1U2)imi>L z@@S;!8|kPm?TnfuqWL-3i<)j7zU``#^oMB!9dKPw5pA#>Ub&^ES>(|Y1y_HcLh`R5 zxHnD&Oq`j-{_*iBrXW`E0}+wca`w|K_OS9UiV^;&mGBAEtdnizz1^BBoBCg%*4nb| zf`Il?@&{FWtMybep1Z|j-~o#I?QETFOqXkOG(uTgC;rWN?X0`%`b9)mPmsDimW@+S z@};T%EYZ3KZN=x}QfNHl0}d<~I*A#z(MZUITMYs~U%Z34DQL)$F;;)m%(t{iXA@xa z@vUes56Z7H-vu%X=w1cAU-l5ij%7DFTNa8lzTV6@)1r*v^See(@kZsY==57>frf@> zO{5SLF}+aR5WVKjL+RdLO2q(CqKKU&sEz4E89#iGAc@cI zG{QV#I7*&MrS|++{D^)jSeL8{^jVzGjgYtIyD%|n0a-1^Q>ggWd0&#ud0XuH4~spZ zNTAOLTIQbNlkqK*nR2^}e%^DSk_OO@%-cfOXg&R8_Djv#Vha~$aQFS#IEZI+4V>L3 zu31zzaFmGgV42!mMxo*KGDH3DVnwntVM21(7w|MME*52yd26Eh$a^YKVr&lq^{bi zr+(Jn zF96xcxDQ-MhovZEq$nd~UP|b8USGfPS|~TI0p8HWkpPGsiMlFprn&;I0>=BLPRb<4 zvc$&K&?miH_B&qDHx1k{Y8`?J19X=pv3%*v9-5f*>GG7Ow#KZ)BcNgLC*(H-Hp{z#}ti7a*nJ}Fh zi-aZ@ay25M{H!;dgQhk@Qr6TmT&JJ*F9TyBg4H8UI@El>qwPi(EpYwpsv>19XJL|E z1@n>o7wh0dDlJDl_|F}Xr9Y_(*aw~bfW}Eg4xVHpBB{Dn*kNnjXBR0>;}J*qEV9d| z-TC;+K5fY6I{_TGSL`)&>AtG-PIo>$G-FasKggBp+Hv9SE2;wO_9YcxdxZ$-CX*NF|(nU3i0I zJ3Qz_sbZO;#fg_l9?r+UdlTh=w@g;&4Sw3F;x&^L%lJwXH*ZCbsjb|?D;P>;r7v&+ zxr)c3UDT6UnhVueGnjWKa<{To2HbZANyFLZjmMJ4wiG~msKsLQ-{WF{f^+k7|QX6Qr|RLX1R_*<=Z<(x0JScl|@YTp@N0{E6Dh8BGzTQlYA5h()1tQ#uJ^ zC0ubqs~Y);3DP(ebPiu{3xHZtuHwdYtVQzLJ&i>_0@NY6lL8F~XDYW6^L4*`mSOnb ziEI*l``NkD5<5GuUvj|!U zS|1`p)CQyzssXm-8-U_*G}OH@(833Z-1k?$G|yE!Y7ETvzYV&5=YXcKw3JYHCm1GZ zvu4r;J#L|58%w!=BJPJ=nrFkHu77dbKQPP;`Qy>ZeHxgJh>M^qyWj)pYW)a9zC9QS zhjg}Z`M4~)#Wxfp<1DDmqv!faml`XSgf_R*1y`~9!86=^eWz!R86v+fzrW0KT+1&u ztaQhw7T&?%)UR~_qX5q49bBvO7o#|TKRy{ISnzNS9CV)6ZGxk>2Mr$$wufW zbFat~o8x9Ht(Ci5U&hHx$f)C?IR}oa>L*o`g%JxU#1DIv`D&4F&QaSZN0zzycSnS; zHzv@p$#j-igf|!-SjiTFpV5>80~+O`IyTR+Cas4}IbeYoGzy8zf1G@R`)GadzfHQI zl6zB?6*qcs z#4sX9#fs2S$K(7wD(bj2mifysrj>j`)jQP?<}r)+&)v<#_O4JaMSN%nS+HXRF3lT% z+q8(loZoO=M6%D+oyH#9?B}ovv!DaE7E<`+nT0gP&Gf}h=%KJb7eUfFU^)CgM~JiY zNPBn(Y=?f(L9Y2MZd^;Nl6ed_e?K2nJw4^6(|G zy{Qs$GV}3rkaF_i1{Wt-Cg1?~V}MU(q zUHsK!&PS1xO8JqJx8oFP9b7T5XRioWe znsQA%Q;Cu!<}sx<_Ah!5P8XooDgM?mAI;w>>V12e{7AKgL)E{C6G4uOI<@;OeCh4Y z<~69b6+Wj&GiPq%X@U!mz?-$nILvw9SbIZpbIuIl8P7ekeZQ$wL>?iLQA zx!e@*+@-{bV2)d@-Yyl#E9e;2iO+Vc{X%<9LVz2MZ!XahX!cI$J64F%2b)@xG}8V5iiJH0T>z4&e`#qSZ{}I zaVO%|OS|C$$Np&h!O2YOiU$6E=4uHk(b7R7BWkzpCQ19*f?*V>3r+pYpd-`Z#qAqf zF1&p5#=tk*)11Xrn(K+dQ=0FLMwisN61*9!%|#i|{j7T6(*L)uW(u4@Ry2xFWV|-n z&bg$h3g>J%xG=B}Z!9<{W}?7ZA#!QZ^ET^rz=}l#@}rBJNfy70-PNW2!J^SL z4imnpqUIBfn(Wyd^ZLoL8LhqxZyxElN*--^-(=E{Jn3=rB2XNPI=9!fnx`+rjJ`uc z>My<-IO?a}J1+6qOfWL?&D|sTao*py)zz0Cv4@cahgz5GbTc*0PshDAlhPnr_aNM- z`O5FhfC(WYS1h>kP?h*}J;&TT<`{UCjPu&#rXLywn9~bGmEaxmdkQ|7o%3BY&c>)( zkWtW?KRvhe=o{@R#fq9P2v@ny*&UCMQX(2&vlJkd%W{{~eEBifK-PCc6weG(6ycr* zsddF1qPxy@_GvwU-(L!zZJIwmpkn|PaSd?B4BUG7M6BWUF~%T_P(q!@Hqgd)4oAB) z1_3h8-^r7I!xA)22wq9F znS|3@C7CiY)qzOPTS@CQ)ttMm;38H0_aNIIM^ILzd5ydt1R2b6+dSK)hO54JhV*Ci zE?`fxy>}1`sB7%FWdkZOy8Z@KktrgPQU2h4tu&e7emt3HPQ;wa=STA6Ewa9+K}nNJ z15(3(B`4H0<6Boxd;UA0U1{n}KY4XV{1k-L8lDgN(A1qyz#}`1w|y*wVamh%EVaHx zyU95b+6T?>J2N#(IMeufZ0*|jls{_i5I`*gGN7sBg@aQ>Q2EED!>H!V?O1wmC=LV* zqn{t}hlrG~!Y9xQHd-)9PE>Fon`=&Q`+F3Jv_n97(q5A-)bk^%aFrXtj>^%F$*a8m zsvU`Aj9`bW(1$^XS;nJL?%(3s)W5cGcc$#RzU4PZebc3=4^*1?q6C{8xYL4R9}n#0 z#>BfKxq3*mkM9D^Zk;7x)ezIMERgLQdpA}c?Xk;Usb{vCicglKy>#GBtq{k3q)_}d zkc>K+~}g5_cDcOY{yI2 z%!mk62>N4B-Mb`=sN@Rg#=YFbwMZYYjXo5-8wx{s*r>p$5@G-OVaDj|N06L(SZvb=< zYdBc>eGdV^Vsr6vgU3iYz`aHs;4SyxE#E&=#Xtt306YL62oM4gC*foVCy>A*H5WH0 zGaDN_DHj;1_`uCgTs++1P!#Xqwb?=IVE_?GKAwNh0L6v@U~#y(*qJ#wz#YUqVAUU- z;Ns%u0B`yJ|LGvO2mtcmi{>F=V`F9J<>CZ`E4a7mpDlQ4uw&qFPcb*ozdxcb9H5E* z7uWw2?D*LKf*mb8-+!YZ-@o!_|JxPC%K^SvK9E@iSUdmkF)lE^^00w2!DE>JJ;n|O zaL|0j--@aKyCN4K_`cXcD3Sl~f?S;75E>6Bh#>+%0@mRXKs&Sm{FDdq-A?|6|Bgs7 zu!2)t7@S<-+N*z~vlJ)zQGkydghmIT2Vq13$N{{~+))5=0H{0`0FTPa$)^85IXVtj zR#1F202}IWZmcvK5DMO5Z)T4HcmTkA9L*K607(FVv-v6x-~#|~H9I5#tRVs1&A*ZW znUDaUX17#;GbHGD4gkLSA`RdO0Pr;%e+RfjLb9bd zuD^p1!s|gMf~qqhshfNCAZrOh!>^D`plmP5cu>$Ac&3IoWF{%dniPr&M3Mm+2cjT@ zqG?{pfV?&aK}$g~f^J?RV?mu#P;_VK+R&5J31Y9yE z3?!9|m#4xeF8F;rY01Ncq3&V%@xZJ1sGQi)Z*05@P|>}YH%c-Av9OS&%TM0k*BU0-)U zzy|zBKnN)XdDDX{orZWO0f!4<6%*TFjh^aOxnSToVXe9{F)=VO$TPz604igyh-r)B zZomxlLPi^(u{O{kAv`Rwijtf_KF_7o(xLXue>{7Gg@7g9K*OCS!rA;5 z+&2xex(R_{uOIM@0qHTU;yH{I>A{v8!b$nEd+rtMmEj}dqW~__w;VmaUKtYJS%49$ zbPvRbW;aQ;bzEZzT=-W>XduO^a*JmT4Q?#N?@hRF23RPEay&p!%ZGQHDWbs8c9T`f zwasutrpQ;hpo}_d^s-oIr*C9zX9e9ya{>9rXsf^c2HsXHIM8=PZl1?$!YFd@y1xf_ zw?w9sZ8{LM+Q)R$@`m4#`~-voWT3u@YR6+j?0pFE`b0SBU&wRo6asv8k9-ewB7%Ns z&C>(iwNM)Y9DQ)l!se%lPT--8rip7Hy5CP9nkDI(Q3CqNa07^b0%9p&X#`M0m)~oh zKyjfyP!$2Zrx8#A-NL~4`k_(8NO5xCx7_zGLpEd%WDZ2XToI!8({?w+UE~Xlgk;EY z8JQ?3QDfvX};GfG99>Q1MU%#^=rL{RMa$3bFC0^+uU@ zrVrxf-RcFPgb&y27x4~cc=Z^0SKR2Xd+FwU`vbFfCrawy{s?@2N9Fki6MOL(6);x; z`=J;pgz117|E|~x`&?h|%}Tr4zuVopg3IcFIvAz1N| z@5o@bf+@+E!1p&?NshVqs@o62rc8+tgb3JJL4^2~KV8u6peBVvlVLdh6*0K}19Uc`IWw{7g< zAD5^EOZB)zh_|Rjnm<^OUSS`WFiDB6IM0Y4Dpgm*-%Q{AU5!}3;s(1q;KL}xxs<`% z3RJ0>-lF$*sea$+U6;o|yUh61?31a2UJR#Z5z3f{3S3YLZ7UV2vbiEDnRI!(d7jmi zCY(vMoA=%WzOl}DBK?-*e}40RKZs(nY4kgxv?DJnJAM;cdzlFOQO&vSad5HI<~5>> zzc)wZb8F+ZbeH0fi;_KrU#U5^N+rNTgcHFP<%OolIhte%;u>@ff}`m3SB$@F=ULe4 z-GsKE1RhWof6ha*?s2a$%gx?Rlvo{2KJQ~tg}?u7;b0+8ea8UX&~Mt|-^`tT$U6Ce zg~OZ|rdnLp9LLx$h$U@z^=xt*6E~wPV&~~4wfmT!K2SAnD-xk?*P67WGLRxcnR5G@ zKbhBjhq`Pb;9(p@`A`TDZ_-#vLkd3SpD4Xu15)l;meis}v$~tflM&ss0M7ykb+w(+pe5YqsbK^OY&h8QJfKcs^@&;gTrsW>p7E zVjB1-%q-_gU{QKCm-#361D)XQEty<~IujiqzL|K%m#QU;S|7r|@7nO%CSQxpiuSqX z7l8zc$bt=3z5ZkvBPFYLr`O~{u_w%bipC*M_B3bBE!@L{*g z`|&IMY%7XXH}Y-fhyLsPvlNf>n2z<|wajP$`p8uNwADQFC27IJ`k&k~(`)G?QArk! zfQ8#>!x5Y{`;U}2@9r6#lqa**GzhFDAAxH8m2@2=nSOhVQavTBXV49@w{KS!LnY^d zQ+bxhwi}DvCEUCmkMWT8al7%GfTF`A8{uBJ-SMO4xGDm|tzPOq^#{Nu)D??>NJ`*+ zj_B|@UU!eEBu*Y3e06m{-_+-RJYoTvdyzKuD?3NnxEspk7_0)UEnLiNtDEEX0$@O1 z!6+`qpsAHK-nY-F>zw(_VHq1qK`6wF!{w0%zFVzly*}Je_*pQ>Y|HcMc{-hL)Fa$q z$A5ffNvwMQY?c{ekuE5^_!i;fTMR}wx? zwc85+PKV~58!@;~nEt-$naTIB(d5A4!5W30jB{76EKTvDsl^5Vl?3|8ORJmA@4VRl zx5fR;?FP#SK^lHrnm))UwPHDA#*G#|!!JVx8IRP77L{7*F4LZ$ zjknSMnd0W8qq%S=b2a&QbrwG@Dr@IcY2P4Rh4gh?5wplK@vn8lrrQ(sy2_1Sw+|*? zA+}?b!vKs2%Dc}@Ke78xl6yhr^WRw@E1iqTt)^N%PqJCvc!#p9TdNlq{^ZL2lKULw zI_bI74*$$gvZiU|Sh9L;txf|JDAHh(CVke|(GFH;fmc3ecye{GFCi|>4i*-uRhWfE zs`}E+gSVeX#Pyo9O$5=@h&e|Ud?AFPJw{uakS~wdZ)I5Kg@}UV$l~JXy207i=SnjI z9apK)+cHjgUcRg{-GqR%WnQtqTFwR!%O5m>ns*bY=wqIg{+XadDhUb*qxQWTv&>NU zr=Nv`G>dKhR%U{}b58yRg1A`OpGP&vI1^@#sLJczs6xK?=z>w=SebepP<%q<;EUo| zuE~JehI8G|7SlGQT&#$JRg>4}OlXwP<5XYjUvID^GIB-Y0v<&%3diqL)9V=Bb#$oK zxmgc~%8#GoiKtXmgMTM53ZCQkSxuO_U3e&q_lVpN zmlXAk8A~$8ue6rMM|OXlN6QF(ccAQ!B#H^H^PNaX3Pd0!^-HqVHx$g|-8K+1(>!e_szHfP`; zZ$#ImFGwCkS^X%_Y?Um>mDSxpPygEHOCD~8Z>urIO5vL^0hG8fwNm(n)uuUP^tr+o zlS;Lu3;xlEfqC5-DBcFmZAapf^FE(|i2AM0`nkkq;i{3TVR*ajxy*ayKq}7T-p)%+ zt0a2o*L`OLCDE@SX3Uk5oDc~`l8;}NC@B~x&_za*CQ|QF1o_Q1X6K8uFKTYqc!V}M z*5mMuobZRo#T29Jk5kB@Tv@h4F1l#O3H0Wpkbe`GhB_$h02Ky|@h)&f3%+k1jk(Iu z^*bbp;1TaIx1(m2we^eUrQ#kybX3{jBzt|iOoCKCN-yr-(!|@6t!(8|SE$I4^o+i` zQtBw@Hs$+*B@#B+WjU7NwhVE}k0zX_P7k4X`I?3k#S`q05pV;Gv@mtdVtl(0E@ zG^l>(a4)f^;vYKJBAFWwGp83Kfl8E#mfC8CB8_DG0u;cK^@4`0ck)fa*kWlO{i$$N+>3VZ|< zw13y3oExW(8_Xzr+qoK*OFzl23gpTpO=+qJIb0PYdC*YO9Igx#!_LT7O2TB${B=mrr-E?wNY|d+wfvImp@xOq|74 z9&NBg4J#8he%n86v>)S^1P8h@BcMsdG)#o;aTMkxLIl;`_deUm^s27GFS^y#dN`mi zZM)EFwzJ{A%|-W&+<5n{>E&(2a!q?P=gUfFe*h*=dNqYnjmEYg&HH+gcFcdcR-o@u z#!r1XjP<8%yZ_wko?9bEQH%6Ph3xu@7MZ*|l|wLy^MqaR&j!cbi{e*S;!y&qxf9zx ztptrXDdrzfQsYa)*in?HgL;c8T^uCpmJ$Ska-VTW3cIB?VXA-4JdxrhJVa9T$X^RKHpE?sbKD^M9)MMxs%kG>pAf!Qq-t~srXHf6x(WIUD zm$LUe8FXDw6e6&sFfV28wv8w3WMz-1Jyjf^knpz>M?$Sod*>eDclWu_dd-$OUbP&d z+U72Y4%}JYqN;UGz{=ovm+Ojd+t)_|W82%=?D{%Xd#`mXGSyMFp2jhRt2(D}mO9nd zx#fIREh|5CzxnL1OHMgpv@=jp#2Z74#@$bD)uJ#dZs}{w>&Fmm1Sb1EyV+lwaHq)9 zD4_m{&+NbjM!Pp@7)%PXeO%A*PCxio{_~?XW@N6o7Z=sRryi#wkGl%h3*EvIU|Y|a zh7#;zv-C69(gNre*$O``)juqxt6XQEgN~fT!&U$$Ou{!->!bc-Od17SsOB|Rf0gUT zvgK0Aj^>{zpKK(-SGE?53>mZa^t$o#QrUQnidl$Ui@Z$XA{x#2c>W7LjV7r9cca*6 z8}rtzeez4oyQ!sDTaxRx`=JgBV0C=$#*te~L~yK>7M0ITMF(?IUyoU zxo-Ng7)h7w;B~VA;^S0uzxq^n0*t#3>NtCJ$=pwSfFTr9w6;Kxh4s#wi zZq$?3-)Ci!+Hm`^WDVT&servp-=GYiT6j-16F+dn>*g!6d!4gAq}PAmR!8&m^psVW zYn|6sV@Z8_Ar9tDgJj4OWcab2M5{SYFSX9DXtrLbqun5)Ilp>M!AlvXGri{yfw-@T z<@{;!wxx*lW8U=-=_xHeZ(=?_;P-Ub(FOdL_qqBQ$Wt%Nn-+SOS>hty;)2BR_ z1C!-^^5WMeYq5@j^i#j&?30-~wQ*!IDf_ti7;*^xLs|-*6HT^qt3Y>d>hhg>A}B$raN$=MA%?7xslUbDc38#Y-{!41#9ItF%qJaX<9X3N~jB6Z!N=x;cWT zWsMEBOg1TX=bMN-o%MiRv#X4a@#TXw78X-e$m_I%2oFjM3lc6!>L^jfX03Oj&JWA* zFvXw7ZB4{|gO~Zn>Mtx^W6=~(ktv7`3k}XpI0SuB2c_w%@sgi#3U3s)|% zUlC^BH0;gC&gpimu&bfM3A{fjZEg1yTu(uH^RKhKLYwI#)Yt%-meVQw#7`}U*-k|% zo|$V?2RgO>>{(_$EC`ci8XZ?Q8QT zQW%$^yuOj~Xc;pF-rjOUR-ISLjlAYQu~H$k#)jh0bSXq7cW|w4C;` zr!s3c!-Kil69ymP64)9^C9K|g5c(zm+H4rE-|N@aVMqS3Q~`o{wr`5h?*}f%5-?|D zxbirY{37X-8VWj&VTUPRqi-xP-laUZQ;a6zT>hYf?c|@qJN~43caSvv zBSZJaIXVBSt`Xu(nIxON6bd_R$b?x=mQd6myV+%XS@%TX&Mzg5Y5|!gh!~p<&8<0> zXJJ@dqi394vB7kkMEdVxPI*J~e9g3%IPkT-rNQya9KaxwLGcNTlU26^w!+r%l3)Z4 zv%aY|Wb5CX$&j0c=Cz~e+*UBwSlH7U%jariQt3||I;oCZ)0$Dz=@BTUn^kiDn;592 zAF`on&ZB98*WH!ZEla}62gljQ{CdqcRh7*;)+{YrXw-8PqJl`vC27sd3KN{E#Fv>?QztZR`YjW5Z^Ik`=vZ2_$7KPKQi1@V$ELSE?u;V zo`@S0#yYXnV>2FKTKs|yZqr1J1cD9)ZC=}~sT1gc=>|3yX~te|;b8gL%q*+&YxEx& zLn(^_9v{V9V;`^fFI{q84_s*O8_}LR6Ik6!e+Yx9zRO!=9@# zLw5Us=K2KVl=v#*(XQh*=C%ec?kb!HVPy_*xVj$t{AE9NTLs?W*#oT-$jPKRSKy2{(fluvyJ=w^E`!pz)^cdp>LK+=Y9YZYBkPJs&2OX3J3=g zA?;@m>t5A5RVaCfPUM9qRe8?gpw^0tX{G!Clo0mpEqVI{%c4n|=21H*$r2fMdt`Iw z2G8% zo#vsr#nKYeFmlm-P+tETl+cSvt|qb{*4ZKi!giTO-xOCZZxYH2Y_)d$g99Ov~Zl84APpnOUtc@Dr#Ec7BjWk(< z+8GG0Z<*K^o}z*IjgR!)UMVFu2X`&Z)Sa|y(#k$F*Vp-?Z8rtfn|f$a9^ejjD^2W> z5VO!fpYLWV9^RaZ%gKL+h*K%I89?<{`@KpvV^#w-?h;JB(4^^Xs=DNwrlh0*%sCcz z?OKEsBdIpt?3K;Vu9RH-X-tzV4Z%>{BL&}QVG)b7IYh$PvHN`i{381V>IOR0XuPX% zXFnA#n$*%jj<#ySa};wod?6l~2#!-+YMfjKg1x&+#aEwU!GI}0(AlA6h8?Xs6{X?w zr@Aecn&4Og%SXTyIyMMPOv|`a zO@-fKoEl(vN!{-3cXI5T-djG#jv*g5#bLPg)KZ12zrpV3vTY08~9P> zNe&L@44Ub<>RXN86rHx7#sIZNS!KIjOp5A*bwb%wK}_>S7RE`-zdRI1v#4#3(|c-z zl2*jovps^>m_C)5?Aqi`cxGNe!viDr>4^-#;-q|yAQKp?fW!v#mf7&< z+<{g;PUK_CUU$3i7;7%01R*g!<-!q1q0Y~X2v&x(*UHkb8uxq|D_O+x9VR%nLd6lX z5#HZh1QJKowJ5g?osI0O!cxh;InVJ95~p~n_h>omjG1;{U5Bqk62Im2xKbyru%DuQ zkh1tnyf{cPSQ`sLUvLim1)Juys4}g%6ETkeN)tpM7}e@XUG2aEg(~*?%~Z}(@T-jL z;HYR z7(W9i)HS=_ip7`sJ~&SC7$y4o5|H}?mifiXN1Teiy=&;Pg==*Bf(M!w=)o18jSD$+Um{)RRp~ZwROnZyH0Az&IL>_` zkxah#FLLHOC?&rrfEfPVw|*0j@XK5Kt?RfF8XarIBV-!bwnYzhheH$hu1)N^Gr|E< z#HE95uIbFK#upA(jhODrg$&~u!R;JQ%jEmAK6OOD+lLb85o|upIFrxB#pD&MjOAi^ z7UyS<#ET|kHx>Ob4#T9Ai51T0@(2x&B?&!~yBA8<9xil|1^x-`RB(TqU*Ga;qK7(0 z{nF5`Ajnh4VOdF23oTOY`H57uz*ACM=ud+i5;3)@8@DjHzDb22!CL%AFIvP{HML1z zQiw?lopR?$xJj@0U04OSaUFZce5EW8BUD5`T$mL*>V$0=x!w~oZCJTC#4qMaSRT7~tiR6IlD|@_V037>SejdV zuaYl_bPX`Y#b0DCS0;A0EDDv8)=jOV8BACE%$Ewd|9^#D2UJwY*N^P*mm;WuC>mh} zQ4rDB_7w|61QZ4AAYGb*bXbZ;*eFV(B8FfbORz+ZpfPI1AXpG%#Tpe01POK&qETb4 z$#>uGVwSf#=i_kB&i>}!DR=JNd2i3XcbZfuN9WZxILlYJzbJqIa{^-%IrP#|E7vBI z#@38uzdHP6=k|A;ye!SU;O?Gn^<|r^CjE49UaRld3+8UFnsUwiO~JN&vgZ-I_P))J z!-p}B17)`I>o3N+2VC5{b8^s@_UHrdRtxPSoUd7iS9y$1?VI&{Tl0~P#aqTy0jo19#A8rRc+G(V+ z&n&9CA2&gHf8;6Er(I{<9)D_5c?l8M_RFbfR!jI$o^4TW!G0A_zPTK~rE#Rq$#aFl zBh4FnE$=`1@vl*1bE#|fmxsP#-yXM)`89t}`RNf=FW#^H;Z@uY>jCbY&kYG55VW)> zQmi^5tr;*G2`S!{L- zPyc+&yFqcyz8__&KK+f5mBhW@`?&Q~!JMC$?Q^pZ&DoyrQ*?CextxnR8`z~oH&w4U zR~)}VE1tFbxj)Za6tl7*Gd^KM>3|ozf{xVf{pv#d=Q|?X8`|$BKCiBhKJ(4u+iu3+ z9`EJ-*Typct_j|ye4oC()~1|ptf^SBFEVVsf$Lqv6#x5qHV%`+q6}3b^2^h_GdwOd zx(o|9YxJE_cpY_{i>|lTE_-<9YV(qlCHGisU){N}w^Jv?`Fg5#K)*N2D1yr~WFc|3Cd%G;j{o&~MhhJmls z$6jbVyf02q_;^NaED`xDyIj69)zG3RC+ZmSK`v#vl9F{iW>c)Qi zH}xrONv!wX_NZ>jiQawI8twSzk3-vf+8XQ%&RrZoXtz0F2dVR@jSzR0r1(c%88z}rDjul%$4=tp;t#eROY@xb__CV2;6zAin+ z2RJLX$Fse!<;R@4R&4)M@`=6`dz({@wmELv&%-Cm0ZXFoV_-~0BN`Iq|L z+88!^>eeep2R{w58nNLs<@RYmC2V+Q@^)SA$J0`h)`tiVck<<5m@aKn9dxaW@BPc4 z#{#^HcSZm8$?Kr!)6V_SdtvyJJ+sLMN@nlLJm2}K_*LFZS!oBVXe&df;>nl{Hr@QZ~m^ZHY+aptsHNSuKscZ43ZR;;*%Ep$R zV!qw|d;G}4;X;$k?6i%cwI}vwwrzdhe(F{J&Y1eGKQ1q-ZnI68Xqo1*e#)}_g>84< zOfs;(+odRf`KbD+KL@rO(?;p{PQ6yPm95HLGVXzWV14rnZ)5+}W-cdVY7d{Nd-rw3 zPYEjQ7_K~b&fD|HFAtYpzVU_o$vy`j6}#6jNPXz$v(S8S6VR@9L8;g@RGV<60-o zTzKh^RYpN?y3cucT$#GtDrv{Ox>f7kNEFd?VzJk)fMsPuzdGlf-*b1(jtcr^{mMc2 z{tlZgf3iB|-MYBPu@Sdo*SsH{V(@$VvjmUyHy8FFDLuN^yY}5Tge#K(T4LM zHWpB`=Wm^G;?;vO`!4&Y8y9sye`nR0iN}9U9RFS23bLWBl;0Op>1uj;a_zAk7ys{< zPv8CYS>b|FQH9}KqWyPN-*zl-*w^$=*T$WDF5)Rx$P(AY$y`l5XL!z->F+YuZz|q9 z*q{$SAeSZL`SIYHGI4;cY9P*E0iG#@x2y<{DFX1Gx2$0R-dqkoENyWBhVKAybG)p@ z0UMtLaQ6yXF+O<`z&S;-k^OM26&i{!l*?9P`(DVYa>)+al786C4?y-LP@eKbgDTrk z%5wbh`~U!ptToKXZ6OBn;Wk50zP{9m90od1(fx?vPnm zKJi1#j0_k^n-V8;!QTa-LIZ}xOdyKJl`~OKTo#D>b>Z-F5%3Pu0DZv|2v460NPQ5p zGp7iX;eqin%D4=07US{VnJ5xR2O|r7dL}YAAbC7D9QDJCg3wg_Oc%Z}6Mc*=f&umk zM{+YprxmzNFc^*P_OF~t3Qq}!x%3Eyb`3+24fr5oc?gQa8$)4GB_Rj~Md95cXcmT) z>z3F)6!pfZL!smw3O!VZAzOSX6q$EX;IpB?23_{VZege|z840i_%I;4DPns z44LBEK;V8EhNj{82&f2#Sy+gf#;59tkrFT&f+$=Sj_eE=0yl&s7jO;#Uj&L0g*rC^ zIf2g=fxnJGBMlfDUyeW-;^(+oC=QR9g-m@Jt#{wV_?QgwIzz3yx%PHJ@c!0#@@ccc zba-o18gDb*^y!ceNAz&F6(w#PiCnR966#hN7>T-y&R!8w$WZ)@jYe_<_$-K3f8y

BaoM3{FJpxb_2TpM-Ye>{K9XNkXf!M;hE(S(uDWgS365M$U-^ z7fEPQomYOU+)0C|N2Z;n1`$UFd51(#OD&B!GC{Lq8U#cGS=OHG(x5>S+R~hKtAVfmE(0g{hH(R@@n}(aQLg`g=m!q)NyV<&z;QkW8R66{WMmEy0rI2Ods&WeDp9h?XJw(O z&|y{JQjt~N88b{&075(eZJB6_r8 z|FO7LIL%OWh(Xj8$KlViMCDW>8yPs?;=Nh0of2}8nYG4P(BL2{DjyA5sKig~pN;Hr z_iWUkq9mP(yQRY~R?Do==sT^@>?C|78@a4bL56ms8g@(x1TJZb#uhoq3CU@gzzQYm z3wkY%Ymhq2m!u0;+l5yDXqMKPgo-R=j*jE~oh?PLDbcYTz zIVn?_7@rJR%F^KfE861W{*g)ISIDGwJqL{h|5eL*DA8aDLo%d5@Gb;7m>>o_n+*3$ ziSdk7#>$;MM^FUGlN1oBNpSh6C=QIa#RBAED3ByX3I#1d6U8Fz-EvKl089T`T_glB zv_82a0m0KWUaKi`9EDpoMHa4l5c1Rn3XsxLO%X1Z#WyuY8k~QfRcZq9aG0kllDvS= zXp5u*+kB=bASfQke};UKASf7Ir7rO>7~_Q^#(}X9QkPhU!R6`_WG=(67b2mzf&&qW zfAVCxiTFwJ0t2)2S%gMd({Rv;f4X&qfY&ZUoDEM9qIO8CDW1WtnriXJ3B77~C=l|Y zTT-;&5?+#K@lvspBEf`8DhZ0jH}esX2+3Y@zH4OFodsW&}Np!HhefJ3hp?mxy%iyJ_< zH%g{gsr!86e=Q4CeHbgwt zb=xC21?YwzMo}DYDnf%)(iH)EmIvb`X@e7Yvn~b!3=nS686!A>6@%_{=>X%!C!|go zPtdeRzN!z}41@}}DyB0brvUYrVvuW4ib1G>-s12qsmIGJ=+2l5`s0cJV20oZsU&&W zo%$FL!GWCz%|k$*L|Oz0i_(*VLf}*qwIz6#5RXUkuVbH!m>`vm00A5lRR$ukZW3OB z5<>$!w4etP1p)55(dz_~5=zA{P^5HU5r9ee5MY$}IHEH-kUxO>Gl9Ft z^+pXFP%14*o+utFIt@a5JgYxw&{jQOfglBylo@0wT_-_c^wwPfO_J(@K(S&}Pv^l1 zv_73cf3P?zt(_+cIK}i#4%lExgFvTHNR|XJL25+7$|$6R20A!JI}cDrK;VxUv7$R_ zV5Z3bz*vc}0@ltYS9diH}PAgY#?i~H|iO&38iAWDLfq-2eO4z8Ngqhl$3 zUO``44Besq@?@3fm?a5DQ0UEA!BTol!ov0S(vDdcf_No^=G1RoohQQaQpF@y1h0M} z=}gFrmuGcu5OSGH&wr9)1@-X*lpWicWI)uCH3m#y3JMnPp^_77`F~&rqo=oaEX_%c z3Op`=3QGnEq11#v2Eo=6I)P)!e|MNl{gfl>uauAi^`Ip)0gRVQMl>_xL#VC<0b`^) zhXRceUk^LcQ7Q#I6-z*PNS8{1q8U!A=@bK+E^QDVPsR7#PMtsqx!yz=uw0^KMEQ4! zAC{94!vH%m!xBqPEBvCsN^Lq|ygnU}NhQPcobJ|EuRrW#PI|yl0tx?;!3ZRyCu%r| zqz4u-a(WXH&l1TFgP%lHuu{@a!1hZ;2+|T?(mP28%&qu3C&9q@OEG<$0s)%Z!w%;E zLHzK9skff6!Soafbf43k2`Ga^)8S_Y8e;q<17w&^r)&^Z1EE5?#Q^&cu`*y)^coaX z4M;l?@28u$2K86*5QLhNqJ)<%&{Xl=%O`nu3VZ`KQ-6bW0;5>3u?l7k0|ObOAiO*U z-fPSl!NY?ZBY1JtSekZ||NkUma<~;RLm8Q_%t?=(Z2|^|Rgfl*hK^p7yiNWOE(41_ delta 39573 zcmZttWl$VZ+cs)5!QC~uyTc3`EV#S72e;sZyW8L%+}#2McPGK!-6hzU`+mM%yWVHN z|GMj1z51%|Rn@hQI(x7eE3*NsZWkXg+qj3%fefP>esr6xQibt&mY*e?Wt;s=_zIHJ^J1rIFZWV%YX^v(pGl6iw=M zkDGi3iYV6KcRhW$6dnBw&2g-%N=C`wgX4SJKfv~=BG9N~?gQ{+<40omPc7Nf&K{nk z^Htlbo;6xqtMJtqYNhXHbUjkzu_Z)cNe3YysKkR!`Xl2dZqcdhZF>F-sXwE`SlNVI zSk@5mu_7X=a8D@Di3NMO({GW~4xMY<f+6%GTH$6`#ey}urn845~$=Ez_9}u zF>;!+TFIe5NgIAkv7&5rAe}kvt)i-gZxyG3DMe!F-fr@x`_@GA;Zbctxrzejywe1t zK9bl_=7^RV+b5LTtFTfdb)e#XUAzdSm-9F@L^BQlrJ9GC(Qo{%CvL4-(9z8&kM{WD zFmZIl>CnN}e6)g)KVx4pkj(y#ay*XHw?bIJqu)SjoxIbdcJ20QoGv5qPL1ogxSwYk zTKER3h;zpSTC>RcMjQ`^=b9kc1==d$7ce0j?ppmx?F_E%a>xb03MmS7pB63+sB;#R z(PWu=rxhZvIWZ20&o=eZ!K$g>zs7e+xp@BpNpCEM@x2p5Ul0@eO-B*x!#BTBGYqYX z`n~9=X`bzjyrcxXhJNk>KYaS>ih7iK`TTU#G65k8gs(b+w8V^yFRXVK8m)_66kKv?!no&c14BS`*}jdznkbHS^)` zeTxmIDi0y}Df4S1-~G7y~z45fi5C=mnpW9R9VG)B-EUlHbPhN3^3;ZP32d&kp&77O`HBKPY-Xq1K8Y;Uv(#SF6m@x3__z9fS{wFlOg=2*gt zv;<+45~|;&vzb|XlKqpvRSJM?(bcTq zq&W)|cTqWu8WFN6b~9G1b&c*_oh!wQ?(RmH{--kh*=;s$QkdjhWW!Gq(Y&ueMM^vB zp##+818F{CLu;^6(B8qo`(7^F*_V~_OBs280^2n7p`43MQFT)u zE#3)|;3}e#@~VVO-!f=&*L8UW(18=(h6?)`JZOGa8SP}MfJ{K&YVJ_AU@qQBYekDR=a&{cSS@9s_nM=hO>pnzi@Qr=Oj%rqH zILc7uWXhC8!Jt1kv6&Y+L`?PCDt)8ZibYTB#vYuvbc_rgvQ9GUKVC48B*Gu?hp*6n z_gDcObiKl^$&f8I6BCE2Bm(0It39_jI!sb}Oo_+xr_73tIq#FBVAQWCs!otEmyw`f zn5ZmQvC%|cAd^1@l)GNAVY1T26)h~+;jg`Usp$|aF)@;qI)!^(`;z?Oh$&X zN7fXN9E`he=%>+nLX9K}B8?|duphIZ9i|vKTxINcT|bR=+6y$|E?p(@?0uT+cZ;As zgKyXw^8L$^(VM0@NU2C=39|#(LWaMgQsSDXNC1b(Q8;)Ry#a>EpFfd41s_MPUt$}u zdx(M{DODu&sT>@ooKf64cDhzFDVE2o0Uv)4IgJ&9ku^y@d!_QpM3rY7?qoqoA<)O* z&Bsu)s2!4R9F=VE<*mdWdArZN4lH=E72OWqe7R?Ml|dLy+(y}mYi{w;3 zHCRpK^rH{;HMW5UCxT;*bGXg_zKz^qxXUh;qC!<<-@fI+OHr#YJP)?pvT1J_@;q7F z21%EUQ8|Z+Jra5WVZV!huYKRXDwtmMyQ2IX_+puk;##u86RDxAtcmtb_o`jmmn)B- zRI`!V49Wp<(~MjqB0kQM>?Y%-%B24`b}yQH59TQP>JK99>PyWV$i;Pv;;Hi!xVc0^ zAOBjCHY`#>Xe0`!qn?H|clK6-xQJ!u!L_h_AkYk%nDgQ_wMRlZ2<5?ns=!_5m@#xG zl0vwh7KL@EUi0xGRYlU&k|tb^)FQP8k;0_m+X=?C5PaP&z7Id*9(Q6?k5eB z0eb&l)>W3bU7%3ynwqG7U1>WUIMsy)M+Ovme@)~K$FTY=pXxy^ooGnA2pa3i5fB&0 zPp~ND2VI;aJZ61UZd z40Il6W<-HhpTe})}Ts$nf{a< zEReCZQP<;c9sLEG!h~am9^b|ZT`Nj4I5TbH+4e2Mn9`2wrP-|h8<5f_DYNV<@kXj3 z!m*)jA~}c@R7gG8MwT(huEC}*Ba$jXAC}<>bW!vT2=61=HFMIc!)wcXx^i?gO z$pohXL31>04EFm5qHMzB{--JqEzvMyMocYN&GxIa^d+iZi=@s8NZMP)DFzv;DI=Poio6_8OT{=xXtD1&iI zc%~ykl%&KPwh$S}$aZI~H&jViAvR}5aD~KjAL}$%&o8G@y)QtmcYs6e5g~Lmb{fvZla$~`3;dz-z z{Ez;2WE#GAg}RdC>by5TjFeG;C|BD(yKrHm1qsDKR03?1g{QJ zXk4ghK#GW&Y>Le;DvcFzBuU_;y|B}~r`0ci%!~?xoK;}|!hGJHQs?S{k3ZN*yxCjX z-SpiPi>u-$(`kRitN6l1QUa^)my4Y(gsseQlUjK$d!u&t@lr~s)4HGNaMHd@ZP?4J z%_o6b0fqupbJrW8WYb{MtIbz1(f{Qr zh{P6V1g+B4$DC%Sf;gtm&U=SB#G2jL-vAF23O@W&iZ8imwWdHoC%D@4$-4`CbD5I` z!kIwtDaYdt$T6uq@ku0}MCb4w$1$XCQ{Qi3*(JM*5p1IXv!@z*Ol=Ip6ReeO5qXO7 z_@-&0-7O3+8W~F9M9WZ+qFrK~?)lNBx=vi5I=Ha89gV_;<3rfY?#mr2gs%=Yluf^n zf{BRQr58VM4)VNlW8Ie!HVWXU>iRt*989kdsrTIJ)!W@R+cLIyQy7w z=(GUMsUORS*|F}2Fs$Vy?|D@s3C6mcav)_y{XKs6Goak%qlb|0(J<^=lu!1@Oz`lZ zju=x7u^G0a!USd+8qmY`zwH?qss_GdA2LbtX$l@ zkXc$lXmSNL4#a^DKn~B%4Ppgyb3jt*0Gx1KoIqAiK8T4m02{LPpDGtSkd>Dk2q^>s zs2~A!0CZR`j(>AOmO%jO|DMCKbFp&p@@Z&y}G;%N1d2{>^O0*Qc)7TZPG#%@p2sO~;BB zLU3R)(5KicE2=VY#s3A$z+>qWdpliIVhRFRsB)Ds9 z?~U9{=+{y2c+HpHwfm6;IUtnWfZ{5-t5P+J%MmJYDZO;Scwi`-T!Sqr3iVc!(Z6GDw9EM)fIyruq2^l512laORBXe5$Kq)au{w zL6WQCf{W3Z=b#L0+O+&jodW@Oi$BR%FD9FAiwj$ERD`fmlMnX=HM9je=6ePHv?gM) zIeixz(w#$xEg2;x0)<$#S+<#s8{ja67rZPfVXV=T$dHJk_0YrOxYx zd{=DW3hs!`h;uNWtn5mnnX@{wZCC4Tr{CzQhBm47k1VV^*G%;N;nDFgwCp@Tmtc=l z@a8jSFSlpe1}#yK#!d*9w0pS7@k~5*z9@#d=9nLT7sQ4%>eelJZtLA z)kE_eFX|fc%)ln*Fpw+Q(cJy|;17bPndAlEiHoP5-9PM%yBP}Fdv`rw_quJp;mW0P zk)InkqCr~xQt?o2*;)eLsWK^2+Z-6Qg>$oYBQ~z!vt)=0@oAN@&$U(mEE>_W>g-Ap z_vzS{sDX8Wtx}j%%YN3s`oP)+qP-B0_(9Lc%Zw1@Ev#|airny(Wxll~PD!T8QrOR$ zueWJSZ-5`-UA&&=kxdWsD*7oZxkOuePw($5+JU>woOZ+8dASf3OizAC$jl@G^<3%rA4j>*T(wpaA8z=4cKOl>fa^?PVIP*G)9wJ^wgc6;+Tu)LmTRglvB z+*a7@-zK5v{%YkNZh0NKGiLC4D?3HDbh*r!O0YdlkO0&?Jq~b2lT)B~Y<|_Xelts8 zp@4niTvgnW6#t8iE|Pf0O@JMR2%fDCsLWhzt_7WvD!i?rODe;PkWcK)^+Z5Z`{)n@ zUGvNiIa;y~c2%{Q6$7v!xST96 zq<|TQ8vl0+zWM-Cj!vlDgQ^UfCjP;+xp8>-p>6d_E()xlG(- z_YZZY^NgJEK|TwzG2nb@SPxU(6slT~T}W*fVvv>mq`Ylsm66D$(^k#{Qf6gUwv2-h zu&owII93Kzo_ihTRg}V=J;2nnEb7Qz^af&$S5(z%01n5@FzvzhyoBD_-*n9X#8^2z z8V{S&(s=4{jJMhRnjt{p!PrazK;XHj04dh72ubzG1V8$J*!;-!WI5kR9iKO1RRVjt z|9z`zheh3Aq1rG`bf!ron8pASz>**TuvyK@hLr$sUlT%T_!fzC7&(2)soUsTKF$)t zs4V!@hmMJ=9MN9&uBS8YZG*(rZ3!DqLkCc{JWgz>y$nvY)NR+r`BeQ*KEeLZ) zORLHSCI^5h^ic8qe&QC-==2GqBIB-gLzCqC(mU>Kxl-0Q<`rDKLnn*mI!u_M!Ek#= z3qyhT;#;o=|x<{CF>igp|%pBB#r? zM@K(`JgTw4ts)%j5fLIEhvaRv^`uF zWy5j;9Ep?Ys#1Z{yA`XH7n!&*MAyW}rao6$I-Hcm1oskNGHK|*rSK+KBPEQCKv5F` zV#sqUiDYIfb(&}rHeG{9$`n1#vCMfFRg&v(Sa3$U=>`Wl+mtliBG?m|IF!5cX&C&g zb?z6CsEDuA_1V%}WiDV#?`xjF1Vb?1q-t(s?4HK~@vf|Np(61;)@`dxyvJ`TpNOC5 zqB6aBGW1sqZWr1ljH-B3%`Nxj9I!xYX5Shs)gARLv-H_1b9BSisLZ!>k79~)`O7Um zh_uXpCBjs^&jhD<>y%coeZ}k9{Rx;9O6R<4G`PBIMVXg85MhC$cN(B}J`e)=5} zw9Gu}XANsRAf92dlsAaRL|PLL0N|nZhV~v5{%S1%$m>^86t?q-KwSmNinD)n^Tb!k zoXp^V)plS|9T8VHNqBf8$N4SXz1e#iH~lwP)e^2h$LqVz)yjk59}S?(^%6MRB8adz zcP}<4-abz*xs+HD@MNuB1gOU2Uw&nds3C=BY9r(_T+N_16Okuc;}OX6pK=ikR*v4L z^uM9-vDj%R9X`>Pn`Gy%s-ePu@@E(~=tdo{G)u;%237GHGWvvkE8n?e)5PK*A#kBk z1!fQ+=aaltq-u_5QD4VAIDp|xr+#8bKi{PxlLYuJD;pA%S|wKhWNdg;f*e0{R%4N4 zpxkPxkux&MA&lRhDA)8g@RfR9W`(U0L2nQs69__?ZyDFCfU43K+IvmK~RMHHt zwn-`XF93Z~u-n9}%3tTZXZ<{Y@6Xy%pkSx@ObdtCj^D_VY?x-XYUosaFRdAhRVsGo z@+UnAXQ`}@kEckMbjRd)x^9xl-dHc1w{C+E_$o3~2iTe@saCdxQ`&+UyfIG-WV!dD z>tH=tFD;rT<|p;N>VTWSiD%m5cz-?wbR%1a&FkF5&X${+v4zvV%>w z0X_~ie05S~dSiL!KLn~X6h4v+!>gKtTy8$dPo79rN)_=(t%D@c6djHRn34AT%aiFR zweZ<)w^2lA$`%}e&<<3Q@>nk$teUqZIuw7T2&P~L)Fhp^VO|NQ6o;-~;>P#dFWZLr zc59I1x}Iy4Fu>AR#wGioqbKrL7_e8WW{%@_rD+^9m0($akIHtv12CfzdSHqR8H6di5vqj)NXE9!Q!gXNNi+kcXu%pzaGFy|Xbq88`79Qv)^sHi zAF!O>&(QciyB&&2iO}G`06yF& z##U_Ze2EfkBzXYGp}JmL<>;t15!oqP0+Z$9@M>05Hx#dJMy)6u>XG97d2#0KcfRl> znd1w&{1v&JUPv%X!EWtrVvkJ+^0{ITa8Pl<0c?MV@;nHvPWm3>(@Ke#^Rp4I52O)1 zv&01*dl?vGT1stES__h8?;EEmR{zU(7-&faVU1NzljP7|8O+@Y-GQH|y6ZoopY@UD zcT&5(@`{%E{a{LFcu_Gcyz6^SdHalKY_$4Vd(Sw3xqq94x~_TWad5iiPO>B+N@s0ag0-CN6>)rUXJAN0;$vRjJtI|FRH^<-3kB2`|$Gl{Av<*6zqw2qu&z z{*0rz$R&`civT3A*R)BQK6;g;&hCH{9@q+GxC=I#{DQJoc9ikmy!vv6nwTwEh+M=j zND#L!@|G37Ac8TEjL_JWgC|7JS{ifkC0mhoDTUN}?DE{i%z67o47K|Q%1>*PZwE%V zAgjqhj zBGhqk4WCiq(p3F*NeJ8cB5{@YNDR|{CZm!_XI4Q?-8{eedKG^7$n(0l0W1$4PpdkG zXuM!3`8Ba>Zi`tjd3sB~Wz0N8JNB&><%!mwX`)L>nV}u%8z2Nf0hdRq`HGII{2N`# znBn?UQT4h4EZUv)j0pb%XQiKDPQ`L8;R_k{Yj+lH%XFU*(9#9J3|>UXjuQ72_|O%x z^L#Pp!%mscqlx%)#haaxlZG)dB>LA_t-t5%$(OcE8ge8H2Xj|97Yh^n{~Y~C4LEt& zAqm(33Y`Bsf+`Z5s)ehgyNj8HD>)~3QW`Df+~OZt&;kMI(45>L2s;p9kI&7)%L?S+ zCga&Ar@Rt`>Jvgi;l#7PlA0NDlt^zb>0%J1Y+-ko-U1!NHL% zGKBX(gC_X^s1SQv04RCd01YCj2tdH+0CKQ$fVjvxc|iX-g@c>}$j8dV$NT?GOb9tq z0HDB0kn8>HI{B)a0z$EOaPuzUT`R=TcH$H%H@=y&YBwP`Imi(5E0L{bsKeDo~ zH=exKGTU=no4#xJRSp|UG-3Y<<3}NzV*3rfBTYC6-Zrdr+%s$~eouPi_5K*Yci7lc zE6r7UpPU6DNTg^s-U#TuvHtV<#IK$qne)%{!G-_s-B3BVOzi5~IS{6g5DZsM|D5KwuQZa8lxUJrczf8>|H26U4u`GLo|m@-=K zkr$ut4|wI~C9-^7qw{pf$u{z~#J6f@j~}`(<2Y2^R4aCn#7(;0h@eiJ1vlyV`0TXc zy(_MI4g+5v?rWCEUvS>bTwb=h4S#&K_^N8Y4#XI8;}!j zFku`s%e8JUin&e}uIzji`GT*u4?Il!(90FfvKnY+b|3HVc<7}sTBQDFIfA1SjHqc* z$$G0~38qd$1`1UB`h36-PLi6(`^!{(NrZWVTwUa{tnH!O z5BG2*)%K|~I(6L$baw6@5abF_%ScZ~&ZcO+FkwCj5_xmXd9&<=-@tcEo|A>o$Gvs- z5pTZvSA~PSg6n1H+vI}5Qx)s3MemW!^B3ISV&NC`Mi-xe$FsK?!swO1>Q0;z9Ealw zYh`na2cxcg0y#?VWPPTB~H`KcZ)Oe{QXL2#D{pu(u6>l|tW#l2HXGsu6GLxfHiO&axY5;O2f&b;XflQ`Bt zgm$a8AyxNg9673tD>=mmb9TTLcfnjh5c+Fw1Wwaw+eN8};r*SP^~q0^BU4&(_sF@w zQHh}>rHIOnDaGOWy7lYSV@rQBWM7EX7=jaCh8#YY3i$nk6u>|5d{^hO%cX(jf9A8F zofOqopq$vXVx??@uRV=_QiX=_2{^si*jR)fz4B$t>2__r1lOaO!n;cP)dx0?Mt$oB z!R``82)nwovsHEo(ieRASNV{xT*6a+g;zb>i!wf9=M9Jc4v!v!O=D-y?Kz0WjvgK6 z+0-eO{Ws*>0RU{1k)4R=q48S!rTN-*%pl=Xm{L$@C)@ki^g$$miTkm!khJcCUGwco zrrjxJsQt8!YW`P9ol0C8KzIDLVqo7U-J%Mu86%W61+h9Wj6iXMZg%dqP`g(} z-V|_3zYWVrZ8wuBUew>8Wlbr??YW}Nu8puYl47tNegWnd&KV%ZG#qU_7ue+BK4%@O zFNEnfJWOX8k2L!NcbSX$hjTkKeJ?$rU2rzJ@IxOE4c#uUw1oY8Q-cLKgZ5<@jZ7ll0v!SjY*=kGM=digQEZ4_w~e6<8x-!@HgAk1 zQ{$9r1bJ^dc9h7mXar}qUM$1wt=R`<9HRGIX4LTZ7)068?+Lzh@Q>H5@(c0ZGE_j# zs9z79Jcv_W`StN<7!FUE!$h5LIw0-RVZ6<(zJM>B(yjMr5)HdPE~eLZ`$I1bCEWy# zJ@x&yMt1<|k*k3r*xQZDU_#pnjS<=21!59AcIN?o^idGWS|Bs?jP?jZ zMMivrsqJo0wFK_4)EDPz)U&(jWXA#>Zv>{{y0s?!xjtY|r_b$&<5j?X?22|#GL~IB z%RDvH&E&DiU9tzm4+YbR$e~St>JCD!7YTR<;XOHA>aYgX#g6?^xk+HC&jO8>+|^KPaV!4rm}>}4ftlW z&)8t+cvt0gPUKZ;ConTraf5i+my$llj1ec<1Vr-9pB8a|V)1IN;o;F>H3#m(?$$KL&|YesFv3Mdg;5j^Ip& zo%9fG1TxCWUL{A1915w*c#vsXHqGyLyN@oonJEYh4We3P$1p+mhR9U_;5Zu3NZz#2 zS>Al}9_24rXAR`nh@|oB7_Kj9EgWCjA7^=JsTJXHX|oPHw-WuJxi^G9qUTkphDV;z z*2K&mq3Eg^YR;;q_3?+qF!oCRtHotb-_m9m{LHL z9oJ`~Sfb=6P^W=3zO-JTe3!%539aSlC~VH`&OHixVL{KHm?8OMO%cvu1piRR<(M5$ z#3GKk3q_U0IdWB<_P9gMBzD+w{2h$yfZ*p;Y*s7*i|?Se{PRTs7;M(90e}iGzxo|C zpG@w=tI*nm9dRqa>hR6cGR>Dgh|nG75ZyDk4VF$0L$EH2YV0 za6ZoK)v%Murx;;G*1h+AWo~O1cJr^!B0LDjV(B4PNidyAYjcz{y1a^EUA7^2$pn$& z^8A2YdA?{lq{gPAx9@w)TotA%k){BdZ*)8i# zKg0S`m^!7X}U-c-Woo=5?4vJD3vkM6sxo($*gO zQi~CMM#C|aM*+8-K`gO$~ROK%rnxnp{`n3AO&>ovueZ2AY|-f4d0 zO>FyjMYe-e9P2WTW!&Kt@`LoRpT^SkD9kYhe?`qAgP~88BA<=Ma3iQi@T|n?@Iw4r z*9q!xc$4p9T5leLQuDIkXa-&K{MtpmB4hfs!(2rUc|cZ}0p&*YE4|qWTaGB1s!_2J zdf$C1%;jhO4KH>~Y;tiyFTh5IRD98}vIATP6o@d(7`3HJ%-hWQg%AXV%{HVLRuV zBi_$BxoGJo?mQIZ1@-+~${;L4ruLTMD<6m>*kQi-F5^Jh+uxeGl%uh)abH(9!w9At zw^r&K1ZJDY?UY8+#? zeDruMRW(^Z7@!u;yw^KDqAbj#tA(&N0gH-~hx=Z>1@q$DMGR~LMGqA@lo1hSb=oE* zW*>*vJx1Jutw|M=CLfz~<7`pe7h{sZN^c%GEsP5ti;Kr@W{BYu+EUN-0HSc)y@@mz zPsnO~xD_G8SCpk<*n;b&X3jQkF`$NLL;j$7hRX{OO|~rh@fn{q`xj^{LYhP`(*MzKH9p*}F8|$a#Ae(O$ zx0COZ#h|39_!PF|0>@*S3%{vlYG`sYgBTP#bn($cE)On$;a{B+jO69YYcY;NI|6nb zeSY|HNg3--y{ThHrhJ^yQn?!|!j+x&sOF;9?1l3>dQWrR{-5n|O5dha5NdBJwN!52 zAMsDLdW+<>WYAR#a7#&y`#qbNE@nlh~Z%eilT@ZA(8 z_@DiYO?8?9q`8D$zI^68@-F-3z!U7bELb0MU^)Cft*}+{LZa7M!>3COy#M^uXaFD& zORHU$C*R7`_*mMVhvZ@mQ%jjasAKWh{@;Qd)$RZmcZU{)0xMTFNw-0YUs{od@FGXY zZtL6)%u>QRVwnXWd%7+S@u~{@E^fRSbOa=eE}Kv&xDTBu+L~y#IyGDldmo1_yF2;9 zIJsbf%QqpEy*d)^gv9EvAJy;7bF=y*p%I4q&zHGT_!or$9Y{gZ`Lk59J_oWg&YF zId@GeCH)rK2Q&rnvXKhJdEgwq1;((|pxGZvaMg}qizWVbaY>Nxqn-xkg~(o?>(o2@L2jvoD;a_jv&V33MQZR- zRMqR!K_0;fUd+wwV_V*$F>N-tKoz&U9<4SaOo=oNCR&7JtFFUc6I zv{)M+)-eU_Rxc+QXD*I>A9Y}nDJbd*Hhzwmp>#=j2p0HQmU2H*>!e|2%y`CVuG70i zoNjAm3^f>Cnf<3YZdIH9+d>r*tH(DExxtNL##PzQh$X{_zlN&NeiZk0HQ)7}$jDO^ zRsG=1SC=j|jHR>%a13fFvyZ|9To%^7f-D#K{r>kHf(QV&&u_=lU1y`4`{eVgH9)JpaM0}7H;4_rQ?GDl>af`suBS6e>K4UFSf+a$N8W7 z|89T_#LWugO;i3CNm5Y$|6It$%gxHi#rr=KlUM>!2>&m4=i=sKEo^DRWFLwx4*T<=J|3l=?GT;TTx?6HL=*a%0$QXZ9R3r%5=`~r=G!^ z`>)E=&y!0#>jpl4RLy$am$f`bc3+;QI<=d7!0a`=>)opkW&OJ)FE3`D@A699KC4C_ z=j(ak7plWi-?f!7eU8i{@uS`vc@4eey5Nec11(^eYIC8X&&ht0iusR>PT9Y&ecVhF zv`kiu?5myq&UQ3QZA1jYY7i8$WddA}whqh~jW{`NO9MWApg%Ui4&1>~CDEH?AcS%Y zRy!(4B6a^^yt}I#LN6Mxk(o6b*03ms{w*BsyTUU9Bi%qb7sg?BpwKPKo%!xDsDx9I zG*=Yv^HI?dZdO0X($)DRO~RGzjdPen>wE5u8~Bfd>}hC;AIX(|Okpj6RD{GG%f0)e zC0E9)MYXPB=Fp>)>0DOJU2xS8lXvb248!}^iG|O4YI)|s2}A4J`}N(x1j;U!>8B7e zlt&@*p|2Zi&lh4bjpolf(ve_ec#dTWI2Y}ZteXy9^-mJwL#KQDU94Yu)UJDXdE8H; z=!Ua9Wch!hsS#t2DqLHK$VU#@S!noS#-={H5$2>#mDMy6)%S97V9k94VRdWIgXb+f z+X0$d>AfxqcQ^8q`P0TQe@)+c2VpfK2^4t>E&>_n1mgrs<;w*tSZ)NW8fS$C!`-XC z+Tlv$oh8U3z9$dg7tr6g9hvhn--z%<-Gxos<{pu$fL@1{E^B1pI5GPkA-YmgS2ttNk# zHz3(=n4Aux)JRx|fXZJyMJ-v%vc5i){P`;G<}pc`?^IQKM-8u9DyHjrgDxo@o4-WF zn4cbLe3|OM>hTlk!3QOU?k3OdU}NUQ_Z7nY{()WZS+`4UpyYH$_N#<*9E@iDReNjr zohFKNll%plxki{BDlWnjg;%5+LGX6i;ZHwXYB|2rpFRq!frk=%t%ViGV{m-eyHY1&2O)k_;SR1R6o1dn_228;C-LNXIy`- z`{ru~J2FGd;KAL>Ej6`ent-?SoVHi}I#0uCn))l*M=WtgpvK}<0iVLip?*SEUtS#I zyTX}{VtT$drv6f%bl7C+g!gVQg>ZYz)smW66u54-_&w?9i+Tpj5eWZsTNm!?S+~EG zYuZYUN92%qk57>&WU7ELCfNjHoJ2(?7E25Ec2TOEcc*&@+At(@upRfpjy^gY%1d^8)9w>8Fp$I?{U z8<8?v)f)r*_Ty)dqmz#>z_*66j<<-hrpV>y>1ykZSctWXw_h=T(eCJ@jmjD<_Jqp= zjV8i@xj=&&C#89d(FDeMYP_4@^oijk)4~)7>Q?Ub+SZ5rK-g0UFwYfg1tMfDthCN{@Sg!xqBF zPZ;TZXAG)B)!tpI&O0gmsXE7gXZwGz59+ZrAY$Rswb!cJ1niQt>$)jeP}ql0N+?2B zT)#co-ASek3i$x#mPjkklU+pdW4QKi^Xfe<$B_!|z`pNhW%;rI2&?l<#8+m=qgk; z0l(?=S)tyeL3tmpdbl)f#9Jw9hbu)9Q$;FX^qf|8;JiX#KRq{2J`VSd>=xASZa5^` zWCflXSNUj2VuGNem_u67jOjH}jLz$VeVYC9OxK0JQ;EC0A}Tn%sbNCNEa7312FwBgxWgq8wOm%#dF9YDG^?QzF>8@Vfe}7c znR7lPPsGP@JX4Qlvi$jM@YbEm^OJHKLTjf32{9>B&QG;d3q9^dPa+*A2Bxm43!tM^ z#jgt$&IvhTS5Ia|6Ojx4`{|L_9%?<28izq=i=iMDo?5ftzjJ3eV#|AANp9^ts(ZSF zz;5~Gh2kIW?AHB=xe=Ds z-J%&qFZ8A@;vA=cL+Nq_XAE3x^BzX&51WU6dQtsUoH$9+GV+v4D{TY0()H#6hW=s!(tZO4W@U{pK!5ZPR#a0H-7q+ z>~_K{mF^Q$O-x0kmVU+)AsG`VM)U8NJ$b0sltaviZ`CTAc*QPaOV}FlPW0jo$@%J| zUFD&rh4_Uj=n_u}QCjZCn8ml|2&CD`NFI8JcbI7r7k69MMy(1)Hzc+wPz!XF7GPT< zh9V9wScS2H!Oa*VWmz0FW%r5Se+#)yx+>p@Gue0Cud9V)9eKu??QdR9jmjD-WJCEGM$dU711!lU6KXO1x$y09xE*+k8*oN|L3q& z!za#!or*z?@YK)TBhuEjpZpUELbuWT8h(IuQF3Uf7QWbhU%l^G_LD4N!3VeWS&XQv zPr85-RDQoZv7ks|HTCxN9dSg2oht=a8h5@eIIzD<)rU{tVZDt7QKH@TiQ7K8U;vAh ztTSdJ7U*Jdp-rBpIo3D~3@Mng+nkroEx!%I@{9}IX!hrNIH^-`cL4+$|!qleENx&V2qJ+(PB|XxV4E|3MF)?Rorm zsb=KQOxPo)epQLBB0JScPlM)7DO+ylvNuXkGontTEggG%N{UX97Y03)gZ31DnRfw4 zm(jN*kwfNy^*5;BEos8^3H;IqCdQuJ@>-KtnpQH1DfzYgQhW+E%mEfgxExUfrW&Cc zm#jrvM>bNa`W@b>z|7}EvHC2B0%-`g8?v({8@$WqwU`>-$O%H|XIsDI7N z*L0^BTi7w&Gbgvrm4a!fk=ObYETlacEli)yOKtw@=RQ1dVdK%EFq!jOl3ZpgQM_qHx?fG{}sxw*Y1awq9cOf%{UHJZu+7|Hz zih}yY*PfybJ)^=tI;kR}CA(sr=u1AY9M$webEa>4o+FYD-Gi|kf3cu*{WzsO{VZIH zrsavkD16tkdC@l~x`Mx`4{sZttw7_F+El6K%#f$2sq2a;ba+54!h0MPqU&nJ{9`K}93hNNdK;1gl4fG6 zQd&ysj&im>9|Ef(TSCiYC(U$ysbGk;Yg77o6B8)?ns5?Txg6JB4;AJvjW!SqX7;fF zeaH8rdIs)Lzl)oYwCtD;5i@zp-=G*8P8FA%%fAcoo@X?ED!$Pv-6qX-BD)y_Omlft zRzk~}{yK&F7(Ly}s<0cI64-Q0Aw6Q?2r*z^p;l8V(gkBBanZ036jt`PkI4$0o|Mhw zKtjO3^5yc*;A3a^2`DR_IfN;i)%)Q4zI1G`-uTK(;76x>OcYRfz3Gl1bYPFucXj?i zg;yO4rY%W^GSQG#|0-#jyNfE+{gI&X+4+2=e3O2nC}+j|>oJX&j<*axv!#IcghLeU zoQ0v7Co?z?{U{-^C=W#DC)_wQ`?KPFXPpG=beG4p$Vd(wPbh)Pu2`MJB9QpLi>YoZ z`GBYW(>kE*pjV9?qiU$pYAd{vt}uBA$BV$MoBL_AW&EI??YT8ov9aEWddW~zeydop ziq=USL=w!3<<=fqF1HAC6hfGPY^blTV1 z#h*!RI-3Tax4c&KzY?hPW;3l-M+Ko z2>mJrOnC(Gp^7)6W05E_eva<3Btndyd7j&2Y;Ucp`7`uE?KDRqd97TDOYn4v!ikl!bGUO z_2dm4QEWRp(^Fc1mcNLDGhf1`7gtN z0Kn2Rz4Y=MtA(Qm)C3c`+uJ-HzQ$d=^4yq6%yrG*hWyHDwnE8W%eU`RCoV-0Y37VV zwuUj&2h1Z$v&g)2CxJ~0?)`_*bGO`>1D-}4Jimr>f4@Q7c7M*dfLa0_a3<(;J)i!_ zY>*+h(6E^K4fMZ#N8b5_=3mPYZSO-bFz#D1&FK>_Ki_4HaR3r%0ph`nv+p{*k#Nj^qU* zeDd_Q<@m{w{Qw{Yp*VAtC0~iujbn*!b%RX}Ra?)i^ygRr%-UR6x06pD{)AQ(es4lL zib}t>32-bS{9E=R4Xr*Zo$M47h6j>uoIM%{ZbZ1u+f)=P9jKHc)XgFw z#kCPE&L$tQT;t*y5WKQFZ+~^q#bWkD0v`B6vo5)xh_m2HoJ0mW?U3rmUmAhj3zjhB048I#yy`AFUU}sxf0>?!B;4N^-;!lkDtP zfn}riwKV^VxAAR=Qar>oOE1{3+sGPj82I~e^ZBUFl`|cZ%&^kN8C3fxJm89` z)(B&`Csn)F_$K#E8N>Qu=@NQ^&V<@oF#R7={xrtj5mvd_7H&W2h}klNnRlAKBPt2B zJ1k$`s$8yvi}J2bMxKG)Z5!YgGpY&!aRzU4BNm>BL~A;SeW-fs$dT2`WKaBB)JAA9xkPt`j@J z>8{9IMR+Wqnx(bS8ymPG8uo>TeaT1h?0acxstL6?o$Jr$rs&p$W>1ze7~HxpJ#H87 z%+Hrd2bg7fXC(G7kh~2T z42H4=U_kQyn`bF#3%~^MrQ}dkfjq$7IDG$;a>)m-ROS5_jEfDbwgsU7Z#yqP7{Uct z$Jzp@asSs)US2L%0Zx9<)jyXcwF994ZwDSQ%*_D?sQ={<9SlGw{0B$=Us3*{bqWY@ z{o9Et1b|Hbe>ri2>8kv^1P4F+73)2D1MLeg?B-{{ufKukfZ{ydy4%)_+-b*haOc zGsGzy*1V$4j1~D?9evZAzQi(|yhK%b=6W_gEx^ACgDqFlai(m~$i{*$g#~vI;SOco z>Em^$Q7N6bpLH^nogKb~G|<3}WqoDc^vLma^Da^U-3#b67n{G{+3srxw*#Xn@H;k6 zrswf1(3OE%5%naQa3g)iQCvA?>|kb0TEl^NzNyCB%Dv$J1<5Jp8RBCk`3**q@O1wd zNwblS7(}G5(DT}#hYp3~8nut5=`cwRKL?A$#Wijg#r7-s= z5TNrrR*~W7uCsDeM~OGfhuf}6#Ot`#OTPYe&n?dH*$CSEMuFkz8G;{eJK2VW=CJ%p z73!#Tw9|HpQKl-NVw+5!IPcRYuJ5}9Wh#|QWWIZ)bWUpFhVnJZyQEhJe-omS;Oj!hu#C*g^GgqpY#~VLFxTYSJN8j>5SU>20RP40_EFgP zQjA#su1J5akosv?+Wuf%jo_q7CFAgL-H$j@IEO#Sy`+b$Opu97ZRqw+w5Ha81LR^k z-C9Q;#kq#IYp;G12plCsiF(ulSDKZ3T=}RRajG$d)C+Lz*Dc+5t(0D6w<_IgQ=h7AohlUZga(O_L^GDE z^j?y$X{A4X>49}P#sH9dLrLpbt;7kt;mHa66Za)q(COYv-Y7E57d9e?43qC~xV$#+ z;*05*yF;ooN{vZj>xNVO8R0ZU7h(K8FNlnm7WMB+`gDC+G9=lrrV#u#Fu?m)1{)e( z_V}DDZHTWcza}n%U~}ju48=t_Tw~Dis-r33Xl49W`cw+#g}9IGxb?})$hn`?%N7~U zLa|>9zm&io{==Z(y`(S84sTU@iT&$tq1gCn-G4VqS9X6|@t*BY=2(faMO6Me{K!>t~rW;D&I;qC8)>;CTi_<@=;>-ucvG(PyI}tcHtG1V1hq$1MqGmArvYiA zO=UbrbZhKkKvwk^d+00TGwq7ZZ?4hEIhGtmJLUnWLz0LurI9+rOL`%W>pl&$Z1?XC zzo(LK*RLAVvFR{MrDK6AE}l&$3k@}1xhph%!J-L*_;{OC$I$+eQxu8LqjVfb<))X3 z%D$Y0ds{rqDHw#`;x0?6sBU3S!fhz2xL^At$&PW)m(!fLzLyrmduYA?)|UL}VFWEy zeh!9Ii=e9wsDlF6)x*6E_Vz_%q9I36Txsn`;pxX2LS+hMLVo}$(I$y&e>ryGrzPM* zkvMU%53+@j(mx|O15z9@HaEj5iN9iJh{)DXDb9(km5gTvje(HfU!3%uuQ8H zl=4v&-=xl6uzT@hmxA)FW%5Td-8&jTQJJxqM~#V&_Z6Gn7{ojj9yJuOv^0Ho%(9^} zwA4?TROsNuR}TlG6*!I+#g|0GQ^UsnS>OCth0L-IyT*QdO#Yj<>2q!ce8xF%oaaOc zUKi0qY>QKg#`vJm?Smn7Kibl7B)W5U&P} zeO#P`-`oBR7rL~0IrsSXUxHb`yOZ)KfX+}f@z``q@OH0Z!;&zcf^OaA7kXr22Q}+h;3p*b!PY$)3uGi{=D6D~#1c=DyM8iW_t20&Z zB_WR}44oPHGz|}-B&be|?0F6I3A#P|I)dy7rIVfsZ=Fe`H}z`Vw1xh{wo%HusnR57 zXDdlqNWqj>je#J!ACNT8?hZ9g*2_4Yj@UQ87xsvhzWf;|_}Od~$UgrU5+V*u5~4_Z z#Ag*zO&BLLOM675xQKVLKOB?0;3PX6A-1lCa9tK?iECB7gF~7yG!8y{O*~^*?Z_Uo zHIP=Y#y>6fuhY0%u5~2$ptx8-g}nnE>78y;>j-Dx@&d-%;Lq~0w9?Bea*%j#Z~S-1 z2ZPaDgAX%FXw|Y=$I6nOy&k1K6e=US&)jfp7JS2(jPV{nH7vf%ZVd#bo(IV&HLfD1 zQoaK7bz%s8<75wdGaz%{v|8rWto_-`?|Zf2dgiok3?pV+<&h6)CtLY7qg0dm6w}fq zuZNLkpbY8KrLH7G5r6$L`3AP-3; z2uuj&CCWSz-KXHnPQ?9?Ln~a72$*H(bWiHRvNKuimzbeGtiRxB{~1iO;JnnA?`E4MJrH5Zc?4Y}q*bjtaMTxw0VJ z)=h+Y+{oaB02@(+ek$KxXRaingovzPOx$GB^Zc-_3x7AX?p8I#7l-_;M^cLcu{ZeC ziEbHC{*_TmjNZ#1v-t_Z;in0G>^r-|NMq$u{Afi#wHk3-fL<&(#f&adXYA{NZnYPzt zQ(3JXqYHeIjuEUO(D};Z6P!}yhV1^dXy|3ouN37&?cfX%43-oT_u(~>?Cfa_=2&SM zc5ybT@@-Pu7v^K_@&O)g;s8bwmWKQog+`yGvK|dgdB#p^%EO|x) z+Jv`hxMSWGy9QxA16*+W<6=3dyZIO7$3u>}>c|(i_L@uuVwHKRIh<2K($%z%=shu1 zRZWzoteV=8Mcap5f@2)aN`S(sNPE9hsHZlq&mU7mb5R5nqmdZi(8k=on&U%^yIVBW zHB#9^4aB%R?KpV%Js`0D8pbOKpN0E!#$l3r(eN*arysUoPP+z*1M-Ptf@|0j&610Z z$~jvQBg0W53F%h~p$(8>y0qrS;VLExjJw71jpEGS^oDwTxqxT{CJ#bA>15z@nlRci zzm@KYfDy0#OqMy78(d=0c?4i2F|5?A(nGKI*@W631J;~(ArnYqbtZdwvW?42sH@ec zNFpL(79`yMweXS%l{@IlO*GmPrh3QofU zmaBEI`*-*k2muB9g=ANzvb);zFW#a}?~`f*YPhblYPZjPl|cS{o?B7n&mUS0L%k41CTSNo>W zz6XE)?M0ty_3nrL4ZM?T*hqI}#&$C1ggS@*Zdf~KNYbanGRACeJ(a>&Gvh~=@`iiC zr9=x)R^JTQjCDEK5vghSzA5IIE@%-zwo}_fN#D@=A84SEN?{Guo72f~OOa~;JI>x` zErM2my*y6lD+|YHGS%jVv*pO^dNPain)=F>kp0Rl>Fe(M#4VZ8YB7*!xmQW;U9U^y zmb7wcm=yZoJZY-u%&0Z(+wyM=-6FqmTQuO#=xRMWyz zWI-aBq@RFC4crtOJ|@~zE?1uU*ms@0J;->A8lXiN1xK$iQ!H62=GqqW*@Is(ug4cD> zO+Sazs=Ly_V4y=PG~^hf>uEiffm zo(@mxJX!~Q9#>}AqFO4?&*=+7;806|W?eRTD?L70cO%{V`Wlm`Ug>+XWhCe|YeC0W zhI^6DMcRR|*c0k943;PB%=cBXuwuElm1ehG2UxSJvj<9~SZ{-xFojtKM9|b_y#~9n z%vNts&tFrKSR?2^l5sOa;%Cjo`Ko<+teuoie;n@2NOFm( zX~}S-A+ERkh2>a9(j}#GB)2Po$fhny-!8oUh4bmFNBsNauZFWb)$W)B0yA?VP^{b*US7i?MA)s1Zea7CLkIe`tJotz$`+EJ(zDxSYxL%!sa!MmUsXllbwAGh_u9|O zvL_2ZE{5K7xlWF*I_x$1_Fn9dj^kmhHxGwO`DfO?%yd_0m$nZ8c_lxF?~FDcL0_#q zS9u=dd*TFIy9h3h>)sf$%|Ci@NQEr~){B1x8C~2j)O49GZR;x$80ejgb(`{X+0h1P zQ!-Zs*Ds8EZxj3!CAw|t2|NLCNjgF^>Ug?TqeXV?$5vIDe@q_-7+g5l#+>ZiJL!~$ zy33q(aVT|U*Rz@dp{CpDt`b(U&LfW@#;!>0(L?1=+)Ua$niL7lJ*Jv~<@YTM5wLHr zCc!ETk)APQi?k+qlSbZ4IB@)8$R8)xCc!2lD)e40F|BK`br;QgYw3~rNxiQsC`4EY z6GMq|t?lWg=L+Ya5wV06CNvg=FsE0DM6Y*Zm4X$9)#a6d>ImGEy@*kocBtv}Y5ZB& zA@SwZ!fD+%#@^~hwc`%gh`{SztA&|Zw~riFxcBZQ7O}aE+QWmD1fdw6XN+CV-q_-V z?$U(!zcg{P12x`J2w!jF-OGPnNw*<2yFcQ2D?-E>YEPP(7(o#|2?&aRm$kv!^d-RW zY(p5TTyH}M7Rx)uyeL0-#)JMm3I@+fUld6=sx!9dzG?^bz!?t|i-J|V@A$}fgYauo zYI};|lrXwNNMS?*o@s>dQpyxy=a4@ke*1_9F5&f$eqb%?lffcqt}-@8)9&TCqI_#5 z{yD?qFygJ;?hs@Dd#q-+Vv!1UO((MP^O^~X&g6m-&=t<3U4pQ-Hjp*lFyq+?N2u8v zhM&j(a~xs~sO18IL$j_C9qmmD2?M|pBi3;yA z?dzNrpu0d5Ry5F`Z^NKbs>rvuYqf=rj{@~#H>FApJGOxV091Fs>}F!+LP3q2lK27-G6)4=0eC@Xv;YlIKnPgp zfR`Uk22Gk4o#^K@uWBCHymyiRjCBe=PmVN+BK=6QR_y2_80Otk%GeiuM zpZDLh%K!GytiXbs9N?AyCyBw%4PJQ;F4lkaDgNbt`3;~8`uy#`q$2qF|B;HI2lM~H zyZhgn@Zb&j=NSA)H-ZyPSm)*92NflNr6K;e4ZN=W+~BgR|HH%%=DG8L3KPKj3z|f5 zZsdOr<>2FDW#{|1-3V-F{NHx)nsIV-{W~l1-wO%A2e`l!2b_68Nl6f-O|da00Bt4$ zP+&PY|Jj3-L>g=uZa#9bq-ZcbfCc9fFA%fkqkg+$pQh) zAOV~$ubF@xNB~z$W)8p&5`0uohAjr0Aldm^d`kdf01#q6 z0I>zW3}6V32%0sA#BTXo4oH;&H#q2^m_Y&;fCOyzfB%aAUoiz22M4HN5(>NJ@&ZsJ zk`nTW394g(tb+e{)=N|rWKa$uZ3$+D4B`SIUjUdvEas5OpkEgN+Lk?Y$a-Q>E(;_J zXaESA2r^`aq-*gFg3KXLHwX7g7D6U~y3N6TPlb>-W*`s{k{N^#4fPGA5d=w(!NbY^ zA2C%CLASv-&M*X{F7}{Ou$VKNz&*Dd|{+Io~ekL#N59<$2`8*TIS%RyaI_yYw zkjOEc`#XRbfaOBt(<9*1rUfZ^B3X8(K3<3m#K+mN^&;GW5jlJL(g)-yu)mLduuBy+ ztaYTKuK)r^7Y<^>0wO;VKfewi9exuIQu+fbtZxXyjhrtE=Tkgf0c2>1QC+5$nM$5Z zR6NV}d&Y+_7dkFDT7pdu@ z;a)3=q16&+A%o6|UOPna6!`}cw)%G?1<_45JH(CPv^O{0`LWhS&j75a# zor0)~EMd7&^)*tZ176mWZ>T;5z;&;yu+s(I1z?$)MDaYn!>z2q?83s5Z`PQaTzrr` zwuDcPz}1E5Q9|IF62W7?puKbvIlQfO_xSSyQtQ zi|KDGbw-iz2P$N`|x`$A(06LDbAeUGJ& zSklK*&pL-`9o!P8Um&bC1F5+#-khsGmE_q}*W3Fq?3-qBLZOxi;m+T8gk)TqU4l%u zIDxDwK;hSKE_RxEXG*@o?~xA&i?9=y&D7QR7ovRD2+LS2XG`v6q^NOt0qGSNWkW?< zi)rguPg|$OWVQ**F{>s0IR~eVA+`FS+>X}E4%IhIn)wNNe^xhXvfLsclsY5}$*?W+ z*I8x>Y*4;X4N)OO^PNGVZab4g|F${M9BkY12Hr9vD#2tFk2r+fgwr$vXVSj35H}`s=|>#GL*Y21LCd5YDBUg9S4Ff>tE1P zfbl=h1!P;BS@hjRL>hJ3b8rP(@?gY@Tvn_vX(RlHzRtM$SY|fXOJi?*&TDSsG993; zni6pV>VwR_{<4tsd6pac!rAW#Oc@BiU8%65btw2^Gch!lG>0va*;dbS_{&(?(5;3T zmF{jl^6qbA%|TK1{Gk>{+%J6spXvl69-u4iq|$M-*iM~|&PCHhhlPpEEpVBd(*K5C)R#GHWB%BJM zRWswKG$B8GM(R>W2oPRXMruCQhs>82p>%z3F{hbc=AQ}ZW;BHhU-fyAfyC{H8UtGI zw&^gqcMEwJBr19>1C%vIM9b#w?lu}kFV;S`d&mg?0tyF7aLaDFi5G<>8w(t93xrcU zt8xw9mP>Y!=4Wfg@8gNE{nolPUTBBX)AK)enzq=AoIxrJzok1 ztcZH)`^qND&6>{|KF_c7eRnb2G5Fo_v{yKkwMIz?Np*V7%E0ll;@$aKb`t33g|>Jy z$&VXI;p|R#LSPsocO830Br$;xzl@emWzcl(y5r?J5rg$g)o#G>7B?sFmhfxhV6!%T zUM2Al)wGM>9KyY3IA~qouB2Xg0{hbu*J-x3Y8T7)_ZW})V+$G#9D{sK++li%XosI; zR)tE!ML<+$VM4oKt=q5MPEA0EYY(w-4@^~i_SsVC-M=36H|w`LLK z)1uUwT>Q_~i0!gGHF~OBQ*)17NG4}%uGxK#>OIG3FHr$-U0*oaA~>-YU0Ub88Bo7G zFDT|eCLCZnz+9Kbh(H<59iFvHsl6zP)rwq#!pq+!;@y9(rzxl99Qpz?Ki}s(*zIk} z1nA+P;e01(^iAqg4J_~@9ae+SOA_dMUM$M3@}6~5>gR+%wPm7-Ml)C5G9LHWq?1S% z4p!?iLliq!wy>U!8Ohw&MM1b{FHW$tnqN1?F-MKC?-PaqA81A*& z*v0(-POLJ&Bg)&DbLNps9i;oqNJWy;w?8Riw2oY1Gx2qg2f9RJyTiX{iE7%8a;+Ws zJ#3%Zf1aQke zLZ_PllgO3)%*~^+r1BJk$dxE8Y)T(5mUb*F62*O88b(^{d32Y|s5YN8q-mrUJBOv^`nkROCAFf)thO>|b2Tx7Uy|2^{nak#mN?D&_kQbOtuq*!7_YvTG)(|L*NShv z<lue__1*A;&EnOYu0MK} z=M2RJ+|O{A<_72fCpO9uo2x&N(GogV*o03-5x~X)SOxySs z8*Bd5-SB2AOjFMCROUJPkSjg6JQYd*V%+b2L6`QT2UP?%tKkGG zv1uvYlG6-PS41Xq?f6zNQf$pDMV*H6gkRr8jwtTm1Bu&Pl^wL5mE3$0!l0WDTH}3} zcA3yDweU$hq6$L=ED=RnaK3F95v`}A{OaH?SCtat)eEE-+TPOdOddo5;&FK9&{Qno zOwB3eavrKTz4-Fz%Mi9prH0F(B!!12!^?}Qei=x^U1zCexhIE-jp!v5wu7NS;GjFMh+E87+kDCf{mBf((N z)Hc^Sj*F}i53kiKEBF4iOzP8xT*#+`oV(0FTFd!H#Yrge?V263qgl%PdepP>dGCkZ z=>gEU0+S`fzUD3gc3?~ig8{O;Ib<^ohvp9cYraN_8wW^+s}%jjfMf5OKS@$tBtVbW zYt$&CeV8r=Mg|QXb1^EyX$tDi@!YG~8a8d%dY~n5S{MA<83LusE^E+t8=ox5_0LIL zh=I{kga_XglQkXDxkIO!94~YQSD@3hZsve}-ijgc4-UhXJeeuRz7UK*L_JG9{C1Vc zU+Z31^LgiZ^GsZB`t37W!X%jwFmWxcNY&NIi@mDtFfd7mQCJk@HXtLOOab;2Y zm+FvJgB3NI5biaYp{wO+`MG!Np?9wA?>ro989*ef?NTchlS@gpr3|u}IhI^pu%f`< zm~P)1n#za31QflQ*P0Jb^#KN;CAt~Im-TxNXQ&K<6RE@CZvevEyELF?TZmfGpLz78vXB;HAt;Ip(l0YAcF&|w7xZpf z-pP(WrnDM+KZl@x;~x6+!5>IxQvbCI3>MijNbAr_(7f;+Sku$ENbr=hxR+cWa)RX& z{WPMLkJCBT@i>gg=bFM~r}4ZL=3c{4$fe+w)LV6jtgsv3j5aSiQ+4d?g{=%67`orrzyZN9_i|9kI4FfM z9fqR4M;eTnqFU{p`lMj@z4Q#d>&F14d8fndm_W=^8&U?o996u8dZ=ycmfcs(zMLmd z=gotlapr^^fsWpuJSpx+-IiFOm!sbuV~^D*Kam+|I!LBUZxLPZd{-| zKb6LA>ENuycW=^E>6H_DQUWGRgvrrYUV9H*c^;3y+KvkYBzuIOqNI&UY53GCe0abjanlOI^94FUI%t1 z7%6Ev=X3)E{Y7}{& zzDtyZeTlWe%}BrGeqP)G4nadPiuwaHWvgZmV2Wk^<44aR3unT5Z5l-g8&=U4tk!>s zVbHW-_+Jn8&RaO7qO4KX6<#<|$gbztl-d9&BvcNo^85sgiJAB?uNgU58mfegGrD6b z*z?TstzbkplcL$&QXuVgf!_U{ova8SiN(B9kSBLSj}|kMo0|u~Kv=<(_`yDr+k5(4 zW?U#v=YV5^?~HNMKZQCuUz@sse7u~>(5Z38A5ee3KY8pI)0en9pP z#UQtJfVzt)x}QBh5Iao~Q<8{)W9O$N^H@mc!rz1*a}+#UJ!iz3R-STicEh#ZhPK7Mz!1*O;!vnyNGIkIMZ9t|b)zJ2k(;G40kqf{TK; zxv5!z5HsVBE9<} zq}h@*OSyUUg;0#w*;FQB-|Xg=jKfh>Uq1GhZ8G(?9I3m6#*D7KTaL723W^Q|?vx66 zJEqdS1a9W|hz@}ohlLcbe51SOgGJTkEG^;L)H{?mea;;d!kp$0R~d!=Yaa+08x!Ks zRrJEyQN}-VfNlh92=fi+TaJqSBQeh^s%^d*nNZd)X0D%*8K2 zJIebp0`a2?zlfCNQpvzbkmZ@nZaLi3b7S#ZoBcyU88|C6iY#pM6;dQFvovUs%HCY5 zK<{x6FR3T1Ck%Q%0u2X#`6U3m<7@)_20~vgRwr*Qs!%VZ=)3jLvMa4eFoc0D)89Lu z37^pZEINx_WN;1`+i!)^ZAve2afH##Eck8uMel>gcyH`0+i% zl*F5+JOx<$ndK5`|L#C@`X@`Gr@G50yYvYQhNl}nQpf()vd7V?!3R-kp1Fc;h(>pbpGB@+S(4$&?=&G-+-rXYM8gdL7~X# z!>Pj4N8qh6Q&H_4D4l?hm<#@`V3F(qhBc-l9fU2pl3sgFV0niOf7LlC_LOj7hu`!qotQ)x5t5LY8e&osNw(qZ`^ zD&PUYnvZjeD@w|L!Mm#HWb+%q;4=JuC$m7`)y6g)J}|ehDc#; za?H!eT=f>SUKREkYG82c7F4By;i z83Ro~iqrL{acmB;-9`RMCW66hhO9Ss7y=NiM<$ zLoJxdS-hcI;$Yd>3b>uoh7JUpN5?WT1rj(A575M5Pmz@2+k-0C)dyRBD`!>EGRp~ zY|VeQ;i2%b+-%!FP=2^N_6WG7x?3$x|eN#yZ*xHqpN6oQ_u{G)?pSMc~GN47u zOlPMHwO4ph9@c)!>NvaY3y&?dwVs@#f#ZpT^S9o8^IkiA?M43Bky-LIm&c_~npj5p-3Yp- z?SHa@4N|AhQ?eeZ=dtK{t~s?YzX$AV?>m}IKwWwu|1nnD7*X`i>?a661q!^t8YAue zoa_?h+uMuHHA}T7p7&?j#@SABuxwjCQl;BCV>8k~bfC%RoRGwF6X$T|{<8FXn!!`m zZx9hdgHT6=gF>9F4Mq1|ZSLnl3t^8@m#D0v%GZH8EUOdWh`~8|x=`X_DSQ%au1S9q zCVRUd(JyjIXS0Y-A2NRz5`aI4>+Ya#x6VoDcI73gYt^{34p+6NWaSM3^DN(ySo*A< zi4@e2qHT~;<2n3eklOGRNY#nh;05nJPljp7Ba@7_+x&7pia5snEKg3ZbB5|d)ug3G zdeiY~mo?Xo!B3W3jv9G{j)GjmLOEaB}oG!P$n$y7m{pv>B zmsYoOG~?|RDjz)=tFnzFJe7wi9r`YJ+=?wSRzf;of33^+$FGYY7W;PM?5YJSu&@W{ zZQMxWHd-OB8)5R^&Eb9aqLRVS3iZE*3CbUs*k=W61}K~emPNx^*ziJEHpANJknn^m z1qx}F^F(JTrTl;zt>LM4vh5sMjx%!c&uW9&tbOV_&Ncd-`be&dU73zrI99C&GD?$s54>4s&FPLP zNDrHPrQRRa@VfOTwiRR%0*B8t9=O5-=so&kt&w!FNNFSJ)uttXpuFC2xfaWbj! z-dg4R@of%0eqlSGSR;iNGd55KFb&8pjlJaF?7#oksK6P^#AvqCO$ZGfwOry-A9-}} zv}l+7@d5{|YG5~X=~EQ-K)L-xLs-8^R!{)PNd5AL)NnACsTY2lJ1l4fi`Pl9HTEMR zD*aH9eb-K6@C4c(+st!h-BPYh z67rP*e{$QY;lHNf_Oru}r9Y7gS7j4b#0ZfPF1Hg}{=sX#15(AaWnbSl`vuUwJHa|%H7W*bwCq=o z43v=GFSlATW&N6w=>4m^eJv=akGd8TtCUC*hCX@Y`?K~}z!yxSWj^K8CEjk!v*JHY z&xleqJKmkk-p4oh+1v3?NiDj8OA9x#$Dlmhl&J?Gos3iJHJHCRoe2IY=BgB7t=6{7tFq=j zCZfsl+}pdnJ$f=@e@~dn%!%5fQ>fUfrB7cF$(^2BY=wLD+W0%pU4iNJ+&|icN1ge) zU7sq3yHe=bRK+#ZE$;B;TUa z8RIpO&v=KJC{_1qEtzJt_STfwXy1k&tD424wY}@Enig-5rFB%I2rrfTx3WEV4=0y; zj$eE)-1$LtN*mlz_1gx2g zMmcA+Q<9cWv(zGwAMVfcYBk)G^ST?+vP?9Nfyvt?8aYf$#Ta~&II<72txbPS;!dek zk;(#^Wxo`zOTsRLRW&FN##2&=84CNjRf*=dQ`c);=PqW5ku7BxlB)r&MXf*`L_~^_ zLZ*{D&HbNTkJ0>**|fVy9T=sYP}X8fr&dt;P8<;lYBcj*aMzyi{IvtLB{L>J3^t=P z)JJn6+_dGGCUrXPeCH{w`(AvoO9SR5J~c-84qy}<3k5QI$kkp6jF*G>S0AB42RjSj zw_B9+m0z7L8Kkzn=C~MBq@uyT z)T$RE_(--sFSdhCXE3Au0pz#J0{2|i1EgGB!i{LiTd)jVkWAr?N5zQGbv6lK$Ng|E zjJ$q)(z_Q>jBU)@>KDX`x7*St{qeQanXe0R+xsV#?APXS>uX_)tNvLaPyCb?1`Sh- zIA4l9E}XI|K{u;XFEmq(t(q>kdC5kfd$&{owjOFr?ntJzw#x4tIypllUBC5PeeZ!X zO-$OTig?(RQ%9PkUI>M9oWVyY?> zkF{g^-Jb_*hIo~(`wY8*TS=}Tdo&su(CSDUv>{)~+nf~6cZkJn-J5Ez+bmnj>G5jrZYE@dBM^)$U-L{44NN_u3hAAjf- z_uiBT!&2eEXJ7TJ=5KkGG3!g0b7cG7|JT;FM@Ly)ag)6~3?T34Mpz+001e;!0Tkp7 z0zpkGJ|M}4-GsCufn*aP1QrnxLKG12g7k3k&>ml?k!nLZ9z~$_g^vpDv42pHww}YG zKvjyh=&Ak9e!F3JKJ(Ac{^q{s&di-zxHF?PPyV#!&@=nvpIk>;&sPt}uLTypbmVs{ z4(zDwbM4MA_C0%@>NgYyw|rO8JpGfKvhFKd`9R^&@Aux*>u`Aai~nt_9QXCH=jVOC z`Qs<{@60_u;l(3=`X*A+uwwJ7hsQ21T;8){`BO`9(e=r{HOziAx3q9;%hjPH@=d3C zO8Jz~;_Ub5Y+rof;K}*hOUf6&bog@Pti8YaDn7C9XgJ#Ry4&s8A9`F2?0au@=hq5j zqfZsI3_tp|d!k^dapH8@fNy73Reu?Nd98L;Jb$<3eV4aRn6&r$TPMP&HXWHi_tcj^ zD;zc9_M2{RJ~Dmi&);fj`QpJVtu40t=jY!#e(n4x7tdB6#{Y14xo<@I|2Xh;_MP4D zS~PX`)S_|I7u>6Ae5ftZpVy5JEa$UNXOC*{l^-~s$Cm;~Jo$D$az37+Kz{p?1%bcb z#^Xl^?%<=f056UXjBc-75%_!rzdIjb!=At{eq;eC3-$&k1bIs>*!Q#rcJP!H0O!3D z*c{}!djS4$29#a)21d32_JhFc1-z^c;G!Ts!FjJhX0Kd2Y4b;CAoIr}dYm8oKu{J_ zYgZl{q&v8J3AOTtAob>(OQ;wbG9@K6j$eoXc&dbokV2IJCPt|jk13^MUQ&Xp$4e>5 zZ#-ARh|TU_Kxy-V4(Z-dX}l{|Q6V*f6jM%7Hyw3T2zi>25w2M(u@i8i-^f zo3ocvInORfW#dvBlBM!40sKV(ogy?CiiSl1M3>U7d@uqtb0c7XJwio%b*X1kkexE> zm8I=o`NzH@`G>fyjB+_1rD41w0zqw23L;_cOca7{i2}H@f(Ajm#Sc}`#BAN=eHBzM zK6_NsvZ-dy_`Ab((V7@;Wlbgx&Z~;l<4C#TooUC@LW#66%}iziCXbqHUf$Lcz7iDv z=$n9jwUkQ6&j?t66t&aNhgALT}{-k9q!j;hiRaj0MFV>#NN!YcYYb{C zSJ5x~fxMwS#ew(1q0SLJgZiK?QXSh3U<2<~0k@5IkeGp^5qhJ;Ms{7I>x* z5b&Jwk%p( zCq`L8!k30%8{QM;^cq%I!PbLo(Z%01Q6!DcK-w$(rSpn)G`No{%dhwVp?X0=JW3`M>V`Kk zaes00yEi>_!!uL71urIJ=fqIfdF@&XcJ@T@`|D^}_mJ+rw}wwGF(4H&AX8?D-blZ< zLr={ARPJh0j=LVKLP0Zi4Z!ch(pwQqwyvjq?jI+OpIb-WgEOM_vHFni1&g%gQXPZ2 zCQi4FNX5W~4YBH~8a(=@dtoqVd|`OG_=>1v<(k)!AJ%)iQKVN#FiueoFgmT0u+F+w`dE02h0O3>d zmsV$4HpjM+J=iuK-Cu1Q8lO&9;~El~+prw&*FrAuYNdVw-8DFZZv$NiV_Z^%am%l^ zkTVEL=NN!;E!<1nQEO?6Uk$RRxp+IZ6`Qy~T;?@(CinzR8GSL;O z(difjIl9w+;xX!%HORE&UK7awk)WnVV>53KGQpA#+fjO98QimxHPA$j{ zajcZ$q~18hIHn`^BbfqKcu2-9)n^QRAa*yIya*OP192EZ8jT9H>T#c9%Mix~B!QSY zJ`BUnkNLX9)pVac7hy6fFP;h}itGB_@9Ms}ft&dgdqc@U*Jq52?X2t>7n{h;E`k36 zip3^Fpo>EpnS_GQHwc0G!k)n7Far#0gselyL7KP>!Wwy0yO=jk zen@4?GsJyk5@sr9M?>P?GOHp;$qS^aU>^GvBY^lY9LACrYo;o%Dk?&m*i&X07&qW* zX{4(LUh$BXm?^cmjM*TMcxMh!x)y7poe_|5&0e27#BMRKdk z0@c>yUy#J&B#xcVt*NNRH;ntlH{3lqNwa57)m?PaOk$w3+VA nX_G@gK{8IFSrWooxcXSQF1ETZT9E_O9M{SjIdbO0Svmg)nNK%H diff --git a/pdf/grandpa.tex b/pdf/grandpa.tex index 9cfab17..bf78b61 100644 --- a/pdf/grandpa.tex +++ b/pdf/grandpa.tex @@ -558,6 +558,16 @@ The protocol for selecting voters should require recent messages on chain signed We should consider having to manually approve finality agreed upon by this new set to alleviate the security concerns above. But this still gives a way to canonically agree on a new set, in the event of WW3 or bad initialisation of a new chain. +If we do not want to put commit messades on chain, then we can alternatively do the following. Every block producer puts the highest block number that they see as finalised in their block. + +Then any participant sees that if there is an $n$ such that +\begin{itemize} +\item[(i)] their best chain is at least length $n+100$ +\item[(ii)] the indicators the last finalised block height of blocks $n-100$ to $n$ in their best chain have median at most $n-1050$ and +\item[(iii]) $n$ is the minimum that satisifies (i) and (ii) +\end{itemize} +then they switch to the best validator set given by block $n$. If the same block at height $n$ is on everyone's best chain, which can be shown to occur with high probability given (i) for many block production mechanisms, then everyone will eventually agree that we should switch to the validator set given by that block. If any $100$ consectutive blocks of the best chain are produced by honest and synchronised block producers then this will only happen if GRANDPA fails to finalise any block in the time it took to produce $1000$ blocks. + \subsection{Alternatives to the last block hash} The danger with voting for the last blockhash in the best chain is that maybe no one else will have seen and processed the next block. It would also be nice to make the most of BLS multisig/aggregation, which allows a single signature for many messages/signers than can be checked in time proportional to the number of different messages signed.