From f3dfd50e359a22af98b09617394905b10091ce9f Mon Sep 17 00:00:00 2001 From: Monica Moniot Date: Wed, 25 Oct 2023 09:32:25 -0400 Subject: [PATCH] fixed typos --- whitepaper/zssp.pdf | Bin 422267 -> 422322 bytes whitepaper/zssp.tex | 6 +++--- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/whitepaper/zssp.pdf b/whitepaper/zssp.pdf index 694dd6cf89ae5bd6ec3147075b17f012a7f24f3b..ae7c0bf55d073bf0f1f5a1a22c6585810bc3c6ed 100644 GIT binary patch delta 30542 zcmezUNOIF-$qh@`nYvmgFJtdvZae>Tvnj_;E*5^h2b-He32px*#8_a(Xfj=KHj`%k z)#&K{JKHAJeP5sPL{(}{wEGf`z*`9$H$1lZCUv9xaq+=p&mG@AJM$t!w^XI{*twsd zqmOF6GJA8{VzNRvqnmHnqoomFueKh|DBau@cHds`gMC!zR1qT|mu-_exq>yrXWyMX ze_o5#rNDiUj#tGUd7q=5TCWu@*edyr_y6&G*Vonm{<`G<^Y`=qyj&Wlz0zrJ=Ekb> z+I+G1+g8gri|5bZTT}k^d-?y5DvvztzrVY(=Rf*W1tKIPVr%cqnG&&#Zs9FCBk(%H3N`#%+m1_KKfAPt0ZO_-q!b z+e}JX7;@t8w%Pj&yDO%)?d&toVdNE((GA(TD9mvCtdCJMx@t@_TcQiuQy9QzV`pO zwpAVN%idplaCY|cFU-f17Ulh#)UxbX&D5ig6mOqrJGQM7QI^StNpbq{+UFDRQ3dwF-g zUHi?Ok8}-k58CGYMo((VU3sWCByZv=s~4wxmuiMsaye?xx|jZMNtW+M)?F(YUaAQn z7xhkjGpjY^N?U6-i`a^#SDoJOxFsPTGWBTtE90pFek)3M-kzBo`K2s9B%zi4;P>T> z?u-h-Q(GtY2|CpOsorwS$@Yxim7Q^SZ-(uj>Q!%C5w==h?S#*Z`DYKB^*V;JtbGw# zdU;D~{qEgS>Jzzy`1zMx^*nYIyQlbl3#&s=e?dWfNyxidO!mv?{R^4ldh&)^r_J0W ziObkC>z@hQ%W9o{H2uudS~KyCt+TfLWSio&syW|Q_K=yn*6gnudnSix+PxJLQ*f9j zB>87{I+GDo{nqI_TmL+eH0Nc_`s>+mCv)-;&$fh1C-|cc<_LXEzWjgf^naeSDwePH z4}2YH=3qbJ-!Jn8|Lq0sjT3x-ODvJ+p1sUXCBM9Ns=$iN2TLzs@@C$Y_G7!N;2*~w zDUIQ2Od_$zHcZ~M%Xx*r$qXfh60tK242+#uaIqg;e%SKI&o=w|TwZ0l8OBOG4xZ|{ zYO!bTs>0h9&DSO$uDJ00wTsFE9j`q5qsbcYHoRv3a{FPrZD`Y^+n3fi?XGp}TA25t zFns3Q-kTfMYP_bU&xp{;zPM@W{QUj(n^+!Bf6Duk*WqGH+Qvhtm*>bC285?&9_PtY zowr)_NWr|Bn>Wni4f*zb&AhYqEg{^(Reg^Vo^kDE`Dk(8ujz-Ufq#)~nx^ro*H!f| z{+F7yvML|Xlu-Ry`||ol!5C^E|IVkpKVT=FCJPe((D=&Gk`+ zpALu0b@`m(IdJ)xlkbPDU5=04&TcEyRZ283JN8@u%(B0G-q!}KUS|CN8uv}7d2{tA z7>Hl~DYt9WzKP2EDx!C5>g9%KGQ{T@)KdTj~5EINq9SVzL|Qs>B&=@ z`*mO5T4-Dksqn3<%{spSV-H)e+vWv(>uzL-*MGd;^!c(uXpu;@sA5a%!Ts{dM_+Ew zZdE&cXtK6#^9zIXUvnn>))qIq(%c$UWf`zi&^TdM!VdY#GbA4}o@R`BS~E-fy@~SN zyYth^N@m?RYv1+VCsb`=PkKU?)2`>mp`H?ripH~FXD*x@t?r#S>!yoh_v4uV90KkF z9idIn>g(#gIFByua5r_yN_UfKytm`6#;KbVUvx|JuUxp$OU~tW`hDB#hsvc~LZ1!x zmdZ@>$X7kCs5whh<$2^2;|r&@N-P(4owxB)K;O3X*R5QVN5fVgJwEjokJc5zrE2H2 zwx+DQa)IstDZ9%LwB@%Z`Wb6KbecM~$zjRII~9Kq@~k_R!%;7A&E)4^o{9HsozF*T z{#4F?;i>&pNOh6_Ee&sLGsc~Mj_dSIQr@@MY`$`gEtIcHbDDZmb6{OyP5?*cxi5m^ zEUzc2?9(vQaC`Op0M`xs-ZtH19i?V&Yg|RX9|M**+=5FTt_vQDE%9aV4B5N_tibiS#5%X51hnKmm9F_SZEa+hznd4huH32!PJ8TYu2B;Cq=08uUX-!PlE>UX5|iDJP35ZEW15^G zYggl&JYmkE*B{p~D!xq-cy#K;( zi%AEH?WE;guH4RBt0G<#m%%UZ9kjW`tiWC%*wRou`vmRdw5l?aOIFQNu%e4E* zd)b;<*%NmPGxH@cTAuYp$o<*b*W$0=vmf2qaqys$eo?)2c=iIXY5Fopy)S$gPL``q zy^!Q)FB$!d^WDeE>9Zaz>=MZ|*|N)GTS1$New^%Lo}3fYe_oDiH;SGUE@!<>bf0tE zQfFKH?Hs-R`bi(yZO*-oN%j$ccbli+)cgFSKYuX((6&5ew1er_$LYTX3l0lAFdS>0 z+h?4r`ygJ_@x)=4`Z;qfnoE!Pb!_KX_%z*BU=ugb1V&@Ksyi+U-%B!7$@gD0 zIO_6CJQJu_{KTPqSjFqVe4Fg$?taP3&Ee7;59`0xMOP(G zesSeR)5?RbuU3SFya*3AlQi9WvVOjW$c_fHX5m*kdhB7JIvzNP%B$bMU~ptYSB-?_Qnpb^D12Q|GKzoO?X$TOLnU*s>SDjwY>M==JN*hm+fq+;ugA&hafdJ6TV9 z{hGA8^|43l6Wh++ouK)`!<^gn!=CmvM-AVLcbea9Qe+oklM|9|51Augl+g z+eKcpo*lS*!OzLn+NEyd>YRN^QXcqU=>3!ZXnWV9Y4uf{_t*pDjCOg+rkzV+HfikSn#u4jxJPkWN%CA4{nd|_ zeO3_AQ{YZ+zwrO}GwT~-f`Q+7{{?)R;i{W+_P2-1h3CQZ#o5+zFH_=KA;-<{*2Hvi zr#bW6NlUgV*Uw#aSLUU@-_+fEuK)0`I{tHuW5c}&`#Bb`CjIdcSQWDRfwj>5=v$g8 zX|BsfHPR-ZUF>x7e3P8K0kikRNKOtJgH@9%3)&qk(^!_vMmkC^S&l4Sm;JE+qO%5UoKa7e*e*@+`jmPLt^`)TU%7>x7_F|`kNaN!n!_t z)gAHN{!_De(zasOgtny2JWKGjOr{@V~%crmZ|3uJX$~iviyA%PTMN!ejl^+wy0^LvCzO-K*)ivf%jj zzE$%SjPD6By|#~1dAsM4jnA!gL7rtTA(aw@`NinqPa41fCfMGNG`LrvdB}RrCIea5nu{mi-k4^cRkK<} z_rivVSu;B?7R#G${q{q4(eq_epGrQynz}c4>c!mEJUUbIE>EkrQ*Poq-SEMrAcy2!K_&01H!a9`)%Uv5V}ElQEHedhkhiTTocL!ko|Wi;GwFzPN`9ZT0h2m)+dG&4w-3{P5&^nhX{n9CJ;h=1LfP_Pt48 za(Cb4@Lb`BH+D@S(FHjlmbs?Nnkmja_)vR-Udhv(tuyZaZQ%v3yERStT7C89q;eyCB)AfEFe!b1)>$mKGi?qJgZsr#kSNQTs&2gQOiOnIE zhr!Rj2e~ZQ^Su$@=N>PqvbOi;o~2*Q)@{kmd-X~Du;AS7uKq`!oM};gu3kCAr@yhj z)sR!Ke4gHC&jhaecXv`w{fa4SnWe^-7^wGId4g;`W8A+iTYavEse8%}iO8*bykds$ ziw70gjdenp@9+2^Re!E$bE&0zp~TbEAzRv5&c)7OnxPOP@+E`)l`+>f-@o0NKUZIS z*LrO40eu8e}1k0w*zaKP1&BgO%-PtqSXId|sR3usQ*S;h-e=m2OnYmg z87@;P9Deg0b9u+y#U_WkhRc%$tx^hkaJwefa0mbn!&Fr-3^s&;R>N_;;YTuj^Zmz=#JoK9oz=zHhr< z{kZzW#bD&R_n&?#JtH53#>L5C6XQm;cA} zsJQ?C{xwaxH#KqQN}lV%X^E0gciZ$G(l}XZdH>e2E$qeH!z*QOFxH0#d_2ED$KJ2J zFyY7NOSiuz==Ykun>WK|#^EcsKl+It{2V)x<-3DkiNTG^2+4O%qK$^O!Th18zpTrh zxAft|`spXX9gB96*|XF8@`9|Kv-4|BKXA?M#V-p>BMggnf4owD`D05D zo7mgO7CM)wY_};%pQGfR;GULWxAkzwZRMa6gKw7&ic<4uWo?PIp7Ta^&+Tkc_WG9v zZQFkw-?KBgGNI~D?!3b#N336znT2W}?K+-w=3?Ksm|mm$*QbxkEvY!>IN|68WxkXo z_9<%&#rgEq9kkb}e0fZjGDQEEtbM4J&~zncRic7fS?$>=8z0|y zf1>Vj=a}E}g9(qf@T{tDtUoT?H{Eqh_q}B0uyv9QEv<|f7CV()_0E6BxM{;tW6Ad$ zwOYRx#^1Bv^0b!e>4mLpEl*t7QuU*hr%_3lGnKRY=JMIUgmak8IJIU~Yt5SCI%5^n zHoxe9hF(dTQ{OmLe_nDREOW-wgoBR)rXP~Nek%OC&6!O(&rN@^q_JuCO{?FlIQ_fS zjF=}UXWiWMP-P;odV$lknuUj7{#vzt#U>BghTYq5cPuvQS=7IkcWO+&^HW!WkH6H! zqHlkwl4)P~%q6KQ`o+0~t!|U#?wmMzV_x<&=O+GX{8JXBtIddyY|s+uD@fgR@Y3(w zcaL*!*x<1+pv_h3^`F3_7em)?wLCT{`C@&z?yGkmpTdqD)V2=sJ^YNVJaEMW(fX~& z_pLhnSM0LsjjxOTJodSMCm`2gFGpzDn>}v-AC~@|Tq-b)xyq@UJGjWn*2+_F-@i{s z-?3-?-DFwzK*}%u-JCT$7@HR*YMy$qTiAN0MaE9W=wO|Lj7zUhJRK%sIKk=ihnj0~ zvH5HU&+D(|oGRGRchrXMxt%m_&Fk*J^Ddwhw@Nt77_&8J;n^Aoi?3O)Pd-}7;Ik+GZA5d#%P;>Il&n8{;Q8IHrnx%4 zVrNfBexC5<_pI=i%9(W=c6ytgjg8d0e`n#drMEKWbe@-+>R;79+pJgR{dp0O$@wjJ zoI?0^ozrR$=IjmCD}D6fYJH4$%qsEL(;+K1^M_fq)bSWxSyK?OC&;2fxXFD=u(`%h zCobKZ(&i}j2?2YY+&laGrZfmXT`9fg#oUQi{nu7*nz5Bnr8@Za2Hq^$e|k~v@oP#W ziUc<5{MAi7yY`;q*M`?jcbiow{YrGdsq4F$>8wLUriAWS?Ufswqa`cOZf30C8?pGD zk6E|(-cT0N_RNWOBK$3R_TOzUsL!@wJ~Z!5^Yh!+tTUc$t$cOFX;TjO9m^=Y-f6G( zrfx2f;1xW|YI*p#Z+KWsl(_uGvdjQ4u4f)50R|I3-TK3#Prr&gW%r^!wpm#?76gz2U$% zChuJHqT>g*Y&zk^GriAwYP{sSgFMVG%@wCKGuSs>Wjy6w>hLsesnkx^-w6j7fA^`L zv*gmY!x>sH|6VrXsEm-6H?`R&>l$pg$=7m@M~n+wY3cDKbA!3t+~R&Q9TU6$?b*49 zZ0f5FR!Vg6dYeg0=&xeGmtH7ovthP|Vpu-gourix!8J>wv^Y;MI6EiC;nkgq_L@5t z-aeb|Q^+VMSbREr;RHF(6H9u1Hz}-8ijACJUC1a`|0wa*Z^<_T3$qPhSoqnhife2P zVE9#Td-7k>ua;x1%BNpW|LQbt>*g~vyLD=hDD-ZUoNXpOQ#4)T!WDsKyDQW?KZlC2 z>ONa``RLE|e{6+GdI#KMqB~x-*SfoJD>*y&(1d!;6Z;jWE@7DU^PlUl+^Q)m{)Y3v z9Sqa@XTMuyuWUp8>gefA)uno_hw@L}{dwu^3!h4&Pz%s{oBx6pRT9-(=>KRiOQ4*CFTj~D+4~*1?}>D{g)?F=?vG3?(R45Wi>VN?pypo zrhWeX15Zn9OP5HdJk|Rg<)WxCWvjrPRYx~0e4=vtNaK^HwC0@1KVbQ z)=gh0_<5mNh0XKkR~in->iudX@Zd7-4)l=c{9V`xgqo)H^HF)9coBD(cKBnZ1Jcb;j?m9a@^=dUOGM zL%Zsg*{Qn~ZZ0zrRod)6g|*XvXQK7-Hr_1rgfI4;iK|y{oFo)+fjQ@KrR-TR-L~Xy zv)i6kYM-lE^CCea>&ow!P4y1SOzRrz?iGIv=n-X*ERU#}ET(I5EP9^8oWAH2dmo-} z*)Eb5C*)(>rSOP%ri0S1^mm_9?tPLlnzkj8-RQi7l~ZO* zM?9Iwbi44lxI{qB-%qQ0nvT!r17xlj-RaFV#naQ(J_xPF~iY-gTZ;f0d=K z)df>0o8}&AF@s}?s@^5Xb{)Q8*1U4(u9qLCO+78Q=X6@d^y)<3`tIbS-EK0fd}{kY zPT5&(ux#G!sL1nG$+I@p_DSy+e<)HvOS%5_Lz&rEi+(j1rfuah{qHGjIC*khCDl9{0>K-_kAI_ zS))z&C+GeHOE(=zXr2B<*z2hMo(MhbyzR>pncnf#3mVO?Pb`rS|IqImk{+cpx9#n$ zPG94?wL;vjDPbE$KU`X~eAPCS6{e4C0+~Mb=y=|+5naLkAX6*xjgy#4%ce@)3SQdxlJ;cW@;SEp^3QoTO`%r4=}L1Wu3PaP`J>^H zAaZ>lqoB+k-Q6+sHs^j-Tb3tc+3`i;;$%6=2PQvX=r=Lf_Hm%r75O^ZHTTMOP3^z0+P>(Wkx$XriSOo@O8z#! z#LM&}lHu$OPC*9AM!ndG8xx`hnTo|*+&aZuCS|${&Hk2gafe3(_XG!}UB#~3rn{IQ z(hxcSUVP6*lh2#iY1|Z%_iTJLH%hENe!1%#9gCu)YuCy0PkQq}@A~uO8hh&{oA=&G zs|c!8p7chet+0N^`kgzMNx3^7?Xf7@cWZ|FzS^Be{M|d_1PVRB~`lml_;hmq5mr2;-?8r$Dh35^$Kh2 zekUulzw35^*ZaFnb*GqE+RoTa$vk?mO8b3H0?(So^$fGFgzw~dT~(WRp5@Ep2hmk~ zcPr*-cTCOTzjaNF&By2c(|tkx8$09X37rxY=H(N)-K=eWqIva|#(<_xheHF-td-@7 zk`phz*7~5S;kn1v-4-HCbU14F^{x*8Y4uQj%8RhV*G*q+q+Qwf?mg~z?B(L>c2$zncB|$;-~} z>2vVl+Q9x7Nh<;j`+q9@oaJ<{nt^ZSkLR4p_cx~)uWIYeIJ0bHQnvot_UFc_VrM%Z z^{Gr@@tgmY;l-+XBH|MZlxy`aCp+()n^f6wNVG2Fu;<=6SGlvFhSv9N51W(_rJM1j z%;gw==AwkB+RuLLu1P$t@T!6J_NmvIe|~g3iY|F{)O*1RR{KfI6N}#GFR~PDerh?r zOMa`Q;w~oT81MB@=S`jV-Q?3@Iq}9M&NnA3_a194UdkO~F5CG3h4(#|WgBJW-I^FG z3<|5n*}K)3Tz_@L$0tOq(E8uGSifvD^LrbFHWhdmwtnRK$@gHn`(sD#hVFN4E&Eyy zN9_5r`GjggRK=s!p<+#@=Do$?d;4(+p`b zSH&0J@&DKN{AW^EmRQmLsG70;Q8m-{N7c+9{P>Ny^nFtE(n~Uo6fDinOr}3P#Vp2b zVPZP@pptrh?-te&kym17KFW7vn=jp+d#QJef*}txk0Hx7#%0CTrJ&XU`u_X3)rZ z`H`F9#}AguA3s<&%$&)qz@h#jJ}oCr+29WEBc`c8#2p#=*p%w!a=ILjF#Dfo+VEj?Hvd9JQT35KH@y{ z{~y*3jW-zoJbJV!roM&w$=rhl92^|18H|G85}vnrDJ&3nxX;SMsJ!RDHtXyuwoHtZ zA3Xi~<;xRBtKA=W9C({@qkbpDJb@Nl2mUu~ZPg9A4Ex#HGMMKctoJ+Ce3r*xL;H@u znb*rVx>hhfOgPYdkdukY`L3MOorPuz77rF$IK=x3FJNYN{;!h#&+`G(pHef1I=O%Q zFaH(&Yc0s~%iTbLrKqrtap66I6|x7!9^BEiXng5y2ljh)SRJ>DhN5OBu`;)(OpFNy1b%7a|-nnxL8i#m) zm)Ca*SV(*+cyn)0{k=8HSB?t5`Ypbp)gd>ho$cp-~VoZyw5RvzI*~Rqawq#1ZxhF-}B$_r)_vU|Hs2m4+ZoaB=0wW`@vYV z-@g98as7npz1&w${+9nG|NZppMXLY5%#?aQU-R(rmaz8k&tHJU>OyC)NM|UTq zOY2XD`hWlDx{7oBT+O|&-s$RsZF&qJ?Pu3oEd6it=HvChoBwW=e$(*(+|sw76rv0o z-pcpxe<1vf*|z56e|zn}{S*G%H~v5Oss8eh|7J_xynFJcefC@a|NoEkmb6(^{&%go zu*Uk49)h2x&N=PZey@}(`a+$T>Z=U$t^oHo%b9t+au47^aJb?hL$tWXxA)Sb zf@~j7{WtsD=)%glC+mN`LLkHXYxW*82UdSJ7pnij_}?*!A?|hk1!mzd=0ZYM4*b=> z_y<4@!ZFZjjm;c9KXR0r1KP)e| z%wFvI!*lk`~thWE-lY4(VR!ytCZqYpVcDdxer*+-^ zGf%}$7T(0Te~Q2CTjiL$VM)6uL?`}u`FrVFLE}xfKO>Lx@3%hfviId(zBfxXKP^1@ zNdFUWb4kROJ8VVOb@s7;dzxeeZ%^2LwSMO3*tnFvjY5Ov2x)d7li~nr6QfWdGPHe(=uGr#glAp4c{5DXDM!f8FAs zQ2b@z#vijQ=Wq35X522PrKT0^Wp#!7(Z@`&`^(ugUx{?@OI4Nr@bOFKr*)mW&qeB% zGn>t?kImhi{o~|*G8!L9W>gG=Yn)aXB)%cp*6^7{oj z(-*$m%V{p1uEqT%Prvo~1n9&T01Y z5l{52>+kChCZ1ns`9k8$k$rtqfA;uBg(=p`E4={ni<6 zRb9BlPiE&*Inn>!x{K;R+}W|}ea)l0KQ~qin$H*U-#PbRFjGwKauK1+F>}Lb9pB9Q z@sNqwqu#$u_N#cA-m<*#cb{f*d&}M5-`ttQl$uY8PuXF%qNsjH*`k0GC6*r|msHn! zuC6!x(S3Ev{|_1;3~Y7@JGEMCc|OgxT2G^VQyX_akzG!6i zomD;aFiZWVuY~MQigBI&f9}M+li0D zs~08je7!B~j-kP#n$+iUxA)h&RK+g0~ zL-y2PhRvMu7hgtXU*moL+;g_+=jH90ON=Wv9ri3+>hS(q@=x=xm&L4gpN2_ria&Z1 zdB~=HLddxbH_BhVh%?HeQe5I!smOl`3l- z^36_pBQ2$~Y#R)$v^+Pz;92~8Y5k&V`Qw3H@e>XP`9*#G#Iru?yhlXaPpjLfJ>pt7 zEGx`U+rL&^*>kSjio5lvs|$O?4Ra0G-7G{U zf=$lbc_Mwqd!AZ|-kN8AboS}Go1VpgzXY}&{l1{{Rqr9@KNpRb?>w+JWn#VLZymuB zW1YsQy~|ea3ID>gY_?q6{mpikrLTS&ZkFcV{>Xa%7X7e2%aqlorM+ZHdLKTiKD_^Z z`Du>LOSGld`=4_8-p3!a?Azz7+?qYYk{M@Yz3XSqQ+TzY%(Yk2M^MsalHvrvznd97 zq-w)Y^;FMSRM%=zF7J2w7TKZOxoxt0z0^$db31;s_*}Z39(9GfdcT)RZp0`Ag*ZlbjiT)GbYLu_ax0Ks| zdclK~#74t+`!Ah&tEG3{ZZG4$_~VmSzy9%+&3OM&{bRw}Z1Z@OMDJfvO}>3{YLUq6 z18XMM`{;_xhCTJw%M$du9v!&!jX+(vsdUT64cRwbww+k&^Vn z{C4I$60ZK1v-Wvw&^+b&rUU-VL;1d5|1u5l%dJeVUi9xz@1qlbqMuBqw68jz;89X_>A!U8 z%;aiL%guS_ujdHukM5c!zsa@Z@(-ugqVlwCirSzj@x)?CO_mEcV(q zsXc67v!KO+GwEl^&DpJPmXj|Azq&N_p~U|c+ni^*XN%pR{^{+slxa5dU#?lLjJlTG z@MPyVcE7J*7QU65zI^x%v$5x8q{7_zT&Cj4bP*FyE>NG zB&<~E61hG1^yih*HESOUsopcT`+lQo(JM8N{tYvZXkR)%V6&_ZP#~2{r;z|UHVLQ)v@Dt2k+`Fy1e=Dt_NJQzdcKTK0LFg%}=sBD5Jcd{S%)^PoO<>)FcbbM*uE0yeJx1twce%MjO?J{e^{=Ehkg|VU5Ty_hhmWCZ# zdbvsS(5^_Qt)`w<(%onAj^@Cckj)=b1%MJH-V!vwiB1D}0}LQLmgmntO3oaQ92= z{K>p)))~2dmYRPwbf@dQXA8EQr|dZ7e$iv{9nON z%j9_2c-N&@ulSRpAdF*4*`ew~S{gReBk8{>WeT?`#S9_OzPn_Dz16;@2 z1Ql3UfBX5zzvkvg=C6)dlMYQi|MVtXB>&_^Kdx>rxKX$=+aoA#>G1`dyy`dn_@TQ% zJ23G~_pI6H*SvYJ+dA##y`R}O`YRshY>J$)kzuX$UJ*&9XTe6YP6fSxR8$uxt#650 z)Wpna#lsuAx$;oJB6Aagjmr=1xA@j}=+a)Zg|S6Ed%f%fL`vVM-uisdXGxa0{Qjsd zPSdL!EY6=!J+Y3POLl%vSoNuIhkk9Bs(-IO>34me;;gvImuuf7Zh699a*prDf!DR( z?{W$zZ`(O3{mHpAmeXem?@ki26Z)|w)}gcJBHzz1`=r9kv*#SURJ8F7`+Av623Phi zkXu!?b(eAIiS<9XY)hK-qw|-aZP8`V^FP=ByBuaE!OALslchoAWwYlFE5pD=Z7WtT zdz73ISpTa0wyo(uqo|vf>@N1NSIl71k6shC&dc#0mm1rph{+yj45UI+*ye?3q&xnN z{-OH7>bQ3KNyQ&~OG1(peA_F&uk+u3%i3*=x%1fqr43zW+dIvC?5un_4qrHXC+d=( z;7q%|=-?##Z(Y;Z6fLciabt?{s&-M>XnXX1sqvg5vrYBMQ#%r`Os+b$Xi3W?ah=;d zN=uH!?@&7$`eTOO98ImL^SP#b&a{LDFMYbP@#oBU#yjJkExKzUq&92jPxDSV}O#N|PM4a(Y?#iuwMLJVfSlvq86UQX-%R_%{ zc-CF98?pCSpP7*(!dq`QTTkHLgL7Z3dA8)VsW|^BsrWYai0#_1fw%6m%}@HZ=T_7S zsmzp|Q$ic89W~>2D2r+;-}z&a*vr|JZm?x;t&hpFXUF-c)bC+5)s(S+n(y>ZfU8}N zE&IaPR~iMAvrq58J4tN$2H|OTM%zBjl1O*{&Xp&#BmQJ4*OK*bV;wsJ>ji#gKd+4s z=nj|R_Vzs0@owD-t;82;Jaw*?U7PykzTCJYzcX^?mg)`ag^?#4ToR5%@+-A|UB<7+ zq4He%pV0}A{NI|HKN$8ZyVYbu^5cw| zSI+%q$M@fyUlhzs(rhotf1^rU&l$IGs!Ww3x(R%TWc5gH7Cdl zMeXG8FucZX9BAHf;Zzx9lQ(47w|Dlv zNvU}LDDac9TL0t~4?h~G$-iV=X5_4rQod5msJ>LtcIubY8;@Q6=)wQ|>s&UjXWg^^ z_3des4EpSq8O!>A!|qV;#;Xr4kIxrhqM{Su7Er*adazV$QMcy{)vV0x8)IwE=TukT z7S`XGRA&&7E0g}bN%E`xPtGIi+Wwx$boVq(V&(LTSz)oKYfln?fzMf~_-jd1>mz>! z`nxr5t97nFedzx+n?r7&S5|A!PCs@+fjc42b#C*6ig$DCWai7iY;3wd!MmK(#oEln z*)Lj8`5SlUv8lOd51hN@yW&7qZlQb%W1NCjuiQbOXpcvt#-vSI*S=v>TOs@3q|dETGUCkoe+%pX=(^uY%KaYgyZOwtMhkPk33prX1T}14 zyw-hY(~Vm<3_K%PaKihpY2qC{pfPRw7Z*rdAyyx`&)1*)3x;{c-23O zG`k&pno_^9M@^~tfzIT<;(HGD+q2(yUXOIok^g)2=i>fdKdQ>^Ofz1@X0Yzg#l_$E z1;4qzi&uQ*gG%?k8p{GKg56K0^QYZ>QFyH@ZJFckbMo(xovCV6yMNc(v`&pHc*Pn0 zOFF80f%UhJl^1%JOk68o5d5S@UrACbzV+$C-<@+^mOjg?t`DC+Y371^*XCF{vJ1-0 zxUg-v@5_|in(sS)u55@%D^b+1S>1VXf27{2qD@Qde#`xRyVFqfbe*L2ugSCdyB)Vi zZsfMN;MSPo7SH*{QOEecUG3Y)jb%Bm+3N}{a`+zEaB$7*%jM5@dCnobJ9E{&tBW3H zzwX(g6;Weo_=)>)YRAL+$CZC}7Vj4P7QIf0dGopAo<&bt6K)v3RC zdCo1VmwCjqFU+=!{WkUU%1bd8$8|1Fn^0(xGf`8%{n~};eb(D{=2$(+G&yUjpl{Z6 zt5nr~vw(EQQsZ~ecgf~XZj9To@2lg72~wro_Rr0HZTx=c{hn#}a=EvM>YS}l<9!$H zInj1)^!|f;>UKA5UaE@FLp-Mg=M&ozC$ZTzon zuUuRA%`GshAb@+G;CkWt``yCU%>G^T@9@W4x@#}QEwenWWn;)M@jYz&G~EM@k=v~n zm8OKWG1Tw&JbFVj)VLx_O!af=6TizR&(8MVvh~PzoxO(N-idqY#D4j7LeQsWqhew4 zne87REfC+eqd)Y9-1^6Sbz1v>R$dg@_*Jxa%kt?arELNy)n$6k%=G7eF8t&t;H&-8 zD?4N7MfIyQ&MfH`UA4@jZtB!M+M(-b_@C#r;^%#(o~GqCvHosc;rGK|k`1-0M5SJR zj#b^@9B}mL-UA9e#d{;;|Sx^-95!!kkx*xrt;58X3t0#@0Us^ z-^^%V@Zj*8mD|cXlz8u!-M4GDRgKJ42zJI1|dd6Fyod;GedAx0xa+hzfpQp`Sj}#rvr{Aip7pB)QVHH2P zDN(7YWA~~LYuJLHZw)^xyV3A-#K)L<4;8B>ZCtD2@6NQih+j`yc)_3D-x!!yod4p! z;oj@B3)C-2KbO5!IyY)c{As}{^J?c=y_30h`1+4NkGKUhuFw4L=32b>(bQG7>yoxI zEj~KgrD=Jq{JC>t%+ELP7jOH-@;W`Spf8~Q#72RVqbmC(W|+ON%+1{scpzfM-Z-Xc zHRf;ikG(hfz9{jEXf8XGq^)`Eq1hn=evt=4%eOu+aoJrQKVNW>r}$e1Rk;auQuVoa zT$;V~o_WuIu_j^16{VY>cs_Qg{oWc`+Vj%Q(s1J8fUw2)i?5_R@hDew1*I%|aB^wB zh@SQC?e$$7-#eaZJlW`CAO4Cz&xcirpV_u5Aky=z|BLHS*3@y%nlU#;$AbCA)may+ zv{TMjz9^QKxinA6p39;qiIH3P?&_b?Eg5GW{AL`s;1tp?UleA4yO{rDPv)sPsjHqH z?`yupBIkdT{lXN@FS%`(`1+Ow9Ld_RFL!;f+CpPB3u)8(1F_#dTy>p~u<7--Ps{%G zl)?MN)o-mQw(Ge4<|xXKy2pMgFyq6LC8wk=c(tA7>{m{VGH!f%tMK*Dp2vdm#>(=^ z3%1!^{M|YC*NkwtZ8y%PS3mpw(Ou@u)h#MQujGGsEF%>057 zEyAK79@|&`cKb_T0j=z3lZ&UmjGrA9Dpa@WsHH!ja?m_usV9onXZGutDVQ0%?)iM^ z*X^4XUVXRcERKH2)jDb3#2LptW-cmOkmmI({X~EEsni7>0bicHd%DWnyFN_T=D*7F zfJ3p*WIY}&KDhkt%zXzcQy!X@ZNI|N&o*gu-RI&%Jn?Ofn%2&2)}`!s*3|g%KU<&d z920+@Z>iX);+eq*_iw6MnbK>2$^3e3Gt^RHi*S#|L0@r0+xOFBdKn9I2+QwZTv}{9EPksiO8%-zoL$0xR{8ANs{v6y-^CV}E$cte#jWJv zH%;{3k(o~S#CuA1SDF^vlqR3;>t4fX^EYJXv>1&8T9e{9clx*;|GN7&^UC$hV^?$jl*?%e@O#UKN?$m4eZh4w(+X!Vbk#kN5ODbtuG4y|Cek`tLNmkDZzOm4qf&o%iE?xXW0EGyIdj z=DLt1XRFF<3Aekfc3d&L_v-D{7rOV)-0N!GHs`_HIiKq{`|3{H$=7C_UD~tmOy^pL z51njc6W7`*FPLKgH?Xti(W6B-UQ`AL{?C}lIPvwqoSsu68>1g~-ze@c*RITMp1OY* zZ}JoKeTA}`dsiy%ofNkq?ZNY9Y5#NVTz5Z?i<0f&#hyQKtz7zbu2?e#={R)$O zI#)fk@?7<9(y2#huhpwb{YZ`P-dwZ$;?rDLXpNq*a> zeu)|XE(scL7YTZD`q+j7>&XJ!S8SZIfkm%y%Nu^d9pBYeg|F{ABfX_oxqgqAi>1Fu z`C-8vAOk^(>?djPc6dA&P{ouPFHE9Y_ z@^^mb-w)1H@cMM_iVu&{s(T&#ZkZJJg|1okN~lcnz#YLD59@17?uCELjd`BtA^Y&> z)Bjt9PR!`j=&v!a{c>n!(1(os66X#Jbp|{5F6Yj>v~;Pd_4@lBr&G7TUue5bD`7)+ zvs(RLm;VK&p2vfKzSd)|mihF;ZS5P^T(x%PBi_@5*v(uoOpGr&BC;l1abIq)g2$~d zCF1wY+l#sbdpg-viiV$1mE&PZ&i!+xjhUdHUz2?RILj#U82N zi>;2f`}X^#`_%flN3WLO;pDX9scAda>+@^bkF69jBy!{I%8ID@f^+7ymcMs2y!9;_`Oq z&WQbW-Cwk1JNuVE@w?5GC0w)pw(6ICU&Ir4!P6~Ya=Pi7>va*27~T~JJk+V_`}nh7 zZ1IwAoxHR0SJ^k1sjI0lzH1kBP53!U=G*&{r62yzxV}10aed5h%lQG0v$FSwz7h&q zEBbs-!w!?f^Ur>ESiz$~>eqKiUzSEqia7nmIpy{VSB zFY+%_`AKQ+`3&`&{1}`b`)BK$gvqiA9NzxzlI732ekW!;Uw8l21=i<91u-X9cCRyh zsK}|@Dp2ZwSt{duxhb!!kz%%RRCknZ<4l7aX^US!D!Q`gbaI?OQ+d4M-Jqluldrxu zzcJNN?smcYJu??Z9ZD{3yYa>5m(uQfCgs>|uL5>IRkb|0|7oa&Lj8*1UjhdniOUcXOwE6nRkiixCe?yPu8MD)&+)A4aXDVo_i?73(Xzrh zlW+4apR^^@Yl*&2S@hQxRcjqo6Ju)XPHb7<;3l8092k4>s+!#bF~P+*ecbQtd9f}- zFaJjutAEL1o^_gViU+1J{<= zeHG~T{Q6NU_<69m4l7sCrsuvN+jxpO?cRld?TcpZId0-P!~Xt9p0~PDH|_S{J0tby zis9ww$HGk~oXzAoy!=yO(S#XKu718~_4P`k+x2OuUlpym@cwa{UdN5p_`j=89Foqi zPn{lDuy*1lw%=O+40SUmG_AVyev3pPSx#@ZXGDjE znKG0rwXx|I-#*T1&%D!O$Mh2?zl%J(VE;fs&d*#nQei6VJmuYMKlANL=|1OCar)04 zjq=>nF6!Ld&rZ3ya{U#P{cV4Jk8m}*z6?@ZK25d$n!#klhXwt)k=;T4Uv|y>BjXfjte&~Du23f|8oyL)4I<`tzLu*tFJaMORPF$o^U}YP0Q^~mD9T) zRa-vJXfu0%@rnuY?R?VZ-`f{D~gG3q@4EJ~5Q6d)U6fWG=3f>$cjua9Ez=r3 zt$iwW2J^dSD*xANyAZA>R=D7ok@i`aXw?JfwbQG`x@w;OaGv^6TIk#2J$$eD1e@;8 z+rYuQMd*eM`=8{4(GRjk?plS^>ps@I_w={Xqh(UXf3KbBJ)2%Ed{3eA&e`<58OMdJ ze;g^7vaynR&tCQIep=Yx_=5LF?tO;wTpzwK&S;3Tm}<3Ub(7n?SH>4CY*LRF%m{8Q zt_Tk5-?VqfpFiiG&YUzeCFl1Xn_0=d9lifnMcVYXpHSvYPYdY^%0JR4QhKsLsj%L; z*7%G2t@8?xzMXq*=w_m@?&FouldbkRU3_i3MRwb_FHi1EDmdmU|RNfJKodFb}_h1~0ui*1y%GIV#Qg>G-V zyi!rx@1x)6=8YGBEs183ZCALJx-Uu0WwG=$t`qgbk?iNS_P^O!bs9+M|6lHI z0SfNgLPx@1-#R+Owq@4&wQMzJYJU}TwBqKUZEBfNS|P)kJwv7S>poZBDqhRYAsp*< z&fhIqyCHJ-v-;=8r>atmid{~osTp%tfc_d*UDN-*7&7=8dq* zlh-{1XHCpd%Q4Z>N?0Ffx@}r2%cZQCt69q5T^3$k7qau8=&zsC3LKeL%pC4KTk9my z6T4R6SB1ms5Y_l}tpx71hAVykiMN=l>nv8DaP0HplI$ny&!!vBzVG`f*t>E@>Q<(p zbF(aM_qs?oU(`7qq7vEud2)T{pNV%3baX4;sYV}PnR{A0mTT@*&Es{`TJj(5o2-0e zda9|kt9{KR<@B$-e^@nc*;n~qkt=y8erDEVdtM1q)8jRkl~Z{b4+-%bOS*DC|J3c) z>>qsgBmX6zxCctB{+{7x{k5LQqu;W%=){*Kl=ao#Iv5 z!+9^pIJ;By?)H)kd(BOjNzb>RIKezvC_Ggrxp>#>+dIx={5UuFNbSc&VJnX*+X_|- zZrJ+jnc^-Rwdv6n;j$Aq?EIoPbKcp4*0T{-_3RsNM@9uqcum{Y*A>1v^ao$mVauS}Ua{%*!b{E=ANX_k$XDnV)@89Nhn8WC|ik9K~JL_MZ7f|B-%3SW2bU3>6EC0gH`N^s0gL7^D)^Qrk z@8wfGtEl*U-T|ie=LW6c_0KPPv+sJ%^>tD%b=g0U?R#^iD8^RI{Px40v$N!jIys)) zu)cP5+nT*ywGVEqzVB|@bhFEM@7$-!*{tq21E0G`w5`+A59=}zsk2&f>&3=R-+iUZ zx@*c9<)hT@$H?|bZ2K6YmgaVEi?4pN{MqRBEbj#V$zS3=yL|dXV>aRKUSF9P|DLWm zn@O|&ZA^ClZMW(F-o+p6&)>*#a_4!SuB5r$lTCbIxn#~Z;}F~AbNkk*Nm?g8|NQ$^ zd(P6it4sI(qq69P#tI9Wc{}I)Hg?v!wri2zn$Xsz-TF$gB@0c~ofB1)ig|q~vv;-D zp6xrbCM;|>b~R$W941XN@wd;au+Xh9^ zDCw-g)@@p1V%-F!NZHew>Fx%_(Zssw65N$Aw45j>Vo(=sjR@(&uvw$hg_qwF0`&+ zDU|$h>#-FHC!_0K`3p>D6)*v&}kOmo)rgV5>vIVZ7>h3xRT;yz{0xs z;JyV+685)6tCrjflCDyDd*|Ht`|m>fyT6Mq3lPumdUbdGe$gea;-@&=XUy|elP}x% z`(2S$hTCqV)(TzOIjgP+M9yEgLhh{E=A#LAGN!I-_vP1xolWBU{NT3w{BZwz_SFwp zHQo$3?6=i?_PVb8{kp4cKNWSfzWlaIPbu#|@usX$oLQ6XnfaD?3s>b+=_Ab- z_!jVbn%$ppAl6#SRm8)3@bg7#4kR0 z_?putd4sbBjr(R;a^8JcVs$v+z2%HcQ5rK&g+5<>;!*d~g8g%|3d%M-`YnI#^8NBv z?VFD#ZhoNon*ZwNSCwC1?0qC1^@QV&Tl(PcEP2)M~V93kR#> zRL{G4l27ihb&nC(H+wOme2S*#<3Evw35O4wKR(dboX^s_Z+m_{TkBTo_@{5B1s92T zzI*lSU~IwPgm-U#8Sbu{wEFx)g)QGLRgTF|B2`7yAG!MAk!6fRiEel`&YUt>g@FYk)fAwR@^)zzWHj7$?Pec zk8a#DMSb<sY4j{cB`j`zxeQN`Kbl%?}@K zkU8tO`e(sCooQEh71mXhd}lqp&a3syLnjvt#R-ASTwbpi{B`&3_1!Y^{_RTV58uqF zkJNpBHlxNwj<>U}bKB--&&?9++|x(7yJ?tm|W$_k>5SUT@qPw(ZvRa~IZ~n%3!axJ77p@BY(T zYxz_e3*HDcuwROru}ZIZQ#l8Ry!z+O&8e2M`r-9YKfXzJ70p`7mco1Zq+QPfrU~R%3afLtV?{p#>@G)*Nv}t7v27^Y8-a^(#0~qjjd%-YqKV3 zcbxwHnx*e-1s}S*qW*@xS@I!s)0Hc51!WDec~Uz%W&nD z5+0^>1CL0ygZFn-n5PtM%USmLyiBP3=9huYA1t!87M%Sl6lfOq*_F9VRNBAPXpY%) ze!t_F52tR9s=S^qJ~!rn4}+40Aj zmld*Qj2|_AG{13hPPqHypP#fZt-rW3x2^*iwvV?|JWn{lYjQr0vpDAD>b&QunOyb_L!N~lbOGE zYiCCG1da~j&`V{0*3oUdXPk(yKi?R7K>nadJ~Pc|R?`7(2JRF6Av~K?!hwLOw7P}f-{jXXp(azAkge#_jVgAow z>>m?l5Ap6zcu?FjZ?%NQj*azdhddu1y!q!t-M2oD!>SV+H>&Qv!=N9vdw<>Al03;b zXV00NzcATrqy4&s*^2w#hQQs^`WUih*DWpPcv5e5?Db25x+$NoUuK+g@%5tDFLIWA zz9W4>ak2aAb<2ZW64%AgcjV&8*gfsskD%ysTUnmTE=n z^H;4~`dPw1{(QSpgS`2SZDj_`U$4s?&X-wvIs5lJkJ`t%QA?&Dx%=CuYWb_YlCHRr z&yN@Xui6rA6<2>^@m;2^@Apl9cG1ARzwPfc_uZ>h!)&9jP6|@y*E9a``RAh_3o7n+ zE~&axBhx?2++V(Kf$F~UjcNKJt=G4?_$}!Ov``VNbN7Gi@sn-ZGVdFfmn-UC?XZoA zZ}XXayOL#P^-I;{WqDipt>4?~2wC6w&N26rz>Ab==RO-wShSu+seaW&4PT9y+)NdI zf(h?uT)z6HmH9;M+7+TAMG~vJmN>7Rq2%JN?VO$Sn&rTcHP=5#CwyU1x=&S>-hbycz6qO7t@ z>EIovetz$+CI2OExMUu83S=%^=kZ3G^I*>#>)FR*y}snJ_uzir=1f#IyabQh$_jQCFqjqG?g{Pen@tkd~;;Gs#Oh@Zf|rv{IA zq_6T!io29}R$Qr5rq}t4Wnf_2MUirqv%;*-7BeF>H)ce#PH%jws{MWMujw(C*Rz64 zCco~Hx_)cQwS9fHZ+DAbbbWU-kh_)li1pm;A8Tg+3!XUj%1)K_Ti>vEDLZnA*Jo`p z|1Nz%m9w(8ZQRVvmOXJU z_?0p9i=YlOtJR%{8zx+BNnC2}f8fAn>8pJ8`X*saD^_2>yW@*zdG`Cyg%i~?7dE=a zzmAH(eC5{l{p+ubDeih$C%e`r{qKQyI!0VK<6o%0z2G=gKigc>^3pbm=g;ou8EA-4 z-@fhh+UTkyuYcFI?Vb`+?4fo_?#jz_zgu=5ZYKjyZeQS{5UE$)J>}+!e+u;nS!bEE z@o1>tW;t4KHd`XZ`gho2uiL;Jl zT0T)DcqY$8-sXP=lE?Nmd|o1QrEFu)()LUiw%wl#n|dD!-ptT_ee+nzDSmsGezyY29-kLA z3xl6j$lb0u+IjzK+t~@mJYU@JKf4^K&;0+uu9Q;;X4f9C_VG@)O-YuD`Sbt&{IAF3 z&div_%$s=d!lR3`wr91?=aRY?l;-{I38UTXi_eXMT{zQHPVdQlVxePfar9gLDkr-e zfw6O+r%OeD?sVGgR{wW-o4@Ami|e9Z`kt~$TR&yzFOy3`EK9HOG_nYde=hiPgYTef}|93;yT&0v*rEC4K@-JW4?(yTM z?Ht3elYQ&C=NxrjGm{aoKL&_NO>|QBahSvhBO;7f%(x&XE0c&g}8Q zuf`K6T-n*O&t$LT)8yE*?^`ZQ&A+p9N#L#h4_-3N^xKlFx0F?2MqS&jOpP1g&UE^5 zx%}aoBKh`IzwOH9Y5yCR{nV-NoOin7l5zjpADwk7Gmooj{hF8>`}^H7!#z>Pdm^Ln zUo^O8!FD0nSDmf&Zt=T=xh0>Ze$K0_J#A~HRhf3<&5PHbb6>ws-xRa5*pofKGkD_W zJ?Rg>>wC!0<4-kZu2%^-tFJZV(u)HJCdKPMSuB5J)#}g1S=~F!*SXhCT##ia_O#wv zZ06+CM-q13KP0axa%0w5!C$3sOinsfo9tY_rFhNMX#yp6`)8OP zPm#Lyul|@r#V5UTrw2zQ)DN@nRrnviHQILFw^h%t@?Y)0 zIy)<1@7lVRZC6)FomJbMSsGy~TE4n()ndbcwK=O6-@LiVYMtMzLerIgt20ey{by%| zoeem*x^lC`dA|D9u3OhkJ9|7WO85Bu)uCIhB29d^{xVs8ZdL!)<*)YqD&IV#R=MVV z@5U$=<$t=jj^-gnA;6|>{GzYFhpck#hR zG3gMq*$J|Tmc5ws%c&$ycUM*Sou+r4XIJdI!FQu;*_qcj)%+it+1TFxUHSg0@P{uc ztD`d?X;xOLKYVd?ew=aYYdina^Aa0G?;V=LdwXUSkGt>Z$aUO{DlF{Y-IZNaWxo9J z;d^(p_Gz}1NGtNx$^J2@;8omHv#;Kl!)<%l){j#24Z?pOVK!>c-g?`Lb>|W8mKpoJ z_cS}pgs`9OT734Tgy8cpB^>;gIcgcscV_Az7isRRiZjZb=3O@RoaeL0ulP63J6TZa zG|$K;S^no4!8Fr56PAT-pZM(a@%44TUJ80&j@9xJ-lWs(`(5R9NdDBP@2{3jo*CVG zx_<9;`#n`3r_AJ>9^IBTnXi6dh5Q+pty3k9I>Q6@znGJx^fFw;`_&n(J1IZH9N&H1 ze0TZ!`wb7xZ^sDd&W5?7N7f!Lt8c#0cuQ~6 z7QrW7KO7m8FW%QIc~*OH$Jw=y{!gC&y}rUm!EmYWwz;=Hew=;vrr$hgc-d}mntlGKjjC5(_zu0h_gZ#W9KDuqy!GO>^oBpC zDe88w(#1bM595gMco25*_4K>j_2uf$*DG~It2~Het+re7GfVKuhENv&14bKnb6$M2 zHtEXlaQlD1rXBkD;QHEVi5oia6JD50D(*1#{vvDR+=RTDMO9_66*$ z+ZV92Eel~cHLx@`G&P#;8^b08=M==SeW(wX-YHb~ef^B%1=}|5y1#1MHokI?28Onl z6z!=-X$>nSZfDQV*|h&(N&m6tv?Ybt?0!$ExD!-f|F?9tYHwgrx=HY*)H$f|;huSng3sVPCl)F? zIKSxeu3v4`S!@#V>{iMhi49r_eUB5^mo#O~HOw}eV8MiQUw15+c|j<5 zg^$GQM7|8m4W}4ZElCLAs(6qvp;>IkgoMbnAjb-ygUxL>B+ePGYnkAw?%Lld?W*h4 znqg^Gsu%oXF0-ZAq2>f3$wqdD^;?|Y8>9qW<@(WnCbE9UV~Y!Hj2h_&jV!K(c&Qj& z?%B!1lbx3NEM(cv#`ijxnPzM^2n=FBb6CCS@PuPM5;K-N<|WKa+{S)ytD)2sqg+*o z#>zfNuY`Hbma76(ZZ~v^G#DAnY+#N!?8tXen$c;&Igg{&Tq$mfaSB&5c=#4bbU%#Z zHqdEjKX8ljZ0Ea&Z%L7oTspx>Epgj1 zA7hz|A~g(`XE1zV4DCA8%2 z{ObPm(l#Wa|4vBM2A%^a9w%I@KQDe$`%_5I{O8g4{yQ>e1?=B&M!$Oh|9}05D(ed? zic3S6yO+WgCulMQZKYc#wM}zP2Tv;dl z;^ywZb02>fcyZNm@k@`yt$Utvb+r|C9^C7)%5a9S($zB8CDtj^-%PA6a_Bo@Sm|7U zZ<274*SUtq;v&yqPr70z`=>at`5!o1W3W$odx}Tf7) z*UL)9dj7UY8r*&Te8wEp#SdS*6c_C&zhHkjW8JPUFDH`?A2n~}Y`N@c&|}(kaDA!4 zhLxtx3rii>Mp^AnHI$w9R7Cu;Z=}y^?-$Yk@G_p!D=$BN)#Ot+Voz59Re zbeE9!i8Yd)aq5#Uzn*Nq+99lIeD}pQ7kgAMHh({U_++eM9Yg%lzqTgtKN`$WuRm~dL;a=?mVL5&?C!Ci*Ug&7goVXlPMloukLj45NO|{h z%OlUKMR(4M>F0Lf6nxS5Z7bKs<&VwT#o6Tq{S_|dx)g-Gb2uW@apPBq-J3nuJAQI> zl>OfAIVnea(q=`Kv@8#yEX}6+BiGwYN8%a2u*_PHs(l$aPJfAQnJn_s`?b$X~W9G&VrTjpYevYc|zYh^17Tg&R| z2qhyy8skIJ>_5YWUW-jbC4n@j|LmdSL8oHaWp1I)N@}wKna`Z(EBWuUDOS ztJs{Z@KU$$ajQx`3B z4Y_QzM&VD8c)%U0vutO79sYUro1)q4(;~K2sec~`Zdy0rA~vnrZ}0zqe^S=>7sN36 zg`AsKzD{5I@y!Lk^}8%?-PhA^_uO%DRoOcpv@CGh@ou$@ z{(85k)?Yc&7FEyZm-}RS=b+m83e&d-ze~p5`=DB~^53={ho>v1u!+=fsCa%P^Ietd3W{jxJH@f^}W1^ykI+R3&3!|{JU z9jCUf+4ozVZ}!g%Q+fB_e(+xW-{oI59Q6_BRsL#*Z#vz+=Et;4#VUU{on7)%GcV>` zXpr`ynX4zg++F(fxBJgXQK5go1f^^1zweO{P2Li%$Mk3FLY9tfh3I=Xr-kU6b|2L^ zZoa0jM0#40=|-;NmF0G)_dl#%zEN$@r%k$xH$^Rt5iFZlA3tUPB^95O;=wwZr?i(B zURe6+)05!kUThXIH~ixRrt0VhhMMdZ^A$gBEm9$%Z4;8t(SLQP#H!UVxA|_HK5MDu zY>xU%*J7f#IvJ@lO%r#hTEyQy zyXEAx&9n0EE{Sfv_{ybW*RtrlXwiLO_DG0pVuq|(`fig!ItOz$32 zIa_g-Zf!JqA*OgYOZD!eWwUp0*?ehVMoi9!RI?n5_21MEU;leFVcU%+ z;Ys&9<7M?fEswt`_QsBvk+pMu(^8h_FOJFd35j{Jc&*BvI!DC+=%T0F=6&DUdzRnB zM1g7Y3+Fbw3$CSJAL^MxCNAu9YUE*&VqMj{s%*!cDQzhMk?hxWxO@}}G(M#Fgg0M2 zoD!xZ=k3MXyY#?n51(TcFVH9R}Rk#2D6VqfC-3sCe)#(rS{7_%E+On3ltaoMa zAE_yBb-G@Q4P?DmYqTF#`akvG^urhDJ6$xmI_19j<)70X?bvzi{X8GD`%H8bamqe) z_ygx3-RU6~71pzC6hx%?Yxn-GD(6o=%_rFB+d4I4;&JEC#~F_+-jt~NvMprF43SH1 zLE$;^^>>~bmn@O$oA=e!9N8&wwGqNt0`-?NT2j@83uM ztqHB-+5Kfw`!|ViuU^Hvn6&M^zBG4Q<6BD;2_9X`MuN1iPEOkaiBX3;m29|B# z+zcw-8K`k`&(%|3n#h=!<{Tomeb)rZ=B5ksdahDUM?{aTO6A^dQh)7h{hygTnZ+iF z`t>XbZT{DE(I94CdulL?%*tsT7KXZl7Nxp^M_w)B_IzMHL&CXc-&)0~7OP#%o;=+) zcS3SlsT1D@(cULaZ?$JnX#V>{>z3QKut?D^hm0uo7{$egCY^jez9$%GJ>|5#vE53M z{deCwj-@VOC3@19y@oI9Hx&oYl{g?8w|8ItR*5@(O=pF#cY5_DJYOG|zdy?6+2on^ zHx=eY3i@^G&4_b`lc4-Nny`l9>_}jNnmOhttJ_g@;mtfd%I{p0rX`en7 zpZOF%;lbDN$hWhuu74!=DR{@ziLWdFeVTl7cc$Gvy>8yDU3E*p+iNfT7CU`IG@Hou zSy^nc{w^-2&MuBl=59u27Os}2u0}>~jt0)gmZpYohK6Pq26hTI1eL_Xj>}UpoP01q zyI%F0XHICS%<+$(>w_~hH3O_{enn+?YqlCqnQ7-0t&yuKt5Kq-%esh7NPL&FP+{Vf zmW)G8V#l)PG|V^CszCy;r)E>o)Gj=!#C2yJc{=A;u&-wrN+Lr&i`*~gQ zx)jZaI$Ip&_+}L^)q5CoY^L?cxFfae7tY))y-KM5nNaYmN#}NodQS|B;7s*?Hfigv zSzU*@+U&Du^c~KTS@tetM(5!enPu@;Hyp5B9kVEkO_pLo3MlL+U01^eCxwjE0!2`4D(Cd{ z>%_aQZ%q`=S#;eYpZjpy4WIRM@1?cfy5O|FeO}qcCAVL^jLS`0A$-fx|M=A}yChcxL|HTNkG+8*&ej^EYayZ@s?$>BhYoI;`FORD7F7IZAkYk3z?ueqjGM&z)S(ka%q zvC=$8t)J7Z-y40= z?0Em+3p20qghr+ZtsgRr#lO_&RmLgCA2FQPD0FQ1gGx`Ehu@Dr)3d#FZjbT2~D*IVWD8`QtY?Nomom#Myd9>edi&+P6k zoqKY}`t%@Q|7(BPioc6(DOH{j?7yyN^UnA8uCXP(=G>*eW?uN=&r59eC#%nxmrzyT z^s?M|FQ1E=?aVJJmnM7qE7>r9tUha77k_zju)m*e;g|LW%vKK#K5x|cp&YU+`^nA8 z>GeDu9r7)4#pl;$T&lYu9m;%j$C=QhrI$7Z9Bz89-mv1w${X2%`FzI`PTb*MzOrMU zdeyuaKZ6apmM7j>^I_As*=;i|uA2Fl+J)J!`BYz-+7a_Ja`UPCTaABy{+tuKYApj0nAU+ip{rf<=V7CY?UJW8o{4m1K6XK%pKO=Jj(v-epLpO z?zAi*?QuA+uOA3aWCp4Z9cIl z^xr%b{pxLN&7M!QcYX4+V98C}UbW@4q{i&Mf;~WkbkQ_vH7^U(X%QYV@gNnZL@M?Xf|hHa%Q(b2GP(lnYar z&e!AlefG6S1dcn%FkAATZb)dGa&!OcFZnFS1#F3|6LvWqa*~|FT*&i8Yr<-Wbxb?C zeibT&H~wImt8(64Bzn=0)Ouh4Yfi$`16*7in6Ha@l&xS$lI|$FkS{67`$Wsc$$CP^ z1x6N?3C#|CO#F5edKWCe&zz$CrLpdG$y1wm1u|?61}%yT3XKgdf(q;pr>L$HFa5T7 z+Kk)~)3i>0xz$qJkNjP-iqqR>@2adzlT340Ez`MqZBf>(N&2awXCsO}dWY68*Zuii zG<5T{Q>CkBZN9S4KVZ&s_bk1)bJ?pkOW*BV^lHvhvHPK=_b##ee_8rK$9VVk z$XyR-wWYmW*R!f+>H7MmTA44a#Y30s{M{20dh62vJ0Vjyo_W=3;r;Wm$2NmWtGln9 zbAP4hVzx&tbC<}?8uLwGmwRNprj&c9+`s9OdArx+chZt#%}alsm%J}ac~F${WA=%Y z`<0USyQ$S*DU?oBmSL%Ff0^tazw_6ctJ~+*C4G5)iPzmxK4b3%_No)V4qVOevOCR| z$kFzYrRRXB1?#UXSGT{l@HwF36PfnxeZ?|y`JMk6@|Mq;elUwsSiHC-v8be?C^e1C R#K^$Z%#ce})z#mP3jjiOT=M_` delta 30500 zcmdn=Sn~HH$qh@`nYdafFJtdvo^b!xTr9of57sw-659Srh_S$m$;@#2Ln}tj z`smmFceV-sf44trqW;B&aiL2z08mYZ&)Rr@5IMckJ3{ z-o5(kqu&pH&OR+3F8+Vtug{Y^)c;<+y0P-V?7x`PKfiuySrYXmao#DB=Zl{@b!+q_ z`36^p?cW`7Y$Zq6TdDdJ4>oCqw`FWU+Ir<+zqk?ij7xW=vcBFEvKJD~Q2MdK=~C{- zy$`o7Rx{GDy6$+hUMRJEW6Sf>ok!FDh~&L7mSaob5W9UlYw1^!%*ueG$JQ!hccLA) z$QK@3_OLRyJMX^8)ttt)k#D7&->@IkZRPl^qL?;=f9}m~slA&!9xvE;Z1tm?42jpT z#O5yFyGmQ>p>16Es#S$=taqty`*uEb!`j`SemSwozr1EB8GR?}-i`SBwt3r@$)*)% zPv;1EAt;`{t>pHM*R|Q#7RGi2B(A$sVp_lX&&J)K?rmai7u5V9r6J$>ciGYFj&5H( z+$QNv;aYmX?6d6l4)M$xuPqLXT~Ii9(P^r7mT2+n&NZzoPlzve+rj$1UAR(1`C(i2 zTUo!QMMiUM(svwtBXxOJ+<}6((~j0VvF9r<+!kiiu#2%y+)me){(8r5yYp-J zbr&T`DSPkc>+9!V;+N>2x$Biz(5zRFUB%cR9t}ELSx|a9zd-x)jkVES4c!q(FQ47L z+x6f?!!Nsx?nHZwL^R7v*S%A_efoSjt5?UAumq3d##@WdeEuEwV2QAW^@(NgV&?yS z^QQi-E=TS`+x5P|liJpHK5)~zej-)2?IFcR=P=2iY*`$4#p?RfN|rvA!al6`N<47ArRQuB2$hQ^yZ~7ak8} zI1!SXxFnh7!u$WSy4M`qZ?;-p@3y|3wK*V@?RwV7`m-D}Isb0fys^yiMb`q+*f8_b z;Ii$ryHkZ$DttUqu-T#)XFj*aMboJZGm<3mpt~}#5;9AMI?@I~C?KvxQE-n7x7q|514)2HthFGtZ z5ANq#QdrXTi@AT+A2ZIA;@a|Sv0Saiq*lqCgDWP=Z%eRHeRTZUe`)>ylTAMQMaw_F zwm7GuPT~Jo{R991E7heb%=&gI+y35~SGr1-n>E+8G5E4yFLmbUeKG6deKFS$><=fg z#?9n3D3Ltucj_76Lc5C(x*9G;8Z^)Dly*{)VOh`j{K50=x~+yi6%Xpqbv$6}l$>2y zVP*Ds+efaw>g^vB&QI_3I1n-APF>IOg53w#eZP?3y}s0iMS1(Oc-Hc2&$h(q$4}Q8 zy_Vjb=>21g&3S{35!V)^d)wcy`J2LbNdJ`dCh3MnCyykzw)@|-OB zDO|>meU}ZqKK;J6ezEhd|NBywG(JdNvet9PGp49p;TvLK2CkD>G(#?{PTl6O&dQTQ z%ciEjQTqAEP}EDpFKT)B#3RphGp{!5-fp&-)!;tQ^ZEn({~v$OOceU=9belRX87rF zXuVvQkB`iO$KRZKKV}Py2SJj{ifEgU1s~r$v6;ol1%)-JKpie3)W5tzGD-c023I&#C(= z-`_4YShw=Su0OwS^wmF<t{Y$UZ1$?$%1cMP8_G3>}7?He%$Td zs&`mtlD2L03xo4tQzrb@7B{-Gw>_vzHDD#9al)(zJLE6T;C#$@nla{S$t>;nCdzZ~ z&QB{Vm=%BRckc6(Q>c3{$B%SnIlqG1|8Hsw@AD? zLUHY~n8F=>uQR@{o@)4d+xe~edksCA=18SRr#v|;qjAys#)j*<{8vQheoX%}rSFhN z{iXg%AA>cI%=NnK{WFp4#&jjG#`Vl@bNzlERJyu&`CPx0Y`JGm(UZTMbxloA`{3Qt zxiR{f=ex7&jgvBJwe*+yxkWy(J80$J`;Xf>?NVxlk>wIKgM|~d&+N_rz$s_gcxn2A zkD;!byLc%{)WjA?98*-c>ymsop>l=5^K6F-{ZLWhr`eMdUk8S_;ie? zv$W!)Xs=@xSAY9vww5i6J(s+H*jjT!_TcH2`sGVD)j6`%mFdngIwaU$`*9Ax&FcGx zhhlctOl}sRzOlY&r)5P-aWTibk}HRoGxqRo=$CkTS!fx!H|+h)als9b1UqjU1irJENFZ?8|{^qNtVC6wJ2oE$xYQJHbM=#A?- zLi@`;WoEf9bL3&^>6Dv2v6yM*_4V`g_rK#kuEWmWZKItNqtmEeA8E%ea^CSge@~^% zRL5@4|0y{?)ps1{pO@*>q80Qc@cyeecMfr0v#GD_Fy5dzU(7#S_Eb(;T;+=!VL$jJ zpD}*@a!1L;ZfA$0+y|EJ!QF;&JMxVcH1_WoUH+L}VEq%0(*j&Cj>o^NKEUhG#K zGUw&O&7KEDYL&jdzuWudP0Kbb5iPfSl|74m*?Obvor0EJ{%l!#Z{q#VFV8)D{OcAn zvzgi_%y9ZM^Mvvip2-@2?R~75r9V7&rFZUHk7JvU99+Em`QDm^!}~sG1C{eu>uVyk48krH z%Kd*6lE5S9IK_DLzM}?5++qx;hXiSg2WmJ3A7pbn=lfH5`{M#%Rsif)Fqw_69S{mxNH3?^Io5tK}qr?($^!G(;lb%fr7cG;C zWxg919O!zz+=)B;+7+p$4ae5x{P{Y?Ip6>9lDYjyxHez&dG%Ce+T0r+#V5{r#ujqruDjW(ju?@}v0?&eg8fs8BrWr6o*x!z zq{OBskez zp5NozQrvZmucWK4c!_=e&X9M1;vO?Um05n8jj<~EZ^5$_#jlhdR|c(ZTJKStm$^J( zhUna|1+#k1`t!W@iIr5gi$-vr_i}jX5HR&jv$fBu%?cKe6J}p=5xsLR_2`CIXTK~q zI+PZ1-TbuFhCQEG`g$gu7ro(SeZl{|=)K3r=VbV_n9Zd_uI^G?dNeHLb$0BYOa1sL7V|6r6xVt26{#n6xpw{8oU?21&z^a2XBF+%I=JbA z@oJlCi|6?m*Qv2I%vTAvtvPvg#+I8(FaC0_{Ip=}l6AWeye~e`b!rK_@SmH_olCEO z>01!Jp`!lIDY?2^?!T|?WRmLToOI3P&oXod6bFIJIU6NDEa*-7QZRm%blBkaKUoUFZB~rHd=N4$X4E-oc(Ua zx3!ae9MA5`RI774UVG!$t;6y{w#K3HYr5~p-}GN+^y`Thv-#3k)2Ds>T@4AW0_)n& z9ms!~_sU73^+%(_f~~);w2SB0J)I{Wp>?~~TbIrA)$9`Ajb^4_WOm zlb6?*XFsi~R$V615&4SYw*Sy?%kWpZhZMMvtzHH++4PAo0*av z*}Hcfm6mpWyFE;0?eIOmqlw5j>ewk@aH&!2pGUE^We;r&@vF4Pzb z^R{E@lmCcNt7V*6D-n_miU^80;WrgXioZ3NGv_p8?n7RsC|6um$5n)DPDdSc{b6~M z|M#Ys`|H1ER0c%xi%z+-xmjke*|Ps#>sQ2_?a6Gr)1-UeF@NU%qYuQ_&%Ts%eg0?Z z(2cKO#ajHqg1M7?rGkAHi8TQ=v!ih1Ww`y_Dv&$yd%s{ZZDS)8Wp#1BPV>d$s4 zWU2UhjV)!0xOU~+7EPOw(2JLP9~qo_E}CVkIp_DP zX_HzUG+tc#awlEn&b8a~eGccFmg$?kV-PgPpt zU)j4GG&eoY?V7~6*fsyAh9BqK##g3d@{MgbkSsUp`p?fVxm7H@PlkC- z4Z6yAV~2EY&E1AYhhGZF{`;ZTw*R7{-HM3T%ov%FRfm06I@eZyeZ1PB|I-Sa6Xy$m zcm7>5b=jh_77d+(oFBXU>PimF@BL_BUGep{eo<|J)tPP^I~$w55l5Yi>woC|_;dEP zzTCTiUq3t#pQ!VTpI<)e`~3&=vnzl9KFuBUE1)fPnNf`Y%+}N?@}DfY7OOme`sePp zWvkEL4SZUd;QlAn@u>a(Er(6+A8mYi{&m9cTXE5uckB%-O}^UPcnbfbVqV9mt(Ip#x4q78?!=1+7A4EHr_TB`?fAc@;1td`CuGk0m(9s3ck1F>mMEvb zPR1wNcia18oA2Pvzk z?KkgnI>f)_P5QqB2Nz6uvyuPx{hKe(EIt3r{YLGqr4hSc>R3BQoqg@m^f89lY4wlg z?|H%*g_k^w>Q&yjQC@19kL`auC40w5Wo1_VY|_h91A6QKSkEooqq8WMM^1WU(P;*S zH9QS+qMKGnRvYtAXqBCJvZOy$b4~y6Pxlt;z8BUgy`}PoT|Mv4nkxsMDEV(Y^Nd%$GsmJ)*l4=8te<^Iv+GpXR~&b0clKIn z9oG02ay#JUTeFZj7QyxTX&bldu0LKVk#$Z*ZAa@rrm$?Kmj`?2^vdo?vsL+#@Y8{_ zDy`{fC+iBPhaBc=(mH$h-%Xywz}+pvl^UV4>D>EJnY&+Z%}Um>6sxVjx$vEzO1`U1 zP2TZUxi{}T(Bl%VITwF7bA?p#{^KRQWqUR1Z7-XehgkdQJ53d3Uw^T_BKCiRY|GPz zc^B>-nlk4?gWsg?{C_`QeURN+cXwV@0q=9}azC>>4UQK#h@^fvJ9Dm&Ov#-IYc;1m zXt?z1NUC;^gy+J{3cKv}c?QZeKG$a%rdmXtPm*iS?s1r8mh`V$pm*W^8y98b%g=s1 z-EFZl@r||74bPyiz0HTh%YMC@*WG_--MRx>hN%vn2;Kb>uTWlxCp+2*Hz7Cl>9 zwYc(v>-)^ODUHu&_Cn z_`1xw*bAIKbQHZ}Q;qjn*t$M1;5Ca-m-!2gj~6Ej87#6XZ5C@b4wAoM6)M(!tuf_& zmh3jiwTJJAzW&g?mCu_`Y1-2Ls%t7&mV2x%j9pN@!6nH4jmGY!nPv+lIiz_PFRjxw zEi2JxUSDarpk6%s%FL5#g)8+%9gikPEt!9WdExEzwftXp$If9)^#6A8^V`?5CZBHE zd`(h}+{XHDj?R3yZ z=Vfm6`{7;2&7GpX;lMT~?^yf7;}=Udo$%tB-se2^zQnqVJ<2Z46{j>a*f(8eJe3`~ zxM*{b@13UF4G%6>FS9)tl)1amXzG`L-)*=m@5soT+LYS52HS1&wVdM-e57e&7BHwr%kslWRw$hKAydBf*j|GC3Af@DXdVs8!vO1)vN)8nRzPrsZlQ+$0Z^4XctX?BSd+-~;7&h9|TJ)Nn#RL}KL{>i&PFa6wD*S4{sY32a~ z?aH3(87z}~KI=#9xN$ksMbO^gc#c3;Oxffki=zyeTl08@&RG6b-BR#_bXB#2z}hJn zrc6snW!9_9PtDva`|4*?c5IK6+yv8WNirKlkJ`swo4Deu%Hpt3+EuQ?WwY1uscsC` z2$`W#ztwhGZrg(u2Za`Dsc&FEXOz@Ay<1_Y8uME3_H7$CP5P#NZ3@3b_gu&5z+ylC z6FLq75kW0EPq%otX4=1B67Mo~DgU1fnoGTMbVDK|PjD`iO*key`z6mhwkwAEn_A{S zdH3M@()TYOAKJ(5)hnBAT(T+3VdI`?Gbt&hwVS`R=i1a4XP#aE^3YP{g)GZ=Gh2JN zHhu5B#*aB_7e~39S@% z+z_JDGA(3d0>^R24~j+D~41adt7|p<|92ed|TeMwV<$*XrtY4T!wkq-Mdq zVcP9~&6&C@7Dg7!us*l=^M_4uz5FWSvkKbfGp{RgF)qw$eGs#@jaOAYa(SE4>zPq& zPJgRvSf$r?;l)g&J9F}P7WB^GSC#yky5mTAv=3|O=aMpk4eKPHXQ_(SD-~{Y+qt0Z z=9;i>CUwW#{g--{$8L76KDfEr=lw%vN2O&B-A zG}L!pvMSm*y=_uRyYWN^`%ay5 zpy}F%-sia{+FK?1Zq~`&e!kb@@y12Xi7PJ3JlAHb@8#IR^sDmxO=rU}hLk&rAAO^? zJd((-Y$~YAQ~cg$FK{ntMWv?!zeZDsc?whKi+MXwPp&+kd?MvgUF^DRX5|;M4bI*% z&2|#@IGeDO^?6|2odZhWMQ-$2?>o@&X!iB^x<2hdPlv!wN!K*@Oj#uDukc|-&eMgD zR&ILhQ{kC8{bD^!QTELKCwE2eZ7%v3JW+C=!NiEgVw1V2c>4U2y0l0+R{03`iHd_v$1K*Qbe@YSm$;Q?U>d&N_THwVo6Y4nncf%a zuX&hX=#zK7WATxLPxNh4-^ui3PFogsZS&n3YB}>CAA9F&adiH(6ZKUV$ICX)S!nid zO;^=lGOP z43qgA$h#r$`mDGEnZi{^bh;9~>yGIctkf}xc&PfbCFmo+{P&kgBz}am$cZ{UVv-TEd3fae31hXZ zhAH`X0^SKNDEP7chQ`Nt&Wl%;zuesRevxhO(%tXt@2G|>um!H;~{yZmoZ|6#BS3V_Mk1tEy*(zSOf8TRi z(qj7oJ?prq+@0?yu2(smx4hw4{&TU-f*eU6XQw%a7T88__u9p#pgh5A%S12UWdD;3 z9G1THYYV1YVPG<4y{Dz_+$1HQFVWLBdv?9enG&2*eZFD}*Vp6m?5p`>y>-v; zowawxZl1|8wTphI#~%CFQ_{>(C+1+B=EUOQw!k}F%K?S9V)?YA_1iNAx1ASR`eA8l z+3Si4Pgdo$zdN(L_29D{odr*h6iRM-9>23wdU^8RJNd=FroK$=Cqq)Z-ka=^{K;0! zyXbG?`ALs%*M7gg;j%od=!Txhn^ohF-GBaPzoN&Y7fS5!g%~_9H=h%F%XH8~C+Xh0 zwF>`a-7=jgCTOm=f4R;*Ph-KGdR7I!gB*H)_v~fS|8Y^}+MeQznqOKs^j~MZ#dEJk zf7`{P0ui@xRv)ReD(_7TKW@^~pKwR#T+g$=7Y@GESGen8P|~t9{m;slJqb)rpWkIR z6?w379qTp?*L+x_7Eto{zcy zwMLHG(ons1yJF|xHa_@U8T~l}6TiUq&!97*Guj{y3<+=6Z-#wV+JI(J0r|K^6 zJG;g9>MXm!nD@SOa^bHRaq*mv`zsV=H(m8D4ypI)a21&qJ3~A0i_Pq3UJqH4r?TCj zwXlA}pLwdhb@gnLj9<{rqq3eFoO4W0Gad_N*3^4+KkQe`^W)Qutd9PA)1v*S zp)I)5a<%xi`cu&o`D;}UZi%{Z;;%)|{PQjck2&jXkBT@v&G8B&_qNIAmw$XzZ`SfS zx_Y|V#Ozv?^N-)e-F5N)#d_MCP1Ih>*wKg8ZO6p8*Kf6S-)BC0Zlm|^h|rD6r^|Y^ zpL>a~duPS;f93Q&Ek4PXc0KRsfrQB?ODIp?ek9NJDATR`|v!| zc8)zu`83wPcXtps`n6y1z?}^mTnA%*efyvEM_fHhT)q8rHDmkbYNqX%tC>IeP2XkC z!oy@{G2JnhS(Me#z}(zydZP@BM*Viy0GS&?dOa*0EamA62XhO`%bVCZjCh!Nj07a^ z#5V1=J}BG7&fzy=v1@~^L5wP5+xD{0d= z6&SRius-nMO^l2~Vnfd?F>!MSjwcTpn06Yzcv-rj!1_dd8c&sN$7JIxjB0=Mn|kVn zSy<|~oNRi~Z)3_X;c)XP-+`md4<3m>6B1x!V!Y$9;6i-|pWh*d$O+n4m=+vk3@B@G zoMZSRRYt~k&VsOOAC4#g`z(BbC5^3slaq79UqQYJo7ycL4=PAF@Um=gyJ0_%gY72c z7TE&<9Cse?4>IVCI{dKj(40AWd3iDl)#-ff_3GM%X=V-5B6++Qnk<~>#3+h2+~;M! z;`nWXz4hY*3)o*oIM4mRCEGgU&|L>Vfdh*V@^Q5tm?N(olOQIbe&F##hFsOqhBjrE zZ|ad>{h6d6tl!O8P+0JH?z{Cb?sqQOVBh4Ju%UUcGRHH<)<{O3g=GQ_ZF{uX@5r8G zV>qZ&CtUAXc8;(Aqe8gA6~2^z9zPZr2{^>PQf2sZ<3ape%jUTY`U=wd(pTJlFJ@W4 zymC*f<&4&z=DoHoY~{y(#Lm~b!pT&(r;Pucy?QoxaY1wCUsj!k2HdCb`$p`rD0+2h zL4J&a*QWYFIbVtYH`XW=FvtsVhzLAlb-2f%@Gc?y-2IpJr8Y8(^%gtpX3JZD_*hg@ zz!G6+#`v)@%1Lg&!Jave>jW6?oMe6U_-p?0dSxCxy#`hh9`+f|YZe&v)Nit%r8uqr z(ea1Yj&~W|4!FN9WNg@PU;p2zZp!pl<}>FW%m0%9{B%mtr72fKlm2dgyubF+CBAnI z`ekx)4A$oI;tn1G0`&?9*jax3DHrn<__AKB;eU(PK^<8Jr+Ts972f|fZ+u<<)A;XJ z=`#)g&n0QWL;zZx1!#({kU$!U;R+|PtVV-a@1L%_wE1d(57a&@AVE`X{q18 zn>x*Xy6~LK?hN83EH8{a-YEvO55 zBCmJi@uNTACl(oOXg>O$_wlpG>0b4!Q7)OppGxw=vFK|4#o_i@)5Tm@OXGA9gP+I<$7K!v7EQ`g4Wfee<`|d*|MD-2SEf z?r$v?f9qfVU%#>;cFr8R`%CS=Ju6K4f3V)BNua};rDvnTa|SWaZ7ccT{fN|deRyo2 zt)7|h{c?xv6Y9I~blq6$GynTBSApow z4G)$_&u^-BuK#%{$FNelv=B-nVn!*O--89+tgRt9DHD@M^7Tw6{9>Ky~lz zMLwU7uHI5{Hq)eZ+K%F!!*=zZr}L(tERK$Sz5MdMm7L6fTMUFHHPww4Ub?+vtJzVO z-$J)oLhikJoch$Xd}(lFSaG^pFUyPOwz&?>^RF2%d^>OU9k%naCTfd*h3h0nU2{3f zYqBA3pMlnqJ8W!kJ{-zjeeib1q^sAPA55JndT5!LVve!ps%w7#*M~)Z&10)^hy$1E2QBb@|EX#J;7db)5X->)V*Ldu#5=otw@_Xxr$wro^L?v#$gPNgJ^W7%nVRMIR4FrbC;od{ zT$GcYV!8ibiNeH=@>>kPL3j5rzq0?${`8uwyUQPJ7ZtlPEJ*> zjgO>1xbpc(S~(rq!MA9MKoG~4Z~dRep&Yoh?(nB? zi@N72r37E;ov3}@^1&IG*lSxq)Q0foiM2b$FE(3q`0j@n8#Eg0Zxma77I)wF?Y7I- zVyR~rR4+b!w!-(=kKC+pY5WL2Bl2^e$__KwZG121m{Gy!>Y0{N=OQ1wOo;Kl^JtN)^ZYxJa|2d}`s~RIcVBID z*lyvv$rny*%vCC!f2xMnk|ns_!s&kRiiB@V9=}=2rBgqpV&*Z2IVZcXq~9<Mo_M-g$?|^qW(MMRR{L|Ex1oB3~UPkM3m)-m(0{?N3K0HuhgT*HVA= z!L|wcXP?{tm^b$w??m<7orcLXCLht~6!V_7b^g7=&C@6QuogY%vSp5)r15q}g~4r~ z`17$R4ko44FFdxi;{B^-MSda8A$rBSm0%eb-Q29ORw4b`ofoG>DQ!l4sNs0 z`yDjVx3ypY*agNzH&&|Hh4;NI_2V{MswK15-^2Z5$H!=e@82$Q>2y4MpM6HsbE;pj z=!U>uO77eWoS)^r9{Z{8&t?#GyEE-VvfUC-t`ByTYaA4AJx{IoTJYw9fU^xt&&3%} zeIkvm!u)bK?NZ;}xAzn0+UXV6UCRxQH>-QA&XLOaWVcPT-pahMb>YcOe_6sN2Js*hkbInU1E|p+wIu7BP^v?(m&e%mR3Bu?WF06!&g$U0bA-X??$aRc8H_ow;|_ z7U}1FnsP5$=d@$s!4oV~Co0U!JGE13DC`{TT2OC;34J=m0XXU+ASN9WJ}Bs|w}*@W8vXEx`gonF-Z zbKc5bXDpVBx6k*_o_BXeyXU%B?Nf|&`!^eKwYaWIsNY#2B7F42z8a5nI|FNtPVE!? zv-3|&bMnimdKu$4$v?hiPWy3sok3ez*A&O^uin02ymsCOlQ-)=1Vqog6m{DC*BkDW z<&J;ym1HhNT#|{j)LWbLhUfE~6>A@gY9Tj{j5C0o9+@t4KwqE`pfcpdHSo$qzm%g@~Z$Yp-zgZK93 zM|RFy;o3HleeUfmMK5wx?VWdUDBn$8ae!O+&b*Uf*StO-R=^?tN^b5#W5t!bzFj}0 zt5m@M*=&jF%i}*EsImV_iZm~^xWlux{zTWar%NB0tPiXIanNI4UFVujUnZvS7JmPv zWWC-3r^8iFky!?|ix)cIS;7)uf5Nof>RfXxQ*Yo&xqC*jx;YE~{n0SpVBlFg>yfm_ zY1{SF&7NFq+7|p;GAU?Te1)6vX-~NHOIo9Xt?xKAvf#kZPQsW&ft zs`f!7PCnbtv-2atau+^=G$_zT%gh5pxkVY z)wfQhzuK~3$KLR-$Fw#qX`6g2bGeE@`Sq+dZjopp7IqTW}sT}-K8C-azVXo-m z4<<`YwsNJLADwf)DPfYUGv8c&zSVx=$A7iu96h(yd&S&CQzSoDwdH(iUF?%~>_E9z z%(cK}Vp}D?-0X8b8()<#Y$Eg7o$XB4LB{2&zQk`L3&TqiR-4W zW##YOo?)LI_vrF}Y6^In^s?QPJ7=Nvmop1u=DbL+Ykd3pYnFL^r`+*-y~o-&9=W%h zw<6fg@M@6xT21i<$-B-UT6u5vk84cEiIa5;y*^!;QTng8CVj~np}zFjtUTvmpOg!D z-JVxE{gkJOs`TNU1CQibecxt(YFxGB>Du$GF{>_Z6&3z*e(LsDg0uT}pMO{FAGJcp z)1$#9nZc>$W4Pj}9~B?9nA+-BZ7NxC=t=SEe6N_LQ-qAoKExeMbWHSHrm<9}_0Jtw zlaQ8)YX43gR8L9Fj9BEj=I7T`zv&J0Bi~tmHe;NBdHh0llh-S+$%mCPp|*| zHR00B3)3QPR>hTn;%uHH6O`9*q}o7F^V=PNC!d*1uN*94Y^*BVe6UsAKWo*MnCln5 zt^C%xSK3Kp&hJIX3|Ie*zxXZEwms6PMN)Ow!(3MO12dX*#gc+#(_}K%dHFcksaO^y z=Xb5!GJUaf>-9jsq^}PY0^4`4KB`$dGofT&eYoV_4HK^3G@o;L@3A?rw!X}cMi?xl<<|LKpu zp4_?N?~)hS64rCM`R|w|aJ$ku;Ul9~h^>^-n# zmcQGwsP0PrR@?3ZN1+(`uXjFME|s`B@xhXoEgkE+dXi@8-Db-F zEwO*^e&jB)V!7k|Eh-@JOS$~q3Wp;H4!-}p<;t{pVYc$XTgqEEOML0v^F`yCz^cIM zKJpt*ZM^>5YnDau<*x@N7$a`SbbhYcDfh97S7gqN+~O5gxwGp{RiAUKuHCzwvGL{( z9kow(PfX6M8klPCJG$k^=Ee8qelDAE`}?n3GU}R2kYmifs_P+YH7tBAdxgq>;*)g}z!MwA3|M@uxZM>GWwcFvb^cwlM z_PKA~8aOE%R}^JV??2fxN2qE4WOwI_-wV#h{9?&`{WETYdBglEaj#!3yPwt5@#B}y z)JIz${M{nJ-zTF~Z`EWwtEksC`RX@DUe=3#->)6q`a{oXy6F1GcdC1rN8IlYimhjH z5xb)Sx=IQl|K*Zw1?q#xHXJw@5MC`qY`m3t9DFpY?f8`L82n zE6%R`>AB#(fDN78yOX|c^*tvM8<0GuDtgnBdR0B=o7Rc5hnq@^;itzDIFub$@Zp zEj}ea!-aF{avg<&{y8#_b;T;G6@IMzsc>VzUe1b!^ViD5e(W=jzIJxvI;SJgmV~`J z=_~qc$INZl>R*3n^WX5=V%eQ5*FE2*yn2+o-IhbECOlST{(D2tB>xrMCJZr!*DR)b zte79!`9_WDs?N#1&xGqvehyfu?#7H7a-q}@NS+h;2>14Ma{3G9a!R?^+)o!&#Dbnqprfs_>%=x}``_>ZOse&<*k}4d0M-K^IDm0nWV|tKV zO4dP-^IS8Rg;{vPet*82l~ETJ0^*T{#vVZ*LbK$?2 zhSTO29@z3k`G{!Y1*MwN1o|hNpu6c6GQs3z1apw`@pU zdpl0IY2KrgY4v*PP#a*AZ-nQu4sd|CKPxA$eT=>x{PjcaeuUQ#wqHfUQ${O6BH+n*OXo6X9o zx#!(B+t1{BzTJW;b6*M@y_sUP*k-@n|3~q&1x>$qo6di7v_R&&`HIY{nI+qnzn-jY z?3FxouVb>o>vi=9QbM8&l)1bwoG1S@j(`UOQ^RkHa;{Ut*XPxOzpYL5XCt}%0 zvx=|IGW++OsCHZV+V!a1*L@{M0ai_qcqT}Tdi_f?)Zfd%oU+XD)!#JZLrT1=^`*&k z()(p9cWr-r^qAfAnct_(s=wxIygO3lXcceTOpgENTczLsyA!8D)@4u#W%KhwTkEyfo9pF6ir(@2)dc%%G zX^+C(JG#Gk7;ikX^4Z@*J2&=~-(SLQaJM)%UN@-PeT|u(;7=a6#vM*_CaJS4=T_bq z|0`l7e0H1kUGv|Q-BuO&*;U`$Hu3VGuScKd?OlE8)Ya{YOP-~l_^JOf{Nwpef~l|5 zzMZeT`LD!JbAwp@{6sOK`P^N4m)E3z+Pd(1{TjYpNhz`82Qz{$Z1)c1oiWA1>pb7> zEUSHWzVQ6@?GgB~RZVR!lki=wwEx#Xz24ou z>_V@+#^JlREhmF_aLiNm*H~N>9Qjgc`yb6H4)N%wQ(yOKxh+$V(V1lGTCAz_EKYNm zd!6ZlmpAG!uauv?O2VzAFZq4xl|HAnFD7QLIA5*YBiNy%@`R6Zu~fEib>*omitSrH zD>AlZo-eFPj=f%)SC;K&&d=c>zoGa1rl-?RiQG?Hz+<#B{-)~XPjf^zAL+i~o%k;^ zRe9^A6EEb_^wwr7Ms1GFF%ms&=G%RF_Is<{x%U5kW}5Bmt9RY9t1o!BT;>bqNi%M( zm~dWOYq6^Cyk2R|ys)nd-S11{V+Ei5y!cd4sHe}O;M4KtyjQO>r)sV+vwwFXVzQ8{ zXw~Hh@~hu;eD>Y@^g(ja%^ixf#L`{4d6S;zexET_M>WdzWZzF6+vhGFo-kF=bZvQm@=mqYNt;tn({AY)h}(bEH-&Y)7lWe(xWpCeiylnPx^@=(f5S=T^Qia>-BCKl74|Z?CYr zRIpY?{(PFk;)}N#eyZx9y?USZrYyLUi^5AWi`Xrpv#lzad9T|y_&-|TO{+(@_p40c?9nLWLK4+ z>#$Yxg<-9Mw%?zpVLv|YGyTnQykpgm%w0)wS2S+Soc(U|R(;o%XO4eWIQ8$L$|Q}i z{;rE>+1GQf_)_TCUTP2?J9(n_!@#=Fiyfb?x)-@1DQT%}+#}w}5Bn`Fub-X&XN5YSaHkXb>lC?5ArV)OIDoFJ-_vx!K9ZKM^(Gl*qAT>)<13D zLfz#m1xY`*@VA{f|1$Z?UXRyvZ$H>IX`$;W)dzEAIOvUG|Bl zJ%18#ovrC|++*WACi=7Xoe$e(5_ZaLhGgZMbzkh=*lyI#dDnUF>C+49&hL!(oKX2P zeTB5iJSEkqcklF={tj4uv*)t*ZrxKw#i~0eoRhqqQukwz*=f)FYktLa?rM*mvZOvv zD0{)HfSJ{;<~LZ*-ZEUP?yA&9vWn;Xj zZ(32YBIeD`{x$sOK35}m7jy~E(Y#KkPU90F?r^vKZn2BbZ(0^a+=B}evz?PeAz~p87W1Vg`Vgb=uvmPS-h= zSSqr)OWS70>bqAgWBIy|$rqmM##J?>^qC1KfTreyojkg z=la&rxD847Y8Y89H=KAmd#9LU#UF>0jF!3YBbKTZFW2z>dU(^!gxf5?i#yGqwHq&g z&v5DVyER3J{%+1pKXUEo!3Fi){41j$&0|&WELqhrUBq8`?aiiDdiMMi-sUa}-;>1L zYO7zNE%~wc*vmC4EQ#LpSeswS59-~DPed-=w>!6)B|eW_ns z?`9`>w_iV`(%~G-w#948R{L-=-oH~OJ7cT3o590}>-V-~I_}n+S;zdhcyCkEMW$n=1RE=}5_22YGXuhZC5ay${(f@Lc{RTYb&UHM3g$)qknHK2X0R`A~Vu z%!clQRu6fpE7fNTWwicHSzhtZEsM+ILsk0R`X^sb#(JJT^6=x~3X2UFd^dK!XKhce)FS0Oy1#dYV>-}w(wPlvP!pxX7b+8*Dmqu z{CL8+@3AoV^}0t7t#;a#E*U zKYYXIQ`h^n`t3VTEIaZueU{&sfYQv5#r2=Q?po~hYqmt@P10(FiD&B`)ebq zGKu`%9v#+A1|UCO>L=me>Y`zTlNiqyUSY1xomxUx2_cmZ?>GbVyb*9 z>q`yw`{$p?D5`SZF?z9vy=WVo#x*(fL+*29whNf;IJVcx)R?25S60NV;nMB%X3Zt9 z)_=3yn$14Jyd@?g@IZXhkN9itGn3vcrgcXDei9OGKJUl8`RhY|^6!j)`YYPmsQ!ZK zuWAp@)X%$4Uw9uDW^+-|?P0=lwZoUT=YQfmvgpIf#g+Q2lV#coG zw=1K5uVk$I_+iq4ZKvOSd9SFS5%fISWkI;W&0f9Je?GmuX(T@Jckq+Kx?2J6K&d&#H)yQ{7SfTbUnb7@u4hvf$c^E!N*xO+Te~a>pr?K(^UA&tv~?di?49;j>Zc z*I%{$>$zC`vbSAxE-sFn8diSw=iFV@-jCL^C0F^Vv}$z(Uo1bYu}dWB zxXky~9bXpRR7@^Zj=6m-<-)wU*TEkjda8DPR`v^<$G?A@FVl(CA1cQ(wk|rkD}w!l z{a3S#Dm4nn>l9yytkjroZT_>Krzw-+q|$%ZXGMEIpE*>q_M6zgxK$-uIu`G8g0=hS zzT9+XNrZvR&I{e`3Nz+L-_y@`YdrehF|T8?iNYDvqlYc^y3-#7m2NI#wh#AB+q^5a z;E0*8kLPA71?DRC_lKj4*Un|05L2?mTKrc@W2%d})5JT{4%;P3cE|5rnt(am80Jt`jx zgxR?^rVD=GWo(&w%)qO7r{uviO3U9*nD-#cZ|{$|po{vUdIw8?e0^CEc=E$=L4 ztg_kRE?GOJ*agjP1ntep2vc8snEQ@9Q3#o4qNUwl{9c(tf#yu9S`6yR?lv(@w`q-FaV;@?C5F z9F3vv!V=ytYVeCMHcrKZZsZxf~~x}V*C(7cner}DULLH&k30+xSuO)K${|hE_AC~jj993f!d0*Oor1AHXONzdNMn2ajNi!Nx zzWIAk)Na8}#dVLI{a=3z`Kj)^_1D!LiRYSjq3oJ=bN4^rDm3MLoN4^T-+NSxjIS+g z=;0H2I6J&%{;Kt-yw0uNQm;L0W@eukudwfo`jtPGug4tA5By}wSv9|=_vZ3AU75!d zPAoeoeAg*#&BM423s$f9-_c(0aCdg@>ws(-0l_uK8M^8kod?#KtE>ofGzil?_G*FN z^8`ohqJvZUH*!VWDIak(+#T$sa5&<{Uay=PFT*x{VQxz_e}0f}L66~wDmCr;&U~@C zA$N}RpNw`jT>Shb&jp4}wWmZPL&fQZ! zv#Wo;ep?wVdusAT3CF6kle_rN=$j?EHp;i|GnP2x@71~A)mLSIhi3AnPSvP{6TDp_ zOtJeGEG~QU)v$5%YUfYg=bl{C-2bQMK~VjdldJ!T-P^SLo9BWQwzzehg5*9_dA!)W z!Ljw@mj_i3_I1kyuUnqETI_Nw@5L*#TrRHE+imYKt4cJxH>>WOtPCqLcp zzEuC(?ehAMr;b<|pAycQ_2T;O9f4<7XP;4QGzr|$CnU7z!Q}bjv!*Ml@92NGCNX%U z&iw1Y{}@%i-WOi>YSL6&Z>GYBTWl^AuNQPEteBdAHNE`0#Ui=SRhLAp6>C4edH#zd zUUFs0o0@BZWma6LpF3~)`{;dFu;CRY+pSAyG+EBqJ9omu|6%=%phg21o3yS=PD^$# zIsfrY{KON{osXA!6dG^r6_c0fI^9uvbkpA}lds>4Iey+`^X*k$#%0U3m%Hu!ly_tH z?_%c2rFT8oM*Do6=et6As{(`RdW+kiUIyKX=YP2QjPROXG4;3SUw?kVpuE^_*R#F| z*R4yeHz{6P>wWaT@~xOG$Mkv!cdhfAQj;ZitlIo_neAb%_-lJ7*?f9*)t>vr2eJ2G zZ4&!W|8shpInUv%mBWbz-0vf`q<>`YxwBUL;!mFc1+KGl@6YL-zh>E_w_$q@RLszR z_T{#>=}TGhw4`SXHvWnJd0m$`_XDSI?ZG?SN~WLP^`=rOa#P{VZR>3IckoEHi}Tm7 z?zC0@%ca$MRo~e5Sh)DPzHc6{CW|P?FZopvH}&=7J|#QnG@-8NuFqZM*rL$P!bPH}$+9|6XjZ3c39y{Y3MVQ&DrKdDL>I z*{s{7>wNK*>$rPFiq>2_dgE4oh`R+ zy@}RoujII_ zaAetbnTIPY{OkYRm6Xk%((`x5osC}HS9J0Wvet(PN$13$ zEuFmd*h2H^bs0~r&sQxKPUg6zc)YCg!-dj7wxtnVlb)P8BlLFSy6HBLf{Pdux( zvKE@Qa#EG|;ardRS8Rh;_1sD+ohDT$<6dF(V3OI&{L`BjNq9)@7yOniz<0O!ns4F} zXSVezZx`9GFFmGkv+%Mdhw~-1n#R|OA_1qGx8L7u?6AdRM)DEyb6@Hi9>p9>oqli@ zlkoP2ugr^oGa64$WYMU98xvhDy?s*M_4PB3Prh~O%mcohr9s;9Db{{6N4E&8>s=Rf z?N!Osn53wA+iHK^{&&ZC+NZ6UJ@t)cXmo0#fy3g)edY}d*Ot1*My%%Y=8t!&df}95 zGgsTkq~coZWhwvAiu{jP7!Gr!ccn1RTNqG!!TQ>wMIw$-Aq;8ETHBUQtB+U_pdJ#m zFzG|<*V2XA3pOZqximMUOlbXr6L?BZLjaz#iVuay+*U%?3#r>T6>rcEE>HQa1{mxvR3R_ z+~wHXuvWJwA)%d%v3akZkU_-@*`Ew?lnpYI(AoBdQ97;X7D~ZP@%)K znLX7Z++amRa)W_NtCGVM>o&O~e_FT>svo$ll*_c>x`I9973mLLf4Jr~OxAT;wX*)G z=tY&LM!v{NAzZFKYHx0cbT8>Vt0~%9uw$2AkV#131({3c>@r+lDcqCzvL@cz;PO;4 z>;&u91uJ>Amh~!HWK8*H_|9U*R3kR0f>mmH&K7=}NvZ{wFBUibb134PA*&FmoHuEo zqDK<3eWH95uCi_IIhi*Iu+{HS|7M#;mL5!dw$Ev&&SZ zpH;3ikKHw3g7h^eL5H87mrooM@^I%>o>W%${C0l%D)pn)+@UMFue*MIxBWi%q($7R zEs8$p)hF{?->)qzl6@Ty@A@k+}TUeBbb++wY5AwTra8aj4*TM3dKB?#NB$KUrb7f{;cz>7bRbx-CgNCWxk2^gA*lJeZo&SZIL`&zUunf`l7OZ5~ki|1$VwA7n{i0 z&8pSAcRl07g{>35u=^OtBN=Wd#>S?t#xn|w`FkUt3M)fH5*0bwg>Z`;}8Gy z?{LMh<9=T=wpnC}*`)qmSQWQ-h1~w|KTh2;jaG|GA}1enwGplKh?lywJ7s|i!|mjg zyj`zuzB#+5Vcws|6*cum`!Y^lEZ8S?e%aDb_XQ5irI-rN%2bxwt|h#MaoyUM(|SGE zQbV4dy2_)jzWHcHX;s*&F9qD5yLjI89bj28=kOnc(9qdNS>MgqDX-Ynmj8*SHng3s4~VwPsx_mbU=r{=Kcm$kK*HS5=${b7}T z|AT<7e@Xmh{&$mJvKQxH?!S3uvQ2Fn>%!XedWz4==Epjpd3*24_dD-$>(0NOd2q_N z6UI-{=b5Kf%zxf3Y4_x3lAQRh(kCAm#=7r0<{G>7i-6n0Yj!7pO%ifS5lAf&(N12u zko&|mua-0Xb7eP5hF0INJ8c|Ntz6`BwSGa>?_aEc|2{6+I!pim=2go!f7~=vKW+8R z3^UF2ZsAN#|M2w5`P*i^I(s@qYw8>UmFTPr&gP2D15xq2g;u_~JN@U&%gaAquDCd7 z4!^kj(~PpPv+bYLHm-}(|&p;|5c;!1ZoRV7osw)~S?cmHnf-qRmXmT3I3 znbkY(YJJhYo@2)!U!3q@dWNx(7yJ?tm|WyE7xxci(f9Jo4-|m?!wrqy22~lI91D} z|7)$@Vl`z-LvnjVjl$ZQD_>pGsOE3~P-tXtA2aRp$D+{sd1vgxLKaTTa=2wMN5+BE zYHG#Tqz}tvWDb14visb7-80P}Wa73QDdV+H50$zV?zH~>^Sl4_J2&2%*0-(rgYK5g zS+30yjv;m`ruHW4hcCLCT0B^`^nzLZWjB$T6<-VvIdUvYZdxMH*s&`>?fJjAD>jxs zu(>vCmy6W)X?<6he*Rdm`0{3bp@G2DMNyr5->$2b2wV}Nrcx-ibHn1#Ocy?FNc%Kh z_wJ04EGxD~Lx~n0=I8k_d*agy_T?;leEv!*?w*erf7YGYSpk&(`~i9sc>! z)!0_je>Pj-;}&B%jrwNUGp?mJ^Yr&C{gImM)hZL@9(?IwoAV~OpIh7__Dz2lFL?8n z*YEWqB9AkUujcMuzImZ>KyS+N_Ub1S7C%ke685q3{%3j9)ekG0YL+YAU-T+McUJ#y zt~qXYU#@B`TI;Bw;1%L|+wyIWg zim>kp4(#w${1m8H<{Gg@Z*tIot!|To(kc8a7+Sx*4)JweQt(So@Jq@bD_i@N`x`d) zPTv0ipUJ=En8JkL@}hZ<}Mek1f6QdjF&u&&AujKVE$IFXtm?^o_fY#!)7VyVp_=B0KKtoHM`j6sv9ipY^ViKE z2OEA`_R7tIzvfq()fC5Hh25Fi?4|+r=MDcHn`jk#yWIVi^!Ch&dY!v}+w2N1-EQTo zzv}17kM*|qv}N_5)PIa?yj6bR^K-_G+3ttyK0mg-%CuT;O_t-zi4#xr+_8_JBO~_S zdRmD8tp3M=pMTw4%)jNxcfD<*buVn%2?z#E`4~z@hRlSNbO8FUZ{0GS9f@dED{0 z2Y(r*%(!z-V#&MIDGz*PxA9xQw>1&6zVW?a?j?a2Dbvne(mQ!q@MVeqTC*&p+PIcgorPx8{%mw!Y5vOX@)aYmTU!@bmQ0bIdFuVdm|lm5 z7arI1_Eeg+UWqLUzm^}Ym6~M!W?gfBeXEuIw(nn_-+OaYV%N=U(~p`qXDrU%ZD=>~ zz|IiUpHIIX4EHZtG1a^AhZIbcjd7e3dZYgo`?&+xxhF5 zMHfpccaQum5zl{y8@ev_weDg26EpFKna~``m*ru-zo$sl?(M2rp(ggiqOMPbu5>;MQi-*Gh>hGZ=)Io}b3DWZMzh^LyGhUTpEWcOgi)KViZb z-9FWSP2#g&m*mRmJpL~6?4?Ba?w^}g7rdB0TWDKT%O~eG-jf$LsvS4?YqaN8tY5ri z$@!)ew{)kixcP_aH?PFH@SKOIHVA)QxxB7MT|C1b=yxb}Uu{Lc}?rlzfJAKjpS++cP85-H7wD&Gr zxvTxSdfAIMl(@KJ*RqHVw1Of z=SI~~?i(xHW0bZlY<*!~DLXU3y;)@C>8DluTLq$@M>>kQ+wQ1Ot=`LYHg{S{-1e)mhk2HM%Fimt8m?-amQpf3`WM?Xlm1;H-$LeY=6@zN{bZrR zgP=3lEROOWiv87{GwTqa;WZC&fr4pf{Q;)0^|zUJHuKGPJr-5`OyqM6i|$stDO+1Y zz29&`I$Q3^g4gB3x{d$@+xz438N%?1Z^v3c@bzE!beOmZ{ncaR;WzU)%o|Ekl zzFagqsT|=a@}i*qu9KMXg;NFd8if7xL%QP<)>s78hp%rhd^!2uwR_7S8~I*x>Tr#F z9Tk7+%B|`9*I$=X-1M+ecFmW~H4Dnc1Y5u8e`zXv5j0ajd%Nb%%iAo^y=}kCq$wW0 zecR`?(Nzatf3IuVEfliZTkS;Ls>}Uzw$x7Om=vsfUrlw=q^Fya$!ksp9eca= zv1)-tr_t1tnwuUjv5%RW9CzyTk|}H67TqkmZ_vFYB~*#Ecv|>@v}rQW=gF+kexm*4 zne6NNpNnP*?0Pc6NUkEtS>>jS%;q?ojVbPP_HCXzY5Dg*se2u)f7v$Gb6KWtuPJg! zKlP!y^X9?bb^3C#*~i}O3=jHq!gEQ@akh+YtMs?DcGoSco_^&2X_cQ^)r)gICJFQW zTELR@_`vd`=^yhtlnq(EZ|;!#)iCMnr1GMg48=~HqZ|cMd}b|b-uL4^g`G8=V|2#X z?t14e^CL%Y9+{-j*RZ-W*kR8*?x^}xrr~Q;p3ma9-;%RfLRouls^#q&UOykUpSb7| z$EGT55&uHu=KSN=;tL;?Z%s6P!omFW;`X0guAlC#Plz;1d2n{$W7}m*H_Kfz#JlXHL}nylmp%4QC#R zyk1?;^)tb}v~=G5#GJG0Twkqzzy2;|w=`#C?Dk8yr%0x+pR)6p!6hLT@0FH}VzcHx zF7}R4uPx=j?{IU;fte@%TsXpfPTTaoZV>-ui+s8H=?_d?Ri>m1c<2Q`>MdKp)b?ZS z=dI_b+WB5`GD_ZAnm_Y?Y;--({~2dJUnI?czW)mEvE}ul>KoVCE|Yz0>&|&kE#eV- z{@d4QIciqw)vc93_}ltIjl^cVX+IwIe^~DvCvW}Vsk>apvi_ZV$ZG+`%WJZ0SM0Mc z-P_ahTkb*6O8J~$(GSkZCC#0~%Ncp*MvagPmqwpx!CTAIv;215^L+C|vVY6R8$GdR z^_9sde$3rqtbXlncD-HLD~`XLt|c=npT6|sYW1bZ*LY{XGVRmh+Rmvf(6)VvTg`Ni zCD&)0t}Ktb@RCKAUF)p%l=Zr-{(8Euu~v&03dhg&w%fk3GuYAUNFR^%&p%U&SZ?j! z5Z~}1#qUH%p-rFx3`zUC`x)~x>NXR-G4NVHfs=`~Q zYtBwod4;Td;cFxxZJ$KEH_RubH?Y%TDa6 zvsnGi$)}H;EZN^`@1(IMwb6Rt$=xCEw{xVOZs+)GRW@tM0^1ojVYhBx_wwejy05>? zcMgy9>^iG0UOyQWoa_m zHC=HpWPjM-JHsR^7Lvi$0fSt03Hx6JBW?rXX_ zP2>61J&`@>?pGH@h1H*amTbIs+T-(AS4GX$o3$*ec2?-~tH)mjmj?db9C>D+;I8k- zBXs8o{uj%A+`Qmz&7Z$VzyG#>&n^E|%uec&vTW4sF9tPhE}PcWgxIp_&u^Oj<>;l; zua3V8Ee-fPXXh{L;;BC>YdU-DQ{3W?9@gIZedn$lDRXyozpktOa{1rx`v>ZG9dAA! zT@r9}O;ahy>@~%&xUbDLef>(ehI`j>v&Fx1tW$Jn8LfRj+oW~(g)cS#r~j3o-?VIb z^jR-q-;Y`&TJ5Y?^NbR-_q1wAZxh}s(KqYaW*c#qj~O+Ws;y(b#+^In zzIXf8n#r6m^?W4$nEgonU_9f)(ckhOy;+G7kP3?q~6UCE9IH}tL;6j)eb+^ zj6C&WPVN)q>KRuHnrBDdZJn(@Z%@_lZ-&K}V^8`B8|nA@@*g=JlK=Fn{MC}lGpu)> z{wrT!QUCRmq_FV1YdlxkWdGHCRP5-?(l%Tov|gcZqUBGQN$WYL9hvF6!}G)3Id>*M zuRdQ_$J-R2Z_FCKeOW;L)E`#;4=(q%Ib3`wdA$9-b@LBSwL*h)VTKa(8x-?bZNI9| zape7~`xXT?QfF}#;61g9)JIz)4D%fZ$J7I6`$~GcF?4--;z>= z>pS>AiFf~VTNwP_`&90`C;#UEEBbJFGUG39oRMkJ0Z}TnFo*fr1^4M?TsbaIF zqU6~d&)zv%{`cSK&&#XNJKjmypu6Lz%(>u2H_CcnUV5FoqWk)r8Z%|-w>4}W@y=$C z9@iBJR_D$9z{>sZ$)38q)t^6I{C=isM=NvvI?)Z!i)XD*bL5GR{2-ztymPkXti6-_ ztG>Tle*fMCYq>w$O4*s`KIP^4tD?-ZU9I!q|DDxOGq&wh(+JEniqT1%e(0-Kp<#qOLneQ6VE;=F`m(vpBK{jHlnioARH zre>4Wd36=>t6MB5-cKruQjla9>}YiVV&%ThSZ=QJ@0(Mcp2z(cS9{c<3?8*^zsb(J z{U$rxvJfppLjx0YBTHQa6LkXvbxkgP-~1Gp#FA764HqjT10!QY10$%C=__N{KGYZA z-X>Icef@*v8Y|6r+h_Vc{~=|)QTF)sBcAG$C#K$d<}xj$({J*>Uz@!HOgtLAmR@dm zxx%#j_uK8=tPYW$b1(XMPA|+dS{k9IS`)6cx#{5YQxc*U2}Wv(>w@%>qi*>G&NE#7 zz&`z<{8C9_nH~?@3CGgrSpGQXa;%ksccHOf{n}G1=PoA9%${7Bd|*|BWnZ)G1g=%3 z$99}$NpE1;(h{J+*z9Cw{-7z%$$QH}qr^3BmJ6O9&|+ROsmW3EL1VKcUsQrqQ|e4l z)`y0y{8CBD7RPsRIjPMRVP?w{*~%fh=;@0qJAD?G^F7hv_0ESST3`awjn=EM^|#?Ool*34WwGkE4Rwtbs@xD)Oja`BWk;Gb{6 z=PYHMlrWENXJcjCO~#7r$1(y=ZJElz`pl9|v$2xz$qJ{5Im}u?45!W%9N zXW?kHQWllhm>}6&(HOAU(4rwpr!8Cezy=vP261MUQ-Spi9P306Z1alb5nmu(BQSF@ z6X%4P%(vLMoJvA(TFkZVbzypW&Z&UwbemC^SYzoaL$5VTT8jT?8C3+GV7Mk}I-!F1 zk71UsvsGif))$A%U70CUoKDSXxhZ9Qw!kI$1EWte(*gDnO(T9gi>ExrjQ(q?nB?a) zv+{~^`-{y#z<#BEw&b60w;N*q&3GzlIm7SN-WtPM;+u=CcS5&^-z_G-|?dEgFn{hp#JUP!?X1pnTj_>oMe+yfB zx)>eRExt{%+)xz4cl>BZb&>r!N2aE3qxu?tQ459ZTg7yk4L%vniLZZ>`mM=EZ1VD> z)4taSG)P_1*ZKVU;QRgm7Z=>yUtL;T8PS?N>EWIfu1A3$3SqOK{&%to(69ZNGkLq6 zn$hX!N56>mKK=Y>+L>oZlkf3eSttDBy+tlCe{`?@SPN_^sT=)A-TxOud&g%$WQNt>Q1HkCnoU7H+CN_DDuub z(b2Q)@k^F}^))h+q9;v0WwBGaoOS1HyR#>4D;4)fpZk2$V!!s^%X^F-yi}{Vd)mE;fxUQ>LiZzUP0yd#r`Sx)f1>|s?jMEv=btmR z>v5bXDt+}b%lwdvq`UxN)Rw>B^IbzB=|wL8>s@2XRpddps~nh`er!uCJ+ zH5T2Jxb}X&|7D~7dnJE+o!Z~1xn}v%iX9aPR#nY-USAm-?LRqMiiAsI(T^>!+d~etfYe&nu#IXW1Qhs%APk@1G0@FZ0eyss7KKWW5)$zxQ{$d^@R#e_z*b z>x_Go1NWWy*DyJ;KKEgS+~$Zr{@wA9w&Zg?WxtsJKfHDs$v?j>8wt4g;< zD+X~o6sBG_b2oX=alGTouMR%HKL7iBRtd~xS+ru))Yl6=cColt)jCwS-(G)jF7txV zDd!gL3e&Yw@`zm2apqUWw*GV9*46iE*>o<|U$ko4rt+7YB__nmUzpu&-u^sYbb-q; zmyjz_Uv+AZ3aLK1#$NL6+u^I#ItO+mH5O?!Q2bW>~rGx-K>mN+{Ecn=(zjdJdGp=>5`YPFK?IEKflVlXwsq;OENh+ zUM*-#;mK%LyIaYA@#y04hnz1xL%y)d?)uENu>06rr{qIl=P9H&v)$eMqWpu#wqttp zBa);`UYwh|o!g^?QBu$-h1o{y*k;G(clV-pH-v~!NPcnmaK@e|Z`o{j70142GWuw_ zV!f}ocyWq(#^sM&S95Ev%HHvyWr53%cdupi*SlS{{>qWIsCqu{`_HU*4leVrFqJ*< z-7@ap2i20L|Ca4Ix_at<=F~Id<;VUUR7>8sGv&Br|5 z)-OBL63-$1Q{dmRshv{WKOFz(({XFtn*G1U`DXvTu$6cJ?FaA0|6Tr7!%-h`UgfW5 z_@?viYkp3srFdi|Tp!+_@d)2gAu9oLM^471GzuUGn#(&M>m{)Vpe$KDBpShNE{hplDE7pW* zUT>NE?EdLj;j>yaf97P5 z`g+YI-^&J>VTLQCe6|T~XL-JQ_gu4^h1V{uy+C?qyPhVzcTcIDtvJhach$n^wTq%#%6z)>L@(urU0N%(D|L3BpqsWZ)V750nVcFPHKIDI7Vg`h6-?O>pcD|4 zzxv6J3Y}AZx6|%D*E6$MxY)qqvxr~vmxK6M&4b(lu5DUetVRMEA}jP(9eY?5BsIw~ zRW@R?hC$}fDQ<~YQ?3Q}bs7Di`fqyu;fwQ~E*e~&c3*V! z(dmi%7s3kSrXMJ_wb$h{2Ix#^#}GAt^PH8O+kf` zuGr7%4Hl*rw3k$x=GRg$`uWelOpE=lGxTh~q;jmX7h`SPmGgc3&samv5BZ`S zE*hpM8NO5SJ5qGVea@TC;?B*B1zSb=oEbgeCAl;G4rOw<`ZY!6_}sQv9zDN#>-*P+ zNQa8JvWG<{h6?ORe|f|5UCb@Fq&t&KWDMW=sF^kW4z7J(TNr-F{_N*?_ro`fC;j=l zN}Y#cT0oc6OTU$q&RnwFXrDb*?y%n8Ckw6H_U@_^7wk=ZUz#~PG%nNp2+MV+2G@OtrA$3bWA(@V2>-+#{9 zxSch^agFN1JH^so2CSz=pR1mT+4KI`z1c4XgX|kjR!`GU*ZPKXC~jc z;;hB8tx{4gETK7EQKxb3UQwQT);*qwoR**V%#3K5eN$lSv9)?B#}+7jY4@JkrclVb zvFhd_z24Hl^7U!&8e3CZg_SeDF4&*2g(v)Z;!QC|_f^VF^?p9?EPk=>EE{*da1#2# zr*=$Wex8(v=sBy2x|LgV)t}4=ojZX!$5nZ!!|zjSPZI3+b(Kvl4Gn8m5}0+3GyFsb zkMAPpWZ|NQv`QzwZ)^Qd9Nf29+iB$lkdj5K-TabycD;%TQD-Y?y}tf^{FKA93pZ3g zvI;yY_~y^o*Kft2);rtH{XL!c&`i;XAupO<`l|ffyK`0T%30c>+totl`KHvLjrz;^ zx652`@AXBuylZO$zh3mbnjRUdFA^$m9#Zqy>t4_=esS;mQjxF6mSo-9V!u12e${*X z|0n(KzsNM9x{FV-gEEE3tyx8V*jfxeXVq{XYC?;$HaX7_yZMQ(_!UeU*YUR>&)n{H?09c#Qv7Y(s+OJgM|xH* zDb73VwS<9dVa3syO>WV_g%PJdg!5i5j1X*JxmqgiXkw_$GWqKTQ;Wm4IZfrg%Q=0; z`GBVmdS5QQUJ}JyS40Gn)D^sP*WA324*Qv@{GOxv|YS%Vd zp4W-Odl{>4OPU>c_Tz-n(J$K!b6V7@zJA$el+&jB<=e&EhXSOxU3|TGd92AxzN%f} zzC5K)x?f6SeAjnh41M*fG`{3;iF#>w>HDt%U$%Ua*!@62rma~_z0haX^Nsx9jIZ=w zkkx9a{~EwrxuLP6sBxj>jx`%Zcg)xzyQ5`+@cU-v3;fOo411q-1$*5MR9o9(wBlj? z&U+WQb}!&9nR?iOX|Vy@WP^-#@4B8@A3V3)u{>ESErD^_nXPs!|E5{a3Mv=!`C=w%M_Ml%4Z8=rBvlL9GX^A2N&kU)`<$w8zPAdU8s$(6QYQDm`r; zey@Bs@2{Wr=W`YFnx6lxdi1vY?A|hm=t}Jx&do0*_6W?oeqeHJeB!&Dx!)f1et2?E z`}>l++Hap+5l)EDe&;m1OzrW$K2KBI$j`IS#M-Z4JG*gCRngPgXYbayN_VVPe=%=E zRUGg6$=~+)%uA?hddXS8EI++Uw!^2&=;g^J>XYZWR4_gIKI8X8UtfPeTg$IUF1~Ni zd(qf@=J=uq)hkP`pV+K^{-1_`fIWx%nY*=~ljWHA23`#ioWAqZ4!1rKg9o#b2U zki#6v_e)oKQDaOi+YNRVr4nXF&L;{Jnh!MdrzpR8`JM45$KM6_jbbhPt!3I76?hUk zI6M>-5=BlpS|oO!vbOqN=&iG5^{fp?cE*SJMm_qh6dF8j$LDpcGQGp(Lrs%U`ss=! zUYpc!vU1kuCvVT!hn$W6^#1?%=nWyE>sGmXmugIYxMZo{zjd#sER75OaX8aEHam1{ z%F5e|S54F1`>JW5$eh%(_65_{$zQ&pbN6%as+Oha_bt%MeEE9qs-S86zE57YWvRT* zic_1`ENXwOqxxLw>3uh?{~cFM+|0JQn7!>a`R20CM)YQ#>7`G_OWwvUsb8#l$x{Ai zx!I-9p-(RSp7>8)iFxnDhtrjl6^%Z6ru z6)kvvIao9OUC_RUKj!bU7n^eg+7cw(5=4$YV0jT7et+9!1J=t1$&tn8k7v%SJpY%y oI&t=VuGGAg;*z4 R<7KPii=c>0_|HeOBx6E0O%SARDy0G6h7<^TWy diff --git a/whitepaper/zssp.tex b/whitepaper/zssp.tex index 4ecf5a5..88680ad 100644 --- a/whitepaper/zssp.tex +++ b/whitepaper/zssp.tex @@ -885,9 +885,9 @@ We want to minimize the number of Noise keys alive in memory for the sake of per \subsection{Security Flags}\label{sec:security_flags} -ZKE has 4 security flags, $\pi_1, \pi_2, \pi_3 \andb \pi_4$. Each of these flags is a bit that, when sent to 1, change the behavior of the protocol to be more secure. In particular, setting $\pi_2 = \pi_3 = 1$ dramatically improve ZKE's post compromise resistance, and setting $\pi_1 = \pi_4 = 1$ obeys the ``Silence is a Virtue'' principle of security. However setting these flags to 1 come with usability downsides that could make ZKE unsuitable for particular applications or particular users. Hence why these features are flags that the upper protocol is allowed to choose between. +ZKE has 4 security flags, $\pi_1, \pi_2, \pi_3 \andb \pi_4$. Each of these flags is a bit that, when sent to 1, change the behavior of the protocol to be more secure. In particular, setting $\pi_2 = \pi_3 = 1$ dramatically improve ZKE's post-compromise resistance, and setting $\pi_1 = \pi_4 = 1$ obeys the ``Silence is a Virtue'' principle of security. However setting these flags to 1 come with usability downsides that could make ZKE unsuitable for particular applications or particular users. Hence why these features are flags that the upper protocol is allowed to choose between. -Below is a description of each security flag, and the security versus usability tradeoff that occurs when it is set to 1. It should be noted that all communicating peers need not have the exact same set of flags. It will be possible for them to communicate even if their flags differ. Also, A peer may set their flags per remote peer, this is why flags $\pi_3$ and $\pi_4$ are returned by a function that takes as input the identity of the remote peer. This would, for example, allow a user to place much stricter authentication requirements upon a credentials server than a friend's laptop. +Below is a description of each security flag, and the security versus usability tradeoff that occurs when it is set to 1. It should be noted that all communicating peers need not have the exact same set of flags. It will be possible for them to communicate even if their flags differ. Also, a peer may set their flags per remote peer, this is why flags $\pi_3$ and $\pi_4$ are returned by a function that takes as input the identity of the remote peer. This would, for example, allow a user to place much stricter authentication requirements upon a credentials server than a friend's laptop. \begin{itemize} \item Hello Requires Recognized Ratchet, $\pi_1$ -- Used in \algorithmref{alg:recv_x1}. When this flag is set Alice is required to present a recognized, nonzero ratchet fingerprint, or else Bob will remain silent. This satisfies the Silence is a Virtue principle of security, since a peer can only acquire a valid ratchet fingerprint through some pre-existing trust relationship. However, this means a legitimate Alice must establish out-of-band an initial ratchet key and fingerprint with Bob. Bob and Alice can share a one time password to be used as the first ratchet key and fingerprint, or Bob can connect to Alice first if Alice has $\pi_1=0$, or Bob can temporarily set $\pi_1=0$ until Alice has completed their first key exchange. @@ -900,7 +900,7 @@ As one might guess, security flag $\pi_1 = 1$ is completely circumvented if a pe When $\pi_2 = \pi_3 = 1$, ZKE strictly requires all users to either have access to reliable persistent storage, or have access to some out-of-band mechanism for one to be reauthenticated in the event they lose or corrupt their persistent storage. This, unfortunately, is not always feasible in a real-time environment. For one thing there are many embedded devices which only have access to persistent ROM, but for another, there are far too many realistic scenarios in which an inexperienced user accidentally loses or corrupts their persistent storage. People often do not realize that they cannot always rollback an application's data directory to a previously backed-up state, and expect the application to work. Furthermore, very few people have redundant drives, as in RAID, so a hard drive failure will likely cause them to lose most if not all of their ratchet keys. When a user can no longer connect with peers because they have corrupted their ratchet keys, some will perceive this as a bug with the application, rather than the protocol working as intended. -Furthermore there are many situations where implementing an out-of-band mechanism for reauthenticating peers would be too impractical or too insecure. While friends and medium sized-teams can simply message each other over a secure channel to request reauthentication, this solution might not scale to a network of thousands of devices, especially when one or more users don't understand why the application stopped working. This kind of situation often unintentionally incentivizes the use of insecure channels for user to request reauthentication, channels vulnerable to phishing or social engineering. In a sense, security flags $\pi_2 \andb \pi_3$ provide an optional, in-band mechanism for users to automatically request reauthentication. While this mechanism is inherently more vulnerable to post-compromise attacks, it is resistent to phishing and social engineering. +Furthermore there are many situations where implementing an out-of-band mechanism for reauthenticating peers would be too impractical or too insecure. While friends and medium sized-teams can simply message each other over a secure channel to request reauthentication, this solution might not scale to a network of thousands of devices, especially when one or more users don't understand why the application stopped working. This kind of situation often unintentionally incentivizes the use of insecure channels for user to request reauthentication, channels vulnerable to phishing or social engineering. In a sense, security flags $\pi_2 \andb \pi_3$ provide an optional, in-band mechanism for users to automatically request reauthentication. While this mechanism is inherently more vulnerable to post-compromise attacks, it is resistant to phishing and social engineering. With all of those disclaimers out of the way, however, we still highly recommend setting as many of these flags to 1 as practical, and for every flag that is 0, always allow a power user to override the flag to 1. Since peers with different flags can still communicate there is not much point in preventing a confident user from improving their end to end security.