From 8af4f46d0bb6841b06d319cdb3f97bfd42e14d2e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Constantin=20F=C3=BCrst?= Date: Mon, 22 Jan 2024 00:33:17 +0100 Subject: [PATCH] add unit to y-axis-label for peakthroughput plots --- ...perf-allnodes-throughput-selectbarplot.png | Bin 11686 -> 12892 bytes ...ot-perf-smart-throughput-selectbarplot.png | Bin 11683 -> 12889 bytes .../plot-perf-peakthroughput-bar.py | 2 +- ...perf-allnodes-throughput-selectbarplot.png | Bin 11686 -> 12892 bytes ...ot-perf-smart-throughput-selectbarplot.png | Bin 11683 -> 12889 bytes 5 files changed, 1 insertion(+), 1 deletion(-) diff --git a/benchmarks/benchmark-plots/plot-perf-allnodes-throughput-selectbarplot.png b/benchmarks/benchmark-plots/plot-perf-allnodes-throughput-selectbarplot.png index 8bd6ae649b102e24a77267f79d00a0a57f24e280..1ff7835027a1f1131e33226a3e14a90cd7d7c9b8 100644 GIT binary patch literal 12892 zcmeHtcT|+u+AnINu^>t8D4-Ek6hR^#0lOkf?^Q)W+R%HA1!4h|DjgA|Gg8K(NU@>< zBE1(uKo|y4no{p?lao{K`p&uQ`|i1G-9OG+n8}oPzx&;LKhN_k&kaTSQ>?4lSFy0L zu*#l3uFS%+l#YKt|F9gNG@R|t;D7i^7K&Rwv#wy?6dFul0l(a6@$ z)QWPDUyT0%-}cM)_SSY10s@wQ{QvymN#oV&&hpJ?Nh&*9BEM7HmZ2UVsI0;redC#*SKBgu0s`{)+~#S z31D;=NwPN|NVQ# ziIGl&B>8CDp`d&BlF60k4e8a7En8KUmE)gYU6GcZo&8XsY@FH3NF%LKs_z}{$jXQ0 zhsS)^hK!GCwT_Nj^X%GX)>jc8=qW9?_2-}CPu$u#@WGc$T}kP#_G60_4FeCg2Pgdk zxjh!5aK_bp>`i&O%8?_#b@%jeFoqlprzaRm%vL&s z3?nb^FCQz-%vEr9&bxT=Vy?%`egZYHDf{Hr>}EM6LKEEBlHzeb2(; zEq75XR6bfF5mT#AbDF=!W@g#8asB$!fk%%XjcV|{cJ0&ayF2|o*o7{~8COQAwe}D7 zRPpTJe~y=zmosKFCe?w}5!7?(4e4*!H}9EDH;9#`@iF2}Gz1=34K?S41P6cAZ9es&_uuuZuTq+PG2T zU7wGSPilPp(cKC$_7ZM7nwrT?O-*Cc^ma;EJB9kVST<X1x3*&rRjI? z-d)AYs^;kU*ii4piR+Ik?Snrw4!0MUcXoD~#?H>VdwlB++jLt8)4um6$%G;aPy3W%~Yfs*|apTOnb84!p!SV6&!4VOu-rg*J9FppR>({SOz)c4} zmvL!~^;K@zwk>^kjPp^w0{dzvy>mD%3@ggQ_1Uy-xGi6W-e!Bt@Y|5XqjkH^zJD9C zPuTF)8k{WN9XpQTfmEsbMY$KAFHbVxALBMGUQabJ*m=rdRZA_3dQIP+46sIUyo;#$b2 zW_8JTySuw{tvaQ-LSkYvU*6he{w9#e-=n6s zHstQz`|0U?%%-ek_wU~y>?|okZs~pg24}QuHBExD@HxQi({SNPL$p&ziX*dSV5(%H z2#Jhl*Do(C6HBYCsHkhpw-a{%YW?!Xi_7(?YJ2zZuOF;W^Ef1h8JKBj__s=XOkeJK zzeQed~+0nmWKtRLBCaad5=E36W zV$QCk#_yt1;^TjD7_5^;oTa9x*FC$wTG+T^v#c^wD>pAU_lp6W9XobN*nWKN5-a*g z!t2<&4I@Y^rB$^RPqvs(GYl3|>(eyMQ8Kh?W+C&VzA|LW@-xjAB1uN&*{K;biOo4C zY01g2KieVqQ7bS5?+7(qk1Va1V_aGDsrmtrEXf~tcb*Ck4Sl$B-L5@CLaH@YCf3iN zJ=+$rkB=|iQDiC%c^-dGzAL;XhRT21=`OX@OtE6C)mPW=N)62>!dq)pE z#`dV6|GPZs_D3E}MdoCW-hk;BYvA@B4vl)+dDiz^a!nt+iet7L*|WNzhOgSU7hOp-+gy^s3}W2h7$t_XQ-Dk19{}eKL#o6MKZg7{rW04 zw#MgdGU-V%u5YudZf`lLs;>U<+O_YZ54k88xlYvhux?$ydGn{gor7h|mW70er&Lr_ zj13#+GzUjTrGNbRkv)>6FPch5aUa0~)+_$4>Foa)Om$NeEW0+p-_g;yGj6$u_2sL` z87wUQPs2&Q*nBmQluN6bH zMDsZ4(UMLLw*-ol6{No%Z*Fd8KXBfgdthdygp_Y7>FxMc*Ivx3I{t*~Kw{YXO`DPg z4PPZAq5~7AI^3#k@(DKVT0NoHo|TYrTtnC9I#S|zPk>BnUY=%Ugs`23*Qfiw>wo;Q zD`W?mmPVd?-(!F}b}{R?(EU0Oxjer<<+b2R(JOQ`t4|FnTk#!!q}yxT#wlif`08@j z8Xc>mM5N(~p=K2YnYrA_;dVylH~fYrEPor_vh{I25bJpLDXx@9j}&EPWn1W0vD1^x zG+c5nT0#w=O4-OLQM8``k9Ul~Vo%XMdrlj^x?LS1Y)+;*m>8z7tfm$+T(aOvvuIXc znCo0%4v1r_-nVSOEi>x(xH3Jlfs2d!^{exKt?c9Z`S}tk4!ez)VZb(9Et{EI1(^X_ zqrM7|2@*BXMR%|R4i**ERqHJrMz3J5A z&ntS%f0myAYFI|U!^$pndcSt=`+d|W@ptb0C|mQyWz4?SlI~)uh=IE<>Pp+qjCd{R zV9i3fzhALp-}ddLKRpgy&(5A2v|GW|^C+3{3I4JSBQ5X*|6YUn;d7lHQ_;iu{hY#9 z9lA@FEGZZ+U<3yR^$2NT2G5>9uTNIm`SRsU)6QZK;a|7ndb3UR;n2}K6$LW!K=KgR zS8v*j6%SO^)*k%)K|bbCN+hK~mO#G-ssU9!LwmqrVLB{A#B#7{x0I9~lB{;VZDRa` z2NM+stCGDI<|VAVyq7LpCMCU&j4u$@gOXKDJ~R{;5mE1SA3I0$IAn_RN!Y;64g0n+ zT4?6|U)!_!jEs%VfHT>p-SfCjQFd0XTv?4uIWhX2&CQ-9>N*O4854)_iP)?BBAn)e z9)C%pi!Xk#Y%fsD(4ngzJ$i-Hee{T|GSKg;Rjbx>ag8|NZl`FJc+UNA!~u)Y;jsfl zCjS&RK2a##8);Qsoo!T3$^)CstRfb;!7xDT;lea^A&`3mp%1kyTHo=Xd1n`;q$eaKtR9ZMd-ucLr`##2sb{2I#}!e2xKniK z6ms549DVL7lboEH@NM;+`#?8{lyZAq%hT8_z_RJlZ*FZ!UbD-QN94lz>q+E`hfWPOKe(}O_g*nE&A?pGIajHvHoNKPT=QMk zOIEOPrh~@DIu%wLs~`XZgMy@7b@708QaDEovsDY1KX<>BXFQaTPEE@!I1^~!<0rb8 zm-kK2Vwui++dI?7DebNaF6zWL1+MJ3Rn(EsX{brb#lzFKZVsfrSR0O(cr z1qV6$aV#Lh#9;m4$TfWL{XsXg+Mh$xY-W<#-#-6lckCVsiI$zmNM;Rt)|^gxFQm6TmU5fi!^3j|+3xcvYjU-uZZY2uK|v+2g_+L!A~z>O*f}H}gDZ_|L97#p zhAbwA+jYS1^tTZtly@Mkr=hdc0CfRG|2;Bhu2K0$S!M9P7|&@_?C81q`T33r5}A2> z=*9Qbk)80XP!QqX3>R`oxmQerjQ^E*fsC2( z_Jd;^V6xgijm$cNi|^gr3;=0WK{8-oB{L5|(NEuN&H)+l_0}1S4`q;7-V4sHFb{KBc!XwGI0^^J*^um5SN3Nf@_N8W&V)iOnRm5p%Tq$#Q=wDZ`JJs= zQP*57#PEYs4*r+ScBjt8g3K;qpDfx>c8xz=&PLK}e%5ZDj8eBt*Y2M&RG(Ix!t+m; zhJ=Qy>lgq&e!qI7^QAqws7o1Bgxr9mmh!kbH&>NN4_ipg=B=lYblyMvvoARdVq#5y z9+kwIwlm7W*Ozjd@wc9XgSkErdw?OTKfVbn`jwlEyDF?lrGw#(kUeOuMSB7Jslu1I7(zOd%i^>5AjW#`V2 z*jTR)re#ZRe)@0t+*_{KvF)*W<8Tz$9!aP|U$U2zargmjA|oRix$e{BroDZAdw1?U zwt5r)c++`uO(9l2Q?F26r}4olHYiu-h&7VhPc2_OBE4DEPCtMD1_Z~U343xuYn!y4 zj;`)du7y_Um$9)BK?|=5i3H|w zsCf_|or?47;wp_Fl^Rhx_kXAq?NmK`_O`99Z5_>AL(h##LvV)`*bl^ub~r!ZdT{ai zZDuN%;08i}B(PG`x!G@H!ghUU{Wc3eGkm@{IqR7UOYpB(0bB-_bI45(u3T9fu!aPJ z?kakZ2tU7ktos*P+5|b%xaZK_`}oRR?gNfFk@G6T4~7HH(_hL3q8r9O{EDx> z2FlqKx{MiHRsHcW#V^R~E9)8c^Ur-)CHs3QOs3WkUZR}+5FWW2?kngWD8JzlFICC!IlTkoL6=CiW0);DDtBFYk7 zCp;-VSVV$Q0SmQ}zji6aq~lsMY#b*SAp>Gubg<~zFXf;J_SZ7FQM43P9-gg6%{0ns z9tWaVFAO46>9VAhG0AP~H4M~r7VzJc>}=)0x0$$QGon@cn}1zC=z zOO8@zdFj%}?`8NVaYS_+4&%epM1nTA*O++yk z#*<`B``<-}NiA}rl(yn3=C?K5#1yTHCPI^97K>epP#gb@z^sODhHMs zg&GlNwJ<+bLbD%G4p_T5z30q4gn4qUEy#FXwvim3Aw?xgJ|hU<7TQs+dIVStO_N#ERDAtIUx z1U}-Ed-LWE1O*M~;DnDs!gg_3EFSVW2n`uJ(42gJrJe*})Jf^6mP~zK(t%3^Y|O4IrQBJ#I#%;@0V7I$ck%PP{+HHZWEt69!(v zCl~868BWgnj$=N~h9{-Iyxv)Wb#wr3lgz04n?Ch-x_#`_Hwag1$mHWl4c-M+%sh_| z*EiJ_d$QH-5GzB(->-@KVDd{ePRm>at6B85FTGbU57mu%vHrLNTcQ^eb z;&!}@seZkt<0OZLJ#pg1bZh7Q!;z8&{h6r|%($R0!o2SOu@wPqz-fXcUbl)^DB^xq zg`EN=g3O_)68$N;9Fr<_W#vG_{Jgw-rC7iN-mNxU0sXNxynFY)-FIY0PF!3ZX;F1* zxSfNsci+AVDCGP0?UP%vcH5otu`O+n9vvu?hEP=hu5UhYQNEw*=)%lKSJL_Ak~OF? zV1V|sUu~=^dpUF0e#@f^S3%y)?aBH4 z8iV>C9zJkgP?ruInPdd>2QC!P?%gw&7U>u#4$QTc>;5dRZT>p4si~jpYBg}dKp}}aADJIHc=Pi zcI9)>4ZP-P9UzZXuir?)f%H=R;z*$D#9$&0k;|Wu(Y_C^N0EPL5{No{G~MsN|9-G0 z@fHwH^kfkfPASP9kD2Z)- zayH2DI_ILql&WMF4jGsu!FX$z_p$|NXw%MsqI5+4rM8tZsU?p{IZCz!ecEi$g#Yz! zsmKtp`Q6{Y_;Oc_m`(SexJkz*GB7Y6-iK8ssR+6o>D`XwpQ?$VLjOzkEN^VHEh6dH zOma9BFD!<6?pgraA)KiB*#hVy^BI=8hs=uim;n{$#7Oi(iR zv2sYLB6V1|lx6cFe)b(Yr0d5ntgNdW1s$;e!3~_7E;-lJ z>>j3xXZud+#7YwKrSybb|B zF)C`?1hZ8G4hU$0UH`lK(GSmgWYg3$luw`jU7f0*;R}T-s!B&+Kl95M+cH~t3RC(d zdqyo@P+u*#ZmNC3ZKAgd<0e_{Rd1kF3Q!yxEmZx*PD6 zJUl6Y1}HRl|Ikl}{W{6Ia;1%hWZ2((2qUbESE-~4$bC%&B2;yo8m@;4ooboWY$0DB zYNVz!CFfYE=UCX@Ltu9)eegwiE3eAKPmq8J4|M1a(U55H_3=5QOv}mrBPWyJxnn)| zmoI{Qnt7uczzz70eGBK7Eh&FVx(#qdFEbi4Zuov% z&**`piBfJS{qV^X-QM0_|6T}QvdT6#pLr^+9}ZUVNUe3KO)OS8^g$+MgS4cGS&TrZ zIZu+p%urLZOR+mOdhbj?mA_wvllTZNCjjjfS7z$J<;?+9scC7YK>bdd0C$1#EY@#W zQ&STh7^rONas2o-4dZKCSFT)vJLtL7`1_(^#!sU3?+#n`+dK_pE+jZ z7K&1?{g^MUr69++DkdW#fxFBW#Zo>>>^@RN?3AFjI=T&zq#&Q2Jr^PLc|z>K<`Ln# z^&J@ONh80Xk(PwRU@$atfjoogfYy!swO?0NQCqZHo;`bJW@1;B-O9wDJcB6T89(_o zB*?Cte}3GrtH>wfnH#I{^{I#%-ESpH4)e>5Kq3@@8$+U_nYq#sS+laTq$7yDQ>@ru z1sMm(lQ8FrPu0hY+@=~p5FKDSoQpZs-1q=VC~o5Z7J}iU3OL&o%3Kr{)|E1$- zT@L;!WYux##L1JX=qM@}Oijzht)Sz5a}}zyA^rxe1AfRh<;FP!(C}zwCg<=^_P2OUweLoU z&bS>E)@ftSt3T4M%h4({4oVAfEeGtb;p$qjQ9wVPM=ta$nS#vRcu;{O6GnFW7^P(3 zVdVHwPF2I`r301MJIp~7h#V6G>4dN^aQAu$y~1$JxX#`z7{2J0DO=;cWEpYJzG~4a zdaUx7ckLXuyA?4O;5B>9sndf#{A5gCR=LoTIZiK`J16NhJpTDoGGqDLZOI6i7^fN3 zmVL4kaP3*oeW!wFL1U8@6Vcb8&kac%>(%%t-B6Gd^!rtNDUa4tWUcuBjfFxHy>Kd`Ip(Ora$>Rn?DVRpry!-{`0zZWY6H# ze|0^?GJ3BzNx>XwltB5KL^%(PD`Zx;r))$}P;jvNfiKz<(g;9*?#njy;gZ8vjC%IJ zHvdnyEj{pRpf*X^_Tym>J|GPfRo#%(wSZg|qAl#$ zv2O{2ZMOHPw9#Yc38fv!NpE_lb0HJlWYPM$a`kF`+>vDletr_4j*id(h=Ac3P9-zZ zNDlU2M=w-{A3Q~@JZR4DVzecErK}Jn8nAI0(3>>Dcylug2KSmHDXXJ(je6=B2OTPw zoH8vIi>?`Jq_s~yU95ld+gSgMJ*7@+lPeX=6%8fN9IkFLCx=7DABSEYI!-<04$}Sw zK;tKT;n{bL#oS)_E=McWs9yCn;RGEoJpNlvhkwPpam#^}Wxt!=NfF=OIm#cTt}QvvkmA=oVD;Fq9zq*3WbxxDTT9C|pTVZ=9&>xM`u8s3mgvP}ONCz5>MrtEE+Bjxl2M^r$ z+4<(!@(&A&;oP7eZP=YYsW^yAaD2PX` zgzqU*rhwPCTWAt_h=~D24Tie< zd!xd5EMRGhwpm|As>c}8Zx)*@HPhv`LIcN-PKok8){`mq47-n%ztU8{o9(Ky= zS%8YkF5~$mGp~CU!0-Svo*}J2IXU?~r0Ti?2XoRYN_tq}Lh?)O^zK}X?dK*BI@m%> zYsl2wCkxrfslz1+E@v*KT>>EB(=>zHXi0B>xNf)n>A+WhTa#c~D@!^KDWX3U<`IvV zm)FZzul9mvkj3%zEQWwT@nW4q)KnA94R&$c1oQ!mu=q@h=lY#)Rk z`6@efr!vqOP)~FyrxAUUM3*gJ^B!l!qk7Ad*^`Hf#4nObn*Xy}Ti z+4P)DLl0#G$;U|^@OQ0>#%tsd)avKY$I)zi-`Ytxf(fA2G0u#Eyk|}a|N=!zJqAxhjX9f72c`t0v94@FgrG;RPo znIh=Xt5CJ*ua1omHP=R98C^`mWxR^(VO*d!nWXZD40?wdehQODJ23splS5(tULcNS zLmKeJ+gby-WGG-buOlQJQt?a{{ez6yQE`!hu4BfhCzw` zSbtR`mPyE>=>XlIF)}ieYmw8u&57bXH_<3;*&;NDCO}o_PUNA`Jjj4}>crSwvS!L4 zQ_}5_hH?HqJU!#-3a+|zt(J!Ml}T}==J5%|&Lm!X+;6dI=r1U@v}x-{E)e0j4Q ztX2&j5r*x}2g^+IZPU#&^G_1dUF8y`vse!{hFN>Tgi)1C0|`D%&>Ucb!cn4?WBg@m zs?j9YqfhLX`<>Jp93l2k4t9RR;A z_6ebRqCRFf+W8=s)RLYf7%ch&J#u4Zsfq{YJ&sGcMIn3_M%sUDs zRf9`ORFmH7f|25xDC1jLYV;)tdCod#z|w^MPi6>?kbpID84_kmZbchii8z=0=x<2Z z#BOEXeBf}Ts8z#ifhTdOFpZx}3N1w2L6G?{Xutntl2BhF#b!m~_;SkB`emIFJuurlO7{>KC~V;4*m=8=e82 zF;zToJw#?=g~r15r}dk*7tqL!1&Y5Og$!H|2?9;)3AZ|m8OlIzMJ+~4Gq-uco*itZ zQ+?KKiAT4ap2ze!DRR*ailCpj3rXRNA1@o1;Mn5wKFEDUl9=&|89Y93|3X1*AHlqJl(f z=%_T6t_Vm~BApNdm;j-C&t}Rw_xtXA=iIyQxqsYsXD!z#<;{NgexBd+EBpFMBfX95 zgx6shwo(5_+-VH^h7NzW{AD$KrS-(%e)yl7x2~D@8Fzbczl)xBnBhfl4_9|@S0~$@ zzIL8oPVR(*@~ZOR%kFga_V(~nS5R>K;|Jv3JslL3vhvd5A!|K;H21 zP8cR9ppX0EtbYQtJLt{_pVFD7w$&Fgv6Cn5x3Bs^Y~rtdtE8I0b^o&M?&Ov|vG&=o z*Prgfd0p83T@vM13x0>EGrw=Mw^-h%ou`irdo~{u(AsrNG1UF7@ZrCB3{3GVl5-L^ zU#h4Z`^;oywOWTS%m#B7OMKnfg+1hfgN3rS*%)^D+e0$bu(p#nm2w#NW;49`cSpOv z!ES6IuE!1^`13FBb?jPPIzwH<(J6lh`xKbio!2tTNkUy z&wjbzO|TTWiE{ru`GdRA3mRXBdM^_fr9KG=#R zt)S{xSJ%@;=q z?<}9W|EAi_&dv^pyL0DG%SY?er?<$MW@czTva5~G>Lv5syy`+}ORBe}jic5I>}i>* z#IQrT=h988epn-x+r40@OwgHT$viQSCiRVsNQ)gLbQNq@^Ss2IdiwO~(7T5Q8Rzr% zcjUVj2d!L*on*mz387c*>+2H}Z@a|E&&@p~scn|XY7bQnw2{{^W9_!E3mld#^=AdW^)Uf@YFl-OI?LtE_An# z*}Da0%}$DBN+)<6$#rZ_X;4fzrA5WqkOM+d!NsjB@+`hsam}9*sp6bWGs}{M4-;f| z(y8)RMV08--aXJiWo<3q-`}t3^zMP<`$vWw#5GkVB|Gw5gxV~<41*aWy_8L2>Np;U z$%yZrw-+T%Hxr>m1V`{Iu#-DiMRp2V`|mQ+VCHrVN?5Pa@E&UNpLn?jKRwi(<@Em1 zcI{yQ469=0x#?j6uYtNJUeBtyW!%zs7g}lGI|GGC!+7PY9S#ZneA+V?4!QS~H0$tT z*wqi0#=R_lgyRnPWp+Rr-E~2Ga6gfmwb%kU+~)h2#Nl|uKgGPda8a6lgBETp!Wp2c#pQqou?DTLPb4)JdvQP=nVf+ z-(<_~-@iX4BSRK_Yk|k5npy`uynF^aY_Fj@fmJfqP{1nV*+PM_N78B4clMp>%Pbxb zD`u4yb7J?Mc~lAQhKKKFL3`|#lZ(u0P?u??+1R{zvjW@u^BysJ$UH-W@oK$7#8iWZ zLXj_1*k-;@2>;^p3O0NZSGguVAG#u(&8Vrl|HG9OhsGpDDCG76BEBw8DgDL!l~_}I zoOf4}=i7aXP{3wo!2vj2$xL53yY66PW#M3w2tU7!Nd^T_ef#$p4l`W<&Qom4$ypws zUop#AfaCb?A|D@d3>%x}?4QOo4%pYlK7RT%tb$KRGfu@_{KJP2#2PWb%9yh0hZM@= zjEo2h<<_lR>NJ^s`>x-WF(q(G(#A=m0((w47QBRaqURD>yHcX3|@NJd8oQs_0{AE&MZXn$k02|K*& z&~SmAynGZuSyisn`~092@-b*2KYsk!F}D!I9OL4qm0-%>;QI#y{y*PVs3`WS@}94_ zD*n^4=}wh_t%2WS7c~CoVZlE|l>YPk_~+!yagxa6bh_8Xl+X7MHT`lF4th_N7N^~; z#GlAql&wukNs)y1P4O9RZ7vU4^6$TEx=vLQ=G40f3>Z*(#K||(df|d{eQ%_bBj6bd z>~0oWh12cV+kt;{;@*}sX-1L5@6&2hbi-4C1T?6RW*}PfdG#9X{?6r|_Z&?0J2u#m zh_8;=k=F?zbe=aTTWi~q>!e7YpV@xM@gxpcm!Nj=`0?Ymtr_Ns5h-zAW7yV{x2+3F zV_7vReykqio82+EnkX?w0V670Vqr)xk7t@;#(($jUBwG8E_b-;>gqPrY|70FJU;vO z`au(B5xR@iVcv3r0ZErQ^zy1wZjT6X0d{fkg8a3OB7!PC{`mQ}kOfm54w%_791iGR zV%uF{Pvg90o&>M|L0jE#yvsx48|?D2_YWBPj~?xb(pj8|J>+y+)US)U%--_atVOsz zLGFnR&qB+@LGx(09A;{Dq=*nu#5^icETz};K(;agjuX{=!lbC0*$w$pQL2(XfuqkT z6a*8LcKf@&(7&A-1LU)(PMyki>&$OhiCxyRxgFJc+gMx8I*6I4-Wjc6Bfdr=*aL?{ zv`>4h;!=<>lo+eSvixfz?we zQ;j-04LVEn%<;y4Pk1?gpudqSKw%9}_q25x!7x+?^sMI~x>R{xVAO6ehP7`CsA2xR zRsfOpPS;)-NGD>y|Hb+moP*U(zb*nxJX@h`#x~czx9rz1X1#Cg8mIS?Z`SsMzR=~4 zcaMHc0EX|{{(Ki4cI(cg-(W8q+J_4gmEF!?G8aTB3y<6d%Qh{h0Y`4mb7@l@esEj( z(vR@*J2b@TM?*J7QuxTkBfVv$RNZjFjmog*v9OX~(cP>x@T)J^Z}^=ZeKlIuUB51< zm#_Gc`(sC8sue43h97=f!tfn__s}QFy}L*$THZ<+bqj!gYR_so-Qa#PIy|Mr-h$Or znhGpnyl6BN^+V|f(37)odD`^O_oYExvs}khq*5`UhH|XCozSQs0+Q^^GptM15ql^p zDf#1Ryzyd|vd&46Gv4D}YW9suR_<3oF_le5b(idJE_?>Ff7j7#t~m>}HjAFnkgc^RG3>bvEPZi-S0k}F z5$cw&GgWtxUD!y<{H+qWc57Fz*%W~u1{#Wylf2-H!)bE6yx8!N1A9)yZl-E+%o2gk z-_QCYMz09vqf#hA7R3%hxDqvLelQU@`AvY=tEgw}uDR8&G zmun;vsR2bB8)fr>0Z3fY@Pa?Y>8pKqif3eD!$ePnlN1H)~`Ex!xjFQaYbZ?fJ z5)1%{CO*AHTHLX9?22+G$klj4(Y~g=1lz;y4bfSgYbz(@EYLz0T+W)B z>fvzdCeOMAHvlTfKn(zEwzKrAS0dKR(JQY@Cv7jZlwX`q)2Vu(f7|x;ja~fwSr=aZ zRdwWX>d0@4W^jUfdDftmD-ow&T4XIrN~Sz`@ExISb^xsvhug6I`<)Hiys^1N=z8rR zdWfAR0aM#`$iWd3I@(D7^78{oKl3^fBX2e0ppId$kMrdwpGY!d9IFNCQqcqS;&I)oHNvmDtIXPPcMFIhJE-Q1clytshV7Jq3W5Y?2Y3J!-eG&F=A7Rdt9^7zSR7a$52xR= z@Ns5l<{wXfez5{EE%pq9st4i+#;8)IC9r>b34`;s&4y~TFk(vn3ChFJs0YlN_i4uH z!!|0ehd~#ec)pM{{4mCODY#;zN~KB}I}(YxRI0Z6d6-^73C&?{7%TFuz?+gH-=))D0-mNS7R-_9b{Y42G@qw|;(e zTUrl962H{37DDa6tKL0;Xq@~$pnF}$4P-?Ec!h|1)hYVq8{a#y8|gdPH!83RT_-1} z1fN#(Eb_wKH-_u5!@rF26Oo?<%u1$DPiOAb7|@x#PVh*PKAT}P@J;uBXwGqHj8*fp zcLli#r+n_kbtLq)Bnjn7I+l1=rG94=me`o z0F9us62dBzzrZu2(A)+Jpa0R++Z zKG)^_-jEF=SN43Kb6z)NaY5P6JeoPtYR9OK3(W3W%UhSI0=*YN zb{;byfeSdg5@xaqe{WTk~HP9@_%X4~aa zdrE_9wwYS;*G9{QAKj$(-S2Fe2H*W%ZCm{2g8*DuT8aWy$;fd7<2VXDzZQZ7_`)aR z4()^9Of4zV++!HG)vY7<`pYY8glsRtnjeFE)39AD(A%{mci%NW32~RU%t&q0TxEiq zS4u%aK~w4qtm!qUpnxOA?Ffd}G^ z7^(H&8Ty#x@b?-SZ*cs$GnbS=WK^RVgo(!aMio^Ii+rSS6FqUN%_f9YGX2f~nS`!6 z3Nf`vuY6SQ)c(yy8zF%%Sm#1DD=htdO{6cYMm!wUNeu)MXNyZwkYF2st^+az*PJ-; z`RBlZg!zjesyRPV!G@Wp3*2gC422N?cU-U;Ue;}l2%z|U56S#h8^9uR2{q@2Qcqc0 zS{5Ja1lUJM2!v+)p96q@AchHBfO>`FQ<0Perex#5i`a3n?`e8w7=;3Cx#p2!yzR`y z=PV%0LjYoR_YO(}-xUcs53lx2zs4=vF4_O@{Ir>$z)ySkFZa{_+z0w!%=nLCM#QB) z4lvN`&{Db}Hu`=RFrw(pf9AU?z7|wRG_FeRb`ZD6&PlpE0Sjk)Q)x928kBXX-WR3d3Ndh<3~&;`f3 z4wW4tx3#*@nZ9f=WOOF7Iznmn*{-2AOg53%7_xZqX?l9{EpVw28@T5jFaFJXKMP<5?w(IR6Jn2zO1AGHg&dVQA$;|Z zr$m=0&eGC?=K1dAxqdugr26^iSPefyBGYTIArgePpyPh%$%|B*!bl2=G%W$Sn~VKe z$n9A+#2}xM0Tp5L>v8B;GVNll1R;DeLP3oQ%~}kZ94OS?1Z?yOH97+bRROpd^um&r zBk_MMqxHGxN9k@zs4>pwpm}7RPwe`CjPqMDNX`;UzqTSPEtk-(zDe!NjaXHpZ3{5W zz(X7l5FRWB3I|}=pgib|Nb{?WVMplEz%78*tEQS@SLQZeI%& z!-$h-KBI(agQ)6r>~?k86eCZE7!iiQ%NE?Y5tpFN>UOIm_@{sG)>zZwVaseAsT z&*&)zG4hd$lGkU@hiVrLx&ghGGMpa1&>vlr@Tc*W#iuuz@G+QSFb>*bC)R7NTN?;; zE*0XTW^mpLI2|r1SGg+gM0J2C!3fv`Lv`5@gDOQ=2)ZD@Vn0+MJpn%0QXB##K+$)s zeY>W=2QqP+7&l@;xl79zez~PO^XUq{Ds0Xe??HbiSdW#G_RimB%|F;=w1gBq;vkFgO~Qc@x|YH_y)if-}#XczNgu@Hj0 z<%)(+SeD&CTv@%%BU>vTo}79tGAs*Uv;2$v{CW~3?+nYr12FSt2|rzO1zS?Sbo!kc z+)mK^+H%Ik&1oz0sITy8t6GOFd_6+V))SzAL5#jR!@S!d58!CrD zYF23H^NUB3h|Ft5W(q92Z%6P}l_ANX zc8BnobRlm7M-wXYnORmJo~w&f2FvXTwL#oouQxAJM8$sP>J6_qf#I3~g3laYEBlwD zq4vx3p{9q?pDkM}Eb{=o$z6qw;1>L|H);+`jeu(nF8s5XjZ*{h?x3W@;iZ*k3WZO@ z9U45?`d7tQwqK!Gd^*#Q2#ck>5FiHVa3t%NFUA;?CvPK%fIg)OC6fg{B_W5@oTAIl zqmiEVGzhR?Ius41gpat6BIE|6Igm4EP8*!_1M40PI@|W=7k%;-Eb?U`@hF)ch~F4U zz8oS=_{lgir%_u2L8g1zti9&!m)pb+r?e_VmF}&B$sy#DrA6Mxz;R?gLHhIl{vd_o z*i#aKNE`$lA3hC2`JB_7c(F1ocy@BNj?fEfe)@|vBghQUkNmVoe0z;VNN|^DtsHwO zm0Ask&<=FBf=NW?3@lwv-FIv|bY0|oV;wE)V0Kl<0!j%Id^?%@Bk0-N#zwJQXJ+z|Mq*3VW#rE1QaC2pI@@$<0DA>K~J|kNJPo4=(p@d(= zy+je^Ca5;wy?fVD==VU6D!#l;&*(ix6%6g+dC;iV2*JT+O-Ah$%q{Ni9?;5%oF`R} z8nu#7^LunH3h_?Oh3WUns!|ifaGyi6Z~DD4)w(pW3gUH9etvMMkRyP+KoB*{4mo%` z)PoJGQYbj4P?oKR`&TxFL3u7;LKZH4)lm{lQ2)c9gA>Fh_rF^!YnG^)h z2@!mrY6FGRtsr&?mc*)Ud4o_(*RO0+-%EzJth8C2jG1Yrmu;hWc^bfVgK`Rmg6?~v z-)qf021$WBB;m#NYCU8gQx&YaWyu9Qt~d?@$N$q$Yx+P5`6e=u(g6bQr@1sgrHHP0 z!IZ2^)Zhv%ad{1XWdg|az{7eaibEV4bevlr$LfTTm#=z32!#$9X(*qbL3GTTys@0+ z8(^@AzFP+J*HNJ&h%-*$pSklI)7FLTKh6p&L!y|KT`ON3rP@b4UJutfSr6w6gQ-=!7eFq$ zwm(}sIoPu}`67shk3wY=SH;MW!0Nihe^U;~BX~*0{m~ZL;#z^10N(Rz<|jgR>d^UT z6cwq%cfsql@qN25ttB8?z*tjJuR|e_kQ_K~@LlZCy(nLJX9xH@;8?w+qy=a` zqr?ypdgg$vIUwTN#zP>B%?9G(pwjJq2B3@s{_Q0Ihadp6(K?Un9S)ZO>pRCIUZfdR z*hH*)9{M^PH8~C^3-*n&Yx`z^`^R2&pnm!g^h!x0(#M7*NQn&jV)Z?Tq#ZGqp8BGJ zL%#$hb0HCWvM>duDpplhg>1kutA3u&&Ho+uHAL>IJtY};&Grj-cFRc;%pKk*Gg zV*r{euQ3MbiFx#L8d$=GflZ%XT01kng^n$iqYo?c85QK0u-w!H!40)EX{w@lC$P=R zPcMI+qHtgb2;hmwY6baP0-6LQ(xFj&k_J5sJ2X_5D?8r3Os$O9&8pUyPTUIbxJ;iQ z@Jwz~(-t0==;nN$^|g;S_8j^pv>N5a=-SB|asQpPsgRjLF+kw!u&Nr!u2Nyt_;8r0 zDwU*eXcO0O<~P>*dUk%cF(e9o2;5VF+!-nOQci~q(50g8HXl}xR*@e|9LAbg@UVeR z7+43D5b%h~S>#86!PcEL$`>+obeh?z0{)eCF|*<>gO6EP7zI5t^OY82C4E3h-f}xy zHZyorIXj3e3AQ2w;LtN%;dJ}DOZHxjH97|nXCGZ|02s+WJ&U6iG zo4Oxd>BL@X_adzUUMV#@`v7Whv+PUy$Yhf*nRulNZH!+|W6&MD>LCrpH&$joblVWhQu!{Wt?HI=Z<#q~T<0O93D zBtwce1n7?*nOQgxXIw&R%iONy+@c(_cC2oe1$nh9&_)ysEuZPWw1h3l-%aG+Q^X%b zON1c69S5Ia3qP_P$UrhQy5NNcJ+jO{D5Smudm;Yf?SFv${2Q7SvBY=&@`KZ<>5swf P$1r_eBV6W@3xEATPcbu- diff --git a/benchmarks/benchmark-plots/plot-perf-smart-throughput-selectbarplot.png b/benchmarks/benchmark-plots/plot-perf-smart-throughput-selectbarplot.png index 67101a4a04a2171a6ce497522eb8808e0e1f4fef..df7fa22acdb8f7759c5b263b50771e2003b4d783 100644 GIT binary patch literal 12889 zcmeHuXH->L)-9H;R;fr?1{4L_5>zCKmF}>W4!UYh7RQ3bN1P1@4e=lYtB{I)KreJuH;zB z!otEzIeJioh2;kt{{Hgga(vQoyl*#tNIM-m>2$)@%*pk%gDH#hX(u~tTPJIaGkrHTqk3GEU1>p3SUJ4YE|VVnPTfsn0(xv+RtzA$r19J~YH-B<6Um zoc;w~o}u8ll(c9;X0~TRLkOo!ZSZ?-#4op4OwA@}af z>ZKV&Gmv1qEe+)Ouw7gKt|!s;cDpDdkxF9h-9#{SkH@ad+1>6cHn z`SV{M1vyp8PwkSEGmr>Zwk?~_t97Z!x)TwRIx=D>Zc%g4-rl~MW*c3ruwlc7`w}+y z^>Qua;+4ZKKR!M^(;IGUIjV)nKS&?3XkD1@4jO1LDbh|oY2VK1@9%&6`t^tF8~E>p zho^k_pvJmYN-aSp(qZuSy?cqYb`Pa364oCAIb}7qwc{TixRQ+j@{GvV4g45xsvDAV zF+w-$wRO^-%RQ(XL7 z#UW~TgQve}xb(!qgTG7IG{+VV6;|j7ufV_xA3iiLH8{F||M~0JudnCk9zJPKYY{*7 zgr(>6=WoLp8AZL1knYY=b#u!n;Unv?#k6x{vxq0(vPHBf1nW~Qt2h_zJ z^5>Y1@SOV^8yCmN%lq>Ax~15$7OX&gN=E6-g%-MXYt(p!Xi|u&;n?6n++>)nYkF{S z@YV`mUS7+_^hk20S>=7hrYCsvNPbO?#-W1;ckS6T5;I%hl+Vh_dUv9>sp;|KJ>@f9 zU1!RhTCwO_+S&u3-`rL)xAph;->_wi=hMEt7DiSJL%c!Ks^LcdG8UG^=R(fG+3(x? zB=+vrc=+()+jsArQd3e>HC`X+dC14{R=)m( z>^$I3?cCRKafi=GU%q&8uC35n#(O5GA;WmMyC3IVt!2Qeb&}qws!yZVKfSnumx9o( z24;wzef={<<8PqncB75j=(l9)H+1VG=!Vd!Wy3TE$}X33b)GS+ib@L({>8b!=8%t% z4`8{b>!rUqwN;9up{{<5hmVKnMZf*FZQEoVKEGZTEh#9d%*V&qzGW*$P*6{(YAu~? zwwkFhUWj4R8xgsNK;}rFsiF=GOj%{N$yy@8v?9wgb+(|uu`f9`_Qj~<;75^+cbI`+ zvli|L1fOv1eOLW4(}b6TdunfOKXNA|Bp!>-hn1^QHMe{I?Ag{Jej%ZBdx@#OL6;)@ zalHbF--R!CdU8gXP|eB7~hrNG}{%{t>dter72v2xbNe5Z{f6&yX0|IUqe zy(Ac0=)y>zoAWX~d-mMe=QqJVg3oZe||99T|VpPfdT6B zWH@ORp~8)|s)}jArVZ@u{79ui3NwjO?!BAK6|&7LHQe0`e);7Wr?JlzW`FGw{XA>+ zQ>PxV?ZkZjgg**YWO>Q|o^dxMWcRLJM+ww7q=sdbV@IC|=Qmq9&)nC?bDnViOPT$D zDq#MbYDO18b6@+S`Ekxt zbTTHtoWi$$MXiA?IAr|%{7S)^nwqiam#!EXuTpF*b|231B)q#qp1rZ}he{4(op9unP` zE?tU>T!TyOF1FaW-1 zMsZ;@h`?XIeRo}nrz@ofY>S?6fFsK?vMhAiQ6G#hCB5(%sN>A1E8LoTddV9F^`!C? z$6jw=`QwixZ*SsCKYjxR$ChL*epW8IlPTJ1HB%kF!|U^c>i~VZ7PYVbe55p$ZL8FS zZ3ixYsg&%{JbO0QV`?bPJlb2^b83j$>qSPYFbHg!WVBc{=UB{)JZIA~Fi4G!bZ|?&YIM3yOI}iP^4sun@+Rz`$HZxh?CaOZ+IPRQXwA2m@tjP}vuTMhTbv*E z7u+?m66~7{POjnARVA| zh_G=wfFn}gvteB}SqW-EO#b|6IXAP}DkG`5*kE*Ylwe2@m%N<#7JT2iF*Kt<-eV$h z`RYv%o;=w{=<$&tuKEDU_QWe(9!G2Am1|igTOR;QUWaFYn{1G)ajRSZ_2t!@W3i=f~1!_nh@@MTO&ierajlPoF+n*2G@x>gvj|?I_g? zW5xZ>{`#&;ZoOgVnD}2QeUm|$1#3l5stya{45C;q@&-BWCO1Qiy z)PvrGnEMr0_T;yfdKa;mOO?5HcfIfot&;D{R>w9d6@(f;YDpFE~NUE!sG{O;bp zTLVX+Tg0WvaOv{ZYAP!4mv!gG#QcVmDX<4TeYo^zOt5YxcAR-BqijJB=bdB|h3U?v z%8@c!s&b>hFHHF^>X2CHp{Q_M%hJ54E#E4IUAtb7u3NkIQwcjxm7iXBO;`&KxBTp2 zwqBpJn*RCvyv?F!yCfvEF>wxgj~s=? zIma}k5e*NYbiL9C5MuC^u22L1b}sDMPVuU{WU0dgF{Z8s=t)gW*;G?aha zw*5O*qco!xymL$|HV%<2G{XPcp*7v0Kx1)uabB@}EK1%}%zf=Net395-091QRa9D&^)VF{Z3l;}BS9F#Z>GE_e}1-OF+ENxR37I`@g&G}mRe7C4$CK-^qpaLp4|1gSh= z>e#VkTPwCmQk|N8z$nDesU?)HBk_LOvEZ<*>riS$M8qoUB2at-Cnw|9Lww^`@yVeT zOi;T@Zv4jNP@BF<3tr_;aBvLJ&)rFijLs=!9C8zdx$j&z_drv2!tym+6W>S5R+we? zR|uDBnwiDVOfpii6~ci;a50Feu%{0XXS{oNoP;G(N;6`GhYy=nr7)Xn_U_&`RE@S| zlUWRc^*huW64kd?hKU{lu^VlWBTqE#o+Q=&|0dyI24LKbO-|mOW>};RTB~Jmp9vx! znP=OQS84K`pzILRXadkZ*Q#+~sAyRG`0*Ro65*1)WIDR{`TE+ZQ-5oQP*OqG)T7DT&!_xXmqqQB(|67Ls^!$paBNsmH%qmzfHwxDD*Ctq{3JVK2LTZrPyB>GhN#oV-+*yD3?%n#6zB3aR zaj~&(X9?zaI^d=d)5s~MttfdOb#|T#T1{$UgEgT;j{Fosy_}nsX16QNPB=N`oaofn z(n?BAJ$@oVh52Xl4s0>42ziqwpd2Nq3;w@y9ZdqAb<7KirLRTv6Jyie?&=rL9OAL!#bi@cq+7)2NYdB>hrk0xa zX=-U1R_`O@^niMdkB>)&R7FTX`h%c@vU6=&P3{TBMwEC?anL=O194D^1Pu!{f$S5n zPvKj?BDqOsQFV3o+saC2T`f5^RL9wOHl*swGSx-y)I_w##Kg!+Y{GY)LbUEY_winF z1vO}GzyA7b>jNgILK?&97h(oO95let2-6=uIk-GD)Wo(4xs{7}-R#a(d#or2QV* z()=@_&dE$^SW1?oPzB^s)sH zBsnEg_jD{wO4`2r#`In=L}@4`Y5)nj;C~5B9E>`Ys^XS)yMkDWxRw7LmmE5D=)RQw znE)n9%%B^8cM9_JrM%}x%f%apKV}|)s+Mx(k9}wfDo4Jg<3CPz7&7|xpZbAg=_PldlwEQI^@4GNhiYyrvZm< z{FMP2p#{$iHTKaZ^3VKK$MD|;Fb*`16Z4e-u6wetPP$R_Bx(82H zZ43+z(-6%3d-kXikrYCKxaXub<74LY?xo~(v3E^|wdfeRAG&t!THxcmvCCOG&VerJ zm3ZU={kVMRMmby|hqJI0S2FTR&L{=3=b)F(jVWnqX;FeXB&qLgp5l8odTXh`r-j+! z#yfl`#BAH;n8*&$funsF3Q+2b+jkwLXg~)-`?T!R@4xSompAP2 zT`VDrz(G;7cOP&bc`4wz9Af8gn(riNBJ`Az&m15Brd#+fc%jHW7JOgasy9cq$b}&% z%85%lm!mxC^Vyt>fBOj+aMFMj?DLO5HX8eSA6iPHH56f|eEhhRo`PfVjj{1@Cgy9^ z`z|c%{x|dvZ?Tt!95|l7_?&y;L8Pp!(da(h1<06Hpt0|D8#z_-wKqJ<<69E7;qq^h zYlS&0EhnO0@ zAq^FN0wUSXQiwdnhFZ>ec4<|K$oEqsL|591aG02Ev9(%Un9pjmE*vVPi&=l%13l8+ zLxJ34id!I?5?RI@3}v9TAR8hw6q^le*FKzT_f$pFnRpdJF6Axorv1J%%I!CNRF`Q| zo@3Q0)YI2T|5E+v`i&cP>r~}F1#IT5si`@e-4s!J^jVew@6Me>e^9#B0S?z%x zwC)BfEn0GG#oM=a$mv0=olEPq;7RoP3#eOK-qt=0}sDex&q$1fDCj(cgR*bF&!x3=qDE=pW9B2mR$c{cNddzt>wM^qRtMQxrJfdWr*>D5&`9(3M2SawVN?RdUiaYimPt(giCL$uze(%k; zJ$oL%5`pED453}7Vdp=Q^)ucBE&U418Tlo{rL#`p7|z4(hJ;|<-k}_k7cFJ~%;b5& znTAx|-NM2;zx{SWB}y(y!F%Q$&IoF^)Nkjr(-T3FWm-|Z=Q2Idwqq#AI=hK@P>@@r z-{D>T3ZFCbBgHI&|6o@4TI~5L_4V~28#kduXd&t3r1>r`{4J-<_9sMJ&P|U(q`WFn z;m~ZB-2^t#llcjI%Hj&{11_V51)2cy;u8=Uj4=)&-_+rJPr{C=*!koS1kNN&7Y!PHic`tHgZgU&w`@ z!R=5Q0}52Q{~9jmp4C0&*fPCuGrseB6PGWzYuCsm0h%Wp9Qmj%G}{am+;kW%pRH_g zrq#>~=FVrqB7ua^8vX~#L`BiVE`fVkoCEY}KXk7mdV*SL0h4zPXin(r)^$5o4F2Rz z{L~W~8td1u|C~l5&yT-L`&%hs)0{Kf@JIIidS5@C2Dsj5Sl;#vE;_Y3R9Go7J$PvPTzhKK*-ll)so>wi-w{dX>dWg!6t9_&{eqB7A;P(Tm~MCBjb6=EXTNv|Z8 zavP*|F3&*`g1WH$>YB36H*j-jaQn_x|DWxOhZ!sK??G|uuyC)uFK$^IA22pHR#)ch zixi5oz+z$UD~Gg0EDw?VSN`-<^$e5F1gu3(xdU-E)zv?p6cQ9M)m6im_-Zv>W z_F(Y(ty={skipg9Gjw%#bIyKbxUg>8vrk%Dn%yhv@36U8mK3d)hf1#L!>qn@C)Q_v zh7TnAyMBTv+BZwWrpRP?^}dfx0d|*HA$=B0e!ELK5}cAn;7?E$p>iF`?B>)2u?f0yL-X9Z#J!@Tob=uN{C6WG(>{Lu*v!R_p%t_fgq7R| zGs|;)<~>Tr-^&6EogyBxu3SlQ6Z!lOit)NSO(Z>1R6`npa{2*8(_4=C{+9ZYfh}4o z+LU0-BBCKfH~TP~+=w5K#XrT_9t+I0)5=+fDp*nYSpg*P&6_unDkc~9VZ6lJfr)Qy z-B0!^@f$W>B-XH>$bWwM|8@;-Tx+?@ud^HOS-=)a?W!nwCeHV)2M8*;+K!MZdK~Lk5b9)@fB|ku~#x-jGH?Fpz&{7WDdx%Yb;%0iuq#hC7)~;Pk zM9GXJNbCCqEx*v0q-%nZ06)ac-)~J|qJDV$=8g2Q2?W3INWsT2q1hMf7WB3HvrQgNejO{(cImxQ6&TRmS25L`G`2WHd?lSRBiX5w6iNc+k!C@I78=t&Q6|bRHCU)I2UO?)ufMAAmS@ zsk)-ZK}#==8Xd6tRC2lbnI~fmWD=wC$;r*3Z(}y!rat-Z+}xaHM4aGvKXYqQn@~~P zP)<5Th<1+Za{$iyPJS-7*TQ?k;-j4J&>V)tG}#C&I$QROq6jqM&s2 zM@d-x&Q;8XcWFFu6Z=stp{_2equCl0QI%K>Aj97B9JtK#)>?a6vv->~6@3gKAZeUF z{Sa+0AT&F2Z9CcSiEjyyH&eswve+TDexXdB~CRG zR>0Etj~zQ&guJKrs*M6_kb3TmS;SbS7aS&!a(2$mIC4OK3f(*XQJzEU=(s`Y+U_%J zlfZzuSqF9<2gl-#S+>R0P@6*7I%dbqb}RGu5!I+N>(lflp^$3AW`NugLtLs3)*Bvl z4c~P6kta(D*HV=1@XEHmEdHbYDw=?9)N8PFvDpWt#Q-Ng|C_u_n zZ!2;o)wfXoe26}^8cv&W#qFnJ?4B8s3f_9CRcna93z5nK>Yt3;$OBTNT%@RX7!Fj4 zQ%JoF;et~!9Ax?BPnBn1cvICq7rs{c4uDwJ1q z+-;)=SFXb{Hg)co*==2I;p3E&!(sp^joCwb3KB4d9b>(gReW(XO}%d=_2U#Xu$8jU=aeZN*1lMLs~ zXx1un9o7b5JbV5eePukxK`U6epayRafG`azuUFs@mr;KH{Hq(AyQk%m%S$|%8ncrO zCYI3R^Xpp*5ve}gF>08oxg|OTIAmQ?d6FOs6M~Og4vFfO6!d|^L0oAUF8lz!B_KO5 zal`4;r!6~5OQ1LL8wY7*tfkpiKv=1NaDF_l85Tk7%GG`%?=LZQjJ@MhQw50C*|`0a zP8ag542rsE&z^b7A1gVG1)6Gg4B9AclnO;B33}Aqswy40E<04C2IsC?&&G$-{sh>P~Zwi+aTU(U;=Ne0~N^#^IT$IR#uh(McikH^8K^AA*N}%*}cUr>_P@# zY75jC4F*fJ)zs|TZGuzr{>DLp9=&IVb88b+^?}3MkUIn+S z7}e6>Moc}obyK8;>R(TietN{{MM8K-FPHY3evIIE8E$7VP25jFxcFt=I&b;qejdN) zFB?f2d$N@6wOKZx;7vz|F^oD6DZ2+o-b^hm9Uad>DeQ(84!BinRb?d+6uL6Ik1CeL zg9gi{`Cq-N_8rvZJW`Fpc0wx6Y5{+d4a3+aa3F-;^#DS_d zW|kx;A3G6$T>THw#qFe|bh1`eQE4c2rcb<=9hM5jh?C<+AvZxw!>NT7NDGLT`=aK7 zC*GC6eA$0(XVeEY-GP&*qLHw?mAw`cCoyNy9`*FlR8ie1bjBmf5mM?phR$~pDig4| zN?$pmpA#6NYuS>QM#KYB>LZLpBi262SOHfpm|8aPLL>s9{2dJE?`2$UWAaBbaA9ts?~5AdwhT3Zd!+h>8eADf!ev9?ZyBtd#1lO8`-Ll=X`KvIH` z+aQb%(glddfcl%;4iM?1Tm*iRGqYZY&TKSpT%7M%><=@Kszw*Z#0)({DVX#h;+AH6 zi9(E&nVBgbILe@PSiZiwZJ@1)Mw}7ETK`=gqiR^reK{Riyt*8V6W)_e=FrlJ(Q+p& z%>9k8PnF_gal6;JGTOVMT#NY2qop0=5qJ{~`nDEOI*2=lw~L7Cd%A+V4rWsf>lTS~ zID`oHJCJW<(E&OTEc(Or-N!7QI%jKQDGepi0^4m&Ufswf)Cq!<6~a*)Cna@pVX91J z)(KwWOgH!9IRy2x<;(SOsN{zo5#F!h#Uy7!V47@LC0yKjGUTk_$;VGJ4Yak*VBT9H zR@l8*;a@k{`izJBm&OCLl!EU@N84f`9Q!JwND@WmV;`IE^hM`-EgfAXgb-8R2EQds zQ&DM2%d2AMX{Z>D?LscCV%J0Vq@j=LRUoHTo6jr*muma?l=8koVzBFA#C{Ybcsc6JPIpK z7>6cp@G(!zKn{%v7lVP>LMmDBu|DrCWnE7&Yy zp?&LKNCbqzEGmR;FE1g=l09;MFA$o@y}NhU&^mlbQsP6OF`^{n@*2)$;Ki}vq2h5B zCZk0M9pjBFxV;|WCqMe3z&}4=ceHS9%DH_Fpt3chr*PuU&gfl|k~-iiX|d5m*VVA^ zgh^fD_W6L*DQwjMf6oGZZKm@go6|_=e);){T5*LO(ws?@gB5GGen3Cf1N2VRxkbSk zgGzs#wC%vNN|0T zqc75R>taz0NHgX!&{0+ff|B~>%Q?cakm|J2`-5ZPG&gNea2q>I`Yi~P19Va}fUEH; zk;x(^uM(j+0^iC~brHPDSS!nS_e2J26M_P{6^EQQ>I8H7OrLfhYSkqq4Y0(-Qeq8o zlAr}C&%j%#M`IXiZ9x_)_{=C0Dn|#JmBEhAx1+E>lhLMQh5vz|5V}WwhOr`QnA(1K zB#lSd#Q}_^iB%VeYeH}qrPRnYokdNtNkB))iIf@xOWyxq5+WD5EnaQnIWQzbgiaR9 MA(eyazn!}9Uki#?*8l(j literal 11683 zcmeHtcUaTuw(budWzQ%g7C>nVgQzqSkPa5gFrcVNlcpd|AP{_e;rJVV0I26i_2(R04v$R5eQ~3Sg0M1AlM`#xUWt z=&!(iqkJC>Q{HH9eCSj}7P~+CdPiu@+;Z32vzXNJA;P9GoCEM2>CRo46> z{|ie=;hUa)>d_Irh{B34H-ceqjZv|)V@we#civK^u~Z4eb_g_mX8?O^7sIc^4(_Ka zW7w;W@c7>!>05-SQHLxj5C5T3TBAawupbb8zuqGheCk&Ye55uV25u z6FSp!k&_=YbVJX-$u%iklx25t&FOEXwJIk4st^ zErrDJr*c)>X#&_SjJtOlqnG*hl-@5aO!{fHU?)y-@7@Id5|36LImJM0tyw2Z?R?}o zDrs$ND{2tUO@agP*TQK93`k~b1r)`)SX*!A)bem4!>v1ms+?ZL?#8e%^E8i=xTS^N zut(3PO2WjUYsqvtN+NOho;?rBYVO|s-nP*GM6_jNnzDP{5|{odL)dj0zw20*II|(S zfE6!*d3zVwK1#T_LD!qY%k=Au8y>VfS*FCJc63}=Nu=P4y*2l4>^>1cHrox z9u{x1^+*Stth7J;;@x(~B-`D#*hQ+ihTFS=DT-at*cvhv_TrMzM5kjwhoNhwpM#Q1 zwRSHlK*sq=NIbf>U%uUZr@C7Ibz`IZ^IyJgyLU8GT*Ldgv2nR?mr4;VGuNP1Ds`+(4wx@*oPk(-=;Mttzz&f4CiRDC>bh$*=d!##yW*+cQcxPo~ARYPfH}8S! z$UK5HhJ9D?s*hE91+H6+-CL3P@ZsJrbOwj?=)Om}HyttTWjc8cwqqLu9`PIze!jXB zCxHEM>3@Ft-|0Y1ucgpu2MIRWDJ2*I? zm)5Qq-&kD7j}pj-o18etJSLM}w-rgm%a-tc4YmW>(|2dwC z1qMM3-8QGOWtQh?H9U4nll zpKjceW8mIf?o)ziHe?vaM*Wm8h}|mD{7g2O|9H)vJJwSY^7$>17%_Cijxo>5O$~0= zQIM5QQ+5=+apQ(s;QOb&U0b$pHCg5_xkDh+V+WfuwP;U5M@RHAtb2-WGb|8xuKoUr z6E-$mFU!P5Xao%CKP)I<7E#6%RAWC|h=`nUaM&gyA}=o=>SA~DBM~;~S4g4RPDdWRi22#=O*G7pCpWfoCl<4=D4QMtnI)URxH~NyUy8ndU+F z&#hGzGFD1bwQMCT! zt82`gzD4mwVHGoR!jT8$Hlo$_RI@ z(d8TeX*`GH!LXY-T`D!@t#YlzDE?&nuhIe|$^XHMrq@#Gq`^47+QlJNv&$Q#?i|fL zfFCQNHT=A0-T7HB2hputx1Ipf0hKpJVD(z+XmOp(Q=kUBukVr~`F0g0UpuC|=XANZ zNQ?fIC9FY+=furYN`Q=XN~;5AW#~r+S!U~Merm~;fgHhq`rWGms{A@FZ46t}c9#(U zqCb34DqAl+1z>?3=Gax_?7N)h;b8gue))zJDT#EaAai45l;uDE_@mpx^k+OUKrQY| z4BK-2noCvef)BUq`La0*+H41p`i)N;F8Lv4N}{+`a`T2y9i5m#>S^?ZB31h z&CSiTyKY>+-agLL-mGveDU99QVF(6C0#-1k3Z~1gmoZ$yAvlv0E-uoWcUckvU#PbZUHncTSbp*&C^7L0IpV2C z{D`D&>bn|JWn}uFgeLB>zDK=b=i(6k=HF*Q+kg_T$&$n_9QJ;Tmk_}ZM6&85S=pri zr79<2etUuW-I=%q^ve7-?~THL?=FTllZ2Jm!1<^PkVVXFnORVV}*InqE`WXzn zQe4dp8w67EN$_>4Qetzq9t|#S#D5>~NxK2Oo>z00ZcC=7uc)A8;6cf-?z2ErBkQC< z%w<;lmJ^owLTZ8-Hdg6;`g|-iSqssSWO<7;W0my87s5vRIP!-}+KXRaj7A&6LHa}v zDu1x6Tdrod~vfo$}HIv|;qO(g>#Yx;uCN^YoGQG}^xDAdn|6@&%UeL#v;_9B3 zNis&Y&0IZBwYq8Y_O0nIQ9d<7@TK!FqlYR>OZTr8macB%suJcKfh#zu9udHv7QNKN z2?BK@%)OAQ?BOHv#xk6(irNMOJj`SuUEV41*&4O;?f2~;pE(r6Ez3TM>%2*9+ zI}RXHe$cwYqK( zfELw5QY2yhF9-D}U&`S-Z0t0tz>^*~PS$=31389L^->1Jd6>ljp4U+vr+LpRcVJ@~ zR193tgT_s!N#ZAXEZ9uMmuG@Z0-r@-WVolqLlm~_giU^YHKVr^?&@xK!q@PM13Wi1 zrur7w*m_Z9R90iRu7vHyvEKatt`#hVr?@E#NeuhJbbz#qGRH_X;!a+4QW1M}x+3Al z20f*(8yU6=fgjp1Aw4H5xKf-*7t;70laUkK6r%msiJordG#^Efou<%KT) z%H^42LNbVUBGJ3!;SKuF0$A(tWUbPNhXq9m@bCw46n3Td1a-4qdSiVqe>xw*^m=K1 zZCTk*&Dj!WQlY2*y6Nz~I8O9nBB=Qc4WE;XgUd^<#>UsLU#BXQ`Zl4x5{V$w8yvi{ zZR)PA!k#KX7=jL$cBiEzm$=g!fDp>c-tnhbhNgT5P+qcxD2{~p7>x|(i2^0u!y&Uf zAJI1u?8gEKJUUM38-TRE0BOJivssQLTr%Q^=q2(@r{k!v3M8rH06rQ{jWEWQ;eWY2 zG1;if;eG{?+7>o9E0)_cG3vVfq;_BfK!$#BH`nQ;LUpF_VrwhqA2=Jd1@KsH|b=azJ|5>#(vm2h=TvO%J!p z0rUVSnzEX+nGf=F5{?KPl<)lX4R*om`fUFu+>_7uw5MB-AjV!2_~AK%#6qX4{fJ+q zYJB7kK&hTQ=LQ`Jc0;0Stv##K70Gi>3`-9Wb+BVJ5Rfjl+76ePkl+TuO!pgneD+8= zSSv12Q7$u667~6ym!(RuBZLSj3dNiP5B=>s$V<*mN8?Iy58xM5=x1IrDQ4qUb~r zk_u_cK{j5mW>x~TcOfjz>{eA3D+kQk6X~4R3QQh;PK90N-~J>3drX_vBwgEeG{G^T zM$;vlU2!P`?k~(?V76)rP*V~WJC~X$6M%_4C>x>NI=I7`1CYTV5O1$l;rwsC zdc`v&fjmQBR#6jz~toQKPkUegO!) z2FR3Z!0iSPFf{JM7}VhhOH-G5iwC!1*stZ*cnaL*r5pso^kenxXM!@4T~5JAW0rY? zsSF0=QqH&V%By3`2YbqW-noGVBcua+981eip%a#W6~eIA_K%^8`|2LUuI?!nyE0m# zxLU363m=RPC#^*xa>K4KMM6sjJgKhZD}eh-5myXqak#t0{YcX)I82ZH;;PUZ&>2Uw zDe@3+Nw7Fz@z1VT_u&~-*ti-PioO00X;6MmuHU#}GTQmb{pkgP32^ena6mM^+g0rN z)7H0(^HWTCfFvl4_nNup*LERA=nl$Ljlf?-HkW#fzItb|tLrVmy4}|eWN})4-5c#( zB0Uy|&5RO&&J>45r+KJ(yuL237v|>_^h&<1%&R5ifd6T~KC&8=jIT`n7x-iyf2NpL z#mbTJ%EFswvmtmAK|UfgfL#fEYk07Z@CFc!!XbgP2n5DC8-gynwi>s__Alz5Z-~FH z6KjC|l6vg^lNw+zDv8GkAf0F;h(wWw}dAkUSOrO#adV z4~I1Nmrf7xS>wSR?WH}mDH!qhg!9M;iL7G(cn6A1g{;8C>`DYKOB{lXb^ftrt$_$R zFk7FoA?nyjWdEZm|F9NB`Hq{@ui2mTbEOH8g67Z+Y-f8Q;uxV`5qi! zcUZonxaX^Fs0AX#?yE4~RTJdsSn7XKpF%GP9be3(1i$S*V)xr3I-7o zNV+#jp!MSWb|9Qzb#y&;a3^?ZAa8LoOQWu-sM2^g-Q3ElTaH^Vsl5+abWN}OuA?`% zTvM=00c#v3SzdX$Mzj9Z8~eJrSOEnH?~TYT(3_+W@++ICpd@SShK-4@6ICKwAJdVC z`h^r1Y=;TjAf8ABon!)1)iT%6ps0?&kowh%`_z=_n_KKiD*9juWFz?=WE`IYSqNNd zur}7%Sjn+cX|JN9`}?OqRnYzyCoeaCvw|toK{Dtux}QN?U`w=RpQnSUoM{sAnw6nW z6n6}SDgZjTcqdPuWOV~^>W!800(J*}pA8Rn23`nlzz*j5yiJ#nX&2J!+lZ=x{_^4! zeXJ3XKF7<|#EAPGmrh zMgGc(6K!8s16}dmWS=5)AipfWUa{1?+i9U zeksM1V}aec&wcrz7B<$6m~6~=aBgB*i=iI)Iu65a80KwkPGut#xYxHhxj1g708bS$ zqk<=YCz#cYht{T8lm=*=HkV(e&xHH;l*%I|ooAL>R2B8%Rz*v} z!-ul6Zm=7Q#tWV%hx2x{Tb(^Jd)IKWAj;xd^HHYa$8i4_osZV&X(bn58LXJemMPIc;G<*upnfhVLGk^wMF^N+#MS(3f%h+~fvpMcm-F!fpYFEVduz84 zitCoBZw!?eYfRm%_(lD3iO^H!d>O2V#o~6SH+Dqkc=Q~g8)`tmP+ZN;m_3DL>ui5` z-jT~2=&?efe`^$?P9ykQqEV8YK2c2FC!F(2=8D)il^PL`2M4n91(Q2R?k6lS1v2?Fxq^q+S&lyfIeSC3?JwkOwzCpR!CosWZh6#A`zj&nCgFKR;d z`Lgr>Xo+7<|GzYiwnS-g1ONR-IZZlR$#8kTg$95m1K1_1>f&@or)P>iOsNEwAg+1- zlq3XX$?QP18JH(X^@30#Y{8x3+UHKs_9EN@Z=#tAgw5~lrK3c$yei_v`d^-|Rtp_z zN0P?!rp6xNGC5>eWSznGX!NftlKVi?`p5Z58`Vx_b2KK;-SspZtbis-!}DL)f#@7x zp^xsV2BH?}D#`0q$hWX-rTM(ObzQQu&AOw7_BBzVY$otG9QE6G*Qv2MAAQ0iQ-=9` zooZ5Wi-DG`EOOtB;PIGn^eSJ@jeTx5+#4^$&5CwKNh;1yG#ZHCGp_Mn66fCMkib<<)@aMWc*Air2?mZ-Z1 zIk3`xFq-Z^e3*a?v72BAfP6wtpZfIL=|2vqu075H5>BWeZp%YDs|~{RaOx2^^d#iz zw_lxGkH)lmsqj9L{OqvPO7@SR2B^}77-`k|&~{#-(x_G;p8_?qQF-$4@K8JV^2*^< z!Q%myxc=>SPIwb&E>Z!Q?1u3_w8C+@@K`wp(Wab%niX$2KPPIhO4Y}!tBzHAZ63Q2d7xKvzT+X% zjY+i?Ao+%(UFSf+H0T2&k@)uQNh2Rim#}GPMVNO`jhjeB4#FH~na{ZoKJUuh17bSJ z3pnmxCfM5+{s{bB#K~Rfo{Qaq7%qvKpCq#@>27GM1l$Gk1#5*J7xfEal7RvOw+v$F z9GC#FQ5)9}+NM2#y(@X36a49%NJ$fFAUdRZ^uYBmmhg~U@^f=jju%8ETx;xDE%7Cs zhxKq<&xn7o$E=V$n&+2Sg~+riW7n#tu=HzdQ(<>98{c2N!6F^67FS z&^GOf3k^F@z6kWQQs*5B5QJSjjz%7>GTsT8?u3cxeunall=%gc{6U1n@wo1+nsMTo( z(>DT+U1GWq`Ol!;?;UCp5kX!O62dTwQShtpN?A>J$~82JPs+K^K78Y)QI2Os!}cPW|3u4AB=d(!R$u zRoYqM6Y{Z<%Y_=bXh;Phsv?;4L#njF$}!Oc>S8a`V&BdWf@Tocj|dzCF3|>(VQxIU zj?xqjaV>9}BDqaaI^xV2Kp!HV5dhbQc+>aqU;xXQ>XV->ii~(vD`aIsHy~_<`i_t{ z1x*;iWRnckv8ZaOq+oO$>_9Me7`?j2b;Uqz+kmHLCu{vTM^av*&1;i>MGj^_CH4ac` zaPgBC6FyhqoD9xZ==5k;KxS|?_#1dwgo=7h#nqEP_Ce{NXgwlaPpVsD>(YQt23NIBRv?@7_DxBT~ zk!AJRkQm6CF>;jfuKtUY&>tnh={C zv8&r|wDj2uO->OlRBJRg7)-ZTx2%|c{7B@ufS`u%$x(JCMDLC`sQolBmXLi{0(;Zu zcDqmM(yq!|+zA-0t;kiCW!$}XECIFdP?8P5{iE?fnXxfs(t~Cty-9WeK`%v{K}3oR zrF`*Ju`}gBrC-k`!23u2Py=`n$!6>+@U%?RJlenj)aBHmfjT~6m0=B4`RQ^14BQ|M zNt}Bhbm3UGZtU1hmdwDK+c1lW+96g3Gp9hGtK(VO;n2ucXD|{~n@6hwLhn!M1LYm4 z`T(OgCVfGT$`k#ZI4wjZq3MZ-?5D!xU+>Z}+&(VT&;2kT=9y*{1d!H%n#4fuQ^0WE zT|7mYV@W*#w-yQv4f^nRU~{2dHqs87a#sxT>o$tC81noU=UWIVj<_m$Sy_a9Xm}7X zND;Wwlm4zy&VT`G4wCwUEMh)exF#UqU7F$WRGmlp6d3ff?Yyu26p}r>-`S6s4YG7UVPeOdA zArfIfdgEkNb|D|BD-F5KZ9gQ+>|SjcdH_ZiQTKsM51;`%M00oe55I~vK&*;g6hysi z^=553bYiF*u?X0f2-I$65E4F;n(i8>gQi@x`T~#W&-Mi)w>kno@5W!8NAk&-Dj048 zeY_)Yat!qNa6k>vJP!BiM4c=b7{Z)``w&Ac6gKFdDbqUwK5zBHNCC2OsEA>9L$l!k zM;(p?xfXp9%;X8kZOxnrMm*y5?o^@(P@Scvf?F^@iPVD8+%w@x-DO~Ln_;ZazYon9 zK{GIdUD3rDDJU*dcSKAPSY^_)i-I&nf|2<;KgFVt8D4-Ek6hR^#0lOkf?^Q)W+R%HA1!4h|DjgA|Gg8K(NU@>< zBE1(uKo|y4no{p?lao{K`p&uQ`|i1G-9OG+n8}oPzx&;LKhN_k&kaTSQ>?4lSFy0L zu*#l3uFS%+l#YKt|F9gNG@R|t;D7i^7K&Rwv#wy?6dFul0l(a6@$ z)QWPDUyT0%-}cM)_SSY10s@wQ{QvymN#oV&&hpJ?Nh&*9BEM7HmZ2UVsI0;redC#*SKBgu0s`{)+~#S z31D;=NwPN|NVQ# ziIGl&B>8CDp`d&BlF60k4e8a7En8KUmE)gYU6GcZo&8XsY@FH3NF%LKs_z}{$jXQ0 zhsS)^hK!GCwT_Nj^X%GX)>jc8=qW9?_2-}CPu$u#@WGc$T}kP#_G60_4FeCg2Pgdk zxjh!5aK_bp>`i&O%8?_#b@%jeFoqlprzaRm%vL&s z3?nb^FCQz-%vEr9&bxT=Vy?%`egZYHDf{Hr>}EM6LKEEBlHzeb2(; zEq75XR6bfF5mT#AbDF=!W@g#8asB$!fk%%XjcV|{cJ0&ayF2|o*o7{~8COQAwe}D7 zRPpTJe~y=zmosKFCe?w}5!7?(4e4*!H}9EDH;9#`@iF2}Gz1=34K?S41P6cAZ9es&_uuuZuTq+PG2T zU7wGSPilPp(cKC$_7ZM7nwrT?O-*Cc^ma;EJB9kVST<X1x3*&rRjI? z-d)AYs^;kU*ii4piR+Ik?Snrw4!0MUcXoD~#?H>VdwlB++jLt8)4um6$%G;aPy3W%~Yfs*|apTOnb84!p!SV6&!4VOu-rg*J9FppR>({SOz)c4} zmvL!~^;K@zwk>^kjPp^w0{dzvy>mD%3@ggQ_1Uy-xGi6W-e!Bt@Y|5XqjkH^zJD9C zPuTF)8k{WN9XpQTfmEsbMY$KAFHbVxALBMGUQabJ*m=rdRZA_3dQIP+46sIUyo;#$b2 zW_8JTySuw{tvaQ-LSkYvU*6he{w9#e-=n6s zHstQz`|0U?%%-ek_wU~y>?|okZs~pg24}QuHBExD@HxQi({SNPL$p&ziX*dSV5(%H z2#Jhl*Do(C6HBYCsHkhpw-a{%YW?!Xi_7(?YJ2zZuOF;W^Ef1h8JKBj__s=XOkeJK zzeQed~+0nmWKtRLBCaad5=E36W zV$QCk#_yt1;^TjD7_5^;oTa9x*FC$wTG+T^v#c^wD>pAU_lp6W9XobN*nWKN5-a*g z!t2<&4I@Y^rB$^RPqvs(GYl3|>(eyMQ8Kh?W+C&VzA|LW@-xjAB1uN&*{K;biOo4C zY01g2KieVqQ7bS5?+7(qk1Va1V_aGDsrmtrEXf~tcb*Ck4Sl$B-L5@CLaH@YCf3iN zJ=+$rkB=|iQDiC%c^-dGzAL;XhRT21=`OX@OtE6C)mPW=N)62>!dq)pE z#`dV6|GPZs_D3E}MdoCW-hk;BYvA@B4vl)+dDiz^a!nt+iet7L*|WNzhOgSU7hOp-+gy^s3}W2h7$t_XQ-Dk19{}eKL#o6MKZg7{rW04 zw#MgdGU-V%u5YudZf`lLs;>U<+O_YZ54k88xlYvhux?$ydGn{gor7h|mW70er&Lr_ zj13#+GzUjTrGNbRkv)>6FPch5aUa0~)+_$4>Foa)Om$NeEW0+p-_g;yGj6$u_2sL` z87wUQPs2&Q*nBmQluN6bH zMDsZ4(UMLLw*-ol6{No%Z*Fd8KXBfgdthdygp_Y7>FxMc*Ivx3I{t*~Kw{YXO`DPg z4PPZAq5~7AI^3#k@(DKVT0NoHo|TYrTtnC9I#S|zPk>BnUY=%Ugs`23*Qfiw>wo;Q zD`W?mmPVd?-(!F}b}{R?(EU0Oxjer<<+b2R(JOQ`t4|FnTk#!!q}yxT#wlif`08@j z8Xc>mM5N(~p=K2YnYrA_;dVylH~fYrEPor_vh{I25bJpLDXx@9j}&EPWn1W0vD1^x zG+c5nT0#w=O4-OLQM8``k9Ul~Vo%XMdrlj^x?LS1Y)+;*m>8z7tfm$+T(aOvvuIXc znCo0%4v1r_-nVSOEi>x(xH3Jlfs2d!^{exKt?c9Z`S}tk4!ez)VZb(9Et{EI1(^X_ zqrM7|2@*BXMR%|R4i**ERqHJrMz3J5A z&ntS%f0myAYFI|U!^$pndcSt=`+d|W@ptb0C|mQyWz4?SlI~)uh=IE<>Pp+qjCd{R zV9i3fzhALp-}ddLKRpgy&(5A2v|GW|^C+3{3I4JSBQ5X*|6YUn;d7lHQ_;iu{hY#9 z9lA@FEGZZ+U<3yR^$2NT2G5>9uTNIm`SRsU)6QZK;a|7ndb3UR;n2}K6$LW!K=KgR zS8v*j6%SO^)*k%)K|bbCN+hK~mO#G-ssU9!LwmqrVLB{A#B#7{x0I9~lB{;VZDRa` z2NM+stCGDI<|VAVyq7LpCMCU&j4u$@gOXKDJ~R{;5mE1SA3I0$IAn_RN!Y;64g0n+ zT4?6|U)!_!jEs%VfHT>p-SfCjQFd0XTv?4uIWhX2&CQ-9>N*O4854)_iP)?BBAn)e z9)C%pi!Xk#Y%fsD(4ngzJ$i-Hee{T|GSKg;Rjbx>ag8|NZl`FJc+UNA!~u)Y;jsfl zCjS&RK2a##8);Qsoo!T3$^)CstRfb;!7xDT;lea^A&`3mp%1kyTHo=Xd1n`;q$eaKtR9ZMd-ucLr`##2sb{2I#}!e2xKniK z6ms549DVL7lboEH@NM;+`#?8{lyZAq%hT8_z_RJlZ*FZ!UbD-QN94lz>q+E`hfWPOKe(}O_g*nE&A?pGIajHvHoNKPT=QMk zOIEOPrh~@DIu%wLs~`XZgMy@7b@708QaDEovsDY1KX<>BXFQaTPEE@!I1^~!<0rb8 zm-kK2Vwui++dI?7DebNaF6zWL1+MJ3Rn(EsX{brb#lzFKZVsfrSR0O(cr z1qV6$aV#Lh#9;m4$TfWL{XsXg+Mh$xY-W<#-#-6lckCVsiI$zmNM;Rt)|^gxFQm6TmU5fi!^3j|+3xcvYjU-uZZY2uK|v+2g_+L!A~z>O*f}H}gDZ_|L97#p zhAbwA+jYS1^tTZtly@Mkr=hdc0CfRG|2;Bhu2K0$S!M9P7|&@_?C81q`T33r5}A2> z=*9Qbk)80XP!QqX3>R`oxmQerjQ^E*fsC2( z_Jd;^V6xgijm$cNi|^gr3;=0WK{8-oB{L5|(NEuN&H)+l_0}1S4`q;7-V4sHFb{KBc!XwGI0^^J*^um5SN3Nf@_N8W&V)iOnRm5p%Tq$#Q=wDZ`JJs= zQP*57#PEYs4*r+ScBjt8g3K;qpDfx>c8xz=&PLK}e%5ZDj8eBt*Y2M&RG(Ix!t+m; zhJ=Qy>lgq&e!qI7^QAqws7o1Bgxr9mmh!kbH&>NN4_ipg=B=lYblyMvvoARdVq#5y z9+kwIwlm7W*Ozjd@wc9XgSkErdw?OTKfVbn`jwlEyDF?lrGw#(kUeOuMSB7Jslu1I7(zOd%i^>5AjW#`V2 z*jTR)re#ZRe)@0t+*_{KvF)*W<8Tz$9!aP|U$U2zargmjA|oRix$e{BroDZAdw1?U zwt5r)c++`uO(9l2Q?F26r}4olHYiu-h&7VhPc2_OBE4DEPCtMD1_Z~U343xuYn!y4 zj;`)du7y_Um$9)BK?|=5i3H|w zsCf_|or?47;wp_Fl^Rhx_kXAq?NmK`_O`99Z5_>AL(h##LvV)`*bl^ub~r!ZdT{ai zZDuN%;08i}B(PG`x!G@H!ghUU{Wc3eGkm@{IqR7UOYpB(0bB-_bI45(u3T9fu!aPJ z?kakZ2tU7ktos*P+5|b%xaZK_`}oRR?gNfFk@G6T4~7HH(_hL3q8r9O{EDx> z2FlqKx{MiHRsHcW#V^R~E9)8c^Ur-)CHs3QOs3WkUZR}+5FWW2?kngWD8JzlFICC!IlTkoL6=CiW0);DDtBFYk7 zCp;-VSVV$Q0SmQ}zji6aq~lsMY#b*SAp>Gubg<~zFXf;J_SZ7FQM43P9-gg6%{0ns z9tWaVFAO46>9VAhG0AP~H4M~r7VzJc>}=)0x0$$QGon@cn}1zC=z zOO8@zdFj%}?`8NVaYS_+4&%epM1nTA*O++yk z#*<`B``<-}NiA}rl(yn3=C?K5#1yTHCPI^97K>epP#gb@z^sODhHMs zg&GlNwJ<+bLbD%G4p_T5z30q4gn4qUEy#FXwvim3Aw?xgJ|hU<7TQs+dIVStO_N#ERDAtIUx z1U}-Ed-LWE1O*M~;DnDs!gg_3EFSVW2n`uJ(42gJrJe*})Jf^6mP~zK(t%3^Y|O4IrQBJ#I#%;@0V7I$ck%PP{+HHZWEt69!(v zCl~868BWgnj$=N~h9{-Iyxv)Wb#wr3lgz04n?Ch-x_#`_Hwag1$mHWl4c-M+%sh_| z*EiJ_d$QH-5GzB(->-@KVDd{ePRm>at6B85FTGbU57mu%vHrLNTcQ^eb z;&!}@seZkt<0OZLJ#pg1bZh7Q!;z8&{h6r|%($R0!o2SOu@wPqz-fXcUbl)^DB^xq zg`EN=g3O_)68$N;9Fr<_W#vG_{Jgw-rC7iN-mNxU0sXNxynFY)-FIY0PF!3ZX;F1* zxSfNsci+AVDCGP0?UP%vcH5otu`O+n9vvu?hEP=hu5UhYQNEw*=)%lKSJL_Ak~OF? zV1V|sUu~=^dpUF0e#@f^S3%y)?aBH4 z8iV>C9zJkgP?ruInPdd>2QC!P?%gw&7U>u#4$QTc>;5dRZT>p4si~jpYBg}dKp}}aADJIHc=Pi zcI9)>4ZP-P9UzZXuir?)f%H=R;z*$D#9$&0k;|Wu(Y_C^N0EPL5{No{G~MsN|9-G0 z@fHwH^kfkfPASP9kD2Z)- zayH2DI_ILql&WMF4jGsu!FX$z_p$|NXw%MsqI5+4rM8tZsU?p{IZCz!ecEi$g#Yz! zsmKtp`Q6{Y_;Oc_m`(SexJkz*GB7Y6-iK8ssR+6o>D`XwpQ?$VLjOzkEN^VHEh6dH zOma9BFD!<6?pgraA)KiB*#hVy^BI=8hs=uim;n{$#7Oi(iR zv2sYLB6V1|lx6cFe)b(Yr0d5ntgNdW1s$;e!3~_7E;-lJ z>>j3xXZud+#7YwKrSybb|B zF)C`?1hZ8G4hU$0UH`lK(GSmgWYg3$luw`jU7f0*;R}T-s!B&+Kl95M+cH~t3RC(d zdqyo@P+u*#ZmNC3ZKAgd<0e_{Rd1kF3Q!yxEmZx*PD6 zJUl6Y1}HRl|Ikl}{W{6Ia;1%hWZ2((2qUbESE-~4$bC%&B2;yo8m@;4ooboWY$0DB zYNVz!CFfYE=UCX@Ltu9)eegwiE3eAKPmq8J4|M1a(U55H_3=5QOv}mrBPWyJxnn)| zmoI{Qnt7uczzz70eGBK7Eh&FVx(#qdFEbi4Zuov% z&**`piBfJS{qV^X-QM0_|6T}QvdT6#pLr^+9}ZUVNUe3KO)OS8^g$+MgS4cGS&TrZ zIZu+p%urLZOR+mOdhbj?mA_wvllTZNCjjjfS7z$J<;?+9scC7YK>bdd0C$1#EY@#W zQ&STh7^rONas2o-4dZKCSFT)vJLtL7`1_(^#!sU3?+#n`+dK_pE+jZ z7K&1?{g^MUr69++DkdW#fxFBW#Zo>>>^@RN?3AFjI=T&zq#&Q2Jr^PLc|z>K<`Ln# z^&J@ONh80Xk(PwRU@$atfjoogfYy!swO?0NQCqZHo;`bJW@1;B-O9wDJcB6T89(_o zB*?Cte}3GrtH>wfnH#I{^{I#%-ESpH4)e>5Kq3@@8$+U_nYq#sS+laTq$7yDQ>@ru z1sMm(lQ8FrPu0hY+@=~p5FKDSoQpZs-1q=VC~o5Z7J}iU3OL&o%3Kr{)|E1$- zT@L;!WYux##L1JX=qM@}Oijzht)Sz5a}}zyA^rxe1AfRh<;FP!(C}zwCg<=^_P2OUweLoU z&bS>E)@ftSt3T4M%h4({4oVAfEeGtb;p$qjQ9wVPM=ta$nS#vRcu;{O6GnFW7^P(3 zVdVHwPF2I`r301MJIp~7h#V6G>4dN^aQAu$y~1$JxX#`z7{2J0DO=;cWEpYJzG~4a zdaUx7ckLXuyA?4O;5B>9sndf#{A5gCR=LoTIZiK`J16NhJpTDoGGqDLZOI6i7^fN3 zmVL4kaP3*oeW!wFL1U8@6Vcb8&kac%>(%%t-B6Gd^!rtNDUa4tWUcuBjfFxHy>Kd`Ip(Ora$>Rn?DVRpry!-{`0zZWY6H# ze|0^?GJ3BzNx>XwltB5KL^%(PD`Zx;r))$}P;jvNfiKz<(g;9*?#njy;gZ8vjC%IJ zHvdnyEj{pRpf*X^_Tym>J|GPfRo#%(wSZg|qAl#$ zv2O{2ZMOHPw9#Yc38fv!NpE_lb0HJlWYPM$a`kF`+>vDletr_4j*id(h=Ac3P9-zZ zNDlU2M=w-{A3Q~@JZR4DVzecErK}Jn8nAI0(3>>Dcylug2KSmHDXXJ(je6=B2OTPw zoH8vIi>?`Jq_s~yU95ld+gSgMJ*7@+lPeX=6%8fN9IkFLCx=7DABSEYI!-<04$}Sw zK;tKT;n{bL#oS)_E=McWs9yCn;RGEoJpNlvhkwPpam#^}Wxt!=NfF=OIm#cTt}QvvkmA=oVD;Fq9zq*3WbxxDTT9C|pTVZ=9&>xM`u8s3mgvP}ONCz5>MrtEE+Bjxl2M^r$ z+4<(!@(&A&;oP7eZP=YYsW^yAaD2PX` zgzqU*rhwPCTWAt_h=~D24Tie< zd!xd5EMRGhwpm|As>c}8Zx)*@HPhv`LIcN-PKok8){`mq47-n%ztU8{o9(Ky= zS%8YkF5~$mGp~CU!0-Svo*}J2IXU?~r0Ti?2XoRYN_tq}Lh?)O^zK}X?dK*BI@m%> zYsl2wCkxrfslz1+E@v*KT>>EB(=>zHXi0B>xNf)n>A+WhTa#c~D@!^KDWX3U<`IvV zm)FZzul9mvkj3%zEQWwT@nW4q)KnA94R&$c1oQ!mu=q@h=lY#)Rk z`6@efr!vqOP)~FyrxAUUM3*gJ^B!l!qk7Ad*^`Hf#4nObn*Xy}Ti z+4P)DLl0#G$;U|^@OQ0>#%tsd)avKY$I)zi-`Ytxf(fA2G0u#Eyk|}a|N=!zJqAxhjX9f72c`t0v94@FgrG;RPo znIh=Xt5CJ*ua1omHP=R98C^`mWxR^(VO*d!nWXZD40?wdehQODJ23splS5(tULcNS zLmKeJ+gby-WGG-buOlQJQt?a{{ez6yQE`!hu4BfhCzw` zSbtR`mPyE>=>XlIF)}ieYmw8u&57bXH_<3;*&;NDCO}o_PUNA`Jjj4}>crSwvS!L4 zQ_}5_hH?HqJU!#-3a+|zt(J!Ml}T}==J5%|&Lm!X+;6dI=r1U@v}x-{E)e0j4Q ztX2&j5r*x}2g^+IZPU#&^G_1dUF8y`vse!{hFN>Tgi)1C0|`D%&>Ucb!cn4?WBg@m zs?j9YqfhLX`<>Jp93l2k4t9RR;A z_6ebRqCRFf+W8=s)RLYf7%ch&J#u4Zsfq{YJ&sGcMIn3_M%sUDs zRf9`ORFmH7f|25xDC1jLYV;)tdCod#z|w^MPi6>?kbpID84_kmZbchii8z=0=x<2Z z#BOEXeBf}Ts8z#ifhTdOFpZx}3N1w2L6G?{Xutntl2BhF#b!m~_;SkB`emIFJuurlO7{>KC~V;4*m=8=e82 zF;zToJw#?=g~r15r}dk*7tqL!1&Y5Og$!H|2?9;)3AZ|m8OlIzMJ+~4Gq-uco*itZ zQ+?KKiAT4ap2ze!DRR*ailCpj3rXRNA1@o1;Mn5wKFEDUl9=&|89Y93|3X1*AHlqJl(f z=%_T6t_Vm~BApNdm;j-C&t}Rw_xtXA=iIyQxqsYsXD!z#<;{NgexBd+EBpFMBfX95 zgx6shwo(5_+-VH^h7NzW{AD$KrS-(%e)yl7x2~D@8Fzbczl)xBnBhfl4_9|@S0~$@ zzIL8oPVR(*@~ZOR%kFga_V(~nS5R>K;|Jv3JslL3vhvd5A!|K;H21 zP8cR9ppX0EtbYQtJLt{_pVFD7w$&Fgv6Cn5x3Bs^Y~rtdtE8I0b^o&M?&Ov|vG&=o z*Prgfd0p83T@vM13x0>EGrw=Mw^-h%ou`irdo~{u(AsrNG1UF7@ZrCB3{3GVl5-L^ zU#h4Z`^;oywOWTS%m#B7OMKnfg+1hfgN3rS*%)^D+e0$bu(p#nm2w#NW;49`cSpOv z!ES6IuE!1^`13FBb?jPPIzwH<(J6lh`xKbio!2tTNkUy z&wjbzO|TTWiE{ru`GdRA3mRXBdM^_fr9KG=#R zt)S{xSJ%@;=q z?<}9W|EAi_&dv^pyL0DG%SY?er?<$MW@czTva5~G>Lv5syy`+}ORBe}jic5I>}i>* z#IQrT=h988epn-x+r40@OwgHT$viQSCiRVsNQ)gLbQNq@^Ss2IdiwO~(7T5Q8Rzr% zcjUVj2d!L*on*mz387c*>+2H}Z@a|E&&@p~scn|XY7bQnw2{{^W9_!E3mld#^=AdW^)Uf@YFl-OI?LtE_An# z*}Da0%}$DBN+)<6$#rZ_X;4fzrA5WqkOM+d!NsjB@+`hsam}9*sp6bWGs}{M4-;f| z(y8)RMV08--aXJiWo<3q-`}t3^zMP<`$vWw#5GkVB|Gw5gxV~<41*aWy_8L2>Np;U z$%yZrw-+T%Hxr>m1V`{Iu#-DiMRp2V`|mQ+VCHrVN?5Pa@E&UNpLn?jKRwi(<@Em1 zcI{yQ469=0x#?j6uYtNJUeBtyW!%zs7g}lGI|GGC!+7PY9S#ZneA+V?4!QS~H0$tT z*wqi0#=R_lgyRnPWp+Rr-E~2Ga6gfmwb%kU+~)h2#Nl|uKgGPda8a6lgBETp!Wp2c#pQqou?DTLPb4)JdvQP=nVf+ z-(<_~-@iX4BSRK_Yk|k5npy`uynF^aY_Fj@fmJfqP{1nV*+PM_N78B4clMp>%Pbxb zD`u4yb7J?Mc~lAQhKKKFL3`|#lZ(u0P?u??+1R{zvjW@u^BysJ$UH-W@oK$7#8iWZ zLXj_1*k-;@2>;^p3O0NZSGguVAG#u(&8Vrl|HG9OhsGpDDCG76BEBw8DgDL!l~_}I zoOf4}=i7aXP{3wo!2vj2$xL53yY66PW#M3w2tU7!Nd^T_ef#$p4l`W<&Qom4$ypws zUop#AfaCb?A|D@d3>%x}?4QOo4%pYlK7RT%tb$KRGfu@_{KJP2#2PWb%9yh0hZM@= zjEo2h<<_lR>NJ^s`>x-WF(q(G(#A=m0((w47QBRaqURD>yHcX3|@NJd8oQs_0{AE&MZXn$k02|K*& z&~SmAynGZuSyisn`~092@-b*2KYsk!F}D!I9OL4qm0-%>;QI#y{y*PVs3`WS@}94_ zD*n^4=}wh_t%2WS7c~CoVZlE|l>YPk_~+!yagxa6bh_8Xl+X7MHT`lF4th_N7N^~; z#GlAql&wukNs)y1P4O9RZ7vU4^6$TEx=vLQ=G40f3>Z*(#K||(df|d{eQ%_bBj6bd z>~0oWh12cV+kt;{;@*}sX-1L5@6&2hbi-4C1T?6RW*}PfdG#9X{?6r|_Z&?0J2u#m zh_8;=k=F?zbe=aTTWi~q>!e7YpV@xM@gxpcm!Nj=`0?Ymtr_Ns5h-zAW7yV{x2+3F zV_7vReykqio82+EnkX?w0V670Vqr)xk7t@;#(($jUBwG8E_b-;>gqPrY|70FJU;vO z`au(B5xR@iVcv3r0ZErQ^zy1wZjT6X0d{fkg8a3OB7!PC{`mQ}kOfm54w%_791iGR zV%uF{Pvg90o&>M|L0jE#yvsx48|?D2_YWBPj~?xb(pj8|J>+y+)US)U%--_atVOsz zLGFnR&qB+@LGx(09A;{Dq=*nu#5^icETz};K(;agjuX{=!lbC0*$w$pQL2(XfuqkT z6a*8LcKf@&(7&A-1LU)(PMyki>&$OhiCxyRxgFJc+gMx8I*6I4-Wjc6Bfdr=*aL?{ zv`>4h;!=<>lo+eSvixfz?we zQ;j-04LVEn%<;y4Pk1?gpudqSKw%9}_q25x!7x+?^sMI~x>R{xVAO6ehP7`CsA2xR zRsfOpPS;)-NGD>y|Hb+moP*U(zb*nxJX@h`#x~czx9rz1X1#Cg8mIS?Z`SsMzR=~4 zcaMHc0EX|{{(Ki4cI(cg-(W8q+J_4gmEF!?G8aTB3y<6d%Qh{h0Y`4mb7@l@esEj( z(vR@*J2b@TM?*J7QuxTkBfVv$RNZjFjmog*v9OX~(cP>x@T)J^Z}^=ZeKlIuUB51< zm#_Gc`(sC8sue43h97=f!tfn__s}QFy}L*$THZ<+bqj!gYR_so-Qa#PIy|Mr-h$Or znhGpnyl6BN^+V|f(37)odD`^O_oYExvs}khq*5`UhH|XCozSQs0+Q^^GptM15ql^p zDf#1Ryzyd|vd&46Gv4D}YW9suR_<3oF_le5b(idJE_?>Ff7j7#t~m>}HjAFnkgc^RG3>bvEPZi-S0k}F z5$cw&GgWtxUD!y<{H+qWc57Fz*%W~u1{#Wylf2-H!)bE6yx8!N1A9)yZl-E+%o2gk z-_QCYMz09vqf#hA7R3%hxDqvLelQU@`AvY=tEgw}uDR8&G zmun;vsR2bB8)fr>0Z3fY@Pa?Y>8pKqif3eD!$ePnlN1H)~`Ex!xjFQaYbZ?fJ z5)1%{CO*AHTHLX9?22+G$klj4(Y~g=1lz;y4bfSgYbz(@EYLz0T+W)B z>fvzdCeOMAHvlTfKn(zEwzKrAS0dKR(JQY@Cv7jZlwX`q)2Vu(f7|x;ja~fwSr=aZ zRdwWX>d0@4W^jUfdDftmD-ow&T4XIrN~Sz`@ExISb^xsvhug6I`<)Hiys^1N=z8rR zdWfAR0aM#`$iWd3I@(D7^78{oKl3^fBX2e0ppId$kMrdwpGY!d9IFNCQqcqS;&I)oHNvmDtIXPPcMFIhJE-Q1clytshV7Jq3W5Y?2Y3J!-eG&F=A7Rdt9^7zSR7a$52xR= z@Ns5l<{wXfez5{EE%pq9st4i+#;8)IC9r>b34`;s&4y~TFk(vn3ChFJs0YlN_i4uH z!!|0ehd~#ec)pM{{4mCODY#;zN~KB}I}(YxRI0Z6d6-^73C&?{7%TFuz?+gH-=))D0-mNS7R-_9b{Y42G@qw|;(e zTUrl962H{37DDa6tKL0;Xq@~$pnF}$4P-?Ec!h|1)hYVq8{a#y8|gdPH!83RT_-1} z1fN#(Eb_wKH-_u5!@rF26Oo?<%u1$DPiOAb7|@x#PVh*PKAT}P@J;uBXwGqHj8*fp zcLli#r+n_kbtLq)Bnjn7I+l1=rG94=me`o z0F9us62dBzzrZu2(A)+Jpa0R++Z zKG)^_-jEF=SN43Kb6z)NaY5P6JeoPtYR9OK3(W3W%UhSI0=*YN zb{;byfeSdg5@xaqe{WTk~HP9@_%X4~aa zdrE_9wwYS;*G9{QAKj$(-S2Fe2H*W%ZCm{2g8*DuT8aWy$;fd7<2VXDzZQZ7_`)aR z4()^9Of4zV++!HG)vY7<`pYY8glsRtnjeFE)39AD(A%{mci%NW32~RU%t&q0TxEiq zS4u%aK~w4qtm!qUpnxOA?Ffd}G^ z7^(H&8Ty#x@b?-SZ*cs$GnbS=WK^RVgo(!aMio^Ii+rSS6FqUN%_f9YGX2f~nS`!6 z3Nf`vuY6SQ)c(yy8zF%%Sm#1DD=htdO{6cYMm!wUNeu)MXNyZwkYF2st^+az*PJ-; z`RBlZg!zjesyRPV!G@Wp3*2gC422N?cU-U;Ue;}l2%z|U56S#h8^9uR2{q@2Qcqc0 zS{5Ja1lUJM2!v+)p96q@AchHBfO>`FQ<0Perex#5i`a3n?`e8w7=;3Cx#p2!yzR`y z=PV%0LjYoR_YO(}-xUcs53lx2zs4=vF4_O@{Ir>$z)ySkFZa{_+z0w!%=nLCM#QB) z4lvN`&{Db}Hu`=RFrw(pf9AU?z7|wRG_FeRb`ZD6&PlpE0Sjk)Q)x928kBXX-WR3d3Ndh<3~&;`f3 z4wW4tx3#*@nZ9f=WOOF7Iznmn*{-2AOg53%7_xZqX?l9{EpVw28@T5jFaFJXKMP<5?w(IR6Jn2zO1AGHg&dVQA$;|Z zr$m=0&eGC?=K1dAxqdugr26^iSPefyBGYTIArgePpyPh%$%|B*!bl2=G%W$Sn~VKe z$n9A+#2}xM0Tp5L>v8B;GVNll1R;DeLP3oQ%~}kZ94OS?1Z?yOH97+bRROpd^um&r zBk_MMqxHGxN9k@zs4>pwpm}7RPwe`CjPqMDNX`;UzqTSPEtk-(zDe!NjaXHpZ3{5W zz(X7l5FRWB3I|}=pgib|Nb{?WVMplEz%78*tEQS@SLQZeI%& z!-$h-KBI(agQ)6r>~?k86eCZE7!iiQ%NE?Y5tpFN>UOIm_@{sG)>zZwVaseAsT z&*&)zG4hd$lGkU@hiVrLx&ghGGMpa1&>vlr@Tc*W#iuuz@G+QSFb>*bC)R7NTN?;; zE*0XTW^mpLI2|r1SGg+gM0J2C!3fv`Lv`5@gDOQ=2)ZD@Vn0+MJpn%0QXB##K+$)s zeY>W=2QqP+7&l@;xl79zez~PO^XUq{Ds0Xe??HbiSdW#G_RimB%|F;=w1gBq;vkFgO~Qc@x|YH_y)if-}#XczNgu@Hj0 z<%)(+SeD&CTv@%%BU>vTo}79tGAs*Uv;2$v{CW~3?+nYr12FSt2|rzO1zS?Sbo!kc z+)mK^+H%Ik&1oz0sITy8t6GOFd_6+V))SzAL5#jR!@S!d58!CrD zYF23H^NUB3h|Ft5W(q92Z%6P}l_ANX zc8BnobRlm7M-wXYnORmJo~w&f2FvXTwL#oouQxAJM8$sP>J6_qf#I3~g3laYEBlwD zq4vx3p{9q?pDkM}Eb{=o$z6qw;1>L|H);+`jeu(nF8s5XjZ*{h?x3W@;iZ*k3WZO@ z9U45?`d7tQwqK!Gd^*#Q2#ck>5FiHVa3t%NFUA;?CvPK%fIg)OC6fg{B_W5@oTAIl zqmiEVGzhR?Ius41gpat6BIE|6Igm4EP8*!_1M40PI@|W=7k%;-Eb?U`@hF)ch~F4U zz8oS=_{lgir%_u2L8g1zti9&!m)pb+r?e_VmF}&B$sy#DrA6Mxz;R?gLHhIl{vd_o z*i#aKNE`$lA3hC2`JB_7c(F1ocy@BNj?fEfe)@|vBghQUkNmVoe0z;VNN|^DtsHwO zm0Ask&<=FBf=NW?3@lwv-FIv|bY0|oV;wE)V0Kl<0!j%Id^?%@Bk0-N#zwJQXJ+z|Mq*3VW#rE1QaC2pI@@$<0DA>K~J|kNJPo4=(p@d(= zy+je^Ca5;wy?fVD==VU6D!#l;&*(ix6%6g+dC;iV2*JT+O-Ah$%q{Ni9?;5%oF`R} z8nu#7^LunH3h_?Oh3WUns!|ifaGyi6Z~DD4)w(pW3gUH9etvMMkRyP+KoB*{4mo%` z)PoJGQYbj4P?oKR`&TxFL3u7;LKZH4)lm{lQ2)c9gA>Fh_rF^!YnG^)h z2@!mrY6FGRtsr&?mc*)Ud4o_(*RO0+-%EzJth8C2jG1Yrmu;hWc^bfVgK`Rmg6?~v z-)qf021$WBB;m#NYCU8gQx&YaWyu9Qt~d?@$N$q$Yx+P5`6e=u(g6bQr@1sgrHHP0 z!IZ2^)Zhv%ad{1XWdg|az{7eaibEV4bevlr$LfTTm#=z32!#$9X(*qbL3GTTys@0+ z8(^@AzFP+J*HNJ&h%-*$pSklI)7FLTKh6p&L!y|KT`ON3rP@b4UJutfSr6w6gQ-=!7eFq$ zwm(}sIoPu}`67shk3wY=SH;MW!0Nihe^U;~BX~*0{m~ZL;#z^10N(Rz<|jgR>d^UT z6cwq%cfsql@qN25ttB8?z*tjJuR|e_kQ_K~@LlZCy(nLJX9xH@;8?w+qy=a` zqr?ypdgg$vIUwTN#zP>B%?9G(pwjJq2B3@s{_Q0Ihadp6(K?Un9S)ZO>pRCIUZfdR z*hH*)9{M^PH8~C^3-*n&Yx`z^`^R2&pnm!g^h!x0(#M7*NQn&jV)Z?Tq#ZGqp8BGJ zL%#$hb0HCWvM>duDpplhg>1kutA3u&&Ho+uHAL>IJtY};&Grj-cFRc;%pKk*Gg zV*r{euQ3MbiFx#L8d$=GflZ%XT01kng^n$iqYo?c85QK0u-w!H!40)EX{w@lC$P=R zPcMI+qHtgb2;hmwY6baP0-6LQ(xFj&k_J5sJ2X_5D?8r3Os$O9&8pUyPTUIbxJ;iQ z@Jwz~(-t0==;nN$^|g;S_8j^pv>N5a=-SB|asQpPsgRjLF+kw!u&Nr!u2Nyt_;8r0 zDwU*eXcO0O<~P>*dUk%cF(e9o2;5VF+!-nOQci~q(50g8HXl}xR*@e|9LAbg@UVeR z7+43D5b%h~S>#86!PcEL$`>+obeh?z0{)eCF|*<>gO6EP7zI5t^OY82C4E3h-f}xy zHZyorIXj3e3AQ2w;LtN%;dJ}DOZHxjH97|nXCGZ|02s+WJ&U6iG zo4Oxd>BL@X_adzUUMV#@`v7Whv+PUy$Yhf*nRulNZH!+|W6&MD>LCrpH&$joblVWhQu!{Wt?HI=Z<#q~T<0O93D zBtwce1n7?*nOQgxXIw&R%iONy+@c(_cC2oe1$nh9&_)ysEuZPWw1h3l-%aG+Q^X%b zON1c69S5Ia3qP_P$UrhQy5NNcJ+jO{D5Smudm;Yf?SFv${2Q7SvBY=&@`KZ<>5swf P$1r_eBV6W@3xEATPcbu- diff --git a/thesis/images/plot-perf-smart-throughput-selectbarplot.png b/thesis/images/plot-perf-smart-throughput-selectbarplot.png index 67101a4a04a2171a6ce497522eb8808e0e1f4fef..df7fa22acdb8f7759c5b263b50771e2003b4d783 100644 GIT binary patch literal 12889 zcmeHuXH->L)-9H;R;fr?1{4L_5>zCKmF}>W4!UYh7RQ3bN1P1@4e=lYtB{I)KreJuH;zB z!otEzIeJioh2;kt{{Hgga(vQoyl*#tNIM-m>2$)@%*pk%gDH#hX(u~tTPJIaGkrHTqk3GEU1>p3SUJ4YE|VVnPTfsn0(xv+RtzA$r19J~YH-B<6Um zoc;w~o}u8ll(c9;X0~TRLkOo!ZSZ?-#4op4OwA@}af z>ZKV&Gmv1qEe+)Ouw7gKt|!s;cDpDdkxF9h-9#{SkH@ad+1>6cHn z`SV{M1vyp8PwkSEGmr>Zwk?~_t97Z!x)TwRIx=D>Zc%g4-rl~MW*c3ruwlc7`w}+y z^>Qua;+4ZKKR!M^(;IGUIjV)nKS&?3XkD1@4jO1LDbh|oY2VK1@9%&6`t^tF8~E>p zho^k_pvJmYN-aSp(qZuSy?cqYb`Pa364oCAIb}7qwc{TixRQ+j@{GvV4g45xsvDAV zF+w-$wRO^-%RQ(XL7 z#UW~TgQve}xb(!qgTG7IG{+VV6;|j7ufV_xA3iiLH8{F||M~0JudnCk9zJPKYY{*7 zgr(>6=WoLp8AZL1knYY=b#u!n;Unv?#k6x{vxq0(vPHBf1nW~Qt2h_zJ z^5>Y1@SOV^8yCmN%lq>Ax~15$7OX&gN=E6-g%-MXYt(p!Xi|u&;n?6n++>)nYkF{S z@YV`mUS7+_^hk20S>=7hrYCsvNPbO?#-W1;ckS6T5;I%hl+Vh_dUv9>sp;|KJ>@f9 zU1!RhTCwO_+S&u3-`rL)xAph;->_wi=hMEt7DiSJL%c!Ks^LcdG8UG^=R(fG+3(x? zB=+vrc=+()+jsArQd3e>HC`X+dC14{R=)m( z>^$I3?cCRKafi=GU%q&8uC35n#(O5GA;WmMyC3IVt!2Qeb&}qws!yZVKfSnumx9o( z24;wzef={<<8PqncB75j=(l9)H+1VG=!Vd!Wy3TE$}X33b)GS+ib@L({>8b!=8%t% z4`8{b>!rUqwN;9up{{<5hmVKnMZf*FZQEoVKEGZTEh#9d%*V&qzGW*$P*6{(YAu~? zwwkFhUWj4R8xgsNK;}rFsiF=GOj%{N$yy@8v?9wgb+(|uu`f9`_Qj~<;75^+cbI`+ zvli|L1fOv1eOLW4(}b6TdunfOKXNA|Bp!>-hn1^QHMe{I?Ag{Jej%ZBdx@#OL6;)@ zalHbF--R!CdU8gXP|eB7~hrNG}{%{t>dter72v2xbNe5Z{f6&yX0|IUqe zy(Ac0=)y>zoAWX~d-mMe=QqJVg3oZe||99T|VpPfdT6B zWH@ORp~8)|s)}jArVZ@u{79ui3NwjO?!BAK6|&7LHQe0`e);7Wr?JlzW`FGw{XA>+ zQ>PxV?ZkZjgg**YWO>Q|o^dxMWcRLJM+ww7q=sdbV@IC|=Qmq9&)nC?bDnViOPT$D zDq#MbYDO18b6@+S`Ekxt zbTTHtoWi$$MXiA?IAr|%{7S)^nwqiam#!EXuTpF*b|231B)q#qp1rZ}he{4(op9unP` zE?tU>T!TyOF1FaW-1 zMsZ;@h`?XIeRo}nrz@ofY>S?6fFsK?vMhAiQ6G#hCB5(%sN>A1E8LoTddV9F^`!C? z$6jw=`QwixZ*SsCKYjxR$ChL*epW8IlPTJ1HB%kF!|U^c>i~VZ7PYVbe55p$ZL8FS zZ3ixYsg&%{JbO0QV`?bPJlb2^b83j$>qSPYFbHg!WVBc{=UB{)JZIA~Fi4G!bZ|?&YIM3yOI}iP^4sun@+Rz`$HZxh?CaOZ+IPRQXwA2m@tjP}vuTMhTbv*E z7u+?m66~7{POjnARVA| zh_G=wfFn}gvteB}SqW-EO#b|6IXAP}DkG`5*kE*Ylwe2@m%N<#7JT2iF*Kt<-eV$h z`RYv%o;=w{=<$&tuKEDU_QWe(9!G2Am1|igTOR;QUWaFYn{1G)ajRSZ_2t!@W3i=f~1!_nh@@MTO&ierajlPoF+n*2G@x>gvj|?I_g? zW5xZ>{`#&;ZoOgVnD}2QeUm|$1#3l5stya{45C;q@&-BWCO1Qiy z)PvrGnEMr0_T;yfdKa;mOO?5HcfIfot&;D{R>w9d6@(f;YDpFE~NUE!sG{O;bp zTLVX+Tg0WvaOv{ZYAP!4mv!gG#QcVmDX<4TeYo^zOt5YxcAR-BqijJB=bdB|h3U?v z%8@c!s&b>hFHHF^>X2CHp{Q_M%hJ54E#E4IUAtb7u3NkIQwcjxm7iXBO;`&KxBTp2 zwqBpJn*RCvyv?F!yCfvEF>wxgj~s=? zIma}k5e*NYbiL9C5MuC^u22L1b}sDMPVuU{WU0dgF{Z8s=t)gW*;G?aha zw*5O*qco!xymL$|HV%<2G{XPcp*7v0Kx1)uabB@}EK1%}%zf=Net395-091QRa9D&^)VF{Z3l;}BS9F#Z>GE_e}1-OF+ENxR37I`@g&G}mRe7C4$CK-^qpaLp4|1gSh= z>e#VkTPwCmQk|N8z$nDesU?)HBk_LOvEZ<*>riS$M8qoUB2at-Cnw|9Lww^`@yVeT zOi;T@Zv4jNP@BF<3tr_;aBvLJ&)rFijLs=!9C8zdx$j&z_drv2!tym+6W>S5R+we? zR|uDBnwiDVOfpii6~ci;a50Feu%{0XXS{oNoP;G(N;6`GhYy=nr7)Xn_U_&`RE@S| zlUWRc^*huW64kd?hKU{lu^VlWBTqE#o+Q=&|0dyI24LKbO-|mOW>};RTB~Jmp9vx! znP=OQS84K`pzILRXadkZ*Q#+~sAyRG`0*Ro65*1)WIDR{`TE+ZQ-5oQP*OqG)T7DT&!_xXmqqQB(|67Ls^!$paBNsmH%qmzfHwxDD*Ctq{3JVK2LTZrPyB>GhN#oV-+*yD3?%n#6zB3aR zaj~&(X9?zaI^d=d)5s~MttfdOb#|T#T1{$UgEgT;j{Fosy_}nsX16QNPB=N`oaofn z(n?BAJ$@oVh52Xl4s0>42ziqwpd2Nq3;w@y9ZdqAb<7KirLRTv6Jyie?&=rL9OAL!#bi@cq+7)2NYdB>hrk0xa zX=-U1R_`O@^niMdkB>)&R7FTX`h%c@vU6=&P3{TBMwEC?anL=O194D^1Pu!{f$S5n zPvKj?BDqOsQFV3o+saC2T`f5^RL9wOHl*swGSx-y)I_w##Kg!+Y{GY)LbUEY_winF z1vO}GzyA7b>jNgILK?&97h(oO95let2-6=uIk-GD)Wo(4xs{7}-R#a(d#or2QV* z()=@_&dE$^SW1?oPzB^s)sH zBsnEg_jD{wO4`2r#`In=L}@4`Y5)nj;C~5B9E>`Ys^XS)yMkDWxRw7LmmE5D=)RQw znE)n9%%B^8cM9_JrM%}x%f%apKV}|)s+Mx(k9}wfDo4Jg<3CPz7&7|xpZbAg=_PldlwEQI^@4GNhiYyrvZm< z{FMP2p#{$iHTKaZ^3VKK$MD|;Fb*`16Z4e-u6wetPP$R_Bx(82H zZ43+z(-6%3d-kXikrYCKxaXub<74LY?xo~(v3E^|wdfeRAG&t!THxcmvCCOG&VerJ zm3ZU={kVMRMmby|hqJI0S2FTR&L{=3=b)F(jVWnqX;FeXB&qLgp5l8odTXh`r-j+! z#yfl`#BAH;n8*&$funsF3Q+2b+jkwLXg~)-`?T!R@4xSompAP2 zT`VDrz(G;7cOP&bc`4wz9Af8gn(riNBJ`Az&m15Brd#+fc%jHW7JOgasy9cq$b}&% z%85%lm!mxC^Vyt>fBOj+aMFMj?DLO5HX8eSA6iPHH56f|eEhhRo`PfVjj{1@Cgy9^ z`z|c%{x|dvZ?Tt!95|l7_?&y;L8Pp!(da(h1<06Hpt0|D8#z_-wKqJ<<69E7;qq^h zYlS&0EhnO0@ zAq^FN0wUSXQiwdnhFZ>ec4<|K$oEqsL|591aG02Ev9(%Un9pjmE*vVPi&=l%13l8+ zLxJ34id!I?5?RI@3}v9TAR8hw6q^le*FKzT_f$pFnRpdJF6Axorv1J%%I!CNRF`Q| zo@3Q0)YI2T|5E+v`i&cP>r~}F1#IT5si`@e-4s!J^jVew@6Me>e^9#B0S?z%x zwC)BfEn0GG#oM=a$mv0=olEPq;7RoP3#eOK-qt=0}sDex&q$1fDCj(cgR*bF&!x3=qDE=pW9B2mR$c{cNddzt>wM^qRtMQxrJfdWr*>D5&`9(3M2SawVN?RdUiaYimPt(giCL$uze(%k; zJ$oL%5`pED453}7Vdp=Q^)ucBE&U418Tlo{rL#`p7|z4(hJ;|<-k}_k7cFJ~%;b5& znTAx|-NM2;zx{SWB}y(y!F%Q$&IoF^)Nkjr(-T3FWm-|Z=Q2Idwqq#AI=hK@P>@@r z-{D>T3ZFCbBgHI&|6o@4TI~5L_4V~28#kduXd&t3r1>r`{4J-<_9sMJ&P|U(q`WFn z;m~ZB-2^t#llcjI%Hj&{11_V51)2cy;u8=Uj4=)&-_+rJPr{C=*!koS1kNN&7Y!PHic`tHgZgU&w`@ z!R=5Q0}52Q{~9jmp4C0&*fPCuGrseB6PGWzYuCsm0h%Wp9Qmj%G}{am+;kW%pRH_g zrq#>~=FVrqB7ua^8vX~#L`BiVE`fVkoCEY}KXk7mdV*SL0h4zPXin(r)^$5o4F2Rz z{L~W~8td1u|C~l5&yT-L`&%hs)0{Kf@JIIidS5@C2Dsj5Sl;#vE;_Y3R9Go7J$PvPTzhKK*-ll)so>wi-w{dX>dWg!6t9_&{eqB7A;P(Tm~MCBjb6=EXTNv|Z8 zavP*|F3&*`g1WH$>YB36H*j-jaQn_x|DWxOhZ!sK??G|uuyC)uFK$^IA22pHR#)ch zixi5oz+z$UD~Gg0EDw?VSN`-<^$e5F1gu3(xdU-E)zv?p6cQ9M)m6im_-Zv>W z_F(Y(ty={skipg9Gjw%#bIyKbxUg>8vrk%Dn%yhv@36U8mK3d)hf1#L!>qn@C)Q_v zh7TnAyMBTv+BZwWrpRP?^}dfx0d|*HA$=B0e!ELK5}cAn;7?E$p>iF`?B>)2u?f0yL-X9Z#J!@Tob=uN{C6WG(>{Lu*v!R_p%t_fgq7R| zGs|;)<~>Tr-^&6EogyBxu3SlQ6Z!lOit)NSO(Z>1R6`npa{2*8(_4=C{+9ZYfh}4o z+LU0-BBCKfH~TP~+=w5K#XrT_9t+I0)5=+fDp*nYSpg*P&6_unDkc~9VZ6lJfr)Qy z-B0!^@f$W>B-XH>$bWwM|8@;-Tx+?@ud^HOS-=)a?W!nwCeHV)2M8*;+K!MZdK~Lk5b9)@fB|ku~#x-jGH?Fpz&{7WDdx%Yb;%0iuq#hC7)~;Pk zM9GXJNbCCqEx*v0q-%nZ06)ac-)~J|qJDV$=8g2Q2?W3INWsT2q1hMf7WB3HvrQgNejO{(cImxQ6&TRmS25L`G`2WHd?lSRBiX5w6iNc+k!C@I78=t&Q6|bRHCU)I2UO?)ufMAAmS@ zsk)-ZK}#==8Xd6tRC2lbnI~fmWD=wC$;r*3Z(}y!rat-Z+}xaHM4aGvKXYqQn@~~P zP)<5Th<1+Za{$iyPJS-7*TQ?k;-j4J&>V)tG}#C&I$QROq6jqM&s2 zM@d-x&Q;8XcWFFu6Z=stp{_2equCl0QI%K>Aj97B9JtK#)>?a6vv->~6@3gKAZeUF z{Sa+0AT&F2Z9CcSiEjyyH&eswve+TDexXdB~CRG zR>0Etj~zQ&guJKrs*M6_kb3TmS;SbS7aS&!a(2$mIC4OK3f(*XQJzEU=(s`Y+U_%J zlfZzuSqF9<2gl-#S+>R0P@6*7I%dbqb}RGu5!I+N>(lflp^$3AW`NugLtLs3)*Bvl z4c~P6kta(D*HV=1@XEHmEdHbYDw=?9)N8PFvDpWt#Q-Ng|C_u_n zZ!2;o)wfXoe26}^8cv&W#qFnJ?4B8s3f_9CRcna93z5nK>Yt3;$OBTNT%@RX7!Fj4 zQ%JoF;et~!9Ax?BPnBn1cvICq7rs{c4uDwJ1q z+-;)=SFXb{Hg)co*==2I;p3E&!(sp^joCwb3KB4d9b>(gReW(XO}%d=_2U#Xu$8jU=aeZN*1lMLs~ zXx1un9o7b5JbV5eePukxK`U6epayRafG`azuUFs@mr;KH{Hq(AyQk%m%S$|%8ncrO zCYI3R^Xpp*5ve}gF>08oxg|OTIAmQ?d6FOs6M~Og4vFfO6!d|^L0oAUF8lz!B_KO5 zal`4;r!6~5OQ1LL8wY7*tfkpiKv=1NaDF_l85Tk7%GG`%?=LZQjJ@MhQw50C*|`0a zP8ag542rsE&z^b7A1gVG1)6Gg4B9AclnO;B33}Aqswy40E<04C2IsC?&&G$-{sh>P~Zwi+aTU(U;=Ne0~N^#^IT$IR#uh(McikH^8K^AA*N}%*}cUr>_P@# zY75jC4F*fJ)zs|TZGuzr{>DLp9=&IVb88b+^?}3MkUIn+S z7}e6>Moc}obyK8;>R(TietN{{MM8K-FPHY3evIIE8E$7VP25jFxcFt=I&b;qejdN) zFB?f2d$N@6wOKZx;7vz|F^oD6DZ2+o-b^hm9Uad>DeQ(84!BinRb?d+6uL6Ik1CeL zg9gi{`Cq-N_8rvZJW`Fpc0wx6Y5{+d4a3+aa3F-;^#DS_d zW|kx;A3G6$T>THw#qFe|bh1`eQE4c2rcb<=9hM5jh?C<+AvZxw!>NT7NDGLT`=aK7 zC*GC6eA$0(XVeEY-GP&*qLHw?mAw`cCoyNy9`*FlR8ie1bjBmf5mM?phR$~pDig4| zN?$pmpA#6NYuS>QM#KYB>LZLpBi262SOHfpm|8aPLL>s9{2dJE?`2$UWAaBbaA9ts?~5AdwhT3Zd!+h>8eADf!ev9?ZyBtd#1lO8`-Ll=X`KvIH` z+aQb%(glddfcl%;4iM?1Tm*iRGqYZY&TKSpT%7M%><=@Kszw*Z#0)({DVX#h;+AH6 zi9(E&nVBgbILe@PSiZiwZJ@1)Mw}7ETK`=gqiR^reK{Riyt*8V6W)_e=FrlJ(Q+p& z%>9k8PnF_gal6;JGTOVMT#NY2qop0=5qJ{~`nDEOI*2=lw~L7Cd%A+V4rWsf>lTS~ zID`oHJCJW<(E&OTEc(Or-N!7QI%jKQDGepi0^4m&Ufswf)Cq!<6~a*)Cna@pVX91J z)(KwWOgH!9IRy2x<;(SOsN{zo5#F!h#Uy7!V47@LC0yKjGUTk_$;VGJ4Yak*VBT9H zR@l8*;a@k{`izJBm&OCLl!EU@N84f`9Q!JwND@WmV;`IE^hM`-EgfAXgb-8R2EQds zQ&DM2%d2AMX{Z>D?LscCV%J0Vq@j=LRUoHTo6jr*muma?l=8koVzBFA#C{Ybcsc6JPIpK z7>6cp@G(!zKn{%v7lVP>LMmDBu|DrCWnE7&Yy zp?&LKNCbqzEGmR;FE1g=l09;MFA$o@y}NhU&^mlbQsP6OF`^{n@*2)$;Ki}vq2h5B zCZk0M9pjBFxV;|WCqMe3z&}4=ceHS9%DH_Fpt3chr*PuU&gfl|k~-iiX|d5m*VVA^ zgh^fD_W6L*DQwjMf6oGZZKm@go6|_=e);){T5*LO(ws?@gB5GGen3Cf1N2VRxkbSk zgGzs#wC%vNN|0T zqc75R>taz0NHgX!&{0+ff|B~>%Q?cakm|J2`-5ZPG&gNea2q>I`Yi~P19Va}fUEH; zk;x(^uM(j+0^iC~brHPDSS!nS_e2J26M_P{6^EQQ>I8H7OrLfhYSkqq4Y0(-Qeq8o zlAr}C&%j%#M`IXiZ9x_)_{=C0Dn|#JmBEhAx1+E>lhLMQh5vz|5V}WwhOr`QnA(1K zB#lSd#Q}_^iB%VeYeH}qrPRnYokdNtNkB))iIf@xOWyxq5+WD5EnaQnIWQzbgiaR9 MA(eyazn!}9Uki#?*8l(j literal 11683 zcmeHtcUaTuw(budWzQ%g7C>nVgQzqSkPa5gFrcVNlcpd|AP{_e;rJVV0I26i_2(R04v$R5eQ~3Sg0M1AlM`#xUWt z=&!(iqkJC>Q{HH9eCSj}7P~+CdPiu@+;Z32vzXNJA;P9GoCEM2>CRo46> z{|ie=;hUa)>d_Irh{B34H-ceqjZv|)V@we#civK^u~Z4eb_g_mX8?O^7sIc^4(_Ka zW7w;W@c7>!>05-SQHLxj5C5T3TBAawupbb8zuqGheCk&Ye55uV25u z6FSp!k&_=YbVJX-$u%iklx25t&FOEXwJIk4st^ zErrDJr*c)>X#&_SjJtOlqnG*hl-@5aO!{fHU?)y-@7@Id5|36LImJM0tyw2Z?R?}o zDrs$ND{2tUO@agP*TQK93`k~b1r)`)SX*!A)bem4!>v1ms+?ZL?#8e%^E8i=xTS^N zut(3PO2WjUYsqvtN+NOho;?rBYVO|s-nP*GM6_jNnzDP{5|{odL)dj0zw20*II|(S zfE6!*d3zVwK1#T_LD!qY%k=Au8y>VfS*FCJc63}=Nu=P4y*2l4>^>1cHrox z9u{x1^+*Stth7J;;@x(~B-`D#*hQ+ihTFS=DT-at*cvhv_TrMzM5kjwhoNhwpM#Q1 zwRSHlK*sq=NIbf>U%uUZr@C7Ibz`IZ^IyJgyLU8GT*Ldgv2nR?mr4;VGuNP1Ds`+(4wx@*oPk(-=;Mttzz&f4CiRDC>bh$*=d!##yW*+cQcxPo~ARYPfH}8S! z$UK5HhJ9D?s*hE91+H6+-CL3P@ZsJrbOwj?=)Om}HyttTWjc8cwqqLu9`PIze!jXB zCxHEM>3@Ft-|0Y1ucgpu2MIRWDJ2*I? zm)5Qq-&kD7j}pj-o18etJSLM}w-rgm%a-tc4YmW>(|2dwC z1qMM3-8QGOWtQh?H9U4nll zpKjceW8mIf?o)ziHe?vaM*Wm8h}|mD{7g2O|9H)vJJwSY^7$>17%_Cijxo>5O$~0= zQIM5QQ+5=+apQ(s;QOb&U0b$pHCg5_xkDh+V+WfuwP;U5M@RHAtb2-WGb|8xuKoUr z6E-$mFU!P5Xao%CKP)I<7E#6%RAWC|h=`nUaM&gyA}=o=>SA~DBM~;~S4g4RPDdWRi22#=O*G7pCpWfoCl<4=D4QMtnI)URxH~NyUy8ndU+F z&#hGzGFD1bwQMCT! zt82`gzD4mwVHGoR!jT8$Hlo$_RI@ z(d8TeX*`GH!LXY-T`D!@t#YlzDE?&nuhIe|$^XHMrq@#Gq`^47+QlJNv&$Q#?i|fL zfFCQNHT=A0-T7HB2hputx1Ipf0hKpJVD(z+XmOp(Q=kUBukVr~`F0g0UpuC|=XANZ zNQ?fIC9FY+=furYN`Q=XN~;5AW#~r+S!U~Merm~;fgHhq`rWGms{A@FZ46t}c9#(U zqCb34DqAl+1z>?3=Gax_?7N)h;b8gue))zJDT#EaAai45l;uDE_@mpx^k+OUKrQY| z4BK-2noCvef)BUq`La0*+H41p`i)N;F8Lv4N}{+`a`T2y9i5m#>S^?ZB31h z&CSiTyKY>+-agLL-mGveDU99QVF(6C0#-1k3Z~1gmoZ$yAvlv0E-uoWcUckvU#PbZUHncTSbp*&C^7L0IpV2C z{D`D&>bn|JWn}uFgeLB>zDK=b=i(6k=HF*Q+kg_T$&$n_9QJ;Tmk_}ZM6&85S=pri zr79<2etUuW-I=%q^ve7-?~THL?=FTllZ2Jm!1<^PkVVXFnORVV}*InqE`WXzn zQe4dp8w67EN$_>4Qetzq9t|#S#D5>~NxK2Oo>z00ZcC=7uc)A8;6cf-?z2ErBkQC< z%w<;lmJ^owLTZ8-Hdg6;`g|-iSqssSWO<7;W0my87s5vRIP!-}+KXRaj7A&6LHa}v zDu1x6Tdrod~vfo$}HIv|;qO(g>#Yx;uCN^YoGQG}^xDAdn|6@&%UeL#v;_9B3 zNis&Y&0IZBwYq8Y_O0nIQ9d<7@TK!FqlYR>OZTr8macB%suJcKfh#zu9udHv7QNKN z2?BK@%)OAQ?BOHv#xk6(irNMOJj`SuUEV41*&4O;?f2~;pE(r6Ez3TM>%2*9+ zI}RXHe$cwYqK( zfELw5QY2yhF9-D}U&`S-Z0t0tz>^*~PS$=31389L^->1Jd6>ljp4U+vr+LpRcVJ@~ zR193tgT_s!N#ZAXEZ9uMmuG@Z0-r@-WVolqLlm~_giU^YHKVr^?&@xK!q@PM13Wi1 zrur7w*m_Z9R90iRu7vHyvEKatt`#hVr?@E#NeuhJbbz#qGRH_X;!a+4QW1M}x+3Al z20f*(8yU6=fgjp1Aw4H5xKf-*7t;70laUkK6r%msiJordG#^Efou<%KT) z%H^42LNbVUBGJ3!;SKuF0$A(tWUbPNhXq9m@bCw46n3Td1a-4qdSiVqe>xw*^m=K1 zZCTk*&Dj!WQlY2*y6Nz~I8O9nBB=Qc4WE;XgUd^<#>UsLU#BXQ`Zl4x5{V$w8yvi{ zZR)PA!k#KX7=jL$cBiEzm$=g!fDp>c-tnhbhNgT5P+qcxD2{~p7>x|(i2^0u!y&Uf zAJI1u?8gEKJUUM38-TRE0BOJivssQLTr%Q^=q2(@r{k!v3M8rH06rQ{jWEWQ;eWY2 zG1;if;eG{?+7>o9E0)_cG3vVfq;_BfK!$#BH`nQ;LUpF_VrwhqA2=Jd1@KsH|b=azJ|5>#(vm2h=TvO%J!p z0rUVSnzEX+nGf=F5{?KPl<)lX4R*om`fUFu+>_7uw5MB-AjV!2_~AK%#6qX4{fJ+q zYJB7kK&hTQ=LQ`Jc0;0Stv##K70Gi>3`-9Wb+BVJ5Rfjl+76ePkl+TuO!pgneD+8= zSSv12Q7$u667~6ym!(RuBZLSj3dNiP5B=>s$V<*mN8?Iy58xM5=x1IrDQ4qUb~r zk_u_cK{j5mW>x~TcOfjz>{eA3D+kQk6X~4R3QQh;PK90N-~J>3drX_vBwgEeG{G^T zM$;vlU2!P`?k~(?V76)rP*V~WJC~X$6M%_4C>x>NI=I7`1CYTV5O1$l;rwsC zdc`v&fjmQBR#6jz~toQKPkUegO!) z2FR3Z!0iSPFf{JM7}VhhOH-G5iwC!1*stZ*cnaL*r5pso^kenxXM!@4T~5JAW0rY? zsSF0=QqH&V%By3`2YbqW-noGVBcua+981eip%a#W6~eIA_K%^8`|2LUuI?!nyE0m# zxLU363m=RPC#^*xa>K4KMM6sjJgKhZD}eh-5myXqak#t0{YcX)I82ZH;;PUZ&>2Uw zDe@3+Nw7Fz@z1VT_u&~-*ti-PioO00X;6MmuHU#}GTQmb{pkgP32^ena6mM^+g0rN z)7H0(^HWTCfFvl4_nNup*LERA=nl$Ljlf?-HkW#fzItb|tLrVmy4}|eWN})4-5c#( zB0Uy|&5RO&&J>45r+KJ(yuL237v|>_^h&<1%&R5ifd6T~KC&8=jIT`n7x-iyf2NpL z#mbTJ%EFswvmtmAK|UfgfL#fEYk07Z@CFc!!XbgP2n5DC8-gynwi>s__Alz5Z-~FH z6KjC|l6vg^lNw+zDv8GkAf0F;h(wWw}dAkUSOrO#adV z4~I1Nmrf7xS>wSR?WH}mDH!qhg!9M;iL7G(cn6A1g{;8C>`DYKOB{lXb^ftrt$_$R zFk7FoA?nyjWdEZm|F9NB`Hq{@ui2mTbEOH8g67Z+Y-f8Q;uxV`5qi! zcUZonxaX^Fs0AX#?yE4~RTJdsSn7XKpF%GP9be3(1i$S*V)xr3I-7o zNV+#jp!MSWb|9Qzb#y&;a3^?ZAa8LoOQWu-sM2^g-Q3ElTaH^Vsl5+abWN}OuA?`% zTvM=00c#v3SzdX$Mzj9Z8~eJrSOEnH?~TYT(3_+W@++ICpd@SShK-4@6ICKwAJdVC z`h^r1Y=;TjAf8ABon!)1)iT%6ps0?&kowh%`_z=_n_KKiD*9juWFz?=WE`IYSqNNd zur}7%Sjn+cX|JN9`}?OqRnYzyCoeaCvw|toK{Dtux}QN?U`w=RpQnSUoM{sAnw6nW z6n6}SDgZjTcqdPuWOV~^>W!800(J*}pA8Rn23`nlzz*j5yiJ#nX&2J!+lZ=x{_^4! zeXJ3XKF7<|#EAPGmrh zMgGc(6K!8s16}dmWS=5)AipfWUa{1?+i9U zeksM1V}aec&wcrz7B<$6m~6~=aBgB*i=iI)Iu65a80KwkPGut#xYxHhxj1g708bS$ zqk<=YCz#cYht{T8lm=*=HkV(e&xHH;l*%I|ooAL>R2B8%Rz*v} z!-ul6Zm=7Q#tWV%hx2x{Tb(^Jd)IKWAj;xd^HHYa$8i4_osZV&X(bn58LXJemMPIc;G<*upnfhVLGk^wMF^N+#MS(3f%h+~fvpMcm-F!fpYFEVduz84 zitCoBZw!?eYfRm%_(lD3iO^H!d>O2V#o~6SH+Dqkc=Q~g8)`tmP+ZN;m_3DL>ui5` z-jT~2=&?efe`^$?P9ykQqEV8YK2c2FC!F(2=8D)il^PL`2M4n91(Q2R?k6lS1v2?Fxq^q+S&lyfIeSC3?JwkOwzCpR!CosWZh6#A`zj&nCgFKR;d z`Lgr>Xo+7<|GzYiwnS-g1ONR-IZZlR$#8kTg$95m1K1_1>f&@or)P>iOsNEwAg+1- zlq3XX$?QP18JH(X^@30#Y{8x3+UHKs_9EN@Z=#tAgw5~lrK3c$yei_v`d^-|Rtp_z zN0P?!rp6xNGC5>eWSznGX!NftlKVi?`p5Z58`Vx_b2KK;-SspZtbis-!}DL)f#@7x zp^xsV2BH?}D#`0q$hWX-rTM(ObzQQu&AOw7_BBzVY$otG9QE6G*Qv2MAAQ0iQ-=9` zooZ5Wi-DG`EOOtB;PIGn^eSJ@jeTx5+#4^$&5CwKNh;1yG#ZHCGp_Mn66fCMkib<<)@aMWc*Air2?mZ-Z1 zIk3`xFq-Z^e3*a?v72BAfP6wtpZfIL=|2vqu075H5>BWeZp%YDs|~{RaOx2^^d#iz zw_lxGkH)lmsqj9L{OqvPO7@SR2B^}77-`k|&~{#-(x_G;p8_?qQF-$4@K8JV^2*^< z!Q%myxc=>SPIwb&E>Z!Q?1u3_w8C+@@K`wp(Wab%niX$2KPPIhO4Y}!tBzHAZ63Q2d7xKvzT+X% zjY+i?Ao+%(UFSf+H0T2&k@)uQNh2Rim#}GPMVNO`jhjeB4#FH~na{ZoKJUuh17bSJ z3pnmxCfM5+{s{bB#K~Rfo{Qaq7%qvKpCq#@>27GM1l$Gk1#5*J7xfEal7RvOw+v$F z9GC#FQ5)9}+NM2#y(@X36a49%NJ$fFAUdRZ^uYBmmhg~U@^f=jju%8ETx;xDE%7Cs zhxKq<&xn7o$E=V$n&+2Sg~+riW7n#tu=HzdQ(<>98{c2N!6F^67FS z&^GOf3k^F@z6kWQQs*5B5QJSjjz%7>GTsT8?u3cxeunall=%gc{6U1n@wo1+nsMTo( z(>DT+U1GWq`Ol!;?;UCp5kX!O62dTwQShtpN?A>J$~82JPs+K^K78Y)QI2Os!}cPW|3u4AB=d(!R$u zRoYqM6Y{Z<%Y_=bXh;Phsv?;4L#njF$}!Oc>S8a`V&BdWf@Tocj|dzCF3|>(VQxIU zj?xqjaV>9}BDqaaI^xV2Kp!HV5dhbQc+>aqU;xXQ>XV->ii~(vD`aIsHy~_<`i_t{ z1x*;iWRnckv8ZaOq+oO$>_9Me7`?j2b;Uqz+kmHLCu{vTM^av*&1;i>MGj^_CH4ac` zaPgBC6FyhqoD9xZ==5k;KxS|?_#1dwgo=7h#nqEP_Ce{NXgwlaPpVsD>(YQt23NIBRv?@7_DxBT~ zk!AJRkQm6CF>;jfuKtUY&>tnh={C zv8&r|wDj2uO->OlRBJRg7)-ZTx2%|c{7B@ufS`u%$x(JCMDLC`sQolBmXLi{0(;Zu zcDqmM(yq!|+zA-0t;kiCW!$}XECIFdP?8P5{iE?fnXxfs(t~Cty-9WeK`%v{K}3oR zrF`*Ju`}gBrC-k`!23u2Py=`n$!6>+@U%?RJlenj)aBHmfjT~6m0=B4`RQ^14BQ|M zNt}Bhbm3UGZtU1hmdwDK+c1lW+96g3Gp9hGtK(VO;n2ucXD|{~n@6hwLhn!M1LYm4 z`T(OgCVfGT$`k#ZI4wjZq3MZ-?5D!xU+>Z}+&(VT&;2kT=9y*{1d!H%n#4fuQ^0WE zT|7mYV@W*#w-yQv4f^nRU~{2dHqs87a#sxT>o$tC81noU=UWIVj<_m$Sy_a9Xm}7X zND;Wwlm4zy&VT`G4wCwUEMh)exF#UqU7F$WRGmlp6d3ff?Yyu26p}r>-`S6s4YG7UVPeOdA zArfIfdgEkNb|D|BD-F5KZ9gQ+>|SjcdH_ZiQTKsM51;`%M00oe55I~vK&*;g6hysi z^=553bYiF*u?X0f2-I$65E4F;n(i8>gQi@x`T~#W&-Mi)w>kno@5W!8NAk&-Dj048 zeY_)Yat!qNa6k>vJP!BiM4c=b7{Z)``w&Ac6gKFdDbqUwK5zBHNCC2OsEA>9L$l!k zM;(p?xfXp9%;X8kZOxnrMm*y5?o^@(P@Scvf?F^@iPVD8+%w@x-DO~Ln_;ZazYon9 zK{GIdUD3rDDJU*dcSKAPSY^_)i-I&nf|2<;KgFV