From 19638d9aa366885d1abe9524646da50755eb0d38 Mon Sep 17 00:00:00 2001 From: Spencer Smith <smiths@mcmaster.ca> Date: Thu, 8 Mar 2018 11:23:09 -0500 Subject: [PATCH] Revisions to L24 Spec Quality (Line Formatter) --- .../SpecificationQuality.pdf | Bin 371583 -> 371632 bytes .../SpecificationQuality.tex | 1 + 2 files changed, 1 insertion(+) diff --git a/Lectures/L24_SpecificationQuality/SpecificationQuality.pdf b/Lectures/L24_SpecificationQuality/SpecificationQuality.pdf index 56ff6a8bc016cd4f035c2a8c4fb953ee3fd18ca9..ca652318e7186cfeb073ead1e65604aaef76a226 100644 GIT binary patch delta 8450 zcmaiYRZtvE6D_c~y9al7cL^-+8VK(05?DxZ_a!(4cL=aJ0Rq9@ouG@mLvHea5BKff zIyF^Or+en5Pft(xp9RADMZ%CU*d{omJ5Ywzc}6od#6p~pyIywjOLA)k49F{C!TC>c z+Mb269+hm2Ia2H#ElLj~6u1-`cF*gNolNWTG8P4It+=ZMFvL|vj37O;6$GKbLYOrA zo9t$|PPVX(y7;U;GBd;yWqYWrK)q>H!2)j=2R`1_PqjI@CKj-E2!#^`osl2xKwn|4 z+oU+sj9XQQiao<w3?)lF8-ZOwZg(hosygm>)xCU35Ye+sw@&;u^Vi+L0DaSUmJcjJ zqbZwsGJcxKBt+G4G~M*UM%fwj&B#QrXjrUDf+0+(HOz{OOw|*i_1NJ&n$H%i?GvZ3 z8vge>-zD^#Yl8N&3j8Q<b0>6gK}70%!~I4UyN|uzcpal@=jB+VQ+gYVvSHxO%DaY& zk3eEi_MuE|=16z@(r@DD9c2L*wX3S=9VR<>Smu^^n+g~0S6KYVZrNYHOORT-tuZ+& zVbLdZtstft;@qrl0GB+rW3qLV`xhH(5K7or#nJie-{eorQ{3569aXWv>Z3UFnrf<p zJ-Cte3cp*ei%j-uP&dS9;1mzg1mewJ-@==4>W)dYbC{Y)(eJy;R^nOIea%d8VOxrK zX)Gjr{q;Ke#<~QWm4vEX7Qa=|?#e#FqBIMMfO|6#@F3C;a87XOGcTH~Z9qvFKH`QV zNZS)!JOK3#CtPYqJrtsg4AFRlQ-(*=K1E;-x#8@ROsR*I!U6mNXjg_ha6m~|eM5x_ zFbg8U0)#JL0q#@HfkQB&Y6zuBAtwelAlSKEm5grsww7n)^10wOi5nE#Qg3z|4h^Mn zUA;w})`YNb1w`V$mm9OEq1%qp-r|O$dIWmC{ebq=;L}}F4%0(3tUh{OX6ol){{iA2 zG|{#_kSPkgOYU*3y>$r{2SJ2HB)+7D6p>rWfe0aVg(>o33MdFVY#tsYDy{-SW#8XU zcLOfBr-A|xZP3O#h6S<nG;jv|_`b=M(p5o72Z^meRC;xeJ6uKfZoG=&gp__rPWqOi zuwT3Lopi|lSuq+zq7aEV0bAs=MPOdq8a7=h%U5hnW>xtU;-|U0RE-OvDZy+Yvb1FA z4-nVg2=|@wR&oV<u-uPyDFGpte7QgHGF}<z<b96;xE=)fhW-OoECPtNs9rl};M;bV zqavvH#}-qcRkf)i&j@*28d7Dw_Tj2VLy;X;hGin>`I7DmR6M~xH0mPFU7&-P$?n7_ zBjHuj*R62!(7uV^lk~%Wzt&Q{Rz&>bl|f}FSIXORuLUy<J-1XQkK<}53*Iqdx`TxL zDDR(Um`Vz0k|#0o)~PR}h3wB+^P`^QBaJ_e#@q@#?wqh>uP;P!r>Vv!`*!axI+6ue zeV<R7c%1`}mvVZ&X<-VPNlWGfyoknVv)DiFVdZYUEfC8s`>9>^396=AIy#}P{{nTK zc%6p%8y`0|^cw%Fc1F(@-IgE^gK7Otiq+@F_tw{?>E~zg)}f8rqdL~<D^M5Q!J8+` zaS8nC89K1knek=R@x8~K#id3v!){e`O>`1!zVVJ>@*~qW*5F-~x-tAAt$n4AlLJ+e zlKcaL@J)aMw;>PezV~uny(WSi&e(ffwV|@v!{*hzv97}%mDcrxMyT^G8S|Ij_~nrh z%U{1-9Lt<VR92lbEA2qRbybb|1y|2*Wg>)!%)Z$>M67z#ScbuXPOvHpz~bHiOUq2) zF%$q5D05a$v5%nahvf{x?$g$d>5QZ?v*K^c6y+KA;cn<jVYLwTTQVJo{V$I@!6c90 z!6RL6&-W+H=N$vR+bG5G_<K~ejjaqQ>1;G&N=yZo$*I?70nJd++*?;ha4eR3mn+t~ zQ>eG#En*)YOA&FRjm}V-)$Kw*@wYhT^aO|@NcD`SFIjvo_EB8g<!l1JfLVWEXvE*@ zf;?|dDq$6A#Vxi!8CiiXC#peQUCBi*O)6alIWn!3#)l=?;Tg!}M}Al}P8U{?FJ-0^ zw5Rh*e^I_qC`q%WRA51#n^**br)E$_#N7TQj?#u2Q{8EXO+W_FM`(Ai9}O@e@SeT_ zwR0M~cDOJSPq+Oj;*A^3NO!rabjsj(_zb+0H}<WltL(dY??)}i7t^U2UmLp?uFgti zY)R3nL95~S{NO3iv&?-@^A3V(x-(+07|fhgLHS{24nk4Q+OxdvqFu&hU~Ms-N;L~^ zO#2)oCy~uiD*GGFeQraq8yiA~1$oE-5ga>T{+icqX|E~aZc>dM6WzQzZr<BCa^g?( z?76Z24n@oD(E(sCO-(Ms%pzPz*`RGc_N%&q9O*O#OjA2Az@@{N4o+n2*CsygK7*Y# z-pdA80^E*d-}W)rpZjrP^ff>(25;(RVz1$r`&IU==MYhV*e<SQwI4@4aUBGt3w=pR zChuA@)hR}Kbg*=!Deg;b8Ll4sG>3bS_^jx@%8>a#!M4-=6D+*2%9jKSVQc)c<HnEM zx`aREx$=c+^VPmBx&-pwmnQOV`{a+7LhkzwNa$S0^bpByWlmarD9ZZ9CL-EmFUuh9 zEYBz+Jy_>Dk#M|wXSa_i!!bd30JRY8BZwP101kk`*O7RQ#H)2EYTz)t4F+KWEMObK zzp((KARQL}Qohvp9!boOY}phaBs`vMd6CBZ3QBCo<4&t;^RAS52_x8O%ifL8Z$|0x zJfWK`an_kOcC%w9Oi<aHwZiAtTa573%J*5NxJ$`$n=eiS#gpvk_*$Gc(OqKhIZfJ# zw(5V(Jf{FsN%Vm+WoWft6C>8HI5KY3&BKrZa1J(rhzpN$a(Wqe$^I1{?^%c`+K&~j zk9$3*tocUBVe7rEip+#(I&RXy8m2|Kf!YZpY&3WW8$e4GFXKc{nm>O1^~01QTET|| zZjmXI&Lj=+I~;%@h)xU$H@LlKzobgsat%|7Rb$v(+$B`zFBV1Zky@YG(z1MQ6bJbb zTnA%Tk2UnMCgfg?{-mM86aqPJQFohesAgc(v-0p(EUGpUt%bXc7@)Qntry?>99e_? zxfB3pu3!9~P`o?s!(HP7J>!`Q)Q(4L6%?&6PRD|fceKQUrUo4K!&lf@=@bZq)}>$E zd0}h(O8<P|e9Tw#f5gCkGg)@yj1qli&mhguTO(5SIFUh~xs5l&<FjCI8{zfoS#Gyd zBKtJox$`-`Me(ux^w!VSFNP!QV6Zr^6h)As7sqSs(7wN+NhJEcfvOb|QxXd)29P;1 zF;x~<{k`<9h<Ul<lY#IPUYDNK-Ab%T3Lr`gS0T?**n@3~$xC|;)JDN67U*H6-pVVg zby(pG+B_dqY;=Vg+Qx#!;R1N!(XXcGmVt#Jn6KZ6<sqYl0Perk#_tuDMi7jTBE2UB znGBEvhkoj@gOn0+C_4Hr0UlES4v+<h(JU&ynLKB+2{Tlj%>&V=0vy3%1o*RxxzAv~ z!rO+N=0VhG|8eEFZI?qa&Ubj=qo*;5JOe-s4jmf8zzHm!{8;@-h!Y&o1YiccFaTH} zTTB2bEIKqwaT2IpzlonBZvt6h0SLgOZG04>P?#jL5O(Z>5OD(d;L*-G*%Nn;S)pQn z$6!5P027=rH#n3EzzR~;Ugg5>x@PrCvyGanrBgn`P%>L#MoJlTgTZvLAXm4H6e&#u zZR*lR;2uh)LT|8@m$8md1FM>?2vSeH)Lp8jSf`$H*-|RV!?hy{<zX|w*IEe%9&o0- zt+M>6zu~eo&~H%vTVkr$8gAS;7{tHFy&-5>UE1!1s)H0<{XvNgfk=!RT=j6hb^>kY zYQz;J4vZn>sU#h{{VhgwRsI4R1+A{O=HDK_o*!86JO{KZ<>`8Tx^(si!`|z*jnp#c zZ_2c42lb=e;?+-S{@@d?wumamZC+?9JR&vwHL6d_nvur~qe=Xw&<oH<`U@LXvs`Q; zIHhoJy|HkH>j3mCcL>plBzU*S25^<O9(-YNX8WDEv3%9F;pp^IneL$Fka<~gNhg77 zp(<*Mu|S$(#!jJrEAEHbCZUTW*q<h_Gj57T>$!TsNA9br`LuI<$_z&7v0Ky00nWkN zpQVCx6BsNt<Y=7mW`7}o1{Doi2%%Po-(Z>kN9Aap7<^DTn^`W(=d(kYFb=OVvUT<m zsXVPu{&;%hRTF~olT()*BDKZIRgo?ClJ-a-=@Z1W-knRPV(yM@iqx@F<y^=jS+q{H z@v$mYt1{};!n8&6{JHk*xJ7A^nIz~L8zYg(L2|`4i1-~AbNRV)rR(zGlm!3NHvv8i zne8wZuTaneRN|+hvO68~MT!jz!mP`<PL^DmHKpZmDWxtTXLXf7r)k-BVio$w3jP86 z4j^aD+LBZz2OI>vm@+;jJrvGD-tjS#Uxh^Zo}P|<=|OORF)sDBBD$$wZx&C5)bJRm zDsF$L6tfvd#PZRPINr~%9MCg(k+@?eLRQ(@QO>v8eUhU4`8lb@KVX}kTL(M-=T=j9 zN<o<fP-f#=w5R-8WthrP4F4vS=iDMm=n3IX{DL0BD*#xAL;GsW3?zMp+4jH71QQ7Z zbV0o?t6b<^2dsW+q3;RkHB)?#7o4O*DYA$U3y*sh@qbC3c;&^KgCtq5rUY20;QH&o z43{ZP&jc2IM#TU0wIVexC;3{?2A{ahnhSo#F?yvJ+g!Bc@f)<qIvQS^N|lSxO^N;E zu?K7^wv0<aFWa91RsP+{13-SpD5R3IY8mus%Ldyur$|`I4i6mp+#*dwREe<`eH^eh zP)o6TdvD<~71h2;XEspex*{=Hc$)pYyFK8T15{$AdAUnfyewV+;R3N~|9*?w$hZ2N zY^zu&kBnh4K+X^sN|&M$fLhRyR^o1G-5e{sMuB=dfIVrD?^6_5m=oQS`7M(R%mZ3l z47xTD{FP1=>1?x8A$T6FpKh~v_yb;j-Vr*)DBhwnbACqP)ao{ntxB@>%iS0$LJZ5n zVWt1*E4PAdCZl1%c?zXofU7W#xxkJ`QuXI*1MkyT%W07$qAGcY+ktRZOq^)-s_1sp z%s7|T;JE&uEa;RBhozJf_?{*)nQ^oqARh@<_@4t0J#Y6LHXxSfX%COj8eRtx8+%lN zH)zFQu9G3?qJTAcv@7|qVdSrXEXv~$$h9OO6a_6<50P5|1S2o-X#)ZR0>}Yq8g&-f ze*-?WgscrNRRJ)=3WBNc;8;Kz<Nv}Oavp^G&e}{<ez@^ueWm#wS9K&ktdCtF7dbuu zR{n&K-pQ$gp$93Wb5;$jPn2~kjeKx1)UA;w=aa;?DC-t#>zfn`BM&ZHMhr4Laa0sv z1e<#IDak7&J(T9HD2!%2<|L+c(omlJ5-jBNo_6>~oQB}%Ym?{&6y*Mtb@wUQBLD#f zb{xJuX$(wf6B8*H#tqOJBifCa0KA)Js9B*oy>cK>p;HWSX_u0_nKq59$hmMds#$=J zH1)2(j5;QFG1rX>-{D}d0;Obh?0{h~gC$gk(T3?#97ndKBPHZGFd0nrP9vz9dfZu- z(Nk*&<Y-_|E?ALWP<&gdi+x8EZ%Kv7b2+rJLb<G*b;kvDvd{U@!PRtry~}=0)+Ok^ znyU##u~a5;EnllPmc#Y5b^>0CGN;bCR;c|l)XXYe8b@ePma5*skCfx9eGvWM&JvoQ z1TUoQ2bZDV*Q!UH-}fL!VK(_hFNjA^E8^+qv_=r&Oq)&(8h1`r1g-|GTMZ7!;NOy| zF&zqTm(H<gxETq}w;N?5w&|l8qoZNSFqBZFR)HsQnJK5ki0i#gvYM{cAf64uEw8tM z`7Dw&ZV#D2N(V7aUGk7}=p5T|cg7OD-|vQDC*IWOu|eo^5&F-LCP`;&k^4^QCI&S3 z0<^z>`DGQ9J+Hd}e(p^t>j;=KL#iXYw$ZzysyZgp-l*DszW<4w;jx{#B0{c;m4@j$ zIJjA8^zua-Ma)9vX;s+1Mi)L<ZR6S9ca&Q0#08o9#T*&4X!=J}YRzdvH3I3X(Fp-u zmsda3*{B=lU?6>!(*so8vmQ=wP~0?58Hla9zUB^UltP$rU`WjryIWPFNgwP1ER<7y zXHOEBN@LBi3yXh|DfN!h*Pz&t@8|kNFk|@D_x@oe%D`Tv!%N29hj0a=$oyo#FTV($ zSr7U}1o;zZz#RGTttY-y_C+Tu?C#tuV|B&q0i%kw?6pNLwiAu6tS3SiK{EY_>GRN` z;EWlZj2h%t9nb=YHX^1BoH=AHc^ILEv}gfX{>~Q?d7_1%P<q3KQX$8>02es)ikB)> zt@vQr^e?^<U~7Z_n?-u-uCrX&pv{lwmuX64*9s>>fn?QG4Af1{QIXDA_D5C}K%*QT z%Rk}=A6N=>NR`6;%7faj`Fl2l9{Lo4#QvZ@Odm|q$X7Bu;$$NYS^}Ktf)94T*_qX9 z|F}K5itfdr$Ku93q>xv-B>3CQMhp;pJ*j$Lb0(pF?t%aKa1FZLr$5f#8(tR8!_Cv^ z)m6zr;MQr#j9SvbjM&RsdmlSto6DX*X<NoEIDKH_9JFdZ9^k{$7T1nM7AEwxYXZ%x z&RYNb<NnMaJ@*Mk{wI)$R?UKoE(IC3A~aycu|UVuqfJ;#bx0p?!oD&M`4d4|G>_ax zTB#Q8w({!!Mh(cOj3ydRaA}2IV(%>BQV2`wT^mCfHD!Vm>Rd)k14Yr4q?4`LWwx%h zBl@V{XO$3lHgPw-IINowt8JxgZFjKAt0ajl%gk&o&<}deQC%0=q$Ro;Aof=qB<B40 zpULFI7cA}JeM|2RuMCmT@MOl4Mpmp#CQApij^Q~NB}hRGt&Yst`!AvkA<nBo^He&E zUJHwa*uI49*>6-M&Cf22e)S_%hKBZKDOzzOUS22&zL;m?6<Eg_%mddUfwy+on7skU z2In~K3GL%LQ(99xvC{>;;?q~ecKWWY;11ZkciK+P#}R#zg!Kj6U*boX_z|pr$#qYN zK<rIbO9ns$V@a27Fuu%V+(ylg&w3Gvn_%Nm@9-f;ICTu`3i4Rd@D`;+oBq|x$VG`( z=U8*fvrWuwv8a~b{wXCtO$;K=4<D<3Nr`;0@?TWjwKFpXEG3ioit0hR6JF7|%_C0A zWb>NuU`}I2(LUmer%H=iQNsk`h78zmxdl!Rk)nh2>6&_|)n6O36w{?p5X)lNg3XtB z0bND*DTh*Qr9j;Nk@?^dKhy_Za(0KsUi9t0ayp|iO=b>`-;2^Z)2jmoPeNd(AgF7X z^k}OvrJVTROx7fg;Gn}*VApeY?b@&=;H$QpzJ4pAkw`tNqe13=f*t)~3_`VbvGVlt zu!b}m176|K2BdR;QoO?T7fJ;|+D!owaA-FlnH5Q25q;jf-GH}00r0@4<^V!ip8u5| zaK1SJ15^~#c)PvP&OoMD5Xk`Ra~R<Ej*%cqsEWOAH2AfANE%Wt6#?Im$zZS5w5dQt zXNCeNf%!93;Y#uCD-WC&dz&hOBCW6zhAKjA?>eRGpK(u}DKdHjK4l>l)s3SW!T?KW zrzdvaM<ONqpTB-mc6X~K=x$CT5>av?@qH*7F$1;0jHVAs*<{cX*m$<uYH#9q8@X_% znnz^BuL%m)rI^PsvmW^)^Z0aC<abm8DQpCP;pYzU=1sp)g`vm{m78fLrKp9!ulRsB zPHNudZ<$0>i71!HN)M=%aY;jn7M|38XBhqMR#iWsFC~khmt;TomoCAwnm#iff%?4S zxDv>0PROIi_qNgVR6FfH6Ma}uA~~arj=K8Dz`kct3)+o5HiE26=sceX{G#Vxaa$o) zXmS`lDLLQ0eBw3H(HPSg+b$V$)?wU6BgMa(X+-o^L9;U=P;27l4P7slAOe!LCtq06 zIV@JhDMAACbkoj)$>Sz9Is3vJv^OFnD?#*&Bk=DGDd;vOku$ZoBM8gd!oll}{KX?v z&IDO{T(1arNHYEdo|ax)L#^B-hC0u}jzZ4$BTHVVV)3L(Rp{9XmRhDJ*5@+iOSetx z>j|^OK|al8t5h}!E29!~uSop{`*9PbhLTwWXYjuB9km9+`Nf}|?<LdsX>>u&Uyz#= zBw-g-t(yKP4@jRSz#V`(7mG~uZS&zwui`&e!xj(=z!2#Yzc0qvdj*JKjl%w?re_C$ zI$*S46s+n95CCoAT|9=c#vzYa5X89kGrOrOsh>?qP&hr=sH4X4Nye~hZKS@I9M5q$ z1FtQe*X9h{-bnL2aQ~?AJ-nRXR@6zxPj0-xC4>}`r_t?*T2xr1xY;vrMPA0OSrI)- zg$%uaglW{pT(%<F$Z+@0A<IrrwfLT+bDWc1{UY&c{U@kSfArRdcerh0q^$MI#Y89e z_w?k|>gBWc#Cdpt@Zc^i?hFz#L`PAzwSG=SzO?Flw()zLhg0!0Uzt?S=G_=%n{qBi zGQ$*{eS<h7JeZ@j-_#D&6<fpt;5mmV^N)o0qXRak&&v(yN>qi2C9*V`L9>0!HTL*m zoucfn3~7*XW%E(i8&}1CFn<N%?0Dg$fSXiI<|?GN`iV1?7ue=d%^5SY`P?Y!=9VDh z=e|X3!g66U+rQ0~DbH!Gpr>KO$5IpShmTWB3zsHpCm(zs&i>%?gW~#ivmbGxaK_F9 z?|Y8}k0?gYjDg;jkeil9G<~b1acRgZ{~NPR5ebNUjs#JfqZ0?1+oV|<#p9s=-lDmR zut}2GQZu4IA#N~-CveFZ9b-y(Ux>tDMALYzFpS3OVXP%)L!h*2nUOS^FcYWLS%RBV z<burM=fY`r8jW-~LCsH^64^QNqU2Up>)cXA|E16U)-#rB{I1~vx#@pq4R?Py(+3YB z<y?c%T_&|nvEurGU!3?53|t%RON_1#9&}Q0#;^wxpCWF5wuB3+%$HUHo#}#Ag`F#c z8Ez)|Oe~HOmG6)XNKb(6_|^fG$1avfKd&vdfOhk>1k73+tpQB$@E1(a4>G^3mQztG zjvB*v5W3GC9?(5S@NY8>rBY!@?Z89U@n1j=YGsaqYm%qP5G|n}bF3J!73DUnw5Ds+ zv11E+H`Zsdo-g24w$7)XPlkcva17tl5brfWNc1_+2oz}-Kjx5c&~a-k_81XSuo!8B zpAM%{3b+F`OoSBYG9J!Tmg9mHoRJWYgcC!Z7Fa*B>jkIIIEJt^%s*G;bE6wvFIs@m z`3R;aoFyxe?!6M;;D|8W03;Lj1Jx#%Sc$27{xNlvx28Rp^7E4!yu`bX$<4>ltEQb( z#n^T5V19fwaibfM`a$aN4J4~#T;c$^y0}=BFdMX=+7CQbd{Z&DmpOdb^hZC2mr%C` zipY!c=g2U8hvxdfahCSB5U?3PHvR(bdYQ~#rCEyBq)yG1@phJxQv<i`QTrv7Qu>0! z*AMA{9Z^Ap306EGYbjX8rs`r%N2XwJ_UO~zRsL9;;%r0B?Y3%kbFVqK89%<AuQjRE zU9T+>JraT|6C%&7q5kQ8GKe^Nf9u{)9NjaufgH@i%u{Y9V8mYOU#{T9vwTRx!*Lah zMnbH|5-8}9A@L#R;m){qC~cet08VoSP-B$)Ig7)R%{*g8__uoh_pr>n0ziK|-yW?b zz9*D!FW-UxXb%s-6C7IMhOTh=G-m+A;ProWj5i=2fU)=Vyf=bu@q}jgb%x}h0Usjd z56A&vjNZOG{bxWhb3NFB{53QIFxt8~O-ZCxdSIBIZgKv*r8xwU4Zr{&mmQ}Q9NrPF zLg3W?Gq{BTkN{{$M9k5oukf|zmu~;j>5+gJSk%p8D#shN-k?8;k=fCJzY89c9gQH3 ziNMXx!^02W1|v}Xw}rrGBE(^73d-;b@^Z`b$no+D$q4cD$jb}!^9suG%gM=bN%PBd zOHhgZe_c#aIaRD(Y`yHLg!uWu+hquU=UXZSw)l~k!q*cpU^LUv-$;}r;FypCDyGk< z4zGInI`}$rM1z@jGflt_yBR*`EC$ue?1&tMc(RTPGQoCeDeE^h-?Nosl<4T}!D8n) z``Ghq-|Nw@!k*{3qheq>VB;Pi@P#es3zQCcwWmmuCX0YykQEyn9o}#jHvGE{WVM`f zQ;&J=_hBYYCWKA3+8kr9-@)$t&AGdYK4Q9t3sf>)L?0HR)_9-^E+(U!WVQvha=GOP z5_xSH>6H2K3}n*FoqevCv>bBtr^@IsS6>#dx;aT=p$L|=5Fv{_E#9F4bKyGqROQ{2 zLm^k0Gnw5q3K^SDP{qLeC3x|A(6S7)me6Dh!`M7Fd_|r;pb)F2UjVHtc(#ZV(Tow@ z$j)iX0@=sSvAs%@xMk|4s-?pWe$WgOo<U}G658bkGsxcbaoU3NB(ndaFg$+Nh&)Wz zjXc5N@I^EBn;W`XFAACoXR{Cr-r5RcDX-g#%*V2pR4#;r?dtH*V<Qa<kUJ?y9|D@J zU~^`uVJjS%4PD*Non#-`Ao7~<J*Hhd>SF7c<|*XyDb!}d?x0@pyih}-hh|KaB>?yW zK9@lp;<lUIVs*SHm0()$_TtN~xEw2$YU;eLQ%9(CLQkbx*TD5yMo4$`54VI9-geSO zYJWk2CtfF&BWJP+`cj*tChjBBQOutE6hMWT7;XBdjE3v|7q^**FVA(AoaGQ2&A)VD z2|{#$AZ4*&iFRVH=^q_q5%0gaU4oALupiDL`5C@D6r6>B`ml1lbawj3i~IBmlgc=8 zIk=ed(CYXfxL4IF9Hd*+{(|EBt4fbFqcNi~i1DA#Mlr&&$X^7E-J!h}<v6_(Lt4H@ z`-rzZ&wp-dI>wXwcVeH2eQ2S~?<)nu=@UYMTA3Q7aSwbL6gAZ%h{A4W-pb;!Z#Hb0 zD%@;)!Z>%7?d3&ETjhM1MAbTDIi=KN^t~;=u7OX7u6A$ZKq9}c(cLEv?de8?#ZAY` z#?Ch^)%lG3&Do~Ds|w>RrHsw?I{T8nO>c+FP!0_w@p^=Ry66))L=t~E<wBM%_@gRn zPVCc*9M|Wv1PC-oA2iS3lYAljBO^IZcMem=)Wr_gt3see<>%o+rKguye~<cq0C~#= A$^ZZW delta 8357 zcmaiYRZtvU&?U^^gWDj31b27W0D<5doIr4g5FjwYU4jj+g9HmcNRZ&}5`qPH3l{uO z_S>zk+Lx_Ux9Zk8eecuhuI{c`Abp-E{S=Da0C;l^HNSQ-%ED!tmnQ;>dr6W-WntCi zj8C;5uO&pAIE`RgEAt*%eD-5lzhRKXq)a>uq{E~0P>9bX|D4YeB}Y!H1Q_a`?0VeV zNho+GMWrAE%cF(kK;&XzB~Hkj+QjyI!q(^9>4fl!Vw$IAu6VsQz2tgT4&)qK0g7^e zme9{o3S}^$MYC#Mh(1e$q}=H?U1P{*jBQ|aS7%g8Wwt_0!W9v4&~~ehklM1YKfN{e z_KsbzxEx~-)WA4bd|}5Wf~xRQ^`SwZs^SoztBG5pl3@i<$P!n;vXbvsg4C^@GR$;b z@4f5a36iIJ(CN7|oNL8wbS>I2o%RvaQ89r^q%z}CMn&zSuO%FDd3F>zn}k>67LXH4 zJnQ=;IA6T#HYAgs&wV8tuPRP`eA@(d2>*3IHdwRP5O{+x%mrFPF<V$Ku%rs~cAHl! zij7|yp_q|ZVW@Qf4CgA!T@uH1<T7!uX9N9dbv=|JA9$Z2&&dJRYBLyWCMfn4ik>y- z79C^HJlEzz`_2|So|c2hflWfVWS1+GId++qlFO~M=U1(LJ$18xK*v`5fl?=#z<;d7 z>$E><WlxFnuKl_Bc@fHZ@A|-;!<st_^$z{0ERBR2D<X>E`U8Lhu(hAH*jrSjk@!z* z3lJ@LfH)x513{R~v_??89y&tv380Ds;{O5CM%p)TCr$c_C;<R{fuIc|U4V)-vH_3M z7>o@KXa$X7xzcWq(#e+rF$hh{Cxy_lHX(7wS9;yv<AUevlKY*5o6ut}IkvKdLF7h+ zFIQ=5+ezF|O-?ntBO^uP!stvqu_WkBWnB`+X+$0osljwlMa^_8Nk=hU)ECiK8`ADa z+3y*^P#`PwN$E=1QYSc~;gnQqz%~(oG9@I*8tSfURi4gZ(od{eJ2+&+)4q6VntA2Q zybyyIak3;YY;3Xmx+CZ;9gBQ@Di$j>v2xXc>}`sBaq_uP#Sjge|ILL0Ql{H$x%f9+ zW2OVPf{8QNp9v{H%Hi=qUU;D>UP}}=zfeY=V`G94W=0P3UVb@dF8HODxa!380_70} z&;$L!KJddeNU5ah4*~K5VDVSkN5V%Uj42~tH;mmwl|gS!>unOCkrTEF6+AA)bpEis zET%-`zV51S>3uM14nKz&(Uf7`tE_KqS;hPvR?z_}Rjq2S<=wq;XL5<UuQari=M_&z zOH=Esrtr)L3G9wIo=lQreR?HTN~=N^n!TWzw4KE2vv}pRTL@}6d*@=*N~`+kn&BUX zO#RB{6vc$Py$6eyh2p(Z1kA?)+eGf2=Wa2sMzyO<&}>uZ`lX*d;dS=BzsF$@e$H=Q zXPgA#p3+w~_4_dbP*!wEO@7`4aw}+uV2rfmcZ9kd)DgSTNrKsTJ*#A>R<J4TWD{!o z-u^h$*SOT?Z3rUXXo*b7r#nCd1KAB#k~(zV?jg*-=<KZK!KV}wn3e8(>SXr#-c};Q zWIZ`@7Z6k9%ZUzKh}|md+bE!m8ZvM+CMpn+LiE?uU1)XF#2ypmHDOFDO(`4>&VGWw zQGE!e@M|wh=U@!+HN9qc(nU5wxp<jD^m|{o<NZ={3pgMf6LD`M)Ls=xZ-d{-YfR#H z^k>ldxZ!oUeHM-m$??SLO!*OW*@M*bmjqP5;gy{~ebIWCKqEb18|*bE(2DB+@iLJ9 z|9V-G4K|7iq=iP#7_xK=mUhuk?`+-ux-^@XHfCknpowOm<{IkQKPsqXVR|AM;Ibd^ zxE4<I*a-aD?sk83#CqD+_kA6c0YzXtpTWo^Ih~CO6UK|`#lh!6t@c&O)N%Ucc+2B_ z{mad9K^AAtNz<y#2eq)+GrN~zuaw_7OUCjJH%||J$kK;yanV5*d)m|2h_-f4)c#u6 zIiV<9HD>n=4)9o(m<%_D#4Ctctt-UdU8HR2E1>FDq`N8G(b1J|l$K<L1}g=%{8W>} zXvIX)pEFROGY2F%xSZ1is!`ecr*2v9l<=+UtbXB-FC-@((rUzj(D>F2o5gq<LrirK z`M&;c<%gP1eOU75{~kGyx>IE%&{V0Gld9P6^&PBM%U$9F-YFmDbPWXu!?pcBJLqg@ zfb!C~nz|)E6uitozdqlMwyvi?Q5185eEXR?lk|`zt|QzWTjeTfXb@Q6)2@+IXi*%e zs1d7XKCF$&W_9J1nT}h_-K*tkd?&Z;BC-5noC*Dk=%X<(xS4bIqmW+`82om{*=csO zOqpCA?r{R^C=)hyse?ImAyeMnQdqQFP)|9ni$j|+Ph7(oqJKIjZ9h%VlAFaj7x{OL z%<GP)3#PIj<bKRc7i!e=j5v9;#Qem*CoRnJT&k1%)XjT8cf@{*5C=+ZVM$kh;Hts+ z>I3~cealEs?pNDhrfl`QF`+6_lS2BZP(8zimg+L)5q;mi(07O;Q5F3XW0C{sIi^E8 z8fTve8~JEOq4ByNX_q2To+y2u`nDrNGSh!%Aj7R~LUHBlrsoZLuj`RMD#TW9tLaff zJ=`}N*Au*{;riOhi^waGX7vjm>bv2U!wbx0lKUfcbp!l;gc~*x0K}PXOSnMi*WMF1 zl%4qngW>_LkkeorctCMzlJ0MgDK&~A*^<gyCqK8_!Tr23hyW-gEmM%c>1(UsF#DJx zSzT=QdjSI|z4p)^zn5j_H@~5~CJ_;_knEs!!Un6p6dMyzAADFOzaYKla1TyBDBwV0 z+~kTT+;<PFUIw`tTI>f51r5bAv-QoOYIuzg+qe?QxxHu{LiEA1@qu8T)P&tVC(NUU zz~HC=NQ%O@RMho!m+_f5eh@*oB7UY9yS_<;iG9ns8z{BeKQsU-uuXg*J@|F-k5>Xx zS-bo#`SqkSEs(cf`E4I$wO~{PKw&6LwQiS4wm423X3u+SnX3Z9inIpsu0R4huYwC9 z>CC*4zgf(A+Q=yh681InZ3W5M>X%SSp}E8B_bb<!Tw-Z+p?%S6)wn7tjgA9)w5v5D z49@6Hr6y-JByy8pw34XTe)FGGBz|(0%yF)mqWQU&pCjG8Lr-h?y`J`V;XMJg^}}(w zW}8je)?ndR@knVGrhKB@edz_&r&1lWKwv1;Kxi4Xp$?5H?k{D&QA~!k;RkyK(EmV* zGgQspB5zxBGObgf{5bb*GdQkE`L^u%>VxZtXs*oNet2$4G-Z(+3YCc8PdAP#{V9x! zsH0#MYr?p2c*?-QL1J&RmS%t$852W5CFC*6jGfm1SdnT7S%Ec*exep4N@_>k%6igi zk^s(?6s==k&Y)u4`|=*Tb~>tD=ZciKj*EyT1oER`Z%oZDsuVzxGW^IC5F?~O-oMo9 z#!t37DAIcxMh^rAB`_O+ed4i+o)o?(KH?V-MAT3LGXXd);*x8hXWy+M4f<#CA`EDO z2LK!gUv>%iY5YeNTZ7{qggX5{Zt$w*d@$Pinh5s&ZUmvo1e5?^k0HM{OH#}0tke<V zg2k}_S&;=`FRlTsh+izgePo<Dg3r0hX%?Nx#P*6Nh&eW(5DMt0xd^q=1lS7S@f(7a z8z_JRI_Bm~*gRz4C;D&z)8hxS00jA9L9{@2=xYs1Ui|h8_MN>{ih<39Muad6aw8jh zk}~8|2xZ#Xt3{j@j^c;=__s<aiC7f6SNIA1o3(5H{MT4zGF|&YKkAf8hXR=skWy7o zQjqN#l``ZFx{tr##=xK7iBc$sd`4@<YBJq4HEIbF5CJFW`u0BqzJ&g%Kkq8-+*~MB zg3g4jW0HPKQx%{nLHueapn$)Ju=2DAsR}t%D7I(X0>h$jubI>Y#4jGdIej#r&}XfS z4*J?rb;57m!Dg^{bvfdQvDW7*P#h?SK^2zIYC)o`qE|SdDcD;rD`IwHSE($Cu3$z+ z5A+UMra&hInU#IaYHO&(#kLv$C=er)0yTV@bl*dg6nr0CY)#J-oWnt16FDQrK6TGi zI3l{^VV<&w&Fw*=Ma_Bd+ben_-PG$()U_VvB}4fpD}rCsgOw3m)3d-?V)J6$ne}rS zhFK(FA!G2%0Q#V}rPb=6KrOWM6swUX3&9GpH36yQcyC@e##lqiruJtQ{s)jH0_uh* zG@#1Wz2c8|f|=S9V6^*qScR2a(cZ=fcig6Hit%0S_mlSWHb>~SstxTg4eb3eDaD(D zDrFj9r;}a<s63=OoBS+ξIc?HnmmfMuHR-TLjks?b|k+nTXmr6K*DWAO)}$>Exr zx&+4#8{kjoD<)?{gNxkLw2K7&zd0Ak>7MB_!tU$hgs%pcT^eyj7AB_MG9kgGo*$vm z?4M?4V&Js+o%P$XZ|HeeA=9|RULkq)(`I}mYtbV73lN+#ZYV^qSSlegD{KDtN2!WO zPMmJG>8!K)`yuwp0JRwj=MPF)Bn<SdA{Adz4l*<t3-)f?&1VBj6j+QTh;gno_k~%N zDINhHAN&6xjD&!T0MNcIs|v*<(z@m~3??ZG)Juy5Vnf-q^H!^j>yc6Y?5y%5s?q7S zAi&xgU#{@Sd#%qAO-4baWZ_h5Qj*bWt3)IM`M*Zga;&#vvpac<WW<wXjcGLqhrZ)m zinrYs?RVNlk(OBe8?jg$KUR&PrpsZp?4#B{fQ1<c^Cr-xIAN}O()#rm6NUgk6+0YV zV~lAwD9}1sflHUNnP}mvImT47>F~7Aq=?kJQ>80XajhXBR(?siFTne1-t_6!P~paq zta5#bMe{E~{B!>^{3`MJsTU^HX5<AN)5wJ!RmBX`g_lA|maMABb;Azeh-OLRtv>t- zLmJVkcFl1G<54ZObXD@B!w%odtj*z=9-;bk=xmlxXT_^}4=;=0(gPK-!(?h5rhT6q zEFqKTjj>kjv(4rzptB^NgTv3BgA86J`E*3x<tn3e?B%MPLd;_9h-@8}V{f_R098zh zMY|y<p9&bvBx+stry;ZKFl>CU>3Bdyt+M;fGT7yAU7oj8yVrWF^|5@ia&b*QuR=Hh zeAPh(s_LCsizpOd*fGVeQ|d&5zqv?6@QDMLQLr`?GeRMcz>Mod*pxAl7{MU}bioAq z>7(%~L6H=3KCU2&Re%s6DDkTmzQ`Tw;8zT7*r*zi6-IjvV27rux-Rixe>#065gYC* zJg{GEYjhO1FvL>@98F$Zh`e&>N*LGIKUzzu+Y(U!DPU}Hgg?Th82z9;Q(zaya`#cr zM<0zn<O*Gxg^-syN;A??oh(7iaq{=pQtlMg7*mJEgxH|Ww7_)gQnW%uc0Gw<)s7*f zLkSMK&AUdIl7y<8&*V;MsDCw#PG`zyjoML7!B=G5;Cq2he1Y2f{X&_!dF-Hi)Jf}W zVUz_RkCO77Ou99Ow-FpTb}%PqoWa$a1@+~u6W;a~jgYb$^d^)iBz{9XPF@gP^ewoO zEu1UUmSVURLf@}kPVB?V{<7g!7vvSn&Wqj9`|Kjj9(m|$qT>#1{N226Nz;kerp=PB z+0<<RT1rsZnnjj{neg>$!&8A<hrd4l&rr-lYZ+?wFZ0EmVu+E<$aVD7!!$N57dcvd zBYT<NZ@*t`XmW_)q%C_D5JG#eFQY-dEGqWHkh~PlDq1Pjb5w~~i9_&;T1w>kXpg)5 z0)A7Bt}@i5nTY`4GuAp52TLX26V8^I^bCHTVGdcZye#)_=izkw3a%!@rASu5kYrlm zXlK-vD#UzYvD?aLM3wEbyYb+3e|RIM7pU;-j5k?o)*8Yljij~t#YiZCvjFo~@7v_X zcTCqAaWkHZ<dI92(#|%O(ACS+@JsbS(x8h!-%p`qSz@OnkH1E6OeO8|Ll&xh`PtnQ z=dNN{Pv_1a{jE?`Z_kvRIhAIB@Sd#NbDuKOXA4a}3L>iK<7}^aws)55s}b%#su?Ip zff&dSmKeB&Q(a!kRrN~qfLK$`Yb<25BR4;o9(R|od+|xkG7Y(lkEJ^y`|<AxY7|{z zA7Ut{403&Dq=0O~V-pr;@%rf}ezqwmkTo9uRy3T#0w}H0kmhE?*41W*8TyqWS1+tR zVj-OQ)#hR`_;)@3{wiJZS*a1esW}$(hRSUDiGKs0!bsEO41si)2A4KNnJ>EMm?B&a zb^MPJ-uk3Mgv8GjxZ9VygGCsCqP1yZIpo&}h$gTJ0D2{@sxrODTs$#Mhgi`DvH?L; zG&Y2umqg!9M3NAM`al-|w*9pM3H)!pOnu`M28%WPKPjX?<g&zr-@eNpnQNW@t~q9y z(|NfNIhw9EhB^siouQrX;Lb{}@+2j%_0o7j1`AUWk4cFia@cMpLRTh(5+LycT|6wO z`{{45;NDlWLs*+`IZW(<w#{q+{kvPB(uoRJ<cl&1!qr<C_?Ggrr_kH&?zQJ5cOoBg zp!<jQi2>;0LglGGb198ouw5*9Dxk^(UdsUBE#O7%aR_lKwAq~=C!VmaZ^;+Cd*d4G z*w(N*x|998tWDSqe+q01GA`Xda`C>Us8oTIva`@de<asp=)(8xC4-|KuvUE1R-97w zgl7WG!&v&FQbsRQi3halUlL`zkzkmo3wgem%!1a7{9d+jM69#cBSND`+4Za)X~LaE zrnh8`(|?LY%01WQ1oa6XPV2tl*u*46>#x1+G9nb4tar9Ow6a~g|Fk@6H#@#llipfy zzle6!;#f{wHFM;@o=FA&NP$_-`0iC)@%l>CPurnlspbS^D~d8Fr#H=B4wYY`*F6f0 zEQ6tK8ysCG5@8fP&TU^ak>=)e+*6Tzb1>6Nq{+61r7~WN7?vbfHt^`Es091+wT6BZ zN4?3NEsgt{^5EOm9>`+^?h;F;+y!`%c#r8$X0I#MPUU}>)PEqeGj>+ZT139){A}HR z7~UO0%9CFZ66axg2&pTgHz>|=J`mQi*TRJITYu#0%Ha=))wfydNG<q&vz->viZ#d# z&=6q4q=^v^YI+s_t|y}|Vqta3nX+4Ixzp6ngF90U60VO0o^w0zzG@6SgFh;!c^@mp zQ|t(Sq8cLj7N!>Oeq<YY&2KGDRo5VhZfCv{^_;YqfxYnpgtqq<PmLkBXN*dglE(x} zxAsIKc|E|^YlF?Wm-DLOA<S|D`;w5^y;6cVXw$Ik)pp<~5$r$3k!h*N7U7yDHV{s* z?9li`pE39F-lK<RfY}*sz@clqtZJDQrGnr?0iM=I1Q!Ee>`%?c_A3Wi+GI_(!o)p{ z&waShToK>u5-<WY4#cu?vG(-xu(3oe83P{xpyUv-D9Jn2o)0n~5gTT}Z~$o5{9kv0 z_MXb^0!H8nB!Y!o0!d-D9zb^3fF%$IS{_~3v246x-Gg;G$<&2widVe}2N2peZhJ3& zr6CdBOC#A!wEFR#;dS)&y>ciDhiuotXOS~y>LF?EmohF4J}qc}n_m0;Dofthr@x(r zZ#)HBQE~Wt%!n^pu-4d+?;^0wz>(z#P%+{3+Znt(b62y9j=VT^X$xe#7KJJcXcN*v zqb6<YrgGRK#AQ*S!KMthRDYyU@b>NV*u>!x!$5ZGm;_q1sZ-`ahf96i;<jV-YA=7r z)B|lVrktj3ji|Cpsa%n6Rn)sUp4D$W%9wLVbleST1bXy{pFzFB;1-q2-l?#ruK-Jx zp5Z+X(Dq}wy3;@faZ>bv1N<E)l*b-&&-Lfs;{C~sp|%P2!TA@-@sc*Ym07y`9VOb^ zofx`$!R5o%C#%XK>YnzawGy?a>6R1Hf(0u_UgP)W>fIynL_R&WncwosH7=#Rfvp!X zZB}qqnO?poc_{H^Ppb8zU!PK*b@9kZtiG10U|4w;A<Hvpj|BIt-{Mo3L(`V+D80+* zUUjq+@sxHma*l)0HQH<(2OEo**o3Mq?m&~cp}#Z1^O=JM&5h9<2anl}*+PcwLZ<gJ zMd8!-BPGcxDZ9G|rr3gQ>9}7iRB{U^IxxK`;gvEzLZR>eSU^UCr;O++U)C?@{Hpd_ zfw9xnnbaIVl}_jG9DIGBh<?4tyue^x|G&I}ID89q2V!l-V9*t<{pr&$`;Yat1;zkz z*xDs;;5gflK+&BMq<?}HP?dTW_TCXF1RY==*acSe&<SX=6C(ptLYRt~eQas)gaYcB zx1$B5v4~kuhn}Xr9birH+gc%)gGv)9jz&<gG!c%}vwy(Bp~hytaHpG6b3s=s!=|{^ z7ptUC4Jn%u=dsJy;9D8D&vCzzC-g-pm`2W;Vk<V6e^h1@XKlmZ>{`_QzCZIOf_9p5 zE@X`{py#A&xNontmXY=q<!vK2Z%VV*Kvy2ILp>_WH0oX2F9eY-zj#Nh8Q2OVVn@%G z{FhHdnamxANC-wXEfa<680bf9$r_ombxMgt%fjFQ9;d`v2kM><juTkS*thHYw;Aj~ zp%f{&Q5M&)LAHnzEfei1m+Ln>&|$4Ay@ksN6~UVdmBw@z+%ZIuCp@wx;BdJ7nNTE| zSodv!mhRIk>@mo5w``Le7gD5(+TrLY0zs?aD?S>;8jgKg+=#D0ur5ZI9lTjJc-mfr zx`u-o`1pKN<9?`VFVGUTXfBwMgQjlJ!R`wYVJ+(=TyEsl={lx(CVnx68cTM7y$R!V z27;kzf8t~Nv-$jg_+aBqitc>E=0Ke#^<*i)pp>ewDn!JwI$uY<grmL-wa?NRjlg{f zr>OP5XDU|Kv{YoTRo=(<POxKe(J?ChB1_%$>yw%vwyr$;>|y0Y-Z&k)3;Vge6w;^I zwcOHg)MR1FXp44OHLF%LuNp&l|L7(WjN+q0l>&PFtd_bdOB`nA;6j9*CD~27(nNQ* znOwErA&mYgrI|~~UaZ5HQu8bQvr)SP@TAFdQ+93mH}@+|F_y~qRlM|&rLqrFiKK5( z+DP4}_jVcX!Ufk^V9c`AZgE7*?{&^9M02WfMr~K6QBt~*OU&#slobUXDb6==jjWrX zT&3Ke=GmK_7WHQb&%bSsNwCsmwJDb6AE{E@PQV{DyMa3Nll;muIv{2=%+O?lY$-o4 zfZZsyE*O`vk@2a`TIlVX){<<H-}qbFtgB&znAA1+C53wGkAuhA2{N?G^+vMIOsv&$ zXX!8KH(v2i9{9K|n|#@pF-C10G}O${kqct;yu<du&6x5$PFtSA1v<xt8$|nu0+knL zm|Tu5q<#&1&$;8weeHOI%8Wdhk!IvzB8)N8$kH<#8M}NE>+@`Z3&w-4p&wYk`U)X% z;#o=@5$l8XDe#QN5>{H($HliEt=0Cv!?ii{Ds~4m<f}UIi411~VU{$EDwds^-7a29 zaMNC?w@Q2&+y)6G)O!nx+%|hicfSdTarG=*_FyJq>gIe#&CT;Z^*dL04hvj!<t_`; zRNjyvoi4o5dHfBr_isaX@9&x|V|&e4VV_-rB;fA8Fl=o0)OJciRT?hEkN2D=*2C{o z-C^ynz!x}!ADktTDW~u8!Zn+{{#6EI#Iq|f@b4VkshucrhuNX()B9f~$?^c+0YER- z^hC?1xP2e{fB#3<djsQuIDL2b+rt=EcOW~rX|n$W3twOk5GUq}>iD04YVmS+<3E8a z09XLTsqNr4BbQa{L}Hn`!v9ZL{RGSc;(!lJ4^v6@uE9(3fY<*C8KFRQAgCP78b$Gl zQY~`s`XAj90enElT7}a(UV^^sKF3G&MgjjG6hv<nsw^%lkBA^IFAOUkmHNLcf-@a8 z7Ee=1K~z*!K$b_AUr>&ZS5`qlh(|;~ME<3mfC#S~51+ggt;GK~#1xBL&Bn#n%Z^q= z;NKL;24$R8RnxU4>p%ayoPdN|b`fv{(_*b6r)GH&=xUyald>0okXKAzCCwDF|H&lC z8>jNN)jqjD-KW5P?)6Fw&s1EsvH<T(#7UcATzERm<5NPGc}K=BkLTF~qe_w!?`y)m zaBd4Gm86fn+Q_J7p>(ru?yR*unatT79WahJNl@z95s412!xXts9Iq?C5F8XB&l}#o zQ(MrJAtB}nFfP7fD;V@15#<a@Dh3t3sVE3<B#~O*)-FSB=P<rIiQ=jbv6;lUN(*ex zm(5#7Vz&$nyX**OvJ2O@tJUN!v?QtAVPEiggYHZkz1vWYjFV;29(G_Z==3SBhWsaI z$}@C!5;<oQ$CzVwWx9r>)q?WU(D3P%Jon{yS|`NhGQ5BWtyyqo4g=fB&bQJV9lM9+ zsA2LhF5I++^7?yvSmUnXQBb=Zem|#E`cw@KZWn=wwdIU6PJ|^O{<{{4>e=BBF;h$9 zRkl>b1cz6nqa?158=!>qGN3AmP?g^eO&$7Xk7mIQOTEW8y^-hgylA{z6fi#`3hJrw zYDEIKgpf>Pb55dplUA>7i%oQK94!F70oPrO60)T#6P%Fg9?!ZfKw=S?6QU)hK5Pca zyrcjPU{RF)7?CM7b6o%P4UN$IFRuJRGpB-yWyyarprG+k7NlU>iEb*I;|D#uyp*r< zI;aRDlVI|@{_?-$)AyDu(H?{ESO~Au_xhA5lxM|n=>k}C{EjXwRQ`tlL+y;~nti^` z>E=LM(9=XEN&xq<pVQ56Ra3P#DJ1Jd-lfyd8JQ;azo4#vTyI6I^Ztvg^y7&~ioyAz zzj)i!`2Z~qa?1G&$#?!&xoCA)m@ZX0MF0NzX;am3m@M<}?J+lw^`Xu~IyLI?ol3rX zsXDW99%{E&m`be_y1>2zU+u$APH3_$*7t6ji7T^r>v@i1eV04p-sLr;)O)%$PH=<L zS0h}Ud%6ur^P%c`X_6K5U#u4oxxLGqzG**os0*guJi%uOM@sv>*^C4Cqt#V8p98c? z-|QiI*N``L>F))*>;;)khOD7270_HF?D4}b{u%+}DD<xhURq*b8wPGFK7jAqm~Uyi Y-?iDnA}Ua6u>K|`79*pg#!IaK0l(?SdH?_b diff --git a/Lectures/L24_SpecificationQuality/SpecificationQuality.tex b/Lectures/L24_SpecificationQuality/SpecificationQuality.tex index b3576a68..1f2592a2 100755 --- a/Lectures/L24_SpecificationQuality/SpecificationQuality.tex +++ b/Lectures/L24_SpecificationQuality/SpecificationQuality.tex @@ -302,6 +302,7 @@ successive NL characters) \begin{itemize} +\item From Dr. Baber, add link \item English is a language \item So is Mathematics \item Both have -- GitLab