From 523e54c7a5b87098a360aa8503774c5d00bf8d6d Mon Sep 17 00:00:00 2001
From: Jacob Hageman <jacob.hageman@nasa.gov>
Date: Tue, 24 May 2022 12:50:09 -0600
Subject: [PATCH 1/3] Fix #239 #128 #127 #122 #121 #119, Requirements clean-up

---
 docs/CF_Requirements_20_03_19.xlsx | Bin 26826 -> 0 bytes
 docs/cf_FunctionalRequirements.csv |  63 ++++++++++++++---------------
 2 files changed, 30 insertions(+), 33 deletions(-)
 delete mode 100644 docs/CF_Requirements_20_03_19.xlsx

diff --git a/docs/CF_Requirements_20_03_19.xlsx b/docs/CF_Requirements_20_03_19.xlsx
deleted file mode 100644
index 148a0ffc7482b03aba22b9866f130ffb95bcdc23..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 26826
zcmeFY1CwS!w>9{bZQHi(sxG_Bwrv|-wrzLWwr$(CYx=!+@J-D92j67GNoSronQP_F
zvtw@sX%J9U05|{=000mHgg63cY=Hm(P%r=h1po=GC1PjmY+~!I_uIqX#7T$V-Nu@*
z02G)q4*>kH|NkHUH(r6N-($A@jEG%o=K`YLs(<psDk>mx+i|r>Pa)FW6VyqYkFY2|
zeJD&7Rq7!7$P}$-w8$TLF{{_fHG~BZtm)r1<Vp2mN~5bC@A$qXa>W9Rs#K#J;v(7d
zFyU@)z!#bzWLnn^=`D$Wh{@2|8lhQE`tIe<ge$`ZM98|Rk1K%RRxkL*`Za*1sa!A(
zIo*Sl=&+@>)jB&BnORgx|7JSjsn93AL{p*GDYP}d6G)zq&!gt))R|*(ix3D}Q~{OQ
zFcZMCghC<KF`?cQn)!n>kZiS&w=zQyth;;bUx;J2XCKrwyXbxL1kS}pspQEo)w{J>
z9>&5vq&q!avW^y4|DhY#G`W;}f%<mGH1U42qb+*C2$(q~%wdYV^XLkObP7eZ*aB>~
zUm-o>I#mOoLft*8a$wwId?dlgEOK(jW~~EK-3&0|Yq+0aK?7hfMI6mnpQCW!DmUP_
zvI~R=c2n-)alZfY?B@prpz!~qX_E>g$>Trl$^2`D`A1VdM-yu&2KxWR|35wdH|FI3
z^66Cxvho9ru%R~+pJAgfOIvY>!qRR+5*<Xpef=dj5t^b4NpZG%C~y&fV+VnV`*rz#
zj&E%7MxT!oJ@2ztMIxi}kTknhho-(exIj>oJEr_{sM;Gua$R~_dQKOY@}P9>ilwe>
zEz6f4+adY2a3@-aI76?74TVyS8;Z`C9-uiatFdkPS_8BstbA1+THC^rcb+(t>9>+n
zat0?5&Lwj>pN=-_WN5Zl<2`Ck^z??UqHNA(QEQmv$W82_XKda3Aez~O^5sn@mo=(H
z%!>TVJR?3rmiOeR*~oe~k?k?a0X0xLdOH>vNl>=^Ph$OlNfN-Hl=|>*McV(71RDSe
z<ZjLI-#l@%bF?zFv$Oh-H2c3e1N2X%{hQ@~?@*;AD?Rw{NQe0jV|2@OMMGM1W+1*)
zxj=v%YoyvBCt~q^+`*x4*HK@VW&p7Z^|+ZDaeZNf-v>c?>Z2)(KnC?hvA*E}vzvOD
z0)aHVs>Tl#2SY)=Jin;Cf`QL)LTTeq7^TfY<vf0+B*O|TEFl(sY?}{dwVY;jVYYOd
z#T);JnTf_j|My_!%j&?!mKMScD$}E%Hj#~I@Z3NTg1HAQC`n#855U~%A`#7NpV%|x
zednjCtjDxfU*S9K5pJb4egzw!cc?RA*r+&xA60_WQ9*i#%FUj$@W(h+&&ECN#N&<W
z;n>L1&cB`h|3bzG_>NZNA6(u+0RV)5J^n%Fe+5fXl8)UvBWmak#nnHVSNexa0UN0T
zI9k=BqN1jlLn2vHE?mvexS6G_<m&~GqNwnK)nx;$&d2+6{lvqD+>D1R@UK4Y3N_Iq
zB{5K$%!#%QvZGt(^Dt>`OnDYmH6f9_{@B{%SI3xY=19|WED$thX54%mHM~e>GGRL3
zJQ`&dRb%|*-mJB-7M6Y+9Z(jkfk4Esd}Hl+RU&q~xmmG37WLDrlss)3LqW!{kruMQ
z)}`bPEu)gA_!kwa78?1388Fv5*ow%bwB4JOHmjQYYdqYSNp&Amn)j3Dl`w9>N(Nq|
zYESc&MU8YG+*GapCXsylDlS7sJ7RHyj2HBd*M#z;kYS!M48SEdrfe9T(hxzuqWxzL
zXe;ES`T9-vE#|@$v40AMM9XIe3#LOr3e$qxRN=9%&wd#G{_@hbbf#zxU|{3$Pwh9#
zl)Ig%PpiISb23rDiI4N>Y;REihUVv?FIKIbR_@3s#d!UAwAWSft>p&H=ytqgoN63n
z1w-cZnQ#1{jXLlDeM%Tu{uaFm>$}dW)V4zjj6FQd>#^y7;dL_+ejlOW+zRCf>?BQ}
zeE1+3XNvpZ%i@#`f5K5R%J5>AH9EYWe~Pq;=6;YeGL6KvP2yk-*m?|$hL(H`Q_L%4
zKaKb@thU82v(eojL%p%%#F)+9S@dv7SghmBE|hU(MuT_l5%b~a%np4Truq7jU!g_%
zbsinmYQRk{xkGe*O>sW&I1~85quc1m?uMk^P4%bN>wT3DI<MV+UGWnY2tMP*)qZSb
zeE*LqyvTV{Vj%(m#{2;Q)c;1IlevMTiLtV?qlK-R(|^vbOPvkJ&Cz%tGti&>Nr=pd
zU9loj3)8CjK#>S`n?Lgr^D#zx<h{16P?b35Am&P0rC%9ewO<K*6b;ZV6$Kf%QiajA
z1563+bAtKQGz=8-rhHy^7VK>QP+}tXeXu^gJiwNCTxghebRtmW<L=k^wv|zSPD((r
zKrHX4-62=mgfXM0mZPF#bGy;`?r>F5b0T1Er&bv0obp?1h<EC4s)*7|GTJZYWMipQ
zCegtqzU0Zez3bz4FY!tv;mFGLH|_oVNE3yZmz8O}*^g!s#QPYD_x-0vGM}HSfPBeJ
z^To+b^Bcq0;mz68ZQ;U@bxP9q2*i+eOu)&LE8FLgfoAl$weG=GnBLTcq3-Xq)x)#o
z@&);)+rXZ$tCLf=8{}=~^pXJr1N;jyljmkPMz8=Lc!Bqcv$+5)yzEeZ0Z#5MZ`RNK
zUGtMYk(+4<@qr6|eJPpr7^TiGDsplrilO67E>#exv{;VGzW8$bgtJBCw=x;CG=62h
zqR&@>L<@HIG!@-&fjVysi`SP2R{4n{xjTeJ-Fu3L#)^ao=ZVZP<Krnf+w94c1#8ko
zvwG;D{z@l_SJu9*R}KwHShBt;48&eoz2<>~CrPgM(R1hD4CBU@$CA-|M@uOlv3oDN
z^Se(GmE(e%OqLpqAVBy&gW_$SHW{%T7ltT)w?kK(qm|24xtggf-o0W+U3swF)m^EF
zfsT9l5E!;64-=2{)${99o@nZSmFRah*Y0dpADok9nMd!%>dNM0Ex1Rv*;6Ic$;=iS
znOy?PyJboulL~IFG|>lM_V|DDGbl(d{j3kE=@=H8PUhCwSKrhpP3byVvJ|z+Ta`@=
zmAWvpvbOe0|Fl@d-mcbj7HTWtS2{OR-pSeeR7RV^iMdWIb-S>Kj>b%NPTpF{h`mDz
zz?6fwxXK3(JTw>d46TQ;ZA@O5*X-_iZkVWqBuh_{W*S<y73Hq^lt#XFQgVs&t=XxD
zHUPfd(xbNy4NS=`xcQ}j5wykEas)|RnvOM%MXvuQp%idR7WT6zdSxQV>1Ufd$KFvl
z&{|C9H8Rxg@-{McN4gZYUV2gk19i^G))TxiRv<>0oao%w93MU@D)$W_?pN0YnsMGS
zY&d`6CM!vi%ujO~dExMmUol}iTCJ)NtfP^lq{Di{3iV5lzJRd{<FRnZP6D^{Bakl>
z9)HYLkeRi9bJ4#bH`7j@UbZoD7+4vQ1L;Zh5)SOBSRDs_wAV1avt1rujH>WaIk8I%
z$$)@Irzrq0h+li&*1=;~IKqltB@9b^rq4!8)z+moOaHct*T_u#O<sBT=N$Q*Ix5-p
zk01K0yv4G!(n@>J18tX9_08u}Aj3Y^r0Xwiypjzi8FFywzJ7gj6Q;!YtW?GzqlU6F
zb%YrBoeTu7XDMB6*@Zi<<zttCu0~%**^2SYH09G7>m+_gb?i1z0oN;Ar)moSZr^w<
zgM;NENMycYT*EiU)s`@Vth;A4S!V3wTOiI{Zz|<fNnKgSzs$K*zstLm!;7PKHf*O7
zLlZxgl}rlzY$zhNL!_GPJ5uSZI(x$r;*&$8S2V(|%`d&VV{C_Rf+8=lmQMHkCukCp
zbTQ{s{0?LGr3{}hrE<RyorCRed#YZL8<Kc{)DZ43)1^MfKk$B}%$B?AY58D@svu3?
z!xQXB{l+(x!(#K&FB}8T0<?am!fr>?SF5z!hb73iiO~>JV}Wgwp1yU4+J$9nogULQ
zJizkTLvO;m0-;PBfMyTDIW_yU7M(B6HU(>Dl%UMe36ziu{W)Y*J9`bmrup>B5o{73
zQ;wPurS<ACnZQLSc4~bj?#of^ve**x1e^XYay7auo|o59QDX?LT#!LHq2pp;I<Kti
z?hVD3rraC;4m+*)WcIQjG}(gowrv@u91}0E5L@euGqSXeAuRaIk{!i5!n|8to7E^&
zPlMu=L|ejU3LNSSN&!t0d)<yFzrLy866nZDWgc8kN#PAS*)oW=dcYm({5fzgRd2G5
zu0nneGd|ZjPDpgDlc6s*TuF04hoq=^j+(2<)6|}DesV0h`3eTgHCA$qqpC*!oVjqh
zve;RqsI9}b!%XqvN3i{2IDsqTaWJRhV*_uZ`#R}oo4x=hio@~_j~<b6hX+zN;fxDy
z_uJ55*nDN!REHLP<b$yNJiz=q-YiRMaKONAlLIo>jpbzFFhf_T^2fsAfvJ#D;$qEZ
z1@BB0xq!h@)B$HXa-{b4r{z`tiROz(5Q@iYV<xu`b&f_r;KShx@@L?K_i*G0374VE
zmcU^&DOWZ@gS~4R!R@WDdGoKYE?T5xl2lm}5LLM)B|MTHxE^=*1mDlzKq&%(?bqk6
zvtKfYS#2}luUbhH9@%LQ-@h#(*J!yz;U3$w_E0#WL`z}`Cuhzg&QrW0CxWuE)rkhF
z>;qSV9HqqUk+}H3O===T+6?Ux@U+%ijfZvM#6U+-GAuM_EnB^gkI#v5bkY=+gd{~O
z_dN<4$|~&<%HnG(+?aSoc(gMjbnG$66^>9^xmhW$g)u;J38WCELk1KdU#z_mG-F5J
zI2k#8O2^-uYe7QbMD*tXnlh}b<u#Su*+jq*^bapDO{KomgOQ<K2T6Ucnv(<c6rH~(
z*J=U^f-1ZWe989>WkY?z^T3$f(&VbY28x`~*SI!$fQo{ouE3RDl`n~fOW*}Q<9>OK
zk#>*`Qu>^V)bvh7FilvMVFf0E6r$^`fWvpZt>Fx7Z2YYawCVJNvB>}K>H>$i>Q%7E
zf&|%WUoA)J#prlGCtfoDYOY+uXyj1;g%hJlxEDp<8!v950isK8Pv>4_h?ryp`g|ZJ
z`BM1D`B+T$378IqB30m^#ToE`>Ytu3kK=T=IId@a64@N6{%2w|yMSmPEg4=cx_bw#
zfA9h3;n?{{Wf2O}U$0&dyc<>Q$pdDd8Wa`w#m<Q7+BBDBUT9~b#sgxZH5;fy+@NXP
z3Tw$eMG3e}=M)6#5qhm|cq%Lv)K4_;*HbxAysjx~Hhhv0s5l*($PiTn(aOF)M|=w<
z>AnVX@9)SlQXCUR8HR3iXDh%TR1GZ71nIIS9GB}A`@8QRC~5d4C*fHNQmmIq5fW4-
zM)uJ5iW4W7Ij7}46(Z<iO0=17Dt{QkG~!=5XEDSSFZ%UuaM)hcl#yBryl}Qq?^yYi
z6ICcE0DI4~5tW@oYSAZOKzfqc?PXu8E~uUm`^3KYfHxCQ5E#WIFi>J+s2QOFf&u!U
zP2!b8>gerG0FjzK`46cEJHV!V%>z}<0Z2x^WJuXZ&rg#SnOS-=Booxb&Ew#vFl`RK
z69vZAty<hU@RRkv4~g6y5|u6zb5ygr9LjbasJ`4>mIQfle`!Gjp3@vjNDQIC;D~W@
zhf$XnH;Qv$kJ8!(Cx)Fi@V2VA(E7fwD=RHhK2c1^e^sA_qze$c8b4(xd>2y!(+R%6
z&hoOJUZNFHN>@v>81y=*j}>nS;xJJiAlpZW_IhM`(jctr#y$Nb3hNigCuB@f_XwKL
zZqK4jdya9OwsJ&}t~Qq|JRSZ*LVVPnMA6O9FPac>hZorE!c)8yN$K2#10bgg@lC=I
zE2xZJ>tqA4+q=3KJ>?f#xVjAN?Ww>FUL-(^Q3{eqDiQ<4u@m7jbwm(^?5PwXL2Agb
z1*cKq2};PIC$7Qc<UFJiT0f@7%MKVj$~IOevN4ooY2hVN%eLSSB6+m*76%)HE(cF?
zIiCAy{WUPq#`RX>Jd47r)!-;0t%>y&(7SCHl|P&r2}UW;{10+iNi?V|;Ep0D6XfOE
zM6eHP#yGQk!+}g^JQQW;Q4U5WUGW>9It*lt%`PIbn@)u{WBcsHwt?T_srvXE<ZC-L
z7DQHx2xuLTC7i;D*596&zgv*d3nmcZo7|egzwLRw+vRf)&?g>_NZwEOH$H9iJr_&Q
zMFiXsxkCP0*d+53QZ@)@PdMbD?p`UO>T{qy0A0fx<17>GK`Y}^saugAfR;<Z@7rKS
z(^u@ki9dlDd{rrcJ9fQMrmMl6QWh()Qdi45iG;Z%Z0eC*+o5_wxa);|-1YY6TBD3*
zDa>6hV?Y5j>tzVNCX4}i0Kp8H#SeMA=2UJf4I8%wo17u85)8;(;KDpHL5nlIyCX5r
ztMdn>B#ysAscji>yDTGc>13iK2a>ds6RSY&;4M0m0$A|bp44j-LSroZ8G&m#oOiAX
zop&9LPa+<C;hKuu%64QOx>UO>1B|msn6hY&#l>^K0g&a$tdMwglzlnB8WvJn4_P-g
zOv0x>J%nadD6uD>Hq5xs5Xm7%vAHQYqVku7WW@dy24_b9MamE8X3@*CAqlJ_LDc`v
z)ueSCbeoN=On)zX|0q0TuhBJLB(o;;AS_in<ib6n+-e6Gi%2T8Mt;a-P00ozP;8du
zU%o7;l}>xO5}>@k3l&QC4{YL(yaz$a!=9vZ9aCDoPob80Nlc=q1w5D<^CEDlf=r^^
zV+<SZiXY}PQleyAIbE}tG_p1zYm#$K2xfpbQe?@@n$l3f41`@T^r!&G98ZwF1I_X-
z4FTDy@ng^<eCpq6vK>%*+wBb^&z6rm#Pup(ld~rrtSBl1x3dgPhBdk9i=>9Y#s|+8
zbV^CZ;>@MBG1ebg6r{z1&FJ;I9(%v;1CTMbTLKD?1GQlNK*A{-Nl(w$7Sozi?P7YX
zCob4hUl(zS+vpSU9~}XsiTlY)B}r0<h^zvHn^0_WlXQN-lrrZ@#iC+?;HegLw^h(G
z(gECIgqakJFMLR@<gK+SAcLsw(w2-`CS(37QpVzZX(e(AqJ>xVA7vTB8KDcqAKxYE
z=N*9RdrJk!B0WKU#reNFF$K6rB0&;B)!Moos}a3;h`CH-dZ<2zjKOns@bmG=a?={n
z$?z0;BA1P@>8@7Jn23s9kCcKNAaT1EG;yKj;iCOcLlmOBn3gGE;U;L5SJ5?!43D9+
zn(A-VdCy<l3qoH<v%hMIWS{%RsjK;ruFxJR@k4-!>}JGCC`Sasz5<oDlU9B`qvFgY
z^x9|!nS$x2s}n?i2)@L{^4Pfmz4-;_i>(b)jB5Q&{M!4#gGMuZJsa!RP)m?QCGtY;
zjltgu^{|#rbX?=WJJlyCrWf3sZQmo@(X3c$ZqmBu?t9z(B0N-@E%-Kt2-;%a|BARf
zQqAi(=?zjZxY?9Q4)6aA@|U2d4Q5`fJtrfB|A2IXmQoDkarSOC_<rg6p{N#Dgo4S_
z$eJar19fBpyNey*KW#It2YRjN2HLc>R|;)kE&YJj8F{JCcJM+Kba%E#5@lti>;S=(
z;qEu~D^WaTt?W(S6c3!8d(CQCNq=`KB2Y4TaQK<9tyAMe%sC<&i=rg-NLR+Hs)-s6
z=^B>|K<7Adaq+E6nrLCCc_DE8A~HX~5N`XVQLil;c;<&_yYID(KnWhIq}f&ZMgxMm
zhagZ^-_~I6$>UmLV7cc*E8#=k=DvAphARVM*z0R|&&CTc?+oQ4yEAez!6+om^>#Tz
zS}3Eu3joyA@Pel*`xLd@lB=mb-%jIc=KH=T^~`EgC}vdB?ChaHpGlLoI%xV5@5^)C
z!n6DpD59}Ad7X?w@2o`V7lIf_f(I6zpEhyk0Ij7(YQ;p`WB?UR&m{y|g^u~gy3@nv
zdas&sgq=Z*xWEQqCZ}Y*V+?{N?1U)SB-S#}reNQQyqqY>o`eemh}4HM20n%;qKM)%
zY9kdisIY?sa4M$Ajoie&XH<fk>cX~the{fo0BO33i$G(4O`{Y(;Dlot`=*9{X9Kqg
z_W7GjR2ri-45H`V&(`?3hT=q{K<+X19z_yxgRi8xLSN`0(oSx0Rv!M{bjg;9czVh2
z;XA;REiA4VY1zWF8!Zu2BSBobGx0e(Pm<#JAulILz`vue;?l1oKH^=bQW}}l5Y1?9
zCBc9+G$sV9@ZDUBhxN#mNT!uT5q2M|%q$G!ck1s}j4b5BiCX_N;oOdUxCXzugsmN`
zPHDVmebuY8cmSt?qyU;6cc1>YnOESF9}8mpux;aAmKP<jkQ<NzprSUqN(|*m;Bl6F
zuCJe}1sZ~-y(MXD_Tun4t8xbYZ9-nK7@uPW#nC;#9th{ohcNkZ!DVGq0&4VII3zuM
zA17rs7Q;C$G;=`AHUs9#u@9Ma<9@=B_KbQi=J|<1A2Bbc$+1O@L1?dbe9h!04~?7U
zIBS%ye5OuMT~~r(t(gjVrI^*4ja<1q!c>O<LKv#*-EPs^{e?z@EYG+nA$(n<YJ-*o
zHyG^q+fCiBES(2oV=pM3-5cKD0QNE$_K&4t;u0UV9_G~a#lSiw!KWZ3JLHg<HPJuj
zSJfFAqFpf5t5A8P@_7w#Fy7lvIJGSRUPb$M!fT`7U-N|<$;8>OFR|@M+?}wdto9_Y
zsvNOXcL`gkxAx`^57;rof9|spP1^GJv68iGd0KZ#=iK(d2JoN-2F5;bE0u{HD1(AZ
z%DWt47QGIo_Nc6^iQ%P7)93(n4Z!`T1qHk$rDRF*QPolxa$)6XID}|er)&yn09UiM
z^ldax#rOm(Z?M1c>U1;@X}<ov0IhtrP+HGPX94(N8`Nb=Wm1JYYO&4Q8KpvU;-)Kf
zdFTlp9|#^Y1<|FvmPF)*tb$MOkdi>^q&dy~kpM!3zxARdfJ*5O9d>MBx4$Lr1LCR4
ziq7>{OS2j^at^9~QdPV-@|7m!=@w1=<r9>Zb(06Sjw~W{<E?Sj*&5J!Y6|ANkB=&Q
zF+Kd>l0(Gf@?N-*GMthv>Nh51#X4)z30)r>#qm%SOUoB94f2p)aTd^JhSXzGk<Q!@
z*a)O(rv;Cr4ye?QvHO82kmQUMIh<lJ@0yeHd7j+RAc(`3>M&#MQ&QTq0Vapm7HjYK
zIUNtV3TbWjc*@BBpJld!ngvuA)Z=^bh4YTzV<~OK2Gw&eRsB-_B|)aKUzXBTw75om
zQd+t*)}V?bt+il*gfdkWfo|nVjbP1urJ-EsWD#T?aqh=tqA3A_8{w01AaJDZEnu*+
zH2f;mnbdb}kEE|@x|vTU#0aqE%X2~i_|q_;=Kk;mr&OJyp~0zZ0BwG5R`D(P8pY6%
z!tAtpQZTTb5}Ha`68eOa)rRD*oO2HO+Va!H<j1pK=E&t5v8)s%?4(kAfkucgEG22u
zGs)`&D^)yBi;9czpaeY(D_npNnS3NeF_=~|aY~uJnQ5uinkZ$o-LBxLB-ck*lBRrb
zJDcsMTefjP3o?Ulr#ZA--nwY%hTvd)vpTp0hJVrA!|OB*Xn$J#5tL2eENll~SZqEX
z#HopEv^EX&L`WSHZy-~qszoKrUo;~P`ulvgM-`PQ$~_|*Qdt4Aa^!y-moYD!yV8IW
zqnqnZB1}TvKIXek%1VE|3Ik!910R#gbe=)jh3mRp^GO)f-BNsAE<}Z#bcu<BZn2Ow
z4dzg@tjqc6`L42zDu*)=*j#`{)sKICo1QJeI?vdZf|vs!AY7)N1S12^YlE0SuGqJ$
z?e#Kv*<MI>tLq(?R&XO?m<81zG){Jh%UFB-Q?(_A+igo`atf=vN+XIQXwJFU0!+%{
z6GMZU^o3&cH5wKk!r`@-w%cK6p7^pSCVK{eQ7aFt7sn-B!ySY6Ko7DM=5`R$G~V`1
z4Vnq!)6q5Qed6kwvw#){%Ry?3Ow%SBDzw)X<g?OcSv5U27O>oU4utR6c_lp`XG<oT
z)FQNEYTyec?NhBIgZeBMkh>7*@oD<`KAq}V>A~&h<>vSBcpZ6opE>PUEcJz+k1rTf
zCU%qR<FW7*?~l9EDGW(&4hlUMvhf+~ZWbs)HXRoV4S<7x%@>rO#QIe{Tj(AP_s5#u
zYBXYWckvRho}Xy5_Uru%g2b)7K;yP6FR0t;gES&@IJ1N<2j8%$znML_0Or*ngsKN*
zZ-dP3+D%(8|BoPs#r)R#iFyYveUZ$2aKOH3L^*5iZ0hx_98WcRQ>UJXGu%S&GZ3$c
zG(z(VHps<*QY+WRdQI6rr04bkIf|RQpkG)_hve<i^XUqqj2Gd4eYV~8qQ}T}RJY7v
zpOk!%uZUE{xg>KhEUxvB^eACwR{RCxibmh8=?Q#Zp!}HI+$W=!bK;3B#frrr2#>f&
zWF6rF#deJ#3yllWlS8473JGKjo4@t8zELiKD1ko=gur%~uB=fBP!!XFF-0&dOw;wq
zXl;Ni5yz~4Ho<AwqkUOFq}EZ@8*M--2pb})B05T*0LTOSJgV(lr``fEJLbgICJta$
zLF;UHXSmu995ZUll~>@HzW)#qXj`9$lICU<moFp61vLJM&nk^PPyWi5poQqj35W1v
z&y;R`JS6iD!Htz9N3%Ks{MPC!AoxH<8AmzdTLa6B`y6cRR5>m*VuK~<+?gpf&2~P;
z5A`d6XGh7nM~3%@6tm-smSCpglNou|Dub1nNj2~EcO#C2#heg?8EV?&hP9;1oQ@g`
zX8)CUNSbf!oQ*&sB~1R>WuLj_h*R?VG_XPigt!-iTh1?$9E!cT6D??Ct=&STJW9nA
zNzU8WRR0E&jmbgKVlHSh0Vtlv9Y0x6C`Sx@XK(Hx{`j59eK|TRjKRx+blDMG?0!_)
z2X5IU=PJeA%S|<EjxZ=b{laQQ`|7D;A6=kEP`IvLFA1R53+um&!mOMNRX!I1kDc&D
z**?*#ejm+y%)5QY?}|d!W)DR$k-flAPs>oc17tJO#J*)#5JxUQyJQWZH3+Ou{Q^uU
zxdU1>Ba=TwB6$>~c@s^hFX1Ral7xO#m?ErK3qd)Hw*JF-U~1QF0-Mgb`!Iv`eH66d
z3l9vOg$d{>n}1>jsUu3RP>RPz!!;(0#Z_(=@@|e>R$F;E(YLkV&z(Kv=uw#<^)N(d
zGM-@Hg*$*OOKOLjCc?Ltap1k2?Tul<+_4{je?H^7K_?HVAQ1R@l-lrmJ}S_OjSx69
zx!Q>YwyEX2Z8MvEALA3tgVYQs?*3s(p;^y?S`hFVWI_UmO$}u!;mi9e@Ohd`6M@f+
z@1DBO3R*%_Xa~nwB|$6-&oBRTno76Y4_Fb(u)^wA>X4-2i4)Mw3kT>F@lc&YPqI9l
zCJNJ9P+W0`M|q`6UV-o^4oEorb+-rBLr6cS66>zWYi7u9FznBKtbVq-O`QSbeXV_Z
zyO>~i3y0OWCs@f_vl|+seo_lbTfMocF!?V7Rn?$o2gbdcAJ<iKAH1nuVsj9yr`TRe
zlA-;(*FLF+k(5>U77KBy8Y5kT)_hIeJ&{!^xEIN9z;wP{kAF9wL2i3Lly6{e@<APe
zW_Rz7i(kebt%OqSVF!2Yke`};V^{Zj=qdy>V1;L`2l^f6G#yYLVgYX{!FiSQW+HTz
zFSUv&po>&5P=HID|6Y49mIE=yMP$Vj-&!mUu-~=N--#R+15t5Rp7OQvG+t|+h3L(Y
zUOKR%D%AAQPW$P%5H;OGw>_<68mK|E_62CZX+$*NBXn17GiFla6Dij(1bwq(gZ5C|
zr3w7BP@e_b@`=6MsnjE@k+~@%`x|8*bU&`LwjLXg07uD!T1_=Y7G9;oW^%3$kg90#
zww_rX$T>nS60>gW6JCa{-{NX3;_#xLwU%;ogRWV`n@f7;`7XdH_q=}e!^K&ap)WT#
zEZEIORNU$sl=jk}np9BizEW+Ot^?-*N~a*e8ije)7r6rlfTWu7?ZGt%PS%EH&<-RL
z*UfqgMk@SPrFgx+r!;bNZP*24ib3@L3PkfpB4`_XR_c5RX}CH?(gq;5b^mgwJIR;y
zfYW?B#p1~NIBsR;P`zwJ(&CqZA%H8f8RF*l749s)!Zos}2J1cg1G@T(=5RxuejAQz
z(Dk>+-M>A^O1ocj78>vN`|?1<WAj%d@Mv_zG92F9R-a4Ycq99I!WErlOAk|slbx0D
zcB>ql_+_+%KkKA8$w_TEj9-yBfx>GQ$4=5p{UGqssErz)ufIpaJgQq7x;F^J@n;I?
z?F&+D8VcnScD>Un3*PzyYa@OtC!w@s<~S|uuz4oVIez01YSLL{!Dm^R@hKCo@aI;b
zofaCec|2b1<r3xol3dw9hK;MW1Ju=CxWn!FZQ+bkvD-@yEHltopt$sd52Tr*r!TRN
z5Fpm<%^s5@AmqtOjlZTTvA-+vp4XI>r#hf<DctQIf{OjItC%X*%7A&&W)5H4B{C3U
zYA*P*ZWVhGPr~>2^*lk1>wwsaM>DnvewCnb6<5hn$q+7?mi!wserV%^B4$H+<@H_+
zT;ztm;}u!G?Q^gMC6!^G=1$lOf0$kvxf5-p-G-hdHasVlm(W25-X1HR__6hSCMSfb
ztDnG5(3$#mZ&$wPmb36y3e<MeJ)Nv%ULuCa0o;^(e{Nn8yLkFQq$O-%FpG>fyIFh$
zBjbTjip@I6qq}h}GID>|xF?Ijlz2mh&!{FbANuLqw$Y_n__o&dU{Ol`=UV7Uu)~C}
zoUZ)dT)Rb`z&y@KbTCEs*qjk>O&BRn^UmF71eu!a8Va&qTl05%<W_R@Un@V^yOfRZ
z_U{xiou9{ESK(TX$?1D2ILUXc+7Y0b6@4qj-&;bt76!vpb$&hj7r^5AHEldqimqM-
z_dz=ZE7?$VD&oA{aFW2k9Ig*lTXs~y*2zudKy9dHh0QDD+|7Z!@LP=lR8j+T%2!VW
zbKl)h3GO&;FSjYQ#zB^0dMe?$tf4+4iB{$Oj=_BMpXKq`Td7CSw9d#95_QcL4Ofjp
z7^zi%N{upo%3|}n4I@kTXm%|Oow?W7zL<UE8pqTblR+L5;ga)r!N}Fy<t3}JD3m>o
zQMqQ=g;Pl<e9^@Ipb73FTN<&kgjh~Jpd$L6td_p~yka$-<`#)(BnqgLY~)1+?0@&|
zwA`I5kwAMgH1Icn1RZue$3|jx3A@D(;g*g{RkC5FX~X{rj~>dN2*Uu2q%iC;c0m7z
zU8c7M1C-Y<4R%$CKKJZ@1hh-08zmxH(1I$};|fhW<Az?MyEHgLT->wSL_m~AN-8sk
zHcvUFZPc^K7X3=2Fn0-l+A|nzF2?K37{`NJu$=pqIX5GJyv{kGDs<;Ay}>MpBg)fr
zzI&Rw^6~R}^!WM|rgrlpuiO1*|32~I_CZnl0dW(%la=-S439C3-$T3iONa1d@iui8
zQ*5l;kuv|e@z(iTM~S#b8G<9j2F*-k$RCk8XLl4h!pkG6z^VYtQ+_?^wFd*-HK#>K
z<>}!E<$pA?C_l<;WdH#HG`Il(lK(cc_>ZZNlevkBv(x`+DE40krvKYaY*I_sZb1;S
zi{y@=s%s_l=^aEN8y{MT&z|TAqV<`aNp?A9CFyym0sr?ORaAH6FgIyblLuzchvTWs
z*U$ZLXPN6w)c3xX@gkaJ&K-E2o0q0{$1X0f!URT+ZmXCew<b?}A)P9{9`2vZm?_*I
zRQNB<1osGpChp0HSGkK>{LONxGe&L#fi<{=^7MlZi@zf!T{h2hW|b=CrFt_87ZhgX
zYC6>=mDB3U+5%B`r9Zx}wHr^>UIL9fa?>+CZ*V^06tW}RJHsNG7B|PaBcYJ%Q(G&(
zmh(QVP33mN-fWv^nHI13S>LT&+Pb#QX6YWE`=$AjY5bcrw)aztXBe|1w|99n7_9d#
zKX5*(%=sK>q1)Xi!g{oIqJ}+;(V;J3qqvzY`G3(_1uq|>puU8SKtB`6SqIAnAH`?|
zMH}^I0d)+})NK%vDv~Oebd+giD&=TEplQmA$?M2be94E#d56D$ColU;N~=^<i2VST
zap;$WPD9LjlhI-M&@NbNXH9>9&-+Ihl_xZdeo#|4wdCm@{{~<1@0=-zH3f4G0ZZ<q
z6+D(em|Tbt8j_;LgY$%87U%wVr#ULvk<gM@LJM@XD<drxy<$o}#B>HoFD*o9L6|e(
z@x}`LiUwYKRkwyA=K4)83oYQUTb~um^;SS6p(g#$762JSXvW1RFhsW<2zy`RO!U{w
zZymbP_rQwsslJrXqVYA{&RXhn-V882Q?aADV5rf<?;g)ahjSlos?~OnfB#W?ieHw=
zCGTryGdr1&B`*wg#P(AYf)@D|5?Jd3iXq*gE=+|=Prza`E=*uCaI`CB$W@XlR==U7
zV%&Xm;6b&4^09GH^Yq6{P-n8xnhdq^@&D<_lQm(;ZN$i4>f?YhB`b=i1ouZxpks9l
zK4`S*A)cUQR$#C=_t}5vr*;7ws}C1*=IKf$JY4=;(qisgZH7F_iKd$HYa#_YTgfeP
zdhym8SB2Q&CO?pSUG^^bdh{c{rDfc9Uy-GZQ4#dfY{F#4xUk4LDy9`$2pP?_izAI5
zAT7s=tYk62;AffRZv>lU-+RH+cZmOyZ!Y}l7Kz{hKos_WJPZEIw9eVw#Kwf-zvBNQ
z*`<b7<i;;lUxr5k$S$64$@;EA9P2f?^-FT1i=smZ>)7hC7}j4b+tE+~3A|6m3KG(K
z&^{L;RB)`bv#H-{A;IilNPH{_)#*>1nG+?AWLD}$b8ge#PSbN77&@KK3?<V@a$E+I
z8`ZjHt?+Wg*1`!I8(nO;Nf|W*U{d7a^`I?VWXIRVTd@M|;jW^=Mwk9R{cZ{y(ZOjq
zNfX|%Q{j60PFcMTRMJMIyX@J?6ja>cJxp{f)X90cBnho@frj>8KHOwRm$1dsZf-}N
z@_Xz^+U!vlo`gC^1HuLrVJd%irSaz%xr7_9gauGsc?VyDFBAsBc+ES|o=#HS7*gis
zY(<CAwWe(Iz8yO@^&QofeM%bU+LdP>y7C&H{{ntn@4rX;&LS*-qXMEw80VuRuNQ8b
z+xY}WEb}hs_d8Zjmny+^AM|#1H}8&SdTA7ncQ$$vz==fX{^dho=$I@Ph5u6>iokvw
zEmeBL2HOcNmP8tca~eUgIIv{C5=T|2R&|?l1BczT=@AfUsjilKX*iBtSG{cLoLUS5
zkRTKbB#lv@zC(@9j}Q?Zqa>TgPZv{gcS>S}pGwv=Q79kqdwW<+j(}Y6lW0ik^oQCp
zPw>X&mmAY=+>-CBtQ5)-@N&JsJsTU)lgH=d_IP#LZgDhO)e#z#Y4Lg+Q1kP7X?r+f
z*y-{9bXk6~;9a?6@O|GOvg_#?=Zk8E9D1<J>2!ZTd~4DBzB@3Ae36Uz#qBL&IGJtr
zy4p5oh?y56fM0B9$`pmjM5_SWO;__l%<R9C625M)V;y?y3QcVUqN}^f)`~BBCX6UO
zqgJ>IxMum)LE8krTX88Jd21g(d6``bgXe~lPolL$Bozhvg5eaWX6S_VYc<a!s6aFi
zORm=bki|8;&cxXbl4-wPewgaOnmUVT@Qm0HZY(Y;N|-vTCJytyz7Z+-H%{GJ&y_P)
zQ*?V+tPE)<dbs8&0ux)mI~E;igbjTdWr=6+OI)}$DMHGb`p8q8zswAyiJV^`SIe5V
zyg{et{NKR-)rD^P)Ve=1U|fxFn<7zXqxd|qB&ajhS(3<StMaczNtBMZj0QnBEDvz;
zFL4k_*0L`)fzi&nbf7JQ+AdOJ0izU=iwP4GY3Vly335oP)FA725}q;%EKgra^&dY`
z^&4#OxU5^(uR4pJiO3f`E=NhBb^~7!$sJ+nV{otx6UUQJLahRjEgwA?*ETozZxb&0
zvxM72nmW~+2h}hyRQZpBv{c&%mRHjTx*4!}iZ;}X(~e#7nd0{8b||o$v|{7KlIgEe
z;irVcPU^dAOYF|WPAe?elUQLcJ(j9ChTh{X>wL8PKI~)9l}i<ynWp=F@s#T{-|cwM
z*u)|b(S``ku76#dSen#yk>Z-|goQ6ANfle-%&V}8VEz*4|8k|L)kH^^J@ZYjP(feG
z2UuQI_4bbi9I0+RbzR~DntzAy|Cv;FC9NH=k(q8Y_0(c4*9EGLP*)L*KTA1mcX4-g
z)+q1#RRV{s*_KY)$Q(5bda_hbkd<Xtqa`K<=gEv(*^-|(XWkvFEsexg497Z`97sOx
zumN|@pA{WF*Lfvpu!E3#hie%&0me|k!pVyh$?CPY^GoBH3WIO3kakzfnVBv8Pj9)1
z<fiM<?aGoMN-<G{Rug#O?O(DLV2!ty_@JUp$>9Ymd>Fnf&B!QcR~YDAi;$;sW<Rgm
zMq?O>7a>+I*I&-@+oB4FzJ=5voJ6=Weia(56rj^AE5fRaJLP|<Qgyxr6_*s2V@`R6
z-=Yd4J;2q7+e-?smzid-@0mmdIYc-!#-N_F&9)j!EwQ*{StGd?6wtV=)`uRyWbd&n
z4UyT@P3Ehc;W}sAm!&T96sj8ru^O(eWFWDd3Rr?Nj610Ylo}pX6W6)uAsZz?wf38H
zNUGx9H_{0%<<zRP2vsknR9?>q!oL5Z?>f-^aTnEH2u!U!m;r$*P)yG?CTk45llVon
z`&TfHS$smXSI@p%XYFxVvDCs%YG=C|72B6w*W%rmXVZ-uO_%KzkPIzxM5XWZoCyFz
z(K+4EQ}GHXS8snwV<Utqaze&Omx^Zp{6V^@`RgH4M9}#fqDiQ7`y9MjwTp$)qsz8o
z5jx1W93wb-I}hW1YI!%{0+*_Gr94b`)-EN`5;LVUkNAv3t2k7x(xvlP>Dmi7!o3M>
z6mMcIFFK;`kkyOb|0u(>i)lnWp#gvrEdT)Szh#({vxl|Ge_7-%YTMWyv?6`$=KTmE
z&c^CW*B_=5P7}EnxCUH3`^(PxCYx|67Gj8`ykzk__PB+5;;g60ZZxLr+IPgO;_|c1
z*mL4ab^e&3h_BBOYK2%ZFHbRq)`0!VogO%Jsrq>sx`K7FN%k7sjGQOMyddb4`Z?O0
z@oU#RB2c_Npo4UT6D6&z`%XET=&*G=>H({3c~77Z0{u3LH?2z@FnM0rp=;>P{9CJt
z>q0kh>Sn|s^C;Y}a~TQwr|Z(E>+;p2^YPvu{g=UapYfUI<&KY!?EGY=7{JA7J?F2@
zq_3$8U#%8T_F#T)aiw#-A5i|5a~<TDKE_2E&$*{B3DjT?#h7z@s0!t`eUC(<ck$a9
z_t;1~8{jVd{hCkGPg?tvgHVhC->X&ctLE#GxYg)<E6htEdR}ItZ#|E;BhlSKftTs2
zz&<79b+tco;Iy#SW)JR{!kad3VB4)JMgZl7S!<y@!p-Grp%0AS&i#R=$In{f60FN#
z+Ed79_Y$zS?lgK_t&gU}xs@6-i7TsI2-Cj}b=U2T8L|Vb(wU+hv^+SnaHlt>*-zP-
z7Rydv*Mb$MSq#WOl(K*Dp0(3Uc<1v!INjURxsKeHOLVZp?bv|rd&im#B@Pa1a$&VU
z+d^_T-K9F9jS5YD%MT9d4PrG;#k>j+=H6Z%%P-KoY5t*cB0kN(WbN5h=s;misaozz
z1XOQ`cd4_zvbWoTe!vEN*g0}{qBtic+2b8rX@)W4T&C5`XdcE5|C(rGCWzKyPngEf
z?@e8JJhL|tbVRPj{d#oaZ~BXYChZl9RjpK^eGH{;DeW9R#Af5qrChE?4`@1N1bTiA
z51zKr>4PzAa;!7Aq3(KeS@%(YtZ`8+{I`S}L0N+70&~)8z2NeFBk$l-(VYn+c66wz
zA17|iWsb$h<Y>cu;eau|b>N%&jWo*wJun1fl;?or4lrRTpRvvsst^JI7T4@FjbtM9
zN5j&|2ejVi{Io)Y3=*|Y3X#$<xq8w#xZAPlF}dNtii8S-=Yo!)q1-w9kTU;i|5rg>
zNiBt2sQ|4uNiCEYt`aDSR5_n8!wejo^nZ?NWve`@9}oG70PeLlUCtqBNXD(gGqYe1
z<EyeH7`p6huWo&@Cjg7YRsDl?joZ89(H<;dW|1?XJ2UXb`>4Ax7-^5E(S&FY<z-m=
z#kTy=GV2#M-FogD&~m!3$+s9kIt;smzdGFOTIE|8p0MbGJ2~LeS*f%2qN@kQQeYEH
zBWInqn4NSzi;B}RswbJN5A%!7NV68`RrClskk0sY6?I$8g_Lg4nG_E6UrOpR$E!2o
zddc2b!@~;OjLfs9_YA{pJymGqdgakLh98M<Lo#4Tj{aR6rDAU#hi>RAf(`i&XW@{u
zbBX7!9dOv%)iz?1)=niI39mRWJh@mDkXJ4l8R=|2E-)1AGMV0-D^RfWd@$0u;rs3R
ziKfw;FX6|gG>!|Rgf0+XK#(T->7{r=$9_zg8In?E#4+6?Yyz)4(ucuPp_dP?`>lCM
zIRtjPu>4PP+1LJ>^DCo8`xn8^${p>f_HzvUMfBE?rk4|&!I+BE7iP#`N!(iCLf!B;
zHtC1nnKd3!Yqfkh`M+SX8qmmnPLe;a(m(nX2433p0;sjm_du?S>jJOo$bSCw@+Js*
z{@hPQyv%&a<EUuBghF7z>Pl*my?iQ!{zrNt0Nh3)fIYnX5ZOWRV6Q4T`E5Xn^y!bL
zj&Ri4#t~YRHB3+5y=*8CZLn2#-y9Chz);iVCc2?Y2&OPkRO2wHy+b%in#+-lhpE=2
znkgc(GmwZ85+q2=ofNWDzC0RIEGJkf@e(2+1{pFKQhDyvN(nZ?RR0_<qC_7$ATtO-
z94b8>aRiiuil)DJN}XeHb~2ru!>BAEk6Jjv!J-^G9yO=}Q&N?(LYVYFbxP#FLnI=E
zRH8_KmqEva239~yrYoQkQ-MEe7|Z*huYG|2OBKThv7{vP8>BB<#Z*#JodXh_pxf6?
z9Xji!nSV{c*z+kjF)Ta1;t}~0scWlH8M(-gbB3ey<I+}itZQY2^oS^b?$3rf+Qpr{
z7MtV0yF-k>wLfbe)9D4mCC2caW{P#Rlb18=K-`k;N+8*KkrFVQR^IWan!qb-#Csu|
zu7M{aAn87C5un(YfBdis8v}Lg2dmpO$-H8|c`hgIC(I-I(zC*)D?!|<ymi7lbs+eb
zaLo+=so897(&XT^8oZSq?yk3D<C9M7bTIm<FYlmRm7ZXegOkaf9`1lj*c9@>fxsA^
zT<ftJF<aqzz4G}(PfsM!q`4Hw)|Z`$^4wZ5Q^)kr%htiMnZXLQIe?F9GP@jPil`X8
zOMVPM?=fK!T2tLzi!X_1cSwgylP>cwk7aIV$j4!I(1!=r%gatRA^fWTHhz&RodTi;
z;bzX5%hJ+J9xI;4SI&QLkutlncS9SA=bn5}RS<41<=|E0>tW?(c8Dn4H|I&OtBM-T
zOz1I@=r__pk8SBbh=%)V@+o#<9?M_<8$t;7yuk&tkHbtIZV<YmN4KvOEpgw}<8*~c
z!{v6w1u_|IGKU(56qS5PdAy94aPPOqtPfG-QWXv!lO(4KI%t6s`ZW}iMy-HT1+BT#
z_`b~z<ofpZ2+0N?882`jacfyssQ9KANxk5avI!gS{xn=X7<Ddn<sQ<-_u%vFSb04*
zzJpQpD6kukit1Eh^w8$76cY1~Z(V!`zmQewS+(+i<G0nk0=uRD4ZrV>ppIOP9Jh2o
zJP4-4r1;O|{Bo;-4uSuv`p>I<c?$0F?VvopiHi4PUR-2Q#4dFtEYuIWIw?+%LXtum
zwtH-Ze&~x>W$qM*(4(kBlE_W(mxqu8!ga{EJ0sdV2X=W$hyl~>k1I%7U>W<81=c69
zR%ym%hUXNdXLPqaO;q0LiZJ^lAaaGofjJx#qtczcQ~a!(1eHT~MLdD~-x(!M(e6+w
z`n#_<Ssl>g?UpW%eIK<R1!<nNx5s@PqoR|_`Q;EGH-2f$*~BIIaNY_-pOO-=S>(xL
z2KTyk!5WZvIs5kW=T6zoMjsipD{R%?fZ;dYq8+<g6ULLR=o>6)CE|o`hzs7JphKyf
zoe0Ok<<A%bpe5$l*8c9ZH96Lv0S<vCBfE6nS<oN#lfkG<*-g{Hp)Ve!E4_Z)Zieb#
z{Ni}sUUa0yAv)KZgQ}RwNp}nk()QsF2R;*ZTCA43#QtOh-V5G{!<RV+4#Stqb)HB-
z$Jr1tc6dh&PXaMd$1gn%3@v@><E6fEekEKeOv{-&YX<F%j|M0BhKns|-llMVRu{Cm
z7k<3*;Dx1TE9bD$W3@&vz@;pX<nnkUIdVBUoACx%3qOHlx0fe8oQ<!6%E@b3v$y;H
z7CY6%oL*cs$#i``=GW0Kj*7izJAJ^`5kAIG(c&Yl+_p1}Jgz%9uAyH!3l4Y-p645h
zX8&;NdNS#h6<uSYdctWZb3%`B0N9rpQW^T^m`U1q1Vq-3hO%|+e--xgKf1j(Et?$@
z{Zq1F=KXvA`;z*<C^r8em1fpI4>BCC1fQMoFNhHQ=V~z(G`oAvoV4=uf(j!ySHsR!
zGtB~PTj_$7qN```FW?Z+I1V)Z&PJPOA$0e+^j@I)-WR|3gSWH&jcfOH0$p2%%F2t0
z$gPR5J%gY7x99tw?}i@}9}fp^J3ahn`LNWjtE1ShvwL}h@3-7-KLK1n0iU(2X^i3i
ziL>YXiMP*pTXvo;zcoHPd9|>Wt;jcl*sz0#XX|f|PhOrbe7B9Ty19pis_t&x>7162
zRB5xlEvAv-y*mfLo(uRFy<9g2Gqb~1uk{?+A9=m!zZ7;?Z~P;h56`b3D=T`}2s3|&
z2TQ*ezCVpvJw5Kce{5er9XV|U_|k8_#MySXy*3U6g5OTQzV7U~d2{|owWVK_eNJ;U
zWTw|W?tKkxdxJ=S3^}~Gd%c~UZ`oaBPOOE!kO=*B?f3}f_vmG{<nmwVxW1fh1!0v=
zL_X|2?YPFCxV}6(d%azZd*8<n?7ba)Ek8F`OmT+#{Vc@<2u0_vJA62Ee%cZ+Vk)nc
z(3H;AUX4G0cm6bk6gsgy{&2Wnue4pQ(muleY`xSIh`-y7M22l0JYOud@$r7meD8f8
zJ>MT!Wau$m3>E+A`3ZRUY+MQWac%HpDbcmu;QKmvEOcT0UMQ_x=fC;BHIB;s(dE6V
zcFJH{`)2xn+rp};sPybALod8qcnkYFpE?>U-8$R6slJ<t{P<h?u!qI16rf@@!|Ty#
z_6_RwQ0dX7UQM&HWNzCZ?6GRz{|QB&qINN4*scB7Q5G{n9OZasUN=oVntU=>->|M#
zQ)Pui)|DYe|34l7c`<3CqtVpre}lqA^K+v(XK1tdB0ZGe4Bel2I)I>0=H^VbJ;tx|
z>KEW7L*buTOqk-0khMDy4uXd~%rmjJUwM4&ecj!D^&c`Hc$cnJPem>9Sj~BUZ1So<
zxgH!hPvzQ>U~IRfQlO;o@N4(v`ZUM`4e9|5vX)n!;v$4K!IYFGN(Hf@-<E`;M1oHy
zsS4a6ACiF$g^+Oms4ER-i&jw@+J~>ds<=;P2>UuAq67mupdhla;2OxlS{cgNPO4?$
zqHLT#Cm>Ek3<*(h21Ud|>qiL;1sn_%7`(P}!j=^7gB%c&gYPH4j=G1-HY`6}C$U>s
zffE8FxTA?jBHE<IP3!5cd9#i+*`)5S3sJ625^44#))Y!d>9sB}W?6;xX|GtHdO@Tg
zu8RP#)XPqFngEC$TbmbH<ymFN%WVol=ir6IYtjdr{rf~$q6X#qerK775s5mLy2eQs
z@R1_YZ7k9vf)f&lne!Ao6|77p>(I5Xk<wZs>)OJRjk+O9@kfrJGX{I7@bQ3=jD}tB
z{?=;<KgTmo@IipOoM2~z=?B8k9_T*9H`rms40p4daoBHMxIC{GE6z2ot{wz%LSp%c
z4*9}h@&e#s4(0m7f$T9azu;gRw}lvg;3D(kc%huuY6;sPOg}N<dIxbp7){4_a7(br
z06DU<VPd>d*as&CeHoIl|3`aY{npmft{o(}yF)2X3ZVpt0>$0EI23nUw1whQpg@p9
z@#0RAQlz-M7m5Yf00BxV(38E-`=0%7&i=l?;3Pk+wXWp8pP5<n%rn=T_1qH?I?-wI
z<~wQx9!6|BlBd(1>M<3l#2@oL9tO69q2e+p5d(vin!2xH*4^~5+7gF!TPV@~jyM4z
zv@{1HtO*YBkL;Wo_oEXYV7Xu*IeX{KZ&%9?AQq9$wEHbS*{Bs_kC`X?>BI#^ChEDz
z1SgereK%3QQOP+$NOblm@Pe-*6AeS0(Fgu&#$fCaKkEipz3K64=RSSxDioOkGxzFC
zrjg5#mIe$GZ!|1K+gdz+y3#m7ddKH0n-g=%{uFMt0{xVqUDM3uEYx$9Pm4mjdXnrr
z^Q-7{+@8C1fe}B|(Uc;VH?X=vV1IBJwHdg26<yV4!HB_UyKm1O@OD`?>Utla-lnPP
zwV6kJr8ZB6{TMKIf&xz~#7OofjUoviY#h{_zi2nDN0<ukR@tV?435TA*=yeP9N<st
zZDxCttnxGySDTXt%;ExSW;tUzoKdNYhP>N+HZ)$i5IQ)Ka{_)00tp{O@aBJKGmB#l
zH_@%`bJa2oE}+!3XV76r=52KR0CW(Y-m<QuPe^&vecy2RG&*$wfFW7!;ZN`@yZpZg
zy&5^?l1KYyQwovJczKR@Az~~TO>GBHarc%psR}FD!P4}ldtfN+AAt%K<1<(d*RYy1
zKBWhA%-9^Rcsf-*{j~W!B~J)NhI1!oHPqeJ$YZej%|{KD(Pmf%Bc7$1J}6iag><?Z
zTINLYD3qOrJIjPv7pf#Bp~j;lMQo*D9((I8Cs@@R{{=OvLX7C;xj<}sd(s#8(GW{g
zaN>(^%FZvO%Ui=^^<?ELLZKNp%a&2q)y>(}fUsAuMuBY@NRUd{3!c4BqRR_`*hsYw
z*}1}cXa)D8=WQyic0cM<_SkN2DH|uIO9cI`JO=~7a>y+VrX`i+iP;5R#p>MvPwN!*
z%MPud%G35uGw|$iTcGcxWm3tWt19Ze9}E=@=*Si)_oRYt3w<B$Br+=c?k+Sh72*XT
z9&64-d!B>{j<%CIj$PAN@eoE2BO0<s*BTO7e(#MCm3fI8p*^-;F&A2sX)q6>5+!FP
z*!Xx{QDxL~ZsCyO&BG6e>Rau>I0xS=IH|=H-HPv=>xkX8ZV&gK{!~3Qm=A0#$wxmJ
zqTX!~M%Pn^RQK|gh-0RV$|^^yPeq@L%A>z{sTN=4H~y|bfX)*3!ORpP0Z7PS852U$
zg|3<6XzSQ^m7#W!oL<JjQPDL=_+s8|+3li1hK)OC%1{LoAHQ12c_67UtV*w!a^gc&
z8s?K-FXk4Tiw@Tg&M*}nYcWW(Hz*^y<6+_O4kk!bJnm4|&z{uX^94cF0wX~52X*MD
zUF!maM%a<##6>4k;)VJt?pJuWI1%q2<L9h-5>+JwWN+vzt-qhr1uIfWU7$m#9j<5R
zgw+y|8E};;Xw%9wxV~f_K3aUa`LdddK$BT!j*nCVv#%<Yu^A#U6`a^Yo{EUQ@=7d?
zUMMtrtcJ+Wvv9G5KB6w@=CyjNQ+)I8E26O|IdP_jTyh@XNixWFa}`J`<w5d}s}aV&
zkF04X(xk~~GC|G*t0M&P^yYi}1&4B};RT1WK^464ZRHh85aD=14{qd-Isp>iaOYX9
zNCW7h3DDxDP^JBE3+HsMCNzA-z;@y%)i`>5ge4sMxY$|D2&sqLD01Ux1!wq%%p2X~
zLvU0MXWRgNPqsCA@_Lb8AL@*kkg;ie$wD`Y7+(oVZ@4a*1_Hp09Lq8=iEL8>+JflT
z-N$gXLrXg(0-qxAMe&Nm6UypM$;qMxs68pcke`T$KjsQ{?W6n^g=@1^?<`{8Vn_<Z
zQ6Qy0Xlx&u8d5l7k*oADDbm)#t^qcg6V!;QF^zMR1m>_a{u6b%XeLc`_)~P0`8wK~
zI0`{na%Yfv*DiA(!G){Zu%MooZEDB#i#BS{#>q{PWFE4RbwlG)x=;(f#80@du~1Ws
zvc5UZ?~dFgqa4~)8q;t$T?x9^slRfz)#l&hsvZWsTi%fAT@Q>LDNwDKBa<A0>q42R
zKNfhX+r+pf`svun?<gE(M#ad6{;U<9oV5cC6}ePC>5gV|8){n!E2p7V`&u+D9}!6Z
z2+^FJhEdNTNB1G;mk*b+J6u$*?jk9zH@MIN^9PC0*_b4ChkACX(__e}M+9Djd{5a2
zH~l6CIS~pabZ52ks2Duc7?%89rCRaR^nu!`7y~fgiQbw0ysmx5B_8>rJr|Tx2}zG7
zH;aE_6;Y%Y?!?UnHQ+cuX?2*tOyZyVlb@kK1E$J#%O>NF8c`+c+bMUT1+_NQEzU>p
zk6GJPAd)a-rmOZfG6l#bHKWsu1C3O~)J%(%UZTd0$XdOg`N+y!Yfq~NIlGQlm%~oV
z;!G;=OOYc?Eu#N6JU&p%tSHBckzUjur_3~P?N+5U%mTMApBa`PGIHpR1sT`K5~y&S
zNl%t?jEMzf!CS}jF(+8yD5Spg#;0cyoykcX$6gKUO=byYo}SARjjCGJ(0%>ZseGWy
zTmL7vWyqN6X+ISE$iD`n)+Py&!<EoAUN>_-H)WPZOhtB*%4xZgt&GM(w-&erC>FK2
zsz2CwlF-M}wwIRV_ZV^vCFOvTW060oN6FEi{H3-y8gx^re*2k((C9)R4Q-L{Ts<3a
z3lg$nbS1u!@r*5mGs)HU>M^m@v^Z`hwXs~bw2MymYKcf)=DM6%gLOCAxO#S?Ky33>
zXj=_ID%Q9FZ^14Ey1;@-wB5X2h$RtR<o8lSA%HzkZ<D%*eY;tn72o@K#(PV=KZpP0
z7M(hO?dvK(CD{Y51sx|d(n$x7!B5asfwEvK9XCQGot1)kFzkktP}j+94lKoA=UQ65
z$|0QL<j?<#O+t{rNl=x14yBKRIC426gHo=Z!S<S1tCcH%S~JN{vvY=QRr9pygg|}N
ziA<1~d=PU|g|^PYIyl0OlewuMH8<SX!@Fv4qC#`vU4DT_<FGcuF?y~*k>kWOT3u!k
zB~iP+>gvGT0z2|)+}N0Wmmmt6LbsFFvzbnz-aMmJ@rG~($=}zo1+J9+to(w~>@?GQ
zi|8VMGwnZW(E=@Q_?(RbQY-eal0y#r4WILo_qHLVKV<giRVyAF`wuZ}Ax@(mCV8df
zG$8>%jBsmfxwNzrj6Q0lHvbIOpL}OL?rKv#@NoybQB`Y)6`8P_>+`rcZ696^<N9sA
zhmQ>Nv!5Y`Oz~N<fJCg&v}08Jsbn-Z7NSDE(Ss)#8p`qPyfqZJ*cuE=g;54j`%xzq
zWZ#S4>1EA|Na|5xHAeU+Gk_9jMi0c16?>lstKaq!#LG?rZP)JKP;c|ALnvd8EBri^
z4zySzAvZv8eAf4AUp{RE*(D6~M?QUCK-aX%R+&Trd)G$s*f8N<04cIN5M4dnoASd8
z99t_fyA^)aO1P;d0SG;>;yjkYv*1tLy=+L|VnKw&t08@>7rVGPxFk<VsjrM*%rA5$
z!#IH#(mSZ4VVuC6Ju<8;iqER_l8|LEV2tov2MOzYcoL>2%lp^~6tEvDi~ffWkJ;}F
z-Pbv-)f_T!cp$)`>bLe1F=t~=br9&LsaCF+Su!xSh+U0Sh+8YEkgCjYeHf72+S!>z
zhQZ#P+&&<T0>m?oL<Ddn&7pOw7$VJKKFtoEYaJ=XRGCJ5FfQg~w&ht&Ri@P(!;Nwx
zZmU*q__j-mWmT>YA$^9!8)=EwX}$+kfh;3p>HY*0=jUewL288P=O1j&fU%Wgz1pKr
zvKSh=bBY!&`-qfE-S^pkS^k+&MO?MaGZi+ZVZP2-O(Zt*>10vsQ~}bi%z6Xoq7bZ?
z$tNZ+W8M!BFr=bhq+yxH6!5Y!PFsa3GLP@U5I;q5K3eCGWdSH1mR-!qSiU$KDDj(7
z)kzj>{R6s;aD2-vmRRe|Ly`VLA-+C&?0A%J;cZqk207tva@wp261rdNiH|hR<|fe`
zr<TyzDuSW<0@VnrKupi1kvh$<@kiPtPS<+6_Q9+frv|N0Wn`4L$#1#1ARSZnKA4&|
zD+lvy%h@5I41rol8ug+x+X!tS-i51~`;<S~g=@Anvi+$<<=QeCm*12+z$p|yDwk(a
z2K~{u7Riq?KGn8|k#=+10;z_?tJxhSV!-3oGsrQ+#w@YAmE|L*3O1Y~vMA5!-1TVU
zJkH4?HO619eM(GF*_KGH?F==I0yK%&6>ETOH4zM@tP|I28Fp7_M1S5-zQB+<o~f2R
zG@HukGTVW<k))iw#fu2OwM|e9P;eN|4?Vile4Wd(Z!I2k-8LYco5ZIaAD!<k_X<y(
z7pcjz*jMpKc$hfXVhG-(uTeR&5opGhY*Y>p(H=BG>}MklYp%^oAl;{)TQqg`^;Br#
zo;WX;pG<kWi`1YU>&4W@lx>7E5N~upA2v`B<r5q85TDgSU$?A87!_Ho%gBPsmY?jQ
z#Z0kw6_U3ag1YmAdMXhBQ%6+Y@4yW$sO{^IAM;p-CpeSl-H?yr)1O9q!;)K0u!mr+
zo(=%b?2}H|<6mifsnq)<;E}ZOGp!lhhgCtRjYa$ox@mEr?|>jnb5~!bDYoEz-hj4f
z-yMT_KW)#}0KIGD-34%B1&U0%+tn6NrGlk8ty$rW1IPL*pzBNfdWxz9a=Nz88|aG4
z0p@)|jf{BWPQ715oQQwXst?9akcWRe`BF{+N>r*{C)Y*RUtA@eQ-Th}>bvcKrtUD8
zi^J2Da$q!=Z&p4$n*T(`cTvLf?zz@OoHp^8&!0KYr!<rN{bUzUXg&OEpt)vP;}al|
z;#zX+!zn!nm*WL+iVD<vO8!|jT53sx7l9Z)YjmpUC*t{o;6n7tr*;v~6Yb^f=G^F$
zt7<0By==X#{rQ>`9}B8XRw#}}7<4pPL{E;SvCt?_9Wp3t3-Z1>=p=a$@+1Dn7Hl<i
zi7GHvu{(r8o<VFXa;Khgg`Wi(rQY{|jLukh56>Vy&>_^|!wV!BG;7^m-uXuXjY<?&
zQEnVvx?=}0q--By7-YOwW%wFbseM<u+aHluiZpmFRDH1zfwGwG_eac!URXG2OJb;c
zyZJp{oN?xp^wq9=uB@hAR5->Zqlp^91N0j-I?$R~|CvQbqkP5#wCx^78j_{UHt=^r
z<sg9rZJ&h+-PqWlRM-$#JB)0W-<IP=V^a-@@d`Uh#GH)bwjn#apHCL^&kvMHW6@VF
zzCfm6X84#OJ<n^#L^~j2CD$p~KBmbNr}(NAyWZUIbSt2qIOqGi#z4W`GY7RNj<T7I
zO7uaQGk0XG@`0X_l6eW*>Yum*3i~(DEVA+-0BiVL0yhxkM(C|^0!_7+d$n7C!o+jF
zpd&n~8DZWP6r$(y_EEvoZJT!jSMW^IT&JxyE)mAKI1&W0g?3oTP)ArqLJ^i;PYB0F
zD38U{@W)tGsvIp#o+qn9v6@GUTn)vIW5Nljsxg|Hr0EkUlVo`@9BZ~=65c4JTx3!m
z7Eix9z}LRIQREqtri-UskfJx%G5ypr&&48nK**tLe`Oz|Y5S9RpCvCdU9-LJD=v~f
zhxX>jC^K0O7fRmtmLp=%n_|@PwtBslUD`pI{A^lnhZg2%JkkMR?(-Y8C1g@9HJryC
z0pz?B2n=<lDERbFdpO-pwTeH68YMZ#!*Jg^4UbW+`D2|GCF{ot;7E?}DmK+-QoiU+
zka^uR>G1bZ?N%wwoRM#X#&#7GD9OyTMvsR$L~W5J)3p`hd3}WUC0OZ#`=|zkEWI<R
zxgxg@*M)J0Eu%<g@sXGsL4uINDecoal81A0S*S^q<y5d2pU|j=rly=)dq(euTnoi+
zQ&{DH4#hmEJ=DQF#aXqyp?S_HATq>%9(qvReR^}+Dgoz-Z&5%z+`nj9b>%{A>|G)*
zPtIy2;e@=$zZ>Kks4+9c*%()Xex802dvav{8u{>2?A-iNz3+7SZvFC1SUkO9r~B^w
zy8hN9;OAE0Yl*hZ(U&`szn2-C401FQei-mBCI4JnUph=~);O%sba`^=vJ`aFi{*tF
zIiYh~61J{!Nwo}b>~C^vb_tMkt#OHH9BHIRDO|lQUI=kP&<{Dcc&yzvy5V6iMf`fa
zwEfDkaMhP%)Otv@{Go${!1*HBeBd%2uUFBEmv5Z2zA^y&`I7AOJeL%g08YQRbPuC&
z<I2O9xCshQVV@y|TQNBct5i{av1rp!R);=((n()G8~qHA04&Bh%E%%SU44I7Cuih;
z7a#&3GdvErF8e!i3Upq0nMhIxn9=1FS!wPyzxwfnhL=E7N4$i(zcCg~mmL`S?p1%j
z`?Z$LK>ImyaU<*s;s&z!qYG%hWlgQi&eVS8;`va5H(mpwVwvGFg*YqK$>FF;TRJpJ
zch}=>dO(d?FZ?79HsP7?@y@<A@UB8{>{Q%_eZOlfMwF0PKW0ORwbyl{pZu9epy)*(
zCHZANHw}`_YbP#sn2-A<_ZM(ldHsUpy9ET&GVPbem=EsAvTl1D^T%&YucRQY%wE-B
zC?%#Me?H`rXrkm)*yufVIQE$jVH}sa#F=<(tjgF>ii-KQZMV+7Of!_x=eyaqVY=Z=
z{D#rMimKsrldP~4Ive-~H-DwNv~b{Ip|@?(#S4B<=>S5LytI-xN&`HEs>mj1W3=io
zTk0yAPkul>4C{dGq#GZ;%cjIEGQx4>3`f`Su*j&H)*oH?+_qQ*-hZ(nT)41gf|K=3
zjq{Q`f9=ubSklvt>tGnf6~52$QBG|`P^lM*E>Tik3{J{UbHgo_Xj1LTrc@|tPLsi9
z7T+_`(;a9Q-CHV`vKk+LsB7B$jfFNYO`*h<&dXJZ0_XPG)^~Nsyq(LG*{2&^J1@gY
z;*eOQSbL*HXDtea62D){{PCDG?e7hQ!^_Yd&97qW$&lQ3<_99#xks70;SvVy_P@$y
zYIn9`O$0o?tp-N-4O2Fi<(N2-|G~6Z(5Uyup>{vt{YANx=ZEpid~Qh9ju-L{A3bQ;
zxqKbj(fsI$=b%~1FT<Tpf_JrDFTi!xC;rbf)5&&vnz%H#)%{G6@Qq8U?SmcbtML<u
z)dP>;o_7fb0iwQNt~`a0e|z|fxaBM^5BvFie=j4+&$RloA90uc+P?4j#V@}f@THBN
zHiw_}0g&R}`3>8f{#!ef_>DV{C#~0CUyFVikF@*6D>Iw6d}(QibK4gr&Oos35R5j=
z=(AH@O<5#U#BQ?GwlrLPG~B)S`q!6k)t0w{#s>=gj4O-`3~SZD>t4OSo&TEf`*x{!
z{nYAa$$WL38Fo8z(bJUm3b`P|IIbso^A)*f^bgXQ-srm%Gsp#}H^_J9iIHlmHg49M
zo^I}5yw+}>w*S%v|348`WYfJ(UUi!W6ZNkqUNM3s@uPc`=HeeY@=G@{v$3f`uzGOM
z4o#d=7dqQPxIwocK8_mmJz)9zy*lA*yV&>`<8X+0@Qa~ck+|+Cl8G+G!g;T20dtIE
zsPLxoS(knKGzFc+xY^f?XfE=;t~dd5L*2C~c89bWM|Ghny`gkcT8?JiR}q(;V%940
zEA>wL9v<WK9Z4LbmaI%^bRq}A(gGxV6r8<L6^<t708T10%@Fy182I^kGghNFFU5Ic
z+laQM$xk7dt>aIHR3X-v1v=JN(-2Fq@53k8)|a=}h_WEZT<>{q6iB90VtyBD9dZeW
z^2(H3tb|no&WphHECjLVd?<gjIVXg6m`P3R^u^I&^$zuo5u5>^k%&T=CUdI{6!+3?
z&^GVx#H0hi8E0^^f7X*&RU_FRa9r2&W?5#5iaX1W!H|Kg6T6)2+zI^MckSdG(8u@a
z2Tc9V&BWdKRuJV28jyI2>o*Mi@l>)~--!7)EbZ%i;B3>)rBfKQ`4lJ`_KE4tE~DSh
z0isk4f9<U%S^~!a3lCN929YFlM5&8I64>{8a%>VlquJb!d4)C99x<7})&EToxqkKR
zLBIc!m8F^cQBcMq_CLA8{EB|8I?@fKH~;|l|6XBrM+$R#+j{EQdVBw&(8+u6nvciI
z!S&Es!;M6mET~1rsj}}})7m=UN*FRZGcg4*OGIOuaK<SOV0utbw195-Nz;k2597%j
zhSo)=TcW;D#$ZAVE7;&AsV~WD=5ir)nKf3*Wa|Cs*zwrS_V};S%q9d|aySUOE&$Dq
zuO+~L8(I@n3QY<Xz_NT6`9c*Jw#4;;FhnEc7A1V^*^VZWbnvvFOI7eVZEh5E6qU*q
zdEeOvZio@Ngq(j9$#urNCfL%~5Nqd!3dd*(%G5p7+$AiRE1u?t=eBe}3Z~3=xpb#5
z@<KuZk_nQl*#g8*cGtF;H?Mj(1k4^_M9^OdUP@#QwXzUXtS!wXY-s_u5|eRGrQnGZ
zeO@BO@FCXXwrIshrA)D`Ae=td2}}ypAiR?uY^g+6s#5(70I=SAg*}_eg7-9j{;~gE
z?y7e7MY2WI0kFDR`N3l61A`hH%obX+9QqG$ZJzDlsbL%j=IH!fG;4>2*%ghV2GHbi
zqc&de+a&VZae0)(<9x=ZXELvG$%37Rg$Iimspp@J0qoZN`K6qkjR&a9*&*0I3(E5>
zy`8e>&sz#W+N>wkK)mth7J2Jvpf4sU2Rwsai(ps_qv!#_1RWQ>b%Lpm{e^)}o9};z
z05%5C$J{H^8A1-sMr<ET4=EjGJ_a{Hp34h;3qHqDu*EyAkbLxd^n5h^xPsQG6?}|V
z_6}2Fbxh}oe&-D>+Ue)jNSif+hp~W?LVmZ=Itd2ax+TW%-MX@J&_Y(C5&SO<!<P8;
zG&Dr+cEOR@{NPRBv(q&^cZ@0^n#c`t*o#@e-;*{>`A2(>T0h(<e$a~ymdsjZdES~B
z3z&bhoWh)?cj?eLNipUoKdEW~uT(%@1aU7fx*pXF(t|-?OPiSu?~1D#6EJ62XE2zq
zY}W8@B+>YrjvuWAotz}DnuYh5?krw@EH(qt%+lDt@YxF2=M+9?rbxj=wVH$)FFkVN
zR%+07UEuCG3q^Sb7e*@pyOZMP<Q@=9@yf~>!13?k?YRmjT|PiUjKGfbqAk?;L`QEA
z5&&t5FV5^6H%EksGavW^Pfa&4vfz_~T^&~qA<YV{Z^S+|+4`duad!-!RFtV8QC^uh
zW8ZIGR`qso8UHal@sV$G<RYV!3eqi!{xdpRy1V~ha6&fOzdj$5J6)IlP=!akB#3~=
zeQ@Q7kkYR$r1dwf1t_&_bPU!%(oIE=7D$q~wWocN^|E+b@vf&j0m@RHkTvT6cF@;g
z`#>+zZnwVrt<%uW-N_M5Cz}=3;LQcW@J$%!SAF>Epy@fvLuyrOlh3-_kF*xB61`*T
zKavl}r!4jpL`^SXna|5_#La8ai;|?td9a=+?s8S|bUCMM#AjyT&DWp#uc;75>R4E?
zN=915VZb<NvnD6m&2=s>N+y+S$yle4v?S$Z*!2`^RkzGSdmqu3(>OonG{ZTgurypG
zP*qjFtl!g0PB3~L<m-~=cS%b^AZ)uL16hlzjcDYgwx%VKyO{3ppJCQc3ZX56QSk(%
z)&4A*vqr<*i3{yS@9GkPb-wF8FIbWO7(`T^*7LBtM{FIk3l6y@=etsL6Yih<*<)b$
z{Y@ywLtL-=3sZm(Y>Muc&@ta~Waw9vt{t@;%B}YBD01_$KvFO1m9wM*+hpF>Q_Dj{
zp!#$paNgp=`Ba}Od$jvpXy)2cFOcI(4&<oadV_jF`R_o3g8B$4`uxxPvHbfk{`>e3
zyR&Gj{GH(MJ4O5(_{Xsr=_>!RZ^V7z-_`T~6F7p*;`)DU>EGwMFRA_)({JRKGxr46
z?}P6vVgCgV$NdxhzjU$hGu%(}{EJ~9^grhRe@UPB3Ge5z{Y7XD{*&;2R@;4o`$+_U
z5ikh-cb)zxrQkmF{;OSoLA#~zSLUx5z3#L8eJ1}G2XdE$X8^$en%Ccl-=F>bMZjwQ
wXCdy*eg1JSbf5I^<M&^b0KjLf|0vVHMsrOSAhHhv0C>nR8?qb6+x~I&Un033LI3~&

diff --git a/docs/cf_FunctionalRequirements.csv b/docs/cf_FunctionalRequirements.csv
index 7c5e4b36..98453a2a 100644
--- a/docs/cf_FunctionalRequirements.csv
+++ b/docs/cf_FunctionalRequirements.csv
@@ -9,15 +9,14 @@ CF1004.2,CF1004.2,"When CF rejects a command, CF shall issue a ""Command Rejecte
 CF2000,CF2000,"When CF receives a CFDP receive-file protocol-directive PDU, CF shall process the file transfer request according to the directive-specified CFDP Mode, ""Unacknowledged"" Class-1 Service or ""Acknowledged"" Class-2 Service. ",Basic file transfer function that specifies the CFDP classes that shall be implemented.
 CF2001,CF2001,CF shall extract uplinked CFDP PDUs from cFE-SB messages.,CF application is a cFS compliant component that must implement the cFS architectural patterns
 CF2002,CF2002,CF shall extract file data from File-Data PDUs and reconstruct an identical copy of the extracted file from the meta-data-specified directory.,Basic CFDP function with fault handling defined in sub requirements
-CF2002.1,CF2002.1,"If CF detects that a ""fault"" has occurred, CF shall cancel the transaction and issue an ""Error"" cFE event message.","For robust and secure operations, errors in execution must be detected and handled with appropriate constraints on resource use and state machine  iterations"
+CF2002.1,CF2002.1,"If CF detects that a ""fault"" has occurred, CF shall close out the transaction and issue an ""Error"" cFE event message.","For robust and secure operations, errors in execution must be detected and handled with appropriate constraints on resource use and state machine iterations.  ""Close out"" is intentionally vague since the action needs to be appropriate for the transmission class.  As long as the transaction doesn't hang and become stale the requirement is met.  Note ""cancel"" is overly specific, there's a cancel transaction command that is different than what is done here."
 CF2002.1.2,CF2002.1.2,"CF shall detect the following scenarios and identify them as faults:
 1. Positive Ack Limit Reached
 2. Filestore Rejection
 3. File-CRC Mismatch Failure
 4. File-Size Error
 5. NAK Limit Reached
-6. Inactivity Limit Reached
-7. Suspend Request Received""","CF2002.1, CFDP-1S-18 Filestore procedures 4.9"
+6. Inactivity Limit Reached",Fault scenarios explicitly listed and tested for specification compliance.
 CF3000,CF3000,"When CF receives a ""Transfer File"" command, CF shall play back the file indicated by the command-specified: filename, source path, destination path, keep/delete flag, service class, priority, channel, and peer-entity id. ","Also referred to as ""playback file"" command. Basic function of file transfer required to operate cFS flight systems. "
 CF3000.1,CF3000.1,"When CF receives a ""Transfer File"" command, if the command-specified is open, CF reject the command.",Open files are in a uncertain state and may change during transfer potential containing erroneous data or cause other undefined behaviors
 CF3000.3,CF3000.3,"When CF receives a ""Transfer File"" command, if the command-specified file is not found, CF shall reject the command.","For robust and secure operations, command must be validated prior to execution. Provides operational interface as to why the command was not executed."
@@ -42,25 +41,26 @@ CF3009,CF3009,The CF channel playback-pending-queue depth shall be configurable.
 CF3010,CF3010,The CF file-transfer history-queue depth shall be configurable.,Operational interface to support user knowledge of which files have been transferred and in what order. 
 CF4000,CF4000,The number of CF channels shall be defined by a CF configuration table.,Table-defined configurations support cFS architecture goals of scalability and reconfiguration of mission variability points
 CF4000.1,CF4000.1,CF-channel parameters shall be defined by a CF configuration table.,Table-defined configurations support cFS architecture goals of scalability and reconfiguration of mission variability points
-CF4000.1.1,CF4000.1.1,"The ""CF Channel Configuration Table"" shall define the following parameters:
--- Channel parameters (repeated for each playback channel)
-1. Dequeue Enable 
-2. Downlink PDU MID
-3. Pending Queue Depth
-4. History Queue Depth
-5. Channel Name
-6. Handshake Semaphore Name
--- Polling Directory Parameters (repeated for each polling directory)
-7. Enable State
-8. CFDP Class
-9. Priority
-10. Source Path
-11. Destination Path
-12. Preserve file
-13. Peer Entity Id
--- Input channel parameters (repeated for each input channel)
-14. Input PDU MID
-15. Class 2 Uplink Response Channel ","Playback/output channels are defined as paths to a destination. Each path has a separate configuration space with parameters for priority, bandwidth throttling, peer entity ID, Handshake Semaphore Name (mechanism for PDU Output rate), etc."
+CF4000.1.1,CF4000.1.1,"The ""CF Configuration Table"" shall include the following parameters:
+-- Engine parameter(s)
+1. Local entity ID
+-- Channel parameters (per-channel)
+2. Dequeue Enable 
+3. Transmit PDU MID
+4. Receive PDU MID
+5. Handshake Semaphore Name
+6. Acknowledge timer limit
+7. Non-acknowledge timer limit
+8. Acknowledge retry limit
+9. Non-acknowledge retry limit
+10. Inactivity timer limit
+-- Polling Directory Parameters (per-polling directory)
+11. Enable State
+12. CFDP Class
+13. Priority
+14. Source Path
+15. Destination Path
+16. Peer Entity Id","Engine, channel, and polling directory configuration parameters for operational flexibility."
 CF4000.2,CF4000.2,Each CF channel shall have a dedicated and independent pending queue. ,"Playback channels should be independent to avoid one channels from stalling another channel.
 
 The channel dictates the SB MsgId / Apid that the playback data PDUs will be generated with. Separate queues also helps when the one channel is throttled - e.g. if there are two channels and one is slow and one is faster, a playback requests to the slow channel may block the faster channel if they shared a single pending queue."
@@ -124,7 +124,7 @@ CF5022.1,CF5022.1,"When CF receives a ""De-Queue File"" command, if the command-
 CF5023,CF5023,"The maximum number of transmissions, that is, the sum of simultaneous transmit and receive transactions, shall be defined at compile time.",Supports scaling resource use for mission variability
 CF5024,CF5024,"When CF receives a file-transfer request, if the requested file's size is larger than 2^32 bytes, CF shall reject the request and issue an error event message.",Constrain resources use and exclude implementation complexity of CCSDS  Large-file-size header extensions. CFDP-1S-01
 CF5030,CF5030,Each CF output channel shall have 256 file-transfer priority levels.,Priority levels are used to control the order of file transfer PDUs within a channel. Priority levels allow the control of PDU interleaving in a output channel and prevent a lower-priority transfer from blocking a high-priority operational transfer. 256 priority levels provide a high-level of granularity in the compact space of 1 byte.
-CF5030.1,CF5030.1,The CF file-transfer priority levels shall be configurable.,Allow for flexibility in configuration and operation.
+CF5030.1,CF5030.1,The CF file transmission priority level for each polling directory shall be configurable.,Supports management of priorities for each polling directory.  Commanded transfers (single file or playback directory) use the priority level contained in the command.
 CF5030.2,CF5030.2,The highest file-transfer priority level shall be zero.,Standardized interface. If the number of levels increases or decreases the highest priority will always be the same
 CF5031,CF5031,CF shall send NAK re-transmissions in the order received at the same priority as the NAK-targeted file,PDU re-transmission priority should be the same as the original request. To not do so would allow a form of priority inversion where a large number of NAKs on a lower priority transfer would suppress re-transmission of higher priority transfers.
 CF5040,CF5040,"CF shall support CFDP file transfers in ""Unacknowledged""(Class-1) Service Mode.","Basic file transfer function. Unacknowledged Mode, also called unreliable mode, is used for non-critical data or operations without bi-directional data paths."
@@ -132,21 +132,18 @@ CF5041,CF5041,"CF shall support CFDP file transfer in ""Acknowledged"" (Class-2)
 CF6000,CF6000,"The CF Housekeeping message shall include
 1. Command Counter
 2. Command Error Counter
-3. Playback-Pending Queue State
--- Per-Channel HouseKeeping Entries (repeated for each channel) --
-4. Number of files on Playback-Pending Queue
+-- Per-Channel HouseKeeping Entries
+4. Number of transactions on the various queues
 5. Frozen Status
 6. Number of Valid PDUs Received
 7. Number of Receive-Transaction Errors
 8. Number of Sent PDUs 
-9. Number of Ack Timer-Limit Faults
-10. Number of NAK Timer-Limit Faults
+9. Number of Ack Limit Faults
+10. Number of NAK Limit Faults
 11. Number of Inactivity Timer-Limit Faults
 12. Number of CRC Mismatch Faults
-13. Number of Filestore Rejection Faults
-14. Number of Filesize Error Faults
-15. Number of Cancel Request Faults
-",Operator interface that provides detailed status on operational state
+13. Number of Filestore Rejection Faults (can be split by type)
+14. Number of Filesize Mismatch Faults",Operator interface that provides detailed status on operational state
 CF7000,CF7000,"When CF is initialized, CF shall initialize the following data as specified below:
 1. Command Counter = 0
 2. Command Error Counter = 0
@@ -166,6 +163,6 @@ CF7000,CF7000,"When CF is initialized, CF shall initialize the following data as
 15. Number of Cancel Request Faults = 0",All variable must be set to a known valid state on initialization to support reliable functioning
 CF7001,CF7001,"When CF is initialized, CF shall load valid CF Configuration Tables.",All variables must be set to a known valid state on initialization to support reliable functioning. Table interface supports operational reconfiguration of CF functions.
 CF7001.1,CF7001.1,"If a CF Configuration Table fails validation, CF shall issue an error cFE event message and exit.",Support constraints for security checks and resource utilization. Without a valid configuration CF can not initialize to a functional state. 
-CF7001.1.1,CF7001.1.1,CF shall validate all parameters in CF configuration tables,Support constraints for security checks and resource utilization. Without a valid configuration CF can not initialize to a functional state. This is a critical failure that can not be corrected using a file upload. 
+CF7001.1.1,CF7001.1.1,CF shall validate CF configuration table parameters.,Support constraints for security checks and resource utilization. Without a valid configuration CF can not initialize to a functional state.  Specific content validation is implementation defined.
 CF8000,CF8000,"When CF receives an ""Initialize Engine"" command, CF shall enable the CFDP engine and re-load its configuration.",Supports operator interface to disable operations due to misconfiguration and other faults
 CF8001,CF8001,"When CF receives a ""Disable Engine"" command, CF shall disable the CFDP engine and reset its state.",Supports operator interface to disable operations due to misconfiguration and other faults

From 2d22a18949a995d6dd215ddf50eece15d0e94111 Mon Sep 17 00:00:00 2001
From: Jacob Hageman <jacob.hageman@nasa.gov>
Date: Tue, 24 May 2022 14:33:50 -0600
Subject: [PATCH 2/3] Part #120, Remove duplicate item from CF5002 requirements

---
 docs/cf_FunctionalRequirements.csv | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/docs/cf_FunctionalRequirements.csv b/docs/cf_FunctionalRequirements.csv
index 98453a2a..64547ee3 100644
--- a/docs/cf_FunctionalRequirements.csv
+++ b/docs/cf_FunctionalRequirements.csv
@@ -77,17 +77,15 @@ CF5002,CF5002,"The following parameters shall be configurable by a CF command:
 1. CFDP channel Ack-Timer Value (seconds)
 2. CFDP channel NAK-Timer Value (seconds)  
 3. CFDP channel Inactivity-Timeout Value (seconds) 
-4. CFDP channel Ack-Timer Value (seconds) 
-5. CFDP channel Maximum Ack Timeouts (integer counts)
-6. CFDP channel Maximum NAK Timeouts (integer counts)","Operational interface to support mission variability and reconfiguration
+4. CFDP channel Maximum Ack Timeouts (integer counts)
+5. CFDP channel Maximum NAK Timeouts (integer counts)","Operational interface to support mission variability and reconfiguration
 "
 CF5002.1,CF5002.1,"The default values for the CFDP channel protocol parameters below shall be defined by a CF Configuration Table:
 1. CFDP channel Ack-Timer Value (seconds)
 2. CFDP channel NAK-Timer Value (seconds)  
 3. CFDP channel Inactivity-Timeout Value (seconds) 
-4. CFDP channel Ack-Timer Value (seconds) 
-5. CFDP channel Maximum Ack Timeouts (integer counts)
-6. CFDP channel Maximum NAK Timeouts (integer counts)",Ensure CF starts in a known and valid operational state
+4. CFDP channel Maximum Ack Timeouts (integer counts)
+5. CFDP channel Maximum NAK Timeouts (integer counts)",Ensure CF starts in a known and valid operational state
 CF5002.2,CF5002.2,"When CF receives a ""Set CFDP Channel Protocol Configuration"" command, CF shall set the command-specified parameter to the command-specified value and issue a cFE event message that confirms the change. ",Operational Interface
 CF5002.3,CF5002.3,"When CF receives a ""Set CFDP Channel Protocol Configuration"" command,  if the command-specified parameter is invalid, CF shall reject the command.  ",Command validity check for robust operation
 CF5002.4,CF5002.4,"When CF receives a ""Set CFDP Channel Protocol Configuration"" command,  if the command-specified parameter *value* is invalid, CF shall reject the command.",Command validity check for robust operation

From a9f9f506f4a49d7587ab1a4f77d05e523bd8dedb Mon Sep 17 00:00:00 2001
From: Jacob Hageman <jacob.hageman@nasa.gov>
Date: Wed, 25 May 2022 11:58:37 -0600
Subject: [PATCH 3/3] Fix #121, Clarify CF6000 and CF7000 HK elements

---
 docs/cf_FunctionalRequirements.csv | 22 +++-------------------
 1 file changed, 3 insertions(+), 19 deletions(-)

diff --git a/docs/cf_FunctionalRequirements.csv b/docs/cf_FunctionalRequirements.csv
index 64547ee3..aa713b11 100644
--- a/docs/cf_FunctionalRequirements.csv
+++ b/docs/cf_FunctionalRequirements.csv
@@ -136,29 +136,13 @@ CF6000,CF6000,"The CF Housekeeping message shall include
 6. Number of Valid PDUs Received
 7. Number of Receive-Transaction Errors
 8. Number of Sent PDUs 
-9. Number of Ack Limit Faults
-10. Number of NAK Limit Faults
+9. Number of Acknowledge Retry Limit Exceeded Faults
+10. Number of Non-Acknowledge Retry Limit Exceeded Faults
 11. Number of Inactivity Timer-Limit Faults
 12. Number of CRC Mismatch Faults
 13. Number of Filestore Rejection Faults (can be split by type)
 14. Number of Filesize Mismatch Faults",Operator interface that provides detailed status on operational state
-CF7000,CF7000,"When CF is initialized, CF shall initialize the following data as specified below:
-1. Command Counter = 0
-2. Command Error Counter = 0
-3. Playback-Pending Queue State = enabled
--- Per-Channel HK Entries (repeated for each channel) --
-4. Number of files on Playback-Pending Queue = 0
-5. Frozen Status = ""thawed""
-6. Number of Valid PDUs Received = 0
-7. Number of Receive-Transaction Errors = 0
-8. Number of Sent PDUs = 0
-9. Number of Ack Timer-Limit Faults = 0
-10. Number of NAK Timer-Limit Faults = 0
-11. Number of Inactivity Timer-Limit Faults = 0
-12. Number of CRC Mismatch Faults = 0
-13. Number of Filestore Rejection Faults = 0
-14. Number of Filesize Error Faults = 0
-15. Number of Cancel Request Faults = 0",All variable must be set to a known valid state on initialization to support reliable functioning
+CF7000,CF7000,"When CF is initialized, CF shall initialize the the housekeeping counters/numbers to zero and the frozen status as ""thawed"".",All variable must be set to a known valid state on initialization to support reliable functioning
 CF7001,CF7001,"When CF is initialized, CF shall load valid CF Configuration Tables.",All variables must be set to a known valid state on initialization to support reliable functioning. Table interface supports operational reconfiguration of CF functions.
 CF7001.1,CF7001.1,"If a CF Configuration Table fails validation, CF shall issue an error cFE event message and exit.",Support constraints for security checks and resource utilization. Without a valid configuration CF can not initialize to a functional state. 
 CF7001.1.1,CF7001.1.1,CF shall validate CF configuration table parameters.,Support constraints for security checks and resource utilization. Without a valid configuration CF can not initialize to a functional state.  Specific content validation is implementation defined.