From c475a0634152014398ef7723272683cbe7cfe3c8 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Sun, 11 Aug 2024 15:02:04 +0100 Subject: [PATCH] fix minor bug with undo (was meant to call TriangleStage.secondToVector with an initial empty vector in one case, for drawing, but mistakenly used a non-empty vector as initial) --- dotscape | Bin 908216 -> 908216 bytes functional-core/app-update.sml | 3 ++- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/dotscape b/dotscape index 4a21257cf2ca8dc445f6fdb368c7f939b4579af4..d8bc98bcd7c023ead41a0bb257fa9811df7500f1 100755 GIT binary patch delta 39645 zcmeHwdsviJ*Y~~mARq#Q2f!1|fFPd5JdmaiScX<6Hkn!KfQQgZrGuhn3|gj^=A^l> z(grd`D-$~mni^P^nwnr5^^^^2W|k&p3Ig)|_C5DKb2E3(d%f@Xz2DV857&iz_WJF^ z+H0@1_TFpn!4l`d66e6}Q+b=)8f%X&_0LV4_`~B5oPBcjqjx=!|J$26yluN4VFpS3 zjDH|lP7Qu?B8^#XkBn^hgo0-Ip!x5YMdk*uTUMvUM7FzS4U_BCOl;c3EvvINXy7DY zv_OMK>Ckcwny5pW(c5pb4o%XaX*x7RgO1msb`6@PL(4R1jt;HXpi6bA$>ilZUx%h^ z&>|h0r$I|}Xt4%8phK%PXr&GfkM(kOUWcZ{M&|l$QRdeNRq4{?rZcP31OE*@?BCF% z{+`}VGWr0?@3rlG}&C;P|8Z<|TR%_6uI@HwJ z%X7XCP1m4BIy6s%mgvx84SGO_R%y^m9U30*Z^>UT0Lz6UU znhwp-pyPF@U4v%n&@v60qeH7T=u#bO>gMG+Ux%h^&>|h0r$I|}Xt4%8phK%PXr&Gf z@9yR5ybev#pfx%)TZ0B>>gHF2M(NOU4VtJ!Sr0E)$vQMigQn@w3=KM7huSr0mJTh` zpgB6UT7xdtp{AZ*p7V8Rx&|%Mp?Mm#M28k@&;vTON`qGF(C}VfuFmVw6b)LVL$ft# z;1u2bYS1VhTCPD8btvoYQK`FFVFcpG+l!h>Cik4TB1XXHRu5yTBSiNb!hlNFIVSv zXo?1{(V^KIG;q3Zel=*64lM_IWjL1)hgd>xvuL5p-~o(3(^p~V{XfDWzFpp`l_e2AB;^Exy|gVyNKYz-QirJG+38l^+a zHE5y^WkbDOCF{^64VtDyGc@RU9ctI0Svs^#gXZYaY7M$nhnj|YdCu3N=^C_1hvsR} z5*=EsK@aHADh*nxL&MEpuFmVw6b)LVL$ft#;0)dTYS1VhTCPD8btp^ma+Rz@lQd|W z4$aV@<8`QAgJ$W_G7XxeL#s9DQXOha_41srL(?^Akq*t%pd~uASc4wWp;a2RQip~Q z_i}Y!ho)%I8XcOgK?7&%=2wG8>Ckcwny5qBtzNE@b!d_XP1B(n8g#r4wQJBU9a^SA zb989623@K{O}BY@&ex&o8nj4<=4sFp9a^kG59rV;4O*!~!$)|zId^3!UarpT&=d_?qeHVbXy7Bd`PHCNI<#DaChAZ& z%F9)<4o%XaX*x7RgO1msb`6@PL(4R1jt;HXpi6bA=?*W?`8qURgBIz~JPlf+LyI-& z0UcVUK`V7=_?=#^&g;+=4O*i^vo&boqq_Okpiw%sT!SX+Pt7ILTq(RekXodzI zuS4w`G)sq;Y0w-UTCG8s>QK{YFVFcpG+l!h>Cik4TB1XXHRu5yTBSiNb!hnAUarpT z&=d_?qeHVbXy7c}{A$oB9a^qI6LlyXc zm?ULiB-5j;OSlox2VAOsKS-)|84O$Bp!*+XcZ6(xU$RINyCYR%4^O9Jkl5$cAd(R@ zau#}DOzUQ`hk0fk`Ojvt%t2jevlwo8n?}uMBSJ>K>8*Z_*3V{l@Pv2h0w6S#G=~jm zW_ofC+Z-}#qqpED>YB}-3R&*(l9o_$HtWqkbyj7wT-MgOTIy$wHSf$wFz@8x4jewb zgr0ny_2zN;wCQm+wykR=iU7_)F}27!3V8ypoS`94uxmUcjs`r*#@@fUSn>!c4xb^I z+F^cDwX|Nc82!w(R)48BPBPa{fn=CutB4WU2FX$gp-vV;eM7QLktWx~N`@DvNbK#; z3nYsuW2LGmSzM>M<&x#`SXREOu`$vLnOjpkm8kRaDVgT7)y+$PmMlW%BWTZDc3=EP(bYcM;%+6EzQ|zV?>ukxwo;I%@=8&qFQuI+SD3aZ;cI@Sdx)Cxx^^( zJ4_OPcoW&5W`l=6DH_jSl0E}17d=`% zJvLv+W{VydEM$GzCVF=v>jG^)v5zS#yX?1&e0r=-3pqPeJhnc z!)7;|5@)MeOtnw3I2xbJEG7x6D<(AX-wb0q9m!>b+YQG=tHUtbyu(N%lMS+Z79=g_ z4!X_emK8XUrn5HIhMl8Y8`xh$raZPe%*yYpvBHQQ&7|#;Im}MS@|c-rQurbk$JSBC zv#bj}xQK z&ykOC=W|6~;H}(wm!Zwp0{Y=O_7ZzRw9tjtEMbXkp8NAz@p+2-bHC^D`EK{;XT|5i z?$2L8&!WP=^J%t$8lH!<40jiKdMS!GP|^!%{;>G`i~DoOWh|_DYgGNy&~9ru^gZND6z7MLDOw$T~AV zC61P_U;|hom91c1_&ZBz))JOLVJlgb-+c5Wm!(@*ViLE~{VU;0x6+oCY%qURDH;3{ zOJ+fI+e_?mzaUSAuU}$m>`Usj3gWM)yH>GzNcOJ+bLWWJ**}oXO zm6okWnFJ?W!yaesAmy!PMs}IjzQUrp(T_fQh4oF!e??jYmzCt0Dp_XW^CS43jbCf3 zv@;v2V^Yn)$C1v(??U|AsNGuj5VTG-*70(feHdJa<6@(%^wT7%%{;gj7o1%#?OBTn zy+`eJ7O_m8(UvNRy&C@M8flGriqzi$?W-}g-C9Kp^JTyGZa&6whO*bmoc3DBQrRIn zr*>sL>F#O^e4X0Wr}XYRbVX{lNw2!Q+V?7($sSOtqhDj)+L=Oa70e*jN&!->HPl=y zwZP}al0Ad$ufdoKXy7r36=FpYs(Xdj zy$+?!U(ce}u4irjZMg$9ay`4dYi1OxKg((|(S0Enm`p4tg;-!tgEfTtYnh)^%dLW? zvh`TirgWk|*0Wx`Dx6|BKt`8o>;^UgMw#>mGqzDC!2FI|DidxrMvkMZ4NxhlsHT9i z$X(!O6iA|JZ(yuvXvG`sd2U)n(S@+<%QV2jCUNG;e&k@Ot)_nvS{X_pEg1vPRK-cu(o;bv3yY97rpgXwxHVE@(4y_o%s9A~#6QRcyv+jB0LB5laZwGT!(+%_>6q>r`AM^IB2F z9^kDyQ|~RT3RWM!6)cT#W{5;I`ZkMeJLCmv&7b$AZ29Yf)GgOKm}?uJ`m897etDaH z0wb>4hGtyOL+`M$3^H|RY3MfAiw&nox50X6sYL!B>&9AB&-b7T0W|SF)}8s$viBhN zB(=!Z_t=Q`gP)YvR7Kh<3dEX#$#Z1F&v%2L51?_|*&w$PV{+BW_=5_zvjV%O?scroZjZFN(b5Y#3{+ z@;JSOJ;N^2#gAo<{dZ#SAEc2x*^f{)g*a*#8^!X}+()}uDo+Ta>$_M2+e@a8vCWp< zhDPGI()}RA$K-v?9%kLus-e5tP+eIAP2A0f>&Ta=csCT_3;JO<7JDN_?_o2!E1H(? zVckL&mvLoWkr-Fm9@ahHHlO#ijWF+&{G@c-2x+HdH}7vddh5==43S%{J9&Shn5QXx zFB{H(ilA|O*=Uh&+6#9&b%Cl1-9BN%dbYyUL$j=qn+a}^!EXswn4S%-YiFydf~&{? zRuu}DVWPFD((X4_ZJxj_F-WsUB0bBhjrSovPnSMncZ5gr>WnuyP8{ai^Qp{U5J{s- zS+8!!09%C-ttY}OTE*u;=&(_;8-u0VE@7ZGGuH;7PGVOoEM*DYVWdMyu}!HiWmEba zv$(~GxtB2aF*)dQHhO#-I`9a`Ud>#a-&$&8#jfAFsC|v91fSBfGT76nbfS!Pi74!7 zt0=@!g%OF84h+p2Nv-xlnN0ySY9BfqPTBid=bPc!{o&Y!uY5}gK-IZ?R&86(EyG@C z)m6`PoEXftDfs=ZvpKVu#LtM1Jhw&=b9!s!pMa z`qvf|NA{$6gzi9b_E?m1$3*pAKUCO*G_?>^3JIV(pu) z5+0ov9)fqBrvj%Au|dtwzt1iEsMD7i#f1{ORK>c{(_fNBBc&gPTb%#AvWLZBgw~YOTZgeLzC=}r<(~NwIP4R0&ZG=Mx^}~|pas^4RH^(= zEIg&yu^vS;Mh87}2tIk^5!C!pZQ$GyHpssSBFkJ$(O*J5%h$SDeD)}cEmVtrezXaT z1HNLhA#cLq(Ri&03)pDdR~YyZPx-IlU`=yrWd(~-?c3(MVfj1=jN#~ADvsS@I5AWD zG03HvyCep`=@@o77l~EK!}Bl4UI5Oc91?NS{pIZTc&P|>3fnb{RP_87w{T1`3v}Dh zz$Ma}ZnVD~QraXpBPLDkRzTE?)o!*`utA|SU?-(wu|%WBy|lNA zb)fL$tTh`&@yFpbN2#S>KF<1f%4iF-Si)+`AYCj8J6+I1wYHh6jhJ(+|icL=Slk7i=I832bUIoSa3vMwpo_3sMqje39qwsH7m-c-YN^3sl zlWNRjr(^DEXE{@9T#b#}B^QnT23x=>l=ltm;D0*?;d)G{XC!qxhs|H^N`&2hdtBBqP=mg8E9ii4WgA-Xt*kg(zh$X9-d>}IZ`pm^ z?x{QXJ4mDlt^1C3#B_Z09ri5o6#K8g8P*`m`xiDgZD`BCaLjg5#lP4HUHf6w^?NbT zaP*Tg&o9zl-?JE9sXAKtJvKOB)0Xd9T=bjIa*Jc}btm(a%BSX7Yu@lP|53J>Th2nx z@$&8`mV$r4sk)R*Kd`v2!@m-XJpU4*t6$F_Z{FiFj&{s<9CH0?*Zu~(7ft~lEJ zBOBfJy+zWRQY-|}&SKYUx0^DO$pr&!NfTYns2X4fJ?Fyq>q<6Fa30k$1%6?*Tv4)qpw|^(u&m(B_=WKNpm(JtJ+JZuU!K_+o~_A)-9#tFL)$`bSbF(M zZ8G;s!>u#cxocCn51b;$ml(AbV|$z%%3lL3Vyo&tc~1Nt3V4+Ae#dDsbpg5;;ZLcLot|!b zTI}$>=d}3w?>K&zQS~3}CVKEPEIoi0iUdyoGK&eo0kJAaJs`R+v*h^FY;Iw0SAjzf zHh|!HAYunOO5IZMgzNw^I2P*1G2flyHwf#xwp;r$QA9 zrSd5dq1eF5lWq;N&!q6bpa-XNyaKt&M?Jg){d%_g!N_jQ{zt%JQWeY`9%Cq83|r7d_)nKB{Gt5a?=q9bqKNx$HV? z!FY^z`E<)KQ>S|urr9GUN;c%TB0^scmq!LVKo=ph~vlIYVMgvY=j1@ zxucCNg2#5HbB*jqr)osHuywjD%zgx>UX8MeAkiUWjK{GbXeZ;s!bdRv7%P!;{S=<9 z_cT~0Vg-Q`t&(ib?fyPZEdNHqN(1fPDTMQWt>Cs1KeogmO%!PwqkA~NtE)dOQRc)L zZ#Sq`X%4V|J+CQOvPcC?X?CP%7Ft~KyXmZ;|1`|)mwL@5K9?#CBn z92flf^j1?5Xc4hl2Mkn%_s*Iqvl+izJ>od}HFzQg(;6BhMXdcac1jyfRMCtN?up|g z^T*8-+<5^Ymw*s3^z&mig=jGrM^`l*oe@BT{P|7jc$PoE1IaFb9^EPfkr6e#Sb+W! z6}jNgM~FyVfGq8?0emtF?+DB(+|z;Qa|jYSA}KnU_X<^c^+%8>Gk_)p^Y%QUD@6zK zUafvgv{f`SO0|KVrCPs4sdi&5O$y>KMRnxWrEMjPd)iyuf1iuPpJW@$s96iX8e4zC znHXscJ|fy0h(2vf1X1uX;(x+J!rN zpHw@wKJEB(CsS$*vN}_45RdPa*$vBOCbJ8%l>g!u&%-b@k)J`GLinw@iaMLG)q7@r z0j`cz$CHW4I-LNsL`&xuF-#UBc!)B%_A&cui1IX|4ONIX1fx}Pp7#tF!7HmlatBG6 zxb6i8_7;J?ILK>wmMOUa5kPW<@Zg~1zqxA{;8Hh)_v*hNd6ffCtOG4diMUKfJj&EX zvKY{!P`+EyiWpBPx<8Z;ZeIFMgB;4S(fUwW2QC9cxiMHB<*)UYj&w1UN5vgLP_G4y z@G#bGOj9hxY*Jc$Gsae7fI8E5e?vRk6UGB5ttIavf*W&N^3kj}?Qh8k;)buGB{%j^ z{Xtc|_^>`A$OmU2Muixq zXH-)$st0f_2ETAj9PVbrTM0eOqvqi}xs5uWO7E;KqI<)+F${dcy^E5gb&bu=w{T0r8^9|GJMoS*kQ|ZZgtllylg|$(@LYRnZ z>VAl?V)mAI;t7=BiuZtY_P63U@fq%B)CsU1thaUHlTvwWA3)W?crn`fFpP2v7+15`LvhQPuMrRjq=mx}d5qsOo8`s`M*OYQqy+ zokRHqSavKdsVgifGm_S};k|f#0DTU;e`~a@D&c?E3_c@MTi!b41yq$_v{o!=MB%%z z>nf*=2yRqYJk@9I_{nXIkCVMEH>-iN()Yd7ItemyAs(V>>aD+RYKhX+?UWM1W7tb_ zAyw|?ZS|IZv_b$+%Ye`mvGls$uD6)bMJd@Mcn3B^2E!H5wgs~#qOXy(f${d@q8MXP zxioIBx76VZTVA?s;r3&=j1ek&nx2c~{ZtjTZS;=iEFA&TPN;lmw`(YkcY8!($gqg^ zQM_-+90<>b<3n-onmMH!ZE+fO+dCj{tzuvNxhP30iczR#! z?fnT_0i?e&HffC)v0@ae7Ht%(qfZ$13?59i;}NlsDjES>mNic6?94FYVXxDG_Pkqs zsTe^-D#`?w+x%g1$g74NrbsDPmXc~-wimtJbOtx7eVXuDtXeLEpODYF_Pkg0YK04- z^G%#1On&m~)VBjx$a`ph2i_YYLm{57>X4tUx17GFm>7&^BkUJ{Rh@VjZ2p=@^X~jrciXCZJ7(8ghEWC(#8Fm6 z^O#WSQTH-X`ba}Rb9>r=;4IH}S5j5qHnZLm0fweg^BCT}X9+F_MQFf`qh=}Gq?m$} z*q*G#XWygdaLPaxoTOI7@Xq4CLYR_j)1A+_=TDqb#lm#vYGY(yIuXOWaA^kJh~cp; zhD=7cuND=})_TilD1^A-VH^Tm$e=p3(uwt!?X=#=lhshK;{mT!)}xw;U$mfVBaciH zd@`&YViSFGhP37toB;EJ%(Vk-Qn}F;=7usv)5ly&z z?r*qD!VGA+J538?(QvNZuVCniR5*tha=qP#Lq06|x}eAID>w z8+W*s!bKC2#bYHg>^|zSZ>zUl{L5Qs6z(JuPW80W9{KN)??*@Cco+ZD$qoG+9q7_S zh~1dvhC-BvZ035)=YP=#BOjpJrX{0lcVSW2U5R2JH)qVjmJ zH?t+zTb9sm@mRjU#(v0g7xWT$L_#l17fE)TqL=D?@1$k%5X3%uS0wMtO{qdF?OSgd zkABrD{gRp|@L};07*c;6w}sl5!cU2-^gj&|Tfe|WsG>Vak0$V&;=h3AsH7L?NNX-@ zB=aEhzac-D_9wtZt#mN~93aMy!KlWT(#pL_zm-zD030oY>aDwKIlZggtKsD+wzGD4FUlhp2xdb|XJskf%j$ zDi0?IwV$6|=m(-zt#%XbPlSp8O4W(nsLo?)yL!ti^l8KmvU`c*zZO!@uITf)Tu^Pf zG@{;;gMwlNbCHS(Z!J3*bM0gFN>|KjCbCxHYjEc$`T7D+Vi~iJscD*}^PGriIs+}|v7uevpxq26+eeiA^u z40t>X!)*O2yjsN8K{TWX3bbre(|n`O@&T<7KphqL@Y+jhU7f{2KlI>{oX?`GJ>X}n z2)QXh61TP*CAzoU$vSTsMCE2+Dj(kpeAEL0K?2!xu6 zoyugm&P7z-6D(|P!h)l^&T==IdO>m4$UsY_YuBYZ%gty-)?{_4r5EcwXRcoKRxduB z)zUA$_)X1{FEvI^CR1;;v!3q46J>TslaZAERA;&Thg+>8P&MHu~G|0SjiX?TPzMuhzGu{GA-cBL&I!fx}Jzz*bdTW)? z!am@nk*fM~qdErj_jQ(y3MYfMbKaWvG#quCz0 z8P!2aU)NbO(F_!Ll~{A|ZYc?hpG3|3^0*M|bhjoMr#JK~B|M*rVRpH?I!U&pb(R6B zE;};ZmkURB4;)7xt?LU-w9Z!Q(;hU(X3KR|n>K~JJ=2&|ZaWGWY|s$gqOkFD!DJtU zyICoCy&6)CFxRRc80B>gvGmGK= zA4rEKL@PdsGtYiU^+CI7VSlW5h0_}>4t#$=+*N!ix36-pI+nHITJ&)r`cUUFhC&AL zKI$~7CG${H>w?TQaRBe9nrZ2~UY+ZOwzNCxazxzb)6M~yRM!yqq{8I!T8up;^Q4N| zyrs?(Og#tUw4v(%W^b$4VepcXE=<8#QsjCON-5jMI?FkMnl$^~UQL=d7S>sgQ+P7( z++L~VaCn>EkIGgq(eDF!glZ$kH@x^xnxBllal->N^d=sovMaq_XDOr;$^7mnX7d## z-OLBGjr8cve4sy{2TScNTMz%xr~c|X%LMxCX5K>^6cgsW6c-pm)M6K#c3F7(n^cLE zuJp1s0Bo1W(WzJ-%@_K#{bHRZmQD=91R-!KViY2Pxm2WSOb%$eSDi3B#$7vQ(d3#m zN*WCPzJ)RdV`6Ti=a6*m21ew9=4PIP@gAC=hi0Vm!Myblaq%J-w{i~@q0-EO9$L7E z=I@~elj#=Txapk{Xpk-1Y8TxCsnq-@>C1HK!Ml4ecq60Ulm#jQP{F z>lQ2^mnmb2cZIPofW)Zz5FQsUcG6~?ozx18Xb8yct0v{mbL%WPbq?W?%|v+@r3}Hg z^TQ@(q{ro{8v^_OlT1T_Qxn`gyUub8Jt}}_Wk5ZgyB?{tbp0Kwn&3X1XUnK(6FRfb z67f5oO5x&pVfrv0)9LQ%a+q1Z@Y$HvG_;&ZD~5sn!A-g@ol<9U(GSD;?fyT*VqNZz zc*F#XPVwrladMpn4$6!GZ>8K(>=oSS8I{QTNS}_5e1V;8B0cjZOwUEdDH`F9ud_TS zdP9ILg(tEX$&Oyw$4v^A-cx6>%AN7v7saU}I(D6=w@VK-9oA#$&DhP|8{YG3dXw&| zvvd=^8R{XWxUECD@#WH8%?5}I&v+cM&KjC+6?dez z_ZuwMK*^3Z^vh?ZX1|`J`NQQ+aKUi2H?T>k=HYdg@9E-jJ`X#SX}97WYYnHDZ{?fV zxAbTl;>O2l!fkv4+ok4C-o^*8dQxm)sU!IS`JyE@(0g>mQDP*&kG-ch zz(?WwW4WB`bgZR(*tLDxXldSFYE!n4l^c!n+lbmJooUA?K7bbn(S=c{lNm?@?%*@o zH&k#3f1Y(xn;Uf}MpZ|7cOqbZnv(98nH+EzUxHWGd+tKXwJLG?Xq0?Hl)Qt^kLGE3 zm9G>ZdpG}sM~tJP_e09ZX!;lg`%7rW7(Rw|rc-11AZ`ky_UQ=d$9ALv>3n5`2?Agc zKv^ihtOWs-4#K;-7W7>@@5`-z6grmo!dD-LjODNK?0eOAuaD)?-JZJ>7lR@s6pPD> zQHXtGccHeHG0NSVbu@54O1%fIIRa?zJ$!WdnP#?%MNk!WB~73c_wXsL9O3Q~mtf;++}`d*Hgss1zqY4{nu0hTAJwflUJb@^V@+D-4? z%kL4V?{TsmW5@Bncw?mG=8ofo@D!_f9Dj-3rxG*o;|q9ZTRL?gK%8CO6$g#yFXM68 zk@0*s40*`?a%+?B=Lr!7{%*--D3Y_rLI!^H>ixWsS8*CT0aAA1g`!A}&1vogzLmQ; z#Xi6b2UT&U?j*OIGDI3C-E7T-^bHUI)+K8ug0~ZJKLCH~z<%619WNLSbmIZup&g18 zVndfP6ORV~7sN7q#w=*Af%-nkALGVmwCO?qjS06Bg%c3MT_m2!O0_0jLg8wuHUs$r zw1$hQ4HL1nnYz;6iToL!KUSUKNt2+ki`-d{Zg*?6u(nd0Sqj5?{+R zn$gV3m>sJ>?U>9@AzF@QXCC{B@-k(Cb<5xb+Bp!0arm&m82K7Vn}&)@-!J+GE7 z%*13prsl3@^2gi7yD!HwP_+Qck?}H8$fzoi7ER%q+|h;3O@XDfp+~3UynqwXRJq@Z zseCItpyoDA`9ylkc}S==OU zI7VgRhT}S|%fb!EFe=ZITmK`A%g;ia!F~i+;#p{lda)(KxzG8@H$7~zpCwf?*Jkt* z+hS?!*%%r<1L4S4&R1se)~uC0FI<@yF}eWSH52m^+tvBqOqe>Jvxh&zhv8;D{Smq2 z#~$G?^K+x=nQ5|_Cp-!Rf#xoHlt0X#bzXXu`!hb%14qo}i+GAByK6QUzXZydBR7>W z2io3J%`FnS8rtK=PR+rfzgKgkvw83E?bzF_!Gjv4%kq$ZKr6G+IbO+M$mUaIcn$^) zc*Y}0KcGpE!RO{EZ8%Ro2HV7Aq0lGzT;{K~yy*!Z%ctV0`4fC5|L#uOJ4YVYxF`8d zp>ue(^C#d`>KocFe~_Y>|oWlxD1V->@X2nd61LTsXCiMC!YMKZ7p` zDOD@rCvY#Tm?Mqn_qRdDSRYYJ(Q?De=%?bBe6N)m20MgC;jI1r~TZs96 zox-2t19_E2ZD8gz|Fu?2ce=GYZ=|BtBeYuGg)TnBALdmFG$9v@-B34Qs%WLy8+BJ27dj=1bs9z6Y&=FS=IV6A^17xNTFbOSYwIavu{?Q4ZP*xA(sdgj9FE804j4}n z3}-W>Z^Xio$H#J07kV`hy0=BHqqb~qiMegsa^FSRBP>x{-n5AC!b1tApGAxLUOW&L zxhO?Dj13KzwRr1%oEyrmADMTiJLf;kzhLY~N?F2(b4Lg*S;B`7awWLGU17yUi*Hvr zpd8{%Y82nLXanyaip^6Pb_i{Nfhb?B7@dU!2i}o_QXO-9+Wjb7Q>Hxx>|9 z*@5@W$72oUq6aZ>(SukpU7aXmDeoI9T5}+lBNhkD?F6-Vi$YA{shHf4#_W=anPmiAR}9 zD>$Cc;Cr(x_&L7BL*BF!%jv!DtU3j*jSZHs1JNJU*gD<3^Cf5AOZ-PBlrGcG$F;A5 z1jMQ-R%Yght4wSuI097#u~cEla=wz1R?B=Xc^S(CHc#%{*wx@NSrs-?%>W%Yq8An-Q4*d!O0JBU|%F$hS)pdoPg&uQFgJoJ5Ixez~rsiGl*|J zSVwD?&#p9L9pB404VSxC9ieo0gC!o{I6t0hD0g(FL9b!~$Z1-{JhH)Z4d1F3MQ|4Q z<5m7Dx5m)Q*Z73yAC7fjS$;v)ukpn^$X!#FzHM-WWtpg%2``IVgeZFVb!@eMCbnJ{ zYV3Lp3*Sq1=jN{GcZXWx#CI}F;4WsFJf73>^;lF3I@8tlSh}k^(}WG!D+E%-20oqL zuU4G!1|KTI5bkDny#d+9MbL#eVA`>>dXS{I!&>( zp#TqOBIrf|w(Bpb;LC;BM8?O`u0p;D5iO;mNpC_0Cegt+v5A;WAsg{ZCsM^SH}dar zp)%wxY!S*RZ?oL7dBx{olfzaQSWw@ShyMc>QAX$ z5b^R5jkQsftn`O^%WE9sEo9|bmy6I;1KHn}dplGFnf#>Yx@|$jN7dYtE!eUd+tJ=F zu)IFhX)6Z3R0TI|#i<>SKDOeFG*u<`dK<(CDE)10ErzSa9dBb2Oloe>JJ@JoXL0l$ zK34be3~`uuarlU*1@H35yeJM7LM>jWhIet|n@jQAaK&IBN<-h2ZDYYU%*xZA?9pv} zlD94lRn)zchP(&oFv3%6(|h1Cp3c3;H*o)Lm9{it2QS2IDrofk@beb>;e9@vTW?p}pY;KB#1%_xKfrF~ zEMercR=@dM2uCe8_pT1k zULQf%I;|h2J)3_~WZH_@g}7qG1G#l=*Ax2jXLk)$ygOK_R2gyvxm>}e0#cS(M<8C!(D38UY;7hXhc(ij-wNMvFV(y z7E1VpuZ5Ras+{^noQVg~(9dLz8dQoCLZ~OZq!ip=qq0(&iPNR9z8}?GY8f_;`{i7? zGV!if^_E-f8zYAm(XKMS!F2IL z{C>KRr}w;&h6(e-Q%ub7&-g6QHRiYEZ<-xUDW77FKM_?h$9w4Dr+6k9r7}C|Gd?`z zbzW`TE?Ls>muQBqp>3aG+gK1z&+O+Bt*k+ac0>BsUheazt37SnkE4!>PVMJ&`OC?w zfaZP<&-g6u`W$}2;-Sv^0^Zr|$?p9ELhb6wwm$&0t(tYtJOG!8U{2m4S*j-wLVMP$ zxlxC(6vBhLvBE<Iy1QFz)pp6rdII9}Z8$*%m$hvy!& z=PU5sh1fB9z_G{pIM!Uvy?P8L@fVqn%h-iuJi1fLtxYv}|C@+13O#_zU>zyvPj$Wh zHd!@}3DvmO{rR#m{kA?;*U`apo)`+vD#b&)K=JZWc#m?P-MqD^233I)R`AVO?GzSL zkK>fog36EMyYW9d^S;K(yj5%nHc;4#z?WOy%o`*|moVuUlw_&%SRC@Uo^y~>Wcj**A$p)yob3ein zbflgxx%ts9n9~%<3;%CaEm!3gO>x?%>opC7Wj6Yt{83%(nBYv^5jq40iCF0k{?3p-O#`-(Qo)!mw?Efd6f%_6C zkTZN(J8>?;F<=X}j72zcI%4rm6{k{cKu?|F8zLOwQ5+xOboV$yr9Fk2lD(i4y?mD6 zCs#$aEvQx$i>j%fs{AK@RJ@}2NgnJUKk>nBEAd6>mXdtNjFZfJV*Si}syb2XIX)=D zBsSuh;y_F*#1%Rr|BQI0u0WfuL+--jp$oX3bdM^WZ^ z-q&3eq6ma2m>D52xjE<7^H}d8y^3Ej&ugjrg3R0W3w$}=zbm;`ze1~@r-EPkYw(H+ zanf&i*40eSZT$_FSWTu&+^9NqYsq!X9Ne`z+EUO(gtv_0H1;AN(B6SB6+6(m75AKu z0T9qW$?h10)I^0B5h=j>iB`nH=Mwa0shZnx2|YZa<}O`=tHZb5+$Bf+4s4W~Tl+h( zeroR0?>;W24RyK`65@y&CGdTg@G<23DZv2K@mH z-qu~O@DE^*sJYNTkxN%|3;x7F@Kr>2$&-Kbl}-PKM?ZS(3fiirjK5?azPkb|!{*DK zTl5zmmb%3G1q%5|Uuowj6^M0qpk06Q-XcgT%aG#*I%H@>kkWz3hhrb|sgQ91jc#Fx zY(CTdoE5RkZdb7#%T?RncNI>5qM93ZjmO1{N6dJOKMaqUB`m0t1P7xD%ek7%ZxS~& zGsMw{*ZAEG!7w+U2{n9ZpwBz!8oYCUv4#iBPm^o-FwL{R(=|M{`K-b2!;+0cYH{2< z+?}>n%O<|EmPdxe0MxgH1}Hh+0^bNQbaDPr3zg;5J!KQ>;10&Rvtv}hdFypc`9<0F zV~f|@?zp+>ve0>*f|+~S*ZE+bRLs%GzL)mb;hwASKzYfK@424$Dc*uuJ&)@Yt0^+i zr$`;8pa>83u)L(6Z)4w4(hYgO$2CBG@t5e_xlIkQz1P&-*c(3T`xNEffcnl=3!J-w zHRLWex4aQnIY`c_=UJQSx@9LGdkrgM_&XG|w~Y6FrK4dtRDL2iz|LN|Zn(guWM9EK};>8j3rRjp+w zo=wOxW2~Cm7pZP7azcv`7e0#baTs23TNd2VCyxosLJ+Y7RWvuaEo&SsNyG{#D3&!z zSQhe`vSq~v8SvH*L4+W~roS`L8$n7l!pZ%Y1{y7znbpFu$lVN9j!*D6uRdudbHjrT zy;Fpp3%kZ*BJ5hW^AQSnqXaj=MPxHoiEN7Qz`eDb$M7EuHY~vXU3g1*CPPCEz2Nng z+$53vOwDZzF^odwPr=%U8iwL&jL4~{Z0kF9iz+tQE<$E@Vmwls9Z^`(+K-O_+RB^B&!6=sNLcodfuZivLC<;ZZun{Cg( z+(>_kzej@KDx7Iuc)9ltu~vre?0~apE5lcv{KTg2qdo?60G`RE3GuUTeZKOZ(2Lt5|VSQ??tD*6OWhgK5G4;ImR~$U2 zjF8$aeMoBKhvT#Xzx}35Z7M-qk|MQfcLUHB3HPo-MUG3=C}` z>U6s^AlVSYt!OudsGQs;}`!@`nG^LI{bb>AYB#}wr>yUNIkY8 zi~6C|YdactY(v9Y--LwHi^T!4?ry&mXxI**Ben-jqSE&Q{AlJkA;I*-wtzOGTfep2 z1A5U=v}uS!H*Jdp9;V&J=t2Hx%m)EcH2yh$3k1j)3-pn+US*2kJ+O>BaX0!pN~B zppR%M*xl>p_XCX1RUZb-ZIzpPb;{LgS8Z2UUw!Lp-PMq5#%poclCG_&yXD%*Ym=_o zu04OP`dZDk$eQSyWi_j6sHUK1cg?|??`!I747GRG-cviF_K}*YwbN@Ku6?ogwc3wr z57vHNTUp!v`s3G^U0;2D{q@b)-@bnR`iQy*>!#PusT*~5LEY1JMRhysYU`wWNpjG0 z2Lj%M>GVGs&>fqZjDrCaS%>F8IT(Q7K<6h1oA06ACvLjdSQ0Nux1?Qbyo_|t9oHIr zBuG+^GuIj)NtC3i@6|M3=`Kl2kp}jVq<4^ZM0yNqAEZ~1rXh{mUelO`bPm!rNMA?# z0n(`_YZ~j3`h8Q=XzYn^9w6<9G#F`GPbpW5!iNVz=!kR!SABSqQ<=~<+SNNbSZf;9Nsn#M6mjYy{=?T0i6X&Ta1NG(V= zBDEqdLHY>N!$@sNT}WR?J{w_ycjvmIMt%M89lF(BNjb#9wRN?PSjf#V|I;X<8c8fw2pu4(Ly_QX#Zeh&vqQjQPJ1=>;#tqsau0WF`{il9it#>F+%``4hh)MrId zAS>!9kEFXu%qq z5ws6{%Jl>A_pS_z>A6%>LU8poO5|v0qCwHa8qlXw0cs9;5U_T@y8%4{ zny4;*MDb$^4c4<;Nf;NY$(JQ`+6#i0B>#ooGwA7;oI?}WxYMBL%?s_RGrtL-z zBszHl&_>EbOG5;t<>_@mV(?m?w*L+7GeM(r(S&dD-~Oh!1OfY&Ya?i6S{2l~rxp@D z-{MmoBw0EZ(6>_tsthRtlgPMN&K<@t^WFS{;ul_*^@X&;J7Bx&Nf{f&bip zaPGy_L;wC!3H-MN& zK<@t^WFS|BSpGo?7leF+d3T*Sh8Cp0?fsc7$yB5A*fupvoeV1wB1qy8Sz|~qf zRDm5H*z|>l^K1ondEj&{Y*FCEVzuu)Ev!Z|=Xl^^E!<40z1;&>Y2mgCeAxqsAJDL- zMj-p_Q2S2N!V{F*b3Aai7FJ`5+dXiB7M`xuuJOR-S{Q#AP5v>zulCIjYFHbhz%~z@ zq=ntv07)wKz!_Q?R|)Q)57fr(TG&lQ{L}-NY2gRezCCcY79OU+2RyLpkcM+yU&ud! zAF6$)Yhg9&n&yG?wD5SP_EHaAtcBYt@Bt58rG+OeaNtL3-{D_sSaU~jBx#HXPSL`* zE45d7;A}07zq}^@RC?e7EgY@DMyJ|$xfXWEQ*j~Tf!SdVYeSXV4iB89g##4W<$*J_ zFv8LDkFiAU+YUI_qzpJ;gnjX&j$ftQ6#8~0Rq0tu{(ujCjFNZx(36#XO;dWVWK;-Y zN8Ajk9Rw=$L?8O)FWu$LKJ-e3KHi63s?g{7(2Ha`b}LJLfK^HbhYvkRp_lm3tqT2^ z4?RtxpZB5nQRvc93`Fdf)DcH1K$HM9bV;H2@u8nTV;g`T6Ki~c2t z0<6*ig1%It7x~cVDD+Yv`gnz2=|eXw^vgc<#6!Vy|5D&rO-CH2R51F`YYw{0CHv4_ z3VnVQRzywNHQuw z*s-Pz1uFDJANu73?s8@ydZj`i??W$D=yQDNxkU=F)CX9l&>cSX9ED!uL$@mQV?OjW zg?`?L-p5VH{FgT!agQW z6fcR8~Uy;7l%_o0_6^f?}Sn(%XYQlJ1!J%F3ON})S^=s60##6zdk$6NGb(h-YdcL49w-M%@4*G`L8(HtHD2pu#V2E z&B6C^E+sn$Z4KVWSZC)iZwC+bWA8Xk+kn)Jc&K% z4BrzxjI$oj^iP6w8LM}emj?GX;H&NIv*53|$bT;SNp^nwMR0Bq*tx$VSiAx$s0jWY zFOBTS(P%!+_&T^ZvpCm%9sCf(-%VjBgCkiOwL2L+ueo}MwVT$R44#dFH2)^J3ukH0 zq;G?NWbCjr{9nNVe(V-!yB~w`N6+Uti(LYL#QE*%;FitUdFL-b2S3kQqBHwK@MZ%m za<;n^e7isT%(xP~8UL?K^S{vb*Up>&!tmKyr~R5>Kh0ToJ$N2x4(H7c!7-{`r zb92_u$$~?`;$i2EkP!SIhf|$9Lqi_&W2H`0>yS?%R;r2!`2-Kg3nD`%W0Wi^WFA8TjK1yVp3j$fMm1%L&t$VFva-5onnjq|028XBXc z6&jkPqs-{dH&sVdG&Dm;vov&!j@mUeM@P#vbdHWzYiNOvnoM4u*Xn4dh8F2)o`#m_ zXt9Qt>u9Bhp48Fsc&}FHbu=wLdO>}W(!M@al}qEBwyY`-`VaCJ|3Mz}&+=r+=mWaH z<5noiSH6-ZM7LIHs*a{;XoikvY3LXowQFdOj+SZY938FJ&;lJbwfE}0R!1{6v`9zu zG_*uVi#4=dM=Le-q>hGn@M?8lN7FR4Mn`isG|1Z2IJ&Pa)X*3mt9`h)zF|UUHfWijE+`lXp)YyPF}52bu>joGjuddL&xZ-T|;wpv`j&OI-0AYLD{~xcvr7h=XEqqLu+(2S3`p)=-O99V|27aLz8rrb@OVKs-r0y znxUgv8ahTt?HZb+qh%U8M@OqQv_MBq-Mu=m)zM51Ez;3E4K2~pVht_V(Mkr)hbm-Q#3R~N3%3^jE>qhG)G6vG<1%R zR%>X1j+%OUbzZBZnHpN8qj?%yqNBwcTCSs&8hTPk!+UwPI>f_aUt&V1DXpxTQ zX=sU#7Hep^j#g^uNgWOE>(%PKj;3j7jgIDOXwYO``)X*6j#hwP9>V1fd6EykyppAQ zX{wH93FNJsNDv_waXHMCquD>d|_j)o8PYIR;m(=@b3 zM{_kaC`Z@68XBXc6&jkPqim2@t5h9L(a;PX&C<{@I%?O@933sw&^bCGt5h9L(a;PX&C<{@I%?O@ z933sw&^bC9`h z)zF|vb?vL6F*;hIp-DQ*Zue@Hs-r0ynxUgv8ahTt?HZb+qh%U8M@OqQv_MBq8D5>& z>S(5h7U^i7hL-4Pv4)oGXr+dp)Y0%eyjq>t(KHRM(a~HD4SG!1z8V^%qZJyOq@!%O zSF2PVP0`Q{9nI3vF*<73&>S5t)6h9OTCJf4I%>MptMghN&D78$9nI6w5*;np&~hEE z)XD76y zj%H>?v&##oWICs0vRiHn$o_8OsH!~YdMn#w;F|)SqbIWa8B3;Zli1yGZcJizEZKQ| zGJAmwyl4s=X<)nPo5$EKrU^Zn#SvhxjgulS8t~Z~VBT%(Slc&?n|BYEq}+GO^f>Dn z?&`rTySP;QUWiodG8neLMh`sB?hKpyo@9|Ec4xZ89!;cTh}a@(5KaKyF%7v7p>@;P zqr9pU1x#o0%u1c6vpD|oRvJE?4GRm|&b;@PWgbjCiMZ>5#mvv(cot3$40gH64ka}6;&AYP_&AU0YgNBa|qghX|Zu~6K zmM7S#NXIe+0nS1&HOLkUdlIQ^qJdAcYrL`(^_j&+JuswL@>I~-9g+nVQ#;sCsxEz1 zvKal$wblTsHbFAiPC(5t$#y(Wu-7EZMpWu}QK_#>mI>1Mns~|Z;slAky{J&Kh%iQ~ zoW&B_on0bXo``1^%NrY`t*CQrdb<*}Jrdl|@f7=$yE@UqIc#{lkDoz42c(LfYCZ?N`AncLPqPW^9kRn| zXFKA~?#Tct;%Uw*Ch_q##%Ocxeo4A`Cxy>tFZMH+yMqizkSFq`3TqTsV98YmDH#Uz=mq#y6WK!F%w+>u5rsd)dWIRNOBVL5dF5b-RGmSY&#+eE&ux$_ z<6(7XNopx=wvBbrtY_E){!=Hq`V5w-`ZWvZ1bq+L~%^rQ2-o zx`O7h^plN6uq{+;gZjhBl*ir-%HsFeWT6w&$vkFe8>w|ZOJJ{1-a^)qCg!si>>HYu z&*ECXa=kJ7iF8ASEnc!)Crh=~X0#=reZbP`;f07XT*SDS&7*G?vN+h;-@?hJ$md{n ztLe7q5Tu1W(dEyvh=6|ejnSo?lAmRet{u;V-FhZk61RAl6fEP+3?*j+a3i);?><@T(3iQU6GJ2PKmgBd^DiB>FS zeOMJ8T8c*5M%7CpenzO!4V^D*8M1wcikBhf>4J5nh?iL^3#GeWW>3H=dl{Ydh+AXx zaiIvm7)vQO#`qk1Z3`{AGiIU|}e4d8iT>M(orQJ`!b&RX&I}7d{{4T(6KAG0A zM_7TH*w!_y4a=iX*RYq_eX4Lav20$MK&OeV5C3$Pw8}g|>g|AC)fghT7Si);QS|5O z{k3d7|9K(JUkyt-Mt#Nd$6n^^JkrVQ-6t=?u;kX2 zVYcJUAk|8NFy7|oTB#X6FO=*iTK5WSK8wm;!7NnSoT^@7!?@8CdHAa=o>w-bX>h|g z1=@~tDgU?_)Ln*%tyih=RkTnQRlmw^`H!IvQ|4>zZo2#`tZid+kpiX#KdF{mMfQhY z!yL3Jny$aby7H`>D0u_Qe~iX%U}O2be7XD)$6DAiZeBFM(DzV zDvYF-g_v;5>48G_IWNqkSclvS!!|;?n3itDto)=$dVM2S5qEgJTQ;%8Fi}%#EhW*Z zO>78H@Prt&nN35ds(3?I=;&q^%N+FkW?1UCvQRCr?J0L@c44?UOnGmhsy|R;U3r5I zVjEQ7s4c8N6jM^%wuPm$X{xW~oABMI`eqB?t*YPs(TiOsc|!;)tg!SL!A zs5Nl9h&{-!Bv9YCSS8y`t+zs_4CfT#Al2P(vxLaOFG{Qayf^KwzaLD0>sniLZNoF4 z6t$%4x7mJl%i?!X=2GYJci1S#3KcI6+s3-G+i2D{bj2B}Fl0MRW|7o;JM1BtCT(Z8 zV9v2`M@R0d2D!1F4Qn%Smb9v}z3q4*TF`+ObYx?QP8OeO+z!^?ZL}@C&G8q#wSzr` zQU?^Xg>YUdW?N8`DLa|5U1@jO&|F_OTGCod5!M5&q7uFGZv)$!9Z%DCveDk;g57;! z3VpK^W;TQxcCtsfD}W}y$7b_MiFD>Y)`w3>q^Mo&Lsm-1cfs2}kwV^Q+3ZVt{C!ao zwCsI0Eu`)VY1K7k<7!I*A7C_0pn)H-xI`+DR@wZe<&xCh{@V-QN);74;{xU*tX)jW zl>Y(dp@-B2$2wuD1vJ;mMulx^Fj#EzLN@Z^5IW^#J=p{bE5QgGtp=Y~!sfF-C}oeV zP4nF_j&YQ^oBb$i#4Q}PhYe>7Ro}inu!qUv#6M(-(7)4%SP9F+f~JOtQ5M9^NJ~Cs zkFqXm)TocxAYE90n)DGHq7z@H-5;UB57EybVP5V?iF+}mS#PElds%YWrZTRSD;niG zw3pq|!SOWjWgBMRE%`~Awqerl(vNs=+tH!B|29N#we9A;g(04$*89*8J0#M$eQcy~ zx9vk)Os4Sta_M{QXM?+-7%mu+71d_KD912XiIFZRS6Wrr&UU;K!$THWWpk;vvJGuO zl-8fHYV%lbiG!PS2i%WXwefzqrF3;ayED9qRp-6VvEVb;o=<1?!uB+(lyzkHEKx39 z-uwTtMzIEBpRu;w8cMOBv8b-|rc0|#CX8;v@Yi|NJk0AqXbzi+$Oj&4wldrVS7lmoBF`5V)l(~XwPS?Po#N~ zQtI}fu9r(~M;yw$iATc{+m&PZh@#ALxoKyXvyQ!!Y{vthV>M#h+$_{nD@@qVEAEn- z)+r_RGuQqEyP4d9j+V0?+-f9#h>gTRn0bixWHejHnbl#T6Ja9S3OH5iIsMA7)1Wv^x&cJ$IP( z4+z@DEmbAd^(Zt5*-c|VXTy1#C&1nQ7?}Hkdm-LneJto(2^9oocI&B3C=%B0$c6$e75&8`JkyW@Nmp8bDqs>^5+raxR zl2+Y9M=DV0B6m8Xb;P19jZ%)Yw*IdpKq+M&#{m1hC!-IJv;JXAVCsM?*OW#=~d>-AXVr_#qbIXEyR{at^@HOi$=I^gr zdW*9ks#8Mb#fA7xwhESXhi#U-RHed2_EK)sQe{6cty&}o&rI8KYkpkKY7CJpVadK( ze@=IOgDu<^%Ke7*Ld|XYMn1SX^bPB&o4H=0uoEcTswdUjo_hj;JJV|?*v-&(&j~hC z7iSE${uUEv4@&!%#UTB$-(o$qkd}PQ+6LSK9i=Cz`8n8h`M0p??w*uGPO|=fQ!qJD zX)-s`j8iNek>{R-0VU@M>yD#Nzp!R>>?BO%5>*SQlvoxK}jdQb=YSj6sQIru>cv>#XzSEf9<0<*Oe<;zdwB$RKD2j@|V@b&L^mlBSF8P*} z@;z%CY{1|;9xeI~-S<6<(}ilF=fB5N-~<(a&k|xkeh${O@VXNlh>D4GtTnIunXgnX z1ay$s3Go#119pNg>huFkXg=XfF-P*xaSn4a=t~;=18WoJTEctf1q`XRwKUgO zQRYcm!>vDHDU1#156pP8V%o0U8}}EY3%F!O#t>ES6Te2Ng4Qa-n~P&!lmc z?ukkCuRL1nLPK4p3Kuh~oz6tHE_Axzk&1&_SAu^fb0{>wlJ##s2b%LK{{|+a5Sy*gT!6^R5ip3gF z=|BI2m3}~lKf_9w)1jZyy%Xs7pHZnh@EVnYVe{pxOjlam<>)bD}h&UCFJdd^XW3=u(4k!L5`>(S4SI=Y0yM-cuh0sQs zzary`VVZ;r~6hE9RR>|jz?rC5pii<^#c{NwgU(HtvCCL)6&iSdl+UDTm@Y-z! z)bK0o7HnOMd07|*^}fJvXD_NcY`B2MPcrSfz_K6M^o(~b9fHqd!6*#L{0No@m=m%v z--~sZ6$ZkwMwZjVD6|k+Es(I)m?D-M<7*5Oe>(upS%q^w5ynchE@FY1OzSVQ72L3# zy8ec>QZfzu4g0WUI{X{E&@KT>kS92+_!uqt1UFPjV3~FT>jbeQ&xe-dp=H7|%raOWb#`B3gd?@g zKX9@(g(m$0Q#eMMSFi&c3Ny9(OFP64Y~8a>cVO+l_w2xq{()`80ZO^d?&ZPLXyl*r zEW710i}NqQ+VN?c@5JDJ{xX(?SRhujRxRga(wU7VY$-+{QMJ}-)ch}mnOF^rI7D~- z=^cd3-!xbr044npFC=8YXR}@GGoUmvn>>&1cPz z_3R8j#u8g>9VZ}`SUkxEw1(JY-DO_!v|MI+*ZIpcP0Re~cb+nj`y10$`4x2cM@7MV zQfKJQ?w3`^C^QXq;D^GS$o?n0zk{ThjxZZxKEiZ5`qY7q!v2!CrlRyBiN9EzP7+q_ z!sfIQ8?pWumFFq;qK9i1QSo1_V<+2qO>iDpBPR8W2=1 z&55o#-ctAWDfRBt+EQn;2rByTc<@3GSAja}_OZq~fb+>0^qrYD+uD zxLf+KtC-3sxsy=mo6@2NOAu??)JDp@##%)c{X?0*eugeoW8>zaLJ?%uKa|rj)_M3E z3t{~4M^$C7)?h|2rIEEbrY)sKZf9RD4#h0g?m7-&j86M?){OBXo+$h3uzbA5T!f{TJ>c&;5g$G*%zY>W{xKtERVqS4q)~ZJ8PUiHLzQB zV?35oH!v@^r9L-sR8*iQxb+4G(8pC@R3nzYnW}G5BUViVWuMseiOI8cLW9MHvp^e6 zh{5)<6X{YTyAl5<&Wz0d(q+-HGtl(vd6hU?`QqEgXh%z0b`+!Xk5tCEFvgLL&t!XK zUoRzX>%9$@hmkh=&vMBYY!C8D=Ov^gv(g}Y7mDP(S4)h^QXn>|aFc}FozsJy-_K zGmhE({8-IKbm5ISzfezdD+4G!fcHcKvjg~@DQX3EZm_5;>V$^IXtAFV{n&)V2=%b8 zP#o5^rz-(`7|yVAgXGE{8_35CWdivVaJmNZbkdo|Ub3P#0 z@lJz$HfN>6<~)JVnM_?7j|)|-#(1&b(w3^5^O$x&;UKLUy2*J~T^WR>4eZCHBzZQL zrq=K{y6q<3QyeDDy@`)x-RaOxyf2$YtOYlAR?;(9)?2>7wOTx4nz1;N579&^{g5&g z&BCdXnbO)IvBz5Q?mWIdZD_#<2P23LeRTXuI@f~72G78VA=*8k!oqoKgsSXGZ*}L< z1L54*0z@1)l`%;^ZrVvp!g*YW#W=zjeIXAM-&AO$ettyrc_JMN=eOX9zc!qAW3N*~ zOK$9L038O8ZHcs1`}z;Y z8~HH?6}ewZ(RM2;SJ>DK)Grca;&CdD;zo7O$-=@|z~Z0XeP$-Dj^t)_l5o7|ZN!IB z39d*Q6v<<;-4|)7le3z}^GX`S5YkMQQ5b-h%K_C&Hg2o8^dx%}M$&mrKhJExSKDIhzK2XV z^NuW>?zox9@tc|^BF(S2>_j4J7tyNVa;vcOW5ipg3C6&-ZBVDm(sinmf&9sBV%Nb z<#A!I$K0d7w?rc9WD1Kzx=!jB$J^@Gg+pnQpzX*W$J@78 za#j0g!dZ8ti8DOW->a^QYv5CHyknRvr=gb(HdYEtSWR6HvuJM2rr7pg%Qjl;Egw^+ z5mQoVQ{s5I-m;wvjXYJoAhbQ`t&Ufbi8z1`xkz2pc~pwngo=%(SloU)#k~Q|3o+OB zu}Kw1TU^Z$VV9^E5l3{ucp7Lz2dtnh6PIr*L_L~E*IS-M!Z6q!lB2VI^hMg2%zLWM z;kwtG|9Gkt@r&g6kxGpiGwUsPDvDkERj=5he^9JD?i96(9iY5;By5utR)a3!{3`K5_rb|$M}X`j<$5^5vFs9zFRBR|pONjz0eDi5==n$I~G@Feo?`p8PZkD%%{Pm_8sYB0v6hI_C7@4V!d>=iY%)6_T zxf*f`LW=y^4=K*g&RRc(=P|VK<dtud1x z@c$0~2$%~Bx!Z<|E9=3=CimplPVO#g?9|Z9MGar#4N!k~0oCP<)lhHwfquP3G_0F= z1|bOz`==QEqPF&?jXKMFWCvmOl-ZRV)kGb2b(YtuvNMn7Rgcs4&O9EE zh(v%SwG-FWS)NDQ;*`LFD@)NxU!j2pUB>zhx45ThQWwl?pEOPNuR6;kRMv&J!rQxV zx**rLn{Zooon<6-=!*GcwG3`jax1-5XGukFvZbrVbNpWC*-CYxx4QBn>^lA4mG|`T zdkL099l9Z%S1Gd_@)^-YdB@LnmOrkzjV=;lKaIr}TEcXM^#h&-zrBd|cH=|HY~=o) zeOr|`vkF8l4KeSYAW63jo7;e;4R2P819?%;*DI+_FWy(x(RIcf%}IIP(FD>s+LprO z)DXt+>nxiTUHa3h?)(uv)k{mkprakTKA}k|Ji(vuXuw{m%Q?)=`zWoacLDACs?L&y zRAAZ5#dP#I{hWf4rw4`g;0evmlifxnO>XE_YNY1kJbQ&4U$uSf(K<_S#J|>7+$msk z#@sgwLrXrr)`PbVHcwX)pfaR~MT<6XQ@DE|yZem0hqa(~JrU>uIZ&$47?!F8s;x#H zMwx5X@#SxHc4Lfp)ZnyEB+_3_M72um$92Ngd&02Zrq;dwd8DfQq3KAqhi3JHAuu^5 zb)YhTRA<=?6|@6YHvP~GS^i3_w|7@z-d$&T2?52>@q*$O(7@i99+T_qmiQ8WU&<9M?VqU;3tSj##G)~?Eup2URXl& zQn4Vv@u1vAR1ICP)L9DYR4Tu_NuM}Iz5DS2>)@Cm^%GyeXcLKfb0tl?~vn2F9sK zGI&rMRc7TLS)?j62YF;IDEwC5s#`M^m3mVTfXsbI<)OG-Rx;B7k z4|gl4ml2?OX9RH1=aCnyo}qoWVm_#*%3Hk?hIwwCWfg@Dp2_mju6&*HMo!b?+)iX449#wBl7wSI zo#jWW9L#U`KZnkVtDZr;Esq{c%hJ7j6={5(We-)RA)jyE`TUIwGNW>$J=`asqtswV zK9yuj)70pgI?Hn+ADnxo@uYwkk(o8g-QhlJ64G&Roduf=ky%&j0xja#Ycl)ek*0-u z;xi0;$?oIxMNQIiji|G95;+>_R61sl?!<+voKa`-6Z0!>#&CYP!m-D{ zkGMeWfF0FO2LG+{ZP|Mb7Hg1X$He&gbCUnXgEVglhDGzkb?+N#?{=)JONVejmf9qD zLr^(}P<73%}s_*n|yboJP;lucgEMFDw z8-`j4qLAD96%5cyyx0sriiN4Z6&cuf|4!9Nvv=uD?rVr|8!eBvks?ZQCtVmX*%=PL z#JkdLZaW^27gRh++(}Bi84klL18LYDypO!`jSuo}C9%D@gWu0~$O+?EJYYC(Bwkc~ z>xbhUsttWGocH0`fplp&AI_@`)c;OCm7SzF?&OPcyC_sb%#kBduzD&S$?v3NBX|Zs zJDLXFhL$L${&(?3xLzr{i!bKnkxm_n2(v_lmHZ)(boAZ)3XdL5XGY0Ur{04z_}yf` zhu;H5s_x>rlP`drb`+#5x1RTIk^?oP})5^_$%?nPoo1I@jc zj|@*}hWlO^j=CN1NT=@Q6IxpF7T$qj*$5==K#XxT(t?4s4b8XkvE1ZGr!9OKxB5~1 zeLRu7n$d8$;hX%>TB1c-xi|NijqgLOy;OW3zn2$T)S5^f4HZ^;ymLqM{_Ht=e>8uY zkMT$+-_PgrssyUK9~Bkv5f2)}SKz5m#TY(a9NIh}*Fp9JJTa;gWf7H^rBt3Z9*T$1 zh6nh@Sd+iP65Vx?CEONLKPxKO5l-XAq7hu-Go-sQx zJz2AHGdmWiH5gePSZIqcxoiU4goSt3WV2jXMzF#v$(}V8=e5BU`w&LgVCwS_pUJHu zwDlqWZ5l3!HjV|&7tciz8ka=4;;GGozYr-_3O`~O#vAN~(;y!Q`AoP|&9&lyJ}Z$9 zJj~~#+og?j7kwN|Z=vejGY$nYhSG^~d<`!Qp=smMOpa#s!FYa#mC$M{I`=sW%aWsZ z&EkDpTk)RP5x{D!%bLFDz2Kae#RC~G7M0LjvUv|2nk&BR*|>U&q-hg)6fX>?MH6^7 zcNyuz1ayx`%AJV4Kt1J6lJhw+k#EJFz2e(AiOY`&k50l}+-s_I)MP#_;Ltc&vB`OG zGJlYT;2E#$SwHcNmu|`7CUJ)`G6#1Ub@W;e@5{|&sd<*%ude1`s7#{RDLlHJIM#jM zPd@Wx3;itVqQ<(4MXt1UVh1`rpLe9Eryy1<=ejA_1htf_pQCz3^~2C{Pq%L>kLB5k z&NEX{v3Qmi`4}I}BkopnoBbGH!G9U4dXpbVe}I)PdYnJX3Y=FS=K+jA>cMTM^L(D} z@$Q?BQK#cbx-m!AJb4C8yM@QQ2wql8Wi#YjtD1qr{-F9sejkm*l~% zrxm%#9N_7tDSU9IVcaE)zf+8n-&U7&_Ja^Yg1=7a^n2T$V=c&kS^7sgcCk^0Pq zfj_HCPt1j#JgEA{KEsDC$V$hP-`40T=$2Wd(Q-I+a-bVJ4xn42b6L^b#j{^4x+^-D zU36J%ANSpA6o%D8@WNQc6+9mC5-~Dj>~bVawfnPKKbMH#19Fb*QC!J5vf*N+u#OVl z-%N4Oa{uIwM)YKH2EP&SgVPac7=|14UdM2$wh%+DgLAuM6l7R3Jj;*rs^MzY4w}a& z2=g|lxy}3SdAzkS?}PKu;;&KUe3*BYMGZX-MyoMzX@uLn^X^d0dzjX|SMaPT8n*ye zHrSnAYo&Fh_#2kJcntj2MqVK%hsr3bLNLsEU2JlTjI^Qh5qYu=(grGaOOM;Ib9W!(PJj z>B9>tbB zpMRPE$mB-0^U*x3Bki+eg6cpg?3hzurm~fCf-kJVaQ%?#8@&=5^izFREAiC8sQQMj z!X@AsnzRbbuIsdSl^p$y5cZ&kRd}LsTouk=jhjnY%(m71I(G#*x30lt!s~;aX9%M# zcZE>YIvyM4z~aFnYJ8+-GBVNdb+DEp6}nSG>Z<27fTheN9+Sf4_oPAI;>5o^~D3U|Av}Vl67p z=37(ot609APp5sWLeV6RBdW8WJX6W&yP$y=}qD4^%JzzS!p!b@8)cRfO# z-bB0%Rk-C%tXDswZ-lU&ER0aPVCfI_mRIm*@2ichq6JMVLQ*#<4{I+hv5ywVe2DIQ8;m6aVMVo5Dx-bHEKQR>^(KwGy%!Fal`9Rp3^AR4z@Zu6}> z#IhRqWn6rFOv&_Ts@#E0_fv2&D)tz$_vB0$74w~<82xt&J4v8%J23=IQEB{p=tK8W z<$G8+XHn)ZIm*mkun$KBt>1+e!Os-_zAWwWK05gqs&CEvn3Zz73b!- z+OYfKefBxrr?ywVBDxXNgIF#*BAq=xfStA5FkHL+{j4Z{D^3%{r5#>bPeO1EeP<_MpaQ8PB<59WlE@&pby9YM(s2ZrvhnUGms=j3(qC$G8 zz8fFHKHI9ku^++Wv9xk$y!9jQ{qC%oUBrUL5lJ^bLJ!7u=3a5w;NAe6d(~U+Ci^}d zHoUW!5A}TGwrQ+n>b#Gq;yHzgimtL~A5RZoIIL*}-%qFZVWIbk8Yp=`UxN``iBh#6 z`o>ecQaOP^rMO4GN%g%@3RXjDpUCW7Df*#H^$jb-QthDZ3s-b@wXC-ct#6DTe3|x@ z@eSCOrF_g=h2_2}H}G=Nz%6Os0e1t7rwF2fbCd@D>;TVfeK7+q=7*;nXyEhsEH^e9 zc(~JRapNy+WZ;jA436N{Y`bKkcV^=R z<>V*4C^<`fsT+I3>}2(C86iy00awm)Kec}{P=bJp<{-<#|F~j2x_>Q09-M!xLF^d^I-aX%A8#^(H zPJa*6I6)O>o&G}nb83G+>*cn+wX z07lhWCWxzHs&>IjDrBhcUd$17mb(G{aB%({zOVWEv$Vbv7j*%|t9WwqPl>kU?XmW6 zkH44D9_#-Eqf~nq`+(u zvCG@lotFJ3Tlv+W`GCl0S#{w}lKdUy1j)P?RkGIo!!E&!uvSA7 z@NK+=1ZSzfE0-|Vj8}cb{{XvF^{xK{thegB@`umJ6G^7a*dDg%N@p(1^}gsbhMp@_ zTrKBw<1)s(Z&lyaYFI0dBi-zHH5gu_xP61JfEB2|Emy!ESA8x2gm0AUoBtI8neUgW~}FIAw4JQ1h$k**FL6dX>-SHczStuVQa8&f^_lxzCZ(Q%hUfVJIdgTYu~pVucH`lKY+#sn^#(>Tu#V17 zL57T9nM+b|^AC-aBW;QeAyHmr|vmbvrX@5&usen)=HPQXk-Q8bS zYM7$ra9OF*p$2(4m>p`ED{j?7g&k1KFhf_I5h=cG;rmqe?F=&v$8nv)Vw)QViEry7 zp1M1?zEf*yfp=538MaYJ$ll!07AyaEn;Saf<-#}34TIT4HFBSu4CxrEm890+WJt!P zqT)Mulc6g&1vsNx7-CuL-&QEwKEENg5|ef{JhT6;27_cjO?QPGHsR4nb-1AwZsPn~ z8t_+5oGC30U$*lT`vIq4cY`^w-PZ+;R0(S_*7I5ilip7=+D2J9_J*Y`>_;f8FJg_R zrF{)C56v*xr(bQPKk>KZT*AES(`#J~jk{i0(n!J|hXgKS^Ez>u6tUzHDZ&q?Xuxmp z$x_5A$QGwb5vp=W@d&ixnX;l%!}t@&bESwQPL^tj=B=Y%z?g%-S66A^$p+2m%aqdJ z&?@ztCE_`>wA|D^$$nv!6d`}MCfUo>&&!kS7iTE)(j@yGkjEJf-z=Wf-+*5~{QBcJ zz&WRX;QA*hd0SxAn(cvpWZM=PM2>Cv^xTfX2vrnCgSH2T(2n;2cWn!7L0@bSY_3LX zL9XJ!D4g$nxjis}Zis;A{X@h2&;$|{ZV&82Bew*6#?6A~QZA|k-Te1ATA0-B5U6Rwd@FdNJMB)Gj;{Gp$pJcc>SpUbXbVUEEJ?@nLfIH96=5^p3mixLWcVI3Xt5J2Id%r# zDrgM7vlIWc*bbF0e;wvWGu{t0l4Dn3k_Z>0Xf5>rZ5QI&icusv|Kh-|G#2$i$94tw za%bjEr2f6Y&d%lU2hMJ}VCdCJS0A~We|7cMH?KBaz3E!~wGP*MURzo>=-Qpvtk?3d zExGpRwd>bf*BEPFtXWaBu4YrszM9W#&eYtf@vj|OdtdECwbN=Q*XGndUc0RJwc3)} z&udTAp04e3eb)6CudlxT`t`T2zk9v@dPd#2x}3V1btA4mTQ|S1sBULnZJksvNe+6x zJP?1ziFzLjyah|2tV4khvzr(1KNN`HAm{!=!Fy@JV?D1mmUNJ$UK!UKFT>5b^IBu) zL`h0Id#&-YBuTPvuW9`27D;*zZct}QDuR16+%MpEhkF@r2Hc1pHH|rNAA`FJ?pnCJ z;95`AG}gnFzO89Ac9A4MxV_*8!OiF*Es!Gc;UNfO;Ld=1Gu-Fkc89weZZEhca8uzP zgF6)NPjGYK*1&xhZfI9YS_Rh#w-l}!?)PvlaHW$_3~mJ6XW$u@_%3Tx^jjh*`MIn80uu--sWPpFK4%Zq>oosPP9AlYIQ$a{u#&$Ue zE(uv|7&viZO=EkcCw^Ms_lqD&deTScg6uhsECS*Ff@~GBr6JJ<$HE%wb}=N9x-Sh0 z!j(h6r6ISlV>D?g^822iUm9{d4n~hG4M|`p@uverS`93JtELe!q!o^)?pqcT*X21)2%*)p2=SywCK41mtb*K1g@`$D46wGq9|7e+ zCZdZU5&W1Ui;*R0LbyLc_83(oSDgKZzZ}x4lg%fk&dp#Xnv_H=vykDBB!a^n@WSyy_!c4%sT7!fX~YDn=5WUh)b41(0Y~IG$u( z@I34MeR;@)!=C>ic!csl0jvKb@G9q&2b(S63)KJo_g``sNdHpCO1>DdR0Y)k_V)kO zRsWyb|CWpVrT4qb|1BF>@NZ?T+A5pN)gR`_aN5RKD*sjG7C^%+^ns=EN&sDJ1gR8Z;xq=-Y zZ2C;2d9H$89-OJg76m62t9j>Xv3im@!-I>p*k6gg!-FfeI8wovJvh8vqndgG*?p&) zcbXQDRbtQZ;9MC=|2d8Lppn_c87edPBjewU9tRq@v}l`oKtilD_2w*qPgL5e)dM}GNp zcQ~_;{G=iu<0CIsH6!}RXxml54_K_zY4wdtlg1&58;ucB-qmR7ikULzekKCom@9~kBEAkv4`3^;H z`*K0kjMpk)txp7-BH!U7&r#&%KJt4MxywhMs>o|pxx4(5WK=+lV@(wbQshZK^2_D! zaAqI*Nku-!M_#JPXZXk$6e*y<2P{|Q4j=g(MPA|~w<_{uKJpAje%?pk-7QD?E1H%# zMu`yPBbO9;cOUur&)o4deB{Rzxz$HrqR8jSa^$aeKZgRA`$Q;ELYh4@_T&b<%&GVN4^7c+5T)kV675i zt&iNM$anb2a};^GkNh4*?(&hRD)O4+O8-}zz^H&0Up1|XAVr?!BftEqJDk}^eo~Q- z@sXD*@);g^h8XAYXhH!69^jTQSL6;K`5Z-F;*nF;SIxTO+ZW+qW5(|1jxFKFS`thC zEM=kBkJ1DdZ-&HA#@BB3)j2nsa)I%6r^?e|(fDi5g>qU76={hdHE=(w5cplUREkkF zQt`XQzG)WyK&IkfuFU!>ZmWFQp~zb+{*ylb8Xv!Lw_D{*{0AUdJ*d%g6tU`G>*GJ> zfNx#si zm_)39=y(?D%<3N+_aOVinYTLhDFgf7S-UnAU$(#OWa~qJ3}Z3Q$~Qyr=e)kJv;Wr6 zZ47^M{MWZb`}(mWr)fv%0zbUsDBOiqM>wB;KeTTkuP>sVABB!%W1Qi8LkDyGr;VBW zLl-bs!#-#hkdiyQU+?M8LCIlri~kqdIVvLn diff --git a/functional-core/app-update.sml b/functional-core/app-update.sml index 7fc7ac4..fdac184 100644 --- a/functional-core/app-update.sml +++ b/functional-core/app-update.sml @@ -151,8 +151,9 @@ struct AppWith.undo (model, triangleStage, trianglesTl, (x3, y3)) val newTriangleVec = Triangles.toVector model + val emptyVec : Real32.real vector = Vector.fromList [] val drawVec = TriangleStage.secondToVector - (x1, y1, x2, y2, newTriangleVec, model) + (x1, y1, x2, y2, emptyVec, model) val drawMsg = DRAW_TRIANGLES_AND_BUTTONS {triangles = newTriangleVec, buttons = drawVec}