From dfcf9417150526eac9dba7301c260f2a7825fc5b Mon Sep 17 00:00:00 2001 From: Anthony Date: Wed, 21 Feb 2024 18:19:48 +0000 Subject: [PATCH] feat(proposal): written plan in a better way --- pub/proposal/proposal.pdf | Bin 174432 -> 174598 bytes pub/proposal/proposal.tex | 33 ++++++++++++++++----------------- 2 files changed, 16 insertions(+), 17 deletions(-) diff --git a/pub/proposal/proposal.pdf b/pub/proposal/proposal.pdf index ad771c27ce44fb75ffe981372dee2a32be907fb6..4307168b2c52f279e9d9bca9e707ed33ef2f0d9e 100644 GIT binary patch delta 13933 zcmaiaV{oTI_hpP<>`XMVJ+W=unAn(Dzu2~I+qP{R6Whto`|j5N!`4=9^_O$|+)nwSjlYVLI+U#!v&2{*lGe&C^D?fJL$5c%XviSR1 zD&K6;u)fT>RdNItteZ;-_Us#99pRwwn-$R$Eyg`ROrf+)8e|XhANZZ0dCRvtdvxnq zXzB^2^R1*+HNAR@G!d7Lm+>=C?;7)6ceoi#X@$N&w_AfN zg+o+UU)oJ`u6i{cuuHx&I;vegx2i3=HqrpR&$H`>5FzD-4}D<|-uLD$6*MuJo3h>C zGW5doLD^P3wjWQoP>qT34tKu0Z~&i|+(tEs4Cw3uBBw zW1pw~19FSy(vot+oJ|Ke8gfn7k%ZR+q#K6VNf!e<(+%N`v&kLi|qQRIJ-HR+9Fsr;`>6ahgt#@3D2bDKO(lSn9I=< z{rv0AM`{6&Fhu(VZK$|O4h6#rzr~TDnU_^are;3tPU4!)7zXyoi9kLBxCaRyYJs(Lmfr$2t3Un|&43E=8JBDUXl}I3@lV=ls6cn`S}a3Gu}`gfO98 zeQe!`<2LHS^y~6jwdW%uH;*2QqqEc;tu?hI@KhrGMkJgEf<)?r1%i<}1xt6klE6)W z^=7|-XP}pJbe0+;(<4$z&}-Ap>xc7<%?EwwS&2@z0-}N%@?vhyf;5vHNo7CzK}$6H z{d$LBuT9B9#|m<{r9{$|$@4or1<&zyO-E>Ie@2m_xQ5^#Ks3v92nsGtYmz{~D%`d2 z7ZA=wa6*Lw>6p;pJ2SW@e2Y$LzyBu?S@cP zG9NICDBQfytFE&gODcnPBC;Y2uP!CVLS@PM$GUndi;PS&uf;*v+l$Th_*WTNCFjuM zS_Sw8G*6hWTn{rxa9K%--QfYGe=>)>){F|W*XWsmV`%q5brKSUl(GSFnEHgL^&U84 z5_CR8-NxuYgiN0;ccMY1b8DZ4HlxnVAYknnH zti;whgr-TbQG__eEHhp#nE~>u`@J`R{8nTtnp3xB{iOACm1y8b_;WA^7Ia`r=R~k^ zF}-~U6o#Z2rKaG~yQQE79GBAGBIsW1&WMBBp~rV%3?2nyP#y*Rt}yfm13+&)9o$Hv zZ;Dt`7SQ+)6A>*x0iOVH*+4uhx0OT z%i~|$LI)|_hj(8&Zagl^sPCq+i^>Gr7}8h3AxQ<1aIB)CY;ppRe3>wSf-44 z#?*MbEdKo9S}n+#DaxXJ&T*K9Kj}2^H8P=#g8S=zH?yq={X@;o)sAmI#6L27(&g)B*bO1_@eWSHl3)>jD_(nxN^Y-G;n0O3WadMU63t)LNg$(3epSm zfaOs&GVJUs(_4PjeP(vgA8X^OEO=?4R~;$+*alnBOIO^{<2o)VB^SiuqYQ5)58V;v zOJm_l`AwXIj~n0-gq&itEt}fYOxtZiK>TYj_Q*`EK}opAxTAQ*=0*qfL{Je%{YC67 zCw1hpCxs&vL<1DP*;zT(15D!f;hjSW>0;ji*hh8bi9Jfgqj6W30R_hyDk_ zFAzE%KVU$dIRmU!q5Q~7{&g|XHg(AH;NZh#bB?w$m66D`X*r>=p>n)y-3 zl{W(QK^+F=g_W6-c!26j-A_Zz&+W$C+Pz18rLn|$nSPZCOC zBTX%53|dMcj(}v9+)WtfYVzSIX{@(H~r%4&bo)ADF}`FTA5yAmI6Zh_r-;C z32uH9;lV`w__)1rHP_yA1P$KOaS4;ldbgkkk^4-<&uO5Pd#{TM0)<{reD=!sPloLh zvtc2dUmelcab&3AW6FN~QhsI>q6(yQlNa>PzUp5H+?R^+025o|KTeJ&hBp5}cE2qF zOpI)VjD-I|JUjpf853JGCv!qpCJxsBYM3P*%>-Qbc%N&1MZ1aURQdxx0-K2^0+&F~ zsx0@LN${cKMZDYD*o&o?o$C~ia^L+W(P-jElw?VttRx9za^Fb^K;`Rf?Qsb=+snt* zf9(5-)+9rrdLe zO};KYyU4A3-PdfBLT#Q}bJ^vY^;3P;)d{K1fT)$peXsj@Q}pNRG{4PB$17JO#})(I z`8zb#k@0;tpXvn!=)#aob5{4x2vEO+-{t-F@0Xvv%h}9%$xG1{XkDt!vV25uS}D;8 zJ3sZ3{gRXk1l5aR>GH1)9*H>*lY9fzNlvbtbH{c)W$_N^fQLQ7U~!Z4R;idq9^MC2 zrq9}}YPHi@cp(km*NHCmgsCT^4^f$bPaikWk-lKo&b{m=IX1CXOy)^7SKzm~!FEo% z!2$QO)V0%n8xi)m1K2%`$Hv#v$9CzFXgzFTAX-LM@o(EK>n&Rkx_i8cF61 zpY?6;m(2WA+LxRutUUzy6Tq2uH7+A77krLnT(cV_ia}p}(3oRNJaVXWD17?eIlLyz zswB(aT4C|~Kb1?vuZB6EZnWZlk_tFQ(BA*ynf|sJW+HJs-IzzO&!aOvWP%Y)Fu~u1 ztFsS!xsqJ3!C!t1*b8lLM{1aJiTC>h7&FK(()QF?-`}`ed*Zq;m!Sr@2kC+`pI~H z6TNnDW*)ea%mhpkiXF`hm>wanUP|S$jS}IaZ%QqrD>MJ>gJ0mf7H?W&B}FL_h?ol4 zVSNUdKoP;a+JBgfhd@ZwF;VFDa-Pt><{G`Xgsqivx z@87z33gtswlTjfo(Sz9>ZZus5};BCTP;Ne z2msbBJuQ%p%RQb(;GIaf%czj{vncOH(VU9H=75-t&8)*a)_#M>osca3itY!5vEwcC zIyew%<;}j_rhcGDvtW|P5tye|oCUJGWdO%_LJ8~X43M_c#C5d&*JkY4O}lBHX5yGy$f=k##*r!Q%21Fo!`1;c-Lk zbf9s!xqr77$2x?Y?^%Yppy{7&2vjaq_GmECM?`N6bmQ`Mh_6&ws6=5j(liDNLtS_0 zM%dDaGP`DhL&t59;FjbaE~rNHrgjb}RMjq2Lg-~^C~O5pgji#~-@ZW7xw{i^C9Z=} z_Q+oLJ!|?RtG!6tT@wT&f(JEm^eT6`37|hy)!z6${6H7*i(`{|{W;!ms5WJiKRXf{6GvKmFL>w9@!>f5+Eh_7&;-r$YrSjk$UVH=df}M3Tb% z^*>&x7@m>FTgMnOJYUE!kr)<=%~a`r@MwEV{T1E`x+fEYKwKtryMih!miVibG!C4n zOle6j^PoSO%9pLc?;IXe)6u3XT+dRlr>a873`0xmmnmY+)GFS4`*e}>JV6TI7<-<% zU+YRth?y9&{n@gB;x37UY!Kg^3+#M$xvS5fb9r`ZTiuandOhe3Z!6Qw77{I+@Q#t! zs$=kUU-Af`+IKFV6lI8ERZi8e&;##5W7~1#+55Um#Txp$kVXz)z)S6;u%ToHQ6$8=b;XM^R zAR>Xe%Zpe_|p<96XnXHErZHgcH@wV0%h!5med?0$#P$m>5 zDRga9WvpamA(hU7JaxOg!@2KKJhQMN!y+T4f{!)Sz@P*ZArP(rG!APG!h7Qy>i_Ih zWRMo?l{a)zj!bbf2tAwPyq4Ay0La;a8MACQ`EuNGk=oIQYV=DWq@sqI_;FPR*Pmsa z;kRLxj)YQmOVhvho&aNzzKsU;H(vNvm;H)}n9|)%a+52#bQsfD?W)hwz33}%j78_6 zswh{YO+=WJ*|e|;I9L-|-643==h8DUZ+0+g0L`bF#(GB>RX$79-{-&EB&9!Eh{QJV z5g#c9c6{1~M-W{;x$)B;F^J$XD#JH><~?);L;XbxY#CrNynxf%NP9Y~<#}U>_fttv z1Bt(5?TFTeaiV$dMSP(KU?bw_v{PJK=)H1Ns+COl9AkTM7~ zC9%nunAKP3y%*2UY;Ba zDun@Ilnm2nY&`MuXWlpa_H9d*uo-423G`YmR%*H&AIZ< zmNtxZ>_83NT+A%_rxGq14J^huMI3h8c58O4^686{^Ah2NAk%j>>4+e`$1E<3+N)Yf zQPW7+CoRvT0Zcr+*0$GH(Y|Bgq?r8yX*+6KS1sz=Y#h!^T$^^B#gRin-nzXnd z>sCPMt1D|uV`gb0^m7HQ>8P> z5~+kt32Bb}f$$>3tKglNV35L=WbPlTr8hwNP4Hm_Q$9<5^!$U(2`sHyJegHyLos@+ z*t`^1Do6%jOoz!)vou)U=vIWyC-9{L5qRoIDwb}qkQh5!Iv>HJx6WA0<)wL`*QjP> zZl=@Q;>9Bo@xnJvkGBxfU$`Ig0Mqo(LfOKJK`Fq#qdKHLi@9n%B2n19SBrne9^g;SUh3yJ1`@1gdkg zhkzPbwwkxlq6~Ip=yLy1Oti};f)uGg-?XygaZgEPrkxs^+9-s~fy2-?4>$GdV;VnP z;&#;F6up69VR$*C_6wOx%;hA$9R1|Uv0a%no$XO^Ce=XqJB`w)&G~pb?m>Ls`F$^X zZo0f%Y#2Ai%2!Ms3U59GJ&v$v;TvY4bRsX;C9p9z{fInd-F8da^q_sZNB z%{ve1-kT zKEf;4P*|v`@k@6f0%r;h$*%SzDHilc1e`hOfH-^s@j-nsWIx?eMt$DHFc3`@$+L{h z9y1Hp0eWe`GxG%y5tcbO77-s-#KkrAJj$XS?7-;DBEhrPkjRjX4E5b^bB_o_|ly|?wT~tIyy5YCp8Y;!C z1^##`NF2VxS{(#FWl@xm3UD|3n7PRNSZ8-Sp(b%^j;o@dT6uKYuK^pX_uLp3dU$Wi z-Ekxy`k3Z8Ei~8JJ{AXEV~I|l*p)*Slyx67htrj#Up~O3iYlEZSd&64#;@+VHeb<& zQ7OiAo@u{kH11SKRzYCzgh=hs$!DUX&zxv8cmek)_K!*ma+)MgCXg&uoLRGI9+ zvsam3vvK((Gss+ZUCOZRexNc*A?&ro6m-T#FJ!bqIu_bMrWkyO;2Ll^0h%3gX7WdO zsVk*208GEoLe7z!ax*72Hd^tUzl>&KjW_5}E%*~4O4~1I8N&eGY8&Lt1PqjKM66Kj zJ-c+a(HZ8vhko$Z1-1ouv^x$Jq1Wf~W&0~&@MJP2<=y=82B7}H@S=whZ2WnV5UQou zqbYfU`!klJDFp_*0pl6l1|MM0rhd&L*)ZY;;7N^@m}8V z_bs|PS!6#K`=FS@^d-Ju!V!E7PiZkO$s;%Su$Db-D#CYY~c_ zeytc)^32LM;IdfQzryi%u-wS^EMu23MfJ>V(fw@|#etlOo8LHV8s+LK0)9b!!rFwT z&kV(RZNX25WUlz&6#1WpdrpVtr=ku8DEQHE;wcMe4gvnpP?9evljiSvVftV1CESz6 z(}9o0o#RE~Auauj;X~-A1B-`cYWFx@$H8!#(GseiKyy%D1rJiHtRo7i?6N}A9^^9} z>CS-)C1>Gx^T)G8_WQF1$GT_=Z6q?Po!QB%hkTx8Gj~a>AnJUFJ7@EjHObkrtea#p z=Oek0>=v}3;fLUXlwas~waFnV64O7V9NMR3kl;nx)-Ml5-yvi36&t$ux;PCv)W;ONV5R( z@^kqDSPd-mi)W{nlb^TEGj8l>k+CPCULKO_fqZtSb~y(zN5R$9MRxaRkvB5DTUQfs z;$(%|8P&&U#mhs~`b+H-t}VpV62Q;Ktw3DGd+8v3HM8h}n?=`lpnZ}L zZP>_Q22@F6BTUL^~bE>m}N`t&c|BBG6+d0Q}vF+ozE+E3i~4&!20|RGEgg?^8c_UnOOeW zk_{W=dfyZ;)hPClsyoaH+-`^Hwumzut6^gkP`JnZOAuxBM zkKhr3_s=E2ok8{Jl+nW8HTfF}^#oEb<4A1K37jU4>-CSpriuBfvzG+RX9|0VVoWhA z4$bS9gI)^iUUm#&Orb#r*^a?M=G#n-9e3lqN;8?=?1d7@%4S+fOfQfgT*|6w9z!7P z=UNpI(aS=g3$6l(dy^_aL@Kek_y+_eQTB!@!+!iM66ON+B}7OZBz%wCCJzD>v`PWa z6F80S(;p4^2;?2|a`e)ek>C9_;!u>g!kG(6I6~jxb}-^IBKligSe6AZiZLtx_X?c+ z4H0Mqdn?I6cc2oO+s{ya&OIaev;YYq7_c;XdkGN*YJtG)T%LOq5o~czJV}Eb5k}wQ zwg8e@CZ~xQUXzUtVt$m@ioK1z(dVIvdf=(r=bpfPvfC@O=Pd!^5YVkAas9w_bjmj) zJi|X@I=@cy6ue3?j7wMNn<`D*~hBZ=jfQ1ob0({(+P(= zr}b<~sLhs9Pv-m1Sj}MZv@|MFo5o!i%(mpm_Q~7Gf(zHg)OX($C;K;>*hy)-1u$Tk zHlK6<*m3zOcTP+Haha=^_RphFLEbNE$C4knkNCMWo&`Rr3 zCqgaMgSjz;6eLv0we+GYe;=1Bs}7m_29MbxMwnvk!asQ|uxJ%8;gCto9qV-1xC=T6`0->3YNt5C`*hK~jQ9RbVguYxpN=HupEj|DzZ!q_OqD*!Cf ziiGjc5|dMP&u=a|xe0rHxM)j>$Nbt++9)yDB=oo~-0p)l2Shwc(Hne* zmwyz#*PZ&bU!*K4%O#Q4#f@lP$MU?G_e=Mu?+f(?BF@@O zwhhOnKn--8Zy+LwB~e$!zpsB>B!aGKLSUNf;T4?dd}9baFZRb^W0O9m`WGe899o7WAh%b zS7H?N6CmsA*De&KeUEEMs!`qK^RtVJM?*pF`(>hfON?3iGt@`fyhwa@kJb<+?;KLp z7Pd`-l(I#l&7|O2LibFo2UJ9`R&8`yA5we!CyrA!A5t>qs}0uIK`*`neJh6SEd=KzM@0`vhR z1W!3}0z*&v2kTo*{Qr}V?*@j^avJy_O4;*&Q=%<~pxgV4UE@988={j9OFx23b2}5kn^vLP`-XW=3WfMrLNF ze-F(5ktwGsV2Pl=QoK{a@P7Q0L}C_>f1C(eSs4FE9sT;n#`)haZk3kyAG9`9pXZv{ z1IOmkQ=hW@QgA<7P%uB_T|8ZN~LWmi<;tw}+?C0D=0V*i-OjNA_BIE=gtQj#pBw41sFFE#}k_rh%<_#BD zFE~D2Lq5iK8eu->_5mJQPz=uG4+bwVja>XhwSH-o#%BWwhzgK|!010dfdNDk_V6x3 z5K!pwA&I?({-=gu{o(8G@VX)ewcvx;{_xn17y=rNC;?zGK(#1%gFmqSE?}qOU>c#I zn^vOyu~F5@b~ILAfem2++6GAgN%n)xN`t zy~R=n;!?)&bkdiKaK#emb7V)xO$l=pBo2CO zV9wkUY?cla@djftEZnu}fU5pYq$Ng_)mqn>f$8OdK}@?;GOnUBhCpqmpJ%}K5bw+ITxtyrs+-e|U3 zDGf>nQ=wt{+BOOKc^p%O7sw76`R$ng6XKKT|t5$fe8L&>E`fw~|ZPK3$Y)vSX=1Sj?cqvU4C zE=n0$V2wN=uiaO~egaiSla>V)6J;EZ8KDf;*kKh#Qyw$Hm$hoCbb#p$gJooOA~pCHc+@)9*wF1f;EhISQe(^8!yn6 zpjo71hJlOG#PmGQ6dm%um~GHC;FfhDCE78W8>o$MKk`GeV7KWT)}BpE+8K3+MHN0h z;9AnszoJwnP6Lasyf#C%W|29L?N^g=Hy+Jy6?pSm0W{@mIf6>+05u3af*jM}prPU` z@J8{snnPMp5^Nzf1wTfCY9_(Buo7R4*^jBIoOaf^3ill>+G z9+QJjEz8Ag=fh0Xh6!dSn^}(w8>(y;nVn>xFX6me&LB1~tF~t&k8lMy7GkZBIHm~G zl(WZw5S+Q&Rty;h&rgd4PJAw54;=9|xeZ7rqSt2m4dj+*oy=!)C`ImT;`#oKF( zbk3QIZkqRbr%h#T6B=H-mn1SrewWhG6%2Ho*6K^G)+eR1ndlD$hvR4Qq#UW-YoP8{ zDo<_Blb>OmmH9gK)khtVo%RJNK3;9e(v^3uIlUI@WlmABPpo-~T-OY*Fy8I$-rg?k z_-ygIeJDy|x8ms22AV_xM`FzMhf3aWhVHtD7v%cbtvOEQ#Fh$%GZyh-ZTv0esvcgla8}Ejsy1CHucj}buvF4jU0G@brmM0qb!w?h{B3?y z`qcEU>fSPX@I<>Q%fwLX#OL*T5w_;x3WlbVqf;{-W<6(iplH@^3e(HlbQv$YcwR5Kml|Sj@}6D z{C2xuy8;dD^la=f9H7iF3cfDdf_Es#YS0{_Wrx6XLa9+S=`2Aexe6d}-jLI|G4Y6K z-R@l70fwi2yD0ytt%sHNVYr<_qAQZeCDA_m)O*BT^#A+|Sgxj9wbAwLW z^WH`%xxZbze!MIH>a>3Q)3})&)v)&Xm>TcTvp?LIBPq(?8dR;;@$WaLOn5J?i_ajQ zlsXEA?>(ftOGmQr*xn1?4x067DR%E;HrDF-_`8Uwj)RiUqB>fgBHlduIj|nFZaP!F zsxZ|LhK>w?BT8WvU*%urCkDo7NyiTE6wjCloGK;7 znRIG4apF*aJ1e1`^3k3h&-ddk`XBCdr^1xQ@|_1!NZbJb zt6TEs3*{cAuft|M7n@hw487QK_yCG9kJDpXsn2W{?ECQK+pZqVmo2EaQ5!~x8{#(k zrky>k&+@W{qwePwa+o#0cqo!>_m}HFF?uu;&b=(^E7bedwEVw}kms z@{in=eJ&fP!myW}t+`Vh`8?1RzNE8TSFaD>IL;ky4X&O%T{!Tv&1D~=dp*3EjR#eB z%`)y-)`6p@2WFwFl%;8nl@Yk)T%4{l*=RZ?voWn=W!7EZLmz}-WjbzJ4C~svR9t&7 z?!B^WXqkQxS=Lt5F&$}_l@{GF%%fZo%qTliE|+2US0R_h)?BOw-l}C8entme;2&~^ zmM=ftNW^G>6z4IqN02W*snkVxUdd0K`^&1Cr`4{Sa-~45hgNC129!HLjuUPQ-d6pp z7N0`nt~7q040k+lfUY^NH3Ygdb9Vq6@n%wqE5?{#fhRKQ(g!&v=x+_%reUYR2%RQ$zg&B(&oiAP=L78+BP zD9l&LIC!b15tm-%b&l?`S&zOfrZj{l*OmE4r=ARb@h&5@19%bs%1+QezGU+dH+>~7 zMy!ckGwK}_-c%x}ZT!JosmiL@wCr?+sCRIW@dp-hWHALeFwrX>lUV>qSRTq?0mSN{ zLj@PadPIQ9S(hk38-iWrA{<060WJz=HZ>bl!?hl%_CePik!d@-ITkr_oO3yjgoQg6 zcX7oh3hyCGhveV!n~fIb{-`QJ6GYMkj_c-W1R8welS>vbn9Ck-z}wN}-3<=_HxJFa zIg7lE_N{m9RGOA+b1qA~?xlP>c0(loe5&efvJtNtKwMSiR?Mf@q;(wpyPsT`_N6!f zcCYBnhA#vq3rery@nJoJZmL%th;C6P+#J0$c5CstDRi}W>3PM^a+YWFc$KD4!@kt$ z?JO>c2dcC_nSb)%m)8pL$KyG7Um2EZ}B)c$pz^_9*mytgWCeyYxEF=kFEITgR$S z5+*v_^Cz(!i&^;2iL%Jq|t zOj)0eyGq&a(|4TGocB|S(wO&clTyL^O1@IU`!$x-RJJo6RT6K7x02=U#o0;Yf>{qL z16){;)c%sr?>Lgq*KD_UhTCd(lo&MWd##Diz^^DL)>F&brQ8ZZ^?+(9U4(WV84-BU oF8D{s!3HF_vm$-RWc#!9%k0axBB>0RJV$9ugK3{#abB(rJkWnDlS1IxBuY9Z zjEWV8!jElkE;}eI^&SWXNtudc6H2?{&{m02I~ig4w!K|#zP)uA2oCYliX{R=R*v0p zg+W+e3F6vPsW4A!*PQPqe)?6ZKX!dos`nUtD?8jbYD_hEYmvJfO*GbW%|0WNN^PGi zcu-(kByZ3tFRWwt&`S=_)&+DKG-c_cD0kWYTLdoZwP~F6L-L-oum>;wy9{PHCRGyY zy{gKXZu6EoCJk#C4t3r)AFF|_nx#;Me#L@{31WL!FCFF`etjw8FjBK;n^O zLFo}W?msDdkQRMlenUa@?GH2%Ji7-^5{bf8T_{spg-fV+f#KhC=rjbvjHty6uTjxI zt88v=6{|%oq)f1ob;glyv#PA{J8DX#gCGfVK5Sfb%r2Jvr!(TdjU$I9V6yhd$3~qW zqP}KIB5wBt2T?$tU{$kW8k)lSb3L2MZyU>o1zQoniD#4a1bD5)K?KXU8|}|Dp~P-J z5F++3d4kP*fwdf$;cx@HRwA-t$f;lStm_OjaAu8P&7uR={}iS(ICs0%dgvbP&T=BP zSjR}RpgqCL*rqfSAZ}rPD;7$qZzi<#!$xMD=3p$i9?=sEt~{E~*-V;*j3Q~N7Pf1W z>Fa$=z_HHNY@XCfmy4<;@ycAz$OW~=8t`p`sAU_U@>e@udfk9|a{j%rpoI@@Ey@2+M!Cgt5KV<} z3C$J0H%nI#B#J&SFK#Ec;aEK$9d_!HkLXwsLz=wjsGU%Y^znFP3R<7C_J5GdI}*Zu4#150F5Jf-wA%>f;;k?77* z$`v(P?P&6}Hv)EQO9#aC?$F>t@V)!Ph;Z3N`;s!T~EBKdM4miP3LQaE!% zWiEc+xM6bs(v{_7gqImv~!c<7X5DaJDZTZizP^}?mMqiI+=c4ufHZ6Z|f5+mw z;{EfeuGK8$50_^Vi{7G|^PL=C1rz`CI%RoVP&#lB`O=qtPl*~bwDpQDL<+0L`3TV( zvwijcJbO7$2Rc8(9;bW?UUoc@@W$>2G0iPs!}-`Z#p}p2&{K1JAE|FDP$-2jtj}|B=MpOM*sJGGnPlzS z5&<~$tvy%HW5WoZeZ@cH6x1wFjbQlmd~b(@gLH!R6xzTgU-DPVGkym2^m1Ozbl-q) zO4-sD(F7g!lBG>`zl21t4`2&}$6X!jJVH z_>RA$QSnzSD%p>P1Rb4Nr033SPhZ1}7a|ibKctm}F~Tr4$Nm|cvV~4NfMrTK?tk6m z9M%_dZ*-nbecs6yNTq!m_YMe)wb-@Ti!8tyXxNdHl*hK6{yGL+qcrLU@5$|LV(_K_ZD*T-%6Uz-59zFX!!QxyY+CBJZ@*5pg zTsv=)e#)H6YM<i)Hg43q~c zS^=_7;%ZCMn0i7yrCA;znONCS( zqmF1<8Z8eQTBsn&wd0=vkHr^pLCKgsNRht?=g}135mLX_gg)&)H(h_vU)UX(aN04j zL*jqqk{kVM_-csU&+{>L0>i%2#+{RNU{`tYwdZxum+clNJH}Z7mB*dwky#a;ZA?GC z$oE3}bz=QGgA*5X8U#4l6Ebw9Wy}l`N>lkelAG&aq5DLnKdwb4%SlBr(bn&z%9WHn z{eUL^{0p`jkbjXJNQZ&T!b8eJ>R@aQ&(9CfEN5nK;c7|B$;!?3-`{*uS0|aErOtob zfYo7F-E6qkfY@&Qkyl#xP+(4)IGbNd*BXSz3_lvX2jtZ_W%LFdOeMvXr_k$Ac3)U= zv=e;yfPh%y=c;@;4O7e8?&^3slKh3g?M)$fcPZN6WGk>7YgT;N$9+YdX+Q&*Wy;^6 zbbqXO2)UwgcW+q@Q3Kl!OMhN$0Uw&8>~rq>GU~SyFUZfaR(*cKO?Yl;%8vDKf?6B5 zqi5?zx^qKvW*PwMl~n1xoaXal@8)nc&YN z(K2X6ukj3d`HJ7Ct7XN&Rwd5cgnPTcly$m);S?3oyVYH5I`Cl+vNTsFy?#BCEW)qW zE{h@E+=ko64_+#=)U(&i|Eha3$~=DR-K8n?h;qARLqu%qsoETOEUBGK?A?$qXkSvX z=-M41Q@EJiz2VKdYAZBkFu-wt7Vg1KXsg*zaH;jj)Fj=m%XQM$?Jgd=>$40_uiL2V zUV%H0An1mK24Df|)5M(W)rP#+XSgeP2`h)2?~aZ-j*bKcQr1)n1*ntvqf>*l4|fLV z{vJN9mgC8|Zr`43~@foPs7N z*PZ+`Th?5d!r#5`b^Vu`=Mqg)&iSr&?X!D@vr)0S0dT>r0>`SBB{d?Zod#a(P%v7x z!CKMjqhpp5+~YrjPuFdPP}EXZDb=sKJr*tlwZ~yj`cCJ&|6FBV#4dQDe3^z>dSE)+ z$+r3}YU|T&NQV=Y!KV%PUB@w1u<~MZdq>{X9Vfg+CGZ4-(S~@#N~+uzdXH<-u@%PT zCh7Zu<68K6RP;|99qCnsEW%9i zy(5|jMK7@&*_aFXBeNUP^6@&(6AOiB7*}be7ulE-{WGrQAx!;2+uT29VaIjXKZP(S z+G6bxB8qifXFK`A!$}=)Ly-u?jVnzoq^UN38irZrJXtg?a#Es|e2-2C zcGKmcnaHX^#j}l{VXcBHX8EYJ@YJeApNk>Nx4(6y_Y`*C^ns=`EFP;^yz=Nm36A($ zP@1uocFD_OX1uL8(=Z2$0Smr-n>wvu#$H=EeP?m#^!%8I?o9?ghWKEXLpl#)XE>0O zdQ>pb)iaE>4O4Y&O_E)jSnf$ z(2lJ;j4aUNmFGBT_m2;3gyMaZGetmE^r6G#tcLdM15M)ag26$&h2r~0pd$=xIh;YdL9~qC1lC%SRg=}>QID7 z0GnZL3E?pTjb&yROnFy|^g1@RDsiof@q&UFGGH+PJ0f3%se#{1-pyt_0UK%EN`7J@ zQA%q=L75>LJo_8hy&4TtGO4771TJG*ihm66R>da=4O4We@*)C_ZP8I0RWe3NWl7j7 z$!h`D@8jB*Vh61Fzs?Z=8f7D8H6dJ-HL15PrD^#uw0Bkt)s!Z*q=|hiEe&UZby!v8 z#pQLC zj=(#xr$)f_k&Pz8w$38*Ij60>Sc*Ayy>g8_J;mj+B84%au*HCY?BHR9UhlDzqoe*& zsa2^E+|M(qHVYR6%sJ%uAWRdjvj{buC0W!gXW=(0_>Gve_aNK#Wm$AJYIy&fV{W1C zExLVbq504HEdB}5cq0y9=}*;ZWC5y&UsrwOp`wteOJoU`VP(Y$)|KvNR@vh=HW~sT z&}6=R1ySeFs5+plEmRnltE4J~Sx~KZ~T;|L}I<+n(3YwxRGF$egw>%J$V| zayL>W^1>$P#78wuI)C1;YDqqJTLI5w!gko;OG#&;VzkO$0td>Vx)%kc*_T{}iGwVbhYzA?!LW%Uo6Ais*ycnD4HJkh`17+ziyhG-+Hf{f=$* zq21-oVF8FZ5Q1DTX+lKg9*kZ05TMva_`~P9D8ffZQIb0JJ3fh!M=?uQJ$o#~ zuZRHB=$r)@pP;K(EL2bFePeS{GeBI)g#vyG;BtHV9j_o=46thv- zXS(>`Z2EJ7WX0Uaoy=BXbUa;f3A2vN;CqGi?-*hXMy4=wkpuPLbB5xJ9f~~;^nVgl z6hAYy9i&c^kbDkDbT{7s<-Z|hMU6S`#-sp7kVmT_N1cJ*Hr;a!!;Pu<9CQ^eD9$W| z&Cw_XAzga!rjx=%D_J(7#gJ^c2iD}}!dQG4o2YeSyfgpMp?2bLy{7#f{$D#l$%$vF z05bH;Aw5aQ%EPs*;}R&0MYER4`LE2ITPj%;Ml72KC=6bZc^w5!Z>8hcDKh(1C^j%q zXq@0omQyzqAc$2!rhwk8oJMbF)$ut@m7^7k^fc<9{&iu-|6i5zGGJrZvS2@Z{y}9+Ra$}Q}D|vL2iaSveB6cU4O3Ud)HadYQFjISD^+uBUZD# zW?)k12`}R-Ita|Neb z!r3PS8Z#|}dO|yCG$KBEptv>FLfC8c$ZnnB?IDR6Iv)AOd(8)M$?+jvo-(SCTUti2 z(O+PNnmP&Qor4F3Pf0bkqTv7p2y?cvgR{PI_l9ElN&nyeJdIkGEtbuVS|=LYRms$U z6bzMIhtdsenluFidwT;3{4UU9f+iydZA$}w>Pgc0GU?BhT{?yjmLu`@-6SylFv~Yg z6=GZ>F{u@Ynxa5(e-SfFruAa>Jg4HT*5gUR?ouB#>Hldg0X^<|&DH~i&6AZAH>JS5 zjeHO54AMxKoWfrEjXtDNqMFVbUYm%C|AaKC(lsMZ_9GlkWnLS5VYPq!3q`4#eGgc5 z=pj=M*3!rVG-{;Ada{XCYOq~r`EcL>KC=k!e6Q;c7$X(3IvzbUcKRU2(2#3qxMorEK`?ojpzVI{Z-E)*8GNW-D@=;`G)j z-czWVNh8v9e5N&kQ5LGsL3~+Z2J6#7hY&zeNL!JGsT- z)3X%|CyQB|8KI*tTpUJGr`8ioY380h;g>tw=QuWE$>|TEYp8WRxPPK_hn?-!m!Fsh zvhA!WIDUSdUX?$p!;U8EDv=%|b)OzOVwY&IAB@Yl65mkyUH^4OEzUDZG89@vy>AG_ zSteCw$=x<=m7l_aW>YMi{k_0zZx>0u2c3=7#0iPfur<<1)lnDOC@@0yrP!9X3rjq7 zK))P0TO0sHPJ{<fpOOs0M`@3MyoJo$L|YG#Lt{XfRZyfJ8d{uC1!2L89UXNOc&$On>4&afOn$&T=}EJyEtJpz!^)H|4;fiZEPUZht~5oSH`Q!qDFNti#IH`S}Dn*|~AUt>k#lmO?W zq%6kByxmqfALlXB=KSnNi6E_-K?@}^y}tR*Zbt6vGMb1qdYecO8&!{!-<`k1z_Iy# zN6R}oLV=(Y^VeK!F^542y8?)0R^At$tKe<4Q7ha%5hFUfL39q0=w*?KhHDsnK`Ir9 zM2`FW;dR5ZO_*u^ywI!98fhQ}{Egc5H##v)ReIdG@He8>Q`T^J!two=mwbw5c9T`1IENSatzp z3O;C@CGSeMvL(NaSoDIRY0D%93ou}orOTg&NpY^Iz(Xye?^<)5$318%)I}+ScI8CA zmDz^PM}N}c#gvHasiYAA7%-Ug1V;u=-_>TL_m(L5=x~tPN~ZVHpstW^uctF+AL}9w zKCem$#OkL)9*R3JizNSKnS@0RVw(3a9F*za;ddQ{A!x-(sdah=wnolTi~F}fSy5ChJhV3x?=q+#3`Gy6F*#$TEEQUcAA+2Hj$r|P>x$v@iv^(C<>9)qbV ztS*GQL8GA}%OE_{A^|VWwbeDXS0HQU3Ap}K>5PtE4d6)Lqdn-}kjSyhq{xke+Czykl zTUN3z_WLD4aC^JYfd<=upBhRMHhkEjUGgeFjkC*LHaU8Aki1 z({&Ew7^LN^L<6ze_6|#r`9*#`#STp>+xBssCGr_5;G=OfL`UV0Ak0A3EUy22!L22)I;i!9OZK{(n%ltnM1{XW8Nwe<&BX6E71Dw@|X$n^(6Mbi}FUvF5r6>2Oo5+PP z-QlCdcmF{plT$rQF9^GWXND`iYiam0y*SFO^kptOiD~;zcg}G3gL{)k;r1W?NYk)N z(*Xv~#@3KVX95Mr)9}g!2ZhY@KO~Zsmy7McNaUoJp38bOy5Dh4kIAhPDuUt7?2T#l z{yP$(&BmRhG2+)1s(txgytqSm5rX<#Jl%Q~MC_@2C<@RHh9`Mf9w_ytK&u2|&+7rsekLZ0jRfK7PfGqY(hye;RvhW} z2nEy$Q!j>s!AaXx2!q5aEywtTF*9|v55Nqh76woDt7Zf8BiOd z=#C18UKfs##Bzh0vJMQ8T5y~n7Vq}E zG1r*nczR;@634APd_N8|=z+}6T%hze!&_CO-<$)_#=A0?pN_bzzjjaPH~Ucbh!J^s z9U(ris&lIyGl|1myVrKcy7~2Bd6kvLUlC+(XIys=NrWp8&-$#~&v~a0S>!7g<hh zaN*4=CnM19VoeP1XaneHwt#tA|@)j_YBsS{6pN^tV6%Je6EJ&qnS#mu$OcDt64izHRaS z`G#wc7h00Dt6Z`{GR~Ci@yowUJpW&>a@Jh-x4c2g!*7G#-+#XEE^Z`T4ew8v?R&HG zx}A+ydNQ(7l|oU);uMDmYApbRitGBQp~+CMvboF5XFi_;;TAs8Y4Q_WxW3lF4f^RY zxJC0i*1KqIUfG3dC_XOg_Q7B|mEHiEsUn|0BPPpwV?mP_QZuEd+}oL*NWEzR@`AZr z6{nzgezeNl<{H9cNpoNAwopZo+0X(WLQ_opeq%7{c-#MP9)lwv9vy&_Jyj|`#I2!m z{H@MEtmr3_dV^Ud_;$tU{kb(`R$9{-MkjNCH*4$4{@(3Ci>Y! zOdBHW^bF$qv5ZH;;&IUY=yj#_g3gMMd->S%qFn)Bm=2U|Ba`NY0hy*3Ke3|WWfgn_ zafnuTpIlN;LopE%T?3j*g#4}53v)YPxl382q4t0d1H7gX2YZTL%JgmhIOPMkNw&Vy&1s4W+) zQK_xUI0(tye&J@$uMZ#38}h#vlxK}X)Q@Trq?DEpyGr=&_X5aGL_U^BA09X`X8Fja z(8@oo;Y+{i&BfG%Vi(i(-ku4&y%c_aIO@`R#@=Esy3Fa1O-SKq;bBfobl7&^eMfVK z&mTgU8Xfvds(r9Vo+-kognN*0`g)kJw~`Rt-22cku>==ch?4fp`AiawfM~#02!0B+ z_C3K0o1m5>JO}WW_PuinaoBq++&EuSu`l*1+Tc;Fa9S!1pQs*?COA(FGK-b3Owytd zfuY1~0fw6KOrL+@`*-3mPKqj|R+?oE1t#(zK#9+UaE6);gv4zNlqrj$-(5RU{u+_R zxK6rYE6$oe-4P2yop$FOpm08@E;k`sS0FNu(Pl1{RR(m@)}0nU463>F)&a=Bz$Jx-1;1DAtOH4t>;eB|ozIH+<33 zzCo>Ln+J}$m57va_-;S1^$|#C&Ch29Ou~)-#ahy zj@FHK6B5|2z&t!$e59sb#Q2)HMY<*^TG5?;zmGqZz17+)hW46SdfI)u;6*z;Vw-nQYKXQOjy#9&Rdf@k%AYA|)3v}TI-q>Q} z0&WKmN(chSYWb&=L4XEA!LdP?Zs7GTOJ3mi;Gma?e_L9<;E)g?rWkNc5OO5AI4IW_ z90BwY1a90y5%3=;yLfO6kRt%z(4rCiA6-A`-vw4f|D6ZM4blg|HCt37!PmjTcv_fa zzy%?|cw6k_!LPu>TXu{|X>FKwHNJqYd4Ex@KnIxq0NozbwC06g==t;CEO@ z{Q!_3znbP!qxPl&VBN$)EhF_S6hnfRF6E(5;u*e= z$2X=A`Z>&>gVaMtOi5V*p@?73>H22Op3Wk4312N|hN-vpu20JD7sOB{+>CS|09oW1 z#zJR23|m2Q;z?6E|8pP0v(b_hu0($AhcKK4h9*!^xr0^%F(1warNXsGwXjq7F?*il55sp?5=)g{-PUzY>AJS6hhjBp^T1z+9X4& zOvLV>^1fbwSA5n$H4nkuE{{l-l6yg+}{)H+)eoh?h1Vf3A z^s(?uEf={JLLy~ijHt1AeE_7TEOr6f=&lUq%pJ6)f_fn;8n`7ji=tFf3=edOOsp79 zIyqyt1UM2LLSqqC2sH#lP1;W~wA8fLTJ(3D$U-tZZS8Y$2!R2xX&n?|e!zEyLqwGu zC(pqgr({pXjYpf|Y*kD({txqh!|TO-4hEQZ9%0D!-)R&-g@7trGLl6u(~{>dcpIye$)K#w5?q<$&(uEt2Gb!TAZDcK)@lo(6fobEcvLAlABpzM!rNjiGi#m0qeZU;y|iUIaf|M5yp^ zBM|`=RWG9|q+>-U3>DUo$OX~J05eH6Q>nteFV{b*GcRTYZ!{VsMkyuVWi8vTFvdYu zC?^?{KB0D(1Q9rA1k;9i)8DOF=!Jw6wdhmEO83B(&#zHW;!v%==W1m40o|Mm!e7h~ zig0k4NzpdyAyt+PFMx3I7-91Hgv{^Q;Y5iKrmS$9^V+cl$Xv7|kxM)2XOuccwwZDV z{)I8f)o#f|Diu4~7m-2YE-_s(R-C^Hxij3CTI^dL@{6h(7e-yQrs#yxd5lce=@zvH zCB*F}x}0P7cLkeNuUPbtTYtT&>_^#ityMprqq()}0}jOw)2L<(pf5!ea0}@~ z9;x|PBS=LDSA%dEX46IsGNkDztomSd2)bLN=Czg7b_AE*98i75khBHd5j7al+2O4r z4w)#P#J78qT4Tm~4^v}rwNl=Cz#aT^d*{MnL=YuqC;;iWDf`@2>xQtRh7CSz#@x+A zT9-jT>qr;Gg_k_LRR#O9bcvp$nEVDT9p5-EqZfHkREat9e53gOPXi5t!@$heTXYCvW)m9VXcacl^|rt-!>?L zM$;0;r!?A)bG|!O@Q3>IACmKGkW{^ze3w~RLCdVVNbReh{r3cOYzbbqTXQpV@(-}; ze6tMmEBhI%%|qF)%}ue|(9D8!EhtQb3O$=!w*cIv=5Mq{0i;p&xOv1R-ovu&-NfAE zW^I0R+6y_c)(wL=R^3aLXzpw=X|Q!XOT;MqKwW75Epf>B0z@1CLIj<$CSnzMhp$`v zwo3uQR&(Q5H_88GXL^+-60ot|0liKHHjD7ChUnJVR%VlF0LK z5db~}HO`eub3NCl*7fGD5^e3kr^R1=Y|(HtY0S5tf2>hpgZtuG>+*hZTGIjZjU+WB zuwr&lS957)HNzh(@A4b-r49c@N{i=Ij;&h!k;Q{4m~X(*<;jtj!0**$>it??SPj8ala2@hkBjGVSpblj-=L!Hiu6*BGHAmfIarNGsuk7qBzrAv3QO!+HzTC=9WwP9>snouLd68ss`5&)VqMI8! zZ%mwQaGlW`>aQR{e0+SapnxgYJw6v=y|7R~ArOX?acO8mb61Dr+d1XyJK~!S0pR3S zOz$&ab9UvJ>3?c`EIG61Ec8sv3lJzyv&%=1Yw2l33l)oL<}rCftOrzYF2gYEcTu*# zv*>UgZm{MuJqS&wCEBe1n|1``J@ue8xPbXGtXke4#M_T}Cnr34Jmy{ye;?_P?6BdA zspmEKWWF$uQ0YpaWHWE0-uW5r3B=Ox3xwi2k#N*)y6@L#4LlqTetu$1ytn)r3rLmM zy!DB6@VBJ%(Y~*Gz%j7BgwnL;E_T#syHC4R4Od$h*8$kf`H}>mmxXy`nTQpPmrtVVmlzC>15p&ZwYmN$<10dS_oX(+P zyJFkn&x3J~rz8 zt*gah>*B|Wk^D)Rih$PpgWk6f#}j+`lc|(n<81d9c1$2nzgl}Y5o7|avtu6;ib)Tbi->F+FJ z#hnxWaM-=fOi!Hr&)DwpkqSZbKg;CK6%h+Z5#FFPLDG4c15r4sBJc!ls6uX-M(4u| zQD;A?vIc8UV2mrlRx{L;D}14&>Jcndkd%RWF#j}&q5*!y9=X&b=L|x7)W+9ID_Pth zD`A~b=_+X+0#khs-+(;~G=apBu}!G-1V1<2khI8ENhMXY2bZ;fn)k;~>~dH(F}5ON z?{MtXhIl1Y!gsDnO1sbng5O?M5wpm z!qZjU;_0#ybc{#r^Sn&S@iF*Jh)gAj3P}P^uAH{>jR&ZBudx>_0d{BrUx?kt>7Zp#@r zRqXRlOX(KY3-ogH_2u)g8GM+uu{xXuI$=!&9R2JtUry4DsxEh=Q+>0XkDGQPN)W4e zNAI(nqVq4cQ`ocx60pjPblgsnsrCX5)yCZc{7gyY#V=js??e)l7~d*QpC+Q5`&WZC zTvlqk`EzqOg|uVLqkVz^cI@u+enxMdO$@q}>09E@91S{U+Swwp;1G?bMBEflCg{cS zn+MNXm$kE;`^1|7aR?$(WGbRkVyd!~5TEC0E4oP9(;h|ISwG9FWpx`|+>lHeR8&iV zo{ZF9i~RdaJ!C+snKVgInmKC1@8vVZ{@!cTQGSV%`o9e~`CDm!{qJ|-It6>apN-W> zCf^);|4!e+V0DwAE_gZlTs8B1TwnD3{T;{N?Y%QMo|&438(9R#RP^kt(MC^Tkk;|7 z@jQFIZM20PO$I#JT%`<{SvVb}6uU+&fUdn?HLDfKUNe2&G6DShG4ZI4*R$7QNCsia zdT$!Q)Rv3*rT9|UwXR-V=5Od8UpB1tV71owLN^V_069g3>(*?PyY=}cj8`>LXIInZ zpGEu^RyE}MaRm4IA5l2LVKIaWqH;skBaCZx-rtek&*@tPAV26B4}8I7IzQ=4fc!C= z@>{-gU0Ss$53Ke;aockjaGPozp`Jfqq;hPc(_R%&ZDM*Zuw9!7J?S=y7$r33qZxnS zGCG7$x>fT;TZT5-#+OIGez9*^yy>)0k$!e|)i#(U;V;$S)SniTJ|R?#ClOSYKZbnQ zsBt(Or4XUljXq=kjpj!QZ)R`mg6isQW@Pst@jrA}HWqFWYza6yz@rDxtYYPDM#{$W z50};;)nO%NCuRL-{Ndo>`p?Muk3ahZo>|)7+~J?b^?#ZesSZCE7pt%^FFU8Wh$t7k zgfP1}kC-@z1d9Ya2P-#^Fb9hu>HptF59xocASW9q>3^|sqPbB8Rb|wnn}3Wtu+T8` zv>~u2VI?t4Gt~?jVetfM$DY(nxdm8CYRVy8DUQ@yLzBHAT<#DH*4a=LL(OYgrt5c` zyYXeWw_Km8GW5jHez5^a%p@t))FlY(UBV_C%3Nr`J9kZO4s9e5VL@9O%=uU78rGch zNU**&KkN&j^u=$1DLJm!>7-;yjy{AOx7a;0CCIo{^n$z$a*jozDpD2R>^ec4qKuG! zhn16ynEn@hIavWYozN#-=`K*Ri|P38i2jV{i8}Q?CjyaB0@?^R%m`A#2r+~J#iEz{ zlIFJH_0w9dar3R$Lo{uGYeGm11?d_xw~zfKh&mMrqS|gXDB14f9_%=@vkm^^2(k7H zg3kyK`lk++z@_X%k9;ds%PPWg6Cw+#5hS!)efLK!S$d#yY8X*XY%iq4LgHngKr2e} zKbDIj{*fUV_Ac*4Imhvfw=9Dif`9Vebwr+)e6z;KXS#w3Uu*`4whdx2YupeIzNjVQ zFII10=tS$6j7A)@QsJ%pnu?5>L!V0B7)dwISLK(dAr)=6Pf*E^#RulxF;x%t+%dH$ zA@A~;!q2P{8F_5LvwZGgG1v0;)!{%--qeom_EX&S!{(rWdZc7y#N6WGPG&&=wF5Dj z6;VPXwi;iLv)$Tt@uZxUUMs~xzO5H%vkaUBo{N(e Mo{CCbQ3C$|0U8Ng+yDRo diff --git a/pub/proposal/proposal.tex b/pub/proposal/proposal.tex index 2bc2387..1cb539b 100644 --- a/pub/proposal/proposal.tex +++ b/pub/proposal/proposal.tex @@ -192,30 +192,29 @@ the checklist. To test checklists for flaws that could compromise the aircraft and to make sure that the checklist can be completed in a reasonable -amount of time for multiple different conditions (such as weather or pilot's reaction times) +amount of time for multiple different conditions (such as the weather or pilot's reaction times) that could affect the amount of time the pilots will have to complete the checklist. As a result, this will also test the reproducibility of the checklist's goal. \subsection*{Objectives} \begin{enumerate} - \item Checklist Manager + \item Research current checklists that may be problematic that + could be tested + \item Research how pilots act within certain situations for + the checklists to be tested + \item Implement a formal model that runs through checklists, + with the research gathered, to produce an accurate test \begin{enumerate} - \item Input a checklist - \item Add conditions to test - \end{enumerate} - \item Checklist Testing Logic - \begin{enumerate} - \item Capture state of aircraft - \item Simulate a pilot's actions - \item Simulate delay in actions - \lfcomment{\item Ensure consistency of checklist logic} - \end{enumerate} - \item Simulator connector - \begin{enumerate} - \item Connect to the flight simulator - \item Set up conditions for flight - \item Monitor and take Logic's actions + \item Understand the relative states of the aircraft that + need to be captured + \item Ensure the consistency of the checklist procedures + are tested \end{enumerate} + \item Implement a manager for the checklist testing logic to + provide information about how the test results + \item Connect the formal model to a flight simulator allowing + for a more accurate representation of the aircraft systems + and flight conditions \end{enumerate} % Planning