From 4e3c8d5ca71675c4fcea5afe8df76690013b54a8 Mon Sep 17 00:00:00 2001 From: Anthony Berg Date: Sun, 12 May 2024 18:24:37 +0100 Subject: [PATCH] feat(dissertation): add formal section and split up safety into subsections --- pub/dissertation/chapters/background.tex | 27 ++++++++++++++++++++++- pub/dissertation/dissertation.pdf | Bin 76671 -> 77235 bytes 2 files changed, 26 insertions(+), 1 deletion(-) diff --git a/pub/dissertation/chapters/background.tex b/pub/dissertation/chapters/background.tex index ff85ff2..acdc2e1 100644 --- a/pub/dissertation/chapters/background.tex +++ b/pub/dissertation/chapters/background.tex @@ -1,6 +1,8 @@ \documentclass[../dissertation.tex]{subfiles} \begin{document} + +%%%%% HYPOTHESIS %%%%% \section{Hypothesis} \begin{itemize} \item Checklists can be tested in a simulated environment @@ -14,15 +16,38 @@ \end{itemize} -\section{Safety} +%%%%% SAFETY %%%%% +\section{Safety in Aviation} +\subsection{History} +% TODO write about: +% - Safety became more of a concern when more passengers and more planes in the sky +% - Safety procedures being added +% - Rates of accidents \begin{itemize} \item 70-80\% of aviation accidents are attributed to human factors~\cite{faa-reasons} +\end{itemize} + +\subsection{Checklists} +\begin{itemize} \item Checklists have been shown to aid in minimising human errors~\cite{manifesto} \item However, checklists can be misleading and compromise the safety of the aircraft due to them being either too confusing or taking too long to complete~\cite{nasa-design} \item That is why testing checklists are important to avoid these situations \end{itemize} + +%%%%% FORMAL METHODS %%%%% +\section{Formal Methods} +% TODO add quick overview of what Formal Methods are +% Potential resource: https://shemesh.larc.nasa.gov/fm/fm-what.html + +\subsection{History} + + +\subsection{Application} + + +%%%%% SOLUTION STACK %%%%% \section{Solution Stack} \begin{itemize} \item There would be around 3 main components to this tester diff --git a/pub/dissertation/dissertation.pdf b/pub/dissertation/dissertation.pdf index 3c26fcddc5ca089e005b4a489e337e0938bf37dd..dc3f74aaf94052cd4771192b8d285836fa7634e1 100644 GIT binary patch delta 20183 zcmZs?W0WpUlLdO(wr$(CZQHi_v~63bZQC|aTc>T?_x;|Pb=SG%eV%Uox zbdR8>v$-b-FavZm#A&UVyBLN#y`I}b?@v*;)V`uTt&W@xgeanB8riJoC+8=Z2m%1k zI$=)%4jtU4+tJ_infP^y&i=zMJol@9#?u|M^~n`>9v`IsoI)|3^F}4Y-@eoD~0=yz-%PL3HYo0qtV=jAC-cE&zjuB4VzWKq!;gfCta&Hc+5VqwL&*J+}2G;Mp zYCs&Yeib>7oMnZ=mY%64}jxO)|z6p zjiE{B@F#yKTg;7!11cpL#0^oMtf*us^p-u}EDxjU!L*>t5hvs}ttIhXNQX@~TaydV z&^R#FL5K_r4-IZ~gP~tg^48QOmdL2D?6DcVQLQmKQlgGkeurC|o>t{t*O0q{l)UTU z{nEpup{lr?mM{+d5;iu2Q2@lf2FaN8SNP;pPD->s#ddx_*Vv7b`tPUCr`o!HdqlC> zIW|gbn(CN6RhvDsYQ<{fB4S#mMCsFL(~<;Al%$i1B%{3fng;m=IhN6ZwULa5L8}jV z6RJzIQR5Z6EaPBvNg@VoaOa#Jx}|H}nT$L98T$m*xUt&EWpJ^|dH|W7R_<>uPEXw; zj99N)QVxacF{{ZL+EG&5#Q-WOA1Kf1bod>(pfRg;wEb@6m3B1Ge3n>dliZ?g^O)d< zaHbSW+P^$8YD<=~Le`T%OMjpa+@gV*jh?Kv5BS2ip$*_reaID5wJ|qG>!~X+HA*6J z(p5O%WX$NSrE7~x{Q*%CoA}%9IJtG%rST+9G@XHH;7($@-r(D$dl|MePp1zCGFHfo zn=9#Ye}7=HE@Bbm-37z+El+j=FZWYVL35n2q^d*oxYJHDSq4aMbXK`teuxY%CvFa8 zXbK~D4lXpo8bV7nkp|kPHAhmiF2>)I(|yNC_nlv}YggK3rvRL@XL~Mlgt}xgAuD(C zyM2OaK1JCT+-mwF(LpiV=Ia&R&y!V36$iiRSVQ8{Zl8timYa%e}K`sVeN zqD0ETD#%`%s7GdS?nX;-(_hlb!l%YNs&U8YJoazweH*?-+AQ`CY6M~6LaO-8(qSeW zI}+P=IXL{85CK{@*T9LU5!LhJL)3oT_VscLI`j)4Nx8gRnkU!(P`338K9Hbf{Vj#{ zlR$D=AfskP&6eRXP^P2YfgZAiW8yc6U80nRN;6{T=hg?y&B*V9ceyE5Zc|~kh*iZc zirRCtHN)1rp>jT(zdCN=^U^@6WDNbfL9R`W61x_}h5>N!5Gx`uHmjhfCZWo3&MmAh zW=#&T%X2ztR5mRziwxoh+Z`W&oAg60cNW`D7pQ1ASD)Y?YS2ct;22Htx_H17o(}ne zdys)z!umVO&q`UX-aCxcf^(Y0cx9UTM277=2yfs;Rsh*dykycXzZWWNlt;2-0g`NYg)UKEGsGu+fTHF_;`^P_D<_p=-(xK;2xlM zvE+{XIG{8O?^b>C2WdPZ9x)^qmKbq|A<1^4)vDEMGNRL9Yvn|z9hN$svh0p7xdUA! z@drUZropL$gE@a`qf6c-^qi#*hsKg`ts45Z%Wzg7mi=!B*Br~hD7v$5WQ|LDKGJW# zfrdE({gaW9Ih*Pr-JpOt{sYxbQpm8tKy3eo+FXpR{}Z)Kw0h!5IAE_IP#=KRNzVxw zbwMTJCDRSN2t#}H%cK*#0Z3A)WYR1y_&l7LJS-H-r~m=wDS>Eh)AurTglG??kapki zTz+4fzCLvT;9b-IbA+BS)WtA8erzAqvMnbFeP#IQ;CoCyV_BdjXDwpd6wgpz^(F9<2O{ zEav+6K93sm_aA3qFk*nW2FKT<0+buN@?1#qEUlO_SV$!_iX?FgtCag9HuDG^n#J{7 z^sK?-kt!tHe3>~~!AWt9%YwOHVx|ZBd6Sa5S_Wy1fCdlfR#H1L2Iqm!zOuTvmRK$N z^a@K`FF9&Q1oJ~5{6#^X_yWN1zxjbRFIWzJmcn(6a0&>^6p2EwVQfm zjz`M0m7TD8M!raBTvJ4%5{L zg{{!0TK7r_esNmDJ|z_+i`65F@4YAxR$;O5T}S#XNqsdai}b$Dc5?Wlo-2j{>%h&$ zQP_%&i>nixiyzQzyO^W9pPodS2t1RPZk~EFgsL1{X>6TJ8)O5!BI@|sPS5B0HR{Ag zBye5v3b92AS7534rJ*xeoNEIM0Dsyeoj@ZvarNM{q0I!@z zZ;eGY)_JEJ6IslCo;&6Th@ep_*!9*fT_?)YND zoCH7IJGHGSYh%@P+arCWtdw+eQMjf6Bkj*#$@wVD5WVu^U*(W4C@Qjkamk4ad~IyJ zrUI55=1u^MZYtPC#im%G5m$ntu>YtvD@>~1I=paZkgP=}yHXC8FMi8OJWr0hkf0|> zb8HCx`pk)lIgX8QtACdzJ8V;3fpoZK#&XD5M4foLeFMyv!&KH9ipsMI^mN>oE8Tqt zyAG8<EMqM>-(vN#6w7e?O-B``bW5RXO7iuY6Rk+~o_MX(&)1vl8z$sy58kPC0%bq zAtuMM)p2Jgr7om~Ww1MS3PKp;cr>%1G8@tCj}kfjmQRZFg*YWzd z@xtKyF(5`OKUBhX!iN^X8DapxqvAqP<4hjFTS~oGj*gdHf3`74lyK!-Y@IJ?!bMf> z!Xl3&!Lh5>hR$~MRT$YSY^%?DS+D{0Zhub|C!{EBS?dr|!3S|&j5v-Nk@U;Fw7A?k z=_x7qTD(ORNwf!TJIDvrap3^PqREyRFP4(0{P z^3(SLbheV@L5xumd`?u4soQ02c#O%-Z_}zzjzA&oowTriDPxqj6}RJH!cIT3s`R$Y z?UXNVCWnix7Nti$pM5QT9EyxbTywc|N5hbyA_AHT;}Vk=qd)A+q0WEJ>zq@= zB*OGpAz5l-nM+@YS}^uhq7eb23AOA9t}|Ra#slWOEfoqP!CP-y6Lun2n59b9meZ{c zr;eiWWKBSGAa7E4Cbea-cHXof+d*(+zv)w*)|oeHlsFJ;<1o<#jJs9~7O-PCHoW#3 ztwuTc2n{dB1&Vx^hf<~V|EiDi{oSKZ4XEdLc)qo@55~v0cw{Lx*>(lY1M|mexq_x- zwzAU7MY}wV)rEa|k#OJAo0*}N9*KwFmvcehlAo@9$w0Az5q|zDIoU7ch$cWtPZPA+ zd?q$7rq4nIs;=Axy}It!VjhC~u3aL^Fl&44Zos~vor4*g;k=E?_m~8yR-CzOx}D

1UfHs|t!B&H@JRMEAV-1UD&_;upz2yJF>`rq}_KP?AiYiKT}^ad~>G5`nj z|BBKzI#Y2p9dO$xH0KbV%0)W?dtw38zt-gzy9i;r{CKjbjT0b#`hki*j#Tdf$}8pWP26JC;hdC z<0}*gZeiWe`{yPw{K|}^DLEaQ{se&$r9A0UF|+Ku9(gwk3VTdAYfa74DA^(1;_yvi zVSmA(z$;Sv*Tu>GW~21Y<9%PFSuBC^o12n!UAu<&ZT=B}V2Yt;_>p+{yak-R0ilii zRwZ(eKv$sqC6LMG$q0vgoJ4ZEpFi zj`9fh7)YD~xsVP*7Qtx<>m0z%0CiUs%E{zJ(F`;)#ob0!-#WsrlPe@^5mN4YA(0T~ z9u)E@lKWK9#MA&sENG@ghHzKt-PLp;(!;3+kU0%t0OtGaL2xqDVUO?ts_D|=GfLD#ZI$q37D~6KPPck9_!_p8 z$oHA&5%zdpK=ms=DzDf6lfh(}AxW}V2MDwzkjq~u9akxZ)Fo9Dob)thww^03#-xJN zPa6l!{n&myf@ak$Iw#LR4o^9FdLnVoucrb|QG@z;O&4;xbTY;%_`uvl0*SoloRWEK zQ&se{EV0=v(h=fpkPk0l(@Wtwnbtf*+>fjr-fsWg(}n&Hppedy{CG82h=xNnC{{80 zQR2}{9J&nno(l-N9N6)6y;O{i?pnVRn};L97uXZS9*lZ{uESEJc&PnVI=U{j2@MWd zTE^JDpr4>T$3|ni|E#O>Bzj`il-&cGP80g*;x!HBp}($ zBr2U1{##286NU%-DG{XagetV&n(bLj+2}e&b+|f`@y{1^TYYUse{#2OqcLkuM$q_u zX@JITB0uP#^ZEV68mv*)|0e;pINqqI|(k92l}D2B8|zXfxc=I8@N zZL`v+69f~gxSw`APcbAcq39fzXnN4&$^3w*oBw-T5sQ@>(h--2Bc$PbfaMmjLohKw zLgPzM@3N+lAYg^C#|VZ-uAYniWjxV0N~rlqo*6=aaZe)O(jCeQ2gh9oQ-v(Vj)HU= zN`)<|5*=58^sBuEN!q`y!aw$l9D>s6Oa@H)QhJcG^R)Y1gT4)`Hq*&Y%Zr(7Xg1EO z?UJz~@G9n#bB|};iO&eyWqtr)l^gO-d;GG~nn|rrioaZ`quAgfeNRR{5>1`;x5Czq{@iRY#@VQwl^;HmInIb{=O-*lmmGAEijmw!wbD7Q7ee6hdfo z8e&oIxm9NY1PY4-3WD2SHp>v~`=DCl=pQyXHVDuMU?vjx8Pr`qC6rFnAt0_qNW8GY zW`7@1C2j;}tb4m-Ws7}AJ|eNAs=`HHw$cof@B@*QUhBtMyQGhuB4tvNpB0}TtjbFK zx?@ea??X09=YT_8NSAm3)B%ho(gE=yEY(XyiZTZHv>%SaW_8^YGkD&@ZG;b^*rr;C zAt7X0TkK~j{8IoPzX(x_GN0QMyMhb5RqHYg@fw(>F@5?k7!aDcKs2g2jhHg}`FAyF zw?Q!WkV42$>JNsT)-(Ex2UTk?3vI1xPw?WVMbi@_{2uAXdvS1p4MX9`#qfT7npwab zIfrY6Ct_5CeNSS&^y?Vj$1}!gWxyYGnLcc!cTc`IP6-3|)js+Eh(@HAW zIAb0XEP2e$Vsvu=-m%Eyt$mAo1~25$)-H^R$T{U?*n0$HvnEq}J|Z|pbq&Nl5*SVM z%$|4~@dO6}l8-U8*?rq2L(v3QYx_O~DjKFN9Jy{XK2Q%#7fG{L9- zMQe3v$ZvB&?u8@-X%kO5GCr)h1-G$`uo33H0g~wyLD@a={Nr-+nEgdHPhr4SXXL&eHy;!jYfHsi zQD{*aEQDaqC{cteygEV{R-A9$H(?@o^Q6u>NLX;k*!d&WkQLN!Wuq+L4oW3$>}8Vx zOFtWlR}C6KGk>JXzSyeM2wdN7NOpix{25P2q^WpjW!XcY!5Ecn%;*AW&Yk>g8&d0P z)cf9wE~rq&g&0F@q`u#{XG`SF^wmTILqBbc>H?o3>8^_wZI5oG%`QCxTDQoXqJ; z=8OTxBnVwprxu5U?C12|H{E^D%!8p)Zw~1MCxXP=z~#6yT?WgkJRT%fWGP|v{bW1+ z2p-5iovNT~BhR1iz3J7U*{2L%_P)n^ttIK*81;AVqRJ7X7%7yoCH|BOM(x05cXcfQ zQViTlGx@sCi#;jEJpqql>Uzn1#Ztf#%e`$IHrv$5xGx-WJmGDG$pw+ei?%;6tPP`?5!^kcSs&AavdtyB2iD4jr(<+C`nQAEV6P z60d~v>!gj7Mu7p4ha$+RbhLb^q9&7e4X`)?g!S6K>ArLJxLQX;HYdx;+K#4b{|#&N zmBd^37iIj0!Up4+ccu)WS*v1jPAo{})>Y;(s@%#2LVWSdtrz zZ~&|v>>U4-$J*AliQg1Y`{M5lBB%lC)VvupM65QU&@!=b59SQc)FaWXU%qU$Z6TGs zjC;6w$tlwQCqtgaOu5QMfJ3Vq?>yl@U+HJ%O$mf|fD21qqyJ{H*0#!#ogw=$lNOKV}OP=@Qr(xtQ&GS(^vUg3u% z(a2IZoAQ)XWkZX=4q&7a&fBAnS1FplTQ&=#cT>|!j#)xS(-;2<1p^i9CM;Bvq8vTo zakVm`#4YeVgDDe4Uc-|rTEI$xt#o`9CI8$w=?xbQvz43FkB6cAxv62M+)P$DQVbgM|~NNI^4BMx&KwX#oSUn05DKovk9KnY2Q zB`G}MoCJ0Oy^`W<54;UIp{OJ+jZn#mC;00?8U@5v>_cb*S-O>e&Z559G{6;&4mN9W zbN!ffZ+>H*D$mLyK|m%9SMVr`9pYe!roSI#W)xGu`XX zhzb_{+pH;dyq`@P3yf;uIsg{96e*a!Ub86hH1$9SUi>%joe!kAS1$o2r)C5*E;MyQ zUI_W7|2@w<%Y1_IeuVQO7m`gtmMU@Wcte5`#kjtT0(_7t)Gp8d0(ZRdT1e?(?vbU5 z0;80#Pz5J~3}E$eMJ$p@ie5J;teHf+sF;fylT3nMqKW)T*PoP_P__yorO<~9U~}*6BCAl+9Py$SXe${DV3Z@qV4IH>Ku80&>owU!`dV6 z8n=5-<7t|5fBGB$A>vU>;BsAL7x3-!X3S+!3oxjww2DonkItXGNsk79+BE^U%-@sH zdOgm*AA53s@3h}Z5$OHw{p|RjPpP}E>UtOZc(D6;I8S%zeH-eCI}_i4hQCxedq3G# zcYE_~&}2Wl2)_tZ0A$kbr0>$Nay-4m9sGKedAm8Px*x$==I0%=sGA~46JVH1pDT5! z0;s9fg=PiZD?BxOC8tEp=V<7^@?Iwg{Ow5uZd#O7uob;xI>d9IIMt3LtG=Smq_~$vw%25nTQY|F+a}2y4GNhJxneSj{ zGg1<~lsFMwA}A0AJNi-h1^gZT0XI}wTLesqX-;Acr04-CdCHXHD&IM~&~(gW2@1N) zFJfyapo$j>bY?Iik9a91Oj(k+zI$TdY!u}-Om#1H>k@ktJ^(bC zzO=1VN+ z<83qij2?SjT+qg@lYZ&;h&W7c5&&>gVt+V9P#*p{zczE+(z*l|i~-w8&^2xB{FCo_ zcJ##=uXt2sF5r8S5PE;phep1K!OP5K8=HR4^q?R~qPXdLJ~RC&NarB33{7lI&wKNK z-u)oVO`k!&1=NmRxh9aLq zBR%w-g~P_0=*LdUuCglI8^F?~bD6;k=~WypNnP!zixkdZA|>fSXhtvw=4e1?-u6_g zbv;2+wx?Y$GJJ%Lam}P8L!TmYHt7rhEtEm?N*J*g-W1#v!INA3&)WKV+wD`4#PMjR z3)%vuX-E=@?2r%GY~6B0+!%pDk*LQqiUaquO+o#&%7~doh`E?<003a?v#5l67>sy! z)Kpfv>Di@4&+O>`eKs}zgKboRNI;H@Rn9_6D{kQ1EjoO?b?Q8yb~1{l3@%smrl4!~ zVKEjRZ1C4SR~?g(JsU8vWXi!^b zVB|Uhaq~2%%u!#`3y^x3PeAzrwFi^=bl;%QfpCG{>epv`-V;E#n%PgWr7*1mw3^*+ zWl8zEK(b${#q;t5cj$*%HhY2W-1 zE6#_viZZ#4vC0S8M2mykq#(1jIPEiFf6%h9WU8Mhuj?KD1;7~c)!pcRPg)d{qLKBu zB}PY2u-z#|-P&)$yj<*ZlG2FIesXqqaRVKgB(*)nh8<%3Sj<6o00Qkf8iH zwhS`vy2vxhTsuiP&cf;QI-{U>bmH<{>ttrb>&gDvnmD1B%+|fVj0}QJ!OOf3Uv`yP zl{&nT#oSZuc(_S9iqMcPa{r*{qagoKM%lR0+cFW30u+D(Nh1c1Vdx6>k8)xh*rXEy z(%#;ehTqVxkN{+xbF5BJ#qWJzk5PcR9rhXPhq6Xp){9ufV(RO(crx0)A}L#GPDci^ z%gvi~SdmGuEv}G&X z43DPctD%;DQgwRsrI%H;rRj@%Ms*F$s~BR;I;>JF_8SZxdj%O5_9C~Zs?!4RsA{bB zG>)mWA-^8WtA=U^^BG$w57m!0xt{MmBX^Y_!0Pjq216eW&yil2=JwWe^^kFzc*rBE ztGI*ES9HVpYra>2d{7~i$7s&S>R+S=zI!@^9;@rx>!*m*O&^beg(kUP_77lEMf;tIkRLP0j>ngD~U$zgMme<`$e-C9Ia-)og47zmbME(GxvOx{lE#UST$@AMPp6^L& z0K+B4SeM1uxwD?!iJSQDpQScO-DTX&7xTCJyuk+b3-hpNxrrQ5g{8KL?NU4WcfnPf z9rl-p-a|YNbx+yZ=wX)C9jFJXi=X^#AiR!NsD5^WGAHE|Jd$8ijqruC81@NL^jjwl z_cXsYF80+-5Ei}RT_KTLSr~DTB912$0G~nadCQu4pH|M8)T??MH`tyh;-b-gI$~_n zIMP1GfT?dkDhL-5k4Mg08_1~TjM_m16VUAb_7wz^PFgNi?#C!1OsV6HApRULR&1l= zH*v%Km9rnhooS%$!&74&dArrb0Wvc*zVpd({=#0hi>+Ka;*-iXcTo6Z@ZfY*~4Cn z#AY~ziGA=&IU+!rhdCD7R2B$)$eCdMjd&u)A5@N)JjoaaSfDJ4*@$b_Q47zK;E7fxiHZBIVY-bAg zseGv#*z5kDA6Jd~z_kJbzzQ_KyWs$7;Z`&nszNVJSk&Z8tlm{+!?yXw?ZMqk0RI)+9bTV~9Q_`9 z##-_@eYU5b`ecL2pX%$2U~+vqkcekEw!PfG?caH~x@*@9vYsCfFP0SDui;}PjU5Ye z+%J*trfqWFrd#cmeF3yCc1)`xh>{ zZPp8)JzWI$lPiP29RSHY-=iqGNAXXsD18=Y zI&(B#Jfh}DCA9Hh_L0 zK4|hyD!wiVZ&>o~-_&dQwl{goI#+@fAk!`fU&r{Q)$T4g(!q;`A#q1Y3LTW2*ClUP z9F)V4uQ!csmgzHlhwijRlQ;*)SYA*`@lPc@EGP&!au($H^ECtR;7AWu_*&FQ#yhy3 zQ~pZ~z~fAy(qZBhj!U>(fy1Q|-iM0?50!QlIL z6pv%61-^yo8L7T)z#K(v!*9E+8g@$v_ZydsUH8ebiFNR8Z>J|z)E%a&~X9= zWvLfW$Yf|d_ff?MC)T}>UDqAYmVE(=Lso~!zWjOv z@M1t=UyQ0Gz7vOyo~w+v;**3RbXPuv*gA9!e^QpE#*>(DC6M-U`;xW!L*EW$zzjr} zhXFv=si)4%#SEfGjs*N^#pap$)^|t|&~!|f+cR;F61-h8V2;rP>D``5VIN-Df$0U} zSH5mdmBdBV(%*}Kwo*D0{C=su8Clm=tl*nFyClCyVlSBY^=U}zKOLL%-fJ^eBj$L< z4~vr$-Fgt_O|np!&Uh)P$Gucpv1o)*>IKw~K=LA=CuVPa>0c*6yq1UHq~}VZ+z@TU9Rh~#BRx5EzkE!<6Xjw4D1L7&NL;Qd zM}_+;mNw?F);8+Eui9{CUHoZ0SZrJ(N#E@zF$ehSFFl++U3gye&~I7#m6~_DwDjsb zbC{wnXZU$Z8t2^sh-mPKB)5hB@I{+MGx@;Vge&o_S?fG;cx%1;tBO^k!RhEN3BRBw zr+A!8#!NRPiI%xE^fcC4CUldIh>56QPSY7V@wW{VD}CX-_=aqs-=|lZb!N{l;Ze9I zi|v5l7vMDqI*+ezcq;x1)%J%J!(?IBBDRdrbV!(hdLuv4<_XE!gZB>&f+blw=ND_si`CqRf_+k-kfG6r+ww8Q0FUZ%qRi65{7`D^6;4XEmq*Zoz zT%|5W)3v$$`zt$fX)^)qsJRE^n?)bA*v8k_S05)|x1SB$ZE}U5hJfC(sVnW%x4VS* zAT`&pcgLFuu(T#O{~HKvW;gqF=QGCRI4d`SQ=aUa%4bo9r5$;VVjDN3CX=M>+|Ly^ z4QolbX_x)AwKvK-TblE(B2v9_7%mwHT_&BPLu|Mz|uh4gys*9oe2e~A>H%d^n%FrP?liY!7GaP zuwwj_U<0AQe^auO@+q29_In|n!#d{O7Kq*e=OIB1sAvaKNFV^`;ci2_(k#>nwrzPA zSx53DKl2_+{UKJ0ZuU6Nq-b&A;Jao`jW48i(2gfD7GH(kWhJ9%DH?P2u;Vbxyg?vY z8SeZ4Q^hR*#S16Ln;-$Eq6P&K#a`Z`^toY^JlcXlS+Nma@x?isqNUD2Wht7S_I4E( z+Z>q!LFFqu?fE*lT)TG8J29@)t)_CkohsbSPIvfarS@f4wR!vrD?2YUFWYRRW}TM& z7W`1*pg6wXcKpn4y1okSpsyg7)O@N+%S?`Clor5h$1Eg>4R-*w4<|ik=2Z+enzXn? zTSJI%JK1F!v{lct4hMY-Dv1?OYO?ZH_CJU5wOvXgofvt^r0hBITa&FtJ{l>e(0*hV zdvFTG=D@-q(VZ!bbdh_nP?B92O)|v+Zjd+ zV%ZiTGMT|9-KHexnbHDQ31>s0@M72t*lY{dg6TkrSSCWIg%u|O63UE)>4C;V z^v9JHePXbrPN~RGM=}ya@{EPAfQlq3hfiBXPtZ`T5#DgE5ww7osbyswxJxTE@laH% zXNRARjG;RyrzP!P1}u52biL>>~S zmNFd#0rW-QsL`NRq{`bKxKIpD-+#I9vIl2;!Rfi(26M96;eEDrg-%BQ7T~ZWPA$*2 zCLH-$F1bwB`c{7Kn~KJ0Iw>=FQ@MM1I|8(HrPRn07<|1wD}{}{v_IkiFG3K5Pus`BSdeDW+UMtA`sg1*(SIp4y(gqD;nAp6Xzi+&i$^%B;vW5&`#; z=*6fjsFEhJtnsGo1z?si+6Ot{d*CvIaNckm;@AY@8+*Fo)Q<4QWGk?c=4qfTd=Off z&4l5(q?$H)!7ayd&F+NS$(Exymf(}hrh?Bgc`%54Qn%9yelb|9lHfMw7GbbyA+T7L zDMZ0!3t4STSs~gMJc!nIQj*0+=70nu8o_ZxsqumZ6mYCjki>+6!~~&2dT=aM2SM=A zNgPu}N2YN@PY`BKPAuh$*rsu7q^jA@&oph2tMMu?46o*8;{0OU0Q)PSV7}kb zTc-N9rCI~CuA6myzKtK=LGn{&9Ob2jj7c%c!X?Zr!q*8E5%!IYnj~8D#PFo@c~-1) zEKe@Q>TQUlKo}4XxVcLyHrhX2*&ns}@*{me@1ycE{}(8*5Hb?}M=8b2%OGxL>uQ#4 zNRI|!Wn%tcYcN^wKhZPn<_oQ33sb~|wN)`>MV_*H`xIi6z9!FII5ue``uoFbM}z@g z(bJiKCpj5KK!;AF^g8s%YSUSwhjY2K(bdkOmDH)&#f}#%s*>J^{DmRA=;6~=&o#S< zXwRYbZEp2t>ce}JJv4Cua8cBwS{Lp|-%@@Gy86{ag2Y^x*7ea+W^N{5lQF|f^m&!= zwz1jenWb@+m^apgpp#fLqs5EYn7g^Y-FYnxm#Gh`pVjG#+>&Z1wpvR$fqpEzLyM_S z{ZBQo954GcS6d3nlQ+3L7iW*wLB^ii*Yw8^gLI-@5Ol-vi?Lg=% zEW{vA#|@EeVI@R-z!44%b4 zi@Bc5 zdM#R|CnVeZ&b{!{1JUEX`;70bbY+6G-xFXM_~KKsJ1lWSR}C-PB%H}Z+9ph?Z_QZ4 z-NQTk#_v4I^|y6vdr4@A3h&3a5M4#0mwZx&Gyg1QS5lb1_Lyjf=DE%2zT%11x+&Z|^4NRY|#=ACQm(;rAO zp&RA@Sk}Od|89(eurV?wciIpG5J@ZTb?n?r^r1MZ7L5}`;NM=r`d0a9krVkx54>0y zo=eN8HlCW+KA%l|nwvOZY9F4tcYJL|CiJ~ACPZERc#;Plcvw}Msq(VVELb!f-gOdHZ5S4op8a=Vp9%`FnfRm7{0#8eX6HwGtC9?mhcv-OIPVP&e%Wq{GK%>mS@7 zU7l-h2NV8UeP8#vPd!}`;cfevy|@lbkM6vsb&LbyG+FTKHqq$AM9T*eRqDWCf^9%IM>$1$gSEgqIakYb@J= zlY&qW@Z%~4&|U?q#A$(m0e{-!uiBO z(m(j1W?7(S(A)H8A~B-5)e^a+)3SJi8JXZ_^A*&HuGYw|rMC>hvt&dGK_;Y@QtcF# zILAixSUD@@7Lw)Z13IzZVIh1huWhh2!;+`$N79e!19Gw7u#w9Kd!kCvy<7Z4}U=11i z4EO_jnY!$1#V~{W<4{+-gd*^DkDvT<94Xbxh@^Ob0TL&i8a>v!p|c#O8FXAE0ZV!!}yXf7!jQO^@ zXRdsOY#wkos=j{G{+_9HK0&B>kMjFJejUbt&$s|s+5SHvVADQG5Hak=E2^j23N}1c zPYyP+sC0OP9UuRfQ8Q_00vdzw$KW>#gEa8O*z8_@CZ51ldPfD%-p^X;mI}peO9kzA zb~v3>&Z#mELyV|eI$rWeT3gZ6r>#!2!ANXKpO)|C{mjRS`(_3?>?jYQleab$j{xC9 zF*0hFk)Kxw8Of!0OW+1?+u6l_*!CD|@5TP9r%8b+OJgQ-Ck(LLO01I|jfvOP^U(xo zzDl(>3$$;@{DgY=m>AWbMCsustQUGnqpWL_A2Ya=j&IA*} zt4L&$fJKo~0?!yx3EcuzWN(vQ=AqM=Ea7AlV4czeh;x{T@^b=MXHhMKSXy&}ILT?2 z2-Qc2*O6G@am8d1Z8C#2VN_s+#TtO=1m}yG5iL$Ka&oPpv;*fcB4MGLhiwp>DakDp zGem-VAK~K)WLbn{LSUhp*vLx}#Z1JZ{gM67bgm({)yf%!-9xRetz9(=`6rYV^ABM& ze1a+{RjV=;?SeA0Qi<}-&E|_b_@^aZ{A3kN7g%Oo5Vnqvb$E3jjQ9*TwfL*A(nqf9 zb%u;gtVQbB9J1YSoo@&RZ(pVUudmJ3B;=$43&O(muTq*VdESrYpBt8BAt#wm1b|uo%k$e$D;O}#zn-;#S^ss|CJqi%hz!ii^8XG;5$+!$%s(lOvx_SsC+B}e zF1P?Lw*Pg)wnfLr1w{h=tGBPH4~*TcYB!#4QY}D)P!L~G7+H)UgpGZJ8J%oG>-ELQ zeiy$&Vr5*pzgGE4R^i1jkKgaa2(3FoxPvf893_;)GD%Y1GF;?p!Mm_p1Sf4~&@)iT!+Xtf7{I5b%uI%Ggf^EcBr)je#aqqa?;yu~>4xKq7kKZivL65;`E z%+jAdT47qLz@mcRV?zKrlc1Iq@Vz9mhVkY4A^{OC&9jzrz87n8VECf}_#JjML+g z8sqedxQO8_3PXl~s01jK65(bvtvaJlrNbgI$5f(lW@kslk}#kM?j*cGqr#MxTNsr< zHdAepAZNx1a4KM^JtZ7jB+>j=l57X@vzBSC@ld9j>c+w`fmUnQ)bW6qi$8q{i?a7S*C)2M0yqNG z@zdXr_3ZV(kAR&bE**Ibjj?mhZ2>N;+L`GC1#fq^*wjsK+9mU?0N5I zYd`r_-=!)=2c_4C?l+!f)e^pEOAWE9VvXRlRYYsJ3JH+)x;vcoUs-Sl3mCF>?wfTz zb0x!C#AHJ0zZUPp?rQ@1d<4GRZI5%tD3;!gJD?Av?*PU}$A9lGvBB}yTdZ26z|^PQ zmx%u)?>0_)*_tRCFJi!KgJE1)qMiGP(l%4_oMePFR~)`?YtNOE>)AB&Wle9ScB}8~ zd8{n^FSXRF_lVJ)U}sDHOp-#j2{z&y(#gc(@RMg))R%yuYcQ1;1jtcR{-tcDoX?h` z60hR6zXsTtkK3A-lVcOSr*i`_1lO64X8Y|gELXQ#(!+n?&-h=Z=cmNvrcTSQWKO+W zY1sTQGrFmtw@l>irlrDX9SAhHYi2I^x6|t4(#`+~A{WUJkoj|IK|_eC~$majj(bQO!kiiYLj- zK$Uv&w<(BjB{Z7j$JhEr_>lj@Ovxeg!%?E?agT8wAhV22n!e>N}!!aXG3(2Bc7G%!P@OD@2eK1yWBZ9K+QyqmE*$!X zqe+L;mZv>1M`Cuh4(3Gce%Sw0w|Ty^!8mFdwW=hwUZF@)d+*p)!As2&t5y(uRI6&o zrcryOw52w+#U4cwdxX|%YraMlG17{C-Y@5z>vvt}e0x6J|G;xU*Ha40ak4_eh5sky zlv?FDS)&lb{}I-$=rkr6Q%c*!5MPr`Mh5qhjO!&S)WEu0S7M3K+&!pDsOfPVwUf)9 zT7l7DT7RMoTy8gyE~J5rXe07?NJr7D`zFs|t?+<$#%_;*47=hpBR8LbPoN$qwo}$t zo!j$2q8~f-y%7nTWwWL5S+Mnt{GR=c-E6TM2$0jLWeiJ_xKy6$vZP(6qVm&?KBezN z-hoMV)0Rp1UGfH{)6MaKIHDQvFI+SDE$;X%=Ow?aQt0x*zj)iCEqxZg>8peD84J_D zKqayE?B!CG+4U9eq+eRZXLP3@-(%s2rBb%GQg%Lyeu9t}d1_;6^?iWVKjRw$N?Z@UCotOLWTd+{_GCcQ=56pA5DMBFa;k5=Dl5X~)yW6q?`^vwXQ|4>*Xv`*seWv)^A zbv&ageZgmk!^Q$_7%x>SX8?5PYgK+MSqo(;nWTPBwZLrOnf|RmQH?f@56vqgzZ>_| zi2b?naAYI9|1t5)Qkuip`{&Y)l!SO9cHXfoRqIVD6q3b&B--SJtodGJ@8d$ZWQ0fI zlt{M9iczLlT4b&dAaIsaVUF`Oo+-_rhLt#LjZ)ERFXXVdVKFEzjWY%+8NJ5vUMry- z0HAAL+K%GyVPVNVx%Z$%${f;__MhJ1!Q0&fSs$)w7bgtiSHa-<{4K2|!#^XsRN(?lXlfZR{wOUnrS zktVC)Qy9_z&J~lV$SyXdI4V}}_+DE{?5#9z$RFBU9iTLbk;Dw|K&&d;orc8XxWAof zBgxPVfmw;g`b4Sw8&a*)F8!k^i6yfJC|ly|4*=G$bmPOCl(MsltyG3o+E5;{JE1GDbS4z&i%+h6ooIp*K%JTP4G)A1BmpG^!g{Tt7E| zm%+Jy7Z)E+zilnj9`z(Ur-G-fS8`fWH%pNeOPpE#woA*$1_vkIU$K(1Qe+z3JWGL4 zai0fn(u5q@{muM~U8uy`-p!#;^g(2Vdfg}Fo|K2aqk2KR`p4nshZ0+>*!=eV>asdr z_vnmtap@?oA?Zq^HpxOiH`4pFekMldb;Nr6(p^>A@-{1z{8RA{H4n)=9Fj5=&U>evR`ou?wdW(i?8U1h+JdrKkaLnE|*W5O)f14TVAN<^}q@hT~_ObNn6*0mNya6 z#~)Ci5w*hkA7+&7(qeQsv@`1>Ziw?kbrIKp2FENhzztE>6nlBLdGv-71M(`k!CPIm zQ@LQXGd>CLq;wNTSabPP+paH%g3fp3-KF6V_UaauQT$g9$kB2 zAn%MdigqW#2BuLj&U3hBfXiEwn2yuCKiOjvl4LVjON)(>$4BYDZyp9h#NQ2%ZSqRho&B~gpbAD@4&6Hk5=Iq`>T@1bdbY+nPW$T zkAjA;-aL(@5gM*_P1=g`zInfQ`GIAnqWV`VI5|kB+uI$1PBp!YqgGtk_wf(SE>k;s z@iqQx2fx}`g;}Jm1eu3(){lU6#*dwOKI?|aUi|h%;TU}1%}B_$6mOQ7_jF&aO^kAc zC%6lPGhyxxp+$r9?hRDp%gC40>!M9>0X7fgbcsyRTw8wpp*(KpUJsr4XaH^<@bGcL zr527!5$9B*$|;_DbGbP9tJ;GwNXCq4-vn+1Q`EbI<(k+G205Ho{1SR=8aO zi}5w9vjg;eoqaX(C652dWXLxg|fCfm6i>fYt^tdyF0`_Ye|6FmYG zFj(W(J^6&JZk23K+Y8?{&QM57L=f@fRXI@9;6(s|Ow$$fN8Z8wLU|?iqmkN%ljdDD z-?rfLfReoiIeUI)yC{>i8(OXK!s=<~4n)0D3H<>h^3Wd1-}<%h;MrM8nTIF#u03ytsMU;;-4ayGL*K(o&do1MaZZYYJ6f27Zm@ zs?h7Mz$YQ?sX*VwQTsgF{;8z?h9Wxqj%ecbfQgY66t}Zf4&Q6L-2x)m|X&Ho+Gz6ml{}BJWmj6c3l0xKQ3ORYS ziO|3A@c+~T^4}KClHr`aM=O#d;;4*2(Dc|?-p5T|-%$EljiN3qqo2`g7Z$@zjfB`| z2rNA|ZVlVr(@Vb{wlXx~_W49*DtIz@Ie01*3cbF5dH0Mj)1L{@h!=Q)_Z}apd|S+$ z&s)uy{hmMszwV_N?{^Y2N8$h&`&{Tc{d?>W@=o}x0H|O9mU}0CW&;QP+$JaV9r_5}cnQ#jqO?&QxaeXztuA z!N#6ut!VuLZQ0g?T&wIIC)tLBQfU!B*@*|~BUaf9&aN2)E}WBJa;;ut8aTG=)!EIY zsb-~a&HB^1!UeV*6}FtXjRwQS1}Ma^yiEt=>=3TU^(k)YvtCcVcyA+K7Ult!< zqV%hu==muUYOok&8>1pz%@-To7H8ZLp$TxmvghzuS6CxgO-wihNc8e8M1?jmYpg!9 zjol`({0dbc&?T|3ZA5ruYud;QR++-$2>ycHL-STK3~hIS&iC>MY-~}MM;!J;_ZCvd z4h5FKd?$fU*PeU#S#-sskLc#sZmY(XAJH!lvbHf1*20ltkyD3CwO`msOe?ET_r821 z0b17re?)cqGaU342hmS$P<17G`E%7;GSDg*;}0Nr?WP$&OtXi61a>$X2WY+8i{svT z9bT^(Qm9Dn=s?ugAPz-<5;Z|@ctG)m3*Z_zZ-~I^-KP9fJ}J5cXHM+DtvKKL2x4El zo^a*hZG?>Zxoh5eGP5s1a(#tk?tJXIH`lUgw*{|t$QQl(Us04kw1_rH=l9ywN(nvN50V(SVLmmn)br za}#Cd70UYxc8FgNWwPd1Dn8}2!z;WuWT>D&&S*$QHFH5Grr2|se}58EfK z9#zsCD1ivE4&h^$q&FwV%63*6@$`w5N_;Q}D^!T;ekium!yjI>!bDgmet6~x2_lkep5;pgCHFGEk$O6Os987whhzvG? z*4T(!`TmK-_upRv&}Ud;U7r9&Id6-YZX(-l-SmkituXr@T-xTcP1%+>X zh;B?Vk50qXLC9PNbRVh|+hXFksKMP_@XhP~KZ(*dGId8{&@skBrJsP~C)U~$jP>7x zE)kF3&OfnrqYfxk;E;#Kvm>HooKag$zT2+`X<+nVt1y)$HYpYG+(~m*&R2(*Z$Sv) zDngN%u{^POF@*-fVH9o0*(#u6`O|TLmUCH|YU1E+>sHfEQ|aMZ2jMpep@TsCA2s4X z|3PI12&$ls=-5rt~g>oWCksZW6mU zY5VXw&M-1L0b?6?oUX$WZsTor?#EwZy{oxMmG_Xn-Kfj$OtPcX`v)OB3i{<8!zt7C3TSXC4M@_!RPyJ8=iOy?`KE4=F7*cbZDcut9D%sQzSi zzzx2e-;GLo<|aTQ`a=cOOdnKfVtHxY^yLqD&U@HZ5IDXFoS1EAvjnJM%Z{P~YF?*o z@o(?r&Gb;$iQE^fY@?6Y!i~fi;^E{n8)AL8G21eXpD8F0 zr%%kPJ2kZR@|4cS->N-TmqNO%>qcV>Gdv&hhPMKu+WbvD=;e&4)H+OJtet@seR2zl zn)4neLvnYMzo*M_jO4uoGy{3Flj~q2nWFvTCE*>q`Rkh}3Ab?SI7- zF~|&Qbd4zXTlo@{q)2=Ns#&_pGlf}v=7LWKtfVf{BYvNE%?{omMFs@qjZ#szzT=#+A=Z>mA=|>8zRdT)}HFz|GHnfh}I_gqK3mfT2CXV|JG$na>?p6R#=qzC zswz8&_id5f5*-BHifg)OOFPUi_RtWly;AC``pQ#CY+M@&SjDdT|bHpEEs_KyzJH(xR?w!ClnSt1b7TkYs%89`i<<6 zl#&=t$?;YPcB~cgdHhr=S+|9YR}L1Vkt$!bKbQ4|bLlY$94RR4BMZuFj5uW8F86Wf zO(+R9hDTZ^3IukIR}pdo<-_E%^P<%STFHxh%I?LPdo-%^yg__CWToJ%$TU10qH1Gy2pytWKCfs6U#?Np-6Y^ykSn6xxV#}oD~4r zv}bqR^6e9NTCBm=$`MA;@p#rA7GnLL26<%agsQ0NzMjtr!>(%cN&d3IRN}-YsGBl| zw&>;GE;P5cu>kwm@!_py-K_Rb7sRjRKx++$CTh4{9fcn(H>eM1PD&5Q%CcRJAX?eca8R$ zu=z|+LDPcn+}QvwEKon{HzFLzQQlW=#qJS1Q|i?(`yJ0TF@53)zqcQq=} zE%22(MG%*e zSfy+F7OXwALMj zcR$0%*4`d%YGA_^moLDJv#pYl(CXp$!mlgdQxGC=OoCE`kzoi;Pljm*Sb>K7^tjUs zw5va~;uE=bO999U2&WKTYk(8iSkXw6+} z(vGVgf7QyXjni^+RbOV#>8Ic>x>2qF%s7ri(kf5Q^~{oC`h@@tMe*=riX7Ip+ZU(L z1l@_^{`hQP)!ov>K7{v6*BbsFt-aVsy}R3s%bJEU^29m^gv&S|?wdR{{5)mNbz#T2 zFMQOSdoC&YV2W(TY3*5$73-?4g#UsKrOXUy9NHM)DsxYK>*EU09)R%$`kLMT!nby8 z+qZ_+A3$=*?AZd8rPoODee?$%<=Si}nYK?NReYPM?mF^tiZ&Wzn_)_PBnS616bZ(T2oA(cK;HB6tCiy#Cj~H!V56v>)HUsRLz7lrdFHbn zISPG1nTE>s{r_2nEi5ZFh0u>#=IpoeK5juJ>u zKDlx((u|+)OEIXWNtZZKF<~Qj%A_=cf~vY-`iG>0`TF$q%P&i>N9PI5H?A+=wErN-V^OePvXNm`)9_Awikl>K`zD2h}E|lR(p)2SciE zR5Z?BByZh~G6lI^in)@LQDt-GFu;rA#Mev5M@P+RuHl!K#PXgPBYeUKe96)vWeY!o(=Bz#JDvp@z1V@Z}VtZuigWucGD+ zFDJKCZ$qjF_YVqU4NmJl+8IYj7COUnXDB|3>le;Ly}Dg`$)evuADWT%Dz-Q$bVw>R0IgS zn5>DtYS8bf^IZLGe*1AN!HIFCw0u@YXok^qT>zyLNUH$!>Q+~aEhkCu;_t(~+W8isHaJI)xzI&R}1|JGYr zn?+0n3EA3xfC@d54Lb%)(1O9ng&e>|Un*cufeeyxEV-G+k$SZG7ANtT1Oc6?G>nPO zt_FnULVca2$GizFO+!hsW_@zO_T$U>Zd(nLz6`S!K|+7oycN9}Io*K!C3VCV4jSD! zc*8aPgL5Lk8%|97MJ1z6!C-K5OwG)eYGn`=@4$1?vT3EDw3+TNSF)+nsyx7_tMnj} zc34qTg{%#iE4|g9@n8~?CP=`r3wu6yr}BVSI`E%`J5% zBK-JdKK$HXs_}5Bw!ka}^9BIk6)(mKElvYF{lrk$oP|@uZfBp*q!AuDTf*LqbgrNC zQ=?c6v%3)6e-NSHhzy)_3a;zX&N=lB;ghvfU)%2}a%(U0CtkWB*Iv)jC?RS_a+bM* zzDBxBFP8O2Ktp%YM3qsg3+pEB!uqP0>W!gjSPY2B^uoX9Bm5)LKMNL?+(74^f`Hvxb(v!PmC^$+p9!9^#{6`4wUYr{ccurw$_-b>8FyxUA0watknqu8&hoDF&We5+V# zHwJ~Qi0KsC^LBrb{CeGf<@MgDikuPZ-Z&M<@N(TDyB3WIes91@6euwSl<3BW=q*f* zv<`}kOlav^c?vI^^ws;tx|Xkh3d>Do_{m1d%Ua#I1Qd+Zs&_ONuLp?75IjajDsH7- zv$uAQi1d^q@&IFda#cIL7Ph)Gd{u!TqJ~F=aJd#VrZ+#hN9eEX_nN=;IZy5mVZU>5 z>nCZev1WwbSh4`9{FCG<=YP{&@vPMu`=B1X-G9?DGCUl#~>T_llS8?At5m8;oKKFC|W(eK2qn ze&5G8l)-V8z`={^`oSs5m}m+M)u9*X1Q1}Bz%Po%FCqb$m(<5c$8BrtP87G&A^leZSt1fwmGJE z#!KhdHF)uH6ry{&HEZA&WgUn3k#~NMR$ez#`idGlTGW6(FJq}(l!W_?$xaoxm6c+r z?CcSw@;3t3B)NW?1u(QgBRQB9f}5%$;4pqq%ME3~q)IG@I$k3LzoZpor`N@)y4w0K zOa7e`7|qV>cQ2PgF}qk+7(*D_d&K?2mP7H6 zY=5mH?J@Vu`UePDOC#AM$cPF>8G%Pm-c2cuncxP%|98sVuJ(5(f-&1DUu}Q9Ha}k& z`xZ||kkyHCnJIS2flO_oPGf`p<0g(7_YtpvlO=k~xXC$4y(i^KCrq>M!1VsTF1UF4 zl{iWCx=GR>eZ$*e)~_ZyIHiqCbLb5iaU#d(16m(MWrUb@53y-kUaYR6czpY*zpl4@spn9A+G_(rB?QPWOtTIDD8i%j+OugUW!d_}48%sXbqnAx_Bs38!3 zedRcnnkSQ%rPh3JEta4jPG`f?QvSs6c7aQsZC4degXK@ApAT=q4Sln_`c9f5Zv7=;I6yxyD}sCWVUkFTK|YEj`=tpXC;aPID7xJeqFtaH z>S< zjB81(WB0NX#2bzmRLg*l_gp0^EnOK`Kl*{Ny?Bniz9U*k8J7o^6(;`sdo=9JRQMM% zDiM+BzREWa=zbX=3LM(Grx|77O-(v5PO2{%(V`V0%;@_Tz^rLJ@&7VE9%f=@VnDwi23@?3c8x16A1`$kus)9=r@X5rL`Nwffy!T2f zJGE@KTo}kCw#VOJ@0{Q`Q^=C1!nMb5Aa#*jjq=R!xE|{tlTyIxRA>*WTgTz)SgW0) z!`Z`C-yXtRxflBH^)R?mi@JryOC)>Ah9y@3Sgb|Xl(99aFV#$D6J_d{%ajpoarLMj z%}n$QgGYP`LrL?*3QLp2Ksdq@5Lmd?w1c5L8(^tXodbLC!XO$0(;1|t(qZAqX?8P_ zQUA_0YZemIggoPCwIXT>J9!Z);30KR2bX}F1!l}v{4Sp_##g8;fkT4k%^KuOgh$K) zgrL7bxSa=~)vxbbfN0vsc0!|;C=;pgp=ZEas~(W~{e>5VB_tCI z_QDbMqzNM}vVrg}l&K$pCs9U3DPcH=3G>JJ@#j$R9z~wgFa3s49D{uQceO}RdvYT* zc#%0cHP);GwKMD|8OZOD0@Z#L5|&bUz>h*0Hwt8H&7@`tDzT?IsNREUY!brKM#u(Q zbeZCRb{9-9f^I|!l|*f=1nZSVUn-3~TPZGy;U+I*(bTIPLE1-VEJr@eO3`DAw%B0o zjWq^AUfI|xb7#!zS5z=eV_VCb3DPRcpcZe+EKVq#lM7Z5ZA4BAA;gEiejD!wr~&6> z4JG9lTM2~H_KN!%_24FML>B-CF$AcOlvJGoo4XOnpF`&A6vu%QsTLj=bSkjW_rvRf z8lSbOBBTbgjgQ*$pT`dG62uXz=^(gEUXnn?#SiquQJVqQpiAdc@+fF?M~EzH$7;dw zu$6YlbmG~wd90xXuKXNQJu`U$UpZF!%4rpoW@(;D93Q00@$t3bf@(tgfwDGF;W5!} z4ACAcT6Fn&@8od+tM|?BaFLm-A46?cFAwh9n1_;-Y zthb72M5!1*kumi48kRGQRK)*i!dnoz=nRiM*T6T+bQfQ!wi*Yap5y`nr#Pw3V#8Uy zh#)#oNY{}GVEt+Vx_1KC*5@yT2#IA5zT--2bo@u@?^|jCv`G$=KK)OmEi5P)abZPi zzF9`8qeiSH15c>o8D)q3BN>pA1%Y2Sy?EwnYQ4q7-piI-1u3BJI(AQ_uPckui9GPH z@w~_{wPhiRhcn1TbC6&Fw5%zGf)Dl)kI}n>NVv4+Tpx7$_jCbBk2BZR#slo9j#vSS zE!dR&>4RarR#88~&sv^4ljd32KG+~HvPy{bj$?xWO9ljfw>(dsbREK`cvOvKe2^N2 zwFzXS;4ka=Kxws40tI3 z1f~YxaFL^_h4Q27Dci43hwYSlLqCH6Bf!t`bk8M)Pe0FB7fZySU3nY0NFwcg&opDz!WrmwvpE-f8ZT#ndqqeSCk=ly?Ulh}_5KdWUH+R$nB|+5tG9|*_(JI+bjBo?P2R4)a1Cvq;ck#`cD&=9Z|1qWl!(o2Ra;E1wn7Z)KB=jy`a_xHvPP+b9Hgaqh*uu0YX!WGE!~;EDSs$UYXL#pI9}B$iJI- zqlL2`2O4cwPa1O;s9ZQY`WG!03#zN%9V6jEq_l=n(0CV;i8;Is;%4vfm4VdVXukk} zim`Urtt3j8eB!K|I$173TE~utw0wo+1KD0t^%O^a|7T2A+TCBV9-AvJ4)$w@rA4Tx zOh%_Gq^~qODoDr;7fLmW!pDbTN6qSuiKUSk+a7K&Q}SVb=pv%y3r1eh0s9iX*1m01 zeEx%L_TC-;_O1$t?3fK(Z`XzxRKg#C=t~o5(fR*Q|Hf$W{i*AV|_H!6@&TyN7xf#9{CH1>Z2vgmiA6=5o3x6KH56n zV7>HQ;>Rr=;srF<@47c-0|38MLS*u}S`M7FcNxJ<4xGv9$<~nJQLC*(^*JKInMQQi z@5jMpVpDqJ0I|RdTK2>1Ux%J`!kXw~bJG$&Gs$?COYTRAGdt}}>+<7|UXfUTV#N0| zGFLV5AfEgIHmq3`ERx!cw3m?>j^WoJ*JvFVjeIRdDk}Z^a8Rc_N)IYK*CmpRq?T7v zU*vU$>Vb+ubXA!0Co`gzdjS&wl&}3=7U__k-`=kD{XQoDa{%YzN~ndH%yhXS0&dp& z!l(&yIx!j&X`%_XI^!ztL}sMY-^zd}ZX%YnubS+y7TP+(&M%^!p2Hnrn?lp}S0#P= zlqDT@O?38B1ZtL%3Pmf0Ja_tS+*8CDI03g5I_%6#E~6spTu7bQ-)K#Mn%Mj82+^O$ zHA74Dm?J3g```LaF%Aa>Z2$JVXP{NbyY<)HTt2z{ef8GMX=?7Lqe zE1~D`F%B4GEJzy%B~#)VJI7?U#QoEkYJXhn#Gj8(izW6pcW?Y!y4a^t3UF|zAA{;q zbe?H&Ve|5F)@q;BycL9iLC^4+qb1t_fEJVIoA$C+jODLx9-7aQ)@?u6zV@o`^3S`Y znELVQ&tAit`a0ir69iMqE-c;^eW7Xj_dJ*0ba{J<{_Y~b7#^-yIP@1 z__NhqGr0U!Z^+@^K-WiUfo_}Av(0~uj0fl~mxL9?XWWB!%yj~npA0f3oDL_(>G;zL zHGGYj9}eX9^pFu?mTrX#_tH+o$JQ4>_2c`+5;Z! z?L&CJ*t%hOQV6-Bxay5wu-tT4XHO`!XgjbKZMd&Z)9Y_;?Qp`CtRtWxMZz1Tdpfph z#uyslyz>YzI+=K{AYn=FZ`0eD$2noEk^Q6+1Ltiq1GZ1lA6)VU$+X*;DNm(58F}A~$!hiE#CCYeH1^t3*IfjqcI%aXI;d<;`&!{#d zUbjnnF2qw@BM0aEF(hz^S*9Xjn;cTp`msVce*9|N0iF@ShEomxLsg513xKlUNZ~H zWmzHeoc1@hb|;O!=6YABcULE^ufYYuNt6cX^IX-SFJ$qX=YTnB8z%@Tp@ZDSyM%YAUn3UI$t;B{GkD-O);2kyF8aHS=kaW6>+RU5r=w$N0z)j`;NlJ|Sr27M|_!z3#h| zz(HZ{XL083Ats^H>7gv&xkKkVn(et)x7|*B_H8T{(X&xt!@`J!-vmC^ADo2s2M~O~ zbfVkS<0T2ct@lOs0`aTsUIjRPr?z z)uhN!Gb`b*<>>JD=%XA5$=IDvFZKAfP0<+(97*bN&NIaV`NarJYlAB`?Z!s1Jfq&Q zWrdkBF#==$)7E~=_@=whE6|5FCE^+2{ZTa`+O;|A>Xf_hahXol+*wM+&W*+ldt-gj zKkJaG7Ai$_gRU2GCzc;Z_DaXEx^K3Opw{B@hOgIaZa3gi5AWvXIuPknWQd$>|Ldp!;4ti(SsbbKRKgGFFx>p1 zy6xc~{d}lFNOh6uqYZPM?Aqofkbk=g5wqUfQ87wzmrI&_FgKmAwN2*NHGn*+_$tOn zZOTWTjBD+P0H+9+T2COinRXva>3m6e6ni4}Jky{yMnGs%l1xNqqKA4L3Vxv-9l>cl zq{_?xhJ)mHMf5xNo#H9M`5y^`kPKRGrEdM}*N9e@&Dx$B%Yn$uZ?b$({|-ly8L!UA ziqT20$rdI5@8Dd5+^P++)9(I*Us7?wCZ+K){mt`RMSi@>*Q^<2u>6gD+rLM&J*tvf zm0m9%uR7ImdSXz+aVDT1;}zXV#f8%#B)ht@Kun)f8F8BNq-cj3GTh-4+!bfNHHre-T z@ysE`uZ6UujYB)3ed)dRddb2YD6q}Bi1-^HP)C48`}}w&oC}8zkVsJ(Vq5G{CAbk7 z3oB?3E2!Q6Q(3%3a3i+F_swPKPuo6M&#|(oX6P#%$v=*pE|!A#r>-5!hUvvvsd9o} zhEsE@rHZX*P+(v^@67Ee3?GY+WBO7mhV|-a{gYr@&`GdVH9}-QPK-C(jLCM z(uo8jY&leTmRj)=fYAr#!HZ*3c)mDyup^s$`=79?dj$UKZ&fn)2_SZFvDrOmJPWGt z0<+jXFPRD0B9Ia@8ZmMJg%lK0ZS^4U{~K{j=sD*hFYTDa)4acA&B3L4dTV=y9czi7 z<9SEVjrKZ$BnHbdT3s3mxM!btUi{ISA?{SX6h6EHfOmgS1mUlJ;(zj}+X=8N z;r$&#YUPzscW~*u{60kYR3$*}S++iolDe%yx4<$DwneBq(u$-_GQFMGr0NZ~UXja# zV(^xlEKnsi`dGBhx$&_f>s`k@lgOC0@fLIb_NFUqRr2uR`cm!f@AFiyXsD6xvv#h){RuP=EOeqT?`qojj6yJ6_Htf>odKceSCTIKj$VovCsa~9_u%3l@-YKN6RD%u$+c->iHYN$ zHuJ7<@guOa!Oe!gepS|IX?qq)F6Ha%htf(T#eX|@j(?pyfQ_5w|E_5pByUBBFe8Uu z`$y}0=tK+6nZuE~wTKpO8Q8x6(3H}uP*L@rYcraH=~)dNOy_ZB1;%DyHTC?ZJpMW@ zq_s9xD7RI3-YcXt)w1O~dI72KvTZc~(lCmT&nBF>t-grrcx4elk9hul%l=S$7xEYd zSRbifJfGlshN!L#di%hSf=GMTx$Rb3yw+fA;P$|FJ!!rYJfqUHKi`veoY-!wlku#w zsFu^s$lYg&=lUz7FzK2+wE9Y2k89hRU?I_|&cO4Ft3LG4Yd30y`X|%0{d!AffLzb$ z=ZwykcVRxZECP%&GBIW#@`2tg;;&g`K!mC|G2#)Fv@ne@-q24%MJ&{mkVGuq83gG; z3J7}<9O@7kE9yHD9%x2<0*OMBvmjD2km(p@tHAqEC<-5}n^ym?f99v|eJ!&A)y zy(kBW&ZA{C4Y|$C<`WX7BFre=k{-4h{!0I@Bj@x=KLm@%Ssy|awoc2JG@dhb(w;J3 z{9%d-KfoCMP~LwF)4v2}3ZT6?GC;v@P#8J<`W3^s8GY=zE*PABj&xBoRFd+g(>h!9eZXyLyXx$${kF8?6m;dFi429=5zzGEeO8*<$6Qi+}0lhsFt-M^jduGu$Xuic0wM7a6;DBSbMsS zL6IqHG^XSA8yNY=(hD`h?Qw>1%K5^N1^~y_`CdJ+bx$hvD@8ZCfH;uhM_2<3g9)5S zBx&YygG2$s&jMr?3;5)l6risKJ%A1QWH1y_(oPu?kNU}YBQP=3T-1_;m#BE@ab2i>CkXqc7=Kg5=Znm}6&$}(+& z1@)TvC>l+x{WoToFnx5(l4U=t+0Q-M`z->d=l10KIC`RCcskSPWyYO$DzcWc6pxLwP4B(m`G^B*h4Xc01b zp6GcNO+xD04L`S$hO z$d50QU8i<`Mdnn);IiId=T*7YDxZGgwh48@@1q8FXL)D&geIOqX{nD@e&fh;Gp{UD zUjnc$*+^X4P$rCPSK>|H1i~Q9H;a414$Y;F>M(0J%Q*kSJWqJSsvPf1%<#)nn7N5O zbxxf_y;t9>0dev7iNPE=!zkTbNBbjTEfW>Onv7R3_Le{K9OqU6NH>On}Y2 zf!uslxfC9UK5Dr;cbR;VcOyjEPEM2*fejD>uY)KGDJKdUm&ZKHOc)soA0G-2>&`M- z;04A?t-ehh5*#A}`5P~BAZeA!P2>o{XLfKs$=H6@3UfIgTq&;2X0LJ%EiJEops{`q z4U=GB`eyM%(aUxlQ7Oa^v&Dm4_drm}4zNnlT&_X5O7rx`uEhLonrIjWCz^EL z^ax+B;^)t%&5SCvuXOupF!z1c%=!5q@73U;%(~QDbL#P`(~Ql&iu>jJCWGyOLk^g4 zU!k3^n(ekOf3*`y$O8$0E8R%>fv&B}JVf1yl^m)0Ha*geuhiqPJ}yhPx9H2e;C)Y% z5=&P4ROWVgkCI+;?W9Jm;@ZF^KB2vDah5z4D3gK#Z`68pS&45pmbt4dg(Kzz9Y< zpK5~q>r7o4G@nuQ&L-j&>-koQ@Pu0dvm1I?0grSL=8d`T0A>)#GVt4m50(y@x3B=K z7_$cwC~hml^_v+%Y4;H{I-=!My3=z%+&^PteD<8CMS)Me;~J?tcuCKcM<)h z=y>15q>)%<@dvYwd%?5u*E!*0B7TOML=xl4eyq2i@=jDvN+O0%A)5gT9PlifKKW1I z$u_RdGwU~oEu!bMTKhrGrghqh2w`)G-zju$vmX{LF`~0|^-;F8ngv28EnaOZpt3Q{ z&l(D1mQYuW#oU�Grnq0x?DSbW{oevdtW3ZQslfOy9-vIpNj`+~#?^R|b+X2?Ox0 zZWYLT%N?tB%|Uumxg2+W*exON6OS=`?X?AIIpTD$3k{3Bw_8e9syytutj>0b=v%v? z|4X8S@Bo8MDZn_GS%B$3Nde^Q(p#e!C^0S{ zeH;sBs^*=5MeL?BsETdfd%q~8y!C*lPZ9Z6~NHUN&#rLg#vh94VYj>h2UxQFN;|oDsWY&Sa1fIXL0x6 z{F4+R3%HN)FpsQW)haWI4OWof$0lLeFk5B%QD3a>m2>$dzW}_O>@|v}?(H_(xkCzLxmdRQi1U5jr&Sa7z46+{#!Q-#v@JxrURn=(YlZ1FpsIQ6^~|9_jX;>-zlgi~U7E?PHxKzb3cbU1;yA zJ(eD$S8&3*sbcdL%t|j>^}ih>D-gwr62SgHSPF2%_TLoq9^H3Ml{`Yh1B1LkC8qfa zJ#4-!BbKuuyI~k^r+4ft1Pg)u#^U5=W->m%7Rye}bMU)CAybVCv89sUAgh`|=Hg5n zk16&al1Tu3Pdh1k{P?NX?D!`$^!xSmuKUB=XX_{KLg>J03?P0*%|xo}l2*N_2rRa( zElqr=+wibWPU@tEhuxI-G4#f_?QMQ7+bct3DvvM%aNSC(mtE|&YSHlyG}?F)w_?qO z?q+x26Rn`jj%Ku1NoJT#>b98`s?4Z+qk0@w|DFc^aCjGc)mt6l&v`x;L5`>_o=gIj zKt&I-Y)Bz~0nkvsjNw?rOkg($Q%Hw%%L$`QXCx}ci{M(pvJd0vDGK8QQ*Dsx%=RxL zaiHRhAR=4jg=@lSAPbAMgN})yn}0BfoW_WUgX`{NKs}l3o-gU^m!Br~JyvV?8dzEi z-?Q2j_`Euvk+_9ktp8iI*?}TMyiFP|1n^+2|LIvtuZILd0agW&{bS(%_be=+01+5y zN(r2e;{r-s!UN@on484nlhJ{lw*NAs0uhQSfE5n^nQ$n!BnDvy?*8+0^7dN-l!duT zWC#TXl;z*ItAJihJfJN9aeBF=h5*X)?>?FT`1Cv=2W9z>%asE?{D1Ca1({N&>VOD> zvaFg|McGaWSa&ylDI^Q$%@(iT-Xi8=kVM^h3>6*)yVa(8UnR3MQ z*#@DSPh-O0ilw90L%n6;E=!elCG>>>$-l^1p)F*>xkSC8XSZQ7ND(|l|3Eu$!!ck$ z`aaOAUXX}Fg~3g-gKUW;>n7t%BYYK(1YOZn4kdzTl>~wpqm4nSlGS3JvLOc}lEtdz zmFO6O2NaC zok8@+V5(zLe%NEcKvBw3(pHAHC>Iu^EbFun7}u1K{jd;t1?SxOp>ItZ3|2!q0D=71 zIy`*CAhADChjEVxEZ<9_0{w<>5XMc=xF871FPODm1pEaYt6``=#1I?_>ns#X#SX-m z+>cOV5#6aj9+Gv=OCbrJr5_Xw0B6byu1}6J=aU4FZ&QLcMk$VM-*A&1{CTJm)h`Vr z#~zymIT}SeKPUpJn(~0G_>eR!Ox90b$&4c8M3=O2qn4Hf!XVob`42h$dBYAS%Q2=a<72SMYJL;zoMzR zYV9eoKDC~iS0~iy;X%6rP?XLw;Nxds@!`VlflzRcwHLeR!&fVK>1Wn*lHD9L8Ax@m z5~iD;JRldEFcZyGyAHR1GwC7-?a;Oxr&c|yUWs(=v&G+%tAO8KGw;=|<9~E%*7ml& zaq|GPmMV*I6R2tJtj*a<;_+13R70EL6wU?U8Ze#nL^KAGZzReCkV;y2eo}3kK%p_o zN*}Fz_Zm-BH#lZGstPq@lo5t`GS;O!^+QbtY?ALg_MpA@ z7ip_4&0T(NbiP8IYSnVh&s_EZx)?f%1ANkSlLVLwhPO`ZFmGUuk?{E7$Xi!O9jsTa zeOFhVbFN@A_3IG<^<5cby*as`1l8rvWtWXWcg`O_6W9u8(=1FFeIU*mg5^@y&vu?I z7!4-x7|^B&OtkH|KG!$owx7+ttX6b#*z4~~exem?bzQCmM09v#(QOPbch56VwPtAI z>t-B38|zXbygH2_*1*PyhWr|FY8xnvPwv%Une}qx8y?sJR4O~FX!CDP0}7eG!&;)I z5FO-fk({Msw;+G>W-SoBOB>7^Hqm4Yu*TSpbmi)-HuF7oOb;U3CQzKnra3co*X1XC z`=Rswv6S+TG5Q0#!AK~|$K^x#+-f-KaD4Izy5t$~c6IKKaGU-pD`n03a)$aGWAfzV zZs)V<+6g-a_$Zv-9$ZVpn}|CYc13HC+BDzdE_W(!H=zkH#ZEKTj{e^R3!1c2?X*Ee zj0>)u_kZToN>}Mi|7Kl3JrZ6EEbW@}<}zTtesodFu=%P4H(Tl$n|`w5Fonabuo$<% zj?6kEVVMV?OAcUE?+!Ynxj9biW3iY20$`qM@*2g^o!vS(cgwO`PA>!lD~%!H3_XKa z+IGXJGJ5bZL;W=xzjZM~L$;X zI;aXKX}Ofq%BZE*RLZWaQ#e*7b8C#{M5~=Za;5z8?G$yMw*OUJS$bO`OjD_qx>+rI zr$O;vl^l?|1^ed;;g5qT3m<0t7C^Rn$WUHE8IP*NAV(vdDqVcXJTLqWVczzpicm>X z$b7s}4)_9YfA8&od*d;;8Gr^{b~j@z z(5SRuc&o{Of3DzjF*$|bBwUAIj7I9#vYTfW+GI{v6!7U5`BoUMfZUjh9J0`=D|w+7T` z^V#_3yq-V!GX86FJ-+z-Mf~|dOKqi<;m?N;Ip8RAPe;r8!Rf#9BPRn$uci4>svo5M z;URP5*Xw$Ek}G1~{ZZd7tIWe!vvECtc)zHBy;)vOrl2Ktz8rn5uNIj1`sVXuD03Zo zdVH+%#r*i#G(Di+;PvP;mYU`TIB4XoYfB>gYN2HQKOHScSF_7p!o{I=sWJ}RqpGYK zTInkr@|~0U&e@@t^p+l%DUbGg=&=*f81IML$tqxIbXCxN=Y}EZDzKQS@}wkxv5Ctn zxuK``=O}OR5N)cIga*_M=)-l&lPW+9!+=y~ldOy-g_X7F)RpzvQ(}fkuk`VpAevOU zFwA!;H{J}LwHYCSQA4lLSZt^vL&GzIh8>bdM@v0|K3L#aB|psHE^?O#EV&w~q@!nO zSzU$MXsOLf;pEoDF13r1$dLRaOrpb{0^MOp2(gs265AWyqu;1Il6e z356McWEVB?evB-^yP>5IFBtFR5MwD24!gOhk1yzjxhj7qLHcecMLCQpjEhv1J&C&^ z05cMdFp9!NAD@sG=ppK93XRVCDO~hv$wFoWjeI~tvJdFXgn~6N4jrCxm(j&HzT>>Ri!hm?Bh7qDGIu~^-sX3ImMi$39yYa|EX(We>uewO8-cysv?T$NQg z`V?j8Yf~2Fl+D8fT_cT?h3F@5B}E@&;FU6sq`+Z$WD!ofvqV&8^rPW4JC$J&XhAr5 zFkllkD0uQ{G9D~yq>$i$>`53&QdZDeF&w5CJH)~B?2XdF-lSH8mh1)`1`I(#AJ#G< zCm|^jrb-jLiDoea0LN70*k2xsOr;%#A5VG*T}LZCt(vIo4WJS8(^6Lu(N z6R?;GQw5(#GEb_ghlM7zrZO`!6{-}5IVds@XrhnS4_nc1BH!S)oM1eD;6!~`}R*QA=h zczdjOzUTa5DG?LnQLg8?+7LZ+PI0lYJnvgNqkscxUyG7|HZ-sER$!#2U5YX+(GLx% z=P5Xzb~)x+Brp^=R+PAB2+L$)GVwOzVTjy=mF}s@Q zVGSb6twJM9NS+(M%S)y;h?dNj$^1;QRvdD=b5xOq?abxO-IUSKP`p#ox6C!gi&MI% z2XgRaw5aoc(+}_8y?FEX$Ct0(&OVQ(DjdD7FK@0!a~gj3b+N2JznEUk@|odsvRKZ) zJ~$cAKGqKhzs|??d@{X!@M4TQf3p1g5Sp&9ujm!xi;0&mLeiJI9OuGKLo?L$7F(-dr{yrI_ zs7HyHMLnUzz!8c`aip<+aF~j8VszEu1}qtm5FT>B;t22<1=)1A zs2|JbKPNl?9T(fEtn2q5jd(V>s_D-$_>4s!t#Kksev8?wFzp$iqsHw=KM#JIp3lYz z#h}%H#||5h0AiNk2=N)|-R%8zg3&c%V0XdT&X#Adp1wSLxk97wlPzJBEoo1-_%>T? zVT*Siw)hrXOouHEVj@S~=NE zn7D&5+g-S33wFycTkHXB*(&@{s_+}PE?4~FTsiyW?86@)R#@cyWfuD5tPQ$^Z^|sa zY;iWV*&0gf4@C>`JbO!aPBLA zwWJNMDD_RLMcLleVsx7KPXcgXnd` z?UT}xvX7+kDw*gCg@XKB9O`prn?2n!SRYab_lQ4uuaf2#agscoI45WCpP#IfAwsdZ z*ZiY5%VBNqC;xb5+U!Zbu*XUIb95=cXMMBNhb`LZZau6IsfTyzIGj7~Hh0ul-zaoG z{PO&#KY;1gY&yGN+H97^dcU$bgt(@S)_Pl6Ok-NFXJjYoC~-uaLooDzLMXqTHDL#9 zQh$xphjdZLT!c*8c$l7a^gO!NU{*IhXM%0T@DNV=`f3G-Nh1 zW@a~KVl`niV>mZuV`ertG-Nk1IWsvvJZ57uVPQ06HZo>rH)UcqVKZYmH)UgHHa9e6 zH!(RgIhRW+0UrW0Fqdp90VRJjHaBCV2u@z}+ow-k|w;t(8$X)59?LXW8AekHd`AZB3(=3sxeiq@Ncr4o#z za0GQHbVe6+MK^Ru5A;MY^hO_Shwaf9{jdZ2V@C|YPS_dk{RUzX24hzYQE{#?>knnk zq2zAZ9eZF;?4{ySZTiFL?}oWJTE#!iJnc=z9@_`QF#;p8FGgXsNxOvL_}gvpqK15|%Pj+i+IGN-+gK`P;=Onor*aFy6RQ?buOq)I}zsiacrtCCb} zD)z~V#ylL0`8XaY;Y9k=a2Tdz24-U>W?>Ev$B}5CqER>oM`JFI!?8FX^Kb&%Z_md9 zoP?8Al3UDP3R$Q9ou}Y5oQl(NCeFZFDmje(0k`7`Jc*Tf3Qyx1Jcx&J5iZ6fcoc8oO<2!thALwyI`({?v zpe&PJ(FvW=1-;Q7JK0ZGI@+6x0vj>V}F#GJkF6DO&+My z_J7U^j{MT(L8`6|CKsr>d73;}HSnincN+0U C;Lf@L