From e3340cd5b57ede6ccc2fb3f726ccdd442d941b6c Mon Sep 17 00:00:00 2001 From: jude Date: Tue, 2 May 2023 14:41:26 +0100 Subject: [PATCH] Added ref for lz-string --- whitepaper/Dissertation.bib | 9 +++++++++ whitepaper/Dissertation.pdf | Bin 516419 -> 516734 bytes whitepaper/Dissertation.tex | 2 +- 3 files changed, 10 insertions(+), 1 deletion(-) diff --git a/whitepaper/Dissertation.bib b/whitepaper/Dissertation.bib index 565c12c..63f9245 100644 --- a/whitepaper/Dissertation.bib +++ b/whitepaper/Dissertation.bib @@ -267,6 +267,15 @@ howpublished = {\url{https://zcash.readthedocs.io/en/latest/rtd_pages/basics.htm howpublished = {\url{https://github.com/tc39/proposal-bigint}}, } +@misc{lzstring, + author = {Pieroxy}, + title = {lz-string: LZ-based compression algorithm for JavaScript}, + year = {2013}, + publisher = {GitHub}, + journal = {GitHub repository}, + howpublished = {\url{https://github.com/pieroxy/lz-string}}, +} + @misc{ipfs, author = {IPFS}, title = {IPFS Specifications}, diff --git a/whitepaper/Dissertation.pdf b/whitepaper/Dissertation.pdf index 9f25597ba1667462b5f66daf578c57546d32a777..ffb254df016fdfdfe61246a2919702c7fc17f1ec 100644 GIT binary patch delta 34802 zcmV)PK()Wa!XN&`AFy{G0#e+wc^=#Z1kemK-m_UFuLA)nlL;p|DW|gDaFMA>vCZyf zqxeQDmgNj)`^~51!%?3{V$8R-oul^@*BF>t+!8y zc5fbN6?UeX1lFS1e=R|M}Ae)HPgy?)FYlXlhfl9%gZHwFa@|>JMx*c{N|%I<-kzo2!3z=yS-+p z!VJ-rm<0zu5Zxc=+n5kM_cE0jZz6O53slJYvMBwt_D zUx=6p)bqK!tda&U+P*R80EL*+=XOjX(WiDi1?mZqrF$|b6A&KDA@l(9e+XM2ChdPT zeQpA4JU+=1;lx=fs4_`)aMDd zpu?AIa5y0v-X7b1O6;=^fvc<#6ajw%DHVBvJW+U_z$vFDgzF9o7x+m7J~~>$1M!Kp z=b(j1RYD8#KpN<4k5e?6SrjLMZQDTM;efeK(JZqfhey&nSl5n6uR{>N5%T*$aP1hl57M3zu`R0XW$GK0AQ5>ihjRsFQj&ir0@wku zmuiNc2Od}@AJF%LMc)fTfK*E-arN>&t#yr&mom#^^Z4j2UOF&DW3eyu0xs(B7F!q& zJrVm6NC<4eI8nF7=y}_lTY8>5jjI>3rXFOe|2eYww90%@RvEu_tq`%PN9PL(MXAcQ z*%wqGj01ekh4!|e^P-3cX?lO$p^tA-&7m+Q4~2OxKu9#eljI)^MF5gq0m<8#9flnlHglQKDB=73>A2sm2N{tGj<4Fp(1DSC+&oX*w4YpBJja#l`r zL9NxguO6;gOA(6#%JJH&1>G3Fo3&>_(VWN76CiBu_SDHmRG0#)e`$YI1T`f{O~LDy zE@Q#j5HzI75sihT^gwR_KsOc1p(0hJ8v8s%{k&+hvs_(wjJcoaW}I{v+aJV0b`!bO zcCoahWLl+SSoOz+ehGn_eRc;)tcJNPZ=|PON>9N-Ja#8Lcq+{4e37#tlDaPS86sRX zQ-m#X9-A-6_B3Dh3tW?XEGd64Ikk|I6Z_%|P4gHPo{)Zxv`Lxi$s|ywyiz7CM#@Co zNwyT2Wq=JB{rSs}w6LZX0speOyz!o^+xSFLX3C3zh1r*IU|{qz{wa2sTZA$RM6Cis z!~dGuM?u|<|3UWEmF#&Sd(s4uqZ8&RiVc5(Ncq7f8Ji5e(I`JIv^ak^nY*n3q!=89 z(A zm!U=h6SJ8{jXnV~ld(oBvr&aT27kqe>_n;{HJ#4-!)+$wj1jnOAtX|(XxpAU{kciM zX~~2sza+Q>SnbP>KpLT_qVAjv z=e(L1)f`yOx5a8zdO#iSB{)b<@2VipP;~XfmsFB3sU9xCuk)gWD!%bb0O+XO=eD!k zGcgVJr!ugzgj3k-_aCo5FMpe2=d1$Y#%*l}CsdZGB7yf{bwhC>8q~2S2Zqs{N8qSU zowE)El@Aa{is5Dk=D2q6jDT^eX)kGLU3}dyZS1mW8LBCn#%>C2?`}XNuj~y9TqqtD zl!Qid<|%0nI8Xwc#>9P;6+r!+!2C1{Q=do}bw+_H)^B>s1idm#J%9WH*w9l2%hKkJ z(<63P5QUl=aGW3<#-GqOYp~3QrjX-6V{I$j_;3XiU4()Dwg)}O%YseblP>dS%`1UC zMR6owkLVs)xr#CC_R#F=g2ALPkJMn*Dn2bxU{OAVI8*GsE@ zX-{TskiSBTZKiB~D1X+sRrgAzJqRaL3g45Z9B}EL{XTz`Ly&#HX&^iOj^BPwG00!~kj6Qx4Bjq^ zHAlA*P`#xth$gPkl`hWX@YiC+3lIFt&+=z=;5#x)z<2mYot$i3O+KK7Id7tfMedDB z#S5pJBC||PsDC3yqT7yOk78!aZ~HP0Uf{T#jUqT=Tt8Jzrclc$F=g?(KaDR^RTK)T zrz;Ca|3gd@{u)a7sI+eK-Npx8x59%w78Fa%_`mAyfbzVdW7kbG22VGfW^jmU+hS3a zg-=(spqmYRcE#336>RUrZOa|}taluXyd}CpEc3A8Tz|qfEZ&LdO;IwFB}|4QgAIn+ z@v5m4>(qows;TsQC*EI5f?3IAIt_g|5fUNR7hc&&9~#1tU`xczq*(S43@)h>$MnbJ zt*f_kZ;LvxfB8GAA${`Ikz#nzu=#2}-KM)Tz-_v3bsBQ!pX%Xei9bmYd&R!10aM4f zF=Oi85Pw-lpNFJ^$P_2zGqw#_)s`}_bYBnSCk%4B6kQrjZR_uDnjZH{UpYYBOPb`0 zZ+y1&?5nb%YQsfRM=$3&u7biR*-gr|PD8y*jM|O|0VTSq^&~v`m&Le*1TU5xlk8u1 zN$IVti3voCA#bg)wLZ)h`F)LdVV%Fv@)viQo_|g*AULxW5%AZc(y_n6QV?Fz#5lEd zUqE42@Dbe)-4Uz^)ANK31&drX6pVt-P~11SGv7ri3=6R4Bx7s7YEOYwnt+IEy5eNa zAEKYsq10x&(tW)IE&Q6|Gp4w-^Q!n&y}{NY0lxXzuqBy;HhHwmS(YHaQsyd za(~Ra)|OBBnN{9<_pd%+~66mi^k?(+EGy{50r*I_Ajs;N}rA(4_9k+L@%62 zC^-E6cVmVIf0Y^2x847GzjRn<=k8`q1b=gng-)89FM+1W&&Aw0M;xxpVRp%%L}Nbr z6mR2;uY9)dQz_FOgVt-GOTpVhsnXHsQmkBu3MqDxJ|?_@0eAHHJPcOYS@3h^byBVN ziHt#P98iVhmm^hi2@Kui+PW?NXQxa%FCJ|?=A#3&!fygv1UGmUS+l75i+m|F;D43U zgWiGHkZY$C*EUh8(#-#fbF##0B z>jU;v639M1ATbpXDtS5381AR1#jBKIVq!l@9+fprjXEo@y-7M;`{jQm!U=h6tfTep(#9*@vAAbmfd{B0zLNuCD}ml4jQvZ|r-sU&Y;bDBeut1TV{oyc24d&fbM5r8UBaJ+~OX_t0> zNsHEus(tJQo`V$&e3vC>Nly4~jhTjkPC|5reB*%K%T5B^2&+8-f88@B?mfw#@Twd- zMnE#@AeJEfqCGA+R057Wyu%j;2k7_GMTlW5DvKy}=_$BtMM<=VX4GU2wjy9(crdA& z_+C4e2~to2VLBNrhL^gTYggqZ5K!c-&Poi#{meP4?a}XvZPKO22-p-}CcaQd?^Y+QG#Z16io;1-qOIcY`veJdj z!hDR%-OTiGH`C1B&_B<;!Vk_ghop=9?D<2b};!N zk|;;xfj1s{e_t>jw)((P#w{#vo`D0h-g?-3ZatoVPKrdTuAjDerE&yo+a6E10@@V~ zkZ8bl1*Xs#GvG8{XDlmday&=2B>smt`_Y(r{B6h-f(5KtR@55Gt|`iSOpEWA_F=@l zyZ91oKOMqItpYUwwe3z285~TUO;tWe;uWI*l$> zr0{xhQ@qyc8}To_lLKh}>*lH(Mn2Ei&E0+9-C+QNxr?DCTR3GB`g>~AG|yMr4?bhl-ToJN znEU>`fhd3twiIGkl{(-Y4y>XaN%)CG`+UGql6+YTATzBtE;+MkmfEz=21>w?J6e!I z0@dQ}{e2HHRxVaqYM4nWw!(kRg50s%Y^!Ab?()rOQ;n7bn<|(!5DeCLZ~nUh!ta_y z{YJDp2HSjY5QhIG({;qkmJVkp#gHkpY6rl*|RwAUe zx2A?nG_qM!(+n!z2CG~gdK_Sw?;O|?pqLMq(zj9t99RGvk^k|}>$|2N^sx^J z^xzfE(g~2yrcTmga}s5VY9LD9`9r^=WQ}oVPtzfV=*s!(hS2+m!aU1g#Q!j=__Pno z5Fv*OkdHf|w4x18%2TNm9KXB@}|s^pD-OL=?WUrjx5N?p6)a*%rz`)hm<7aV^IXrj<<1!8xlZX2t6Q27Z!Z8?K_26tPCDxye6T_Gf zGPw9)1!hGHo6#Jn)+8US6+Q2RTE?_+{Y?SUfWu4uWJDauo(zd<>X6fx6Nem>cswei z4rmMygPoi%0Y-m;p@fnejs9`Ykv-4_5nSDv!B2Lf4T$e#4hUlx41ThUBx}H8Mi}Dn zKxbu)VKB8#4eKGCBc|aLFgg%@KQ})$KPU1lFet9Z{thkyD_9jE4Y$@pj0Ua%d8?tK zg=K3rxVB78q>V5*0)j#yXr2DQ9G;BLmP5O-@8!_>y7_@ zb}_KLHC8%?_6fBCk_tlsG7b!rAZNfPH57zEsooSY7}RIzuYfSuyln~#fQ(U4*cDku zXk7_D!aczzDqNY3Fk()|+yn8cu_RFLG^2y;{S+l78K2P>bGD>7QYlJ8fswDLVZ=Zx z#AT`vFu;HAh0Cgd%WC*wjfM~BmQ|T56HyG=?{HlY5oEpVDTH7ha1ur)Z6{GA>rhmn zAo5s1;1d#NHB4cv;&UeC9Pzh1A?N2LEOHwBCz~I?dj^5=uz<1>*OO3*Y7tUGTF$^d z!LS7M3`NN6fL;bzu$1%)=35~#H?FC5hMjA*S5bcsofa63Z>R@i1dy{%$A*bCVrwq{ zi1rDcG@oHIBMx;qmA$XfLCaHH%or`#K@}?!XtoZ584xsdX(NP%7pDCH=@z2T(mDmv z<6PFyR0C0(us?R2?e%WI&Kn*3?gk3q=Y#iyfT#e(Q(C%zzppZ3M+ZVX#p~L8iPoT z7|RQyTWP#W32+2qAr2Lh%e@uMIc05A7$D|DG`=aK6l`4yUhtl9unv4-ID#G)g^@Fx zfR_8dYk1I+yZ~VLtsM>6SfV~ys(xP9x^b93QML|dUdXr z&13`BV@m)@Ck(g~zwI_Rw^(J+Ht+6XpHEO6Grev@SbY0eb?@PC*y zA;=j6xeqraJ*>(+<;+t!r8lfIrKoTO;V*7wAQ)m$HKtl&jklCG3vOj=BrFMsjv0S$ zT@10|+yHdZg`8GMvJqQzHAWOO-Ao5_oaUrjr{*V0^fjFIowLh~35N_?u_LkOQ>bVa zT3A907yQe7J_=Z@rzL=IRXn%o%~S(X^7yyOV~?wJ&hZO5aw(=mE~foyF+J&Ql2%D6 zrqkI{x~zliaqf>2FcY+7mFWo8mFWoAmFWnx%Caz;fFx91oE9DW6P)zr+(yI9+ICu@ zj>0`wp-QJ)hY{pAm8ixB&{;lFqYhM$Whis5NM$T$s#K=N(`9NkQ~84S>6w2zOZ_{q zR5he@sJl|az*{a3ucM&lgl-|tB&kNcCtSnQN^u-P<#4Ajfi}t@r=T}j!mO!>j4OdR z32@iFKfx7_IOB#Gd<5$-(F(Y(R4I5*c+_-wS2}@=AS@lCjofOCBugESc+sRk!L!*BTVV6^(@WVa&PRYoZ#6(wzR-ZS$pw ztM0nnuDg?s>$=f&-#UxWr2p{5_OU{vVVF!?(4e38%5i+0$){!DEd8sm1S7;y=`0>j z3)d=(J0+l#lCU6GPAHD|ggckEehQ8t41mp`_CZcD5ZuvWIKvh2K*xU`Iv#O{r?gP~ zac&CB2j{8hL9`KE*Q$(oPq_6OPia^uc#l!wMIO$MgM)0j=K&ve=}&Odn{g`!nzJ%Z z)`{LE-CPD%X%Zk6B)FFzHE9d}g~{FsnQnc|Pu78Kp!%u|JZ(IgwOJ3Q#?u+NnzzGt z%(Eu#De-H|zO$EMEJS~_K!@?^;#o`?7Q8G*D@9*^>P= zXfP9u%i@O*BP(#8HH@?UysD9$)%f?2R08g6!x{#HH{y7E7Rrz`qkC%SW7a0FGlo{1Q&Pa9t@e!fCJLw2K*5r!uAeld1T91rB=7*<;Rj!w&#B zFOq2X)K2*MD7%SpPZ$?I%EQZu2? zp30TY!a7qF{5hv`h5C1NDu>sEp%gT-K9wtQbt->X;Bvx*n0FxK1dB@2<~4&c;syMz zMn8p(hE)W)UPP1 za`}H?FezhoM-NdSASSUpdWc0SJint?u=gnQ(so^}GyWPjsLJ>`ESUcGwarrtpH|8-N3Np*Ttk177)D>s-N z{@wyFjp5m~)=H3DLwPT};wZWxl=W8N(z?Kap}!fzj1B4i860!c+LS&S94)MfX?4O; z2a9LnQU?R0h$nO2`lg69LhDNY5$*}rGTo0WID+VBp0ldJELHAzfJYtr6P)zr+(v)H z%vm-&b)_-MHtW@}^hlFCKt}K{JY0kV0xFkumI9GMoI6|`$OfvHZ!h8dR<_;ED!phW zEand|Cfue@O^P$U&zA-fe^Fp*gN`ruNBmi(!ASk8wqeSOi(7#&AfC3uEcG{Sg~?AG zaoq7V)7tYW%tRrb2hpSu=@&9e17Ux(p~<}sU)O0lb3(P8>1;W}mYR<+zTQQpONymS z`~e7_#An9C*L51(DbY+{^IUJ|>~ekPC!Oh@jcSF*{q;xi(QF<>3sNg?lB#EBJ_&2S z7z7S2BL+}}psQXP#x&vZs59?#v<(-4n~_Ufh?!nvw{u3wzjr@lx9c-MaZP_eeN`Cn z(*^aj_@F#6g{6{`m6fWVnMrYu3MZAWi18YhOXV!A3Ln(3x*ZHv$-t~y30#Po zYGb!^cF33D&X|r;-?piLlAm8#vSe>8naNxNUo0`cX9dSihd?h{dB3@N*h5-UF%EA+ zlM4qQ{^Mj#*w(H&g9zF+rS=SL? zGlOu4x7X8K%#a-4C{wk+&p9<CM+0Qt)%49Vu<~een=xs$%FD;}YMYdF z|3GtK@;%T!%Y7|ivC{^U$>cY`g}~cl18A z34-kp`rIy9|8B=cb#M*d0YzW~W7crfe~rggR`Pq2CN93-k?>cMeuEwHe`8-U_CNKV z8>h<|Cq}3RAQ&860lIIX-W-cu06q$t?k8@!T%B^dI!WSPUgB+wRs>R4nlEn*FgAr<*p-k}x zu{MNNh^EF)<=;f|xLh7^K%(9-a)yT*j+$=E!bdNPeKJ*S*B5$H6h!{Av z{%dQ)nh|kcWKa{aSgzwTJ;?t0@a}&U!uQs$9(}pMCL4Cdo!hk*8_0xxU?G$tKIS$a1r}-frGTUw`xB zhwGO=UR#iNDUrtqvl_T`9NpwkTDX90MXzH@=P6Pd2j(_5tU?Iy>is zI~0UPq_UslG#*YR7VZ7IWHiug=y}uB?Y3@rRQ&5jnnp!)s_5@&sJ1YS6ttNp-N;NN zGS#@5@#YG)Gf#5bOn)sBSa6)>(M!;fDeI~&KTf{u8RT*!eOHat$}UV4GvnVvmv94)t#pT4xM$6(v^eX&s>cxk9G-6AMRG>7@_}>qjjX?|bC2(Al!X z&*v1Xgi7Q}pUWW)$YFhppU-aHBq=OP7`2?YZb=ikZqfjnbHR#&J^8p&*;u?styC?w z4qM}Jp*yzA_w}&G z1tU|DO37Ma=otWt7!9hnJMH!i1YN(tfh;;yhpuNhD%vf*v~Vn-?hb#t{yh~o^`Rae zsPG)!E!#V5j*$&ekxY95&Jtie-=w(`RwpFuwLd2{A%ALxh*lFKO(2Cs(@Z8jf2*(p z-vDn|nwi88oxbJqVZd{Tg8|Qw^_)2-^R;L|5Dkl1EauU3q7y6Bvi%=+Ocs)AC|^yC z)^y4H&1!M$2Yad7T@@6)vNG5`p>np!NlQ!V5Lz?267TabaWTf_!ghlzUYib}<5(To zcQ5Vtp?}p#6N?zm^Y33y_UX%EuJLW_X~0-Cm)@`V)9s%HRRr)4OJfiWJ9*EXtprdC zlbUmar^2S{f4i5#CFa@8@_^K3i6zVX-suIL+&*w68+CwYJ-zP14xGAj4{>?acJ0*! zF~DdRD3ddV>Fb#WEkIzk9ejT-1A1}5Ca1P8!GD^(Bs>iH*x514y$4z!B_MK%<>Oe7 z^DWIBg*lBC197q3=-X3UPOL7VqF;VCE#;=EhTu2S=uNkxCQF?>0lVIsvWUFT+M2Y2 zgOZ1XlKzp_l>HahWLHiok-|tdb3#d)1&!F5Mr_2DKlGjRa%ck$6#*GX{+gsF>LDtq zdw+C9SV1Pzj5SbEDgkxM$nlDHJK&B;8@(8Y(}C;9eKFG8-E2;9ZSTXK&xdn=MqL_H<@9cdqFH_*tURc$>|eXMd+Sb}`>HR3hRe zTQIrhYEq%WV8PkOEEudna>MzE(9S|20_&LConL8cLl^>PaL!33z$~sZaQc}aN`J`* zh<>mbZGbZ73#(C&6J9B_)Qb+!pPVGq!a$%k?_?fjNfz{+%0&lIO!DMJc`Bq__LK1$ zwfl*%VU}7jHZTNhpD?y`!W@}Cz~6%`DNrD_lI1K8LHM9^DY95oqZfFDLL86D1x3^* z0VhCEp`>M~P|~@#o(n0Yk?3!f_J6R26@9g1x{e(>Dx?N|ee33M4gw|yjhZmt|RcP_mLtaKFJtv>a{PDOK~uFvFF zR1guW*AqVC?=<^6bf^Or5csJOXQ=210sEPFU7JK$$*z3p+%BmEyq6;T0!N|L|G`j!bBk21%m{5imZN$ zsbyae?*}TcK9mrnaUwd8?#MGjMOm~|bmLeq3vq0UvSO}_1eTyNhJ~%dGc9wVhwQt3 zC{zOb?fO6aAk9UQ&VL(K9Go{*;bk%8YB7)^q#Zf!Q2PY^&^Z5kw{MGaM9(1%8P~CMH;nTzVdabzFn>d3e4e*N`y%0_5A)@@ zs6(<~KvYN&h)|#(!U6nqDHcgF3~?S#WV#R!Yanc@cWt#@@+ZD5f|A>!#OWv%FpY$= zHP!tTD6GR+kxOQL{#pvm0gMZF_+FZ4c2|@wuNaE5td1j}FiycP(z?f@AM0xH_d&er zAbdl6zjeGXLw`(^kxvR&9}2ubVL8AKf(=mSz^`bQoKY#n!Kw5q@U!OO`IKh!AYMlz zYk(bk-qn<_)_#YXobi&hPgAyKwH%bsq1)Op^dq6B%8jt#+!Q!Rsq|+EHDl%OC>6M9 z;L^V<)bvB?92|-LJfS9l#3#m@!O6m=oR2jVn}1TYIe#}3ty7rAE^Wm;8gHgj*tK;% ze{!A_;=n{Ndp$~0H1Z?Z;6;x|_|Y^K5+opyi;j=RoZ4m(LIYf5Hq+nYeoEN?kdL2a z$*suLO1+nKHf~Pi+Px{2L+AA!`IO=#@5|1EQNZ8)&aSSDBi|r@s1E>u;r_g6ZpAqS zmziTwZhzJ(*aUlb=NO+L3!Zs=EsLf+HU6$i$3#Q02E8^u3x3wy3Y{vx4)u8AJ8$fP zKE8wH(}3OK*b~a~q`mL7Ym4y&bt*`6e_;dh?V|E!A}h3I1!gtn2Xk0 zPMrqu=|xiyv-WQN(&c#Z?{rDU(+u=%ihhT9ihoVVeG#Oo!QI}MJh4_lT?3i`^g*#u3v!5p!}S=+KX zQ4(^R!?6qqk4Gd^jbDSDWi^uwIAw1AB6z1LDZ)3IKuk|A9pU&@iN4?99i*hhM$8u} zNq_XZxNx*8)lu=L?Caym*_Em-ISgxy_Gtg-1*)eeNi^VtU+mr=F7dW9&P!hiW<*WU)rk97R~hBjBDrRB;S%jV?dZ=J#x=5#PZf3M&huL zBZwsG0jIhHj}^MXIiTiS#3-J@bANv{#4;rE{9@*-u`!$zwyO~J7MyP2k2A1@(t&jC zs2FUO2U}>1hr@DQ>yMke!gSmk2RlMs>$V_{zWetT?t;6n*w9!7*b1Yg+4lfT{AZ4pdAY-2EsSW;!;QAJQ?Sg z-5cf)%shX9rQ1_Q9Z+&CSbwpe%y|%TE-;nKh|I8S`lbt?((s*Nf9b=^nxnVyoe{{y znHMN+D@u4b)f_=*+XE5vVtZy)C>s~yhglwm(%+MiH^iVt2!Y)vv=qGtF5F)Za= zz*?WyfT^>c9ERPI{4IYW_BPS)rVpzYM1VdeZ3dL2^PvLU5YW2C=Lf^-$Y|A%tIyVM z-~jor)tVZwa+)E0ZVehf3-(Wl(*FYuSO@r%QU4PHIW?D{UI9*jgU7t$FygbSl=yglN1mcSCwaF@p^&sDrw@8RsneNk1W zh08O+9+yfobHtCX{JY_oZXc5qspe6hO=+%o21o!YOTvx>YwmGoQyzAv?ag!F;lkD& zmMfVtQ*ZrD*_usX9q~X@<7_{t2}__VA{$m8mzLIXnJKG(MXeS4OIOwpRt(_wqynwD z&T?e8u$oU;w`+j07R})4xR0l@s&G$hw!_BY81IB-;s~akl;fqTxUf={wJBN<^WBF8ig5*zuB)1dl}K1s32f z`69^@o+L?suu;>RzT5yok+Z(sTQ#|HYr3IAh9mZQ31XPG8#-LP`S=zGMQdFM zs;XH!dpS{H>W+MCW6im(-8b!w9^9nah|ym_^OjYnKPMBjl4xkV z+5d5WG$u1Q;ojd*sJ!A}RL|A&&GOf=@Vj5fLd--2*7+iQu&=(lXk^FVKb-4J$Oe&E ztRP2dO(o;e96uCg%MZidpA7JF~J|C1pS&q8EO@k=-@ zz?@$kB=e9I6At#K=!Vw3nuG0N3!p2lXPjKWf|9f2RR_c_#^LKpT~Lj1y5ZXa`Spsr zfOR5y0(V*h&d~zV!3V@IR&4$g3v#T# zcXr@$TtaXSVXnhS#C=&K>9s|q#a%_aG#3QC07vFi@TGD{cru-!uZVRdsK@oD~wf1|vmb z9fa+SZ?VQgf&Bn_D@O{J&QXcU~y$yc( zz$!w_kF6akp2gH{-Jv2LAKGT{d|tV($=u=BlkMx878}9#%CZJLyv4;3_1+r=B?LIP zGv2)gs#RS~ErsHw7sc_JOHdR90X;dAE6PuD$t(wuLH#f`z^m3&1!)D+Vc(Oq_FLJG zm2Q_%n3QfY|4O)PS3okhS`_So4&zUd;5Qu-*@RXZ-CdGP&OpeZhOJ|#&-Rgd0zd>CtT z7ftmIlwDRupG^3Qv_-oi$7Iv|Is$%Qe#pE+=r zgIzsO_{QdWbvICu;0s~MSLsP&kwKlw2q8KxhPt9DgU^j0Lqw1OE-Zg*`A}yb0-4-9 zPk}!ol6rNArAMJ>Y)j9yTwkU=|Z1&bi77%}g|tc>EAFbK#Mg zWY19c^t2(wgvV(?_QXG0>nKmW?5VSH;{c@N^KvQ!GsqL5w|}qTLZv*FnrT@O++S<5eyH*# zzVg9T+2P%pn%qqnYe)$~%r5>!Cnnq~4yeHY`=q`^Gl3MH`W>JCgTz|I0B4iw#Sm*T z#JmekE8NhcyjmMb#nv(N(8mP9X10mJG!n`~NW9jl2?hZZL9tV6mx5;j zOgXEJdSc`JoABv&8@fjGx!f2EWyC^>*V*}7MCzcOLzL4_Vo9YUWw%OUZ9F~D(eL~9 zn|}d>Q4+0}fu8{r0x&VR9B2V-2A8l70Tj2KZUKx3m(ipL6Sq5d0rds~H8Hm`eF0bt z0XDabhyfl80XCPh4gnLly^{gz0Rc6)sFeZj3765N2NMJ{GC4Dsp@;!0f7^1~I1+u& zSEzO$hN`k?;=)^AwruC-Y@E0(r!uoM^FT?k#F!#ABxOgb{rEkN1{H~tZ z=sw+j8VCmSK`?mx;{5i-=^G*CKnOn#Lpiv;8^m%Dr`nIxXmC3l{O+A!o`1Of^!DcL z`rU8CKX2ckzEQ#Mc&$=Df5b-t4_6@#dJ(u4y5GU58#hvspG1O3|1R{Od*cUzpC)Kw zi9s6qL6{8UF!oaw4sMtD;A~kn!;#dH_a@I;Ze`_+8nJgal!-UXxp%zCmU--JRb)8Mye3}(Jf1;_1b(>dZvp-ip zGbPQ_=6?iAPcs@q8yg5e2;$y`wDNV5@`kMNN@}mk=VjKeYr~HaZc>KW`;LB)B=f4>*BVogh~+R83p(fIj>U;h!vh_~NuUHcIsOQwFH6|Zn{GmJy; zx9i(azu+r;okYg~7Nvd^MIFBE)?mAAZbiaw1wIqBVklC5!hPqaF7ncieP>{uVgf_K z&h^|45or?pJYc-4^Kx!#e&TO=Q14TJAFHEO`bs5(krWUyf9)V0J`d?2_EoH%8tN>c zV}(R|ZwW++*Fv$0qOHnQ0`hswugBRU%Uv&nJ`vuzwS<8R7=S$V%P`Si)|#3Cq@n;G zu*6@zTI5sy&Xm)7v$8m~U)Jkd+@GCpvLqAe6>>>SBCM^78-Y&>^n6Iv@ zx*?}Y67Qlaf2U^EuCt=pjGBD8Dojm!4^uB|HcMc}x)fgCWliheB@no+^U1n3qe<47 z8SM<>hazVDW0jkX-Re-MQJet09kjC2v~5mC3_BMKz4z;^#`x4B6F$Z2Gm6fUIMN!X-c7f1LCI{;YI1hds`KVk$^b_Sy*6&-Z(EF z@`~SIe-ZL>_kyv3-m{?yV(%g6r!V<@2H&Ylf?tp#2~<`E)m_5_+684F3U!;@6mE{P zY8T`;_5mS}afR@C)anAzO*f3LQi;xC>#+))6ZxXshK^HTiT!Q7 zCpaLQBL!>k;_4V|cV-A->M)7+r#LwZQ~*uK5sy&GA3+!>{1Y#uG$7Q*GI5yvx-PgO z(p3BuVo3+F_z+@&-nUhVxst$P?7b-)7dL8{`bkA?ClL|$nacfH-c_Y(S_a93sV!l! zf4K)P4^vSZwdQ&x=ph)}JZx=-53-uF@qE2RrVteD$-()}YE|Ss_zCTA#nMn}7^;1- zEYXnO_2Lz85x{Kn=7b;4Z!Ry!M-3FlNM(^Tp~M=0&%2Xnb7UAI-J~w0z0Vdo<-1gS z@3MxXxJ;e%Qr{K44yloQe_i{}hVC%%e?y(_uW?QQLSQaTyQ(Qd+b|7}r<|q*pbb?> z?_*VtF3Z-~Aw&%yEMpVie~kOe4*NG7P*?*BXFy4Ga%bwkLSdLesD%$Q%Q9Uv99m1R zrnX&h+IU0UiDN_HofkadehMwPTr;*rV z&4Q>)0W#>DTBLy=$8q1*Y0uWbk8~P%mk{ilW_~kvi(am5bj9S&iWAOshfQ~J33bV? z_$Us-Ky>0S+IH2vJUyL*me9^8{N~ef(!ZCyiazsY4_<JDmm(f$)E|LxLGpGOV;>ZPrwd}-xh;;ef)grO@13y$+PJET`zdR6Ytr)>&2oFe z43n zQK&RYP5yphav%=1E#U3i+wDkFA;pJ=$;33b-g=M)w4Gx=GDz`k7C=h!)4)aOt87MP zcbq`nI=?44gwlKctwmmTB{|;Nl05F9iN>mfR&EPbWXYOe*aE0xf7-)6T+YxeHl4c2 z4M#H5L2-$;w~21w9DcARSw^&TRvED z0lv=7@rb4n)5G{6q6O+OIRj)$_U$5%M(isPm%8G~ZcKwJkvTT^e8?tlYhRcfqc3+Q z`qdVE+X=`ge!aROf9(IO2ZFvd>JTMqPv4-PzHrd|klR9d{f!n%JVc|>_Ou{n(hIWt z)lAzbdBS#jsgTiv{rPQ5&WL`^s--O>l(%-BGpeBplq2rHH+5+W?&=RI*UJfYS?-7D zrs7#_nm61xGY>gGH&0Z8TTzKqM~T=I_2d{fRTTJ9clae{4h$aX?29mnuQJt=uLIQ;S~P=JF;=_Np0Xwsj$ZoFuV zUasJx+e)&xK>}`CI+5@P8l5m20B>)kB1rW`yU>kb8SCfAW5(hKX{b4Hkf)#W(*9;~ zg=lXjmbRg6Kex)xTQJ4@i=Cl${_w{&Dq)*#Y`X}`4s!~_9*zFFg4jxMBQXidTevvY z)Q!#ws8opQkA<84Swyx?(lNC}oFnq0|0Q@0V>_M38g(HWaR2_W)JO{cx% zMjC1@_@}(|dLJ2KBJB`kHm0>^&FVtO=ey>?=TU+X8YLUpkd_Cm`(m55Qcs}caiY8+ z{9=)3P&YwewOVpC>15~M!|c8t4evkyGt^L10TV)F$A1rr>60v+=(s@S*K^JCN^;<_ z_0Pg`v}qrEb8xFwxMilZ!C)cC{EdSB>+o+Bip#YVuFP*x>|Bi?4C{UguTh{{2gdb`+9i>um%nNPM2{e&Q=al4< z)k!ZYOB6p`V>~O{c?Xu!f0*ATpobR^1GkFfo4Q(+G*m_Bq3GCa| z>38VH^>vvt{jf(X@J1ps)E7pAprvyqia{pJs_=hKmXfyuqE@PrlnB7h3sI< zB9j%a$6*AAc~c4JrF&g3;1?SFUU$Bf+UU+vbEEY##~KeCKy}xh6R{TB->P1bAnqyR zfZ?b&Gt}(}RA$5eRlvA=l^$Oz7qzkpUxfpxHVz$2kouTVf|aSPDKEPxy-%qf^0TUw zCO+JZla~~Z8F>ni4#^4XCT9kw{Yq{ewB&B#Z9=uU#$eCX-dIY9&=~vvmvy%#O6a7w zcVPohfPabG_S86Tw#dMLR5;e>?Ck4?KeyETz@2I((4T21{+DU(%HVdMQS!MWh51C$ z{Q;lrGBnTly4C^)NC*vV4D7~(^2|G&r72Y)Ie({$%l&nYAT9#wv5IARFf{x#zk-q) zsAb2#8%^SS&g>aa3BsKxbxAs_IGM%dkP=$_5OG%g^=}c(@(%D8|7ic@d|A4=yIPq! z{>T0@{(u9GS3`0^bFuUN$L9et)Ig#F$EYGW{P}QUXZL3rz5`%fP}+X|rM2|2KuT+= zY?hvVefG0%xn6FxqDyyxMju)KNtH)5DKM%Q%RyLlrD&T{usvhlFScq9gPD^f$6Rnn z?FQ$_NfmRo9qTo4xOqX2+PPWb)%PfS_`O$PW%ST;I`qe~dLKO9Hi~fq@s5o%(Eqn- zj#v&yE;Jh7Z_JD=!&FEM_}QfP`ht9lkoa3I=KLsPXefb_a_5FX`0m2Z8YtE69E9j> zq)btMzftOXzD*Njfw-)a0fv`+hcK~ZVk9&~Ux|ji5W2Ms7a7)+Vw3PN z4sv>#*k{bt6Bdj5fBT3=ZP2k1`}l)?G$r-YLI#fz!}Dd*j$sSNqbXi*+E1hch#jKz zVEeW_U{xN6gLy)c_%k#m6|cqWNjE5=ir}j5;t$gjYd9q+#^&eQf;O0Dc!`Da9Yt`-Jtr zp^Ht?Uj|rk>P>n?K*dn%iY~@cEzqhkc69XmgWfK8LH-@09IIWRo!JI zS}FI;d@8D=j-5hFR`tscpcje;6167sOvE%>SruOAMv7ucQIXi))s&uNCC{AQ97^R* z)m-bZ_hIknm;C2~%)Esg6GF}TJWXI-U~S+)7|*$-YCyS6%@eGzCB^{LfH}fiD8F7L zO)<|ZI`rX2MiGSuQTB1!zJ*04cz?lm?XRbBPA(Uyr+eGPq=)+-5Gc~?4CI{XgWK~U zMUuu%wcS5E|?j6(#}#cQL9X|GqWY?L$6I0O=ti(3Mpv9tCA94(wwzc zjft^-C-_I`0prcif*aPN!a zKWj{z{_&fw*Vr5+AYd24hoHddJ34oH9=s@Y&24JUIBMi&*;T!f;TM+Sn}A-3F(uaA znqy|tih`+8@s#-_y&kdbm6(pqMG&`ct2@SsK`flX)&xM~?M37x%ty1xrT}}cYIJuO zl3myPWDCA^wgI}c#|>gXrFPR2+4IngV7!wHKi@s;c|gCy+0_#&J0UEoG+{5M7b zwcpF6Cdmm)4PSfL?~90oJBY(lMLhg+kYth##?VV;V{{TKaM)HuBP> z&Sgr)ZswIIZ{I-Ki!CN`%#=P{04mB(vANn3HVzLou-!06!Ya@N49Ij|g>Ea|y_lKc z>VQv*iHSR|wu)J5`NqYl!!kmNYM&vJqYH5PD^~PX(?EKc zfIOHCs3wJqopd=aY2TM*RV)dsM%hN}A4(uex(NjZ1_V=FFbXznrW&bf&0y<|c3h`% z?IDe~?fA?emp0d(V7ZE;d*#uuPq)cbMly0;wMM53X%(y1;Xfr-Lh>9Y&QNVx#ZG)7 zL=)2xzob$*fm;-xMdwnE!DMn3=C!tgy^{I@oY~&67JC&mG^~~T`IpFP(19QBCPrc1 zVvw%Q!)2C!ka_#I;OG+P;fJMNm(+}1yVY`dw-J5NU;Xs6WBq6Ddq@6aN%4oxvy!RG zEnF)7ni#Ywsrgnd%C{}@CM?Y00_h*#$W-OA`>#1-+lbNLk}Q~Y1+qhuQLW-z{Sr~t zKuC-3@MOV4?kR(U5l9Z1GBk3NaYVlira!=36K!o(?Z(F7YpBnmF*yw@6({j?NUN^S z7mTT{e!+?0WUy754PQ$utihH>u#XIC{JSg!C@|ah?ewcD~P|3jEfkPolIlQD}otHSf{QowN+0WIFT*B(f!UmW}Sdf>V5}lLnoD^iCx^ zsnuC)j_$%K$iG>PF#MW<+Jgf6RIj)-9iwFJe_UMZCm(Q&J^0&zOmPlHJJm==t+PG@ z+*BY?o%Xq=R=d`)|Ec}ZFTRG|;ktc{aQ;Z$;G#F-d*x9r^QAem0pXK`E{n*3dlHhd zeV%0@AjLMSHh3NS_v!f>BovMi>enA%*k(ps=*}4J?)DGMvkQEI9QMP1n)z$r@3w5- zdOB=Zm$&P*Jouet{&@4_Gc!AIhyc6#M4e^eAW%r~3Y`Xy|I$G4L4@5Er5b<5Z92K< zfr8CWDllwfBpo{OH10-QUPPJeB+l&{&gCi!BjV8#s-gb6A!YDqwdtRAV!f0HzhUgv zZDCi=>6DI6buJ465CN^yNrsd-_Vx8}K~Q>Q)MSHP0bbWMvjJ`|_ig>fmI@Z>XgLo1 zTNI2dkAB(&x@X}Y{CNbC9U2>pV7>}PHMDzt} zR_*nH#+rHI7C`?pxJQ;6uernRja&(Z(ySprL(sV`={c}UCJ?)qkQ7jC<6K7QV+3QfHV$NC^K zZ6u}mpCff#UUpJeQfG5}L_tAB7DX#38+Th$Hg4|!rFO^ZjDDVuf9-l<@Fpl93$Ay) zQgX!>z@TAPsL-Sz4N5mfK#*dmOp84@DI>Z~y_4(AXpuFv<_1iEJwXEw&{-fTZpG8a(9PMU9)?=0%fv99wl$0=$&OI- z4B9e=QC_%w-DU0pQxV0bjf^;ItoJw8I|A0?8Cd>mS^WC**G)t-uFMP0d#uG|K5l(K z?CdglSZxg94$-acRdh!JEe!%sBY<%y+kP>XZwy#wt}gU=weI96qK?OgOpIs{5+9A2 zD;brnS(5p$XDK7ey4apr1<%kvtG*fhz!y!7!Q9RIhu8lR7Uu|uniFLA!J&XB#C?Oi zhsBSNq`bp>(nSWh@hGT`N6};r=6o-22M5|!+XY$>rO!%QcKOeBFjs5Xz|!>AJACrR z#eu&&`kalOl`BW}6fGdkcmYNXSQ(xgzH-7Vzj^xMTq~G}ks}1G=hD z3lg{CW@%^n3XFQ4nc$riS{&WO}RkE$D01AkO_1V>kqxHBVz6E7OdhctD+jjF|^9OSPejt zQH5%Z-+PfMC~?2U#1%^^3P$(hOboU6phGM6O;<_?UYQT@A3xB^m({kK^q>0NIyu(s zDxcn25Xgs8YnpIhb46NzF1MC#29mZV2bZc7%bgRlT(R=@hiszOLbpsV?(uKR<@GkfGzD)m!b}L+BjJoAS`Z_cI~G=3^66$joN8idYDbJ< zeZ2R8oh5;tO(IDo=s?r!nNUIqL}-Dm`fdb)((?XF)>T4WL)qDXWbHT_rF1|n(tk-g zJf)|GdWl(U+W!Km9$83jBcZTJNYF#2^C-UR$``vaVkTOAfssIfv*W}}=hJL+bquZ( zo(L(j(OT8Ay1e_tspVeLU)T**vIiw=S{^x_2S?gT|o_xB=`_i89)mdw9xBKRYk(pqdVlR`c_v)+f@pS_K zAxSfeoD7lVU%P3`h~<#0ou;X-0rDYcu@`2slCc(qEUSaE&yH*5LF}YJngM@sUCZc4 zzm$JtL59xY80TH>E3y166E?o;b@ox6w_|H-bFH`?`*228z^LIl;^m1-1nJbuJ@6EV zdSTWlAg?VH7k(_9oO((ECrgmC!g-RpAc-ihK!TLx7fK20ZY&?o-2R5AQv9AqU!#*~ z>EFW3v?;=9Bps##Z~RDLzo&}J4ww-2g>QDc4oco}9hOpzzs9f z(6TX{8@qD#JQs?dX0j)dhj&4bb3dA1k)|97PF;pM_BU$DSdV6Fo!%wpI#F)5N^EHP z21H#|slQ1uBQuqC~N4q351Am!%tt2oUiEUx+Q{?;pvdyyBwfz5pgFyspLvmqmup$CN;3 z50JEAmM+M@L?A>yC~PpnDx^LkNLdF86CCvb`9lme5(Fc+faJ3?;bG9Xd<_1g`}{0haHD4weOZ zCc$8XNVH(SfY0G!2oyn_RWR7#Ppl&d`qTYs#wNj(;en#2V93E*RWM!{AObR2a`1UK zOwL!(QV1*=xM~W+~9~m6Z|6;5TSZOBE zPUk27yaO^AcmVsx2Rc&*po8Pd;Iy+rT$-QeeJ9*Q5=dGffYGV~V1NQC838cCB5Hs; zC{U0o02B0SHiKU^0b)>~7K=};rw?cX!|48pkE}mKKk;WMu{{6-^kxl^2CbR`9Ko2z z04FHWjpP4wftve zrWtgMXiZxBlhZnpb(0Xv@ZF5UGY7|oWk9Q_;?C@Ylc^+u`GThO9F5ixw^qK$il%(Y z7~k{Bp>q*KTKT^Wd5o-5wyaBs%QP}U0t+j{mATiSm+lVq_(R&Pw@Gm|To^Fy{q! zu{UYgSp@St2+Nem2(g5=`=uA>FJtLo@Ub7@8EU-(FUv1MeD7FQd?5X&9W%vus>8h>3}lOdcRg|Sb9ku@ook}ry- zBCNAxOxi1#0#YcF)A^j~S&p6g{9$j3zx)zM%Ga=D7pj!>VjDUaE z)rV1qnIv7M_eWhSM%o+akxqf%uH}F!4nFJQK({g8#)Xp{MqOX!TUBBP_un{K28|eL zNtq_!NE=^;gMk?Qj>{ zvH{3vCqXmXsc;Fuzx2sbeB3l?-r6e(rFOR)s3NBe36&;<2+bABmCt9t91JM5p33su zv`db#zo@H3r7jx1y)6X_m$N^+0J#Yihj*#2?ye4&Q|9!5+@u$yM1FT$mV#A*j|G*e zc4N^>Fp&|K7Y=CGQc1;%DF?iiUd5xDPe@FLBtR9KgR&64JEWTX!}`i8xICK$^9vi` z#usk_P>9gVhBr6vl+!38+oEv*d)v=7r76JLg6!f=-(da6_v`lOFoBWfdtP2C1?yDd zY5O-iC9y;8>4)JRgg=i+;$NMkB)-0@Lu~di2td9YzkO%#!c}YteO48zNjQdn7AL-g zb_O2jls8z~h1~-?$|QChX4P-zgCY9VUc>0)AHkyMzKd zOiq*HXewJ(N|7^=Tf3sAlmBM>PtoT#3MoUjZuuy5lUJO1NBiq7b=Tf>faZlRM?9O? zyG0gxqw%a6a_=e@Uk_e#smd##_pj&v++JJUjhpM-74?zy-}H^9M38t_ns8c$Hv)&g z-M^ zJby^~9;c)Gr*yu^Fp+fj1NX)ul_BLdF?bI5fG`dR7kP?SRT`(fY}y<6R4w@tV~cLEX(sSl6eR(J@i~#EfRL42lBr#Ah}5_v)@BJWS!qx( zi`~dRW$&wJuG}-5aGj|ki`BasY#+2{svI*l&d8|uD4d;}^C+_qb&CGCC=V-x0iEsU zflAN>8rxn2Z1-k{WMCfYe(2^{nPO}+gj_+gOpByNn-qdzl}^>d9a$BXN-hu$Tm&?W zezkFP<^#USu~n~Qj940m|CA`Nrr_RCLJl zLxkp6VkajfG)$Ju4>SI+C>w~OAP~O<=I$)AHE6EwPxgwZ)*vvYLyw3<3MEcbRuhZL zT&fui2M_JzMP+v)aZiahWeiLaB~9d*6O{zVk9sLKY)THQ`1m`)mcrKZOtE-FRb)70 z&mk4drvyOQxEX?H$Y;|7GdUkrwNA-z@(TF~TFfT-AF&5i@%t6c1c7s`1l87ZssZEG z>WaocD%jv2N(J>-a=$@b?`PShVc{kSCoP5D@nz9gi#e3eV28^;7wlI_5;9-r#AR@N z3mfzOyyn%bXl3AU zk=yhGugu?G$L6I}R2|qmtANC)gSzq{$uTN#H5DEb{oqDG!&ExEW~GRsYe!hkulgND z_HPDFwPX^HbcPO^Vy|XAtoyglv{r*1gVGi3`okH!mY!Y3p#}vXzF$Ks zM{3oLrSr(5KF48I!3aW-)ZcIqu}A1IuH@XN_qMaD^VYH_9ese$T8VC4*A@QKnY@94 z(5XH!;iuZ5Y4I1gge~{qG^MdBG$B$@VuQgEC)O7g?ARnq-(730w3kSHIOuVA+b2dW zZq~BqzS>+>>zP85BMvkowbRAO(ET~0$omJEo<1`1`z;Z!D(8N8H{!cuIQv?ppV+Tc zQ0r3X1lx?OQ{;%uRn&d$ zSFm}A_XuP^0C4UbN=_;@erhR}wHA+l+uQp!iPIZN(O91@dBdLsd5@Haq#~CSZM%NE@7^t!@*v&G7}xZkFD!ga{4Y%`;{~BY!hh1vKCbAO)h? zfQtz<8=La+2y$zK0Jns_6tJt2i6@V&f$`{E)$?LPGx3PQTfw~&pz85)diw7Lh9hYZ zLh?V8QD@WNlP&m4r<<`eg~4s}oI^NM>@;ntRPp{eN2UW%8o36P1=z~cmM#9&uSuRm z`)SL_YSzOZV@|4NaA*jv<)+H8&A=!PQ@aS-nJIE|iaJYUsrbo_25uSQN{Z9SF&T+r z{E5N)fi5~GHt}2D4!K#x@(M`+r)3PLinf-LgX!H8R6dVg!&Nfo5r_$-Vr73);6J-> zLE9Z}(3hmvPO{)&t+Ls=nfe$^p&S>?L`PdTwZ~zW(F~bnqi zceUWV3LCcjcU$5PQyAZi7NJa^F!`4$YmR&ytTA8D?e{Buvo_%ei*r_zzA7dIg)h)C zSQ!V#!YQ1b4y)?{oBlknqc75%SQ&g$ny!tu2e*2fz>SApe51xMLs>L2$+q^CF-a*> z#8&$^qa%XgeVA~cyaQ{-5a11D&*Qeb1KOGsQ_mGAdAwB>CdC7@)Jf{_RuS9@8@c?O z$^O$U^UX(N0Ew&*Uh*9IUC+m+pVH3{cM-ZpClNbj#|NKLC@P^-;$n*dNYoA}We*tY zacf#t=6-xj+dohe+?f79D#Nh0U&(Pwx+t^VWQ9Y-Y(>w}3GGcJ^ngYdXxxOAM#3gh z$opK#@uPy`4F^r|-Elh_x~bi{7@_mtsljkFadUtRzIk6s;swb8hm5! z*UZTu`Z4UJa=arx!PcX9=H?L;5k<5bMTer$D%h&hvivaw$ifyDB;hG+R0#H|?ArAF zA)Oe{`Pu2OFs)D4%P9rBjlB3Rfq{V|?0qiT;>IhRyvTQ7On}+n2a^)N6lAIUGiH3b zg$yIo(L<>dm&`HM4SYbbxkAjOw6}$=D<7EMM1PzIRZ-}wh9ml+EtNFPkcMzG=re)n z{IylOF&8E9en0&pgc7vZ4@c3n4Vy@}aVelKiyH;`V)648S?MZ!i8zZB#K)UoZeS;EmW4k2IlriO(dG_xSWn( z{=xf92Cj&w%YV%Tx`93JWr{OnttlG5lLCweUbgs}--~r(T;C~WbhfR&o0-Ll|EUe_ z=WCaHB}c2hlKtlxuhs@3>HqsJSO)fRAjUfal=~);j(V|^Q z4ZEAIr5D>9iMziQLIEyDt^AHam$B)vmyq++Hws;1ov#fgP1 z`xYs8DrJRYRoNpnvj6fC;N}GEe$oy(0b?$^*ep8jw>pNfQ)3_2wtVa_b{vGUFudUWKRk&2!6+)wO7YZHf%Jr>5{se`pHXT{n*PDf> z+l=MCg5ATJ<$2Y@FhV)>W0n|D0Pm+hR5=G-UUvcR*&z{?tKBv7#`Cuy0bK!#WEX1d z=yod7>Kf+Z&thH$ps}pMvqG&^7Fz?RdV8Ga(xFz)#J8h|@mxl}|90j6W9HEt@xVci zt*mB9z9HBMhU2;*|K|dZFW46unA6*lR1cRxEtu@Ok6rdYQF4C-Na%Xny;Q@^KTqi2 zwURWxU~a^cxs4ruCN-o|Vq}yIthtSm8-Z7GQy&%^E^;Bj+i}A^jm(*AAP=Ly|HW7R zDGrk93)KOeT*~&@D5Q8fgYREHc%a0%z~+e^E97w_fgFwp$RjM9Ppo^FAFWild*k|Cok|&V2SnEk7 z>9Ge|zplc|ZRd1m=4zD9W#>r^hbNZWX#^56FOyrr`q5Is>CqN3kTy{FdMBvSEgoil zGzsV;^eqL$lkDK|aPKMxM?C(VROZj<%)3C+ju8#t%U%Do%Ug4xc29Z2Ny>AxaFxm8 z+p|T0ah^(T-OHVnP&v!V_))$Hf#OM(ukMF-!t){t%k!P>cRz!K(8=eH?rw^6#pCQ} zYgQs<=Hu)tvj8`NYG7U2onwGNXYsO=%o}jE%2)f}0&qU>1lXdN>1nq2egm${6Mt8conU)FD68du#s#(UcM-`2MuaVBISRYG1W>B2jwAhGSgIQ~9}D)I|ImxCkU! z$fNd}^A#jSJw^y{ipV=z7NNQ8ft!=dUi-PWTGh`Jp|bH~joIt7Q7ir6V?g#E@goe?o-OM{4cayz7YEUQ;-vIXugLJmo1F=yDOEU!`aDu*e^W32?w2x9w9~ z_Du6H`t0EnRn@*igmb+ozh)e~Ii8z{Q7?PkEf9*)?J|G&xqqLrepL>9*qR%bp%Dqb zB5IWkq}6)`@o$Vhqd0i2>tQ!xhJxi*M#02{Z?})bUZfS{sUt#^2eN78d30qL1@h}d z^F35#$j-oD=To)mFzS_poy5TA(X~;8a}uJ{9-o_sgEG`Sugot=kG;t(^P2P8ayZQW z&sd>hIjpWB}rD5gxi_@c*CeRB|M9BX!9raisHm?z3Eb$5&HXZo4@HWsf zsbt@HV=8T4cU3tMg_b4I_#=m7M<*4pXR4jeW-#Omc6GB%o3gXA?j6|Kjvq^eoAvb!N$8c1?KI+!JD&qU`np8iv!hB!BYm+ypr4D3!Ax4KLQS-Ti z`EY&R3C?73E4V^DJvG6waC+H^fwjmiGU?NVDR^P^q?z)5eSSMxr1`y+|EtlpWmK@mld3=o7l;MmajpCFYrXOzBx3mDU$EE85c38X^Ub7BtKFNRSHk|EQvp_ft@SdQ3T2!*gXX6d%}%^`1%aj+||&;N$js z1TXWD=9Mj+>=Hu^PSJRK8qLnjeW$z~IJ>>9i=)K&sJT7e9XIag7xug1INZv9{&QQN zkwH9I7L)toxK~$fb2N@Zrzjig-4NMkBQ^0RZqy-IK6ZD+&g$$IY&FCG5ci9U(3F6olm^b8_W8y zsK!GX@|fHGI|<_8$a7~bUt!7iZ13!vQx|PRMgq^it_(GW_oY5Hq#j;)g&4eQj$U}B zEdNm8;)F362oOq*V}=zGsb0%acTf#lFYL|6p>d9vgaz_raAPIbQ@xY1YD2#0tdO7d zB~W@Lc>$9YQrQ|fh@DJ_oeFl&mT!ig`%uI2VVX>oxPZT^YpXUO|>FV-xVPIr>Bu?{y+3IFIs ziMoY(`GEeignRhCF>7E_$Pwq@0}WR;}Sl9l~c3vDK9_BCPi=(NEs4Lz1(r>5(Bki8jA+ zFn`N;GWza1%Y@iNhQ9^pKvsLTekVh36#?4ulLMmA1oyB|%*x{)f8AVv4F1cTrwA~K zmI{<$^c57&GgRHARz?*Gz*l^_y-Jry=F*W;{^(3_c-cqBWV^mkcS#7_Av zMtCR~zeXB_DL1x7ysbh89(_Bj2}$4DiIBfa35@7JI*WCTSGv{{0WbgQ#xtI%b-Jo5 z?-k7M#7|*l*2NJ(4`Mm9x!VAGh`4x&$OF>^)W=v_2YSXEJ4&WcyGs^+y`(W6S$inx zrwN$nwVKX`6IHBxHM_!gcaU{;6zq;8b176@u^iPp%3gFAq@A2BATKi!+9RTb-63bz zCF;HK`*=uv(|5FJAge+@<_9U5)pL0 z0*MYHj`^%;e3mVm!2Xv1RV;4fKlOs2m<$?}nfzJ2fO7(LfKTiJ0BDd<`e(7@6Zb-c zwlV=&|6OVapTq#*p+S*90ob70WIzkJI{~l)1!61!V1qw#BJ_WHLahHTF@k~V0840) zM>zls{Fn(yf(GGL14h7Vxqvk&P*>e&RBs1B6%<$vums;109K(u=1u?WWCVRq#Rk)s z0Fmg9cT00Ib2E@xss`MegdE587Qb-YM(AXE#;1$|>|hIcc*b4F?3F{zy^quSd`C z4N+w+*%AvDak}h-&#}&Iq{ax{4*3I9;-8NY1o*>&EC@e@nGX$xYs(6!VfZ5yiU}$x zsPrrTbRQ}i8gDNI5GYt=tBQeyicZW)q>2Rh`2xXM{-%dR6-&#$0 zcilABD$EP?h06hhN$O-szQ)V-ni26*h898bRw4}xl1v^gCfMXjLmWIaP$7sGBGV2) zS1duOr@BKfA3*a5y7>m)wL+zifsThU&?N=DzxW8}rrgBLflU|$D?&4ku4tD~hy-t+ zyrrF;WJrJs#>RO>z=Bvxb!vXD0o%x^h95=v??;3XST_K{vkuzj8?`_o{+=%XGgZVS z@nt$j>(+eD(DUGA5t6;jo3n!{9h4I5sM~1e_AA<+k<-%mWoFtzVmuK(;*G!x)!%1i zVT~H0znvuHJjLlAM4$HVA9wKb1^MI_OHK(}6IT@=y?+U zIH^EC_uLqkqVYKvEP3f>+5FQ}q7rZ+=CAyONjrB3yQO&$(QznKt7J%M%e+HWS4gkwe8BmLhj4s4rSkvL|o!gnJ4 zg?I(^1R-fzc?s)W{q4{FaR%4_}@TteI_|A9sLIne9nxd8{9q4dXiSzLA_ycIBaJ?0A^J?rupR`y=gdV|+*u{st1= zU3Q;)!4=3ci&$JnS{|3G`3P%3Gu(GFLV=z3zKkOno*GaJIM6=(NS^T zVai*FR7xx*;jh$O3H@E}AF}Cqg!{lf)cl|AtX}Go^x23qSN#dKx|JEdb*}FsI(c1{ zCQ8cqe+qNzUS3&NNR0cUxC_Ki(FKbM= z*m3?UzQQdj3rZ1&uDCoxtGQJrK%dYkhR-9e^=m1*jnwpQQ$aoGYAxJMX=_u#ZVG7C zP36yBp_(`d9W^$XF&or~z`Aj0Vsa30EY(=ab;NI~De4m4Ms)bz?)%jR2-{lwCH0wc zS{qx|oqAf+fBr_^hEu6< zB*1w=h^p2?zsQ$Itvv;};rh_kwh&ze&As3oaNx+b@t7Y!g@XpUpk|ZbdNH|W;8CS9 z&dO5Jdhp_0^)|+eMW2ND&(EL+6b1;2%t}BUy>J%lCIWXfz_TQ>s~L4;f%#pE@jR?D z%RT-%7<6fe?)`+?%(kwwk)DtYke41#g|Ew2zh6i2k8$+SCH@Q4t8{w`UpX#AtJnOv zJ!@JJDsqkInCiFRZ+#g2CLwszwHs={+7WbpnF#87Q2FN~fXw5|A>Wny}PQ7r!^OMY)uKO&Eg}Do?U~+CZYXskL*Oo2)*UsYY%{#rW$;7zRSTV4T zdARBt;zyga2+JgJ-2Xm0xK|p=6@rRf9HAQR9LbKtjCQ6Vw5a%9)%&qF1Iuds%zE9~ z(ZNZaa1%&?s3f1dq*^HYo4g*MiZc~AwO-X+?f2?5w=qxEY%eZ4=C-+L;%0$LILy^F zjYROVie3v0!ZumW7m9uMs2HM0DFah70YODX2~SB%F;7WgDA96-NW}uWrA#QJ+n1$c zv(b=0g`A8*V+CB(o0N)~zpoKt@nOk+!oiYdW5XW7I9-Ee|LwYTGTtooRN^0aOcRi8 zn#RhA8Wv3<=A5cvO>fp7vngW_;ee(f*A`Lq?rUnh5dZFMfVuph^uH=1Cd@#)Oeb zyv-mYbyWz1-_eIW0|$x$+lfp!>~V=;oTd_{Q9x@!^|6!hpji zpLX4?E0lc(7_-xVr79ee!9~JOL}-&jN@YInhD_KG-(uP4vl)qRo-SfHqec`*#@D^? zS&i4t7-gH4!dJ!D78C(l3FCL1Qy>*8h>RdV!N&{~v4fOl+}&WhjO4X&jdAnfaVyea zz=;BPphw2_3sk439pIJo%b8gVEeT|o0p%>_;O#PVkE9y4He6zP^_HJu8&qR?Y48M zB-}LuuXhAKvKA&}hsxz3(`qjqP3kr_uZJpGeR0 zKY}(72REo`9uNw{$;QeJ5?BC`{I6xa0O-JD|4iJa?Ofg5N!fVV|1XE<;l&bat5}3n$RhVdd3m6qYHy+%1pTxWN#6ED zml{RwKy#N*mMSUevx`pnQ%h6m%JU(ieMWVMGyo$}q@eB(QEB&VrJg zt$^pl`QrJ}XNBCA3Z&=~hTq))%okT(ftiP|oS!4LCH-Oa>&$By^uVCYF502-6(i_6 z_aWxk*K6sHE}`M#&Ach|YhV)@Pn-h(PeYbB--Nz2-6$#ye?+JtcIc#rU`$DQ;7Up8 zupo6e2)Bq^(Qd)rQ;x1iK};@IDcYQ#4BcdJ!7jIuw}y2e>ZI3dJ0Pj`9>Gvt`UQqd zMUC9J3R7yER8n#Zwdm(nN>yPPx}pAkFMYy@mZDJkBk4F?P=uxw(zQ23MZ+K{kzERD zsMB$DUVN~aT?=nq&_NkL6q$<(XxIH)QCR~H5+xct)@2WuQs<@+)~h`?1x{kQ#LR7W z1X{)8ESe7aXG$_uo*cX}r+oS zwLW%QmFiWeofc-zZ?0yl3OFTV^kFeTKb_SyJ|@G8)jk@ zJoP{MmiW_`gL`j#R0+RC=>uMmfr6q~7e$(y2^Xn0c^ABAo4;(*)#w+7y(6cq?&)hR z<;@=Pb6QiM!*3MODQ+1M{1x-{%}v&ZymTTtl7}qME8)=50;$PxNNrGUcxGUx)TcIn z74_fC{=7x}ncK|@xXeX@Xy1!XxH=>*U}i{QIXc5+#Qoh&`S{za(ZAY`fCqtW5pE5F zlbqZ>vsfRCq&W`WpLzSI;KtmpYjgZacZ-nHVK-ch=QbhFRs~cbcsgtrUw!#wRV{Li zj6UJ)=f;s)X#3Aj)(5TC0*0;M+Z-+?7p-RU|_)p_@MMKPW`lqIWXENPdn57GZ?bFyeq4}D9fVM@&KB}VM zLx zSc_JL=1JFq^=Q-4_L8=O4QMrJdq~^BMzmVAPSQW`_VLi`h1z;Ae!cHBdLsZ2yF(MrcNe2j5Zr> z1E~x=j5Y^N(=PKLMQcP`PpZNhLtBidB^w75Xj{|q+(Aezd6Vh<{IN<37XD-Ef?%;XlCQ0}BS1JxZU-B4q${I%{=vDa~n zR+Xj@H1|2078T`B0o9Bapg?+#NKHZ2J=a|A8HXkxlz^PA?@+N*;z1>UPGJWXHsu`j z9r{3hxu%3k42|X*)@smMeDnzKZ6X>6$4I9W9VRLh(G>g)B06SZ8AG$V6*uWqS^a=5 z0-g*l=9(|)!bTpO57Z)YcA%`nW^=6{=@u#=P#S@n3GMtUwG2(&JYI=+1BDnU=Rl7L zG=R`yuH$Fv@8Y_Qn&c5Bi^%OQ@|t7Y(%LK;I3$ z=0-l(H0d1_v9AW&EA*@A_ko%TgXX3l(|u#yqHTv=C>%9+LZMsyR}d01S8YO z14R-}0!kxHg0tYbxqE8#n->6Dm1jy4UX*AXJ7@0UCf%ZjQpE*-${@*`^}MbN^`uxn zVFi<-xfj3D04!~S?~`g!2WFbP_>dl3L8`aSHuuTvdSVWk4;sM&upBg)`*uvXECRSG zSqzo{_UVdzpsTCE3UlAzrYBlKbkk3FDP0Y;b+iC&80&zxi8i2(U=vXL-vV}n4d$*~ zr%|*AYy;~2?Lhs1ekbVQ2jz*>+xGxzVMYO|r= zbPMMkPwVq|EmMUy0Bn)5z8SX2>dhwK)DvsDS+}Uk;D~IY*$vzD3yRL!A6Fv&1b>0Q z!9U<%@LxnOe}%`E0evs-%vQz=1+ErB36#M!Pz9z(IHzZEUDgb6Scbzg9F}3JY^m9; z&#KsI@O~11Xzy8vrq-uZpBf{FlT5oGCd@ElhRw2#W_NUH6wLvK%P?HVu_D7}S-aVt z1DcoPyhCe*rLw(d_dTZzcrEJ%J!X%5APr+?xGBRRS)bXXmvlh~0-XTxOQwAlzhoH1 zYZ*_PJ^hky)((5t%GW-vxo1D}Y$u+b-Pf62XwwCM?MG@iCje(3zX~)1j>LWqXaQPZ zrpYryUIyXh>pALr?ExpjCa@WBX7C&mJf{M`9nkqb2VuVxP@$glf#*QrIRSWfd%wr* zoq~R3oUrV&B5(G`q@pg%?fga2KFdwCE81_ldtO!4ZMo+&MLm}LVws{|%Uym!QJ>{& zZ&7rA!17xYMg5i^`c=_@0v9p`-Y+sD|~jFqN7$^UQ{${#k(&l8nfbCS1WYfia&NMny}LH>l7Wc(#1~{ z9k=q(SI)}A^%0|sBPLcyoM?-fY>$|_DdNt5S0X;{kGSiHh`Spj?!6rG!21yoJ`wTA z?uf^}i+J+hh^Ja3p7}hYa(l!JJaPVF#LH6=uazP$ycqHJP{cdGM7;NS#D^_1|02)? zbYkScT4fw)&*Okm!Tc4>Rlyq-jzSfRuA=`M+RN18&H}dgG!FmO^$eeKK1ex6rFp@LAFy{G0+Qdec^=#Z1i{2J-LqLEuLA)@lL;p|DJM~Hc$uk6vCZyf zqxeQDmgNj)`^~51!%?3{?;~4rUKq6-6>!hS8h`obaU4Jq-raz+v5mX6J1R-x>E}-HBGlqoKjU z^ypb@!-w{To=*3B8;oDKLL|DI%_Wntaz_%3PM?2|ZKFHyAS{!+G@eg}v5$8;ZMjOGAqJKBEW?Z7whdG7Jv=EazoC2Gdi!)} z_vV3CVP_ib+hKI=^E5797Yo;UkqKFl>+`19JcQFMKC7!i)3ta-DjA1to0dhL?2c_P zj?bgTnBJlvO^n)h-9X#vn2EEqKIp~_bltd3h_rwC1`9q7UE7C`5Bg-lix^z72rjQP z#wrT#7mNPB;a({sO0A zq*=JhkURa=pBfH}DIHq+rqiQYCAkXt=piQ$KDq_s%DT)XJn7o}RuZ-z0=5)fUPp^( z^1*+&f#%LMrlt64VLW0eVKP82gWU{HiEt=A9I{yQoMlqhRPs;T3aZJ`xx;i#hg?PA z7v2^J>u#|0kzdtx&9pKe^@wN9$86D!m^#l#>RiFc~V*0M%>Hfb1rhq2aMRmzekq_S1G>g ze~E8T6?~!DQRCzlX@af}%9N^2#c1SBG`;OpXU@|e0n{S3LOJv}!3YT}DX+6i^7Tdi zg@}njJ)gVFDrw-N?Hh9rP>3mgZpRc7eQL*3pq>C(x+ilo0pYP6LJuJShp_cw(oTQV z=O(bm-du;b9vCldLuCk(}2oQfrX_*(u6NTpqoN{VHxbBc}fuA(sqoXA}5T8hU z4qAv*0$PX%(m-E(oTAChqBsd`+Xe~`2h44nCc$;#& zhrm`nJd)PIx^_Hz9fI(UklzP_YsbKSkoJ^_ZBb<}Q{SKjiO6F)oLfRBC24;mfE^IK zP&4d2@W3khfW8+j`d$zMq*^+OtC#O-t!s>2$SjY|A(<;#lFl7xTwEdY+*R` zMC?Z(A+Q1CMBNsn=WTCp>3Qxnu3pHRdXT05=g8vID)WV?GJfk?QN*Smoi8L5r4nni zFQ`Bm2l$u^?QK8jMG+6u^tgXRAK#*yLt#oD3iDckkZ6D>$v+sD0Z4KMByVGSxDJ4X zmj^*>s&b7QFniXdWZ)HWIJteoa0 zwN~rCdbnaOMJ$$3j@MRQ(v9J}S$h@~&3Ozx0m9a9Po2Ds3bTajUmAZEK~0sUrr>o; zm$Be%2pUr4h{nQEdZ0G|pqq;1P?0K9jeQ=XeqJ=$S+1@-#@tVIGfujT?GIugyNO(C zyI9&$GObcEtoq|Zzl6ZeKD&b?R>NG18|f*R(zE0s9=nqrJQe12ewni%lDaPS86sRX zQ-m#X9-A-6_B3Dh3tW?XEGd5%oLY$B#J>1K(>z9nC!}8^ZBk}>G6|F^uapUkkuni? zk}U zn)~mmk9(?WmW@~0zWBY7NqahXW{FW;oY4JY)|AVZSP>1WtG7R_w5`t+{8O)lBZQMz6Fqa9u+8C6i@N7|yS(WJ=!fMLfNit1yRJQw)o3&-$;L#QHRFWVq@dF6 z7OC_Vd!oZGm!Lk=jBV~&;`K|vXuG28ow>u{-Ui`?Yz1a58@sY3T#>tffP_;qAH&&O z@VEjSkeWerMQau#F5Si+0;YyKP^4TF_>EU9?-hH^fYDzPTmr22Wk(>5P*hQO&V_Sc z&5LRdtmfNdwJJTJ4)+oqB&T;(kY*^l`r%6|$(K|Q7vR@2pcqIUI)a`TI+3lH_ z2K!SPSXsg;?DhMPSD%-EO|f%U0dV8Cwu2KYOH`4-d$78pxDXBMSd#<8XwD;W)TYi^ z2ZG86h$F>tGXry6yLU#wxYV?lG_)?h?w2-pS+oq*luTncg|>G$ppjSh1_dq@j|xgc zBRTVwv<4g~flXuLKFSK9{!U)Wb(rP3aRlPQJo$x;rubm^A*A{3H29>_UxLV65BvvsZp(MO>e z_SSN3yyU&U&6`C5pwm2iWE7*I0cl2<#cV1Q+a_F%*`MAX4;DJiR6Hf3;um}b+NH{- z^IW(9`TnyhN{7NyFpN?-07S&&hy%;0U)4Mducvu_Lt#aKFsccM<6eF|Wu&)<5SX{! zm3BTzIJOx$u^}DUvJK}x4+j1i!rOkIKguD5hKxUN3cgRv*ovanFcR#T+T)j95Jq+Dkf8?Wt5n*c-^1I7pW==h1AoP z1*88VrU`!yC45v`H~DVk1Fl=)K^_Z=rDgnI^>#pc-q5k@CK-dL8%{Gg#I$X(D9Xa8 zD_YRa20puD>!J#__u;nX4t~}X}3 zTYC0YSx~j%BB`U7^Bh+};gjqprm;~-(V>SuV`YNTDmWw zFe~_o?uYIOR)pz!LWY7xE*c6(L1!rLo7GbVz6xyM2$P0g1;Q{?AjZk!_y*X1y~5f6`wa=yCZJ|`@=yNGnu0w?syGS1s-oSu6dVC%RE9@-zx$-)xR{KQ8 zAT|!D!tu+Is<;G(?s0A17XPzTrkxj$HXifQ0b1cV0WE?Xyo#(@)ci%hlo{}UO6fuG zz-!30(}`=FC{$_Y|J1QK`o|9_=Mq2TlJw4hXYil7KoOQfDpeEm5^%<^{qvXr3gYzv z`zZ-zpB|8y3J8_F9B2&p)6?Qr$}lmppCpgU8m2~_l~tS-Hu?L)QpQDUT~Z+-{nZ&%^uA36RBdHwk2|Fy#S=#ydN6SE$YQU?L(vvHZw2Lvy>)~&Ne zp(#88Gn4TLDYKZ}d;)*`nH9XMSe7n~0G8x=@NgO7EGnxSDxXTi=aDC|7DgJ|5~BQ; zPj=qKy-<65SVNHsWsqIqw6(S+m^!C96uH{sQP7FJCA4=O6d3`i@&w0=*pPN<=a;l- z&8XVPUf?-cvA}m(a+c(T@79=U2Tol6VQJ>Q{vu}>Rp<@Ij zlMZ4D!Y|t6fS89>T1@kO1p zoIt*7rCwy!6AB=|h&KmeLgI8-5bf<;ihK8HKRR!p3|q_uoaIRqt+SMsB_%6e$ULlh z!QC^c69f1xc;&eTYa!Kc)ZLj2E{N=q7Ahdx%Sb@Y0a1UZ4IvT&x)*cBggiTGwJ@%)5&( zvG&s;jMOSn15n%U1d+kP#MxBkb0l6-%MtM{aRz@4@CtmRA?(@(o?eqGj9q8M^}T20 zr*nNkgY*L$^$);}XCq#E_D>jxRu4^*mBqO(I7`6`kes)XlE(kCjQkZ5&1=j9uf~3KK22D9=xJiIsx+8 z)Ja-wPNFPP4MfR1f9O|~tTE2)X*#43T{&Of5PJVmm}mKm_#Z|UpY}l+BIHm3@^L4W zR@1Gy7&c<>I!WgIsq4|hT)JoiF`jrGFu9ssjJ z;}{iA3}cSS;NpoDm=!H-Msu86lbo?u^t>}l3oJeK2)P1+&5L|dK{&S%&cPXV>!Lg3 zj04#~mAvt9DR1xltEmT0scRQp4swrTe~k~~f+K$@?_K4CT3W0ooUeQkQLUqt1w}|n zMb1h?Q$d3dGLZWqhX>DKT*l#I@^Bwy!gC))I0mDu9-M8Z#QKwQVi@y51{WW!z^rIt zGn(Vnn&gAEqUU{3%a|6fzbPOZaCoVojEDo-lOa(}9dg=o;*f(9k4Ht+0gd5du#?jz zz$kw(lu%Nm(Lc^PvIn{#f~y-d_{lD`0r8#80b%Td!B2LPWDQu%2t)iG=&Xz}45qfJ zVLgO%#59}&MhBwr=jNy8=R|%52F2Cb-@zqd1*-z2;nrG+(ZCfTZ#7i3uxyP6*OrNi zv=IhJKu`z-t<(RP!;`Vua%ea9y&O7UHy?kS56#ykGllcQI&?dzUBHaVE(Vsj#!AP~ zKA|>1Qeh}S#(`lH@j2K9TxJ>l{2H1bS za9I^_Sq&eo(eUBivMN($B8nmV9j@ykf~>zWd_uyk zhAC`Se9nZNBmQ4fQ~b0CLvp*f5bsY|Z5#(LSM*<}*xY z#GwwSviB7_XnAUj8KdPosA5F|&DKFM1A>MwZG^D!!n7YC-9q$PTBjg-oXh%|Y9LAz z_Q!6sz25EDd81?B-9UkUm`>M8%X+$I1&aK0e#)kqlrZOmSB5fwnq&-o&P;zT)ZcXO zTyhoim#Mn1J^3pKGeG+Yy+#GqqK;`?y=uJzn4x__VI{9PEkFiOV-SfEV|hVzD~&fP z0gfOn#GxW`xwnEjr>t!X1H^oY#y3Tjf~_mT3*HkB)`2e!N6^EfFmh%S(9$Y}p`!wQ z4G)?!R---U>`4)&QkTSVae1=ug=x7nQWkXYzZLg zgaLQrx83IE7OM=}=G{H)^9hQBCJ%JPau~MEt7>?{Z?bG4&6(mK{tt5|1UX|M_u+=5 zhgF%UoOueT^oDh&6cvsj{Kc&d1Vap}##Ae;@s`qN!L4kKgeBq7F~fhYiy=0g8-Oml zkkblDHeze8#)x93o9SSV)0|Z6)ciz=zJ{~Db9R|A;gCTqb|lt(3KgwF3rlF>f`6IM zM*)lVv;^?2isu%+nQ9~WROIesBWF2!`n#k4;yrYD_E(kdy%bUIr~mvwMm zju!km^=P5~9TlV!Y6*V}#hR-t(gIf{X@N_%g_r{m4HGOF3BkB3OOr8Ubh<7~5e8{s z-N-lrW`dTiG9971G9BT%G96)7Sr$eUkc6s>)1pIvf|I_S+h~|s+fFOgQMkt{ROxi< zFoOK164lrMI?E?&)Pd@;3}wz0sf@);mCDq3x=gKRDqqk(JyU;Ysek8{s)m#fbyrFl zc+17%briIm&@H5yB-M!bglkw@DUKtk9Pacb&_)^L6!Zp5m^Jl~aV7930q(l@C%D29 zXWS5jk6;}pS^?LUDh2NekD3neN+*yJgr!5Ykz0+CWU1p3FPiixcvib`V+NYDa^AeI z)h6j?cdub-CS8A$4V)qEp}b`KT7zP^qLC0kj5)V^O;iI>n$sV{>O{)yv z(d?(Nj?OiV5kOXHkeSIeV(VIk5$_3yS(mOUj5vbEDq|S02}WY&jt6|yqCde&W6o_f z&8&54ver72aC37thSsGBU_4Cj7ar&+1#5crBJF?i?C9KfPNvF4=Vz+syE*&ru>bvL_vQ+Gd^%UMsR=6t!E=b#0{Dm-GYE8c=XXCjZp-+1ahTe80f4Q7IIS^V%} zWChN%hHSi?X!PPH*-TbnlLQ!O!|eL{_t+A$O$kRdrZ6xYJz zUT=SmDHUj+kih}E54csso;k?+N!-Xv1*?gC{>6nN2_v zEcZO%qaOVUPC9dTgKg$)OBtosnPi*GC>EB6X@otlOVvyFU-0s^#w)+DFEHrs!6B^(bAknVH(c}2HB+-~mYGS5_sN$SZ4 zVfJ`5^#l+$Z$@u=QWPv3w9BqJjAjA zgB8?~!D1*#SN>=4bVVQRM0bu0j-X1{GZBMzeA>t>m};e_jc|s-ClietIxVQPB9(tJ zg^|LuFYnS8$0*eZt}7)*IPGyq;E6gS!309xX6+QYBoOI^wM&r!dcX~2cqcA<`|2aqdBI=(;I`;bY)rc8Pj!^`V}QrF28>Ztrfva zzCBvNXPIE6ex;Z5UWo!~FlOr<{Mpt5;9l)ElV&zi#R=sZMX|F~vW8R@0L z@np_h-xQHXXkE!a!ac!Sru%UPM-ctYb5<3YrON#d@Tfz7f|I_S+h~87Im>3Jt~4gu zX1yAg9%*t1$O!(0hl@}^K;@FoQXn#jbBBuq*+BL3?InEQ%C@^%r5CM)#ry%rgxl1q zNpYt4`O+ZbFA6Me(DB9oh(D_|7^z>?HcVM@aVziz#M4%orT(U^F!_lijys-aT6-Ra znJA?5Aes~+{X#}*AdG)DG`Y9o>pCrGPN!~lvA zbk!@vm?j(^b>@AJw&4PBGjeGQG1F`8cFqX-_wHxxc75h2uIYcLuL=Wxx}bg*ACw2C zuvAjAvQpJEGbzqd;iS?PFlK?>9FOdq_(v#^Ft9a^c{^KV6^_ zi?>^P*8O9J?}UHBFJWu*!{>l6>pJ3VW)SZ1_Ii4Y z8It20Wvce~Ij089skzDhzB}OiXn?G{n!Y&(Rvs;GGbW8zdHI-LZIhDjA1E&mZ@_Yk zJA@zl$ju|Wp1~6J^>2`f9aPhg%)w4UWk3e z!6}u|`v%Ym<IMUg*~=x6 zL`_pMo$yL$6oBMRGm^RPpqdGI6(g@FWNxGfo4d4JHeQ40J9;151i|(PeQp=5f4AeJ zI=BY!fFiJgF>AQ#f5zh~EBQT16Bl3aNcgKrzrl|9zp<|v`=9#Gjnn0f6C>0D5DX5k z0NpoGZ;nMS03U@+_Y=2Vu1+~!oh0!tFY&fTD}pfQI9R}Q<8pj>bu2QO7O{p#ayZkh z$XzUxa1l}}J&N6t!h5&$aCm?&gvFd z+Ajtq>8^wT`zmMb-yB@MM!L7-2t-|I>kAWSbT?DTbl*a@P^Nf;SR2ABMAK|Td)s|B z-|n-pf9MfB%G;n&kf1|;BoClf!`jNA+{5t_J1tDHNqr`BKps&MVGvd94wwFd~xaNxe#KqT) z&%U21(q+$A0TpX(k>OTw>*uC=g(86}bg?x3W(+q&vtxza?2-eQ@Sl?dA+t?r_q1+um1Vv4Hc8)N^q|p`eQqt^0+1Sc5LCn?f$G)sap1IxH(ROXw5H+^F>-s~9O*G)H?+(1I7s|2kkPs%3+I~#3 zWH?pWwD)|8XrR|H^R}_=*0wup{`E4;qOv*F^!GH>TUbWKq)eS{L>{LiQ>e^ja}DY& z(t?z!;uL=vPVypp1rpMgt=sAY%@YYQtzxNk$`jKf&h<1g7BCe?MQ_KhFL$`R)=||R zj!pgEj+ZitKAf{BTnQ!vU2dgs>XAm7#i%ri3$4A;wdWQRNo+tFJY=TGnWVl$NtU*0 zY|wt^25wKyX>cOiz)oh;u?9AaEGHeqbTgZtq)~rmkNdhGLHVeZM6f}_O9i$$mMzX0 zY3yKstI;|WpsTE~V^4g5_~!zd_D>BQRjHOlq%0q~VBXItl33--2|u3`sElPQR`Ogf zseumTNBn$NbrYq)RIKH4U)z!-kZ+Oznsdp50-bzViEJ$2p;YRYMhDe6ztElI!n3V% z9V>sm;+wh3)dqY}4qhoR1$HbA`>$shQ^v%?tX8J;1TIKMH+ws*{el)*oC(2FVAnH% zD`Ia@x7}&CXGhTW3qO!Yhx*XQL~+<39c3K<)f60JA>oLKUxHF|$EOCD)*Qn)njq{H*K8awa}{0&nxqxiAY zw>&=V@Z8~Gho{MU&K#3DFA6+}0wxyBJb6x3YGSz@|A!ru1*HnwR~w@>U9rAdERKJ$ zm%826LC`BJ1MS7KV2hljw4@GQYc5vgeR>ubYg{dCH-zG~>40|}>jTH`rTsp}jnIEd zoWObh{p{o)&kkdauUiiT#=+e30yif~Y}Khm1= z|H7KgDhQ<_)$afe3#)$V8ga z0u-ed5T}S7u4uOdYDAdm2iSdqQZV7iIi1Cz$^toRMs1Qi+a5$a^ds zuEY2y`qgf0ZYjxTcfGwySL+hww^crx*Ws4x8<#E z>=<$#6C9DzXCtHlNCnEx0L*_FDSfC)lC!8v=h^03K?CQN!exc8ZZ3Ygm_n`un2(Yv zVgc~0I$ZqlQ?l7YCrVG{W^?a`9sr-E5{J0 zFyPUxtS2K4sM?co9hWZ)ADh9TZ@gyI0MMUH^CZv6)A z`55n~lS@)LB>q_tt|N>ijCz30rNibfr1#(}9YlBBXCBzeXb#lXnc9jBBtrLk!zbdM z;&_Jvb)W`velp}4GCD%SekNa6I*pCsP(E}{OEQJ%<-m!Ec8!1C*;|)Ua#wi(B7K?; z8J*h-+vhbLXdgmd13D>fgI0>)&~j^kt{oIW{V7F>p&J6)fZ#LGFqafVV@ZFHNXb07 z<3@~r*XmP{vS>}5Jpv-92_}Q1E|-%K{Dfn8_P`5psHxJ+X`c{jK1!|-Ce~6cH~tHV z1&rVsk`;Ju@PvP#isbyGNzOFL>Y<3mlhkS%>xYxhyVUt+Ip`BG_+p-eA%%=S$443! z`bj~h0J4f){9%H6ko0=mQwg*$x5YD})9Cf3Ng_H)Y4q+AbnR+FQaqjk`g#)t3Mu~& zh61 zzJeT$3(-Y%PmvKisLnBt*gP`x74~l^%0}(7ZE3XnlH{}9fAo1phAQ| zh63}@9l$?VViA>mJK~wDsWcgIMW6d_%h5I^36| zPZWQVFACT1OT0f}I=~Ks4N&F4b2KZ?$PDt}O!yM`S@ZCCO0jtmt|O8axE*@lTPj#9 zuVDsf%#!kD%C@SPi}E>istrp&k!s39#|DC%gy1No`UI(FBHbOOgb)o_`gf(8ekoNz zATggN)dVN;k-26FvY?dnxn^pLkIFXZW}<&o2D_N0t>`E7%}m5*ZCx*(-6w-QFjdQ0 zPl6PM_y`odnDGQYnzllK1ORd|@yVQ1nH*ARaMxJP^tZSlllDIr<0o1Q6X$Xz-YYsA zx2JI(-lQyG^7@W^D)CYD<>0|yz~B7NuCB`?-ypxY2XKJl{=97N;&UEcR5DdW{jN14t`DwQ`2333=?0DikZ=8WKz617Y!R~PE z$;iHh+Au{MJpwyNdv_6va!Q# zyyIWE8ZZ8xE~$8%fu2p-@6ey(&~blX25KyX+lQ2=#>9{p`s*5Unngn8W_Wr!T!<(H zdE+8+Aq=}mh9dCp{46}lR^Vk1abjCnp!bFv`r7lXgCyKy4%p$YZPlEp2s!QHPzI#O zBZ8^M^B`tb%`^v0Ss2d*Yl?~@e3J>l^yJDB4qsIm`!(J{3Myvsjb>TtgKJtb^B(5Su&!r@A(B7S#he%BqdXr{FoMl|w{9tQ5 zVoIuWN69tQx15nsFg-H5GPrmX8ujVMkrmp2N6Epaau1)dH3Cv%cV#Ay# zualWdz?X}JuK_tCV?Cwrsa}608TE0UM*2@~uaH%zC`qWC|^Ji zE7{jQQ1TTV@`f6bT^{HQHuD;hT-{?3Eh}%B$|TmBo#u|KLT$K~cF!9$Cy%vsq+%Iv zRXl<_5A?yUcFk#aW6r`rTN|p=F!*a8Eak=i%NMi$Hei0N69AAt&H8_Ga%%Bo-xW;d z0~H$~mkWH`)?5Q(GU=bMBsre|Pj?YPH7Py32}(zA&-Zde+4}O7izg2gNKvRb zQ+ghkMC#*`pf6l3x{PhzgEHWZD;MPi-;%*#@GwU^^31Tr^41?#;{(_w2|>1=NMKc_wGoHIukmrt-%UQ^Y&seL-eS(Q)3AnjeGV6!fyjo_MgS_5EyqFR>UJs`9p7dvD=xTk;i_#hOV^^@N*;)xi0>!%j8wi}L z?@1ET$CU9ipKggfiL+EL*Lm6U<$S8e%*&>l5G}U4q62^Yr|Vv5DCu$N`kHzwygoiS z`=+B$%?D2-jwTwfP+(+uI8(eQ1re?qGLAGR3!w+dx$WOH ziAm+Zr-5#OGeat|oV}zf7ZHO;qu>2CBo+?~vH1SYyY-u|zmrNWq~v)VtHt_$k*Y}O^uKc^< zmu?@Eld0w+&!#ljI|C$ulqF$Dk~Q}@vndZd)Ar`M?{Hyj4$GCwn5nmZrfkioua0=2 zsd2WS(}X2Z6_E|Ak4sDIxXdD}e?_e$_Lr`#AFLR_?MVeX;yTNb-NI@t4UY`eIP1{C^(JavHb%h zM|3h{iGnAojAyw*=I)zzMh|Y%Y{cj zP}Fm^e6##@Ed1`*u@EyUz&c-q5BAkp7me)r`-gLV1=&Ez#R_tS)>JYc&GAD~w)`;M z{mB3?M-D#T9uK{>W@#yW=l(3k#R&VgWb=j?#pSmnCBXVnT}) zhZYLe_ieFRLW5@O|4Z#+I4c#ji7J~CcxJl`2)Ry1@5-A5d=q8bcsxkDc#f1|x~E4#IZEw^(B#!GY^7?P-g; z+n4>>iL&l|VAxhtW3MZmDQu%d`f=S3d>`?Hlt=tgZ-ZYxu!<1#V{40uXEAkKcc_TR zhqf6!pI5GHGI#j(Wc#|N#YV8bvaA6QZ*eh1z4t~*2?5USjCXH|YE_q0OQAUFMR9!Q zk`x6&Ku?b368T9kmE{03s2|1#c-5M!Agw?;?0b^den+-rrP~!0rbxG#e-+%dD0uWaegzGpz$$_Bs!Ohj*VNY1e1e^sLOk@P^ix zz5qI(Ny%ptcB`_Vxp(Vv4N?M1NJJ(42Y>P)(}h~#F+z?{h<3F(P+6EdTn@el4p~D^ z`s_43@-I zs0O;O$C>7Fa;htz(YNC8IBQv;syP=2JU@&48|)s+Nr>Q+lY76=gjFu_s)Wui^LkDD zFln7fhRdKA=>hjE_po_U1+$otan7Th(9A?LiN_B?GZ!9-N%jn7Pfr^{On96YWKaB~ zwHA5eWlx=r8wVgApO;e^m_eNYy?=cLmr=@7MUM63GKUPd>6^Cftbgjr*Puwa8r1O@ zdN5B_iJXflosz|rmL^ccpUb_q^kAbU4bSH(X(mP4;D;(-;wv9al^x!lMU%VfVht%l z%Gt%A=){EEhyyC{|30ZN(M%vkr+&w${~)oJF~HemdNIUW3^DHl(+W4VC|mCaQn7W+ zJoGU^u$gUQFpYxpkW!FXW1}~M#XG`$?~cAyV4@AF+b2LDIgf(tlTii}w@PRMS_T3#IJc&50iFk!F}DE}w^()o^acSmlTii}w_tq% zMhlm*p8*rMxrhM_3j#Gbx5twK`~jCSTL%-j)|CO<2>~&a5rq>2GcYofu|_F>S=(~k zMiPC`SFm;;0#=Fe+;H>DmL%Wgjck`Fmy=EM0FomT5eP5AG&m6J_GyO_6t8%BuwxlHhc#(qK_=?R1r|izXaT zv{1pjnqJ-Wo37^HP2+0s#wrOcS3OWgy=_`s-n<-7jF7>nCZBi3JTJL_MO&BKuBfZ_ zu&-iaE9$2!eiPcvb812h8_7_JWUwHkLz8B_AUAofOwbm~D(|+9p9M|_2^)A$&`;w+5gxW|`U8f=#@-ITCeiO(dB7|G0>aNU`0%A)dZ-&t6v zoWW4AbF=hKWR@l&H<)gkqFUO9pZHsDH25?;#Ofqdq1NeWq9mq&nDvm3o`w*;az=&-S=rlqP(0rEx1uc!GcFMKV7K9#|lvxLPKFaWvfmvL%>yt54f zNXG&mu*P4rSrv2s&Q|m0VdHS>zPM@XHJ3`8Hx)Ld$FJ%qABC|_U=I~$D&@)F7u|}C zhyI$TZd!7hG!4#w>uPQ{-8L`Fhe=zkH>GW8-=i$Z+lMtU<6H_aZ}PVD?@~;-Yl_*n zvy)lg+6Ao)(~o4r_{S($IlI;4J<T;O(K6SGMa4GGf%bSQNb9<`tJtL;ii6H#zNi zzu#nk_L}y%+w6^tO$3(X!-3&7(t8c+%NV({J0>zXp;tS>k=FZm}4R< z2dpTV7Uf-kQS3I zdnjz_`>5(}MSkNR0OLmvwks{6$@uFXb zNwQGO!)3fDIDpL&f=zIKc?`CDJwz~dl*Wf$oE!xzfM$}ITj=yR5ebcd@@1R}LT#c_ zkI6r_B^P9t$?rle?ID&thL|viwu;bKDm=#C+p6`v(ZJMCZq%+58DpK9I_%|LUD>u{ zklfjS#t8-&d*Jdg6@^h}u6u$W$k@eUXES_|Hx!MR+chGEB(f(5=Qo>8S#aYgc7Hc5 zgH4SheK;*AG*s|u^@^7WV75hj!VhOx7w6NX28t4dve=tYVT`}$-RZM2GKvsxGEZsm z^Ho9dE;GTqyd@S_nRi~QyM)&vG;;0F+wfU`>W)Mhne1?kGXfBZxwPG;A%=D|4Ueao zW+b4Etx&;-x|&>6opnt}8s0g@CWHT2|CMX@Z#JNG29(}_isa;8*TW5kVMdXWA;c`t z=@Y}DbK+|5$|Z-5H>91I8$@tca)aABcEQJ*sl&p2ORQWFPP&JqxQNMqrk7U^1*S)T zLCh#{DD!S6;ywf@F*LQzM3^MW(AL?&*1t|nCV~r0>=X6;X6gsM*f@4Y=k10A&U{Zz z_q>F>WPkcd4k97@>94wO)4qK1VhLG7E1!k)di|n6$1mEAowrAK0I^fYdLS^dK0REY z))7({GoTSAo{dx{1J6mX5N3!GIdSoS9XYN7wyWhLKVbqmt7kLfZ>OU*Hi-C{{@pu5 zZ=4z6?XTCi@oip({EMKwWFZztDLqv(*SYDb#2YRB*R`lQdaN| z6+vWxgJZ8&PpiCq`0ApZiW9;I6(GocfWN7mHPnyg*A!al?HAHlc6Qpfc1?PJYgRsR zgFDiv)WT_qoH)(F?T%XcuIIJudtqszIwCFjjDH&mWq_!0Fms5Oj2I#gK2KkNxcHgN zr?jtC1*Q5ZTANVGWMq(k2_ z@R#qmWD$)_leQ^5Bqk5y$hZXFjlElrqAetTXjx3m3+JtmqJVLI95REF&qe`+q%aen zp)d0VrQJ!2={ChJ!68z?>%Th0WuKDcolD7+9-1g@dT13cQALz&_=QV~TiZ;PfbY#Arf44$c6XRztg}ql|qC;nLLH*_CaPC9=lmnxFESU)mSe z#;7ZNihj8R->w7liJvcjuL%498h~Ip8~qq1*D`O|%6XTOHfBZQHid9or|ibz<8cotPbWl8!s>*tTE3d*8V4=leJ3 zs#Ux8K4Xtjr}kVBLb**$fzG3oj4z5)n{75TwwQ4*&{AxcBa9n z=4I&gG19!~|K&p4dMm&Npq9yUzyBp-&~R%Hzrf8EPE>(?;M29kqi8-;;rP!PDsm|6 zrYdZb!SHH=rzWz99XeA+zmoOb>bI3~TJEWOih6rk#ML>#kE71v(L-&EMI5`~w8TB# z`tN0tRjKKPDnu9AoQ$btl*)cdlNLQgHXDEj5NF%TaiI?x`RKTp z>0ld&Cc)iV2~a{RbBy3P}BgZxagjW1UbJj-h?8mQbxs1qwO^+ZL~GN$$n1?tRS*wb)wCjFPX0%fvaS| z?RQnJqU{z|g|1EgXVZBy^c04W-RBUX<6OeaT?&+=5)fZ=ZOlDO*pB1{1C0h8oXilw zJ2QCFV?Dw~I*X>@#`iHjKJ{*l)1@NevzA`Xsm(y)GiPt*ODZbb>D*I@h{Derq7`BhN>AQ(}qt-ja z_z}pa4AIuOqwQqkY#J&iO|)fz4Kc18$UNV(hh=J-E;o=p9Qz!3 zGF}Ly0Qu`~@Iah&nam15nT3*IlMhd_qy&}?-pzP*;ZpbNSyk`6B} zF2UXFq~$2La>=Lw&0ihpUb21guMr1}=OPz6{9SjRCgGx`u4} z0KgNVhMC8ekJamC1X@m1{F6-V?!LDPj?MB`H;(a$!Ui-3^y1ghKFL0!!f%K;-zVz5 zt)GWR4Pw&om{R+JP(L_jD&WmzY>qRVRqQdASg6iV0Fx~u ztd^HCm+2&Bb|U=!0iR@|)$(0qMbgE3}9|DvM%8}6z%%<+>@W1+6`V<|n_m987 z@2{rZqbvLj=H0uPPMJX|@Szx1i{l_HxmL7IE!vs29uiwKheFTIm18ctr*@05=cJ0g z-ih=2b@XpWir9NV<1*wr`OkKcS4-;bKmjUvb6GKkX-wR5NkUE!;2IvR8)6*Z!c^L% zd*YvCGVed}2>s^Q+1(S#DXUJ$~na9)_@Xu|9%36Rcooxw@8 zym^=`ym{oJ(^g1P093R@hG~A#1lZSlt;IHRxnf zvZ=XRoki3hE13`5IBY;^Ua41%+}=G(5yh$;^-oa(bfvj90EA;{a(D}+8M}}f|An=e4=T{^vQ2f@Vc?Ng|hGZS7UUDNOz@!&_s>Q zqLCe@c<}b)h1e}IF7mUWUzip6kQY1Xs89$@|JYg*1WHe!r4R+evlV9<1`4UbLrmw? z(**t`dUgJ;1sHk~3&NGQ?OYd;=IO`p4vdc%`hITNIaKSU%FUxx&*$8>b$uLq-`J@J zZ2e|FS!qC_KAEWoXo_fw{2L_j;;!6WELnOx;ae#!88wHucs*jOX;N>af*I>!r=cn5 z=UPmhdL7Yhn2MckuRFKr?Xax}_zm>+_}lfqItBqE0VQTA+)3FqD-b1?a!Y3KQR5?q z+$C8kqdGdfz6WOitzUC}eEIiG_wC1XqvSlVa8{9q++yPe#=_x6Ot741MAX~t^RU`&muwG7o~y?8-h zS}j-YGMdNPn0<9 z1cZ79*wNKPl`oJ5`G20W{3E`WePNJ9+ZjI11o;a5kgnj$fK2TPw5Wc(2QKAqm~4ZF z67Ru|s2zmt4t1*?@r_1(+&BmpZ<#%g9N!I1;v%c7-uWG%bT{pZ%Ukt6`5 z?vdf%qj`MP%aT%LcKJ=VIA}8oLtF*jRJeUXPny`q>X4aGHXHz|HI%TOB8)^ZSyDl4 z2s4B_epjlqp};Dle3QkXZwbfMJyOC!tf<4Je8Dt-xM=NTV{?cG?%yb$p6wQ&Zep&< zP$)lx@M_1Tt|*A-;RLIYUp%UvxZnX(M&5S(C#4;X1+-eexK2q!P#{7Sc-ZT6FgTwv zFrWp+4+(P5sPObgYqMbzTQk1d7Hniy1Jaxb{IqZS(7EVhFwcwUJhfFZM$woq9H@5=x8Ho@J)Q$YN-bDL1Wt+N zXo|Y!X*LM{Mk-%sqX1kCGRpv6gfYrIeAsoDYvIH#N5(Car++}}AXi1{!3VVSG8VIM zxK#QV++e@RwN~Zi0Nw7k@ZtX|lhZfE;U{Ku3)ndf#J?q;h3_z7j%U)&D%1M=(0|&@^Mk*rLOo-V zAiR$DZmfg@hC9t4n2i($S%_Fi_YzO|CcgfKl2bCiT06tKQ;(7-?rF;@CX8Oyv5_X@ zge?qeMkU%;dDx9&@y)&p&J!=|6^(2)OAq$|(IyqR8NGbe)p)Z<#t+nIf4Gq8#@zovb+V^z+*4 z-9#Iit8|0fx7xcW{fRL=GZ{(l$nKSd>4DnLyy@(NA^*jsj9-6y#oFlG>_Y9en4QHk z4DzjIPOpR*x0{qF-AS2VW29dKz?lGvdS)eIR8L-XmU;a%0sv?6?r7T*KXqT2@g*^% zo!rHZey~nzp@R7su3PKCO+}h{i~QiI#d+3!WAW*_2!%hgAe^7)lGcI&{em}v2QDUz zo{?fM6@(R*_oA-A+!@QzE4RyNp`~g|2OC{fG7>W_FHTAZzlfcGc_hxVHLh@ONa{XIJNzpqzh9Eu|qhGu07>+b&NP!tR&(| zJ!yGa?kc#u9JX3hJ_OWM-?|8VA4#2c4z$Zz83hs$0`43w!Tym4NebOBxJiS#f+1YW z&I;MZko+c!{5K3GR5~5-`~j90Qw&mz0(CKkZvk5P?O}%F)K%mXwVP z$i@#r4+z&8cU|K}>v?7HCa9bUX>`3-^28RvurbU~uhL9`WD+AskJ(GoWY2FXa0JtA zv2y(uZ4G&}-*bT-yYwyA*u-##g}R{~?b{*eyuReER$3J8IHpn)Z#GMb%HGSx%lU>$ z14#uch(yNZz=^tna&1|My#$||t%2D>v(t1t0A1@>jO;^zcz zha(7)17G1=>WVofy1M2_c7`ux`@$=>bH<#cWhnG~Ib9u|opgpXgdq00+x#-EF6b$T zXZV&+g*Vm?$uZLH2+m%6PsvDgGX=GcbEYIMRiW=d4|`tXbTs5gb=U|F{^-iTGTxh% zSpd>`_$dW%=rN}}DI35be(1(!;Rr zZ@Kg?70-$ed!^0i;n+6fc(cS~e_kbm7HdxposV3cwLVa}E6t)e`V+mZ>SRrs&P$N^ z9|*5poKeT1ttvQUdkMJ1b{dw`3xs7hAAnv*T4q@y#rmr7>oRp_2dj}y4Hp7NQ?fQDJSWrl0nv{!b$q_IpW`?4nL}nn&};@E&DP&trU{K@BdVHz?%C>nqT#Hwuv>J z&EUlNB}FxeA$@ekt%~2&HqGgzh>x;7kr`$1UIoZbn1HVRaF1(XtMG7$|S z+=);QxljhSqb1&rn*~u`J9(ls+aCxadtPV0LZX+7+C#z$zfO8R7%9jG-Q~y5~2?qncAfd+2pdv^0Jof-8-kO4@__Q8>P`io}Z@5qFN`f)y^0i zynC3px3qjQ?xthh^3)mz+%=(OsV;G^P^_l_j$7hdOwtbbbl3O zS>p#jVd+$f|8t&dnr!|P{J_w12Maaw*rlBF#=`0;xMVXLt!Kon1X#1LaVnw^GA#h7 z>C4`ZS+=%dIK@w+<|sAXB{(oQ5I61i|sKRDG?P{X>m0Wa&+jZ^qv&N#b zSP;!Q5HfV$HkUOs=8WH6xRK)^S8kHvfS%T%WT*jwrLj>wV}L| zZ{j9+_A0B80x9n>4}hf{Kx+}fLC%VJK&zp+jp=pjtQog-@M~}SE378E|7#xy0k-1n zB8F;ZgS;y&mfXSITMICe5iQMIRA5N&^*JZLkz0&W)PwT0L>z0#t@ChjYo(~zVO5^ zYs-oU8Pj9e4YwM4!o_!>f&k|VI?Kp>(YXdMsFCZCx1GyX6NbU`O1Q*&)O#%`G6i&B8a%YQ#4C zX1ArRg3*N*@YjtvQ)!p;dU^}9F1&3HvvD)2qi*BoWPnoIe~sW*oLE zMX!vc@4s>339TQPy3I3WlbPAr0=j(;8Beo(K>mY)_)Y=b=7Ye1U}FPbuYqHM2z$X7 zh`>2OU&M(J2-Eu|mbyQI2Z;eM*T8W=i2M*t#6Xj$FGnR^2pcBgJs$)%Xd)Z}g96B> z3xNf?sf1vo1Ga>JLEbqCS3=-=<(EVM1w=h5kbLe7hM_{9Qvz!)z8oSrAzcW7PNk`b4)~z*WexOzOj7{-E)9~2@;v=+(>18AB8g#-HH6=*<`S|~D5 z#vdpbHDG(+7o;VJ&M^mi{P}`=VbCvJKp1jp^0qE$X(r%c7&Hzr$O94yWOoGp!3W&x zgvJI1ki)3w0A-H8;C>IxZ8Fe?90nb9q5{hZ0m01;B-4T&0d142s8o-J}0CCj6BGQ7)zWApxtRn=FR0|dZ z^uy7!Nd9Ar<)8bSZn~LK^yv7GSzeT4J6YnI!279EdA+O zgUE(SC}jkWT1#GC9sg?~HQXIod@m1c@of2b`a?~t;}W~-znUYN^2gBzlv zoR$;;`WF={gS#R_-f}u4JbqvAdH4%v0DAs)a(74^w>_%C8jZ?Gw$bzhKPUeQ#{64j_hO30uPit zi)JjV)A7rPDt9-%Mhm9|pJZBXm`%V|WyG=$qamZ;(J#doG9wrb$bgpUy1`E=>JS8+ z2V<9fbHazCyYNv*NkJD8lVms)QnS}}O@6pU){HkO<()9l-!SkUgjL}*@FnL|EGVN1 z+16te`bHSN-W4%SXh)Jjl_yKMsTY-DYZef#8`{c1r%t3IuOx0IAFV*|W8ONwOHy0?`pEP{=65USRO+__ZeOy8L28!QNrit0%=Nobs!*GKiZb# zt=3WYDq^pym7CN2SZ^v#e+Or(W@r;tCKej9aDVW#biC+iHZ3!% zNbGu*k&@Wv&6byNZ9jj_#ls!|%lvoc*XII|5cO^~NM;YYqG#J(d=>Bcy62^Z2X7;u z#TVnr%)RHx=%EX?gk_PX8!AgHGC;4T8e?8YzfPc>j{YH6bc+Nse$?tx^)_;Y-0{;GIpf<^JRBnSSI&Hd@T#m8&G>G7TCO`k`=VuA5iz=>g;Qj z-2J(?yFj)(Y@+ae!^_a|R@Co?k~H0gBq!G;Px4o+jihnb?IH~SCsgt@LhVSxW(ot= zQrjhh9m;^^J%a_1%UvTt;K;-SzTv~e^})Wc@Y@K6{s@L_n01~5OHoHTM%re~VaaLO zh{I^}9z)7%j0{=NeCD}ruwmVnaz4fUEM^&Khbuum;#tLu4pCL>{(SLp?Rv4|1jwg# zzq?8D9=mxwADSq*$fAE}M0{UCqSLGHy2zI6<4*n+xi9LOO6v}|0ZBKlI{?y&bs=|UimkRsI{^_$J(9b#hS&{I~na7If#&UqW65do6(m|*N+F;Yh6GWP11Nf5|6OCV8^bWOc*_) zrjj|)1j(6$_z(iMs&iOwCV39_zc_EbbOab;oqpuBnps=|4lUzuxc8Gq4iB zOPS*=9oiN*!u-t2Z)4S*L*+7{Dh@j2BVe;xLWn)gGas_So}-UPN9JyHxsenchNy=@ zzcvVxws5&-#75hbB+px%nGOwRUia!(v@-Cw$Zrn9s~~KhY!1*Mr87M)gU+adJr^j> zvMdt^G;bG*4|}$`%$Xmq5C_>oFvN#y!6Hnb?V9lgW63(ZO7 zxR!JKv!9(+Td`p3xMbvHbfZM$ z4K!b#+SIUO6n6PnsyA8NC~{*>x95_TTrlPKLs=qsSeIiILJ~8|3ddCgJ5fD*ezd%a zy0Jyl8v7!WQ+L0GhDIdJf<0|Cz8$A!GSDt|YBHC-PjrAzCf*iomHmZ@b*2itCQWrt z^lIJWne~D$uLc^5t-vK%yklE1S-ngle0<3d@B?X+7eN(MMw-Mvu7BqrHJ>m9|CK9wq;`_#pVW2-B%EXmFK->Y>liL8XY0kC%>5^v z#(QH_8cK7J$?ljOrq7F)ylAfYL~$NB#n4Pp{5#<^ZKF^bnH=3-Z6FuH76VYxKZl}L zTp%SWZ9Lu`LzvfN;gFyoy7(r)4arinf-L zz3DwE_@5k3n(pk%EHZBY{1M5r=ZYn3IeaQuxvo!LjRp&QvXlv!`^zS>X z9G5f2FSo=M1avldaa;=6RI>}R*c3FeZ)sUmG%5!jTr{k|Uj=zA@NxmDPtQ0&^B+U! zOFINA6g#>t@@%e`;w{QPgu>q&iB%-4J|_iDR;@lv+DIViSR`EaOFvKnPhuK}iBlB& ztLMo}CFjB{dWEHtIV5vzJ3+8U;1&E3sa71Av|fhD>@C&_WKhr~h2PEW+ye7s(V4~% z2vcTE(eRVHpdwe7RkZ=jx?#wX-+?na=Ak}Hp%(0ks%OuPAuKCTnAl|vhfri(#AStI z?z?vbekiTP$ueA;r*gRFTvD!kE-0F3o>&=gyQWpk{pze%J@6a5x#@~h%A%_21V>C; z6v@G^#zU`rh-~4ISovDp>xge0tlaX)5Ko6m$Jcz!-(f=S8BYMuNdBu6SiQ!xVGogi zhk0~*nRKT+#&-xk(b3W8U|P#l<)QRcqPk~-^kdmc<#@+@%x6+ghkv2Spvb6|OV0+w z*WS)$54>riF1`b>9XP-K_Up$HxX_+NAV66K0_))r-)NW1ltg(OW2v70UiIBc-y`LDRF@h92L{bZIMvQCBkL-^tILvQQ%XK+$ z^ABgqIybeyP*)bdcwPDzY$-*OaS5kg)HG<2$8zs#j=5sC+Fn_99mrfVLH=>uy+0aS|(r>qurL5JLk4(w$dpv zUl>ARly<90!`F$<5{iiU1M|Bl72))_(#~V3bG*!pqg&h{H0ch;1&$!SD2?$if$mAk zs^W~7Z^J0l+y15^YSdv63c`Bf>PmXL4cj?zi(UufrPHG1b~OQy@XVu z#ATMh7@`Ny+^E1lGE0?F8&|2&W&pl;1)pK;_>CVpUe15kvfcgZpNU zHp9GTCed(JELWJNUF#opkX^9bzPAPsE58Jd}~)>A0U%_CnDZcPYbEB?`PICH|fNJm8RcHC7|vt&oy@cil&`IS+f}Ru?CV@+GlP9j3!+>!AB1AO~>4?*4C!Fr4%o`K2zq z&#i7&0(4<-DBEK3ZQ2Xc*g-_8>7tx*d&Vjm zrW?r;ppA07B2g|E)5hSZn&hfR%@IR44}JfwMC;ansyq1O9~9ri08+=)XV4J)&COio z02ay6UUn|{Z{J)SqIp>ariAHIrgwG|KKgygP2@a~JK)#su)pDz8;h}Eaz5#Panrsb zE)Q=T8!=9wEz5`{&K%5}Znx9a<+AXF67$IW+OaL;`5L^-p8T)G@Oo;hc3>WjXzI(^=EO6!(fS@ zBYKHcx&Wac!yi}Q|LhJl+g%z3|xm~G_EABO~(^uCZ>7O?*P&XNT+sw0@lEDLXtjypJ(;95*~Y* zskV}Luhj%E0#LIF$%4v>&He3*Re*ZI*E!4Qz5HUS;3W3N+}&-yj^)%iK+7cFZ^O>X z&}8}j1?2mu=h=Ow4z_2!lz2?|H0R|Yp`D}J>2z(gU8J+tsp0khywv2=IPp|Y=-6b| z9*`>LNAz}(=Y=n z3Hf~9+(%N_({Eb5b~BV^UzVL;8{eZ1o2DPlG6R@?i2&b{!ULI7@|R3jkz@t%#!?Fk z`mAAc9ofCsexH@dZ4Cx>yx!XFKFsPp0s{L^QBGz`x?F_LQ2p+sKB(VW?(YgpUQBwf zD_f0vQvLh_?jDYg4eY&A1%kS@(#_w5yEbYEZ5scm>|P8z_0YXO>k$Oz5e{1AkiCoe z4yM=m_RE891_|8Cs{IOo@pR_-)@zjL*Mq#iHlEWf?B59(8Q5NMV$H~^ue9t%1U%w8 zKt6hJoj$gt8oXW))imE0_^1#N23>Q!qfU9PXj~cG0mzQxn;fEBdtQm&w`xk34_jWF z9|=+mG=;=3N}lpU{$an;So`Ne?v>g>etpnNoACb@ewi>@0x%B5AIrE_sx1{b5Wx=~ zxH~AHpNyC%F+uWG1>kp)x&94#0RY@#d$yrnJX!JMuaWd`kRrA9?#o3=VVy2u=0DE= z&G>%xz!^iPN|G<#Cwds^ndIK}y6J+Q$tNuMfE#gYq`Hxa{)Ek$Q4qh|3O;vq%NS-H z9x*Ur7kFM8+AYX`dm=ViwUpl@PT3`)i1IJb?Tw^&;4Z%i3tK37^PJB!2C#6;R=Iwb zFK-?wD?5KaIe(t7_4V-ze3gZA0tv|D0n8=Tr#lT*aewFNGk?EOD&&f z%H02+?eT40k^sD~b^qF&Q$JMkS`^G{sRP(vQKEtqtGc~oJ}Ez3rhn^n{P9Ni^mK}1 zOTD;qoz^`#(qY9CJ0gqQ80X0Ee!e=Gs$%6nQqt?lKBc01lN$!00xYtMXiWFlGOW=d z`(i?WbS&@WZPfXS2=YE(p>)r4JMI|mvR~%ff^y#SBRMyS+VGk#Rn(pNXpxk{3^mMHj z5eaymZ!WMDad{1Vl95b_{#^R1kTYrABg_YQ<#-t4xj%g@G2eNo6*jtib7BDO2V(c0 zMGc09MFDT4{EUCC`<=`Ui)q!X-~{{RU@*omWzqaT)ans|1Goh!KD)I}xC!u$(1`SS zzumOLi92D3O~wq58%(Nl=iP8`(SyS;h}5MIt-Tn%8;d`*i*%c3Iqx^iF&A9Ggyu)t zu;Oo0loHknqhjCS*M3`RAP8%Fs4e2L4rHW!c{OqhF(G|^cjP>Gsfvg&jcs>&5kC^Y zY95+sr5nb_0{mq{=nn9CdC=7~wHO@f!;${Uc0J?#6X9>)9JU^6AZ15vch{|9aa=UP z?l!*X88-iBUZ3|3%Gn>K#+<*itOBax>K`W`bAMc-FwI87YF1{wVv)TRqJ!3$y1RvZ z9)dA~n-3qo!B1_BgL2<_!X{;o2R2PJni?JyGaF`&$M^r~KDaXx0w;mV8Vpx^@Y#FIG5vO@tBjR6j~ zO@ej)Sb~qhEu_baAS1Lnm_^~Pxwh#$qx(!d>;OR2SMzeFM5Lpn?s>X~3r{6^H)+VO zj1My$Az72IWx_cczYm-1(LtG|qRy~bbu?EU9+IIh)zW~3gi^uEf4WP!UjOC|v_kKm zGEC%7BlI@6JYfLKG<2wAx(|Fwc-b9Kb4XCS@!niTQ}J2&dOBHAM3-w+vWBD*FPe&g z=MKf`7~!?KJtMPgxrP*rUg^9wP_hD4)`4(EWwvV6WCOb8e+y?gW)TO72$d-y)!hB= zx%&jivY<=-AGr$H6!5<)M+Yc54i*j)co6iZt<)vLCPM=8!@h>TAP5AX_MbL#75SyD zd~s&rL^f;;r~wGO3IQCB{Sr)avtd&qf!T>)0t;)^e_BjF>^cNcB=vuJ3n;hvzxjI^ z|H~Qwn~x2eE`wEq1V(4WVu8LUB|rk1^I^w9k#+yM&K1F80~-=y88hl&qd`nR|6A!R zN&Ww9QJ~qD|NQW)U=2X9?XdEYz`j~oD^Ob(tOz8~qVazhQUq!D!Ad{^;aXt7o@o#^ z5E57i`np}=5m+8bWVZj4aoG8I{-;M1phw@%i9iPZecFVLqz?Dzi*OKW5arsBVIVnO z#yKUN?RQ2c@?;3PbL+?D%db>!*c{F>Xlz;bp=^HRp6ZK}ELmEepYpZ_E@jS(>3dIg zx@ENkPFi?W^mdy2nKdm7=^z9hJs0MHvhap>%SKH?VnzaZI(kP+dn(F=XnEarfcGxF zoCvRCxHR0hP%YyJ7d|>JZj54LU90Lyd_x zcmlzld>wh$3G__Lk0GM8bO!aL zV^&(fYOEc+a#bCZA~4^uJ0wuOxTiEJ&Yl%zrnsZDc+>*Ye$?+c7#fS`C`#^hcO|AI?2UWU`%7VE`>5{=%31nyrOf{E&R6jG#g{=to?B` z_URRyEv92XSS6u+e~e9p0;mw-X&|Z~nbHg7_96_OBk{MD(R;2ez#};hSB@e{q+bs| zduwXmfz8LREdb9?tCbH*GLmzW1RO4*s)xh`lfI|p`S}u%O~HEQVxTb#_3eQpUrwk& z_@Xa@4~Ge3V*TiCO#H)E+^gU8Z`;q}4nt!WRgKN6{F%Tk?$i}4KzviC_T6qGYQNjZ z$?fwDtjdfrao}FaPY6n&1iIh|JIVbc+6V}DAG2iNQaq8_lLxKKSzg8bs7Yc>Y>z|H^e54M5`l1-=2Y~x3P~*vePl7 z!#oc~l?-_+&}D(V6F3c9!hlDG$fm#P`VLaj8fqsaSg#74QKE?*$ExL} z1XqGbvOYxl*QnOp>$mgRL?-!xTKYmm1A!4o@$nUAS`s#&O_SX27sb~<&iQ(p~d zu7&sfTl6kkyouSojRSf41AO3;4o3+@V_=b7dLiXMqXyh==C23Xn67Vck!hE)6E)%G ziHg?CnBFO105b#EvjfA!^B|kZzflOIMXhDKyWcMKT3mnelU@T>+}ahTi#WeI{V*t5 zK4nGJII#5BVv&B8Y4!^W8A`qGF7Mj@{n*)IsM&`wdjZ9}m~*k}u;%@IyU|KO+TQl# z`cY>12yORl;W=&HLub~+DpJgI^ef3IsXB2sIhIFZ6JT`id~V@x^w^GDKe|R#d_}za ztlb@3CkZTgA-PfAcnAYEC3r2~HgqcgYK^Vy>J*}fG1d?useUZ80-W>CZCpq+RBy!$ zl;HA5oApJjjDRW4v8q2H&zmfY`m3}YgEKs%1<4_u_h#j`gu1HyOR}`S`v~-zR~)Z5 zn$-d*0t)Zf1J`W<$Xs}gIr~cS6+(8f?dM(vSnHcpa%j>^5i7MdW)-oGcy(=0t zw@Kz$O(I41a4RIxT}cw`RSnx7asJ0m4V&4(TCK)|HDAM((o@ZpZUybde#L_B35kgB zE4BL6@OBEvtEx;4ApOzBofVv@O&!|MYb%o;5BO;KUpaB!>7=uQWIw=`Qn8l!OTDR7_pzi+Ofv|e8pm-N zS7qD=J)_GVTiT^ZsbUm?UgWtM^j2#n0j37_rd`e0ZI(oT59rpo^$;1)`@waVQR&b7 z&&K+FDj{a7`%{F1fj7IsUI&v)MuFYGI1v?XZh6ONs1=dB@5gUSpI=#XvPI&Y^W&Wf zbe4enjB#i7<`v~~TflNJ+|89U<@aAgCW9C-uH1f3fb=0% zPb*^s1s&TPR)g~lY!F?YTwhn|#>$c>YBMjv@HmVCevjFWbtun9<@~!8m8b(dUi+5k z0bB`x&H{hEg56p8b56Vo5pWPw{+qQEx35%gk$gmA^!S#r?;!7V`Og^Cq|QG^W|%gq zygwDoo0#u>aobjEwOsswU|~gBfT`bMS(eJjmO1LzE*hr}HX*F$&F~Dn&}!L+W`)+b zoZ#Bo1!n%%^Bi`EEjR2J*2kb;@46@)1600ibVcPt_RYQfrCXcK_8*WuJ{0k zlLEm4rCt$(gu_W8u;X41AwJ_J&@V7>xmZ%u2KWe{!p^KptC{W71poYIXWv^Lh zg&Q5e=Ubc-)AIg{R!~AGQ9z<32mc{AXc0{j9YvK-$^Mm(+&M=Ni6N;Prw~L+wVN3N zm*S!*26bQ1`4fq#Pp1|~*06TLGsi!76nWtt*-rr-9s(W;EnPEl+ z`M>FA$35xlcp2ooe+d{VV->6`d(4BW#1tzi#D164h;;62oWLw3TMFCnX?u1c3l#guO zXTc~Vsgh{nN4u|I@QfVR9NuZ>m5~$UJacP(D22bW8>TZt*dBIHm#yba=lS>|Q{vK% zi3@V!mzbe`lF307&^J`bsQ@|)cmQO%{@0I9`OMiX?k<}nscPNxp+mb~>jEQHCS@+O z&CRFR4jiLHp1Uz>fq*PSV=?7(N=fp*h-xLtDOdI%<-cb`?>im9v)6#lX9XrpyT|tO zZ1(v6d^z(ED344bypJqAkDxK}6d@)eERn9hjw+zn?aJ9{NK@Q7b@Qq3OQdNF1p>~k zD_?I9{tOEp4*4q1{1jS)K?X+M=;W}H(bfhF_&@AzyIl-!7=V$A<7g6t*_G^MX7o#a zR+8^}g-OGYmil;wk5;j?wzK}3-G%yt=6$YzRi`U0#-?Mk!!gHLE*Sx77!DUvu64Ud z0Op{WHfjubr)?|YlG+_iM;slm-EkAYJDZ5)C&%^mbxy9;mDjFU79PpSG?$9vzksFG zeXW2sMFPQveSqWnzjVck}V0VlsYn zktNf)lA)m@bHc6Z|K;juOOW)!*r^Znoa&@U3-aO9;9AtXOawcD_tLGpv z^)f|2k7sT7An0!v1Oq2Q*%yv6{sRcE6E)(N3R!8?e*!I zE#?EoR$(#0*@2{suwhUftehOc%0*a`|3#CFu$?$;+z2evcCK#jq--4jU)UB8kR=S3 z0Z^u`;Izhy)cdM))J}{Y>q`I!fpqF%Bv5-=H8!9W&n;?PnK$(DE*lNQuD}L!CYea{{pC*P&q{=nMzDezo!n=ONcI{gBY#QCgDkAlgKN7El4ty#Q@Os z=ybvwssA=|z_Tx}I|_?Qa6ucDe}_kqikdLLVN^UJrR6M?i$~$cB$Ib;Tz?Ysm%rG$;SL<)0%q*^7 zUSk#-H?ZV$n)|pMU9Jy2>2h(?+-zmps5fCgeZB1k zWVCzNI_WUr;{1p+5y|Zw0_y7cTE@40fQ^R~p8xO5&jHk4g(U}Y8X>S~*!fzK@^Ek> zu;`E)u#s|*vV9rVot)gijBH=KfkJUn9JyxfwU+`QZpV#1{V|1L&I|96&V<7NNfvosa(hi!%x?&#&I(3#N*H8#YNgJCy^xV30aIVl$1LuSrkgzy%_lsmBc_HEx%jJ(*_pQDD^H%WjR`~I~ul_YKuUVwt+HhnB(!(@xq@$bTu-Y(g z@T?N+5m18nCG3i=$z((GwR~^sDfLl}Xv1|#Y5|*=%_u%6>w!@eGl=FE<;PN#_#u5t zQwNrATl2>=RXh0DmdUnD)+Q*+mf(+PiZP;fkxvUzY4ZSK3vr9^+;>)-IvfW9JLF2K zwfH3ke$<7cbBR;3#W17DHWCMdV~9pH2Pg*yJAjaGm?x$Kq8+4e9CvVAmOH$yq(H=y zQYR+kB(DNeU93Bwt#}vARBAmK!)$q>M+$eSmTkIij;uld_ZIpVlsT?KEC>Eo={fF3 zYzORBm^qI^BBf1T6?%KoA=zP1b>u(6+KJ_(cQ?wMJ{C+>f!;W))SNx)Bt3X_sCDU@ z7=Sh`CAWrxn(+&<`L{aiMe$**mX@G$l|}MPQ3e?UDf-Ye@%cBqY|HvU&Z#YVbv!rJ zRZUK%pNc&=4lw!{RS4!HtBRaVGibQdIk9bV?oe^XQ!?{&3Bjkc`m?(4Z{Vy6OA*ut zgiw)xmWsD?-^`q$>L8Ue_z|f8a8|T40{}>bGN+QML^MD37#|L0h;TG1o0x`)*=@h- zO1c&Pl|XU$e*zc<=lTnpEKjkAGPG@I)Iy-xLpfSMn#zS@4=Q#_JXDw~8&rRp#x0sy z%{WCIsO~`NhDvjVuXLY^U6Y*!8jpGQ$H75x037D3OzlWjYHA*;?pfxlCb&?{feet_ z^}Q-~e@Z;)H|t~cmHK?m3$qqf#LRPGQ9_Nm>Lv|3jgO`a_!=TD^7W(zqCq0f-!PG8 z2!jM{5gN@k+@ep#O#zz)JRX*tYkXZ7R`VEz==J$jN}$R@tGVV2x`m1glvs*@c_qy^P>6x{5a>C9h7vl=bzG7UC?>Ckf1>CD?JH1ffd(4rj-lJ!_GfgnEHwbA zORt|nZ3Vh=(A((aq0ijVXIc~)b1xBV?&T{gDzJY9P04_{V^3@N5g?zAf?;zvozy$1 zk1%HLwjD~D=b}tQk%U8l(g;VuaWHP~p-TM%b}-MD<(ZO%7bV)pCe1xjr&|s&UY-k- ze?gKp+y06!u*eCPPo{#rxiepD02Vo6Rg(%Z157jb&SQFP0qGnt)7&So>WOQ?T!3Ga zTCfOIoBL)&x7308;5wjD7V^{N13kM0G?@GTc0JJyqMLrbSLsrqtz$XRhOq)@n`i;r z2-X0#|2E*kDsxvSHH!9tbwHheJy5^je+Xziev(MNy&I@|?*v_DmFG0d7N8cs4XAPV z0@`&#e@42~ACK1(7})f1jo-S&IKs{Fmaew8iYMMvbB=!D}gAOYvIDNg-`F zyQf9-qNcBf!cA$n*@+XnfXz}J1A5J#JS|Np0B!l&SNqJKD(V70O)*!h%@wPpM;Mt( zP7j(r_oVJSYK7ZB(2TRic=jV-3o6ZC`&1XSov5{p0czEA0P>4K1K{lAf0uwpz>(N5 z16pL}$}>$~2GRb(Y1ni8^_+LTHi9*PsPedG7nx*w8b(n{;FuJWje+3%k%FRr%RPRlq5;dDX;rkx za_2u*G-$btClu|qe0{B=eU^XVOGW!F|HdUnLze$>T+y(V)!(gX#LC|OPSL0p_WbOu zu&*g%xGiF=Gh)0a;&6Y&#C;KyuSVSPQ^d`65x4#p@yPs$4_}CQfAmts6DK2{=GkYz zjW`wiLE-ro5ieYfIDJRN+3JXMZ$-Q^5%GHbgH?F*rHJzb5$`eR`wz(SIw#fud{xwO zdI)f4DC*zDD8O7r?Riu{ky0yi3My*f(kTc77j*#A;aDAx(^4^Z>P#uV@{23HvczAC z5=WsDN2?MiqY{m*DO3hHM3*S%6365cJ9dflT8WceiDN~H{}rVwD}4TP9Q5l(_aDBz VGj5kv;s+lJGc+;^B_%~qMhcpFf(ZZs diff --git a/whitepaper/Dissertation.tex b/whitepaper/Dissertation.tex index cb25678..c87503d 100644 --- a/whitepaper/Dissertation.tex +++ b/whitepaper/Dissertation.tex @@ -1099,7 +1099,7 @@ This could be overcome by reducing the number of rounds, which comes at the cost Each of these calculations is in an ideal situation without compression or signatures: in the implementation presented, the serialisation of a ciphertext is larger than this, since it serialises to a string of the hexadecimal representation and includes a digital signature for authenticity. In JavaScript, encoding a byte string as hexadecimal should yield approximately a four times increase in size, as one byte uses two hexadecimal characters, which are encoded as UTF-16. Results for the actual sizes of each proof are given in \hyperref[table3]{Table~\ref*{table3}}. Some potential solutions are discussed here. -\textbf{Compression.} One solution is to use string compression. String compression can reduce the size considerably, as despite the ciphertexts being random, the hex digits only account for a small amount of the UTF-8 character space. LZ-String, a popular JavaScript string compression library, can reduce the size of a single hex-encoded ciphertext to about 35\% of its original size. This will result in some slowdown due to compression time. However, this is somewhat negligible in the face of the time taken to produce and verify proofs in the first place. +\textbf{Compression.} One solution is to use string compression. String compression can reduce the size considerably, as despite the ciphertexts being random, the hex digits only account for a small amount of the UTF-8 character space. LZ-String, a popular JavaScript string compression library \cite{lzstring}, can reduce the size of a single hex-encoded ciphertext to about 35\% of its original size. This will result in some slowdown due to compression time. However, this is somewhat negligible in the face of the time taken to produce and verify proofs in the first place. \textbf{Message format.} Another solution is to use a more compact message format, for example msgpack \cite{msgpack} (which also has native support for binary literals).