From 9dcb0244b878741b13a0ffd2f1c813cee5eb79c9 Mon Sep 17 00:00:00 2001
From: Spencer Smith <smiths@mcmaster.ca>
Date: Thu, 22 Mar 2018 07:01:21 -0400
Subject: [PATCH] A3 Correction of PathT::len

---
 Assignments/A3/A3Soln/A3P1_Spec.pdf | Bin 118359 -> 118356 bytes
 Assignments/A3/A3Soln/A3P1_Spec.tex |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/Assignments/A3/A3Soln/A3P1_Spec.pdf b/Assignments/A3/A3Soln/A3P1_Spec.pdf
index 2f8c51da14b7c4c17344bfc960445fb060119ee4..e4d059b544a8a43bbf5ab0443b92278abfbc7943 100644
GIT binary patch
delta 3203
zcmV-}41Dv~oCnmL2aqHJF(8wXCn%9l5P$OP*a2<O0V{?kz%aBuxVDlQv#r37bs6^K
zM~ZgZ02z7`MST>>j}#@@j!Cv!$p5ULH;YfVDrQ=WIMxx{Y?+Eep_OK_j6|kWwkg>o
zzwY~L*EY5dbj*if8A{E=D_Xw=I^lU2EESz7uBMaqAy@+57S)qfrpSlNA*v0YHxysM
zZNiihp@}uRO=FQ}DO-k-Fqx6@8Gm&uq%j2lns)`pvL_p@uO>mN^v$IbSrmDfOBHJ&
zrD98CK$*}jo4p0INb<wjVf-m~f#N*|J{`C%t;4?RQG!#q9nkY@0PwuCq%AFyMp*mX
zc16`sCu9dVxEVRSs6Zea#q+i#Sk)YA>&Z_%#h}Uwf&nJnb--+U3J&R6s((a8Q3k6K
z#>AA`;8Tke-jm(?!k~E^^R4R$lGC!XZrA09eO1u@u0@36&B-R=>tjFIhU6z1$<^H&
z79~it0W=W>o6>p5#rQ58jA!pWeLV$%abgm33O}Oo3x_-mm_sTr=70syLjH>3PK}Uc
z{I#lUvUwpB+7KJ4&3hjoh<}tm2uG}>8>ih_0p`p>PZa_egYAc^-9gGx76VCV;h)&|
zUZ5d+>MIBxxH+o;+~4NI*yS}Ly~nY^U|z_ko9;lOsi}>A-_$DALZ>M>_fGFGHGV4M
z(98%d6<t}iMLm|5!uVr5_vT4bLE$bK9g->5;ru}1VYR?!3q=@*=YRP=`j@1Wgdg&5
z=uu38gnS_75mR#`satDHQV)(+qy@`{r&UWj|FTfg<lRp+pN(E{b0itMWUf?yg`6e4
zt_VGcP|<6{jcY9w&8Q5E=Iwj?%Y%IlJmkX{1rM>I#xBR&PBWpNTHTit_S>;7u*%c%
zX-b^;u`RKOl;l5xR7rb!5L4vSNEqh{0*+_#14r|WIlZ2Xt!b&&O$CF#-BAl%dSN}X
z6-NB;di^}L!}*WGv<^jzqd7E6gvs=F)fxC^v-k&+AgzzHPy;|D0W_15Cn|qikJCmJ
ze&1i=zBy_$%>A+mAr%2CLX@(RcnJFt67Q~2)>&ew(5gSaXFQH?87EF~DTsZ5Op=+C
zb7sEto$rhn2iE}(o}b~?>#viu2hSJ_2th^&8cePNZ4hTXkb)!1RWMlu)9@W8YIHey
zQLcONjHvn|7-~k~t9<%ulih!9vh!jE4oI-J%k1FI^Rr+&W?F{RH&M1(C+TQR84k0X
z2nN)IadzVd%Q)G7l(^S&4y++zG$P^0O_a<dG#Ycv!nZfGtXR-CdK;%{oLm>H@8DI1
z(fqMn_s_+}Wh*#_>%lQY5!SpGot?h31qQZ2Zzr8UvU7qlw=*aW#)N+(&ZYbEC4@G4
zhXr<aTE8X`Ri&NO_frB1Qo1ws8bK5W#f;czgCS$scE;sF8|Qu-wHax)&TLHZkNC_{
zg_tti*$?3erSgYIFj7K)Bk@(BUdK@~0^sb8l4&H3`0k=CXDp*+8{Rg=dR{b`VoWqa
zT$o@?Ibu|w#1+x!d31l5#j9iwU2w?d>GLRw*0T&Uni1tv+YZY0?rnV4`aVt;(dS~A
z+E*PWE1-_djpL*>KaDC<VYCl9z#eE>3&*#|6a%TsUgXfl3ml0ZFf`8t60D+ycbE#x
zb2|Lsvql6moU~Y`X|BOCADpcU_O19}2%l68nZ}DK-?yievyXpgq&QAu7?Roq5)(wJ
z4Cc3I(@PvI;L8^QM$G8oQ$F<;P$`HFcNtuq{o(3Vn{O4OnB=xFEeh59oZ45LWRY%N
zh25nhpJ`zV=~#pu{~ew0g*Q=oA#|(se^UrK6XEptd=|iu$^wTF15k|)H@B8>Tu{;4
zeX+W7Gi`lL-7tR#G2Ma~KDe7@H#vaCVE|JNg<hUe+;;X$AgNRZ7%v$ydKBpDjt67L
zA&od0if{7$d9_L+2NP;wA4C%+K!@J|NDQulMDXIA?O>GwmCcs!U0$7bAOm0Ikbzex
zd{(h5V-`Gu<$QC!ju&pqJX$VY>bR9j>lZDueu1IHfVzMAa<j-~)pm;AM_kaEsApt!
z9VdyK3h<mI3kTT94W!32_|SS*`qLZE*w$5bES__A`?-sI0UC^zuw42qDuflO>TGT=
z*LgmaGoUVG`lrg$PxrVClX^KGNY;?ON>al%h?Y8N8j(n-N*!1Q?N<@t4Q{E31L}bZ
z3`Jm@&E|hAWOKHjCFv40gp)YftKbAI<mH}x_QfiZtV;1OTd?}g5s3^gkNPjaIl@#`
zw*}cxIb%hTz@{16iJX&f+LLwUbd^obqWVOi-22xyAtC1{?(GWF8FKwYG|$|`PkFy)
zze=;x$e$yaGh4^A_shtePFf<&WxEh?0FhBpsLOvk0Ki}csp5`<0Ld_}O-na(>+#LD
zn$EIwU+#=4Fo47i2C)0ot<@br!D;PqI<*<wE7Tj>tZ)hJb|u;?pVQD<RLOdnG!AP-
z>ZQg8YfQcI8bojvjdzD39L$Fm1He7h=9w1?P>2mH_m5mU2KG`K(a<&NKIk({?m-_#
z3R-`?ac$Z#U0m+@qu!o>2X_Of5bwhdaB3r~bo5&?pa8^il-r|Rag7)U+GWshNHS=-
z0xpmNs3yi`K~F{XVjRhWonEeNgBs3rwWmb*Y-D)2N#@p^7YQK5D6J|)OJe<&SankP
z(J532mZ-Xn`pJ7F_P$Ei88VHEX2!KD$`yYR+jJK{KB@O+6k#F3RgfZv>~XcyguWwJ
zkc^D&RcH)QQ9p8TU66p=eESJ56$vFSC9gVCQW!M=_p^iC&%YV&7j5ouXP3b2sG4~|
zSdyBs^ukmjS-<+|C=qs8A~jF>ePx0&RIx~32kk9r2TZ6E{cjr^jM>>5`Uze@E>wS-
z<;iHQXt=t)b0I`o1f5!X7tOt8+pzi`<vUrG-BtnKxwqD`jPL?<qK5zdgrO>sUAB9C
z&5&i;ys;KXT#5DVO{#lbd-f_UdcU_`5rdJ`yg?epHJE=7K#>c@_a>pOt^AnIuOIF@
zqI&9;RiJ4p^-v-1=Jn24SSyw`rfYw(Oh%f9>rLb{MIoB%HoWVavFTIiB|O21V_99o
zdu0;kybnbUg)c9w3k&k0PU0}C1`6fE8;Ss_K?YBi{~KOiLIK2@sSIBGtc|&Wa>|Py
zlN54dw)pV6Y`lS$XKCtHUdA@H><H!ML{_1hKx<73frV|OYnsm(awj?;K(c=(268c$
zc(2hwym8JBi7JJ(s!gI~_rZWRkZJ}ZqA-{4doDl?hRv*=4D8xq`p~ll92A>Td$`aN
zInYKygFrY%LiX7RsA;l{v7Yj+2OxrgP94Ta0_>r%ZaCS$C1jn_<7+kRtk$d_)R_kb
zlf6pr&|TyN*|kS<J?^NfO!0q{b(8F?n>u8Zt6^UIgdthohj$i3(a^=a$Ylz6M3EDq
z>&;O6#O{l-9Mn0}beJrM>Y&KUX@1e2=0iAHrg`1V`#itT^FDdrKDt_-cb%C*w7OzE
zL<UC#+?&Wmvo9k9tRa#0Fl0cS1UZom-gcA05Kfk4Q1|kl41Q!X=um&$nD<Ha(zO3Z
z9_i|e?r<B850J&t3E)k1#>^Lyh5ZvG=#_`y3ZtvPJUX5#o_12j5H4<+qVD58QT)h6
zL5AoK4&?aJ$n~Ws-*2Iv;f=p#Z{?k#$Pg1q12Uz!OeVOoIS|Ib-9V^43T19&b98cL
zVQmU!Ze(v_Y6>(oATWciFSo5P0mzUDGBPkXFflMNmwmti8wfHoFgGwUFfg~EzyS{o
zLOC}yHa0m%H84R&G(|8qMME?<MK?1yHaSK_GC49rJ|H|bIX5&mHaSK$FhNE%MKCo*
zLo_!<H#0XjIYvY>IWj_*@yr1@f6luygJBp1;N3(dAw(SF6o-WP9U>6~A%wKX@ONfZ
zZo=p_N^XEoPpx3Ij0@1JRK^W3yP9Wq_nmL%1AyNM5T^ivG?doGnrM*Eb#L1uDk4Pm
z)Z414i<oF5Vpl%YL|n8J$xm-vA}JC?>egGQ=pZsJ*DjGFvL~)PA}zX!f84vbjOZcq
zp=+P$C4zI;O)(()iOQX~L6IeDf$OjsA{rmAO))A)h}O5a4KXHi#Qu%92{BF_7F_dU
zk~lhcEr=;GEsA1B1Y%aqiFqP?^NR)I^2ez}JeHjn$;69OnXG;}Rmg+?pDvMSC8sKR
pec`lBKHNL4h+VNqJ{3W}2Zs0qNYo=*moCl$AqX)FB_%~qMhYar@n!%3

delta 3204
zcmV-~414p`oCnvO2aqHJG9Z(XCn%9l5Pz~QA3LB8I$*`n1Q>?42iH~-V}1mFtjn+;
zKT@>Q2FTEpDC(m~exxYLc1*I>LjGs{yjgs@RWZ|2#IcUpX3JC*3avDYWh7E<*`{ER
z{JQVUT~oUz&@mr^WhgZduW0=i=!9oouvB!SxSCGZhhPbKmzPgcnLHcH7Ew*`ycGEY
zZWE@A2u-Zft&N3EEn9|>FsYI88Gp4E(inn&&AJ?8*^`a3S0reu?3+s^(kSvSmnzmm
zO2wAOfHI+5HhTwVk>rQ5!}u+41I2p`d^%{iv<~~SM+r{b?SP(N1Au3pBW>Z3G{U;y
zuFK1QIw3o_p`DSlixLE~Q9Nr3f|d25a-RIeQw*w%AQ)i6+YXp*PQf8POMjJ!C`w^9
z!kCy+8+>YU!h5oNUl=rxW4>)Wf@HL;T)XSC!@kUEf7c*F@%m(w@b$4DTut(mjO6NW
z4T}<_*#Me|f=$tS$NBg!8;ob)dir__0^`Ia<P?5H;pZ*#FklW=Ud#ato`(Dt!<`x-
zN%?D8Rb=x*CbS_oP@DBWK7SA?eGraV$#$G}X9buu2R&5?Tnw%s%4P>CM`;WsorQm5
z-+O_E?5VFHbl~Q!0&stm4P%#8g!CTA8iRQun{K)TiKeDD`h8O?tA(}}oO`GDmm1%S
zI5aZ?OGQ_fO<s+KqcHxsu6^?)si1Hdj1I{Z>u`Rc@UU87vxOpz!+-O9AN@<xNx~0V
zH}oi4AR!w_dBoJ(k<^WI1*wOYR-^^XhNopiI{&gzQD@yxG@p%LaC0OXx@4|Ye}$YS
zyebJjhfvaM!%f>bD4J0z7R}rD?w1Gq8hFTuFA5%FO^scQm78WlHMP1gCG59jlVg>q
z<I|Kl?_*bB4=Kri1WHzWdJvOm(?}TS2?CC1@dHQmj5)oYi>>LX)^!PkzS&U=TzX+W
zvK2=B?|S__wZr+3!n6*B#nBuZCBkHSyXp*lvswHDt}v~Xvrhv+Bmp*)kS8jCU2oG!
z6n*cn@V+@(GR*f!5kgu7Xc1yr8i|L}hmg3ftJEp6v#_iE@q5SP_$%Ys2`OSlA0U%t
zW-@o?oO90|7YA1X4qlz$*6VMRlgBR^3kX3*2pUW-18opzJdlDT%2hC#2j}5OOw{ON
z^12-N_$5*GLD1BUz*l+q<vP26TW6=m2po`LWrx|u`&TEy`Iu=Lp1+T>^(sk6W6E%t
zT}RNMCXBOd*I2~K=A*>DmVICh38N7SKd+-?7NOCYV-|k6o@T{>_N2FQn#RdhG5QW(
zRT#~lxpDuVon5qoW4In1GZbOXYth;6TU%gY3-qSb=~LS$7<1c$(qK$~IO1HoFW*3D
zlaE+nH&5%=1fr^(C-wc5K!TLZIrmP2C^U*5v2PBBjA5G|7rk?w`sb+iNV8RDV}gIg
zHyu@oDYNPQ1ddQDe|Q8VCG-yxUj^z_93>+F&dw;AM$(A?U6f^yMU-s9+k{x>MMEjZ
zL=(h?3C5HoM)g5j5q+J1MR!@eOm@fx2QHt#ijrtG&4AI2C`WDED95|E@n!4#IGIOZ
zi)LzHb(kzcIx^RelUDyUszim+A>sggpk*x_-yTy8qACZ8LzgaaB(}iNJP#mPB?})h
z6;|hTc;lOm2xK^EsZ4XahRWQyxhmMV;)5o9QYmB_&!c?bUQAAZKA(`{IEi6MY7<CI
z5T!Dh-JYCZ;9w44z78;AMh9Q=uD5_nL2S5-;Oyj2m#5l#s}RK`p9|9>QGLp#eYsBN
z>1L_0yHw;oElh!qMac0#(dkZj6O|`IH%i}6BIHbj=YQnA0De>!ID{BLYIL~1wSwb<
zidOE6<)!Os^JD6NnmLH+2E_2e-88$-0WA6fOf@8Wc|da8+Ao2mQWaplV#MfPpsO!D
z7&8tu;^bI*lkd;lWfD1<Py_oQnkWG|`~g5>a1A7a7w2pn%M7G!x^VCE?6d_L_#%f4
zygK8vj9nVD;1Mj>o2ykkcU@-DV&SOcMkcLaw8(k{O^E@2b+g5Kp4+NT7rT$RkTX$d
zWONlLiR%jRoF;Pz*vK`cXJzoAU0J!F!EnYlud03VoU7ZfUD^xKV624Y!Z)KrSdl8v
z=JVw~&xdjb(q+tWs`Se}^@=>GtRXwCq=tPEEql<ML?WRodtfcJ-$uX&;FgW(u@6iD
zoeRb>YQ6)1owL<6Nf%%uoX5dl3nyS8FZblDFII_Um5U#3(CVL#NMvw%)_?n_BTQ9^
zTaewFGgbr%Y?`4RC_4G3Jzqu6SXpis=_mT)-oLYq1kz93+a>TB$bJ*eGS~4-Ua;A(
z(yW~1uMzZ_uHxyZMdam^mI!m%&IBAlWE5oTG7$iOFj%3gxZ@zeGmLB9()G-)_<EC0
zr`f5GJYxzHATfgm>^^m4b;nO|T05LhbH;W$^#)suCBeL1M0@L7G}IOqS&yh1TR^F)
z#<@3Mg9xso@$N8$gZXjY0B8@jJo7>UGO=Oh{*enO!Cpxt8p<X;1bv3d9q6M-L9I8g
zbvsUf8JDm8>EM;$&*cE`Ei1|Jvhon&ebNC=ZDd79|4arffY?uR2c#>m5#u1c3<?fO
zj+(AO3uFMciE&xTQ<1$GN3u|-H%nWghO^x6DG|OL86K{anVrsy1aM-MRvDt@v3^gi
zJt@}F=~M`osJe~%#d{?7!b;W^GL4FA#?>l+$|aFy3|`g!_@rK(QG|trrGgbPWXDn~
zQ|LQ#1!QDwr$u9ciu#dz^MVB2=G#wj=}0JXl)UVqq%f*i`^6EopZ_r0FWTDQW|zQh
zubkOqEJ@8+dSR-NtlxcfqzKzAk(yI}SDK&<RVp%cf%Y1-11407;n$4~#q6vN{Q@t4
zfD4spc|IB|8ZK||TnJGXL8+GBMKf>OHmtr!`A$}8x0QgmF0QpKBRm72sNsLVV5kaY
z7wsZnGh|gZudKx$cVa_plj<VZp1lf-;_rjk#9$;fZ-_>559Z$kaO6Vqog{4J)_x)n
z#a%~KFTA!2JT0XjDa75n-WdyP#nQ%qbS;+2NYik&j(k&5h^D#@@49DfuBr1Do<L!V
zWpxYhwMmroArf^ge0fz}Sdbs<B)%W2&b+Y*@EYXaxw4I~dxck*Q2?`MstK=rvyHid
zbjphwlN5GhI=^{W7T%!B(=_!uFJp^Zwukd7OjdDRB%Blm3)@21G#@hLi|BlR0?C?i
z&dpfjy+;G{#yRUVRSIcU>qN=+lL2jjY6c>r(3kFdFhC84&8!{`Y|p`T-@^qQ6q`|d
zy3jH?P)0$4KsZH04%rCEX|jy5PWjdo5JAAF9%qdN)I(w2Smf}Mkab#*?^Ud`TCv{i
zGkXn_y-V)!UE~1UwZn2f>&U5pO!0$#lN{=sI&726Vcz)(L$bOM?@WfG;fuGC%M|E{
zA_qX%%TW8s?weQ+?wo0Q9F{|NP~>2mpLNsx7>g`vUSH({&mVX`gy-#}tMR<+%nYK{
z6=R<m><w@)k%?yCCI(mok@a!JfH(_spcs7U7K39fvJ`{*Dj&q)XBLBh4#$o85Tch;
z`)}ltuCD0%%V^vq7JC!GOLWG}H;IM)8ziVIkD(PtSATl6zf`>Fl!{|4aibLVH9iQ%
z&ny(=7}Y@!$M;6AkDh$@3~h!t{+PYRJ42BnCXfbfN^zM?aAR{IjQ;>k-l%m7Wo~41
zbaG{3Z3<;>WN%_>3N$o>s4usuF9FJs2r)P@F)=bVH<x<A0UHQ0I59CXGBr21oxlMP
z3_>?HLO4Z5GC46sL^LosG%!X%H#R{=H$^r<H9<r(H$EUdH8(awI7LM=IWa^;G%z?c
zFh)T)HbF)=MK(b-K}0h*m+s5~IDgN%GDBe;1@Lnck%SPj#1=~siCC_SSg*Y_#xgo8
z4`Id&7;WBwQfrh78kNEm=#(m>X3k0Tn{&>;`91*nivdXr5XeGlMJ$Vme2u(qinxdo
z@k?(@VofAO6OpL<P!mbfOr*cOZHTl;5t%!0t)hj<?Yp*#43WQZ-4a>RPJa|WyyZj(
zQ9O0+5}ic(+I3y@h;AZy@YXBxM6K%DFZzh+({)=6iUDHp$J?qH5(VPm-rI;6CXPz3
zMKMYopSzBUaWNrEVp5bvMNEk*ankt5G;#auG($XxPP1g{&1sGdznuc|u<_D)@+xo&
q$@-1c0{Qslv?zAOF8NXc`3HW6e{w@3oR=%k0U-!93MC~)PeuxAeeg#B

diff --git a/Assignments/A3/A3Soln/A3P1_Spec.tex b/Assignments/A3/A3Soln/A3P1_Spec.tex
index 6ef43a43..e76bdf14 100644
--- a/Assignments/A3/A3Soln/A3P1_Spec.tex
+++ b/Assignments/A3/A3Soln/A3P1_Spec.tex
@@ -430,7 +430,7 @@ PathT($st, ornt, l$):
 \noindent len:
 \begin{itemize}
 \item output: \wss{Output the total number of points (grid cells) on the path,
-    including the beginning and end points (cells).}$out := +(l: \mbox{LineT} | i \in s: l.\mbox{len})$
+    including the beginning and end points (cells).}$out := +(l: \mbox{LineT} | l \in s: l.\mbox{len})$
 \item exception: None
 \end{itemize}
 
-- 
GitLab