From a6faa4dd126a94907ace76ef250bc1e0e5a3409d Mon Sep 17 00:00:00 2001 From: Anthony Berg Date: Tue, 7 May 2024 13:10:04 +0100 Subject: [PATCH] feat(connector): update abstract layout of project --- pub/dissertation/chapters/design.tex | 14 ++++++-------- pub/dissertation/dissertation.pdf | Bin 72045 -> 71148 bytes pub/dissertation/dissertation.tex | 2 +- 3 files changed, 7 insertions(+), 9 deletions(-) diff --git a/pub/dissertation/chapters/design.tex b/pub/dissertation/chapters/design.tex index 97a29f7..3d18934 100644 --- a/pub/dissertation/chapters/design.tex +++ b/pub/dissertation/chapters/design.tex @@ -5,15 +5,13 @@ \begin{figure}[!h] \centering \begin{tikzpicture} [align=center, node distance=4cm] - \node (connector) [box] {Checklist Tester Interface}; - \node (server) [box, below of=connector] {Checklist Tester Server}; - \node (plugin) [box, right of=server] {Simulator Connector Plugin}; - \node (formal) [box, left of=server] {Formal Method}; - \node (simulator) [box, below of=plugin] {Flight Simulator}; + \node (connector) [box] {Checklist Tester}; + \node (plugin) [box, right of=connector] {X-Plane Connect}; + \node (formal) [box, left of=connector] {Formal Method}; + \node (simulator) [box, below=0.75cm of plugin] {X-Plane 12}; - \draw [arrow] (server) -- (connector); - \draw [arrow] (formal) -- (server); - \draw [arrow] (plugin) -- (server); + \draw [arrow] (formal) -- (connector); + \draw [arrow] (plugin) -- (connector); \draw [arrow] (plugin) -- (simulator); \end{tikzpicture} \caption{Abstract layout of components} diff --git a/pub/dissertation/dissertation.pdf b/pub/dissertation/dissertation.pdf index d939b952f7eaf0d362d89d1e4de4d6e3d2cede29..e72ce576c98db330cc3365edec54e936e1727920 100644 GIT binary patch delta 32220 zcmY&;Q+S|FxMb{!or!JRnb@{%TVHJ3oY=N)O>9pzv9rU}_gzoEoXSFyKKr!x)qQla%_#!uB$#X@gw~`EdJGD% z2?)TsxH_8|*}-{kTxHF~EioaFUGs_Q7nt+0ekG}M6Aegj3H1;o&ZIdXfLsIpaaUyS zoxkN!WHc76TkHk+Ox{m#fzr(nTT}2a2@WW{;@tXLueW_hzPH`$roQW^nN6fhVa!q7 z^-G1=hdL&9UYpP&bKv6+Bmf$O929t2OM1v}0Vkppw6X2`C&+RAJP|k-UvW#TEv00!b4Qx%D zaYZ=zgPZL!d-cXblc+sPaQnx{1OvHjf?4n-emuDM90?t;h6%2i{c>ThdH0Nam6+gzm z-zZO;k&k!kBsWc^)|{<14}uP9aG66 zQ{4}dgsFZjyu{!8^43EvE&{abv&*%1)1SY3rK#)>WT^M|I*3-_7k&2 zP;-;X-p(@jCZauIf88xbjhbXSSGMF#zL$kOeW}MeJbXe{M&XcqM8~m-%a-V+CGL(! zBy+{SLQ6s3m$VI8!g#P|jM_TnSz07#%CXa~@^O*yV9M;Y)cE51E z%L!(O+Hwf{vzA&lb(G`sA9lYnxdSP3>O37SSdaMxgn32acE%SFV{x4dfjPvE&<#T2$9Ep!OQU$As7#+_h%%MJ(; z?C$IIG{;UH4X%-un>RLgn9HR1pwVOT%){D!WJA?BvLMy$HnMi*?|eXEQ%LM2gMyD$oLDYZBaLr zvBx%mn$VTEpjT;b`uv{mWu1Wdk~#_C#%o8qe8t=Gj2}zievOxSdN&9Q+*=7UipMhN zrkax1cPa+=(G~1P1Ir6h#3BZcnvliejllK6^G05O=L~ROF1;=thO?!e%<@W^z`8G5 z2CACn%xNJa#fEF&bRV>gG!2_b9oppY6kmAi&q;U7cuzp_BzGs?;#hs%H%yCJ*EWaR zGq6Z9v`mO==EMj?Ld{a9lsS=~gQi{348xbHKGJSf&~M*zj8;g z4zpz)F}jVunLG9JQtqXS6EGPHTC!xyR1Ga#9v3~K^2|f#zCNedc4PRDh~=d`1jPK1 zpy_>-RO^v04=MR-s6Gke8IzS1aN9xMm385%sME}G!S^-y27*esKn%&c?J;Al#E8R= z5fHDfvIpx5L%>yJK}Ud@eEwXFW}#!UX<;kYcKfGk9Hdu9UU!%nH%;i34;CY*AfJo4 zFfkXSWez$-TF_`k>{JoqR3Wv>0FgrHJ!SqB$`W;dQ!4pI2*kb6cef}}+@WBupGdN; zc5Es9K6l)&*>9+i!`LVWMTPm!#38Ek;&}>t)UxUM$~bAp``bXBGESJtzC)-8H(l(_ z+aeQs#Bt5%te&F?s(V6PZo|O7+(0jiv!{Kk;_aJ_>$68CMmOqf1XeN8dH-sCFmxcA z{I7kRQOih}*--HQfk_a9%_bE;PvXPIz@FCfYR+?dx2ul^x3NEXI`{s+X`k}Gt$Gub zosRK6(VJ2x1Nnf(ZM7)Udh1<26>#venZ0Rk`d)HIl5_jS;R^%}ZZwf~ z7VAQulY_gFt>9q7Ia`?HL&sPfP1$o+h4442k2;fXg=qmM-?Y=(g5-S4EC)*J=WS6> zad)~h!wSd9(kXLrdE0WrVyXsqkOojncRCM>;Iqb-q{Ry+GC#!03Xdy^9D)NyY!0o( z9*lm1H>Z;&n|e7&Wfh#O)yf)U7Zwlu=)kx9t7y$vzS2U}MUv}Z<8_g+gc|7jwRGx9 zGup}(v(yc!V%6A9aCeUCFBYXNrZ{dZTeS}{%xj_$0Nopq#YFUeCPBkEr4wb~Wx3}) zzjb_r&9S551{pxZy3!94ueLMnZ)a(f!AmALTd*R@3M>5zoa-(7x6CR#dx=|8zmS_> zN(qh>wZ1T(2}N;BTAMp@5^W7|S!rV#_+!DNIV=J1os`+0QX`Ml$&diqJ40y(&dns5 zdG=9rv4Tn4__B14pOF6~>xAnc_ONUGJ}t9ZiJ)oai$FI6B+O!ag|jpD3Y%oWHNq%N zF%HCc)ROLAPeKx^Oyuk#NcBglBGf-k3E9W&`#?s26w}7#Z$vWH1a}Y3>N~de?Hlau za+w3yY)V1(DVQeHA~U83I(XP)xHek<_40= z1;74}SQ`F5sCnd2TT0adZn(k5T$$DUN`VEat)%LW^z+|gm<1t#Ox4U1AONm?ly7V?>02&8*;mi&q&qW-`8w5OoVdT_g-`Q!QEG))K!T6KsHNOwL1j z@AV)%=C;)Md@LzpcXlG5sjCipE3aJ>B`Yv@OR!=#a#*N0M|-^J81dc2&EP!{sd>hG z2MQNG(_Pt<<{Br~Oj_ktQMqh5@cj6;KP(XSe#jTCFsg0a+D52vH36*?sH`qmoTiiN zFe9#w3t;cxHS^c=dP~Q<%dx!qa@Vu;J)75ZXm;HnnEu*?O#S}B`828@bl?2oJR2Ka zL&P5tR!TMIl+Xmp<^IE4S1$q|Pl66Z(z(ej)LhA=^eBLg4IVRc@3Y1TXRrft_(rYDMrnfX+cR&HJHEqZhOu%MW?l7a_h~ZQ4G4s#AQ&uBbuU%*wcY;Y z#u?vfE`$d_mLYF5ZF)5IWz)*CiT7lvlAihQg>ZiK- z4eQncL_aCqwEQbwfg!-FDJN1hepuV!7n&eQUI#W$cArlodm1%|-Ggz?>>Ht?uRtSt zQx45PQm-O;8X1+?0!{7`ja%7=WR>sv>ye6};56p3P|_wpAorY|Tm5RG?Jl(oF#B*8 zldEA?9bIg;N89VFxA7Ct5p2-0CHYdBKzmNhiKT?-5yTe)9;QR$$T;|9#FAwLJXsFR zW`MB|t(ZP$K2}l3!(T5?s6=riT?d2F_`e{_2B1eR+nEehOdX3Jb8v9*5}m29>aC1U z+R~|SsbSl5vM%pYTi%Kzy}6tm6|PV={K~XuMiN9CTs`GYp&iZ%1?O09HI{@l`4aK5 zA2JX5km}H9IQPiR2whs6f|X~7wEb>aegF(9JnM0c(LI_@kCS^oXVzQ|Ex&S_cm=X@ zzafrvA7sC|53EHRbD%puH_D${R*cymYQl(GJlA_E?%a3dogAB4ax(24?BvtNOlPBH z$@Px>xehARU6+s4{YRK+m!=aRtH-k^(k@$8Xk6Bz$@OBe_=Q@2+gP~JooRbafDqU2>v0Iw)r% zG8w?i_5W{RMpq`DwBtwbsm2RZv-&mk{EbndZNL$_p}jETmAem;Fyi|+BMP;0k?Jvn zPva6cLQHEF*}0g%ueCgoGcC0WoTOY*j}$p`_k6bryy$#>^uE4dv@J3Ag(g4J9GlAT z+Ec1@d3tzHXhC|sxqkwyRV(|YElrQf8@uJ32Eg)${@+ag@Au7J1>looNxrN|x*0`s zRjKi@4C}DPnE}-)`vN32fIb|;S5dw!HGuQc#ftDAv599>HGhnDh9%!X_lYURj^6MK zWkqH6*yt~9b42r^;+d9*f5WRA9Ve#!!EVHOOV7YbZa@dy;yf@&?r$w<3I2|5WauAl z;`;VN@I-d#|8bY?)L@qCy*u$iuC;R z!G>3sutUPJe(;GR!-Z+B=rfey<$aWQV2+n|+G2IKdXCq$rnWHj9 z$PWRZCHB_12LqUngr-4kpG9Bq-)=AQJ6wnmp5!v%8d#a^JG5>PTeK^^lB+f;TWn{C z@)9x9wp3a;?NvTO%YSw!r`GX#Uh*YmnLm0V{M-bx_%fu5tO2a5<}AZh`mphvg+a=f zR(8x*@>V2U&R$Axm=6A-nqvA83s16AJMf2JPxUp7tpNQMXR~lt+NdT6T<`O)!xcYY zyu%pD^~K;~r_jc0ct3@?SuTnpc(EWj2O6jgPB%DZ^qz76@6Q9U+gN^5@A_(;g9X3L zS}HwR9E9XeSalSi+ZE!GIq1fX?Q|Fja8YB(*qNGx*}cY~^&`doX}Iyf|A~mK&>RKA_?oWlZ@4QK z{*#tO#W;8LY<{da#;`oyNVr+WKrNm34-VMp6$08ma;j6xV^X7VBKS#Z(LjY3`7xye)GT%!L{96q5a}2%XtTdKX&Y*jG?ePzBiQ0&oUm$ zOgOj=dxcQ#<`k2Jn0=x#McrhMDmk*b zLei2YOPdR|ViAKg!{I@_3MlyQX1BKv(EYRD<4uy(E2tPnF~o|Ld!cLEAO`Sew}_Ku?SQ6M>>5b(E;bdBGBOuom!^Z-~mYQ zn??vyQO9oeh89?bxoZczS<)BXdjTlJA)&nS;Fn0H0fj?>Lyrd@tW~4k*&%o}cR(29 z+G4Pr%op;miK?2~>b6I!WW$_}(F&zn4n`Ja`z`DY3);;!om8w7N>Xz&1A&v+(&ux( zfGQ{H+dx0(Uvk!|w3WIpmN1Q4|s@n@m;W&-@knwsh>HRJ&>&`Y5Oz?z5d<@CO(=*lvg>v=Z7(&)m7eFj@GI8qimt{)#jkQ*2;oUsi_=S)oh9@S3+agL} z-woaHX*&l`>e6t_D|c-!41@$hMXp-=eO!!fm><&QbTNKTS^{LaUTu#UwnEp0P}qn_ z@H8qHsc4oCZ=dkRJ&rosny)3?w{A$#zk6dI{-XUMCs9%_waW<0KgTd5yZ~PfiV;Yv zrn=K|b@ln?Zwt;+JV&`hOe5a_Uj&Q|a~8Z`YLrOHQ76He9b-y6n>stetvX?|tc?#_ zozN_-(v38=Ur4yFhVnsbAQu~z9|Oz9(3YSn?)(cK)3wi@L-OQ2@A|z)ZTPQ6{I@oE zcR~nxSJ0n3p}(qn;EruT8i2d(sD(i#b@bL(VIk91(sh*QHE2mV1*;m}HLgT_p1DUc zq8U3`Uwow$dKDz2V2%B01vo;jHshCxY^S2O^J0XbBZ$(|hv5ok~r$YNpPd z`#fmVpI$=PBNBl*y};!VUQY;pKO;Nl5 z25hj4NClTF4vCK1aCv6Wc!yzev?ZBH$!&0T(W2sk6olg}bv_Lk*XGaLQy=ez4Gu>KhA~hu#QK@Z+4lN6c`|!Cg ztAN$7?07M_OMQ6-yu>@$!ALq%m(|wFEveSS%%sg|v?7QX^!w4Bgp&EXe5WA-Rjw-6 z$ngDYsTAfG1nCp@HUqY~KSffOD{!S1V)5TigM$ZYjT-OULk3?)`$;ra|H7N2 zNG>_}bH_Db20n+c1R>3DBg(}lPn8!7E|jhq!i&3)LNfAu_I1=U+K-n;?g?-y<5Q0= zXp>LkIkO)*mKLX(CS=HOvi?6x?FOg18hxq@n}J$qEj?t1+{*e}puAjA3#!9+wkzo0 zj_zSvo{aajDADi&S_uEag?180hfmU}i&>ZJ*v9cJFP-LRX3;jNj6{jcTam6rWlr~c z3Tax}W%T=Tc6cIRDt`lpXElQDAGNa0nTDS%xt}bhRpMQ+v`hS2|K*}i4I_%;<{~2G zSOARJ&5Ae8iLZrAT{0l@&D{K(xkb)heh3!C>WgIWnoO}ofvaziYgem?S3Hsb)BX2 z*A2WU$6>S}vUmJBpAtpfravr?MwvyW%Kf>9~DdrV+ zS)zsWk!D;0lR=)1;MS>|Ug4E%f{L~%|H&=~MN_WP8ZK1Oxd(Pk)EjDGu8i9S{NboR zh4Uji)b26BC`)bzLhIdbtjql;GusdvoqX!fmYC4#gSI(xY-4qG7_H(tCDLTt zg5YnS@K}bqs6CScX`|vv@yB%q7@%@s!+J3bLoJ`yDL2yh9Ip!scdVCry3RHx#}l7! zLk6A&zpmWo_z(HXoc%{>*<)nK<`Q*#oRdA~vl1;HH%tXiamad;POWZB1(tn3KkMko z9XknH043un4Myk_Ej!zAu91c2I%2&j}B)jc$pct-RgsZA~|O4+n);^1;0M#A~~vzk=6b z^@hChw53AcSy#cUO>xz^5U4$*(V$$MP6(9lqj^ipuVau7 zOZ?SL1NnZ>{YGqt5v_N8({V7I8KEGO9NVd#2G$_UyB+kWF#~3YVjoVlM`fv31JQ5n z(?bc8)L2p8x@6z%Au@pGyF59d49cY=u zi8jT2&VOXq%RwiZf_2Clvk2dL?jBkD1z8lp9C;pp%)DxRv(B|C>u730+ z<@_G|&hL)vQ76?IfRo7BK~cf4zwZMpR`qu&xM2vxroD49v4@ZT;Ym;NP`7q4V>R#2v=+Z?pvH9B>#qrDy2?5X+w-0b-bLOoNLk1A5keC-YE z8DBV+k#XwK@suTX#IGl4fl`&|(#TLwLgkzjVArrsKuOnsx9X0JO z)op7E54_xq@9ZUVV3&|jZLcY*-=49e6rAhUHY3{Qs5_!;1h9+l|2ohaf9M9Ti-<-Q z%@;1cqDGIND0Y*af93ve=ArzEdElK`%KE@C^bXb@LjMkiJ9GT`} zMef`lh(QlBJ`}QTjTXUHy{R+Dq+e?0?VD5i&!>=c=xxP1h{jzpOm0MP#<0Mo#qu z{cyh7!B(&VWf;j{bexFxIX=6wljY}qz5ubIXx#<5Bvg6YrC7^70PhT5p9U-V_Rgo`@wo6CW6-)PYIpWuATEwhU$}~!Kod=A)z3Efk5hv$=m0WB z;s5#61!MWYmYSKJnfrfd0zH~DafciTz0cGiU`piYgfPxj^O%+j(X%ywiSsfq3%7^z z-rmTmm6Q1M%vm9$`s-~~K29ZQrdCJjF#-FD`Xg1jim7`n-&r6#%S^=2;JsibJQ( z3`ObcA&7z~Tj)7`Y63dmKty!((@qB*H)p8?1eP#`N}v<|h!sd}t6<}K_6-~a3=)#i zDJa*y1iMjFCBYK4AF2R52TLTC)Kci4DOrqJ5v50|vm$>F&Sna(*7!$Rw*xA5R1Iy5 z&3_NFy;fThXzR)L)*6RGDa}xfInrIl9L65cXyt&EM1miz=tiYMktP;h_#Xz!Q`uN0 zk{(SY4B?7l2Q|dbUqc)_qFq0f z8k-Q$iR8i3Vhg3D_m>=-d^|?<3E;K9NZHr zW>=ezel%Hf2b0bHgb%?I)KCRgA$AWSI`!emsZe3b=A9q?vM2$=-|B-KruR`mkn)U?Q5!HL!a;q@F;|#?gzUnSP;SrkJcZOccmOs7OvNAXhcn#bBJ=qw1 zQrBF<^!#F~fC_b3`EaJuYHUrJAZR4lJGPO&Q>)5I5?+G&K*12!&hk8d=N}C z%__$UlaNjXtIOm%ye%ehBG0@L$6O}-C4(VFRI1dy&erN=QY}IQ>|*$>22SxlOJ9xF ze~a*~m0akHEQy{wW6(o(8}TDfwzjs^LR*AkV}bK*;Xl9_m+%LPBCw4asxCy<%naM7 zaMe&BKQfq2%;_SUrEp&D+hDv6HCxp)A8pH#{&b7^^}xLVfq5=j?1N_}J!yF0FHNFG zkdeeeSGze8P#Ty3lnb^$9$^2vV}rZob&+gHe999;|Ke~fzUo)}@Dk7IIOYmTM3tBl zt`(qtTVDaejy0Rn%+f&`;mS2L)@!>GT~g@Uw?qv}UWvr>b{@>YFqe0@N>^VpJzXd+ zUS^hd#iF)j!`r&sh*EUb+~p8zX~CE}PU&z-S5i8Ii7(^=4lh9*Zl5PsMcKNdNH(pY zqLdMIv3ZQW6V9YAYI`142&aR;3gT6nCI&5Ad2mvS1(JTWKkN$}h=^;sCc#jIy)am# zS`0vTv&2MOYb_)(_)$DBWree>m$^7b`Uz7CL!2X|vSJE1AnP)?ZA&R4s-{fWiAo=V|+kZrJA`+)v3`O#54=e@Y zrlxh`tq~MHGuDi#^+w)!-aM`^s$zQ13LAri!o&2Im9G7MpPLhW(TF9_nLt^O$Jw`cr| z|NBzd*0qV>6i@pU=nEpO0qxYh9wV`=HlfrqVQmV_9hj{(qWfd*uH)WDCTTnN`s^d0 zh$r4t~sn~84Imtsqz;c-VVO%_5{wttDPXDHJv|4fVR9 zbUu<8DjTi}gk*d$sNhFsJ<&1w4n9bM;6-462bkVD`VD`lV!^49vJ4266zQ*hp+zv- zLT*ZUiNytUg5O1hj0Kd)kDc|XTl<1l0lURE#W#3D+JW}~%%VDGfIUAAEIo)|A-OM> z>ps~VY^fuhC>W9D9vqQf5={|U^Y3Vw2!>3s_}N49eg2?VQOW*XA?3nkbP!0MK+JCN zWLRX8fO(?e1VPbVIDFa)VKxXpDn&?!zs3D!$b16uDEx{{O4_YYLSR|aBHK_=Y6(is zd(zZeqIGKk4F+?va)8`ARSE^HeCi@doPH{pvxycM8Kx}FIF;907|CB`D=1W=SLRr_ z1YtFcZpGk5GE-RUV8=v-VGK*^EJf04gjP}0dI1@}`LH6fLWc(;GdR~QaJGUE5nvQ{bUlckStVGQ(+&t$FUSH#f}@tDW9-h zkTNYMWAx2Qlosb?gE*|%XtEngo+%PZy|Yu95RRJ!7j=v#Jd4P{$SIA6qdwNFDThJ$ zxcNGO4+xC`&X*~!awm9{+wYI!)HOO_k~7UO9wi~JW%yz}ntb&YKAVa? zje9L9?Q)%aGQL?ajkoWu> z?Sm)WD>W%muc(b_J_mRHFXFt20H`Z66h#t1ei6~QmF2(C6%>a?JMvT|4RL{k#XK|Z zC}P)YBX!E`Pv~Jb@ngnov3=w;&iV8)i{{Tw+7KfWGx!J?g=$FBdQ|I$g;KsglX1n& zI8x4L$Wx4~cwbNHaSQYm#TEC0?L`T_C!x0p_y<&NbROa#%F#DYa)R#7qBTt=T;g`X zxeCw9VyTqMQat}qjJfFzrhDnx!j1}ViW{PJR^Bz5HJcq@|KsiNzljMMr85x4TqKIo zOw7$h8eXcCq|!u~$&Z=&e^(>5X9T7*eq*qY>i+%u~Jm2&a{+Ev9rk zXYn5O5nw7{Y8(cs0Pf{pZN1ub`}E}i3k;GJI{nmLMlANpK8bFJ9h8_?M=z~jT}F$# zsyDgUyVvJqh2^qNUnjwynml&FT@FFU9ew?;Gu1IwDHS2eue4g=%}gy-0V~=}uh+l5 z^7ZM^_qOoEy`#5w#UbOzc-t|M!Z>N+pn89YKBJ#5NC#-A&E-$;$Z5E>U|IuUlXaC^ zpA^(6^w27d-BbSbTnRYT#*!9AouGxU&cv$m3}EdrjtY!5Fl?{LA%XfRG!R?wmnn~+ zX6eo2zoKJBhH4DgNG9&@Z4s#@B-2mubA)W&Cqz!3rfF8*Y24$Ij+wyJNL5L-VKP55 zUza6ZFX_mp`e7m^ST0i&lyZUSyCJoB&-`wA5<^$#QCNz~2+u)MbfRpuaRh?!ZUM47 zVhai=@yLPH$820Mh3bu+GQdup zR4c>D^RmhCxZVQa`acdTo7Z1w{a`nQk+5F zU!wELy7W7uF5V-1eGNe5>)p6BQ(spj`}N9r>^C!PA`Xg{NRH&+*p?t#(3mym&U>)- ze1;Rwd2piLY>RmF!+x5k@o zTK?55k3*fEni|hjo#*Z0@uvCv2@dVXR-wnn)MLIDv$Os^x;uLGf_kzV_x7@bRLC8c zxMKQ+^)NG0Hl=_h<6L#XGvPI3smJ5UwyV?T1QAX<)2dZL0E~t_^LxGeUH2bBx{EF^ ztTtB>|Nrs@YO!(nHOcA@hyo%|Ji^pgmJB{48gTZqZpFCUU1wr7$?RDfug-RT#?w_S z9~f+6lf65R>Ri~!X?Ctk?Z=cV|iYz5@p02KN5kVB&_FDb@@+>66x zD|uP~7#hm&&8~9+$>@DF5|5(cN1bfeZY7 zm}7h*9>~g_R1u@lW zg;f_R(9UGXl5`Zg*k8=tF#~XA_=>1X>*EK^KNceR+^1D^OkOstus(e5YHKyJ0op0C zo*fv9;{*5ChLBiU?&GZ#7&m=sv*v5_S00kGJt)fQkc*p|4o}kt;VKu>_t(?>k)j=4 zGsF8430bX^Hu}zVB5@YiXtut5a><{3-$72@iH>dc@yifB7vQTm>LC zC|c5*{@byQ@W*R0eM!Q@KBw*eZF?wHsGbq)em%U(N^e)~n5mE*wE=5Mk-<;q_k0Ex z4@0JrHpyWJXib@5G(ovt&=f>dxBe`_zbY}47&ABiy3^>*p2a@9%10!m`-}6wjWotQ zK;tRTUJXj4zq2>4

}^uv@Vwk&eHQ2fAp@G_By zB>-3*2OhXy*QNL{m$rpe!X$2g&&!M5l>a3V6S%H=v*yob?)6e9(lzqV<{}^S8ME?a1X>s4x{+sl<`?G_%bqWeh`^xAB8D0U0 z7({ebbk2$$iz!I)Txs}EEs-fPex(dWJL z`@j5=25pV1vyJ~)0sQSZLm(LWFU9fNd&MN^nOd5V$o*@muk-auZgy|mp$Re_80Yyn zjFK_-KnXk5gQG^!2hqJJ=M)rORfszUt~U|+_IJ9xabAs&&si92vah!qHUhrnTA^T` zomx-Nu|Z2fVA9`B2@S)rRlYEiiCwqbLPm^CSudTM^ysR)C%~FC`O?lS+c$vBQuddZ zCf`I)V^-u9e@@oW90dh^Byi%*-@EK4V@bKj>~c8eYnH-jIYofT;+ zoS*mh0b%Kf4ncpVZ0ER6?LrXck%IoW%1wYT4tM^}Sss)% zt2f^VPl48a6KL}qF#toOllz*Gf#9E;(@sxMcyj!uKO}Fy0UrZDp4?%Y4i{h1fb^w7 zCoHJlth2pSz0#)f;yIaOq9jl!Fl(_~Mc8X6_~PU*2-I;pFNSOzgE!$0_SffPZwwZH1J* zyl${(-grLMN0{xy^lW3~{Hv1*4!@!95Sc zqy2QZJBs`)-|0PF3Kg3B%I3NddOB;QbuZK1f#04Zrs!4zHf%l`GXh&PoVnKR_pL}y z*D5=VXA2jE+6U|z`paJ(2s^`PYRQ;w%o5DCCmvI{v1PC2yQYAJGvVpZX?Mj!@zd>_ z|DX)cP|-7*{u)l&W4zN1oLrr|Oja9X?-~_vcWfc=Dt2r7mBTy1AJ6=)Oy5S4BaHI^ zz+vUq8`WuN+JX4S_bAQ7#9NF5i=AQDeHf279NneFzM>;eTW6M*ze@nQK;&E>#k}ZJ zAH}2yw|Gwn&MH1A-x2UzmB?Vi*y(l9obbNz#~ zi$Ypnm6gWb%uukx2t_pE!2+E#U;$egfQel!wg)z!P2(O~Y#e<2M&e5J`L8X1+z97Q zAVm``p@)ej*hH04l}+rm4ilfT?PJvGm%U~PDug0TJ%nh?hnblVPFWWJx%UelSU>l> zdxh6GKYzAy&fKLX{jApzf1_-l3$H{%x+M(Qv*@N?xz4d4(=qC>{YHggBqOK*K!(lp zyd{%YAp}hb!97ltWRwma2e^ozXZQ^j!ee8 z(`cE#7zzIU+xa?+y{Pn3A3s^zb8lAP^c85Ru?O?$bNDE)b?DH*&k+X`)Q|NdJK|Qq zGC|#Ns6u)PLS`x^aKQg9Ny*~@m^WKEbjUGlUwLAf>EQ7s-oT);XkH`-_>XGeSI@^a zOY7B`+NJP8a>dCGIJ(zlqc@k;Ag3gFt7Z0n zM=!~0Z5enGbSNT*N`K&ax`LPZQNH%`bl1BXH_`)XqYwiLo0D?H+42V>pfa8tUhcQp zELtXBrT4(E!do3ySnAaKlWmdvTG(yJSW)5yt{NZrT-XHvc9}U5zu|7EV2JeLMDr14 z(NBeY(QEfVdxn_rB;?oVW{@kPU6toUXd_VWP#sz|edvB!gyPSa!iwtwdSCBBAi=lL z#hwQZ6R){sq3J-UCA~ie6tg4kxbMFZJ#mfK;r&Leq^HwbU$D+QUOCLYcP$klepq67 z<3?Ih;u6GV#~AelinY_< zRomTC<>XY}u%YJn4<2zCtQ)I4-_bg)no3SjH;`XlE}G>$jy$ddmdkhyN(AKb6rDVXG|XctFkbUeE}{^GH2Vm1Oqew@%WSx1v7;Zl_3j3sqx1tzjt9lk)k3u}{5iTP zd%fwUw~syg@NnOCt1Qf;>X#n)t-FxAi2Ws<-(8+!?--r9&Dt|gN=|um|)%D>YpJ{vW^?q9s1>fG+f6GthW(#yW z>|MEhS-WTKEi;(xJDd)0K5#uJxA56j+YB4o6h72ImTS@c6|PDX_6`Ds7%K$EjHDu4 zCq1qORo1*Bo4`uDTXIoz02j?Hg;3^C)wVT1)rCDDzD_LRVbSZRe%HIG+NahMJ4o z^|d#IpnqHTHBaB5+lMo9$)LArVC+o)w{|1E=_Hu^KOO z;WAvD8(zzHtqMO+;VANB(YJpV=Yuh5DCLBde3A*JS5~yU=~MdoRFJrOTahx`Lo!XI zUd4Z2$-CNmYC-aQDo$ofK2F#FCN4wogKW2~E&chh;=0{&XgM+qI2&C)cb?q}P*XK| zdS!_88uilN3Qz3R{lgzk63y&`XcMlqy}nd?UiZ-b;8z)?N{jpCDh0Q#BCEVpPRh(O z7G=_t6a6sRTO@p!gpTz?E0MJ=Lu`G^I9l}4Ve1~*y=KawHto!wMZqJdKNic&W<2<5 z9(S@Jc4Z^jmnsCzbbL5;UiiOv$VNuH235e*Jf<{JlQdk(yzrDqA;N~$D_3wlpI;8K zW3ve9@GF;6fUXGX<-bE;mmu$Hn6B{NUR4*LsYeF4TdHVhWov&jJ-)Zs^mJ=T{&Sfp z=g7rfLW#rbg8v6M^M7zB%j%*4yZ<4KJhuBud$-0MHM-Fr1e2@oSiM>Pgd}-*7J~ch zPx#mK67Sg%7_6_eU~hU?yHwsuCw}I;iH}1xtwW`t78`WI4 zxa^#g*Cc$V=M)UW};myO75BrHdW5d)0DXb2KlIzs=9M$E+Mg7U7$3E3gir8YE`^+2dcs{~!=*?NLCRB-_$)F2ovMteC*c9&>}s49-IN!(Ce>>#;ITx8HVsEW zqMX9!H0+?jNmWKe=f_;1p?8z${ulUYV-CdsLzCryikFR<<^L<*^=Y0Wm@g z>>!;>c_NrdcnFFnQ|{>n%S;qwT6~xB&G;vSBc`Ci)s_!Ev(#+cr5byvegDi_zImc^ zag8wh?d=q@Sy!v(L+B#w$-oK!sn);voa-2$5(`O=K<_=<)Xt8_do6u4;WP)Z-IA3X z*TEOrhKCn=bp zd+Ys6n*L1KQ~u|stH3{XcZ}_~A~Kb~@Z7WxzQzrcW0dZa|AQ|g@9MFG5rqf9+Uc{i z6;Dr|Mn(l=2roozD{HeRf($fDmLjxrQ-%LPCn<{&Ld`?{ZD^vc3AgS7dq7uRCRANt z&z5HF!XR8d#s*y@teB36{9p=p@TQD>!CX=>t$Z}V3N5V1BFrx;Nb2f{P#@AoMNtl& zgN7mYwiRo9B(TEK8QMVKAnFeA^xG`HUYljsYYvs zud((gT2+BRGh*Gowee2Jp4Xj>z@r@FqG?0Ks?<2`=HzZ?(LNqK z9@$^l@`7ObaDS&uJ=Goh_2W5tkKz?y_E~WE{7v8d{mCaEQONCPg54xs!H+=G94MO9 zg`TZJF@lzfEyH+I;U+FuF1^uP*4dfUHM(nJgkN-st6T(QQtF&v+(1_=Uh%;-A-=KH z|5bwIC~b;leq$71!9GX`S#0+;%CFf9fev0K8yi(jO3ubk`V%B%A!%Gh-S_4i-iJ~k z1tNK9JC~Pr_GR6@hkb_VgK<+0^2foSjE%*XuJx$l#M#(eQ>yb)+>9-U<+Pqti>}6R zIvv!ne|Fz_SaXD3*R}Mq2q#tll;@BHJN^`vqQ!k}`JfU5_wIUIb>J;JF6YC>`>^{! zd}3X2PxN}@zqkiBzs=1oTa#I1_i?!AlJ>{XP;HiAm~J+=eKO~&&a7HLtwj2n%x*Cz zfeOu|!(?yMbHE#Yf8$p5GtHfcq3PBW*)mfeJuI#W`F8;`eIfNc9PSd7HpFCMAiD86 zc1XrKWQq{5RDfmadxtTsw8jtGz>D@yY)6aRd>}x)w-t+_TFdZBz{tE6QOYnzVu?}=wZ+Ol#4b33oY;rpq5*R zVyj6>bvhKSD!@#*6GFU$J?h+bz$=>+*=S^ML2o3}@WNXNq+wM7ic?=MrBsSE=jw(@ zXzpbgBs~gahWfCnB%C?Wcv5^s+{UF8wV92FXPgmH&HhMGBQEx~q4EFce;hiyaTRmP zZj&;3;Ew&U;pa7nhh~1ECAR|=$%8a@riz=ZW&sm@0>2f&l80OkP|ZV53V6&Agh=wA zZH9*@u#~09SjylooctBo3)vlXjYhx})C-C0jWn3#T_{9H&?Q!4S_ENB$`$LYn{~9A zRH*pp$LYmPJ3K`SaquFlD(A8(c{7m!9t3%vJRwTD^Rp(xbeo0(Z&PM(dF6+Q>u$`5dbf z+MItqy|6BO>UXVcvm=cOS8LM6cUn)*7&K98AD$a8tJN=L7jti~-}fGDjsYvOy;REz zzRtsg4`oRjO)r7l69&!rxXO5_v2kIfE(**lOw4+ zg*OtN%fowiRYrJa(D^)K0f72@aaeos?oD}iM_;0oD6n<$?0$2u4MWzvcA=>zRk4FsZw*$YP5 z#90ZPeve`Pj0@$GzfKp37t#mnVO?fmKq%aW1!3%<j!wd7^9MyRuV{L#rK->Z zudg|IYIb=@8F=_s*0DwRX zwLJHTFt{`XR6wM2cfMV zA@$!+gJ$^uF;a;Tn2sFWHOe@W?3p}bg;N-C9u!8v+AOUSI}~iKGD>QoV~2HnDa$a zK>@w)z}kf_U(4DEvjP2QK5+M;xO`*K3zuAW47&GGNP@s%m-4c=H0NR@8=W@IP4K>1 z-Q)5|AbMB9F+X{IHK}TB<%C)&l+wxf(rrWMO!6nZPf7`mHmIYa{CEkKWMv?0JQM6A zF=C|yP>hv+xZ;M|cI8g)4aS)o6tTkvbx7l!z^0HV7CJc{<&m++d%oAY{h#bO3yf1dM2Q|rn(j+vN4=ZP22qwp5QoK$) zmfCU@JFXG*L1>_IR#q$Qgnp2S33w$o>sv>X7RlF~4zffVTBw43VWtX1oqjM7%{Vg( zV2sYO$nn~yW!u`_$$&q5S)aMJwdtj{4c)+m!&1WXtnpZD3QYC-`u0}vtp4BSc9_5> zwlB~(=2{iNB&u1EB)TskB)YkgBpO?B1B@(e|EH}iR<%$@Rzt06IiV!95$miH?rf^K zE*niACaDoaj)DOZ9U@}LV|8u>EgQKE0Y@nY^FN%UCWMBZCUwpiMYbPBVCJ;64~KDQ zHZaU$x7BcFyo1K$U|J+~@RjzR;<)qes&M+zQ}E?GW2HsHMJuA~5e=KeCLVO1 zt!jk`Bs)gkKgu>bR#9y$#|*AR7%)!#z>0|O6E&i%(=%?9e#yn7na3!&pLFru#I}>o zJv`WBBI=9FvW@|fmWD$hG{0ViUAnl$T8pixdFL3N%l@1dTyL3m&!{$Ocntty|J7X=Ib9P|^$c8^Kq8oJ^6=5g3?bb?= z+No_UkWdK?lz`K~KhqmOgz6qLGocyLJ92hwVC9(C;QR~szTqb1v_mrUuXQU?YG?BDHY+wR!HBRe7I z?l5|jY>Eg2zuabfm1F(Cu|XTQi7es0=J11-1U|x|-h8wf+SODO2hP+T*o+&*`)+H9 zCK>#Rc#r44S+B9r`Q9R`ir)k_qFGu3x*R!~u4G>Xg1UDUUt8eLRd-;KFyJ4*1LgJM zvt5+k>R+8B@=aCIoCrP49%3yNZ@Rj z`iueqOvY||D>`@N`!we(wLz2xwNLmsF%F>?zRI2#k=VnXDBgSCK;2uG=L@S##TRv}DBA3^63%AXU@mT_Uc{qH=TP^|qmhYn}=~l}hWw9Ap4d#S_ zA$wTXopAN?epKN{W@a?{D&l67j0#OK=ypYzVHhgzVf5wU%s5bb7Nz zx`ve1DAx|*()UcLhQb**Y`$ubh!A}5S9NCOXm<{%iTqKCu*HUcd(dFl?b+6Qh33Rh zGpO4rI(-#HP0?R6s2JQ%GPI)o9!d1N??Lu{yHQo#bv%&*IzQ^6aWC%(46RiGDC|!l zGX!266B?BezxEvRElr(Po*XT-efL)|w1w49#vQy>ez)qzLj40NY#S736;3_Q{&jGH zK$ftI8T;PSDPoH${ey(Vf#<5*$~;(psL_OL-G1ZLh1MUBY|}*pBMUgBb{a<4YSZyQ z^3SyQ&-smJz+-VTMB2!8Y`-)oF%~;8uVJ+UCstijQB+YCAi=!>{y4j()9X-6ab`Xs z&{F-tOkNTh;a?p_Vn*9^c&N_Af?=}ul&p&Om%;oyrf_j!+4MMUZi=x?acN-gX{CUd z3KA82#-ydit>qyR{pOUQwLbkryk5|g@mI`msf%hctn`SEjcut8c*;IlRhI7nc$D78D0mw;Lj8QSb2DD9G9Z( zjj$#2`{?+u&_F$J_{FF#TS_=ky9j+=2H}#EleC97PIuN9~*4$?<{V#tWOGWp`5Yfr6an4N!q^d_HsE;ig3L4vYVgVP>Fm)oi=Dc*#GB7X*- z;668e#z~2m-IQ?L3ThSrd*6CtVUSOEQ*d$9t;jV-XV~D_dM>?m{gD1cRnipHrCkIg!^jdR6 z@wzC&KQyn@kDFv;tPPnPusk=;<#vM+*n9!U>5G4_X}>$or)n)m+6<`86%5Y1boZ=< z=Z?N4Y8=LA&z0=IV>JubXl=V1g9DRbh91d0r32=cw`q0Klt1#!#z>Cs`}~h z3x%-Yg0n;^*ID4u&n9Yvp-DL*PHM0_=+A=7=}%5$rZ)i`8ofEP(v{%U?Ap%if8tbg zX5x}Fm8!cw#ifseA7d(`skMn|<+bfNb++?J+Fw6t8Xk4kDOvQs2mvj5ZPy(d5v@tf=#- z`F>W#*{lj%78KGjubG8$j%q63^CJm&VA~d6%)h%WFR!SqZ&S5gd5J}3St~Z^-o^W&f>bx^Xv- z`UfK<()p7nIwrCvM)`9!?j@SwB}ylfB-%8JB$g&}1I%pf|4S|+SRG0o>F;U|_%8un%2}lDm_+eEMc}3I(QEfY_sgJc2 zTb68ROO}gX)!mzR*VlAp<~DElz$G3oBD<4m&&9{)6;HhU;bD?6VZBDf0-GmbWxv36 zNqbk=8kCmOCF12k-LNklgXj@nhD{j5gd~=3Bqr4unR58U;<>GRYHicI(wSOBBEeev zN-sKyb@FDP&ZDz9&|>GGV2b?xFG)cSdDWyWMfq6rIQiP>DVXrhU#|w@=E{P?f~U%A zZcisL1xAW{gaZReNlF_Vr7{dacW-IdRfRTo7Xu?F2QQ-_1~y88_IZW&X~liGENLae zMEIP-#LxVlel1ptLN1NQc@uX*!6|Bhtu<(f{_k-c zeXESIT-REPTITMC^iw;v_Tk=9!~P(cE-zJ=Hj*M@Qf9$k5)XTdUZ=qN~OH1IkgzV6$Al zz=-=8h?Joa?E`>0d+?FWhai&X)Tu*Y#+Qm@vcETTs#Nbuf= z%}BQ zL?d_}EieN3xIWmfP@tCO^3W?ymZIOUa<(Ys{vAtvRW3|ez|p*zvA!IPEhbB$T|JxL zXO@W%jQ4r&)pvxpxQHhHD|$o?&2F_QEZx2lG9fL$(ig zgAWivu=`L90loRum$?|8+csVTaB;^7z~w+VbSHmK{evlhF{=Ma3b4 z&p57J{>=NRpObGwh^?4ymAXG%SAPy~*3??Is{EQ3e*jgfr9dXfpVgt}ZALmS=2GCI z`%DB(J3i&vx-x9_8awQnJl3Br+_7=*{vfA4pWM8LnEKL8y9W$qt>k7j_x}zYUV^Nu z!4WgVTzess5wu|Psv%;mNFlD_E&Y*#9iSm90TWg6g+UFlBDuviUC0QuTdc0%W83N^ z*zFsl#{TKoBJ(&-UQ8+YnC9@YlD!_0seA-zjc@Kx;M|E--;EHb{K|FcDxN9w;`XdH zbUQ!ArwJlsMq)N(s9~oE3kM&Dc7M8{wKYdZxQ^d&sa^T4;V{+1rHuP$P*m~s=`gY4 z@zg#Kf1sxrY+60;_jOCzf;lp=fxXTs=~Lys3&8#9?S>FyC%GU0J0c1y>fkFuH$#Zvw8~juA6kNkOqz8Ry>Y(fbh(^4tDW(}jd+U3j`$=r$r}9ZO<3}#<&RPj zeD?2vXEogoHSB#CU#{nvNrN6yoS9R4Ao1;y7YVEuSak)ni0Y!p$@xK}Uunh+`%+Pq zpZCoovJKY7RWgFGjHUQSUrL6I4Sf?R)rW^0fuJuSS$V`J7vy)q8(|t9hK7v$!ShCt zgWfEORKBYZo9&e+?Ue>Ln#;c`UqrK3GMBGo$vfw!BKzyCzM_LTh3$OygvFXvvGnd4 zJv*Yoa`NsrGP3RRk*PTQ+=uz%<7Es=YlM!19c_x~DB45jAv@xafY&aQ>eV&i@wC(# z^u2`7=i3tLU-4x`0qsO;|22Fjq_vA6349MiX~eCPsVBMdz<$0_iGa5=!lM7 zXW9_Qbx_uwNEZUB4l4=AGso=&6z`8WLrYjS|ACh~WS&G7dmp3{E^y8M=}?6*g$Kb4 z#}wkSDtN;KYI?j$P8pJ)6W+bc?xCY;#UCR14?f2b&Csb7Xmwb>+;0cO{0;HJ(nNed zzRsGKh=_V`#);QXG4-8C3F7A881P21)$3tpOpSiT@utF4E4E&! zBpqH+P#>aCrafOKu7aatd)nzB?ZTNT-$GDX-A>%2u4-SzV1qGHlh#l+*Z;ezoWXdd z{j<3O3v4G|Q_R=*Wd`8>rQ6GV&J(xjhw5!zT=FuUR?Wp_k2{8nJ-zZ0tYTAA99^I< z+0VH6T>Jq{AHo(S)B)SqT&lHf(lkrO^$U-PT+$<>g&p z=jAP3*VHU6(FSbbEsjvy=U5>#fvs`ce+OGm#6NpW7wGDix^9VRYlvxMw8fA7X8S(W zG#wH_gUy8CqLvG&(&v~3oU%Ge|1ODks66uRjwzD3d0wyWN|UHFEC|f?`~jwJGqD51 zIFO1YcQ&-YH|8p zeztxgJ}D->_hAMs#lzHplwRxE9}& zH%z74JlywFwHq9)C&oGN;CnW(Y%k$!UZ>RiQlBw?IP7hG1)SG^7MP^>`rqi^E}80fuFDu-oP#K)^ufQoJfU-HxTL)my^71gd+m#R zy3+u9NdE6*vrP59X++ut`@KIy5((riE0N!hHI*?dmkP4E*tgo@$irn+FA`NAPb=xJ zf1sq1(fHhhof>%Q;!i7pOneZZ@5&x~koe{O)Sh}38n$snXS{*nj>Jm4!2&l4X(=_f zcSfKz--C+CL+>)*?%xH6J*bb|fH0@ck!}JA?!Qq5N{ku#hfiEnejmZuiHRc+cI`^3 zQ=yjB&~ZRtbQ2q|puE6Wh=_m=bm>HYS{m6$*y-gYS*Eg^ zwMHYM&p*lZ^}4E8|HjRw(XVIe+tSyzyrgE5p^%iLl9H4RME+(o2TiM z6U8pG{6uGh)*!q+flPd`(*zAG3Jon1aw=}YDcxGZJ9HatH*af5wHTPoI~x#4xIpJO<-M4Ov$Pa zCppS%JY_-;)8ZA)_{jD_h2A^qyoQd&yHJQMNbesASYaNeG-4tgW44tSXZoF_bSp*i9XsNMWk-^K$VpmEoZ#&PDjM;93`l2^1nVNTa7{o>7nHgn@k z6D1aQ7K&0a#uKOtYSYyhdKG%;x~Z8c*qE3?vFcvz)GRJpn~*3Hs1{LJzz)2iIpz+F zE1UG$C-I^}zLP}pGSkW|V| zGZq&^;h2&10mWC>zUjBNyAQQ7*=JtGURr&_g*c?mTYmL67cE=gu0Xu;qeSRacDN-x zQOCUsFSntl*U?yfjxNbiEM`rBCj$(?F`vHxHv_cy8tV~-`;Q%UUF zE1b$k<*<}XngI;S(r0}u&Xx&a4oSvr^$>hjzkNIch^5uqDLr>LH&L%CF{?Cxqtrl zB^ zi$WazaRf}g_TojsO0mpG6PNsAl#%QaU30Z?biu@}#ZwO@8gf4&DlilzL;4ajB@|+> zeGLyO`AQI1io9!tuS-5C>xl}ryeV($qVFw=C9$lgl*rukM zbXIpsB*h}Ixpd9JUjLcqFM5I@5F%z?7p2`JI0yuMm$F#DbX1;EO~$m8^hg6MXeyxZ zJ%*MTjqVp)W90|Wfw)ucJ9MbS=s&!nkG(m)@-?9{sHDxwwr)_FFI2K(<{(bFX#<_y zj=QI3Ao(L673uh;5yV(X=XuyDJ`IAI*YFt>nk=#vZ#jhp;yQ81OdJ+~~8 zk$@VqR8RRzHt592d$N%953_a~5%EHX?{7x1EQ?u?fPi6@KrU~Xgn!eK?v5k5KjMF8 z(A0cVxq?7wb;6!fQ06AH)vQ~mk{XVe+V`3<&xpY`wNAI{NZx==3;Sc`S_nK)H#fDG zj*`=RZeEd`TTxftlziql6_dK=2i>xt4*Y)^F|kI{#I+H0_~HNuoeOAiYQG=fQux8b z|66NlW$(IUH| zG?ZH=TSsz}38j-LnT;=vvrXJX81KIB3AmrUgEuFgSf&lQa`~h@{vH zv-7cei?VmTY&{27i(LL7snL27Q9MMGZ@^_!OI634Ot@e`7qgxMzaM%pNy}N*7?XnR z2?!Kwe<=vVGK8kdQ4^*hPKL3C9S9S~OBekr9}*?Z9>aGG(-mWP{!q zafHv2MZz*b20+^Sp7|j;g&6m7EqPoR-5u<8uJhE%Y5)NSLPz1zv8ec1l9vSEW7wON zM(nQPn=90aE({|bYz^URn(9ktCiXF@1Q%2-7Y522=45mXZ-?WxfapxOn%3aVVcEi7Oz#Es6Xwaz-8Dotgi@&6wbh(ammhcRgC)StcgRS#sp{F?h#y}#(dF;2jre<0yK{vjrGc`Ek`#;||Md~y)0lFO+>Q$~;=QqiXp9~ugwZ1zz+^9dn zZpV=j$LXeAeFCBbEf7;eBGU(m2PYL5H}*pqx?N@n_l_@`9LH$$3@}UbLE?o?w%j=O}w7 z+z%V}z9tay1UIz10~y1*L`$ zq|HTnszrHrOCwoq-2nS%B`dQ0bZ`EL&bz}T`g=KWco)RSL`+LpiTYa{`*H4!;21eWp@caGQVKbt1mW5lo`1L$<1ccpee0p?Wv0+SbKlEyp@t+_{bbBX$p`2Wp}-D zqR06q_Nc7ZUQ@7>(mN%P%9q~4JBEt7dc1LN1<*8yRbRL=IbZtpM4!8=Ep7_iB-sxF z3EfG_L@$U-<@!0}4y3dsHyjlZl0d(~>)lb<>3I(U<;O=jPKD zTxj3c#|8uT_YDv?pKX{jFjl_jeS_M`6qEERcKMSbiya*~r89`-$`r$n!@wBpe=13T`tR|UGy`HUw% z2-DWQso>w=y>wR|m3%*6gAfV;xSQlqkZu6IW(*Prl`EJi5XIufl+@Rp!FCsGtXnkG z2Vx-78{SR+EyJe8^U!bDw(&fTWdS+Gu0}i(xo;4XEX?PQ+VSZmkoJ&vOWmYpEvv-7 zjd?*XMPWkPktTP)vZ;rb-YM2T!~3c= zgnDuqQit=n^~RbeSA1fD3z6=p_oPRvw|dv-?l_)3o$a9UN32caj~atZA8ygdKH}{pHhQKe0vm-UpFst<_C=e zINh{UfjMV#NBzGAeDKA2K$U*t)kQpEbUfL&NLZ*FsGF>=lAxL4aoBm{ZR}oRJ2J3m z#3qv_nM{ucAVVkuWcqfC-$yr9&DsiE0&PU$@#_%f=Apqp)X@>`?Ca7xhx*@z3Lw-# zUIOEYZLpW^j~-09BVe>T?bcp+(1!j#>b5(>^q-l&uaZ(3HKbdfo!5|>38Qtr-Qx_H zHzy}EolqEuiaL0gY`a*V2N9O+H}5&H-99PjP`vGVU5vm1Mpmjq{#1XHsAAZvG+5Ef zQ9EafnCxlUf7vcvq(!7 zFUprA{bAJumQYNk#)X>}bMN4D>PlzJ1(xQ|CSO!73mSVShi6v;Ot~_%AKoelaJ=9f zWFSix_jgx{dwgf{I^Yb$xW5tg^qxa?zlQlJKJHJ8k>SqmrCwk48(M5+x7x~Bw0m8z zHg~M;ay`KKvi+3F>2`IXNVKwDo%27I58#@mq(8F;WH39C=IH1+{@iKkuyKCI^O}+w z(J*zDi>LM$)|p!yYPBy}3Zt+VPIpLI*Qqu}hg~vd6t^Q;f2c!f98DgIZKvy&~mZKAxNov+jIBybJOkE_$t*GyGW&d zSQTHGQlG=jio9$gc#V=$1{KK`eHE8<569S~yF22;CG-qwDe!%eP{7Y$D4Y1B`P-g_ zB@$Jwss8!w))wV|GpEia<@i6bhV!Qv zzyBhR<`J?)j|EhigXP)dI;3yNvp;(Nn@1VtZai6_!cJ6NAWh`F;Y+Mu;BIWbX$4C} zx%t0Qj|ER8iJmuHjUdkjh>6xur2hj0U?XA1r^mN5w1np7rc?H?H=&a=v{Z7op_9dD zVWJbYaCCCUXJ-5#DPIu-Xwne1YH|ngvvhZmo{w0%(x+E^*dATi2^| zZ~JS0@5tpO8`netkdwk>B4rIujiVGR6m!e9#cB2gw~3A$;MfV6RfRHvtVYws+?ivi z8iO&4$|INFmmsTBBQ)P(b_=ve&>@55vnhlG;*=;O%4lARlakWtzrz;=k7Tidq;MOc zXDHJn!poM4%O4X(iG?NjBg0zZlKh;@3yQ(zHy9_+f&ONKgIjx(`Yx?60-E$K3)*4Z9y11m zZy6u#96X?6)x&xz+&(EYE;9|2&Z*F`&}p#KYySQ0@c#YQnSs7Cci+h&4yTm%2P6q?gPMD~;e)xi2q}dqGK(r{tywm7K#-3=)jcJOL3wBk$m!1B;-Q zclIw(6P$w&DYz00$I7jbBM6~ozu}Fb$PR8Aucr&`F|rJ;E00;*F|Xr$(RAY1cK*Gs zRClToCh`zz!IdWW4=x2^c5$@}T+O{VKEqo5vGA(b$&Nl$ySR&d+yz?dL`+*byI<~mAH8+C>pR3zqnD7Wszgj>jP2%Vsa=*-^XU)(i8+SW28q~H zk*JHN&c)5?_dDa&@07NsBKcZDzSI*gbk0p$AB@?sb~9@yOMiFt3eR?iQ)_pB)6g_0 ztIp@Ht$8SkCEoPwZ`$I#bIEW>Ol-Tt@<}};Ch^%EeE`5l%+rjAL-vfQ3v&irxYcN) zfz}77)z;Qjt*DWFEW{Q7_b(y9G}hhu!dOXyD_a@3p_7bT(%D&p^}V~oEs%~~v?J?S z79JeYf+-&@6yM=}Sf95oL;DtEDZho5b!1Vtd?aI4a!Xy3hfL{ryCzabnyRPHn>pr{ z)rGN;I-<4^=M%PLk1cs5L^5bW6~Y{82d047j)B7(Ra3pdsZb99#~pH%7KF)PkWuT2 zWnyH_IKm%gg}ul<#y{(>#ASum;1ZT(T`khO5nD>o zv2pnb?&oMyv4aS4V;kmjHtooHjWh%4I>U^?773|5&qd<(<1z|H>hQ{nMajdi3kP>`;iMf22&HQHL{phat3la%wD+=+1Jiu;Q z4%eh-=hSH*c&5fgo^+S)4cqk(O}AGc3o`mE&>_sE;q_~Q2oZh4dCqzOirlud{vVF?_7#Qil{y{8(NTu9HWAT3H0iMCG=M02X zn*j#FI>9Q@FnLW>!iGnE`6Et__0hi(NR!cJd1=Ot0gHed7`5kZVozdO=J?Yl9*?)V z*N)bYjU_kyY6+}(KTTfe==`E+hQf+nBlB%6qoY*8P3G;<&)e1E@w|Nqlb`2OOOaKf zQ=xfAU}FafVm(~z?wKI7S!X_@8-z4GQcmoVA#_`cq` zpyO!ae^cmSh*(N_W-_OEn74C|cnkuLr<&uGmIy@%s41AMXw3E)6GRc7hK;l{9BQ_7 zVDF+G+{lTivr=6;MihXBV^zo_j^ygwcnw^-4toiQ zHEPKPBIF@$>*+r_pQnCr+ys>${Z-SAczW-yx35R7qhyJ6f%OI1iI2C3mh=Y)rCX+V zkCT-*!^Dd_sf8=vuQpb8>@N$pYFDL$uAG>9w%wQouDH{^HiPpI4=QiLQWoKkfe(01 zK;zxXF(!)5t7l*EaKBhr*5s+tt8~3~GM$vNSEJJsN>QbIQm&h_^CE@(2dOf@hvP>B zj*jn))#GQ!J3D59zNkgA@`Y1=cOaqcxp@|z$+HvGyq!|Fpav7?7M7lFv!JS&TA)-{ zpU@Rs(%;_-kkMp~kL~B59PRgZt(g*`c2sduY zEZY6yYO*yX(ruyil|svAQtE~<M}U88>2#T6GQ{_)TrK_jgb7^WJL`rSrSm(#cjDEfpzht%@S~$jxrajS z_V2Dq&GK~nZEh;r8{OBM0Y`VhXX!MZ+u3>^?qK@$?E7xnB;8W&7#-IQkp566LQ*bf zlJPdUvL~lb>orJfa@8%$dZ5q~o8qz0dNlXBQn?ii=an@x=K}&B+}UjBu6%L!?g>t_ z$V7__esdIZwUy+W{cCJAi_;0Ig%m*yB{(By~cfK(`uTeWV zv|9V+@Rh`pT>Dl`xEl*#K31(nF6S7=BTM;xRP2RlGSkaw*=*X81DlN^^s2F*!DaVp zA%D8uspaeSAQaxunHxhcCyC|8RskDN6&Wd5YstJ?4Q05i|3bFm9yI0U3NpWblUa$lyMQaFyL(#3>}I@e@}NH32~k11>INt5+qhv;Dy2yF?c z5J=KFID1W*5eFH-3zN#YdBlJnty72P)CinaBY0f&cIXO}eD0d-S+S^a>L8mAY%O&2W+hjxHqO5rqjsa5@qtyHx=3Nny=>>2APM zS+g9aX5kNqZ+A+w|Af^;0`2ij_I_bU4ce2#jmEQsFxfN54AirOkM6in4MDLZG$s+Z zo^?v^W-ZC3MJdr^l^Vjy4xUIdg50lSwEalkWvm*}*7m2WN1@xJ?g~GvgZpcQYugv? z4sv$GJ~P6h9{JaSY_kvW<_<2s!LAtwSr4eRXUG|DcZaIov0RT(tNV4d<5<-%(}ov$ zjnBGkU_J2S4jQ}5U_D~U9cX3GbUCom_D#wj{&LvI{TtdYfpwov8;;Zsan2}emtW*H zq3*Dxc7Td{$bq_l>orNsj!jpf+YJKmke53i-nNqU=;$*jR~-_NyW`~DFW2&_j@FZJ z=rZPJtT0iYxMfwywtAe!>X{b}XMvK4{RyUR=ymDp}MZK$-6^^p9o?+YUZ*h82Sy;_;ER6xqj|%gP zVn?7vYG>z_`*%uTo(b_(E{{sLdxc delta 33081 zcmZs>Q1c&Fjn=yJaS%v0FZIeZv_K^DlBWZX#iFyZjzvgsj%72+;0dVBXfGb*l-x zK&q(1%1Tbc+=$1ldw}`Ym!&D_k0b{KZc$Est>@bf;=j*b`=-9z*qJTFN@0vqoDICW zn5Q--cF4aWg(q)s#|S`*Kr$eJI}_POz$$`&{a1Cvx7XKtw;%`36<=aH572$l`$>+ zt^H2T27{L>1x{(>0|AZob<}LVAqiUZ=cnDLef+jUo;oGpZ$PG~mA@X~Y*h^OvTzxl zx3gs6^zXnZ%uz6b{T^8s^kNVmDZ1B7kwRW~2*^8VOC@G{%+) z39=@u(Ff_w*R%dh^G^eig|&ejm;rWUVzhibGxXRA__$XG4lyi1oFb=5U|gE6RN$sX zSjq{T%a$~eEnC_|(|lHAWU^zkC8wirTmyQ9qBj`@L0`tW2Wdvy#+2IT+a)$yK0Q%% z0Bw$Ml-Fs1V9B6Yd!e0Pg`p)?))SC2zq31epVKQSq}EV))OsdmGOW63hW*ZFo;|G` zAERBCtJWV!iunydSf9Z)!)yiQre&+Njn^t?uR@zF-{2gT zz<ip*q&!3iXT)8*)6teQJ3O*;%UtE^Q3lzvxgo!IJPTNN}N|;!^(~9#0@*j zN#uy$xXqMMv$7ex2?eHWP}YGGBWIh66spr=3DB}O=Dnh}@2|B?7w6^lp-wEE+8EOWV_VVQ5161^3N{HC6t(FRA`TD0 z#?Jb`t93bb*4%co6_e0@euB543m0?$7KV%xCjw=Wq7Q;y+JHE5-qe7!;sn-(E8w zA2xvt|6A-n`d)H@u;#uOD}3Lv*KU;q;(K!JGx;ZpQSO7U*WPS#>)Pg!8#)##hMY+e zO}=Ph2naXS#id@9cYhhDg&it|BhWDC?#Q3aPGPT`6eCps!%=|N;sfBIRJmZ!hx;qe+}+6!raV-T3Xj!~{bk%u9yv zdt@DUh2VeTnyg8Ka`vC4(P5+_;5a(a-5Cy`zyU!8ugUu_R6-eXUG?v$w?g~EgTps7 zfrDl3dV0}XaskY6$>fTU|KzLwc`%ea$wxJJJZ&Y|t=+H6H{3*X_*vHJ^qCgKPHSpM z2|-`=g)>x63iO6vt6xd{>&Vzz{667qF$mHDYl-O{53fjx5;jY)1Em;M)yz%^DIZ2u z7>{*Mg`QrOd*N~C7eR5ZJ?7C3s<`Vc(l~4!83T=-(g09gK*pCIxo+c>3Mg4!Z9qKTO30JXGN^OKl& z9L^gec=LvNT6R1i+clc6U^S`0xpRoWV|AVOUKSu9TbsF#r>I>eIb$%CsM{s~Z89<1 zs0J`({q7;hK4u$29uMoEuD}|FEj`nKr8@pK2TT7}t;f(Kd&WbWc$-I;~wv zymOin@ruH+c9lVHCSNOW5Ctb~#bzG~UF=RySezUtqxHg)^j}RTOQgGWB8E+2WG^(? z*TKcN)Icn%F3GvrqV3zzx83OXw8XQJ-iy*b+k??fE$?s4V_h3nsVdJ z(8qq2IufaA>6s)*p;b;o(gca)o=~Z5JOfwg{e#aRN%6`THGi-3$e~(fU@u-#5Clx< z%URk5FwBg`h;OmYaF%XqFV%m@*pXn+TPM+1fT@|-n1fYjznDKZnlk(#AmT#H!o^zF zd`oV*VTvg7iOJfC3edc=MAJ(kRJa*upU z3&6x~e-lQ(_F16yQB$@i{#oZex&lCJxNHAB_#WFn*x^LFkMHgpQGpgPR7`|l;6ITQ zZq8^q_M9m?jtT?PQV;!+eY07p3sR8$#_MOkIaYQL*O1B=zdFF+6UN=d*tsP|xaj5< zN6ID@o8i;M)njCzl|;ie$G2z;G!%7rRYBBPXBa&pk^K`A1gqlEt~uZ-FA^ zBmUi{S>ym~fREGU>C*5)$TT{7n=nL_vv=iv%Bh+sPJRS_R11T)-pH7k#rT3DHh%pk zXscz$0lpAnKy%)c%4oO%TwHAbo5^!DI%08|;jSOiKY(dbTtP?CfD?hvF&r_A@76Eb zHjJyj{G_CpjTDV<2bqo%hA;0E@S-#dLI&e7fW_{lN68cz+wal)`Zhn#i3I!>w8=8~ zJRIAhVl--y6_?&GJ|EQl zpytVZ?>9uCowoPeHN<}j7t;98@HXDiitf#sci zq}#RU#D_0UnK^x;770DlJ)Ora(m89u@pHwF%7~!0)m$)L7y2uPt|2+f^R-8eQ;2*T zj?oar3!Zn>`@aMc!pqtTspV~F;Q`&ZTgLbf#mK$)enYWZ`#EX%rb%wN|e~nI8d8!bCf-ct*|M^jo zn~#=0c_ML{?XY{*Y0Rr5q;=X>MU$;%QI{r6>}+I;ACjmS5!2-C$BF&OC7AB&a7gFP z`gmrS*y6U>n(!G)Hy6kT!8sqgSq6~ZV{*ZBVvp|Tiz_%D)SFscbz>8i=d4I-tmS64 z9=5KY*udTin6hklhv1#RX6B^Q8G(3R(6JuqVyS&4osdLGkI<`8Q?&fYfI@I(j&qf>wbgrsb;uRkn$=GyPc|SXIBokMS>5ixkO8=6NMoD# zoZ_bA3CNvS-Sehxr8o=CQELt}%vY*aKsvp8wn}D@&i*+q!yX4ll9xJ&P))gx!bi z7o0=C5mInxFCm#N+QN1I9e^rB1OOlYooh>KqvuN6r9lSFSmQDy^}bS{fEUkN7GpyX z5`fqeaR%8Fhi%rXY?j9Beth6dcg1qL$uU#QN6}9$&gPl-F8JL6fmsrQz~}$*VW{tI zi=oAJhkQIn*#XEQ%|``;P0@!V((SQ)qQTN}a$<(>qmtMoTg9Z46r$-sW;r@kPms04 zwM|{x(Ru-9WL7W&qcDK)Eh%j!dw4j)nca0zGGD@u(GbPwln3?sRL521iikN%Oed+~ zVv!bFhf^1>M%A8~N61x4ThaAg)*M+KP#Ke^sL>TOitv0^L1GuOF>0WF{3+JSfcew1 z_b8XIfApFS0_&cwY=ZV0Cajf+ztN{@Bw~5Q{ViF4uGHH|*t*rwlQJ+uunh+zi0D&iv<{nomO?(NsHw^J(S>=0Xb38N;g z>-tL65|i_pfhvV_>+u*r<~ff{d{cf>Pu49Iz9NA(U!ij@-6t?LnYE@xYQ0O9A{YH4 zslrxXhy@T!lcRF8xt1RBihBHxuIS}$_SC3r6iW>B&wqpCwv=!&s_F(c3X=8_N!{Lp z-~q!_bZV&$!54IW8xb3N6%I3{{=YTHEVcs% zL>W%pyN^VWX)f#7mPiGPW*xc?6*fnh7WTJ~`4EI5*ulP4^h`qT&TvwMdqs%`Uc=so zj}g#m!)73f5}Zu-hZprTg4$JFv{}aXA0rSqh!=zhP$6)I7k%v+@5~9V_J`<}fDwk% z1mA#=R1SCCa}X+a{lfP|3)hgZQ|g5G3sKGHYf^@Fx%6T%x+7u5)E^Nu&jB?6qI(l> z%{-6$|2Gn57N#WRVKM+K7x(|=g=Tao>`3_&d*@Wnz^4T}lKcxqLBBcYopJK*g19wX zSHcGHKE4@e*2jrh&7|4&BnFU@jh!rpF=>52PA76(Un~?ia-1qlmzO?&TLSx9<^3QD00wRJ`fW2^FB4BW93KdTTPF;!#`Op~PPGb@o%SR|ub>rg$QKbk zfGB)k$+GVQ#0&Lc{{zO@+4rIMdQ#x${aD^=6}^K%W=+l&Mb|6!mZEF`a=H7*OWLDs zJ+OrIa@}&^NZF=W{}BJ!bqWG2nH4gBb^MN)cPz%=dCunkU5yQB>f7RaJb_%TJa;;; zXSSu@6U@9K=&Zk#w(>CvTbcr<1cxKwfU$=LV*G<`sPeD8H0*>X)4LCL|oZn$IROx$ncooCc$sU`=FJX z?GyRfj%yW{QMIY<@r6N3h)o>Gt;93Xt(e;kMB@UMe>^)PR70c<&G7RG6GO^6fNGs{ z&gB6C{I~`iG``ne`zM0Qr7gWw#M<=auTGJjkFa@)lu%3c0(iJzxJ^0yb=V@=k|J@J z3IaF$fB@(*WqKpGF)^>{W%!b+njm8se51pLw7qVnn^;9iK}w1Ey=)PxfdGUpAD3{= zTP0k_{UpQLYT}#>ik*SY-+XpZi##;45J>C2fZfynv0=M*ZTSH64zcBg;-L9F%s!2S4 zgvKHpa&(|5N8{OJE%^N+TPdTfFc_N-9?jSFe-15gt)$*wQaY#??e~~`0FZa;xrZs4 z(XQGoq84*^lgq$D=g122;h?}u5&vKYFFD3JAY3uX0CAlcdYTFCISLW*``I$*kk!RQ z&ls$m-5E*{6k&8I@!U}5|0e$ljY8_6OYYeSqA6}Z@QkNlOxh@c=#|8_1*P#AJR{S} z3TYn3>;Bb=pYv@c1icWS1yJ_@Z3wH&UJ*fB?D7sVPx^nY;eZI|UIDGRRtJU8`gaB- zb%Mf__#JSA;Ko0lbQmN*ybN?AzW{H>*7tT*LoILYT94=RQ?MPg`#!X5U;tEnWAr>P zKYjf5xU-J7qxGn%BSTALkHHmEfH(Be5Q~eGv5G%g7JTattim*g0noUhxQZ4K96)dt z=UQ;2LTLGTTLEr&vMObSV=bl+oE1DA?dI{ptqN@!5-yx-Ighdo(HU>?iy!ehKH9>^ zNkg1^%uc2thDHG1W#VlUUwpRpbMXkuh4;})ILK$=QVAIgswa?OH1eJ3KM2y#SZlX$kAJ{Wd<+Q?V!xC zez>&Gyaa&?IP|ZMC1F-U!eIU$ZO}9>)E8-Koq3h|;}@`wm`dxLyzavEK;u@9H-x`N zWOp9|8brx1b4pMN`Dma&hNbu{;Vt9x44u{jUZ0|>JR&PQ;3}L{;)0s0OWhPpCeBvm zot{NsJOkV$heLc1chcA^);fukTv1ggw`j8>=xlDND&MpnF`&g};M*Z#F&?ulgiBw* zD~3y^YqmdgWD)X`+(9CoO@pUz0dty(a5mo6@Ux=<^sJD~B~Qa3>WxjL`*vx3K(#F0 zdMVL8UAs^NkWZ#)X1w+YJJ~2thOu1UL?846U7WeN+Xw-|$8tn9W4;=mX?SyOrcj;= zNhN>F#<~Hy$vkC|85~r*4VMu?&gr1$9}o#6gUXS>a3CF(O=R6oxc;X%~- zUyGYz$4xr*n-&1nEak_WzAWp>Yvhf7BjY$E6X(%YCQ+)IJ02V6p2}JQ!I7DNvEzuL;h?G|Wacpmt(FpR+2&9SWEwE`Xm6KVI8e5rRJgcVrzObiDQ$W#=`zd)0~h3p zx@Ma-_E8fMXtjD6?PYwTfiVjQ&x?AQ!moFyNy@^!O3zv2s!1pwq0#CGzpEICGFV

D3|SY`+UN$D^%1WSNXXDJO9rE)`1cUq1>NuMx@wM|d;jj#Y-N3!+; zTc^LBmAGAjd}wIeooTT4L)&JPE+%+oFfd^2b&PsuD$5mBDNOMPco#)lae>|WR1smeX;(bf3e<8wbHm*l<%2(-J#HkLmlk?&HbfER@UW`qe54u4 zacnT`w zZt5-jN%)F|;5~Or&#6YhzkZHG?$>WL)1;9GZTRD;YLq{zN5kH zl9$U~Hx^NrsxL|D*Bs*rtaFbxcQ^YuH4oNnI>+C;NOH7mY)vJZ<5R~6Q--wDM|2}) z6cX&Lry{FQbiP8X_+6*kV9O@U#y!g^E}#AWzz>{-$!TwxQW@kn3S`a2aa>(1?wGQ< z&_K*t-mJ~Bq=T}F_7tGd?csY>4+W_pGpN{@2$!G8sEUAQ^^Yfq%E60ZJwH9rB|CaQ zlV=YCUWP}cjV)z1r~+%DsdQJpp^CADv_w=I1j=`;UJCy_1WzsTiK>-l1yY)It*b#p z5)U{+;8m-7_4b~z#E_2402UfA-Otrz3X!nCI)kuzL!%~AA_(9taHIx{gCTgEnJ6MD zEL|?RAdC$ygviur`vn`vSdhWF`s3GFRFSzgIjUGnui(pPyaT3@$71iK!X8F*xHAeJ z(Mv|HGX8F5k`~!6>UBgkZNa?+(u@|TTK^!+W!n z601U6aV`2mb`Jo*J~=q1KFvnNJ7Vf;KORw$Aa8>2AOmz3@$sEA(yvQ?M8C_83g62@7 zl+p4WF94v)Spl_A-!s&adG9GTa(`=wCEh9ildHYVsi9PPJ5liBlk#MpP`7+QP3pWc zxPB+Wx&Bg8=;s*yN7UC2COrK~X1r7O{1P%(7bOx94M9w)j#4k*UjB7QQ-ZbHjv%UY zY7zIT@`o32b0a$*osPri2CF{RZD+b2yneLH`CtE=)eWtqr})k!tP!}Bj1}K57C43E zF}YO<2Y)_Q@R1MFtsN{4^KZw_qu+b;>Z67lj+r~D=<|D6lYv65t#RL(JHnZgn3kC$ z8(e^!u}#1%<>|zh5OzpS#XDuNeacL5GO*X^<g@41Wso-m!>&hdqQSg6;oA5mis=M5Dbj>|I_B{$vd$ed zt3Jf}kR<79L7+y*E^;GQcwT>3^S+_`Cd6l~itM?G;-#v2iDLA6sohg>am?I%>(&u_ zwI&7~cVb9%9I+ElqdXy4W^VGKdHzz7I0g`gyXG+Dn!9m(7$_y55Jz4I^XPnT=}hT? ze>K?Fa@VTB*S>Q3*XvH5ahIplvr0oEUPlxKN<6pmksjWCp=i!M<-n;V{v$v7aO+!a z;%8eT5!hmmz^r)LM#f9ds31GM4H)UG)L@>c+d9KU1!G%JoPX=KqhnrrSVZ+sLl2-k z&zYG7CjF(av3`5foMZq2jz`yDNBi#U5_%-cy6`nQF-M+CpJN&Obcjt}2S3S`^3>?p zfa*L(N|}iN`wCLqFg1?P!?v}qDx1}!YK&e;$BCX#Kgo&f4s0$=+L_AxDfHpWk6ZS+ z-ZaU!JC<6Va90Vs#WuNdz}{8eY5_q0OkPp{^!0b(tg=mmzjm$veEa1*`#r4RIkw}i za)tO}CqFQ&vQw!9^bNR(}N@HvG-W{WM%Ar!5Z($l7i9|cNoOEp&kOP1okfzv! zs)GL^=CCATzMO*z+50SI{0SzT$d%n>42;buF@*A4tQX}gV?U68ZbR;fPmzI1ukJn7 zFd+BSPv)3fZ%|We)ug#bO zi}Q(+SAr6I=5+KS0N~c?qxH}D{xlU%R$(Q%v)gYJQ}E!~yASZ%=<^xmEX&R=tgU|& zCAzqWSxzCWuW#3vTNC5{w`YhJ(9$Ikrtx=wb9F+`&->l#o;gF6j|Jd$`N}wzHu9!@ z@SveVdN4zumxff>(0dUjm}ZcwIJSE9I+`6xtt3uLRSuqS8h2TlC}u(e=A%^jcE%7t_ocQ|x_I{Q5*!8q5SICq{?GLE z`%XfY1X|2`q3)-qr+{BhEtBAhfmMwQR(yrBB(dm(dgU0{`UC89`ETGuMawrh#? zz0{FZ!BnxcN-qXfc@d}Ef#y1PGkkknG5?1gU-*R_$*RgP!dR~!?@w2DHY>XXG&ZbG z7IZT+kJ05i6EdN?aiM(?z<$yiDND#vvE5%L@V)Hs?iGoAcAdpU z)(HwFSsfm%7?z+~GNU2QFaq+C&s-?$vvi+5==wzo^<3pYiP1ky0OR~_Vwk+=34<=) zBL2VgVGA=AX=k%DuBx`>O;;3c6{yXFp=3Y}wn3Z|I0l1E^c>j{rX-`J+HR^g$ZNVJ zW8#uBWPb`ddy$PLZK0}l)fTu+v4%(lbs{dVv-r@bGdog2tr zVTOO;VRozEk5wB@ZK;#^O=UYL*OHH_)S1bHN|E14X#$(s?kD5C;mYJ0yxEnTfD~jB zKWp(bQj-s1?)Y{_WbE$zUo6lbUW`% zn`cYt)D@Qnw%3dcYOJxXxikV3jgA^Px*Ygi-@CV|LQd5%=Dv88Y;8n%+Bu5+iB z^*eE*D(bdEG^m;swFX z&xVB3g4L#v2QZP!l?d>)K%nMW+-V9Q+%2a{joC{}d!wX~jb709mzG5LRxP=2$ z)KHBr>wH;&Rn|0Jec760`C-M0Cokf#$m1xgsDRZpIDOvpy=a|2bk_eN0a<@v8e<-$ zqpyP;iE#M|QQq2W+>y;9F0qs|wFebfz;$SY{pg!e3eZDceA5$8xMl+tr-opF!)NYE zJD0w+>s}F=2>Qv7Q)QZnEt1HCn^Y#8fYANA5I9I2`t~35H#80>ETnM6(Cw!kYA;Vk zr$1k`a1yNXq)PIY8RP5PBETS4&zD9Eib+%i0;)6?i9iLjB+B*or%$qK=M{cpxis&} zVcv+~1mv_vpp?GjN;acndP1?t#0{M1um5Gnh^u{(3Ze^3(Eolkf=ASo+COqQ2Jif0 z^HmWVRDBLcjAxJAa+G1NRKuHngPaH#O@DMW5c_1F5TgH;b@RrAOZGj>ow0L@=ehD# zlC-$l*2)L{!_0nLAS%2g8+WzG%ML8?w{+~>7Leq)o~i_tK0j8)^$~Z#!n)R!8TRO+ zaMhk%YwU*)-_7}=cCz!NyDdCmGE{q2{wbj1#)=5Ysgx+o54~R3ge5m0zdm?z(UgRC zcyK=~-Ya7YU9f6@B-6d^)6wRTQNXY_6Ezz%)e+= z2tcl$tS0LA%v9N^F8WDnIFC$(j(bY5+RNK4ZEJry79O$SyW~^3KNrl4((O+QQ~Yf_ z_!N|aBtCcc$oSn$H+RPNKIz3=9rMv@{TeIjaU@%(=pdLKYk2@9@m3Ln1_*)$LV-fL zJp9TK0gY3T;p8F1I8Lu;tGH(g`aW{Xg38y-CGm@Kfv~eC83N-1*tog>uL1M1?%%jA ziPZ00gMqjOAie5W6J)m4hNNod46UJALyI*g3~Tl-`Ys(5vev_|PyRBgh+?uy1&M1@ z^PqK-sz}#4-_@G56gtxaV`P;Ab^_A^`2rQXX8P*UEZXdqke86xawzd|k0|j(j2Rg6 z7#aYaml6Yphbm9!U_NP-mkG@AT}ea80|(kDI?bCZ7NUqW1_he7Om|SG2xTai4NWyj zI1wytAV>LNU~-y=JCOfRH6+L>j7x=zkhe>L&|E-qDiB($SERnaSa{NwwEf3Hjtl)tYuQ3I1Ye-i?jgP zLZmC+C*dwPo96Be-39pEJ4OPA&s)|?2K*k>4rCpxX5#MK3;k|+%;-?an?>vw-ZWGj{jLN#Rzh!?zA zl`7Gd4%j*km$H5cfqmY*JQJ`-)~R--MkA#&(B2$*{BV|UhjsgHKFv}<+=9TYO$~4}MyqL`%y1Q$mM2GHDpRf5(rYa31*z+ML z<#?$QZ-9d9MKi(2Q5+LDCf|=DkV4Dzg@p<%gb4d#WVBIQN<|Ym-~h<0u;)~wcI>*c z89>AVT)8A_XZ(4V+cbjU>utt!(hm{e>L!I&7`rQnnH>s^WoM)EeS?4(6A8Z_0|i^abryErA6HDso8+y^Rx7S;Sb_d->KX7lS;0=v;j3G42?&0wsVi(l3n?_ zIVM*{BfOYc{8}dq8m*?1U2Bn2{4H{_!u`Z+UnKK>jYlAC`R8L$qR}(eF;7y~W8yO5 zZZ}R?OjqQ}B1Z(kuxyQGB~r8$6555U*hPggklKjPsq}Mu_VSCyl<&0Q6k*K?;13Yk$3f9SCD7)VGQlHLlomzvM(k7S$X$;1x z+q5X0<6Y7d&fD;1pZ0D#gX**<4Ylu1pZlxNhq4P3J%B)8-j2FrR-S!U-l;tUV;|27 zvteebf8{&9-tW^?B~2b3##E=zvxC~>_1OD?@B6iruU?G-D`~v_lr`L;HXJu835~`A)*38A4G&CG3R!{d`bejM)Rx;mEyw}UzX@3@}ljuLI0Xw zV|)jHQ{;1RWKNOkd8raR1g{t>agrcw-$!_CPKc>5LL^C|QC)EKg>Euot=I79kt<4c z&Men}DLS*FhZw1;3rNSnVfu*fhA#%*JU^#@ z+|m3m>*s1{f)3O3&>aa=BGU|p6z-gj?MZkGaT}7SQcxN*uy`S3{7_ELgOS)kJq4E& z4W91Z$``%0ajX| zDZu%RV~{jT#G1C7$Nj8zELv8iaT>=+H`~WLMAPeL{`%!zyp$C05gSZ_%qjhIu&qXr zaYGQ=H68;Cap2?$RX>_}vA?Y_HZSjt3G>&98j)p0^yb8s{HTwyH0ylCwIySh!A%Y) z2`K|PfqXcEI-x<`f!!aOSHfK%=yhr23sAbbJQdp=jTL4n1}zfOA1%U_L?L-)+6(rn z-QMj4Qr4pT1U;z5KtP^c^$6neV6bZ>knA?hoQE1ACkckMHV*VCo8&(dCRtiT?NIAR zY@^M9&5R1C1+;p}XtjNqgcSQvej+W0BRl>u?DEq+=NXK`HN1xyhG9%NE`rv78c^x# zAvUN@>iwdt<3hrd#~RH?#U-aVnDK4?UZA~(czI#0x6OE2c}O6T=o>29yI)y?o(fxv z_n5=Y`}yqT>E80?!K^pa#SC2}bTnu+ygtQ_7;HY`s#2V0q2Awx_=>sI^>JX=*?w&r z52u@sYD+~ln4&T*P@TfZ`20Hc0kGQ{q0fmosOTQ25z!x(FwS{!qC7$-Olf6F=QE-K zWiRWF54k5q24m&2TJoe;#9X^P{`xRR1STb03r#pE=?@k&XAH;D>ivGEMbbn1%n6+A zIuARa8B^$oqSS?WV7f_e^5`Z7g^nayJuUHd=B&9b<>Wu8r-E9M)O52cO`?%Q1H=st z<#iYZdW?!|Bd*W@+-3=_k9UxmUQ;p(sk@l5k)GS2;UXWU%yMcCat=%!~J_`zCZ zJd0wmM58~@GX{))7CPQYYqft~0O|L?Q5B4N?G-im-`B^^Kkpy5dUYJX>Zws)J;>Q$ z;akUHC>-3!XznT`&0co*R=YJcXM13;Q+(5jI>88{aBcDYizoRj9R=TCk8{S#_O&dH z?+2hKQjc30JFw%%DgxdgVx@h237b*p<}0|g#a5Va)#JPX3}>g>TjJ<5fFOb#JU583 zKE&|}bJ}3_ejpvHy1QL|+vCUeP)h&ZABK~rSB<64-l|C>m>LjF!+odm_4b%KbV~>l zxnNU1&iv;miv`dY`HGCi)U~ONA>S6u>4xgs(`O&YE{%^i`Ieu3BR{=wi_hani`|r- zQ@tKdy#$X{}E6U^5o@pn`9-zk^-K9$dH$7?K8CzipP<%cGN{k34{CA-ag)VK1>-`0fs&1EPr@v`s~XdC>=o3cbQ%}2%}4obI>hCM5v-CeRv6sZz^csRBh+; zC_(-@Q0YQBc)3=?6d9iewvVq81N1f8<4V!;cSOlyVe4ecM1gE;hTe&!{GZ95W=++K zi*0R~Q1e>458&8jP=sRauw(FUTu*NBO)}@mP+jNe8{F*Cr9%^FIw00#IP4VK)jAHs zL$g898^Wz8`*dGLTGJS+#7UienD?CgWd6_j&pF(fE#pZ3IA~O^1)9fGYg^oR6$Ycn z8)r*gt<<$PjN*IduIqjQBWi}6r%p{;RMo?aHEGh-FaWr2KT>l(-T%SA*eDV&%8-b{ z^<|GQN4~D=^IeXPP<zE0BmI8o!W3gw{d?GCVf82 zSnvLt0nBW~XR4J0EW_ShV0N?S&5L^KF85%${ResT5Xt!1ql2mE}-YWZ}n$_!+!5OB`GyFC-w|yWB=$((1LWu{tJEud)xG7*>AWtLY}PV z6R}?#l=p)Ca6|K6;S<`qOj51JPWBi73rW7W*y&iAvEU|Y!_!lKQ}t}ylK$-^lqa{v z1USp|*X|9YI~EknI2Q^y}GwVG^9h)XCg^**-Tx!LkFp zxej;xLd?3altlb?LrkLlg&diIAY{~firnh;%&`>)&IIv}f+p|MlUU34@{h^v?g}dd+-MJ5#72KZvy;!M2^re{OwooLC_p`rtOLE06y($ zoY`LD9GL73yKci-LSblGG8>6a_#L+3jMUd&!t;@x-r~cNrQYKIBHW@w|4I+@qd>_o zxck0A-{M^B4+Ue!y45)r9#COgHS#BXPy*rq5iXYH7s$U@J~Wwq4NcHPH09qg!d_Rr zLAAyevXmp5lsH~s@2l`t{E;%~0^G{i)y+37Rh{D30}D_Ql^7-D-KnqVQ^|QK9DyBk zVgH-tBEzTbmg6{MllS1Q)=0L;x~tu)ms9juv(+@G=zivap)yFp!n@p&OxC%})#@|w z0>6!epAs^t=wX@H_yF_GJr(E{bN~vR@gT3+?U*6bCcfJ3+ru9xMGwY`1*joed?iod z4Ngmp>twO<>}*W;%}jIcu3dTAh^pgO4zB8pE~(x+6|Tjoqym0#f2lnXA|zRvw!%ja z_HS-xH0rX5TQz2a&fJ>Sw|v+dYwSj2baNCnFcAbRFLiFzAj=XK;xtV3q0PrCedR-F_b#Uk*R;-8e{GqTRMXi#<)$UM4~u0o zl|^B71y>JS4e8s+$0}<$N#2zkxM#=Qa~}CVsY~#DV&OUT~2+j&? z!o0>63Nh-ua@9cub)m$R{0tbD)y_9T*09cq7f=QPEqU=7v6ilKrjlTOSjirpyLeRs zBAxa!l03KG0||9Qlz6InU!AvPc@DRv28eJC%;Y<_c%06dF?WXvxdWY1Wnn#!`9~2u z9iL?1%qBde?*YW8094Jx8$`^j!e?PiC#1aRq7|HRHLlVo37g1MGl{Amm%$vQ4=cp) zWY9~hY(n_T*dk%Rf~5Fhr$gf<_2{LO-ipSe8$q$!Me5#!0KOqpx1`^Z@NS`$wWE_~ zz2_NuS7*|ap47!dPR%chFR!o4n;h5PPCn0?j}aF=`U@WuK%VB0wr}-g%FiK~+SdK^ z@dWOYcTTUS2H`^=)_f6?1Qiks+?wM3*nZrG38LA6Zf-ZbZ}tb4tZA8bIN0`N^qlu_ z+@zBO^UvqIm&)z>mt*HfgO-4v0MLBMd45JO-2oKaZe?11E$+%kMzY6tMXpj)ws~4! z?{0TduGjJmAl)&*laQDGtt!-ORg4yk#L=xPMP1Wp^}i=K-C?E5NeRA|AHjy&RO8&N z)A)Ez>+vJ=KJJf82y!g*H@7(?=S+ito~t`X&y(C zBh!|QHLn1Z6Dl2a(>FuMRhz(%_wF)xDm}r}@K*mr`NG${Euh+-13q8fr`PJ$$(yRl zGIb$yTRC@scfpdQnPr!@gBTe&we&xKI7tvz z2uVu@6rikZEJ=2n*Z^LM`=S^(B9SUrm+H%M`YVo=B2??-a?J17rS1YuSSmhg1*b$j zUI8*lEyU>`b=%y9{z+|&$PYJF?gm`7mS){JbXNhabHGmcY~x|kS+AJr^bc2#-@)tJ z++l}puuIT!M&&)j@`IPOULLxt@yqc7@?$ij^vfBfHA16}763~-dP7BX8}VWQW2>-d zVd|gzAMgrobsNVR*6pMiJ@>NEqkcTv$R{U;#i^~p4~3)R;OcRhoC2tI>B%O&;v0lrjU2dv&3K9gB>EmO<`QB z&}kazWFc?*8)*^h=9L33P{~|8i#z<9ekeyg%7+A5!{BZ1Sx)luvFLj5{^yd+t*kot z+9(UHqoO}cq~`|6K=JsJV^EqmD^MOa_I(Cj@?VVSj)8xNc5Q!tpm{Ss35z;T zYre6lg%8Apg|z*fNe*xe=@+d_@fR|~jUVEvNH|Wu!j^#Wvr>uu)#)MJ8vd zMWwL0%rp})oEF{0oaqTT4E@fRBdtQ`kS7N=8w$8A@m7{sw1*xU(^uv6+kb%xF0$GF z2TL0hN&qv{|6WqoOVW!96haHV{YH1*Xbd*sRv{A64yeDDSVd&wZxM-Q*%1E^)E!Yw zS}HzgfgSEK=YMp&N1fQg-b{LG^F*~Vweb9%WffAoXRDTDh+^BSph@5Awi~>5t&E?y zjpX|$;$Bisb9LVhe`T*BADg?@0FRGWr?SdR=(S}UiX?`!oFkXaN?DhGDG%0>2l-<& z2!lK$Hac$@o|tpK(=+9Y?2X-KVZ8tFef}uWp9^~^B(A#%+^D;<^M5pws9fN3H*g9> zgu5RmaTQ+zUckfjYFF&7DBK0{xB2b&DN|WwQP9BZ!Sj(gO4)6Qp|r@B02r;{mXNqq zVhY#+WPIdO1EbB&XpN^Z!&;h(0h&fuR&*mLx&fMTR>0ap`3x#ZPo@wD9~?xhCY%1P zsU(QGyhzLBsLP^HtRj$OK(g&o#(`e_+{((q`m$716jWkoEy01tBI3ZyKsoAw2`yyzllFmYie;Tlo+S`Un|_?9Yl>?~V2z_Qq=CLc z;O(|;hMTKCa4;=v%X{|vdG=x3e2pV0{To5g^)85u-4_3=r7L7Isz{L2mL#P-%bI9p z_u|jX1Ra3>Gw*mLYU5|_XN>2!7vOuzU`D%i$_eQ8P2GP#?1@(gEdK;=-M;R?itpGW zyk71xcD*b|jF2E3|A*@u@xPI!%A44qEtePCWdXKpEk56)Fb}8p=kKzG7)0O@q(IhXR{90j=Ug3u=s!H!X_Zn%}4{%wl}Sm0cFOwPUaD+|mqPiAhqe_&?#) z@eYxYgwY`>og=e+5Kkg{WL6@oCNioeMxv-Jj3b96 zu$4?tr5de(O8oFjY1L5}Rfx$y9{#VQpe7VOArBW^Y zZFUFK1wF|^>t$zE`9cLM=POFDlXXQD7ao^+;j*D_u2}}2TlMURvEnZ2zYV!Bz-4o` zy*GEJpRQtoR+D9I#ifEjQY?0$DU)aVcKe0lo2Eucq+0WQ4ET0wR^M{oj}8B)uy+dX zEnK1pV<#szPHfw@ePY{oez9%awryJ{wryw5y;C#wzcml@y8C$yzgNk;qyNxZLTvD6M+^f>e}~*#7Si1#L#2_^$Uao!SKm{7a{w5xnaxVkyC* zD8dD0@kK4s1flpyV$wvg8h5+B^q1Us3dpkf#|PP1reqc^6Ee%;jPSZ94iYL|Vl5QR!>8nfPKh~`l&)@YM>@K!N{JLzdj^13hMd+kD zyPn=HBp}BCYZv!z?h0lniy`l8XvV)U={MOv5%UGsGmmUt9}T2`C$xu8lm1D;2McZN zR1(jEZb-wW$rZKclbr1y0<3Lo4yV7qC5OBh`NPFaKFxj!2W8U_+u1_8r9WTy)S56U zAacNf#sx%M0B3^G8W?E~q6e_m`J+0XLj`47!bBJV7V{{rFF8RS(A8oEt7e8g$FQW_ zX9TKdz@F@Z7wTvQ%SdGe%S4&$-(iN%WvJ({gCr?VMax9(1jiy%kO=Oohae z$ZCDo(&9)*4q5k6$@1qFfq0{#N7C}denlM21@3391wbXP{yVv^c^hq56C7^k?>WWW zcJrHh%M`pv#TLoqAS4+V;mk#RcyQgfeyh1X5v!$>>5*%!#UhmAPQl9+c_G9$ zd_HskeBSP3MjYElBL;c0|QXFoYk!ZZ!Nx?`LZP|^8oYYuE)m*yT(15XK zylBI#+qJ`(t;sj_67KbNiT$WX`@BpJN%DNR zzxNzEs-J5fD+NS)mX`t?mpKfs0!RQPK@7+yL$LX}`F#{!Kh~zB3VI)HDDf{&PG{gQ zr=|T&iLN}mhP(!#n}KO~ZT7*g_stZKvK;2*SSi`*<;2oa(`$R$GtR7kV1(-H3-}tR z-Rb|qdf16LL)iajvHznl)%iE+$z(tj-FbuIw^gkU=wFLQB_u^8sj$_uapm{(OC+L& z;5;M*=-qa2g%Tm1F&OP&?L@JQ>a5h{4j;D?Y$Rq67rSM*w%%Q9QO`WDcS?{ITx_JH z`flW>7s%c%$na zTmK?7cSaeuMh2~Q(RuBd{vgVK*z#=9U$pA=H1@cu-#zMP4WusmWbj?;Z_(^i%nrID zFE<;R*(on-?zB}#yWZU&8miOE<7=#bVa&GtaqVdWVE2|x4kqA_N*()02w*3X0K!P~ zP#Klb$58WlnUoQqmq;$tuLZ@8sT6``6sV9U1r%0EqSGL-h9p$je^(@yy}*m`#zlaV zl7^jYAudav>f}QPZ!ZG}O|U>GQ)W#P;TV#vNb;^o4p5d8mx;h7<;$u1E0mJu&!EPb zlsRc2O7s&WTS~T(FTtxk~G5f z4GVcTn2a+ET-Fz)cOK$RZa1m%@a&Rpa4YRs*7E8@ z;;0D{K-OxI0WRd`4UNk+Dj~LI9EPy21QxbRYqja}a$U;Q-1>kd^z(yM?aTlK2VbMs zo%F+_oj&=ppI>vD`Z7O7>d)n)KIZ@$PI(st2%!gn-0dL+Yj*b6ly?Jq|IU@%4gbz8 zL1?0F`b7HKfWF6oX&Yl_S5_nggg-0gOrc;H;9C2-vi_o;R<)W?mKO++FkaJ2Orsmz zv%i@2(Ew7d0#8Hdam2K&KLxL)!V9LG((X#Aaj2rh;#w1JRAFQ4izt+dB=hOpT)%0>DOu;lKQant1O_`p;hDfA|YJiCear z0*GQa9ueI#s-h6+t|;R|4Gx={5t$Wo_&|f}q7lH=cfmV7b!JJCME=feZ*QiiW{THr zoi%vN`>i(@fjG5{cw6mP1thAnTCqZVT6z_Pnn@p)uc|s(nxCJFHR`oH zdM_VyB^sn%T4HmmycZ)s;&*(>(zN3*R68($$u0{Lr1IH!rsbI z)kT7>*0-HZyDYoTM$cD@UwgBAY;d{P`yGnI{~(_|^!a&@!)ks-c5O#vWXjzms%3k2 z4w0kI!;T03fh*54fSNy({9>FZrm+Z01%e5nP?3+SX;4o18HMQU3Er)rE~rIAm~EdT zOlc-`xF{cYG$kOP6@J7_!YG;^ERr5)Om2z}Da9UV?hzsqsQ{smM&CT@yd-8v9&b zdffK3rnocYy-6gWj}|M#d4HI5PP?Ek5}@NWt_hJ-K~!&vBAA zr}nKYM{h%8rz8Oyi`!svHQq_jLVA3r_)wUFQ-oH@pJuJ)GB$E@|Pq0 zsQ2fUkU*jRK~N+>B$rf#+(}af5EXL>{YU~e75c={)T@?Nt(MimV_U4XT5X$G_*&gg zi_P2?Tsr~QKWk3U-wtLoZasF_-n};t`~W0$?1*p?B2jOl1U~uc89fGi$x7-eRh)nY zv`^G;i{FLrFb5V$vq87Y!=FtGsMII~$-y!7f{-N=aQuYhiEC3l_jV8cYt># zp;oGiA-aetFE@KzZ{LszgTr|gZuj4`#OX2(cod9&5)p=Q&&J==rl#i_WICC}Gt#gs z`DU^*-mW1jtd{8>511om%S;+%%7E{LF$v{-Iw89`QBxSMk+Ds^mh@LC1@;Iu(!5U_#Q zibOVw8Q^@W;!~aM(EBZKwgItrnP_%CP>b}@O(-@zAM8iz11|0f^9G9n`D8F7`=x>a zO@d~AD<>oDH=)mWjuoqmQ)`Pe+&TZN$GsSo>aW9%lct9=INV}2F?!7sB3;kBn~;Ya zf(!n=;;_Dw44)3-q8sZ28*Eyx;w-d>k(8vzZ4`SZ?UvG2*>QOoI6zHH|6mq~60!XU zR2vE)6$(eWZ+Rlt(6;avA_B8*$MdP%V7YWQx`3SWk#>WuTg_&+XcW}lw3s)Asj*8& z>JuzE7w}9PJ+P~nT**cwW(dOzy0rj$oh?pT7U#RwY0uk@5lxj!LYFI=FS)>SG6TwT zxQqQcnHZTe?^smd3K&$Oza4-#6@7tn*8V;7;H2Ny(9%^hwMRqmrW6UI%UUk^6a}O$ z=Viby2iMZ+|C0IiGFK?^e(B7DB>U~khB|m_g!nKIZQp>LEV1|5!Ceh}KdQ;X+8L38 z@%C_&)dQNi{+qY!IA&YVNX`4;XZ`0(e5iitW+O(_7rz$V?o_joRV56-f67E+miXGfv*mr}u9ROPTlIqL z)%){&6xbzXJi}KX8k4JA1XdtqXIycX<5QRONKbk@0FD|;@}@q}vYYhV^;;8`Dpp=_ zE=MZondKeu6=*LByG9J3dvmwj3r<$giaI!Yps?dZO1sSq&+o{!^2_!8RwctcJx%p>CD=6xzZmW**S2Hvc+e;~LhMqhRIK^{^h z`JI@*$@JYRuj{joK2!g8g*MeDs(Gjuy6QCr+M>fAIneX-v*2GIwXK*Y!!R8>S~th| zRFmQnaIOy;u3btlnLFU~c47>JO>tYb@TYfs2dswFc|vlC4T^k*R+`ain{TE`x_@dlh6PM{P!pRINi3qC-yr)CD*3$Bn5Hur4$>rBN zz+>wG8uB6AuEcdJ81#TYWLxA9PUheBVN=Mfce*gsi5qi;lb_I$?U`DJ$e{Zhe5419 zTX<5HnRkR>!oQp468>a9ypU3RL6CZa;Aq{_>EOsPY>KrP%CwqHPEHTMrB4W)vbn3c zz-Df^#qgkUZLSGF5VTl*J@u%v-&0g1bNN8c-Xp*wn2ZOuREjL_eK%j5Ax^ELpMqr@dZ{Gw|B1Nri@58a)wL z6t=cjR=3In=>hUo2qT$jJ33U>p~~yw1iQ2xif^_CO!$)(tknG&w5U8lrH+nt;+*CtWO#X_r|iW(Hv zo97ZOcCgfxvLGHLQgQFxGrg`CemVsJ41I}PKOt``9!Jq*8 z6Eh0V&GB^sg!UoYKCaVElZFbZtRpnnbF9O7#Km~b>*OTXfNTL#61OKmHYo-Q31Cl0 z*STG59S>Vjc(drxB3bYmm{Da9t%v5!acybpJVANc*owsk{o=5aYEf4;fER<)=~UnD zFda7CNvb5>N36PsBqs%SBx59mn0|H~&G>DHW78+`78Gj+{zi^ajZeBxmgL336*QFc z^fuPw2NT+s+p>Ga=jCB}BkmUW<@b3Nm1pd|DxwZekx>}wc7o{fP_s~cFx@vS=9|D1 zW81uUOvmQ^iI4c0u$e5ZTDP+>vb#gE6n@q_*?p092t%iVbfD9wvuJ#5tWCiCJ6CQ} z24Y54Dldrf-e!>W-ZoXMJ@nFwO8ZBqaf2(MuyaNE%5`;VWeoplCyV8|=w6SHFTeM{ zy`0oI^3+gBU?gM(eTBBMy#2m8#J)oyAS@)%-~Ww2#PKwu0D_Sclj=wlyW`jsf9kj! z>ElfZ5)p?;6Wi-V6YYk004(h6|5M8b|AGF4qTZPUHJ;Z%VYFoGOs0vdpmDCGrNvHT zSY1FwC55Pfh-k875>AnJ7*uB$aY+$?tPzY<-PybBdEuy4ZS%FIS-r0Lv0-;>pNi7d z;^Ue76A}tGla+4g)%)TlPm*F zqDw>t8GbM|gmmm)Q2f_J`r#YZ+c|2=DC$k^>`z1j$y(ZWFE&DT%E7qaJ+?IW;sD@} zT;8c*Qcy!)6$NK;9=_u5d|jM$0@QZG*Mq#>u(rCk!}6J$nner|G1AeX;Ghx8(vA+f zOhZoqK=16hN*lM0k%x(qjYkFx6RAl1vP%2B>M=@&q|!htbPVb!WOuHQHZv(cGike@ zZ{l@rH|>v!gp9GbN>yRw0yhhdS~?~cN)1UaW4~4as8L{G(jAguKjTE(oPP0WMe_DU za6FR31gQZ|AhBU!vYechiM4$l6AK-kWlAJKTH8C!$yg?AlB|Jz#bmNlww|u!BMY7G z;n7v|{tm=#Hu-wSLDFGDHlA@JZ?~s>fVPOIOmxZc9L19INU}Pwt1LN*{YV~M0jKP@B?_9DP00YD zoOVf#Dj}l4u#96IlR3fi-mxG{Mv}esu_z`yp+^u05|264Qq9iRu19!6vUMV4>|3<9 z2>x*u{YFz8o5%UKs^2Zt8sE|NG$6k-bh{w=Fysi~By<$6 z*Yv{LD^g?7+COk*|BU894LAi4h`bPR#fJ$e_}fTjzn;s(hD+*%=c%kp4S4VIE0)ec zoZh^807JD8E1YOUu7*AImW zL7YZ$2R$^gM_VfH9j$wZ~=x$*+DVnobfME2T*6A`zU=@$RWZ3Q!y9-l%M8_?6=lg$%A>UE0u1jy5Y z_SDj?Bt&;hip|^!%WV-~av24ua^+Tg;D>wr2J#Dd#O z`SVG4QEvBaHbN!)Zn&F(e)KnLjuLFIsZo}eK0DqFkeSv&_tM(cm-W1P+<;{PU+BdV^B|vxfOBfzavcn9p5VKT_Ltwon!!J zkIh#LcU=6hK~($K(fN*dGGDyuDbR4vMtV-4z!zT!WTpvCSF%EXDc3J;G_vdh)L#wJV;B3iMm;!4D=Ec3 zG8$@Xc}H;AtG7D=al?zH8+&_y?jA_efR#ISRc@692uHb%Ic?r&&I8e};IE3KY2ar1 z3x%GB_E}vp+M2>6*v99%Q?LCd@tEt;Q^x%>D62MRbr{+3I4fU=n{g%?Zoc=7f4Ze@ z-<_D*-@K;P^{Ml`1rQc{+aUuvNVQXIBM}~AcW;X}7HmWT@o1r_>iDQlJA5tuftA+; zRJmtO)06WTuhW_29hwy!nB3}~B**pvwFB6`q}6ZQeiVg4x1cTr)>A{V!+aiQ5---` zGT?@k><&5S(x2Y>5fEB|O;1D%m>vdPJdm1wYP05;kE)73y7&v|_T}ezl9CaADMcZm z)60090`5NmKSq5sZ=k^p6q{K;A}G`s10E+88c2T5IRd_a%D76_Jt_pT#lIiYO`(6% zUO^=;V4Fy>u<_Q5j}N-l%)slM)YZ{NA3|iZbq7lbpV;u-7RM>NOK8Yj>-;V(xHUHW zx5XFv?1i7#m|P{d(*<%kt)?uhE)=q$*6=br$QB;}TbVb=5NY3!z<)Bei4CN|9Bc}} zYy+octZ^u1K*muF5?=YblF;JJ$jY+Ig(`i;9Sy16WvUcT{zm66E<|c^q`CTs+iS z*^GsNy8$k~U6uFc8#H}gmuGu=x2ms^z0pg%A9~m<7cGUZkYTRNfU7&POIVaT*d$!< z9H%`@f@NpE4nJCPlTMG@LdmMNStwz!3RGAV~F#b&>kFG8URYZPH zcIy2zZ8P!Hlu5c@YVKX4FhO{9BK9ir43 zpxUxA_p*_QBWJN+80+D1wh3^F*3+*>OzIVA5x05vb*bPoppCHF6VlV%b_%}}&5m*< z4)aH>Oj<0Ws~_pD-Zy6K-#AD^j6)tEHn(tx`c%g&A72vK3W2hngVfpsp}t|)kER7W zyaXz^r8J*oI-}2?NPPm4b{R09(=0d<^)2L0b^~Jr4Fv@c4`mL0b#7^KMzr>&Yf}X@ z$|=SuTUQNEuF!{xY^+1T?APiBy{(3#?j25j@V*GWJHlOL&6Z@hhY7i)>>&i`pW?<+ z=u9{AWVeaZU_PNATr1qVL02M$n5x>Irbyq~6A-ESdw(*yKIq z$$=+ixKD2?>MGl1qDFLG78%YnPf;{n7bwu@v4YRQ3+B=F$15%%m`44golk+N!=-GjrZ47+->~eJcnW7J16xl+gXu$l^G%m(x^u;`1H? z`4jvuMjsY|93cxabL{id-Qu59NEo41-@J1d_Hda;S7R^m4JuC2lO-!4!ptFR{L}-B znO?Uva>+hQ6Qxo#-a0CR21|1`k1b{1+1GL)5K)+!Z=CWy%b0Hj0-wa4LTA}`AHM$(vN$ni$5%6NLD!nnX&_flQBWd{1$xbvt=>9V#_^=qH7w!uP zbAkJIJG>|^{zsy>l z@FX)2O7965aBpzvR^z`4da!f0FJzEd>TnUMgdq?MY-!8ZxoaQMt*xQ4BlYTX6J2vq zJ(SQ+Z@BLgsWAu;Y5Zv1r$EFA)sVFB(gA@cUfFDJMs~tFia=TyUP1LYNBMoi$s53V z44seb;qUo(8$-e=sA-5V;c)=r)Q7Y;4=rozJzyA)6VCCKJZJc6_O%<-IAo>N*xCh& z$npp}Bp-3pVz+-E8}7J%aV&NYmnWU#pNX6rMB>~gI2jROxDp)GEQnjE0&)9WQ^1Il zvKAg`9(~CQ?dlzBV_K`5lr!dn)JCq`qEx>}?t0jtz~R~o zy|jF8{3)vg?u;4@QHuFsDcRG#d2rh4eekynGx=wuoG^32Nk1=S)=kfz^Chh@`)B@dcb;c!^jEB^ltdru=%$&KJa``Hhn(8{-NvR(T{s))C_snUS zndg*EcjoCAG5pg;CLC67fn3YOnO_qjmSsS{^BWTC$`E^K0SWu?sQFeh1Ksynunyj( zoyo7~+dqhSN7VCPuRaJ`aaY2|48&$FHt4;PA z9pq8}B-5G$4ZuYZf73F^yAkUsdrWz*6 zeHMj@PGl{i7bn5!y|>0m8a6Z4grKwudX5l#!958g4A9 zagy;h?U-O^C8yY;0wMg(8>(u(>~55Pf#eiAdDw@(J9GaN6{am&&N&Y4C~yOZb#7|r z2>Ic8MAI-jl?DY}98AN0?Zkwm6V1JJk02U=W-5hrl$?}gR7+;$7?vRt5B0iK@f)A; z#;GQh&yqv)x4md;Fj&^{fri@QeB8qManG{`wuBoBmj+n=COF~o7Wm6MP z&CYRecJW^hQH60$??=bw0>+DL+Dx2azT~ zu)#eF6~Q_&51S)+$Dc_-Vj0w1kw4`HF3%UZxGd;|MeaNMK1@ejua$Z(x$WOl$83R% zn`~)IuJ9u*Eq}K`wxQhtn34K4gVV%8%@V#;`v^I6Lq3W=UsHI)(d`&xSSF{J@_bO{ z5tdgqc6{Ehs^fILt-VJQ1}Goddx_J4GcKOuJNf!@N?Uuf-~RcEd^bEA5RNg5O1lnUCpWT3gr$NU zpa+`ZL__V~yKwrYU@_&tHF-j0lw}Q%$t}2P8FN zK~7tL5;<&+njW){#FZ~HHmqWNu-nL4Q!A~kX&D>bJb8|3;hyb(!bW{L6f$!B|3OgW zjKBXjD=-FD=^>Dv?2{YUtRukPNgLNOP4sYsW&}fp>C+czVutpyf+APsz?F5Qab4;5 zC>E{`Q@>Z6U;2?=gu&_M1uK>UI7d{oh?wMsh#rv#HNseAGIp=a+I1 zcjxtLismQm_5qe{A-2!=4`O=GN1obl@&56LgZJGw`4+8e1O@vuyj|SR~|On0RCYO%Crx zvC$v3q>Q8{6|l4vt;^^D#|G$O3-_O!0g)tls}T4$TEEKO`KI)sGe`SP!7@h&y+^uh zPm-(KsyqI;HjJw&*2-1S8^`|{IUu453|v?oN|GUlhnt$WJ5W72J#Ur>MD3LEYWr2+ znxw&kFI6PtXOSBXAq^3<|K!AEe@;LoOF6csJG*j%u8w*ebq$^b=;2uN>)gQ{WkglYFkp%C_f#ST0#6eS@ZPF9=}z|D?#6(lC!-y=;>QXJ;`fkEuW zFZ@o9DpN}&@+T_P01H>29;#FzVSm zls4W(bh?q4>>qP1V*oQ2{)G+a=_6OuleatPAuUbV+ep(pq>z@WY*^Ryu2<8bcKP2P z*spo=M7AM}U)2E)s#h=&G=88!Dd^y#|BYGB^8lEcINAQs@np2R)gNW`j%~tAn+T-j zEsnY3%Tsq+G{G*F3pC1YM9MNFEvf=AD1DIjFjRjaNr{HUIC~VZb_oS+LDVWWf@+r- zH9Q;McNKA)E0tksZs#(d7OTUn@}<%rRLtFIT(F3Qa_+im$r+EPyW0&^3V?5)4#*jG8W8d z-VnD#{OHmf8WThM!Yh2p5wP1F^~lqU5APF z7sMV#zVD9_Kqnh-7hfe44;WKXQr(`KtEiX2Gmp3-HVmCt8g;lYhk6b!| zwvQT4rIAq#_qF5nb+P=X-B8OB-TwzjZmCj)0!eO)@E9dBtaylNU)GSbJ|c{8Kg^xT ze@%h}X3%DGskk?{?eHlndV;240zN4Rg=KFy>4yg2CQ30Eo<7efa&=IeiKSx zi7$>bHO{D@cgg1VnS%PDTktw3^TL@9QXwfR+w*mazIU?ix8*kX*_r`eo(CFzG`tsn zm=mlLwP~uj(Z56NU!B`^`IJ9*_}TWVx85RPgKqMn@>M2xj9V@^%LH{M%Pb~apaU11 zrQ=A?Q(-10FG46mfMDYB{8U}5vIe>R5BEFsU9QB|89 zw?+KKl*3CR5V#+ZtceY9ML)ic^iE;m4{oGXxpfw^c_a{SbuRS%%hnBRD8R52Yu5Vm z_)UrSc!oghDe_T#y(9cf<@<+bV1e#yLi5K>Wcs8DJG_bT( zriN%pI~x+@gMpgRhx4JDG$!(@m7o+jqQLFx9z)?!S@vJqR?hZ0J+uY*wg3Kex*F6) zisJWkXTYWX1|;kW_k+Kdl{3tY%U~sjzBV*xZX+2}t9P+t$@tE^0K2_<=)RXnrYz+{Njyl zL88YsyXqKr4J7`hF(?R8naYNUg^E|}F|Fh^H{%}UnEKv1Exd>E=>&VvEYxQmk<)ZY z(exuEDABKefuc}{u3j#C6$CD4i!3IFVDArF4*KAA2CUAz6nQDfvLIlaJ*c^erGxI_ z2k_LNFS1PEUnaTV^4Fz{4^%b(>epLpEI;7M1Lyx@#g+9?-2Px>R4?;M!=3++6 z`}2sN5uQ*Vlu*n7CEDliJ%X{*?YcN#e`}77Ad!O zCRKn(_9AfYuO6~#M65MOV{51?K)a%&FmUzpO9OU}5VhVU|Y~_Z)nw!3@f%Hab z?mGl0V29dPbHZtY-`DWFE243aDUI&1dEU3cA1Yj>0pbiKv^_xFYV9U$!*+p%1^BEA z>$$+TZeiKuzc1jlThY~z9g7&j89Rbm$v)w(iu%~m$gDC(ZiOF4eYOR``{k5r&E!lP z$gz9Rsm(b5MU!>ZhIY{uOi0OxmxiUUx&oK)Y4Hc*T_31uRrdL=pf@5bhNwXNJf!(PuT88B*{QMNMd+nT|2g zQqAXk=g#`%cbj*V)1PYCGYLTY6X= zh)hAgsuXsyY*DD?FB=WAbc)gg`uRWNg4L`fS<5JEtLm9=%dNn4e>v!VsIDXE^+POv zaax@kc10h9V|V0IZ_K*+0N5z-_(75X+->_W3|aG{9O*`3w|hFKt{86v&k@a1UM*dd zC6>qhwPMJG<2G%_0R@0==+xwE+p%f52;K&C#?n+UWKs!aw-?M$@a)Sad{`%wL+~Uh zwYKZJ-D*eQ#zWa&ixlqSHo@c_nS*Bpx42Ica#@o0W!JL$6bh;$f1L$ zvVn!-ZuzRXNBVTc4PKLL`*|@jgDcn$5E$#^uHzn*Y=NTMYue=akB>d6;w6JKEfM~v z+qF9xTX9+``Y*>LS(D`*FtnD)|7~e(gEnpFovx;bflSArXqsMkiM;~med+2x!4nMK z*wwRtZgR^2Y8zD#l z!Iba?c;&_p=)#B{MgvMwaiS8x;$OC6yudk%ud`cjnZz57ID~fXARi2KHXK(v2p>tuL#9fApZ(+4}VBr^B ziA56&HFLGI7FQ`S3&`11KA_etx91H^)Dh9Jf=HzkVjkw#CB?Q%?^+Y}NY*i>#Thn# z$T+=!u4xW}0RH~POIdR5%dXv^hnEL@?R}>Y{i?Ejz+g6e#+-!N?)uioj7lzw_Lj@p z04>nYT;VD^7FM>Ty0TRZt7ahgp4Tirw`O5^S&(D|`3BkoF|)%`Inu#HTEJ?oi0*6+ z9k<5g+lS4%tBtg!PYkVaDq+|{l?EHe82W}B8RJbBpuEla0$C+fS_71V#o_@j3Y9eB z21jNcTfv}yNrh>2HbH5$y-62H@B9P*{qoKn>Bt7q!kjv)<2)|HnzBFzPcesvk;-WM z#ZNrGAfz_iQ^2T}wB*O-<lOXvN5&*4V*{V;#XAm2B z09utls$5sS1ZJgE8lAsb$E%T9<>ECFNYnXT9}N_uVv_ea7$4;PYc&r@ZWH#)x9t?F z?K8|r>G7~yT%2J3AjSS>aJXQd+ioXg!P{*Iuw2>P3hs7}{;3X?#^ZIhFGME1(^iN# z2OQ*N2b*$KULoR2o>xlC`PZko1s3=1-<&0p5#3@tflP8c85@<%zg)y(DL^T4#h3BDaDxJY3C+~bS+#_~hxlcL-wVf{Y50h0jZ1|ub{-eBpcreJ>vB>B;I z#PHfX%kl_&su5?Y{YZKb8J5LqbSy`fe~4-Y4j<}@SI=zI642tTU}-E15z^z+{_vUa zv}^G3=@Bf`kHZM7RxQY_Af}%m!kR(}0N-SQ*{EJ0*Ky9l#O0CC{$bqQgE)NQ55b9j zmt+wP_uh7gCn1^uKFFRTwSBz7Okli5BEhabA5_1s2SWI`V=U^x^hzwA*mi>OMOrhc z{2V)IAuYM8;p9N0@7(_K2)xkYnt3Y5fV7xeH=O8~VN6*pdCy`}jVo`GF`LT=c)mOf zFq#ogo=+WJQeU++R)M;U8?uD>gH(}x!G}1s$0w^W*hhU}wHJ16D!^h_wQzOW2Y!^C z&G|o5AO8l-R(?_-K#?D?I~cZ{RDb3Izuq@g0Z&+7(yG+u-f*?wlB#iRo~?3s{k3jM zqeXX09`+QZaK5x{T&J#9tDM$_qQkwj8@#uy`)@(?Z;M5u+`sAhH7jyV zz8nxC?usjS)@N>V*kstg1X@?)p*0vwINE*Q++Zb8*BXz{jW_@WOFNpno4RvkZHY*a zr0-3ElQo+OQJcagYUf3+IFT_{Hkqt2q2W5ESbYArVDj+K{5f=Cfi0exkiFne?1PvHsJ_|BgKnJ?I_a#Bi*+)nYGw$Cq_Yw0l zK#2Z^R~}dt)|ZO6RFKiY2G&3FgUD+qaf+}Q-y>ec_Vp-%57!WvgFZ%tkyF$UAtKDy z7lQ^WE&C1R&cX(iz&zy+_yotG@gN0nTyU59jjsueCEn*3xAI&^-ffr?06d$`5(7S@ zO(?cNTmrET-1RUAhss?=8mK?l6r~x#Q?MHyfKs>rkG&FyEYt0)<6UN!*m-8cYqW+q z!-q<6V|TId^ONzNv2x(CDVM>K6?JktD|N~Cu3FEJFMrHDrFH%S@Z_gSXZDnKS~FsT z{8|u^h8r_HP)2d^rzuA&k1v<(n55QfJep9e<=7{{)i9s^4S=+H(kH9Y>B2)mj0_qi zu^*w)t{;cY^sXC+OdZm`?{ppmU(In7=i(5*4?qGw8QYi+$XDx^9yb&B)l@0;HKi3tsbkMs-CExsUEMM zuAZ!(wP_*$=S*-FZY^)@MYMtPH)rfw~hEUhRk(IPze)6SbwA1EXE2%q2?-cU7yr8)pgWD^9hD!pO zo|K?Pum_kJFIwHVI9UR@i*IkHEzT=I)sOKH&P;C|{T~~y>RQ*x*ul3lUmsOH9fz36 zcr9%bxjpe&;9hM0(e}eM$gQmLgSdJO4{b7Dt480&+QuwN$Mpk^Lx%==NA)+i_!ZK2 z(=BtYqi?|PTAy@l5pQ)1+EUNqx2<9Rrz0M(fKDb0(@4!D)iD_Plq_F?&OhZEHhAy2 z@tAl|c{o>LYD4DP9qN}m)4eh!@OhW6sQ1x`?}Rw1)pPB-cfMR$n>s6t*|mXy(AL1p z%-YKvyz%1WjLu#+x5W|!@`J+fu5HeD`7EY2!q|VbldqxS*sPzn%;%pi8{X|+l07D+ za(Ct|^>{0@L_wWTzRI1gY4JhEGV#FDuSidpz->D>_Qr&Ry)KUPClT+oXU_^O;O>Z> zcXke0CdGF1Oa0%~sLUmgIK_L4#xpK{r2rvbk{ZRM^yw1>7tl zm8##N6cw1uZt{WyBS?XaiFJ5ChoJu4A64vX>QZR}ZEXx*O$?|0lnGc&wssc>%rhj| zc9?L6=fwd0)ROrabTH;J{K_U8-eub?^>x6$T$}@{LKF~@4%eYw@g6)C;wKa`tDlJD zN)k3Srbt;8J(_=z=^QE*HrPLZe2S?g^39@skF$9F243wD!kSYb6@gEMaYh?ruB1Fv zW~|gA4z5G?>Q4~(;lw5fuOSl$t2l01?{OXcgA4nwJicm{Q82W8eARH059@jHWK@8t zKC%grY&?^peta0(HM8@!%enB+0 zhM+)!F&n+Yn7?rV^+;9@QWaBMv^W3~NA;fIZcj3s(EV!TawRa}Zp1;FZ(O`I_H|R3bfl zVo{@r-i571QOG;?nb>BhxK!F4A=?DEuw~TdX;6@YM7Zq;3!)i!3julP@qG#fI5~lm z&Y+1B7~;i@Ckjt-c>7r0XB;}<6Y!h?h%wHQv?&X=z(Yohl8FT;;Z2*Q9h879E(2)s z2nc74$H^t)S|pQuOqxl!$*GDc$ZA|bz$Wgk+GjI8-Bwn zeKl&_zO_s@0$LhGW`1Dn-y~1yCM71SJSbU-Bx&D+^b`aNN7@*``Gq@7Q|lROo_=(P z5|Yk5kuM)Jzb*k&fxzdf=Uvt{8a3+{UWD{SP?A)5jJbfQw3o1Vd^o_9&!k>-Md**A z`Ix5EoCiq^(RJi#9gC4nXD4RKq>;;*_+(OrN!PLrkvj7YzJPnrN|`)*fUNBKFv=2g z0ZNk?=X7`zRd(Ldoi*$Wdh>FDp-&)Fx@E0L*SdU6nLJ7t$LZ`j$Hzsd8vy_Ne(~&Y z=(sF^W^+6A{oQscHv#ba_GPWRlND7scmE{qNYh87a4lCSfp%6_ zu<)^qJb-e>|NIvjPet;^fv5Wy>GtuHF_h`X5A6+oKbg!hru69PY!A=I*%<4jPnR=h|F(Rv>G3qxHBp&vHJK= zSb%x)*YW+Wb`j7khi-l--7s9;Kx#dXzF`_UV_k0=PTMk!-aLd}G{E~VK&e24sI~cG zJUQ~({C7WfZQmWT#kyf9nf9AeOUA7wD~q6upTjzzGc5{&ULg5#yh;?UG)EXsn>Mq} zFy2{H+aaY5IgMdvUOf$7J6;WDkR5r1Uoh>7(7K+~haBLoA9>xE(mc|sBziikUB45j z!I#}*W3We`rg49=h_18Q$TTU|f{C|ot?2w~k5<)uuLofI7qyp7{gO%DJ9Vm|-`A|8 zsy$5Gt)uJ5+uPfHA>cu&oV3cG)aUa1c!}t7WU0V7lO{(=nn7l+6I&_r{kq)52TIFX zGWP<*`3}$ks+@|j(G^B!-Uk|@ zdZp)Eqq(*|6RSyOcGsB{V*Vs#)K1DvsCR!NA`j3tj_UZC$7hv-%9ob>_c~@3Jih)7vgJ+cWME7oHYNsR6C(~I1~v{RV^b3&26h8R4t53uc1{)+69x`eKA!)-6RB&+ z!1$od3=FAn$iSok_Ww~yu`Zpd%PL}y-kD)YmD}3|9(%-)na~{)8I8puQ{`3JZgS;|O0H4j_i#I)bGu zK@JeajLDZ8k`BUGG_+cNqn0mZ05M|J3vG_V=XuaYBAZ2ShbQZ?H?qIy(ZBCekP7>r;sf5%Vn#$rbpelyKvc)ypo~y~ zj9|iyaD$9O;malJVaDJOU5c2|jF^$ftr4SOr2bd$TO!*oipcS$)RHRN$wNn{5rB3x zcG7TwiwPW>8|gTHM}o{SsPf#U44CozDgkY9sRwf2VdS?+HGLQEpms*I==ykSM&R26$?m@h zc3pXbUg{Ae?P0I`zTC0Z_mFrZPwJr~??7~iq}{R9574^8S=|vY9N<&*L34)0c!I6& z;Bp2B-BDu=D0K(9*8-~lgt*n?QP;z;?{d+MKD~nRA2@kO%+{gk?MYt_*aE!$Z*Ezi zcX7NU32u3PhvYZSoHCyF*r|@2F4ZS&{5Gu2Qr6QGT}#TcCC$y`)`yiP1-p%GF~m4& z&h7tfp4JVG8kAQKHsFUI@#Co-UL*%5t0bRVt12ZHJEg^Ex;(2Xr4~6A#p5_XD=s8e zIz`3*vujXYFj?f>9?RzXpwv6NSmBhE>{T^0A_L4Wa{m3dz2SrU&1Rl+daRiXlA>Py zJj>uvHybpXe#J0L&f^F94bu0bEAjuk#=yzhz|q;=(Zm#nosp5135JwZR9+0`{{kt- BO?dzS diff --git a/pub/dissertation/dissertation.tex b/pub/dissertation/dissertation.tex index d0e63f4..249c648 100644 --- a/pub/dissertation/dissertation.tex +++ b/pub/dissertation/dissertation.tex @@ -12,7 +12,7 @@ \usepackage{xcolor} \usepackage{tikz} -\usetikzlibrary{shapes.geometric, arrows} +\usetikzlibrary{shapes.geometric, arrows, positioning} \tikzstyle{box} = [rectangle, minimum width=3cm, minimum height=1cm, text centered, text width=3cm, draw=black] \tikzstyle{arrow} = [thick,<->,>=stealth]