From 2f640fdc68c3f987890c18987375b4daaa855097 Mon Sep 17 00:00:00 2001 From: Dmitry Boulytchev Date: Wed, 23 Sep 2020 01:39:38 +0300 Subject: [PATCH] A fix for https://github.com/JetBrains-Research/Lama/issues/11 --- lama-spec.pdf | Bin 259238 -> 259673 bytes spec/07.standard_library.tex | 4 +++- src/stdpath.ml | 2 +- src/version.ml | 2 +- stdlib/List.lama | 15 +++++++++++++++ stdlib/regression/orig/test06.log | 1 + stdlib/regression/orig/test32.log | 2 ++ stdlib/regression/test06.lama | 1 + stdlib/regression/test32.lama | 5 +++++ 9 files changed, 29 insertions(+), 3 deletions(-) create mode 100644 stdlib/regression/orig/test32.log create mode 100644 stdlib/regression/test32.lama diff --git a/lama-spec.pdf b/lama-spec.pdf index 32d3cbc1f50a139370be1a4f637954ed674a4d65..75fcbf8f8c0a430e9b98bfbf3f6d4b4e35a05403 100644 GIT binary patch delta 26553 zcmV(^K-Isd=?~fL50E7RIF~?T0V;oeQe98mPz-&~ukd3c5o7!Mem(NJ4>3)MY|;cg zloCp%l|oe>_V4H1wh$1TBKaoA$M(tbC71!hr;7e@vPA+05sywh1X0WqVY;ZED)c40 zJqjf3FqF>}P7{4OoKSs$HV4dE2j-A*>M$|`qjH2*4|ji7_ENM{ z(vGAYcGdoA_8^2ISgyMRRz^+&o(Q7~bhmI>|8B0kuf|McX2z5pD5elLtjU&@K^VOw zH?ShwJR6FM-G=tw&i2_JDWV|6j|5?=7(z*Dr9x2?26%d0Xi%F5 zXka4BlfTL!5;D=O zWs-AX$%R7iIR_W#@!@%VwM^~E)d1z{5m^P+>E(}q5L6$pGMHY3(#Y=h<1{bE(rfQ& z11PZ=YJagvURG%v>oA$nv2D^$j!*W}NRw`F%o-Ipp z!}j8TpKw&MWYUNE^fh_kViARn8TUMOliOJu%$%nGuuIgBv(>BF9w*skdz!3uL;8g- z^$Q~K;kf+p;KIY!>cNBO%H~TNSaFk2xjNA7!75u`c&--oY4ZBgN|&Y0PSU=f^fb#` z>EB7C3`KU9?mv&m>7w$M?7=kil3a<)C0rLgmYUnT$|2UlJxlV@q}2_&_B-9ra}TMG z?nRa-Pwn^Jm&VoKcc|(ZU#8=>50{{|+z6MShjHf(5&B_ulMyWwv%@*>{sT5MFq6?Y zDSuf@Z{s!)zUNo?C}Y96llq#o2tQJgs2 zJ@h1*9uJ2z-#45YtsPBMpCMU3?(8|E!Nw`?*Ws` zKiA)bC=q>86(SZg&{PY({`UOm_1lZ(ihl|mNVHrDiGvU8rQ*T)PjAjI-q>$``0mxk z`Nfi{;8&yc3_Dvuy9yT}XqVh*UlGX=XL_-s3Kp5&Bst`bDZD34j3uP8B*~(xiW@;V zUMI-lR8lsAe_(;f)G?%(XoRvcJpxgsdTNMwmZ|5^*(<@2&=Sr{k>tW^duOfRgMYiQ z3L^6egDl-wcA-eR6(^JCRpCjOOA-e0)gg;YyKaObB2>#@eH~k&qL$jmWnZrf;w-+2 zbE`TGQn$su5n~=up$~@z_o*e zv}*g{0xZ;LfM*X}@F{gqA6)jU&jP1^(%o42L5MQ`5E!*W(Kw7GZ_)U2On-+$A#SbN zJR=mjMubowiod11I`Gq80pMsRg=G+v686BfG+{EUbt--d@0thus7m+AU401{LH7&M^Oj)oRb1|0+K-j} z9%AO?qkVJ163%A0gHN=oj&FMKBaJzvOAvv9$L?1^8>z)vH62 z^qJT1_7ofqx;=0)hQ_uQ|M5^oo6Kdf&7rA$#`6JwL?(!Dc7N5~&?v8E3OgQ~bnpZo zGDPK|n|vsdwb?i7eHc9c8KF~-_l z$Y7qP$B#KA8Gnp9-p5ThQZ?n-WdT{b?fsixW5UzX{+WFoZMUDv#|n#?GD#8gSrQ9J zS`FfKzTMU}lFQ4u%@7l%yq3ZFi70M|Ntewnx^Y`} zCfDWAYL`Wq@kCDnP9%@W^1xpxgYT&%LL@?ZRAX@;Y4|K@=qzbYFgVj8;#7^2hR~Tv z3o~g|$MQvXPP7v@+DzPt;|r|VS=pQcA>=VG9>JH8DxWW~mCqM2##u#s;PWl2`2y{O z>J5vbSAR3(0I!$0{}2><8uj1N1%k*p_4$(KNqXCKv=FWyyn$S_rOel(ll!P74LSU!v3i z8VkJvJD)r9x7*tdFX(eF#GsKMPI=vF_n?3V0OhZb~`&Cx|x^n8)4igbsaz z8cHCe@06hPD$)7r2th%fWn1zjxtI{1jqa~MG#aLh z?Sd}8d-sp~cVB&EOf4L7n(M{=X2GZ?R=b6^nlNq__v^*a2^1N*TPjVH|Nii=`@3K7 z|NYfRPHAtP5=2@Dvw!*l-+y!e;h*1r3LP00y^h>c0;Skd80_4u80AUToul>I~)BC*7ub zQC6YF&z)`Sed=XgEMX%~O87G3lnO$f(yGeNMTwShuGtez2U||kFa`cFNq)zY!=bLy zhkdMprSEJ~uc|uqi=&=)`Dz!6Wp(UN5o8Tb5A_CHHtk|hdA0L$(xHT_`W)scU|)i& zLsNAO--p;*mrYArh8o-vj!qAuKKwex?STX- zE<7crw~i1T6nZX$FhV3x=N!~qgqFGtn}_<<@$irrDQKq*ZO2V$_=R&B0mbCP0-&_? z9%LOcLN?I*v8>Y50OWnJ4?Kf|=e6T-`mbRnBa^&n<$ta6l?MsbzK2RB;=aMIMG)&T z-Pd4Vk0Q>%37nnSK6iR{1Dp~Ko*(7NiuI41E9FNKsh!u90vBz4)ceX$0d_B0PEjI& zEPBg@ZKcH;3ubm%!NERiu-L88k`l#?xMqt`w$tV zLOSH&OKB0ld4WWm?(vswm<2d>OfJ3|`GB{M7=Jk2SAd4&fD$@?jg<}OZR>;QNbEN2 zhRzX9hgyDiqY}fEas0Rx69XNKrZh})eRfnjCz3LbkNjVA>Zx-)b*d=v4! z3qKE0NpSd1n*e1LS6HCj9iQIT0*7f%=6}ZAu71Pd*tSC|{nTntItN0PtL!Cw$EJUIY^>!O@18t`eGB0CD1=j@4#V9gI zuSA7D4-5VZSoqNE5-whUR)0}kXdqTL#D#autgHYT%-JO0;MaxN2rF7cnMKzawPVuz_OeJyncgo2*Lv&OicqG zVgL_#{HEd4@tT_td@N|*-A-$`YJU~JgL^qvH23npR8iu1ZRz5{OQJH%3DtU_?AHs6 z$pN^zMjs0_3uK}xA9_%9yv~0Hju-srO`MFu5vSdoT;Zp^j6)o*IJ?%%E?nRK8ZSHl zgnr$Wn^phGi^*J! z(1dCIw+T0uAj*w0I^Sj0@P7uk$GwF6b$xhfY|`GagBLed@B4@b|8f-!o*j<)A8Ch# zpUwMFaPez@C3p(#mQkRI4l@`=nhP(bjDN6^k>6koMX1S(Q(c9s z?x`3ItEobV#x9LRi#9tMlbG0;<&j(%1R6|?-r}oWc+8L&&I-60x5W8Vy;@D756GDH z(lReOdmq1KR^<8fdu)(_qc(R3r3NUzpeCt_;cBqAt1u9jFrgIwGXqOLoR1QH7SG4$ zE*UQ=LJp#N{C^$Zx}--+0|zjyHlyPPX2L^5UpPnc?StQpb%;QkXC&QTKJs<#-zuRk zq8^JK>Z52rG}0GtBoN>m*<$2ln(uFeY}+Y2pJ(2KO!vS!gIdE{t?g$nCUBzgPPa4j zXl*(Y+s{5v@oOAl1b_7eW*m)+MHXc3p$OUOtk=lS;j-TwjSLLSYR zut)(Y12Hl%lhHRQf8|<9kK?!%zW1;2++?84;UH$VOG&BOh}ltsb6&8F|L*JY^4tloY`Bba1PNLlUD{PE6g#e=0T zlU=%i3G>VX<^F8duGBlXMDKP}B7z|p;e~-#Rv25fdMRuAPh9V-nV%%wA6uFVr*h*IU(oMnU`%UhxQ@OuS>oi%r zb=BG)5o{fYh%ycXg5ofAGFsbN;GR_J20BlQeO_t%Rxgp=!W@d54Jg8~r_Fq=-7ofe zTDg&jOxvwUP!=1%WV=f@X_bDgA1#Jnpg#_Q<7@zJe^nLro8~OAD9ef`H>?VOs#>Sc zp^_p84ozjSPrORGej1Uva%bQ8BR{8Q<#~pKBG)DI$VPI2tQ82>q_GpY+UKJrFytmR zoGBRS?`5U7ekmZ|F6AMT?b7!+#PE-dlI9qRW+4Z%#vUf=FK(ulIX1(gGd07)YLu!h z{ayPve}*gm4M3l(%uR3frbvHRRa)eJomynZJTo3e!MA{lUb+|QW}Br+T4gU59o)x7 zRYR&+4YJg4ZE;OEderW-*m?+OcX@{0jrLbB|YJ`+z=Ccbf}Q z;}{Vx`l!vPF%8rQ2Tx>tp8==#eP-&A|A`0^e^KMG)JfilqcCE9=VPVTbaB3*+V66& zPg?nbBZwnG6nvZ#@GB)iY8WC(@UzxS?KfE!UUTaf>=lj#xa6=;mEJuy*sN+7rJuKI zlj%G6l<8G9bBZNmJdj6D5;z-bV;HFz9@z64f ze}~dXS~q3vYvz=DbT-|(Kc&tqe@D%dV%1&qxX;wiO#n9j2L^qBC?vQ;8^Zy!Y%%H` z4pG@e(guNKr&XmN^dpEmiPYc>WyA*|mB$vPQX95#=^Rocx^p8U#KQ*Izo{x&!^LZm zYZtN*g+g?pyK`b(Sc5_D@)()Q%{Pe*e~jx$2X8&4i^tr0XCLY)oP`Yn__IokyLHZU zo%$=|ko~%ckiR`0gl>B~bTR55P42|lDYql67k&7Iw*#OO_IMpXd*4kCUS%BvEWD+4 zohU86$5}O&x9ipBwqZ3iLCF8MhwRAtpc zX7aNxxf*At;PDY_OWbI)IK*yoe*;GmBSL6DNipmuv}HGp+iK7}H-)Wx)mC|>n^MCK zn6ap-WL#lqUM_U?q;>8d4&@vS12MyE(`U;cPy$Ihh}x=-8iy31hS6~kh?5lP^(e-< z$)wGQ&L?N7fBXL?C&is82IDR{&2t^q?5kc20u!6>!3!|r9$av0YHPnof9r_Ngv}%H z8_b9?YMF6yWoJYf7CIjnbMLUu&Bqs)$%n#_K_T$3b()zxN`!}{8FAMavJ@P;&5c2n za*xh~|K@XJnD@~7CZdQB>J$qk!)r}2)XB<$IN$z+h6vN<=x{|7%aXD3L!dBjQjVI2 zuzlr9J|n?ptj)R0y$dw}e?Fy%gw%sC+#Yo{Yi!c=#1=1aJ1qfMn6m4!YTJQ$P&b)3 zud~V4=k)AHFdVFP2b&^SOVgZs88aaVW0P(J?m+8+Lb}atpQe*_ruiy;t_#B`?7BT} zlLx=;f5x^9Av`oa--TWkyU|pMnZ9GghOfSw&IH2;-L1)pBKD>Df7@6hPNROR`$PU7 zWBTl?fS0_;UwossX$2kPp%h49KFFy~YreFuItm*j{&7rZj5uyx z{;JZWk|;ziJ`^;7OA>Kbfpa-?j`HRPB~r{fA0%$g8=vlc2HuQ^c>uGa&7a10gecVF zt*S9ffNrbN#!>$_a0 zpsN8>Wlj^A+-|c}A5#aCCCTNr=pL>NE#%z>V<%m6pUhT+1-%rl>HqGNM3<|5mff~N zk)^BZOZ%AS3%H*^_3}v79U;o2>#wf;vRNbP6V@hwA2vYK$Gq?$`-xgjWv3ta8z>mZ zVdMlw@)8^ue=l2AmZNzlK|-?s9VEM@c>OWE$Uo|xX=76UR^fmdmt!QI=JCxVjW6n;S{VdSiI<3xVV!bk>xRv7(18(`n%3NE3Eg6!$$@bTG_|U^%$&TeskQ95;kS009nQvyuG4W(M!INLE z-psFF-4Y@u5sD<0lllFGV2QMhCQ?g8sG7_dlfS2yMAtJR@$|2Ezs|4!ng90cmSWtQ zCm7;7f>nRrgg-vaU;pWc5zIQnsKyAWFpNcZ%oPse9DXM=hBeZhPG(fW63oxK&5P?9 z~}xR>prtQ-l|OmPc47R5EuQ&a7VtQ-{M z(<)6?PrFT8tvt;KB_)a?+-mY7QSkoE3@f^aMXqHP2Yby3Q*OcvmEdQju@ktLs&z&0A_m-{u%6A z71w&YODc;Z=E2N5aA7Tq>hArKS)R@6{KS}3t^dKnf(`ouWePD#57l^bCpI*+J`@}R z_$EYrL7qwfs3wWP=Ld(=*0X?P+kY33JUWr! zG;XBXe8u|&fD5Z=A6$Pr2-(P?{N)fno487R#X-?QIM_-L;d^3_x>NwaPieL42teB) zr-rZ7in$t3SM}%fM*u~|r|+8^4KOsJ+H#DyMv6BFpbxtw>BSF&W0E)vK@Wf9t$(;z zaMq|t)hiQjTfy&a8s;O8sSl$KPNk)krIa%`bU1@AeAh#~-kBSlD?(wyPw2noVUA?O z;5JUzgNEQ|omWj!44g9+7AL$}kxt^t%muf!24YFR9z6E4G0^DRB^wVBT2-*av@7*Bu1o4a(mORF%g zF40&M4VI5D$=V-WS-Ll7LW+x`Z=Su&ub90x#9yUD_Kps+Hxn*-+K;c*d-_NMBbx3> zJtmf07Cw1*_&0~rBX>pxPC>-w$y*ZECU46yB=2K;*Y*ZTf3)Q7RDGDdDT*lB_u&6$ z@;=WHFUk8QdA}s@Z=HX<$r;((eBKt%RGrJW<#RZDzReb2v#_J&(|?g)gN7q9Eq7b* zyt5<+8-T@KX-vREViqP#j9+JM9?ZJ$RgDA-(Z-MJb6nIe zQWxi>f-UXW2*Q8*Tocex;wQwVkL%EP?}OULw^k-zc*+9WeIX`+VhG0EdV%c<+H~5r zZ3|}mHBNDs@*D9yOaG1gaJ-GvI*Cw-?cLNUNr-n6qA}RDa5Zu0ZH!`n>1cj$MqHM8 zlEzi~;G?8{P7$VrF=V<-A57-^8pS_xG>B`1r&I8n2Hk(ZoBL{fVzU?>bR)Rfv=iQ^ z%hi`Lf&i^MrIe+IE87r=9N~Qjh|(l^-Pw8>G}3M{ysdfr zB*$>%AX7FwQ1xi<*ci6KqeF~^OAckz`#cbF=D(eo!S-SX4?;t?7aEAtY~rj+lQOIk zQn;lpPU3%hxW}-Wor>a}Q-FPCmLz6dIlr_`4^tr47Fh=`&15G8+g7!Tt9n{ZwYi6P z!(nHk9+5haMsC7cBU>DtJ_-jxfAa8BSW6>s3IFKDUhh7~o9)`%^n&N@{OUifP^uIP zWo~41baG{3Z3<;>WN%_>3N|t@ATS_rVrmLJJPMN=L=DXlH17dd<*>G#S2?Mayg8(79awf&rm_On0?S^z`HF zuN#DCmoq&3>E!j|k&rlezX%l%=D(lK&(G{%-u?3We10A>75rtCo?vH7 zcZE}wn8k34k=Vo5&LFV87X>*fJ99pCCi8&=8yfsBRDlj9=u$yF zrjI1ZJnqC_IuXx0hydOxoHR-tGD;?$L>TrJiZxX=&m&0AvHX-#qu(Z`x-cnm13M=gt4T4$hzs za>(D!|Dj#VW7;Kqigu}F*Dm7+lyQ`hsDRV(gtqrN`$a>rFFSAhkH}BA1tU}+{5?9)Jwb< z1E8%QIF=~P5oxj7KWjL#GX@C1H?ki*Od&RSsy~0Mw%7WTc85Ytww2p$!)}&p%qkxY z1WOdhbbm@XXc$Kl$45nBFXCqE*_FfTqawZ^gi2>+u`*w4U~XB!Zre*Jg(;CM9~+gv zN{c$r03Q^>v@W-H0lF$}ma@f`gOK?PsIKa*8RWCtZKX@tNweDCRd+?5-a0iFyWQ(_1iR9;vOH@x>DGQ`(zof=^+wy9)?2f%-rBX*blF_#qP9Dx+^kgZ zDBP}_BCB(7#op%b+7wNtSBAk*mo#GD1sRvLt$PZzf+bAc(3fLpqlESWy%C@s{8{96 z-ya7LDhl0pM@Q#+Fe(pNMLL_pWm3DTgg^SP?M9cW) zyewVhTvnq1O`~i!ydZ$Lc|T zJJo8{ez%#V?nw$~(D|SOy>fVCqmkCTz}m}IQ>V)gdG{h`w=Fe$&;(%CfJCQjKm~uE z#}q@_)UM0mrs`PT(fpG&}5A3kkr9)^sP!+%TMJq9v$=^dWw&Bm^P{=qaLD~Fin-5&o;;u#>pdMf^E z#(|L(Lo*wIcxO7SYw(*=ou@UFjNcy zG8A2k4CQihDVesEU7}#B1`IehIwx*ct}aQ1FtJMo8#0MYRdm7}T#f;Xkz#;5#-ceD zEXaT%7pM@U%ajTRm?5>9>M}=@Nf-!LhH_a=F~(0oXTpM&3t>j^cqxBS9;)P;Z3bIZ zwHb003=LrnL;zoQWE)06NReR<{-^;JMpEWHVGWK5#zlZh1iK=jBSV6L8ZmTcXh~9G zmqMnPcNH=futcCiwPIz%Isiykb9M<6Zd?VyNQNx@9LYe3c3cclTc;TMY%^xIDOLyr zvKcn}ZAQ#U+ue+8RxW?G1Om!_u86c~9;!eqVl4>)YXBn&WHQMiH1K#OCkf_8$O+tI zk76LU24-N!1Zy}E^C?Uc1%`~+lp1WY=rlmF2*5Q|3p90VXbD`UFc|~ow@0=2sI<13+~tEE?e~fduKVB>iP}}MWDXE0dzp#ZXP|FOkdqDu3yiV z?!rx9J$>e;Z)RVY?s9^kY_~Umf1crotM{|X^c*|S=F2EV5y6SJxmv454-Mc-N;R*ufM!q zHuo=X<{u~1CyU#6v)g8icsc!P`t$VsBH|`ono`%WhGO*u_P~bTqLPyM3>=8nr;s7{ zxIyu?n?7H>S-9y__rvvvtIx~Xt>+&NnNie;TD=hz!ohzN(g7aw94ytN2e}Mo3L8yEim$DbD2Uc>^n`he7$fBE$3Kj=1NWIHOrW2EgsI1(^JVNF@xb|%;e$~v_Pu9fZHr~)YubFE9HQ*Zk99u{@vU0LWXkm!FW0P z6pgxz55|A)l6_J=8Zk6t;KJsLFv!TGl2Kr4_7%jRp7FqwlW+Fwne{CiqBxv z1hv4J-PN%CNxYFifqjv>KY!Z7vJ#f!t-u~kw$6lnItS;}%C8)H<=2L>IsT8BCAXO+ z(_qW{#6<2I6NiL})LVlxAb_eBk91E#$3x()RO5eM?Ctrir-4uHu%j@P)^iz?zR@gu z>uS-FdFz{VWz<}2y0R~n57YPaUw%7(ar1VUE@<4O*zv`dpGM#Vs%^*UV8^V~85|*$MKE(C=gi)uwXzeDPE8$!)j90dc#|gntG)8mhd`j3GK$vX1D9vV+ViH)8BkZ2yF~YCk!RDYGGX;tgEcAI%aK5jE=E3 zpFF)r`eZL>UZ3?Os^7h1U&W>kY_1)tX6;hreV2x4&cpV;%!FH8_?{0~7)^Gn2n@D}PjH zSd&}Um0koXf;52_q&ETSA~p2h14s!;fKZZq~^1NrSz1J>lpTo~%Y9X!;L%G1UQAnJ)l!T-bV2to~@x>aU zkcQ&sa5rBQ7cT@r0A#88`86?c2!9TNLV_STxDsFkhXEis6p)q%q!bkusrdm-6dI2~ zxVhs1AuDqmVNp@Bzbt1ifD8Ulgb;~ExFG=n!iOK+3x)QEBXI+%OO%jxYlp3P2#CUcRui0tj|j z)bE1O7!<+7n}89>Oi@@I7K%ZjaR4E!DMh~x!n**>Z@nVqK9-v0aB8G z*kQitKQTWz=J$Yv&UQwaPy_^qLVDo=7~GZmsxb;jNC^o2XDUnl?|(%8A4vQ^5%_;1 z?|&!m-!=M|OZ?y7=f6{H`+9j9L%azK@W&$q5MCJ+Ut_`?5R7{nXl zh5t8!e|NNj|55Be`2G&-;UI*es3YA7!iY;rOGy4ZH_e;&?wG&E2FK#;hc6d*2rO&*Y!mjM){q;CD2jK685{yG~$ za2P}YU@s{lDJcaI{{Q^_b#nL{jTRD$f}L%S1rCCQ5ti+rhJP~{>Wje;H2!`62~Gcb z{=N2acmNzqJ@F9*y&mcDI3o>L$&%gk7G&SqE=AH4g)XYG%+C!gN414MzBi{>>U>-g zCGlcF>7)_=VIBQzNnd2SulXTy-p>P1~@E3)&tv zoF%oBleAu*e}8Lc?pSzC&N=Y%8isQFKsfA*Uv3x^-*@zd5a^@o1mW^_WPe|h?k~s*i|e_yISjBv6KbUAvb4|l$&v8gQy+{<;Awv4`o>0Zd7&(k z?F7X^>2y7*G`JVKL#O)K9J?2^`hvxPVe2GeC`v}@`f;^+r`$Z%ZukqXT8eKJfXIl| zg5Ty(Vt=E#7M4*nKPh)NUS7aDJtA%Z2ozqPvON-(%f4xu9w-#g8QC+b=B8&bDxG6j zvM^BnT6yH_cj?RL9BN69=G$NOth^no?He&YXQJRaa(T2d^dQ1+hHHzozWsq}4e@lb z(sz&d)u~mn+?J`NLTz^1wLb1}tyi}5%^iZaY=7JWLaLT^k9d#G+b=_K-@%n1AP58FT>djN*vtR9M2Wo0L$z3t-Or3M4sk6bdQ+Pw8>moC~_%}g)^k~W=FgUlK~ze^TS z=gCm5maD$up-|2gFF)r5)!ERrH8IW|tqmDgqBcDL$u5e^LD))YBXra_PjOV!n%PCp zD7ZxvRHq>Vj$~%nk&c>Sx>U(BYQ_A(hJPtQC9~>A;n(*Y3)3;e;auL0?(@x@xp)iP z4NiR>`i2%R=@_=QNp$4TK?5QDgXHOi*A%cZMqI*;r1t`>?U94b}88|Nsc{btkX(msh`*Y6se%P%9S$`x$Z8eDq=N$RTPk*@f zGlzi;uoJT|kv}7Di{-XlkPocwnT>gH(YVr`UMX06by{q0-(j)-_(-SNRGdqCA|=C| ztjbF%@_oaNR8^Ww6FUQY7+e>Eu0#`?4ZK#`)w?{nIw~?{@ja+U2-Npzrop4evK8AYXBSUDf6KeoDQrP0!JNF0Wq;Lan8#w<_bF|6ng$U=1Xr1LXnTeh%LGVuh{<8h zOgAB4`;GL49}A6PbkaRvTl~i2=({d;fhIjS4ZpdOGIbX5S%Riu|fMAFN*7ux9G969-|e%7s9p&DKB5Ye}AP_q}%DF zCZS{ZHcujHHP54UQmnDlfU|6lgTD}?G;-2 zhkvG_dhPo_38e$=-}?D(b${1}0cyAbVyAF5k4uGQ)*M)4O+L9eH>Ra8-P@CvwdW;TKvNFv2&h zO3?EAPGrkE;xj7&^`Zi&FB*G5lVgv2th|tkuK1sj;IL2L&spgwbO0HzeSZS2<_jhb6my{E7AF}gm(wWwpqgTdf zZ?de&SFV7@!uo^w%YRe{7`tB>qiMK9d;M)#SL%2{N*qgUU*Zdbq~K&!7a=C`qz3Pk z98}eQq!!g=@uPJXov>N1G3?a3qo7CcuQfi|#@_qRHDO^Dz*PMRJeJ4?X0-hQrPxg& zHY#d&(Ldz-#W#MHXJ+!2exX2!)7tXJoU48v#$w0)$YUX2+JC5+(hJ*lNlVQ6o(uN? zMZrOLG~dbMF7xdZ&qpG4dvbE$l*g#|Uc`@Av*VP+IZV%C>6Ri6Gvo?(dU(FSW0C(L zWRt71Wh1 z+^6w5s~$c2Q-3LY&VP4hRKZ}SS<%?1dop}U+*gEi&07D73I#nfSf!1@O}#IrO;vlc zK7SXKRd5bDhj}ZP6Z=kPfjUIsWzx0Lcbip%9$ZVo06ScQRFSnS%!*OM1-WwBTu6mV z`2{X*>Na*L^5M|w4S78Yg+7av0kVS3hK8)lk;+@2+kY3Na_)muEo5s){q2M}TNI!l z%jEXT+3l97cxF3C)E%!XJ< zx*aacM1l>EYOGwmO9Wfb*suu(MX3zflO?^j~oR;}!??e7YCTybG?fr8)6ui55kCW_=AIeztG zXTmMMdmS}J0adTy(?;EdpIFe8>PHx%Z;D7Jf zEA(=h)wm_8i6?VD9yT@?&EUtU5}m-O zQL#6J_y%wa1&en%4n;S6=#x2QyT@|t7E)$<4C(CAzhj{~ea%(V_$*2fLK*8#FB<`5 zJ*jreYp+{#a=Xj@JdIE1&WN8tKz~QNBOTLY-fUVTj^0H@DG}viD(U0EA`gIk$jr9N zr=P@F=uXzug7Q5Z|HZFukIP=m?HWw9Z|F(se%2#z_U=d`u{wBFwu4s14i`ygZxtA4 z$EvxC=NR!gT~xiPU;p~KVT{&myiDPnVM^<+^y?Q!l)F)aI@X7)6&f(@RDWhfk?tLR z-Q)T`4*sY4?=S9)80my0XoQ{A#u&cdtnx^dQrVpl7;4eKsx<6=7*5?GbVBu|m;RYi z3&>(T*tWBx?pCXBW6_UyuP?C+N@R=?=`1@=upTZ)>iOgr_BZi)vRrIXk)x2khI7Cjn`58NmH(`SNGzm+enP;8oJz!|?DMKIgVe{f7J%Fbf{HPAJEcLL-d`f@P7weHb&`|c{mwLTGo3iAUG9=dXPuzc4m|HF)TxKR(rC^+0OSI z6D9P+yy4AQhG@I?)y(rem-Xg9H9HL+G=j5s;@S0Ozv@WRI^+Dgtz{Ymbgw>8ClVP8 zC-;)qN-`aHPKf>TXe`=2SrAFVMSrPd1x=F6Yu4H1SCDFu4u9(&Ed4DLz?Qdjp%U1L&J83^ANj4=tJx;J^+bDH*wd0GKxviNot zqU0Z(Pom?*l`L6lS+i@pEh%tjw^g{O)=Y#lx0*jRFm4E38uuqTPThK3Y#{k<+9Jp_9 zE~jlXZp27eew(VYsy|_KJ~{NKbs%x6X596+Qy&v2@hfe44({&m4#6#Ga0~8EaCZs5*?;Z0Utg-b>U)Rk zK6H1zdb5dkFU`uzysuGV!jfGyed{}9YUN2Cz7Y|^A#?%JF_!5F?jw+zKXfEiHmG&<&988E1oav z(x11fQwf)FVyrijl{5LT{IAR5^%GW<>7)Zo=5-YEYX2{Cd8wyRw|+v>j$XA0q2DU4 z)B~$VYwqd`9(JIoCSDroYM>2zqVQBvlR@V91)WVjVfgLH26N55a`Il8z z0*IEA9ZGM5Z^g@Wv#(19626{E`Ng3>>7yPG?h*mc(* z4>ifuOVpnFd$>QXOr=(R3MW05z2u0drfXee3IbchY zUg`<<=CsN6z%fd(bAg(^v-3Pap({sHlC{9ph!UC9)p zhPbUO(~2{HEOah0qNT5(ci=i3UJ*NZlEkWo6!Vm-kP|^{X+8d1S+4B0xrgcC*)i>IZ{-2@`$N-tRMbK?KU^nkv1g zyv~Iml-8vT-%Uzcn)}AE18eOlunjuI+XI?dsdW)(k*uAWeG5ZaY7UP}k*a4##^M$` zuBCT%v4a?^5<)Sy3c&@Us)f~11OuwSocg^3fpp)CitH))!y1raG1+=NLcc9})`<6k zY*4=Dh>8{O2t6c)?uKQk(uJtt6GQ-GNpWGxRGdPS@K^aZ5)(!XbpL3|2*d@!h7;R2 zL);mEwU+QCFa7gn6BQ|IP%QPPryj1m20mOGdmQ!}x*?Tzm>e9rH15XqeJ*WA+><0i z;<`8(Rt%DBQfnw%-avj-uI?Vfn;4>7jT!T`Yfw*)h>_oX)aCNd%y6AVs22DLx} z;p|r^dPr)>mSC`SX_)U9eFSSLIt-i&_$R2%yAm@(2{<-7$YhnE&bW}UkfekJb3FOv zZb+pSVlIXV=mdD!4mIHl@%}F%hgp}Za!5GLs-mFlFIU!Lqrp*dtt8OdIBUCkkow}l z6sGc|f1@XmEuedVT-7X6WPmyKR}*G}M7y?2oE;7T5nPI>KvNTPf}r51aSlH&jU^D~ zozQ}?yQE!IR2hysNc7+|)2p&DAk$kw3Ta6jVTHA05!8hW2Le7_d9Ik;1dd+smKb08 z`zULthAlYwA$CR2`tk{$y`34Y6A@`8VRUjYwWjQV+J?td5QsZlQah+6R(>?7ltPKG z6X_Z1f*~A#g&uWm{sjqU;XGa8og>`P>1v*P!gR**q}Js`;_59^xQ*6V+|9bo2zm$-JbkU!xhXUr373KO(eTT~LDn>U_cACf@=#f5jy9KMoQc0JCi(zDS$JU695|nVSc?2MnyGyG* zLZDMhp6t*_hj2i6|7BcIB24*L_fv(1!V|f ze6=a8LPhzHT`A(*aZS#3J`cIRCanzI;6@^9s8aD1)%LPy2`W2hPvoALJ+XzlfUb-T zd?@AXskEE(=L>#~8Tv^F?(!C_%_w!#d)w!M?>};7Ts7v14T15vP+gt9ICZjT@+We4 zT?-jlHu@R?0FXOyq6>eLs%`#egy5$j5!#f`c@;3rGkhDpx)JgQyFN%mJ~SZ#oHn)A zi&dTV%0V|?KW0NzF+8TXg<0JW>2QUnbs!&qV&tq76_6S{+`BI-2INk&k?{u%5nb}snWs&}ExIeoMjvJ) zXI`8oqouFNQ=?(pGu*4vX_{AcYOk8!e7xwwI`Lft>(3K+8qA-r z^;iLjxyahwk}@V1i_p8|4$a8tCuABa_9WlR*HA*F9kj`a&dXK1u?GXGkl^e=>T-#E zbj1MEp#CbXhD?tXBr}T>j9{h~3C);AI!|ggCKNoPq+teA zk;Y(dYi#}YIb)`(vUe`<^;(k4WJ6#!57*43nK}j1mrmc5<~pZGqo&8t3lZv44XA@g zx5279r?_+3;bJwUC|QfD^#@iWt~qwq#kd+ul6evldoDQhr8FMJ%FyMR z=;-xI^Vn4fgIf#9<}V|CyF9%%~e5Ar#%f|yxk|JM*%HDpBq zFxqi0|78LE;}08Q45i*62qP{ zG8+tX?rbekVtF&`f?@pp{H*(&cT|YR*HiR$AunLAp(xI>{$#sUA3^04D4XnTw;!7) zSvx%<@^8p{HTMQLlNWx^nVhvHouuBf_9n&5F^&uta%f2Z);45VqPG%#=wi)U zkLrCo)0~cQ5Y;{E6#fX+BR3*EA%mg5YNb~Sw%5X3=ty$-3sU4rqoUxzKYHTK0MV@) zQwHHDwu6cc(h&=@CUk)dh9g#C_J~RBmcf{afiGPPLzcmRGI@*0SX;GG0MooQn+GL5 zOcyS84UJ%*Hj;?pftOBZVof5}x_RH+INNM_E1L&(?}RvE8vYaf+2}|yfihgxg%r9` z>7=AD(R^9RJtg5C?2##HYU;Ffu1e1#*OCAbp^WW9*7xSfxKixYIYkPu-&p`!sK7>S zq6k#7CIY6vm00oTfdQq8w2h(!s@K+Z+oWik6T4e-)Lh~bOPyaf8w!^zDJ*F`>|Su!$L+i$mr<-teO`3P}QCQqii z#|yhAz8GHUSZ_iEoOUF4XH956Y!^c#iIB|b9n106eM112?o&3xu+vM#DqoH>H27}# z;%JjlV7s$Gb?sKbA2gqIA8UZSO0t}aif5blKZCQHxzaH$Y zu8*kZ)f*BM*f?XTUdj@8tL8+@E#_)q@zj*fw`yCGHGDP7>k)XyG0nA``=Zv*gbT24 z!;4-PU#(ZIxRYyps?0*Ij&JG^EcB>(5xhcMjBhZy^i|a-~T=Slbs*e369M-ivasX4m>0QZxN270u)#1Td?(gR&R zjMLQa%6<=AE_(H@Mi5u?8nZRlerH`7ysqHF&g zsBwpKNb|JNU%;{A>2swLWCaNsqpv~&&1KFBe!l}yK2o|(4Lqj2Yo-|<6Tt@c3OvU7 zD+vY-m_$vsJSOTqX0DH+eiq=y-nEKzoLfV(9zRc~8Oei^j*RWs=d&8ZhtG@2FgkKj zYrl7j;qqM(Y=SlPeij7g&lU*l2C)ln0TF02?;J_|Zta45Qa<;(+Ul`p;3?}ykozBa zU_Hil&hdo9OZG-VS<&xnRC1 z<3o+>7|Ul@PmQ$7+?A>l7pjy&EL?F^?4j1tj+2vE2hrZ}L)eOe5(13?`tUpc_^Q>T zm!Z;LaozOYP0eXOx;lkB1u#PsYG{bG;EokTxHtCYNkEv3tkvm>Aop31uq=- ze^k-zwN9RMD-ieixZd6$R84jXlA$dTMdOTVgVfE?&1N0AdB$5B61!@x*~av&(Be$59P8FdT4oji=K@3APBh~PUSQ{1=i3Ju)}FjgE&j``WjJ57>PUJR2{ zW~%`kCYADd%xTArz)ig8_Gk<(g{(}z3$&fjd>{hPfr@YiJwtq_#@W{Q7G}rjpU>Tv z#YW1cLc+ohd;T0frw+e1bpwv~l1bL6Y=6ss&3OE_k(CVU(2eeNJj~^>3wl?D`AEmT zr$xQqPJFhH*3vUwT!L`NS@fj(YGIGIOn3h@WPVEp_3d2K2walKE55WyKGrPs-JY}X z{qQ5Xm=;~xA#0|4-o%sZl~;3DWF;dFaq8>RJ;?qqC6JO)-rGpP_M6U}oZA3lACIw5 zDQtKhDRGY;WX%351QsALYJMqEv}QgQBVNiCxvW69;j3NH*fX3Wd-4W!SzGKqeXtbT z>}{Zhz+x0AADkRm26|MY(&x1Q5Il{24W5M^B=&vN?(;fc+(YN^-mh1wdYm2d-E!(Z zUu!95mXI0COr(s~)swzw{X&7H*a(n_q`{7*?=W#2h0#SpYsp_CC34Ni zwmW^Z!i2;a>A}QAW?hCEl0F_#T#fRVVv8j%LvT>C1i$$(@_uxU#^GfZr+?6sl_*0K zMw0n;)&p#2X^|iHGlI@nm7a9E>b?zT*B^y%TH_ee|7E9vYV z-e_}38%(fyvpAa_jC`sV@9_LlTxW+{gT|r-?|7>3w2onLDe`wX^_78$*G^eQZOwR) zSEU`6ib!j{I%cC;Vt!wO2bF#DIU0kgH*d{I1X%N3E3?a_uBw!KaUrV{nWl}UL9_kN zmocQ!WIAjc)>RKzyt-zy-eYxel1m5Kvu`b}1>DbI>kYIm>dWfIN_F^Jsi||Pr(@d@ zg7eS&_2h;jnU`2=9WGs%>$<6vO>Wy!=>)o#{{n?cWcYTKEf4Kwv{-U&i$PMh&Qm_K z*5ZRhp{yd(_1wcFo4sVRc@EBu;!dF;<(F~MpP2GNyz3Mhq*G`z%!^7FX>5YHOLn44&S2`OP>85k7#4Q~s zxi3j4z>z3rl}q{qVu1TVXd zoY=O%8Z5qGt!e2wd-GlG9kch@UOHd_D3V&ZmAv>71eF0Gp`%o zZD?AjRbS_0)w3j5nhs*@{n2Jq_+z>7M;eH+J5>|;qQ$oouohKUp6Xrg{&yVE;{xnq zUSFEjHy*RRmD;==^6_>bEhXI7#7khtOF+i^i+)G81(hzi4V{g^!O6zX$;-u`zP$}i z^#5j1JJ93Fv(NPD|33eCk#hf-X>`9BCr*;4^ZbFP01JD`tH&fO3rg{ZVmR&!HlReM zf%c1YO(T-u6ga-*RFG%FD>UT`Dvt3f>Wm~~shjWao0B@XJ9A7otfY7u_9Xm9F2YF} zTr#&HjY0H;w(Z{<1kubW8`B`nQtzXdW+z-zJkyVY75c`**>sfg|BP`=-inzgDcn*h znXf3Jfb-?Tym-V1lYHy3q^u5tkMp26>jy_xBl!JYwv6LKA`o2%f9wOkd{J|r3^OqVJ=~!ZMWzL(+#s-)P{(2VqDZ3-9w6()$ZmAseQ|FX z*(KKt#F~&~jAT=7WJHsc_Z|4xt`dT*$4Vc924RU|euL5bskmcR_L^ou9S{^2(n9__G?*1%Q^`(BHv8o0b=6-SE zLa>@ploSU|zC7w$_Em4M*ZcIqjR`txBh82Z-3zK>YP`s{&=py{msHBt^y}xoMRITV z_U97<_wzcsNOK3ZUNj5uf`wLxr4nAQ`y`cttDU<>nyo=ne{wDVaYt42V#&MCT5X9$ zBO^`fQ9k-K>j-B<{^fP-*+QH0w&ZPUA^1ls0G%E!rbGkR5`b(iC+-3*)g|9oQ$o&6 zAbSSmR82c<$iZ?GXF|RjCQP3gudq{0Qjtl-&5#XfBxbGt!&9#s$;j$#QC>x#Bv0;z zNIe}K)9mgm?@C{a)uu0JZ6ND!&&X7Wem2wTF$*))TQ3P*2{b3VD3Am)%|6~Vf(f^! z_00CtK|Z`H^I^htg-;5{@4h;*wh~vVXuD|@0zy?%YLzB!l8Zlz3H4s9hySegs7m;b zd#r$rf|PEGJZ#J^Qncs4*t+1g)abUViz_KqSkKq3Q?|*EtpGZBP^i~clE2t=hODgx zX0--r@EoDC8)`PKp)O8dci{=6MhZc_LiF_{~K;3+0cR z%&Wt5l`qwRHXWa6qK?uzR=v;dZNJrC#m|?^k@EPu59cnQe|)9Gp_r4-`24FL(x+)~ z2Y08h;Wo-kZZoECtm&cU;3bV=d_s&la&MG!IBWRcus`R`GV>(XzK4qwSic%afc{5# zKN>om`?=G`b`PSe{!I_T%fzeE)`#2Q`sA{sr2(&nwD;oDwSTwIi!mtQwr!D54_b#% ze(sm;i(WxF4@0#0rvOuAA)${q+~5tAEijbSdevXwr`zX?c{9~N6JhRQ{_7%wzm{ia zjT&^PmkqwZe18I*RfT-`f!jYHyL#X0O!x$awz9lvb048B0{|pVzl!4iJ-YGS6rrvt zEB!U9qGXTOETa+{4t~$eA>(Da=bweQ7kfOp2e^g+`bG)Of;#IHu=+G()NJ`tk}#9F2rW19wx$XqhcxM->Fo za;gQ})Us@mg^%vCv?6|cX_c4p5FrR{B!?Bi`;=3x&}D-|m&rlA@ARd`t8xZ6DBa^t zmKdAEGN@v0)|xiK1?yZm_2m3!gA7S+0-PR9=iZftW;7!isVS@CQjzQy)Jb6h=5B;Z zPwE;(E(GBO6HLH=0cg~lHP|`Oa=dz|Vvf0T61RC*Trj!rn#6aRfgQa+bUf4~MtsX0 zzXcaK27$u@dQ4EqXmLw@CCVIA)%Jr{63sF#Xt~{(a9iYK)Wy6Sw7)6D_PpfTS zH^9=(m5qoTvO`9PyVO!?2OV`3hJAanmzDLd{+u~-JNmO3ygKHCvSu_rj!9NQTke$GX|gym|%5EMi3Z7@XB;UQ-V zNB>h9LrTzyo$7KpQ)zE(6gTOMVkfRor82BlQ2Ro3J0F*{tY23`9Y1kL5-W(b&Yc=6 z&Enj1^{-i(A_yA?CSVa_aD)a{)EA@)F&HkL+s(Ft6zeB$H^#7ZO)gggf_PpUr-vY= zs#I2YfZ4Z%6?NKJDV}VgG_36W7W2@h&VGmuk?CXznShA*KaCoQh_Yzt@Hvn8px-ML z)ct@VZU2HglXq{=-f$Z%Eog1Ha$aT&YE}Xp8H{wc!tOqn0K2w<<;kFvzd^$#C zZ;E4}2ugbLS;8nE4iKz?nG?z8BUCe}~;O7u@4){(wn0*s#^ju`n;tb4yw4_*wrwZJT(*FY*fU?nenO-UJN}0PIMkk&6aOB>j+1E zpU#q_c67qN!Ax^>Ll@R!51pw*C%?`7{N0pJ#E)kasIC@UG){sVqxo#;!2Ys4K%0o@ zZj10>16b%RR8juNi~q;wPLUQ_{`pqclkvwJdBA=9k9X?y1Ao?;I_LDqQ#X&+wqvec zXjSytw)SV5wu@iG2Yoo?{MReww zkjQdu>e;#^={C*ZkHjg@vQuc9n-c<6IL;wJH6~2+F4DKosFHJ zot>Lql21yCN0NhAl81|5id#ZVT8v+un}c7NT=4%JV(@=UkL-2dss0n!x|4Wx*N zkH9R=qIz`pg`!5H6UFGdTk+yPfoi0oxW~|-LKSj{b7{PPmE_1-8k*tb{*3mS_6nAm zF(ySCVV*1y7fTFd@}(jXke!{qvSU`MyElIFD(`tJ$8|dADx3e)dFp3*rfVkWaw6+n z`$FbVCQ@o4nWADMJ~o)4$XQX4KBt$(q^S*Kdz^s{=|dunT2mhHqGo@wWIek+@R$dH%1|I zk~Md(59WCY^r91;dwg&HaAe(;u;FA&8Brl!*sQP_2*O#kVs`NOIUQe^2aM8yBh)15 z2dJyC2DZ8Aq3C3h1fF*0{?e;+Rn7^?o>-}_8#PB-Pi7$V90kP6Wlx*MbOy0v?=$Pf zeFn7&dYv)%MBibr!HktO_bVW~pvx-afQX19k)TpqCI5xQD5!GCYn=yuG&@ybKl2-U z*USKP#wGKMju4E#e>KwuQ9lbevjj4PLD`-v{4tjUkqmlE>{W6_(ih(gF)HLowVWxN zNwYSDlU!ga-YnurKAag1>y>jQ)t92`^p8B`E?_YqV4drN#Qjyo?^E+sG&OOkADY!c zHue}Zd6$rv=p$4~YCo($5Pez$S(^cTD9a+uHjLZKG6d6J@mmY*Db7(3Pn1+fzsg~y zbx|v+e@WxwA2Xjzp&pXMO5C7T60ww@D=~8b&={Bo0m`gRbpbRUrW~aMqG!WdKU<}R zFeW4fenkvV+P~4ot|p&Cy3%k%S;`B*Wsp@8uraDJ8ncvO?O^kn*Iv19o>F@bFS-#X zye^>0dVp;>d9Q!GxX;83z6$&jRPHWV-?&~r6~9y$!H4oY9NyPdyT3Jtp#u<}da)r+ zWoFx`StaF0xDdj^@Wn!!W)DLKDx?RH=3tc3ySnxs!*K?@0d9}n31$_v{&|)mbrclb zX2Bcgv!+!5s3Zg>U5VuR(7ziS-cQuDi8;-EU>#vtFKB|%KuQ&q*1(H`!Hrktg`Zd{ znVqjHlO)EpE3o5Yuq&txeWdkxpwe0>-TWu$ALA{ewl|OkIDavWHz&y;Yg(V-ei3Gi zAZhE|DFr-mZ9{2G-HkxnT76I(5B+X~TpD{Lm_ZW|oAY*Wt)F3(R1Zt$4cuM-uE%Xxb1ee(YqSD~t^6qOflx-KYYY{~zLUvOEmbCA=TMv&gYe=%E)&A%Bx0u@9#G$w)>#5A-AJTXcr{m1-zhY%#Ngo(GM$?D~#;bOXV#~DwK;uO_hqKtaS)H$S+02`Xt&nsLLQ0MS72k_?$HG`!H>T0u z((Jw;1c=XLVHlwy1dliALJ3@c+5pAJT$4RX0NYHmPdpef~HJ zp(Rx7t^d$|3f6$zsY9*jwYOAM(qWzd>dN{57_^KyB*u0S%@6KiZ?~r~dNip@?j#B-vrBVHe6d_eT!P9eD z6B0R}1)ks-8F3PN=b~1>HCqtpP_PV21U1m6Nv4r%EbgBXJft7776-bLK_q%^mZBsp zha8JrP*TpKKp=|ZNK*WPgf;9=pLF7 PiHC~=2>_5%mPYy?X5s9* delta 26133 zcmV)3K+C_`><^~t50E7TIWQoT(YYvpeNs(N+&~Py=U4ccNW|D4&)2aO=!d8(L|UnW z9=1zZR_d~_S`Pj9b!M{=5UnD4lILgp<#`AeK=7fWf1GTQfI-Bg6AwWYvqYG$s)q`F z$&N>XgdK+RnF8t_Km4>}I9^xh_B=fGY?%|P576d-IqSe2GEN;vW?)o~u<7A{#>$?G z_Db4`l%uXXJk1`2Fa*nWH^9osNx&0fRDtdqF6-aT&+fA^)0CMpB?pQrgdJ-(vN8yx zcjN|EM4M+rF|pgxzP#1UH2IWaLL0j=@k@E=t+JhrJ)7Mv9%qZbX~k20ao^9ES41+O zZI|o2p-FYpP26L$At8gth^py-zvjK(>dvnO%$U8GBAhbjq@ZRmTiYV(-Q)Ilz1jbO zoASxl=P=vg!aQCrx0^pEJ^K3Sxgett$^&1stzoz*h5of^1J~ayN`2Nyu74DuE5Lh; zuKrk%lY)GIQ$p+1Ry^DYTa%8GFZ%m!zxvg0nyB@`&P$f@MM$VP`PvW#bM`OwA+yl| z{WStHAeRx)11W#kK~KUk6ae5mzoJJt?AiC)zP3jtpfM_m&Xe&lbqEQHVe_EB-Xe^^ zSR&Jt%T6ONZ?E)A``StIETlN?oWz}@Axb4YcqSI{SRhMawt^i4k`?ijxa;cPeS97= z(QIXsb70AZLf<+4(N#RSif@*w9l0K$TsajOkvEmjQjK1 zEPc$U^Vce9qrs4F2=rm53>NoD0Rt+9{LADm3-!o1Ww~kZD`~K+Xg4hPRcNhpljhm7 z6gO-y{t16a6-y?4nNL5H?=2Ql*qCw8Q#W~-rNPW;`VYHA{Wx2_p6ywZP4=hBS~sL$ z=u*ER0w0dcl?N9dwpI@wzE?J1(!h$Fe9F~vY`q;S#i#JK^$k5O=-+4-8>+v#~h>{{lBKlVPhVf9+XI zbE8HOzWZ0`h-#O~ya%dMsq#LPR5q3JDu=udNCJxr0u>;yonN0GW_T_b%a%8L$cX`( zo_>8j-3?w`FYx01#jDlDH}42$3m^HC%Ec;L5Q&kLY9T#|2vv*KcJYV9vJM6bWU{AKm_YUxsee;tXIu8`RIxLPXiT>kv#^6HIw^V1Knt}d^ZOgX=4 zrWe@C0^F6i@PNDIn!8IRL!9{wmnwM3%qGz>twrG-VxlD>wIopzlx0{Gf_g0>1FfX2 z3ID_bkFjG&F;NpGV|)anN_E(fo-R|@p|M@TknknwN)eXCaC>K@FP1LDf5Zt=d(GEz znFsluxlO~OjMHm|By_cYpo2>Y@`W^#?!#2?r@b26>%r_(g!xUlwXafhU1#OatP0RBEReNp-|K$m zYnKQ_ggU|J|HOweKLHVCfBYf-Zis?$e@pJy6fehkDCFTrn)Ou7$fw5)_Yon~#tb#w zevc2@0mRqt)|W#N=X&K;PSj6qaOkB84!tV1=QWjnYaZ3~ngjR<0suR2vam38X=cej zW%=J`6=nHghj!C#9O-z7LK7Bg*$X3K0T!m$@@D^GO;`D3-m=~amd(R`b`y>!SAt}F9y}rf2bf<`Gg32EWy(**z~ZnhUA_LSt3~X>z zam>D2ut9hdju_WLqtV8Y2heaCN1ktc2PpmV(j^!QnqSknY*E_zP(l1P<-x0C6m^l; zE!-8T28BDNf5^waA^&hJgLPsv*!oykKI8cSKOz%^`$Ks*6siM3(6z;}P6toGAwyKk zJ`P_uzNo7c>$6I(q1w9dJ8$7p0IHL)%+hHSfcr2zt-QN^#%$*Kh(lY~Ywtd{;%AmK zM_`*cS|VctYxN}54cK{Ytn<>ed7<@?M1D2ql?q`lf98Vp1oN7n_?&IXb$FjSfg58d znNzDV*5>l6n0m5B6;u?&>s$1FSa&03U7l?+$kI*kU-udlmJW(%wsElCejytxEN03i zMaUOPEFAf2;HS&&wyKeAUdBy^m?-6aDSD#L?kb@)YrtRioVbn&y;-_7iz*y&FAhco z01bp>e*=@xiU6_Ev2ajt*%lGSK&srCKZ&3t#<1$%JT8qT2Go6wpW`#Ceip%3f(=a##Q41 z1lmGDKN3J=uGhiN=i|p4#!qicg`{dwACzPJ5QZ>*mN*^wx)Y~Ufd}1iJEa``3DO%0 z%*WmB1P}iVHIzV_-#LS>SBcI~M+iibe;h{KV30vLgaFvoOfq;g$si|9GCl<5X7`X$ zhS#ZoI8)A1vxk*u2WZ(%yw#nReph6BOLfTOeO$&j=8b253F#Mmy>B&)t3D`mSX-Ll zI*8MvG;g|pC(Ypk1up0Pv*n=wi{^Ud;|kxeb<%TqE}g)z&^OA7_xoeHB#s%!FX$(* z_0n^W8#wdK4@&dZr(L|+nPpLCT^2@G^Qtq;v7g1|Zq&tZR~P>R?Gtf~mpVTIC<8J# zGLzA{Dt}3H<2Dw)_pi{AuCfs9OXZYFrBj)jnM|dfQ<4KM(Gn{Xsp4X1=GW&v0$feX zvh42UB7#_mhqruhf#_dUf}(VpJ2W-AY?c7&oiC?dq2Z zo8)G#G>v}#&kuJuzuo=wtB;)0!8#>~v<|-7EPwd%)7>}!_0t#?gK6AS0Y}(|HcGPUW-X|SPI;MDX`YoplQbs!cU*1uNm2UI*iXh6 z9c_~`-DSzv4^_E;-iOh;Y)9hK_mq`i9Upzae>?d{2^7S*F;Wc_uNfmwDNp4?UceH; zqkmIel%5zNqNgIQswDFxb(v;6-@nO^_h}Yaxu3|R{J{_W%DD`TV{&DI3tBdEv5pua zI|i3kd>S#YeLmwj2YGhu@bh28PDVy)*3ny~oB9BJgWg-{R3eWrxy>vDbb)$fsQ2G{`hbu{eMUzwac7RL~-6OIHGQRstV-%CEF=V1ZBhR z{ITL}iw(25t>7RZHQM&4WS9JLdegQ+@lMI6^4nMY#E)$9>=E=4&A^Xz5-97<-b;!( zPJpJ7pn`gma0X+Ctdqn^3G*f4RtLe>*}OgyVLO61MG{v@e_nsQezvki*-j?EQh!Bf zSvcfiG5Z~&rEO>2&V9oW+w(DtkICF;fOxCffE+d}q?d%YhF3ym%izGUZv%o<2?_>m zDbD;e&8nox;sd_P7FljsGzFJt81aC2hPZ3Yv*`d1hXo}}{u(=5%-hw+1|xCWq8U0z zG?gPRzj#ndlo1o-YD+YLmDy)H`r`hewA@W0 zLQ!lP--`XCWjVH+uQx3Z575}A@h;0tznh{0M)E5_Y!bhJJ`mH=T^?ALpHbm0ga^hhDm=sh zjl$zI_KzOd+;ZS!6%p?3u!g%<{yECav7^n)hg1cML)y~EgXc(PmJ_P=h}o|v7K;Or zxdt2aFbiO!DIfDT7=K=GKO@8Q_VX@A#=ymC_bw^?yp?f?!xd*&_=HKi`Zuw%;xDu^ zW4x6a+gKUA_Eu(=s{rs>E5+N*47O;@47MMe84L`}tRpLs?9I&BN!kb_lQgO^2kVGr zdYrvpl(Sr!HDck0$>?dHZuVHiVbR{#-FT?Xu~3;~Slz%X zr21Ey&DLUsCalN$i%LU_;ii5&E+|2io5Wb(C)GHEJK$M-eqA5$TbXnjwzooPj7=Bi z*PAZ9`5F%$Ab-ml$#MxM=iY1Qk*V5Q*@OFYAo z=k@}~3U&v$Knz4y&FtozYemmhAt4gt?}1W&pY(V-B!5Q_ri#kwm}l`83tTwpE8f06 zx_7~ucnjhOvMSB$rg{)CUBl6)$yV88bXooH5VYYbt=eKva?I2J$Gs-}Vs3rIg{S?E zpc|yoH$CpR8j?;5MV)gS>QtwL+8UK_r53SFDc8bkKhP*W_pBaq-(nwAaKU1 zf3UvDH~u0Pb6QXh`o}^|XuyTbF0s~}IF9vrNOxGswx1A(!o}#B@|RFxVIv`56TgNX z47RZR)@%gMt6wB2>4AS}d~+zHfD^sWU>Ir6+<%lZ!X`p~ha+UZC(TZE<-7W;Vi2sR z3Jn^kv<5A@>SQQl;$V^naA6Q=Ffl1NS9^b%A*qCBFCZ zudRwq1u`6U zqJMdO_jg^g(UevlK(N|O+zosQorXT+NAd21zggEI0%@<2beDXj+q$`{gt4IY*zC1F zkk*7o`bkG-43z$c8F7N#6eJ1p5|sNLs?>RA5)!n7+6VaaK+QdKur`^Xu{UVpeqd zqHHe*#URxXzS5&aTNuG6Vn_H32LR~QPxQR=;b&VONU}{{F<1`e0-(L~loSBV~WZnD#Ls{+v3{yJ8Ff0#Bsx)RD zJH*b??yu+Q;#+E`X_FQho+3-CbacK?=ceMx%>+-re)aj)tB=1TIG!XZ5mZdBmJ=c{ z5<*Ud5{OVaxw@YG7R74%`_*?amGJIVsZgw9SjkO#^UcLiS6^O#PG^+kNTBJA3mpA? zHI*#7`0s$S}~F_t0ygo*5QcC?lR;cTBE2j zj0gkJ2t}9%(5|Kljr2Q@j*PU&W&=Q)t?znEDH{@75+o#lt)Z3&24f+!OGXw0<cch z#hqV<_syx`lO~TaVV9>l7%U6j+(7I z7eXS&8(@FX)nWzru0gJy7<0sh=tB3}Z{zNcZS?Mcj@?uH{`xN4_Ft=XvGSvV(Zx;f zY_q#2gi$z4+}E19)eCEEz3E(~;l_AmKkgwEE>8!cvtABU3|dE+L|fh;bvfQWwnZB>x9#8VlKae<5m3+U~w{hK>rHu#4uP4X)9T=T%swDAN$l!7}!^ zx?Vlq`c}st_ZbI)iZwssjK4j|xGc@hpvsf3%3lvgF`$LUtS*Xda2bZ;cA4Lg@(M8$ zU6S1CEmOP+rg&S$+W8@ZRFcS$Pgx)7N zp)I+gy(rf6G}o027)jia-3{dy1@PPp7lJ~U-d`ZL8nro0FgGkgxESRgu zhT`+5?GGto3^~9rt2DDQl;GpL+3ikGVJVn%7Z$@-+JAcc{bvY^p+7(?S!CmOk&Mce z2&DL_D%h9F?USg^pHR4;v^hFl(S>7w$x!AY5Ko$bqoyG&U-@j$?%<=<=G^7Zdl~?r zQbaiIgI`CoRwvGK+K>6&VVfo33e)&>tT=A%V?SlGBlkne*5>r|M=%_$H3#b=*Vncx zbvL9!2FfO+YdVIFCxuu$b`_e|dZzg@y{%J1$-7pMxyT```p3|U9Grt{xMY@p#da`G zf|U~1kl~|`rZW-aQEO|%AsPQy%x$6&qq1*qzs=ubOm9O5aF-YP-P(UNHJ~vXDuD!M zdlA)xQh=A1Bzf3-5`qy`rx5@QTF0Ox-stetp)C`{aBJ|Fl^NWLg3n_68||T`hDHb)^7|+lQ-L@t}4A)Iag`F{7-4t8X~nt-MeW2bTl|4 zJ$){p>;hqrs_046IJ^Vfix^RHsspy=dZwaFGpmC`aHEv<=ms~a1Het9i5NA4n`$!0hULU?Y64H%h z_yvw6CXWg>j^x*jOBH=GbWI58xhP zY)s_}-r-*wgaug)*B{6IC!#bt!~4wr*Aa}Q;7_97zt4;beR=ijZ$4g^!k4H}0Vf19 zG&4Du5zqrFe@k=QI1;|+SLn8KO@!bL@R)gIYqw@+rzYOhOb#?f+pLvHl}I`9zu#^E zBte?AWW~v5YJ4$42tYTwzkZ-W)5Xn#F8==N`^#5v-Z7>Y2}v~9i_7Z;qncQqEVR{x zakIEwFMeNQlU%Hnrpy2Q@{h}l510RZ^Nv#*%~OI%f1ALnZojc zT49(-aLg+j*cm?;D?u%>k}p==z!JjGdROf)R@};EiVv~erTaP$U4L*c16?K;7A9$l zbTuO^VJ+QslI)mQNt6-o6t}P=vA>C*16x@!MiQkwPt`R{P;_?FOcTzN&)u|N*w|=c&3(*f2`M4lIcoB9n0C7St`yge#rFD>y~1Pr<7?39tOy!D~X4dK9jL ze^CUXV61~Hb_KX%vxRFsva0LiYIE;918}kFfr~>BxY#obTrEHj_B`P7A#jn71MVuI z)dEWO5Uc^y;9{@tA9uCF63Wb3__fFJ3(-p_HsIGj5x-MV;T#B?=W(_Wp*8z_)G4GE zP^bT@PEz-?UeCiJakI@i zJ8rhqYjC5V1zptGA-aBb7((A+nDZU**rrW(>)edtvv|OB5|abA&pKHEy^lq68!^Cp zHwRsF^o?*Qq*(M%rw@laVdV0+?pOl^^XB#_ZA*;o6!QL%Ws~?3kSVDrA?R*SfBWXB z_Q!h#YfUCZjeB!Pu3&f=iRBro>fPB2=NelETgE9II-J7SzUwaC9P-x~Eto$j`U%q~ zJt~Rr2)s*+&8#BilTy}vzn@7p4OK_1*{~?`l=)|z)H;Y|)n+#H73V-B)=7|c4-Kb= zSrkYj`?E)o(-|4x3=-<5*q1i}f1O$rsqGM*>%7kP#Z>`=R+5Kk=bOk3Yydz5HVwOy zTFfH{)>OU!Xccuvnsbbhfm5&?De^3N;TFBTu+`iaHMUr^?G^0%Z?*qDt9)@~U6g5) z*Wl?a^j_jDCtRi}(M%163js63;)@Ts+cZSpYcwp^DnjXHoj18pP8G6}fBQzdy((@F zMH8mAbsAI==<9gcwoeV)@0)$$(el7)Ne~ltXv^X}5o-0$sJMpTpRzUAg{}r5yw3WvPeJ`z=T~ zQOo+U^TxZ%D$oIF+<8v;rK$Y$CNJ|n0KvZ%5op$ieJG0%YHAx^ba(6HkwV;Jw{*=1sHs_pEp3|@-3 z9Nt&GeUKA0ageFI9hi2sH*5;qfJ5L2W8sj)#qzoejkNU7$Y+Rw&yay>==MxQqt3T! z*%VnF)(9aSf7^(Yv>om-oUe{~@hA%b=bvU-zH6La;;V-#G&YDV*XoL`Qb#Tr-bo0)S#R1$Afjsa`H8SNIF zWl9}msy`ey7vN?ulI4Fd(81YdIdhYt*dVD|>0qiW@b}+Eug))`g)x@&TZnT$K?yUm z--A)h1O6#zL?YBFrB~Vw+RT(;ggm_rQ(dU(at;ILkA89xEwn%RI_9CKnbKoTkJ2h> zx{Ty4f9P%vz?#cJjZD6}6lXRs?6JKIV*5eU{#Ne;ZoT++u>o<_L*wFh`+@w&pZz?8CyJ zI#y~n{2p^Pyb2yMX=GHdpkhwtdgvu^Ngrq7tUK){w7ac;aTCw#CjJ%N#O5W=e$hDl zSibq@CExtN+rf{Zy8`Us?j>Bt;nHY+Lb#NqFKm98=7%Rk!#urEtU0ji>xfFSa6!Av zf3pG)-mVx(`Lg*~`G%`8xz6wjAM_22fLI7(YI#+;@}8S=-K_djRy!cn|0s*f7cjbN zYtvJ;20Z+`x<#BskG>bD5XL%Ses@yU2fUUT*O-7rsGZCu>_Py*A7t!Di5ViISv|4F zKSQ0y_T@r+38hGZS6>gg8kHmPUyCdse$N>ie=u zKZRvNJuD1FCsmYwS%0~Py}NWCyTICElMd@jqncD(PjnTlxa>B#Ad5GO*KMKx78YKM z@H~`#Z4DnBM@WpMR$x0o`tSQ@rL>Y(mRIt+Ko9nEsoCLh=FQ{GuBH-F zP%44QuM#pdt{T`Xt}STtdkZSK&l*hqnnGy>R|<^@*BmIBPBe3%oS-Q~BeRCqaIHQe zfdtPh@P%K1-m6a0)<}(_o6d&N}YWRo6sZpK~?4+hH3=>m=j8Mp=Fpg`;*{u~0 zS(2NYFi`4j&e~~iAzOp6Xvh@{s#wU)%0x8i`P6Nmy!t{7lO ziqEvbN-mQzFldHxT--3lPw>t}4VtT9#_)KpFdl!VaATjr60P`*1WE12h0O{p#TxciAX7cM1u_k8A$UVt zgJ$=2f+MwfuxpxV7b*ynxMvY(5_dYR)9Ma&J=MLhKI7YV!>V8)KBK;WpE2L0ukM@d zG*^FD0YLfB4M-!8P=mJ!x-2E=fR8MR%j5uP;PEEGGPX;QGlU07VGOL(5lj+52aK7+ z3d(|YK*HXvG%N^^BJ8e}LP;Jt_@@v8X9!j4lmTNUC!Y}v)MpffR-w6u!tjJ49z|R$ zLAYBPjwrAL0|*zG>QF8frW&-DMn2OpfT@25Kh^}ThJ>j})8y!AGJQ6`ya`7~Vfu_< z9l>=eyzcJU(f|FS})eW_A-!!t~YCXJPtw_U$H| zPVkej_V%wYGyHJ&VK$i_W98Z9&9%qeAD>KL&#vcRug+)JU9NXiFK6#B&YsM_g_D02 zd{b~&%cof8>TZgz=F|HDcK^!527XJ#E^U3dGSq{KA*pxhw0Ps z!}-UvFE_KRs6V=AMlpj*i%w9iFb99>fCxoRp6V1qZadAeRWqK36X)A5gung%ha)?h zIZj(lNUh7SpFjWOx>byn28WT3{s8@|u@dz8_{V zT*VC6SilBSO03{E$4+tfM9^xzC0G|Xv-sityYV0+OffkxQ_SSlU1M@~H;#X~l%0r? z5rK<6H^6|AM-_xcjbj7xGpx(G{&!|jWIu*e#j>auYK;sw%`nSIhMVE}lXWG3lE!Ln zd;au=Z6Rzm`T=`uvJEEW`*SeoUVd@fE5BAY%k)2D7Va|(%fUO}2NOIL6SoPAl;{P@ z0RU=#c;q_{bUXy!%8j=A-k*QxazE!wA9j)srFE`j(l?6b=v6H$vgma)H^rG-y!wh& z_;&h!{>!h&FD~9~(uIth6dSQvi_-{vAgv#ma&TZ4X6m9^>)M_%1C>z>Ax6u@#p!;Apc9NHxSi8niY5P&OgJQ<+G*o)1)_f?}D-TTQp0K5b@NHbbO&I4? zL_0Z5n46$4IE+`;4~_NUtT6rqoW$Di19ey*sAj$Bls!)3HDQ#brJ$#-X%FFBL%B^D zOhsq}h6#(I!)ybESz~|JfwEbmhjzE{veMAX=zDdTF#3!rIs!B7IO4qQ$*pb$?Fd9+ z{o~Kdp-{BC2T`mE-$fMLgmcP3*Z8@=5{yH=TKe=`@?KtDDJlw$T0}@jwFl@LiUyuP^nuz6}0-h+YGg_n5*BRD_s5xakpI`?Ps(odaoaO#wO zQm5>bI@^RD1O#f_EnGD^lBuD%qBc;t)R=*%VZv4-CmkrP7FmYcEE>6%fx@U7{d>a$ z63HfykHFlu55Iaa{A%4Jh1Z4eXy>;HqZW<1mJ#y(fqA@f&&Lb>hxoYVJyLv4c$u|g z4QMU~OR4YUI>^VCdS_)@Hr~ya*D~hWnH3dfgF6ttj10EKDi-*V#eB88lR@3>DUHYr}tp#ot2=)y&+zO?lWhVuLBy z4x@Y5LY|r%N$j6&_etV^o#dZ?M}2`f^u5bQt2F|*k@ejo2fJmDSMKY=%SJd0vNDx{ z!fZ(4p_(3a%bE==ghSCiv!O>QOx3T19&b98cLVQmU!Ze(v_Y6>a&{j($gn3L5E)+EMVaFdrM5u_}DX5AEA)}P~pUd2~x^y&r zQv;FE$y%GN1&!(qr6y7{xbf7XuV)y285h z4#V9#O4opZN;o>;1}r+Jy>lZ}R$=&0}X#l?#$P9|}h$quwNI5^A{8OOSyj|g&wTD9@*lKk6&J=~) z;qXUkII7yjZ0~=YKC^koNN~>2o;M+96n|xd5YL?`fhY}Uwu4N*c9krC0anE4FNZ&6 z0k=P80%IN;GBP;|FHB`_XLM*YATSCqOl59obZ8(oFf^BehXE;ntyFnD)NA`DyCQ@M z;Y;={lwH=b@B5Zz%nU|jX3T;iYm_a@k}Q#35g}{#U1d!nJ0a;LOO&MF(0k5#KmFdn z-uL`5^Z7pab>G*$T=(+`@|jynYQoU&a9uPCFDWA>tqhnVeB22*6Ewxj$d%*z@1QHHto0&TpnCbx{ zdZspj9vlV7LXdztfz%2VFh)S(C>&fA@IYe$HqrJ_sC+^bH_zfF~A$!joozM*|2H6iI*`6+p6kppOf}V9_KG9}-3) zGe_g_I4Bl@!2_hM=3w1lb>h7s_@mr71PKPv9wbi~8cH~7=@=u?kWf4Xfx-cJcmVz= zmpdGQA#fOfB!o!HO(Mf!5yxc^a0ry=-xWvzShyzy3q!(jI1&ws`)E3U_X+%4_Ye#Q zNj#25AA9{(0|JkOBR!<(Wn@V?p?FemPXvno!qKuApghokjPx%%jDYzQ^MhlL2PAT| zGoqv-ATTrvNd#bU5BdwHXgnz;AoAa-EcMTc{0~Tf{ErCykI4JKiTk@o|8|N0*ZcfC zwJrgPG==z(7U0(-1CU-BG++!Iy)#G%7C3rqdZD<%EQjKJw40^l%n1Rm-IctDV(nH}40P%t$vy}x|()6jt=7g>4iP^G$(BW-kOMk1OG~6XM%?P zbvWYD(n1FSL6Y(^fTZk21wcXJ5}+s}6Z{`C9@EJDeKvvMv4{Y`Nm@!;S_UBf|M~m- zG&t0oSv6pr;aumik>J;akX_pURXK0HS}Keyi%##K}D3*(?R9K2IA`vm>=&9#g_Zp z*pb4mcj2FM&jp_sZO>z#5qhQ|z8rDErI;ao-7Y?8W6XGt(otU8c6s5Yg{4c;0X6r3 z;IoTZ+KoNYu=9R-VXOkX7{(B2T2&%j6Vp>NmM8fi)`gPa@9heA_4oF4w{B9kzvB|m zPNWl5fq+6%Kk%jCiEh}PYUm-=zMq2sf{Mj;rZNht^_2Sf;66O>hC{bzO%SDKPjrMr zUaj|8!SoS}(CjY!L#rHi+5W=ZFy1$Rx;3JM9Z#h<2lzX_de$lMeikmw@V!OPo={T9 ztIK7C8=lmlB+J%4*(XmS5Un{BmB`oB>G8r&czLnx4#y#yi`G>osq|Vebn~?OJxkn9 z(CSl=5%Z_R#Nnt*$|?s{mL2j7bX(z1d1`33X#lZNn?=8m-%ps#H-pA3{A9d;Jo)(n z+l+|#K_F0cdD>xLR6gg5bw;2_0(WH3l!m8)(U@$m@T!+ z_N=@dujv~#Co@yLI(lxbA#^XoahB&3WnJ5C_39HdCCaPl zYOFBktON2~khNCbH&%yD+|E~F4x5t}GaO;nEF+u7{r4%lptC*x*P6rO?t|uX41-b| zV9CO}7JJ0Hi%8=+MrAJEi_UArtdpn8#Ik_Ch}gS<4>nnCg*q5MCIAe7&&tXU$9mf& zeM*f6dDGl8r(1mt7~Y+6w3(e`4y0@((}2vGKE6p6PyeN6j?JlLS?I}9uTwQ-M z4P_2!f5RC`ed=Zd&a(#?rQIUf#t`i}m0Raq#JXJ%s}tLQx32Tup{(Ld`#_1aO8d^F zAa9?+oe32y1Ub{5nn_!ODIEI0n>sb|MC$(hNADA=7b!Ov-bS_ks4nBYrj-w-JKUPU zk_mmeTo&lW0V|15qOPls`FTgYPj)K#GXa-OHQDQ=*djRcJssWa)CW#19cAzC0yT&7P0rzrEzDTaE0vEh3SV5Qmh~iOR|4w9g?>J5 z=mAfS-|MkKqV9MQ-{n^X8HFIF(H0FUutirs*S^(%68k7yA#2qZdy6--9MjVAC&U?f zZ!L!B3hk}&HCDG4Z`ex4ER^O0FsXj6B{r&!EsxYk9GCZgM6j^(`PZ&CH)Ok+&vA{! zdI_^uZ|kMxNvDjLMyc)&aHz4XCg$DcA7tr% zYKl33#T(k|Z+CX3mLIIl^^W6@gu);hI2GL)h*<)q(W@k9b&YSS#nst@7`-J|T((Cn zC%yg{IPKNNhWi`1=v|&kE1Lk;sxin7F_f1dP{!Wr0#=T~1cwdc%33W}amDy9XFQrvocdD*n3!Gg@hMLE|l+TSDxU@(g zBJ?cj;@H5)${}x_ch>+;xD=(**{(1f7Abes$~j9BH9FO&`1I-PxZ%jV!#^)87)UAh zS)~k86=v1fXFnNz68yexQ6~46eX5mzT+NujqX>7iBJ_ ztAT?RlNJdkho#Q>N|9JOEyr#uRN&+=SW}fav`sb9opt+^q{i?)DC(1r=@ckZBDIma zcx*(K)wgM9ofkOiJsv-$&R~&$>+8a9Vx@pjvJfA)J0T+bND@Z>%KkOWh-$`9YR0W5 z{`cK^C0nb8X*cJtMCq=1v}`TMN1qP-#9mM#0y5LF)%4p+W?_=b@RW^2+Xb<;lxA1G zt+CVn&D#?izj*e%p)GIjfX)4L9l*+e82ZgngLu>* zbVftHpHJww=;VZL>?-E-#D~cT3U6Cpbja1dBUZ5Q@)^m=ieGy607~s8fz`pJ59iJ_ zN2s^aekdrV=5_Kbk8{~7R!90iD8^eU*`%{HGV(iRI*;lKn7MXdvWqk(7!%8;I znw%_BdV#F?A*zHCxX5UKf;seoW=rWdg3x;Z@>?d08b8qL^iC`f9Y1A(eGf%4#7^&d z03~sL>$CBq#AR@Zx1M)QL~=wvuerRpoZb_GAI-Htzgra4+E+z3e|gurt`+Y8Rd|U( zV|q}A}I&H&JnSG_i1k+PdA@-=$aN*<9&=+5JaDjQxD-IuUH1 zqig^>Bru9Q%l~|;^+&eO32RETt84{C*!X-5v!8%kOrn5R#m+2Z8{ihXCfVgO9Mj}& zNadX4700VzM4RP3thd870HXW(oTs|sVUz)cHqM7hE&|BDU*($LR=eivd6V~Xx`5t| zQ9q%8_6(QPtoQhTa~R0EdY6=B#8gMC^ zoSjoxDs!A%Z`oz??APT;1K+%&{zieTpfmLvg0KXmwQ?SgsTZeqzIe%s)e9wsg^cOX zg!^8y(Y~&KiaBh*Abb@@Z0_r+o&sN3sOUl^{=6jC)Hb`H_o*t^d&#@ObkA$b zKVvp1b-R3Vh32DqCYJZdtnIZoBFTjQmDWjkS5whV*Yg9YtxSJz1h2Q>U zXOdxmosYjn%WyVY4GgE_(hTxW-NNzt!AC% zJ7=))w#jv9ufaZhGlA1k?z5gWgB#wT*Y;9Ffc}Nsn&e{R;nYY4oh0)Kx5T(V(#B)F zl7&$;JWTBED;SDAev6Jqzrs|b3|KEElgiY8gNVn;`7GEnBhlrz;r?SNCB-U>a9Ram zvSzS${$=S5!z(qR+mEDpWfF?M*ng1lEu(68CCnMxZ!s6ZWJOH^Ebtt{pX99+|7AUY zn^&%)U)5Fj9!0V_<m=mr7(+8i3?%+l;5<)Jy<-K-`aYq2_?_!a(2HH|0Uwvm z5D}J4T5-ni^KN?ygN0TpIV&@h_P#xT1~0)sBwYd=KH}~BcII?Sy8PpLobf8H#zJq$gSU&(VG+rA-Fm7Oo6Pz(4`UC=&_61(|@d{s~#K$A6of#B}$E*F>J8a!xly+Cl+i%W2~;O=&Dhv4p#0Kp-+ zJ1pOB?Y{gE|I1X@Ojp-bKTJ)ZK7F$5ZGyDd>_z1KX4l!jkKdRmaLh4o%XUjOoloq1tunrp5rfdvWt`wx<-_ao0z39;XMhe>#FJ zAgI7vtr%|iP#IMY-cK8nzF&&C2R9Z^^s^#;drnP1G=n5@Gby#4Ucf|S7b&9pNkrQfQzWS5J8TS~obyHy*dXsY#(-A*wxtB2Vd;<%SJbk9nhu;P5I z#J|9W>u>3Kb9R=wmOkREQCBD|X&G;UQ*Ub3{kRE^^+MYu`f631V=MmTBpmFkUKTZy zIcg*s#*l|-=53U&9G%}kO&Vz7^R41NLa=f7odpXToeHsm#@j%_0fu3(^Bd2^xGrGy zjE0Xi66M~!7`CYbik`0gWN5Y^X{o`5T{<`}QQaDRGQ0666?C@9u=(2qF4bkf;4}&A z!K^;Wbxp}EauT6V%)6~Xoh)+)E@6K%#fAm-T`D0?2OE#5+HQV+5 zNuZ^I0oOu4fyB!2^WQ!WU1_cLy+6hF2?Z$)+bJm(a|rYX@HZhfAs@9zkq3Xcf|o85 zJrirW1M{i51y61Ca*Af>l|HFX%#mR}I};_#dM^#FFi{28S|9|*IumTwr|bz$WlRI3 zHrt%oA5bkJ85q9!w^owB4jEOEBqdxbQ|DR1Nxab<9xc6CvzUg4lcw6WBymVfK|VH2 zav*bzUw;$Tc8@#0&+b6MHl?k6TC4M{BOWlpxr;CskI}$HGpLkC}oT zFhdl9DaRoxr{`lFQv-$^%;3zU(j!sEZHeb?QPAd__*ztz>IU}84s2I^I@DDYP@2)z z6+rJ}g>u^%hqYz>ODCjjmTt!#fxP*DmSU5fDQ5JMh@e+>BQ29GT&xt zb^eR+0`D4pD+{#-% zkekSo6srPS9LVdQ7k!vf`fplI9X7fP<10u{nA$2vXJxOqE(ZE~-kRL%5F4}{SJx4I z)R;Z3tuD4aftB`~H7ofa>LT(#Js7rj%|{l3C8e?V!DJH26WKl&;?BVf)FLKZcd3zv zNe-chUlyQU+<}DmxqOZP{03vs$hA(Suidm*cfBtUEP{!<8utU%gQF)wywX5vJ-|t8 zM(jb7KX;5Zv!VCePc(0jVWZ0XpU&io@t>|>S8nLiiPuAha0%qKjm;(OFaf+FnFAfQ zP-}$W!Cpk){bDFq5f70;w4D))1f<6lEL&Y{s(Sj+3ZY#ArXDhdoN`@p%+R9}%;Lh# z3DaD;nxY5KYrFoUwpkyaJ+(Y|ifq5`oGIoCX#upA^~+sIhE&EN;4WUo^nM2V2f5t1 z=-&i1|5!Qc)@A6N(wMRsNiD60{i3bw$59j-@M==uA$Et$v%7ik*^O23WrT8IWwj zKfbWg>crW^6$SEiq)Hg6G&uEmTxL6)^i^4}F9%(@v2@z#^+OhTJeK2+U4rgUjnw2ry zTAgmnf1UIrjrU5Xt7TP4syRW=ZIINAEpE(e$u3dN?8EyxyczZ@u*iMol2bx7 zi;58CWn!4|A`N_m@yWhK9X}StiK!E? zaon>$O`ve+@tgwe%RQum%mtChE21Cs=D(7-{h$~!wf(_8+Kz> z9SnY8z`i#>`gh|USpK_E1y68<)zCZvr!J)7_G)mYyvso!nh}v0@<};LXI0(u@4(X6 zWg_T8N`?w)$Kbi5kXSo27RFf52wd7eG$*@G{JL20WQi$k((EZbbqTk%KbRu2Dr^F} zK+#cWP9urr_xJbO_tG9#YEyg8%e~Nmrn>NG%M#fz2Hb)pFX57Ku!p&tGh@3%t@lG% zk7w@lt~Z1--}mQw0$FuZ)~{oxOVu)?2-ui7m-o0f&ld+1n`uU8mx_XWVL{GiwqKky zA>v+Nj1`N`a@WXiF%0-J;qpRJ^57&tCea>pKEWr~BS@%UnqZSo)n2HS=*abYVYQvk zaEPB1$#KGmO8Vw>gI{a`&FwSaukg#n-U~DdPeVyt9u(VK28|AHP44g~_vVcL66c)Z zzhUL;U*Z$m&lpkgt*%(Te$dLEPbzOVpETi`y5#YFUFisaCtwIfUq1_caZNtqz!Z0+ zVN`(p=A~RvSk((3n)hug5O*Fr;h>_N$@u`9PB?_eWp2!@z){1hm%bLW25kSvm)M45 z89G#c2ZDsFde-_(+%6h&myTWag^~?BEUq=Y;$ube1da%1qe8_6OEA?IzcP#z$jOIF z@9qcH?o^ugYv?g4W#^6YEMoU#r{qP(Ew$Qi&(aCrAgpL)Fw(?nHttGMsHT|0MsAt$ z1fzad+Ex?B0M~szlEN&bLKdwrSc~Sp+<>THJ@)Wypw z9o$IWIr{`F#t^*e#SpMH_N!^w4(@_DRkQIG^x!{RXIZq@a z&!?(P;G4N92`{%hCqZ>T)?MJ<-aG)^s57eWyVJe#VYsxQeSrfEZWCq-F2NG>=InAL z*zZQf*Vonaeo;lXt7k~1Z(A$Tv1>n;s=tjX56fMF6?fS%^~be@-O!bP0!_n%FovouV4s9A55gg2$h?)rJa)sjP zgkqlJb&S2BsJZm~uP107<7f5HC-EYI;Es3XaPX929hs1cpZgfmT|#!f3$JnRO1wcG zCUK)8uZae)naf?Mp9Q#~r@ibX<;rja{JOu3f0nK_L1;m=9s4ca22N5qqp3{Y4uA<*X$7$iw?RIxGo~9 zi4ijW6f6(+zjRvhwRpXB6z;#=E&%*e86Kc4;jLm!w7YIX2ZXSSqP+#k4_zZw&D97V zoV-krUt7XazmiQ#jjKWyK^!(KAb%$qB!HE92Pd1p{mA-ch;hNSu`iK^!1ILYbe6U6 z?X8z+4o@llz=E8{2ztpRxv>bC)YpQMaBAhmcMkad&H@EJBTl)m<8u!1ByP!I#c0y} z&uvDRR^)(CE!h9webLHagb-~>C<=E}_b`8mY^vac-H~kTLM?4@#4&0xqB)`#+fdnQ zao)~!-UK7ueg8Wu?H=sy_3~5(xaTL0ZYf58s^4WDye4BVb57XpZX^M>as|qDa0ZU3 zo6$Fij_gRslSoe*HE5r>DKk_jv3L5oDu`Y?%{ZO(=Z7nPHsp7>nyxu_>#~okeC*OH z*o-9?78d-s?JwMYXxF>07jU@qjnrFIt4c;W{fz66ZXBpwFRFvxR+*T$?~MZHT@moK z1M|YS>;Kz%F;%#UN5B9qb!{-JwwgJ>gYfECAO8}ui&NT^4ZK!pZzrJ1Zl$((z zp4rd-e9(dkjvArqn4pe^pURv*eozS;^(JS%IA7_PBb7J=jC#R1l_Mg?-Ui9age=Gr z$|x*~<;pV8KS_WVjShlanY7mjYG7YMf^6~0zTr63pm2Zp7sH_l5-o)$&UT&gsEhIZ zb%Zr8O&n+lFA%?+2Ek$sM|W|F+tfD!SqRJ{~M290y z?k81GYdforbGn_LcoJT@)%Z}Yj?3Pkdwy4<^dc~tLNA&PirVb_Wt2{iMmJB`=3#+J zqT(%maQoNQT{I?lwF-5^?vHlPbQM>NcKUT<8%uiBYX-PhSX$TOOgrN^(Tjm+`I+0u zFQ~qM{ZjLc)ffeo&9(ftV zd`HQ&_om1WdKx**msbCu+lD8fcz^#7IHdH*afFw z$!d|kXdRnai*E9Jr_ZQp{5p7w<68D_z8XJLrcTFRdOH3PR49`DmV$Uxnyp^aJz-=q zn#|)AJ1?pq9uCRS@@~}`eSuZ2aNN-?Vek2>Ck3t@lq|MFzl7Hi4ww2CRg^Ymlw$4X zN2X^*gk(>^aFl;N{S8&cD3frjW^%y%Md^)bYPWVhdg}FsCrf_x*;`m$xp+EqUf}m& z>!15alHC^1blSLHAz_LB2t(cymp2=B@MSt!p);nL2?w!Y2Vz}_@%dOu#$%O(kR=26 zp&2Zhp(K0-i2A)h2fHN9?_+>qVlh{HP3T9(H`!;f_eH*5sg_Qown(NQL zLnE?zVr-j@j!Y@@^EUmk1%h1TH8El4`cf&e<-rE`Q%sYiGbw9h5pB!dHf{B-b0mDV zJFAXL<)mvys-a|MHF`wqhJvCy=+X_63IbvyyR}UDn*Do`# zv@|yAA4BF8At{@@-`r-Fjz5TLkdzID%HTV_wgoJ^!R2{{#zjHjJuIU((#=?h;|4sP z9~q`<9;TP6h8AtW;6Fq#4cIWwm@x0qjmfX3|1Up}kB2)Aumu~&%*n;Y$-%?P#mvD? z&%r^@h|I3!U@m3iYC*vuCCJ6W#la!)zb2miM zP6od~hAfHw&j}Y6UW=SGbeiiR5Ik)?k8TFQtbe^XvyP856X^y!9Z3R+(PvIr$Itx+zB=TML50}XQ#F)e?#1Tfx zWR#AGN@9dJ&!*{6=i>V^(r5vmxMIkmV2K|PpuqUWz%t6IAw>!|hD$9CxQ}<)!N8@D z1o{u9OIs*7u3$0^DHy9#)Aidrt;n^9{=_E6gCA1=GDKuD`B4pS<(Mz(1mT%bs+4_= zGfjvd)hHMDxqiLpt9|$47d^=rU;4G_VAvB_e)Vv@e*Jctt}XTW()kWnG35Oa`FRD$ zsV04Xy^yR_Y-l=kmNalLwq0_a)m;{z;~Cb{wrE?TWfVTj46dpCkilBZEk0Ecr0FnK z_j-H0cySiSem+9WZB_PrzEPqvB3#qcy^7!NmD95@(Q1fKrJ>7zj~@ zYVkHbq20kcCqPKFJ4^y&J+{J$t_5bcsTDTpQjK3W5ZS{Lr?g&SX}ecsQkBCcrion% zkH~!+E(NBk3p$ObBrk>TE;sjMJ=LLg+2SjyzI;-I1e3}&&!Q|P(NDK&5C8!q-EBh zbSzvpFm^0>D%VxlQKo(JH5PH??T&@ceH&9_u>v%MIqZV-OoI9E!^N3xB>ik078C7Q zvMYM@oU@u*TJyo*m|h!h-(T0$UdL~0&;5O$9{!OJcO2}XSs6~GcRxQoo*g^Azm$G! z96z|7%-fVF&R=A(w3j)t-@Zj0m21AJd~khm=C?oL!v?R<35(m)1BRRQ@{{Jg8BQ)t zRfo}rUr)0z264}`@_Rbp_fA#9(S@wN?L~gd+O2-pt3U;ZFaF74>GgPiy>{@})=JkX zd|!VXPclE)yYNJ3Xr7thnRehDnf&`ouL`ODG3~*gyD2Jyhui&K$Lg@nb={S)t;=?o-Y>EH0 ziz^~rYwSwEh=kv!gtH-z`ML*3P)BE8VvWf123W_?W?}|Y-Zfo+cmTy$j7NqvVvAAX zX*&a3dkoTUwhl%nd$~-u!E#HZ#JCdpi0z`E-v8jfhuE+$Kel89vSeem2C8zDe*I1{ zn#f%w0Udt^U+C<%Nu5{2@AKa=v4K953^r++CE$<>EzHPBB^yh%R+$*Qe@m^*-Ngp% z?t?ryU7BrqAo;zxOgF!F`GP?IT{pzj5g%L$J|@z$2A58aUoulB2znVR6-qdk984ko zDD61NNp6fdbVIpib@jr?L4TjdHL|7cca7r-6F-qZ;X=zfZxyOh4w2bw$~j|B2$;rgcKgP|4l*aH=uIHUr+Jd_ zYkS!j1DEl9rw*Dd%OQwQJ{no5A!KLrk~6_w^BCWgC;M$NAX#t8bF(K!HJ)LHd%D~a z_B(}PdB1_oP2w|lnaDcvKRHctN55qg3W4$5yB20RlguU*#=hql{7UD-l9v?Y5=0$+ zF0Vjsiynx!NX`Cm03?1$4Ne6XWmSjewM-RJdQE!}1x*Pu$39Mot#2-|2$koXiO%y? zh|lneONwpQh3#TTsdrP(w3evRAmIHpeBQpJdXd(}+gcVcH~qHK-Poa}ZOwVdj#p%>1Yv8&dNJg#hW zsKW?*c5R_ZCjde;tvZnl%JUSkLHv=H6qe_?BkUY4G`yW+$&T$vHTQ$QV6~%6swWxr zg$U-OtxV}CK!_SRZk=A=YImn=13uIlyHqG53>hD_M$}g}lyrpq;+N`jt2emQDY8=k zEn`Ouw5z$HTebalL#JvRyDvmjzhI6;-6$k^IXu@2b#!=qcIeCR)2N!$aq}pVLFR8K zjP_~?YFLRKVSIk;>SsiT0%>Yze?_AcHFez8C5Nx*_F%0MoVL-FC9fiN<-t1kc80p~ zK>^*)a+q)^+hx=E|H*fK{E=)5&7mwUdz%0}>p04j_&8Uvo+=ti@^5U@&C?v zn-yS>LhNI;1^$ArCkpa0R3yR*xMAy(}PEA#ns!p9L3gG)*MA~s;azOY?vzgCEo8f2!!r#|e8M4sR z%rOb-H2%$dtnxby@gK-Ay*5zWW=Sv^uQbs-)=SCQcj|XaYUk9^x!GLMVd!wAd1v%gge=XEV2*aoUSXxk0^Miqs)*Z6q zmM0ikTZyJDJu}O7{#_lLl1-77&@938X)4FCxX_={ERJFI!A57*`w>p(Zl-nZ6LXPU zFYTs*w#wl4btY>5{fAVa?uFgvn=1pl+M=sSse`6nwT@aAsDdOdJdErG%VvFr=13Ng z1Upv-lcHPn1800!J^z+3bJlHyr6IgHXv1X7OZZdw-Fu9`>_FCB2ol@@?9R`}CxhG8 ziBpVQ4f%NI;PE%JM|D;{KqKiyTJ~>omOTjRFJ_8rz%|l4j3P^byW#K+%C^uAWRZo$ z)JmEEXX;-sjLm3=moa)$ZWlhLeC}?cgqpIdQllbLXL_DML1GYlJ|8O@;hCpt!;uW< z^22G_z@hY2=#0%%KquVfO01B-nz7J7^`Ap-g_!v#;B@-voOJN>%vU4j$esx@=IW$F z5uNFgYW=1#HW{X%y(y-|9-^=D&f|kjLEX!w#@?x2D=SUD_mv1-o3BqrRGw*+xP2X8 z&c(`@r7r~+wrM`QvR$9-$xMan{Z0N_SmrDXTd3Kc_AUDD_CnrVVx35$OAqPRo?!u7 zt_+`<5?nkx?ZyVyFq&}e3f*cyckCKFcp{s;t1kb z4M4Qwus_I`@wFxTTATbmMg)ybB}Kt@IC4qq`@jfqxam zY^&oo{(pK#zTX{_%fFo;`+L9Moq670xW*abZYYi;m%oi%IBc3Hi0&uMPoub~nDx9M zlVAG3pB>G=-LkVk&zoaDe^kIp0$;+?j9lKxH(qnO({#>Yoz%Idd3mJ;czJnv`K39f zI0U#Q_<_7!65Ij;0ze)C2?0?G;s39T!TWDhe4G6T5*`GT<^^PmoEd+1`&!HkWyJ-h`-d&UN254#8Y1X=_# z_qs!HAxxPm#(*`1HMUG4@vV_7YLLypZ5xO@@NDEpwh5FrbHm`)fOg77^qy)R;4`~` z?#M7(}m$)OnDUXxq?#klDZ!fHq%ei(Qm}i{K0kk?O!x~b zI1?L+*bebja8e^+>o>z1PiAQ!kO;h6JNFaXYKDJn88j6n03n2EW?DgGHZ_8nfz!dC zKtC_Wfd_rkz=q>AkRi;k;Uv@^xocz{sHlCGqprhkO_v%8C6PFDpP~JuBCB0P5zXcO z37(DFL88BzZFl#J3oAFyH%m8yUeizD!VqrxBm(xN61FpXC7r88ppv}K+%8R$yhb7p zy^@r3F7P#-Q9dcQEhXJG5-BykB+@!1eI;@<`3|<4czMzdST4zeZjDZz$<^{!2((nO zfttv0h2qdq=Qj2)!t1S)s}5+3M+NzVNr2j2}?ZrRO= z)a%YIz$@oTytb{r)(xpmCD<4aB|VE}8A+NQeJD`9AU_9c-gx29mqs?a)kucYqyVT= zd9m;FI24XYD5}FqCYhWbTiPPVXz@K#Z=Lqk-bYj)CtMV^){%-g)U`u-c3XuvumY*6do`}UCur_wAQRI zvGM5yIdoO}BU-Ou#%BaUar{GgzdZ8jKr)v%7gR?mlpsn+k~#_>0}n9FZl5j(^i+V8 zOKr*_G<_c<2fT8yb)J`hEVaqfpWkNfW@!3Q*MEul9nQM21${8}p`(nEMqY92ke7Nj z9bx~#t&o~4m^k|b^JVSwoNywNB9we>E=U$5TlJQbVlHulZARlm;sYmy`4ia6%fP#G8W zo;liG3XH%!6(&r?R`Q#@U$1%Rv}XW6TBpx{{STpA$uFo~v!2fYBFP+Z(dY!^9HPd) z1ki<0JFr6lXN)0eWdIch9dr)h1dX2nS>vS?{l*gp%kpD85sV!nHlxb<;op1Yh@_9; zNrneC1o+<=y$_Bl4#{t2e{as&k0MCmq>Tr@hdM~-Z@>!FA*Hu{Hd>0Lsv}GeV9mq% z4m-I2=B>GGH%L~k{_%nU_V#nSYZ|}GXu%_6dft6qLsNx)ph>r{vB%xh8QK)=d=oWD&K@v@2t#_p(NB=5>=2l%=S36 z$;HZPIg5zE#X@ZNuahNqZzzF_tDlZuSKG|cx8=1675fbABJR(40hMIhA~oLnw@k2L z$Hj3?+}sLYp-Fq~qfO+u?n3;nj>$8>l0vdZhqrmP+Ewz+e`V7rkF2D(-?U1W&j2jM z-GznX;~TzC!|@imki)}Pi=)A=fz+&LC0XiJpL<-=a=AgpT0ym@ouIuO--*?->YzIW z9Xw9i*0GSs5}yuZ5Dp4+H#RneQh2&z3ox)L2d#E18>nQC)12h)tIG5OscR zGQZky(Ni8sM!^myEY)c2+DXERTm$uoVa$nN&`iDdtky3hYL_rFtSi<)?WVDy75_(e zDMoIMdNpP(&6>I-JHOe;T$oMw>{7t0t%tnz9h$oJ(&2v)sx;m^SVCkj4t``>T4@y- G iter (traverse, l) diff --git a/stdlib/regression/orig/test06.log b/stdlib/regression/orig/test06.log index c4ed9eda0..685f6aaab 100644 --- a/stdlib/regression/orig/test06.log +++ b/stdlib/regression/orig/test06.log @@ -1,4 +1,5 @@ Flattening: 0 +Flattening: {0, 0, 0, 0} Flattening: 0 Flattening: {1, 2, 3} Flattening: {1, 2, 3, 4, 5, 6, 7, 8, 9} diff --git a/stdlib/regression/orig/test32.log b/stdlib/regression/orig/test32.log new file mode 100644 index 000000000..898989cb5 --- /dev/null +++ b/stdlib/regression/orig/test32.log @@ -0,0 +1,2 @@ +Flattening: 0 +Flattening: {A, B, C, D} diff --git a/stdlib/regression/test06.lama b/stdlib/regression/test06.lama index b0117889f..e5ff34864 100644 --- a/stdlib/regression/test06.lama +++ b/stdlib/regression/test06.lama @@ -2,6 +2,7 @@ import List; import Array; printf ("Flattening: %s\n", flatten ({}).string); +printf ("Flattening: %s\n", flatten ({{0}, {0, 0, 0}}).string); printf ("Flattening: %s\n", flatten ({{}, {}, {}}).string); printf ("Flattening: %s\n", flatten ({1, 2, 3} : {}).string); printf ("Flattening: %s\n", flatten ({{1, 2, 3}, {4, 5, 6}, {7, 8, 9}}).string); diff --git a/stdlib/regression/test32.lama b/stdlib/regression/test32.lama new file mode 100644 index 000000000..138347f33 --- /dev/null +++ b/stdlib/regression/test32.lama @@ -0,0 +1,5 @@ +import List; +import Array; + +printf ("Flattening: %s\n", deepFlatten ({}).string); +printf ("Flattening: %s\n", deepFlatten ({{A}, {B, {C}, D}}).string)