From ea217af59699c08fea833b76e88743f32d44bb2f Mon Sep 17 00:00:00 2001 From: jude Date: Mon, 17 Apr 2023 19:47:04 +0100 Subject: [PATCH] ... --- templates/index.html | 8 ++++---- whitepaper/Dissertation.pdf | Bin 444583 -> 445789 bytes whitepaper/Dissertation.tex | 23 +++++++++++++---------- 3 files changed, 17 insertions(+), 14 deletions(-) diff --git a/templates/index.html b/templates/index.html index 11e00b3..081cb68 100644 --- a/templates/index.html +++ b/templates/index.html @@ -189,7 +189,7 @@ function RSABench() { console.log("Warming up") - const ROUNDS = 250; + const ROUNDS = 10000; for (let i = 0n; i < 100n; i++) { window.rsa.pubKey.encrypt(i); @@ -209,7 +209,7 @@ function PaillierBench() { console.log("Warming up") - const ROUNDS = 250 + const ROUNDS = 500 for (let i = 0n; i < 100n; i++) { window.paillier.pubKey.encrypt(i); @@ -230,7 +230,7 @@ console.log("Warming up") const cipherText = paillier.pubKey.encrypt(0n) - const ROUNDS = 20; + const ROUNDS = 50; for (let i = 0; i < 5; i++) { cipherText.proveNI(); @@ -249,7 +249,7 @@ function ZeroProofVerifierBench() { console.log("Warming up") - const ROUNDS = 20 + const ROUNDS = 50 const cipherText = paillier.pubKey.encrypt(1n) const readOnly = cipherText.asReadOnlyCiphertext(); diff --git a/whitepaper/Dissertation.pdf b/whitepaper/Dissertation.pdf index 7ddbdd4ec82bf2b27849eb9b887bc3aaa59f245a..46dbb9174875f321610e70168dcd202612833b36 100644 GIT binary patch delta 59797 zcmZs>Q)AcY-2EW*5V>GsHn~iO|vG#xO+wR`Cd6*Ay&de!I#NW!q zuQSC5t5$0?$L|7#sPWCPN=BtaZ{#5)7{+EHVIgrev4Im1fMb?3cd&G`B4KCc=18sw zr2(pSWaBr-5PRM=Iea7W_^Z`ZWokiqd44XBk@YcMj*s8{+|pnC6GPNZH~w^4i(Dy{ zMpTV!8rUs&p^Tg)?*Abr-_&_oxb@Br^a2kDiq1{wWDH4S*Vn`zuzJ)Po93Z#jbvL} zd7gP-iC4lq-yc+k*1}&D`({FC`5|!8c7SKZB8wuVLdW@6!9`Ys;8{1!K*?p^7d|Cw z4Ti-X6CC8{neo<9GV;w%ADW}PkALSX9?<~VfKc#z@YG;eLfcNct-R(%-8EBP-j)s3 z&(+g~nC`DZv}{SOD(3JCTStoacW`<_v_uF;LiODb>VxS)8 zkJJE$S6d@Bp}BE(`IaBJ%ST7Lc7R3Y`s5eNBu9b~o9CWEn!3Jb$0&7&;N$E{|E_*5 zfM02lcc)ImS(YVI_ha(5LG?(B|k7TOT`Xns~cxYVIQurQ(CD#0xVGnKe!J4);l3Th{Tb;j6?KErw-uZv#)x!4N6jW>ttW9FTg@HlYH~2Yw|Sz1OQ!JI{5Xt zDp{GjwSN3Fg2uDUM{Ykn?b(!ndELEFTgA*-C|lSfM#nwMT8Hds`xF>-q&I}|?(Sf& zhXZ^`AZHU2$oc3Xa~d>L%V^rDB?0=;kXw<`sSu^zQ^BJ(eDmF@t6xY0yA!$_w!PIG z4K!HulJCRP1SKd7(Vt8^04ke;`R@of-ZO}k>nBLfQ-1nW?03mp3WAET)U!<6>R$C= z!lz3?PX~3}P};GpWnrBYCx2+EGJI@g!z!Q1-2tI6wMy?wIdP z{JMAv9Ti5i9`1Vlff#3)y9N~q%Ltlv^B+QF#+F6K7?nA22W>wz=In?>z|tY-($;vA zTxAh5!en%`H>J`z4D56dUww7k-F=~p7g%JIwtgNOr_mGexkY$OT4GL@{}af?5%Gq= z<#YuVKw@vK{yVwAk{AVvRacj?tEF2ZUNA+q#8piRY8$XA4gfU;_nHWhf7#Q#1UN2> z<&-Frv#2wUq%dH=X%yeJAmS5z3`G2eHOHo$BZt9m90b}ASza3y(QaRqUGLRMiJTbU@lKepK zW#t5}!(v9~9KAtLkV{yK6_pMigb5+?`?)Nm6po`)D;J|8*}h^BLRksM2Y~eEU7)A4`1KRzh)b)=Afd6} zCfs0!QX5k1ge9TnNhr72681w_LvTS4)<-a{&)YIXrx40zVV4;Sn|CeSw}DHa zgB&S$9Tzza(&kAzKj;O9Ktem*Si&zHy?V#at280tbSS#NkFhjor*996Si0E90K)X* zY1aB%8-TgzflHl#X%}(|pNRT<8CigVBB>Zh;=Fuu`)o&xznWE|j?9s{5-7O1mOIle z(^xWD0m4#n!2ZkR(E4`Ha~f{!ECT1W)JsA~?g&-sV(!Gfy^0ybs9UXxSc6iL9oVSqSqb>Y}W)0^t+_JhsW z)=VIuTC%Y>Nrwm%-yIuT)sm)#IrEc*hHZ1d&dhY{I$eh966!5cBWqxpPLeNnknSke z>l-tn$kYBwvBgD15FbTJ46nE6D2D`!EEnr={jmti))o58q;Ew5^Q9O;RJ>1r?-&%(^*of;Xvf$&MQ+MmPC>h1+SWQG%1-y(=$D2W#|$1 zpKCi^vLLe2G#)1prwFMHZbTn?xgDnBjd@vutW>}C9D(_1 z?{;0WzLSUII^l>LjBz@ZKHr8T25fRPlOYMnKZW*eiEUy7T{go|O{0)=&t13D@LR4b z%$>@}J`#s3NSPzQ%4*!*U5KoIo;$ew8YT5>P*5&ONvNoidzBeI+`$XW@mo3f4hz=5 zYLpbJggZd+>J~HqG8G__+ikjqiv}<_E#TX-C(yY~gD`u}v3NqcCBp)7v>`tP(jLJJ zR^AQLgM;m&UC|}&r5p#*?a>F&2VT#LKsq-^i;#j?F_l@Q<)gNl1Pc>McN72okRm+h zT#5l1j#KqpJPAgGqtf6;j9N$8;*A^h<=@6awB$o%L5!tY zk*a>i{iy!IY5EK_G`~BJh#r6{8$Tv;v8S^JaFh193 z6-AC(r_$#2@vyNGCk4_7kg=RjbvGA`Tk9b`Uvipu64KN_xf~eV9kE9>pK?--8xwcT zv1L%hvi`BuaM3gIPc11lk|u57nfbBOWM^<(5480+XF{!v*<#J1{tJMVq?fS~MqrE? zcbPZ0jGkw8RZ2ug+{<@TW3%E=6>;VAyp49zSVHCtqIq`f;*g7}_^r>s$>W5ncJUBu zu$EQ{9t_=B@+xL#Bsh(DnmRaH1d}Yr_)`l*Hvq$!E-YQtGslms4%s*QyM5s?qnEDj zmYA2}@*;Xv%j+up8wsfH&DXoFIpo8uA?`@D(86H1#WHPHN{}YwTL@ohI~Ahv9!cSd z2LGzAq}DaJksRFnx}2bGbBg=D=H-$yr_;pu=Lc>$uU^|}slkCao%G&xaImLO_VP!@ zepjSpy>0B$_aCNNo}mj^ay*3d)c0cXj$~G|w3N-86Ew|+#}i;w)v)~%O3`jSga9UI zf>=+2Cu94cNMpM07Cs^}?omzkMbS%W78(~e{#656+Ra~Q;uBAp2N!YG&|-GwEF|GPN4T{cK;Wg<6ZeMw?qtrQu{X)bGqKtJje}IGjug1;LLqVv z7D+a#N1=wop*sN3vEXWi$Du*SxPfHJ#<{4a?=T=Lom=d%+OudlE~;6NJ>QVDVPy4M zOy0Av){pb%X+JRi{Dax62#oHY)tlMk<*BJ*j0a(V_bX1THjx8<9GUZgur}edu zxaE#iB8`UVH(1)p)Lk`Z-6U+58Wd1A=3wwM;=1cB>?Q*=LW(&t8II97daOr7ikRVC zJ)sjYnsSd)trb6f1633-i7nquEQ~FUTAX?&YG2{RFI~h6sXv_Z;^0TPHnirTtOO^| zJ@S`T^qV^_{j!*|tQiVQ(6a@qG5z>GOb{mz6bWkNrmK2&c=z#%L4TM&lRA)*mH*Bw z$AycvAQJ#IhD(PTRQ*J6WC#eKyHp)3(9L%rAQH{N%g*r)ld~EPX~2pYwats}?X_>L z2+&S9R-KCcT?Mn+Pb{@|EzpSwF za@I0w%f}7KgHJ2n9AwZ$44c5 z#}%FNm${V3FOA|mEkB&_p+MnLGbr^E@g%xV2%pwUhn0!UHb&vUSJh2-_3rRoMCb7z zyAmiIsC&+3jL7A(072JXF87_ElV&FDgdgcso(ER&3h|EVjg3 zc{i?-`C`!+l#;om>U2RM4|~!Agn3()?&RSgo$H_sZlpMO#hoaVQ)g1(E-^t zGBzEmi9=V*o8QnGk0&gv_IBE(&xEeOE+;?d`hHpS-9FdX=GpvSV81zk@f>i#c|Wia zc=B~v;f3=4(mXu<#Y{x_?Wf33G%-EaQ?(sFxo+z)A=TzeyC&~`7?j=jQ)UG33<`dK zb0D(PVL9!3w=qi&DWC@e$kX5Ep6$Xmxp+Hs^|3lf^lH#=hj*KU^}Thu_jDiq^zbu8 zsyZS8E$@qj3Is7hoOhyve4#oatE(f=;FlYxSyQhsA(P`*hx@WqnIyoQvS}&yyG(Ie z^_`WR<;41XQ&0hYdg^bae}RKXs>(lp#42jinl>uB#x@2QCq^0sI5Ra&Ii;~p!6hEj z+8#f*HC00|IA;yqKE;pT*LP$tPVGjJDZ02qT`uJccyU8Vq5S3Xkn{B(+Qrcrn>dmt z-!xl*@x;kg$_ekkavn6yzfF;^OVVkoL$(?7FgC zE(x)=CkQk5h``RB5tN?_E_8K1S}3U6SMMwqSHkm~sG?DTgH)~}JJcWzlZI@x83yG( zgCgsX<_FLv=ps`YFDBfJ`vOyTq&%hd4l(!P5LNNmd6T$T@GD^{8f}4 zAAPtqewUv56MjiV;hbzbtqflb!wsHO=s%a-z zMVmCD^o6jWdX{xmDKRPY*g)P|v>6a1d!RJOL)HhhK9yQXkGXyS;fv)$18?B=XmiL? z;Zz0#+X$c4Gl+yJCNzEfO~=emEM3;WH+xiLUCBefsJKkY#addLT9a#3s*X>)6tOsM zUSdO}(O1Ers6=epLOVC~6dX`9kF^tqJugA0QwSRkb$@(aY)#j4yV?~?yObBo`#e19 zBS&Lkn^~$;<=miHV;~Bt_9TxKTda zx7a7=4>%|sgF2^UdZ%2no97_~rYK%ZNHgmbN2H?_OxhF>9)*%kFi%seMy9NN?|01z+P$4w6p9rD2(YTW zOh0^7JfymwO#VAbd?K4XFF*<-1PT|rfYrHw*;&1zDDp zy0Sayc+PSjF^93dgH8!BT)PU}p?G_RTGuLPWcpuX;B>*cy!#}&BM=32=`I1;F}>f) z{^cjTl7$Te(Inj{)Fz7*3I!@dF8q-X5TXOTMReZ;I0ICLN}5J50U4D$AO}%8jBFs_ zSI;yS;#{0dZAoOQ5&9nKCP&nk{_2W;?CDJd@%~>9y);|LsOE@B*;^J=-_7M7Zv`ov6zA7ojoqsaxv+#xs z)}pzexa6KjQv{;b)FZ#qO{d@@H^qE~SS7H;8UD(!S?VQVhn42_+8cx}J1XumW`lp4ihRoab!6l?zCnkMv7>dVoPo58QaE0!3@{t5#~!f(w`*7Vx^ zZUf9f(T2z*n7zX{4YA6G(8#}PJuYmH=gR4dB;l&WKnHx?O~!|*huMUgoS2~bq8~mi z{#4!Y?v?(usXxxmx$&Xrx0PDxsvaSf{KO=-AW>T}sbiR{zunF3(c5@8S-+CV9ny3g zO(cyqT_So370oC&ZQnCf14WDx0 z_OTvwIG%I-c?wfB$%sBh898&#jTxS^&e7uw*x?{jSdf_|EUyeP!%NxgoR$p--oQUQ zp!~3j$PUlk#q@m$jkO?Dr!W5AT7d+p^Zr#eb$?|jD&M*c5ivl8-o zu<=EcnxWKdl&i_`t-|d0-ebC~izn<($LUud(~ibqNo_{|2b-HB;>9FWdcs0hKDF(* zPD(c!_aq@k!U+rD0v?AosekhUUlV1>IhOW(M60WDTXyZf=#IGsUg~)FCOKnbJ@gw{ zOjkUXf#IblC%Erwa*C(hP0nDR?`3aie)D8&4c9_a^`UYht;eT7TPQE9K}wl4MAIxO z$z4SU+V=ioE`q3JdyO4a*saqP;DwM5VX_04RB?Rqand5-+D0lRvP%_k5q+$d+G#hq zc18sW(xiZx3|vAukM>QV z`~Fa)6iO{I$JV8F_0mFBQH$XFh3YWf`Kk5G*dQ2GCc_<#e^o_olqu?#B-z{b@$1!e zBess1N=Y#*U5B6;)H;=>vVn!Q!TPBOad)J7ySLB#LF}$|dhfhOG#jHCu6-jzGhn=Y zRifnVzS1_WQ7NzttlP2M@1Ml~NniCU13cSq8?o7#3k4WmNtMG@ip6s!wJY3z%5Kfq zHCLF^g$6O67;gn)d0f?O*cs1$TF{%eCa(SI))8E))e=;-L^-Db`=-TqNf1}w}fT;Q*$e)&Bp4yYW1{iUmJC^L$a3<|bR%#=%x zVpa|$+s?~+0O7M1EI?T!;{=P>$4Y|gJ-2rATpj4$A@p#T*=XMA*y>B4e_V2?+A+mf zO3hf}u`M#a?tr2;b56s{d@Ue~4=G-NmrrH*@P@qNzfU+a20_UR1qDWqfM_lAy|*-S z_gtOI!MS{S)Ta5oB`RiB(uY}EQ>K)0IH0()GQ}&tl~e5;L!#&je3gmse~o(&SuqZgs7^3M%_#{=X@an_UqSl>B6Rh#Ad^vDh)QL0G8bq zdJPAaKg`tx8g1up^wD+Y*^i=nW+vue1anhzsQ3}#?S66dS`j!wfTao?q<*nEZaUSt zJL)g4mB=}?&VjUg20IlTt>&V;T)+ys6@b+7*1f0 zO4O=ODowQ|$i3KmO;czugd0~@b*u08x7LB=O z%tXUboN|&f3SFKuK!cXG7LX)UMT34eJqGVWnOvAMTgzA8jD^$l^6MOOAtZzM7!0~M zA+V0}kuFe+c(nwIYyJGM%#*2f*T07=__>tzPDGTmdXY?bKaqy0@^^tYLDWk^v|DoN z-p`B4-mdM($3dx`Z44s}*k(h1ql=p2zyRmW?jz2NKna?2z(epew_{uR0tqv4(^^Wi ze6kU{F9aOD5BtE?74<#YXPK7@<;nfaOe zuMIhNV~0Pp-9XwvFA(bMudUyNZ0O#c8}y_yER_X3P&rgQtviH4(jmA{nSXj%;Xxuk zV#@iZozRv`Ohh9{SmVS8W+qbx#bGZ#hE2(@rg`Jrn_onDXo{Rg(D5Z^^2GSED-TNH zl21O8M$sKS&t)M`b?6);DMTQW60K@xl!{AD z`DNn*^kmMi6Y1(6GYc6~TzF4ev@u9Y?RM5kk_doA4I=tiz9s6YoticB?r2gws0(uU zrDcVMw@x24zxStL%Q6Y9v5JKid+zbNpldSPn6PtbBVvw}+nnofy~05iUGP%ys|)EV zTS^eFe0cZP&f|P`_l`xQkFyJuYydz0C*wIX!9nSA&;0)jG~u_Ezs7~~y`S8^3%Nqm2G+6o9B#l;>6#vZc1uUr~@a z#c6{bfa(;uI(aF7uKqY}A?OW7^oayiG&irHvr6g3KQ>iR~QqdZ94iKNL$wVF4 z{!Ag?u)a0HHB6@^r6Rwg<2j}J;P?292B|0T>J&=IV(o-m;4Xie)>{hOx=x+a03Kx zN(iy{I$+TAOC0H>6T7|>roJ;Ga=oS<=5mYE(yimn9W!7XA=K9*)RpCswiP5X5};-!IdI%(B7Nik!tE~vBsCC1F?XGDbLN;q^MdH?L5 z>q>yEN^(%VVg+vr8e0DPD0CsYo`BwDGJg=x2T#nk*s{riwam@aNe<9yhDMUfq4cqR zCv&yk%#ZX;YG7C|$FFT6qb08EBx@@Rw;>Ecz^9P5YXW7!`GQ?Hv<->$=2T@lIWiTt zfJ0I2N|;GFf)90^{6fAe$8^C5I!-BDy@v*BgUW>JU-9N+;>@#FL)I{Jpm~lt&a#9f zq{yA1`L?21m<3NimH}YU6#n^fmx}zaxiGKO<`$Nh<6=?tK%q-&7y-^@7WDz4!*Ki0 zv)E4C)$V`qAPBr%Icf}N*@;oQh$BUID#*YUEAjCC>`AP<-t#@em*l{+9o23ZM$(Xp zRUd&;aU-}oYejjmC2l{65ew!MK*4e z?yG%k=>|PXo(sUmWd77J-?h%@ngYoi3MCtY#BX(&ap?Hk8lgsW&1_|BoFu3*Y0Xiz zypz#o5Cs?C$Oj0&2#aGO+g|aaBFBPV!YlIPn#bx>Sjv^NJ$9I-p)jo5 z;r1$t{C34RKpf5BI?+V$a)PxsIB5yljf%B}TOuOQtbpLC^h*ITzZYBd7`|tpm9TqD zrcowCs$GEwh@YrI!n}5ip(1uhmF7^&jm}`j2dnIu=8GFaI!jKNsu7tVR@PsOpb0ho zM{R{&i1e|Kv`rPB2K8J#bdJN18nWArOj3;Mm zls5vTtG>QzNwpNII+TG%dDF+=Q5^gT^DjOEdIzD@h7c7TJXihaG>Bw<9LGX&0*e=r zNn7abkve{@>zUVdk<*Y~Lyf;%owAzVI=50z5`dBU4A(2NJrSxo2055Kp)ki%1XLsy zRRLU16^gJ1hd>PJUirSH{AD()Wq;T=eNjy7>C(+W=jL1YgcmkQ_|9(nc-x1>pv|Co zrld<=*C2EmqP09)u*%}vLpzj;(o7o3!R_0$sG(|xP>18~{NLU_QfCef!NyyPKSy-B zbbxP5(V8Tua)!o(UDAvr9-g-STCiL_;0xj-ZFRhrp^4yBO%zA9Mdg%Rg16hXxbbeL zV}kl=hWq|6>;v@IP!ZX2hk(%}WEjcDpfi!~RDHMC$y@#Xatyr+=DDrlX;M2}nKxlP zRRpKV)Z&@*^2&+pKJBV7m3;)2HYyW+F2aXo(0`o#1#MGKX!O6fkcf&7!N$$YmX7KI zMGI*E7b3Nx{ud(sW3=h}vy`0TvH{|3LJkei{}ZXxXSa!mas8K@*!aQgbGZp7ZN(@O zLL05n#p{x3!{TE~&ez?wWBiT(tCB^jfZ|36lS2G#Dc(pkgF-{K%39Q-spp#@ZNo!e zeBQRX?`2A{Jvcd!*Fbf%+(v_tU|gL#;vnG5lzBLuOB_X|n0pcm72RW>qgC#ZEmrM&&Zg+KQL!gUMK52& zZpd41e|0jfwMA;!H#{S&UZTE;#*E)(tGb?K5xNr!W@GG{%LQrgd%3sOV3+)QrUyhE zW@T{8qK~Z0zmtAwXy3QL$f4)xV8&kZF`ri~K8P;;9q+x<)@hsCn47Q5yOP1K>gIy) z4ZrM`;{fpg!tE1X`FzwQmD(5U+af!%V`~$#W{o$cVBUc=oZl`LdIZr$)8RIqTZyr| zv&{u_ly|&_ofj3)+~GcH{CM}m{|9(B?k8%lA69{4Q|GH9a(II`kBQCJ;ZrK5jgPwK z`brD~FR?B7C35rBktqK$eQu*vY$4-9i&X@B8dEOH3(o4k@6$1e8B$Zj6WkGGkyrWP zVe-bHWq(E0*}p=5$x?`JbmMECRc_ts9h<^RHRv$y1L}2BRnkG-AiJ2nVnCFvUg{u< zgK6E_^B*@Ue%*Z1(#VL?AuMk~=O3q}pZqivLjsE!c7DY<-2>G-Gr7${5Lwj0IuSzx z$_HJE=-t%X$-H~~PN>4TWy}JP-fWrX8QwYa1QKuYRSb{jod3>mCpe}J{Muu9Fw`?s zlX$uqAK;)fDk|BMT_Jb`903~TiMJM>_-BhyW3}IQoG$qVM3a zqE)QL>Sx=`*r+Xp0kr@c7V~Q(Qm}cSk!)j})oRHpI&9M~!R?CEMVq$5gYdr%y?NBk zP$0esrYrJ{Q5ZFxGABfJ(W;0{;1&BQkf*a^8So91FuA`2f+7ZIw;2e_`TdDC#;yVv zXn90Oc#iYM(RquYyMS8{{3&torm0mbS4X^z#``sWr+$1We~5Q1kl@iOiLY5+=|k$q7Hhb}&_iEK8w zY*87SimH*<2Dv7~jH<7jl0a%9MTS%ZY+oJTOCLdQ@t_x#qw(4%_^SJuSLtVRcJNty z{Fx9WD)@q^rVE46S$`y{{Bgg8s1AsjIYRsThcfF!MuO>pQl6kTRK@zs-8gYW4sx8G zBMt=mbnn1nOhBvR=g&NB3Yman7IhnBp8BvThH6=bC_Rhgrf4vge%eeU$Mc}%?)jZn z4E*%KI^{A@{pa<@*k8|q43H4;y6@uwzg9`EBs{$zrqB&u&LN)9O{67NyBqxKK9v*S zHb>E=b2TlFSw$}R(5;tU#9~E3vf*A0i9kydN-N42DgYz>?~a2XxC*C;`+o<|`C z5Ux0>d5^9LP?S*EcnMOnb!n(yjIG;xR$!N&-rZNoT1m-7&AqlrQ86mvGELU>8$9YK zbJSz6M@YZ+VSXjeEAz~G{wQX&WFnF_gP8I}oXx;(O>wTX&ar9xVtliVQ+WB17EVai|u{(<04Q7>D#=^cRY6O*oPB80(GoQ64*w9N^^v;ViptXpvzjMWJ0mK_bzU)wO)f^kH=15j z?^LbFckdkl(r~>;9 zh_-JfZj@J8?im)To6XUwG|OZBeo2H4uxV3Uq?u+{q%R$tRUu*{F_(Fog5m|((bu(c zy$7MB62gcK;oaNCgl2TNu-uJgf1BvJD>R}TKwS}=bE)+KWX9AmQ%hIuR($9TbP?&% z-J)44Egs=T1TkVOvQ1v;Jv4W#kyK(grHx`kU zpwW!oifYp*#WjsD>L^hkT+Zf7It!_duCImx2N68+>Ujpsl>ZjqzXJFh=c<*vX4lD%iZLpdG zq&va2rtC^kUhd@AV}$(t-iraYhXpsFBfKMDBuSRdPKBWsEX*3j!_rf$g1CRIcUqnB z^-bLZ4`bA6^$RWAr@Uh*4?|8mlznG&H72?BDbA|Z6@?JI9cjsl%rll5Po_PBL7F;u zLEPjgo+DN-+HOK_O}#mO1GUQ7<#!Sg>=Pod<3x5R#v9cF4WhW4%8>uE<*^4ZyPi5{ zJNw;*;F_hMW=yLF@Dh6V5#Dhu1n7uOG$V84wTs#n4rR@~z-0Q|GfFF;_9E2=Z7Q|S z)Y&p4-#x1)2&+Xo{E=AbUiq zbS)7SQZ6+M&Rv-MOI4?X`0Qo(^-U~wn7g)aG1{e~AA67XINllm%B9z|?zzB9IUL6r4pA@{g4 zC-*^cfycf`qEep^?!a!(6mi}{yPv8AeGFP+dKjSw=g&)FBkk{3^+%)TXGMlq_X(*g zfB-US`)%efS<41fPaAw_J$4VLqVoy1&-JEU_)7t}eU5fcokiaC>fjFi=gkiB&L?s^ z@-P4YiC`?WLK@=L#Hcd?9)QT-vXdirl-Qd#f zDV!rV*nhY7^_R81J$0_UrKOwcJG!FbQ+N@=6kDF;V#vE_+Hn7aHV&^V%cl@+(75$W zT43GzBM1MQspMBK^yW)c=M**po~Iy;MfWR4v9`TC{Ys*&4TcMLxN=Ih*?+AvJw5Zr zIPL?)MzX*hIUr5<;vwZJCPt{2k5!#f&NB*1gpN$k=b-N-WS0;bW#U!?uJGKmyW4;lYL8CAyc zg$U(Y5Lbv%Q1B#lp`y}tBfFib1o2J`ksf&d#ugkWsyjwnbZTQM>pEZYg;e^^sb+`B zfKXG6z9OkRheEE~^2L66~> zEFOS(yoQvHgggOzbvp<>r-x z=ikuRS+nV}$tIa$hqOAC+~`9k8-n}6izAsC;S6K2_+upkm%y?g1Y79dX(11inU)Za zxK4k~(#PO+EiUga=r%=oLJ@ukKKQy~N8}%T@B9_NGwOOCGDkjOqRlyt&d!lJwI>G# zT3FGnlf=d#%NjYa*R*&znMAjm4Z|#p#ik%&`k4Vg+b6vg5kD(H829lQ7fDq`hNIQ9 z-N(*IaA=+uDqER&uuXL01(Avl0;T9q%de_ zX}kU58H`a`dt*Ittr3|=hKXoETIkLn+wjB0f31>XuG-$nk>L#_px&~TnO*n^6WK)X z>4j=_d}!tHw&D+q(JDFhkBvSkS91wTAN5*+&I&rM2<;hk-U4YPTJQ+A>AA<KJ9{&D6Z}oA4_w%W&>t;_lFVIsG!CB-zB>nxksulbbnLhGB$EnNoWX4uH&HN}yw4E6M3f=ErtOHhin^CA zDfpG%zsQ)dmmG5t51!Tt$aSI354!&FHl}#4?GbuN7)(D_A(!t3a+(@WAuL>_g`uPa zu#R8s3VZwj^OTpSHl!DJPqtGT$1Y118kd2VS3R{s9RiCho5Nu$RzpUjXCm%k5>NCm z2gWtt53^BcE|ERCi~bfeysOBRAmyrl(0%0mVvuzViI7f45$oRVf>{=X;AtA0)!~&A?a+e`k&~1)xmaVdz5w^ z8RjOrf`DHO=%B`PsdgR$t};~8wJeKuB<8ITH%fjME*McUgnF|AtbkAh9in=so%uB} zC8|gf*{!>C7bRJ&s>-d9T_r`3D#iXIRDi>p46DX5=ugvsKLRmykpa6;{FbZD+X+d8mIib;*T$k{ZdOYjx{@TS_|&&704=oA2Fzl52cfq^GvY z@ZW!ZFwN8njKzk-bgU4 zHyPAxb4)imL_-$h1(5bdwGl=&O{koFh(1XW?bT8)H|*nnSML9)LK>P zOV}5Up$g`oesI!}X)5_$X*Jx0QSOpKIgZlZX~jAHTx~YK(!xQhZ3RGJv*t!V;=w-~ zj(Ip;S}l2o*Etnt$4Vzd7@P91q7p#sp8(T>rnm)x)Z@)y!(r!z(2r8U&wX`$rUn;r z^kSL6TR=)^SWG5b1QExkvsmu5- zCJ$~Ej*$fYO_ZMR7KEMc3-7v>pyy#1J9MCuxNhQdR|Y|zdob@X1#@ye!1?}}#8zI& zGVKR{WQYAu%NEA&i+?Wi?7@bSX>5Lt&#n`W(idTnmQPBzcqa)==SeQBn<4AK9W6j$ zOK5@aN}>JK3OqeY)1fxt4J=YJP8||LHoq0n??>0{Sv`(y>b9nUX?Lo$*eDM{tdu+q zy_;f%IhVI7=jiffq%>aGrX#<@l5a-5PXy5Jvg_Jb4KJ z2A$!G)cRjQL-~J&${eih>G-&yF`z=NWw@Z#uuP=5v~&Nv_y1Y@zle^VBb@~ols>(N z925aq&}u)V;?Ec=r#XnqmMKo+okL@AmP;gHn&B}N-m+3kv+}--h5;p+JN5Uf&GK!? zy&ZqowA8Fs_?G%77Qw&>r0^`LI563p9sR8ADV^ zs^(Ohx?TsW1`6g=Z$N2a66}VBxss*r#{N#qk~}A3j4`lbj-AvjGU4a?ypkRj&Pr@Q zCx>XM&5LQLZm(#h{YUGDzW|z_0>12fnX8zw%vPZIvUO$E9RF=cqiJHnU1eut`v~~g zD|o!_ryGl5oDw0bt9V;IzN)Vi$|r3-GO(PpRXAEx3i`okYc@oI?d)~>`oregKY(BS z426UpE&+yDQIdZEKe7l>IHWDm;sL>r8c{do-$z0!H3x*ky}ti7b(W|s{q$E=r*GDG z3q4+0V;7CfMwi1`sJW}5r@GJ1eg?1^W9Z#luq?mq!7-WUU|^6sBe*+Efr~qJpfsGx zK;?=NZiR5eYm4TgECgAw6-35Ks`$7U)kv$QoaU#2A~#cMzvT%5fk>Kx*PrH>?D_nc zz0x)SUk(dlk3=g>qG@pQDAs)}&~-204~&jKt0_{Xf4V@P+D(Fm(fA}9mkij?zMitB zjoYV@G5kvPK<<9bIhfjqc$pA%R1V;=lY)su?m7Hm zod>yr%ZSUMA__f~%vYUhx#}nx+xeCBd!r?kka?by2d!~~n+Hr!6@8o$+7eXxnx9^o zbne>dv*hCZY5MF8k8B}$cxA6)J$J#sb?~7LdqD|?{T?jv{k911Iw5ZVPCEIdpC(|) zG=5~(%d*J~`z!MI;0aI&em#+?E(=7CZ;LkK_G@=b zfc8n^;bXyK_JGwa%rB1}_LAtM-GVLTHa8SaK_~FBy{I~CX#vFkd@fuw4WLJu!rwJb zFU0*ubcD6CE)-4nLi`M?f|MlJ(H`{CSO0a}gE%{=?-uGEW7@h&({_g1uSU)-{-b(8 z@;OOrN*dcZQ*5?Czkc!y4-vcs#^DZ&#lnHo^$7fh%g|HsiCFWzAbq+@sSVIF6r)@JTX{gz+8Ixg;8m6fpp5cXl_b6E1mC- z#GR$&l!XQQ^s*puG0W#oacnf~&tGuZPyUlL z>CwX|J)h)+sY-u-L>Kud%q<5?(;Z5eqt%A}cL(Upvljq9#NbxWD9@>04;X$CaF7PR z3mhJknt&}ZKC4~IdgP?X>6v(}sjb|$j%^_21TQv#O;_NR>IK=KQI;<9Y_6rL;eGf0 zY|##Ml2K~KfX@SukXc}vzn>e3PhdpnYCGYtS+z`8ftNAiy(iELR!TsEV@6p2;)*{b z)j-b?iDCq-f)a$=_wsEdx=`7i&r8ClB#U5$M_}tlNU5cq)z)XiPJJp`u9t~jH77*D zdG3SQMN@Ru&M{%1LF}#rVl#%1%lIKCxG_BZ32RGRcHK^|mSOKgKo@OPVDuMS! zO83LjEyg;1RgK>yqJPU4a~Z)CYqt}Aa}7>kufb_t!LM1c;R0ftT=4>#69%BZcv27>6*tTukwr$&XI-35^H{Z<5Jk+YYYps25J=9C>bN0TdJQ)U}8o?X2 z!RykxkWHg8$>97|)&)k%)5tBW`iZzwk6#4-!#ToyEZB( z)ioP6KE>{<^kM<(<|xGLjLiloDj=-(DqCQG`5}OYs1v%F5N^%EbyaBNwX;UMpVcuS zOd$cL)*{itUNveB-|+H}lUg(4_`hBjA?$&P!NTkc@PuCuR{bOz=c9rn3xrJLnhKrr z5;R$?s)L@|CJ%K0-L6&!?BDC5%!eUkAf2nBjlXPV+((Ji(`s^WFDMH7_LZ3!kE}YwQ1>0 zosM7{Q+cptJB3aMSA!@Xf(#tGMkr$uG5Lv5O@hw-@|^`JHjY6R(%uXJ?VU!N!5~m@ z7LaF_pAAF(xU#qys`U-B+o{5m-se4Dmap510&hFEk4yv?h9chzIIrMfX*CQ0S)0)K zPYU%6J_(+sCP(An1etH2ssBE2K`DSo%}jsoA|V7c-{h(;M88~Hv-OJ3>7PW_n@yMs z%C)5va~>)4@a_dliX?9gI?K*WhuL0cohw^QG&JW)^4d;{9?+{XVgwT22D{rzpsV)t z^Gd(S-@hB61T8^F}0aU ze@Xm&_%r zw+`anFf<&&iJPRt972l+4mR(ihNf@4_qRW0=7PqP*&7!Z4yu=&gN`dKa3e%z1TZ7- zNFg64V&z8Wp~~8$K@81+f100vDUypzlD6kJn$QGuOXS zz9(12a;HHl9wnF#NAbtYU&cQp2{0Cx5rl#R-El<9P(656*9=qhG8TxVTXyD}pY zUI$SUzGHxEEe2O*X-P3?U1zZLbysIu6oxPoan*!6?{5Po9RX+1je|;VBHod2us58p z;oPgAa@6I@#8setmR*3i<$vz7D5GTbfi+(aDMQX^Y8ESA;I>Ch$*Dn-4@j&B2lh>g zsC`AnW9^O6S(-tUah+oqD7|80)3X<$=l% zT$R)_+opDRJSoE)6RC{|ABPTz5#;pTaJ{1;7nRhzxFN^Nf&1vC%!AQm575))Diosmd-D$JzKM@+>ty4QE z58#dPr&t3)$+m$P&H%1#gP~bg#|o*4ESFB*MzM>EKkF66nqS{}T)n+IE31H9nO^vc zT+_$eLyv0zAEhrPpR%2O5U)E?7kq>I=0HM*L=kNybl`}JXQe1MrI0O)ZrRh4zaFlP z%=QuNh2xIafLyrL$jkj}<8QU;)kr2F@XCB7>3Us}!>Iu{Xh2VnD8i-V%l@H3s!?x_FRsq7 zYxtj+7c3hVt=1;V{*o&588(u82$ak?Sf7CAhwm><-B`27`)ZezYU|2^JrqY!9m59< z!VXv=8&0tJQ9#!p$09YMmaC*gLv##X@Fi>ph>Ja^jp0HJTlC=8Hy~G5vvpXX&9HYJ znZiFZg+`3gYE+ck+RfsI8jJM8LP^Auun8JsAY}9y?;0pdMQ>lWoLybN1}V!&HNZ72 zoPh|c7UUGvBRN#@fou72D_SF|Io4b8(H#sW+gn;DZUNr)2q%h-ZGEAv?KpC_w&aJL zS=*M7xndtn2{p7nhe9iG%M2=6}BL)iVR#-OZ0#f1T)TXJ>wd`ued%~Z5X zYS&!mZL4`ilxpcVQ^R8R2r9TKj4qDA?d<&6tUdf@@CP&z=u0vf;}|?>79g2ZLlTs+ zZx_2ar+`E|!XGd*YM`)h+_@PS!yji7wcv9s$ zmq}hF)V3@a#mZ~r%L29pC1BEHW8PsiF}GU9PIUEa5myFOHs~+4GJbZZ#w!ui5`NTl z6>|zE^}pwW0^1`lMI+BH5tpvCsgAuW+0{mK`+&Il0Sef$d?mMq7ihj;Oc9QMXgAQx z_zj_UPH_1Jptq2^;s`<$guCt}sPcmF+zU*iQVjK(+r(~!aYJQl%OfzDe+_Slp~nEP z9=oVmEUU^i!|3*7{GRMXz)TwBrhZ?K+T$n|*bq=kVogSYo0!ufkn-5OB(b(|;LZGj zyZ{v8BRBWSB46R-kc3e~*i8@~;A;@PA&Y!{d2W$Qq~m}|7SZXu!NjFtF~jJjavwuM z51ZU1!A3wWP(mVOpl!*Q`PjfLhYz4F@vGwxtzfLp2Tj~cSsK!xg3wnh6`4M8 zy3Zeh;boIajrS$(=O!qXs%~bhZVmfv+EekE%#p%P0|7F0!!vXQXfS1?-FiE1ixVKzw}_jn)q-=&$mLM75(kkk=xM((-L+@%ANj0;vOyg+trsLJP)LF`4Rhf_O4cvR2@RMWIaLrYRxMz%)HBOm_T3V9q zN7HDWEGHS1(!eFwL;Yh|q5Q)7VvK4xKhxO?%nf3Pu;NLpBLotbAel-d0|da{tUCs( zrO5EIt$MJ9iq5Xt^-e` z{#DQMbNpn({He7Yk4TzQg7wg2zCft`;(f70Q5jV1L+GP`A&P>vm1xW(~!4I$m=$l@9j$GHsN6qInb(&@FezQ zHcvu$25IX%)-|oN^A;&Uuy)~Azg%jhsGscZ?jttQPY@3Cn-44*={!{ROF2P905qY9 zuzRFX-{8x`YO#m6&$lxfEEIVA`A&FT=&DqIl^dql21&4fO9 zHy+d`@u2fqNC+L1>saK+2q~8k)9?$vO*$qLRH($Zy^KJ<^BR&1zTNf~F!O&vz7nuDE->qV0J0r$0S_?yf52EJ za54cf=YN3XBrpXf@c$`L^8}1W^4|ihm>`Ul|1E$g2%?Mw%-;HMpFzU^awUC0_=*3^ z&CUfG#{DnXtqUXw>K|7T1C+QGe;9;G@gMgeP*VEG{dXs99Wn=P;r++`-ypLDG?M-w z_a8t{)qe+t1!ZAoOeGu!K?h~w`1hhdAd~E1%1Ery0JFs>XkFNd&2E z5Yeqq4x#?TeXRly0N{ewsTD-0BQ;8S=|DL?=z zKLLG9zC4JLZOBN!&OQGCh5TK@IT&aMp*$pwJamZgdm({8ei6F5x)r({v)UT+$J(i~ z7z|iQw;-TgBykLRA>rlKIrRt%3Zrib3XmZo21F8h<)tJjz~I=#c?>KFAaMXw&H)YXRGpW|{qzhO90l?s_48PsvdEj7K1~~fb%=0)Qzy$$6g8_L+ z61hLAuX-W)_>Sj+*x0`3xMzq#eHJ8L2681(pT)~FNJqt@y$)7uxd6rhP9h#fz+Zz@ zU!CtVREX%O_uH{aR$oLk_BmD-b{6#aS0LZi<~fBZR1kPbtv&kgApPubaNkr}qA>o| z$JjJL4K&oZo-J6v5%Nx-R~|qckPCTs`zmkz!=KW@HL@u$140UomY4(t+|Pv4>hGw8 z^8F)Dw}cuQoPXa7-@A33`}s=LufN0a`}qh9q5|n4LkT^FATOC&0SM{WnNu4H69hT_ zZS`jRsGqrmgJ)fnkJIjh>54G+%Qr=g)T6eO=ST8Z90%64l$$(@dJy1iZ8}jW2gF@q zd@6mta`7STV|T1dLs7w~A$yGX^RaxKP@U7u5|(q{Jc1oR8_1d2Aw>w{ zJeSZ5NR)*ey}5oQ@$eHUUH9DS*YV?VBJs;w`35n^pT~#VJT~G~yU0Y(5`TbXguD0H z?P#MsBUw!>6aoW}wWgzIo@$}(sU(EIQ7R?;4b@gIO~L%_XHb6n;;Jjd6K zaW1?PYoq<^fx~xuEAywQ;v*hdcAA|(_=fIoYO_Y2lA<1>`|t&U(O2A~b*^P?2N7gB z{s&)`P|VqF{d~yB3jr$G4pvrnMT@S<>=RxE`sexpS+A1Oi&hc?a=+OJ;S<+{OYKfD z#<`{8%Z~m@crifko^~3kv9UXeuk?<@=#eTxQf+l5FgPs>`Sfi;iKpW0(SMG;?aX@F zd(K+j-ZOJ-PK*{E8Na?v?-AWs?!3@mpkE6{oTv zaFOS?nx*v=jsL>TLum9u-@9H3^+Qd?LF}y4q~#IuCWXnd*cyRJ!_+P3>qU-E{<6qzs-?@6 zgi2x?*&P)I0?2u+EM_VT02!B8D#?)45xP_<(wC-UWj+gn+)sMzF~pkxJF&1^k8n_Y)1v|OdrEz2=wD6HfNy{)#f*@lnH zL?wU?U-c|TSLw*Ka;e7AYSG(L1DG!&<^I_YG*ncFOEtW=UQhzpVRa9{xpohDh2>f zUrZ(lxWv9~Spz@49-{YN%x){lm>8?r5o)3nlZa%tPLpV=yqOucz80A%a0<|87M~Db zp0JQ-Ja&D~Q9F2Hsw{OEjltakimuaXDuA7hjTdCzWl1ksc8iSM+NP10;hH0v-gNFF z5C{R0sl`8IcWMqJRfAPW^o+qqc?JABSX4dW8g@an4!v=~KaqwmhE z0c5`y+I<-5!Ea8_u-w+76LLDv;eNcer30DJQ5m5_)W4A_(=VoIa+9)w)*TVaHyZ}N z9O;Y-1SeTbq5HA8$9fSP7Djt5b5w@4y8+z965D=Au~_UE;47|NxWYxxIC;su`sEZ| zp*TD>s#lo*(9}FQHNyWgTLIW7rN_#eC>Y@MSYA&LU<2dHTlCs=1M0dq>1U_p-O

)hPYk-6bZVG-oFU5AowNeqso|j zHauIhR=I}>p%eC}`sptfdT_tj5vFiUx!D{EEIqO0FvRCI*hfDk}diK#6A9*-DX z?$dcf@$<#AFGjw2JRQ9)HictVgLSeVqVls&9UCy5D;ahqA|px0QDy1^*4eCyv!I~i zUORHfS_)L7rlCly#H-yBZNg!;t^secNrpJZy3TypP|Cjr(-xuwyPwWYDF1|Gue`KE zF&u)WU=!C?`@WKqqyi|b)-OZr5q@Wa6dGMCRt}-k)Y4QKu%?P>&;yKmYmc$hUk75|=W5WeN2QPqy zOdZXvGNl)tat$5X4Cr)VXM|aq& zJW1>?0@M0mvjJ{>^V)|lw*$Afbv;8(3b}}v3k$l6pBfT%hhP{pCCe1&-ZKL8R!6v` zR-~_{6_gDh6`i`;<78bWELz+nH?Q@DRNnEjJGCe%AmEDu)2*4!0aY1dE=xznYT`!F z3BhoY^9fW&!i?-(;?~@!i!+;u+o^^_#$$%yOjYxh+JFhl>u^N(N?+N$h!UvE#hL78 zwA~fH--I=Al+kD1VH)%6TUOm&bca=S5ihf_Y zqUa7j1UhMePx67fkWo_~B$z!_aYmxsWexAIuG)jgtT##@ z5MAVkkpecx_ubf0i{A5PGQXOYx2B)fR>q(&lQrtH(a*Qr2qacfzRu{~x=%EYnxa`S z9{m>Qvh*|YWT{B5tHP`G7Q;Er`3X!?yqa@Kxg=_Dw7L|ZoL@tfu4y|lrsQk-<{Fb= zrxrJFPD=uA&zmUan9+E=o(AC^VJ5nkjl!3t!T|h}w_75-ElgHLsPG9G!lqqEPXRpS z93lX()7b5*wpc|s3T(85UCte=sWP*1V8lxK#=N|k+LFr zhPYfwCLza`-J|!*d-KL%b)rgkG<(k=W0ei|Z`w;^HTLfhp63BU6dWLoK(i7-N^u0G z7QoSNnb^`^UI9U%GyS3h->bLGG>V$*B_zD3L7Ke;=o94{?+rDAc%pzVIiiko6yA)7 zaWod!6pid2JA|l*3ZlH1Q`c-BQF_B<AF`yh*o`l+dM&g zmW7Eoz9sflGLUU7xNPGhN|UmV{y}ova18EfJ2Epv-g0PbwRh2J=gXuNO#RYbt@d}d zD);Rf31g-ATst1MAaq>%MS`wX|7>=Wp<8+sy!XUDE(AYH24^p>--K!RL;5<789>a$ zqIj2p;SE$Xqoz;GQ%?i(_H5Vg?Qa4WJB4bkpwycU zSRCJLAL!2?jQiI8U~DEGTO<>dDJ6cOIIuG;oprVQ&oFnI$&A|8A%+>vT}<}G(~N)hVgL|cASrvkuB?n~xjmsclLVrNFaa}f; zg!CLd+Ju|rRnw&kYIyo^!{29`IYK9^bbire#8mX;1NW?7M$(R?8Iv@drTMwet|L!M5>vdiJ_GhfJ7 zB|M|_V~+cM#G$}{ZW=Je)aO3owbD+4?%IMY->*EcK1dNzhs2~!P4$4$wK1>6#X1q$$LkggYPf+r@WXzMfAoG@J zj=c-50P_GQd!@0a%qqN8c?YicC0BpKcJ^%cek`xDW^-1O-p%%$RW|t(YBSFV^TJ1g z+P~@s+tS;?_9+!~Xzc3*rIQJCEeAtvOOIn*y5+(K^vHe&EbK`#2ET+_@nm*LQueDT zi$+=7KY&7ZXC7c&V?!EM)aCUxKrguPLvKk&=Vs-3$dosw>1?*<&hsiVV4m~VU@~!8 z>0V}1a+?w$8)|pCm-S0@Skn$g+8?shJw+vI%RO=H?r#52DjV&n(_~aT81~6d$6qtM zgD4zsAT`<^5=L(IHsFCoL_}<$30>T=SsgeAu}nUhCNmEK8`pZ%8<>Jea`rD z6>?x6e4ha+VIarf3Qa#o*Bc2eS=vUrlsdmUk!W_x*X#1F?TJ71->(z&nL)c(xfpp zVDvIuGcaO^u&X`iRUOT%S6%uVWmO!B{Zb(<_!$PM<{Q|Y0x@7}SZ{EJ$olKCW_^jJ z*Ww>jLxe->I#RRjoB3QcoL3k#940%!FUqql1QVE`yFYrYAaiej9Vf2DI`94tCvh?! zYxkBoRmKAB)%0XKvK%}mQ}h;;;y0DjZ~z*7jP{!d=J$X#%p!k*cHUiAy^Zq8%J=2D zvKVQrSRcvhk(T|@TxvBS>wA7AfujvU%vR$J{jja{GaXnN^h_)R=Rdx&< zbUIFbBR8n|P2wcd)^xHC0JF2d2(b$gYfo?O;!1T&1>QBS1rfH!8#t4?No{*4`$+(;=k;poUbc;|+ zEm`pxwrGQo&xP{tBloG>&d=7z)@jbFQ?A#n_FDl$yg;nb^hSyozoSwunQIXhC}ot2B;+6-Hj(@ zMuW+#|IOq#)Mf}hrS$VwB5zLw;@E4@)H<5GP)}HE#F?Z9d3b!fke2hi4!EJy^ z^R;Y%`*XLPVcJH&cVm*kVP8i7Y{zoG9J&{p69b>V-X@M3eR?WPXsm81%qkq*0)J9j zp(=>5r0l_@CB}A(#LWTx^-NH~US6L+ksnVpfX;p#Nx;&Bp24q(5`MBEk8%OG@<(_4 zDJA6ds|0X?5}^7PSYUn=6B9rY3o!ow6t{^?kpZN!UO4`oWBKpPI0h^|xCoB}Jmg~B z{g*nr1`Y{syRsl%L-W3Mr31Vq&#GRJ?Htfe2hi&$hh(?K0QSw$U;qPJIae!FWv`|e zv;*eg!?}yz)v$S}TNghJm^45qkg5cbadM?5%3U+BdB3N)dbVN*AS;!V3rY`r9WOHT zEoZo+Q8}Iq9^t~|wJS8smBb?W7MnwNLOPadm>+MxIYD1t3HE?K?jcw3*WxuEs*$5KhVSv7u(%Tu;1jpZFOTsBY1#hUQ6G@@6 z8MzDTEZyV9WlGkzRSs~&^BBkHtpvvGUiS_|s&PSRn!9W`X5yGTa${3(oj}%`MMH%N zg(>{2Gj>t&o#R9g=RIde?0ym1cX5rs?S5J4_RiUF*0RxF=(pF9Gyp+-?ue$MEFfZw zr(}HF1P8y7UteDKWpQZO)$ktHD=9xg`{}8b{d`9cQMAI0%nZP(mS^1@IY84igxQF3 zYHz6@(vC#gPjTs{^RS>cz&{@J=Y7PjhuytJC5j2dlF55)QNyXM&$$xj{Hu6EIrgP_ z+rR#NKQW!2hTWDx&Wsv95ef4RPVC@LJ_EZ*gIt&5q^+R=R9%HHIM)YvN%RBNg1URM zRtsg7onPcNNDB~015kHZk#iz~e=XHA{Tn z%Y=&uZx!ZDLtek_fhLNZQjyUBVHDD%hu0W*^eY8#hB2q_;I%U-M| zr-X$YewgW|F%^2{(pwR;@=KfPApPe7Ray3XolS)ZI-oCEg$|7NH{H3Kb4tTy4)!FI z*^Hmo)dYNa_m5<036>L_c$TjmJg(y8mJ2VWSj6P#=NUAwDd zK+re&@>XXYY!^(`h#0`dbwrWZ{7U=?I7bzWGSJK`n8r@2`EU~Fg`*QWt@J=% zvKXsosQhGbaIT)#pcYLX`L#=ByEttQ!RTg!M_rrwPy9*HflWhTVx>JEbYmzqO7u;L z)--ePYGCWeG7&x_S@GRCco!S#bLhk6$Yq}5%8PD0dviCKD~xuA$QaeU^-DF{LPT$C zQ~{ihWU-XRbTwmBdz*Zoe81rFbB=Yo6AV{_%-Hr()?nb+>Evugx}@T6%A4>}Uxk(U zNvFI$&wevuFij{i@DKml`lhs`ieGbI2Ue{XJm)mSRcCyo^@K3XE?xC~#Qj4Nu<5l)Lsj$GmgS zu%*HR3qnWG=qjNtQX8viJB_wqN-1Zh)CNcIE0c`HMf}CUS}eGzm~lDgP`{q8%hs(! zf$SV2fy3Og5`_l$M|8i;<^orj8y(q>$2B!HJ}_AC_C4qqW z&6!j3ssid`;FG;si*9f~n3{A){QTEx9rx>1+G|MSP0hoQQw|W23yatf-TOuk_BA0y($hPwxv6} zI`}8vHb$%2&*>6XdP&`=_Yx7)5=jYV<%#O~DI6RK zi(L*%lDdYZ@#;uCs=jlzJ_Sr2<$k{Dw6mA#Chi2CeaTB2X*+X{A1J#(cX)!* zqiOYQ_J6y8up3)bT^)(e_0L4w6~XB?H=-59V-PLDuzUL)Gy$?K1V5y9zAs~k``v4$ ziMId7s&I)xJDE(=;sjrq{?RZI8e;=IKrA_PMpmC#cXJ3f;WsP;^de(l7ILCD{{>&4 zk4%=fPsst2aIRK%RNo0ZSUy;W?OQA*KZ|~#L*g*ocW-UkyTVp3@~F>z{Yc}*)AJFA z=MK2Nnm1Sxya1wWlnmx4wQ*8V>j&f)w#`)5ZR(8DPuL0RAyX*ui%}wX|Ty%rt zD8(bXs^In*8NCbaftB6UC5-wDsm!ga9utP-G_TlA1c2Uh9PO5_kMwBBVdWu3iZ>4` zElr@V3em4Xgq}`cszxKlc2m<)LQ&os>})odr*9IPKLGMmW4@)Fj%n$-70Q5jkm1Y7 z>H8bBwcI+t5TRbV!_ChA`DEIq3zCSK5p-|4SvZ^a4p6g4+2KZ;RRd3#)#7*b!|JSH zndj`O_nn@$;bpZ&$(H5^O&h9{1)J?Eer-dmx9J!!_pEJiL(dZXn&w~OlvQ`#8=e$Q zu_2{clz^jcZ`GR!2GH1!J_FRr2hgApxMy!w`IA!)`uIc#c%6i%n+RfqT!=}MPV3|~ z&p-|}+nB|!B^(5#_Uz}EECAx*MQ}Lxj8muY3?A^pSIjj`=UWJVh00|d93s6$GvI=x z`77tacsmX92)zvy8QQC%F@^sZeGw0V5}%fO8=wzpSBP#>H8a+ZG}CAGKrLn~<;`2D zaQ4*R*wqYPDvZHeql4YTK`|;jDUmTan9*Xl(mb zHMWhN>|1Qh=?>M(?=^Fc>7~=1#1qj#uf!+d{RFi;k%%ux?@!AQDWAh%Nz<3Ki0s1T zB>=@zS_D0_jv6njQi|7kJ@ti)IgVtJDqA2FdQXV7N7iv6i69I||&@Mix_(f#?H@e>GFu4CL3 z+g}9coAYhMcX_Ps^uKucGi5Hk+wEU~F96BOh=0`!`{irv#ob@G4|h))OXlr14(CyP zhV+grJEpaJDW6U2PDnP{L%5~EV}vs+f*wm!yd|aQm0&u^GLcUemE}voMca@;ip!Kh zy1jCM9o4reM>8oS_F}a1Z1j)X_{@!s9_g|aUdy(GST|S9F>8swi13Ru@aY^UeE?d= zOc|$?lI=K5>8(E?#6JOX?@UC$`WM{|VM1JzG|4IT$*5;x-TZn^m#ZYkJ1_3Wt&Tr` zW99niogjuvLO7ICfk>t(7d90>Q_wov{7bqmxoU&=P|@n`eOuzCV$7;DN?`vKY=eZQ zo1S&yaCQqao7%E=K8@3}&ZEh)hzC%uU&Q&$%WZTML|)y-Pv78$>S|YT@)Amp3gWp3 z?a)27^AU*aUrkrcMcp%Avt70|PBIwx*P01yOpG_01D;uw@;+sBqD>H@$$Jr^mSkdfj5CMfuTWa1n zio8fOyV0DZpqWsy_-6Wqy$FE4ta~||#MGS}jeI#AMI5bG@XE)eo(je)1rCL!-Qlw` zUL*n$-|w@`aJFHF%+ZQVVX!p$vMEmK-4gvXrHi}$^m}*2*gdn=st&x0aF`EY!&3)X zRl*w)LO)`3Ecy;CeZoI;qX0;qu$#N&LQd~#r*8^(v#>t+nl7Lse zJezU(YrNVkOLs&FgQ&!n$cZxlcGE^EMcsZEvVokC>D(O98h7u()-bu&lNW@ zO7|_bp9gvSLWo;v>};oTYKk81q?F%_?6WP2YdpqrUiF5hPvZRlWC`~FL@}hQV}K(5 z&rlEo$UmjxpEQ91%EHE$$OuOPu3Y7eY{tql0$hEix{WT|gz zb_OZi++6F_#MTCK-`?5++s^uPo~`qK{$ruU$O_)3kp?nFVY1g9Jb|P(TO9+DHd7Ci}5yb#gfQF5OsK8-LMToCneQUTt9f)SEm5 zRR2tKd3=r*gc=xvq-kJx0!7J8(_ZUieGg|QWvBD{eeoNhs)zoRd;=eSBJu$p^W!Q3 z%g9WBm%BFC$Fn!Ff-6L5L*8Na&;1B2?iDnhuXe_-}@Ef~3tyildNo%|vu`E{_l(m(C~Jrot5{3$!_ z)&H&}2U`4j1RTTt$)e!};);6uNq{`;&H2&t{Hc}FSlb!Qj0sPK6&M|u0@F7%F@m(O zw}1O4Xd9`KlPhth`yv0#)%?Ev(UvGF!7mwMxTJm=;UQ8xr#0yP8j3ij>bE#Cg7N^|E!2qYb5zdHT`a->N)7Ya863g}}bQ{&OR>4PZyb8Oa>Llb0Jt5q<#b z$@o~d?WIQV`3iq?fiH=%v7$kAMfEsMXs^dFlHeWA$ad4EzSfutrRhgAQkb7djA=@& zYk4!L5G)q=PbmI^H}e!w4rDPy)^fHXz3b>jK+#3&f^-uOskT#m;-1^LYg_4lXNRpC zsfqu02cw&e-Jm3QWNEFEFAY)&08wFMXDw zHI~!|OIh9>y3%sCh1Rch+p-PW8x;NR4Dr#_is!$ZT&FNF!DRV#S7A(3QwrSBkk07& z=wzAU{u|L3Ho>Pr;{k_35Rh>2!5A8;1S3X82@z25ZTz`oyBN%O@LH)7EKj?#UE^KHu(tIa#^r$+S1S)-MO`G4v zcx38_;HL16($9F1p>L;OPy^;NqvPk>TEd^WbTqy32m&6pU;0%Hz-me6ulSMgfltj0 zQi9#@#Zj?g-LTZw8NJ)vtrfW3zog?aSpoY?aWQsJ&C}h1si-g&aHjfQ;bC5KQLuz& z4|I&KPJo!vPU4lh`YA`B9CbrJ#}buLYejQw@iRIwAYSFA6YuaQ-Fg3)oL-KKeqS!b zq~APNk;2a3I$#?C$O-YeLZISKF^c{=L8u3S8H||qis1%%9LmKLcd&fGi3mu8IH3MK z$!|B9ChsosGJ^N_ehg-sfRdjl2EAGvXu2XMl@+p~i##r%vN&8Z0);8mec12R6Q9!t z?*&5ZNeRmL_(QGWHtpF#Jq(#gOt+TKca^Xp1FMg*)LT4HVQU-H{G1!Tn6x{fL0n!-cEpb$J)vh z4%D2rCNrX-DSMPz;hCK~-phi)P9swKtJ6W}{v?)4lo}Ri)+mVh19g(v0bR8DUZ|mk zQ17+qLIo+|s=J%-6W47ZH6u!yPY!I13xjU)dP`a&F zI3fF%Y{SFSAYD5BbSoFoMEb-@>%_;_ih-jxWvOj#rBHuvmlkd7hq{MU?w0dG0gh%sOTXHJ zWNsmn}nHj+D;+oBMfJEGHyzHlb`{(J~U(`YO$7khP1WUe3uW zx+GkbT6Uwz9lO7|^*FqGWOdyZWOkSWd?75Nja!d8NUN8z7El*E+ui01EQhRjez;0^pFtxd!=z?2&OD1wzx5nT^gKOg zSmns47hZ+zL_SP0{+pf)OlG5uNPyiteouWdcWTS(;_MKCZGnJTcHz{Ws%fxm9;W3= zDiHlMief;Q641t1_K7K75rl$E5X*$++WKoduC9$BXKZ3raOGw0&R!q7zDSMKr5rff zm`ILRr8H)mAR*|mz?rCnTs_Lo*-@bT-ta!T#(E4-8B1bRVq@(qphb8gJr#(iDlL@&3&s6r@QK(@{Db4#>!V$S_(YafuobK zarGeA88lq(wrwEmOsI!!%I1{FIqy_tld+}#>PBB>2K9EvYW4i-X{;1v0%|6XlkM|e zLC5!73NS<%85ZMrC`Mp{Y3(SJ8|(KURpCAg=QB>D|}Hq2C&XshvsGGOE;DbLuT2h*Kvt9)iJsx zp_4Pqgk+lZ42+$rITj*ZCNmEfqQ&TTbA6X?v71MU)quG%M zaldIqO7J>gJ(o~{^*!|dzmrtwp0y&gyHsl;WL@QzuNz1YqQNlr zvBdg*IqEYzaE_Hbiv#x_em-y4e&qtJu(4NhSFpbfS-=F6V?b;2MpuNmc$8iUSdqyZWYXQk+2qUJekeu#|0#TfkUP7lwc^aeyLW>aBtm<#Q z1_%$s%qx*|6wj{a_xMu5Mq-KXL%edyhxrVl#B(Hpq`dSweX2s*c_X(s{9vxC{_e*tKWYV2tI z;PW~&Ib_YS`)YWCi5|NDsA03pC}kNsMEyls7WG5{b|BL8TI> zn8LVqRP%b`ch<3;u0Bz1p525?_-<0!ijp0+k%G42-*}Fbpp#1lYDU9?0|hLDLwOW5 zW18A2PL)Gb79$$P;v0L?#Q-*Tg#K35kg7A=ALOsc64>?zoNHO&kAQ6lE!=C_R*llH z2aWckBSF7~THU!>cC0O-7}OBJo-$g0Onq2!#vTmq;VK^E_Yrw-L2G%qGi2iN;~Erg zmeWD#i%ad~(>_%<>uY$R(%J0ATBiKcM0Ny@oXffoFoeGFyq;zL6W}ChgxNl)(m8M) zb?naTIHgoRL#LG7>0>8y{IjFezIOY4=MB{enD3(J_SXkCIsP7*gGn}LgFoxVZT;r+ zT3%X&0+xuK!7Rn^3767V3lFv0iyYtGC7=h7KR?FTJnJnzYxyX2dlcDByaljMWv8&& z2Cev6QPF`j8-FyacmX1DB%UO}zRU7;Qyw3dE|!ol@HcCoNYEu`b|@lGqkZ72j5acZ z?1^10Ah~^fR@1cl*cg&K{EXfq^`z^j6jQGXe6#r78W<;`W;pdm3 zCmS-$hftgwsy2Dpa6}7-~#qxHgnHWUCs=B&>PNj5BYJDO3RTBzEHh>H)%S z1%&^mHmtSCc>yg(62vLTl`Abdn~7fQq<9s(B(B~sesW9ZfLgQ zn6!L7W*-m4MztEj)uE-d3e*i|4IQ8lB$2WhtIN+b@%LY)hciQAoyJ<#fP_u_F91G3 z!M~lq?sf>NYT+jDe@sMJaY0p^B43C^HsG8}W#KW-ra00okyRzv&(wyUI<&$ZZ6W1t zq z`GM85f5@JW7A(?k15U&la@Lof@g*_^p*W4mBqg8hAc+FGe;10vZ&TbZcgi6!g>tYN z85e`0dHhaZFYHyzXb&~jj!ur%spb2HrP&q37CZ{1(3n@@(J)mB%1{$hVF>)gY$ZXf zqVdRwtf0gqzQAb1(;CHbpL%vZSfn8OZ$2!n2@WWq(8cLY=HQ4@6rfp20-)tv+;7qv zduiz^Uam_vf1-03_VQlpSdj$s_=Z5kz6?%U#ZVa~ZIGQHI+&RwcW&2DR7T}LNi%7m zX^$FpuJWGYe@K{>PB%_T&is_21qLHo>s z{hw%uf}iN(_j&he^CE?B)j8?{^^e~g@9ZacCe`6c^C*m*Av7BY%J4E|b5o*->&{R~l zf1UKjOI76YpMOcy^0_81+;&hR6xW)OA8_c&a;7KvsoU`Sf||f}(W3HR z;qfkc1ef%$HHz!o1|;7wQal;1{)?fkT!6aA0j?7;iz7wE7Y+F2d8UFJWU0yL-W_gU zDHV-R?G2a;03S5e*>A}rc&>gW|5rf9q}a|3S1*3fLOaxon~pk zio)E~k&#+hU7JtmioXPlhefAE8m4;!t7xr4w0WH#uM{{Q4zs-tHhu{aF#_v7B`I=a zkQi!xP?(NH-FVnDQI2aBPaVl%p$0LW%3)78Kh0Kfnf#(%gf?6|5=DPwXDdQ&Fjz*BEp!g3>mFN1OdC zt+H%Pkf$I=DJ*vYd6`p2$-@Q_+#eqeG(2sDdD+Nfcvo>@)Vm$aupql%+dQf3<2o~F z!Qj*|GA+I9v?Hk1GFSTJf1dMr$lY&ny3E02bt;l|X$m?_Qtq%}Zyqfb_1Om$Tc<1& z1iBSit#_!$Vom9E1U;LeL>@D-+SZ#C+TVO1kK^X^HR_JLH~*=VA^q zduch2BKTHKoAH2Re}QW~Tdy!k1}L@Eb47(~>dwdm|IK7o^yCnm@++$y)RHTvmUK^{ zlp|GePy0ooRF3}o)3QezHH=LfHIuZEt%siNP6@(qzqe(rOKo1%D3Bk4zn$#EDmPEC zgG`>C+Bv3Gf10{Te}(mtAvYlv742Fe?GC_&Jh!W*Au>9cf89uO2vBLKWS+ca;qVYejO9bRgHY1KO&o>*4P|U}&(_cuX&;t@?DxKtXzZhQ1Qw9*jg5 z#xDs%Dbl6je}ZH#q*s6LJEo1o%=J}1Z}J|(>tYyGoqg9>$zquKMKzjLvchPSMPdix zxATdW4H5Vf{Rf`F&gJ8c<1EvF!^>dQT^)<7scBv-7+tU4px;YDrkk?L7N{L>bATa& zT{cMfjhno@czz^%kf(MU##k0$^pXeeZ~|xY8I{%)e>~C_T(<~?=TKi6E@Uf5GdGxk zKVjmd&1|>mdb58jpn>sS11b5a@2l|+oigNS3J!hbdaoa#$DXEY&+0Ck@oz?o4uh{JhjdT)$DVpW$61PvlXYk! zlH9C^f4Nn7;uCZ0Y7>56iND=I)l+18mHPK-3o(Ic-^`sP#Q&D(uI+qaeL%E?oX+ub z*R9wU+NYHyHW?!=Y&N;+qbQUAGk;`?uDyU-#7NxDE2VFfR*(zV4a#ppwR>Rl+;` zeF{&H(4(bwjP4gLaf4Gnt>!ejZE#xiHtkF%HZe+Kt{MiZ+rbEcxQGcxSGBJBY2y%yaL zfJZ#f>ldhGe3DNP5EbW)1Q~+jMG$To~L;b=ija8iacO zb`D~GPo{6(W^+6pSklfa@H!ng0IkDnKPP^(p4PBB+ZGFjMhquGb^zOW30QpQfAn*Q zAuDfA)qcfvre}#HRd+j zEvX|XTM6ZsToJI zT(s-1+Cc4)6l<5x8qH(Gzm7XuB~jBMs(H@xjo5W@IU{~zCad10$? z*|9e@f+n|D{mNV*rd*Ppb|(K>X`Prh6G6#WgToHY zOLX*nn55PUa~73HBZTrco!|?S7jHL{p=HfGz3A9`%n)XZLmmKgn2h7J3ilUT6R_1z z*1Kb&e><<YnS~Vp;~kv1Rqg1 z4hNTn!}VV-Y3|{^^*Fenf7)e*^>~dPKg~hd`j7|TrB^!N=qoQZC$}FGmqWX%fdjYk z+(?-yGSfe9%TVopW z$SIi90f{x%OTS||H#O962b8etN0W{}8hGcc7Tjt&50mR|{q9}Ee_p3Cz=%|_Eo~}g zKXEue^E`mweQ)E=Ppr^?&{#9s{JwZ*@R;cd**!2>UOLIfsuSi$kK0Zy`|t@TIdH70 zvGNQO9nibyV}TGuFXM+WIz^}dVy*;Wb{M}80Q4>8ze(=HE0(GrD*CO1e*c|+(j~pw zsH>64pi3yR=o9SykTr?Q?XLGnjG8)OYzHxY!-%e6ntGz7$aa(< zdG4d4?cP&~47nObII#)2y-w`J;Qb=_ODWXQYn|`(yE^ug?^$qhsIOd7*tRQpRF9)U z%e|Wj{0Nr1KJfZWCfIt;exc2d30L>`g<+QK?&Mf688U~be-AeF`I`6b3Y<9bUQOH8 z?7BjpeQBa&7s^=OCS9gJv=k$Vq;}=zjKc*LWVts3(>;MLzG_S%h!mz_kl=7{Lgdx@ z`q|LHD{de)^0uP;)A$*mp^45IhQlbV8|wF+PQvn4&r#l}DBf>E3Lu#0UX)kKe1##4lJb+<$iG+{bXJH@v(W-H-9m>hixPr7 zlyeD$Pp+QeiT_NvFJ2qdVKk7HDO6v8Vaqv{=cmA+ROo_>iM|jgtY@xHPEFSnuACnveS2ntTW^AH`Cx)LT|M*@R+i*Hb%1N;6jM%LhrEr=6-sU zkx)V;f5`PC)A-wFm~uf5-AR*{G-cH~alC!|lli>n{AcyUgCI_1f_G_6b`YgBXkHd% zJ$6m2o5_YK{w8EzG_`d@6<1VuIGtTWL$0=98G_Zta_QsCYp{wg$~- zeAqwPBLU2`eCx24;8=B@eB4CVE=1cqw-5z_XK=4Dsbh17v9%B%2 zYfF51{FjMz0#+L`aUmXS`EXp5gpX%QB}TP<_TnwWU7OTeX;-t%Op9WdWAt!STf6qh zmikUg(T}pAPYc_% z;Z^8Q1BnwM5k?`w+QJSc>IqWJCxgnhm$G84m{V5j8+;3YJ&$zinIq}5mnHv&t%q(H zEU?g$)J&KxNF$xvifBSB+Y&dsYlB&`)$n1)byXwaRPK{yd4_pW_#Xpie`qh| z==Qo($VJpWHY6k~v(8va9n)?O98|?ny*46`q=TP$pDuy!1qZy=l8Pe`rihxC} z@oc(7Wt&Je=YNhpov!A0Pdc>Me?3EPF8L3lMbHI9rrM3ac{o*MQ_o@(W=%f=0Sm)n zpk^R3?^6ZS85gF3rLa~;+|qPFxv8eJ zPu%jm4(<_xHU1_ zD#@n?#Rb^*)=`8~pR`!5jANdXgDFDgj)zmsc`-2tL;9rXeHOVIS4Vy-^~=#J>&)EK zjnHOju`&!eE1Emoe?OyE$_;*c4d|hiQh?!@-*HUtxy&Q~{t-8%a8zn#mMF?X3pj!j zDox1LkTY}B3SS|`r^~?uMFOBL@xOvV*YM;GpaA3(R~M&lmid3Q0~Ps+l3ypJDnukf z_pOI@j+C_vABwMr2?i@H{bp0$ny9OmXBQ7XLUk(?GWnB8f62d^$t8r4v}n8w#wYaF z4W6^jKkw%!KnUSwCc9nQQ*XvjLur`qlm-%d1lx#%PR;b=j$QWLIBq)vRNb(F{O`XU z;=gfzOWP5cVN8o|eiO<RpNb#Sv30Q_#A-= zP{U>bagLJve?Z#^{VItNy&Dko%inC4zKXHR;ZknEX~0W^c<#*DcE-3wAWQNKB^upj z?(UC&ctRa@n5?-&BWdYV!-BK<0e=ncM*i4>5ZnB|Ff4`n{@~w=&b%=Fq=k1wY@|Wc z898fSE?7OE{FyisG*Wl170v82&fm0Ij@8-V=Le@te|qs;Z^U2<5WvF3`juKfs?TmK zzqJqqufUmjZ`3!u@;Z9(+zqz5jZ!4}1)n7dbq-t?*a=4|fnGfVCh;(+-4?}rkPq19 z@oW{HG!OvK2Ey7FdPStWC>R=h(w%B0m>-|=kuIuxhWFYYNbTuGt_4F%p78~hH_Ik6Rs8Z)Z#a-@W#=>+P)if7Q2 zHnfA9sua`Zt1=I|`2=2*!y(I5V&n31zp`b-F);2x2$Obx#|||X`#s_X?A4`hz57eJ zz&rY^!B*Y)QdQX?$nuzjR63%3q!|&N%^#Q0+r*UEs3)Q|jr>LoducwBv ze-u6GWN~laevlVLd`htD)b{Xr-#WuNVd{V0@xL^DboqSJlGe|{2@*J`OclV| z)F9R5pK=}D$d=S#cT4E(lb~vNOhIZGuGG7b&mfh6FwB2g?!#<Jggiw_K6j?yj{tE??l+mr{wXrhPk-u@;m>R^LW zFia_n-Wx3gW7QgIYbP5JOxvekx%~6A4G3$7P+vycRm!f!PDW|apMPELM&{`b(5+6b zO*9qufib-tlZqMh_t7nlkZ(EI$i9|+g5X0AQuu3?5TfK7I>%|a1TN6~e|0Yo?Kg<2 z2vwUZxpXfVki!3&ZRklMtkJAbl4Cq{8sUqDZYs;J0Bf&kLqUY=ty957bin|^AZ>{{u7jF% z9V0;zsiH=aZDQA64+~Eve~FA=X?Kv}dLJ3Yaplkac0(H;AkAaMf6N%o@@jfI8V#D% zsF6DW#<`h>BOo34NzIJhF}VSTU9nu{>fzGTUC5^I#G=!MX)s9Gch3e>)=l*N=c6^luAR zR2=hk4^||M!QiYDzM_jeFiXPSuQ=kd&~?jctP#BGRQ4BkkPbuab{#hm?4#TjfQQXz zLDx@esmvhOuy$@<={lw~);`>Qyh1VVw<+irw1V3kD2FM>!=k~|)1yttnmdN@Cz(U_ z)(rpeRw8IB+*ZDGf0`KgsLn0REGx~}?yg*2jmJOI_}@9%9}G^r-0Wm9MZaQ!7^Mj< zMY}2TEjs8Dcy4j?0}V><3`B#2z`<_ayv6EiWLjXiL?FcY)C<0phy(_*5Kmh|oAD!| z=$Ht+MQkI;UIjhQJnHNvi6kv9X)uszl|;EBxkK}ShrVW2f4MT?))4UIKsySj7Dt%$ zr@xFCokNh1^AZSv*VROU>VH#|a0m(>HFX0cXa-W>jV2lZeAAxdmp1G)~Y!`%M0t5W{f%XMu6%U9rcS*gC zDu0L60IRrke|&JGw4bpf(}7&njoI{kiz0>G_9@w`hmn5U4jN)hBcd;aDf+%SDj#k_6h{$9)Wgl9TNM!@e?aCS>u`C>8q2wJ zZU82d9OFLQuq@Mea;K=o+*wQQ^@UG5Z@4rSlfyrj5F@%LG4TzsvIwytHBDt~4 zW4oGue_3Mq8~AEBHC*V6!zmlGi5K0|6>PopVkx^QQ?!YR!$vh@{`og&!TJ0HL+>Wc^J{x zr&7e6L!u!-`sFk6)>5RcwME~t--r{?`kIcjf0+Cg^O{OPN|Yqp%z?^s})A0Z9;&+n4^ zf7N~TP-4a(hhipD+%zdW&}ZBSFnK30apWZpdqmGgEM-D00p^v)q}0j0#mOKBcKyJ? zd5)pv@NVi)OjcbI$ej2!*u6U=UyHSOG;2QtDe>E~r|F-A;P5%6<@r7OhV7+M)FD5= z-`0YI?6yw&*RsLY8&!2(qvT}w9^)#^f1}`&LHBFEV%07MZcv=ZTa?O*oV{o$Dj)J_ zVaBrSzlwVBcJIyFuu`1$Qs}Mr z)L*=aAo7M5NSIittPZk_pgcAuR6rBo!4FNv_cX3aK%?k)t)ma5_i=3~M&I<>HT>2A zwFv}wiAr(n9bbpd+t+vGA+`Zre{-klL^;+S(zQs|uzg_>+OxkUovttLbXFY|GU{1Ve=oOaJg zlMxy#i$!5R<0{-mfJt$4SYn9P0_5a$pbB7$0Pv0o8I?*8`!xfA89*x|e=4B;5kVZN zge9G?eh~eYW@9cANtzf~k~4@Lg*YiG|8Ta2?BgeV`ZnE;!P@GnAp8vyZ6@ipEZ-o1 zvTTB4M$9JeDbz8E>;VT&AEgL{RDwV{x>AmnPa3`=_E?Yn zc;8}fJ2}T%u)MXNuJIhdKWJ*qca}a_n83-?Gp(@e=eN%Sb4O*oKS;z zG(ERVE~}{scDZ`KV=g%caplu`;QF5TOF3PTKOP{o18zY?mDw%;&~{vFBQp_e77N7eEkI>PX*xDWgN?$A%7EMny;DF zQ+Hou(fZ9gyDrz_e??mHbmYB@nBqL#<|QXzM}w|e%YHolwkZUTIc#ibi~Kj52&Uik zp_xKFHUh`@kF?$ssP7tGiuPC0=Y~smXo>7S8;InE49-s?B{#Ytss?+fybYa|*{gD> z1Qnc(rZ|yy)^+h>&i>3WXjf6Pa-UqWb0lMnXj#eojJ?*He-2z%|3Zy@b|c)RKW#S5 zLS6?=SW_l+=h%R^bJ;YB3hk&pa-`8W$6O$Fer*yOI;1?1;8r<*Qpd|&v*JX!Y%Gf= z@jrV50=>lT6!C8UH3U?St50dWp0hncPM6 zM!WLs+cI&ae|5cC9S^QI_>?wKx%Rl0N7~2koj&q1j)u8{$%h+)Ld{}<@VNEZpUR|f zKet0UquliiZ)%D=zY6qp=IR5hQ9zs($Og|#ohUrm3_7bJ#9g9Z3)xXmVm7SI%Xz%+ z_r_%-^iEji_;1mL50|^4M(FR)3;Mj=S&<65l;6qmf61xAFKtDDN;E*U!onjACrV86lfi+MJklSNm<&V?jA;r9;f6BTew9AO5tI6euSMD#?ool~au!T7q z0`|5@*hrMY%bl2++e>AWJoI|QU!gwjwAi=Gpwl9GHQN#e+Y@qfMrbLbAsyoJ#KfY6 zH}m`zGeV(no%h!uiO*A4HZ<*#9%7T6?L_XIw6G+gnnT&s5ly(xEe_&rIzU9?TFdDq zf4zzg&?;t@wD2V)B;>Qfgxe$K$?61!;9=Rre8lANVs`Qi>m}$Fs+4R`IORyQ`zH=vHU9htG3pog|1j?^klQLV_cYR*0V!TxClZ!S3=YB z5O|Ov5;KC)E50f^6#LK3L$%-X-gjWNf6=Ti=G*)^wgt_QW4A)$c6_PHsU_=UboNne zxR)TwldCFEgb8bb>*r+j1lW0MB*~lyq&%QOl{lQuKS~CkXqqdc$oDKxpYG?O3x$R& zUb{r)v#n^4_dtHqxYj9h@gU+d@)ZGY)$<90xP7hDJaL;qxJ1oh6x-3JST@DLf9=iQ z5jdr#tb;t*uf!U%xmpx;HX-$pS3XpG>OA`Bczi$hxcY#{``Da zw9zftuFdFQ5PVN&+jM*hA|%U!e>%AstM7i5i07V38PF>_VDjpFINKg(=~i7zb8ov2 zaAM9h{H+xOxj6{-1@LT?3}F*z-@LyPG6!g@w7{dCV)2M0lNYvLCR#L+)|T*At}(;> zVW`r5S=3`o68KRXaHi=(5M$msGM?3Ax&VW14&(Ya(KlR^>U6JI>4^U2e<+JaHpbF3 zg014u(L2M91?Hg3ZC#yNI!$zae zhv>zw9O)nVHhLMihRiatTo{RsS7)3w-IN3$9oxxO8le99(8Q6=e_p%6I6o1msuWr8 z6w?$)XY;uUzvH1?q-QbTkkJWW4$wI-+beHk1qm1xdOsb?C@tHeLlA8Hb3}2Yz_^#J z`;O>Mmp!(jO6m6nCdmxd_|SN1nlTa+D6{$n_ z)07M&je9S&At%(bf9<(q1zDd5(u8=0DC8iPimFF_t6V!RJn^z68+1RUXA>7e8`zsw zx{%=Ll4vzGsf$~37IA*9$7e9zB~sp50xwXV5QJowb#)i(JSsofI$-4jTNYxv7m!sn zf`-U`!+55v+2?OPkGo?CDtY%^5%Zb+&2V(cnPXWFybC;>e*#@RH&e{f0XM96{0d+7Z zRB=hdpqDULvLy55L-r&#DLzr!4lpEC7$>={nY`m1O6azbrsCrLy9J5hTd=+XrRu)= zsc_p?-pZO`e-=`#zE`hcl(&47xa7jHjY?&C@@I`ogpCe$pwasKtnf~YHPgJ>)Wa^t8j+Llw&KDz_$ZO z(%eC>B*I9SkfW?soVC@Qk9=*Et)lNr-8M0ox}YUxe@!m^Xb{I^) zd{$AT&M5kH_>KnJ7JszvowQk}`lf1=>XDgH{m(@zQH-rO3ZUb|p}@9iHaoH_t1Q`( zf2K2#z9VUz4T@2$aQDob!|ix#QME< z==Eej2MDx9qaM;@x@B43Ukb+9r7~Nthy6vavWYt=`|1w%J{H}r69qG>uzA`#6Vy>- z#Ucf>3+Qmw1(X*;K>Ygjz47>DFL4Ar1de);Hh17@uORczS-C& zSyn{G(oCC2j!GBsbdF17y5_g)&~h`cJSC3_v;rM_>tH#Vp<((69JI>YO^TxgHp?On z=K}PN&C1NR4yZ`UfSfiqjX+M zZA%Kj@ap7ligEE)qwRfz_;n5!S>oL-?I&(*9I=p?`PuqWs$rzFHDiNSe|dbRWK^vm z&Bb+oOOLu zf$NnF7mLLay&2qJYOBUBe^P95i9s3Ll{wrUDXN;Mk+JeEDb+XT-6{!?<{V9@`0yFQ zv|vmD;kaGykdwJz_E27KG|_r(2^dL+_h!!i22McdC4TXD|I&Sx-=5p5F$W|91CfGg59T@47 zT}h~wBJ<-X^E#+%EF|qB&;&<@K$jRxPpqzJ02_Grc^)M5*EmilrM=eV^N8xM(~PkBKxc=6b3%Ch+m$E1eIP@cj}U({EBT9bU8ZQy zq#A}3OWiw7t3~7>-_EhqL%3DS!8@=Za-zlV>1SyBw0tE)YJ}?NMU0+;dAB_zOp*g$$84) z%p}Z~FzM$*9X^-fm*ne=9Xe^X?G;va5L)f!1q@J4oa=fdrl~nKZy8?N9x`TyA6C2* z7D70u3uH@Uy+*TbzqjEom!0%CY@3vO7=zSgIiHwfoAJ)7+zXr?#?;=@lB(-V-Ju_+p5 zgq>POL?#^t_S+Q|bDB!Z_y2>j%G3Kvk_%HavOh4YprJU}OOu8w2>UF0e&8ZYIQjUO z=#v4jk=4k7J4RF?>&i3??yYyoT4nvn)73U_f6SPb7x7(Y+P`56zmc+w)WeC?+GtGv zh(1j?H}+mwPZsw&GEvOGxTm#1Wkgd2vAy!{XnV9)2ZWs1P;-!Ap0`NF^sNR|Tthnb zw~49BR!z#$<60OGUKt$==2YG>_oYh5Osac^1kmhhGFkDxd-2k4(%q&f(x`zu4x=qwTpmA`VOgrD9wN9Or1k zn)YaE-IDtnqh309h&@G<=_cKoj!3TJycSm2z&7_L)9`wM@MHLPy)U2Xpire{_$DJ_y&OdZ?m^-T4Rx&zXJA9hQ~Q+-qhlbmgX0#A0aJt#zLFtUcL~ z&xjp6JBzHl7zZFkjJE?89Y_XjrnPa2am>{hM^+-fY@uo!l zMdZvcqCRYwaoi2go@AT_6mQhDvERh+5(uHjH-_SBhap0ULfDk~@ac<;okh!JON2R% z#xY-c8wMrwhCVfGmiw1dTmZgA;^$(x4%}ayF^>M}N8CyVlffKE3jCL;e|;h{2jHTp zmVX17MnKXm8GZ3pqY2NUy)x(9ql#T+99obHj*snBUHH$}JRJ{(fpQE;Hc!~h0c+Dr z!y~b5*d6afX+#gHmvr{Nbr)U!<6qDqutodAf4e-h^F{52rHCvi-zs|2z!AY9ku#qS zIef*pqSVyb%G^4BkW93T3$|*y4l3>Eo2=Cgz?5GOzEgW2!yn z6+Q$W2rz!-CfAyNSuq;0Ejv@vU+Jf$C1Pt~V{f^dOq}_eXA`A2SeN@M9{3jekh?HH z&varHw?O!+r9!1KvIKjM%;9ydAw9TOC7JGG_?_df>~tpDw%E+3f64^%|7sAq^VlZU zbZ!O@jnoFEv@&3JF#?otB>0GeD_HO;PAov15$_`+hx3+pV@P=GVd)%9z1wk!R`=g| zrFtLSTM4XB6S?Mt)xS_3{~`r+tdGbRXCWwp2lBL($XbVHEzoo8zqIEeaM@;oT>b>^ z@-TDndxZS&@EC8Se@+LncC5Yw2e#4PfWKy24j(fUGGBxrx+du-Iv+jAD65sN&>I{w zxQ#_`6v@qbm6ap5hUbQ))DvP5VLo3_Cj9eO9kEXZj%!SkKGCoE7n^p~n7uM{M^U;(RsdNmgR8yl?kSo9(I$*YOp16V-Mk0$V8WJLbS_z8WJtyg53&cZd~b z2QTNJ@f~kbKkHK|?#Q@6= zUparn6p-KD#9M$UDdt*FEs)5-x|h%PuZDMY&j2AEe{A{xP^?68C^%B~9DcyaIV0l3o|SiV{LEEe#( z#VOMmC|7>We7x;YxjEAzJW+u(m|Z>%Els&4f96BTi&y*BSOoK3@7rL`Eod*|XY4%v z<^#=}P#XD$UdK<}MoIaTvk|c&3`e>J{O^TVD@vn73&1{OfjCEe4@^k$6nH1aY%z=812zi3zWxirH zkp3Axv`;qMZqnk$V4E~^N`R%a7XdPkx)I2njQ<74WX)gJ%#SWybKn`}p@jr`@J!uN zBQ;1NF%Q!t@BMuO80zverqqq`XNEnRf51_gOSFC&`y|JUIrJbt9jo^m2b0QN{PgYS zz`F>QGXNV`j^a6RA}!ZZiR9eGbd(ZZ`g4IeqeC`t*1HF&X$!Bsy7w;$YpeS$sjtgy z$8s#~h#GOu0o_7}Bo^0lTY0eKaK3wL)=grHa(a~dp;Qt@bO3Z5dlod`C|shbmT* zIskS89qDg1boeQeEcdP^&GjSj9=b-OB#9{Kwv`fF_SLW3^c`rvYLDF&t?>kOO%i}C zXi(I{^_Y*f6IA3PsBJ~G#4f5(T_jtPhi$--BQe`MT2N6xxPl; zERUKkNY6t(%`jMJy`o89+x&C$az!FL2|flH-YcDsDLjB>Yj+#%_igPiG~i5}uQMdi znQW%JJ=3LV*R~3~7%ObhP=juV(Em``4!zZ4Vbs`dE@I5;;((b9UA%l}f0T`X&}8st z;y|+$Ex*v`=aIXE?`v4eAAz}Je%|>K%EgNVNi(yTGrT)~%2A>#)SaC2O?4kY_fzoT zKg#EE!b1lD&nUUH-j%IC95%oGC}Q_kvot3$gKl0uL3mnrDOu^h{pmOec*(5VwKm2_(&lQJ2-w zYwHzV$`0HJrq7F44pEe`(Yl-$l1G;U^zVS%jRgxGDxGkn8{E4%fB0OfPTegC1TJL5}XcU|L{m~<`cVVF-(5*D1M4v0Z-Tm@Yb#AENwarP<`6XlQDE8i^$$YRaaf3K zA!il$`*6ww_VL>}EwsK!hga)j=^w0aX@4!0j&%4<0Ke& zBprp3Jo*&ogAtZucr-Ff`fEu(XPy6lxS}?@5mrYLtlauq9>81RKr-gxnNLqYNM&(F zooE~vAnxCS9YvWS@4U<6ZgBLZX9(o6vmt`w%Mf^if2qF(*6ZHXoKxJlTB_GJXWpUC zp~YvIq*``QnSwMU0I}7RUZ0-pIfOy5>Mjz+kc!6vig7cGqCxoVe-g0yLUQ9Cj>^U+ z`y{2Medzpz7I%{#@H&6JjHcyx-J1>eG{|F2f^i12dAi&ON18pesWX{xAHHjUQ!r^Z zhzuw4fAr=!asGL`3c3lmA0^AtZC%8m7xIkxVVM6j%%xFzRJ64I<=DclF@yWv7yRr4 ztc5*zVTK%RMU6u*Dotm7b%cJz1f6nbB5e+_m{DQ^Ffxe2R5sdXQY=T5opDISug zmlI>cC!43rEq%BvLAunXHllA9G_@Rwdqgoss9E||f&eOxJjfKp{$n>X^lv!_XDExq5>CT2y(U z^nWf57@7 zo~g|n=Y0kJS1CNPCRmr0-RGz6b`ndht)sn^E4Gb|^|EdP{{2H%eo_GJT+ut!eJk zzc_A&Qf0&Vn2Dv=I2PkLD1o;9`h#XA@9}Jz*0dZE|FEy=A(4!b{IhD2D6^t1r zp{`;(Xdu6D3-GU>;_w*=KVSC|C#9aMC+=1BY5Ep)IH*TkdO+(#!ZXm=f1c#*#BmX& z;kjDvK(T{;WnME{5fD`zl6SI^gD2NaUV)oVwW*o2;QtZlEKL~mHXPfytA=gqpaV=t zqORH!I~*dzA_W#W_e4mZ zQxTv$60rh1=s_PdWaY87!~}P2JTzhfB31mV4_yIws;VZA^;nFBnM!I29c@& zhQODz7JWM{1X9|??(k10A#^TW`GrF(25OU96VzQK!gF+IlQ02 z9~(d~3`oZXFbei_1gt`X9^C;F;B*&&6$~iP3xEqo_W&fpfMk5%#U?MnHyF@y06+p{ zmIxpO=lKE@VL%`c9QTmbrhG5^se_n0V0p?(u6o3>A2ssOY1A2M?#Qu+$ z_o(pT;q-qaIXUkuAj<*(VZLEvgX?ktXfRNmppaGoF=!!a+W69Ne6!99W@xR1?)Q1ml=21D@#A<{j~9!Kpe z?J|qFJ#@i89mJb8WJX76wHKXdq$7Y2DPXE4@iNl-+dWxb8CuUB#(*+-NkGL#r*+vo zZ3nhJcK3*jv?-6=XnI|#$0?3e zNaVkdUI`Q10}AN>N@tl{T4YY4lu~o#*hL^m>nd^g@x{?jqo|E(#M=1CIk=;aUm%Y1 z;9{$>C~-;BAaU1X7IOJVSXD_{pfCb;K7Pb%w0WeeEg2!uwlX0qp`GcS8&ZQYpJxsu z2sB%t4OnQPv#J&dMi|E=b~R5lVa!d=oOn)F-@+C6_4YqUvM+iG|V?Kgz))hkDoe#&z9@_ zz0Kze?E5Vhoj`$(@1&;jq6zlEKFf#7=>XAOlO+7^p)l9$$f4`$0Og4gp}XIGW3j%s z*ONMd!%xP1oPVacr@{g#o+6vB>8Y^})tcO19K8Qt`Uuws70r{8=-!SzthSGGvq)Gbj+Srm;Y~pFpqYs+WlMl(EpLf`5cfncSS;{Q5*H(%X^DWh#GpS_*r?chNhH>t6 zXp7=@HEO1xq91Vu(0{7ABxV1y$(plM#98Tw;LR}Q|v}agU@-@f$Mx%Jt@sEnV096vr$P;_P8d5}t+qV%^!Hcp% zP9u(Kg!%r6=x+Fs4R)Fo;JPg}k92rbah^9Pi?Jx~+=9@7-iicQ!N=Rd;i|QB?h!*j zyG1Rd!PH%Alx3>;daIpg#Hz5JOa$eXU>f;D>}u5@WDDBTfzw&R7_n*DjRQS+JZ(f6 zsot$@n>^AgYa${%mVwwn@7tIsk=1xg@SJ+lqS}Y-Ea6@45)z#{ zKY7YGc>0nk)Od_q`Ob>YrLQQ|hjY;#4?VYsy4TT1nv|}(2jgV*K|{n>T1YwMv;CFa zN4O*uFXN^4nq>m_ff)&gx0?KgCBk3=HcMsACz7;a>=>pzPOcd&21oSqP2+M$44+A%Ko+dq7C9bwk~3$nH%pJ7y!Mtjn2(`;ggc3O`w1HJ5dqHh z)Twt3A$T(^=Jgta1d5FK>dp3_h)c$|DXX@85VT;h7h8)$fLIO6qo&h(_NOQLh25Q} zEAkNx`WjS?ZfMz*TEeN)h)VeCEd<{F2}Kwbfr?p0Dl<-b9GtFZ20{z`C#(^YX$>1H8GdT~jPBtA{Tvz;Y(4sbE?<&Jy_|aq)Dbu#TI#aLF zFr*i1ZSfb<$nphEUcPCV@hR+GFBimG_Os`I4%e*2P_%%b3iji?q7BQkBUpL608Z6l%vBSujfW z#KBi{vD(%&r?Ax9DHMpK*8-PjtM$3G3vNi3%lm#-TfA-_ThKz9u3JaLEHlI5{k?qh zDnx(yfTtOjbI2$p-Ub!Ql%ylei8arC^r~r;hZhI%-B`BL1WB(AXWa_&Xz;YKD1xE& z16v<(`7fUG-5HSoo?=1T`@DmL$*`e2Vc9+PGmQJ>aLM_tl^5Kue>$DMWa~Qa4U#er4aUDOp41D)g}Y zgCky0XpMF7v5g76kYC*(*e!HKg*r*auQVxTd-)@B3m+UvzWRL+NAgq3jAcd9sCa9y zSq^0+-8v$Ar04to`?1=YqTJk*q8YWu*5!&U~k+q6BWRqpIw~IXLx0}klHAF z1{LW;lNy4|)h{$qRz;b3#r|w|WH~32D25Mr}`npV{d~n$~iYh>J@tQv!7r2II z&L}3T^&7WNTlrYr-2ZeBBMxRlrmqQ2X z+o$@SAbJn;#m@G^VQj%8T%t$AY_KDMP8PdUZk@NTI0DG^PG+j;W@g+;9_wn}pX?p* zm9|Pz|G-NypAJN|ad=1^-Z#y)1{wx%a_ug}`&8rcC33bW5_LUvU)Ec-tQrPca2F<6 zS87w=v+A6rMqV#sh}c{(h&sn;NH=>T!x=KND?t6AbPYaTcBq1L{ey8R;CkSc_}O%` z?)(5oG~1xt+X8>&nl{~kY?=bD#0H_Q{e@o#bYReIK&D{jB9M)Q8cE#A4Mfy@O_pr8 z@q zy1|1BfqCBwx8gM5TiMdNemucye(yeDe3vU zy8(`772G7d6R+n40Gb5b(=2x^z04yriEAueQK-S^YgsI^zNq)`b{`d`XVj5QJO`mH zvw8_}d2znUostn+ZK&1-aw^BZ7PTB<)BbT@2w|yVjiw|-dsyURJAmR^y{@O;Xg`e6 z^yMPWo963EKpM!r5( zDfTw8(E3I;t($8U2jW-=@sH)b(G$fjR}e~^gxB2YRE@DNqZ*S578iIX+V!YBP4f=d z8vE&2eiqZ%_x_rbxE0nrch-=F;Qr!=vQEPigcI36A@hco_;UbM&rZ;j zh?}rSCm9PCg7>uLgnurrj~dpw9Ft|>GbeF9`j~WxQoHdxP zc-*pD!nTPM&iYn}{9#XDdPVsq{Ndo_4cai({PW~nwjNrN|L+8ZA1p7$b$jI$HeQvg zM%sD_$7MM1zQ>rf`;Y-2!r70%iWH;#3@=j&lhefw{OxcgJFYO?dRSm*aQR{J?~Qui zcWdnJ1{`-F;}I6?0)s7n11qJF-)2QilFd-d5BRCw41>GWc4EW_!Rma)!L-$aGyg0`v5Vvp?VE?|>E;Cnl;-V#HOp9{tkuT+87K>uVMW&?hd zmM`^(Z}?W~G9hp_-zqX(Q+LaKw3q2=fIeu1&L&2Q?1!mani?E+7j}!&<(NppweT3! z3)=n}b4vJ5!!PE+F#>FUhO8~Tv#WA9N@wxZkm4CC2unh3{Kz6d(#GO$^NKl7I-R6j z6vGFg!~y~Ko+K=RhtNloVJkR7T6PGX|6TKtZ$ccAjArcb)TUz7i!`57fn8Vx{|6y<4)lTCoW_z3Z{e z_xyu}r>YuRyYJP(*1Xz%9(lV4sz^q{L=BLMiTcla+q3SAx7_OQ1l8vmsxEvbxs!YU z+x3&g-B^L*djH#(>G`6|z0A`|ogv&fR^kwl0B{ z)CU)TcfCl6R7eC_!A27;*|cGz%gIvYDm_Izk+g|lQk@|vek>sT+xD@9<*zyZLzAY$ ze|46o9hWp%gr1Y{(9MV1ex9yXqW_k=ZG4n@sSvG5JV|+6^m}J{i!G3|O-{<)wun|v z+U!mT2v^eIik%!EJ@=Jrh>)6^E@}a{>qKiOUFBKzZs&b?ATftho9iz$!ye!8Y= z69{9so}Mqoxr?SJuD4xnJD-IN`ic(O$Vnvvf{JgnnS`C^(Xl=mv$eO;bdE@(;F}Eg zvc`4zdtLmVre??EJGDGeEaQ;V*KPM#aO?v+h$sH+omIpo&1;geX;CH6~}{7oRYan)t@VrB1xs23dPUqQU` z@AF!`P{V*31OC_ElSRGRY{zfFRnW3eyR4tk-w8dn4N{S|$(d`%W_d@ZkD26DB4o|7 ze*J2ow4CRqlrLQ*dF@uZ3#Z<@Mvds>=;pK!=NT`WU5+{{(>9=|obT%+V_|)>^!+cF zt3M5tD*jN|YXn&1t|bGp2G80_ZG{|Z*jrn(OoFh5-q^FuspIgCEST4TT0;UXy{qO| zUfiUn0VLEYqfOT%aLZ4B$2~G02#)edLPmVw- zU)1tmJp+8sQM+vG2ltNiWk<;0hBOML^1b(S&nuXDjLv-ZJS?5XIyXz_&dp!igCO!R zpR}&-6K1-m1q@Dak9M%JBw}E0A9k>buMSlS9yEb}cYlvPgnEPn-*%ayq9xD}omu4x z^B>}=(ALz+9@s`<-;VY}&FRS>@6N8_htQ?V7HY67Vye}1YLXv`!yi9b1Zs=bGpbMDZl+$n)FT2*^uA;edwa}Jnv!(*z37LN+_cVV zvoPzyVR<|=eGL!?hQ1SfL@Lx2GN?v1y;E{YgY@K0j!*X@^4diLA9o0U6dliXvNE|F z2u{2gJpqe7|MYY(h3cb$w%!uaBHiiHpKqoci)?G7-XDw9=&DsK)DzR|x1!(rv_>Ao zpT5LnZ=_4jdP=Ii6pT%(=05EA&6XzSB8go-J@XIYS6sRR_igFvA1*dxQ)W$j(7Qgh zWRbsu^mpXk5r?ngE=@<&hz-yhpZx2oIs=wGPm@~vW~A^6Y;#h+2V|*Rc!@wZwwQr$ zHS`p=0-hjuu;nvbV?ok?mBsrnoTpsH$0k|T;&T{|xQAhyhi@*Swt;n*D?xenvQh;#`xp-+ey=-C8jfvo0yU3H}K=l*FL*$D}mV=Ms||7O*t##h&m#xr+N z^k+CgH&q3uT6BFDdScb|c)AWZo&o)!(qaaHPqCoib|P}eg{U9a-+04$zM0@@9T+@VkWov+ zlxmJji^^&cqnPB)Xub+*Do7q}JEtS+s*>l4fem|>rXMQPWI!9K2D6?Z>j{9ezgRr< zCO@?KAvx}_nSJXonW1CR8n`!NR3Xeu$-VDmQE1yf=p!MAq%==-Oy3fiR&lmuo}HQj z0}L=%RRZ}lO(uP>FE;#mN1b~;1^;rtdBn4s^>(L>E#lL>s#&i1I~HEjc|0zb1$sE; zkrWHUGIr4@lu|1AeMx@QD+o*u$fK!Nj9KFQiDMx0V|YzcetmU7RH9xD!?Xs6$^ogm znqv5ms`|NZog7BzU&oYi#n9&@3b2p_u;Zy!R05``xt?Me-==yuiL6UVqyzb}`$4}#-+bVTHs5G$K zT3@e!-e`#R@lrv8vWku+Ms@x(19GT@6o>SguyvKM4475;=pX{oANN!I&sVFYx2b;3*#-(xNvpl`E!C1W%dhH}|ItyJq+FN4yYQ{p4fKk+<*jMKeoi zX*KyCOa>cN7dNKWN0Ao=Qfw)C+6NVV+Mn9G1`emT+f%a{u^U3Xt4V>$5USC3qMZ2J z``=F>K4a3=qDiiruMl1;;hcb-hT!4IE8 z#GZBOSHznG?`sSjG;6$q4cL}B_e`*H_0re-TxD2zmDRRVrSVz`e2e@F_%!cN$hPZ% z*K(CT0%PoZ_fc`h0%ejn`-hoeYEvO@IomJ}#Fn#h?L6Z(S*b^OwPp)Hb~xD^x6PZ; z=Y)5Hm$s+lO=Y+x-J#Bbhc&Y!E4g?}Wr;>`UPG!fmAN%t88b&qYWfBK?Awhjs7DTf z4b8&~;)4Lf-~_mNIoUy75CGYK#T^JB_dSpEo?;*&6hLB=wfFe!Nx{wkF8(*sz#+iF zlTr`G04z3GO_-C#2;8halH=9%e$);8hJl3`EzKGnEDR;NVbExqG3Ia@y>+fN->JM> z!y)h6U^1^0I8pBL#b1^XLzAH>d{)vv5e!u;YiIpcQ{yPg1+MqQV;a_iK*0}uam!*% zRR_!>w+#~+j15`LGz7z#Etz~HYO0dEZ?eSOP{2lcruJSYQT|_r)z}jl2+G8W5-rdq zwwF+DBm|7i37@e_hukL|&E3As3H9pr>~JN-Y9dMEQX*JTFbZ(06V)Vz=wcQy74U35 z^Y=1Jl>gL$a-D+O*ohyc$pBzfqit-*{q<3(aK1;Py?@3P3ih3|cEEvy?Y z7ywe)Sx#GE^4P`m5!uUo5Smj{!NzD)Tt-mYv!+5*v@(hJV%TXC%Uh0yeRK?sfttwg z4c_5bVy%jYQDJ39fNibs{iYf$DTqHlzdNK?3D#+3(J+mq1qS}~ivgE(1nQ8C1*Raa zi;|B4we+TDQ|OEAM5IqzaN>zdO7ZvgZh(Yl9+Z2O_{;~KMaJ)Crjw94O;+4%W71It zR)Iau+{t+vVmiZ|TOG^50{ZVs8JJ10$M?VW`D{~xxVHu!^RKa~&z>_qE-nzr*urQ#^i^F0zm>A#g8~;YRk=PA`?>Qw4G% zkl@{*`VPsJZ1+)k>8lIwNy^C{vJaEsY2QIcLofwUh@Rl$18dyPXzs%LgCs2Sluikw zUnuI0l9u+d{ADfpE*YJPX3@Z(%o zk6B*GoE&JG9M5xGf%!Gwsn*wp1%QvkD~D zb;acsm~I)MaXM<)?tgPy_xe{wizM4|j&YogOvH6`Jzi1@1tRguvNn!6hM5C=j2I+SKn1RKijGKs!HCb5x zh}lEENNPVM`cO@RZ@5DUe}u)c_M(~uCNmk@WYj~2PV*f*DA=+uv;PVvrZBG_>iJA*cX~c)+A*DMMwmAKHgv2X*n@Hau2q55 zR`zuUDP4z606Kym$AH)P54?)ctdNq#?qBydTBjA%g3(#Ov^HJTgqpH%3s$u7_f~4q zvpwE0hqP{2@xA-K!hP_1x!Re$?*}duhRtR$LmKRUI~$08CsJm+u#0BTJVHa^x=de&5=dQvFDbicUw$D=O!U+{+)}kvyyEEEn7Kj%EP933>pI5a;y zW)Rq~=Y)| z716g6VUo+T&1$2S0Z0zo<;M6~lNf*wJ#bWk3kWVnZ#CGoE~6`ghX(3?;m2wv3vprk z`lkx89*O1|4}CqE^*na70|Dm^co_tIL0$i;18D7o*T03KSNGoiP4_zs-wA%x`(iZ@ zGLy%3HviWBsW-JF?*PcKLCT)*=zG+PCCoI9>m{`SO9RdI3~GeiI}%Eqgy}3LYMQ zBsM(?BMu5K3XXT9rmL&xyOHOeGO3Bgrr=`Z`mXW*SCghN5|-fRmf+&&k>ugym6Yb< z=9QJ;k(TA<;E|Bv;pUX!;1#9#|4%VN`9FI)7Z1oi5SkH4nr>icqJtB0FUWV#>zq-XCyOBukJZ>#@5p(R?zs<`^W3)~+rH0Zx z)}h6(HwaSDqj%ULNsUlC7NEz=H>TwyRgvBwcEnTs*3Ecx1>X9h*A1`0*E%Ke|bU zxA`i-U9?bVJJ`KaH*grKozow+tv|4BQ-G<2-9G^TDTHD2zIEh?Dc&N|fpz%1BFv<` zevuDoh4m1zP=5rJFidubiL@j3$iE|^-J_q>hC(D~J1q}RV|I@}iQfbX5dZ}9C3k}* z2*q4#>=4J`lL>}hrp!Kfd-7%Q-Ya|(D@YFkQo#!{TaD}796^m^*jy74qTi@z#0nwE zH;chGhsHBk^m}aNU(Om&aDi%dZ}w=X&O$Je;?x;<7GG+-XWcl%B&gqe`Jhtm;-@zT zd-#1&AM9?28z(v8QZ8kN@-#JRcH8+8+AeW)Ziua zJiXsN!frTr&w~<-`XBH@Wz0Guu1L4Cgh$XwUl8??(xF;usy{GwTYMHHn{)gbY@WO2EUS~8PZgb-Y+cVMWX1lw@-(;^AJ5904$u2fio}Zp z1@bR~X!WfZ{Pm!!d5Qn3>lQEnZLj*+c%MpQ>U=k#)Zp;zwUecCA$cD-TG2>zmagME za#`6x#O!Nhs9Qw4D4LW8-dnIXP)T32Pn~zlv{oB)sQ;B&YxUFc;BmEKg&BB#R#)Xc z_I%e?g*NtlpHQXBMDQ_X-Wu*4_|Y*Q_xZV_>SwwMKSSke1M1u8@A}iBMXTz@wOr&0 z4=Fw>v;Z8AXM_Hu^{D7t>I7U_m(R#hA4laXz|%A9vz?)P9+CkhxcznzN4t^?HCEJOe9Xb@GXh*t+oM zLj3Z(0@fEjB^;s0^WmEQT`Eu0SvVEG1|ISIFqbJ9PnKDcs!0#NuGoTgR`)j;g|+wl VIcOL_hRn^u$Ad&mE2Ach^grx5e*XXf delta 58610 zcmZs?Q+J?Uw5=Q4wr$(CZQJ%68&$DwJE_39sW@2e{cqhGgh? z)YUx@fzArFn7Rak*_#u{@Biy)1imv+{6g)cCO#B^Q#+5i`&v^J0 z{`e>g)G0C?Qv76rG`h_#Lno}zyK%z*ab)aYMJ~`@-FuB(HBAmHed_#~WU0B9cJq+n zsQmBgh-Y8j8OW*L&3}-+$f1zUCfz00$d(jtfAj0<@L3upWOO%fKf~_{+$L_Pbiu;b zu6hz1i{PO7qbv;g&?Xs8JY8|bQ*3Bf7ra0NsJ!0<+cO$1be76$NUwQI@9eV1ZJp0I zyW^Dts~mD8G{(8np_U%58rN=}lLVtZk}D}TB#gZ_#nD~-0YJM^KqH}$Hn>rqy|(q% zaOB)udHZm%dkqx!)q9geUM2ZV8RytXqufeCxfPC~!1jJka*&>mSKuNpL>tLBk7g2J z(zYN}ha@NMC|w~hci$AoolN*=<>h4}pK6tz`k!^b@XJmaa}Lf9wwTFjpR7S@frQcnAgRVFS1hT;%mgds)upl<{7*_VMh9kTtYi6R(tX0kDtr=8Zch%^E{4qP8 z$Dm0)ZQaOQ?~HL~sDZ7<*=4Rsq`m9F-6JIFlEGNkct(nniFZG9r`R5^sPHdgFUkWQ z&RT^vfz_8Pyq(6g{a;V&X|lOt+d=!3QgTvb&9_}Z8WkfSwo8w3Y$;3G!dZP^c zuzMi-2Hn&hlKc@HHWfVUJF8-{Z4D$#a$@B3I60V>tYs)JaCB6@<{QF2Oc2)se%-^` z79kThGiVj!Ac_3Sj3_jme&5RZ$mHN+)1S5J?^OOd2AAv4dPP4^IP}hWjFdtO3(|Og zVgch>fO}LdW4)^IsAENIn{;;bl|7C>iK3Mmj0treKjjY`)^9sJSYz?zNA^ zQCg2m9d%E>TRUSv-V-@(zuxnoj93#$jkIF-5q?teBOa5ZI!O^xS8Z1DD8gGn&Xl9F zbutFGPmle~)i)a#&{~{0lx{A)Fxwi+{M+s}6#!lKsAIixOQKMlFjQn7mFfLlVaA)5 zUx6-8lT;|aA{1QV>g7QH$AidPt!V%ZD;YzNa@C*3_0KN!Q31O--iV^Ei07BS*{n+lH0HBb`z z#V+QZag4@6o(sUx~jzWH^B| zS?;?px_tG{+2&gpfO+JBOS6S>7vE1zL$BIE7pEmjBoYuktX(_!b4`Pv%dJ>*Ys1k1 z?tj`M*z2D*oXu1NHV{6|y-rU)SJK^QuO*^HWmecf#=dAqmlUk`o3vrdGO!5bs;u~5 zBb{$1A?TU={Vm$cuN=R#`EWr){CURCpD|D-$vU~iIzQjHw6m=nKD)Rn5>+rOux5<%s`#{+H&d9XgkyX&0oecwxS~g z>m0dWii;38P;&X70hggNUG@S#L}_wd@Y@HRlu^Oh;t5W-|CXTHKH>h1L<{?C?#tmu z#s(y{&|=W{0JU|5PAn@#H-6aRm_5`ytVBxtxQ+J~A1_c9F3+=s1{XY<(`Ei*0d&xJ zm%z@u zX~h=BUVEx5j4PuA$sg^J71af`k~}>hi7rGgPcNVI#Um~9N)&iWH4PC@@Cj1@JsdA2 z!S-<2b;-?$f#_emw(nhx+wfo!QZyWh@XSM_z$t4bq+08M_Tm5xgri#+@xC^ zfZ%bcTNg|7+i2^N$^H)_W^aW+(z^ND>fRR00#JeOObNBTVs11?j|-xsHB8)F2^n6O zIP{r7m*aUM;dD)56m|;!X>y8)RO`-j8`ibcfk_l44(glzt=T&}GVw4-|6f9LaMU|p zV07%aqCs~YG`XnqBC^cJMJ4bki=coAaCm19ny=)^?bA;eeTiw4ELMV_0*-MyS?U|k zUF{r3Q#5RfvCKl7X+9)pfT=y}+tYl1CDK|2`^CqsZ3)_0(9%11HVHd4lUC+FL=eq)4a_Rc4Qz23^Zu9BPvKHy5ky5_`nmJ66Ec;xna{kI&pvdr z(|CLpqC8~AwF_sMh3T69)BkJyPjT49px?mIWNdcP(q~nvi5?rw0h?kn6E@aHT(6~> z+4$#_D>1EC#S|pXG0LSekI>yd&`M5}Hj;$O8yFvKJq@@g%I+925ZJKk>KJ@ru=$*9 z#>1g0iq*3wh`>Z?cW$FCltHW=dQH#m6SwUd@-w*o8kMY8B4q$NjGb;P2KM4klAn2{ z>OKy>2*K*fI>7O@`aEX}`j#(!FnEq&+17(8v>^AiP*1`1up%PDsl{f2h>nvua`0}f z?H=6FOA{&w6O{VMmNjM}R9ARcO&7ITuLe1TSeQ}f;x`=U!BiHJS4wf_pQ8NXw^(bL zqiJ+r^lmtv=Dw6i+m{Sh)Yr(F%08e4o%=fgFT$aZ>&t;uOIrU5Hu)U_<0Zm;F$ zK>GW8YW-fYXy%W|`|yJLV;#AUWQ59(B80Y2Eb0_@X^vb3_2VqyF69==b8QWjluGX1 zg}?(@K$22&w#(kx{5|;a_*3{wjkG8pJv{7t0~^G&qUoy2ME+M5)Jeg2-}|T-2W=tG z;*=%o5(ftUiF!otAY|Msk?%cqLxab-Od;j!sFq z`KB+TMm>&KsxnfbKS*5XhzRkNObc-%;8{rIUrbhnuCTBiw(l|5=jQd48gzL$L9%v80f$(E@t%?%QLieNWo^Fj}Su zzQP6*qH4NToo4!67o~K~Nc&7OWE+O_AX;euu66`>bWAenQ`|75qco~opUy9`zRHcm z%Ez79e*QbT{(G{4&D=I#%23iq*WEMA&|0URl~n$`V3|>K?a4I!H)pD04uW~gf)=CI z#5A&WHA8jl+6@3NZRql{nZuquoAL_mo2NQ0Z(Y{OpX%9E`=DD`Uf!6G)qF~sFE>iS zVDV7CvD!lR97Px3L7sVuDx4X0_>P=*caRJlnIi|E;jGAmOjr-{4XW=7l(;vrlQdA$B@-OO)-s zPLSijkW36So5i+j-4T<4E-EU~ZKc3m==4v#Y*H8wfS)9g#pIFYnfMmVu` zFA0qVyLPfJL*u29@*AIvrm@gxeU%md`31+hu2nW}K7}xDY`0U1NaTdRO_nJmx2v?bjUg_D{i%23Mfrv7?_QAMt=;SDob0~@U6Z)PxZ=3ms4dpAz8br; zS#%<>2kS>};0ZfCVp{c72?Mi6U`r@ea2~d8`i~6apeZv}4w~OeI*wVzJ2^JF zAtoACg!F7Bb6O9CgsBd(dGngmQp;?$uW|SanZQ`BO!f=`-tqB0uy-4A8fm6bH%TdgDlK%NblD~!!`!a<+Iz+&t}-Q} zTb1iogbSJ}u+!0-+X2jHpND9jk~`x51$q|_duDbv<;JPgydZGL3m@;Zi|hxB7hu59 zed?s4XU%Ra=SV>N--N31SXGy3FN<7~Cw;^|2fuusajCZyoA6bM3F;tvN2a+c{kNZ! zH^=ZPr==S!W^(Si5;nEHj6uGEut%wgcf)0yZaou9f4X;OsJ4627l`x`ttKaq_Dxai z^K;;i1;#PE^a~*>wHm{P!B!qU1W-eRw#L#%^tGJ39JUjXmtfE-XmJQE6op#;j`}dZ z4_lm`!b3TNqCzVpE3T$S22^%%{}>C9 z^@XCrPU>smG9NL1TFgN4u3x%*m7oyi-}kCaapJ)>-NekBCxpO(YiQiON9e?+x_nh4 z);wB=V9YG^b_o4ZL#Ve^T7^-?%jG;3=HV{KpGOmdJ)gda!xldERQRHV%E2gV@+AKP zBnn32_ilooH89Nu3FYLi0us7nGzLzyM*XN8aFI)Owi&(h5;@a4x^zhg?st`3FIyW)J$HP zzvOXW%#UJnbLSZ6;m}esCh`zbxeObVpwO-?&IhA|5P(z#p4+}j=GtJyG-_g_%Em=_ zbmNxEBN>>%kD_u`vhS4b=L#jRP_9WkMOsex_ah6

SzSNXO6*ex4#L*tXbTYRl=Q zLb`fBXuJ(yHns`Tz^$sSq;0&Q0I5tQ*%-*89HtuorR-*uRiQX--3Jb`%XQgE)ZQvw zs2)W3Y9`~P&tgawG9Sz2jCkM3tAR3e2efj<-lG#XY5YP?=rc?Xq2PRXe^5!LR<)T$e zm=LK`XGB-+6BVyY(HHtWNb1+8SneI?ZJ$djKzqWUlL${kPNSmy;Cxay$2=g#1Ur=- zPrii8uq;)AfC6-MNGwJVA2jp}dE7s+R8pO4A_Jd<3Q9Js+u5us;C+>XE}sumXu{Mo z^ll1n5b>V?A!Ft3`4Q@=)8=S}dc|N&wsAc*jq+dk8xPvBZw^y+eVM?)R-xfWThsMf zrOezK5uh5}%5b6$uSSvy-gz;+S?jnOq+dZ0-QDn&aDGpU&bb$}c}+x6>ZZgg}$@6E5Yaoci6`lb+Zwf7U7m4ng{U95YH$6Z zNE06v`R|)88ybw#y+UGvrPQGuZyxgrIV2#lf2On5LfV1C)Z?G%q$47*P!ugDs%?w= zWCPzYyzXv>ZCvIMTK)`) zElNB@R0^{tBJ$aT;Z)t={o#=^H+54(vxa3_Z3TRc4r!-bh!P9WKF%N|bfLj0;3>Wu zljD`|zB$e>#*_bY;Izzln7v8_q7;bjy1?iBbR$I3)3_(T{JMX-bEUKxB+JqXRX?(e zKCl~q?Y4`H_+i?yks+2HRM|fDu3-du$2{OMbR-djxol}Hs5Xo)w6*Z@*YTR|0h zNa&;goj4+{J4gEmJPmI4hR3fZ0nk6cA`kFZF*R=OJNbmuzjtp}w=^2+ldc}j|AI|j z7*w|Xo%1oyJi6gBw=AroKhaH8AtgtaZSm;zEXE(WRy*UqK5Yetg*xWF1$#qiKiUD&XeEr!fB#VSC5fb0S#q7 zVUz<)CnPS_{a~>0HJ$%M%l{`gbFlnB&J1ka+!;l|V6;Glu6)wgIBMUAHjMuv2su;t z#3}i2l85>*29{{+pCCrWej}^Vtdekwi|vnB>J6vjcs|N@TKzSB@72|5*GAqGw;A3* zV9@K+2ge32ruNwR&XcQkp(9)`eKiA9b-=5^oseX;-`nSBl6Q>4$KOCFFS@uTh6>&f zhB})?p&8(aO-&&N0@^^AMd-i>MZO|tNzr?Dr{-^2Y?^A0XcF>=M#X}(H%?C9FfwAra>1_^girrab?JX$ zv3w5qgPu(U0zttabe$M-{i+!VKmOdDEE?t9rey&5%88?Q`24rR`PaW5nt$d5u*c7Y z2qU{tj&5bau`E93{py3`k0-6mIUkaG73rZ$R+# z%zJ7-N&4p9yX*H5O#E2wdS7{%zLC2e1F52$2fKRG=zxxtZ-HGc5s~hi#=_rUJY~Pc z(0B#{#K;TJuN}DWMaNPIZMERE`wSW}|A1d=E7WVl$$-S;F4MVq(B@+Cbp9Xts=c^LQ^ILbgs$f&ks$G0; z5gR8@+AUf4i6@eSnCYj+6yu}ZZ{6y@SQgoUn8H)VI(n<6#Tyx(DYpto(gA9mAvEfI z#Zx7W8i*Lrv#zjPoCnm^tV>XvwXH5Q;(*)M5ZXJ(vU>^ zaLO^R7}w0wxx?1!{PWVl;tfH19wS`CXOj)#nvZQ+MEmf`_A4qT`Htrf3C;x5{Ducm z2`B%y{R1giSlOIhM(CX=1bi!632u?GP+jSF9za2bOI4b@U(b__DWE)4lF@!~8A)@N zMrllpa9)&W;V5xtJpTzr#mSZjz|RYav|{Q0?k{+hzBPC-R0@EWR%3l?sPfvM&^stg zbeR%l@hzjbx+hRd!O(oZD=**5jO_&Kc&EF3!v?fhxiEh~FhySak(KfE6MyuIBx;rx z7YQe_7eXq^-9nYFOf-1IK;^+;aX&p;?!qi95;#c{1vNJ>F0|KO4Q;o4cpZ|8ye@Sb zc9Aj>5!Rl7mbTpIrzln(HDf5``U^xrq4;{cT!(%JN*?iFL6nr3-u4&|AdUo}71-nLFQn#HETS9g1QR0#HNu zMdpWaxzl=oXN1~J#34Y*{Vfnwajtc4*p7)-ETQ(POTvr?aDM^#N zzP$MhtKmvadR&EmHq#YM*n;a~uvymGbeF)B2JGDucbSqB6(Lm$k1jyT3=}tXI%VJ! zDkkrkO+OwKG$a7B_8`M|o6qm;@{8aJk2w8eVBRrIZ+sY(b$xD(PD^{4O6#f-Nu9=2 zOb1d}oK(aDMU-SD<%tcPjDyyA{b@c_+%2UFdd3w~&Qfq-u+NwW=iqRV#v2O^t`Dh% zpIz(GCjZb-Fob_^1QjS5$P*)}%41krspp5;f$j?e&-{xpovGQjB_5e}M%nTbRTypL zM%g$;QUmoGN~7A164sZO4Y{7V?t&F2YHKIfBHe{L^EnSv=?KfTMF$!t57m)we%h4$ zxL>f^?}ieUL&)&^lFV;WnPFJL{O!pG99O;eQKNVU5dkg+RslGtnKye1@n`(*Sr2)1 zwc$FGznX21PJ@ASgF~G{;A*@+pq=k<67Kv-DJC+!%$@i?f~G%T+Lp%Sbp$gNwoOaV4#HF_&8CPc&$>AS>hh%^bJ z3nJe~(G^mtwF~4>+9K!*?uDwsNU^>7D^~%S|H#f3ib>Dy!I@YL;F&}|>u{BmQDulB z=iQe!S$v+COmlnuk8$k}wZyjh-h25ujEQx*%)inxoC&cXUpklnIzstKBUq9|3S4d{ zZ$E!cfuEqtXLp2bI3ih(I%aI0*eoK|%%c=Nx$rS;*8qf_NE(Krnbs2+Ei|8Ay%HuG zC8dJ%{79rO?#(P9!Ymi|R2VSr|CU#ZU>c9g3C2aje3I^FaQ54)ao1B^pX%sNd5Dm_ zTZ8&m=|<%epr}#adg{#)2uf4PBoqYEp2)Zc@F_!k2a8lxW#+vcr`Hg=>IZYo13 zCbNi^{3W%)e{LC(MKDbLNwrXPpw<*!XySCOUu0V_lBI=`$x4N5WaQxxJUvdJgya;I z+8VBggC}qLngz+ugkahlKZIbWqsxD8i_i`3fqcvM2rVuVJqCi~9C*^Vzp$S$7R`<1 z0LZPvJV#3vW=UnNCc?;sXNIzQNRfK!5fP0w-cRG=01BC{Cg6LrAhrG;SIh^7P9H{= zC+Oe1%-coVo~6*>^?^oIhr#mBK!%CAMEH;+#9xh1a*mM&;EL0jnw_s}>L66&cpXx_%Pf=QVhe)1TIT3e9FJ z>!%ksLR+=@9}ePS-=|Wa-cs7lW+IxBsfUg71K83_6v>MMmD+ak;RjJiGQF8LDR29q zHn8)ZWZ1@^v3%(lpF;AK@5upFhh$H-JQ|atT4|$rGqRZW0Hy9x zJm?65g)$77osV}G$Xe#B$v-1lUUTgogpMUYy3-=k>SReC!+}+oW`mJKXk(_csiI&N zwR)#Wu~1s3jSX0^j)FXQ$$q%KYj@h&Du=kc_-WZtx<#I<>K_y+Jk^yz5wwl3mHY#t zN2YY@;ucX zd>R`jG7hJus*!~@K$i|~xq?45MFQVJYIyOhB8?-981wQAEq^rljjDs_LrcgU2Ps!V zG}AGndxP5#hwur140_-cUGMAPZ%;pSoU|H`Xbl{v_IC61Q9fERLFLUn;7I|5JQTn< zEYr3r_D&4kdUuS0`A62104ykK<_jBNKwS7$mJU)p_gNWyVA2%TS;n+IwdC<%I!H)b4MWL zEIx&A*fBl_-*`yyiL+2O(3L{83khx2XzFH*?Z zsl(G>Cse*k+yHFkUcYevhj7@2CC2}TV{i@@&Xh(jOi=a=(gsjk;6EDP=0f|AhM)fn z$?IfFC1m}dz^-b;1aWde-DKSMTi18u|C~oJ#-HsuW7g293VJoN?5EQRT|Q{8Xy;zL z@LEI_?EZUt*hwO`^csI^rImN}5g?ZHVWM}f%qFYD^Yn2*?x!U4e>-|O^TuWVcqpMm z_We02_LuXw7+25&pjzFk#mlHx6~J@qn@;(?D!wIn97D*2%u*&d#{MsV3^Wp$vslPJ z5Ve|c@QfYZj$T%w-@&Zc|zG?!}F8zrZpFKqdR zm5r_g2(gX4be~J1F-*Cj62RYYF(A031=5O1Zl1x|l2u;9?P&Y!Oh6%EqZ+jN5B{0~ zLIF*Qk$+f*jL;Exi4s}NAyRzvG+n@*e7ZefO0D6!9>8}I8bNj8v6ad5ndWmE#ee@+ z8f&U7SL`(dbT^k3OLd`is_Yi0$;0lSd3Z|QLHuj!P68x3#n6<+bK|QIK)rw7ZBV@o=qFaB2a+qY9*jYbg z`!x&dwJS+k6D07kZ@9Xe9*)A3ED$m#6jAJET0v<7`Kr$7eF(FkZ8-BWYbkPUZ=u@c zg?299jLFXjIvBo>Ay%MtqNEU~`k7VLV0ScXme3nywiDf78a}=61HKQ*s&9oDWeQN{ zdfA6#yYuQIJVU`zr#1P*=*UesCP@>y@nwd-%y*`5Zg|vhJYjN_Jm*j0VzeS~@@0dn zd-p$pWZQ{BcBII>xR(Wcg=PBfXISWlRRMN1dxX+p*d5bjqk4n|6hTBAuOY&QFvvR= zq8%}RNRQAz7Y}hATl7r#cti7=-B)n`j8a}dr_gcp`{QfPh%U4_Y*$lD3qy2%nvh8; z;%(vk26G{!^oPlLABodF8q75t# z_g{FmQR9KUDK&K5fJl3>^}_lm)DU0EEEs?Y@xpr%ilboB!2Pq6_q8i{q?=8ctOzJ5 zk9U8jJpM^1H`RG$YqXDI^yM%E-z^QPXiFQJp`qeFj`RfqGJG8>VdW|Mt4fW_Q*Y7? z$lwf@nO#~>fh-1x6d|E$&enD4f>YShxTa!)_RR08xJXt1^mv)H1I@fkK#^lpxJ1+$ z033IW$WY}e$YVy7Br&UWux+(kx>>@MolcwY5nUJJgYWjd_GgPKt($k9(=wcurr^`G zB>M_pp$Si|1ak@z%7FQgnp@{QSV;z8oPCKyrch8cC0)Nm3wGTcS1HfVSp7rvV1jL#r+O&a(uTI2 zd?4sWch0NQ#d`RR@l%aV-_m`&M&me>bB^RMYNjE1%)DkJS55Y@aC=7!m3#mYRy0Uf zq^8P__-O-8te}##n?h3{)>?~Uiap_U;V;JMpU&B#QjIR8ChW>(j3- zFK1Z7$gWc2M@*u!h{YD?mDCCPxMDWFltU`Xm{X6-P5g5e>%W4GTfyFdV&ZyJkY8!j zCKHyAh~otyghlJg#8-DZ4Uw1Yk5F|*D?2_{2p(er?v}bdld%rGbotB7~}sO`EP`rb)a^e zeE}=M{ld~Iugqz0-B^>9pnd>&iPwc9oq$pi@P`9Qn?_NUz?Fm~z@>5PU;r5z} ze1wTw!Ata;$uDs{;^3cMV?6ygY`Kl!X7#5rXq0K1WGREUs)L!Gl>W{xV`N+!&6XK_ zG}$02_{%we?7&RSmu#(Z3(m{$=W}{EgH}1NCJo7vM>iON|DB(f1vtr2PI&px0i~R63xrb)xBO{)j)O^KL{i-<_R?W7W#h41VbgfMEU^ z!bX5i{t_|=V&%$<9d^6EnNZt*4j+j`7g<*L{WXHXejV5&M-u2T@cmr5x;lCqT6Gkr%tN zbfFGvpBG&W2At$@bhJzArizD$cWGc09V$t6IMlfUdhB?Oq$Ki8nRY#Q{M@_Zx>M%p zaf;_gH-?8tR)}?uF}79n725u^0b4HNC5Z~pnYRlXy@mvqsL~i>!8PmBNF=D-l2?kC zYgr#GYBD1Gh>pJSr;7o8^4M5$WW+= zOw;KD_SVjItn*oQU6MPs<90AeRB|Yw-2C`ms!ym)O%)^ZYWz`KJgu~4{8@LuP>s^r;lY2#`6p})(_weu)d?ujMC z(q13=fFZUEMWdRjvW50uhqUn#hLCEewOhcLH;%N{^zLdw_6jdDwWJM+_a z=6z0}`+t={Ie27w>^&KN=gi^;V`H8Wh}EPL=oM5+fv%HC{3e$M?gM*R$uAp5l|0k| zhJX){u$}QvGc!nKYDHzTdsl)ms{|Dv535a62EHi&%-;jBuh^5k5Q?ketE`6=l2W|2 zn||B{B@e?Jdk70H&bS)OYy&uHEW!&@OAwMKFf@0lrT7AA4VsT3$V)wWC;G%br}QKc zeya6?D>+wcuEF~%l9-R2*7SjJ*R}UR%+d6;B%s?c&at<~xP+okl=ZpR#hkk;gvdWe zKD;w`x*NL_hh0bGeC}RywXtKYyX)>ex3*3nm++mvTuOEn?E+OZGu<)O4UT_X9FrU= zZ|{EeaVz@)f5-eGylT)Pzd?oaMRk1b`f8nRlIgj>$|`RBAzrE&@Gz^b@sK6?((~Pt zlx5YI>J$nb_G?G(0fK!W#8i=4fB!c-bFlFI@BTU~5AXl<*J%NqspKuL>->g$)%*=j z+894YXWJYFe}|4G@f2|F!%YXu1qzP*(?g{$^W!RKz_6oD-u;O!*Aq}eb%mH`@t#+x(W+1pdM z!cp~>NQ&pXXAZa;VG{4}XLidvrv;H@BW`m=U~($nK`zEfZ#s=}v3iNm{IOCINQ=&y zNi=Ka?NQodYVURGn#Gx-DDel@yOmv;*@|y|bz$ zDo`e0cxGP$oNUIxq__VxS%7kW)PATwm%(WnDKig%N3cbMH~>w>gvD{?$XoFxwG;~9V{gbsC2+uuf(J|ZvpLuh()Q`!Fr zhgIh^FcHU@xiEkK6iN_FM$<5!Vho06hQ9n)|7_Zpsz>y7E?IJK0Z%M8cpzp;%p^=S zSelWT;=q=*JHmo2A3bp67zW9XkKwXV97pzt$DWAFx8i2VzXhm_+l;~D%)MUwEyvZ*mpQIxIC}y%UX6h=i7`OM;~Y z0{!5^7{ae5cAJYUjx!}$r}*OzoYfFhOdPF&`^0Iazn7hE!qxOrKd;{j=d6UXY1J{>*Ao&U!oSmzxgu|kWLG>B8ws?0? zOiJpt88~91X@;gjg3!W)z`^dMaI){aO!;P0F;2cGpFxw3bP!b3EmhYtT{JuMC^6xk z|E!N*orf2zboO;HI>R9OzB;5*&bb6G4^e)(*vk9`y-Y=pX-V~bta!L(HjD4tL!hNGp!1GgnTmL#gJh36p9P+`7q?!C53z06d8-n?9{K^u=PKSP ze>wN_&G9&eD9`zdvulSJ92ju@U`4u+Zeol_RX6A=9iDpd#>0 z9JNDS4;-_o_d!)ahrd=mz|v=_kbpuk;Zab*>cia;~UV7A*;iHhaSa?U7QtO!`jQO^C*sy`Y z8`k;hrayUkTI5PFYlJ4cq7_hsILCyT9hJwh=kHBUX8vQFm0FG}Ny4QV-kQI{ywIvi zJR$hUjeZc|;iZVw6ecM|qo~DQwE}fX<4pMVXopg*qwN_C&EaiDJO2QOyAr!*3NDc| z+rk(pg7HRYP9_aPorG0MuS7mFA1wUHyUK-d&Nk~20dsPrd10{Ijc1&ZP66qJ^|$o! z#wv=a1g%tXo5I6gt>3UevXOH~U>+{_)wgj1VES=6T2S=v>vb}J9YKCw&qJ;YDMg3j z&ZPegI@Y0f1nKZSaKp!`R=bul-hA~+EMn@P+dLeT7$DJA~Ddpj`sq?GwMTCyY%Q<-eL| zr|knWu6Wy%A&(&ZH74$Y>g1qR_7$LNSFuhADCm6=lF!pE8}+c%1U5z7PknAU+QX-O ziktquD8S}}t>{1Qdve&nEhqQj_VpqO7G-%>&IIe08~Gp2gEy9PBjV5~Ty|ESKk2!w zJf;Dd!Exp0(=dQENO&hY1cHWe2NM4V7pw(iytJZ&#Dw?lY+p*7>t;D*X(*-{H19$` z=Q*M^3i$#Qk?MI;cG<{_cs`X4tMle=V>#VG@#IN zIavQ6*3HJw{{N?7IumYNJSe?q^d9gUmP6~ECsh1dBULme>RNxtt0#QjpAnyDxwa8ihzAq0?SN;;m;L1)cv1pX!Y^l~tx!U>UN|ofC zoI`hacD;H0Is0HvxkBFi4eSI6e2d2o|COo`2+x2})W)L*deMTyzIfr@eM1s`&}6g! ziD&mGo+d#ktHUa;o2N<{gip{Qnde`+c(jCY3!R+kjMjd56WF9RDr!M(IauO<<}^DR zCWNtA09%q%6M9w4MZco1=ox(&pzxQER2pjuu)vOeMc$)v{SzwpN|y z&7WLB`e*SlSt%{1lLU!rj&_k-tKG?^EoZoCP)Ww#IW^&pGBeKkj+Sf^RV}$8N6z4fuYhs=^Li)xI|O3Ql7UJ%;L6 zT=sg|mh#-p4RU8h_h!im2w1FZO{8%X1dJqj|NLjO!wu7vMQu6?6~vj;+W9hATP6TIDtB`=(2@}S>WO=JTqr>tdc^{Mufe znU0hJFiDPlCG4TLu-&{;P=sTy?9Q9Oh+%?)4QHmmjP+)}&ri<+WX9 zUwiHKq20|xO~w(1#oaF3tY|vMJ6s$;QR3HW}VwLRMn%?tN4L-Wd8 z45!7Mid7+gDwig`)n0CLqF@ZkG|~rS3&i%+K1O!+rT^`%!w){d^)#?*E2*tEuo{&G zGHFqHo$f8}hP%l3Gi9R?AqO7@wZ#Oe@b(R>7D<;z!chLfDA28!>pIdtdgoJ=x7(UX zui>|JbFae-v`~iXKPQ4E3wUT0cP6_!|Lt<@n8|s1(%cQLyKAEVY5d7f= z%Ovyy0{Zcm%9mzf&nsa0D1btV;&c5Ic*DJmQ@x%PMs7Yu#T9Lcf3x91_`fa56{PSdX^~-qC(48v5s&-3tFwCw^IXw6B3*fFil5EUwnpVc2_-w{e#uSdr}uIBwFG z?qsMU=!2Bg;S1*tOpWB#ePW}2WrH@)Mgn&ao_s;fH4>f&#DusA@`xs=pSwQ5u6|6p zc$|2F+C@yXlEFT9O@CkHD~u$E2{1(76B1pN21Md{$Yk{fa1klU{kIX)<@r$NI$jBW zIoupjt9L3ft8!5iSub&|Y3eS}avuGFs+Y%%OjompyFnu(aAe~QUGSm^2g0v6@Bx6Xzm>O}?MBJb9 z(-B`k!oqPtwO}KYt)s-i{5W9m4QC_~ETRWp@2O)^E^9Ag$(5yKSS)m`f>uqO!z#6j zxU4Mm0qwUd>qG#S%v0(K`+2LMBsRYpTwPm#)?*4yP}#^NU=!%0Yplq7%%}1(Ay@kL z=r2=)9`1t`!AeEcD|wdlJaWR)J&1@FwK8jdXadhL20RF^nfG)vZVf(BQ*!=ur;aS2RQJ`^=R z6SSj8P#T5L#{TV_s#-B{i1$`-56&RnLzH|40xQj?)<5m^A8v1(flnN_In*Kdy*tO2 zyKBH`^k*N}EgTGsp=tK!Gx=ZTBE-P>^|e+zlS-WIw@+=%|B_Eyz}Jasu;GXV3bt=t z+X!kV`7@$@t4vEtC%FUP% zd>9W$Nzh^ceGlvF_WeWbjMA@_vBC^01IEsi(g;eMA;SWS3?Ny*U6~N<%U^b5Frthw zxi~V>SoqpsnaM}CLM?vx?bTX{((4%HA?~d+|KYaF=eRxJLGJ8@QOJ#FDzb z70FxBoV#%4rkG|Zq71cVWo zm3G|!e{6kIkY+)*Y}u;Ea&RheBQlD&07_8P7!)WBXb`e;?20iBCOcglt6tHk|9M}aFX<2F&3hR=cJ}v9w6i#C^jroda7((0^3|mW+BRPJJ(RI z3}=FYNbt8ka+LQybHGD&tI**ugt*HS7Qd<}-ZJ0}DtKw~4kB8x7HrDLg|&P;YgQJ& z|7BdY_vd0q{AK>!jL%9$hn;alZBF#m&== z7i%>LdlxrYTJamT(dWHxC(}S7%SZ*s3KC*z++`uXh(smFBKf2(o+sb{*)IyAKZIA^ zXddtYj@Q~zqLi!7SItgm;G5_&@WF+G+f7WpY>7#TDu-I@CB z>rL5D-DXCVHHq0}%Q=WP!r+3VI+`?&#scuOOHff$KD4Quv{ygW)x~UCpR4xuQ_R`U z;jsO=IT&9NdYW``Q<~L=Kb3jXc`EP3TdG@ZtO!u)!j8#W|90oKIo24=y1T5&ydj(bVxR?;H=#-mB&N~|fqdoObpv$L zQxNdydYvGaK|!NQ!8jPBvidWt&r@Rj0jj>r{NxIgL#PTnraFYb0Ab`wR2xcDr4@AU z#Bba?H1>KJ#d$lp;$OFDsVHq6#A?mtk#svLR}TzS`D;Ut^rcglg?Tgu=!osn)%MAA z$@rkXFC#y+r;i{q#k>r&>X#SW*g9^Z4tDsRp%$V^aT7+Ek!hmQ-g`+(CIsNSPwu_B z!j~QX^Je!+7lFPSrnm)mXe(7pVC#4DsoEc>IW*Kkst$oq(pe9n?*jYT*HYdAs}Z;oCyc+Jng}rpq#5aO!F7ga_LC^&%VR>|QhkU<@qi_oJK& z)l06iXqw)sX&2MhPUa`Hb(M-hAch&I?2YK!*vKF~ia~ctAj~L;BjU|i`Z~0ftQse{ z^h+er*RKu){=E;L{l2ne{|3P9Pdik4F%u|IJTx|fj-aH{S#~2gh(&-GB3zVT4BLFE zK&KnxB`OwJz-4sX);S4A239U}tM=h%SD?{JYf%L>7&E>-Zc^@~$wj&rmc%bLwY49R~$YXs_BIuhm3!=-As3&VO^c7wAHYHvoJPqbaSogA>f~ zkkc4Z(ijs{zg%_<2Bf7YFYen_5ujP}-Q=rY{a=^q2x9YNPe;M1UvmCBDzxNh>$es+ zh(KMCBWf02-}PDkiLI-MT;^FDO`%5Ndq0vWcd|z(U^DkLLq|lwllewgZ`U~5rmicT zAkXE}X}T6psos#%rUPJ#Mc=wO>c-iHQc4bwf)evLG}yKZ_aC^#$@cYRhp~@kgiOW> z`6${ePUF@rplDJI{+1R+@gN4Bt}AW)5zKJuvk4C;s*YBVmv6;Zg3eE!0FxI{urbzM z%0lA^v#XJMO}`(5SP#`DY{@9rkdM#Bdzu|Zh~1FLd!Ip!jyYe9RZ=v;l0krle^EN*=ce3)uFB1U*od7H0xZDve1b-f?CO6|(=2PMBhE_88XGS6*EQpH z{1#DI4aTn_d(TEkK01eY{&kC|(9p6_izYx9Sl5euhZ!)@hZaR8$@9(TO{4wFu!qs+* z7PH$4_pZd<#xQOQ9fl(NQUJ2E#sMapTwnP`QL)Nwv5{UA8yCBdsXAI@&YPoJwj?0n zJGYZnRSIa&`B7C%J2*bS-i$5fSnAw+dUb+oKc9U&vmdqZ{3Fq%a_Kr0uK;Se!Ezqi zlw>3MX-MHwMO%~}=|`a@WR|cQ+t9xj@4hJH(-Lwo->{iWa!FZ5xBzFEU^BBf3B#0i3Ml7Ej{CLBKjoO%9l_TIuPeTj9zQ05e?>87pq1fT2~A z=9t>3a`!F-(W(3KErQIX)DfC%8i+%Q*FMlMujf_o=|AE^A6rP7nlQc z@cq)ji0hKccu{V^cC4`by|{7a@m-YXNTmPkPu`#9<7=WO)9&iD# z;Q%xL513a2*1-j4{U0FY1YF1q%>F;%wH7#q0GRWCK;aB91r_lBEwKFpj7IXG0+2W$ zOjQ3VASVi|@v2mm+je($nvU0E{5#3M$ zY?Xhr;##dNiNgkh^$(wRw~EH#`zBk=le3t>nS^E#Nr%f9qLM)gONOVG6M5ZqOWe?T zg%j3gb-nal=v?T`<~cvF{m$`yc5Yi^o2SgKNTZR})zlT0MX)HetY#pmA%{RiO&~ov zRv+x^;{^Lvf-us5=zq*eIR|zOgO&yakPeTCNOA^Unyb~v0^3A}JPf-1fe0{{WJKEw z>;syflWc+n*@sfSy}fO_32?>iZ=;FO<;dtW6wD@pJM|YF@V5#jl(7Y+Bg{+f7sOTUM06-xGiwPwDUJgcoqXRku9^9=B;WC^9&A?#yOt~lUIm9Z zR1x{7OCA_v<@5i78O-+|vA|>moD*QIf(Jal13Z7sEDris_{;NmS7su<0+2N2f+^r& zgm-Ie+<-{x=-y+p2ERX}_~9ZQ+}{=vJD(5UB?>Ii7A|^8>Q-L)6jf!0H|Hj#Z+Adn z^_B&N<`ltT5Lo;5yrD+~f583HgbauBF5V=j1XjS%ehg|6M~ski`y`A3#DKi8)t#HX zv46i4)YO{F;_8FbNfkAfh2bdaNgOdf6r=}Ue#S!DOc)u_u3Pt3IzN+s_(`#*P$7u& zeo2TN2IVBuh&+6;Izhk!1qOXRBZ7|(-%-4uzu?akYU35S(R9j&mC9-?hFq^mpU?E-c3G{Vm=E8tM zKT4OF*`Qyvb*mK5qr^1<3>LxibE9%_xx_8+Hf|S6we^(xQo*9iA@M{Sdim7(b+U<} zCSkPmR}ajaoTp|G9rU0Zc@vMTdN>5$wLE@+HH5?C-!;N(P|$w>BI+pfe?=CyI-30l zZIDKPy8~vv*^+hMs_+ID>XsCC_fYkA?s=SRZg5gmMMGaPb6IP6x)&)`JC8o9Ppu#1 zVV`-PAGA<)f% z%;OchbFy$%{i|mIa)})EYS8A9Hbdu+q@K3Ol~^I|7;?8$y?IAe(VC~SbCK`I2Ki@q zzG^|hBg$edJ9{4_;AG$k)`I*7#s^;2Lz{#iA0^WbxWr-%X0RU7xT`G1pZL}HWI ztEihdDOf%)j3`Gb%z(Pse^FVY%it~{FoF1-QcrdE%8@%x%L6fD5in#>p36N8bO^q< z@nlLT33Af4BLj?AgDU2Vo8#7lU z5TLQSkk~0Q;9wyUd=Y2t6f27mWLUX>lZ_7`Igh-eFud=8WSfEQ zYUCP~2*JhmZBW9-f&JGF95pJci7q%SFRBa2T7HuFatno-XzdZpRuf{^+d5{A4hz#c zELnzJEd6`}xNtf=K@HqSXXz5=!{Vhc9+p>jaI+&H1X~bwq1udXxmzs!L^@~=KKdDe ztX*33Y)Vu1#p<^M!Q*1mT<$UN;$vnd>mH{XViI;}z=f3*8Juk9$t&rXA7G<``^u;= z{?qWH&DR48@H7;*dg3A8aoY>RB1JqBeC!?~j1SFT*Y+H|@G$3R3hvOIakF}JE6wPm zQHKFTOo!6pb)l5OI$*D#B&ug>@Gs*bjZ5W@tGs8ta*3PLp26*IBWN7wMa2SJP3Mk1 z1XbDO@fXEGO_i6^JdgLRnG#n({TgaX5_QR6%+t7K_-pe*cIFEK2bgLuT|cXWc1m!G znYs8<))i@+=@wz`k)Jw*%;Z_HM|S*Uvld-Bb#xER5Y?;#!zm&Kal;Z-)3@MU$cb63epK)ny#B&m`<|wYATO zi>t3mR-hQ!Ll^6r(v&q+?gOz#*i-DhEARgOC4YM>R|9{OFyGS( zVNssvG$dal1^nhCUphL~%slrmAg9&W`Kd}b@>C&>gvcqmndA{d0CBbounSganO}lz zWTRV2>k^>TWfz|jv=s(a8@oVAuH5>fAy7>kNTmER7-7x8f|QKMQByT3ghw9?zWffI z^-D_AS|+YQ0s}L=KFHCAkN-%;x5CWqV4Qzbw;_hv&T$TTXI!?kS6E2!)Bn|KmH7zQ z$#_42qGB$*lP8DKeP<;PkUSq$`*IM0NikL`@)dPslq-meXW{B?-3$FSlg$_DSIac) zem$~CIG=_R$hEhq?D%}4l_NBBb?k*kN}hY6v`IJapLJwzDr3r^L04o+kKM8ywDA)0 z(+=l*FY7K5*L2p3z37)>I%iw-(ji)R*SRU96EdiptiPPe!D@sp6ZWx z#5gOy^p&5?bTXV@mC2!3Ha>NJcC^>D4p8UuYiBy})T}JAl06|cZ8f>t zTI7Ngzha`)PztgM5bgff{h%!1ZOEV&R22qCV7M)oN?y}!2QUP>d^^E?%a{E?X5J3 zbN?x3v?r^1tVaA3I%|VfNZ`?KG<))=`Hc92=+mx^tLLbgY&m_0n5T_Yr)lZUPEmMh zG)!Cl*YDpQF=PNb7p&%p47NDSiZQ90I57%IzkIF8WL12E*p5XutF`8MuQkWZ4iqw4 z5wz(nyIAcVfRglecre);po?KBD`>`qqV6l5i; z*QL+ELTR{)HYq8WkmBsU5`nJ{cEyHi!>6CdfR3i0A_9qlCEjg-shHOQF!u ze)}1_fOu_iv6iiK3vmd~2~*oNyiNbXWjp%3;Sz%f00nQzq3Vj$5+7>oS@4QgLMAAK z%W1)fPJ44bdXD;-VxdBl;=U?nly{I%&bPUQcNdP7V$4_}N7jJF+UaCPmKTG$PcHLF z`-mh0=5K8;dKCfJVq=LWjqz4wkKqdArBum2=37BJ)cDB7n zlC6lL2%sFo`r(};v?hPh9EVDr`rt!O6SB*W!}kuR5;^ff|3I}?CSWTpH@LtAT3+y8 z*q{q3^AQuJ3{lqkP=%A6j`QP#hm+P0aygehmvm^~p+^C^`Z*uns%_A-mP@>Y!4F;d z0P-1_IK?Oy-KvCN0)30cjoeUNC~~c6=iA*OGB6a@X0hkWsgA=n%-rPbPIrEI^Zlqi zFh0-NlDq_)>o1Pot=Ov!mLnZfX42qc7JfCu#&we(C&zZU6_H5-GcRr};MBCeHKI)M z=LFQQNN`qN&$eN-)JYhZIOD%P(#kcO02-1P%p_QQ1VfK;>X&;~j)lCrTVf`$UspXV zlri&Ub-2U#Ez3i4gu@dJgoV!}wAycq87TI~R1j(NJ2yz5=|6)q;W}9~BY?V@fq+Os zxWks+Qnsv-W=*jln%#Z0-?^&oDMPdcU;IIc)2Zs47fD8(n$){@Ihz0fchT zKD@xW^SJx@o1V#rmFuh#G?$`mD|u^Zv{%%;nH{gdjrK6r{1_w+fv*wV$1t*Z14(TX zS~tlgA_yNf5f_^7AovF-F*ZGQthk2R>u}8tP_mmH%KM#KVJoq}I{FLCS2=+ZtYmja z#qdFwsXwxRVp~RDQJkqIk!saE0x*A-r&>*s!fnz{+jt+5F~({FJJlF*%@;O*ltnl@ z{=y*WdI@rlfje=&@%XbP;;t4bFl)U|m3mV~sBSXY`P9IdZH* zcllanfJN{^`1&4%0e-$wvM|(3sUnD_&SA~%olX<}h%2jPL{vx9O?hk<8358UX?%;r zeD}P%r+F3r(8EBGWgbaw)bl04WlBg3(#!ZYSdqLClnbi8c`kphs0MRE?<{t5UeMp+ z7Wi)D;I`xhZr2r9Cj+VbrBbR}+qKm}?eZk)9qf^2-n=p;!d1XJ{k*4Q^WL5vXj-zo zhx0D1{Gy@on!%P)>8F-Z2xtQ*{)14h5rF`vxgV?O9r-nVT_KMQtD4Kf@5v+B_xDi@ z@-SXfnao-Q0O|p0$yj(=%ea{Ss;x(!GnhEml~7ffyR)V8ih|$^U#5E2gWZf$#Au)( zFHwYmnT}cKJ?jo@aKLyLWW1PDq@i%=OcJTKsTU?N&L+1DA8Iq21^^*XoYcHDP>Jy~ z-^C}F{i`iYdA3NINW`IbOSP`|PELQ*Ess1$-gka4`=-N1#pOy@-$U-&6>*Z&r||{1 zw$R7vf9xd)$>Z5Rq4OR(?^@I{6SH~v>ST;+?&RHiSe?0<41bX8B522Y0Pe_e6;TsmjY+1eo^Vg3?t}uJ55)go#3lX@e(&1MCi> zVa|7yfyXZqp%Sh#aJgldN@fb+kg)j*ajR7}Kp^Kae~Kow1OA|MWPYAqS?6&|?evbJ zujx%!z)J@(pCsrNp#H&4ay0QQtSTM1x8El$&DiF-$H>{X6?qURJv#A?fCIOqE!0w0 zdLhreiHXM5;cBtw?O~P6iz~{%sj9R8os!+37An&|GotN!EZZB`w*F0Px$?$H#+-g; zo7obSzGS!R0T@yVi>jM&hmrQE0o|ThZ|D^p8# z>)>Leh5_|9=6#|pU19?_V(01B7%EF5<%~3C?(HN20%+^RPlL_Yyna-fsz;m{ki9-^ z;3GF%G}d7cFHB!55jezexc#;g>^|-5o;+KUCC!sNW>a20+GRa;rYB3?g@Lpmt@NC; z(B2Qh=`Ifhz#GiP_XgB3b`zb2G#oXAXXzb!mmYGrq~}zt5ogK#9hbgjki^uGAzU99nu9bV754<7q1H2^$0rtPhbDaOJ zgZ;O#1q;T)%EI;E$`;taFcOY5B7F!dfT}y^(ict(Y6Fg_uNmHf14088o=$`Nh?Way z&;jQdenE8b#F)G}J41*_LW0_u*R--}Qp)_Sj{R5dj_X(Ljlit4z>Bl*^@(5Z1r2S! zTwl_Z@7BB`qbf`xT)Jh}FJUwyBp_n4Nm5!klEOVwIN&;Hih>ki8dexakxo!W0Jb0m zNB}c5C}UtJ1M-1W6qtX!v4Bt?3ao^Y0~WENR3FM1)*+o>iY&PSnYWh|a`)eo*sQ5J z3x5|_cutdg3m|h-n<94+NT9RLdLWlM4_4$@@aS$NO*oXcSfRqZTnnbY3_-B^UKAjy zz9PmSi~HnvDj)@MRH@N{>I|E846c&o21u;G&+3xP^4lO4FAn56w20cHta%X>HSf`Vv7kpOsK`$7IUfepsZ=+IO0O6q_w(+|kV4Jei!C#wOEDEq(M(UEV1Cqf9budNQB8q@v&JHnUc7ACHlu zyMX}@eAYG|E#)x~9U$(<2-Q2<689QzDxbY;WZQ=5_;FDivMI8GoWsY1-|q!6U3Tq< zKW{G=WQ?~LV9S0bi@2{9QE{g9$=c{XIT_(rUqjO5WgkrvH1vVN9>lsFF!ZrE81@V^ zP}fW4=Y(#ClkC`=at>9&8U5za-z)A+XF=aba&Wof-P*3V0cdlc4(xP{*puDuDXoep zJR9_etUmslF@a=lxq)S%(7v5C5I+VoGL|H1Mdqfq4=dwscST`Q`P#ygcn1 zC;#EizyUoPRv*^;eBb~SBS!=)T_GtqxYD*^J8+HnxUQ7sQ)gtd&e+!O>jap`^Lp>Z zabe*QLDFDO0x;uAC$MXS7aV8qKV&>CYPvEGy3{uru30rX+np<~{%)VE+IgLE2bV*S zN(d8)hK%+2RT+ndeWOa))uZlly3o_i$I8q_o%K24ba6c|ntBg}>=&Q_V8qZ^)?}Dw zerG4z2uZy9-E?m7{^Xp)?0th7z_?A#@SUXqbZ+T7~AE`eN zGNvZ@9SNbR$q6Izh2WoTraq@}ZkX+`Reo$C%2kd~zUS~n7-R4W$tLm)xOkGUN-aj- zWIJL*2k~X!dn5l!{hXo?h_;T&q}?!Pa^6R7fLu*l&yL0F2i2Q^&7Du&vy*ZWeXc0D zy3IkC0i>a}Xdo?0*dUlI(02&Dcolaey9$JNiF&g&c8Uciu3NT!vasZ-?Kh%ne~ zbDVjJe-WGGXEXh}^zy7`Q2lZ`Cq@WQ_v`fevv#+Cs6$&1JIv7uIY~Ayd;j4g&QNvWxqi><5BvJ zSrtViB)3@JJ$#>KrHBXjfy(DxPgi%YyAyK!v}iT1kB07Mb`K4(ltMEa4*!cMng^uZ zY9$wI^G0Yll`0Ee|BgJ^$@5mCCzn5+LoT#i@C!9Za^onU5HTVI$-ZBD%{=O_)Api| z6yUsiX?zY1J^qE89yVuNDkg=;S_AAkowa;wDo7UV?8ZeKcG2A7r&&77!FymGSvMUt z$`bGt4H>Ekl8z<4#c)LJ!JTc2okj&cBI_B}Y!DyOW;-ijaD_j8mXJ#3&_hWLEwCwK=!5f_KL9PJI=M zoj)9kzNTo5ai)sSdPgkNd(xn71>$hm+zZ^7;GL<(t_LBXZeD*zpowqzvD zUD2+br3E9Y2sZ$%XQK+4=9dZbDWHlognc9W?X_qHKJ2}bO)q1>gD4|eDuSRh66be$ zsI;hkBzYRvIKgu`14WH9PDI4<8qEy@`Nx!`Pxl{Ljg&+TV~gk>8ZKIcdO{DC43QD~5Qd^&0sd8`Jttn42rI-`?rGimO)*Nbm)Wg1i&-DC}zYwHqfQag{n z$_rE*v&C(nBuU3@s(@l&+gqBD-*?N4>4{;k_st{v1R|PiLkFD*KqtQ$JY>_=d8v}dpk<8P9SoY0`m_7JN>(z^QtHM_X z^&YX5Go|mrHqk3IM!S31w9Sh;U@+0>|ss zMCRnf-Da~{n(j$e?O5Rq>VqYhLJg76&;Ow?d12K#g>N|OiYchQ+Aoi)hfu|H6aYw@ zmOlq^@`37i?iF zcFQ*KbYT`71;9RTvPZjIc0c*p=VbtQKjl-h#T!saV^vzduS;(+QN8Wo_>{6%Od6JL zId62`_n7A%GoKZa<6oEgSgut#EL@DnP;k!3{U+U6DQGTxS8_3`q+Tuqb1$D%qBv)dwyVM%knU!;?!Q_Ey}UOmTP@{f1Ei4u12SJ{T!X5 z$Y5=^0UVbp@|=LR54{R0e%XrR@l{d^)H&B`l|tvf*URUhWo=@ zzjqFm?qx-sYt~3zq~ooUYCtu!AT=gBJ0E@XHOZq(w`5C-BXe^!B21ri9MjP##tyM# z(+(-VIxS8?{!o^cg>?Fl zoMGeOR@xC!V@E2*7(M&?8oJ_9#K8Or<@%S z3jl73&`hpl#nF;s-dZ?Rk62B8by6bd;UJ2;$hRs#YQO4@(`f3&RhX7ir)~B zn?cJEZqSVk)AedsT5|?9`E{OMTlI}`0uI~8_YOo?z6GBi(>E^j1&2Vq1FnBVELejc zmW>9?w3M_&d3~=`l=IQKPaml@j8ENL%)#Ul10URC0 zd8HQhsd20hc6Sim65L|VpR!#)SVZ#g{hQg{IIh`<_gm5UinziNc@)kS`3e2?-4y|D zurHk4R46|${_1(?u@;;U#qnv()PSXMlUfzGit0Y~Y#cq*Npxayq2RE2$fSVr{0giw)+LGCna3lLUA8CDTfJ@bz~!tV;E>>B#r6{`^Vz?zMl*3UUc zhl0+ed~_0`Bc#*5B(nfRzwQH*xz_1Pl7w`4IS-^H@T_VHG;iz^?p7YV#ye^*Men$o zy5TR;?0Io?5=#^j@QQb^84x#+gXM6yi2Fgp0jc?Zcm=_M5c1}Azlj~`0+K5;MJnF${kyz$m1Z*GOM9%^{b<3(fyCQ8+G}}k2*5$+#C}HRxBo!;^ve=N) zG0xpnhCFu)y#KS}p}>*p|T>&)EVC#>Be7CvP4D&s=Roz z*p}F5SZzQP#?lSZaBy%y5ZvZi%F0F*Dk7LN-aN=6m@4%C9Tm`mYk&V)?7<9;4Gn{d zz@avHJh-(ob=rU^0nt=HIbh{$SecsZ+T6f@FKsWkXk+Mrco$qI429c$W(E}1MJx+CFeEeCE zTbP-`?|aT`il`a{$owEVeTNbF?-RgN0h5=S|K#i0+8n~!$^oMdJhvd!(wE8uX?dfn zQ1JLCcGnba0RT#&Evf9eKfP@~LXsU=-$gi?`9)1S2xx?zGqW^qVI0t&xZf19fgRM|EvK0&_}If zZ)9n%XMiT_ea|n4 zAsAH^+BMG;Kr!y5XTmVH2^=-|dw+r($}$GQ)ex2IxKcw?&z>w|xpn+8t#DLr%&Wo6 ziqHUT;LEO^wwz=f;6!)#&$MiDpv06$FJA#Ft4kGM2d zD`^h-nx^uJcDC7@%rTO)^~uV|+Cy;#NQkKf+FLl=O>?wMiERlQCbaT+N!+WbYnuxA zxQn%|57HKfXgkI8E9$V-RyS&sOvsgj1Uqn3HI=+JmTtl@`JP6*!L(#ja-%EQ+r^eR zU@>Ym$pb+*`#G<%%Lry6z6=FTm!mZe!A#D zX31;Iw#FH}{WH-J(@hlH+`K%e4YZ?SH?nYgs4p+(-1hARC?fD67y=T`^$kNaZG5Y7 zbWnF>JPgF5#7XRA6y%0X(jU5#=r(o)fTA{0KF^RYzWOmTL3{yg;PNQ)7tJIy6#_(U z-<>Zw_uN)aGu>|zpYKS|GJmN@qfy{Zd^7q_?`a0_2=jb93CecX6$My62M$S*qb=%L z6IY`L4?oy(>tzttAe6pD;hG=uKIqKs04?m@ejNE<%xlK#1``iwXRU&!yZ1C=0E5*) z1tH$f={M^Og1-D%)m&D<9VziO7Za_2_IUfy>huypoV!?cfl0>EJ8#{P&!KDu+*+aH zM(mvaEvQ#%`IINBWmh5S72nfpRlgs%G1@ra4_cVTiUHVqAaY`2jxeZ%bF@;RZZPUT zU6PM3e1WF5svxf_d#C8X@{g~6cS29lwO zN&Q1Obe_%mtuBXJf<$Bra~BCb`^4+C&V32rbV`Q#I`L8?y2EsFP>Dq55#6P)_gO0> z%EshxBK;OCNYvZOFgIoi`}Z0OFvIbppDs-W07v%DhH;mH#Ci=AP;g5Dh-gS~LxE%} zGd-RTVOwdD@8Dm`-Y#=BWDIA}%7usi=4 z+#SYIi_<`3&zb}ifBYm0?bAkD9R!$K3iVt|E!7f|ZhL$CzH;5W(EEoj+kQ-H^_+9Z z2wCoBiY6*96eUcj3wd4w@~KqP=DK(!&vW7~QIE|jRelk@Kpt;dmTg?&ExBz0pK;Zm zAEnPkw4`3#5PKvi2#{a^N(K_LktI4T$pSAOIPNA?5VJ&k&~DCwC?%+?cBp5ab;8DN zOR6)wW0|=O?sK0+@gL(C)fquR$;BzkWrT@S6DuS1ZRDQvL>{yTD&UN}FBkYDuF(RSEpZRgI%kcFC5cPf*~=glOf2Ht zWh)-oz9ZYV?(EkDV3G!>$AAxt>dbLqcE;DWN{p=XqZ-L#JvX1mvT4Dq4dI{}az6sHmpAe9Kn|xQX)G}NAYjc_IJjm9?IWO<*{8SntMgyN&>|qtq+ck5v2IA5$z$~F#sWGaLpr&<;}O|Tz)Q0OAGPOcH{?!qjXb7#J# zvg<8oAvV+lW^E<%*!azqI@G1si~AUP_#F?tf;z%vWR0k+HfsF|ev~1`p(Q~5On6Wr z$GANR_=qiqMHA~H{57Z4b>G!8%E+OW&cGogyHuF>>$_?8$-2y=9M{^w5C+R;DT`8~ zWtwN!5Kez3p!DgN>2Egv`m!?MuMQmD#PiF0`OdcC3im4`ITu2EWOH_vB(8bq;(r&u zYP`5JRR4y0J!O-5`t&kY4mJaokie<&{jNmd2T)265e7R?Rp(3n+XV2uAI;Z!PB~6E z>3GEAoe;=^Yr|EaCZ3v;KZ_cGR_!1C%J-*~kZD&ejFtuA7Um8i=p&xjyOGb`>5ay0 zB!opDP5;23FLUza!jW|1qoKWRfj@-Qd~&%fUPdcgvp#*1c;QB#-%FI$jz^=}2hoXC z0_w(W^4FmCSoF_Kp~I0`3mA0Sp3HSkE=c4NerG`{PjUyv&D0(V6Q+<^ya~&hZ@II# z%PiX`pv3dZ#6#ITmIjc+zNM8SBOu&hxt2WLHy0;W88v}M)ugMTTH=Gg^M8C?F@;NK zl~y4Sv`XVZ7RFg`#JpH7B~5eN0T)-k1N2BVo-van{+$ytDFEgg$eZwBjJ(I!eB;FA6-OY-%#Ey#w@*}uyIR2)g2R~hL!eFDP z4^zbT4w>E{ra9!aHke(P1^_o5#)lX0BEwCu$7Q%A*eL<-@+sz`80zg@ z>BR?eunna*W>dJxBSebb6S2z8={tw~;2aa$^NQp!>M7fYkE}wNc8WOY znZ&I+kG<8`xoX(tSmfQ*0u(49i@1v1sUSTaU1}+BOmZ=%n~EP!`gHl4I-7}!=@4ha zz!B}h5IrTX%VKxyW(~~z4MMa05%!2w^lI!bk1)d)-$Z)l?~5tH$^pTGsLCHMB;-{ep!Kkbp`d)nQ|JvLh_3t+h9d$ zQbX6yE%c4PXJiblzpt^JL4u=M^o`%C7Y7eh0Tm+Tg7Mr1LY(d1k(K(}mHPVZMGl@Y zZ^cz%c_zvBA_{L}@6%72YLSGSF|4C!4%_Xbe|(kmly)m*7@#cz#zoALc&hOQHi_F> zr(Wh}xU(Bu1DRk5^Gz-!`UF8=4r6I@-jiWkg8T~htYvKnyjU;k^c}Is0>{?q7pwXw z*VdLXef*fA6Yh?3iwoOHqKVw9$vV7NUNdzonk+Rx$!zQR&l=?dp%a+**Qt_jd*K&q z+J~dec1V6bnB<#Dd8S#pKZp&y7XVzP*t4ewusW3u@sp?_ zq_iUy40LK8tj)eON>yB2R$Zm0$4X7$`SnFhjMspnb9VvBvI)VnhkMi+K@>V%ZAoU0 zwW3WnLK=~KlFi!~3s>^~67mQ?j`P70OampDZ!}YC23RoS2_-ew>anuB=-`X+N+()= zlX1SO)uwhCD1iM-IA6}&@WPZ8Ex!aOPjUP&nPXKv2(P5nR5jq&*zUx}=pNMDgn@aN zs$%`kXQpj64#DPu#8H?UBzgwx^z9^NLP~ooP>vQ0*uMM2b9+jVvd_El^et@DX~GTH zod0E_;lK0GpD^w5xC@F|9mQ|5l%6l35>E=puTG9Qngh2Qnc{kh19GI1cz00w@Tp)E z3aj*-RmDrE`$1@%$#B&2OGIjrvb{X5HXO3$uZNtYfw<^a6S#V`<5t1?!R(=Z^nqkj zR#Ody1ZIJN%ZvyXD6Eq>>lu*niJabRH>irrJplPlw5X<|kXqJ&LAWUUE^egR9@9)I zr!q}~8rjOMYG}?ntMH{Q(UC2wr&^x*W63Y^4gTie45=DFacL5#G4 zl2peTI#Jce^_NoRV;W4-xa8e$0ZWZf#R?Lz7?!QT6vmHS7n3uu`xzjLxZ=eqC<<=z zqJRKhSh2lUD!VkEBc${|u2nd=sQ$T4KZ-icXKFLnuwRuD6r)zEPG7>xHZVr8_~3~a zvQ@Vh>C|9m<BBwmk4AxoJQ4Hn1CtPkZYqt1Un)r!9l{`OJ@*Bpv_lKprMhVbU zMwI!^+W_yHj~)Ehy4+53bGRm`zhGmDO-+&+yUAgNeEP&CYvx0(`qhNajlf6Np@0<6 zhzyD?r1dH?nO0B}Z`MW+W2s+mCPCh5_{3lAEK#6K?Tx7FuHf2t5n2m13>7%prz8uy zB8u~`%WUP~yj@LyviMJTnz$Iz|LE6RRa1pmm$ZS>O>8N_|N6V(0&jhBzRzF5t)z>d zR*3@_u#bOyj`OEYC|_LcYiYy;Vi!Qc%Wxhkv(o}HlWrUrV$L+KN2c#AKF&ryS_qpL zxjtTi*>LoW%hb_4;(kVLj^Ekv$wkogNmt=AS|e7Sv=Kg-0OKysw~S+H&xJKWSMpR? zfAaEC9sOg19PrF_M|=^tXxKlfK#+ZFXiZ?cF87?7&R4UGTi0P4v~=E}GzmBw9D_P; zA;A$w_|t6hW9kM(=MA)`KzHEuXGs(bi?h+zMyE@j_LXn z+0)YfN!3nE!Cv7nVr0|B{Nw0E`X9kDpNFLL>Xc?mebq(k^a$7XmaRORLtYv_?|qHw zh*ww_TI-Bggn53o;9t%BtmptWTME}Z6N7~&pV|P}R=i}W;db*w zNL;Um>@#S;bM~&D{0V?wQ+bnyN0$snKUGPqxS#Ka{~?ZeAjR|=fGIfzR`G$e&lSYn zjWq7H5F(FvHrYLhmhEk`b8wobr1<%)JGfq85_HyvG9zb6RucubYZrhFAY|KAz1&)$ zOl0f+aE%B9S%HFnEmj#=#mf9 zfWbu!Tib@f=?xCY3V6y*L~Cbyg|+fk3{TaZ_E=?6N_9q8fFCz3z~FP~Z@q|RR=UvT zhzNWoH`NL9AEA-IAd#_%5byrt?KM^}`72w;>pb#5A#2ul{II?h3qGRT63~Y7>(9sNa3ZW@5U|3VW zM@iN#R19G(Y}M$E)!?Tq_XZceXo5BZ66W`sgft=6b)JkURXvJb_ww|qCT14j_ydqePB2;zuTfLmeZ25Q(KzG?Hr5#@|&CfQTWWB z&`MLd(YFj&$Pc?6>AZPZ>k(ZG*ilSb*z8f1afqoh}iY%HZFErtEVxv zG<{XiHexb%5iK`bQEAEi_)p{&JV^TVp8ScABrO6hsbTfFeCz{$zl=NjzA-gbo_?Cs?#=qKwj<~nhi8{F?ioys~1yR>%h`~rU4rF3a|NrMN-=LPy(7=I;Lty7YdS}S!vX3;5&nki>blbVcT zBHW<1{ik{_W-qg0NY*%4(Khx^;(uiwdC_nr>Qb9ONLX#Mc@q%|mp%}DO@lz&Fj3`Y z%M?j3Gm!g(ZArYG8OvcnIPdSHQ?Peh-40YG4oSP+<^eNau#4u{o9P5OX-M(Z>l7p3 z^qyhiwe7Q2rL<3KhVVCZPUZc7=*|M>rL509d}%xGupXk4CGeV5PGl*NCp~-d_okrZ zij^uw+c``!<;RCeatb01)05#HX2h$kJ(P;j>p{u8bO8=Y4FqUFI*aCo`g_E{AAY9t zB$gV@A(K(WSDOmBu*z;T^j&qrfoXLE8kiUK*mYDl7uKG85&K8g!pvS&s(njTs+_V& z%dJPt7uaOp4_^BJy4MdRqu-t}o>oVMnCfo-sr3C=F3mJcb1g27bkWxNLQseGM|GwO zR_y}f`>=DH@VtZ+5U!p`78P>z9NV@&cec4>2B**C7RuYqc2|*7&UU+x)l}s)91$Tp zyz1q;N!@)cN226S_8mNK@N&K6gEU=d?yW!^JnGK>SH({SzObq;*LXt4Z3lI4#Z5$? zOOxd79S)hRi2-~}ourw~O;0BiJ2kB>wiXzF)%!#(O82`JNcBDLE_nWA%4euSHKnEV z=1_4%+`|sJBclG25Xl-DD?7}y-bo8zvCi>~?9J_im0BETL*mn)w#K=|W0!aA>(&(q zK9}~;jt#@fA|hb1oag9KE$+Ceq7If}XqDJF%ov37$7h#@mG$CFIO$$#W(fNMEdKhQ zKYvDdsyAQ&$n`t60d|pDEce^I_6t(#=*&2Z)RuC}lNIMG^UB6qHlmfW_o4`*VcDxq zyLd5jOKO1lmu17VlDHAjaG()hj}-?4#C1i1WI>fyyzz$O4!hz#RTyc+BY-h_3T}y;K32SuOblw=dkE&A&HNvAwPF z=ZrC8{eg~`e_pk5p{#h9+AiHY>C#HSiDVvtX4VWYY{)$N4(@BT=+-MJ4e7cgdZkqZ z<#g*80v*O?u7`E@HCqrq0}%Ys@74DQlkm9O5Cz=e!~z!s(llfLH3ZZ!F10@uiJL9j z2M>L`?=Dq4+qkX)o()n!!J^u)PAOpQ=EhA~8rlWKrsi*U|sCT#X@u!Yt2#?)|Ux_I%1a(HDRHOgB zf5u@w=vU9Fk>Le~Yo>fNQ(Y#Ye=v;K@>?>DRD$cKBnyNyEQqWl@RX*Jhp6FMAL>3E zO!pQSm=UJpGV!bjJm;G8HHy)|*ca8=-kuT$*?hR6n))iYI;>kb3y|paPBL8ak?=rN z_Sp#2`qsw`*6^+3A_ePV(~4R^ta>2m0BsNMoI`~e9h3%q2V9CQ!xcQL$SmdZlZ{M# z@l^FMq)uo5eP~&05~vnw$SRz>k9=UIsx#soaIY|jQ@RU)npPRQe^BA;rApPplTyy2 zazgJEg{Q<&ZsEXwA+O*agz)&abJ2GxgU+ht$R_vHx*|f#;5DmJMlZRLTOHE)3uq3A ze_(&QdDE_TbaL@49NbAnF=hA6BLO`6CW)zY#z?ftEE+WWpO7Q9iiH^!W^4OkTe|FO zbJ64J0Y~rzxelWg4$OGk&sETSpVWXI4w)Hon$6=&=?tO?tL47tEa+w|*Gl~PpB0I2 z3hCi~{pCH|=&98}1fbArqqjB|Fo54K=uIJ)_<)+vQ%FJWXYjZBn|uth-|22wu>WWh z=_Av1gPHa&XMz^+SkL4TBCCti{-ij+>suz_qDt^XGey zdlKPj(WTZnxXnUsz0D&=R!v&)7gLaUTbVyJ_( zUmWB?07I+71h@-xCHHWwG)wCQ|6!rX%X&iDaNWZmKlbYXSWjkDyBz!H8`oprgSmk#+JO_8w_v}Q=_W_sm~ z@m7d#d(=4T{$fDlHS)?-!#l6dLjGeFN1$wMBj;;tjS0#Rv=dwdO2Mrhp@QipK|Do}@)Y*2&y}QNwh|%>T@OmPsFEeRj>kZ=J>?&Jl z_6yv>Y?xD5bF}Yl)%(+uKv{Yhu}wbFM7<<}D5+cvj2Nx9@>SOf?HXQnv^6`S%-CKz zYj=%#=IE`uu?mArx1^+@FLi}wJp`S%=5;Tb;C;51bKsvp0|lj`PH(M4$XMg^DU45V z&UZ)A_`E$d!1Vk{$FNAj&C@WO~~sgfATslu9QT| zA@m}GfS2mmW53_r%%w5tz8HL+8BiLfYH7G8mJgpO1D)eGXpD`wZvO%rWKzH|H{F?H)%o2v-- z-0BRnqI$Q7k!A;}%5!gV8;|3K*59EKcp^XSrhy(7iBMcCRb0v&OWyBGbUKwvw6)$h zwDE1Z_V$!egEHo={aw??wIE~|VQd-N^MpNa03^7nKXeF~Dnn~rOOAuJ*OZJj#3lRW zk*xAVW!;i-gJZ2x_MLLyCOOqw^~@=X)ZXUj;>VKOqAdB1DlYbklI`CcK^;U;=nnL0 zCQxN|>h~av@QM^Se+rvy`BE?0mGSlWj=H$$L1ZZ-aO9Vh-YM|o6qCuLKc~zGDnu~MM;Z3SJ zZJE;8!*p!(#Majuf#JxoI8sOa-VXm33xvdK0I9inozw48oRBhN{z=lctO#nd=HW*z z6DzSNikF`4QEpep13m^o8~&6Xz<}SCba32iDvI!U-DqbD(fx*RrJ`hzsD*wTj6L@+ z0UNIdpywf`xwk|?p%5a4oJ7BCTrKPte@h`;$MF&X3V$S`?UspVKgjKZY0Ij zr0@i}t=p@Hv!zO&pHl6&0OJN%n8=gER#mO2`x-%(3il)Q^%Sd#Hn^dOKl#hIKe^(B zfIOl?2~MYx>g<%8m9!}?4xdE2Tc9W{EuB9F85inh9;wU(%A2?!%ED%j`$9wlOK{z| z6pQ8rq>Es*JC&Fe)R06-fMYag-X$vV@pJkkwU189aBv2bZF#~YVZ_|sR7-wL* z!)DydNv@8R@|iJ1Q zvcB+AVJ`QP%p%pSMIp{=2%asd0iv9#f1|fDyhlrwg^P}*y9t~uka$usU}H{vn~1Cc z$>1)K;XN4{PmVuJEBRPI{I{9!M!nW3SxVOHAj>U?Mm!S4(5U8iHTP2l zuP~7qdFU<1$7#x(^!YJ1g}f!-lrh0W6<4ntBhlDetf;jjHQnL~5kbffm6Q$>!Y=$0 z2c|WI-vI)a4Ak7p>smkln2%G^EuHwrN3KiG1lj5!Sm9Gpp!uZY&85JmV{*)sezG8; z*(lKFafMN)PM$pi0!oNI{8gY~2`i92H((RWZL`11u>1HeEDR|I&nmclKAYvq=|(6w z;Ze*RH%&SHz<4zOk8-qRJ{A4mL@6?WLNxsOF-HDDbO=r)@h2E;7(U?1MgCFDi?eK~ zB_ZYVM`Wn9CQxMYL0l#t+gyWs15_fJ?+`PEfiH|>3qT*D1E!)iMCTaF1`V(Kl^A_k z)X!^1X`&XZK`TKU681Y=4mNQPQbSq)F`}C}Vo`SozV%_9l=S_WAR+uEpUr@qF@g5< z(~9S22sh~H;4#>Qe*6(`Q_JNb_?Q-@oye4uEA3%e_tvTBmmxq zV$f?6GjxpqFF3K3#9My1lG>w73|8Z67Uoj}!Ca`V(H+* z*awDv`%{S4W$E=7kRz2j2=vz}xf}Qi?x$JY6gu>} zKsbq@`hFYxS$L7(cbbsg;ESsi*UfG&CR}-c3O@qd)d9Sqsr-G1;&3|E-|jc9#jKRf z)Lth`^&W6J)R6+hDcZBe92r-AhAc)Ozpdl8&BqL5C@5P~ugWJn{=;x)k5K7@seuAM z!vyv-GU7=*e)>c&QOZGO3DsN}%?dozmDC^5zFyRMeRA*C7OS2f`!ZPA{6NtC_15LC zkRo|g!TDXOP7&XlPi7P*&;$ct_96IbrLs4Oxh`!z@=u!F^u>wxpskI>G4%WV)c5IT z{RheuD0%b)(%Ij>ISG6sj3@B!)S5(GDRDq1;MhR?I1XXt+#ecF^`S%e9o$@VKy6Cf zB}eh z$=lP`K|HvvrA%#56&-mfuozWfEds0=6ld=6?-2MI7b=b6m>fF=NcXA3%6PdMTZU^X zV~swK!wjFzG42wx3B0OdV*slp#fLvr|6KC4#hVPBo)naW$twJ;He@VktezJF1wy2} z4Kfv>B*vsn)wIA?ZnZ8DXA-%Y3r0Y9I;OXD07L5in3WQ6h`zVm4g=)y17Sv z1_dRpxZVv<=&#|P9}a-nyelC>BL84|4waFbild{B!;?BjKh;5ccS&>IFyszr-t6FG zyE>JeYDQVGRFachh0RUrh5!oX_&^c_2O6ceQEf;ib&1>fB^dzugql@Wrk3KYMOkcy zY&|p&xLUel>YS1>ja2$we;?$)(6A#R%gf(;4&B{H!M;lzb$Rot()4j!HFC9DyN zQvXMzbCM&u*m+cW%#mtP%i5|h8d9VY!CwIL zgru2y(mr z7@@-iC5MK;w!{(QSmJMA_t?BIC)EM?41>m6{rv67*tJf>IQavMRLCR_Fq80Wjn>lq za<&XLlGe|OmIi6Dnp6Ccj?r7mj}NOVT`ICfshAbOSfZ@anu(fWKZ;0q{cB|aiJtX$ zDdm)dPRH&{Y*urVedr&TA5NWFe~oT?T12^Y2WhDP+P|-Wv!2ZLr&w5BD;)OT*8si3%xOX#|teH;E(4m~)8E7qNGpo7HE)UaNmVR4A3Z~A! zHU}}ARhzRjFJmEv`I=Try(=C364)FG1&GRh+nsj{;l7l{p+5z=9~)*`6ffI6JKBww zJ`UMBSUe2KqTDVsw$ZAfj(|keJUxJUu@Lm70nLN7jc z22Eeoe?IL$(b!lVlDI11;b#n=u7uhxke=vZBTd?q;t+oOrN(m8J_q*&6S4qPz4WRh z&A3cHu1DV~-hZ8=eWkP;Ha2ZJ&@%(6LsN`&rmc=ql4FoZ=botpH_}lVEN}0SS&8@x zbjEx|JP=W&7!%z4eMs*Lb7yQgWfx>qrxV9}Qm9FT$78eky1}llX-U&z9T62^S%luR zqpu$?yDaDEGt)Y`ZygLhQ)|GrT=6x`@Rx;W?(!PD{!)jW&REQs+rUro>8W3ueE8{^ z5})wd*Hi84g6wR2s_fRlLh@lW=xTFepo_zaLf;^F9?SP|{AIxLeJ-A~S3xG}Pr z@^@a(_0zGd8zP&(btB$~uP&YrZMHh|{5INMw2{LMT_jKAN1l#TXl>mG?WexcDv66r zde&^p!Lct>5-A(UXtleuGsF^TZTj&PsMFR)1UnYdkeBTcE~m0bNxX&c@t?h9z^2^w z4FKuH`Zx#&Qx5p26jAsW);Djf$bL8@kWwDJP<3vzxmSzA5|!*|RbFx$A`L(#F->mZ zHat4=k3sn7T~5F$|7tyTVsO9dxfKEFernwrx59@Y^wi(zl%>F}Sa@=s&z7qDbS>z_ zFy{|6sgIa(q~9TEWws_R@}P+m;1r=?DK%P1x!y3c`8tR*U#28ZGW0gQ=IPG%{+ZZ@ z`X^mBW%#%UAK~p5@~eQuVtk;D(!Y`h5}MY$@!MIO1upa(ZFft&9l{i1zT+MLzo#6U`pZ9&`zB~%<5R!g z$V?>;KfJ4NF~ty;urPrV7ET+YKo~9&G;y=_<_m=j+ejj!a~PotS;7wf130?(0bjO{ znAN|qBTbEyf^QW03E zY}R)DV!j>}T1esdX^!-c0Tnri#$cH`9M0zU@M>D*9XsCOpj6~HrFPq6-l~?~`><{x z3ue*+(v8EBVTy~h2%p)cokkkFYThFEqnDtaaXOD8|61q7UF&Atqa$HC_%u{1{Q1_`}Q9zB0Em?tEzGK$LM&+=lqTFz-VJ8nQg=)w6 z)jQV=_iTBv@bAJ*m&Ua)+>FG6z<_#(i~OTkw-%e(*~+Ug*0mV!&8S7d;{6?GmuNNR zL}{jibk&-bq()I~MjHv06>BW+SA-L(Tm;JJAl`cuF06JNU||ExLjR71Z{lheDjtEJ ztZ4&<=^>4*+?Om*OVoGrX_<&DW#?$!0#(~nDwqbQ=7N7>}Il@w?Hx_8*4BH}d< z{QY2r*kSs!*8A+!jmB&a-Lr&8>FTW~24!D+&Y^(mj%htJ#r7?-z zFe{psz}Y%-0n2kUY6wq5NNV~5U=(UpxO-tXMqgE&;a%;M8B+|sP;B@^Ct|F04bt-A zJFs93+5=nHUqSoP9fK<2+?hKlD-OQ826O*J|L3VR+s#Py34Ffh`7$N7E6HQUm{Pn+ zvK0zb2}sO$8x6@)?|RIuEjW+zbg^sn!|m8raSn000#|=Q+fjT&s`g{G$vOPCY4tKd zkM$7p7g^Vq%;P;UHkUA6pj@W=(SEffQpf+-xi~soRq=MoU)`Lgz$r_-{5@xc@(^s# z@N?^Wwo^`CbSB2eaD(e>4)RDW0BBK-y6pfHezd?ra{OlKEKvi&w|0cNQvEf{3iF&B zxrxUc2?)Efg8k-yZ7G{dQR2Tct<{)ZQAzK{<3J+$BJkqEoixO;Mo@b1jHK_-gt3{OkEhCxwYFe;cccOzpV%_~yy? z9{I9|{95FUNnz~GS&WT>xTCB%ztwLHh{|=ly*rasBjCoCPsH?|6Vs-frJt)m4Lv$# z-he;pc{@eQh@TfAJ({@{IojHcMHUT3#($|Duzb)oB@qAc+T)Vxj3c}H6|)MY#4w+a@|d#$j@WBuhS5l2O(M{ zg}U~yy*}JeI6ont*x-#q4ISV`)jM|CGQ? zG^zhbJ~=FX9qIGutyazzyXTVL;OA@7z28ss#K3I_@Yf;ReSW+rUTmim292=F~ywhc@CQ&B)ww!SE90B$ShedVP!duA=Ji)z|nOT-?o4_vOs`C6i-~07j`wmK3YzP)`99qugS4{7*Q_+8^1s zsMa6m)!1J|>e4j<-KMMcQNL1*2xyeZd& zRnhX3wHdFX4w5$oW3GYBgT3+y3+_O9(oeZm1hFAs*O+*u{SOr_Zv0Ea?FEyVJP;Mn zC+nULCM%psch3WhoJtz}FS~_b<-nIq#-{={5))G?Gkt`i%i!dm9cesL#utA#p-Iv@ z>i4tA%1kBrNu6!51#-H#@6HH;6i0UC4O4g;SCkGz<<>YVXUr-x8JguK}g6n6mkxbtzi&1E{ zj54#AR_v|n+2acd`kftg3Lm0@wt;&lA2r4@`qL4aQ=U9nKZvyu)9o)4-;CF;QmZ!m zIglaA!-&?(1d#mB^kNfNMsivr(-qu_L8oeza!Gc$ztA{ z6siwS@SNaI`F(84L{Oe@g9~*4Zz8)H3jK(^u zm;IXV){}QXHj%s)qt5f5*aaWdhdb9Id%A~DRGS36tJW@=*4YAnhZf@U=F+LY{7yJ! z-?Q8PQ+pYhk4XVtm@3L@ehiyHrWAAXA>CHT z|C1V9$<-nBWcuq@s!zrv*OgR}$MiW$N`0H(A8m_kVL9ttTBYSA?A$eZ9S1PjI$%eB znUvntBD2VK!|gR7I!iip)0VG-8pbO}gaOS50uQHF8~OZne&`|l+(LAuM9T-bhy%%sbh@uSs?(XHP41ls3! zZ6F1~Pev#e z!&9c}X)vdskH1=il+y^CKlU(*5j8M3G=rL{Oecy-VKrxCPAcE_1g?}lRx2cF3TpLp zuB*yhLK-@NblB1xl4Z=(bctS8ykF5Am9#OhlL%5Xgb*5kZcXjl;D080?AO8<5|_Mc zpus1Dmn%A&+6a(7D?x#8-?VE<-4%9DQJU4|AF1 z75WXPMC~t!28?sh-$^p;*6NKn@+F9w9O1E_5|!T@ev6(j^BoFD3pG9`NLaX z_vcpuy+ST0atdshA?e_>yRG%S6)bp$BW6kX@Mrx`JQox&62qFqd+OAziTbc%+w=&^ zYoS^&PBi3DrDqo9YiUKmGu2Z2i&%R?-b|u(mo`My^<-LDmF-s9oarr1;MSj#qQj;_ zr)iC3-vM<&c$PGIcw7}6h~ah($JZQ_921H_$Y z0<9=J19Fh#?VVT^Tq7PFUhLhsmK^6iL7$2CxhY();D5Q&8vf~olJ&zwPrb(t4>lRN zQBm|aR6C6ty5l>u6Gw9s<~E7zH${ad<<86=jP9RXUxykamP=pHaQ+otaW1XRvfSyw z$Ihj8VM0zvjVI4!yJlbIwXV8<`Jkrg+D!3zH8%Ni6vT@Q^^@jx1awl}PC?a;BNC5r z2@m>U@YcN5^3d|*-ibZrC3&Xg>+mrHaufrvMqZDH*fo?f+%h#P1LrL8CXU4NPjyzF z>-R5$AtAZsgY`=V5j65~10OuKs1f6$cZx+DReRiYof-30Qj=(FPl;?LWDDlF6jTnW zwH5Z>@(i-|)@`7rW;jE0S3V8gzw<|1o_-b`5^2?PYjXJX52YyS0f>I3bQ(E*WFhhykr~#-{{q9ylXP?AeX{wU`Nn7A+{>V^g8oTE=bG;E z%)WCboGjsJavx*Qcj1)Zx@R&A^c+~gF5*GFDN8_Jsm>weIdO4`YV5w-s7*$7<45G6#bH?= zS4}riMr~oa+5Q#3q0CuC(!HAxSmT86c=x^4@=3Rmb?wQZNn3@h!OGkRR(gyQojOf^ zfeZd@;*r4hKYC6k4Y$QDILag+CgS;Md5paAEtsBGn-z~`=cqSoKm^FW*Hll08h zF~uh6WC@qZPO$9KqnmFg;9ZhSS(H9~URKTwoFbC??ubJm%K9QNUi9p>9IrWv&l>v+LbDGMr(FC#T54+ZJ!@SF_KuSRMZF4q1Flev#1GZ8d zD%6xTRJk=~Rk9527|g#DY3ea9Wv?+RO6pWG>JH?=)oo>fy|iM1<#m|zcQJVm9oQHQ zCfBneeuZlm5_wKk#ppUgG&q`TKZ*RiDiPT|WbbbBjm4X(sxea>dZv>RHzl(97Ol{v!`a_O}3Z#hkMr-a^oQIEr zbb_MagA`Y+jSgbzJlG&!IL|G)3w0V*ce@#Kw?ys@HhsB(gvH;)OLkJBvoGuxpTo&^ zh^z?nsh7fpt1qc_3O z+sVuq7(d(t{gWd$>uRfORA>eUJ76D2P)_5LI53BtpU^O(1wM@+kkM|hux4*G5>lxG zZnV;o*J)7x4iJghibp*+56>fN4>~!fgW>psNXqF-**Jg?WzQNbDFU0?E$hge{IQp! zyNOzH^_{)AFk^d7$6s->2WL*&IWG*APHX>_Cmz87XYiBo^DkmEMvQ#P1!*~B8}w7L zn}!Hn7F^TqDtwf~EbNJP8aTA?#@E|eV-^>s>{tn!x3T$)3b3H~8EbhYAwU*Pl9vXD z3Se`mprKyeY83+R*jBO@4ui0>lr8DOvVqvN&Ufe{O{im zF#`{QU&{#D@s_m_0!R8ek^Ziy&2e4*<8xj<*d-rczZ3KIF!?3P|itj-kg#742~4eDmu5wI!CrmM1+Pk;qTGi3_-b z?WBydx``3%RR8FDp3VM25%rnWAPCPx0`~6&hWw@d3IULk&L~--EcP4HimynDy&ljE zYoezY`I~~XV^w2VF#(F4cF89Mh+8*&fSDM$>CfoPdj-HZ1Lu~0$$ zNn&G}7J8<7!-HDXSXZjUv-RR|t-mQzmsyc>e(Sz%{Z;rAt`M9{?V|A7SI|fs^cfNf zw7`F56=PPjDQT}*PO&+toel`y@Uyv(`Q0S7cj0iRMiPG2g#OF5r;ViI`MVNPFm#A7 z##R7g!pYtidYW9$vc>ON5JYXAZtmpaydu*xD=={IhfG|5kB-6YfI?aetn$=^jJ6jz z08+cIpWoI3@|QG0qw{w((s09vc=~N+;5RC-16sk=#8m&~X^x7ew;9cHZ^VjOTmcXc zLoeNxs96isH65#zvhrkr5J-HdJX!DwlG(Mo2?s{X#Hc!IAZER+ab+TBJ?3Nbs5mv+ zh>s8A>ATveZ+dv)s0}m#{HBO9 zEVo%?bV=jOMRm#ZYB8p@mpax9`gR+tHjy;5eu1p4)1x7>g_e;vcO+Q~<4-?0(AL&e zjue(gsIu#j(cR#ff1usd9BojFNqMfbgPQBjT{fH=w}U6C@pE84VR?F7uqV#7(Tb$% zMc1^1?J*Q3jnRO)aUPPCww+!9SVsli#_G?#P{}wWQX_pXV_aOENf8eg#FVjO zniAV;V2Th%lG(mc;XCOV$%^Ub_vlQ8sl9OH&Xhd`)lGVtsX)(;OAPb|p()Al_n@AP*YyM^x;DWFA`rp~xi~?(;&p z1Qw_iC&z>OvfLhTaA5j3(ZM423tf>`$2vpZYgoa$S+#Cc-d%ei5c=IlpzY>GQpH;H z3ks3h3YE$Pm~?6S%Wv951JYOn6-gcowLkc$siCT^gPccJiGFECKYO~uch zgmRI|uD;u(;vBDV&QhRPROB%3tmxok6fXm_X2KCf0a`PD4F>V5^m#kmK}BCUPwQ^% zdC)+b7#wsBQa%s?N0XGF1$&nI+JTHc)chEoPq0@DvKEXtwN&3RX-PV z=wpP^mNF|=K~x}Clu)?@9n;GOo+Np4I}({_+>mNw!tbFd);0>Zn-7xk7qbiMN#hN& zbno5Z@-KM>V0dihuaRIkl6!@aP*1CSxq-pBQ{14aB%-6gom4 z3gs9iaw405KeE;ntvsm7tZaUfaJg(=L)Ge!tFT8`s zXP@&bwT35G)#O9A=RqE;bOuJms@0>sH?W8?ha11vRgvU1NwC$w^0A0agMVPO>_KBI zNgdfxq>IU?R_^N;Abml_a4|Z#fsT_nV9VMBo^wPVc4X7aA#A}`9K%BGGlOrP2WeDT z->+IV2Q1OqR*%sv64V7O-8-J#coq=+(`RFUS9w%R@M2O>5L^nRx6e<{&nXf^kyrLP zUUMoPe3nDfP>rWbGvW#P$@k7`1q#n5$H@42XVDjZZXPTzA-GA~w_F6|Xcln#C25HQ zkB+~NIoJrdkEv0l=>)8qZ9B+bqc;^fkukUqCeb1ETdw!dz1ZK<=b1b*Ko9)EuC`6qGQfvNG z2<&)3Gq@K@;euNaJJHFO-fFI*5fQ!Aqj$$;Fq@mIMjH*c<%VeB6K(90w-xG)U0brO z(Vs8P`<<~b)f4ZNk28UwYcS-39%dn+vFIIZ4Z~^Ig@@jCaFo4d?ugR`(fK4%V+OB5 z3BB(!3p0v1vaAbjuPlF}vRz{Zi3Wyf3V{l zsSGid^4s&LWvdjeRKOHK$NPf_cL03V4QI_O8;j)P(^7QJPGpti5EL2+B>oxHo?*7y zBJWZa#EthecGN-vA`(~eGXQ5vJ3yN_le&c~O9VQiTSu}D!mLPZs1{Za1lGz> zZWRjQoAmHH-Jm6$W+7)sAbj>)S{Oae#m*sNBY6smw_va{tHQhRzN#wKeHMM#eFxO2 zJeJX#jCQjteedUA@`HRXGlB+$ALW>SGtKwd;mkWXuhoE9z4q7+4XBGiHQg*QlKP%z z_*RnS#Cs3d+8$+68hAN>T=?zt*AzZcb5-9cnx!T}@*U?+Grw~JFgbW4t=g|R9&XM5 z4u7HD>*1aLdmwbD{734R?S&7OaAP-@{HTo!JNkC2>918eD*P}=(okZNAI~|~fLCwr zE;hL=z`jZ9ve$FFim9@S9BmP#!_QZ~dyJ&0t2aoz%QucdbBg2lgM;SW?#-k?4k^bS zdy1$2Ae@IMO3aH&Ad;`^tJ+NN;Oe{a%FWP)YeTkvY@KLq=qL|Z2d`H(vArwL0oQQu zU?h#z;}R5(OsFrWcfaoy(PNZpln<2sQxRroWuf^J1Qo|~3M0&(WtMg5uIEGc-t1YgiEeY`M6+$n+!#X~s3 zcHp=5ix~6d`?9cmu0PlA7@s;x;cEan1=sf_q~?=Q4G-ObUg03URcXRK`iYby8O_6* z{noFVDf>-#z#lUoieKc88|39Mb-p5>%r{(LRQV8MS#94%JsxTaUE>Xkyr`H1Uz56f z-TmRUZgm|zn^Y>UsiC5R2aOk#9ecfzU1eP2xuIeAW<>7bq?JwC(Z&-G*X40n;(87~ zHM8Gmms%V0rFuT;uQBjR+wc-TGUamRo6AT_9C}xvfsi!Xn030b^k3+7!y5}6DZ^Ck zyLde7UYcZq^sy0m$rMcbq)*>irZxx1bRem%9tAFUa#=Q}Yqf~oTU$cHQo~%h<=$Fh z%OD&`qJj#f&9}?Qnyx!)NZY10>W@Sd6ExiMjG|>&jj6lk+Ur8aMg40_N18HFT}LV* z?@9CDfPuLM3Jo1U!fjBudmkK3Z2&>BxkJH%*%YXIho4`tnQFP_b;ZS^;CWdL42Zzx zGnOlBc4wDnx}-&6S&?9F;(gWcS9N1zOv8LMK<6MzdZ6h6_=uJZT z#XA;5-w<)L!*Zy^m>9$J2d`fo?+b3~S;O~3z*ZN-0Bx++Z8qab0^4V4a?$a2GlKAC&B)pwrmVR2~3PKM!QX<1xrcsPg^4NRO|cE7cuj z>kVU)AFQ;_m_d|h#h3^8%BGOjWsz{Q$w)pm`Fq%Nru8$K1aB&$uOE6W!mGW%0YnDq zEm0d=xFCWP(Do|Ua>VZA{eS2of?K(6i2i}9<(vjLVN*hD*pY7!xq=qC2JUCNKiWcZ zKLgM4H`)S>$?ovqQF+|7@9#sU1NAjp5WBHC`RG0VUn+$EA9)i8%%lVZGWj2Q^M6bN z@Ln~{E7$*p-$ZIUfRSeYAHI_eY=s4zg!7Lb`X8JVj71L{pY%V5Cl0u^6SgfHk`3&p z01$!#xhep#K+~##2C$bhKnx1hpad8K2dVvMcBleyz^fX7TPV<=24E1JsPo_6N$r0J zkQf5$!5R7hdnnL?-aps0;eRHgAwU;2_5)xChB5tbTgc>}i`N`r2L<}|1Aq;R`3YzN zJ6Qn`pg~2JfN`+2?SH1%&wl|c-2f~gZf8I^n9vch3I$Se0E~jWoc}ZLodBXBKTkje z*xVhk0tHHQ`*&Fyo`860kgz8J2bARxU`kE|5P*e!0dmlweV_jg#|3Zs0~Db_;r;;8 z|JNbtM4wK>yBx1Re$fgrPxZAb<(jDjgsW4T4JtV1v7|0KU+m@+<%rSS1gD3Ju8) zGAabnA@d@#Dwx|_x>%8MvnP;UG62uN>pBq0{_$O`E*UaFt|)8g^dE!}DtNF1Q^nfy zyoszfjFX&LMV$Pas@@FyCre$y@P}skqDP2{47R@RCXAmVKVm+&G;Nf@Xt_u&DWY~Z zNv?~92v>`WrMT-XJ#YNNVX+>L9_XSyV`lb6sCwO>Q9Vfb~!kS^-LmG%8868)W zYfUXJj+|V;6;6DkM29xfMa#5{pM;pGdjBqN?3} zttKcc-#@u#K5Ga)t(JWrUbEo56r)^18*ZV9VL(JMX4qasZJr{JsN5>cdHzPC!PQ@H zWEQibMlFKp?yLB6$l&j^Tmj&@X}DJ5pJIZB>ezq)=*X{u(`3jL6FEKoIWnBYHO0Vvf$+)ME~jql z8RTjry39Tjb)1!K|PRB*tKef1jqUl^~IO+In zDG7<-=pe|phtTC+ON4HB5J`Tg;#M8Q-xyIJ<7yDPj-8L8qZlv6$yJGxoI8S6yqTwB zNt1q&)TyCi7=#lD?@k7~gjp48X*4A4YVF{flv$fe;!iU)M3oT}_#eC5}Jh%bmhtP<$ZeH{QX^1xIN2oO348zl|A@l7XQQZYj&)q z_K(A6ffw%2XBVNg*pauE-5jCL&NOY|ca6V86)yckQT*I-_MIvP{Nq#Juxl_RE6u)w zZ67XtS=wE*_OUVLFSc)XhUOW`Ib|p5k*qxR|EI9442lEhw#Am>P~6?UxVsc7R*Jhj zyI7$ti%Zes?(Qzdp}0H6WpQ_h$NT2Z`}2OhpSih{Op?jmB)D|N^OY%w2(~5amK51zEJmol;#ivh>Cld=aEBAtOc8krfTgtNVdQU}mUWx0hU*xO+{OsTfe`{lX<7o77MVl|pb7z< zgSaWpLy1&xmMkgLD~;6RZdQ2!zgkaM%y$Y6LGvaX&-LJcU&h~JNSn8OCjOXuuZ{U( z_(FTF%f&%(qnf&$Q1^fA4r>#TJx(Zi^oCT?0ts;_6Dyw5R-M))? zI3*X_+9V0N4q>}|U^DcRf9uOm{7^bg*>vL47tXUwh3V)APsHtPQgq(@WuR{<<%?Se z+r(>~aX@`blX=ogoD5?u_R(-7rJZXAXUfn%{adSXR4C&FYySwrFYenFNeOiUeCCF&!`)Ler-!&IC%IU%Gaj1sot3O!}FRv z?P<7uxNVJF*J4L*oTaKR+5QG^)@Hq)9#ui+czw3)@Z-U&HB|@qTN8vnsbr$!=6O=2 z_!v+1*YGw43nN5E748v8Wu$eeFQc+G-na>uc|=G$gUJCbGQJf0m|zs6uWJJLKvcet zn3?&K`qmRCQc$Hrl$3d{T`eh!T?F#A%>bQrCUzL>of=br8DW?lnt{uxA`yCszEFrV z0{$=Ya_p)+{eZ4H`Q#ht`sy;e8gCT&6!?(o=S_wfervPgWPv1z_Um_QXw1p)JbG{9 z8ZE>ZAc=0gq-huNvTX4eOqRaXE-Xolv#LdcH}Y4pm5=|*jgyfqXJVM+(os&oN=eYR zX^R)LWcVyj{!PK#t_w3OsAcV-s?zBaE^M=VDtjrh&-ImB*E}8XA360S4aHAKv%*_* zaqo5f*M-(BJPkhq`D#db%?$4amr0>-s&pHpO?mdtLkZ|_3y*+T+R+#1+o-5t^>uP6 zW;UM6)9CDkDv_BbU4q=ZR1VZq;S@`VeL)K-S{5|d@YI`eT}Z=A0vE=so0on?*%Btp zwIer!MGhO#E(G`dwXUh(dilSR!h)P)Qn^>07C8rs@tK_=ix!oigY{?mUCYGopNl_3 z+g6@GXjc+q0rETTg;YPq_SPW61fYK_=j2C6Kz|msCaIAW4a4M##XprAXs zhVAEIAY6q8gx`vnq_C~0Wn>$*5F3`H$|gQgXFs5iQFb%lVnY#j9s}u1wWLB2OS%pqI`=KEda z6YKjGW5f=MNmxlz+ENRV6992u|NND%pXtp z7PY+DZMEDUfk0TCj2@O@ar7{lkh(=8ywnS>_!Dtw(M^WLL^Td^A=Nla2jV$DkD-_maN{z)jVQ=b>swjJ zNN+?1{{pvgvLffZjqe#l^dguSlE_3yWWHg6PY0HAGP+w?^+vD&J5qk0Cp#i)splfc zjee}W&si6@B&rCOU$GMOM;lndcx>a;RB3^r%I@OEWIGOxUWhc??j_4iB|X>G(jTlU z$Xw-E9_q5%HaDhH+nR3A6i`Ep|_lz4(d!wzK8{kKqRW3P}o@LK;EA*YZpSSp2P@X+^?W7xw z6NO6b7@&lVfR=GS3#0DF@cfVBL7>V)O}++?TdGE9N`UyIvr>#Fn_jLDspL3|HumA} z;1+H!n;6GVnk+gw9#W2!G`nrY(0LE6#h>50$V(QT^*iTGcEgXb7D}EAgK7YWmM1G? zLk(6B#+*2!xa+QvE5A{xF2I0e0!HC81-+~xHRtIMjwGaN02$;+OFEccFYojG7UkrC z?*Jp%E58$(N`h*Bpsy^uOgSBjV}WqMUU2lO?ALW@{pE^jTSN`|tX@53=Vhg{@{*^w zXiV*cAY)?AFBS|~_~Fe3f+RhQs(R{l-O4#d2d#9{{&)|x(!CZhr|{3ih8$H$46X5# zjDw6~rzZ56&@T{T+nFg_l50%mSpRHK?xxXw2rhS{fJIGJ2SNbjx%ONQmiU zFuBu@{a80oy#grCFBCtrxszCo>BQGqvljkb{)oT&M{@n6nh$;Lqe!Q5x_p%~g2^=m zjCZUG?ei>fGnbj?a!bBHj6+f{qGAHf2RU*V)g;~1Do+&D@C1tGeuziMgH_LNE&~U0 zQGKr`<>?M#QImSJNfx<@<50tj3*omZiR-b4Cm3_)eWBmvRvM}uEnGAxl5~~&JM!fo z5za0vS(2P;03?uecR2eWo?6Yp?sgM6E71KRnCL9hV*M@k^txTd4cI&o3WJM9ef@}! z%}9VNA$1u_JZDDh(l%i~=smJ?q4_?T_`t9ZSGVlFjiSI0inxU!{P!SrKw5Z~z_PD; z(ppgmp*V=12UwIlEqy--XOKtp6hggpfk{ZQiQ@l$LW*(x+b@lsC0GfjE%*uWG4%Qq ztGTc@Yt4Z}`=8iu8LaTz*eHd()_*l`Sjx5JBTjB7>)giI6C>RVR&*)!C+tpMHV2Nh zX5cCq;>V!zxR4HySrE4RpHf22sH5Ug2g+InRN zJDB<3cgvlhzVRd>U^%<1IuK7YVnu2#GmB3Fo&Ic{;4jwrsCaUpjrte7d9N$qrk|i8 zG+G-nO1t6XHlLYn^N>Jw_YL515A#zWZs%w0_y4G9)9iK$9u_h_5-$I?wA>{3e0Jd; zNr#tH=#ly?QgkAcIO&{Kxw~1Hb_{YPmwXxEAc_StAUzTz;yChch95@JMRVw_oP1dR zQqnLV+xn9!Fr=#`9p!@HQjRI|;OQ33C)RHHCw{Bt$=j-B#5P`!cFF>x!^R3mqi<6>%P)i>X zNF4r!VHDfJcwUprI$8VcaxcD|lcp43VP5$1@Ng(1MrEgF=h{r;pQ1RYdt9|~*z1sh z$Jdjhi@Ega#em1n{oRWnpbIy{DFmk;zSD=`%FI!@nW3U5E&LhIb>WO?_BRPr!Q%B@ zLRa1*gpMf7=dbIKIljDq_qKwspWpafATi;D7Pb#f|( zSsX#^ndNzt*140wmQ_&yDhtx}P$JHwH8K(II*UzPk-ehDq+Ll{>7D`Tnhh$<55BlO z5DO$}49ZG3jkdbUf3*@JHSl>BE-l(#UiM>!+=TgW;}tBQNvbyt7;K5@7_ zgirwzB3<>V*tEjc#;txZ}Q7owk<HOGnzAR$Lhnto+s#=XCRIv~bfoP@~fT1H}q&dfH4 zWkf7+KR9(|1Z}go`GC3FTX8$U8Ic2a%}sG<-Y?fLLsucABAxxxx(1uJ2^KKO%DsgS(QVkA0K<-vmQBf0FpKglI z<}F!E{)FVqTu_&7Bwk}fxNfi9(@)AbyY_c2-CvZipSP_6QUvTurYy4>1GEl3yBrT- zZc-yK5jE;?{m2mR!PCyFt7uEgtC~?HyX@7_O#-}VSa`(N58hWL@3wR$xjHsPkIOWS zEMXz9M|2YXB5`w+u+GYSs?JX_KJai0Wt01f3~4K`S0L^;WOQVRkfUYX2ry){IPS9HDtuiU(41bW__6Mg?uguFlg=cB4V z%VHs(GGIL8Tlhn+LEY7H7~s3pzPuT^o^N&woSJ=!CGo}dH{`~L)YUh@mwX=u&xYzd ze2#mx+ADYr9+SvJ>T>7>O)=9L^r8&(XE?K*vJYn z^F;S8Va4+Uf*G2rsD8k!m>^DnhVc2s-Gos)Lpbf zTV_j)xorZiZ@aH%xewP5fZnDK9`9GTu$S%a_WA-i%w9+)+N(iQSBC%Sc3x7I&u-qx zzqlKCx`YF+XPK@SYD?ha%2e-7`?7#1q_HugecH^R#|(EM^^A67{Yov!iAjI@7KZ)= z$9enXWTw*pQHi?*dGOgpv{pW{rY(^s?+jtK?ih>;_7nD#CS3p zUS_Jn)aFhJX$D0$DtUJMa#TEK6*U`~Z2muwt}iLDj6l%k4$2OlR#t!0T$OGE#FkD$ z>%f;^K*BoST8FSzy!5jP)>R_ng=Ee5_Y5nT(}5l-$|;sP;Wi%vk~t``meALzzEj!$ z0{dn;a5y}`IZDwac&saP`{?|(#X$l*gnf-tD^Mkg(sMGH$907Iee%Bj9L&yLqP~Q? z^j9pJDonXRS=Tb0yzx`&XHj|)a!4@UmwD$qV3gu1&5S30`l}bFuUw8dhy9_3Y2D3sQp^@k{-%lt#r3=u+M*r}x)n`8OAY)(vML%ew|D zIk-B7L|5fBz^(wI69r2%R?ix#h7;LIR zRo{b9u!?mkB6_fiJ$ri($%hfO#b6il7M+x{!7oa7D~`0k7ioe?{KDF?)3#$cM%nr5NoYeilpbEpPQ#NBkQA zxg1I`dYA~A5VPDN(FfG(VT{xZkRLqeG@~W{{F`jTQy#s;p@?Kxvm(3Y6+OsRZgf-Q zN?fhon25(BIXz=lF+6+47HeTc1Z zWSmu$nsTp)#oowk37iiahVyH77}UU~TJ@$4cI91_oDl^Gy6(<;*=l`ABMQvmw%s#q z6(&U%U4?0XS?hx8~bM= zpX#P>bSW9@yFK;`DXUQvb?rJl%WPI<%5}>MU5c-y20Oi_4XJ&)4wQMF-!t2hS(G{mP;dbw#}5U_qL9Ym5=7u)5fCs( z%$viQu*iEm_cUi$b^QpGwxs}+(eyziss;D+qZ^=(xM79o5-7yNZaD#xz%F&wU-rPQ z>j5gdvmIOtmrw@mMRBSbf^T{nVpPsZ!T>iLo;OHknFCu9rnOKKzdqt|l zmq*h=BcqDUTxbp0Ta#o29Cx|$Dw_CKXe!@n7;jWFQ4dzhgw|B^2WwXoj6fnx8QBs= z2GkX6zKxo>G0@jQF%>;UzwbE^IPHwDSwhj;>5#$*VGbZKhNMTk5tmiDqGe5wH_kmA zV!f{YE?=Si^x)aVKhVKpmrpb-0@0xCW|Bb{^!z_0Oi`g%*}*tTjTv8J?J()A2CIAJr_3IMq z;OLk-PA&A*)0;bSnt#!Nh_lUA+S1LSZ;L9`G>|63?hDf-P4xgiBV4=VN%;M!x{qn%uIs#rn5JLi6}&rjR6M~dEw4d6)GSYj@}3~%!rOJ6|@=Mmc1PQ z0phrJrk1Ze&VPis@4wPQo~}!DwVE9b+Y5fxX>?EvDvrBQS|6Xip9iO6jR_OR-Ube| z!QCHso2ryss>*shd=#$&h5+q8k0VzQ{AMEBjwA}0s=5xoG*d0onz-U2;p>yzdZ|_& z@=_5^iOQ45YQ{Tqps+=!K{a(H^ zKZP+`pm){8MOwuuE9xzAUH-If*!|{3s^-=IE3bzaL+ME)6X#D((R9bAxzvr_QehH| ztPwXCqtjAwPzIZk%z!DxW3e4#zHWp~l4%*@e%c*ZwvYx6ixH)wTVnE#DqJH`M|7y1 zvLGE>nxvbmx*(!7qkWqtqjH4U<_ExU%_{sX*klI6+CsVWfT#JAwOsP`e$pZ}g`jI} z>V%r$u;1?5Txbfdr_EVcdxM;tc=1$gcP5SmS}=HThxxw58DMwvYVS z0+H?T1VUf(bzBAOdS^qaN?sR5^?*z~oqN&xu3->T7#~bU00&z41Rs$DZ|E_rEI% z4so6v#2?&JdHgm-NxXPwlVc+A^!t+Cvt2>~8Tm;G-T=ploFD%d4m`uUUWiz~yU%ft zQlSiX5r)e@@dPw0|A0in5h%^n;Q5o@$QO8UH^%>P8qYZk2 zmaU-(X}~07UwxX7S0{ZykBg~~S?3>$N>zR=jy?t!sW@n?IF7h8^Sz9fHWfU@k}U7X z)Y<-4^iL2NmFG^obpBfgZUWjYkg~L7u$`=powzChc$#L)(jeR}KfV0YSTm6P!v;Rw zPaLAlNj*_gzl`KLXf7O9@)+19t;w>lxwYyn;pbel$2Q&=5dUeEGTFgc5o9O-wrbzF zJ*mmH7$x--#`I!T;IN88LaJ2xWb^zM*U=g(?s4bqxCgK8ebI?|MQGT5bS;+koHpDP zqF(O9nriy9xk#Oz$FgGuk3=ba{zW^sc zpDe#DACH8rlz=ohkF+$OBo~hamng;m@ABT=|8N92xp+AK6TWE^747F_a6oQtt0c*r&hFA+gAxs`8CA1`ByDOYk-y8AGSFa>15LOkBf`R>8KezRiF3nFX;>zk zCxK?Bxh58_X0F@)LDk(4KK32yS7}05VqAOaE!*iLFZ{q=>=;?Q%bh@3#~SX$dSEI(6MZs_H>eQR-S1QzuLUPneHqSc z>U%EZ6WEwI6_j7QkGMRAJoQaLsOxLJAa}y-hsB`zh{DokG{Dq-vr!i*?9WNB$z5QG z1bU?JvkqjX-I!dLe2H)ci{n=#oCCUt7=aWu#T(8kj5DUghZF8oN{%Sm7$3Yl4t{^$ zK;D3#I7-2&Zu0WF0X>|$aTyf?K+ z%zDj1Hp^%VGlSVfS2y6RaB-2_*3zMl%N_9z_9cW^-aGqHa!KDa3&0Q)Gf^+Wa>!Kv zcPIUY!#FAP+mD^dNzgH0@yl$I%q~$G?hBT_AjRZ&KRjgGT`#ePh1v9ab5+IZP>D$S zr=Um{=lC7B#iz;rrfi?Q5&u6*to8p^GKE+j*q`?Wt9O5433WIF>Te@*Qt8mU&5!!B?bhHPnX=r z3QpmI$ZkKJI1H}n#SyJWDTW1OxtzVQIv^)~LZcB?O_q4#N9rG4H7u(-_{%uJ0mINE z9u$QAm+x1By;`FQ9xGg;-;S>>^2~0Bm);R%3LvqZ3xuU5`sQ|RtZf|J=tRM3=R=W1 zG+gnaOuW3BoQX#j{(ALggN6a7tedDB9VhL{t;Mn&A<`HS?{{Mim#qLw>%yxhj8APV&KFU3GV(?~$}pggOn0 zqijQ^bk9D1;^s_CmbEMzbPtmt<>kDJ zFPfBPtLhkX7H-;WuOqdBtY=ZFe?4^8&fseQuo~n)_1$R;KG8fHDy}P=-{@FEt*laN z=CDF|Wk`l(m3ZZp+~kzlWk=T{lAjn&DcQH4142=Zq*;_@^&i={hATqtda>Bw2rrf* zLl>5**32J>wW!w^qkr6`h2Bkg$au$-1CPvtB(R@sMpnR@>`ln3NTuRDga5rI*RYdU z%4a+xlc~O$Fs#|Q^?vTzcd2C7UccP}$R<%9eKRdy5+71CAV23{Fyv8fa{e!~&c)RP Z{\Centering}X}} + \begin{tabularx}{\textwidth}{c *4{>{\Centering}X}} \toprule - Modulus size & Na\"ive encrypt & Jacobi encrypt & RSA encrypt \\ + Modulus size & Na\"ive encrypt & Jacobi encrypt & Jacobi encrypt with pre-computation & RSA encrypt \\ \midrule - $|n| = 1024$ & 6ms & 4ms & <1ms \\ - $|n| = 2048$ & 34ms & 22ms & <1ms \\ - $|n| = 4096$ & 189ms & 128ms & <1ms \\ + $|n| = 1024$ & 6.0ms & 4ms & 1.4ms & 0.015ms \\ + $|n| = 2048$ & 34ms & 22ms & 7.6ms & 0.040ms \\ + $|n| = 4096$ & 189ms & 128ms & -- & 0.093ms \\ \bottomrule \end{tabularx} \end{table} \begin{table}[htp] \fontsize{10pt}{10pt}\selectfont - \caption{Time to process proofs} + \caption{Time\parnote{$|n| = 4096$ uses a less-optimised encryption method, as the browser frequently timed out attempting to pre-compute for the more-optimised version.} to process proofs} \begin{tabularx}{\textwidth}{c *6{>{\Centering}X}} \toprule \multirow{2}{*}{Modulus size} & \multicolumn{2}{c}{Proof-of-zero non-interactive} & \multicolumn{2}{c}{\hyperref[protocol1]{Protocol~\ref*{protocol1}} with $t = 24$} & \multicolumn{2}{c}{\hyperref[protocol1]{Protocol~\ref*{protocol1}} with $t = 48$} \tabularnewline \cmidrule(l){2-3}\cmidrule(l){4-5}\cmidrule(l){6-7} & Prover & Verifier & Prover & Verifier & Prover & Verifier \\ \midrule - $|n| = 1024$ & 10ms & 18ms & 1,740ms & 2,190ms & 3,380ms & 4,270ms \\ - $|n| = 2048$ & 44ms & 68ms & 8,170ms & 8,420ms & 16,100ms & 16,200ms \\ + $|n| = 1024$ & 10ms & 18ms & 1,420ms & 2,140ms & 2,900ms & 4,270ms \\ + $|n| = 2048$ & 44ms & 68ms & 6,390ms & 8,140ms & 13,200ms & 16,200ms \\ $|n| = 4096$ & 225ms & 292ms & 41,500ms & 34,400ms & 83,200ms & 68,400ms \\ \bottomrule \end{tabularx} + \parnotes \end{table} \begin{table}[htp]