From ec2fd7d98f5882af5338b736a38fd30899e843df Mon Sep 17 00:00:00 2001 From: Joshua Coles Date: Sun, 19 Mar 2023 22:56:04 +0000 Subject: [PATCH] sp-fd graph with low p sampling --- figures/sp-fd.png | Bin 30687 -> 32037 bytes figures/sp-fd.svg | 1036 +++++++++++++++++++++++++++++---------------- graphs/sp-fd.py | 9 +- 3 files changed, 671 insertions(+), 374 deletions(-) diff --git a/figures/sp-fd.png b/figures/sp-fd.png index 771cc269d220e3e41c1d2565361480eb19453f25..c3761b9428247ed7bbef2e61a3e0a1cd6667a5d2 100644 GIT binary patch literal 32037 zcmeFZ^;=b4_b$HZ2I+1D6e*>oOB5v)0g+Zxy1Ppd5Kut@K~O&&^FP;akz1Nz1t~p2C_dUkkkF_+elMpfxA_zjFdPDg(f?x(A2*wmX zF1#YzGd2gmuDV^*ce~?g>E>zXVu7fexjET6y4l&7vw2v!xY{^6ToDi#5Wd7_?dIm> zDk&&v|34Q9IJ#H~juPTW!XN}rH}1J22$>oBA4aZRjtzqNC8{bb=y;{Aj(hv{?VRAP z5ACHM+4`82y&K!pRwl1m$JW7i{}FL#IL(1lJY6#I0pX0W7EfyG1Ie6_g%nAJoLnU; z&2tJr{9n9yF=5p^Hng{Q-I`6LHub%#ad&Grnd)Yzct!wYs-9fy5$BCWuHY#6Hxog( zh%^;(urWT?jK8MZT+sO{QqVbfAptG~{dskNk?>8$G zIxJH%9UUDuadGk9PBwVoftQa@Nkc>9Z7MlAagdCu5FN5VDNjH^K<+>S+vgrJVyEKZ z;4tMX%_5BK%D0y|Dk@^4JFETd@xtQ$jjQYG=%%;+ADceSB+rp$JhS67?NQA+PMlT2 zlhnqR+&=3QXL23A)F-&byzwz551Z=kx2cNCNSOhDX=!Pu&PC4gX917FzH%dLj0H8) zBrpnfW6H`zb|ueUd&;HiRB4!7Sa{9ZSvZ1(k*2)m^(bm|{YnnyjEP+A{QM*gvE1<7 z(Y_3^xP;-Dt?{gp?eif9g>i04hs-MGFr}u~a#^RLwE?TM1F$^*wdsDrXV0F=pTnl2 zp-~yAY_>n#UaUA;tLEJN)&7FN`Rij!_>0Oo4eN$76}PWO%Hj6Tw|Tm1H$QuO{ucs9 z(PXmw$iTqBjhi={!U!l!+!k-Ac}{pE$IZW%2Me3WDqWj@nsY=`ftzGWxS#9{HP5?D z&nKIFn`#WzHZqD;PZfJpS0~%6zATp9K44`b2TzWzU@baSP;LLG{R^cteo7QCsi>&v zbh}{vS4vIk;26O=IxIZWuU8k+LR(^JXJ0)k!a(L07O;?_+Fb+ukaHDAIyzxjU4OH2 za$@<^vRGyKi^(3$C1q|cEG#@Y*qq;A)C?pHZ49cZk(NF?-co3_8~s9pgM*`$Kae8r zec5AejDEXfXt|}Zd?H#Q6jvd;$MkCy`F^{}DTP}{Q#g^Z=bGX1G+Cg$hliNT6S|%c zu8}itlFpO4SfikY2SNw^fADw-m9lZ zC`FRu)OO9r%f&r;LQF@DJLa=o=p@0!Y%CtFK^%1QY^c?|RGCT^)(L)=hl(Tn7Kyz( zJSY9}5dB&o(TjY1SmpdQL`5~5H|>6v5lDHieeHO8Mc8-O?%9hMxH5tBKb{A#ySFlX zP9@hLTd+ClU!pPe-x;8j@e%P@84k8+e=%Kmv_|Ap*S!FqMmpiM%)c^O&w49apyhAi znQzU(?^K0Wdl)&Al)33!EaS%M(O=J{u{UGh3+cn97DR(ZMls{np0g2*4h`_Z&U4=r z8id7CNi?N5u#LT@aaKml$rcwEk)WK{K7^FqY7JfKQXe0-QLGGq#1fzI;tbetW;O4A zEu;U%j{e1^dm*Ba2C-{@zwCb04)#P`X&7fe`ej-$@PO!aJ4bFhoYoj$dd;JH<4<{`i@t*N!b*(#rC*DoQ5`Y~^q<-d!6AAJM$on> zy(9HWYC$&OxPmLG?d|5~X6BJ#?e=Y(jhU82F4f+pf&BBxZ8I~opTg*e{q9Ov-+(EW3xG>zt>2=IPToatg!I%vPHCrSyLG4=rHT&owIjb;d@(B z1|@hU8JqiD71DJ##6zRZhj)fd;-jMpYxX95Q?9ylgL^$uP2&E%^iDDff~o)Bc%*i= z3cIi{IhZjXDU<6-4A~}yP(kO={C;m<4k@-?)TvWGUxOyO8R$w0dM{O@G|NvmtS7` zBV23Dx?ir6O>l3$8lrFPm-~gf9VxHLz?ko@CIq*?MXR`1i`-jWLADyNZ4SiQXBgfMp-oAZ%tN037 zOwHj^KE$Em*Hwl0%fI-f+w{Gkj+0u$AM^BaG}P?!e;*Qp=~Zjo-`_tKLL~5~cdu8M zvF`M6Ir9kq|A?4Xw&rfb%9ATff5AV5?S_TmF_@&i&h6~%cpY!FCZwhkA;We4zU9A; z;dy6X+;<@GVUAW`F}=Ow7jMeaGoGo{X<) zS6wk%=OJA{FwM=&Q+)7%6EPhwG4onT_tetYk20$EFgrayFj~9z3ZgHzLW6zzc*M!k z-h<`{60fBXIU#ZMVs><294F)A9zx75uqr(YgYQpz#3q{hNNweaHww6B_UHo6-;_Bs^B=U6(`7#ZK) z%*;%LOnM!8?KSf_^FhGrR>o}Aa#3@Q_m+^w532s5A-o;j-MO(h1;(`u!J z3rv>`%J4nM-Ssl<)WE9;3+{!MPxugJUyuI=`ESB(io{}~##_JiA;DVxSwNcm;5`Tt z5&;M8CLZ~<{bvM;TpuTHh`;Q#gk+nd#?8gWwY^mNC^bE|TvGV*C(rI%%C+6oPMH-I zbfLH;ga%&n$_afFXUWsY$8j_(7%Q#P#+I&ts+RmAucmNeun0y50~g5k1nB6>vWBk+ zP_gz2MoGpeNtpx(Oq4v(;Wh*m{bKTo*FZVMnmMwvP$NrVOo~Mb5L3_`d4lO6fQ`TjfrJfBd-F@k%s*sE%xDvTlEdsN=N^LEi zgtEVEau&Vt+Lv@P;E3N%lG(B&1tYSVT;lipR0q_=OPps_YR*oN_Ge-QosL$^_gc!& zCBXs)jjx8szcY>EB^Ib&x%|-5(!3>_nwcf__3OBfj*f<8D%4Fp~8Ega34Q@>~(gsCv5%|-}L((-OFWh-=y7jv=xOI7Xc_W+k1Ro2R zI7m0YrNVi3y*TiM@6YEP&5Ss3@}UZNhJ>`VCmkJXFsp()Lz&kgCOK3sa=(4|4n?RC zoB*%6Pi>TzULNzBjRn}L?Ba6ycgM@n#Kgo**P8VvB05o9s(xEhl{luy^=Bu472+NL zPvAT9PHg+jy-$|YA6r?PKMxr*ZaS+bu5b5g&Nkw)qES&O;Ml8X^9NsUZZ7^d4U2>m z!s@?Gjsh{YmzQxCG6H4Ma8zJaO#@WS?2+%K2ViWF9(Wj56C7~K-2o1iR7#T{Eb+>x zt8yoq0UY=G{nE;5=Ii4U!+4+_g6D(`e8@0N0axmOvLrF~Sv>EzGoWV;rc~v=EGeA< z3kwUPhkgY5(I^mjR9s8LC}!6Hv}k=Pzj%iAY#(nT;ApkM6@|`rBc(WxhKgF&#;cv1 zNyJTINrKH(BAbIhbx9Hd9KqOK8;=11#w}TKRNCT^$Fh7fP?dBiu$wT(~)+SQXrWK zS%)O}V6pcdK+)46fK;aN)Mywo4mhwtf&jh@=$XU8;9%yPb8W#7Pv_^ZzKx{(lha=22S{Mc?abI0(JZ5egH{R#2r~~-n#YCXU7&`1c#IqW02gl z0ANBW(Rcy)83PL!8|R(L$&%jw{%ril?^MT`G}kVIF*z_g>Fu9NNRU}`#I$4J5u=#> zuP|`0nr06yc^jJxkc==DxaH*J)`!8c9ryiYQF9MA?j6Y2;{;5YD(?7=TF)>zlEnv~ zPp^pB@DuPlGjt!(u!ciKGZia75!AiV4BQeQLXz-7dxHm-*VJTRO1FxTZ$?N7P zM6OLMv+N3wvp~(x7uBEo_(71Wn2F{S0tTy=Dn^2oJQ@;U zf-U;PfOR_2mX*b!U#JTxcN#)<3qTqgud&&U25S+_b+YGita2>2pC#A#`#;=~8jsLQ zOiF@)G`9FRAqxx3l*-xH|LNmW6st>SYJV>|OQ0wBU0thyZGgojzGPfOM?@Lhyzi`xlP&0HVOlp7@W&5i2*7HsnPiP8z|0#2VXyi)o<+6l#2z=Q^@I? z2CpC`uKlw2t4`qA(kszNG%%w$5=Jr8*>ABG+r76wTK8~B@ATg((Z3|IT<{5Xx^f?5 z0|NuomSteq-I-IwnFD(R<6>c@eg`g>OzLXJUDtq$dV71PJ2WpE_=M-@=O;XWPF+!7 zRmDKbqe0B%YWZ{5OB!Mi{?gs|T@cDR9E!=798O($vg$bT6_X>)jzU{m1DW7rPzX4i zP7PGD$?x5}x4%2;=nP~Mb3HKgFM#VLZuO;sp^Ln{K|{;e)YVA@DyBl7w)%k@l5)k0 z6lHT*h@UJgDXZ)g2m^bz_mRMq`z59rG?(;)hy*H-`jb`1js82DX1#A!_xI}0Vz;;5 z0G^cjyza491{ETXSt=scq3Xh1<@H#GaMb%qBRPK(Rk$w?qH)BD41$ zZ0i7V{2&(wzgY$fAN3<-RhBzL+IkFFex_Z<1$+}sq5g(7n&FmF!qKr*>wp@5TRlV)oXbBOj% zlIcJNq!<_(ox5fBOaZrh0h4zcwJ$dV#>;!*f(`Y`uSZI}GR&Ajh$MWrt*1OdWFsUZ zLNhLaYW$EOh{%lbGP`t;Vj|Gk0YVI@ilkIHtS}|ZuC&J}NQTjw#vH`aq;tF;DYv4% z|HR4=XN*kd@HAjW)~spoU98Z^c<|Bq7 z1SHd?{tuvJ+P@%N`~X3076?pZ?cPKTIj4&0+F0d2I0I($3((%!0C0!VU$Ha=+3tHs z$I4(F7dYD2?Zv)PKf@0?=J13-d!+?x))j#wp;m z!9p&VE%kTx!7qC{9MK4*bI6Xw3?jULu=tFrXlWnpuTKxx2g;#R>EdtY{%f>GVG!Lb z+IKKM?0w!lv#5}*&nECij@~>>r{KJDlHahzpTo^IIzAyVw9mmoSPqe83fwsUXx-}a zOD!Fp{v=#4029Q@1Q5QdRcG+l2o0^chiU?jVI*Jy$T! z8Dr#kUALf)+wYG+{DW8zj+K}(C9-n>m7aqc@ zfFQjxUM+q}G*-7jA0xYmZvRJT=jzUobwZ}Le1J^CGB)kN-cpjGm!lEn z+H=EpVn|{6U(WiJB@C1^qblJnY^OYk_r)23VB{z?$1Lx(bRAaAH_w!42PS@%7?y{|(2c{8*u?Dps9cRx<6pBF4js*Wv8xKs&O2<+T_Dg}kK z<+61yqA?fv;tm#Jc!*3ObJXL)DT9!nmnhQ@C!)nf-UER+K0an3&w<@zKbTq_`tRPs5oZVqj%n4T80?Q&iSEtXJPUEFh3H3$?m3FY_FZyV}v=7X1a zOn?oiY0sL}IefuO4uO3|ucgH@m9vt#x-weIQ30rQzODhtaX&wLslxnU3_A~OJo(hV zb^xtlocBSZsC*I5YK1G0IDMibMh5`MA!nuanHZz`zRd6c4vM}u)Qe?ZT22}?MiB?M zR)qrHzSVP3{`#osE%{%X7kDz3&OW9dWuy`CdCIG1K)4AvDX`8a+)B9r2*>Lw#*Xx~ z@}tgV-HHr%UwFu|mLiLd{A9{1@1EY>Ibv2vClrV>=mip09HjrAVWI7rD#ZdOO2>yl z3%ir$v@}V;fV0h`ho$$@fb8HhS|`-jL*HU}M_k%>dn!no1j(#vn^@AP{Z}P)$AF2y z)BetuoK6@t^4J!6gT?0gkMmOQ7O}2uKcU{Bk?9s)HBI`gy04 zf*j*Tv6*>P6U4+4 zNtwd9okK2~P;QvNhcJj2m2}emqqm9H+c`hOTl;?2B~??KLjTsrnm9;X-a`ekdwHZc zXnkGX)k(oRgG@+j%(}Gtu)rTyn92xMAiPu%os2K%-hLaaV#yqz4{dJwH!H$e3?ahr zVN-~NtDWW4WGDM?49uXuKA&KGuzT_bgpRuF4-%$(p>-};737g9^Pk9+(~$%jT9sBr z^&l%!3@rH&6^sVC$zuKi%j>D}aG&<^|9nE)TCg*U8YTM*^GLjvVIjZb{M~f z2NumtdSrHpgJ)3(5lLerC2g5mZ&=(A{qkpyAKU^^VtiqN7tzzW14%|L4OkdPy!u zSsnMQSe%!4bqRO+)Et`V^C*A8+yC^nLJ=-lBnQkr`%c@NJGetwR5%!t10N`a*UmN9 zYQ&QnXJ99dGw+I_K6~~Jp$nh0>cGNA4s6ClI^zb}yBDzHhVGA!i=n}C2BmSg!&30} zw~~%9u};mVv)D0j;ljbl(vyC>t5%FjS6WWL!X59F&K&B z&B|e07PhHk0{pUZtl_4a?XvqKuV83%Mi{!6Z@!RF5ljA+0tq6~WBq9FV89a3R%%!h z{cv;02vii;*yj|VlGEcN4R7)+Z>;v8BylxN??xD2LbcP6@fbok!;{N(pFaM6*%m?Gk*tzo-AW8pKpm%r6&C4vrf%6US~_Gi z@iP+i?(eG7Jv>(oBSTb~rAjvEK#KG~VxrYzVqC1=zCN_f%OvTR+q_V_GkBlwstXrr zXDB8HWVo&H$TyOg@Lc#HhLDst^Zwo~6Y6qb(&~1i)R=z`wZRQQ5zuTLl;6yt5I$Vt z%n8(>sA7gtzp!xct3Aqhrmo8!lB3vrWvr4C#gR}g|LFO5Le|c^yR4jo&bl5JlNHya zYJ>=yOQ;;NKh(}=Y3Bif0=;4Xc&i)bm=V&JplX*G6ru_w)?PZmZ&c8E4Zk&N<3{Wv zdaT3R9xB4W;<8%49}ITZr8to_j?qgcGtHsFqs6D&OkB3l?O${D<*K|=p#Fl|%8q!# z>G2xb|A4}$K=gkL-~VFQXpwA0<2Lz({t9SLFG{`?io=Ge$ra+AL%t-7eDNhM7W};_ z2kY(5_8T)31eI~m$yl^H2GW-ORz+Uk#ecd0?aA0<6Zd$5>9?^UWB@HFx{&P;792KJ{HEk$AAL!w)HhL4aF%CIZj=Q8DU!Tbs?^ zFvzJodU|-{deDgg3YS>MC#bxpsJ(B{0~TLgR$Wb%h5uZ7JKkx%%|AG1`O^C5E1iAQ zyN#;};H6l5-uf&NV0-Udl#yp#1nBTkjfw=7j0!3QOY2wfGqGJ!_C?a$@Y@1S)4OISl^>d2M~o&KcAZJd{&ksLig}Enh#4(W zfu<`C4Jul9?}o!N4zK1!h&e(936vEHr=z0kwI-ldVbA&WW`HE1A|hIRlKNY7gD`Vyb(HKf6p`$y5G}6R@c0$@G>~FIc6}>&GET;YBw=)6z8^ zj6a*)QU$Bqm{qm1UVaoS0)l(^5EY}HAs1)}5DM8+v9n6aAei!@0|URkrHu)8XlTnL z(ebeUUGb=z>d8%k=7NtoKYsP!PqTl0JyBzoaArp}4G;CYW;*0Skj8~bV}7!OVdlO_ zbL&?u@<%d3R!cuV{x_FD2;wEw`qD#$k9hOYx{3Ufte}j*^g>{?sDVlpNE~`g#yVp{LhMEyqIr( z9MkKZB3`*w^!MWiJP*^js~I)o<9$(DhSrbh-rW81M*Djveh+1?-ckG4XZ@oke$5yw zi(e-i_%CUYy<$#hl|*67DTL36T&l}q3S1flvtbZ;nVOG?3DLpMQ@MMlO- zu8vOJM5A~X9(q~Z36VnAvt0YyyN24d5yAEjWH65v2eeTxOCR#D64hn$iFS`M#dKhY8~RSb4FXyCORrkn9CFGZ2WtKzq?{0&9(AK7bEU8H-=lN8%dUrxBRK&;&%@otUOD%1Xs zjejvv;SYCeb?598hBH$3NA-M43Jw&##Cc-zB=a2yp^0;omy5b)!kSkD)!1pDTJ*bZ zNU_25JDHQ25+}ARbJ==y7D+Lj2kK&)vpWQkuu zLSGExUakr7Acc#S_?2p5S+yZS64VGrW-${8W5)XF6Hob~&lBW|xcf)F z1Pf`3#1O*$j4c;?dvMJ;2T#61E^L&Vr5HPT2rqJ!=(-eN2tO&A+U}RgEL4_o6h^)Y zeOAP+ty;Btt<<-pP`-Rg0MrF=({#ytE{sl6GD8;Dw6)!3Ot9oJMX;W7UHRhj;E5HCtlJuA0<9KUeZ_?BT z17sT1vKd@?EU}Q&&BcTUzgkUF9nYoXMC@ThW3L+Ky|n=msp^_76j$uXf(!EeHN7v< zFiGk4KF)*ks*zO==}ii)LF?sBLnV}Qp+TT1+dmkCjpw6#dL1dvInUJ2#cQ8mDxrKU z0ZO~GROYR6GihA*`A4!7dL*tXx@&`CQavkEd8l>XfMs^h;?2zN8Pnnm=hq;6eK`3> z=rbYjqmt&;c|X*xZoorhRkr;iRhs&18K<0Q{Fo~JveRT&>HCt;ZOchozZwou$ePel z8#EiFoh=`0Nc<~nRc(Ppy~SJUPLHX(S>uv@@R5IF|2rIZBQsYY?YJ_iBkz8RZ?a_{F>@c)HU|o&xQn`3uRSS-?eCvO6 z#F>M|JEXjHUNR8}qZdTM1#a(|)MDI18GiIFHEg$#vOvJIeZ_1R$PDWQ(U7q;X=`6n zD*f;4_DH-_qY3NQq3g@*U3)xDJ!L_*NtB|N5$Mx8&2l`IV5hzI-2zjDkp30(>fceK zecEuUIc{^Sdz37Pf9o1flD3i(lEKeg0y_nAQ5#ht_#nGNGTqz!Si z5SW6;zdt@ii<1WQmg&Qn%!;lbAw4i%GYC{Xb6NN=+2nh|WhN}2w0#w&EDc>F8d_s} z11|lnf5ho+6+H`0EI90vC~=UpA~)f=Yx3u5-#qg?Z4EfceUdrK?c3ViTH86jJ1r5T z0s(u60k;7rj`Lj^gTVG$GN!5V&2>LH*RY6(_8NjeQdh{m?cwqCo8hCCwSx?)*rPFZ zTt4>Y2VYZY(0o6S=O8{}IBjFfBVsU~`!_UE1m^iM4nrs|m+F+&vs8m1wsecnt~m8s z=%k?-F|s~6{(Qf6;aZ8C`FUpvomWgH5}aGV(0hQn#FbHb>heAO>GtvKk23ZTPctrY zpPatFS+hRy(b&<%>IQ|Dfn#XjZ0z@CG|^zfyt5?j*G%-VG7Z?30-^<+eES+1L{zLL zhQYiBO+y7c?)Ssuwp@fOInu;7H1iV`iq{O7*A;B4GDlfgidLR`xJQo9&t{#2M|6PA zzH_mXSk>TK^6M*X+LUgii;wN>>$n+d!+}k>Lmpx3yI4Jlm6CM_cf9EG^*X$w-npR8 zmVdTp1e~n(nF~3g_dSOz=(qSnVMQm>Eq z&mmLkCK}7VVy?Aqv(KGsCL%yA&YCLr=A}H|A)P0;g|*QR99+Oy&&w}rf&%kLw8lYA zt#A&Tm{IJ~IsE%|KqQW;Y@AiOJ?ikZxC!;8A5kHhy(3W|E`D!x zu&?>Y+Gf@mwKNxhw7f2$|4 zZRnlW2<`3dn-A#+6!J44NAU)Vw;Mz(a_$lnBCK0Dm2wXYw{Je-72>U!Mc4+=qFKu ziXFB>12o)7`E}*p%@=}pIBO9GwC|}Hmddm4T`o_wV!ZATSuxK`0`v)Stgq8!T0W_; zk7p{rYYXO)mBrVTE9f3tSm&&Oq-7emn zsy8yaB*o4{USH`aL2QfjgaL=8##W@Cki1$mrQ|R*al+9~F!zzio3`JCRo(L&Z+ezO z;+4Jv*qJ@7A)P|YRwJLR9zcZ~2^uo?B|(ckXcrf>XuBQNe6s9pD!BJa(*HQWxGoxc z&lb==0mO8Dsu8VntwYbZDfE_&J6td8O=rR#{4lqE$OXEPTe89CJDi3eQ}GW0qrtCtAbFw zBY^HD+kuN{h=A6Av>t{w4bN<}vbILD2G9+9NThe^N$JkL_AX&h$ST!dV- zgACZ0cheeZ?%?H^?(Sbg8cf8PZ3adMSs{K-SYNMgp~eqHOuzVQS-2>dSinY2QzzVQ zfC51)T0LV|iZBIjz}ms#8<_ZGw8p5as_F#|Le4<;B0iI#jh94%H9=6wkx%48`;G-` z)-gdxSXx?Alx>CTi=7yre+xzJP14xgxZ!GH1{1Z<8*}ap@w0lj82~c(`rVfuW!kwR zkZ$KX|NgxJ`i0l$ zk~9^mlon>F`E;kIBUwowRdcB3Bq|9ImP8xpQgirJX(*mgp049lnR+cw^s(?Q2J32m zQ^Ci3wSB{~PFX#q?+n9q>3hyl+1$rSc^Ub_GdAjBBf?Mv1^bc_J1D*?K>r4GIhYC2 zJ$>{HvmB$KNdGLaIpo8^KLz;P<8Oa1 zG;*jmZ1^xTIXIfWHcjdbmyEfR=W_+nTo=`z5hEOfxO(*}67>1e&IGy_j-~aOXw&jgFnzFJ4D{X!h($$6Iuycemv(BHfzF0TZN&Q77aa5Gcs5o|K8&Z zVUxc=iO_8FuK=EeDNW} z05dDFx09O%fdQT>9oxw5zm(V*w&7>|S&1>{e9ffy@seDerb|SCn6aF#BYB-Y_Z^EH zmuAcX5JcZ34(c!Jz!p{Bm?NAvP9fvP#|&_9(;`;wYg}2M`bf6hJRR5dMyFUaq>Ux; zS~E=fP#C#gJ$IR$z!nFfKYqeR_UdA5d=*(>TYZV(}NL8|D0^jB&sc- z5?~?|znn3l;YB3RP*b%dVZ5J5 z2W2AxmIRg;Lxgx4WVxRu5*)O`$C|Vfx%$PV0FZ|%ax3OPQ^?ue%gduK#V-Tpe1;i| z&D{XR{-kk|g|^jcAJ-ofBv$hc4?SmVji|j2lbR)r9h+m5Tr=;gwB9fKwi4F1rc$L4 zu3UK8slIu&<*^FmioltutGAz%x1V+CfgTypA{FQ`1VWC+YE?`WwZwas z&VrocoU3i)QH7|&xj!dQg0QLPH-I-*cs=wf7LX?p|E#E7r9hI?8uQB1DpKKIPNJD< zbkUIRJxX%zqnVAZBQ-c=buQj9(5B$Z1YG84We6v}ZhOhg>BLw^WTbiX)k$#Qs*-jr^h@aTGVdH_(^VNk z)ts+bdU1+Cv?yaeq<8B7jEla#!bQOQp}gt0IX)L888hUqfcB4TP#_p+Lvru@U{4PB z+z0{EA8}j2{Afc3AQ@LdF|Ca(tJZBRqRQqQpPFNBKXGCfq70x3CfQqh`z{p@d>+N; z=#ox6>G7X#GHZ2ibbv|I=l8cw)rU>4B*HXXZ3~0XS$kACmwgLKlw`E+&`4ok!!HL# zFN+?mBh^44)cE}MMBT?ingrO0q0l9gE$#(O&{4wbj9OoUVXm)=jccq;8xO5ELFT7 zAytBG`Y7j{yx2FUs)<^CD^ZJ;i7)~jnnXvy3<{Lc&whqO6A_lgi(j#~Ngn*Xk*v0y z%$>$+*rZ%8ue`#5pT=fUv_R}C2ve9jIi4}@U^I57$Xf>~ne`8Ir!o#lAqMQtz4_N4 z$Y!rATL(%&^53k?i_beZZoRK6d;PJF}F8Km6^m8!AQ=jmg0!mrBJyylZ znc7nckG`?p%U8AuC5g8mW=*a&@<@gW(5A5n#tj(UC!sCh#uwA~4IH8YuQrB>^Xa&d z`#i7F-20@isr6t)^g-s`A0@?2PbOqke^()@_c^UJ_jXR1`M(!DnO z)3>{A1sR*}s3hk_RIc32f;g6G{5nbhtAWMFj|Pu2>K!1p{k_Hban_5{7+EbG6Tt7axL{`Y_f)%CoEh0uKE6bk`@j&}Y z2-&WV`PLhTeJ**bpheDJ=e}psZyEc^AKedRi*9%-BGVsTcdtxIxqotfD;1;U`aUjU zVeiB1My_Z2Zh)?vAKj0C(EiZ}kqub%7o43 zw}0~$V*lHH2~oVa_YXSnHc;XE-=(VJi?E_AIsWBL_i|B??PRLj*IDRWdE)YoT)7jj zw)&@$pitgFJAC#&r6*YwL+Vye;_URJZ>9j;?F0m0)Rfa!Yl^(7>4__j8=M{}Y~6?? zIr4ySqFYY&9`o<-ukH z7jnwK8e#Rvx#bVB8gm*H0he>Go0e8{j&wwA9t8d1ZnY^tFQRWGaeMqpmI2X9(f+7= zcogpoH~@vWPpftc=Ce@bqMm7Ugw5*?#$ugIc+zvC|~5lliO|=a}R9<*^sD^Ah%FS>m$i` zhF@!w$s!>S&g;v_%INnkdABalS~-qysz}*(bY-r?Bx3qg(j^QY1b5Ec%#MIpo9s+# zT1ER@hK8MJQkQ#fJLgDL`yQM=lSUfk>Len-8;mo;_^-L|uZ~tbE!2C=Oq3H&Z#&WT zPeTXPx9DCJt{Ia-k4582CT{^`?}H1HR09TzFPImLi}=1bdY+G!(6af)D#jGlK1*~l z{|Nw` z#tkjLr|G#0-Ve5^=(|MnoB=g`bg;S#dA)Hy`wE1BX(!)}(>20=5vh%V9!WzHY5rdI zRnJ$iM5?*V7=+qkyed5=>a_gU4Lu`K0VyHrV}F}F zZ&N9$3p4_qoj!3^)Ma(^07V02hZC9iO54IEj5shzj!idBHv@7;RV2pK!!c-4p%CdA zKPb>^7k;3Ii%hLDTaY`bZv*v$Eb*rIVPxmL0<0`vUI&zNBRfYb?|y~Cg!-3#-ex6b zDglU|3!qInB+?k%bt|Syzv7I{Wd+qzTQU_~hTbUccSR%NSqyv(mjw2!K5D$JX(JV< zO*u#I&WOc!EzGM_#WZkSpyp|uOg$z+NRQ@P&<)eAQ%o}*~$-Sz^9@?8e zU;jI_+PDz;h;uA!|F(@w!$Vh38;RkCBn<(P>8|t2RP|ZD+_Ej$g}39 z8@H(RbH(X_V>rF$$=`FkFH+Y(5#cJF-|KcRur8fl&XS}Wx+i?`3I<53*Ge_$r*&I# zRWYGq2SF;;f>hW;buTD|sF1seQ{?xB0%WL=mhHcn21rYRB9KOzDiT{Y`aMb2A?>FT z;_M#$q&7G+6Lv$KXX$P#v-VxibvJORK!3ex@p`^cY*VO++`&EnVELmD;M|ZnYUD|q zM#DjKuhUxQoB-{O_gy`C4{r=!H0$4QC%r2!r8P9>v*VPg5sdMeVbFyun)83<2A|0d zAHEI`&9|vN_EL~sTxQKuR&s2|VOeK!>4Z7@f|`1{nerS+eKY_w_S_?&d;UD=Bi57e zw+46JKRtNGi|L{r*50=(^ik!4IUv1pjsayVDG1xhFsC2Zj%(7Zc8A@T^ugWDgVJ>X$VIb-n(*U`W^lMF9rT>`i&E5-7llr&T z?OnYy@49%9Xa|1lcEoL9nP%jb243=cDvU;I9j zW(-<*!-`XOS>xdErt{V9k&v3~ivAc4gL(|#P>`kQkSLZ{9=jZ^Tu4!$AxcR2GRXcs zNyYp-d;Jr20^kaB+>a9S^s>5U>^zSu8C;jmZZ4%&S?c}#Sva(ik>tZ&tl6|t^`+T_ zC|F1YqyPs0ifsu#ufv<*Xj2S)drB||4h^ePXB zYqs5mX}TGxy}D9I+e^$e&m&WPN}@M<_?+AOk8g;`Qk|D5 z*oU(B62FFiI!i@uovzFmmSVXenxT8nnZ0BAX3wH#7$M;=aVR)I5KB&>}o0?al@qKpSZQ!Z`Kf!-3cA=V;Q|m6Q{pdnx)R zJ%Q~*x>;Yc@q;^?rdsXJHH{IivJyxJw&CT=%;FhR=aBVm*G;Fz?{52CQ;*}xP;}VD zA15$P7`U3ib(TercGL8Y=I!;!CI6%utW0MqCYz7-(0M6glEC`{*nj^`@!W*xboJHz zbp6rt!&pJ8-q5$(qQs7W>TM3B5G@{?J8&>Lu)a9)WZl(!#W`TObRIe$p09>ofofw? zr<|YBZL4dl>C`Na3y;WOh>uKf+_d)a3R%*k(6$2tm-`}5kDW&qi(O;kn~AU_Q#zcMJ(gLSw0)Q zW8y1fjNFQN+c2B7UfvxyGtwPX)z7DVqUoK@3|bC!U6JaFW@oka{4U~zqj}dv2R(eZ zp$vLaZ8!61MZhtiStE*9?5i4lFG*pFkQpWv1O`6L*29^$F_(7!3TTG<=r}1`1HXsA z*fTm*uYM6Kf7aBPd)M^gdklJ&yN0-paktejOIPB6O15AjS}$Kr_o?m8L!$GCM9E3>Q-H+-bNSN{U#o5UEW zBd+1JH<3~44uKb5QTh7`Rzc^9a39w2U1;aIcJCgX>>frS&_l}*e02w-p0T&Z+f)@9 zE=nB0qrw;4gA{Be-~M^7^?ihIcqUEZg1+}GwxQ%@=2_P#-=TXzH9ts=O3T7yDtO1Y z^1-zyuD-{?#gL95q2b;-+QEUQSB25p@R^OnM?4;uMeO9)j6qEE7=Z7?h(xUc8q!0X zr-NE&8{umOMwt~oB-5QFH3wc_Nv+H(l>^BQ6h-(M`3aqKSy^qQj~Hc`H@L)AW1ugA z#mxkGWD6LoayBzr(PT_(F=MMSE9R7-x+{pawFac&D>{GQj4p(ZtObuuljhyaeMb`kX06dWC)MZfvEVNlX77+i>F0zHP{?vmOIZz7(HtN{d-tDt)pfuW8!;x*}GLR(9AZxaIE(c+g&E z+c)M5GqIpjfw7)<7lSlp3Y!+0e<}C!RfB;`ZoXV1Bgd`DqQ5wXtT}9x*jlDmjNt%{ z!?R}R1Bbc;OQ`6e)){_+tynU5l9?iVIaJj51WZV9T}qobG4q z)=eXxJ!g$8PG)qUE&rWUnLXT+a)=DF7h{~;oN_eb-b(JV=A+ElxtOcNL=l4n&EHCW z+twwOY=r+M1YicY9b=bGQ(k9&V+AffK{4C^btwcu)C!Zk}E>(2Q3(Hm`yAI zCsW1W-@mAhY)uVz-1*nc4Z?+IdHi-1Zr;zqbY2}z>G|qjjD(x0eAhQpf0SB2GG--2Cwq<9N<=-*?if_qd7RF-ToJ+9Te)uorhJrzhsf%)L3> zOKRK(BXM!|*ONb7)2qMcF6H3;7I>An{|rcJ=pLs4E}6?Dg|V&UH1=1V2?JqoGy;j$ zdaB)_6B~v~_&|kHhlP16#6hi3e>3Slah@KFzPJP$TkH;`K>#n;C zM@*zZs>6Dzfxse*p4x{RssHX_(75&aT*Mlb5l~^C`T9@}MjNr3HzrPIh_F>-&%@A? zIHUE0iF8D}oN`zh9kd|#Ea)LKQJzvm<3c0zcbq=++;RXZUWfK96Tg3xydra@2mZ-- zmx)e6$p>xC6#fk-YLkU~SGTmYb^i(}a_{$x56VR%srE3=`w-U;m@R zR3h08N_z&(L^b+{_!{n77ADo375VHT@j$#VpVu8Oo;r5w??H!F-g$1wqzdoi>w)qnJQY{cbolpaYF2KgPbrKNM{S62|h_&QQyu_Uh#fnop{LalT@ zPB_N0Oy#cd)pgo_!&LhF1}Pm!uO;7JJN_DHb)VF#m=qpF6nn?wPUq5Y$I@=s(ypoq zv9W+UW>Es-6O6A)4b@TqxyI|zLTwqqhi}y4g%Z_+)*e?Ki`gsNIl zzlRN=s6?nP2B>fLwGmT4{rz*8(%T~)U&eqj{+XHyoFwFyG7F2Iy48nHskzWs?p+~$ ze~y8YpRuNN^3HWdg(%&O@c8X)qVa?A-_c_?RK+#QcR%JY8sD0k{a1@oo#nX|_sRBl zaI@exl-V8gKldM!8;)>rsU)B4Tf;)#LU-I>sPXE)EXxtB%IqO}T=$%2-T#3aHu77I z*WAL`!syjQxzOc+S%?jvy~Fsg`^kPQIP`*9&q!B}Biuj_N7*m*7PuDVBq*40q(DZP zc5l%8-fZeG3&#=X@YavkCFHNku6tk9Oi;LMg?B5X?w*IH{sL?n+9=)x+!%fJY?YX^ zKFjYcUrXlb!q4N+m+g!PHdHf1Cm4!yh^pT2d^r1Dk29MF+oxx!Ba)d z0A4#fY?hGUzfA?53zFDk|DdhRp1IDGUzU!6u~>i>X`Ui4@G86EuOjm2q~qq?&p`AS z2a3$Rp-bwJ2TTZ87!0$LW9_4w)1JkQ&uO~0CaZOZs;6_eY@3TuPnc6R8kJ{qXq2ia z*u~s!y4!fuOmi@WN>QhakDzR4SB6I{*QQnBx~jCtqwJ5Z4$o%Z=?t;!l&S*>GJ!Yv z&5SrKa7eIMF7jtM1>A;~)ZBL9oY&#(&p`MJX^zHf8|qjam%9E{F~=MBQI0i012GG3 zP2XXe0~tEgT7>waG&gN+ud}KE{Z6WAf>+~LduLv_qQ7tDVsJ9*8ut^Z7=~l=SL!cJ z+GP$~i*t5&=o}3T;dY+%CD-M+Z&|IFNfhN$;qvH2LA=iCA!-)#9l04}qx=9(ZF$J? z<6oWM0!eXP%~KBf-OLuK1FvQQh%I&t}HJdhM{P)PFlnEVS0<&m8p2Uw8N{uyYj zyJkv|8jkn{+2xJT#iBX}yL)bziGN2D*7RaP;3VC!iMVm&YjQbQ2<+AR^ zy$TQUCWXq=LynIEPE;5#t{SDFP|nF8UL%lbXh?~Mm?w?4pNla$ooP589>)hgo?6s^ zOdiMdYc9Qz&Y80J4&v z82g7jRoL;4j6tLZqg=qOvE!lWw{IR+gwwga?{J-{t*Mo?lp^VXn@BXwmJ}5^4-lV9 z(sF6~&h?D#_oZ5c4n7<*I?=gLWe8DX*XL132a}Pgh>@AhS*4lWh}36K3*yJORC?Z? zV^;Hq%P6bE?_xuZ*(zp!nLuEDyur%>+BMBB@CRZ?d*b-Y1%$@$G+@RJS**2zm!S+M z54{`yp-mdzntzcqW%yEcZH0i>3G@`vW;bFqIl2>W^vyxfkR5dpXivLk)l5A@C!;Jv z-1t3#N=2#vc7~64_vPcK?dRc&_D}Qi=c(;N1zY6}jW9in80G8S+{;S#Zftd_Y4R#6 zku^@;)+cXJB7E>=Vs@vVZ7rL{gSou6V_}g^J2W|0Lj7+N^saP7i`tI@^fP2R{Qt> zyaz-sOq$n+n=t#{?RRBquFVuSbhe=qtiy-WIn7n(3+%BSn zZhj)fzr6TaH@yO{AAh(rrNC?|P2;g8le2Nseyp zhPr`6{EMQ2gr$t;%f{cW_Qug6FRO^TB+1~?qk+2xgOENzls!+m&;9K4H9KyduBGle z1e$@ZbP?`ezveZErHA@X+!zP{K*I;^UR^i$m1(dZ@grHq8{DJ;Y5&Fv9JKJ9;4Dmk zH?Z0w`6r+7HQbc*G0!<2Dt(Dbv1T}*AY#x}VhX$A=xAiqW&G=HAQT9BKB26U(hq>S z#?3L)yQ%x;c>Y{iM;EgK<;INUV9K8B`6Ql3fu0y0;(#J$OHrWQyDHcu?4*NNry8s7 zzG6ZGQFGVirMsfxX1~7i)j!*&t)WT^;l@=lpdvC5?rX?uXX7Ou7QV=@|4t7#Lis>% zSWryLAhi~s*U`j|vzJ2bimwHB`b%P|uagH0C**!^5MV=ADYz?=*6R_K~dJfVg$bD!t5@ar~WNxShNdE;A4`f=rtkARqD|_BfX6L*}(QoXrd-?2z8WwI_-;#W9kd|ion}?MD=W* zxU;!>ft}T6HVTSNFzmcwHj;D_d|jqZ&MM9uC#mt4jm6{TljA@xX|~E3)Cpbe_wSXj zHM&1TJAM!(GN|@Iakzk=7rG5l12nd3e~Fp?E-a)%R{ptL@KF3p=Wyf&o2jI~_nnVs z!u=0Ru~3wF4hTbHd!r?9zbjrJhtBXrU!pzzLQGYPqf-fo(+5>ZGR+^SVxydm-e^ML z`ba)9@0rWe32Tl}wts}O2hha^G>ayC?>buAjbCS|bqWi!Fah)iiI)gThp&4EVAMPN zzpo=lp4u^o*!3&Y18xDmcRL4*%IEILrWh@8B1Cvfq~#4foMw ziZ#%vlAIOjNwkHM+dWh#VSV(ZdOd$7HStrjxQX;;CgQqkcww!-Mj%BK>(Tw|(Xink zT-`hHGNL_uv(rbP`aJQZ_l_|PfQL$F*m_vMV37hNk#&|SzTi>cx*DW)LFI|XSLU_R z&v}e_dsk)8i<*_D&yD}S&as-r@l7xTC-Hbs!RBfGavHBIEi4i`&1<}~zeQ8=>IGW@ z)z5mgI}rYKGn6Uaa)k5YpLf0z$*luzV@z$ML%?mWDdsgUNRI7UpLO^C9l2ogIVo6# zEiy5-G)Decw8AM+JPk#-oyBhQPW>CVtJh+q@DmxS^Tu7hkc1_B>g@~+P;cuT%a*l2 zmM!}%beBg*)jNk4CMc}#!3|YicVJ6-LoZjKCH?E>4`U~BR4fI^EpL;lzbJw9w{9G( zIZ-Hf;jU4-+~nr##T^xzBcYEMYfpBd0zPip5fjuWf1`n=)b2$H^_|OpQ#$utu03ma zcz~rU3V;o9Fm_^ioD<AvQ!9B8^+IGGql~_1MCBrH$4CAI=)Cq31{6M6m*Kb z-wQ(-tsBBN%Bne>I%keyoMAU*g`JB_YVdhMCW}JL?v_{T1mqM*?-FY}t`3q@NBbC} zV4?S8c0&=_&V0ZPmiOz%<#x5sdiDE{3ky_;gcTy9z=}Y03+Ty=y0blXv9H}+%FT!? z@4G(tTQtS-$D9=^LRX|~bw>qN?O>%?Da0`NjMZ?Bi8Nxa8#RU#f`e`;Yq)^^^ex_3 zl0N}Zk#nhRY2&NbXOzuO~y3w+>Jj&`?030Az*aK#)ga9pJ1yzG#SBU-y~c34%6&>%K-Y zzkmEBab$*Op}W-_bwpyh)e?B=acd@BDM6LHLP`xjQzdI|j6k%h9J6BS*46(k_4&)t z#Qz|Cq-P7+QwNDX9YO4!#exVut&)ZQLci*!mJ8u7f?*f0s=rY-2Udya%yf)%DFH}0 zbpDmpg1*4~vlEuCl#Gd4TgXsgHX-({lIQzoS%*@)JU$BYs#%yj5uDTi?O??7^rV1) zQ1AA_H|8gj{CG8=-EMlwTBI&Z)8pN5eQWe-KJNOm<67DPo=Prv{`9=+{kJK^890D4 zgJ)OYOyMj4Ul;voV!ivGn_gZCGx|D9rAKeMb!uTXq>(cZH*f(KGbSB8jdB2{zTWf{ zNvcs796kvA2*y6ZiEMB4z4W;Jp>>GmP=sy5e?$0Uh+Pd`Va=JmG$P|S>Oc|Y)`=S5iiPL= zb_>K6G!1HTwj|$)kilA<7K-)Z&?Wq@1tK{<#jhaywk^hnw}Ve-d(SH;-s@J6zzv$- zN?X3{YJY11NZ#fzb2%Cd$%PD*5|r;O8>QfSl&+Zv&b~u4WKRc$FKl6IFYI(~>E4t# zo^sQoMx!coGozutAt<&{hcE<)?%DQcL5EFMA|4oQ0{Hy_I+<&PPU@n9@mmdKc4i~~ z>hJxbomecf5C%BCJ=rSY~ITx!ZtRdcw zbdd7`YJ)Www_)_8#K2g{Vfdi^%pk_)L@e`L8 z&_>o|IJ_9zBlaQ-VE-vvhdwSM^Be@o@hIIlhea~#w0n7~_s1h=T5FjWlYgc4$y~CH zWYt6zNVyBDf#=Bp9DCL2UvZ_n98l}BG7_yxFDn)Uo@mHhJL$^AtdzpjMh|(&wIH}` zH~Te1ElDPCXLh4=myDp=VNd#KV{sFZ#ys*IBxZ;hK#DhIpT zEcLm<0Y0yw;jHvjf^wNcZ?ifJX8M3q=#2|5+g|)+)!2Fl7bOFf3AUUZdb8b<_E}1= z1JE=<%_yte^68ubGOAMn>Uj+yWQ~^hbTCrmpIrO`Ld4KCwHFjF{hC%p5D$}l#2t8m zsBrH@ZB&UZ%uMuS3*G-=`Vufm(jp8Gh^H8Xd4Y^|0B7!TK;GFtH={j%XKoD4{jpKK zWMcDxh-be%dPw3H1YE0st+F0@_275KbL0UXIm-mM*Z8L|7h0!c5Da`I&~}Woj$BZ$j5N2iP7Y2=zHbH;Ofv zt+HoEhQ4#_7bm*BBQz_uR0aK11aay1py_PSo|T+JuO*5B^F z3D67!_%HzMDnuyY-vG!>)GUHx!lbH=?%$1&f;Ui{L6MF$LQY0+1{8KKxzX-I*1n2Q zo9?SSW@`s&wL`$(w3}{|zA~IgAR-g1yygSZ->VLfiNb8*ae*8ly^sr{C)ZQ+FDRK> zmQ%2kZ*C%lmIz=N4=a(LOlS7eTBarOpuS9CrX4$K44 zknC^ruoxQe9-oi3Ol0qM~3&vfw2C2gAJ4MC;I`1`>wxqlxr;Rsz1kuel=vh z0zo{QPQM03L}`)~A{08>+2gN7_b;fqM%QVzMheEnJFfmw?hy8@DeRnId(L}ij|hMi zfO+VJN;NGJ8$l`JT_r~2lGT8PKRRf#*( zmBgqHB%|$5j8zu7xW_#3pQM!EU+Ur{|Fhb<-;M03w{kpd6NG*^rghpEp2wf>|6=@d z_Yb%H&L@?dvKAD8ta?H;4*EAxGUXwRvkxaH5&WpnT18iTUN))>@f>Q z_Oe`Ij3Ez6lU4-;&QE9cvg*6J)+pfAW<8umwTZgh1{>2vKt?+UF}N<<+QsMg_IT&n zmZrbz?EH4pf-J~H0pQGsLLUxh+T23S%?N-59HZZ%02}7FnyFfS^#APDu^|i5Ja$M| z$c&#bXP3Fu5bWWS8;q(IlD6u8UfM+lsD?5PTLmlgKLe3|E#w$)B+Bl&4zt4y$G-qS z$ox=`u)>hSZrUUYy4)(*X?YL2^DOdOR);6YpzU`$YkBW>_#@-LK9jnPUJQ!L67fK# zdB}CLZ+iTrapxas2LTZ%*>QISDuLv<0Ogs6YxD_)P@U>)dv&h?NiIM&G3#V%V4f z*;Tr1@ES^kw0_(tN>X+G7g6ZI?NViR-?PzHSU@j2e49fH!6YrXh&XES+0%AOz(;*6 zedk!ygm$d)31jb(kI{b(vjWa3QaK!uulU3$amEbRkP0x(%P2lhV>F**2i3{D$WTKx zSK$J^eqc|*pjor<0}EjxXk!C}DSn0YTx*1Y+_gBL%pf4tLh8k-vmS}7T$+j3Y6o>7 zO)D|v%n%*{VsI(1(0; zjZ+=H@>7+TGl30JAVNC<^8D9Q>DCPVSlwZY4tHaHI-j9KQVylR75V`AEdd3g=6}+HH`T3y8SvJ z?YqZ*+jSWGQQYOP|Gyy^C%akgd7$sSZEj%^3j^CpuWm9&4*@FlN9aLd~FoAn}NusU@TY7ZY8~!Qf4jat2%dClMMRjUzK=OaCV%gy5T4po0>Lszgl{V zbj=(3wlbu9jWZ$X;VRa~GZ2=f%Chxm#3yHFSS-S5R$Ve{{Db#^N;r6=vhywK z%!`~XphkQvb`j?`NQFn*q+=_ZVxS%>>Kud$E+{C#W(zyum_ zX~4y~W)4#ipy4;lceVyaAx$SMmMV)kX&D%@jm59GDy%pl0^T$i`h+oO?=RK7X1e@t zgc9u}hQdZP^zVUocazU@eefg@GPgm)dEcNAGzowzB`$263iZ^Q@IZ%`d%EGc^D0xJ zMI^J1kHo>-y!6CPx;KU+<+D4w$O!f}DV2uBBn6fp%v0=wh!EN6%y+*ULabT>#lh-h zw!EUEBGn2c*@M;5$}rC5a1C68W6C*5!Y9SfCx5E(z!Vk=nx#i&`$uY**-NIV}!-- zk|_cD63=6wOk9D{Pu6^{794zo4t||Z0o|ibr8wL4-K-A_;NaAXvWmP~XAv0s+_Ho) zs=Z+d03zdat4Ac1JrMvu0$Q6^Dl6Hfh=_=$qaz2R@0*ns2M#-hEiKFlF?H~VUC53G zqVo-EKAY>j)KnTz*a;mc_5jLO^i){jYE3g5CNfJu>u@bZStM{e|HYZf0DSzclx;cXn2D}d;ZL?@7@v81=YLvSGa2Jfun?ETZ3#W}N91Bb zRutt0%Bsl!fNKmM3WR71z=>i-7G!Dw{1YxWa;T-QK6QPVUkp}Lr>mTc+Ax8A!pxMJY#SBUzj_@Vj{X15FsnA4nxc(sz=45&<0*KPM z5dG404kZnG3FUgPpcVjZYY)}2ZKD8Ni~vTFwrsk0BEaJ{lED_ADZnu(2}QW7=`}4%N+H?fBJ(t*ZR$5wnX5fa`{GA9IlLkn$|3!jcDnhutbG;g=jG6z zk1-QhzMrrHOq@TfY=7VDsbb4H!eiM~SA5!Gg-HPo*zNqut;st{K8U*19}Yr{&bxZLKu(){75# zyvKhZ(PA228Bc87>6-|nG!s&XTd7=5dc5*c+Zf2Q7^xSmj`F8Jl3-Hm*>FAJHV~7c zUGCr)#7>O|Aq+;TD`va?H_nx;n5XrtXP$p45@vuPZGo16565Q*vx-hSHeUI~ehgaq zX&JzG>pmu$kYEEP5@*cl0(#y2OQA(Iqqp+qHMS$J_VDXjI zoeGP1hKB{wCah0>LZkGaP-b_+sR>>bQhCbBGH?9Sj_fEkeV3>3d**X6g<2&Ngy=T)v{1Vhhzp3o z43ae%4ugQ{9etX-_|DD40@_opy%_W0^MnEt3_bA7|Nr>&-7aFH{J^aPK&lT*gbj!; zrd;`=PxIox+~jaG5E#J%g20fEmC@vD4hX8pF9=2`{-+tAd+2!wn34(1IsGxhQNNVYr|on*jKQb(1c)i1;DLA+Zp491 z8Da^5F)P!S;VIdX+h?&`Z|hv2{MXM0dLz3NdF`n>=l{d!Q1cBa8~`hs0%Y|Oy9>~< z*knBceR)T4@&d;-1{n`#08|cYolEwxZ5jajzmj(+9z7xj4qW)gjhcSBqozRt+fbth z#Qg>8F2qu9qJ!bn$ok~)@Ey>F;{eYs!TZEuY_t45)o^9aFYM21>8Tfo)LFP^^D^zf z$(YHt*y^O^LU(%T5m;MIZ7l~OHlkcM=kqTsDUkPdTp7#<(+PvI3C3FPH6JjIxSy$8 z3`})Vox@+783-0mKwKPMR#{1Y`v|a@=iWL=tb$!oCdg!nDjdv4r>o|tfmXrizH_M} zwygs{mOo|zc$Q~#vdL7=Yc}E~7$LoNk|Mk-;Hqil{ zj#p+jHo~DtJAEb=77ut}f?OW%=lDeb!Vh2?o+3a5iABtB zLM=qbDu3x#lTGNz>xY9Q>n$KQu?kQ;qF3KRvhdyjTx)f`Vv8;kT^YW}Bn#OzlT9zYt6>{X(f{I1n0+s_fRJpSnO*Ic( zuNlAT)jXvQ&U2QMS5*V5_PA2zqd+|$vB3-d^d2*svwj4!>y99|e(9wPm4t+ZnE%El zVCys6RW(#)v-rL8$teXJJwUnQ#@G?1(=0*O+(cfb)t|A)z-k%L*!0Unx#OV3A8W+gHUIa0~2>rBy`JA&ZAATG%JTfu| z3XpN!I@^Kr2R));k)YJKANuKAKc)uplY1V9`agb$Xd4;zfe3jjVvYiE%5Frb0;IJ?h71w~ z5F3r%#r_@824R^AKT(*zz087GRv~VNTvJj7(k}?AQ;SPVRCzPzs?Zg@uWME7ocuEUBy1HF=(EmHQx}8eqfR>aDty5Qh&vKq$_dz8 z@W4h;0LP0VklHB%ZVC|22U<2s?fhERA z#welwYNwZpYww(T%+ivxD@YL`R)b(Tn0x$_@AQ`-ufzk6gfoA)0){~6l=(tiG3k5o zZLwbMh{PF!fN%-F1f-t1z5yin9{3M(7n=y=_zcJnfqW)Ts;%!QjUf;piAo9o@j<2- zEco#VAWG%8c?Qy~tp)$_C5^}#h3kfo)JBdd zGr{{(f!hwN6yXQa-*y83G>&{K6&fAi^w)#aA_MGdIG>HU3CPG;zFJ7RSk&9wi@ecq za4Aqd9&m4}C!rHg6M3~#VDa(M1@D3)Gr{7{Xac=*%c`v({(ZzM>0?T#?yp7{2$00% zfA0v4)-NwBi()54oJOO-{tiq4L1-1<9^5{GV4zMT4owJ}&u~~^p%62-r(u6wVd-&- zic%n693hJKPE1;wQ=&w{oOAL3T= z;%eU&kgP=nY!P!q#C8b$BqB!Kdd`p9M1yM_3WZp^z*&HJO2CzBxVpNsqaXtU15kpG zN+%(>ZKj+B0~uPcut3n^O2Y)Wf>H&xPIrWY1@Ngyk?%7jR{41FDC+_aJHbOKi&3qeg@ zbw->Dy<80s`pTE53c>7z*ml92=MnQI@S5xZJ3FvDxdV=Al;8^rUS^0}7s8PNm^rAn z>*?XlRY7LvR(BQ-FvJxXG%f^B_iOV)&Hzr83J# zLD-o?&QbX4v*2obbl?rPZg|Mkpnw+>pb%xC>DFK@6j%>I1>PL+y%&$(CIYb_0cRED zp@M6{;Sv)!=Nd1Fx})C<3JbpmgO-VqBg9lJo{G!Z*cb)a4aAEJ!Z@N!gng?N2I+QhiJ1bu!X*bVTPH%y-X`R{3w@W0%vM@qSP+4sI~ylw)^a+HpSp?amN HL)8BPAOT-=lA(_95{5a@4fe0bImp9bzO6=`-zr@5(yz4A%Y+zD$4RY2!a`eAQ*G_ zxbU0n15@AOAF+oD1`l~xh+ginBn#rEMt z7k6=fe#ig)0H3p)4ZkGKM{;-wfs688cLX6bNB?5Hm&tvAAYN)J@;7gLr*2F?^1l7! zM0oq?t8~)cQs)HnJzk!h_ub_bD9$T9C@)tiG_-FTeQS4%*KQ=ru;kD%UuG@1u;O;% z8=OyUn0oRQ?CbW_=Sqvpww7uGiDN?7JJqafWX7(KDOmTWJ`xhUzbV z6S#bi7>fn2Y6qMD|2O}CV6YgrL6S(TEbgq&pXqQzFoId+Ka0U?3}Yp-H`$f5iHOh$ z-L=>Y6GZmpJUp)N?(VWp6T_;lhIDnQ5;IAP4)#Ri<2D8e&=MnJ!ehbz!xhB9Qv{V0*$@1r4^B>% zMZ&mOJASxvQ$>ZQFOD(71F~orcf7T9b+IB^C|2H)EAXaiM5LxNyubZHS%l*<`nXnd zZ7OX&J=|)exTz_l_qQ+axsj(SCbD}=GF`iN?M*=e@kOOLwQ-9+W7NZ+&VPWB=xK~wAx)ihH<(b zA;SXhm8}%NIZ!RJ;9283>%VW_|K_H$s%rD^m7$VHzkbdwUeW(3@8%{XeY`CfLoY&V zS59~S{CRF}?ncXasc?GdS_;K%iptpl31n{e>{O&Jo|&xNFg7?Cv%sJvYua~s;FtKq zufHx!XU zFJJy98Q2WVXB4_g;yuFBOiH#daf? z*C)#Gz)1V96IRLd%LCa>mJFnL={~EMY7bZQ#~T7=gsxu2K>8$q5p$})4mGavG@mH7 z8n1Te`dG6memsXK(>PP-iw?yMes56iW|cA~`Rh^IqhCEDnOfY%{zsmYXUD(1_ahI5#$+V>=JmxP^=dTo7wv%#G5u(o2)IRfQ ziBWR5%&@l!<8ghy(nG)J0TaYa~u?kj{)HyEDrK7$tW9(7AKxPRbE~{ei`UmBF`(>?(uc zo~#%NQPI(p3|H@WkUwY&#&O)NnGdJWxy4tV)8oHC8`yBoX{w4ZW9%srU)2pd3C{xd zD2wfS)3d{|!SNDH3IAU3p^F#^1$y}~v`-I)I0=G&!&bzNzgy{)hRt#y-IFS&Ygp^; zn(|96L)!TDwFf$tj_Y~7r$x#--ZBlAIKD{sv!ONTp&uIZRNd5kMv<$lc76x*5moD@ z-Nlc7S*yJgdTY!-^2$M&ezRsvI)+h#y0fzr-SyyRHB609D7kRYc=0hy%gRDp67k5G zzI=H?IZ1_;F6M4sGv>3?O5-|u*M{}tMJ%5>rlQ(i)ta$a0_L(Q)$USK`zw2!(?kuk z@!HvnIKE1Me55KICV~?a6X#qnKmX9P@6k1!r#tEAzdhG9C;M6#;vNHol+ULglK~s) zqN`V}zuK17eEs_B>SU_@Qg0f%S$2Q@G8dqAX~LmFZY0YjLEuMhe_eeg?eCMaSmQg( z{izC{T~$Sg1$*`OF<=P4e%otR-xF`SbaEu4PFuB6F}c0nLgppv=iTMMKOI3rFFg0k zCcP<=;^LbTyPdi%e=?@{+#Xlex1~K}!7MkZTA3;xM?T!C+NwV)wrC~%nkq&KSrWX4 zdFRiVX{8w7rAvA3OY1Q`)*(iG?XXo@le;G+-;J$>oQ>L*Gdlem8xs!A+VHGlbYJRi zovL=<*_(8}2-boq_EN&j2_~UCtK=NONoAr&qy2RrQc~8zb*Cv&@LtY?a-BSfAxj+O zUZqoOkH~C{{l{wD8!VE~lau#XJ=)?Jqambkxl|i9rGGA}Km0Jg_Vx93qG%d^(itxw zXQRMg|94qgYzHR+!((HMwZD4TM)n8q(pNZ5fBRWqc(2l8_`UW9rnP431)qk))hjU! zV&~kd86rp-Wg%Rp`|YZH|M3F@@mwDt$Q2Ge`7>6v(?&m8OG?5(ilHQ!+dg}8Q(j*C zV_qHsjqyW@8J{&?G{9I{S$XeId+q!l(p-cnK+2@Ar4{>>&~s}hmfoo&t| z2M;cxsYh~e+_Ekpwr2A)QBlLG_>A`=34@p$Hkr(^z~0vEZ0?@UtN@}YhzHQM6$4Vh z%24hi%!RU7=FE?Zn%V+JeXyb#7$tM|x36hYufX6jcpeL24h01TB*-SipZe0JOE0h6 zQ~&JCh_7~EvgmqtsV?9I9oBe_7k^Y#)b?Bm*+O1!x}E#izJR@}M!p;6Ri}q*g8qjO zuU)@hzCyCzS1qyIM(;caf4>w3{J9dtBt=I=&C>`GB;@$`7`2ChRTmZbfrLT1-FZSH zqMd#@viSie<_$O7x+@|x-WO9fxZbI!ghQl54MF%KwzH$7vFrJj9S98;Q&q0syPaG$ zB(;py@a7VS2_ebtMl8{_f-;xm16MS0ZRz^vIb%P$LUQ=kqNMS@P?Ljji|w`W-%})d zB6dA|G2Pc?`RrxzLL<*5b^nmPd-p;(DdRWmc?^p3k&(0KE&&1UQB}(rM)iJTz0yYx zw8Xggt*tE}YHko}q(3-2Ju#?qVFjSVf{&T*yIKACfdjvoWWBP;V*q0dYDUkm69eSq3i%8R3HX&V8(J6Z-}(rpGE{c116baiWfR1R zvbuV#%dNxsf7C{nm(K^$6+6#L7Z{db{=Q@a(^uov-S+%|Z(Zfegp#2!9V47ZNb!{R zV;@^#g#^5}=MpjkADBS0)t=h6`$~cA3-1WYPx+1h(?>as)~0#4gk$V$quL12AR) zqd^)Mcjg)&V>Jcp-?@`nRYeP-{-R<`)fwJGfE?6$vN?Rx{bv2xn;9(#Ql zpUSzp-=#DOkrv79Dpe)~TLh$7l-fK;2aE9~Za-8DjBBW` zU%$>;G(AF`(jhFX}}ZMt&}i>FLGp3 z*T`pOjVzED3I9 zc+C8lE;Wtlo5mIt@GSrFN%h~GIDl9_nVS9P4WcQzgY8uPgBo@wJbdxFzRAjnuPbc+ zuNgAT5W!I7ez3Dx5^w@Y`e<*XrS{RUH)Cs0pFa;%h^EdgDG@xV;*LUH3N}7rpQX zea5#*^Pol}vESbx$>^3xkPN?F0#XLipvoB^q9iWOHhBH^xMlo&D~)Mr`y#=;$;As; zW-%_l3I__8276etxG$=lV_-6scS;;Cn^ozPIg@1a|E&$QmKGf3;Ae_6f&fO7K~W33 zLD0v8OT{=hoK#Hyf<>Rpj+bt3XAX=BJpGm7y-_~q(t2Kh4gk`4sTC25tdBRn8d}Co z0~!5#_Z!aq(L9Xa0ysesLa~wGPOGhx6D~6DAZ!%y_Xo;4JU70Db@SB_|61x(g5;1g zW>R8-15_jm#pAG)2jD|-EfHkD!OWsV9!2ZcEEe|#pfzX)2kvB=0UPgXc$Ar6xjB$S+LH}v%M zwqHW}YPKjbgK&M~b0Xg=eL%agePGtleG!C%C^n5E=0&DMXQ0Q8+3uOT9%q6ULa)pO zXjziG!97V>$g50zH?G(I8NF9^un>)b0N1sSx2uZEibTx_Aqu5LkeMUF29_s>e-b+H z|KpZmY=>{32!?Vs+i6Vw9;1Y`zFyj(YYl~Wudmy012vcj?A4y5k|gk8FlWvl&FKbp zKG)IwKJ{oRt?7ur;n-CfhqU6#bKD|edec#3g&oq}S;BU9- z!jjCHnDpQ8lz_$YPzsdpzP~v={^@~kgp?fz2gkNgor@>~3bemT{seXA_HAqgr4K3l zR5t{8_HsxVJHLLFx3;#9Z%~RNAr2D!@`K{yG&Wn5kl|YfJf<}IlCe1Kx1}4*&A}`W zy)(FR18lxI2m=FrXz*kHcG1xPJ5n#2J}&)elFQ{(vmyL7O@d}^w6KLM!!P(pcd{kW z>4R4O01TM&-(O2!RR(Mjo*^J%AqDp;Nkec+?0$JW3tw9PuWxUU-gEYNq><7yx;Q4I z3n5&Ri3}8z$={fxBO^GzF=b_CCH_Zy!hI6ust3b@!xAuuP@f+A%=yDu(fly z24HvZ%ttU+RBsK-Mx}qsyg1Kz16g zH7Aqbc9U>RRi={5@DBS~HXdVFHW9}%?{V8{I;gk}OH9gu`#i@rw>ZsXJW`>RwrFX@^vxKj^)Y!`@ z9ZFzNO-;o_MG@ZC*T=fyGN1-43q00b=#>j7QwtCg6zuFS$0%M5*oihZgPrM?qkHIVTpd2zsrPbw&02c4P$!C<6$JedQGIA$3pBjxS&vOYEr4jjM> z&BuR#33_cBp)`D~=(_LTx^N14YUkFzB_K0e2~QrrnsuQVy6c32un!TWy1IJ&v&WU= z02#iz-#Th91u#Hs6iG}<3TZkhX=iFFwdyYR`@1_QhVJT2xd==I+;IoE6TSUtK@)_& zZBU>p@7^9Xrf;5aA(N2@9QLtlfe>jV3)se@I)8rtN3tm?)302a69RpcM;vIxgY?2Y zF)@LzXh?kb4>uG)0Z+VY)B6SF6U!+OxV(Q4D7B1kdUGjD8MkY081PWPRO5WvV@(^| zmXKc4w5nJ*F|v8elSKClS6$gOI?^KIf8jr2YOj< ztWi$6r}3%P{>(To=Us>w;#lOL+~P~VC?)z9gq--X{IH3eo7?soVL3$ZY>3>%be{H<9Benq z6JXf@j(OM3D2qgJuW~1F| z+R3x~_1~&{do2<8>5fjV{Iig}ynib~8^%d0jDf_B-jk3Dmk5RujJByDqL|tFs1pf_ zvc@wq{{6cI&~;?wVKBVKitc*HwfC&5H&j9jhZg@8U*7Z6BH6=LMi-GeW#grmMpBV~ zwU|FlSZ2@Yk}2_nl-4A+Fg|_uGbW{=1YY71iXosH+egBKz48H%9HA@Nd~8b!zi*`g zRrI=WJA%9~t1|cWG+7>5|J}S{$&ZqmKMe3RA=_uP&kAt*J;Z2LFzFoAAKOu*_hG<& z!a}#m5K+Uizmhi)+Y;Y7D|NI?w91NJx_niDcxqa*@diK35+)RpwEKW|mza^6)sZB! zdpvST>S;;4i82u-n8>rKfLvh|2W5$yV94sHuO2@Nn&!n8gBz@k|BdP# z%tc}Z%V5xKYhe2$J4U&+epQMBc%5JjJcvYN;AZx-rjcKJiYe?%%UAZi&!?kFPPa! zFmKe2v@Z0cZcU11Mojz2jaB(kcAdWOX%w55{d_Pvn9431y!`%!VF6pJ?I-8D=r`(o zobp?`|8o~E+(jO`MIHQXPY6*xXXfgrAONrMkH8R6B)+AIi9EaZ+lh$<`6Pr^W(FR> zo4*w6N(GVBtzlpzHIwbFEbwwF805upD{LR6JH@BsV#f+Qfk4?m>uR8crJ9p>nDD}s zG{uOuO;JXlxfzT~JPh8@VTDOJh*=lpe*xFC>SX&slvoX(2AlB5uz<@0X6j(%Mt+h+ z2wFYFGE-Zzzw}bqfHWM;h2S>6bo)T1_8^2LarkJVS0f%jd5n408nsT0ITFJvH<-vm zi9~ltaQe=MyI0e_gqvXOk*ch6CQ+m}WPW0Z|8wzkjKBa0_^?+NC2z!QhPEscStY?o zx!VMgwwI^t_-?8m`IHv?(JJ8I+Q(){j9|-A3D@=|jrhn9qcb!~D8)W#L})F;)7LQy zDnFaM|MBOp9GO?h?qU4!Z#cv-96_IQ%vZSAkvE@8w(5cqEql+V&7Xc~`Afb9p$$2_ zM}A19f_eEh4Q|p2?*D6fGJS6Ip>#uNl(kYrpBxyc1R{d!gJ-)M%=9m2 z&Ym~sx>ubPe>PwSXXVxg@4w^-H2$EIsj-V1Z>qlEVPkZvJxu|f(jE}w|EHEB>UZE$ z+2;!youKtsTH9-MXchtX#T+!c7h}YEK_IoR^!^A1xT1-(=&g`S5N|r=J6_k?`Vw!%2x=A6YBksaEpH! z59Nt(;!t7F*97;U7~#8#@1a|m1NUZPPSxbOEGUS*di4rrBA}Wblg6VWlX>N22{58L ze-MKkp_aA->1%)41B#1koRnX!uf`}^Dt`<3jGIpn8!sZh@VJ!t?6iXL7hze6_g-W| zZMqt6OpmZE=b8l$A?hha`%7Ltk*(m1+jsZBV$O@?WSUY>ublia7Tt&(HvT(!HIwmVQTeiauhswQ zHc`H=G)OYf-C)3(DE48M*@xO3V4aZ4uCA_xhPIXaLKt>d?J{iDYK;X*B|>?54A!-^j?Py<%T5L1LHrb zos9or_R^(?2VY}kV3HZ7(vMibp5m~MM!P5*R|@~j_FVhBvA(!QTR_Q9 zYCzgxje|}5Ko!6Y0T!fD>Bw$w$3y!56g>|C zga)cW^b?Ag*4$V-E?o_O%i8iLy!A)Ri;I6)A2~*M6BWr^GfzZEgN4R?Y>d|$p4eh( zMx1k91Y$@KnV0@Wsx@EsC;zb_353P|Ju_NbgpVxxeWIW~fuyDZ?LOvsMd?}xsl>7UtL7Kp(4*p$B zv;9G(8VS-Q8*P~qz;GR8$|@!B8ThBW6f8o$uYIJ839oVGrTA2TuVtaIWRZ} z$%6Z*AkvmF^BW-y4$9}m^}!h1%zJD~tgS+e_YX9*io-kxhai-GWlF=SGkk0qO(YRt z8Ja`#AG02TS(TkZ$Yl)dth%A{Qi~UN=aAhXb&4613ik_mIC-^Nkj_BM+eR*9X;wVU zAmitSq5})~DiU-XM#KO=sk-42F^U5I9nD!9&c4WFcyH4sL(#ebKhO8l>>IWo#q7io!3rR~3a*+A zV@fKJV;emxrE%Fvr;B7YXuYCxBW;AFW)iQmk4zBT${N<))(mnQZLH4BBJaG0*ZfO0 z+vje#%f+>gCg>6?u1!jEI~Ff07m^(1^NyQ3l1`9cg*6N#17BHn6r)A@^Qfx49XNyf zpNEPiapSIHqj2k?B@%P9ZUR!2z6Sm}acOof&UI@W?i8x~o<4WEUxRtNz&vkeHu2rM z-ca%O(j{UNG~P31By-HxIHypobq${J41I?G1x)E5Z5QNNkb`5}i+lPha%1m@KDjgi zQpkGWhNehLB*JRhb>+YTX}ofFB}|4m-^`-+@d-R3Ta~mnOeHk61gue(`tY6hFG$sxY7T^$rAH;$cSNlf8_%$U$GaU8=2X zXx3fFPvZXo3{@0OKhp=qgb_%lTI?2(*qyU342vluKb-MimW6?c!JNn${ zW*%v$n5K=VkM_X289o}~&w=}W&AB5>os}_{XVMtIKhiu;;BR~*dME;R{uhCDNt8y_ z0a|IHa=Rczyqb`@wjO+&Saq~{bH}pfasL)6CL)|nW~IJY>>#5ApOpe!y*QXOtkrSU zz+k|MU*+S*hs?E1kC+oZAgyGMu;YC%C^5g|`frVuVQpN6UIp=FbFwdewpHVdp~G1% zbn?49NSo;HDNprSF&|H9wcx$2TjR=n94kB?>j{PcY0mO9*1Hr1dL6DmzTDuSJF5B6 zTyHCvh)E=`O6RbBI6)5vxTZymEC#XQcL;^OquJgi5Yy_k64i5VskghO+&jStbfX}X zR|bVvY2b;Jim~U!JT@bG)*_1RN zKJ0fw5!^=6q=Gx)-z8@y>;;gyKqY#Bg<;=Qr=POFnP~<=fi24g26PpiRrahK)51HP zNq0AiRkiV`2KOUP|N6hmNF?`Hm|ct-XXASUZT`7uV1!(}wf=?ePk7Z5b zyM|Hhl0cAMM!bE7|{J;ZWf{@O+9jK9!W78m+2Y0 z@#*^0j873=bn6fl2sWv8oLybX%wcTg;G1&6-lLM&srOWZ<4T!bc0zMsj^-N zsa6w<^zb0$+{DvV^NbSg1Q38@yd@y)S)9i*V;~w45I|BT*cib8E=TgUb#-j_mp0-d z(o4(ilR+L?<%Q|L)4lZOcBnP20Xg=R&!!gAn2WcH>kvQpF_KNo+3KG)oxz&b_X{uI zU!qH~{8D{!kQKw*-~R6H;T8Lzr%f=?I*3+Fi5{5~beqpotk2(IrPMN-h)O%pntz%25_$HY?U<%nq&L?-6oDW!2c^UkT`6*&oAqu! z#{v?yAclao)XWey@)e)!-%I;FuzIh2ZA&eAMb0socg7^E62g0bX)_y0fUNL1ha>NePUxo6$As?fly0aI+=;NR!HfSmO%}m*NNst| zV4B&UfW2A5u+ z2>6&F!bz8;K~Q-4lgyr42riki7?WKXan0p>JL*(Cge#GK{F$`_q|wpQK!3PPTGf%` z<6nKK3i94L;$cEB~7`i<_|7AHAccL`T4}K2HHG%+#6c^@Dlxx>ZC}oed{005&S;9GC1gbtX&|z}fb90J7 zB@ykrX@e%WV5rr!{D@NH9{}|dY#{mdr63lF=|C{AJAGc^M1s^t zcP2~0%rAR>&J~uHy0N4%xaFyQNZ6$C>w?@xg12Vos^~?QV*1RbwzHQ}4pu*t*c+*Z zqHX{9c;xvjdS;^qcY%4(ia0SiRn6m~vhKn6Buy<-Q|3KS+j7HN;F?gv;O6Itq8kp> zR-q!5@bu}xy!)`-bs(83_jq(Wtdvy<{rTs<+~g$gRt}!zTF5>rM}4HamJPDcdnb=( zem8U2L#+)MWI+u_(_1JVn}dG517NLBpFVxu+$;-v`133J3#HwBavB<>Ztm`QIZ`m! z5InMQ=pXuUC*S4AbA8WmShVrYg2X)dm>*v;EaMo}5bBh;DSa~ z$SL`eA2CnSf*_Qr-~jV$=t%Z-C+fo;tkDy#^eMseQN|drhau9g7bv6&ik_W#7%MnB8MMzT+lwnC=Q!y{U0NKmNCwEIhg{&jd6kA-L;L3h*^pm??Jgn*l8*fOz^MU2a24kw{E$% zkcbdJ96Dzr>VttX2ji2wM1!U({#&nu_irVJ7Piy5_BBN90RCy-{g$aUvKl%`bI+X? z^7Ln+x%{BOKl!HrDjm}P;>aBIS~gcNrALEL8~Ohk!J1|ek5$PJRlF3^P5-TwcY>3o zUc^e^^shRH$w?NK?yjzx$D^IW7w6VRXE2fXwytKI2M+9c+0MRps1C-!t*jZWlP<~; z40|^~;XXx2x|HuWbZX&2t3(U*@@ScuklrL0u=s+HMqjkHkJfP^U_N#-Ec&v@KByOg z_q-=FW8d>IIN?c%ny8L*SoalKR?0VbI?X-)7JKixe7*9O;IDl|ln$$zvYn1Wc-NCi z+qo}`OJ2?j56^FRJiQ3ok1#t2hdEl?tn(FtzD=-a4Cpb?2(S3zfz-Kpngn(gQ5_qi zTRT6Cx?gV}d=6*ev`Ccu5);piiAb zo4NHrud3ZZTWgo>ynV;v}o6euaQ9ir+9^tlKy?TZvt z?Gg$9=!y89_J_NGve6x_R8cdVbI0Oa|82n7p(J>Au19}c3&}XhxL*~9N#O4-Mq=z$ zY;mc8aijXA9~QOmE334pSDSYf@#01&T&j8rBO)ZCVDb;mksQ*ufDCRE8};4MHX$7R zbJ<{8+V9S{;S)-WP)OXLntBa`fxXKXy{CyM_>CFh_Qt8v#ES*Z z#;s52%97mgK~wu>0YoQP=b`HR=U84(zFwfm530FxPurQ`gzcHK{U;x-neRcS_krwW zbyy%d8U(>XJd2HgFs)Ory%ZhCCTMJv`-8Rj8LRW>Zf3y%u4&9yclhYR7ev`u=s`=F z5=>NVg6LqSN&L331mu;tQbl?Q^8yleSfg<+Za(tQu8p_o*gr)NJ7iT56D!0!B;i_- z>|s1AeAP0P@VlA;>`#5RIO!R`^mbM2rTv#GhKroULagdC#re@ zo4N}X0bFV<7LQv+dMqlu5z`xFNA`K=-Hx}{{f^gCRF#qYm@G*IX;gu?bWaWFEqEZ12`IQQvNC4;I z+3}22jZh;Komp?htI02M>6%j(xs>z4Fm?N{!u|Au_GKCl z17j0|RB7*Hw!~pK_Pq1TI+s|I34ki|Xz&}RnT$_MKfKlgvi{ARKIfk8F5~Y4uiSUYJ77`!*wPoLm+`6eo7Q|h*|b)YO3hHsXWzoabKBz; z?cXG8K^16&Qi9k&*ZmO|hb`ftL2x+8_a#I@hhN@kvt4bDmer{CR^ucDx_%&E`{^w^ zUxesAMw4+P#{K2AgCec_nBLYH#w0Erh;}; zVMa^*bqp|bN*eIwu#wg~?eg+Zf-w>fIgE?K;Xu%NjHTGGjZ*HItlJHEtJ}LT&K37Q z>Jyb>>!N1_>7}WcE>vFL6d#rL6_5xn5uiM z41Bzv{Oe9KyE^6lc?b5vk=!#b{Br?wCc(1=#Egd*r(=Yr#k8W6g_9e-3^hkzI$-@g zZ@t(&@QOUkYF#{vK$d0BhHlueA(Go^`&Wuo5Ea`B?)CM}jxij`>9>oeg7yaD6)&zW z{K_U7_ic`mE7xQAP@XmLv&lpE7u)og_gpGB>RL(SHRVk{peKa>ap9Z<0lQ~fSFBuo zv(0=HhL*1rer3#vtzIk}xbJQWnq2Mv2Ep-3{-Ux@r)%q%DP<8s&QIdC9Rde;MPEm9 zYq(J0hpBy*7AKVR;#4ncQ!gXj4k^Qu3gizoiBgYPyEye>9N4tNX95U`Y{WrSLYKrj zsCJh#xI9}v`F+iJ3Fk^Shb|s`_;jh6H;RNhH(nxwoT8Ng_XgnwC@fn>o!+SkW|^z_ z6+XWp_>c9)lbP>78C4d!!a00*>ZubZNPP$vOW5sF4V*Ob!=)#k*cc5}w(QoVw?Z_Z zZAWtTHJC8B!o_?>gH9PQnoP4`r38IH};8>}TEE zlilqW${$F3NXeK^`vNwfOoD>R>=)0##H_ly(KIrvmmH6hISX{C3KiN|)jYVLF))@# z2qoP{ymQv>0O|i?xklQ&5&bc1bl_d@LiohI!h?{y>0)PCF(SEZ6xz4pt;Gr5*!SBT zgA;TI|JX?i1xmuEXDBE!YvocB%_t<&h-W_EL;A2HUdyU1+c>hK+W)A0o?XcJBe@i@-1GjrHdg-eh%R z)J#UK>T!{d8fcB0DV6nL<#$8Hhb*_94B}q)NCO-|5oPo9x1dlc zV4gs5Ybo}z4&U5bsWq7MlvKY?XCDIWTN2M}6O!A1Yc|yj?L0j1TK2E3NJd6yg)a7x z4uASA8kiLM9?Ha*3Vz$+T(&&AgAMzMS%3~y#KBoUW7nv^SIGX8@e z*X0yO$aAs|ldRsQO8s%-(M0Vj-@+SoS9zVh{VZyZoNkm*03v-Qete{=QL*l|^E~@-o{H}_S z%)gi{aKevRogp|zv}~vw2jod(a`xVrn^&V-F`;`JfPMA=?aEL2x>7~o6jq7nvfk{O;)8w&fYcuWK|r%{EFvrmzsRy=CItmEx{BA2*7N6)&~y_jR?5B)MnmebKm( z>Yc6AAs~5?fKcqLmm{m<;BOBy&R-kk)4u*YD{G}DAvxn+hzkAk-z0Vd$n6_H{S@e- z^?PsZ{J~gU*PK6Q&`z~ts&PV;BP7Gy_BhCWy5WOPF*(=X?Q8fY#bRy@fKgQnZ_drzV`GZ;U#R}3nu zb!s-nWIkxBi-%g_i;E;EK&5khJSd3sK-_PuKoaD)Gz|7&Yz*)kX!Zz;k-^IfZR>M} z%49V8^}JiWCC7^YhqrGD%lmiXwO*W3CKJVeiJnP@pU_bsal ztwlUzcoFlGy_^B(fl69{{V)7v^(sLbUYRKI2GS;_oEeQ&Op z4T4WQokNp?s=6@Q*WSG$I7clDVMr-3C-t(!#xJG6U-Z~il_3S(A%1;87?f-K%+2Wf z19B%Z8*apGB#zKP9G~`@i$)k~4-OJxZ+}N!<2%u1#y3}h*lK9@VWo|6WtO&HNZdO| z5q1uXMd5t5u+JJscypMgkaohmkm(KQvc!Xj^kk#vJs&Se?p&j0dJC!c!#!ihy=4$! zpYzT-s@u39^_y+@$10_Cw>x4#;a&ykeOtTBs{g}6rDwVkC$=xf*jC|95BtfPOfS#d z3)QhoJKsiyNGX*tU_<-lO9;pmGZQ_7^)~3`R@>Oct*Db2SO}V2+H%%?66q6$k&qRq zJ$WJk8z4klF(Nv8S66^T21i=EIc2gdWIwQ~hA{AK)q8vGx#^4jD-X47Q5g{+?9!HL zyn|I47GDu_At@Qab5TPZxw0MzuQW<_j{m9$=H%>IkDCx>?c6fQ`DcU}7jUmDTCWHS zbqBHLiNAkd@`zy8O#|aT=C+jzCF!uicIRWm<3E8`ND!=D#HGKT+Xo5-<1Vx_SE(sP zC8dvd8X}6nGtVw~CrO>_(d14HO~AgYjSbjWYhpdLW%|?)V0QbeBe(OX%A;456k&AT zjlZ#ypGNeR_*_9S44*R?{^-1iC)WbY&OtJr{5?`J@N}K~)b|Z3^o!6HI4L94YQ3$z zOT-Fg(;*UP)kMOTWMk?*Em;?!y8efnhUuOc@`KCkwjdC~<5gLzRPEbGY9Jvd}ix^cO4buY9Zh7D_ZFom``Q*JT0)xEqb*~-R~O|H2pW^dG(y$Lw+{}nY(2c67U;4mk#DjOTyZ z?__hHr9c1o&Z%L+tZs;P1ef>O{ySn6$l!iI%BjCKlAmBX?6Pz&i~N5!U=-6^65(+P zTD@q`t<8cjvlWc(>jM|6Y&GS1g@3o6n#IGtS<85OuqSFx1Y?OR5GPM4bA5w zYX*fZ6YxwC<8$w|{6%u)_^?z^)JFa=$ggNv1~(S-m7+%q3j`F~PmlU--JxP7*WM}4 zp_6pGsgQbFTBd-H8Gif%C_;1}y4DS*zvuejA>M-I+V%6`%4gr=w%{cZrq+V_2L}Vc zSvU4xmRI|GAGG+Rio^_BzFd(T5&)8>XtgpKdJFQv?$TR>hDu!3>L8_}%kuLqLqYyB z|3-tNUngcd$4!m1<$(|1$vFs|oF}ocF*=0o63n&8ZrDG`qLgX4fEHHN6QD#C z?5m@Tx$xfr93>5|Y(>HoJ4or2!3;^18B$i$(XNiiOEDf2n)pt6r&8hI!tBRy67cqB z^)B7l>ax=6!r{IzROKH~Rm)~%B4Z>iQ%X#i!=A@BZIqQTzvRU*g7N>V@x$36R7rd& z&IrAiF5SG9Z}Rdk9ml>c9>_o6pC{Ik#|1o&sm@1|x{oOiHn~;@Hn9Bd-Z<4`w-G)D zab8*-zumtafY?z*V`KrSDpva{RyiSkfs=u;w737c4?P;2da_hD|7S^H7TR;2YIhW; zeAWulGu1Qx`^KoqDs!@;*)pX=SgF?QxGGpK8}}$o?BL{1*uhcZ&`$m>Me~O*Fq|?X zl}0y#Bo!VdX-!co%*jVnG6=9mF}qSCOFbzOaMFYURe9s%W-A=&L8adAHa$Hj7eU&J zDsdSn>o(){{=P5osm@#Xb60njkO3C7j_>`lNJJ>e*NzVzM-kFf@szw%adDVOY$D?p zMKhcf9z0H%X3lVonDY7a=LQV{QjmX)jTzCC)aaQMI61fB*%T1~@Q$>cfvDW2!dd0rbgFFqb*NxqWOD7>R1@7Zc`AP>9;CxTIPas4 zN>?aoz`06R2?=`6q`Yp{@6f5=a$g9?8M@!G#w}J!_AvJ}6Ad5Fn%;@5rQ)S?WIEmq z@wct;{T#^FdL8)bJqB{k(O1vd2|O#wJg8|@=^aG19Gf!fuEdFmYYnY7KNY{C@kx{x z`$?8oGj1am9w~Z?u^CQMg{Db(EkJXT;-g1mo6s??kx}-4D<>fL)asshnluKWF?D@a z_Wp&D_kuOslOw(tFbSNB&}tVnQ9?QNCeYVE)FO}_k1Zy}f)lYnjn~2EQ@E3#bTa|Y zp;=vkR-NMid~L&P(5p2A@Ezq zmo>}9Zs2A;{dl;YS6)>NxD~W^LGHWJTpwQr-F|_cDLrUUr96^nHtaSj9>ow4fR*OV zcVP+okEx<6X6ucZXoX^0)KZHHp$ig2t0QzSBDQ6*Wrq{bFW@xQmu>QW)2=<|T&4Y9 z)`yWNvma-oA&||D`3*W0 zlsk;&4%sGinkdKA8lCk6X)w3auM)yAf$tJT*cB!q-``^U;3s*kv*vsRh@xJRu71hI z+mH73M`ox$M4juRa|CUsKAp(eRS;hri{T z-@yqJu>BSx(ZFr~Yu*P{wqCC@9j_*8i#p$LyKz0k!r+~DEWqe_1C_*Ye@H?79X2!q zpD|9?&3$3%5=CvNFz4e`;R_WH2d`8kPBU+7o$adL0|f$TC5vcE%)4u^d7lr;% zIEb}IJ(M$x%bUE?yht;@^CW@&1}7Gk(1q`%jRMZjr|&648;$g#k8M#sP9u=!J(Un~ zpYp0pfFSwu2%mFl%L;{{(5>0c_?(#qwrAUO|C6Km%dKhX#9vM-*69y0;6H}m@t%`T zLk>gDnOyxV+jV8Qmd?*FK(iPNuS%FrQOehISE>F0sGLw#uW8kgZip;ZlrWlU)GE`? zZ%p`CN0F!{DWlpkIT%DMbUY8n(x+JILb7GWL zKbZHUUDt-}1*l^y=T|KG2ncq#n{^a{{OaK46fDB;N^XhS%WH}~f zqIIB>;upM=v>Z@^&gTXnFA)bPX6yK_#=7K~)d4$Az!9w_inY59I*<*~YAzc5@AC+# zVR7Hh4TZ0kpgBcAvu-brnNfEHqzDTAgf*=pAEf}##k_X8F2&AB5{7XTFv(T>PGIUVh18N_L-XlEY3BVSYHd0xj} zcTm2LT?_+4>xr`V2nRhF`NCI~_3sdTP6_l@1+WZFz;c5RPtrqZi~a{ZEhGWHQ%-wM zB+F)YGD8QtYEHK$#I@`)5>Z3vkajL85V@R8JW?LW+g?&{XFm6DVYq=lQ15Red&R7yfx5a9+X zQE5>c0g(ntB|LNc|9*eJ^NjI~^XiQAMu!O8d#}CrTx-pF&ChkZhvOVlM?YGw<7h+- zsyoP{!!NlX_y%t#^>V@ZvE^nDRFN+}yNVrQP>TvpuTMoTkF#Xaf1`=rA*(SEM+N<=y!l}B^Ttsc`IBMO0DAQl?*37c>nyZaxo}G2qqrf7Ljg< zJ3DQp-gU@n_FNmp2xU+1n5NFssEC_g-HHqPGi5ixo0M;uH@LCk<8TJaTG%*;JGea7B(oVwb8J!O@c7i4Ru29vi^L~HI=wRMa;b$hL zmjZ$(sj!W)^aA$+>*X8gmv2#$HC}Hae$B0&a}KSZ`~dPM&Ev7E<=9ua?^N-K8vi?g zxY9mFnTEC{eVC;dFk74Ut=n{*&3>D^ptT%8^Q`%8^hCeDBJwKejw;;iQlvz8qgPVm zbiGm})-}gKvzOaBy}fx!fpBC`>ocG22(P`JW5&N%D`He9HRyWemZ(=?9H!7~#=9V@ zZjf8FHG=<>`pQw+$1g@-iLnSLaj~+<#|paE+Eb4mWMo3_e|g_&`qYZCqK3V%SRt5Y zzk-XHC(=S5mIMuFyf?vTL6_bv=W3Xo3L=->q&}qD_Ia}AWC#xn^2h3SJOy3g`>gT)^t_&6VEkh=GDBSQwMqY-Fk=cnpMHHOhg@sekM$g`Sg-6zIaE?FE_ESS zUg;x>ABBvNLvp5_s zQe(w}saT)M^E`=!F4L*)(1N4uJKfyR-`jB^8|@ed5?S7g_Bum+ijf9&YKh}-y|0IL zguJvE&b>%rU&C4>IK@+Fft6wFw@T{euQ$wv+u;bY5#oONeHJ4G%Ur_?dbd6C(Cg?I zJhoqH=96p>-TY@DGuIXv={frH3aR>^A4cV9u{X>`!OI8)s=?DjW+UK+ON>O=AHN@%&J79=So_3Ra*6yjYA7;dPNxeBrbx9+1rmZW#V;c)bM z!Q5WV;XDr-3x%k%N|XZLezf?TlGqk_>Bdr#^8^h8gj6}!D(mn5dXsgV#)b_Y&zIm+ zTR?P%F!-Y{1%s;_h`|DPyN%udO)BbJGnLe|udg?v-TiM--sM+G@7D8&gQd*LjM8B} zyPm2lUpi)<)^ln^=He5P!m*{JnL$wN%yit@FzmsFs!|w<+HJ*3WBGzqrLt7};kke} z+c&SEW;f#0zI}UjgY7UOIzP**Kpv{!AX9^=BOAi{1f~>esBOCntMb{TmxlSD*4+GB zjk!n!FZPH!>UmZ_RlnW6S0{txBcM^Vxb7Z}IXkOWN6t5e6ph`L_P zmdJ&^BX(AmBFLG&;0~fC)RN*7H>S6^y^BqZEiB2U*V{Tew>~DDKXL^+JNkv_66WXw z*2*r;r+G*1yLfg@d8^Ka>u1uX+dr@x-m9F3fzBPB!@TGq^Zz-obl4HD_^{V)<{G>e zp1I@UphSm_aN~VN@~GQCjwV&vH5nPPHwb*$3`1c0OdNM!NWrqNiN8~?FDl(q?C3l} zBFU?A{-XJi>p^bm^CfRQJgkdqR2-0rNGz9*cE4Z-RneY-vPTsr&|RQftrMAye;$e& zvwI;2I5a2=NhvD1XCj=EuH2fGY+rce&=|yi>Q{Rfm7Cn>F-YtiyG|PWUk7XUaMH?dLcD0v!HGQrJPRN3nsP{5^w|wGk=qcT#eV zYvBfh5g;LZIo%~HCZd?kIbuEqr?5eY*qHCCF!e1`&ZX?6h)CWzfAP5|$gn`+U1x6l z(&#-@;O{!7ioTpO#37Qe*N+Gkq>uExay+Fn2>Nm;gdc^`p4l6NkZrbR1&ci0=g!G; z7)Qu8=>)oh_$7OPg}#n>;rWkoQUU3!!5}PtF6E8`mUFBWY3N)B>I=o2(Bf9e?`WQ1gM|=NXy_a8)H=24 z*u(ee82TzN4fHz5n^`J5|31!N!XB1fMUwh9E5Bla;n$c_VbA?A@-dlVme1 zo~Qz>FcBT|=&5-nSk;EnUel~(GWcySNIFB~;L1S-awdn5-DSYrbyi9I z?&mY=t-kGUqC#?s#jR~@QM;=7#FF{whtWK2?nLDUIEZafr2kBfyxF}t%sK}DiFK;p zkc~ZN8Fy(X4yggx4{<|$k>{gLDm0KUN`oEFH=A-AsC=Iucd&Doy!Lp24}Fk_TOp$Q z4^;S%vBJ#!3aUxZs1Px?5>{G27!v|@s$CEUH$SOQFEwY#mLjKbwOhz!T`~S^e&tPE;g=ydvpfnDrt&#f1fqM zG*8Rb_{NfgZOq&fHdK+r!+V~};=*5W)RouiBs2?Gj2yokd*j;NuOKqf{nYv7oAdFn z8vDZ?G8JLRR9K9T{Xzsz>k25(712W1&fNQ$*SsGj@Rw?t-K*zY+;wMnILOX$!7U3r zd5FSm)KQyP0vlBJ$&}>!uCf_SEJx9Gh><&kfKDG;7Bh2XU1e334N_8{MOhtn^*?3;g! z{9osOUsCD9Ly4h_<^m1z?Ui3JLs9j<(dUPinpyBteO_FR|0FsKvsE(WI=2$KRC(F070l!duCA>>b)o|ScOgmo@PjtOCSVz;s_LTeWtarU1& zlHq@ZpO(AoM<>XT@^#fqgFKM}Iq&E^t-tMCZ5$K${UKzLFS<~z)1f-hKrQvh($7c4 z%5WlXC@*-&r9ruGVy>5zhTFn@f4IjS4#k_MII>@@(NKd$wT-axHSV;ZRUbaMcm}qx za=~77f27BwA)&p|>_Bbx%bM?f7WPsz^lb!t_*ykT$xP&#Mx(OTl6CqyNpG-fQ_2iS{@=B@e(I)?JWzuLc zR@HpMY7@D66?@T+qmKqaxA-TFM8BQiI)npVuL=kCIe3~ft=ohNBXv2Kd8tDGr?JWI z_kcK@-;gBwwV4@`9NxKlZ}hj7-aCO?^>A{p{BuDiqHcbfjQ=%hWQ5iLTZ zyl?xC3JDbcDl#%6V9M^hNZh?>_utRI0`eee^i7|0gPJuIR=CJ~qvVN+T6yQ>>*xtw z$}_I=<79RX?0z0Kw>%teZiWTauB+<$@%QRiNqyr7{HG8}tS0Z0QX*v&t3!pe4_gTD z2#`}upEhBiCm;FtVT#Vki(Zg9D+Vux0B`9+7XS+WnOe%0JD@?&VybGozs}sJ{TbK9 zyXj3>K!k<5;^3NIJYK714Xst{gGZSG$T1bxOHB6|waHwa(0ddLME8)Y&g>Yfx;vfW z);D%|%r5)IGCm~8kZ7s*&K_t;I^xC9xi1G34*ZPpR=MBfB5F_M>^?ar=J4O!7u!2$ zlEuW~l`NqySCESSxDKh3Y?UIu(x4kd(NOAu785jTwz}PQQnCO#OAX^gTq{v1}{ z6$)~QgHH?(%XpR)xzh7M)(6pP+vo<>lRL~7A|eE!1dcKgB$+u+dF#J(GvL$8PmsUF zXcaVB9!fv|x}h-Ygclf-uMeAo%k^otJCE>D(1%GPsQzpFAzS0dOAK^d{!`;Z!w2rj zWlXxcNP{Hga>L{K`JlR_Gp296`k)R!nDIfdp=`qXPM3>y>fDcBW(;WiMHS?O2rfL? zF{m~5nj?JJFHskG@tiO!3R?5zwy@b(m|A&#B;8l;!qKwm`IYGW-e*+h{`amC@#~%r z{v6(ks^_Cyr{$7qyd?zTN?58dwCJ4916Gupb2(JY=%IM8)YnV10|l3Nx}WIB=T(^V zIp?4oX}jUhB4)NI8CfVF(kl(KreL|d3aFKdd7Od@*C)N#$kp1MN9FQ0*!7Ev3u54)B>N9G#IXKkMa8WiY6Qlc$VjU~QB$KGwe4Aa6 zZFvj1nZ9Jz;>TXpi(CzSwD#VJpiuPqK%ObIEkBjud%}jddoHJj|LQ97b@7SqlbWBx z{CxvOJG;_M5!NaKMCIX%DVE zUwZZ%q5F=YddjBt$KM|t+-B^$=uK)67(#$X$$Szp&}>r!2{yS&Wi%14>Gik zcphYPL}e3bZS)GFwRip?*n?}+8_D6Z+_-kB|Idpz^oiwHQAF~#6=$JwGYJLDICPi9 zLDx)o79+2FbwPC}76^VjYIZ!e2Xozug6;x$;h*(Xe-}op8{YYB{Qy-#Di|yqKQTrF zJ1Bjw9(WdC{rj`%nyl@{PYJc#^d1LKAJIL{Up364|9AO3tHPs^4C@C`%`i!dF%k6cL`YSg zSJsFi)1g4e@Oi>v@LO*pMIL4)3T0zpB`V069Rp!yYvYsVo8}!{l+8xt#bf`jGcsG7 zSD_>$EISt6T_H%iZ>5?109iME-N~RD74>3Sm{WiVR3XTlZr#d@#0^csj{Hm|;Sf8w z%0Qg|?Sd}rr;d|RNz2Hlj!bZjfbbM_>963lP3*0`j{O;$un$}Nud!-|{fZ?|WPy_W zvlch6%KChls;0k+ow8~g6lC{1!h0h;PKzHhQ-q2A=f#ZGHY(SFzFJ%9R#sfuMzghN zHbIj4rq$)OME%DH!ZN|g(GiqM(cwDh(05gmIq!Srl2-=lpPQUR3fNGy_PAl|+i(+@ z8~i@pEuV9OWi8-?&#SX_i?a!>g9=6;7 zb&uoK@(pvpRN}Bb3O=`cCx1^{F0o~LpXmC1N3J^Q2zlLA;ud;(pn zetBF4s7NyIq{MB9!YpP#I9c=BE^@m-i`Zw|yyZ`hMxxN5>PxpT1^a!Zm9PoOck_^$ z(kftZ(kQjDoyPD<0pO&ig(4LK-VgpZ&9>Vw{nY3=QK6OQf zfEmpmy)jALNs2W^?${s@nLu^m=cy3&_HTV2PeCqM|hi+IwArj8*x zI0dZ;Oj2cjvyT57!}FO%`CbYRij^u9RN8 zbK7~JzPXvm|As0KNQ;7|>s|D!&%xOW6?XN87@0F~6K~`rC%ul9pVhb6I$Ic1&V?LL zbH1r5poC7y^n^aeC$d#r^SkRSytN4D1O?5gq}nEJ8~b@cGJwsnzuEqK5vQcWjiXAf za?J$jE&p*nmN`-#nkpn!##Y&!^Gyr&-+Rt~2v@(%k%u@mWOIWuEZGc8BiY91$i~;7 zEu9F%9CIq^9qHi*Z=Gno^GGI+62|N?DP%gK(hRj1T($u*KKanTB{icsDp|Q<_Om_+ z7_}G&nl_8|+rMb%jeGPBl;x%MJt|D|yW;TDpeMI4wE%L1aWyBxzR6|@&;$sq*g$G< z4M>XSeL@tDN~yTbcAYKVR^5#9iL2X422NQ*ijQXD>gWLPBBoNeR&wr#(y#MSBu7jp zJV8twWmOPrab|pvp_Impw11#r@H^nAI;Z9HaY1IOOpP8PzL%a@v^t73SV}ZYF^Y2M zA9lh2q~?MqAgT~gb9Us3WzaZHWVD^(46&I?9&jNU5genNn;;;HfhE`^a|!@Az{Ib+ z&4W!q20nnOh@e_wOCLa8xC(HDT;unw>3H?8Ir0ywFJle3HP|C;e}Di6-i3}txkQA7 z3XN=((2;cr9D0`TX_OEuBUEFcUPt%%W*ZQghzT+w+z}R}MW`rmbGx0I^aDC==ljRi z?QQN9BJLEv!#%i?fuW)BoZ|(aIY(w__)PA_UEp@H^){cN?%E)UP{m5`r>JzFHF-v; zm`iurM2-sYoi=K%5@{|1;0XqpTT)lMpt`?)>gKK!*EzKO3iu0(eCg0Tr~(qQ{w4L# ze2>ygL2G=U9g>KyZY(mgXRTUsE3HXaV;5k{DN5=LdN_=b*Rt4I9M(_-Ee<3w1SmVW z=n4Hx-9R2Y!g8iLtG^4y3y=%=Hkwo$u*tKfV3wB~{j^I6ciEri!z3^$9$$a>Z7rF-%Wx4d+INDNMeNqtS$`uVASHqgi*Ivko>II!N9 zoLm_G)8VReiZT6=H&tipgH0?btRR4Aq;&tdbTvq7)LCL=<#dxkQ<*vr0&lf8!$>W@ zFTKX);-otx@{*avkUU1(M~ar3d&8IUX?9npgGM0P4txunp#c5S@z!a11wz*%zb42Y zf##3dT8>A8va{*|MW}hbD+b#05EPwi6CYf=5UA}(7nNdlzPb^b2vWg86Y3z+p#6m) z4h6;>>%LrlJBJt8pjgzYl=Ij*43t3kLks_NN9iwIDMUTjM)PYi>^q4U4q@it& z{BBB2wA~Q&8R@V<<0EuuDMGUb3?pV5^ESB;JCH4FYpSXo3fvv*kQiF6=FvS9s%76@ za7pShHuQceYbeHUG_%>E=pL1*!7kaXCXPgv*9}^7CxPh#1{CeHV@MkyYW78zTRRY@ z^$iUppgHhTzev`{L+F5wM*z(76EN)kkfi`wz!B4_RDp31G$lStrv4GO`&*^<%T>p! z*AuCwAltBXi%GB8ysxPXiC;KJ)t#e->QGW$Hm@0B^1Jf3qxb(Cj#?ElI3fDDL_28X zUC{eIj1!BaW_N(Md7A1qqC0lC_JzV`Z@01>s?6UlyxO` z%i)C`*+vzQUJ2od;s`H}((A?e1f6TWyfoPOTrRc)yY9Csq00b1Mxz`>8b(I`)JhIY zH&7qGcvFe#uj$W9v+-a1A_RYTi0*gMRO=tWViUrtiRG+t1jgF3pt zyHCeF6;fDDFOAgMvwW#;a6uR%7a(;;)(RD8{@NpH$}`bqe&$6Ao^$>w1s}J{SyA^& z#%p+Zu8rF_~p zO@G+-H3N*|kdJj2_l+V&=nes%4D88zapYwYCA1Cy{xArd-8s-8mcAv@0vsx)uI17v#=T?|h=$$luR z&dL@xP9rH-AM7}gdecaV+z>COiU1iGvSJ4CIx{%*U^(Ae`~Cj|fp7&*yx|M2FthS5u>Pp>T6|yCAm*k)?OSGCo_wAE z@$T={%4-0~P7j8TZ%r^nF|f3>M0dMSH5q}^%MfsH1(+l~w zs}&+fMg}@M33vOi9*}zU+4uk6TYXNza$he1fUR7pp_S3HW|_COwbzH1?+yWL{Q`2~ z0l--2d~G2ZbiCb-GdwHVfs#aluK>3IFm4a)W;WA-Oz<4!nSTDqK4X?VmY$t7cQ&$Q zgPL}0a!xM3Tz^Q=5>(m0u=9&E0>jz@u0C_lc9TE)0@rtb6@p=s2I58naNf&c8-_d^ zfU{{ZTyo7=*!IUSjqxmiApp*PA;|2C!3AeJu<|Z=zdWeR-hRP@wG~FdoCH2jGvD8? zR<>F_0h1Iu^K-3|xQw@$6A7gKHr@dYKK!89K@_1;1AcsU>k9no;w^&$3UtHpJYTNR z=3XX9Bi~pF85kONjDBbw7(4h4J{Ky`7Y|h9&tZ&yz%&FA3@>AmBz|pvbK%X~ASdvCGjEqDhZL<^t? z(1JhP(#~9h^hTR|$k9ZYqnG0HTFoHrbC&NamW`?w-+UDVU|XK6zZOzV!S2Jj(uyoz zm1_C>JDRf5ScI#O5b}nGhdHL6HiBaXct33e9B=kz&8K#7wn>B;bOzy}7iOLFLzwr- z$o%Cwz`R5JTe_QkRuQ(oN|Tear5%M$#`B^gCBgIp#4+K-$HxauwKle{00Xy0>KQhS zWzJ9VdYAVZV$R$-qS5f6V{#PJ&U;y~=a}^C;wg>L=WAPzcNt%ytk* zFaTC7^f;{DCVKoy_I$i5N8q2|p(eL7O0M%GjAmf%+iyX85Q54EoOMmd67uKAZ4|%; zqI43ALf^g_Lv4Zc!92oMMi~D#=BEK zV=61=(e%b;MnIWNuLZ;>_)!7PTC>@AJsIHEf{1_C_sgx1-~dG}b9$XV1MD)afeMnl z`z=nWnp8_p7)720YFmZ({r%|>XvOc0i!X!K9I>n~;5*booNJghKLcK1PGC-ytob|{ zB7qPP)7?VN8Jh!ktSIP3m9Yml_QAx7;(mv{o_pmgc;oHsz(axAYVZU?RH1R%b9jat zA%`6-oH_lM+sYHPTkci1SXJ(VcbPi)2BeEK#HXgG^9WeIF?DuwqCbr4&d|=frBcqlY4X+4vFn%8g(4OR5at;nZam7#NkrU_&Zvk~ z0|O=Y%-`<J(9_B{E0OY*I`^_yRoq6$A$lemF>;<(2o64)`C`*4MKGxEm}D-oY6&q9qEQ$H zJP+x`gah|oQSzFa#P?-cN=r*U0Ln58J}S0{9Qhe-$l#a3;3LlsqPjW4@CQRhxXJD` z0dr8MlL8wC0mS}X=xy9+S_OnD!&6C5Y}f%}yw_%0Ss)!naE34yoE^bZ1uNkB49Lxj}o)Yp*16qP@-YT%?%i2+ZHAOkJ0%$#z zd^HS_^VkzCG#J3N05)=n|DZlRTbPJQs0RNeQzLWn}l0rkOn5{NQd*-|uW35*zk zz#tQW&+vr}Sf4a5rkUffOmMKTh$$p<@(snavJ*={c2YDGaW_PoRUWyKL&NvqlM%Si lf^81Gp#OK=XTSf!Nwccesq2{30JB|`hKi1Ig`!RP{{r>?RQ&(| diff --git a/figures/sp-fd.svg b/figures/sp-fd.svg index ca1f38a..f221f99 100644 --- a/figures/sp-fd.svg +++ b/figures/sp-fd.svg @@ -6,11 +6,11 @@ - 2023-03-17T21:40:06.539395 + 2023-03-19T22:54:37.871412 image/svg+xml - Matplotlib v3.7.0, https://matplotlib.org/ + Matplotlib v3.7.1, https://matplotlib.org/ @@ -39,225 +39,405 @@ z +" clip-path="url(#p303af259e6)" style="fill: #1f77b4; fill-opacity: 0.2"/> - - + - + - + - + - + - + - + - + - + - + - + @@ -663,17 +843,17 @@ z - - + - + - + - + @@ -710,12 +890,12 @@ z - + - + - + - + @@ -772,12 +952,12 @@ z - + - + @@ -848,107 +1028,189 @@ z - + - - - + - - - + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - + diff --git a/graphs/sp-fd.py b/graphs/sp-fd.py index 10e51f3..c011c98 100644 --- a/graphs/sp-fd.py +++ b/graphs/sp-fd.py @@ -1,10 +1,12 @@ +import pandas as pd from matplotlib import pyplot as plt from lib.lib import read_sp, aggregate_sp_fd -data_2d_sp = read_sp("../data/rust-stick-probability") +data_2d_sp = read_sp("../data/rust-sticking-probability") data_2d_sp_low_p = read_sp("../data/rust-sp-low-p") -sp_fd_data = aggregate_sp_fd(data_2d_sp) +full_data = pd.concat([data_2d_sp_low_p, data_2d_sp]) +sp_fd_data = aggregate_sp_fd(full_data) # %% plt.fill_between(sp_fd_data.index, sp_fd_data.fd - sp_fd_data.fd_std, sp_fd_data.fd + sp_fd_data.fd_std, alpha=0.2, label=f"Standard error band") @@ -13,6 +15,9 @@ plt.plot(sp_fd_data.index, sp_fd_data.fd, color='tab:blue', label='NF, fd mean, plt.xlabel("$p_{stick}$") plt.ylabel("$fd$") plt.legend() +# plt.show() +# plt.loglog(sp_fd_data.index, sp_fd_data.fd, color='tab:blue', label='NF, fd mean, seeds = 100') +# plt.show() # %% plt.savefig('../figures/sp-fd.svg')