From e039905f46d628ce4c62489b5055f2484d8b205a Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 23 Aug 2018 18:48:04 +0200 Subject: [PATCH] exexexe --- abstract-newtypes/nt.dcl | 4 ++++ abstract-newtypes/nt.icl | 4 ++++ cli/test.icl | 4 ++++ deep-var/eval.dcl | 5 +++++ deep-var/eval.icl | 9 +++++++++ deep-var/pprint | Bin 0 -> 121040 bytes deep-var/pprint.dcl | 5 +++++ deep-var/pprint.icl | 26 ++++++++++++++++++++++++++ deep-var/test.dcl | 8 ++++++++ deep-var/test.icl | 7 +++++++ lat/test.icl | 7 +++++++ overloading_tc/test.icl | 20 ++++++++++++++++++++ runtime-generic/test.icl | 13 +++++++++++++ strictlet/test.icl | 6 ++++++ 14 files changed, 118 insertions(+) create mode 100644 abstract-newtypes/nt.dcl create mode 100644 abstract-newtypes/nt.icl create mode 100644 cli/test.icl create mode 100644 deep-var/eval.dcl create mode 100644 deep-var/eval.icl create mode 100755 deep-var/pprint create mode 100644 deep-var/pprint.dcl create mode 100644 deep-var/pprint.icl create mode 100644 deep-var/test.dcl create mode 100644 deep-var/test.icl create mode 100644 lat/test.icl create mode 100644 overloading_tc/test.icl create mode 100644 runtime-generic/test.icl create mode 100644 strictlet/test.icl diff --git a/abstract-newtypes/nt.dcl b/abstract-newtypes/nt.dcl new file mode 100644 index 0000000..956b15b --- /dev/null +++ b/abstract-newtypes/nt.dcl @@ -0,0 +1,4 @@ +definition module nt + +:: NT a +:: RT a diff --git a/abstract-newtypes/nt.icl b/abstract-newtypes/nt.icl new file mode 100644 index 0000000..627578f --- /dev/null +++ b/abstract-newtypes/nt.icl @@ -0,0 +1,4 @@ +implementation module nt + +:: NT a =: NT a +:: RT a = RT a diff --git a/cli/test.icl b/cli/test.icl new file mode 100644 index 0000000..1f2059f --- /dev/null +++ b/cli/test.icl @@ -0,0 +1,4 @@ +module test + +Start :: [Char] -> [Char] +Start cs = cs diff --git a/deep-var/eval.dcl b/deep-var/eval.dcl new file mode 100644 index 0000000..d3397a5 --- /dev/null +++ b/deep-var/eval.dcl @@ -0,0 +1,5 @@ +definition module eval + +from test import :: DSL + +eval :: DSL -> Int diff --git a/deep-var/eval.icl b/deep-var/eval.icl new file mode 100644 index 0000000..359bead --- /dev/null +++ b/deep-var/eval.icl @@ -0,0 +1,9 @@ +implementation module eval + +import StdEnv +import test + +eval :: DSL -> Int +eval (Lit i) = i +eval (Var def) = let (i In d) = def (Lit i) in eval d +eval (a +. b) = eval a + eval b diff --git a/deep-var/pprint b/deep-var/pprint new file mode 100755 index 0000000000000000000000000000000000000000..9efca5e4df84b4c448001639910bdab95863b8a2 GIT binary patch literal 121040 zcmeFa3wRVo);B(rq$MCj2P6te1eLf134($eF`6J~N23A?BoIJFA}AszGk_P6WD;W2 zj_YOD%epS!)0o`}+Rh?|Ys< zJejIGRdwprsZ*y;ovQA>YefFV30|+q{g>dmz{Aw)E;#~HzaCG@2hC-2Jm-3j_2hU? z^z`r?gHlQObIav8F*lr+fK2>z!(^58BqC(JB~Jd5gdC)p&SBu`DZkC3+d4zmYyOwx zL{(VbNhRITlcLhBr!nfJJt;X%A)O;Z_D!k3Nz-|~@kG%2R z>lFBdQ_l@AQfSuRp+dJF*}-}#PQ4VTyc=$G(7B<@Px6F+%N%|#OUOZr=^O^0;qu!Y zvMm3N+~U8U@g%2zNlyRVa4-wupBuXMMxkCim336VF55>t?ZxGbL%+ufo$h+hm@)mj zvj?9sk{GY^uKN1H|Rvh?Qao~&M;O`ozd@xS=t#RNp z;=r$r1D_NJ{&5_5I1W554*jRcDL*()`Gs-d_s7BWhdA)!IPhZu?~T9K|ERXwlB<0v z*cQA`9QeFAcpi>Z{`olYA#vbi;^6-_PWi$(@GIlsDTq`4k~r{Tap3*q;C~@b`O-M$ z*TpG6F;4k6QNFXMo5!;$7cq~=)$8*dcuFg{4|rIluVgc;wkn|oiPK|fP2bKtTnm#+UYZpef{*Ao*Sn6XHCDJ zW&O8Y?4&?67T~!z4VqTSy_{d zOQ&2rv)EG%5=vS5+8KUn(o;NT#x12&JvYxPxy3(qir;hdwKLEgR1Bb3b4bF}nX^gH z)RGcU$<%AF$Ev}`5S=mWTK_cZY4Mzr>HevnV&)6>DgNoV%=8ooW=1*VpMLXHv^>>6 z`?^3e>N|Xq>XRqW1u=d$Rx)Gy&EOijCHQq8ORx7U8hg?(ZYDaNuMC;M9&*eI?#jV6Fke1=D%Hwb0y?jdc4HcPh$+6 z?M44Na!ebIYp(mxm3zY7b(nds+!H>K0Owz~Csez%O&n4rr*{n8wF{WhHwI1{!2LHc z2JYHC%sV#*&bHluIWcgtADj#$1|DlKjf{c2bDdQRV&GtC^xrix@D5QZ?CKae*9iCD ztQdGl7l?3f3>*U*{kI?n-YE+8coM^AV&JaKF#C}hc;}e%PsG4u*QF&f@Z)02 zzYqhb?dJY_Ee4+I0uffnz@bH>|5n7nyGNne-^9RAjDfF>fyWwo8)M*UG3CQC@RMTT zyJFzIV&IK2@ZK?S&y&q^dvXjsIR<`83_K+UergQ7TMV3Qz5B0s3_RThBJ3LjKP?76 zFb4js82Gs{@V+tdoEUgU4BUu;_ltp#jDgeEa{m>?!27#EgxAEtGh^WYfAqh{0VB9Q z*|4-7zxH~J%4&Z?(`qBQEV(Xg}pA0$~0A*{eq;2F-?_bKOyP!n5HVT@00YI zOmoS!7f8Av(O%-QfBk3MYQ?=P6CEbN-F0FQsq&qN86=x5WbOO^uE~edym)iz20lM$Frxdc!1uk z0@Xbt->=aCH?sNbKkhX`IW5}1ML^TW;`{1~Tb6%Q%9njBLCv8=!`x-mgfBF_%Z)XM z{GFp1+Bq0n*I$tRD&K;9G zHg{aOT9FwzJ{-nGFwFFsk9$4gnyL7?4Kpuya_*$uiMd6SCrzASY4;{3cmmpMl{XmkU8dkA6@3=4x#0G`#_8JdciE6OMyhBRFcsYB1>`aX z=_!zKJ7drXMnhdLEAHEa?7=Gg;5)3~X4Ai^veSQ0cy&76gmeP)aYBAD1yV!_!0dr2*&T**_s+S|9@-eA$l4OK)0QriL zkZ-#;!Gj?%LTR3V0bq7F%-m$7soDtEq!_`*lLOmP=;77Kl0sJnMf%f;+bGg$i z9vSHM*q2=3^^8%oE)3lw)2hZWS1S-(0BEF(-F!cM5ottwA>Y6z#ALp**mCcH0@e;z z4>W?c1MklD-aRV8t=F)e7K4H6KO7WtCz6^g*`>-Ifs>qKdFBtCV3?G@N#Ml#R?V%t z@E1^S_VF`$oS;`O5==6GoeH73N!GydWMGy$d!@5eru`J@u_Pg&L5L!qi_7L7@_0*a zLw~iK5t`AhgEazUb9s{eF*`kIU8J31rM(63s$qGJ>@PpSaxucl9{VA}JB{q~5b6~> z*>H9(^7IP&RgKDZfnE;cPEo{m7PHX04fc9mVRI<8Zc7ethWcvm+hJX=YnhEUhPEtY z6((csxq^nTI)J9k4dKfeI1$!ed&LA7@yjpewf}V2I8$%63v8AUZw)VwyDCFn=;KJ~wJMCK{pq&$<~+?;GA4 zBe>IBy3Yumzb2v^R&Jvav_bVTMsRtu5sY|CBZm27!Q_dNc1^dcyx=x(>7J%76Ah~~ zG&2fGYY9eXi^dG|c*C5OY-H3K`_>tuu4tz*VRn1a2fDAWZH%NCO)COPO@n~A1cz#5qr6peXE`fg0LPgIM)+s zROC4{8=-;|jG9PdUdD!b?M8*)$EX*AKTt^r^FzMbSnBgl-7qf!j~h}VojC6~awe9o z2E}*iR2yo_YYa^YOmdV$Z$~L~Q%b?#ODP0@pXlPk>4~*?==fy)H`R5EBz2xji1Zih zXADc;uyMiH!xwy?gCewp>SEWh;P&3GBHS9D@x41FR#Kmvsyk5gn%c|jo#%d5?(`#g`t_#;f=|anQAT$xCnzt^zl%R&1 zX)oq_B9ZWuDm9C#_2CCqY5`O4hbvWTE>jr9PKG%)Ip4e(^Kf~$a2}*4-@3Tbu*U8( ztSiDs@Y`-6R0^R$N|@ULWTL>C^ewyM5OY}hP;e@lO`0Pi$sn&k>nsQ zCW@?GrO#t$l*xV?`kUHk3@fYW4}zhbaJROSNh|YI;?0W8IT3B>f|YH+s>}TGKD3ds zf%t>lr{$Yh_vxK)7WL_tZ(iRgCEuLU2Lm>^&v$y~;eGnzH^0w7{9fJXT>KXG$-(dS zeGL50=ra<({yqixy|d3X;bqvh8T+(x)pS97JpO_f>K+=W1cZfG{6v+$(>OhQ5y%LC zizKqHW!7IAx3X^s+{oA({!nEVGV1}U<*YX_v#wy7L~ZL^?BjC1>Y1suCO06NqgNgW zD`!D=E&A-yE5!`AG7n<2Yy`7+pq|HHXqb(##>)uP8fgdAgxiNNhKw0j>N`Yzdg}Ge ztl0*ou=xPE`7b6d?OA4eKjxs+gcD#qK1zi67fwcPsBudRvIsK6d*OQ+i~ew*4|u5{ z+z1<1^Dr73jOdUwmbSDv89<`CH_d7^Let>M=|+_vhK}|WQ1-SOR?j}5V+^ZiL@4Ym zP@;v`q6jknd9T+K!3N=-a03BZ2le1SZuMyH1nZMwKUFLRoml@04#9rWE5K3Y>`$2e zj#0Lst5xYB6i!~^4RpN-5GffD-frQIU+e+%m$DVdDJM2z+Usr=|Ur@ zq?{D#Rd+xGL?-SXk?alh0~|Adn-@#$`fj5}8yV}ueVy79Nb8A6Oti0{&InFTKE(WF zC*MAo&?yB6Kprdw&%6@_{jYlx4Ei<-{q@P>?eU)mt$25%QTA06!B}TO%AM^-hTlN4 z0Cr!!#}2~_02eG<2dCrA~ zsh6B=G&LC3rC8X`Gpu14g$Pvnm5{khbR%@v38hchNr7P;U*w#JjCRP-OBX@y=*(k9 z)<-4lQXptJ0gJ@mT5n*mVcrEz%tiAADR>)F*!DR#5P)1sVY2KXZap{zLk6VdP>RXZ zBw6<3Qy;*fUU&?*R%JiZ;+}ImC{6bFN0Nqk;9_ocOLM?;C|wAmR?RhE$Q{wB2fqY| z>Wp+5@o16zzR8U#@((Fuaxp=D6Dv>fTde(O8cpvRChP{G=OHN+v^yx&mkSg1;9UZ4 zdb=fbxI|tMrd3&DD811w7b{?S!$5SVcr}zyuq*+J_upp z7@^JT>{fPqc>%#CGuv#v2Kv{#2)e8$oTO-}g+0^@8aGjqwfTURRC)K`F_?*|IV=c5 zD-!~bwofRa4IuL{WBFKE4d~e%#apX$WENVx*pBuU?2^v1xd%+QIT#)C-Uj&99NEUIerHbeV8zbOU@b-;^E23hQH8|Rf)E`k zw(Ko+hUb<2Y?yFjC?C4cW*5e z+;|`wZWT5b=LT;-lrVdAzBLj#31AHU|Cj5pPDnBu67Hfr`&m*|K!W8{2pP$ zq>fr?fAkaSK!Z+t8Pa*+iIaR8$ygkhS{=K&d5^Mcu<@Wnj$XmbGK#2r%v42G8Hn=E zo&f63ODN6Bx2{RKJal!RaQ^A(Syf)o<>r>WvafeRE9BMeXqQ*BJs~f+k2mz7;s5^>gJJXqU~yHD9h(p8x8iDA)l2ck*4FhQvbVLy$<^cuww(&uFNkhy_L zF>gDJ8aDX^oMUxp?GDx23~B8}3_KR}T-XKG{%%-q#aQy^z|c_}`lW@*>_0Yla36&3 z+<@+IiH`OrGz?MBLba(3UF5ar$^=0T@h;8RoekuL*a&-#H8ADAf(K%3n9c~`pkmJ~|hMLvgv1B&XF5t3gWj?zDK$wI} zycjdFKQ6%#eG6}#g}ORzi6TIKf{W7@IfA7Uj)#7*R&M~#Jab=O24*ce>cSY^z45iyQJ@Bp`^D^2pgTWGyjhA=4a?{g5iCK zE?@j+t<{5#q6xHNBv=(4$EfAo7(_7Cw+TVX8Q9oK8hd6ltrOd}w6|Em)CMvIn@@O` z)(@!&Oq4X6xru3S{7vPWX-`P;G_O?lEn+GI^w{9I?|Y^!Z50C;6YLaRL(4Ua2l(S# zhw$>sCf!^GYL{!*BMBy?{R`#u%nj)8JBaCb@1okavi~4xFtA>3NbhFK%h@T<+6T@uvgt~n z*A9LNM!<)XUfA7oN+YAq?7NuVpxudp|3+dPci&51 z_{FhVI;-V24xU_X2m3hB6CT7!D4UWN-nBi(RTsVthzj;-zyYQ*pIA+mzN zL2uI=ZJlVC8x0dPaxUhd0bMY%8~A#vbhx0mVb1DnG~^6Klfag9t`p{nP1%rRh~e0f zGm@4k@(XB?BD{ufUxd@>3Pw1KRx84}Rm-nMYNbz&H7(Zz`&RwuzG_1BvfXWk^}6 zOBg67+Fal;+)us$)??os7=(?K{uI?;Pi(w$1O91&u1$T7$= z$0V6!lFcz4p}JrS!Ccu^$3E4=FMfsP-2D2l!IZEW!#_BiSRW~PV-jWaKWLqFaw2svCTI_h-(}C2|9w$aC?Oq042+Z};eJ_F?2{;PVfBlFQO#6*n z0((&OU|;6`|3Ve00W1RB+F^{c)|Pg{h~@P1cxG$%b*!~dTZuv(R=x5u++09=>)B!M z8?Zx>BLVxdb4bLnst)D=L9ETv^N}Yksd@C&^LFOT#$!l0HoDorh zzrvcFZ24c1{A3>03ejo0HynJ)Wi^6>0Qw%EK)+^p3 zpRMkY;1?I8F|$3~6JEW7XZrA&e+KJJmSvoT){o|dH`ii;2K#wlTsPh@!-jPmX2NvL zeyp}u2|_I7=8Xt%mzrmw{K!K_*)|Wjf_PuJm;JB|YOvBT{hWpcn=vCsMmT&cjd61~ z39GyT%WVYS7hvXzf?&^uo|%q6wy;J@<;psrT{@3k^qv0=gVZh1fRJ4DDe+0p+*SUw z^Fm2jOR;g4b+0CpY`xI&Lky&d}OaQ7{?>?`P{h5L4j<7wrp=+!(x8{@wHj7^%p z&l!Zqqda`gV4sye@(w_}8{n@sLOtoT1vl>`%uM?&0(-BVB)4+mK20=m;XaGS_%6il zS5HPav$ntuKo5_lY`MHp*ADqvpO=1Pm>(Kto1>!gk|QdCRby`SL@qbVa0u+_JzERr zFHZ921(zq%HoYo8Yr9^4X*;58?_kogi$uC@Y%Dp2Z*klo##z|5 zM&;FVdSqCbo;wm?l8{snpK%bt1+$dG1pnwbDcM|(So(-B((HgOnT zM(`js3mr&M-YDK#uc$${@U@vXM@H(tG&brA+BmJYE{$f2=5nP!$BSh}zG>9Q` z6VkD4gO5bVtA*f3<8<^kRq`$;z?$n=cE^rB( z!dWXeT-a%1>)S5RD(W8QR;yr@4-+GjpZ+2%48%D1B5ny%;rfjeRUgDHM(D zMQkFcR^=bX_cCP~d@GP==oQE=B;ek4)bdKC=MBf{B7{X`u`904bhKgjP}p5r4DR6U z5;`3@B*`L+zX5(*JhWJa%C?A05|Zk_3!0Q$*Mu0v8TE(ZP0;VTl;Rr7w^IU-8CG7S zJpvf9YBb;|JwI!OzAzVr00}_TaCritIVWPeCpfaNFYJK&q6Fl&V_ws8yAiU$W~mg^ z1ke|L4VWtRIbufHjs&39EB*@%(eHU5zcHoVZgcYu_r97NyWDvp{fc<4hbY%2!z#O0 z>6Q12d#B#pzH60maqzcn*x_JR68xe-MGJ=;qt7{&_0TEg+!$0848utkrrco|^o1Eh zIeN6}rBz^w{?O7ZZ|ISMmd+R<5!n^jCYJ#nFd^BcZMzd*G9}YP1oW-Yxg)2oCOW zurP8A?5Q+Q_;ao$+)zv`Fkl_hUfz&fMAO#R(a{)^M*c@M6{uFxSWUO^&1fvQ$bN+~ zn6X4*5#FLbQjDK zmQ)&EnS>?tRwy@Fj8gA6cq$3+9@oq~9FKF&9O(DSf|+L~+fRWWte1>FjHs$Lp>-`Q zU&Br$+4iG|eG7i{3h_s`O|@RRiz-J^u2+18L~$9Y_s-5ZD)L`K1x3gQmmE$$S2L{r zTudFRzKqX6y>euRwDd0cE&cFF{Ixy{04 zhzxF1Oq4-NhbE_Ka0R65R_K0s(iqsTd7IYCAbnm01y)kU@1Y-zeR6v+aEf8gY&0y~ zq2f&uEWkMbF>NDA+23@)X#Z_wDXq5PHwW~JVXPO#0%HweakzT@?TyeCm;x*XpFEFp ztjmE8J4bUO;BdBv0zcW)xd6Ks!s!qRnO|Zhq_nUSAne#GI=yxbS4?rvC^?XI*UeB@ zoBfx*gAF)|IMXmcvAt}krInDwsl=rNvw9Q^k8KLMkx?(x^hb9Ig^6ECZF1MsdPTnU z(@wTOr95CbBeyFDGtTjZ1=wq^o5)i z>dsRj)zDwTD5`?=liAmyAg;EAjJ@_aM5FD*XbOEHO;^>$BhMpMi9H>|H5=9Ql zqspX6q~rPp-0e7hSb;*26v!uJ%eJR*sKHHnW`VXW&S66(7;xJ*m<5EBcxRyUT{$yC z!Epe$)qkfW$}HJ~(Zao3x6Y}kqfC<8^Pq8Yya?6frAmo}9;&YnAv5 zN8?x|qQ<=@Wt6N6IN{Wn;-<=4>9lucc=2}H#SfxXBXa8Tw?5DNr2$_a?6JI1{|>M# zCX82Iq1@q`V&pWG;*wgE0^3>^*P0YnBH#SjDa89QH9KJTL`rcqSr_cM829&J>qKUM z&xMYQaIn!k`(knv$1x`Cd3f?1FP@e5^v&20Q~sF&(#%|(Tp(}*al~6JZDmAqxa}}hx);~{=qct0 z6ry8(v@kWC;rA{Vjo_>{$`a`L_;~cn(Od_tMeGh&!?-40of%qHS^X1*3R{J-a! z>30ET@yMQ;i$J66nK_4xfcSKFWw)&9I!IDc;+OW!RJ3ZVP0tJsssBqnGo3+-^31eD zOnGMh4CRM&Rex9bGu5Y@f&v&*KIqVWs3Y`6~C|1FozAkN?zm(7{L z2>(o1-1unavUyp7TDfd?V;(5`Xe(lL+3;o}_pPxmn|Gq6Y7mQBQNNJO<_@tx+Hkng ze2L?-X^)YyhoPdlY)&UtZM$sv9I9Zkc@O3Axvp%ZZEy(a72o04-hi=Hc2O-y=l^k+ zO#{3+aa=Zg!9uD(+99yTegT)wcr*r=&Er7)i@R(N;YtZ`=K^=L%jR1y*E9*^+DyNc z%jRv!!jUbgKcR$j**wm&aM}D8VXVt0N2nE-&AW_7T{d^NcG8M>c`?+^$>9YA7ZKSrHABVYYt~)B9N3+Z3%d-#ndE9vxk2#vXHaHt~y*4~tQO=S- zwyx;PD@ za+F>h-WMh*ZFp@CJ0bbsblUt58sa~3+T^g_FYL7G)WS~qzr$&Bsr2)I&}lOZlj48G zX|o!_t>42lmm~N(pjE|bgZ&JSQUBXso1UV}kH%|r9mkqpo4Xik;kCI$AgL}~v1{X9E6Z3!8Yh!=@f2G%E#{@VE+Vt9d$edWOO+ANE zyf&K{Yxdea$C53)HV+G=Ew9Z2se0In&;OX$=4`fiM6XR(mT1scj90fg5nY8S{~`JY zqViO|rQL+6 z(@`1kop78r8*$YnkLWC42L`6^Sms}k{P2y-VLNv{1%$MTXfrM#gdfI}`{MN>B9B5; zgA5?5W&RxGhfgM=cTNT(`0aRQ+dPThH9pudbjV{UrdM>3OD1@TR=bR~y(@6fb2?(B zxJMOx#YqlxEF67S)(2iR+Si*r1@(qIkzEQO>j(ah2e-Dvg?Ee*nu+H8xX9N~hiw)( zozw?qL0^Xb07Far94E7?!A8XNAm23<8D@ld_lrJD;&~4aCIinl;=BM?1c#s6k9Ar2 zGGcl#o%EX@+CS1-!C8fzEo80Ks}68o0q#)lvEnN)Otx{E7dLO53j}W>0lpH%Yjtu^ zxx-tMigO&*XWX_q5xI6}jwLiT8t);EqnGtAyLUM3ZlAOiS2y*lhhUp~t8t^VsUEkR zQQcFSwA6nN>VApWkaFyU)#z)R^|1(qa*u<0L4gE2ADD=>CG>1Sf$V-kb|gZ0SkX2i zW1@tB*YODf*Py#V2o3EhAyMe#WYW;|B^-qEv++(TP__SRcCjt0zyx&+NJKK)F@hjM zz@gTw&f_S?4)+p4$tk)VF+F%TcS0EM4r*b;^@%sJ;`zJSX~^J87ied9K{Rlgnn`v8 z?H4Qc8sgy~dRH3e$I)9(m@R*O*R_Eqx{^keMK z@RNHkmK$1DS_9XohTKLzgv66){hkjwa@fk?ftUP*uuQBD_GBy#^5_w!SqFO*QhG(T z6pYuU-*c#(F5QQ?vr!r7^k?Vjqv#LMg3tzBO52nX z2_MWQl6w)tvHIAp%CTC>a}BKVywj~$Jj9OjG4sj~{38*`;cYJe#Zae(qo_{3I`W;9 z(pqRc|J7=F;yJ0l6gRdu<2kamGF~_&z5RWf+q_x6G`BG_8hW_&N^+1(4MwUh4R7xh z;it(_16kOgP;w$_*F{o6!YAmmUOpdY4(L?{thAE_<2$16_%su4!hMBHP1`i9=i}6K z?R!4V6H|TRE9@FHX{cijr4Q>b&#CcfuJd9V=Ta;|X2K{e*pZ$_)^3XGVdmQ4KK?wz zqMi2i6{f5IZJy-!1*?oL^em5Fcv5fa`8u|qBdWq52z-d{kPcV6z&>?6(pwr$D!M`v56 zb4j$c`OyY{kC-0p4pM&3w%kUd%WuXTDS;q6ieQ2uSj)rCHf_twq=)s&Kgn5W<{VlR zR_ZhaI65@Uknwshs=Yi?g2xLOgo;uz6!pEKMK^L(%D$4o%sh{kgFh{RQ7(2RG!zum z>?@n~6y9Hvk1}GUFGH;K^Z2%I#as*~rRkLxiZAjfz2eWzQOZwt0`~(Iw#fp;dO>lp zwDY4ajb}^m$88B${9-k0OYziS zF(4}{uSPLjUUkt-u)j|?=MFF?ghOr!Ppm1%{28&*HSx*qN~XNnlIEur&9Bjvuu`96 z(2{2JWf{A}=v^p9Q|B-cddGm?$mI&%bcJsG(W5&@q3at(w^vk?C1PZ0OD-jSe-ml4 z9utZn3-Px*owrAp* z-+Xkh4CCujsbth?}9u$o%pQ@h@oK zUgC(zVGHolZie`d+!mXm#{?w>;dR8CH$#Ombd~$hhu9G|L&wu1woN{%qrteRP|l&v797A8&?Eap*tl&CnO$LkgU;sqe>$&JO zU$<@EKb;M{wmh?Wr2SLiB2XNEs}r+-+Diq4&C0j3IdS(-Jaufje>#;Ie|G=0#KHCi zLudbF4@1p=Xa6KGn*vD_fCT%e3D-OOr^|@+=l4(Dhf@Rdxwxa>Kb?n{2e#ZlokgmT zxPSU*{Qc8IV3uBfftZ%j{nI8q3&nRw&|UQZ{r+i+w9a*-46*-w|FoQPEq;Jj`=vzywDr0<(-jn#3_BSOUU_qYdhjN4r4ek8 z=O4K*gCm*FWL&Jr{wGHb+EDHHi0Q#4vVDo;(AO)s(2?po_2~#dhc;8xGOS>#*%4kk zn^vK}QZN6NYY|#nM`;mu$6<}o=iOHfKu}65iHXm=(C4kr`e3)=g7$E33230L7I|sm zt^OB5uD5y-5_Diw)}|kS$rJgJ`AZ4@AI*eyc@~D z`9_ON+=Zet(mu@wBj~%O$0ptN+gc06y@gW}JgapEOVY|(O_#Hk_6(~yu3_;t^ZN8i zdFGwY=8e6a*N%x_vaTRd<+^3>fIv8&W?H~_A~^*wml;EJP(<-D=#{d_;60@-v7>mE z124iU+Z3hP6pA}4KeITNKae&?r{HxG^em4z8ipyiGd#)@L@#t`0lNe+y@KyAIua?b zh~`&*TE5ZH@zb8+^rq_kpYKhnphzoXQL_FhdNUtF3%|Vcyl@M$?}KyvNCay!1pi23 zQI6&Q4#A%c^}78{Rs!H0*!9FwL0y4*e^u+7GaZaXjGZ;1jmL}Co|TF zlJC56g2%#h5K)fbvt3)I?#Pbb`(KYWR7OCnF3KVkj-VOsL!xyYJA{s2y!;)GUWiN7 zHW?vEe%3abebJHpy1{BJ$?Am%%D0OK)X4}>G%(;bb^-5}%B70wLX`6;Oj}OYT9FMr z9*2kG&u7P!3}{nQ^|)ht!~{J2?-`**?KNfRD_vS$M_5P?12>n21x^ z&=|ZE=jMYE+sJwkPG@*GEgW#k79ccbWp0{%*30lKE;j0HZ2k?5EHFJ81 zBMp$yFf1;pipTmk9k6ec4c4VHHJF~xv~_XvXdV~H8+rT1&bpA^V2_-h~&&ZcIvg07NcD9-yj_7;ygyE9w4+2LR$&saDM2O$(&&>PqrKlwYQ6n zF&KVY93q*WA}36mppKf{;egJN;TW18Iv2KPraax!^4RI%4`_9twy79{$`}1q%-w>0 z&4TX)`c4#j8KGAZ+Uk{Xd^OE9oVM}RH1jYED$eFC2)DGuqA#e)G59`VJWAOCa)6;- z&ig6Pp=nRxTchEa|N1x=KI2t$;L=60(5)EH0E)v@b6#unfYC6*Bc+<(FUKn#bI1u^ zN$@4{)juKM$GE7GpY=8@f_*hqumP;yFlW7M_&PgN`|=N+FJGzh9=+Ql9;w=2vcbfGQczDcn&im&s>&o zY0m+Y7s3lE@XmfS&0@ZlUBqC}-UuGz-j28Tz6=*;t~C&k2_+eod;Ks-Gp|F5d@o;P z1?-vqSzdo-IS!=)mqSavhxg4T^9{PYjC7Bu$rHc{*lxh^3Zhp!`kr_-mzHuje14}U zoI;T1fKsp;#gs^nv~SL}hOhFh!5dU&tV;gyTTY>-74C~%&Jev@fQQBLe&Bs|94S9m z;;-;d>l2-HU>A>|@On+W8A)CQt(TXg93WkAg(N`_{+)`pERqNyp7Kt6U@&?Fr*WcI zfEbRQ_~t7d>WVdEb@cHmDk~{yoV=pYkH_R7z~`a$#K=2N+2q#6haYR8M+S4LuN_(VFUg!$S*`!d|inMA~^a!LuX7TP(wx7xN(F)Kh)H18_ zvR8Q{kpF8O6+_$S9E?EGqKGudo!)h7r{}y>{9}rnBSk?mlkxI!z5JgPyNNN>fzhd_ zkUF2dn%Ftn#Bmf~G3|1fg$@pK3LWbnf1(gxU5rmR2<=b8zOiqmk<+qXy<0DOY}y9$ zC)`5q+eSW|$h#hne41OYC33!Ym;Cgx+IlV(N&xlpN=zNS0=1OE0;$lel%EKeVO}y0 zj3G?yZm0N|qy5v%Rz=$P4^E7v;}^wdw_QwjD=0>`g)V{2Vv-Ag$pR}aM`|e}sOcSN zVkeZO)_jWxuKCV&FewbH#C{Dw&9nW~!H;)+B^M6Ey?VtTn7tG~YIk@NrgO=tR%5*B zjJ5^HdFAWmW+~xQPWEN^fl{Nrs8{v_!U&F*Tj-FMDN@O&oa`>FC{M-DK3?@hkMG zS=sF#fHA^40qaX%avm6oI~-UtJZkwMSXPkZaCbl!ht%luaRvx!wS4rH7r|i(aZ9yW zLPA9`OGqKCkia$MHs_-{s|V-setZ$}YG?)b#Vf0E&)ep^hvdHZe!jd#zxO9mzWe0` zE_nB0HC}TYwzm-Iu*hD^1Vko7gk&sjExkOM^TUFE9R|7NOH1%JZ5YDh@qvAGro2yG zCVsVE@iE0-e{~@KVE8-tJ9eoT<3mu!fo*$Y?|0yC#~=PmlOIiSOs*Q)G-nswU)FHE zC(;?Qtaqqk)67hzVex{19x+P2c{tx^EeLuW<18=#e;x*1w+LJoO1j82DDP9Cyay09 zE^rK#HDV4PYro`2&K|B4t6@}`m%wI5d>LLc0EwxCQEERZmT9dq1+SjthZ|(ihC=hN zb2V+~526F2igN%o$+G@vDP5Layw)GDeESBdRmNReO|E~qkOV?LfJ4(iM_zXfH;wa&2HB$4`7an5)5NKuyCa*xt^gXP zHQj-a3NU4xSJuF?g2TrE@1!T^O#1!{=}E;P$ZDn3&aH&!3f%YTZ!p_JKAyYL)Wqv# zy^CnT;?`nhE3QSqcsk~vmG(R+a!kd^gqUfsF;HKeF-}kW04clzSTFznc?vZ@5rG#R zGf2XSpO3w(Uj7-f_G%X*p5vbmy?PQcK>b>2zhNwtv=-4^x1oKRC!u8Y?Tvx{Vr*yg z)t;q%&o3j~t7p`dbT%@48AO4%80Tfc4uDllBO>j3Ad7gyGaeyL{MyOW{n(^-Jqruq z0RpVF<6Htlz7rvx_KrV6GvZ^1-m-JCfLHs6lws@PS>R78I~Pm6d|#>>;)d_~Huy&>8Lv zY|Z_6~!Qd%V#pxoL}=khl1Ams}f#<-0I=+ztn#uhymAq}jOn<9o}u z%2YY%#>4Pn4x&wKd|y>g%A=g%#T~D><)QTO4K!5`<)t3VOTFH1J#YnlX{hTffxPZt zbxE~~*T&KDst}>$lYpoP0`>_wT&KxN(nT)4@HgNMBG%|#WJWcFfyf6Uh&+ij%vGk( zW%_=k#h2Gmm&0@!(m2;(zJb7=$&qfT#v~wUBta7t2p3-nDj>*EAY5A@=o*6f`4d#c z5eh-m2s%Z9uz4hC7D2iK@r#N8%_ZmnSILIzV-;utLACiO;v8x|;%p3Hpw^lZI-3 z9T}x|5yWT3Max*@;XRts4KID$0TsAYzvq6IlDn9-co!#JwC(stBYga-n_=FfjKa`O zFxBunN4%cB$~LM#Ik3n0BX9p;?`&?MQH)IgajjODrd5F*OOpH@W!+B_^DYTV9`GSPuEv8atmutqZ5(J89}vsiEe+m-u}?p1M`8yDgC~eaVW<+lp5> z-?^DPzpU_lsBnA{V673F=JxAOtO9r?bm;2tDQ=IhmIsWqgx;46E)=MDOatMQ9`P1~mFs zXmt2EZo~Ri-~R7-Mbs6vnz;%L9hMxJ>W&8&sNh#(C*$@uT-ZbV1q?Bl`PBrx%saBT zF3I1?^5WBb0|CeV@7g53FD|9n@)iSlB7m@$Y7_W2@naTsKd(ms3yn-{^)Wr#tJJ`b z02o>8OH$@&c&m9N-6@A#vT8ZPJCpdyu71YQi~tNn5Fkg3k>t{Cii&>7IExgJ5>nA4 zXHmbL^D+YGL(QK5Qs`Ri3^w zKkMT;q!kmLPnJ0}J4RyjM+@&nzawx}D5;e(mH|F&y8?S{o_wlsRCwEcFl{3Z;P);g zRDfx);m*OpASb<8(*((nM#Cj3@^*WChlt2<+J-JSZ&T)NuNxJ9LNGx%n=$oj6H_hc z6frFu6~0L-t)=#~b$oJ5@8zN9v=ddFD%0Ngy1=O`?TCs~N!lA!JelziRh(+kZcuUR zL;D{pPDN-hRdH%S`)L)Y>a!nKaq2wVQgJFf`z{ryma|J$oa)WKLB*-p>9xb5c2U;eSc{{Ihn75?hqbCjB9He|Pr^0z- zt160y9v@Qel7=Ym+*SpF8^nq%wTZZMo8^BJeJ-7=&(oLUNTA-K{oN3l;c_A>_~vBz zJR7=Qj+3G;d6--!ss7U>JjXvWa&tZ&1GqGF{-Wdq0(Z`}YcjeHlKv zH7?l&?^0mdi^zAh#-+Gf+f^1UNvR=U(=x|(bF;&BdBJT-muGyA*1gi)X{}0v&ffVZ z9L~*qvOR9?kLvQUXAaikVFC4dQ!Tt3RxZ~odJb#0;9w;ztJjv4XsoxyT=B>!y{>qG zB{rWiP*@=%F4o7QSn*oIpTSBY60AXdP4y;)3W5=V4uUL=5=^aI7r{X5B%6!vMiLnr zV1#aRhOviJEtL5zFHe}*Do{)_zn2uGkd?uUH4%J|j#jt$BO^FM;s@^3g2nCZ&bsgP z@zs0yDN8)uRV)67HDSC)w^7OMOV|Q5&mEUJB3?pXI1!E1dZV+WgU!l@F@02nRBsbkMR@_`j;4xb7bjn5;Sz4B@6QDLcp#7=-ct8DJs zD`q^t{o5_)<4g{Q#0-8z70u($jx?Xo57U{qK+GF@3v;*DT^_m)uX?A_+TN_R`jZk@ zY0;*`@Ifv>_|a05Z}kTcaFHyZ{;Yh9-$KFn>mfPbNM^oy1}I6+Gr!6=Kg`F62=mP= zg{C~~^t@ml+B*YnVbXw`pb8_j3f*Yh40CS&P}pSt)3Lz?A0r7oF~JoHe1N(eZePKq zbl&3Ve1sb2+jcQ1RT}FK&d7Cqh#lY2gfQd@4xC|r2J@mjKiH(dMW13gVIF2Md_FKx zO;~Pxr=xjeN?ia`yd~7a%ek3@$$MvCX7a-xtVY~YHA74|w?kp?UEAxzk5$1&UGtrx z_pdJ22WZcqiqA=Tp%`Q~gH`Y}!VPH;#@B6{U}BV{B61e&i_#RM%-#ct@!?l~n1Eqa zGW5*qx=TYnVcKdhcE@LyiE(W@d^`*N*i15&a2iv80s^LzBy|X84^ziT>O~kVOeIT- zuT^B~I;3Xf8$biJ6`19E@Gqz05q$pOQ$VSi$V8YX;c&f6W`6*_(+k(&@3ZfQ>xFi) zel`DgBT=+7au*8wc7ZPBuh^r{Pyb5>;|0EtPVst>UQ?`>t{Ggc@85)kZz(d1^*!&R z{z|s?7Amqe3EA440H9#zL#p6*#E1M&#lLTp3Up&t0G~S=@Ls_8onBOnzdHLVOup~* zly@A!3Og5UadTN#uP6h%?R5_Cs{4=+&pD}DNo|HPNggee)BqG`YPqBuoe}5_YDL==6UQWEx8Z3XvQ40iPax7dn%vMNBRH z9a7-^3PP6j2Be}&AcfUnM&^8>pvw@3C`GASfp9ItYW#hMGTAq>47#9AmqLZMDpa@! zAq)N}X^0}GmH>Q)Dww9i6bM1VJKyE%1wdW!KK|ar-zxmoU>0@pefKM}Za@vXS%VMg ztV3mdKxZ(d%+N1c899YzmbWak4@s0E{|tTDO7;(Jvq!J@W$!_4S#RlP%4%ld?-=E_oSgC9z6C?D3FVK%#G@Kea zNmxjhz1R(z2%qETgM}dZ1{UK$`{IP^kf_ zq8|WWPsn$Ge8~!5B2vdlJ$PQAg&~o|nz<8^$T`5Kee8lhA_yP#F3=KOP-lWVv(&F$ z&_j$sLav~884kYa!SAIH1GI|((#x>{A-zTQF0WClXcPLFIaFz=Aq2}JX^f=r572*vEbGRZa+Ncl_(VXj8ybuCI|-^|jK*BMg0FszD;@?#Z<5vpS} zsr)|USW#ZJi&g0~6{f6Yi6OZsvPDc>S6-`;YQW!e{MA!{mmyLk6MGdJ*H&ZAW|tVU zm(a8YRFSU%JEX8PmK2fMfvhVvo^@(G)T+jEq*0?6EB@zlTd>9E%WpxFwjLs-FD!Ew z-gb~=ec@PV8EP-7gN}J~tfcsf7}oPist5)FQ#T-`OrKQ)fg$)Jye47(p!ca~A`@Yn zgcyQM&KEG38YZsk^Mi;w7qJ50CfI3Ma?_u~vWKvx>GO90V;AgYsL0kNWNUQ*aKU~| z6_f>gv5LoEumdMRGR5dY_h8mM4+hyuiWBbzpmSr4p!2~>x3qm1yr$$xJ!C`=UhbqC zB*m9KGw*Fl)#8>3Q}0Ns30p#@(m|~t=$FyIXOxd6i$v&@%WrnrVqOIp1&pAH1t2p zHUqaR*!{6R(CKo1^&Ko$wg6i8opXY8Jo6GPZ=67!=wc9HN?-jp=XL5|Py|pezfpq# zyvpvwDth5|{B1@)mfpe-@W=U%=~_7C07L;{dXg%a>V%qvnBX)kH6jgJI*KxIvCLw1oO#23+&L%Q< zAfhaQ4_(j)1c?RkgbP|q5ZGFz?ZAji#qEfYMH|^#t5u$?+@7jfd4Qr2%Sw{D1t=VT z79CH%9L~>=SP#A22&Tnl>YrE$OkJwNR43FVjKkFZAPj8b0#vAd$wb>sEd^mE-J6*T zRllq?XJcW_>@Cu6aJe)S5wf>H`whlO822{P#)J3z!aQe3{TE5;aP@QkAClDH zoIT=5h&MiDf+GRuB>>Cp9LA>MhJYT-hl@YVA58PqRgem*MhPM3>F`pi}nR5nXk0PcACpq0CT(3&R83ywnm()a@bl6uoyeT25d?pS&Simo-+p#mT zzXArdK()sW3OoPpvo+T+4OE$!;v>Q9}G&XcBeL3$P9VY}u@2~g-&(;PyEOKLl}H}1*-IEu4{dfr>*?QrA(b;;zR)jS4(zjvE5o$k4IBBDd zyRuTbnXHqEP>)`e44}|)9H?kgYg44&3hG*Xu{QNa)rPMe1#DAxYh8Tv+|tjqDt)I@ zn&T9iLCbz1zRY)xI^#`T5;a%7T zRkO=c0^tyb$P|N{9rN8L05U4&D>8#XZLlguXM>=Cgchcqp-OT?oOvSSSO6uLhBLeh zg$Zb&BpHeI_=BqfBZVUHQWW_1Ln){h3N|6*8~k+v94s%wHgOWjDHxUl;D=Ojqq`v~ zdZ|{1<6_Kqy^7COlL;FkR>-FwsK%e0)~dTWL-oEBNqa~KI!#SAC7V$Xuq^N?W63MtAY`b5Ue4g6!@r zUjBhoIUG6zG=v0+~#BFHTQ_oL3MZ2%O~ zLpvnZDVFv%=b6$%Yly6dl~cbYHG1JLmZ#Kzi#pk#5eNW=P=J}$QdcNSdq&0KY%0{A zP&hy4(2`0l*pm(dLwY;a$pXxUtG6>(TJvo@R%jlO+RLYCu17QC4I45QHT3dDO0BMC z>qCY)WMpP3Y%p%c7J#y#*?aZ-6f>JfjM&aLlQn4FSB7T5(I3$G3IL0CAyLB!x4fxS zB)9O8;(y@=;XO#iddd#S2AigJEsYSUCAO)W(+eBehSMbdYzledJ``V$g!qmIXwxAI zCB>v(xuW zF1{?c^y&_+&=ZgJf<&a{I_1&_I+4s@0exf`TXg49>OC!S6!{`l+~kDd*x^o=FPuo` zI;qgCyHkGx04TF-v0fk?!Vr?ztiN9uKr21uSEX9&p<7f*(L)m$2aj9mZ!M(ARq7j3 zvyDYWe-Bj%l~Tg6Z2`ZVl{ZRZup#0Y-j5JT9j*|?=hUN+{h~0_A!sc~#0aHI zNP?=8Nf5LR+KC}(;Lj3Nl=^$(B0*0(k<6cfjB@aXQq@BkIvVH$mh`JwjPM8pKYfo^+RY&Y3Fk%k~s>s&`S0oPJ8f*VT*z2D}Yu5 z@fGL2p3-t4z7(J`3|2CJ*g(u6uDAp7tU}s65Dw2dFSBVykqtN#FP163Wz^jU?@cP~P{>X4I7eT-L}I&*Tfq@KYxg+gX;kVy!8!o@M( z!Eq^Zl;7uUXDV2${BZ}zLy~$)b)?1~<=}YOp)UPmHPpV-5b9NbaOfaE=8U6K`U7Hm zmEqDb!Kr^G>tjal1QVn`dlAvg2Rk(6AiE@u^~bV)`FOYeH6V+fi6nuqTzgYflZfeR z?h$3}rM60`MlS7p?)2Ayw?&w?h3oJ~gQpH9r0$TDl{(5~h_Pg;=AG1bOcB(GyOa7} z<)^YCsdyHf`qMhQjV_RcB+eS02zVqP;MwPlyfc<+Kxn#HTZ_R_}X(eDw&fd zy-V7s$Q8jO{~`tpeXS`>+YzF-!W6;ubPT3f*-Q&el`f{g3k6F317G$G(2j5jL&efU zrA?;@pw%QkNtJ3jiMy+kqD?i%TTEgQsT8Qgkks#Je#ur#l;=iH4y>JG-K#kZ%Bfbx zV8Wm|X3$Gy4-$I$DUg@Qd6b{!0xJTn6Je(jwo-b?az8;F)#CZ3z*z1Z5z#Kbk5Ci+ zPW^%*=k^{i(K|x}$knR}PCGwAS`{&)@g|GsN>Ine6C%aM^AT4?R=Fy&6Kb*gkedOq z|K-fK-fj=7J|bn(gO6Ows;UW-9-Qm;pz1Ht9;op~52_wE4zDJZ)HsI>hT zjJFgNB?peQU@_j!d|7YbQrMK5M=>n8G2((!Q~*5UFO*|_){_O-_lYxGzGTQz);y%^ zuu;BPz)G3K8|4xZAw0U)iDY&|E#cADCKzx0XaN}IyUuCzMz_uTksF<=DDOzt2MT<| zaXCaq%5m|zZT=p$q|H*cNsj=!L)Rvc9VThNh2X)lm!1j{Lbw{&ZC3NT%|?3rasY%| za61(0Hp>27N-1RA3DX$@5q2wb6#&zgRxVX-5gTYk2u2q%JiwkNOZh@M2^|b_N(W;8 z`L^L}J*AzQ{~BVb2OB(Px2VA;0FaTnSY_-6)&k!fNRZ@m@C#wfW3rGiQ{50^7nnvk z8b}i=s7D=kK6^qw`Lf&hX#q{IODAb^bzhVYYPshl7Yo z=l_9Ni_Uj&I{%c)VCRc`|3ZQ!{}$^U!j_%CPZq!C&NI!|B*0UHBxQIKT+=h?)0C3gsADHXYRfeZgre_7T_d zvbC!4qc2D}3G<#VX%R;3S7biJUI4rFa^*Yi;#+V){4tPM?5cua(7FJ<>9`zud7= z_lo3N#R}$duO^^>d7RMueb{SA?`D7)LuUqvYVNfQ;(m>*KHn?Bmsj^-z&; ztW3h1+I;(~5wwtfPMPPRNl>OAi^g1LAoE<&ambE3&|+?X<$yQj-u;fuQMzc}ZbVqk zQJ{%i$jxAvM@KqkpS%VU@XTp&>AY#5brEvxWFgFqyRudKjHK)ec{oaQ88 z^A_GemkCJOw-^p-?DgIbgpLil;IyCl^tmoa*HW!Ul8{1%wsF4<+{G=lBV90~MfWlO zC=_(CwQWsxBgA60-uu98I%_6$PwC#nE7jwiY9>#lOhz-j_gH)6mYJQv{!x3O8$}_W^l6-DXGaiFQXg1U;*cY>r_&i~Z!uxf!uC@S2Ff`B$F%8f!gc(93#SjmPmJMNVp zrGKPq`JUmL=P1f|e`fwuz+el~yDD?und-MTbAeO+cfg2gd?IM&G`0uJ#g;C-O;!~uOKqE^TQRF% z?dHfVIg=is4<#UVv>sFa;}0 zO5Veg75}0RQkF_)iQ*p24bh7!dl7-QD%>UPEMhKv0q!~_#}hIh%uc^tWfy(|`Nm)2 zA^Z`+YBCcnRH`<0fV5FK#0lNBrqbN?V>W{i!f%y>*?{9O$tC@6xIOp?uL zc01&uLwKOXw~YDd|2lN{YHI2toIKDXQ40w$J(n!ZOliqLaz|_UPS`A*G{t~v$w`!X zvNvm^v*e)Sp2N8Yw#W_F>)o6p_p3#^@I@|v$Pjai4Q0NGhCs?9X#?g=n2Zvi1(cbv z7RC+m{>Y!tqMY8qn5cbtbrjFP2VU{5%G$vb9Xi|#aG$nIb_!eJsGq|~u6}hRg&(6_ zPzHiTq6OnR879JA^I?s5v10U#MBaCkCLaiOfvr0Q0kI_K1>Q>RXyTld}$f;=iSxkL06eQ`$*y=dC?7Ge2o_`cHJEBn#s-3^9t( z0DWrqA;K*9QN#EFGqVF=vIujo3SXq10T@h+j1fqo)@7(u1}a`xT%an3qQV|<$3Tt$ zw!Yp2eIX%#oq;-2@ca)9cm)WdxAhH_GYukb(@1AR{7Mz*GhsKV&_F%N%)e!z62a&% zsX$M}V2t@HN}rl`4QRn=R$&nTj3Eo3MlDGu$btYpK&(00bs*yaf?<3Q*Dcr>C?k9{C?m=_jaNiDuICzSG62O32AB{5=skd{fKpGD)__y%8xkkW5 zBBCP8eQL%*p*fmihR(%`{$A2ARP=F@0k`(C5OC-72`ZBB9%%DK0 z`WjM%Ot>r-Y@u4#GWV%Sr@eHf!byOh^4v#ia=(xo#_vuj4e(>VJ?fQ>Qe-UA+O}mv9Up#rc!E|Yyyog&@y=MsKfIoUyGK# zgMBx&Yy$N1f0>qjx>I#DZ3H-lWO!mqG>npGpg>d&8m3gOKn`6|pd;b%N2(gr%8!s`4GS18Vg2Z{P850_fZD>VB@pi~bf<$KvE_dTz|5AAfV&(y zR8>{a=7B!9)L>?}AJ43O}tNB9%~8n@j7B%zT)EH&e7ZH*2~a0Q!WbzkHl@OC~?)pht<1zwz;K7o$P zbU1<~OW$Rc#5TAZx}RV%%!C{s6)P);KPT>BztzSZPYB2} z|2X&wk7TE+!QjZ99=ZmFJ8|LeLrm}vMrlIs6#^-haMHRYdmw?5li+O8#JtTZ!(MO~ zuHq?D6J5%ikZ`>K0(yn+7BUK{$(I8&Y|&c?x4QhyF1AiR09+DC~LGpYaQs&La8H4TegMn8(E{|`yHCh12)QdaYsoVA&#cKNc#~|Av&f2g1sNP z6W1A^%C$W9P4|sPkqaoKs&2KVJ*@!JPG*OU!|rYtHF|s;(cpnn9DpF&3LVZGg%o92 zjO8JclvO_%JF5WD!>a%~_ZNVaLu|;-^0^k};HMQ51OiR&NEj6F01#aA!aXd_IEkh3 zGI@AP1&tYJPCJ{$a0fo%zl{{@7d`S{_=hkf{$YwS z7{{mN>2%S-<3lc#z4&oB39Q=G2L~1&m7yO<^)5_1S7e`>JQJOQYVSqF397wV0#IEz zl<#TPw#P%gLIB&YB+-S2#~6=AIcQ7C`)vh}8jr=9MBQLKl)g6{kM6M2 z=ufQico9`pk<-MSHZ~rIF};C6#~2G1gSr}z5@J>(S8xyz?zY@`{>E&0+TtNY(L* zW>b>zigs-w-ox&Gs5BPzpjWgmUh%zv>@0AD0TO-{4Wit!7o=rs#(k335l#o7aoboR zvAv=+9kZC8IX-H9 zQj|YwAAclGK+u&g-uBB`fOY0t~ZjZ8Zgyik?T2XbS??(a&^TIn~MAkVZ6FN2R#SckZoylOWsAv_9?l;8U;Z?wa9n2eq zQ;dQhU4e?M-hg)0@AXt^*rQ?GFL1M5kbIs{FK{=LRNf54GaWp*F&YY5n4#CF@5t&T z!C$~TcRfZ)ULu7*fR==^aQ75EZ?wDdw)S+kbcql{hflw;JVHPaTqy~xu zsuwLp1nmLhz&QR7?=WkB6vchs-lWFIc7X64CG8|&#Q&tcyAs5Z6Bo2o?$b0tw98|R z#Pg&DJw|f8p}!uckop#k4XKQ?M+0| zFkT%(5>XSmMCn%N7ZgB`4Fo`Mp~E`pPodn;T4d5*RqY+!%2>#PMs!QOqB{wIi6XbX zXyb8~fd3$Ny1 zudc8w8i@}KCNDuBu`-63s8E1B76|#+E23>Llre+7;JE^cK_hi+1=NJ^Kq{0sw=}R7 z^cMEVvK7z-E)1A`+@x~gUU@HK;G~WN_C9E3v}cu(!V^-?p2uGP_Sl2O0Rkc!HE~Wl zr^%{WnCw<*#t~&E`1&dImG4$a?eXRYqUJVv*gN=xK8*Z0v`Y)F9p;YV`?DGb_X)hZ zZ3eC=LTbTd5IRIT>MIfDgGhifZ7Wb>5R{<*SBQ2bJ892}Xwkm;?!P74Ma-UeuutSc(d51gpwDOmU>@)uC(eOzn@LOfdsZWpF_86GyyPg_0Ty*Q zo<%Tcih76}5}kXC5m)bk{a0uL4yG7o zFg600BXxK@1|j&~g75_IY=o#~$#1(L4^u)Rco!-a?TehH}!vqu%`BbU+;S1d4 z2!r5u{8>P@y%bNucd@*wR53p+Z=Bn3vB|ibd8oq0B zyCal>dmHS_Um}2$09{5sBk}v3d9tus*T&9(7j!a zB1}N&YnQY?BG1>Yba9t4cRZWSMoyvuH?U|oi|#}YSlnY&Rccx*#f?a;1&B>wL2T35 z;3W#C6|A-`sU4KiU@4GCfG8Qu8^HhS5;sO)gyHV4N&LJX)S(9IIPtf*GUkt$`#S>I zWxcl@USflSP`*e81t%HvhqEAC6}T5efo8VRn7g>|!lfnzdr}4DjCK}gT#T{B%90>4 z&b0nW(A5rQpa|CB&5rz3-MBxT{DQK$u(A@SvKQ|svmjBFH84N^6ea3cdlI05`H|c8 zoKuT)SRZA69?4`;)SRkse!hQGkj64UV_2oD&~i7w88X%5pyxMB?7xGoUQs)7c}Od?MMbWY=L-yOvV$qWOy{mp-}?+L z)i5&v!+CxlEKxWG+$N9IC2ddw?7UBGum9?u+ZUq3z6ng!z{!Z$PDDz&B;N~0W_D(- z47rkGxwqR(p<0JSwI8hFE#SS~t^Is?Bxa2G@X1rz>}&x(CkF6(8yLcNp9}_J)>7Ri z(rJyM2QFqP3@u_{SQv?+Eno#h!8&9H2k>EuY8)}d!Ma{;jk4izTKR1?|9c+)>H&dV zd?aUGQs}H^E|-ElfI(A`onu0t=|JvvAQNIjp6)5mC{6yu>r^I->aOiai_4&;3fWRIAT`y9wh2l96@A-{JZ7dnui$H(gX zw+`f72lADekh>hnSq@}HOvs%MOfxYKpHV2w>Xdm z4&+yudkv|7=s@N>kbDTDA>>8}(sUpf#e{svfy{9rC&YwY??Co+Ai1w;NPV3HndLy@ zZC^1US38g$9mo)J4RNk?ATu4vU`)v64rICm`KOqWOC87*4Ox0&p7BcVQBT}k{R5XA z%JYRZ#{4f(Z1n?NAXzaiq2kl}}- zuVaxbxz>9l$&}0%jCCXi2Xd0Uvr*+Pxz#AEP~0@f=UfAmSMN3Xr49=phs6gleFvJA z?!w1+Gfh7}8q*IS-x!DwYxKj1H3s4%8y6#w@4>H2&#nDDni~|51`^d5B4gj|Le-Sj zf(*EAT+&7;kst|yh+Ub27P++>JOO-jr0%PnHPr{u1GR2^jm4J>ODw3p4%Dh9pezUK zfhM4~J5Z%fKy7xQhBN`S!GY@31k@W2R6-L_RSp!tAm5lImN`(bGy(O31GT6Ls3i{6 zbxlA$>_G8(hsOB2&w)C%38+d3>L7N1jp178K)v4t)LaMZ*(RW7IZz9lfSTq&6*U1h z(Sf?K38gYiIt_i422kI-lDX%d}q&rZ-CZJLrD1T#6ioo_f-<||~8mOlEU(8(FKC6#3Ra?DI z#TSOY6bO9#sjmi7Rux~%vwl1U^*g2hWDh-P-{EFNFV4;LolHk4p>fVBv4I8nhe7cJD~LZjH1<@piPg(0+S^_U+kzowUF3 z7uutGGw^H&p3M#Le3}6~D+SL*$A|}D8-Q;!@NH;-?+)TyD)=t>mG}Vu2JmhG-ZvWH z?M}SU3ErXqCSEkF0{%CEzp4TL5846$Teq_s zD&Qq#C=__?@j6TXSeCFmTJ{l@^^~vDl$zRJyK`cJhG^j5Jn-8QIc5_1% zKMf~LH}ZoIMymnhxQKu_E;2wI7a1Uq3kOKXC0qExVEFM}w%Ft1(EZ5t_iUgSD^3F0 z<-ipWf6YGx-ch`K7_KTwf78C&T1k*E##fTy^seE4mH5u65I+SC;I~CK;Fps59YuUt zuG%VRLwsivpZ~)rAqi_+v+G#1Q{iz>?;9SWak@+JAvoXzAHFK|=yEh0gb#v}%(W@_ zcp_Xze5i2_6s)FWwbh6TxoqvbmAv@8kSgf4+jRaWwoz3MySq4zNPE0-O|x^pAyq=4^3 ztX$TDb;n24Nx@>N`yK1{Gplh*0gt;^E^EoUPa^81ph)T%whsj(>ZE|LOs!njigkaB zsFMP|^`ml`!MX(zbyAQlbzFhv#fvsCQt%yiewE8wvu;R4J1N*Cb*ZfD7Evb!uS(tV ztUEEHP73}ib!}L8m|5L-DVQg9X{_T59PK(OD3-btSXUiUCk1&@cOvVah^Ui-&QeD| zBov6KlY-V#*OqltBkH8!CzMt$JBf8eBkH68_xw?JGV9KdsFQ-%rLG<8_`)H(4^r@m z)Mc=)mRa3*DJYk^Q&{&!L>&vllb4;!a)h>>HY^AaTb9Z4mm|tq5bnL~G?qUQQO<&J z`(>xI+!s;Kf^bXfwDAf*16hSHg4UFb^3Y28EX<_K@%8pYGR@R9kD6Yq`2|ZDgtOE~ zto0WxE%_q0fp6r(+VG39Ly|oBnx@z$e1x;wx-$*)>MtbZX?$9G0s~>Q2X#ccms1jX zOwF2}V5>RnXgWOVld~v_D-Bm$sl@xN>Ho^~eYrQ!|5Kj-sMQ;zV*0=F_`mh|_wzH% z_NTw2pf3AGDAT_V=*)^6ldQH-9tY*%t{d@*&Rk>h>c)`cWA@g5=#A3^cG2b#Sn)Yf zAoln_vWlQ24p1&W6B~iD5u2+*t;uF&i5@jI&`(pSK#(=})}z6X8KTxC(o`AuwF!dF;bj<2m96@EO= zS9>~Ml?egb1fnosT+#i=Ufj^r+_#S6o{MXF)s2fUu1M5CKg)N3`BC4vn!)%mEm-|L z51km?wKmVU_VmG>_E?Xk*47S2cLKSXC-}Z=h1ncmK~12yk=Nd&JL8k_ z(X%bY@5N$@Iyyxr(E)6aWP~S2iJ-h{R@c0^{`f4guc|rNi6IQoKHWM6eC7FSP7nQf z6d8PpynCP}dkPh6y z@y6UtvEFVU3tFq>d0HjA@T=91ygdF7(fZEe^Api$8^dFrA~?*&_nE5; znuJe2Cjwq97rO;>Q-F8b)ESnG>kP|KS`|!>3cBUC6jirrs#|u6K-kc(6jWbfecFl^ z4rAivJ5!lxBkWZ@t5SS!ByMe09{5#OX{T-a-rboWkrZ2dim5kTii7gVkn2szZx^7Zt&DJ=X5#i4-v3X z1SkRY%vjmHB7cML&~Y=`1m`}I>$09ddbBnOhH9-pxoT^DR+f36Sur!-SUEhd;^Gay zgU8J{4%czv(@g(6W<}y$->xik>_+7JnH87D87nWVt(d*RS9{!yZT|OspKtRWyri^+ zvGU3|bJg}1;bh;z!KI)nmu<>7dfNmaAkhmPqM0B{6~$+|5&HM9GP@;r;M>{uuX14t z@)~A0_w^5NRWZsrNgQR-S* zbwWQ^kXsIG=aHke;rQAOLM?aL6+_K=-(m}*ego2F_;XoHYme5hWG=ecKyi7Mv9NEv%jI9|sTkM3<#KK%R_1)3 z>+^pmnX5&Wf6^j0#m*NNk%!oM1VKZ z3viXREa$E8<=o6fHCQ7JQjGG?Q6u{TV`(#U)sDpe#>zKxeW9#e4DZaO!DHX_#H|mf z`?ha0R#x?|FoP&>J9C)NIv=_aw>q~XG0D8oSUQ(IFjsvMtNB|Eny2aJ)xK4{=M&fK zVClSYBK{BOdfe$f)4$p5w88APYWhI40-vpts@s%O7*Tg4AsjDazw)|gWTkX-9Z^Hiu6@nyI$izQQ7_#gW^I%!I>FQ z`Z&()rWDlcw&nqoId2X1cEqUMk)rj%*B-%?dg9R0+T|`FU0Kx(#Qina-vPV47Te#I z5AVx$1*-t1w67&9V8~84?^`#QRj!q=#jYT;Rt^c2S9x2m1C!0yxu4&TDw#5vFt8u~ z!xh0=_*(P6mZ2G2Ydy#o{=czDe5BHunmd`?BO7 zF#~s3d_Z`mkzT-Q5HWWJ0XVaSz*bQsv0bj!09dj!N2(fjX()%|LDF4zl25d&- zFW&&=bJ@gqgr+>uVn*y;2X)yl+y_jXeL6DC>-O zUBfy9^X#LOLwkIY~LBEKE??shsl=K zu6;lyL$@{(m6W{fJJ6*x8B#3G&s`xU?$;@%d53F(dCqa>*!LGEwy78q2edpd=AdnE z-3_$$x+P2fvq0%x5^k2e0*jI>S8Q4NZljFvip^a~Jz2-I8DBS35j5C-%ns}P(*jb7f?byG>I1G*y?qOiJeu)o{Vn0oNc4W zYlG?rJeisOVsSYk8pEs@80ZD9QT^8#uA!gKInoKOVM4!0-}3Yv834O<5)9nB#C9&V z8u-7qUIbd4iEBLoYQ5JC+|iyY3WMEJJPL37aE9Gnu^Zm3**;KPdSCbpX%Bl&Wmi)m zceM6odfdAfI=%|{l~ts{3iNn{h0jD4`VXyq7p6T(RZ;eRB)G0?Y^t`j6!Kf2?s|$(;axHST^%eSHehV8V^9&I=^2 zkxDlzjivcYTcKX+Dwt2Ej4b@)3fkA^a(q1SHsq-y9#T~a6!7qF6@J~GPR zMi%Y8M)?bpOF(Du5!eo+0J}f586y!*Ah|y(;zQJj^4ij~Q8~dVXRsU`j5W&dkX$10 z%vX5Q0DdG?N$@vIGf0d~kx-ccB>%V?UX6r~fv+zlA3yidbapGjTYB!?S&6RFPUzM< zfI1vvjC$^&lF}26rLz+DZ$krgIr$~jrGyxxF5hRA4CL6e*iLsUY6f}4z@ARokIn@L7FWBRI10&@1i{mg;e@}0e@slpK2!~gU5GW@fRw#cIN7|es)gPp#bL9t zO6`$KHu#PnH{%OzflgW39aJKw>$Bh6%pOmAtF~h=?q0Y`b7kD=I)Zrb@oKqfsS>v& zxVOr#RV1#-lh`KqPwu_@q0yiDJ0I9-PxEGoZTb4Vg>qNv@xDGQnen!$aW6%Nra$0* z0lCmSDAw~KGzS!+)kfKw$b_!Izw$SYvhKVXhkv4*D<_~qrw@&?TUmS;{y8OnmduST zxr!wvktHTe0{92a<&W{=Z|b6KHZShQKWbX&d6w21Vp){5bbGsI{Nk9N3&g}I@>7Lw*{;00#pAZ*LfX~B)#=lwIaoJQZ zfnZFAf8URCUhYFNoEL<9{6}TJL&1w@><<@LwBa2vpxKLg*Nhud3~Q1`$Jf^PfbboO_nv}(Gk?d0t?Waf z50CL3Ni_JF4;DLj>1E3)ckv-S@FD(+M!=TJ{37rkG^vc2j0J}%ITf{e{&k3HU>4jd zynbz6OR#AKYY(vSP0LhaV(>EYm zNutjK4&J2lg2p1a*akiUMoWvZqB0XQ^Y|ZTBD(7jy}y0Dzu!6IYx;GGL(R3gNne74 z4E>Tsr)v6TQ86#fXz`rOb@Oo*7sdJAwa)?}a3d(6UZ?99hc7aHeOi#R_uOS~0RL+V z$cNs?^bcgbg*Lv!#~Xj7NeF)!ocSo2jR&(KK92Ajr5>t6&bk0yfqBSud@f&~+qn_* zp3aSDu!8N@7uD9*xTm2QI;6TGPF0P2WMo;j%*txnRQeB_zS_7sS4*FnHOlEy`}%Yy za+sM%i1-FUd?JhRgQL6x+Xd_VFt&rM1zGtVUtFXG?GCBP@f3}Y|GThcq(K_%zyw}?FDa+anIVkz|HN`E$=Q!CD8jb zrQfv(H(bM#258Khxk3!c1McC^po2KpI~K8=_e-1k-2+jOV=P@O22u9$lu2(Bz5osa z_t^#ovt~#1D150SuF{JD@E`#SBLO-i+Nk=w>TAr=8Z!_S&63WQ*Lst!vm(G{kerPq zZIiM^n<$r`#?XWvj+@ifEdRtP--w|t-|aPWS5W_aM-q(kwI~WMqn5u3SXB{v0fi0a z;Hg+bK5TJr3UQcnjeFJ%FqVFqyZ_TVGnE&(CEZE`leB-b;Or$g6Ua@VyB7F9Z)%-E zp^q%5aBx+leibSQe ztG>WUS9|J0kwuQEWHkHxw>#4tk#aRP zG3>Qo+!d^i^R^792PcyL=c70Zea^$&v%UjY;Y)+Z{SD=BqCAW!cm26Ge*auDv9H$K zBDjzU9wvfl#?8QMWZZfL_(nvm$eap2B6(;Ve1RxN5e3%B(Yq0mTpjujsvSI&O!P-Z z=u2FhHO)ld8?a-%BJ3m3O}(edaNF13^cG^CM^j;r5M z&sVymG}!w$hffHmF9Clyj;K|8Qtio!fvnp)Q$=~0;{#6s4@y8!aw5C_`(O@n^Z*V7 zMQ{HneU@FaB`4D-fg;_-@TlNKilP<3!k0Czx>pn5S69VQ-2g=riT<@O75Yezdbnd^ zv0`G=pXc8sE8d+ias)8TekZfc2;Id2T1aBENG#CjU;n^FO9#hT+wim!0$rWM1-T3R zXTaU7j`JO8QQ8JjPY~++FGzTE=us@)dA&Y0%1V(z+$lkzScm{QV`)!**GLcdnAo9Dk0QRR*ZkCwiY z=l_(|wWto=il$4FaDxIV3wHr!Zje-M(nc8{Z3^K#oUXiz0dYACC)VawjEVEvOe_N$ zN^T+md`FUva{8gd; z25ExaUPhBRg3TDh=n}qD9ZqK`x+h7rCW*r>O51w;`+_ad)S449P*0-(6|jqwQ0nn- z4=t9G{np38$!kBUp;z7V{M)d$MiVY0;Rcd6%HP6@G1&hz=`R9E`1s%kD#OQkl3lAv zxI2bK=ktvIYr^fJbZIYvy{pl{20}!;kBfzuun=CBv*FAgojXQbeg6^e#C%8N=A3IH zf{3-}Xq-1Wd;;%%SlzzHJRKp~Z+0S^A1vqe9Rg0m{V{!IbApq-+JDn4&zoF%4v^(D z$#VUb=VhucMyQxv2}_C<99$(YQ9HFH>`2L5Rvm9G!)>hUFy_U(9FE1z(Yp`+jhy}S zN?g+9HqBi6lYsRD7GP>UcYM%&vRY+%2l*$rPsH6sEc5T1fd|Ml1jE@8Rr)AP6HpplMd{7F z0+&B3=^a6WFoEsBM-FXIO79ZDHZHweOo%TfT6`24wys;P$=j6tTJvIzzDVW8<@(}y zUJTF|ZFtdBU!?KkY<+=);9IRz^aT!;ZM9nCBFxo3TIQ2&IV|5+U-sy{%esnUhU~eM zOH`q8xAo7hBKwYzJy(330+XPLi5oF=ZBpX2cRG>cETA}l9@=oGjNN1gWUX`7(MQoeS(Y7#5qBbM<7T!9&LWam zfFzjk7;?`d7oH5dv4>H7!-v_VECyYr?V^=t;F1)x*Ck0Mh@xz>rb8nB8u2!I)p(OB z@M$O#$Pwzk03Cz=swvjkF#<~#ONYT2O~?M%`u0;GSuGXi8|6Nhhs7VE7@NpHX`ck& z0E)GzvR;S+qxq=DeP0l@1@Q)Z_1xtUL|Y2tG33Hs8$mYqGmJ1oY+R0EvDnfJct*?Y z4Kq9kgsCvl@dy`nC&tSO!7Umn9;WCspF(MGQZ!lr2U0w%o(lSRdHg$Vr`rRv_I`Q4 z3d}_~D~wm=`hToH!C{*X-_ZnE)-j~=_GRRAo3$GDuR+l2{%_!|uEj0%@w`zQ75o_Q zTXrc-86vDflYEyE4-~B;QEBL^9WZ#Sjo@8$EM()`-~ajh+k34>gK2Cq6b-mP`g#jw zH+F64DNLY1#&>^_$i}TWd)%ibh7%9_zJ!Xp2uO@b*?a(C6BHRLy9=Ys?VlYgn@=Lz zE6N49??{74Stkg<92-VAcdIF8*&&A}B4xLK!huiR-B_e-zx4(nBBNIOt$R_THm>`v z+rd}xVTz-FKE<)$N*9c4MU}A6+;2@F$QuMX4Iq*G%>C9S5vZ~WXA$loVvUR_MGu&1 zN2^}o5>z)L<8`=-9>}#=IMHg`R+K$Wg0a_?li{NvV$Pa^Kbw?Wp*lmJa&QX|Fshb$20ZFT{OZj3L_2?#ux3pz9grCNoz} zhOR*_bP@I-dH#LeMB(6bQ=^o{)?FIu#9VS`_F8L{A&?61!WO)8x{gy3017A5~@=Blq?=+}Cj zK*;N2UVz(WowJEp5eQLhaW3v%1f<&f1L)Z^;Dn&a`l3r9oEE{kl>7O}J2X^;%(OM~ zda?CbukD~0b|AUOqL@pF`Lm0mj&CscK6CpxEN>zgIt1GxVF^x!`p!%UB`FR7b5o`9?-YRk^mYVil6NZz&!2jG5G z4en>Hjm!1bCYA2UT`5sC9se9W7AKm24qppx8flL-0t0!gzHFA)X^n}H52HwE0uk50(S{867t4v3 zCiE$tk8Sw*OpS-nSu|XfrjbM$NCYdHo6TG&N_84?p(~YQHK|oqY}XIaxKH;Lrw+FK z(OY40v@L?2923kF&>?#A7-$W1!QOd#9rE4`pR=~~iiVg0qm&NkjeF4(`zz#|=daOf zmhv2kJvS&8PaeOt44;V{h?Dy`AupoPDlyo?rc4Ht`|2QWIxN5 zNx~3OMnJ^?8X2&j?ArSSF-%u8_a<}qF&9KGH6hGP!If^+XW(|nNWn-hb4+vxwM{*RO zL0cI;#xL81PqRl4;Y)8{Mx+c5;iG6n>-2f}EKF-mH6;;yZTNe{$Yq+!4-dD`i`&)! z^7RNvj4?w^h*>yeY~S)%p2w-2jo3I%WG55AXwXZR5BA3>wrh0SMcmb>WW)6Uhg|Ee z#LoWa;^^Q*)Na<8kN7l}jcwK=??&usjj{)&c&l|kils&94wld#oY;^S+)2k>%&Rl5 zwqxQ35__?15nM)|Pl(C0=@+*YiJ+?&yy*3G7EFS@7%R8VxnmP8(9NXr(nSzxfC62D zT!^=E!Fpp$#p(_;5G;@u@*dz?QD=^d#_Khzsvfe=he(T$J}=29z!m4 zfiex)$mjY0)r2rw1hd%LX=sz@yTw&oIz85)JH7P6zrsC@OJf14)jA%1w$C!O2o@0e z@j%|Nfye&>`#acQN^Oh78BhE#!Be(4tdSHxb8teji!p`z+U`ksn9A`w#>oW}b$~s7 zDK{1Y9e_}5y@glk$^w9W_NiP->kWclWc6JydmdNk_bcQY7wJlY0IS<`&$2fPJ`w-)emW_d-!yL^(l zx)RT1*Tk{b$)r`I;(oAa0;;M_tl~$lwPUd1p-EvZQ_S@udg=LTq?@S73c@ zsu_6C#M@=$%?5ZoL(}zmgF+|8$0W4IPTD^y1x(;YTzHRT{LKq;U@Q18t_@A2!Al?l z@k`=Mo8d|5HnrPLKaN1NbCF2VkCB6PKidD=e#DzbFy|=Fy;qGu>?ywVd_EZ7G*2VT>x=gZ~I^TZxq{bf7P^4Q0@S!1}xZ?$_cq zn_Wcj@D#Jl#M7gnXV=!IZ_0IHKZ`+a6`?|AATLGKr?M%zcmnZxV<*PfVjq0v0W;9a z^q*zoxmLtqF!+<8InbWKda7M@-dB0jtZ*-{0Cg~DH7DD-U>k++q0rig zMI)4@`eETQ6--U{r>uAn71YU^Dx%yM7jN(#oUZ)Z)&+1Jp%|Cry#a^j73G91;AV%*1NL(c6TP*C!xLou4$Z?&ugd&X`Ro>OOKHU zbNq?z!|wqE=lOJf=oHq^>-CZ_GvYX5X8uMpb0HWl4Fp)eb)k@h z8+39$1ou2vZ|gp;XpzLW@gY@?!ab;#Q79DYo5Hg z3BmRScKaS^A6|))i%IbJxC+f=7b@I+Sa1Rg3VB@9G?rp#b>MQNY!2_~+TvIbB`^bT zI1mtHU==3#BrgswA0F%NiT@>DPWfxR#rQwodjtL#;bIMqXMfX$E?ErBui$aBzy&K5}_%YTjNj{9$+^lwv`ZUxSQ#R|Bgnp z(1<>WHJAvT6g#?sb<5&a)w%fN1~2HpDyCE(+Q z7^cYwSg-^XZ$R{|ioZ+?aW6-;l7WTgL&DTmleG1i_5xk z)t&69hJ_T3^7A#aYY1)t9Ir$Ic~^laupy6TVpW`oBCy4?;5|s_CU5rO@=r>?%+K?! zj>BI<-n<<@Q>-23SK*lTsj%Y1Rrz3d}wih!NrkA5i81@EmV6cSkfl;2 z4!S3R8?c2*&=DH;QVWa1&$y{4ZNgh~vi z0-jar!qT&cYH6Neh60P{te7m;c+SJ3ZM)9{V=3Uva2AXN}jKE=spA>L3d6R zUBy-)SC$oP0P0Ncg2|S39hCud-dNgJkX}lI0F5=u_^ux0ps8o595l5pa-yld$j-Vq zl}#-%%Kk(V_zq0+_Qn6P-XZvpWAT4hr8sQ>}jyL#ttq zg|Ry^|8D@7B8bpvWx?KB0O-I-vW=iJ?&?B-?b=)Y$b+?-eX4Lj4Hzp+aa9!;YLAxc zwlguN%BVwKLM>4a+`ZdlQ5)Ajsq{oD<#e`nIc;(7OLTP{i$ibN%)E!(af9B4Cdlq3b?}k=51iN3tIf*1n+T-6Z{0HcbmkRVOl>YlMd9z zkXls@loIEt)Ko<2V3t0G(t^;Vs&_Hf+9=NmeJxCZ?cJRJjNhwoI+X z7$3CQUyc?gTik~h5mS`&Q(SG%k1-HQ^!%tsJ3-nKZJU~x#?tloOJYalc_Mr4p z@G_metXKzLS~kH;Q3GDGZC>W0ZBx8p)C2vsnHT}S8|CIXvgz%Gq9SDB%QyF+~3-s z&80ut<`w4BAgND%K@KBh8sg;nD?*L5gT2%&9%O_${3sZYG(T0Zqfx>|uqhV|Y-V0=L2DK07 z1G1r+{iGT&)(G~p!u=1xSZ}fwyDaPDi;c?EB05b>C>JhE7<#>n6GVuHR%To zeCTFnTGL6YHLylGEc6H=c`VtsNxfT{)W<2b3inP3+4^KPdj3m3Q`ciOsntMM5c=9S zr!P?-Ih0l@Dner*K9Bm^U~`Gz6X#cV6CM$f#Y{$T&(fu-TfQEmJ6Z z1NEQ`b;Je=0eIz{g?y~C2dXu&;1Lz>OS{lT69a)qFJg==H(RA2An>;)DV%9zv(AP7 zgAL9p?p!8&-J!eBB}2~4YKv)ed1<2Bztx{^+{0u7U@V?Y<{qXE{$Io37WOdwU*v6t zH@lJ~4%4hj37_EX5w*%$RKo~r^wacS;!(|my_dMlX4=+P*etc35F1k7k==%ws170c zgb{!=?2Y6=h>3QYu9|jFyR%5UryV7)+*659W3__=uk`_bDIV}8N*b45%rvyvw!it6 z(x}+WS`8ld1BzFGqOu_lAND~#I2|0X(OUu$PV&NKfq-#u1_FjKAz-|m9s)iA|BER2 zs<<$=8hl<3g09lJlfh9^HL3>Nd`4*plgyBQeJM%3>^7O_0##R=i9CtQrtE;Q6 zpI6nXOg?qSD0@O7J20*^S#UZUg;P*vh~CgfmUuhh|0M6J_&?SQtvYax_jvpt?@h=5 zB5#J`W{o7$lUMC*3Ou8jmdbl(JuBr+$+xCpLnSRkrQkR;2A9_Nc5g#6IUpy-Y^>|K zG7ZB4Bjj&oei~d2iD4dR-0?lvX1uj}G}d8xAMHnsU8+}Je{dBFYX&7%orqVR)C@|O zFeP8jikGa)9K0+Ijq5^`PE;v$4-7YARoj6ebXwogn=Q*)yLCHy; zA+fe5W)!p#@vZ#YR7kci!kWN9X&g6mKrFHY-p7b{R3mtsim{OnL$B2MIWPeDWK+h? zFuZMHc_i#s6Hg{VYR8zbZHD`?L<2tc%f$l{UZ(uI8+TlZdQz$x zn3DAwu+=o*{xOq5Nj+9)*(OElNi0%gO#w*9Eg$iEcoxLk5!XFCBDRQEW9HyZ znjF>3aIA}iCQ?)I_RVRyo@mainJc5(+!`QIU=v>5p!CGCa*6R9 zlkTa=cwiQ9Ds$)t_4I5;`-%x!o{G)~um|?|r{;M46HJm?0^^M;Tu&_k$*WO55f}>4 zbQ0a366l>`N zdT5)Ds51V!wk6~k>T;ISS1z$KiuUwK@$e;%fjrDLsA{FTV13?#4Y~VV@ulb>4h&yP zy}}1a-pH*5D7e778Msoo03N`iicOEP315NgXC(Ly#G5@8?yQ^e)Wd?7R73K*guE7Z ziaob52aNI)bqC08gBus|W}m*>;TLo=`%vSIGK3ScEM0>#qwGt`|55UHVUmWH!n1&G z{|@^Gh()B*T=dDl#iC3^X0Z$sR15|QCPJ%yPf_~{yxz5DP>$AnQ|mp(eRvLfclm7K z_0?d=5mM>e|;VB${#eK)n{@)3Xc94$dyk=nf!(?0aK-LZQhHUl#Gf?$_%ZWW+ zv3gRGu^*vbnX4GPy3XJgy%lM5(F>RuPEqp(S~LG33?0l8rtJ61gkj1KDZuqaEu(2# zMiarrEWQUA22f*#aj22k1!ER#Y%maNU0JTM$-3eRU>O;dbLbNx2>S;Hd^PzPz)Wky z31IdYZa@v0k?W2UP zX)Y@X`n+8u%bWfJqk1dwR67 z&WE)|(7c|xJ|Qn)V)B5WWZ_3`fx-dW-URK3%)3B#HlRg8> z;Djxn3k#DB-!4o7^TMl;+m0M|Ipa=B8Mts9-r&p#CBQd^-?e?6i>3SZ{G3oGOKaAi z1A8CZgouI1)(u-RE*M3^8yp$Ldh2tn9>eA{KC1xYEf;?y00G3E7875o{jQT z3DWe~C|=~|VU6%2U#n0HQY=2A;~cOwfjFFih_BraTV!>91$wkW*|gJ`pN5Sj%F~$t zi^_kw6!}D@Ye$&xsq$|#KTGo9=~VbM$6+ih+<)ad;m1p}>1Dz;!)=z;lV2M8#}uwW zc-K9QHvlpLARaA@dX`$9;F)tH1Wz6HChGIyjXTRD7Q3r)T>u;t>8S%&FN+R6Pv9e9 zOXuE2t&#}zOWAczOq3ti)kp{*FE>1l8kdKMrrQWcN z74CiB2Ezog=|RA%ItHsNTo!&!z(2ev#MqH81bq~U(Ud{Kb_4kWz~%$?YQRne>@?I} zjULXzcC}s6o&~I4*;Ph#mwGkwMAV8x;5}dO-TO;7sBMWv{8? z3Mp3FoyWF8vEs2_Mvc+;vd^?Xgw^O6Vg1EJ#;}`Laz#tQVFN54krwmc86A_pPFv%S z+2oYK5ClZx|J$z z8!NmUW(u4KZn*K`AI^fBK^;q!RnW!*N{a8C!QS5`F1FZv_|xB}REN$`^BGgR66>N; zCAu;Q#L)8co0Ld)qpsd86+LKX+;MLrg*p(}oBueC8x3KG_7Yf>VG~~XQ6li+M6A9| z3AMR{rn@r4Gf89sKUD1cKvS!8&|9XhA+)hgDopWCSP)9*JuU2+ANL0v4K!B8=I#|0yGDW%%#U0F}QeA2OT`2sI=hwr!m-aDu_b@9gA!9R2*6DqFvhLN3-O*~IYA1&tEuX>AV-~r1=%LfGU|OA z<5NwZRHQC9eMr_3GUQ-oJqzD#8t%y=pU3zf}1@F`uIRPe1eLNM4QaJ2A(Xa>l%Ddi>^Hz|a9-E_^I!Tw#4Gk{`PkS_kW6 zowo#hoR3YvxE$hoG(Kcl3$zW2^1szx#8OzbNJku0W`m0L!4sgc>3B_ncfw>WVb??4 zKic}e1^L*vpgn4^pPV}#I=&d3z5pG^WJ6h0@U`;StOt4XdWy_?D&bEObj_!M1U5k_ zvI!C|pBo?os;$u^m;kwfk&ey$FPtTY4*mTp^t_`Q@5RiwQ+tew%vVT0bUY|S9{h1G zIP(3aF%PVdITnXO7_8~On?aZkZB;O!FbyHl8lsi_YAK7xuMF5TMZ!s!_$%~TR z;3LtvW2M-RffjkSO`jGsN(fzxae*C}^*H7`W3k9jX1<+T53XjOhdod}jQO6* zR+y4kwxT!l@S6Y=DXYEzxvbz@ZB??mR3_38`0(#?KbvwR)rYnY`vujlOs(SZwHW)j z)It}t(8ctScdp2i@jf&QwKDz-x|9MMGJs8c6W|Lfgzp0CXC=PE{I`C74Dw4C`6>O_ zq58Z=Iw`(&Xv~90X)92HdF#ZlxjHr(y9Pe^y$>pUyf+5nB|XekeD;*kCEGE z)%VM3tD75llqei>BO5pv_S83mc^giqZUxi|_d|HwP4-A~6BzcTChjDmoSWoI=l4xy zdBS&3N3h>ImOq5~0;Nx_nfI!^oB1;2$K#W)IW9gCi$`?%Rt--@hc0KhTvwPCotX~J zKo38U{}A3vhPPnn*0%XnKeAi8i)SY6 zN4fCq{rK@+Z1^9l(M`U;9}vj?_WMl&ze(UX3H+axKpb`@aVIBSn1vo72^gr&%5#DI#m&Cl6*ns-?&OxulPcqyr{KJbs~!Gk zq21X8z%Mo|J|lrT!rly6dPDqi-$Y&(-g&f^pUH5wN*UNH{bJ*HGn3}JvQN73tZwa3 zN2#kn{tB1@U&T!OwMw}&zF({KKPC)lm5DFfwd#0>+iaC}TQjp&Pha!Ft#V3Q^~`OR zmD{RgzgC%m1AM<$Ny5X!Xx?`Ab)c3(pQk z{Sxe}hZTSJo^P+Nu=lDs)h<6ia=_n)7CDmIRv8%)6ajp(s zy7rjhGK&E-X?Ahu^^>MgpEPBHYpAzq>~&Ekc~d5NClyW3oCwg&sG3WQXL%!v#}|$D zf)yK+!`P%L-r@n>6);%qYn5V<%6YUVMQW z23}sQILd3tkzF;mXv*(3GP1`uMdL2IATy%eJ8{xR2bg0KvjBA8QRMpVp;_K>$TaC0T zs}DM~QPr?(>Z!ocCda|4oemB%#}{GX#<^5sWAbro8#ZZ7XsQWn8#ZZ7hN=l_8#eJw zngaEWE{`ekp#vKi`OtwwMdnJrf^6!P%%R?Kc|*|uM(Qw6>s4~@DUG%p*>hF~vBWjg zRdTkgx-|ST5@CN%!!<5!~%<=5NSiE$5}Y@PR%TyGLFrt zF7_}fKnQ$#&b>agh^9`SUqgc6o(AZPpzZZDCS^D$HQLH-q7;# z=fF2gS@UPx2b+UNdg9=-;Tq-C!5d*-$XVw2lBw5o2sup3KEMLh)f7$1gz%?9{xazl z8U^R*dL48W9@N*>G=ayN0Cmt&cu-$g(*z!8R@6a9;X!>}O%r(3R8b>T*T6<45)ktc z2`4IDXQ{`t-DH_^br@ohbWH9{n%+#PEPy6Wam20aA;>1{A)qGf(ecLW#RPE0Dw;fb z>P)S%=xW{&a5An=FJi()D8_WHUv;+Qmyx1L16vbgE)sKNwxu4Murq4Kl^GwofTL&E z+?Xk~#MdaCI67c`VsVMG31X2Pczc>PG94Yb#-_JT*T(Y;(-rtGkMsxXbV+MtQ}ua6 z&dDsDUYw~=u-EK&BlwCkOQ%e_p%iA4UPv8W9mN>h8v)l?hZR|kuW^H+_=;U0)sH-d zuu=G!{c!L$qFr`B0C!CNZQNifzGBx$_2cr$e#C%}*$)Tq7y1FXW9moa22=GTc70So zhDP=y27JtZ0PffE_Y3`vG{kj?BMr9dPor>AT_TiLTdlW|?dlnN4cHX^dLob(k??gK z7iEqs@)kudw2igo*b4g>D|)t+7RL`6TK=S8F;0 zBQ0DV?8r%n>8=iAUAe0Kf=n0u7jN@vA zCr?H|M|RKkVa86qej4H_+(5+y&+I4UTBv|c=F}O*CF9{CcG1MfmrkCH{D4`-V@oxG z%*;Wt=z{aiVN<j_VVrAlQOR}12p{NSu#>qugF~?Ln^Qkk^?S4J2Gk$MVmZ!? zsixpB6Ms4Qn~OgQNdFH2kQB-AXX~6D<0Vi0Wy*iW8?$ruweZON|6v4VA2I7%9PqBi zQLkD&pj5jDf7|dE#NQnJ)&36wkQDjgkG$|le)uC#{B4u}iZ^EG=xgDT`TxTRq$^M= zoX~S6=rpn3wY%PR{rYCVQ2$HqoBxOH|5N(Z$KQVcMdRVbjB*8yv#0{)z|Ya`=KycSZ$q}a*br3dc745F zU)$@@UVZ(euK!VAAJEqa^tCKYL{+8mCFST;U+bG&t`vRUM%TB|*Et$rmYr(6nfiKf zUzhy$^1&edHt1_t-}@Ky_i?sPb-OBk{gs^t3wr(IjTtNVWH+03cbn%1eQu{3{^9KO z&i#iSe&j&*ovVN9IP%UNb{aH4pDpm0FFU0?e3_NKvuNYnZ@>Lz_G8ofwD{<68|*YV zUVb~Xb*iuT>Fa&Ln}}uh&TN(L%l=EVQ~ubgXqQe8Ww+}5(qH#Hu}i0ivY&p6zwdSb zt?au#>E8O9NgK1ze&Mg59cp!JZ`WpZz4YY~+g9CuPM?HXE6)D;a4@^i=c`k!S+L{eX9B%Px0rXs!8^BPkGl1i3y+*w(A$-yuD|&t6s+2NdLN}WhD-JTknaC3 zC708V%MtmUc3f5Sk!`x2`S>Hfb-F^8AIw(Qi+bzppuX1i-)TG{JJt2`G@f}H?wjm8 zPB{IkBPn}TTKRqU#?!jZx%uPx9GzB;?s-M0+1DC5I;|>w;-a6HE+vX^KU)21(xWf0wo7ZQJ5xvhpd|HU(aP>b@ za{DT{dAkkbQS8`@EU3U@-81`mt8vh^q+=J?VWYi!X^7I+L5hOTP~W; zq7~BL%0x|nkyAc3)mOFtkxkh;4Sv6I@HHs~pJ(edxM=sy**!+@%+{&auWz(|eG^pr zxmWAw-k?(B@3VCp{OpaD_q`MUakfr_p;^iIm_KjN)@g9*fGt<2z4=wPPJ{W|rXPCl zn%Zog2G@BzylZT5<><8P&=Upm7bV2!=(Oq|-;GP0a(hCKPOC;Pd*QZYDo3YP?LI#7{ld(Y z9GzDEv*g9eKfIcfqtmMXJ)Zc}ki6D8I<308RdC{yliK9yv}(_We=KqzY?GtYD*v^Y zp8e2WX*oJo{9Jj0;^)c}s+N}=8gy{q2{}5g`tIMf3aPTPOFBzR^*=W%xBp;4elsD_w+eu&+h$! zHGgjWOJ8K`GB;h)*;x~6?jHU_mp(`5pItmCZGX0F)cdY z{oMWQd*1UvciQ`_3DWBl2vx^m66Q^k$r#?Q%5@3-&IpM8?8 z)8N(lf6DwNp$bM?%1G}vJjMqT7=b4js(cX>R&^)*ApuezwV{n=K zqm5G@SQWf(&x7m7pLk#P!K^)#zC8Qp>=n;k;a>1kUhuU!>mGZ2W{2R*t6$$T`0m|( zhd|5#{cNR4+Z~wKi)6+J)=K;jFJ9YBmEg8{ZAO_Uz>bG{TU)93+44*mj7jOs!!^w6Pvmu&)@jWR`z+G-^H-^JC8Rl*>ck{AU^x`{Dl@l z7o6m)yIoo~{#qW}!uQ3nyt+%Wqe_1%zuj%RJTA_5>g~y{*{dekk6=ymX@-m6@tIAx zGO>=w_gWA9iSeq}x_M%#t2SEMKJ}q-jdzV0ws|ny#I`CcHM$F3$-E94oBTj~=Jt>sy8`#QrqK+$Wd}#UPG*0el+r9^P8cYG>0jCb|bjl&5YY3sN`Ze>oJ{5+xV`%bOs9BKaQ74pvX-TRMEJ}#ux z%G%|pjmlx{k)?;Wy?!`{9*mcluR6S%^?6{{VWMg~{Rcg06zEabn%5&aWH(*IsH#9f)V-6wNm@PWIQJ&oQp_^E1=a zYu?CdUPg9Um$Kn>_f`3p!tTDb*K4r&Xh+Ld`p``Z*6sDoYd_{srDNwxuRHiBvByq(cU1)_ z=+FntC-*S(QG-rKgTk6q%fBxz&rP|q@ueA1=Fqx_D zIPS-1+osY1%O0thc1~s&MVY^hX&6RNPnha`JG>9uA#(eY*v*fb<=M+_D1V|@PMMXB zUt>G0w(Svk;>Us2N$dAN)Sk>6+*Yz-(BOG&;{?lr3ofLw4L|Q#oA)K1 zz200|w`}Ngw)Y?l7D{0U@fE^a+`pm-GmsPsl|0`Y73-Z||b!EY0ZFzn6 zM3j3N^|#*bT(E6A9p;k}^XAZ0`f>d9+0(2;>4{Cp;)@&frC>*R(QumY_vW0|j^@Sz z#oEX7@%cE9ahlY3RcG&$+R+t$O>*P2m|r}ShZhb$q-CA={92HCfC+6Ml~Z1SpLVXT zM^77vJ&fk`!RHOkwrh>YiCj9Qgb~8E!uT;u2-kWD=_-5h=|1TGY$c|9D>qh^MuXexA)ZUrBY>NNv3`Ts9BGB2q-i{0> zc3iP`!x~<0Mdlz*?)@tg87TPkhMK_Bop+42=NUJEyub~dYcC;MgD%oTOI<;lW>qvE?+S1~E0%?qDzT!DJ3 z(GQef-qA;9#>L-b?%i`+TN0bcSm&Am-NlTIotJfB!U9IoYwp2E(jex!cdJ=}rVfm1 ze~!lC@@H9k@U-vK))dNK2>P`g%IoKN1V=y#PMQU-0bF*ZFMsE?V~%)?oLE@7xyw=0J({^=bNp{^GXxNCypEnJrbWEESJx-MLq0G1e z8;8;%;ovd)|Pxbl)iP^6J)Yx5>43j-Iaj(3L5yK{*IW7zI6QPH0`d0 zo;2kh8Ro6BqA{Om#kOD4ncC-f)ohv2fgba;TNMANDJ_|??Xu=@KGWpsH~+IDpP~L~ zTfM{g`%|gUJoek~1F2)P@(sxm!|A7A)yKb#?@sL-75sMIvJL%lOvexX2KS^Vb4JaW zf2R{AZy($GhSjBo_5ALRJCV<9-=2JKZ^%%3)b3pV9MEsLw5l){^gGdR{k@~0-|MTt zUwZ-i9lb!i4}4%l&p)&9oS^JPi@&6I@jYNoQ$F2ZTJ-1vv+9jsn_h1mnDHlL_Ov_K zm8Q)wx189*+1#MKwG&1dAYs=(%V(!4G(*K*%HK6yWr*>|mcTyFFtrtDbh zvu*DKn8?#P9;v3?m^BmY#*MC9CG%+I=Dc(GQQ3%q0d`*&&J~_Z;W=0Ds_}Ujyjc&+ zhs&Ovn)l_nwvc%mWp+g}@#t@_s?er?X)PHeRUkuLVHcI(y=oWQ5`e!>Br}? zyRVwuaJ2nX7SR6Em8jmc{#E`rg8V=HdHKCpZQ|C2aWr61xrM-MPUAE_9;QGzw70leT!L9{c7omOBmwqWl{k#3)GDsGDw#Ti} zH}aV5(S;Su?*GcD*KWQyF>MZ$?l(;N=eJ{+b?4G$z28fjls?g~$Cg#do^L$f@7?_U zvXc0TU)HwO@cLK&z=Axu^Z!6OO44|0CeWfZmJb)dFwQ|ez|nyM{SQwk3I3AVTsQLN zxk$fo@pLccXwDv%qh;y5|Kl3o|7joZFWt}nJowM5PnRkgfojJ%_A0jUzA{jFfAJrf zl*%tY;3iZiCWZ1Jilu5rf+8jYzI7+UH)C*mK5nAp-!kGSQCvF{l9-&RiHITdjK1?n zgP)6+j~OEm2qEJ4eM|!##^ZO`kg36;H*o{Kio){z{bO-LFk0os%-CLe)Xz^j;+_2tBp zOed~Dt%#cV0<|Ve5)HH&nM4)?Z4SF{YzJyXdI#W&-meIht*hKsRwxJWtH)I?vhJlFI@UtY|>190`T2mIv zmHWb66CE#)5bHvSDmFY+7suzzgkv$`bis1xsyR@^tOnjXz!0udsgSJ!979yGu$CqT z7T54RhdCY-60YERni}#99q1Pkqb6gLVx<~YOawnoqo*_>31;7SC8R6P=78z6f*1VZ zaS@5!a+w%~CQQk%p_6d!%TQ0WS;$y>C!CRiJyR`l&RqNNFO62DB*R=A4XhD>iTZM1 zypBkK#TlrRAL`_K@`3>`BZQaHN95d=q1ID&<1$S%P{oChSvNg+%MKs+!EW#EA_q;SlD1H<8`FdUTv z)yWd(7Kw9@MA@PY#GxF-b`%anS)xp&LBWtNFe6sP;k6Ww|7&{KKGbTMzXKKb0{rrb zcM_oupwEP4L3jhW^7Tc&@d~U@V&7_lEa1eoi#G6E7vAaXKAEVm`zXr>7(AjCF`?lK zSx_|2vv+n0c6V`dchSqmdV>xMnX6jH>3QNx#85gSvw;u!Z>mw4D z=;YL_w@L^{+woj}WWSEDrBJ^ug!`j}lqvc9JAu0-;xJv*(+L!<_y^qLsG2xTkJs0U zbcDU#dG~dC)luOHefg5JSLpJ zIF?c*P9eB~JMZ)|d&bq2iR-basWeKl98+|duk*7GuqazB$FK9_)H~SS$;I8dH#w=3 zV~{p%C~laazs2`;B&M(*Gw&p10^khuhwVKfDOOaOtB256aIL++0nRN!kLxV#@2rW| z_c_>Z(P^UbrWh1F)c{*o3sxEaHCD;3qYDb&ufyu|>z1g`ub93abZ}UYL0{};NJT9; zs?p;vK|HqWFc=$QU)K7z-Y#n36YYY0Xj>KNXb#k{A9Dqa9~>qoCPV>om~WwrbI1Jw zYP5UsPXgWraG08y5(NOTy>fkmJ0U+oIPdsz}X9Xz$nm3;dR( zn)t8lNpHM=^mcc4BRybC-hb1_4K^e;)TefNF8$n{`;ru$ysztj)--+nM;p~52ky1b zPH=03@wncuaXy}JNSK1hK?8ZicQhi zM@$p6Y1b)^KC#El{Lpf#%e`DhIro;g3Gtr5CJntg}U-+O6M7*1T zcN6gIgaonA!n})kaleou5QeNGUflPj2r~t)2tfwU$V)~+9K0LS=`ZdpvIPgc;6iz# z(_c(Sr1(4qb3t@?NkhsZB-}_Io+AXjvHn6ZiGmBvq9{+?CuM?w7oRnZ?I-3R??H$k z00%m8-<2W(FYeQVczhNywqGiQp-oUf&RI}_@&x--LuXw6I2Jd=!;~wIU5XFD;J7_W z`AhCB1ar^F7_a~iLwu1H#b8oo#Ss#!tXX0ro{uGD30xTB#eH>LXYe?o7)5sBzN7QP z+Z-M*BuB^`IUhNP#~bHY^ow+zfEUZpOu(B7cx)erPQ-~}zrY2iB;wr!yqkb85g7$4 zmY*1$2^US^5Sj}in*{w=@cJ9`i++*f2N8TXBI3n;h9v(b{tRHT?udACe;f+|U&5=Q zt6yTeVmY1%EV79B%FVp~l|S%6kq=lnC*nnV8A1*5WDAcM?^j0EM_2zv{2e2_dMl4t zujJED!#CRo&RC!O5Qnlv{mES+{qsEjs+$2AE~PcSqyqfN>1Y&A1bkbga9%2p!6@|W T(l+32E8wdP!theWi^2a3kg8Cm literal 0 HcmV?d00001 diff --git a/deep-var/pprint.dcl b/deep-var/pprint.dcl new file mode 100644 index 0000000..b3da9ff --- /dev/null +++ b/deep-var/pprint.dcl @@ -0,0 +1,5 @@ +definition module pprint + +from test import :: DSL + +pprint :: DSL -> String diff --git a/deep-var/pprint.icl b/deep-var/pprint.icl new file mode 100644 index 0000000..33feaff --- /dev/null +++ b/deep-var/pprint.icl @@ -0,0 +1,26 @@ +implementation module pprint + +import Control.Applicative +import Control.Monad => qualified join +import Control.Monad.Reader +import Control.Monad.Identity +import Data.Func +import Data.Functor +import Data.List +import Text +import StdEnv + +import test + +:: DSL | PPrintVar String + +pprint :: DSL -> String +pprint d = concat $ runReader (print d) ["x" +++ toString i\\i<-[0..]] + +print :: DSL -> Reader [String] [String] +print (Lit i) = pure $ pure $ toString i +print (PPrintVar s) = pure $ pure s +print (Var def) = asks hd >>= \v-> + let (i In d) = def (PPrintVar v) + in local tl $ ((++) ["var ",v,"=",toString i," in\n"]) <$> print d +print (a +. b) = liftA2 (\as bs->as++["+":bs]) (print a) (print b) diff --git a/deep-var/test.dcl b/deep-var/test.dcl new file mode 100644 index 0000000..69caac4 --- /dev/null +++ b/deep-var/test.dcl @@ -0,0 +1,8 @@ +definition module test + +:: In a b = In infix 0 a b +:: DSL + = Lit Int + | Var (DSL -> In Int DSL) + | (+.) infixl 6 DSL DSL + | .. diff --git a/deep-var/test.icl b/deep-var/test.icl new file mode 100644 index 0000000..8763ffa --- /dev/null +++ b/deep-var/test.icl @@ -0,0 +1,7 @@ +implementation module test + +import pprint, eval + +Start = (pprint expr, eval expr) +where + expr = Var \x=4 In Lit 38 +. x diff --git a/lat/test.icl b/lat/test.icl new file mode 100644 index 0000000..1db4bdf --- /dev/null +++ b/lat/test.icl @@ -0,0 +1,7 @@ +module test + +import StdEnv + +f = (+) 4 + +Start = f 6 diff --git a/overloading_tc/test.icl b/overloading_tc/test.icl new file mode 100644 index 0000000..cf14d22 --- /dev/null +++ b/overloading_tc/test.icl @@ -0,0 +1,20 @@ +module test + +import StdEnv + +class type a | c1 a & TC a + +class c1 a :: a -> Int +class rtrn v :: v () +class arith v +where + (+.) :: (v a) (v a) -> (v a) | type, + a + +//:: WMT = E.e v: WMT (v e) & type e & iTask e & rtrn v & arith v +:: WMT = E.e v: WMT (v e) & type e & rtrn v & arith v + +Start :: [WMT] +Start = + [undef + ,undef + ] diff --git a/runtime-generic/test.icl b/runtime-generic/test.icl new file mode 100644 index 0000000..248ef5d --- /dev/null +++ b/runtime-generic/test.icl @@ -0,0 +1,13 @@ +module test + +import StdEnv => qualified return +import iTasks + +derive class iTask UInt8 + +Start w = startEngine t w + +:: UInt8 =: UInt8 Int + +t :: Task UInt8 +t = enterInformation () [] diff --git a/strictlet/test.icl b/strictlet/test.icl new file mode 100644 index 0000000..524e34e --- /dev/null +++ b/strictlet/test.icl @@ -0,0 +1,6 @@ +module test + +//Start = let! a = 4 in a +Start +#! a = 4 += a -- 2.20.1