From ad0e5ca35a3bbde530ea5ddd88e1248f4292a5a6 Mon Sep 17 00:00:00 2001 From: Anthony Date: Sun, 18 Feb 2024 17:59:58 +0000 Subject: [PATCH] feat(proposal): add description and reasoon for designing checklist --- pub/proposal/proposal.pdf | Bin 171040 -> 171433 bytes pub/proposal/proposal.tex | 12 +++++++++--- 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/pub/proposal/proposal.pdf b/pub/proposal/proposal.pdf index 5301a66c3ece5b31f8f535cbd71240f118c04101..ecd9565f58c8afb662abfcacbeed98abea0a84b3 100644 GIT binary patch delta 10249 zcmaiaRZtvU)Fce4+{Wiq55K<7($+59AT%7D}f@WdU~@ zsCcdk;&%PfcMo6{(EfplmS*Xul&vo^=iu@L*$+uciO8lS#7)S4eZI7mifbfWavc)e zY3;V8*}9~|_K~9O=!yyY^Y?l8kA5ynf&%MQ`gQa0VT=ChjNK@;0QimNQ)^_Y+>u zf{DUHc7>wn<>9{c=YH(`6`xh-@@h>WM%Q7)RX(g~_6qEBP?MU$$frbO zSE6Arvh-PLT)pM;UMdOazQ$;r+Wx7R;!$clTi>!}?f{)@e%JKXLjutU=@MT1>^??laxnA^6_W(rF(L!o8Ckoq4V^ zXHY|=xch|%dkQ=Z`dnKrAfV5@fOkrZO}g4o`ne2jhMtgGn2Pf-{kB{1w02}} z*h_IQtcv-n0Oy0;Ko_VS(FLJGTqpBf7goYk#t{%D3~}|$^PYY8_c#kmm6EyMLcwg%U5PvU666#-Z%({gp5+p)z!1d;`GME+M~Z7((>yC{gP|$`U@{Jg!i|#LON!a zXK~aq_12Fzhos#N>85Z zCXOb?{LvlvGXVSa;^~W3-+>wZS<*#lABfV3r*TwA-kBpYuv<}iw354LbvAwJwe(A4 zv-zdD3tI84aS_h4=VStbz&;;8?Hbj-X>g9Fni~TLCO;T$Mp9I3kY>rS2zlAdxT$;^ zfkeml3FBI##g^VEnISyxuMc(C$(d_bhYkZfK~RZLmi-^CI9Ee5^U@opya?xQF{NC= zxc1fV5{}k)K1%oVo)Hee)($ALY5!c=rnXn79@|9+6%BB%i`oXR4xyu_w8bjwY_@i{)3Y#@BCR@_-iiip zR2pq-lVJOh;k^_3QM)rOvPx9s-f7^MGH!*t*pLja7DP$u?``#U3~MYFrCGK6x?q{l zNgW|{LVq1~^ueeO1zx?U5M(n4m>oDG_q-Inxs0Sjch~$7!h;>J&a}*Pt6iJGCA0WC zZtR`IWhzN*BYiuhe(}zcJ=9(v7sZSX)S%N^&kf+;*XI4H>7!kwn*Cf|loFUmitDF6m@DLTnk_hjAz1i;CYsyqi{v?-TThrmQLhvyy zCLM9{I~ihLF#A=gx|eKWbH3O15=Vffp=J(Ph|^q%OU#SSdRrtArPwk`@7iFA?)(sl zy&)u^mgtR#%@za_oV6)#nLxuVMH0CD$`lDwJZ$Sv7Hq;{f3iqP*Zjb+Qz?Hz>9;mu zUG!Mr$BiZZJELBuB8X(iQVUn2E&IhWp!Y7igc%8fvtph@-(4eY#|iWlhZ9lFb@BsO zxw$L3Ih14)icthnriC;~1iXgxRPs$9=XtljB@^NX-+~c^8O!P&1CHWZqfh%ri>{2) zSbbpm-@E9^qdT}Y{E<}8O&!67p$jVHpm8=ysW#9|Jo($kk+XSOz$It|j1YtQW_|?M z1CN%-09_iK?Kh+b-QITBXzSu@h=R$O>{J67p7bXg@IGE0G`xvWvPr15pyz$5vq*UU zj@74UM{h{{3J;RwD@GMv-`S`eu`!7Vz#v~q%=A;oYSlg%EdPZ5s24zgJFuDWzB~Cg z^2^~U{_*%s0LMx*`R<-4W9i%~sC2V6n2IkhOwi`0_D>6;_tv4&WjjOe% z*C!hbm;b8&wloOzf3IsnZvJ#2DjQf=%`=Cau;WPoSkFUph6I@8P6p~Me0<%5%lK~4YL_8yjE!WEqKz^RX-P@7jKUTX$2W~G_{+M z0VE$$3Vhd1Uo54Fnz)^}`Xn`+hC15j&Ly!VMXLSF(x;nu>D0HIh5gUA@E`DH0h)4= zeaIlN7!$3R>KM+pS|jeH zm{5LdqE-XRxdfiL5O-iW@}TW38)pM)BeVq=Vtb&ztZfX`c5^&q;RJ6$ry^}vmCD8( z8af_jLs6k~GzEif6vN&(Js8Tz>U;Pv?1s)kF&_wd`f$HNe&SVW;DOhPy0~PnOXt7T z33QPhprC6b5uB$raxGgShpfSCJ}h$lwQpvVu+k0;ReP#mh@OltUDEmk6ri}uJH1tR zt+_vi-rk+we9v#JaJ*-B%N@^)zl+1|89^!itHp$kkzP*wAp;AV7yWZ+FCa{i0d4oB zLwgL?gSY3mktI8CYi62#xq1l7_5DGv@E0vz(Zx4&-Hl9see!uT^MuHBsbyA%X7$F5 zhcGd3u4w${fKBO1wzxQdQ}$oT9#PprW%W1(_x@X;pF!NNP8Nk)Oz0L^C|M|I#Pt;( zac&ABU5bYQz%AThjE+hOFOZ5y*x*M^3=c2dkW6ER^#2r*JRt7>5s^)LD%yJ>+^)NK zCZFponc_CawFsBz|>VD3O-*7BnsJ^^%LQ}Ab zD9Yhmf8#o|+jE+v|Mxc2#rJ z2<|zJ7Gc_?DZ`MG3Wu~w9f`)o_AW`u<(?cJ-qCX|Sk%gh|&F4T)Hc)Sz46b<1yN#?_a^tW> z&6|fo$XWArEb!)b_fI#(a$poA^638D{csH2gGmm6 zFE2tRUaX7s?kp=|605+eSV^%33M@z zW}QFM<>uBM@&`Bhrx(=+P;sf{z)I^UmZ{LKddsZ8!Y84|^4^N{DA-frmEfxI;TB*A zqA0(|9KG7~#11LW9lT?(@yJ^vN$#(}_K0ka4n%TCcxb0U@T=_Lj51fy3awi|I-yC< zN4}LJO0LxXHMQiu)F>r58IE6P)sCHA&XKs#Ibw}OiVF5;NJ9`$o&z;eXXx5ld{KaP zvrTSj0ER26x6IBu+TS8?vN*Hr(CyK#-}P>PGv=q>l@M`Rt9u=79D4|MgW^58ExpfL z_mM+TCZQ9@z7+q)D_BeWn$D)xjkt%xztd71f-PESdxE|<{}k{st)QhHu4?;(Joiu) zEbk!5e;wSdhI13Xi>Z|MLL1D&sQwFH2Pt@Xo(Ez72Xt$5^RK-IPGnsH^SymeB`*X59yN)QqWPpvVQtvz_EOtw{{E^C=FV7fAFZ!RwC1=^?BCgu^&EuD9 zdPqW^2WiRt;m% zFQk{?q^2gHdxv5}qO)RJ<157*WcLP!o%F*WCp#Inp9Kl1dtFU*#1!))z`& z4k|oPaxs3hy$km=(Pkhi8f@(vN9JyA-a*?Sy?m+ltK7{@G88$@R2hh zKx%9j!7XtMrMYnLeu^(ATJ%#VF943!o=tQ!9xm#46CGn1z`cV~(SDHvZV`Zi>584E3B}IM2J0IYX(M&^S2mzNDd)#AZ zhGS*OTI%JpruFeiP4YFRSjExr7Yv2=Aa-J>htgjUiEBniqMM~h`MW@Rm z?bO6Z(MY*qqTOSp^H;_K^M#|oWwKYzg6fIP46wkoa8=j|(gwgG3V3F5Ld3ahE2@IN zfEKFYUbH~jx>aNr+K8w`Jn*syeJHZ3xps(?WT^IE-gZs@u09W$QeYCLxTo8|GZKaGvCe6<4du}!X=@EDP!WvQd z#KA-k#VMljzV_zPRSzwHTJ^lNspq{@nVb?Ci8r8>YH*W@x&n{zitQFM8kpJ$!BD zDocrL^4>W5;T_J^jm@n`PPCcOlmhjn-8U0&(y7ud(QG18-}kFZr->OIoba%PFHhw` z{sH-$wi6AAbX+k_Ku~`rN#FqF_DjFa1G-N?Rim~>?56%ml_)f z)p#!sMO)sv$s%q+p9Pbju_IJE>NZ%Zy~bZe#0JbrPN6C+ryC-g6TFW&B3Rybd*p8` za#)|KQg9mh7oBF7ZOn|TowBp?)C;m-Ae^>|4wrBRSMUW(C*ZGA9yxiZ>aSHYf@UXW zBKAJ-D7`5dV9%B6J8gmP35>?EG9NB+vI+FMS`8s?Kh5+CMUV6Ju`_6>+O*kaGL%#gRnh+Op4(=~Wz<#*;@l%@+j-^$sg>E6vLOUHkKG z=RifCy`zWhizYY@vzC)nU2k+XmfgR+?p0$9eY=x1F`4u8i*nY82uf#Z`Jl`65;>`F@1BRi4Rvp+fPA z*F`OQL__L6Ie{ppHh30SiIcuA6ESV~_Q!Gi3r3d(HL-w`Yt(ZdpPzcJtvN8>?&e1- z_YMq!rNBws0t^_>@MczXL|3-0Wy90x&jKM#hZc3z;?nxUb1G(z)S#!8)YH<+J&PI! z;*DtKSM{J^fvrdIj|N0LI9UTT`~zm5lp1sV>xr9NRSm6*9|Sds(I&o#PC8339LwZ8 zqs~T)PF69Ksg_m^kbhy0EgF$4prm8w3Q*g%QIyah_49HBW*mAVxP^%_312s>_+SY$ zgFD2<*ohv|ZYZ4d>w0cUyhjO`*y*i%J%3OB@>#lJ+PcFo2u|A9XwXrCmjU>Z3C+7n5 zK(Ad}n>qtb-F5gzLX&-1|JuqPJ<*c6zCC<5bA*qjk&JYPU!A6p?%ug#FcY?s2+pj^ z$QD{MP5E0HE;Tf%Fm-`;LW5bY%Yb#otZAQ21sld%lz_W{a(!d~Tr?tykOtSB+PVja zXIcH=^!07l31}#3gmymPKBHyH+YBatjb-ROFv@+R>%~dT6Jo)C6OWMB5s5!9veCkR z5P$F4CUM^|BbhXK#7GMq>kT13;f$ z0EAFyYd|AR&mQ0cfZ}-oi2lP3uy`kcD*!6z_3tcfR{$acG{E=YsF4?-9=7c9A5|Lw zFob>e0;~a`dqMxMN%95IB0%Xv0R&J(FMvD@_49ueLBv1mDG2Zm0bU439}2hzz=L3f z5dazlcmWuHG(Z@EPDntQm)D3DolDKlTGqnL2FN1&o|l`KpPQEl#PdHSG&v3cf#*wK zVWl7!{3k%<9X@$_0R@Bv{ zJ$GFg{tQ!{ja1(^#|XTu^Gs!}elRc(&dl=K2DN<0Q zm-YVq`@|=}pGjOVy6<;Kev;fn@hk89+AZ-lVWNVE83*9e+gF<3xd3C_63+5ae6uxp z#Bz*qmRt`6t`5dlUIYXbH5}lw;?P_fy?*ZcN zBo0?YeD-Sk3Ao8*=}P#?b}$Z}z85)rw7I5o024lPA_`wGW-S6Rro2v8&p+5qiurz> zez61Kq?Loe%F2lKPeqbBJjb-%$1)Q0!UYp+h_Q`Xfe6@`Unls;ov+P!Kg8!yeO({RC7Q< zW#!&a#A(sY908hIw2_L!#RSW)gi_W8%}EHV)^*@-LA$l~ce$eSpTg;hUMl|j= zf>%V%t!~{K!|tNtHlhe6DUo*s`(GlZ%M;i*ahp;!H>5FG?&1(0uV90$A*RhE1>u|p zf7a^}5eV^H((7zez?-QbQTsz+0J^wgfno##UEbAg3}%Bg4!{k)Ed3qiQoHkjtS!`0)*nn*-GA5E|--h zw(2MSkXZkoSx@nNMtQ{eUK^Ql{WRogOp!cNxBV-eZ)X#P2z;ZY9b6#%E4P@bB@Uk; z)_bN9ovYzE!-#2irX+J5YK7FH+r1d%g@a@q8Gth9ZU73YK~iE(*(kK$De5oVEk+k1 zP@M8p7sHScV?b(|xbw@LS$EF+gg}sgAyP`99^5Xfr`6bpq0rtL2H?%~EjlJ?SC}mk zTfm_3f45#Q2zJVfKpA7GAEMAos7F{o%G8TGu4l!<-?V}J{e)pAS06DVdyvUEQ-qwa zkV0DgPMVOpV=9J4rhKK>F{^+hU6C(chjcB10E2a$0@CN8!6M@RwV_SuSXLHmRnE+S z^_HWkKu{Bt@6*S7D#ExDee5v<-ccdVO9YBsL_cH|3NSS)j|od6gK*mqf7{9l@=RCv zv$7^XD`?R;(Nj6&#9$j0ksYlI*oeX1=#ozaOYU?5e21~tg^XcZQ=4N{bDrDTQ< zhreV-**cD@)Xl}(ei@{m8gCXDEN-ZFndiN?+y}3rKzGyn#ySTGvVWM6HHu;N=q1fz zrU@UgR_`q2A2l0^+OnLh%C@Y3OyDuO)Q-byjb!3>d;+@ZIp0QwDy@KL5J2OV9tt`10?53&bk9`{TXGe2C zDhJ!TI;49gG(fsR7Ax|1gk}P;iaj@2Q`sZa-tY7PA91RUN#;3@fMBtX(9|as5oV3A zFKwUe?xd7RTd2(@BWx1$@<#M;Jl6bwRNpLWZ|(;9w&{xH=Pm6CU&Cj&_pKd09N(f- z7j0FzlTohefqq$vcTnd^P=7RA0*up4oPl$E4TfBGX>J)>qPhnc+yiu`2DldX9AN=k zV%7QjwG~SX77xwuE7U72y!G<*kJ8UZS}H2XPAkZDmlo6nYM2&W1gdQpI@&6`bijHa zE8TENUp7$}b>Ph6V8-{mFF}I&xs+m`eTJQn1)NE(5w@Oh&R+|CH*G{ZZ|#E&ENFwl~0QK<)T_ zFbsVA>{~ciYdcm-DKe<-@pk7-)|$y-eG2!>ALTE%2vjatl}A1^HxfFIl^gV<;VJM5 zE_Xw0)zni5GO^kF=lGK|XyIm&y#t)#WP;UpJzq9E$9Ih_X7$t7^yfWOFx92F#4;Eu zxYHC0SLM8(wuRw;CzEqLXEa5O_fuaioc+2m!0@84rmOV$Ephjal()A%5Ph<=?{4bh zZ`&)s+p~7#T50^<$izfSSmkRBv+p#&yZKjW#E z6EkC_sgHWnbSEmlHgOmQDiHTO&Mhe zjs4Xe7Lus-x4jeglj;f|-U5sTAJr#jSO#={wg9Y?19Dl>QW)W<)?zsM-rH7B$!%so z@GZ$ZJRfZS2|wbRJ`gZ85<;N_i@a)_`}04Y`+IiW#0?b%DeC`i4-0!N_Ni&kuuDst z$+l{sGwPLBdfT6H`$_W?@iggU)mYM?z`nyDzI~THqSR#7zdL`25i`L&{U^n-#g!!n zZISG{dMaa3@bdBI@*nqKUzeB_CvH~b5wb$(_Eq6H1EmtQRQk8AR1y}SuS_Tcf7AFV z54a+F-~BG+ZR2|T^mq|HEC1zb+xqRGC;DUZ<0kdC8;U+(6qt5R@K-blBja613#Vc_ zqs{G~gYa~xxycnO6SX_A%||_kneTgdBLnt22)?#2k~|9?KC1ZFA_@|gu{riCwpGGC0MWqH`ErBy5EByIQmEye7d*=Y{K*8ocU%Q$ftksk(^xi3eUPNBr(_=8 zcZ@QU#a|Ua0>;+kI2v*gj5wv<`$=&I5#l|1a0RQ5T~ z2e0+2n9dMrgePkO_LP0WsEjWsS#}qI6kL~M6?cqGlt{mY&xW_sMblt&osq4ZrHfQi zHgEgKEm3bm_+J)|0i2BDps-r&p37bgr+qh@J0Y>Jn++jGun^wI&z>?xV-DG`S0xe$ z6B~cY9a9Vs)vWPT1!hwEA5BC&5V=|kTkojjnOp=EwQX;~?ndAqa2~60ars1fXt}FH zh0=hkliqmag=*8M!?WizljSkWY?scCteXoSuPRng#qdZt^fpC)h0JlnK1#zseg&qhfyzLe_z#AZp`|rBT{o(9U|= zrN-L1@D5xk-Q-ni(;F#aiuWXiY_`%it-rNBj{pi@>oTNOoP<-7L|Yb&*PJ!-O-FDe9##-`XGBd@1n;&Ft_in4LWcXutC#vGhR9=?a5 z4tt#gsF%z;M4V``SfEuY^!#h-6!UJ_Yv44>`$UuQoWka!jUlt7@UNvm+Xfb@&1j<+ zT3O7DI<0<)ltiYCRpPU7Cb zbwBkOS|L_APA_~KXg|7i7w^b7arG!~EmO|nt#3haxN3BE+aG&|t2jNi))N|KSch(A z0qCeW;9gPuyuaA|-@z;|w;+`23xEzRWQxwE?GRuC$<@~FANue2)qhA9Xe=rxCnpS&jxqS;16uN=}3pxPvzpi-I#*s*kbiX|Zdhd^H}i#*h7COqa&% zH^7)M{A(a;7?8BAeXJ)w0JmQQ_xhN2TlZ(g_Jm5{+tk5O`sw}JhOU6EU_InZWT;H$ z@I7S?<(OH*EP2DlD=uS(aLr9g<$7Pw3n%hi`f)cn1bH&int zUx&71jDJ_wP)EkQuU8*I9huGJMD7p1TaepsW9CMBx>IxZ>1IW?yN^`!7T?u)>X6i> z|0Zfd_AS#D%>jSUuTSq$N6sO2wyXp9ydvFU>2Vo!n(u@~g5v{VuX0q=+mCg|<=cbNp@uZ$6nl)f0c)qCmhxCdcF_wdbBTFX)jB4@E}6 s5@e2&YM96Iz#ebV|2RA1wz&p=8g>kYKIH&t&;0!!H006$7kJ+{@c;k- delta 9836 zcmaiZRZtvYmn;mfgS)#kIKkcB-QC>+4DN1&OK{gfaCZ&vF2Nx{AdtY#zq_?{tM0>n z>+W-^zQ?cobagj!@i*iqerU*`Hvk)!gO`^VA|41}0Qc%CdT#Tg_T4rvJZju1mBlT0 z^U=@N7T9BN3DbUB!19HB)$x#HRC&Eb!B`e?TG6jeFC4*_!+3!T)FP=1=lAQ3`TKl+ za#)FPPjttvuxJDesSSzeX0pV@aVK+Ehl42JCEZ(3bWW_d_8HRUqg^~S{c-!vJo&R~ zij$rg0bC;YC9TqgDfieUJ^LI&8JO2h#(gCvcr1>q-8u0Wz9%7Vk^C|VyZgw;AzaIy z0&Y{+-iPJYFmVu1ovd@$fXq0b1Llq+DkZhv3NBG$P5fR{q9TgEyg(Yn z7cjXIAX%_g&Y9 zR4~lfcC52M#@)NgCaLaKFe!2foBk`r{mq==Qha9Pt2OB|&%dk|toGcN;)e}!o#03P zAZh-x&L>YE;ArBVU*QP9KNpty5Xk?D{=ofFwyvV+HWHe}NE~4MTzI+}9JgOm#75@f z)(X9>>PFH#F7ax#?clh>go-8^&wpkbSqFZe=p50aGxTP%>qlyx#yXrr2U>bbKpu-% z4UPEQJq7~zC6-1XMfy;919f2wnNf1?<$9MR6$Ufr+Zod_evX^8PIW)~kk@iUID31= zU4OBulkR)NA9BGt+zwGORXz?)5W`NyFoGG@N|^wGSb?x9WLj*a*H%f{K)Ntqlc_3d(?0DuryOp zEgURLJ~m#q?88bKxHwDNA0c=`Nq%#;4yigPe0G@Q>O(;!AO6s1x=4acr+D>B>h|_2 zw)Q-_1i}41e#m2qC1E{ucm750HeiI_tk#v0RG70BUowZPT786NesHH-#xX`D=+2zZ zika+0p9~TDv0`)Ob@KwIUE+LNxYZG*H|^_gec^;Z`@8N-m%2zTfU3X5MOQMqo=*S{R(mp5 zOytHGyXtth(OLn7I`(rWNnNRaD>=-cEJkWMe>oACmWJ;bkG^x#i-UQS2lZ@qja}Q# zVso^gvpqC0-y&}}=!NrKkL8hMg{Th7{4;RqPx8WK-G}I7V4y3Icf?ANJP%4yh_&`Z zY+&#z56zd zXze5I!c=9K5N@vqaa^97B?UVX6K(b;HEBL?<>`DOUcV*Q`PFn5Z}RAed~VT)7PYy@6<8GQQULq76CEWeIx!#zZOs;$was9{A zd4aF~OjFI1SjoO`f&8z^`q{*1V9`;jpN>=yOE^e=P?|UJwZQiqe9s@CeKR}&+1ka* z)62u!-1$Gq)xrUp{}Tm>;y*x02$@~U+Qrt(j)I4SBOMco39O}^7htW3#q`3Yn8f0+rK+Ixp$jP_2Ni!^-{JZpTP7SR@JM5Dj+t$pdmG=po)-j<0LA$& zJ|lX#H=R@^eYTW&N^WVEu+|o+-uXjqu{NC6X*th723~wmQG7AY^SL{kLVEv!)Zdnb zQOa+VMJYo?B^&kh8I>HRKgWnKl2d_C1X1SAIm4CziXfr&H^HM0xFtk(6TsNN1((N}nQQXc)cD+cWWIdfT=(^pO#31?Q_vGgnGd?S!H6Bxk=e^TJc;nkstuYh z;)vD$>V5p4*?iJ)Bgj{w>$P{P02FR}s~y#_TU$-)J_bx?`n)=IQcU((6 zD+uD<4+zW_i`}QNVw9n|&&=z6_+#Q85<(>g*<01eHT zE>4HtdPkuK_di~TgOBIGyiPip4iP-x=ypBXkjoITb&5wZFymswIDvM$PZL*4HBmsda76p4C;Z`)8e zmk8IQ-XQJ9F27tYW!#+k=(4xHYT+{osD#mP*bW5R8!6w@k=@11Qo6ZQt!V5`p<73U zT=R`B%+-Qyf6*evZF#B?lAa_eFa>Pse}^Ez3Ek9|{wUGS#h(4Oa()567PDia&A*it zyi6Sy6ECf_>v+QkRj!BT(An4c=;XBrh5or9xsnx#9}gD&_14kB$DXRD)1V=Nd#hO) z-s_kL$5^}8?A=&l?|k08p5Pk4$bB>&k2GtGJ;lSA3o$L?2t|>O(CNnx8i8?Zkb{3D z=8*Q-XpIE6p7d1VOQV6;u?Ppg);b>`A`1jtNtoo0WwDW%`1)u=$%eNzTr}l~` zEkH}*o<~gIV59FSL=RPol}F|_XxH8`{nd}k zr}^Qf-+8gYmZx^R`};e4CvdmkzPX=4P9D%Z*E#o0mtsp( zeoq)hXvRPPGZ_SCu~HyVPUc{V;`nn-SPS2DfjXp&DCOPSY#Q#S%Nkh8v2L%%!Q9n# z0i;)MM(Y$W)Papi7>JYS}=w4BAI7Gcw|yfUG)2z;0d36qjUsTjTdO!EA9n}=z|RV;KRvr zryBo$Ua)z>$k(GY3$y*u%**5ywQrTM%!|Bz*}vQrAh~{HNg&A~!=A@gK6txYY!8Yb zC5KDFF#@A2l*`YF4AF$-$FPWwm641ck5qn>6jC5H9VSsc;#(Fc=8(*u^2jcDyP9jJ zHg{&@6;1-TtC`1tu&W8elr@+~XxWPQRqqbj6qbQzhu=5D377=-BC?{VKz-0fl1F*W zU!;R$*kgip^w#JF$3K|pja|B0vMsP)JPdV{GbZcL{q-UVKbHMWCSN`yh+4jpMI^%u zXyP2MN1EqF5=#&rD}KP|`a&uRr^{Az%)~O6sweOeD?vE4J#5h9yK3adxpV!0P^zZ# zMbinH1<|PH8PmDufAdFGPq62gMibVgTzP1 z4z^AAduNYO!zMQP<`kJsDW@J4-pe}<-j4NZRLG@LSc52wVKK0T;+PNwY=MDgIVp;-R2d6``s8P{-JmvWVZ!-t)ifgOy{K)PxrPLMn zOU1TnpbrHk@LUqnsrVm5rR1_PMx=#0Fl4hUha(uibo9kUh=^-umm(;~EQm;js(LRN zNbOTqz{RL!ds00W1;3mK^Bj?PEDQ;BSb{F&KwDmcoW{lo z4!RDQ;KR;0PyWQ7u*SxG+{f95ZS{)VNxq&|J%DzD%}&|3os)otJ`H3hXir|iGFM@P zLxg8ltz(=)f4tKxc?PlFu(FVo2JoYv9vZ(f{uydUkl-ntO<)Vjl{xcj?qr;jRPQV7 z$&2yO?Ww8-n{(wR&^pIJ*yHiZmF`}Ef>fyqz2fnQczm zAyo6}Tzrk**5T`&zaDQrLVb!An#A@>nminZ3dOcl#exUC{_qUDDZ7M9qOeU3Pp4P(et2_( z-?cKf($DRAoMkn~Pv%eZJkDbH%)DnFqq6bD@AEHVS+O}$%ltL&gCZKj;hYp%1Ww$R zwKV>=Jq0J{E7#kKU}iGlVo_a};LnNlWFnnMpo^ygFTW)qJncsxj61xX2Ws)D$}`F* z9;-3ar&flhK}PIZ;q0+?6wljgWNnYY`XYDd#Sei2xU2N+sq|;&;pv#az0p_8X$Gl* ziYip$bD;)##oayC>T!!!8Wi6mmHjoTRn;12hb=yNq&`L*zoX^UnGSZj$M^ zr$?E7SM?86=QpqaCge1*Ij2d8>`CZF2j^%NBLb|&a6> zY#8i*;^`*q_pDDvj*m~Q{WD(2E22B05|1}W{C}(P{9xxV(@$7mL-}Jy7of%z%!qOrKYUybk7v zGvy(zLVccsrPiYAorLK|oTE%{mDF%>YOsn&oi0}b4Ki?OwxB6!G{Dts$1vPxHg-!= z;sRmw%Op{s3R|6nwsB>gjkR2yUD~NL46hF){q^31@1j0T1D$f?U&mYiygt=NaH&cJK|*214}J4mdK3IBz_+C4*8cIT&uEGJUOWp z9T3jXW|iiC|Gn}Z%kP@bhD`0@Ih+-lCJ#l&KtpwM2gS#vG=K2}*MHsTk6>DN??I8; zL)eS+1G^0!$;W^Deje`D@0_ZF=?k2=tvoJA{ORN_c&%)ew{+=*mAI{(b2wD#q;oi} z26xX!=`wdX9oEXwDhv>HWoW#PNpEN$W=MWDW1ON#k4>G%qy@#h41rIOp|5^+#Zr=Y+Mc``#Lr?5Ztl;^^ zg(Hvl!|#7Jq}8Kghgd^d)^^Kz5 z9o%#>awT=VcsJO;pSA;Fpd@I5`z4VO zBCm)^+vVH?m1o8nV<(1eR+?yr!XJmOeLxuyUw~KuyC6=>5AKDN8b!Q>DaC{zaK=oB ze=d;2x*~$xn?%N-_0lI!<>qFJwL<;Ll$Lpi8qkDmSbU1(M`pequF52z8a9qpoa%B z-kMy#Zu_9+C60spbefqxsXaW>5^^29oC`Ts!w+t~D6o+P<9Uu8!9f2$^~{|BR9H5$ zqE+VE8LpSays*VAa}(WH#*zY!MbMC6YHCGtm12=zm^YeeJUyB5#MCE-6?AnmO0iu; z-AR;H`#wHvns6#tU z41X*1Y_OI99l@+ZN-NO}y`BmWP=ToogE5*4u$4#^gSx!xE_O1#uN!>WXorcNfqZBz zF&$K-*Jl?rkh#&LyMEdSEn3oWkD7IlngRcEm#*PcqQ+E;j1y3XH&tb52W@TQKJfl` zl^?EYnwQXP0nV$)Fv~1NV#5ckodrJjj|2rk8hqs>)sQ~QYOCzXQ-NPbJrO&zpS@3G zSniaobR1mvg4SS6$F5W#rumf`8E=;3*J5QKc*B(w&DO3P^;x+sgCC_p2y#M#NE7-X zWs|8m)-QsYAdlm{7j7$>AA$|3^z!4V8#}4Uik5 z2%NqQtE+BK)y!s~bzqIxt1&I5VC*m%_(^BL5YA~w_F1h-o45)!IuhoGL5db&gOv$S zL?MBRt)_`9^fBRVvGs0AQa$8BG})GLc6POz7j&@EXDLAWuys-}BiQ5Cw#CdqVd>8o z7u@`r#&}b+w<)z_h}E$*N(Cp1#FQ)x-Zhv#wi6+wokcZDLsT3-Z7=ovd}Sg zu!JfSwx=XhaLD0ruca(2Wt1#Bne(tLWXYH1$TKB44()(LcS!`vriarUDaaVzFdJN_|p3eKtL zb<`6WtS?n>QPC^Vzo2{j zmB3*6o64ljIVRqolnlq|dEPA>9vFzSDru^Q)$%B*KL!?=~J}_aMFxsF_ z(h_Rgpdw)=kI?4Bwod#wYGgqyBIGTeBWgOx;l3iBfq|kxxDRuQG-WzuTrhUuJ;VGu z*~?h5^VCxApnmjo{%r0xo$Z5jZ7P5AsG8xXOf=v3;QovzYi16oslKR)I7I<}w(08A zW}1PV%G}O!X*&DgfrEPjo)5gf<;OlKYl;m!OQHD zU*!u0{kpsvoI{{B-w*Kngq_9X<3ndUI_`Wn+CHYK>K}i$bFTB`=VOw5Hh^GvgYH_i zRytk#={>kf`+$?bz25C^G|*3204&tk(*Tz(n!Cn#dq>u-9W;@?PXGoG>kgl*3*+}| zCD-m;$Un6OnDo||=ti$>T~rBFN3H04n-r)v&>z(_u+`Q&Xc_DN^Y^)09V>0Q+7A~E zuNr^#gX;T)%^p8f>uG*sF7xY#Yg`r`8cRCc(bDRUZEJdU zCA=pLW$T;lvsM<@vSH{)Zk&WxDX^Ox+2N5`D~?}Cq#Y0dzY8w0y;`d~!tW7s-CsMn zc?kcjyT7*O4L2|~#`?QAg-^6CR;2#P3G@E*3Re|?y#}%(a&_St_rAyQo?JrJGp+B& zOIiqSI9q$F^j|9aveRyquj=9wg@f8gMu+-Nto;boJPSw_*4=YyytvoEN|a5Jbf!bA ze9B(^Le`kEbO}zrNbU~cB_GTMZ!4cZjc)MR^8)LXRJTVH^H%t%$3E5e4@|XwUvuyg z&NqJI%v3OZ(tXkuE?~KB-?i#6CG7!sfTg;7D+UOs;n+rB=AGKReOsTuWq)V;`g!?E zR&yBSn-k;8jJRGk(!cfjZR?&56Jr&_jDI_Q)O2_Whz;If#n@Mp4`D&_+m-Rs|K98n z#CEY-r`!2Q#`^VS_bvR4ec^;h+kg)#Ni^gG`!m_B@aNq!KC=7l&1kQYer5(cuCJbL z^)vDcr9AenOa{D6uk^0LZ+~BC)qMY07<+R!P^xYfQMwW*$K-R~M_*E7>y2SR(&^F~ zvMkQ=YP7)qh6W;khGovicB6+sdPKw>lGeyb22icixuCz@!Eq?CVumNPau{6pdpg}6 zfY&>je5k7o=kfVU-!9m7_e>Zf6Pa!YC*P;Tf&FCHy}|>g2)bNRAIe{y+lD^GA72i; zD3r4@CT~s2^NkFB=5F@wa@pTnzQl--7OAqy94UhJ93Rg$(GYh1g~JV#?l*?)_k8vK z-Z-fwGejtF63#i0ocBAjs7rrr#A4L+e)r;)Z5k3My8=FhFPdHb{b3QzQ~Du9yK^)- zNr1k9@@S^4+yhj9?%R{b>58c{jhB1EjGV>vZdf)Jt45iK#=;=8N29oW4LLjw30T`j zr)dOtrDzzTOg>VU&r*83)ESFapdd~wHrsbW;RJ+y*(Omt(^!F9j&}@n*2k9a0?Ij~ zS9wmJ11=(Y`W)(ZIoI}Ds`wDv0^!aN&!xYjT_U#hC67BLReo;p#ejP{DxcUCq3Zth z<;Hze+Nw`8&MMSS8l!U-^9fkTR$*c`{9O$kHdKkHwR?Q3R?;tYK4_#q42*_6p{g`a zlJ1hU@B7D%lfAk-VJ{kRHVAv`n)>*CDuLEC#67^LYTrwJym zF|RSqb5h>jpG(Miy+C>4pbtE@e1W*ch_2+XQxJ z>l@T@%r94oC@ry=F){)U>!Et8BS;V&1*gCG>EB6Xf&LD z&a&zf*X63I;QAC-rN+ABkaMF(Wdc5^bJ$R+J^dc$0M{G;Vw{*u&(@pMW+#$AM~?Wet@h_9z~wv4lh~d6n$R=?Rk;Qfks7IDtV}EuEj(>!pw?Sy z-uIqXn_AyZxG@+!wCu$)$yip}cj&%;NZK8gYK;b#ddsn@MC`eQqptH;9T+f-t|gM9 zBDe0);smf#idsCljh%J^h~S6~{2r?dXX*F9$ty}89XNdp3f3+H_mRy~ zaDTZ3nl86~KOq?7yffsF1c9}T845$IX}SlxzY(nz!q8NHON>-bkhDgDjw)f|0U;}| zX0M#Rc>d_eFmNL!960I*BQ@%O)w&dS92eu5O41i2(3Xv&G|RGznP680F&(uaUR|23 zX4T^7UaC=1EH$I}8HK;y)J1X^YqUrtEjX#VsP#{l(ti3u+zHPo?F^RfPVOZ^5LE_y z$JZM6N}$&o?iu!4HVc+Vrm!2Prc1cPF6~|X^zEBC`Ky(`d0BH&!!U(%OjPV~!#wx< zi8x4fJL5KwaR9REZOS68opBIm!RR0Ek^-o?iCALIHTCPiT=#K9rWCoK&Eaqxg7rDbHK zxFn^yd1YkyWTd1xB&0yxA{77s6=T%@jgCAV{Qvq_Mlk8pv}=Mn&iK8jNz|@w1z&=R zw~<1;yZz3l3OmkdvDOZ5tdyQyE=FvmltsxIFhx#oWKncb!NQ)>=N-Dat@i9~EAZ!Z z&U4W2ng1Li7qRK=jEC=m2~~oXOSov}YxOntC#$ANgUB}c)gfMo&+?!25VoqXDeI#J zvWwgEw7@_#wQ^o1hX}gtGF~Z%D7@@1?eQ7Wfc!7*=~@vw{L0QL%kbAARcC~17=Z(L z9^RZSC}MMLuTFiFarQx*!pl$>0#Ix0iWDxLIda9ISAkIeWu(YLVfRj8hP31!0mc2~ zg13)4^RUi>iZ^V*HQjdDmK$o+_Ql0ldEtxEV}E0`Y&!5miR0D~lo+6||| ze5T%9ojJLcXAZL~1{-v=+FE9sJWQMIeQB(IO*3;Jr4kH3H}t7$(El40zBx4B0Tauh zb;nQBdf$TbWhgohU$}-rQU~k#-N#FnoH;Xr@ElYd&g>C0tnhbuNdi=JP{801=~6>$ z6EF&Qr|@gl^3|{N0*&~sXP|LbwL<;PZ9mi3&JQ9Thvz!(+T{cN z`ikZAjlXaYSAz