From c40e8b98e001d4c23a44acb12acef397d7335633 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Wed, 28 Aug 2024 20:47:40 +0100 Subject: [PATCH] slight renaming of constructors in FileMessage.t datatype, to provide more clarity (SAVE_TRIANGLES is for saving to a custom format, LOAD_TRIANGLES is for loading from a file in that custom format, and export is for generating code from custom format) --- dotscape | Bin 975056 -> 975056 bytes imperative-shell/file-thread.sml | 2 +- message-types/file-msg.sml | 4 ++-- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/dotscape b/dotscape index 06f770557b22f61744f7276f57ffe8ab4ee839f5..087e871badbf7f06927fcb824174081835d3648e 100755 GIT binary patch delta 23758 zcmeIad3cjW_cwmeq%G-^(3I{iZPL=;o1w{meurC4<1P-D| z%4R7D6qQgAY(Wu_M`=+WM8y;kK}D$uHc093Gk5MggzEeKz5l$I|9o>@Wpd^-%b7Fh zoH?_EvnB1%mbBmZB@b^BmbAWTYxR_*tKY{R?wP*m)lX~nS#X^@uXENlgl%;;s?7#7 zULHq_Ls=h@o)2aBkUGl@Y&l1PXT#ZTKmU3rTiHUI7tfNNGh)~f#_O3#pTH8Fw_@1} z#*&O`Otct375Ia42FsTxtZPZOpO<&FU7@J=k2 z^Snfw*_jpa@*rnw2Fs8$#&=~0VokxeGNzH-QZ31C)tlW?FupI4?AgK8?n#!Klqc{+ z$(Q0BbYtm0+2zPiPpWGx z;|p134thEkAh~k_kOoQa%jkupb%vI?6}^Yh`0lJZ&x@wFyQ7)B5a;Rc>^u(}6=*B_ zm`m`W1-_}hkvP#n9w$Hm3nW=Or>&YUi?l2bD zEj8L!767T|L1^32Yqr|>1YTiY3;w1cUB@jWC9}IT{%&h{K~CJm8S&F%p5tiFFgB>& z^)M-X+GVL!aAJ~d1DGTgIg%v1HCA#vYTL>jm>g@YjFka%yENeiw`NFd^PtU7v&b-` z7G)w)Hb=5MP{$ZVt)6D7&85-YvXwJC2X7e|_y`P~O@_3=kE1!trJ!D8$-T7|>Rx8{ zElITMY1S&jm7@r&-X|M{u<|CN4mEn8MN`GoYy?|I{hwiRJT;moJ;S2viV@H7jJV`Q zWyF4Fw>;0WwB;G-oGYBpKg0G%w8u!ZIV-jD5tV|AM9ij{Ha*Ld>#|YYa$Ca+YCous znwA4$aI;X|(oR~bB8|R#mbK@uG>RS0(sf;~s)`o%^A+kpoFz9hzv7uR^X3|p_dS;< z?~W#_!1yhH{LeVEyOQ#TvnV!_iiWdJ+!aXohO^i(Q+-=mxtK_3aJgP`mnTu`2-Ycn z1+Q=|;g&?C`50y5LSA8lr^GfHl4J;}X|?i8}_bkNE|*)ScMB^l7N}j`j{`{7GTg&6Xj;J z{v%d{L;`dhV_7ffBMY%cQDxu9SS-OCCELvX|> z%8Irekfqf~&2v~Qo~NbpIV_beAbSo=ZudXgPVqjECYkm;YCCt}HIicK*BmyJ9j9?4 zStn+sog>*87`kB;TM#%S6h@Q;K55e^7WY5)VS`-?`z&9h^bzf`&xd`aHqOQnuGfLK z9)l{*f7YX|AyS2PDYv9?$s#mYS_COVJv%R>InS|F16$@%;d=M0qY}fVih12M)ptt#oK<)fmHyftjSXV_C9kK|mKwu;w#cnB>kdO7Pgy;i@-NgYj$(cZAZK@oc&hMb|pZD%fFep(($xcsed!dIJv~P%6*?qD z@C{YWMx*WJR_assE0}xkX_C8+P`5cEfJ&sPbJ(D;nv<~7M*3AOmj0N-+Hgk%HJ;1X zGd+DWmvv{0NoQmA8(8-|u&fG{!i^SNnRR|*#*XQO+7}>+E_9RqY-c z&JyUtd}d^y5nG5-5}6i2N;a~KWSJ+km>Mkf%uJt!n0qt5u@K@drc(=9`@ePffFc$l zP;cz1YNd6Hz#Am;`64!6@YrtgKk>-dK#@U#619Xc;!Ln05MF%hRayl7CS2;k0fE z6um8#ERhwREoC2J93@LZ^&qxPR?G&=FcFPB6!>2TgN#rq_cE0Hi^^Y>$Dh3%+?%Or zIiek_iOw%)eb@m?d6o5LyX7+U)~ig*h_=6q>9LEfCNNaP3RVXbp0Wb{OrriPF)Qm< zu*2+ePrGJ%c_nKo)Mv*^UvH?`a53ptv4M)>G^W+7nDKAJf1OHJK`*Az53A5ICh9dd z@^6J8jMtzSVCyx^>?}JA#5@JAhFW6^2CV)E(MM6?Y7G1~eZ3lDD5V%X3>0q6&gyel zGA*{VNwD@icBsQG%3F(~a87GH>ac$e)WJwqYf$r$0Ml4FjeZ@wgw<+M-CFiK%l1&v zn6<1W|ASHWTDFp<%DItN{=m}MPYTb0uQVfOkq}(KAD>>wE^${J6|6^d2dDwDCW0JB zYUwl}17^1Y#lFF2{!Km?Y5N=SgB{7R5khQ2 zy*FY&dU|mqBwIq+o3LKwy&|o(X{1{c){9oQN7svxZ@ufqrHxoGw&l`ryT>2BsjL^1 z)b*nBP4*Ta^{~KO=n(sqx8T%jdwTk9_QReQ&V96}Vc&Rr+OY{e{XRwR$=`Lj%5snT z=do~hmfn7w9p(Ey2zR|li#KC|e~C&qV@ZA1MjJP>gw!WIotzcJDVy_XC;1n>olJ6| z6Y~_>vqN6~dgpnD(|L$GoTYgfj`Xm=77XVTTDFBPLELKC%H9i*c2#{Kh0>}W*e?|i zWPW`0WVJcnHa3{MR?z5etQ8by(>BbImA=}B$i?aGza127Ps?^-5-!oZJ6Qb~>&sP^ zYlx395oaZ-oqZ2DH)5OgEmiDf9jL)O%xpwV>!>HmQJpJAvM}h53$8p#?6~}}H>Pr}ZT|9xkCOS_eLq1ewyvzu9ji(*? ztQ(a6W$RKfCv4c0PFI{RJx1RPcjawvYf%*O5TvdtVTgJev;>Sz~8eO9lndD zv*&3UinGV4a2J+{b#moobH6IfCRA2~eeaGEePZt+_ZhdFH8ZUHxjIUt2!9kD8p5L8 z@IfQwX5h?Ace93(y--MI0|mvt*eC8rRMPfc)&kMS#CM?qDV}<8!Ga2tsk*LCRhC#V zBi3xOUf1%@VARiuQue?fRZft#jVA12+S*rch_YsPRTaYW)tnaWVY$piclNM)X^-&= zTY_Zqs8$F2CK!ki^JlZ9wZ&i`V{?nDdg{EFWk!hob1zBWKa0)Xbw>D5HY#}^{$TQCtVGMH3IpaYJ*B>npdJSVgWkvLI*7Kvj~K!F zqL4>wf~!`QWf($vvA6vRE+7etE4~Zcz7k1Cck@Kr^Z~0ynIEubFo&ZhJXvJKHx=w_ zWp*k$!`xJztcOYc1ngtN_X)fDZKh|!>(Y%6uy7%|IRNwek)AuiHuIC?WiC=3ckf%y z{-x-wvRC})vz%0#;bf1o4BGBwE%@tleaz}XIJI5W_8^w6$>V9&Va&AsAPYDA<9Seh zKkTsmsr(?TpD^~P>L`veiF?YiUOj zf)?Lbond^&xAmcL=A-Jv-K`NtAJf4T?1%zi&|kc0c(4EdlVs%JB<>h317)>`_>xm7Y2Z_asr?Q5L5c(iNTNiEXlx zP9KG@|AY)5VUT8O`wE=b;c_9Y_4R$U}jFkHKoLOobJ{df)PLWp$Jps>L9#%ki}F zWA-5F##A{7SuNs&IWImMA6QDOqg;{n;6;|e>UbK(be>?(^Iu2PuO%$Ck#*L6%iTX^ z+gdFZr`S8zXdxUe!0uK{Qi|P4B_~+V2HU199XfROJoURR*`83N>L2v@rz|t<51eL+ zvlpaV_@u;N7`^r>%MBcZsxD2Pg6AmkB)tC|4?|*hPr~HJDx`zn1?oPGMELPlnS7?H5zZX=u$&$~`Ts#v3B}+Cvr7 zjnkL}EYP2^hB~pIV{kcQF2~bzpJ77Y7Uk0DtIuS;Go1lPFRBf_e1;`IQYVIXo!7HF|Dh^ELAPyW{N8UBseik)*Q^i>bpbeQyVJvL~RiA8M!tEr} zi=`MVRQU7mIb);O1ioeBV z^`TSW!b*C1vgG+|O)1|&w2eF+V4M9Nn~VFRm`fPpA2jcK^lGG6E}_?NRqDG-tmh+4 zPN&DeM;kjufhKG%6@HI7n@j#KWZI~|3-Re~%5{O6r>TFrJkW9%q>KG9M@S>F4c?BIU zrW;q#yN#M%MSr;}w(KhFS+^&)hvJYp4-N|f)LF@DvRkpZjGRBBvMW_wWi6g)EsC_n z4OmsRMN&`a;oGc!9v^p7q`$BVGkl%ggt4u+i8RXofz^2;8BKUvH+rE2HP4*r&5Kd< zj0xVna4JL-4Qi{9Ey)W7sd>`FJb$|R1B>SHxwWpbcD#~Nmusv)yGrwZlqd7ZHOS|< zhl0}o2>D><1O_Ai5qkBiikYrsK4y3*ocjstIS+*><2sw1NQGs`Lv4M-~0?RPeuxv2b(T;as;EFoe`0AfYlEATY4 zdjxJ7*<*l$?YRNnNgR!gd>{Ut87shirCx`2+i#D=9ST58UqM1kjd0 zSQg(BM8E!lqkIz$y@R6wgIbv1#Q;8_ws*0*oF7Jw|9~L&(XV&eVuV*O{>hf`<=)(c zN|bFZ%Jw8jCClV}y-<*w6~L%JaO3=-Jcac4poQh3lywi6@mu0(^gXsJQVdXBh9`x1 z254-9pt&{${RK9ywW#A?FntS6{ENNGmkd=oNx#n$()0R3Pp~l(QKdCYgkKQ_d1wts zp_SQLW;ZUJi>!Ts*P^NS#g%3)+HoIeXjejPW%IGbt8(MyU&Tg-8Fijm61&MV`RXNw zW>z6GcO+3k74$(*0S{O=?$A-62P~CaLuoov!xdDMXQ7TKXxKpSK7eZ(Lf<`r?>j=x zs^!TXP|cd-+FhY`RKtTMQh7CdjZIva%b`N+*6^8pOCsqRZ^v4D@@PEcYp}>xF+Q37 zN)x##NUJzcjm#FeF=C*2Lm&?{31ai3)11GJ1G{k=9$%MZ96`9!YbWlr#c&~tEfCcp zh>Ft|4c`GD*~5=-Mui)GJg%KlqtwVTyR(OhKvStP8t2@=w&Ff1do=Em(3;pe=Uv7d zh4I+KXsDw_M`m_6PCS(a;D-0IRgF5gSpD7)10{;bg(Q7Gq1)!s#KrIh(3db3*vk z*zyLRo49P$%?kk2>ybjFd7OfDd?Z$=NjkomZKOLo-i7~VQCT0R=LP(vmrSkA<-3Og zwRsMI%bR_^HlGx5A_swRlrt+7%?09~*iq_-dty3ZfK0H(zG&cmM6?!$R~gmM($Pp+ zH1orFDo=@~Jy~47%r}1HCvW@nF8En8usg_ZY<7zyntHKxDU5exdS^-<-kycY!pDjx zCPa(}!k-#03*Wgu9HVF3=~M*o#A^*ydrFUl0$!y4F|s@_Me<=nN83g5=f(9}XD~}= z3wbns9L29AI8(}f9?j>A#oSYCY7E8@qf(b+px<1jI>v(fnVQAP?Qe|b8LUjD9>jtr z7?1}W5XYND_QO%!MO+0VU3wB}Ca);Iz^OW(r_hISJWw|SYwsm)8Cx!H%c(4m?-y?n z7RU3E2Go&?ASa~S14uLJUOYMH(D@JRMM-AUjBxzn3FK9M))TfF4aMBZ07ieZv9mdrAZ zWyCWSYs6HVQYpg--N;U*9Y#KlZ(|f^;^TN)Kl(LEp79+f-jRoT$$%u@1aCW9CGmk+ zOO_|`9QHZgOp=ADPv*(UY@UqFZEEI$WZnXqKP7X#YoM%pd@9cElnR&X@%q35QZQ-t z)y#qvKAyFph*aK%&8MNMsD6$5r^!9+N#z$2;V!GspT<>zk{OW3v&3TODKa&U4?~>z zpETZ`byYK4HGsSiQ*Hy)i&QgzZNMAj_@Zt)GJmGRhTIsg%z-iHfn_hp9Bg5wqv+jq zG<8NU0Ot_dkauM7tJL&{Xn2!Kl{Mt8F`l5u_;5Cs#yy514_2|C9^*-9Mc0V;#OOqC zXl!O9WbUI)jd&-VSSpzh8u8KmRxfn|7B}W=gzCpO;RF7*=Nv_^G~wOFCC!N@eCk8k z&$A>nqaIBmVjbl+`=?@X#sm&u2KmtVIvq=SxY#A zoJ6|Yl5fFYPHFehZSUfYp` z!%!?b+scm^Z z+R}+PP7({92+UZqWM??k6MmMp1Z`t>hIj^k_V-SnMK02e1#(O#>AT1(P+;a8c^j2< zj_wR&;M?lc`V2muogiHod3GCjfk{WxfG)7fjcVqlF1(?x4cWu8l z52HGxb5HUov7Hsw)iD`6R9Qa7k?6TCyi|-SyFLx*#^;EQZ8y1--@CzHK2WKt-Ff2# zm->`#(8E~}N_qSVX>EBT9qrEJm_J?Y&J#`kSSb@Qp9mXpl;?J&Vt$~8j&#ZWQ4VYC z@Tb^JUOxpdA04<|acp6BM+T-Bf^uX*Kq5@z-0r~CTbg2ha`wwcAh2`==UscG9vmRY8U7tW&Q}Cql zxW=>r-G)-jZ86b?V87N4Qvp=>n5)5aK2Ck-C27Bi01k-;;NYwc_5$p_knG zP-Mq3C~kA4IG2S2K3K#PD6JRYz)kh&STDH7Ze;K6nath@m9mqmTW{p1$hqnqS*0q= z4ICz_bA-C5MJYeEZmT}9znx(;zYib4^OEU2Xz{?LuiSD*U*3?r7)|cWp9nLG_dr~7 z@5DNvkC?>~Mo0VdLA*Sfu#67J8%);!p>~*W+_yA+wC6qj_yBPQk5X`sN&Wc=9O@`k z&;WiK&S&CN+!(ExmHGUA%LbfKp5vNQ>j87oD5q{9|CC`({K|sh$cXdXr_f+yxe^*& z^%M*OV%RTowQ_EXy7+#0-*N^geCLuhrN(-mVOXJ9A}WXMvj*{2dRg{3bKMFjfuXG$ z1h0iyVemtStnb~o%tI@;HIW6@fPn{l)40L>c^pcJLSW$TV16FDVj9N7wMV5RE=^?m zO}a6JH)MDOF%-*Q3$^6Tp?ng??%TLy(|yZ1oaLR%!Dx?~i#CgP;_!IpiD779Cyg5h zmpF&E595Q`X)1hL?lIwM1XEb1K$(=GT3@?w$rkOvDs!NQ+0D)JJ|;Ptet(+h#Af4_ zp$Nl8M8|Lpo`hwAPq2PcdRv!-!?qghv4|;^#a@JX#oWrrO)$(KU=XL^0wZ z#fZ~u81WbwgS7#*8pEdszS75YX|#(9$MC4Y7Zq|Vm5#xhzlaQDWf?Rdi#TGEO05#q zV3qo5ERU5RUT=d@iQ5UWx5C5g$Z>GWb-VZSJ!m+QUpK!x$|%k-aB^Nuo5pjqI0`Su zWrsKlzb;Z7%ltN;n;LBG4cJGfTcgR_)b@G4HE;@wh?Db4^uzN|u9=iK zLFRq<1SkNWYIvw)g345>)QQ~lhA#;&S>5)!XyrsiLAV+4RJk`1KILu)Ro;^(@jm>b zm%KEIx8ujXWIII6e6N>WKAC5Dg(J*V?2=sd>C$8bp*U@sBD0t?g-`lFluD0orTMMus7@Ao`vtzy^hOW7RUFx6=flT`C-Nt4muGmN zm|+7A#WQL#!)9fM$0{@Y(TluyqpMl+4DS;&T&{k{3=jW@W?N9(>3n2hF^Y*+TY4~6Hq+%Zc>>=SO9e9# zc^va*cbtXLX``3CG>b=xHSf<^{7F93n>~CsrhTNBJTx2OVDdxq6`tBrcxWSBlJL+* z1V=_(Ya2t6;^nC^9Qklve&J>}k2bqCTD;cBs%eat-1XvR&z&%bza$ndn!`=ptyE-(#$2&{5&vakhFKwyx%^w2y*p zJXT*WpNrvV6!4iQyfC%l&|q*I8op2#$xk+DZx=7wZXQr9EM@bsPsc*_U>?timDf)! zFa=m(b|SKoqfc?#6h_15^Bs{!9KeY6^=OcERJ`D)*CS!d%V2qT582QKBgIHAg2CNptuDPN9b ze}!7J3`Vty8Z5`64bCPl=hyiAkE@cK{wgHr@RBE9#X5PGf>t1g&hh3RU4cSGBc^KVddJTQX606t;CBK5BB?OJn50^hW2Dy4F;xA z$!fXs;?*$op(=HGH6P7dtJHWq_Pk*#^}vpje^JR=x!$lf2)ln&se(1&=!{B5zK&pN zw@R&l9j;@oO5J@O?9EZBK5NkfdiS(>c`Z-U``#v2x1+Fi@X9UK64Tf5LD&Z?<$ql# zLVuO&xSl7}?brEH|ChQ6_x@tD1ebG)US7`~{oryW+&N_8uM_SavXROqZ1wCKgvauC zTw_p%v{wEO542YO4i99g(Zi24j`-lfmrz7_pBL#A@psrn%H1H#Y0UzxHo+U4q=D!W6 zcBZM?OXOz6An$p}nVb3PbQ2C}#Yt%nYMT%~bw&@u7_G=JhCvDcBtk4J&c+=$a>RM> z4hME$8B{m#p*c#U?pXrBtI@L3pDI& znF>|L>l$>=vgswPd4JmsY48W=u zII#^Xm7!7{w?mQf+}^`b!FH^3I+Y6B0ql2b_KwW#oE^X}sMIxqA(-}H1Kt6(MWv3u zgJHd@QnC4b)gu-eNgw3noF+>xkgyZyqehiFv6H8US+R*0Tl& ziFRNU?P%w5wDKNN>du|8iCCsE{w8QwR_YPoLjG8#gX>AHLx=(W{j~< zrt-Z!v2Ncsvia{5w{ur(6vvg=KAv2+lTVQ^YZNJd~6pqLyADil{JtT@~_<~iJe z!e$)ArUeQ+{ve;@QGBe*A7!AOFeViL-a)k;Q4djqtni{8q445BBnv5S%!)jUKdA`j z6r%DTc?goPB>N$G%%cxsB)IzUQ2PZ{CR6Hps{p+mMu)Lq zok&9ubMd<@rSj#&{4(MLg}U}3oJu>D8h!+uh7QhxBm4p9BhpBJT=ws$i~nYJNfcAU z`|>88GGM*;?m-Q+U~oCnLG1 zvDh}EWvBVp2=i;zB(8TZk)emyM0+x|c=X;w8%rGpxLP!_yBBIXGDR)%4^ZE4yZeBQ?tvbG`jNSZ zHc7NHUyxeb&_f$Web5;TpdMM;hBU=n+?a*p--=$+Gx5(sZ`)`wRInOCZ)ItXbiu=5 z0GWDfpQq5iXg{l$c93AJ9!=@1ZA$$_n^VNtFqmGClCkulmo|$+dkMDsU|cBNLDUVR zRlT(x$<-6Byww~3tPl*i`k+0zsiu8V?P4#~_@$5NNNGNvR`k?P5Y?i|=+gVeOgNPx ziO*^!eP2m0I8XJ}z7sTe_f3RZ`20)h+<&WMrQf;#+Q>Z&p#OhW0;2zalL5K^f02Q? z|El&&yXXG9<|qBH{r`)~2i^N$`~Pq11;py#g0| z;m*Ert^!Mk)y8vuVO;&opG+^D=L=)gDSuXb;Zk4NUxCkhVOHkDT7&|JeyH}{%ooNE zMgH{j!r8v?Fa=)ih3&p@Jq14Ng-d+l(Fz=WMD4r67sihZ<&V`1o6h-g{)7TMyl{VC z7)QeL$K{3R`NAm*Y&@#=UFZvkD6rKFm;1ucD6qo|8@}{mt&;*@_rjfh;Zy}q`$+9O z*B1^~;IUpf&let|!1-Rd)EACX`}V@@D<9TIsC^f!eK+%knF3Go!r8uXcLm<(h3&rZ z(+XVag-d+l1O+yisC`%X!Z>-CKQ=FHI`6}IM+GkS!u@^WS_&*3QyZV>3kNH(*$Wp6 zxVAFjgXcZ9)bZD*a$k6<0$*3s+GO~zPwgQ}cJzNet>7%g7fw^)OfQ`43s-*SsWrn3 z=lQ}X6*%7um-@mR6!?M{W*2-|8>_(D3o2{PeBm|<+{O!M`@&iU9_xkezVL-FJ&kVg z!X>_Nz5<{0!WF*o3V*q^;e!f% z&E&UwDH8 zU+}{08z0ujDzNq&m9=KRa2o|~^}=>v_(G|t(G6a>#23z2;FDgs!WW*Q zz?ELu^sNu)nF^ftt;%_SUpQKUhj`(6zVP+4o?1)2aG@`JP=OD6;c{PisRCd3!iMjB zSR10i(ch`8b@qkR6gblh=la5xUwCTG@WOe%@JR*E_rj&V@CF6G;Dy;GZ4><8I?XPD z!)1zF3qmTQt88UWT}Ih}n|-0cV=sAFP~DrF-%rW6DQOpbUY#dJow`cNrV8-A($G@H zeX0$WEBT^-@$u#p`(7J07eB0%KW&sjsIZ#fuSUMw&AuAl;MeT(=d6(Vwbh1xr6<0XnxjIYZ~}H={L*I=C{FblV6_S`+f)gF8bZ{o9#c>f2aRZ|Ihu) z{VVW7m8R8Bx=o;v)zA-S653PqEFO!(a+M))i2e*so$qRq`#=I)W_Fu zS9?HhDfFq@gKIxidv@))M+081y{mR{?Q6B;Lye*BLNh{pgpLZG5c*c=w$NRnH$$69 z_d|mXVTM>kBSTk1H$$djtifhjX2>@b8s0N}VmM>?-f-7YX}D*I4Qn3OK5SUn$gtib|&m<*v+tzIuUiE>NKb$NkLK{X`(b=+94g6PAu7cMT@^c=jJOx zjrz@f|IpoPN17zPu>Q~LA&*JY2BZ^^eu&hD)P-~{Qa}2$Iv;5o(vwJSNdG{(8)PU1*FADmm)oj^ev<=r2CNGLi#aMsrb+83rIte-a;CW)UPQd zgESgxOQeq>%|vQOYC&p2YDGF0=>(*+kuF8L+S%jr;KX|PuWrT-4Q|PzoNo^e=A4B% z^PUcNY8r%(2hWNrh9XT1gg|TLbwFNA{C}Rob)vfZK=CL(3Xo;|pS1bI;0P)n5v;{! z=BW|E4cS7vGa@(>?XcMiKaezqCqjLUyvV9&9c#XIAEj5$45Zn2$+q? z6W_&076S6(k*97@#7H}cJerq{LDi!?wA3K2MoSA(qNPtuqSglFHKp%RE24uBBsw_* zs0|r%z>}zDM3(pn=np_*XudpYA)T5{#3Qc_Wupm$Z^xoqSIR|p%n+1#tVT-{ke5b< zfE(5Gfy7|f0`e6GvSfyKBOm|4Evn27MHNu;M|AWh2yKnL>!JYiRQZW=_mw=~x}iEr zs(kIy_Ua+;R*k$i$h+>zTe4teuyeu4knbGqMQ663u67&z&l9;FbWt()m5VV|n}0=5 zT+&HK$^(qwR2Oy7{TKhAl>G_aOVA%AQDp3>%Vb*TxQ;sN%c7lZmF~Y9mgfB0uEXyY zcRS11=r-$FxN}~fZZcE}eY(k7 zHp6K@s9VC>3(lCsy1k5bb)NcA*ImOlI1RVsPb#qzF#}%GSK=qU&{Y6O%!`QTBKL`9{GJL6U|x<47a@65ZP>mC65#wFcg&PF*qm+LnBv!>4SYq}pfGdfS*(6#ns-#Xc^ zy2M&|mSno4dk4=zPTfJ@7o6@py3L$D=6s`4H$ubAPWNA8d~KZL{PbgjkYB3T&t(u# x|4=9rilbUg zY$a_KZH=fUQB_N;qN=K;iK4ntX=@o0ovTsq172Tfk9ZNErJ|?=w8oesT`Ys>ABKrqp5s7#|)7TGRjC+K)iq^oH>o9oN7BVD_bS-zgzB3(%hSdvZ@&T7O=!Q7^I4eh|9 zInPd{sU2AnFZ6LGrL%N7Bfm4-8C~IHKgo2GTdEb6vsi_`ia+$-HAh|1iX?7QkqcDg}U0DLlr6yh3Fn%F|mUd;SUfC7MPF)va zKgs8?+c{|IfUo4v@kQz{x!0i;4(<$`xecw?p!{yEDUXk%HQm4_yN2s%H+GtbUJS9H zJjf+?2`Y<<<&mx(ne3zx<14*b9OF(O*QP8sRfmlDe(X0Lzw#`Z`m-6#O^f=oM(iEh z+n+sc{B#<(+R=EN6#iQ-#Xrqjv>N^lZ^0$YQs;Qy+>A7S0&jj%Clw`0_LG-%zC|7M zQl)(~w@L=dAxZjU(o4FxHcGy~9U{lmY&?6LFlmq1lAh)*Bx%@fjHHaCM$!as?I1~& z4XM`v_5vGCpABG-`IYwL&1~p?3b_ZcWVVvx2O@cbx({S6Ldx^GmDz{gj=$IO>kd76 zWk+%hWHlo!6ZjK0f6S0%DYi}E&Foz*#g?gbJd8&$GnEZwJy7{vOw{y9_%n{+`c z6D`L}_I^x~ik%6P!xjyF39z4ZVlr&eGIkP}yIdDmbbX4ntfC&72D6Azn*n7aB)2n1 zayU`PX`tqVSyI#TXSsDfXAX|OrDLGOFwlx|kS_Y;YzjUpsFxzb`CLgg#CQ;>JHjK@uzR$4Q{Bj){_Y8}S5o4aBjJfc6b^ahN|dtscVa##H2T>t8xn6!f4fa#9Y& z!7V~r%Q_gON&}r6!rE|WI7JU-sm8h&HPwpz?NjPIl+|r$o~}%nd99L4da19yt5j_H zkw0NS-nsaOF0x4afj@Dpw#9vm3Ws7aov3&y>%g5MbZ01w4lRtbpR5p537xGlVS4IO z(lFMc&Hz?fGLKv1kj}>_c>&4K%?W~b8-hNVVmfVI!$(@)=ceb;xw9CeV*;YDYW4#AT z&?z(KQNldN-9yVO(F2KBmajoRWNm|v#6zB*GG<P8$1lfs0&ZL_0qYc~7SF)GStneBf%#;ucbSlJ&{VqP$HNwR^+Q&%zqBS-VH zO2HIt397n+mlLvd#!=H8)|^)uDL;oL!F4%uSl!nD&3c^M6is4VAGMwv@DmA1bS;NX zWd~?fF6#ho+>*;i!n8w%vzPr|2!+uzQY`dg8%b%| z7{bprp{)m?inE6(+8QWTTIO?W3YV-xbIa#Iicrt^S82wxEGeV{m{8%wdsUHfVNzu_ zO@EdpH>`mAi0lYtSC?|99g1|93F)RwWfQ6FSr!?-G1h*v9{kG&2z4C#1}=p5fpm}vbmd#L12H%pEL zi{v&pfX;Q6+;wSs9t`wC6z$Gqo7m%&J&GkqNW-hFtA)v^bQLKMR zt_j8vjFr#Neo}a}gXEJB2koSW`D`RNn`lKon=H)3G#Uz2H-@^7W(T;`hy2H|G`=C0 zT908leE4))GXjcbrq9N(k^W1cla}2=L*{U5J{A+w0urA*TPkzvq!W@e$zh_gV_96% zwfWLAIm;g9c=XMeRYQ4aE@Eubrb^@lOoEE(Rb$C-HOQ`Y% zR?|1?RcTqt8rnCTMN<3}mds!D;005di+A*peP3jCJxy4s^hKxydx%bD-Pk4C{u0Cj zP*6t{s)U+MgM7DZlw%s=5fqum5cJXcX)K3TQpcANOAHf58nH~OcnLlGVV<`HhJ4>!_-}=D1*iQ;GTkR)pv*T_rhdsUlWDRNN%PgGPX!RV3vYfu0 z!`l3#-72c}3ZnBy3LiVY`3gD-5uJR6<%`a?pZgy=yM|WJMOUWMXLG?Bb~2ZB_y_0b zsLQ1i+v;D$9%!jFEPNs3QWc_UTD(lA6R1zb26}^h^koR9j z)q7O1P?pED3orm1?OlMF$DBfE7qBemqWZ6~-t2w33^`w82CPF{UW4^7Rk8vXGDGNtjm<)n5pW7_V@LKo&y7nhPq0rY~ZT3H2&k^dHo#ltLDJ)a#!U zyo^3u%<8fN`eiYCVWxVov)q5k48nOGcDnRAO%BE-kOQWp|C0YO4N>&*5=h{0I=2M! zI7u-Ms0rMfLl{FMEpV`LZ~$%x^aN)028zN%o-=TdkF3$Zs)^Aj25QaI(mfqjBQ zD;u&5aE_o-=*wlS8MkoKEoX~ZvRop<&L3FQ^io(3T&D#QjD%1Fe);%vcAh)Uv~>lT zxu_wrMuHqlY_k8NKj6M0ZP4e5on}wb$1B-mzH>&w008>Qz`b)=ig|*>%!&3F}4+7?St8Vf?|fZd_P}bz@@z zm6hq-T~l~lU_HX@i{h5hxH9NXCFUnrS zl4GSk_pNsr{5Jxhl2`=Hi1Fl2O&+U^&!w&7SS%e}!`@~e%H_HA5iMBDTJtG(dhj-u zgx}XP3m-`EoVLLPjq5<9VgJWcQCvX>RTueFTW7OV-IuJ zVR(mV(K{AcWk$2GC61h3}o$$@jh|w~| zrO{NhnRUg8D>uXPE!1%fs~u`XjO4wEs#}l7ZDA30=Yy+=jI-h4MRe?$81&9kL+%~D zvxU{K_kFeQ%oVg4UrD&*8uU$!uZ|dBTWV6o5?M6$FJfs=Y*qOS-kuGf7&()y!$fE+ zNmiXaa(&SSUCp9;Sfi#=aS_()kmYiVef8Y8A_FD256+In}?WtZ;4hVdd?P<=t zER~I+Menj?--e=J!L%=eMY9z$2e`!h@3JU=v}!{@j8-Y`J=P>-#cx%SO4H#*!_h2) zqxY~(*_297`sO{j=U&9#XJODl1oTOWM%um49%l(u@IJ(!q_N*CsG2erBU$cSqtRXA zPK7Hqi2lga7WrEO)!PcM;~pbx7ERd73_%xv5oImz`}YxxKf`F=R#t!p+*?^hb~02*(zf^_1jov)IvHQFe6eKERHy96LHQ zWR{{wC~Ts$A7Dq997A_LK!oH>rr2#*ypPhrZIJo}D&B_CSn1q0c~SA%&U(tMJ3nOo z|F~HU#5tC>S-eOEHr9wZBse+lI2O*dd_AJY{0G+vxp=M=A^nBN|-dU z3$p2y9^gD8^h1^!Hvwg}O`W%DmB5(9BoF?OwPOS6%@0`{zmk{l%iC)^o%;}@dyUvf zVr>Yb)Q=FQW7j|EBP^Cr)0U55&Dm5TqXzQ-nAL_qcu>mYsLRK!CA50R$E-tRs1nY8 zWCiXBBhj=d5tDKVy~2cT6LxWZsxo1*bQQIP-S33?U!hSu*;;-ipU!WSJyR1G3k&&= zhb~F#*YnaJr7rOZ#wcCXiWrC8MJLNO@I zcFVbt-q=sT;2niRJTItaGUabRanJhJ9qd|bQdTGof0j}RPJa&yO{3@cK(k@ddtlL> ziS1=AOlIK_VL(o7F%#=i*S)Miy0LmMi{uv*Y3E+nrlBw>U&)G-KzAX|xrB4R7zdTs zv)k)@CAW4=g2NwoyoqA>!HDcMa3AZDYX0P&Rg0M`-4BH;_OwE{qTxbu3>HVn_pz@0 zP@bX-HfpyYo*WU{el`jHjwyjurch-m#DE~U1ha0FsTk*$d)ATQT(_CUT{jF?-BNNZ zZid6nRF+`aT}8rg0VngSk zSqIo-|A;?U(B1>E9dli}e1P@idzIQ)XR<$Ko%lMHM3nt0BDT3IiGdwNrHKj|TK?KS z>x;LmA}vrlvF;_r(3*qnLCmic<;Y@*SlMSj|LDs86cv94=NYE3FqrN4thK>{wvEF9 zLdqeQ!Tz9vLpa8;PrGNmc}up!B~nQ}M~7;R!pl@ls^{26pB-X7>TjH^w(B%H)@k4E zbscfls@|YhpR~~c{dF?!n*xK!e;sxtnMRqqUrrFP$x@)W4^>v*g~$~&ffW+wf)Vi$WmtSC%BKt0ml-o zd>Y*b^g__W%P@oNX^Ou?-aO=OppU;q+W|5sAF0DVYbaG7mHp+|;|RQu5&KFw>lT#y z6>I%Shal6h(4p0G2?(>|D=@lA4NtJ%4R=hEmQ}*BX^}Z7)%222QkEDewfq2+m(D!|<_`m7%A>G9m)8lk8>o z1HE|?rwXTY=~@{aJi?EY*tPBRkVC#^Pd+k?{~>yNN|4;ZbJXe-dlLKqMW@g+ z%+D#Dxj0}S#}Hg-V;Vvs->{l~caePn*@vj%H!!+1PfM%6f#9N5vYf7d19R6aq`&#W zU2DMKSZ?c3S_z9~*J=B=vYT0c8Y4O_s1&+?8qQ;vhCKf*oCh>UltYicg{r)&P*AWl z(0C_3bp{m%(8e=xRcGm(pe$PTr@q4m3_INKu$91Ccov=cJ6n;FnO-@|UVB6+GbrYJ z3}%N~0!KC9gXa?Z?0eRm&sB5bSAM|E+@q&{fF2B|)jyz5z3Iyzus`jklu^XllIov> zh|@gvR-a=t*cS?4iR=R9P^dDi2RPQ5^_egvB$rG&zIIeq*iX39=} z<(Mgmpd7bPf7A2j=+QG&SOH;~=~6j_3iGN!|C%eAHkw`mnbnmkF0G@Z6)X*G+$h7P zwUl}R8=yaj(Y|sh5r%)En$|3!s~0dI*;M~0HkcQA3cmjnnwm#fe?t3Cdg3CuP4s|^ zE~1Y;>AQ;vY`V~mi|p~_me>)-HIpix_p7XucJ>a}X45M!?yyMV;(A|V;qB_9Faog? zQn}e-!zz|Ld)VznEzkBaFHXy|#Cgg^Q{g36vt76b*%LibuqQ9UlNX@nNe}aUsqzww z;^Yh_v5^$V7z02%R-hTVl@E4{*c(3D@9IpJMw^)<$pYK$Ym*p?zQ=HCoaGyrE5 zzp>GLn?m|JpS){zU8A&LaW;7IH)f9MAu;lM7iQ7A~%&L{*61ogh1N#H_PM~boA%nEFYV%AvbUu5UR2Cy@|2yq;@y4 z7JW-)H|2i*d6Uh>xxtIKQ1Uf7Gf-_#dcVq=MIkpKvqqv)587}WTF^(UX>zk7xPW3e z4i&OfDfABXI6joJ?%;AhCxY_tu*DHV0OE2yAy5&3i0;ZwWV(y)I`x!(7mng7D!9wu z;`0Y;f=s)|VpG@kfmY$N)QN!AmMH?c@S<#RW8jvZX>mg!#kMTu>uK^mapCDhMfY%| zw!Vh_6%+af~m;ddxT$us~X%EvPaPn&&9=DH!6N}>E3gws zD~cX;lB(yiv$P+?1cieK6Abhmp>q6}9=}#%(yKJI}3o6}aNv zOs8w}9pd@Hf;v1`)R2lH7o>)rNaxUlI%skvwTj{6d85IyFl(vGRWkE|^`Z}y3tsXj zoQ64`F2q0~|EAJdxq~xe(Lo3SRFtNWFFdfW5p{A{nTY!TB6lo*67iy1Wn3Iav0kGN z#PQz7m12T*){K)n>#!vhYsNHI)TXXx=tX=TDl+p)dEC^)PMNB`aLE*5moC8P!VSop6smBnj1jCP$Lo!j2?BnH<^~uzL55<;qYy%8=fQDUb zz!ShFq#^Ht(TUc;Y(_(5Zl}VA(0H6-Dw#ZukKmO(wFy{|#+M3}k8Q;J{bP6fEX``f z<;$6)h%_IUabP5AQbDqE&793~sAM(QWxS?yN-%L|R^p?zF{}ltj}}?v$=Pb*t5_?Qa^-h~ zwsX82T9wWxv(G7{lU%52C)li+`gelSy`^Pd=)@m0j=@38S32wAFLc%p!(Gvx`6o=c zhi|*^E(kr;>g~JoNL(NF?+QVk?n;X-@_gOw%7^lu9&$3a#jVZgwuokI{U3^4DB8hx zc%_E(O|i0N11mHkfWqSMJb)ky3%FTF=ezN^cpZwwqR1c=!R$Db@CS)GQziHQ9M;OI zqu30dT(3T|+5=jLbM1807H{J+v1TIda&qo)_CuOX`5F8;Z|CXYpzb`ko_I0!iB5ho zRk%xMjh8I$7zsWgft7tPe8B}?h9&VrcWChqYLba1v8uN=;02kFE{WxzL1;KO&;C@W zEQwvcm&C!odvNpiiH@qK@o;*k2k#PY<(2Vgn0$XwN3!gV(OdR9>(S00ynTeTHiiJ9 zY}SO*6haIk|DJp|&rYU8J>mVjQAjUt)-=qnzi;)&iR{>*8q5HC7Kl`z8~X|HXlrT9(iI0!Y1XzU=kz?rmV z5Pw=6)eV-1nJ}0y#hRp2rw8*`o|{BB2lJfhLY#jyM8YCOV>mibfbZkt9uM2GXHY9s ztCchaF1CqAEf@lUg=y3Sfx+tym0Qah$~WlEu zui7oEX1BPK5o@@x+h-NK9U<&CgZAahj%vY(YIYl_+O5B8x2X^9b_A@z96_x|@`?3l zWGRr3bT4CJ6Xjy&^IHow9lo2Jb7r%^AIkK*Qlj}8lX|v@_4lT zuzCaRNZfIVeR6rED|!@$9Fx)0`&8l3=Ge_RA{DLSAib0d^SMQwjF;fbM4XIY5h)I8 z{>ta^^*5lCa#0+x7i!;ez#dzT<=@n9G+*ymfFj}`eLVd#8frC-I*w5$dJHB44>1(# zkf6G2RO(o+yw*z)+g&w;s36B!gb-m`p$B83MYpK$IGNqVahQ8McNr(?$)u`0xcvnog zD5*sV_9J(#O|Mr)c36V>3Zs1=@-#a29M6ki)g2ELb31K$_+sSH=J6ZlY2GHLIh2Or z<+PY)i#pAD>NJ1)Jnz-;Ql>o3+ayf$1?@YgdDwqo+l<;x=DB{QC?=+QKWzcY54Wak z1;Q>|X)hqk!*S@BQ~1+7UCXAfFY>M2Cy5+iAAIci^vwlGji0KCiiyeY`!U? zTz$;H&tKZR-z4o_mxFVUdKCRKAEeYpy&}}xl7PDDh**`ni(lp^#qq%$xgWFVAXpbm z@ErKnR5>?96@IzpuJtOe$sw_wukfZybOC$Xj0nTI4k4EkT|9V&?~^4qSM)uWex0k8 zMcbRTw&k*}rt=U&3Nb%DpBM0f&FQ#ZcCNq9=L>k6hg|V0M74$*F2G`kzD-=fFJm87 zxKQr#)Yl-nLXA558uos9WLk(NDObxpunk2KRd zlKMJa_j?|4&Fj25U*REdzRnXKxo2og^_HOh0;+JxeOs^uO%2kh%S-qOG^}Fd98h-b z+?0~o6|}~VvdJ>J-q5A!)D?}|x)h!IQlp~ZKv49)My+}SK4ZB?-FXA2PdG+Zxb$0w z76xh5mfW~76%Q*2yi9w zSPfUTeLFtt5R+HqeoA0)Jx6IeRM`aABjG|K1AiT`x;#d_R{fRf(lWUi+|F|CJKRoa zHFj5MEb*uPrl5#$Ig{y2;_vWrO)1MEYs-q2nCuFw|0e%{eeC+~P3$X7IWRVka7BbF z72)(?6%Mwt!(Byh;k~wJ?&# z0p}ITGgpa>iPIG_?Xpu;TPK2XTPdCw2r!VR2@hua<}~SHw}s zGuNkyPG}X5W{aHIUUj1QLT=VU#+`7f1aHaZXt7Ppb-f^JrTN0!?8<5f-1&(fj>Y(dNqv;!=uqhg~bt4uslSV~s0*2>>o8<1z-URGBjrvt! z`!uTmJD}EU)PZ*}kcAo*yO}S3#PTAkcr(sgdT0d_w%~j-UZaj~f#)w5dp`KU{jH_q z{eMcWoGApQNJ}WkE?LM<_*1a~6tAwt2GDr{bXUxfiTV{G{5QwYX{0>t$=|`TC;j+{B7cL?ozelxbxbE-(y(3ihNV8$h(w{ zB0RqVZFR|A-n0$DMRN~1c{@gs;2{rf=L<_i94#P@@gvF0aZS!74ZEKE@F#J zX;xTr!fhQ>F5)iQ{ULTIW3{rYK7#DrRQeI3-7Z>Y>yM!umU`xRZ7lwAw+a))NvP&P*fL7|Nf>>-IKEF-gIfIE6krmRfYKr z)rAT>4}gXWLv_3E!afD6J8l=Bq42>nygwa$LUHtwLJxLnd_=u;rJl?OsxO~=WXgQ9 ziWL)>SPa85YQ2lz4X5Fzirw-U^LL}?mo;jqpl~z}tg*I$tZ-XboX0z!3HE-&F{{w0 zC6dMLh})L8H!i9}?2ohK_LS=)Q-@HKPq0fJM?*g0BiSmAKB%WN|64Egtoj{}&^SIlybs@1;CM zvBWmA5n?G5M%d{9@91~9g<^y^Y0&}xvN$9Al$$jpv|HWQ1-KQLjj-#ZPhk}!Bp6{b z&H9vI5y8;tgIG?i-1Wgh9>ef!9>EI=aqYAJFqU?QFqSJ+`MF$V>!JVqSlWG#u>^iD zk0thVu8c)}V4M3nU&LOQxp_L@&~5F9*Wq&Kv6lVQgD9QPKFr_6Q*5;(X-A-S@d2*> zM|do&WqBQ25g)jY&iIKJlRmmXZU2`0I?0hni;nX3tRtQ|@tW8_bvcGfXRd-{ymmcY zfFDH zH{4yNu&X1bFg=!D9sb@JA%(e-_i9HeOl!U=-U!^ER=T-FH|%t)iBi~CuI`mM1RB10 zF5U;|SZalir%v1FDhd(|3eDLS%n($W*r`1Q2f+dM&Wf*WDlwnAtw%rXT%Iab8 zr}-I%IuzX9V5T233{h0l-7scFcYImW-4IP#8HT1bp|?R#%`y$4Q9XR4rMF>>Qe{sMLn4**5@=8SgKz$HpgY=X+|$sL>U2kg zfju#ng<@2PvcS3|6L}brp04yXWO(XEk)a0GUJ6=hSv0;CnRSsH|cBT9Z8qOXQ7&IQ`1wfBfSmp z_|M#Y6=57c|57^h-)dNGcjmt~a-{=k|6i4WX#d~rfZYDS*nyewy04_5aEL538SRd#+*TX!iOW9dT^;I?cLlh{R7Kv%fM# z)*3Ce9iJQ}kur8=$lpej!yC?4;gue^)El0t!sQ;g(i_fHVRNy@JpP1N+tXFp=7IZq z!y{GL>49f?!+9!v-2-p;h6k!}%iUVr72fbv6}EfekTS2XnN+yM19$X>3shM8L}Omy z4dcOp{K@dZh2AiJswsb#c;GT`7`p)ZbHW3&lU`j5SK;72TH8&$;V2dE#UR~>;!dEW%OZl(gT-z!<$w3um`U6 zhNr0TZ4Vs(ombB@R5;~3t>=Bc;V2az;DKj(!&kmmYR&h++r8mkD!j`BS9rtoRrrbr z4ms=9wE-#|byn+IM{hVqg)=;Gfj4~nq*7~&2QKu653BHI4_xLAuTQiWT3;B0T$pu%|`*x?PIDN~rP^uVRw@MaZ0?13x2;VCM7+XKh{;MMaC z6;Am<>v>;qI7)>Fc;H#y@Rbuvt@$2!yEnW`g?D-23U7G63SaTSA?LihHb8}=&S_oi z=nbc+aE1pi@P==HrPP|@feXFi!z#Sl1DAQjD^>W62WICDjc^^^gx#i>bx$9Hg*XBFQ zcfPN~_YL2TzVG>d=li|y-@b0&kQ$jaM%FkHytKx$8Y^pTuTfUxQVl;tvZ1kIkYSSH z4Z}NzV}@T00e*e_jebFX$$p*u2Kx>18#UAK4Zp2^C;Tq?`T4io)5ekcsnrI zm}0aUrx{lpcNk9_eN6$TSW~)bs%eI4o@tfo15>f-JJT&w?VwgceS@lktU>*Q1_wHCvqGk$g(_hMx#!9oLP12{*p?Pb6GT_h8we~0fhJ9vk+kLajnIcIO zR@|x@&_I%wAsvHs7g9UYACN9XD$%W~%}5iG9!B~S(!Y^zMjF;olBVpvRrL(gsC}r1 zv<}i`NXX{(y8F(%+FDM0yYD8Ki+Fx2moqjY6t#49OskLfRN<1Eigi zT9EcZYDM}C(mbSjNMAxaAL$ZT_a_4467j?RQ3C^-u?W|ifdQN|gR5|GfJ;|DI3Imh zomVi@6h8>GT3%b^HO7DZ8BjCQ;sw<~@!^2_Xe0&5HhJd*a^2B%Xk%fS~DCB7y z6fx4aB9CTeV^C%)1gH9m)i}*TiN;=>M6H#`Ye45vE4-x_BpUewP%{e238>jh)G{MW zd<672ATc!WJ{cgL>MZI|0jkr4oB(}0@0LZq&L}TL;mu%~ z_j|RxmdLxPlj7+LGKdQGP3_BC+jk`ez!K_OuF z92K`UevA8EM?2#S&?Y32WNvTFV0zc6_D1T>!dz^z@mn2BbbaSA;YfUWJ zHLK7#9{&xut8%>&&+|LGiZ>cR(6f(Rql%25>v1>UJ?C=lGS0() z6XvS*iSYx*EUqJajNNo>nJc8k7^!1_yXt>xjAP8|>VD8TJ^)=Q{>s=5R>V$#%X3tD z0^Qs|N6L(iScc18W}L}tl~gKMg4&ry>hqEmim~a*@ip)g3OQvQ500}=8Iw7iSOZtZW#iAB)o~s9#n?j6&bZh$V_Xe(isEk= z-@(JhBRA0YDVO_(aV=*lt~YNRhv`^bm;0_5Uo+Pzy=kOB^2`yet~Vo0f9UWF$XBCH`|-4^du`JT_-|=SMRL*As*Z^c{vVcruUY^A diff --git a/imperative-shell/file-thread.sml b/imperative-shell/file-thread.sml index ee18b80..4b2ab21 100644 --- a/imperative-shell/file-thread.sml +++ b/imperative-shell/file-thread.sml @@ -12,8 +12,8 @@ struct val _ = case Mailbox.recv fileMailbox of SAVE_TRIANGLES triangles => () + | LOAD_TRIANGLES triangles => () | EXPORT_TRIANGLES triangles => () - | IMPORT_TRIANGLES => () in run fileMailbox end diff --git a/message-types/file-msg.sml b/message-types/file-msg.sml index 46deb3b..963f7ab 100644 --- a/message-types/file-msg.sml +++ b/message-types/file-msg.sml @@ -2,14 +2,14 @@ signature FILE_MESSAGE = sig datatype t = SAVE_TRIANGLES of AppType.triangle list + | LOAD_TRIANGLES | EXPORT_TRIANGLES of AppType.triangle list - | IMPORT_TRIANGLES end structure FileMessage :> FILE_MESSAGE = struct datatype t = SAVE_TRIANGLES of AppType.triangle list + | LOAD_TRIANGLES | EXPORT_TRIANGLES of AppType.triangle list - | IMPORT_TRIANGLES end