From be63d6be985c6b6e34cabbbd9c799307878ef8d5 Mon Sep 17 00:00:00 2001 From: Anthony Date: Tue, 20 Feb 2024 19:07:55 +0000 Subject: [PATCH] feat(proposal): expand on first aim --- pub/proposal/proposal.pdf | Bin 176025 -> 176085 bytes pub/proposal/proposal.tex | 8 +++++--- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/pub/proposal/proposal.pdf b/pub/proposal/proposal.pdf index e405b08394ac272d535c25d702af986a5f1a1efa..ce1df5074c2d80b6402777f357c57ae423922b2f 100644 GIT binary patch delta 16425 zcmajFV{k4^uq_Zx_`f!s;M$;zWv&@g;}>tIw4GIm~G6siNoEo+Da`-Apt1djw+HRR;N*kyLxJ(0V{|q~eX_QjU#9+{1hlKznx2xypJ`>7Z zZ=AsQUKC#-)DF=b#jsN|rnf-~p^gS^Wws_9yOeCwQxwbso=p>H%lzVrxwA-;Ch)8V zfS7*&YB$-+Hi17Ja=!iKch%TcdS8}su3mhw ztv!TmK3bcmU%QeN{fY1+BVybIx{1=#VGx4_dPBJ!39{YHs6Z0U#%K`T6kUDeP{#+4 z8LQWYsv!O)N`dVb$OZ{dh=NJ{ZR;VNF9%hYL-ZbRhD#>gv?Krs5lC1!>lfQ+I0^S` z+RZIj+S1}B+Qn}MX^4JzmlDUvshn^T7P4}ee_tjV9m_V-g1|xysX;IHHOpFW=1R5L zwSFUjcj#j{0&R{cMWU#Uc4}5?J{8xH!w0CimU5(2X82`)LO`9!1xd%#uX{-7alx}^ zoEWMM?~d*E9{2;YJ^uu!-oyRwf7>Z3bJ{H^7wT z{m|&TinRNYa@jgGzy*Tm8(~DXrga6%3Bzd`_rOlbgUtxQX&L9vT}C*f&cww7M}2E2 zg~Nis9|DdNwihztqIA$mFI{`#LquL3?sNtTW2yV9ia*2qV$78qwKQOXtEgomP&ub8 zJr~ZeclCD|G!F2u))xD+^yfYqkXUMo;Rq+=o#L5$B%>KZ*$2MhvTK9axOI#T zn1`RD46_H|oO-f@T&)!cVda_rszXCL1i0 zoi@RM!RhNhyR%*rVpT+=1OZGvbF^&S^5O{T7fVghnbHxhY`W49O4gvCe2|LForQ{z z;70Qf6=x^?IaR>B3k{tjxaK|Jco;FsD;wC^Z!P8wv+rZEv%NytcKmk@%PCA8-2+k5 zLv0Aiq5A3wMo&2*H8m9dn%o6bdNTNP&q06}MB`{d;JkR4T5}Jjgvu%QNPz6)js6HS zEt>I$I{%qlL>hUj?Cn`3Wn-WUlro-3!;6OlONsSPbQlbF2dSTN(`VF*4wx6CY|i%$ zJeCZHv32GIq2?AOH`fBCNTK3NrV{DtJ&phvJ4_N6?0<=(W4mxVqF|d?#c4pGQ<+88 zrTY|9x3DE6c;N;{?JHxIEDu5n^M@0;nGo`~!-c|Pgp*Z+He7%?EH2YE=B7h*is4d{ zGmxPz!u0=vcXR0`Oe3&d?7y8s*2Z2*m8`(W6HHnlcis@_gM-9^rh78nS>*8_NSOxs zZ9`*VcZOcneD?mlr$vFZVQEs-V*cf_LXe|Rt#2uEe#|5)VTTmK2IWz7NDS#(eGq_! z8N4b~PiB^FI!nnSnzWax$Lt`$0An7K&XqtwG?3D5$vcM(b8%(+zmF*6bN1;;lyC?yvk65_*fJX!9-w|&j z&(;bMdoXuWD6_)l#L72cVR>rwGzK{sWfI{bli<=Mc)rs2ry(_daRPRO>Zn#IpnuNg zv`nWdGP-^E^}MVXMLS(M$LE+t??Ox=4ADO_T3egRmBZf*NP>EO5SBzRM6eSVIQ1Bn zsw~!)Se(&f(-wBChLu%!wR!?HQ*e2z6O*-j)&{-}i-_x3tH-!}go{B++Te^4Ygf9M`&ji3>A;y(^lJW#{;df z0P+8%75>8R{wlc^GYTNAwAhRU0{^@1R^*_xNjnR0a|*TL66V|@Uw^cB@mf>GbM zE9w|z^z9EqAK9WR1cVO%$!{yvMZk3Mb}Jcvw5jCXmDZuqY8(L&V&eEu1e02@j6Kr>%{N&8Vy>*qrVCwsU$KgzE zPd32wE#a2*8v6*#cSSs5IIiu>V>2z))HgXBXLrK(k657_9E0xmq8)n9fyYsjUShM$-t zCcX|KzeJoLO3d~glG*A)Ay`jD9O^I}P}`P1x%z4dYAeuY+gMJC*cse`(`%pF&!cNH;56n`HheAhhfO_PNLQ#U? zkh|yqikEDuyew!!tivF*{{g&wD3=%UQHPa)m~@Wp(WN%h4o1l#h~|c^)cz^#@1w1* zK8@HKQARW5K;UiIYeO_^E8Q?0nxfxbXeL}+Nv&{HV0n!)MadKc@$LndSL)XSj1LXs z2WUacsJUd2DrJ-w-)bE_Fdu=M;#i@*;)YkXO5Oxm;n$VD+l}D52mrc!YrJ+cbI8?f zXYy+*EDkE0hI>6;@lmr9OWC`Hep~HnnyxHOG|-!lR6{AayGOofcZhQ@``Y%g{_=P- ze<77U^lzz1{xaKCI)S}Z7Fz<#3ByPKE~AX+h7KNYnSfE zCdQJ*{0H8AXSaE$pNqp~*c$rP|B?Ujg!;?T#%r#d*@PB%#^dC;n@0ELY1W@J2KFMy zF$fa+Pd3M6*=~OYdI?RUiC5vaIQEav3yCA8zxUzc3P4bA%s|>aF%&yzJ8&c{Cdz#~ z5#^0!pzv?&%AO_TzYoV<4Ps!_ogpB>N_RGUXY(UBYi=OTr>@+m@LTU0$uOpTBd8`E zhMgs#-OOFq^Uy}pl=v&VsNg63>G)n>pv31o(m$d%hCk3-ej_ch^G5?}o5C;{E30_a+{bMP#so}9Vh1H&jy#B0w zA9Bu~`0@qdtjZCC=cHM3NsaF-i)u3q!wl3R8vs|}Jb4MxC&>b57ipsl>W zwSXbntpxO2i}2O^@t`w)IaF}WzP)q|`>K4uL715oUaMK+SrkRa!0LKJ%gleOe6~z9 zyO%GnNpO@bc1Qalu1$#rOZgys`+SM>x`bwm)t?gUGyQlw>+HkCeNDlgTesSLoZ-Qy zvj+XO=XFekhoXZ#k_X&n3g)9`w5Yj z+>j`U-L0P}hXfy8-@?YU0kKqxMp<760wlKzl|wy~65d8o(8WlG#aGr4G5%TB%-p%w ztxsx$i9(7|&*)mbLfE3+khOVZ2@oVi!wV9)O6hykomhJ85@ki_bG{@{Z1f5AD*)@i z<}o3L`-*y?(bA!%TT4b4XZm%u-c%vQ@^S1}m!j14VC&4N6bjA9waY}b%L$uEB$)hp ztI79Sgkg_n$k=rPNpAIsH_DU%E~UhR?6^$IQBC?L7b5@`ju~pb*~RiYHixHOfc~Ws zsoao0Pd*rxA(A@Z9};wpRax5CW~eD$t3ed3UY`CX$7(*@_^PdNR+ z>gFtz-eYH4+H^*C0{0%xWOKN*|4iMDMnjGoR{G)FQDkr~TS{c?Kf0F=N5Gud?Ga4) z?~c&|%1>Z#KzWcFFbnEQ~+%-gaKQeTMLicM~Nk zJ7T~@_n(;ovGJN8soz{{NZ?%PqIHO6Q|IF zjvsUZ4&)H_RBS<;*V+cM$sW6*Aje`mjqcKLyWm+>ia-^h@<5<%;H1L4B06j3 zWa-oArDM#GkqoJr+3S+W7fnd?5;7F)uW-<0P%&mRy1DH|!t2ah0XP@=ettTI7WV(k z9PSC+kaS$U+ckx4;UCTSjJ>yrytXM&(6$Xqh+~bAnH2erE}&7zi8Y}9>+$a|ZgRU4 zT=fJb2PDuUAJ^E#Z(=oluH02r**gel+#YYm5HIvOX_Rz^+z^xio7x+^qx{d-&aQUh zhmHs{pU{Z^F39c!7Q!?UFDpSEu)z=L(!pS35)uj;CI=BCk-d=>3@D*|BeeQIx^0r98SGY>dP}TpfVl;K1r-3T-U0>?KpLaiv(ITxf!jQJ6efNjXyno z!$mNH0+A~>5m*w}k;fdG5u*J5(_obvuLZ_CuN>9y?=xLlb-k#SPdyxiE_b``I#YT$ z3z}wL^gge*1)rV|uuIqKUtxPc-#dMXi0%S=mZJa+eF5I>T`4Nes_$FFr^b!D+@n1P z?~e)$hO4u*j{zP#uM1K?BZGn?qC$bu@2$A2l^Tbry;fWY=&#)!?iQfAnOhOCpT^&M z%@ssrAO<;{{^%x++{}@-sXcvuzM7)rIfkh;*W(@lVZq6%n+G0@AP%X?e~#E%5h3{*@&+wm&KcL@$!X)Z=XWn#-3{w&F#Tll%vbo zxG~mUVK~n3{p!^L#Z;OCxz}A#1MQe$Z^5{Rq$1Zm5WqKpv82>#F2VYyIDNHW!TDeN zJ{vG_=rMmA^J@EOV%NUU5y9Lf@R)|)lLge0d_v>j$_ZsNaKZ!iy|>mGFqT)Srp z6-?=B>FTBSEi5NO2#*s+U~*OxuO-1)V|CvnJ3qbm zU*~tAcC^n?`0M2Cd2OlU$hf8ZZtVOrPs=>(_`)8k{Ybde@>;^3oT3wVfM!odvGInX z7w&2HH}FEPdRl5T9DwIe%T?`bRN#kzb7l~Ct7D#SvL!s|B?7WVa7wbcFah^Au~6Q2 zSZDBK$hk90+FB%9b5#2scq0Dl-JwW?2iVoLt2pCIEYkaM>LF*15YvX0zv5?%i|d3LeEZ1Z6+LhGI-i0SZe{ntM(?1Q#*=`vK3$Bcq!&d6)lv;=Er#Gq+f)2yi~ z&A$dA7dfv@qc{+WsU16E1_bcV@3*=mU% zNN;}2`c+=ZGRoG~iX!A}1)d9GH5!=&@{SFMBxwN?Og%%W(W8R3n9};CZnp(ch~$xK z3KqxZn=Gp2kyae~OpfVpYsoRYMZ-n?V=Mfn)y}Snv+Lb;E53(LYOj<|lKs{$3}AG4 zsFez$DW@49krQf90C>ZqH_F@O!?A6@+QXR36z4T+en+k<4}8)t<)_Jf$@Iq$S=Ec& zC*w|gO578QgtBIVWMSu&IA!(rs-FL0`iyzkzNbvKtyALXDf<;xrrgC+^%dA8=ZWSj z`zdkE>fLu-Wb|ylvt%_v>{CvcS2*Q>ci%|Opkhd>yc7cJ;xzLMY&f<^pNgSJg}qy$ zg)<9l*@cXpcfra{YC4&risO4){|d!dT&@t(%qRGimGX|e7fvUUV`-r_(HYp-NB3=l zM9g@?S`-&OP7=jWzAnmw3zb&V?Z^I4V7hpd+~)rEsSH~X1>N|oAfg5?dywTq;glBO_Mjo%Dgz&_>W^NLdZM)sT_mo)BXT`g09QF&ZT z4J+dv$L!RSo0Ldi2I~-wu)!lg@V%&Em{n~-0MlUb zrq+R^PcF#p&Fbb^{#tn-Rm2CkG!2Ibqx-tL!!cUiRdm*CmB-9!DZ-BN}53Y}$c4IkNzVfNrV#vc^Ot9V{S zp-QTx%u8j>NGDI*EUROuUE0m(%>nD|>yeTi;maLpv6Iv>VfV_v=@n>~+(*joexJ<< z?ks3+52;bf7m*-vL7OnxIN)IE#jA(zfVN$F{+mI=SEnw|jufMZvjFrZ#Sq?*$i?I_ z?7Zf~^?#3*uMjfBSF#yddIa93jB9Q^;`C>76*_a2kgxRDNog6%10#GlE3vh}Z>Xii zfmCca8s&(F`4*Edp5bs|)3s}xs;Qsc`UEheKUCZFRyV2Q3=j;@38x(L43{9}fCoLL zPvQ?=D|D?yxw`87Xh%WIgb{kG;1+Ngs3~EO?UzMw8mn;{gB@z#EJc$VIBh8-&cIC? zN@F~dTvTa~8KP;Rn!x>Ro=G{#WX@3jc9oMO7zF?CKZ29kWYXjDYS9RIkjutL@elD; zATdLJi!sJvdyPbRA=pGll<}$_fXpfX(I(`_uF;Ozd2s;|{A)OJh2S`R+X$ByC`$_b z*?o!}l(FAk_%rs&CC4Qz!CU5Le5oP1_~9G+CK^a>*SoII+hw)b?0z1h4E7cgQsYVV zHY(vXuxYd#kn|=5P(^1z@$Tv}fgjc3#ljd#lrT|D+?=ju)vBq%Uxy40z+Qo%6{vG4 z^R9k3b-f$`rO)o8}Oh6=}flkRRO5j`t(>$uRfo>cer`*DHV-CZix4-I zX`{@_*fK3dyz9eJ9uh{HNiy>rpvl2jdoH()vd2Mmk5r~&$SWP zP3qMmun?dVdcrc!>3bI^cJ>e?+I7qZo9>evi& z)#>Wevj(KL#ZwIc;VF;ynNU(GM{0EmA6&=lGPSgJgXFi3;i13T>R71|Qy#MZFzFC# z#HGIAHW&YZvrBQPw><*4RGds1??XhmWK#OW?MV>Mif~FyKR?gAw!>=q%8s36Cd!XsDBC zvnG{Vc%P=3heaq1m>CHz`gZF}bPSJNB_L$f6k`(0H=7Vk6+>N3BTnr+4t-oWBv3(R zk&%aMNqRW}%&{2c9D;U4IiEIj{^)1!i_fn#Sl7v+*^o~Y6=K(0%;B~0&l1x(%zysf z>SW^MSVvdPV==BGkX=Wv4^;wRW7o<3$8$N|UG0t-h5>toF_g*<`-D^Gx@a;a2Rk{5 zg?inBF~vd0$?4$yq8k-B6Ffq@i1vtfbxtrhg3I*+z`Z3Mf~im_HA?ueA-Bb_ckLM^ zip9*3@VLH<8YfY{Q+i~Rk=N?BdtmgajYJKk;)y{_!QHd>OYZnYXjKAyO^8JJ25_f~ z)L^^xppVqcR5Tc@*CnMR#sUs|bkB>CEc?SNF6dw{@eXYL6Q-%v9sR8hi)7jY*r=Of z0$-{Drb>$-5F}Hc$<2W^`{iwu0pk(Xjk;8SN5iY&(wt?Uk9U27|4nUV{6)6eB#6AO z5nfzjmx-VBKt@RiF1>=sqH?UCBzmQ0ijs(qF@1vyQ;G1*Ye#UHP5}wyRh~4LRfl3T zsG47Yz@yTK9`lQ1U5r8z&xj6Yx<*`&#&YEcSVL9LQ>(sVv%5fN$V;}e$xtNsz zT8hXPNdl)!aMAEqEAJDLATB3T`06=(fa#+TWje2}G#j>OT!(GzQ1-$1V3!fE{StAPeKS%da^a%RVdh9Mo za8b~?tp*Q`dHE+|`Rw@2Ur!it?q|w*qdLyOG)&ZQvZ8r$YX`wZ>OHJ)oISC^3?0LN zTT$g+B~v0M+asY5-wge!`!B~bfuauM7RM?UaqoDkS=$>?*n4B8W-P_Z#!2J>uqDMI z8Z5epU^p|Vi1ziMsqw(rQQj87LvnCM;zzBa;LP+VT~7JWyGggw6%Y>S-_RA1Y$Foc zZ!l3U*$dxMi4i4c++-h=+}@#z7DO@E^5VVV@{ny8BfT)Mlws%mI&4_)Xg$G7QmF&| z8FnsEYRGxpuW`x%E?fb+@x>7U!dCoz=`8$Y+*_z#0@~8;f3>M~7}`ZEOrBa04Qkn& zRtQqsvWO79z3fERGLH+h{ppzI#G!emvVH-r5q_WA420XS-OwNO=pKTv!*~Kz2IEOq zbe@}25+26p`k+zxINreu+^U$K-k|D2 z>qOeAi;AZB<|&EEwQ~pqYmQA9yyXy91ji)-50j8lyiYrTH(`>3OlUo98&u}hh-FL5 z1G`W;nZo?{Y-=z@F#^2X40z5>FYMU4JOP(+bt&L398vetHs~zYi)(w{i;xUAzaKLt zGijTB=Mxonk?Hc6V#XBEIZ&p!H|bze5H7|kkN;pBbfu?(DI@s?=1W9=_>9oSPJfjB z4*Jp1p)(}n+;ON3qp3((CtQwBV3#>L|Jl(E6A=x=kLrnp5A#V{n3|TSu}C+@6QEzs zr4&qBD4MjGub?n@B~Xq~z>tK;6-t|H!JJR&@#mGMb4GXx5`q^XV-L509^`yM1e5OBAQ~DqH*cJ)IzxZ`nG+l-zC&4^}F2n zPakF|?gNY<_c6L;NmKH?M(bl$sxGgXe}U&gKM{?pV5K)s$y5o5S*neb9=+c|KZ#b# zx)|gVR$TP~{I~#4ic7qk>y)zv>4R05JTjR2Qa+zd;o?1f$ShDBo-sJE*+Rz<_* z`z)FTOW=ZVvUeL1Q#39Y7Op1Ag7<&d%ybDA21u0Z7qae|sz)xDjy_Tu+zuoGQf2?f zChs3Ff|#@Eb*MX~CR1m1PBGPNPa;CGCsZ(^t12^`I0U=|$#B2{r`fHp;e}dDNVPN*C>D zyc4l^k-Z<4yd~MOxL%a$4PdVvfj$_8mYSRM;S&cDU+8~{A~ZrkDJO? zcL11Xu}LjKDrvM)7B7fe({yWAEZ%FWaDO{I)_s_m(BM=f>^K&FiH&eLEp~>~{YUJ3 z`IuEU^Wpndd9wBU?%TB;q(pVgTjouzQ~5GE#!#Tl*>=Lg%s%2FT*%ky+k4vTGAC6Dkvut zV-heq6`)5|#(s+tuJ={_jUC)VN5J@#)yAR=k}-chP`4F7S)-w4UD;ql=JQS>(rFV+ zhzaeS9^*Zta3YQv9b66xoRGdS>E-+J@RFS-kh&UUf>^^Ykh5kGB%W9+*ijjLiu-NA zkKB>@8L;-;dnmzlW5xvP1gRB~(8*p2U0keSg~ zN`;{!>=)NU47815J8P)iNLFnX*yefoeu1!38S4$FmC+c%R`{bRJ78|$e~td#q_MrE zuvO*$El^X9q;r<(v-|2&v%S(yY;y~QLl3lJ{gaHo3*&Agj8V?3&Lg-?u4IPJS~gQR zxFV0euHT%t?L!%L_`*EuoXPQj0cRRK1m${)DWL`z_#YGSD0}-Z-fkXK1bfj9M;Li% z!K+$S>845CF-{jC;=!SaP=m4xvB&FBX(k<~k^d0ypsCSPswh?Mk9A+~D~nEW$<+zS z&Wz`DY`{^SE_XsXUvl<8H7^=0_kQlM*1WDSizvU1y`U1RKXfT>ecR4i=>PewM3ik& z1zk1fh$p@nUp_G7&v{w|(@sA!ri+ALSZX_(sJRUMQ-HBv0QpLi6u(SLpMpFYc zowvr3{l@CjB|iTIad~-}DOc8vH}*J^X*+7l+oEVAvWBE!PZdY{+uZcct>wc#B!^-g zZBj#zMK>y;cQ+ zxpROZ&Lcv72Gaqq4-9db4~tjr|Fr2g+Lkb<8TE$lC)&fd7zV+c=A=Ahron*shbtrU z!ac!)5szZAAQ>-|GD5)&suCRuU-O45Pn0%l#45l_2G54u@))01dpD3g0crt2`xt_c ziqL$B@YUZll~NBCPXrKLL2EF-nfUw5IsB2vahUY5F;rs)bIr%kKvNkFbbSm)=VAi# zPekl!ga`#?lC^O7!ybIeIR&!|qo>wSPO2HuvM~X(-LIt9�vt(Qcp#d}iVVUY-mz z6+jHFaX;5{cW)QUMoYPm7(oQ!gk~2T@3#c9M`j#A{R&9~73+|^$E*etfe3Xj&^36# zn-8WOID3#sTS1ckgRLn9M;d`}kkwe-|9J=t%MqGwLMDw?3KMFM+Ted~vM?YF!jsxB zo{xgo3N*YQlv2$}EK8g2jFA5)0+b0IEt(({R^$GUnuJ6pzv|0eQyU9FRX|-~(`;ML z?5}NJWu9MUZue`#1K}R7vHUS((vS*54jvBI_H&y8ho>$8Yu(oP%_?QhXCFWxX3Z5H zR+hwbfhg&emH5MM@U4q**T8r3C5uobG)uvyQ!U&=h-RENa*n_yjjL`(+R%) zkiUEOb7IO>baVLoCkzqb^ma$&GNYm|J^v=hT6f~mLG8`$a8pNr>*~LEdU*yKwosWM z5wx2Zw#7p>Iwk$fz3#*BakbUtx{OG)eHda6dNg6sv6m{=jV1hT6%`@w4OzKo_RRqr z<~IL8@Vh`Bh6x%US7l~%CnmDh-I}%5XebX6Xy!_zTT8vf2hr6GBPiM}|2Qe;K|Pg_Q2qY*S|z?xCxI!anm1jl z%W|Wog8ZlYl0%NCD>p7n?IY0dB<<9P*^9kP=?)G<7-6%Zm7h!M1g{XPEt@%U&%K}TmnXB`ySBU|PF>clS4gA;>$f_c|X;Ht}# zN8Q%$>$vpovl-JV{^GBq+7}!tef_8mW7yjQY4s=T2dDaK?P=q!`C^&p-up*+#Xc)b z9v-R8$%0HZ=k_;xtANPB9u)(`B4=R18~IF58!3szM>DFErX6jX z6Bbr9hVy<4yn(s?6KiBAEHl0{T;!P-6W9|7Wl@jfX5N-gif<4iD6M6$)1h+M49SA(+GVCx8@GIczu7UqbN-N&f zb2(Ef?4FFC=zQdOE@rmpQl4zh7<(DN|EO%^)gkZcleVF-eDKhpOs}`u$y{v7N6+9p zQ<9RS?JG)OH_o;uuNQ)q30s3*_{kUsherTbl>RVD2g;QUE6#Tamw};izLTnp+F)1E z;5*sZT$i2rnN%nU{o38MT}bz`b2lxt_}n45_!&cTf41YF>v+;_5b23RXbtcDyMHzgmBT@KewUESeuo{uLq>t{$Z+Yo2iKAB&B)@Ne9hjQz!vs zQyD7Gg$!fJONC@ZE7{8MNt(=uhW)M`H#LGEpM}mOoO{25+LEJf(iCV+S}(Yd2P;U)71d_deeO?7QEtu>uZ>V>zOc`dI6orSRPn4WWt!p z_2?whMxt9+pDZlIYn=jETEd<${QsQE{vbhY;S@D6y-Iw(T&c$he$EHw$o3heXXtDb zr)t<-ol%UD|2o;=T`76HK6%K5VYPg9UMH>43c!-ThnxM*uk(>F(e`&74E852 zXd5d^B+vh>&zYn0W$7QH&K%?+p=Fnly` zs_0?_jV9z!UQQ_#Gf$dom|H?!bVj=B*+RBRKf*{f|qC^PsfXQN1QOG%nFKv=U zRfKT=I|GDh)Cpi8P%naR>v>pz^&q|bdhUEo&_@8ZG6)A_adGen)Ej&>HDfI)0~nl4 z(Q!a(^E6VgcxQ?FI;bu-P~hmfX(QzjcnJM7qXGOsR{G|~{@B!g&{Sl>iSV9aXJldj zmL(V;pgl%Rri$~Ofg%aWmA?;CLc)>{@+yRYA8@F)BB);9M-uq(Q}?Eg_kq{Fy}Ijb zs3E{RyXlQYyx(3i>=b8XMHOx3(1=X~Zx6nL)jBZinMt?a+Em9ld9JUnfPik?8rwAn z8lH+o)Vmh17ilGl0Z?Mpa%}U6%OO8~swG5raqtvkKV~rsKTzPMNk@A2s`Uf(Ha{QA zisrW~9do-JiKwgh%e$MW>mUA>`^vJHvhWZBKDjjC;$UKInUch#!8fHz4lM=j_A76cZRsk`8ym`5itYV6 zcZk+@BdNwC$qc2TE@+kFa4;e=A2)oe2qPsKA1XBHFs4s1wjQJ)(qF@f>c_8ZAqqhB zHp%LB09%C|^i6VNDDr4jG^?+u?&vTItSP!c76rl1_#_u)$P%ccs8~00Z6ao48TzI4 zuo;|Xx>@UMIJ7ijwB|ABoBTvH9>y?KDC%+(l$jFJAe77>SzvV_pl}ijqQ`MO#tIkN zqIF6k&lLmy0G<_I!3Qyz1gGkg08v0Zc6kj+f1t?7zPjHb1E;3A2Mp(-Zmi4g=kTN4 z6{wfllb&JLr$eYVC%eag(mRASsLva83YhsNu zyBxWbfHFDcTIWP;g{s!8*gzrIsNN`RG{cx&Y0gUx?(I-XWb3>*#hfWu8JN_4^c-~w zch!1%c}$0TtRwGsS?VR;=oOwi<)$tK+4iMB4}7f^C-uob>i%_O>Lm%kWhELbWM0xT zn7UE~aRa@UiXlgqUWF;Ktr5U#!iP((e+$B9O#)G|UKO{TC`=9rODkRlj*FHWmtT6C zn!c`{Ip8_^jJP=h^)^2~k3Y^FduC>}LYnblqt}?b0HXQ!V2Gw0x_OU=lE~PTEz+;S zi}a?tVt0L9=Ad)4+7QK#HffxIL6T__*db5*5pKiuFAf|89Jzy|U-zQX&Tv6_jKaYBs$Q7B5(tVw2J5FkvvK)RGljK#bk1!<&6NP<} z!r*oY$Km1to7UEYXc*v-&xWEG#oM%E1~0<_byZ%{LM4$wbL*U?aO9sdLJ7C=-nZG9 zv#qQY*WN3>un|kgFOhYRCFwyVu_!ia_ynSNoMgwNB5f>*1>eov0W}4h#e7N)4atQv z26O)}&|1=*;I&A~1%G%+d`VezQN|^H@Cwj)SX9(1zfskq-RnSR`gVjr3X(^0Ii(ZL{wRt+$zPPSWsxlpZGuR?hddIG;>FF7TMFz6*C!os#9rg0(KBx@XJZnlNf zw6w9xZgpUf`wR%pCe(?{@$c%HLCtLNVX^eaNvy#u!zOi}{Hr-qC6>Eo^^jiB%z}L2 z1Yj9;=un`;m=~1-#>KUOi?l1!LE_zw0E;Vvo6D8N97~?Vlcnlr^NefKOxgmgTdXB< zB$z5}ZH`8`8y@nbGMrK~+D!I^$E9|2dDKb$`(iBR&jL_qbC$^}Hoi9{)S}mIUEnRl zd~e#bw-&PBQn*?%;p)+4Nd5ZvZRP_?LWmHzm+kX*cJPoCCq3A24Tm} zz|BBl#q0XuPQhtEhgdmQB?W(X#~*Nd@b*uPucuRQ$zB(|bD$v%22#Ivtm)$T;mb-5 zmJ!fdYY*VxkNL>|NT(QJf?}^7lko}pt@YC3t3aqKTWPv1_fqPq)Kj;wOuE!{)#|Am zT@hoeAdlKG(pypG>%*(7t(sd=b=8%t(scbhQzhoA{e5QFP|Ltz*7Whz>8nx5;&*u4 zsHIwUv1X;aqpDxIS6R1mhsb$dMCGrV>o;NHhX{Bl!O80t@csD;wp`}1V3j2KSq{qj zcbBhJYM=i=7XQZn_w8@#J<9o~j&H7CK;6g=Gt1lEe^Ii z?P?!gcs;PL9bqTJ9zmbiQ|9^O)0Mb5*s+T+>=vlE5(_%hS|6Y!g%TdjW_Jg#iN z?h8PhfwOSo-^&+X^C0R{b#{S?_yk$+M-oiRrrs0{F4%3utn@F(q+3q+hYF z14PL&=ygb*C5H~}Sd#t~8+z3C8OVZ4<^ahXLmq`RWu&!X140(WH$ zI8rXD`qBPw)1&8}B3S01`uR8>x!6)~zUH~iY0$Y-jt0zCc6qCRhg;*)sVS{;jsVuU zzV_OJd(?A&9iDH;nnYlDuA#OZS}DGMk+XWaY}!a{%qQzjvHwM}7fdzwwz#;8>{hA$ z$6b1eO2c}LRj$eUu1S2?R^!g}R_pZU;tbXGmHzY;0k&T{cyD#3U|;jM%`(+)y;gnN z>-&Bk)*RS}6-ATYhHqZGCLu#`dU0m*x*Py0c919Z}$bY+>JMsMe}ATqNXmsV0`2R0JR6{S<5u-$5?rE*@(uFckYvJ!dk6Yf8VsjoH>Oz+2--K%+%n%XGNQvOCg_>j5M9?Y9%@*Y99PrL zt(K8WEj3pxUuE%Ol1JfZ&QlF>W3YfcCol+&;j~P^LHTqXXyyx2r4ohvesm*WKMdBm8**xmmTNL%bfp2 zB!4l`Ue*hM;$pz5(jqXS;GpJ?B(WqXG_I6z#I1;RPpj5efKYjbOGN_V-^POf?~q>- z5By4J=8XY%-off$L}ZuVQVQr$35^*orUjGCrBz4nNFuW-mQQ7m=OSwZVMf%-x$%fM zPSMPhU3-!Ixq48T+Ydzm{o{JfarFM|+@l3xAP7g|A$fYR`f_m6Rq)G^Q@?_IR-X=f znDS!l$sF3w#%^=qH$>^WQ3?DNH}%gxZttyS41pyx{v&ABLI);UL(dkkmBps^0tUeN zh7>;3r;(A28B?|es=@~y+4nL7*1PA!CX)S6fatq~LRMCX=ezf#7E1krozdk)R_+D( zHWLe)7^#E#>&VZq?1;fa3su-U1)D)S1%1rmn*(J$Hka`Q>&6CQlC*gMiW^WoKvHH}EG0Ppc}tSz7FY2rmTmugL%PIp(v9c1eE=&!^u zL+i&eTy9)06kX2j%v>e~&sx4bf8MDsagFsY_<3v35uz#|Y~l|50_8#y@21&QgE%U& zi870Ev2$^WF|vy@GjWP>GO`GZv9mG>v$Bhehzl|E6Y>84Qgr{HDVmLy>3=_P@Rwxl zekpju(2Y6*Vu3ay;gB@jJ#9 zW(@@IbNoUhmDzG1h8})ucwGRv`8j^E7Q8E?@EyV{pc{wv{8gJ!##N`FeQ(sR_&QilJ$7rq z{JFyuKSZ$KN{RJ9?je`Q{e`ZR&pd&^o3InLn1JdlkrRc*QVF@Sb z*)G@b3@N9goms`3F=oe*mWShIclHp^eTPE`TxU0S|EC^1Le z+xwQSrVv7I8+NAkJ_EpSU=3_5{dx=0rollV8|*5rMlEGKyw9?~c-vS`W#%@2vI<+* zH+7|z+VI!j@RQZyh|b~3)o|5a#9OKNMz{e=KlZ+?Yx-) delta 16406 zcmajFb8O(<6FypZ>#c3uwr$(o+WyqGZFh^UyR~h%Tidqod%wSX@4q)Wc`}(yPI4xb zJacBArES>EZP*Jv}lbqwXoVRkb^7=>HfOw3VAKOkqC|Bb94#a<9DZv@hW7N zE@m8AqV!lqM?JqRIhI!uBGSv|kbE}nnrg29WQ%j^>dzdqtg{b4#%agw|4Dt#h$te+ zqJ-4Dv4>M05^wo{1qJ$&!I5o%E*u^NAIqYMm_tSwNtQH9?8I)#w;k_`)H!@QC5bHF zF83}2`E;i+O13Ho-VtBG69)3fd|}3_=l4FGbL5{Jp_hB~N$H7`Hg*@}L^fRmFUMe; zET0@942p2$p(h>fRapxd&u|uu(4@==#4_u5rUGT?k}QI!1TXYTrluu;FNiPC!cD8h zA=6o`Yu$ci@ozICqO@+w6A^}T&+p2J15$Ob=@Bx;C!5x`5-jfI$%)axzWQc}Q$wDz zwU%Rv;>)t_BBJMebDTo=(vU{oh>GUs%3KQpbIpINRw}3()w~PYI_z?Sa`+Hra8JVW zQpC2Mlq-0WIdtP()$==m)%BLMnt~qko-9OI&#iwe6+;epRpk1>7Rj_RzCcJ&=87FO zK|;w6YSp)WH`N{A8$y;Rq7=owxirQmbvbT*_wj3FIA^eX9QM^%NU-4)8$$BhvXsl^ zR$Vje^1?bh@K`=Up(7k~zEZUT?{kgta}hnN)c05E^A7z^CO;Ig>3U(+>%2&E4xz%E zqcQhyM+wV#l-#)23WS6}AMG!E|Aax{N_1X&xiF(5lFVUPB4M$Tp`-+GV&)4pdo!eql`#UDwatA*aYCgan!E|Xd34%u1la)S zlJcERo%(9h8zpW78pkHldOg_G>=Aw%*ga{r~@bx~IDl_>((6Rh@CyXZ;ezQ+ZM zTxk6$U#<}}Zu6D5csTac?`HK}Yy4!4$+CTUJ}261B-#bQ#oqi^U^vO1DhH_0Nyehk z!vGgC12RFWDMh2w?8_rKu$_Te6j&sr4CN>XY-CJv6d*r{=c)fwnFdv<@jWJqVbf9W zpMibwwYO6HXL5i|k(z_d9J%Mosa5M&e;=}4g30QiDd`csowSG7{kiV2}Qoe^+6Sz3J&ev_PjyU%apuNNycc!GdEj=P)O{Q z6x-Gh?F3LtqHhCM@&~pl9AM^TEgaquT310^{nz zdLsc$ZAojn?m^;V(=1(&+nhZg-pV@|q~}&`1}T(Ng=0e~EiJAJ!l)%|77kRVM$l&_ z4UQ|`UzWnczWNVQGQ(cClg_FVJu`g<2i{sgN5Lk%2-XAx$laFgO9=7Cx6;cUv+1KA zeuMm5O=GpLSf1_!y$n@IH{OI*07QOLb-MwUDRpC9q2U*ss(;>r$_X=J$AA@>lYsQx zod9n-%ZaWs^2zjzVX3~o%RFhlzo2$~pGZ5p3Yl?{B6>a@qlF4IU&+noTCunv)8;66 ze$?U*!oM7bRED(;Kna%ApDhindwv6C_i*(;4gFV4o^IpegmMj2{B6(kgLQ8 z&cvZ_vp#zz#m6lQrqezTjbaxf}$$31|*r>m?vhze~=11^r`<`WkM6PRzl1eKh41%bawe zrQJBOC+efjBndQC)34iB@C7+k8-h~SSjQu)BEGC|btO2j+W^cvlCP_Zh9OJCzT#o# z);rq_oJ4!|83!Mxu+bp4x);FncJAC%9qPdOv$bsk#XXU4$FKKQPIE{)O&&bpn)C&y z=%p0hqnAOyMde#&6yhC)b2P0@c)S=%(Q395nItmRhNv?SorQ%z{;6t>yJtztI?L05 zfH~9fEdZ#;G_-P0E1v8optBke-!Y`!fw~%gcJ|j&uU5S0lcd7@AOdha9kyOOIGWnm zF&x3!5pH(H@n)K3gf3&kTfQ!h&Gq=XMyjRwI^aya52VCqT`nE@K|eNfpg-1(TzolJ zC4F{0YUK8BQQA)gU}E>v7;Q-2p8BIxAY!JSZ9Gsg>>UF`%R4VMj-G| zF0V`jToK^NZRj7wPWJ=icsn59GnQNb^gFwkt(C;YX%=?uv42z+^Q8%6lqV*LJ8D8- z4T~xdat2M+Lhqewm z^wzr#ZiC(4&-ke4L1oLGeIG5qWI8Ub%(T%v4%O2rbvlQP&mEBCAGf(3V`@72(ETHl z+m7vcN&xibL;q+L?*<0P9O_?Mv|kv7lcpg;OeX;)vJZ4Qzpv#DNAyZH~xpfIzKlLjKfA(wcIf|0C?PMl25m&=Q>#cSQ=(mr2CI!xr3RsOGUp2Va44D?ggCTLJYm!C*xaI$ zyC#0akc(kRj}g3n)8iRd+|2(4*XbI}50A?rnHx&M{q_Mo-l1%9gB!QK4gLBFVLP^J z$6puAwpw)Wj(yxo&(2WsV5A(iN+bxNh9zZomDe#zWRlquSX8odKNS~*xvp&EPyW{DG;-P0 z_jTOo?k(0n)9u~l2BK}yi#wzSwF89DZk$XGbl4N(s0Q4;*TX5BO{_!;`+5k|Z3Dq2 zDOYc-@Es@KEi7+{o^Ci zXbxuM?3!)WHRZ(?NwC+qHc4bGt3kkH0OEqiQ+&30ul2lp_xf zw5x#H3EPLU!#PSF5AmuXNzv&3&3mj9ZTt`21Owt*rsiNbJ>y(p;FwaaDw zzqUAA23D73{^K-u_Vv~O#k84>acffym zOopdIwcp1hn9+PuJ7@QDa9-!kfD zIIU|TG%4J{FLBJBFLz@Xq?<8LXjKBz#%})pp+(yIG;3CFyu8VTD*ia=Z9OO)m+Kct zxVC#1Z~JMenSb(N?wDwiNRvd&75{^GMdt-m`y6yF5Y&1I^OPs6pM=oTMs&t<;VO*A zXu3#p*ej+Mz6h>(D_nEiSQ6|fk}`tJpxyO^KA zJ5Vtcl4+Sf&%Ho+TcO=Z6|osUNJM&?Yc>|g1f>?6K_ky>%&=M(rGj#SS;Q(p#FFY* zcLjBSj)2R=hv-zFd_P$Y>PSjD%vr#u1k18rCOPrb*eX-LH;cm5wEW+}E98I*A*nRV z7nqPZo-+jOa{wpZ9XV#-mKX+56PNg+g==#?{;%T>?b2sJSZu&vUMTPZnW}R^2D({A zz6gY3M%6$Jn~l1>nb_=o>1WOAwsVsL^+&$*uXLl&r|3+&9+G55H*ewcM7-b=99z48 zAv@f4K3-!vRWOwcT}3i?6(Fl0>v8BC*0F)qih{LNC)%i`rzeG_-A!MB_DonC*d72! zr_*mZ%lXr7mPRO8B=%9QytYV>>S{!3wXKoxxn`bo$0ZRw1!3wl^Zf{BvD2eb&-h+w zT96h;@|@XrC!i26jqzuzu=aadYeyI|?D+9IFjkm_ul<28o~y>IwwsH=Ib&T!!QS2? z3b^a2@?$8Ckl~TOry~LjhFlk9bL{;E#d%d*n(oY4yDpM5Vx!hFS%`>S-&G!ISS;fz zj?E!P$T?2ewUjJiV2@e`fUM-dtldK`$8(Ph%JwThS~Wvvg`OfiXva0dyw84!RDCq? zUk|xsBVBh=J~;P`Fh?J2R^2>x5$yfA{%6I*-?o87D#t+L8E8z9ko|R1R7gL=#)R!gx@{xE>L)&W&@qYOO?!MQ2 zm@*1kt9l-2O_fL*NFy0s^7Na%0tI7ctrs%F=)KVT-ZES+?x>nGY7A5#lvFK zAD^rmpY*Oj@*BvyzFyrqUU9hYep9FzZr%E^(CN40XszSmXPRl1;3%aDN0G}=MnH=z04Pw&5BA6NbkO}(^t*`*r&c-yqr72k{W{+zA;$t(#z&xZ7` zHBRyiFwdgDB@|enyxTurFqZ!~*z?rMTTXoZ(ho_?9yqJ_^{DFcGpboesX1AO+2p)G zFSYRB;#0L0uu}y$!rORlTf0*Hc9vT`Yg)UG3npmJS-UUO0O}mhU<6-Hd}ih<>Z7+w z|E|TdkK=6NMG$`89bX#@nahB~o}mAT4*Iyk_v2t|u<@dJX@#?$BP`YBC>tm*GPTSf zV({A1xW{viRbV`;Qsy&0?9i;gYoNqYhV|#XQ(H_ z`edoq;o8$#=SmwcUF2A2#;ei0``stl0N4(x-TtHDU7kII(Dy<}$@FbTAGv2%9U~5X z!dcC2yJ{Nl=JNdC$qzH}?b&zAOgudMu|ny@RgsXEEyyGD%S9K2$) zl|YwvCn#tq5%?GM8{4>kc>H?BW(SNqGM9fMdWJ9=vmJ3E`F?uW#I>HV}`!7-HIJzn+D* z49b^)dF82ICH0nJ?53TksyCS4ofchY!Z<7 z@kL|}bu%zdBVakd;hr=C7`O=IPW}s+G+Om4oylfaw zbqXKcqK*lwZj6F%@SQraHGRv*#guQ4Xep+_ud|#BUa6cIZ`$_W3*2g-`miUSr`8p1 z4VDE^@KJ6tF5!feM?&sUl}mlfx=oxb-a&VT9+m%5FFoIW>Mh|e(Hz@r0DdO-4QFl% zmlB(_!D`0i_pIure$yjOf(3XLf{}cs-wecA)&69i{hL>>ky8_A9-W6-+ZF!NkPEle zkCat9pZ0Q};NyXB$)l=gjCUhzsDhmIjjc!llgH+$jwMzGn>?SM8%af!wh0wyV}|i- zMnc?r?#YwM5+|xxYZ5;|f#|=RKO$#BkQ0`4-1dbML|WDr5JKeC>%cO?B~0?O?&zK( zSrl;!X;mj%0{>X8ZrcYBTJ}TX^i_5`5lJ2DT9-kIlvUa74BIjl;H?vl@mU9VH?VH} z$g?5&4hc+nk;4LQuT0sKAk{k1l#s(FR$ihFB4F(gaJC8|yEkK62QUYYaD*MnyxyJ? z6JF&8i*twtn_IDkm51~;U`WlXyrqAVN?@rV2G5h-mmt5r?b?!t;MZ+PiX5>TL%`5S z;z|Y;;Y8%&z+_f&1QGtf7rW{#r|Mba296iLx#Nm)pi(e(Hh(NT6^K_a9dJphJw^p| zYUOACmkTyPILT`e0#GbE%tw;Ciy^%Rp|uWaZ11fNWo-y(Wsg~#)x}qCI^w2B8g2@s zoneJXBK)~vVKOTg2#HK&`RGNgrTALd?&HC%!hu2@*2ArGwZ?}L+QiyJG^CZrW3rU` zh%#8FH>(pMY+8ExA=2JpkW|5glMpDMq67$s3NXNRYhn*z>st=XsziZpJm}QL|jz@Gt+avdHKnf8bAX;ik&D_ z%J<@gLb9>}?9Knkl&N&;~W z7Cx7I#YjK#{<0<{PWWTV>Bf(4bKzCE1>r#@qS~9qbi`O*iUSYuW1PZRe+uii;(IaR z<=|#DUks6)@V$qE}wj3nse*`QY4S&?{YrSk4=no@c zI#JQ=RISBW%JiIuNz~+e<+!o=B*UR9cD7X=e%T=PpgAd?4vd!kl-fUbv0Sf8!Cpnv zqd4-QN`M{6F{XLYoPqtV9<^sfRuW_gWTB&|Q@|E~^~9YY)@`s2gg0x>uKNhwojX9Y zx?hORg|C{*C!)nBY#rtW8;2GWYroM6jr>Yqu^O*`%_oF zfPHzq%!<_ZnUv?ueC)>yb$mCA!F(Wb8Ru~)qctcsR~JmeoZ|}Ep43%B-yb3q0EU#; zNQNv8@{H}v>dnGi@(S{d*(7S4Jl%Kaet!Und6C8aPCw(VXCsqft&3T7_6moSKz*Nj z%nh0uL{Zcrvzv`_zSNSSGNs0C(t_N(?M(dhdyJfn1eAP4#{cQz(7bfo z3W~WJUx$_PPI77L{7jDeQ&=B5Cp=)rCn1_6HiU1go7sBavoW8kzIu~#5#BDc^z?4g zGeKz(?k;~*hW?W2<6*if6`u;-a(g-4v5R?| zK-~7E4Jp72rj7BZ2pzKol$sGC;|R8wx%y#14eOE1#d*D3>eQ~=ZAdt6nHA;AGzSp~=fzn2^V12|{)DZYwN9V-?mrWNz^ChYwSZq~toBVN}7U?fgkUX>;FI(s|H9k4FfO!p5ds=-U9n zRS2)}UQ{8tAO*+1gB9rIb8e}BN@enQlL^&s42vz9ZF8W?I}25SP2`Em$XaeFm?qeQ z!V<1=Mu%?0Nb7Lb&>~f>CeoVG!62tMVrs~dl%`#Ujq3!eZ6k6~|)E6Ikrge_KRA3siPAAZCcYDPWf(Ou5fVcK{4I{Z4*O z=`VU|wn`PEo;VQf@>%2R6-;~T|brIuvQ!e#%Q@)4x{~7%kms-U9Cs>4f*;SU6>iD znU3-@m(39>cdMw-SwAbMD+j};DvkA5+sP|qE%iIn+nG+TOPQKesqPn19bFEr#)3I{ zsTGBW9^UomZ#NwSSH-xO6PxAXl0qQSOirUrGIAuIL+IMw>z(_>EdK z(!1)THAlsZRk@$XCh-Bujgs2{14{*b@P$O@D7b`1HsaBTY&fPB<2lE{qLHvl2RB08 zOHoumc;=JZLwm|lMlZiLHU6v_*P~`}^Ur8Qp&p@EqCWV`4W5Q|a4_uWyt2M^59$r*N4D>&z-lYSTN11NM6y&culUr<4;7Pu%#Y-X z;0X6aQJy&WU^s2s4`%xD{7}l`QZz0`{qxP0t5#5zLWD6r##SmVA3msn%7^%k7Is=> z0S+RsG+WGdeW&zC>M(ohD@hLE^!F>meowVN^Pghb6i-w1iJo3Aev*Ziz>-tri%0-Y zCCl8}ZBLJF-txQ4!lGgBC3^Bp=tF$n>Ln#BD|t$8$0j3uDec+Oi{93#t}1}ifD>rYv$IA2-}qcWN{BIkJlQ3H2ez@l6~mwjWf zZ1Q;OJVQ=BnMGybGRk83o?AES=W(;*=on2tfb&VHH5 z@97aGJD1aP7(X`fc6|Yy0?C76p1mbDk0^#eI`J#HiSpV!Y9Df*A1=5zMvv&tkW*jVyVtlD@hwyONMnZ56gl0=nzXJ- z&r;_(S{8e!m5Um-poR{+ZtupkqUEw22`8k(mnQu7DTNLr!Mz0Hv9PSSiX?yLIBI55 z%R2YTX`=%vx$tEaALl#L)nIw`Xe61A_9yX;Xc{2+G--@FG|K8}-i_P@E8!+w)?yi& z81Qmm!tkumNCH7Q!d2zL=6_RTc04>xXjnC8`yT>RGe@$+@BxFUb1_lk{}lM%jQ2T zR2ne-lc0I@G7u|cIn1?p)foPd$Fsj8%_NSEDG~YWK9+`A(lZgN%rxELg?U$a!DtZ# zvUol^1r6kC+kB#-FE__4ZK?sSNG(l%oXYiH+95zQHFb^`$Z>jTtk2M5Mr^ z`5~T)ad>B%LBb#Q`e@wfkGb9T@dOCkr*{a)$9FEr|oBbyh|9p&;Ijn zc)i;a{S9c>DP#jbx81zYA6|^Vt#t(?qW~MjvkTFbPVZ+o1;g$6IjkEZ*c8xx=mLFkz|L$lxhRh^xXeMK?NUv zgHYOE;r(xXm;8?$4V;sOD?Pyvj2dWGlXci&g71FTe9?fk`uBpqQEoi2&L5z^Y?N*X zJ)~hm-+-odH~;mXSoDuWn8_B>`;Syqk)XdXU6EZ=gn%BM!n8+q^!Y|-%vqa3*@RVd zWYX_A+4_`d^PCd5CY$2x3&|`x3qj3%!fpNSve!mQgCMx;&a*+=JWUwh$$20u(^yi6 z7g5DQ+C6y!p;ZB%3}BOK!Q1B3YATUimwYykqSp675&d^<>EcO_Gm^`e_1hvi0Ca&* zdhajQkL-P3BobPc;ajOy9iI8!P)NX)n+MH^v%~vyfO`94wRucJbJAkB>m? zwWrbkzD5O+aP11y-&-eq68Xg$1;6m4YW|kgMV~idiEu@yh}gM#a0Ym!Fs@ z-lN>~+O#Qmn~@wBetbZzDm)A`Tcj9{O#TU$1kh+^!S@=O+!er}a8ADe7okOgFUJ&P zyqrc~QQluI~z+AlaQdOO?noGJ<< z{TLWa83YSuzLumN7Em(>3c9`H&D$Cgu@$4eHdF9ayob2HnT=D-PS+@XmZiT7r@1IFI-7=gK}DFJ zGfdKgjGPmTgARuWNi#mpyda!a4-$KoGhn&4Xx-t97Jec8VDlVc22IV|mqe|Pixdqy zwpuDUK^?($!mF?TnbX&A=xA2YfWgaK#D{U%I944AP~}HSy0P0zB>!2AA4;YiD(2+y z{0Qfisq_<&dto{f9SDy?TDiR3SJ&2b;C1o?%V!+Va=)8-aU2Raes*=O{v?pMP+xGs zUt#q13_ct?<`;nH;U|1??3OyL+V|x6KDs3_S|77YU5sCOYYzWsZ@D${bm+w&?EeVd z?9vkgUzaHi?PscpxE; z&XjN3`uVj?z7d4+H`cGf5V+;}aMtY=z&%b7U?OlJs%;#9rsszIZM=)#Y{WqXFr6GQ*0)V5xP=RzXUMN8Eb`mC|DrhK zkg`A2%w|d`B{zt=b6m`6xXH~e@_jsPKslV->7*I|9BZo_mXFmB2^4>AsG`(d zFjjZbpN;FRn3f3c8f)fK#&R5!4({SlN@LE&NMH>GvBjW&lNic5>iPPD?ubl9?r?Gh zG$Bk9AB_w~I>a)4mHiYGx z8{+EH<0utc=|Obu6vr8au8tF5yco&rs=t}G@i7R>&g@|_`Vu4JWyyN7%26zU&HHAq zX@Q{Ae|)8=bb%vhFqnzAH{Raya?vd?8#j;PXWDsSF$6_P3M>Ds=76Agm`L;i*SW7> zawf6)X2sa=Zr(FH+b=I@V`1*r@0wAX-0$cK2e!Y*OdprG-ld7_3@^ za_Ej22< z^(jb0*ift%sj&&5{;mNI6g{<#(z#~LoZUygs1Ibq0zX0-kz&w_<;wEi2G{$a+J+t* z>Lre7liFn<(fI)8POn}<+9jFIyPE3p)l_x!hXIXL=GTrf*tS^GP!5}FgR8phmc&#! zt;c+yg6|I~ZEIv-MU6A?y6T7bKD}(}aR}Uiu4xF<_hss%Kz-n#OCY)NzH{wZrYu5% z-#jSsT4gdt4pf`k11b{j%<&m$7J!ot0BW=@BfH)BXKe%uWA7r%nijuqkjUgB0Yd8; zj?I4nzNSZ$$T_SH|ML=*JV%zjT2|64>a+s6ZQm-DAK#_TLyH)rhljfk!lC`U(;q&D zZ{OFPZ^ABzEMVg8xB-uILC5)$afUKqW^oG~YMI>oM_r0UqXS{xDb$r^wX!MBgXk7y zrLv2z`9|Y&gr1#0Q%eZc{Q4|MT8PkzZ*|IG|G%8e z4Ea~rRSzbb*o@GRhmQmNmm&!t_YLCGN3R}zqlR-2NJ3MaMeOn)jg&OL)0Sv4aA`Kh z;cdL2t!=zucE&_3EKEAou#EB!W@5&!=0sFtJSTnYsUOOc&1u8w2J3AOELw z=79+V?6AU8$VK%EA!JEtGCYMb=;JhnLM0*023E#9YeMIt&a=@4yG=K9gjAMdDOAvz zuv{P%wn49mC1W-xVuiV}v(mG|f71J<&H~tRjYor%$&Axl`>S>kQ=S84`(2ShNWtJ# zxFX$yFcgAG-dy^iPds-^MWoRTcoW2^JHf>PbY!X^utiWJkOQKiTZvw)dKs8{T)gSI zS(tece1FZZxvvUc3zdt|6r{kD_90%29e~8m(`M>osq}hMRi+J=VF(wu^ZcD=O zg?B@_R2ANR@M!3|B~kH`qkfS~c?>(ls&nRN?Bpb%0Dj;ml(u zKc~1-QGxgNdxq0*IGNk2r zk>xSxhF-s!##IZOnm|KRCxbPp_!`xUA$r*$a>4l+lx6mMSaG?RpL4|vM%)m=D)X#~ zOhUeWk{P>hAP~&xX`?hVGX$ zr@)HPr~_M%5GnAx&b`IY`x+-$Fe+Ux7^gWflsJJ&nCG#8l!h?$q)Dpie9u~F+8K8IK%1AaD@)5e|CPN7Ac=1ToFh;0iy zRbj;{hytL~48JM`_L9qFgk5g9rR5#bQ>jqSi^S308&6YpDCQ}Evb4!`Q^-!cUU$C- z5J=tTKv?Hhh=4*!>7j&yqK4h#!QXp#u(YUBGoB10*<8Dbu&<~0o@sOcY;&t1Q1dQ% z%TR5E&ItrM`?H1KyMn-2(lm=tFsmi!r?bvtV>{7mtEX@%c86IaFK&a-it#|6+sS7V z^f^kE`$dE^LDIE>ho5>^;w_To^E!O-ZQ`-clS*;Ugd^RL$(Al~dJXb)7BsDNkp%zM zQo!I2iTEln%#5lIfv99Kq?xCXmH|%|j00U;aRfdU-OG^W4|A|3va9>bJp>g@k$}E$x{8gxv3H`i(Jq^v8(vUue0Pt9vd@F!6yQ(9UG~C3qZ+JK_ST zEuy7tVIgz96Uou_eD&0(wMmW%q)xv<92nceT#uXtv&2?}`Rv%}Q^~u;ps70voYHj( zMWb;(Q*2WJWaC>!Gqh(szkB-eJ>#J_D!V;O>;5$Iv5?OrK#* z@CQV{TiMuDRrNzs71$=&o;)pDYM6O*?d*y%zU+d5t%Unv**~a`t*u@ntZ5Duc8a16 zsrzifW(r<3)t=3xF1qvttSRmkBzjj4!&nT@l|x`zRMbYM;IYDUb}4W{BfN<_PAR)< zsHb}wcbUP|p{*3xP8`3Svv<_j-N>d*wHMRU=5}*ER~gA|*JR|f8|sWjhvF3SCY-DM z>0lgzqbdt~>tt8>?hDb0(g}{N;|CJp>D`Y0#O~d?D~qnY^?WF4yL&sv!RTOM_cl8j z>6?$w|4vyNDBNfPg$|9 zcIBb97It%IRWvl1abn-PF1&4AkqYIhUj#Yk6w6H22Snvec4?Y?n5+ABa_Uk>t5}DnB!|6hM8*;mfnf9ut#0 zJ=KP~7?}4s8J&=|80lh5e{~EQ&;ROtw-EJ1xwiYA@c879Yz314dm6X39A0`&lv95xdM1c-ZlogemYutWs-`2YP`NSR_Dh<4)? z%{d#gtX#S*tlS9YgL6jkoN+18LOj zmQ@|QB+08C%HTcJ0niz(H4WC^@t?7>skLtokK5kuCv-ka?{x3y$(ZF1hI0+q6&}OR zU9!wy{MA=i`j4cwc1>F1+WP>S;qeWyjq+sR_BAlqK{$g*eNj(pJFu2_^DSxnc2vI^ zSD#BgkY>KhxE{hV@wPm_gy2=D^Eoi5IKpUPGRiB{Z2#0MbL60XYIUW3dUd#i<^D*0 zd5i$rDIb2kv7EcA2i{_rX1CU$IR$(_jpWbxgPctpT+zf0vmaQ$YXYM_5tL$ERJYj^ zq^Md)KQR+2l52U}AvCL>s0KymyFf#_;$n;ADSJA-;umu+`8WfxSLLT6K4$8Iuu6Fb zcT8ntmfvP_aD2hJPW74Ju@~$1vd`!I)YE@m5vA@KJU+dAo)g9ie%(KuY%+h@x$v6O z^w*48eOxoQH4Xf_4g=V`gwqELe$Yv93|(sc z{=wFzXIOXgy(;}|d+U!lazrjsUrezTUICn5livA>EqnZ|L;y$_!y`VvBD|l^1PWH6 z4@6<4N`pvvA<&+n+1ehTh#=R(Q%s;$sEAI9OWFiWwnCecq@F>Iy{IwdF#|q+Dy=Bf%70oX*m8Y-Bp^7-t<>DM~)yfvV2cB;Sy}0OAjcBZc3}iIrcwcjZDr&Z9r&QtkKzarWv*T#+^3n>{V;k z_pMo~F*e!!6B5u=ca~DMvn~HSt(F{>xon$hy^(2iKFRr_i;vqfnKC7ZdKFkLZ(JUk zpE>54k##|$davY>i@nXmifprtsC}jO_HpU)%*}fV(uN^YrKkJMj zPi@Qt5EZyDnLr!g!O4@G(e9u+>lUXjUeaw4X?Cq<*u)>y4N|Ayu-@Qvu4tL<7~8(A z@G=Qcy~xv6w)c73S;FJE@KD4|4lh5yb^a7`EJWGv3ekO#;{SP3fJhwj-MiAd=%-5s>5GfRg1b#gYYuB-baBrJM*f zE&r-+#>WcDl1ayTWhTe{e_)r*j%+lZdSC&IX(bkv?$fBa2_HQ})_m1UZd@ebV9Xgk zkypE4;>;`(CsWm#mgv48FaMKWm<%;7T>{xEJ{2 z4=W2{-7pg6%HzSxnrpMaP>%^gjNx+i=@Q=2(PUfbJxubdT{+4JCk^-k*~p_?D779{ zCM>8*wH>jLjT;?=RLvAlwRaGJ@d+)m*Q1e^fD>Q34x+&e71j4R3D&ve!y=UN#-al( zA(NEU;&|_Tss+(~VrF$Xl9T|x?^fagql2|SK-zN(sym`FP=Zu84t`7_9zZ>2^G<`X z99k>-{OG`gW|XkM1q+*;?GV4#a7YZs=M`JJU(BBunRu?#vsBw!<8iRcT~R*%{OyH% zUDddu5{-Y-x#_m0`NDeRv+`xo#$(8T8@~VCw`L4cyH-$rn3g^_aO*9{r>lp5v+3d@ zZ+DeCR4DbUD%Ey+vic3Hc5UfheUmEr=JBN{uZDoXYU|(TZvp9(91X>uZv*yRmyg(| zjScUwj0D(~tsh^|W2q#Y>1DscoD^A^#aNg*n7PETMHDo#URMqi=2mi}zs zM_u_47t6JP7-b$JQHqRKI0gYL0!tQt$`>R?j!dFksO#I((cf#D$EWVYzGq8x5 zv^)UCC0Uc+gv`+=ZUZf)u7ps$_>^o@0AjlMvhPK|*vD?eXJ&vT-X>ZTz6cUK3sGaQ zQM%#~hEaPC()DU@lWh!V8)`R;*ikSw^=|d^P5s%~DJ6h)%0qUm9eiX_Uju73&K|VGLVl3{~4t z_bSoX7 zPxZ>B#!v?tyF7Y-&Y3H9va4rGf-QMI?<}paB+om>+fLS76NcM6HI~~m_B^0U}h*&_+hLVW;Th>Iz*qRGrzNs-M~-iF)i2P^xt)0L@=yOu;k?8 IiW0E@7X_H_g#Z8m diff --git a/pub/proposal/proposal.tex b/pub/proposal/proposal.tex index 8c22167..c2d1d8b 100644 --- a/pub/proposal/proposal.tex +++ b/pub/proposal/proposal.tex @@ -54,7 +54,7 @@ \item Procedures in checklists must be tested in simulators~\cite{nasa-design}, which usually means trained pilots test it, as the tests need to work consistently~\cite{manifesto} (making sure it's not lengthy, - concicse and gets critical procedures) + concise and gets critical procedures) \lfcomment{Testing for what? What's the baseline? I guess you will need some kind of evidence/argument that demonstrates that with and without the checklist results are markedly different. } \item Checklists are usually carried out in high workload environments, especially emergency ones @@ -85,7 +85,7 @@ \begin{itemize} \item Can be done in an amount of time that will not endanger aircraft \item Provides reproducible results - \item Procedures will not endanger aircraft or crew further (Crew refering to Checklist Manifesto with the cargo door blowout) + \item Procedures will not endanger aircraft or crew further (Crew referring to Checklist Manifesto with the cargo door blowout) \end{itemize} \lfcomment{Again, explain testing against what} \item Results in being able to see where to improve checklists @@ -134,7 +134,9 @@ \section{Aims and Objectives} \subsection*{Aims} \begin{enumerate} - \item Test Checklists + \item Test Checklists for flaws that can compromise the + aircraft or that the checklist will not take too long + and overload pilot further \item Test multiple conditions for that checklist \item Find problems in the checklist \item Find how reproducible the checklist is