From db04e9500097053f6e0addcabbf88d71a0ebb337 Mon Sep 17 00:00:00 2001
From: Spencer Smith <smiths@mcmaster.ca>
Date: Mon, 11 Dec 2017 14:45:44 -0500
Subject: [PATCH] Clean up related to last lecture

---
 Lectures/L22_AssuranceCase/AssuranceCase.pdf | Bin 3221764 -> 3221801 bytes
 Lectures/L22_AssuranceCase/AssuranceCase.tex |   6 +++---
 Lectures/L25_Discussion/Discussion.pdf       | Bin 287991 -> 288099 bytes
 Lectures/L25_Discussion/Discussion.tex       |   4 ++--
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/Lectures/L22_AssuranceCase/AssuranceCase.pdf b/Lectures/L22_AssuranceCase/AssuranceCase.pdf
index feb0be1b5314de0cae344c57f0ccaf87ac0f6136..d01126fa0c7c4da67d703348c4ac100bb2ed7867 100644
GIT binary patch
delta 11941
zcmajlWl&sA7bt3AaCdiSfZ#H?ySqCChY;L`puwF%gKKab+?|8~2@)I<9D)V6GjG0A
z=l;Auo~o(tu3fcjuU@^nrz7V_;HzO$nBaLKscZlsSWn$!l^e5n-|+kZt_i49DB-Iv
z;wpvX()_(EVxKMN!}26$rR?i7>$G%x>##4W7OCJN%SCE%E0Z+<e?#MUlzjWdjVJ?t
z2Ge#Xycc5%hd2CUI?lIni?8VX+!B~%2ZEkx>-~iG;t4osy0ab=&n~`lDee$-(f+X-
zM8k<CaATU8!e%YAA@l%Vn{W)bcG0Sbm6WbL%A4B2a$DE;eQ*BWRM!`$eEDw<Lh*bV
z`6y1m#l)gd-8UoKHCKI)TRUo<$Bs~9yK+M<dQm<jsYFt?&8{Rk`F?#_UOIJ1_*wT@
zJ#;dzH(8rtK_ZNXeW8M;kNZ1Pwo~@WZB5r53TDe^?CQAY8Y+7!pye02DRd#0a<anS
z_NHf6$ykaRZem{rCXi>ur0|+0go92Sa??n%o}`TPa|`^!jVBzYpZQrJNEN5_Ly1B@
zuctU8ky~=xMqNgq>FHAS89B|YHGx{GnG5e$71uvy&mZukw8#7ELg~CYE;;D@7R&<<
zY+`<l+0m>%q=tOK_Mr**^inPPVnE3NYO)KZ923(kzE3kb)~WQ(dJxsz3-@c<k!1|c
zMRm+SPut1wRjeYHFxZ*BBmWAAr#h7rLps`DC(dc!>q7a(FL>wam2aQLat8M*f(Idn
z2LT?+gMff|gN-qIJrCCBs-N)acprNYfoC8jgc#l-5JH?(0US`s9fB|bN0(~A>ptyy
zi0U5uxu&2R@{Wj{5F%qsjSmGpA^d^IR=X-_<Pu?#NR=$;C2aYxn*fUcf`A3U#y<;q
zF6*;a3`J;rmhOO9TTv50rQiWg2-x&uSl2WcGW3%0&Fhos|Leg=1c(8!WgROXO8cZ0
zL*br4-gl5eUnT;m2MT}(0edJ$@masOgB}bg2LF-ke?5a}fFuC6bOMTb$VV=_-$HNZ
zJCz{C5kLZ{Cl-JmfY}tR-AYR>37<D%Zx4Cr!$kn;!Ud=zny5DVL(uSG0l$Y!j5}0W
za6X#U%5W-)hDJ9ZKAwtTji^{$JhSDne@vtC>b74sz@@@kMRJZ$-oICFd#*|;S}9=n
z#FdTiDf#Q={7^Xb?8d6A1ssl6w2hD%d5AS)7KI;~0Gc25#)h1<x~{ac&eH^>LO;x&
z&@IPv+c<%s(ROc*owvJ!O<pFh|6T>Hwd?qbm8-}!wnfq&4$09X?#9G9x6_-mN0uIC
zrg@bJ&|b>1S<AEkRv4w_-c~LvI69N&Fj`2Jv0mojtSdIo6R3+=vEL9*&HIjpWbUq#
zm9PI1f{70x)s#|NSorfpPpA&*&q>-!`AmC8Ow*3cu{x5;t=6M!f@opbT1-E13GsF6
zxLvikSzp9-&%XUwLq61H7t@(Tdb(feBgpKAtHYB^xC#NU1@ayrAOt45Wc}F@Stpv-
zUC7%~k{6U4Qj8ol;ds(|pW+g~xc&tpQMO)&=+h_73h4w_Z{M-i$1K`40|Q3?lF_l|
ziS>g6EaPuTq|Tz7#nY`+Df$MP8+7c^wU20WZXoX=+t)NBo7R{#)x*`%q-qCGS6A8=
zIOD58<NnT=n^FP(cmc5Gn5t)8LSmSjYvY>++3fE~bH&Xcx9h>KNU6MkM_V<J)ILQu
z<Iru#v5YxVNKYoFww7E*oL22I$|?&Q@1CYbPB1DjZ#(X2F}zzcjv3cX;nP4!<rX?U
zV3gsf>1A7!aL%pQm^R+qOj$ANmXumc{$VK}zjHyMV|I&+Zto7QA^=nZFy)zFl{jaA
ziK5Au(Lqf~0KXA1QxE!WFz)XFBIq+e(|HgGAQt2RLVz&05M-MQzz&{tU**Q_-DmgD
z2+O8pb3fwzs?%DzC^##d8&RUv1jkt|SFGOOH$3WdBBE5{JvqoIUYfcQluwpcL?JiZ
z4QS@m&1U;zIVht=Pqr8<rN*O{BNy^vDnhd#=^09<`(cPSTk08WMd0hLymI1DQ5()m
z^Osj-o#-dcdmQ(d85;0apE)&U!FNLKC^8~SPSvs|T1uXJ9;ES0a&x(9qr)mvH8E93
z{IBt={$qAOM!EkE`p>sjIFIj$^qGbFW6sB;7I4yiU~OiT!$XNt!L_A*lgjE5rXf4$
z1Z7DVGmK>&t;YT0MMTJ6Y~H~*mHtf1N93dL5(_W={im^f1XCTjgubB<cj{{EZ%LT=
zw`iO5v6^+CjYZ>QpPZQ#&sy563f@Rhc<OOa9zk^n<C}%#A=}>fW#geF0hXAyZqaV%
zn)L6yXZZ1j^;JwLGpxr*bLSA*sppTLH<o0q!dVB|l&j;*NH0AVcr-^vsC@9}d6e@n
zLl+#>FEDfbaAy|5G&b3&Ja}|C@7(NbYHu2m({l_Xj(zzX08>BxOtoeWya4LMXl+72
zUqF4hw*mUu`g1{c#_kIJ1(Y=-MtB9ilWKh?!(8p8;{7%^nd0T-e03FBy;v-sM`C(6
z#zCjYl#NS2yWS<r`sy!aHhtT06B*i~DF~Qe;)zJI+z4O*E7_9)^2v6yuV$S-^_M=%
z&EmTV=P^6O&3P4I)<a1`euBts&?%Pp<ck_BSjFYr<h4cO+%MiLO%l3*0&M9_raY}U
zF=@&FoPD28LF<52djoktX3=f$tuF{?3x)xrq&<U_bfAH3U*xO`nyb0#Oe$i>1I%(u
z`U@BSM1E5PFSJqn8wPr;w(TzOEpB%Winw6+2ARtRp<7qEubi(~qAh(u-6cr+iSpK_
zAw#3CaZMk+U4~WlQ}=042jc-bWf(R~wZi6_EtX^PmV`@$b8AOsi7w7b9x{d>?x=NH
zc%Vh4I5Kj$VtfTJ`?ATW3MX%`o^ylI!(z*Vd^fdFws+Jm{8L9OueOmjLe`T{!D5)U
zG{2iYJokHE;dT{c{nJc}#x>g=#;^XHJJ2aAz$5^Z>9YF=K>P*8E&p%TzbVyB2OvTa
z{=fA~=BCGYZrt(BTSFr;5dL+r1|>^R;<J>DOnAG;Ds|7I8^dL(D&^SSF=!mS+<v|Y
zaG_OrmLGricmdkAQx^{K8^YlzLTbGw-DcE4nzm7n#K)9VF_AT3DGXJ9@W}eWXq_UH
z=Bth^`@OPxJ|U8BI(Xi~?tu$PH1e9U>A4TqC^QWbl?3&M=ZD!K*vag%r}0b@(5EH9
zzxe|Bojb#jsr~(@BfhL!r2~b!oJt;Qj3DB-ycJ>}kF2@Vr|0)fy-KsYloY5RUFc}h
z-c)6yei#q$ZLQMMK>A%0P?FxWm;u*lrn23tVx{6BCpB{^d~NeKME_8Ub%l5nGfp-Y
z9G_UfRPjEkB-0|=Q#)uicLs0LQP<CUQgATP`Hx%0vFd7o*f_>60!eaa>||O5B;el1
z)VV=wZhS(26T0!e*A3`)!2xz;J!<n4v1NH)l=K^B;xb@}c<ghGc&H(}BV!?U$(0&P
zW85+){~XWT6Hr=;HXHVCL2!XoC^QBSY^l<;Onw_datVlnYEfd$+E>!UJuM4b#x)VS
zekM`aB(k?I{ZPr(|1&~2XT?{dS+>$~efc>QmZLUxIBkjFDq7+|u#F$ao13th58ga_
z^@wWtBDQ)~Qj_mXJ@*S=8I{lrn}}DilVLwcyqrXq1gGw|9<Oo-dCyhgY=4~vzv66M
z1+KY1A!5!<ZQ`A+N#(B{?pF7Grtl+LRe?0%BJ6*(UtJAB_-69w#RXZ!I#5ZWQ4d%t
zFiDklY^ssf5eCT|4N#zt9tYy9MuENGR5P{|7GX7VCz)lcP<@VM%iKa`sEW_Be&#K1
zscEDTJ7ZKV*ni7MqmR~e({eS<VLqW*PoJu5p0z<h`6G{;XycO)s>Kop!A8-#;gSd3
zp%Vu<p7`<(dzs{X;$QTpGXk{0$J-lWaD3uz%7F)3*!6XcpDq~M)Ky<X43i0!0$L+A
zaORv1yQiR=^@|A{Xbcb(S49LBse3HW1jaPo0@NX*$^oWBEMv;xC(eU@W%Te!c~9vF
zrk?`pH1TP<k@7Aye+PJ<Nt8erlDn_x8U=mcfg+N^ePIb<C6sb1dl)6)YAd$w>WVOw
zt28tDmLB6JW(gJA*uAFtR5FDI^{*llJG@6WW`S?jN|pCrN7Zdt-hFJ?KeHU_FpS=R
zf5J-JUKv*AUxYsdT13nH?8x1ZJW&?Z+U6SBJL?uYM~4RYHF7Hp8(t4hUD%Fa)o!cw
zAkoRt+&ov}H&oJQ?Be_se7@ro{$YHY#fY?aB4)v%DsB)66#0sx8~A9yk&WV%!oGhQ
zg?8h_9dQe6ngDjKbEwCooO7S`&ychhnN2~bmn|mjs%E32Ru<YKo`!!}8f>Z`LrVvv
zXB4j#+5pv_8G~1yViA<X_Cw;ASEjeiGO3r@$5lcWPTh0EP!A2Te1&DU%^DOle2!7K
zAv$S0Y`c5*gYm(XtYW#d;`gljO)UyhE;son_g_ao1o^7zI5D9Ecll?d!J}*M-~#MP
zA8SaD6Pe&ssijrE^S2J{)IVj_dRdmhp)gDs5=3pIA(lvt=RUgP8K=fnxQZAqHk-I6
zeXZM_7ENGpIbERx^GltL)wkOkJ~p{Lx2vC;U2gN}TwbqamS2?wUSf%{<vb_36_&04
zxg4z~oZ?M!$g2J9qM#xs#k%a6`{e14r5rhwT!mFLc|x6;B-4tK%f`eR!KM!!C6Xh3
zoBqiri9XRmU7+4ZjeENJ;KXjP4j3idFDly4caJp_#W8ivxZ;xkA&{hfZ93h$<M67T
zdmEWDZB-J^C;y}5f8`6BsPc`#zi7>50T9FU{cmfSuC6)EjTwFRNF>pYkI_USghny~
zmD(9tq}b7F$7ZghXwAEO>`=AVN)h~k8#6X@+;L$GBBz!bme=&-h?8&nR^q6nqw~g^
zRu!EsswPbNY)^H*-#7~MbZA6NT*{C<7?LUCNU|?8&tiX0l8GPrEgC~;b+G;5-QudG
zB90@Nh>l`{d5h2mV3#k0W@p=x=x!k2oBw9-+Bz6w?$&*7xckYTmm2kJ7%eH<GUCUw
zLteI0oj6WB4U)|-%CySx+5ryEN~D?gD3KQTjHg8-&yn-2$&aM#;~~v+Hf@+I*Sp-p
zzoHP$_)RiLgL8z8IbXji^DCcMQl@<&_uI<`XKA+V^!_apAN48$9tpMm!F6lvBKsxa
zcI>OHT<)58l;|PlamJs(<jE96aJFS1QX3gr*Hg^wgglJnX7nq5X38{A@UMcgi=Djt
zoF+RHw`++t$Xo)w<6=XRMRB;uBqC@~6tt=|2uhw*ymuw`Et{imeS;LFxAYlUm>hRQ
zfD>TeV;<%%xn0o3^z4t+6^s-3?;8cO0f-?N3II;X01p5Yd^FtbOV-s&rG*K|x-<A|
z#i(NYrHMyWx(O^fr8mdKzG5@n7$JX|nsG<%h;~c6{ax*o5o5evKLNcoiAu&wxR**1
z&<eFNC*-;Au;2It@w|0r)Hbz7@#uSVd9*`TRd*2?;#V6Tq$g15Ih$Ee*0a&qnT9!l
zNbxLrm7o?nm>r8%7rjibEqe7twXo3X$IpESqAs4`iL;u#rBBbFiyMF@_>mpVsL}Wu
z5ju?Gr_;`g3}?7+9^bY{-4lkf_Ot;nn^^NXrHe@{NYorH{6>_BjQcmEtrPmDv2Cr+
z6*aWMq{4yOCH|P3q)visQa(%z?;8JreqIM5=ejRYgBK5{a@B(vw+dD1h?p!1!;gRY
zq__BMlXuOi*g0j<CH8CzDrdJJ;$LAMpBv!{Tl)QC)FDj@=>0i$=OKnov97zJLby0O
znV8(_amHB7_D*(m1#-@vc`9Y9DCywpY<(ZkO5ih8cRoXu+KD$qCNjso0*RpIU9_7v
zZ`s^?E8^I5`}4_WvWo96srP<?U}VOpKG*=tsi;yCRA@GOV?&7}yIv>LRh$$*hEpWD
zbfaFA3frIFiBX6B`<iL&08Mb}PD}^Xb%oH}3P(MdZG~DdJ}YXaM0N7(-sV|~?83XF
zlDfoEYK}BnY|z=o*K8ywWoZjb!fz(XoDnw|M(8>~jn6vx^&opQJderCol`%JS5ws-
z#zTfq#y+NR>VD%rdh+v?HM55UUbmKVQ)n;z)EzV%&#pJ$?nf6m`69tiQ#pioeT+nz
zQM6`y8G|D|bZ0FT(660S)FDgtV^6=H8VU;n3`QFEif|Re6-e>8i&cj}rSg-LHh>Fv
z(tyJxC8R;tAyNUIOE?AI8hfNaQW71C{AZVOZ{7E=j3<3=QijKOd#0Y=wtCAt>KmLX
zK&!{ywHua_h4sO#MzP>{iq#@F3c+*G^qM1y?S3FX7=3SCig-lOmMN3Isnc_gsfjGv
zWGMiXN$1hj&V2ncPRY5|0G{ht#(V62G!xXs{a#QPr*Kvz(GS9Cc}<1wuD1#34E+~+
z%%7%sO@D-(DV+E{&-;bAyd%Ve&{M39bxDw&1~zgb=YI_Q47dm9hr0<zO*r9|1!A}N
z`^gSnvK30Z`r^<HUK7{9xCo6+Xm(`V0v*t8(jN4PP;O@x5SP@yBegBKWZ+JnYeoD5
z9(gU*d!D$hVwE;j5&?q_#ui!^LkT_?$yCwAElA^6MLj3Ri%lU3wT8uuXJS~)sT{Lh
zA97EO4fY;=!Tt!wE~iKf>@G+P@ODI>u&s1)4asTt6OzbleWisRx*-H9R(VYWNT_Z_
z)0s-8J6Y202nCqm@#E-!TS{CXG5ICQ;&9Zbj8LPvnmpO%Nt@rWs973n4gIA@^5~H4
zAxuytsK@RLlseA>W?l=Wm+49`RTq7Bjb)&$74hI=F;WH#hP6$<<!~vEK$vfO6BfEy
z??K@H17lfmwQcx_8W<y)4)2dVSYOFoH1tcE=BbIv(`Tm?d9b~jR!qU&H#Ux;Q+#)%
zFG~?WIs;KNwid@rN@JJ4ep%tNF?nIn5&qfQG;&<$H<wT0`|;{<ktrE@oG-nvMk&b5
zwA3cKabhFZ_7plQSX^yet<1NY{)xfiA+P)NRf`CHYP@on^ST3U^1l7C0%>TrYQFD7
zk_|YQnQq)IPSuw?zjjV;&4n>oa6c;^dAT;kSns<`RJY1f-HihL-|0_T+F;z>kvx*7
z#lof<AykVCfQ^7z{Zi?!Eg1@*CC82QuQ`+lfQW$U@KE@}M*Ib?bC6m1zljMg<^$ZJ
zVe*1~OoFNV;qnj_9sf0Vhyzdnm?)PG%Q6x#aN0INy#JaZ8&Uu@L_0vDGvtjlfD%0A
zl81cIR=OPFld^N6&A1z8-W*2dhUCJxg((bHR2i^i_2&>ENZq29F(4CM73pO7`^^D6
zw^JJ9YmI8V2Dy70y6s-HFmthK#&+Sk9`^%1uYWJq#(0S6$_gklQhEf*aa4hi_&pUX
zv)&hYveJx#07V*!djQ(J=mpAFn*`Xu!o9h<>N$Sy@$p1*`Y{5}0fRe_Yk-iKelik{
zT4}HX^zaF=$|Y2W1&=`nr`bwOoQ+I<NIH5!uhk>#JCBba$s&V;`mI!K4MfQET`aa_
zmK=UC3fC1b4h2Zha3)wIFFi@SrJN$gf=2mE9IhT;-plgID9}E>Px)}SToR1i1aW8~
z!aL#>@-6SN?MbP1Y;ZJ$xCsb&?}@>+aSQO|rhPQl7Wy?BE;!yxYXYn-JXnQeT*?hL
zx_2ZLNJCH8oQ<F0b8^<9FW*y)-gBo5RvSPTcOL}QeIn)VrL&p_x~S3A82>6=RmE^{
zjhTAK$~^UXWycWrBhNRpWpr>$4?)fQ6zBPMMW;6N-Us!&>nr@dtKhY@82@O)vy?V@
z=NjsITbdBD&?}(<EqT+Zb(=d}|8Dv9ZRtv(&%w@$gR3KpMTINcwH=Gw6-o3KN{T;?
zXwBUT-`J9`u9(LtwRBZCE3YnTg6^Fw{;d5d82+td{+g3@4|SEsk`4qDeD;;kpFZ?{
zbkNoQBW*mRUYP73Iiu4%nP(h3dB=->TyW)P?=s~x+}7A}<GLtS^;%N$rvUKi_niVd
zeXT+u_9OKgP8V+a<b>XejhCCRL(QiBBxzUe2o+pcI~!iG!8%lbml8@vTDz>YjY^I>
z9XiUhWfD*su=s^XRX<IHabx2Tn>GW|YU_$<2lL#{EJ>`QCjB2dxH%UnA^+K;k7;83
zALBOiv9?1j)Lw?`h?1C#J2Y=w$Hsrrj4${9%0Q^D9Kaa?lliD&jb8E-{8!|5g?~d<
z6<}3J3LAg}{I5*xJu|#pR>rkqaVK{lfQto$*9najyGH4om^S&yJO$;KqmnAg(vB3r
z_$TGvawrZ19EE8PIFom@pGs-T)l`6dn7@_i${RVhLp`6X4>x;cqBppCIB2XW$iWMl
z4zqb2@#-`w7na;i9}DA2`pSQqFZ>Gj^o*vSWdqB!r)<hr7@5-Mv1Q0eMCAQ;4uMux
z42MK8lePJ13k<J5*({CrmxSa_=h8;XOE>CxB7d~IYv%cGqO^osdJ`WK8>b_s_bDfw
zUSU@lAk)yJTw12h?!~J9X-}Sn9wLS_+Imcltvu%)V&HS-UzG>J%T?+B-NLJ}v!Bba
zd;zYEE6Wj3kcXVIw>TL1=&#mF=&T<4EYD({N~~3=0qsc~jc7<W*POGJw`H&?3J1UM
z8DT{ih$YXqhE0l!Q&5GsT+WnBN9)fRH%;_L&*{XXwojIABv97fN`OGQazBjM;^!t0
zDF`E4=<dsmIBXQi*R5%E{wjW62sGyZ-c0Z++XS@aqV==7GyR?x&;y4U3<r7lOhy11
zRDx|i)7vF_OtZ=WaoEdgYjM;GBgzT)wk_#I_qU}S9!@RTWLh|)MrEw=p=YUSvdc24
zH1$J#@vf<-LP?RhPHBQVQqhcQ(aaHF7xp&=pM}`9r6pN)W?i?%_`yz)_F0_82la3C
zSKtpB1CnFlbN&KLlaT(NuD(IUStS{wVJ`sKpoSYcu1?OvsD9f*?Wh6X>7DE4sXI*q
zeS(}xT>(LScW|b@+g|Bat<vq!70o}FN2(NJ93EVB!9@K((;m?VeF$Z~U@#-l*W*JM
zYwUcPhFU|Ln%1x(jqgKai{Z7IRZ<CLi}|Mztm)I0f&?ml-qu>lE7-{`_BiEm2Cc$@
zN9jn5CzdoYvs^5Ly1kBa(gP`hIwS#qcX~d#EA<Fd8f#R_{Iw&AX+9YcRK)4s@b8Oi
z2ol9bX;n#E9B%SNlU;|L*yb8i-$>B1C)N8K*qJr=1%Aq;&d(GK9^VeD6)sMylFaJv
zavACp4LvFQri3{v9mT7He8L661zC@St<4r5%@_T*PSYJIP=n=o=lE&;H5|Qv4}yUY
zee*VZNuj%MK9qDLuB?N~pES*V=A!>BT@Vz$|2CQSV@kO3-A?v~WMt!Bl&NQC%lUGz
zflL|ZD|D>_fmqY~VA;!Ta)k7BVr)J;TT$;>fZL7nO1sG@<Ni~%bv|Qkb^?h6pR-Ny
zaqr{_;pL3FRIF0`&^K1Ot9rl5)px7ZxveJlA<;kDT3+FP9xFX(I@gZl%-2oH|6AvD
zRRJLYOw5IdWdLlQOZ>C#{jd2<0{{hJraV+GBS`cC0#AmcAatt$f|yYq01P4w5)3j7
z3JfX?8VouN1`H+)77R8F4h${~9t=Lrf6pL<A%Y=>A%P)<A%h`@p@5-;p@N}?p@E@=
zp@X4^VSr(TVS-_XVS!<VVS@p}u)}b`aKgNSj_Ppnzx^+Nv4ag%bz!IUeOK(>t(9^I
zhl(EjV$swhZc3UN5lxv}gULUdr_ay2FM(x<4pwRHl=PF`CdZGy{h7lPY203+1MLpj
zd@=X1qm9(mqSzmDBjH|nsWT~~gV49qXM(!*u{5o-Wu|Fv-%rY`Sm{EQ@G%2za-K2D
z!ne4_07A(vOW>ZuJru>aVoYKc;V$xf7-?Ex3Gsl%l$2NDW=NLZzC;>wgsqE&+j3rH
zY91{PPPIW=(wimP#FC_j*D>dTFZTjQL8&4I5g&!$@$SfdV91g~WyLyRYxtn^byE2;
zJU7KdPPnpqap+<pe@uifyplf?5C3Hc6@Ig;HH28h-xEv{$4Gh@Cv4OztGgB5EUim@
zX|-mwE1P+3ziOm5^v63JZol4+)`&03Zf3Psru7tIuAL6kyptoZZM;2xgY0ZQ1=L(H
z*z4HTQRft7_8WEvX?POM*v(@2NiIXt#;{#%jz95tseuPjH)z19hUH)*^72595pjcj
zJXQ1~1`r%cOOTy;gJRxuXM&0-kx;?0Ys*+UD^H-IUlRgyfK#8cinULjdP}56oaSV1
z@bz^Z^C(%a70I}6brA4nbtN_!$+;oH^m-3hykAY|h%VxHkS>-wq70Dw)KTGLyX&lZ
zEukKY;TXSXhXv6ly6AP(!1ENH>JQsH5Vw1@3IgleHcdHvpm5fc(BZ7(%-elzK7SCY
z_n6w9#U?KHF@7I2K?2CAn=HIN)(9&v!FzwHlTqzIo^>AE?`R-<cJbh#B^~PG)#Hot
zH^Hy&eFyKT^o5Wd1MBy|{?He9btqCuX{x}@#U7F-7(;+mwDPZXK@)q1x$SgbGcbtc
zehd6qIvUV8HXamf;MmW#9R){Gq|s4ka*yMiH15ZI`*Dj8*-+JT&-l6(q<-B@Y*CQ&
zD9Pur!Ua9^m1dyo4u)s#SZ=5%V;g`ss#YWLl63zZ`-A5x$4i>1^Xb<LO+!$lM_h#?
zB|B;74VKruHf^cCr*XGf7~yw*tcr1nV<In+<jBHbZ`+|!W7c`v&%j{(gmIc@ovmQk
zQ@FZxir45b`fxZ}CrU>`_E?t}6bK_;91!hZE;e}3|Bi|D|96An*6_d)R{l<A*`F<z
zpGL3e{$9M^T2VP#peeAgJm{yf=T%NeK1i`yrlXUOqrazSLUA2MxH;tzPC+PxyQkoQ
z$FQAD*W#&WBH?u?u%2#N^^<;8_bMiRW~(-W+Qd}+Y^oBr{tICwZGD^b9IwJOTsRil
zy?ep{K3f|7Ihv@HGi!!U)HIsLWQK&7u04b#OpMfhRpFLyD61{V4#tn0&C3zFvOn?B
zT<o`ex~mG;Tmbim1>k*APq4xh_MRw1B)0OtB(G^e>UK`X#BL|%qw}xH@UCMUY*Wc5
zWYZib4SL*=cqFJ6Z=tL?B6<Myx<7gqTvvF4r<bQ|sk&+>u>#*)`sYaEeG(uR;xMH-
zp?b5YJM#PQ9|W`+-Jl37BGi*p--()LzqZb?@E`1)lMey49p=g6;k(;k>uad+oC;Gs
z8|}oE2??LHa>%i!>zV3U!N~Od1x|q|06kGWykvTryv9EqY#=zd6A(go%=?pFGWc3H
zFx}Qh{dBnFgeN4VO+3NYa?j2^&NjB&D~hoVkb1L|9HX^rbzmx1?E1h%q?heK+Q=4j
zDX?d+`#se_Lb+Fq2gk=7c>l)CF^bAk5LUMgi+JZXh2U_9X&Vr=>t||W6X@arBg)sG
z8Q?uyRwyGn2AU>g$R|)_RvgAB{1LRk5bZwrvu|V4<r-Z3q$La&#*9pQS)Y;^BUMo=
zS%&C%XX1_X{^WbEZ;Sf!?W_ua701nk(zlp4q9yGjGk1e3r4+S&x#b-B{}68v-1y?S
zwiWCvuBbwAZt&$j*&Z-$-~D`p^W^;j+!-7s3}yw~l2L$YuW`YXw&heM+D8K({oOc5
z@Ys%FF-}7kV{QT%nb96q7&XgJSON@8R)%5=BEAW7X2Xdew^~#iR`kb<F^B@Lx=v`|
z&so)VbEz7KPV!3ydpB~lIxm>SY<^V@t02pO>GVr_g0B!e2^1c<r5WGITpK#VQ-k4D
zkuc)^i+w^!$p9D8|GPqC?y<s67_x7;HZF%i03My$AT1|IH*gDUMOlo=5auURHbVIP
zaOOwV%|5F?8{<S9eEQ3F^Z1u7y^$<pVc?u{87bRX;YYavTLpf|03k!h=q%|((540F
zgGZ_sT3@P~OiQ$`;|)~533=1;l$eUH1+2{mxYd2LJ?-i1egpnhBGglXrX^3Bi9if;
zq-TIvbCh{!lRC(oowLSYVUi=*V;(Hg!o-1+e`ys6fBog;aV7xIrMdABL+mrHWB<C8
z(-z*g7`%eOw%%aP305Uj%;$&M43dvzfO5vvG-IB+I2m}`3`e~--78Tvl>E`bU<&MP
zY^|jf<cg*u^gXbBQ}>zZ5afZ5@0MCq_P0dTvbx)M!ld`M)bq7x!cLhW&sJr2cF9Gt
zqHt8a$1m%b?IAUbBj(AHOKk6cv_CSBV)#AQ%@a5DO{XrI`^G>&59xL9D9Vja@f~}0
zZxSu6G_8tk8o!isZY;P3JJ6rRACObs@B3hWwOG1t<1q#ICrTb^i+{fe-q~H*%#>dx
z_StRgsRrj<Vj~%X%N$sPBF7|kb_%kB`Alp(Z_m2F?Uho=d`L9{x)7xrHE?<`On4%k
zC7jC*+bXhuP>p&O@SQ{6L(w?tiSA&G)p_?;pd@1;OXX;!%ei*0%<~hvwi16JH}zMl
z8pPA?4gX6vgw7eCi8R`E*R_wuDm1~6PJc(-ZUFgj&<88oH^~Aa3?<b4@OQ}C6aQ|o
z#E=bhLCJ=>2~>f++=4uUd_uf@oZJE|+}tc|=v?X^c5>F<_Oz^WBD~x@LOlO>2-E<Z
zX9`z`mz$RtB+M(oFD%ak;^CK<1u5_-@bC$Pq~&G!goOnqXvO}2hnS;tsoA@~^>(D?
z<r4%!=5PV5V5VgkPcwV6fs2qEyL8ui{@V)WbhqygdA{HG7<-x3-#g{CDu3tiErYhI
z=P4AR>vUow_|6tb0mH)&Fm{<gV#^>AA@B0CvO@jf6fq7w-~Ejb=PpWO&_a56c%tch
zdid1S{j&x1y6-wKN1sZP7JHCSrUl?5h?N7fB1!L5f&;x%S$}h5F+FU_y^|>^|Hf#9
zwknN3Dd3wu|4YY|i7s5M&k2JgjIveb@>&0;BbYTDK{*un=Mp;I*I&fVxya>O9Fu&j
zr*ur*1u-1a4n`wOz+$yDn&)9^Lu?`~fPR{osRP9VH^5;~Ew*f2(771fLAF;epirU|
zp0`Kq3)q?ZOKR1Y*s5D(=Paf=etBVIBF7h$AU=>Iyy*JqEHVZo5M=Ys5h*B<sgZJp
z2^ciu3mM`)h$O<-e;E=qkU{Yt2F5z~Sy7lb<`O_jOaS8e3#TpX76%dVM(o<d?Cnk1
z57wxQsz2^J++4$?Nu$-d5lpR0<<xOje+dq=f)fS}VsmNQ65Sf9e21u)>E?!3-TX*S
z_Pke(Ph;N2nn;8|f~;xOh9c!I<lEoDVFNXcsM4yQAKQ6Gm+;fT?GRZ=c$u6zaU+8^
z1jT6rQuV0Wt__!Q5cdI<3a^Vk_OIeZ9BP65M3h(A{uJYprFD1NzS6hUPoL8qWrqZn
zz_6dC0*Wq4sOI7+In!{;AguT2>Oth7E|64UQrVhWY&2KXI`f3r8~xgeF9NFkCQjWL
zR>g9w;JO$c4@;L+$JNz#5ky@vNC&00$dGr&0qdN0(yu__pwBnL^xi)X4d9+Z5AO@`
z3$pDu1Bkqp|4!ToPW#u4^tF?BF+KEx7Y+l93`@RmHV#X~T3Fbyi}>XJVi#K37Kwck
zcK;k2YvI;PG%A91)yC<ol%2#)H7de+k+|M2U74h@{!#Ai$?V&%ErkZu_!4N*x={6d
zv=?oXqD5|<c=GYGyL|<n@R)TmQF&vs4NY0Uwtbx{?MTw~b3q!p`p>wqb@w7yun@N0
z@s0A)LBtJii7$av`%H5|Mppn0Q(2L)?Gh`F9C{q`DK}bbS+covOjJtRUn0rI;b7L3
zzhBjTg;AZ93n|-&uN&dxibyM@(bQseSR=fu!c?llowMNuxC#D?HfeEwDP)IXO2^1f
zZk$|NjH_ZY;sKfJ;IkIrE>JaCtn}63<?Q3-MT(aJm$Cj%AX7kn8q|U<TMxZ5qhynf
z>5O%kt^AV7ULl$HDnrLFbG}hOCq&I@t>MeD)}DtUaVwDXfm}a6FQeT;G=jL=M8y5G
zd?Tp|U9_NM3{xXv)}WUWJbN)f#G1%^(D@*m`XEZe2;gE(^>;W-?>Zm6$KPX~OjmvM
zGK<}*wejYM!oLX3vnFgGFjz)jwZ`-v&{#(5w#G>qwpd1av_`-lkgg8#OMW(EF29Mu
z!Pg1eYrWKlUQYI+RjcZ;Uve=8N-M9|5gM=_-ex!jWgJdtcxeN{pY=9Ne^5d_0+o)O
zSzHB1DO#aGsV4~p&WfSRu-_r@+!zvAzfUJu)1fRLnj3w3&8qw<U0E3+x_iThD(3a0
z*f}`gg8d=#j696iKmJs&>vmWA_TzfZBG~Oseu1huTp;-xG}(z%urPkVZ=b(zoeznb
zuj~)8U$iLs>!B-XmofMXq_EUhc*vN0%y5IS+1gIc82vOaJGswm)_hCH*Q5mUpSP$|
z=hZE2B7#ga^3XtjGV)*$<0$P-P&_zKvIR|~P{&c-NO2X)+;l<En0Qzrv`jq6;AiRV
zNLlXD&ShgXMp&{^l9nKpqAM##jk6}t81QC|;$@9NugY+J+tRC$X}5HE{T2HF<_M;@
zI^iJ2PVt-Wm;<Zm^-bpb^;`Sk(q_N(=6++)Ih8#xt8N2(VUXp0&jwY?e!W3bSti$u
zey69Zj2FZO^fR6!gR4Lr{3gU06j<qXuf6-(gKhlpSa$Cv+U^MF)WZFg010sOp~9<R
zFT2+|=5k$dcWgDo6eVMorcp?j^QWkas{p{+ius2O)tB%<$1uz<(V$t>_tw<>(!_hR
zd>mm>DG|g*i1EclHjWX#MhL3bWE?R>jrbx(1P0P1wbAaApG3y;z-Yc{E{s8EY@)wU
zA_|^Oj8LAr;f}2Vm_xX(k=DzI42@(8))=l)u=F-&g>n*U-bisXAbb)P(n!O+1xFdF
zEX>%6VF^9vVe0(V;EcfXklFC6)>&cEc_X_U*sHwnei!GJ&Yan897F5(IrL@kPp$SJ
zk@_c3na;<6-Ek5&j$01{>a9*3@p7?Rp`5i+C@`6XwSR|B^F{vttL@bH2Mqr|Kd(*|
zE7>Jo*&#>FJk$aREkxOM1FlF8?A)fs_%%i3tUOvaMI%zN#Tq*?Ca3%k%75%%nqz00
z__8@WAusMR%8j}V5Lp%;Hi#(;4;~nK2y=aaitn!s&AFj6?YLCZ2TA}4*$eYGDKe8p
zZQ=5Te4x{>`0G-kJ~b}A;J=}}UIov0aVVMW*SupaFGXhNHD;y#)T2u;rkxrda2L=*
z-8HN!buJ*w^-|a!aqs(4Xm3TZ=9$h#K{C5v(*;9s$ms3SDZ50uP{v)~@DzsTRA!+w
z@de<u2?K)73JX-&3lM;<BoMCfvXcjbBW10?Ps;)%PF!^@`gCQCp|u0pSH*A@(k45W
zp<e}InX0B(Zil6?DG|LY@(^D#Z}#?)L$YhXzHR+q_KFh8M!KGbyOG3hVY)Frb$ZVz
z5wv2EIKOxiTeqjOx*g;ypt-V^*zTOxzR%UDZ?N)mA6~a7H2nXinGesF(n5d3LYQv{
z$&E0Mi)fIo#Q$6R!V|eM^U8Yd80k)Pp!lyS99kPMkQG)QIy4~xbS5U)e|PBr2R?dS
A{{R30

delta 11882
zcmajlRa9He7btKbxCD2nxVsj2ch^8^aVYL74n>0nN@;N^u0aYEcXul;#oY^+@85Or
z>wWmGbuwpGUS{t-GiRoBss}#&RT2X{KXj4_zzWvubXn%cY};e=_55T+$TFCmXr2Nj
zpMZC)oo)%+W62Cz7^7g4eF;w8p)qf?7RO}9%(_asQ<7Lpu7*c*WxD91Gky0MhKt7f
zW+N58mOhDh|7|%F^$V)M0Ncc`JMMQm%fA>rUtlF8op)}W$bTbOI^HWHo;TK1Upkhk
zxJ7^ivDhYUuSOl*y<&kl@-CR24p@CLUvYIzln$+~u_Ty;=7;Tn@Mams*R9(Qj&5Sg
z?@5!1+$wfB`!u*dG*y`Q_u3ls7>Fy)>|6~Wh`%$*kyFyfs2I&Cs_=<wcM!BuYdtAO
zPx-FPkV5C1y+<$H!^WVek%R}_0iMG^nl<3nKDT7M?l~|j{v#}OVt)es!x*kGL?nC`
zlEJKFae5n7X{RFTpmh{9;>Lr%JMzszMdRHz^3c=F(NFvl8ROa&b=}&S4@;ahE57E}
zYu{-Z5!u{_ry@)U(PGN!>_L}D1qeIJ+Ek4}6UPvi_yiBDRy#rct)PCoaXNRy--PcT
zgO!}sE=o%ij%;eH9)4Zk<vkOikN(lM9$XQQ!#<vzx3qCIKT5q~7xbkXMLM_cEmpb{
z#GNqOppTFii_)44tPC$b7x)5CH<ubqYEAG0TeSakVD1e1eF3?A!Opf!al=)Eg17(#
zVX_EOvIy`nSp<Z$YhY~jA;ZfL3p2<XY&zx|Dt(8*4A1*tM6ke8?hr%)z-h|pp4b}<
zpKY<f=-GwPkHlmI#b=KQ2*8oEY%MNPCJBgSHYGvTe=qQ1xX%b!03iCQ-*Z7bNHG|p
z!Cbl?#tskYK>!kbi`<|-m!Xq{uN5CehCKrSngAdJf68C&wVXGSaF3auSI`hk27H(c
z3V;UzYbZ+bS--7`4h$y-iiS?QG7!Lip#c&Az>uD>G07fc-V1V0-ex)I$2?Yim@5{5
z4S-4KuU$_=B?+I!U<-nR{J8L;%{Ty6#99U;ZzwA6Yly!GVyvIpM|CVfybJy^(NfTH
z7*Vj`C~y;y9bme6w?A)Ot$9bHKjnpo`onYOo;zBIB6sxEc$mocy@Zy+-SVAae^1!D
zb-^wYdt}OhBV*K3&iE}gLI9<CH<H9z<k5twF<hh`OZOK->_?7H`8GTNS3%ljtb#VI
zj=jOnTmlT<_J6n+cQIuV`=-M{yI>-d<O!m~3B8b&7chlX5_V}{t0;?1lHnNVrB>$=
z^5$FPWK`2nX<XlO6G_iPWI&<DCML2d&U5uZ2dLkcoQnn&qh%$PU4$(m;i#n9>q%!E
z#`>Av+%xloxrne&rsuk>lG5z#$&8**1=7h;vdmK9SYv8bjkV07I+BS`WsqQBwx-lc
zw`H1RD0s(fxzJ*fHJjs-ciF3$uA{*nSs*=UXN|mvg7cBstcjRHFE=_2>W&8x0{0rH
zI+=CNQ4X$ZW*Se9ijTHyb&F%#9o63_ImXVdjv&O#RyJ)G@1@w2*l>%A*&GL{;<&J}
z;jvFz+Zb=VcwR-8?;&6|WS>shE&&Hv%T!L22xaH~BIY$xh;Gz?mDzcgWCshbj;;Ik
z_=E)olZ>OKFa3=>nmryT$-eY{0ds9JWEk`*NHGc;LFXxUJ*7QM*sYrmsZFH|FoSq1
zbm3Dz<Q~Z?HCe~-EGcO5+R#^&JXwkTARW}=%_zU{R+f2}Oy9X-x2g5!<GgWHzh)Aj
zh71JJWoc5`ji0)WWktf_OQpuJ@$OpEl2NOq)C%;eDo_6W4okcF78Bjp1y+m?C<b6g
zD7`3gOl*mv<`q!FOo##72$;E>9o884cL0$OW3&I|8a~vV3_yS&Bm(U$Wncx58mM|?
zapSb_8SbO<NkhUduF`iW?KLZoGpVL1P$M%)0cg>Uf2vODVnn^Om1Q0V;O&j=Hy$O9
zRp|D~aIa229bFOlqyOdbMg7dsElL#463LQMGOGRY><=vGWzL2*$rTa5q)nl<a<QGc
z6yjR%Ep7U3aZPF{DIoQ6W7i9Ov#`J1+c_zsj-#KU-8q>jMTXIZyG5o;V#GcvUyYgu
zyci4DR@<^lUkk@gk;a#q_TN+1&8j`QwDoPiJ0mF|#uYV{LeS<fz>%jw){7$ne2kGZ
zM)G9+tdS+2x!t59$D$E#1u&GZ!CQ({&7)XMbiQmb+m*uD_X6mze@g>fqV8mRkTD?{
z887W*+q|U|+c1*WQ11n9ASkfk_*v@P59m##OTG<j-Dvo;?7YwY=JcUq5&nf9PjOG}
zO$dJB_NOr35fWM4_?k@#(C^c~?1+8Qcwdvkmy|x!cGG?KqwABKuF<R)Zafez(<pl)
z<vpc|>!apT3(ts7dTeR|^V_y~SBs{6F$_B_5~>0WE#B7HVLG80l(Y@rjGx~(jhC&I
zU(C^}@=dqyY-=&R$C-R6n|W7;8{FQze@|Ffb;L58VK2~d6y=7nHz;fSeNNSI?^95A
zdc)<7xxap;D&I)k@)2rw7MaMn^Y<<bixm+jB>`?^VceYzkB;fLV6gmcOb)}G+kx5)
zT;5IwCN+wRpDDjVWKtKxobd@u96@1zNh7n0>LeLBGF7cQJ%yMkukcE7as@8$<XN;0
zGxHNURHcY6%<d1q%beMDcB#0q771ch7<b;BKg)=bRd#hLH?0X{O}C#}#?Q9zvo{2q
z>Wec#U)`q3meSaE@K_{#D|wu;$9`l#-I6Y<xu5yt__InAvK;d_w-Jejl#N=u*^Avu
zooWIZtnFs=u~^m6bZ)qPx36|rqZ(yW7)V01w07~kw|eylA>g{sE=swNcBMH9^Y*bJ
zA?uw#Sx3>+)0vd<zEX^58-DcPFHfn9A12+SRSorQ^LCBXqQ36S8oBN_pNCmgZeZMe
z^^weZicVoFMe=__oU3j3`(MVuW+?%K0L+-X))|2KGm6vwRl&bZYNG`ZA_xfnZ?OUe
z!voO4JsN`5C3)<|H!kMX0A$RC<dr3=89C*+d&omg<>OU8d!czN!YUr7m>dDi^yUlG
z&_*>fkUHUxFZLbeh(lhOzSPP%Ps*-St6;*!h%)G&<4=ciBzjj)c&Inlxa>5vb_%mA
z$yVZz^1BBvR>F1glIz{RhNWqcq@-y3FA6O%Ux-RqAQGvrS!fcetVssf2Je@C(O9SX
z{uIO%I|tagT!A+J^hD&kz3#2N_=0Vq_{*J%G76gLcU=H&6Ol|(eGWcOXhMX)y*A`4
z`bN25ZpzO&0vzMYR5ues-U?ovjJmhVZ3~N9`iw-P4zbkfJ&=Lkz8S}55k<u`<48BK
zcEIw|817(R(Mgxi8scGTGi=d?`EhJ((UO_CzNt!0#ekx1<nnZR$`?trCDHs^_E4Pf
zO5N69bQlFozU@Zi!{cD}^|<-R-q_iM&SR~5>7d!Tr*eE%0d*~27QpYqV|DFFAy>7x
zoy=Bd4eAZCrXAftOET>mf#WEY3t4qAOzQ|^!nT+W?rBAE?Xx-CRfVyUhi<Aob>iEg
z`%!%1v<hq&I6XAg+BUJ(LYwsG1_aSbwC3U5dK5M#0{w^pwj9rjF490=OY<6f>21Fm
zEa!~XRy)4%v-eK@VyE}%?scp26xnI6#;0Z=I@ghlg_W83R#Io%AtA(2kCsdDaxPe9
zU4MAB7+io~G(L!$&U#!wv;u1Wxm#U;)FQ?{$k#+pT}Gq*<=Mwf2d&OBC%&3l!>mDr
zl5Ma)oqrQJV?10E%#d%ae?{Kn$;*^o%*01Mi?{Z$_~+hcK$FuNqFBV<#w2{;17iIt
z{s;AEDY4+s&ZfkiHMnV;!Ix-MqVqd6^xPSYfAQHw56}X)t&rnb6%`9AV^a=wHl+3N
z1s62h4|bdm>7W<9HIXTfvTG<a-&uAwbW}(WhYSN6-@r5EJVg>I;PsX&({FsyUH|Nv
z&JL7#Cc0XqM^f&hYo=dKKKfFWD9<9>WgUm@Z<YCsQSkNd`wiH)Si@3OJe!)rQc6Wi
z7pRkTA4&pd&7?6SLHFh68qnt-KJc>L%12DLqjJPw3_e?$soZ)~nJ3s+NFGo3r9Pjd
zqtu!2>iqiYuPVvy&{<#tB~s5d0Zs^tDD799?CRzVvdgj%wIxN<VfiME{!uPb0{EQL
z)Rjrv5C?nIsMMku^uX=xhS47t=*tmLH;N;|RPB^ti=P_2XTJA{7-59>)k{~lzs2Mg
zi;Z0|TsuY_9%-=L1zG|@$w3Fsr)}u$wFxdls>|!}Z$}=hE|K1_7#<w+dK2>!vU+ah
zH0le;Ja3$H4WBliFLzqYeh3T7UkaHL9$LRQ`zD>R!MZ_pe}8<pAOoq*$SSF`uwUxz
z_Hoq!D>j-g1TMfZlPBqCt0EINK5ev4gox}f$to5)AukiybmR)wTeN(>TYX<XukOa_
zG)Mgazva<Rd`alh55Jujygw9JBA9?E=Z_eQj%#A|(J)xipoUBPQyA_{Sxna%B7*jJ
zo9>{-X!da#-MM3<xjZwcgyV{>VKGd$*5f4!Fu#;gg85co<+;uLy>pho=io!X(%{@-
z4SNOgPKxWg^5BY((<A+=H<U{wZ6*O8B3fHnNy>5tmur<zdST;Prc5UgEN8AI|Ngdw
zf<>;ipmc7Chq+`9!7vH*RbBM6hzjoLfxA&}hSis%$;H7D(}qv79b#e~eD_#m5&T0x
z=!YD?h6EEgt_-KNcl@bkgl!;GBri+C1+gzs*F*$9A&M5=@cawc7A64EzpWn|SX;A;
z8>fHmp5V5LK_>v_?Ht5|?m&Moy+D2r>e9kPZjyd__`Q#lO^*|I4r)7m@jv{_X^6%}
zvr)-FPP9n3EM!10$Ad<0Pa})K5=j@Pe0Z)n)nOb$b|9Y;xry{e2W)BJlxtCbt-O}{
zY^kTRF1f|E;`|tuH?Ms7L`0bb#tk=-=7ndg*OMAT-<INy1f4aF4b6J;aB+1P7x?UV
zS*8V~ocYq|0YY<xt>|bri!KY|+&Kjm_c?DyVwhs!wS_B6=_Z-u8m0EbV>gji7800&
zQ`PaE9t({4>~m~Y;w#uc`7GRiA?JI28#S~~)4%+#K^GHN?Cw^Z?#tf~=C>TH9iM7z
z#Jrb-q?tB2;ZWAsl5Jr*9}6lg_blnnvKfW|zthKwOl);S>dx9l(q#*<I&xX<k;Ay0
z7uM@4Bls9A_tUr)&Of&(oDzkC>d}$!J+Ft>heU`yE0HY((8qtyH!mvxZpIo!`s1|g
zLqBOY!|4~GpMFS}oml&Tk8Pjn%q102xvjmr85{`Lyol}nZ;-yR0Eqs#bj0h`{eRo@
z`Vf6W+reb$+3QPi2es{w{bWMt8qh)~-Mx}ZAa;FtK+>5#qb7T@eC-+<L@QOLsq0g%
zN)9UswK_BCZ^i2*7lJ$mN)6ed(#Y-gFfR=A6z*479N4r}`|(L~7+WGDcD|OnZ1G;e
zUy6-@3~LtoE4NPAlm-pM4}q2UmJd(mzvv!U%4LKivG2{nUYARCV1X-rdDT#yc|>X5
zE}|R)WzEOhrO5%Y@Zsl7XOIK~4Z3UG=Riz!M+)YvE@B4!FY}Z<I<|ACFc3+;Yh5=9
z$rD6(h8j76s)(7YTS(yxmXKC<z9?``oT)W<Txz;vsaw?CxXwNi@yUawAa6TX#x3Zl
zi#rjQitId?G=_bYw*Ydx%!oEEXl~sOqNKt=*gJIjDu>?9Qzc|d`V!v{$`2SajhR{y
zZoYxs9A}3MFu0U7odKzeYAFf&rV>fBOpKoChUBu{-u!H^eODRL@I`|^=4OW`I&N~&
zef|h`PwH?QB-mlZ>mbl>;~IR8SmTk+_I=iQ7?Mn5x5i{x(?-(Yt>sge<WjPgcMjMe
zZwO3rDCpO`&7=zaH;ynifF?M3GpY&Zv_xQTg{>aQvP5MRn;x;0r#d*gyLNge>-Dw8
z&e5g@C3ZVWb}S%}k5QU~ZvPs|Z%)UKrQY(Fj1~iFC0j^_bp~(DPx;|k*qX>+SB@ft
zokS~ydm?e6Rm#g`fuZj$8X73+tuJ&skyDz5fZOiY@1xHm9ZfBTWZK{eQbLMRXh~nF
zTaRx%i`oeJReRIN<>bN5NuOf}cFD1qhsDef@=p#x^jv1Ua5^CV51BY^HP%QX@@OB~
zNmU;?R<t;|RBH}I3@gN5m6>(mc36PiWo5bXhIji{eKkUChCs8ygD$W}x(jLr`-qDt
zIiEL1orPo(%Vo#}D+k!cDaC2II)ux9L!p&KY@X?|*eV$FowO6538<4V3xn94H|xBl
zfyIUyvb08bc#uA;WL1%h>C4g`$0M9*)1@zZIy&jxStFBbrOqG!jiB3WoO#zIaI19a
zt-gK@chG6y%;`hn>BC%+ww&3ywHx{2gH!!sXFJK19HJTZz#f>usg6Z1QaR~BWa0TY
z7U^)YJ95pUcsS;~Y12d1D#;tk4eNx`43%i*5?y_Y6<KmzGa+^2nfG(bGRl!rWE6(l
z&{prXzTb_j-2QwONxiZ{l|>CVSw<qeX3tvXz+@@TBUiI+ZO)87M9v#MPNR6o!f!Lh
z-8AGVw?ELu=sm&8EwrVuWtL1us2aTAk!QRBR3yM>t4{e*(|Q3YYjujM@8Y+fw;BAQ
zwt$fN_FZy)kI9FG-P{Ae=>_$2foG5ReOKy4Nu<t_?+?2|+}cef;~yec6Ligwvc%gr
z)IO=$F#IWn>ogrOn_E*$9z!zU3FVBnB`fUwae3n&nq~_I7`3`9#1e@rOR>%&O^h#H
zJNIQ@AvBJ9AM1Ewr*(fHgnJuiHLpvWv~gYld|u!cPPyl%Sr8-+?;jZD)cr^gEB?AL
zf1%Wsl(NnO*`-10(c|3w>`c#ft=k}CA_ZPZJ~R6Kv~%KdLXxhfXkW4)(tJye=3s@e
z*_l>3DQgC5lupw+)4|Yi^n3}QA7EOz1#?oc^=_ylsViCdV+td2oe0$^=u|dvx>TN~
z=zsLj^cSkSDVk~K$mCp~Oj3x`x>h`?ow2~~9wQ$p{TYV#R0JSt-rR;RAV@qTJ$NNY
zz+QLUbO@NN_r)&SlELt4x!myor5^z-p9g^WU%RG54HX!!nTnDBe`yKp;{)8GVWxw<
zOaiGo;J$zq-~DS}6$hXIFfncnooK1Sa9SO#SpRE>0;B<IV0u72>%mzKH1{w9tGBv{
zG&1*C7LP4HYT<Vv`{-*q9(2q?-fzfX2=hwXJlCeT)!;;9QZx;8M*a%FcdE1@7a7{C
zgO7`bOh=zaTUU`HCiCL-J|~8{exjg-{;*(!v6P!JINFBEGnV%W{~P*d`vB?B-@wzY
zc1q`C3K<z1ur)$GT|Q|{=I&=yLO!WJW`++}``yJ>G}2QkR&e!LpT4vV4&?zk6;4m<
zUf55u6*4%aoZ8{E2cqe55lEn+Y93eOD7BU@O5`Z)^l<ExCPr3dMg=wm{jpN#z(wW5
zB$~IlI&QvHI~!xU(J}9p2_oiDQ5nN&09tWn1EhX1ur>#}3c^>0w;>vMBz*yJY79ez
zL1@;>!$d(T$-B1PI6Ufgi$k~vyh7fE`#cs(2K9z6hEQh#fs+vtlm_kw8~(yK@8wtH
zh%sOyCrFbzpuci!$TXRAV^R8_6tweoK^JKLxY{X2j9vvZPXiMx9N~#*3pxE9B=ZL`
z@YCc7;KuUWzN_3X0`M(u^;Uh}C2#wC<tBe{1S56w>}Fz{g3^6tyns6DEsx9<jb(-%
zXdS^8U4h>cvmSBA&kn?E8<o^&yRVP(6Z>7Ckx2|E4L~pw3B=zn+CIJ$e@0oqFKM3%
z)(GqudlRr#dNq~iM-xwJ3lb?o$s@)y`Wn60z_e54E<c>6ZmxAT+P{=a3SIAUH|wl{
zi)^1cOq(KU{`CAX7a7~}Yze9>Wq!$F-zyqde7iZ;;-4Z^hnI40OE4#Px;!+OdK&2n
zIzL`457By&mtPh0c=VYjhYeq=;Iq#_uHkgyhL4UyQwT^iNYxm5jJ^Ba>Ab=_3=Hg~
zO*C8yK!$-z9Y9P2rvf)bEZ}f(FZa61<n&v|-Hbw3WxN(xz(ENl)ETxU*2LJ{3!=e0
z_$If42Ap*4AaMCzao9*kyjtfV5a&2ej^nR*jv|k}b&l`x%dY%ikPFGZE)4(o1(+4)
zD+h2uz)*QMbb(NhkJvQI{Oba*_}b;)P8_VOuGuAp({{<WYlLU+UDUc-DYV_)6Q;c%
z?^dFfgXa7umE@(Z&I#=^BT3x(#Jz9bbdW1A8wd^W#N?vqO~AXCuIO-XI@~C-fh4KV
zRw<o%*H?vq)_zK1#ZMN1>cVyHuFMSyWNkJVgo0!gz@4eTz<rj!YKnV5V9I5Dau{Gc
z#9V_Ub{ZlRRvJQ#Z5iGu<+G*$i@mxVuV~Oj)n|UL<>~F`mEMj#aV1}MoRvHpX3h+p
zXy3b^JawVU#HfD{vVzV((@7B+IJ$r4N6)vRsqcz}Kxe9qfbyM(tQF?(LSceg4)eb_
zm4{mfFZ_3~XUj%p`A+r%zuhaFRVst=h`IE8Mosbzue2yL(k_3FmAOA=E*W#JMxNLU
zZLrwlK?D;bYZK1jv4X}T0wgGwNGxvq(NP;V_BOuEaX;sLs0#bYQO*NN$qncE%yFO~
z3w~o1ZqV7ZkVui%Ah_?<PbGj}6*xmqK}(If{4UJ1?S@pDUr1f)w-0Q2m63z!gYjjQ
zXBH(V&9wG~;`FB9PXJ&MZus9g?J2!3J0Okp0WfxD6ava>hGs%>l9&{d%l`LFY!|1B
z#=ocDQ}X6ec~>iG6aD@DhJkG%G!)zLVC27}ocK5BGP1ltfh2~QcR7Pr9@qCU^_NkV
znF;JK{QRcE*rS$9w$}Sm!Z%sp<ab{XSVF+%FYETA9rX{veqKRgXgO)&qM<v;VCzzS
zM1o#CKTvaI08eQL^1GgzL0D@LH#!f2eS^0K{mF&CK|^NZSRLK!2S>@~;W94gv+AF1
z;b;0!?^REj5a+c~ak&<7qMKA!Ov;iM(@>`$di&hP%(}+z86x53GVRngFyp5VNKo-J
z!~4p3M%zCivGLNe)$XbfJ1s6FgPDPysPgUJ*41W@OUr4x<KJesv>+`5`NVtIo`mO{
zZtq004fY2)fwqew&IwfhZRdd)mbczCKoUpgKFt0u2E8J##eV*(w?{!zHNq{My>wg2
z*Rz-9BkSdHJ7PeTcfDxpN`GrsX3g>ER?lsif)uQofhL38q}3f}GTY&l;HZ!Kr#{A8
zAu!D^&NOGVgFO?U)<tp!a#3DN_aBF%GsPa#S`j~=;Mw`?rCvyS&B~XpRBbUy?0rjN
zu&?*B%J1Q618Y_9Mwq&##ctFDRD^4pKD#!nBe8$mpQzbsN{?yigTxm!;3k$lI$A9$
z?dHF!VZIdC?PgZS<00h=<eO2rn+r%;WZBNn`h*7|iuewZd93sqT>iLB^`+j#HYjqY
zq3#8)cOLS<HfxkfJ%v6b4TaZyoi+Vb0f7LF)FbI5_}5u5UUdViZ9|0*!`B2f0Wh_W
zieKm5c7VTfcL?<S8Ua7*KnL&&@fFf5<X0%KP+y_FLVtzv3iB1#E8r{aS2(Y5U*Wy_
z?>`7$5xydNMf{5773nLoSLClKUQxcHdPV(;<`wNLx>s*r(Z6DN#rTTp74s{WSFEqt
zUa`O8c*O}j(Bb0$@PDhAfx7N8_kUH)v%XkPsrKDs+vFL~)r7sQe;!3#1tRvd5=SfM
zOFLVYjEWU9qx~>#^3Sq{-^)R4Q4j{u_R}ZlQHuA#OU-I-yxveo2%QYZki43xED_4u
zH>9>@wPw0tEg6W5a-(`3G;cHfj#im_KgRZkD+xVRG9JZ+>I1mSPjVDHVa!*hsVJ09
zc^4yDtCt>^H<yCqGSm#ovelbVLyn?;j$ng+Q=7YO^h;sQi8OLhY+uP;XH&Uk`26K~
zRp(Od%pVH5o|qI|COisJIvFW@DNR4DR0j=>CE}UzK$|WR^)$SMs!hGJaMW*8{GTCb
z#EPhQbA`usZe8H8RxSEYCBuEINuYWN`4F<Y-$2+$n>1|wIjFM@4_fOq2;pmMa)?#0
zaI%PN9r|P=hTL)_x93i+(;U?@r~ikaKC-(5-pIFky_=0i#~&eCm0adEmyn}xW`20O
zRI%oZ7jl#Q2~-XKx|vIWJ{@uCTgFty4|KF=1{F3wIK*H*RB1+T)g9~>-}43>)Ibt-
z<Dq^fjoetquS0tG?jvv}1W2mvs`Nnyo$qKf=WJ)6z#}=&Mm?rUJ1vxNfBme;9x%+g
z8EVpZ1x{WLd*)N|DzyvEPRP*|Y)&S;C!nr;<QyK|_iz2wXs0pfMw-U67Q0IT56geT
zuuJ$Y+lUQr6cQjRb0TWWRoHnmJGE46+|GqjRkig{WClF8!Zm>k_(TWtNG*PO^6NN3
z6i()UuVInQTk7M4_WdsQy}%V!l`AsoHjJ^~5hgY6J1-i=mID0TK}#l`sq=V!>EqbK
zu}>afUXv)q<@;b-(zzf~h<y-eo_j=Q`a4yBv2_59vPR7@7A7F^TeV*1F$j$daRJV&
z>&=gX7ppzrzz^<;s1i1A4Oh0`^fj}l^|%~2W;2^#_-u;)x<9%Q^BXMfU`TcL278Sv
z!2^G(<nz<sZZ&?9Q|bQBLaYZFmaP1H-h%R2WS8u~0oooC8c<dYiA(OZJ-&d`QJdz^
zpt8*4(^n0SF8lMRFFdwRt3cX7|Bjwyp8BuOdZ5!WTty1`OXP??9Cp%?Qmv3J*2OtF
z0<AmqzZ2HzHZCG~;eR&>^i^G7ZxFQK8t&Tx;vEK)ZBJjLD{}SA_T2UQlFGqs;#eZV
z-`jjOM*Ar^N*zow`T`|w`i{h8K%+JMqc;(S61>i*C#>{O5s>YVC7Jxm7^F3GwL6Q)
ztvN4@%@c9Y^)uz>HL}x3MtTH%53x3wOLZg9@`cG8<5pd(?l%zd?cwIprUJbh31@_X
zQ_VY``4DTJUb9a&kUBBfr5R(9ZTYqfrd-sv%nBV#1&ha-``cJ*YW=g)hbm%juF&Qf
zT(ywya5WVxcm<}ioClTavfY7oD@R=XP$m=A`7cB(`x(lRGy1q{*y(7UB&4ryIG5cr
zS8}4Ph-=Q?)dL2O`&oY&DOkZ5`+J1g;y^Qeei10dPELKq!MUs3vwd}ffHtNZ5N1V*
zdUWiqG@R$t(A*c=!zP+MdujBsjw%3gxI4?-mXB`gE$xPtazHXO^IdK|Az8Y!tck@F
zrktIr=`9es#G8)5@bd&?`Eo)k=BLJ05roz#k8N8Pcqe8s?fUQX*spd<9}RDpuDKI}
zAdu#<L<W~w!sHoDxusZ1DjDanT-USkypw)CEzr?UcM-*q;WAWRUD4#8{#r)yE&qYu
zg?SS<nOJ){Z2B<L%TCDVk;)1#pIOzZjQtx0V<Wv@WP<l?B4Qxa;D)3}BtczJPf7x3
zYDP?<5C0RmCG`T!7c2;5_3{_#$I0*c07=y{b{9>?;iUcg4K->&n9JLF*`v!V>U3c=
z+Vz<KR?6x3=lbPPbvJe)Zm%p4ch7Bk4B2pnLl<12)7o)J1?=)kDd5jVr$rtrr~G$o
zcFwGwknfylTu@i+J#5=`37a=41yq|{eg*NedJMp~PpyxicGf>3`)2eU*{&GWXp!GV
zw&Wy_u4(b<Ab5}B+tBq#Zz8*dhmLc$IT&(8an@h#>Q71{tiLXrp`U(n5m9sn((32^
z47@~a##eaY4#6X4y<@9~OO#Zx#)$kE?|rY`;CcQXLZNhWVS%^C7Z%C$J*}sHU?tuB
zdPoY*Emi8mGnxf=94?rLREA2Z0X7_|sUIz<sbxV}1QK5R%I`=>`@TnO;h-@oFt2~X
z@53+QC>LF`;COI_a3kevn@P7t>e^kv^kYIMNVbS6X;Z-3EGRG25*x#A?k+c5<<lMS
zS-91Ob@AS_af9Ww(agxY+^ieJ{rGFxOqbn3S$Ezy_ao`tr)Z3M=SVYrb*Ex`^5v5w
z&4~pkVL6YD0B0#JIyv;Oq;wgP@{@lOG2jhnb6L1>_~84Leh~OrixL(hkCF0}IF#-B
z;N2o>=KT>o`G}ue$rI~zEJdjv8|brk9nLk|J@p&qZ7dk_NMIx6p`INu79TW_ZazLZ
zREUC-RqlCVGb+v)ld3$h!s+^@*j@eUI@}{04@JGMitnde#~PjE*}*bJ*^kka^Y@Tt
zcj!xw8Ye;>YvZH2MWuLasexEO*t7Ss#d$!jAOP3d#?IHGe`4Fq+|scXYdJihYL<^m
zLs7c&uQ?bZq;8QWJ)Cs_<v7uD`>W`XP^-)T48c3C-_DvO9qxFU2oj`r#6|u}uOe19
zFyrSOtO|<3_x&JOfJ|j-0xx6#RP`}dkXzi%`cR;UP`N?Fqzt!$p;3*8Yfk?-uBhNv
zFHR<JGJnJBK%2vO{x&k7c)+L9=9|Le`z=KZ{ReWKmX&_luqMh0nsGGxQ&s=+KjgUA
zcUZSJ+CBff&Jrcr%>|R}=Ehe=;o;@y;o%X68UuMK{_hW1AdqJWM~9!6M@CLaNJdUp
zhDSh1L|$G%fS;FFPF_JkKt@_YmQRA_?f<unIXah`t;+{bI~ra-A#NxL9fcXpun^#;
zH%s~J{O|E7qZ18%bx2YKefT^4T6mW(vGBJvwDgDw;W)oHAf+~kIR<4FI?Lw~YLh0E
znxL5<UI+OS4%yZm$Ms0xi;q2jtnbepV0tYjc-1#%&nXsueQxh~zRdLSaH;k2=;&w-
zk)zYbNsigan9fCbPmdR)r}a4$+%xWxn(+%nrgF92(-STiOQlqe*BC~hEbg5#wWVXq
zKpTn>Y{xee@s>SlyTfqFFG34bKKY5+)-nsue$3HY08IsyM=!bPP@MYfokk{hJa=N1
zZH`*<_aM7H^^j66_?_gR+`WQDot_zJeDukj%O&CLGr!nl(4Su@^|eMZz`f-MR*iD<
z&?Og+kr0IvD09$|p!)>e&HIZ9Oz-B)T%=tUJ@?F@euV0IBUIHK{k+<g##U4!S#tI?
z=F4(t_OP7^csBYU!gl1x)yWtzViTlnJlop^7h=zDG9wP{*(#@e6n_xh1O1PnCBZov
zNz5+)1-LA$Y`JTnB|q6}Fs_1Com{-nVjs6ti1q@!DT6~xpEs=2n-i8cOSQnFeM#Ba
zis9WIOp?M(RU6+{t@*L*;FDa1WkdYO_VlDK3}c`<dNN*v>8}JibNGT>tvukPR|{Q^
zoDgpG1a2-{ddZ`+SOjXe{6M^W!QK%4L4yUwACW1K*Jp-<fN4Rn(m3Q>zJQ`*0_rL|
z4WA(v{SN=g^Yo4L_WpaoACY8t4|+0+##R4;j~qMY10w<|{8vKD*%<10&dr9{w&_6?
z#(5jWPF`?*_ZFM(;eSx4we#}j6h#sqH;yWn{N(mara6!vJg)YZ=v(gJJPxwunCE@R
zJb1I!>~rkMmMfbFHk?}mF?lLq9qb)do95LqH0J3Ri?rX!iycAsuNfK-()Qyo8}p2c
zLC@`rK(uMxqI{!bhG!7Od7?C57bcx|+g>>D{_L_$k{nu^xZsda(6bm$5NDL<l0sni
zSX&_o=oS6!^+w0-Co64fDPd!)zE0cCzDIsCndk>L1n*^VNbRZyjVa7jC(5NxH+m@^
zeo=JTyW`!Vg{G4Bd9imQy3|$m7%&A#`5}_STNqv^x&7JE+Xz)YS%T`QntIBA!73`K
zn&>l#PAwEK1G7*IS=Wm7T@J--z?FO=)j~7QK&#6^|B;LQUiLM<L`$M5_@&;AL@*8p
zPB=repd;XZS0?()@9;Z;ZSK;p#(tZ442#7CGpzD#X=vFh=Qb*Xu_}uq43`DGZ917B
z>ylTC^+t6aZkQW}(^}%Ds--fs48B|o4DBHmGB_Geu<yjCFE~(*L?PkGV$^rZ7$L@j
z(AXnvt0|VOkm|ct_CIOthq@RcmF2$1WPGZRL?_tRx0M>8^ZR2Tuvz=J%Zw;V_;odW
zq}3az&{1woQ!B*AE@r2&<7$9+7v}<2fEDIVmqckGxaP0Ljp~kK6=T6g3RCL%d*+um
zWi+s+l0k6395!3&VOkz`YP}&NhXEs$)z<a(i*}m55G$e0jV!iOW9_KH)=%kxGK8Mf
zH&$${f#^!ViQ((kr=@;>`zh`haB;JJtjYk>0u1hsFJjwD1S()-94FnMjYL76=y~X&
zV0s=jBlV=H_cVN(?}J11#w}e9301FaI~WUEj*$xg1{ZFb6drO79e@gb+NW+yr(V9)
zp0L<<tJ!XG44p;u;<4rT4mC=$iD|I3dJ+BT|C}0RxP;N5bnOeRh=!ig^Sq(PZ(wrJ
zoC%KCvwW}#YS?bd=B1fMS*z{V*x%G0uz*7O8F=1+#cczIZc>j~mUSD~P#!nn;ygIK
z^%0b#bKrEeQ02Mdr?fEfL3poKi8+Ed13{PejmTf|T2`o8;_tN;vbK)q27j;zpg8SX
zl)gFs?@&6JIsf5q$XTrPXoRJejPSR-%W2`zvryXkhtyaLZHX$){uKtop-xE_=wF@Y
zJP}&({bBvr6{v)Er9@fa4$4rj?2uRf(EN8@mkAV`lcLtNZbKHu=Msw5oWM)#9q&;d
zpAWI_&}T84+hZ=a+Yy6ykFvH*`{dSBb5r#w^bGj4q=-yzj2}5<4pxFQT@)o@{sYng
z{w_1S(6{{EZ!@qlXd;R1A|k3$iMsKO(1)$SB5r(rhEihX;lM%hzVCyBR>aLJ?rR;3
zz~%=l!wxe49O5}C>hg$Sl22aTsD~f`W~ageVit&`@fWI7g!TgRG6>};+`O9n<`>CP
zL{K#~Q0e*ehoj&))#pBHdxR**)HjN0u7Tw%{tC_J)Km9jKFt06rB5IKK8>#BfA6>#
zdweN<D_j&<rS5k}yK_#vGsw7O-+tQ@G*tJHH2D3e$^D|(5SQ@IjAq*2mFwvf29%8p
zYpF`Zu)Wg&io(S6hAU(deZ;`3Q3iPkM5bk((<2oVf+uURiErN;mzgXXz}^|wUzwwD
z@!=b+n|`4X7i!JK!wCg5@c_Y*!1Wl?mK<^ecoAfG%x#hZo+KNZ{t2%0-iH`U%TkzN
zyNaa$mgAK|Z&U*F{GX%#`L&{z0vM0PlkCnwz>xOeOXl`#*wFC<T=c20)<={yn?&aR
z>+w%_E<x_Sx8Jl*ri=BSe(~%`3sOz?8$Ojtv~Tubh2Tj}=D)pfzeq)Sk1P3CtQ8(g
z%gn<Am1O2Y2Mfd9BvQBT(N(0p*p{IsCEsm}{a2*8(WdZT0#^k8D^Fo~F`D95<hrzg
z6oz2!@8jpHYx)-L1Kz5+m_<?y??8+rp{&&}A4?z$Ld&qx^t-OD#vf_vJFW{33H4@y
zVHF1jz2+`u{`U9RITh|x7aOvT4xbpR3DP^=?ZP+-CxAC#B+3c2o6HrgGAn^ADX#Jm
t2_uZZ+;E3hICH9wF~KGc2H!QFu;bXbMxZauJhW(hLg)+(@|p_h{|BQRgx&xE

diff --git a/Lectures/L22_AssuranceCase/AssuranceCase.tex b/Lectures/L22_AssuranceCase/AssuranceCase.tex
index eca2a36..d7644ad 100755
--- a/Lectures/L22_AssuranceCase/AssuranceCase.tex
+++ b/Lectures/L22_AssuranceCase/AssuranceCase.tex
@@ -260,7 +260,7 @@
 \begin{frame}
 \frametitle{Test Report Continued}
 \begin{itemize}
-\item Provide specific test cases
+\item Point to specific test cases in test plan
 \item Summarize your test results
 \bi
 \item Test case name
@@ -309,8 +309,8 @@
 \item Summarize changes made in response to test results
 \item Explain your automated testing set-up (if require more detail than from
   the test plan)
-\item Provide traceability to requirements
-\item Provide traceability to modules
+\item Provide traceability to requirements (if not in test plan)
+\item Provide traceability to modules (if not in test plan)
 \item Make sure you show test results for ``bad/abnormal'' input
 \end{itemize}
 \end{frame}
diff --git a/Lectures/L25_Discussion/Discussion.pdf b/Lectures/L25_Discussion/Discussion.pdf
index 31be5a96da5a914501b782144e8c96bf56dba07a..f64b298dcd98e52492a435fd2138647d61deb55e 100644
GIT binary patch
delta 19278
zcmV()K;OUj$r0nq5wP$9J}u@+-?=3hyvr5e9`Q^fpmowKiVgN2p=$U(iQVF7G9yG>
zQr>xt(fq#_r>U#Aje|wUSIz&wY<>V*j}IM}aWVuGgFym^K>`7XK>`A|K>`Cn3<5Ve
zmtYYCDu0zrZxb;P$M5|V7ALPnT#t9X-sJ{;AR!?^l3Uw@n>dNZKGJ<q%BN?%_7V~*
z6;dh=@p#5N-ueGL&T_IQoV-8b2Nuu*+B=MJ5~qS?u_QtX1|lVmA*++mza{-Q%RrJa
zNFhnHCWoQvV_9iN!jNS?X)iK;iAn|WKjmMzbAP8#t-hO|oL)jsKrsO_A@dc<nB)l&
zNyY#d=1X!#=aI^&X}f3=LrkY;8%;z?>j;M?1kdWKvsG`F(arqBQzbo1(8U}Z2#9MT
zAPFw0m<WN#g1xjTQBDcuyndvUyw;Qeuv|*vv`Sz~W<)^F@;LQkXMI`fNGRIa?*_%8
z$bZE~S8LNcN6}I*L)cc{Hl}q%GFn${SnBFvJvFzRY5SsUJ)Yx*a)FD-%EV;J!OOh(
zwk@<*py)&7s_z@`>AtH=-QijO)L^T%cUsd;`mKNNnoDk1BZIr%HbH$^5B!W1i#1Ik
zVM!A3E={Lx5q93_XaY1~Ts3t$#*Kf&h<`7oSZsywgJ<#sg||=~3(#e!A^`l<)L-q`
z3SFZYM&H`PcG1AomtXI}DNWV2KC(lnXjOOn{j_VEf2CT+EY6O;9xffS^si-O8%)q$
z_QiO2oa_jwb*CO0=Ro~SoOvu!5ge@^)0GT|{!xE%LQ%fRbK3Szm_4{?-G}gI=zsrv
z?|D6LHvR<+&dT2r?_5Ki-0J12zO8C^6`N8QuMh&~h-KS%`vjh}+<j{XI$?T9MzB;W
zr!~nPma7|1mbieImBo2R?uW-p5=(_2I+s+C*)PxrSQtmHN~Mlf!jwvIgb~zv!?1pt
z&{=7_4W4%jG0?NOGapq6y!NxRizr>lPc9>oQ(Y9^6CBi=FqPh(+jh~nt*xtZU*M-8
z{|FLd_yJ1;?u55D5d%*^5HJcaOl59obZ9alF)}zcHkVNi1QZ1^G%_?aml6B|Cx4Cg
z1yt1A_rML)T>{cEG)Q-McS&~)FvJiuGzdsYw+Kj=bP9riNSAb%fPj>AD)o%_-rvRh
zf8Vv9XR#LW*?XT|XYcP}pwZH0m$r4a1}eCMq3qloTp|EjbzNO<9sm~?F9#PF4+aCn
za}d-S_&+%YgFes$0&)e5{9z&M0e`fD!enw*P?({*D;S{S=?viJ1#k<9a0`lXaRGR^
zxP<>_=;|Q?khAgv*#gu#04lCvAOwR!*453|17z<2g~j>bzW`<%767-fuprxC#{tqV
zKo5|O6&Rpy1$6+rz#`gMIRkWEZ9qV%?|)n{i#b4{ZX%qV-rn9ERxS_@SAP$C2^Kbh
zHwfwg&;de#9$r9O!0(a)8dfgAe@f%PU;sRK073p%=(^fLy{$Ze0GPlTWCH|4U`IT`
zwm=U6EIL3}Sq-4+1_b|YtoFA78{nVj0Ju50|8@7z>EDh(;J*%A+1R+cxLJXHL124;
z9mp97&{R<4fcik$09Ihz-+zWy&Jb7Fc`Gj~kh7IF%;2xotpEzr+5jt9h5ytCvGD-8
zK_MIvkn`^vIe)u>wOJl)E9>gw0t7=L7{BwA19<>#V14)H{O59=z^>k4|NoI42yAQj
zy9`@TH%>h;$lVjDEccHMOoZ_$vj;)}{9IgILR@?RpgREQW8=X2JAc4)UpL@iO77oc
zSPg;xZmw<sJ6IXOK#&~}_6NfsV&w${Ks`Kxf&PCg{!19#+yGmU4HRGvv<HDP9=*fF
zK)b&gcK;qAAAkuLZ2Y(ZT)%(*{m%?GVYaSdXWvKjzpj{5T18n!R*m(alK)l8$hi6d
z{MiL~0PH;c+yG%gA%B1%zYrkszizawK>wt{^>|bnZ08CP{ySS(oBo%v*FPh`{Lg-{
z0RHPs!xc8TKmhaOoSSm-bJ@UtasPjw_P>t&{~Pk(UjAR_{QqX8;OXrAm!A1=ga04B
zl?%w(_a6(`;Cez~OQ7xwTLtj{H8lYKy}9Z@Tac&A|J5o(t$$$4APu&6{<o1Jhyut5
zXsZQ++Bp0@FMrGRes7vH2n^J6g@As4TLA3bTwMQ02U{;2C)oD`0vpP|R6yAF{5PaL
z*v8fN_nPtW3jnM<Jgj^%xL~uy!_N=!=Z5X0Ezsw$F$QpQfL)=mBLG-=fdD&K4~*Y;
zD!>n$oZq6qNq+#qDf38z08ZIQ5(03_J(4hhQ~qBP<N|OiJQ6p6Q}K~_0GvvX#0%h5
zek52twMT-*Q-35_JdH<!#nb$kgkbTs9tjpt`;lPrbRG#7Pxq1d0G!Vs30Aw_Bf)af
ze<WBg29E@bZuBn+!*o`U1k2O<kzkfK{}OD`IBi^=VSktVKM5b-Z;6Y`<N4pW&T0Dx
z!m0s2dVpp1_sBgOzzVc`#NPyZwCDYeUcf)hVG{d45SD<$V>+-FIQY6b0KtD)z+|95
z5SD@C9|$Yn=?{ce===x5%6EB0ZdhrLp7~)%!LX_RLl3Lf^)VUPVb}ktVYRtEs$tID
zU=J498GmT^*bYAKf21D&=@K6-Yd6>j#`TZR!rp66_s0qTO`br=U%U73_3```x<Y}r
z*3SP4!^`)m_-`a`ZkWpB4}`T3@>uh40($+?Uw)W51on0RH&a+wAkJ10hd*4vl79>U
zTYXNbx9cBj*a^=+5OxJ#e;}-j-hYe-?6l7x2!Csr?;i-O*Y7bEm?uA=$KRp;^O>>n
z^nkS(`qxtc`v(1w|9aYiKp&tD#=@+tjcAx-eOTLdtu(ne`_>4`>iVasM5EqFekkKy
zp1*?{YNq0(yNso670K`$t@*NuiP-@1XNT9LKBk>nAz#y!a-neYy&E#e?D>N~&pPda
zRDZUvWcFi%Z=yDy93^Q};#!&@nJ}do%-)6zcJXdke=oZG1lcwg-Uqk<N-pte(#WB4
z(m9{@5n_yJ=+~h`My7c2_#P(dp3jx_#_kYeK=D^HZLy?3eK$<vGlo`H2D18k-|(Im
zsCL%~R7DVw68fpo<P0bGlRiz#QuzRZV}F$4zmzRYj4b~=7lTwe=V7K}{7nC_CfsBu
z=!YYd7b@2Nu(YJ%gPRqm0TsD1PF;0|I=7KAf8l2~;B48n_p^3IK-@K5XUO0X<R_l$
zwrZ&Z)@(&QE}=Kq@eOUPOtJ`b9lw8QvsGD|HQ`eNsq`<&Z)N)+0?X?%l<D&nu7BiV
zpq(;bo4KqrhOALl%_48YZCbilrF!po-~|JAnFWTG&&=#nFW`(Vua!7zbUHuoRO#1>
zf5Cp)ZM0}$gMOv+-Ilvx<70#?RV?xQ{RS__jcxxQzFl2`KBnqrp*}7O!g`8iQ+}dJ
zE``rlFqB*JyeihUy6WCSeVn!Nh<~oep4i9Evro-x3Yv>1#HKi}dLy(u_3E4RvUeU;
z_(Qu3xQ01IHvIb8N%<u(Sl@EG^2p*$+VQ~i37{P@#3_>AinbSJ*+nxUIMmA)H;y=+
z{1QJft)P7s*Hvn0dF3&OUQ|y81TUx+_84M>{2E&%b%)-k#%>$*dY*E*-G7CB#V6I9
zTj28l8PU5f{BYy^!GX40`exylgV(1rh37pM>P$1#47!0!>7G+ly>xNYgN>|knQ4d0
z9<9tg`Gv!)rS51VX|2r@uWP`Ie1YTku9A^gCXXP!*o6e2%!vA8L}k8SKjU503(JqG
zhyrcIEkAPKbSbDKQooKae19H?^`;lg5EFbfejmzp$XYwOeMec%D;K5vTt$__EWXh@
zef&U`HZgb4=f_gdd_Mgma!W?C%xpvmyhnImKM09}+E<R&_hy3`B9T`DQg`?m1<74X
ze)9?IBsdoJs`c_jH|`!yW8m`-`uWhyFKES-_XQHWfOFMiiwDD9%YXh)TiUmiGa>5R
z8`u1n!H}-u;2#EfSa(Wlp*|t@8p-v<=MztWGJ%y}SUOqY456P*zgo1iC($|Vv8MMJ
zAIwK%)2CeGoH?Km^zFC#=wAZCal$dfEQ^)XSJPY=nD9gtN7|%jY=$d0L$?%&=P5{4
z$4pU?>5M1eFuxGK^nV1N7MT_Yez9ug;I)ayayB-qliy)|X+U`r4DP}GyknzLsNzdb
zz+gZ{dREDCdGC;~it*`cf9;?!l_PwsI?ay|%Xt6cnZR;sggxA_+sny{O}7X&x$5=H
ziQt(hTxt=}an1_-cc_^iY3oB`tJ$8qG;}*&Hgz-fjK)Vc`+uf1pe8>c86FkIizT=?
z@miO<Te6V%<SdlVDuy=(>AAN>e2ZZXN$Qlrb$*4##%`^jot0NC0#^|4Ymv1g^%C-v
zix~;MqtXq=jN(2>?XV-7hm8?8a4C%)un+HdeJ~x`-)rhErvUlfG=LZ45)~0bEe~Wd
zFiJ89j1xj%ntzuluh-kwTax;t6sS-xfJP731#XaB+{ID2>J{3hhnOu;ErqVGWl0HI
zGbP-(N#v%xo)sx<4AJ;y-+7j%XSj1QzGbOW`LJNetpDBnhP`?YH9~ldyYIVA0Q4)X
z8OCsAyVcpKn3?|6bi)s_VcxyrHFMp3-u?TOQAez{1b_PW-Ujjx6A8W9_m~t1LWy4R
z3ijV(T4&+q^PIkp?!c3=xuT3GLA?Be<wsBR@tOz;a}Rw)=(KNGgvzeOicoapt6o<2
z7OqZxg`=e+*C_L@iH))&Fn9>$q#mtuzRh-=r+$rxy+_USQn@OuIxHFR-AG&>-b6j%
zHPac2M1QVJ)0PMNGiquDlr-8v3*6#jB~@zd7!`gLTWvehO{E3;rH-k{rrEi%fq)#(
z4`aSXgMb$-Yah$!?k-rGEw3O{Wj-7HylMo)oES1%7q9*0hVtxHcKBTl9qI1~+!5c1
zW>R<KCH4=f_f7>%sg9i81NyEs@8;VncjR}o`+x4yQ>fvD_<jta^)6VWVmizHgn#$y
z%MnsEo1qGAxR#T;#>=`60vuXE(?A0~hFa?=QI&vKy@=Kai<cvj6V0cTT=`5yGFJEv
zbgN&D`QiqbzihRdHOh(@cQSm%XL%@Jo9BMZ!jcZ&(=QXvzghZDe1@h|xE$-wehDSY
za(@B3dVbR(@k29Viln#yqFx)Pbm*AgN8W1=z9AL*^^PQ%)$>)0S^}Z>ZtL>p8mqbe
zy~x6R01w4N8`g+GOHZ36mD7yQUi12()TjvUS(g@tSW4FWlYm`MyW>0sgvo+u$fG0Y
zMOihoyzGW<>t|%;77-Ca?p9b!p_`DFNq@{d?5K!2!g!nm#0axA+6Yyh+HCx_-rE%f
zah911ippQfO}B)%VY?PmK2|fVhrIAL!ntz?NULA%d<*3ZUT)u_O}~&FNXr(5tDO6A
z?UklDJAIC4BXtCM9V)1fAjX8ylTb-+D{A;=a&BoD!r+accXzm-o<}oDGV-;xP=Ddo
zH!&sVxt}g%E58n26xaLmaJcB*C^^obm2TJf`99Ux+;YWA_Re!+=?VHUj{2l#rQw#G
zSX4tUtFJB{iDC$aex6)O>fXfWlgCrPzHP*<T{8~0Z=0B-!E&Xi<?`2hN-9z0xwr{#
zB+-42afj!#`orIdzAserevBJ;Fn?1*<6Wn<4^zmbrOYiHvc%}ugErFIDVO!c4$Jap
z$lNC4T|1StlaTEz`6ZV*ogSQ6p0!A>o)h>nlvejvU0ZRHj?^J8%i14_NAGJM;5c1b
zKU*6SD@UZ6bS`4Xy0ILOdu>?}T?~53O-vq1zFQE~KE`cLAk9d_rXwgcNq<w0yg_jY
zS(wI!^k_9zvr)Otbh}%(Ul_@vWY85Pmh=OV80@x;X+}bNEJGqgE8v}p6243@7~8!G
z?Civ2r1X*@%~o)knp75HR|IK>(MtC~iFInR^CUncM5Xzv`_Zyw+-9VOZ_9i(!F42w
zQTLaMKbIP#tDPj<70uO$CV!>#v{&#jK7~wUtdbP<;_7xlb7!vx)}HAD-&c{WRQsa4
zOe<cu^YkU;zBx9Bb6?o4Ib`rpn~rYJ07%CZ4;(Y??s{(K#odrbZsV!7b`G8C?|EyL
zyW@R&;&}2ARHo>)$q$4ygn5+av#{B?J(aCJdum07gZ#Pyi9VkI>VNamH3Or+yF$Gw
z$FqyJiTDiCOEXOmeyx#iP-8Ulz1tSQNfsh@u|9|xb%bM%U2G;Y!SQC>28-LmBTuY`
zcCB)wyry$HZA`<sO}T5uoKbaqpE14W%rdHRg-v&ff_m%|Rn#=u>y=5L(faHGi;1O}
z(4o40!Cvm&)-byRr+*krhBz^Pea4X@5uQ->f$W<nTemI_xISa0?oY&<$%qmeFkHi)
zEk1>)HLV6Xj?T`{M6_v;r5<tV+~CHfJ{QJ}WNQTz7@z#?_pTIRd*&G{lK#XU0O|Yo
z>&6h3Xu3W!Q<nP+FuFR!THe9rjd&J`ytI&haCO&fE7ZkW1b?m@;ZNyPLs4-_FDw9&
zr_LWWV@#fy*vh`r<;CZ%L(_5N>~hJT9!%^M+Z<osqnmy9(ot1&!qUw`K<INZ1}~&g
za;W6YR@t*=TpwrabYkQ<5+KOuuz7FiTfj2=+Vt+KvOKx;g-f`570H;<wPs`qv_94K
z6oa|NH@=)!j(`5?zCw#~+%m3eN!65Mh3qbiSox>wV0?%VezsX(uFFGvP4TQ=FkMdk
zssr!%SC=ab-0{Rxv9&j<m8t#}?c@~hsVmim{#X@?ejTa2w`=rbaa>{OGJ%xC@td~-
z{ad5!NQtUCn37<7Ka=Fk)b=(u-;5-?7dV}2E#}pM>wn>@=g&Ej-`7Y{Tn2S-f{XK(
z1vte{yz6{jN<2kM5x40lJSbPlhq3TS(TvtTCJWuVK^_s;*f|8zcX@~K4#?Mv?OYR-
zF;P^{`~4cp0xGVY>QqsliUoyGZ>HR;2Ao(SlgY=gdIkQ}R0?bnE`Van$aEaiX?mim
ze+9e<(|_ecYT=z0bLYfzUsQp6n4P299~8Ok0pN(nZSqP?tuOh$EoXWjy&Nv`V3zH)
zz;3G{c9!asm9emltitH+R%6!N4zx+mTqoa<J{B-kpMgxBi)X*lfj{#8bQC;sxI(Ei
zGd;a{Iny%T330A_GJ6Z{67bH#Sd>MiD`i06i+{ta^QHyVFt>1}w>N+Yo+hJB)XyEr
z2gh7BMM!6v;)qw642I&aiYlvHYwV!JTwc(y&gPukwG<E_`A;A>D;?`EKUazU?)=<|
zOnq3jAnSNveI$!s=aj~y=1i1j_XYm^@f3co=)#tu|M382q$ZW`lHCrWCZ5Y3gKrgM
zUw=w(Q-Vm3)A1}b9?$gj$9-Dar(|`Nn2XOwR@9BK5>Maqnq6N6_NFX<4!O}!mSWx@
zBI}7TQJ$#1lr-P5Tkvxyra-UFl&js~L{wJKDUlS5y4d#k#89Fa^dvcBH!9;J5>e_w
zuyN5@>nhxQi2LBQNMd-wt3pR=+?0sZvVZ8b5Yu96l=YEQOi$m?-n(-+$>&0JG)89(
zeY_?R&4rhQbRWIPkH+PM$Zp2nG{kq!=-%PbGw+u38)rr{^!2MMDa8_g9Tf2bKVgRs
z@OvHbTM(C`?@aydGu4nFJW|qBFkEf)eDkeHfihTb*HBKF0^f61l9^R7GB)g)wtset
zpFEtWBBQt)sqq*1XhCu1n8@Bd<~F;7v_jd#ZFQ@|h6P1d$LCr55gF$V+RyX89neO+
z(9BWs;-;z}{E3?IF(fp;D2v7JqirWpR=p6N2jv5N#HV0O%qYqX-z%=W{#3Ks`FeD$
zK0g~(_gp!=<a{hSzlf?2an<rKC4WX|Zub^{6mtlOCyD3W;w(fPQ@<2n<kdQ4I?f{8
z>}QGnd}9swwapgGVSwGO=EJ*>b_tZeN)Fa2k%|H%hzpnB$KD`xYz*>@o{gg3bc}vh
z1efg0O!xN5V<prJG{0?T*N(K7GI^)Ksa2W)qKz9~W&FT^li08tpIVtew11LwV+uLS
zo>4%iBb=81lB~^Iz<rg8UU0lX>Q!giJopjWtf;(`3tRa~$`8AeulS$f4-eWzXp<JH
znJT=D9O;}q*K>PMZX6fM=J|)vnnn;?{MGV1hF2KiTG3DPYh~kAJX73`3Q3NwKjw<_
zGkA>Bakze5Dc7|L4#e)|!G8=6+EOx&t$pi+d5~*D0QVq>p!4<P;1a_qM^Ea`VUb0j
zrK%X7Mo9gugXvsxDA$i9uY4!X(cV>u<xaBI#CBc5Z<~#8k1AiLZym4&^(IH~%iz|%
z*3nL3BA{~_Wrk;qxD>~)p={zC$Bb>xV0}gRJjA=*fwmOwftD;ssDE~OxbsXF<8Ad~
z)JWxi`}~*U^&pDw7yNlt$T8&=PTTmhgo~tUtW_U0w#5_bBrj{49)9{V4k4LXx5Sit
ziqzivG>1(6ddT^9pA;Lvbo9z5=qcC6y2$6mhmdmuFxt!+M3(8h?8qez(<|wGzx`e?
z4UJD^$w1?Q3<yGsw}1UjKV__adS8VHlt8bjCO;<;f@vN2iga^BJ>ksfXH(1#VP>Dd
zD3#tRHhNHJ4RqSoSeUL){Jvv|2G@xp$l~m@l5bSH(=@}|Mnh4ImY>BGxqH=#3%x&F
z^@L&o>OQ;{?kn=Mcii;3Z_9QtVR6aX<;qt6OIg^<#Wu!RwSS4F@6sk_{ee>9>#KY=
zN85nPWS-~WwpFfQF3k+Cqm>aMru2^B>pNZz&>!vff?bhY*dXs5=z9-{`P)ABk*Cj~
zGhl_QooHdva2lwS%*rt~Yvb<vn1rafZJQ?ZP1A>N3yeEt^IPp4>T8{e2+Y7U8K%Nd
z+JCf_*|7q%Eq_tlB~9I`JQI9j{#4mxCvnAcSV1DEtYps$E%03Dm%hT~+Z|ut7v;ES
zMY0LU0{ToEqD0{ooM^jVcLjdu+Fy<i-~?T}XV*F{kK0I}tAC67G<uYY5;RBod{IOb
zat!9wVa@Z@X0aw*De@<8#m8TJ0$161X)%QbH0DDX;D0i_{&BDL%d)9(Iie@SmXH8G
z)z0fjkf6L2U4`!M!l5O7W(P=j+hvrSZiO+XU6~&L6L7A3t9UcCJA~v}0%;@4agED}
zo-S)tI6Gw;0y*vO>cY53d*HM@viEnx_q?T=$)2o?7{54r@=2fp9UG1x=3LAc9G_(7
zw~yZqcYoI`ZasLoOT4!?%5xrnYx=8gv357y=ru|uYPpV)PsLMc8j(naP!MX);4kW&
zq?WFmk-;BsOml8TUdY0gh$o#(^z6*DhpEmoE40@09MiEPq3OCG-?%9p9|?*)M5=T@
zVdrchm7(AUt`@sv-ek5I8RMO2BfF{Q&=Lfk27jrtmyKS|2UA-3vViKh5*me@5#!FK
zT)tr;61;1haAitPta31_{ciAuOS(Tfwwk|XswCvJkX`EfpymnF_H!nn{-8PjOKnwf
z)28J4@vjHw{-+yfnSydpo7ku=;<?vQW-IyykbUtAJu>?cEl1bu2Ntd%0>VQ*x-5kr
z0Dp@a?Uvm=t(VgHsEXp*iQ85J<!&VK9^Y%gXGcy#b%{=is=Mtv+D9nfLSb0Uue^+!
zl>2&ycoN8uqO*Rm)mpo88h*iyV@D5aV@k-KPhH0trTih!HGI9fY2UPzW#n?)JuTrl
zhs*VW_waji*Z%A){qasPHC$5_Jh@pO<bNHgQH;G{d+<Y5--ULE`gwPjot!{&_p<d!
z-C8QVq<}ioC(e!$3V&t+5}ZWZHCZ{Dhazr2Ep)rEG0ay|M-I45=cOt&&&t?rBSmWr
z+WW9<?MtWEa%_km-fna0BAHw8M=Xj?u*7wmd6E*`P<b2$BLz9}8j-)5TCL*Sr+-zq
zJ+i!bU)i@Wv;GOIK7{l1tjo5FL+)a~NZKANuLK7|>^Rc1$pO7SkLu?O**8-tp<blG
z{dpax-kvc!bpOmFR6?FMojPBTp#0bM3C(xha#z8(Y?08hQ_+MU+bGYs!p(Jzr3B&1
zoUg8*ke@b&Mtn<?n&+gP2f?j<Lw`Iw(33$QUVLU%Y)h#sybx<DJ8ht^H15>Q>a4DE
zEc?T%E&vd_^Zs1KfB2JOv^YV2=v=0vlnfnW&{)yQ3LQjlE9%6m^=*e_6$djkMQbS&
z`Z*^`wXM|T<u=l{44)W!+h>8exC?ghV`Q5lIiH4_)9Le;DG)!ZJ_k>M7k}I0l*h_-
zC(DXgocOpmYzK43dH4wwotF=l+oUD5I<)sw^u<4mT3@SKq#d|RGRNU%`4VUTkd{%R
z^#<@D8cXd+5ngmir6wTn=(A-o39}^9>Sd&&3Rdn*sck3rk5SBzx!@4g77V+TIgRGr
z4#v$P6}*Z};{ON=qO;8>g@3ctnEw7eXot}VYdkJQF{T(I9)3@FoWt^<H>ND3E0lkM
zL><g_cp4p^upK6+66xFU%?x*FMa>gXN0>Zwg`grW5<!qTSXAjC^i*qOH%>2cB_!n`
zS-`PHRmx?++pT~he(~p*xVc&T>EQU>fzy`+TixxO@A=`C*lFM#1Apt_Y@VqRO9p5*
z_*1{^v#_?~9|5o{C;HyM-&>Uu9T6Q!Mu+1MT@?q%*`po^NHbc5Sj5|!e})%^&#}5J
zv!}_rg2#3-7%L3RNv@h)3j&)=&Sa|F%7^v8m*sOW=8fa(l{Tj;XT3{Q(7yK^7TJ(n
zSec!5vgOrky_~T7g@1?Vfws}$pS5uU7k24msi(*9Tudu5>?q_ZOl8>dGH`e~#^mf7
zp~}Pj5w7MT`^mL%eenX^k9aq1W0F?QvXMgUrjzRH>M*6&!Hi)eq_*gMI27lv#0T^#
zlaPK-(zm5SMfawAN2kljsBzo|Q|qLu&`ueHoi&z*S4^)!t$*NW#}SjB&Ueqfah}EP
zUI>P?2^#ebJCRr)i<-qeF>^IPOg5-Q1ziN7I(FE)F!YqQppRn)pxjGwFS4TS{1~`D
z?vBUucv6w&H<#2GFs5JhLwrd@Ckz2^=0`VDWCQB(k9|pyaoqS$ImPu=3vhNO`ssR{
z?>AAtV&CS~_<zgKR!#S#k?bU&Ajm{_2wb_H4-{ADerF^K?Q(C$$W3P7FjGnetE;?r
z2#y)lmq&4F%)Fj>BS9%0uxMdEgyQ0Tb|lw^K|Wq@tGyvI#K-cDytjAFX>$yd_QvC`
zEg_qYrfil7rwntbR%isJQIcqHp_r{4Ug|Eho44W&LVw}D-rts2UlJRg!s<xmFFoz!
zsr|(`T)J7SqpLGcFw?5!f+fXDXsfq4>0K4Y=Wj2n>9I|5ChiPV3=dx}Yx+<W(zIv|
z47-Pk=GS_dtmIgBU-L=ng*TW7Q#HSkt<?L;1(0GXUrl}?Xy32)O>xUoF@S^>vd^ca
zUN~8RPJf#otd-pyAy!k`*QVv2b^Q<_Ikj_PSccepcT-2i5oftWA}Xmg8>vOKW-O#3
zE>FJ+&#{B*1ywxqnjn3HAuF@b4f<FIeDN(JxI3cZb5GoG7NgT09Mhyg*awXAlS5)4
zqtXlY?O2=>Fr3fmc8iXLvY#aeIDlC<F+a~=Ie%b#C^Dur(a30wE)hNNirk0|pd!e-
zhO+X)nCPJy{CX2W5R4;oH}3bE|8Cx(igpg&d^Lq|*`fMd@2jeHpT^aWl?@a5PnOho
zn*zN`mNxb6aeRiL1!sdHN>p&B1)Ol|rs3!G1-YACJx7ThKYp~RPspBU4wEgVml3n&
z2!A~;om+zf2PO$y+}(32WcxvBn#CN~zB#USXJuAQtV}yyn@)Iq@lUDe5GMC2A1()N
z*8tiy0dTS=x5!)=9PeUhkIxbWktq^1pKFH63^8gcy;GW{Q0<Pzp#RF4&Ltw1Bq7M4
zXKk(E1CXZIE^>MMb-e8Ai>qraZZk?mD}Qu;KUT=d#De$=PfwqqU=u%z<wcC*9UIC$
z!$;%!t!HJ7=#9kz`r>w0a?D?+K;7sYlo;OA3rdRLmJ52${mFBY1&td+e3?oz#w?BO
z$}G`S+tn+p9&ksQUmW(N(NXsq`&t%kb<B@lk~jTCAs!YvN2XhDBpBtc4OX|FFMq+}
z#`0a8dg1*V+J$F9LFkM^KaI)T@nAtOwV&k^uv8zfUMb%FIf{AXMMsNc@xjlZ(aLZ2
z{1p#Mbxp;u-b^MVJ7i=U;g83Y)k$CZh{%8b()SRq-%e?ROqbN51l^Ewh|$^SIsRHs
zDU&)+bd%g-Z04dLWY>35lK1g?jeqA8eRCwn?i70Jr~siR#%Px_*QmaCi5Oo|o%s-j
zx_gpW7f7b?ZMC*5rABJqRa6?(wF*1v<PBz!Qbi0$S7qg-ktHPMO>S<i^2@g$$nW)H
zxS@H53+A7(dNkcu93**2`?!=H;^p?#%;liLx0KHJ8Ov_nIZsUe&VC3_cYmyJX`Dbl
z1;4K3)rJpm1r#HHZuWT5qjuw@Xh1eDmyq<pwRrp8hZLP&Om&DLV{n9ClCong?%{J+
zZOCPSji$rIjd<7)&pPFiK#C1!yrUvNnW@EiGy@497AO#(h{2}5*8e!_nDghb11g1Q
zTC$kwvSV0NBAU^myItV8=zmkNS}QO+eYmnr;MI0t=BUg(sj$xidbyHiN?q^DyIYq0
zw%nP;_N&SHA8(a>F0eI>0)GT;V~gCqi-Tt{%h#F0E;ibO@Nc%SU+{Zk^8^ijQ@?y|
z-7|qnj9Q9JTRe^x=}B?wRK=bZ$}X9t)0o2%IefeOkxJuON}ov(DSvXAMJerj>&rMu
zan@4I>CwT@tX4LYa*C@3OgB5-(LFb-)O_xH?Hf!h6M>UV|3Un{z)J4pKnL;dQuDVI
zyVei;t@PQ3T|hZ{vl?628~#Bh^CCkIoURFWxH5ZV#!=XfgCiMFXvT1L8jlrTf-KMh
z4w(&iHl}|oMBB~XD}PR{r+al@^Gd^J#5LP~J?)5z6dk~N5+oki>rAZiz=0F6&Ju;^
z>5-)3H9;2oIn(F9+dNHCY&X2dfRBbz8NV5Uk0Yq;UUmOXZ9(kj4*G~bHfFe!gYRvE
z-*EAq;j-YR=fbh4VOsqK^clnKu8Zv`_&WMbd{<9p8Ga;D$A3i{ihQn%U90etSBhu^
zlsfne+Zs|Vkdw3QMOT1r;vf}$-W!hel)QtIHYVpz{la2`wqLbFmvZEtkz8m|>d@->
z3%GV(_V6^+(G~B#_YTs1F{88gQrgn4%-%PU!qb8%*8oif`rWVNENf{lX0vyxxjq^S
zi&Uhn&WF>DBY&HG$gSQwZZ5RZhdD7f--TyJ?y<doQkM^nCTlTz$JEg?1kW;j-Ifr*
zEKopnjuLz4<DdV`QLwYK81DNoQvr-P3P#>Vqw}%jA13X=h@VZI`r*q~xZ)CsLG<KI
z5W!qEug`o#ydQKMJI<(=nkTz%dJs;iHnj4sUsEB|(SOw15t@?DUR%{W9Mo7xqwS?N
zGGb*%cO@|5x_6S!kO*wgWq)TKHVc1K^4&H5V9*CnB4ib6M<#B#LMkW7wovGh@-uf`
z#PEV`h>r=QP$I7*S3>MM6~WDRBACej-5co3U>z@`h(osPfbXX4{{8fyN=^eRNT!y4
z6@ud(U4OM?gqM$sDmjr!bp;+8jj9A%k)Y2r3A;6WY{Ic!zG|@~6D42lUFhPX$a0pt
zDHrD?nTrTt|8nUKH?-^-jPrgfAw$MsHNi-|gpj4RpPuXHk{0IqY8G4{T*pd?Mo7^5
zGrY^fsJc1Q+8>&KJ4s~_RhDTV=HVKP=B|G5j(^d*;SN9DVue?yk2)})1OR=;^Nzsj
zygOaYht@{J@t|Acv-B?%?wiOO$}!bTO5N;|v@7-aP&ulC4P&<4clh^G@paBRq3-?)
zuV-JHSCbc+z2$yw%>Mx$Zf_>VoYGfc??^c2EgslMw&KZ{bDiz?3L`xmFWJpC%5Bv$
zxqs89d`@6r`jyzx_nyO<n?^?7=Zj3Fkdg7cx<s81r|3~cb&x84xMI&=@j*YMb?dLW
zmDjT#aBxuvv$i*-ewHE&q&LlAd|rH$I(H(yHA7hQ#`E~xhj?S$5Yaj&HzvxP)L!kE
z6TG?Ww<7h<GXV*mf(Ai%YkJx5qiG3p{(qvbd0Wpv-Ey3yNp-3nuHozGw!idSlAUPL
z%VJe_H^*^@U)b#}!C{ZE*B)@bV|Iqm*>k2~8pd{^ecI|qwUd2HNcvh)%y^srgYi=r
zhUy5Zp)5fGaL-iNuUbyEc-FYKLj6<frdEH6ckKAZc^2A9O$>e{lh`81v)N{oT7ROe
zK}yT-Rr7YU^UgcKKr8r9&JQ>7T;{7+Ab((aoqiP*5$6PFFZnxr$E`M_+E1>5*^76g
zo(8@RnrL9+mQspyb9LhB3vQ!u_39_-v1L9|0#1EMX6gyal+o?WdL@<V>sI;ulUmLN
zMk<ze1MId27iB%2&`QGtg%Dq%Fn_dI8aOsMK09YSX6sewD|$v@$($hJBRo3-w{vrx
z05`m@gjJacga!_9?eUMQPp---@TJHpyc9*K<k&w>-Ys&D`(W$(5w8_BmbV?9`RrPe
zQu)By9B_TXc*ps}BhFiLteHiwTc=fF!9AZ3M0K6Je0|PNC*`_bW2QwtkbkB=F-jF!
z(h)taite;2$P`t)S!$fPwAo!I(jNZpo`zmZO$3#Y60jj5hay@s&wx5Sp!-cB%~Lvc
zcv4xNMJr_0L><pYUEbv@+2GA;)gizZ8>toAbh2Zc$yY_`393*;TlaO;egCTAw60~Z
zJEeC5<Px~pVF8B=#ne`FrhogHV3MirIAl@##rL?*!&{6FvGA#!UVH@KT%n=$?28Vy
z#F<|%7PBc#I%x9(MQs9Hx#zrX-fpcko9lJS^D{Lj=y$DR0!?<OOlQ{pn4E=5sP|vp
zzdz}rT4*)leKvnB=_*pAA5Y#B<X`LtrOI)T_y)f>`p#@*r%14rk$<=4XR-nbnCq&6
zV-vl_&He`3!qePCtjW!CRcemXs@v7t{M{^JyOqE#UU4pR|He*v0S@vc>NU};<H^4A
zR{r%GIacPkCTsyz?JQ?0S7j8+J0P`Oc<6J_x{aFe!OFQPLNWDj29w@nS+O}SM%)fc
z%(M#q_u@BJ#dvi<QGXvUK9e>Rd$l=6G^!8Ex)mRx_;cktYHqX^J274Gn1g~^>4Jy&
zu`O3swsEoN*Vdih<0Hd3_p}@M$>@2-Oe7RfFIeB-r87VI9+5P5bR=>t+-Ov1Ms5%c
z?!q^ZEG6(aG{}3Ej?RP8q_wf5tn=xb8YIJ2f^JgW-ylpaw0|l{WtrTn`R4BF)++#V
zej)Czj))_o7Ar!zDErZAz}Z+yS@RJqZJJD2YKA>Bb75O{;%>7d@H*qWN;-+LCbKcz
zG_xQ}$R<Q^xtue=fl#}pA@e6E2in5^GrCPZkb5DaJtJ%X4Q@)Nl6oT{!<%pn65s8G
zg{4#G-LQ(Jqkp{E5A6?1k!_*8SM&i7iDa613);aEsC#Oi>$;6Lcj-<?`L%KndeD|}
zkxV8H2TdOU^NkGqMb6H8-#u$-3LgdiTEJrOtNyAyD2JlxU`v0rGSBl@8>dsuP)(nS
z2%qYvc)o6C^l%eTi#4dr;P7%;b&$?G*WmD7OZ>2634a9hH(KV&mfa25LGMZK=1(4i
ztdRB)La0W(Q1mFUxvoT|H8-d_M@#e8EAIkxj~9AAilrnD!bPNfbwK=T5~ha|&#fL6
z+1Y*x23v@E@?ffPK9S4+pxHy7JwQ5B@2s#`HYw6+B;K7c{56{WQrSTt!A8<K7w-Wy
zweLt}9e*WqHZP#Gk<ze>)Xk+TPyX3;LeKmLAwQiP=?*#c(rlj!mj<8rR9#Xce0Kna
zn*V`y7t_hkM9=<cXotglegCwU@IWhZsepn`%a;|YRx1F_?c<or>$f@Q?RN)x8KC#j
zYtNcnYV_Jy^dk>EWUDiT^~^aMP9;T7De!SV8Gn#poSuTrv^!rhX<3VrLq+y4TSavd
zBidiTGc{z6Keymj>l7H0Y+X3;9BdX_Xj+^^Kq8>~0dk<9!v_#}2Dr#QN8+HDNVL?C
zYdfT5IoTg#B&*AAB&Fx4a#ojKE3I@`USl_<bu|T~-Sx7070)ugFzIe&x?;{MQB_yk
z+kaa*6l5hZu*@GQMq**H9&Zw?{l-Tw!>i3Ib-K5JcD|5g*2x(xv$&TkPRVb!o;ZW&
zzxQF!PU>bO(^)Yz=nUhP_-OvJNWQ=|gHzy_JRL1!<wQf@0@X??q&33Wo=Q?9wI|i1
z#~Erjy^=-}*H&B;W`np6iJ0(`G)rjjb${^DkBYu(pRQf38@`#6p)b)M{xBKQ^8(y;
zIQGSlOLU=~;XEfc+!pL+y>xl>0KdINX=s3?g44d$Rcwf``b++0kjr(0Ladyw+XP@6
zHIP4lFcQh|!_DGn@&f&@kXyl8PR5q55O^Y$uCarmeqXiW(n`7f_<{E3B=1n3pMOrA
zo`xFb&Xz>^)n%J{EDh>I6%pB^C`1KG{nl=JR#buQvz0k1U!)I%&xQp(1qiIshUG|4
z9N=2rUk}0G%wNmOhVRovB(o)rv?OUQ6S#v68A(v6Q{GuJ(zbHB-k=wK5oMw=S(VXw
z;xDKnb|-S9Ed*>oEq7iS_V>@hjeqwE9LM!IruzJp>;2gPNYh^aidzcLQd(5f)Y?cy
zPSZ{KIUb2TijB@U%#F(6!ZJ{@)94D#^?tWOl8H7)D$yp%C&a)x!I+*+2)%}PF46VY
zK!t?jnW(jPp`gKC+-Si;tiZ9bJ@ZjekhRUPRb<k5$#i~mt^EL2_Cbbdcz<>I5S1?`
z!Suf@B>8xuw{Px(6RE}dn;Blyxt>c}%yner-Z3+{FDZ_MLgiJuFy2c_zi;rKI-q*b
z=}x>EaHOCmM3uIn_yRhQ6stM=U1q!n0lDvir`sRyh6?{Z2@pG#_NJ?ZoV`-gj-4^>
zh3B|t{zL18iH%#Q_q<u!I)9zR6U^_jrN2DX5iA;~V$zUMTWbW{zG;4Cu+gos6@F1?
z8s5@!-N~S2=-RcIFMw=)t$+l_?zlg&X)(Z<Ry(P`_N0!K>RDT+1iP7b?s7ZQeP_*K
zG~G(in$TPx?F1?5B>G4t8uBQyE2nH_)+8rezii%h&$Hr;w$D^Q3V&lY$Q9|0F~piJ
zJ<vpt)_uMN3|=FT6RdU{RH?nK*T<3mG-L$O(mvXO6m`*jL5(sFiQ-Yu!Jk&AsC(%g
zJ$i(YLh{j+S~n*x%<Cd;USJ4ihu2&X?wvMGO!=;BR}E8JmE9!Oug@l9P*BH`km1u&
z3&yLEdp1dvn(3>}@qbJ%D=r~JRj%x(cW+47xp6-??%}-m;B?M5A>>ZH4MG+Co)h-c
z$%)ivcZ;H*g}N6W+Yg)GkVPQ+f@NW)BO*Ce@l|x_C`o@+IDcX_yyS|E{TFI>vZQ#D
z<4>6CfgFN&iB;P{DqQY!khUuSzNL24dil{XfJ@AGK_T9X*?&+&YANoMF1dJzY(AVD
zKHOA~RJxDbHPD=#yx6UJ3yhlD=0z99d0Axwt?Wv%f>!~oFCCZpUhU_lPTuB8WVTc^
zN-Z4NIK|bV`Mf@<^761w=)tX1^=0d?3Rv#5Jpw*3>axFsr<*dvkJ6r?emCn+8WEty
zTJu!%R=82C_kUvk*T}_pU{7o=pTnEvDd(nx@h_jlgPxB1(XPNx_SW`)W(<qp=cVqg
z|MWw{V|baEB#`_42L)zaL9b^*2FLERLKX242KTVA&HZ__cWqiv`P>lQ6*85}NCx#N
z;jPV82L?;AeDWS%zrAswCv^G}70g{ki}zl4fEA~AJ%5BN={T<m9r1;NO0&GE<hR+E
z8a_;MjFque9uwM!Q&W*z{2iq=v+r(9Yg-xlgJPDr4JJE}>rjaiLUgf6ViydIeQ($E
z0?OnU*)$cVLJBdlJ0sF8GBChY{_4rEMhl<FWLh;rQtu^dQ$keCNxYEH)jqGgWoY}f
z@aFHCnSYFuB7I@{3VJt#i^qm3sXj*p=YZjf(&~e)5lBmoxZZyW(XyZad`2PP(jx`w
z=bYR)OS)Ki=9HmMoD{Hx-=_pv-Yj^FZ7&EkAg1Q@DBrNC`1W2P+{RzqG=$f%qR3B&
zA}&bc?Z`}a=+Ek5=YSN8b^X$-5@pSjMjS(`gMS7S`YF!bBc-1wTFiE578!aG4-HJi
ze%Mw_>C1`gcy!yyXjb)d;CH9ZLem(FqN+&8JD3Lr&TloL{X6RsVgXwH^BY|X-&Iv7
zPM4Nu=3dY?1V(6UhD3r@5OsYg(RUO);A_k$OavdQDZz9M0MyRc*Q7+&n1O<esl<CS
zb$>NKEJ=~*)p8z6+0z{xMkmG8ftC*FJ6M4pgG$;*8GCi}O2~}s1aMUu5iU;{ZuR8k
z2_1Xs)x<^iN#ev`ie_Tg*D#=w3>l$Vsx_x|TwyS)V7-`{jGLxC`IeU{X+aJ~IBj>V
zJ-aq*2?Vt%7?+%D_(@~FwdQ&jqcU|FiGP9Z+3<vW>w^EGJ|2+sk+(?bg7e;(>V4Y~
znrv`^hF;Bn)2$j`EjJW(E4EsqV9@Kb^=TKr*o^*ni2`}VARo@Dn&fpha2gw?xtAe)
z<+8Tj;p-!D9JGCT{^E}=ER=PPxW8;?8T6cdBe$ANw7RLy4$4WCkMEh8A(MRBN`Gx}
z#PC0fpwpd+hrG7?i-AL}cv=tM?|2*0UVA3IhW}Z+HHrFeb6cT>`SA0aHFT?Yj^Q0L
zt-*eao!I;kGN>UNT`!iJ{z@e9>NVnI#@pzmjwDndg|%)Xey{?&209Nb)s~mMN<>~)
zk13{}nG8k4SdklYPg}*slcL$X*ng6lFLEZuFR+@DgLMa_SFrk%yzu3BCd;nqyb`6k
zlSEyc(x`i~KiWb1%TLyrqXRd-N$gNo9(R7kRhiDp%C8qRC9^#{{#LI|)AlgC?b{7#
z$@J_!jC}U|Dw5#MyvKBKCeEwD&OIgi4PE3LzT{b#F^R+k6eVIbiC>{kG=FPGDsU1~
zJ6Y>qGi`8AwyEJ;{KOYXg1ELXYA|e#LeD-U3LU6XWK9v{I~=g{my^u)Qf5z0B_W$+
z#S~vSXEqNa!vVH5W!?xi(oYty_D_fqIq3J4e9i16P~!PIWTh|f_$^*&)NrjYAO=DB
zP-WTn$`{||o3>b5O?V0aYJXwCeZ4vTGEtQ$gRr<6E#DlI1vIlyv$ujHjw-r^Mvd}F
z*Z|S+^^&~3INLQ@;!A{#apdiuwLJA?H$LzSEM)bGW}|>61C|%V=AxK25*t#&PVj8`
zTI3~Gi?f!ZS5o}I_XW<*%sM|RORQc|>mHGN0HkZI{5@WWT7w@v_kRc~cB=7NOedhM
zv_$*7<Ce3OQQMZFRh4@w!XM<0fIR}96;mf;tNn2~4JqpD<?`Z>*IqXEBKO@)9#E2Q
z1NuFxZfaUockU|Z{z9YftxyLK?V$TzT}J_eq<72w&paHvQS}#f^TX9bc87mtbM9?n
zPhX6F0<D&?JB%|Ku77N4VTP?w(xb8q$Bf|WHC3VXt-ncI4{PhYA^phRr4x8rLrB?t
zD;pi)&>nBGTckfl_MxX(KvWT7MLOXF<BMyqTAqy^&$K2mb6=zRd8EXutiqWAG}t|M
zt^`3iYvTs1AV<4f4Guny<gz9!h5kSc;l9RiU`kFG<p?E?cz<*MX_mPb#`ELZu)v~(
zMK04CqAdA!=lm6Cr6h&=AGo|<W1c7O?)VFfI7NSnCibhY3&}9Ta3)}1TCK+E<b2Pf
zt1sLbsPp2!EqP}s5|TT-+BSgJPGT1xOb|ApgR(Tqqs!~jd>){ne!`t6meF6>+SX0`
zeAKg}mY0NpKz}LO&Ce8Z-Ie2Gky<tDDs^Rz&-2U=aI&{b4dAIm_1C&MlI4UQ#QKKW
zL(lKLS`?P;$SQL3!Lz)48`%4GMw^iMpUHZ6)!k1*!J^^&Ic);TnPa5Cd}m6#U%lgZ
zqT}Y0zH{(0FyAbKcaN*lla8?z9H$<$H&v9fBVxdI&Juv=rIBM3es|ky9{~M7rW^Ts
zmvJ%#6SqBy1OLVWGnZiz11Nv(TWfC{Hx~V_U%`(piVWYcMNz<Z;xyf)O|7I&8W_by
zn%HV3jUtWn=&#>%$&oygtW<tvv2E9YI2`iwKF+<oBxlA_Fu|l^S~2OFw73K&qs5OY
zjjClTNTw_^#xVsFsd0@MV;$2pHpZTEOlkuzhDj4+;^r_Kq|!&UV_bjGmT8Tv4-BMA
zcnO|N$%reYC=51`q`dDz4P~GKiL}8n<00CiKR~q6%s_-xidg}c(9IgAEmXA-VQpYm
zLbQ+!Rqcc7k*ZNi<^(gsN9G_hjrX`Z%N$s0+&eN8$~lNM0qqK^slXhmf_qXq2;1{$
z4^YOzlmPv`fhuV94x)cyulLL<*y}Z}uooh&v5^5uYjG1G+Cd(=taG*(Kp$`)Kp(wj
z!9YbQMJi|`Sb)kHz@mU^0{sqG$cHEgeOLs21P<_<i!Ss?B_Sn?9x6jgxWp?kkwQQx
zcqcksAxH|%yahZGT)gu{f-bM%C_#2OcutT3CiJ9)Cge5=)<J(t8tzenVYt^4&cX#S
zYr24^q<gpxF$0wywHOv9MF$2)X#{vWXiYJP@QaZYpc~;JLMlN#KtaC35VAlSYENyc
z9neX52zQVsb3j6cBt%Oidm4i@qJpJX1L!qXoIrpRji-3VFdfL-REdC(Lf?=ogoIIu
zIYPo{iev<qG)8~R-q&9<-e>$_{j6sEK6?cX1Uq5;c+{M-Z@xi)k3ai3s~CS;o>e`5
zR8N~~+AJ_Rh_J^`szrS<A5;sPXQ|~$H5`?P^#}HfCZ=|(pn0RbDq!Jh5B%okbirE5
zCnN>T=io}35{p)DN1Yche*uR=rwOcy5u09&$ESBd8d`r+wMEKc?YN%zXXT(`IuChT
zHcd63vX;Yx56#1VQ#KXChZ=hP7yu>PjtP0uqDg@z+q$9*k?LgmiyvP9Rt@ryM-y_;
zs_W^z9`vh*y@J^L$BaL#J~TuGM;x)0J^k}?IGUbiJkQ%pYD#|7YgX|4)w|K4I(c}A
zYCS1OQ+R)=5DY$&h`v)IuIIxAFoM@Kl9nli#C+)xZC)|x_+mO}M)fos-rg+5UoB@z
z1yS3h)K2XLwS>UhB3etWl3D>=`gu=n-@_x{e8aBId!0+>Og_nliML?A!6x$-5r6FR
zs<HUoM#wIHBn^|E$qsK+59^C5xtjp>8aYB19_xPu7OTPt868L-Ob7L_qS-7Nt+dM@
z<%cu_s_BruYUURedsB`VRcgN?epeBDWj;Xy+{h=&-F-g6>c4N2*pu|ONrJWk*Gdw{
z6LkGalK3>#+HOLv^<6>D52n+)p@7m^{S8%8cMoAVA6D}uMV#_)`S<)N#g{xKwP5Kh
zZwh~jJ&6nf2`KI73P+#_OnL>X{>AGC9QotX^ml&n_1B3%KS=Y0_xbaaNA&yRylG~O
ze{o*DLueM0!K7TkHN~L(5^7yKTbsS(Vo%b~6&Hcl^|r3DC2Z@^!ifJu>=?ZnJ4W99
zG&TFL<$IFer91Xo*KdHW-NM$&yPuaPrB#1AkEBZuCX?gHid)Uu=nFdPV3!NMG;L!G
zLz`e1is<F_C+%5XpN*^HY}A}zye>vHUo;=b)!D^pSn=7%bS=)C$+$BCE(_80mv5-C
z@r9zZgp!3pKuhb9b==)*JebYyQf2K5I=;wI7&`JATj0cTw;KOezANuS<z+4>UFonB
z={$pft&qO~!o%uaHLhpK;gkB0(Rf@I_56%i(|gbRd{_?_{7G)6oo*)lH5+qO)1LU(
zKACrWQ-moZ9k9G8tfS+k!}8>>XAZ16uP4<ESzu9&rf-UBSd@d};&(o57JN3r6o&c>
zJ}npJy}`ZYm|`}3v%YlM{d1*N|BFl4=UlFTY}`tz{_az%b+<~JN~%K8ln$z}9*8+x
zc)E|K(9T|ej=X>WzIZp9Hy7pjb^Retkd2rL`^QZ9yKaM>*^CXRZXFxWZ)|0p-W%#Y
zN&kXSd$9#|_zY0T{h^Nkv`px?4t-wVy$k&Q=O}OfX)Xv`v%r6bS>X4d1wQ^=6HeHF
zdYTm6T|s@h?uQIU$f^c=t6hK<g~tM<ut|>ez+c8fY6FO3p|rWd#(va{%h$!ATzl-n
z7lV0KP0#D`khYd<cQ@Y^x4O$13QO-bJdRO<UW}>2xSQ!tr;$ND;j?l)fo=^y>fbZJ
zJaxQ*#ys0|dxb-K+==sEEHrKFZ@S}u+6DFmhAcRmy^&qb`Qf;n{*J(=n15DHW@F49
ze!m_dxEIYyHLK^%`j##1|Ku|KZJ%7mttTW=-hBp*`=6+y`rAUil|kd}Gbp`x+`xMO
zu#WzpwqcNB>xe?HwC~;v^bURRm#0Gi^ZXFE{op@~AHp^K@Yg??Ulxq<+1Z<a+5GG^
zd$m&U@@;kc7U7kp?_~b}+vj)Md!++*k}Q{&zMApA2nZ1>wbq4h>(saJPjz`<hiY1`
z2Jx=i(m7Z7^-_}#UQw@&o=Qh!bFUX+rAx~J+c3kd!RCww99%PnrzhS^Ub${8>2Gb}
z=p&+3`ogw+qcJNPZ7C&2sTCrBom$5(lQ>}?ixDRA=+?C$X$g<is**k`@i&QIZt?MQ
z<Rx`3b+Swc@_}}wQ!63WU24zuw$!HZ@Mwsth`1`W;-rwv7@@P**l{NfWm`JspoLS0
z@KBbl7Xp+neXs?I;2D=xP7^LRko87Ui%l2^Y6+4gWEuwzFdi~pTX({Lk)7}@ur|pD
zMpJu|972-ZYC)y-hEVe)#dtv$bn6|<40J#{&_F3er>5X#-Hynu3i6ShOtQdwl8{<F
zB1A4ncIb1dl}H{C1%1~?HnqJ#)3w&*dMXL|Nc^-l33;kp^ypianNQ0ZaSg;(!c@o<
zJ90Hgx+VNbes`X5*EFYpobY6Erm<qFUmgz%L^{Su7O_~!MBxMZqUDt9Y5v$qxcC$`
zp3a{wS1E)p?7A8z5`<VFvoV*ou31)!G@%1QnWlKRt`&)HAxZ7Zk{m_f64Eiay$>m{
zGDVj<m$dXo`ZkiZfE)c%Mj*##V{$!}r?i|<NaxZgJ#(ovnXfE=LD3m;Md|1RDQzjN
zTu5#rM|dY!6u}U$Xvm7(p1EsD`nNRFb!r|X(gcAOG+}euT9G+WUkVYGzT*6phWnJn
zCGku;wc0zH(7ALrO?22w-i|4qP@oy|KuT8DrgWU?f+O^h5NQfWn)sfki&c~sgGnuk
zCNBsMrC-*yNU=eGY1^lylhQUMN9;qg2JmYPWP4cR*QvFZWN%oZ2;=0RZk<x*61UvG
z=5c=+1KuYa^Vkl3F103mHRw@Cgf4rH@hPcV;+E=di8v1wcY)B#Wr%5!OQlK+naaJG
zo|`|P7VW&qSVvOxA`{X$qKNb!n?5~_tLDs9Cm^k*DI4>DN(6EoCMYh0rbL$)HlxxK
zm`WnaOmbgl(k_5k=(p?Fj_&YiHBK9dTxQ$WN<rvm3td_;^YY#Hrgp8xijQ}cx@}s#
zV_L{FO<Q)j<@y@8G&a|9z6q<FT)Ld5OiC9C!)1NlxU~1mD|YLoytd0Wv$t+dt!vIs
zX5^NTJ(Wj)uBdaV^Davf7)GQ?m3wJ-N4t~L&KZWb@b|05U_P2P^*nFszb_}~dHM6p
ze*eK&M^E~FDbO)4&lb#Nio<l2xrYtHJw*XUpIuw*Irzb1kRFyq5FVAYZ>!PSd3#Gz
zsPCSnyGKnq9t{qrXXA>2d%vkBKVfyj8KE76{RvoqoR@Pt6@0-D_z}O)AMl6#TmFcD
z#~<@2{CobCpYT3^#-H<__|N<Wf5}V!nh*E@XPGI=$)w~%Uhy~l&FEdl&-ghX@!$CG
ze9R|&%BQ1g#cN)pobeeQx5m|*CfDYq1)o*(Q9b0d@x_9_<#WE^i|So9<%@B-IOh#-
z&gp4?UGu)?7yKQ6&p+^w{Esg)NXH}CCS~lN-u?{qgYO=Fcl0=eu6BT~2z2`79g%9o
z?Ll{+0R6Cq{kR1_!~O$+|8WiaUBD-{3I0nDoPV611Hv0Q;w^uBQ7zKr)wdUQQw?8_
z6Xo(I6L<VH`f%y1buaNhs(HQUDkZPus-qWwC;g-Eva9^nuCk$>A39#kRdyd&X|X*&
zj+2X)uIajjoN)%sGu|~|UI9sHH3^xI>u~7n!12@L<L5uVOmKu9fon4wSa{Oz=hl%M
z{GX<aW5jD8F<NfKW;ZesmT&5dd7B-!12RY6j+k1T{~xc2DSI6dpZxOUj}LN89lqFq
zm36&b;z(&Xh+E?*bvLeTxEjcQ3u1=va!R+@U53^tX7MG6-RZaun!gTcFCRYt`S1xq
zd-iM>WCn<7I!Sr@x1kPTQmz3;w=2MKHrxT2i`{uByLg=dn{k?7ZQLyQhjrVowH_Qj
zJ$QQj?5ijJgC|$#7_hr%)0cgb{)b3^sE%<Vc8#;nT^c8LSY~!x*33sG5hqVB#=|wM
z^p4cIdPT-kBN!f*iz+=g+}dEQfsp<uDm^+q9?cgGse#Q*k3TNk8%f^zc{FU!7wO-w
zt}T9ZsofN>HpLUw4)Ol_;y0I%P4Q+^Jk86Fc-aweuP=ThU2jTvTiBbO(%tocrEllC
zO$EZI(U-BKK)6BdZRCs%@p?P<+?xHOBVOIW`RmhqQ~FludEJptH!I<0TR6RzSkQZk
z3rYf)?-7>&zVYu-`p>QWSib%LmG<8i+Rx<MFF^B0eWy3!-hQOken8cJ#M6FA(!O}k
zFGWAaUGL)FzT;cIV`|@VBv$_g0pWw!Lzi(f1QWMkUIYRG2R1P_Gd49imuO!E90xWr
zHZwLgIJb*m1ZD$KLN+i%Fhw&qIYBu>H8?UbFf%kVH!wCuH8?OvI5RLfJ|H|oHZVgl
zMKd-zK{-M-I5IFWGc+<cFg8UsI50*yGcY(lT?#KuWo~D5Xdp8-FqdEv11XnlV+0O=
z2_{FAbIv*EXmU<w%O#M|NbI-+H{cSiIRSelmLMdA%>2dX)9ZfKn^qZPyp%O2a|Kpm
z%@`9(1*Ab3(jfv-9X8@6ZVgF-JChP)r}Y>L&N-SaIPl;CPT?G`#eR<HTpDCRSnQY8
zyL5=a8Dv2YWQzT+(UB-*!xfysCFDbYuGpV%oy&t56haXcLkW~Z1r&(=ebpCbP!3g4
z1C`<=u5BEup#f^ec~x4}K|Lg)1scVLW7;-BGju?!xQsh3+MpeJpi^A-|HpPgH}pY2
z48Sn-ipxvt+#n3WIE;uZxYS}4#$XyI#1$24F$q&}1M@H=uH;_ZS(t-mSP)lQ_Mych
zEWtW#z$R=#0=8jCT;;L8*cG?!YuXd{@T6&9-1DKP195K)nhwQ_K59A=ulHTkaeyDJ
z*_9T)04wFQQa&r?hk*6*!@$z`5%Dfwf@jGe^9OIyJaL!KWCR}yG&nN~B_%~qMhfoZ
B22B6}

delta 19169
zcmV(*K;FOO$`SX;5wP$9J~i{C@7$6L-sOsKk9Z~#&^qZA#RhwiP&Is?#BT93nGqr`
zDepYSX#QV|)6~`5#=)ZFtLFb-Ha`GZ{|_6Nk%<EngFym^K>`7XK>`A|K>`Cn3;{Kl
z4*UWuf0f^F(=ZUn-}hHoJUJ5ed`=uEyup4TAt6EAw`~tz<F*m`(K!iY{Pmn;hp{qg
z&<gQTpYNP=?)&jM<zz!Rd4Iz9ET9FncNpO$P6f+iNrVy%L`tk7>yyvFCH*(cK$0*>
zA&K3P{m}fmtTZEG$TFYwBr^XOl?vj2%D?c@f1SUy`fho0dI>oJ#RSNNEY~Dsk|#tY
z83SBc7UYU9Bb8Cp_0cSbn9j{Enu(OQ5e_y4&)TLho52*(&GN%bB^@Q`Vu=j|#I+ER
z1Q%3Hgur9LURu>Crv`G~KGR8FYf1oEE~Ri<B`_s3A|PjZoO-c~p{{i#6t(4dgW^!+
ze`>3njp>}DXswG7E*o#H=^T-awoMn7`Zick&FyBoq3S!2=WwB1;Nqb&F<El(GB3XE
zD(w|0`VhJ52kSjO^lhzsJj<UN%4Xx8&h)ck=byXgl9%g=!QD{WpuTQLe#VK#nr4u&
zBnfy6)9bPdJ8yL~0~#={ZCg)q<KHmhe@iJA+u-})NPeL37K%dwy6jX0fS+vpwVYa^
zw|ZstZCRClH1hQ2w@={Ira8I+K*lW24(@c94q5uw3h+c{=oUj|j#dy$tO^cRfaywx
zGx(^#xMER)$aC5aHq0Jev>iftJGSG!_k2sa*>odEXYE_oJJ%2=x4Jmhw@vGAe}=7f
z^$J07j(2`H^iK)AXu13Jk95LxpNwFsR8DJ>J1kc>oD{f#cZbD!M()SQY7$F@|2r<J
zB8y+3jj%9|T$M^4tAr_);0P0_bIY)Pnb1XD_FKGkDa1g}-Y$GpCGgtM&MqE9esUR!
zoa(Cbp5UO~gsJrQyzEv(*OhHE5A6&56yzU4LJU6ufU(ibw@?uSPe2bb3NK7$ZfA68
zG9WQBH#nDp9Rn5wG%+?dm(dLbD1WsDRFsPrunkH`NDI<KcXxMpmox(mF~kfV0@7U~
zB@NOkNK1E@AYB5|A)wSZo^$TSbN_#>?^~<|JiGUP_kLd*3Uw_O2`eWHpsW)Z%EH0Q
zE(nlP(bD4J1hBJnv9hysqSDZ4gP;z;|Hx5kbb+oAkP}$&4+|+*pg9yKlYcgc!VFcM
zzyL)z2LJ~bfP+_%gHMp19l*)XF7O{iCs#p$w7EOT3ZTLYP;>$VA*eJ`PR?GgARAjK
zEYE-b1<+eE05}8$_?Z842S_*qT|t)SV1SA_)E4Ln%V=rt0MK%>1OcI5{|Z4bYzu`t
z3$n3!czCdyJ3?5UTx~=dn12BtAgC=s69@six&y5Mzgq^VnmYpjX^j<?2B2*Vg8Z$}
za<Ybcn7aZ2Fo6Te5(tLCT-?A`Kvw`PJ3vc88KCA21pjTU{I>x!;Gf|DI9NIU8}1+P
z-+@5jznsl2Eu9>l&B0zEunoW(<NySy$ttr#J)z71bFkHKLvsg+6MxL#+}#}HU~U03
z_^WhtfUJZDz#P`$Km9>0T|v%J2rC5S@ViI0-(g^5mH}HyIXOB4!B7b5@A{-cu0TuJ
z+`ZWTdARmqCl9dCf5;jHwzB@+hLxK$n+_P{;s#WZ{>KI;LVc9k0HFXLc6N4tc5VRB
z1pxH4v}OC9K-<e1_<xs@<F^>rgP)JHlQX~?)&|fIWDSJ<LG^){y8{7GS2v)a&!38a
z6DkJ>zzSpu1y}%WKw#9z=rA$R`fr9ke^-zvz=$2TejEVy-#`ET&lt90R!(3CuSfI0
z9x<D=teUpAB-1}F|5qs~>EsFUVd3QjuyFEl00j8>0en3C0Dr%Khfy~N{Zj_}qpJeg
z+6f@=ceSuF{ikC0e^!A0pZj0{{5zJa6KrvT0Q$#0f5pzjZVCIv@&CN-f4ThsE&1;#
z|JObL--=}2931}A)BkPo|IwQ}f*id5v4AbE8x(c~Do(Id0ROM49`NtWRRLOo+#LT`
zs{l2J9fJhe#(&|zg9JfjL7qS>br96j_V0c9Tdwo_(i}iwpt=(T^!wccVBuhA{~sOf
zye#cu?+*xUDgROdVb}BTlrmsTC#&CQ#>vAAFn4t|_d;cd?Gh&s55R{5c8^v-&%f3f
zz{U!8g2G$?u=e}_)=sXdzn>{D4}eYLx9D%;1+Ymz5`Q0nP3n>OVLSFn0suCd{}LZN
zfKB$1H~?&NkHiUJlYb;G0Gq-i!SX3T5-gv}Bf;{iJ`yaS+JA{3mQVeWVEHs236@Xu
zkzo0>9*G;kru|5;-gO=cR*UW<!D`WaBv^KX|B?VqXZ}dAIxQXvW@-6ff*l&0rIQ2f
z;r>U$&42w{;^_G3|NE)4S^a^qZh(&wU{(FSa*qbE2CX0QH-R4QxqhSj9|3;ro!ngi
z@Q0b${DH8FY#-}`&BWHr*%k=?!vZD){eiHO?EXO5H0=LCSj!H7AZ#9vkH`V*^)WIJ
z%oPk<^FQ>k=A9mkfjK+<OATwr`B4oE<_!CSfqxx<){pby=J-eI`meEZ!>V?My>XoW
z7&Ytz&gSyC(!a?K2>I(6|NA^Se+!+UKr0J}f2HB#epLKB69)%O^~bz9VB>>4_WYZG
z?tjde8#V=qgE_?Z4;NUmj{#w~&j$5y`a=!#aQg#cBX|D;VN>(?V?SWto_`>0JYIhw
ztbaf6$5LRCyn(KNr~21>#?s9dHd5$c-vZc6=s*0|w;c%d1X`jl%sE*K1>4mIw_aCE
z5PPs}k0PzEw@1Vq^oH|5X}{$7*eWBZ%T2jRnpsu69Db)hUlKYw=S$3ZbUo(zsxvci
zB}G0P3MbRMDS5(@JNWaw(*{Up<wRsN&VTnVViWr~L4y?2%m~4VE=h0hHiWN>Yp3#C
z!CgCK$53D&;0P$X#G*(chQ>%_weLTPGN7PdhYlIM!ivRlHA;2UR?r#0dlChTy^?H=
zCj9BOX%w3_w7fi!+1LAy>nu;HyNb6W6qgXsTahAbII*AbMM9?HCkPy^B+sQ(Nq>BJ
zX~&l+gz_)0#+rtVx<^$ZMzgOE?C9K)(f5ZX#PlDW&C&G8hz&7nD$`Ur3=DblJD7oU
zB{Lq3ZE}E^YpTw`!6C>`ETtW#Vq5gNvRF(!5B8HA%4o?%LHZgVpEr%>B`FqoFL1?E
zM-nrn`XIbZ>yo6Y^CV8h!Jyp|FMrD~nddZ_V@hfT9(X&HRAI$BA9vyTeD~;ihZW9^
zt&@Mi8Jb<ovsP(#Ht$yGR*Q^059&7fs%MFErTNW@BX6@g)QK#b;NyOsJMHF<&w*E0
zm!Ib=m6A7}j<NzeazxYKLJ5xfjLWDBO*!sm>*`%K8Bk9L4J`btacrCDd4HDaIW;~L
zp}6QIhgFX!ZT7voCR{9?$7Mdy?mYHkR>4j0eilL=QB<Z3HYZLgj45kQcy8Wj$22i=
zgttO%1)0{7bWdz+r3&ju?N5J+9KI@}42$V1);GIy{en_ZO9TWjDChU+qXzyO|4Qfr
zy-$wb(d%_PV|Ts_Ucn*M`G2y&?(;LWcSqpi#^IAKWw*r5!YwP8XL%CmM|9-bMyN4#
z6O+^>tEzJG$4$?3MA^%9Yh;#41^THGR`;fw<H>}zRyVA!0e9jB*4w*sS}w^P+|)wH
zmpDWQ<Ud9g=WBJ-K1BGNH77siZ6#<r$bQ!)tMZimZDhW74EnoXbboy`@bSd`8}=in
z>ZzSO(n>Dr2rX?zB@*M<dXLnJLnX@i?C+iji#_wX)L#*s(h?=-LIdGlLvs2-2qffQ
z(v)5|oAeOToFb5lZF2-9dol4{JNjurH1bu;<*8Q8{WH~pjsxoXH<u&N3Q6ztME3v}
zN`<Bm`g>;m?b{l+Q-8C8Dm$CkJZ1rquHk?KJuLJ)dF3~rfi|j%wFDQF*g#3Y@)3qk
z1~`3a$Ey|77M27m+wV-NJ%)$#k<Y1<E-}t+Q3m?<TRn9zf#4W{s9}b$<ug|^?5Jq)
z_$0>~gvQMJ%Qr)}Bu_7r5GqdSBEnN?PdCs;@PgccX9cec{eMQx>sh%hBheiU4Qga|
znS%64PXoX`m>s*8s`-ju#JDtiWQ6DCte5w;xk{+*SNm&+`N^yy+m$Kac<6@v4~)D^
z#i2HE!_GldWn0dn%F>nVmy-dr*zC%o&<VCOoDaz9pHtR{gje6YX;Dz^x?9%FQqvk9
zTkgN205y06iGQ%jNc<P!VnnJPYi@}GKN2&LIw<Pj=%r@g7I1$Ju1ioM4XE+XFEn&+
z>2Oe3HuYP6dS8vG9<CFYn^;JT=Mj;rH*OH~Nqm>(sY&oSK^?pN_#w;ie%Gg0L;K$w
zdP_+_o;P*ig_wA`CvVISrBG3e(gzIV-UOKxDXiC8)qk21`XJ>gk}iP8j@Ef^5FA}Z
zkl1Tw+a!kQO_9y`udbyCaa+<wojG1g&vY>s$Zif%c)!1MD^5*wVW-Vts8Ia0U`?<4
z&Etlp@(XgPz&J<WH%njW3X?JFaCn>f`IxY=?(|IE0nsqm_u(}Ytz54C`=l{D^wv1)
zw%$78&woauI&&Y<NDleq-Qi_zHlkYQ;AL{`SH^bXiI|;`CK4d--T^XWXSrAnczD@I
zo`O^wHw^qGSHcBITCo*D<-Pf<(<^Y4WW=f^9#zp1*0_2Per)7p6%M!W?dHkfVm<#(
z&Kaao5nLIZ2>50oA_H%v;`^5F97#0Wv0>X4g@2KpTox&X($5sLuuxu!{CSij50aIJ
zwa}LQ0`=nO>F|cRFXIEgS#F=ky$S{a{tRo)rC;uTFf^K7LC8uxH+i^}afjJZCDnht
z^^qRRu~FRRaniS=zQc8S`c5dFyc;XNe?X;oIzU`$^!y&sccpeW-$uGCv-iI59wmt!
zj(?x~VBlHrf(0^~gY-}M4`Cz62$9VCij*Ph_A07DHJ@=YC;<%vb=0WJEo1l<yzaGv
z>Yq%5M#Co?&q&#G>F_1Zaq6g6R}8sh2A4**Ta4?a1PwcBR&W>|O4sH&G8h<A!QXXD
zgmP~dzY&~2)68Frc44`M;%7Pno!mAwUw?W(GolNpwi!{Wj*&mIOYI}>H38oc^8fnq
zGJwe~tVuZz&ttD;>2i(9#O7XbVcwUMWT6#(l((s;)r`!3R`Yw~`k?rjAmw?NI*D*n
z=EqatJvZx<9N8yRd5nl-qZb94RdZY{`p)a;M5U&op|4%c(HGxrL7Jw}a-K(oet*G>
z#W;K#YMeqDs-#){9%rrhcKL}2!)zHz`LD!=TfE!gJyUT{^I4`NF8C^e>@SB1t1H%C
z`7(JyJGakf{KW=R-V4E%fBAIno+39lbAe?kehhj0hEL^*Fx``$xN>4EA^mq#UlxZU
zG#)rPcSrlFITTYbM^{?%Wy3av<$vkF{B$H*{&nbISnI{f>Zo%gZ#RElyi?of^+H!|
z+X+3<BgdYh=k=!vWbCTtx?5rbAyw(jzM517k|8AOd186-dn3zs*B9P>J5RUwj9HmC
zw$R1`q>Il=Wv+GP6(fkVG2@(HM)ujo99_)m4sYOpTPWvhj+wAEmVd^zPJd|=ESpYA
znw>vnhT5+Kt*5kBDCvnFmf}j2yp6}Ywl8IQNwhETomgUjc6e%b-Xykqf$L3ET-jT3
zZO%?OTJv;C%H~)ka$oHb!~V*Gacxw%^eM%ZLjgVdjoC!ZTeGsrLQoI~0dY9-Uf%1r
zaSjVy30ewfO+Nl9ic-W)l7Az}!VD&)N4=qvnap{%+r^^ohk+DQ8dY9=Q9l5I#(LY3
zVl=SFEHL~{8N362+{h%2q4hhz&Q2^^Qg=zh_p*-DQwoACav-%}N{JpQfoApd98u6H
zesQkSexwu;hcRJ(Mv3PZxaMVi#Qmk*&&B%4N_(+3ITMwkDTy47Wq&Nx_P`m`)t3dm
zm|CBq*>hI|YmB<Uj}<SME4@%0XXLKiIQ!zV-<_Dixh(8e9ntut%tW@O0VHAx22SYq
z_T08|Vr~e-cd(ROI)~16zk8^cx?r_q+nqLpO61(Pcz}?)VAtYY24+j=7gE*dFU*NB
z5Z~4zQ0L-8J)51<P=EWo%TyY&+`1?m2+kqB6f@M|x2manRR)vax~*^;q#(jS)(4+P
z9AlU~FEkdMWPP_|iOyl_nj>6AxmLbeTGcs|GOlXas?fD;LaVg1Pn%kGZWd9$%&fIY
zLO$M37BNHgc6rKktoHqY>EvS6o1vP0zFv;KmSF2c`zSM-7=K|NUE0wCLC!ZS1MhFJ
zw{IP7F+InNU9d$OiSXlTP@RGqzrKJdH>~>Fjm^!^hPJ8_B_FeE-e5*0YYU)-Gq-?o
z4NrgedzAAsGrC0!reeDQAblIZZuF7yXKKUKr8q`_k(Fr{GPXwVL^5B>Nbu_hRCc{J
zNB&y<g#AXKJ%4q2C?Y1o-xLsj=FqGbWrS^HB^9Q{g~L_zOw*aI%kllpV0@?W*2L0x
zsyW6WJ0-PAGiOs?{*FRaE=a!EP|>-Sf?L&uF2?rR<mgE_fREdD>)zTck74fZtGlc6
z(!^qa#}Jo_m*WQ4YT-rD+GM9QRQe{b*iuSq>KFU6O@9h8OPESU71MHMQhN--rR|jg
zI1o>q_r`tMjt^~Bg>yOqR9UgBwp<e{j#s9b6Y<5uYwwiGlYPqCh)G<Mmn-vq(97h!
zKPPkDu2Boeum__^`jHODZr$?sZ;!1b#4Bl{iGgjrjS?@D+gh2u(h{uwF*=o-Oe+1>
zLzFJG*?$l}R*92bzV6-v7v?PSvI(Dh)Oa}-xd|3O-JzazC0!;SM#mX@X0Yx$mG9gQ
zat*zHo`oBEmvaPfi+C;9#y&|J6+x!m?_E#iTXtn%qlENA_;n!pR?@AK@2NQ=kxcBW
zyWdYWdA}xsJSdu^<mV$QHMeIfD**psEp~(^u74R}7dCX4uZnOFb6+U-2L<nX02o3s
zTU?^k>x*6)rF7bnOCf>}#_#PHSgcfq&yzhf(-xKx6=^-3tBiZwfR>5r>%^N9C%pP9
zvykZvk@xR3;g3Dqj{_!;mPr+7XJ)=$&Nj_-LL6$a=Wd~0ydIgTU!|T>71N-6k3p~T
zpnn8Z(KoTDw$*`fUnD-8to?E*6A*RP5Gs-R3PYsKXz&f@s*r+;h3YO+)a4Hfrn#&O
z>!v(h1fNO7M)?!nC2hs%Zw}h_L@L8dd6_5sDx;aynr9TQRp&wsd;U1{C(}69LJQk`
zJ|_dD;c8@Fi`Kh%YFLhUG+q_7eM!9yaesn6_9t`nSe!F6&HI#6FNkW&(Y`W{E~^-z
z$Dd_z8DIbK>rGnf2)xlv6sO<BC+Z0`Qkbm16f@biUhsAyAVH~4m#*Gqd#a$4RU{@H
z@ngreou)|VHFjd!UPM|m0)FygfMLOT%PQP_pv&NlV0=hkSiT)OW>V-`Nn}dktA9dr
zr1jA=G&ip|y>}OIV%q#v6b9!seOyKmwS^!&s%DRg;|XbgqMHe4Rgpbost*{{^n0Z|
zhUt+sef>)E^3ixJgM#j0Y!>JMkNY8yDM2yH?)1;TSE{0T$MR~j`m6PB?=}i#Ndu(!
z^rZzzaNOp^=$ZJ!qk|bWG?Kh!;D6lYXhoa}4M*T3`9u_=!h3V*TdfaM@}-V;RLqa+
z7UY=hv@`cZ(=O^Xv~xBNDMS6$vJ~Ap$Z7|FBF8lczKJc!WUy|w>I6!u<fCvReS!~d
z4=_WEAWieSV!!K8HlCZWMM3ZLwp4P-mc~lVMVIytt@spEDH9|*HhcU1>wiHZE3Zg`
zNY*XJLZl&ikjPgq^&`5IOuVgrhUktP3%He5D|Fid7U!x@ADXS>NWJ83Es(<Hct@Wu
zTz(sW_vG{DAm`Zm81l{Mu?{(K(eCU_Z=Vc$TrF>7Mk9+xxP`dU2U#}t;y4gx%<wAh
zCmM|Sy4Bd^^4y{2teaPm<A3+FvWQf8GcqHI8ccZ{SLrBuCkuq`HD-;2&4|VYrJd~0
z6|j>ItczA~+To85TLmc-zLL|Gxf|F~*}JW0_nzL^eI=Ub8G6<*`n1VMIrsDMG7Ve{
z%4u%3RIH*~lJjx?%M**{Y!MzB*D)$qr{?8SEz1DE=e?Y00k5~^Uw=hcXV{}1W*gzc
zJ@7rzTxlL$q#0xFN!~pwFzqu_62?*utPMMy$rgdKA0)Wv+N+KAuG%hj60OF!Y4L4r
z)n^=+2c>QwGQaLk4CRr;ta+=ckwk|}<v2zU&m4Lwf>TA>z&(K$-I&G{Mx`C-(Pm3o
z{Oo~}D2u;(X}I%T3V$`D@@vFs`F`8{Na6Zxl5T&V95TeH(lYxU94Wl7gegoFpHz25
z;%dY$s~R4DdeIIc7+Ew$mAVO5-+DF%PXBty+PF`Mj$J$svwZ!6eREx~BmN=q0vG&j
z_8cNb_f2Z_l7cQwBG-Gr7feCn8D2C{e<%rp5Mu3Y=q8P~&427Ga)RQh<&<T<hz6or
z_=OQ}ZK}kbd;V;Qy1`5D^ARG`IeU)sy0Z#8<76m6)hBZQd58kjp60db`B^#lm_+BR
zG!IKvIblj3hF6H)tM=?D{UJ)HBm+>F;k6Ji!JoYoue80Ib^`DUi_R~Xw{wG}U|%lg
zaoUP4bX~_*VSkHHq_Qhvxy*J}zU7IW+8aBH*FlT3gX_;q@Si62j^gOrT@6qlfA0l5
zAvQ5XKG;(C9un}hHun*y&Z5wuhbW(_qf@Zysl1$%rft-~-19UFRCL~XmB>9q{bq-E
z!uCCn`R<Xf`ne$QEIgflGW?WHvz6qoIhc8o+&W?UR)3L^&)?*Qg6nSlve~e#XjVzl
zck^d{7n;9xWiK;!y}0~KF^vnP;!b#V=~RXALrB=3?YZCOd0%LZ93R5*Id#vib()>D
z5^Ae#M6{0`rz5@oLaO~$Pz`bdX47QKanoS1z*{cxA#TCJS;K}aufH^%Mh6;lKN(=x
zzdpE^|9@rHkiQh#lV*j73!iN5e(;)4Mx3flYj5Gmj5_@@NNdM&jDu>KHmXg58mArj
zrF*+@>rHpyOU5|DdZd#o$59<Eric(0(v&B}lzXcS6RvH3Gct%C-}FCn6{{t>G0~#_
zV(rO&3HANFY4_=iqw#_rc6x5x#NBXr)z|F@SAQ4Lk2VH54ig!#ezktB-U~5!i&TzW
zs%hX^_5zxMFIdL^8aZq57kO4fQ`gPt;DIyU7iWBTM1k_Br=5$`EcA0n$qtgslos=>
zGtq)?Qni}jIm@0L^9eqLD|TbEu+<Stl5hZ53tiA|(whtnu`b>tIxA&S;`*MwR$?g`
zyMLSyAT{-30M%~C)eAH}jkyqa+(3Vd`=NExi7qj|!q%Yro8Ab!M1Nv*B~R0IQQ%oV
zi}>|n6*k?DHXTrR&;%z)LkZllC3bQ0>w&)i#pZcBpY)3cW^&V5jy0sYvVLAfFRXmm
z^uDKNW9zj83s(?cfuSBPhJ06m>8wW6-hX%XAPF2~Ig$7AJLbHl&M)Czzg2<HkL~$u
z;_c&=_S!Txj*&e0gVE{3+zlEO`g(>q<A{$VGY^=nEu7i(N6=zeP+qsv#bwVYucMBU
z9>}l{UvF*MG%RKsIG%LRh}wO@WdFo<^ewS#e=baSq7zIG*H8gZY@7r60IC;e$$#4!
z{8Z8RL*ui`MR%sPG;d<}lErAvS~9#CuL?pt+viadA9~)G81a;AQqmL;1svY$DAvK_
zXkp^VwwQDm#fnvoCCpagLRETgedty;#WQPJmiP}DJM3BrCZ;^0Uxg+aVmgi82yt)7
zT#o|~UfXjS5WkyVt>E6LRIxfX`+xDVyl-D}y&b(aknQZe%c_D^`p15OgbjL55e9_7
zZnS5M6?%OU(a#;YZ!B9x{*?st=XJ13TiV#rJ)`RzQ5niq@?1XL(qGr76yGpQo%k}C
z!=dA6LU9K>NZQ*WCYpxgd~hWWSJ&9YXZ3GFH&Vps*+}O>aBCY+&kuDZQGbTNGMX1!
zktzu+M8A@n(bJWmuy15?P*FUQIxw&C1w`+Dyb$ymZr6_#!Oea1C0$NjlIrQ}@q*K3
zDv0!U#Ho2p#%Hk#R(fcX`eHh?BP&9wwb&?V2Vo=4Gm6@Z(GL@I!5V&?Xe%(QeW)>&
zI%kRGX|s|xcpCh*HAZ2)RDWx#q;T1un`6^zFl&O72UpHv=}4hfLR9^;#(t8nNQaQc
zwX$i-p^F%O3|6KWLHdD&q&%eufb*%L_^vqKkI&-CafrLR%xQE24DpmYY01cZ<@@5w
zJMsPFB=h5r7`WAW!;U5PV_CO@F<%h!!om}HnnACrta1tAtW{^eX@9@or8PjGhzXR7
zDujrH+~b{OF+AvuD@bbb=l(z-4`4nziwud|36@q2_o~}4#vEE!b_3MlCC*+wQIrr2
z#Z4b9D7WQ*p}x5nqZ7XznDmgyYuBVC?l|D#oJSM;_2)>;mpPl6fY|JTvmo5<?zXLu
zJn-@?6mWKaHE@=U%6|l6zG`(o<UxI=7S=qY02YOKultYRSH*=!g$5E);CSAwihyHm
zkPmq!XiWo6W35a&;055b%r8r9C^E0$pF8S}=LcscR!ptE1{+PyrmI-V1owZG;&v(I
ziec}SFd-{tx{H_9xOW>C+>~Beo}06`;!<z9oV5Ohh2{EevwzMfbMq7~_|nr%M~BCu
zkWzHmj^9myO#gF`-|$kD(K#cY;=}wgrrHt9>9s&@;R4)2tn+ijmn~`~qxsJpPAjh~
zgXLQW(}oQYS|fAekQ`PB4ylu-ApLHH8O5&)?q7XBK3h6Lj^WUoUMEb3c1r5)t})bw
z(S?Cpz>FuMQ-5v_ciJ8pj4^vZ_ySw`40?v`Us{|98Ao9oJDD6M>Xjpde)uBWeYSF>
z=_zSKnLzVJx)<m8%7nCgFmQj;9gFUYU6$$nC85uET({srWKmEv_zBkRK{rBp9rEzO
zz8J_bW@5LL<oc=!I5!*lVm-!dLx{W3t8q2<vctULet#^S<z+hr5&!N9dv@mo$<>AT
z`AgY0=?r0Fqq%qVq~ZZ8if?TLq6T$kkR0pNuP5J$l1lh~H8mMRa`ZSqmTpBQo~X6b
z*c2S%X4oL^?On6q8b_nNalLDed(TW!GKY^*f;LpmKZ;Z@hW~w`khv6I{4TwltLz*?
z;<Db~ntxMU6djqwWQXq~G2`i`F=7}Z(Ww5pt22f#-Mr`rLy|fFc5h+AhYFI84gX5&
z=dUm(@AQ-OkAjxeJW28?n$!n|U4n&jt6hzjv&_1$xy5xt>P!O28vUipb$+q~#2HFg
z6aD#Y`jt22w$0>xUot`Vx#d;zr}9uJQv=lBH-Cl-R~7fQs(WN!KZJ@+@BYv)dD?q-
zQ-jYMW48NJNKAe%TpfSSkY80qhI$L0br;zkDtGKYN%#&`N^+kA)LaAf-v|xp4z26x
zi5bqMwZDU-o8k@rgj#xfL;$3f_gC48#yADTd5-NgX^JX%o1ubz>9yi>b9@whcZR~F
zihtt`492PAQF5+`4VVFnd|Yct%l?M=4~^irTL9bu48gkz@3%a6^LiDOUr<a|lkk>o
zD>r(>D%L&gS3fUr8p*Vqk>73c_R5=C*0#lP>w^{?^oB^0!Re-O0?AwY9jOb_H`zLN
zqPyNa&m!6p-Og>Nnu;$&=SrXSICgFi@_!y0#cgwRe@P<Rf1RRM$a?LS<y3QCVot|I
zx7)R4kHsDPg8a*qseRIi%R#F(fChyxoRrZmB0DPUhv>PJ^Ef_4k~lSOwP491T6Osk
z@^d6g-O;GjE3~QXg5n9Hd^9>17P6iI32Kc3$BdPUlB*FXr)bPZq|g@V{C+gQfq#)H
z!4;N{E^giyP6UI0l-wON(mhSH;rupZ2`x%}p|7rpwYfC?$~34OWs?-uV`f2KZeuC0
z=fa0L8<EejKG2J<C~e%#z`Dc?CAm$dyy5|KjNbpKCxwc<&(O;(Z~OE7_$6_}Pb7k2
z!3#vHrFz^kj_Lpvi}@mS4s@@zX@7r@x6m#uQxZG}B<dM7uFnsq)Z+V@p1zB<u`1;v
z-5nA1oBp4h><SNm{)|+}(D9KwEY^A@a`kR15z#g+-2i7ImZ(PJ%2QCLW2EmPM7NF9
z5|Jw5vpjTD+%`&cpYvp;lvFZ#9{(n>$<WwQ_qBE3kD{FB>ov}H>c()?y?<$x<S|}6
zHPo>#2lg>tk0N32f*O+{5*3#O_b!lRenzE+6RB#Vsq%F>-gUVAQyecwk267QRR~L?
z+q(;dZe@#M6}%~=aVlu;1Ue`urz8WO7*e6*fO#V&5NuK{lyjA_9RJEQ>`Si1qNGqK
zlX2eeuTx#PFfD~b>d_HBnt#H<5<K!kB53f4nw>BKI^hH|7XRFj&M90tq$!^aX0zkC
z0tNA>G&@pJt4FA>8Z6hKRto$B7n#Oy;&M|7oH+!0y`GR!<EO5<G$d0{jjCe0i^GLf
ze#CK`=z|XGCU+NqXQEO=kErFg%DUx=^_CJQP5Lf#j^;o;QPdGNu79fCoT7(7iC`wX
zlw1$rwJs}FP3ir?UVM9Lvo*Rsdhg3^$Lje{$)i-|_LGV$dR?ImX_9~qvo0%AcZUTr
z5IcLer6lhgVvU;Vz!Cx6ChZ_xEw_ZrZl%uh?*qcuaWbIOCMnG{6&<*SxQs%sJ~>+w
zZaA90qLyj-t8QWnihn1e%HieY9}!}%mNabnas>>i1zj##(n@1}(*4`NM&7OEP{UQZ
zKtxRMW`wc6u(FP>8H|uUb%i&XWT6H*kkCtXyyfqr7i?>*&g%bl<CNLpUlhBe0q4QL
z94S_lw#~}m`zeaVuUOkhF_6=EH-NAGf+D9<MznL6GdS1OEPp^`^1LRfW4`Tk;fuGe
zxG_de69c5Ql7p|@ix;(d_zL|M?+OfW5>xJ&rZZBuWz5~X5cJ;*$}$&87fpya=NNwf
zMxh)?>!&J1gqia6?1Dzy-t3EfT*;G`4;F9BV(eBOe~x&zs9|*+<J_E`qL(Lk)~*Do
zpo)F=4Xsw8@_%{07(m-(5NkW9Z67Y%7UcIVCJfi}*_S+gD{36B?POW}kP?<TW$-*(
z5}0AumoeN1$g_4mU(MX1(@P>Wc55^96l^`2ucch!FrYPm36U)DSFz-ass8B6R5TMw
zeeFyyw8R&Oh}Qr4B*vk`;n~gjl?LN4<@H-;(p+qi<bR|a?N;xSw*<ep3A5w-vo^Je
zt}qIE{Xkop8a(-~kLBM|+Vp}E2HZA}Ra$oSQ=6Vw9+;MY8WSQ!6)qAVmthIRTb|({
zx>^iP<W)cj&G#V}u{^lVq(Q~G=Y?c7XT}Sc+j^BbPN;n}&TJmc+|d)}J<TF7Mt#r0
zhW^nxR)21xm*kSgMn~A#66K<1dB*!R+`r5F9d35RtOJ=u=)3pEh}+^gDuiYWuRlg8
za^Af(BiN8;539~kj=NBvw0@GXgChEYmueDXCD8sAt0s6pAk%+MFMglmP$mLDm7VfS
z=eOQM{w2i^G8DJMxgSo<?eF<gsVum(jmQIZb$`<#0DM6Osb377ZP;7I0Xbz1Q$cx2
zhqi^(N6t1e7ktrL8I=~YB08t`wB!0?zxIpkEYq3!W$rTUBvRN-=EuKb;SM9sbhk^z
znLpRh2~2)Xas1M}<NH)e_77~dA<&*0^dSep>7z9<0_FNOBIJh>rs9WTFB3flj?od}
zaes>ZqRqp|B4jL-RIyYS#YW|JAjL3zwo3VgYb<XqVc9$2H8<;`a_y6ZCMpD_D`YO8
zH`uP^Z)2gCPv2`aWxP=COOa=>KbJT5Oi_F@|3S2by<NUavPbB(X!Zr611oTyW_AM6
z{6*fYbz$9i_wpUcb~gb#ijvof6bBd|6MsfRDAcPc3pfx<$(B(D`LM{NgX1pADq^er
zFGP$L`170AOg%`J$q{p@&wxj{fhSoWDnt9`wazh7V!-@jftS-4sry_%(n^e(8#2Bo
z`MeaJ%rNpZplR!V#(#hSvUYzK!nRS@ur`1ifXzZl@W6{PpW5xkapW(VsM`t!MSt_z
zgh+8!RhPk`5O0f7VRis#!A)-fjjFgYGmyT0EA3;17gpQ|)T~+=<vg-1!C0v}C2+~9
zzpRT<{GW90$`{6IdU?*J=P~@`CS#jnYEHb@NO<|=c_LG<x9AK0rR)v0n93qwB!}I`
zQ^xVtl3@0^Cz^fD^q%m;t(ZY86@Pc&nZ^rl2e-^dxJAEMBEOp55HFe?Q~Awc`%dEN
zN?Ig$%3-g!N4i1MP@_dQAfL@k$)%+-UEEj$&aS3)DNZqbn<ZxTkm>P<eG)(XQ`rb9
z1XCyS@rcGx4&#YE4sU$OYJfU9#S3b?A2GORo<-a0Y5ZD_h+`O>Fze^&wtv&kCXvAH
zp=ST}guE#4NAx#W$&lo=8*UBY8KZ{uX9)#fF)ZxoJbgeX`kv^zn@>8v34n{L$~a7x
zLk3g<eQSaF^`4(B4l~|FwKO;1;HE~iqBqaYn0iBAW~!4uY1`1ArcJE;e64)MoXC^b
z(L=IK12==@HQj^zE-V$PnSWcTdV}5FQmpgB_c=AskG!>Uu{Bk@{&p{ws_&IS+4^05
zq9vZL4J>%<9jM>fY-1TFeAYq$y1?`BXZ0HV?c#TD9U$G|Ep^u6)jKxcE3DM_Ij-C6
z;vC=Vp3c4aIZ`^;7BD-)q^Zbc$T$R;=!+ya+REp^M(DCKabB^ux__)mkdsXAMZfa%
z%2irJ)h}B{e`Y6N(J@Ll|B*+aBd-|DFW(GL199#yMD#kHiekm;^p$jdSXU5MriF7&
zuUW4zdTw&9mSEXJs5;+$evlqVls1meJFAz_m8wuc-Y*^9pGI)7>#W!E3r%$c5>-|?
zwJkho5kFPP-K8bQQGe(s5-9yMo=%>M<l`uj4<hK0a>o<MWM0N-cv;G}f?($LHY}&j
ziF?V9G<;Sd%Wv|M?nBl$nhdVKJ|><L66q8L_zP6z?@X_@Ur84@(I697s(8@`k|AOD
z*GXV#QeQ)9Zy67WBgbt&Y?Y*Pu5a+p)-z$XJvSK7CA+QzY=0|E@ha^Rkowl$oD!MH
z2=HBwpg708pSI)c1!Y}ursHVXO!Cyi>+rS4p^uA?Xl#%S>$AP(A}b2svpDs_PxljG
zLbDf23Y(nP?r<3N#?yNr#21Rnebiu*XqwgdfL|-9S%lw#n9VrGL2DRh*gyC@bQ_SR
zfGg5jd^;}j>3?)0(e1sDI*~4ich|(&@~*Keq8qd^;`x<$6eITA+Wv$h#Rn}=+GurZ
z(1J&UX=alE)SCrNB5Q@Y=Wh=d<NSnP`=zITQnCfhk~W8l?+EoS(^dzSn?Lx@k=~Jb
z5hq$xHyGMS5RZNg@gWMZCYsj5_BT&q)mQiiv9!=D=6~kH$nWUBuj08Y+r*+0O^QwN
z^HWrMes7!%`m|#b<nkgAJ$T+QO6y)kFP@d?kR4M~#k@#H@5TfT>hVyg@hQn~N!9gN
zn4nE&>@m^AII?F?N>D!r^SSCPZsF(S30h)wx{?Yx86Q_t_6gtEbgg`ta24ZAZhBuV
zdYvR!oqw>o?1iBuw)DUS$opkov`r9-an0)(<i|yxt4STGH{P3yFZGU*Go7B>q|w6x
z4%=bRO)y9Dpx_f{fl7aa28e1OJl{NWU{$eZ&COxP#Uo4oO9YvkM@UV=IeM4kpjQ>X
z9$@vs_AAdRS*CV;7_+rmk9#g!y!rUgo`@`Cdw)Xci|6qkLU->+uOeO5&-f{CWiEE@
z$!$(r6Y?^wQ7BSE=+(aQVnXVI2}IcL-jjQ_4CNnas@}*;3ZpDNU>Ys<4JAzLAA%=h
z6+du#x7)-L6fA<Q&sY1>RnzQgDx0sym5NGk6?%`MoS3s_x@Fk3T&iNdV$iK$OGskk
zdVelp#WsKHH5_%R8Lv*uj2BZ2_$H?8al#3KnthRuH0h$|`<c<HQfgjg#1pGiH+Hhx
ze$KND#XabuManY0$y4x)$Yr^dDBjWWHL_K8yKuFioilyIzk4aUzAwBSZWpz9xO@`)
zAqi0l!}T-vVnY}28ybtqL1<y^P@nD0gnt|Pg19E0x2^&~z>UIp-(&`Z1zD&U--UQ)
z&Lo0n?v0bwm7>*rvH-aJ$BYS`d#k|B3fc2{BOOZVo%o6$?&)h0A5aus#pUl;T8HY0
z^sQ2@sSg!S&rDZl3D8iVmK|9&E&CheCG*H%53#K?hF<c|2o)SCnFAslroQd!Hh+Hq
zmH%GqM)CBUbT&pn+wl1KO)pYbvV2P(j#KLnsQF+Heq|zXv+6R&*9vsKs1O=P=2m8#
zwvSTa5KZ}wW4Bl?a?}&`Bdg;|Meps;=Wbd9fgK3wT9s??^vnQ?>J?~Nzy74gFuoEq
z$=Wi$z%PdCY&@)^jchs{k7m-dw|_ir64a^`1=hvI<ln;IS}xR6x#^b*#PWSkRg<_U
zDKrul$AbT$a)14kxFipIl-s4^+w&eCbhQYowymD6I6n+ebAw~sp#>xy+~-Zvga96Q
zWriufGkhT)U1it8=cYSvlV_ESaQC_1>PjN0E??4}axnDX9>p#yEZfK-u747@UQq~8
zny<Ya=`?K*q8awXjvc|XrP4sf^XHBuTa+lbO~Rzn);iHHFeVzB4V_Mo@!0Um`7V$o
z5`7jHLl&1K>+C_n`()pK_n|haOL@Gc=m2qg|D$Prd~UTQ$h7i~e4xkivS5I*FjvWL
zk)mkE=@fX+&D2W7RvNHtp?}pLH_!S~3s=dTIzOt-2+c^LcgKgAF&kB=lr_27I_m@P
zK>C4>j?8G3N}|Mj&&h9fhUuwQYu|ic)uhx8yma0)?1hqvHQ*=`yDYGAIe8Ew?s*=+
z+`Zq~M3Gyhu3>*Y$TBdIQz=f4cR><m@P?27rFMw2l>q}2&VfP2o`1SdAVFe#Jr~5l
zm*A9U`o-em5yLrYM}1c^Y{_(F=ww^zRdB%zXJUO?(5{Y&WxH0Fk$bFxA|_d8G+cX3
zHt8`hvGy^tk}np8!sD#8+otKvpHVA$HGHIQGAXz=YQ&pUE-bFX-XjS`1!!1q=Qdrx
zF?>f@Yk_`ziXKe3@PEC|=x81IvCZB=<`Z3v8EUwNdR-3LC*m0SXhkGY{a50im!fei
zTH*b{7DdEZVO=`29JZ#E!}hD=H{zS2PJvA-1=Kjk1U#b_<~px})I2oGLX5iSX(T0i
zv%OE=>Xj>UJ&>2yrlC?I3k~HHneV_2+)fjO>gvD4JW~wxMt@3RUBMe*bKhSr%<?ZV
zwBpC5_kBIR;@6~J3h#vnI&;R!X?B?bcq%e!6_QCI#h@#XrM!4c9K6bsRaq{#*p_mJ
zlp6dNHLku@!vWU<j`*ZL5#QbnRWD2nL(`t`y0t;OwBWV2d*#)7h$hzR0}uax{skMc
z;<)yQ4mKOj41eZg!6mAn)K4UeQ{@!>V_Lr_lfJOZayTKPjuNrVBmAYAy0t)@&W8Ck
z;9U43bXNBzi+Fa%wVH~ZIfR*706=GnUD~2IRr~C{!1X+hnXW=}kMq0x<4p(V<)&at
zk?S9&!4lhd8e8q3m9I`*L@;v|veB9vh%v5-KCFauAAc=GTMGUfy*yTpT)67$ymP(i
zH!E_jKAP-ti6`y0A(GA2XcjTan01syMX^>MKce8h$%<C==!c9;FYe5^S+hG5c8^RI
zYAe_&+$_qd{(6xiJ{a2uPqH&7xK<q5(}=<KZO2qBA#O1ZqPo4#l%;RH{7X8!H2f=v
zFx<Ye5`V>YSAMbBT#0AZAd91BixcJsmNnRZk=|VDum`w3BeL)1_1!e0<rEhMxG%3m
zwIw_3OjbW$|DCfHc+gW#Z(dzEDO=Oh{^IK6J>2W4kbLejG_&2OsfC3LQf?o`*-Q^-
zUWQ17`1U45pda_%oNS2a_mGw4MLJ3VaNXY)w|~bDC749$@s3eqUZg)`B$-;H>_L#a
zF514PD_Y7##Wa`gd{O^e&+o@)z}4jIc=Ah8*Su{jsq}}9+tZ`XYelIN`BX=4juaEj
z@;osqWE$lllYOeaii(q{d-MX^PpZ4@^c`ivMt6he=r6u{IW|!j;pn%^WF^1PRoOJe
z`hQfOEOmjjl(20u*Flb3$4(_5JO9A@y;Gy`g<{XKcHU3FEd>|hc`piroY7z0^=)e`
zg1ueyUef?_>(d=_G`oKIFR!LFoQbK~04*v##aRaVmEG&f0y2#wm<tp%F;23gh@>fV
zdM8P<&+xm3zbfR9<hL9MkFLTY8L}RRN`E|`=?v&1!5QD2uxc~BoQ%wPnh%9<BV18P
zp!`<xF^PRaV#d^0M*u7@DN#H}UNvGFmNzvX1ie{e3oN?E5WAJgGTxe?jfCKC9BZB!
zaMF#WDPatCms9hz32-Bp7L~0-^|9YwK5@f771A!!OaII@ujat6mTlOVc<CW9+J8IB
zH!8}jZ^FxpZ)-()L6?Wg$Qn9rzPTK?;t-L<zx4yzfWtZ}_sci}2r1Q>ekYEbTm(TP
z=g6JjX%8N!MxWv5J$$Z>2sS*QTPHh7r~d{*;e~lYgyD}UEv$=ygJbPT;gzvpWNUfN
zteiIQ<&f_!^N{e?x!f_V$evV(o_~J5Q5^q43OGrc(bME{a!Fc44f3uvkAt4};9hq0
zO^mxpQNJ_mfFOhd>DXkqKZsyWGtuB!nE>}Mowp?3Mm!OGffirGXqSQd(FGi|-6W>T
zxD+uCiZ*W?X->+bcYQVyb;XhH;Ll-S6TKK;+Ly&CQNaxK7}_1xpd^4J-G2_7X$<Yy
z367+G6FF$Lr-lc@o*15&F7yeBN;O#c!VsKnO$PRc&)By|6D=#bm()(jkyyaX*j>tp
z=D+p4Q_Kh*un8I7RKm~bsw4dw9712k+IC00k5Dqb24QFQaykn+dA3V1GiUh|zmrLC
zx<Wn)4=k0he<sxItdOu4`+q8LlR>?UWz+D6XsL{ZDTd)^qb}2o8qd`khXe{xhl%?9
zW2~olB=Taw+Gfm!WLNz7SwIClk;K6ACP@0jTaq~tTv*|zt$Q_)dJdZQa6X167T(nx
z$bEt|&t~t^@!gl+q=EY^?6OquN|`v#&USnqzT^X@8&o~T_zq%K!+$8wcQ31a`7}!L
z)uh3D+q&1`^HzOtaUZsd2Snzb!{4!JFfkZ8mBTrdK7_FKgF{@Tma~!VIE;|Rs1x6a
zR@T_PtEc}NBbCyx8$ws0%8lbZxc#l7h*XB2kr6n?g%O~!#z+0l2TM<s7i``=af#Xf
zuuzA{P$I|tv3jq=oqynT|5ZaF$JdF&=7M=O<8g;y^^$^Ek?f{kjW>oK%r5UXs`mK@
z0F6a-lx?%p;8L-p@I6Kf2J)81)_@<<z8DUp5u6JQgFDw_DEc8r3NJNJADk|(+IC-c
z*mow3)9%)MCs!*w_?YxnmSqP)OU=u{Wj5}4<iYuxt>gER5PzE7woDh$&o<k)zOAZB
zlz4_Up5MpQ60hA`_@9#?$ZdWM*1EsUGJIvshX2A36Ls+bl9*m&l>W4a^GA4F`viUQ
z1=CeAP{(Ahb=~rX2GN_H{cD#}fgk$cD^DN*f%6q7RhpiDo~^FMI6{tncY0c$xH+`*
za)6pL1T8)ziGR3Fl?B)If%`HPE)b6u4fkMIWB+xBJD_ukDuDi#aE4@K5F=EU1wYtu
zLuTx=yd`+xUh@|T-gp19AG|`ksGdI!L(!ime}9*?__aUx{W49<Y?{_K<2KT*6uxkj
z1848rshZ|8aJe+_87`smZp*L8Pinx*Pq-5Rz5N(%+d{AvT9zRkWk`vULcSET_$K;8
zpQiMl$;<>PaR|AiYIcC9TOxf?_Op^aq{G+G-)Qj@5TGxq_eG4he^UHEre)P7w~>hh
z62}2Cmk|5{D1Yr+ZF3X17XI#Ep^xo!SgqcrI}9@<5K1qh5QhR~GM&X<5*OQR>`j3F
z`uiMd?X2yX+DW)`3pX>?YNey|@|>e1X?G)XmNOxll1w-z3@)CDVDMv7p=y})f=R=)
zwoHOVC|m=^7|Rrm4WT0~6H0@NW<rM$xmk<`sc-@97=P!LVM^iZJOioBod8cJMZgtO
zBnE3plFoIYhSbo2L>h0Ib`WjR?;%<%rXfN|$xIHG(9LM33{*7`VT@-+Ky)q`s>*rU
zAytDE%;rqzE-(v`alFIT8fL*#;og#&P|iZ6_Gp(-O?qZY72K1`J~thQb`NDNO!3g)
zX{drmXMZ6Y_BzLmguPDT3VR{aXcHKaGzK>wqAld1%UEkV9`qjf9`wN(<~3A=Qlx^?
zIrC5%16atRT8@5;E966zg+45RJ^%;!%?9f`q*5*f3l1tnNw~yGFcEnUo#35dafKj}
zE9MN~5#ZviBNB8u2}k8*hlS^IGC=!|5YU9&CV#-%3qivjDliQ9O2ApT0A@uO@Dy|p
zw;^VrvZWTyf}rTY;2?Ako)%hD%pv?jAO+|qw-6y@PCP(CzQPc)Kx%5ISe3EegIdzh
zLWoEKNz^1n2`xJcgOq}aPz*r|h!s^VjEQu>fsr8PDGI0(C}P1<i#Q2TkqA^mLMv)V
zV1EgXc<J1|%XpXZN7Zq~_yhI^_U7z}@q<Bq!tUKee}^A`o|KF~D^AM}->=4XIj(1z
z97NdRN9C+KpZ3Zb&9m5YSoR0SUiFE+p^2%i%xK<7Co@=h(gD9|F`ltT@)1b^^C`HJ
zro^I=+fwJ%>)*j4Q*i<-V#LPh!{Ny-kbnAyRIZUSSUaqy-AU0anMy;R6?I)s$E@M-
z@KgP$TNibS@S%ndKL9|{wgUu#%o{XC^j)e;$`G+mmcRP-?Vn{Y4S75w2Q9juO{-qF
ztl1lgeQ?0|arvnxA~<57E$r!@75%~ZG~s#HTw+u7n_9AhKPWE-z4GYM9;(%-7=Mi6
zr3_(|d0~Y-A>wM<p8+FyO(ALN43P@eFNs#K7<6zx?$v{8oD6Sn=HjoGGpB;6^-*%8
zb~&|R!ZbxNhFS%+0=W2dj@q8WBlqsHop~>FNu0?isnFpDtXJ41-g&?uySyqaJ~t7v
zi62SBq-UbV8`Zt)d`#{pK%K(6B!4o8bprV$)42#1BoD{Es$bG<7K~Qf`H%8LoB`#y
z&)(G2^OC(QhO;uZUlG5Hh`lnOAOWuA6KQWhpJ4UhHc4zrdebC9+kl;t#K8z%f0HD>
z47D<=P%Cv?Q1koaaaB`5sigjjDzUqRu$%VFX_S(m@Spipz8~XDoRC_u^nZ=hnZTYz
zc#i}W_j8#gP;yLq399b-+Zr7Clfn2szkl~`<j?QNdBVH=#nEH>{cu*-li9yGFE0?9
z*{C-vW^hf`D}IDpm(Est>$upG^lQb1r**xlV;>NjI<(OFe<60XT8$koZhxBU?bq@x
zNpI5~TdnKYz}Bo`YsBr(OMe~HDxF8-B?XgCab)rv&Dr2GI_hAT3%wL=V>3;gVC%Es
z#O{;!w5m>rWp+BK&(7awgNo1U&%^Tce9$lX<a4}cXZ2{<n#<SJSi4NpSwf0TBcO$G
z$U63RHSSF&x2dwS8697Q&omu*waIYexLu9^EG~-MP<fuqNmpzwM1P?347Nh<8VL8x
zi*i^^ki$pSUxVSW$g1fnFUNOYba}t(&G=zzrk!pg{398&U(ufUk1m;a0l*4B^>b5l
zodr5bxjZwLj*}M4liST4SaVj5$_cW-EE|m9Wo17rdfEAV-mhnTGQt#w`ZGQ*X2qS}
zo#>cs(to$SbeZjQrIG)OOV@wbT&_%5OR4VmQ>w8yN}E#1ET<{$Wo8@@vnF$NA9SXy
z*?o?D{P;1u7)<N)V)(ZD6eq|^%=qnN#(%5ZV5?VS!^#`ShIK1j8LPI2dP~xOAk;2j
zgW7)usKfS9hwm*Dy0t@}Q@8H|xBWTF>F>=2er*=GuP_VT_Orl+Z#946__e1=-rg3}
zm+QVyVECk}H#gb^m^^b>fFw4_fgbpakO`#$QOKmy*Vxz(>S6IV>lI6nJ@~9QEz9v)
zHSE*Ya_R2+yW&Q75qxIoU5CRlDyJ7?GSl{Yy3=W-SB?0j7>=M@&G)-^^zY9suc0wd
z_S{@yA0Kz(ycaS>+xma&?zlFAJ%S-Kj%KGtTXViQEXMB<*c9`}<!Ca*+~E(Z9)f#T
zAC;48S}$+e{Ps^S{WtsMGORrz3F7uMXxRQl734Py^;!lEH_xE--f;!%?ZY~_?`^{%
z^0gxhz0$sYFVH*mtzVwz>ihFUSoeebDt_=g_~D;_GQTVs<CA~Wca!PqTlQw5-sRis
z_$|U4L*L2#|F_NWr1M63>?Bz#4ShA^T;>rXR4S!1)zqnP+n;Rnzz$V6Ts7idHl?*T
zbIYY79h{_I6C9P6#-?7E`-LtI2W-PMGa8#S=5cUM6po&F&v~V~Hl)8XnWc}2V(Bu|
z@C{loWHhA^7$tufh_q@gyL9A)eJn=k$fI3XIZ2Cn#8w&gk&(ZS{8Ebxmm@E!Q>mh5
z%99V2C7l`xv2J5~syC(5nS)1tkXgW0q7^5FRE7YZox+YgYABl0N((Kl)P#pLWPP54
z(#8+AAQ3#noXRS~#dxw_OKLF@gPdBtAPI@aLIaG4Oxu6dZEnd<_!d~}=mV{&JxcaI
zN^Z2E(l|}1Ig+AXP8PK5Ez2}?Ks(StDSWFY;bql~NUaj`k(_k2z&Mf+TO1-p%tyB9
zQ>kPgJ&<SgT_4%h^a4%WSd;3pB;*6}Q$|PRscz7tZd4{d4QIqP5SJ0tT*TNBi#gIR
z;Yaejb%cMrqB&)AM;0d<lh5@_<3WK)#~8r^77Gz6oF`v2oKii`9}@@{7o*0}`Lp3F
z@?2$RSq&WsLM)KUn9Ew*EF<zbp*=wvr+B-rB#CYyiS5#m97*32(lNNX_c5>%MVmU6
zwDbo0Hj=b}8{J%nC&wmZQazR@w46{#r_x0|Qz?HHnJ*1N(He0@Y3TzgWhktyk8UDI
zI4c$uUK6jN$%@pTxGO>WH#EYwY7Qgf1c4PaVN=;ykvLFa3=tW>;{1|^+mys5@{Bq)
z+FP2?skA0ebl6JX4l$ijplR|zOjgFkbe!nCCG?OGX$l9L_>QKFk(3s_jxCWUEeIB+
zo7aC;9%F;jwu?z8rfo<L*oPzy;Md^Ec0b3jRckCs-Y~f&jH7?rbxN6Y+*13J$K7QN
zI2Ub9V_Wp8REq3Xphq1MI`7rm#iVM8TdX%F;@nf*c|t3dKEy>XmNG76GWBA5uKrwH
zw9_JEEJ;m^jF01pBG7wm`t&p`niEqMfi!=Hrff(n5y)|vpt$sk5?xx@w2Vt&EQusB
zNqvb)vjAS9-=<$Py2Yc>IBp<PnQU7sb3!*+XybyJmhYxFwkwq{_&7_c+r-5?#DzT3
zG-ZohsxNViV^baH8^5?orA=u{$8-@foY$9)i+iuMVmD4oYrAMNd*jyFy5#I=MrwcY
z$x~_Mf;yEd?Xo0+q4PMYQZMc9Xm@hbI>XQw{y{nGO$U>@nx-xN(_)04*DqgpyAOZb
zKkRlzj*ek*I%7If?8T$Z9c&QpND3(W?Al<@!SBy{@nJ~-;eIjsxg4CHHMb;%`tAt2
zdt4X8LGS+fbXYQQ@7Cq$H>@r=BQ$?wus;Edvtml8f*<&OzRw@<hx`%$nLp;g@F)C`
zKjqK(5%2P2{(}F;U-DP{H81#E-s3%-WyUB+qk{K&$=~sJgNu@%@-sf*fAaTy$VYt4
z$AfXnD_)_T@ChBahUL3D)uyBcpOn)<)#sDp`HX+yQ$FLf@}eB`*|3<M@tS|vXY{nL
z{#fyIe!)NTPy93g>&FDr!2q_=m({J)+uwoy;NaKe<GlpB+yJ^H(CL$RM5^&O2i<-F
z^t}f5g9i8n`>z20`4aS-fRAh={K*6Fa4?Q;IQu*~1CH17#s~i4yqv{ntRK#+y6nFl
zM#}k3BEG^|%WmR-mD6g;S5klM;;a2vN8SBjlCRv=zB0a<AS&$SE3=KSRK7kz4x*3d
zzG?e}ym1P=6V??VUVunQ)e)J`%W$Y&;P~yy!HegwBOHE1<eG#AR-U;1xpC-v_qX}t
z00G-YkQOV!*$&NiTn?@X#uRm}cp7}#kN`ek5mROt5D$NU{`_Hzsl9(!o6@cma~vt}
z`uxT?3e}D)<F5v?+klwhTbt9Dq4k9sd<kNEI<AA}b^-16qZcpt4guQn@g~SL5L0xN
za`b;gEx?3W0*r1KfZ=es0Wcfd^H8+$Is!JsIKP^>nek7{w(Yba>_5Bz?BMvP!|wgV
zt8)z4-7)dgzCiy(l*@mXaXz$-GuB=jmv694Z?>$S4hkZUo}3N)OIE23sdMp;jKxMU
z+$&~fd~mq7!&m|#{!>(Zc6u<F&T3KvyO|DuQZzS$yz_F<ug_-j|E_ixzq;10ikGY6
ziE4v*x4Zb&<zrR6UKLOCvL#-$#GBp4ucYf$>2?i!y-~W|UHX4|o?BJGe;IudS_=4U
z#NJBISP`$*W6v(xpSQ%zYdC*-TCYl93q7Y=(&=U)T(1kK_YyODF>y{w;POSn{Qo!p
zJ&6Chm7dEt|G?7xze4k!eDeut`l|2bI^3JD)S54-ny+}8FG-p=&*`n`m$<7<+?$tt
z^OsD`OOD9uKZ*l0*WH(qi31b2$X)~j0S7cOH8M3aIhWC21RMu6F*PzZGC8;OUj$|Y
zQ8772GeR&lMng0;Gd4syK{rB1Loz`)MKwh?I6*^3Fg_qWF*!yvLNGK&Lo_urHbgl=
zH$p~3GC?>+HAOc#K|@9`K3xhgOl59obZ8(mH8+<J`~oR|CDKPu13?gl;jZp6#(>E=
zXD~VEoHLjlO<DqnKu9C8<t7{ji8W_n14061<}Ws%UiGWql`+OkT4U0eVFgx=F`;BY
z3WOmQA`sPOBi>fXkR*6BNilXx$51e5X|mwJg9Mzw8C;6}7}mWMNQ1E0PpfaK5P?(3
zfGkKC`&FZVD^bXV3pj>z$b)RL-(R|y1G!KDg-`^=Py*$UFZTCEf0RNQR6-3@h?6R9
ztDqVhpjMn$sYM;s!xhA!QCv7z+a_p+c4!focCSS%v_Us?h|9dyq7%BH7y6(dhM-4W
z&a&<ez#xplu(<pMEk<AzreIuL!H*UbFbUT%2h-wZif^=?fmv9Bd2yw$S}edKtid{L
zz$R=#9Ja+({2#-PxcHr>U2%_Nn)bv!ziZkT_x7ggK)h&7)1i1h51Nhw{NT(knizcn
wPRi$`d``*_0q5g~fur#w;w2Knx2q@f2d@1)8kag{1Rn}BH#iC<B}Gq03J?9JAOHXW

diff --git a/Lectures/L25_Discussion/Discussion.tex b/Lectures/L25_Discussion/Discussion.tex
index 6df9d6e..3b87c7d 100755
--- a/Lectures/L25_Discussion/Discussion.tex
+++ b/Lectures/L25_Discussion/Discussion.tex
@@ -202,8 +202,8 @@
 \item Summarize changes made in response to test results
 \item Explain your automated testing set-up (if require more detail than from
   the test plan)
-\item Provide traceability to requirements
-\item Provide traceability to modules
+\item Provide traceability to requirements (if not in test plan)
+\item Provide traceability to modules (if not in test plan)
 \item Make sure you show test results for ``bad/abnormal'' input
 \end{itemize}
 \end{frame}
-- 
GitLab