From 5dfea29d1bcf16f8ce730ad75d1daf3870af08ea Mon Sep 17 00:00:00 2001 From: Anthony Date: Thu, 22 Feb 2024 18:39:44 +0000 Subject: [PATCH] feat(proposal): wrote up risks --- pub/proposal/proposal.pdf | Bin 176123 -> 170075 bytes pub/proposal/proposal.tex | 29 ++++++++++++++++++++++------- 2 files changed, 22 insertions(+), 7 deletions(-) diff --git a/pub/proposal/proposal.pdf b/pub/proposal/proposal.pdf index 50f8c95995fe2508053f94ab29f6789abe497b31..b69806aba0cfa0522b9485d0a5d2c63632a41b0a 100644 GIT binary patch delta 32544 zcmV)KK)S#C-wNBX3b6Jn1Tiu;Gm}sOD1U`l$+n|55Z(7zcqyOrOj`nMSZ3(Xv`f58 zvd{zB=olkMf_`~_pPImS$2nOcl}f6s8g7a0>a^Ofe)zDJ@3)5!A3vL7RcH0i>{f^4 zN}D39wq~{8?lNua)uCPeuKt>A@5i;N)cd;1Rkq#~`&u13pVphaDAe29>{XchmVc+V z?*mHSczO&G2c?Rxorcy9%{$Nik-wwAxVwW~bRrKdeO+(Bv}?je7A$|RF}(KfBC@pp z^YAm=YNK^lmn9<~JC|saR-;Yl#KUIBs^_z3l`~$_4Ll9g_=2Ncd6I0^(IUVvs1&9s zT1WoAML+uC#EM{-rL9lN#nFyF41aQ%9ol;sPf*`LZhwk{$?*MUfZ-hOb1*Z5UuhpCHdlueVuT>ic$71pUNUkk;_P1A1`@>DLA>Q|3>L^~eX1dUW# zK5sZ6DpQy0VlkTx+%v*X9$^e|joAPtlu2|odvZ9QJ&1+0HIx&$<7j)(>8beWgus{P zQ;s&WSn{v)Sbr!G8bGBbS~zLl7y-nvc^Y5aBmY79{wQgM8;KHJM1Npr#~E*spkzU^ zn}mQCpaS3%&&4#tlI;x=29=uuFqUGUSXmO>+#$xvwYS4S++c(@LFk93pIY~nV4}0< zM0^A{=zN1W>6mSq)XRCha5^(!ITKq+1rJu~jB253zVZI<#@G*d$Lkaapj7G}mHPDM zMzwP*_*(TDboMv32!A7XCDxT{nu$YDBhFbTbwc+rzHty457Vg=C7`wWOm0W0J^6m* z;dJHiF$QcnNDZB6Nm&9VU3?nBm-ncJd|PK*h&r(iGId}Y|967GA}7d+H6D@{1*t*R z4q9pdjO@#$((pQk;dmA%M@GaN3Nquxbg@JuX0AkB!;Xd$CVvqafLr4N5d|H!V$=ot zEH#UQX&~l?VKTmRJY`(2Qa($Re99IVOku<&%T6rR34v-ExM2RS@h*3_xs$-v9EXADfp@ZyWb zHhf(o>eq0giOYZwq{jg$Tr4FiyjJ`7XH|&F`Yxph(Hpp>_7J&OU-MG53=gYzMwGIj(VL61^_B+Cv726vz9$`0AiIIuW9 z&h~X)xg4WVF!xRUj0xYEp%80ddi6`|3ya6!dU(d>BMbl)JW4fz;U2qdRDbQ#j!_Nr zC4Vu^AD5|=q+H6B5vY|@_%e)y+`%`X$Hvk7?s=mDJ<2I0HDz(5?Q3{U6Id1I9`zd1 z4DJs%b}!aVK87zz1;TQl+`oM7w}1*&Jg(Q_yC|F9VeIV6ouCBl*p2NuL#d=Mtdkf3FHh&4MV(mT>B&r_N$$Q=D?t4*rMatW-3PcseBM*bee%X2^ z{?i-Vh4oiew<`C0yNtMR=cwyK?)to~19kB6IPK_oPU+6(>1WC-hO|7 z_oKbIDTD)NFkx5~bO093`GaQC_}?eyw$hO_w$Q;Br@`tvibqf8(s#qY$9 z3V~AS=ttGU$EyX}?NT?uEtUdZ`=-)f4pJFE6UIY(43oEgm1}7GVYIHBU|eraQ^4PW zk1zy@4909}>t^fFc7K~)mI(>%&J*Ef;?qPi;_8I_8xTsTcWJ012IQH&RX$UHpy2;% z&qs2r9>+blum}-Whkj`#a*zn?ykwt-87y7WCY7>hZgWL*!kzz{@f{EP+ud(|N~ zVo(!Uf`^RNg#;F;y%gtlHFk&qUH$K6!BLi~T@+L$f&Mxrf|HC9iX~hTIyU{hUjv7; zH2bV!D-H$3p`md2@8VaXf>k_cXq7DOb-2#PrLLQ@d<8Eb`B!US|AY{U&K9QjN;;d~G}3a_-#P=deF&}D@& zB6=f?7cs#^5P!*7VPOgPEQ~1S1oV=!DzgrT`F2F_lduU`k`WFlj7AScCc-AeK1-P0rkLM!L!oF4*fM?*4^G;|3q@G7$ffMHrdT|NqB7p@TF;*TwxWX+He9RK$ zBgjsWj}CfpKPgZH@>0zS$WE|I3Un)QN&szDFe2dsu~(QqZTTPwYi!I&MI3-M4N+^N z&>lU80`FP}7lCOU1okl`0&o*C<+X#^tGC{_N%0+!thCJt*c}18;XXi>hF6IF1=_U- z;Rp$50Dp&I*cr!H*kg&Wu*)o8fv;@jE6@w+jC8;O__w&=5nROX^l%Uy4!>eB1k5fm zDg=)w!|@3h8h8o80H3l)FgWkw3XUEhUCLnJCyX>gA|Z|<9!YRSQX(kBOd1?S4k!|V zZJ>jfh34P|@7w_ePzPg7w!JO#W0Aiez8i{sUw^zPi*D5)4kT@fmoKvyAK*~@!w03* z9ydd72HaHK6x`g@r(27ic)7bgUO>Y*;RfF+-`pM&2fl;HQHd1b_W8Q8be5a{gPSvM{%wrT zQGa#a28~%nbI8rbtnERgwLa>tb%0ss>itGTXO`qnGwv_V>0}Vy=|R75I3G3My1O@z z`W}Q!ys+CS?l;VRoHp^Q3H8e*6m>QZRI`lzqees7jB$G?r`8*kxW@ zt!tW?y+)vzok|z8gQ@NTpf>=}Y4p#an15uavXMV;kd0P4>K>Zi3P(+XWTL-l6t2q$ zCs^v0I1>3mzdB{*+uK?G?%QP{^21KA$nw46pehDciA942v;3$ihgYL+QF1jzveeRJ6H}J|`uiVV%4AerC>WVgg$%APE`Lr} z%Gz65@=~ERn3fg5dodgxUv|0$mYDjP!%kHdqX8D4`t;RJ_4>H#RE4Mki7Y?B5C!vc zfLaRG%Pk+g(5dga4BJt<_Qbw0fgl{gTWB$PK3W5 zfxjJ>zoo>x+phKw7h2rS0jo7+`G4`%Syi9^-XDC<^4;O+ycpFG)M@@}{wCkU35=dH z<}SvnO@cQF78RJr(rvv=C^5X%QaOn2i1|qE_NzjwUk07B^V4}z_IramWS<0%QC?b< z6`rCblo*DPx=;&_;jP2-r8DS%EXr#5glJNd3KfwvK_*l`7U)pXISbCLeSdaxv?1wH z2coQ$<&{RF@L7YaO1Q_pb=BpAHLoD;)}03rAVQTN{$t#-MCg(j@)Njw0j~ zM2#kZ;w_g)wD7q`H2Jt8F~~(xwaZ1TWPS2dd(%!fI2n;h+Q>Sv9NR&_76&og4uVkx zS@)D_7F(}47CW$<_{PTw-+$;HlX8=pPq~R6m2$&4t%ln!K4o?#7p1~R&}%2LeHA=w zm}rlLV%E>tI)ijS72VGl{jz$>sgfi%@>uH~k_W$<@RG2mxDYU*!?Pzf3P@rW_7x`- zeq91wydlPP!?tweM1l}cdN#xZa^$M2V_vqNI^^KBR-z^bsi~c;PLo$YB7aYrY9=XV zHq}g0&;wHqsfBu&U;I3#Am(>Xtt;X=;q}YVQehuB|HPKUC~J%l?Sys2E-rjGH%_e{ z{IW{jRqXthjviIA^9-DKD$(PdN*g4c1>u@{R8dZUe>NY?Sy<%EJ(4rO!9LY{61&so4f> zP1<_UT7_!%yOo_YQ-I%rtA$14q4U8k<`A<{4&lA+Y#GY0&lwWGp|5+L#^-m})tbt5 zRh>msd)XiZKzfg59d(vP?~qr0RG1lDXN^m@x^l~Rwzq2w`A+>>Dt|xD|2%rb{}-RC z>azSf&j;10lw16&G8LorL_aikV^GcVhcVtxA)i?kqDi^>1&txQIrj5mUk*pT zoRGyRgdEi>CB&QZ$|;12o(>XDYi5&`-{=iiv1P(5SFxqSsI)1imcsCbi|u3`_9k|2 z5qp-josb0Y?(nx!<69;1Nh3sl+531o>Ya&`2422jT=%=h(G~06`sMhE;}5L=|J(de zv;P1;%l8tO(RczA0yQzSqCihO0W-7md-ym3HM8rq{V4)9H?!*ACn6{{IUq0~Z(?c+ zJUj|7Ol59obZ9XkGBr0b3NK7$ZfA68G9WTCGdMSwQL+IP1u`=@G&hq`0VjWqw*^p~ zS=TO#YjF3*-QC^YgKOjN?g4@Z4I13t0>RyaJHg#0I0QMJneYEH^WR%_PIVRiKFjvA zY`+a9sfs$IsJWvlP|DH4jggg!g%2REsK&|yU}0frVqsxJprq8WcC!QiM~pzJ1$1$> zc68wThk>{Y(8LWSlQ3}u*(rZIIsoL{?EtLo09GzOR&G8P762Oy3-A9JI=b)yBuqT4 z%>jx`069kopeq8UxTBM|i?yYd8|aw-c?8gy(E?a`dAS+>atDao16{1mOdJ4;CT>A`noAZkPVSti}J@D_$m=Gud8dlb>f6LV!E!;d!Tz~+Oz|PtX=->+SaCa~Vx&T0j1Jq>| z0Lo54hrf*#{x)C${HHbmRwmZ}hWn5A??BcLe>t0&nK{}!nK*b`J6HlNtnGjRWhn(F zH!n8^fQf_oZ$lG1S4V%4zln#5wVjD6$lx#LCIBf>Re%X7!T+S^YUX0?Fc){Uw+A}7xgz}LCt>XZGy|30oB8j~+B!ITI{5wvSXeulTl`MK+}(*; z)4|%=9VjdD9}|!W;g8G`=my|qVPWCsWd{JA0YEP^E9T$fHN1bFfPX1je~UpG`1?9J zIsq&|NdWz=Er6ge1YcJZ48L$~ss$0(k#s3o6t9F!uP*0MPtrIcNd@j-})X znpz-$=FgDpvv9JQf&Q@mKacufF8_ZM{yWP5ZOH#OAt`q|yT8;lf9d}}Y7={FJMaG( zfQHuH4YUA?j-WMg_}`}5z`vJP5om7hZvVfvvTi1zMG${=u(bPc8LeHVti6EdD%Ngh zR)0^+-*V00TV`kN090{wwf=pr02o27`CmHFYMI%Bt`1kwNdBb)f;Q*hM@l-FIhy}o zF*Z&vfQgHXi8lhM$soiD@MQ(5x? z`WtZpn8knoAZ`G&_#earny^2J7r-p}U&PG_L72QbV2K^y>P zxjzWRMg9*0aZ&h#KwK36AP^U&KM2G{`M-z<#6{%~0&!9OgFsx={vZ$+^*;#2MdJ?w zanbyPKwPx`AP^Vr{~}%xGWml*%uN3v(CMZwCT4%OK+wCz!tIZo{lD_R_v60`P%38s zMVz2uW{!5C+4vs`2gh%Tz5Sm9e-90_`9C1&NZ_9cAmYG(oxsWhs)5BH2r{?$2jut- zt^eTP#(y9u`)}y+CqC}|{R4ukXaA4XK$ZCunG@vd0NSa4=s~$V{viW$cKnwbl#J6K zH7J-9=vC?PuSRmP{zv-nHgbSiJAp1Y$A2{Dcd4BJG#V7#+1=3%Xl`ovuZZj%e-!@? z%Fg>A&A-L0zkBwNinD?W==vvXkdrIW-ui#vW5oH}2I%pRx^sepxPsm||IGkYEmu1e zSF3*n1|{|9SkP6@>}KTx{Ku?;D&*$r_zwqA4EKLPP_sP#0YS_>|1oGFZ?AtqPk8t2>f3w<14CUVKl!HNr-; zCaJdl@_RN)P@CRsLs*)^9-J&Z5p5VCf+u9u5ZU*8arV;+wuSr#-X%ww>+H^htdfuM z;Mp(j)i6-LG8VqDr@CLmC6D-AKEr<)s~MvoTrx+QXPP~aO9tb{NCZcRe(8lWcY8OB zo-_GIB9}mq;C~v+UgWF0$rkrG@3U5^!RFeHM}en{O9Xj~J~mC|D|VPFhqLHgTC_U2 zLUh$IJz;qxjZD$^lbW{tI4v_o@WoyXX6C+lu*3LuP{U=U+BsjjRU)5w2?Oc|@D z%_thft&ZImNOag~A-2|jr`2O&^O^7m?@YrRU=B&g>LjS8$M;vG^V-PhAme@b=hlaj z=Fy!Vf9(?C0bxQ*PgXifE4`@I6~0WO&(P&=;}G52Kv_&wh94d&JkQW39|U|ueu_Qe zvu+o%u;}tY_koWQo^$5<{fvL}uWGtf>fD?|TeR~;Hwb+TdL&9e#M|bP zw}9zft4g!&6K8=c>F#MXOuFC1sqR|k=_dD}_@TTNv8e$%#_RaAq+8TmSJLBEO&z=nBvJ#ZkMazl< z@<##@e#-_+5=DJ@wLv1-A8(t3*y=l!A85edWudOcQD*J0K$07Ej5KTge8m?dP}g|K zC->O|>sy=|-y!`zy+eQDYgeUT!qMLX;OC4_b|IC$=Gvg(lr|K|NL68xJw`+f0L%ERrg>-QmL4gen zr%vxn2HMR|Q6Md8jKzodA#i4gXwh(BI|B36n8Wq)sXx^)RM;i+NW&QU>d>gsHeaVi zk>yZon4p*Y>&4|Jz~tP@!KnItxnVwW)gh1vYfbe{b)U>H$jlQYT}LyQjUr1eT6&U6 zaVE!m{#1{o@T-4$3wBf$m^hgDjEFdG9Pm{jo0yfQ%nvU8O`z?_{-Uw@aVcwk#OiWA zH*BNoCUa7eV^1t@|9x93G^4 znMU`rt@*VV4K>eLgZpOD_$(Vl6<3OKkBT`uER|#N9===~xXBCp4}Aa#mmKGj3^H~+ z!F$N$Y>gQmd8So)+~X129tIrgQF&jJNO4^;=`S4!#6;dJG{{l%)Zu+>$}F>5pR2iK zRVXOzejR^3RkkoD;cV)42B2?&Zet(iz+x0~9OS z`f+{M-4oMuBj&j1GTP{hkp_B^DyH9fyCzCEg!>ERld;WcalcRAZ|PrJ=D1Z+3774} zP4?gXa)8k|@$5+2Z>PvLSJD@6$t;}sp?tS6DN=u=&E`dN$m2|^U_Mj5L*RH4u*<5& z95XB?C{lOxbVkaO*rSu@=<`T%_BeGv6hzry)iphW<+-)K#b)4G-nRj$HhK}3wfc_Y zewZg_e=Y@s!`H-$47ZeO4p%np&2=Br{bL8WwScUKu5fSkq(so-HYZ;u6S-BjF7HB6>>dTie>(yTon zUWHp&Wxr}l$+DaVP4{G+aRS?)m$Z?@Y;oI{ZP!7mBFUD=N311Et1hO%yf09Wea?wd zF8)QdVB@2Sx@qqv%#c(k|cj+ z_a-J!-!Vf`R9u{r9?*SR(}T3Hd~5ZYjFAe2fk(G1f2<(ul@qE4LM>^D#cPWZ`X7I2 z(SCwjRUcll#$(942wpF_P(#OV!7l1(lZqXJEbmasW;*OpfSL~SdVng%HPV}SuN8@g zGjx5Unp=aUq4IX?5t{pm032mVbb9@PAL2gB9-fK?;?UE+@DG+bg8G7+B4kpVPx4X^8hNI_ z(h@qgg5&IH>@2H$vVWM)RK>25wj7qvr_O)Z-+Fm8;ZSA8sT~UdRPb&)YZZUBl#CSt z5?u{#&+=W(<1!tPeG+=$V5v zQZG+{Y5$no3#IDLX9<=EyyAahWiVUATQASJ!<&A=?-fVj8S3{Dl_{FfVFyR>X1dbL z_4>BG=Ef@OUR9p`&PjBVNspsIeTmJ~Gnw8D;8s?6t^~x#wIY-lt6xJLAWJ7D4%n^W zr{{LkFZA@nL)Y1sMlf9Cl&l_KJxszvC(JQg{gx`-biZ|Z6huQT`p$o@8DsjK)p(W1 zo$1=0{(NVd?CDyF|B@llXQXkO62Y;pW+T@Na+oE}H3V&87!O^WRmyAfeD3h`2Eg*w zJ|VWrOUwJV=?B_$HkkprPXO-c5+{$V9;9rd@PzccrGZi=7ct(C6j%-|I^tF0tWW)J z<>n&f_oX~wQ?^PGbJ2hDwcxq4`~}^|b4hl=QcpB6h)Xd_*HOjb{F_@v=C75#zs|rD zt5Bae=-Q(M28;7jb_OuQFv=layNh`Rnxx~A#3hYCXdUHSZFY?GQ(~zmO-L0vs&w>k zPosqfQj~w{Ae&}qZ@*XJUF1F0jdkUX0H-$IsUk)?b@`$F$ftjlTy#3@I(s{m+)N?@ zV-fl;%aBNW?E@7XhbMZOoe$zZ#T=XV1xCH++K0hYWnR;_f;}?j;v9_8aqT`jDRhH1 z=3-;-@)*@R_{foDebtm+0x7!kRcj6GpRtFAN`O0aqXI?a(86$aN{t4kR(bCD8aR5j z^o3JBm!iz)VV!^50gN*pXP|$3-4fxuqUif2od}hu8-xida81el)9crm%USu*?s*iM z80z{aA#hz)kqH#p*)pYJ`0Wm;-;z72TNC#G;<2Z zY5lvJiMfAFDg^e0?oY~iRf37#Z1+k=$l@vu2cDmmoc+Qxs=d70#fiC$!g#e<3$N07{iTr9t1 zSncOV{uOEB1x!>O3^I1H8_wnH=lzE*8GW+Z3O$$y*3^mgGc!)52i|fgAvSKgHnErM zCRb+2^QfuNxvBt!; zQ)i{}ViD_?T)_UXJ*y-&2`vah$%l4bs!j>v_!aqqv$WmeU$Y;ZimsSr`C--ZsNWfW zyXD(;gOaPW5jn>6s%Qw6q+yXB<)3K9T2Xa|h$|aPw$-5icKHRB|BJvUX99<%UH5-r zH#-G!)};6S0M2pz&j`*5i~Y_sMZvgasX3dm#bpF0bAuoB%}?9qF?9DSl#Js8~V+sIqAs9WdVRELO-S!YHEM-CT%}g z|FG-lr%J6M7dZHlQF{gaL~AjgD7tzWxZ*U{y zaU@2MU!(aCBkCuv0u#37T0HWQ>w^te$q^`)VarigsKu>>gE`X$!qjnJh}zD+*Y^Ar zNvgulhR-mmYz$(=OcxC_iwZxobJPZJRHV6zhj9UGE+JnrUYv5!@wI+;Mt% zdRN8c?!8Lka+SJvo#KvQ;cw>LN6*>g9YFfBW-y=qMDWmkimb^{1>WhFOS^B)Cv%nC zsr;dTg{ImFs2qGmB&C1V`RY6cgDq6)ez@7sD9snS^|Rk6^vj1#8C`wKc+E49rEV}{ zq$!^rL)^{pVzJ(oK}s6iEnnFMajV~-YznvAW6C8yU^C9Lhusrd?<~rQtbPi%m<)Zf zZBb)7$-I5>pbi?cXF{hQSKsNCXd7F$^L{45Y77m6Em%pBtDX6)GZCBi1h$2!(3he)Ge5<>n?F!cKt<(9lw6hu#@1K)(pmt?loG(O6*)2pvHgwRe-7AB7*LM4^I;Jm9XV7(A zP>+ZtZtwWwV}E~`6T_+%L9PLkMBUKdoiLVvV!))`ZZ#<{9BH-Mp5)b=D{+5=Q$N7v zl~2SAL+jU&FEe>hvFm9$lJr$MRBs!?E1JN0D73&EN|q+|t=$HdQ=z0>w%e@9-_MG; zn|0+cn1tb=``e7x9*l_mDu~+i9|-h9*}u^K3JsgS=MdoLf%*iVBAhZm8&`|&RBV8ia z!i(zYR;iMy#RvM8_RjUNFOFpJvCAcz@a;a+*OteY<0iXtpWGXza;MV;`Y_%5b|Dw8pupSgIIVc35&<*Wd7tj|i*Ji88fcVCp4IK?e= zN;_D1oi5|>=?g?_X_Y89*^#eAxS9Yno7;=xz|hU3>t1otFI!&O_cw_a1!Y;&klSyQ zFTdz9mW$s@o|dGd4l^BZk#fg?PGzOY$ABBGjE7Cn@EM_;iY z+4X;|4G#SWy5Mc9Qr;c~mq)!izJ?CkNAeZiYK6~l91|ty2f~?Plhk*o_kE9nQaI*X z(h3U<^at3kSe4SRg`0-VEoIJ)eNZEJ;8rmMD3yj??Q)$%Ms_et2{9fcOaU|^5B)%qNvUIw+_VA_Rfw=Z&fnhb*MvL7Ki9XnC=4)Ug?_)!^@s7k3ZtjnVG>y%V`WUplA z#&4!bx`j3P&P0}^E^rQ%-VkBc-}kJs)CpA5wpndzFTezMa9Dhkl4!PyUtwBm(14&d zREM5sB>v#w>Horj7^$n&B8fF64t{@AbC0Nl7^?;iZ1U-yySrp>pV3G7y5x5D`l_?V zX&jFu6=0O<)e{>Esrkh(n)-cW(@;d1v?0L^e2o>^UMc9n~j&idO{!FQDRZN|eH~b;ArvW^+ z{0mv%LVs3+<)Ow=``WIdX_@u_9Lx$$Jskxg#uKLU;gA+9Dkf>?gCT#W5~)j7pN>zF zKv6gqj>~6$QFB>w0%PXLV1EQg8vr<$kN$VNE0nR9s4RI7e7f;qc}Bd&HSHqxJ(cM3 zYSD6O>d=1d{?#X(hN+n`$qTlnDH#>+9-JEDGo4-S5ypC{5p+q#ghhjlVX=?fITYw% z20z&-1ysN7ZwKr{S{Z+C5$_z0oz?~x43YmB@-;7Z@|+GM0<(UyJ|=O5<8?_I*YtJp z`R>o9Zg4HAVzhIH9sIFL1JJIj;iOumq^4IAb+7DL_@b@MRnBBSxK)KOLVB?H`B2ml zzZ&O29Exa5gp7X}x#=tm0!e`MBcddK zTsiS@I+W7q8L4)x?weh6$A?F&0f{AVaPejtc2$S%J%q8KU4}7aD?My+DkS)?136&U zIexFN*TADjw~f$`Z zcPO(z`e0HCqBVbZL~L3L8IA2!V^nywyNF;!hdg4M(;##k=*Buanu^&z*Pdfk4<3l? z0C}ONj|sAM+g@)dmbIIxJke-EnuA4R653b5kmZ_hy*owZ^Bp)Dy0UYrR(<9G@?)(z zNcVS-v1Q}CYhq$fm#(owC*KTt$=`iMO3|3i?ix#N!qR_tPg__-!<;tRV(TYR*W`z2 z2KOKG3`?CZK}E_)FrbS+_F>~FGrPYVQsAKY$+jX@2UBt4DX?U`UAoCli(FY@)VKVO zB^Oh6>iS|yH?+;p;#*qH8fWLlrvBlX+j)SNAkt_%)ha=J!7Ju=J-b%s8`gpjMD&h_ z+lvG5MAVIUjY9rk`kR3rF&+I?2UH8I4wp|&zzz=I)`PRh4+Z!- z)3do~$51EtOC`}A)&*R23wf5}U0QE8Jgg@3D815EBYL$7xErcynt;&vPm9~y)C2(y z+``HI=gTj3S9@n)HB7*Sz# z{5W0`FqyU&x)pwO zzl?<6EcE!bcadVRF$#Pm4C!>i?AZC#y|+Alq1L+g-lA{yc>Lu~)CZ?LU)xLX%`>hl z-q3}A4XZ}4mBIC+Pdk0d!umkZ0l=Q_3*I6ny;u2MyBFUeE;8=h`-@K!P9#xj?ks<> z?12RJ+KDZGE9^DUw?2+aY&C&}@+Q>+4DpK#z8oM*K^v!GoW$M;P>j-ZPK)a9k=pl@ zovr>(rmHJYr#4`IL|lCjF3D?hI>vxaXPx_g&!9(XXeXw-C6b-aGL6$RQ$ZH8hh%E-O12UGo%snEEHCC7aU;I_ktgxvta9J zDuWW=Nwwt_!`yeJYE^TT9ep?u6=l33QJ_}wp!%M>8rF?SE4>a&Lv@TqToZo-{mQ$n z`6^nPB<4|}6sN6cPF2c`N))JyAEU#qHC>=rNPY%=i4L7y6ju2G*DSf3IAA;sdoe0l#bl@`&3*} zB_7~rC*{P)dUea@-g`w~IKhAajA9$j0K0xSKyX+s@*DqG&eyrqjaU7g*@+g@q1UJZAzE;sil-W|E?XRbMqo1TAAEA-N{OENng%Yw=|#3Ab9`XuOue8 zQ7{|x$M)Nn8+E}oglca=#3f%*nsb6N)|a{*D&h&$I?96SYp!a}F) zXB*z0ZVNBAJ+kXW1lE7AN1c;~HT@nHkoZpoqdKP*tW$c4&p|Vs5YwmlL|!>US!}q7 z+BI!`1TW>Q+jw)t%r%{iKj;dsy8@AtjfSKLYk!sgOi!C8{DyFQIp|g`#V#x!BFFz0 zon!Z)%i2M1xlYkmV~Pdq*!zlmaEhiU(wrtLge=Lyj226DT%mu_fX1+OrVW^ES`ro=#cu^#y}T;vihv(p@^Z$=Ptw!)|x7a`IsQh}+Y1@CaBmR2!x>`qN-Y2nYSuBO;nuT)zGjsLYtk|p8JmBp@2v`PBfP-*c za|_i&!O*&2HV=B+HyhWry!D=_U>k?atd`s}>sw|<;qcoLKsaf37>o^wp0s;$Yr zSeukC`0=>_1gq3Xdv%3Kb95BL%8c9unVUMaU~ji5cT<0)TN#YgV*FSt0=_2-uVK0} zKBW*|qUIxamO2)@Ms~V)vMu|7Aibegm|Bjh3!R|>l7=xO^wSdf%o-)bOjTjcoG6#t2a;WIs#X{JL3NIlLwieLXUA_UHuClndTEa4}dDAN}!8+7T9Ah zq9`%{Rg-@yxowOxCHm*bPg1c-dxy{O`twL-%579rC>L3cj2=Q^`&6u#1|Z9TbpO{ zqWv=1aRut2I4uKr24Or$fS;Pz$@|qZ&jz#~ieLnvnW5j=CBS({%y74GOG6UK<^@{HNAmF9Y`Ok+f z#Ppa&y&M-8^|F2vttI)nhgfPk0))lh)x>_rP2!1lZe2I(#Nq(e?Jv&S1Y$+3hJFqq zd=-3IhkfRWM>c5@NM?~?@?99+8hNa)WaI2+68@6&dobpueRNJbha2O0Lgs?W1-5_8 zL-Oi6gQ-hVEvIclq}0&Yer2H(KdFiCg! zBMtCguRjwEC(baGOW1r|opGTGi@D76iu9;T5jpd(Y2X5+J0^>U5QR<><-v96qXp)v&G;+7K>mmhT9+y>0-hqjl36E+aeW{E z{4t!2_R=p&8LDX;yJey`(qKHg0`dojh|w(X{&-|gU%ZZe3!+@~XrGpZS@V>f6na0a zLqsc8Eis#{DG$00BAbvyB-RfOKV)F%sfHXgRTlKOq!42b_#%p<+Fcl4_;<5 z4sqQ7(Erm4|Qm0*I4ohSP3?ZdaPU+|E|*-{>g6eUY~4UCRo zC1Zo7hj0F1)pQRFA&E=~p~mayde{54R;d!~+rcnx4!SZoliK3rzz zJ)(IS%J$X?r<(44Movwzbw)OZb~%B|{=xD6XF5l1t&sgv%fvTHpwnDv*JJqvMEapJ zyb8m&PZSf7NfQS`VKv_pOlqm`%^YC*$kPoIcysuYJvzvaVoI7fzt7pD# zZ|TG7=!)U77Ag<|rLc|Y9Xv&6gK&+;SCLj+A`xTo^|L?go|EVqT{kx`i?lApsrkPS zj@Vs(!V6)bbAuT3EMzqy9kAci{m5sO>C1gfX{6>-<)rixzf#p~XG~k);FUwgU0ImT zbCiu~^=n{M%*(}`6Mlcwhgg;e1NwP%aakO=)oxX6>PNef;{tFV|KXPrT^ap`kt%gA z_q^^WTNpA5|3l)yh^hXC@}vfWah+{9WX&9`AcnV%u^`VX=$Txlr*iwXA%JVw4<%PSCS7K?u1Yrp6h@2YWhWrwIq*UuR#A1 zm1^QS7{u6OQssDmzsXjui0+|ZS51VBMP813ur&Vy23_v@+$bVtvXh)!NkajasQqIJ z{M~~Yj<1@f92`>* zaWa2V*sad8_C@@TcJr6uM)6ah(vwN`JofV3FCJC-qeWJ~p=f%4T zWucwR8tjg|Siz2@kQo`d+n5Wbb(EIoOi5xI=(3V>gL1t*WAy`*= zrmugY>z}%-`Snh^Se0DUQkBPpziDbvt4zM!2)R&vk zWA*1JF>%5rJM+m5 zRkQ-iB$OAM)&Q2;4yzWs#ik`}C$Q`Mfwh0cH(j7&s`k_H`viJ*2^p*E-ZayE+o86JP?L!!&OD8(%QbP*Idj7!)fV60$$_U>`rcaDRu0IK6+= zbpv9gQ;pb6X$8L|h>qyJkLB;-(So8P+pJC2s}G{pCvS(d|Cw*J7y4`6XQ)t_8Drb6 z!;JJEeFh_(c`Td!Mi~s|J!KbnXt9cN+)7HdnFGghZb&RE6I16(t})%Hb@{X0*(=7f z$4Mlm4LqO-O)*ypm-!XgHqJ_|CSHGQ|H{J2{$Vl%f+R;rMwXByKTtDdf2Er6@Kc~h zsy4FB$dvI{VH~}CqQljj%aP0trcZV=qAu(vT?-C!W$_uL2y1d@1+0u{vi)N2XUnJ? zUGdBLPd^UEklgBYBx+l-dpxW+`cx-SkW6$gJsU2?(Q)i+wlXSqs6+BDuCITb9%XY# zq3)j$AJ8zu0P)eAvzuYL0e%qE>Wge*D2m}=!SicRss|#`f!eU|;v$@e%L*1>&&lQG zQ(=Km0T&)adtt9q88#QtYw&v!((N{|K;?zVqmwa`(!5YE~# zdd5bA_nrtY`rgVT)lk;%T8pcP)7SN)(cOK-G0Gx-UX8hjkc&in7gw>bG7<=)Q{0o~ zPj*UbVWelvc9w!{k2N29HQZ4L16a>6LsJ%(_bjd4pe~ zJP)iKmZwIV69jniTHomgs3V6fdyl~_etK#eBO3q%|JI}Jzd*7^*~w>ia@`N3pKL9h zj{kA?I4+9yCS+6>tDW~|doo3;{Df;T*?!OUYk}i=LVE2(-&B9IkrzU4h^*D^V!rib z!$)Ea7I;OXFysN71_>+|Y~-p%QqNAvP3}eNoS^2Bx~HYT?1Ol;en*m&Y( zV%xSgv2EM7jh%Pj-GA-3{nqF7t-4kB!>Ri9?bEFVSD;s8oc^P`+Hd^BDpJ2>)%drAs&%dbz*ks-u#NpY*fyY*BD>q4o6B_wTOLuUn~Uvc?fb_MyX7!I=%4 zG4JfABfg>Vo9HeA?D@K5JsKX+M&@w)4t>0JO0{i;3!dDm5MbjdTN}35@o5bJBks>z z*r*Lxy2DV_f!O_2WVIxY|D~I6MI-}$!=@Tvu%{@vvI(gEeP|(N7Sjcfy5?g{xG5B( zs!y-tsazT=_-$1CF(%u)7!5kkHbOeRiO*okLq1)y`l)Kp_+)pUk~y4DsAIM|AbvPt-8mj1?iAo(x;G9K1!@?0y&8{Ug6n)w$mwek|f9me3E5YOPS1Ka~@Qbc|=* zUh;~?C>~r8(WREv14O}*YVC*8La$<$K^M9c6Xlq8n81Cq_F|xV6L~?Y%_a;>6D z1){})|B$>TVh{6iCu?;|qBvb`JsHhw?6Gf~s=JDUP~@D@TKSAq!E6oDh!LX~R9e>1 z$j>}_1@PYnsz*A4*W`utUn)pNboaT7aeT3`T-uhE-ynN&I;#$5P;8yjmz5!&% zI)V6PaCC`*nTn}qOLbEPrsXhiQbs4t(?Lke<}4bvcT}o(FHp+zObRkUbwplTL1}^+n{TsB0Pb9bGG=sdQ>^mVR7>g5jdCwg>gPb`=pnH zQJ}cd=M&outCW~B_oSY5O&8v9S}<9W3DsLGywP0Yu?BPj(wKEDZ7Sz1>;m(Yql1*Z zv|Q6W*E(}n3h_pXvtB-yBr$F>8#Kg;AFjka8yTqIX1zzMGK}Z*RV>WgI(W%e)hhb! z3eSL3T6{JVgA-0`)fcs_=yu)s_VS(^HxNu6-YpBFxo!GZ||=8@5tmvEgFj4o^t-c-a2mLfFrcJG}dCs|LRI zsj%jNS{PWNujvoUYCCn_fVQLf0qj%QK8;y6uaME$|gq8N_Y3JeKHNfr9 zF($RVmp%o#Q&<}ryJ77Wp^w@mr4vPdaZHl0rIku%&H#;}K4mcrO)`>Vc8{TsYyvDw z+9-$X0&e~i!nh)q{AS`ekZFihix(`-nVIWd5mBk)zu~1lnwn;D?ZKv;w)&=X(Y_Mg zRDPEqQCl|8CbhPZ72hc_VjnAi-GQi61*#r?{7DgQ zx~ICKIf%oMrmgyf`$pXb(RaTN7&725yu4?b9*6Q}-LqCkIED)+Ni?npVP*b+glV$& zU_9b^Dp*x(4P7r@GTOXfAjsFHkT3ylu7>QOdW z3$Lky?&k5fv!)ZhEb4a}UC`!Yv~>Glwiz8-%U*Vvt~nNTo_pwV$&f|aXl8%Yb@;!> zxe$tu7gQpcq#4!fi1TRw^aa*Kk-jy8263PE^S8UdGOF%$95UfP)y5g=qEF1{?>I?P z${?|H9#uv=-?!b$oY21^D&7V|uQ~O10zI>j>;LR}Bk=WP7S<;bnRdeRKjEcq zF-f^L_6u*+bzCK7!hk40!VXQJl{a&G2b5gmbJ|h2d~(ZH`Kf+Kp#FWJpHJP-Rk4jG z7*N`joEn0PahW*f(6WQ+`e#yw?tQwh$rLHmn(Kg9g||tU6)1lkl#G*&^Ek{(H&&#t zLj3XPqjDt-Z7}J=BOIhHOILH<$dG^X{yb{7ZgQbq|blXdPcK&lYY`f_^t+Ih|8 z^3VGhY*d?C7Y{t))-+>xuy+Mp!SAdZ^?DMQgdQD1F``iyqU8IhMI*h{2vPrh#+^CY0gjK-(wVSoEu1`aQ z@7e4?mj_p@=)*Yguo|k$b{cdIm}=25Gs)j6z8^f~j}E{;*Mn>Tvsn~7C2w4u9jSGH z?UrSfqrjHdUrNz>A1FpImVmI6>~du!14jS)y8GH3J!%LW&}3`$1D=Geih|*6I@E89xZd{f(3z&eYCdzqZzlwC;FF1rN1ad#;jme)?EmNk8w^*17@%y=HG!JE39Qyc% z2u47bj;ao`)28@ZKAvZcL~eS|t<-!;x(C}7Tgl3ravg-YFEv38h9ie+@1NeyvSa~H zN%VOXDIw`&4X}|O)wJ`@K({Zp@ib`c31bTT>N4{ZNyLxk6KNLB@AE3WLA#b+b|R%FiuTh+VcaySl{2Eh$4X5HU(B&mGgR^yDF%0Q ziS5*t8K(Yh$o~ou8O9vi1UE#*$_Z|<5PED(29AF zU4@wOx1NZ;+8dSS+teyqipR^jw5SBFRjCKsLb)T>T{ZEs4{7D=>|1y*JZ`egqE zvuv;ni0R`530(Q3JEbVsw~nh~o`Fy)>gInXgZ+l|BjN2`^K>z|5(C(UdBhmVVUF?2 z{OBtL_e6K6ODYOj7>TLyQzt4G`gp78Y#9WCGUK=rfriYZj9Q6rw;_3XA{MpqQBo+@q5?r#prS6c6-e{M47$+0WLx3W6#l!SXqp<=bbHV?x;{JX$Ff%+ zg?Rp{Pg|KXKbFGNSWvUK7Yu@-{^do-z zz79ixaB`e|b}Ffw*R?N}69W?kI~rG+IH2+aya2mc;Qmg^QO=`2N-wzIGmkB0Nnh+b z+9(b|paPmX?D?xSO<|GfowEc-sl!HU)f9Y-P$mob=G=Ov`(`J;M38Xv~ zi2X3|Vs*6TjS1=F6{e4FSHnnnp~B$g;_ek#2>~t+#J#Cm`@}^PaqIUUy)cHpP!K0* zVTd~^{O8++*PmWms4VLkbn44B*qWGnu0x33fkL~3E(IFkr(BDyrzoqti;HIEETzY{ zO9!Dq+D|3t=C&u1MBuvMvRD*UjpH6%(+SdhB!ftjLIovh6B6tWJGAlS33y8VbyE-( zf-Iq7=NWi4^6%Fl=t#GL45VACt*fxBxuzsFjr4{0 zD%D$biT)}~d>@Z2Zil(u5*`uQQ6JMDvOAxe2_kV{yx({L{pLf-W>nnF_#BhK4f{mS zIRXlyX+SlklkVwe+;6-euZtoVJFK<*zyCPX^v?;0o7QfZ<`o$Fjww7e>lTJv5iqlO~ILueVjG1^+1@g9)B;5T;pHtuGUx4N?RA3BUY-vzZ}SSwN5dtWFN{9Qmlk>BFdNS z5&1Hh+}q+euv-Y8joD^XkYH1BdhU6p>iWEZ0__ET-+`gkHRK9^5$942Tg*KT4vFut zi-@YVs|%=RLM%WZ&3&4B6?U@f5vDz#>78t=iS3aYlB_f&wGcJP|8~aX-o<<7C|mAgbCtHAz0$}azGT{oAwF}v z!(m$SB`YkZccxdePgBSU;6k@8xJl|OFgo|u0swl6B`fTUGL#SxrY|e@3O5;PXL?N2 zkmT9pPRfKNbfskCF*9tA92n+JOkIXi%h@Dq`~q=G-&xTr=_rV(%uI| zwgELBTMtNEWo6hKbLw`mr4O<&D3Q?Ugm@o)^C3Cu(G+Wei(_JX!6IAzMRaXOo`rhK{?!DET>G81c+-lNx; zgXPSHcMx`IY+`R0)9c*m%`!OJHt~yBF-}Uqh4u4A7lkl+@fg8;#3#?;Wy#H#I&bM@ zYM{eFW3?W9zqjkz$*WRy*Q)q(698;RV|Dt_DW;hXt)F_{XwdR9nTEF^jP2##k@%Q= zP6XfSZ9sAw%F~*BOnJ8-jPc=3>Fsi&tc96k^?tEjsC|(Eqf2@b4*5BSHP;w)OTHfP zGCs+nd0u`s$+}Ob%`s6JBz33&-3G6D60|%o#rwmM@}<4{#SQn?|2k7*j2?);(25JL zOK3@s1tahjnG?LX&DqBmrfN7RI}h|$<*tI}AV&VEuIE2VW%b`iksaMNcYZKp{#LVT zFd!m&2SL!i1p;(&^AFmHy9TO11R|g8;Mw4?Ovy$P) zB@3=H_R4OfC$G6lgoj|*2SA`ZTx+A?*WLSwOeW*(`vh3(hgAl=$3G@`xoS0n-QTVGtKZpI_}RWJtK# z1A zswpzFLM&&S>Ke1Eeg7@(+K$gG{BBtg)UmjOZG+>6vGC_0Spm}=_CsUj$aGI#2%#JCYU_T6@k z)idJzNWhL3l5C1z2P}K+ZOJm4F33U{fLkXM-Y1lGgP&=QbOfX)GIPVy7N#$e1_nbU z7kxQ1vXU=qaE@`r!-c)$?I~w#^5V&HziESSTFgPyZyrLO3@}y$ckdXHu|MUe1T}ts zD*8R^T^n{SAGB4p4qHnn3jB*DfN1}j9spgI#O@yTjk8F42&9||`e;jyNd}&yErr8Y zT6u70jQ>znCqpv9Du7j)k4=9F8I(rc8Jh~X{IlWDdxUO7-}`%KYht0P133k1;$IAxVqXT+A~v(*r&aC69&#YsmS!MdNeQ>5 z^+;3H@^yc9c>J&#@3r+xSGr*-!1DPEO-GsaP=Y*GWiN!5>Y8tuJLrO<6}nL_)*Yw* zXoVY&U=S3q!oM$m!O-;7B-H=6-w<;n^rxiWbXwqWF_5O=8GUT`PUv14P?mS~)@(a_MA`UfR*VkyPim(vj?8L8k*+y9PGysLXZ z8+rXafp;Tdc|19J(;)MV_DHlls6_0Vu`(rxpX_7zU$Z}-JqsVV-xfzPqGmm8E^mUk zTX}JYuJYaM*VEci%j!WHFPye#OO`gJPK+FX2CDiWT-%gz$c?v3T#x{&5u1dBTE|(r zyh%{UaVJrY`5@>DSEO>2C%mf5T_Aa@{h>t_`fVyuNQ-SezC|5F(f9HS&~hi}wsas7 z;0e|ZXg9r-9&8S_NJT4mj00YF0-LUp^l(j40l!NK_+HU?J8N}1PGKmpxUfO@LH}<4 z0oIY)FpDgzzvquW%@3e4SO~5g9(dL~E+=f}DLTQ&6ZZn_Md1=wU>XU@dC!I{=tkj;3bJMdanohyKDmZmh)*^!Ar3B{HQgT|m) z1zV!1&&G6TN~cPIX0F)pDp)_QfB(E40j7XNFdEQ>@b1`2TGx^-`rp;%fF9$zg9IlJ zmD4prKh%c}ij=2B_5;@C4EqfI8G9LbjUKu21@rbh3dcz~kb# zmiBf}&|_jd26~;_uIiZ0scMq_`b^$8{Mdqg)2I-*w7-^4a3`jpW)^`tDG0f6NW#hIF*L$Hd&O0!bw8H zuPk2OuRtxhzQEK9R+HVC*?Qz0*^ge=naQfWQ?VV|p_Q3&C*7c;Sa*IBt&nwsct z=@;+F(~HQIon(kCQzbRj+&;28*<&uk^>+_a3&%u@6ReSLK@ju0My=01L3D)mnFv=*Xlw0{YeY;72L|vABLN$E z9;t23+C_>@{O6Zk`G3NyeDJ%la0@=Ild-=6el#7CGfZqFc+ay0)~`I5Mp> zz+FBmJCb7O?gniSw^?~_;JEm%7N~8!L2e4mb~8A!kBTaHADJ@xoHO4RR;?TqDk0U3 zQ++BrAzg10`54)E1clBfuLx+j2-8tU5?o_QKLkfROowvo!Fw` zd$6pU5qW?RRa%CWBOP||lw7F8huP^|bm?ggzG*}Ai?mD&jCqd`u;Qm9w~uy=md=$B zpfaX^Fb3kJ=gf6vo(;DDJ*y_MwVE>=V3PU;t3XhFR_E3mUUk< zil^rfw%CO1y2#`W@Nrdj!!6<9z5fjc$>>Y_3y^2T-C!zEx9%9a`y1P|$E5>pm8W*& z=d2x=edLUhc^|ZK4#Hv-6Wik~t4CHc(W>L}N3A|aG&*ywBRoa$iu*Q{B@r7o z3PhXb67SDJUv8ptFM7EJc2#bL!<dtpbznJ<&e;1MhtHa|H;efX4uIg}xk z#kY9hGJX4ZR({vExb$1lYSf#i3C;QUqf&W7fw?U_GOaRq z!5G)nRakyDCWj1k8qN9=e=sGl6Ug5?%ui;5y-fl_!1ESN>)hhoJ^GNBUlIa+Z=-cc z3^=|5zu#??F?OUr4C5@q$aa7|9AJtY;r@m`&p?*ZE!$b@cZzb!}(o}d> zYvjex14<5_S|AJ}j!UIGu+8rle)<-OOsdS}`v+S^BT4#5YwDCwv}sY|GaFuegI%2% zs{Q!=VBL$3K5%kDwo4>?E$TSRV3m5tA$X%L13XVRkNZse%<#U@VfH-PVW>zN)`{7E zr_YgXph44LQGdl_F}jk;;gy8;Q9DqPrmbI+1_lV4b!nKCeRqtk5W*7+ZSE-ZdITlP z1L-IsRtOaBtD!MPYa=mujOOwh71EM6bcCU)6^)#=%Ro@dPr628gB^WG57-q41=X5- zyMMk8Jz_j<{&qKA_DHe;{9JNuTMiXN+F_DKD-q0l_hf@FEI1qph8go8n+%E^U;0$)X=)+fX{3@@kFYe_&4y zk%FNNJSpcgMD!glok4MNVy$wL8>1k_+tI4LvWS5CBTPuAcZM7noMRw8=?9(P5Me^- zZP^gln}j5`8;?y!k;C;feq#38uj-o^a)68V z0jRs*UP*mNp~)0BLow+uFcHUK6bs_KuxHc1(b3zXi_oB-#`|>1-;AxbNr8V&BY#mU z7ng>{RhG8)xN=Kx$q!Mb#;Ij(CacsXkG1LJ>23nu-0GdYK3_xy&q*#}HY2YI1Ei#= zr=OU-IlO*2?5J&NIMexsZ3qI-_yVmNQT;Eab^T*22)hSK^sS#V6;UGg72&#*YbmB- z$cGS6>bDp}s;vnFMev<Ie#=~WSebh870|B{7mv|fqEnE|`k=)W@5N=^oMJDG&~;%2 zuyz*Y(Fc;v8QX9z%WZN@KZ@ugW1 zk>P0LdNTxx3(6)Or_=P;1!iMkmqJo6Faq!8K-6390p!vuv!bgpB~;`as1sDbrU3N3 zW46P*8D>3HhMJa#cKvXa<9%k?c<4sxIW%oo;?xlV{Gs%Df<5r$){f3bw{jb3a&?mB z0y?b&o*hM$FCg~N!O-fBp%S>p4-juZi{dpHifQp%3u}>5Xar^6%u=pC>-FynaMt$Q zp63w3R@fik9%%YYzZ?C#)Cf`qy%7s%f2kb=A?c%wia({%|F}EYeU{CLz^dB`w(t97 z{WL;_8x9NUkA1ffaSw{XyF_)upkso7gLLo(t(6&KYM2InjY7y z!EVG$n#zhc|2BMYRKlPhNmyg#Qe7MRi=rY7Mx&`+3dXoEYmL_|-Sv;U0UShV|GIg1 z$rz|WUkwoOW%NxixU-DimcPHlE{dC33TiCM!Zm66Ug@#nhWuejXaoi&li4hn{iho} zkoF*!MG+KjP!5{PLzy{-x1S-)Gv(bGtFJE_t)ZH%;k9O!s@vh)P#v3}$m>`d0-pu} zs>O`sr}0v-K8%xZ8!r9IIwMj41r|RV%_!_Vg(Og8DD_d$^n9Q6M43ZtM6bA*lvUlp zRGF9gjI>svy|x-uB;K{4KKU0_=$*XqwzUf6-JQ{hPG>a`V`AWnfR=~h@7ms~=@;Lh zzmKmN{cf;1Lf)x2D9&cTQ@Ydghbwn?3Y#|`J&)rD?VsgsBsK!Y^~Pureh_{py@0O8 z)`x7A1eHWeF%3@w<8Ug7lX}4+|>)Y{)mVeNhMIS!}sG&Kt0ezC)VYpIV-TXIpT`y z4u|NtarsckoC?rmD%TaU9AnDEr^8d`JYWKCiUW%B4e1KeBT%nt$?n06dA} z&HetV;W=jSMQXw7iP{95YUWAv#kcWz6%3~GhfjWa(H_m3n*vU_99Kz0CloTjx(@TW zm#B<2#AORt4p;NQ0+2@PqSmA%EYpGX0O7_#i){_H*8CPT@l=*ef^v4R`Kjy?g3HBe zjJlU~C$$7tmMv8elHa*>J-ls65Ab17f36uxY@noNn4|z#8;?3^C8zL*tK1C)Ss9Wb zk4`hTNxpwXVzct=%e+^c7wU$!6}~v|L1kA*gPIEd498&4)OYf`xxJQYQkMZM21+j< z;tj~j)LyqunG63k*DG&bPpWpC9>I}0P(4o`AAuZJ33?gLL5a0JQSt=(l(Pu?K@25=hO<_<&?ER$V_41R3_hDl$Hd5p9bN{BeXr=I zkquP8nI>KQ;t}(X3{8`jhh6{pV?NTN9nRF?G7I0sJU3h34*Bt&{5~~jNa5aZ0x;r7 z&%a8dIjHn5&t8P^$3k;+6Vwa1%@87AikPw{RwDn+jCJ;biYzj=k&pm7*}Po_JhR&U zF{rp3RTE!`{G?|Tmvzf_?=U3H!$3xsFW1lHK47~P8~6q1jEQH!wB_+Snt*s@qzX(F zKNaE?kIIX;ZO3PznA^xG9&lO%Z@Y(Sdy9$}pWaNRyBo&xkBX2E*O8r~4~}q<_Kz?N z8Gi(-Mv}FMQn5L!Lt_HJuL%j(RdW18ATB;4Y=>wkzc>}dm?C*)h^Xys+Rw>S#B`3U zml)=NxiC;Lc5Rrg zxzP{9?%< zjqs_}@zP!J<=D4-olx~WB_`5yR$jHE6(#e?Btt)S<-%xnD{8Qa3`jZ%osx)XX}^dZ zG24xMz}wQ^D5I#_6t$6j!ncd%^El(_)<2rHvr>jb^-Hay+4HtQ2hX}mIS&5BsVf{o zP-lnz3c7IFR@(#Cra;3{BN#VL$4~iOcqlNNe&HU51fin)JJxGNIL2yJ^KZ3|36lfa z?TXPFgz~u9zxZH?4_>sQGgdG*crDS*8yP}^D4O;ZNWWI2sg@TSX3cY{{Mf7bOIVo? zIADH|a(FU6R_okOM>a7cP)YQ!ye$3{aAk2CMOMRkKcWW$=F-3G?~dWEJbThq?sY`8 z5iUrmCrtzlV~@+FOYzY?y&a9dvSNC zlZTNNHe!sv*AkSVl(^hu)9XtB1Zk*dk$N*{F+Vb*2^i?cdL*u|jOtq(St~-nf^5!T zgv_fwdb#>u4DPAGZIcP2s16}4le^svat9jFxKe=YSg~!FuS7Qme4pNZWBh&ZI^6Hq z&N>9q)yZDwoE{e_6KO@TeJ8O?TSLHhdS-(RC$$?sLxGYG68usD3RK(*(U(nF50Kxo zvg|lSCrsnq8~v2{@5k8A72wg%;eJkFNd9c}p;pCtHAZ|-MIyt>S^Y`eO-a7w!6pH= zq87jnsI;wO9l5Fe$xvI_7K6ym(uA6`tV@Ko21G4N%*gIUq3gC&&8xIs0Uw`>L#u!; z@Ym1BIK<@pp6ut_e2@sAa>=gKF%&$iYqw~2oD&kJYHCFiJTH8m@s`1>Z9gLzbN#d% z(+~J6dTeRH-wkD)q~^duh3D7^aYCIKYB69;DXpn-iWQrg|Ee^lF?S4FD@)~r;QAZX$*=yQf z!SnnRtFX8Q(Jb2Z0}#!>y>V}geCWiSGKUEeUj2MA?G9h^Kh|2%rj9cUTF{VQ451$W zl7JoC*~UtNkF_#-W%^RviaBIi(FE#pu7VBYjbIJ!He%!JSI{7vVNRRZgBn~!EN~?| z-qrg=4C!EvS$-BHk0H-ID;%858_NkfA4U3LPo0xSeN3I1Q%MB(Ey;teb3no?;8+Qs zL-n49A2As#3=yDyqoBUcZlCkEPYL_;+}wUQSc>Aw7siL11dTGdLq-ovQ2`a~5I8AM zOy-700v&WTGmD*X$p55^Lc!=t zq!b7J&{x;Xli0{#eu$uXtydZKlhB?XAYwpL4@Pv^i&8LZZeKSG`8LVnl@X{M98DQI z#=d#|n=siE3~7m!3nrcjB;euc%u38dY*={aMEOXP=fhTx4C!vRq3A#@ z4_o#rVTsPO(?_ZLk^%00%zLbH?$5Q#7B9x^=1%v*o>PgyzKs01Z$q3~fvyUdu<#|d zP2Tk0jHIAX*;@W5P`AmnPJ~$6!ro&iDg7o%bP1BWJbFxdFc<3j$&#}r2+}>!G9>Nx zjfQ)z2gv_s$FnoFIO>DaP=d0wWQTx8(txtH(A0y*@&ed7S~{;lu>=9^TrJD=04O$4 zrWA*G09p!zH=wbl$^-Blkg`M%Ky9J(29SY)viuL((1PU$umhxQ8UG{G0ss(T01meQ zvI;Q(v6P(v09*>kAAnJdX$Zg;kaFM-z)1NYrsW?q4M@T924J?}MFI%HQWSsyjFx}= zKNu454+g~pXuwi(f&pkPeMx{#0Dz0Vr8fg`4IpOWVr0~!f@P4kGZ8g(HYNHg%FWEk z%*x2j%*@33A2MY&8<5D({Qu$nj5ZcLz9+lr&Y&;$#m30oHgx>! zZT`ok28*#dlMTj_g;v$lvVMzJePF$mWL_nT)c!myE-7zT*j(>?;D(TKpu(*6iD+I^ z-OMjxFC-B;SW=OIXv`r_7NsfJeYVt~Gz!awKYi3l+(128YZ47eZFWe;lPY_u-Pj*f zJE;7y$D}eyO0D2~7QxFx(fODJ6VOG4H;AfHX#68YJ^3-Uw5iWjjHwu^P0r5!WEs- z+KmXD{sQE3=+gZF>u~G>E39(MUotMbL{Z|-0Qf04!mTNX*?R4Pxh_-H)G+Hs>Y%p@ z8ADeHV&O238irX-I*B-hS_K(88{L{eZ@>i}s5BRtDGa~XdjZWtqz@t_6HHz|c7G4c zop(%7cZ8wwuUl_Mj>;0tuwz7WUSgq0p0+Oa;zqOc_C!i;N~p{=jD&hG%08(hmaj@d z9Z141$+f^ZX)}V@W5UO57KgOML*5W5)Pe#p5-kLks z8SM91s09qn8u0fzmV5XYionJ>O6ov!gcGrl6cO|&)#Bg8ZNH$<88MHdT%&4Ty${@} zo`Y3S9Ch}wKj(pHN_uDaGH3hGfe`uz0_p0MekLgnLgZtz|83YrAwd|q4_AI3*4{_w zRA?T}t)M4D*{BEqC$RV@Aa`JqF(XjHnAEMKXv$*-PNy$fZCKPY3CT4=4y#bEQk%}3 zkUW!`I@(_{dl*_JE%_+cT13~S@FRSV`zBbL`?SM9%QiL!t8shKk8_br0@!5DfJsVO zsx~SMLmM>1D}-0dULh`spDxif=$G_?sJ~r$vdqY$`pQ4${Te2<%41%N%amsDyycb9 zbi~NR2ihzYgHtpgrRdNs(Uhf+#_IrE+y)u^o_+yUYl0A5m3V^70fj~*zZF++6phpz zJc38S=UB2MX2#@eZgcNEc*iY%1DoYk17N0~@aJLJa&-y#@ph96KJ|n^vBzhBzKK0Z zuKg*~TOG->*R@?@gyBg3WfB9X6j=|pah$9+G#@#p|GPIs60-^h z43F)Ek!K|tQE+Ikg-x~?KbV~$!#HBy4Xlbns@_9~D~H`UZo5JVh$$7C1?~qYk>oJL zT7ezXlRk@WLr_Z9;B6GH{LB&hi$r^Kbc{`F>rOOaU&tDNa58a}R>f|u!QEd~u(X$^ z8_le~QIgClA(8dHntXYX98RS(w!^CGTx=9^Jxf8`4TIDt*(S+qgCqEdc8)GkN&_Co z$B!o?Fv28g64}Wm01W-q2p9}qmT;%p|7n4$+h03o4I4||DGG(P;rMsFDke`X>O9dV zk-%_P)&$)tE8E+v&Rw#WUkdm8S9-1KFJ@xvN@tG^?g2wX$cw-v%qS+2jS|egqTP7A zMyTOhbJDs8G&(Iyeo$Dnk4|2xqr!$N+l4*`QKh%1!J-w1)^+X9JnV6ffaVh7)iH;3A?6a^Bo^Me z`wg{-Vfdn~KhP=f6-*)HK32CO2|uX}c)+5BX6a(b{f67ab{rB7Cu5uqrT;D&OYPbY zdSy>bQrS)Q`$NL1@|pO_3d^ud2m%@ejGnK!vMYgj<#NoH2MCv1}&dR zV9*B|BcUVm>qpm69LJRWP;UacA0B^uquVl(ShVv%#S<{tcjOhQPTA9YY+b9!R_Rum zF8{G85s{@&Yqr(B6WMPzqnA)NM)>7N*G zpBR?d*;9VByu&7FSob(O1TGTNaWq&Wd~7V-k6suTTY7NSoLjw`iU%Q_Ft5)vxxJhX z_DbiE*O-qNXYvfq7kwSCGCPuLk1Wva9Mj$OU+91k(g4}hd0*#TR&Dq1?l(Wpy=r<6 zJNG*gaR2>ZV)16UGz(Ma%b6TA|J%Ep3kQs%{`>^t-{b$MfnUC1G>?6BE_)4Qjd5g* z`6WeZ-(90_d#nHSSvy&!zJ9JKQGm-pBO#{E{s>a z&DWn!&jKB_*{95xmyM-hwNN+^zcN%FkXmLIt$yhGw*Rdx$(m%%>d~`uTX5Htx1>9} zmGa2=)co||(Ox1H(1{bi@8fSEWbF5V?t5*f80vGQ! zIVLPK7`u5rUAc5v);~FF zn!aBbdxw`@YTWKnG<7p+gPJDg!YI^_zI|gM9Af zFI)*tD)t@2Vm2feFDf^N}3Vbuk>6A}FFCD3uxNf}$!zpCjs#^}77$wfF<;%S?+!$sVvBG6XJqU5%dvbp>*Ctfl$VX2j&L{jC z{YhFB`g5e4N~~UxHBvKCL{wrw!V?r~^a3-c2&H5C7P+rGbN=B+LJZt(wso!n7>Oc% zzdF&de9|^X@XbXu#6mGd;w+GZgB953eTwli-fus)dwKV-4pWTc*8wSj3-wh!)@Hg1 zjq)b=7c11X@vKcZrX>Ma`f^V2sd!Q`yDDLE+muQ|c-m5Bn&o<$)#XIs+qu$8ty!^+ zS-L%xjx8)t)c1r;LcOT0QzA1PlCvAr{`#PddEF4NazO~A?0C6chWVL7E-Uc2g?J0R zb;}a`v<{fyKjZ=>Uw+U|oZ~TP3TtYQAYa^~fs5{&GC=otQXdu&5#&%BD=c zH5-%|3_>Tl2(?(f{Ig2pz`=1;L{R9jZ%53JPT^Q&CiNk&;{?-A((n71O$K|fV1F{6 zyYpM;yD~jm^Jg&`Ym~k>kweghN+x`UA*3mW^Lv46iU@K5Th^h)2hg}PRY%6K_hJAc z(KWIgZjdM5Cc+KAk`^P@)bu@;W5=Qx-aY|uzd(v{{lE`98u*BJC z6F=6FZ1|pHAvJdE6e}>lORS&8S4v@}l)VTj?IeElHU;9~7Bcd1mG_g?;2PDs7Klt+ zz81v9Ka-sPb#hp^5&=0%w=Y_v@gAadNTGleGtpu^YDl~%#OLyV$1x(1E4%y2EFU1M zM!hpexdOl8Vsl=L6Ys?jbrd^r*;T99E;yb%jw{GooP5Jr564yJ+(=dp!0Ai=Mag9$ z&?kHCAHG<*GVMuk{JS5ZGZQ`^+?T85^`f&-v(u%OMSmuq7DU4^On6o?*dMysd-=H6 z88qeacrZ)4=saccd3IBr%}-Hi^r)Ws4JL9^V))1j&z z55h926KOLMu@Eu++f=f%bN;u<_HQauf@S#i+sy9Yiv9nrM2WO{IavRVKWv<0Y{E>e zj7&^iBJAv3Ow3~J!Yr&@EUY5T{6zoXM-ch{z39K)WB&##))Xdh02PpYepF6H5qapg zJR&6zJ6&i1bjD0YFwF)WJ2`y-jyRr?^KmL`qbKYq9Bs(Cm~fgpJr!Fain~A@>P1dQf>oFj{NkeUFd%c7GO|CV6{9$Gn_?X;A(VCsgY&tSqg|A2Py;u&gYoiylJN zsvg_v638s6e;)@b3m=}#%fC_s5&1Am#fP(DRn-MNsg-=b`<0a*#}iA877MnsrC6;# zugg>lqGVbZ&A4luFx(%xYCq|2-t>25scRe1S9qW=a=PMenVUyfpp8i*nbN-rnWT-A zhiIcTaT-|7EGOntiykc=p1e38=G!ts^bkxp|6BG<`mgQT_CN4H-E>aQhK|nej;3a? SOzd1NOl+{^T8n0wyc~ delta 38477 zcmV)0K+eD0unPO%3b6Jn12;G_m(g(oDSxe0OOMkq5WerP$PGu@WaGq1lM@2OB5{P? zSPtIAZLOwpi5<%RduBXN)2=Fn5GQ-y-#oKu8)ea_yDYr#*LM$(xrmyysq!jXZz7(H zw9fKql~pOvn`qrd-`I~y_S(gH&0gZVU}>C)Rm0XhZR4a6f}P@g#mv-qM9RK5$bUHz zxiKStN;ax)8ag?&FGTANy-pw0g(Eepz&FHwjuQy2T5|{jNzZXK&%HVXo{hh+KSNdt z=V?=xgxu|v^+udIY4?`C?TnSrzGsy^CaDG@&E)R!S1|248QVw%_!E`PGzP5=y{Az- zJ#0x4;u5#h)~eA-r_B(Y$)UT1aeo8#0;+)6ha)5jn1JOJnif!EM?yIm2sILcbxgfK zF49Jb;ItyA9{{mcCy#yH2biHIMZ-?I?}>R4yQTmyF=wOM zj`9Hg;7kK~u7z3ru2}FUExqa~<5jCedLDdog+7$T>o*+YAUI>KhStL%R)73Fh)q5x z0eZ5xX8tYH2qaA-ew1|6sDh>2`I0u+m2<&YEbyqEpw?a&@z%saSW)Fm6_I$=L%>}Z zoV~LsEpVJs39w8(PMl~2MMN$PxihqT$4i%#Dw?ZdCkLo^i-ix;#XQu@;gBE$r|$;r zBSa7Q{H*#pdU%93kXDYz0e@`rRa)2KEEH)0A$eZ1FB<0vEY6n&OzX?Df-Nl}WSthX z`BTobS2kCt$p1j#mDm182wt*-9OU*~OyVWU)j#+!9*{hqMX!lN+q&?Q27uX!QZ7XX>RhVL4kf45~eoet(`}k+lbm9N1*~ zC~L#;Y1spgd(v#>K=P~W5cU(~P#4S?PIdqCr&c6X*M!5Hm;ca;ub5nYm0Z9s<{hUy z2=ta}YCJpKE;X2GyL6IV(f*LS}G$T9bcmr<1h69O?fvm`JL0Rh#sGBG^_ z1UNR&hnG>60uur=G_!~`0s#SKlZ!TVe-4ip_~3AoGQcz4o!&Q_ksA_)DBUOKe1MC9 z14l2>&iWI87UUpIA`S^2qROs&^$&n}_d7lKwOtdY(2!TbAXFXa)#_HGqJEpMs!n%R zZQH4P6vl*6$vz_-5fWwOSAvh&HX%wOmS$i84tz&SI!?-&&vEYv$z^=26RP5Of9KOS zH)EtqGsM|Gy^GQWa4yS%NE?8-YP;Z_169|i?dtO|zN_DZu}G8xN_qR%vlt*t^e7cbvh0vxaQC^c?2zq@1B=t+Y+vV<%P|TCbKlg@nDC7m3bFR3SHHBr zuz38fhi7a)!T?agqf`?Z?yf0Mu}*6t%g zqUu4Nyw{!Xz895Oq`VEQKvY3I@-TSpm#t^wKfSSCSbtS@t8%}$%ZU4Sj=C=7uFu;# zPzN7hE|Bmo-2aq>P|=JZaFF8x0TWcrRx1aLb3d3pB*Afi;W#zP2SJ#O(}7rZcvrLe_5G2T?2dS?f3V0KiZ3%LRiotb#f55u3dU@tLz&HKvfJ1 zcdrZ6POmO!IGfKfl}NX*KR?qt$^>Fk{7&qs5GaL?epD@dyjq~$E_DOkVkywIZz}EO zAeHemVLY_QFnQZoxrVkMM(er>#`V@T1^gZO2t$y_V9b`bZnh3>f4A9XnUK)#JP}?d zK1~!Ou1?6m0ikqymxd~0K%UuK5dY6ITG;YTld45wG7bNV8L>nkF*w)ffu z<9WDL=gM$|v6v%DUG^Xg3_+B}&sgBUR~>RA1~q{tc*s~?NMM25OL1OTV}}UP)&E`= z9A&B6ML|^(=&w^EILR2HSi%*dW7E(3HE=jfv(Fl~;!r>w8VZO1E`F6fT6MiR`xij8 zoVt@%I!KdG0V#j&S=(~kHV}R1SKu*uD2T-!9Z#mdrkOU=jGa!}I)0F4Mp5HP9+7sO zzwcQ}rtUHoJDxmrMgn+Q?jD?7EEc2{N|wK_q`;g@q;DvoNBR6VOY_s?0hV z=GzgyPr@c(Nk%xJFd97&nFyPZx4`89%Mpx2-nk?kp7#m{72s;hJf4d{3;SAO0G@$E z&O4zEka`}01x}nh=*4M(8B*vmo`}aHh~R-n=d#E{#2^T25^!tg$g86>$L4G(@e5LVNTW3cPC_Tm+_Z5ZK3%2*6Fml-CYsua3QM zlj1u;IAuac1a`qafTD*s4Bu(ihJbJyhzRzaA-;dYj`DnkJ*D^xTx8jKz~U@3sG-+c zlMz%n7XcY}JYt1;L@YrBCoUq+5COs^xQNYr;+VitJjVkW_GKNa1ZO6`<%EwxXAU9> z=%Lyt3@IWg6*x)?J;xKmBq(@*I8KQpk)sxLiC}QgaL2C3Wn+D|vm^2ok-r?i9g6%w zJS%^TZq*+SBs~`|US!YS!=d!aRA2bfi^K4>&_ z=1J}}?e#6{{Srdm%s9&w1sIzsTnpNx{ zHyX-jj2rxCmo*$VKt9gXSZ+jPS9xu{u32LC8-ZeeDqYSGrn(1!-U2|U(LaY`nw@{j zM*gBfHd^bbduVoR95oG+ss5r-xG5i;VyRc+Sma0j>Wr1|>}2`duUCc0-*kFKmhTS- zRWYbaEE+7B<;O)iydHInlBSL(R-;9RclcEx*(06bo^0&op zB^rb)35&EySV-SMSiU1*TEMSuYc64R5tn4r04vF;ctz zs*viJL8t8ebWxQ3-k=WIM}cFMmlmairzp8HF@)5GT5tky6Q0kVLH|QhR>Ma`laf>@ zPMrxdq582vr|R-cqPBc;a%?@`x5b*N7$`wqLSOPkKJY19IfLs$)^Mo;u{< zwN|1g2C1o?tWMajP&<=AKpuaOnQEpfWj@tRQ_wf28d6L3Fu(YDNI}f+np#)H3&NY1 zp_RfuaQ=xcg;CZRAKD4)h+SOxZf=}eJ&XtIcNIIorK1Ox>^uV(ol5jDr_vS)XGyrG z9#xdnPr+vWTG%~|z_?7He;|Qji&-%*e9x>{CA_XWTP@5>IA(o2VGVy_Pc4P9o1hfi z3A+f)p(SRAHQm^@nr)N@TjF-Y*pH>yQnL-%r?mB;wF;%}cdJ3?<^z8cp`{h$TjztZ zOY_0#ZRP`6wNR7t`+A1Nuj|LXn)G+qX+xR1uIQqfjct%&{JvijiY|-ZA<6ovFf+L5 zn$&T18JF+w?9>+W-THqWReqBHdHjn1&puYwRrzzC52{fqxjvM=;Z2VEtiyt3j!M%j z1wOoazNTWlA1zrcHCN3pNQwd56;t=#BXUXqU}!BiQwBR?hx*A{nsTd@#Khbl?UyfK zBm(Wc2HPLppyKWKCWtu}%lu$}SEbjx3ftXId3F16rg<~K-zI-eBiDzk|Nl1sv+O@2ocX7hQI!G{0yQ+3!G{49vzS6V zI{`MA!G{49v*>-~H~~19!G{4Av*NbsDFQYym%)bt6tm#q6CwgOGMB-J0TUB4H90a0 zFHB`_XLM*XATlyFH!zd&;1mTiG%zzblTiUDe~h;SaGeX=E*u+;ovheagT}V)WW}~^ zG;C~}P2)DUZ8o;i;G}!M-`l;v|DQQ$GLx+9=5_0NR>+AJl<5Uc?2Le7cDBy+%nVH2 z0AX1rW+ng=6DtD~6AK(Uxr&9eHSj-TIC3?hqmzZ5E%!eRgdKr~&hIi2L+5upSvy;R zf0TV^7cU6zl~-7HlPFir#Ap*2Il{U z`;YhUKo+)tIU5=q+u7I~+Im>nngL8LtbqV|F&PGDcV{|)p{>bpLqlsPyLW#>e^)~b zYeS=VgTI&?0>lIr0fz4d{--=AV@C^nXD0?H3+vw{GX4(p-epl+6Ja|W8=$ST6Wnip zA{LH70MOmoobh*f6%Tvhe_u-G-{SWQe7x-K>;b0lMF4#)Oo8uz;Jlm+U4Z~+ zM;D-v*FP2iMsUo`022#iXMhpV%)%D#PxN;&(DZNoK72A)Z2|&-n&IDloy=0v4e;<7Q9Y(>> z;y*P0;VWrtY6sx@o9%m>{)e&ae-?o1KgU50_;)NhyZ5aH0;v8hxegOMlkxj6=Ktqa z|I6k7Z^M5_`M)js|0X2nVr~7Gn(8n8|3__TV`1&_AA|R$b#Z<_09m{DGqC;Nrs}}I zk5(3FV&P)*zqOLihVO?Ue`srF{ogiPIEh)f15FexoQ=)@-j=`Rs=u$y+QJs7VCQ7< z`>_I`e;>{N(!HOSvDN#d!|8n`|55?pFX!JWMQx4kOn#pj3p)qE(9zM*1MYpu?}#1X z#r%GYCP4SUmKeauU~A|6?gDr(&j(;?=Lq+Eq8#i1M#0~rzYzz3e^KZU;sh`X|3M!C zj3R#!7l2Xpzlf6wz$o?yF#{OI{~#6sqr@M?3SgA{gV+F!Qh(4p7wJFfor}yL^v*^0 z4|?Y!_XoXmk^e9H_|8S)4|?aK_y@gnQTl`4xhVfZ?_5;=pm#2+f6zM@wLj>ci~4^N z*E=%&gWj1L{Xy^9e~lasjje$1?-o<%KXTUp%KyHP|0>=~G5#-Ne-CDCXZ^k#|07{z z`z^7t`IGSX(lDC*1HPvO{)zBT9Qdyc%uMe+F#QAH%}xIS*?vQdKlr!tAIQ%78@m39 z&-`0p{YU@X+|I@EAKBgw%>Du2RoiotH$ogMtSlRw4{+)@H z>pz-*in-;F0R12Qf7f>sAkZCX47W6IXUr39Ss&c~ zP%DV%M!!4$X@-1PJ(Zf?Yss<0)EnlI- zS`!u9etAFZ$16?kw!tkhPJbQaL zgPJq(MkEza3+HnZ!&>B}waN1Nan5tCQia8-6Nd~(3!4D^7Ik!r!b|8NSqf{xtF&mf zf6={#w}>bQkuGJG{sY4SOGb@_Qj~2|Po3-Nf6{m6pSfQE!IXIYXg?F{%9_yi9ZBRd zYTERp(46a7t$+jv-%W+q+V9l5Of6IJm${}J-T4@b~fKo4GO5h?;9huC8!r5TrnsJCA{Nsskm_KhQ0^e);$eX&A!m6?iH1 ze}v1tUC6|w^%1fMbQJ%LJ=gp4vrkpyh1~beS(F89H&orAw;&F=H=`dZ7Z-&%=B%Oy znW0p98KPYgdF!#1iahne#@V29#*57=Oa_rM40kR@CN%5ZDh3cV5oj?!E zN3H^fGqoz!wm9|zMdF_)QS@U6jRAu~e?cL=Tz4i1+jkWeLV6g7c506oRc_%zL!Y-) zID_*dzAO3XbUMkWi3>)772og7^}rgDo~j7B65BMzBCD%>dfFN5EPi&QE0+`@rz~2M z?UO#_4f9^oT@)$m!Kw8Zz>K(U@@J{Bc|PNya)*@g&zxatw?f8^dX$CsRGckw($+kpza^hlha7B%GaN!i2;Q*bgY zAXs(U+36@ZJ4Jrf#L=c98i6pz2Pjc6AUnKsl<0%?vB{T8XbP;NdBnl=+;u3FD4Va7 zf=E)xH4KnTz4gLU;~-Mb(OrR;jd_mX`jhj-g9OMjG9nL0 zT1&H!qqGb2A?vSnRbdcFe~Wa?uM*Bx^;0uGcOKY;^RK?fgycFK4(I+lt*v`(@@%fe z+8O%ylCAl*=M6Q_82x+3QMgPS1Ql1ZQjfAZnoO0Wv94Ym8`w$nIuAVnFvlE+p>z^f zoKN@QNm(k>n$irb(%45s)LnE~;=|HjhT+0mLgLvSaD)UND^y64f6|npJuLD}GioW- z9FhuTWY)h9pDLT_6R|e6JF$;vfn!5a4+FR`IMSmF6fERsNk%oEVfRv_IB9e)cD}Ne zEWOyC>n;gtxnZ*$H0fsj){U?zeO<%yOKoDEP~E zK2P-C{IZ2oIdX9AB2do1YLUQfF}|I{4^7EMqcVy@O|W?E8~h zjWK#q=#xO*&C@9{Q$m+!o}K3-+3Dlt{eVAtZ`F^fAq=;z^(_`%yYik5K(+o0zohvH zvdcl9kjq(g;h4IM&wLOsgN{J2IAi*EKlost0P`Y|mu&93Ot6zW_ z3BLMCd)vvv>!Z!jq^P58yyC}qAbR|iJ$U2rugI;_>$o>`&L)BpkY_&5W6S~(yCh2b z#_B;xnzmz%EGxS(Dc+~`vZf7gQ~B2FIT0=92L+32e_j4qLDDV7R}F+%R1=C-7sB`1 zSEG)DSXCZevB06rI}cbdIafl(Y{o3=XcLPW059)Q$YMC?kb#);cYlB=#@5#!*H8;b z!5X-}QOvDDR8e@lbq&gWgaZ!KCD^|%;|4kUnI}FqC%Rx>#sxp7wJMkiY07^N#Guy1%F+%P+53m`c&(L>!Uj|+ zvSJ>nsqrl4wU33*AR(ew%QMJlZ(7i`fBaZ6PZ)I46B=Tc^GWB^rT~f9=99G8gG!#! zuhjVOY5||EsjSVayRw#zrmJGsh?@_}=aT0}e{{B99u3(PnXzg|eE}6*+YV|)%_XBn zfCMK!tJ8cZlg}BpNS^UsFwj*6`-R-|_%hj^IJ%!vF3KI@Ba8COgIwiAzDLQ5b8?YM z%2>QoBnmE?;ceMkb9jJ;Nx{a7$v0l{O2h6RD~uJ&e-;$P9(D~)^jn{{&ZpRKe9+uo zfA~tdG!CM^Jh>Z0(V5Q_APsoM!ANJcfVEhfc7Zj@#_bk{`#8|+DJW4im%|DQ=fQBL zo$KDRz2?j;=u%algZOjMlHg_mQL#6Z-zF z;GyNT*C}*!$3fNH7KhVYV;8L+TRlj`e?Z00(O+#z7H_=Yx;XTwA{0chZbF+nV>Vd* z=)!RALVLEeMDlda$8$mF=Q;FsiX6_at!5+F9ej`})hQ5Veh>#$omtF%;%xRHWdmUL zY7-yR=&t5*+qjG}l|`aU>gkJ}Qey9V)rFWv5E`F$x7b(8;3&iuL55-5tSMY2f6V;U z>s)RkKzd*L5oFRzE^IbRx)wBdhNqzOXg1M0K*D=9?Wuz2q2*iQ{5Lb_yN6 z+fyh(eq`lw9VAn%tnK#-Tnk($e_An4Tw$P;20K-Rh$oKA>W|!VNku1vPBXUyNlioo zP^Li$nR*23YatXYY;LG!)}HWtWV0;l=Va+KxpT&x4w`eQ2ke4nUvwxXP*u_Vlk3;$iy7&l&N*a> zXv+FVK2R-1fpKKXrA=q@f}d~6nVs6D)SSH(-=A~M$8EC^>TnJ!-e^Lh?Pb=^Lf*;sAe%V$fxVNNCULvyqdd^>acg5KSKePye)0Zx8vg$%F#4+zv|WNS18?-t*TuOAPd7>0V2ztNhG4|sZ%x&{$#>DLQ+Ru6~e zgx;|5yUw=5K!F`yx8E*=^=N<^77%~LnJct`OI``XHgj7dhK7TA;M^61)fDhh*7dy% z$pK5NdbG9^nm?>ee}pAU&T=JYdOT=~6iW(3Slf6yD-+!?)D90ceNb>`^Op$8#qd6Y zR)7A=vm#D7kN!aujf7R`hJES!dGBFMLWg9gLL2IVIe9$o)R;Xe{_oQCmWAyYKumkNY|l5 z%kDe%(kPi;B_TZmB_TuWAII(u`ne05S={yPvL!VT8+&If=;x8pXrJ4vkQ?#*N`En0 z7KUv0E#(pWtQ#bq9g9$?A?DjqJ4ZQZbiP|40UJdx2(s;qASK29%yA8N(8-@ zTkfCE5K?uP0!QfX6%9e6R7~Q-JmakxD~b+apUVc4f2>p}TQ0Ic@MQDGIpEnY{&Wd& zww4iQPSofHu#e%Uz&XS(^g2uz1@Qljn)GBAR;KO5FHm6a@g)Qffhn_$!LwFKCCe@k z2Y<1qx}0ewgCT4M4k_+3+StpnOLKy%zW^h>se4uy*9{{jlB+hgT4rk4Tw+vxe)RS3 z_uQ01f1#@arie$9HNTu3fjkn=f=a^7YVMZKu0yv@|NIi|4Nl z#e5GSy`E`BF-IEJRt%LfFW02s4fIuZeDyG72goXDikHnz@(^-C#Ng{fluco2f?!64 z2(bGntZhtD;le#+#`D2v^#nByiAY$6<$u_5f5LFY2y|afhTCK4=3Abeuc^tKuu7?3 zw(jMjNUkB}-Cs_xy#mHjn@;@{^UN@48ffCr-;p#15m1((NalTmY)?3Y0J_?Od_)V# z5(~uF*-@)2XYIQ-tP&*l@Mz!RzMP>&&o(A5aKC^|4m6sOeVvckVl?$(-AK+j9w{E! ze<2YsOGc^Mr!vu?C8R3`3zN2*UY08ctlrjOt_0Nv zt(211xi5a3b;P@0pYv{K6uO5`ypr;vL~BydKaJZP9_YabESew7TY(#7HJxSb*grfW zRDE>uSS543N?yDE;sR&tW9-mF%iiVTOZ>8?JD2r@_t1HQq)Jx>`rSE~de4Gef8r|l zyL?FR3RSf}P(I+0KuqoXtHUG|CSRq?!DcVLICuEgWv^#Yc1VVVmJWHW>Z$8uCkP?p zr00$v_U4FCj0d^DoXU3dH`Y(s)f&f}{OvaAQV9>3^fRo%_XHL@3lajWaRH_iK`&O# zN({#tw=b@g{sT4)sFY*MJKZ8}f1^v*9?wMBoQatE2%5L^!VOh@HiwOR-)h8N*!9IT zpdT8Sn2UcQJ2OVl!oP0DjBa1RZL&qwF<04!>;Dqr^Rb7b-7_sW<1!~Bcq;7!)fG6G zeKc6qn{E-8zT;u9fGTtwIBtXZDe35NE?CNHDj2w-iDKbW>EFHfv*)T~f9m{X8dcNr z!y$pl?HzY)%(4j~v{DiH8X!^783o~(zC4Z&oqD^~u)J`n)qHz`OMAA&sVn~RGkmtE) zaV29IjD_lBIb6FxB=D;sa@VKN&mDR1T>Tp)blR?MnA7J}CR-XLe=npOYksXV&+Di! z!>Cbw&HEouiR|fRrYHsreu1A$8}I=PzLt`A8zkqSt^F8sD(7!?9ck;=(|L}dNx+zY zQ5@bXl`}F8ps>ZwdV55 zNw6oHcCbOSyEis|e+?Gh?l`tmiS)7jjD@Roy{<_I8K7N#W~%DxwJ*YbQ9{BbC*KKm zf8lkSgl$|lSZisOAScP8mq@4*FC&Zdi)`P(&7;$9vHveCE=i4>1k-}D%qj5gw~3cu zv}jAk8lop9$sYz8j<$$9CwoX}q*jzUkvf+(32R{R4!LF7`d1D(dIos#Y0GXh?JGt+9^b^A}Q4^P$ zr=#7+bi$|K6 zq~=vOH~1;re;&^Fwva#c=DP*lJXI5sn)6O+ZPh^bnJN)>j2y)3R~Zx>Jb*XFegR7@ zNJvuf;em`KnQ524n;{*KSIKQc61#uW*~fjk*PBfQC%^@V=ShR@^gdDoi0JeNB1*W- za=a<_y-cQ3W+}1`8u7T3Hh(5!y(Ur~1x#Vx6XP5XSe(QL3=-MQjF&Vog76eC7MN9q)wfjVwdEV#O&D3 zBvB{73iqkNqS!gszT6u;w6aFm8dDu_C3TzmrusZoKnI&?ixf32I(3mts8mRz$a#-uRlP0c;LCVY$%B(Tx5d-m>vwS8I#?%SgC>FcZJ7P~<# zmYA=8hI>~`5V&f#cNC>YLgPSKu($xS>ih=|Nq8NiwBY^KJHBV`AvOJ9U_*R!#auL! zOg@-1jXES=ix@EHtg6eN{g*>7KgBXl!AF-0e?x8+HcE%7MdQLhA_qRJ7G*xUQCDA> zp+$~hILvZynplz+wbZO)gquS<48RvK=&)Kw>bPKYc$If3U!?W~$!ik^PZZK(DOnjEg)LCu7 ze@9Gm)!{qd+=sC;cq=W)z7gi17spe1hA^Li;AyiS>_yyhcL7|B495Pf8f89$K za$d!jy=~t;aC5ya!kxp>lUl!m0n+6GFOy<>x2a$P5Q`^^BO*H(F2}?%RWDo55g!g^ z-Rn;Z`a7qX0TGQVfObU{d&MF-CGC>PdwILU7j=1#at4$Bttwmr;{An`13^99YOH-} z`07>RCLVI<)zSHoHb%%jW!h%-e=bDrX0$v2;xU5NxP%a?(F_wDk+1k8yeQA-a>Bth z2)UGLv388ko1Z3j50B=3B8wiN!c7vainiOkaHIY|=|+*vwK0V$5MjUd<$ze^c)z}0 z0}sDCZv;h#H<;2PbO3Z~USGuqM7Sj>`Adxloszb~u_w%RUWV=P@e&} z;N+>24~XgUx-_vzo-Ax-#`kvvGHhg*EGuGlP!-2+yo(0grJJ18NR<`(Jxd5ox#*IU z*XN5`L2cHiEvYqY?BCBfbq-FQ&wSNBAr7}wtm4HMyrOT{v#Mphe__mPf<^7Pitce4 zA9A{H{CfXpd%o|H@L>btE1yqxZxgU1x}&#hpJIO1_Ts4#*um!2x_|l@Qh=*DHIs{S z1aW-7SQ6D?QNTenpJyigL+#D-BeUTga<_QZkalf6_J$&gDj-PXX<=KP63@4Rlb>@{ zTD}dC3vde>tKkUWe|0f&vMzR0#$2Ke5K3wvmY8rcnw!sTE4;!q*eufuCMb-G9m7ck zCK0*GN7sR0g=!#zKT#A{TKmSa9;Mt9pwG-U$Cwu5iq{oIBw1~vSBC#U9}(&P@IwS0 z-;tWI4HMI6KmFS=@so`<;&6Gmy&l-n7D*5gEuBVmqV#K>f3A+Edb^GlPJ&aoP!HXy zq#|PdxYh}?}e$A zPZIj0!q%EWUrA=lCP+M#5*kB=$`-P0i^5)LlF&;ndk_}l_xPfzD~}EBM`XM)JP=3w z&N%osU35sue`=`Ih1%Dyt^_M6yq641;AN+2KYnA#XPj@yrO*Fn zs?DSR6EWr*t-vcxk46i`nw4AGW6RA8V(rK7Thy)gM<1zU<^D;x*Y?tTlk}^KH&p&# zgNjjWWiY*{Q})@J7$LN50L-bLfGuL;dxezR-Pi_Ue}OTt?qA%ZFaim3v!{M#4@4iX z?O9^Cf?xf->OWHmt;REv-z1xYz-K$+N&zBe)Ug`Ih-~x$#mHS})E``2lY1^%S?cd3 ze*DPOto5B65?0=YNpzo>iq>V(T<5&s)$NiS*op3J4riq?OJz69kdXv0c^&S;Av{x7 z!`B*9e;?&MV9q&8JCL3dT(lA_AkmEtmGdAhw#giZonm@?W#mc3eC9WM?FCgAmS_c! zI>Ngo{|d9q#`|r*g~v$-znI@hS(+HMGYJx6nmA0FiOjt2oDF2^{!;{GCUhNDrGEl~ zSX*8()cucSwQ9Dq!;pPJLHZja8A=6Lijmyaf8b7dYVmbwDvBdS!kTEvSFR=1SHaRm zA=e7I&+6JH6s3$G2>cXrqcu6zrV6wRNlzg!P$4r+4*Frelwu7iy*tXCTlHuwC_Ho* zz7#idg8O&J&t4hqGNdvtduKnd+O@x~OTLwg1Lf7^aF1jex;HS5Xh^+ACO;Qd;s9=T zf4&@hTC8qa-g~U*@W=a{l5L~tV%Gok{WPc)-oo>Z{dM+ai36Tte(v~JK%r&<8CboO z@dE^Qfjw|~@lz&EaRQ}!Ze_I_p`fo5st~!mr!^B3PB%lGYf>)nhOlaYu znN2%dI|FysMr1!=hG!)Cc(J11IF88k5k!R)3Z^RKn_hy9>xQC6x;0jy;p96L)!jhx zo)|fP$G82WRfARMr(Z09h$(*J+*vbKeJeO<**@uL>!6ZsL{G+tvt7zIIeIb}@UyEH+^CX>Y8We>5FIc}r(IIT z9^w(PmwP`O^XbPzCUjP&&DNK zX`ua(;0LmL>R$@vfEHh8KFVN#?2#eHT1O)pu_9Kvk>d03FuT^gRGsZ0)$LV?SwGxVU6qoP$ zGG^9{Z?g3FNtap%+%)`^saTzF%v6#(@NIpQ$bhLSwoed%5XZ;u=`UPsNrU5wuqQXrMRPZ^zKjJ za3mF;25VyC3lUDJSCJ;;WKY3em)R&xwVdWI<&8Sp@zBf?(=UG9fBh66%y+meoyTgl z_i^?P8@6&Zvk8h8D%Qr>GP1FH%~?(|N|o+i0fgbvDcsh340}9&4)6K4%H)*^nv{O~ z64*R)t04mtm6v7Ut!5IhfGs^{KCi}v4kgv&o`5+NkH11t+;)UR-IiJ`IS@<+QQeKW z? zl=jR$;_HKey=!LxZf^Qu17p|p*pC4do0(79?B=(=FJu}!K7BXJoMa0~Gj0{CLQVK2 zQk;#M*}cKws8^t17njTsRi-goIP4hNpn8Y|?D5~H!`*9wf79k#Z|JaxX_IUQlO~W& zB$jd{u(#Ac&k7?{Ll6|S|raSIT(k$*%Jj|Bcmhc1{xrz#dD@EVD7D+>UF zPpmD4Wx%qW5RTBR_A};~#fb7|Q5gL4+Ru#qHIx;jAUy0;9a27&|DZv^{DU+EF6Hj4 z^N0IQ45Nokf5lFMT2N-I!XHFId7bj|atrxS(c;d?AKBv@`|ZIl7r%a7Z=GRLL2}~0 zMZ`)>&|m!=UhL4Jp;aYkSFB^Or*!VjPuz=JmOns(p~X34w@THM{UpNHjrd4|ycMd+ zTC3jd^ZcOur40WgZyr|P50T7b+07wTk*|>Y2IJ`;e;3u@>loVBME0uf8CSD-;;ZMM zd7W>{zf?d`)~3b!kbWs$;Fn(q|MupK@Q8hy>-sA;>4BI|HK{+PJ__V+RAB9}&rO&g zpDmuja$>1B-zN*{06|HBhel_@nGq{<-O9u9rc2|NI|YU#yCu!ulO&r#Yyc+6o;b3m zB(n7p#!HDxS#IVTH_nVZM8Ia+}0t zy5mL&cP^Az-4c3y_+YSN^q+H7OZ8|sg6%nKF<)>*Nq z98{~e&+H9J`tJ4bRvOGm^2)kG1)iWp@R526U+{#bA<>`kA*BKns+~S$Mg-5kRls)& ze@E-5*Jd?3BBbYJ??ZY~KK5~)JANJ+w~SO`E3L%&v6>NlpbyI}(1q~j?d_a-00v~@ zZ7kMD9(T&Hs7cLAsIYd#q_tXH8CJpBx}Y8p%(nPsWc|scL=FalBzViQhohZ*l5Wqk zVPl=6Y(maxZrdCtMx2j$uk!KgS1=6Se=B^c9=&zJ%8-5mXmhJYjx_XYmw5}>prLRr zwP(0;*10rf=&f%ZexG1E_R!Y~OW!h^VosghEH$Q!imAf%aQ<|8UETc&M=dtLby={beC zj6#c>2Xo!xt=jP+*TdTGE)S7*@@na&-H$*Z?=0%LZX3n^_1Y7u|3|e;($JBuf&AM;}JkIGBM#r+T629cCuGoiTGiY*>7nyG$R2 z{_P_Cj$I-%d_@F}w&2|9D;u+&aULjZg|*&6448!8(GknI=zLBiV_!THkQV@LX)4;(Q}IqXWoPbxv6h_J6or@FhS2If`e9c51!Mq z(WqLG>4#xL?yg(1e~rnV?QC0RsH?dduvH-x7DR=n0{8qZZBDp|N@dLgD;b+yG>IX5z*hOPXnwAlo_DU#Y z!g>%B55tK*#41AOM7HnmPYSB*`+(ntUqB&LEDT;s)OInoB%l-AOXk1Y8O z6t1zGmhC+aF}YGrUPF7b;9zAD290Fb{Z!t%V?VOff54vf$47sZRb{B;bD^A$|Gqk@ zwB7+n{jE9^*W{t%dL#2A=<6EiCz_j_LDlxC0!m)_ZE@(3yW`Y0qaGxTaIFzjr){Iq z5xb|%ECdVt1sazxL7D>XD0_r?)MUc=v(O-di!k_K{A6vt!q^x)(k@f&z0n}1*I#bD zzp+B7fBBit*za7&9;~`6KM|oK3`{LKokyDE>z2l^Y;D?w_Zdonyx<4A>de6{MiWLx zTyqx9_lygOP)wZe@meTNSCur%abY*M0Z~)@$G=Ua{o=6?1HF?!FieQp0=0Q~LM=u3 zPW-9VKk)AL{u(kvBYW&vC8+5vhy!J(Y)zy6f6Y@>_pW1`-an@@HX@6uLg-ZV8>DVp z;=b(n;fITFD%@P~;qmBcMT~K}p~@*|60CQkSNeOmU4j*6Nvrwc=26A`6bpNpxgt zelyyE3(!q;4pGd!fBj3S zj2t>0zK=k!yeV{c>cpTLG1QR2@tg4WDu*0*j=1|&0&={o1*u%!=f&hXP&I1Suz1q? z^c9-oMq5uw;U#l#tTdyRPzpT_W0q9+(AHd&a1{~DjYlYiHp1;KnZm0eu`t8e}t+iMeF8u*t?)gnJ&p| z*h|9>hqh(Z25ZmoREZx67|P6^5@EQHAU#8O`uu1g@vS7-*kD0p*Nqgvo*8i+uV}op z541qAV6a(;a~^wp`Tm~m%?J|S+69ti%JWwAhxw$!vLk?4@^&-YD3 zg3*|;Bp)pt<+L-B|NHpkZ zR&_(<2THp%`vT98c8s(rnx~hrc>ayxuIO=tZz1J;p%r{Tx z#*|cpqG;RzHSQceS{D-srC3}oNPLKr6P zMHueYeDv^+xX8zpHR_+aa-O%6ck$H=eTT49hhK;e%Q{=q5duj%Sbw;w<}2&)=Q}Kz zJl{^Wn|H+3r$Qu0ZzD=mmU{xdm@JgCy^|fN6Z$Mcz7BxLNklNvnX+nH7=vlMS&K$3 znKOIU|B8zNZ?Jp0DZRvVO1TYose^2FwAyf_P*A`#$&u(@qld12oUMx~tT0Ux)31pO zW9KDt2t`sosHih-`hU3d>+SQk1-zv+j8{!0)DrG`9hNR4W4f1Q8;6VL0>&w%A5&7< zK|r*cEG_X`4>4RB^phZf=}oEb2fxr~UVW5wF3@h%5T$GS&6Qo-&=CFB<-?x5`(n1x zr0(p@Ujbjp+s-}13gjUY-##7Te!H?`b;=cxI83mzA&?SGue(Qe^CkhD%^s22$1 z!oE}368rnQ?c6#%k9#S2!pTL|Xh~qIcyhqpTd@{&sdlWF=!-)z!wi?yBMT4qd!?Rt zK9a2^3Fiht&p!LWzUqdUM=4)HdCqBQkX^j>8M_c~htA_K(n_cllz2eTzo_g^FNQ#I zvVrI`UuEat5PzEV>oHlz-{Y@Ej`fs2#q&uQ)9nw}teF?8F0get>eN!#-KRUkj5jw1 zRFi&-`gMH;teYYdquN~{vJS#yJN-Dul~U1pY2R0sSXWA9joBNlX`%61eoC5({8H{? zR6>q{MZ?dPIBNvayB?Rxr-z5xpZSBfUN?Jab)ukCet)&OQWMfHKTru=@)%W_OG`CN z%(G{CBtWjk9VQp|4rpjt1dEwKS%S#czOT$@^YJQEGo}0a_izst%T8)rHQr<`SmD$! z);FZ7p-NSQv><>Xb2pH$tHSwIc-oF7^;{&115IiZFzD`^CnH+(A0g)5x}KPYWwGmH zkBElD+JA=q!e+OO2*&3W?%+G>ZjJA)S}DWg6~|`tblgozqhXxuz+^5Lk5~ry6ftdn zeQi1evPYhEyRx`&S3E?FJpGy$*u!&71#>E0Zg3Ni6Jy9Q5!Yt2j;Z2vT4b=S7`E+< z`ksK|g}S;soi7mQHGlE;%S^`9*Ewx6`8grjVSifU^lWh-bj6P%G=do;p=j%&dfq?z#vjS z`>Z)Dg!n5B&8xOfG|q(w8^gE0&u)4$v^4rB>|EPfAeF%pUjFB~>XT#Hgd0RAl*J3w z8h>D)c`6F&(fJ)VTm60>59w$t-C<^2G~RjplwT5h^jIIsLS`X2}zj# zLf{p=##~Tw>IyGf!JNxXb-U`)k4cR+!GDxvt4c*%UEPF0j^R?GsEyS8RK--pgf~Tp z{ze*^dBzZUsjT?@3F}0-LY95Z1jBDDW{xr#_mm)b#W2d?Qw0kF^Atkem!BSk z3B9~AUDx*da^YngiNCWAE~A4a-!_D|hnq_tx&)h5C-<>f@}s9)&C9shor4H2{pJU2 zKdD`v4F9iLa?+E{kNpk(qJp#-b$^1j^Z{v<+*Is%cR)t>pEP5Q<<0F=bti@&l2Ffz z!Q?*_V=+2?>Wal9Q7G_i(D)GYOapxrYe4<%GD=C$oi5GA5HX&6wxNxYRG0w%jN73W9;xkW!Y_p2=gj(KH1*JwE0HHMOB9A-MM1?tSyH&0W0 zYmacjWMb%L!5inPTa$)T=YO;|Z1-N0q`Ao~Q6k{+;qF;QHzu519Ha61b<=l*p+?0P zET6<&xi5;jE%lT~X9r%6VSguz&dBWgso^MMsWv zF^c~1dV}(8UOlLs^b=}IdFI}BNaz<_YoOfkrE~d)`>2DU$T&zYW8(Q#6jKX|$Bb4m z9nG+*M?WDp;%9SMC38E_CV9t%BH_$Ru1N8sk~L*a`@?BE)0K*_ix~je$LlO^v48uv zR5@fB@18M^rpA!&tbbHs-caKlUZOZj8^CQ{FppA{G%@0*LSFK!Dl*I>=QrYZa{QG; zUEj9ExnxF7FHb>;5=Ng0ipz&drPKJ8W-J)W=4Z~F+c%?Fq-r+z*|devn;)jTM~QN{ z^XXnzso($OkvnN;&Z9bmhap8uEC*R#;Xl-a-9&~V6L0q~hJW1!h=MA>pd8|NIFF_g z5VWbAJ02e^a`S8t>=`w|gyrL7C)p{=V^XP2+)YtX&+tDJs--Mt`}9d@csYM@(jVbEPJKLV3;x zcQotJ6ThIe^+45{t~2H;LmyC#4zM?iX*V*ClTL2zV&0Z45U887xPT%#XSwRA5MjbQ zYjvhbCmo|X=T9Kt868w*&+C2^XJ|&`7vsXy?$n;)lrlT0oY7HYWSL#EZ}T_s&8RRV z+K;1MD}T{3IM7I^{-3>&rpxS6nzp}H;l%KjdxU-Mh-m)IF%})Ca*!9j zyXZUAlJlcp%sgRO-c=20XT6FSe-ihrUk90jRCZVotlrrr9f4ES<-rOGrrMprk*U~y zGk;l#SKBTkORjI5M`ARx7^=or;f@Gebn)&~Oy8$mM)7lzCs6h_!xZ&~lyP}99q?-o`bN~o1)!CfkB~2EX@*6%)EAm-8RerLE zbkIM>f{x?*IAHRtnVCTa35@3uSv30s{M4*r+9)Brl`H)si{x}lGMJSAV>N+4d)T;xK+}cIs2NRxnlMNWu=kN z!5yUnfTRY7or(#7m8aTeF~0(>e1F53{m{ZU9tiCAl8i0$Ln1=h=K#q47ocE61NbV& zb}pn#If=f0Z4lTXF+DLhJ7Z7BuGbI!nMU8PwI!Q#KFnf0pY>!dzo!~+p~sPrH|t%* zN~I-kP;(ag%=xzMXNSI=qs?!7U3D7H_@P`VPY_qRmk7 zSyz(%GVplJPOv^u!oK>T%3`5<8qXHlsE8#jBzZWjQdzws3QRS_-viO$Mp$eW9n21r zlrA<%-P6$q9A=3XIYvJQLY*D@G-6Y8iF4cSyJ_^uWkQwT($YtxM`rg>R<8{3O_bDX zUgcBpQ4@~!E4heZL3_6`PJboj)4XPG=~25$pBWKuhL#PyEn}iCu$QGVSC_7Aa|CKO zfix#8n???Eti_YEfr%mq%oBD{4M)3-Ku`=7ff`|8Ldh3d8lUF?Pqd3?Ba|IRKG09y ze$d9^fW(u^uU(GnhQ+cf<`MN#9^^ZR&eQ*-)8n}IIl|qNO32$x8KOMfUqn0 z{_NPbT9>Zk-(zG`r+;DEDOj53vSfJft$9n0q}HS5k`rO^E-&7Q#Yw$0RhSOfwU7u2 z{Y`db)(*Xr%MDo2thj92c3D@{-twS?{krfWu_lpzeZs>@YEi*_UUV=njOnG>w75ON zU-t6!T(6bVnPHiGO^NESFS^8u!H2zhbcQMt%dvvQxe>aUGJjfsu5{ERRA%hM-gZlG z8oYS=LisVUC|>kO-rR$8RlJP>#|dsMl+4D-XB0o7O(>q_0qsKd;@el`!dQ(sUO$-E zK-H>&Jl#vr)|FEHHg6%DQv)OF4xcidBpP{Jy1avoS!|0OHrX(QA%+TCo|P}jo40TN zT44t9zxFf6bk+)j%H=o2wn=W{Ga#yR4aYuQ7<@G(p6)smd}LxiCbrbH!P-MM zn=C(}I@B5tHb~ArTIaD=y}4xe~!ebuCm)0yM^0;ZW+Qn1A% zj=j=_1`6T%Haj!70_q#V-N>QDXKEsxn;h|WXv%XEuz$FlLNH0jedbl}$8^6Y$TcIc zx#b#XWOjF+H28*x9Ij~9E%h9>nr-S1szsp{@LVPr)Pv@tN8Yr8^DQpO7^2QmD1RBQ zDj*2)0D+$jz;;#Z*}rq6An&PYjD?rUBDz}wR?tH&f+t$69B~i2=VTX5QCR5u<%+98FMa zQ&2)9)Lkf|n@*vSo9@8Xf(GGjolt3d%@ zxqnRMH&Ai?@&Qf}y;O+zusZDActdQHcAHqOwZ-sn5yt{mEO_KJoYA^9M`3MW3IH9g z^6ney4v$b2-eIO*&`}RMgz7RA z>4I5tY4W9Khe8FYQ4=|RGKIbXiNWK=UVq;yD?yghP9t?o1|EEgd@`Ip*sG*i=l^g# zM*qs>O|LV!TP+K$D>^qwOQ=F?M(crHA=J|+62bsDk_QmH^SMM;OTh-iAX6zl-n6z| z@0b)#>0P>;JqphZv<&k88);Be!cT5RcLD5rn|=Giv!*bTzcR!5R;UO5`6%jv@_)ZD z@W2EeSA(=YL%#k5HJ#*ed+xb*YJC zv0Ng=7wtS9laq6Yl-?8$804ImYR_aks+{*lMxpzDV<}evL<*CQ|Lo83TDtWiK;tKz z@M;=yE#@0W2{xCV6nFXj{$0~mw-xE-K)PfvDJm>x|BR!W@bFb zxL>BD#vDw_n9TONy1_=fd~VO1$r%-cC=nOAF1X%G-4<~B{A3{yosw*}10Ciu$45vE zjCIW7Rc=T6*HI{WlAZo*k8YzXrkT{shTT`wT!C+GDB_3?m)NOgW03Xx?|-vvbGZ?h zhVK>VM`9zCKbgK}2KfbZ>y0JHr_D61~`@3z^HqbT+ozK#JmLN z0&P`GBw9ome0k5X!f|lUj(?!7$b73U_BnyP+5BdrQmb|pFR79V_CArGfq+IH7ve)x zjJ>=`63r70TIfYej+H-@K!#6sVLgT+ISG)C(px}4u}|QBbYB#B-$-RvDnGZZQhHdi z$XZwltKZe8{d|z6$x!XM80sTbVPw@TXTV@Po3HRu7hlL@4x&(bJbydH2%%)o(B;># z40XSJgg#b;f-m0FR0>K*97t3CuDnj_5R(zXj)q`1y*bW%SX2$oTJIb*d{ z%vRH0^uHdta^_*YB5+p9WaRdKg%s-!TAy~}>E)sYh*^4*m0J!7kgw93)F@^O>f5Gu zE0$n}=YRKOjqWQYPk*AcD>+ZrHZVxUvs*{`u1GFLE<2K!?UQx9sw8+rR7<|v7vJaF z5CNl#3qO2iS5_`B!0}~|!Lp>N3I01HpfFqYV^TX&(W$dCpx5W+!AS{3-uW109tslo zbh8EUMg2a`3t(j*5^ms79gHj12@HQRKeV0cQrHVjSE7HwrhjB(_64|OsOAzutrf{w zu}M__j01XBs%;_JP>AYP_gz*?5eQ5Czol&GY4Jdlw4J1^Fk(qIw~P3UWo{J&T~oMd zR7gf0Q%?eYT&lPZuHNr@Bm?#!BuL3CofYO6M?(>d-^Z?9?{`hrC0*vSJdOm0o7iKp3L{Sf&@HVr8Lpy=hCeKop*Y`Xw z!To*Kj}QE!e}b0o*T{2{7mG*1?t))&`|L76jI7-XT7NKv7bGJ~*$EYBP8}aW7A9j=lF~UrNq1+~ieG`eQog`LbS{MVOu85ANtZEGk^fRA?A>dx5 zai~%>fHgU1D6f)kCqOVWMxphjJ5y0z)ub8nRUmgFVef^tLOz`vVKyqLKAK|1$<$K; z)kEeA#(%0*sm9i;76p=Rxj;KHmj)g}hIl(n2!7YZN=o;{! zJ{Gn>8^Dd01Ig({leD7+;R60S(yx8j1X@$?>etFT_iF{DISRy?v(w`81%SrYV&)-( z^o=e>C5sYQ)`P7JvQXIiD^txjtA00zEj&Jo1b>vN7FQ>#uEtr$*8Dn^JCJgEDKgbq zR3{!NoMVIp_OFCSRC;Esyb&0>1oiU+Nu@H7z$Sx{K^EpAJ_G6~6zBe$U-j4FOtr=; zP|<6sbJs^CwhVB_EA}U(yiR`Y6;pu@9oC=m@|w2sF5f?f9vt5*`wW;e0R*vX?$+$j z@P8HwkN9R!rm}{Z2bsZ!P4USpFSLcfeDhuCfgPNciTbiKOqazq!LN*yuxD>Twd~#oL)(1_!RPMpIAXwh=pY$tB+*N>< zz_P{YJpd~{3dVJc165wTAuo<{57chuihq1rvd1GX!0^-#0%hewu4Va~ChDvC+nKg6 z3S7oZ&(WtY!>gCiG}4PXX*O^fxIrqmOr)kzT#r1(;afBzD+_8RCJ-eviv{J9@1CvZ z{Ae)drTDZ!^4GfsY5wN*!l@WAC%)YszkCiT``|^DAQLC4z$)6w45}5Nkku3ZSbwd~ zJeMgVw?+_$2h_Y9Wf%TflzP~p-Vjp~!#ZRrx^)NjEu&+AmV zwpw8ugg9+u1paESc_OW3{L}ZC@!&rs;?8+Cs3uXXTpD;~0bmKM!?x71OOgVi=#)Xu zmPO~L&p<b4RrsFwEsZzbsKUjv2t$O>;b(CXIa zNo*vU{^|uCqW)_>3qAVQTwV~kWshv%owyC{Gy7vITUSoym4*?GNj{o*(DdCqJ0sR+ zC(#sL6|V{yUz)=l&iLE|#eb$|_A&)g>ws@tbhL7cFd~cQ-BWipTE8|@B+eD3(NhU&uAttKPcOpPnjYZ%|M3+ zf`tidPZf{F_TYa+@#<9;gXhhixO}eV$SRVMdzUydJI0%A9WRc9hrZ^u_i==tmrJpF z5wo@b+|PU?PP_w5nvm$Zln=3ZSoBcxljI?SfO5!OZORwwVt?KJ>))U4I@Y&WvjEFR zc#>4P>9cw#MTDv4sUB8txQTyc7~Wq3ZfT@yyFM~Md{6GOnmUPpI=ve~e(BWZ#pulD zi{Ya*#a8RJ6(>C~&PB)Nz#xUpw3mJJT(*BM7n#g@*nw;8=JrO=E+W_{ovCesESObFI|bDe}7kzY@vQOSZEO~yQz}wqh9w^ zKa2tXk)xdJ(Tz%8QteCyPsyd{1DO@Vu;6J4ZX{!n>2__DXf-15&Uh3$5dEj5_oTrR zFLQ(J)Wa-_cPiQ1JqzY}UPAz|e{*eP(9CpPeKbcSXEkXA=#B-G~}XQ%7AM6adA$Aghb}N_I!-Wc5X8TvHI3Do>S$0G79&(!rP=^eNz? z){2<>J3T&*BgP1I%ATH%CtfHuuXt(0!hPVW%pyn7FipgJFsc-qmgR6#8r`T+w`-9C zLw}D5nO;OzrFC(DW$v80xirD*Q>4u$;`dObPgc~OjWbjHee>S2a)~xo1&ca|=q?U6 zA0c|#9d^Nx$^CZd#eU}U8&rs)VYX|SSFp&-Kwo2cy0zJiNffP{m5PJ(xJ#}_6N>o0 z?q_3Pr&pnCT-&|`FX`Iyrt;;5<&%_*O~)YuiXG8}XO0{J2-w_qQO;#}d~k*Mo86wL+VM|AEsfbW*y0p~^nF%ThV>Q=zg9Gg)h+i_J(=|7M+XiQ&s$=iigK2$T3k(|;7QsEpRL zSMFZB0R5&V6D>ZW=`RCq-{fyQKfirrOW#)5Gvt7=G3Qy&FrZBDZ-u2rZe=!I10hp9 z{Qyf($tkqG^p7449g^+rYzAT^R%(Q`N;iC98zfvJkXnb0su zdHBh5D`z@t?JK8e_v<&9x_@I*OiqxGx{YsiAPO0yD`wZW@#8jr1CQ<;TYm{Gut}~) zd8c{4!@5h5FZl{T3{tCFA(|=lvohkg<)xuE) z6`b?KGG|S!FlVlZz+C^sdbza1tf}Fu%LZKfo=J7+Re&ru7G{y2@iU(X#2+?O283It zg!o*8yMnS?`4VD^Uz&GGx*WfXJ9Sz4Qb4EG4+ZB>k)dBG=+)Hwt!O>VU^?U> zYc!{nC2da!4T%ROmSoukc^6Ilv45?%!7M4{X)v=*>40^7_3(`Ur(OxzW1_We&j`w< z0KD{BDrcN8U|h)Rs~Ca=9CGc_ts!2cPlC@Cjqg|8(@tLe>mdax4?l`krgU&F_s+=C zAiYe8qHU>pM1LqNtq)WZ67HOb&?0foExBNb@np3vicU3MB0VD}c_3?Tk4tyn^jRQp zG#8ox&VwB#>otPR*$U`a@k0xiP!`K$of;}CLEvfqw`1^ErZzx6%v!8ONz}6AY?i^v z<4z(9{)y*b?g&P$vH9hwuR?u=YBE-8)B>Yo+PUWP>wm8XWg5n#DDuvNrCXKhXc3Py zQe~2tZn{Dqrr&>w;?Q-h`6>@;_xhp`R#D?wqB26|hfs!J_o?J=>m8>uSlvPxr7EBL zyW_@Dm>2((Se-y`BS%$+l!M67o>0+A7=ZzRSF1d3@lq<<>tH`%EIOuCeb~9?bD{dO z;PdioyMI=b+kjT}3s2dZJgX(zVuBfbW~y4HQ<;|96H>Hh)~P7|XZ8TuJ66JJh$9&& zOSH?lUcp0l-DAV=y~@W&O~hH(gou)$^t|4o3LFHmu@lx>P5B|wCu>XG3ishSrsABC zBHionk)BRV6O20e_bod%ecxi1EpR)UjfWtPvwzcS>ll~Ce|Xce`Ah%?&d0XZ`0*t? z4o{lf{B;xCv6_Y&T{i4nIX%R=mOVB9E5o=*yBICQ_z||LcZjhryMn%(Q1D~;eOf!1 z%66PvA*FTE7pL@AqVRbXN7s1dQ`ZoFxwsg3tgXna!PmS+pFKUI0TY={^Ews0+2PdCtZbs_cjfQd-t<^(xk z;Ljp(&L8|P-kk=dx!DxdS@c`iM`P3}0FMy;f(W&~C+(a(q6)ILq()vs#i09Phm)_j z@v^hAR8qhWSiW(n6#)*}2)~TKa=x3Asmc(ffz$P}pVXRe5w2WnxzE7MmIfvS{ ztKeDzn`8jbbM@v92xar^(5!6cDyg754$)1_R`=AWel%4%g94vR9K&9CfhR73D}U?H z)b8D46f~g9t}YGL{%91}0!Nf3{aaA~_lxkxu7fMAh%YK zn~!L>F!Su$0=D(e22;)+=3mjg6n|>=;?E-1iVtSFux}a8*!F&|j!49=RC zz5YCY@=5J{dwNHz6H(G2#@Z*c?7GA(j0p$olRqSW>J*F8Z~L6WyteKqfqx>uxU#Eq zF}KZxkOY;m$$2SfFzS&zy>$r7cqTP;uyU-ofcx761WpF2l2)aC^$Z$5<%HAU#b5t_bPb*zU1a_G5oF{-2d7PW)U ziSD{W?+k6nvTh>$BdTld4S$#Sdqos*X7qe?;)y|qjj!nejoMa+wKk9TChR5u3-A%gmkMLV<~MR~<3d~5e%4~teVr8Wyr*?=#w>^w_` z06d{i^c}5t7A&DQn;J;6lT0#!(NXvEfhyWur=6AyZ+GVGI5>w${C|x`mA%A~1?MhD zURrH4soLSV)Q^o#d(BNX%A9kB`WEG!RS6s-Z1E(Ia3E+gX)SHpnkI|Jz$+N-iAVOC zkP8D!`RV>sYZfpVcD(jU=@;bB8=dH0-$E-P8yoP70mP`X4v{z<$NPAPE6qU1Gx7HmoZwx5FCdR+OPeqNCEt1&5AZx zP}Df+c$jzFW%ARMb*zeUK1-Rj*-Ya_IHM;_Xr)W<08br0zR)NtmtD4dC1|cUc)I{AH9qk{9hnYcIT#eWx;!Rhn5i1 z4c;t7V|hz^zyIf$8l*m^|KkQ?EA*^S0 z8JG6zXWxi|8Go8p&{_Us2S+K?mVbj9vvw;=XB^Cg=04fAxbVE_+qv{ro5CB$ptJf{|%zhpfPX7J9myP1h6)Pcit z7VTfiu{ygJ8^%J3!A&V>>~*pZ1st0YrLE@s%${~HcZYs+J z5prGTL73={(`On#_!LU=z9fQit-Pa>@U~l~i_8?*F=czYm(Oagg6D$Q*4#?n$*4W= zJ{vjyrHwB8xavz65bhB&O^qTy)m9gHi^=lc00}32D9$@9gt!*Nb&T-{Nc*ZMuQjXq zP~jnGA%6o9qSikNQwks_pbzNlaB0crewOMUD_hwlC~MogY#!~rArw(>swSigeHjj( zh^E$RHlxm;5CBAjlFevut@M(2p-A>}NM<$m!HWefGV9F*m<(!t=PYp08K*aU(yOVj z&uV|Br3*x(J*bf|k|4a>PV(9IlLWX1k3B#CQGaMmtux@$h1-|ax{oJ7ANm>Z`;c~< zD%fO!JW+!%&2=}kNvxR!C!viuz~X>U*IAVoCwQg7i$;yEx!(I-tMOhz#J0T<6ytJt~nEPf|` zmYUXLoT}lww~J0#=toLag#}RGM0zaw8Oq|2BMV^?EOm^FoXWZ4L|RU$eLUM3c|;}v zHr+a74}4nQ5oOwk`}!11;x`j79W_b{Jbxe~wnn6PtiN#VEPE$S?uQS|XWbmzr5o&o zRJ!m4l?nuZ2qslGaOEX=dS9ZuqXOkYEy8_Jk|bU=JHork%;Fz*xI6kaIjK9$l6wD zmwyl@!1JsydvN{1y8Y(B;_mWGd{9j>mEGYGB17Tc76t^943@K$UMOhZgluo56Di?E zyY(*{Y>fQypK4yJ^H@sw8XVqub=S_rNn>DKy9pQ&Tbqco*)G@Zeb0fuzM%kN{Vp2WEn%?(#<*u2B8{Nz1oZ-$2ct zv7w7+ffF(6SOt77Rs66+ih1tBu%u*Gs&%NX0JK6;SyZzy;gf|E@*&F3&l4y| z(F{GcL&T`6`AQf@`IUO4olT;h`=EPMkTULz4u+;THkv9oU_k9>+G|i!^@?P zLE|Cr&Iph&NJLZyV5n}O3lbF-1&E4>lkxJZU=dI}5`$KS;t?_c69gP!h;Rmg#D4%{ zqM{%&UVsY5*&U0tv&RDjV1j=@fUy%4jzl4`0Aq|3#uW*(2gtd)x+=Qjo{M0gD~Mb- z86pq>ygdS7i*!N&RP^-Cw7?nw0S&MbKm&nBV4+R`{pU7LNEko|2}7W92tj}?1`BZd zCjr1PXgKn3O*oN10?@7qEdE-UEq@k+0_dtil+^XW5P+J>1BeO$iiQJpG_Tvyc$~~N z8v(53oVlA<<+H{`O4^ZHoas{0D|V zcmB6@EeLn54PbTM!Q77Z}Kpnss~e_2oz z(#ie*%llu379M)-gA&^A+BwmGAS6y5>4t#oBk|W(+d`eLE&79-ApZFmT?8EY9Q98> z;@XevABAJkPVWCZ@_LOw10U!b={(Uj75eW0{*=|wFbo`twgVXAuf2p~;r{`D%KA{` zKiBiGn18Pc0Q$dN7mCLs-G2b)q9T8vhv?t$-^lX+Sjx&6H&0>EBWZxJxEKfkl8}4| zkQSHn{(t1co@22HH2#m_*Sq|i|2ZTC!VLiyy1q0vQ4%@{iPfhyk1A8RirvEH`;*uv%s{x9%&aZ90MKc#W zF?@j55VYi{OL=-pf%qX*LNj0=l)Yv1_+(*{FeEeJJH<9H%QO4z0zc=a5VJkIOL20O zc^h;SZs6T_zr+%sbL0-%r|F{c&@`srTJy&&VL@r@=}Da z>&B>=25(kCe#%2lpTdP=(Ea$-nPn30Gbb}AJ`P>CvG$_lmwy(0R7zCi$|0G11oYHV zukm@srj~N`*q)kurwe@zq@~j`xdav^2QJ4&lOJ}ru1EuAW!)jRUl%v_1BaAq{ot0u>H Wrh&TmGjAK@{e?To^c*1p!0$i_=1fO` ziQjCv$tubBDt`;J9XGrg7#8m&!tPgBa2WBNSy43>&zg~wH6t6X4Cl3PjDIV5@m$U>p3aBblx00ciG+KK&xuWvUX~mn z@P7r?Ma43;(F!51(!zHy_A@J`r;|v89UeCJ?7KY+e-!Q2O~EwwK_}omdM|YFuCkm% zuEL$d<52Q^Xxo(LW(t1>uAp3YcPu7P>+tp{?qo}Nv1Cv;@} zo*1|^46FN$nyUMr9VAxA;Wgh-(c$HE8oWDdV)Og)VcB~MAc;iW__k@PPr@+Rxqs1W z**{jDw)yyXbmAm@$NZtLcM&p-lEKgnmmbhZFZx5)Ub41Xm6PZ7oEWmGqB;fUrSo~be2j5Dm-yJ!?8%Vfn4*&1=Iob zv!!m7dD%}_YLbOLRalAsS%!lNLibxZ~Nx2?+#}IPY;8YRMZ4c zgFWY>%lW^u*EZ!V`S_c&c8k>ge)WUKVjy0)By#BHVo$F^V4a?B^etbHZWJxgqZK06 zjQmB49gT^z`-OaI-txFP>0pjm-#rp9y`bNe5>Yni3y6N=_z!GpSroM z`D3bRvVNrvwhqCM2X`Q3=YLf9p{rpqm#NUWQqNc*p=g8PGW@yJD*@#wEGPAcN`|9Q zMngN-N5$aRAA%PPg_@`&FJ4O+RG7H#$iO4J#Z`i@TDPk0`{uPH&cURycplK1jr5}z zPU#q4exCzuLX5%vzTC~cM!!l8JV_fTcsHo@tW>&&e#C&zRy<|lLVxcxRq)%Jv4puv zn)1-GRDw_%4Rr@1`%iUxwzmAXQD=Kxjy?uj=8G(gr$ok{`lD&qD$8?RMlQe=t_@Ea zrOWr?rB1vSvc%q;)r|?kHV_Gg7TdYAEcWfzR{;VWA)_ND9$1BDqHosUw>dBiDIryJ z;VSPyzJ@+&ec|4pe1AuF*&hUn1ufLbdhZQG`5!H0Ih;i8mUS^sEOe+rs;Y^y6A5r{ zC5#)#o`y{u-Knr0pms^H{AJ3%%O=FMHoEZH)CBToY*uTPJBt|N7Uw(D-FAik1YYqi zS!}FLE+Zz@Y^K=->zSwSy7Wy zhMZF=9&A|;ERc-%1N~PeAtgWU@?!jsJjhqPk<*g8EPwuEi+ddua!%;wJSNkr|*8E~X8a8a2oXHCf(p6Oaxs7l6I z^$>5$H-Aks^=ve}}oysXaj{@RSL*J$l2(9d{QZFa{I!RFo4HOimg@YtwCF7md|Z9_T# z%`1Ji*57lPpAi8gu0WD~LG|zZ)V-PozzlSbo`0_tgNHG~`v+iCdb>Y(RoQW6kD4(` zr^tX@B>v5*Eq7A;c>Tx544fZnR{91L&c$w_!uTZN2YfRkYKdDtbaNsk1{O*+(L5|) zdyiv4QN)uDM-grARXl8*sNM8e^N-<0jjK6ZIcN?djyNIb-e?n#qfjZ(x+hvVg67dF zet$AFcW$a!oBB;IcHR7v*VCV@66v4ObEifT0@qeI-~<-}Kd!~lGI|A-WetB@?XYWA z>5J*2?DixxZ|ycdI;TlFJCQt+sqadkf33RVu`-s@dUV0<@h*wsSy}QV$iQuWDg3=x zj#+kGFrZ_*v(pCRWoL60y28j`xCi}d>3?ruL42aGFZt+n!|Ba8_W+eagowb^qjK7b z{L8>u1+=^2B2rE7=4pHsBO!CqK!1^GfFMShIZ&*p8p@l=@4xwshy_ke@K>?{_X4=Z zPVG*0l?cGd^66~H7u3AO8u9ub=hm7}pz=#o!2)gV;<>Uj1uSkQOB|c?>_>C~e&oUzyTIFx_Vn5N*|#@c zgyiveoYn$)=J$!?JqH}+)O9XLHB|9#PfhwtjuoCyX@~c{G_6xrL49!KkuX7cQK2U( z`PzeGl&J36fIdV%wXtH|HuNyZDt|BQ>X@XI`RQ;bIJ2#J>(X4jFQ&sQHM~R&IIb7_ z$CBKds_}EA&#ARi`dCZ65dW@8zsP^Y^~KjnWZj~8-r$?@POiHeog2FgZ6>$83EozH zX=pYFdl3-E&5pVn&QZ-6&I#7*dVG2K#e}^lnZo)!GX}03a`t6tp*yWud4IDr`jzZO z_X<5Coa@&?V6QG}_mk%D%VJugsn_mbE05YTX5I3)m?aapmiMQ2<4Im0*@25UiPEG3 zdKDAHGnsMZpnQ{sQ15Tn{9i4}XXllO50@K*3}shGu)`1EnjVlQP`QyxFC?b5FSRo= zqHsjV4{=0ybsLr@I$*W#q<>E%G${?e={;<>g4i2yH5g^j4C)aqoc zm%TOnX@6WQ-yx5)s+ObFCk+b!?06QH%RvtgnU9A>)ECLy7Y`d9K!1I2Rqw?#?#E|t z^c97+#h*2=SuAt~@eYuuY~>$;x05=rurEpXnpy;=Z#b-JiEo@Ik|OiBb`I{4DHeOV zXQ=*U<1Jos?_} ztdFPZ!IhiS54F17D1U2~P7^V*_V)BsBOJ7A-ab6(Ma2_WK`9tJeL6cOY=3W~wa5#| zQ@z8>nHkGH&M(=s)NMAEei9d%uc>;T{Jio0O!49?rvqJaS3_^sPmy9dHf0k$RpVzc zx9sVyW05lOO&PebZSF;I?wrXZ8cc?)u>%yT>}FfF-y zMk_4F0-1?BVG1C6|2R5L1yu8j()v41cphhqdY1N@pS8gBdcNAeEkbw-FT(F^I*}a7 z6~Du(P*wykE#JTl)#U-3nYW2%3Ep%tEB%;@jrstT1^3989U^};I0-$cJ@u{62ffAa zm5*-#?J12`e}6=FpG|nZ)rQc8;5|gW@+fkZ*ro2Z4aP2r4w-K}vY!dOq?QM1`>|WN zh)ZhY=Sb4meM&qLr-H&!)-ffBX5T3fY57y~+bBWq+CFKt$~LNM_)Zs94z!XWA^w zPVxK5;?v5@0K0+r11*L1k+l7~AsyB^Fstb+RgUO%ZS!nZ8^Ln@Kx;}CeTy&6O7Ilc z-Mxx-zAWS1dh`)OlS|WnQ;3n~{$HxnVKV;CK6gLeds#U_`>lDp{d|rmKR7D4Ss7*w zl4OeoSAQtW;%ZO|U8t{qI%UEkJ%}**!Ov;gyx_61U7)h-P?+G!MfA&N0xf(9(VY~= zHX0@Ue!qxP$0^JwuC=D$a(QSSdSH{Wb}WJKdNr?N82WJRXwkL(F%z#_rs=cvB)%~f z%BswJ+`>v?ftY>|-qgRu48_EAt2^$>UpzT{Ie&Dit17S<%AJPeo%>jfd^~7s6z9%7 z4*Ejp4M7YMKvb}_&njb3G8A!Cgy(uH1Vg8?p&HsMShC02OSFZ3RaDf`*ES3xAtBu$ zox(5-A>FNXgMzd)LkmB;Q-mRvMp77Jl#r6{hCxC?x;uoI|5rEPyViU6?0xoH=UnW4 zah|i!vvaK#C~4YW1RicFe?WiWuCp!PqQfvP{cxBpF&8Q@dJIk~F7KMe0J7?QO;U+U zXpE*-!xL`9Nol(aI{TqCcVX!fz`r?EsZ(CL%73+B#pw-i+2uN!@8Klv(`L;2b7i z%umBFoGDBt-e^((G^c_?geos9POR{MmilX|{&+QnNFmda^!5sN8cfy+)P1jA%JAzP z+GBT?EP;s?l$~DlqWk5kUm!{|s}*-Y~}1sC45tdDKHw)WeW zp~)p$#Z_Dk`CpZ6qAH7;w)&ePNtCX&Ksin}bX>5{K?XBGTt(EH*p9x9En(>5Yw9;A zS6n)Sw(Yg44wQaZ&QicCi(Tki`o*|O^3B0A35)vh(KvoV)QF&nEjel6d4PT%u}Ph3 z$zpx9zoH?Src6^@L=~{8d*gFjo1I|Mg$>>XorJ&ZPL|x5en4A2d+z+d*irZa3`7oB zw+GcD`)xojAUKOJh#aY54|`6My3J$Us5=OOZ14g(gFvE!NLF7E1Op@rfgiy@M#$O#5bDt_giHtmNnxNvkwYP% zLlA|iFp~h2tCb_3gv9@4SD8e>@G*A~HxQ_&=~^g2+5~a2u(jy$6!5#an^ix-( zzHZe;R_LUnBO1Ec+48sLr>X`OGpU&CaBPmGdbNBN7%yTGL!=YwC@mqk= z{nin<)rHcfeVX`|c<;Njzw)~9gw4Yud%MfMtq>Q<{?m+9Zxv48Q}UiMyvYZXk`wiE zH*w4PjG|7eR+L9d$XRlTxto?XKrODRtmHawX?i>}e0_0KbbhT-61L>eN5Svno)h_6 z=ffu7=SUQx=IslYHoYyXX5D4L=qvDSV!=tlnW(zv^shTmZ*^?GM!Bd09OguvCqTNcS*pb+B>08U07dGKl#j8L(vFQ2@ zHq}Ydi050Bp&ifL0~W3j-4V8+o;xzp(pP$`H52jq#)?P01GwKf4<_h@+qokd$RSFT z(lg^B#OJaG>vINb_umd^n3=7M0?RsppV<@sF`vcDDsP7*W`f*)d)t|3F^3 z_28av?@jvg+pFkG8D3?N+;ohx3=DVhQ^PB+zvZ`KK0s|JY&`TzE#2fJuqg>}|6Xb?WI=JBe#@U}R% zfDjYJiwSz(Zp=;eN|045dv1Qt(h~T$9cNpaS&L!O7;7(7WpFwB#e`2Y8eyW6UrDaE zHi=KmA`w>8-vx>N`c#56K0wPOj|@ZT6>gO!!o$R#(X9`M> ze=wm+6(0IaB_m?l-h5?1;4sW>Ao%r{a0oi9EG{MM6`s;}vSAf0j+R7$MY&#fwgU2{ zOx6O5C1s9JA3K#{xalA8EP@3%ox|bG_KY3LI27_9$J}2eellRj#7)Uyk_(Sc3l-xE zac~PxPD@+qP<(10?6rpm#!g|zCaCNP#(Faoto&Xnx?i0wo)nA*a0ZiMe4ovuv?L~$ zog!8xQB{jZb&$qrGjqM=ZfAKuD^OiX|3@8xEg?VEFZ-L@A%zLFMU_G_r-x>&8WGP% ztZpJ;rsyE)AIiAxhEAH1!Z2gPmcbU5&XQ1Pjpjq6#Y3G&7wDl4dgE9b>?PjV`9lC3 zJAoGCNBa6ey!-q)V1%#!^0N|sf7tn2vKJzU*KPTfw=vV?eQ)7wrPUS$0fT9&)}zcO zrg~5jb(bS|eQf*{@p$3nTQSTqoe4;afW46gqh;hQI`J<(BjyST>3}g@mdj{pz*|j6 zT{-dMBFpe&W)@9GZ8*60mz>q==uU#NA;N=DtwEkl`;VVax0Cso6e3G1=+?j>>Jf5KVX%i;X_tG)yXbC}_cy9VhQDHT; zP*Wa~@A|{|MeI5;Q}T!|gz13B#Eg4vgGNc8t;4cIOe%+Casw-S!`f# zRoQzPCdFQF$au5f?b&E_U3vVrMj0wpyK4gx}ZVi?okW54c(;RmCr3T(h{bhdVA=p&j~q^s3j-{hWBVuH;C5IauWy<)w zo#=uAlkV+&3D%8M-}Ld{PPyfnq@VZ2OGq7Mb{T?vBMd_>0nZdA^6#Twi?o=G+F=Gs^gN1S8?q_v0du8; zxSwISM$~CxgXFXub)1(WSW9;jVZ{VQ;Z%vAlt4bTO?+cR2H8;F+>IIS_s4rLlrwn_ zbk%d-<&8Wz4SIX1cME}p?Z|Sg=2iph9W)G;hnOZ53oIwm)T~onX!Sa+RH!h1-5rzmC7|SE7DKv8bQ~ zp55+8QpH7K?iSX^d?~^;O=l%V^r*pmtK{h@Y}=)b9LA|2zXBaCTVcVc<^ecQ1B6M` zrN;}>{&L7zf_}`x9>!thvZ?~-SonR@0={l;2zEvo{_fHMf!@&Y(|3S$gh-`yu%6!TOD{q-0z0?3OZlQ%5a* zMA#@ib#QyTYyR4Xul?>1;-`O-$h`JB_;u*o6DKnb7sB1*t73nneS@S5j_JA`#q;u) zUzZG`rnRAEugWKPU_oME^u4?+%=IRB5KZN_(=AQaF6D|1l`a+h(_f~6*_{PRr8W_) zF9XKUyBEg8o=E@dSu5-+eNB`>&>BJz=G1N&*4cXby5{*Ly_3Yi2Z<+A7Ison)>0$E zaii0l+myaTuC9Xo4;4YKKQc!hS2mk|W{!*sY7WL_H&v$tBQZ7T=0UVg-fs@ue9u2_ zo$SsdxHc1yVPy|~jq$(x01CkdqPvzSK^eK8EAP6MQaJ!``NW0rySwqFy2U^oze_it zu1Ia+-uO0wZR=>=){J3p+aJ$Y^5T3GxYr~@sN5NaY8Sm%LzA}oR{c*`uTMELu3bga z(0Q_J)-Oqx@5Xd)>cI&8r9=JK`4kf0f+Fq!+=|;+?+#kjlfyhgpk=iA&$_M0O+af) zr8Ix`J%NeKV9)m5j-#BaEQ9;nN}Ge?gB!kiwfA^8ayQO@W?rL?Yp>W_S<_{Q`nrH2 zU|?Y{X(wsHzcwdyRN7^8@MdrQqfj=bL5ax0>IC0T1=pI{)SLEGtD8r$-d7ZqVf5;3 z)i)J46+bh5W=&n|fF*vS&-6coWOrNh$EXJ*UUXlL@*DA z*t#sRP5?C#p``_MZ(mo!gnTMtbyZ)+QzA`o@)iepXi$YX2ff7oFR%ECtXTE%$ zu{G#)*{2N@a`@S`JfR0l=6DNvROmuaL8{;V+390V&-_(f)L$C+O37S4g40K;sAC@Yk8Wr7WO{$A z8a0^aldNW00hBibXD74&k{+af2Q(+OQJalY-Iop|j$b{zbfXVTnk9EY6lnxKoUE+( zta^Ij_f8;a2eTeqwY^_TXOE0@%$}WY(hxRJ`lI{Mt<^=WS?;a;yRcUM#u={YFJwF= zDtNcFrNwsi@RwMwL8R4~_gSS|4UxsGlemeudtGNven4&B!!FCB&uJkw-Df+hj>rLD z%7Xjcwj|E8XU1*MQfQd*7Fc%7D{g~z7?X+En9>Y_ov1*u3m7zJ{sGA?JMwC|`dxL6 z5k*nS6Bo(;m(x;AlTX4oij9QK(bO&1O34fG4w{ z5NC1Ss@&`H`zA8s%1o~8O!nXChS{BoJeTHSQDqK^kP=&EpIqwYmk@fp1ium`0!tt( zT|ZZNbShuQ;rCd)3-ydk74_#I*ujrzhw!srKaz{b7C+HK=T5aESK;(~ zgj@rx;>BXVLJPamG$MCqm?g@Qpta)8JSmIA+o=B_lYC>wj>uxzvg`iDH>k<;d(Lm( zL)`n^ysHhd-vzxppH=cdz%RqClmMC-xfnh+8n)_BRG)lbU{4QjPs8RtQ9JaPDaXNz z81zhpY;1Z*Spz;tnL5Xb>_xno_Oj(tUuWJF)-$B^_BYi~XldOfU2Yv-7=(t0N^HQI zDtk|)iKHd8M>=Ib(qB(o3;#3YPd^P{E@{B&c+m1ggT5bPkLw@VRt&tk-2h;<3V9`K zi9Mq`-De-L2|bBtwNUQ=%sH1*tW8_iItO&njSU)!{4f%22hc?N-2?Twome*6H>V4v zy5B(V@t-M8rlPA!sp3;JCFFBp)byX%3jb7ZKyUYcN~SwY&b*`QCjYA%XGQ48STtI~ zwnK;)$1R%ra>QTawS855Tv?zj=N-M6Tph*_*}(nTKH23ys7G|~(|x1*t~ZjoIR1S% zx(9gO%$U1}0;)8DvhM|#ZGBB~(?l5Vx7npnHMuhH>V5R9pnG<=T+1yVmtR~xpD+W+ zDUk^(!c-x*+*{@Ke<7Yeh#a$#QRNRYri+(Z_$Ka6V}kZv*CY; z=HyJl<8Ci243UO$uSs4;O|Ly6(wh{+ewg0f^}k3?#+zlRdU*0jmapl*yNp5LwrL73H~2Tfyq=t zR0yo7APW`~5(Nv$2?+{{%7W!ZgcKCyA!1;8u$Y1r)BhMkDD}9JhK-9I%$^Af7J`qv zgSY_t$wAj4OR}D0&!DF-TZig(;S)_$RVLU~gH+}6hhAm3t+DfUX~`gWU19IJm~~AW z%4LGY2v7WLnyQ!)wgg49%Ah6IQ=J7>$6!E$u6Rb-F`S*MU`E|Bl7gzFC&~khvs1Kz zL5HWl1G8bjh@`&D*l|IH$CBKvu*cS;!jb?cQ<_a)|F5AY@%E*x18Ku~4Z3is0@$f$ z(_qaGTv6Q86(Nl->hEaq6}+KNKV%5fe_7u`(N2yd=-G?Yx@ zhq1z`o%_vHoou^}Z)$9#JIkL?lFbj0sxwRF)p6MBv6!cx-Hnua)rr3-(Oi`2YX_ diff --git a/pub/proposal/proposal.tex b/pub/proposal/proposal.tex index d4fc5b1..e835dbb 100644 --- a/pub/proposal/proposal.tex +++ b/pub/proposal/proposal.tex @@ -383,13 +383,28 @@ complement the coursework to be implemented. As a result, the prototype will enhance the poster and presentation. \subsection{Risks} -\begin{itemize} -\item Time management - that's why the last part of modelling is - done after the simulator connector as it's not essential, - can be done manually -\item Simulator not being good enough? -\item Simulator could be too complex to be able to link with model. -\end{itemize} +%\begin{itemize} +%\item Time management - that's why the last part of modelling is +% done after the simulator connector as it's not essential, +% can be done manually +%\item Simulator not being good enough? +%\item Simulator could be too complex to be able to link with model. +%\end{itemize} + +The main risk is time management, as falling too far behind could +be detrimental. However, to prevent falling behind, certain days +will be planned to include breaks, which is included in the plan, +to prevent a burnout. Even if a burnout were to occur, there should be +enough spare time built up from the pessimistic deadlines to +prevent falling behind schedule. + +There is also a small risk of the current home flight simulators not +being suitable to test the formal model, as their SDKs may not have +the tools necessary or the formal model may be too complex to connect to +the simulator. If this were to be the case, there could be other +another way to test, such as manually flying the plane in the simulator, +but recording data in the model manually, to provide feedback on the +checklist tests. % END OF 4 PAGE LIMIT % \clearpage