From b1d43c2afecb26c5ce4ac1ac6cdd14c222331af6 Mon Sep 17 00:00:00 2001 From: lhenry15 Date: Thu, 10 Jun 2021 21:17:25 -0500 Subject: [PATCH] remove redundant files --- .../result/shuttle/AutoRegODetector_0.05.csv | 5 ----- .../realworld_data/result/shuttle/LSTMODetector_0.2.csv | 5 ----- benchmark/synthetic/result/.~LSTM.csv | Bin 165 -> 0 bytes benchmark/synthetic/result/.~uni_simple_algo.csv | Bin 165 -> 0 bytes benchmark/synthetic/result/.~uni_subseg_algo.csv | Bin 165 -> 0 bytes benchmark/synthetic/result/AutoEncoder.csv | Bin 23185 -> 0 bytes benchmark/synthetic/result/LSTM.csv | Bin 26367 -> 0 bytes benchmark/synthetic/result/MoGaal.csv | Bin 24889 -> 0 bytes 8 files changed, 10 deletions(-) delete mode 100644 benchmark/realworld_data/result/shuttle/AutoRegODetector_0.05.csv delete mode 100644 benchmark/realworld_data/result/shuttle/LSTMODetector_0.2.csv delete mode 100644 benchmark/synthetic/result/.~LSTM.csv delete mode 100644 benchmark/synthetic/result/.~uni_simple_algo.csv delete mode 100644 benchmark/synthetic/result/.~uni_subseg_algo.csv delete mode 100644 benchmark/synthetic/result/AutoEncoder.csv delete mode 100644 benchmark/synthetic/result/LSTM.csv delete mode 100644 benchmark/synthetic/result/MoGaal.csv diff --git a/benchmark/realworld_data/result/shuttle/AutoRegODetector_0.05.csv b/benchmark/realworld_data/result/shuttle/AutoRegODetector_0.05.csv deleted file mode 100644 index cb84dd2..0000000 --- a/benchmark/realworld_data/result/shuttle/AutoRegODetector_0.05.csv +++ /dev/null @@ -1,5 +0,0 @@ -metric,value,normalized,randomSeed,fold -PRECISION,0.9838187702265372,0.9838187702265372,0,0 -RECALL,0.7012687427912342,0.7012687427912342,0,0 -F1_MACRO,0.9036314448079155,0.9036314448079155,0,0 -F1,0.818855218855219,0.818855218855219,0,0 diff --git a/benchmark/realworld_data/result/shuttle/LSTMODetector_0.2.csv b/benchmark/realworld_data/result/shuttle/LSTMODetector_0.2.csv deleted file mode 100644 index 48a8bc5..0000000 --- a/benchmark/realworld_data/result/shuttle/LSTMODetector_0.2.csv +++ /dev/null @@ -1,5 +0,0 @@ -metric,value,normalized,randomSeed,fold -PRECISION,0.0854597002835156,0.0854597002835156,0,0 -RECALL,0.2433679354094579,0.2433679354094579,0,0 -F1_MACRO,0.49501862404428804,0.49501862404428804,0,0 -F1,0.12649880095923263,0.12649880095923263,0,0 diff --git a/benchmark/synthetic/result/.~LSTM.csv b/benchmark/synthetic/result/.~LSTM.csv deleted file mode 100644 index dfd0e19318ed0a62a1a9f81a3f3c426da29055fe..0000000000000000000000000000000000000000 GIT binary patch literal 0 KcmV+b0RR6000031 literal 165 zcmV;W09yYAVQ_G4Wgs9RARr(hARr(hARr(hARr(hARr(hARr(hARr(hARr(hARr(h zARr(hARr(hARq+*VE}LdZ~$xoWdI-mAOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$ zAOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$ TAOIi$AOIi$AOIi$AOIi$nkEo$ diff --git a/benchmark/synthetic/result/.~uni_simple_algo.csv b/benchmark/synthetic/result/.~uni_simple_algo.csv deleted file mode 100644 index dfd0e19318ed0a62a1a9f81a3f3c426da29055fe..0000000000000000000000000000000000000000 GIT binary patch literal 0 KcmV+b0RR6000031 literal 165 zcmV;W09yYAVQ_G4Wgs9RARr(hARr(hARr(hARr(hARr(hARr(hARr(hARr(hARr(h zARr(hARr(hARq+*VE}LdZ~$xoWdI-mAOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$ zAOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$ TAOIi$AOIi$AOIi$AOIi$nkEo$ diff --git a/benchmark/synthetic/result/.~uni_subseg_algo.csv b/benchmark/synthetic/result/.~uni_subseg_algo.csv deleted file mode 100644 index dfd0e19318ed0a62a1a9f81a3f3c426da29055fe..0000000000000000000000000000000000000000 GIT binary patch literal 0 KcmV+b0RR6000031 literal 165 zcmV;W09yYAVQ_G4Wgs9RARr(hARr(hARr(hARr(hARr(hARr(hARr(hARr(hARr(h zARr(hARr(hARq+*VE}LdZ~$xoWdI-mAOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$ zAOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$AOIi$ TAOIi$AOIi$AOIi$AOIi$nkEo$ diff --git a/benchmark/synthetic/result/AutoEncoder.csv b/benchmark/synthetic/result/AutoEncoder.csv deleted file mode 100644 index 7bca9f13c25284125db3dd9f36cd6ea5d39b26b9..0000000000000000000000000000000000000000 GIT binary patch literal 0 KcmV+b0RR6000031 literal 23185 zcmV;CT5hFKO9KQ7000000EbTEKmY&$000000000000{s90Az1tP;zf@b1zU!0|XQR z000O8hfd-^=rD15UjYCB^8x?>5C8xGWN%|oa&K^RFJW+SE_iKhosz*y12GVW?}G2J z}(BWlaNf8)@Sjc2f;V+qHm+(V>r7Dbt_fD+f3%?pKm4; zPnM;QD)2#Bld!%1fJI=W&6Sxa?0kCMJ77^jVRE6ZfrPCfut~bR6KCE!@Ted}WMM+W zt`Xgs^B}LG6roRLLzTk%QXr*%&TUaB2}f2gN-)TWgTaWy62at<_uSf$wT|No|7)6C zS@VU9>B!YA`Uv8;M%&FeKHDOoUjn#fSY6KK)3TuOwg9@93 zQ-vDBX^{z!TYyJh;D({aZE>7c2CwGY&V=q#u6bL5voe?RW3C3t5=TD6>Kc(+iLjNwWgm?O9KQH000080EbTEK;SY5jVl2F051Xn z01*HH0Az1tP;zf@b1!3Wa%C=fZETH^K~ID*5QXn1{s+=Kv}IkgX@EUw_N0l47>&24 zon?u%G;NjLe{X?Z#OT3e=e_y*W+vYrRU3VRbxo%WL=%D{(4v!#t_$>B?cxoJoab8d zw$o6c6F9Ujudi}pnCL7#+RlLW4Y(+fv}3{)=-|C!7&~zQ#a$8{I*9wuD(=J6*4S|I z&TGIaAsJTSx#XVX0T`Q^h|WkUW~BMB?Ff(pLkkMDcbFy=e|tSx<^F6Km4#C^{$#>T z=eSF@6q7i+kFJ@GecvbjYK#%`Q~dgH|1^#oH+tBW0958uFkylF&X(Mm7IM6(1a%BE zSwKbs&!#XJNpOARsD`TzY7wrnw_y5=;0Y+t8w_|6Zf?aqn?8 ztI_Nh`*%5lnOi5cDq$QE2)JUp7wS^N*V7U0AaK4@eK%^wOSo_c_tpJf@ocr>)(h@H zP$*ZztM?|y*s&{@or?lifehNp&WF)nupS1%c&phYx$>A2l43SFuO%|SI(YNtv;VKM z*KDnG=hI?BZdH8C7cfXK`VxM$Nz=9oNf13`4T?!zqimCH5!n$!YuX&Mhr=fXW?iNb zs7{8{A77q=wx5`@3IG5A004(h;y?fZ00000 z00000000gE004MwFL!TpYjbF2Wpr~dP)h>@6aWAK2mpsp;y~A=^qn>c002cN000;O z004MwFL!TpYjbF2Wpr~db7*B{bTKY?ZETgAZExZ@5Xax2bl(Bx{X(4QRBcZSiOETO zr`7E}yv{<}q6NZ1+V0+`zX@Zfo^c5Yt!O*`dE)tdJdSB@fBC-KPF||xX;bg-95HpB zNwr_q>&^c0&iU(4`5|#8r>5Mm%Wb`{?wlXh$@%5}=bvt0>*Kf6Q&lw+@UTDKIZsV< zxS7pPtEXyLo~HGo+C$4jecY7|{CRwwoesyUT%SAbwlmLlquH+9>>c!Qa~$HMet6id zs;pi;@2Y)+PL9>KY+(GSr_JG{y?tK~^0z*guMn#qk1@myTRMLtu*SFBtd8}merTqv zdN;$N*-@sml*GAPS&rTjYgZn>Js&=R;{ycub+g?xKhEJg_qS&WKOblJx9bha(9YfD zSUuc1AH_`(#11r^k-s<9>&f_i(v)AnRNHFRRBM=QXYyZN@4l?cElg}27=QlW&e|4@ zO?~)OJv57I3x)an zvFZ*#Rd-KJlQ`7FdAActbG|10)SbMkh}?60ZIpg*_f&Nkk)OcaDHpa(_ONFd{COg> zvMKLxkM-*WmJ6uW$|zj$XX$u4lMG7-&$at(CY-|mwWei_5u^TQpf@k z5TYXlB{G}vD3RNQPYJ1sc4FI+ExDmE3^Rzf3mGPUNTh&4q-Gca9l{(5$e%9IkP-_d zVw7o`($=iEHScYe*ecv}PM+hpEQM(y3Upa!tQj@e-rHQy0RsgfSG)Kk8o>gIOY!x# z=Dn>FTg~_^OJQ0_d_B2r#s?V0XU<>D;zOc~FNpmp2|VG3UgYzn9>L}#Sc$Bugk>pA z3sIsgNBuJm7@O&YDSOZ`0=)D;ouEZK`5#SY-vL#Tj16QInz~czMd7L z6^ZDJD}w$8!TA`^Qo%;}OWRZs6IBE%-z7!JZ3|XNs3V;sg59^w1u}g#Kp|R)gjWIH zPIb(AGwUu@J5j?d?dKbvf>2Zqi0_gbW-$<0PtE+`)j%OS(lj718dt{PguW=8Gq~5Y zR4`G*+zgZ=rim&7vpGl+;I7pWMBWq;N#KWJD&j!IYgl&{_#lVDg3|r(2g=p0vE6f)aBI9shna(+E`t|ww zNx`OSwy7W{s@lN4$g}q%UTYMh6`|FGC0)kg-tv(%xYx5(Fi`{tZ%&JSuCKo+oR4rU6>9{)v`qyuQ9a;%Hb@UV$Cnr20+vo0gJU-_7XlY#glDNd6GgDUVJZkk6@fXwqzI`rSkOtOVV{u9J!H%* zvMLQCTD64AMuo_fzd>+529^poBwE_0f|#gk19vRX-mzF}EEJ-HO!Y^L_yHqVgl=!W za6ZPfR4`ElFJ_nuLQzFvtz60@^FGf5?#f+_LOMnKG<5yc_dK}YbJ@0>je+wquvD-S z{?axT#6%T=Q{*5;@U+=mYY@?jBxw|eBK88|$Eo$9k2eC&$G}p-L=n80VJZkk6!Cj@ zBeT}D9KWk!_X=~x^wk=LXw@QCi?S>2`IUC5+Kt$kwy7W{DhJf*AqnDRJvS4C7ZHW% zP=xi1d-#!-e+ZBaqMUpV_LRd9n z3MPu!$7e!OMPS1nlp}cDG;@UCu=t2*MdB!k-7rZ!KlIYTQe*_2kMS%OOccS38K#0z zR1t{rk|Lyt0LP06+dSqzGQC9vkxn(Mh|qTa@k_2Qq5H#sK72+xOZ zY%xj&8{sc)Q$b8rk%8ypz&;oABBBtjNF1l0=XUR05%j0wB=Loax_1ia%ya6JFA7Tq z6GiNEF`=j;JsXW#L;|eUP@lR*BiOvp71LKl6rzQQn5x;8_WVk_RP96#dzT>;l>-7C zQbPhP)O|HXAv#o}C_sT=s~{T#=VM^0V4{e<%Mgkx0@FE25#X*B5k#~iN#q8h4-Z&C z842u67y;+O2v{nZD1!YBQ$Z-I$iO2nJowWpV&(`-_k}{VB5?w0KyrkE>v<`IvoUZ! z29^po!e82^_CcmL9;8qae0T_-Svi!C)o7w(x)wJcl%GpSU^Vvq1O?h9%{5k6$fV=-6P)h>@ z6aWAK2mpsp;y``ycAwXP2jlgVlMTJDO|xH^=3C|Os>T~Wi^+@;l3YFcEx7zVGR$*A$3&i^=4US)$(mu?rW^%SZ<3N`hR-e98PU*-&TX_TOErJ z(AxG#>tco_U41OH`nTIGkJYJK*W+cin_$;$mFXlUI(JK}qAOddM>zVfhd&tA72L)&3uTA-J(*7U)S5>>;m&Fza zavFP=x4$%_w8daEuwSa`Yjg3BtC{CF4VK$-*;qU(;N`u1F1J7n4s+w5bHjo^2yA%L zwfyvW`M>RjJWq#TkE2z&F5b5FbG7|@v#MWV>Lueaj6frv)`vf4tM@OQM^z{G~0?uu_S532pR)gIQ| zc1Kl$mrvE@@TxB7Y@AG^wmVlZf|YY_6JFbk_?X51Szn_v=)F8um$NuX!mbM2CcE1c z6n`Fwtf-5p$7A&|g5>~iH8wII>a%=29g1cdvxfu*eA(bX0N+HQpK#R)!tYQ1T1+L_i7I63xIiJzJQ8TnkJ_S9%emdqNhw^nXb%=zTj0GQdEYK4w!x84^m_IGhG?5_0B8JPw#KzL^6n z99W60?t~S|^$2mIOF{i(445&-iQxni*T=Z0O!SmVEYp=)kz9`uWiTO!tX#m1m77v! zb0qXxV2tcD64$l&l!=})iDkNWE0XIGq8)PoE$#aJ2Fw^$bLAp&U0F|==qZy}rYo}| zxgH_P;Icu|8t%^8RYPdE94^eyl+jD6n8Rn4Pb@CXyH`1 zR5URKo6|x$p{OY^qJvBU?p|I%q?H*?!ypaAB;jG0`o^7Q#vEYb0!syJ@)vd}Cn4$x z95x0y0-Ui6Sa|`F))7BqJmHtW<}`7k1#_XLqKPS3ffmXMMNHv6+lQV?8V*c>8F)!0 z#=&H+7?=PZW2A~_g>=RR^v5vHi55<@RJ7*O!VcvmM2#D`%W!*_F_Vr$I#cjw`Bu_# zqJ#Z^BX~5^_a-yxa70>1{LoL}qYNHLfgdw&d!&TBznbQ+n%`iq;%h*rA++s3{gwlC<>w=^;rsu$H-8b3oKkpJvc&db|yA9h)I*7E6_;HfP zQN*S^ggl&@H-FrP7EZKOwC2FV4&@|7ObL4SCOzpioO!2X=$tF2FXBLATF0gQcrGkkg_Qpgg>PXMQTF23rF0fQEal}4b6N)+lo9~cR65!diFO?{yb;O4Q zWDxN*WNaFThJBd}EL>ozVB!dNUJK=fqK<&ZTaJ)Cf*G6KyqMpC1jzK}5ky+oIJff1 z9YCl?Zq^_bpvhm@p`3)MBLlaaz}{}GJVG}RPQE^{=7<9awyCEiO$aviitC>L*(n)PUy2URc&FO*l4T6PB%~HX{ z5o}Bg<%FV+z;F(71h{({1d&!`#Ja`OEF9Aj2Uvs-uvD-ne_@Am5~7X_Jo~~^GmRtq z9I-M8JUZe_*WERaIXv zf^XXJI(bIm?WB7i?dg9|O9KQH000080EbTEKp_FGnvVwn01hSq02lxO0C;RKcW-iQ zb7*B{baO9rXk}$|GcI^-Y?Yc_Z{j!SrK16CywdDyw4c`*2ql_8 z*d%Rd_Sf%8j+6S>U=mc7a?TUS?`!)crg{AM{gjPflcG%X^V0Fgt}{x`yL_LXpO?;G zfASA=XH-`4c^_x_IaxYClG6G3^z%=TZ+Y>pJSIssf)>u@(m7Vu|$KrWXUWz2%HwT@viSN3z$th0H4z}=6^l2kM9MWB~$#*ZOwdaLK|4!+y$jkgtjd%HJf?YFJE+z}2^RzP> zx?940=)XKa{jrNP7|2=ZynpM~pGF@1 zo;fY@d;TVp^!ZpVoe*Z{?xn2qQycM|QT|e8={fnFye1hmw{#l)yF7z)!tc>3g^3M4 zJ;mQapfh^Abv|sl?M`iCcX%WZhj)3n?~UitwC&E-gJ9(}=Y;q6Ab;%5+(uumGO!-L zkcWG-U=Cv?n=oxMyFEei%|LA8Dt>w_^0yHz2XL#l(Q~0a!^iRx*UQ*@n8SeYYWx%M zbp-keN0ktMeR3ZsuQ0GXiL4O;BRayP#Kt6iN-&cMD8XBz9+SFfTRk9@zy#EGl40Qc zD6MDm(otoEvMYPkc8$b!?Uo#~UB#Yx!u4j2Nj`H=xO&G zD-RjlYL>_i7x4J2NoG5e%Or6D8&g7pP}Bv`b;|{HQF~Ys)p6EWwM4Fp*w~WHmgF+2 z$l019K|)j^j7l$sz};Khh)9L7GaxU0Z4ZE%Hvr}mCXV3oN=OijIszMpUXB2#RdQo( zBXVQRElK8Cl3XSgIa@O%NQfx(E%jVo+cgIY$=cR-3M4mo_m5 z(QFXSC9N7~h6D*w<9e2T-z@ujIgm(aie}p8PM+P#bD1Ynu~$k+5Q<8L9ZH{7;Nwn4 z9e@3PT_Ua2a9V#?fZrIvZ+-Z&yAlh7COQf@7Mqm02 z!3O)$Y*5==(!@ACoe~m+qQ*hlzGa+xzu;qeSLcXPAjlP9?9S~~a|q4k={pOpZF5O0 z4s6YkAR%fB$n0ebaCdGod_>xg!*`F-+>cx@ie?MnC?x}6Hl$@PVd4m$ObH1>QAc2_ z)yomwl0nnm#nmV!h_sHlQK`My)tCr{9ujUp%fP zW2-n4XM7iLJ15cQ(xg(fgBG(K z<{rTA0bBw^Ep|)^2|`h|Pyug^KdBB_gvtGgc5k%`kg-+=L^?+z!;w1xlP9^^0+)ay ze`|&W2~kI&INx$az0nA;h(mw7D~M4eXr1@n>3r@7Q-2Y9UZlYr*@6aWAK2mpsp;y^|-ZQG&;000Ok z000;O004MwFL!TpYjbF2Wpr~db7*B{bTlq_ZETgAZExZ@5Xax2bl(Bx{X!l|sGzHb z*yNreh6vL;oXp7-goIA<&CM^;%MAAkO7`Bs$Qs^=`LClKLWt*qy| zzC6rk)$TbvrPZ{!WM}Xkit?1!@V0!KRhKeL_w7Ze;3I-O)nkMSQnSi*`eNKM=*SHd~4El z_1B{K)`a_Izq0J63E45*HA$bO@ba1=&RiHR|F%tG?gPW7%=)%GF5my}+Qr)e@}->Y zvqSoFtT)B+pL}0G!(fc2zCZWfCl=5V;HMVv}~&y63H+FwY_BM_#sN0k-V~G89r^o8VMLbz0iOX8zjPOX^IWLb`~|G z_DXs=Ugy~DXl#{hmPED??fv+YW{c=$_q~_bfPr=xrMcti&OJxz-*^PeMz9=NITM;Cku4+>eF-x6 zFnnUGR>067NQI;8zima?#x|*^piJO z_|h*O1o0S{je)s<;pKgG!p2LcgitgiuyhUSYzLP(7&CpHR_Cxlu6MV|$xKczoRXZa zZc2!WDun8FOCfpOz$yn7p;zcA&l~IJ2~`;v>TDKBH!ig25sYxd&CFMG;U>AjfRZU8 z6wL*wyOj%hYCBjL<=$53wm@zOiOp_ic5~sDL~V6bLQGUA)Z0Nifm8ZZU85aDI-N>) z$7VM(ySZ=^op?XVln{#Qge}1!oxmxzTARIybUL+hYjiWm=;p#LiQ4L>gqVm<*HE|R zIoxodlgwd7$yzXw=6;?low^Z7mkWDNf0W`rie{r|E@(M%x+x(hnz(`G-POyxI^hM< zB}GYVY<4rVn+rG5iA|DB38AP?*oF+52rh0{)o!{ILQ$#EowuZt z>VTz{R0rkLfVGQ^JV3PSfJm1P$6Opnz)akHP-HG(k~O@UWJ(A{vj!#mR@UTa0T)ZV zJV3P4K&!uNN1pVfPMHxf6F2WNVvNiMEXm*Mri7SiMnL1Bi~x7%sli30Yj@x-Y�W zFqnIDWrrA#VA%+k3znn;(GwQ2XFz%8PQD%G0}_+ zTxC3cl~Id`KsvR?sUDAk*%+7$m}Ep>j0i&pkzRDDRf;s zT_9XLh$7d6HP&~WP=R9+uM=j3*%+7$m}CT7CYcgKk&ImZKJm&oBn@}xaYG=T$iQ}k z(6$3VbVA6Avc8Ui*%+7$SdzchO$jm4j11hZ`uc8FtrP<3GU7xF`B%*d#v25)F_F1| zNk;U2Eum;e46BJ;M|>>Eq>d;xU@aI^9TCWTBGg3TZEpG5o$I;qlXU1y3882@K;W&i zD(_i*tkqET`m(Cjg^fTuDel}4r8=VO#(0BZHYPF`Fv$qsOfn^eq8Wki9F!5@?iCS4 zI+0LBLdW&P&|A!HSN*uh9|5y5Fc+{Sf2*4kVxk!txUYo+BTYu+F`^X_Wvkj84Z#B< zS3U|7@w)W6Cb&7R(%gIy%mqv`g4au?<}6MV5>1#9JOP7;FfQp+_G?-`<>zX0gflmA zv}W2IAt~{23%-H#I1s^_d@X7?=F@6aWAK2mpsp;y_))meWB8003+x000;O004MwFL!TpYjbF2Wpr~d zb7*B{bTuw`ZETfVU2mf}6n$T5{{!NE623x`QPa_+*zroU(rC3G&rCwvXp)cx+Rpy_ zy>JcVYl8z-)wK5<8=rH1FLA@eryrNI^OhCmDZg%9f9APPcHQTP)Af1d{`DvSuyUQU zO0S3XoL{qz`(IYNpB{hx<>5UqzLzgqRyi=kwcNNbRdxF~pO^cW?2?wV{FYq-Ip)PB zt>Dk%d0yU%EIl-XF6VjRdGY*`o~|y=@Ua*(M}9n>_F0neUoY9U!bytkoK~>@^5t|Z z+u42`M$LC9(s$6>u18s7f=D-?9~tYroc2Xt=ErKb&o6UanyGR7Gx6}Dl{nyBKA0HYEzZUbyhrU53_CJbf=>pJD{yt^zrSiK| z<+m@{v3knRXCOzR>(pudmgnDV>TidQ>($d|=WJga>ZI`UmLZ+jJK^8vGVm*0V%}Xt z{k^>&Zxa8ta1PlqeLYuC`T3vIp?ZN$wwgsz90jYz(ube1+fx3>-$izMeyKKY1p9FR zT2}d`jrgvUzgFkdHT#miWoMXf<2Fk7`5CSWKb^}7ws7D&m-NTRg=yc1u7@+X%c-?= z!3AE^wlcCXv;O%a=0IdtEij8w8@-ej^dj{ zBx#jCJ{0-80~;UQs%`W=n9uOByrp%)`X5)2?0rrD4E#C*>x5Aygx?;$hxr>Mb}uPU zNC6`{hEExZ$p|QenT(J!c+04BQm<^M2ZR!sgW66qBz}xipn+0VMnspeMF#AjPUwO% zo{+Ibn`WBG#ELR2$`SRwW=}TyjfhYq#DQ*?DK#T=9sJDo7HHrA?A1kUlHQ ztSCoR)n`P68X@{Dds)>7G|;E!Z>i}+MyqeJT&<&J7_Xwh_ZE6KCve#WE=R8Fgb@*H zggDW)BYUQSre%7iIf0DU30=DtWmc3Us_HW$LX8l8usO%nGSIYIUQ>NrWT<;VuVrKm zIbcPZ6>aX9bqoGk%g9$ELX8jy;GQt#fV$U#re#>KWn{Gav|g83QD#LsqKcZG5fN&H z=!0RS1lGJe)hsEk#MlefZ@M9pDP%T<%q1CKe%`xq@k&S#7Ig$}Y-3XH;|&mYPS?Nn zs+N@2ksu~tx+6H>C^DNeGnZsV{>}^u5~7Yk{~L0Iym`Ss3EiY~#Mj=vY<=X|I)S7} zBXpN=d@smsBe?{L3pkk)5`;xv09`{asI9=qZmRAJy%$JIuZYA3G8@PxsL0uwAwfb^ zA!KEgLg3x&1xRT(b40)NoK7G!e*&3HGI0dQD%^_k}h?VuzU><`P!DFhhcb zs23wUe_(cgy}~7>)2aE8+`-u$oJ*WY#Z@UGL0D8O9A3t3>;MlrYD)Dt@siR?jn>_1 zyZ+CDR_as8Yzmo6vLb(Hh6D*wN8q?K$`L#ksqI}a^#CcYBfkE2{tnLW;9TNFs(M&! z4(x)ks8mSjkW^Ch*eXfQYg)Dea?}l??e!-~k#^`C0>}4)%r=rskhp-8DIq~v)CFj( zLoTTI^8nkgnsB4qEgd?M;|CO4Mshh)k+U;Hf`q6-So0`_z`Jul50KJsX*i*;<3;E% z*Z$gDY6(xKkl7S6mt^7yu1pCD!lI7AIcSt4cwU03yE~at?*Y$Le@i9)l76BbnnN0%`>IW*5(+CBM6Qo7pqqGb$aEq_u`$rLi1Lgtc895K&l zghd@0c|Hrx^O;`Tk}{BU9N!Bv+ej`!q7WxjLV~cULg+_BIVZJ^EfJ>fx|gs0!)Y5L z$6DJ+=@pvD@x36kfn0)$2#YGT^mDbgBW#JJwzcR7a@7)m0 z2671!g?J?;R6p-guMb105TDGz2Lf*CbM|{$JfE(mbB1R>;1Q2m{WwE`4_e?K@LUMY z;5y&(3Ld#=etm&Qbu#z>-kU9af8{OOFUaRH&#Qh2KKa0LyrICK^X@sJ$NvFPO9KQH z000080EbTEK($;jhxrcx0CZLW02lxO0C;RKcW-iQb7*B{baO9rXk}$|HZFK=Y?Ykb za@#l(hVQp(-$AAOu?e1;iZeA550-V-o~|{voVdoeypod4?9*?904Q{~2$4=oasK`Y z0^LBPLD~BJ>z{A0gCD!Y@n!#hHxxJCaIkxS+&{g%f4v+2>!0N>>2Pp7ZQq}^ulx7i z-SDs7aro<(zyIy?&;8+#e|X!T z;J=5jx5tmeZu?YU^!9q|dtQ9|wtaaYsun&Sy0o!>etvn}<@?9)Z@c%CYUHqc-JYQT z$8RqmN7LG$Po3I(I&6Q!SWSPdF6PS8v?oH=zqgmi!~VE`KHWU--)>dc_$ag642|>c zku`L|S#R6JAKyQIfrdX|aKFF2zMTH5hdcc8xpv{|aQo%+(+jvk#%^%fJ>Ly~6Q4G5 zJOo3H{QG71^JslP_}_m2_K(NyD+DryNH_mo$SA!kQ3m$+{r(Sm@#N`l=*b)IUU!eu z#e*&U^J6#Oy#iebA123t>pRQu;kLKUeeLf}AIf?%tPX>x-ShVQ>uJ1y{m;wO>D%4V zk8YwMN<`?V@--M5WV8QyzkB)m?Q}N`v*F2%tio&N(mhiqT2a|aM)iRyQ>M(AGH1$yDNClTn6hTd##T`9Aa8aG9&mN= z%)A{b0cwwC6_NxvRzzFGoYn$cX~eLVMod}lh%sfN6)R#)nKEU@lsQutOj$Bz#gsKu zHnxHy21%?_#DK#QQ-Zz5NZK4L!bB`e(kx7ZI1PQ_Ma0W_54ON;90su*lUw)RAWV$NYmIl ztp&EywTZ2yW}wt^xC1M9ZXB#2|C6_^Z7f~32fMoiRLhP+}guGq^f_Db8~ACn*M zxim476+bRbxisU_oJ$KXExEMf(wa*fB;i29vA$Er6z2RdkAI{r7-^%u5Xn*-YedHs z@0q#FSYYD~oed?nS=%-Kc(2~k8XrQAtnme!BC#(@T$rCzy*Ox zTO~0&Z(L~@gy^aH09KcOLHzQxU}Tbic4!QZIFb+4NnNVgX4-nC?I^JN!N+-P zofxWqr>cHF{=lUvmu6g=b7{e)C6`uQT61ZGBpg_XLbt#INNQW9*b9^GqY7ycBet_J zI?biPW*$amM`2{rM7IK4l_{DYxHRR`j7xJaEx5Gg(uzxKE^Uy6!w3%vx`k0aO|bK; zQou3Iie=lWLQELRV$B6H`{xU8bJBT5k_9LN;_KGD- za;y;@FnoRPG8Wi)p(0W@zu0o6FGi8nBdIq|NSjGR;_+lhEn0)s9rTdIVE_Nz+ z84GOW!^L*&$VwaS;UWnS*YWTH4OgAT?dZ~c>?_19N9QRc?*kVECex}UX6KD74I}U9 z=L{DngX27pyrT}^_GF;R%y*p6bC6PM#ELSlJI1J6I_=(;Omo~wK@Cr z#}PDRPZ$!nu|~{h!ZEDniVbH6)VP&N^qg1~xIST6HHb;r`mi(Kq z>u2@Dgrs{TZH2ouCkm1=#u_nh^b!K(*MNcoq=E8^z0!8%7yImh(>0`-Hou^i1{|3{ zWc7@Fg`7u@er|=(c`v%4bmTgTmA&Xn)5u?HD3|6D6n&li#Vc8snNYoX6Q*hGd0yzp zB93G7^BlR~11>0>gh3WU`+gW^9%;Gk16LYGzEVBA;H#ix87w(6w`g+G$a!v^Hzm12 z;f*QpMHiGtd#NBPpzK9gnzsFgB(xR-M;&eFD9M4pM4h9263>ygx^k38j5h@>d-7{Q zaSbT10hI=jXIg9M0LslSt4?xcCXu`|)`(;5s1&|o&MB_7P+kKn4WO~N7Sw^Gptdu# z7yT=s!04I^LKRX1KiP*HZ8C#v#`)}OjU8nVT};;5BcM-U0%f&l5vf1M8Zi@tB*@%t zE{Ivs`l!4HR2o2DX)TZg7)hH~(CPv1TINtlGw!_a&fEacxqa}AGg=wT2ap(n+mnMnG{4Ax3oWl5*0I)9$3fB#Wu&x>0Eu`Kq-Bm%nG*C5uT8e5Foif*sAY*_FUF(zsGS z3pjt_0q1?-q7Pj5fh!FoSGJbuAr!D}u0%^z6}tB3Nsn@}De!jVE8mM#c={TN#192Y zxp^PB=mVF1;7Y^DSFI&|=qTxtuXxc;YOJwr%JNm1!XtfnvI{vU2_td{$os%WAGquT zR~kmXYAy6bSXG_o6>!(mnL?U*CDJ&A8WT#hI3_hoE^ll3RXEt92V3@FE6pN5sctC= zZ;?>ew)x2}$U3Eve%C_Vtff_CHsr!Gkg#rw<~B{`0CPauCy6> zskOupA@8(#39UR;_&T$cLOObYz<7v-?3Oj#h=WSExzc9j0oCB8c>?ulClBzVoaG)| zlt)44izrTGA5xD;pWVt2uds#~`B^AL5<`g;!2@jSj~;N@r{zk+$XDuS7km|Utk5NQ zCHH8g+iamQ@s8VEy3Lg~+a5p?$|{kg@V2vx)+GGq?C27W$RWxF}#2zB$6o}~~ z?t&0xW|hPYPkBgYt2BZ9(^_mt9gA(rkr_g(9*s0(Pwj+C;GDtm-JT5Ly-V%yHWk^^7a^Mqy|jTm2r@LVnNvl!k8gIW;}D5q>1q;M>QT|X2V zJHrt;^59qq?~`ZHa6n3glCV&EwKrU87Ndbl>`>9mMaY-U$xfKk)xJI8A?}}c7`JL@kq8sW*!;H zSR=-tK7ap!5;VaS6ktu1SBXj!$VIIsbOcMO%a$)WGM&g`8f&B(K5ir(C z%!0zCvGR(&(stwoH3TK$oy<`mqwJ$AD@3cFe^`@ofkk*`$GF8KqWUU9T@3TH_yGB4Dx7%m8G zmqzeChD!p&oNI5n(y;9-B%%BiJ1T8EKS_@4QM5YJi1AefA2bPDbK?8p1nw)<-Wi5B z^kCcqu7J-G!ox3U%VFxnlW;E+@NOMVW+jDvN6VFlk*`{-?zm&sEjco;$b27b#0=k$ zJ$Sw!#qgLL9^8|XC#P^yLxC3tVZzR^1U8hu0d{OjU~rYZy}1U%m4=b8TC48ZS#|sH z(*pG`0*)kC&nx(yGCVPz#i-SQDMncXjtb5HWHn%_FV+Ag#I_WR8c>^mDt|3b4MBYx zr}_xWkL}mpe0%u%@_rn=?w(=C@@^8iat=zrjbg?%+e` zyc<{%sTY|qxY_f5f4Xdf9;oZe8j&4pJ}>sm{{c`-0|W{H00000hfd-^0000000000 z000002><{9cx*3pXk~3>FHlPZ1QY-O00;nwPU1jJ9hT7B1pojb82|ti0001ZY%g?Z zWo>0IbZBL5Wic*zZEWpXO>Y}F5WN@Ze^~6jk!0&5G9m}IKH?^J5=2Uh9I0Juml1cl zASpY#70Izcfud>AOM%{cDB1={fL_vH<2FT`0{IIaa#t%-qH4#;AuVEGB<`Ex-oVM4uQ%mra-$FE(g`W{XL7LqjT_;*Kxk1qS3kSGliWhw6Xb1eL;yB~gV1?|Wf zC)fk~RP3ORA4{3-R4O8XVI(fG45#pH!gzuteC1IkcLUuC352f!>BqTiO_*MPq zS9Y&d&`x1QBpepFaBK^zq}A={`@tD7v#VAI^vOqETcDU}#*aF_1BkIEKV>@{FI7o;Kcy0E;;yR4^OcKY; zH{!$s9x+Du8FvQYhMLQW@MxAs?#cPg#N9#Y*fn<-rB-VDvkbJ8xLkH)Y|*?;Q7Tb{ zQ!G98j7>3itnNM`R$Pxrz?onZ>D?#ZJ|fPLjL6t3q@~dTNgywC7ePq16`P}b-aezQ zRrm0*jf4$>sDu0nQ!9+u&`hGl<#L1)Y6koe$=F45IOlkA2)jxc3jKg2?~Y;JK_ zuaWc{ARq3uAJKVYBe^6~m(N4Qn2GGMX*Whm=E4q18k^XU#S}^udAFH#!H<}|L)3T3 z14=ih`yRnoy3ZDZyP%vVrDcJrCo}HIc1YxZ*AncZ2CnP;nyz?2}%XY`# zn-ZNLcdpN|9`L0oA&bC*X5-YgG#HzV1DA(=kH|W z@q0oj9m+YyheDsg1vH>=0E5a-UpjGl9m`_)sCF_;VBsQ;w2jA^{DjDO7^4hM?=@dJ ziA3Q#5?;mx+#2<;)3?IYS#rd}{MK2ksT*c49swHz8q6W|P=Do=T;7unUxe4Clx6illEs_;^ysDNdr+luSP<*C)>rFM=?TO^Efvq|X4 z=pH6w6yl;f)#!O>ylJl6%amI5R49sA7&Ka!|Bb~(a}9Q@+CWoNDQN1Qbo}Oa14<@9 zS;wEi?HxWQ8PtwYCtE}#c=;7bo^SYzC`-nL>>&~70oS6Ft3g5}<{l+U$5+cQ(?C8bwR~OZTeewijBra!x3_1O&W{pQG!Zqahg7mXlf36ytRnR+?Rm+P!13 zz%!_wr%4#9-(0v|iCfttoYTSJg*rdjtyV1zO%~@$9clf;h4~8u8$ST?=)t?(8I>Xz z2o2i(2T)4`1QY-O00;nwPU1i&5L~w73IG5?RR91D0001ZY%gWiQ@DBch5a{_fT8c5BrvM z$8d+HV>e`FvnWf3-Eq36z2A_3d`sV`$GKTW??eBhPYv>(W#?1r6 z@FZYi4;%7<=MAnE3d7EU(Qgkooq=J)Cq2jQw>^04?iYpw*JyW#h^TKB)MBwx=(kN< z-rllDeZB7urH(VQy@ssOOA`6ywJu!LWQlNVIbBfYw)Fj9j2!RP|9yKxUR;%~ymIAA zakE&wExjuE^k*B%pA#+{#aul656N}F_W2(e3Qf<#wt3szuh;;9plsAzIgT!-*wP-hk!mpSkllnj6MI(zG*uyx>z7G$lpD5S0Js1 z`6NkuemZ^j`PrZEpMCuSzE>cVV^3KZH_IV&cYm)T>v|FYpv(5s>=qQ+*{0n z7YtWmo`PY(0i&48k@&6!VKFPKluDM87K8~_rGxut?^qVSdDV-?_nlFqD?PUt%e8~)KKPfKRmz=a&U+Va0W#-KaEa~VsLxK8@>P~T~ z2_*?FOBWUwzlEmIiw^^+=akI6h!9e(EE6LMA*;7w>Rzg_QF8i1m4d$15s+wIrM%p@ z&9SZq*436Y+;I6dghJA^EV_Oul~8F3SGKnXZO=1YTZcE2|N7R^018VR)-wn`1#;h< zyZ7Dpk)q;EoQ`1VSY{V#vEO0~%sLXe=U+4Ju5oC<(x!r|*8-z!TD@Y#V1BC?QjbudZ1>WB*$GUkUBcR=!{O z-6*5qtcEllYuVcBR}rug6pZz3<+4|nKt8IkIwOR# zs#*D!nbouPt3T7=h1Tj*1yek&#ms6pql7VYP4o6{v!2ns&8$b(5>lpaxM23hi%eM7 z?m2E3PUj^5V5|-+N^)s?%QAW%EGAuZ{{a2>oB>)|I-ckB;YHVM?>lzef|rGWBKV&` z35R`fuGf(JM%NtmK^nJ*%Vb;)t+%wQR;+4ewStQXkb{J;Og1qkoru7Wt~1)R3~Gm; zO~Vbw0`i6L#MCs{<=Eq?Ngz5wa8lExb!WiPJHThDBx1g$O%?s3Oe3;%4#ljUa|i@h z&Y@U_jmgmzDZo&qvymZ4X(L0i3>(AqjI?oNDAL);5Tvw`p-5{Z01;~g|3L`+C4>Ql z#luzCVaE_36Pz=}1nfC1_|*p4dJ|Y2(S^G`$y`6(Lh|kymUR>5)1UNc2G>vuKkPBB z1kiGU&Zbd|19}M?mHtbTuF0G2t+r+E+kL}^6K})y%nmv)@4#Dw9C9D_;@Lt$7qBfs zUjfTkY7Yk1(T_&`J;T*;s|MBrUv1*KCwzY+&>+0@hU<7n$HUDdMKJ6FNH=BIgCf;du# zY!VJp9TH0TE?al9!v(OHqnM*1GB@ew*`46p9J!O3!_%gL4w2r`$ni0m#!gYu1_l_ z6>_eE>j_F_2|5(QAe@|v@Fum2&2_D~a=V}g2wn!SY6zg0Zc)Re@_f~g8p@5A&Ydcg z(Jx5~VCtevqA`P6ZhA^iv)LwARJ~n>tOY&`Mj5jpLM1>x*BVIQpkjit7AgrEC(W_k zrrc`lCkCG2(on-Z!IO=3zVbc;NXC)5#Uolu27m`z@O!#o<8iI_edVj{?nwuK!C_y%Eb=Z6XptDs*cN*^GI8Yk;HT| zM+G^88UN?e3q^GP^b_#{PC#o^Aid4fFWvUwmT?Ftzob(psUai(Tb5`<_C}@!Po$736Z-w41eN0V zqz!5O%~#WZ-kbd4c>Lti*{2^*-}^#>GJ-IH^vf_Q<7U<<7d4IxxP@?ma4}q9t5l$i zKnqHbminP7u$U3hPoF;=-#-Z?0x3fQ1)G3Ei_;s#5xvm@K9pO+kDH{no^nCER16pL zT_8bsq93~He;$vY{yLBg)fz*AnqJB&peeyL~o1>@=av1Re8$p@>Jpdv0|ygcu^KQ8Tusz+E4yQ-NG zI!16uZ%9NQ_KgyeEcw&o&#A^dc7y?mP4iSX?yU)B!`YL-XX6L=UOamMIrHqJ4+HVI zp*tiL(|!5H^z_@aN2f18dVBic`)3cIPkwho8Ssb_4pQPNO2Oj@nyUo5#+poH1VP~v zwUEv9$=}8wyw78#6v3Ael(CtWPEjy3u<|wWX#Mx!0jAV)K0U#4yTI~Tbb>sR(@T7M zDht^NGAqq*PzG?S3tbl*0jdX>%(5v99XSISw2{k9u)-A0B9$2{=!BXf6($CMR8p9r zV_1epS!{q&m!Sq~hK(j<ouMgotJNPe+T(cqnYPVUf@9gU8My=SaZD=KXLgL)uNbWt>cN+c0+VY)3+{4# zV}0dshSwT0^MiW0Yr-%TeIM*Ugbeo7nWTOoTT>~bAh*!kUNh5EJ1$-3Tj`ov7wRoCJIz^P zO3rOvp%~*4s+o`w}isBv~-ro`Yl)H;;0>7Tu^=!I$TdZFEgu}Dt z(nsfH^PElBs}T2*i~i&qi?oXDMhZGP88jbb)QvSWa`Z<>(lJZ75^iazG5ank5<80Moc-kU92`2Edloe64%(AE}s8u}2 z20Xv)Fw}~84EroL0hEaq0M#xl@_d%n%6fTZScdO#;BIF%{6gK<;OR&bz$s$;v9e8+ z>($OWcsM2!s%ieHntdOf6i!9@Z7hK)<(Nn8;B7ILBDBqAYaPEX#(5#L^=ru6z(b$* z!9o|`_WdY2>kW4Qtf8uu#eAM~hsWJD*nLG@>v&P{lGOIDcUsDeeA3fr1IpA3Q>Rn- zWV%7?>2dFHtJr>exnXxBwz{-@2{&fc^L)l=^aKZL-{Fb@F2x(-G&%>G>@$28IAxrEl&o9FMpdwiV1StoFtgNe65~>}a{4xi z{zwH*CetFZW~bkH{Q^)+0|W{H00000hfd-^0000000000000001^@s6Uvgz^b1zU! z0|XQR000O8hfd-^dpLHy{{R30-vR&t3jhEBUvgz^b1yD(Wo&b;lFv%SFc8M?g6|OK zzD;)(5!rMvBJ53MeSnxu|Ij8Al3DG(y+Khd)Vc?cnfd0M-+W}d8{HsYF{X~Zf^|`X zKyS!)zESXecv#(nNUXip19?<%!UVhO@?!ghgXTPx+AbuKU3^l|GKV`UlWEcER8T;l zJ2ge8IX`0~gEqZxP;ScdM#i5WP)$6=-YSTDy9RMMg}nK1Z>sCg;60h6L(elS%kOtehpeq;Ee%Cng_u){+~r)qaV(j~TuvW~C7{ju zK-1Ib!oiWzTeQnaI)o*n>;EJ&$He58c|J8?NOJNmt9MXK0|W{H00000hfd-^00000 z00000000002><{9cx*3Ua%F6DFHlPZ1QY-O00;nwPU1km1@tx$0RRAd1pojV0001Z zY%gDOWo&aVcW-iQVsCG2E_iKhE^=jTbG_8fYJ@Nl2k?8L?;vxpQFqsF%f`Kw!d~0$ z0|XsESWP68e)#qsJggO#^deq_Nyz+vNr;EzPuB)tXsIz;LL5dApw3Ov=t{!J`SoEB z0Xd}$)f$Zw1|&FU_jiXkY?b3hR5v{Z+(naw+PVH&2+C{h6osZo%`>I3opM~-O7tqf zs0u|AMX9iVdq6hp8Jr3U_EbDUa2|S2{=c^=%O=MclYe%o-HixAwX#^eJImW6ZmevD zPQq+BWHE@_7(R>zF>Yx2G$+Ma`{Ey$jCXuTIHixJ7{9U4kS=NXHugd_qMIDoA>!NO znbe2bt&G|EFx!_RGwE0Z>Z=1QY-O00;nwPU1ky zhbCke21mCW-Fi) zV;Efc=Tb?;2dM2CTiDvBry#t&X9Y|o2uv{HX35r`-}jxDRT<5|VPSO2+DVH= zpruiT9;fVm^c>%@2))osltx3!7JzKfzr5&;78Wp~YK3J1Rx;x% z;px_mxfOCE#=twRR+meoJ!l{MI)n9lkC2IJ>7%DPJzknPD3L`E%Z)WFWy0FBkiwHG zpJ}y0iC2V#D#ISk3yW8z!T44}z4AL?RrgAxafO0tD4c&06=`r~!!pDi2%nc6bKyX} zc}H&~9!*E000mG z0000000031AOHXWCjbBdWN%|oa&K^RFJW+SE_iKhP)h*<6aW+e000O8hfd-^;4%k| zD**riF9HAn5dZ)H000000RSKX006WB003lfV^DH$aC0wXZ*pZWcx`M@O928D02BZK z00;nwPU1kFmPrx)0001f0RR9K000000000103ZMW01g8H0Az1tP;zf@b1!3cb98TQ zE_iKhP)h*<6aWeU00000hfd-^0000000000000000{{R300000000mG002A$004Mw zFHlPX0u%rW000000EbTEKmY&$000000000000{s9000000000G0002@Q2+pVY%gDO zWo&aVP)h*<6aW+e000O8hfd-^z6JC)5CH%Hdj$Xh8UO$Q000000RSKX0016R004Mw zFJE$HY;!MnZ*ps5Z*OZZcx`Mha%F6DP)h*<6aW+e000O8hfd-^*+QH0IP)h*< z6aW+e000O8hfd-^OdXcc+XVmsAQ=Dv6951J000000RSKX003S*004MwFLY>SZDlWX zXk~3>F)ny*Y*0%90u%rg000080EbTEKy0Q535Edx015*D01p5F000000096X0002^ zP5=OSY%h0ja%*C5Z)+}iZER3W0Rj{N3IG5A004(h;y?fZ0000000000000gE00000 z000005C8xGT?7CCcx*3sZ*psMXk}$|b1zU!0Rj{N6aWAK2mpsp;y~A=^qn>c002cN z000;O0000000031AOHXWi39)ucx*3sZ*psMXk}$|b1!pfWo2|RE_iKhP)h*<6aW+e z000O8hfd-^dw8Sz$p-)c)FuD`7ytkO000000RSKX008w2004MwFL!TpYjbF2Wpr~d zb7*B{bTTe@ZER3W0Rj{N6aWAK2mpsp;y@t*t(uPq000gq000;O0000000031AOHXW z^b`O9cx*3sZ*psMXk}$|b1!pfWo2|TE_iKhP)h*<6aW+e000O8hfd-^Ml)^Oq6Yu~ z2qpjk7ytkO000000RSKX006lh004MwFL!TpYjbF2Wpr~db7*B{bTlq_ZER3W0Rj{N z6aWAK2mpsp;y_))meWB8003+x000;O0000000031AOHXWkt6^Bcx*3sZ*psMXk}$| zb1!pfWo2|VE_iKhP)h*<6aW+e000O8hfd-^wOlZV`40d9bXEWW7ytkO000000RSKX z000Oq004MwFL!TpYjbF2Wpr~db7*B{bT%${ZER3W1qJ{B000&M764@h000(M00000 D8p9Zm diff --git a/benchmark/synthetic/result/LSTM.csv b/benchmark/synthetic/result/LSTM.csv deleted file mode 100644 index 873a9019c34d5a0561ddea8196b685978539c519..0000000000000000000000000000000000000000 GIT binary patch literal 0 KcmV+b0RR6000031 literal 26367 zcmV5C8xGWN%|oa&K^RFJW+SE_iKhosz*y12GVW?}G2J z}(BWlaNf8)@Sjc2f;V+qHm+(V>r7Dbt_fD+f3%?pKm4; zPnM;QD)2#Bld!%1fJI=W&6Sxa?0kCMJ77^jVRE6ZfrPCfut~bR6KCE!@Ted}WMM+W zt`Xgs^B}LG6roRLLzTk%QXr*%&TUaB2}f2gN-)TWgTaWy62at<_uSf$wT|No|7)6C zS@VU9>B!YA`Uv8;M%&FeKHDOoUjn#fSY6KK)3TuOwg9@93 zQ-vDBX^{z!TYyJh;D({aZE>7c2CwGY&V=q#u6bL5voe?RW3C3t5=TD6>Kc(+iLjNwWgm?O9KQH000080EbTEKvlXb04o6i051Xn z01*HH0Az1tP;zf@b1!3Wa%C=fZETH^K~ID*5QXn1{s+=Kv;}uH4X_8zo-{ELqw&_X zvn-L8rmeF3?=7&47(ICGyf@iH8xzl z^BQnU$Qmo~TyoFx0F2E{L?@&aGtzw6b_7U)p#=rnJ4_Rbzr7x;a(_0A%EGA{e>7pH zQ`{w6ib6#Zt-$c^gtL z@eC+){OiQ!7f?$B1QY-O00;nwPU1kFmPrx)0001f0RR9K0001FZ(~q$Z*X%jV|8NpOARsD`TzY7wrnw_y5=;0Y+t8w_|6Zf?aqn?8 ztI_Nh`*%5lnOi5cDq$QE2)JUp7wS^N*V7U0AaK4@eK%^wOSo_c_tpJf@ocr>)(h@H zP$*ZztM?|y*s&{@or?lifehNp&WF)nupS1%c&phYx$>A2l43SFuO%|SI(YNtv;VKM z*KDnG=hI?BZdH8C7cfXK`VxM$Nz=9oNf13`4T?!zqimCH5!n$!YuX&Mhr=fXW?iNb zs7{8{A77q=wx5`@3IG5A004(h;y?fZ00000 z00000000gE004MwFL!TpYjbF2Wpr~dP)h>@6aWAK2mpsp;y@|ZCYLY@001d3000;O z004MwFL!TpYjbF2Wpr~db7*B{bTKY?ZETgAS#RSw635>c*zaKIeQcgO8c7C|=vrWQ zF__uo+3hHa(YBSfolehw`YnlvRHaCf9K&%^KNZP8$zqYx&CfrMht>D$eA(Bh+kmfG zu&PeG`f-1Hz778M&-|x2SY58$)8qC~pQ_v7&*~EVeD~MC+`QN4Z2e#q zT(7TRHk-@tr8;ge>-x1if#s<_AGcTd^ZdNIyq>G=V|&r@un~-fo8xwW3XF#@=Q%#= zr>Fg{O6%R*u{vFilXG?0UZMV%m;LL-dHeA=%irU9`wne&_32eHH5TuWt3mya``x*| z)KAy-u0C!|)rPH1HVJCyaW`=Efmp}w`Pp8?^fsP={ERJ#K&82H^I6tUTk{RmVCpmq+$;_-!v2d>u#H zRp-NtVCJ-C!f$txSo4sz?Q2>oCofOz(YWAcQA4Cek4x zFp&)jiHUqjC`=SXLSv#F5}_wHAdpuHnmb3FX7Jwz{gy}GUn}3eAz;XPZDLG37$P#t zuBmd^N?M#@E73Hcv=+w7nc3M51ULyRea ztyBSQr3y@13u7HLvhBEX#E2A_m_mI800Ra3V}R2sWDqBT7NO)iiW3#dFeXh-F$;FV znZE){n_;$d*A?jU8C;yqpa+9EX^Az(Rw8wV zt#ouvS_@-!5)ny8j7S2QGIL@OU?c`{Qqg;Z^amgfLWb}nk+_*+vmoXSn~B8vq_r^C z5t&AeNG4b#$7JeHLcqvKp<&1nP6M+1q}WOoz*eGvK4~qCbwq&?BT|5WloEXqi5u>- zKx7%Gf)1np8;|0Yz@bd~ZwzMy))3)(Zw%*4;KIUA!L`y!|BYRjb7?FwWDavi88;aQ zj9b6j4FZy7oWx|Xq{J-o3pXYsFrR|+C2(P3Cn_$t9J6B4An=cghEhzkKtN3FL?hGh zo*QN=hFN4(SL4B(=@cfH(E>rfvisb?U#^mZpGHw=+{ura7%p$(60=;lw zrWB6Q3&RB!ta$q`8c_;97-Ax7D$dno564V~Jt= zJ4<5V$a*^rgobev`}ENyzIZI9oWLkUCNVT4a4$b@GF9w3Uji2vcA{Zd<(L&oC?=Nc zepqZckPwAMlAzvO271zmPMX?T#Hq|f^ui5D2`r}8lZ?O&IS#4Ji|E4APUki0;gZ@J zu4%V?VCiQr<6^jslUe*=5htraL6gkll)y4ZFWd(ifpLVT%hD3Ku&@_(OfwT7D9to} z`D$Z{;ap)(fDq>Vp+9m5yJE{YjkRVxPNe(s<+s&MDV#)FMzQO%|6tc8rIpqSmJIjfX)H0EP0W(moMH46g+UA!hH(-L7WW5*FW*W`U?duu z?-}uo9m{TlwyyIPGTo7u6kw{~zrEOmg@w^LCM=4~X5~bYnWU5V!Z7{uJ&4Q( zaoSHN@2U0Y;7=km@r)xg?$w-l#zK)^EiCMnpAPyZ!F|bC_L(__80Hj%sEo6O<}QM{ zm(YIt;_Yz8FdamhEze2LqrNZFnfVg9uyCiMzaL=giz`|Z+*`4VFwe&ZZ-4tBfcq@@ zwTx@IN^~5CoCzkw!O~{jIaEWU910#LQ6dCQIWyu{!<`Vxm5vgvg(ORSz635T>=lJT zs->0*;|Ux}kV=;Wnrp#S7{yR`2-qV6!&%HMfz6rCbl5eFQ;o|gk(^1TVi9RFv{Hd# zp%CsX+YaiCz&t`YhVvzGVPP*Z3*#izuw}6&VBaOdy%h~wIgu^&BW}adT$qHWd&^8k zT#Go_1)cKgXFx^(PCewG0fhy;jGU|-B?V;E5m>yLd4L?|0W@w}#0et>ik!ahOx#=o zX9S)OqD$by!d^&RXR=c&DGkw~A9Q^avBGd}GiS=n;px;MnYE0QSnH_S?n7n>^+>vq zV zXl?J6lvaxOFYq*$cp@`ELDnqgD6Q>!t*yYlG|Xg>HHhy88X{Bc!vkG-Ys<)}-M7k) zVB#N}3wyN}lonr7fRD!4nG3!gF8G7^N|$gcRQJX$NUcAw51bBmZ_H+tru4 zm@X*|w{-e%Ph){$6z%9^k{`uZ;69D5hH(mO2B)Pmid3Wo6NA`FU>S)-K&}|W9jM+y zYhx>hRr8o5B*a|DAOrE7D*`7{2%zB!sYEN1LlhSF62s|51a*d`ktOsFP&t4V<8U;g z;QpP0Fh8R3%u_3P7PnCtk`{l9W*A(_Nfg`*j5X6BF^449mv1LIf#JX)6n-;~;mnrq z`VLx^aFC0^;S3ak;heyo({_iC;ljdRVK{4v8FX6|fq15%^|ijjlfmuR7kJLR zf+twnT65SB`Fj^Iik|BF`mqU~8aCJEEdqaT{6p?{{|8V@0|XQR000O8hfd-^K~j(z z#R&ia-Y)$nle-wX6R7=B+{ zq^R3LlEq1ME3hpV-QD(C$5s;K*j8#Q$=Ut%9f=odMm8-bfs%NB8V&y(4k=1^KmR!F z7a#TMylam4OSbZsi~6`}w!7oY{qm3B^Pl47;@nopZMAQX_5JeC`n>%4;qQOD`)p3% z&#!geF2KX_e7}5c+qW<4^?CDJAFA`Jd8?0Ld2UXJs)c_~FYEK$sjjyDNr(NKdtSIc zRJ-F+diZjhV=JAU>V4Hh{O8x*+gW@2v7O~_d#XO6tva4jh^e#~ ze@sl`JM1>6=G;8Dt4(uQ%h0B+Ox6i%=V3E(bU~~`b^8AP_7gaMgT{T^?RV{;eRG!& zcfEwap4Ja{+a1Wz_1)rBKi@CEvM;5GmSE_S|Lp3|^XTtITYdYj-q)M9-a=Jy|$Mhw$0lw^>h1F@8N^5K44wfe`}iWo%?@)Bd-gociRP0ZQ9*O zE%A~=_WZ98t>ikiwTbQFZuncrnfD3v>uIsApR4zM`_%0JyW6&}5O2H^A{0ChA_m8B zsgZv-pJly!d2R2P0`hnBer}tC{sdatytn(^vHqq0sQ2LRe%ULuY4&hUI4%x5NPUR( zQ2l@=L;J2>PkPqjbTXUMBXv6bR;P2eilab>bMYh?Tm3cRw?2ulSm^cb>ssksPfyh8 zEcD~9TjqzomW}T_BCXo$;qKIYE?~fbTAhr{1Ah}8&u>*X(Ak$5I(*aNUxDvF0rB9h zGkpB<;N7i1pkp@*d6EbSVF-qabV_hcWK+V&L_Q@1CWPIQiGeBnYF2jSFGNd=1OaxRTUg{+w+DsVSTs${gPA`*TgL>zM= z5|1Qp${gU#1jZbfM^>C$MwU6B8OY)6lplW-b}{ zbjd*LvO=`V`quDby-Qu-jKH{%#v~zfC%RCy(b(M5%D9bc@|Jr-cQ?Og>KQ5y))@9L z=F|`__c_LyJh=;3j22l$VZ{6>8hDuy-s)?nD=gHZr5I1?j<((%eI_m`Je9kekUc%MBK6QiKKj6LMm^i$+yyQaJSdF9AZb=k=mEf@LQS}q+T$A(4&1G^ zv|_ZXaK9dhAuOOgKO~#&DM15x(Bd-@z=F4{l2lW9ZSB_z=PsTL1shF+C=7TMaOheu z=44!!6FLa}kh3s}63&yMpkskyn`oB6ay!Xhq9vn+fEgZKPtvno)w~d z!5dA^vS1K^rZX`!J`BzN{QMSBC}7YO_hvbp_RWVv(5qOah zu$u~{Dq*BQQUV8l0&^^E6U2;(cnG%7xQxIe4q5DZOfc9E5%fmG1uhh9B(}y;PUs+l zjRJV)=7Y@1a94?wc;+6PKiy-SEP@rICH7z=$PaiT7>hzN$zthH!($S3#wni>&rCqe z2JaZoUEo5&Mq+Cm<%EWIjUq9DV2LfO1XN+=OpO-6M72j>GS&(!5iKm6R@fUrrY@pA z@KFI&H5PlA0EO~kRGkD-Qex}_s|S5x(VY894S_Qd$QfgE27H*RoI;mslYe3aG@Ax#m$Zwi2rl-39ci zK}zh5tdlch=fs}huoud11SN~)lG@qOMl2f$F{ic)Iak|it3r$<`pKHy8a2HpYb%BE zwl9V=0{g=YMBN@LhI1FVQ1Bq*m5tdx=yF0|De_ohNTXQ_19!8wN=8c@Ff%s0p@D@+ z1%^cgdjrB8F`N-N5HYlk!$Y+Gh~eA?E);Ae4m=UU4Xi$5*CnN)5_^fyg*+M! z3*IK~6dvdBw6x;QD!T4Tl@HwmEJoiZzCK?v0&{rZWb}>U+yyQaY((We8h>Ng-D}ic z!w1?M$1w~bsj7UBS-wj9R=w2!tWGbx<9V@%H>cqR=~ee4@JYU+EdPPGs=@hk@vUj$ zW##_QS9m$ThL>u+Rlwj@D9~S!lFv=kUN*ry$nw0rN8sPJc{Bgv|4>T<1QY-O00;nw zPU1jO4|4@e2><|kEdT%*0001ZY%h0ja%*#FWo2}8FLP*RWppzxcx`Nznp=LcdLi9?=G#vtb`n>Gm;@pEQooe#zbjRa z@zbwA&!@#_alIYO%i3W}*I5*oeR()uUf0fl{+<33I*VJiyBv0>@=~mwKZ~35>+|3L z_ViU=f85@RqFR85%WdtvRn_~q)#|o?E6%&yvV1QtV0kI8=UoMVUSC(Y_iM2`G#8yu zEAG1f>byH%9OdELb&8Mj<>k09;&T6SE-saFaxG4~3i^M0JHFpqZ$A%{{2i{lFBogv zAES%0vUL8K81(Oa++WLE`BE+S<$0yLHXLQNiqJUE`+=i7Vx4!_A0O|(fa7-<-1p<@ zSpC@y*Li+wB>dyLdVV?_L56zn7T4ls?fk~R;Uk7GF2x_eE8{|6aUQ+v0Qr zSa{B&p2qKG`J+bvaacQU?Y=k_`&!V&4t{(V3eP!2!vC9Qa^5zx>e_jJ>VI$BOq%ce9LBH~@Odw#l> zUkeC+P^*@ax!`Z02{{!N|RX6ze=d=5?`hCUa$Ww>^+A+r-;3hYUfS~Kt2{Ex% zL~u{r*kVg8w$x(FEVkx$u5TYa&q$drWQ`k82M+H8X9E~01A*U-n@q-55wxu)>|%>8 zvDi|JEwkA2`!+Og%MD|W8!#BRIp3@gv1V{vh3J7VMd10N;LMfW_n5@N5zkm1pZZXfnYAt-=j3YqsDU?enXu2IDO;ahA8vMq`1 zsnwbxD;Ykr8M30$vwLfuJE^wj9_1X(bV)}>!g%A}#dF|Hs9cUNN$w+c3r0vX(~Ls2x;CYVSJTh?UsQsok7m zGj^Si7_nF|{4uf2^u<)IFvE-HFO7@~fy#}MP_z(Mb4tDAv1ZtejroWX3juRHNeJK` zCNjmeN=P1)P9pZMM>>G4=9F2@88&0r`G^rI!7Y{0Ogl9PNx%ZfH>0N5qpxr>QUS*hJ$3r??0|KR~Ib0IN8|eks7j^|E>8o}RpoMM)Gfa_Whk>CNj)s`e zfD;0{fiU0Lb2HWOl|m!}Wx8L@Xe%t08zo^z*=idO>neZc}wEaKjexZoC8-%`aNf6}(79)Me0>f%*N|yE1o{2TfYNi#~^=ZYA2{Bv}5Mbyc zeMn@4;4*Z5A(_uO>@tu|>zu%5kFZWK@-dxIvQ(80tx?Hy%f?fTHCZa8m68X8_TqYU*kD&Lf~#l+BtTe65862jKD^RYuT{poWSkStODOX9dhRzlbU<9Le)&G zu=GQyo34OIZsyB=fuTzI95^9xojZN$!WobHi(n!{N?>a@G73vrLb=@s5tzUN8V4FW z0Y`6)tbrm}Ox!Q3IS?4`xbY>bW?F%H6qs+^*?10|5ZIN%d}Gfkfz3X^?-%?L&hQ*#{T#d9+Suj~>F}=SjKF4vfa`E*=LF_vITQU{V0j_7#?}btVpRb5FyAVs)mM73s|XLR5*9I# z!Ek3|?XZL4NimE9S!XW#&2U0kAp>|`m$0IYq)+^&lw}+qL8T8V8pI>_S4Lo1T0`_k zkP>_uNs`BN0!xTn$wCpp_5lyZ7%!Z*XwAfJ2h* z5&|`JVM5gl0{NvZtNSK6Q>v~@8wCDbb*HAE{{m1;0|XQR000O8hfd-^k@>lp>Inb< zm@NPR7ytkOcx*3sZ*psMXk}$|b1!pfWo2|UE_iKhm73db<2VwA?-$s2Fnm8YNs&4< zk_;x%X@Ol}u-Kisb~{R9v~6W=ccsO>WhTyonK9-8Vibaaj&96TX`^Asy zbl%m++ofEI<)S)n>&M;k`F8o=|Kz{K%fD&3G zsxAxia6I2GUoMx|FYEPr`%)b?=T-e$9m(=kpAMS~{qyv^KEIx-&12i>uwN@7!u4UZ zJ1(tlZI#yB?}zGmu})6aesiJt&o8^zbMNiv<5m71Pn$RDYafpnVrnhU zpVXuH4!iBCKG#o|)wVvYZD`|OChLUt^ROK`dPl6o=Jf6R>o4T^l{)uzx8Gg;ge>~nUMdPg6 zSKCIu#fJX;s2-~Q{&txgy6*pLozhQoxON`>-@W&|z0AL#7LV1_=KKEgQ1AcTJzicY zrQ(&=p;obpBz=d=9{G3uR#v;`m&@%^Q`T+2pD*>H{~x(r)ZZ`r-Ld*-^`qL8yW3^k zuWh}jbJF+Xu%m=k%f(^y^L9yY-=@xIJ@?@>eR0jBt~vefnk%`ABkKE1BN`FyIq7fT zNUdZj+Ws}Y3}%}rU2_=*v34%TGL0ix+s?NaBHdgzcQ>c{Z9!>HYBe%SLH~qW82-XKdMwEuXO!Gq#f1 zR)fM!8<(`+5bRP%4XJZa7->VP?|KfGj6_v z%B(Juwq?d_D@ek8)><$t_ggaCDs)!XfBD`b=$#7Oa32+-j_EZpVdNj~{B5sOfVD~d zgTooZiP7G{;rugjfp91i8EUPBj*Wx~xCA(igCsUa2qUFThJ@e((?a2z43l<2K^g4k zxKTmsm|kEQv?(`pRWfc|iI9IdoqvihIL%#^+_=&*h>}2xKqz+@4(9-yInM>anu=*0&`2{v1~J530z5ei=?3*G6^Vn{aa_7A)2lcdVqk`d zGs*4aq~dl=%7VA&LYLgQno24)GgbOUso_Wt%G9AK4YxmS*4%dtrGsN|fz=^XilI4R zAKt?ZVQ$XBJU=%SK&!clqy*ToD2GzbYMHun%4|5uJFI0L;zWeJO2G~@Y6fOZs~qiI z*8+< z?I3dwb}^($+r9vM0PRb#hf|VJ;!H`xs+*m{SapL@b+0Vrry@lC&>?*$&K8jrU^!7l zIz8>ld(V(AIr`$+RDgLlt`cA~Q3-kK(M&a^v%gSNc1H74Z&cj)q{memYHKS?+WB*` zOvKu0$URF1S2#y+2owO!##RCx30k@gA9sbgj-HvC*Ty7)3h4eX2#nA$ zTvKF46bd0?69zg8p@e1t>o}B&43Z!cCf371Y(>vM0~Y|#g?9 z<)z(&tK_x241Su9Dm2hQrk)od3RK=IU*S^eGNiF-0?u=L`Vh-80zi{Rk)ka68m?iw+b8 zSbL}ADqcB}2jhu+xGrr69y-J+G*=)~fYn6BYCUHFkE`iNKmou|8{1!~9bb?{w4vpF z9L#l`*>Le^rC_|7GFoJIOfRJ70l4$q;f`<;Q5AJ-Jq~9Ghr)!0%C1ZVeRDYf3|s(g zXd5uri4sv9Y5|#20vwrG#@eVL772a3Fu1_9V7jKB26lsEww`uOFYqXzQUpvm9?$kX zy$?Zil1_$?>qIxWKSLLAdSzk}Y9m9b5;0ny0!$N`ABc;Ci%IfKiOFiGo!2RNcbAQO zy7z%)W^1QKdaY2)v~%I?2xI_2@y)@En;Qk#Kd78M*s0BofM(7q3E6mhWluJ+A+PthN=uL;HW-nW4!x0t1!ZWi2_BBC`3q)!eGsr z0ZdhlHswVqWSj`Rb~(Z_2}2|3g_7op^HBHNFbaT;G7)+2zd&GsBO~d4U#KWBRDXv> zH5d5GT_Qc+B^s?zJEj+yB=8O%Yl^H6ly`7A16YdKKRBENER6OK4i^CX`^fa0!zIA{ zS=*2kT;G``fnQ{`T@tV&3j^rBW9Eu%hxC^K(kVqV%=Q`B1=w@6Lxcs`13|NuqDNE- zZJ{T_5N~t41bDbP<^qx=*OXXoC)c?W+abL;npN20^j!h4{(6`dwiq%a1J9x<*+UDS zMmfN<^|%0dHs%sw8u-n0&`%>S46ZMw(^dKs_hE&#jMI#sP%3)5D@+nn*>dOa1mu?~k{+x@G0ncpK!s}Ffc2L_hI@97t-|)bR{J{T>*l%o z*XH!RJDwN&>WS7_V%5A1da|#n+J9W?*Y=Ieul0pqSZ#m4&}+>Vy;vz$^!`CiSH1gC z!addX<$V*qhicp9Ez-PV>)xrp`#(@i0|XQR000O8hfd-^HTa;Cu?PSFAuRv^7ytkO zcx*3sZ*psMXk}$|b1!pfWo2|VE_iKhm73db<2VwA?-$s2Fmyk*NKvOooWa;SEwBp= z7P~XoZd*x=wymt~Bt37xC6S_3C7BY9AW7%{M3FyBRTP^~zy3U*7N6zycC0RIhb>)a zQC{}d;dpsnJOBMp_Dkd}Zui~gusci#7oATl?z+M1ygObT*}}K$oHnYL zm*c)ns{O~gyxe6Y*YdQxL;r7Y$M;*?+RwwR_72zG7mT&-Pp^xKRCIex4ElFI?yuFY zdbuz6)p;emHXLQViqSaF`$0n^W}SD}A0O|(K*R4axbMf)@%~pcT<7_zvGDin>iOw# z1RLtPTU^VRweuVMR*296p+WvQmS4Bt?~8iUzE{Z>S^uW$FYBOvPbAGdpTZvO&zuRiXlT>w0F6V3+g?`(e(Tm`TXzmF=+l%;;1#UCGdX%2= z@>pHY0xuG}iJ?uyZm;Cvn~6wv_ucc;wfb5>n1frjjm(Ai20q^2clG1RzC|$E`x^hP zo?G|}m9TFZUvLPWb(S+gJLH&p^QVbj6 z-Dp-|k@g7&JjWiuz@Gj+Lww7PBp~RtI}s+fk_gAVO$=IU&@zLT8?<6vL(b@s?LB}h zaCjFu8^FLB2z)(mG8tP*jE~!(r3NiCXt_Zv#x*o z72_HjI6NG4atvT3$1svUHxlUw9ZfQl7`Mitr3NiCXt_Zv#x-OORK7>n^dC0BNKDWq zBZ={G8?@A*WdfTqZF!iJ3{vO=9st#0Efyeq;bz_{mHT zX{BRNfgq~xadVy}PMeGI4^eiuco6Js6? zGJ_jxVLwyV9GC&|+hr>9Zn#klgpp?G3P~Z_FAsfi{}UTHwShAmI43X<&KkF3E9pJG}o{DBwf zwR=hRbmIDKLeGgFuzGtR{~?_fL!Gixay*3v;L!=;kLJ4x@OLqNr+ z1)Qpz>zOmPoY}xRgRJ8T5 zv8GVTHP&w|2=huvJKV z!(PU$lM(J+LSSQxO$lslIkSOt0_z+v(a1+&FI~zU}2o}5TcO4DN zV2hSB+Oj^!*lZ``mU9BP_g8(vaD5cDHlgh^dOPvEIxG#A2TbL;#`oQ8`LEse^?120 zPUQ>a0C!oR%Dl?+qVga2>b*Jo_`SNr$G9%^-Rs-K{`u3Tns}ENyXU+8{loLO zPnZAtXZcfldGU7GKHqO2_s_demw)ZvE`R>~_rHDov48#T?fY(bxS$rE-#%S_KO9~@ zTwT50ecwH8-zNK)-7`tP?q8p_2m0shx2w08*WLEMJ?QE2%J;nZ>S_D%e5qUb@H(cA z{nxJ#ce{Ll_xscC`Jfwl-92s(r2pIZhnKgmwLkAiwRiuz{Xu>0^s!XTwWM!Pg+jll zhr8GP+y3iea<_lF(yGZ`W>*>O=hK~N=pAD{ZC`);{pBZW_=P(6>%-&2;jgy4m!Chj zCS1Ks- zXuR~O!N#$_?)Sen2jAX*y7Zb8?jCn{jfpR|^v55&o82R^t01J{_-}h=`um5P{!OR8 z>d$Tez0;#?17h`haliYz{r&N9vw!^0!~Nm=r%OMYL_w6O&`+D+;IgA^_CM;~!?*8; zPnThKd2#pq+hPCIA*wm$-TslTm1L-lQ))@^Jx;mRl%acH5SSt`Ltu`;0)Zt0D+JaEY%GBJn4E=q z;oV_HywWG;|}K$Zeo31lshjg2tJQraEm*k&qf#%wbiG|BK<1GIeU2QiF;8_hW8 zO^|{~3oaJkbc-u4MsI=?PJOGzwl@Vb7065=bAc=bvJ}WlAZvkaY=n7}^5ZCP5|4XR z1NPWdFnn(`rE_QG$AOBHGz*g;P9aO?z~y8Zx4`An(kZP#>e8tOu1lv|&9y^7AX9-Yk_QRgt>FV+#0%EB)-pOppQ>@<)r@0~ zbxI4Tv~)@-Yk_QRgargCJ#KV2L>>|bp;+rPx0sU+rwaDxsN#<`P;+XeptUgw_(;Fo-*wHc3XM za@Fmov|CR++OLh!&IMr28$&tjcHR6Dalwz~XD?mCiVG*heqy_;$Xlv`46%7@#AMCE z<63VEno8D8LURc%B(#*!NIaY73*pAhR zJ$}Vpt~96fta~y)hg<+z7wEq7^eHe3xEfA!1uZ9j5QSlqctJ{+6ksp42C}n*w}xzm z#}^4rB{Y-JTtW*8EhV&)&{{$p2JwiYeVK6)qc?Euh|!3h3gk?$IbFoSpv#q0TyQZ) z0XvopD}Ll8OuQ&f$@P8~DwS|@4P;RA)`*#(^|>u*Dp@lL%_X#u&{9Gx39TixVG#E- zZN7~2v)-klrD4B*^I@1=E6uTUg_!F##Wb8^kq8RX&|a(NE90&)^j)gGsbQYuU`u@2-q57z_Q8l3R(;1V*yP~BNl5Wp}B+>5?V@VC84#1HVooErV0DFkF9%1%$`qs zy&8tbwbDX6KZtoW z&34`JC{igb`pk*bp`jeJ3>R}{3oewFIU%n=jtg86AG3vHABfpP?|0ZyB4!bv@8vkh zXAWfNlv4mXHYK9Ds>|(Kop>>U zPsocC@)G2DDX9Xvg7eqMycz`U>c>P3`{(je`QM4oMBL_G)t2pR7pZs<~_^( zGswj`~5Ia{ml+fn>fA;XN;r>{6pThg>7szR%9ONuAr*QL-@m%Bn;rS6-Gxo}YRV zW!5ZBLm#3!_s<{~NDe4v$F!ZC1d8^O(ZFZ4Tw%*9_9+{OX*1)cu;p3{a^lhU25of2 zo=OKbn1O?l#ZALIm0S&Hh+sd8L*ky z0!VnOxxBxLuL*)s1 z1#)v4B{r8;xY=tU50T7mH?kNCWHE%5x1l(!!>S>?Nx#73!MNoKc?I$ij;}#}%pi^u z$WDiWE`jWD5$VuyI*T+5P3yz`l>-^HFF+h7zWw2CmFJKvASWvE5!bFeHNLxJHQ5fK8^h^L`pyu9qKI3jz~jNp&wXnkZI*&e>u4X zvejyH22QSkoOr(d<>VU3K|)(?jqf*l;=vhe;T!$fry}nJR;@&(9$jNKV7hk3&BUGJ3`z zhC_+uAPguI2c%6DdN8yqBxjV|>0tnRD1aIVa*gC8YH$OOtc5~Z3yEZGIGus}68*gj zIX{P7AX#N`l#(6vFCWMykZHD6X*&FJb_HzZ)5iGl<>VU4od%!>x3HtQvXgQ1iV4aQ z-8Sfu+S|$N+KBB42mjv~N^gIze2(HH39da|fn-;nErEi^1YKk{b#IrRiR;t1&6BjJocd z<~g~9mgzc_Wieb0R=_@CV6F!(0m%t{Cwo1(fgSZ4%fqrFlX;kzWVG=}_e{}(IHo*- zJ&y*I1N+#LjTxADu#%8@SaXIDR&f?)G}lE` zPYjFlR@poRGW96uU4yYTF)VwoL(L&A`pN_{!;PVIKA_sy{`4_me8B5IpJhC- zYjIA?C6Zk&S4g%sj==^skZC4t7bTR{D9n!efD-ShAlHSOGfivCNc#fWWrZRHvdeQN zl3guVNOs$otHHGxoWYZbqwZr#MAmdNOY@>GqHD-1ifI<4G3*WgH31CdF!QW{;L%<* zZ_T0<*168va*1SD%N3G)b!qvRK}xTY+*~4Wp3tF%2_>{%XJ+7NWWCq$PGxDs>CE8H z5J+~#S%G98JAKbu*Of?iwOk?D8NonSDP1n?zr7aRzK(LwPSTMs_gIpKiS62OTuItc zIu|IpJA9H+oMe>9h;a|P0*2qbB4*eU>P^);tVXhRL5|yUWMvo0$_|G2jiK~*f}xb3 zkQXQ9CCcf>AnU{XUjZ5K!K+bDJDk?1Z;ac@QKQ+3Ga7LL%y2qm(FG++np6}dA-zQq z7NPk$7HGB{DZ4e0okWJ9O(g5S~Af# z5e&8(xkntw9CqJS>X(Ffi2TMZ9rQUN_k$Ez~Cv*Ay+`A`{(HLT}*qGnNJty(7;@0x;vTnKm3ed z9Fk>2|G0grgcudUy40ZGzMK_%3K1_yJldR;~d z9LXL{%3eklVEfC-#W~~>$u2c2B-=^^kX>pZtElf>)5TtAZeNPIV-ad6*_e1_Upx9l zk~N&p!0lZOboGiJgi7h<7XA5kEFw8+vN7Gf+6-;HBwn0DE|J{aOmR$&3dyv=OJ!d3 zItGunIJwR>lIdp6_U+#~f_pMI@W?tVmUWiMvWC+cm@X$ozDj~j1s>g+)}P-PSU1>_ zX^%Te{n$(6ETY3Wxqz0Pz z(Q6ZU1J3HhYM`q=L<6)MJwAr42D+uQXn=;*s0Q>xF>T)bpu3=7U$5WU{<8hHn{Qvg zJv_f%Jnp{IWbI87I_0Z=8@>L=VgJ&;*8SK0f!<5s{`EWke-3u^5@K%>(at;FoNhjJ zvakF7;e8QlppPqCN~2K!KUw(ve^5&U1PTBE0001oPU1iS0000000000000090001Z zY%g?ZWo>0IP)h>@6aWAK2mpsp;y_FtmeAV;001Bv000vJ004MwFLY>SZDlWXXk~3> zF)ny*Z0%W1ZyPrdy%*?zSnR!#Wa}d`A_ulU;wE+yL`sSrsa)mk~Hf0cSnPdF8iL4C=C&1Dem}lEc~mxAAWEJ?Z_A>*aQ1i?4XVx zOPTFdDk6YkBrdTGr|@jTc!DH+xp$0c$A=k0b~3^brSDNBBs}Q&RsH8zcCS>>PGLml z23x~!p#KWH!XTV(={b2cE+?(m8};U1>0bk=T*viW{bs*e`qKau1hCSai|Mnm-`?*v z3akOjKRSH(TD|R>g*W_fuW{aMsDBHuLAn3>8h$Y7LKH2$2Ict18opj{ZFTDwUW0Oc za}D3B?)B;|3$H;jCFyhxU2QbCyNlJ9kO`v)PI$XfAGEd#=Svh+Ls?yFiU~{QrdmtT z1I7mcP(X?#Nj*8w@B{@=zgAso=?20+S~7b1_0vC|KYjVl=YRh2!~x&qXl%kqB*DVFiBG&cEP=J@z}U?3 zn7^6DC`QDxKr#4sxbDl?0^Xb>>cZ_~J9zgvNQet~ZT7(8I*j>D635Ip;=}?TF-G?p zcLv~wn#+jrXqHCq$@$F0-9hNsHFp=KR%-jR478KDTy|q@(Y#GjDp7<}EIsv%O)++? z?mi(_T#rb=nP3y?-6!5YBF>PE$k-~RrO^RNATM(lK}fX~o1=T)KBKNx_wccegbjhH zgZv0nD~#9BOrpf)a)c6U2K*4o*hO+U=Yfgq3kjKyFlAmp#6q}iZgE(zk@OoNAMUgt z(RpGcxg=AU&qKtRiR`gyH%3Y3!VXCqo7j)V6iO6%x0!UokC?qf)OW}ON;jta9>G?+ z&lZBapqwV9Wr3(CGw#UcHO#E~9nR?lVXZPC?3P|9Bt28S^BLaDcE{i2#JPD6R>XP} z?msBeJv2*iW7rkzE$Y2OzgKAgf3MJ+_VU};<)svZN~^T;?)>*5m8)hyZ0?FlgwNZ}4jX~zhxiEBA|3t+4=VWme#Xo0;AeOsfK_@KU3wfMurJitEPZsnzABc8*M2B#d&iN$AMv9wuTG;-Wg$ z=y_Z}^KSOU8xlAra>R*P@fFK|&%GGbHdElo z8X+kf;W$za)(ooEP0Oy4bJ*B*&o)w#GemRQGc8q7UDK^%)(nd_uoBCQHF<;8BE--x z%?_VS_p0Q!7h1P+PAIzs1iXx&qwAidAsEz_lUdXh<8>KUnq7?Ay<@S!GpL=XNf@f% zT)16{TiGL=)4||{IzQO0RxJ!o7UxPGY5l{6`3nOZKLGLQ!MofUl_D1i4ch$&P)h>@ z6aWAK2mpsp;y^^@Z`An;002T&000dD004MwFLQKxY-MvUcx`OeTy1aL))oFfVE=(& zuzd(>OMKB=YB`H#6DZIP1(E>+wjq!u$|gXO9z|t#hXUEs)NO|hDAFxkS72QWFZ-~# zTQ{sh+oXRcQshtj3p@9Pm-ot-6lGf!Z38w%@!WIHbDn$dxxANLyT0Fdl{VZ8_udjdiJ8OgRz_oAg+IFZw6W*Yy z?uOyswNh!&*|q!a!K%M!d+<%q5Blv8J_b9b!Cqjuy8|TDcT0M?TrKt6j;F4#dBeWd z4+l!eA9`U^HQ6bJeDhitPMWGhT5I`TFy*%L{a+0I@YVl)dqfVdDpy{)a;3alF5gyO zm3;fNmGtjPD=XyR_3OBiAKX^dQe+=*jGoPyR7>Pv3TC7mVN4q_1;JHi%IB*Tvy4t^ z3GHL6SmX3lqTMAL-SxGe@5MpZQIye{^|is9%AK|g{L>NG9pCi>B?KBllr;>0yKj># zM#sN>@$4bKYPTH>fPF;JFwr^8J$hx|@%#XtED;^#?>4$B(pJaqq-lG8JbCu{$)E3^ zeEk8wR-#jAo;6)wt;CH7JKIgwvdZ`eo%SxwpGaY2wU&>B+|SjQ$9r;sB&R8JV!tvi2+)dNfpqWmvUpCUqHIb9feV zu2F?G3;kZCLIKOudEf&6N`~LMiCNehB$@k)ClGYcZS@eB*HBcxhZHO@`^b ztiuRUUwAH|-a&b#Ej~d~Wn^?yvy5#Sd6|+=8m(&OVm+G?H#Bft7fO^F%(U>&MZ!5t zVJ@R7B}=0PcwW$WfXlA|6q1hXviXBypwbe~tgr30!_W>q3qC0H_}0N56qX*$XAr<8 za@~xpcY^kTrsIT_O<>@=P8V6R)8Y%v22#0A&pBS#-nU_DQ^nP5iL*7UT?uMn))qQw zCIxk91AdHpqpCORS{ZwghyJ|Xtbvzxty-_w8>XRQJQwID%X*g8YULBsY8+Ane63X~ z^@`TeO)V!%Rbu^1!n)OJ%+*Ic_7LZ=Lzon7=l^!HE~^~2Eb!$H?+@AzKZg~L)L5&ch* zgvCBs*K4X>f4J@1ppD!NWRSrfEPNjg+C++G>xmi+ckx1>(AslN4rTQC1aETe4`PRTOf! zI%_mJiEPp21SA;FFlt^Or$Rzg3}=EQC(M*N?dMDpiKjDV(tM@q7Ls?zcHNsOpZ=uB zGPsFS_6(04Uu(P0j@P$6Sn;-l(CMJ{@(z5o$s+fD zFS%J5>7!<0AywhqRoZ)d?!k|S{cSt2@Kz0M1wOlh$Da7}jmU!d)Ej{x+MN(@9w~!k z=P(jVzsN|~8BkCoc_iT`NimTG!y+UF8v)gnXy+GQ!6=}7icw3WpaymoD7s|t)2t*x zkhCC~#68r4d=h`k7f-IY7_eWeKzO1qGBf8E8O~zS6OCIGPA=v;%y0`7bGeZkOhXHA zq+YDvBS%t)&=(U)1Ya~FYJ!!^91{7SQdkng>LPn=?{_ z<6?#zwh1#*3P?imQ;JEk6k2S(i~35Ga*V>xxpcI_n@%`&A>1%@ry#jl?9h-LStX`x zFmZWS!B`PlC6EsCc#2V$P=7BNI5aTJ?;m70absDt{=!y^VAy3q)kInG(oJgk0jF5? zg^8c8xomT8lrS#?TT!Z_WJUKRFPX_aYYTg`QoAIHi=zTZUZEU;OH#(ze1|M~R7wW?HAPz`0=O`wSXfk;j(x-{i{H3c;G;SgX zK*tmS{-$;J9Ls)=rNyeC5HV@MlZGNNxF9HU`KYj6or^RY++#8pDY0|2ccH^T_s==h zC4K>(EXQ*z@$isH@{&2CZo*7@zjxLpd06{r9U_AQ8C=@=7THrO?Z_>nm6R)I(RLwD zQX_B@jd;V=OlPqR0X}>5nL=UN24weH`DM`FyJhb~kx4e_rELhwOg<|c0K0zRyb0i< zJt=6{jynGy6?F4rMu$5uGdTv#t!*wso)wM)be*|qlvEl4&{O>gxPf>%7m9Olb6RXr z=QbzlesLl?=h{9sxAU2_;Sm(ZOl~imxRZ^IunKyoNmCs?eL8vkHW&Zxq2t1XKV-;+ zt&r0K)$;e06=n3zSCfC<8~@>O^yJaWryoz=`$BNJMSz)wF-%fI~7^U=HS zj6eS{(up>P#X|TojA@xfxU7&w)tr&RgedcBWZrY4UJ5vgo1cBHNk#X=yx+MOI z?tpe`he$lwM>S6~jJ{Cp@~FUmGD$O&G&!4kDZ7Ui(Rub7BP z8?aU)GXCW7ICsyN@C1k3aqgQz&w#BDFD*0Ic)j#q1bX z@(!bESgGBtkKp}ku@HH%ep-lR$)A>g&MX$WBMnGmnrFI!D?F$rl*Ru8A)bk`3=ed!E`Bfi4kCSfXjR{6>0B2MHqA+mm6TEDVk?0*H_RI zH76=f4767=nxJJ^P6l=*Nia|Jl|hDfP;wmvYF8L}1g+BEm1sQ6 zs9-JM4D@*k2Bce`%KA{b@Url11<1yC#-Owh+wiC#eolqe_CSoT-D?ls@D}^Bsm8}Y z#E-N=jObNwICuOIH_=q%@Pr@ySB8PpRDZR#QEO~&S^7%7yis2< z4ZE_^sBCPmRLs`K=BCvs>*dy4&|}ccMX&8^=BXEq_MJ}P5By%Z+JPq?{a(-M*r#7H z+9)-mmyALq*9I@6aWAK2mpsp z;y}>;=2dqA002e>000yK004MwFLP*Na%E&wbaH8KXLBxiZEUqvU2DQH6n!7;Ka>pi zHk-6g#@19sCI~u*y5|zwXv3PMG*R^5FPaIGIMj_j=H%R*`*CiP?uJ*vnl_3_fdOhk z5KxiJf{7&tAM?S(69|+hq9BzN6oV~Qpqt*_BueSP#0rH$sdfDvhAJ;9C#ofDD$LD7 zHk@d4Y?h&_8%hdQQmT0sMi6#FPM82eE>}Wh5JQkAilvE8N3;1j33Zx;yR*eaR^TIQv~k2VL+L`JkG`DdmX zrx@)y1zRjICz~^M{8@nsSD_)ANeo-i&LKC(*&STk`}DOxoDC;$?uEg7qmhdaP&V%M zrxPD{k(2u9CzkD&P4Y65SII#T9T$u)qj}CeJZ1-D^SX@W2|8=>yHQ(@{i~afC44*W z7CzvsO0zX-7}3<7r0J0+W(jt-^UN5#Z0HRcBCo$u?Crl{d2bo$B<~0e%|Doa0Z>Z= z1QY-O00;nwPU1igD00A#0RR9P0{{RI0001ZY%h0ja%*C5Z)+}iZETHF-EY${5PwJF zf3W<{lBFMXRntib5PLxr8siaN?Q3Jr@kRD!DgQkeSL-q+5KqpX^ZQIT*T>eYM~ul) zsP*MVsTBr8)`df@zu$d+x6Ph)5*7_GFeZ77AW;0NH*bzM_Aqc6~4Rg0HiewsW zAze_1L2mXGTVNUEp-5dsu&F`h))!S-E{hgi&?km<{2vb5@14PqWcn5ZpGYElV6mSX z*CoB(?48H^Qz8Xj_Z3?4ee_y+Nc_nO%LweqiqZ(YWH2iRun_5?^RVf{wc3;pP8kSmTSCuRocHc&)wSHgDwF1NL5$|9p zFN|WvL?E{$Lito7N9f1}{(11U0|}FFZp7=Q7+*Vih&ML#yv7&`j7RQY;Hn8Ohn?aK zd5_uOYeA{*EI1pD{{@&35``C@3IG5A004(h;y?fZ0000000000000I6 z003WdWo&aVP)h>@6aWAK2mpsp;y`;icD(-p007?t000XB003WdWo&aVE^=jTbFGrk zO2jY_#_xjf5azy3cNG!YbT1<8O=Nw5m`wlBCKHlb?Y_N1Q7qKD2alQg=9}MqWV;*P zAYL)1j=X|(QG!5k$acO_@O*e!-GWH0z10JGRB*xsyXx{{`-Fq$Je1llB#~WwQqVGo zJ1LWC(dkrBK%YA`MW;DGV3u$%JN3WpB_+6JjLEBh(1ak znWIC`Gb`j&k)3sHkQI!Be52UE5cNd{2071ibw11QcS?t>t!6C^MO=lLQ;OW>T)%NF zna5mCABrWQ&G|sn)91p$k@3IG5A z004(h;y?fZ0000000000000R9004MwFJE$HY;!MAO9KQH000080EbTEK)wa^HV^>- z0DA=h02%-Q0C;RKUvgz^b1!#qa%*C5Z)+}iZEP-bWo&c3)Xi#yFc1gud!g?jbFWc% z*KW(ky_CXU+wB7c9Y0u2B$Iyl_8mN|6_)fOUW7@={C`P^hvQGz2485YFjS>bVIA-^Ehc|4M<3&_AJq6rFlZ4v2{#gjhYwQ$-rbo>) zrLmoIT-r+XD!-@-MG{4+uz!0%HtQLj3JLa9JV9_CdQSeow<*ge#}|`-cBtKr2tl>7 zSiC#S+aqqQY=ut3Y&c{wh}#%Gj0G`nX!$fJ#aR2|AD4`Gd`CE?kEIyDvCoh$Y4|qw zLN%hB9M>V@+v1tjhuN)++4(Trl`&f%X0tM8L&_F_Y|y{F=#3T@FrsRWDa*aL_nf25 zp%R!F3z}9k<0|3l){VIpaw5jSJFQliOQSt#ANx9k^?Q$yiD~Jhr#U@dnm8ztMGwo3 zH7jMp+Om+slPRBRwLytjgoG-?9?T1iSERxCRzkh06!cN(&EEsrw7T4Lv$19>`xkuFu5d=1e?p z&%~qq-yS^tbo*aWO928D02BZK00;nwPU1kyhb5C8xG000000RSKX001Wd003lfV^DH$aC0wVaBwboZER3W0Rj{N6aWAK z2mpsp;y_ipDgY}1001un000pH0000000031AOHXWv;hDBWN%|oa&K^RFJo_VWiEJa zY*0%90u%rg000080EbTEK%JIJ5&ZxF0Db`g022TJ000000096X0000E0{{SIZ(~q$ zZ*X%jV|8; z=2dqA002e>000yK0000000031AOHXWwOIfFcx*3oXkl_?WK(oMn8E_iKhP)h*< z6aW+e000O8hfd-^MCEVP`3e94LRA0&4FCWD000000RSKX005Cr004MwFLQKxY-MvU zcx`M@O928D015yA0001oPU1iS000000000000009000000000001yBG0A5G{0C;RK zbZBL5WiL=m0Rj{N6aWAK2mpsp;y_FtmeAV;001Bv000vJ0000000031AOHXWg-8GZ zcx*3pXk~3>FLY>SZDlbocx`M@O928D02BZK00;nwPU1igD00A#0RR9P0{{RI00000 z0000103ZMW0A5=F0C;RKcW-iQVsCG2E_iKhP)h*<6aWeU00000hfd-^0000000000 z000004gdfE00000000mG003PC004MwFL!TpYjbF2Wpr~dP)h*<6aW+e000O8hfd-^ zDb^;JFbV(wDK7v37ytkO000000RSKX004;u004MwFL!TpYjbF2Wpr~db7*B{bTKY? zZER3W0Rj{N6aWAK2mpsp;y^)CkQv1Z007=E000;O0000000031AOHXW?+yR}cx*3s zZ*psMXk}$|b1!pfWo2|SE_iKhP)h*<6aW+e000O8hfd-^Q4ezkO9=n~dMy9|7ytkO z000000RSKX008P3004MwFL!TpYjbF2Wpr~db7*B{bTck^ZER3W0Rj{N6aWAK2mpsp z;y{u4xtQt+005XR000;O0000000031AOHXWYa##ucx*3sZ*psMXk}$|b1!pfWo2|U zE_iKhP)h*<6aW+e000O8hfd-^HTa;Cu?PSFAuRv^7ytkO000000RSKX004_D004Mw zFL!TpYjbF2Wpr~db7*B{bTuw`ZER3W0Rj{N6aWAK2mpsp;y`&vaVNGC0060B000;O z0000000031AOHXWay0+|cx*3sZ*psMXk}$|b1!pfWo2|WE_iKhP)h{{000007629i NWd#5Lgkb;x007g@o`(Pc diff --git a/benchmark/synthetic/result/MoGaal.csv b/benchmark/synthetic/result/MoGaal.csv deleted file mode 100644 index 6781aabd0f75c4441b39c10cc38da56a659ff353..0000000000000000000000000000000000000000 GIT binary patch literal 0 KcmV+b0RR6000031 literal 24889 zcmV-9VaA?NO9KQ7000000EbTEKmY&$000000000000{s90Az1tP;zf@b1zU!0|XQR z000O8hfd-^=rD15UjYCB^8x?>5C8xGWN%|oa&K^RFJW+SE_iKhosz*y12GVW?}G2J z}(BWlaNf8)@Sjc2f;V+qHm+(V>r7Dbt_fD+f3%?pKm4; zPnM;QD)2#Bld!%1fJI=W&6Sxa?0kCMJ77^jVRE6ZfrPCfut~bR6KCE!@Ted}WMM+W zt`Xgs^B}LG6roRLLzTk%QXr*%&TUaB2}f2gN-)TWgTaWy62at<_uSf$wT|No|7)6C zS@VU9>B!YA`Uv8;M%&FeKHDOoUjn#fSY6KK)3TuOwg9@93 zQ-vDBX^{z!TYyJh;D({aZE>7c2CwGY&V=q#u6bL5voe?RW3C3t5=TD6>Kc(+iLjNwWgm?O9KQH000080EbTEK!*|zsVM;f051Xn z01*HH0Az1tP;zf@b1!3Wa%C=fZETH^PfNrw5XJ9;-=XB*CTU@n&~^{Xo)iRE6mKD! z-3>N>NTS{S_NMJxD|+yld2fDsGgGgRy30Pm2W3rzXhBd0Mp&uLzClmhO@58C5V?`O zvj!S;f`HcTlC z-vcfQSz!&4OCC8MfVrEA=!}$NM!I+3jQ}YybfCe+fN4STw>N^<;m?LqSva+dCzobA z$6d0en8ewA3~Dy^eP8s|7$fDU_~riYaU3;QX4sVg)Yeik;eki%Tkc#3HC|MbI)<4n zAhU#LQ%jWaKYTY8bUNKm{f~Gx5Xp*_)q?m1 zXlwlI#O)_gO9KQH000080EbTEK%JIJ5&ZxF0Db`g022TJ0Az1tP;zf@b1!3cb98TQ zE_iKhosi3JgD?;P@0I!wmhZ;K5hNfWDv(@yXr-pPBV!Uv_#xZSqN@L1qx5m_aW$*a z>=yfXIf9v6C$uVI91#e(V!9XVQo`5M5$zywzEgcSYQ;;qa0mC*{ax{Fwc*wa?m$o| zSHi3JCdb&ZE0>*%0#<%{ zt#jwoVnS|Je9IRwNH6*lezZx`wh2iPJ!B1vNnE3BlWh^%5khO)9J7bRCj@3)rVyx3 zhSMKko`SZYn6D=>_GfN`diMEf-ki4;B?(2FD2+&zq+43xKUCnKf~vr4+U;@G7f?$B z1PTBE0001oPU1iS0000000000000030001ZY%fqt0|W{H00000hfd-^0000000000 z000004gdfEcx*3sZ*psMXk}$|b1zU!0|XQR000O8hfd-^YhMs`G+0yqxZr z&*$^&?P_(}K39j$>85_IUP$s(9}k-|{d)YeI=vpN&0~AeVZU-6N39N<-OEyIxIIqM zQ9nKHwpCJZza6TVvsQAf_M0==e|p}%o_cLR9w+I0JZ|1-ti3&kiHVjB`h0|({N?4>-@FFVE-urB9i;{dPLnhyE|3IpwzA zlYaWXIP55a$)dyN$NiF2yp8GBTKZFWO7!7DcR2m*4tK>(7|8zA?;b=mq&+A7><@Bp zgmT)kG$Zn?hezGvLU|#@q*HP2l54Y9dho5&lg)YaaCfZV7L@j4xoBJ_9MXqATby1u z&2$yF!llS=8~zg=(EN$KM~9v0&)*-MyVZA!;~E$l;<8^&nYcJ@MWGntL4F+%Lo`I8nNIgh zO18n#;IOqOD7gm$+!kvh&>_452P9T$YL#YIX>OGkR%tmVWj-7x(PjGgsqEekK3o$< zKBTEQcnFdw*2I{HtkTpf&8*VgDlM$ia!krRWSQ)yhX^ANnK=YgDAq*pp&*R>z*C{` z3P-w_Q8U2*lSIgd5pDC6TJ^XnpmZ&Rhn6)IhR8HDYz7@D#xVEhqPoE^PxG@ z34<&HTVhT09>OfMN>i&evr2O=g?3wTDOgpGNtuVlJFCU_+C{^CPz^g|a8e+Z@#d?6 zWDcCpfwMVq4shTH=9}AG0BnwqK6AL72=idj8fi+t3cZ%1DKIo|2!7lleJ~)O6T3LI zi!-}82eI_ni~Fen7z`~(#oTe!fyNvsE{mQ|LU$^vzk}moPOUq{RxUfF_pOA`Cm+bu z59ArhA+$M&@$|(9@^W0xeM(*$^Ql=ph3;l%GC~mJ4(T1H1bgv>Nan!l95_Q*u@^TZ zN0^xm*KWlexSR;{U{F3z3I=f>m1&Li!3b2~1-|Pk6)Cy|=Uzy}3^<(wX9!2im#$B{ z08XS_Fe69UW^*wIE+@h~7_{p#DHz1Tx&r2MEHu&wL-K0~48{yNoufGeSb4&lKkQJfJA_hx=nk;zj60-{7tI>;#mAn^fzvr~ z1~4?B9K=>D3xIvrtYQ4+M3_ft;;P2IUe!Pyh&!ZrzrB&nfzvr~25@L|Sq`w(<^tfr zWiOszZVkuyP@3asaG$ z7640Mj91%oBFqCo`8^f@);#nw$ZQ_Q7Iu4UVC`zgoH5|{xI_9GBhAq$h-iYat;nPZ z^W@A>Y}1t^%yktgwhf}32=ky!Twb}?%d4w?!BYA0JaXWoCxz^P|+EiA?8(}OWX$+9v#yAH;|!2%S<Q_3}Kt*9ATU00%6+#%ZV@#25sq03WnbL zv-S(VJ19ftIx38mlp?^(ufzqoWrP<{qjkKiU;y0c8(4s|Ihu2XZJG;&Z38SP!Ymk` zWhG_yj)sE^4*~lJ>yEMYjt=Q3gpV7J2>{S|QxJQ2dKx{p63GgLXxx+2%A6Dh{ zdWBsfz+Twe(~LPo@CuQh8OW~`Cc= zPMETo@$`DaT+Bdr#vL+vjo+E$Ns<5@gtP#>yg8f#EF<51b2tOoR7;;ZoCD16m14yz z01ky?yt(2MSkqqmJisg#@BPoMjY{%vh80UooN z2V>%Xseip+iZ#AN`d~<(eQ{e8fCK5d)I0m{98Li?7gh9`!x_MXPOYEAIl#_<^JW(jZ2WV^@tSUQ2FMYYt9h1 z6z3e+vEtlDyFmCdHX0{4q6C(YZY&a%iBmeTPuxdUUn6}al=P|CQ|Wh=3UHO2bovIE zYB*JKm)7c$t8irxa7Y&nfgc8Rqf|+}Cd&|}zCc(c$p)#QD&+vvKW>VUdJ5eRr|xrc zSr>~L11v!^?Qyx%2_w2YN{#JOqxrO$xa&zzEi}O}mqQngt*vo~^!}wK3pHRN$jPq6 zE2jkE(4~#JVKazlSqgCAN$P&&HQJMN&}A9Gm))gyH;8M_0hW%Wf5Z~5@~Nwa5V-i|oDncj=%bS(698Tt`{*Ugve@0;V7-OFjQub$|ZuyfNq;BeHBS?FKR^=tbS!RPu+ z4_ve#pXt$^ik=m4Zls{=MA^S6fu8F6{Jw}D(9p+aEz&$9GCVi*@PANC0|XQR000O8 zhfd-^X+8?(4F~`LV>AE&7ytkOcx*3sZ*psMXk}$|b1!pfWo2|SE_iKhm78yKqc{?W z-*44@2N&yz`xf7p*3XHiz!<&d3sIV+dNHNSxJQrym21;5^2SLOAVXNP9c z`Lv?08?MgT@#07e4>ubd#mmcapU1`i>p8zv(#S18Wfh!%`F6aPowe@=D|?4q_72zD zozLJDW2yA^h(9{N^KpMG%HpM3?u+wEp4#{-qgA9_=XpOeG~ujscKh=6`Xd;=!o__) zo{rVu&E-1JkBtj|yRDud4@YoA9lOOXe|d5~k%yoCwF5$f{CUjZ%fb6am3{s_Kjr%> zKR~dZ#s7-p{QEvTL12UR;MZU4sGZ~=>p*`liZ8V>0mIz-1R5jtVY7X8{Fd+X6VNFE z8|7cknbhy$G*#G1+R+ih{kU$U>KYFC{8dpuNcaBiEW?}t9!1Zx7Xq0=G% zF5Y>5e0{5)93STD{%ctk=k710KIFbQfqi&goR2W2sk1m|-=7>X@qW*?w9*~AH6n+@ z6*a@*|8_Vf%gs9I4m~*t)=V=9{_h6SB?;Z;TIwtEjKiaLI0?Ot-lf<-73|eB)m_bVo8aHTST2p*tSkObC z00ur8&J%5!>?G0pWa+QHaN|?r1~l}D#>NOXL9h(LrU;fJSYgL1G3c{_d0qmh%}Z@N z+DT%1UK+H-pfQ7%8Z>Uu#I&aP1eTx84hNXF!)e>_RuaRRtM71b$9KzvgE4xEAR* zxghcf|I|DlW8ee>GYp(!V2*)>C9DPmsvDabN@NuTQ@&5a`exT6({t1$CMJ=Y#MC5m zlPKF7E59 zQ^8I5oI2bSiA+kv8K-ZGE%M>9rnXscB3bR|>tD%o%eE4_LnkQP3`M6Xnxkl8ORF(~ zd1)0B;O4euiF7gX*S;6|{$@jcKXSE99}@(eU|@!UQw+>8u&{*HU_fueDj0QlM!hc@ zZOIbpg5d^)Zs^CWzCbW^(lm#j96Q?#Ma#yMt!<97Eo^BeCe%=~3^PH^K}?33Kx-## zTLfl)pDeUxv1^guwVwK;g$+d~D4L<@6h(6sEo^BuY?jpx9alGcu4$1zCh|V|PWFgV zbb_K8icV29N72HTR$~H~Wt6<2^)vy@Ta}8CRTT9n>H_-5=Vc@wTp<16aM$rk1W+*yE(Hun! zTUw0?O!<2;QF4teo`$(*(4KDE{#z=U;UXF(8;Nv_$PLvWJ=tLBq&>WyZHAwOhz zu%*?wS=McIT(^yqjaG^EA2i7i(DayK=%hV-9}}Z(hN4px%~74R1Cn za5FbHEzPpWDEz&uTe0=wyP6=8AweJ%sbT>32`h5omPB1XTz$pgi7+6@sYA~Q` zwMhk@?Ae-9L5p<3aG}-c1vK&rS%>~;Wk`EgaDuVSFmQ^2IR+M%uo?_Qk)-4RStKbp z9NK-|)|1R|^=R36*CJgEDAkr%JO?Cm0Gk8SIe^ar!T_kwwJdtPanUo%0csgTm2Y&6 zW;y~++JpBYFD~=Fsf?yefO%W_du)>a2qhKhD zhMT`X{*0SwJNvd}Oq+j;^pVo?M?9k^Gdi2m(;1!5=;FSvdeySN@yGRzzU#M0@3HRF zZTVe3eR8Yy4K=|D#xldeDF)^kSXjbpFknL36q`P9bGyDox?lvP-(~6@M-K)9PTGT8 zS!NhG#lRc`3rkoHhGmx&9($;RVXFLFq;uJ*j-1hx8J*4O>5R^2ba7vo9+MAS$nX7M zv)BBW?Dl%Rl#5gT0v{c_%lfH>n|yXc{!$g!=Fx!9MFme$G;iPF37s4s0C1N9AsZK( zmhuOt=1Wmj(-J&&A;+->sh|7k9}jx|KTt~p1QY-O00;nwPU1kmt4Mv-2LJ$-G5`P= z0001ZY%h0ja%*#FWo2}8FLP*RWppzxcx`Nzo7g zjIz@<-|bJ&55Zr5vUiJMbS=`;E>>D;U4x$F(C(c$h?CIG-HT{V7mA++BS7$e*6} z+ia6>zZ|nup*p!_hqQp>zrO6x*Sfc_JFotBm-G$JwLTv05I0I``Xh1c_>TMSCBNoR z#dw<^C+g7JXStj#jq^NiTOD8}j!)d%J3XkN(T^;~(4f0D+v5;QPP7l~FpV7mNJ-A$uy; z*#Ta7KTU#B8R}1Y{<-WB$-k?o&fiiaSET-|=T7WuJ$ zg_Li(%@5E&{2U$kkkW8O$Mow%0A0NG^{slT-@58VHHXu`H7{*Y%_A~iB(wUhI~&26 zxix~{b)#rZ=HcyJ$}^fen=h;8WIkQQO&4uT+J`++Cx0`2lNRaY{Uv`J!9ajumzI$b z`m;S7UC(JbfXN++AhO$%e-91Hm%u$}c7>N;AH(~}D@1WyAuB){jhNb6HJ{zuS=vU| zBC{RUwW+BwU5ibP>)OoJgs#m^P3l@=YCr4R!qk4zwWXpE-sML(M3|lDzlDi3oW!qX2NmmFr4vjiA=Fqr96An#wYldshu=zgV>*S5@8rN2U zfom}M8c(crSu3L36Ng3}8gppep$Ug3yEVfT$AH#70Sr9R^TZk^YeiI^jN@cFU&Ij! zXVH90EOvunDS~APmLph!V5J{x#GsiC+<6I@m6ujIS}USEFC7|nXw0E;hbA1F?A8oV zVEFk|IKZq5XO-cVBJ|9)E1V*_U2|yEp)rTX9hz`xvRgA;gQ>sIHGMP#W@VCH;S|yB zi9@3fjX5;#(1b&i-J0PE=~(A=mHm<%sBsn26uH?l)}H1(zQMp012YWFF|feE(i1j= z0jnFI3?*t61S#K4!gjH%knS9HiPR-Bm&jeBaEY=`tL#-skAKEAW@a{ZwPY@lyF}pT1bcB6o?xCCVPrGzW6Q%N*c_%Ai7;G8h{VGg&qS0aFajFfhl!0s~7=*bD~j2Y3Yo zIBTYEl|hB{WU51?#33@5$X%jviLysD%!wQmwq6EH4$RTZpmi<1st`!Qrc&CgzY3|7 zIh>jgE1OX?MbQjJa}+I5wDhITuz61HQG05)t8axgF|n^72Xs21vjLqC=wd*Z{krKG z>{<9!fk^Fb=vizzvaXQYv3OQ)d#cS(_-QAxu~#y7!W7dp!@wK^3k)nhVKW%8S>hE8 zwW*>n9_*4F8T&5d&`R&kfKCT=HlXtXT@2{5UpF0tgzR(7sMBf%px0?_U-PzVT1AS{ zQ@mBE6;h{oI5!`5j$>$Ay}e)G3`KJkEl{-drOmj(yx$i$eVH7o^?{!0Rwl12r15Rx zo;-~O$2fG-6xBCF(Hun!6fJ#eGbZ4&S4@B#Se-`-sbc~kgC&b72}zR7mr-jfK)@8! zGsD0f0}Bi+Jz+B#u&d-147K|N7B;KP)>L3@P>sVR)}MCGLclaazzhR(3@k9P^n{II zOdX3PeU>RX>uP{l*}ke6*DO;Z_2{vB*tlitmYG}TZdtfx*(;lNdMB49qdG zz`)WIHiH2RRG+FpRl9$#s$U^>Fi2!YYcmAUA%G15d=FvGwc0}Bi+Jz+B#p8Jh)d%w|2_H~8S!61vJ{bWF|+e;G5k#&XCjx=RIPReP(PI1+r7fdldGYrfzu)x656E=eZ3F$Kv$G{C0e}&Zk zLe*bJVLY8KmvGCjH5@ioe_k-fzzhR(3@k9P^n}e|cTY}W4}3Y`b~E{>yny@eZ-2hPcRDh-Wjq|u2w8-)`T;}aDbI^;3GUNZ?br<|zbVjs zq2%#@P)h>@6aWAK2mpsp;y_G!-Yd}u003Pw000;O004MwFL!TpYjbF2Wpr~db7*B{ zbTlq_ZETgBU2~&45{B=$YX5_a`(q;v#!e+UHMSAb+1agAdp`D>u}R_@+jtE#nX|us z8w-deL!(Zm^5OT93~#quLQx)n{&6}^zUSBSP@JDUHub$pe%=-P!};~e`{Q^1)6$!i zRd(KI$Ksqnd4J`l_w)1L|MvJ^T)&oYd0tJRhjaPly;araVKyswZ}}-Jr^O{dgYr^b zPgw=OUSDVB<(g;vTcgu)7Wn>RcFGQCPxbI{b?Kvcc{%LzZL#}y%FmVRM(kWuJ;{Q9ptN=Nl#Ra`#jFV!YL!V90mz?;;e{!$cQ>+a!3)WgN9{-P;Jp%$8X!BLm zoGs={h*HzVy(RaTJySP-Gku#?+4JMIc%Q&PVBVy*jQP-??b)QfWc2`M4=jMl?rQ!M zG^k$!_n=t`FMogbA7|eoin|6`1JY^C)HbSlbZcj6TU`sxc8RXdO^xeXXlkjhMW!Zn zZDDFs*J4xqMc0<5_77cKnc8PvV;`o?AQW9Zz}Mk0thy-F!wE*EX0&D4S`m=kT_`Nu zHj0S*Lbye=1kpI6rHCdFP4;VsYu&K<81QZK1`nNUYrw!Y7<`>4R=R8y(eDYOC5Xlm zEk!heXtG~3JV6Gu?g?PviJm9cFxe=g@njmt^Tjd@m>&g;IkVU;flUZ3C$K4j6$Dng zu|^EK*#OT=z^uHq%F#v<{dtLK38HaCOA$>Vn(WsMPhj}DR5-w_3TKt!wIcM)wJV$= z`dve`1kpI6rHCdFP4;VsYcTZ>xu%b1z^qKNE1V+wJwdbt(Kw=|h$awC_G^YGtY@9q zSN3aeq{cN!SLC8qsC}CA_?7}E6qr-slmZJ1EFEDp7_ho=$xxfkRe(&qdO52(unI;=SI(?w;&p>S@^py3iffS8O@Cp2Sd%k}PDnH-(J6@*BwD)C zX4o93=-_^ew(Dktv@x+W9G4SZ=D3{VvcP3ID4SNnrh`i{2-N0;p1xLL+%!mQRTy`h zm-U99oxR3p2Rv*ea6;*sQ{a>W3kob9VKW%8+u;-pwJV~}_jY9tjE$42Z>_GjBYHBT z^ASBA(Zz@^hjr62NXQ|_i~_ADZM{Hi8$tv|->+}%;@=>xacDi?Qs9IFa|)bNU_pVUBWwl(*{aiv z|6J{&=~-+g>83&2V1%nUUc}A8g~OQ^G)DDS3mW5bz&=+nSB#$b_TxZEMBqouWiW?DW5`%+J<4w91UR9< zoC2p5SWsZ;2phrZJNni4C&8KzzGHB6gZ{8f&xoN z*bIi_eq(sQ-)JTKra{_Zu;ohsw1c7gbAl5}&zu6M6j)GT=?I&_K-M+-91yB?jWGvU z1%BNy*c{LxA2G0Fq~2yoPe$7F5j`Ez#fUD4b<;{e|KmvmlJ)`D)<@)&uP}B)|y;<`g)k zz=8rxN7xL8VkBqzGZ*5Z62fx+v@1DP)H2t-a3otmLz?=f76j)GT=?JS} zsAKl(#P=n8&HtHQUk~SUa)g8Ya9)2}pI5)CQ}gN5uC-~D6A^Zx-*O9KQH000080EbTEKy&z{Jk$sP z0KhK*02lxO0C;RKcW-iQb7*B{baO9rXk}$|H7Si7uVbNyx$({bM>(NySgradi=)^_iy#(%k`zI zZVQNTzCJ8pZnxLF)#|!?sZQIgRlineAW!w>w7tQvm*>^>^-^v3ZKKn1<=A$xI&BZ< zrHpWQnG&OZdOGZ?q~3i!Rp*-wa;c8n8}$GBa(KOV(Z25|#oJ%DZ*Z?&e~d0BlIVEC z>-Fz+*j?&t{dBW-^=T!$*1yYm6{Gt+?RtR*%sOo^U%tNn2!UVW<~|>ehuh!n?Jghh zTMK`?tRC<82e6?TyTzq?dRTrEcfWYy5Tr z`0cXTS5Moo$J?ep{`auIy+GPUmgfbY6ZxTlcj%dt{9eBm)#3T&_OSFIGk0IFxBArm zMKqV()klaA?~Bs`5*T`P+J1jnLWsAq*fL6YX%$2^4^?ycu9`c-ibB7;^k5^HA?-Ec zd)LUZL}0h~(%g~DHjhQ(_}GbznDzCo3?_X(BlEVjt@huN1>TcFb55z ziD7H0faKOgL2TPdML0Bs3ByvvEOOn9r8%P5o`PZJFhkDisq;SRy99Rbv~z2afpahc zwJ#)PHc~O{3&T>xdcLqUN0j)&uyU9oUzmw)`T{cW#mpBnT{cpoe6hSJ6k)92ai5bJ z+7xU3Fp9m<4Ikm2{+V+dWF)U>&6A4G9YPaCbx+#;K#G_}T4pTGSz55PL{#?)xg!SlfkR6| zqx+!tDM@EgV7um*zIBhKfDi#g&Fi}ej*vtf-IGh4iGhCT_omO-V~ zW|Ix=T1mLlsw8SWbdS_zK+7eDDc3UNV9vpUgXIXs{(&Q7{+WeU$TiMPR#E{sN-|>3 z@ER#AE7vmPV9vpUgXIXs=0Gk?G6!@Yl~pO}X0oyG3tU0=pNW_uPN~>KFPw(i9C1#? z?|apLpNl!-a-tXy2An@k8Vt~pJwUIlO36s3GB6bk%s7~Hu;5@h0+BfmvjH&6V50+b z%rZzmyRVf5Qczb)vN&&)q)TRcx`8pyz?6d-h878&V~hhA7}B=oD8@ccT)UnA+D*%$ zl4z6YB*z@zOv=FwLyMM=9CIAGz_8c29Ou|5IH#C08y$I`VP+FCVxuITQC_Ui2%ED{ z-2H@#xtf&D5oc7)bt9)@t{VjvbCJu5VmugdI5KH4W(2tLp(HlTtFg&Zzc-Fy&x| zp=G=Hg{{l68p8rZIG{%_EH1HFL+mgtkYf&;`$n(0#DsbfiRARY$~u@4}Iwi0zP+;ADbu*mK>`v+X$Y!Z;?Mz;Y_)`dkpP@5Htpg<!2BUEa2Q_(pbpz z88ef6MRoWHM}BN{7?^S}!w~8~XnyGoQ;E!6rXZ0-iP(1`w(Yo)9sBUEZ%mns&Y~>O_QC)Pzk0{w zoJ3~D1rf8|D2aG1G9C=rbxoaLP>gCYE&Ul?SRPGa{IDGA~Tc=Q1qm|+Qq zIR^_2t%2YrmgwNvGjL(dGgNNnrU310$qs+*N{yN1WS(!7M46_$)TUm-!IXm;2XhV< z94tp5HV{_FF#}NrkgKSfbiMk@EVPNsz?6d-2XhV<94tp5GH2*1qoMyUHM$RWrApFG zH#Z7=+qHwxi@YEpnV8HGr*p&^6~~Sphfd&mZWu&l^O#dH*XM$WJ>T_x5yOTgh+Mks zD2dpOA~%Gtcv0-c!TTl>55~k3DzAS+^&YXEsT(C3p2i$ZIhb)U=U~CXas*;?n1$S| zgPvR-Q5_^jZml$29aNGL1JM$Ui)6~R%s7~1XxU`a6d&+%oMR`!n<)j+lj|o}5S3)a zCE0!urd-R6gE@xaQtSy423~0UQRI-JE@r9AscP&e7J^cxt#A3^TcjzZ)eP z%-@8ADF-tS<`_b9cOL?VJ_;1G)a6vQ^iw|DEFZId-9A_U+FqUy=j-BFJ;6VZY^!-l z_#z)wmcQKU*Y-)=&-D!+T5f-Qfydt~c;42wd?6y+?_Q7uPj!78M(~icY?rl?<}qvi z?ET~a0Z>Z=1QY-O00;nwPU1koW#fF;5&!@hX8-^g0001ZY%h0ja%*#FWo2}8FLP*R zWpp+!cx`NzUDFVn3?#KRV z_jY-B**_EW?eO}vJJSEYe!qHqdEM{sPX|3cUU`laT|Mm{o@c6sPp@OzIDGr|aJSD7 zcfUXFpO31M*Zt$}Nd15N@$mB2wf5)zsP^t(cR%S`yZ#tm%oWqO=LVvGPY-vmhquGG z@h6Ais%tf$@UZ@<6%jT(NTi~IHA@!|N_>2haZKA%jue!cqg z`Tl{-(E9G;b^q;p_KW*z8$~lBPLh8=?0>!)|GxOo;qdg2yWJx>G9gd*|GR9x^r*n& z;bp%6cFgvV1pE@Zvy0Z%za9?1waqp6*E6T>!v1l8*Bbp|M}PgX*K&`d<^NSzytW%x zeLu{9cYP{P!Lfe5xZi)<{r-5&4v+u$aDV)9J@dlL&<|rb@RIh^pLLS$;b*;n`2OQ~ zJqyy=#oh03$HP;Hxa}$L4v*A6eO^30v>`pac-sAW`unGDJH2!x$87uU_*ZKZlB)J} zC%WcTLv(4Xp~z1HGRnD*$|kNNj zR`v_&2%-+qRlgDX#~0`G)gNThJFU1;3jcKd?I9TgIRXU&B?1)!H3AI+w+MViV2;27 zfh7Vf1l9;_5ZD^P6&bs?IN7ib9oLCFUw>fwHlVL(6o0+x-2iN_Boq>Zgex+o2v44K zIhUK9$GO7fe9o072R*7xF6776CKqw8F}av?wP90D=b`T;VQ;mdae_Ck?)3a zk_IvKt>#)ci6J-|Cg6^|Rh;Ye&iX2lxj+^ISqfw&khMTI0@<1f^D~XaQGO=f$1<-=0AILDUGNpLmxfZUlaHWN-7>;q+?fh6M=IDSQwr_OOByXv67=JT+bc(H;KyO&xn2^-F=V^~wU&0v z3EGNl+ta6!8- zbGM2!{Vb5VKo$a73S=dawLmrk*_sIR^Vnq^>H0YxR$w=Zqf_*0ABIS#6kVo(G@Jtq zX{O*boV)}U4z4&2{i-=DCIFzp$BH$5EReZC76MrcWF?TbKsEx|nh5hT4aQMpx!tK~ zm+Jj|t^ji^Lz>K#;+$iF1>Y2$M#lmR2Una%$8uIU7HDv+Vok>iWG;|}K$Zeo31lsh zjX<_0!W{cf{r>KPoOIl=3NS}3m^V|3&arwm+|BRYUOCrBYyl0)zu;PPsZEXZc1zH5 zG1pdHJ1pQ&UFO=FYeQSR4QP$hK=k)kY0bD1$Xp-`fh+~G63AL08-Z+1gvAYYaa=}d zg*q|lV-*M%Vt`l-OlZn+sML3mNv4ok+qF% zY~-yb$*6;um30hgE>#N&EhV&)&{{$p32hm~y-a&Hljl z_;<;|c4TQID;rtc$i_zAYSQrIR|(A}w2;tJLMsWaCA5*ymO(YR1j+ev09Da6bYV%}GhcN0PGTFAmimNv4ok+qF%Y~-yb4L^RB&|E?b2`weG zlF(X08wqV0#9d1}IpbWbwtQ%9*e~F45p?4!jhQ#ZY_B9;-mvbJ5?V=UEuoEswhZF2K#m(13nYZ) zy+X`kE*1ky(m4~&ox7X|Zxuk};U(~Jcm*^bUIQZ6^`E+=WMsF#dZqCERaN{b{OebR1pd_7J zVQ(kbEohpDM8U~RIJUIY6{mUAwT)~zdFc!(l9|x6?5TO5dK2EXI*M#_q<|qaEjec; zPV-ACI4P`Trz=kLrfVD7aPqvBEW1(6N@}~sjHSWur-uzPPf0o}@hlG}%|UD}a|;k# zTP~-FD-c_|QBM&!ARdgxgVeH3#LO@EgfN|ZY}*F|E$1|kq=J)pY-y(}PV=T~8`*I3 ze2`KVKPDS`y4p9^PcE40Mr+JK#-ykvT_76?<`n2T@;Dt8Ai&HBw8Ixq(BVp`hfq3o zr{)4~{)Ur=XL%UXX23ZEvoMsK4luAYkL@dvOU;}6E=>G6s=Y7@T&Mr!7gK=R5Vi+# zaS384j#AGbKDoM@q^`M|H`Q?R@?0;u1E_!<f^bn1)ddt}Q?uI<8M`22PyPF(SyJ8%df(juSg^?4>@8xC&YhlGqQOFm$MW zI*!}7MsaL;bg2RHxju7eP;waM4AQ~M0qmQ3N;0GpC-S}2CBu1v%qt-FLf?&oFpSd3 zqcOqFP(ahJ<9ZQ2LgmFtkO*f$%k+qs=aDP)CvUlemYq1H8q<$rCm|QcaEUcn^QIb3 z(pY%6lid1Llby4^JFMG&@pSE`o4oszKU_8*XM=@SZa>OZlp_vM!I6WH2OKpz;3Y-UM+mMO;o1S5w6G z6mf&%{?TRrUFZZf>v;~PkO1;|E~H*UNjHtsgdQ7(0aZ*9 zms7-*5TEUFEu@wnHz;;vnx)*(^=Y;;G9+_^KeA|SbswaDEg43IpU~5-j{byEA;kR> zNM?XyinyF2u7udq=URv@eQr=}Jn=~j#NHa*8J61AoC$nYc)F*Vz=Je@qgmTbpe4Pl zjGU>mKL}_>?0b9?6dwsn5LhRh3dG`c^+$pR1jBU24Lq{?^kwx4xg^sPiwSvoDz2%3 z7KES#!Ej9{7gRutx(Oc9qLKDS2JW>%Ng_1W5u8d|oB8xRl1;^rS&s`|22g_UcjCEcaCa@a#HD~J6D zf)Y>h{`yy2_JhW1XiP+S1A=n_Y^gO_T2&RCN~=B$_#0obW_Uy9&9r2&@9>nrne$Iq zpQCti|A{YEafCi*Q&rX;~6e2^LY&z zQc>FhDRGRFj5K>)22<}L|){^$*?v$je`=UbaKb>gCwA@ zZ$bsCk!Ol5omxN~hDi{(-De**I?sSO zp;}@1kBdtm#9o?Ek!f|2EDtNUOk(UQRdaqQAFBZ(J;5xxK*M==F;90q7e6G*j8m<=khLpBS*9hOGn|CJ zRqPC(Jb-glM~NRtPXEc(1*lz*lxY-(ZtMjvB*_xQaHfb?C>bPn)5*CtX0(PC~c7j1j}_P=eYT3Kfd|t_z7rYiHha4Ptvg8c?gj z-8bJi&HZ61!`W;i3vEc_S)e4HKLVEX!Ff4~1K+2qgsQ*D59HJiEmN_R`t6-$dh-It zaEUD^bi18yUeY~Wie>0Vh2nNbYx830CP4%jSfkiBT{a+YA3$i|6cPFf)nDfZ2PK?Q zgM)Oi&>C7ijpQs)lFk{{n9M=!gnZ!lk#lOgK(#eVl%TdPi!0RnbRWp4Tf{!y07yix z;#c_5WWv?-Z~-kLLy8~IkI(J=2bQ9pO(v=$XT=GOAj6vLS-;61pE8hE$erXGIy$r=<7k-)8NDGJRsZm5bvGd97qnU-``rZq%DPZCD7 ze?5}-8wa%7217I`rUi3EhM)&A>8-MZnEPR5?H9`05Bi#E zN#_SQap)06H=<2%hZcqc)vr7;H%E^f7?bC}4gISTq-Yq#(c zkX{i8jw|gAR7m6TH44NT8k>UKmMk%5X%~_XRuhm9GcD=u7SX0)m?WMbda1D~c`{Ot zVkL58br4!qoxE>Z*b{hLV-=p+*3BBlaOUPb&#i1J&sbWQr5Btr3zej^Mf-|uzkL^= zLuDd9fS#k+r9!g3C6Le)<@mCy0>xf@y6NYp3B7|G27QTQTgw%SZGEm$Z0kldQp}w} zRo1AGSJfDO_I0qx?W|zC^a8pUF#O?BoQEJbpEba5-4rOMo8iVE-g1dzTgw%SjSf@i zdCN75jXqF+xVRZ9=FYH`mMpicQjq0#m|Jc_rJ-cdI}ENT(-J*;c>i-7S=h+ZMpibm zwvo*lk{K`>Sq`?k4-&YRyl)&ES=h+ZMpibmwvo*lk{gHOWz0~INJqvoBM0-YmUMZS zQX@Ta61Oh^riC1c^C{wDinyF2uBM3VDdJ|Nm^))+1sTZ-67#N>oQYI*{JUgfJF>Kq zm5r=zWOIh(#<3QDUiba=o2V=N=v6Mf0c*u#G|*Knq5;b)+xuiR(5;|F12lZj4>qF# zwOUKsx6!CeP`@HX{a%ch-S_=s_xk<{9cx*3pXk~3>FHlPZ1QY-O00;nwPU1jJ9hT7B z1pojb82|ti0001ZY%g?ZWo>0IbZBL5Wic*zZEWpXO>Y}F5WN@Ze^~6jk!0&5G9m}I zKH?^J5=2Uh9I0Juml1clASpY#70Izcfud>AOM%{cDB1={fL_vH<2FT`0{IIaa#t%- zqH4#;AuVEGB<`Ex-oVM4uQ%mra-$FE(g`W{XL7LqjT_;*Kxk1qS3kSGli zWhw6Xb1eL;yB~gV1?|WfC)fk~RP3ORA4{3-R4O8XVI(fG45#pH!gzuteC1Ikc zLUuC352f!>BqTiO_*MPqS9Y&d&`x1QBpepFaBK^zq}A={`@tD7v#VAI^vOqETcDU}#*aF_1BkIEKV>@{F zI7o;Kcy0E;;yR4^OcKY;H{!$s9x+Du8FvQYhMLQW@MxAs?#cPg#N9#Y*fn<-rB-VD zvkbJ8xLkH)Y|*?;Q7Tb{Q!G98j7>3itnNM`R$Pxrz?onZ>D?#ZJ|fPLjL6t3q@~dT zNgywC7ePq16`P}b-aezQRrm0*jf4$>sDu0nQ!9+u&`hGl<#L1)Y6koe$=F45IOlkA2)jxc3jKg2?~Y;JK_uaWc{ARq3uAJKVYBe^6~m(N4Qn2GGMX*Whm=E4q18k^XU z#S}^udAFH#!H<}|L)3T314=ih`yRnoy3ZDZyP%vVrDcJrCo}HIc1YxZ* zAncZ2CnP;nyz?2}%XY`#n-ZNLcdpN|9`L0oA&bC z*X5-YgG#HzV1DA(=kH|W@q0oj9m+YyheDsg1vH>=0E5a-UpjGl9m`_)sCF_;VBsQ; zw2jA^{DjDO7^4hM?=@dJiA3Q#5?;mx+#2<;)3?IYS#rd}{MK2ksT*c49swHz8q6W|P=Do=T;7unUxe4Clx6illEs_;^ysDNdr+luSP z<*C)>rFM=?TO^Efvq|X4=pH6w6yl;f)#!O>ylJl6%amI5R49sA7&Ka!|Bb~(a}9Q@ z+CWoNDQN1Qbo}Oa14<@9S;wEi?HxWQ8PtwYCtE}#c=;7bo^SYzC`-nL>>&~70oS6F zt3g5}<{l+U$5+cQ(?C8bwR~OZTeewijBra!x3_1O&W{pQG!Zqahg7 zmXlf36ytRnR+?Rm+P!13z%!_wr%4#9-(0v|iCfttoYTSJg*rdjtyV1zO%~@$9clf; zh4~8u8$ST?=)t?(8I>Xz2o2i(2T)4`1QY-O00;nwPU1jJ-deKG3IG7#Q~&@C0001Z zY%g<$I8rK#Hv8BnBKwywas7GCyYakp+*gSJWkOr*%4_7`^Uz2xP&@+C#t5=BKo zEKxk~&pG$)P#f0|yB+0@<@Rl-S5vk1ysB8erqi-}do}gPx6HMQs`R}^uhr-{J*%c3 zS$*~T=6Aod(f5uz*3Es(@)Tgv>(|tM&pWu5%k`W4R=3e#cMhx`eA9N^Zo`9*?q05c z;98AVpAdCBIX#~*<+=^Kr*3Za23@o3^_8YG=y^5O;FlEk&1)^VsH+O&R(D#U%5CNQ zzZf{)tN;7P^|6*U*=g_Y1ImB3Q3Dp<@_ zU%^Ct3lV(R^UNU5I=mogef@g8-o_+`eZwNZk5MM)M|X3h?exMR>m1X0##7#dxR-7!40SE`w-4xJgaw0KquBHB z?AkrYB^Pr{2K#@P+!aWxP(E?eo}Z4NeSY@m`)6N&K<|~v6xegt`SoJR+}+!)siv8y z|H$Ru-0TSiR@ckv2;7~`ftL(dV4g-{z<}X<)4WmM&gT<(lioEQ8!}-tp)jEw!G*{$ zUsfTJP1=PJPk9UZHD_r93=d=*N&(YMWMD#P#sqDy;1Gg#zHrRhje<1f#x&s=Ejx?Rtj${OVr(?H>7JGF(!GvkJXOkrk zOc1N^uTZI$^lC-RQ`Wow&33P49a^yFDbZU0Q&MmW#zoQLE~PR$Z`s-_{#N@>;Mg-_~Mi>r&v0e7zL;$o?|Kx}udTl}gnp zXf#h3k2O?2(v|OHtzOzO>pSUSZPDrDL%N)fH7NlE)%SD(;(HUxUrI4Fb@EzpNckXB zuUAt-DQv?A^M<9wHKp+dnYonuPG`WWmht6eiCHhFRmRbfnXaw8zVpmk3ZxLE)3u*h zshzEA`cvVhRH^ckt0a#q_NFnjwRTfquY_dlL)%B zoUYZf2VE}5&sj9hHOMsEC>!~*QPfLxWM8yw=CWkw1^)8(={ct0tu39r$Xp~xJnn}o zAq5R9jcP&yh<_0NgcKJGp_Dm~8!=X*$poB)+mosh2%g~OLo?jzlsS7U&3SiEC7EvK zdDUjMRR*hgOQ%qrw{r@C#L6iY^RO}8*_B08rU0TyW+NgpxhaM_Xx@+f9fDNczNJMGnxiqJul(P(QZy@e$rz#ztvi*+4YtOn5)>ot6_ zJgp#zfmT9|0T;$7l_uuMqED(K=$lx@tz|9$$$*&6K@j0_1|7x7r{GrhsLZrIC5D9T ztQFCKqYEV{9<*urlN86PdvsazCp0CkS`mQfJXTF*gj!)mv2@Ua0s&^pRCvXP1H32# z7iV)gKyDQ#c93{+qpYwyx7ZmJLZ_BlH{w`lc83Fb5=Mh;;&DZ0eFmxWD>s}%b(hxA z?9BQRM9HEvn;4CnLW9C_HB&glSZvM2<%lecv*|}1?5ye-wNQrqPdU~(d=}46=Fy=% zL^=BO91ZgDRsh3c`=Y1w&<2pC1O@_R?$R!I+#WO27NxQU;zgv*#Ykp4TS5o8LHU0X zy+}l-4?h!Lpap1&3M98#`K8-9xMdx}5isl3i|Y+ZfbN+huwFQnF&T@gG9Cs4*{IWBR^&{d2!~Br^NYH`{NPAU9X@?Je*89y$nL=Iz+)wB5QEmuNrF=Td&-(J{N}6i zKktqHa6EkS=*O#Y{xMUG}u-uc7NIVd#E}{-j^d$_=?*8V*(Ts^~huo zgD1kzkYZqX@{EfWk*7=Vj}*%drtJU-deW31{p)yi_v=71X%|6pVUPb$qILM?DZgJt z6&zwnd^-B41MA(3~5|Ys;$7i4ZQ3>53 z0tYq)B}C)LpPe1QKf3!EivH;1e{g{!W{OfBBO}3+j~?!zNJ!!C>&{NQ~N zBXB1s^nbW(Vl<1atbB-qkpZ(Y~_@tfm)4pcSQTB$bud zH<$(ps!LrL83C>bn2gyJrP+NBFl1{Ll`LtA#z;lELJo})skAWoS;=7nseoyqUqj;a zNL#tfNN+O|ZAjVpvN=SI38cwwjhVZ`$RkLVW>=*0yrP1(m<{B-#0M;`&sBYxxnNr8 z?*!U#uL`F2UIU)PqYshrxjg`*WwjfFj(3ZHSyRLJKcvspL5%#n-mvdD9%WHe!}qU~ z=LT8%hpmFw`|x}k{8a|7T~mLxvsJEc@0j{pCBIc!GYVF5tyMn8E_iKhjgntW!!Q)Z-vz%zh~S&epQ(r@8DlsYOea&HCA6^( zHc4rs=(jgT1|_l3$NRhI=A4^^Ex%0*zEtnEvmBBFL!fNwDs5{HUtcyCHxT$BZ6#Z0 z6^B2{!=*SqVcrK2XRYV338A}1$d`>W(ig5%Hg?`!Z)AvNUnAf3N>;v6Dwq~gjIWWA z+CosePa8O-6bk0GU_lsHOW86M1VaP)qaP{gWzde}0$-h<5qww1^h1%#o(}ix?elj3 zm^LC`?RF{Mkhh1``moP=O8)gHQz|kFIZu>rax^64g~>b_oytW=x#o#7!+7&S8f}O7 zu&K`?1vuLtlgyYdF7r8>okb>eqhS<(srUs@O9KQH000080EbTEKn^H!z>Wa`02l)R z01p5F0C;RKcW-iQVsCG2E_iKhjZ)oj(=ZT!N8*35{LYf4A9PjINeB>oK@%F|5nb(T zW6kkJ_GKymJr`H&GA0mD&Yko7Og7iY)~iR1$x*2FzRx+;PYakRqVSDz4LN=H7hG!Y|kNYqYPu(dxt}M-jAaiT(C6!aF&}|SF2Si z9iDby&>b3!lc9J9&sVHuJp37z&I>?qA@l2`-17;tY9@+23nHsqQQ|8;$=3m=F?$7n+j# z44wZ2$`ON|WE?-vQ^v)gxVHCFBt!>{6U=ggS>}GTPbt-aH@8uZM=o$aUsRd3c>1Zg zzX4E70|W{H00000hfd-^0000000000000001^@s6Uvgz^b1zU!0|XQR000O8hfd-^ zdpLHy{{R30-vR&t3jhEBUvgz^b1yD(Wo&b;lFv%SFc8M?g6|OKzD;)(5!rMvBJ53M zeSnxu|Ij8Al3DG(y+Khd)Vc?cnfd0M-+W}d8{HsYF{X~Zf^|`XKyS!)zESXecv#(n zNUXip19?<%!UVhO@?!ghgXTPx+AbuKU3^l|GKV`UlWEcER8T;lJ2ge8IX`0~gEqZx zP;ScdM#i5WP)$6=-YSTDy9RMMg}nK1Z>sCg;60h6L(elS%kOtehpeq;Ee%Cng_u){+~r)qaV(j~TuvW~C7{juK-1Ib!oiWzTeQna zI)o*n>;EJ&$He58c|J8?NOJNmt9MXK0|W{H00000hfd-^0000000000000002><{9 zcx*3Ua%F6DFHlPZ1QY-O00;nwPU1km1@tx$0RRAd1pojV0001ZY%gDOWo&aVcW-iQ zVsCG2E_iKhE^=jTbG_8fYJ@Nl2k?8L?;vxpQFqsF%f`Kw!d~0$0|XsESWP68e)#qs zJggO#^deq_Nyz+vNr;EzPuB)tXsIz;LL5dApw3Ov=t{!J`SoEB0Xd}$)f$Zw1|&FU z_jiXkY?b3hR5v{Z+(naw+PVH&2+C{h6osZo%`>I3opM~-O7tqfs0u|AMX9iVdq6hp z8Jr3U_EbDUa2|S2{=c^=%O=MclYe%o-HixAwX#^eJImW6ZmevDPQq+BWHE@_7(R>z zF>Yx2G$+Ma`{Ey$jCXuTIHixJ7{9U4kS=NXHugd_qMIDoA>!NOnbe2bt&G|EFx!_RGwE0Z>Z=1QY-O00;nwPU1kyhbCke21mCW-Fi)V;Efc=Tb?;2dM2C zTiDvBry#t&X9Y|o2uv{HX35r`-}jxDRT<5|VPSO2+DVH=pruiT9;fVm^c>%@ z2))osltx3!7JzKfzr5&;78Wp~YK3J1Rx;x%;px_mxfOCE#=twR zR+meoJ!l{MI)n9lkC2IJ>7%DPJzknPD3L`E%Z)WFWy0FBkiwHGpJ}y0iC2V#D#ISk z3yW8z!T44}z4AL?RrgAxafO0tD4c&06=`r~!!pDi2%nc6bKyX}c}H&~9!*E000mG0000000031AOHXW zCjbBdWN%|oa&K^RFJW+SE_iKhP)h*<6aW+e000O8hfd-^hY}8{DFFZgF9HAn5dZ)H z000000RSKX006WB003lfV^DH$aC0wXZ*pZWcx`M@O928D02BZK00;nwPU1kFmPrx) z0001f0RR9K000000000103ZMW01N{F0Az1tP;zf@b1!3cb98TQE_iKhP)h*<6aWeU z00000hfd-^0000000000000000{{R300000000mG0024!004MwFHlPX0u%rW00000 z0EbTEKmY&$000000000000{s9000000000G0001=SO5TcY%gDOWo&aVP)h*<6aW+e z000O8hfd-^z6JC)5CH%Hdj$Xh8UO$Q000000RSKX0072V004MwFJE$HY;!MnZ*ps5 zZ*OZZcx`Mha%F6DP)h*<6aW+e000O8hfd-^39UL;3jqKC0IP)h*<6aW+e000O8hfd-^ zOdXcc+XVmsAQ=Dv6951J000000RSKX0034)004MwFLY>SZDlWXXk~3>F)ny*Y*0%9 z0u%rg000080EbTEKn^H!z>Wa`02l)R01p5F000000096X0001(RR92ZY%h0ja%*C5 zZ)+}iZER3W0Rj{N3IG5A004(h;y?fZ0000000000000gE00000000005C8xGTLb_A zcx*3sZ*psMXk}$|b1zU!0Rj{N6aWAK2mpsp;y`O(7On;g004Y6000;O0000000031 zAOHXWhXeoscx*3sZ*psMXk}$|b1!pfWo2|RE_iKhP)h*<6aW+e000O8hfd-^X+8?( z4F~`LV>AE&7ytkO000000RSKX006@d004MwFL!TpYjbF2Wpr~db7*B{bTTe@ZER3W z0Rj{N6aWAK2mpsp;y}KuNPX1@005OT000;O0000000031AOHXW1{VMTcx*3sZ*psM zXk}$|b1!pfWo2|TE_iKhP)h*<6aW+e000O8hfd-^OnKfb(FXtkT`~Xw7ytkO00000 z0RSKX000pm004MwFL!TpYjbF2Wpr~db7*B{bTlq_ZER3W0Rj{N6aWAK2mpsp;y`ow zq&(CJ006)*000;O0000000031AOHXW7$*P#cx*3sZ*psMXk}$|b1!pfWo2|VE_iKh zP)h*<6aW+e000O8hfd-^z-8ln*Af5#8D{_h7ytkO000000RSKX001H|004MwFL!Tp rYjbF2Wpr~db7*B{bT%${ZER3W1qJ{B000&M764@h006#Q00000@FK5A