From 340d3c5d01bb1a4557f3ad8fe76f683f88b6284b Mon Sep 17 00:00:00 2001 From: Monica Moniot Date: Wed, 25 Oct 2023 18:20:23 -0400 Subject: [PATCH] fixed typos --- whitepaper/zssp.pdf | Bin 422487 -> 422497 bytes whitepaper/zssp.tex | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/whitepaper/zssp.pdf b/whitepaper/zssp.pdf index fdbcec7ad25740bf411687586e76970c3b3a09a0..69c9ee219dd86f0f6d6f6a399f79e5471586403c 100644 GIT binary patch delta 10079 zcmccqMDpPi$%ZYA)0Q!sPrjI`IsL#gM$Y=9`$S?FZ*vN|a@|?}l8U&B>xJxdjtwfc z7v5gVep;sLe(Birf4|O&t9p6QpUlL`6Y-?LgRkBA@Jz++eB-yiu5zl#s(`C*cIKzGzA5W?yS`@B(k#sRVc%c(xP3q8vH!>4uJ(@; zFH6n|s-Mz&@6Ns0fWqDP|Lpkt=eB?R{kXr+zr7Ck>iGBQTXM;N>3=rQe*HFbJeId= z$tmByFCuBd8B(3K& ztX@XDboATa9@`J)@7=ab-?iJh>txBUzf!++)U>yif6a4oWA4t|;C5iQ&HjF5TK(b&4=z>Nv#s5C$H-0JEr-<8=pJK*QTx3|s1Q+N3mEb)&^Kk9Z{W$RAI#-_&L$suOX8$WB$ zIG%D_KIZ;ivn?%3xA*N^^=8|8e)SvQLh_GCrL`?HKU3PEbUm}F^?=rtH%m-r)gM=n za?n_-WDZ7cC3e^t<6x!1v_lV8ieQD|bJhmV8%UrdiJE*)K&YvGaY| zhdEQ`Twm1i-auW4b-B2vT!4SqC2vuMx38vg_qp$XeoIHg;?){vlgImhZoRqL%(d)| zZ2qT?Sh>!y7j?<2PvzTluuYg4$$Dtp@o7QzN4N`@b#A=0yGr5?Cwro&t3ps;ZAT@? ziv?GTFK%6tB+B#G*PP?tKDpP<@$*~S0?OHr?GRu4QFyw>Z1+BAfUN}^D-ZgFd zvMt?$=WhL?Oif)5gA@BX4Bp*TIj}+M)tSjBW9CH(`b2Qf=E-1^{aUj7#-sE6akB-_ z#z?3#Obj_B{)BxkkAPU@hJ&o)w?C`YGAJ&bURaoWr*hBp)MUws*#*CKUkZpY9LZf` z#qi_ZXY-hhlts(#mcG5fvshW#+-OVMqn;H^B7Ctq2TgmK>e)6NKGz@f(IMBXb*T^E z@{7DX6cxPkUtg5%Kl@@y`Q?4n?Tq5vJ_{yT6>wbVsBFw^Xw@w7FUKQ*#;igfg*MyyHx`=KDGOvT2cnd0yBxlmPH%{_vF@oqm>E$1}?d>GgE&g0g$S?0bVR}O@f~hwnm3!gz z45R3a+*t+By>3}9OYe}g_^cLj_BZ$a`H_l(hvqvZOWlZlKheRv-2B%)c7ue+fe*eX zSp4+a67`LTtJ>V8{o3~!KSrrmnU7wr-CI}ch~1LExj^CBM!AnZQx8fr)^BczOgUWh z2@ZLqBfe>+R8c5}p52}b=d z559jgymHd=hE_v7H8P^>$$ct9{RMvGVj2y>L*NA zW(t-kq&|eknJ<`P>-k9I$J;uogL6+zJs9F=k(7_?ALkqhi>bqZmjsA zbw0Wza_y#r=fWQ?34fwwYAc@3zvq&KPh;!zPfs>4JgMlj-THgqX_<{*eRcD!))-!& z`NOQ|_Esa!(|q;QXCD-HIK+2(frh8ylkNb?uh$zT`_Ibhu0DBn$zuhNzqV_qEZC7~ zDPcAxB*Y=+q!XuLw*_CsWZ{0%?};pu%PIs5I~=cfOz3QMRI$0c(ey)%fX(h1HzZcs zc`;hB#dF5$cxcZ__ivcG(O~Ki<8|dR&Uv#=Rs6iN=2Aq$$*;m;^^JYmrkee})Q;(rIHpM7KcOmb%R51qH~wm#wMa-F1YIOY7}z&4 zeM;$sz72P*{|7`IN&czjsbX8Xb>~->NsmiBr|Na7oGrG0Yc9BHi&xi~H5`-go~T!q zWfh*ld`2YIZqjMPD6M6BONwv2`MrbxYu=PAOcUm-2{`HRyt`FmnRM5UU1Ens&dC0l zu}~~r=JrI!8wM+-S!+2mj|m*k@tm~N!*AKL7hMMLQjPd5H-5QxQX?tQzH;tV#(bZt zs#bH$-mcq!N`wD#)SGEd4oVBGw#6a>!*cm<}tbV`18M)7yevtU6*}fi%BHU;ttk*iD}G7e_Sh%nwQ3Lv$2Hz zDmT}$JeQ@eLVCLU{Bu~pv>Km?xW~NID1CXSn_N>l>(_$RmF?^u*W5if|7u>|@_A`K zAFu4~JsY~{|opYTVm1o=O_I zY~%1+-Cz=4IZ*p_7IPpbnBJ*eC7ZBt}!#N>~~4im>e=wye0nmv($&-#)`A9*UP1R z*}OH|-=-%go{v3wS^e>UPY)c*OxiSiW}0{X&M6{&hi>k#{;odfPhi`uC08z6?&!93 zR(N%J*)4;oOTr>!f|5-Z?e+S9;qWi>&a_{K z)A_^VL?&-=>9sc4z2Xh`r`*l2Qh)lT$NL!9>o?!v&eHzrcCPp^^X_NI*G;p1@Wu1r zoGGtFY94;_7r6W=)$pvH+A{8bfnf8Mk81SR^cH^z6>C`%Ao=d*sqH;3jl!J9EDi@A zWc_7p$luWQ_F>HTNyofIbvIT!v-KeWS|2^Vp)4n2AmJ4sDZ+ji}g)!C{8vO-`&IGj~}r zD|7Ykj5_Sc@-#R2qa4rE_vhVrW^o<4{vu)if=6|hliL+1F1i!J;C!|5C5muU~2vP(8AxAduBEdY#$w_QlaUes1$V zlWxqJL>d|qLxjJVGeKan&N4wj#u63$Edf;x$ zOt<=pr;f#jcAo6oTDbgAQ0c@aU24vT^C#a7)oI>gopMR0RJkMm`Vx`T3AV?AXR+OQ zl#=i+StHYH*_MSd(O!+$J&)aedtlk5u3+cm{4A4u)C6`$XY>tkcb}znR z?yigVvsM2q_`FGaVNt}FA*V3+-Jic}85)|h(`E81eJc`o9TBS+wa)RG%2p_KO{`yy zBj|H_ZRO;)mwIbH$p&g|_i)&;`tO2mOPC+SrW-soHe-^BtyZvJ^>pi$ZFc6<&t2-c&|NQH!Li3<+l?)E_T?VvD)?3XnLq?)l8%Z`lmXc1oqC>cv%dNycbuN{XZ=zayM4U1?rTm6u03ipS@-5;Wj6`#^_lE?vvk&- zPqHMjcU1mZI^8C2;&02tV*G|TZW>3sDy2TQa_ad0ukcKiW72w)%quxd&vQiTTTEsZ z*J<%m3i-jbeTTr3q6KQ2iPxKN>nxaMpXIb*y}`?(Q#B_a>pUqu_Qk3CJEqSxb=mA3 zv4>_86lD}t(@mdkaI2cE;h(^`AtKGs|K`pk zmn3|uGW(N64nF#C^@A^Qlf%QqN7(mI>QnO4W$&1Dzwki$&RZPTVcGiA%GOO#5Iu0P zte)x1#8~+~Zp&M|67_6UGon-Xcb&ZU^W5IsmYfnVpDXOV_ph5(Q>Ich*`3Yrubl73 z+C;HtfAKelaxAMPmI+@9kUjHdGymjumyCZrySDv;S#jReBfiPy1%K4$Kaj0IId#E( zC6-q<&r@{NLJS(86l)pUAI=Jh+4NWZtbFy$mwUr>-Y~yA^G}lh>l@pDaTAWt*HNo4 z>Wk`GDYSI;S>K7Oy96#LpZc1=^dEcl^ z=KYwPw!i3d{Ml#!AN{&%A6KuIwzzlxlFnN(_va-R#^&6sjQ{)L&(p6*&tLyvCB|_{ zf1Ui{-}WD#E6o38*So-M_L=iZvdVRx_f))o7Os%kI{j&0#@nM)IfeXN|L@t+W%RT* z`SYP|cW&JIwEaH!mFU}M*O$JotDM*tH~T%`wtW{?UVmPD^U9sCyK;X$d*r2lZ`(?V z9WTrO#q8c$7qqal_wkz9??V-Zr`ofgx-s2yC!@UgW{pR@@~o?;Y~)JZ9l>w>_G#$V z2QB3>dvl}S*(W>>`1*9?CizoU$M2eNF})ps;Jxhoh0o?$+MHM5xVi1K{<@^8mFro) zyq#^nUO(vZ^u;?Fwdx=J_0qnVtorR#lk~?A8_#Wabk64Y&EHvgN94^(mo|S<>n9*8XT*#H);H|*KiNHxa^8_z^2gw|-TJ(x&ikBJ*XMMqmdHH+ z)DR(+uya?!gFUnR+nnagFA0(B3(Z_QfBV$RyZaA0p*{ z3clFjqib5 z9@oStvG@7jrS!NjY3CE`zwlW+yDz(bwa5e?;eg5oA486v@cYG*9wjI}_tGgLfUtzkR+aEsuLju*nu5`x9g=yZBH+xLB8^XZjuY3r;% zy{vwLz50@C8`qb3Jh0-CkCrOnzC4lXxpwy4gOMwqp88s_BeAzW>7$duIY*Amf)exg zNcr0xo$Rjq`^ZCkUp-a}#Z-AqbJ3qOJO6+3l(YF`@MFry=TG<(`&9nEXy#vh<@zD@ z`IR3M*D(Bh@?iVf1E=TBvA%GrVf*H)cPbxWr~8Hcnp6MzpNCQXHx_^HpUdZdozyY$ z+h&EEM;bp~R+*Q1Ug&!n02*>bneNfoLn zSCz>BurF)fBww`|_kT)$j=emcZ`=LnduPvGV?AYCxkK#}m-^S@^W=i5nRi7FRAesr|H@J>rDkoA{neA|XEvri z=v{wC&FGZ>(bcct_m}yel#ZW$yyy3>bCMJPmhAf9`1hY=v5n7nldp>{eigsq^Wxr7 z=U8F1{&k_}p=uXCpjS!k)!j zu!hg@-xN5OzQ(U+1NfS$5j0OWGbGv(P%BJ?~*XhSw{u` z?6mb4s81|**E@1AXhHXdt!Dynu)E#i5jfhq&6Rh(M#MC}M^@W+xg6uLcRLpFGI|T+ z`_nOH2Y<>&m7jg|q}HB)hN|dd;d9~-x38(+czfRIO71!LpS`sWcmLD)bobL0xtF&c z4s6r))lX~hIVK>vM*Z1LffTN_j7uJD^Lw`IEbG#m+x!JK^;>p*D@tSDxF+QcNAup; z9Fw>m@ASl%n4Gi;?L7C9i)AXiSIJ!;Pqr5dv$RaT%{uBia-Rf05OY2$ZDyqL{NFwm zzkpko`~kCWbbeT6{XsJ7k!kDhd$*G3-wz2B5RKXP^TJ7=pSka+g8mH&goD)88T^;%0y+iOY>OtE}oov?cXD# zj6$`AS30eCo~S;l#o_9E;?aU*d-7*#=AU9oU^!99VkpZ0(Qt|SLYZ2xANBj>SKZon zLio`{vpe&+r?s38+_uF@&8q6b+V%VDm1Rs`F(z)>y;oIVT5^M3>&_V`oyyPf%QBxk z?=^QNd(yvSj!oO=6pL?^-12eFw-+tWVe#RU86IAFa_e7S`>I1KCKlW67x4tmvXFD- z&hDISpCSLMb%La5RqV-yj9-K{r<`&a_*yMHvGez~T)sPvH@|<{dq-6w|G)6Ui{I#11US^EH5xudsaBXNFaQ+s^`A-A2+c~@wgt+9CP!CX8h(OHELJ7cRsIv zXZ?ixYx~^;9Ba>7pJu3GbYA>V-M6GtL_PSr)@h|B$&m?XuN=A8FTr++BgKA6rTN0P z*}I}{UtOqp@CsMSTSj)%ij?mso@wlk`or>~yls)?gmc&G71lgm$CltFod5h2`-R_o zQZF_bRr5v}hdUqU3eVozelhE$il>Ea>DBM;nI>)#dW9d6EyVod6^=Mr9#Fz5W;uC?#JR$etNne})n(>(KzyL!j1 zmBN}XglxF`;4^Q<>XJCui$y#5*II7hyT8NX@D_FO)rob?~omaP@*dnr}#lV_kc<9mXz z-^C9V&LUM$q#0`)BBmQHndm)h&)uDpsfnAfWKQ9-JpX55){R1rhJ|ta7ge~VepFqk zcG|93ctPSN7nd(-o;6YoW-ktiUVm}GPu9>pf=iuGXYSDhMs+V;-ikEsIv*1g)BUF1 zZf`(!gs$a&bG9AXpQzfLF zehw$wwN5R50jj|Vc6!(xnW57gtCjfwwU^H-ru#=uHJ(T*5;@o2ekj^od~3k3X?pdW z7k+ree0*l*USWj<)ms8x2Na&A&RM?Md(X~kr@#N4oxfD&SoyvkD`F$XLue^%=Z)sr>3lT=^s%l10r;NJQDetxaak$c>IOy6Q=TZ(dAZCYBvRTby(!k0-?=r*2c_QITJL^-UBHQ=&ZI+z8v%R@tjo!P+)y%8Y z?@5;_bG}`ex+0eO;7>05LX#Ptljl6jG;E%fX`{6Ko^gu=(`nPfN1JCJnl|%OY}~aH z3$0SQ(r**o=jsaaXKd70QEECEU1XBg7kTB3$F@8DeCGb2{v7?hen;*SGhVi~Mqi(9 z&gwZ9)t`*&73Q^YpL%2^!6)%>anc{R$Ewpy_$JS`$@Gj9*!8>S_~MRzYV%H7hn(16 zVc)%7K|xcq!{C6_`i8CsfxYP`+`^m1a+hw%zH!lXqYeZ2)BRRLN+}1~B2Mfp=DvSw zL8)r-?BGwTy+@zCGj!$=;G+p5cqbj55 zbhjgnN}LxDJt)0&JTcd1df^d9BR}O272Dtb-8g;Y*Q*;(oje{WTwWey%5(Ys?X(+j zclxsPOQ$5QG5M_Xy2bYTGZDvPnFXtl%$aQ^%b2kE*Wc>nyt2!7%H9Y%e^g-U{}Z04 zrcD2Mgi+LLR&N3G?&%$ohjm+1tJb<6xV&~+pw!FO#y=kVIm}fT%M1K=m-X$B%afE& zJ0-hXeYW4!@2?J6>jZc{pYCv!QM=wEy6)34o>#}8W*-Y!{#e2@nOkYkrL{HHY^B

s0@)^y1ZG54i*96?7d7Jgw=!Vu8_teQp(s&(GV`=W4dB-+ndV#!*kT<#*U)Wqc+c zUN%{C@tJ!plhpXa-E`k6KKfwu>FCV6z4dR5sxLkxG~W_D-K zvM_masIZ1bx+jli!p(SN{$wGW6JnLw(|;T~bi}aBQtgBozpIL9y;*M{Bdh8mBi}fW z^vB2grktL`A-b+?)3=+3D?hrW?RhpS{a|AS`-i1RbcJ)GrrnzJ=hDLub6-atxVn4# z&N)|(Ki{*>sxSQKXOX}ivqaouzX$%*S{@axt;aj1`=Fk2u<$G6>ISd%xwG9b-Ff_Q z){N3GA}3ndK40&*ZK`uW?67Ti{j^Jd1`c!g)|$OJr);{I;YVK28I>4si^;`vn%172 zZJcx~_RBPZ%Nx>d7F1=fo72^joW;l2c68qV(+lK#y<28#8lF?DjA89lOcCfkCw;p1 z`IG$`)@MBV1XNC@MhR>#RC8HyNhoM~QSH&l;|Efm7br|$?zku7-5n#Z-)AEiHCMyzWMV1tv~XIrG*}DZ$81eREN=Gaw3by_Q0=< z+t~Q`Wn3xBxNwj&;j=3D{a&B#qJJ237@6j5n%?}Ev7e<@aLw9wv44#1V*i-h#r`q3 zi~VESF7}UAB%aZDx^^s^5~J~UzgV^ozCdGVb4xdK12+o;6ITmI3uhxoHy0B#GgAvQ z6DLzw7YjQD8-hw=x%7Qf^U_N)6bwxbreB=Ps9CRi%`+z~RN~mj&vnk3-rn4;+vH_m zGUz%l>{%+mROAK2mZeLLWi@gmItukW0~c{$5l~;$c_gc;>4-~=z#h7 zS(eqYp@(AXle|JNS#Ez6xP+r?;gg9wQ?_nf_GrVDhwr79JvI<-U-??<*^$IlnPu}Y z6wE9R`_`c)ZY8W2IDhG><{Ar!^>ecL!PRrMi6H~okkh&bTC2wJY40r_|~8i%MxvEuXYlvvhgFJonYS#m{!V3YpvHy7}#V<1d;W?;o6umQqt-pT?-);y=6k&9eG! zpSXV3^iAaUl6c?rT=iqieeoIA-)EOSoBPp*_5A0rM{ZA_QC+uv+o!M}re_uaBkB1Cy)Q- zJUjK+DpPVr(!tNd4k3R+-sFbm^BqgLaOZE5uj?0^i=SQ2_aD$Wb6`j0J=eG8Ldzb9 z=+4SA46|MHsXj8bBj#u1=1uIkX8!qExlJpGJMC<^taIX=;<-2X)|lj|7oWEv}tRu zoz%V4QKfaQ`Hfr#^V+^OVmIe*xcVk(;lJrem3NDm&D6acl5d{!c0jjC6D{PvZ|bXNideO2 z@y74ds<<~sDNW8lEc*3Wf{a>y()(DmJ?!BRrS|a0XFYcfn80>6&;CN8dLq}B2UDFC z4`*J;&#-*)^V}gB=Xqfd-mx{SNc+vcTRYRU*~4Mq(tlA!e_krLS+G5lIFWgRwMjB4 zjX(NpK8tYyTO#X(T@HtwIM*;fk~k5n5Z)NWS|s}AvBNs1kDOMX^YS$|xE!qXt@pon zh)qv%eisA#I^79x0=SNt2|QhJ-$+U7L}*3}pMu~*VGa)k_C^^Nxf%s&NB{loC){2z z|DE>oROOwA5?`1TIhq|Dm>4+^JMbOqP}TZ(;bwnS(zf8MGgS5dugtn5G(U9ZtPMxr zYOhk$jWk`Ab!yUE+f{y1pU&`wUY_>nU3O@_@w7ev|L4x%8uIl1s%JV^%@)0yvh>;h zaMS#i+_J0uqF=eWU2R&L_cnBE#>+e0zk&*;8CM^V+_f;)d2`A2nuI*W;EYTtG?rki0i9U%Dr1BE?ahD*-Veq+7qwk zD_Pg~ZV`3Q+SIQ6`@HL}JeOVbyJaN%d2+gV=Jxi)^!MzSoLLokJh$cR2L3Oy%lc(& zpT620cE9RZ=f(A>6JM~^F8Jys|3dLKbNGJEUpmqajuw2*20ZEsEMHcx&c9taqrr2= jra3eDAI-F@yZ4t}^7Aae>3T(M3Y^AfT&k+B{%%|VHUU+! delta 10072 zcmaF(MDqF*$%ZYA)0Q!sOBZLP3J$aE zPVD{?wKFzTIrDLGeeLsZp`}Y}J-S8Mbc!rw_}UN8d^lnCx^LmHUd=X_`nOuUHg$`q zQEc4IGio~x!*4&H9e+=yRV$=ab^h&C(cgm8mM;3rFm;ND^uP00@@;?KZumF<{k@uR z+ctzBQ>%B4e6f0WJGb7uvhe?RYQFaC-@6z4|Mffl{3!;1zuwKR`7is==Gm{`nQc9L zS549~xBL`5W3|(2m!+(mFa2FoQdK)U?dP+9x2DWa*AbsRw|d3-_K$2?I~&FJTK3=h zbVY`*r+!WJo5FSc?dfehw(YaG&@*qkza>Uqe(Ax#U3+D|iq_AW6}_+K``!gLHEYfv zzEN^%yWH`r>fElg>)e;~_|CEm)t`1OD9GBo+;OwMdCx^|fBxEXkz<{i*X>LGZp{2XFZI^~ zALY;S9u~gSg^vB&mlrijEu^mI|G&GXGxLO&e7Sjh&5lcEp1FAe3mXcuCY^fbW3j)j z&}ZAvi(l`?ItOcPI(z%|sk~oR^)0FXU(?p4restd4`SEwn#&fUvBv4FpV#90nRXwU zydrZQcos}uFjIYA{q=s0nNBBPF`rub?l@a}(n^Qm?+0|-cip#Uo9pzjN{DxL`thv~ zIjqhV2P%|H2rp|o+%3kx!@uiNwx~kx>uKD5EA5MN!$g)?y=Rmvy#D9bn+kK+us8F> zE05^;AJHz^zcuvfba@fx8z%+6@qnai6FGr4S2VmNVS z7JFOstao!ad_J69EKpL|ecD&&+D5y%d}pUkVegbU8@3H5@185_)RyM2+$;rD6Oh>CQ2p=v#I z?F&}(9Yv~ZWj-6b$e!E75%&4lq3`MUCU89T-;gX75i38@!TYD77&WNU|yJ{n^H(o3>-Z zoxM-rca(5^I1s--d4Wb&+ks5Yg-WYfm$q}C7N4m(let4IYI`ZO8>+cq{WbM^v!(9Gku$+-MQ8=ID87KIyRld-Wc$rpQ>W{;tqHrC z@Kl@gk~Y`GS@XJ!S>iHnd>UJye-hce@T8*8cH8fLr)!d4&yG4&G9!7Nac8c?_UzPv zYqEOg&GqRGQ)Js5LnkF^h(9!vTHkCiZ&L_h2n z&20U=h&@7*JJ{3aan*6tDa%&&T=zd4EycZNXWaoUgC+Gm;(r(Xbx_Kew3A=IL9FOx zO4A1}!D(Vbf>qy7?|eCT%XO!1_ujs^6LH$aqfc}l!`w%W{?~R!^r+uk#noRY<>wcl z@bq-c?TXonEA4n>lTUow_Tq%@ZDG^uuWva4fApq`8+jr`Qb1jgk@j7$a^F8srEY@ zJ!d~kOWIw2+U{NQ-qcFxrP()K4xU=>8TrIp)7j?s)&ecZ*!F~`Z9cj$wOBqJx%~AV zlZUaMp-17y49jI#N@g6=djI-mOXt$>=f0;g|GIg54NptbCasNb=d(-Z2HrZlb;(PC zHsuA@+ml@u?eyK`xxjp4=*dZY<_Og9>j}`9WaOL9wc&T>td<$83O;tJoHg#>`Pd9@SNy>>sMt<^bPB!A30_ycM2Swx?S5e<{V2&(!7)YUMo*{ zs7_Ja`9en6&@jj#!m9AiBAMvmbx(e~WYu`;`c7VT%3gKBr|n)ADbKGRGBe%qXuA6> zgZeA7v+9F2rFdwdz2#&C<&o#fMjJrM!j<4*xvWp|icwYt1UVjf)vHO)qb|e27W?rK;o z-=tTlx;;PLaJc=XRcq+Yjp^oVs;#~rSI=>-ek1O?ep6eC*CJyFLA|MQvuj&U1RYf9 zf1wDGbrWqw7M5H0e)-V96D$l zKV7DwePx<{!J>=v8u@yqB#n<&cVsRVikvj#;RD`%U9;KQSfzNkdZegTblDd!XIAW6 zR~O#BXP3q-x}|4F>ATZl2;42?Qv7!bh{>0AEs!!KT-4Zkz1bM ze}s8#tnB|G&$`P@@&5ljy*j5KHd=m@r)*xaZQ}}d0kx$+gfk|GO80VRC7Z`@**(K; z64&yjO$9rmoHDjuXHPx-TtY4DmZL!B&sCZ0 zg{D5A-#67u_JtW&(Y4$)x^LC%owEMT@p$RjoE^zvrEvH=tLRlWo`)Mm4sd2rsj= znKV1%T5G@9y@Q_HB=$|w>3QkNDSU0c+&cx4b859b>nE7R&D~O6xXV7kkNGCo%=#b?K8W}1vQzpj&e^4KC#^9+FC!}+zG8us?6u`Kbdj* zg5C0iSB=6Rtnq*7sx|XMh~AWq0xdl&TYBt{TOB)>vCBwc_RH(%J}x}ANM^I<=1J2o zPBGhHv7zK{;EhM0-yP`fZmBfr41Rxu**D46vfd=uIOjaOzBxyR*9YO#b8hUZY4#5) zb)WCMXzPSGYwo>?^}cQsJZtsjoGT)C3iRGoSnW7^gl)dB@SnHedP+3RJ3Kcf=Jb7) zD9zpGv&QfLb&o|W;*4(=+?c2N=J}kylsgt4i**vTBQ5tEH=BzUEu8f1$BvaTv8#WT z2biLL%Sdd5Y_kH<`Yw zBF>9@FL-n`rE6Acib}c6UiD#0Z|u*5Jj=f9*f&jmBKt%O#S=f;iWa1VNQcCzFxbeo zJ}cwCHuamCX~~~^`X^uPjq88Ux${SV{=JyLlXvaO{Z>-i_`@o855Gu{;jfk?@1KrW z7U}G|A@Jr|v0cerPw#m9jQXdclg_a@*?f~#e^9vRvgf61)@&@2l`CS87_NDHv+Z5- z#)j#NCBlLx=Y(e&wM(jsTPpTDGOF_%_jD`WiWL)J3EL>izj4M96|1xQ%PoEcm(Nly z%e|rOw)EZI6!|BycOQj{&+f6jYb?3u{4 zQ2EIyaz{yd=hL z`Eiyv*0pwOI`+2Q%shQrP(8&{@!<3w-xj{!u2&@g-ruTbxzIi@W#BccfN3Hi_`kn%&S7{k~-b!>4Lj14 zZ1sPd{L=@IAIn}o@%rd1vu1>RYnYi2R@H0Nc6LAa< z6YXyPU{gHe{{KSiUhAaD*hRC}ni)G?6F!%6h&6k`sgy~QUftXWUovF%%ABt1SilP8O-_A3gt97On9@}Ln9IJXoy>9tA#@+hu*^W#m_4?+I9%M}Xbo8bAa&?`> z)fSs8k6(-07UC;>`sYNibN>2m8}0Mm>*g`+h_1Q3Av$Si0o%VTOuXOIYgU}MIbl6- zj{Keru3u7WB>G(P;_Di>a2)@jc-cvx{o-2d|Bo~!q_dtMEIDKYHTksi`9kTWI zTP_P5*X;ay!)MaI2hEA~2QwpHc7OfqfBZ-3{7WU;XSMFIS+(%@bDl5%<2_HJ=E>`VAmFH_TQ zV7uVM#D^!(FWEg&#Z5c6Hz4MmnNr`?JKam?YCqvMYG{7S@~n z%}h$#*miY8{ZGY%M;pIQJwDs6=%}5*r8gRJ9YN>qUcG0HOgfd+rTKhvw_)g_lG4)X zluo@POf!rAeqR2c;rR0%$EIK2&Zss0;#@|}>1sO|1?%^GKkNDC$n0B3q*rT2mwjU3 zT_~w0Q*`L?CNul}wT;JlR4vPbR!Kd|VCZ$b-_Ue6PdH~^-LePfH&*n9-RckBcCqk@ zdQ|?l_VoR>pD!!$e(J4RH!W1gJwQ-Y`MSUl$#cB>FTV-T`?dP!pZFO2-^Wjz+8=5hV6EEIiy>i4l(hqm3hap%+a``lNeZ<}3T`ns-i zVryJ>8GCg6i!-l%HMx``T_k>RFi<`E2*Hd$;zV)RNskb2|Gj zM%j9md4Cm>x9!zU2|p{9xUILKs58Q)v3$c`O`rT7*97t`W$n*wGrzjFz>2euUQZuJObz>08NKuR+t~}XcK8NN41N7+yQAB@HTy02 z=6{_iKlxuq;Qhjn?d#{yopeOA(}2fTR9EEYGubU}arKG2bECUF1db}_+j9x?y#Bt_ zM3}um*}T=`)4F{2a-)gvOWOIw`Y(JI&+f}!%`@RlP(bB^k0Iwy`2Au@j}nxg@qM`h zpOW4^g~j*2Z)-MlJ>8J^FE?bhmhT@8Z!=GsA6AM>f4zI25bU5{&?o=w=CeKr{sjk$ z?Js16tvV}x;emGjf=;C&Y1Rx$==L)iDp3$YEsu0TX1iU*(t|ozUHI9P8`QEOO8Y< zro)rNAD>LG__QKrzQv#ACzmp)FL|TS7UXp+H;llDl_e?o0hl!xqPn5 z^GL++$_aUs6h3V>nVEUx;*2Fpw-4`3Q!ip)(=>OE?b5{gZr?MXN<5eRkoIl5|0k7? z|9{B%TmD+TuVzkK-4qw~G^>*becTr7uMc|fogRHs|F~XJ$b-}C*hEekdZgD$ZMj-B zE%U+MsR?@y{$91y%WP&s-ShM1zVTK!>hi11ts~1da?cwqkZaI$f4s+Zdg>lVkNU+j zdnerpU)j=duw5bI;a`pl!5u1YhSgKPPQK%RICNQQFvH{2#(%4yS4{Z0_0%7qEFK>*J=Jdas6WQvD(<@Jtyj{?*2be_rJ$dZdvuTpM^sIElb#! zvc~LJu$g(i^f*^nqRH}Fq1d}qluFE>zB_fzwLbI6RQBm|B|iD(+iD;9+;N*{BRtiu zj$@kA51FJtnv-pE*o1DhT$*oieATV~%e>moZ@<(r91H5a$9`POWX`3H-)k6bBja1T zLbTe0GvDmpb3%Fgl7n`6Pj&pa7j0Tm-6$->y~jya!exg1!$Y^Huit6VJvCD|Lusqm zMV-C}=igS=H*w6iE>iq9jVZQeU25MUJA+4Q4H|k|bh9d44{jYucUst4_|qTgz?v9Q{N2k^hsn+fMi8o^yZJw|T3T{~h>rx9G~Y z%-at&4o_PqzS()=F#*Xn>d$5hq;RceT=HO>-?Lq&O_OeZW0tAsU%SrsaE`*XsXda3 z8@6}%s&QYx`?P6_+RWuz7cCc4JUt^NQHDzn(9x>i6TT)*>X}*(F@_(*{f)zV|_Fe1T(`;&*&Of=NWQx#vKTZ7% z{ruFuH+{IT`&>%%d?nG@(Wty+cE)$XPXB^!T8BB!TqdVzosF1uLQpx=pLzO=Ctlh0 zg_2uTrU$$_GB@VQ-W1W6MQSO90m=8w&rUHrO5$(cB(b?_xVF} zqn~ho^pMUoZ&H0&G(~sqgw8&>ir1^(-{)ZOt#X+0CNKZwX*aet{)u{Nn=Z(nU6_2} zXXHxbuMTJKTX=k!##=5p+fn*_R==M`%GXj;P60pPb#LF7tU(PZ2q<|jw5o3(|T=7lZLpYX*RJd?$+DHs$CLZCS*20nDcs;8V_3#1IMZP?+%!; zt6N$uJrY~u*P>O>T`KqQ)wKKr8}3YHt^8l9k*4PUy3~Si%Goxq#e!8^P2XOLy*aN{ z_SNxgYoDlGOFZ1h#}-}|-Xvz6cgfK8+}-WD#Si$-?3@1nsh;8|HlFp*Y?_kAU*5`# zExue+ulSDBr|onlS9x-h9Q#U+N3SwGC%wpGnCIlm^o`#JA7 zU)sWd8>A%`Ze6yS=YY6@$*cNHF4NsTtxDH!(s8ny#(M3{q9eZr4?9RTzG*jkuXd#% zI6Ql|m5IuXsK#}+4;HZXzmdBslN#PVpW*Mh02B60H>K)Zw%)nQ;FJ02ZOlK0s{AN1 zUX9Jy7nl~Cnye|)Rf z^H@jOu>~sv7e`jJ=m}5%d5nMYpLw$bJ9u8?hCRP=)FZKz-#>B3JC*|l{P%gE#a)zo zP|5R1TT*w9Baht51NE`zo>mz6YCGtBbWdaw?fJYjdgIl-cI$Vw`4#U8Iq;cn<88@3 z%1NpmzO1)-?d~^h_j(>GqTBxaLe`GAe_eT`mK{xSO_7rFJp3YI8`o_XnQa?5TRJBO zE%)S-((%LBEZ*nDnZm3Ul{p{?p~*CWBHN2j;U z()oSHx1r5bSn%R()sLABHx@95$1G;HE745$#e*rCkAgUV$A>2ciT(&&B-7!e=KipzLSxU?l0fdI`7e#? zrMdL&3g%?Kn#;hbeX%Woh0Rd^vCZ7rM`uly??2DqH+7Q4{hyB(m8HgpeARUo325B> zrYBn7gxk=2)^97X=}UgE(-dTuU4E~A|JRKZD)cS5ZWQM}3sDH+@0yn6qhY=^RpLtQ zm6N{@KH4I`M)G@VMHpuW12><|a>gWE&2=tCr|Y+D;;WWTH(plE&(0VbduMYPd)WEC z=5O4DZaJS0*v;1TS+wp^hJm=c<>AXoY^s+lT>SQ?a~QHr%YJm^xpAwm@yxlJ*;X=B zE&HwNPb@ws-pRh@hPaU6!3VmQQl`gsveHzd-?_KXRo>=?QgTAQ&mq>-LRlp~iHD1Y{v3O(I=zH%@@$(-&p3fy)tes&y4=^8dD1%M#P$mN z?(GT+nwlLQ4W@C7qKt}F=O^^9W7ECmm3V!_VrkV)3_2-wr7A8bns_%%sC_QBZ>r;K zuV>c+KB;;idGb={sfegq>z~F-$FkLpK?(uoKNR1@-h7){!+JPA-SyIRl_QL*jKb5s zjxZ{5emwM`^wROfT%+lwM;MLjlRs2!fBSdi^o?JyZZvxGctz)K>ve8Cm*3w`yYY6X zFFU_etrY_C5PaV(Zuu=>cH*_N`535$RItv=2xyKJZIjiB?Y0!#m&@I2KM zEWmK+wa=mxYnPrmRy8?IlY`qC2r=Q6XR~k zv3*(e{=uBGw=(s6?--e#nPMI0Z#Gx+{nf_uhy|0(rn?+v)ULORuKRS1=hgA2*~bFX zA4_;9b1Ut+w6><2tyFvSywxvi?>^bTP5 zlapM@A`e z8ldsQCeN^Yvxq?YN`|y)^=b++{@1q3_q^!0C|t-qOgp@x>(kdFYn%^D8*@K^Kcv*5vW3zeV63;_Z1G}p`RBZZd3e(CT&);z-&Zd%Q^{x6( zr!O~@`CI0F7vss^l3R85fS+*cBFpYrNAKjAKRzdOzJD_1J$LzQrh(#&XMfgBoabU7 zd+L_YdZiZOAo1nrul--wz9+(Ru|w1Tm8#i>9EXLMH@(eH zU3M{7biVle9~NsH=eosQzOqnJyzjB{jf4{AhBN5CvT-6Uvf-(=Eqsy^H|v*$sU+4wB2Vz zW@J|JC-3&dc-D< zNndyDl0JM?K~C0m+Q)Mzs{+er)XOL+OzPgOkm&3a;m~ThYszY^a|UdBpBY(qYVb}v zTJ$_D;8uE=iHDoZn|4h(>!={TO2^!qZ_+Djn9r@7->&)I@A>lo;h*bg-{p7R-hF~` zsm}Dhnv9y;Bfm0kW8=%XUvqJvBfENoMOSHc#df(rj5&-<3q+^){AKKCnSFQ7oObzt zjP3IOnA+w4F}KVAW7#hMk5wd|(Qvv+ESnOe;r8%Ywhq1^Ll;v+Lsv6H7c)z93u9+j z3rkZ214~0QO9NL^Gc#8+I|UnpN@BV6eNyw%OEMG;O$|(@8|JWS)=%@!ndU0e_WY0e ztxM8V?k!jv5cN)kYw47KOP5ZG%k*COUAy&ItCVnghoMAxhEq@1EDx7QtR)LK7_|vb zzIY@frQL91MpBR3k-2Io{9f7U|9^C{`rH}&`{u^)=j6{RWf(K}SN!7?v$Tgx54L%IptJAI#&3FI-~ zJ}IlTeQp4+^~tXjg2j1nIrwF7of@FOrG3u4)elW2&jww-zANM4mPt`bYxkPD?p~Uk z!|d*8Zjn?daD2h7e&+>q1GpE8YB6Oyik@JvH;tIW*_PXo*(%#`vL&`blVxuO{|naI z1PPudy<*kMqFDRpb<9r_Z2zb3TPXO3^>;&BrA$wQ@B@_@49?H8>@Qa=F1g3QMJhN! z>P)j|aqsz+_j&v$zxHc%-4@2n{md$Rsb90|=DqQPzeGCH3!e2IVmZ+u+Q9tq^0Rq+ zmWK6Bs6YQ$($azNu}%eF=kY&w_wVeye`TiewRYLoi$;8t@^1Vw$02B zE!pJW|MDtcKYg{l`hmyQ`u87~>2H4=+~4?@tvEdUie&%qD7LE~D$ZV?x%*>RlsR+F ztB+Ifr@fo)opoTF+~VppuPmkJ&HW~$)^BKg?2E)@bHhDy^)2eQ^S)GEdhFS+Y{T~P z?6bN(iynSld3?E?^{=uEjC{??J??=YVl~!E)qVSM^E)%oqjrb&JAbdwy1=+VIFwf_ zdFJYl(o0&7rmW}vnbtg7o}9P5h&w@sXLfbOnuQzY9j}sm{WH*j?b(5r$ak(^XESat zT*1b>RV0)@)J~iKp|*W}e%QbHR*&uXd#u(eJ(hFZ)Lld3eN6VZ2l=hq4wu$^O>fPd zz^Lum7kPbu)(O_ik2`Ct@*G2$gIWW5y{5XB#;uYOX*5;1pOX=`Sfn{L!E^=N(lqYt zSECrU4n}R@3t`N1DPz9D5u)_^K-K2ub(iY14~i{F^3*-K%4OBRtF!k`s9#+-W!joo zPxQo+guALH*fK;ltWv(JbepAYcC5~YdQG{T%?bN&PK`cg+MF}z=j~ZP6EE;Zon5zo zg-zp#G>>|MgCF#-&=; zV#V*Z%GFkBSA4Sl&{*_1fyw9CopzJ@8kTj9uOB3T*lMNED4BWV&AnuKpT^7uP2p@@ z9O;ew7K%Fjw&oY(xViSgD>i0NDZklw_a9i`=+R)~{rB^-$IHEW%6M)VKDa!A*&xkh zrtPg&`xDO`kZy5mc+JGet-3%Y;dsM(rhQyLv>vQp(9gV&>xTLZ)tmPxR0_X^gd(m-5dSr)BGUeX*>41WnB{b zesAKeO(|auS7v%|lbbYa;}hZAOVf0J9-balJgw$OeZ|e^x}jgEUujwz#kRyRGV5dX zN>}gLj7e6xE2WPHrR$WY_g|T`wD{cXWe;?W|F7O$61&)GbIJ4NL7d+E4b`V^`EoXC z<&>rJHF{IGeOYX_vM1GR*CUP8=So`nZXvbefx_!|&Ahd!