From 9d01d3bd38482619f66ea0ac1594f532f8fce76e Mon Sep 17 00:00:00 2001 From: jude Date: Fri, 28 Apr 2023 14:33:54 +0100 Subject: [PATCH] Diagrams --- whitepaper/Dissertation.pdf | Bin 504898 -> 505133 bytes whitepaper/Dissertation.tex | 28 ++++++++++++++-------------- 2 files changed, 14 insertions(+), 14 deletions(-) diff --git a/whitepaper/Dissertation.pdf b/whitepaper/Dissertation.pdf index c864e3b754b5c8c5e41b4ca4cfa1d39686fb02ac..50102d2b7579a9de8d35d19e9aab60b287ac9c0d 100644 GIT binary patch delta 45266 zcmX`SV{m3o+qNCswr$(CZ5wCoIb+*)GO?XZY3@CdB zs_?%Cfn1>JNT3}5C+H+W?O^|jTh)JGDwIHdpuo6UGxjV&(ZRV{IZ{-&X@R;MPWap? z0ngeO2XH#9x$w@AZzw;N^h#{i^%aAtd=f2rRqbWtTkH~l1VqT!IVCwzdxB%1EHO>& z0ge*|+_V-)HpH;!kdXYK6Y{}cz(gR;8%_){kl?X(I!$7>eQvA#?>-N(f0d*tWz457 z2dQ~<&6@eRKHNo=?C?4JjsX+$lZ~GHF;Y>v`FKUJgE!C zB#S=R!O-cnuTWt>o+ za!Csk2$#DP`*iqldkjoQJ>7!Aua5M_H$9kXh3RfUVu1<^hqEd{;RXGW=Id$lp%-6= zKHo^;mxap7*U*V?M|v3TNYZH@Xm1Lc%_vMtIX!Nxcdh`H#L)tkioNjOJ_WOXqU5f( zi1Svj44M_KwB(-l?j@hcjOF!6mUp~Q4`^Lh4eq1$c$yp;>H!jw9EHXm#%FHpMl8~9 zP}Q5?)i`GeG?D4vo>MV{Zs4b2|JZN9C3#6?i|0o^Sz-l&KeCUbLgJBTeHWp97sQ4p zYq(;su+0HH`sS@s=!})FVOfxU-V*&7@%W)A0yD*nnG2AyuuVM-!#VsBaai0}UFcne z$k1hP#i(dJLk5)Xa%IV#TPjXDE#=RapsR^!{wgH;TtP*fL2W%=ig}%xR=U9N>cY07 z_VGP`V)1K8uFh5CHP2KqnlATf!c$MRzz5not zORGP)lt>!K+&YzIdO0&>x@9z0T{v9>S5J`>bKufWFr2371{5w2VM8i#T7K;Uj!R!v z=jf{4l$!Zg%R-oNZerP#&=&_jiI{G1%9}H*rFn_K)5OL)6DE*QLR&>`Vco&E@uQJEWShdPo(}J@7Z0dR zhgYLb^f5z+_ocn??SV=7{HKGz>V%)yR`Ve*mqGIZ+q+X%QvYaTf}!5MdN5uY_*J=1 zlj2#`*&zJ2Em&*Kc$;;n1Gi~QvEeZFdwqLy@28aKjE(a;1o?CJwKOC6m@)P#X%)~i zT^XnYxmIyB8O)Dy8VoAOixr{zFj)<7!{it(4^)RzkK(b>57bE7Yol!%#sA&bv(^+7 zLPn@sm!7creuI^b3?rc@C^L|oq>r3P$AXa(uPas-7mt`8-l{{Y8WY%2YqKJOF6|L4 z&yiQx^XQ7Y-=UJxfwoxT-c0XGTM4va-u3gMhbW`s@lLGbCGQ|AtVOwm8$c0ru#v?* zB%jj2V}~+GeoV96FdNUOmx1AQn;3W40+YhTH&%7a%vm3B#SBEMCk0`F3;spC#o(n1 z0pcK2SS$83)l#{#Od>hq7^AIKcID-yXpuTL7k@Mb#uu^KUK`ByKj+9rWN0={=2 zx2Gmtc3(V6joPHj{DeqaZ(4N8``kVj9LnXH*|qzzV(e3!G`$kpL!__}klAfc z@VVd+E<}IIMT^$tidWmfbVny%pFgcyl}gjfTFc@-TQ;|JU3oH`nGDiTf~!Yl0n__% zOk_C8F+sVzs4;vKo-<4%(e&M=9m*H3TASF~C9yhmy|S>(!7+_^lCDX(6tb-2PjuZt znguAxkZ>Gh*%6UjO*4E6gjk({&`}OEON3aQDJjQDRyVGFh-`;pUOu>m)j^Vd_0@|= za&r{|*(T~0)hZq8iV_8n;Wcc_9`54`2>e}5RQ%n0HHW}C`gM>3ZE`MJNR%;~knlAq z$^*=FP%m<(xWkJm7u?$p9Jh&li;XrQ;!Rl-VpXGkhzRdRhtW#~##0tSg*_)DP_gU$-2RSs@+T1{rBNOL)1 zPdF5dJq#0O4!Ok7prS0DTqy@_vi!taa8Vju)^yd4ltAK&DX0lsBvT5NSS%c1q=~a$ z3}W=uf_J#AWw1~qZ$_ggHY+mLSg#CgpaeNYQknw^PG(Txb*?x8tR#ZT2-vY}kWCod zbf&}LzMO`6O_$gTLYx6=redffcF-&&dj6q0-t%f)1- z(J+)9_&mi1zc%zzzX;mqgw6CIA$p!rMdC|^EGC|mDkXKS8wadnbr{f^Ys6T;7cetiayxbU_+jP3^~l}YCxrP!yk(vT7n@UN1VSRIvIYp%FK3yjlB7}JFP?kf<)M_fqf&hj#%ps$cq{6 z%=3d2Z*i|~&X%H2PDBrnXUW%yGp333D>OkFuPXYx>-xIm%v%ripRtrN>NA|Rv0X#5 z;=*_Z+dYO{&)->wpX_+T1R?XLHmU*VHj?a6x^XE`;N;ws-LCjS$2QJjGda zk+iAf)OKKqne<++%^xgz%;g#RJ>GobX^NdBUEV{-Is;&4JjGZTPztbzv}MrnqXbm9 z;n>FtL^!{WvL{|suWhEnXHcU(3vG;;GioIte&ezKfpB%u0GTewye7XmtQMd{dQYNrH(82+u{WRh9ll-MMgywB195gXj8F`uR zR?~jzf9M+8jz`i%W;J`5^+(E1OfQ~|r3TltULnz3TcsR5Mob(zuo?jD_vt7|!hUgT zL7evJ*i`mQ(RF9>zCMo7x_<8Q*dhqYqa#*vMkGVFFG~DiY{^OKt0zrWvS=3Ckg^aT zPUQ!R>1QbAj2x(YFF8T$g}jOXq6l|nrXBNzZQmxn`{m!GM9dtvUtLy@TyhP$@rT=Aww=tm@V+Slh3F18Y6< zR9r2t(BY7)3W62>#6z02kZCoM54Gm=%K0BSaJ=96cYyv?!OPZr^N z9?JA4tet!X#$T^-AFr2zmH4iB{H+`2GL zfu8|UPZ6g81C-_9)E!AD%A$#8&e;*)=f~;-5_gN>n`+N1B%StPeVolTUBO_pwcj&% z*i)OhiR8(dUIZhuio?(|`o*?y22?Ua z8im9PS%N;%VITs$WsuHSr6<8wOB*e0psDl^b{{`h$*T!*vR1~qS>N#|FQ`Bf6;G{O z&J!nsj-DUL_a8sc{Wec2$Ps{t-VxaDCm2t+55fWju3asw*PDEXZ;RJ_%L5i01BW`$ z2VC0ws|y_nrzS9D+ly?~#BxT4Iep~guB9!%s}2GqIMXYu39nt$`5RinlPP6&sBV@h zBnd!BRb-Bi6=F)r_ScL(DyYu#1t_2rOfp9`#5k23?aQwkJ7vb6y)l9N1^c<4L$y_% zGMBu?JZs{UZ4oDpM2lL8)xxpicL)+h)wt}tzb2$4v&|o3FF3YK2sun*G^_NaN=ti_ z$*_ux8763}$C|f1U-~8A&tbAlCQU`m{g1IrQ29o1}ylCt9E1= zM_}?H=W+IHkd!@sgR(A1UXG>C#2fCR)y4Ful&xE=^xn_|%q(n;#zE zpq@@k0vaw%1mec6_b1^$fWt@J*Uj$eM@8|A5RhPATA`M-cgZYW>r!;gE<1`f!4utE z0(o9zcIc9(S>(;bb| Z17l+)kn0wuA(qfM&&%-R4@Vat^6< zIv!bT*W}tP8{e<4tF=F~VA4biP|Sl5rU^SdEZnN|_W&NHI=2HdpsDc7RkAj8fl8!{ zU=4jH7ibOfAum>tl*@~sqw94=+81A*!bZ+6U$^lh0_d@*0y4s9tfqhxe zu@u4zq@}TiH`bnYDi?xHrJmu{DDd}PyM-jm{Sl*kyiDs*&FeStdd=qNaRY|wxLeLV zo1TCfyIf6~Xf}pnAfYm1B4j*ME;O;#b+11=n@ghs)pLlTKmb6hWiEKKAbyD@e{{l= z6r7nM#-4!!q?Sgv5rp5PGJg|{)|wi-Iwk3c#Z-}tRJr@=16!#6-EN&&c{y>5uO&lsd8iyjAEe`sYFI*rO?b%j2+zuNAP%GPqze|mGMMKWJP9N z;VtpXvZO==j)bCpNk4*eq<0xqC8VF-^IHkDpbxp;KEYF-@X45KikvPbUp-K}15jg! z^6v)8fnVgtEUjsiQtB-hs4{CPW$dX*N&*|I4jbEFmHQUSis+&+7cvvzFzi;Z&ZJY~ zkzS*Zmr=MD+@SEUNZWXHn^RO)8-DiZqG)Gf0Uo#!wn>df?YXItF^N*z&m{w8rAPa$ zI4VIS!vH3{%o>tBm|s?E=D%QY@o9C*3R_3-fr*MTr1UWuCkjyVeKD7+|;^C2Sg=pd`>s>$l$rBJ`M6^2y)cqpZW% zAYP9G7N#7b5(up+;jtu$3(9(=vJ4?Z@SB0C3vV)*;Cm{Gv*>W!VYYY;pF!bA5%--M ziF*}V%aVB2@2>Kwn7S1iuKnw>f0qkSfCLDTh$i*|OH3xv+`--j8Nu@WQeR)I+E=1H zT8vH93$rzT$dJKOxw?V1?Hau_bWq=6L-;4!SsT#`zx(F3Bnox%k84n>RFARkQgsgA zw|(shJOCT)w>Bg$+UzW*qAC-QSpBcVwKAM7~HT1EDs!AJ_j#Y&3;+Bmcpz`CFr=m~4btSRd2pD=e?8pqgzZU}P?+4ro!Af%|0 z5O2d)3q`0kt~eqUJOZU8qWkv%0wCzGj0nuW_3%Eq-9dQ`hAuti#c~ly~Gh|N#1?fwa-|z7JtZv1#(Am7{O%1 zlyoOUBEflJVnmD9(QwiD9S`Um)Y?bYre|(ngLEC2S%$Go8<&;Mqf*ps8VUkfK1UQV6Cq)p_r1^}S(VrURh=Z@=VCLPdvQ z`xl|l5CsMQ7oy*BJ8VPz(bs22t^6menM@6h^6}DlhI4`fTlrFfKV=)7aiM$ibSypD z|L@l$B#cV&YHwCNu~sNeB1jN2@yQ{8k0PS4@AdpM=UNy>l_)f_S|B6heN3DbSu$-z zvJB~YW-sC7GvV6l8u&7HOO+;>N+^jz>)9n&FqKNNuMCfv)PPS!PsxpX4nd3@Z2@Q9i& z+&*+GB|+^^S+cO0y5k(7?`wx8j(jhpPNmM=mY1L=IY&`BR>b9*X|qk-Q5~`)ldbKN zT=u>d2@E}kz*mZ)U}9@6cs^yU{BU)$t>?ISv?jncQu)0*@JB&CCLFuM6E=l&;x4%G&}bE0Cdz{k&V%>Q}~XG%#i| zl$V3U2BFEd%?h6VWJ_`PKU6+3JaB+i%&Dc3(l^Dnpoi1a&vRMv)Tsg)lV!VDJjId3;zDg~p+y0m5BJ=c7T(&9*IbZ=K?8$ZqSrG2?}e8A~(abS{+FbGZ?z+pOT z*q4mwr9_pa1a~d?xZg-g`8FJr9iNStfDOpcyff!8Mp;E|a~bO#&bA*7(+>@u<(mfL zRTG@s%$W`-jG2^(wY%iu>U@`-LA<*9Nz@s~sg9L%kJzGf_5;(ap3l5WRU;j@Pecio5Tjq!<;$sy@_ApvxM28JOV>lAncK08$6c70;)ppJhw(1miR z`=B{RAcIGY5*Soez#0h?Pf_^FtNr=4 z_Qdd-D|(FDuO=7C8D0uw2GiS5(ti+G;~Q~zY{f|jADgUFj1eKWL>3Hc;Fy!tJAKWV zX3vVG`0ykuiihWj`ldp9KP#4ULEz7 zn~6BTs@|v=_)Ga%7zmHkSzR4oofRABdX{Kf6LX~yme!Q%-<$ITC`6qu` zz)h3>si>rbj)taqM$LT18@5-Z=YZ_5c^|&trf+3OVCt*qF2(aL_kxPo>dA3d`KpBS z%~C6UCe`poN3NFex6c4mVV&{eoUul2rd zm%r(QZ|aSmof~(*`f8;nYey3*K(#2U8$|?MWko7<4^Yj6HjpI4_R{LeAGlD1ThQiZ zFhzeS9YZ)E*ZIML2`EPf9S*9>CJGU*dvziY8yKi(M3p)%@s0>0xP+u+J?n8I7SR*t zEdfX!+aDz#%7A%u2ZIH9SdOSjBsa05*FCX6TWAU`Etka?57FC^x{S61OK0|OHuVzj z2i|VV^8{F4=n%yQxdsFNAmxG64VPCNsfVg7)d`9=xe^P_&Su2aPT24N_N~HTqpasq zXOZ9$@|PC99L3ae{9rn?wKvz$uYhkY7}W;V{xuJ2V-KviZ@#d4!WI;9drik@7*j;G zsQn3D4I2cR$P!!>+D?H%k^U8{Eb{j~@MotNNZ4hE!jFAeEPy_W&{U|aAL$Ri_IM8z zblSDsb_<7iCA_ZW)jLcr%;&ICHJ0_3Ga$3!y3= z$`#Ig-P$@TC96{mVIqxgbRk-k>=mnr_R$h7{<9A70ADvl0G^8m0G@*Xb-u%jGM6u(g6_4Db7fc37!lSwpvj66V-LwoAj+uko(Jw3`0N zmkRv74e3!^7>{@E<1)PbYmh#$Rn|zh$GWFdFNg1FBWL2;=GQRF0A=`eQPZ(2G+)0& zfOdX3yd00K^Z1!{=Q=h=7i<;J z@RyHMx9t=9tGc*~tmOHzsIvbyj35wn0#(Hlt)NacId;q2x4b*IpU4XrGUEKYu5E)( zr^KocE48P(q(MdKOSx12a;#t5>Bd}WQAK;%8ybprZ|A06zHGCW5oE|Br4jNT zdtA?I*Y41&jELWA=zdPx%-KcZxaTFo2>;%^>l5DWdnIn9r)U4qz=H8|{$G*_FDLhZ z0Ur;Ysq_slw5@mg7I+V(n7wz_Zrp^t(_D%tS$gW2X$BJ1p z=X>w>CDYtl#ag*)&(?}2*01k}srP~(en8)khpD9};5%{OcP8~7o8VolkJc zHf7H(Rn$gXIMuWZf4ax!@sX8q|JrFWgVS$`yK{=Mcw?%Wyn}@v1L`tqUu+X}j-?86 ze14zz&xWl%2G0D`ttVgjgujfjY2m+nVTfu!s>o~00Y{*19cCpNA?_Ok8L~Bg5Wwbs z#T(nln(>2T+X;3=E5ykrT21%mA_RlOhXNBQ25a6$pKIBGr+En4Ca@i z7eDaSVXGPgl zM7B_isl;|GD|>$)Uqtzsj|g}!UYJyGg%Ok*3kim1dsQLkPKp?^%{pMQxDGQCs<4d@ z5cJlk^0IrzbH?tqB`iC$y%In6(3x_ooJ0LQ-?0g41pU*0&d`mLXkar)Y z$o2@$c3v$!_rk73HY9p5EOORwaIhi0n;v*D{B_;axd%^V6NC0EB<7AAlFWF2nLQ#_ zpip;uT{@In@c2k-5XlZF3(#j+faV4>G_c?EKo!edlY_gg01vzbzG!f~MWJ2-Hu?vM z^KFX3k)t-b*D+ky0qfwf>e*#XIDkQcs*-B99#0p~ssIw~ zpLMZ3{W<*n%=keZ>6qhElQ^$4OpBCG)yT?x1&#@#mMtgS0c6G<^}0{7I;}3W$S~+E zHdo!6AbI}FKqC<4=35t#CBE@8%6Z@C@Z}6h8_Ah0ID~eX7y)XX{*?HWFr(Q(-UE0p zZ|eHOf%%`<1@(n;c)6t=pwlWg8?b7@EFX{wgdX*O5ik9RVN7N2%vcZ5nfZhSKZl{> z^Nf+AqpvV&?!Yv{F^}p-;X`zNkU#4x>BG{d(DKR1f$#^ieA!JlzK=iKe~uM=U%HG@ zt3$dB)WF;7>M}R|atiP5y0>e|BaAhd@437C}C#S54fGAEB(28=9z)G>{fK7Q*qZcL~RmC+lLn7m*v z(hYIm0%3j67vxM70vLuYk>;Ok_{>DnUJc7kg7zG+2$&?O>g1_N-NLxW)8%F4QbQkh z=sj(%%XHCc&!%&btm*r5*(i(Hw%}2X>_Yc_1UKaeJ$kSdO)IYHNdVA1nLiO$w5f^^ z6(`0tDR3T}QDL@w;t*IHC?kio2R>DT&XVNyfG6Sj=ti9=^OCTW!(=O6w>N~N&Z?N= zafjj0pU93c@2$YUzF$$Pa*82H35Ofp!gclFU`0OId%T4l2 zh!Z6tF@<`fk32&6!s%xkOert`T58#bcHUeE?$%JLirr1oU&~PTFg>a-sl=&}l7B`e zfs-o)gtmly4XgbgD$b2Uu7*&He;YKyvO(z>s0zx&FLjwExEbuogmnfk36<8Yi=7ce zCdXz&x<`Z=II6B)#ngr!XVM1lCBrlciv&F$i#4G@2V%Vuc+-93HS2lOdqGbk_|-P` zj2YR%&nt(F1ca=gxy7ELGVZvdreYy4feoAW`Xqn1kS>$y^_&%Q+}IrYlJHFerLnQP z2|aj|?AWW&_Fms;T%auq@$0-hj;32#;NMPGm#Vk)>sB;#IdZAH$~bhUumZX|Ej8fh z#82NZt_lF6D)M=uzz3UTiQe<=-9j^hz0!UM>hcY&ef{ zCHHVnz_0JBdAM!^qpt2g%+*EEEdswqTU;!E#G)bWfZG{ktFKqn?<;3+KhED7qB79v zNhlcYJ3!DKI8e^?e+PN(OVOYS2;iJ7yeUaO=AWfuQwYHon+|!z+_407B9M-duEkz+NSK7CMrbT#Ose?f zh~0?KoXoj2jOucT^q2O);Iyv#K4@@|*-&xh0tXJk4oyT_I|ig8oEWUt$wZV#QS#?u zvXoyi$U;n93Jq9_tW=nO09G54p#S>s#SZu&n2zp(X^kOpkm19|$yp#sCP+cL(vcV= za-U-nc#iNQtPE&gwI2`Qqcn>=6~ah_Kv{K0LUr+g$4LaO4?xG9t_31zUistsb6D+( z0N2MvuE_9ANHIvL=UUeS5eP$fn@5U~nwx57^Whf6?Rv#l7j)FD!P)b?;Grv_khu)g z4nPQ1kOUG{g3uZ9f~fJx!voQMe(ds7+@QV4N^l8C$`j=4#=?)WPl-Ius;t`Ra7D)E z1zyWU6{E@~o};c~us|Q$fC*(GKJ0q00R<(9KgoiXB(M|DQP3ekhDogwnsLlzQPBI& zKt6)Wk3>i12KLdb!Rt7{0ue?avUTeA0Udi5BoQ#GRO)NsWr`TtjN;|}#kJz`C{n|# zuCh46SI25=0P!L+34no!3o2=~8rkY#=W=2{8Bc}A-;+YzQ5{cFT167+&9F)VAg6QX zD~kCrum0Z-eHtRYU7AG^fR@MY#k$$+7PEG>>FdXx>n~jfWue}U@%tU-e;XA;pMf#3 zuj_}oNx{?QUCvSaRQWVUJNtViyxm>Pix7T6}493e96Qk3H{ZnuIzR^ z=C-LBB$9&yC4mK{03rSSE^Bs+AW7zwjN%(Ol8u=qUtv_5@NOWLRylaK&Z{9(WN*27 zSt_ek7f_~b{*kId!dg$7_#m$)*U&-h;Ot_kk{wCNk17+JB&&1#-%#p-z;EjcD}~q$ z7%%hS_TG<|ug{J5#5{QO;21unjSV)dCVv7?S@UpnJ|ui6;@six#)u>B^XK#Pl|PEHLzq*9ojy1*VG{Vf?ZGQ)430HDj;(c53qR5(-{cb%^OTzJKk zl~Ya`k}h9K?AD%veFdNK#f_hhBse!G6wY+!Hz?V#=20;GBeAW(Lt|@E0sm5~jiE8n zLyg9w0K(2NEOrBo!9!933W5DEq&-q|e03S+O2^1Smg;hXal0g*?J^&jjoA@tTSd-y zJ$0gL&Ms4`u7t(>&Lwd&KD@)Van6x%vUdXZrs-U?9?j03(}13?9$&GYm?bOEYy~{R zTrjrf1<|NI?@>FT@WANE3Np7JoWWl>1n?lz%_0}Kp4};(#0sLp5OO?2o>*ychPID? z272jFmaDK%*g-y=_II^LN7eZSgvQXOB@g$XH)xoXAU09VcIK2jlq`2ELt)F=XWaNL z$_|*xigrO)>`=^QH}i>D&=bY!{A|i-QlyJw?^C=5LNT{FexB9 zkrIx&!LCp4d4NyN@;4O-3U~v|kz<$(mk(ENNCgUZ?-!t$!M=+@`$ubzOhonST~I@wO>E6n!xlQpr?6x=QrNs(gSz zWx4`Y2KGxnrjDn7AFVvT*#)@0eKB7%%`!7_BR_{G#>&=kC&J%ukFx@johi(ZxGgmv z8VT;g`%IkzdcdywSs3bPfgN2!K<=LPyGH-Ux1Evov&Y}Yy_A*QZEcRfde(Zj{9*xm zL_w%wSOqvFMTJ%^{$g!ErpH*Fvj-Gl;3j~XNu6dm>}fuS{AnC_k5QIDF`V$6<|e$R zqDCalLOP>r(32rWTb1URX;24jMCZ1cL5p_}^D7NFPVrX7r0L1ekz+r&M5z z@o_t*KZG=$u&(GWgkA^?zO~`RpDdh~nQbEjzH$k15jJ-F^V>(BW^)hzy%W~fPQu=O z@A4!65b11Jz$XoN31g5-MKs3b-)LS3O5+Nn=G6e=7?vn>mEob20+NN^tE^lr@izW4zn>XDn{4ioeWB*?`5^Rw8+IuaXy z>Lv6O*!|I`XEc1R(?wbEZy8y~_aNcIyth>l25u?T02paUPfeM4tZVuk4vy5~E|8^L zrg}l%FBnFm&5~~Jr3Qq&iy^@3G-$&rU%Cn{cSbOi6_WUJods=aOjXP#n%&`2+K{u5 z@u6K_Ro=XpMVZGbw5jNyaMse?CXO5&oaPeE2FW;NOeOqwVQ$sM2qeT6GLE^DCvABY z8Z_YIKjON`n(!^I7n1dfgeffCxiuY-f-;QYdQ(F^0m2wne=$$;8VZ5EtS}hmaG}cJ za2tT*E|AnPwH>YNZ5z*qy@!%Lu2$)=L8K=aDbqf_1ZhY3A5uO~2r;yZMw3&bW8tUl zD?-u6lQPUWWy4SGm`W~s3g~c-nDnw?7mc;WnPB$9+9sPRwQUFan}6!Wp}UE+ou8kR zZFx++j94!w)cqLZW}kswq$<)Wa+<7?$`C1dRPS2jrO2*mZh-NAMxX_I*Xrs5v}nx% z3TA_6k*qKj9bs4}WH=#0@n`KAJE>e6|ABL%Ya#{>po%hVRV{5D|8T6})7+Wgm-ySb%Op`fpxqf3pMbgkY(24NrET|~vZuoN zJPny{C)GFHinaGww1QqheOnB~V|s!7RgH?vo9bLfmij1B*U3G}nho5trY}xyt~&iK z2YRug)x-yUP0=_eg?ot}ugz;5?%Y@;^kFO1TilE9kOpum6t;|~agpYX_R{RgL}!s= zp$uiCY1Mav|4`I4*{n7rq^-3tLnnro1iw_vG-jmfZ^Budxgy#{3YlWTqr1f@mik!8 zp@?X1Z2pRq!coa(_)OYqcw$b|;+x03CON9C!$LH#2g}VvFF6hau4_LOrjR*{48?R=MZFY2!by9V6$b_Q=&8WZ^k_ zee<(R2z71tmn=OxHG@)q+~u}5Lc?3EfPJa!t}tiV9=M#+26?I&(?7{#?p7t2nf)qHaa@f(n}E_w@fypvJsw-hMBzn5jNmu5w2B_>Jv4EfE6yogq2$qrcI$|N8Sc_cPkj$Jd1j+3(Xm}J}6RLK` z2{p42u=uJ~hTABZay|4n-(73TM@rL4qG1y8-z1^w=uTNXW`Tr@KGu!f1T8t@1_A08#k#rG9HsM zl>_+?X7a}8Vj4-yrpWqevW!-}T5-}GYC0Gpx3QZCz5KFSzSX+D-H-S~1ZUnEm?nWr zu4$nf^*@WX$dVrq2Lr4sTVJpY(2%~&QJ-r%jVj%Fe1Fkf+Nlz<>`yeMqGr!d^5br! zEk;ai<*z`r+Td1W=4JG#KLiP*T+J%)8904Nm(fsaCr)i8mgB4BM;YMgO~}U?z{m*> zVGGyrR8felDeC@OMh{3FjMv0cG^heHcY+}4Izd*YDX7`m&>JmOl|{+#{^G1AZ!CnW zy(zvCieoflvjNIiKYF0-aP?#xsx~b{@n;K8FH8%4^kJ(iy-sS< z6Wu~>)qMTvijX|)Layyius4=;!o{Cf6*3EhHbFh-h2r{<^6QrJ8e89%(D5O&F~c5c zW5RztS67yzS}uG8yfcmowTN1tKeQfxgQ|n?v;Fs<4aUKiL7D}D-u{#cxM{Xq?(}U z?O|bHY_#BwgSvQ1B6QFs}bGZYjWB@WHtLHxMro z@DTzquK!U~4Z%ZUz_|XSU}ju4gCn%RSb}dWf^q+c!fgLn1&~Tvctvjqyn!#uf^q+c z`Cn5@35X9qFz)|YnC;#`h@ZG%+&u07=8=J(@x=p;p7E~}MEhI~L^( z8Xl63g_Var1MqKt5Ns^}5H2o|G(ZP$^HeLtMaw^FTm>zT8)?1fIFdBKaz93>@2bF+umQvK+zG=p8t`oyjGQ+x~8hgU-h1GKK zbiTUh1@O}H;Dnmte zMJ2^zKjkU4DVko%NO~kx9M+7vyWG6=Mz=f_+fT2)#jPiU6#_gS^^MS8d!AhLaRPX= ze}(sSXYeOK&qzQuQUS)$Q&dAu`KH$DM}{%2ggEuD;a;5|O}l=ZROxU@HJNbldCi`l z+k@U|q%dUh{^e9dD(jKik5zrMybRcl+;FLePiWguJ{@(Jn&a05$qe2*cIzMdkA@Sd%9rW@?|!`lRv?wxSew9GWdq;;f=_HrdnpLZf< z%dkq-Db8c;4B*)rA}pR%+uMW$3$~Q;CRHNaLiZ9f-SXulwe`}YS@%dV4SZpgHJ~@r z5*6CDq~4QiK~uZU5`u`89NU-7OA80a+%QVmU1oGljYAKxkmJC%m@eL&V|Ewe+ zF{jykw6`i*9=gT^=joVI;+zh&?LXPb1y8}P9(;11YwEks{Xp{>b3uGMv2$f?m__He zPJmvIMF%4L%tx2ODJA$A#Uz55V}S2EK1x=VqKcDcO0B(*MuSzuJ9D&vr&5q-r$hN; z?t2-&Tvah5>SPMVI2o1^+7_m5YcFLRh&zqikoi(QFSv7DHFP{%b-RF`#Ess_5af9C zG0q}vKOqNoDt3!ZqI~?`lW8kx(CNExMv3v?TmzQ4w7&AYPfgQoUpQ#dFmCpa+{B!z z(8)w_cV!>v2Ti%~TKcN9u2N{9O-vg`h(*;s!&Xq;`(Wf}DY_D4Z`Mz4!eOi7eZgp9|KY$i$r}U9)2No6fbRs+44?e}s7+rLmMkw>C zv32syqkwrrSv$2^MWal%GeJ~I+y4hOK+3;4o@=7)d44AQ(pcCq zADLq0%6`R@JE9P&C}cE;9*pEm^c#`0AflBAlBEUdx;t5`jDUFe?e*d3$ipcQ8d|6I zkh64u#bpYe(%dD1B(A7iJ(Dqw^4MPEcU@fb&H$-bF4CV6SA*ZhVX`$a?~dDDuJ0%| zYxaoGF_kaJbdI#OT!#zb5r)2unEVy;N3w<-sU{WhGDBU&%TL{G61h^mEB&Ax$*evr zJkPD|#ve_vHbQV5 zE{U}nLwN0j12M=Ua{>6&0rufK=h^jtNucnnIoUS(K$EL-RFZa4GI?02p1#q0iCaqQ zvLPMiU>*U|r9&Yga5LEP{q{Ip40butj{mc3|SiubpDm85kI(ESeH$9?PCMYafHE8{vhRrM%wa8N+6b@=p>Gp0w~7G!cV< zu3rTLUrqJt+1FH&$L*{nKZNRkB+s#ws0TSCWvrPM`pbA}PXs-ZaJ^8uFBX(>Mc9Ab zOJLYsr?rDZVt%;8D;@_}+JZwvfyG4={vxVM_A4a{a%iA9wr~6p#~l}>3eq;YpueM$ z0qTr4>Yn`H%Yw_o_9R%78zP_ejxig-cMGS=w$BH$U~NJ*bZK=Pkgw_vx9}&THi4C)EKx$E^|IyL8lnHEm8!sYXK7GCC=2}WG?s8G|a)_6{V)QR=S#Say5jyZ@w9|Vl2(0Pv2{I zzcmU`Vcm2!Oz>8JVQo+Nac#5yUZrxfQO7NSSXsYg=)(SjJf1wY(2bW)+?S6BX7@=K zrmcpcF#It6NTO>wum{Gb-Z&m604;b(m`q}S=clt8Vq z4NU6x2;2&9mOwm$OM2hqy=k2?PGI8HkNPkmm=B_Dh)LmpEK#X+J-(ov$4ifx5-QJW60y_tbnvg(4b{CX}AS>j6^ZHE)bYAv?Eq@2<^ z5$6cF0+xct8`E^i-pVsSO5Nxd`b>lsN+)18H|T-Y2X~hLr+}fVq3|hy`f}zhq4nh)7)&xP{ADiIF1)#- ztgJO2RT+kWZ<&C4QFXe6Uba1-|CE zL-LGL!evVoa#Q4R&@~4vU4u%61sf5Q!W094osJ+cYjsJ+wE`on8GVHgah*4r%FHMT z&qfiltgG!ur2b7Ca(O4xiyZa^tNpYv(u;PXR`cbtVo|{zAGuF8ua9>iu!Rge1aJRO zK^PnQ0;Y1D3$(OPSJ>E-tL(DQhC1RMOvazbMrfg|6Cc#Cdu_%K7pcwJPi*9TUlxad zo?ODeT*)}0l$Tu>U;tKRy~P#^FAiv2eW%$9SD0P?G@n;4S-OOYH7Ziq@7<{Mue%Gk zn(goP`Y3bo5w|^$=+_W2KTq*1tMuV@%n@JrozBMw`DFO~06KF!UI7u#JDm-SvpQwB z)cd9ekk9M7Co89k*0qIprBHq!sidiYVQrWL9dGC~+qJ+%ENnEEuKYsHLHsO{8%eaQ zKKvz)+gHm|Td;3%hrj#bVDi4k0fhDX&M5LJqiWviWW`~4_;wkqu6|Rnh_b%%q0Pf(H^a>Fc^tuFFOpe$X!`!vPZPWsQMU5rH*pc5rsX3?3*(jc;b_`7{* z5nS1#edCYfkJqVVaNs4Zd7#-hxhucY!kLI2wFriNqokZ_r2+@4^U8^Ul_}qFt3K7W zCxgEumf;oF;~+t~+hCVZb}@>mY^uv_6y^;|$Q=xS77!0u3oZHe0vT=t9kGvcUBwVW zqEcaL1t3r{W>V7WupENoF)dy-wsc&d zMBPmh>U^cScUCOqJK)d+su5|FAK81EjYlS{2d3h)l(*MyBEgQ5lhP_d^?&2Y*~MTB zdCOgs)343n56ln70LX*mH?ezH2~sw_4;#vD+{IY^o5e< z<8R(A*S)U}*(t%I(`^T}oEy_eo-?mRB$c}L0Htv!ab4b%!d?Tc8m^|#Qf$Dc90cc zxJ;0gfQsbeAyVQakU2eneg*;K^l{CZ2T`$o=w=I_tP*Pc&Pa$E6HvJ!{DnYh4bGuZ z5*p=Xf-SWiURiYgOl8oaMI*%C8dTa!l2iF&@?8V~hGeaWg;7UXTD`@TX zbO44$5HZOteRF|T43<3s1?ehEk;Awr*S~6}p7iNx-aO^j??jA$K5K2s2~Rv-0E)wq zR6^p(7Lw4PYrY`#Hp%sJyA%RLFbj);VIdHj+vnuQLvm`{{&4;-a z{yxPMni#F|EF58fk{mP(u^+T-i`z{~V-F2&*~@j&dSn*;Zq7?B3nG6G?;vQ%m;T9L zQ4|IVYa~aAb|$9q?c22zr4iXrl60D9nqzaR(0UH-g4JqBhh<2mp~+95I^%a3XuY|r z*O{Y!G#H7VFBxz|8)4?f!4@A2?MT#>`iElkwL1t(C zN>>dka^llZx*)VxiWYDCM|WvvaK#eTZAS-oFWp7@tfv?HtFmXtE$i|$W8*WV|Gp%z zbD|APa}7d8;#pOrL9$a9IE-m+{@$+%{Z6F0p6I0Y6w^z^|I7q<3);dh(yZWFVIC7i=mr%a$~T_#GY zTnHKd>{fU~&;gbvZ4HM-i3j>Bu`MZN5Fh(YpLk6H%X8znp~{ze?GUwQ2-ucOUke>= zW{XkBkH|}#i-%InT54OoUO>2Qw}vlf+O#=*`kRkbN3D!`;ex7W-gLC{wawmaKId8S z*%QBiN>^SesUMEb2(@xKB;a zdhuSp*9s`QG}hBfW+-Xuw9LX zRK}9T^u*@QG#QbcevMB1A|PcwaJ134{P#C2BjhQ_Q4;eVKvw#cLE@l680Y7Y8Y-?P z{M_&G!e1_8LMV6J79jz)x?9|T$!lX;)2M;qR4~#lJ!>?>C{@x|dSf1QxJX@ZaN10P zqqRyBwJCC1jFN7!A#d(2Wp$bRo0_P&`0s=g3e)G3ghrInk9 zaN+(l!stRB@)*S%ZFMP-C_~zS(kP7;%kQY0dcvO867S3wOg%w}&RI_oh4i@(^3=DaiDt0^`~W*Bw`4QBw{*YK2rxR z(~Saz&u(|qN}I~8ppic}3~wv(4~xtk{x%X>W^%`$xMW16OP-V) z00;8iwuYL}aDQe!!QM})je>0^SQ@7%vTO)PTY=E+XiT@qN@9K z{{cgdrNV7;NoCo8t3?V5(*0-fD=y~2PGLM% zA+$D%UfIcem4!5liBCkWSt%ogCQ&$g;MZ0zk)i=SZ@h2+6WFc!m6Bm%Dl@afzT|H!pE77*JQsfoUaI>l+ylon z+3CE4KQcX75kV6#;rm1vfvCTg0pb}63y9S*=bI?jHgdhTYMtjn>G)-DI;zJWCMwUW z&g!vmhVu4*1Ft6sv`=`)9y&kA8S;%2wWz`pTr3CKmAGQ#vui5jK40zg;vX(0$z6p-U^` z68({i`CF@X!mNBoeo@KRf2}m-7Fvk=Tc`+2X*tq=xom}MPJ^{bQw@FTHTI1sFG7L; zmA)-S!zE*tQ{g5!1QP%u?4!z#DJ^Jr5qRwKhX$_&HLV&YUD{@sw|?WXumY^zY-?piy(mi%6B}DNdwM%3@11#W3jK$~j0XyIAHYC(?5s)8 zp7Z|21E~;Zv;T&HwH^qjZ`*-a-2uNTxYMC-+A^}KqC4>WG=zTbvKaZJ!V6L&NKG~+ z8+~MFw9!fd3~y{ZYm+C0z?4}Y+21|yCGFvVqY&5dNE)#`=zW$E=N_zR+OS$tFu)P( zt;ccEpNqlRGQ^CrpyZ4cYqvntPi(hEyB*-}m&Wr;q?584di!^V0AP2jmx0-pH}Qse zyl+ry+~j5z@Pa+ypB+*EnVn&=vYYVLLxVs2Nucg=cZEEQP7*3$nv6~_;?-EuE~ zD|Vxf#-J+G1{0ZD6g%#BKbFxVu-NqJ=Qe#t&aATCvdMJ!BAM`PUe=^~Ex-KS4uY2K zjpn7Z0@&h;62k9dMKRU#qP-_F$G=nI;+B2!&|zw&>h@mGVu^*b=28op)9GDhDiR@~ zeMMjN)ST15(;vHj*$f82k1h7qd)LVdS%&@|eN(}2a(&gS$OdA}Cf;si^qrA^(u!&| z7La(=KNuwQ_ATPiWxJN^Y=U>A4U?PBm&Le5L(7Fp_*-Vitn_FIU)rh_ctQN)G)`XX%tw%pEmcgXi`d$pE*(K?Qt!G1)#gLia@!o|oD+HrZ~5Bz zCgHj-3XlKpqslT+LL2i4D__(}NZ1{_&bx+`gfZn8Uv0Hm9?h|#rh40duYg%Ml5qUd zz%y4l?^@k)kXU=`bMF%JI)x5KsElP{UGe)9o8vRb9q8TrHs<`q672_-C7sphi+dWE zi4Ogdafip!S9k91XE@e-)qKx8QoZo1yZg0@8jJrXzEIZ3@LrwPm6*HCcZ|cD9p^P!@yI zA0dUsV6IAgmsY#|AX@*-8HDz}7{^aiTgvHU*}*ss(JBHCsApXgN->zld9}^$;@3k0 zRq}yn91TPp)~6ijMcbTRpty^iSoaq<-Saz7x$-I}fX#^?F0cuI_0!?HNP~$^7>0H6 zY7w1PWKB-_YIoLoJKe)G-03taLbYRSnU*h7YoM6Q;Yyjjt%8YDLXj>M4+kxlFoo=j zn&`?QLE1{lubNw#as%}i1NhR^6G?i`1j(e2(Lg`fTsJsV%}j}@zo(Rv77PUraiLw} zM3*ZXqwFV70oc@kzu?800!ume{Pea^wm2g}aDUWNYS$v5YmS(k*&2EO0Iz_X)ElaW zd$ggS!vUZ7WGm`L10#2fV6o1{g=icori3PIuJ%-)fOlvhFSk0FOoS5^?oiK?ScXkA zN>b=-!-TRqm@>92Xb+mCG6}%1uf!QqyiD|P42|IbrqTU>zaMWlx8Sc}!f!Xfat2Si zo3>x1GBSKCRJeyMepj-U5;(z~^Stb1c0{Nn{LWhVCQ}uAJ}f05W5SNBLuxm^f09h6 zTY1f82@>+ZqEtSgshGrWVfT)hnaA$wmTzmg5v%;>F8@i`%p(oJYJgxuW!H~@F4IeK ztpQ>E6%WaOSkpM_^$Q>7ocaV&!`?tWLMWeoSI^2+pI-in=`p7r-T#@lJM=0a( zeNcUufDj0czsV*yVkuoTqYs3n&ZI`~!`rpyy>fe~eU~2^F(Oqb8kr#1)Y;Lk%jY4Q z;7}^QD=S6y!nm&QC>@cdxL^duew+IM+*|s_X;1cl!vKOcU2FUh#7ISkcuQ6mOwwDa zyj%S6m#%vu<7$?%E^NG{y5Vz7wAvPNY#qasBK*_Nx3e3El_}P&U!2z765q~SFB|jy z65qamMK-^!2Lumcn{ItuDghl=*Kliqr;57>LhS3`T({va^f`i41M-5m%k3&JT-Hnj z_$K_s^yRdHCBgbryJv%%fDNCKu<^1z?lk9z%teu^TZ+T@u8VrdQVQW+Z;Le^Ww&(@ zn2e0qI76pW>2Sw`U1AUezZ}|Nr9w-7vmup#XUPFH9EpY4{O}B(g2p(vW7sCghw)vm zo+XVI&jIa6G#X0Bee-0}uFzaNQu=O&2ctzE7YYy2x^3~fZ+Q-^zof$Re#-(Dm&wb` z+2mb_hj<9X>Yzv#DD9Hxg%P;!kR`QAjPc=1RZtLRog71szN{Ub*HBW}9(!!zZeb07 z4P1@zESQ;D=Eiz9No6Y!dqd{sJSK`}e%}OAXxCQ?szhZspen!LGW1py?CStJQ{%G1 zXay@2Ew0$VSuz7(2&whwcQYo!=JGwwNfLaYSZ6FQ?&i9H7`LQzy!u@qm!?b;sly zFwu=!Sy^-+=VtFwG4}%Bm|kX(=K6hrGt`@n0=A0>x3Fu~m5l28TdUJmT%}edkAWHW zDyCOEY)}^sdoveIRf)J%#`fjdS_+yMHVS3GY|r12s)#>z4;I*}WX4nRQ`Gh1f zVB0Sm{+5(N{a9NX#2QSc(A?dK(;}h;O9`&FC_$WBNTl;gB2J|$XamszL;HqaI~{*? zu5|~k;T3ktS{5JuTsN{b4~>^S?NPm^`>Ye!mBUP%QWm7sD2Y=5~LXk zs39nxG{M)yH3?~h&oa)zL80~UvN;L9#N&}n3V$4$+(Iyd?t9n%MtXU2`Q53GX;E6X zDOA(U3p;`Q+HteO9+VY-B1V{zfaqzI#doRSN>?V)U{P8^mN5K(_i5I)uw>ds;wBC@ zy_R4Hn~hM`9qVrinFtqV7$|O~k+k>UOuDuA?=_J{nAo=W^W%E*hIS-BDYXo0LJ<-d zWk^>i6F!EdZ7+OTfaOud)|2n1m+nbi~s9PMLnIqd$HGH?vW(9z%XP>A~I&}y9o9~JHtL~cFC+~J_ma%3W&wIB zPz-1tk9JY0OAr=Zwep8ss#j_MPh+ccIJb7?b;yF2s*YqKlnO1kJ_WjM2lPFaqNw5*L-IWS?I>Q;R}z z_u3yncOfa#4o3+)J|MjD`ra|(Gh60RM?^M)ZMp7-U6DOLQ9f$Vp7&U<@Q;Do;m{Ay7PsZVgN>Ppd*N?ac7$HliJ z-<^5LoBNi76GRVXEbv}g_xqr#GFfhXimw#sszF98h*32#vqtcN$NsE&V@u^xZB{OS zlbC!eR-3ygEK7`@XiRNz%+j`^+4llpGyB{6ke7UfMfWtx5_xEwcXQPH8b$|P43S_r z&U5}g%7dA}g}*VBUXhncY`F4}isn`KVa}qd*Y2QfrfTuCS;M$iKI1jcVc~pxtDuI& z#f$(o@EZr(X&o+uis|&RnzEiFr_AVof#Dn0yk!$nMTaO6f3NFOvyOUhj-eLpbb|(G zeS))mDHI$s&IR&Hk~+G-%SDhKnhuQ|Yrklv*V`Acaiq+ag7zobhZYs?rrcH~+eslv ziiSRV+_!A2!SfxPdqGcdVp0o_jWRE8sdQIV-ydk??6R|RUFs0WRFnQsA|_dXzSq7N zrag#zB<v!Vi!0I~7K!hSO z1Y;+h(J3O?lVpbmti~Y5NQSbL*`bDplt5A%T5;GLA=mryg|_v*T8kCPIDrl%);j>* z(Wd&w+cKZq0&O^9hEoITMTfzESK46Vy@^^&V3N1uK7GKRB5G(3sRc+US^6E~H|&R* ztWD(lHKrn)Sqq7Q*}|Ebz`AQv&2nxCVK2-2T3-UWDzH7*ab;qWS&h@p05ef=B6Cia zY&^AATc;+2=l5LidbGQI0bN3S}zeKdG~-}?G>CG*d0 z-uN~FZWJ`3VO>cqBM@iXr^`e)8fslKu~LH_+=ds_xGs4;f0zv~_=n@Bt%vs4i~HHF z8J=JDH=~U@jc3v}+jXBh7l`E?TuOb8v=v0f{ik*`143!oxJ0I%5Xb%mQk>hMCaN*Q7HVqft;86gt1z^D5{%>^KL};`Ci+%StRTBby=-{0{+l9t0w_vNI5HC z%KL_UpoZQ?-B+@l95RmHYh!i(=7D=A@c^AmTNhvnzQQZ}K=QejvNu9bPn~@A&$1@* zR#s%(5@D$=$hH3e`*${<4YrVh%W1lLN*I5v)0_SlEw6xKp174L^iL zU7F3rP5skiFF&oST}axvLgW$C*yQg}lTe(|NrdE}q)b;h&b`g)4*w+nf~(@)C)8bW zdDXT$UoPD!q69bG^xje9-g7b-+@m>EOV&IoidjK@^K?#`j_F z8@U$VtcJ!AF)&dfQYZr)BN2a7vgah@b9E;1Q)3T**NIqOq7%p(UEZ_%9J(NDsHxWM zN9#LLdz=^JjZrwq-`$e}nnsj*RiZa5o7$c$?&7e1Pz2;Rv6G4Fm%%fg;9a9jeI6(# z8zV3AeJY{}#G8U3>i9$3^e=SO6x&7)uf#EXb$cMJ@?MDeiaXz@sk$*T;cbhh)A~X!*&O5W~6k zoCF?{Eo&TgEXyN_%qVBeB+l3QiTV%5-c&;q}MW-eqi-tyet;F1 z>aCzk^)+?$0_B~JxrIL4V4%Yrz&_aUD>LFyO|e+Qq@6l^JuL_349WwkXe zqz&rW?a=&wP0X;L#$AjWfGPOJ5l>w4x92yud!Xm!=TLrg_hVB}hNazYw?xA?%2&0cx}h`2^{_^qmYm2u5Y_- zZj6j5S)xN~2|C-3UPH#=8h^1bh;c;{S)VxpncVLiMt*MI##1wMorcbg#es{H%}I^q zW-?P7TviMu{ruo-Xf0cT76<~GWE}T@OmOMiHqd<}pQ?&&)^PJVdbwk}YD`K}aB~-* zeMOP%o;A1tu0FUXOLHq{ z3l*D$SHm@(Fn>rIvY?kjxx&NB`rR<$98YIbh9Pgl%eaG%0>i{yfO%B!+DF9j@xj@z z;0RG)rJlN{;oeVc8IWX~G6K4P`KHT7YN^o_>~x^Wf}z%ATCF<2@O|-B$<6Pq^d#(~ zE3x-dwq58%K6YIHR15YhJ-2KfL?R)K@;F88R;~kTY06$*c6@PjZg42WN<9pKl**5W zni7s6C^TuUTEK_K19q67baJ?1PyD%1^BW~3lI{=MLNcb#ldaT0FxAC>-m1K$L(1^e zF3=xFCNNbjBJ5%vq~wV|jrkL*Hk+rWR=0*=Zf8~=7eliTNy_y28r}lx(;fM_RgN+1y|7GgVoIMXt!}Hwwo4= zn#c(`VMv|@B;b&KCS->XdYeQN!(?laTTDrD!j=PB$s&)pd2;VSH!kF4Q` z*L>Wm{z(9TUs%M$>|eyztO1VO3EhNL6tiBko;w z&TY9kE<2So@~aL(u)4%J`H&(!gA%6(4}{YO%x*U!67dBV4b7H@ z>(H%^c{id3j1asS+PdJ1k zInD`x3P04axNBkk-0#KM=Eu77^ocVeU< z3#tjx78U+c^Nc?a@=KDMv<1 zO8TO8(EVkGI02^WgF$AqvNMFA)ZCfx>SP7Z$qG*S%@-^C*jN`)x+eMw^MdPdI&4kJ zpQ>iENczGT5mVnTV#@P12v)%-sUeAf*qYJQ%=82Ep>kXomkH?Npo_1iKc0EICn9?) z0!fZoIQ^`0Vf5%=XK%fKq!LP& z!LH6?D2*V-YHkT{BY;^;;JFc_a7d@A7Y8jx2+1Cy#rAy&rUNqP{9T;k?9Bpj=;^x# zS~?n9`isuaH*BAsNrsY1d~8*10P zJmT0Wc-tp_ut0&BkyjsCcsBWY=Ti%{s=j*)3(Qk*r8O@MrcOSUKZ3xB&U@*as#)uo zhe?Auyp%3A7x*0M7d7QU9#Mt>Xvt`pIy^G#j`+zdkNlZ@?9O2knx?CNnVG{IDCbFW zh^QPz!RVGzsC!*br`j_>D@1j?P6d^9kb_y#yyMG0wpC;luP5KI$6DbQC8@E>zA`jf z`y#bpDU%6h0;QM-m~-~j9&1vt`Gl%~yIOO}+sqF>7g5(94iYfi%$;62u|o8)FI(97 z8%qUM*uAXhaZ|w*E_~X57McOg<*Nb8?9GQfIYch+UM3a;@kT92rnC&D0SnlR$@e{q zfZ+H2&C5AK;y8wm@2o_KjElZABaYbK887%?N35*MBJx7=6zR|U6-{RTHY<$q`!{KA zOfIH7+r4r*#RtMqFF)Bhv59ulHwUnyj)1^UYI*X;onpHPzO}i3%jL+-hnmd6d8wxH z>EddY<|McPqRneTal|o8= zD&bq})ulDoL}SR`_tP;qx1{TWJNswx~$uakP2knuDTuG&vPtuOi37!@?56C zixsfHq4%}h6=LUqqWv9sDtWNYBKvQNb|@Jt(#m$v?cm*hO0sb&u+wcPs2Nt6X6r{q z1Ohl&NfjV<8ta;r~hg1I(q2A}-? z)2bDmZe#M-ZSrdRxPGZfswjwKweLOQiRe%wfz1~pI+ajhE0k8 za%A@<@8(zaiY92afn?rtIsbm4*$QAtPUi5kGd5uUxupQA&DNT;R!|3`S9}vgHbZ!n z{6M6PO$o^P!z;*nDmuoK{m52n4rR6?eDc6Ex1~Yrzjfi&VbDy!OvuLl9Q#oZ3J>2VG4!59O@Lx=#T?%I3ZE590?9CG zpw#ns!2&XevGdV!@P3T0)}J%c`M$}ZW9{LaJ3}#lf525>j6fPErO`qazENkPL};|( zCcQ#2o?Cqj20vodfV0XB3b9t9hjx$wkv!6H*s&OrB^efeZYMdVB6Lojj$`iZ%$?s>37XTk5!dP!nES87e z2p1AfSqqX=mU6@~M=wvrjkW@G3!=^8!ZM1eE-3}K4m+?@l6N_QDcHI^`cHO~ExmOR zz&?QP+heiRaSv3?z7uBzb~2yc57KNdcK!u_MKm(xPtx_?CXav;J0atA&gur8ve$yf zy;pn|FRDDi6x9c>5%nJraacl%ZIa^QABL>?<({+=493^-T130Gz&02^rVYpL z&q%a|*&t!EtZH8*3EIb@k|K#EHgIvlE+kRh=Gs9USiem1#g%-ZH@|dmW{faAaTzgx z%tCk^75TM0lFm)!>~T-^or1EwNg7M088UL9B=BYoP*r29%iE<5B2PnoT&B)Ms-# zLyBnYY(kJh*Z60e%D5;!!dd8dQY;~VP3iB9p}zFB+EqB=8~moe)i6=tON2eUq^%NA zIr+kHV(9k+8SHW0<&s6=_5LaD3hq(r+yh$V{`j$HIA^Uqq+xm0TS!(>LV8=ch*5mf zF3Oad(eEVX$R;Gl>-yzGH@v5OTe&ZKAL*5|sk7}WKAh2OPfpF=yd_sFz*GN!6U;>} zkldV>Fvu!c(W_ovxE+zn7rU}dla82F=sH)a3%@y1Wo^pB;;@}J2GwnS`FICN%HuWTiGP-V8~oXn^32RtEFeNeM~(_Jx2n4D3#M89BOl(EkkBsW zD}(`TD{gp+jPgM4`19@x+h4MDB-i%D{GJi7d1cv_{U+n)uh$5@pIQEYFBGN0i%U++ zMW)!XNrW98EAuu6ShK4aSWWIPem8^oi7@tK##qeTeOmR?}%=L3fQl`hC6jAcw2=DaTe2}r=!7I@$=Nld90>lsw zGtc4Ya#`V;9C%9#W|NB15AQ`LLi2^ZRbynrnGVI-?cW3$bkj`=78!dG;4mC6{`FjI@7NYhE_EJKZ87HPk zzdSc=7~nt^GNKQw$Lq9*V@1f0!=IF_uTR;nU6ejyXP_b8C8Tc=G|vsatFSKDr|9(i zB(VHBHmphTX}Fj!x~BqsmV4*6+G(iXW*&;g)<2=w#5cI=$*h*fx}+KOeLCe)g0VSO zz-*gQ8yf-Iy>uRb3rHM-17M(g1EoMW3Q|rw0+%-=-3K;`gjHKSB)2uhhxHsvK7 zNMj01u46HO>wq+JL(-Ei-u6+n2-XPIvMzmtm}Ai3)LqOFMfBsE9&0mt8 ziGW4qa-q1KBA#!t^?HOm&dXdbgx!W1e7|EL7X@K|+>Hr8uN`0QD`3BU^f4=jGEnh( zXEvc(BG5YWKA<~9cS$8r6+b(!VVaR%6M}FkD2v{fKB7+tr2!ACJ zg_%F4>v*ucJ_gd)FZbAab0VVjO?X4-yBWaY>f#mF zY?KOrKnQ8HEPUR>MIS=>)(B?a@$&nKFZ|3w$Z^#pl`sj|Y zUd`Bi8j2b9h>F>Qk!7~6#q}g7O|9-ASG9m3&ptcA(LqVHo#n^mZT9Aqi6TOtjEez( zi;S5pnkHF?C%BMvzLa$z)+{#BFXU!TWB2o#y?k<%+uULk6ZUe?D)8&PA6%!I`Jyoj zf}*20g(ZN+I`*6mE}a7v(&DIqK%_ILNsflQQiZQSisjioZ#(yZ(4KlD{Mb!yZ1<+^ zv};wmn3m{*xFLF^FePlnG>{NV~< z$Y@5Yq#7gBoP@y%^0}!?@n3~MOFH4>36Qg1U%8}~8ly$dvr%TM+YU_Xi8f=M?D&N^R%05o5yaC8;K>INM9@~B#;QA-fLuII= zODn=2z|s16uA&1%rlp39#_d3V0%t7kh9|${7@o;(PPKdPM84uEDt3}Nv@txi$gug0 z*}~I23pMxuNiY21K2m6tO%sHMDXe2o+YwnK=Tzdf(lM zQAm8p^=E8(l4w*1My#dUi(6apCW~5opRCOnE?xe^ug&HPimko@00-imicRkvE z(4GtH3aj1phxhrC?>+|msHTJBpz~^Q|3-GRG+!6EmTe@+_rfR_0|qH#t7@5mQIKQ3 z9t(O+sI|0!_qKSWqoPJ`CFZ=2F2K456Ac$ZHZeCI^-(SJgmN!foxoV+b@T=!t>^USpf8n*CYgzSSZL5H@HJO#g0*Roc zKuUf`o&q=LDLmozN0U#eS{tmllat}kzju^O1o*Fr-1|U(_sMq%7SB`y+uNwNXc;h= zXT~e94I8GT@_Nf<=KXDv`-$z0?dpNfHut5h*HRh53Y=wy7XYlIpnuZ?)K0J`f6)~> zird70FJuS~Jt{jKO6~}ziI(k8MaB7zjLT9XIj^n;R^P5Gci&y+3)6nRg?(jI9NiWr zG}5@cLvU{#g1fuByIb%^1Hru^NN~3VX&^{&C%C&i1PQ^y@V)oujjUN~{?$Hm@2Og= z`c|E;ySE<2XrE-{gJ}34bW9Z)X7C4UNU^g~WY=_e%qLAD)qSADXcK!qyc!^CCWDHS z5C3vtiJm#o+Nv+km7hMnPhqE%-W5ajZm;{RcMhQW`zC5S_FW6^pqPkJ zO0OeeFlJ~()!Cc1P2RL)9jAAsH(tV>T1_a%0P!7r3)ydp=YHo2RFlMOQE_n9_qW}y zca#POgjutJz9;fomt>}8*P$d1{qiZRLR{MRmD+`P{*oM0lU>1g;^c^-mMBt_MAjE> zgl;Vh(nT#S;z<0b!B$E3+3w3s`=myVxQH=IQDrpwEMB{TlTPvzp2(%h{R5?yz-m;nu9=l6oHxusN zCiU%;Tz}G>2Ed&X9fz0Lni~ce$|O7=pTLQQ^UFms7$0qHYo)9N7;u73CNj9cxeA@I z3Oi_L7eI&GguU=@wJe%W zR7cRcN(?WrxjqW;=7xS|YZpRsJbSt?xQKq^OfQW-N&z8TIDg3#6voB)ka-w%0yU2s zH;X~Q15d7cmo(VK_vwP8#49UK3`T&6Wy!T4BZ%CXqRsqb>1o(>KY>up-i zY1V+J8bdQ*jEB(5JyKAH$~t6{$)j%YK4UzbgaBcf|V+Om#13^*+x#4NR#>#-_O0Bdqeb z)wXta?N4MotMWY}GDq;@l!u$>QQauQryH6~DjVOwTjx<0(g<9gn!f*{*!MF2h1xM8 zc`MUDwRAs(88MFO)*-0wl+-s=06iv4%1Q70w>U*^wjo}yRPey}vW~SvrOU7^;a~mj zMow0!s6D}RMN_JCQNL-}1DLJu3~&iMy~XY5?!uZ2d`xWAKl2({vFMRd!k*;Eop7S z(YIw>t`r?Lw%f`bKB?cY79`%FsrMMKpLx+(d&=g3GnTvQB;WcYky2^jp5t^a2b4js zfmQ)9gPkyjoR*2+#|=b*o~g-cL2l=$GPaIb3nHfPYWfnDzBzr`gNW{%x>%D|GQ_WB zR1F+FA?gN#kJxZV!Xkh*9JK>~@CqiSdRbbW<~&+jXhTlMWi_iuc#Nmhy!# z>G=v^cYca|tQh(=xsOz)$;U~ib zlsJ35dyyY**d9WQt-7gVV=}^H^4V~Bp|^`3M!#HuyoshFCalcZJ-ao}A4VYEVz-(8 zxe`EUJ z9QD8q9Z_=p)!A3e1$}iH&b5;yw^n7HmtlmV584|aADxaAUb8OIkzlmyshkp1Dnogu z*OyJnvhOUsLx}MA5z%WVdFvZ)zOOZdb_51@Ww#%dvMb0PbHV;|(G{8aYc*%G$e`Vp2Mov=nwJ(CXO?E__py!&mFA7%}Hq8>+KlIp) z=h~K;M-z0K_t6^VQ^vG5WBh9Jkv8n&%?}$vdd{qYZQo2bF6A)=q)shZZ7!}g*=za< zwe7K;P;IT@%d~as6JhuUDIzPd35&g-yz9e(_>jR_)L^K;(x3B3?p$m$E)#RNSGF4x zasN@DUX?qEB;@03@ZTDJ{LS9;m>*vYa}H%3TSmBrV#kYaZ<3y8#8+j19K5?c)gs;d zxtD1cY!lF{uEa`@mMg*w4_Egfbm=_aN!{x%?cJt?u3O=tH;8Enm{J-B2d&G)D6CuY zAuz0GJgU}+w^Y_Him2lU7K^YgvqiThlQd?u>B&Y8A|)8W+h-#mp0ZTKO;itUA#uJn zVP#!Szxd+<3x-7)@#e7o@Uy$}Z<`h(w1KxOl9)2qiaE(K&~&OdxP(YH&tp?{?&N zf0X|-W!o!yytTrh#C6%V4%mJBk>@T=O*uOsC`n5E0AnXhLf@}pm-WZ&H(H(w+^ge7 z?hc{XRFKoVzj`#xk(;Zhst1cy#roKnJS0zB-Q8D7P#Z)b9Fw{SI7`&>P;&ON| zU}3dNftqG!3>`;WM?>!KNg6*7$q|Wxdp>X|kg=0N`hHTllR_b@Jx!ctB(uYWXtMjxWW#HSdhN4I_B~L;e-T0zQyS0dVh(qS+kt=k|^u&a$tGzdutsc z%k@kNoDN^*WqI8Mm!-48l034gra3r$5-!iV2}9 zd<}r@>&`-C(JHk?6|C0t%r)3u`JaxVftNxVRI$33>QJq|;XU1kWu}=EogiyE zinbm?Rb8ff$(Of>pGWjqHTHfnF)mmOiX19ZTIF#8WvS4V`RdC4RN4e)qp5dyOl7z4 zPtu*&wC$vZrf(mtx}E%OW0gcn&>?%S;EJz<)PgqXw$(7j-QDIMaHEbJ0b}uA2RRL0 zvxvXKP-ST5@_+%aIi_#KgH$};UTSPuc1v@Q+Bxx<2s-#6DAz5_tg1KwP$lE6mjq8Lyd z0O1b-;zQr?4FIwh2E>OA^xLtbxgIDIkcu$=g)k_P``KSU!jZJ1ic= z+zZGKp$rE`LnoYpD{uKA?tk*}AY1W3Wr$cf&>rgP{_l|>)G|O^=vzY4TOlCc|2wSx z!+*m55p4hOxG_-Ez_)P$ApU>i#s8Tq1_}TJR{^k~|8)k?H?tKS0Q9fg|24M^bUg~F z00+zUR{wtoqlLzQ0*byF|9v8FB_{p@u-~XYq2bBE5I6uAHx!Wmb|nGaeE&#`&|?Ym zas5|YgomH+-y-sz#s*rX3OFH)^+!YNS)3;K*k8Y5^C8A3BurQ|Fg#N!lk&WymBpb5 z1i#qo`c_vzCesmPVy9P~jz3@5IEG~kS!HMP%~FV&47Neke`TvH+ZldU_CsHfwbK-G zPRVYHmy)rYF{)Wo_Bbur;V#W4x1Zp)i5h9j%)Z7TnBxR%A;IG7qw3AC*sVC)gM_)` zd(7W)ze7ihG%IFnSsE8W|IL@T6{61eW z0uO*NDba|C*wN5X*_aI#7<-84F1r;E#NdVfNrJWYrUp6eRMGQ8+3RROR-!(X@2wjG zucz;YmK6mi4o60C(cf*TjAUS^g-#)IM{-#fu(l9?bb)DZfJqO1AZwWq6=+gGl*BR? zPk?*D(aXeXh?FTTV?~lSpZIYBa7ZE0#Uj&9G0hJ95sV*=Py3r0HdW(l4F6etLVN;- zl8UN=8WG^HMIkd`&OaeR^aE`Ui<#O&Bw0wk)S?c|r;Gs)oD-KUpd(uqu1J9)X|s?= zjUbi{HAI4YBB2sW6X;{CAtobCm+f^OG@r1_iTW&Yl8_c;o*c025lrbALq0mpl`IB? zm7M5%q%!`o3iC>3f#Dc!W&SaP=GJ^-_d-C*qQ1wM3JjAjHBqqQlxyL$Md^rPQ}!m^ zDS{84yjnud>>-~ON4-MBk$j{b`b@~EQGrZOo0RS#vNbGt^e(-%Y!-)6ra#Z3!bG62 z0E6oHB!FDL#;ezE80uA!A|HNJ&@tR>Cyvf_F1Q=9*+c8AUigARl$Z9N%EjWt)aWh7 z5kJXSzV{@CyonK_(ewbek4i+a^iZoG0FiO9#>zI4lLgz*S|a96sqT~`Ui37DZEPZ! zJ<2n4L7%XsL9HFSS<8UW1iHGN1b=Pn`=0kOau_u~Q4q*TKFRB|gxX@wVEmyTNui9g z7n~BdLes2gy)`HgwW?mjXs1f_skRWQ=4s)?R__T$dt?|hcfowxS^-poFb;_9fz@8% zB~l1THI};s;H(D=6wla_P{i0Ti?}7Lt56o-luwR@XYV2I!yqZ4?VLSoc4O}H1TYPG`k zY%E4?XBYH&@YZYRLwuBYT0{8AY?Q$^hw5*ivB$%+eYHU@L#ogi;dBm<%Klb@9i|hu zqM3=E(v)+D!G@U(6h=^-S}B0-VQ2f$8mrfuBsp@TPGUGzfJhphi876dKZ2|sc#8gQ zHw9}5uCic(GXVi$flP%pPWcI|A~}&Stzr!^gCb#&e%v=5+a60%-NDc%sv8YVr9qsI ztc{9Jn43fQXNrePT;E#3&)ZaJ562#$9gb?6$pewq5^*gT>Mb4xH3?<#&>!R52mEpr z)5;W%O!fVwg!B}{(F|X1-61^>GlU77qz%kXL?tUAE!41Y+VcK!7pVjH)+%=!3o*n# z%yf#NufS<*;7dTEv;Sr)s$L21L^b{XG4y1PB0{FKsUfuoRmKO$M3^4iL0#67nmWU) z_!mzZ4iPig{I02WjHC9B>}zJ0<-lrBwZz>)_IR6{%Aeh0$EW@3$B%N>?WA72Fx_0+R9w zhOG0uzdcLP6jCr1@G%`!7{@>w^>ftg$UY}8*{KVK|6Cqr%Bpp8Jy>?!bm69$nYk&f z8n$92L>gt{EobahMN%*Tw=4orGYajIRf@eo{E4f_CAxhmNJa{oYkFx1;M^o=-BVSg z>A+LU&r6_P{+p;d^{}Dgn}$e9k2y*Lh;Cud^(0f%(?VG|f3TokYo{aKY)+{{LnNJO zm&&ETc%HA6GlnHY7o`1Eq0KA}a)e#mYKn|OAa4PXha%5#QG*Mm8?h~N(Tb>z-CL?= zP+24~3PyPyeA`5=s6{-e*OA_D3Dim6@{KVFm>2h9;tdI_zpur=pNU0Dl=V^hgH>Go z7bkiu@t2xTmiXG-{J6bvLJGmWl3{1fP-j2FycF^`W^PIXPf~0QX;uMbiRCvIR3;nw zdLMCa#>RmHiA=DBRl|A)OS;dHRIJ+jDMsc_TN_06X8Q;sdP&Kci@9_k$MU-!Qz4-% za*BC)GGgyJwcRn@Xdd;r(qbCDUxtO0omdnTI>W-@8LUq+s8!L|vs+@X#Cvv|mvO9{ zUsMTx#yuP^ABBMO(0gxkw#jeFI>dxT#9mzP?>6Y{ra)kdjd5<7cljbYA!8wL{~Ek7 z^zM$3CsO+9Kk*EInG_>TL&*Jr_;7LcR|eGHW@3F6nqxkM+qZS>4kAku70X+TM?DiZ z!TWG2p&ar2Ef=<2M1RXy;5{3`a`*Mqc1>1%97kOBw92)*=!E;sxB7taq2=4h?VFtd zo^DFa?$;b}#U^D>ogwnDr5fVv%cY@xu83Gr;5EUNU+_}&N4(IFgH|z~M{G`<@p>SV z!4V|P#5@p%T5A>7*CN6cg)aGJjhqHA{~&kwAo;Tx3SYm0M9!rC#Ocm6;j#N`!Uv7N z^x&K?d*u%Xe?=(|^d1hMZ*DJKv&;@F^O@~oJ}f>P{q4q+Z$wTW zs^9De{}qOD5c1f=kC*%<7e0O0_XjVOOvYSUb776X<~-QX>#v7c!-4KnH^!pH*;k&8 z+Pwtu92|ZzjOc4jdVwvm3|Q&fbZ-*}hG!K%w6Alw*b9EEi+ruu2W9vO>?BdKwr8as9;za4N6c2Vl)RZlc@VjJ zUc(qLwK`m!e@P)MG63UY84zDOgC8VuLv*y=KyjOV>6*{y>B=G2^V)C{M;; zqu-3e1~+go^$6=MtI{=0_oNTq_m}LZWEZga<&*)qR9{4pA27RQ8*~?+;fPiR#g%gd zz*s~ZQbIQgcp(BgDz9B#B)DVSpK7cHP%|}IUCIimr`&-##hvk87()Yl+*<caN{DG zaHd1idQLDn#fx(YwK3~FM;?(f`L}7=P#^Z)17-!wF zx(*ueL$OvrrhwuowM6+my)H2(lM?e^ecNBpaO(F1mB}aDlW}(gRWT3k3$4r`;MnoT z=AgX9HjS$6ld}Wh!|8MDc=S(d%D+gTeqLdqxryc)Yaxxtjqn=oLTCXS2hhz+w>V^* z5o!izD~k*~E9Q=va7y}KuoUxiX9`+Qg787kEauat8BVg|9qfq7+sDfc`LA%|qL|Tf zeb01coJcbt_NjM;Lj!ceKQX$(f~}DRoI)M=uj3%)Ks&cYWM!5|F88iEMORqmd#4^+ zM(lnlY*!qfuyj4Zm2}?8mc{p7ec;vKv!e$G7-hyqAki$H`O#SiRyPjkT&L6&G!3VW z<|6|_Icdi2V6W?5-cNQh(LgAs``N|sfaa4yNjNG~nGFNfJWJ}3vpifXFs)Pm#l4r% zK%WDdpUO`g-*@1blY!}xX``*PJ>I>%VAqd@HsVLyvI6Gp1U!SE^QRi?3bg);cQA>O zwoU9t#OZOEVvAi2J#Y2&E8VMI@A6$6Urui3n~(uRuE>M<#n$}yfZaK8(KsCE^?T(Q za8Fn|OlTbjgA0u|-kpX%;GG(dqR})v@&GU%&(5y>K5*=*VuvOEERl+wV%lX7TdZqU zOvGO$9P1@~s?^e=D3eHWlbrp@09l4hj*6zXq))D zGchtitoo2uVrOLX$fF@--aZ)ucszD1*ZdHyE4bBv#mv8WNB!5#6qs(+QQ@+uB# zy7bewa0<34yA5rmU%cNuVQp1Sq0jCDHCKCe8PXiKe{W6=H~}92;wvPj9NSeWLRl^5 z7df@9+qHiHIyF%PS@47A_|@Be7>#IJNy=nK?;O)mjHS&qX{*ULGFoCHJNEcUquIcY zC_&LrR;UNi@l?sB#vIFWwdAS@5$Bg)E@-l5fSqPW(?de&h*0M$24@v@oXTq!&B1rb zrsi31(3e|*uW!K8Lpx7gK;yT5Y^4%0q0mgZGLjn8ba``se<>4giJA*HJgQ%-VWgZh zyq7;;F5%K_$geN@E`Oe|=hB0~JUJXw=2Q8JA8p7xcL$CFJl_9oqRkuqS$2pk{!B7o z!{A+CRQ_<%sgUG4)90^@eON~S>6A~w*DLjN{m&d)@G`wZ_z+&9lwtUsM9OMz(O}>a zy+oG+R#!kAl_j=xmrC+xZo%N{E~3QeSD3;WDyAHG;z2%!ieG$C1$CwBj5s7NVSs$| z@pjJatl#=dNqOl!J+{7dlC?`fKfx_62WQUSQpVMhym3(kS(~8X@%JHmLAGGsuOp|! zJ5ly&;9@?8@&~R4iRA6-TpBxUiJ2DUnH=0XKbM6Pxwg?m36ly~PhRMLZA8b05VRoHg2_R$aS64(bl8i8FVa4vU4JsAd}>_|qldN?o~9 z>SNY3%pw%Kq9WWjU->JYnF_CiwNaoL8Ah!y;NQ(bX``9dyk#6b*Uc4cG(=7HOF7yt zHAAa0ikCDr147cS*fcBm2k129W?$snFj9=*6Mx(IrO7|QiQ$z~*pf3tW9ZLwcIYz# z=rY{-KCuR|)vg`TPPH#PYqklgC^Tq0{}Up7jygo2aqhhKTXW>Cytv`nE*fX`VVz}I*`3HiMFI6e8XgpwkHoBMU?+4Y( zF8bw2Mqewdvwue35y1WSczdg`N%8`2nxF{p3W)-{D}AXmPIFbcQp@ixFL@5C7NJFG zSI)duQY7J4D3|{;cU#$VD0SkAsc6cr;KsHcPd}!%BZZA_bY6Ir75cW{Aq0mqw#ynW z#0>J~uUufohRBg7-Z$wYy;(u@*OgZ}r=nnpq)n;%akcg~r9-6JW1`_729hSQ0z^HD zl3;flei2~UvHNy`vTS9JoIG*zaNd+_i<$SZwNP@137Y!9sU^d+RLLNw(KB}As9;YG_J`nbT-quCr}-Nz{nE?W5(Ct)DP zwm-W3$zqtjFPZnM_d~tTCf)CDU*}-kzftRZVP{MASz4R%s0 z%S&d(K%dsHKm7rIg!CPm7?5guhTd(H-tA`hEVHk8N&=T9vGb{x0rQ%lmi!=54Tco) z_Z<7U`~&T4ct$&C-!0e=bw_`%30?C6>SNic?tb9Ql)wqk3(e|-k%QmyFr>7xa4veZ zVQ0R*yyB;yX00K;amoq}(%&s9xL?FhyaLrizlEaMxLSL8d)ipI{Bz`H>4?I|%MaNv z0Y<`ebAz}bE~P-qe;*~60`mY||7wPj67vY6aL77%dU;dvaPs`OEd~D-R|-gZA2 z&)$~#h8oXpm-TBLncmub0W>1m7^@(zY_6zei#7{G0@G@@0E@7L&4>71l0V7=*(j`8i84j zV9h{f_eQJ|YKCWh7?!o5Y;>`O%D6=*Fh{@xL(N)+B_aio4a~(CCj?@kgXQ&pXN&Kv+;f-rY zfE@oBMNgZ4fJZw!OjVnHmN;EQ>)sO2w4!;Th{gP95l?xFi?LA`5tKPmla0@#S$x<@?LElv&=Bk+A<%c&Fd$V)T1hamPZ~EvS3Dvhokv(icl{ zTAD-}loa_ZT*eu)&)^UO-=-&?!%RdTA*8ud*nZU*eQ8=5G8)`R3T%~>(3os3(&9v2 z8%rF7qQA5#>4_g8o}b zKpNy~I++C+#(GFaoZH`wiM%F)?Q&l^x>tzJ;} zS1+ox%)WHTh)g#2*G>q7#19N$bwY$x;#GQXIC?|$bY z<;N{`rXJi_=#hWsMjLdAKk@Dk_5-Y~4}KTxxre}QIj-`_5pmD0zSwlvKh3teP`+1= zpImME{`lwpS>6$dd?hZuT$%7@^jJhYy8Prh)H3w2Kps5ae)2uouD+FUaOa(5gW}z?R{D_>0?5LM)^jQje><0 zLQ|?w#c+H}c8Q_U7suKzuke1U$CZx1pUOU3M!UDKUFNW5#*89FJr!^KR=X<{XVEHO^1%(>owF?Le_mh)P$X1iW7bimUyaJZT9#< zjr-ZETc>r=LyYvkn;_c<=o2RMSEj?{$eUAhBYha$?ObXIG(sH1 zFz+5kEFoN5lNUzNgRqZ`?HH8jxfXvAFH+YmxEs2a{)=4Bzu-24hlx+M^+WnU3?z*Kte7u($-mqEdv@xOaXSti+?n{AOfff-S;8 zq9q$$)XXslr^=BzghWEAUJ~zi0RZZB22RZRu8Rk}ChD7jS60vXGwcm*8KCyI z_wzs^|7^pWN8a8HKi}XneppLa!A+@$5gUY}QgK6}dnB26Us8zvbP{65;3XpLk4eOC zYNx9?dNv#>!`_D_ii@Um^1&x?5ZKz`gVfmXQBUamX_uaM4QEISY~N`oyq{rOIYkCW zs?NUSg5`=YNzVmNGs(jyanO(B4AHWh?ffD(=J@r;yL0J}?YJ%XpmdiT#gCOTh~Xbc zVQ^XT<^kJ!*}c{;wa|=3`l#~3GqFz2crbB^TAG;4-|=4=uV$F`1E-5vT;&B`C=XRO zH=nG$#EfcRciX*v)F#5bC+XaX_%@}$wUdVI^<7a3E}g>ueP8Jh%{?(>YcqCZ-&n!6 zW(UBMM@HYls=TW~CU^5)!M%$w4V$d!xcK{8$W-#WjR!{0~A;%{@ z0^wrX_jg@^51uy{o<|}3SNnYj6V-Z_f3A^t+(LxrhZZ$3mjVVCt6u@4DmO0p|F1<| z076*{qz3Z}nxJrKIRw~H@$tT`;d)d?AS!Mu(3?@y&CUDG$VbIVrHR6!;A-pkhWP)3 zq^XRArMNj|1o*h5cqF+cxn-pJxj4C{rFf(SWq9~y1*9ZoM5+G&AsBBHDciW(dD~Ng z_&@?_AVEejU8aGvt_;z~!>8B3FQ`rFGv`wThKx^LEqEwwY-~mbDEsR6OjGp6^76N| z^sNKD)YI~oco0;TwQ#~BkRuQ1mn62Ocv!#mJ6!Hh#!S#bB9Oq(v5B;Y4X?@E?1v3E z+uTOCi~Zava&v~I46nMa@#RzYmLSnX&t-2OIKd_`P7`ylFrx%Zk;*&PP|YT;CdFPF zMyZ@gz6^Jqtav`++HiLiM!9O~Vx1|tuB+Lp+gPD}w=R?fQxp=ccX!;=bHTh7604zu zNGQz(7`22dQq@4@6p-40I7aXF>pOl2%~7}V*+f&^T4K-{$KlqwcGtkQI1AvuFFV&>3X z*+<`acLe=Uvg~P~ULA8@l2Zs7oiW@((S#H!oiT7_YN03rt0m&je%)RU>HQDHCKLN; zWd3l~CfFv6UKMlh71t)INRt9m7feINR)kw{!MV(P`6bkrqOTz%SQeB=a+}lWc35e0< zP<1%9X&jyx%`^(xoUoQObyQ#YT3D67dCR0CCb?DQj0#ZGvi;|()S9y~0^9@R(s5q! zBn!E@hh03%&^HcJjpakXc9f=wQgH%%1k@k&4P>ljOZJAHIS}&T-raDTs0rSlGCpkwp z$mCmv;u-!r?|6^!`EraLA4&6Xz5Lw3Oh>dOh@Fn=@62QpW*8T8mDzX<`771tht@y6Nocq!P7@DnIl#JZ4NHdPxn35Vavi5InlMljtfZU zLJif2tebxEgvw6AA4K%8iSdJZj%^|v#kuWa8(}x(jbO7?n+Z8MSrQ$^OF#qXOo{Se zU1D*y?#fjH@TV4(ceGrZ$i-J#CKZ}1T>&eK-+u@-^s+vviy2C_Xd98V+RoW7JZI-K zL%zd4nN_JYW7@L}kXG`kyP{OKsQm73T6Fe@3inrp2TcE1MxKQWec=F$z#~qqs5;aJ z_$NstOzd)+*DJ~W0J-C#<=o9z1$t8O)b5&-#b=-U8>p?m-O86T#(>SRu`QI=Dwf0z zZY*+}MZYV!KiI}Vewy6bF@JRcr```^iOFov_e(`gO<`@~QNuP276Wj4xzbT017`^y zFM0!s+ki|I0aop-ymT;w6!{Om!ojm!CWn=-Im%2F6^4h47+0dM~QhwtiiANlmYn`^bJ3)w=*4KyF3LadahwHDuMYDQRk%C;OdPC9FL7nAmD(aUi z-af^yAoW_r-J&<)*=dw=QQhhh6gM*+r!xGydJU({jLeMcdFRs0=OW!Wd_A8*1f!cb zNpdf2at>MV{G_7*?xI6mX>i9k!VlikXt{|?i?|?dN{=Je{$VBTp%t1zH<{cZp`9>) z?DFm;zZedRx>$i5|NdP$n*0vJUuWO3?VvKkuXg=y3_M0uu6+vK_?xdeoYjcD1q2NS zw#L3(uKdJ{+3`Q*dVQ(=|M~W822Wwry)-+jcU!W82QePA0Z(+qUg*{=cW{J^D^|b+78(2UqR7 z*4o{x>WrZ8gut%>q!J61g^R7Z1`7lN62Qom81ISNJVprOjsRd{ZWf^jp@IT1{~zkl z4w8%jU}0*;5(Dvp2C#56r^tguLSVA75-}3l8(G2d^1?94n%bGWSP(IBu%+IXfKdT2 zHRbGaIgmQv)h`^uFY557ZYl&39nTurGT0jzF)R`SjcQOEQw}80Ax>+qClV@ZBx7)S z{1L(7EL!mp%n3s6b4+wQ=v{6%dv|YkDky&B{ZO3MQh{TDv4g_ z?=MIciXKYk^izhnx|a2HdRRx4=tczUA;flj1$b?O8mgvjo*eXeFmca#P8aNg+1&iE>*8cGf!QY2D=IpS{V0?S2{ag+tr#b# zDA+j{lCv1!^_c5)Hsz7YoqVwQ`YPXy`M89vRbh;Plg66XKikWqh=r{pY1;$pnsZa> zJWz}JcF@Wr`i}mA)E7n1c0{QXE9fW*;H3=3eks9=fIfVEJbV=1qZG7Ebax+$7%%z^ zy3B>=ESY_|bK00t3HXiTN_IZJfByPXQx(3$bd?p?+wS;o=Djaj$l8DAVH|6@U*V~e zJ4vp-d|8S=UA!*yqlfawkYx>+I4_Z@4Kvq{+$2vt$KJ=jf{Xm*h;M+JT&sbkX$tq# z?^||oJhYklz}X?MX2X(s<)LuTsmuKj#}VCd27K2p>O&rwEoHhL!TX!PmZHTTwP5dv z97Z6HqzYx3x2XAQrZnh2Us8rbzdQyHK({wdMWSngo^TaYX4Bz@P$nA~aHl+R4q_y~ z;&e4sXg*i_F!nfVEtT_dnZQvP=l)SQ>fCcxFv=pJv;l`CEQ>up8VFqm*CX^Qj7x*M zRbWEMWZHea=lA3M8#n_J;a7KS|q5qGA|f50g{ zlm-!?Unu6`D(yOS6ez%&SC{~rjW63&Qi`;H2GWYYC4h_@YHBP^jD?$1|G>XKBC{$9 zdz{M7@^gcOpDFQJb%b0xmDdiQMYGUAF(~FKbFDshQPOPtYZiFNv72DV@0%B&!oV|5 zl=3Am(|P1Ta1 zJ{M?xj>U1}mAp8Vq!@on4h6bB1QQm&faRPUCsm5D+VSy9v^+@hPx zp)`=_>4!qm--Jvwi^AR8hy*1Q!g%PTbsghKNJK7IehG2s}hXkr1T-ng|(?jS0 zlUFc&Ac?%rkW|q4qRvJ30*pj6B=%38^(*P)2^nW;-y<=tdA0#$NbQtgkvjhoxOYwG zEga$McO^>x;S~yBh|6_7%av99M+n-QUs^n4Ua1n7gMJ$RQ#KmObyE_?a->;&#ucTM zzl@sM<3%|TUtuWnh*$2g#^+AA7FU70*mj#t*IBP9x!|Jo_k3ZfdiduyUE6iDjU$u& zmL7+S=c-=U^b#%G^!&p`+hksYEz9m_aZUXs?eFTY7PCz!rcC=wuJqbT@s|aTa`53A zc9Vmrw>3a~3W(n4R=No#x{!uVs^f3*Te}&8Vecv0wh%mZdq5GD;STt0a zTfcf?^vWUu(J6DK_sDYdyKy(?fu-dSAc*g6wbtn=+b87nPBW%{n%>4-!eEad-O>)N zaVSE(?%Vo&y0WSWP}yD3)Rma1r@cKos;mtRNR73$E&+Jyp(kB6uHK$b3%Ej>&P%y2 zzYGHf&gR{==JV)cTQ9R=z|FPWMxWFW1X!J{#l17BZglTl1aNR9eQgIqOY@{|pHqJM zWrtMby@+72k_(TTI#Md95vJExlt#m0XECou{1g!Y1fpx5h0?kOJbqICrSnWT5wd)- z0!KawZB`8M>j^j)8as*F@bc5}7n9Pe3z7zE(}C{!I~OyD@c}NH`WE9nGtFHCB9n8f z17LlSO>)X2b(t(x+j!8sk~EYJZUVc}1H|v~fpJ>gq%8!0Dxw@|z>K4qXR?@Y)ETrb z6Pf;?=$7KO5{SU43JI5LN2aKs6EIeegut{LU8zY(`~u_c@c+?69d_lrz`8A#BKX&g zII0OJyKaes%Qg|au=?rzMhc#uZG$Bq%3hoVGs80(-E^sVSw`tay0Q*}&+Fr1_H@-} z({WX2CMv_@A2-dazyZHBu@l|(RvO=mO zJ0xldONVvp7SAL5RKKtjc5*OaWx3E-(V<6y(4QRTplfsJamO zp;EL}WEaV-UeOfRFs^(NBU+kP(xHjq0ch6X0kJHIU9A(SkRhEc@$eJXl9ZQXE;;z~ zpo<0zT+s^|*sesbDt~;R@*#wf^~y6jbWO-)!_7N1L+Vq8{D075D~R7t6^Lh3{GI& zaVg+Y)Nvh9s@kNFkxI!j4M&w!Iifl+Gg07_s%(g~X);ME!3W9!Tn+3t`3u3KlySU>Do$W2>n^;wDRa!DQ?v=( z0NuRu0y>C00F~CL(DFo3GUO-B5mp+xI!fi}U$4`n**)n&MG%^zUM*Q%INT+pILTjE z_-B<3_&6SHbs00GFhT*e2=zn5VKu`#OQ^I1H^QS%lut)-7@MGLCo)Rs{O1K|DK zeFL=7F6InYs!V`U0U}WG%ip|L08xtoM=joi* zUFb-MIF9<; z$qS6BWjS7~F1&4de);L)W_%~tnlG-d7CgROAE%nu+Jyv2s2+rYWw($;aTVEJlBnnd z*bGMPIZ@!$AZo-CYm;PZz>6qc<4Je~Pq=?Hf1i9|n*HD1;n~}St0rp;sdrc$t;J2u zL&EZQ6YDmaw_k1Jp7LM&lapX9T~~c*nnr17Ypfh+=6cFtmx0dlebL^uRP*`YpQC{^gQxzMpCvHzd_^)9}q1o<=loy7K3WL1G6Vz-t?H7 zPOtknB(;=76zy9G#Y6~HiIDGQKpA58Oe0$>=`c-jG5@bxGA?cU;TT#Q5C1ZSw<4vYuY zVrtj~nz#n70QFp%7nUrmLqH)fbEXU}U}mXBSJ-}vVN0swFihCLni|DTY-pDG-WLm1 z7H{cXDf|LGq6%OaZ`w1tG6&(OLo7q*EhgNRN>4#3y((kg`qll|9K>DPoX#zOLD%_mduhq4r}N)Y?&}H*d!C#H0rhIO2(Qe&CO1IG6^V1m5DHda zl0`}-p$be_xD6tuJ%dF3`g6hg_~~tcHm15~h*H7vZa8r^M@R~U%|cstdg8Wz7Rj;z z0Y!E%=6SwQ1@EDuLxt|a^si>;yJNbbI-J!tCn0?#CR-H?>xy6j%+!*b;!7Yx!;eQu zuW)e9=Y%Ili$kRYzJ$=9%w$yjt`udogLC_#VW;_J=2{2(AiF~-iJIUg9B?ti6(|Kzg z0`S`L(07*;G-L~vvIKMixOzO6kA~`|ZdrnDTAAqz@<`(>MA=L^&oaP(=DNYmrj!a% zxmI=4Ch3&4%JRz+5jxy)J!ZOl#g15cL5ea0)Tuo2Pn|%U?sAQuSCKqjQ~b4VYSxT1 z>W1fLlBMIOrQyeV(rf@GS;Xzt|+^1sv+eh#f!ya%Jb&6AuCukDu8c#KBfa+9T_ZJ8w_;6ZbX0w&#-vAPoPE zKrm?JjsJ};>F(e;D0Inl)90c3RBp#VGjQDOeaJ&tvR{4^(K*-TO$a0o^Z1(ZTNqzv zwr|hmH;qYh(`v-K-9ZL79N{e&zeRcJ2EB_JAcGzcdSR7Pg7X8$Vd0;NEDb9$lOO<* z!bjrW4v0~B0}OGj;G=W;noiEpk!rqEeHf-hK2$ciXj^|3L^kjZ+d_IvYTn1C5u6eK zUYxmpkj(KPK_w~#cwE;h)n7@M67eKw5!|b8X_<*9vAsi}Np=jCh6@yUbgbKje&cTH z)nM!DO~r7AuBrfWH}jSne249xJB)!`rz`e`sfL>RO;11$4dA8SXJh;0vYG@lCz~MC zcNNM4j~~8i`dDr?%r(YZ!4Wqf4R+ds(dUFT=5qxfIZX%*>#cyF9yOHoRvmA!>Xk-o z;utmVI0q42I&3!^LR#x!dcHM1nmw`dq1o%W(uj_ zTMqUOqETmq^O#o>lh(^9S3Df-$22o0*>Co%Szp+x{_-HGAnd6ievqhOOq^`2iA-FS zz+ep-`vZ2AuIZYS^|77?k_fLWTNINzmUbz)s6f0rt{If|y%+*`>AL-oH=jZ3$Nnc0 zMuYf4qxfHsi-Fk}1a6~Oq3+>6-JRaglfxZbMVdNlMQfY*Zl-NC(&!X0^={AF54z?t zk&hhS*^5eU_wSqL7aPZ>StrVz#kHr)z*V_@+3{^3+PiG(ebqy3XfSuBL07uFI*rYX zU&>1j*Wwhjdz+taS?=d1C8|2dp3?2F#M1cjPbx^A3-aSb=N%mbftei8 zp`(bY9hNRK!cphmn6x2uGUf;D^d}N9KUa$t+r|@Vtd_X@ij?wFZgPDd0EstaS1)D zG&?DdtcppMOJ3VyD8M z#1>wT_n9ZB?~Ov!{4tjo*)W&|WlSk(4a~JD80>_S>Juvx6T^K?#^W8$is6=`m@lYOuAjAMPKdiLscMfsRVB7!cfM zmzd4Z^U}Dk%6hrtK|eYQTlk|l%I8kXoZ+EQ)6jPuiXpu`+hjZL?^APu5$Ry>wiP!l zh!FEyW_Trz*H}VJnP!f$WE*yW=}KyShzImIKChU} z!VkOK+xJPIUptfWXi#LLK&N4nqeZ$pIt#y==F2q=y%7Jujz~hNo}Y-#S=EZ*gdGD6 zb^6ICDo_XmT`|>MKS2!~Gg4pZexc&i(9yr&j_FE@T~rHifCCB>Z@f9`(4F9$X*<|8 z^kDsC1g|#YxhBZz(}FDRazaM?1@DPudkqbk`y0Z^LA$%^s>@qSfdf1>iQBR#WiVWg z3x9uy#l_jDF*D>$Q_i0#oR|C-)OYOTp3QqxV%5YO#6VV}6df3oLSr3uEZVyHQxH2v z`<|*d_Y=jGT<>izy;mwglNXSJBK-j@N1V|pc~twYT*lw6JVeUFM9X2{trSols7iq@ ztxtVQ-}w_#eU=wr7^vrw5A4O1y)3E=rqZm7AhQ9OG7^*W-CytzG~r(YQM2jlETNGC z@I~%^7#7ifE0}l&y%=n)2(ScRAoP%QLE6hvZmg4=@pxFTOQD&C9H-a^2a## z(->NfNb4^z{D#L3M3_#d>1G6KR&^ccIE)*&2sS`Iog_)Q_c*L=Wu%InN-dglPoyu2 z)UZ!td4+3hO7fQu8hY++I5^ZreBLbEgcF+4uLDqLacLs+V`h_MgWkqe?X4O+TzSEO zt~ysoQ|q!LF(6~*PB*=qqMo@}+pa)lWC!=Iz=J-uRQ@;CHc8uM-B65kRAo3riC#>G(K$cQ5&k8XWe0pTu#RKQ~|IB8In5L?DplM;Zt(x^?LQC&X<|Q|HfvA@h|Mk5U78HYEe-u+My`8b( z+7HrmH$%w{=a7`Z4@0G1o)bh!r;h?i^#W(`Qz(2Rcg5TtiDR=NpLRMT+8-0|d;a3P z8eme6E+J7mFNirH zNA6BP3C3+@wf>!+Pb8TT*;7qlfeu`9%0B-|m~R%`)R16PDUU3-p=;6V7sMf$h4!Pi zMK^(H&F+-0R7^c+TO8x%XNr!PQD1E)*g_DPk~pD7qb+{2`Fuf$n$&|{lXRQ>ipSvT zVlq(lADF5>+OY{j?tT&TViJQz#MpW7J~m!t)typFE#tlho6Us9*d+z&wa?cXs|d%EiC zk~@auc#S@_^J3SOr-p!bg+K_!{8P1xRMO@WR#Ewo;DeEA^y4jKMIkna$*?$W+GXyx zP;v(&fKdysPQs#}D{ubE+g)+MH%H^ta&G$Bxj&56R7yg)q8HX#eH*eY7b-91)1*SeC@QAwb~dIWkT= zCG)$*9-&)|(ANX#{rxFmA5%6_a3L;wJIS=n{C0EBKnV1GTi%TA{&I4^fB!6TC!9B_ zAeR}}@UISP7(t=vl=9ehClu-&*<+ozdzw`cDCVYb_!C>FF?4rCDViV(gUQ%0U_ zI$IlM{Y#uJF%Q)(rP};UB4CTv_HivFp@r7KHV)qj#5y^Y_m^W1;gz?>*_Vx7Ox?n) z>b76D`8+T)91PQ%Tmw6(9^@Q1X%B3iaAAM0_6Ec^BJ6PSaIUcsj2~Z$bDo*Yhi&1A zInl-EK;cApUlv@hqKr~p#Sqhk8YZA@s%Z`v@|Z#_Yb=Vk-DUBEbB!Q|Zam?{u1x6> zd%AuAUBw|cSER424||$bgIoj=h{HpW8-mPtTLfg83_rx=;jWi(nA#V8E4TcGD4?&X zA52)M>=Np|?OGTc@)z9e<;rM%nnPM_(WdJjBgM(s5MY>qX_JTlomr@9Ufi7@9ncZw z)idtm@E{`m(6mmre$`!U*u8no8j9S(EMl9>P;a?4_hOiSYUnCg+ZLjlXx*W2b%PuP z8w6w>LayEsfv`n$OekFx*B#@O`MKJnI3P3FH967@^E=btC$rYRzSI7fDlU)urQmf6 zbhE)l!>6cNuJ(N}*}*s5r$T@_Zy8BVO!J(2zX5Fp?>-Fr%D8jCo5!StPb`!1=u`Bj zC&F&!sGT)Etmx}T45*i`Z~`2>q0+p(cM&j7GB6L)A+<;|*6l)yJ)347fdWSdyHuY= zvEEp4Q<2Uje%&!r!H1|}2`!Wo-8*hpdbn&yva_4YGetRi+&H%u9Ah>-{HwAXUJnYGa6r~Q2rw}2+3%|x0cI?bH zpLoyBxAaANt;{jokU~Hu>=EJas^|2!2bN~jUDaq`g@5_R#lQ%0K*!!R!aG%n(88LT z!IaM}^z?78g2@^#)O#AD-_6dOBMyX7^?}_|J9F*?fGem*m@pS5t73`-x?x%R*aGA|kB zwN8y^+SfFpBaj|t@h~J|WgB6rt{$wOdA~xh*t;XFs4;f&LrD`(lne|IxEZU>s0UMD z`!cvj59|D9#IxBMRg8E<^n{sgUM=RQ-*LKl>WoX1#=qu;H^^<=MX-}XjP{-5I)iSt zsvIc&9As5o17=L_iF@%;_SS(Wk0v||n|oGS#2|OYz0fiD9;~3bRLd%emwh7bL~0V| z0gbJO0wDL6$BJiQ`8kk<(Lb@1VzWjOvv&VhJRSJgR!#ETn&qnF3EzNq@w}V&Wbaz# z3s8`QHax3Vq8i*MzHS55LS&Bz38;sAb8w0w-NXVaL{%+uXhzdl(p7*wuDb`s`G4|4*kz){_J2N66O9B@OMP#y>@UGiJ{BmRhbL|fZ;SSq*B4vmSX#+F zEcn>skNF4nwn5=x6V|4jhAkVafhvrY^d@SOq=N@c_ze17GhlILx4Oxx0Tv>Xn!cRb z)}PMNgPxummDsc?!>7XyowT9^263 zz8mS~T2~Ha0MRZJ(N^)LBs%drD9)Olu+Gl`!6XM&l)@ip2fT-*O5xUL%<&7hT1q?p zNF1E$o;8j6yC#BS{jk5>boE8`*Is$)KUOWvXaNAx9Hx`(R1hHeAOl9a5s{|OSL;I6 zEUjGnIBr}67haC`xxa5ce}^RnB7B#0U|dhMUv87gu^&wBdAUf8!_?>uDw+TLjiXza zUZt)cYWI?=sY7|&fod<(?#m56cq6X5L*rdLodRsMl5HO2f^Wt-^rgchtgc_v(=XeU z&518%_!-@2->?Olw64| zKhp1DV{%S7Q#pHCdJ`S8s9fR+CYUF~qy2bpb}0BBz62nc9fGCs3+1wCj|I~@r_2&( zg@m<#D7?^oBsM>-Pm;)}zt`;Aavt}hSe6z2Y;%Xg6|MjAOfQX{|J?Zy(l+ni0*=bj zM#i)(bFH@ZrckREgsy0)6p;Jgy$i07S7aN34v(VdLL=A>6QbJgJY}6glb@_%H=}kO%9>m|@se=-2}4o_JJnBtWi@aAe}gH{U>+21@&m`865)6I{-%TJLR zsE%C@!h4NK^CBGcJkhKX;bLVdrTN2cRe3z9qyl_~x&9%Xif7Sr+);+0oBi}TdEky_ z$24$+K`J-L`O6BDyGQJ|c8(oplEcAP+>Uwc8nwE~UmZCZ7_IcTI)>$YXaa}0eE=`* z0`85U_qyym{^(`Q++>Uiqa$KP9i@@}H1b!~zCideR)-XgGT<-kTi7(hlK}uJ>uZkq zS_+8TdG`#4%MLX@O3DvKkec_TO0exseJzeIQ^lnjqP{azrLKmW)K|Z9pqk*IZAa@Q zJ~CG^kmQMBo)O+ql4T9Y)V_W*;UF*+y*r~=4Kl-kr~k$+aaV!2s@uctIDhs7nmBlj z*O6vlIVGos*jDCG?swVcdis0zGITEOz7DWvdoTccy99tyk?z;G6@Mu7p99&b7 zQcMUz<_n~pbLi{0UAyHI>Z^)~qLkSAi=v#*4iq153hAFQsNCvIGVJ!-2ia6ETyNlp zEgD{RcZXI@g+W<0+b%-iCL$_u&=0hQI1e#@4|j{^4+(4KAEpOa4!yTYI(*sQV>V*N zzQH}}eDI_UUaH>;2&3iaMVb4UQj;aHjijSX{d6R4iF(bc*9=>C7Ftx$A2+*((rxFN zXlHKgEQL7}f2sIAMjsC*)@k5=o#g?IIWFjZ$v7xD!6tnWpn|__?xSDh#L88>Se~>w z^!>#+c++0poN|-F>zRP|mtPXK-qY$yaG8T=Q0}nE2$|;1dNk`-)yRPRbE0Ry*USpn z=t=cuNLVp(6Q94NHWl_IiUV=EP1zDZa~0{;7m71%`*1vKZnf99EetvMgeEK;W;3TU zEAo0Yh~y?^U?hZog>lkU{~dc;)CG&V4vZ3U}@n0?@#EG{|jBJnyjGdAL-rLdd3 z_rY9|_$910^^k9RIbz(cxYujp(*heD&r>WOl4vKyrG`p3Ovp5GD;po4Op}aO5;;;#1jzee&;J zAFXOIVR4gQVmCt;r3MmN1Rqr;??ZDi=xBpJF{X&W)7kLqH}PN%7+3t1ogbOw+mI3{ zSXgEFas>iU?m#7bh2xkvR?lQ@?vkTvV>LJbM4Kg~1SVhk;NKEF;It-t9OGXRkVhs8 zVP`zvMGDLc?62jVLi9$Xd6Y*)ol(#%h6(U-wR3t7QG3nWzAYzRoN(E<3QzZj$3H2Y zt(CE*r&i03XK)&FWh~v_vfd^Ns;{s#SM-4MaT@{;EYa`@wDwFZ)%K+nE2|Kp1*bv- z^3|r82+7Vg#3ZUhZV31)$*qH;l@>Wi1DY�Cg3G5%&>!L)W9YVg!za9y4h_i-vP> zxe&B2hd-ybyD*ygs*W55+%P^kSx{0|HKgB-nxE5oOb4Y4)N`r;YuTjSot?%kb4HB7o zAt$Dmg~DW8edf#-Hqx_Xiq4+l@vw3i2fbwwn--$OTC9vJx01vXP6ml;xROFlqP0SA zy{=$u34}0>%Qg-TPnIa~=#w+YZ9zBn89D~W-I`0)p~1>o$yGt6=DXKXwrr0CUKC|V zPm{O~Acu)fw7JfC*;DozW<{#ws z`&m2H0kQ4wKQZMp3vY2ARt;!MXU)FV^Fua5y-WHiN)63=9>|rN(i-(v4oy06epmsH zu|s@p7xp$KVg%d_K%+4WLeG;;N2JpcmH9!qdEpFmoomA&95$D*vH40IYs-&lEA?Ej zicNo9Kqj8mg*klGkHoT=snvVZgdx#Gd!c0uY+8+X6g$Fl z%6CRrOJRi&ejEp4o(+|=r%)|Kmk$7k`7>MH9PyT1w5v{<4hO!^``pJ5obPDLy)zgF zk!8+gw;U|a+KT{hZ%Y5fY?jLnXz3D2I!4@bJN9EFUr+oGuY7974Ni>%u0DV`+$;;d z{15KQvb0{DssLz1LQMa^G17=##V?>q`HUPGoc`8tgTb5VT{#4-D(AchItjpf&FEN{ z)0dYQ8Y)h=UG5X=Hf=>Tw#di~L1gKLi=DxA)4z-zXDF19D3)l-CWT`jX#5IgRv~w> z6~ph_zA!BXBS|#foNM5EDdeiF`>>5fLrd_~Mq_(f$z858?Cn{Drb@==5CQ|(l&R!W z4^micmJ+cH4L&_TsI<>)l-PioBo%vOn`c=8g-J!TB2PQyQe>g9E?%OF#1rYpRX}nn zGYV(aRQgi@f^#>Z21O^aXJ*|`4a^wFr?uDFArDC*AMmu(TbSMDM@l0st?#dbQh`(X1Aql zv?3z%H6Z>_LB$P=b>0B6g~Sfo8L!%6X!SW5%!1B&wU0k~sK4Fe*05OMU(m^p#Y3>p zMp0AA5MXKbD=%mxT1LW;MM8Jq1aq5|d8T+;sMa9(#yd-%CV=M1Sw*zv_Vpudv@9mp z0T=iYYco$oo)vVy-wR~v;F-cgAYYuQ?)0B%^l!gd3hi477NQg51c|@Zvmudnc3H)6 zb(gk^JI8575F&#y+@{Tx8Wn?gqHbTM1=JNk~Xf|Cm2ghEh8uMO$0OgWaHimnwU z?g8sUUPC_%wt(;z5cirsePxfmm@OVR+o?AoMBv#rkN1Prl^*Ubk1lSCRJGpbh4i4^ zSQ)KLbvB36w?=NXura1Y*L4SfZVMjYsP5&G=4j<{Nun*Q14ptK+h`mJrHvUR$}0u& zb}r7<=)2y&#jv)o^gkhEZK5e*OzljZU7Sn}ZT}ag#>#_$12|cl75qSMVF0Y0|7~TO ze?@}C!hy1KG5_ZmeM<$g00FQur|R>7Vl>~Cg3RNCFsIg9gQGRC4S{Im0hl?PIrc%S z1pzFKsRlft=*=IbfC(Z13vNKmUyt-+z1{gVNV zRG_Tvtf_hNkmQJ*Tpa(;V8h1Dp6c%e_-8WJ*0#r!sQzcLIT;3nJgt5|B+}>!Hy#$W z`A_uUaR?wHbJazjkvWJj<}7O z>{T5CGvZ^Y*ZiZHc#U^OBLwZzAei$PX}9Hwo^L&N-A8azsL`a-h;OOVi%A|^Uk~tz zQNz5G=x)aZP5a+2n8@<))_991fe%DLybV5WsDqjo%21sIi2Wf>sA6G-ku)3J)JS6D zZFX|A4p_p+PS6ThV$nDZ$^Fx>rNaZ)?RQie{iVq2ucllTzz zj!uvvxMQ+dMiAGyn&xUG(HxZC!G#>UZd^7zx-_v&9RFyW&puoli zgGA^|Q71$kM@X78VhN#$v!NxgjgpnQRjUvirD15it~PNA2a*;9HMu}OviuLc7c^h- z9<+C_Xh(kfD52P_5N^JWwhIuUjmirp+rl|WOBB-(yY5(N&9)9C%>j9+?gyf`RQ|jY z`*1NyendVu`}zrZB1c`#)ye&IY;kBmOMKhP?!4jKp*;|@^_6KnEZ@UUmSioG@_umf_Hgvn#)9F~p-yYEnjWGgR=-o1k6$ml(yZ>c1t&0rfR0|R|2P+M zo|J~htOZ+MsJS*lK1u#&#ujl$i4;d8B1gLT;*+J}xr_ zMnhV4Gkkw$Vna`F_l5_Fa6d=S7Hu5ay!qOgqOMe+PC-kI{|g&%r7itJ6*|3?iX!*oIM>^rvc@ZB|YNkgAB*2VjVo(9=Mtlh7Cq$p(g`>#VuBe zxiRQHh`Z zUAYOXXD;HzF@FYHPkh`hAG$`5e#zrFN6X3=BAXu*bEk@ynOZ@f>fl#60~4Ar8cZb8 z`87<(%^CjqOp0!%8Gqh`Kjbk}eTB$Id?Ka0n5jH*hV=zrT$TqS+7rVs;|^;jN3ydBE2iD^qgP}3x8s+NXMeg= zXhE|L+gwSWSAy}~$~Sa{VbVO=HPop$w`HzdRE-dCMXT+7Glds-WiAn?Vin*yg`SXo zB6GW^(PII*);9^=1h0ldP|Vupz$m#u_p-dxpC&154&F1G)>y`z zyw!yZq-WTWr%{z0-q63@WJ%^Tq2#`5>+hvHOg>^CfVH0ARlB_#P7UP2l3fnUI& z_bV`Uv8-nPaBvlat9FdT5N0Tj|8OF|=cs z5KDVo7o^z$t9ZO#pP^<-4{nisNLUk4jPBRgt^>}ouQpX|GNFmdHnHyv; z>?l(3wH}@lP8y#2hPOMVirZ>lgYRyGOcf1BQeQC1W+mz;p9szGf`8Oa6}&KPH6Ad+7M6Ji)J#XJ(x0yd=*V)P=^3#8VHrZc#L>*GZ4~A(rRGd458_0 z92zUzC~gaLe?)Sz#>3uch-qaoLd&f>cQ6WQI=pwV)Jh~p4{}UqC=;vBda|Xp<6af) z0U?bK>l{84fma$ST?Jr~slZ)2OTlfjXbsFCQGs(t8TcKZMCIQ_6|wfbJS!G&TMpUlod^R6PbJZPzAiSgYbh_-+4aM_X>)5bo^~!aN&F(0q@T(u zM4;yAwgMu%NyXVV2Q%WeaC9w0>=DW+OJBNu9wJQUIPWfD%;SGbp@IW{CSO-?iqZ?|!r%6|$+0@!j$_GB6u!krOEq}6cKeq| z@`FA6^?4)*TxxIR1G5j|OWZ-dW>9-J4(Zc;ur7b{dz*so>40IVINN`^t`l`@q!HP&E$I9W1%qMfQ+%ms<>qsUC2}^M`XH7BMME8{ zsH-^dlw*?Y_6()-Q2_Xq3W$4Rv9>Ubm?3;radp+PQIEW6#emhvIz^pz?=rC=<}ocg zgSzT3xHQ?5@U1b<_gP40o=lU!SJpCaO8|v}bV<$D+AnxZ{j3K^P1S9)0nqb}= z+_iE4o7x~O;v+_p^+ly4tL2+s?hdr}20`2WaiGDzRB6Ejqt=y*%mXV*fUeolw^(J~ z-v!Dx;&d){oP`IM5CWt_SWAwFM~J*)XzPSMi=y~5DPV_&9UMxgs4h$`ymgiNMlWP= zIF&X7_^e=7N~%Q}C@XW%YymxpLh=}g5;+yymu zmAM7}BQYutSb9S;;R07Rr-MVmebut1dOC%-B?%~<*C{3vCy`W*|n^N!M(Q4 z4as|*xwrx>*Ux6KA5R9V8zv@IqVyVR)G#mt<-#A+*Ye>Ms{+N~S@8o00}PPuU)cnH z*WbE984$e>;i~4K$253`HD1tqV6OA~N81f!oHrv^tye{}*M^-@dUYu^1k4VL3>5g+%EV0k?i6(;zgY>Ja8n|t4)N(U%wxEv zlrNRsxr16XDei&>5oQZ7`*VC6azp$R57-z^5zCfve#!*KX6lfnF?y!vjrw%A|M)=n zcRP)LyYPzG3|(aw2CCjkq0^Pq;}+YZPNT$v{*E+50m(gN4FB-h(gtPDbc}&{ZrqE4 zrZZ|NV%)N23K!1$MUihScvK^PbHw zs*Pk^e%n~tRzPGsaTU#<6;up3x_#yT0HS+roo}N3Qn-*bIZe7VCBn27;_-lRmUkl% zP7^ion^&4HZ*wr&8jHob6BNZ}aiE(htksMYJZLa*4MF<#OiCS(VN^RV6cf8tJ!1 zFr-1=;|4hU+mJVlxca^g2XYFc+y$DAb)6D$>(S&z7`_~F*`CWz7+1Ba8mKGZ)Kl7H z7*aP`v{sdX3~yx0#A%gsMf!-qCgwqyvIx(Lxpr8Jcr)f@kE9Jw2d?2Xd1J$|d-eKt z+n3ERdVX8_3>U@&sN})zhm&_vI#y?8~=fZLRJ2OS8XL9GW z2QOs=fwdS(=3$#<(E@;~1e%T5XoSjO`{pA;p+7mnq?F-&iA0({oqPN?^zg@R^$xaF zqt1+kj@?kGfB_!^WL)i=^38weD6}) zdvLzI{m&w6?C!tk)9ilk4!lH=g|@TTjcv9)4Qrn6gx{8q_y#FT0($d8?vp*{1xfc7 zooyEP*(GpmRd@J=S6=g|ebn1FcL#@JQrmWb8}ed6C*DcT?5I-jllAN16UIWRVCY#d zTm-oi>iAQ%$^Gr={B=O)u&|V{?g}#D=Z_TG2DxEQ!TKn~v8(lklTWF`Lrv$qT)7u$ zdEiRbp{A#`rWT{70kqlZ>2j#{*sg9#X-pPxrBThu)=PcS9r)gM;xB+{CI$Sv2{BWi zsEtjm+#r{$&Mn=VlEzBu+NAyyL`%3SSli4f7hbhQgJ@?f9Ld7w_Nd?+RVjc~bWU*f zp+*DmmV5Gw_i1PZr6Ds9l1^2M$%jg7XqNpE+-2FIx;`5JhBMzbeV>D{QU~XwdWd2GC zi9@VCX`rf8Q;V6E?6eb)7`1av4`K?Esu_VS6y&3%YtGvRHf(wdTN0bzE3$Ca1W5Y1 ziVb(mKyO|ijLO1|84c|JSVBvi1=|{B(IKRFOSiAs4;8sJJ zpOGJoDcdHL$NP9Ww2c))AsgTVHnZ9@&tsdT_|9NE^oi4;>-pF@#>Ba8*y23G^C^d5 z6DzxuDO;|0oD@BPrjC=Fr^i1Gzx8}ZjYeTIDlQ}F^>Zv}UrmCE6fHK%bL3Np6B7&pMq^iCgtGQlW@ZWB>V^r5@ zT6v)PZG9*~v6jI0t0C`r(04i^TA}0NXV>NYFG~5Bj`uU{?N9zJI)$2})QZ7mU&xQm zQR`FBk9&?`0sQaj)NS9#NVYjgU#BKKV1Tku@AZIyv*F9cqRGwnqM-u9H_+L0?0VoZ znL&ZRJ7;oQuL{Dmhv?*m7TeRSj+-ktm%oLRCpYijgU$Q1-e!LGLB?C8j?eJs>;Q%k z3&^aycYc4rT2p~}U!NWNwBa?IbGdcmrSi`?DQ~oAF%;Jn*Ob^7Ul$V=m(1Tj>_6PQFn6ZO zm&^~IFH_8qTe4@%nXA_)E?!sxz1Sv8wu|o*ml^bOWRL3)ow%2O$=8%D+l#VCo;tN< z=}uxYl#Hw2pE_~nesSr_jazaFpxTY!CmvQi@^Q}ar|PysBQ|0bYl%_Cg^Cp-Wv(|?KLI-r^ez{=9}0azgg zu(JIJUJ-&i-~w1Vn*WVYSN@f9{fEkHfCfSV*qBlU1;B`#9}GaZhgPMo~ z*x3Fr^LYgAlLD}DH2<9TmX-Ul;V| ze^4=UR`>(dq)wxD;O@7YC12*c49#1l~zS3*0pCdfx?5*@lgm$sVar|=j0Fw zDvX1P2$LKbR9>6dS(E;IPCzTNumdQu*FmtbK%yQV;26n%5Nq?eLprPce*jHDvcEGY z0J$N>zk&c&e=B_>b8B-4fU2#Pt&6##8Gzfx#f9I+(V5o4nV0sTA|+#EfRmXqz{K3j z7$77kuOT5T1|S!cRRM?@+Za3OTLI*q4Xn%!0n+A%#x{<|6aW)j2Y}VT9e|;&jgk5P zaB`&m7Xcd=V+W^yh?zLpS_5Q6lm$fPWR(FTLUhVPe*k?OBY?E{Kjk(~j-3CXjSU^F z|7SXCfYX01EB*gk2LHAGn{{yew?zxXzyL5ZH*^9R7@L~gz|j4VZW1;owgA?DhmD-= z{*(HLkmEo60ObE@NC7Z1Hu(qbY-J^@Z*2@97qYdsb9ORz0La)H89Uej6m6~bZT^GO zw>GzOfB*mD{x?FxN&g=m1Z+(IQI7uKA#+Djb2nond2^?Kq&CsF`bVOF#np`eeJ(P_ zM&{1e|E@RwM~{C_)X3Jx%Kd-0{AY}RHKdbM5K~l9p!)9u{3|VDV`yt+Zet2ia{5P0 zeFvle2L6?n*Ej$7_WXy;f3^w0@PB+6eJ2NVe>Z>@J?;Oj2mSwi|FLxb4@ywb*3FZK zft>?D!^Fq{U|?op1#mF2dH+9j4V@hvjBT9$CHOzH{Kx;-A{iUI85_c^E!!G$1zDst zhm`q<6wH=`Q_W86sZcF50Iy7S-)JG351JY29$sPJD`V%n!r{&M8}RI2?nvA>5$VSo zf5RP5Ohyrg=`3Tv77>@5`c!YdE9AY^h5fk(Q^m42lm)v9zjI1kUki|@oMg_(KChOv zFX2HFV~El#ZSMm|+>Tpac(f6t&>=%k*ZhVv-lwWUoHYy1zc%1|-CF|*%?;dzyCK2S zHOnvaw>u2gxHtV~f>qlwu<3D}cTJbHe-x!WKEgT*4d*BfyZ=T^DlsRS`n|rW# zpc5;s7$Ys%M$8UPNnlyQYP`RCy>d(L*-t$8IIi9fT}`eT)@fqr?C~IrVd5bdTCqgI z@iEtP5fWg8q7S^SzDSugVn77be*k;mP@Zpj;f;oNfRbcL-CU2aLj3**zPoZu0~V&w zy!(&Rjug;J@2g35jsX`#G!Y%6+h`gZS6JM8lkGS^^hQH?B#w1FtrkZ*Px}Y|+@@_H zMF{@ua3t$bSghaqS%`TaZtT&x+WZ~5MMe})Ru&7C7H;2S_(fGHC8Yfue{FSB&%oul zoHCsW7N}@$VDgt-seo-sI^Ko>y&{a zb*5VY+Gl1sAY%lJMgjO;f4~e1FR`Y;jU4WHo&h8YsC(gJnbV&UWxl)`K3e<4zDy-q zgj|?_F~}ndJj?yaVe_EJ->ip>|0~D49BtdAm$Os^|1tb}W#PLD0mVoUjxp&w44Lfi zK36@n)nBVU^f|}WbAB?Z zjEk%wc_hL0XrHI4`AG<<`NV1>io#+%$5`3p{7m+xp`d;~GTG3D?TR~RL?Kd9&~Oet z7|EAN8j&MEqLmwxxf$uY`>$3h0rBqJ>%-5HyJIdiv`*_GN6Cuw6gq{ObHeYq!fy2p zhE$4UI}PdDxTc)}e-h6eB(D$`ed(ew*=m?~hwUzxcNFV2JH+RhikD+r2bvnr!v*jN z178MAzH<2^Sp)VI<8pYJp)TU(r*2m997&#)eo*$mEIupT&#mo7x8*Xbw%ST$yotM( zGevu z#HmAGkMHsstc7MBJf%kpBJ_V|S~>S?j4?g%S!r2k+FNfte{=NOZc6rSni6!f(r7#7 z<{WfYSZ>gpJn%8aAl$_Hu6Jg*!MP=_a|ymSf`P<K}smdfjL6Z=;a5M0&6tLM2B{k*7 zq555V)hEetlT6j55rxIN%{l*Of$*;6=gDD6_e&Te!oXy3Nwm!f!gC)Sh+Ynv6Tqtu zunX5Y&#FrTgRf*nH%6qx)Ksl;e8EDUIw6*dfAwu?e6!(orVHPF;YsdySZU0iw*`E)&!|Vp z$LDTLe;=Q`k?e$MU%Zxua|7Jni?>ut@Tkknee(Mm(vPYOZw;ltEtuHxYo};cItB&_ zv!?i&`?3el+Q*>kMtA{c36Hl}`mia3{F8Wu2Ms(1b;KZ`>sLPiS7TjT)-`41aXZWJ zA42ut&#@G!2iYT~EE(l`%Xq0z1U(XPy-+zXf94c%h1gzh#W1Wc)7n8HF+W`4<&Oi* zZNZ_Tz+xf^Er_ZT{Yr@f>>4Nz?HfPDamV>70yK@z=={c%aB(0}zf;e=`C`4dvlBY>^wu@1WltV>E2!0ZN$^5IVw= zmCM)Hl5&qq{9t8heNY8yBf^-@kwPr~=p@03^_=2uHM_%9@0>!A8TJGSXo;fhR4p;Q z*ysi}-N?vtJM*UVn>n+tpjfHFmZ)lbM|9Zal_if3ofD}^o_d@5lwaW)Kr`byeOX?bvp*mY%j>;e}AVIy7AJ8`||L>Y(HtkwABz4h99OMfB!L{5wn-; z?R5K+0$L9&oCIpp$aIT$dQc1EV~SNa_p>@0((UwLN}$r%1}1TR1a5^lO&}h@CAshM z-n2>{Cop#GM|~I&$OF+fz$AAPuTZ)kUr^5Fp+n5{p!5rpc$5Jfz15_|e~dtv#DJ*z zOc%f*22+d%sh6=7w#6M+8S9xLSaA_c8eUj5wQ=k+_7{9vYmFM?7K~b>YE9_1pYZ!W zowJAa=wm6u$S?YS11SQb3&ws@>usNi$M0olvmSG_;FO1cEn!yW1QciB2h;sm30ZT&TjcM9vZRMIB zrEGKyekQ^SrV%iine?il``VHMpNY~uI-o)3@)XpjWNqGS)va!OO|)GtR33=Vf2a+x^Q3|pb(D37 z&dfwMOFV$44%lrf^?kz_;EAQL6{1b(Y1iOBkO;+yBzB8=oGigbW(MFL59UO0g( zhxo+k`Ni0Q^`I}H1~J;IM?2eYy+(l;NPB$-nHvCphPdmYBLHRjy;G3@N|0$+XHA#p|_?z|-exhZ@&=#mYV zra`H~jE#s%Zi0bMOOTtnx+LRLj*;1fzCw$*&hwYj)G!Foe_9c;w5#n$xb96Ga(O4x zlMMC+tNpYf(vxPPM)T#dd{My-AGuF8w~uEau$dG)1aIFfKa3T90aH278CuGxD{Sn^ zMRr+dLmlxBCf)0?0a`Hg#0T~3UYp^=S#ops6B{|tm)X82hp>h7FHR`MW!D85fCX81 zv6+Zs}di#65F3Jpi#C6X-`ZYw< z&qM6WGHrMrbHvwer}MF1{x5u90IiuV55F+Soz8~&S*@~b%6(%!$mezKlcnQC>)JxQ zQYfE~WYW~IHq3#JH*~7aT3{j;HX3tRUV-Kyex~q^e+1f9AN~^i?W@J94cIrhean70 zn7pr10AZb;6N-HDsG4^gX;By+zHR!di{BJ1qO5Ox=rn!RjE_BKw0mnS3`U~q%MN`k za#v=m>=BKTD$Oc_vje7i7ek>r=tOasX>9c_@mh4b;=kVcri;Z zXx2^6f6A}aa7JPWErMa+C`rc}$-sfC+%h6yWr{c4%1?Fe$>8sZWq5`4I7m>gHrVBp zU5r9X>#9;~g?asAGJAuc1;hiE0t-IfK>FK22kfI97g2MKkzhxElTs@{^`vp+Y-6wmz2z=bUrNc@wuxpMYR3k4 z`B3;^)j)+Oj8lD53uUCQ#X+Z6^?~?YJiTsZp%k9JP*Q#T&AR2f_thag#hG=wZK0NP ze`5N`vgehEBvZB?pfv8pugiL}Ia6;}JB9PQ)o=V^^m*3d1WAq9wn_&aU`0p(|21*z&45dojQIOc#$ixDwXD3R*io9e`mLKuj`C+gxA~g=I@X zLAr`kWH;)`@voezBY8TSH%q?tI}xSJTw8L)6HDWVVmBZW7k{#WB=qN;&kwy#e{#9p zE`h)h$i$+jUkHTe@;Q0EuvIRmK2TRVIyqLQl&#I<8jN`4&M*Jnmc4Jc z+gJA;BNKWWcq)7(2^t#2G;oRok!}y+q6`z_TMrhH*%`l*RsHhp__UKQe+aFW!o}PE z(Ov2pT+sw|o6&*YOE=*@tLcUQ%B-1ji`rbx*!Xm*mY2Wl9B9K*oP$u2c$QTtx!gQ7 z(HmZ9-!z#prO_VFsw_zeEJZl|%}QMn_3BhxwDqfNYGPi0wIeu7FICp*{l(l&)z+hN z0zeJ&`zj4b^}tWKU(^&9f4{By9Wg{7^Gu==I}1H#4HB!2jz#7_6|@qAFJwy8Gf87i z;^iDGpuJ|n>S%#T>o}j-7_RIse$Uhse3->P_MYBUhSE~|b0VS%dMvTgS(NT68CCCb z;D*;7C&Pk=o<2C>!qz-Uw;Am=GPzs8*EU0ScPDeXkTkp;0ahw&MJ@Khzh8+SO%b3T%L$poi zqeQF?PDWJPNM5{Df3!^pVzKAuYUgA1`W7}WovY)(Z3VoAkp7Yf9Tm%&zCX2Bf7*zhHHQX z5NS53QZ4pdkeM3W(^CqnYVv4Z@fKooF=-V_!gP&e=C76tH?7g)76He?VYIcv#x5ct zgkioXC4{dJ5J9aC2+|O%8VRf-nVvDf2K_eLEfe_DKW@FIWIvCYtzV%MIEUf_o>NQE#9m5S^`Cv#CllD3?)sS zmYQ2>_9YBtZ{jnKLiFKC{AQVvZyKlfGlD<3u{`zZQPgaNH0rC3AU{9r>9{YX zrksj^xX;nYPoTp>eDkvhMabSEd~^z=f*2=s)|9tVf0WrKSHv{n@)bLzZK=$_y(YnL z^eALTgbQ>~)#ai6hLbi(j%WC8aq-%+#=*-sN1uQllB!{nK#JascXDk97Df_hc{2e& zb4<8?Fp_4&>O5&g3i(NFQo8+iDFyF__px-7@kifwL@acUC>wBsc^o!9et2 zEasCge-~FzhY9}r=nvXRRS)tf5W5~~My9T<1J<*b&jZX8z zFKIP!w9&WRBF(}8c?xor#B>Lcl{%#tKd2YN`SDUi#nptLlMXNVwn_F{f zZN@&?<|)%SzIG{Q%N@$GNMi~Oe)mS8*KTk=OtwCn`xk`3*kkbe2G~axp@d@F0T;=XR46LD4uA`Oa4R| zl6sT|DXdsNhd(JNY^lxhPOQOH6NKm-bp%mJpZg$B9hw8U#X{Pb7?0aP2^T$9&0(G* z2b@#CI2eOWUYd_1@V}Llr`@2K;9Abse@gWd0Se8v91)@F+S9VYhiT06?rb8HKE>4o z8Zrfx;;u>LGQZ_qlmCz@l%T!-H1Gb77{dA;F`Y1ai^4zAHiqK$xW<9~qe^056 zoOLEx3a2NsbO?8jpLdjXtZ`V8HFW4j6lyJAKCU6&SvS^t@@@%~5QQ(H@0O`kHx{dR z9$KcDmytbB>2A9c3J?sT*jYRns1eRa+>TV!257CMto?QW0YinQ!ex9(Y0;}i0t(XY zHTV@5^I#w}KX!>9OqL=67a(;Zf4TB=-#%p!Vydh3d6WGRS`$U5?C8D9OcKS&E3DR} zlpaEzC=@;LYb%FHQ6HWs-nah=>|8e1FvdI?IJ6i>)!DwFl9KARl-~L34f?$ZWU4W} zc%IV!HWL^k&}semo?)Yh2iK2yH`3&G{V3Bsj801$=O;5&8DKs#ivp+cx<$WdYfkUe7bnbzdOb=E>(8NplKG8)W zsQ&o;R*zFr^heuq!mSyLR{$F&{0q&zOsAE}71wMr+<(r4rsrEJ~T zN@GrextPDXijbt11FiE`sOB_SvlQjfmu^Gf_}@h+@D{1t5;R;=e-=3vE`mcaeh|Vw z%B+}@{3d7q$1Zf7!Y3OmkD{Kfg`6p+NTm^n}MwnsjX0?_b=I3Srj!Zx~qXfna(z z9e7n8@S6fV9qJ~{BbzFJ2Bc3z=+-WakUz>jA;p8#WRtVdM|MUVEET};#5VKxOd0Zv&q%O# z^ELfMcbm1_0d9V&+`oi7DVm_SrPKKVyHmaNOfEc$H^k$8gOcOMH>;2zn#PmMq=Mik z%1c&6*C3R0x3ds)yHdStRvTj}z~VL*{?{oueyHshdzrBtwbc5R8P=G{R3g}M(*0P5 zi@>7Or=Qz&f9ct?%C^hK)7^`tLbJJ`iz`Y9(nX4*s%3?H zPoxello(s6x4-SVVmY;3RscrBfzV3S3i-d#!)-89A#NIpY1#c=k@4U|3ZnFY7sl^C ze2xTgV*~~wgsv;~LNHI8@?(@I8plwzv!qqrlr#!yM9>@2EdOk z_SJdU$_iS9N{_y&;5WLw>Xv5#F=P>Mw=ww6NNPp38u5$2>KzP{dixgg<*;7MbvDAg z(uB!Pf9J_!T%w`nz$CPknldRp8o-ydY6V^pzj(SB4KAtQ=|o1~V+1jh9dH2{L!|7d zlsLag8i6gg)8Fm$eA~EnMqo1ZE=UknBN&fW?pX3np482a0K89%1DR zI|&K9W7m1skdiQ_{Nk%D7t5mAH`G*b`xP*2M-q-d>bd7C=3S~f4ial_eeRt@UZ>E( ze+ZSa%&p3$Ke5?Av)zE+y>DaAPb|=WP?^(Me7?A*aT#gR9~pMIEqwpXz5NWwdas)8 zc}J=jTy=N9R#IW{-K4*^25&AGk0!KvwoZ(PrgBBaIF~$;fC-+SEg6hKi||Wpa2d{c zV)ySMm~6SPbT@uyby;-4CMi&zM1I z?~8HxB(b5GK9(Jf(-5g7V267C^P55xW^rC^bGzvEkU*7e;2B2)(VFEc+iB4zdlx9~ zB0JXY#r4nmorhdmr6a)l#19wPnCj_pUAW#@Ck(@?Xtj{mGO{|mY_&V{yq)&pe;Mv{ zngpTBp|w=Y7pXN+RON7`RNh9x*fF8-4-_{$4VDnO?24Mm${|7OO31J3TbVL_^=5te zl9Uq(I*tU1q>s@+KbIU=I1|kb@u`+m3JG)ieEYc2E-|9Z6^&80lcxY|s$cM8jDaQW zdw#lGC|ewnAhGQos!qT=G?15D?TshGi3)b8W`A3RO*2T4>uke>vf7(4v@2*28mBPw z!>_Nz8Ir$D^so<&;7e2g`M)o3*06Bf6S#TSW5^T z;m)~V_Axsm)DfgJ7rseVMV}8#2uK;R<7$!GjqaZ$(r8y+bC`n!{jVsL&u7Xfv76bv zBWC8Yd%ES@>Tg6VzPZYN5;k*50*5y#q4qc4_j6K;G8-;x^@0ML=zZF!FORHuUZ)Y<2y=AWFaOH zLB8MSHURgQwsG2%^)P^7McW!b1Tj*cF4mlx36u0zBJUbM{PoAJe}G{%)94RuyoAIN z#leGhEl^_=_2cz1NaB3_k@mj!)H4Y*0tbcF3~T$=0CS#-K_Yi&aJp{jnr^{HA8DGw zb4;|_7IADX{gWd6)6Tb(E4!r$)~sKg*4`5D&RZ`l)BO_fzIhg(jXMN4VcVa&wiE(d z&aUCs01p*6VT9P%f0i8A;V$$!f>V96{I|>PN>5yt41M@U{KT~7)PW^|x>MU{{px@X zpOLWf(mk$Jr-zJ1;mTX`!}zX?I)@T+pW5PiRF znqZ{@3qI2!m1l_oG#v4T*u3y`?)-*0*JId5hllZ9&YmTWe`b#X?MF0f3Wt5Oza(9u zIkqHp-SiKJi`>rS?jp6@Vsqc}>{u-%Li2vh{N|T`mz%Q4x)2ZX5Qf!3k<3xrCC&>X zaNQt_Ymyk^!gzch;F&QqGR=&1t&>Vu9`=UJ z%D9acP5r(Jeg!>T#+~iX3#C4UhS|(T{P&;STIo~;#3*i zmt$?tZ(7(Wko~ebe_wZB6dPBk)jNUL*7})Y9pn|1z<_PPsBbAQf%>ts(2v!hN~XTM z5u-swe+!lrSZ!8R`Tq6UWc4ZU_e{^(rm4qC%2=#sOVujlq`gLP-4 zicdyjwP%Ys(VQQiPWTk?;%CpE(y9-XX&Xdk%1k9=+2u};jBf+?@HV*&+4ZlDifM)6 z_9yILaodf7olIC@BwPY;c;k;x`H?*nolnZXe+jceH~Q5Y-S~EnZ(z40ie3r~E;TV~ zhh`}G@P8=2M^-heLdk@%c;L=>B9=IYL0plsI9$2cqWj8_Xn=zMapjfCE85VDEKWDh+noDzohb zf74y1gcoI>@@KHng{bOI(L{t-U7(k0*w#}@6J-#j8uF_lD4sOJ*TFRkYJ<-*%)vpS z_3yGe3cSSQ{hk#1I5fV6U;y3su8~H1d2*KSRL3+gDcuyTZsLKRKz{AGSz!yx3=yTw zVgBb=sM&nVEcK5d50`}Ev_R)F^(w{ue;6Sta96jwo?*S?XT#DS9 z>zJ-fiVs#SC>0;_X&0m>3!#0GkCEvjoRC`9`1*$s+na!*z1hr4m8*2T^=SrXfA?vWCQ$FdMKBwM zy*p3_Wi+k_h_VFKyHYSG4_Az~65V1vv z0|~se<`t>MvgXV3jM)~=$(g^V4KdHOx(UsJX=MOy3Gp%SosfN>q3Fx$l9lQZlr^PL zayokPc96fGNv!9$A(Y&(rc!yD#YK63as53fr4X@4*k6HaAdoik4Ie-zFkmSn)BDfiK}nv2{+Q?k`~2$>wd3ak&@+^iu@b_+PY z8IJJ9>Pe#?$#y9cl_Liq)0OyCFJmc@W$hN z$AHgdkxdm5*#NfXvKw|q`uIfgs6B^vNpL>(?9fk_L!uTlamSX|4X276o?ni3zgpv1 zPsqK?-cwNZEp=kpf8uJk0NVebZY=(pFXorjj3jt3Ta>(S0-0j*=|t_l94^LVS0C)(iQT%o^YY@(0m=Y2F!f3qNQMZ@Ggx+-BH zkKShD5>axN$8qJ~I`_PZ{MC8Ux>3Bsv#w<0?1ap4=8grgf7~ zfLSPJnC6-Hb}z>Xf9L6DEe9un9?FpKy|V82 zL0M_M-0&1%A;wvajFumxs&8tA-~*5SS^dVE!mZk*Tq-{KRHQa{Pgt55J<*U-?~ti& zNxkn0zGm9efBKO7_XvyjX_7he&?fihsP{FD7Ptr^!FHVc{C$)gGl3I-V<@dWH-p$< zGoDZ4T+Np0ct=R2ikERE}fF`^s$Pf zjy=27@PYmt)~tCGQALL+5r41iQnQw7ZjQbN>~w<~e`kGyqiiV@95T)s@=Ag#y1&a= zfDM`!jSOqQaHZGV7qD@p%$khm_1A|674D|YMkUKpAxM&%E_&RzbgSOu9h+-GS72gN z3y+l|H*Tq9S47VrXyoj&vtnKH5XVH5&MOgB;O+eSLBu2{nxv?2Vwy{rE!L`d*Fs3S=CA2NKI2fc9upedBGJ*L8s=oG{(79`&L_ z|0{K{;NDoRIWWmvai1<=PZ2dVo5UQXlQiuPfAJgk!&KHfa{U@pk=3;Mx4!AZnJNFe zOH%c6P6%Ny^ZHs}0+}kX9p`aHVxeiZWOx?O$T0dRw>+PpI)fWOaOD);!=J4x2Xa+FvhjXSb$!epTNL*6P$AN!zT~ed?Sb z7ISdPb=gvu5asuu+R^j~C1K;@8McD#`x8iU7Ef~R*0fXuAcGxogWP0CHvXrLuC5&c z-cAcv-6+rG6YXR5hAAO3@(8y?@rNF2f4`bDQ}65maOM>3L1m6dku>!r1T~&AxD%jK zc0-t`MhIJ|DWSLGW4tax(DF$z5`%mo6yclbTRoA>M~D~`ZQZC9pzikbtm8L}eVhnm z(AQP$FxGvZXv!*fy+AI9AyrkSH46Ac-z**k6d`3SyvgqyZh;!Q8?|45<>ZiYe{^3P zs`54u+%kv>PH&#e@_5puffWUF4wn#5a~k#S3eB{m?}djIe1Y#u9Y z0X?VVbk&p){#d6s-7Q*fKK(p#D^aLdC!m|`fc8Ze?D%{tgp&OYmP{o))m?Zkocj2c zFQ6D&6Nnd!VYI-6`T=%_3WQ8Ne}^*cbf*g6ASmJf0Tf+|)!0@2(|j*4wXy>dSMkBM zC--jf?3@H$4+C9Fq(fo$o~GES7kv0e@m&mOuprHt!YDC zyCWnhc%xc@`HF};Y`BXuOajE;r~KTy>ylXa&p{`tHe2TRu$j%d;FPBjfRV-*&)}*Z z8nX1_-+IpYHG~n_h(O&od!Z8NgIzBjlz@1H=r+@g53G#d#ArxYlQv&`O@v;mVu)*O zzyNj~@7Ymmk|(xXe>*keFOl_NjI&pWM{Qf?qwn_cXyp4UZXMw0V7G9+?!;B)RqJX@ zID}!)=vWREb;tcovqoi=yyYwlDRia78-Ysjn<+$HqssQcs>AJ&6jH@vSDA68Mz3(| z0U_rM#utr|o%@@gtCdo=)0^nkV?(ofPvocgS3|#8!mJ0xe-DIke-&LnMw-{p+eMah zF`+Y4p)V0Oy0NY@qK|>qI59Z!ruz(UE_%ecfJisY`HzY;Qb7Jc_s07}v%5QWPjo$P zu_-e$e|VbcQQOyAn62I9uS(-07R*JO+KI#a1FtzM$AaHwgBP+9_L15UQuZksg~rv- zWiI+BpNU+4?F%5r|b;VRPP$K9mN3rDhQ&&R7rQ!!yQ}hap8QYtP-Ktj(Tq^>{p^ z?2Co5OrkDCHS=cmE$H|L07Uj5d389N1{ZeFWRo=3f1`LaMau(2(4TZ)iG3}^Jb~Xf zv8zn{1!F;corM%FdDQ5%r?Xm9O|^MQlXZ*7Owxj18vDPYiV*q$Y-ltg;tB5&8T^3A zrYGW@UE@7__Y-&==~D8v*}X=(f!kyvnYIb<2Xs%PD&ttIY=3Mt98YZW8BE?fe`x>d z2B+=If1sB&*`O*@0pSoirc_POtEp%6B;sRs?xzIHELo-*kBy^;X7=JcrfAl9ZXL(P z=3jm!6ouzAemo!Q4c-^2%Ui$_tXyHtyS@x2^^hYXH2gl~6R+aZ*4@Ir2YoaALum~_ z$NkT|8?(lfDvyGI)vSVg9hG#-VVSh-0Oxp`e<@|unvkuQ{V6s`o4o}*A5s(L2hMS} zy1>WEWX&X(KaUQ;TvdcDQ~mKi9^t<&IhhBrTa!f7WIk%{=-!k#tk5d;ogX{FcH<_3 zR&GrA@to*d6{7nKK?vnM>*g@5Jvzw6%Q*g~P7bsps(wlDG+l%#ypH3IH#T15TONxB^kSsOJ6fpuFro(uMS*cC zV$!~87Wz>VesprOrCb+aHFif$^)rAsf8$!|5z6&|?pUn4&sFG@Jr#fJr&X9g zGGR4xZrp={-G9(87z|xfz}>7egGR%9e?!z2Wy5=eYJSONsUNEzJ)}jG9+9yai_fbE zWAQ7_@#*e?Aj`IM6@78HHxUB+qeAuYH`<03jcc>qsztGn*zF70!^h<&vt6ZBDeoP4 z(bNpVxCs@Wi$4z2B(*K%N@U5;L~5^x#eMYMV68bnE&XUg`yhRk zpg#JOACqEd-xP&-%5a55)=HT|f3*&f)78hVMy;l2PJ6#S4&+&U$(tBAGyf{U=}&^J z_xIO*&?p;1-?BbLaB`13d_P1nxp#6Ju-7fs=1@V znJQna>{)X+LmKyNIR&br2OJie&*5OmRRB z5X%YezXI~6`BkhzO%Ih~e;df|+&AJw_A>Y@8@Qm`s5?D0)AedRa5y@j#0Oqlx;#F- zx3ADPv_JH9&vE*oD{YW#en#7nu!ss#-VTTTY0%@T4AedicX%nItE29&VhW=e`+33? zGmEp*IcFq`u@9vb+Ch1c)pn}eHj4gVMwl~L(AgAoed8^hMHmDF; zw-nIryQ+{xER%I;uxGEu?75w~K;Vtul$G?#!yhs3aG4QVi$f}8>1<_}oYv+8x2KPx z{DV31CZDWXtL0xne;%iB_=S);Fh$mmY7-)^tI?6kpVYwt#y;!rHa!*lHTcTBYUBe~ zPXu8qz;P^aEu*6gCV`?Txv#5GKLKJ29jw+0sde8~x!2gGd$OoAq0xwZV%yUewG$^< zxm&cq)m@%gyyTkI=**v?mR~Z!lD#qZ@`fgIvm4S#X13wRe^nHljdK_Ye&&c-2@4A? z%XMjJWZklC=I_;;{O7lJ3223Oa+*@9wMG1;Iy+pdbV7fr4;Lvc1`);$6-s&z@?L)% zn0slhdw(gToUupiheAQVxm?vNng;q}%&@uZVu=CFc;CDF;0nkjOFQ}*z4n+Rah;M9 zgzQ2wZKBhlf2z34ZSb5tnh)quOBFW_)^hKtl*4gp?dFbXliz7#4V}IChFnMioLr3O z%@OQ(yhgeu74>0GKEz87X9YL}nByZ#gKjKTDQNq=d2rE|g#XXw;| z7Y#v{8y3%k`f6Td%u3;9+cMw7ij&H{vb(s`pF@eNiQR>DJ*u#jT(qAaQPsee->_h< z{%Fb(TXvl8vaYtX(axumJG(1(P;*J8InOe1f8&$DmnR%;wBL(sme ze{|t-$XDtVG*8C-tW*WR60dt^4{IUP_LKh#a1C(zDAQbY{uv1F*C`w=uN)P^it%f! zU#V^dh~&pIgvtHIPq)}X4UR{(?G_=BhMX(y*sI|DsON#l#xyi9-tG;|Hn@(_ z8-k9W>Nuk;_#LK#?j_*0P~!*R3WfGPf9iMp7r1%m5cM!2Q^@Bj>j>U8otXMWJ($&= zVLsNIZ7gZJqqgiL&yzrJKU2Y4-r^!l0%>HG@ML`T45e!Df*{kCi58X8;FQvL$1GcU zeIM!~HHn4vE+c6f?Pz^%L`D+#xdBswobF(#IH;OUEr!dkb6_lvRm>bW7&7s4caeDJ1@ys}sGp2dE$w3xOw**8GBAAmdf;@?jajjS|2PHoe z;xwRL++9tRkdU-o@L7830)1f8)m96X@z&$+M9gfJv6wV|NCHHdgTpGOnKlTqf~`#< zm)2hsdX9tvUg*^}7-X^`SL0_JS$x9Pr{QvA~y1r$f_5nH|Wkl9*3iv4n96>!TJb-Yw5lxSfBe@XqenK4Ye zEG!m6lw$R`y|5QD{#68mJJ{CjZ7%no?FgdX2~N4@dr+_qtcOiS!YjfE8n?%9mIQb9 zuYF~SL|(J22A-r}2SGh_JxOt0 z@_cZuwkkJ&$R@M*vdfBtnU0tlt;XhJ$XnGP%s!C=C3A`2hl*~ii))-&X59n^IE z?7M*;&Nsd7^@_MfaHum@hXZE$v_IK87N%Ol%ot4*s$*Ao(YD{l)pR{J0$c2J=42Qf z+)=PZOOBNfA3J5ULeq_2*(qe@#`nJ%I z_E}gpBLT%EvQm2vkutV&_8Lj%h0v-CjX9ww8V=B58`5WF@rG#|9ritI{v%)l*z(`j zzXhDbe*R9xN-YdZ?;W_H+%YLaw|&n8dHf7B6vA7_SjSUvlo^4vSwxk6$q-bQ4<_a9 zZsi;qIBvgi{r)Cse>Rvz?Uj@aPWR8#pEnZ-&!;xNJy4IZv7%Wkx`saLAXmiXz5Jel z&8iGUEHI+yEau+SC`hLmNLIe@396=^b9nOb8$4;);~c)Zql#Upuy0lUI}9ymAV05W zX%QUfy@W}NbNrCplY8bQAJg1)MI57Im+A<*H}oZA$WBd*fB&_%mofXN8!v_$f;7@x zkt#TnFnAqaq@wT{F6Bp+!x8K-=(cym>{wa}OnCAW3F6|s z9_bX$@F7ahN^HOObl z$s$ozzd$)(><+J6_!1(n!L<-1`B;zX!BlQ8CAWrYO|)?r3iTu}vI%nEYVt!oRF~De zmu~x%nL-R`>lo*Cg#wU09q-?{Tth)8+XU}C!*qF~e+{kFz1yw5ch=wNz-7|w(!?&_ z`DKaxs|e(dJ>VGYEJz~SPd0N%gu~HvTA1k$C&hPWo|+%FOm}=b&&IsjcD~1da_(Nv zSBT+iJv=kMuV9||9Z!Dfy?d;#oS{5V*n!qWv!KKcB5V4fb$g<+-E`u`G=g2}MQbU& zrO14mfB%HxrjrZL*%Of}n$G?)J1cd<61Xu{ZA?r_4q46|Q#ugAf;H`R|09lmkc+Xa zAdsbl6&agrXZL7N0A>2r!(=x1fb}`gHDNwrlPkK$2PU#%<763lxLRxqB~BOutg|S? zPH#clIXp!J%E3q_6(eZNjBZ>dCVCs+bK2WCm$!jlW|$U+|-h4?d*0{AnvRCG(j!hO*>l>nI3G3p{dY>p*crHM(f770C)1und# zoT_V3?&k%(nKKZQwx<9nfv8cIy<0%eLTvm(f(Q3Gyw0@L8d*TEZ@5_(c+?+wilGV1 ze~VHqg7y+LMvsfX1xKQIlurg0xjR`Zz%_}RQ0Th0!qTr}GTV|8{a8|@s2`aS0%W?2 zTU4gH60+?}?W*bS+#nuBY~fYAcefV%re|{X)z-sYqSYCIvc@B@*-OJbT+jli-OB6~ zuNrQ+2mAhPsgZEVk1}uEggqB6S1zMXe;#U6M8?NnmOK_*8UvWfHE(dZ95_)VuYxi=xqBw| zeq%-Fmva)zm8Twwit)0fF74fFbb55+nSU`boF;+_+MZ@1CU|b+*pc0w?mvPS@rBQb zYa&5Z?<8~4dWZy2D(HtOP{a{0f780UD;;3P{1!47V+T~F-c3J8jp0*=US+2g>L0DY zI#Y6nE1BIIBg}2li7jmq#Hiohs{}&wbDQzkFdrB)80g>3@VLyEYuIt=Se9Z^{dH2n zu%u+N7*=V7aN{b3wbJn2Z+g5m^~l_&V;ajMfZ6^iSE5y=lzWLAF7w4^fA!H_-{zh) z`rKx+SRA2DH7zsjRI}y-&SL42hqEj<$iL$t^hlX2aJ~YLTz6g;2VhT?GDBnaFis7u z8I{-l;Xhd@%f4s@5b?t7SL&mc(OCQ(3{5oRle6nC($JkB3>9b;wZi@+2SS&U*^t#* z0q=>J86z>SF2}+(1R#1jf2lbJczEvuyU(RVEz>x29~EL#lal({Q9e<}OryYr%5pHb zlbRU?Buw?r2?rT^TZI=y@Z|`(jJevoRz&332CIV3)8LD>H|E3)5MSh;nBwW=M#Zl7 zvZ9V57d9LIEoVEHx*Ni^LBC?%X}Xo#=w6YccmFlg6z0Xz-W4h4e^xn{qVE>U#P z{_Ve#h_bvY2WuW#qSHy0F~k%&@{yS%6YK3FhEzS`7I{}=Erg7jKpD&wM4b8)9+D-Y zw8(xI@JgxP_*&|d7&P4iN5A$kO_;%~xx%2mk~7X}z~!e^6^+$2Hhsbm33=U=^gc!N z<+)vNKQXx?I|kD{e=H5i_eUYI`C1psHeOk&@(1<(cPD{`ePvV}U9&YXguz1aKyY_=cY?dSGZ5S% zz~JsSNN{(84HDd);I6>~!Gg=>d7t;Y>;C)x^{LujeO7m`?p3Ew?QLy)KD)FqOEJPY zc|DgSrnF;e)V-JXJ9*bB`^u^#GrVQNR+E}SPbr3B;(ayq`B0Zb%HAbY7o+GEJjEXP z)a0nBMNE0%j0ycTh(u>itK#dEG3+fm;@diNf$R4ZI;Lqtv#WFjB<`IapTpu1Ui8#% zG`2jC#@3lyZcs_>RLFUo?FIj+dGP9-Wzbd;=x1=X>ZuS;5ZlwoX|3|Z@xMW(-={@i z4U~qPm-$5k`+w%GO>J^nOraSc;>@0ce?^vAz=ugm6J?Q%V(&yAR3@7$PRT*1?ijbr zirGTFuorTwtRK$9`gM3(rEEMHaEp3-Gnl^Iyvh_hq%h=)x6;^t_-rooQ$mbe${_+8(D7d-#Df-hvFD+HL8x5rn&T^c0_H2F$4VC z2WJuF{F+q8>$oi1182}cgtYbE8jKii*SdF*Q*77 zBH?lgN&vW@e9Y0OYa~+uJ28la9m`9{c`X=dX5vPFt>Z*B244^S_nu>Ez@{i!F%yx9 zd)<#gb$QsMy2e91r}${`DhI3hP`JNXSD$|25qEVJLh0LO+oz9N{Cmg68LD_PBwAVw zHqC6{yUuaV8b>aOS@g>cdK6!Vu+kW`&DoWgi;8JC1GW5NIC7w$7IhEXTP({GaP~#V z789@80XY5r0c#S$yNKbp;KIJI5*UYSi8b#e>jxVmMh{Q^)K&3yMye=$;?2^#z?@#+ zX%r-ajgQ;!5;^rWZLBG(%N%rO&PzwCS6x2C3g*w1EWloae8;P+xyp(n!sEU64m@w<*$gkmwcKxbB7Elo*%-A}OKOw^QUci;!S7@oUM+w-e9AYQ4U#THyMGAneMwV`xOiT_OF zE1nJe%X7*;t2)a3t1E9AL8%6KWzBcxBL)YVSKl1y7G9e z&DjRSHGZ9L`Aas>S#|Yefo=Lwy$K1-1%g)8Q$%Xf~%On-Tn?+F*HNL&nV4x zfR}1$#*ap%T#o7R;=pB2dQme*tdXOsE~TyAt88$3Gy7HMC#Ly|7nl(jb~FjkBb$3b zrI!7aNt;K_=B>tz2Al61Oi#o|L1Zlew^fveYmV`pHU0A$-oE61l8xotiwB+n!gm(Z zh-J^200DVWCZ09fO*X5elYlU@zHyN%^QZl*x10fH#@tEOB`@qK5OQfIBQfE}h5vag zFEjJ3FqSE$%PGW-(}hc1jDY&9bC977>=_{HnG%qfjRpqYE{!~J2^9i?|oR9PKAord%8JB ze2h)_Q#jJt0|9QhYFPM1m#9Gl`nCmy0+PQY4!>5HU*_Cta(>Ons1F(tQTnhScGVH* zg!C=PO8birI}%UJ0W0nG-&d$R0wvASLVPaKap=|L-BAkp^l&g0j=tIWBg;CT^9Mz% zP_Uz>8IE72jq+`<5ZcCtGN+s2s?faqZTfeA?7za=^U1@xl^36u)fbC$vEcQ?OZM{K zi(MzFJzTuU9Uv)`X61-2I~3PEi_xxrWJYbS%TExc`)baY#-ZUsyNTJ?QxZVRu;=0U zYHy4|p)4hNPTPH)jI-GZbH|c?y7J&RcnfZs=1sEZl+o5DZ8H4h6h3*?ZgDXFOP>5Z zQFFJ3C1Ow9A0W-;<+)d@HrE>80P6<0+$~4jRrn3;TYLVytog7W`y^$i&Bm3(;gwO6l4Lt; zcqjsH&VIxY%r`DKStY-2Vlz26Q_kOUU6$FrH2;k|8g%i92$162FB4mb3w3{gvn78BDtkf3fM;{Wy|5sr*_gDcQ8L&y5eoB{uzq z)0SJIu2l&m1IM%E5;z_bR2Q8GDDz;dZljPVfdPW7kPAMXA9Wm}U95X);g0VaQA497 z2#I@07KCk>h|za>J0tu_+Q)*=Af8d1YP8K2zKLrOyk~lUZuUM@**3qp{RV!FsI!Bf z_}B!(@IMTSzyI=9~0qlwb@%@qCwND9b<61FOlEqstFo%uS7I z`<0fXov>M`brOFf83PUHaElFZUz*=9d!05Jf(J=>W8rR?c{Ai;gy;*OOzjUH;Bnuj zKlguVU3XueiTuqX!jV13C5`N6;+cqMan(rhM>lD&+i#opU~=7*ID)HAcdkvYVw2(! z9+xG$H(gX0_m`;xenLCL&j78jyjDo8s@)ddf67gaeO^H9AP&bL{~ieL|+4I8*8Tl8ud zZp^<6{uc7`e2K|sgt^lNPcqu<$Z|AZX;uM$8rTWB&Ny0Vj}b@~b_3gine#ip2|82icNsL}r7c9I;?zB48ID{aTgl zeP%RU-&)fRX6m0@+*^!82mLtECRnm0RzVUCs!m-=5dISBHQ`1^VM|g2M7~*pf>Z%|5Xt+mIOD4o#3p)VouiZ;E-o$MjFmcYgB%=(8&HItuynLo{l3NRqfVWRk z^whc$4e4W6Mkz8$JY_p{VluxBP{9keEB}COwwld0@uU(2zMK{ul>7d(^mgXBW2mhR zL-;5{{Fhl_+aamjL=#-cSIeI7s3XO04fitn&WOrVEZ%`Rmb*ak-CIBufWQdf zpNy*bCPC3=+#C<#aZ?5)+6I?~-k9SAZ_D8bjlS~iIfNmLfaM9nKp7=vWHsuuIg9kY z66zB*)YRB>@XO52JCznNh1MH~Jh-i*OsZxD{yG?R{sDKrxQvrT)96^$M$<$95qUgV zII42H@GO%*u@=$b1HT?LEZo~R`+asu=xDLvaPTg@PaGGIVTp$fd_>Th3ld|WQSQu$ zv#71~z~h-XiV#|S$~j8W1rPsE!c%a+&cNppC=Un@EEbsY_mffhmTmPPwe6_OqZ`WZ zDm+q)2lrLoVDDul^Kk-4N5cME&s3Xq1aPyWqsXHW!cMqJibLHPTOGliWRzyXqtdEK z@(wNKvZ0-DZ-ErzI6m^3y!JqVNPjbwkj0=~@pt};CgVI~T}K)~ZenabEL@5x+d*K% zkU%RHj66f#Y2>NtMFLedzM=aG&LN53^x1spT>|1O-**jQo*uQGJsGaQ3&=l3J34_K8C6F!{b&JY zaSLTj>A6~1KPrB$;qC4l8k^xFNBcT)w>C7wb4V_clQ82DG(w=w*GkE+6zKsl!W;c4 zYh*CR_|^KM-1&Vbyt6OI`u@cE4ngGuDb3p__qKMYR`?M4$SdU+o9H4cctq0ol+|xL zLK8Q74WyB7yWbupOX_%Sj}h!cdjIQ=t8kw?f}Dl)piRPw!IqZM|D7wo+9E+5^^V3?$V5RRzrIyLqs_d0oMlAUQZym(5IDp} zDX>w}F7orJIOMg~Pcg&B4hKFywv_GSQ^BpT_J`)^v^6}7-#f8bRXCgJf0{YFdY!-O zphm#m32jOHE-SUOd;3=p=)SsbfStb~Fa^r?#`|9LZDvY$u=t0R*f0&`DB#20Lh+zb z;)u&W5zi94ax1@4RI30oNHO_F43pMxb#$7wQXz!*PHJ+*L$wpEdP|zkKkqxIvf&kp zwAJxrzU@wxuCp564?wdK(EA?U&FBnhb0sFuOa@^og7!f+Y)RK2;gIFKz?}ru36TZ9 zPmKXq*039dVqe-IP1Y$N=2?rm2|qqG{Gzdy9(DA2+8~k83xNB!+&X_7wmwaE;V?8u z>9lm@YWsPdS`fDnUqa0Nw-r{~Uj)M53^vDfP9 zP>97{JN!^N?mElbl}5!R!KBjhKx9XrGWOR(WL23^XAo@}@bo~wt!o-s0Qo)$iw(!k z^B*?KfB7e=kl#g{!g2pgQ2DQE=F7VWE(n<>EEdGc2Oj=k<5~VYX(l+H|FT_bPrYmA zh2!~`rxHquh|rV?$MbJk=y?HxVjL{bzsg0bY(NG$NaGv%CN!P{cmoH=%LYl{17bt7 zxPe!25a$+nEJ(Q^uo0@s4-|z1aPe~d;~sz-3cU>>aLDhlA&RoV&k#llpgq)56lnJk zh6|D>@`lNfcpE}$-*k`u!8AfAr2lpE{NvVvm`J~!0xS0qW-R{=!=M3dg9<1DfdDwJ ze|420j2ggJD7xyK3Bob;CZF^M=>Y(^_}Cy$&cL^*#z00Wiw@8X06|4Wz)sTvwm=OH zfXi=l;N$oY1o{Sv13;Dv5U`S`6vR%b8DW8wQ;nXRl zETCAhGQkQrQVOE$O^Sh~g`Kk~*osM1fW?I^d|UN0*rBNGrtXv7Pd}nNjW7?;wNWJ0 zqvxejVmq9qbRG@~Knb@)ygMN5g>mIIm+o6d(}NqvBK#w3ZOU&KxaboUNRV!6k}PIy zIh`c+A)F~MtB)0p7NJWFORpR808S5KI4lj&*$qEQH9ejkmIjxy=4{tmHN@fjp<|Q- zi3uERj#H>}&IDcRvpVk@AjZd=e19W4H&g+7iW!fs=F!G}_*>1nI8sBKshg zZ`+3oVGE}&Nfgdwel@`}K^G%6J4gC$dO0?en%1l~p*vkgqmbQB1vT#fbPrwVM;Aa2oqi;hkIlb_Llrug!|CSN=$ z3b*H?ftB+R23GZ-oiTlz2QIdId|5wjbPD(W2Gab$X7cW^(QS1e%3c&!c(bA4eYtPa=T=Dy=2Gx+2h84 zf3ofHOOd$-nfMGr-G_&0?cfDj{{^Sz0zO&&Q22=-Z*TYOmNRFDLiESzG%(mXWy;Dw zu5|m(Qaaa2`fB^?P=M$l7kIU8AxQAvD*hUOFk3KB=$;cCVUuPE+VF4x>hw~R*GlDz zoe)D$%eKmKg(b64kZM6$$12Dz>&a$wu=RY_zS>*V+#hJRRY&hkyF!{ELgBQcZp{jy zd0XZce!m}|8hGu^?>lPFVGsVuVNCM-M`x$M``o6mtvoubv%J_IK=oZVj#!`yH640Q zeR7jVI4w^Ms^Sy+>UP_bb2Hf6>uz5Y?D&Y_R?jpqw%trAN0h?NDiz+u?167oqk7^7 zidDiGWz+!O%$k{;MLG`7q~GC%$)Uo3IH$P(b2}_9#Qx` zy*#DIA0@oVlEojTEBSUX&Za3H#Y|Sx%NieQKYV=j?Q00$29xIsFLf!9PrjC4W_G955_iF55q3Kq@)a+Dt3@Np&gi;^y|v+vGG zBl#B!SNznLq@CqjD)6j&BxMfnwc*e&vacvR+(;d6O$7p)>(75zwoo62T%G>e7tVKWs$V6;}fj;inBkdFIxoO%;(Y_hBf$OK6$~ zpnP-Y{`g8)$q)-RjCQvVGTprRK}{SFOwCp59saL3=TGO@j9>wgAa`s14AXRcQlUES z(e9S%pJiN3GYvI`=8xSSi9#jn%Yw^YZ}1K%&Et2WmQzpmNA1%ijaH?}n<gZ;fT#$A_^@58_&k9RhQ7n&P4S!K9HcIQ4&@C?|`*WYieW1|giw^=8A+dE3C zw$eBw;PAn7%l6MskIM);vS}qE_w-Li76;}y4@YEv_=bvDv@kd9RRx{2W8;dC0s~1V zV&Y8($TnWGbDJJBDPvIR>c@{JuCGo~I}8mnzDsP+fY>#cFCPQe+3&NkUb%T!FKp(0 zlgtH>z%%zRBlAcI-2-9*_;C<};h1MEzxVO@ZCZUPNfnqIO^Yq11%pzyjV0(!8clhb zp;A?aD$7dZ?%wTRU43Jj+jPDIt?Nuuy*8+EXfhDv6j2WnlbXu76Z^cnA_DR}Z;EDpiPVRG@Bj()-F{^`!!Eb#5x)dX3lnm+2=yMUHTz-SvlPWW4~ z*Z7JTUghp`o*a#FhnnE>!&BKOVyIYT4R}G8)aJW?qLn2#b5YvXX3w08gG%$srh-~Z zQ#Yn=WlEjW7wLipStO=1v0EM9Gh74(Mc>gk>7ghTn%2`V-~^aei4O z+gszO6b&-k$= zX7-_`bRcoZY~mK|e-}_n*I9wN?I_WM^`gz}pZ)q5r8z!poa~1YhUpkzy^8{i()mek zF^_p6U(qHLrtS{pr1jqKBT5>Uu8|){&Vje=oHl?MkcqR&?*m zq0pSH_B}`6>%ytZlxUh%eGp5%)6|MP@{b_6YImb&$kqeHCH-(Kpo4|Psl0#~@vnbb z3V(`oUL!}6iTt3RcPD?bGpcL@5emOjMN=M|xyw9v;WEt7wHiF)eARo>^-9OKbo~C? z@C@N&hc|WK#)#F*Ei+G}l;ir^BkwCW%S->;ce29gss-w?y+$oasVlBq*C*l8EXj|g zucVga$3g?vMLnUB?X~rH(J$nrrVMEiLn*RMSR|yiQChXF6 zt1#26SCuP#r<$tC*srgxx~)#(!7#$H5;X|?7~zY0&U>uD{*v?{nMq;kfVnRR!P1S> zXq8Q2P*kGitCtO5>&FqmJeXfGkaaB>=f5^h{-jm^t;}VOBj$`+wg#II;}_WbS3w1t4*R^$q*Y1#LR0cRd&~_v8&7wR%1&zuLG82D5LbNAcQ=`t%w0M=6q#mWL_Sx|P>liQ4$&>hJx_8o5#z z$`qt`$R&=o<>jfMNJ7W1~q&RFJvD zr!KYrsed&e68K{QsXQkrm)G291P@7@1tPc4&m2wNB zVP)dIgVX2N3(Mt3ZcMRQ3Cs)4<3u#pDb7Gc!|ScvhW$-D7K0eUYh@uSkb}P$n2tOS zVrH(XWx>s@^iYQr8eS`n9ze<4==~!8+#QrW&9jpRzoi7FR@Wxd z788<+N9>tD7O@?wY|5st5A5ARD}j@b1^9=IM)RMieM$!RP2s*?*;;J4D8pd~@y^Ea zpHLir%ShzlbEf`ky&c2y*`S#8vsM`XPj8Cs9T28Nl>KrYi?Y$;m^IYi8N@2QPx?y-UPxS3O@S2s1aM3?oRHuW1B<~{ z3ziFvm@L<_M`HMpmdTAmRt4EdCPAp2x|u6axE5S8sX0HYYcUZaHDk4i9qJ~cIUfT* zco{>JTwnIL^Yyf*g@yeQ$XFt$S3OA_sfLiz;<~$tKFlktXgc~g?bVbY8(#4pAM4Ip z7w}m#5Q^tfVFYR`B%EDkjDcbnLmb1Hj|J>qPkagfq>@;Sh2kF~Azq~|Z3 z#bqfjpM7wDo;ESjaMZ0GTlYN72C0IV?S{=uI68d2ZU;Ox3D4N@P57o|8Kaw*Q}$k# zf-;!!dYZ{o^U25TVO!F;7wG2wbs#WE^v^1R1L^Fj>&c1p`3{TSVznoR%UjGCm$Uo@ zS&I{Iax`q^Z(F@YKA8l&OPAYa&3Ed&!0VPH{a~q>D4{p4msleC!#$5#8i4>t#kwst zXs&e8Kc%l5EuWY8-d+ne&ONM!q~oN%ui53*9{xNhI~Q)&O2?Ml_>{TlqYbzENA#mW zPM-Th)d}xb0#fXEL;BzD-}Ly;Jim?;aGiVpv~wPKw8J(xk~GI1lxX579%YC;mHlhz z0P`JiUHuitnc&I?ZbxZ<0zPCCTw+x4(4Pz+^yEH6BY=1?EaRo zaJAn+k!OCz-`zb~nECx%Wj2bUhvt^o0#%h*X#+(ax*>Cbj_`)nXVS)mD=Y@`JC1y+ zG}or9e0Qk<%LN)OT<9_xSWq-dP(4_JU%m8~DBmMiChLj)cTB5Tjo40f`NS0Axl8MCXv%2HZu zZoiE7OkBU}iW8v$f3^5SJ3y|^Xrtdizvp7anj!7(?=y2-tC&4f@`qC3Ri|*)xp)7| zU4qSy6kSK?qqTAUKxF|F_h01NO)Zt$w9+r_ABH^CPswLChX#V0E4p?8_aeuSE*IA7 zH@z6X#%rlr`wu?Ou4~-Jyg$~MjYPoA4-m&K@P(=InNhzlGAjmx-YZ-Q(#^wve`#!x zjcOnnn3LTQnMK{k$C8wrlO35wn^d2Tl!KJ*&8X(+=tj!T!AHtUs)o!W>tN;h24Vg0 zNRm`vkW)&UM^b`YoQIE9T1s4sPn?rYf|H9&lATS8OqewBw&~dD&Ekuv!J#k_0sNFtH#BkhP3<;5>)| zWL~5Q&cnCIKIODQ(Fsn=qbjO4VOrr`p*`ZSBR*wZL9`(Nea@05pk9aJ9xPTwJ;gqv zuEURQsv;pjh0&kp1k=bugX}>}AQ~BHuu`KvD7Z*K^y3Oz<8IM<9`F=qg>5F=044;ulb6zdC5nufw$O*nMk9rsYXe(#QVJe&D zcJ))93oLPX=U4@hhjqC2`8XSD4^tV+TsN>b9I$Z;F951S_?S0#2)2o!Y`xo`#L8x8 zoH~wUtq7)mpV)(LBAC1mCM7_vyPvvBLCx;0mYs_k@b<=*!97Z7Ka+Sf-dn427 zBBTZT)FI4eJPw_d63CXf6@g)Ci;FO$7;NAsM87&$>Y9oJ^iaxzErdXTQy2oul_G(F zW~=w+$-3+I9hDEO@SGJ6(>4p|p*gk^8%T|NX9z1GzC$eg+Q%N#Y4c|1+$gad^WfW0 zcNlqoE--ai)X!GgEQh7;=yifdT?0AksIVTrA@QgL~Rex7BNrCFUItUBfmz+9#4$Pqa#WcGR4_wjM%JLZrg-QTc&BwV#!Po z`|!(J;SH0FseK$vF*Fr5VRMg{eB!!_oSjSTSQfT+C$SGYg35b$at-pX4>fjD@4dA) zwX+OgbYt~l_ICM5g}^9#SrZ!_wWW+Hf4JL)3*Bf8RpWBzF9`!*NVm4G`~r3-8)9-K zCL1hrsIC|@76YmKY#I5-lwh(=s?ru)xlrBoV&Sq?s}dJS`o+DoKQo5rvbJBy>}GL3 z9xpp8W;`zxf>ziy<8iVZ#+!|C2EJ@6bQR!_8FZ9^7T7nz<=|Eqt(J{L#w!q1t)WV2 zHJ2mJ{zc+#1>sRmif>HmOd|#Q`yLn-#rSytCki?3*;8Eg`<~A&gPuw2*a3E`&e^`4 zRB>9nP;J?`%dL^7hQoan6o;wtX#h)wI9|mBN9N~{N>N64BgG7Hu7Dh6QRFNje)Ow_sKl{#r zUH=%A+z3CyE0$*?J=)9lbAPIr*~c2ANUu_=osL{`;TCkZTMfW5+`86XOE%};OVV*c zO;&5oPTN-qoC7VLc2bIf%xE#i-e9)NfKsbtk!IefIo-D}8@7J2!Fx6C=afpZHbN)F zQUj{l)Bpy_6~q>fqDrx39N`BJwA)#qTM;yg#u{Wx2Mbp>7fVz7e~ui@Y>{2vOkLc( WTr91Sx!y$kxOtJOsHBvok^cu*p$GH; diff --git a/whitepaper/Dissertation.tex b/whitepaper/Dissertation.tex index cc8b523..d9729fe 100644 --- a/whitepaper/Dissertation.tex +++ b/whitepaper/Dissertation.tex @@ -995,37 +995,37 @@ We can apply the Fiat-Shamir heuristic to make proofs of zero non-interactive \c \draw [very thick] (V) -- (6,-15); \draw [very thick] (P2)-- (12,-15); - \draw [->,very thick] (0,-3)--node [auto] {Protocol~\ref*{protocol1}}++(6,0); + \draw [->,very thick] (0,-3)--node [auto] {\hyperref[protocol1]{Protocol~\ref*{protocol1}}}++(6,0); \draw [->,very thick] (6,-3)--(12,-3); \node[draw=blue!50,rectangle] at (0,-2) {Reinforce regions}; - \draw [<->,very thick] (12,-4)-- node[above] {Protocol~\ref*{protocol0} (neighbouring counts)} ++ (-12,0); + \draw [<->,very thick] (12,-4)-- node[above] {\hyperref[protocol0]{Protocol~\ref*{protocol0}} (neighbouring counts)} ++ (-12,0); \node[draw=blue!50,rectangle] at (0,-5) {Attack Player 2}; - \draw [->,very thick] (0,-6)--node [auto] {Protocol~\ref*{protocol4}}++(6,0); + \draw [->,very thick] (0,-6)--node [auto] {\hyperref[protocol4]{Protocol~\ref*{protocol4}}}++(6,0); \draw [->,very thick] (6,-6)--++(6,0); \node[draw=blue!50,rectangle] at (12,-7) {Send defence}; - \draw [->,very thick] (12,-8)--node [above] {Protocol~\ref*{protocol4}}++(-6,0); + \draw [->,very thick] (12,-8)--node [above] {\hyperref[protocol4]{Protocol~\ref*{protocol4}}}++(-6,0); \draw [->,very thick] (6,-8)--++(-6,0); - \path (0,-9)-- node[above] {Protocol~\ref*{protocol2} (resolve dice)} ++ (12,0); + \path (0,-9)-- node[above] {\hyperref[protocol2]{Protocol~\ref*{protocol2}} (resolve dice)} ++ (12,0); \draw [<->,very thick] (0,-9)--++ (6,0); \draw [<->,very thick] (6,-9)--++ (6,0); - \path (0,-10)-- node[above] {Protocol~\ref*{protocol4} (prove maintained ownership)} ++ (12,0); + \path (0,-10)-- node[above] {\hyperref[protocol4]{Protocol~\ref*{protocol4}} (prove maintained ownership)} ++ (12,0); \draw [<->,very thick] (0,-10)--++ (6,0); \draw [<->,very thick] (6,-10)--++ (6,0); \node[draw=blue!50,rectangle] at (0,-11) {Fortify}; - \draw [->,very thick] (0,-12)--node [auto] {Protocol~\ref*{protocol3}}++(6,0); + \draw [->,very thick] (0,-12)--node [auto] {\hyperref[protocol3]{Protocol~\ref*{protocol3}}}++(6,0); \draw [->,very thick] (6,-12)--(12,-12); - \draw [<->,very thick] (12,-13)-- node[above] {Protocol~\ref*{protocol0} (neighbouring counts)} ++ (-12,0); + \draw [<->,very thick] (12,-13)-- node[above] {\hyperref[protocol0]{Protocol~\ref*{protocol0}} (neighbouring counts)} ++ (-12,0); - \path (0,-14)--node [auto] {Protocol~\ref*{protocol4} (prove non-negative)}++(12,0); + \path (0,-14)--node [auto] {\hyperref[protocol4]{Protocol~\ref*{protocol4}} (prove non-negative)}++(12,0); \draw [->,very thick] (0,-14)--++(6,0); \draw [->,very thick] (6,-14)--++(6,0); @@ -1152,10 +1152,10 @@ All measurements were taken on Brave 1.50.114 (Chromium 112.0.5615.49) 64-bit, u \begin{tabularx}{\hsize}{c *8{>{\Centering}X}} \toprule \multirow{2}{*}{Modulus} & - \multicolumn{2}{c}{Proof-of-zero} & + \multicolumn{2}{c}{\hyperref[protocol0]{Protocol~\ref*{protocol0}}} & \multicolumn{2}{c}{\hyperref[protocol1]{Protocol~\ref*{protocol1}} with $t = 24$} & \multicolumn{2}{c}{BCDG Range with $t = 24$} & - \multicolumn{2}{c}{\hyperref[protocol1]{Protocol~\ref*{protocol4}} with $t = 24$} + \multicolumn{2}{c}{\hyperref[protocol4]{Protocol~\ref*{protocol4}} with $t = 24$} \tabularnewline \cmidrule(l){2-3}\cmidrule(l){4-5}\cmidrule(l){6-7}\cmidrule(l){8-9} & Prover & Verifier & Prover & Verifier & Prover & Verifier & Prover & Verifier \\ @@ -1174,7 +1174,7 @@ All measurements were taken on Brave 1.50.114 (Chromium 112.0.5615.49) 64-bit, u \label{table3} \begin{tabularx}{\hsize}{c *8{>{\Centering}X}} \toprule - \multirow{2}{*}{Modulus} & \multicolumn{2}{c}{Proof-of-zero non-interactive} & \multicolumn{2}{c}{\hyperref[protocol1]{Protocol~\ref*{protocol1}} with $t = 24$} & \multicolumn{2}{c}{BCDG Range with $t = 24$} & \multicolumn{2}{c}{\hyperref[protocol1]{Protocol~\ref*{protocol4}} with $t = 24$} + \multirow{2}{*}{Modulus} & \multicolumn{2}{c}{\hyperref[protocol0]{Protocol~\ref*{protocol0}}} & \multicolumn{2}{c}{\hyperref[protocol1]{Protocol~\ref*{protocol1}} with $t = 24$} & \multicolumn{2}{c}{BCDG Range with $t = 24$} & \multicolumn{2}{c}{\hyperref[protocol4]{Protocol~\ref*{protocol4}} with $t = 24$} \tabularnewline \cmidrule(l){2-3}\cmidrule(l){4-5}\cmidrule(l){6-7}\cmidrule(l){8-9} & JSON & with LZ-String & JSON & with LZ-String & JSON & with LZ-String & JSON & with LZ-String \\ @@ -1207,7 +1207,7 @@ I propose some ideas which could build off the content here. \subsection{Larger scale games} -Many other games exist that the ideas presented could be applied to. Games of larger scale with a similar structure, such as Unciv, could benefit from P2P networking implemented in a similar manner. In particular, \hyperref[protocol1]{Protocol~\ref*{protocol2}} would form an intrinsic part of such games. +Many other games exist that the ideas presented could be applied to. Games of larger scale with a similar structure, such as Unciv, could benefit from P2P networking implemented in a similar manner. In particular, similar protocols to \hyperref[protocol4]{Protocol~\ref*{protocol4}} would form an intrinsic part of such games, as they have a similar graph structure which requires guarantees of adjacency for many actions. The downsides of this are that the complexity of P2P networking is far greater than in a centralised model. This would be a considerable burden on the developers, and could hurt the performance of such a game. Additionally, some modern routers no longer support NAT hole-punching or UPnP due to security concerns \cite{upnp}, which makes accessing P2P services more difficult for end users. @@ -1243,7 +1243,7 @@ Using a language that can interact with the operating system would have further \subsection{Resources} -The P2P implementation requires more processing power and more bandwidth on each peer than a client-server implementation would. This is the main limitation of the P2P implementation. The program ran in a reasonable time, using a reasonable amount of resources on the computers I had access to, but these are not representative of the majority of people. Using greater processing power increases power consumption, which is undesirable. In a client-server implementation, the power consumption should be lower than the P2P implementation presented as no processing time is spent validating proofs or using the Paillier cryptosystem, which is less efficient than the hybrid cryptosystems used in standard online communication. +The P2P implementation requires more processing power and more bandwidth on each peer than a client-server implementation would. This is the main limitation of the P2P implementation. The program ran in a reasonable time, using a reasonable amount of resources on the computers I had access to, but these are not representative of the majority of computers in use today. Using greater processing power increases power consumption, which is undesirable. In a client-server implementation, the power consumption should be lower than the P2P implementation presented as no processing time is spent validating proofs or using the Paillier cryptosystem, which is less efficient than the hybrid cryptosystems used in standard online communication. \bibliography{Dissertation}