From aff4c78cea48fd7f22c4bf6a7b2ba70c249e4786 Mon Sep 17 00:00:00 2001 From: The-Themis-Benchmarks <70174675+the-themis-benchmarks@users.noreply.github.com> Date: Sat, 5 Jun 2021 04:15:25 +0200 Subject: [PATCH] Add files via upload --- Themis_evaluation_data.xlsx | Bin 0 -> 25586 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Themis_evaluation_data.xlsx diff --git a/Themis_evaluation_data.xlsx b/Themis_evaluation_data.xlsx new file mode 100644 index 0000000000000000000000000000000000000000..cb382c5dceed2d421760adad8abde2964cce4c07 GIT binary patch literal 25586 zcmeFZWmwhQw>FGYQqrB$B_Sc*9kM`>?r!OB>6QkmMT3-dOQUo*NOyNX3w7^}JN{>% z>wVAp@;rR_F%9%IgHEdY|>5NKdfU{Aonz@C9+LiBG~Jpu!ZhXeyd1$**X zRnXGHR^P%_Q{L&VzKuGaqq!Lo5aKaq8rWly{Qvv;zt{t9(ft-J4DcO$QKwH8ieBS> zV~|Gm1)mPX9hv~w3rt5gMrrqIp6*BRV3x*zB5NEcV!pU{H5tl{XK4~u_$5ML`;!asV0$mc~;liMUYsc{%sn)O{KM$egTsMzJVOl*S0%eHpySUHtvy z`bISIRjEa+DyWjJ`Bb5Pc12=O=Ws8MavRUoDMPkQ25Y%Ng`MgrqO-4WM|g+7aSf5e zyk-BaEzdkyL-Fj1Y^#-0Im_%|WcI))wjk3QS}ulV%IfAiE*RL|9XJ@^mrSitU?4dL z!A}a5h;X1x)wI?(v!SQEfBwG={l7RZADI5}y|hd#1H9j!*tLJx+30Kpl7OTGzgXQf zd3R6o8N`av3{u?LCJH#x(ZT%ns?&rTPaKL(?qagtOz6#B(oTG>HU zlUv7%Sbbb*L$)7189hx9m2jf8ZwRL@sLoB7{4!4>GJGIZiquc1hy#O~h3ALCo#3U? zA+0>8b6)glRN(bap*D)v>fRy)S6L<;){cRRhWX z-~Ce`B_r9!fYiR{J^!p{HoLGkz^oQpc%q<)kSKFF+bk)%=R9YA4p3^Rofo%gH5YN_ z&h=t?)^I$?0e-|Whe%QmX+4ANOsk@Hgcf~8jT`FN0a)=)gexs_PXxj z{9I!`j!*bpz1{k`)Vt*_-$8&sj&d`bd$2MJKYxm0*SOyK{(=}rq+ysiF}uYfS^RdY zHb&CqM;KjOQ-Y5cGc!G;&snVN$RU*ROI#O_=sgW0P@P~_4HU2lrX1f6`)66*2F6jm zRC4`WB+U>F9Akk{GU=%Nsir*~fm-I_5j)D#X4cL%wNw{&w<>cJ+x{4gPtpwBR*Z}0bZ~=3 zsMjatHW*mOtyA8kpH^Vpzu`1-x?HW=l8nwueC31yD}41U@5Ywt zy-ee4w>T-{q@j^$WZ{k&JatBv4@PTaf(lI{8nPZuQJ?$n=g=|Fm7_}Gn~w&li9eUL zc|4#;>Xw;W`)i~?F-FZP zN&fw>BxR4L2WtcDW+}!dqVgH@6IkPX8S2IM@d#G@2;p-ZRZoF_%9|p)kE6;Ol8e!) z9lu;o&3HyqI4WWJMPg3GXoVb2y&ZkgO0Q@7*`HJWZmZ_e74ZGHx5o*0>%NN-O5f-Q zV4rvERt}B#$mc5Bd4EwvSPb-%ALSNb$u1;Y#=Pi_-)4imZBC@Ea)x!vLtvNGKF!J3l~oSFoci!ex#>+C`_)>}2T|aJ@9tWg-F-}0bysPw z%%6pA9F!?42{*cuF87^*4VB;X*ftUXtZrQgW-9q95}O zoOPp%+^4&=_Yv+PZgRT)_(%-vM^Gg5d%Ui;7zKYR|(EA%9YNl zsH2a3<$^j$_2Qf5_4fKy<$nO>B9&?VW-Wrd68AJXcT3nFay}7p3Z5HF(eqrtM5(r{ z%jP=7AWVj2T$xUA9%jf4qsQ3U3R~}Vc_)r+PNnTI22z*buZo?Cn>4C7V}ZTWyb^a7 zF?Q)QT?up`ipQ(M=-Fux)%e+`vKLD{5CV_HnIYdv%@34mf>PwKbo}I<)-(zP7}zIt zFffE4Nn~T|WTtO(Ps7_vy%tNXNR625oKI?LE=w~f{4#~jL_a^C7WT^ID=rtB6rz$# zTbG{$cJlD`yZN6!3OY51wVekFeyLpUC?&}WurYed$WF}b-irN{9ksr|I-grh7Nt*M zw(*lKLfN~Vch3cGlCCDOHdUyQC6QO){V#FiF6-92>AmHOs2WvuXjwe9^mFO6Xgji% z$t6Ez90p;=H^+qpP&M23UvNqv}T}fgmma;_Za5}_`zzf`a;~TkO&-cCu zhRj-BcS9v5WS$-i)996#iGCgBAoVn6*qgu|;)>%z4t8+}dMEN?u<>PO5tQrr-7dTY zO5;ed3og=Wrssw-XA&O*mlGfJBI)yR!@lU#%Oi7bC&jWUi4@|$5O?826RNZj;cubB z#L=cIdW*9uNTy5K*&9y<)T0YPF`%TdoejVz%QdgVjzgU=CSxAW@145S$P;crh8RT6 zz}3)UL_A@u+-!0)>3_tY+eOeGBe(q7&lV$WiQ;TIpz`V(x{>!Nwe=2yaQd`<B^})3}%NSwUJy4-Pn6t zQXr*Uz}2_n@`V0vMlM*Xxi@i=fzP-tnmcA;^X_L3ld8)l6NO6EZ+VlfNL)Q8FI5GF z`Ns(rFYtn^8wZGDH$$1BR;K0<$lzj^M9?6SB$J9Nm%UxR)2ZPp_VHhqmVHfmv!&Bk zz6VLYYo)N2C1n$mb@Zmna{oDlQoskAnSV|C$|RjDQzN6>oL2_bUltH){pAf+qZPi zI`h`r+Xd#RbWY)9%*Agl?U|?uJ$-_w7T3_$At+la*;dc&MR+hA! zWB2Fa+k=RtVGu>vh9pwuy+qRWCH|M#sDN_Gmks8K zkSz%pY>0h=OGo4L`6#n5vTD#UA30$|1q7;LsC}gOZsMUAjRG?U;YgBdLilZ`?Y{Hr z7X6wEF2pARO$c1wO+~CN*H-F$&98|tX=;)Rvfv*1EMpZqLr{R6%p;5Fwe(T6Bl=uYMMS_bQ@ap~)G_hezUjY8Yg_3fIu1Jm|{ZQCZ zZPptbJYR+m08tYwJIgumh!PCOrsLQA=B;hcVqfbwxcKu2wM;iQ%e3w9?g*n2#^DJP zwKB3c@=4#X-v&o6&5Zs$)qSN<^~ zf-{|fz0dU;EYO9|ovWh7cIf6y+nO6;BQMSs>7@1rZ8_c*RZhO1!7;x8C|=}Q=x|cOXqG74{Fi-++i&N+$DlaAHD`S z;@d}R+@7EEvPwzb67U&s4x4a!0@-jxR9-IDMr$_cfXAepZ#vSK6-OV~2GlJFsdroM z)f`aq#MG|=mPA%*+({=|DWU>ppgf@U5|uhQTdeR%5q44rR+|H6UucVrV3EUih;Yg{ zWsX*iB$~Xcv*iFQb6`qPL3|dc|HXRAYB&*FdFEU4=f-N$$dy=nIdsJ!<5?M9f^|)P zC_mMRyk%H96jh>|&?qaD1`JW6>qks44gx>&eq#%D;|Sv=dN#b#uMmlZa%H=MY70-1 zAk)AB$tdkAu|XAZFtMr2duqR#P0I+gG!PW5H7}*{wc`@STCIG|JSV$|b=ROXdII4L z?SeGK)!S5!W%h_dDivmR+p^$EWoK37C;`S*75?3H((c< z?+P5TgZ9~Y&=_v`V-G>aPc?=Ew}fp3223=;nMF#?q4I$q^!1t4mdBXNEl|R+X8haI zfvz|K^ivZlXLQM?Q5RknUk02~wRNpG=HjpCQ~s%r!X74kXE5v%`TEV z?5txtySu&!PA=_p!T}P?kdVqPTgJd$%K$OOXhCTaVzR-MUI)641h* z%(}(FJevJ|<;4mWF`KQ$#S-Z-c1l$wv@2cVR1RYncc^yxdbZi|*>|V;3Wi@5l2H53 zHtpq)&>d-R;KbTs@?Y_{jy#7mSU2Nj=or2g{v66;OJ(5bo;ARNbx{PS2+=h&N<_UZ z5H!07liYk$dwaM0S$tkTW$W{rzw?*@%rZc=Y)PH&F87VW*ve=WA%NkUmH7&Efck55 z*o=wP_zHBo>L9wmdj5XGvNh5-*QfvfWc=PDD)$ECzC>%nyyS(qakyq#3MZTU)^8Ry zORAR~jaN~*E&GP)#rt|()W>A(CvudTS#biE+|fgP;0O)J;V`7-8-#-ty%QvbE2K$g z5-Rox!J@YfIXP!3?#@TH2SW|<&Z6;fE$?GB8v%#hA3`SLNrz)SOxY-zU1h|gLy+}h zEH2<^uO+8b-K~+$zdY%j0KX72OOGWKXP>6VXn*1tS^e37&1;@Kq*JVgBo(6*58r1l z9)l)Jt`Ljl{kev>4#36j#WRv^gcu1Am%MtJ1;$7Lgb>Pk#r#sT^wOo)PXYnH>vFsJ z&!!HwQy4i37F~wUC{a+{jV{P;)-bE+F$Uj|3#~vY3tFVzy{M7Wa#b3%IoxPA86tY( zqvDdK37)Igd9rn*(o{K=^T>$VJ0`nwf@3SjB0?Jha5GYNpWj zTGqo*=iq(#8{Sj(%SIp+Y|FitQX+o2q7t(Ef(Oj=u^g%R;+J-KnSm#ts)H%nzqL)1 z4L?D#^g|)ns+OlhkWe@;=JC4CCJCx!c##>St`(?+D|hOs)AmKG@|q@X^d%8}3b)Jc z{>G7i6Sv3l`bDeer$ z^16NQZg132j%oty0tX^Zcj+WPf}O1~r714TO@@}}uObAY1ZJ}}54~wl-pI0L>r_BgL^>UN=LU5 zo$R(8yAUG_eq*rS@(XK^W>NAYdQu_hAgZHFUD|h&s~r9(IQ&hp@Jmmx2-MqH-%DDr z57h)?F-3CQPlN)vY^J2%ceS~bKYb<~>EI)d=^8%CDa0*^2l&J|Qw3Ama$`VT4Y_QR z7)=pyso#fRS|5_oK!|DUT@tK6#Z@^`(HqFb$#IkyGgXK6+BT#E%cY9PMrlBsse7$v zP?1ALN~p7~ ze2{le4tpy7jpgwQ;d1aW)i~rj!~41>@vYD&%7$^y7`v|OZ)w~u%R03*=eTzoA+TLd zu!&BqPJ5ALO})9a{hq+WW6pX9px>$qB^Rie?M5d}B(Wlbqlvs}K#f`sZSN2KL~-r# zmB8VV4HRU!>cLesM-rv}nvho+%o!oAsk2ea%;&f7KiZ5rDcER?p5I;N8w_jk6zlhy zCLF1BoSdHUnzCpdE{i z`N>}>nnNw>)mJFS$at6Nw&$A9Jz@};2l0UBG>V=`JSt0xd^ChfR!Fv-U5+oBNsRqw zv1C(T5qd4WE_!>L-#(B3k#rKTrGYRsyaAkJ?Im)ik`g@)bXcHgu#fd-FQZpd33}wp zg~OuOSEKRzpdt3?FcOYnfITo?FQtVgu&8HHhK3MJW-_rkeT$AOJ|FzFL1y+P;pkTz zDC1Sb>~`wS5!gX-AFtO)FAX?dkB=#pHY80yOAvn*L4B~O^H;^Daof@?OY`ui7u&z>l zVnU|xo}ruz9V5Y+TZMa*c0)v?tF=Pqrq>8|W>Qyq_qP|ES7&=lBA~mOGfFTpk{{*w z{({rSNMGO9=I5>X_dmW@;_r9nJu1?cpc|V8%ykb2TSZDaP5aU>EgNH>A1CeVL=p2@ zmJ6wVBn#sk691s7DG}%pl@`Y0AH*{ep&!3G>{|bl>3aVlJ&(dc02gMHE6q@r0Xg4O zF8{=7f4rCY0~D%m4Yd=3#0O|jZSQc*rrX1Xy4)H&-WM@uy={fS9w&hE^sPt$74_g- z8>m9SZW8*spX!-xv3Pedf+k!Gkdowb1*f^afQ2Hp`-snj&KOV1!oKioYbm(ZgbeNg zCdiy5`X>C2C`MI$T+Vz3s8;OjrZQG7U7S@|*Du;o$d^+%A z-lyD3^gm6Z&BUN_JSQ%kAQ3ZwY1IxeT+#(BHe;}ub@wGOcUd>xM6V{Bo@uc4#9`rk zTqWQ2;NDV--8Dv3R4;xNE}2_OyZC5>01?K9P1wo3{%N!&zQijFoZn(L)ba)abBBIM zfGYGgUfLX@XrCF-e!);gPzG~`vlZhEP^Nffz*^QGd*iDd}l4W4dAh% zM!=`>G2E@fmLXQXmQP_@%|`S6u2S)OomYI)*ZY)6Ck19CA67m*Af_Xc5zkoR-Kj^fZ*5D0X(EmYvVa@H$V?xP&^jBimnO_UzD{ zM+#qoMaE={F)<*vf4j;EVNN7Ian=M&HS^->mD3xqw5&;`CBTukS&kq%07Sy;x5S@t zg+4<>wEHqI;0g_9-98(jaOiAxAwc=5vB{6`+oR7eGtDKBQk?-of)!$6$%Bpop(G?> znI4T#JT`MUC~WASB|W2H9s!5G?NjZ}s`}TIx0>(a%I}dK;z||!BUUlw4tYWD$rCJQP0uwGE!H!t#vni zK$GCvMXR6^Uc&y`1}AKCJx7t_0X>Lh{(1`F-GOivqX7eJWO)RJ^%olYgMdCHtJ>gx zu{W5f(7E;T-pdi*?+bgw`4mzf9WY+fnPOO(XhIc6YC?IsGO=*SqnVD<*4H2rgUzE| zRg39Bo<>if8$;>Id(*9%%G+?cw6HPV*-3Bt>J9IQlzQj$!`*}Na7}j?o5Q`kob&14 zF9nwUXPWK}cgN=|3%y@>2^*8IyZi61JZ_HHmWFv7-5ec3MaK51yOT%jxkP|0~V2P#zCwH+yI2lgp!-mMC$OJ^;D~8JKdg-Md8Z4>+mn*Kgh3?VTGr>bRUvcF!zfmj}#^cq`;> zuVOEc`USh&p%U?~pe~u1l?vUfYirpWB)EozjdIs)j2ur}52NZ}rH|LTb)WOpYz^>v z5TwpXzj`{wcINT?#>vPj!O4KZD^{&`W2c4F$!un4w9vjljc+7kP230`gBElj{AW|b%5^QtjavO0O zaj$c&b7R2=$PLR2nyeYp=Y{fy8QxSRoxJuPo9^bSu_|-VAGq|$duwCf8x*6emZV3~ zE=6H+6SL8oXCN_yGy96nV9w>C8c3mOvFk%m!gvWp-@5wZC~nL`YITdf@FSpayjG>|9#r zyf^BZIo8aPWMv|=SPr%oPoT>i>et_TJ@JeENTCTsnmA<#orCexL^w=m9M|^L%4&ui z@1<)q#p0qj-czf8I-&ZL-5pYc);(|Ni!GMI=Ra)67){|)q!n~6k$tG!bmEMm4O9M; zwq-A!e>HZ}QA4Mw>1^C;t@B>#&`Ag&qs=(w52b~_I%l`3XPFI=wMzv~^K>VmI269l zO5L@mX4GBf-{D{4-{N26-)q+5V>ZZ8qYs%pUoz?;*XrEv@!hwl4(#aBWbKPS@9s!I zd3h*Y8}~w8E{o8JGbWz#DD5=uAnhdWDD6y(fe2(Yt*&_dDQ~#O;A6(G?-E(MpfbUz zz}Ypj-auOmsWMM{jSwM-!3}vG6Zw!?g=IwO91^0Nu;||Ge%+=UnF#h}s8dvj9-W<@dT@k|im`Jt!pcMMn15+(|zi&H%PCK56hFZ(AbnE-mqTW>LdapK6X2 zn8JF!c}SfqHqA1T0tB%~a^CV@Mvw4jT!Vr5VhBT?mh%b~-*4Ui4<-#;v_uinE zvR@|J<+8s@{3$NP-f}kh5z3fPCE{r&G&XIZ4c_d~nxmBsmu||;YnP#5j}PqqO~c2t zgzH9b_`&r`e#CYD=fOD%C>~v9UvjBlnEY-bs}Iwo5oV(2V$efA@Ud;J9Gh!Hhw;ZF zjc=sd=n(hHO&iXTQYp>&U?Wg6VM$d825gxN_;DgIGQl_ap(GdaM9I{?4stHfnh>*! zYL-1^u}?Z+fi#hbppKvvogaMKYZ3vK3Aw@N9MSxqty6Xw!`6(&SgpLbS~si?fJ&7( zz6mH>AGKlG{c0a2`&w@#8kX-_! zZBC#&ZCJ3{65Ou`twebBMWkb7%Me)Xkrt+Ne|lyx6r;136Q`|=eT%hI^(wVl!`tes6*`7!{YGoS77t`Xyfw6!hfgy)da1(}kAv`NJVTYz5byOkbJy5*)lH z__@v~G|~;6kaAKmR~Rx&0a8QrT(UGNj*v&NXl@`>mt~F(i#uoUL+|(4 z!~U{YJi|2;mOIgDBO(@$iun(pw`sfp8vUXYJ30IvydPmeFS1|w8{CM;nGku81FhdJ zWGMfF9>eoh_rwD~E(gKh8r4gO^bP{jlq;V$K-slQq&u!V(|9;9LZ9Qu-{4x;`*~k> z_;>UnnzrosYn^*dtUPK(Wa*INzXt#ZS1r4k(BRX|htT`Lm`PaxEO zXG!|~Ef_7@^ZX69P>(x?jO_S=gS|_Gms!o|OmHeaUR`KBr}^ zfvw%@MqU#q3-~VhCfk?$-=Va*zi#jL4dG9~TSJ>)T}MCNHTwxX5d2=JW#79(!_Q5W z^C3!sc>Qa%SBs8JXSZtyZiQ>N5VRvgidXl)KsY45wi_qRS z3mfw``y-%yeZhvsf_JuOv>N7nf`%*TbFG1N&3J++`Ukyn1=$c-jAuJ+*Bu24(F_u1 zze`-<|8S|y<=DTT^T0x%^`pFpFk75?=7}$4S?;ig8VEJ$aZ5Hri?}$_e@K*V8Whq= z{hMQao-94wEC6PS_srW3GoWG0^B`lC9BJ0gWg;F9ErvG#>AIsOe&P<_L*nUDUKxj6 zIfgli>yIboea}u+^~r_(w)SnOro-B6>2j@WXk~%k!<7rrzTV>FXg1+1w&@=Vyc)6z zO>r+v;W`NAMt-9d5ZQKI5L?yVfS?4;LV@rSj(h~m1#;38jc8?|G%Ps3rPXrK>`(bR z=hDRX;c@)R0&f|f$;Sqb^D7;J-o-;uS}59sn$@os*&W4UH5S*KUH65fjN_s5j`FC6 zD45l=JP}6lH!woE%Jt+RDZLRi&_qwrM2{VT4ncFlP<%l=zO)C>X{`Z&k}QDV$iMV> zuN_*abAMkelv$&s7Hp)ZaTv|Cd3sG_Hyclv3`LqL2H{E7-lsh5z-a4 z?-kg93AmhRG?4<)Dm)C!FM?rKyXDPz3Yv}yjc{!p>!xEy6_2R+K>Uw{o8j>hUuE<` z@eP5Q9p~h@wFr{D8>|KB()-fiP`%1kp3^mW3U*!B&UB*{E}lvfyTi{%=^selNFpOWV@7o#Dxw zeC06xc<&!e1JNhhQoMzj1wv}sL8lb`03FFLNkAZ2RlbE=`TWg-t;fw zg3;YPlgJG$dUgLx*>&Yd+^|`GD^&(go)3DHgOa{4O*O?!C@<%rQ4oMl!6cwm(CG+0 z!@fcLZH_R`FU}`uV;`^b3BcW>cUrp1;w^?@>Gp{~7`*(Y52-_WcJ;s@XscJJJ46Df z^sP70pIYO5wj@1tP=jJctwfq{Iw@8!4{|K9!xj2Qs}mIUkMHX#nj0UB$sZM8_Cv$? zf@A6onJsU`0m*JBJ=BRIYdR&4uq(EDM*{*#Sr9OHr)zNTvLvx@%#b^OsTQJEr*lwD zL2TyL@D7|p8S9n+7~yVH#w8}G->hVLy=0mGl+2!LaSZA~W8%Z+GNuiMT*a#9HyjS? z00u=URS4QbTyS4pQmvZQH|Zb0)*mqgrGYS>#ltjcuW1cEc-6DlkmRxmr{7imsrYAbIE?Ag+rKSqT@m_dueN}zY8dw7`ld8J zHETFdT0}Zh_I2Orc@@^0NlEi!8G8DtRq5Ctct0Q_4|_v*Bi^A-v}y#&VjA(YdzC3H0-HgM%TG41)*#7>4oopD4*eL2V(8ECLh=cFA1j+9D;x z5wlg3k{82kEGtsHN(mbll}~glx2jsl7f}&jVG-#B*&l&+TWA@Cet=8uWX?;hCc$rY^lJWB zJQ_S7ZCE0W(*zln14(75adcYT4AvT7D_E=V@RxHRbLy+q8Oq^Jam-s z`40*w!jj!06X{i|s3rk+KuwrXFOD9#9E1*!p8_zK11(|N=TB}WLhZyKkLsW9S5m*) zdj`ugNalZs0|b;+^Q@Z8KyDZmb*RUpffC`-E8lXD{{R_snwqd#sc56&sgGiC; zc&^jCI7Z^@*7$-1`#WXiV<_{V3WJ(D(dqPuEhzNHQ~am&XX8;mqFXHxbP@$2={rAcpk@NYs zTRwMk2!yI*HDFV-*2mZ4#X!Ye9(~k*is{+bNvBkgylADAI@F#W1_>~c%tTF24+Q+8VRg-6r7=-@TW zTQeTkw1~b_O^lA^MSJa;bCQ~^JcDaDs7_7d?fzwf!NZn#WRE-c&%e?!!*#RR!=nvX z@_AFp8tLvT_>*xjp^UZuInd1YtbPdA-zf3Nx#svf@RxbVC}$jMt!Ln+(}~5(8Kd{7 zUViF`=Uu<>txmo8`RVOiq$RYD&JT=$$~bx#hTbn73L|-A^#N4s)RTu5999qR(=VBc zg=+8OQ*{Jh%IFNP;h(tV*Z95C!-h9PPX2Pp4zaP!O_FTHtxqQi2pt^%IQXM`_?vB` z525yqp>=fM$pQbt0NoERlGA-6Gj$$J$haBB%KkVcMBi(^ml^*rX@sZSvSd-uG7AY> ztuy_fRqI|R$Q8?%Vrg+H+BAPYmfp|fY;vg zM5+=1yrHIHye&@fxY^mF#W1-FH zHG!qg__LAvn=oM5zy-s!bp)KP|Ln{D#$z6@2Ph6*g>@ZG=zMANAG zBg7OG{~?QhMv6kEsG0T4e4;qh7S}g9fK>1xYv1dVbn6p^hl^eWC4mPDKL`-a=o|9biF=&rpkHUThZpq8Sdzit52lG;3Rs6$2#StvLFw_v&{8 zdKG8NL^IXgVtzH_Q#pt4b9|5)u7Lx9cM^mSCxxbfayL$1F&=y$)}Taoi7XFu}=h{Szgkm5_ZbixDNEztV;Kc zHWHl{dYTpGs+2AKQ{*pV8w0ejS5KF&>KzI^fodD7M!BE|-`AK%$jmF`!!eyYmJ1_iVhtiq~DBznZD;yj>csLC^%#tlyFe!#2=(k-$0_<8V* ztMtX#d4hctq7)@aSzo{VS0AXcS@63oQSbQP<(MN(2^VPg6{|(#P?dnf{kyrps@{9A z-ztq;H}Ol&*C3VXzV?s92p|2;;t#C;)U}d$ScvXMlST=ejzj&2jrYc$C`>`GtMdJP zG;XODL|g8_&75rMVatNt#w`CA-wnBfJY@`0kv3>;OZjWnDWp}=qe(T{3XMnR0kFXL zxx`Z_I{_v@zg)7-0B7Jc0lM*M%jAFZ^Y0G7j1~U>Pw;oEKn597%}-%g-`Jsq|FmB- z>*gLiH}@$2WBUh=wG)|#{SmV7AiH?rOc0hDB|r{`%)Gc%pT}tevl#?Az@qWhBJzKL z+r7(_msd@{R`so`J`x7uWZ+lS{0<+`pqn`EzY@Hp-T?<;X$O4%q_FIJym3bb@bg^pm3y19F6{yw?MFn6}D*1cHR2Whz_{V!~c?U zzANybxCunUgy%(;$vLj3n%_yBMww~E<^rm&hJEWpIpNKGFn^SAT{s31ga1} zY3L!Kz7rGeeOUho1Y1-)K;IFe1XZG6lL{2ddnTOH1QoO&K=_g0>I1(KE{Ml|Q08}C zzvt9XI{(4qmypx99~izbeV>7#>ZR}>I3M#K0pA1gr*wV5x!)OoXs@!>HTmDUt3}mM zqiS6>cL!2h&qSy`^qc*EVDmwu+?SxAj{2Vz z{7ZCx3E$r-aL*vWgY!p~14ZLUq~d<}J*a*89@e8jb1TT$A7nxH3t9Y%fuDK(g8=C^ z{v}iX5WJ*zdIZAL71(bNjc)}Hlb{>OHvYY|>CD4+t^Q~B+Y0)(`Sd?7_-EEDC>{be zA&-Y{P4e&Cms+4D&Y*ya%9sECcx5WMr$BW+r^~0U% z|KQHwIz!OO@3%J2;@7nM+meS-qxQPdPVkqW^UnvH??;_~6dYCj0{2G~4;mdlevQ87 zob)eKY4+cin*U|N-*ZYj=Kfe$_4j!HJ*B>%y1v6W>mLGi-wXVH?8^Rne=bt}FW?EH z(;r;-uWWx^RNQp`F+PoX-ub)hVSf*IH^#l!neO&k5e2ZTAD9(eAj^AyFC>Gqd#Pwf`ok1v>PT2~70IMd^A zPOjQHRt}_(ol5#US32RR(A(xZ-43Ovm}~fB!r_~EYI2N}^=|E3rwbY{{SeW3Zp(J7 zGaE;6VteFVudyi`wUQ;uJzq~?8S7lmWO&^^$d9ct??F_9QcBtd&SE|_B@?e+ilSt+M z7u$w8Ww=x4aD-v4QFV^ToGoW}NqaB8zHm5MAOH5;7TbKera-i5LpxoPlWVCssJq+R zI0vsu?DE_?s?Pb?jT^3iDD3SjF#`^m9%Tig72DjwZ%DIAlCtaCh|BySo`}9O<_x5O6xn`KAvt7N( zmmdP^V!sO@4E!cA?`g9QQt@4=k$V$f)Ah=P{_ZBbYJGMH9kq>O|K$B@E1mb6q?Fz7 zR~f7uS5vTNW(*QuU-%(BMc=uH%VwWY=iC>2+I^tAPOly|Kb~BHn*4kxZi%8KT>ZD% z`v><{*i?cPOGV_iPiSzypO6vxyI$1$6Z)r{%Agey+wkjt8m3&L8#h^C2-=dj2&Amb z3GMx|)M59_mYDYJ#VtwifwrU5<7seEc0xf(nscpRcv8aFvyt6H^w6deKuw z;O^b|NoDZOTg1+t+nZ-ayYCO;uNo(LE$5rK+j63&;#|4xxeDh~$LntDu8{7!xjXJ0 zuh)2YJ$4a22sG8t(1vO12?-aAbB0A3BiSr8W~)vPEbbN>w<6B{{OlfAm`M11e=!0yTlUeRUR z)u5*8WTAhLP?Pnl3bCPWe8_#$cJZYlX=axR}&Y`8( z@k8Zta?=|;9Zx@ZyShfYvwU%WB-})OL~=ov*Mqp#f43NZ*01X37n(oO?B)~@CtoT* z#EvS%HRnRbJYCBhKDNgg6{&f4#oNpG+L9^{lf9PHLD!n3a*UpLhQguBC7?<{#PGzU z-mZ7g`AeIV^wrtho5Z+wAHnUd%XOX|hohaN4TUE41c$4glT70= z+Um)@W3wBk(@K^-+GN0%=G>NyhqZ*voGWk2spW!6GqZ;`&+Qz<4UQC`hO<+g3_oVb z#X~onXJW4BSl{4u_Y{qLQ+lv?q2oipIW2C_Nby?2%QHI6&7r1uOz#hO$*y(RlM}vP zmb=&UZhLebPYV(DEOkzy;VVdO*wtt3CU+3=5i(Qpr6Mvl==l*Y&OsnXyQRgA=IrGT zuXgIr)yP~A?FcK4f@P;O3wyHSKpJvBrB~Q4_h*D*0p?mG11*C ziL#PGQH19g5AVZtsu!L|niq6~ZtLJR^7A`JWt!VH28q9uGKLL~wKYGu;*ytNFH7rG3~GLH@^;2AG`Aiom$ zlqr{XGPqfMR4(g8Lrd4{ks+K&@Z&YgLiEP)X7zsRP3KME&Ex&Z`rOx7-)v$YaL2_S#F|mCkQQmuP80(XB{SZrhCYC9_xsQ@SM$iQG_B%7`7y zn@fl)8$M~iX`yL8X~Aj!Y2jL)S^-+`v_iDJwSu(#w8FH!v;wt!)8s#ik-C+?jvDIJ z5+ii%jB7=T;?Xio*=GF6^Kw;ThjBuqm%u0bBebsj<>$8lmZF39suF}g&)kR*zG??V z^PFN~Wdw2iVbZ(6UrX#$$#U9|;^OG2_A+v-2}XuORs&hhLlcGZD3%euUx zDv6w;VD(04VzbVsL1Cwh#h8$2P1R{YMk+@tN47<>MLtG4Muta%M-D*>L6$<2LheE8 zL8e8bMgE8sErAhOk1Vw(Mx9CEF9DnL$u(>+=a5lqQ7yiWin3k??RFV0m2P4El(K#i zjVA7G^~4*h`c1TgwYQKW=^_g(IZAc!1YyTo_rD1sJ}pCrSEZ836wZ{+6wH*&6wQ>; zMxy^IqIW(iaWUc3_P*A$rSrP!b6+%5Lza*^j z8MyfdLze|d0V%7mcdjJ21(Gp}F|sl02GRz~2J!|fHWD@pHZnG90#X7>0&)VXGLkZi zGV*dOWE$!DQGPXd?z;*G%0!E| zRC&;{_Oe1$ARzx@PQ!#A%Ri>Qh_}IJ%O|Vw1FQ3)@|#?LXLMc z=ko0);;CJj7-shk0-%B^6q-y6%_EQ&@@!SjWC%;St3>RZtm>D{%WN* zNd4odDu`vAIaL=FpKmR1kbTm`-n6EP6;b7SR1kgbW0^UCYG)4o7kaDJjg87@YuXir zX!{p{e3HnP^^N+J6slSHBML;G(HNibM=062k9o*>sK)=!&rY_54aTpCS7ap&XGatD z$%Rsc4`M$j3XjdFVlb+V1i~u@kz>?&%=oA<^wR;bhSTE7BQYXbBcDdnMG{2vL_Ugq z7Kt3m7zq~L25FQ=Y;|xEJrGg$*We6 zLu;W(5|Z~?%110pELbc_%wOz3dNt9M+u$f*p?B?DkK-{vTdGhL6fc}}_a-d5G)@V7 z4AJI$Vg+IrVmo34Vrk;%#OB2K#OlP{#BRjk#Dc^m#Ja?&#IK2&h;4}Bh$V?>h*xE& zx@*GaagLDh42G0KOTTS=N!!5fg+3OTtF`~65Fj5o5-<|T9PqDV0$(%sNLqcvGlj6Y zU6iVO4n80299|sBE)NU+zoit1U=jDTr1u=(E`1ssg^_vE-Lj;Oh2tAP@8r~HLGjzt z40YBTz0;e>Kvw)Pt}l~J6Q@kGSS9muOBByNV{EW9n!wiKSX(bQ98b`#1Z#7t6+npM zcS(sPWx4=g@y1VuKu}y(MJ_rPEsIRp_~%fcR2W-aRzxm3674U;H*(Q2X!>Nr%Hpzr z948FSK1a` zq8$Azas@k(Rg}vzEVmcAB5+k8OW534R#k<|64(p?wgQ0d0AMEo_yqv$1^{~jza039`0swaaz&!x)002A!08aqG zGXU@c0K5VKZvenM0PvA45L^}rDGP*_1;WSz;begbvOq*xAhIkFRThXY3&fNKV#@+? zWkHuUKtfsIGg%;sERakVNFfWPk_FPp0-wtQ=@~TxtMVJ}xb5$zhX}VUEgam=E8TcI z?019Rb$Fa|x(}Q05^K+{jPDj?)hC;FWkCM}ZDC&Hq-o^ara#R8+2rzF9sAyVU;aV= z+3ruz>wiD|_#f*&J+0SMKP>=mBn}3ii6{U(Su-U+IiM)Npjbb#pa9fE0G>fRdY&dQ z& z@Vyo6Y*{j={Lg;h)fv@xRgto{cyhkv-mXe-{H%L+@@CDTHIX)rrH#s_j}r4QW}8lX zd1j}}Ztp(+Wf!vEyjsfIU;dLLxLN(mE9C|9g1??eH+ZL%9RJLxdtBwj-;?|nlaqK` zY$G(SJ@}Z?55$>SxZmD>P%VIn-=2Vc-bb*v2c&E z{N}O$HLJ=$@sAS|AIKJjZTP04chqG~xpd&}3-@CW-1_+^FZs=7*0!$I{-Tv9_g$Og zSbylx(?im>+gDfc_qcT=j9oGjDKgSPpG;7WL@KigRf#gn_gUh{`3d; zGe^H}*`f2vt|uv~_7B@lKf-T;nP#Vd|cC^sVo)SyM8Z_1(-9<}gTC zOxmQGU9_cqou}cp9R5kSPMA;O*UnWb{df6If%8rEyNrI1DjHQSPOV(LgSqXjhfBIj zy7DH=8N1jE+7_~Lo{IEQYO3GG*R!Qw?!{!!V6O74KR)SqHD_;Dl)3G$eJttrwm|FG zrhDuUzMsAPdfkL*K1dH_1>>kZLpuy z)tlfJ9lP_v&Q&bU3E2lzew1H~zjWT@4vWo)X)g^ft5(joU3bb;Am3bl+yVx)Ynv{_p%;;-+?ld%=sn>*KvX0*}JP9EuV0XL3Ie4DCn29)H1WdYfao4>JwwG3nO;IzJUDs`X{dCJM#=?28+q@S~JSZ$H^ZBWg za7@>x$9vTj9j)2sem~q8q;3^*XYJVrtCGB9TJM}QqhGOg?vAw7v7hD0%k*~=NXxFf#>>RzlZ>+2nArdmLR|z)d1A<(UEnp0#;c_ zr=_E7L_ISaS>t&&a5UgJK^om0^b>;-CP{K)oF9y?8U3VGgyuLNux7-$spwkK&q+jR zoefM!z+_a6erh7R3Fs$rAxx+i1Dk+;E*H81=x2!_4EQAr_d33lMbHgIKNSFBV51Vc zfrv8#&`m)f-9(u3-xsSX;IU40Q&3wz2s0QMG@}?8(Az=ix>0KwWZnN`kaWZ98+7gH hr2@i$F5r>7=w(EJH!Cp7g3j9IWe5eP`t}464*-#DUmySg literal 0 HcmV?d00001