From cd486ecedc738d10d14e2db1023ee97b3aac3cbe Mon Sep 17 00:00:00 2001 From: Ben Wallace Date: Fri, 31 Oct 2025 18:07:15 +0100 Subject: [PATCH] Add plots for slow variant --- README.md | 5 +++-- assets/bench_d2.png | Bin 23380 -> 31706 bytes assets/bench_d3.png | Bin 23695 -> 28889 bytes bench/{times2.json => times2_fast.json} | 0 bench/times2_slow.json | 1 + bench/{times3.json => times3_fast.json} | 0 bench/times3_slow.json | 1 + 7 files changed, 5 insertions(+), 2 deletions(-) rename bench/{times2.json => times2_fast.json} (100%) create mode 100644 bench/times2_slow.json rename bench/{times3.json => times3_fast.json} (100%) create mode 100644 bench/times3_slow.json diff --git a/README.md b/README.md index 961e7b0..04b2e45 100644 --- a/README.md +++ b/README.md @@ -96,14 +96,15 @@ For usage instructions, run the following command (assuming the `pivot` executab ## Benchmarks A simple [benchmark script](./scripts/benchmark.py) in Python (requires matplotlib) is included. -Semi-log plots of running times per pivot attempt (after a warm up period) in dimensions 2 and 3 are provided below. +Semi-log plots of running times per pivot attempt (after a warm up period) in dimensions 2 and 3 are provided below +for both fast and slow versions of the (tree-based) algorithm. Both plots reflect the results of benchmarking on an Apple Silicon M1 Pro CPU. Random seed 42 was used. | | | |-|-| |![](assets/bench_d2.png)|![](assets/bench_d3.png)| -The raw data for these plots can be found in [times2.json](bench/times2.json) and [times3.json](bench/times3.json). +The raw data for these plots can be found in the `bench/` directory (file names `times_{2,3}_{fast,slow}.json`). ## Examples diff --git a/assets/bench_d2.png b/assets/bench_d2.png index 865d94cb8d92b41c46aefde3403029c920aac9a1..71ae354fb49af0958e999bb2115ca28f31eb3fe6 100644 GIT binary patch literal 31706 zcmdSBWmJ`2+&6e=2|+-*1SF(Exc-D=7`q-O}CC2-02B-CeVf_p{!4 z-&t$E%(ro^JC=u2*R}Wmmz$6e@={OHh|wSr$W!Te;z|$*yblBdxBLVd{0-O0{2KTV zzk`H^gR-rugR{YB6Uci52RkcU2dj^UFPuz1+kdpRdCkJk#=_0?!rZ~Z&Yqu@)%t(^ z1dHuwGuEQwfKKo#sCMr(?I92>1K2-s`678AArN;-Y4JBIE^Yq^uhwD?27h`jrju^rVgE<(&JMxB#>UnpLKdY0 ze;7L<@5IH$jZFw4A>iR+41^cp(WqDh$V>2O1qX%?cvM_15H1q-GW~4-zkf1E<_W-`&NNQp&0tnBS!u(GmN*(?x`yKqr%#n%Bo_hK6Wqy#qge>jjkM8d7j`nsq zCnu*Fw*#>Nw1V`799aU#2!$WKzB83(MWQZOM+S9ub;i5r&lHDDZ4c02WX=~@&(-8> zR+^4pY>i}~*<4c-l;>v0}~F9v3rab#CVj8^4p|HwZ;%$oU=U@mcjSyuH2g z@OLMQ^0aDxDTv(rbC~q!x6!mqbuS57K0e%=kL5lU6ckjc-I8T(_FrgpCLzrdxeP!j zIGVLAqlC72?6`dF3JnkE=2g>TBjL8n5ATbni`X%}UyD{4B}1TZuT{*Fw6nKYF5924 zuS9Dbb|>o=BzX{@D%G8sG8>i<{{@!mOd+(@YiBp`Daoji)8C^ux4oFk?^tNj=fV9!*m5lQy~Ul8hDO2-Q6LsY zxRCn=cwuD8x0Y^GQADHXrHACSR5C*+w>rVSna^4EbgHd%n_SozjD}N%zAZ27U)|gk z?%!RXu6jS-Qgla9MA&Z*wJ$8_?kmX2srX96$C5G{9WT1=GILtbKHr@zk+sl`nNllM zK~3|z`S=y0RiedpcQI!xJ$HGqpgac!H%w_4s-yG6t#uHQ0W}{9?fC~v)fP0OJi5(j z{hQ4+Z_^!qj<vg%-xZuw`H4q%dn&^YE&_QII#U@v!D_qB&aYbmO^I_`q zhwq224%^>v+|ITXe~5UKmo=SyMf>1Es-yDGBRaQkE%xS6d>NORrT$?{;|*Ch-kFhX~oEI4iRJ%W$DaxuFvM??Fdne}@z- zazPD8A@B1Ebs{e^Y)vdDI9$b=hEJ=3XiyGcYN3KyC28x{mcm%!7|+w+Jo#GH7KJ5| ziLMHX{#49C+O;-aNnDoCo|6Nt5Fv(`u!$RaPiXOk%sHM7L^x@g|kT*ZhNZv$rhRQRIz2;41YF&a<}ODd7cs zfv@u3iM+s@j?%6_=2c2J8ZT8*$! zs~ks`3v+lo;P~$8TcY^Ot7D_PqfRV~`OKJrK8Dc~x@djjn=R_S*=kv#GvmQbIetp2 zQ6m5>(S)x}LvMDrw(?Ee)Jk=Tz#daJV4}tq)r)y988^x}`j^+J8)E`zYkRxE6hoFT zVetDWM>BDub#I@M%#aw-Ka6hh)5bjja{I1O3&&*&WkvuVC@^mKJ0 zVPaweSSW0W9~v6kXaU?HQ^)T&18sL)(Podk6!-wdR&cPtC8bf!>hc}9#J-?MmY7db zoGXLuS@DH3FtS6G0-G;pEuUav^_;8^{Dwhpj4VnaA%WE_RdtnCyKP-G=(C412{T43!?(&$PmfT1^Rpz|x#qo9j*iKz&Q`!%n ztZX~SG+|FR^FJ>Dz`t{o#4!}dX7VmC@LQUmZUN@ z%*8Pnyjv*W_M|;za_Nxmzb1v4Z1baf(#XcC+-7qfX^v9yT23+zCcZ`i976RLpalVp zp0wUykVuA;hS0uG%0DzAYKo>)C^VdIb~{(f`1wAWd#A`>9IW8P{p8pl#o1~2cgXMv z2qR6d_INM|$q-xcL%~uabw2(p@vEmN3m~QRZMJ)@)BbGX`Ug&n@h4!*bVN~0saU4@ z3!w(wsJ)q?n*-ZPX-A^FK99RW;bP$QGift#4aAh107YPeIG&tn>1dWhp=UJ5bf`^> z=!W9WP_kl$LrT@({h3M>KqcC+MDBbZZ(AQbAMS6XG)EU0eU;#s7MtBiDokWKZRRzq z;Zp^iF*k?P%+SI9f5lP$mX@!D>(K7&=2^yv)J??5;&%KttCzUs*^J!HQdt!Nug}yY zN#mm~2lj}6eQv7S3nSr?uU?d%+OIGfzzBb(+fX&z3K&MV=O`6@wCLUaee{KN+gyVq zqto7WhSn|Gb9x`J@%|Q-wTP7)c6}(-sh3-n09(I=!DS;LCCd2k_DZOxXHg}*B)%cK zKIQ}CJJVYkhcVMt=$p~eTGvz4DvJr3-v_b#0?r5df1K{FjwP?8`hY+VL&WO1*N`Leh z`noRjg0=&a@U{=icQQ3p=?D>euYb(2H)I&4vX;|$&~2IG}ow! ztY_^j{3n1EYv$azF$9JdeEm|M3R^=*z=v@BC!pxHyJ*ah)-4tqj{S(Q+G`_|!IO6W z=SfM8muM_YVPYAA;e@lrq4lgi4F86_Vof~>(YHgMH1(wjD_!z~Axtn~ivZ)5MA>M$ z-bl6xgOZStkP5kt&&PwkQvYlG>E;nVEnIBV$=`KifHF*7G5`&4oWn4dQN4S%+EN)Yh25w-9S|qGPoLg=!)La8XgVnS zPWm?biOwSG4~@)QhB;b%K!f<~H}ubUCZ3?8z7Z8|LvK#=?_D2=H=8*J3ekk$ahDSR z&iTEkNR1Iqk>)HXT}3dY&hyr(>2ye7y4IG0+h#ua>dFNyW;8Hs3tCJ8CEgm#!$QU) z52cn0&;LUo0fq}L*=w+t<S|)WE|{~Z&8x*tZFHNYUovEN^&LE3L8e)a38d?_1yQl zQ~;Is_4O@u+yP&l*J0~JVc9iUvLm_gNnk<&k5TPcJk%>>XQIfcJCsPeH5hP_&b&0Q zuK*LXWMUZ-1e{rH78+t-YZbj*W8T3MpXZpTz|Ner&3s0GdA;DgqQLYIdN}0 z{gVy1Kdyw*F)=aLQO(0{l@eDv6x>R;t@b+e`rzcv^aN#D|;l0)X0*=H~hB?BwL+`O10n zqwJdU4|^fsWFE0`;finH>FMvicYuBoo+JZ*M`pn#D&l zVGmwRa=~E0QadLn)sXnZB(wCWOY#}jOMhibd{ddaTk?KPd49Hb{x?G8;hmcZ(Elv# z$01i1C8c`f~WkeCA2xe zJ^747n0+|#KXe~6Yy5mMH_W_{gcEs&MM1Hf(EJkD$XL*%Kq)5@u-WWMAyls$8>7Tm zIxQZqO_z)A(?1RT63YNP{QPwen?0fa{L77(${d=VV^v*Eo=#up17k1m>%_zcqaMr& ziA4O5)(xJwHSNMPleJ>ot^LA8jd6Dgg{nowp2H(qQbnbI)|h<~(R?vW8z$?{bQTcq z?myr3G&dm9Yl;|cdcu(jIH{DlwceeeH#Ie>Fcw$c^-YUV8ZqX`dM-3LPFH=zb-UOr zXqb#=(mWB{q@ki3xODu$mbr?fSRyX$P@06-tZ&Q(zN*37jwJv^KY`r8y1vf2O>#Tm zDLA(1>%%adVO+C;JSQ2>b=~{>cy7-e z#I@P6$7Jn(t!a20z@>#wnq1t+#ishC52wrRe$RXQnzts3;?Y9T30Qu$K0bWAy*w=1 zBqb${OfbJW;R5WflC+sTJSWJOHr6xBKrH6p5KZC ze*n;x6wX@*aJ^l&bK==+ilm8-Us zt|zRls79FeC`sNg64O7CCRKRY{P~?;oqno=CYnv1q{~i{gIA z7tyRJeHTR)91+2Dxvuei`@&>^0=(?y#O&)}h4IW!^&RGF8Nv0eK^(zwY$Wd@4H77+ zGUrXFt{bOaZn*cXtdBHrzmo14zxj_GbmDMnsUEVPtr*EIxTx*#s@J~k$9Lqp%u%HM zk0Jyj{%?9Hjq^tJV#soGH**jsnyE4|0$M3gF;{2MN|Y)bfBjvxv#*d!_AxYV;O}RW zpP&Rk;n3)rv(8#_a(B{1Di!x1_ZfX@^zhyJR#?_BO^~%G%0&O)YjFk$eeD}v?Y;Z& zlf4I8t@4bQ<3A-Tqio#@-@E(crb)5jL4B}Olk9)Jn8V+Vx8hwigr4%y8&@kSZ`Ef> zObGux{|qjQk=H! zA5rY@cq}zoY2S^MZXR=2_fr=p0I!<(%Ir9@K2^8Him0KRXuA66Bi^7c*wxglPwn!6x0y{LQZ@mZ^Zn#y(0^TZ8Fd8 zy2i;>4F)=f>QnpRmjQ8$Oh`yD^tQ5M0v29k!R2hZ5emQ4-V@+bPft(lU!SahB!2{6 zYr$%&C*VA=3k>?&$iWgA@UcD@QJAH=OQ`WEZd zb8O$9?@o1gc2a-ThF<~R@5=6Oa=~Tj*RNvw`Y({568i%Vl;eH}AUXnQ0vc;N;9E~! zZjE#<1MZ#7Z7nlfQ@hzg4`zsv(~m~KL+%viCGQy;NNiK8mnrORLh@weS$2x5@}Cm2 zwJr0ZprGJA0Hu*saA`GHQ{rYE<3F_4uB?SYA?V`ci-1B*O6NN~HuhS1N(=xE$-K+6 zlF91{3t!=C&p(y95wL5>2eIHJKA#vK#sc()0u7Jjktq}SzfYO9szd?VdU}y2;;rY% zC?Ft^rPu71!25|xCWbz0=l0!Ywcr_$uySq-;Hu|7OO6b7eh>~t89C11+xIOeOT&z! z+SRXM_W_h^2z%uaa8Zp~8#0(z?spH2({`ZVVICoH-3xZD$Mdnth1_Cx+@(dwYgzg` zdxE@~0Xts5{(SzCwDI^EISXdtbY&&NHz943=s4e~V=pp(2hr`(oQbzB3c?#K0(aM& zX}#dBl%}du9bOG2v@xg_!sNe3qf<#zMw9tSrpl7#+13cm{U2SuIp3W*!hME~ZIS|j zSAVg^@@F|*?s+L%8a#}e^}mNZ>Y?x!2X|!o;2_+fGq6AkIKCsLx&nhg_;6?56ixhv z(X3Xl`{k{zgpG0>oPk)zAb{}MZlTf9(KkfjMS%2S>Pn1!;!&~ZfAi36YBEygfel;h zA$_^c@(FBkOP-fxftX}TRfo-&i*NmqpN`ufHl1S1S>ImlGyHizC!9IvsuFE*1GohigLjOyyzx&cD(2zl)Q$IV^mu#Lln z?d=P)J34evLO)EAylOTq!|8H+_?F>L z^~j;;iUkhCJ4VP6mhSZm(iRK(bxw7x99Tuncv`k~MRldVBGH26n7M)-GYuS!j*gD+ zalvES4Gskb^6$ZRb_9?`TIWGw5MgLX$%JEnp`&=)y03}X5->mL>1xajcXWTb)B{U| za^ELsg4Jr}L`y}*5tSZINm#qXDMsE+xM!g@@eM`fwv#ebU!Y0b?8u z|NK0{)0g&cPuD34f{dV>bND#jr<{wv%z_Ofok@;Z(C1kY$yG$N{J@j9AuvmQWA=4(^}c z{Q2$37Q1^Hns>knufcXCa>7DwgT=P2e2v+8$q){kaZH$6+#Z`R2$iV$`H4|cQSBTZ z-?O8xJ$MeJMg8i^4hg0gKnjw~k8AxYRZgF}gmj8LC9SnieJ%5XV?&|AbLPZM2T`Q; z{S=a*^(?1yGZ&aw6MPQmaL5mzAlU4v^w4oKdz2~3ktPN0`~QrW;;DCWo!ON>U=eL~ zS&KNM*xoxniCD!|Y!(;3d(dKDvv=gYG>JlbJwqr8+xH$f+j%gl50=w-3m9fA;|0pO zf?zNzmX@DPGdDeKdNbTLtCX^BH0uSeM0~b^%(r+7FsPS?f*oJPa5CR9EzM;uud_kJ*5NSgyrIi8lP0n`%H-v$Vhgc=q0KFh~KHfeeu@hsFgq zx?h$S$jgE?H3DO>I`+igdy}z>?q!-p9)BuG)yFfLOe#cZU_w7KGV=Lt1Suc9t*xzc zN*q`hhFx?PY=+0>*+)FNejFW72|z}-J1i&m9h`yQcPD+-9V9wJ$z9Bvs|d+ruVcUIuxpAWoO5Z z3-^BW41461pXBDrz4ubY9Cm}F=OeKWikHIVInCJD<;~jd{P9 z_w_|fOH00bncjb|(SyoQ^yO2LJoTD^+}BOwSZ4pUn~CL78)JOU2W=iOCH`@Zr^K8- z%|hPgA;G=;olB9fK~b}!x2as7gb(zWzv1J!ybqUJ(+peX;GcXwgw@?h{kQkITpmH6pmPm>E*^YNW9wJR`A0GRQ1hm(El48kh9 zv|VW60=tjH5fjJ)v%UloqlFf?6VzA31E0hqz>2QTB zPIxm(DIl%42aVbIqNu8Ujqc~sqQ>4%AYd)D_yl6pHV{mgcE9{uSH}yRwV+QS&p$ai zi4VA18?YXfJw;quU0;?_!yuu!8!Fjbte>fa4Pk}06t{4LU>tBqRTF~>ZD6OX^cHJY z=Av1R;>=`A>cF~-&&75VGXxDb=^vAQ7k-LE{)dT!8)!j9a>YmRZGBO8p*s!^x zr!zT%W$$pV_k8i;mQ8-)t4~auHME{^k`zmEn1%wctSnrhCQD?`N|_}=G=@x$|M3pY zA&vUaG{EZ1ZO~04^NUZhm?{m^ZFDL)M8{*uZpgJ=YO%HpwQ_fJ%e^6&mzUoGAQm%! zqntrlenm*$^)lTjnL78p@N4%vTGrdx7)MCXxVWXSABmf^8-5^y`q-yxoikSJEn3T)_x1z4WMVUpHZWc-|SWnqBbDSKohNBey_ z9*|!+$|I&ZHR@)Z_%PThVJ+KhxqbNYCr+@#ZN+-TXKP5z!6-JhWInt7!NI{5AVw3# z^XgDfJnPx2zH#@ylTQRJI&6ey^uF?w&sh{R{rRVWx5y5ns_cn(+0Pt7!{r$+ZdNzM zW~KrOBsK5cu(tbSGbcFYKWL$>b1B(KiZBB2jh;CJ%ZTkPt&`W~+;`TiIfFvjMjH;( zDG+b+KlG7PmyY=jcLa6|m;o&ZFE1`&z|Vks+C>0O2Ym`c4&!%$OS{0dvQP?1^&(A0 ztOL$$eU#RN{@KBuT+&#v!&>9{3GN;Xzi>B|s7&E2FAr@$qQ-RQj{p0A%2^x>R zX?E3c39WPR2z*p^IN%t;O|GX&x1RwV`~nE#HT@ZGj62QG!%dATj-XPn1anEuW}}6( z-~Wl1S8^%RPoS(UMgtIGgSG&_9zaq4DBB4sz+{?w3cR380`jhKd*^YdLoMN}CS@94 z0b?6ioXoofarrRC*$_VFNRq*Wuik_>ivBHHFNIy+zifNhhnW zp7k63rX!p-0yiZt_PWgp_Vw)nV?x~p1`elI48vL=#jTnYlEOo>Z6Az#&ho=bUvUgn zwB!`5eBq9CZzr5?8M=-fFBy7Qe?`bwc-%1q7UkBxt&I(1nsuL9i7}nHud13wZl)Mf zNi_fZ(G&c$8H!@^M~IpKG;Ou+0(~qE{G;WRVWij4lJG*|>p{T3 zb;mEz48dvl?bKNttroTxKr^owNPoNJi02w;lnSCtw{LE3Z9Tuuc~K<@1ENwu9#d^3 zZ9ivVmowZ+(;fCst{>0&XaT}&nP`Ro6PU|d8E@mfWe;HXCe+Z7iiyk&CWZBCZ9B_q zv!8hP;W^m<@_n>yKXJ5yIy?VoE7vG1!jALmK&yA$viqcQL)`T?Kt-u3i6$GY7CP7lyHV-?eAB_!rer}j3w&V-6=$y)tiDH@IJJ6-TaWW( z-RmF6fH>IOceZ%meyIPv{@g^LnA1Gn6hWK+0UpRJ9a*fUwyhkx@$WV{X!R?b4_qH| zgB!sr{_OMbE}>8N^`U|&S*9HNC2bHHrZ^^CT2U>Bmm@&(=JlK5d3)8OYSdI>G){<| z-jfCp$GCvPPr3J_*90CD)<^6ZVjm7{5E{}KEqn`=cwEAK8PMvS9NS)YZ^?0oZK968 ze6~HNDot2$oyUq49T}P4u>{87Ke84T%kQe(eM{Ey`>4mxzDjxZo;SmfJ{dv3#pC)X z5SXwQ6+j>hC@4uO=E@N%rvO@CJpMI{=lHm_2OGD{*Y=J2-DoRqKmNLlNTwB*4`}O% zbp}3Ftg+HOe*tcy1!@SfoEAYS)LB<;?tMQ&_hoZYduM=di?}Hf!Zax9RTKBprFnb- z5T3ll2{uB`fmD}48wJYujwONjva7Xl)r1ehgG3NO0s=rf{%o$+R!US9Qm9t))wbmt zna5_HZQ>PRFfu<{@OaDIACIQ1{V@gjNW9kzz?ev z@_OCX&DJ>FA%U;9c21={}uc3W+5f)@`K8Ye#6$;L6g zk(0yVcRnbdM1+)+=vK9usCzKb3u94QoR^a%N^1p(10Cq9!#dN+KH z)r``_L-f(+&W=T)G7ffB0Q&#U>PB0{TuCW)RWGSlm;dSqy%K^SX+hh)#a{1))B&aj z%L9S4Af6!>Am>O7KCHxwZEsU2P;JgU9P*yb2|d_ANxkVZoSZR{G6o4_gBRGw9JBk3 z%-$cL%GB0Yzv07ortNn%(Fdib5YTPQJ{)s1uHgbSF#PD`PXW>c%mQ&Md&1 zBx-&FCVUNmc#x2u0!>?VDf5v3A)~|oZX7^SCKx>@Hc%rQsb7Vw!Sq4Z5GRo70u4d0 zlpTB{%!O0K@fw|%fdLKVn}nR^&l((e<1*Ul;p{s6Q7xn!L>{i*BJ~12l?AB3bdM?s zLjT98~dOGd}{VqSQP!>>M=m(vl!eov9u^4(qs)@^xurSq#HAk@fwz}pqyh9JUQ)N#HUtRp&&R|4+ zTR*=YEBdEL^jAsV?TH(lbqn&HK;mitXS`@;Bsy-}#ZXK#e%P$qpovO``G8 z`R|`dwEObU`jeZ7E|6a@7NMPh>Hi?vc1+hB2)im3A zBr4JVY;`AiqbOZtRM0K#HUPBK!YUKEcfb%u0N42q=y8@i?Q4NzaM9{$p*6i~=Xu2L zRGHbB!W;3J#$Uha4EMf9UoAm{j*dPF!hdtu??hoWa9Y|a%wgr5Nu8+WpGEw60WCcQ zIzS}LzCCRZoj6Az{Id`J_YUh+w~26 zo^PBHv3*qQ{jr^3l_?2z_w`8&f$M#(+k_k9{K)rZjIzOi)0UehNA29Ms#YT8OR4$x zVWJ_;vzj|iIHJ=_tAR8)=4YRjoqs^HteSq#_Zc($j3&`C`wRo$EY?Ekb@lb>rqObn z?~WyK{l4!rO#j8R;{7jFx7idAs3U?8LGJ z52-d!s0WHLQvQ<;914)V@d8{>KZ`SL9qf)R_erE&*#mXv9ZKV-R1a@(wX;iSKrw*C z;kN$*7zq;^BCp<4N36Bm13z#Y_y&Oce)&HwLA_;|&0~~lh|A`&qUcd~MF>k#%T(SJ zlT1E&KOjPu^j1yY^wxC!lW{7GK9JNNpl3N$$YNrl@BgpH9W<;05dEPO_IlI`h#wo zhl04c<|fDoT$~@Uby`S}J`UcdOYk)AZCgZr=b~lZ85w57{WHctgTORv z!eUIzb+i8Z`r2d<-pa~udz40l>JdIIy7C&i zrCH>!4=AymVW4_`LxyZl=6r687QuHL`u$yr?LSSQ?f|TYC`Y$vctKIJ;YMRb3oa#b z4-&_}2UH`6xr~s~`eZuOnqU9XC$w8*rFMkSm1FATS9}%w189(^G4kP0B&qS)mT;$< zt885)jQqnQH;-V9m%oStTZPemM&J9!3vYmaQ8z3t(WC+`zzA*D<;M4$=_Bv}!wXoJ zAhuW_zFD6>niA2xN-jh97V99FZBBR&i%^<>g8bdZyIpaw*+Ib?7SOT^ptSuCp?Do5 zbEPe~oOm=fIInJ^dgVul}w{L3Op2bDFM8@hADcRgMpkMELGhqB79b)(r+dXXHV@u9R!$9BauOo^=`SK^dqin}BId)^l)WP1 zIQ%(+r**DZbofotnz3!h7vcO>^HHrN!9(`kl-vp{%$wCl%?4?KMb1-TJ?_~+KVHi+ z-mN=3wwaOL5k1iFAJrP`hd=Q){>$zI25?utVwMV{ei$*=^2SD-VF52dqM84J0&?-5 zqE+Jsy-bx(=+O?{O2k4-JwF6Q-*Y>=wM$;ffB6cKViOX~3zc!P74f4`DKuS4HHorT z$^z=kzRD3nxQN3F7D2hGLK@pS4}*Nu>co-~J(>^I7T zK;~+@G{G4WRV`#327QJ4*7(_jafj5&k$T+9FavzL!!hU##vff=NCN)=wn(cVD~E+U zZCme6VWyTMKChDyDOv7eM-pzvPtS@kbCu}z+qFGTXX@vW5T!s7sX!4+bRVeaIo`%# zq8}(Oca9uy|6PKEgS!HQ?7br()NXJ}M0-;y@kb|nLUm3e#9gP2`hAf%z!Bva6vAk9 zHE~y4+A+udFlaR;%U3@a4?b591T=RDKnvk@5|3?o?V=mwM{kf}eev`A?-k`MzV`%o z_57sKP@k^1_MxM7EQ7})K&f6BT^iexc_EIxayVFMyi%3}u2_Wt1f(appa{y&&-YST zcoF7MWp4gF92LUQwnMC?He4~c{l-pqcWjY@Q)uCr>Ms=MmNDMBl%BUzHnoJ|JxL6? zzrQcH-;@WK%@VkS;(QebsfaK$?kdTYF;I}-C>h(EaRxcWSUY${pXv1 zYpg;iv|eqag@HpILi*Yi0~v!bT?^<9TaX>`x?dFU5Q9{!`kzxt|PoEbBm97N@@kL}Eba)hR1^kB%_B+j6tu`?&NbA*KbkJ+Z0NvJn zz2*kAz!I(Xa42Re%{%cp3rjmfVI2>-uv>fks?MuYxGk*`n27w`02*285x&9Nfw$KC zjz$mt)qym@Fegt7B9SE-_Vd%Kq;e{7$T=uk-uT&0qO8WJ#7{WUlr>#tC~(Cv{OFmF zmyCP%fPWre|Myke*h>g%`9>Xsn>?-UrijbYi=iKU(VQ$FCXr|X!*t%)<6KPfChV~h zRGBNAxa`_;!do`BH9L@{mfeCuqtS{&IouaXIJ{Yenmf;m9f%7Uzks)+fRhc9fQ^s0 z939z>mq97e@tH)A|L$1;@MkHCSnAmFR#;ZF`oge#0%qTz!tZ(Dt1$(HUc1-KP5Iyl z*A)m1l__%T5w6#X{V8jGXkfUcD)GKNTvErn)}!_BwFi{jEn*di-EI35#{Fh6nm3p1 zM$fE47%&0t$pcLHcoPZ5CKupgWjNrOp@0-gVU}*`5!Q{j0>jQk_Z5K=Qqu5}m%sA^ zU#NX8HRbx<;zuRq!&-WD_eLvC73J>s~&G&eQL z!L~*bjspiGsIy4+b`tv0%xbAIed!9ac|oh^C+7NttwddwlS#X`cuEF;Yy7kR`EA=O z$~LJv!rD2!%;az`dKLjNu@PFYH%OWQp|HRSPW2E0>_#q;qYJjiD+>R&p7nB>=akBo zrAp1S$)}dTj-(QCPoHVri0B_fz-+{SQk9yG?zR&(AHB~V%?tPIOF}WG{=?lhHW^u% zzdz#i+%7Tk`BGzjJrOD6Dgrb1?i1`NzD7?HuVxyFE7_ri8S)?zYg80>r)wozokch% z5_s`>h?SLZU?%_+jtZ^Z4wyg1=T?*KYn}wLJ&|! zx-NEbP|3fnjP*xKiXz~vq`Y=*;v#U^ijyJl-~GB#{y1e4ZE)Qs=s;r-9NOSbbd^Q+ z)Aa|-o$3~(sTqtn84YpBf2lk$fQdd`pO}Ci6*(X$T_8F=2BtvK-!Z^675Gj6UkqWn ztLSIg%?aoR5r0fJ$OmWaX+A<3>^azLvRVsK-WiK-c#)@~586D@Swi7$KuGaMbo-4k z&#OJJl>iKtf_Lc4pm_EtM>bw1;u;WRm>v8>(3RsO^l-6xLdgM8Zwqa$JHQbGh+aGR z>6!%K6zJ0DSW1Qw$7WcrFaaoIIZ-&jLzp`5+EFfSl7-`ulG|29`h=SF{QvMc`+cbn zAw`P_0LiW6^RXOKp02T?TH>@1AMTML(DS&1ZlDEMBxqSDo#}vd1)K~ui;B-R! zUZBQ-Qm}lnjApkr9K-BA{I#w?yD@&CHi`y}U1<#|kVlJWN`9M}WBof9wmE(|I?L0n zpgK<9HzBY^L>y+5qKEo<>SCuw7_IMWxA75K#cL);-CPk2>Xd3`pFX;G*_(5=t-t#L zAJvSB42n>7jrWW{DB2JA)gxS@fq-@lu);YccuEj!dgnw_Ge!Guwxx1_<1e3y@shg4j6M^MZSRupkSt!1I{m)zBXD- z2tcc!eBkmb0Qr?wmpcC0m2X3ETY3xHB@W_hYyv!G1b;Rx+giuQJj8yB)gKx;b?yEr+^Ky#jbeMbw9f zJh>C3HKOmI2ErvFF7Md9SmRB9&nY-m{o+Gr>H($ia3z|)S$2R%M>c=N@7J4dCnyrh z(mMNo6}A}ZwY5ClR?|LUeGu)%pS$L~94yh^#?Y#UkiHcaFZkCE%;RFkwQW`*?$nO+ z%Mzkh+V_bmtS^LZUfrw)Gylz2^DBD7ojtfF&V zB=rkb*f^EK=rg4~N*g%tYy`Bu%X+N(GYX0_fy8DZ*r5U7U3SCR2?t~1Q4~0Sgh@bw zpfih%ScW`Qije8JD)2hA(*9K~0QbvF(1KDiI0R;h1r!kGm5uK9A@LaZ^}glr)*Orp zOyjF|%Xi4STLP`9!SUx#X?8<-yOYdQ_!=T;F3SL%AJw8dJdH^?v{rn?1TVnH= z<9=mz-3R25qIW8J!*@30H|N*Jf@u!>{j2@*3wsM|(agqoDS|TGF8s>sYHfe_bSi2f z^t(IqNt~##v`#~VkW;BkFcFx4i95jGn_=Ll#9p%D4N7y?Q(|<$>t79SjQUjIxn~4w zmGY2s{~HhIA-MJ;hm6Aw%FZc*Qi#e{I=ZLcMCkBj?BzBePwc6k6U+K2<4^TcBqK>=j>9!UzDw6MtLPf;$G@a|Rwh_TSGU#~`zo<0?-tTS>C@S6_ z3?z^`;C~7sR-H95tnD|~?R&itE7~izb2`Hh$Nv56yUcsE?yHbEI-PT1_Nlm$ z@`Wc|6%(%?2G%)Y`4-`YUPE3@vMT+TvPShc2F`STt1kiPlEtKE{zQc89VP{TzJ&0j zH zuA;P+Beiu8b2v4H9vfX{=?nq~O9`UY-};p2Mi?d;feT93dXV_4{+7>6Da-kCR` zV0eD~tXg-1jsk?QXwcHtWP72862=Lthyei%vxD5A^K1HekfZF4=6r(*X?pE_L2ndl z0tzW}@z9+~vdJc6h{5l$vBsbc$HJO@xq5QMJ$?P_V?C7;$mdJ(&08 zy`re|GuJ+sq0U)j|?l)Sn+1=jgA z(js~tO!Tv_>;bid{q6!)97$kkW&!f8@lziTjerG1w&&xTczr~SO=9ysRm+?UCMt1B z(meb1I)k}Z3us0EcH2GO*4{`8Mb13j?mm;4_qeG_q5ja2Sel~{r*F@gaLybSQzQ;s z9dJKE55uB5qTYTp)3EES#nSdz9y>7FVqPgDgTO5)XO;C?l!;7<@KUw=2w}?>J*J*# zdbp)>A1-c#sv6e=J<7x;Zn&#Y1+!yDnVjsh_WqCO*D|#bi&nT83wT~$ zvz}P&bs3PnS6m!c=0N@T+?{mwfl5X5e!D>?KhjQk!-nj=-&ojEww_F}bWsdzWSZ7X z7DYeHOD<`2mh28Mn?<2t>K<2@h}i|Vp4)N~1B5=xy3L>+VzC5B&v82nMY`+h2CTHC zSop8;?Ba=t2 zwH=}bxorVqZL4;Zo75F+5c&)SwcE%~KCmDwEfmFSBr~8uURpec;os!d%o!X^YIZ)B zW?Z6OK9PU1ay+(awFgO?6;0e|KqXC8g=o(iSNdpzC6u`f>0jOk=58Sh(0%Ln@A+tF z2ov$-h85FTS!4*#&N2?$O**F<-Gxv+m>qC=bwZzynR*IS4Pf~Ie>)W@Z)n;+aSO;T zLBG%x=4<89?+ALGZ*xYJyK<0d$aH)_-aVCmr#+5EuZ3FYPW~>`{pLpr!iS1fmZQG6 zaRvjup%#yHNIzg7hGQ4v=I(9;Y;oYR1-5%_~o$V21jC3CX2aaYNM610R>V0 zve4=ia609w&*(j4S9%a8nZ-|Ua2|+WwJ-)|@2JUVjTjy*GA2BK9-811W^sO-X;0%& zP{_E$L|K;8nl}uLpMyi|8?s~r4-kal2yEAQD(m6Cy(pVi{MUp;jM z$~(k@OAU^ecse1yC-Z3Dp};?eWrh}w28m)8WY97X7UUl3X`_O871OI!twNGhf|R~g zV%Som2RjBphZrcXx7_S7dH~1JB5fS;2bU%O&1HQ1uf$5b6)`*p&@c<*cihQ;_R3%% zSSIvJFW0H|0a8kUUv=>&zRJHFl&lF!r@*PbyW<`T={ZoDNo?V!;$S7}Z#p}A@6mGd zoV<&+ZKfSRt*R)v#Zjgsj@i8+S~byz6e2IPr41(@DC`O2Smn6OOGFyS+|RH(Zal>6 zgZpTGU(%KMu&}W7MsHrDAj)nPsTRd0NiZ4n@fC1gfw0AJJYR9UMGt;8f!*jC4h}pI zPi;1S8*rAGpe=Xxr6GRrLIw|QjG2Tr-QY>&m(=DaWY#*z$$jZnr@zv^FwPZDyNmWd z{S*DCmNdBT`i##EE8S2kU5RJmC8j`-nJHWm&$|m#g^ubN8-o!1iWe}i-kPipSSO$u z|CE4L?-yfPQ|1L&5V8wJ~3{vC-K!aB&sbzi+{$j_ycH z)k&**0Ww>tqiO_&2ssjZg=KIrPO%7HVaHN)J}>X|%89|;NnS7B!v7UkZp@u4LIL1_g+N$HSKLKsj&2?=SCknTpLB$QC3 zB_%`}k&poi5hPTQ7DQUQyU%*q`&{q2&WCe8?8^@uhIwZGvEsgeD-7gUUlUs^pTtF% zLtz8Orjn+?#3xo=2NIV?u=@u0sz~nPBKop7-9LDyjXIr2*6$osW%Q%lbmt+XoQ!Y0h{IS)iV=U()X7jm5%-jvJu(SNvX^CG| z$1%Azi>U!+Mer8P^>Ct!lcaK=O4Q4D`h7>o9^i~Y`T6~$P6knNI(N2K^vh(Cm`JfU ze+1}5RXtqgX8L&3Y#5vk-v{L7NpY;J}D!pr7y*^zB(<0Edv+6QjKu**e8Hd-s%Y{wrqM^FdF z(SA;0Q8p8QMpyK6|FQZvuU#;rxQZxV8mO`-jIh@ux4*}FsU_tD3**;>_#p@EIHT)Z zednTs`G3`?73o%}3pxP3;86uP-UE>C^1ClS&^^U3%&u(*W~GHOTk0i^2r(SF>J7s^b;r)RK^!mw<$vLwmM$q0nNh zoy3SRRBl7uWW6K6Gf&^-f!(io8=nBv6SG=rLAV0d-0`J3cDZh~kB&0(^YdF%twMWJ zlX?M?Gr^-L2)tn0EIT&*LSQi{5;+G8(`lGv?wVORI;&rC1fl}i5@nz7#PCdmhPXhc zOP#2tqeCfJD^I6YOEPnj?DU4`f6Wbbn}vJx);(^;^TE90cnwWk3RV<0%;!a;xVt1i zmq?B{m=ajt-!8xD^=fMm)b>!(B8j-*82{{Y_k`9bZ@1e0`GR~_WBUei88q)b-EF!j zpPDnKS9JCaE;+9D#P?U|>wS|Q>vbL*d~8r)v|h#?CyoQGcXvRsq*$C$qEoEb; zLr*_ec~zBmfC>W|-O`#^U;a7W^W3G9sE)0UsAdxZW7C`HgZxUk}2 zy@PiW?2>4>FS70CoND?&##8%UaqH zkG2pQ&;~S2I$JgH0X^a%c3xVbOy=u%SxiZDK6ZewtK0r>BJ%}vifA{8`eQ5nKpE<$ zQJ{4e=u=AhM;`ON92InD$aNSw#Q9Dd+(3CHlsQ2$4&oB%1!fqHyc%>A7c&2E;S>$; z5Bs0jTwPxiYN*spOOQv);WYrKYobR*O4Fe63ynL7X6d~sLM#`gzk*E0>BBFE5^OulY{QtQA5Rs%#3e0&!F=@dl~?U|b&Nxn!bnqR!EJ$pG*|2MYh>e#J{3n_*BOg1~u;Yn5Q zqM{X;$~ePvCXLRaTiT?qoiNlr1NHSd#HbgS?D#V^#YpTQw3lIAV`BU`9WM4(Y^LfH zp%*Y^affx%(`nLiY0_`X+Ti-6X7xE=+;uDV{J)6=6b$o8z5zZdQw#Se?^(91W8h$HLue4 zJgbV&eVXIuD)gan-uPjZ({yw3`?znDbu&QL3{j2eA)qF_#W}G$l zpqQCK*VRnh^T-B|#EPYdd$!^NmZ}9_P0dV3Jc`-d#Dk%E;v_z`A*83O&)wXCOt`A^IO`6QND<(?voKP{k-EnUNSje3)sy zQ~-9wl#~=lu#r>%nyee#Epqma{J3UkPvuzh!{0U+?d(?X^$5%}eeiX;y7$Qbt4KqC zNw-wxfdeMzR~Y*M;w`Y!MJ+8ZcI9hc(>&>f-~;a#b6M?a@16JX=tg$k>$&7B!FUT6 zEA3CCrUX5Em}7*&swNiWhDCsj`_7q{0$5q=aJo*7)U{l-EDwuPLPxESwBbe&{|a&GA=)zgtmT#?$$7^~j*L8qBatK_@(2Y!7iGQEk_&M5TDZ>SD*N%Z)ERYjHW28 zShD~N<}wEOj*xm~pWgXsLMtI%F0scrG5z!XtM?)gb!HI3Rg4|p>&eUjms^$=3QI^SFp6jms6 z>OjKYg*x43m9(26_X%x02K9Y``51J%jo~g*V;y<%yh&ss=>1szLjJ?&$yt|x_d<#@ zfACOgb?LNS#{$mZPiIWxmH?PjMFGkyBA(nL{llMIKElpo2;Q+vgK7BV9NM zzrYbFGWs|M>m@tEojbi_={N&?ZcSnpPfBKWztd+8Ye`4fV&3~wtV2iWEr#MwC8cHj z+T*QItY#bRwie3s2#CeK0mDi{`!gG_a2Xk11lB`g6ISUlc7Bj$->_;(5ks28_O~*p@CnON>?&d8S^c?0A zdC)VPPUAf_gM#GHa2)w^&QR_7*l!rEPZ6FMh%W9C52lypHn1bht$h!x6s`zQNRSbi zCzuTid_m&*wbZ1k3z7lko>M1J$Y@NFNLV|1yAk$WN#oPIPd0H4ppRB-_|EUcBa?+y zyoe$_CdDnm5+ZD4^~t`@7>W1#Sr`{9N)c-o7zIcnqO@utRUYs^ekaF?d?ta&rj}oX zdRKbM&ERm4%wBiR^vC%%Rf=o2x}UlCB^@^%#>N;Md`E`Ho~syS{Jq@J&#>#U8k5S^ zrHnRPGdG6FI2Yq$7g08&sk`eAPK2tV__93~!jd1B#2uZYU#Mzkt@?;8o1} z;9@#)eywL)Y1e5O4+Q7EbzlO|@8%Ks+nN248LG{0MZPAvY0Eo>*u8Xx*TyGeXPULK znV7xrLFV;ihzFq*6%-rk>}c1ibRe3VxLnpU@mp-N5&bg@x_$HoD!)H(9lYqP!{iVd z>*u0kcU=9BW6ZB6j)>>e53?<-wJcy>o2+DB>*XqfVr>uaDDw(O$4AifPvbTK_U1A$ z;^q!|uNu*d3R?U~d4>pbLDPALgyahXvI2EBy@WgHAZSD#Ga4lU-|^+k&7;!TmQGNS zP5`RrmZzsEsQ&yxQ1r(3S6Qcm2b6W(&HB9oybIg@BqN4VC!#XtdCf*b~~u`I=xX z`UQ{~QYg6~D4t2k$n&Qn_`3_QbuLI8Fp2&P?17L!H(zJ>*Q4~jotwVq90PnZ zxt0;K^j9h(WYuJNC_FH<5kk^YHMdH?pC8KrqYpt*opB8!H~D_>$)rn8AoxXv!gVAHsLdCvVkR zMhcq%UR6+R=0zq!dycaxd_AqjniANp`M1|^Wut%ngJa{ZMeF6#N^=+#set6G8^vzA za@AF{K$LerksLwjHX;700#ap|Gu(yZwtT-^S!9(9~Qp=sZ5 zqtD3mN<{zVzperfWralL8XqjtO#;VF#<8`dh)*F(T9;`$)oWUEi)W_==dMNGg zImMejijn!QpBWj}I*|x%VO$m+V$l6WTFVzj)c71MRe{N(pk>-TJ}c`A+`|D-SY=y^ zaq=xot&QX5?hbxD@rCfhH7#YkjzS|sZ-9&HZf>uPrjPGjZ6}3NUDnZN>VwC#A+Pn; z?)7vJ3LUb1Th=qE*koZF{;;ogI~g^y;`MqtjiCR8k*^}qp0@JZ4J>-S41M~HPVBLu z80iGY^ouEqy;Bt6NvCQvv%z9ZFJ$`Ql(VHGGq~}pcmN9rKLf(W{O$B_W0B9FE9P&p z*^nR@M<;Kn1Jp@Fod+=uXilok6F|sDiO7$<4U6Xxm-X)2q~?f}FD(r~A0RMd34h|9 zNquccz~?~jan;&I@bY+iiB1k1YN}Of+}f&rS{r|yCa;aH;A1<=Io5U2V64Yw2Rna< zAb$tv=5whLUZv8llw`$A(mX#QYsyomK$*XV#)eYg)d+|{U_X#T#S0&}a9P;n8-N0$ zUjAJj1mLiD3UsiP#!6f>{YU?=pIp3Tv4KH z)YLBtAZ&6FmlTrucN1xY06=)0xoA2!JGcwU8OqenY_XxE{|t}|`AgtjTJ>GYXV>ZC zp1kJz?!A|8hQ8j|{_(e}ZP*_HkU~B31)+Ac&l|Vf&kDQ7ZOB%EMS`do1)e%s_6T@Z zdFen6&cZo3itXS>QID^=4bZ^MwV5oL+Y_In&sx}j3Y*jWQJ}#1XHTE6$V0PtoqKiS znyU~!ju1@?@>UfC(n-)3&PPwmU(Y(N&f`>!ROeIIEmHW`{s=iQp&r)dMxJ}kPay;V zUINe4NzoRi6SH?8V-~MMiS+V|7>O1SLg@tSKUVd#<7dZK^^H$DX>SlhqQ;!50RWXG zf7cnhf=+7k^Dp?JAqD{nwSD9(P%&t0?q29BT8s{q$AOIQ;-P^^u}XoLc%JOZr=OJK zwI5{&$jNiS&&3}8zp0+Jy1BT3in}Dja8t`<6_65r`3&1FtlsE9SW!QE;v5O<_g($k zLZpjsVP00D>n4)gF6+Mu0*lmF)ScMo)3Bf8?~Ec%O4)eI{-0cbV(8Aj)jc7(BgdLF z##H2+tBrc?Ir4;!EW?@+;*Jc*z1*+ELoUJKef8!69Ffl8X)Bwu-_@zKDgVvc=+3^i zxgUw4&?1DIBHQlVlahH%7j@SqN1<-HZpn9+AW4#ljIkSi- z>XSIR4j!H7@RgX8-=L?bJhl*1R$5D8TQ;q161o|3MgPT@IrkxP)NyKnZcqTl7OFTy z7TU^Bv0l#NHGg57$X!a{^BLB$bx$nVZgaM8o2xP)C$Ot~RT|CnC%**Sizs>gIsAbk zcv1X+51Z65C3E1If+}A9#|Z6epkU$W)- z(>9pw`0P5ooFKk*CJAtq##Vf_*Oppb!lIttx;ETI6YodODbI*&FDceq6jq#~q~9x8 z;4hkligZv(*ENNYEBk|ie%X^FIuUlV2-5{8BXkZzFCk_QX(?X_# zvT&jm#l(B5Sw>6JqW}@%+a@--3!m>ga^N1&fo=xHK9=x)zAxY+d7CkR_cZV!~VGwH@`h#vc5IT%fM+KM(TR zP%7OcSCZ5)y{_V8RGP~56|0R2-DkzCE4w^IR2(*GHsGWe0OV2ok91 zIypdDrU1|W5?+4r8Zj?CENkLj{c?1{6xG*JA5N!{nTGoB(;1-E-vw9 z)bScRXb|E3cEw8>#=U@J=tV4{b=_ZOivPkb(a$f*1~zafJ}|_&bpi`ZhcKMbAHnp2 zoPpnG+ZIeR1gA{xe|l-zcb-pH*$qPnY(L}4(Y~X*dkeV!BejZj5iSP^`0t4qgM<|H zoKmkUL9AM~^oZFYzyjB|kVt^7Z2_-*PnR0^1$S4)_K4WV=H6qLH+e(U!v?xz3!kFT zNN$~JFr_>+v>6K@ppTb1W^3dXBlO}vl5iSxKKn0^p?CXQLp*|$6u+)pBvdl>m}37Q ziKxXpyGVH)Mn*Al!A3=C1ArIi{G2G~GDQxgsuqa^xI zZ6V{1{H3Au5er;nwgyUl&PvnE( zl2vnt9IrBhs^Q~*I0QqFY-~V1s%s3*Gg|K#ATB|`#nKQs>k{SQseLy2VDX&~YC9LW z9(2w6d^rvDjV^l!oR*Tf4+#nV4EqA+k22O)LfohsO!uE}i25A7^Bx*$W5A)`eW)rc zHRWQy3gF6iO{`UL2Ib?GKzf0HV15JYWwI-4(9Uc^x(zK;BlQsc1%U~e2b@&@vr}fi z^$`XYJOtp4&g%JSx{ZX|VG+t_+$|-$37J!_uBQ~Zr0C=%H(txp+nn5oHnlAElw0N3v5=fzTrx6h zd{`XJ1!w%DqN4I6I-pVg6C}pj3YW_y!0D!8BmxO1;?Q~k{9$PEB`teFE))PA_csst z<8i%A_{lMvV)uCPcwf@|J0@i=Y+6N4&4#_0e3Cj%HI~*b0k? z(3srAc&rrblADu^A=qwY3dXv?W{TYF&XNJBP!FT7N~ZD!WyS^g+e_yZOJhkb)_an< zOe{Z)Zz|W&o}r;0B`b;J{0tc=+N|hQ^zzYVCW^?7;xD4tB)Y!97NTF{ei!tm$zWl8 zEpZ4v5&GKB!S|+Xh(Gi{9V&U&usf*@Q00C#QkxWgj#&S9Cb4g$O~CHE+)hd^VvQ%X z?|RR&>+@K7C_iQf!(*fOT|1IzevGD(g+G|aRni=G*ja1*;8V}k?|e9q`irhEi&FJ2 za1H|{!MeM_PI1IixbN;}^#wR3%#T(%-lUTxl}$~cMfG+UX_!tXbrz{ zF9n|Xn}8TFm%x_>oz9Q0{EM@DY^raQ8jI=4GT$$*-aYi$#V`IHes9R=W_`HzT+D6o zUgp*1oF;3cj(d`y8JaV~YKn&wxc%U1-!`Evix~9remJ0h;6b;>d{Ov?o1k0PBt_{m z8lKRH=Z}*2P~T6|B~GXYFYHqK+u_TmJe9b&iClq_B>w%q-+d;f490F$F`T)PI#(rn z)QVTnD;eU(CUcH5A+fyPFfY)vTHdLgaP?{OdA}Us&p3-e(Vek)(c~t)e|0l;G_f}@ zcW@AkWgdH47sp(8VlAcE@j2;TH_a%%3cPEv9&bk&Yl9POkN2Z`6Qynz3CN1U}Mp$v`_68d$>Y{JTKU#6tfe4&=p%M8# z+fn6<)Kug_-y2N^UH7lM8`XvKB(1`QGiImT$aykJj6Ur$Zi2yGyVf zp1;~!8*CQ*{_xw+A98C4!Jh}qEvTbLJuO#jJtV1xN*-> zQEw@qmvRxq=Osan-*8c;<+ph@&4&Lz%g^fkHChCBi>8Gqk-h5h-IU(~o=bpbvM-2Z zxXpI>A;S*^x1BVWgJ~}+Q}7XIQa8g7wl3=BRk5X=4d7}~hF{ishQ&wlliDNyljgU($^^Xd=fLR609x3b;e9k37ludmF08}N zpCiSKJcB&+hq$vKKjt9?MVz`pxi{2ht$iR!lQ+6@5W~ou?WW>)2$3N<9i6pf#G$~Q zF6AW&Q&ZDE-n;8ih#-&7c^?)h4dj>bFJI7o;t46Xz#OIbjeL5;^lQhHqm6yvyh|H} z|Hf4u+k$5h3|mwfTlz3nH=*?>EWTVC3GZ^c(07OvWcT2ppx6@m2Dv~Uul~uezm*x= z7(fxmj~<0W>xF(X!A?a*C95R*$m&wb3Fm!!ghL-0O12L>n{OCsr3E( zTlOb53W3Fkwf*9T6JD!z5{!SUzD-K_NY*;^dySUs77_UgP&er6pi!=_u4wQ9m%>O0 z;TUZxLUbjf4%`$5Cjb3TKyn`_8~~N$-8Qk5loTcQG>z|AjFDy1*_&pqFG&m%B4oJ? zYefs69lo%CcJd*aer0%L+_&TApAR!l2Nu3N-57AbPAdercm#* zj$c7|UmKv{53Q=IqRVB2ky|0aogoD9yc{Ua-$T_6F~vi6^TFFtck${)=xH$kVpB6< z6)eE_{m#zHf=`=V&EAY3OSK&Xu9Vx9_VFN1vZlUpAy(+wB>bg(xqBs$jqHNDaCI&> zeIiChQjN(0AZcgLoVg?Z7f}K+ts`;}q~QS*!~WbSx(&Gw`Lq_*eS(+YloZGAEaWRc zRgffo)!lNi{n&F<;Kk13-s$Hl0!J;_&|$0{SLQh(_$6}lOQ$&A|6|@=wsN%hGxZ3) zc|OIv&Ctbd{+(dP&tp^<0bP*%tt{w?6ugY$}zi|M*NL z-F^XlUzEpBac}Jz{~bLy*K-oYKCW_sUDbb__tK*uDQb)t%LHD8hZDmn7){jG$?Uk! zkr9dJV>q2yiadB0(y2K$?i^vsSdEH!*ZF{H$3HQV2C}Sz+tJK&Wk>t$rVxDLEW^*N7!lyrj{()o!419=!fid}H7ZeZbQUU2(!HgjF5a=5WbOVNz*m0V| zLRq;`>&h^cp?h}#^#8O%apj~V0>(YOv~J#6TMMZ0j6PtsX;JFP`$BI8w6bx6KF5YmwbeLnI%#uh6h+N zQF;7!Wq-q$1ckbPTOu5n5m&f*1o$k1U$5g z0_~FP9d0`9pN24Q1(lF7aYRKvd-n6Xb?+S*E~8&m(ece!3E}DvA-EWuNCEFo$c3|g zp^p+%IX(Ij+7IG-C2;~#Q06Iy!4#~KdNKWyw1)+wynZ8byheY%X(w*1B)jG!4EFk$ zz!$(c0R3NRhvo0A59?GK;oK8($1#*{mAzg6LPy&Ur?7zhPQ`%XeeOJHa|Km&%=*Uk z^BmQ?feU@G%sl+{h&A#a%q#=S_uFWsX{|3eUEke%8D!4P^@>taS-H0o#s&;$+`_5& z1S}^zW8;iU*o;G<@U(%QV7IJP9(I6O@(RwLInxDW^b`(2RG+xD&o!OaSEQ#606{rB znC(;n-a4U$t?5mlJ{VnO2M2jMD1dc=)P%fQcfWeem1R|jR(NQA=%VG_WpH!UE-6X&l`<6*I#2E5mtzgXL9C@qT(#Hz4kIQ{&*uN}BQ?k}>}EeiZdc&D zS(Ai<^AETxu#X9>Xu=)g&H3pe?zqX%ITlK z=2WZQ8M?#0;n`V;^A+{#=R|G`qNBFH&P4n5Al|F?5$#u>t$$9?Z{nvAbr=xZj|}ws ze`A*aV}5A3>vTJ1#luFhCP&`~H*6N@fT8##56cv$cA(LD$i&SVW+fQ~R5FN$8jlgv zG$vNVUIYZBAFHd!q3?{ybX`VzK*E(c1+~^!P-@MbVdXXeA)YV;u)=>c^YAQJ8~K1* zNXT~Z97r?JpsD?^i2=w31&~D~s$e}gfR7cxddgd;P;@zu*>bC%F(900PTK%02^lMh z;9QY;DZp|;oUh0TC)ipA&9jkiHT@+l+EtQoLuFQ5tf1`bnsKT?>mQmjzi1oWLFW$;ETbSf3hKx3_!fBn`Q)?H>jI0&5)Lt#a1sJX zYkq_K!L}Xc+gCAT)3dW-P)jm}Q%AmJ1)ljU6cS-z+J%c!PxSGc@1=^5gYKfgH?I!1z_s8~T~lKU z4?9oC@~z#e4JXZ2Y+=*|ih>USOHK52E;S*nFg6}~G%&|hdbrx<(H1g4r2=H5>Z81R zmCEXJ-A-^u_u=E?)75U*tkm_uJ=i_=$?OIMvsOkBVpKp>r8so&&Ydnyb+r{hs!A#m z*60sGtM2S<(}~H+3XmcVz#z&2Yoxf_TM3?_vEPVNwd4k{H-?_T5R-CP#!5RgTkGrH z$dpF>11M?c{CjZD#HNb~BXR3Yo%6IJW=CTM4pQ|UnXI2zmtf>vALipnOL(>PO$;_3 zktKZbucDHm-g6z4Q1fYTJ>bifgmHSA)U1=J9Ll@8326!CX}^XfkJuD2HaQ&vUN%{- z1|h-0w6*tik2V*Vmeim~nY|$DzDQGPKa#KeZSw^YCFj-1ft~_TL%trMA}4>N%LXVy z<5Hta!3{wIeEdv^Ugl@!e`XON5Es|4D(#()Ru-~1~X48wZvbKypdb#87<|h1+ z7tZGVgI%v5O6Y2O*ixTLk?_F29kz9@=RKK`4+fFlMSENjUI*FH;ykiVk7({-CzS4H z;mUdVN-BF;t5`?HV%dU#@I8!K{Q@`Q*vd)?<_E|qUci63dxCeQeYYQpdMsZw^qQuO zfp6DY1cJ483UyKo_>2c@JW3j$B*mVCK>r-}hcb8IIv>2MOHjBXK%Rwo#cCki5Otf6 zeeI|Yo%5jE7BcC|`M_IKpImtrV@Ifw#KfefOKSc&EkZB$eJGFv?svBBzz{|JuN|G2 z11ey?2geh9GBUED_|I_M)BmQn;@(_aQ`o6RoB2Ywi5({TA+y|`gCz~(e4R?L(=}Pb>e-}cH-aYu9UqE&7?HS#<=r-2w zzE5Cy(VTGrR|#h;DgAY>rWK|b9kcETUo# zX2_&Y&UbAO%7HITlgf0!%>82h<<6f98)|^m9!cYIoWJ zwh|8Dz`m}&wsSu)EdnccrzeL0i8FV1#R!6niHJ)=6%ZO_mD*JTltOqsJVW*em- LcMn}GV;uNjG1&rV literal 23380 zcmdq}Wmr_-8$SwfS|vpUQA#Bxr5hBG1_kL-QY2;Q91B#G?ye!EyF&qqA(ZZr?v5d! zwf+8{bI$+Od4Iev{#o*KXvo@shT|TwcFPq2qIQgkkx=7Y$OC>&0N6;|0D2c zVjg@Eb(Yh0)^xCRc6;e$0ja)pcC>YHwzW28aJ6tkSUcGBaXsYW669cbWqQP~fOb!fETR0q(Oy zjLGykL&#l*-Gm)qqv2}dUPMxJwTR+UvqVE>e79xkRq*kK{$2!{LZy*^S=r?OvuP! zMD!Oex9|I9?dRdCB#64Mvv$V`D2vhYntwXOEG0V)8@VY)a~YX~v$sxd>F@8KpfP$KoOLr( zHJ-V0+Skh;p&Bn3nIz%Wc{J_EtuBelVA{Zbk$ejq|LH6J^4Cm-^@njZ;_gqGRpTP& zXrv`J$14lZ_WRYzZ{L3X)70I)YGqU-+2=5JAp2P}E*G(+=;fwTu1;YT39YDtv^0{M z(r&Z_#bMGQ-Yk$)SZ~!!=W({vhLZhEzUaBpTIarF>Tgp{us3AjATUh9uH8jc+OXTn zu9Jw9{i9MYkn-=+l2y`pxsA>ZU4t=3ACiV}pJvl}tv}p52$s62 zS}j+O<`UQ&DWg)x3B#w}ctj)RTNkT-+{M@1KJ(+f#X@IfU#;7gO6pq0xPAEY@+)dV z+nBF3B7I!}{bV(k-Ek^~gY{l+d{S?~r7Sl1SIssDWJxsGjSKFLiMHf6k8d?zHmr2i z@jf-SzBt2JUd(lbvvl|JIL=7x6`OwKcbF1K|Mo0*o&QKupG887BkdU^wTRu6`uzLz zj(yvW$=aju!X&e3w4=;PDV_`Qyf4rU(fls+35 zuBm=?DNeVEHvwI-d@T8H&yo!ajU_w|26g!Ge*gM*2Tf(-9qQ`6*hP&H_uOADn`->< z0eA0wmpq$4CF+4z=ZEL#-<^|^8j|q)9U3sq>KpBZK0!Tlbz2RmyJv<_&o?@0=%ZSI zI->M;mCM?Y^{o1&bHD21TK&;fJmp1S@^qy`GN$Iu+>_CIuS)T=?Pg}_L`k2q2~#t( z?jyqz^UoO>8RqVs#9vodLh>bbyvQO+I=;v9Sy_78yWYEhU)8`_K}g_?%?RqRurr92 z@N&&uGR&u~7Vy|Lzd=(@P!8_6hbI@bBo7|rGM8ah$lWFjd7aYCEQx>z!otGny``Q+ zJ`->RT2U^83S0m2rDQ*Q|2MtKQps~R)(&PTTRBYH&Li4Xni1?eYINS)k1#uJ^a!H& zqQlQt41cf><{JocMl7Oet5ao`)Wvr`P5af> zq(;Z4_iL@(fv1O?wOdN*Prj9GeC$FW4al*MA*vi_AIA#VM9Ip^wh!cJb|*ZhRpZJo z;nuNf8?+rO>*!J?A|&Kvf1mi$MF9D(?UEXz_zrGzkN4nI&Kk<|V0F=E=WibS9DYTODARni*Bc{FgR5ck+LgneI?F-Wnw)k-yj;6dUt1wDgYKfhDN8(>jjU@5^p%5n~s zM}Lx}jBxk<26A_nSfIN&BYX4)jI*_hRh4Lj|op+XarUqQ4sKXvUX zk%sJ?U-M8pWo>UJs@`O>@UXJB=iM4|;_*Q3t(J9lMVt6qQ#vef=Tk-v-S)`|d|Hww z(=2N8RJmcfcX`uuu*Yy~-*K3Q5mM)-2OLL9b3V#0lITSRCn8f#n*Ri&5zd9x)A*raL zh9Cxd5_(D73WT#9Zj((&O=9E)PG7wo7KA(x3c%QW$#Crv4!8)OH!G5#KP!iIqQ10$vOic@Z^d=R zu2zE|VUtsq>0gV#VLpo&fwZd%f%+Et_FU&{9O^uQlh{_gbM&)KDEGH`;f6qdptgFc4;^Mxd zmon5+zTO2m>G(~frB>(~m$msIu}vN(mMTZ{Jic~cu zSYD|zYYSS8G64T}JBmBaE5wQ*GS3dj9r~)?%&q-?3_&50ZkHo$ifn?_^{#r=C{OC# z_&M?fX2>`5XBw!ILT(CrdI$TQwDfes92W=@&Qc9XHy>J5_@mYsEjmzKBf`~e z?T;)R^xCRtq2e+O*_^Dk^6Jihmd?n)z_39{Lt~h2hYK~uf~89>U{zb~=Qj66qtg3L zZu~s&734i$P^qaUy{pcS=Yq*^-HO?8k?|)A-COF-ngq+)Fna@jFUOdRlJ_)C%fL^d4aT$0&B2frZ$pb;ne^W8~qG>@HDxp z3&JogUNw4#!K94n>mlXpJF-btu#D%|&st@xHzq$iU1+4$Axv;qrt-GgU(4=cHpD^w zg_uOtEJ!-__{9{L zqJmQBo!qD}ZI_b5+Q7A7_zeZMiEU={O9%2`#fc4F7n(dJj)E~ea&0s56K$C3jg?!J zjH(Z!%fKi6_lDfT)1LNsv@G2TjgK})cf0A}4`^~pA6$HLUb-;;UIfwz?**H>C#CzT=*p>Q6GBz5jPgfjNG( zQRi7^sIuhBvn&f2@E&LQU@1+lzgRj(Fty$17x^|y59!r&<3IfGJ3bB0jR_58+*(Rh zkpcF3wk`-qJh%X{KD~W*QE6USEtPF#w{ys7KXT_H5D*jWgPnJiGkVaWDrCVRJkwFn(mZzm{pY!b3>LSA( zxL7@95Tp$Xn--G)5+C2LOuMQ(Ni&c9cPMjoW##4Q?#AYmn@nYo!A|)=^Y7XP4C>Y* z@+RD#)JaTOyr|XJ79!C3SG|TAMHZ%~8tG=WGBi5Uw1uwz@4w9#f2Ehqxqm%A_3SKl z8z`y~Y5#Y1?Uhw6<{p>9MvK15%J&0S(7dEE_O~9$&yQ!kXY7qVubHN2>W$|`xeIze#-NhsxpKzoqbqLf~j?F zh+7M&G$Fa$!&ZGKM6>El%;WR1Tf^~fv%>!t$M@!ju{|sF>}}8*-kbe9ZJPh1H8>Le zJA685OL(5Nc>w%DkjSE|fTZKv_o6eV=ZVv5YbM7t!o;04Ex_B>{w=Mq zA2KLB7EceHm<1m_MpH#!cMFJ>qj!{y!f$##_`L%FYu?1*FJE|r0c`lWHH3b`KhiN2&b$%}V(pI$=lYuy8)AsIS4n(dqKR`hCox=>6G0ke?rqBCiPVTx665;fi4?k?}_*7?zNWg1W?sv`ENZY-=Qt}${wl(R21 z8p4$pmQu!kp``Q$1IVNnX05O>LnW41n;%rp=%_H$@V8R-5i(ZXN~kb7^L3nWEr~`F zhVM{fZ`Y?Ar#qtwpeEEegDQE-bzwHiq)p2|^8X6<)dCItCrhW3F2hC|^`0(>{!`GE zDr@vW4=k4xQ|~0$bBjH7a3KsY`f}OR7O)5Ii|=j+OJAxC!Oqc9G!_nii~$VEHM7)s zeb3z4Hgm52gAeL{QwMI{v{7b z^&YLwpP^)}b=jl=+=3rMIh2i;Tu!j9v@up54z6Np#jEw#FC_pU5R-`PJ<_eZJ+$_`w ztTugr=G-YM0rPgUQemb8*W>Nk$FIT1VE8Pj)buKr z$|!brd0LYKPd)X(UGOALDR>emXcxy}SoKsbNj$bf&hR?`jwY4ELm~mCR=qur_EU8p z)`;t+X$z+NU{T#aHXDCK-RM|YeR)`afN~9K1SgwVR7UWW%251p#LSYlO1IdQoQy1F zHi`;BG@b>+{mgx@)pMBu64b%e!SbK`8z))GzWRq7<1E|_$7$;$#my9`3qW)ifVjgw zlS~e(LFJ`$UfuQ_Gon#vk8EWuI}LmYZE+dFcI{RJU%hwDUR$|-t!sYHO7!cQrnieW zy-5y`1mP5 zl=rN%k!jc4(0{MhN5bNwDT-WoVz{JYH2sxiV?HgmFW4O2-}O0b0fE@1x;RnMPi8yI zS*~K#^IJ|}+IZ(v>U^cj>uA%Gex|8O`s&rI*SQP7vWEj==%6$Ox5!jpLhE;-)w4PvXmo&e`T7fwX7m*ZIngiTr+09M>U)t5=*jG$GS%zx7tLpd z{3F7qD*Zp%ryZ=%qXU`ymzoCj4w^*+N+8_Bn@}4d$O~v3=tX7P9Qi_9BMEw#ouoY! z5sgN9)YK|2`QOX{NI|2quTjj>XLX8ElU8~I)4x4@H?NLqBfzJ$jI1m@J%kZTNud?L z!EVAS#UPb0!BKp*W6`i9&3Lz6RcpR@`+){md|JpV|YHvxgn{bSC?^Py;3>3u1y=~1n%GW{} zq<_(98Nc7QmHIMRgWK^FR0V{vsTRm1lb!9Ks@aY8R`4x5$nYv01A{u<%@^PGoCsf$NArhp|3BK;c`HpVSSk zEJ7sEoI-)ZXC+!#kIYg}uEUp^QQ5nBUXv)2r z=;$?R%9MstjkDsE&ymp$A}q)e7wwuHCFDEJT&rfNFkXJ&rE!YASf1O^lZA|wl(h7U ztj>9+8!Sw6iC~=YoW10j-ayFBiJhUm4c@J-8`ib1b-xQLFk^1J{)%CNZdc5E#Rfd#myHG3RBBpsxoVaw~&{EV8m_-6fRx$y+^v8WE^qcfLzIe>hZD5GOIlDQ{Y=BPF! zl|Of+C3+tTS{f0zjszQhREA#N zpA?O&;Gn{m(Ajc&aF*gJ#d%@mP2r)Qo$bq4%_q+7nI{;!x2-&!NdM7O1KR*)YdwW1gLXy+hy(Ve~FCq{3qJrsc zRq`c;1<7qslUg&xC$93@4UxX+6mw0l~ZW7e`K39Kxw zA;Y2{Vp!oS>Hvu6Nq3op~lDfc;IY6;IWc<%~-HexZIpZ%P>Fxs)UpkkXg&tKlVkzB&9 zPmb?s8AXD1iou||PuWcx>efL?T^-D|3Q|v&w6g%fkz^A9Mrtv?Xz$wH6uq-l3!@}^ zJ)`fD2jNSZw*12xCPZOzgykcAgwiwXprHv(dzW$;RH(q%E>YAa3^-ChhzM+~Z}|{G z$T}s(;tusS613QLvF>*ygQ><1=dkGAr+UxdwgO>LBS#1rkm{A3czLRzBcnf>-#4OAYw)#k&uYrMI8mV@xZde;s zS_e;`tG;hd6!DfWfWPm`RNG1o1 z?dY(<;74dcD9oj-gXQJ!u3&DSfs2oCDeU)OofOeqr_TKZrMzf1Nmg9rqp)hw_z0O` z8pUK#n&%8}5N1_Wm>boJ z>vgqCJL-%wl0&Z#SE?R>b#|F61IALEBg$>Q??Tvw9eUZdQG46y7IxDkoEHF0b`OIM z*2!5panIN|ZwedIp*=|~p3SbKEtb$3)|{Yby%nXF@e0_0)Vt@PAX%Iqq8rZ+RtLkm zjA~-=?t#jekuH7RAQ&CvQEPrA^)aFRgNc%0I5c^oN1Vs>5)yWYCQ7Y>omU4GgXkn+ zqg8O}$+z1~KYsk+wHe~bF|MzP?8bo%17<2;4YL99B(db+RhdYZz!|(%9z<+Mf~`{L zZB(Pi6&2%VZh-DLN9YByglSbo)Xll46PW@QW>=ELIENAzq!1-j%6^m-8ha-=uFx}K3aF~Q<|mfc5|+hXBkm$+ zE<}W3)xDFOF6(Z(;&<$QVbl5?N5$yfI_&4a6L=Ct!OY6$0FyN?=%P7==g%Wn zEb24@DLLmC;~fNZ{WXE0p?I;Ed>JFhD*7QIo=!T^YPl0}1ripbU95N6Pu7{ts`PFB z%Uk6`YyGTL#s7Q~%Zs9$M%rcxq7!rN;;7TDb1(kz@uMQ3=qe0iKu}3~pTTuou`xx4 z>h1CySFdX(b?y%}+m$DM7;9DXa-$CDl}_$J!hD=~poEwh4r%ERTf%3!+Jkf6-K73Hf)z07DuLq2_<@1g1Jr@^;WJw>;u(W{%8(Hz! zy*=cv^|0IK#OMH&z-#dZC`=|GfMMnDdmujk8>`7eKaksP_*_gByXittlz^um6ty@f zPW>jm_c4dp7F%&h#TkId8kQ;(5cl}^Sp2Q)*F!6KWCJC#wsyRLE8lJM{Y0xWjoqLk z@2Vf*FRa_i#1M_vn`yL|v*9;NTl^VejzpXoB`>J)^1_QRfSZd;t;TiZL9qDlC+Fqg zkJhQ-J6ei2uHJ6LSJ7Ea(cb{f4iTgW0fqg2hVoAB0uLmYgV1g z8G`asbG-sCD^wS4CG3NgZyrRIQr%D)QJyvnxqVbdK{QM1$N^+TfdAki1PW%3WFC+hP5Vyt%1AS6T{JR>B<1kT`gn~@d#cYB$MN^w7xHpcypUD# z#)yZ=}6=pUxFKC$<(Hoth|vGJK=G z|Fc?d4`XyJfz(eC$vp+?$eVkjYE#D>4zcA-eKa~8&t#|8wbk_pJF1dJp(P6;7tr{J zqe*tujD4O?eI8+Zc*(Kr{&(p6u3>zf#z1^9PE(}r#ht?Oa-Z!V1eQl6T9x)j9-Gxm z8KC@W3lT#JzYg19QS8gF(5D@H70A=HP{l?o1Aul-)|4J!<4TP-Puyd#`n7tCFMKOFF!xM0xZ;N-EG;8aK`BLc9Xiy|J9^%} z042b>;#H}Y%00Xnq$TXVC5}sqrQvOW=~H<)gVOafaV_@52gx1?(9+o5ne6Orj!G|^ z;ey1v{XXTWva1k{V#`pw3SJz}xesI2^XqzUJP+(b+qSt5GE`Xu#i5ZOWJN=m(}idg z-o#|!Mos{2_21jr&JJSBBxQ~@ffA&8+|TQ)UY`BHPu%a$EGhDQAM*G2@BDQAzWJXt zIdVEW`yS9vm7=&!xVY=K-+6 z{(8{RC`&H&2uNIq{vx3z>34#`HdG)> z$^Z#Ni3R6-HTU~`*U4{Oc-K#$yh@drmyN1h?jN}8EO%5m&>g(!kcX3Zl*&t5Gqe($R9v9)CG}<)EK^q82IZ9lVuowKBtTAfuDDo`IVCVG z&ZfBy=2dLpxqDP~Anaau_&MYs(>T@g~)cF!TBK z4PNWPy9mSbugP_8elpg8OAe~y%$Re~V!OJz^}aa@o}V`_wsO9U!^&zynh;6lJH|-R zYslXw(VPq1u{DKf4nwP0c${&)4mMtpriMlyU~ol--WnxeV=I+`RhPV+Ja-e@dtvhQ zj?&(3i+?9&DdeaBtF`rWA@|KStg4`V`Cc@klzmtti)q)6k1Bh|@19hRiDC3=CYGa9 z6y>|2yHjw_14;^O>zAA1KBtGVdvG$%d#9C3TaXwk&;z!z_NK&rJ|Q{*lLK8QrmXfh zLRaO=9kl8(yJnXG^WiJY#nbB-kgyNw3|O%9@eU24Zc`reNuH}YWqU7QzT^e;-{bFR z7FcPTH~4R}pb3sU{p@p@`2=YqRpoo)5wy+k=JV}eYShF8f6T|5dCg&jtC9YM7_(m5 zn*lV(Oy(KTNHc&40Rsj&M1WZ8`7B{Z&W2q72?KkktjlW3qk{;c8h^#%CpWv&grJWs z|J}G?I*HehUuXx)kl(n$X?+7SB&1y&OlnN{nH-!|+ePgd|C~cFgUkRQa^)r90b)-S zmr>lx8IZ;@-pu`iw`##h`;I8z5h3;+MK-79^#vzxXvRqb38Z8=-WQi7y>SpP=~Dxs zp=JX}?qERc%mLm`wt)h5Vd?yH-uuP{2E5_WN~JJ?%Z8nVK=Tn$`7?i zmsA^eU0+roWrw&735tMn$qPbnx$&TY+HU0#?q1M~A?lt)d*R|8cLEddCS2(^u~T5} zc?F}KNR@qxje|`8UE_NrdNZ1IaVrd1UONZQ(N!4~HxB!_@fD5M#PSf??p39`RLDU5 zru*_i?J}eijBu|9SS$wd?AbFXG-qWyNEc)Pty)`<6e@TP%NW9TrM4oT)dePKeG7|u zi31CCX!ifHKW{-CBuF^i$aa)g@Ar>EIA2#NG_LP5yMFyTe4rAPgbxs29##TBIA=|$ z3?WfnsVJv8Txk0FUY{U;d)~DnJbKY3^#Gq03=Ttq@s%22Oq75)lnRr{P`-iHBEE6m zt7!{zR>rGUnIMRvQfRVD*RZh`87@@oulV8(r7IM~@ZXbu|Nea`$8nw)u1@yTA7O%6 z(yqW8T6ho0&)+_uwDFTDpn1$1t#tqsyEL8v3NW>%j)6($$-$Zx<=c$DQy2n*)K@Q% zBc$>DXocBnr3@b=b5_$_I1^TS;23lo5s!2dBj<{NehyNGmN7zXY>MI%+-^@Yr-o~g zD~S?b+Uvwd?Z~~rZ|bn(*It=R^5tTh_xH5?lL;e}G5@Gi(7<-t;PVYY{!e6<4vN~4 zRC$aPwWATNKNP%5#3>r(U=ZdaQ;w*B}aE+#;w zGqJlDaJ(&EjO&-!_FBhQ@5G4cfI9WHp%TlW0?Sbeuzs$a|D1!DUV^BXj@xD3iw&;0 zl7ne+FlmRq@IE!DY6_UshL$5bUKdUeyk=H5nWZj-4C9`&>3!nFfv9qEVg^grsrf8p z@@JtG2H;okH#g}0;hg*%u5m426`BddDgvO1*M346aoLAb?#t8TLliuEkH5RuD`fz7 zhT4<=`q4}~P+*j!I39Xkd^hpM$dxg>05A==!Ceq=)%*98m3C-iqnkufPfs6|eX~kA zvZn4Q*S&j>H|vj#+4Re@CqO=}1bmvfUn3xo%D{|0J~`=B6`EwU8OrO}@g$D#l|0Rh z;5IS#_V&&I(l##;9lbBbq4oahwloXpmLQtKH>XwtJh{GDRoKc@Z*d6-(7;kty)pm^ zTXa$&E+(oG%qvI%h6dwJ^5_`TpT;Mx3^`&Lk~Nw*ZBjBQ0rvT-my*Ke={#h= z++=6g`u;q0+@Vpz?p2lV`H9DgvDvS$p;<|uN&uZ(1PNT}0jcGNvt4DFuJRcbF1h&4 z0-5Pk^zedRV%ZTH5}{kZ^_3{LLGCa)NT3bWVRQFr&ytJZ)nK2$$MyzcHGoxrQsPL@ zzA0U45hKhus?~;5cb;?nR~``CkKGuq^Vl==A>HWiPc_@<0KCz_KY!6V2I$nWu}S?o znk@Z$*}eU3zz}7J`5cU!{?3NFY!n_JyCakvU+Z~2H1goHZlbGvG36IGp6=qw2A%xL`m1Cxt~{oK@73q!gSD8h8RK!L61o$qACZ8U=>cL`w(mZ9#cU z=j-E@>KA8w>isx5dl!f6qxXBo_r5YRGj|rfY%cNc0WmFeU`KkqzJvUE0{{u4#A+?I zUxpVl8?*5b&>)neARUUXKg;1?|ER-l_lzB@2@fZwryq?j+B^sg3o~83Jm2!W|g2jH&wm(@vck+Io6!j2AY2Nu83%(K+N3ERZz6r(g@rLK zyE0suoFg^@oPm|;#zr``Yf@kwu9zV`tE{3H+6%fF;4-mx<7H*&6xZ^F9fQX${mlig zmAEgmV5QUb`lky5VVBkCnR}jG%*@Q{(`#=D=y-bXfUqm|FS~*4&>YT~8lL&zsWR3Q zK1xfQ-HBp4Nq!d|r3VTA&2U;ls|jrHsQXI`sAM7Zbm*VOD!Fc6-ZTTB9K)Jy0M_6h zL7H;d$!S#ce9G_Ar{5+^yU>{PJprkpOp_?TZSOH5HmmMvq*Zl9h^^-tGuI>wo8ZG- zPm@~q=bLsK&n6~Vr?D9v{%7k23XtCBZy%WM-(}Byl$5mFazj04unIDi{|^+o*i;b2 z;i0+j1b6=6qw22iA!cv?UHcf7Cq-BSHN7N!lsht_J6h{jSZxBr89RG>H{_d4$fSRK zY?KTivKmR+P`Zsjy-LZPzh;?tbQSWr31rQKk13J(l8FHXO#%Tvnu+Y_vni-uXd^=fqGPz&QSD+-JPu;%tz^{n>T5p86vE0 zIC-P3{5iac3K;P?YAwo!C`yoyq=<|AM%DknkO4oEMe$lQ5#DB*HZ8 zqO~!0{R=(~27^~4jhVl--(4 z4-)lyWv@abSfBk&2>kLTOl-4CCQ~K$o&`Fpyu<@4*bCu?n(%b6j@E|NO-)VBL44Nf za9s~EUgMIx61M?%3h+LjO6PhDoB=PogFSJzeMuq?K=7u)C1~~d^bE7N;D5)y-O(2) zU3~>cV*Phs^~T6R^8k)~=FivY1K=Nd9oD>Mnre==B2gw0NwrQUFQ6cy`SBXHl)5%> z0wc7_0Z0QdrvhUlvoQMzSK?~lrA6<$LM)rE~&J#k1?R|7j05HQd zF)G)WXJ%d?Hn(S+$tfwB!IrQgES=(=2WpW0jYkne$6ktBln<^01~vDOTBloaD3!%W0Q!8)c^!&~Fay6BtK-($Ft<2y(f(3sDk zKD9gh_9TdC_-MYzz>KE}KQs3*AV=|JDzUczL!#NKj|Uh!vr8n>BL!SMV&(cMT$+G0W=5X1scE7NsQ5`g8{3~MJz6hjsi{I z?Y3`DCy(EOEKmpx%g>X(aEPs+)JkoIjHq7yYc3}V@W+gTPWq%AiVT@`Rg`J41*nGM{!FOS?PpqUXEH%4? z%iZ=r>GGU5R5K5P5^7oDB-0wHT3Ba=-|S+Ae8Ik7MOnmo=OK` z5o+vQ5A}@Wi?x!H%BDUvKKa39?s`f2K?-ub8x{5TPf`N_hw+1rV0=n&59`1tme&H% z3MLQ=XFdFCG4IIlrEV0`5H8dXq%g!8u!7B>){gyMc$xx$3tDY{7|QFM?4 z_s>)#m?dk!A1rSA8hcFa0_#Vpih-M~f6v4NAVpY?$5s`5l;Q7VGc7Wf;DxaKxF3`)@nV0FmH+sb#m4m@g0p;3+eh zFUH({3l(%%m@O?71V_hiXIY#YzcNr}mhiYSO9~k#ps*Z4lEPZ19=Hb)pfq%VSr)TJ zNb>S*4@e7+uf~cmyT9N#9Ub3<3+iZxS*PDml*w8gg(E(sYk1H@Jp$7XJG+kI zz(ZFmT)dmvLJo!{u0t+c(=5r}8n=b)Ici-ulyc82!3bOFoh!)of7aqc=S@Q^(;HpG zC9QP}=r)IllSph1YkH`u0f^p?z_kK09v7^01MgeJPHF~DQUMZf4g||ux|DMYgT{$_q4lu8F zcf8U;s13IMK!u3EI*qONIVI<-NE>cMt<;IHh1`8Yu!loF(wE9T<;{t;`w?RfV!o+G2~M zeaRhO7e~KLlwmt2f{J?YzDRWUSpJ>LK`48AdTP+e3|MY88Mj2E{{5}zBa#vsFB3hDW9eaF3GLgAY7F z;BEoXzY;Ljhv<)Ns(CQd*2ZG;5#>T~eNt&NGu}Q-z-DNE)k8B=<>8|;0F^PvipX~^ zf`X4cea@rn#N4v3`nd@eur?mn3uqpLjPNXWN zyYrPc3mYP0T_Fyzlo#TV$S^#SbOmxe*Ap!Ot}M%*R^X$ot%ctkpAU4smYwGISNa#n z{%0G4I7<7j2%Nq(_`OosJONzIh!sxUYn?Uktxy2Fk$Xt0)k#cR0Ft{qL;Pd^1O!in zV7Bx-Z1@|P|7oN1>Y_;H0uQPnSqQ{e`FeRG4?$wlgsTH<{^La`ADE2tU@^^NM2%#; zrk0|8W(eWO0rFu&RXU^of{#j8&wr>3U*%B(f@ie5a@XQLu^_ME76m{u7c&e4>w zupJGXoyaY0c8h)C+J@`cn1kjgQD0c7ENl0E##HojW$#cVGz*-h4z>-ogjxXUc9 zeFJ0ApptlG5=vg%6$QaJOm*|UiUHP&owcu7m`W4hxNo=Js_Vd zOsKEi6pvafEBT4w^J(4nGpxd_qPw!)XN!0)eb=+Z7~S#_4^J z9|4n$8?I{d^ghp(BGdTs*ZaZHQlHx{{;1P_orv!)FeFU_ME`DdxY~m^ns=~_9Pi9A z@$zaId+*3$HY%qXg@tu%+_t#D?nTLyxh@Q=w$1khN5yXIq-95Y|0#{F^VDGlcxUGK zy6MgBAMXjei?%@nVFv=Le+IcY}V%pb53YD*R?EcyspAQfS=-&Bu7d77;a9a_B zya%7M<2SgU2WvHLZf<67CR_di&QNYV4prr;>{oFyk9xo-9+lBpOpCp4M-BobXOOyZ(G?9gu>5HfYbwdR@;QF~ zqigw9KM2Y)RV1C^>lMEbwB|s>qTV3olCKEN#UtgA4{Z?!y*Y z$%W*r%8f*Mu8?7etBs z7`VK#S_0Hp2}Y~^I3s|m9G=Lf29DfjYxYA|$veC;QLl~(;Q%9+*}a+bi{Kl zzH!A-BB3#cwXkdCUa6q`qI+V2Jn6M6Ltt-0I?|*J34LGcvrx?e$|}cu&Tioa-yX!I zxLNF^4$J{Sqe?6d=7F#zkd6;_6gzkqgN=3@QKz!X2|Ao}EN1kt7>VC2E3_4*{6E~2 zsERw_8f2jl{Ucz`>g2NM*+tM-!8X!KU9ekn3n&g6&Uy`HjK_bcsEED&y+;5!3V^Yn z*2lqHAYE|1v_csW%?OTFrt~d4hK*G`iyG}_V-PosD!T#V?vJ1kGX2;++-l>Dgl}vJMNnDH1jnmj zCG|o zp>ULAcF{NgwF1~xpRx!HbU?EuyMip@hmCpTQe%88Gl1rK0h%vui&N}>z{CmAJk;}r z>!z;Ydai_@j(_96_~az&nd9fjwl_iT2KPgG`9F_CgpM}4VwVbJbHN32r2en^hj`&i z>y|{0(~k!&t?I*O1$2!vQ2J>$<)%0r*l}7xPmDTuMDus4{*%TaR^5Fl?P22GFZ z`#-}5b% zBnx-UTvT~yr@`b;5RiD58xOYA#Un`e?Qe|Fmh5^62*>lbq0Z|pUM)QZG3j?z)ejRu za9-lgcde$mw&3WH5HdJ29B*HvIFzRszEKWFj3U4|m;zwR-T6R;7cmZAr}F3;C17tY_ib*G~iTfDe`h>5aqhDK`%?D)JNBubx2qBlN z&$kC1s@*?cwbn5Kd3ZeO*i8J-(MkYj!DAy3*qaCKtzmU9JUm=gJw>unKA5iBvm5-L zl&e>+gn-F3WiT<PT!G7kox=O?Shm;~?Y)rn7JsH0bRyJ!VkhS6X`8w(0ae?@hE z=2|0y1SV36{iG;0upIuuX}-MNdavp?JAdUARa7E0P$M4qSjO+CFD$GWnD@`JA|}d| z6scX*eR8yVrh)bcs@XMo@H6Suoqb>=5 zQhObheD9!wjVZ1X&KuF|;lRc{K6UQ|`GodnA#F;x*N33GK1~3>Wg!=|Jp&+Qnl9q4 zVu!7Ny)B^RPfE|#^8of6jYK*Lj+KrqfAE^kJri+XOcNP?$f01orJ>$=v-hGNOe!6s z*|1*#1*E09Sw<~EICQp-jsOpD;dlaeWO4t0ot$|zm22O}H_oXX9Q8Dvgyf)8h6a^z zL{gzpQf5k$narCEmFUoPDr77QNg>0QVQ-4sPFr+HGMCtFLWynI;{9Gae>`iw&$HIM zUjOW6t?j;V_kCZ#>$-m5&-Yu2MaX`D(q839BX9Yp>P^qXatiZJJ+I#IgCgg_>Z1SM zFDB=dl#dxO7Y}3TtbQA);hUW;E(pwJi3&~0t4-M;;g4ynQ}91 zWwr#4IZ}s;ntKQnS|o6Fji$RhtY@81pT+!B705gny2hKKdKD{e>C9jFkCL3DBsE`s zf;peFA{1Y}&A_wyzFExEtexM+4i^MYGI+zR&%uRP-oxanl%w-q5=CD@)j&c^e#dT! zRI+D+W&h6>%d58I7K)?dHguoVLX4q7*;c`w6}d5uV-#tR!iV!7rpXIIGIC1mnJz^& z`wv$3UWb98^2-v6^#T2;S2umA9>a#J-1_p0(%$I(iKS<^4A*P0cLc|II$x+Dvz!KI zx%ZQc!j$Ye!-uyxbAO&vA04&3@)Mjt_k-OyZ||qAXItfJfBCm*ZUqgQ1IuLi?+Cqa zDg)dfmtJO+cmgdnD))-m=%nJ>RovmG`9i}=#?iyRN>S7vpEwlP^G(wan9e?(xM>3U zoKT6>g}im|-fjQb`oHs-+M-xaujYF#xQ8kGa-Gn`OHV-jmO%q0UQ{0&Q=v^Ae8!%Sbe{ zg@fx_CdGf}d~2}u-o5)iU7Kn%N;skEAv)!O@oXRc0Px$~Lke7NGC!){OtNFqma!lh zP8|cWJKcO-@3FN_5%2TmnDo%W1mm||%z+G8dKYR@3YFm;S6+TX32_Ku^MBRQFI1nB_X!#&c(cySBuJZ0$N~`&ISIDDxHzS_*Wx5|wcQ-BxH*aZE2&Yrw zneJRd8FD1beU5M_hvNxX>h|kb07m3v*6LZ!(isY`o7%7WDbZS2fz!7eJqb#4IK^?D z&(nRR8%?<;!G9ExusHa`rQ$S7O8*A0=!aBFX@+A51;>q^ykXx+9R1dv^A2mPyw2C;$4k$G_Uv zFZ&ClS9HX(^Ggao5(nuXd`hTaFSni8h;s|gN57ClFiGFiXq@Zfj40*IrVy@^?SFKRJ`PaPwPXQLXVot~dR|`n)lBAo zV2uW0e~Yp~4C!+k(jU1ebhyCCP(J?FvLS7ckZKV3Vav|H8gF#`QcwWT5T~Ue^P$<} zXJ;<iYWn z25u{l7b`}AR)cf9S*Y>g+xV*3+Xjt8eug{ zVY*v7dvn3AZ^zgk7qj<&Tay-{3EpD;v#ukqU5t)1oN z#c3p;yS2Zf7~9i$9+no%O?`{HSnX!T?#Z0zqCfwUZ`S;HUbK-XxU^?`gcw8E~$M zGrda>L6*!l0#J18=kx}{2^uf>irCJk?z%yE>;4Is##!SGj=M~JhiB!?Z>tusn_v)QJt`+2mo#@kGzHErbO(<>9_1Y0614rq#>(^dM{I(2qL`K$&Pj z>=Qr2GSVit-PO_M^_{bifdA0onKtXti45p^1LLzB=t~+NYYSl>_P6!@Hqru}-8CCL z$s_nUXc&AJxTMfri(+>-`NJ8P9s#|h0V+zcIaTDtF($9g6y1RC)>+=djv5_hz?a-S z6Kd!&t&TRUS)%+)R!{~U8Otp(lw4C&Q)#$_7IZijoKK$_$DPDmR^~;>G%xpTh3z;sKwjidcV=`IIG)UbgT) zymN=Itu+5%2NkL1(}{gEID%Idl8R!nUC^%^2-3?Vg4WaoSwRn zbT_H5K#0Y^*;&_CsH%v4GWEYac5w*NtW>* zeMs+jhWNwIAui>bhg)mmpLgy^p}LsRn#+;K86UA5z@a>fbbKI#IA5^%zd@`xBtR40 zsx1MZkF7uQ;3mmcblrQqDQ^(YGrMPwW@fig4|Y_2B!mzC8GZO(YbQcJJ!bZx@eZ#a z)VPLX58HWo9~mUrSMd}=uOLsWQO+$ArmCrUX=&*O$!42+XkPIyV~p8$bCl}@Xd1Rr z%huazr!gWC`o*3mYiozPB&U>I5>Xl7CyoggtvC11mBAa~=x~mx%sn$lwiF;GVo(EE zXoM%Pt#z0vrC2THTdc*P1_a!C%_W|&KY!hq!wDj;I5KUUBUSOzD&-f#nVlrsB;Q`o zoE}&txRq2QW%`u`)g)hZyX!lt4<9}>lz5*~^=4n9Ds0%G58zn#@@kb>jFf~*zwTggIR) zxUz9=-Yk0(ehiovduj%*>1{#DVjwB=?J&j7^;SPy)hKEdlMg z;&t23BpW4CTUXiepvkhSn4q>YVcjj<=H5Q}K+^+zMpqbfYCMO5o#bhJtyOknPJ0j3 zCnl2z-n`TEedUp^MiWT5$<&QR0I9>Wrj0!MM0J1n*01_88%{=FzHCs&#se*aR$p75 zX&Pir$%&NIqBI}q<8$7az*Xvv2?iW2-Iv#(l;Gmu|VW8 zUXmMl#dIAV@2^tJ#S{X|lqU1`E`fm<%_>Z^Js%?1Fx+#6Doao&mMv0T_!WTGU(m0W zlbZJkVrf&qm|rO0uM3h~!|-6*66=eHK+$-&!+cHFGUlF;%`XcVmxu4PHaV24{iE`n zl7_}xt(cW!c13*$`}#QLdy<1Du}!_j91HRC@`@N7KlQp&3{iBPQ;QZYs(F1l0BbVg zk!bD;M0MDX`|>@J%F(|(Ey(G=NIDmK}2 z>h`wXiKXv$alRnE?-l<=%<-&p0?4L=6^uXkwyEE4sl-5vn(u?GuM?xJjfqm~$120D zLPf1>)1n=GcD;ldtX5kj*uz*Ld%+RwV`*KsrW;(0vKX1AYUZZ11Ja9!iW>KbL!znA zliIs7{P!=_OGlBj%fhVpN?OdiUTZT*C?UKehnIFZ(C(onBbD*2F<1*JwL@ZUE$$WIh(n<(OH%Pa13X;;&NOw03HQaan z{_Z(<-M`NNhqYWR#+gsQ``ORl`xqXDHR9=1qOjY7qKwFE4(9r zSHZ6r&eB@Ws`l@l-Hbn&K@^Og9c=8KZ7knCa5ekjWNB~roZ}f62Os+b3uk8srx%=@ zw*TuL9QGf~Ig5$|JHS@39b~ngAP_=hSe_*W;voH6N}#vyZa z6bcjt4JA_&t63Ivi`M1|Yeoh_nwYF&F%N~W92UaJ%149_l_1J}ebDUoGWZk3Uv1R& zLg+xBMCJ9+u4&qWpjV}k&~!6ZpJ@GBvnzRcCki9@;l}eSp%#|{KhojQsF0A59wSOf zDEN&R^ncNxvQ8`Ak-@2{w5R)j>z%eY;A`=QKkRUbM?{`MNR<7*9zJAva=E^}jUy%| z=6oB! zcI>{|6RlNl1VuqbRoAi^FO1usCRy;gptTyy&qRqwqfhjUp9lLI&Xyr`_wp(-9wDH8 zVf6dkQ_I2Ez6XEu6juuJ(q8s{eKdYK8csz`oxHBM_0wjyrsPF;M~5VSRm<)9?DQZs zc5${;Unus8@=G84JH)LzWYAiOJ4W;-6qC+f+(+TgKuQV^CZ(2xK}c8JQmRwUI_t!5 zJCn0s@tX4+8WT46Xn=svl{0VpVIYM;+fG?)gzapN@l?4n)l1Fm^F3lJs!+$3uBDYo zF^!WYrcdC;Kkx9urx8#ZP)reU%xd6duxtN>%`!wU_(7_<7VoI<@O-s5MqTm!m3Sh! ziMM&{VnKm{1?k48n` zoOJ@5_6LvJ!v_zuC!k=}iK zu@JfTJ3jA}qwiv(NR#lO>Evw?WTwv1;@3@zlrP&V~8+-fg18F`} z#uXf%AH`}I*#9TyBF5;2^+d5=^+WzuFH??Xu(On%gGX7*UqrygTQ!CAFc&i424g*bCPKgpV(nrGu3Pea2|LIG5SIuwl5a^ zG=D04DuIJaEJ7YgBmkN)J!fa zQnKsnC%jZbdQm-m5x>(B89{_7BR2s7lvFvo!FlT|j$tM2p^$c*O7FJ&2lb*=rSoa? z^i1XKSK8+<*VlQ?h{H~4N_A@q?ru&9HHx+T#Sn1G0hZXM)sL*#U-gA5ofg}my!_9e zJdrKI;~*$13e8_U^21Pv9Neir>EHD!R4e$(9sf)uarTK5wwalOM6^d-<@WUCq$WOR9$~$dRIdQq8!72m z8tcA?KQRl%Pe~Ppl`Re)o*giu`64bitm*`tttU&@u6R2-I-b+W@9W1hto5tqD@mk2 z#1&CF=y8M}8jo8~6=`zbyQh6LTcXQPrlMJ@R}j<~8dBL#C(g)vuTn?Dv)(i~vPiS6 z@Q|6!GFS7BD+){h$6k_;rlslkvcIXfs>qkU>kO;&zO39XiAnp}dWR6wEMv(vG{vfO zJDA@#kE-NY@ILvXGtOQOtzzsL9wjI+esXebx6tyXtmR5>KsUCM3tie1VM^RjZQtZS zkj!7C%bi&DB>Zhi$X6uRX1X6VUyNy*o10go)cD?BCA@Gc#4!=nhI}y!@AzRp}>*(V51HoKGGZt|s;H zIUf6{WJ!Cz#0~4eB~ACevJBc-y#k0`8l_X1o4+|PqXc3W-p@U*k?G#1)46+{ZNzBjBuOwLl{I7?@(Xw=P zYBut9$zxZIV+z@G@<*T)&r(oP6})f=d#5X>+X+b^?CoeFLHsMmr=5dse`-Gq9x8y( zn;QN94lxB)3r&6?=Id7@?!+Hk_+8mn;}Qs%c(YkhIgMfgQU z4dztrADJ*Iik#iEn`;OJOHY31I}x$+v+89Btj9M#_ZWyBS-M%>8{g?Ih@WB=W?0UK zkxE8Z%(*T2AWMDuyH1?`glCdZ1uP~@X|uAjxJ3-xGiz(z`V`hL$U5yMWOz)bLbP1lEy3vQxVYfTHW*Z@fj!b zoUO5~01yznk<4oyG$eK>ymkbGqK@^=Z*E$g!AEoD3whpZOeTkfe3o3l$-V2Br$<@y z5R5#IgmRH#KmPgiXCd6dc)T`TLALLloGd=XQ9jc2Qa6gS^)&wlCvzF|L9(h!o#$|d z1SOvhB`EJfXFHQCKQZb1PkHCvSMYB@xk})*CO_Yw3%}26mEm=P_ zwD)wQHb$DM8ZecD9z5E8eYD|^idnccxHnsy4T=v}VGurbmea-{>#4|b&qLO+xh9Y2 z9Uh~qNeKxde1LV(#4ODLDwv-p8Qqleexb#uuvW1>?Nj@zfrQ}WNIoSvB=NCRZnX7l!zFgZ{7rY970Iv5aDr>X5ZmnHs zp?cBbxTfI}vR;&%bQ7$8!@H2nh;6I2o#k`hn;`>-so4x;R!mcSbMDnI(n&ney4ofwLGT=FTdy+f&tFU0vTyyHNQ=L!P4D=xU%N` z1>ib%Ci6G(_D+WaYo>k)_h0OssB+BVSH1Rv$FmVP6RNRbPnOhMB|GCq@!P3h8>wzw z9>=RZyreM-Nj%tuBBw-vGJbxnkd*&{gH5wksz4=IWiZ+U_P$DRK&cE(T${4}(hs?p zqhZ|@QNaegCBljS-O|=_2;$4l54(s=E{Mwa-$&_Q`-0WoWjA~^es{hl$;b-he$*YH zz}h~S=%sq^5r(*~IUm%V9~w-q)7rQ4vId~<&GBzetr{DumoHxu-MbfCHW@>73Fgl*vd*b$v7CHkls`-$szK-)3Q-L&zV6qsx9CKnPQ<>m!1^CEs&01{6-D{j{Qm zdIj$q4)yAH89R;r;%vPk886c82CO(zztI(-FqE3#?$_o>_DF^Vs+5e(O7q3Ms{h+{ zjG5V46VPL5H8``Z52Z%}&btDZ>h|MRUI70`CqrV{NHjYG9sHE(CO;21L9V<&wv3Vo zxV^G?FzMIr3*G1yeZBAYs8UwbtNtvspa{hGj1ul}3q9u48y;NRLKpGhKi}UTKkk zLAS00T$61V$}Y!!kFD8pTCkN2zPGeHl z=}s!f^c~7swpKtMi6%Cu+oJO`o5Qet>9P-Op^KS2OZK*@kFmS zv$xL=I|z#|eV3M&3cqE<#E`!E-p*+V5U=Jb$H*siFOJ;Z8;KcX$Pa0fZ2+0(AC&40Hx!f?qvg>@D_3kylbMao0ixb`#Cx~s_*d?_9^d0`jjOI zdvI%%8Q=p}N=5?i$5gl&M)hHEfXKz|_}5hF^V=-p(9fUMirznDWE>;1uyS;Cv@*~G z8i%@VlW@#eE^cP7E7nEj!5154Se^(Q34eV_M#j; z0B_>;RFPGx7g#7cnoj$t2p2-uGE4YFwtr}+oEa7-|I6^2qv%?3zPppY2KG;S!ioFT zI)z4R1^3J___)Msvh|M;xbvlkr$`*?YVpT z>qp@IZd?#@ZjQ=9Ap;>s#@pm7P_D8KCB@tu1uf@j8Umo@Q9b(TM9ZH;sYO_L6BfGjx?mw*KJ~=jDA8;^>xy0rH!cjs|!@uAvPf z;M-s6#HJrkPEJw)9Y}{?M$>dEUIf&ftLmdMUOlYH!1$tvSA3^`8U$krP>qPA9&~Vl z=k3*3y{om%?{SOk{X^oq9nuc~wyI@tEHr!pc>8?}@o@IPwgug4eh`;SH^cQde`%+{ z#pwy@f0xdPMB#n^tc&uT`4+`&=fBH_{{C#FsE(X0lADfWle|ZcpeF3Ui|@S=*`0LV zF&+J^L*qy>2-!+V9adY|;I}}%gp7zN{HAy?#6cNgC2E~xxg9Nt;AH*g435{C@ZY{- z?Q2QjXw`K$z*hih8=w3uM^6?IqVDL?j<568`tbLxc4EFYO@d7AR;<$Jzdf2qJBDgi z-i0CW+-bnSvpBXHNt3TjwRl5otI%2t9E z%vD?w4{jYl4W7z={SPJ-St|$wPW~@+~Q|g2SdW)h4LqG_ZtsDBN2e&XA2&oX58>Fw&4?5 zuZAt?8-?}j*Y<{hxQ{FB-+`*=;aLLu7vZB{qzQsfkLBW)>4LziZC!dckZ*eAh|Hn4 z*|%I`h?#?D39mK&Prq4M?nCs>!_2$5Lxh9x?g>{9|#D3{szr71 z)=$sTj$V_y@);fCeAeEG#%lTtvETiu%krNzBU!mBF`cM>w<#0>{aHFW^#0tX;(Ml80UG7;RXjgb+NMF3~$CDxI-K-aGH>K%` z*soqW46B8`XvTFGn96t7#CUbSO)KnPejn%j@KDJFUSJPC8_N%%(cKmSP3R{-wO!wBNF*}5)}><>p}z3>B|5l^bY2%bvvwk;`MpdFW&k}NMEm4 zE@nR%%3dBv1+)xY-#-mh$cMV`yXqvD^{j`>T~#o3`|MnS1@(g>AKYVMRs*QR4gAPT zsAjg--g@pHQk7v~AEI^g$2 zu@J}~c12;J#SjOKro(RbB`AzhE-u{&4=jEYQev&2xY;iz$7&>G;vw;_C~x=0^W30i zjO-F7;tjfJ+#biKO-EhS0zd_yP+$Nxz2vfy^WDG^mw?dJO1KR5&uQfj*{E2^4gb7n z>zO>BpR~A}2#ouJlaG%akoVxmMz0|02Y?>eNZwcwF9s~x@|Ko(U6YqD zk?!1HFJR~i|FDge*!)1o1H~pe`?Jye~h{04HPTJJ`x}F=?hU+Ck)n5 zax7S+MSi<7AA3I!x_BR1I01IK=QV}r$E@15IHdWcSKw-LBlgtRX{ z0o&(6hvW49eV~IS{Q%EU&$qp12hxRNv66ki8*v{%H?3wLuv|4=iR|2BM56e90T&Ls z#R2)ou1x|Q395*L*;+y}HjS|yP@$x1Sos*R%Lc?CRp{;+j?$;a_Nct)Z%ZMAwkR}u z#nR~oJ>a9F=Tj!`Cj&|G3 zXY0Bs%5!mosE*Ffw|;vF`^v{fF#-ce4@?6S0CqCA*vz=%z%(0a@$vd$H>XpA2joP? zqA$#4#^*IB+X(YW9$2mJ%m67*g&VoUEz{yU>JRD?7i&Cux1AERrSAU3=STBi2L+cf z5){BEJ}2?=&UXOQwkJsH*W=|cftcgBnI(l8`U90Z{MaFpC=-f5<`3ZHi`ykG;b0pg zu!GjSmKmJ4o)E9I?Lef!b?A0|Zu^gsKo6dZd>-x*P-9a?u|F%uO)g)Pf3SXkQI*!> z>c>RMGajLE>2J%M!2tmQI%teVzN(FmD?u;bb0>xsKLs`Q@cjIhloVQ1Q&ZTk54bnn zv&*&{(+;1cI~m|QJl{(MOI$DEPEyu9$D9Q&C$Jv2wjYnhM{SK3%fyYu_L4|?hwSI@ zq4EX;#jer!KAs;Pjr_YwIy#O5Xru_yu&9tap6*7>Z&hConJ0Wr@%<1_{TqC$?Y=B+ zJ%)T^RhL5-s|PU1rhpY|AeM*=zd0GQo_PhX?$h>#5J9i#X@~jaj?C>#I*I%7zStso zyLSVgt+T=GS2n25r2p2U=N*vvf`GK0UphO6D~W=FGK}2bERb>3#yVO?Pu$At^^UzK z+m5XSw4N8`PNbvfUqBWY^cr2G5GemZZW73JSqjN~4$fl=NRYz`1gI{yo1BCu>0vNv zt=`PTW&Cpan7&b6CP z;Tw?j!kHfdr}U62ogXyx^kqRG!InQW=6PLN)m$9-*SC##On}PQZSe=AFV?P0IZq+^ zdrRMPB)u;jN=HX$N$!tS?DmKNB%0o{drJ_N=%YOVjos+;YRr;W$1gNx`h{XG_G8}u z?#1Gu9BqvhKlBigCfP0M4d5w%@Gc&6qC~HN1@o#L)I7XPOLIB6JUv=Wy!YoF>ihwe zDBC~&`9v9}W;=(R)A#1k+N#Wl3d;a<69al^PG39nlt$7{mME|Oa7cACXL^XU2>Tk6 zc{eP(C!sTpo-i*d#*lE07`J^Zn7FPy>=?=2oE7hU2zd-xQ|g4m0|3XLi#L6)Hc~@g zb7g`~@J8T=pj@3mmZ4;8Y^u2FU^?ElmBy9y`L#j_#!V7Lg3$601}Jw*dJWFlfc13- z;!;F`pY?hc)$bM)9H8>G|KNqc2)e7Jt|e8l(9OnsPhg3`Z@v@z1lubq&hz!&47Sk_ z`;HH}PmOj1E({oz60N?sN+mkH!0(`ukdQzYiX`f(oY$l!$$$Wg4j2r_@a_saV# z6|GfVr&~aB`*<(L@AMKnOszNKd-LMr)Frx-ow<1ZNH^epKPAlzXROlFQaF%p9DyC= zyg3Yw6h01_7y$h?tHaLQPsZ@n!^!%Hvb~_zs$^KqZ>SJv#ts^CBPPhm(O2@+7-UZpOrZ{oWauJ(x;y#sdC4+5cay^t%5AOz(8mt0KSm<= zJN!@>uA%0N86CPhwLxLCG;QCW>b^T!AIR6OVhns2_p``bE?pQVwdOAXkz=Jf@^5!<2tw+x+^?Wd4Tl?e)o4&NiV+GT zH2rg8$o*>9ZIH}sxr+z3`VX)gF9+b;2;FoBp;9yJ9=Q2ZIJizWNP~|6X;azpth*G~ z-Fk#Ui@j~-LcJ^aHo(aK_mZLw{9Z^Tq;DMazHp(7^^@R#-JMNa%HGD&pkeSooHg=p z^(?PCW9;Mq=&vuPb>MalDX;xG-W$vEuciHRTe-&G1;QS4^z${W^IQ6p=N;)$f%NNA z8LucZu5Q5v{NRu5I%OrrY+eKq-U)u+zbljEZ5q#xuniWg!WL*H6KF*jXh4I}4xgcx z=t|d{X7BV?Jw{JAF)?{g6aR7e7_^en2K`#}z`TDoZ`g6(u>ge8u?I#P^hUQ*JI|Q; z7rQJ=bYIn*nnx=*yZi#;BB+Ca$SFA8bbX=TPUtmdt*nuH^{Rb#mKv1e!{cMt$_wB{ z-X_4uIdsBi*to3XX^@#^>)j|XT zjR1t6o?c-F$#9d0Dp-o%=6q_MY@DpQJp`Qw+k8LM&C-4anZ5SVL;c|anl_M%C|G2! zMK&DR{-Zn0=$Yw$2#jClWlN3t=3`Fw7li>EGn&BzF@k>4n){9) z|FPvVt42l}O0sK+fXlYpneLx*};P3@v471c`KtJ zUu%@CVd+~3iw4~qPU9ofACQD%$zTGjo(o{M{i-mTh*JdwM-o8A7z#0{Ji3&~PP(`~ z{mr|t8;uy>YWHmCrM!8{&8+yCr=bSE;&BtwV^6sCAi_RZJjlfZEbVL{K5kF_3ME}S zIEeH^Tw;zF?HF;OgT~03dxNvec)^qe514jk>Sv?n+O_s5t@vmhduTLz5Y?Mhc+!iR zdF*n)x|xY+N9I7kl>Mq8$_>EF?p&kh9EVbPjnSO!;I97ta7MmatM(Gq2XAx{MtjCFsY!`#Vi+4v;`+M@I=YHMO7> z6^vIJsKDc}+}b^(^gfMrFw%5Ld0PL+F04<7e7P0Nc(h~EYB;Im~J4Xe58}uS|7FCYj@pAX`R{; zzr>h0+|Yl$qoK?&GH1}%3;e1;kn<_JcG;OwhnD9%a!N2Vl7ycdv{T~}GWOa?G$xsG zt@M6B1PX*HGto|Y*}&ONssZZF5mOW;F1!|v?he&~Ep(anYx=@fGHRX2$$QWVk@H$l zsMX#iJTnPuNELG9$W2@HI%p0CaW8Tu>rjAuF`}^td}%*()+Pu-pt3ufd0DN z{7xPvjG|0*QpJ|N!$;D3At?N$h93ob$m1=>?qiRog zpe0W=d)0dGA#Sf%dZHhqPZ)sWl-BF==)E`jwCVI59LbQq#{;WdSf{ zt*m8|qtl^AHMkQH72_j$M>XLwzUlbs^Z0&G4Ix)PW(kKfFZQ7Q>~&9pvvAOI%|SpX zoKLsW1<*llF+4mxAUGJ)_wLrMdR*^)*MDIMQvtixg$IC@F|l(KNcznOnlMB^S=xmi zVDL-MCYfbWA4j)t(;CfAPIS{QV7zF8PEAi`#l9r(r4zr!5C=pH#O{z;JhFMy{WLuE zi_MXTnq@IjQ5iK~V_MOUb&$cQ8CxbUF0Max;`O-*TqZ9f>Pt={;%H?w!|<-*bl2t4 zf!QZ3OCJr>>>@J4=7;gCu;JHcMhj(b7yGt?D6j7ILh@T70&GGkFxuNUQdmBa+xki)o@@u8~9}(p8OphSp zY3LCM^r>mxU~g(M?Cdb0@FV)#0LLT->eLHh!{o1{lJiter+kk`+WWS1M_f&Zvj%_P z@?;u6vcG|=IgO*{Q)5@O-TZ9Zx`TKzFD}uSu=(~5)0_#M>P9t(s+^R4SnIR$Gfup# z^}Y2h)~l~ZzQBAWvHa7Z@S@JhHTRm=}?c}qc zaGN#kGx*OgvZLM({KZux`&p-(L3{M9G8DQs7!cLpJF|X;SWWSgd?kcb8FUvkH%Qp@$k%9Iu$34@|ihd zO**zFdYYMTZ43Ub(I3+(O)}>}E3P4espCh(H&ku&nIY6NHE-gfNZ}a19M0(g;-F`B zz}a_Si_=uYrU2XBEf%2pi0wx&Ei0wh_e{o1h$-I9B;oQUA8Xn8TBorI&iNWPAD$AGUuXjTVDWq)#b;>PY!~|G5fVms zpiM428sBG|0VXTlN&o@NOnUuhj_n2;G-p*Twf0aUbCd-aNQ*7*?#x9ucRBah#iiur0UEsHLe>kq@u2+d}>PeOgg|T0?)QCe;q6iQfjpx+Gy? z3acGY{SGAM{-b^FzMt$2caL+l*vpRWw!#6&~72D9$3r88y!&|zdSOUf0DA=d! zZ|2J2Gi*Os0`a}HiTRfM`VdTCcGZ!^1s+iDT;DCnaCstpi-q4kg$ZYwxP0Ey5K?H1 zxh^S;pRfpy5TZ*&M>~I-!bdcRifkyz*y8QFmZzt^9N3vi1_{m+PL+Iwr*c$A_!#qq z>=Tx88y`tsm7ylY#(n}VGClBbMv);r(}437!fx1>t{R*TzEVa?eGsd7Tf!(nGB1I-jSqrl9-nA znouR@?J;a>KAT~rG;At)ef{?4g0hQU0EQMrC9)mY-A-JhRFRX+hyOLn7dHsy`zQ9d ziv+a5QW-#o*_h`&cb+2KRG?=_hmt(vwjo2t9EdgX!)M}w{&@auTO!qun-#j z+Xgz*MNpW$MfACxWS{e#au(QTPxu<)`*Hue9)4pDCq?c$3TXXE+uFfp+@S+_G^`&^ zTn*ZU{Agc&o&I=5)~pVX(HG{aK4Sx@xO3a0>hDQtF-w=VT!SSQ*H&{RQ=FNZhH-$G%-fh?3XiI+Ly2KD=rlru*<6ie-+N7`T)uwtY3Xj`+ zk#Yx0qi4Do$9q@)#jnO1)TKI~LkwEHsd%l%dYm0)-@VIv4E(t)0R9ixccrgJ?@eZv z%;v^9yS1k*T`=Tl@$o)EO(gHkpGqtF#XcSY#@3FW|IiTGR$hcDwzP&5WKFQ(Vlt}`Ba`ij@9^40d{ZI=AXJax z#I1Lz^BXtlAxLHdPE3SUmcKqKnMM3J&J=f zI%q=jhs!Ny#nohim-o9_V{VoP1bl7g8h9mpfzm6axc3 zr6gF0EHmRf(q|v`4QyVx=!^I^d)YP(SG?HW-BqKE9dD^z1QFEUa{K6un_ig};F!@a zpqxjvnY5x-H&ED8=MPIApXmBYwjmIRL~`$MA|G#W1egOtdM1#up`|LGi5sqJpsVZp10L_6d;n{&whnPRR%Z^tcqcjNSL z;a$|6ox0#9v`7bviP>wi(~Phxz^kx@T2LqaY?>ENo@e|NFVU4!TLe$D9*FPo_9w^2 zqRGfuW4=H3DZoug>L+A>v-|QfV_*G(Yf5+BBbg}Env7__*WO||1+HfLl^+~L%Qv-m zZX-qEdg~{_0tHZn&FSkS*^|W{(oB$t^m$ zsGM;vCBDN)LdH0U4oKl>u#+3P7g`?sxrNqgu3jY$ppK^ct_>QBZ3b?ttDzqP{W?J7 z*k+605&>PXQC?EqzIy835@-8Kj0&kz7Ke*m@t$_%5ze-~ ziyZsMlw@*LBRY*)E@rB&l|hhvtVCCHXPtNuvOH& z5MiC+6h(_}Ag%ER)JLGCXCjqZ)*92udE1}-<$$1^sngkuIicR>*()!VHO0GB1S|DGzv1XauC1A9Ug9FdQV`7W5`K8GmT`pr;ir*)RY>ixY` zZNi&d9EX$QGe;x8jEy{)`Q_&gIbi9XsPM>r)fUP)hBq0rqP7{tIxN?Rs6&pHh2InHJJGkDvRk%3<0sp)D@?^ zH;F3wwhWBiB!-IdG--K1X?Bx0{QV3Xb!T#I^fMNC+FGSYY6E4>!6z>E8mm6;L^OL{ zFoID%GCy(HYX-^Q6gPa%ApBX#ml;p7kp$)w%P#vm_;Ue%bRre*lVH-e+UgAocJ!tU><3VT$tVm?HA&#q7pF!NMxM@JmZ@hGt$zPVrm_xLS%R_E3H zA%VM`Sg!8xZ9-JJW`3>#)6D?=SGx>txu(D6zAh)wD@Ail3dV;RZT79V)nWv154A7ov(tXYok!yQ26-1&b1>HDnQfe?tG#kc#0di|>sCIJoHP|P2dY1{yO9_n1hpWa42su1W|b~q?pw++a`zxf=|pZvk!N7=jw>)aNW!? z$9E*qqZ z!oWq5szEkkM~GK^@@ocM$&em*sFEiFgw{U+5%2*!J03EvequhD(tBjBkRm_~qABf1 zE8R=$>p>u`vJ#^x`nrHqR!WT~ae&;r`kbc)evsq&x53l$jb9VCT-3~I~T*iVUl-Mi&q<=^Hjyj zecREU=TJlQwH1r8XfhHAfVE?O{-F6a+S%H1Ke}kHqe>0|nMb&t11V35%BR`dM~&sQ zT737hgx>k=E|6?KM}MMuurIf8>H^8#DC=el5@UP_Mm7?kV}kgVvhL6NM&0ljaIHneFr0Zi>Dj0R z>NdXv==J*FlC8-zpNtVwD!1bv8)hP};4E8CGVADF=$Ih{=xPrBSXi)_7}cbW zi~YIeyh++;@6f(+8kV*j=E}u=_=~!EaA3dLDlTQ(xE%Aw{h;h2+@#hea1Zqh+q>m} zv!!jdPsVcO+k5G##lD1fK7Txmdx=%sFq#ZTa6VkNdWGasK@{=Hy#sPAfcHs?$O~xTdpdyqG@H)=4|j zz4j3{uL|qCAk(J~$#*}6kTYG57lqrnac~6dQ?CGg`i# zeE9j-TsKQcJ2J~M>XeyAAElTQS87iC7x5JRrYP}YsTPmzgREsLNG|-uBvRzN=WY(u z=cqtxq_GVuX>g_4?{#?f`~HN?7JyOD29AJxMFl3%)S$H~A^AX8K!S#(0QZz`t}}Fk zr+ISu^WpQh)-u$*yDCu*GRWx_P5yNC;(U6@XKIL94<9Qlj!XoN1ejeIf5!4x*m+aw z^L<_%(A^CjSyQ>6CWkn`1yfse=L2snOq*UH4WLWEj%@kooI|5~l8djn$}PF0?qLcD zpxPQhXTD&h2z-5MS_JB$CKy`1LtJw{x(Nj_zc=Zk`g_X~Ql@DC@?*dGka$@tQ1vFK z0fn8$^}=zSU_zSC%xd*cBs5Ro7Uw=AqKbF8)T~{2NTQCEMVasPtLmx6=SWF;$Q|YDS zlG%jHt5uPqXiANrvpOV?4NV6Pw~ZJ2dl1cOWR!>yXDQGYf&81s@7i1}XJi(%#A>{7 zdkSnO*X0Bh_VKWe%uPX;?81YMZHrq@VV_+&q}TI+CI`#Nw+Cr%MTXdX1m1?(2LAM( zT)V!;3CaxTK(5E6kU?xB4>NNWxG-8MrA zL!DOFD6cBT@LeOi*m*P;f>g*oA-QAnAoMskc`Dff#{0TJBfx7-O{^?&?KJeLsd1I- z9qF4xmZi_VsMN~{=SEN2DYhsTPDauDK&dT1V|%bwbEdU6(H3ay_EvVz+=1EjJmJ@& zOwMy;y9csz$k+*01enjdk4wSvFW`iZgy-yygKleFg8akDLLEzXzk2Vx^| zHcbWCmvo&D!!?bzDrHROJDJqgV9C9&?PDAQLSoSJW_ z#{}*`%R=Hxqjk&SU=?>(QN%yIq>yo01v7c`2Wn{p>31?KYkp!V#-A?h+EYibQ+XPxGR{89xp1h~kZ|mB zw;w?*1on{qzNGuAOzHWct=M^NNpBy5Bhu)6;g+;&s3D$AU6ius(6u&j%QZ; zzUqt9y*~*|ye5#7Z$_HKfpMfOu)PIH@^=WfTVLbY7OHb%+um#l-m6J7qa2FifdPC# znUk8t;-g8GeZf#b{}fTN>sgcv2Q+t1-L~~Aj(gB)kmAxFahTrbM+ytUoiHK051kW3 zL75@n^&;L9{~yo&>({U4z#IX=jTJE9sM&35EpRD0#)?NmycRUJOMTl7wGp+|Z<=V0 z1|)|FO>y$GSL%iZy1hpDa}FC!jTU^pc@v*qb>ht%IwijcMrDmJiKI-&Anu485Ab~k zs1zJ}N|HapKvEz`RU?xnXYg73*71f=DX9zg;ijWiUiIZQPiK_BDKuP}ej>u7KUC&} zydyc#HJTD#TMbx-MqPOv>_{D)L(dXau`~9H#EU4P<`*BY8A4^_0V)}Spf->71Rf>< zjri868*aKN7^HFsv-iBVU`N-RbaF;?-zY`yGCmtXNhz<1@4F^g1bqcm4Kt|`5lz({_37cNdDBQ zJ_H2cxf0({MHn_Xzs5%=CAJjVWfSqc(9zfIo5Mc1AnY?VHcvc>_nhMY)AbA0k=VnJ z5Oj;q{HS%{C@i;cds7lYi2XA)KS8tS*(eePft!C;ZvWn{>v7@9@gr6q^NrqiA`m3M z0GaU(@SPqHxwwdsLpNlHV5Umx`x~nMR3XqI6G#92=iPIv#=D~Gw)9WeSF$FA$R0q; zL7c)0+5rQ^@pH;%kO;5 zWPCIF(0%uMug>{7f$07OEBaQvJChjQBtMrquK2qS|F}EMH`XY-$tL)Il`gX(C2cT! z*!vC`5|nT(TNOPKtL{dvC|B5_`E?_68V=xFO*F0%u0Y`iW6zQxoDK%5%zl3>Nc#!& zLNaaLx;Q-Iy%!V_lN2;<_0$#HM;YV@_eM>98$lltfb##-(#TOvjmn2q>`ynE-6x{A z6w%1VA2t(STwrt)@+VTp_~$c2oZZ~I0j*O8gAYxY>&aNy*gt{z>bTlN48A)>d5=&} z4Nei#Q@2c_03x;6H+5^pGgg}Ib2-8HGbBqYr}xpm=H{Ro9k3g9n=tA@oPDl_TL>DDN3KG5d-g|=R zLX=1l1c@3wL=U1xi{Pjcz4zXGch~uRzVn;ky>tJ$naLP~bDp!G{j9zBTJQI3A)|%~ z=`YAN51Acz6ZbX0qNV<=maN6CwBWuYfqE-7`&;+NM~~vmOpr zfFL42pt!V%Zq@|AaeW5lFY?1AD7^rxwhyPNG-K<_W*v~Y`(PQA9-N2`WgvdbaJD%QFX|f3LV6wOKkp*>3{1uiCi8hnScQ%AlGZBSP%@N zUcwLePZ&tvD@UC2<@g<*;x^o>)~_?=g&pU#0!uS`@gPBJ84M<#9~d@8&hRR^MPEa- zl?T1`2XRyNly2K%!;`ANM;_}|P|M}m^6rtiQcGv5@?E&LCqP(Kfij5nsuk?P6sxSc zb$|GYfIvi;EAO?Km>9ne)z#%Duq4sAE=4lyYdpr)tuo7J9l4itU!0mW5DrwrzSBKT z^$YCv)ASpUSRh>&!k1Q!hFV9BkG7^!y4?PYI%9B_yPxk5YT*Qhln|k+3(xBKFbC7g z`!wLpT$b>75{JSt?ysI8*9L}wH*un_(_wr%LFBcRX2BsX4NSSG)Ck0TSfypRqA%lv z32D+6F7N=81Qv1(u!Z(ky@FiOzmi=whvb6rB|Qn;X@!BVq;WLcGkT$l<*o;!sS}uz z)qf<9hDG!I`rE$#-0oV19aXJI=o6JHZERcKPpS?Ea2KX$W?oNC8NRFmftGc|RN8Mf zFzFTFIl{r|97|q*<&t9eY5%~k#B8)}z8+-w^I`)g2jP-UEq(%p7-rU{D!4^y{Abt) z?T6h`(yyrC(Bi$1CL$!13hP4dg#jp*)ks+o$k3kFYL|-*8Ok72Ls^V)&hoBp0#R$R zg(Vz52K?`|crkn3M`C0Q@ArIMb901tidVnF5z^A(dWqNMW{Bu z?Iq3+@5NV;>D!kZnATtXUgt>mL0kq^A`nAm&Hh&5Nt>q6Q8kpcG;P62Tgdl@I)jaN z=Czx9dBLEDu{QeM)Md~ZWq-%V={iVZ(Z3&FSD!~_Q+3by(wlhJ;;e(g|sq& zsw~H`5G4;R3S{!8DlUHU?+*?B#WwNmZ}59Wk)MuT@_6&Dpb@T|Gf(U__E~(g3*-Ry zNCY|tE*f#wDR)!|+v699b)ygw2}wvu?gJ{qDx6!h2o0(vsDhTc-Ho&~Du$H6!hz&Q zg@kUzA5;J60EVE7{Gbm>*7Z%zJZ_$QZw`q*yXW@SH<)@d|w8exMrlr$ZUS{%ibV~t4=%?-1Ow?Z0oFu z64t6!^cZiyd$-Y5fK38=e+u7VE*ZnI-lieX=~xeX#Swkxy%dbWV6f`!|YK zgA;3o4wqOFn4p!5N&X3(1_TomQ|C4&E^+FMWzO6~a;0L&8zPJ;g(Cj1s=0EXH-ZP0;@*o)sOz7F{aXx14{Q-o+l1*QOS_-L zw!b5pr69HZqy?1D4WKMRu*__z+fvl%p-e2C64&06YozxT*W>HQ_tY_d#yuK4U!ZFk zFq-go@jJQ#!df>QJSz4vU9PQ-O0q59wLhyZVjiKbiZ3*-hztYDtG}o)At7OeTyp`9 zlAkh)h2zJTpmEp43jm&REN=wzj9Z&1h9Pq`NX_q&*5C|nGdOzekCS`nYDpQSx0Fs4 zOL<^aKIZ;l^q)E22B+Uld+CfzBZKARcIz;Kdu#o=b^Pg~so#SM9KkAd>1H@6&ve!? zPL(^{Dbk@+TWU-5VpDLQu~ypD5mL)wd@s{@E!)-|o_5Vp&Ivaqfdlc7$Z zZ2t%_J6%z~`Mth*)>BdB1-j!D2@}t6kJnHHIC`3T?3nuE<+{%m1S08=4BA+Q!*w!p za+M7W*8Pck=?oI14+C3*O;*-Hi^v=FlOoTW@myH@v|N`r$bb4vhFSQZV4_n+q}f6K zfG2enmUll`-ghh}-y|H>NgU1w>olnjMSu0yDz0aAeR--G{0egf>EIWH>02&8Mb{E2cBLfhzg$Sk^ok?WW}XY8I|AKJSY#7WP#k;Z zq)HPYNNI_)d2YPX6=uC1{9=aa8$D5=`DHEfq3#X9h&1z}T|j9*w@(gsMh!|f2=CBv zg~pEe7I$6#()_v^KNZ6AZd)QCdrY8Vws9n}_DY2%1U7v%dPu%4bR~s>(P0MM^}iw4 zig!Il^^IX@>jKN?j`-?b3^2UBS^a~TWA281L(Wd>db@{^LABGNG_FN`Ok{JOW0(K} zA;paW!o-#|nXtaQn~<~pQ|;z}N=ZWs=&vdE-CG~X%${H993LvOiR-+g*Ki0-uV^AB zbQ%u9Suk-^;Fu=hqs8K5Bn)K0Tp)RRv7uV{VsUc6et0Z1AOv3?bxfo{QxWyOsG+3< zfv5l+7#(5D>h3;QK>rKQ^xMEWL*W8Y+gXq^@fgHQ7y|imFp%|QMB`rfDykoSqG~&5xcYte%ZK=j?&mS$rC8DQ178Z-o2wOKbFJ?T zagLU@Iog|}YE7MYMj#&h6<`>yFi!y^EFJiTD0k~0018rEamlmjPKLbXq2mj7&f61# zdb!EMVR6^jJiO8#j($wwIXW$TmE&lRE?zN-O_j~EDoo5(M6gD}M?nE8V^p7T9nc;Pm~4 zhP%OJ#O1JFw8$M~0L<8GH1VEyjv^TwYa$0b z?1`t2wr6>a8UqPi-ro=Qd&^UbS0O6(+CzNCsUCMZ2Jl+70Q{cxU=qU`J~G) zD*>~Ljg`_L%0YEWNQ!3GTsWYstK0X!^~&o2g>-e|E;$YrDpx{)3{*v(ek7Mxtzm7( zJY7s{yx?|u;Srx{`b7{VhlC@Tn$&6O=}w?*i)kroZw2vhKk*IT$;ej4w1@uV5)CD% zw}zT^0~V8B`5;P%sm#M{r*&wF(e2*Wd_|S1f{6X9-8O$i4mM>+=#|eTm_O}|TR-JI z(H+5DJEDxe5oToZTvg@bA*c8e|JS^g@zcI#Q3@;-ZY+>vW(gCuJnnC|9(aL3AnBxV z>mjw9`>sDimy?eKnz!_=s z&U)|eq0fvVp}Q$HJ+BS|9&~}u9`wjo$FxFpPakyG%PZ1va->2Xe<`cnK8xyOut>6* zUJge;%CS?6dEuts9q0IpF@n<$^KuDutNBjg7ZxrLzF*Z5eUBqj@o6tX@D@V_z=3A3 zFag#%w4zzjsh)@RrgzL4?KSZ0SYG_z%~C2WN^0Z38B&%%S|cH zi$e{^D{`;HNG_b0g1VbVnb%y|Q9=vf{Jg13*M7y30GZCvkaxg{c;fJH(w6gV`QXaL z&tbZ4$Dq7uvE=H%vl>AS5h1Nxs26@j=`~j$6yjXu;@o`iP_5xoMD?+j0uH=!i7^^W zZ*)%H-4xwV>0n7AH<fR6DKV3K-A_EqW+9Q@8*{4+*ZAn+r)R6Q|L0?U5ojyrMe;o-ehZsG>u5|!^{ zUgLzTiy=~uH3BDMm98}(A|RU_%rot^KewX~yByHVeTWiueGW&Fg1@@(BWBO1w1ukl z8VwWioy7u>dFvyzCvoz^Zb9DU|2kY)n6y70x~fep9BhK22Z@i#q@=X*N2mIh;~cl) zsD@;#zo^0pbMYfL&fD8e;^H#_HjAboH|I;rOj&PV9Z=ECbL4j`ORCz!uUpY(}b}$ws6BJ2V<;-+`eLL$|F|-}VvIpelLjDqcvHVtszYw?E#I{YWzREZ_6o!{J*- zqSyzYVHP8wd+|APs4dA=>9~<(+B7O}qSJE?(_CLKsXslz?{NH_+sKI8h$4XM_~dt# zp8tX=9#8#OHITwOt09RQ-YUFgT6z$uz7i_Yq@)I;1X*#c>zr$ilqy5fcscdv;6N9;e{>f7SiE^WPz1z+|E@0OK9` zC5ETP;?iEqVUWp8FaMJ#ym>8AgCm0+c@GT+>zy56B29~*P@+y9SBH6VBsuh@YN_0` zr6xn?>))$Xo*aCn^1~{nDMP->>A59UGhg$=7^cA6>o}6VzD5gEWdrrMus=IY-l@g# zyv3Ayr-Q$m*=zpRR`FPsh5y3HovP`}&)7^kX;g=Etf1X_j~=F27R{%Tkawgs1|iE+?|OdvsVQK;L=kwhFm&=aQ->--VtV4yX)f+%5aY|3dCA zu%-i_FTtp=YxbfBw6)g={W8XjK%<#S;)_f&Nw_&FHn)bZx@k(}#b1riDx25iHYdvx zTX;WwK3K|WL0kT_+7IOnEqp$=0u^EsuTpGKsBo-ha`hzAleW7A69ZhF6i2dTeZ-6G z=rai}#t3>i7vM;Se3vQJZH0p1MI3p~?ETFxa6P~0Ydx}SyJ@B)TP2!(|CUU=S#bE= zM7=2pdBH*wf*$!coN!Tp$ehTx<)Ul&5K9b8rL1e{B^Ui|;uN4peEHzExKb%HoNjW* zVDFm&W75h|~ z+(py=QuS?bIU&(hm2u}K3ROl1>o_&ftpzN%C5TtBSY@1jG<~{0@J7^V^Z8P>lgO;F znKdT5o#BB)=vK2sV~g`{a@p}s#%+HZye;RKs?*Pc+|1$y1*@Gielv)`B2A6PUcssr zrNudrKcMV!RE~C)>Thi-gQEDAoZbOimfIB=_mR04u2_@x+;~!@`JIEs&xHx?^eFOk zKL(YizbxYdf95<1Ce!>kmi8N^e!Tp>2U}0MjjUaX{R~WOh6pTe?)1;7^Uhmo)jJ_r zl!+R+CfsOFJBJ4sPD_+zUgVe&y@y3f^)6h81*;Y%Vdqgz0DW!=@7|fPe{RV*6>yq+l5>}8X%YJtuFa-C zMDTB&5OOonaU^eq5LeS3Kyt8P4V%ow<&u|czG!`^KZbd{NdsXdt6%K&n1+OEOk>@C zDsO%j@09Z)z0EERpcO#Beta~3DvS1zWSqz=&Q-g;G-GkbjG-~Vk3I|k8Rm}UrM=7e z!)yB(s{ck%z%RTexAW~sun$@dN7l;tD3P>TiF;G$qJ2+vk47=x)JoFMURjPi&};m` z7}2k>>>ZsXP&K;wJ=V0iS|@7$?Y#ZdSQ1>U>9$z4ol6%mx=>_yJ1`iNq$bN2p9$Ze zRZ;dV)D^3*YaZ`eR3R!V4KO{G6LgquwZilG!tTFmZF<7knE283tNwv~C^&!+z1%pG zdLNC^r?h*uO@)Qmj`=YX<#L*-EeapcZoPRzKkT#id?-x%*ZMC)Zf2Fe+*o#hCJBeW z-Q9^jA!=M1xv`A>TC78l>AzSYlBnIK@*?Y;P;uw)Ryss*D@_!_BStz{%2U?TvIF zje@XQ$CH#j_M_^MMfN@(%bHPdz#vFXjbb!9F6b@i&@fzz;H5sY39hr-S`KPY~|shxVhYYUbzZMiXHE z%Ix8Vt}1=ueSvlclDE519!FIlfypZaXYxO_o^HVKvKj}63nJ~I$r73n@Cfgpu9do< zEN5Q@`94Z6x3RHt1nG_M_O$=J6pt;M{F5j3kW1(R1aXYX!NI}GHpokP&yxXI1}5^X zO8C92%kPaar+^G>#QRCHK(~^wW!}ls(lTrEp3{spNW`-2UgX3uwv-<-y%KH8tf2`ui+lt_bi(rz{_$xQHmD`iEqia@-!UcZ2Go z8JLO6;h#Fq_kTd;>~lE~ctUdS!p{|-;KhS!^B?%(pET^O=Sgql?outfMaJy z))2-msmgsD0R}a!8^&lIxS#I1gRK&>nT=gt#Ledwta#Ns5zX!Ga;uQUFVvaXs+wmk z)PgTGyH#48l+rRX4c*-e{b&LRDH8O>xU)>25eMQO61|Aap|anrv4S=Bl`S@?FTbnp zL8W<@*W@>B!4L>cSm@ykFEx%N@+!NZnEjX#Wn&ksenrjn%XTsSQq&hZeZlit1k?!- zhyWuJFeO3N_%4c+b(MzjAD-*~@~v_KO2Y>FEGZZUK(Gb^J{jQM<3gSXoEvqQJ^%nt z0~|Xfb^cU671#v%-eV|b_f3`wyDV6a(-ui_3j;CKEGI3J{VjB$cW;l`TXW+j#7GGtc_`cCQguZvnemLxHu!s zJ&yWT++C=ID}nbsKf!!gEL4SHptJ1Q=4Nes?_Vb0 zN&AVKuNwy7>v{BXyskZQsMI22rTOsiFj#4Bv1)jD_-nG~@x`RiDbb@3gEs2rwp#CK z?%@EbD<~!9Iy5bKz0#jY^)!L~5Vj5|f#?({LVq2skD~gP?Ca=)=16$~^n_y|$?r=n zpY*-dBjWy3TbOXBUSsw5rWeqYhRW>{JoN1!xfR;P-Ve@E$$st*qMH7ms69zKHP=h7 z(i^otkmqUuZ5_#tw(ggsHLptXJHeH#R`(t7X{3)L2W@WF<=oLJCxjHfO5L}%z4!0w z1Sz$u+2c%!nf}y5Fl(bOG=tDalT62B9B9_?8vFBiIfX$xC=bPgn>F+PA%wDAy7{xs z5zt25f%@a$3_XuZb@+Mdedu^W)Ac?qtQ3^YUA&$Lwqbwf7pgJ^0MybBr5szHv_$>V zlG~kp#;Y`c7?k3=F%}B5+h#;u=cl^X2jMEv4#uoJg^zpp z9ar|?Gmq-1%fhhm@ZaE&=wDI4fn4T~{)!Ep3>P%BTz~n|sl@=Ib{S0;Ox{oOu>d&K z0l#QE+(9kdk?(EB78cnT<2NV45pT(p zHl|wvmC^mn#Id=_HITF2c@&dib92Jy)J`r*2OO^thg9h&$x_3H<4{|uTk2^;UemgQ|z(@81YM?(*pQd0=;w*9YpP-gF zTZW|5uNa%=IYCn7O>3_cM zJ)D1#E)Y%`zy*T}tN$+w|KGmt%>+f~R|bNE%}Ej+r?Vp`REz--kY!)ahk;IJ1d8Q|Bg1{Yzt9Nin(XMm*|N0z(a8ls z*uxTZn2>h*0Jx*YO(J6AM<9+-f{I@ZkdY-vWq^qX*$=jE)I$xDC=-Y-TFLi(&W;G1 zzQ98Xct6RYjia3^KwDE-=t!z2yMVPZ_}lbM%~T`d+qgiIb5Uc&_uW0WmIL zyX+wV{Q-MNv_A$Pya(uY;A*6XG`G6{Is``!`OKRQ?XVj`F*89VpI~+R^K3^>KKVWk zh=PSt{D{}afQ4~{Fum^ujX2nnfKgGChV$!y8V$@@KF^)Lp(eC~TP^ZA-SbcLYAXag6(GHQOe{D2=gTnlB@m^UG8 zBtgUs*2^#|Rg)!Va_uM<&N*zXQ*Sl927cGuK^3h9g1FP3OG+=u2ic=!{tVRpEWJGvu!b4!@`7HVz zYC0?0&_^i71hkfvuv)gmeNp+@-O|zm6~<`iE?9{;K`^=U+5GUQwCVjdbe1%)=vRKd zVK-~#Ua{6%92~e^%0*3U)0D`MkFrU{0pY>wr-H|Ml(2{hYU9VgF620c2F0~(kB%sZ zmn(fwKNZG(1E%Srt&XW_#!8YcjOpju9U(yp7u3eM(#2xm1=ZmJV6*1sySL^opoi4= z6?FLv8dGW^n6#bUOod?IPhO}3HhbRmY)uVltQ;Wm7~_EI!O#=~Z6-Rm5(BIDq~7y> z`;?5*?6>gZa+R9!QgLUqptVI7#k_s$9c`pz<-)5~sdJ6xSAl*lEo^Te8ycq4iWKTq z3v|IAyF29phV@CxG;C4a&$e3#*1bb>++pvRhQT~KTiZxluxz4gr0|2?a=pieK4O1~6=`>?`rSOL7`v)7e=k_l!|46-k6w-0Q-& zyK6d;)*%LD+G3CA8wv7Re2eYfO#c0YgMv-nQ|s$VS=n2#*jp8Z?NOebo?4uu?gM;Y zRVGvS?a*7v_1~@j_R`0xl>^qd2`aC-L7Z?LDey?ce_NA`MWaP@22_dMFVD2rnC6^d z-=>XLY%|EUe*ujbe*IODNMg1$drX6txEngBFN)_0wOAEqHDv7*;g5a0L@p082H}PKISgJgXen`Ss)6KDcb^5xv8Z3` z@de=a?$B$Z4{6M^*y~Ypt`^yjE7cM|7I`NK z_dFea_gUFLyf1^KB{1(e6r6F-;nWu-U*EoXlJg4J1|wxrrgq^X`NaokFT5K~*%_6) zeVc&b*~{>~q}h5y(oV_7gqVY)c%ExK&daTp<^S(k9hvye@fnP3ug@* z4Gqojd16{I3$Ne~@sr{CG(;i@-rMO2KU$(&8T|VC`WY&z0S+spx@n3DEcyBQYW%<0 z+Y&{GbPTF`#l*x^vbA{k4#rM6hDxnVD@>925dXRf8;y}u$nr&G<;#kg>vV*Aidwc- zXms@TbLY+#7&e{PEVKFWAXiV0puRpm}I$Xsbe9GHcgK0uuv+bpDh2?=3Bv z(&E~=JM9U=sZxPtDj#m++P8@xZK@KGkVN%ls>>A`w*?f5BJr0oXKNh^d=`4M!+Nu| zO3N0MN|Cb?Cdon%9|nNdM@;RfcrY@OVcT@oa5iJHiL1dP zS31NFvM7F2iFvrB{p|T5iU0cb>vuN{el(WZPRgI{Ji9-ekFckjlIO=P4ehCa+xlR4O4 zDkRJK(tT+@0;kd+Gzpsf*2e>>QQ`dAm$VXvIY8X2-k^mV(x&Thc|n7P3oQUGLw&KX9zK zzvmXD_u@fY9KSOT9-dHpykMA+O5554xLqvUg&vZ>3_TW0w6Iqo{FRJo6L-%fR=%7wOVHp(8=q#LH|~RmdSeVPm#KZlJ)Z z@F=T$c2iU?ih~^+pEw-0ML%Jt*va7rlk})<19e(=K)OlqNn~$%knHSfJ%ze~+?r#v z+ZpXdt>(gZA2%3OM;!ZfXY9LEWWww`*^vV}xHBpZ!La{I z<+m)c^t*24*X=tO7W8o4XDcY4(Id2y5RNoYJq z#L{8CGU1rzMiKMtE2uZk^bHi6@KDPw>2^na)y&W-FAy}@-<+e6&HuAZHE7wtFYDD``pdu$f>camr90OSKdF9BiDNR!6=(3nwr|L z*Xhr&2zz6esNG8CMo>)YC!@!w<-(X0xa(i$Z?d}NlCu+MZ()iX)<&GictxMVelo6K6+d1J_NYnf zJ?x_49nn)zzp${HO%~Zp>6sCzT#zhTC#0`zer}%km*wwGN9)Qpzc~VSwySsFNXNx} zV$E`Vr%-A&BLBgxY8wfm(f$e@uAk8U|EAHMzNL>nVskvz6qfcW+uz^6rwv}ib=*ck z{_7^o!_UzPFBV@RE<`sEaq;oBM+gx_8EFWj<{1(ke5Z{kF|uQ~`R5n6S@-qAtp`rV zZLy3e`+YU7+lpKBJv`bx(lYZ)iMWIGABd~;nq4X^ftjJ zysi+(*S1y(%b@A~trv!eyK9|aoUQlv7jjd*PmT+0C+`vv5w&%hq!J&P?Oug0KdvQW zA>!GRjaThhxbyV|e#<>tPX?ow$hNg%sJ_~6n}6uh5_{9EyV2s(Sb>pTp{WQU0Ac$~ zWcSa<;AYFx5hmRVho-GzXjCRbx$Zm5GcHc&&!3kswcWoAM`qf_(T~UQn8Z$KQ)9IU zzIt^k<3WaspTWLHu*p6DK)31x;=AMO>! zd2#%Gr9hfmqRV{JhK4CIbx|yWf|`-++Qu`Rb3e1AqSXERaBy*(GE~#Ksk$26M1-MZ z&j3~%Zyrv@Uxiv70gbI`rY)|^DqFjh@67GZ17C+ewW~{+R z5Q+P?aD|luZkwN8`unGgTJ_~5WE`bG%hfD2UWaws6fbDMu7iz&s)w!u4w51lUPV45 zICYBa%`G-*_HXkn$4Tra~p0nIn*fP(@-S$xG>||Nb&C%^#ij1 z`9-ekkJ;E_K-C{xPrZ)1Vsr%|Ev5|3D`-O8Uj$c;rMg#SL8{@(EzuY{o8LF9U^ zy4a=8P$3`RSGRw{Ihp^=7+xk$;@R={?FotGZPtrQkdQzCT`E4=dd5@0x&AzyWtp+V z!J6*4x<1P)bm+;cO9&$1JC{ikm*iZOb$9nm`@f67mdx4oEg`-2=)+^)EUTcQf0xsy zVSmRVs?^D`S*}XDDqW+LWt|oH#p~Gw&UxvC{%t#pt~0ry%<8) z(;^*ahJh2Rp(lLb$jFr5_@?+?tEbyZ01f(@7s|(+;zLz$5U70ZxaY>3Vc}?R;g5cn zY(qOc%Y0vrak&D>)T!XW4Bd$v>$4vUe^1ZRJC8M1*QlXy&gaTjy?&LqC?&p(vQKVL zTRtO--mi1daxyh9DqL&z+&(HM{(GVr&C5YD9!~;p60S#GHj6BV>xZ6&AW~NZ>*@8g zjx#sqzQq2Xn0V|MW)X;9LBRLUs&{sqi&D%>3+zX+>iO`DyMLeYWdAd3l{dEasmRd! zs%)#EZ1m>WIy(Pxh-VwQ%qTQ3oWh=}pY`uxwf*Txyk{yOJ(x4&4BXMXW20No$k61x z5FB?PS@-A29?$9=BECD04d6K=oI`hT_}jN{hENj*5>NJKlj0)o%~@AhUr5G5#@&8a zc;^$ysAS$|o>R_E?rD4Ws;r){)vV`p(@O%<6um09-!=k<(Ed7e^~DE@Ov7$k4GXmN zJyjkqG*KEfh)l*tly^7X1s!*H5=(f$cZIEJn~alT@|2RqC}?Vq_ZQOCZQ5da2k<0_ zJfPi3b>BviMboXXJOw-5xXhZva>u=&W8tjAM40rb_;@xRllJhkG69|o@d;eY8BC$H5Ihr#k572{631TdA}Oi8t`|9i41az7M{a$n z{gi!@r*}f&&?aK`X{ge*FiZD~+TAyo=mA5AB?vnkyXN54e~|Q--I!@hHE0N0uOktc zt`E344L@7gczy)aa$+zTQ~o7USOl5}W^LzWY+t?X;o#h2-P0bSN|~JaIS^y@3GkLm zx?+Nkr0!?ol}gphs;cQY>*^+TlJ|ZROH$oZj8IPlcE1~%@=uTmUUt?@BQj+cz0Dd} z`0DlR8`OeM$Hz`_G_{$j03lDAm$zN+rk`q#us^Pwo16?&Gh^C<^35Gr$~*kBh6PjI znR=fwGY;E19vcem)474dbd*>2xzQ?rv^Qw+a)FQ^flMC8$$HS7*|Y4#)TGE1VhZM&gkrl@H$3>PbHSy4?aNuY%DDvTS8>X#(;5$_GY7|^Z{0a}Vfy2ECjzCbV9}L%lfq z5bkA5@OPIg7+VT3MV${zy~XHVp06edFD~-8#oHn+T1Vhel{v7!S3Qv~&pRwVXv}xC2?V+dYZm_sBX@X}V^&M9T2w{CvFk=hBM~ zpuA+_;NYZ)_DYmJ{dFZnGwh-iw7eJMBnfTZ8&Qcr#Gu`t$yBYD9>OC(?Q?Xn!!Pbw zQ~S8i&&VZ5BmW80p+cg_KtLL_xy(C1evr?*=9wb$GBP*B&3isGqI$vUi!2(y2oWR% z|JiZ1uN#d;_32%phiYDc<{DpgGFD2RsWRlRQ%X8>dNqQtxcQ=O%XoqBd&g@1mC>qH z#RQ?5v>or0Bj?OGz-o7X)bc2jtRv$5Lwec||?v<|aw}ic*N* z2d;r86`4Jdqm~^j0t}AZZmN;6f%ow3W&ZX#xv$^9e~-S{I@^)N|Men*IIpiO2~TZ2 z^iMUk<%~I!b~imcb<(FuXVUhZBw-`Ht~#f8gS>91v{=+fYgN-7$pzVje}fj@g2v>K z<2{94Rcqp>R^O63^U_oG_IY#7yehPIUy$O|R(l>aFAfy)P@k+d(6;HIn{Tt1R*aRi zeZXp2d?2-Y^Au4*g^W%5!&-WJ`gOq9EuoBZ3~X$zRN95cZ?kmDRT91SO=E-{%?8VX zj+Xhd<07>*ig)!x{Y@;wzZ?2*5)y?r2=x`iiX@9S2%h|#19{7 z4gs_Ytp9R#`YrC4uG2yb^Ll0ca@gafN+R^MUb`QL?ONDXGE^9O`bYq6BpkgXpIWo# zd!2LYQa6*vvZ;36Jk!?^?C~glFH^TYhuL8BwXgWJ(L)n;>hl+Qt%f!9+~ydeVw;rY z#_*a)9xmvgaOY;I=O$LJ{kYsW46s|LX;1F;`cLu&Mm~BOt-kB51_yqf6b7V`?U?S1 z0^I3#!E%eFFwkM?O*LW2`^J44JFE)!Hq`WD;Tyx@ucJ|Gcv9V!b z<0>1l>zvbt-JW)geeJSUskfNzl?`w&yjjb^#*WS7x$mHv_vo1iY(bUeJFjnhuGmdC zH+_Fis?hjlu=W`?BL|1#OnX9{Qx>%4&PrGN7(Pp_MDZ6!QwXBYdmN=}JmGJBLuqe$ z!s)yguf*aNzZGk9e;<6pOLSu%8*f36kp;kz3j32HajeYNpn8l)P;h{7#jIA2ox`&j z2vduyl4!()#?JDH5hyo;)y}tXKQB)`!N!4o98);=lEB;S_gLHj%i&i7tns|Zb**_z zA@q_tuICy{EQjRB1A~Lf#l^)7>*JSihDHFj+HjqlGZ0M-TbpcX>CZPfGkh1SPRW)_ z(c#8H_RR6sgn8*CW2n667s-&>wzz9(-5GZ1Qs_I>Lp3^3k>Zwh*x5f$*v)mO4*1nR zza;AB;Fl=5gdrp*<|x|12bdM`=53UJbw3?}40C7sODL_e=jq>CUNF zS=OEHZdCIPgwUo6$Azh-(lI_G;~cUJ7Z?C5G~3A2F094x?(RkdJIrCCXV#=SwtI2s z`**p7fKk>66JQoB0(b=VeBPn+k?k+y8s}vz=3e zW;5VY`5x&v+W4!8Sxh98LTuw; zv3Xl!Ejfn{S3{}Az!ifZZ}JPkdMF$2waO%ke@Dxo6!P#usU?huziCvJoZ;u#J+aF4 z;$5q=MB?qq@zz>f0P`vtK-lfr+8G)BMqa5m55R2fJ< z#?#9^e3pZT%_RV(;{82~XF0$0#0yO-0gpw}34EMK9HS05l1^^Aug-sez&=`OH!bTr z6JsK;35YnP3T>h{7vuglQS5joB2(~_56xO5fP)}YJECy41%Kzpj`(vNZyaCfEXgfq!|D7IX!~xCW)TQU*AryT5lzEa!~1 zw!Y3CDB;j!?Pk&*f1?2aLw(GB87f5i!FEDG1asha6X(!3#;v%6lC+4_hg${f^TP=< zw)>o$-Ju<{gnzL#x#x=n4Z^Xp-fhHeyY(|mIoWd#^&szTsORD;?uXkg!`aump6ll_ z-Qu3_-S4FPBTF>GV&uWogXvDJ0qx+Fw@o6V0ce)=a8nHgc|v++_ag_6aUcQ~QeD8u zP9I$5Y!voh3`;6G`TsOqy+n&6ylba@RMX^d zRC(9=lSJhkG{jo&;?*{P?ljO(LM&)Nd;2RLOM-yfUT_DtsSsf6cXxIPug6 zT~<#cVO^?Ex$LIgzjD{1Rcwap@AX4No$sCk@kME5W#QAL)&Y+z?7NPp4`dSms3_ge zG^RcDd7gLEbuO_cr}7k(&*48DRDwipG=ikpRLPh4zj8V@1ZiK!YbMp5mkTq)5igs& z5|YKhz!3f65iC8=q|r=rlLyDe}$7XUZpobJ$s*y^*kUgF}QgjNsT z?pHj_Dio!eS@zQ5D`3dHU_OJ5_(=soA}S-A0see0BW-WXLalsN6ZHFy`~72_Yd zIe0O(Ta0`g%m~wg@;4GI)0*@f6Sw+zzKsWD_0D{8pj@HK{&LEr1!U%SW!$n z^2J&1>C;c(r1ZBESqv1UqTBd=ZBe%zqc^SK#ki2^4H|FDp0rtv+UkWfZ)rre5?yB~ z21+dBcK7$2cgDOqLCOmYq84sWa2_=^f~9kvOLsy$RsJTUYiU6kNu^ z>gPb9RjR3FY0v`$4+RyV3A`jrzZbW>m6mg7L@jXM{dW5dy12AB+!J`SjSc@Q08|}%S1=AWu;oDo0{P;K1(@7LtI+0JA z-d!a4g$MYc@MQ~osEz7Yjt$c~-wU%Ke}+8Sk)nh0`XYMwj_dkRo3VSTu$EfHs6wX3 z2m{?clvd^Zil%jLT(ge?z(znZwA1|LZfy*zpOoQ=TZz#Z@+WW=pQI65aQqd<&WHS^ zi?|Ml!&0uc?N0V5`R!XN4~d+%eawM^n0=iEXTn%02lvC4An1P&f%GKquaLcds}u^_ zQ=>t`f)<>(LxiegEk~-dvXVhWL zjaOFEbHNd@z^P^QH<+PmU2*cF<|5l;R)kdAGrr<%T-9S|5>`vE8-FX}`->XT80> zyX^aGyuAT9Dh1{49d2~A&8FAv?eCL)v&KhkOvpK}HGPVSV`Q$UFXhc(^R|B2HqV5~ zxqr&7Ih;9d$9i{l!WjQ7k!MB#IVT6Nd2e`LULL$YxJ=W(?$Pqnb1^f^=($Yb&h=); zEe@A=U5IWEaym#O3DDfSi-m-YX4*S9e*oAh2=%>2G<=1)jNyORC0NNR8u{kh+%=EB zK9{d@A0#b%T!%LYTec*(tELDvqQ1=m1UcAsy!X;$WA?_cR(@9r9%j{ovK|F29c$Jy z*etQWG-KW;Rbbw>P?-;x<%18|$99(adO~-GUEIA-?j(Jm?n|nusHA`-&kcIj#@>L8 zv@}=gW|%Yv*|uR}(n~z?$}B&D)!vz-h?^OQQ#Qjg4*XCqSFdUcpls*+TiEvU{)R7J zyf6aW3YBX-YSR4#i9*0{EqGENV9}vnA$~d>a}sZ#c&toH%Qrnjo?I+IehFqzeAN zW_w##PpxZe)ho(luPVoaVck>(;=kkzcOb z(X&7K^XsFr-s8{zk*uCRPbN#V`lnaP-oAbN^js-6QdYp|eq|cSbKB8tXTGr0Uh_WnnNmBX=%=9 z5uao`L1wAMU8k_`*U}ml99bJzxA!=i@ybr84>a8Mf1c!h?5c`WArr=wrj8!H-n-&% zbnyBTY}jadnxFC_qRe|(J4S#T9t>iC8u|)uxbt~hTF#^WEtGF*kFX&=m*xJ)!HEx2 z2qB52;%c}y{ObWr#CCCotIq+R1beH9{fs;hc^(wJwCyCn8qf{22H?4I+W#XwnFx$l zE4t2|qcqg~f@tGNj1=w+m?TB~jWPHD1DD#pe8b?Q;X@qfo@YEWdo&*`&Ya$vvE2H} z37Wm&Vy39K;F8b#4rd~Q^PDrtx3?Evk;A$4q!g2mMB@eis-&>PMSMa;!pfn2tf#Je z&XlWrcB?W^XgaXS(nlM=_W0-^?#LM%8@ugj@sHn7Q&W@FARh>(UAVNqt~BGH14NKC z&}?045ub%@kBr~0LYzO79@g4eE8fS$gU6P1KpvV6_7qI~Sa|##%Oe%VyuBQ?k-qPN zzcEy~??ehY&PT_Mo`6`CZAFIEzFiD{6LGwf8(!?+{yKOkBDXp-$|XgNrt8{ETsj-~ zNW5A=82YFid3=0~dZhNOx)nv6^F4B-?kl1waOG$y@(k6?dDYID?q24%ijNnty&bO!o+`+2 zjZml*Y;X|)k|VbRi|NO%mZOTGe-~wFw&PT;dx^z3Vf_;H7Fv|+ND>7x#?lhm1hpQ> zvmAs!c&Nr8D^c|H*KNoy(6zr2mq5njIj*HP%86S=#ViEHG+=9~hxP6Azx(Y?bnwWmE6&DAgt7-qC8|f~lY5pzA=}(o5_EpzOYXt&tpTaCGVgiD9 zefr+IKwPf?sGjMM!@n}dhO;G>eQ@ltVKHG z6^Ce3;%SYr)y_dh(aBWH7D-5#`anV>a=qP;!w|8d@m>^T4E8S61nMZWWyd%j_BcCL zj}fXc?zId5lr*4A1?!U-#7g4ehM1n0^pCbN#=%ru19siTU$V{9`G0sG-MjD{4=Kxf z32Vf5+bO1aqRds~lS1B`rOVA8;&kMIb$sN6?CEdOBNF?oR`eT$eb-e4^pVT9{poV! z6B0Ucwm61&;o%IqmFodeDU3#etd+BG@7l~^T*m{qm=1lx!LX+>RocbYVMg5C-CIzt z=Pcap2&-Qu`?VB%wi^T+s8h_8gNZmgL$U>$jW@95JezFQwt<)%MReMPd)EUzEirU&T<5aSAj z*$7%o=jVs45P^D-mi-$+wh6qi8e4>CI$wMBMuCfe>`CJKub;hk_EiC7#b<43BbRZ0 z&&3>_DmrfA0LMF?BH}ydz0Du46$R_VcOPa~%q|{z8n*q>R^X(wVMiB}74dsn8JVW- znZ*ebMA-#&Zt#!Olb?{bx*|CVUE#99!5w>?Vo0s0)L*3-i5Ec3IL9(`t63m6a1rz* zK}h`w9-~1qvAro$baP$5{ZBPUt`YlyWKw}L|MeB`6YT)=hHp`pAvq@7czhZH5yqb;32Q&{~R7H6QB4;4@^@D403!9clzHA(dK{6}q zvQ^nFkP#TUxRm#IRyf_a7n`;mA(RyAM|3$LH#hgDY3Cg@JA`$@f%qJDIlk(OqzRem z>NC5lX^_&3u{;#eY&JIqWWLhuXP1BmC*HGdYBNd?XxKyZnl{B`Xn& z3rG({o-F*_&jhyPcDs78s%3?IOAA!^5k#&1XXOmy6uq*u=&Wrt+H14n@@V0aYpS=w z+S>6LmIT6g+Q$q!ZviO7_Tmf--&={;UcI||FZRPEAY~aeJ14?_{kk+re-RVWV!e|C z6sVH<*x;X%sjQ8u4ca)W6csg;AN#>QmAmJKSX@GaX~nJ7e&>LA4+O#>Nb24_IRN>F zGp#Y@er20=r-MbeqgxY2wb8;0r)b{dh4Nbfh7FHSysZ0`Ef*&b506$NL^*HIt0H#C z&tc;T>CYocSu!|jX1oXVgeL``@_ zT{0l~#dwB{Eu<;zT3qZ46oSva?$)~l8IkUtFFS?e3cFo&eW%Il(nMj0SeW}tRp0OmL^->&G`ki>LaWbi269$k_a~u^ zblaMbp_YMvBWAY?-%ue1i7Pw9aML+9j>c2|)178Jj2^CP?wra|NtI0;yT(bO=I@v5 z1OO}cGV`UM+G`14w zKiDj4X@2$?xn?+b)&`hH8<(|;N~nvw{@fe+s$54*SJ&RNzrCnYXDl}+W2H}p1wTBm z!c-#i-^IAVXM@^SbhHJ7$?WvZf^{A>nC#3Z)}!0?rI+B2n;3(xf#c1D$_?5;8kJXVFqH+Ztm~@&X&tP$GAm^36GoH!cL_5F3v$#CgoKZ@ACXUAxrE zGKkl5@Im#-u{&CCOUN(A(XDU}BuxrdjF#HfMuc)9I{v8`^nMw4=<~X7Td2z46cW-x zlghbO+p(xvlYfvyBRZzX!MdIF?unjybA^uXFymH!r1#o-%I2AISvaZIvoAX3tS4qV zV0#=cS$l^8`1~8;LNl%){yvfeZ;t!%u~qqOnE3RjFOI2llfIYhp>bj1J!Od>kM;fn zsm`lK1x8D_<2$=`oI1M0g4!ueN zNs=V6SLKt$bekjD<4Ul0s}GjtGD%J$*Qpjrk|OT&@V7t?B&}pj-2Go+-y_ekrgG~*%)aLCUg&!J zd$P_VEsD%IJdMBpmO5s^+vn4#Px1|08Wt8=jFwo4vmL5KM3-x-(TW(*>{#nb=`GQ+ z{MD!^kuP|)L)JATggc7hP=~*`540!3B*{~4xonacUFsZ??pp;cKPz3FQ$$3~1LNO* zVPgz%jTzr5jeJ-y8Fh%2#|uVek!jadj7j3VFDupB=SfL(Z#E8Tqi$aekV16rN98?o zFMD(3n*K5=SV@@d!Js;&Ix~Bq)4kXR`UtreVdv5ip^Has7R-pr?+cE|M)*^=0ioQYEK6j()uCN~|M6H>{Fmsb z?FJ`$h~hcc|Y~LXYQiBl_6Sf4+-1FdXA|yUl8k7iF+?M#>vBkCI$&Q$HsXRbqb zwh7eXYzqM6t>1!A*o5hhMs=Cp6?M;wC$XOR)wr$8&rja))IhLm3EYulq$tuG(wU*q zBvb<~wg{x;LtqpP8>D?|w>)rt)4Q~BP|~DrlH)Cw(IK^hQQf=3m<0rHH+HoTN`fyt z-gql)XHcI?fgb>~%IKx#OALwf9;8QuSp{WLmEFR3@J7#CkhTBy4#KAu>5%bm-}kx~ zeHk!1N)^6CCvBrl8>RQ68`v|W-j(9i_C~$&r6*1!@_v ztZ$&i_@qWIz79938DhDgPw;zbj$X+roAcz4vUX(^TS5gWl5)c8n{fZ_TU8Sdk#k@e}=t24GE65=u3dF3zFh@kl(!>>|L z!aWxA8yNWb)SMRk>48e~mM#sI#^nqE-4fAXDYh8kp6f~vhUHY>8VHG3#h_X9KiwNS z)lzqKD9kWE$t8OlMVpBgSJ)3n`l{1fJr|k2(IPwZn7`E+GVq90|?jth}f9e)LtV^0D^P{B>+86^jMcE-|E#4Od$fU%YSgz8Pfb} zIXapQNd$_DUK|UVDBz}S&<#9_Eb3cXMFsT{USKi z=P4;!0REKaBxQfF1~;U$!qFUr%@Bx6Xn-`pfL00ATG^u%RkF@-$hm?T-t)IF{Moa4TuMyPPsi|F&ALUcxMm#8P?D1}z<;>0fh>hfh}V#NJXT zwTO8|B{$Uj9QYmq^oW))zOq~uO3_|4 zYT~~oB?Xsy?AQpy3USA)g|QU9L68;ZTmX+wK@n`}bJs1i`HCY@l>vw`=HOm14R0{~ z!w$bG2zvuWT89aYW)N}|mTnQnqspep{-2M1hwhj>&V-F9uYP`3^7EncZQ@AY^py|@ zG(~gtXPR~l!V2El(p%`ufk4Wp@4^e1EHd<)gb9r(aGGZqsvK~w6}u>Sang36=EYn_ zE--NhSF+FieE1c4)Pj7fa-cj;PEM9rkSGR39Rou-6v?=Vdh7weXV2r9&4q{nyn$aX zmoC_(G7uvD+{k>1WyR<1tv>xIn6T)f>WcND^;o^-x90}+wuD-ole2Y{X-F}iKiFKI zjS>IjZ~1;XagKL``~qo8uQKpYfgQumHF!oN`3?bid8F!Jx$SC49d0zl)htDHs8fet z@Q)r5Nn9C_Uap|m@EW3cXG9I+w&?A`Ts~xcKXBq;XplxC0-88lQefz$5dz+pL36z} z`?TL9zR@A>dzSZJzS%Rqr&YT!loe3f|Kju1tH! z>l!Z62+;{0ZLFP%x#$nlBG9wW3N;+tx|3to>oQKRNMRYcax47!qM89Jq{_5 z$Pc4QFcC4(Y1tZmqZ8&%p!L_zc#WK+*Ja|2=up!m@P-ueJ1HgS&|8+DNso~-5tLLb z=>s}yBc=g(%CmvlGVwiq5j7{yU%GU?{f*I-&jOicyOm=O$NJBnsxupTjo3cs0r1J} z3;Af_%>eA+g*UU4i+U$6tB+Jke-5nSpRy4>Q{r!;nY2t`W9T`Gk6t=yaLNc{~L8zo^ej)lT9|UtgIA55he_ zu{AxwSoi1M0`mstcV%S|@OAZW@|wG8`+A^`e}MkH)>gAwO{U3iDyrWyWYf?gWjxKb zI@po#u-mUO*3*ky3DT32FTM-&X5W7bMeB=&U{0NC2X zI9bUbKTd}!iM@juO-uuX03#>r{NqlzkPzBT;`m70n#ItiYfn0#j}(qvmOhzz*rm2@ zhQ<=YmjGHk!jIfWa`bCPEpXFQA3>Wj2!h#4Y$6}9&I_5bH^4M}U0Uiq*lSb4H8uYAg|YY}lOMEn zwORl>xTkljxa~)76gI27ui=ep=+e{_Cq7u+$gglk;vb+85)TmK5E?rNsitlXx~nYY zGN)nB{chdG#?hDrjj@KKjf)X48Q(+9~@TdrRWo$qA1>J-ZpxaQo$p6e<)tzC-oVa1go z@`BM>Zihe0JUdDkS=HpxAUP?Md>#Gbuc@DaqAOw{J_0koonKcVi%CKh6BEIBke)hWHQOBp~D1Smz zZAqFH9i`?-7QL6**yC2{w#&i)+0r5h+rfDL1PDwE&Mjp7zq<_rcriQuZ7SD7aA}b7 zb?vXdetxlboXDcw>|rYHcAG4WHQf23r@4tiY}Sz7LG#=uo(_?#V2nkeL2t&mW4zj< z1c9hhJEaOP7$d+7lmIQn$O~|H9~+)bYS;O#{B}~De=guc@javFm4kJMYM}8**)2q; z(j`BFmZTPoK&EMZsls4=^!Jfz@nNONozTJzl~tY1l{&ik%I?QE z54Rw{ta*T`rPizh<&~#vAW3>;CjOu_YMQ-jc*TQ)DAp zj4|lAlbvT9NDQcZop#m{+>vR}5j*-!utL}*hapm)vY_2E6{D#wznckOr(R|DJ2vlS zGH?R2Eu2?>{uLoN&GmW?84fW%mx(d>czDf#El};9BFK86K&m;aW9-MWt*vcmmL?B{ zm`B+#Ona6mdjI)JUk)RPQ!r~A2?nz)6g&nJkyW1ufL1G*(< zsa7YxQy*hsBu5tJFWmdi{hOI|)9=XR6+9#)DD~tX&CRDFBFDRvzgJc`sf8S*FCSAw zKyVl)M)%xuVLCHbTMwPO+Z00?u839lr*|kS9Cce@$D#`f{-8H~4Hkp@iE%u23eBPIrOCo!mJF6gnFH|(~M{d>tXl^On^TaJR?YS{5;5qbv< zTj;`Q+xX6RQYFKK*uQfhQu${6M*p%)FbWps=Km@^-5-rwEC#*eZE)mWdBNWoc`(>_ z!F%ipgqV==B21pk+V6G9WX95cs;g#{4d-&lTA-?3V83$ZHq0o7qhhJD^IRumS7hc} zT5&y)V%RBq6SJbkcZeUNo_>`X7!wL1(m<(U_hpZe|76D z85vW};kulk0Sw*TY{0zIT)iJX3yv`r(zSA;9qo?MFSEI|y)u^cp|u630aJC#?NlHP z%H!ew`#Ztj??BGh4Xxv80CN$uiSF&;L3@Csr=S7nw#M=2{v5<9`wU4T!@bciS0QzE zTx>)qP_-4qMhJ+xBk!a1{Az*KwRGIXy1F`^3sJr2xhS_$+T?n$RGJD|wslC8t774m zq%rCmTMN;nDVlRP1a}r)4~rkhMZScf51Cxa^Ddgw%3bij>tpgG2#1>nUzki4Lv@BE z_>3)xRxs`t;!$uI;u?SKeIbMNCOTZ_>4qtbN1N3grkh5PeXBEB>P)^3>l5UP-L6Bt ze00sw1$#yIIqm{`-SSdhg+e3k1xlm;6#_)Yli3J-(2xd<=l^K!0-SPS*cd`@oI~T2 zY=5khjE3&y^*uGthfybAb|*Ab)lFQ~(r4K{vM&DOSD8b9YXHJlh>d6@A%=D2{v?c| za@AD=sN_CaABDMrPUyP})mUYDKYa<+!-2Kx=Zcz@SP46?H3u99ZLv0=jPy#+tFM!2w~;=@*~O~8A-%noeS^^7XPK9$O}7_4 zry_+^2BSpXF||2x(}G3TU$w>yb}fF)WPI#!OByh0*3;AD>jzuL#R6BwZfJ^W+Deb= zSL*-f(4Tu)lWl6`T76HFfJ41=-WVHM6o3M~>)=exjvdzZoMegK!MK&)Cjv~xjsg+6 z+@ExNjt$I$=RBLJ%*k}_>dlWxYxO)z6-7S%`>?5m96q&VZQ{nmfCM`9X={AZR!mP! z*R_8*_xw2P$>M|(wiQyKYVN23KMR3s>l$!X8|h z;kf&so@wC`Y9Z=nB*zb#G?>)WkvEk07;O)18*+s_6O74l091G*ukA#qG&}$K5rPza z!=bOmy`x{rX3a6o3fb5jTZeYP*ZRyJv4b8Z0RxUcVVt|W`yC&-fhL?k>Z`6o6I)C3 z;ZfwX7W~0ovtPT5t6_>H8f|)pzQ`$ojAHzb#uo9Fn?q$8ez%Uf)07MdAeSe?v7#>0 zBIHAP?DkTvBx?lXW%m%A_|~RBa@@;Ny4=p@Wv*1p$qU`HJ>9x#gCkhAkZ)xvlz9j)RW{ZLLd>PYKj5tbWk zGNzes_{A9E`Fqg7O;h(mykUn09>n#ZqkcGy>kr-$BMb6p6?@bfNsYa`~P|vzN z&FmSce&Z`=itL=unB>0*^G_`VSr0}|X*XE~>p9ZRKldnE5Amp(c&Q^R&)2}RdohaM z(!6o}vbi)st3YiM@bzq9pdMsDbo_)7dND*gn9%P@0O6ad#a{g6(7qf>GB?%6+S>#u?#nktwZpI(wWX!Shm z@HVfL;AzdQD?NmrU&dNW-~;_3O=Nfcg=v)=B@Q}6lH|3YfevbER^P1|fARczKv}9y zuc(_hrE6F>(I)G+NErDdD(yeL4BuT+fCeNXJu!F#zMf>m1)QUS>SY+_Q2BV5h=7aWYf3_^PsO%-q}sa_@+W0@io^+{JsikzA<{QC_8llv|p4#36VdV!bb zoCn`@1K$WV!PHDeBtcVZ4a>hB4Ti7wH-&;sO*C<#I z@zE`lLb8-UJa=(*{rANKeGRS&lj>O-H%xye`!0^vh!5G{4W_Xqi%nU|-0UFOx82H_rX-T<5yZ zb8zI?5&PR-dZ2D^!Ij#($q$Opuf-CN`+3tWlU zlauyFXXjuuW&!xdbc1|YechlsE?(2G+s)#=qEwu%SzfBq<};OyEA9noa&e4Z+DuP( zGGs5*xdRX!OGbvY*HmhZzQiOnTn&$QaJLBsfiJxyo5#Q%=7mNlFVN)8i?XNAS%4iQ zFfh<`#k||dpp2M8b<@E5^#~D2>s{g+F&^cv0hFnkL(Y01jpdDw)X;9hH9+OgL0(Yf z^+i2Cm~QFl1YptG=+tYc%814WblGCr(-&}TFJoA#?(LCRjSC063uBxN$u?7_XTwok zsM;9VMj7c`{69Zw)l`9O+r&CLHWwS}P?PmqUc!^XFXvgr7mZ29=5eER&h0@BxxuQ$ z+UF+5B-(OZ!eje9jTpO!FFA>$Q1s`hotGz1m-l;27|!w%>Np_jup1BxXiWOspQnT+ z6DX&n(ia3GujhJ`!TNZJD!z-`{GIh{{k`D`bE}ep4N4RzgWoh zy~jYrHYOa?R^bxvmT~hMX5TW#d`II?1Qh^>5|(9@Mn!>3%-FJJ`e?D}p8WfR4yA7i z&F=_xX%DYDsdp(HtL~16XluF->ioMGl}3_VKV=kd<^ zQL~~azgI%~!RgA|pBeeU10CBQ1nIrn>V`U;!C>^rgz8&?>!pRee9q`TPVqZ>cE06> z7o5efD-#wsEe#h@N3Nn{t=SHCy~<6VIryk6hX!~RZsyna0^|hYQFtlT_h*|0@RTP} z-FEFtIn9kiDLhBn6N9hT)Oj8X8=LAMQtyoPYs#`(hJ7i38H%!3oqt-Fztn<-Po*vD zzJ{Bo0*#VNhvee24yy1WjHTng6hF8cm96P)HY~7p^FwuCdsX8^-ySi^y!oxHz8Eod zEG$rwQ%9Zg#Fmjn%Z;f$RcyV z#w$HenVspFb%74Z>T!3s>4GYN7XbGL84;hCT%4RCqF$$di1<^kVKC2-(Kooxs;jE> z`ZujFA9Q;uswD-IND);-;W5)h$)b2;Bu;%H01nd?q(`Ra3111_fL^fl!xr3 zOo%CWKV_pmt1Ew)j8Nf~@>?ai9aZiHgYMiP9cb3ay}v<~LLEX9`M;5RUc)0Jk`T62 zJ{#d_QT%9#IwnrfwkaXN?+|_Ez-t1OJrbBm{&&7!Z46Xp2L|;MVjk1g(;G{EsSPni zg%L2AA%jieMuZ@ax#8hqK&Z5nVOs>=MfV1l48HWvCYO8A6qH5Do13sfjRw`<+}(Y; zqi&-V51B>4!8PQcq_(*mL1^LxU4P3z-QP1}UCkTejtycr7nZ>6N0z65e=EKHu@4La zqCt#6^t@e4Yt`j`n!jViV2-gUi zC%TBi_Ip2J#rTOZz4j2TZiKB1iL{Jlo)XAXI9)P1>;c>=zQkIe15?kx&te zV6>3hkl}r_R^3=B;Tp4c_B^lu2ao^)D=m-=hK~z`nJ`cH9!&vcj}+<%zPDjwb{58N zFm8viI7B)SIN!qm@Q?a13_s$dVf-^cKM%Y=djd34=mG6f-fjG`&p|gKlnni`u-{^f z1yX}GG+M829WbqYo^>Nj3K<)&>Yi(+JHkjbZGRH*McRO?1VYc-&L;OYd|E|AZ+oKu z02oc}ekQ=&^~dqz${4RaXr0T~%gV_krd{oFyj};G_e)2@v>IC?mvs7W5d0O1$rXMG z8)*xCowtwCT^SIwx~01SM&vu})*^SNN#5f}R;ru9z5S)cvALnDadEt+uPqF4&|QSl zSIyfvUH1wLXWEvB!2^dQ5x$1(34;Y<+Z1k637{Rgx-q-tXG;CI)(6Lf%D1p(TkLgF z5NIgg;h5z7g?=Nnl0~z-KYC0(?0UxC8M^gIjF+ ze68e504!|PR6yt)-D@%`dM2Q@6Rh6t<2epa2?p#dXL7fw_?ES<5V@^UrkGC{!%j{HAV5A-30bb8=(3w_f0g?k85dO1h~Ph+L=t4Y`*Naw4#ug zJW|<}NN39ebHJO<9Ap(~M%;z;tDxW;Z;vnf+wx<9hKr_wyho26(;}43oV*CLou(0R zjcP*cKW-0?VKT_|VZQ;6=VM9;(-5wA2@DF-1oGOC2duhd@{S2v76s4;YC>Ll)E-KK zEeN~OMYJADXHN0JbOto0$>*Q$4MT7!R(79!R$bv)3SRXlllrLcSyf>yB7;xllnwiA zy85P;*4_Gj!J=amahU*W{9EhCTY49vf{f(Vh!KJCXWHR98l<9B+ZwV*5~1(l6rL-r z=?pkCSTFI>o)%gEsA7%2*Md2E4gydzwk50T^+q*KE7zRu(!>hG-}px%Emh|@tkP;Q zR3qlC4~ZMcapw+@^QWasIsfg2Jpg};on-mT&mwc|I88&Ucff8SW$o~aQ2URU5>XL% z=i9S=mU`@PY7+V1+#Am3Vh3Dub_X$|{Vi0ze}kU7dEEccq6&5TKRBl)DG+2Oi*lcI z8jx$g4JQtyz|8;p^%{CvK;fWjg#hgLa5CEP;1}Q%gb%HN>YdNP)H7ZPt6l&d{3z(^ z5kU16oQ#7~uthE8MYX|RAgwerMH+dbJ_?V(LkCJ{?DA)jI!9r!=|JJ^e@?NRqqPPg%4q}GsR72J540yqBw9^Fth@*^0xm>8Y)}H-P#f?5X-qm;j${L6 zZ{|k9gLb#)Gwh1y2zUUvgpnXw#wB(aJ6R*}OD}CmM^S$mr;3p)FVlo%_Lk=+MO>ChAu0t5iNJiJzO~Ac04>%LMQyx{k>ZioKMk5Mq*1V@@ z$??bqr)m4FIOoz&bRwvaTr>uQ>CJ=9{~~OeA^?-X_cCF)I1v&WdRc1%P)W|n?S+r) zo8b5;4n2*9YCKm)g?(?Cv0<52f9z(s*EC01l?i zLJx=`qoK^-CpBJog1@d$ro_PgY@$&lFD3PD(V)m_P`k>-_ie&pDQp|A(4E8$GMlw# zqh4ySNz+$ft!cp#d~gw!#^%%H5fK+p81igcR>0=p31Yeq{kcQc$0D4zOl!M#*!85@G?xvcOl2ZFDKRzO+RqA2nL&YTpS&=)wd^mSw|C`BmCg$#pOeg+B)+_fhiULQgm6qk# zd1xu^O!%#N{Q*<(o)3jd67%#66@~Q-XE|D&gy*!Z zC2%I;N_CgaNMgUzW-D%2?_PzVo4(EU%nFZ#OUP%Z`ytx9)%Ez)#G&ygf8;_6qCT6| zx!fvPy@mz-sp00;_qnb=JF{XsDAv|iz~v~&H*M(1KpZqYP1C0@%xH8LG0U}mufU6& z>MbkY9b9zdOZ;qoJbonIu{CMt;dZV#!TQWpdsn1#jU>sQ%O-H562BMnB}SLGTAHE` wD^4Ovo`0gVl@LawjViEr|0`je-+R?x{$pf2cKfAcupOZ;p$*RG>e@W|JIg^`(EtDd diff --git a/bench/times2.json b/bench/times2_fast.json similarity index 100% rename from bench/times2.json rename to bench/times2_fast.json diff --git a/bench/times2_slow.json b/bench/times2_slow.json new file mode 100644 index 0000000..911952b --- /dev/null +++ b/bench/times2_slow.json @@ -0,0 +1 @@ +{"3": 0.09710431098937988, "7": 0.15507888793945312, "15": 0.21952509880065918, "31": 0.30136609077453613, "63": 0.39467597007751465, "127": 0.5078966617584229, "255": 0.6015567779541016, "511": 0.7073962688446045, "1023": 0.8152859210968018, "2047": 0.9249351024627686, "4095": 1.0381338596343994, "8191": 1.1539809703826904, "16383": 1.2695138454437256, "32767": 1.3955068588256836, "65535": 1.5154569149017334, "131071": 1.6605849266052246, "262143": 1.8633058071136475, "524287": 2.1362268924713135} \ No newline at end of file diff --git a/bench/times3.json b/bench/times3_fast.json similarity index 100% rename from bench/times3.json rename to bench/times3_fast.json diff --git a/bench/times3_slow.json b/bench/times3_slow.json new file mode 100644 index 0000000..6110971 --- /dev/null +++ b/bench/times3_slow.json @@ -0,0 +1 @@ +{"3": 0.15212392807006836, "7": 0.23937487602233887, "15": 0.3380300998687744, "31": 0.46407008171081543, "63": 0.6050999164581299, "127": 0.7739088535308838, "255": 0.9613292217254639, "511": 1.1627249717712402, "1023": 1.380505084991455, "2047": 1.6292660236358643, "4095": 1.902130126953125, "8191": 2.2036406993865967, "16383": 2.5126559734344482, "32767": 2.8199679851531982, "65535": 3.152952194213867, "131071": 3.5156118869781494, "262143": 4.053955078125, "524287": 4.958038091659546} \ No newline at end of file