From 9621349e4dc9df4fcebc9d843914c5ac2234316c Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Thu, 25 Jan 2024 10:47:03 -0600 Subject: [PATCH] Add files via upload --- .../2024/cs522/CS522-Spring-2024-Maude-HW1.zip | Bin 0 -> 11352 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 teaching/2024/cs522/CS522-Spring-2024-Maude-HW1.zip diff --git a/teaching/2024/cs522/CS522-Spring-2024-Maude-HW1.zip b/teaching/2024/cs522/CS522-Spring-2024-Maude-HW1.zip new file mode 100644 index 0000000000000000000000000000000000000000..a7ecda8efe2c3ed77ad1a68e655103a3720aa770 GIT binary patch literal 11352 zcmb_?1yr2L)@?)MEK2qO9w8)b$a{ybIeWu? zjZIR1(-G!=^@8k zz?ea;A)lTneb`S22jj>Hq7QQPAvT~=x;;h$%~+wtNZIrl6?b!=Hf_4% z0KYJ-qEQWF0Efv9y?Fb=o^cQ{goaX`l=J>*_1U^vANkA8k~eL^egXQRl*CDlDAE{d zRiuJrM!IVv=z9`j5Hy*>oMn%*p0*bEu#Y4J(p#G34>VX5ncv7tB!fsz+VO52PmFJ! z?HRp*FU&k40!h<0e8Ro^Y0$$HguzFU;QCGKDPmMX0OT~7QXGY;0#vzTmIaqpG03HP z!k+n|0ICpA~2* z_%U%zscWuflDe!YB3QbL2Ad#)vhx`&ncP~8Rrfga=9M`jTf*Wo*MP)!_&_O9!i(T` ziYl^MWppFTb>V2y$x5GqHHwyiX-3M=%^Kq6_vz;%<=w_ccxZj^mcSWH$Yu#7g-N1K z_U>P%9FY_mC@y5BPtF6e5c6K+wIU&)jrNU&eO!GpXgxP4f&GFVcJ{tTIPF-? zI{XIPmwUt18K@y^1BJ9a^nyr`nI{iD)vW(+*;H{jXwV3|T+JrqS;ZpHgub=#*?5V2 z>M65YYH5rac5#xxMo9940r!(;UBYD(?wF!OJGavvtV(Afjk9fju4?%HhdZ9G$g)?6>0hUs9`T~KXytODZ$52mXv8R_aez3mJl>t2PD5*3 z{8rc8{XD&P9x(`ksz9$%nyAm;x(sl-gCJ`cB{~Q>8v}pYUrY_4%3f2=J<*I9rcm#R zj3Y2eUPa{rqTnwohRUKYNBbiZokODDwH63C{{Nl>SK`&`!LYDD5r5 z#qcYD5>Bs&QT()vs_!Y5l5=3ooAJ_2xO{_*5MqzyMSc#&shsR=lBXu{8?<^>mi@$j zhD?yk5CdCB+7 zBEUJ`l7+81azX)bXHEfGqE3I*ZWMH;q3!4COLUa8QQMRzPZaQHZb$>N#I`I z{pxzzkzN@fbqQ1mxXg2hRXZ9HmWW2vpQFLC=f`5Gl_r%o!1Z^m?viUTxSE3tOW9?}cVy`^o-tHDsZ1<{ za|scLHlhqwqdIVEtYpD#_8IcBXqO85Qmb-4vpa5ypboibLHE@NsS=wSn?}f%I)dGl zh2=K9KYPwFQu_Ri3k4>si86P|(1u~I*AYuE`|15%a>3pLX*opwC|%W!7=ld>`2umS zWZhIlGUAxxlk8g=Zsx)m4)ZLc32&1NZ-Y!Q)?UE&$CWbcIVk(ELedcP7!b_?l!h@l z7Gl`&%tKZPJZGSEde7vkQ(QW40ETdo zjDoqdqDJ{lv|9@pV`C!3{AF!zzZAdTJFZKXXzXzs`;doah=6>#^fK~qT5$Aua8KT zgP_DlZ&0uNe!XX99r-`F1cU zLm<&ttaQ@DCtr`t)=2kC)Gc|j5ql{S)%u`PKCo+61mF2DRwk0s7)hQ7@Ym~AIPJY# ztb(o8Z`;CqX_(M%1L^)brD`awIVfMALYK2Z#LhutAXQDefWnLdt?KZF`Yi{%_oSf4 zTlf>5G`}79DNx4cH`vvB|1`DRMM2aC1HK@Qey*-n9;~CRH}!$6IjP zeaJXgn+=<9k1aaumoK*KpX6YV8iZZy-ElajEEyUmFU+;6-$cnbq;2or75{suC=<$*9sMFl0Wu9uQ()-~?nZT=xk>gbo zF2YahB^XOc`B?A8YicdP+tPLK&ZNXN4G>j4QxsXe+C-E|2lbVs{jg2ZYd?uJx`wn` zDq=#!lx7xjZfNPmrWp^q+IW|bh!o57Bq77~3)ezyJAafVX*w7}OGv@cc!SZFE|)e0 zBSdFY=8KTNOgB9vQ~E+s^E%sK1_ys{qSTt?%pD6#d+VOU@F@=OF-6@JCee}nTO*%~ zNW2b=0JqsJBFNi@lK8Lj2V_L8os7LoTMy$7-)=&g&U)k4bhF1CIfpaSxo6s9BM;d= zU<_vl&F`vA9?D2RtA2OVFe+R={USxFm;~zzVchh&+EsH?A60<`IqsObtS>9g(1BtT z|A-i;wd*3|dE=WI&88)jac_=`*m18`2yF9tLmhl$2(#1WSA(y-xky}w`id&SlC(y` zul?tutjb484ef*vGjNV4PZki=hP8aO*nG8cIxinXemLIGd;PUai24}ad9v`j{KNOw>iAg6apbx zAH)>sbDV6^fksMFio&cCsGuXORGTuV$Cw9h)%x9&hVZgT46y~@iYHD|jgfv*I`Lyf zUU@2cjBeMc=vyzDAtL1&Qx)!LPQSuWUKz*xcybL^W-~dyQ4t#}g&F9rjp|#E2V>)V zJ?9mX^wROR`(|hFcx%nYg`ZLP<$~_&jn1N>l1X-Q@6{Cu*kj0XFGR+BO01mpb@Z}r zChE2rH>JY`aPDI;v-^$dwrL-|w=$7@WMz4OzUWhKGr6`JT~@_f0FhA$J)aFgNtf6R zF_MMAG(duDR*K})G-lWQ_=daKL&<2_H=Bi7B`E9iU|paQtZCV}t&kUnZ;NF^FgP%c z;_RxBNzqjR@X@y)16U#SrB+)uZLZ17<_uZF*nuH}H%S0pq?GJ+wDOJ7+%u=NRT^`* zongFuuMZ#blAO);wPZ-h5_BuYfJ| zn%}=}h;s3>VSsED3YA?^?nOCOI9X~o`W`E4i^ABKewIP#xmcxPnGTu2D5+pI3U|34 z+#Gu;y)FWIJY@VgSr|*9jA#4e-Om)cKe+GT`s)KlbXWv^HowRTKrbUEhQ8yook7$yuC#;?M6X6Of=T4{h!NQn9FI~KG8FK3c6%1V7D=QW( z)Wz+LvpZrP9F=lZ*z>VjP0lkt_EJ*DZwj_r@4kA*JF=+a~w8}(hm&N zSM*2b1-SQF;5;DE=y#8gCOn)uOZePz({({+a|`oJ`lBNVJ9F#%y}EAj-YzdETt5&| zG?sE~X(pDYiPukGVArh-pWQhe7JP~jzw#qb9eJUXbknbfEV%|8F5oSw&@e(E1)a-B ze_br~wLf^VUs^g}z|+Tkkx#zLv)w5z<3oOG~L8&gy1dN_pJ~)PvL`xpVRsF<(`NA{kF%+YA#b< z(X{L6r(6@`QS+j$`aWAqTn-Atjrlz5+4QTVw0j%P9#-Rg8+A$TSsfUS(8T~fN$rpj zN#SH;7+wJDN?V2%`Lb4>cpiA>hS@wS-+=9^@>L=H>!^2UGT!G2fEK3?&$4#U^RPY@ z7ex&NTLM(CQ~;SKAcVMK#&@!ZWgAyfo9QKEle3bRp^Zu9|yI5i4Uy z5i8nzh_m5>FItB5SOYp4E%GfJSgj^W$zN07CQ|q-oCzN7QXqJ=jgB~$khu6zR6^ZI zuT~EXwoC+)YZ?017oAIZt*2`uWr&KKG0#6=C~oyDARD*8 zH_GaJdIHTe%pa5<3Wy8TEri%%Dr-yRg3yM0zO!kL>%_CWm6Pl`7rr=Al_2hN=bs(E zeAunZ3n4oWaBPV$(^`;D82dRs8{LY4K z@-T07jW_r^YZYuTCYj!zyI$S%jg2mCZmi>8qP(7_RnsadwNwegfx`%0=SOuAIe)0s;J?z^~fJlhQRYp)^X`wEx`DH{)Uw z&6{B3+xm_EYK12fn$YR?u3?)t351Pjc1F4Gj-=5hAY{Y#GjM_Vh0$6I?9roN_{Fw1KrW!FgNkOAYi07et=^xa#%n zeOM>ViW|zadJguZHsY z?WdY%W@StN^I2{YYUzJH`1s}7U!G;4ee6MNV{c|+W(~6Zx31qsyMOOW{ZCzA{eh%! zX5!#z^m7b9)IWKbtLCQ=002BB0KoO%0ev6d|A78b2%Vxv&Hee%f)4!-8Cv4NMbeNB zaja3HP^h&Sp1u**dp=Fci|R#LsJc~GlTcJcpi5&f!p_XML@qp^di10zoQM)B8+J3( zvP?Y}CG{6+2_-N|yxxNsjOY?cX{y^gBrt7ct740lrSlTUyxGU&qD0kE3LuQ+Q!tF6 z?P9Lg<7jwKUJu<~xWs>vN00^Q?~YEpB^jatY}G^kg^z6lx>m8O(ap&8AUarRlN*hz zN5!IGF}!Y}rC!>iqH@Z*UXT0ri)|66F?5#C;~|R7_T|)6#msqBoY$sh+})si7t2-P z6}E9(uyR9}8JklKk2LOot_mn#rS%It_%?uoVB|lGD+a`tKiDzWogYCrxsW}fq zqy?WJMKMjO8M8aaB&%{k)DQ-tvOul4*~3j41SV17*cn+@Ywu?24G7KvweQZY(nZbl z#T(r=wQ#PItuFF6akMk-7wtLuD=WvQDQjDGSXBh|FatETZ_V0ZD()2x|x)&-@d z9K9YmUpGnQeMcyL3HRybkZG(-+9NR$S&gr{J%+*zMqJbnY{FAB407$KoF6|e z$ibhG(C=Mbw=mH2XfJ6}i(u0_*=)%cT`ny8k|1n$FzZ6s-ws{$N4u2U$DUYi8MpcG zWf`Hi^c7^1@G%p)Ek&gI^lM-+pUyTcuujiT{)pB5Ae|jI1sH5 zrN9SLf-gnIxbpb(@uYABO`zVt9%0KzHZaaTK#AV8aoKPu!>D$R5V7E>r<~~IlJ1*> z`i5lmaW5!%YIGMXr{I;M+0as{FS^ITtumNti$@^dl@Ri_Oc!}>xzrP zshZcMP5#R=(Im;ZxgSFyL=Scl@(*G#_aB1Q@WriJOXGL+8gzSAySY@62nrDxDPW$n zO&y=)L0EErrm|gzmnl50>M~AS<{8SJtdX#(7RY5(RZ=7hor~G5Ve*Sbnn2o*mOB-$ zi;K}1td6^x-1=%|?-rJtS}5T~yM1@n4djhg8tEZRE0gjsBim_@jd0YV_lRG?*~CU= z#m!$QhSVV^{~T_Pd&PYV`)4fvHC?g&Q!Fz6kw+X|ZH;IhTpx3Z)t?dgujKS2z`JW_ zt|1?D%E04W>3S0KS!*^-~=`n3LOW4`&Fhtm6jktavlOaX~94UR;b`LT-*&DgXGKP4S%} zNm?Y(det-M9R1DDQWa%~sblvESvS}_*+mfCnPy6+yEqFF4 zk>jf=k<(vGONd~j-cMup_R|NEu0nf^HBVOf+-g|4A1`w@9qhahnFkA?Rc#I>B{9X4hHF;@VMfTj z1VVbL0Q=UMM}0OxGQ60mm$LYgs!V}m>|O}c zL0d`m3Y-Q|DK=HSsiDM{Ucp&!4*t#g>Qe5xixBf*Yxg=lI7I(c@5}XgOmEb7a59P( zMQOG0%dyCufHtkX(FQ`%Y}_rLnsg+Zj|3j1wwoqb^UiD~xjB}*s+Pv>W~@XRA6}Xc zP@-HE`#H|G`@g$uHv-@8vqQr&EzoH~c;T!l_vUDuKvq0O7NxPKJPni997xpL(R0q- z_A~a)^Pi6X8mb5>1UnH;E&(raEZ`#{M1%Ix%;(0mu7U&T26Jz+V0z0=bX9X8gArkzsRCsu zKH8H2<@}bw#Qn7zz38bqmHrdpCw#0gHqXd*la<;TN#u#N$jOEvz9E-U*S>8VKZi+Q zB57@u$j%0gBeHB&ZVJFH*b1Wq@l|5s-TA*hQ!G#HRcXU{_waRN+AFM z68|mK_Z;yvM*n5vM~=u-(Y9FQd*VrdNocK$XNBLE4lYFqsUPI4sazKTD|E4pBXINeC3Tq3eTgu#Vuj3=VgxbE{d&}ie&xh6-gAiTt4jk_KB=N%fn*apu-xsIm5BqZ8^I-k0uc16t* zv9yV>eF>@mnq_V^Z=Tf2>5o}CE|P}mg)M5nwOg^!F#U$YT@-4l%`dD7 zM}M^Bd)=E2S&fj*QC=GQkv~qJd$JEoK~m;Opf&K7?z+R3R5oPu>*d?Ta?rrc*hvo(Txh+ zmQK=RSP;_`OJCX8ToNo)DxOi%(AFUcBSlLWkjaX}GH$vrbdv88|YGV0LT{Ns&IrABNzGmYB4%r|% zc1^K$gcj5kM~e)N=6k2cC0JnT+zZ+r=c{QMjGX{|pAjXn^x$p=1Hwsgpdm}@d&L1B z)#ZK3DS_szx(6Et+>SAO##Ey29=o@4f7w7qID3p&$zvs0!eqUm>$5uSlB$t1FxzNiI5*RG>J5 z-g)qd!?JW8cYauUCLv&D(5+4BhkpIMh`ch5dm+Jw8|bac+O=YB1`M=t|cflbSrgI(?+1lHf*n_P8=gLHYQit^d15yj>EN`&Y_HSPvB@#Pnanv5r&~x0Le$2r z3InI`y=U%TLCk(O1VM1F7!MDRW<2NT#q!v*_0GuNg&SlcU{>8pJ*JxtNeVBo_u_re zSuZM|tLYfQv|D)vZQjsuA@B1V^%(&y}Ya6ryuH2LX;t&mBD&^mPb+cC z|5L_P_-5Tjl@T#Zv+#gsUusi|W%gdg&g+CBtOMK~;@BOuC<9i2VtiEH>6~5h$gwng z$UWd!CkB=+v8X;e5gG^pJpIc8cW?wb8vSsXRkXZ?Kf{xNWyCww1RkZ%qD2Q#K*u>6 zg@GO+6uKQbEyz4IWTCV6p*5vPNVSNlzn^`%g^e|a-`<0Z$6tFAML@YW#u z0bSV3-~>bfnLBa_9SfU#P9I8WhN*5l3W~tC&48D0EnfEB)?j10s%?fQVBVnkkUWf& z@)L{!%S{?ZoLJtwU7oUW!5x(v#NkjnlG^elB=MFhK|xNC?nV<>!0@<2ffR(r1l1LldgS^<9VhT4T&trR3a}<+(I#gcy^23D}M=#cN_>Z zeaagGW^%DzA2m*lsI(u!iVLJ3s7qdt>`t3#mEQ=g9Y0g^iD4jv%RdjwT(!6EE_5Sr zd%Jd3!aI7LiDa_4M%TOH6z_ApX)>i|!`@%2u}zN5Y9?I*t(Y^{y5$;Drd;E}jyy*55 z<#AO$*0q0*008(qQSN77x4-oLi$wPm>hDClpHMab1ogXQ_b2e*i+10Ef3S4_-vNJ5 zOTS2XKiT+ut?H*GJFMTC{EdxYr|?Gt{CnlONE&aQ- z-wVZ`)(D9I!P