From 36a642d0b48dc2302e38abae35cc44854dcb82e8 Mon Sep 17 00:00:00 2001 From: Severin Kaderli Date: Mon, 9 Jan 2023 21:48:13 +0100 Subject: [PATCH] Work on glossary and preliminaries Signed-off-by: Severin Kaderli --- .../thesis/assets/manchester_code.png | Bin 0 -> 41268 bytes .../thesis/content/01_introduction.tex | 2 +- .../thesis/content/02_preliminaries.tex | 31 ++++++++++--- documentation/thesis/content/_glossary.tex | 3 ++ documentation/thesis/thesis.bib | 41 ++++++++++++++++++ 5 files changed, 69 insertions(+), 8 deletions(-) create mode 100644 documentation/thesis/assets/manchester_code.png diff --git a/documentation/thesis/assets/manchester_code.png b/documentation/thesis/assets/manchester_code.png new file mode 100644 index 0000000000000000000000000000000000000000..dfd92d5c432c3a5bc967020c4c01749d8017c9de GIT binary patch literal 41268 zcmdqJc{G;q-adSPn}~`^DJrB0p=8Kh8pxR2OhUiIsucRg$E^{l<$wSND+_ugx38?NiT&hvAAKF8-cj`O;AUR8cG9Sa?a zMB02#;WU{HWg*>XT$;JNxNYuwRa`4z^Da;<%H>h7+5 zg%$g{j&4{_$D!#oYsH{;MNE(U;+x(^j+{_yde$pCmnZ$=N{zS4z05Y#;8{*@+_lwA z@$PoHm(o&K{X@uav*{YT3lI7-@;;xaOmUF4aakDAq9MPFZs+IgCZz>dnhIs^B)!v` ze%8FGlyulAeYiA6bcc*aj{msT)6!>o4ge zl+RuMJRMd!WFx*~l{)nMIUW5rIg0|1!SBU+FB}gFtnyoSBQ0>11U8J4cO2RuZm7LS zQ}Q^EzM;d|V&W%+LZXFULR2D;zP`lz_BZ;{sim1(qdGYE-;*P zWz}n?TXo@@;_FiB!Uh$ME7!wy;tn>3aCvXd4ZdGGQ&f3}*PW&;%53fxU1;$AhN$ZC z@z)fYD`sm$lkNM|J#0NzqVBF2jd+xD-kQl)$Kva1@~TB2uWxIM=p?SiPWo7RwX?vn?@Lf1o2=>z*~4R* zy0SDk)-8LrJ!j%)dEg##a+>PWfra?^__l0wC5mA2d~YMedm4s)%VXZFe4%$3*i`=% zFxvMSX7}#h>nwEcE^tg)R-PScV->b|#HS-5FJEq6_cTVrap=P>8o9e)zI?GQS(*L% z{1hIFgO4bY>?F=(_W}a0HYU~tamvTvk&%(fHm|$Z^)CNx+|k&PzKY;eceWHcjYcx| zzQ4H^Bg0SvV`BF5G2)L;n3W&;y1G-^eKw@gw&k^9x=~3NW`b!@hgLmBJMEZxt?<=$ zO*a=jW3on4)-3Vdj6Ol)hmDFomS#uE`6^MODLUzI^76bJKRtZ-kX7v3^u$EaKI&wZ zVBWRPOMCxogg-Ty_wA$Bh;=JaM%uCk4GX?~?&nV`E`0m8I!025cX-Cl^&KB^ZFbVn z#$3~i$G?7ABrkttkacl!G3_%{i4;yg|NL*wi+R@!ZEOx(BjpgaK33q?hw*_}Z$-*s zy)1{}X8xaJqxErjG!>MUrJP1umjsoSm8-D~W1WS}J9o}L&GrurWT2&e>pa#~6)xCT zNnAzfZ}n$s-v=9$*reSKgcdrD4*mM|WMa-~wA~TU7s{*k>O#IfzECHG_K4e?mih0H z58UTDI}))R9~EUV+MX+kJLOvI7#MVHs;z8kasE;2hue&cDCs-x#Q^2kK+>^doy9F|GT#$bqCO#Oo^H#!QvP7~M=F7wa9_)48BcuyomZL_rCL}k2`Q-y zZom5bn^X0&mlviw+S;VOmgieDFC(~j%1L=GzdaYsg(2)cZf7iUvOqoVECZWN$iDWD z4lxAP`R8(oD{qYb;ay*&S%Q~n_W{8kJNMw215>F+Bw%3Q%x z-$VSiclLa^b?fiH<0oI7xu2*Uap|d-A0taZqCwuZ@<29cJG)1dc4J*d!H*x4>#P>1 z2V2sO!YgsL3vX;9To-r99Y1~?p&5Vu=jVoxvefyXp95HT8+~)1`z>Vd$?6z5nO#e>Stff5Y$$SzIaX@XnOE#hKwk=drL#%<*7H-dI#3w%+peU}M7M z)IeQA+}r;B`}glWtjiv%6v``dqrX~sAg5Ht~i;0Pe60znA_4M@QE{YfhSkX|Df8~ybQ^<?Mj6 zraRmI`t=}NTGLF@a&H-ZT>YWYV^4VLnFS7quU)&Al2vcvG0|HlS;NcO`}3zku9f4$ z)-(Q%V5jT;mUa@0D~?$mQnd4%{al`TzdCUUuSzVu!)U>#c;@u1R3YIBk!{ zRxgkCGq0H0Y446FC->JxwUl_Tu31mFX`hs?n?0r*waE1UOl-8Up)1u-j!vF(cAi63Riaq8yhcrb(D}~_PN^qr5~)D* zVPK%qJD2Mlx-EnvcJk{VkhST0=enW$*T~4>?(=h){N1}TLjl=5O#bpy(W~vKtU{Bo(+u(! z7Z(*Nw>PsEHyYj@YD(eWak1FLb^2HRH21^1cOTW&ye2332M23JW(%>fOr59vX55;g@OPf#VY879I}B56C#`t>5VT^IH} zv3l?Gm*dbk*Q6mjW&vWYl0A?C^s>#0EQu8N<&FV%$@c`MaHj3Y#l=0RYQ)HG-QC_u zx4<1WdNog_-Kon9WLJE{b*kU9C3m_?u;isCFUM(n`^mT0f3{vFrgzN|p@jAHI~{(1 z*W+cA@p$Vp(TmF}U(d8AlN*3UD#Hc6DU~}0BT(0-V?UkvqK> zCKDFcO-xK+M%=T_YNp+a7)!glyzn@pqN2&>B4*W3{v?L<3;9`iUY;#=w{PFx!Xm6t zeBU-fF|^^{_raIiY5I4z?EMp{57}gEuMrWfyPZ}0Ly50;3hGK)Qqlm5q6(LWg2ET% zBch4`8}wC$*M0unkF5fbCc?&5pp~NSy)qMi>()ovm$e^1ULL58;n&ZhrKNq;JJ*n) zB)c?{josJU(IJc4S{-q0>(;FepSEn-!l&~(RWq3!nVprJ+nHmjG1Xs_ezAzxw-up> ziF~DM_1eQ7YCDK0a-#rLJs)O_ea?Z7!{{# zPjPO=Q=qz^tYmXr_nIKoR<0;_W>c(&L?okU{=s zId0c8JKBNg#bN5$9p?U5#>+yPp%%{BV^a1XE5 zmATd9D|8%mOoxuRj2jO=%S%rm^WVYOr%_HsI?zXjX8Oey!H4 zH}@#ft9>bdqarmXTVRuk+xI>47Bar`&!+sO$*a|bSkzAAHROv5AwGRWLy;5W7TCg( z9eKQl1=Dr1tA|5>_V!M@d4?Ud*`@IRF<{guh-YT0mZTcWdKXZNhv{qpo``?i(kZ3S<(~C` za!ajVqG94VV}e-3)h|jl!z7yu6*F3TRq|WQ*{vq&ifU|6p2}pL|M)mKq|5Zx7X?XI z2JstTBPAHGez~t>{=4k7p1rNIKdl&Vkr>y(V&2XIn*zr+xxEUSE`OJfHu!F6t8Cia zdMQ&Sk-_!3#$vag?$?x<)iXYn*|Wjw6Jt8{>Z?oUuGE(myd_Bm=1RY0s@KfC)O@9O zjC6xen24?(qnn)Xeb&VCv9d}^N-BNR%zE)9vPLeAj$y0GNjX}LoeT*ENt4stUSCV! z*C+U5Ui@<4?~R^WjB+l_n(r)KJ>#1W?TJ49bWP+OVwR%~j=9y_d3k3G)~jp1Ur}6E%EaJWE%FP$+0V;oJ_Rqy z(VCbGPVUrp65-h?_>31+&1>kB_{?H>EIZprf@E7AZG6{-4C-+p_NvVJGXA-Ff<$M=|SUjP1;CNIgwfLqG8Fbuq9%UJrMK2cXMWr!x-@aqAPlbdP^{k`H+6Ac%$<#TRuoukatiTItpETVEu zdc5(hFD=LE%&gu!2_90io}aH)_bWRT7w)uZ)}<8{wWu#A|uUQ z?5dcy^ZRC`k;|`t3$(EY&!~3ycO}oqxWe?s;SQa&WJ_KSO>%01*N4dVE0c2?G*Tgz z=hEq$gC*icxjs#_RqqM<`8i>AG=O1DSC3}DXSfhukZD5qR!8l;Q^kr?TTMJfkCm5X z7q-+;V-^g|S(~in-{knY|EXJ~R91O{4wkrIsCi!ecza0lB^8xMLutOp!I-GBnpbZk zf~QsitYedfn;U-&|L$bk3WoJZU#0mmjq~}Yu0?|F?b@l9Dk@5(m@w;%4LIahdd^1y^3*;Z}Y0I^4i4?JZ931S&$gLU;qNtPrq)o5N z+=#?EzOk3dVtG5#`_+y&hJcjl>)P{d1*Lay-CCbx*@!+S!;82yz}-~<;SAR)vxNhF z^Yin7>V9|bWSjl>4>ft4=DNMR2?%atY}}LA?Nwz(OvDM&ZO6r#79;wdhYy8UW~A*{nJL)gr!t<4XynLsA8Kn~g8|S; zQk|KdHRB|JvGxOvXA>WeOG>sRYsmAKxJ;CGcgxNQ1Bsowy~*E}m7mM5?l8k`H^P@vTa==_=U8(xrT@o8W1di^}hoqmU zUXc?jK_13Wg5svz!D~vjx^Uq_W1@;$jKo3d!|E?SiFJE4W|(|@=Q_m_@EM)nUMUy5 z&kuGZwvdSSfjB_xLvcTxpP#>Z*O3#vcW&QChobd56V!2kF4p@C1%K3(tTBKdq~Rk% z%4=n&1!O=SA_o0coO~cSGwRPk*|TTPoH>0u2mc4%6;D4wa9~r%KgY1`7toLO3q~j> z3K$mrVMYT%wzub4PTn*ErG%aI*V+v^h(r(@;Dw-{V?nMqy$VfBOJgjps#22S@&I=w zPRhI5;e;NJ}0%aATzP z=o?Oq$T;-)dKR|FckbM|u!WxfnD@B^^2$Ux+h$f#&1B8{JNXx}?0wVLwT+E8Ci^PL z;zy2*d#Wlq+1crWB0)i`Z84jXy=?t9+rn~%uEfBB*SMoV};?ZMff zNHM-aKe+-my9>W&hfp?o^3u`>Kxyt1}J5v>o2oBXxQxYxkIK=WW?E91Fh!EN|maB_C`ZZyRJ@q4RNb+UpN-ahJ0 zK+3T?&dh*}0y}+g+rfR(ZXvxJO2E~FeBjKV` zW;%4<7%PE=zBKh;V`Pu3jg=J)C-!8o)~ydm?0ViGR0>mI5MfcN3gd^m(Edt`55(ia zFmCYeAXA`Vh3%6#e%t{KyHdD70E>taTRQzevqVFsQgzZVhE}>x_D#&rsviCD?BuP! zX$-Fuj1U%|oKFFb4+2;Adav(v2A&rDO=XOvm;q4;kz~dwfwI&iyEc*YFPA^$xkv~S z$S(=@2=FjLqidJrMtd{nGLi+V zF%o00W$B6uZo|S{!4)knI=qlPggI@AKLm9>v%6vnE&i5T&L^M{{6k-MqbIfnY|#q z6U>o@oPK|gK&XA&&V1)a;gVpH0Oaf;I|?#S|uUACvW5RQZ8y%>}`P z>xpuR z3>d#~)>Sw4?%lgcV}5>q3AGJ~0x5@Ij~1p7xXI?Bobp?y)-5HT3AKKQQiJ-lefxF| z-%-$uZ;*dcvOTN=a5qvaDeeTPG)mN03t@YqO$-cbQ|ruf^*a$@;EIx5M|2wSPwZz! z*O~DjAHl{gf^wc5sAJo@^*R&@>@B6gnwp!PFfJtI;I194tWj>-h;x3;myb$HN*FI8 zfC;&?<#kM9p*u2~v9WP&w0OehKeSJgnGqvF^c=stiX<%?;+dwB4GU*co^tfl_V{#b{*%#C1Mc6yk7pYi5Mc>evPSa= z&h<5MtyfxGr~6fO(uLz>^bPij8Owz%FZSMDw@*j3=DL_2{A?&&dB zQ>$ajUK~nE2R`y%o+$suyfLL|RWh>#3s+oR%z5?!=(v=63t_M_gAH+K1BMVKiV2{x z30Ca&b{Xg2(Zo*)7=nD8+Su*An)baq+q8l}SA>uXRRi)m=x!`i8per?T77H)%4K70 zpkhMg(aWESYJ$9vB&y=m1tDuFk*wcl-~#p1}|JsRsAc5d+&Z7)=a18iuueU z$!Jp4ed6%^m~z547A5l&p+nmj0~51)Ygy*+u35X5|NQ;gsE0%H&WAfi4X*a~^EKyW zj&y`>KU?HD_UInpL%O*U?Z!QYUICgMg1^j#%s=TIyjJqT>V5ghiQBmv()o36Us6|V zoxbP1vSshI_HR9;)H3vx|9aU``j)|=p`nqH<$I}4|9CN$`Tm)ORk{mnHyzq<-JH7f zW!dpb8V#GAEBdB%?v`|3Jih1iuQ=u?3?JrNoJ!Xsyj&d@7Hn?xWkovee!&^Myb_<~ z-nGnYAemyRKf=rzp!S=dH74UC1shW0nc3&-02e!$0TAa6ke~QDmqKhZR z(UBdz#D-fZ+f6}qH#gqgwMkt)y|&un#tn^>w1G$GmIpXDIeYjqS`8eYl{uK2wKg*^ zFE2Cmso=um_*c`xRL9WIl@g3AJr#-1NF2Vr)}mSurFOp3vbJ3iw14yFO>C{z0E;nc z)d@mL!(5Bn(3;RW!u+vwCs!z#WSQg%?k6uSMc zOKY26o$XGrCgezfR%miLiCYdFIB+_taU%!PFFxqiC1M2dEnbMH`Wlh`_}st0U9PpQ z4U(5`V;4#i{owtg!oot4l|8|a9x;N}3B5t7Jm@n=c%_KXztKGXOE%c9T_>)g3>%`G|4h!4By zQK7x)zvK5DYEXOZMS60CKJa-JutOnJ=L-R@NIydU0;d z=&jw4>W^W>B2Od%5dQTkI)ajth05*lf7rp0U}+mt5(4weQc8Mp z=}l7>Gr~Y2M(p zJK!_Gi(#?H0z{s=SlRHWsc07Aomg-)^VHnqM;gDrSHi)f{NdhkL8Dn*rKF<*;^AyL zoA;pt5&{?7gZ9VJ(5p|fW59(lsH{M%wJeTAfyWYwUHd+Ns|Cu#e+M-h#ygSOv9aAi zdkN`jlg^TQl*&**$!89}!A?79XlPKo7-UwVQ{yqlS~EFoboTDq1Iw`2qD)rk5z;MrhHeAva?71hG#EZ)dO^(sflaPeQ0XRg<7ZG zmIDR#Z9##)yus})dwG+(36B;)7#vS%Ha2hB(v^QB$z$3cJ^65RTGi=MI(mBR&Vt+! zFD>3CU|n$HKL&`;99jv&Pr$vqth}5sKutY7{H)#rM8)%Zi+Q25aORb*c2AGAO@W+| zb)7VY*#r%ITAU?T%5{GHx#m8w8R#Z>VwVR;MqoM9UFfTR`SK-?MxyD9L|0c=7-j51 zfWXJFY0H*k=dq{Z;o&=Mvd~WN8gbZ6DA;D;FJ^*%M z3#+INmKJOE;O^aBV%MS_g=^le-AG60Ha~7s|Kd#AGea1ajELswwPtbyJR5vkuMUj8 zL?bAHxRUzy5#3b$l#h@foAFv0jA2+;{tJVWBsqU1W%q>2V~ch+!sgz2tbd-fa_;g^umA56sVQn=QRO|s*v4wUV8VnYrR z36hKp@oj&vr{^uIK+}eC+`jGAD(*bes&3_{m@qjrqjG~qoP(YNGW(JVGy9Pv=dJWX zo6tmGJ%9cYDpw9sk;Hawvb@#|8dISW4geS}Jm0T}$0L01Y=Z0+uHbX~HutF%9Tbv$ zNLoApMW&}mIW`2H>ld2ugexUYJF4FlDJPr`E;!^@o2+cKYHk~EnZx%JEb81y8)qouMHfAZ zF!yj*QDIV&dH>J}G{PKgsZ@9g8uk<`C6GN)hsokck4~uEqRkTP)gX|`88nzm)YW$M zZ(=Iig-%x&`hHYT27J&T?J6=*y*Fr+1@jx>A0?a}$7jBLjC}^eOVJN~XG@CCm`boC zTpv`4x1LK*P8->OZrO93oq;h_mF7j06=l13?Ne#iJ$s^g)?{dA(N z=9f{$`k90Zk6-Ji#Ma>4NQQmC^T`m~<$13D?WSEF+-6R|88Vd<%?1)zUaQQix?cum zOtDu`pq1S4=;Y)8C2j9rz*vvCy%LOn9{0V6@d4LQJz_^=*)<-#G@Xg6uBhNyxi>m8 zf}|X8f8oM+?yej#$g^ipSla81H*Yyj%RyuOUw^DUqoP2|5$M0rY%Aw+`OD#`YL7@Y z@8BYh#(65;@>(Fx$t!}p2T$}}TWwqoi4f%2OA7(PCnrLgD}TAUV^gG>G4-rRs!G__ zN$sU+u{O!kfU#^YJ<{q9|{MOM< z7x}r1_T2!@Xj-h$l%)*fL8`prCNUQZQ3T=XHC)6<_yX;*U3A^q{LaQ*zi}h`&%%s- z6Q1habz(!|N}g9Gk_3hAY+CACSL(9(YVDthjRQ8RO8N+!r0~i;6zx8H5R|yc{dbey z1r=Dx$M-}d7Pdu>*$j%Qq-itrkbR5RxU?|npEz-1F}x&l?ntZ`4LQf6-uvs#@v%)< z-+5s1#Y4cI{maaa(;BNE`>H%uTuP^ zJQp1#$`c_z!O!C<_@H6nakAPm>*m7?i$z;G z&)PAl^$Inw$Xa7F?b1A(j<*-%ko33(;LBBdr)w%g;_xej$+0KENWTm<8TP*1eb zf$1AW_5_d_JqM5;$iXNy?+QO7AdtXuK0Vx`CbKMw$8)tyR_lfuM-;THxtItUEa%r} zC&5KDynz8Z>|GO7ier~P-K}nTjX{9U>RjGEmCgSrQf&{Tu{9HK>IDXYRaV%$ADh_T z6_#kEZc*=C(9(W%J1Ut}@N9bi*Zcc!y=dsNpgzvdo_fS_O6W`>uXgHu?CP>PI#Id1 z#BmC=awV%Pwm@_VIxx_G&$I0YD>wM#!R})+D^a8>F6Ac~z@nB?_t824W>m@sqrs?+ zI3`cM@)eH4Qs0dczq;E9znRe@M^O5W*||BjOtJpD*b+c~j~i7Znu84AwvZIjE zhHT!Me?z|5zOJop0TMAF>{5nSd081mv2*V3V0C4CqQO-6u^u-+4QNl{J0g1*bW4mX zx3Asx>kAooY6eg>(cnH%D?uuR>DcRKyQ4%*v^x4t%2I(RBlrZ*VVBY@2y+qLhO@Uu zj*(++%+2RM*gEZHX4Zkj4|H_#;?p!pQuA=T{zQM!KgYO;4Yj&FRmVVGoko&sV0MS4 zW^f>l;TML9kbTTx4IV(roWHZkU5BcNmU*9)O9n_wwl_oQ0q@?Wb@iUlIF^^2>)9xx zm@EQfxU7!+#jxhQa$- zHf?}>jSix+{u_94NDG!v8>#ou;LKnP^w}5ClaC0XC zClcOXH~6Em(9SS`im$wC0xd3I6<%ewA6h|skvot^e!?Blw*=b*J9)GhA!%Tvd5=%i zd)P&<+1$fyrq47HzE79qrE?QYeOi%foQPTcj)MZNP*h64E~2W zXc8-kEe74E7}-tPc`!XKZB){c9fVNjVHLg$Z^tD?__xm-KqoDLys&|r+GFl|s0I=w z5;}tUA{ZNhymdmryU+ z{!#AL#7Ie&2%+5!?-5lhL0&=0G3bJ!k&yEtZ&-<#4-!&FMga-V-#x6Xe7?s$=ItCD za#B*P&vxZv+cDY7CyJux!ib_s!5J=OnLqvyk~RH%gnAd$q)V4B0k`1^3mpb0oAZ7- z6cA<$3VJ0wmLt!i`-)hDozk;Cic}k!Ur9@)nTc>+y%_1?kauMWl8%0iDsQ>|c;11f zuI^UtuVlpS$R z`Zk^t4{~}U(1}&nce6CqX;XnzE0_+(M-6iKDAr#!TQx0@h!wD z-`lo6>x|duzkMrg_00llL+&mxhv@+lo2-`<4pH&uS+_hSZ8|h>w7hV+)9)wS^WIM` zDf$6{V+QsjmEnxP4!54YIwjDYQ}MurgY8Q2y_a@nb7y6ZQo31HGSwAzo=;9`Nf&VX z9-%YI(JU19^XDrb>b=y|QhV-7(R#RaN6oaGZk|5l5xwPr)ai*WeN_IGu@kV7vHZn1 zZE0xS_S#S~nb5A|TVyXK01)gYb3i`?t!aAW&xY&jYh+oM0-Y4c5!{MoxVZY!4njLu z@m}mKG>SRb3Oso~CVK61Rq}<-+< z8WBI5;&;-vsj#^6^~!+UkE>xho}m}GhL=VR^DPM_iRawgpMH6BD zw}wMf>upk+bCqc>-SakgGi-P$;?c%QGI)rt89dR$ebP9bka<~t@h=dc#IYQ*o{Yn$ z6BFK!ZT80lV$w#!-?@vW%97lf$!;QGdCG44ox370D45`VP`NAnLx?fuFWo^EGiBxZ zLw~hmE-jbIJ|s8NPc8$o?j`uajZp#k{8G4tm1y={Z< zCP25JjZ-I>`k|jwL$NnYN>-t`V^KDqDMd$>2h4ZxUi6BSlEm?L|VXE2Y9WZFN0JBz3qOsYabKS0sd-~ z`_j@8Y8kgRVJbboSzN zx%J{4;7)MxwGaLqAPbx=CWN4DB0bW+XVb+2GH`*`!4>d2J78KdKP4iB!>IW)SKMZt zN{%^VQVPVZapAHD;2hzvd2-}Aj*iL#PDTB#jXInV#V=ynVA@^m2?Bo?PDg=BRKe-X z8st2{(Ip%L#)-#wxb5I!;yf>42Q$BZ$l?Z7bXbw%H_QP232a7~o8m38V0$1NL%ykw zot~NL#6=inmkB5avq!?zY(_=~C}@78;tMk7WG86QW5r8^eGg|XC&tGW%(>7P;#>xR zI#C=Z8fs%Cy+M7VYS%=I!)NfcpC+ytC$E44lb#v?_EfXExw&mvzdnJwV2ot|&{2X- zd!hmSA#{Qz$lq9r!-z9WfpNH;#B5sG1>fO-)UHjkE7OgrH!ogX+#J(@!hvce$1CdSpnd4`Pn64B7G4vxmvg*t*%TS^qiVV@HG0YT$Nd*Orwo?h?u1#!qm zgAtf$tzctR8WSKC0gi|H3|jq;W#E z1O|m2yqe>alaG_yiap&?b;odqJ~0B73EN9G`nbAk3CtgY;LyN-^wEn#3rF-CmUwxJ zUo0j}ZE$&kHd(NTVlc^zgXRL+jhC^4S`ZH%+OO4`3c;rdQfq?Ebb<&(MxSoEEjfUj zo{hplLLplUU@7>PZY0Z@Eq%TBG|=4g%8DN&h&Kdyk@MKa)2BZnF80ZKq2?~ZsDbG= zpbdKRgfRW!P;Jt&Jhb)?_DYJP1%~K_0Hfcu=^aElAV_#BaWc8Dw|Bp<0=$36%#9(%$H}F0=BpcMXb_!J2M!ed7=hZb2uKai32Ryx zDZ+RBcxzqV7(hPW9?<>fY7`cQ5&r*c@HAN#uVA{+n&Wt3&~yfbDae7e7?8(;J5EjoU% zbG9+&rlzJi*@h!-evIqsn4oS=gH7$b?~nt`Bi^Ne z-HFsFTJk*)odcXJk1D}Ec`Qy_4&@=8%J2JNjV+0g5SHz1`S8JnP>!|J9@lQ)vS|}> z8hnu+F!|1A)_!O~qj}wtM!!)UI$(o5M?qhjuzL;Wk2hAIcn^UMoTfORH<^O6PS}xg zo%lOmUS3dT6s3c49)lnsC_rK926?s1y$0|&!7vIWMujsH)%f%0M6~mhH{l<$W^hrF zvEujrh11-mW8f-;(#)lbCcy$Ap%aJd7Mfth+9Toc64|NYBY_{GA+E&q0XvYl zgF?ylUZuh~>V4|L^q1sf+NM)5^M`k(l9nyVtzDExf%m1SgOnuo|nH3oY~{K@&%_9K{uUTidHK#s1eexpf;hB)ZJNjvc)A2Nc-G ze6flU9u2D&Ag@?&@JQc1p7OwQD;mSLM(FJktK3BhWp0hiS*8_}f8KS0xFE*zgq@4) zv(&G|?At`y6I&q#UEh7dMn^|yp~n@DwZ(9!rKKgjZvj~}1q!FbW@7ArwaWD!cgERs zc%himE0c*+gO>ZIl;tC7Y-)CI+K_*^n|;7Ag8RgRqK>!@w)J^lon&&^vgyxn_K+u$ z9tBI5$r48;Ih%?aOAj18xL4Ne0&ffan=3u=Qgi2f%#Z(IN(XObBp?XMtG<&{Tzuh= zoP<)@Z>~}@d@1P&Y-!WBQG}1mhqQb%6!t3|KPO)ZsoNR$%Ryp6RdzSqs<c|TV@T~>I!DtKb@0| zXza-2T+7C@5;cxUXoSKQE9*4!BqUXsB|u83QI>JvzG4I#$PT>ULwH5$lx!-tQUzt2 zVO9S<7-PyLyv691La5UX@4q#C0=i41ddofo?MHxy2I)sT1urh6M&Km$AUqQ3S}9@p z9g9qqrG@6QH@Uf?bbss{KUC-mBGdJP0I_)MjH@i+NM!N}+$%|(@?!fGT<857X$-SO z{SXaa?g-`#JwS!?+AzHCpK+Ep}1kOuee-77nCDIFCa7Qx*faTn7A@7;q= zp)}Qm%J7ww7@@ZEN`-(PL^IF?zBoLfT3m>CWC*O@nu>)$4n`;tf1IY5eO9r=Dz^Yr z0q{dClCEwmtnz)V1G?-tydDY9KW~^Xd>ptT3e}?$v5s)E^^$)9h7T3iY3LhKKOyTA zW{{*et+t+j4lnGOcL*eG?UTDpbl`b)XcFvRW&NOrd zry&FJ307Dyc0J4U%^OSTKjZ z_7Gx0csHjTb>krjE*>uv87pbU%Ry!g(l2^7E)wtkI6(U>(V@T6d!n2Oz7^>77knU-P5G-XnFv0r2{S8h?~_aRuB2~yc5>}t zLpSg_pvuN^hK>$N;14pv5H|#b6Sro+LDK{B zQ!&qM^XAPfKkl%_b9XyFGvg6eYLLA=3nLYvrh0)oYI-QM8ItUv+H#YQ5x{#Tx-Gn{ z#9u(!#bw@Lj63Afqx0~spc5-EFHiECLFWPktlRLHi<6An{pLbd)oLng1Ld@?nRsIf z+-pHz0kA8e{GufCsuQFUJIT8sIyyR1*m8g9sZ*yCKC#AKQUwn0q)&GQw6Trt+g?~7(0GpBROn+}0n*H|lBj5y|xg$t#ZOry&JoGTNUpVVY3I zCZwHY;=NDkkfV~=dKNnab&B|ObG{kf9CoKZ#5HRn_*`!7lyx<7_ zrUnEr>lVCt(Hc?#PmprOTD!B_}*=&_NnVSXVu9K`eCJ_u|OuT0YAXtw0DKyzE z>=&#ab^;9cIUe8gK+S@fW)ZiKk4|N>(uCRRH4ak%*mHbB_QAey#LnPSiNvcR)Y4n< zrU6SJ;>lh00FK|^x!yP{@NmT(1(q^A%op=uFC*i5uqlKu4~IOEB$1g2Q3wc($g)2R zFtYHq?>^ym7656;@I^ppjJ-IxRtr)ash(BD3M9ovyyONj0nR}reO@S^ZdK@d&qMh8 zMo*lI%a=m>#MZ@@#7h&)KYfClR=O-T4&85laS`L!r=5T|2b{Mk3O+zN`h1K8Y9)n1Mj3EpRi0v!~VdfFSoLaKO&p(Lwx?s!9 zPE14`y?h&<^9W@`HWpQFhzGB|;6_UXQSY0j6uN8R{yi{bAzc7ss3vt}UcTee!FvOW z*3wuBx)PU2dJQyP&}&CPAdpj6V1Vxn&qAp7%KgGP7w6}dqeN?rk042-1IDxq&Pc)L z05$H2*RqT2@}HNLtTR@E^6^?X^Mz(u`HV^$qW{N_9}Uw$vuZb3(zN;NUP1Os=01co zV+6vjev*me4u8agD`Ol_p4RX7@qPD<&g?85wfe4_x4skw3y z=F&#O>SGH94j?WIsxedCjpU{wgw+EUkyqF%wu))?JJ2b8=~1jD_Il&XrXes_PT-$` zLGgC6sGK)76xiya38IvQ$_J>{paTN@2S$nj2~A{0qmGfjzHe~vpxoo+`LfC}^^_){ zc{bP}kx$7NZsBE5p>7A2@%lA1kPVma;4H|K_Z=Mu`XlHd67^yh`l&SLI}s5?(sc(1Wpf#v zul%A=IEi5eIi1V&#*2GEf8%{kvzP}Y(k3fMj6Fpw#mp<{YUEAXTUsIT^WM_f$wS5r zAB2^&0P&4eiyuo%VFm)sQVcsB(LY#e$*Z693%w+~l{bL*0sin7qhSXLyo>|>1gK5T z9*+jZ!2QglbOOD2Kl%4va)V^b;T=fP(F#Aj4|k;8BjAZ`DWz^H54t)($gt8tYLtG+0hz0LnB|iU~+A%-3z6ZRVciqqyl*vt-lvP#D>MnZ|S=-oz z4R00V3Qh)#i1+cKd4JQJ3*#!$Qe%%{1vhf+*|TS;IgNO69g_6wt$fd!CLL(;ZjC8` zVAb<`AHb&pCNG>S49Rf`oiUoF3;+qRk_%~#-dW0A8aUGd4>F2Nv)pMKLbdLPqwtnO0xQ6tIBhj&hpYdQ38{xV;=9owXG?^s+M$FT$(>$y!I zBRLHUcSD^{+lQhSRvxk-Nt(pw{PN6+{#8O>*{2<6C-@me8EcBYsck-6B2s&0^yOs!sSn*X z&rHLzj8>?Q9DvDZ!1>M2iA875+h$1n_cM!{C0&$oM=?EOc5t>WF#VMwL%%%Ru;)W; zo~@C2?Sd^~C2!WmjV~6ZY>Hha@+qxvc1p4Bvq4QduzYk;c6N6|MerljS49p#v=)kr z9GsOMtXuADI=AgSeSDou_8{BG3eC;mPj?x7zMzz7J-UA(SWDkb$ELZ2Y1)I4Dz*nx zBP-|yZ#Wg@Jb%v6c{_U$WpO#}Z|2Z?8Hzo>!`R>8bet5;3#{Mk-=`qXV;%|9OeCD)58gl;8@Tgx`Nbs|a15?wb zt9(_lrHZzst}*+bP)P_ru-$o*(V8i><4Bka8|+m$stf zW@;s#Dh(eMA4lBP)m49HE~lK9bBL5wrATB>vjs&V!gqcHn9iSn{z>K1zi;1Gf@ja3 zJwdDr!Ms??s0%-zoR~y6hUTy3>sJSYA0=pI5CaRKns;BmSW))C1?Ic8VOB%6aB`Qv ze+cn2wSo+7Z?(PDQ-T!PsDhwd>vr34N4K65G%emRC**o^vU7g;QZ|Lr@~^Z(fMi%o z+JxnuBKMLxs1kx~yg~nn+WJA$Lntm-WGDqF#ZiuCP-z1^l8A_c8fYmEqNY(rP-7X# z1v7=G(xS}7+AET=f^>5+}@YLx!B>yn>8{-+XzSmm&37-1SMn+@qA7rn`G% zmuYNA%st7oQ*u6+Omr`f!+n?;PJ}!G#NOV1QQhGiHw?WxzdTs|eg{@dOFs@0mqC;i zs9h(c8*wtjbIzPOujI>8paF;!HR4U{>g%sMSY(Cj4$WA;|=xX*WfNG*mZOq8qOtVy`)}YE8(C!Yr=$eq((#u(Lf|CSFY4_XIsUxjGR(1 zp+dqSwplaTDA+)-j@@^=)K!ugBk?1pNp{QT&(9>eIu*yw+4gS!?rlL)hN0+YTY(Pm zdNeyR;)lo52;P3q=4|NYKVhD-7xh)g#hP3}*Sh?|yg5T7DuDb?F*^YgM+Vhr&=?00 zeM&{+xEg5cNWkA#RCH6F@NJ4KFYaktcA%1R4rC{c;1Z4un>Ks>JwHtJ1b0Jt0w_K~ zFc)B%##{gKF6%cqJIM13<1I_P-qN;<niW085X7RU6}&ZXy~FuhF-{I3U21z8ScW z#_0E6y&xH62$iGstbP*R70RoC5Zr}|NouB0CG>hHp-6vC0Y?#gJ+ZZ7)h9tLPum0v zM~g3@4g60WaBJSZd&#VzwA4%|OW=jkJg|>BTh(ylwpL`MbIO^2ob7W-U8q!WKop$H zsBSodHP3>RK}sP6os|1j5cL9Y2@2zF;1M7O!Y~OW2h#;q7>TW3m&3xC#Zc1(^K$4r zGvu?%GrTRuS3yUeV)~9CJ?@M!%J}{IYXlfbQJ9?;P;ev5iJ+EaEEX_NIt$xVfCfP- z&SL5xSPzOE%DLseo=vcoc|gte=QOr+l0tYSyyzCXbLx8m#%IUzmuY74 zMZ##!lR@(HVdFqL6a=$ZWV{^-rTP7q*Sb1aa>dr1_`Vx~A1DWK?PGM2AO)i79> zb=CDTBWc0@)!gy~{Uj@V z+Q0A!D&-<%GH6Lswg*tiR+xPFw5?%0eoHJoUX2&R* zg~R}gMF)qep}uU^cQ#dFR=+8}J*Co|YUw(EpoD}Duqt6dVE+3ZKUPu{y-HxD6Ctb- zr{JB?WZV0(GKu6s>wS7;7$6Kprpn6`4-KwFvq;qiQu0RO^vyipzF?*ansD!!&3HIR z7@bzVJ1lCKcds`c!7Sj@KXpF-0w*`W>X?7q)oAk!`M%4}Rg)*!16MgzhmmOm*>Wc6 zI7a&~ZZ-KTRWeb(e`s|8#bfo|V^8j0&})ChxiI=X8faD+Yp{Qr7j{Q_FR*w+BZvw+ z?3ed}c;?}Nzr^*uXUqU1A^7p~Scbg($8}Wx?~5Q|&7>1%blwP5oPpecZJf7TRD*@FA>Q$<{DwYB~RCLeQ8-Ltw(2m*#A4uy03~LYqy8Pm_(wlY@cqOnR?hu6u zYm7#C{tL7V6|pg{;2{V?G9o#B+OpT`Mp0|!O)S5aeiWikep8;opQrDwKU}a9Agrz^ zwj|zC9sE^jFb*6T4>m%TAYVS0>8r1AH_!M@X(^3#7N8mdKL6{;)n+<>Z*B8N9^Mf74C4i-}3J~KQqEMihX z{#y@rj25#BiTp?OOSqYj(bzU2cl21sGp&QBn9jF2K*(C&nNLVolg`!A$bC~rtpZ&n zg~pbc8KD#LkN*O7L?=;@-ZH^F`H_QK7fnQCFV2+f_U)c8s)RRuT;!E9DU-f|&6Muj z-NkEG%1MmTSczCxN>tLJu<}sr>Qq{A!QX?#L!H}ItZzJKiVv-8Xs8WX7ShE1k}T&? z-SBZMG@15z*+Z(XmUO}?nQnRgvuF8; z7VJ;yWTCSaRH)Oi3)_e6b*^EwKr|5-$Le75*_KFw`ZQn6bRi|>en~`QH#&~uy})r{ z;5c2Yu&$YtcIxVrz`gzkQFUw)%F1V9sK_^y{})gHZJhGDJzg)1)+u|@fTDOJzUO~k zMix|9c`=h1{;c6u!1?oKq!J4N&W-g~EdPIvBhzmo312qxHh~mZl~z5|rAmn<-Y(enFyVSvzuqIJVt+HAq~6HuqUxlT??mHaD+ zRwyPk0FM@09l&UyHz?Osm7G#x$YkkEcR!sXh{v96 z_w+hDv>?h5`GD<%gM;&9*$`l4Tj8wm07;r={0Jl$>KZgjs0W)vLuS_D8;dEbfHG2D zQ&v$nT}w?BcqP40Frg4Zm#I8Njc{Yf7Ym4`M^o&0ZO8I;F|eK(Stgs5Q@)WUaR`A? zW7dE3OLj!4#vdEl9&}p-uoKn^6&xX62uMNB<%92L{uhs0@Tp*9@tD!dt#@&;0bVDx zENlM@H8)RT@v(72rNCH9O2K66)Ty61(0twtn(kNTg;K6yEz?w6bVNeu*KWFgp2WUW zlyAo-CJP4`=uo(HawhLWwGnKAso~LCpCR{B_fr&C8e86lFHCe5=I~%)-W&!5ZWxUK z%}lJABsZ49M=6LcB@gJ7HPUtVqQvOg&pLYR(xF4LXr#@jY@G){3nXL`Z-Hv<78xZ- z_6dq%!fAL!?gXMV=&P`|sjJwO#dXb0>I4_vgM%mG_2B}yjSj#u2jCBwy*hrU*%jzn zAt7%^--tHfE{y<>;(%e3-L_R$Yu7S0+UT=$iaF5MT=&{ja)#r+%TWkR;n>x!_U`j% zFL)tj<}CmNO#Lt};89sqLI~E--~Bmc6=YSZjSlQ>fjluq|CF+?3dfV4P60pqrfbwn zphE%$iK6GdNW_PJL24T}$8|EJ#QaZox(DCiKR}Y-&W8o|vFB6@0Gw(3Z8jheOMfU{ zG@prjzx5ulu9qUqvqx;RqfW=y`yd*?x|3`o{sFu!&lmCM z@Ll`(I4aaka6O7N6CN6Qa%X%Av_d>%&4xl)FvAmIXsh#ekka@(})2JkxY5QzlF!;8ksQ75<6WQl7samJzdvR`Z=5+^y?Xa4+QI74C%xDT+sKy_ z?uU8i6b~L7ufJSMSKQNcL3nJ^ImO9eKgKD{=* zVU252{+$Eg9u^!+t~qdEYDUfD2hl@@_(|%<&RTdt{*Ls%3+B!`n-3pJ>>5;ArTWlp z57-sn4`Yy)j>Bs{4LTnagWFHYoX&tIc#do1a>`)Mjkl&VVVMYMO^aMClI= zKG_F;QR($_iTl+}fh(4+nLT&?tIbc{CfxIwEBV$pYDwo#O|4AN!{=t63jAeCCOqAL zKbuU8=;g9QoqJ?PO_`JZwd2r3r~Y`AjU1pW&N?jFpU|Vrrl#&)^z+~)c?u^_p1gO@ z+N!)7D|(|Csrct#EB{oMR!aUsD}%Aoeo3GLWHZBGuQE|s;WK`bv+^ka88a@N$l1De zE8YOQO55FyJ$ETsEc&Mnm(&$5rV2KG^yW-D@!(($RM^5(MxboI*r}H7^o!uRGLLM$$cqV-2<}qW`>g$V>hpbiz z*!i!R=pSESmcB}~=?wGEdvtQ_!EJ+Pirg^c{BZf_pbyoT{`h`vdGb-skZk$N<{OJF zAF98u)2bK}njAgVcYq?3G8J zo^GWOD0Jx%Er0y7p8VgS9p-JmNlcnd$M0$O zNKdOJSPG5^#Cb!_|0ZjIptW3(HNUTIAPHFu2W^8x`x$92Bgai#F57?g@L^Mg05dT!%c0Ob+9*&zWY(Q2KNiafhRk`xf2JFDnE@4nPn zr4Miq!E>h$82-k%&^)<+p#Ce(iTC~Trur!dH!b$`?C(Bd#}5U2vpUiI<+2-h9juC7 zJxAlpn2^?nZHYh5WI5Oq#@+i3_oLbX#x2`HdGn^$E@HzwS*F=^2p z9{b!>+>&>$DKk;2xYaaTbbDLStSzb0*Q-|a{Wd(-ply?V(mUCqPVU9ua~>%e8(r?K zakuH*H}u{H=Yp&EM;L6hw>0b;C~;`BY1xJ%N57YP%|F^K283L8usY;iEvtCe?!95K zC zmJ`-{!q8spWEN83hTo&P#ZRqVGu^9eI~se;bskj
tI>?rp??RXhDO0Ye-IETpx zbhIcp+1Vop2yKE1C7srrA=mVu>s(!F|02d=m@r~p!nWz?)nD)p%)aaeDTc zHvjAK<@56tkiZba{RD>Z^nNz(F?ZZl)@QYxw()ha=a++wfX&ynC&$?FI@d>XOnF>Zn8mlPUE>}8E+0pS8XU9VbysVg|uCQ)mg8Hqp()P=_$C;-RhCT;qC%Diio&9D(h`9my z4&PRL*VhRO3OQL>GL*!?j#~w!$}~Pd#*J@g${}28G){EbZeP|l`WcGowX`O10${yU zf`a&rQnA$on@~+srbK%~1fU`VkQ+ICc%)GbhBgA^`>RNs>r`PUwKBv2fzMSY$aVBL zfV25IF=h$nNC+vfg1J3Q$5)sG0bBWEF_oeWE(W$G^lChGRSnti)arQW3P=;5jtK)p zAFTTd03&FnL12Xe`e6|_yZwQeR7?kGExeUwL1#-o0hv-4t2x8W*qc%c`j6k~P~FO$ zz*uk*#sd7302;V+!v*s~>{yI$(U@N;xvz=^jXi@WW+@CtA%g{L{4p^^sQF--Wm??W zx@F_Wu#!5otaRz+(Rrg^RFtOH6^UJ;rZuzMwWgKwwyB|_8$Nioq3qlxB@k2`;M zG2w{p_H8&0TZAvBCPEX;S}?QzqT0kIF zdgHvp{sR9>cz9UFaGW0=iP|~c9D^KG&p=Af<(IjsjxQ2~;6h3F$@>XaUcWc_)gQv- zQ_(t2qq*#_0i!l_y(}nDbr;Lv6Y{f_S((O)Kj_Dxi`)_TF7n-IGKDFX(JeNUw7)F! zDQvzhk~jH#`HC=a{WrP16+T?$x5NT~ z;(UPfcuSiQ3!DlC4>9`Gc^*x)5Z*KkbLQ-(hrt^Ja_$$)r~JAaXyM1wHZixP#lHYV z$7G5Sg1SksE)7!>R>-GdIU_Zwnp3*RKwDS|mJFT??-(4rwXF@iV#ejPcr;i3YzWxi z-JbPIY|T1Wg^|(Pjg0siRXb*svROF~D6sA6Dl0VaBV6X4U(ont?^OYRqJx&VQ{+SIzz%4fEcwE zIi&(CIlj3b4dNz6$tFig7b?rdKdu*05w|Hj2bm+4)Zek zPFCn669`l=Du#EBPHCYqrK{a9DI4HOL=?R!VD=7W2&(l4u#9IjR)dzl1H%h%xh zI{=kFtj>`E-O>~8^Mebq19-!g+wrh?RzzY>aLB*U*8XL7))S}3I0$J9kk33=tom+W zTWPkmfR(dh=z3`8JL_?nmW8sE_TG8U_AZyS3NnMbnlbxR>WET=O{zsYU>9?aGsmhv zy?>twd&ecCb+N}tW;HIS)Xf1_DLWzpp-aUxiDUF1&budZG)eJj#d@q6%$mbCxMFg; z=Td>+P1St7z;$u82qcZuK^{aSWyiU79G5Aj%hW1@vu-5F-$VoAs_N@~P?j-vi<&e2 zRO`P);4xgIM+j|fMBa0kHFY#y1tbAdp;txT!U-zfas9tp`$!2~F1qkWs|Bybf_nK22Icg6B75TAG zb3wTF^&XY}Cj7{er$QJ3lxcF2Hpi>))_DVK*wKeudt^%`ZR)Ie`87u3HmpQL1=!2s zI%!`4zIqQBxs8z&XEkEnJo91@8s2z(9B9J>@tC-hI_#8BZP-iYaZAx= z+4)Eg=9%%;o%WRv;b)5C7NDEw*y{@w1%b@1dX%(uZGC-)bIJ6GhJL>;0D$O0ybtO} z5Q{OCIXy#cYu@FDbKg$U6F*Ts)5zS*E3I{vjbmm_%VdeX$x%yoAC2I5?DF)C8vmNL zUBe?dDzUxOpg-;Yq)^*(XxNZ-+{&G`&zjY)3W9(>aYiLp)X^n%fp4^6DOG-~C2%g& zF*qmj2~C2rurT=*6NTL)=prGJ5tEbxjmPx*`^b@ijmsZB_BB{SULgT6>EJHLFhD7$ z%AK7xjy^*#O5M=FLo86@c!r}!mBdr89+j5udf;u7WoG zIhD26t73*gK*RypxnJrh(nbE;Gy5f}#|(TwKzL(b)VbnF$i(|kCNmYg%M`X6ecrszRUwQDBod50HAE(gjq;iEI;%RvrF%~4WkG2j*)~pasGTq zWODCF!_W&SdK3u{OLC8nm)Pk+j|65QDWP%T=E`rO=hPfeb`_;LB2X6+AD@>2V{RzE zGzbd?iU6!;CXc6_gVcT|S9Z?W?+wFlz3XnU!N%L()AnUC>I5W3Eddyg;*k`j(|UdR zuhBzS2UP~1MTqR)5P=1C$NlMo?Fk1sN!^iRWhk;egnlLSaE#8YDTL$mYU6P4 zJ~{O7taU$Olveq5T>Xx|6cS6Vkocl(BqWY8;Qx%1Gvj!8Twg?q+i1^E3uke<6ijf*a+rwsDuUuf|AP|<{ z71(~4pRtzs##uKimc_Rvj;ELvu04IPV~MTLfyp=4)#*8>m63?fIve70AnupF2 z?Tom+jtYs^woNR~G`8y8O<~kPa3z9|(1n_}Q?m{(QO^CjI3ryo1B_2x#k!sDvtE;O z>ao>*j^^>Fd=lf^x7iMaeH-oG8MFt!X{C+Lw;KokGV`A>w9mTrJHmI8+0eam;dHEN zV4wZZ559c4a(8Js!7^Ou4-9%PE4jM4opP~a+w^F?km>S)vWkHmCn4fy=+{0c7-P1Y zE~jZw8-J;7MY!k6&W&WrEfh;82FbUNmK~f5n$8g5cuu3;`@_?JJ-nXRKCtvP)zz|o z%)$a)TH3DG=$w=25Na^DNCs;Oty%|$HG*0!+YeETc}k>eghAA3<#oTfHbqy8py)0d zA*-$JL(MBP95ZBy5flZc1Hl!!YhVe|a}`}))L&%s-R;Q&?r;p8)+we~aaTR$p@E*> zuDT7}k|C6Xw05NW530gVz(j*p474~^Cv#xw7+s?DYfuY-L|chWO@Vx0+A%#T3F<3p zAa(28*B#>5bi>qIh{W1^wdk_|zM|#?=Q(_aq(Vs)ae!oPykR|Tt;+iP>4A4?D%_q= z^+E4Xb;)@5CU2Lc2mdL12A2!mB+Sxk3AP%%CvM9sR|~)hxpjIL6EnT;l773N)ECl7 zOqJN*%#b;JyUK1<7X(FQ6ezn_vfGc2sS-dk`aBJzF%3$TH_(sD-DO=pxJPyozqPZY zqcTW$!2-lbC1h8@RLmp2yrW)Q)azEur6MN=BC=y^m+R?8Ti&?pbtp+uL*pj7gx>GO zIDyy0fL34eD5h-es)%Jyj3cNKZqflrwTLi?XB)+FGbCFv+@9Ix`6` zfDv#QAD3*WZ&kwaf@mc3@HLr;Df_f$HQM)pr=qo!;UA_!HE>LH*R-N&6@)GxiHyK_ zI#s-tr7xBXBJOrR=C7e==c3IJ5qKkB>#h?$y4T4P+5`y$k!8Om(?12C0uwj*&a`rW zwEx(WZarf~F+G_ups6cf;c=!q@q@%==Eg#k&;EnANEt{eOOsPXbIbb|HMcSGrgAMv z%Vr)G%w3S`X&r#p{L*7CbT~zXWsJ~gtU|` zLA0+(vO6OAf%8nhf+Fs~H^A{kc8$9q!H>cEgs~=M9DXU+t1aK2dvv^xwF2t0Ul&m5 z2O7ngz`=ls*Xa0FR}eOHt<6RliLwFm)2G)TL7hyEdX~=l=C<{OOUJ}qU(ra|Si;>t z|4l^9x0L+Q&&oeQE~tsv9%88C7}AX%m>G8@OqnBi?@@RN<&QNyC1(w7+bJ<7Y3q+McknSrV z;`?lvd{vND*SJ2tVcPSbNbwb0#`9guPfn7`I5RUknVrll*W?Dqb0m5?73>z9DEOhP z{&SPc?9j!rMUkqZYR8U52G3E=pDrIh5Ks+{1adUC&Ooe2VvG1*#8EAlZ%$?@pq@RG zCC_AeF;rgE=H8lSC@PMDE&H^PMEbR95gyNGXx^WCi(b17JbuBhKj@<-VZqgBGxpY451^-q^ z#3H#MOeT379kF$B>6Yl-VstPpY$Iz>FzyKsaKf~tt>D9|tD1UD_?$2k2N1z`$YE&>0 zjNOtUGF_m1kUfJBXCY4%*XoR&ThC&Z*j<@D6cQ7GYtz@_B}ufG^Spj4!!~>TSgu*} zC1-!CNwlQ;X934M-r92;7GQMMtSe|w{EVWq4DUMxDz=Ys)$D#r0s1P8DL5xv4?hZ$ zO4ZJE$0W>u@h346KXLy2d4ua5v;k;g#e7k@epkO(l_ z$oyofNb7-ZQt1JUVI$c=&nxqyQ;0|x_x({sy^0+C(a8_KnsA5c@M z`gJxlopO5|9h82GU-VJ2h4PmMku0vZ%|D%m$| z5{u3&BPcd@;T=KGFZfnd8zIUQl#oPA@LLVx#vT))@qv2D@I)Z}072>yd+9bvqJr0m zKy!MYXeaYPU{D%{T9e2qmjb7*LU*%)!V`cE#rbo3f5MBRA1Gt`KV&mfUZAF@Z_VervY5(3WUITTvvl}G2-RTa@I53}*#gUAM1qu1nA3Mvw2px1f{Qv1x@dIv|7!i^EoT&Q+~Dp!D+3Xlvi- z)p>&_YTnbGmZx=Yih6LFzn7-XbDd3M2KxGKh?1b5y&+hBOMqDX4b#Tjcws&4Y*m&l zd3<#F>DQo&d;!`+lieZ;7MP6WAfB;MI+JC|nh}OR93SptBBGrjS3Bmg5;adwYy=Oa z32ui>79l4X2M{qy8RxY;O%GR~QUTSqhDrn4oXUh0peoIA{g9zU_wC(F1W$#hJ4X&L zhAE^%s2a4XE5x9M#`N5HFVol}l7<%Z z4m$GuzL`K~_(1A)da)-E2-hM!)hVDj0>ehuHDT!Q>*&3z47Mp>ua~*EPpLriV{`vV z=bG@`wyQxq?oJB`3+r-!g&q@~3vj60^=lMKrm?G2rtgc7cf0wousp;j1AFiDYD>>| z?PS}lpibbF z>FW=nrBZ;IVK?`9Wv^Smp$RmRf16UGmFDm7&;GesByH2}xjK!jVSfIb_%J%UOw{Z zv14%E1v^UG08VK+-y=*~4oq2~t4p7ZpgWPm4CwnEy>h<+13DUfyU&SK(vBT_AyjxF znt>YzvO^b$uflRz^q%axUy_Pr*|#0>rf+yLf)H<*NT4e|lWhRf5t-p(uDRrOhsA@V zM-CkttV?#Z@_BUsei${kFhu|mM2)MuOw9DFYQ@HD52a6DtBmTk?Duv10*njmlBn(T zyM1trk5Jt%h?BaU#w8TVS}2IgO_`G212oTEG;PI16NT3H*pU2+z-AA5G0Fk)-?#d4-#cnQHd-%eFZe*u7G&^wpF# zyzU&02f^`+Z~LrXt>iVv=0MOy>vK~XNscb+0X`hKQt85o8(=Qm+Q)yM$kpzv4dz*Ug zJubfY-7VkG?VoGP_DytJ;@95U@qWy3=Q}^FJ-0t^4M}}rA-3m^%7#gqN=i!DJ{{nC zwzi84-QC@H?D#=kW!5{*KZffM;Ys7@Hjg_&AnWNKq-7<7Hc{Z5c8NhlCoru6e8-O7 zvURI)*;qtGgjBe|I!-hpfMJ-#uyvvttj~?sP zg$q76l4s7EJzGC`Wi?)1hFhj^$z@4&HAAV~-y^QxxM3D{mS;L|OQWQpgE46eiItC@CmF%s#^98U{5ah3k=# zk=W*Aryd>siESkkiKMq{>$H?@*FAXlth8v1fFotzAGasso$Zz_@z$SeYb|VS5`3P< zq9lfz4R2w^3V*f3rDbJ`zgYZr8gu8GtsdxH{L!5;HR~dB&iId1=eGW$*v#9-^#`Oia{%YJX*Rj|o|9 z5Doug@9~qNU`Q7s?L8h8q<&rt3G^E98v1J?*%^B%B`NPq z&uiS&l#`>sd^tv_^pZ92PQ15Nm^Ka9yOlbpvns}1Pf8jhVY_04kluQ|yZabb3zrBf z1WH#Kwc+g|bofL^TKJm7hx^I+HNBOQS*WM?1f3LJY*278*QUFfRa`9`886&*qP$*r z_3G7TWFM@qqnrzwM)(_H5U++O_K^$DwH1vuDqG zn*|K-Wi;cKon-2@Ytb<=t7eR<9%9K|u{?A7M8TMWDV&Xs00a|lsq&h#89}bSWu&Re z3%m>zP%^7*(t3U0)p`T0hmn0xp3bd1}jK?N*?4v+)^lOQS(A%t^1ZJH;aYu4@9 zu&{l1t%WBLHc4!mYOY@L7{^{82?pFcLoc^HM6(G03M3HTPYR(ST)U>Mt=*McVr{Gt z2$4@9Xk$=TJu*xaAs-zHNDVuZLe=`V+fwntVASKs>)dRlOSYAqsI0sVGH}a|cgM7T zl)f8%p-(|c$#{cVW5Ddi@i1Wi%?C>zbQ}V+a@#RhXU4R9w0$}S5 zLWPo2?u!?pECHR!1&`X8J8uU%rlmwhEt$S_#R?n%rPmtY{%(5t%YLI2C9W^Nb*ohX z0tylyl$E93yoqXY_N-Z)bkj>Kfu$0WSEr|2Y1-5Z7n%CK{5e5Tey}{?EHr5C9HEBo zIvAm)rKSCVVSzd%`;Nlfj(NKTfs)uenSq&LErK+R!tts#Z4A)*npLab*Vk(|RkyXZ z!9U@PdWbK$9SoJJscye{>)_;ca>wGX63#|R$&{j)puDJKc)=tm~`*4EQ2ru&43TYf0A*MMqr zW~F8HuR9n2a(r<5Uq(}h=3ii1D5Ft0Ny*E2ijoh8kFM1O1O{HrPyEU0v1s_r=Aothk&_Vr$W+Et1!{25QE-@*qG zZXv4hZKutpl^}x+7&x#XKOaCa*19}DpQ}}N3l2t4gO&xXW7V)1`AWuq`s~@Mpt)O} zosS$nDy8f7^ZkLw>oGAx0%CN&bNO9f8>RX#)F)LZx%jiA!%Ig;M|9n3Da|?Aj08Pm z`0!0!rZG(DFQCd0#cQ7~5ul08ZJ+$ty`DY4&z@R$TZeBXjBE#mwB?_~hhd4peOHG<9_|i<4$XD_2hNLombFn6eE>2X^eZ z-n6Fe=mIS{e%o5X#}V+S;p0bDFnb^l4ozgFEU}ng=;R?pFK-TPOjMX(Vy1F!qW0-@<2@WLa{0Y zg%WfQ%#@TAh3gM1cGrw;UV3F~4R&r^qfsFUL~h^KWZp|Zb+<8RTJ11ysCIU8LjCT; z1*woc)~s2Bg)3aE9U#0$zxVHdgmhtlVfQADJ`U^GCxRgFw#49t>CM1ZHfMh`f9-V8 z$#C8`zb5m{mqmcQ2Y$xiz3c1k-O0tL#^&a)UcP);RAlGuEL^J&NeZe^yRE^Ln4Dx+ya-Xo{zDA$A8yURUvwbzI^!} zughg?fOf#b)?1y{t(!1u(*43hwb`>z>sSf#ElgglzYK*`zkdD7eY-okctXBLW6m7G z0HoF(d|pj<+Vzx_f1r3GB{p)Scb+tPS5W#ryUs3zJP1rGQ=}mVCmVE7d3PH-q*!V!{SE4Tt ztq%kN)K33L!qJ%^rlX-BkrWsAjD$O`>bI?Oii*z)3!50PM@|zy!O;xD$u@U)Z?X81 zLQV?)_AqbNmlI3IalP5)@xQ*KSgd2+W-Q(Ve)%YN=Z+lwOKtIg(RV)mB|6Zuz;j>X zwQS<@whlG3c3 zKRh!!OfGdto1R-)mNuuS;e;9kr}mtNhK3SI$Q5s+tAbQl`;KpDf^GgaG-2S_En3|H zi*(8wJgd65c!<4?o_6=!<;UHp#pW$e=;$h#)fwe{Q@Ww0XKT%g3%=t<1svG1(Y}1( zg&y^9nq6l9o&8Z-!{+hRQM{P)S@tJwyNsXirHkrcucgha`_@xSlbujLChYOU?6K*D z3{fut+IL+>ms>x27`*s<{{3U~u6!BJ79F=%-9l%M%G;k4W(+In`+Dm=5-oVN_@%J0 z=3qrB{er=B>@;QdC3+ilC z(%0DB_btq4O{TalTH|KB-px*PqpKZ%h^Z*6s3<9`DXA!%D9_QHsjN9ub(*rWrm}K) lR;Sm0_XAs8Y#lf4{-6Iq(fLK0{D9cfMFtD6>aN@SUjT