From 43024906cdadf0a21ee728137ab2855aec35f70c Mon Sep 17 00:00:00 2001 From: ravi <ravi.kandhadai@epfl.ch> Date: Fri, 5 Feb 2016 18:50:57 +0100 Subject: [PATCH] Adding a benchmarks zip --- .../lazy-memoized-datastructures.zip | Bin 0 -> 20319 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 testcases/lazy-datastructures/lazy-memoized-datastructures.zip diff --git a/testcases/lazy-datastructures/lazy-memoized-datastructures.zip b/testcases/lazy-datastructures/lazy-memoized-datastructures.zip new file mode 100644 index 0000000000000000000000000000000000000000..a949483dae9396dc2726a156459feec621c9bdbe GIT binary patch literal 20319 zcmWIWW@Zs#W?<l8n6bgu!<EyMqk)xyAxfBmL5zWc!70C_BtJK_z&ABLH8{VhM6WnG zF(>hCL}b3Op+MdF^%5#9y9JzrCJ1yW@qKIvsnE1h45>8t%PM%2Q0;u^<NcW%_rBh% zAmgO8>ektczI?v(XUa~W;?FtjxaoX*)9Oz}htIHE&+IrGCe1!6+jOz<zT~1ZL%)4i z76Gs2IyINd7CWuJ*BEeZX4c`*Vym6CkB_nB9T2`zm^_iKid8yKV2P?>`AL}<y5?sJ zxm(Np^7BG(OYT|5thV%Dis!tks@ua>n0ggNa3;$ZoIEMQ(RyS-zrG{aYtN-_20Z<9 zZ+wt^wZrz}(dsy>idSp*+}x)k@x0~H=@h016PXgfT5+rh=vyyX-cWh6OlD5oqHV2j zmWUlFQoCrPeWA8Z%<JTuR`K*hlkyInpS1o!*ZDt;HlnY^J6@T{F}xBJGdnYNIxpvf zlxc^%(_c838Mf{{`|yjP&I2{Oa~}TFKQdinmt5SNGtYfnzVLtP9h;^uR7ey5@IvIn zoO4Z+7_4sHxo)xi!Hfy~P5PD}_CC&%jD5|yPsr$X;g>^Q7a!(a=FD-MsVuCpM*sGo zh=B8ZC++8a{nH~tH}m9#59gVx?c{E(&R^{QKIo0oQg#22vY&oPxcrDMT{|P?lbhVB zv_0o?Q@6ipa%gcsRR3+eX|32D3I2>ntAd}*;<0>x;NlMR6C0*?sybbcDq8lBWwx=X ze6y<Z8mm{9Hcgf>yW0fzUer6*k`d}z`A`3`DT`a;>a+jKPP(oAT^4#Zwffpy_VmMb z0*&f@iS`kptCm;_-g+JNW(U(Xk<@3m9e1z2ojD;!IyP6=^e=Cz5O1_v59_jN4Mt9K z6Lwve-;v(<y6#R){u)-<jH#PHUFtr^^wLyWP)a<*w=nJ1NvDe{E?;!6Y%7xU-J@x@ zozd|ci`pMwNwYu6syxe7LOf2)^O2N4U+z=2#MkYeyUi!h>CS9BXI%4F4`xZ6o8H?a zaDH8yozuMNc~5?tR0;n`7A^N`>pQXJVWQMQ=U0XgKdR{z?ci0fP;8p+%XsLerstCP zjm;T~Iuji<KWK>;pYdA!E$^P@{PZ^C<BdmS6weFIdAKLiK<C5FDzSNs+tq_v%zKv{ zwf$3OfBwJD@6CR{yx*G7zw~qNBhy1a`m-J`n)=Cb$;PsJ+pF9@B7#;kr#A1Ilu@*r zKjK7-#lzRDd)NAStXX+`q3@;hY1*vMc3b>dlf!$TGd8j)PgACM<G%kZXV#zYzjpWT z<oQ?bF33NcR6M`rO=#iyjc;Ak#aiPtkIQelc6H<2jKh3SW<E?!)iHCe^oVrs?7H?K z!8Ggd(p$L!sa~t2&vndA5L!_wwfFIcH5uENHcZXwWb^2fG6-6-rE>SJ$A1&=?hN=c zt^bFG#&4Zu^P(L^QTitF`<)Dhzgea&N_ru`w7p0-Y(XgVyqR0;*ME5F?x@5jZu-y2 z<>}V8Wz#mTc`-YwHn_90W3~3Y-$E&TD(Tn$3e36G$1o|bq{rvuL~nu8pwvwVuGs0Q z*sK#jR^^-9ut{*~;x6u+*4<kC!4@u4Upjw0$M-?tTV*?s=Zbm4?A<rdeb$qoKCPeY z-DCyj_*+f)>n;^OI-6d(d9HY+tz*tBqqo)7>3z(~hIbAz8h!T+E_r>4ah)}{Qu4zK zTMtZ6`|$euJfTy6<N{05d&8{r=CGQ5%32{@`sUg8e7_3qs<nR|PQ2KfmEzRH-~6M_ z)Q%}`Ns#2s_r7vTvi`dbzJ2p}E^ktGTl(I%;-Z>0`nTSG^~+kH$-}?M$I|dlsN2KO z{ngLkpZR2QW^I5f`@=m!(&8s>Zn!@;dvegV*ZIdMizWZJPTm=<U3u@Ky~Ofm#{Yd^ zX}ar2NmYM7w{Po==k~X+Ki;3RL-uEXPux*!!FEwzA^G?}mpF4LRBMKG=`6Xv_};#j zwH9nwj&Gbhtw!g^#&?e&dCz<IUx7zmqAh>&dqkP-SZeE$uz$YPYHkLGbR7l;ZUzPh zm(;@2R7gR+SL$}2w&@4kcteklyecO@VTT3ET|2l{-idr<SWzmJpM37v?OT5O0srRC zER?zZ+V@gXgN;gLb(&52`5UXl!q*mFI1$z_{qgwTJ%VR{)LgLsQ)ReN-`d&f^)=4r zQFmv~*zT+R+*a5tI{ljV%Ib?@hja@wKK%Jn!EpS8;F;(a@mr0-+ML{#d#4!)hv_Z2 z`r)m2;!*F?6vj-GBJVG(HS6?_zwf=@_FnI}!AzgyE^oLqpKzqDjdse7Qqlav)FZ;S z=J5QftcfZ&eg^4X>y0rucV38R-O8RX9eJ9{Mz&8`Vz`Ytb9om<ZoS61sH^Qo#MgG2 z!_!R{>~bs6W}LcaR<*$rThA6I-nef(^QZ0;bX)jho<5`R>x8RPomPsO?*+UwSem=# zmt>p^u)n|lX;fT}X3WfQmpVj^lA~8#o$KOd5FOuiYpK<hIa4(rMs0ri;LzvqD>K*Y zO?dU$(fYUSTCT){{x{|7`Pdl5+AnA&wH0x&%rrj~^<!e|ucvR!S(yIRtSDK$<;j2U z$mUJ+*RH$sm;1+#T<Ok7bMhD%mj;Vnkbidit-t{pUw-?##j~<Fmdi6#O*-@Z+)w?p zS2fCJ{K<Z>zx=}oPOF>3kqT2@)v!FT{%LW9$N0dx#?z}$>u;^@Vqz-nkDSZ%yJC-Y zW3rt32Oh0*8=1>Rmf8wiW2KksFSKgs_iNPnD04Z{yDBT=#H)9#a}<3S&JzFdOFx?V zzZpyA^CfXAZs#=&uDdMYFPJc^wbUs_sHA+VOJJz*5=oV5bEIEZ8G3V@Cx5X&Q<DAg zLh1dAW(~LA>DSU$dd_sbc(P0M{L+Z$Gt>VZwYtkum29}CX@%Rpnv&91uEb^Pme-Xt zmbJ>fOcqdkvQleP%aJyfP%9(ZD!JJwXRu6Pxg)j4^s?j20NX5wparo9BfdxqCBL2* zm=t!4Bd~q;43D`RjV=iZzv24Q;63lt<mqoBf7q*PvbQ>NDEoy73fk5%E%%t|aG_N~ zz4htdXMcld%#%?+{qXUI^L5;3`c#(it?N8wcQ$2K^SW%UB#n*}KH2M4Lz$E21kK2M zd#%MGZ%t2gYp1vJahang-y&zT9-Vr><z$*c%EY_JZfEw_t>&A!<K5Qgdu!{}<4*k# z{{Q67GVh7$zjB!kKVS67TmE;N7W1YVTFFLrml#q^Q?DuKEn<AUzLM4XTjYD){Jq=D zqTg$;vEYv~u$l5qyJwl@k?OPIuYOH1D&Flk!(-*WjK>@fZuc1fR*612=etRt{}KQD zGRLzv4~oNAe)$)1^U7@d6Vi_kmu#Q4%Ua>zOi`cm+bef7D-|xV-<-Q-;x4xN0vzkD z)3+6?oeOO_5_H&*dE)MiT{iz5&FpTnE&QJ>x0(MK?`pTDJmwnb=O1?ddqD5rYu96` zc1IrH`w?v%a;&!|ZtkLA?TdE^S$jx`9$uTxpu77?n44w9mP@ac-S1duJ}A?aJ$Ep$ zmc={KvGL2+y{*@Bs`{4}Txqxy6ueZ&CMRrtJO7Hg>~T})UpVWr=ZxsW^Wxf@H4m>i zux9dqr9b@3?!Djm{>$#19LK8Ku%mMV|L?vhWyX5s&f9tIb2h&!Jg6!7wm33s`WbJP zr2p*3FY}gONeRuf?mu&}ZI?RVsoidyY%gBV{P5QIYJg^i{PgOI8$R>ZEV=(JDYbu9 z((W4FTemqXn*E0I`FN+hi%k1$Hu`RmQRNc6YrE+N`(%R~E{$CO?uDQK;AQCdy*);< z<l;n&S0c~uW=hrku#CAN^Q}f@by-EtCe=;rH`iZ374d!YH1np?;vFS7#Tp}j3%%}L z)NXm>sKY6joD{3IK9jT6@7|mBPbYA%m{!jHXN%uI6}?s_zQXIk^#T=91D5tx=Fj!= za!r2ttkF?57ii#P`@GE6PQ@|v)Wq#?cSU~q6LiO8Mxe$?hpX%TybYHgFRNdAE#uji zE6RmBS?azKLSGO6aX)cl;~|OsK8;h)oSJ8xU%HiN&Bo-mt@ny#4Zdxiec16{-RFk_ zl@S|H2a9z^UMYLttp0t$OqR9A=l{)^|LMR=|A_MvQ&&G>a4HMwe)3_lmuaN<uC1kC z<}%%x@?aVByUP`49?$N{c@)to_~~n*h6>ZUvMtLlifFHXVp*x#>vYNg>B~Ky8RwTR z=4GrhIq$Sw=5+QX@#%?wBCbVkmUU@SDxLWEr;O+e6;ruamTMSxyxI2f%*0o0@&<LU zGhfH5FEL-0dx3GL+Trsq%3o}5u62`Ec^&n~EAd#**P6-S3|JKw{=cmm-(sMl)zr*4 zUGm$6-FsJUH{>#9>o4BPu60@N;i@f9OAF+mu79-7>cwVdi%QY`yy?=jn=}*aW{4(q z@&8MbI>^I)IpyDXo6{Ha=A0?&oF>Mk{9uwY<HKKhx92Y1{KjhPI?47rlSTji>?3zR zN;Pn7`xQUEQNpKn#Y}GFC+8I6iex19#A|P!xX!lc{UTPenQlRao#!qeIopsezg=X# zM~55-``f*nr##vdZ^oRT+&Jaw`t#Ao&r5{zGjx_q`A=Qm(%h}WqyOh?chUC{`546> z6Z4{psSBk}7X2$+<e_?c-bOJ=4aUkZneKj-3j>x3MA@{ZnH^m{m80&)Y_^H>1I~Y# zzh}w`JD$WnXMc0sF6)2Se)f=8!>91FuGwtXH>zx9_w2U|`{n-Wj*De<N7-8mmipfb z8QhcOx9=)lJ8g++{$jx(Il;Uu;e01&ai*PGFthOdFHyHiCVrl?Wi2J*U#l;Vv0n8o zwO^FeZpzxy+a_<<F6}L44KK00aqUdng6}HU?19Ob(%p70d&GC%o^{{M?dFp=_pgzx zeBQFA%Hp0wrreHY5$xrwpKTIu+$7u}z4TuH=>^u#C4GBd?@&*^5E7a3R56t0;#Pn8 zjqk5cD^k9^{>5wu4bj;CpQkT~r!7uu;C-U1#-bnXbahGy@8fE(E$=q`o^#oR^Q>2N zo8iM*yo#RX_gppBEix{8_KhnpA?`TC#h_n#X=;t<J;idi8>tnqE!bu|e~DA;!IukO zS82FBtgxEqz`EsSquJA^+><%<X7PU%j_#Hzz15!W6*KwqEWNyfk0-6w?;XF$ZtkbC zQu(2k!PO~Q-(;hX_)g4Q>*sc0|H;D}*6bGNHtM?YP=zmM_8!*@*Zy44c>U>>#qJzm zXO(}oE*4ila;&MAcUMb0@L<`*)e+x{Uql}`<S1si&3M<T9WVPO*nECBcp1+PFcu6@ zdE?D_cdhDz^)ouk=9j(hkbkmjFQ;vVL1%&Ej~n|hymV?<{MXQwpMQd!eCCYn>kc1e zGn_tCGozh#>rA=B_hfZjrp9c4eBXw7^Owg}VX^W%oHV9>x#nrp%asxrYVm*jxpVm( z-R%7L_rKV+Bd*U=*l)6|$_efXGCj9v^=9zKY~y?5WzuV6u)AGT=XP46`^$aP=52{u zKI_<FgR8cDzn;ah>%JFY6S(<BdgUgbL#4lT*PcEeyf*LM$L!a0PL!n>2;59tzx-C! zuXon24tG3~E!_*Hqz+5U@;=dz>$QC&`RPphA+0O7xgWAz;EpXm&K@DQGUh{cl=#ni z`4uxaJhZo*UHLVA7N4Z*j1*zVxnYlYscUXvyTNz=XzjMOpKqo5ysulk_Q=Jp)5H}# zOm^q+o?0vZq|vfwRq$)I<lXZkU+!D0{d$>m-R*`KA!j+vnEzSw`L)$$t=`7}(pBr{ z(zpdhd&MN5PA+SGy7*0XWXs8fQ`6r~FPU+C`O}J@UOrdq6rFD9Y%{&Pz@mKdc9p!T z(M50Nj+}A$)+Bx-$5XzidaL)buT>(-b9zqYrak=G%#tvR=|k~{cL{H9Smar|=g4RZ z9ahX+eKPTd@5us@?8_1lEh<)iIV8W7v&5!w`7P1iz46UimQ9;`cg0xs{A^v7ovHC? zs{P{Rs*|em8+a#N_@JGAW`AMFj&I+?GN146b}RUmofgTFW_xj6c<(>s`dj%wF9puZ zWSmrDW4*_?mp`WEW_p~n@U`3Xr_H!5Q!H@V?3j|`$9o%Zg?z3NHTK-TYtH8<X=$IX zte&~)<<cbM<O|Kywlh3U<?VNGoF}vA>=p*k&yGFU_OsP9Bii(@vaCJUT{cX-&dtDZ z%?vUQ<C9ob=~tSYT9lcbm=ly*0BPQzjmkWK*?{NYx%C`ENwPh>0zw>&kETu7aYRu? z!2QLhwE<Drmh^nypKN`yD6f@KNa)SosOua5{^+{gzo+K>^rowSUQge?NHbi%;(MH& zWl-&p8)aQr7v(Oi@UMCF^-F2V&PccE6_>YktzMP8NIFzG^m@HO@7~$*4<znbT-sNw z?sYUT?6jBdh5P$u6MeYix-B2)Hww3Br=DGUC8S{clb{*i=UuOhC9BzKUp%u}gkNf+ zz#juEcJ5{iw^_Rt9@PdcSnU;OFC_1{WUdk8-Q=sB{~Dj9@t7n}t@*Pt>xgUF-rVei z(q%JOhN|9VUw3NiLSrML#E(^nKHQ%XyYJ9}l0(ZYdd0=}O#AhUKYyzFRriG2D>~&Y z`E9$H8!zAOloF5>3~M^CpH=J=!5QLpW`1ba*B#U4U6mQ#*Pd%Rxc8ls^|z$c?^4q` z=dvlQO`H<@Ug4DB9k#c^TnaPiS~Om>IGDG_<!9WcvtBEvzL2QnU}Jm!M*9bQwYHdU z41>Ziw%GOVPaDd$fBOlvOV*q_+H^v`Y>`Nk-bL;>o65*F%Bi*yywk2WiN4NM&5ykI zSog$hVYyeF?`~BK)@;&xv|ly(31^O3@{+S|8$|!B99Xf)u<EJBzIz9CF0N6KN{}yT z@3^;<sWSM@BKs}DMvNS}d%ql4e6S()E2r4Bze$0$_c%{IuA6u;rK$g~l+T+NsVa6N zimU%MZc}GH@kMx&QhtKbll+Ju*VHf8Hu7B7Ie0KMR5^RghiliDzu|l$@5>_-b!@4~ z+(`^<;V!!2x$);2d5-b2tcg_!TeEHn*8`2)Y@eEi{0lW%7TbyRSTQdCwzxyqp3j7D z-ky`Ed*>J&U2SDjrIFUiVmWy~pBxvj{Wl%|1(P54ifUCJ)^SjixKtjo`O4IwwRaY= z-tB(fGVv1E|KxJ9x|nqbBoCW#?@8U*bwEW?PpWEm)93T|*{zR@T#FH^|GISo|L$+f zJL2><`%Un=wKYik(%YW19tBznl9L}ky>a2EM7e5(+2Z3fLS&j#m{Tt-b)IjS@ak1^ zps8wFSOU`zsat!@*QtN0@S1*W<&PVuMQux)%kPQ@38$2PSblC!d3p)Ed-j1-zpve@ z*!TYZ1KZrqDj6Qz68~)5ur~Sn^3$604tG5Jywdo2j@bR=)!W$8*Ua(?-Lq~#!}KE@ zKfBy6JW-6y_C4;YwC}!Fp<wXs4BMtAEzOxx{}1Hc+TgX3cWKnB?Q^DfyfX3F!1(B< zn93i|Hb3v11&XuJ23+f1Ai7qk$Gmu(NY~!hyG+);LBCyh3rZ`MEbFnEaw9$HR{r|h zW6{#~ro1=5>VDJcmSb4@{OBDnXKtC3SFY$DwEB>%RJ8U_^hMFnS(?emx7j_IbG!8S zhyAlQpZ07KQ2zeHVuhS<WX&|rRk!7%J*+prTkR)O_?ykYf9pj1)0)Soc`WpwY94T5 zT1L|CSDYI-K1_O(buY6mQZVw2&b=oVY8mXSdz)Jw_k58pGj7$(y2^e~FE;JDfB(h0 z@YT;Ihs1EEdq4U3{9B14|Nd{=WVP2vtl7}1=p6X(r_RkiqMIZ&W9?Q{rQCjb-E+Bl z&x-Al-iJ63yTl)Ki2b(baWB)~8Hdzvn>N3BD{j{HRo-xe)_bjrmT8;M`6{wsQ=ZeT zaQcMB6KA6mrR_YbKN<8s8|c2jbGqPzJb(DcDcc;RP9^4_*?f4dW}$Uj*Y1;fkEd*A zIwz4A`E}o)uDtzgZi%~pRTekB-!OGcQp16p^D-?CbT3|~y5Pf)e|PhRiX!V}N=@!3 zc`vy9`=0UamnS*?WFL@R`s6|GsdxT2++z#1101jWyEUHI`pf)h`+Jof>5G-OCoS_` zb3p3S7O#wRs=X_3Y)b83HCfBR!1Iy0`aYXEn)g<3%bOnZa?Zief2Y|m`nV>c`1;Pv zo|_B8YknNifAxL?>oe20x0n4WOzIMRr#dZs+xmse*e)#C%M-Kw*rbGp?%<NDUkh$` zEZgnhkU8T^?A_uwek)YuOXLsyXyA>TmFax*zs+sF)Zlv7h!5f0f3E-jPI>K@{nJjZ zJe~QhwsW56+ym?jIzr|A-a9_BHJno%F6sMb+3n2<5<EH#_jom#RwWqExuLM<qjD#k zQG1At&&jD59<#>yoL5XxiB4W|eCx@kj!U-<82ooVWL})Q?Zu04XVzt2?&yAe=(V-c zH5tDNmG4hHb4hnL5A9I5x+48*ZP#^0r;5ZMxq7qCmCQMEEzRrf^ZQ00(z0e>t=+xp z%EoU^OfjX(d%Bv{<kQdd8vlP-C=nLoIm>i+PuM1vcWj!B=8Z`UKB!K9Cz9GVv!g3^ zpU+%J0ml?sVbgOHlGiU0kjV|Mzu1)X=1FMr^=NIY*@cTU^<UialKZ_xN>%0KN=MnZ zswe%d)UUqoG`v?)?%eomf_G(KSmQJIZ&epQtczQ`Lwoz*qkGcs3O=>4+4^?&p10Dn z4T{UxpZAgYYdbqrL~qWw@16XWbpdWYcUK&(^AvKaD|6hkqs(HKV)l&PmOs48t~z>X ztw^~t?WU-VMD>2r`b?fl6`K1LZ3W-X@0YCR`F3;3YTKFF8m6|#=ACLjyEvnoRprCX z#S0a>4{=+&tVy1qka$MfZOx7?nFrY0voy=jn09S1Xz<>c#GWlIkk)ibjrp{a?0UH% zH(fDFx0P&j0~P%gU&?%qyS-&q>(kyJ&lY+bZCn&HL1X&H-lrM0I-AZJG)wEwvG#79 z_BG;2-kkF<ckWXToOt8kB$YPigSk%&n_3(N%k_U=c|PgBoPMABmW|xc=T_Y4o$JqL zdsFu3jK0lxCR8*>9?4M_c3vv|?C@R#efPR~{%^_-sl5#3S)`!HF6aIH$;#cl*0Y<< zOPjyk{G#dZ?_65KwSDb<+a&b@<F6n0tnEMXqWRmuRco$@-<|3aYjOC;aUrd%k}D=T z?ft;585UG(ws&604bIi|rH8w<eN+F3aeYl-wEv?tf93J5v8T#?5)7A}E42Q#ZdU)^ zO_%vk9+3Xv<G)F8LZ46kwELMt-|Gu=#AM6gpP#<<V?;>qA*a<(inpoG*^qPYnr8Km z;M4L|M-^v9Zk5|z_RhS)x_igXDPnoA*F9ofv%^`#HT`A%qm_r}MT*?Jv#w93_ltLp z*cz5;cYexD;?bO5b@0M$>2H_vBNf&cl-%<={ip4b^ZDg$3|D+-wS7^07Rnhi>D*?6 zy4C0Ar;2S+ELk6;<Em^G7aspJ+D84-Gvhn|-sFl0w5gOEHu`=zuv_1mF;B(%g{fG6 zak9>$(~l0mpLoTuRgtyrh`)Q~%f>11e%uWF(f#>@)8}20o*w@i6rQqL-#fB@hvwSj z$@L$)r>}LNxcTDymtiu$o-Ny)nIOqJuVl}}_Fe4{1y2NuycYiQ`G`gOWhKK`M>ZSV z{@_?&wQbo7iJ8)iW%VU{CtRNyC?<Eh<b&^Y&7%wR)1Jq<zSYdUZ^`9%M_7cv#Qi$U zkA1n<)m3Xg)Wo0c56!tBaK+GQx7+FV$E6lYI;IIc_dl#l?DjF(SbE_dH|yrrw?ui; zjjo^L3qPyiQnHgH;ppm;^C7(D*KMbTajqAbpu0V^XiB)@{$7hKj?Q_GDJKp@p8Qm~ zF>^-Fz0XPc+dl0-*t~mIxi{m{b#F5cr^hSBd|xD9`M0RK{r{#w3+}K(^WQx2eA4?N z`_5kHWrts7>M&n)xqHlkg||HUXYc=mUzM{hHcfdgIk)pq_v`x;zTRgk^DA+(bW!5` z@ZnoP%kF@eF1#AQ78)&-Kf=9lv-w58zr2a^amP5nNuQm+F<2rr$lxC5HE+ZApoU!a z4|Bq;K7?>jd-EViM$>psOxIbb4gY<f7p(6T`T9rAblvB95x?TUEc{~ga{9gJ{Buhq z8bnH&WPTqtw_3R`agV1XpLFe%;tM+}<K^GEU%F#b^Ji{J=S{8^PjB3I`d!;^{=bC( zGT-fj6WdLHUjM#%_Kbz)E5Dz;I^l%yoATu`2T$tV{k%-3^Z9JkNoDG9Q{=x*ihK8* zw}7qLgzM04nRj|20m+8k9v5qcCapWW^U-n@kDyiigx|^POK#a88XTAX?Ae;kA3G{* zQmSXYkXMg2OTTth&8~ZD0sju`Bqf8>53U}IJ14*4!Th(L-^+w5zJ19w_}Q;)&xq&> ztlwbkQ8llygPoay;WP&WgD?XF18gcbxFj(-8`2M08XB8_*+8WB{CW%i%TIbPT{@^@ zvR1fBeTm_OQ_@aTFYj7A^YxS)vM(?Ev%W6hIeVM5P)OFKd;Q7tiyz%Koqz9RYr`Y{ z+fFZD79Cw}Jvp^#tDZKus@L6e%fj=a^_#@6b?+6pzH7^!Q$g=lmzZt4wWcL+b7bTn zf#7ccMNu6awg1dbZ4iv<l&o<4I_FaG(cXh+drj6cFr+2%Da#*Gy?6Skd#+&@=K;N? z2fJ>++{DWmoX2u(d(cK37PspgC+|J=eU;smTN`$<&)&UCG48;Qr89E5<c;fFFQf%~ z?q!($po)d5XeWd4cbS8;a)mUezY<cvZ!`0~rAuz>JlCST_jcUPYh5m9zJ+^>GD~oJ z<$X~b-KYPxUPk&>t?*qPnEPke-CdpaHUWR+TWnS>em+seYRZOCgQts|yk4}%Zen}f zu-EH|uq^*~lesFscPFZ?bDgNO;a$<XmcpqepPv*~amh<LR(i%Bh_G6;Ln`qHTe_j& ziNoD{6jQEw-D>maw=ycaGJ~IWk?ujSKX*=e8T7v1u<TeU%endC2R<kLTgm>F=jRN@ zCo(?PPKRv{9Odu+$~f(UROh4Yg*`8>T>im0+gi`<d`7FsF0&)z`ka3y%&tCPsOb3r zX#2k>cep3oD3tgrwLaP4`>N0Ux%f%x{j+%_=3Hz&6u;`zys*NfRmVbCvUU|MPM<Md zG%W9rX`jRzZA0C!K2e?`zxLG&#PCh+S>Al#`Ql8bcL(_!7x`!9x)>Sy9z5nO=M}Un zprZX_pzu$@9nKz37G^%%ZF7Vps?@jbaN3(K6?B-BJ7#;E#<QP(Q|tBnOs=l%{C)TM zvKJ+N2NUkUvGAz8$M;jId|%MD+Y-7xa`&c%9ngEJ9nN&gVY=A-ndbs?biCGXdnX>U zli_I3m0&@sdQP36wQrP*%|lf+I@hn8eouNA|G7+lxizoLKOdi=7P`q|?uEacQ`7Rk zsD+mF&sp#Bs@J(>dCjAk>Th3G###G#Ce1Nl#IEiavB+WXy9w{xI8N${|G8PNK6lOb z!*^GH|8=PH=Bz1xncrsoManm+D{MWSik|<v$IQTB&jZOfL8*y3A(^?Ufu*Ui>9MI{ zch_Au;Mw;+Sb}pS%P~H76+N{!fevn!mLvB?oq}J)aGVO7mcq{V`0mEZCehaqB~IRE zy7BS+^WUbw`nvrZtHF(1GXw3*E0&(giR{h0FT?TX`DESHT<MStYi$LutTl}2=h*V~ zVD9yd(;HX){W3M=A+OeFzx5x#if!lEzl!U?WwCV*wTq0qLb4X`Y2SWuVN`v^_lZ*) z?6h+nem{SmpJ?8`JU2TaG9pFM;m0D|HK8l^Ptk3Ns%+W5ev6=xSbw9_p?x`$@{!jx z9$P<ruk}~%XYIA9`eo5}O4EWP{$2k5pY_34f0ggQK66W-^VnrP&%dj>NavV*Fo)qW z?;XtZVmlRnPh^PNUwW&KZDY%EZUtu@@3dV_8x2=Y|6$l(o)VO4+&)|0OV-}&fIQ>d zS1Y#Fa?6-VO9Zbm5|EL5J?EC4llzR@MaQaYR!mu6CgJAKcRDNWN`{Gav}ghA_PmWp znLckgq8aYCVL|l=jYV&MT-kJ;Z@==S*d=`HFZ`6Su(|l{6g$_#$rpK+@yx1Y3oa<G zSXsN^sK^zCy_+7eJbc6yrdwsr8Bo74(*4C8hMo6wwmLsls@V|nq%1?F^q8u0pwQ#9 zQ>JC4^@s*Z6!EA|tSaOZTr11ZlI+@;A#H83(zi@_lb<xlT2pI><}>mRUc%-tC+Nl= zYn$@sx8~h56XgHw^uDRh=gKX%f3=*E^I_MS6V+R1H)&7MJ{7k7V%L-@o?eF)J8d-* ziq3v*`X;^0qp4X$BP486<&EFT&n_5yd<oA|oOS1V2+ws}j;ZE5t=7!l(G@1zQ_EDS zZxeNZSt{|;jvckLzvc<+x3AsI`QOc2-iz^;THdb?QQK7qN;m0dmKYm#o9P8DUiSEX z?!-Rc*!oB{e{+SZ%j(|xylx+EDYiJOq)PZ7zc}a8-Nx>-6^Tc9>y+Mnp3Cz4@5cfO z&6O;79t+yGFL;rC`-;@o%#$*1TizP(y5oA2Wq1F*OC@uU+8;g=x#tJBoDb(J&KJ9y zg67FwaoF2!eQwFj1LaFBbXM$gn{RbosPJ%E#iRH?>Z||h9>{0AetFJ&?x!Dg89yC) zk}4RSQ&n2h*~O@J)*>SA)Z&e&uDnR?S9@PJ`Q)3jrE|i}&LqD7{-ogk8_#{^zYiY> z4}DU(I5+L5kJ9?{=k}|V`0ZC&<LbQZbDC*Q`;K{*k@*K^@cnHxncVL)!_{=R|Eb^; z*IlAc*?I8r-r{{NA7^Ox`I62i8!;oz?KjiJyybMueq2&>y%H-id*<Xnub;+8THIXl zOPsB?!vEQc7tu<;&(Fxq*|jfa@?H+jP1#;26mKsJpQ)#N`$*1@<;@>@rs%y7_S?VO z9#M@R*<kDOIOLVMDH8+3cQytF5e5bZ&}yd4y!1Th{Ji8u=(?u0A*b_h8wl+At^G`Z zWl^q0*{!%HEsa~jja$U!yALHS={?)Dh-o6<5|Mx3CvC}im1sWwN5bjTH*d~;nC1F0 zCX8*8*VYMtwk{Oc6QAvAzh+yrK=>+?I~_s1d@Yxj-4b8ow|w%akNl}@+1-L!tM^US zddya@F6<yYeM+<aEtNdOnNOk~KXlAsXK0u+Z^2RRyAN02s0(MytY(-o_kzZblV!^V zCKUQc{1-7wJnm3+KTXZs%;BbANznPk8P01Bn#-072{*KN{%6zNyFTZ=huIGQhaG=r zF8^rDzUjg;)u&GP9=@6`{&{v|ma|s=(XYj|yOUd{zmt9?RNCY5WQwlLgH2Qamli!p zC^?pW^Gx9D2R*f4rtVtNTfgVQr^K9#k?l3@fxmCaJU{zj&(~*_`cL^6PI7ou|ES@F z@hO|x*HzrBUN12BIk~cdmw(5xn#M!yHw2bt_3FF(7`qFfI?`X^6!f^btBqA_`jIMy zNwb(d9V|C>Sh2jXc8;D{rW;nW$9ak7laDWdNx6wU;aYE(D0RsA&ZY;O^t3N;-SN6` zPgBN)+uQElNpKgvY0=VlQ;=(+%SL@BrF}EQJN5H9C5kKG&2Nhhb~4kLnlq=cOJn&S z`<WYKewXc?ZFqXJ@yz&?&KTLVGo9~k`)9z@J8AWH-dCscc4ohgSo@>cxF#}EKuq<> zYZdRgyRBd6F27hcwOd^8d&#=jUt6o!e!V$o#`XF2CdvmqBk#_AVVJNdhb?-S_P@hI zmp8aerv1p6%s06nk<7d{+Ip1cGC8|3F)(arWnkb1C9{&E)WqCkNIR`H2$H^DYd@RN z{6wve#h2f0u5*{jiKV;`7TJopI%sRp=5<}Aa@R}q)B9M@E6RSCBn&*>o_TkUZ@a+D zxi^HS>{xHM<Z`Uuo4MUeGsTZpX&6;SC4Y%t@$#%=L_WWhQ}*N5>2C52LDu=-Eno80 z?mKvqae~xR4PMEMIYylZ2dB?1Ik80P!^`rPM%Kv-H>72|zEdb|t`pTWy*1H@Z~E)= z*DdDipG)xM^xys?`OV!atIsKI{&~{1;HA$-i`_5Q9=Oj@pdvE)XxnlDAFrteeBs&o zo=<v~9}47HXJ4>+N6aIqy!Bh`+r)!(3%}TIs8?BVY4W~W&Hs}_J_eubR*L!)<?&ih zd{<tJ2#=0ndD1Oo$&lVl)v5orZ>_98mHbFIb;tCh<}b?&UmkOoUtINNuFmnD5vF>~ zb4;Jw-VpwLSl3anW*2vhf*PNm{Ngq24=Zmu9If<KIQYs&MZqF)vv!)?(YZ&|wx9Pn z#+&E%^X&!QKLQ`+m)yPQwYN80YR?(Y_u&=g(@NAb%w8<M({p`+)Vf`}H*p`FaF21O z;<eJPmCMs@OVppPFmJk>`KutS(|pCP0)s_tuL7+Vb9|&PSsYaIjGO<g<evZJlfJ8s z<fc3hsJdQxZ|~8hJM$O+Svz^#XXp2m?_XUZx923^H5G<hVekFlE(uka+^e3_8d{kb zd}z@Y?)&*iAAHdYd0CfQ{QitwgJ0I;_!VZagyTA2vmg9;@=<C3{d0zm$E5eE%s3k` z({|ev#R;?aeoOIRAyT=JW9G&`O2W@R3EH~+XMiO*1_r0SW*!VkfR%xPAvr%USs$i^ zgCRf5+GB$4S+)N>3=E3akd_cwiF1BlA)+O8R{C%LYm*P(|BBWLC7sl`drw#>V^Iz7 zgb6?H2?%kRtuMXpFl|fWrnT=k{-3*hbL{P%OCq%$7P#NO@%(e`{hxEzKKbImGaxBS z?DFEpZ}LLJww?%$>?!_PwfJ4C-M&0t@$PFE=B}B(Rxwf}RrmE8ohaeRg|Aob40g3R z{k?`;?amq231y+0OAFWR`RnZ4Z20ln3lEO9DeKal?lBc{UcMZY<?FCN?k}4H)4$m( zcb@nnUcS1jSkF%Tbj(R7pEpYcz8YOlG7@BASUqWq+PuCO+!;(<??d^#Hy;gmy&K1A zG(&H@vy;!#Ft+eXT_@ekLW`yy6PO;k@kHpS9o)|zDV=m*<TT-JOThvC;E#Mc|7JW% zUc%3KmcRYU$qkAj3ukkc37_2hBSR@eIH~WOLL=)Q?ynK6leSGwWJzD?cHnq%;Z|vh z6Yd9M&b}^YXK+dDURwW5VxE)ldg-ex7+wEA5bfP{>dR9t?T`f->(sne8P%>UH~#nF zPgtPUvg6pnooBWhZQ?20c`B^oSL@w%&Px~?-hBV?i+Qrx!-JyUs_BgfmQ9_sb=KcG zS5KdITkkOYfo<E~i48kn#q9aI`sj)8FGOV(GXi<;u(KUt+{fZ+z`<Z?Yw37$PDl6B zS^riZJsfn^JCyTJ08@+p(d^KvkHXG+OE4@oVYRAm?qPf<#1kUec3HV7oaz6*px~ux zzp{VM@+p=zJY{P+yF0~}&Aoia<+Z!6t2h3e$r_Q)s;tns?N4uy)0}x+NzWWRm+lEy z2o8<dwktrddV=9Gp(e&Jf@K^F_gXJVRJ|8-`y8Ltt*AGb6;BCvzmY4ucD81o?KiEb zn`Ro%?J2leJVhnWN8n4r-->%Xt@*v@tx!KGd^EGa!n3FP#P{y%(A-z5Znu`L*ep}H zxMuq_JF#$qP9B2<4b~r1R%P+7nqcbqI`!rg<ABx)VT_CBEMDd^@1<1;+tRmQS6`{$ z>3Z}=an*^LTAwa7AGw{+?6XEj@BPbWxz4DxN}Z20j<7K9dQvN^+toU+El9n0@`YHh z{TrkWzFBTRTvMq1$mXZ6@T}yWhc3MEsDIVJZ~A4`8;brjQx|Hox7?9%I(JuUzGv0N znrxp%%;z}$A3IFe{#zTm?f{4Ro!NqJ?7NE=3c0ikbn>1`mNh!^FyIq2U;SHgb`FP` zc9LqV-Sqdj868gJieTpAyH=1K)6c=%{<ul;&6ZbAVOQI3FkRa7Z>Mf?cA4Xm!;AVR z**%VmKFohs_RMk}u_e5V-b!-aewBIGtWN3~*PHN%?-E`;t*p8=Px!PEJNKEcHRn?1 z<uh<kc1qX#yz8M=q;y)aSj&Fh?9#r4Z!2nfc7_Bil(scZ+#(REE2nWLXw}rDt}I#i zgQj7Y`gVudg^c`@4r}tHw6@r3+&U+ylwv5%9oijjF~8GT$@0wA)+z-D{o~VWg{u4x z7QNpa&sP0-d86XOds;JQm@n{+TA$V@aqB@x>g5X+*RE};Jo<+@?6*qJpMyTLeH2Xc z<G()sf78cj#$<_*x=N|4DcsUKp1RHdefX@0&8unq&ib!^<F$77njp^A&*e(JF0qRw zf3Y~)bI6O8uUzDw)5D0^+%G4t-tzFe6_vGCGs^R^G+$J=|D8bNd#5frRA0^9;`eyg z!&5h8Bb16b*RbC%b$8%*Hdj<CJLwRW9?m6nbFPrQ-;v+xnw5W7THao}s)*|qtMS~a zUcp~&Vx6`#nXOOlO?*0e&5q^wH@?b@US8L;@3-dvqi+4V$&Afe({+C+u=!hauS_lA zi|rC$BmZzR&uZWD=sEYBA6a%Yzqp^qqI_o2#Hl)24;-&lXnc6OddJ<4$7cP<nN+k_ z^GwTG*}`fT=Cgo3!TfGU`6<JdOv$`FT#=gLkFzS5`>a>xQkV7Nm0F#4EsJw;ide># zb*e>sMQ?w7_~@D%-xX0N7ORx6)*miDl-_^8Yn7zC#Kg&;axd&Xc~*Pr4L*SfnTNKt z9&vZme8$<NzJl3}>#>vf&L$O2yKQHMRJnBvbZ4-vI-W4$#+u2y#J)Ofid~t$;=_j^ ziPt|R%JRFbjdim1UnM5y+aweiRXjd3!=vnonDOBa)oqy{qGy%|{FDfI$)vnUN|Gnj z>OiFa-u`wYv1>gxQu`PeW-fonQujW*GH0T?e$7SCi?7!2cQLpW8o6Zcte?D}4LbZ6 z-ruFb`=6^rI?6l1^DW>0q*Sk6JQWL=&K}E|IFp^j)OYFTYMCAS%dc38alQ~+yvJz9 z@+-w+-9cwIdtINX(m83vFW#3EAMEjsefBh|_(;lm?Oz*&B|HwQF8zKk!t~eHUAreg ze`a11p5o`*XjnI=N0V!p#r!3Y%4a*|c>Z1SatqJnk}^fx0}mt~^VVK4S#|mR<YPVa z&a7FP#V(`}XgPtkU7G7~reWF}d#~PudK+GD{_S&pca>ycYr0yR*0%0QW7o$^gTC-7 zNZfBexl8?ElT1xtuhH|9eM?TdoGy0P$r59k$=Q0c>xuB%j#(Byc^{7m7aIvFN*Hv= z_uSZWq`?2Ob@T5<Ho>z(6Z}4(=q=VWIM^L9v#n%#;C+t6wy`Cj9xA@nicmIuFWR^> zcjE$S>&@@GxBi}3vc<6d?Kj5f&$%{NUoAXWX>otvuApbf`ID`}{swzhNbC;2v96EV z{Mg(s<~83swx`^?@$$g_h@6YBOv)mPHYDk)MRQJCCcA-MvF!*;0=uxm?h_A>Irv>~ z5}M38wQb|?on{L^n&{s!Igz(y-lh}gZ8O-b4<?-4FqdUd*;jFc#>KzRGJVl8G@9_u zHd5}ZuSbyDr>CzcipJlHzolTFlF)cF^}sK|&CB;jP4Jso`|#s^j^2B9Z+<@iaAU{n zmwQ&Hhds3Yb$a50_u;avXV}vd%b!%=yeu5Hd589!`pq1d?(R@7xMTm$dy>nWoat`M z9|^AyO<J7R`?PQKqlJ7smj_oJS6OfJrBL<w2bL|nZF5+SD!3HV?!Gm-lJcRj^Xt8^ z@`E)uuOv0imuZ@_?rC1ct|YZR?Y@SqA|~BBc`>7U!`w5X>NSkNS?`5UIKE@rCyowD z#kFg~=YN>pQu|3i*o9r~oKtFLf??}j#hPHT)YwD+rq%7vIPz<&2(LuB?4d%5xs8S& zc@%eOyboI%rV-WM<hn>!a?10dV@eBa#Z<+ZU*5iWm}8^d!BcW#e<C*CPe1ndFo*t! z9is0Ok8iNidbaP<^pft^@7?7LT5d4w35(dDmd|UQTk_>js^G4;t(j3>rNK{TFrWS* zDrmkvG5PbWr)dYSe+reG_ipk9jhe#?|Ce=6xjj+wez~NO;9ber=a)t9HB9X?TWS2Q z-e=LSI?l|XtNVY2bnV<ychs%2t##p_O7{FaX=`RjuYL9Y*$07VKl(!E?B46Nnnfh@ z)$L60Etf-scQ5M^OW>-Qz4oYKgWPSc-nn^yr~N<n*P!}%a`=WbYj-MTD?ePaNjt&X zL8*^DM|k~r?JIwB^}83=T(|jp^^ROub!%1eM;$w!x~BDVE7p5>ul?@MXM8zvw$G#m z6K8Dq>9I(@#`TF&^4mJ+35wfx{A0ftw5aj<r@MzWs<$$j-DrNe@avqy3!8gS37oy6 zGn;A3vNrRooUm5kt1W%a|Bfzd)e2Gl{ATN(v!PktwcT$&nD1&3Ty(3NL2S46{r6I3 z>E2fp^RrmpCAIk`Gx1l2YJLC0A87Al{a)nLZolAb-Qpj5Wq%%d@XO|MN&Un?jso3~ zKgSMd%v+ZDTC#nv=ESKNKUaA3{r&Vd@tx<i#?@Y8zXWz~c&#ioDW%q_Up;fWjj-B< zK!xO}AIg1fMQY&|+k}tXzCSOktamCj#+2{ngViy~Mf(Dd+*>orCgIZFAo0BchfH>~ zOMbGEzqR@HYzdC3VmCbe<&REf^SpP>EB^Sef>_ygx(8d2hnQDr-N;hSdR4XcT@hn- z)~m9n={ZlX1|;>!98PKTSZLu@Z07hQa(|C{i^8+XBHKGZ?3is?=3rrAb!>)G{Dp~~ zRh7n*RyOC{4-+wuzLo!Bk-_w<PL6)s+E&MQZf9LF{n~Nq_v(MvziJ3qkgXAUzo&Ud z;8VBjZ&qd9pK>z8VMdst;RF3<*Rb=3{}$*RY<-qAO`myh#i4^=<x2it);rT#Hc#ek zL3kQBd+kh_#X*)Y^h$aJZ3Xmx=;lQ&e=B{d!lvi!3+d+gj`EA`TNZ6sl3JT4@NVNY zmN}cx?1+qQ;#vJBPBDdDP2SDAb^q^M&kUk74J9ME#n)_~Y4-H|W|_L^Bc0Doj<H$o zvAu4-Qfl=9X<?iE7M&eck9Wzglo8V2{{Ep=v-`q_uZzNdm8w}dA3Hb8LMNl?*wT2P z<;l&7?t2gYf3W1UhtU^thTT$093leS@~gFWonE?gf%8G1d+!dul8BpEcmIW|)Fd4S zV~!;&4laMY^zEL$OB%cOg<aiy$;52()|&9^q9-=5oKk<-fA*|xrMv%R8aD4<#H>F( z_<#7chj%Y5sV&ddyKpOfy%a-Y{{Be}XVzIn?6~-@TlmkddxiP4Yu2AT=b-8DUJqY< z#lWDLVe5g^qhjD;U|`5i&CSoON-W9D&qL~2UE5&mk=f0+O^=a*A%Ka2K^aY@TV_&z zUSe``rY~4~Y6@fwAUEK&-(drRJ<qkDwIs>ab_Tm@xu`DjI?yP;LMHvTUePtxvISGV z-7oaMwIE1-&E1(d?_Mm}SrXcysxG_wdi<A#x#_d!w9a4o$Nl6VmP<-{FAn(mafr#U z+NEN-sq^&x6D&4Ga^a7y8ErDXSxe-$S_K`;dT&^nB(IdcWjULa^~aZ49qjY`RbrGg zwjGXN$h4Npv#{)4Yi^ZRN7wI3UdOY$QXP%YSk$XdK9#uNO60^hv&OD_+3Pe!dyKw> zG(G#M<5VumrrVNc_IA5Or2pCn74Mg=FSuI9+?pru{k*v_=!2fw5f9zT?h!8p?3<R$ zaxPwbbouJs#yLspVj(IA#8mdJi+J`@<Yq?w=E9D%Y%k}Zmi_kluY{gn-@Pb(-Sr}i zSQ@==>F#<P>s4~MUo&U2Jfb6Ok!kC3N?!iLUS<Y{R4xVvMYQ1dNX*U6%u7cN?5UyA z>n|Jd)ZJhILD*#Rn^P?<=lXVdDHKj*=wxpRxK)|nXeQ}vWv2IE);cmjnq4VstID_Z z`i-*gPosk^PF#2qs8%mipuYLybI14Jw9lM(`SmQtJ1cii$*C8@jhC*8ruOZc#&_)S zLx#2w97Sh(e>G~~NKEwPNaM|GcKE@Q&GFuDdgZz=ygA&HCvdzuR&#xU$?c6Zs<u`y zwp_i>KIdbelJ3l@k!hC_oU>-iuGzG~jMc`loZH9y+exuw%#&*rmA6ix&#bW8C|Q{E z;&c^n<4oN>6)V>$XL@}*EGBu`?3R7Q@mJ4U%M2}6Zen)~WOyh0Dpdd7)>DguTh|>6 zewnf*TW57-wq5>N@vAW#THC$e>$LJ!$~m36EV?dH`LoCMQ~Z0_BR*ATiu_m`!s;e9 z?KJ0~U#up(+c@v+a=o#()@`eUb$Oyz%Lj(7-*&kdUv%kksFXUa@~25IP3&g7e2Qwu z+n)|K0(K1zsS4%gT2Wn}cC1ZHT9P*9b)@%<kVBT7&sFAZZ^=}RnNZ+($kkioZPJCV zefnQ&Q}5>mE7VPB50AK$ppxv7<YCRid?)z*q2?#w8|)l%Pd904Xk9q;Nvh%B%pX^U zOpY4rJiq&NQ4|~h)N@~j)O!8OEkB=TJM^-$vr?qR#cRTv-PZ5##)j;EZ1}-->MhOs z_%|0f1zQ^Je`$LvRb$aIiICNk<fJDrypn!&$&9QO%@g>&+G~|A^RBy*zvSANgQBk) zzH;&$y|jbl>#>7hm!2&bjDHb2bC<B$`W`dh#S&{~+clKGunYSA>qO-5FP-M;%V$4Y zKSkNdcvEW9#l4a4EaLM@5Bnb|e`@yr$F7auj?boDpDvpAPh*4O%~Nr90_rR72Jv0} zGUv^{bv@3rzs+;5dJ%Ki`N6fEH`Xyt#aXh?w6|5c<d-wtm(we4SGyV2Q#QAn@#;|y zGfw8N?6&z5OKT@MMP+T&yc_7ZIk>gWXF1P~?jtD{X<J^beSi7WKKsOZ`;Pp5&0^59 z{lzJ#=m`@vUmqy=&GWul?=uTG_tR^VJJ#k`|J}%+xc123J$JL6+uw7lr?0*1UwP6i zvE}(vukMb+n+xAqKA$^Pe*Siuq!*taY`c}c-swx(#`71}iQm_JHR0?#--HvAJDfGw z-<#``xkU2#!!1kAuFf&J{AIt~cC8A<kV(!{4VJc~ujH8Iu}L@WXj$KX?(;?owHJ1= zsl*8WQ<~<cZ?<;BNy}-+RQG%K`f_MX&aTkutuNm9D&XDs+vjKQDZTUU=i9@5?JRzh zhaX&-UvANNiR*T8+`1+Ao9z*K|M3P}kD0n3w0&3@7+QH47^KkhzIR??K{0$byf@5u z@?`^_z0bp6uy|_T)svsjcQ^6DkpqVk({~u0>6^V`?aJi#8#lKc_*brCJzw{2!Hqnv zlb0@Uo+mX^d|AnY3om90?dSWUaOI8NujN0*J_}F3Co{9<+A&V`Ub`ZX+}OycE3ETV z!t4!7KLmCkT9(AVUzwrXDUmJ7^<vYUl|t7JwfkSPde45MfH&;lA=W*UXY=1WxT%m~ z$J#9uxToh?3p;4(9I9TNTVv0vzQik`lKJ|FGxakIR~5cVUzyaG`RVxQB_HkG{s{-% zUNxmk`2OLuLMP6yE3kOL`}7-khjUlvWGzkxv4!(l3f>2#=T?V@D>!_d9O<l>lKFF? z+s>O-+)n8Z+XEKLPEXq6K6BBD%`Ww=y-%5<1TH1!-F}o}=C<&HY`yBgH7T7N-|S+# zaq;e*&Jyv{&nk>2f7|P^ea6Ab>O7G~E;qW^Reo`Xe7NYoi+S-?#ulTh$F(aszOE9n zy6g8dAXjVZK{i<q58tJ-)6N&_e{y=bW}(fpFDx&3nVDwE^L(4IYX9R4nl|mP+0x2W z9~QlMy!HzJHO_Wk%bhpsQ>`8=YO}0fuD$luq+Z+PgT+n}F^7vR+wJQc=H(^$ondkL zDiAnng6)B%dm_(vGK9I_&We72h~>EH-NVgGEO$NUe5=GTWBD!N(Bhv_MiY)4{?W42 z{ZRUA;l3)nnfHr>62jdxEh?D4+uT^NOHQBPNMh>UE?b@cye0!P_C=@n{_Hy3^77gV z5lvB@l{z-B+s#Ytvv!}qBfmS+Y(bmih3B@9vPDGr%9gpy8*Yh<)9b%jv9aP@YTunN ztA8$edMjW1)tjR>A8#d}ToQfjP|1q@0t+`^&|<B4xYoyYS(Fy5Yvv}cqrpcjd!NjZ zUL~Mn^x%C-drX*%Zw#AkMJ_}4<N1?14(V=5JUL_9#xwrURhInJXRA$dzyEs4-HBU7 z&+whkJ9+u(jjh6`CtiEHVq@{`ViuuCLb{K6RFf<hy}FiRe9G(p7uoy``HZi=YtA^; ztFtHR*y*Q-y54-hXu0TxHS@a@QIgMn;zXTyojcF=-`-eik{AE)y*{bhA13i_5jP9l z9Akd-mD{dF=D-lo-|8KCHi63>Ym2Y^_?ocipJlwQ@0r_QWu`S(R@=@$%<^Z=@08B; z4_QVJeT21Ui%)eved|r#2VckKD?PJAo~ke=FAi8$&A5WAfNkD2|Jq5bm3!|=mWC}8 ze^PnHEkavv`q3*d*4Q3;pR2I;ziYaL^^ryKy3=-D(C~_wEmXJnNyDuv*6VIwwvrF9 zdRF9cdx_e<IN?6Q#Q7C-W(wHL=l<uJy5D%+oFk8VrfKFI))gP&pY?4Hw@zu5)$-4p z5#@UutV{0a8RlR8GWV>$-`SH#!<WqnI-9d~(~Es;lD!_dN*cG+Wi6bR_j>8+sgqld zKTkT-ec<M`6=&S`m8(T-m^S|v`Q~$fq40&q`ou$z?JUo8?3Z{`?Zo%r+U|E=4d3B? z{f=L%({3)z%sHGUw|GCI3}WAC>oM8F%HjYk1H)xO1_lMRGAJN1IlCyaBp|V<I5RID z($?D>?hQI8Vc+}pGlcK9n)q_Z2srLhRgn`_D0Jx9b<^|Fwb#7cw)-~xDNnoh&2G{* zMwJ%}U-vw>y?;Y4QpfADL*mMIubTLWtpSJEpPc%{JR&Fe<xMuvj99COD!RX=gQC+{ zF_mtfEpunz+yl8kEZieHPVN-!+jndcqxtgE)Qgw69v&@9ybv{MlY#LfjTXjb6ZFnF zW>sXhv`t@n^5NCZ(~nm#R=%{^!MNwvN&eQ}%n4#GT3)XirYAkR!qvk1@<Gszd2wd% zOnDz{DO!`;$Cjx+U06l6ZTs4zbEc&(Ew*qi?_5zUVX*c~3-2w)f-f3H8p|CrCsd`~ z+}XUu#`bV$bF%zD!_JFxe>{X3x}7#Y3l<VMVjP&lWw%IkiCC9}+M%Qc`=S^48FL+9 zcy4`i)iSSc>z#d}spUqsQ&`_UtI|uq6noS)r}S;3(Jz*+Q=P%B3O$0_=O$>M4~#Z= zp|yD8rd_MF7Z!9b6SG?IzyGPvbhgY=MIR5Xo`;;;KV@`lJvYxY44wA;Ot@}V@1?VQ zH->5d&iYZ_cX`&{s3o5mZKiGxzm>{AOX9>8{%Ks(f-Or_iv@CdpVWp1??3cI(85d1 zM&@whw3zto-!rtI?m72Dzxq#3-{fNMqF1ulEcKL)dc{36{a=K#U2;>5=2%)IooO*q z-KC$g=+Tx*Qk7>N-JXT7*(I#i;~5jB(K7o?bNs?xJi%u!D?NU}Rl%`o_v>V{soOU^ zYx$BOc=Tkg_*&PVBQ{@H?@in4vFqqjR_zTMPs^Vyy&`^%vwdMzw|eEhwXqYjw9-FB ztMV?h)O*8i^&n{G!L`wfQ;yE=;&jfO-+5A|_*Uc5jT2qxOWfpT6K&R*nOac5z}4+^ z<?eg~^~v|bxgLICoKXIuK)yrz-G}}q$=}-6%rCsgEGr@YQqrbLaHr72Q!<Y)9G85Z z@y|l}$Ugq|*<#z?O6V+F`fdI0ow`3uyX}t&Kel_-b~iCr{VZ2NWKYpa(_7WQU&ozi zWbRh<n4c(rJLcXp>G!>xWPc<|*LTdn@8<dBmWyY?8MA{<>k6(#bo{bTJD>fty+YCY zzofq50*)DRFU*zNB=cH$jQ<p$*)Y+brT2TsHG`Sl%#Q=a%S@-8$?y5wE45n0T=n|o zir<>kW45XFvnYP+5qeq5l6UUTvIlma8zt;Z*$O(Rc%98RykXB0erU-R@r<y4oyV?E zSi3BECrc({cWbn2uJ5jO?dn|Vmw!t;a~v<>PvQNv@=y1Ra;_sDb2oC=+&-|Iv*cr5 zXUyxq|8JkgFMO)ESoPj^L4}R){>~07YIFPWIemrNYQ??tCUQ+ub)3^#n;A7_snbGp z#bdLM2}-;SU4CimbeZXky&q4wBzNoB8q<3p1YIv~4mfF*T>9nD2}dt~(?Ufym2Kur z^=>P$CCDm%VcvD#B&Ft??&qi6ll!-wym@xwq*V*o`swZ}zdS|cim9jcccUFs^8Phe zPg|Q-^TT#m+5Z#M>*7}3$!onF_Qh1}<)+>=(doC>>75LXzaM)2r7CmURo&lO6=L=J zzvpeqzZHJVYT;awbN${A%`7?V<~rQ0)oW8vsWCa$o-e=jt?ShzN0wB~*cw=<{^#Lc z;lt^3<kNh=onw12@$ehnRT8P@HhQ*anl6`!On-hOyZ4H<O~b$P-8$CN1&e!UrQcI9 zJ7b!Dr2kpL^g9b}oV{ZgYd_kVsG%)xk+JpYA=TvjZjqNA-bnUOV-`DmtL12Vj<n+v zll03MGmiZGwtTTgU6+O5)Zl;>>3MwBzs^0pcVTnwBgg1ZHP`q~A8NW#*YufV^>H(y z+tP>BRXA3K+G@2s?vzc7NS|@(`=7nrub(-4rPHg`P=MurpN+vn#r+YD=FdfCj{M$k zxBlz9-{IxE`h`~iT`6X`Wb?!8yFHto#Ck)EoL24HcJbQ2{i*sFg|p6U7?!9DiND%& zZbkD&h7}R+%sZ?b9u`<Iyq%giJ0}191YgzC6)EedeRtn(dgo#Ov^A6C5vBjn4YnSe z9hg6VWoBUL;9_7<K`Z^kQ!~>uN>WpTlQU9NN^>${H9&2cxBqPi0Xy^kkE}z@e4STZ z;m!(>f7Q5(f8~m|jEY-2)l*jNon2)<;lii;*2(MNs<7#$l$XifKT~5oqkE|~b5T** zl-av^@6M<xv8)LA)7o`!^4?p*lG(8ajdSl-C%ksvsdZx8dS>&z%OVfxKU(d&;7!i9 z1w8fa4eFCmU-UV8q~n;5`Mt+qjDH90WtKeq@MmA&$9e1hau2B3F(e+8YvtVRs?C&k zOxVui_2kovO%H93K4EdM2#j@ml@<P7`+4Upm;Wa%df$I<ex-lnSLn%aT04)NWcjql z|Kg5A(e2UZ9IrPVFBQ|wkUf!RxH8t7ckg-ysdjdDsb37sbk4Hn^<|rX-Kt@jl#s?P znwV(AQ)7_o@Sv$}#^%)h9pcHxcfwTrw_O&Qe`N9x)ryzmsR`VV(}m)NTC|O|RPSw@ zZS`*9pW4&m*QQ48l@1P@U~tg7wPK#h%=iD6iF@vve8F1Bd)CgRotJL3M(UZq*;C>= zT}0U;Q+MSn-rZBzFS-7J;afnmaK$X)JWCz7{sqz7F0i<{d<^4`z2$gRv$QJfx!%La zY&oZOe03iN7HG-733BLMlzMPBXWy?p?F;fzJwb2VnOv6X-d3m%^!g;_Ue{8XY*Qa6 zd%xl74*9vc=cXlnIkaYb<&K+tXNy&`Q$MI3m6}q0C{5t4QPi(~qo2DIB!wSZ|NHBF z$ik8J$dk&oKR#*rF5b!Yea+JcF@DFkSx*0wepFTU4xiwIQht>=eK+b2s-|%i{t#-7 zX7*5g-LfdAu>9i(A@|actD;`;EexK$Hce4UIq>(RH(|5eKRkRPkuGvB_3Yg1hq}2% z_rL1Cto~8`QPz|2VE>1=Z3Nj@PSePIxKz~rd=uxAz{??@EGxhK4L#e`dfNED|MJt% zjYav*cJ_zfj@_QSxwmTVmzz1|#lj0szkjt8*=8P>_-f~ZLmy+8#Jou~^_ASZ;nK4U zhpz;zHTB%RjCt*rg>kbB^EX(rJDa$xrp{dwky)Lhd`mG;b$8l>=*?06&vz>>Rc&rd z7ql#>=!kYoG*fsfJ~hGmbhxCWUc`ixS1e;VUmq$=KU{2B9T2W?^5~t8D+m8STe`&a zsoQ*)^DGuSpQXLjZfe;2-#6^n`KQZIhPRxI`?xyu#-%r2YQK8F1-It(l=j|vbaY*F zqWI2hyX&(|`;NaY6L`1d{*~n?E?;@U@HTblZtaUYr}yXHj-1|CcWA>}x7Cu*!Va!= zx-ucyf9d&ydEF&8(oJszY?sQ`?|u{CFPdU?W8TE?_E+{qPyEQdFq}2C>+&r@le|OI zCa&0Tx$9Dq)f#*Cq<p2u?-ie8vs-0tjEtJyZQW)c|1B%-wsw7M#W$XcYgZm#t>|IC z@*_TE_OH4R@&VqAO!myU57mN<FDf)FX#}ybAF+jO2DU?9Ksp&1KxS-VMLF^XStGWc zqzH{2f(#7U_mv`>fo%yo!i>qXSQn%t8-Q&sF2aD*3JeTbR^}obfNk|2!hl;U3|QCl zA)A10VHUy!M|B2<;1Z-|S_rM!m)JnG3N*ZR+@#3>TX2Jja%@X(AX-4tbrq%sbpZ~t zo!G{pAqIf#WHm=0kw#dJZA==X6J)hMnob-e)Ci|=Fkl;XMHo2G0@W#4$6%3-!#0qE zFm9F&s&S~pI>_c=>x?1Hk#j^f2V2(+*)(jGJHj*>cU04GRrLYhtZX1%{0#gI-<TN~ Ig1tdJ004u9#{d8T literal 0 HcmV?d00001 -- GitLab