From 743cb3eab74407510b53b69cafe38383431a8c9b Mon Sep 17 00:00:00 2001 From: Alfred Melch Date: Mon, 5 Aug 2019 13:08:36 +0200 Subject: [PATCH] writing --- thesis/chapters/03.01-benchmark.tex | 3 +++ thesis/main.pdf | Bin 1018332 -> 1018660 bytes 2 files changed, 3 insertions(+) diff --git a/thesis/chapters/03.01-benchmark.tex b/thesis/chapters/03.01-benchmark.tex index cf291b1..fec20dc 100644 --- a/thesis/chapters/03.01-benchmark.tex +++ b/thesis/chapters/03.01-benchmark.tex @@ -143,6 +143,9 @@ Benchmark.js combines these approaches. In a first step it approximates the runt For running multiple benchmarks the class \texttt{BenchmarkSuite} was created. It takes a list of BenchmarkCases and runs them through a BenchmarkType. The Suite manages starting, pausing and stopping of going through list. It updates the statistics gathered on each cycle. By injecting an onCycle method, the \texttt{App} component can give live feedback about the progress. +\todo[inline]{Add digram: state machine for suite} +\todo[inline]{Explain state machine} + \subsubsection{The user interface} \todo[inline]{Explain user interface} \ No newline at end of file diff --git a/thesis/main.pdf b/thesis/main.pdf index 636cfabf7a1a241de4b8abc9704b74dfa6784cd5..74308889a82ed7c6b82b0258a612b6dc8e4e8587 100644 GIT binary patch delta 14320 zcmaiZV{k4&uw`u9wr$(ClN;MkzSy|2ZQHhO-sHx%wfAkk-M6aRA3byW^z=;4{Fts& zy`3aboGK6y0vrMo0vZC=46eNd!orzmT!%mnxYChL+8Rafy{X$HS2s$D80o&fopH7m zuP8>-&XOs?BdjM%4FLl|1Cr73_v_8g1qMdxO1!$KuGE1J&eil#RD4;3m#EsI(dlXT z^7nB02v(sb9-PMN==9Mlp@>mym04ty`@6E^{-l~O(y(hPjnU1AcX6-8VUqzSDxhWu zXxgR1hP(n5bnzw|aOxTOF?*SJ5AUXyx$d^GR-M26BEH$J;nb0&Q0jjD)7SSgRVCQ> zzEy?!WANkqvX*soW54?csvf&$ID-~nCZjrPXhu;`vWouwyE958rKBp}{m{6i1X?^b zU%zg5ySq2Cv=D|BT^$O)QmPImCxl`ZKzG?tOCV6AiXB22xzH^bvZs2!cLW5?g0IFe z81KcYRvhen!K1}U-&0{!jzGTTQ-*kLj-z&DOntf$SFB^i&NhcMV-|n*lba7Q5U-ab85|*(VI?VoBz{QC>4Rz<^TcJlMQ>HK= zH!d|vr*QwHhipSKYK&&Xx@ZJsT)D($FjByTqWLDL%;ZvVRGIIU3$@@@iPE+y6*?xz z&i)CJ#kTAe7432Siwqq#PLgD`E7Pavo1L(EoqX&mdgkustXNhdIGi)G@|YqKYm=NpL#8(c`=;+x}ssq#bYK*^R@)#Pjgw zi8Kua6SLskc2Cg&#`AzK5)8T9?E5vy)v}Q(npJ#(F~mh?ov5z-sc1RRAB1zD0( z1rHw?9)XLM=Zo$RFw;1Un>36h`@l_QOu!9^JTWiC&a4+7mHp!fZV2AwI?McwRE-Y- zlaZ85wyqJOR(ZLnEtzcssq~TLGQuBkhYun2&=KlFJ=Bp~rl$H^%04MVd{<7}vFq7v zBZMIUC@91BIt#giD%%EJNX6w>D_2rAoclaKiHZT7tdk)b09iriUCEQ`fndOj+EQeO zgu{PtsDfJ0D8EL>-<@1U*QJ4f^^q)Yb_p74OG6HtyJ?C`T3AB*R1NIpO6az~A%AFr z1BCclvo?(r!dTN!i?z48ZmtX|tJY+k_|{%AysH>5LuQzI-^`yoIVU!ZpMFHj4_aTU z+*J*Y>{43{fKS~|*Z@S2E^;hZKs^M*hXDrOLOjKTFNI;jj_UFOQ&>tH(51-4VUh#B(NT}Xzy{Y=h zoCcmyxb5x%5{vA^!EiR=VP0?h;0do#@S+^d=}8*O9i{} zZWKWV|GDH|W1bDDU^df5vF0V{;&=&KfFjf01{Yjx9zyxEg;IrAISR76jE%?s%Az1G zn?Y3o;PWuC7sE;J4?QAi!@12`Un6UxyHU2Yssr_rKaV z)NXTMtvS(YaHYlJfq7Lyl>62m0)G@Zl_NqSl&YeD-cB z^PZ~v)n31}LHhXSr$75byQw-BhakHpmSZ2Ri*g*pemSV{YiBWVuirHh{8E-We)*Q% zcTy~G*GIO#0y1~^mP^;|d+gb>%{-Wh=M%0i$s;tGWFXkj#wCU9pqq-g*QPUw?O|vW zfc2W2l;TSbeLSoK+2xF-w^@B9FsOu3$x92daB81`)~6@wd^{uNLyL z`!5^2%Yzk86~f8RUA>b(V0!L@4hxxFXI8Rn{H8rQNfYUSQ5ogfsrmr*9P@ow2rGG@(A_=AW75dSZ zrD8VwcB&tqet56fh_VQehuiNvUVyBOe;dlgE-sM+Vl)P}nZhfXKp#3EE5twxKo^Qn z?r#hmn>C7}_p}7hUT>5P5lT&*A4n|9KgPlY;)*Pj2Z4KQbjtbU!sRu1FW_^Y+NG`* z@T3xSE_xLUjofs`fJOckQWvXLC^2V)XEiuZG^`qs zA3N-3P+)%;aoJ91)+%PDGQ~p!usj$Evu>5J-b^xAZaUXgne`)bTbkTKb+x+?gLUHT zh1Oi@%YH^Ol(V=B;}RSW+TcBM2R`mzEu?JsOjSfdWfdVgCg74ZhOwa1iiZti@6|D+ z+kTQ{P0(?7UUAt<7EePY9^ml5D#{3 zSY^(d&|L7c`<|{dStDQrZx@p1yr>Ly=e$K2-}CQrN)%`blZo1XCz(2eGJc)CqQ-Qn z)G8C&%qOzrc{TU_s*8|-sIq82nn@%Vbi(jh7L0G=3ejq3E;fz8*kYm8l?H|m9}tgH zcHH3!lx%-@9G7EG%8=ZWaz$(>zBrFRi`x_tqQNs@Dmh3TfAMsd%6=af z^5ymEek>-Lh(+fI!+9A6jnsG=p!0u%!B#Sdy6}<+uLe5+-(Efg_=pU(PVHgXpdHeu zNftwO2fPD3Aux-9wOlf|qp01Z9&G7`6i*=*$!lcsD;BP3;S(K;_g8oAP!wPF8IA$53;@g7 z7U8qWI1E1_JWYyUBKl4=r-@#NmM4so828!y#rhKkSz!HGvMs!1HEV?areRxI=Csg; z5mWEYkRM;h{4%1%iMA=BI?(0AVNbG!u|pud(P+9pG*XEGJVUW{CWL68?vVsP zGJCw1Tvf`YFN&-OhTNhMsh<`sC+%h&>H{IU$akp#e8q>B0ZiBmeYsoNN z68b@0Z<@*gtv(H7;;-(7aft#b{iKUB<#P8ckA0cnX_@|DL}M5aA!l8}tB-v@M_MP} zqMw#`&~*M+fGHt~pNPP`whwrS-a7^YThPVxiI;ZUeN8nfNs$cGgSqlS&mLqEoEOrV zVI}G21C5csORBE$ZYsiPIuS|Z%&5Axi=Pv3v%VXEH*}~Rdy=9dqu}YgH}}VIPNnVB z7xG89*2&#eOY-;IABmnkOQ1}ZQH(>Ahvm7i(;@rh;e)xaTE_FkNiA@)@u#K`nN%s2 z-%T{oq3KKtj8W-Pv#il(wof4sl2It5gJ!EA#$3;Tws$eS^f|V=VdItH9#@k^q1e1> zNs)KVcJt0V@#6Hi1Z<&xARQhMy$oGfoc3OP@+6+xy3dk3;2kna)}~6`DjAL8v+*}e z1>N?0uRi#yasEo}F6Oo4xA|>_f9xyG`4@1!m2C2T$SpCUGs(QN?Q^4?*)q`m1uXll z?WHj>_n<@tWVl2H)IWp%XE6T^woRe}E{zL>g}Lp|K3o9| z2rGAzF&GtKM0>+tmlMfvP4l+FuV8#b3Pd=7ZU&^;68VIED`7VQ9{&L@~1PDP*=)XO0jrSq8pK~A|y!Keuq?Sa@3I%%h(cI0u> zQzH1Fj*x1-;2-mvLsAirPvtN?S|u$ai*#icdtaH+8KyGJ{N(&(B#a@iLM0{#=GMEab;9+*O>h-{kFNjvE=v;Q?l@;j6N+Rwrvq*kY`Mp+2oPYQm%; zMTvrzgZsC`)cvIAH!wF)zT*>8jWB|P;Rgaap@i=#Kewd#A_9mb+J*=AQuZV`83fRb zCIl+~LJ+W355vi5(?FS}|1mPL2^NC0{OdqeXbc_}Ksy0Wk|q2R@N@xxLuMk?NEV)DEDAS{rPgWAtj3CTEK!^C8y^tibWKL--GluWOIgaJrM zU_2USu$yze6LC;R)o_V6Yn8hORSc_?qh_Y^?d9a( z@~`BJ?r+R`EL{8c0rPJIY_9@Ioc5&81`9{xYo3L3BHP{@9hTZ`ix<{P15jjxiqrioEAJB+K1ghT%^$ zNqsR3x5H<+O=LGiTUHCTFNQRuN^b+Hlqwt48JB zD;ugS9rQI1I%`MWmaXYdzg1F{kk;3u3PD;<#~Q(^(d_;VXzYxwmOprlT_0zh>;`pXUhYWz zbr@3p=`rjbP(85Er7ywH9W+04=UcIr6S&`Tp1qENArK*q`n#}qeF?7erd0pnUf;Hg zf0?Bu$cQol_@=gqhz{OU^pVDHMd4r9!=-A2)e)NgxHlnG`*rf!HSXYI;Cf57E+{mC zB{`7#;2!f4UZgwH4yeOvI)(|np6<&ctFK5i`cXRNPjTkg&~~Mrw(|?wMLy=t-|%&a zgd5sjI)(Bq(mmm~dlIn4KvNP3`Wo+ z4Qs45_O2=yVcAJZhm``wToG257^&9mRYRl^!2kNd8vOxDEFDx%GkStU17>SOc!VuFpP3$_7<*|M6Ar5+-VKOz|;U;Z3kR#6#uoly#ode zs|HV0D2Q9+v5aAE+qq%wAw(R>JE)5W5NU1GpD%xL6_u)^Rs`K>c%*)lrU{dku}YIW z%gqE-6|Var*M3&0qZ~&WXi*GB`WW#JmO+`&GW1o)4pa`u4on3X?)zQ0?5IInkqorm zz_>yv6gM5%L=*t{CJYI*l?KUBB>TA7vM2&|4t65UG`MS++}K%!H4%9@jSXq#YbY`{ z%HhBYc0JVgU;z!71NCNQ=k?)a)v>oi>1zY6U?HkEc9|V;=Z7P*c*N zRO+=9R*6tB0?rJM$9#9B(P<1*H3y_0&dtDvxG_lqdU~d1$0RXo0huv03A!K=I^vM2 z9$YBb96GSyqaOMKspTk58PDucy#PzYF9#!&x#JU*Ru>WpK~Wha{YS%k_xT7`nUF)Q z0jTn9t874o#7JClme?4ZC6ek3F@%vYTq#-P2ca=*#R4yc1VlmG)F^Q|77Y*_U1^6ql7gihyubvPg)V!3mqY@J{bx=HwBPF;CYzeg& zp`2;Q>Y#SbUp(KoqCLc7zDo#6qZ7D^F(z{|D^CFQ<{hy=s6_N3M!o3C+k?W(r=a0SVV8#oXSQpn#h>r=;up@~E`VF-$I!yb_o<3W z`=a_w`$wgZqqJv&X3n+Mk2eWJ3mkep_J!QYZa%dJMrMnEngGh_^YFt-p$|nTWB7^a z0zUu^!28XDr$AI|Nd4n+H^qqm$q$~WWd%oJqX*8|KmU6VF_uT$%T9wBS}`0>iTw0w#p%tNq8CXU)%T*q1^8+xs}lj>Vya2nVG%PKhG(Z}e}^pN z9V!VK@kPudL_6-6nE$}?2ywx((RBD3>@hCEd#GF~l&UpTFcIG&W?m5NNnrDbKO3N1 z;9>|C_~us1b?)O2Q4n;MdwFqIANc-bAKBVD_Uu1LlUwe?MYmPjjUqg}XC66(W31Xxn+M7-E?THZ|`z)Hh$$UbW{S}ib< zyTB-y>GcUC1gNBm@t{a&zRiHD-|6^7##KfKMuoLxd0$%9`%f~Q4ZK2y`LHqQpq>P7k2iZQlfwZ-nL>EQ%qg z{ylH^ZmtjE?b!pT1kXSG?bms|+kGY)X&NE}X#_)rt=(!kUt>taQA$|tf*_(a`?L28 z#Uj=qK^7AyYBuVjY~4$C%uitS&5{;NVy71ki>9gzH14e)5{VDokMPx>M2o` z(&C_xLHJH|#hs@dkN8ku&{oA{GFzJG%oga(O$T69^YaaX7aK6}hrS0E&r7(ZMgkjv z^*6PgoK8tBq9P^teu^H}f!yme1KXi=@pD10b0a#|xL_!{;|;fI;yC@}JnV3>!->9w zruapuUN;o(Kpb21lq?7xXFBMu~!K$3wkG00cYR0gg6zSw$C3O?ydfg^Jv}J-XQgG=m z+_u8}U+!v&j$~FxCJYMeuX;ZHaT}{8IQ|kUnCTMhSyHkT^Gt5H()omWbUKaY6w%r$uKm0~V-tv-_6ay0d8#b9aXaKO>86k*3Kwezy4&w?~UFoO=? z$t=k}cr`Nf^Xxp;j7NKGGdi+rNQPrg%V`~b0;D& z0~_$XLTHV^?V;ackwY-F_a`iK)-qtg5OW2CslM~bEw%`RTW z8gyl~u>kM*#gld4NKkhfMUy`jTWPYG)dbu#$D!__rjxp{0XBh-7(y~|aiQj#4AQ3ExbfdGqhX$C+CJ(>0j!i+^ETuQl_J}s1 zWuPUPo5h`0IV>eG;URbR3|`CFmOQ65n}64-S_7tl*~&so4WhqX^!A?9o8#!qN*H;< z^%Y#CuX*#{&#dYSAbV*s)^|+LLnjFdRg{$Feld-+LTbe;E_hkXJ%!p>>)+Qm$wLA+ zNKvt<;t+2zBx_AyHs?nk`Sy^x%&u0QT%^t&!4f2Bz>0HDXq4FHSQKV##(rczJZ)|l zWdj(kX5vX2*621)D&6-6DdEDu?w%}f-B|FBP{Z4L`jlM!J)N8#-{XUmzF<|#+pl(F zLMPBZ&O}F9t43JOB5&mGJQM}uHgFBgZm^J(A$#h^z6NIUPoS&~WVN`BqUIWnE%ZI7UfVMV-$Z+q^#SW9;bJ zM0m7jpFhZB6K9R^qI__%Z}M*52)6f1oPSZmyUER38YLdt-0bH3FV)}Sl_v!_n*$FQ zrJ06sw@yU`@AsBB2WPUQ-xc&?l>n#`?q^SfC?8%(L{?kOy;xh-o-|zewS$AD1H~Jl zpU-agLD7fIxoJMYP_0$2B`{y#Y(H%YN8F8pJ)7QKeB7>|XHG$zC;VJ>_w32X)q(&) zr(O6ii=NG&-|a|t&prqK@41c5joPPHop!mkMtJZN2NMH%JqbqX4&F$YeFJ_K7DJx4q&FXZK4AXi;r#MeCN*~GFmb``E zYAO7)l(y1oGykUXDQ0PGWtrXi{@71r-uB)dvUG`${Xi$Z_7eCKM9WUvlTwXg7O3@- zlubTanBBj4rqpff+mVWhfNxz}?%)VT=B^Er`IROgndYSU4R`~V5 z?fR8^iHxS7znG46h<-$sy({mh+m{5-ODuZ*+f(3luNl_0YH3tDDz(0qe|b0b=_vxF z!t9fndqntq)OBjD_{L@D@F?VBGcrznUAXZ>%=eD2O?zuLjNY%e4&5Ece3NveeeFoQ zT8K1_6x>2ef53giW6>R9%I_F28Ix2=UT#IhY|?6!b&i&A*1~*UVw@cr8Ey3Z^~TDOYsRrjE<|7%*?U`Nh%)-- zL(-{5h#AEzJmKPGvawLgm~|E9C#lvgmD}m zhGk~pNcA$Iv6|qEH_?hXF@qfXoDgvz!N{HN8@j9 z25GMsN5h5tIVBujM$5*e_&E(bH<~+T82?4ogrU2m%UTMhQ+x<1==X*;Ob0N-MD~#x zEQsc$0*Q>9w;r(osAVH;GqCjY`%%U|Qix8kUofBS{H-V3?Jf3 zMFd+APsqXqOiq^$pN?mdn}rDp8LcCDRUci3^6?^hs^5Py1`3HW`b-uJK{B?7WRF?6Hu_C=s_kC>2cQegy!ONhdZiiLvHpHz&JcUnh5 z{Dhp_2WiD;rBJ!*(Grj%MWqs!mJWY2vJY^{dLqXOSRjAKj8iJg5$o<>f+!{?&{DSU7aGTgpvghe$@C`_z!Gn8<7$&Oz-!X6t%q?UGy+10W+U(aa00fLNuseib(>eRSgU37fo zhuOWbso6A$4*FBH_fBQoT_+?r*LCCRAYk7eJ`lF$E*SSCGRw2e*^f&D-iGuJH1tt>GeudY`MtuNKn(V|Gqgyt(dCLgbCNZ{c zi-R(g{9)HMJa-FIvF*vBqzfl{j0uf*tMi3`zxlLQ)(Svxf72pbb;TZ!tD;uv_&(bCV^3&cui4wF?mFcG_%5el@D|Wu6kTuDwh`H_64?BV8w5}*MiccAm%{Ey^DPsQ_`t70#BuTs2Efv;q?7*%jdL+0E_s_4N!7Y8D<>UJ+B7e#1yia_%?a zyeGZHpJmbp5<~#?OH^vWC8I33cXcR4@`)&c1Wv{zHrM$&zd`;9sMJh<>#x|4M%Lis z90a6ZK{8WHLM`rt)L!X-9$lQ|5gKxtAhMe);|l%jNVX@`s))NBG6An*S(Q8qN_9ucyY#+f?)DlP!&fQn{s zK|wP$uL%*^gmR6l3~r`Z1>CEjPxG<3twoJm9?u)bo}(*}k5ZEgrAM;_4ANwxqpiy9 zL@Lq_D_dQoMKxN!Drt?-f>KqZBm<*qL{0+1RE?9>q@e%G@J6c>u{c(mSxS#Ffdecg z`PA32qa~?AAaxz40B2LHDnU3_>MqCHr>vHe`3URyBxYPLqHmS6+>zJJ z$UXmVHmHmZ!ePS{2WG=G6If5w^{%u{k*+BI(0?J&nsl=Hn9BLO_S5n&-G$zq<@7>WqZ# zeM)+RL-A(6s1KBz&ZqH3uo_Vy94Y6>N_rzgt3w7>x`I$3lv2?q``0hwnu2iEN@oMC zRmvfjikaXGrHOI)rowcsC+*>13<(7U1oj42XZVDI^(L98ql3P z8c0=OIi_7D)rsCWFOtyf@P)Fr5;sW-Mu8Jok(MdTm|FEjpKYK3kNCAg95H?RAI7L4RehDOc zem1eX_`dDj+`dl;XwxIqDf0&|MWC&*-=|y5R%xq4URWhh(2X%Fc-htcVZV}EiqOI- zXmy0cOSAZa5in|iKxuM-Kn4DpO50Ro8+24OsXC?I0DhXMzEJGUf9|wGKz^UpNwDfOO?a2qip| z$dRwT;{d*=@~iZq<=9rrA;Xc90>SUEqT-LKytQ(%`&)tgQORm|c?)f$(=%bO!Z+cB zIcW=fx!>_~2LVX=PQdtv!)qPEdtLX83M@~HyUf+G$W^Tf{pH~);O&Z?s=MU@K+u9| zZM}ul5^idp#&Z9?1%Np-5YNgkDtX$dB5F(otH^=`l;l+FxvS1fa3{^RM#le>@^>mFCI&eRqR(xQvh;)5uj znOA1cduv`f;NSr&bNsV)(yU`EE@-7{!@BHWU;6yPR&pH2*N$i7gc0*hB6TGpQPC~@ z&Y5ptlRU1VoKy2?IK%wx_Wuw!oE&LHE{K8PtV|p%Txq2)hy?!$CtMJ-K{(m|^=fc2 zSYQ|>tejn3iI`dcrv_qXOGAE#qXDqTF~bfrAxXS^M#b>x>!i3q0XG!2mYkCzG!T^h zrU)$#{@G1WyxKW%@{QnS;QAYw2A-5CEH3a$HCfJEs+Rb2BZoK3V|f4pQA0q*0ip^z zgEDQI#9dpuy7VL0*VWS3i8wH%8kf|4%8AWLzC3l9M;^5%= zk7OreB2s~2l(si__~&u_rzb|F%g4~Pj!X+%i#3all zAt6BY|6igH_g~M)#r_`>GVON|A{YQ;4Snon{d=_c*ar)a0|FN={RQ`d0xW`=V?90G zYvb681g+S8iNRjILOoGESzSv^290`>Bx+Gzb0vX>JnOmDnw+EFHi1T`qSLywBC}Ek zm;2$v;$eyZ=gqt~!{z&AHlvUVN7hbUmk$gfm{bF;rm%);axhBpS&b@}nhijE=~uH^ zZJD)H*+Ug|tP+ZG3fv>B(OkE*5Jz)K`dKxogN~qPJaz&zMT1v8xQU4Fu3_9TTv;Wu ztG6SILkyRXYX`eYF=&<_*NSdOY7EM@@SJZ)WE)7(++#TuGBp6x{AGCo?K2?LtU14m zTnpl7Nx2XP^)X=GthoRI4GHMSX;!tgfd-E|Ub4iacMCk9bYGr#&HVPos)3KCP3ydi zwFH(2RD=@Ii1qd(f_jaYT%wrfdx$upJ4-ccNa3@CHb5Ozs#VZc=3~ zHe+6jb_GdLOnn6`1?7rT6M#c5JmRSp@PXBtW6$Y6dF?`zQWd@xb5o#c7B)EVn7E+7c zka8jQ1ZqWWD6>J9EI}>pLNEv5HgVWUyTKTWYQ&Qk>H?~aR-T38e*mAt7TX}OLXtNDU3&!Why(%Rw@8Z4I>+BEoVi|w(?#aazoiu@ zY_wyga+@~eCr#P$Tc)kqEAv*2UdgL!9JMr9_a~|`21m4Gi)xibr*-eP7-0!6C^iGM zUz+V>6($~yN(JwAXmfMsfptiiE;GW$+qn>R?>7RH9<`@3jMF z?zsc3SnMY|tE6eapH%htK++*Rspf#PlNdoi6Ypem!Li6LfE|EJ5MWJh6B>kiMTaV5 zV9nj-e*#Ha;sE1ZBnJ^Or1zr!dI9e9z}Du7<|Q@2Rl;Q(QH;fIf%f%q%fg^+!my74 zM@HbM;IsoY^}yAT>N6i0t_v+jP?pil{_M7``=IzM?(NW)sM~POPj=v&x2;JZUDeHX zR}hi|3Qcx~XEdAJ%~=f(W4hG{L85z1Tp)45sCy(_<^Ya&AN@UaN0e?Dg}|jfI8XSP zz$PQSY*17qlx#@MezbImw1CQ6py~A3o?1W`Ty2oHBfK6YXTN;DWIE`B5%4xdV?d)5 zq8dBrNuhl{ypsLN&cWns;l|3*J2b{E4wW!v{xJbis0Yjq+Aejss%P1)!hX&m@BbhG zFM<96CB8s=Ol9u^P+`-#bY~onk*c18K&x3j4Jwegfd`;tka383gj@o*S3n=H3IW)7 ztXwM|27z}lw7z>Ez$+f-`-gLqGyeA$U&y*A>oO;(hYJcnA3|mxy0iLw<;Jxcx^qV0HSga)F#9vxU=3tY5$IvLH-f37;UiE= zSO?T&M821TlWsL=-M__l`wk~+gm0va7_0&Km?~tbC$I(M1!grif`Yqz3DhULEkw)& z;?TV!>|3?s?PsXRWg>x?MtTN*4$jXA+n}^eG$upHG>ik1rymP2PeBzzg;_G5*BkuA zWQ)xPJ_rCNmDAeruH9+}8?Ao+NrS;=AM|1ZPp29b&*%OtKuZzeIKl(C%bit^wphcOypnJPx@>!)?%{YzNOU2V0#{=}o1WJ;C%s$1#vr-6qRqgYvYc>3x7 z9fnBKhFjrZyqz$>#PT#kT=nzvals70lJG@(Q;T>d`WsyS(z^?>%=b4@YM(ST9!{pl-xUvgsCV8d#~rM7c+GQ*3P@xDa)EWjb_IFShAbV7=FuD0jz8U+-ewfSbwCdux)bu zHEE~OF$Y9#zO*2u-{Tg;lX{b-6iB!u56Kdf{sTx8D!j`OaZCS^d>5L>1h$fK6)&Vk z(N7pxA`y**BWFo|gf4NQ@FP2`lFAb{rAjDZgRoo@OCrl8lLx{fSwNBo<=0O*jS|x& z>m<2Lj!bakI?D<{kYbZAgikd0_acDpUxHg8$o5p9D~G zp7DJC(e{L4w`t(_-n#o)4)f<*_YU974SV|kuKO;o#?G#u&SvH?%uLK2>}*^xh~J8OD9F)%eiTPA*M1i9y?c8?qga?Wv`QNXzo zPbU%iS7Ng;5|@A@_ZGf1p0lVk8EvnCft#Dl81^5s(OddHX8lrMa1qgVW|lS|C>GRV8pH*<=moO2O>n_*8kB6iyp#RO!TJgWwa!E$K8M|O{P zMd9i4@J^8zO*5sdO6*!{@U}AEmq8(HDf_*zSBdtMVYZI#a^hlYSXwHg5Xqk z*g91FDHYwt!Ye*qR`78<5dKmTzvCM5#c*>4Hd= z&VF2*EGRJ@w)`;fr$;dc(##V7C;AHU5Dy<8VzV{0!7;L)q&f@#FHKH(L~eNWWEg+A zr$YOvJl^nn!Bm|V%HHLLJbAy+$>d>dj#8WASc_ck6-n7k(Q@CP9XA6XWZpA?Bb_wX z{#fmi7e?dtJZ7#)sud~d5{$v}7i z%Zub_Q7J}#3K`k*dbdlDAm|w2U3>cQ`)q18`$6+j9D>w)GH8ai5FauBA`K>qDjCcw zr3$Ppa=TSyC@ew>jdDYl4NEBHj7}_RP(fHLK^C6@RQ2tcMttv4g=k&$wXTN3m3{TN`C`E zCu&D0DO_QPjj1{@9e%V^q+&QMX zJH>2Yw3AUNi0+~1x_J-)weP%ici_}wB~K;UMf=r#`moVa*z%_&A|Um3`c=pymY-Br z{&bgT$X9c@6tp9qsn800Rb>Q~4K^P3EzQKSoUI7!mMQTwA2OZxKbx9L+C^xXBoBiempv3dqbK7{lHGJ_tV zT7?mV0JxkBEQ`LSj7ECsX8d?R4bOf{uq3+cAVRB7r`Q|4P&EWM8(^CgxHueN?9-BF z*%ZY*US>`J2`ug2fOWhM{Hxrh4e~dt7BZs0<6rK<8N%}hXVw}J+hD@MK;KoE-sjue zY8~E-6`2~%4s>{Y@(*lmbwbJER39HldF6)ixq(g!DWaD#`qNJO`Il??ZphvY(aAN^ zqCYB~54P<(Zjt%X4MUG8{@OgWWt4<=#wsEWnR&YaC~+NLApaeYVBEz`G}}E)pY9Ho z#=})=-LG-i%D( zd}qf2(miQlF2*&3qt4ce4jNqj{y@TY z9q_TcJXqmWA)IbM)LDHy(#?ESV=tr zA1|h2XTCgfu@WCgSJ+DfW#NXicRj@rh+azvY#Tk{iD#cEBL$^7sjKp`aOto}6}|6_ zld;+)2{g?&saytmU161Cl*A%K8!*bymmY8|x3vu&PK~FLMXp zWghac?$}_i^m0zPlC0coGmUPI2g1)uIVTiUGc4&WB9ZoARKQpmH^N~6*cx?sA9}KiD(P1{v>`qdf+;ZK>!NuvMG7|O z)z&)tn}_oM2GRV&Y&sTZ=%UzHM3N-jBJdmDjt5smHgZ7&VQ~H>x*~Z(qG(E$1N?mw zG`_;vkXvKSS{k}M(<)ucYm9ARR>foweOP9cviQ{t^pFaU6)Z-#&msjH7)AP%S z4ij5>T#WhDX3U`azE5QVGHMnR;H8>FdO{J8#pwm^ zddh}_;LJ#V9c{2Ki=USJ=aTJs%0V8A-$p5)<-io@rl+)B4k=tb8`_kI+;)h&sZ4?R zOw6mtv-Pf&aySA*7!vz_3@lpbu8YR|6&gd;1m@ITG^iSK7i7mk4xU{=`4JxA7M zA) zhU?=Kb@BX}o>*zJ)SRy$VB;$j{AQ-E;3@7U_pa(EJ}Q-xM@zqp7hh$#fT#lnx%T%y z{8<+_<j1Cord~K)d)A770dAaL6+LfE~hb{{$q9L?kPM zqeOKOm=>b_B+KHCz8R9il{}avGEN-Sg`oHpb9olzOCe_Yj0hbGyR@Zs*WU5xuIN*9 zl2q27R#pNH^IBWyY4{qCaSzttxxe+#_oUSbsB$hJ>)5qtOU{NL9z`e&x(9 zM+B-5p&AXv-UnA_0{mYt>Zw0lk_HQh30?JbA zr8Ea_zbbY;71;&llg~H_PRX}o*Yj#))P!Js(|@OwkuU-Orox5_epI8F98#P2I)P3s zq|6aya7lqmZ@3=4`;qr+x(O?cI8Vb$YJH@%|E;%+ zFz?UD7EMS#<)2drhNp#L7PMz0YXIe&mQPPHNb(Jfeo?-b&b$bY3c|+LYPJWi0SnCD z+I;~|iTtlU{sgav0cGdrYE6NJ5QYL~Nxp?*3Wq>~XoWz6G))0v;!f@#LTe2ufkXiZ zX8&*JUHM)dXaWlrANP$DhcEeA`c?fi0h>9{l4 zYz|L-L??`uj#C*bi^lT10Q-=nElsF>UmG-YR%b7SyR`4z1!n79G%`4Ach!*m(7G_7 zK^b1`OCU6h$pWV44bZip`l{4Lmy8ZaW-1jGXiQWvz9)?H@sN;8OMnhXGiH($iwDP} z-p6FY6oX&kP!>p^ibfTQ$nqR8U13Q?k@<=cdAAUgo@7dgIS7P1Q6Rg}hp3*!sJ2C3 zi;edJ5JMe*0k3w zgmBUZUE^{LBtsK9Ro)Pl16>uK@)R46HwN9x@d7 zH3=XL^$vB;v{Ztd>W5HqL{A9W)lwfCP)C{nPX>n^se*XM!Cp zP+=)_h6&vbaL4?d0_jKgTSbo$XypWCSVrf5)o=yENH}b{^@#5y&3dGI-`*sb%62RX z7cYZV6U7`F6pHs(syOu_!gn$hgr}@wznL8$5?ENYi8a%1j?t#M7$roYHa?WGnVQ>u z|Ar8OM>Z-L?MfZ!puBXD9PVc^5~6JAz_JE3U49NP0DhQGfq*YVmM~Oh_yA2miCIgz>)S|J35vFZM*L1d^@xq_KObzil0m#3yp}`Na)4YkEK-Up zOP(f@yH{O*qCXL7(!2#}&&~1I92K_=5fd|dGCAJD!NREf=xyDZyE6w;Tdwz~$=A7o zPiIC1KwvLh7LWO0=6OpbOGt`>RBNw5NXptTYyIIKo%fDP1QSYr_ld;JXu}eMDMofB{e*D)sztuW=4#+ ziuRJwp_LcZ&{=dieE_G*L-1PCdSE+WrAL6+GWB-;GUuKGaOMASWcs(Z`EqvR?W7n0 z6!PWs%K+ryy7hj@> zQEIb^<9x3ga6(ZN(V*9X*V(?UzW=r_=s1L!cySBva1VC#Uuf3(TW%jX70@@l^GDo4gImis!Zw0@ z{>aiDYo2(``4QteEm>sVXH{O_QgoHRbZBLG*bJPl&!Kb zka$SLwVwI7*mur7M)52T*`weBfVDpz3`gRT&h8_Fs|0)TXV8x3`BP+oIeptmhSZuH_)mDpe+IV}=3b-J8)Y#X@|^ zx3}wcUe_xASaJO6TyOK&=df?ejddHYB3y=F?U)&HTe77q|5i>_G+g_Ol^Ce~_^<@> zyL=>9?L4AlP9a(Qo>g44T}@CDg4CY?DqJ8f$xBoK$z@!nK?yG|m%UJu%HJQSvBe~3 zEMpjW!oa#U$I~g{^YaA&M0qnSsB18DATRLe>#gm2yq+rNUZA%2!@0VZ*Uwc;xykQT z!OfsaJa3iMl{22=h2p5&u$BV_kjeG*@^zof#qRvDbuOP{?LN!3Y&zw6wA}!}8IyFz zJ}@DRKQVyf6Q&_#ao^#1R_}=QLzNy2CRy)ogL8L6^4*k~n3D!P8oJm)wd>6V?RCvE zJ`1zE_W&^8%x0ny^45wjD%nONYf4+}4!?&_^*OEyvqq-cMW8%R@;OmBuBg{~Prc+y zb>q!2wpm<$@K&r&JPOvkT0_DMU)Xp+cFI@06tub#v%#TL;td^)8DH(CelF&Gh&Fbb z)qjdAiZyL^npXh64mNsMqdr;7YO5N!%TY>UXg|(TAk)Xx%5$o;#_GY+@mck;o^gkE z)qqnDO{E9*X87Lo_qY^Q;iSOUg^>6ji4H)P@(Lkn*X(l;Kxboj%j~Y+p zFlP3qF0RgIMt1)}4#w6n9IPxvOho@de0(sBvSzLBk8oPRz#RWxaMbj}C%8{wrsTj= z)YgY*I9Fg0Hm+8ySGenc{jHksaEhS7%&iq)aKjSmpA(}W{P7(pF70DXG zK`i~#>K{z5MIa+c_p3#~Y@L}#D8o%}pZ>>2oFRZ|q`RIWptlwZA)-?Nv!nwj0aGGz zGqL?=_4XF7mPD+~>}>z@PpY$SkIRkWx2kdL1QDFl#wauwfIlk5a-bH!nObqJWWVZO(L;zV#@#mro)JK8~3@EZisrGfTiwA6UhvzLZPwNZJygWv<`W; zZ5^O$;WfhB?5<1t3aVS##|e$CI8;NL37DZmW_!mbB{`pvLJl5Y21J4392ZII?{mLO zM*_#7N@qsERuSmC4qScVR1D#lRcM{NgfFQs_#}2k%-yHcTFbIjvA3_Z)siIHK5#tZV*O-fq-&;_K*>CBT;-D;APdBbMa{P4H`}pRf=w z5*AS~;Xu`OxBI6xq9qZkm&y#Z&|bj60H7&#&SIt50j>B#(G<}p9v&;jDQYNU8MFZx znAj6(J>7PjNik0=gqIM^K_cG*eY+WJS!}=OX{S8z=j!9f%lEO=c}Y6v62IDg*CyB{ z{P%Qo6ksr-Ff-EaWKg~}cSf+g6Vq4`pXh&foq4UAZ#tM|toOwsZNJJD4~L0J_))+S;gT6a^| z04THTE`pii28Y-L+2gG!3V%?%-7af=z4R}i8ucn&L4R!)^kvn|=g^x3i=m+C*e1z( z1kU*Y1$u2e@n8B5nw41BWp%?2E=-ik>t+uv;90>Z7#6i_Quh@)}Z-J)T;Lon!0lL<0kj9rRZELP!ik=rd0fDA&#ZX6aLe{|R zGE7Eiaxb6-T~4xV{9N4#k?Wu+jJVe^O%kGIeegD@Njl*}*TB#+Wr@r;H@KJI zE5uGdLPdqJLt*L_cUz&jyRU5s5xbyBwq9hM2U3F$^|2ZmudDAiug^kwpDHG+fS6oQ zlP*xE$Z^A~YmRH+NCmkVDa&x5O9*^-2l+qj@*AKiL=kIpnE{_ys0r&MJk1<6)gST2)NI>lt; zDY-Hjd!2q!-0|a_Ow%G3eOX+-0py2i^hQQg$6PD@)b^YGJdW=}BDn37q4^>seb*g_ zawHHEN1zwhIRePSwnU6#9hEtKS)-1$E=t+NIhn(w`>_zJK=^)?zNxepNbA17?mqH= z%DrSOLzW3n zC{%uSv&G?3i1*pc=4ccX6e|sJ{61mZ(RQ&;`OZOMy-}MsG5Qk=C~&QiVJ~6=xH$er z1M(DrY*+!7hoA|rU=DvQBLzM+&4P#wXGT`++Q(`WoAKAi#d;~T``;vj-A>dq(0m5j z+fEtAaauKYk}Wea7b%cjfE|^m_R*9|zHF>OM;X88>OT4>U1wz&)tG+e2!lk;(URu7 z+DFTD;&hA;V!g=)l$}ay!8xV&I2GMK7GhH#PYn|M!W40i+4Bh=i+iPcF%yLo0OJ>E%77@)`$(Y zmw_ofR0>z(;sxF@z$pvT_(+>JEJv;mrX++pJaQC<_RdACAd5vfq+h1ev6(<_KqZS* zlp_1DU73tlxMp3NHML*PdX(?RhNa9}&hPncsj7+`sHD@XP zEd6fDphM>DRSbY2 zUYD|g;e{vRoXD@9!Uis$;2N|ML>1Pen)MtT_BYAwfd0zuQx_vE;7xjZc{62%IWVnZ zp()?^C+9@GQ(=8XeS#*M+A7`5in`&UCO=aWp8s}9rKEG5E|h_g&{=uDq#o*?1*Cek z^=}T&!vl{s;9BpZu5pqPMEO|J>x3n+G26x|V|_V?BJJWTjm5cMzjLR>*DC)ZqD#BH zW4xu(Z_~s)D{`C4rlK_;BT~9Mjb2bXO25%GAF&3L!FSMciBJy#GJm9X@P1_9>_&l) zThQC%{_mqfygb4#bu8p+cU59t=m8U8%yTcsvmo~X@J8hSa&(aqJa6_LmnigB{&Hpo zaC{og7)|BTYuImuj6%$h^;r#`49>2)=t;=EUT^z3tsO(DSoG82HR@Mx!$%Z4EVc&x z)(ii>t7X*h_C$E3oK-L6jQab4Gg&L_a4qs9v<~fmqkS8j73|Ow_;d305X^ZR0H{1# zo!8+82s1AF%_+FuELvaM<6hp(>~{ITk(d~idg**p48PhH>=r)P!9NxoVvIM) zru+*WJJbeiO_&*z)B|RpSQQwrlKw3rV*NXS5l?VvD zzKugCAFZ#`Jg%XoC?21wVrm4RUbST9E8JRDDf&74-abD<*Y_HvlDGve@bTx#-0hj~ z8HH`5bfs3Q^{TZA_<6rSe$n;`3L0eY7kUkPm11hGBk(!=-fLdbIej5&g;{+7 z93E;o^T4J`?Q-&g2DO4X6cXi^J~@B8>77H!{?g=R`loT zT5H<}zOKJhp4L&%k^9IL^=@m(F8MOU6ngY!I^XPCYRl^6rPsIp5U6K9cRN5(G=cLi3msrmry@p;bc&nqD#veSvt;q1`REbIn zbTj@+%^xKb=ek}3h2H3Jtzm$PbBMQdWfQ?-n+qMQTLu@iIk54B(a9%C6Hu)M<<)A; z+xf$*x8tBwqfRu5oRdvq6ky7g?TiP@guB=}=z`!@@Lalig7fOtd+mqzhf{?Y$J&Aa zO3!6j`6itYp~&3ovp22R_~rkrsyI3SqpH#i0}%bGnAzCanQ56=D4CcjsbLu9985)x zT+N86M0r@4n7Ns_nAn;Bo02XOh?oPy#F>mdfeXUTolcYlj0VQa!p;5PZ_!j8y?Fdq zc)wi(=J*|uyYp-mLo6s1H1I46;ROM3|1~ns5s((n+dt9IyXoP@?W`#54X{|xy3%Nf zh}238F?L16bR2KPIGt;n7&1dYBg0<)aqf2sklI19pS1=c8}0PsD|b#(aUWitCB_cb z#i1}S9{%H&t!C7g;eVJv(*eig$#TdZXNB+X460Suy+{+%glHg6&;hR zw{L$LJ{~P&n+o?b2Au}in20CHL?8D>dVxV0)JuGUnU9w>aKOq7khpYag78~QV+|zC z80zaCJ0T~7l+qG$cOte(v*aVVM9~}j+)KkE*+x>qRxzemH`L{0p(RTumYNbMV7a0; zwXFZCV1jceGcynD%b?y0|2iQ2jBYQryoC3Hkbv+5DH>V97H&cCLwT?xDkKk&5bzp@ z_GdQ8M0tTWA0Ivd^fL@IU7>MV!+nQkYzAQ|L&->8a)!30#FU2)B|^LgthtcAQIo=Q z$qyMdP&9x;M4$mnAdf2>a`VVz%je-HEjdSkL9T5iXmXNtqA^1YBsO=T-_4PjKYQ31fxjxoV`#QNpwedf;*YCBD3E7Uw#g1%#`j`ZGs%l~RpO3Pv z)|0TC=rvyeG@T0Y7yn$1ZdBRD%?oYnHUG+dRgyjwpVS>z%dB#r$$<6o6u~8+^MrH= zCftMPz3HE6@&o0H@kHdk$tyD%Hm^oz=#}XIxYMj^Ar$MsQF63Hb{ekYqc5X!FjNK)uodKh+DoD7&7zNsmYI97VVEKGJK)R zV8NYKWL>dT&&suP8E{{2A-&4AGYNlFOdjWWtJ~Lp=x=^Y@Wx%GLd%lChxnS` z3p3}tn`Bomg;&L9Qv6dmW=F=s6=bJVtig87g)80ZyXpSw8!LZJGvxHjC)ws3E8B9K zR^i;Rh3^GILT@-qZ%J|<>1h`pv5fwzb!)qadOG(kVgHd-_a zVRk`AaOlyh_k!(9!K0PR7Z)inA3BUYgaZiE+$2-qn3IS>_ko30 z4$Up>EGmiFy69reAWMA}B-rtPr&^>2{0WIM0)1+(3ewd!-GlnOEn{yzo7m}G$0!k_pwyj0uE?nUT(CvE!i0Dqq z7*+xuI2;&?b*)kpkHh2X%fi(jth`z%0Ec&93IN|;C?GB%M#Le(ndmFVFsfyHp$2Zl z)=UP9rILt1Xm8~tlAL*gMzw&DJijXV__xF8ISS$d(B*S5Y;`KU6BD!=tVSuhTGlUyT!e$H5 zYzT(1T^s*5f*ECQFM(z9gGzWu$-_elDoB@7^}E_1XXXgqPHfYk;%>MG;01Yzb>R7- zQ~@?4g3P+>+#rq+xr7tB26*(A)MO*sZ6X28@V`a6mbcv zRu0X?XjV5(cy22`^b(m*QSWqdU^rump3J#EBy--Wk+fQE&|29+(S?@Wx-sID`^HV$ z2$;o-&bDL+rcV=kHB%4DnP#9Ukh;b{$jj$yAtrhc6BG6ND-%5JRwcj))U&=;FWJYe zo6`;Q_TB0j>$YJ4TL^fl0R6|Ptw8YZbM$s_SnqXOXG9EVu9x4BI&$-wydg|S!dQKJ z6QJA!36MsP&gxhpz$vA`W`;3SOWDqwRkFFj%WMTWvWo#$NOGV>{f!K5V#@BcZGfHL z?yjNGnryECkoITQJ~6uV&QauJeUEI0DzIhyY@{l%R8w9+X*CM>%SSQTC4?F|NAapW zWnJG<3#lHtv&kmW@bxS^itUGQF#bpPh+w-pf1n%rWNu&5=9*^+Ic9x(;@I|9BA#w9 zg-u*iz_vMQ|5L@wFWoxtD>o3h)#`67(sm>GXR7{VYs&y;-ik;%2DAlaOnVe%>_O?) zRe2Lt=j}ZJLUG|tb}IE3#%E3r@4)1WpF z(-5gEnH7W2D0|_ymqowvwr1A*v3l)SA(?qyN3H_DgWl%(oVf1MZF&MgYFU^XRej$v;FW z2Lvf$C*(Ta$R)u14k(_e&_yVBr2!6B?R16tpJDDP8X*}Nhu^{CsRC*Iigf9zsilq7 z2M?5~^C@Ba*t%z(By@ir=WRr2TYFoRN|z{I7szJ$_lT!RtKpJNls5nF3oJYHL(tu! zdp@KLzVo4zvM=-A8W-NM@J!;g^aB);U2+t04{y`$Q%@NNYq5hLhg#mmY(2ib9%c20 zw(f*Alax%q!DJwie;>cO4i)KWmuu45UdG&6ax|9&BX?d2s5!v3HqiU{7`&;LdSVA%ZiHP9P~^{7tl=>I zy2PzcR^Y9S#SyOzcd6V3SL9z+f+vGFxPLJ)h%x9=mwEF1)r_OeKcMKxuh2}86#X-M zF~_u5Gm>|1pLm`Yb572(j2_kXb>E6QEoRoNGOMF{6HsA}zC2B^%m|1YTRdez{_u&O z76R87Brf(&Df4zL%!)#z&_EniQN|Zk?R&})ZWd7Dmsac+E>rBe6?NI-P{VC*QR)^e z^R|(#Pg1V}8RptOm`dxLRt>E+5Cp8>vt$J~b13nHC~iNh_=U?h8!Kkb^lKrVx2me{ zLaIpT6Mw)euG$bwF9K>=f0O$8co~CBUvbv_d_6R5`MLb~{#@VD3z+#$$}rjeZ0?0C zbdmTXjX&E}RnLo>e>^^29TUd)8eD%rxvuj>-*$c&Fy7?pcXxbzFMj+sfD`Es9Ve|@{&T&>+@O6Vl~?(%)r7McV&SHFHk9{Qb!{a0Nf{a-~ZPEOYJ(;!3=0Gl2R zql%Tc84)Mvzxs~`kq$EvD-rWQQrW@5^&iRnPlYMNFiP2*JN%3Oqsjggi4y7Xv5Ja{ zbF(sWiiO5;%r?6Fx>V3hOg_wj1TFgv zKlsMCUzw?4?HxvG`RVHmOwr`xHSkBVu?|wdGJu=*H$xoo&3VfYHe(!+8bOzC`NJIO z&GB6iHbWiY%`r8@91weer|jo~Z=ijvnA3yxeI@RmO#T4T-tk8|pqmo{3{&FwlPj__ z$q7eCQPI20@4(&XZmnqij);0t1a{QtLBemrecxlA3_*MJeSNLWNY_Ffzy;`ySl5Ca z*ag(J)?r%qRp6RFuM8o3x?dv{%_u$L2#qCSwi)Vhcfox{TN@y6HRpKHo{a*0gI0vi zX+HY=edS(L8bJ4mdX8TKW7fw=Trm#t0;L~NMCeBJ0%%IyFi<|4;kDooSVTknY&|e1 zP+Wly5C+&TXgQ)g_^(;aqkYuA?7ngthXEDF_y*7}AUXZ3v9nB+{b&Ni`XB{d}50 ztNrkfs9PY>LX4+XEb(S5iCTu{$C(MH#;MT86dhWjk^&7A@o?to_}sHJ?5as>hJR_Q zsuhjZnG3h8QADn^LW?UE_ouY(-Ymc;J7Q{QtL>!o#Y;`C*;NSJccVHbTmu)zY+*8k z#>%-6wViJ8^|t!}s_A`jCm7;jlq$epxNETPns-;6-XPVhhR0x&qJ%S_0rma^iBCY$uEApU+VgT%ct@I1`IN z$43u9-KLL8&2(T%=yh6-;FhW0j3{HP)S9JEJ5vm2_*5i-;)oa$mZ&i*lHL6i5Vk;b zMGl>uLxL^?gnec!@=sX~a{^UI@E(GyDXeJo>AZACHnBYZ2kR0G-Lzo=Ui2;%f4qQKJ z2VO*mAZ$lyU5NKv+C7>!h?71(ML4oR+&v1*qpcjNZ6W9c`_oG&vCo$EVTSD>ur4^7 z0`LSE#DF2*NDq`7vK^_eWKYUF`Geg5O#poQVFF6J5DSJKW`)S*5BwN4 zZJur8845rpAmb45@VR&#UH5c=@9(aFn7ND{8*cCd6C-$eZutW)dEXolP6y2ycUPn5 z!bo8yFygX4k%Wligz&_;q8!oosRoonilHQs<4FGB1QuRD;Eiogf&{o1XfCk$|2fs) zzEe%2bq`=@E)+*8pinQ;#hX^^Ko2hR)MfBSPMGHdBDP?b@&JrE>t#sPjtMX9jj5e) ziGLTt{SIvmm(j0(hlS@`Xn*We+~I}2M+DCw;7;Kf27xd=hiIucfTU@5eB-}l0%{0A zQalZ;5tt)^@E#CC#d1BW!qjv)&W}H5o(ZUfw}s^GlNXA{Li)7^zlIp(jpLnPAa72n z_~Q&zZo>_>RD}n8uJ{)r_#NfFmkGv_eIP^ayzxDz(Qs(uM}R)Lj5H<~TF3#JB9JEv zH-_tFklW_1Tt|VbZc*LpEK!OP=`SJxWK^#}5313SKo>N6kD|?*o{(?O#FCUQ;6jM8 z1Ab0;Nop(1YqD~8H(e?m)9Q?bUsn_ZSxeLuIZ@0Oy#IW5>I@o%aI@yUPOr>VxXdJ7 z4FC`pAVbm!JXZfYbbFfDx~dzzRvO~or_00a*r%1`H`@ckn)QfIY-nHrC$n+@;@NSKj$%B zh%M