From 1f5c3b37b4c2330013847147ab277ea5dbe691e6 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 1 Dec 2015 16:46:43 +0100 Subject: [PATCH] started with 11 --- a11/assignment11.pdf | Bin 0 -> 78765 bytes a11/mart/Makefile | 14 ++++++++++++++ a11/mart/skeleton11.icl | 36 ++++++++++++++++++++++++++++++++++++ 3 files changed, 50 insertions(+) create mode 100644 a11/assignment11.pdf create mode 100644 a11/mart/Makefile create mode 100644 a11/mart/skeleton11.icl diff --git a/a11/assignment11.pdf b/a11/assignment11.pdf new file mode 100644 index 0000000000000000000000000000000000000000..32a1bda877a71358203c541ccee49c36b0d2663c GIT binary patch literal 78765 zcma&NQ>-w+vaLI9+qP}nwr$(CZQHhO|I@Z@&$BL8a+7_Mb1Uhj>ZKohjEw$@R6#_H zmXVGXigaOlbRCMBfPui?$cli62Z~dOfr6;2s4bzrXbCa?rX42)thmj+h@ z^yco11Eo_U?EwB=dbB3AMp!^*HXll|avN zol;4wCL?$C8$XD?I=QVM5`qy!f;byOxx)%N4!FeVpw;vpis_5W923>0VbF3zd*IjXp5*z@gCG(pv3i=H zU>^Cy^TggMZq;~mJdc&7m#GJp+s2>7?frUFB8gc3Z1?^1eTLOcl2wG@Q_`HX!+pOz z6T;W&sp%pfIp>XuuF*VExn&L%^FZmKsr&+PFqahy6<_jsxH+y@q>@7WtVcYXSoAjV ziJNdm*!L4i$iQNr$~nPQ^_TcUS3eD*UPmbXx|~(Q*aF`1j>hi}v z99~b7xC2D`C~*F{+0-p$&Hxc!{USVcBv&5RhDWBktA~3vrw-(DHDu&e@e^>*YSj=A zQslNAA-9r@*@BgQgsWg4dLLmTw9%q9b>}1Ml}+KB22|Jx1opvNJ*6ekrwKDc$gA6t zDpvMxDF`kRNSXeGQlGd#s}mSfog6&a>ZVFc9k<%M9Tj$1)bcdV5HAJ!r!oLRrvu*2 zURjPJ4*WcdOGP(S{EE0+>x^KV3Eco^(a6=VDm)d>S|F*FD|?tks5`*!w+S4sRl_Tt zAD%*$?+6+xA?%*3$-AT#$q@&I9Txx*(-gP_X>bIvvA2hyElXJvEo2X=Us|?@w0DIh z8sYV^$@CRg^-k13P+H0=-?LdYa=_^5PE=03R6fE?gC&Z3JG1=jv`{`g!j_TGI18K=a2q|7YMML!rhf zN;RFoO{YZfR-!=$YoPYcwr>Uqki#P*tfwl$7JcfxWhwMaH+6Z}4HliIdEp7~PnnhM z!gf|;dTN6-yUF0$W0QjRX_JCCD9p8U_C2IZuJS4htQOhI8E8B27JG{4fn|J5nk#@v0n(5p&Dt1gd>~Kss&};TU|8Ty;{LDTD zolHN%QXL-JZgiH~jf9sU4ja{Y#vB8;n*LPXP`<+-f?dTGX6v7%5Oj2snV1{&r1dk=5LC4s8uitnu&DU*#a>Z}{}}gj zx&D|r6Tt{|`7cRtnf812ZS|CXLm6kf_SUc_HWYpMoXS8V&naHlA`5oFRW5fD_ck(2 zzU+&qY)!%QM#cRE2 zV{tZb$5qIB%%5pW=z&)LZNHlG#&0{|XVpBeJJ7$|l(VP*44jI`aj)& zBp!_K9yqX2gQ+PHK9Ds4VV&zaskeE? zX@WJog-5{8r>d)p^EhgA2cR?I=l1fls=n{CA9v5^Em_80X{40m4_hq9Gh0=HaJ^2~eN+@Zj?tO!qiVXZja{vAVKf6QO2rgTdx0$Y zm4JDRJ%Y3q+PO&<9BZkl3kityVbpOAsF+svicL6tT?hn`}$9eovG4@C!u8b z#h=#@jT(_AWjl)WiBN2c_LO-__KEZf)wb5rDpdRGUWdAhU8j=WBZoH8q0FF&rOO6usQ-dA^Q zu{0*S5U;uV9@7Ple7e?}7JW;d>!B@x_TSc!6KiKE(is~kTe-QaZz1+lO@``}J)F6^ zwC4=}TV{mTx6J#)Cc+}UM%z2%du9LPXDdKvT(b@3K$#}s1Z8Ur)pG2Quhs8*xu%I$ z3p+8cmvl`hI);f)tfeY6be+^fAl4LP)fH0~G`LwS%3FFIQaT$Iwr5_c05;e@;iT4y8vLNRitxDPb4yK33hXJXg- zWGArw#jZ;^!$aB;h+9@%F@ze&ZT%_-L)avY&~9=@Hvr0cnG?> zAA#HBL~Zbcz^g#+u5E;{Qh#`%p9h2ztL^keD+l&J&22(JH;p#}&8&g@)9n^81qM{3 z+ZSnL;Bz<+AXXx=TCQy3%gGLKaolQb@mqk*nY}Me2-;ki{aD!fB0j2m)*x>TH1w23 zz35H@n=dW|%Ex+3;D93!C6+ocMuQ*s*;fjQ*N%xnThJ8zqPKIW{w0j8p5OM8{&h<_-60PeWg?BUttlm zOG4}Y^Q$2ioIJCC4GpC$oUv_ zMqJ^B{*Txujkt~L11aIL0A1*Qg^3GMKosSYa9|>oo&w#?O`R|@3 z47ZFe5zdizq(@9AZzX^G#Ik^B8KfNoL4$mvo4NZ%1+%b>$dH_~(2UyW)-!%P2ZZ@F zQ`e#Av{4+A$Z@+qA@DW_87=dD5vinM%G0Uulryx|Rrpo}ezpFP(De|mvpe4e20QQ1 zi2y}NW+i!tvA{;~qDJD(XY3#(`I~Ay(Lh}hbEkkCr)yyN73HSddqNUoly}1Qh6|L& zGvla^uN8-b@W1?R`xfKlT7eg6g z+N+8QUO&NmPVbX$3Gc1HC+ed7Saxtd4o4`n8`+?sQd14vOqR>h9`~*`yy5AJQNTD! z7qc#CD2ds^BTI)t=C#*0osJT)g4NL6!(|5M{5)s2&Rv$5Z5P+nJr@{DS6nlMfS(7H zq=5;nDzXLGg)hCeYCehOCo-BPzk1Q$hsshZj)_N4vSf!f62sD9&%GZGK2Q1u9u5 zAnxuK+dI4-4(a=_EDI9sw{?I>1R4n>9o^RV`?m-|+V}fdc$t~p%x}N?FM6)1JJxrt zrn${;l|gx0!r8i0P*#9R;X>Q%otzya08CX&VB0(ZbaZ-fbaZ$sUS7Bj*}&)gZYo~9 z3DMLTP>3Js!egKyF5YdEKs$MnRSFOSlRJO|v(Wo!2nT2=2ZuoS4vvt2;SjEffD=Hx z18M-OZ~;gtKu)5i>499H-2t{XJ9$^%XXF8sNtgq)G&B>h;v51~h{r%}AVL6D0_@re zN6wR*+zwo`334WQ^ME?Bs}Ya`N)>a0SKG;LD?8L7A}okZ#SO7J)i~ba({R z1NM^utOdm9^p-dk&j7gE4OjVawiT_}p0JmXI#bK|(x&3E2Rw8-O7S=<0_KPEW?b z0EBA%kOSfB7S22hz!9ziT0F?U7r77!=u061_^7|7^Q%jt*C%IFhf%NZwTaK}SmwuR zz#EeSxwwJ|?CL7|zmh?_18DN+ce0=Ar(44XcnSOd1Xm3rQeW&b)o$f-x)2(gxg``| z>F1guU+}YGCtwHWM@LC12w(s>fd%x^+H(4#&po&Ue;u6u*!ZpQ-&}*Z0BiD11HK1W z3(n|O^wkT%A@)xX;U3?9+K>7Xso2>EplmL{8UQu|2rK?f{MmwQ{zm5C?tor_FdTW~ z@!12e-p=my$>x#GKtnk^{)GRIqBvcjVNF?4H2;#m+m*GjE z0fWAE0RH~wp57q8#eeYCULOc;Jz*=7R%>I%So z^UM(fF7hAPPY=(Ue13<2{(3h?s*UHbqe0C8iBVvd5#v$BN!My`(SO)CU+Wg@b z{p}7oJApBPmIAth{P{Tm-0bM;{vLSma!P-miVr`1)crdI=BZ!yNKXjT6sq^S$A{?w z0J=H=dKEkKz+=Mm@%N{HdP>v?>iNyE2POdnyLiI^@-O<=^5u+w|NTxb0;7B8~?t)ZhvWa^z_re_wgXU`7!@{{5uASW6&lM-JD>psIZNd zkk%a)$wbd4`}j!tfA&}9OwC_(T|SQe!y-~A3GmrkUqJnON&J(S}vA5M{%i*E&; zaFk7?ip?*(cZ1ixtH*BCmqQ?idmg)iDmUs-C{Av<>D+$tbADcfulKVJxKhuWbGJen zSezd0dA(42t@_e^u_80J*0(B96vezLGL8NJe64YGIE3?UA1u={z!qb3figkgmZ7ar zAFZ(1oxdZcE_kV{{tmczee{P}^VYXC^Y2W#c(K89`T3%A8}7^cw=^d{&lmqm4+1kFJJC_-BGlr5f1Ci4SR5+0RSC{W&bm+mMgU zR-n-2c%8COin^@Y?)Z>CM^ff}Tp&}go87sW_9JDkBpnK1x=oTqZ1$qJr8Chr2qrJS zsBjoYHPY`<-XDK};zirC71QY#ppPnWhHGcJuWY)* zX*E(Y0?Ca3-H4=g5zvRF-W6MVwm4VCB*FFhCAAHt;!rAw!Ul$|K&YVs26|E|a>kU% zCbFT2u3@1N8M`KrD%&skX{btRlfKJRrODug_cOit6i2Bla={g)rt%*As!UbqXKZ1P zGBP>t7LEu~Fz7Q16Q)%O7jbz=DAOaJ3eAWpm7y)k-*bZc5~r{U7cDN-T}`o>H{`LZ zzNMR={F|3u4(IB6ug!~uJ#zJBh0F9I>!mzGZq3DgtfAkL?cvCPU{*>phcjER(;cls z#EM-bwYX{AUESOjy>iAyv*sw~JsrA5k!$o-$HE4FP_??HbDp6(yloq8Y$j9&ZZeME zpw-1~HRkK0Dc+;-oOT1QW79wJMhgA3v5p#;g(GTJGMuZ8 zcOsER((r0cK{)k7@TVX&m4Y8cWk!ic(~vk*|7AttRyan&?x zneZX~Eii?nDP$3IY%3_*wYeuA+ICC(RdxQ_^xz;(N9w^tA zSxRO#sh7E^lE_}vSCVtAsu$s(v$UFkTX5{3Q?mcavouC@+17Jw`dDDgAk8^s|D#+LO6a`HTZP%l{iY( zGUp$Y37@cZD^$eVu_#NO09j8mpqsr_Jk?7zpY{paD-|NW)gejusAjX@x2x^(Wihx( zH$}Vcsp6Dc)Iz~)ZEeU58S^XUZ}QQ5Q0)X68j_>Za}uUnVq?-b!VXPOx zI7l183kT7a3A#}g2(`QbsHqb%1%SJi0(gQpEJ6vDar0?rSbfNp7=heY{EiMz7Vws(VEyL-+@B+h}fEP z&BA1O@f;Vg*eM}mgiJ=eMbdnjk36ZtxKAZ$c|1}a&n?29Fd1K}!ls|e zz%V&NZZA<-RW;$E;c8%+jY){?A*(k}Cve9?>5;Nivh1wC(r5VIrbkxTx^wXK)8*jxepB}kh8dng8g0(U0qq^c$b0r6EX14s6mKInwkFk{%>=v8Dj18T@$v-ve*q(HC zuA_wOXGpQ}H%`tHc`zwAJgF|#o=nfMnv+H?uLbB;FRIO;H!#E!VRZ@UyjDqHOjjPrs|_fxM@cKq zc$W$d_aB2u1B;RQrFuk>Zpp7+{tg$mKH*!9cCx$Ne{>Ix+)UW&sm}&%xdWPY&>)hb z;9J8Emal}gOBEZ$56=l##!Us7Y6ZBW*R=1^Y_T_F{HZS*fbs&$8xYeda^)J&f`DhV z!55ZgQcm5_rEB%2J$t6Uw5JIQzNNafH9kZOECw8hH`_~9z%vy>Asv19KP4`>DER6? zTgCn8uFfd0paV&5`3K>rW|uD(%-^?b%exizPIp`j7xBQ$9XaX zKB&E_(F!N7{k}3(dD`8!Ay2o84i#DkKlc5dIN6dNjRzujP(OZ^0qF*r+TQXcJ9z~} zFl%{IRRZ>ABLveKBoM<#-KCG;M_!!S<#>4nM(+{t4&wHVgie&7{=jNU^~FRV6+aYm zHQlBu*&-w<_$3{NDHlCivd`d#uqqu3l1d)U(ceU^MGk@$2zTP1L8XEPHeAhzmI0a> zhM11wFNT$)mAH9mKv0AY;Ys+Vzln?OISyPZyYJKfk@$DwW;4ce&1u zAl1T9x6;FvC8m#<2V*F2)OXY2UN3gzVm|6#(cHCtSpBzntZY+xh?ObfQCu8iK@y~J z$|&}U(D$UK#4mM2CYBmd3R)}$3+UriW8`Z`%Rj715t#Oj?$qb1!pk=JPg)2rhdW9R3(inx&pUM$Ks6&;%e`%458= zF4|Qb6eG1F14~|u@`IUdev-D06}5M?R?msk#A0r619oz8!xYVOsn8j(?MveUMqTw1 ztfr!gn~FW0_4Qf1VUfn^3GC!eEqYh41mesA+C4QIUU=QD^(?r^ZJmJPM0x@Cn4W;U zP7X*}hriR7`>ypkq?*a)eBSpU!wFMa?oxg55J)tP-iBMUCZFzDCGVEoEg_nD4s8AnBPzp#WA8|Cdsa&A=-J;hBH!T=f-PyV*sZ?(k-&IO!n=v}A3l(Fjw4$5QwDCs=e4Dvsv&P}b-oOqNzu zK+Cp|At6j79?L#Ca0ohl%dGsqV1{#rPm_oA@Sc`?AfcP~P}g+pODBHI$VY(1G&CGm!tKwdiUm}K{{ z$=+l2wM^)A+x$44mB@Dk&eUCBH;`M%JNgESR@rNDwH959!**l(2K<9Ks=?@VcD(UA zX*`{*==uyiBm(Mp(*;XB&3-F2 z^{s}S!Lx3@X0P?w8Q%?7k-RsGjX*n*J%i25{3K$!{_L}>`C|_WJlpz5<_9$+3}@9Z z^j;L02eau7xXtVyrg>L~wq(sON-r3@bYf;JzBpom(8(;>Kbjl*6(%zyy9$C+PItT~ zkmebli^;tuq_%U5cm@zVa$o;k0{)a+I~5j;X>XlNyi4T*R}fB|;w5iFjE&`41N_h} zNRZ>Bse)MqntvoD8JpY_%Q+s#tu+6V|B8(A3c^{==coKt&O!#&N9CUA;BiLsH()u~ zU4ETZdPG3gW+36qs3%e|S0@b~plCm=ob;QrhkOJ<=R!hVkCq8IH^yv$fqz$Gyu{|=%1gG=O-*!5jR`o0Ck3(WFeNdNV`{z*VYgaq_ahUm z;P&46IHTtC8YWI9Zn}2p#nI!ZVPc~-v|u7bXiTCB>YG<(o3B=b3{&&Uc4b)ZmLify z7OJ8h{c0p@({uV(!Lyk7f23=}xDvrn>w(bNbgldq)Q6s0`OM_T^xOJcS0_T*@IYNF z-+K?BO?V)vmnef4Y{STm-XSU?K8uHK6wLnTv-g zwJ2flCl?-G(U`&%vzkhe;}9Pfm(`X$?qqMzJv-Yg`2&ga+W6pel0K!(i424^5%!=A z=7OOM=|B`Eff)iMiv-+*3CsURiLZrSAj3LQ2ys89O921sGC68{v{oV%V7&^-GX8Me zg~W2gi`<%G!%yxI@C9lO?yIZcLBdz~=dM-j^0;lB*i<|zqWBK#+qA#`w&bpT!>!V4 z|IU2bl)HUBk`G7Tb(WVQRvWe`3B@@hQ&~TKO1C7-ibHHwXQxPpvN!nUM8*E-jPlM=p~Dr$7|RyJ4P{a@1XO`;M}Jb@5Bs z{d3ehwpr4)S^*WW5#FrOZwRr=D>a8cI)WBermZ&Y%)ap1ls~f*C^zCT69hP^%w$68 zqW;v~4Qu3^bwpkJR}fh+IHrwgNt~OO?gp)L?xk1tZ(?>2TuCM;4>w|Z{3YT=(bP~D zYca&z@nCr0hOekp7whvgtmmpzqwo-dSd1SD>(<)=9cnm zJ_YaG>_a4HQ14^}rqVZRqSHtjL?$3^kfPfG4ha^%`{XJuyAv@Nq9zA!Ni!Mn{hse& z?V4ND;>HRB{{`~?nO0l(knG+sL>#d<73O-?xEU&lwG5e-!kKt&@v>xG9rZGa7se(_ zVbaC-2Afn{d^+3>nd%CfhOG_Rwj}u2SR2-qDK3s`y0Dyqi`1?dxSX;+ZPvsg!l3i4 zhJg`33@^aRDP!7)1sBvv>?_#x7a~Y7=oy;UvRm*qhbId5RWaryH18hGh)*4ns7C9$DFSCX7;`>DawY zx=G!5^uu(jmf+-Z&&S9e&f4G zW&uVRF*>%r2cuK-E^$wlQc&%7#V&P8iTh80*Q@*V*h*`Ipb0T|Id` z)a43MbyK#5eEFnxg5ez4gi9=j^|(I72z>?nJ>Gup>_z;eN;X}hzR2*=XT=I0FMxoR zrm`_9eEimoil90_t|J{S#5obk0I{V_J|iH~6we;z3K zJ-~~jwyYadE)EN{BS;>iph8i@LC8m=)`yZFW=r_6`~E)ribdo)3!*HqI7EN=*o%i* zg9K`S>Lg=&xPhoo!B^&7ovw;5#YK94Ojc$CH_GBAtxgP^yHxlH?$-;a8hfAu*{5CF zRWJ^`jbf{lrZaFhyRMeLDn18U%_uD|2AXX;>H`nM$Li@23h|h(z=1SRkcFdkL)+)5 zf)PW`pf~ONghi_odHhp#IRK*r$@8o6p;eSN-s(w-qbE4P^X}#1sm##1UNfamJ3@?5 zP2y`x9+|5yp}Ta!ATTk_^L54s3H};~7fevC)RL%MRJv3S`Gs>J6AGisE4J@u2DV_m z3aYgtNmi^V9n-`Xcf%fk_?L0~%7nEUJ;caGKk1D13d8DH5stRz)ZhOKNEt*KsIw$u*=aE#57Q0#3w(0DcGz>25(YivD)u&P@&q4rKSl-gdsDGQ@ZO^h1%IJipQUQH5)%jNm zseM5LqOt7kNurc|Nr3o4O+tRKws(#D$8>iz-Oz+=uikuE5MvoCQA;00beKkuT&RH* z;s7=|HIFpc_e?A!4F*CiYyXC>dTs(3Qa%Z5wDbQlc6wJ7$6p6;Yhkx{>iTMw45A6!yI|_H7_`+a3n6|I3V2%?$#tJwLS7*!%{45)6a<^-ZA`lY;TT zgw~)jLxm3CcTrU)1`jGLSPZ$x+eb6}f~FeT*7KjswFeWC2+nJV%g$k0QbhfQu#l02 z-Nduwo;25&eJR0_eht`qMkOapoxQ#$vpN8NcP58@!1x@JW8)=@qtb+lH+2Q_H52)OVML>jdf61PUsV$mL08aPIs`uin>aBU%8RFo8(u zTQOWUuoU&Z%G%S25LEg)`U$Ar};b?v;-a9zzqt`sM=#;wKOUD`XC(@ zB3PH2z(7F+V&ohp(u&PDf>0m}Uf(3v!NiFN;)%Xoy^P$bU^4vTi6`B8*aj6*C&rtw zdbggE?#B}@Hxl6s3RYRLqxLKSh+@yAKa&=`G;-nJT!JW_YAI{%AA>!VA;ksn*=vR) z4#HYJ{kWoz-1|~MOtltQ^m9QtqBYi!zguzk#G(815 zGMl39XO!0blL-u36ZnREVbO=k2tB+JXgEEK1^Sq>pW2Wg-aEuY4CvEbEtLwJ+$nOR4U&b2V$@1lCV5YR%**ZJa@T2!TF`xHh0Bie$9@N1al8 z$8!`{OBIN>V%;n`nU`9>4x0Xr>2(E-7$?EPL83IWx?3pTdh(sO!y7S_mcb`M2j>ze zQGfq1SF4}pnY!@#R?vRVSrt8G)SdtDC3ldstnUWs)y-> zKF?{hAD)@$<1%*fR3uMsy3U%ORBqq{7#N-pH{u#2wv4x-0${yV9I6Q0iva_kUt|dC zpEcj^bVgxp6NiVN+K zf9Jqg2JTaTI%t?sHik$f^h0Q#NA%_KTt8ljV^vpLJQrA>TeHr0Y&^G}kaF+lu|6}j zINo`y#mwYO?}E#(*=}6Mrw)`imp%apHKD40B&#I8rj(L~E8An0g?_a=lRF?jwC;CU zUmqecQ`a;Q`bWT$4KEnIV@#2|FbQrPi0VWbgGw~krG!GWBk8;`q@?J4a7;P|^drU% zJVv}Q~a-& z<8{8-%I2AMNQjXKD89N%T(UcgcmFY;6VMatjI@0KD%@>RQj_}66&l*vBf-h%Fkx5E z=55MWsHt=e9rmYXjE_RT(rO`3)25*#h}*Vs4sUCN@D};c+G!ZcIbtm&n0TO2XuG+K zFGW@6!V`XyW{#-dkBM{&fJh>9{vx}6LqSc?Q6ZYVqPB$Ym_V2U<##=^?BKEVR3I3%(t2yT5L|Nd+?LxsO{VfJ(G_L z?`>$10oGc(9x5=EdXBc#*GyJ8KH%+V?!;?K=wAv1u4jq-clED^ZH`U~pK0U|u z$x$FB$0%5zpwPI_B`zSbCi78CCBR_xbm@+M-)@770~Skx7c|Ogt{i7JMh{g=DyGDG zzEPf>oo|h=m6SSB2M-y(mgs@xG6BOM<+lxiNAU2 zsPE<)FgLUSvy%AKqp^Od4^Um|)Z>XLM!G7wWP52%`B@#19Bxs$j>qeD%af)(?`@9` zK~rVZIq#w?H(l#VNUL|gK&cT9xhGv^-_M4C8l*h6LpzQ<+|j2Id)9ExWn4I9p%slB zEsi#~)m5QeRz=G_hMTtMa3RM|DS+kvCx zyJB3wsvOw+VfmCzeNmm>X?3V_t$oeXn4phFZNx%0n{5>YOT-P8m1bhUJFr=H?Nj|DrUMf(RoTJy52~^r-O&P?2J~@Rw_WW zjKyrz-XF+CxX~A*bE?e#XyoNtZ4&L9eYotHGUQ;@Y`lJ9>lU+}eV&?qRzqn)Py4RI zl{4NJ$DH~wI^DecMo5&~`(9+0B`B{7N}!uSW#>)Ft4Z%;E9;Ja_ig@{q{LGWhhR7G zLpv5^lJf*Y_fOYRVIqeUXb9^A{(+nG8=q^|4IXGVTc&vv7z~Z#<_2R~+Hgpj)220e z@K-ka9+hlV(0(c4Z07ZLLdc=IO(mLNcUXmMjR00Y<8GzXdo3c;dXM_34xJb(Ezh{n z83v)Ar98@qg01YmVUB2Ksg3N@FP|h-diwd({M{g$dd&tC+wLwM7#n4py911%=z0J-H$L!GQtqi4B`LtHkYenLnHJ5MCRpGwqt4qcl zHlB|a1b#iyPNVN6lQK{%&hcp2oYYuA-l1*`b)3~`@B9JdnX|6eeO040iM5=?DLRw9 zrIL{TU$PfM;pPYKr_1(P!gwrdl{Q*vU`*99%Wbi>U|x~NAAl4WHrOZpk*l50QNAlr zAEqDv0M%r=?mmn9XHXiM9mNfUNDNRphsHKvh7ir(dk8YMRBTGBo7)nm8Wja`X-1^S zRFhx7Gd&W?OJms~c+BloD-uR~tgp{Ko`0{$_942T9{P*)!+$1t`@Tlx;j;B)RMnF*F)UNxmIy>fC#Kxino`2L)M?D=w|Ilud#1fPrVUQ1l=4pzSZg57RO@jY&Nl%KP4GQ z<0=0M{lVzJ@N2&4Z&SG%GlMus_(_7%aOputxp%sD}Wky`K3g50=?alFDvxj z8(5)D-2*osX;(Q{^+p!*E{7Z3w2yl-$!xq^r4<;M>7h!5+P7@Ar?uC>0B}%S_aSE# zm=#nayG=;9Buc&A74|jwXA^x`aBMT|lMpG)7C$HWy4z(KOCEV^esT+zy45!^k(8VA$9`R9J%Lac9JTH`dDtDK1h1Swf(+7Y|YMgiKVwSPAtXJ&HH>t?)Zo zWWQ^xu^KEbE&WtPWzK)Q%67lSVk)~?y9AnQ^Yme37goycR06aOWBcH{nD-93G&hV-{ zeCk|n_UCcpi#v0nnP;YRz5}d>Wt?Su>^u6InXW-luEFYGZZHIhAsyiEN+hnld(@Hc znURsTFD5huINL-@GV;>4Njt_=ffL%=MMCB{?`ScUj_U0!a#OW9s9AC`X zj(8L#1`Q>kFA`3-#+F-m7v`7qC5rm!&r&6X$X1$V+H-nnV8qhJf;@xiywjQXvPff$ zCvKL=G#yXfjUGd80e5q;rveV@yN0^p;OQEDPW1fx+|3gFFCF(VhoOX{miXZE1o3LO zJdp=pHm8>4;CW}x&P*$nyzt!s(r?pSI4+Ow2F7vQ`Fe%Fx(o%vz!abD!~$+b;%U&{ zQzMq?yxw`Dc!|a28NG$6!0(ktyFEl2u%?<>KXDIQPDrUy(&rr54^hlB;Msak94yU9 z{=${~FFv{$)cWs*>s%48&F`fCgK_!9=Ejqf*WJK~W^P-s6@kM+s2M6o_8fxM)-L(z zfJbIt0bg`$u3K@m%H!gj!-vemvd!*tu=t0B`)atXSj{9sH(366qM+f=a13P2l~(SN}^9TU2#I| zRq2{mIeyGI4Ax+^BY9G2WtggPR_cwuGgI7;Lw^W}lvt!4D%n+oI>XtL%*=qV+&N5{ zU0CzuDo}{SK97SQKfBt8O&~gnr;hmQ!^sgp-b2Z+4$4VXd$eVh{)$AzUo+@>+aG3< z)(6onA-PAP2waBP{UgEKiW%292O(C%YRSuXt)cem`4R)y1ndD>$Ot^hQ&TWk=6G}+ zUS{6nc4c~2u7fL$p4&SkbK&z|;{ddNFb?E**b6s6Sh*e?R_)arGOB#=NYbNQztVM- zEXfs*cGg)&?ecY64o$Sq3Y^J{yU;#KS6rqJ6Q+}V%ljI_xQ^>=!dccQWW76O=WrR~v;X%TQ> zu5f>lu|NC~YV$&Ku)B4&0SWT=EgX~AscJzJn`JmiF)Pn51Bj#BazDuvT5liy3$MJk zZ1=z6%>U=c93ue}69?0OY4ZPY<{TVM?EfAAznnP}!+%%n{?D9w%%`bB&eaka)Dhhv zE|~lORpt)v?fXdEJ3GP&0E4t0-P|A$NH}ns);GDWdw11b=MyCHcfyCtM%}%YLzrn&8eZKSKe8FJU|sPm4Gwb+c_@&oxmYC0ds0)W3K?7#_G}qJKkc-#@Yc@ z!Ih{BD_8zP3J;oHU0jb0OkN%y3>aIT3>+NV5DNbQd1`cM0jUJg3!1qXVD7sO0)iTG z@9(BC_9paj$V=Z+dI4X#q~v+5`fMLU4ks%c*e()_1Sl z3ma>rhr9b5yBq%(04G4$zm=`A$-BW{CpQL22rC1O-wXVwJQq`ED@Rus1{W*a-z75s z4)e~kxV@REgPk4F-qi)}_xZ%EoPnnAw0klB-B}xZ2M>Fne}K7_y_xy%BFx+z8P)Br zoZNuYV*i-Di{SpqEP$>6b|xk!PHt8J&>9bV1L5%`yq`M3DJ0zV%|2Sg)#e^ZB>pe-RurGr-Ks)D>U?w6L;=`xE_L3^e~6zc=66 z$`hc=^gesc0H)uc|32xzkC&N)y{*?D^S}DbC@-v|EG$L)cg6qJiHJCO0(|J%m;m%F z>`VaW-$Tav{^0k&Vg5_Ne~SN0s$^{S&*AH8P+|K|nx%jN&y-2aa9|2F#n_dpVEwzhw%ss7Uc|EP`a ztZcphF?b(kH`n*Ikau`r4*UOWstNpimF0nER&I9xS1avm{JtK-_7=APrP0bo!pak9 zrex)6YWepJ{ih4>;ccz#fl3Z8R=+PB0R4Nz{*Uf`;Y@AbFBF&eUj3y4zVFljrWCg~ zbujzAcr5H30ApuoV=uV(*1scmfDiNghMECA{~B!oBZIwz>$?l!y*xjFxq~y@?~Zb? z0~m#Wi~dHO07lV2hzr0d_6KnT7{&jKI9ULUQhyLDfKmDn;s7wp{Xy?h6#k32-Yr%C zAT|J_+8^|uUGoom&!_!g#Qm-_{)66Qn*2e`@5tHM)CTx|ubaF6k+c3+{`VCASMeU& z^uLJxJ(#J3?Ry9QBVl9vEwQuvlkj(I7|s3#-%|qrQ1cr(xxEkXAA@&(%>Tf51M`1D zw%^d|5B_cZ2ePyNhVHecE z`4@aA;NM4oXUFbeM}M#UUy*;8;_xT;yY2fM?_cWoQXK!N-+dk5-#YgH(-$`8f29B0 z6}I<7I=2v=Ve5b_YU#)%j{#P=V_wZhS zN`80s20H&8`+xS@)Xn*wAlJWc-uI>d5B}@z3IuurP2rXo987sbtQ$i*?(2o|Jm~i) z_-D!YHPfl-eU_a&-5!ykQ>g2*gEyUj38#$oepuTTr@9qdA$svSZTk!z-kzlV^~v|y zFhON{|0~?m6z1S$@u_gr00AsMy_(R0?~9YKMvx778|XI~@_Z*ZE+nNww0nC)EdKQJ7zWYt-zMBBIYHMoy0cQNnfrvO4I@dnZMk{T*n&<&kQ6fx?)8b+hJHn7?N z368qVMbPD@t@?;UDK~}nsgLP{HrO`jot+=OfJwqCY^7#b+6nVsD-YI5c(&2*a z10BOZXV3Tj`N^-Q`BI^4YYt`6)&o`l^a{=?^s#cVfGiIAl#V{>R<%?$T!ux=Lv=a>|lr`2pEuzHr}V{Ux!I zKAieMAz~N84_3iR4Le6#G=9F~ir}fL-4~L2Z-MkJ&W!I8 zf1lnZ^RcbbD`V?#1@N-RWPsZyP!KQf24-Gw@>9h`y_!e0Zm4?*e_p|F$eJ4jZk`Q~ zL5Pq-cd{~}3rw6z0g5Xqvp3{QXwlyml5(wgymN#eiQ-!MYhCmjH_&hSLaX@oy0t;c zHpK)Z)K6fi4xTwu@@70G3zY4Ls_-(SaQ3X~$QP1xi5I8gx-NO!ZB5pUy8x&Eq9qM>AH8B1tS-c#uf2C&zjGRE;3>t$Pb{ zQ0ALBoJfO*pEmOU!k0tH%v9kElkvv)_1Ny>bIZe0_Qr_iNg3Nj)uM@Cz#pR=qR^D*mFrn)Ey zq*W&7XDQd3#_3tVUtZXR3$OmBgyedgP8WfC?d=C_ifr!0x><&I((Q%y7fp4~7=s6< z(YQ>T1XWk^G7s{3+Dz4Baqd1Go7l+K-~Q$x&G!;|Nh55y{+6I6?xiRVt(?S<0|J7Dc96jkH=0X(ci;+o$8l>Q?$BtS#Mc z?9(~m_(=5q5H1Xk?ARg&3%NzINu782oy-_c2A!LOzkD@IKeqRVTVh6j_#6jK=2x0h z#DQMKs_8fGZxiL4g8fCZ$(W|p*xx7bw)HM8@?2{u1S@twP4?eB*+Z$FdUPfobdcqn zDd>r|W))AYDE?ZQ6e`hV@gzFpaw3*9o2lK!b2#2zAjhN`@Wp}1e<@DGI5V;?4?8c*;3*0 z^McQwA}RnWof%xt-E`g#1JbIww3}j>ME>l=u3xA{b3UvFyST<~&4iq3IUSPb(J1p2 zy1yW4Gl|jswlBxFlUzxhrGSS}Lzr4sM2_)*uM+c|9j#I{SGZ{NF2|O)*5`XSJQZpC zk`|=B1XLmkOf*P3NC=mY%92AON>9HU7S*1i<|UYk@N0mquY)|iA=<)hnkLHTD}F*J zqSv1M(Hlo#Repm(=bf=@E)k57BJ*hhV-ASKPom^6tX_nq8M~&)^74yQk^?#~>$>1} z)o<UfAX)!|hu9J+#wppCK%6;#Yt z%#zNp60t+zm7PjC3`d=E5YvI4_YkGnhPo448WAX1L)SOT`E`hDN^iIBAM+pJfTMJY zj;|}YADsg%lO9`>+%SK}hr}4s+WO$a+yRyE7UB(s%&|CFaiunujNPZban#2#4D0j8 z(Fb*^m*C~ThfEv;!+3qxE5~4iYLrAvZb=MsO`yFF`21}T_=q|E{X)PNo0VKK@*!(DTG5eHdkK~=u0|Q-CbXd%@ zfG?Npjidhw<+9QlKB}a!@}s+gSXZ>XBqukSw4Bu|MUwE61>Uy3Er%CqxD0HZgktj* zpDgVDsnU3{;wNEY>{0iyq=1bX+d_)N=6mh^#m|(>6Cj!^Q~Mt&x(k_tWC5=@7@3S# zuvW`6Zm=e~xV@rqTtofd!crykd90vtUJO^d`JQb%>#oegZZ(xT2#&&&47zMZs!J>; z9?7((0N0A*a|IwSwk5vUSmQeU07(Whq5obLFD<8|Ua^NK4yyK!B%HxIyLj#R+EEe) zDt?~fT3f1Q^WFC4aUd0;FoJCh+VnZI(HfT@WcA32$N^T(%f-?VzkZnMqxgJWv!sdZmVe1WlKsLvsd4bmG zu^u{jrpRsbRF&RA;XRT-n)02?uqtf!pPizh)-xn`w?`7`#& zKmqW}%&~7t1YR-O& zuIGHq3Huy`2ApGU%DGkJ-Y;r>KPk1G1Lig}80`)1Q@~~93NYbes8WUC8V~coPi4Z@ zG%FDJ$VxPCu3j40WSMOA+MoDi{xFiOE7FHqH7-^!0Bsxad5%DJ-?@<6Tx&llWJ|hX zPA3aMbG8$HJ9kMz?;X6pve(%Jr^)!rUvW3;a(n5Jg>E9`li;-g4?`>}N)+vbWeUTf z8KCp!?1J!s3CkXS%fvC%!bK_FjEsI-?^oT#To#2KpW`HosT$WDArE&ByRPf!2Kf%)2T{xPbma8;yijt+{5@bjoI7F0JCo*2q>NUj39wL4tnNs=xDtwB6Q zDrDUH9Ox7gk9JeQI=?Af(|2 zrh#GTss(ytvwtq;U>t9(5n=t*k8)X&@Qq6jVE>n%HKMwNRycv=BinDvjtOD7RfPew z)ZJlUavqvXt{7u^p;d7x5e(XHdG=f(WE!l6PS8E8nm&qCF-eZ{PPAjJDm#IFsu)VP zQKM|T%>BTd%NOs2XTP-P7UXIxC(4|p)em4F$4!HCN?7c7nkfkq+>4&_W)@YY?Zz)s zV(#-N1df2IvW&yCR>`EwuZ)JI*i!wRZ6<>uYzK}g?=#vtDzM9Pf@;11qkO6RR+l!6 zqoh)6wshKN>)704)&0H=^dI)!ltZDb1Ez_;r)sC1oq#+L&w)zA%xUkJ&*tICk{_9t zh}X5A5k6({i!6^x>*EEgLNVU~NUvwxQ7nI}*o>>bi(llzM|18UI9N`0yo~_b9w^;wm6vN2b-i0I4xZe~lE5Y#F)|d6iPsQZR@; zgD*rC`-R}^kMH$8KZTNNuybHDjjKNg(xYbx2be~M9osr+f_|2#x{8Bx25BiHT{T*q zve)*pUNvI%wFPr0s5NS*l(x-(3D{~N-v9hua67BiJ9_4mTnHszmwv%N;b?qh03Wnu zd8%jwZj{qs|U=6sd9ex2e5XYOa})JMzSJKE}}m*k1q{@L&SF*h_z zN=J`8PW^}bQa1=8;*|HU0ru8+kytPCKn1m()-SC5*tJ@xTY?>S=rW1-nDn!(A$J5; zyNgmnYw7*Hw4Rd;*EzK$*1dOZ_ib0%RHB52<(h&I&> z*c~?;e5sRkV>gt{g1&EFW-fg~c4ds2gMZzM9oxBt+hU7sV6L%`Fnkgd@NQ`RonT)F@f0aFP^yA6*EF;l@joEK$5U43c@LUWjq}^^-jBSW${S6<<2Cx z?p&GM8;t59Hn(gdP6$fBnrwx!7TKPM#YoZ@#gDo>V4l%`|?cGYYfung?R8v-?Q zyB7k(^@XTDBf?l%i#Yn6IcTuLfp^ZB>oxskWPDkGS~`pvrCT=<^}%SSYfL=1sMiCx z2lC9A5D%fi`@rf-&Nu`M)z5mg{%}O-sVHjSZy>-E`QSqH3nX;LzJ0jMr*tNJ8YCa2 zI$J@V3h(Ralu^`Zf!0H=A4HDya?=#UMNi-tvPJ>`qtE5!y+)~p=j-1_Tq*_I-M@bw zG|+pFq)EhBcu^kRE>|!y52ao0=-LR$bs&L_T`p6H?eLzywm7jEH{Sac@Ag?De>#J& z4^8XQYrVCydJ623rUPu);@2CSpcadMZ#-MMROWbL*5XyBLC=(v9MGXLJ6-+9wLijL zNn+v@r@$HYVDWW^lzn_ISbKSmFek~ek64%rA0vzFi~PXQ&4bH+Y2cF$x3tzxqIpq8 z_B8m;+vLj=E!uLamiSp&>W5*5lWpSesXh`KnN?Lzr0x}M!a5lIBghNuRYU@cnPuT4 z83fv@gNSc!Utv&JQ2B3D6$&DU{p)K7H=6awpKWO?t>Wl1!@^HfL#6XphH;g9U@lYDulp#2Sm-x z$~%%@5)!bc=F_w^+LP~y5O`ZG9C`EK25$Y(5R;krO>1x0LiU?36LpRn#u`)`79Ku= zH^+VfOD{@HR`TP8j3Sxsko`4FI+383--0A@_o#P>`*LS6mjq6L3l7hl0o(0+q5=@p z>kmeha+~9LQyzGkN~g?GW*s)+^(1ZmM8tYcq&mh^X>Ee?W0kzsRVD$NQDC${@$EdD zz*%D>s29gmzrGEsLx6hcBCn@eKhQSk0i4~T>x1rL!IT8=2Ra3ca!NF-iYUDX1?3*; zE2+8hn<=7hK{cKqLQ4`CSceL4@X)GSJ?l&jeAU!nEw?lmpn^Kt%-bZyS}fyM8J3#V zz^DyWA*bmHL+w5MUg+Q>bQD^}F{VU8Z|d&gwc%q`Ac4)^y>q`VSvzL*;Jz%m{&;=W z-exz7!;l;m}mDoHK9wI4(tiJGpLmFO>C?n)>?U%qa&xnTM6WEBr zd?`1LG?O3ZY_lGT&k_dA1*`gs_u$VFw>^n$bMUd{;?P^A&GJ!d@%RWXe@>Sw5abGPIEk4X4a%7ZFOrH5th(SL+~Zp9WD-t^ld_kaI)Z%oN>D(HNMJI;a~@q zkNW_fD{mLy&|tr!e!2P2s%TLqJb~tw^L8C&y~3;)aSNBK@GSlOI0*~7O=c}iNzXFb zdTULXgf;kAn5Jhd*n!Uv$i7hDUAwHArw6ly51n75FlxJ}YhQ83WZZk{WQlx1VXr=i zPNryV#K&jDr9WpWhkVvu+u&30(c-~}2wqtgG^PDTzSRKxL*eV1h$=gG*!{^*sZV3e5o+s8y;)8ZtnP2UPX_5j93sOww+s0lEUQb4{PNcL`rf z7zLJd8n3XKv?!htV?>Z29KAIFl*3!^yX_V7*h^HlEE_J(c#teT&f>aeiR!*m^mwgs zr6lFYe$4*0N35o)nKAJTmZd2vCC(nKI>H~?dzvHkjS?fM;_?ZL`kBKbkvn;0s37`3 zS;+a6+YWa855O%Awh4ES$Ij{liiSv6hJ4IQ9X+N)2tceJtxkv>V7Q%=#?^i7y}$c$ zsOn$yD;e(ozzm9PRs(b>t2ru{D5&U`McpYn6u)RHa#S*y4Q|)q3K1VJrX2|z;MQUt z%EH&KiMH^PyRMBbgnng&JW!==)$BpkZAB{pAf6)FOh}24n#?l65&26#z>D*Ksw5oF zfKW)Ak?6qazS%Q#xPP!55L@yB6>X7XRkq*RhZ_srqZ>oA)WsB~K!p7=kOyLw=llA4 z4Lttr!p|;=E81V}!rMk`21~#kK76ZP2&s+A%UC)CDTQw^XWBAsXPF!XflLmSg!o4C zncxgl@vK|zU?f2ErDDmB1Xv*~Hjb1HT=}xr#EhjWCt6-U<o1pH8I^yaO-dess!QkgjL;8Hqr+%m(7n5p3dl6e0#*L+8tCP!7$`SKb<556=N! ziZJi$8rk><#EVYug*bG`F-}iw5`H6hlJi5e<+_|jcdTq8W4M&T_PdqQH43Dc(!l6? zyB>M3&$0x-$ry&VfH}ZhTZ?nruUrs|mr*Ys!dzwwhYeEN+pbWDRnbOeP_b#JDYUux z{B!HrAnD}-R_zo=f9Vlq=eB`lM(|6!U9bdAmt!JZpw+x@Im>aKgyM=u|=&1X@sx0<*Y>f+!=`QfF4)m9%wkn zXH@ZYk~?>@BQV<2N--sd(DXVe=$mUMPO$YGcC1#g6OQYw5iC9}Kj>gxkEq0|lI7If z;458slJGHO8kGU45R=`vY|ypq6S$4^RT#BVP{&_yiW^DK*>P(}_USdw?%iSHU?|rQ zWarrq;gy)YE^)b5^A2$Cp$(Kl=trp}(7N`T%KE9u?1A+w-ay$X6vYamjN)l=ZVe6S z7PaJorzq|Sw@RExrl;#JSr$l$r4uPvE0`DE6O%*-ee(wYhR+SL>0TR$+P957+*;Ll zKyk;9t13?I9kSp>V$G-CRLvOCZK^&<3YkcC8D(zF0!}Ai?yp`D^7gdML3H75Ue2*S zZ%0R6`^0FKepK4BC;mptN=s0VC|1%_6cv%V~~S$qgL|+ zHp0dhZ>SR?uW$;Vy*n~cLJ{ZY)6NP&(6c$$|MASiDI&wTW2$K9$6 zEOGAXR7ptb1xcySv9gu= zZOw2hSL$D(pJ}Y|vwTMYl?~A@DG08X2%d@+3FLU@!(yBBTykAWR{{Ez?UPj%A)2Pm znwX{Yh;J8ozkCj7q;Zq@zzrl>jou`fgbECR+|XJd7m4P%?0JzDN@JIwZ7uh^`93@@xU0Fd z<|>4zGm*|0;!=yLZ2P~`FETDNjNY5@^bT%se0oUr9lrd&r0|m4BUL9N{_QYuhqsA% zMI~gev_4}ZU7*-xwRbmXV}89P7JcC^>eq3e)tlzI-x%XoYVU;qkHu9cJ6}(q&E5l5 zRfD4Q>T$N+r?vO=N|RZ0&eeq2uvS} zpX;aS_WGveg)DvHL0w*xH8#U8dhB}jlPa-jU-4jK-`|^aFuq8`n||f8=|QVloNB8e zLjJfit(F)^KSD6>ivdLiUeJZJUj`cDjZYlvrg1Jz^?D?6``KZkjGws^-h@s-%3zUbD`sqshl)dFP~sr}&hBLi0n5cAJ@e-2=}Q?o=Oz z2ISXzxkR^sw4?7d%}Ed75Z{MVMej2EtH;N7#zf_Plt2Xczb zdLijs7Y(QG#AvjktUouTQSy2QR9A$bC@6O|lFT)4^cHxAwXjV#*PY2fUSCTSFx6EK z1^49)R>1E2TS+fU623fw5>(C}7+vP5z=9YcgvE0u02CFv5^_2E8YI43tX?w%2(`F2 zzK~jb^m@0JgIPNp*3E)apl|3O%b!m9qCyg{t^2E3*m|&(Xr(9-ajA4Ek+OoCp~e!k zpwFRVj{`z!aS7~ZJZt5O7>w|QA9zJJ5YOxwKwP*U4H1tm}tK++hPTE4d8CkjeTxt=ZuLIe( zPGR3Jq4tsNsbwO6h#D$}@YvWn$e&!zO?>fRK&6$P;mzF znkV`k;alYr8(_vvGEH6=>gQ*X2ks9Pi+YCz*(9QGZ(^;j13Q8%XGI?q28{_su+Y$y zPF^{~Rc6N)d>%)Ma-xET;iOfNom659H$^o<9Zpb#STMVD#YCoJgxHPUh|wjlZfb0s z^-7Ct5Ae-z>OF9v3HftARj1(Xe9M*iejqLAeIxbb*>lnJbzs5F2rz7ha4Dz>K!(Zj z*%^{&z-5d}M>Oohx3Ht9kJ*lUg9b}(#)#v+VM*28u>k#~#Cx%02&y9YVEd_)X9@_w z^%4ygaaz<#;ByIDQb-s6Al@hPE&t+ecoh!zwr2KInw$=Gp9=-i@Di?PK6CjGp8H6j z>2uixy&e>c8qy@4el!7)<{S?(xZ+C&YdEKjhUT`93O#xd0h$5d0#yY{oG;lR;&EX} z=;td+P>J%UYQu9em|}a|D@YM|>GX%KMuxu+d{R4zG_$d)gVBtbPt#HnxZ~674ccSv ziSt!aUAbu^QrdM;PgcfhwS|f5ZbgW!jUkN4yelXaumU*xK^GiFMcXp*Z4$+*r$e4 zd3w>Cm30+<{9)cZ4(GPbdu*-VJiKYLKzt~6;O_z!3s9DKjU?~ENsH8 zZKg*FqB~qvlDs1g$7wW$74suRknpMJ;&+LB#@wF69$4`+wzWEQRARU6?GT6-q(R3+ zl$|0y;!%HqJ2}rs2{wBWYEoHD+b0xr%7(}!a9%D}riPgvl$Icd$O;@KB`8`sRt^8_ z{w>8}R_YLj9-vJ%#pJX+X*<;np2O9ML^cW~*GQy-^QVC0FD_* z1*`KsQp6;sMW(hh^ARo?N6^khmyIx0?$(SE_Dxi0S$#1&RDMm4z$}a2zofm^2*!|W zT6oSjrnj0VTo{~ijn@sKi}hEph7x0NzvC&9zc{`;HIBFTVgGiOrT){DUjfi%H6xaH zo~WU^R#Kapej8xePt!0=*kTh5|K?g;eb9pCd|l~-RXF2GbQr$b>rdP_g_m^P0A_2o zu=eQ*$Ta9uaSexXVKbZbGDLvoR}*)`5@kP+L?7zMB`aTWnCBHR)*V+zhG$y%>x~{a zxdxAv+SZ3?!NCQgju(E$FJ|1%Pn!VrEzmS=pG&gT$^)UR3YG1c9076j2o|dkwQxj| zV!8k{y>x)F;a%?6;~H&BO{OD05OMI;FI77Y2`1kC?Z4Tn!PKiQQQK z35SDoJw2x;yfoHu0^=ykL}EK=I?1NGGmQT8!R&FNcNf5-E%2 z3jLBNu$|m4lIEqBo1i_~#z0)Qh-EVE*U>|?UcJsqg~8|sAJMAqhH1+qnV}enubWK_ zH}m=}xUjGdHOR!*ZCdBZt(GI@*b#p7kX5 z%L=S=ALTESX$7z~OHy2VZ)EO5n9#L=_~6iRhQb00b2%b6>2cOgv%s;~r_@>nI#b_J zvg={kp`rsMD$GZkRa*u@oXgS|2Uf6~C9ycJ6BUB$*>qM65=en5EgEZQbD)J? zeIY@LNBLnldVOd3{Zb;ShVanlZ3X3SyA^noviVsNPQyeeg$~hpXaS^WMkuNaxFSK}GaRp~Q7-$4A2EdROJ4DfO^> z8#|N-mHaMwBm)fSx5aYWg)uq?`V@a3N6TVAfXiW#3;D>mE%YGP5_4|r?5fI#D!o}z z0L|WVdlUhZZ<+5eN%{L7zBt;kbFoN6M^aOf%Une1xgb94o zi$LB1+_R9#4X6uOuXw=EK@FLqkq7e#$c!8L z-M;*(>w-Wfh{(E~Z`dR-_dJ+*4mhJQT@KzqR=yo;7eth{KIG2h^@!O~Q>{1`rs<&# z3rKRPlM-_FaxpT`8y{m#eB+rd4c~AfKTAgeOkNP{?qxZEtXLxnD#gE`sp){%dlZTc$8*e7FngxZ$Y-=%j!wW4>_N?8 z85Oc|A^LGls0E-u^yRC;+_DOQf%hZYGr- zXV6i*NhAebTd>;Fa_D=^6GS8mWc^qdmTbc`2I?-Q(Qw%|fkT}KUxz15!qnLfCDa_t$ORp|$yKuMSxX^^ri_b33~ zx^*jIu9LznpM9zbG?3IPm2XeRk~B01u@(+rAOsHx#aLxfCyq>H#6&PG zuVWmFo0;aAXIycmRGXCRQJ@bRt-}%`;eFxcqPgK=S`I8Lg~<07qvQL>@(zH(1c)x9s8j$x0j6x(o$J!Hb|NuFZG8IxJIL`sV`|Cgc(#wugw4ZKxy!M-$_B;^Z?V z{0J{ijHHh4kz!(Yeg8Z|ENk0VHZ6D|1+?d=F%scG?hjCMWRHpr{`KUMEav4i=?sl| zjK1DHGbuTv_nFb=--bVc>n71a(+7puizj@?8_h2F5Eg-1GmF$Iitgl+K*-UOz^FJ1 zU0=&K#Dupc1!P8sfP;sRhPhZdg~Xe(cX;_Ghbu}JGLpL%tJ^b@HxN-6Gh zp)K^uzQ>9@<}F=wvD4~FMVw_d_UCN5*UX^o0p*Wa$e0`MDk%Lz;}ZMWkOEz327XL; z=09l5rU>r`B@Do_D&;gJ>DmZ2o5ISa?r~K=n~JViG3zu)R22G#9Pv|tDd37BMM#-? zFS6u_H9hzl;a6oe>fOjgU@5+-UK4pKQFji0etHosYMJHW?_*)j!OiTL$3SXnkgx37sc1mR{3II$`Gjk8Mt!xNShZqCAJq1V*|knjQ|!(^)3Rhg z|8}<&ub|fYX)%P{b8P9jQ5qzmet!moRZLN?_jq)^ffjxOF725CQ+EgtI0A$_xUHjn3wUFxc zh8n022S0e@v(KjPXSGkBqr`Y|nvfJ zIXz;Bktu>6Cg*3BNx)Z{d_k%RlPYGAwjg;1R~V6Tia!XL(oL&A>s?tY>`{F6Q$Ada z(W>B?(^K6xK|Q%Gi{z>;O2vl#^rNu%ZYq{oua>EA%xU^d`B$AeaL+vBqj2R1I`WOC z9`v73hk{^l4Oe-eB~l$M7l*zPz?+GW`v7156^f>P*p9x1BKJ>?Q;j&Zm^z?~=#vivzq$&ysIrG%Lai=DM9SGv( znDY!rV{8$zfZxK;mqEBkN_s@C{9;V3TTc3woEo&MqQ)g?#dETw7w!zn?+&?zO*s2e z<06V3g%?s{%o@z;lq(TC4@_3OPUA6)A9XRofT6(w4zTN6!1-a1S=6d7c4c>;66I2| z&8JV>nn9Wqe*?nQIxtYqdSo!>F$jv5LuBIK#exV&O?(i@G+*$_CiZd&L(6lU4M(%g zO^$J#ambaqi9CJ0q;Je|Xf;JqSq~3)n0)k%820s36iU%Xsxjq>WZY}4*|UZK%Z2;??twnw0D({I@KY4JqX zovE9F)v`&cOYC`VEy7&I6_7QVjf#Aa%b`m!^Yvr43$~PUQh$-nP8og3O`PO>OGkJk zjm7ec!|a5~8pFiz3x9o+^JuscKn0rx&-Ayk38@9i@1h5r5ePLGNnFWpV+#{2MY3}# zr(%p&)$9gbVY^7KMn8P8i_YG*1M8HSfN7_A1=DpvoR0O)Ft$QtLKzqP-p?_7XuOk> z8QPD$<1!Krhr6h)UwCSBW)r^Lw5l!;;-^74diVq`yHN_J%_WenzZe~I|A2DNPz)i_ z>vh4H$Q=FZA86cvOe5jmDVcO81M4RAjL>yrY>Z)JNz6_GFjb&Z$F>{QXc_VQv^F-W%J_~5MR{MiyvKq_QDZD*|_eQRG!S&S9t~9b1w~2wBStt+{0RbRs~f)%fM&HOtfS z3(UGYLHFCkx{0PVXcS?OT1qco#?L5Nrf)5;i<}$bzl41C?V+Zot)ESu?HDNCH{#4+ zK1#1&9%P$XWh20Tr1pWddmU{Qy;gvzPE$%2s=I!uH};WY!Rx8GFD-bux}MbArI*R= zm0Lm)Da(!0wX|MZrVMtkQ9>97g)u-=$i6o`+h#KdAFOh}L1+MRjj50CLHkI@1JhMd zg^P*Ghr)*3qgfU#8z$k!km56Aj1QxvqF>y0*ki_fAnpUWOZIpfF|&x+nHGFolN<3G zV+Mx^KH4vVYI%V4xZ~V_RINjhRAyEhd2@;Y2+YBi<$M|4h{nX!ZERz_<^!p^DSW7! zl{#0+9dz|y^lo)Xei(LrIBOec!C*}CyBc6jxq1n__T;{STxh)UFIpmfi4i9*nvU%; z;Xcj_kZJNWptBJMr%jmjEM&@p?QPZ? zn;-q$NXDD6!mVC>$WE4)<)n^*JNnynec9Nwa$PX$2~pEMe-I{Mw%A&vzf1GsHf-Wb zCe?GS3P#769#bt#!z4y{Lz)E@wqJwdzVuP>^Kh-nx<9ghp-7#YtcGte`7)svl>`-4ka`KX_=Om* z2G}coi#OWi0zsZF0@2U-M0Jit;0uz;`-+cc> zDzLOvbeog?vKPbbvZv#Kjy}3Uh6AMvc!R1S-%1|rscl_tDvvR{yf43=Zi4Q=YO9e0 zaZok;T2Hmz5fB%liWoz_I|}b9wzk-$1yvG>`lEf=2D~2I8f`l6X;5dwQ=w=V|EMO* zIToxzi`n0pNb}<-=CPtVs&ohbG$735&tWYlK{@{7?l}XSdX;XCBxP^qA3rwpAse~b z!!aTelkt1ULSyNjm8ULxhqx;jn0L_TpKpKoGB1GM%$48*Xy%Nn51f0}FlL1cW%<{6 z1-Zm$p^@io-01zJvLqr~``myN9Na<3G%t@|sh968?z+zzNIq%S42`W8UHC>oozTPR zviMF&&7{r#Dim`8Vyhd?EbH}LvVk%)Q z1x|2wo8M>RoZ-O?;#nB?NmLX|jcxpLP5M^xqAI50jvf!NzxE5pzY4jf=SqaR4GkQk z!dS;+{@T#CThlq0(-Orln2CS32jwod)OZ&Z&R4^DEZ|@n(`LW8@6ucB`ufG2%%TvJ zu7|4z`N8W@&`Cy(Z|N=e1ct}c0~G5vuULxR%e26DtH5zdY@yoS&e;=*aCAcHa4P-E zhS9CnADYy2a|o2gx-26tif43ue)zq?;F=v^9o!>}_ zhe2U^R&tz8Ww0d4k+{7s#-}U98jC!OjuG_wRhp?;;iTV&?UUg*l$)V77?r?}Osv!= zRj}lYh(Aw;$v&l+;zTLxcrPHc4=2?JO39#-`Bg=f`kItz)l$4BY*kA#4mwKnO7}L$ zC?)J=+*B{jcxc76R&jRl)JU5u@3fdDA5I)p*v?@v`Ln0==z`-q*wa!gczTS^*4}GdV4rP zx=cVu;Y&(bC=XGOxI3-q1@sKq{1r^&ESJ9GWQp05?`EMj@&4yO8QV{apwZ=lHwnuo z3rM-$;PLWSyz*te#uR4eZS4}&lm%f|Ovm3!<)~Za(bHY=>^-&kmh3^o@AEyIrHJpH zfp7JXO)W#y11w)cR7mKk2d=wX4*IO zDSR}^h}mZK*VC@FZw)B1qbRTuQ@@Vh;DlcGZ5}6{_UrvLLmM<`6gIL8jbh@`UlzVN z`f8`40+p(aXJHRd8%7&G`TUJF;Ohz>EF=FDN=A(+)8zaoGB^u|NxGz6NtN?RL(CM) z6}QrjwzA z;}IMjq>V}qv6Mc5t9?@=g|zlt2#M89D=f~18+S4+IJ~ZHR$$8RwFPvHB~{P5-Ea)C zxZ-=z()TuRQ-(@`V{p(W7nBhcCEI?eqnT565fT<|2NtOn*kH2Vq9!8E7I=&xzrhcM zAJ;YHuXcrQXb)sNRd#3h#G7NjhN2A%)JL2^1jsV96daUdet1gnH=1j38CtBz?6UND ziFO%!gH^x7($CggXV!@C(MUoRthoyt&oD5>YbQe(m3f6Iw90R87)ioO_ic^MGeLWj z*HfKut;6kpXH-Q} znCY3jf^)G%)3|V=@a``I#1sHwI$#&Q0L>M)ODVna63gfR2`dfM@{tb`%j-P@LQe(B zaTMj%^HNbSjJ;EHE({Z{8QZpP+qP}n_7giRPF8H&wr#H1wz=P#qkZsI&Ge7x?y4J? z+>}zxxNO)^1ht$x(1T9EcESCZQHmqY=?0M9DI-aIot*Ku3DPSbAz|hVxTFeUs(nwq zy?vq{RhU!oT;2-aA9o3g6jXxShFAC%S+Ud?j>`WM>srqleos^hKz5|g;K?+g3SLF7`m3k$3vx%KaDTMv~1_V zDT_iqAJuA$U>k>ExOpD%(MSWmp3Cd$lPv9`)hjq!eV%n>?jk{Hg0kgc4)_wtCiLd} z>)pTJ`8S~*sXmPP&(}kNmcV!}sH{jnA%wj){h5JA5lrQ3cv6fE{@Ilv^PV|tp{kcJ zd2F;wgmR$usTPSH+H7E1>9U}yfw36R)(u!&H{uqF1&z!Dd?wnIx2nXy0^ZHMaOiN# z=euu{VxFJ)HuW&;j{Bg0(MF(gLY2p`&r2e~vO@tzLdleHmlXl$b?z&M#Qiv!v+fF^ zm`9qJP%IQS9tnzLl^hQ-Y>8?_N)@d>x&n*SO5~2ktv_18n9m-GZ$OV|=dGufV%(bJ zuTF;i6G$hp=;)OQLm?V>ePt`svXrHVsawecTOAiki*xnF^Kl!?~^A z@SYqkvenO|VzSv&MqL-qa0jwBc)SYm-?^D_@wC6XN}9#^aWxr>j&>q(6--X9i{G5B(M9)r;tHW=9vJLtB{t{ut#hJo zgYs&dl!|sVCdMfAy%~>q4SOmz`I%h@j7-4~6!-n)pxIJNA8K-+G`~lsnv4h~#x2Fl z_ClvQL@}6ChJW{ZjY=4fZV`@b{QJu?WjCsQ?!1>+v1gof5;Lzl<{y93ew3Yq7}R&; zX%x3iMR8g-I0@y$t^SLjU;Wy+ZK3RMgK}O@j3U^kJoYnpLc^Q1)^5UOG7<;VKRX z&#`d3(`*;kwW0 z6BYZF8!#la@4cgHJVY8~rU1d+x~bjc=JyuA8;b^=^K1^y#pOq=OXZg zQ3i9ljYPqNP!NuAy9gK(D=vaTAOesG(=57MHjCzgKF6P`ktm&fwik0`YgIXWdD{8r z3GEz`lAjvo9Ao~iu+6Or2H8KGiest5Au#*o528u?!|Gx0t8y5?+NA7}j$FF3NEP>O z%VitU`ar>O^A0^;6b>)B;q96-+9<{-vK-=-yx13;!rzc_XjVjIlHQO2olSi2<2l1!pzWlZHPegWfX zu4)AZeZTY>J8CNKiHha7rfFfi#s zi&TGvfFb0TM?`RQxes4HRsm?U5@1m2cFuC+3CKU6DPvZA+FQYC9Jt$k9kOWedNkLw zY3t7p<=|Ie0w(7r&zyb!(yAxVYerBU@3wL2YnYe+x`mdNqo zH%eWP67>2PKC6m^rbj@|Gvdj)kq}NDwt*T_l)TAnbPeu>m`Y#2XH(w@aJQqR*3$6^ zio~;s{P7p&oVD#02t~|1-z&=BcWRbtGPDWOH*(SqT$h*&Sga||wsbJiU}(9N)V`Wwrzt)cNZ;6uE*gvFQzGJ_EgLs%;JIp6H297sMG;UMuj7L7aswsS*q6^ z9|?qDw8Z^+mG*ZO(w^Np1J#o-?6B@;NgZm2AtahWXiR;|9QA&4GMog{pky9~<7t`6 ztrqK9fj1iy1v^s=XF+Cs<)s89TvSBRgv zm_|D^gcfxAh>qujJTlREs_y1FWuF2EQ<~Ag=@&DHFgGO8@iIsY-+BYquI9K!BYv~k z5XHBIFHd0QX+nw14Wq=v?Pf@?z`fX4J3e%`I&MBgDUkcHtG)d*oXUWAHsre)!;gZJ z1n58%kWu(1)Hxs0d0U|;`N|LVa6!io%vn%Lr7$kv7m*2pX<@1{^}smAt4%rh(NbEU zKF83hQW4xFoVmHc2@Fe?hljVkPyORSLD<*_4jK4H=Z#ws3k49r1+P~kFokK{wL}_i0M?t z)-XYshCu<_QPBmHiwF}<8RME@kPGq$2BK;)IW~xs0VC5a4Vr;R+I~>%1K^4_)fV%K z!T(s4AcxR7A*vCy$^X>iYE>#~0n^WDrm2lF>D4)H?(PS$sTo#J3vuJ6I{Ul%Bxr~R zqbDuxo4wy{Hn{HF`S+{ECF&NmW#}>X(Ud0KeVCX+n>&Jd6T!Ex;(e)j0K!vW<}($3 zlY{i`AXX^Xty2R5w3@#7psdMWZv-*6=Xw#FxUWZMXsRF zB3!EC8=h*4r%~QJis^6+YhUi$4AsYfdhu95smLNj42Y^b6TBdoVn-ZqrqcI|)C<|p9f z9-gj*HSeMffg4-ICIcN`MY(TqHitrF-uMUd$nBGvG`NL*4Vrl)C2=UbG8qIcK*@AF z_&k3#?;s{k`Z?67-=iM;EMbmzk&H&i5k`N{d{TWAf5qew4*3Eyr}4bFd^$)Jrf$h| zP;iJ0QFwfpyQ-k3vU7&iMNPq* zvbV!7HE4eTA&t0;|py2M}iLHpa}T8BGmOi)_G)gP_OzbUdO35hZ2eUi&)4N%pnk;@>ZU1^syP=647eVf-Na_pHF~d42K>sPX&N6wBF+vP&gy*MO07c+a5c4q^ddn?2Y#;B|3Q*X*!{Om2q6$%25;%? z$F+{H{6hNv@2YUiovO$fmw4kXIo6Wm^>lQ3$>9mb}(XAC64gA>{MOc9Fo%`Rny%fCSYzk>yN z6DNBUCl3?~1VW;`hT#9D{X5?|OD!9{3jlH6i^T%!!!&IIje zWMG*5=EWzv1q&Cg7G?^hfHFq(=rmlw0Rund)fMfBy8TTtN^g`T(j$9&lCosb8XB-5gPe6S`wCG-^0|NDp{6`qzZ>bwf355W$#hZ_0 z%QSs0FobUb8V-7c33*m!4b-gPUoY5?0|06V2IRsA=B5AMx&SPGX~2TM6(F>Ad3iem zjdqa!;`d{KfP*%xvw0yKKsf+GSv4l;(~yfXY$4elRUeI2`*d6l%pH=fO9+7*P? zg_<6H!Gy;3#1s(48eYM#E`6dr+6nuPpF@ZRf&vW^Qg$W=T1N+ZX>2|HRNv|U2mZx7 z{yXJA*T1_qvH@=7s|a$1*Z{uUSMR?qL|_C2a)a>l`t7;bhruBz*biY62c#8rO~iBs zsNC%uXa%gl&P0fI16lO@Uf+WT_T~2VP2V1yAHs$B{DS^&8w#+?tFs@D=>eF2cuVv5 zuE6h(khew8i3I~M(e*slrGrx>CeLXxx<9WWIKdMUb7ME~HzafL)8{gtX zhl=X;zue4t{|}`7*pJbiDe#-{SP&crwB{D@_M7+o%X|E*_|jMTwVU$WhpXZoAp(fl z0F3<#8YiHFU3^pS8BE+nepbx8_2$8^|BA#70OT4e)*%jVp8Ay8!OjABj*LC#`{I!g zNH{+$USt-b)H&gvMp(j!ESjPNZv$LqQv`iBs~eiW|)cB=7jZ&BMm4ZabAZpY61 zWNC(~bL<0Vasun2fWRU`x*LLCA5f4mAl@E!5zFD%FWVY{{koYfhy7vpa&raySF!(m zR~3;A0tvhu*6w2b_T0Sn|FVDs`+5Ab+zuoFG7f+Q$^dc!M1hDeZPadr-F+~>=)H;_ zpXt;fd!k<)ze8i2_y~P@kGs)bl%MI}pDMs1J^iceu1mA4NyZ2*#@CoD4{W)7x`ZW^ z+O4sME_ZLU1H4;xcg(8Xm5m}AdzKFsqPNhPoGBZM$0yhhetoUWrV_2CXRZ35-+pPu zoV_dI{GUt=8SRsyyX-QX5#8G9KC5sxGWv1%Zh$%eqQUeZ%uX zso|%z8;{g+)9kzwR6ghM2E~w=GOdT|MnP49VWGQu{ynmveQ_pt9}ekkR*$j#+~Kh6 zUwVc5@ijMfqMwJRIhBr}KwV69)>LY8{0r*)ajvSmL5ED9kyuCR1sFfFZ&vTIv&<#f zfHQ`!xwNz$aKGE};8b(D;GF0r#8kCw?<<+hBC|4+Q8T!LE5euyS_2!&LV68{t<8x9 zUi)&ZoO*&kZyK-a3OREO6ujCs(3Zuy{Mt77pw*IGNeJ9!f6xUhjiwy-Eb&GjmVhry z_Q@B+Eu8&i%{$Zn&)%-kb{mEh}Q|XREWCgMN!4~z$;Ll$D>}#o&L;TD|6yf z(!d_6rGPF5{8oF=U<|xo^1LSRT-`oh>`dRcK>(&YgnZxGS5)Ac0RRgR-ikgx3WDN~v8;00ow8yGIxxPLlq$oagyfW8hE{UcUu7fn*z zDHY`@i?nEt^FwpV=*rv>PsjK9G4e06G5ZY#j^fmxD#|_&%gYpcejimg#oNnq@(ICiw4Ph4;~% zJuSQaa$O9ZR}*!o?s1A@{#u~<63lt?I5H``ZlhLL+M8uX01dkY+!A{pR9JNcEMt@n9qP#PMOuCL1-id>JaI_ht=g5+w zXGT#NnP3g|ekH2VD`>b~Ug)WGBJYH4#T-M(eY?Dl-GH}?f>iV06ulCLuN(KnlAYNg z*>7BH%x;CF#SDnbn;YGDOjT6t`s6*H|K}8C^d|#Yplk2@{ckVGHETxhG5qsdgZl$F zUY%esT@2gh$e`h{?@T)*%5t;zGtM`48Hsjb`_j_chJJ9-$jz|*LVA^O? z=6kC~ESWoAfd}R72)9aq_h`G-Sbl`eJCzh+RI8jy-9ISnT_^UlEIQIB`Ro(D_x3>i zsFxcMM(cLrIxCoC^`cWP8KMX~SewLykkl($owp0=;<0Zze(w0OD6qi zCcX)+h}O%u1}7|dwnN@;s~qa7Qc{XE3wuc8+mz(I^0C+U9ynhKO(vDBFPLp!0jEEk zbDE4~f(pfLKhI8`B0j<8A)DOn7EI!1^Lw&EZWmcRNY+ntCKy{?=`MvLTrQqcW`?2b z$=3h8OA`A)C9vrX71x_OQWWi+yi0syGv6eaCj|(JRdO)MR0@-&5F4!Itj4pZrH{<) zk$K!Q!s>iSzV%QciWW~PwANA0cqZ{L1aYHwO_V})w2Wfk<~SePqo-Q_)CJzAH5}P& zI_w&qaJ-Lr*^Kt9R!fg)x{a@M8p?7yJ_56tOEy;y)*16I(!X$PzuO;<@KNRa6(|?abGm@W9I=i9HcNt7l!Ma*yeU zcZlBKysz+0AODaYIX|Ua_E&^c*mzPffh@!Zqq;RD;Y#UD)4-d^eyqsEYxF14u%8Q3%N#_UluMH3jC(lE(f+W*i@)vfeYoUuu z47lE>Y+(%MF5zjTj)-(+kBUsy#+7kWE-E*wuqfl?zL&z^!FWEc!;}n9o6zLXt%DP> zK%yq`Nl3HEU6dbBb#BoCmFMxM5b>B!lX!kk-YYC2EdzES^*z>oT;m5L8T4u5v)I0x zMBhDH!3N(Zn;*!2csIm=m2g^+ca()p-M(lUHO;xG5lkg`cwo?*+>_{y&*Ym-TDXoi zvoDawy{p{%;8{EX^^MxaM&B>jQnA0ZnPyG*L8UpsxsIK9Ukr zOF>UTq7s?LpY?89EblgXO5t%e=jz|Bb5Px1$sT?!@#~_^3bA{#+%~;|iUQ+xJVWm3qQc z)_{U+%Lfo*V|ZKK?f|3ak)_d{;qsk%vya(-X5dvtp$pxUmKMqm;cd)k*W}o>cL8jR zSc)RiNfJGGtZ!RIH9atzT?q#?0zPjF&QSZc+g7OvvXiciLLD>dv&{^3Th#Bkmv#P( z5xQd!4*-D%Z4<=96fggMJWEsT)I7#I?-EmV4BP=wTDj=0Dv^BhELL_j@mJAntq6(% z@^f^sE^CcJ4zk1S%}K4nC@=PKh!;&YS*3V|dyY&?yzz8ZHPUH@=nU*{!*i$(iS;b@ z!v=x2xl27_biqW+Tho8Ce-1R~`uF=wYDv7A zsrliO)jgu(4M96lj>q_FI===-@Aot2@wRz?#}pqb+i~nl&FQMs<8ou3P(f4WKasaW zIE%^D@QxE$)trcgvI_oN5t3LEPvHomhGIpqrGw_IoY8 z;)3>0$(-$~6i0uiJ1lUMc}&nSq5O0djKzAbe1&=(!&7tO5lyW-v;`sOZWox;1WRt} zr1ZAFQs(Lkl=L|yri**EW47*!F5g;D>oaDV2H#&tWatd}*ILIgl#t5ojbl4d!2~a`*J1}GxKyfq=Bxcg#8>NN_e^qB8wY{YP)oUXLeU1Vk-TmWRS>mPQsqf1erJT_*7atvR_}kH|Dmz8O?X3^WeBvJVJdHTJjo4-z_1z zzR(kV>3e%(NDH~B={ZL_Oa=Ab;-XNxa*!H6WI)yzdqX!xWpZW)r%;S1qAh{wV|5e1 zRW7o*v6jkKW+z0#bXE+RIOy|8zyL)8iQso_THL0uNU$#M7_%^E!cOtXUYH?K`Cl25 zM}%f{-=^+XfBMhlIu0+EV~n7=2Gp@4$~Uvx_L5U7F0!nIC6ST5 z%phqD%?JzLUhYW9!&6})oEBBZz@d0d?FmFRKC8G7V7P^N!1M!(iGaCp5@3}OV1k2^ zEQ%tDiO+uBCQmmTow2eI(PsyXNv>rJw`h+T$bJvR7Fy&U)%Nl}ZKA|uMLnY;65RZ} zH86rEXx^&kJLVMamrz@Y=O&=$%!_pk)ao8EHu5KO0%_V;bVa5M{1Lt zAVmL?SI*6>d|%NrzA)=A9z$VgL?@lVV$U>rxYYQKioDqciBILZ<o~+BevNs+xfGs66H1crX~bf;v75=^Qr*o+_)v3ERd|9wy`2 z1l3||t(DH3VTRVjnCrb}CGd@@fj|Gfz&6+h zMmR*O*#zt)P2R}k1@Z~i9%)^^BY0VnZansfHDRh#3)Uj@+R#|ZDM=A3t+i1U=QHnM z8fgXiR+X)vsvzB7(qQBA!BCSRl$l#ovxS;G@!x`D+EZ<5k8@;(#a`s(IVcE2;4*@^ z$$CJ!C+E#yx`+EIHmr(WCY7bF^2TF5YA951#c*zu9#w8f;?&#{O1_JML+y!<5^1I^ zBzN!ZQ9_fHUkFST>aGmJ!dfHTT-ns`RE1l37>Z%fM`YEW1bzfxE*FM4eM2GM)^*<8 z^S2Dfef*+g7tE`lT^4G9gkv(UnK9O$RjFmzx!Q857D2n5__6lK@W)Q0xrMm*z64={ zvpJb5AV1-QA?&X-#@giHO9JhnO8&wreV3`5L;)vIRJHi(_wF1pUDTF@LxkvD_vfsE$IdkMmU!BEmZmUI0`82f?&?O_4ONr%eb8oS zSK1&cNUP(xyWj!!M{KO@gbB91SZO~th5eXc(2oP=PSFPT=N0VF!Pmkket)feTSvNb z57z0;*}{K$W8M`9Q1D8x9c4vWYP9&}L>KO0ZOzVXwjyn-c@7sz9%k0u!U<0g01h{b zyE5Gz{X7)~gNmjVaBePgj>QGI9tPKTlvMbrrjhqqwQEAT#`o6xVu2ZPc?-Lx^t=QZ zBt^5Gy^@IizhivnwZ};F@KV>oH5{xj+~dOBIQA8Xt%5#&4hr*a>U|;0&Mz)hwH#z# z|Cv)7an+Yo&EyT|&NqpKZM*N$Xm@9sc2_aA=3t ze9l{Uu9J8{^uBOc1(X_S?1-*urqhFYoR7u(VUD!e2r989JWv-C(sKP%SHok|5V{u0 zFFnpedxOGL`Z|BKts;q>D{FIu&q2>C&VmZhm0?qC*(RN^PYo3_-N(r~#DGNY6zd*Ecj``zZi{4oUmf(a zupJp8RB*kZHuM?j+>8#bpfmcvUQsRMx23d0Pf@CQ7m3HlM?Ph=inYjKmc5ex&jKl< z##d!QT!P0z3Np;ymCiTATm5yOTljC2mMdDU5&+3g9%k@oEQyeAF?^o=zup<%|8QS{ z_|V6CaMwQHgN1vIbjW>I8*=9^&d*03Y9cll-(QeqP!Vi$8SYu`ojDp+W|q?rZO35S zn*Dq;M&YLJit&`TbaQN8fFLn)CL>Pu;7UK4Pc0l1J~z9=6xJCK$>XKSnpJ%r_)fZc;V=jXcdY zBRiXTeCs}Diz%A@t2RWfu02#{7{l^LAg<#owzV5NYbUJebS+~LC`-G1ayjIVNQRC~ zcf4fQ1Zoi69iLpPqeCpi=7xLgiFHLiVFLSw6$#+mNkq=|nx&oo@w$$-QwfJ7&Nm$RgU+%`8mXglHS5gKtOGtgShhX)ty)8ng=2XwgG2#M71H;UQsvr#21 zS1(&8zi57Klk%?vN@nggck?D&2Nd(|kCeeG^G4lGEKF(V$P{6ZCwdhI77ZRL3g7gv zmm3@E8}}obU<#*}AZUnfg2)Up3&DPX=83NPZRhPsmJnZsQUZxF>0{qN+ zFx#wQ4UOob8qa|(^-x(n4Z;Pv6O>d8cqL*fDfDio!EICn*TYfmw~9YGODw%oc((qWcz9asgOzA~*HU3t zwGTyEa-ZJB+Rmp%-T$Qw7_$SSFWnNN5{Mc~LWZ2+(IXMK6vlX&P)PT?%UagpcX^ zYsFpBe)ybRKCqdN?e<5liY3IE3HgffC2ra(9`3qFi5V~0(_7~}?C6l!5Uq717fDWR zdM0$5JwDrhT5|MY0=3{7kwKl^(5h<6B&`RQ%iHT3JO9N2@iW#?KY6_9lX<5jcv=Xo z6}4A>8%q8Nl=r+^1Yy^Q*OcPs@|2OSkLgVq(HgG}u-s~6m>AY4*#MB~RloTc-0-xZ zXXL5y>q7lqBGZI3YSEwN<&d|Kz&vM3fbtgCLTJ^*cW=merCOxoJ{y-T4cKmWA*>Yp zPD&eCr{tpbMA;Ll4m&55{({oiBKoY7YH3$+XT2U(4B^Nd+fwZe!hvcF9}lWE&U7y1 zFD*c__4t=&Y;e5+vaB(}3txnA>{!fVx06}}JE{%6c}n?gK^Q4$3yX0GgBE5dixk=2 zp1IgDvj%#b<{Bu~JbOD@hd^*=4AbZcNx%KOkHT(XS3-|FTR7An;QmqTRZ2+$KATz> zH6#4HGcIYA|5&BZmh~s6<9$9F?5tv-m`RSN66mk6Q830xONSPb zn%xgRAGp`OG83i~5*=EB?&tmJ4O!Vw5hIbKZW5+*O}OvmD7-_aBCiHZnME#MdOPM%y`;C8%jv8F5Wh zIKA56t@Z%CB0XU8DdR(6m!2!^AI4U`F8Q8jynYTP2_SepB~*ZZqCS))KE@5Q;x zy`|<~dZr&$@m{BELD_}yYrwlNN|CvrUEXF=Z)K})*jwc3zvQIcuQw@m>l8?ms}Hz) zoy|WrQU5-VUf5wqM=2~x#o~H|$}WQc;(+f+npJ@Gz@65@Z6|V;JTN3!76*C0@4dT7 zT@!b4x;{ka-C@l!lRra9!z88 zXO}l8ZetzB8ZEb{Lqq>?*`f`RmHq@Z!33S_dL;*f8LSUgM^w{rCiyA~{7dEz@9ImI zFHi1W(+^tfMzBskD1MZn$5G@CGjBb(Sb5^`0gB$0@b6!DTUGt1%l}>cJ;f-$AT4~z=+W#-*5UVh2GhGQzBot@THx>-WJ{$hCH#p04XrB zs{8Ng#QE2-;!Nsd7e3)wTw+VbMoLE(lgo!M)R5-6VI`sCtQ?P5j9iJzyWbQr12_5pr?gk1Ws z#g9SuF&wd;9&_}e6k6C|R@g9P*z90I9N=kt;5D}R7Nn%8zJMB3rmid^+y|~MDVtJw zAXiMt@l#JK?LSP-#TM`e0E+A~S^gh}4$l8&=-}k|zmbSc%-pR13yH|g%*xF4|KHJ} zl)ZsLA1gY)hY$zu33XFDz|IBFwiwsdMQ#<$JFvYS+@l$g=M>U#UD*`uky z@?B$pTHUlJ@XQV$7R}T2mwOnE3Lco3wW+E89+WI)dEFbx&MuqI&JJ&!jSYv$Qg_eL z!VHH#zX%ly7fb~2 z9XN@imdG^_1y+av1cHZnNlNI7A5S<l9hYQUcNF^zhL5gA||00@4jEBO?%4 zhGJGjs4E?PM$QiS0*MuAe&euDW*%CHoA=*iQ)6dGN5kKB?gk+|`mpm1AO|8#+CZFn z=(95zHpnjuI3gwea61Gyux>g8 zrF2!W?k33KUpS2~)1EUQS@CmjC9pBkStlDtE)gGOUk3&&tx!ekQswN+ab?$vzvj$4n}o-f#6Vf4) z6j(=lASuaTv_~VMU-2_2XK;HKrlyDchY&#cKti6Zw5z+v?0i>20Im%{mLb-g*M{g7 zFa{%8pa2o<-V|bEdU6yk(%#h>$kY8t+hHFv3oma!p4kZ;6Sz)r|M;&OfEkqjXP9xu z6RZRDX~Up-48iF0`~7obPu$=HslH}Ra3AoLt}d!6p?{8lm>2u|5)~u51#B>#oegAx z;J^Vyh{+ik5req*xU2qi@=JIF&{CHZ0$j&k=LNeM!9oSzD#9>Yz7pcp0xE)U>Y@rD zzg}S`6ELYkf!%(oe)(}Zvo@wMKYyEkex=@jlfQ3iemReSZ^MiA?d*S@mcI9Yf7|7+ zgjxvz;N4UkBk$%kDMXA-z(2c6_Ir8B)nIIp9qZq9nzI{6<~+mwX{`W4(s5~=BLp^0 zVD2pKZ|Z_yxBZfCdMG%xAg-W*U3MS~502K~`=05njF~C_gQvwRLB0NT=Z{gEOmxpy?M9Mg#|kK+Mmnz)aBXUnP#fRB$-w0BPXv`A1+aA-qI@=Mz0= zp!!wYx#BRaQR)}&y%UJm@sBX0z;PckBW|GjG2s(R#SiDfA#i=>SI8SswFRJP7f*ZU z7kmS_x*sr*E|LZq!u)R3@m|;M(UbiZ>s}Z74Q5=q{t3EbT=_-+VhN~D08I99T^rU4 z)zi-pz7x`Z8m_)_*k2CY&eR z&IQ<+`qySY7Ioxf9_hSp!-`L-=Ruc$)=cukeGKaCWEb?K7?K5j@Hy6q!&}J8TX%c~ zu|_K7uUknN6%L*ij|ihzUJ`prj8~Di9|PR(R$=Oc?89$T$|gLV_Qf?PMta>ZQ=RLs zY2P_;c>1b3HQzOWj|hZUv8$`2EM4BY zB+T;i2)X*a&h4H2zSvJYbV>*Im&K*z%O!n+N76>#jmX+&L-PE zVO!QKl7vtqn6#&j3@-IOeRgL%@Fo<|OAmtNz854mcvdq>1rK;A_KBA6ZO_fqhCi4( z+N&5(JUz2@PGp|NxdM)BFxN(w#RauAGmziOnzFOLaelI7U=$%oZFF7@lIopPkQcpm zX^B@Mf!(@<2L7FSTf>*sd_vbSipw-IWvTJPsuK9HTt``0E}-G4^JGbL3Z!u$_+d9{ zy$LSd9n^MD5^9fh4?2c9imr(K3E20$@ouW&_jDRTuLsQR^_sJ9x6Yz#DAJt1Y!KLU z88E3PdH$%StHJ_y+1-sQ50wAJ9upq{vvlCpYMbVheYXUi8-E++i+7RooW)8PdHmUO z1Df!PGuIjd33|K6r^tE7kIKd&OerVwpZF5pK~-gvPWN#ej051Crj<;*HEuGS2k%wn z!~!6C2q&g3=pmG~;}fyaNIddp_+wIz=N`{H4{xo9kZBZl!Hurzs%ZZ$e#WP7 zmn@sApfGm%xm3`biqmJN4#b>U>r#M&1zJ#S=ei+CsRNI3Qb1Lf?*%?h6v-WdI6AJca&5(QzWr1t=p!5U7N3OMfs_0hL~_wL z!5|Ph92&s!>VH7D7l~!@%`suJAX02rV0viiQ8+`#ba~k*#65EhlEbLEqe%r-?BJa~ zl9}8(AfuyUS&JevRd9ia{(J^&N{`s5T*1g5w&z8Ga{;tzVY^ZH!K?kee8ZVJlKe0X zp>NSzE0S`zUG0m*0v0}d-~oLPkT?UySl2S=9wAB{l~Gdy2ZoN!Wrd?TTT~P%=Fs&! z%y-oAimHQZr|r?El7{L}_ApDjXaNwoZ+{g>#3C8jP=azd2eh-J9@iUJL82CB8OTf~ z2QCEKd5Hr?I>5r;=WDbKx}_=DP|YP^)FouIO{6I9ypurAA^wFE`V8HN*}DkZtop#} zpPUNCnm}mi^YJTEAz}W5UT9-^Z~EE_Gu>ZNr>bnkgNe(p@*p|ELL&bcvBM0G0D>cC}V?N3WRNyw!Qdf zUcAk`J8~8632@z~tO|H(926v~zdx|>Nf~aZlrGCi+C=R2<8oVm^6h_3Eu&p;H=L`4 zCBz^~E5^hH;P7b?Z&UN8bQFjTtfTC7|)?F?*nL0Ou>$B3go>n<8bsvJqiM1~typsp*bbu^Kg77%&b&|+7I zYI#x_>e9Q}$w}8#WKIjQM*m=aq$zZjsc&8LuvFnqAUJUrc~NS)hqFUDdvC4;k7(;V zDQ!ErbAdScwM4WORsz!thjVHq<%c|W-Y6LHbc72f{sa*CLT+re{?&^Z#I#d?X{z*X zZxLG3sG(g?)K1tuk@o*hcH9|1L$G7pWksiF9{d~}J&=1cNBg`FY2@;DxLKqDlU3Bp zT?dlI-gvl!hVBfEmt}pOawn#n=57qe4V5wt#X|0`NqVrA^(l>M31DfudAr?dCK!SU zhkHJMafG!udJ&|H#LxF8;z$JQv&NSBS0e^>j1QR%`5&&EL=3ZZGqzDLZ|hbDW4-|$ zx!NV_0_t7SIWwnCpzdKccKMoQL+NEpM`q5lEpy+f%e$48lON!t2%9yA)COE44pg$* zG2)%)Un2QA1b!28fnc#KeAWaKq+;L6-FR*##UC21Pyk0$+3t!47 zn-Smq-@gTg{FkI$xGTZG_Os$T7a{F9L-~)NkMi{cpN{#=;x!UZ(EfPL@f(r^2Ql>r z3WQH;G5I&2Eb%{{aPMdJ@)$!<2mABRd$0S}%FQMMxOgESAsjTwvs`|85w z-B1-3RHCr{{seR|$qM;gPaA*bNI2UXW%J;s=#r`ja! zRnq5Na+1zjjk4`r-t3TR>NspX>w)D*qxQwT=w}Ie>k2L0G2_0LKZu3qE zD$ltifvuY9!`J65jmA&J*p<@Z^@R68;W2gdSR30&_-rjNQCWYOcQzq2E0Mc&oUHgC z8pTaHgeb$~lg|?#P9x*nGFZ-8>bNWU8F>V3yLRlpMB$Fxqg%XMw-5pP)H6rHmG%;g)#JTpR^$CzQ z60MvK;bNc2?(tPu>{^N^b%&%bu|Dmk8_F?-g*aQb%Q`OqoZ|6$LTZ=VN@!}W>5lN{ zUG2`Ze<-0lx|PMJ>Es-_-t)iJfVkhvAYgVqvA&_kWDAykT{QDyZleuM_C=2`-HtL6 zj|Z;b9@PTv&nUD(ha{yu$VSeTokw1g(YWXZdVW;?;7peb?axFG)R zN$kpD4%`yR0v>ItpH}*{P685aTyauad>L{?uF%@)e^cS9F8z#4)5DSVz;V(fBfVWMJi8UoO!|GTHlp#g!@rz<|h~yb}i~{UxfNv&O$~D{dJ!95mRYlxr}Q zf7p_Ji{@yMJx$}D6+$yf;DhxIH^5K#MxL58t+OHyl;bG5&vAAJWreplQ*8&B@mpfL zsx2>wg$5vwi8=Fof(urkfQtZWpYF@@2@B6#eq$J8l=}-~`Ag>2Z7tZ=yqe-ne+`O) z?1(jMupu06pam&yz(3RC6g|%~>yT)sC^$a)T*PHP&`YzZ)`klv229ALuXe5%ZZGln z{cff5Mr`XJ>3$w));4ozC_-JDA;NTWAqY`iiIL_ue3cp!gmyoa?n+cYn9f7o2 z#`h8lA@@0MLW*>d28HSE%O*IEGu;b);((8wK(+FR*XZ%+?IVAh4aQ{X;AGiCs;C@=+C#-rs!(roWJNTF zX5eL>@sDidp;MI{)h{X?IzDDGyJLG15g8d{l0#X!$fd|06_TemySr;vvpuDf%wBsY zDayMVQe0yMrAvsdmAE4)&mqEx8k>vj^lHMpHdpsqm0`Va)t{v6$G5HquP9vC_!q!5;w zJJjie2gky7@yjK_TdSa9y#uPcf_2seOO4)q@3&HefSHExKqLEXQ=#aH+QZs~K)y{M z)6aQ$$nR=Oxc{<8rK%W(xFH_0uffq4c^z!j^Z$pja|jXyXsqzqwr$(CZQHhO8#}gb z+s2M<+ssy_l1u(Wj$M81Q$Ku<7Q#spF!kLD-$yB?1xo`7+}w^z?WBas>%sa7=|edi^LittWhgI!czI01zHx7_bD7$`w4VXz(N{@P=ex&;^Sa4A!3W)w3WW{GWNa!DsR7VML zj>i?GqUvyOR|;_70TEYD^osJ<0WAfLFdN*lMlF9NANF{oUsl>tU*D-7mG9sj?9ujT z#f2Aa{?d+Bwdd!AVLik6Q7+&fZG>tfvZc|>Fe8;1#w-HHl3ew_(SW`V@Re*Cgynud zQIf*&-bVOMSfb*!$GUYH0Psn=ElbN{&Nnmoe|a@O-OIN>l8X6KL=MjE3O6SOp7D21 zN=e@BG=1}9KJfIHDpU&)iuubbC>>M_AJV@6x;g8S6kNW>?u*rmh&;e~OQC~uiPWd6 z1Kd5UQngm-)ZRnSl zrLDyGRg_=|zm^m zD^d6?L%hjkI+q2NF|(+HfGo83;O-}OQ{+&jjfD}O<8Os8Pq7RSK_i= zhSywl<2laH)ePlp!}`PF#dd^UN7a!j7E9d+W>8X6&?ke!H9_4L>)> zYQ6O8zzPxdHimFh_c9Up8A^pXYK_L6xzKbS!ff^|dGI1$t&en4{BdBXQko477BCv- zwoMv)iKDVj6LrPkCY|nM{h=x(O8zUDg0^DbD1N4q9W(g0AM-;|H*~ihVG+IexA_o8gZAO60XZs^`X4;^z303S|GL| z!+W7_9sMY|_lNFT)sUO^vw;Y;AAqWjafVH?x;X6Ji_D0I+1Tri+cMvKmbcdi91+>a z6JC(S*AIAGFs--JEkH-HEJGL9x@LlRtlFfz=bl+1WWRWd^%J|NA?gv6z3$}v&l{+o zMGGDGu6j&$2e&#ujJ8^bhcNdZ=HFM7M9xUBfth!@YEUh=C4as9- zpX8hN;h{MkuxQL=UYiFR2=H`Fpm-lYVItxXIP(PzW}s82{_e_o)NVYgyKQ54bByH|?mG%K+HX2fNR_dC z>lw}5<+uE;)mEt{YeO*U#)jpY)^E5Z)y+tX?@Xi!j{fGE*0wPFu?Id0q^~3r`)2j= zG5JaZ0I_AuRsoeNgW_le@m)f^9GQ#9{w+;SA$wB(?3MB&Pf(0zGP^iK%tu(Z2;C&= zD5P|yh8XZ)5hhNH30d|cijbR-DNa*r&3s9x)7YUY39_a>j|lZb9<-m8(5bS}=xFXr}hVT@5Jyvk>nJrD26@Q8u z5bUm=(8u{Oh~{EL<(GIupeiv@v=qjp@Hi*rUE(C4^xTu&`yGAXUsCpx9;K~Tj-~9P zY#jam6;=qJAm2%zEO>fRNSjgZN!rQrhhx$FD>yE`Z2vst?wI7zp)EUK;Dw7PlA$kB z1*p@{6vXHJ#;;Dwqd2H~lmdF62*mjKnoy42E~@p@fA*-FHrm4#lcEzVvhiW7QzzRC zHVpGfyO0i5>s*HRBK??@-(5Hrsq-omf=VMGMrgG9Agk!qmvjqk6fIL%Z8r7J&Gf5jgn_0+9e()}zk^j}~5=?{WqFdW!zRbK`NTk)h!~?HuyDizkyu&k%EJ=2VX|I!=*R+C#HTBlXtyJc| zIHQRB-v4{PA>J;2eWgdvdb;J=6f){G{^csd7jGomD&qFv z#Ud}BT0yPnW(x>;ZVW)q6lP8JBW^VjnbM;yPoLIaoF9_;KLy|y{%+!JNHKj;=gAmC zM{I_8ZF=s*6RoMoK~41w2IGn@I(yg|OY<%tq`=$UWX7gb#}HvtBU;_BTZhqtNNQLL z-W`X6aGC)w1~mkcx{UNm72Rn2vz81Zy9k8BAhuxg8rI*yY!fbnT&or!M^#9KhAYCW zg+NRLtw-9EX9T>AR0BblhZDrzaSN@tnfjl6QgBF4rjNUxXgZFwDn5JzhzKn*N^ zpcc`)M~xCvB~@fxtO$L6MQe*NRdlSB^l3F?JgTaKVHb$dTDg4SqIT6+4R8 z#&a!7p1Dszb${pUs??R=^>oa%4z%eDEAx`FqF~4rub)%0;V;C6Id1DcC4W|dy{*z%{H;r-g6{4--EUAVBT(F!ItS0bF%+~nv za52}~{{Bq6N0_WW$w_pq`lPm3B2gR7&3%C{i^EFkMWIZ4A1}b!aj%!rG9%8gQcQhb zZEyP35x5{SrFSl^dW;8f&a|wcy`&97zIdqTUdujrl~Vp z$guEd!(3m-z6UOqW>j~lL8?kA5R(!Iq?syG9Ak625MJsElq9acF2@m0lCrT<7Y*s1 z)>xeOZfKb|;LzTs=hcoA6Yb3eDS}p+o!9n~yw?=uaMh!82w{aHJ2LL-XzIk*ef@#! zBFkzw&}gFiQlQgFq`QRWOPfIg+r|uZ86IjE7~PGL@ znE=-OE)z2eO6XHkPorVRCHJGD3Z$~eE-C2YzT2NIE_3rkBAmS-Q$y!2@F0?f7kMe% zL$b-uK81yj8&}42J#ui1D=$@z7-_Cydg-IPXsP>TtQJqg(?Gc^{uWm@a(#K4&PkFo0_o!l-J-ck9N63fM0~ z;8ID~7Ajlq!sOuda0nE_a5)p{;_TdS^;ja}dTfMI*N4^2DgAiCmh5fhpz;N%7uF)U zLca6%VAMCeE>kksvtjVpsY8*;YtizvZ}C+0@i{oENQgpYoCP9$%8{s&SY+QML<7pP zO(U4#6!iomuaqsoM;BN1V(ailwr|K*Qi88zvsUELEM-up99cACVb+dDGY|UqmG>}j zrYR8R9wzNEf?NcArH`#Nh9P{FAH!sH*3cZ))@8Dx_7}aF=apPfkb<2c{n6mQ^5*HyESuHE6H%BHj7KnvJg;USFE-v|;`~Q%HVXG>*MmR8WS) zx&+sQs~6A&+M+|KWWucG3>tsze28j4hk3-lTcIjuEHatx(AUYT19EoMG+ryuX;UJ{ zUCVc7O}QEwpM!L{kS{wF)8SydstIzTM0jM59tQPejS~7kR$-#m{Cu-+Vnjd@v%AjF0m8b0l>R zE)oCbL4@9~J18F*OJbUD#^Kbk=M@=Cw#DI}ipS>T&Bw}!s?oGhMpoI=L(T9#sT)#X zrIzr!zgEiylP8YyBCzxjD8A_;J~^(?pK&loiCY8#%fs2;f}H36t=k>awZ`l!RZ!X_ z_&x&?zi=Ng9boNo4USdiR)D3x)?ZO*)~W=)_mm=8C|N{NPM9iQEyVETki5Py}m?V~a>lY zJTu0E#>E|HGjKB`P&%<#ffCk`@))7GBsL$>Wi?$p`xn~X@2iMzu=%0%x2I)gL+80o zOCNvw&UlaU2)@f?fx(?WCr452w6PdnjM@84r^n7jMp+jz0nTCG{UFoo`SaI1K39j#41bA?hsyZ<8|jfO|MB(5>(9` zbN>y}R76ISnQ0gwRFE;fcX`k`ovvYxDX%V_od6u}`T#`R(Q#C=+2~SbT779WBfd%V zkxof*bkFGxS}-v#lAtkZ?}i=heSao?Z}m0CyU)D!xR$Hau)jKLjL8MxE{9-g`b^pN z$F{5KzhiCQ3mN`QI83unEb3SNd=IUk`;quqh^&myc3lET4jZZC$W|%N$)&)&{-vw} z)k?tRi6j~XMX4!TDVv zv0IEaNILq>vu`$zjvUv2)bphCk>oP_tW_m~Q-f5p=K3G$6z*c8vpFjsA`jW!n>8=J zjzoX>HU(W=<<~L7M(rL#Cx+76S?)rL;V!#z>wILUZf2aBs+JVRqqA?|qQGIj12P2J zE8erkxa`Q}VRYa$K;H=EoTq&GHl)v-d9%m(e2k*8=9S!202~l>aF4tC_|LlV+e)dt zRkQxebu>hhX6ipkjP|n^<^eOIE3gbDU2sNDjO?CL+vp}Ew!>EFMEXHC|Y8?CSppih~r-2W@9mUmav=-LSt);o?7}?j;4P7zg)iQDH~CTxMlN z`!uuiMc;JvdJ!?>S9;h=(%2D|UO~>jGHYkTzrstvio|EM%dWXs#4O;-5t|Ow~vp{#>c_%4sLk~DX@yhq)S2uBV^_J?}JtK zZ{QbLLrfcl97N!6sMaYgx1sKz>~s1|CNC~TRdt(t@0mjLJAG@6PeSG3E7+wn>IBFU z^)r;%)vWSqv^t-taixIogaw-KA~BunnmNskn%>AA^5DyvT*EI+fOji91m^f9kqoa_ z>UJq-!8S7G+iYz*o!dazwXcyqUO|YZ*ew-Qp;(%Gp54oEf=&vX0FzGG1q)goD7}s< zk|MXIIgciXr#$-JAZYGY6kLNr; z(OLf6*qHHcHae|(g!3uv*$WFFp3~pt_2ESl2f|?gkZ68yEJo{^S~9D`%Hl&Z6y1b2 zkQ*%+6w!gCq8od;Sfi`Z$E~_xAE7&)Z;O?ncA`V-gqtyWpgBtM3oEf4U6J*p4Z+jN*UA- z8I182tYT94|T;FG@r*Kfx zL{kn=&f~1fP-oURu7KM2a>ulBSiKjW9sWMlct^;cqPk4NOI&iOy;e;L6) zd!Gw()OxEIM>nIglHR*m{B05HabO;iO33HgLL&V5lJ~M2 z43)G&RP|#;K2vz~+ESw?iX0O=n8dOKV@RZ=E7t)W70;n(Xi*ha=c?4A)jfr!r!qJK zQ0gn>Q&!8qbV54|DsjPKr%)!uPMWW@jY~-76_PHWmcp;8X76w!wt;q6HCWK9cw zc81X}GXyy&-7LL7h<2=LVJc0E)X>E6XL#eOsMlkJ-)bo{RHhA_v|3)hnrF3M<;U&|65RDw=Xk3hvdLc=1K#kIc+#lFRUBI%7p4+cWK0F&XMD zB82BqGtDH{bvhRuQ%@(zMT|}_)ZA`*cV=1ld`lM4=$7FWp*~?*+nW|b+0-t3;xWF&J+yt!Ze@H2F{-=~O3&a0{=9marIXM{rQ%ISOljXlN$^`!p?3@R< zit^nrz@%*aj2ioT8x;o?2L@Mx;lzAVA`k$Cq)zl zu(v_RS^#7Utczn{SFo=_7zO}ufnNn=(qq7kj==?gP8mgp82UA6sD3O22MCnN(J&9< zoB}-n8`pq}IK2LOQ{6DjJs0@00PDNzQymzpHzsrFI<=~0R_BVgJOQ1bD)3$ zM1_EY(p-vBcw!g;;v9d#0SFc-Z1@+zAw&amn!VSR0RUN4V*re)J9vJUVd$Gk!RW&M z2z{IpzmfsGCa^_K*yDXbQKR|dzLzq%*C3(#(;NDivW^>x6ndt+TU3}hm$2``{i|zA zv$&Am$FPg?-vI;J;@{Q|0Y(7H{OXhx5(t1E@PH3Noe@7&hR4^CAGaSiV@?oouR!oVUC<|5^z_f&gZmAV3a5-93p#fAg_F1@(O^Yd_ut z-vF%w)n5Vtdv$YtH&^vg&SHd!KfhtWb`2R(6|t?Io%8sUzfP5vgN_mh!{WS?!SqO;E=+ACci|1yghx9Z(oXFzj+Oa0AEc( zfKXND6al}x4}H)nAVT%%^S_=De&Jug&A-%Bzf`}!JBg+2K=+$-zvz3v_rbh-5WoBo z)ww;4YwPpkhU6gcy9&~0`oJ~tu3_HZUv28(z@xJfP>Y~d&WQ80ihDJER}Rf&Tksb) zAY%eLzl)2zGyN+9{fP?1C|Ez29l^0cK)+MrxV#bEFY7_0tygW(Q90HAD}M!q6lVLx z6m*oJ0A3z|K9h}519T;UfCSexUBf=U(>MfVP$CBngaI_-1^_T7qo34`Nl5^V)+kbL z^{)p%Bz_a|53Y|xaR+vV`q6&9zrA+~6!jn>~9}Ke{Tx-bL z*1Z_SkcK`_9P_L26ysK=c~!+vwMHAn#h_CammURag7WCdzHWNQp|vNL>4x_#VC>5A zqEKRecs=)lOx?v8yJV#Jqqg&ZvW=$2&Ml(tr_#+h{oe&T<&8ei)h1Noy*9<%@b>^I zxQh;^O$JEHQJ$_2`I=9T^oC-zc1xs+?;B?x*p?Xcx(9tB zEmlssAVm!M`GC0t>Kn}8%YJAoyAQUs;N2@obI<%jLcUi}4nvKFt)K;ADP@9huvO}U1(XCAZ6YKM0ecnA4h5|48L@S^0L*&9fSF}Gqfe`(|%5*|7#C18-_1FQioRZPYdH%P~Ys* zhLHNme>M7Ue09uAl`xKiA!hAxBRB5f9ieKs%_tCAuRK=7e{cI>Zu)J^?9Sf7Tjq$h z9EEidNhAKHl}y65x(z!sp0N$@_tGu19oF-$GoUTgpAcw0eQ0AF;<_SJzoq z3721Rr0qdK-Jn>7KS_-pA&+K^SSa@+8Wx7b^B0GXFCJyYF|;MYjwr4Asm(%e^kbD^Kg&71?kDNY@$mhy3XOyc0$n~_?$BK?P|d?!r)^|kGq<{#5H z{IU&sRAX0*mOs*}h^|%ckGHCgX|ZFuJ8ADe!H!=~YY$RM4x$89=RW(82z%q$>gMqb z%5o%8AIGPeW&eO#Qcz4vWuoXm5gBNzX=r{{@ln5K5IzXv8yO}!$9)ieaBI@@vE2O)Smm`o?Yz$sg z`I?)Lm!}sqM+3K)POH(i9iO|lQ{iY(3rCE+jmY0gub!d1rS-B&Hw3rLW-yYbC*EF& z(i-bd#`Lx=SX4WluX43qcJN}gZc&InW+6)+osNd%xKA$a1ff4~c)8a|rNtF_K=F$~Z3iRlo1nEsPY!TK?$yj7v?RYYI>WdqZh;h*& zAmF1i@Uax=vu04dCNqJ`I$f0^0pvW1#8cR^O}D2&RpYQ!Lyml15BYs+*LY|E|6t$M zm?;b)_I~9J8XMUdac7|FCu=!36f=;?`*=9qhEWKX|CB8yN`6>lpAVc#NLe?1)=9D~ zpsV{BIF4A}IZ3^Lt%f#l$sG5d1bW-%iLGcdTsFKi9vt42roG z4^IZ=Dwy?Uf5Y|A5?|07(+@a|Xo3O$t!VC@jp(Jlg|@Me^Nivxuj??uqg*PE%kc5* z$^^vZu*eslp*dO~I6XH@>${)z^72|zB8-0sxzq`q%`gpb@EbdHH#IZ7Vo}xv|5UwE ziz6P35fQ|K?xRBQTJD$(Eo+jFHX9X(ENY(X2BY%w(fWtD4hIK1y8};|U7mvffo^kG z3C3o2-^Nb=j8v0_drLndyB|6{CE|8GAg6Fg6vRU;Ur)!Uwr9ljKg+L+ zrFobugO!rjdf3l@r*Yx$C{FMt&@IADdiz)>(yRQL|G{q9U}g*RogM`4mbSH!TP{r0 zTB?m7D6^%btuSb8jQ^)oLP1~s5fuH`V9gsVg9f!-eY9`Yp2n>iwNzauC?0Y(q)BrD zq}B_C1BcpeX$N|*w2KwhJO`e9`v>e{#wz4v294;kwb6vhSh#G9gt3ZO?HlEDkq&vd z#8NoyZz7FbAAQo^jGVmFa)EV}IhaihdTvpr2T@huDoee2zp(d9|p^| znSy}@drqU``gM6^pOS>Qv~Rt`*zsx}b*cMGjozS8o|OEjRGs2-u9^TtaPeo1l-Gnr zz#81R7sHr|BBm6rfxzQUjKX`$&Ytto2zC6;#6Qbj_~<}&jYxt(j?;(W47@na!%cj? zJR(|t=EL6HlMKme!-ynMEYls^_Gv4t?ox*=Ai@_kLPxm|T{OH8!b)Pt=M=|J%|~Je zzFw|G>G0pPOaf_lkQ;&E6Lj61Mrt4FL1TQwb7Ros(u?Lwlf+tnW_9yS-^(P2Xe=v% zK+lPfp2$1fv?o|N<)K(lVpTmY0?&t#Tpt6%Hs{7}u_>`J&WGD0I^*b_@# zQEp|8^KPh-{M?h0KGe+(7}p%-p4&jLmdc3!Bw^tC=?}~$FMMlaHwL#|vP-KME#F=C zz|Fll*DRyd(7i7)B%L~KO5d-31X05B>E!43)U-EBJ(&GDJ=FDf^%zODT`$1-aQoS0yXTuF?nHe&vlr~($Yh7? zlhP8o87iGQe7V641tcj ztwr}MKsZvPrIV~-L!!(1G>xNqb~e*}ECN-lL|D*eoPk11OMGE8a3mWgv9BS9Q%{Nh zi!OCCIlU}xi1LBa$$7i)`E@SGQYqQdYskxdRW`JrJ1G+(^4`h#ZC6LtHFEBIBdi&F z02gM$4!RibCKYgz^Ch4k#04%T8TqI*BTv`V6WjKn+T_mW%wMUZvQ+K5>&@oLAvV$Q z;bZ!t#;l0r?IQWGOg^tnjB#k4^apw0b7?@RVkwpmXk|=~^thGsR_~3Ym;BPo?k(5h zu$g`MRww$?oKV{2e5csLLGg3=S^c~Qm3>F<#UjqUO!xxZNof!j!&<+e!(QhQ0q3$7 zi41=FeedtRhsxbeWFhLQbUe)2LiqzoP~hML`D#q) zpO;zD-f8PsY-dW4wr~0enC^*za}n+>lx{Y=4HwWU+mAR1Aq zt%0cfQ#&_VmT_cA>Je^HK&j{p@B%0>bog3VZo-LmB%s@EhsG22Bdrv~EzdP(rW?I| zddEPm_^y6WXb9fOzdL8d@=C9|_I>r#kffJplBK)uemLccQv6yQzw_)iiI%ikS}9pO zMz))&n91&Fd$ZR!v$pQmeQ|id2td}{^UH|M<`MaU=YU*xKmud^O8p0G{nbbmHrG$@s{gC`3NtdU$b_uLQ|+xEN- z{*wKQQsRYkxuI4CWRaPbrp+N1KOwaZ#7S$+p{m-efbZj`^Y<9l27>$6^$r zo(Y(Eoved5D-+Kj({1J+?L}P^n8iQ5?$YWSx6Qa75|YrAV?k+rJ4)fg71+^TgYgaI z*jHSOh(E-t?tIPMw(gZh#C@HKLEhg@ROnn*NvPzfVOyP3n#_~S3P0`$TtyQ^?eYO6 zu@a|(q~TbtS+Y>fn(IL-G~0}n5n$o6#v&}wY28IPp3~R)y4}C{Q|Wz zUhzr2JQ`^W!dYqPvcq0}Cl=F0@!pC;=&nTvCe2hQSEtL{t5<wOf_C^-fta@*{QrN9XFg{v{(aV?+ zNdQFx2_J+uV8u~?|f(#=`MkL9lng< zhr0pY?*yN5p1v(0mI}f1E5T*38rc_Gw{47ci?7LnoTT1KTPdyMH=d?HF8w(8Z!yv4 z671s(8tiYr_fxUP_Rrk%fJF!Vw% z%az*_j!@@LQiVkwv}McTlKK*4EUfI=0WgZ~kyV~+X}xu9DQYmzZC@vPS~}~o+-9m{ z==WF1+L*$4q`tehj}PYd|K9OQVb*Tyj2#6@Wg*IBon12{o~ew{M-6lKsZj`P5jGqw zD`a?m_MRy)*lp|{@A}b6`LEp_q4j=45&W zgJCj#MMa2F4z3+jak3VF)#;GR0^6tO#H>{BCD=J z+1F)zxG9?2nd^$QW8-?O%54p~kJpzmmy;w!{uyy-LtWLLJ98Cb$ffK|yrjShGTtvr z?roBev$WcCAe@27>W0p_D`RQY<+q_XlA;o&qSp=%c0QCd?}!_2{yI>73}DF0Xm z2zguSyQyfrhN`lfKccGJ^72XffyZ+HE`s*ES})t0(5{db*0-o1NJ?oV$M0EuLpB$I z=z6(}W02JkS+MMkt9e(j!fn7-R`()y<_t9G9(eWP@|sOaIR@T=Cq%teS5}n9)*^}G zj_iivp=Bj6o=U~0_nGxAVHZM7Wn#ohA494Z%U0|kzDH)n3gD2#Rh`7BY_$D~U&i0H z<5d`K4PXi5ApP}7>5UO8xEpcCbyWy|x+3;E+;%t-!;g2vy%>{}?p0<6%0|0pKC!bP zt-`w`jQm79?^aM;<=bufiSyS=fCf5quy)~anG2kv=MoWzkHZWap zk#nbKn)eJFd%r)EYaBK{RHdd{Ub4@TP2s~rqW@i>lR+a;U|)&Rt>JX(L0d|vt^aY& zK;HF<^=^cJpVHZC8h#jv8Q#u|x@%Ich{MANsVfc=g}PYZPqrY+LqbQIzZ1Tn>>}g-5a;C}?tKvt` z);jq~1S1{^-?OS~rj+JwCsWS_&G@mGa_G1#7Y}rTz5V#&eO_19ec0Z}nqGC8dT1A) zW))L`6Mo9;yK!U;jmWPB&FGVlbwD`nm4Jcx^peS&k?FlBDteJe6T4*^7>nwIkcB}5 zp01tq^q7py>b%|$>E(B;a?CyR$oH^0e!WAd z>jw3|4e^iM!2HwwWPMfjA5wmFx_QE)yK(U6?Z1fB*IH>s^EZVhNKm_)e9a$}*3kBV zvr|^7J~@8k?iXRv%Ef(k`gBWW5d(A+JAomMnu)7R5L(?{zhC&8yW?~+mJk^>y*H(F zu*3*8p!ygE+RrRw@8(TNP^$P_B}nSSA6wOT%XM(0eQ*ndy~80aHo%nMjciD4HnQR> z6yj67k*Aqoz@W!g-Nv_*Zf;2;wKVV@{ICZl4YqWsCKC6)+;n)B-K5Xe5wn&KqH&+k zFa?DzgF!p#&Ub2f5zpm+^GPt~f(a9CnTiaN`b^TZ_8f`?EBi$+HE(JIHgdEZZyV!Y z9elv&a`Z5_>QYbZXS{5NsLtgo)!@97__GRfMO~)i#3)DFMpqf5CzAeB*~Miz_W5RL zT)sCYj}Yf&bupbS2t7eRhBVCV{2dol~xQOh^djG@db1gb#qcd`v(VS zhX)74WF#x#f;51Bsl`jbV49o2HG|)OObPA4SpvEzNni--!lG6T0lG6ik4|HG>0R##0Vf*y!8{l$pn^bAS1OEMhDGtGm0m zVEj9QMQQ@v2#A3h1Qq~{z?!{gEKCd_6`I(9014@Sk%PqgVSpO;jm_MgoQ#<28_gSA znNbT(0XPB)%m7sLdFN*lEnwb)nFJ>Kq2AD0$xNgIIx)w8_@P*>kt31=aS`sQ>On98 z2VUyv;0%oOaraoc1!UC#^KF1Ze#bQS`N3cU`u+eLm>PX^Z|U#&g8&8oy09@YHMTY~ z0(1rRmjWOskRs&Ml=Oo*hA{xZ^pE;uU}T!XlM z(lY@D#>)QW8(tXH%j zKkP~|GFqDlU=xD}B*y08_D{^h?j0Nhd3@QY^u7P4f95Hn0?+HWd{gJrtPNxJf8s;c z^?cI9j`f`coz#^SfPUG7kzTG^f&p3lVEXBz$)Odk(y#o^QQwtK{q{}#5>NhK-u>=I z730v*{{H)oj_v)5+Z%v3y1Y*vxcvU28tDgQ~On?hGz8G zMo_G;INpr~S(gsX4jiQ-h)7(|Lw?*f_K3BE1OisAz83V~Vh0dYLreQD^48@fj$Y*+ z`FXDYQ32Fvzwl?43W}|c{ng-QlcNg=%*hFaW}3S6X>fD`+S1T>U&c85I<)}K$n0N9 zP)F~l=7tZ5Y{7lN7oQw~G(h_ne!~C94odsNc5DL9F#Q$dp#d;U^+&)C(0s-p1~gFn z1$P9_VEqy6t{dOO9|ksH`@(K$?BT+~TKg{YqwPPlAAYy8F|mE$$m+w@(;l|@q92Dc z0Q-UNRkQh^f0KfHqJP7hebB#SP5;Y(=bD)Dn|kKznpyK3hEvyCm;TweT=!-B1FG-2 z_6^-j*7}Qn1jHcx@63I0SBKY4=JrFrWSv+m(DhsVlUKy%RNv&?1Nyr)y2|-R|MNHr z3X~HlHV)miBKGxjqWUw_hFTaR7qeLuq@1#eHPIYn2kk}+_xf*BxB2+Ix5{m`5E3{C zV=60&MV%=Jj17p3NgP>je(1%2JoztQ#g z${27HVw+4n)Aq7Ixby+`bEQIiqocFT!;-_n?ekEMGyQ9G>_BofLVmxK4|FMoGYpgY zc6^U8W;nt{qiptUNqtpWL(`bP*opCJ98Vna%F}Mc+9uJRxt6-*!sg`~1O;T{Ho~y3 zK8(D4Yxo7}`0jKI>TyUN^pr`{A~Rnt+*@Khe1q@nWJxh$WYD~!S$i)Puk_BM((Gm7 zN=Q&@S8b`SpsJBmB+Fae{@{p&^jo%ruwjQ^qq0ks5C@Fe#_5)}ub!9*G zYyY;A5qDJ(HyM`X2zKk(s{u8#j6fS6N7SQm3OCp7Rp+spC`zi0?y-S5i}DoLyd`Z1 zX~Gzs#Ux}a1jPmBYHOLxZZa^VO3DUKx7cZiOqhaX8%`?+Fi5mQURtKroO=$Z&pE6m z+4BfrCnr0?N|)wv?7@^1w&6l@Cf3N$`Y>%Uza)fd*wOrW77k@f{b4&PdYl&X7a`Lk zi7N)lkJqcROXi z?%%Ag^ep6MWbjyV3eKc5W)`VbT*A-RWMli26D(FAXgW@=fQ^(Wd*M%LFBQw&J=OcLSq4S*tsp(n4)cfl7nSgr?x}od ze@_op1=GBEu+$K_>193@EL64YmpM#7CcVN^0MvNy_?3*mt+kNBRhrJFb@D}s>(RnY z#Vyo(IT7^WZ9Q^|z{*k2$}Y2Nu*@FZTKq{4VWDwpikVlf4bnxnGFuuX8`~WsQf^Hz z|FTYS8B^LbTVtb{cF-!K`+l%0NU%qX>FS~>lB$yHzjUNur?Y#$p)gMvpOw8%`o!VZ@OPa*zF zR+UgQvO04I*Jy$>@o_R_w7>Colj*KqF_AV8F!+9F+67{S4Pvjiv&-|R0OcbEASIv; zo(2n^WcjLzU~3-zSRNF&oiS{I;Q!QuXcw}fJ4G|vW-n_d&}#fio8@#`xDu7uNcXmx z-4^tOK=PCv-0Z&@D<%!dg}_rX55sDM_4~E-)UoP&AnQzI#UtW8;nwVXkOgr)$YSTC z7F>O$s-UkNjEupA#5~P;Z}s?r&|l=|2^pGi_`|h*)!1_Cz;J4A&RX9VnPPLM=Fmll z`On0vN4j1LTV}2)$<})dk>vWcQvAK5@8#TsNn?6I0?BG?v~8a5pTpX}66J0v6ye!{ zyKV5sHk-HrEeUsPXHmHqg|jdCGktqI^55 z(5y0SK3gjHuiJ8fvf39gmd zxgdY<_B){*1YNWUu$n72!c?3^)B4=fh1*95?$No9q}(baQm$?Jyl+ptc~{drZ<{}e zc$V|rzAy9_7UP;!apNkt)KqNTa8kxkb}Fh%Q6rDT`@Jd7eD_KEQ9pWR=r_pR#cR4Z zMZ5@+H3!uB3;8>S0kA<{XqSm}VuS|G(YR`JkTMwqOF*7O1)tH38YcZ{H%f*cv1t-X zC7ju;v=%kn=;wJ5hH^d&-&W$mYE zm7{bsrBP&qC0Q+G(;i%ppz_Q?8{U?;lhRP}6Du?wmou?whAZ#EC3S+11xt59i}CVo z#GoIhrs>!fQQfI`+WL-1GUTv1d^RKnFzlP|pD>m3qr$0@%|lopaCeq#e)Eq&&nFzL zBjDwfwv-x>hVdmfKwp=v~3sv)z~@5XcC2Mei}19ZQC}!wr$() z{@S)}+xE0EZF}0bZQI*-_ukD-c9Y$t{-|^6t(+$(mAqBw)bD+|44R?_a>O>BfM-Tk z+EX^KB%XRxRX@t0C9DF}X3W5MB>$>oyH-mH*7G&WB%v|lQ*L!Dh?UHjauPY*mAaE} z^$(NyfMdlUeJmc*%=L#|v=F|qPwc!WCz7~vQF-nh8JStI^#e`(Z$e1P8+YP%B4~vQ z##xa0IjRj~OHFYlBp|&CH)y>-fAuaJ1Qm7FIH&^fN*?O_?+tuc(=gFOAbVe%$#q<% zh!$U`RPTFP31TKLXYj_%r+0A%>p>S{B`3=<+%EiV+ld zaI9b1uR2rFF1efN@uB#gbsr&#?{6x1`{Uugvv;a-!NCh%2HZ@k99AQ*I(wMdyF$q6 z#Zg3I_g(MDO2xR}<#5=|Woh$_-S5BB2pU98YiX@V`beB;%T{YfSGmcX2ZHUNk}cl3 zaURQ_5^sfzEi>(%?#YDCoadK_rCBaCwdm2Top)34cig`#AhAY-n~~>$Hvv(mkj@}iD4|KKD&*q+t%d{FP--Xcf6c16w9Nmc=mWT>H8UZ1J#QBbhKU>r` zMp3PN3|uz6N{R=DG`AWsv`wDw_#_pYC%sW1JneojSavTzsI{=H?6`W(`s^grOlD-K zeAZne^!K(?{4KGS(O={2JI`#tY>hqah{q^K+s?7+lj2mPTCa8=+MlLBv?8*mc=@+q z)cb`HXE-q(6O>C{qHjQ`cNWrP8DM7d`tOHz>y@tHg7h)Z3!F^dmfz(Y^Pux@`%K~& zhwN#@r&8iV@0$2(&LAX;QxA+R0=qz@SGQ3LOSe;-uA!RE1k<3t;MA!x3Xu^>xa<24 z`p9FP^)v&z*<)tp?5T>1vS8k_?2CM3V09q2+2Uxn-rj~(^xxcY?Li0Ecj42utd3wJP{;q<_#>|=C2t6*`$qZW1?9`$Yx$*Hx;QmX7 zPBb`KK6dWX@nSM#vOweAisxCy({e+5h71|@v?7~iF?~||_NKCHeBzPD`6R{<_rmy! zt$4$UMjthpaQmWWk9Z;A_38)F&78pcLqGJ#u#lv|p`3YIn=|UvshfkhNKCrLOyER` zdXaagr;ApI=8LB+Os9ZIa?=uNuS(WL5JmPEIZTIy$0AK$go^b=$~l);h1$Q8ZEu8S z*ukHn4rErMV?r!ZV>Bjy2D`4=7*8Ny7ReMeB8T!~3lw4#iS zgJob4VM!fp{2}tT_zXfn9{X-6kLDB9J)$K7k6!`Id#ps1Lv6d@*s-VIDW#zi;@0T4 z(-h5`dML?PUtBi(+QW%`yG^)PKdebc*7?k3r1-bJ>Fh?_w7uY9syLzGmSwdF-{)o7 za+VeyzJ}q3;E+(w!fh}*6rKsL^d;ZOnipeffo2Cz)dR-RVj-I8L~kDiYB}kK?{~cA zU35Nm;C65thfQmE9E!3S2<}h~IMtbH*6J&$x7;EX6iMXa^c#*K3e&WDrwR%`4je6a z$uoIBL^|DQLL0RA*XXH=*i5?YJjHd9S!So2WazA#oWNnWi@N0zV3QYnyJU zO25=7g~?>SHQvpw;NtSe`E1&E3WpuV{P$+%>CvpJ^g~ZC$joMS)g%RAJMY&Yf#3BsYDu)+<0Dj{IQ>T!Tas0OSRn6}#CdNn0 zE_k)EmQINABW%9@5L#a3D)#d<8}~uJgP;jKBR6?Rb+V{o+sO6gW^a`g9qWBEacm=( z$WPFt(>^mRw%bX}g&>AfVA?%iq?V1d;p6$DuTA+!i70KMSt92dPksfqz+S$A^=49h za0Fq2X$|~5H=~p+&~(ZAGmLttVL`0$(uP_|wOi%&IT z?3NRAn$#sGLQ*Qnb|Qu&aTmD(b7GnIPC)yyAj-Mjk%Q(PbWv<5O{e1>awOO1vUHFO z+O6%ydl42J2~KA24No$jF#X2y*Ww@!k$v=GJHJDYV5G=Ky&{@p?l?W-C7I{`t~tXf z!0H)G5N^S{p2DzWz5Hf1aL$>Td7kKuzqLp_8m^pmUDOrUI)m#g&>r(=5lDP?o`Q|h zLG=|^;Aaz-f&VYS5%|Fv@HyS<@j2;t42hF*1Ze*?$q3z>Blcm3WPO`$f+q*@xQXgC zrt_ZQRTGLhOzF2P*QiW#?>u)4SnS6jkdJq}J2eZg=#bn8PJa;Wo0%_x_fSCA#xQ#V zrEv|1DwV8hz53@M3fs9rE`l_|i!{Ww5|vT9Gc=KAUcae)r=*7()BWcq!8VePLDbP< z$9b!la^rIm|6kw@%c}nUn3mvdjrfqneG2KRu?-19bwo{!OKx)Nb=OZKL9xsp@=KE! zw9J>P48~G+wgY7fnfJ@=*8wsw8!DfuyO~n((Dh#{LQ-e~y2DS^Gv9_Mr)ryvu<0IXS(LMtpQM; z$M3zo8#cdc``#t2r9|JexuEk8dgrnO`bBxfH60Ln+E>Z#vSuha#1*~G5o(<0((J7V z?jo9^q}V1R9tNWOx88|=X-=U{95>cEc9sg`FQb4=R_l!9E#?oe^7OA{Jfx|Neo<=9 z$ipU0H_v+WeKxgtTqVWha=|D2G71T6S?9I17^fx06ShyUB*LZ_etAT=D5c2$r5w;@ zS7DlptL3|{CJkrEKE|sm4{z@FN*9LK_2&>TQQF8N@TV$sA-5lEiyhB2!D#Lbw+znZ z5xfm_Vki~10dDJ;Yobbs=*i=59qdDbT;i&mCz?#l3jU@9PLM({(8)$C9`^* z?Uv;{W7#T?JKb($w(l8aJy+^;ZA(yb7!kzn)?uYRh^&8($RsqSbsl=Gq84yg>o=h{ zfxgnEn|W&RKiVAi+)X&PZY3LsCi~!rK#=Tk;zH#T_5?D+OyvJ{NFqps?k@k(-6DgC zn~C}Omy*?tTp!=$sRJ>I4Rzy_4T&UwjB`DIbwRQMJ1?}LX-WU(>Eb$rq4vj_HpUV* z$eo2Kz1O()Az<8Fa|#`2^d3|wn^hXPQ{8~)vreN@nzt~-JHj}5)n}ZJwRXAr&ctWj z8bhqV%VJRG94+*;e?@n}v)l){&Kohy*_q1aM_^VhvKz3B+ow{uY%o7(#bE@qA;ArQ zW%TpAVDM@yB#a0Ts8_w><`JctEVbhWFN2YM|M6XXj7)B0&-~wo0hEOIpdp?;0BmY- zNlSu>xErSGyz5OI??1U=e3TNF2pylhGa|r4u&2)F1q5DQZ;H6oF-Qpz1>=l50no9E z8LBU4{NmxuvV(|b?Qghy=r~B9zL>yp)g*L@ecn$XM?;+~X+|TVJ&HXb5 znX4Vo-H*~dI7r_e{2tbAm`>6lMfz6`TLt;64vcu2WW^V(`%lf2W%k1(qM$#%{goE-wn>L%r0nSU}&lP_PewH>lH$Om4qA3`tHf|M3 zxDZs5f1cW&$mX96zpVDh>xa-pozL#eC`E$sU`XJddl)S5SGs!#>XVvyV?Tr5Z_Gq{ zv$7&s?eG}?4iC{N)iR#T*5md?m7MB{v2+x@gIdrl^am-?;HE)=lEl2?+}~3OOYzyM z?pjx?yJbOY2ryr3@V3HBf`12-J~HwSvUb|AhKgV-_9kyP53#;^iMR!q_+=BacxztI zwH+?^xdO2+f33jfwV z6C?mdtlag1UZZhptoX@xw4uy^ZT~rHJaXmETV^>f+0gQ3d2q1sB^mGwcLcoS`n5tN z*!|~PNg#}2>E=WG&iWQL982(`j*>gYxgRd$ZRh5JJq^%%5mUF&^!1UY=Q=MA)IkSn z!lOs|2*9w$wqU?~qkh?>LPQXE=;qY0UK_!7&gqFsV)x|&eo9m4`~C)na#f4_UgO%x zYkU&Y71x&3YYdh8akIOUH6`|gCwjm&yCHE-a7&FA)GT(uL2G%8E}chlxi^oSFU`ZX z(ezzap)P0m8NCxbSC$F2ZvPj!P_nf7!0Ydb4j=|N8%y_IOwg10>BEftC2xZ@zK8M} z?6uV6wJErzzI#$NAE~7n#JBi!x3g-ujGb-Y2Km$J{Kv2ssogN)3V7)DaWXySBOkj`Yc8dzIa(Hi6&+FBI=NR=G)lk`B=CJY+74}rx?NCFyt zQ3PG$!9F_w3pz%U0&?s{JPFuN zg$YN>@uQJWF0)gbMT~YCTeyPVF5?%e@L76N_{Fw(DfuaxsZ#t-+PHV>Z91~26$+jX zv7ai+H;ZLHz&X$D(Ya@n2A_t0`NBGrMJN4qg8mn}rM012{$NStdjDq*G5BiE7S(?- z9h+ObccJ3+EP3#uX_TfH&V3Q*jdxGu>P(B7 zm$6i=TA_!?etOWtS1d8yrW^sgR*A;~d*r|ZE8>O)^;%96v|>lp%_>=`@c{$fld{6B zTWEP1FImbgAw@-N(W(CR?pI^2)k?l~t3Tykg++OEzNXxtmqjt4<*f;iX)~Sh4-!iL zlg7vG)_A|C#?evv}Zto7GZ zLAv8#Fj;>l5j(%^a#dk#UMD}5#|oaB8%%uJ*h2DwoqP{q@{D5G&TsP6Z64jQWU8k~ z$t3^SJs`k=P!rrqXNg=mdJY7QpADJPL`UC2goSqX<2D5oVm7=n@$LmMc#SY2r>C-oYtr18rEad(*n;#Gwa2-Z zAD66zX01NbTb_@Padn_z`pk1;_YAF;l|nFcnt}uknS{X+xe4zAKx0b#s4_h04?I9J57A@~^dK+#W<_NfEZIw5_}|=fh^n%MK?7 zNN4(~k5JRZj)D{cOchR=T&&CmKS@cBiRj1p%qjbmJxlq394+RpTD4BoYGnN0`*wOc zp;LUthly0Y=3T;nG>@g(-OZ3l>Srb0Wa%n%rQIXjO8^iVawp`|IqunItDX8^YNEsZ zjfl@#N*zhTs3t)z-PGL%;ZD2@mW6Q84seBb?XSxT3+c$t(w#)Yl(rV^SmkqdC?_2% zZiH6}cpX0*iN{bJ2G+@Gs~&mG&JGa1l1|B;#FgDz|Mf4{TTUmeLwFvs?cw$V7j}xL zfg`UeDDg;2j`*ohn=G*%_8H2LB$_13C{=ScO&Zqw{V`XU11m6eZp*1&6;wLcdjd@Q zfyZ@F@6On~`}|EJnKxadk^MCBcH^2+f_~bdZy+W~(DZ+_Bpl+Nyc=F>2#l@>^KEV} z*D{K4SQ%IHT$^Zfn~02G+3}|3GrNVxc#Rx8NO%G&F7nVd2>0utD4_=`dJohjoEL~1tPa_s zvT&kSNcuG(ukSCD|1=4|)!PLnV~^7NAYR3Pym1T6pVBm&< zLo{#W^VH6mI=id(On2=DScTForQ*W2UE+hKCLI4ZO!3F`QSN&`Qf!&4Cd?7D95W?5 zD>;^ai>|B#b3)a|TZv04d7EwM1V5!a^vJY=tDl;W znG99FAf{eEiY9cQ=8TWcH_nSh5U&f;@(yQ8ZlgO{w+&4jw-xI<*!ZH?_X07WD9$#* z#+zW4+6kn1Mjy`xrjD27-Y7oIgZ+2p8D7BDDA`kO^PqwI{>o7&9Go3dH$0vpm1*6v zFFwx~Z+AtvPnp7xe;JD3X=F^g8))5-s`oyNyCxwt;z^yIi7!$JIpwTzDjdf0O)KX& zh5W17+dYNGcZF8%xHX_7>csu+G2eSWO{yM*4hJ8v03m{Ta_Wh^#Z!w%{;o5AT}G<@ z#r(nQ25v~&zOC(PFv=tq{B5HZCppJQ@ZO8th$3X|LokH|{3i*V#h`8C(e`(v1gIa( z);h$QQPAqdCdW`0-r6158Ev3(&xn{;5C2_@oY z6x$rZQ}#>PT>~M{9=bC3n+<#%uoL&BViIB95t@=Sh`p%yk{=;d~HVqomNdgf32@b(uHg{!k z0;L{VS``J6GOJhu#@zVGnjC~rEIg7IHp(4SB&m|5;l^hjh3U(I)zDg5gf`ueQ9vkV zU0nbZyOYF^W{BTR)+9Duy83aGe_q?{*O6x6Ur4sbm>Bz@3R?Rkog4X%l5=wEHNF1W zWi3!gzoDoxwn#8>c?eSGzlGM;E8`fOrX>@c?lwM^w}_%=taZHEaoiR zd>39zV^jVs-}rkfdKD6k#*+I1QD*b9t6*okFSX6CVYC($fbh-|AMS`br`>&DQl)sE z|8eR!FkEeirMA#M`Ff>Y@MpA7*Iymo#l)>TeeS8mLG?*TsyK>25>dS-`RL}uXjYY; zD%gCyo8(^Xos%%pe8)8(y`ju6q7@`}W@^)He7$ENYvV)N9Q-_Jnr7iAw5`JwoRG-9 zs;D@@6GxNP+5O!0o9{$(9_Vn6X>o03Xv7&u-7-8)RMw z8s|tqR>+xt6=b7%`-=PM!rU1m`Vo4Q;TU;cpE8vs^7by3a4qcyH+zZ$WE(5=S#G5W`hlW4~bR7 zW!w@WK|}(S>mDCzTXpz3#@qY%ZPNtTCfs`s+%%4L7>Wk@K$*K@&(+2*iol9;+<8fx zv&gY4^ymO6OCyer>JzxcSRryF)I9jyXDaVK!Xmley(YaO6uQgx+C5cfP~-hY?J(_4 zq0W~m(O5mQfa@07l?+3#3orXXz|dsY9Go>D zz5%!7`H8W{@e8m1OraTe#Y>x5j^b_v#yh_pjnL1Rn48ZGIy&Km%)RpAT}Nzn@P+54 z_os1V|0=!Rkw=%C`7_Fg4ht5nX}T^bYIo`KO0syz+VjnO7Oe-@x0$WJnuF5mV*?@@ z{&JCRqM>~HxSi(iy7J<%^lCaUb40*gnUwC8B19p{EU|Y%ejZ-}8HLK7B~zpDM*rW9 z0NGDD7T6Aeo@;@k+rrbWHjB@ISb}60B$&(A5>%oo6n4n0Q-xbscv+;oPjk_nwe6o> zd~9Wwv$KS956-^1O&XU~=2ncCzYursExk+Po-bx>hM#3Fl z(N0i`m~@7z7WQE9xw7_)zm7N+2hhLea+My&Uuy_fn=tf7ljox{T+#RKFpLrSCa>L8qOz8Hk zWBL)U{}B;555}+%Ksxv2MiNf38%Gj6hVz#=~pzB?bjNePbflXLQQQ_Ji*pYaBbK>we`ZwL_bqaG;lF9Dor{$W@ybzW=WS0 zyU0RLssRbFM=cAdBS-7AvI>_GubK#t3_Z9}IhB_V%EmXpLf6!y$9!)&O4E)pV<M2%jXhEzd z@f>6q7g4#lzHzOZbQE;(BVAyd2Ys(u^T0vH_#V5Q4e`nwaLlXq6FTU{wlg> zhR0yS!)OE7+mbl!8BI<5DIJm;J7mG_U`4W^QjE#=U%-?rdvD=m52kuEA3W2r1(kq} zEW)G|9(y9@DtH%Nu~p3&;T@b@m~Oe9oaDpJKnVG@AN1HpJu_@AZTg`1iW%*Zz22-K zaYn|tRdTJdfna|$-o~!k_PjLphsyi<*pRbDk3p^P4+u}E#!e{Hd-^9&x_5 z@(!yINVjf<$T-w1%EtxpNOVH%y}CeRPR?K@|KoZE0Za_3U&f_HG2;R&b`5~pyvU*% z=JD9%MJWZNQIzfuGgTr8U(j8q064c)P12qX9s?#mXQrwGXl(J;`zAQHOEwsrQWd7% z$>QaaMPeOQHhMHu9ovBn%6gG3CTVVQ;dGOYAsIev{<^t;vIO@W+BO-f@KakbG;dpZ zvKHLz)i-L^ZXC$6^voHcmvwTXeEpUSg9l96Br&hn6v*nEhnSS@WAL)1V@;N13jjU> z?qCT``{)t~=?hI9MLzXSqL-odIMLd_pVt$jvts#$vq4GZ80Nd|Ybw2v4f zhT(hD9mqp_69j4=wr7*xE-x|dZvu= z%=^Jnb#`b4d3K6J14G=?wZiz=0s3r7$vy%@oPgV1rX8%0@EgKz^pS0&;5_n;jir7A z5XX;reLl-SDNA2z=pVVSi>$xFPcs^NM9Di(s}g)Vbv!Y7`OMv6?Hy&mY@ zIjjX?g*wpC)?4ey$#KPhbY?$bpsM98>nw?^2a_a#? z4m_{WJIMsgn%9rg7BiI-&9S2c=hkI@lrxdwctQN@&UzU?Afy$RU~?xH$6-5I6WVl_ z?7^@aa+ooTj&DT_S-C2eBq}QyYxu`O9LKF}4#mKs7ewu1>b^l5GI86eJk{k*hfFqT z&x(^HBuy_vHES=$$OKRbstM-ENulp$>SD2yv&GJ7&x&gzJ)1h6dshWQ4b|0$L|vkg zkm2~vLn$$MPnk|gAuFJ4?6t{j-$#Nxgn29^`Wa$wgkD+-c&Q&e7Z-$5&NJ@jJNWtVg&454nXw2MsO)S*qLXT}-t_n-JA+%yM((?Qv)Wb#4 zDR3(_rYoZOUI_bgKp408R-;69wJ@K%|8yrFR5rFKK1`xd63%#8i)rbr;uN*;p9>32 zj%<=N*F6^P*;iOLaSVhm3K^Y2_&N-etv0lW(dx6k14wf>Hxf>Z&5Vt5p@WB#Aac)0 z|7=GJ*OpjRB{Nos^%jwD0p|tx7$XTrGdb1TuT@N9^H>z-+?kIUQE})dH$z^lG34m% zx?PrdP`xcYviPA2>}@DM`-MHk4Z)c~o5!b!KQcUXq;=3b5fd9q9o?XFxt;H%YN!XB z=HA%oCZd-*#-~%*f8t)0qC*}Wl?+a8_v(0vZ-R6F8$+S7dUGb(qowp${6-&p#l#MA&lHkuEeRN@xZofawpOqY(&v#3~4G^5c7SXudm zEznW%L(DDE2tad%w2}Q=;uMtAemlWD+5oK^Y*W{mOGDcwfBC6>#;1dzl|-XPELB6( z$LJuYJMXAQrMzwJw^GUh<|tyPJw&>w3yf2E*y%gr(?0o(B6i?ax;{O8fCEM#ICUpw zHky)FfMMv4rm!Zu`IJ+65C1mI{-1TjA^j(#B+8O;oZ&L$9+T~G^;4}R*q6!l@^E*> zEVip*h^sIb$fQ)w!w;wAm>k_7exk|0Z5#Vh5vD3ciykR#&4y6%H-Ee+qMR=hE7`_| z5$>#nOL^XB(3!bjHBmp%pbxO8h6w%ExLrou8V5TPYI*0Xf*|C6PJ<0|$|kQjgAyFp zu&LV_0AY{3Xx`H%nGm5n!e?fFXe=tf)W8FMn-pu^-$QyzhRPG`AEGXH;4OiL-$3r_ zY}lrH`J8TI!v;mdv1_HALXy>Op#SpyL721^^M3(BnEx9HBJW^p>}&*dAfT`_HcLY0vSa9fT4TK_@T z4o&#+@G&{Qy4h%tOzvH2JeBi}#L#WEo-ap0l4%U&rNQJ#j3mWMYnEgi%>pi15_4Mp z#D1Xj)Lj(-CAWPv3 ze)bDV4jmkNJdT1gEu4z6>gL{{wv}U>T<=P92tIPmp{JR=S;l>BUb;WF5QLBFY{Z*| z%91@94Q@2j{>JO}-y}F1PRG4MHoRR&A4h_m)l?4YNPFB6D;wrk@Lq^Z*gXRv5sF<} zjrM%1h|DrP2*pQTMsyh1KdHYnNw-ISVAMZZ3YEjGL$~&sIK*e5wdMB1va5fei86>C zKT89+^0n326{I;WG*Q_ov=k#SCyAH*Bs3o?-Y!Vv-6?X4&BW|pGLJALXKIEQ3`!b2 z-@i;(F)2=?F_CrZaDre*7c1fAT4S`S6jJqCPD)*`yf<>seTeEX5y{UAY{qf-FNZ*x zOfce2%a`+79mzLt+A9U?QD}4N){!#RI$50w2X~|1GGQ;4XL?9E4Hurm)hXgcATh9J z=5!+WFmFUxVo99|>3eKtg5V_5o&k)Eft;M1Krm*D?k7K*6)VEVn_ij@)0E;y7vKat zRgjv?5Kjb#FFyei=)>8znfpq?Dj)lh@dZQHALFNcvHO07vk3Iwpy^8NaBok-fLs&i z(8ZMrL*Uj))jbFZnAwrt#2Zp(Ta0kGZJVkl=Fnm3#8%oTsVm3x^YD<02x7yIGx1f) ze#lkC4|O0l+HxFrxNoV~gVEDTUQ?nQ8VTO|PAIsuym^ptFXH;g4R`D|8o+(y4W5Ze zTO8A}rVP%zv#Lt>L9*m3qmBc#B}yJt^to0*YASq7llpL}xiz(xl>t#G)^v8ZHd~*Z zc#J~YbcR9{#nSd%*&>!mNjP&nV^5c%RdBHVxL!b*_pfmS1hb^h9MNm--Q8nh&R zIVT-&OhzelxD9mLniM~0)6~Ab!*HXZdI{HhDRBg=exCGDhPB0#NTp}9iNdzb!QtKQ*z&dZ*n8Kk zXt3ATQkg!2Gc~7U-fz*AUn#tm*H+uodtK!r%tnUZ+p4pEk-RrXEggt$rzqr!oxu8( zx$D8b+Sb`YmyU70SJLr$fpmQcNe{5 zAOB_e1`Mxd_J-Q$;o-8piL)i^*0tvl>`NZCP!8y* z<6~9gB*OS(&CG$PbN0r>yiNyzXUgmn1+VzU;W1 zQo-o=myGy%cTkWYwrPRv6 zJx}4SXFq(r$=q&x7P+`=G73%>PE?hm{XbXlKD8< z1rBDnTl61WQM#bfz-S)23d>7^*98aalD);-!RA`O5xcWPeSIUr;_sG)=U_}7@2SPqcSklJCf(+-FNY>%E4+60lyq}#II-LcBeQ|H_G8wZ(G;X@{ zz*q0i``445p`=m1b=P5)jkpyz2)O67f^2cB)VUiGN0qr;N=s_J<6G#qi2|EG&uXoa zR-5jw%V3+PyfxYvTu-0&*2`zGyr;K`fXmtkkn1qLeoZUIXW_qdXr}rxuCID-x_gu!vr6loH?ECAQDg9r!z2(F@ z&G_uT2@qKpbXa!^Xf6l9;lYxVi Vo5S}^vavI9a6plgipYsV{SSqBc0&LF literal 0 HcmV?d00001 diff --git a/a11/mart/Makefile b/a11/mart/Makefile new file mode 100644 index 0000000..5903bd5 --- /dev/null +++ b/a11/mart/Makefile @@ -0,0 +1,14 @@ +CLEANEXES:=skeleton11 +CLM:=clm +CLMFLAGS:=-IL ../lib/StdLib -IL ../lib/Generics + +all: $(CLEANEXES) + +%.exe: %.prj + $(CPM) project $< build + +%: %.icl + $(CLM) $(CLMFLAGS) $(basename $<) -o $@ + +clean: + $(RM) -r $(CLEANEXES) Clean\ System\ Files diff --git a/a11/mart/skeleton11.icl b/a11/mart/skeleton11.icl new file mode 100644 index 0000000..829a221 --- /dev/null +++ b/a11/mart/skeleton11.icl @@ -0,0 +1,36 @@ +module skeleton11 + +import StdEnv + +:: Prog :== [Instr] + +:: Instr = Write Expr + +:: Expr = Int Int + | Plus Expr Expr + | Times Expr Expr + | Read + +possibleResults :: [Prog] -> [Int] +possibleResults x = produce (map (map (\(Write x).eval x)) x) 0 + +produce :: [[Int->Int]] Int -> [Int] +produce x i +| all (isEmpty) x = [i] += flatten [produce (updateAt idx ys x) (y i)\\(idx, [y:ys])<-zip2 [0..] x] + +eval :: Expr Int -> Int +eval (Int i) s = i +eval (Plus e1 e2) s = eval e1 s + eval e2 s +eval (Times e1 e2) s = eval e1 s * eval e2 s +eval Read s = s + + +prog0 = [Write (Int 12), Write (Plus Read (Int 1))] +prog1 = [Write (Times Read (Int 2))] +test0 = [prog0] +test1 = [prog0, prog1] + +Start = ( + possibleResults test0, + possibleResults test1) -- 2.20.1