From 31b603ad0002f2652cf2571b11f24b592e3080d7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Constantin=20F=C3=BCrst?= Date: Thu, 15 Feb 2024 21:48:25 +0100 Subject: [PATCH] fix unresolved references --- thesis/bachelor.pdf | Bin 1630091 -> 1630150 bytes thesis/content/20_state.tex | 1 - thesis/content/60_evaluation.tex | 2 +- 3 files changed, 1 insertion(+), 2 deletions(-) diff --git a/thesis/bachelor.pdf b/thesis/bachelor.pdf index 55232eebf32ea21e80822979425fc5907a9ca92d..fa84e0c8c02887dc00a90376911478b81c9bfc45 100644 GIT binary patch delta 26375 zcmYJ3V{m4{7Op3@ZQGvMwr$(S7bg?@i*4J^WMbR4?aZBX&b@W3_OrWd^{VdmWAEy> z-|FZ-(?5NtfuSIwprK%);GqzqkfBh`(9eVbam;A?M%_jSWb9xayGAXhT%TE=kDJoA zJO$v)LR;2d)*P+v=Z3&vSJqbvM~jJk_)v!TVio3%lb5TNrsd_{UM<@@8t{O|4nG6K zn1|laaIVjYJHG7)o|m}1=dM|)W~L`^Astdldq zTCe)~)0%DZtAg6@!Bg9ep#o7}nc#~H_mS)7_tV$oh2!h~&g+}`!uWCXSDnIFFL#Km z$nTS#HbCyT^Sr$M=M;G?NUGmzcPwnGlGV4j3Qlkck0{@=W_K-u-^ZKpb}e8R@`GWy z#=xr%t6>ez;*qj4u&@CKj21f8TDb?X7e%C&8MemvGpX|ZI_j#~rF<}qvwNlry>}mC z)Fse8h|WXO0^b47-1Y?)XT2$pM zt82UBa^k7Nciul;9Z!)!3*Ey$b+KxO#O!Zb$3{Ks-eKEKK}v)C3A#*Hj9JD%d~ZCgQhJkH4z(r=rjR1_@V`Gb~49w z`}v##Df=k(>Mehva@=l*Cq*HUb$hT)Mqc}aDTAbuizC&1h3;Jvzo2b`49OPUuIs(d z-*pEt&c89#Z-V5IG|wkQ?c7YwYIx8#SMCcBW})qB4^*jKIe@~C zKJ}Ek`x!(2Ev7cCZ{` z)puv&wAeD{Xed9Bs$PJco zAcx=!9;3=Z799%&=t?hJ1)xZTYpanQ+cZm?LtT#;k2AEgVna7yc}3z4wflt9G0o7WH2y!06`fciPQJ;krv?J_&k~%i@O4 zQB=75xsX7prrEEghh!OK>>$jY#r!hoAfG*!+ZdSyz0?C>dusL{{|N7xcgC52_})-* z#Ee^-fF&eXEh8Yln#M{@wQiAD1xv$VR~vMwoOo;yd5LLW;j6ArN6#6R<<|< z!!hd|mWWc&-g&6GzKWIR;$DciR90d)2%WLp&BVwkfaT$=Eg_pBLUqV`E&QG&+Z3vp zO1QwbM@RtZmK=ugodMN5XGKaw^+vno;1_m7rK=hdZE@BFm}!GIl-|rc;%m-)Xi5?@@U*Ryh zwu~94tTYfDuRi8C8Eq1UBh+`?>k@}qTZT4C|9xDG+^*z%%HDGO-dke>x$&ZX6~6KT zqCDMA0kM*UL^ABqgEFVE3HYROiK$y^qeMR(d~j{O4!NOhC0sI9FK7taZ{jrPR;}i& z+{ysgz;J5@1XV}nvqZG126{m}f6D%3ZwntQUC1H&@fl1cvrUKaD6P(soB|&WjU|cL z1cTXDWyH=+{DX5*3ugXn?&lhVibP?L+X>f!=a{0YqxSJ~_RgH{Qp-w(2ky#)>=nYg zBzb|gXBpK9m%eW(pX%Rz%^hrp61KM}bB+L7{ID#BWA=4Y$Pa{Ubw&?*hummHB1|Gt z{3Fa`ckq$a2hI!5eUQjf_#X3`whm97lh}|s9>)jsqR>i&TsVZUWj;;FduCbE%m#Zw zWg1r&<{#lJ*L*@+d8bl8Y;1L06DlU~yD}sp>nv3I`9L;(ruv^$mIO!?8*5xor(ytz zAxPQYgcNnM(UL7MhEHhLTWDWm+c!Kjfg1-3MJ>YKd75*1b{x;kl{4dE%_=ysNiBM4 z_+s1E$2#@Y*zZ2tv&lTGb88SQV!?yI_X;?KjaggJ9+;l3V~4WQCMv_|p;D4wKh|4) zDmACXnj{R2M{E_RLBbt3a%pc&z)Ao|g>N&WZF4H85XjKcZb|$Q7h78>pf!P$b#P+7 z`F0srK+mw}`Kl&5KN}?&iLeyPz+OknTUfXU_ct~L0q4C~nXxU3hh3+A7GEW~9oxrY zC`}gE1roW~zWO5c+#c6T-#DM17QE8m6p>v&eCV=(#yug0C>u>YV{sdX6ixs~>mZBd z#^9ea?cJ^J5_JZg#!@d%>5$hOqO)~8@wjc>$!Nm0tyr}a9lf5h7)`7w8p`L+cE!6n z0uSmC6}rFMeVyoUf70GMY@MGffZ4zQ6f&!8RGe|@VL}RsvBe_Dz4se^a_d{@*yie# zd(?`E19khIGXia#Z@|Jh5nl|bM%9;u8Tu;N&g$9}Ps&9gZNjElnUWE~y7yW5V;yVA zg3XtG5-LoJI8|o>?W)sH<-<@Kxy|1V<3ExC<%`ASCBQYG1%9AW-!_#awH$$2ZikDd zb$`6CFcFeNyz43VvFN7<&v~nVGb}+@CHm_Nl;=ctipaY0t!-{K>&6*SefoS0Lp#&> z)WXCVBTL)gz8Y}AS={}sEy7me!)iTRC}_|0z_59lPxmP*1^V6bb|a()R^U31TI`FD zzvLs9m(%{FuVcUB2`qpt#C$V39_Y^?3)h>r63WGAh&o{Mz2nhR>ZiJm&?Snk*-V$DJ!JH+PubeJRla zV_xBvaMLS~!B^p0f8bh)CG`7lvpNGR0&_kllBtBgSGfLW63IV&`h|z&2n4)*ns`5& z^bU$x&g2QWHUS?ztKvbu-oE{&)w^?C-J_TM8ajWo5UvJf7&6u|#vKE`!yq^!~ zkkEb$dQYViDVs6p&$3{{sLnKHcMCOBaMcCg`aJhsumbih1Q`q&D-`>9Bk27BGJR#Y zj?iyaf#t&f)}GNmA>B)`hw`own3+%7)RI(H9Y}zm1Fg9N0($tly?uNgo2<+*v3dP} zy~4VX<#S8ftRGQyzO?lm6@l^bOh|1p;0gm}(2nR%9$C*@tfW<|)j6a=fae@Gb|!>c zY~Q6*hc4D5ebOMR2b2?)Chsx8X{OiE z-pVAJhDRkQGK7ASO<3n*%ld7nFdJACj_Om6yt)JnS zHkubf%JmPQlO{%vJ&e{_x=x%ul1JgcvV|uagEn&{zJ~Bo7U~ixVdU~%sd%YrK6UM( zS?G3l3`Ne>GskK^#T|YVq!h#L`wnx4@qj}SF-pGBL@CG=BoX28r$DiBiG^O`aK-_* zLgs=r@0kiYJrs7kKNSQ(lN~fv5cEx4>>%u?KsoE6)v*4dGwmMm#|f9e!giF(Wm#Q} zyBo)@3%^2Tn1@ENEu=t6W4;Wtf+?-$#|5t|7@&g&hcy|Dd|=4po}74in_DL6c!Td^ zH8TF|A1`?m+``E=qTBWxmzF+>^1lCuO4Lm2{OW+;Sn_5%*ljI(qUOCc{YRtwzl!gg_3GPWyZ{_=Nd=@aA%@MPsN zFl{^HVO6UhXW+G?i_q~~`asn~MJd+oYtc-C6bV^ylCV;`K{&LnUMVT0Sz2o9LM{Z? zF-yxN+43`;W%Q_}2kSlLx|Lg<%)$z%(x~5L@P{+pa&H4r(0i-i?%wu}#_n1{2EN)t ze+mqE1||=q``0vp!M6?HwT0s7-u(qpR(Sgn;Ya+O|AzRp>z1s30)zxapYcT+SC8?s zZBT=?rpGiBJtP>p1j(r|Az>5D63Qe>o6iy3Bn%V6N_9BHlz2-;^F^N(6?t{GQvgaz zYVQxJ0zeF)<&$UNh$n3^P9&0e=q(M2mO#g}6{WdBbf;LDP81}?SufcR*RCgSH`z}< z{H}{15Px2!-*uUAMtb!8IT*XWuq0JEX|s&ryD(urkKmi!U|N8bX4sy_(4H&tI(Qja z!(=010p(TMOUv6|HHNeXVxahJ)m2k;jncDXz10oK%+|rVdUqwT$E}IwjBkx;jcfHU zTA@UNFB=r5(AvGO2VG3GVpUuYJ!_^Y}fu-y|B1}S`6R1l~ z{6ko%eY^_vw-L<^%R!KlNSAApLtsm~=F)VL=Vg(QxUG@2xN)W^N(!!=PBrnpdy(77 z+SwhzDc4&e>arc>q4>Tj7WavDwUzDij%}rP1JKRk{aT}kI zU`mmQfB}p6IiB(OWTNIl{nF^7guNH5MeLRNs3JsRE3Krj+sE}+9$SATp_s!(DNKq0 z=JH!VJIk+SeNi#hLVL`YQLyx2AvxmEaokM6EH-bl1lV-|bK=5-g?PV;*9O@w!!P6k z^_vd4t$;yMQgHBnQqBzff~n$ZHs)$~z<20nOMMD7igrO!NQxGalG7ZAvjx)3BF2rY zFQjwrqnEdQ=E>qc-8zB*Ys1gS5Zq&HT$5!`InN~rB@Q)>$uhL)kGV-`5p#Hpp(-yR zJrDkvD&%e0ofq2(AD$Tz5*z9v8tuWfWaZy)?-o<`UbFpxEvIY7r{06<^`z!c`NdLx zt)F-T1?+u7tIl2W`z7$pEvB`-VLXXTscS|*VK7ADkq@6v6rvs*iwhffjix8RqHWpM zZXm4v)BdNjAKG)pO}-Ck~zj->Z1@YfmBan|+V zV?GZ9MuXUuT842tC4Co|>9lXzFvp}jbDdf8PBGb-!*Ws1-fYhW^p5XApB092I_mLbt}h zrX>e5Us)(f+n*!9zIXOoxDgBv8@XSJn3mrh#QZuU8`ws%;|P+arx;`1``N{R$@?l#!`N{kE`=f`VbU2&dKzIV;>jjPOOI>{~Kv)a!sT8?yoSM3TQ z%63^~*4F7ms^y95u}?|ZKvs>5rFCr@;IMbnz&nVSt3goWq#e~R=58_VP8@DgrhB?F zXOT{>DRsX?sv~EWO}VD~*4E1*5HO%8%J;(J1MA`+2aw{}*!7ispLFuS6RoTLJc|I6 zfcXdPKj8iW{||(JApQgCAISee`3LGh(Efq`4~#Z22~7GB5Y}WAFlrDkAV@hHCLmRN zDsGb#zIR6T6=FHD9MG>t9OnspsNv=)tjMq~>v~#IXQ)h0F@CUC3Ju9-tBMW~3{aW8 zKQT$mbNKkUTG$F7&TL74cl7>yU~z%hv`TTpVb)fhu!4Ve|LyfgtE4mN+6GOVis9(*#RjsDD+SvUNvvYnZ|EzNrKL&APnEZ+E1Gg zMNLY(W@=87yinUqX?zEj1<*S`wR9KD-%H^h);r6olNZa45;l^Fr#zFPc4Mv%kG9G_ z_9NI@myOOd{Heheg9?jTj$^%A_AmI#UQ_drTUjtv*-BAbYqei9*YU<_VTiylE@E|u zOd0j(q!MHIT>?2w@lbU!Fq2Q)Kb}^4TC23-V8+szRN7;Z*>;=m0elKbu~>|ZOx6~L zyy7@Uv8sbg+!H-znaOm5Y!P-cQx$`~pm-+V!>{mOyC*FM3TN72G;_GyC#ZQNYRV>{ zeYF<~$2?XAm+n!F#|zXsw#VIZUDfi}wLg$QH&jnQuc{)rbR!@nKI6$U&_s%vjcb*E zKeVJW>OLk_5d@L`^J9=VlN#*^%t{FXFc38(%9NPWa}hZjPQQY8F;|2o(5({;H?!el z2FiTvfkVr~%@SGDB*I|DA(R{^8T=-?WRijGw&!19sC;Kc`p39N#mu_p*QjbR#9WI9 z;ISmt71M@mShCL#_)dW9by3kmBha5oR{2`{5#@sM4AkIWfJO(IS_w#&(@ij?c@L87 z_TReBg!iltC(?eItf+c0KC%;6gOZbzSX-n zixNn5tJRWM=_l7g36qKvL_F=FU%mUt;750IPLy?BslG%Btob3ig8KTUe|V{qc33TA zwa)H}ND#ei0R9X5I~{}}YZ8vxAE3dH;uE6D!@a3-XuDWQ(u5ffSpcL2`I{16W1=F% zc<5GXtHEXovkkSYMxMm+WB(WyVXz=hToF_M9ZRAfEl&H6HFizH0Isv%x&-AUDytJ# zC<#sHAl>(|&wAsQSsI`iRlJPj5b>-1?xIR)-K zsy);g{MVB5b%5|}m!D&0DOY7d2&Y6TiDk1{eCV#?`X@Qr^NTQUY>(uXY?+`J`Gq# z7j0fDKr`oXhZEk)ZVra;X{R3lD=0Erkmhv&kTiy>aZzA;31V%vu zg}j)9*`&Gnn;9eF^q+j(4kB58+&_s$(ar$kf%j zjVkzL%!XoNm0;EBqWye@nI&Ep9!1G4E_n!c08zGy(~2Ul7QSiytXOhe4@Z2)E__$6 zIpy0@8KNNpy6Zbp_uP8-y2;FVKnfRaRW*}sEg*-(8k9A$+M+D`q@)&iw2kW|prFjh z&5WOC)ONZ^VBuEaONhD*tpVae7HW)dLA9m{e$$)JQL>=IM#&TX%!e5{$9*a6OQm22 zu!zr;0E|^?f4_H`T#sB9Hi(MV+DLUYc-bk@CS_5y{qv00i&KgXj+uXn(#4 z3Q?WSpU$R2Pt^BsW9121;&~9=B5Ai)0GGI?9rYVVEzn)uOW>=IFN*Qv4q_4C?Z>KKR^0VY_LD_;A1qlP_dP{T z2PDoe3l7$e#)`I%=GG-?iRRWNShXChy(gLQkk54QQT$=nPn)WiBciC6;`=#lve`tJ zv%8r&AgFhyhX})0{^9E0M#Y0>GW=7zV39p3`fp%Ra&@oXd^YdfT&i?u znUx(E9WzH&A7kQ$JvQX$S{*uRd&);r2KZ4Gh=!2)UHF#rT+JR=>4GVV$DZwA>GES zQLh@~#K)xJkaGb|Dl8oUnVf92trld*13jV!qMq~6Gsu8%d-Uxu*R4ayPq3oZfBSYo zW%FwDY22f~swtQoFLrH4J|F$mu4U--acEu7G!lJOwKV6&LO{}T)pX}2;M@KQLWasl zQ%G<;F<^6h#x1F9jP3NZMVXKubAqSZ6`{s=rc@Nz;&ZAI7;z0)OfrR1fpUS80nk0S z*+J<+`9X<56@ztv`K#FS%#JiH{G9QmRs-gTm(}&^ue_H%4EHVFI(6_6YR>!&^cMJZ ze>L-Zl%rCnf94+Z6dTlqL;0PQaB?3<^3 zw4h`-5Yb3}1j4hB@hP$!7x+R(-~PnqHszGB z?xG(x?(=-LRvu3*@^A#Ixl=G^+Ea=+?;Na90O!`-w*QzrO4hKwM(9hgQa4H{iIlQS z&$IuhOIQt%e`EvaKMGZtQota&2~TKQAk@@{o{063tXaiS)XmK-6NWt?)z1RIH7F9r zFE$1>cbtjc0cLs_E2QRhEoOxs)(#QdwOvx2(=`_>zBfD^ipFePKEHa=U9E&wRG_?r zIF!F=3ne>oM;Ye)V++^)(|1&@lcJa}E*l(SQ5z1>F)#JR&LLDbzGO z*}46R=6=z7T+KL&TGnn3vIFSss}$DC;%$6gRE@|wQmDQ@#=W0EPt;vwt zKL0ra25cyWb(u~o)gm6Jo@mO|99nG0(!O)T!q8xeInoFICL^)W_@iQUp=J&sOhHJ% z5};Vd{@1_qt4?(l7-srN>gIt<3fdJ#s9|&UtJY++%IN+#C?@Zz89j;}T75L3r47kr zmxNu}`^?GDBj*}ggLV9-UDQZ#n*)G8JPOT%Njr5~v10P;YwMpg{RKc`adx z%HOj}GvDSOBsYmkl3JeG3$_6O05b8_Fgh85y+D7Cnfl9mT!BA3vd;DRA z=GvL{A8xQuBEsoryHhIG`Yx%zw&u+XfwXk;lm<+{s|LLs+tfOk4`q`9L9#Mq4oPry zz9kc4Ov&`@8D2GN1}`VP;^V*7zi-On$G*SS!Vet`&85EUX~BvuwEkj+kG#8ah`8Qf zt&@V3>VjFW)u$h9a~Dr13_8kLN;NLw=o}WE!_(NihZ9Ec>SvAT#wAQ?(2PEFln{5- zs3d&->tFTOZW8zY%Vl`$5aq#%_(`yK459E`*^0%D|Ci9PP znnQUR_7r5>7f`onQ4#m<>D@HKFq_cP*e{bdBDLqmbB$r%u{my1jhZ<5cvK|1^mbxB zq4l~=qoFuZm6Hl_Y@a!82&pv-8@--fp7%_=`3SQ)L0i@0y{ZAmfU+~+De;Gx4rjO1 zNAvT*hl)z2X$pI^CV@uAZ3C+B!>fUVNkRsdp5Eb~7=dtTuGvkUk$~t|y-CFD1Pgpo z?MssLc1HA^^!KEiR&58?T$_dn6Eln09}s)P`D{(8q~K#C8^$T|nKHeS!Q|j`sXEGi@whZkC!B8Fv2FA zw%Z;Jd!Cj&(W$yzIVDu_U#tr_wtQv3vtyZ-5%kn;?*OcVd|G#X&Mn!WElV2f?S~Y4 z$MHKY^$`(3?6sl0+}K!{X-*5yZ~;J83j^m@YqkAZM-UPWF!qRH+K%247kcYHE$tDC z6!aO7PEUut#`n4;Y$mhHKnFP%9f&Epp>;IBZ@mk)+t@H$5_UFs?CISr5VJg!R zJrcaej|WF2 z75|}HkZAuNG|KrUWR?{`%)hIMkPr3g9Y4~u2mt%#TLFdI_76i@{shdsx_7x4U4P2b z8UeJ2T2QnJjUee`d5F?s=ogH1La_~MX8uBPa9yo(+JBw-e9B>-A1}cSM2l$B@>TCoj(BvTd|~YBPzmU-|F5 z@Ht9P-t3{h0vwGo12!lS)RMP5^5@=CvI9s_>}^vf?b3%3$BdnL-6_R0eWT954F0Z0 zAuFGg>y)Zz#w2PDrR}^^-Q%)}oq+zX-;_2l5}QKnD}^hQPdhi?$sON7cTZ%V0A@gy zbI4Zlm#hi&=VMo>JbXa_BI6CF=qU_C7fWdFj|W7SP*e|7=&ulC>k7W7p*zS>L@6kf ze{$~LSP=4i34EDAP)|;c-#>QVC#2_x4rTuDs=voWBg3a^?&H-o)?(0*N(kuLEJr60 z6n~LwQw}(Q1DTlUpxi(I`9>ySESzk>L_%olw$yFRB$VXD2AVddTg(Iq5Z1Q6C(J5n z5RU)YOKmORn5+L{|N2yIE#O$U@W6ywOe)|c3KkhCJ16iC1q&0f5r@}-;{T#~>--{Y zhgs#NiyiH?a`#6Fllckk$M!ep5xMi(_5>0 zqQXRV)FitgA%uj)UhKfNCpkuGPJ)v}f*m&N&}JwDT?=pQ@UTT$PI|p#x8vasMLb@X z9YOq0{EHVd0VF1%qJ{@(1*e#-xIUP`ZDIfGZhFagz-zvP)Z)3iPMq(S6vwsQ&M$|x z)5On&o-}C)G$~HbY;`Gd46l@jwZT}zviUc&#GD4R9t1KCu0rp&Y`81wr0`ngP`(w0 z6!~dXH`{*n^xjxx{r07kSh!c=QT!8J zh9?~ytr<>d8k~_Q9ScnaB4VzdtP@&_v4Z zx|+hPbjLM-&=$_|4SSaQNAxy?EY?z8(i2S9Wql0s`sjCJzAk0m{e%_y4>gJ@1M}dX zX@Rp@EjbGn81c>I@}w9g zcvaM?h)TA0EDYT|;!@^0&trrdGCG=)O8G|}=qwi@e}G-5p@80$+>2Rg9#C_m+^gF0QS-&XcY9I)>7PzmI?1m@JcPyzR@yqL+k%f-$JGJx!LJ z@?|st^&pO&RDVwO>f~M)&Vi|CxtWfXSO-;CcJ@cQ4__~@TS9Tp+)R&t`&n~Un`gK%I@=J*hY~e$G z!a%JSy{ZwP6$!z%*72+sfZtcOY&VRLUjL!xNb}#K^=;XBv@>qIT;VsJt&+j^K-j_E z#GS`2;4rZ*ULLJc_CT;9Q^m_zA6=9Hlyb7RBv!=A*_-_*w$_&D|KFG3ebxYektb#W zh)H9$nZ`!uL)8HNt5=!lK`O8H0|ZhWX;gi;0iNJ03Z4EZF6 z^)eieVUHdG0X?~EFj5(Vg{)r9BZs%u!AdDM`{e~v!i`he3TFXQu+UJeUgt-`uT?mC z=s%@qZ_zTb;WqMNb`W6!P*9XtNTL~&ZEP3c%#vL1wKud~(v}Lt4QPjeMCq%I+nDU_?Ve{1tc05MsQXs!$O_l&{`a9&N0$qM(&` zI|^Bb$o9gt`nAE|364@Qhi}Skxc^o@3~vvi}4%%~!>;peciylk>}vIfLUAhl{o7 zC$N$>=%i3PmS-J8Q36P!pf^guM>1jIrDPuydS1$Egjltt2Oz}*XVFL$5|V!4ki`ykSX$qAN{PJk@ zfdxP=R4zo5F@#wW2u?`5vTvatiY7uMD#ddaB0z`!lP+uudL;AnZpHk#5?;&T_tfls ze99#Cc742i{SHe>iJ?A&12lOlucD4UexMN238+Bcg3s~F4`k|Z5V~a~jlqbk?HC{X zU|+EwWWi`3h5+ek!})z6JboW}BtjsW6di+~vpW9!hvX2r-PEtQa9Z@a`Q$0(z?M!XOmSdRp`2 z72Dzcb@b)=j>Z4{z?AnLZfYdr_&}7GIfmim*CX$g4mM|TSqO=XJ6N^3e4&p(+2zIQ zEt{8iqLHGW?ZXotNjnYH^^aae4}c$)CJ}BdxVvvjz*-{dN(csrBntoW(O-jq;bQasjTPvn{gc5(i)Bz*B{sL z!u}*$oAdmY{7wR$UCBBGyp3JCn&;AsiCYxbv}$oz)1yc!mHge{9j?;WNEHy=C@^P>@;*v=6T8> z$vCh}+!YWc)?TceZUi(tDNqUgtBDefpc^GxNgknA$QuF_BiTQuih8~@A8vB_0`yMK za@Fvz4BP?UZ+d?Lt_@oT_JH1tPS2a|wQ-v(vzAlJuU3zRJCQs$G`;E(V9~_enooD` z4CmHUX%++T?9N5lH6Y^kK=QC_%A+ORBF5t1EfAMhoUvyUHv!$a?HP@UIUECj+qzQ6 zzG08;^OiV7`d#;T`C5(9@sT66wZg@(zvf@uI`g63#8Y5B%HF3DRDiyZCpK#W7`&Sv z2JR~iVyiC={_zzUqwe(OBS!(d)+X^6kAPpP0eT0+pPwdfoCXRzQ)ODqCaqdEf-#KK zn4%69bQ~6EC*aye@EW7{eeJ~LQk*5vmdUT|zQy~y6G;LISAg-=sN}H~{0y@rAz{{xh z{Y$tq$CjR~SONssCl_xeG%uDOeHypc=7&9;J9M7_KP-^5fI$$bXy7bdEdLX{*Z5d| z@W8p>*aW~E9vC=~pFj{Y6f9uA3=9ky7YFPA)UUnch6L*OwP6EM7Fhe{3s4l9xPr+( z2vX_*f3}Mp+A1o|D^V<{`0_B|i@&Lvn$81%Si@J|M5t=d#lvIU!^6VtOvETy8jDo* z59n=Fh7_9t+X+m+YD(gdF>>a!9OHQ@Mb{`y+hAs~G4n zWI)_;AeQJl9W#S{;ePt^ds2BTs$(jY5sTGWGukT8?tr#8c?iUh%5~gQ{#Pi{A11I} z=lNu8m~~*t2o~<(2w(oX4AdvG2D{&y7lUOPfXdR@UBFBwL>dIv zvn6Rk9rD9qf{5S#!pPKyQ3#|;U(%S%HU=#J0yiEqT0+^DIVOjk0RGBCosaoZnfB~lBVT82$= zCIOtddS4E7LdjN=Dt z!=c6Y91Xl1b2phuki-pq5KE94y^ZVREy;vofR;Kvpj(fVed%)L4TB_+bD3~f^RPn{X6%1lKsNIK*4}l z=Bs2u#*a?zW2!en!%vYsA`Ab%^Y7dfEG(>UgXg7e;1nqnUf@Ko#e+Lgb7D%4v*Nul z*OS{!sCjfD>C%6RzR9I!8guxgx@x`iyit8aZrMC9Xa6i_=6(2cph!{@KJNpTfeeUV zn6itBIXHI0{J=%aE`o-1>j?O*;NXlb2hYqRV&$~C%A4Uczu0YE)`7kWZYyrk+_!R~ zXAN?rOd09>aLF&}wXhtd&gN6*5hPjvZHYaulHJL^SbQ2?eX&ugwK!p|kz&qKw_fPD zZimoizTnPZfp}K1POSjEqHgEN1|4lJaKW(R=G~WF{aC{>TT!l|uYvxH2F*gE4Pu zVQs_P-C%0R+KHfuQ}}66*}0!FQPQzjz`MDTPpOk|S8AhM1O^6>_EJ!IZp@_^$i4nC!R!Om{eF^6nCIZ5zP}ecVA~mj~9q?Vq zTLgJ7qmu#@?XCb6SRRgc?On>gRm$8WJ!?ez2h3qT+M1v*va4C1(qk>Jqf+#L8#1`A z#ww}lN+URCqI>JsDO86J1h-!VbBJX$?efR&%SQ3Aub$LYh)jiiWu};%VN_Q_<~Js& z&P!vF>X8i=hKeLttL?{=qo&QjKVNAS+@5-OVA-;7PKE)^q!OyF^UAtsNiA6FE7co~ z=iwTvnZ6qG=ljwRgy`0PB%;X&8-yst!OfLyg~Jg)`-hPQItyTa*1P``+Tio5=U|9J z-QeYLKYxhWSxiFKXKA{y9dHKjbgN`#)Mwzp#JO?${z}{pk6X8+BIj8DFq3imlSMYbY4AQT6NtdQgG7fNjrR~(?VCp( zD@s(L9yx{K?oL+g#4I9@@46cuR=5Sih*`t07vpmg&Wq=a%U5>YRRn!=?d2LWV!nbk z(Q9B~c~N=wF3$?!&dS3)svg9de%D@F+WM*+Nk0c5olsYaFB4!C)&;3$X4Q#9gIS!p zac`c3e)DDy?jHw1?Fh%X%qvW*x9a3gU);-RABDU~oUG%P_&uLt?j$(YY@}RU47(&f zT~MfNR8%CiEOiLTdAM2&gn<=JY1}WWyfKmkLtUVX@zUh)U!7tj~ zJ@5c1wFfzJ2F*7PSNOaB0c%ayN^*2~Tk>01R(ko{oDQdmmb$QAqcS{a8H1vnIbSbA zPv=J7(RvE&H8W%vdny1$*!qxR3|f!(iXoo?<)eTPSfR7A*!&%T=V#@BIKuph z%Nr-Hu3l|Q0-@6dZ?-8-^VZ7src!WbhU z31qPCo<7xU4dER+vn)%D@z_S0@xD=(RHjPtg@Dm69N5IM4fP$uaa%X^V&u}AT~GiP zh;#_vIny-%*J+WnL`%WCkCk6h{#>Lv<*ILI^aw%1-;=FoGS9^P35p2a?Hxn>eFXN{ zC@CI}_h`=9?uCdYuQ{&h&P_jkbaw!AL}DiId$8xJEhunIV8>vM9EjfaL^{i1STDdq zW~PgzVE6L&-hm+;NkBjPwY8OXIcgY`WZw41w&x9y z9i2UUo_WVom$B~V9S&i_c?jUKY0ny^7Uy_zcXgkpzxbqY5O+yo(&W70lT9bV!bvKC zQ-(I!r97ugxk6Sjh5+xb4qK(SMgBU|^(Skq`@uzRcsNoJ=c%FTbdCDJ4;WMyXuMet zkJhKG+xT2_c--*WJX5~*-p*ZQ81sOS*kU+e;S%qmG8FkjGq|@~`PsBZSA>&e;TtHh zIbPaHmDNVK2f4sc2;<0xENWnY1r{FAMGK1xg#CYcYg$;M za3CDO#9A!sHgPj7WKf`h&%e3;B?^PGvb6o1EC3C-&x1nUX6b{a1qy^q`8Rs%hb0Qi z#`3=@?EJCvG5@dW%$|Z(4hn>+{@+prKoTGp#lK6B|1BvTh!uhk@*h8&s*R-@%McV; zJ@+rKy%tLygzbMR@^x5-q#*47Ot#}EG1@%AW{>Kad zKEcuh1;&A3Q~#$Rd|>W57WKce|1Ji3ffb3FjQr0NZw0~j0tIR?VPmw3f@7o70qd2p zG23jJuq8-3qXt`1x_N&hHPj|qO2q*MWIY8GH)W5KP{tU zf?VDtWBMzKl5@~?AQT0Y0@tEi@)s`s2{j4^TnnEyNrxyHLNaYD>~!%mD8)c=>NiL# zd2%j1S#{7g$#avOwA497hA`YLTCU9ORCIsJLbx?Nw9#IP$s(Mnv}Miy4{81s1i)_* zozj*#_c)o^VKjI9A`!6#C$0E@*R)WTqj2m=$_ja^NMLZ*!C9d*rp6cPn5*Eitt#1Y ze@k(Xln_TvN+%`Sz`MdO?6sIrw`-kXPk|_>PQrl=z)w|#(s}tjt&i|z8aN(-HLC9_ ztKEkXOKZ}4W3or+kt^2M6Sm!;@iD9JF#GnwMJo>Zd5&dH!!I>oyO;f`P@cDxMknc^BFuXrP zA^-{8X9wTA*?qrFgGM0ZaR}-71P)k+4^-{E9(M->zXvEs?C$;EJjN&$SBIW17c6@9 zE-(DwBEN1$fw#PT%c-N*C4g_J75p7Xo2kym`0SI^v(jG1s`LvGVSyZZCa$KX-Zf0J zbI+g=3c`P5;tU+?iV^A8N}HF__HiR#el?**q?YO(5{aYxfFiq%(s#Wo&8zdFYxErZ z3@;s;oK36ECV;cZO9S?qL!%>4nlwich=eWJ%ZmOXC77RXlJF1y5Y)-qJ}egoBT&T z-9}k0SGA|t_knRfptm-JD|NY1z+>`g=Xptp-fx?t@mk^(yw*APS1FP6jCW4=Lv2!7 z>TPr9toGgmZxQ{8=P^44OA3!)aWhO^N|CkBz5uJv+F7cGPdDxL|LNl^fa++Pc5!!i zcXthT&>+DH4hQ!H3(mpa-6ar$b8ruEa3{FCLvRWH^S<}{?_c-Uty|Um?CwClDcAc%a(w<_F{ixr&;255&0i`Ll|H6ODzn*kux3golcKb_hhk4DDiY1@ z9EjW9MOgzUkXpAYalXGWrGw5YW&gWRFIwHE!Aw&8r2Otg8LBv?UVvvDffu_aU5Ym{ zhGHnny1R~{I!=g3`brU0%H8G@tqVnYI5?0;R!I-9rxt1mu)far1h86QrL<_Hy^QHq-TXb3A@!)`sPK zzGvkv{w8BI@$;vBiRMOd@Scf`r)qNQJ)Mi?qJD(U;qcDw&n2^DW5)2AQNsF%qa}tY zZs^Z^1M0~#&zIXbz5{n~x8mz#9P8$z-3(p(z!W*glF9vp`ivT{<-QK;5zc(FNsvJ4 z*V-W8<_hY>_D5G-6ZMbJc^u;Gs{7HJ+r9veF+r1iWAJc~o0!sze50yazVb(u;}(Xs z9S#_Wk6X>79?`<;d9@k-#*Aplaan9L=q>jptWI{{k;RLvKJgDO@GqV3ZC@t^K4dQ) z`F860Sz=P=v%TernI$h&Brl;nN`TlNC4vmo(+}!V$50qssl9uuHSn8j6$}tr5FF%a zsG_ZL+bo<4X&zalV`=rt45!p+&^vy!>cg5MZfa>DJ9+YV^R}Xx!FwVYGc$&$SADO_ zg(t8CBt#-b3~h=B)lL0imr2dL!^jY-281STJr7L%y&OEC^nV~!nY?tXEdebF>*nRh zYz3()QBd&uK>unBM)h{w339XFfw(*OgsV#pofH5LDOePid;tC6?cfBkbOP4?L;_K* z7bPYh3oC^Uo!Pv_XaVyfInT*Z<22dmxhywYL@!?H53a)-q?b#VJsl0l)8paja6RyW zJ|E1?5$y+!+b8x|naEfOW)v;FJ1Fd9O9-xVhaCIGhrmx)Pmon75G)!{wVe9&qnGum z5ig~ z0aZ5iW;a)&XsYwY!Opf|Y^#W#?9+Y>V`R=$U$0U#`MThUW(EbDMqg@{D&-UjcI$h#5;Y(dEgW?MCPP37sq-e2cGs#;! zj^)+dzhJv*-416hdE8x-bdq1S00WyH?-MA*v7 z&?7MFGuzj;f$F40Qf=h<7-*=!Gdg8x-T`QAewxci{Y4kzO@vXl5YDPA{^nN-IZzH$ zMo7GLy7E!6GJ8Q!&Ll*f%ZnWm#2x3foRe336Y zuGYrZTbaSlr)9Y!VeBZ=hLp6O@+J$3mUP8&TP2Jp1Z$Pq*m*T#)mk?)oO3tkU0r=O zH4_1>plR%5<1hw0+u%6tOl*tD6x*&q%rKe6Ys8e%G;$!-(5x8UpJieLF+AEoQsu`< z^a{f`@gO=|-lQ=tmJyHD8jF<-Px@SO^-voCHeh~>HW>kF!Fh$&PlT{^+7$Np*vEUK z@s<{U`5?jIx1Oh96NwIc;cfnC@U|CakuyJ&*{Wl1S!?^LdC+n#lKmVil>Yi>D53>F zCIlN^JlKX`u4s$EM}MNJ@5r!Opg~&x<;V~c1du~FepfXk0^YT=2YYViPsim03T|sT zdnxfy<&PZbE|JB7_9bR868-{`=Bae6#Hqt2ySm*~IWhhms5dj}Emh1eyVS3RRxT=S)CfPvKSc!2t8klCU1?~RS6yNokwH9j+>s4!6P)?MjQ zbHSm$TEhk>?Es|EXgs2}S-<@>!R(V5(l*t39l1Jfr%8Kp5CoPU} zPw~XhDGtY;RHZBg!>yI|KUjYB&#O;4O@p?rilUhGJU2x~1xROQs8WpS>2>xdMt9*k zfA(c6z_ZZ5kci;JGle#LQL;pJ(qL4^>`MiYUwytQaapc>?|NN+$-qJ1gyQA;Vtgj8 z;&ddP{L1pVWvnHG(}TKvHO@CvE_QF!TmF}WGG>w72BDlhA0=EVDO_nMujF9mI!OMf zI=V<~2gq%`PdYB2;^mv$-}~OrHO467+r%if*@kHhy!4T=CViyowL`HcfIAKbcW1PP zuJjKdva5%XDR6A-=sR~5{jO5JQOX3X_**1@cDUlrq+M_AvP_m(vY22Bgr`0@tCX6&1gb7MaJce%4Yhdg=%C3=M`fwDHnBo| z%zBfJzdp)31q&ODms(zL&}Tn?Y0|%|EOauDC6u5P_kV?%C(3rTjOHfmq6C=>iQ2`K zUhTQ@8{|xie{pe6Wy4dMI$WPwUX?r9Sr`mQJpXvIvmuu&iO@voaO2`&x6&mQfPc2T zx2tQOWim$id3TNQ^Fj8*-orxPH^C?NARGC0f4-HdmItkiCEvz%NsLvTPyX+jV`QIH z#K%+xtWR!cwhd6HqUroz)9yhJJ8^CO8;uXyE7#}He$id0*9(rXcv||Ww||yA5*z!C zzBnJSpEdk#Zdnl>^PlW({`+3qNx)}mn**Wb)#g17c*he)buT zSav(9=J?vkOdN4Y*wgsbbvqGAb|s`2cYZctv|9<-r@SBPKujQ3o&E_*mA>4KW--v; z3-(F%U>GU;k|b>{vdnm^{3;tfJebTdYVOiL-kc|pPqys9WB(vHymd9_BAm3$v0$Wq-n};Bx%OqBdm| zVR{4&+uyHIIG?k?QAPkcL0;}_{a;QL$2D1U@r}M8VFzdNGjH8}F6J%1311ts{64y5_-ARJJ3HCTND<)v#@UaJh%9X$xOgK?eD0Q-d z=Ovqd26WH+4gm$2=u+p^)HZE!i1as2vTE^IV|X2u#Rd9!eNOcUPMHyQYHiK|@;2>2GKMeoWf@8ZcKFil@%PVPjB{hCPZJ~DR zB^6dfA|G`4wZt_HlHLYLs5&hiZzy)6{ubn7ZC`8cp;pW_>yr>C4xwwgxb<2TYa8Wf zt%b}6;v}PHn8^7BwZnl_@3Ci)03g%upKT+qZZ4KUN0fABD?(%#A+Bb;ZXyOa1VKJQ zRxa*z=U!YwWFBsQ9&Wz(mUPoTqOUN5TPl8<r!bi8l=P07&;nF zp#YGf9a#@wVx1t@HZpCdq%xiI4>)e4yd z;x^jqQ<7olAUE*<=%A|Xv1bt4W_$-L_~mKoLs1IqlSd;8@=RnxnF-cNLc#=g&5cSc@PdKIXIafIU*u>;*k2&k%zT_;kMi!4(6UUtw=^=Mi#jq@{LNS8#ifQDs<-dg z$r&xHeZSW`O0)5&8!q{XlkvkI{X8OW%~uZtrjFb1M+Ruh;aMj*BaXnvCo=;bQcw&# zs&-x!*>_u#6I^7AgcR9zf)&|hL4?0cwMYnFdbd{1V->#l)2ZYxC&UllT?PyADOB{X z(;ORQBaN*A43+zPM&_m>3(|Ui;c^;hqvGpw)+K%tOWuL&)g6=3kW*8!ig1^D8x_r> z3b%n&zt`2?q!l(hfuakCmlNCZF*gD&o;PqSgM#CC| z+HNF5%_S=yH#_U{$Jzlc)6t=Q3owK!InaTn44&-?mOze#z`lzgyvd;_qC9WDbQkX1 zyqN8`_G=Ro>fA=h$ME+1%gQ5oNdR#L@s@~_yJ{n&(vXQ5kLVT%_|r$>k^L8o`Sp%`G~tJie4;%2w?u^^n;VzuLRu=ZZZ9Bkd{e2~A{nw*Wb`a(0gozy}hc7spUW6Gd7Qg-N*P#(37f-=!5 z$>9R|H_h@7nsdPXm02*BfeycbYN8i&1%+dGjMp`&n)D{>(@=fVD8u;(zc*L4RPq-z zigAYy-dM>f!Kg8Lq&v=STD%#escwSgoF^o_bT&@pdyyRbM96{rD;RCZTCYHseU~vE_^kY-)XnAp zsR0xCobzD3R8gex0-CcRibHBm35DTsv|pPPBC^P&q#XPTf!XOZ*7kFW+fq0}9Oou0 zgJEB}^JNKaU!Ft_fdq>|1x6Gg;5&WUutWkVNK}%xxITflB!*$2u#OSETv6Yn$xdeh zz0FZ5J#VCLI}O`${d{G)Wi19bfWrV>>Z5jV>xyYaE+T3e5L^*5%e_-X!Ue;Gn33cHBwCmeY^3#eB6un-7%ty$&Sx~rDa3r| z2bj-_uR~6aL05rNeWjKW&-lUBBAVk(YSMc%NqK$q0KE7PvQGg-jp0zS>OL4?qDJ|^ zinQL&bO(d{YI0c`-$lyKOc@7Vwc-9sBvrj(E7`xmfNMQ$&(hVsG29*vw5@hm(WE81 z76zi>Fxtym+%2KCVA>?TPwZBfX_}*Y#LWjQWy*2%pkZ4P)*>A_2E7K!UYyHom#7!* z+;rZQlWUhac9z`a6>#NsjO79Tsn^)77rc)Mub*+x{-+p*$7lb8wfjrIt-O~)q;mwV zi5$9~xU5XK)nHJHeU53@FirFegD6G@=~qE4Cn^)rL6_M@(UIha|In?(N+%yf>tn+G zL-qQmMtWPU6uq!N!Sl(~`G{S>YP0Cdhg0j#%boRsXXN|S3Xtf|Ec;*PF2VM*$H(Jq z;D(&xqHC%zqaRqi#Nt&``M`RCSQdK04O*B{P1c%_-} z>f(w+XokNX227-=F_G~US{tL+T7am=Ljdq?SukaFCSYh1ASp;G9E|*9|JXlKjVT2r z!-O@qiH)nM^cy{tOZCpxtr3cc3b#&~>E}nmv2cf>K*OP6Cf$TDfJ{epep%#BfRP1*vW*R(*>|%B>JZzM4{KQ)64#~>VY!fc!LV{bGzL=~D^pCu zUgQofBv`M#Lv3>5F;*(c3{+psi{xBY-7$a zEd52|9efc`+FRqW@3{alNz1gUVjLT^shz$|yJJQdO z$~c(pYYe!LHXr)zC>44&pC71lbG@slN53SjQy`xvHs$R@FCF2-J{)}f(Q&2v2M1@y z00}R$nJ5kFcFR`E0s3mB$gqQ_0H#CRfeKg5uBWK?!#kjT80r3RVCiPvHk(gYAXbwS zNQIzGgREh(T;r!Nn9$?PFG}I#ckdM_YkES~pM#BI@Hf@PC_;DCg(&!U)Op{*mX?`N zwI=xSg5;qPe)ou}p}sAVUd%!CCS%H{^O1D9maam+&bv5Xe!$zJQl7@Exaz+ltJcpY z&F6+qQ&Q2(B3C}n$0GOVf>NB%3&^dHhADXb{cqdo6Ia5y6e+5T*aIm2OO#w0eBJ2! z!n72Exn!uw_oWal00jSIa*}2`i9fYNO<|e!wc!RretCWb31Toe#P2iQE{3W(DF6Mm z_M~ ziGtsU5tj?O9f(o_M7Zm&M9zQ3>bgVj+PABT1sD6Z&4*~V-7p>~ykexWs0iK1Q{zsE zGRZu_vub*j1=*Db>X!z4zZLW1pU1dm?Pwm#Ox1> zLwNFr#{x-v$&s~#UwszGi+Av`Fu#JD9c6z1ju*m-tI$WX);S@~MOWSN2e5Z@N zHIhc>YBdqH$;;dH&_T&C&PiVh6JR(#9;QKPsJ0AoCg}e+u*2fa(AO9`WmT{9EkKnW zREH{34RJ_)i%e9CF+6MJxO6vXxSESyHq_{*hyPzdk~vEq!7VV{opBhF%OIAOK&PBJ zOGgK92y>3(ncm$Fw@!b-5$J*3p|rX7jfxv&^nDM9J>8~NW|aPiAp_i*cXHlqlRy=2 zlN9W@>3Yhn6Jx^}7M7Yvc;@G7_cJ>wwFnOFeLF%;%lFd+gzTPaEpyD7nZJ2ujCJnW zm06}aT%2TKVzzMng3ljYl4IGb z!uZvo?F(_r3rOq=2#!?-z7|=?*sWvhteBElB06T}HT=(nvS|v=6O7A5hazFs(GCCBV6G@g4sox7QYy^RTtO{?y;6q;Euwsj+6K3gAH)Ql1Py5Px`VAIjgP#?4xp>Lc4Qja}{%dh7^LsZx6)Ev!a$!Z}{D z^wY9gWahg=R$<))ZcQ+E+PJKmAQhLYMm_#Fh&=9=spdVlGAutcis=kaP^2-Ddw~p3?cTQUSxQr>~)AZ*)U^x z93<9>cIS8czLC>s*I3Q5sijq<%KxZUr~2^l!T%rmQvhquXhW`UC;sEaBUmol?xq=5 z70$n_R)>5u{P-qZfTTiV*iLNR2vMc25MIAf1@t;U78dW;%dm(htA<8j;MMQBhY4tn zJVUkJM+?9pCS9ySQ~Zw|ru7imgu_fJlkxnX5dl>4=sw19itj{E5^bFXPcU)m|3#yH z6;fM!EsivvVr2&BFSlI)wrDhtyUBd%3|%@dX6!@q6Tc!dFOCi^jtXxp+TF6?fUe8s zLn|y%2wsF4TdeXgqKm(>Gj{s7e(j~EZY7w&bt1!eGGl59mFa5KX%9&pur9tNw)K@G z$^ZBAphdA$%e-=MBDI%diT;Ck`^BO*WTys2H3#kuEALsbr%1c&QPT7Hjoc$7gCRjH0d04po;IWgbsQoWb~_*^E|@dvebXPvV@$+;TQvTAA5DSx(ph%nG;ZK zvBHpwdp`^XDC54MirtVf`sLnrUjDk+*Mk_$p0C_YiDDw3`_sa4qMQ>#$@_9~_znf! z7b@o#QL1l)_TVVrWd5$;LKt&yW>g^7lPLMFW%<0TzL!Q@tV(~gpg_+>CZu`r*VLpg zRD@SlC8DRkj0faqG?`lTT(rC}tc{5pHTuXeOE0k=+t z`x=FJ4uxk6khY>t^TI8e!r%B=^yNBcfW@!5V0E5BJ1zJUppv0Y zy43P<0!zKfk|il&=O6UK=q~qBA*b6_>KlI=hc}bLbGFX!BB0W6cQ6G>!EfDOlM@b= zDKupB*y7Pz+8n!sY)C0x4*$0pu8A;YW`6smA!Tx`659dgFtGgeSe6PDcUE##bDX!n zP}ZnKR@#~0C!w@o%kp2y7<*&geIqZ(TcZsal@B|uY0r58rd046)aVebK(`@yl`*|E zK98pu_w7t?7*JK6KT&`bQ4nwunih;J2OQJ2epXv{*;j&KTEu`S6hkXQDN~WHM?XMB z!l81M;@(0|glZ^W*$lsif!{n6+Uwn^)rAreJx~a7H9gPu|gJwDVPb zf11)mSInu*L);GBY z+Ck*_5p>$Od1;b>cS4K_uZAShM}>h}faFpDw@-Sqv~t7NpMbsxM$sWXnbUN)$7kc4 zA8o1zRR?P5!bJm-*+MPBtGYGKCljnOw*&lbS_rJMxAPGV;wLN575{LG$C9dd7EFMn z=6H24aESdrRQ&&PiMB#SZ=mRnltjb3QE@%|WShBm3}c_d&?kYNf|mx*?dD&@u6bcK zy>nDJzqbzv?WSb!wD#Mzcnsl08UZLHZ3;ZR(Pc6z2=9~e+s@VFg049>cZLcLTOr&l z0Xj1Q{yH#yS%-o#gZJSx#ind?D!On2Dz!P`p?^tjy;8TcsGkySt2ElR&&7A_GbhWBZ3ZktP;(qHXtvvu07z~=?@F|s;lH3&a zQ)KL^aB_P@v`UYWn}N=X>)cltm!!SRg)_MBPzR5!;~ZLL^I2T?F8bwl>HWy22dQbv zcp$^?e$IfCj}nf>^SL+MrF%q;v@iMgNnb#L&`Cg!+Yl1t_#*53$2(Ic=HMWWvQZaH zd@9Jfm5djCWXVnt4jH3P!w7Uyj5Pw4<*`UfP1$2`rjzsh2I;|A#7P?q(?8D8LJ?+&xY}qkiPpfIs`dY(%@5vp->shE`wRVA)3o%eJ*N9y(Nj= z2FZfX<^CEmbkYQNscoWIr;RME&rW|$y6^xK!?YWPq>W7jZdb(#UYf-0(B?( z@z4>^-NW2f`@yL1^t!5v(U3O9rWuF0N=r!C8|bD6@=ZP3b5R0*Kdg*Yc-)*{e!qpfB_oq zO?gp+Pe8=1!J3krbc*V&vvBaUU`s`~ah|n6hgD@KdBq zYTu?S{_L!&(4gLY8obE*XK4r(DMkDx$Uqc^TM_f(ETam>(2>UFgDsK`s(Fiavf;Y3 zRy~|}46ID8m01~kL!kSQ*AO5W80mb-efLIQ!$=fnJayjp2+DIOh#;-sM|v06J){jp zTHmlZI%KHiN~G&T1q~lZNZ<6YqI(knw$0$xo&Yzxj7XWmFs#*9VzEE50^;|P22ltc z`+H5kPg#rQ*kVDyRIiY;GY#mC=^QUJ_>N4vTpc z(Dc4Pwi^vH(%49vn)JPl;d+baB97+Lj^^5mrnCH@a6ZGjfnZc=mmLYC3BD2U#CVMN zdM_b+hYxMaleYfzMIJ9h`^WuJDsI#+SH&_*-Fqi=QxqG>zEJ29Fs{`|uGIv{XL(7wDf%^8M&r|@*=x|zXC92?@V&ol2DVa?6)``0RB@HCy;bd3~w4td{hax1imGt3cxHfTMaOkMg0*y(_aIoeAPSE+JO6LNe zQJEG4g3u3h0?N^EXmMIe)!LwckWM8--;%0zNhL*<;Y8;egaH4)jY?yQZJ4H=&LMb%ANo^vrA zjhTPDY1?qR z-P1p2diCl()NLHuZR{5W76cvy5d;|o6$Bjw(*XNK2pp8ajJ!y$z=I6Q!AhrJiYz8< z*!pZgy)2$TynnbfdpBzs!~JTS{>nh;noVD2p@uMw6ez`*czW@9d#q?|tY%!&@`m@% zvS!F$2JCk*cJCqrffhClT3(T?=${;az4sdr; z>pgETV3S>vr_U2EO&2Ha&F$;@F=KJe^nA8gYsMY7?boaC>m#T4t=;>3-EUK;wNLe8 z-|dWEZj!zG>-C=sUtFhE9Iuq|Lw?c%)?4Di($s8Ue5DAzLYX9l=X6@jFkK(-{C3Mf z?E^os&ea$jmLpd#;8;D;RRw29qQEeN#u`etfcAsPw3B_-g!odbK5m1qTHGqT!gyQ9 zs_^==;3nKXZ9SOnWUNTd!F7#Z!BP9Qo*K2kZ=uz=O0WTWkU^^}4wQe}QMD6;(TJ_U+@s(c_kYFB#o!a`ZJ zO1MvoEHQ#h_cWz-w=h1-*w?~L`{VQ`fn^#8__yQNYO;+PEtkjE!a8NM=6P)ksrZ>D1c=aOGi4AQ_y+J2 zyVGFkwSWJ)Ru6d!-+3Ku$-ggw8cg>6Okmo7ocn!AJd4gQ_7U4rA`B!Q`wx4Y zWS8o&JuhDJY#+eM3&$$DPn5V_EBS+G&p>RpO-6TofeL@`V=RL^ppE7)53p7wu2B5O zo3Iv5L5PYo9vrv#pgt32J|66=DZXO%oiqxezC?Ip(IR0CX(OgDQQO*-3B_XEJq&NK zIW875B`$+$y>}~+2Hlb;aYb%|b$nr9NkX<7lZ1NR zbK(~i_FMba_~k}i)zSzjIglm?TP(+-Sa;(5sCR}bT>>vSPG%^zEh)Ln6!NY;YfN6^ zL%5!DZ~;}BvN*3lj>12>9BIiUinDkxSKu5Ki9)_ zC&YdWh<7&GSKCsN(`$Ct08y~{VrgQkWiy}XXVU8>VvXAg^3;xHAE7ooIY5p|b_l1( za(k(vX1()AVA&)k6DzJb_KxiAWId%cf4!xLj~I%)Nk!19CuLQcjsA0fI&vQxv_{!g z@^c=RUD1;DfJfX50(hWC^FplfYMR9G5KBV>xMM)?XX7%QE34?&5^q9|irC>$5itAo z$CNSNaU!K9H(vmIsDusfh?1ed*lw%IB=CCJR9b2vOpbm$AbQ-W zKQr7utDOR4(6o#>V<^Ubds!N0JKqK46J_i5IT-)R@XF@+9aKVKM!{iEMt)_4a_#)= z2NgG1P|a60m37O?HxjTUNy%3_5Jw!1#)C>8TEtODnW6O!Mlmx>oCeopioHE9qo}|; zg8V~gpxh$-0m#Mis`VT>)_|21p04d_^2-ThVtS|&j`n`OiK2QU&;Bw_RQ%nxBuosr zffI4xTGq5AysO+2quf%|guD2I<#{*kbi$)W&;ZwKr>NC{Tm96Dh7>*Pj{r^OF8=aw z9toEWmc4z|I(}+Av)^YnSIb|5ZcVq0HdhlM2SRTZTwqcBua;FK`TQSw&D%Yihot%L z&pOV3YyM*IQM3Q7Cab8*c-Cx2l@e@lTGO8M%=Rii-QvcUdlt}d($LBjcFN7)P9qt| zAfAX18@DY;+Lx=rOPP|#Lv{Rmm}9o;o@tcq?YY>HToPxs&+`JG!klx zE%Z~ChStZ^Q*dbww^$mXyKp~jAT;>fbV%+6zyoRtGgcv5oN%O}>hSp2z$W0+q-+KY z(h=XE&&?51YZsjy>gIMjzg)m)SDz5hFIDksGZv*>H$Kq< z+JMU6+0qj+2bA6q8%fyO-s^nkosmO-?{w8ddP{jO+!bbKz&bWEJLpb5c7Cr(NeZut zP>wOCg1WwB)pulbiNtn8j)o$XfZD3mCfE$gkt2c$yHI^P#i@Ee?2U1_%1k%Qie_3O_Te+OL0{zPDBB!Dej>qa-gA$tVTjVk^z zH&~71PdTH-zrYae7GS+qi(;c7oG=+HK$LT2FPPPVmjcf zsB^$ry>;4U?Gk?)#;D|(4Hf=WHj~-aCeX{Lt?LZtCkZ*&m$S`|pbCUP z_bJ>QKT@=1r+9Wo%d@Vh&2am;V&G%_2tcM-*(BitSjRY80fw3wY-qln8}|_SHMH6& zeBGDy2=61-r`p~->*TgGnAQQU7OVT)xxJc&<+s%}(c|PA!Ym`+NBv&D66A=(uX5y< z7W7G81*g9-O`~&B`gQ2}l2_GzKhap8W)*P*`qTKjGKacKGCyV366!|SkHdA42!lDZSs2Lz{A zlTHPGvFFeS;;&|NVPIU8c}d%jw;bcj6}4%H!FQvD$M4;x=OFl%)^0uz@B^UFef7&M z+w`+caac1mh7Mz4O!iDJ!QJH?aAY+7EO+eXKLM&aK|8F$pM_!Qc141ic*I zo$XopuG+|aoiN_-C-f5~Uo#N`j3@bmpmYH-3D0T9x&|o2K-Nv*&4*F#g>f?2>5gi1 zns@G^iA*_nqep{jgG zzhlpS_whoZKHL0f*Bz74d&08L3#u5jO;B{NWQu3j;Q>_Mk5&(;pym2&UC_&S&bQw$ zj#56ao7^U+z+bQY!9bA_eJD}HGnsbn1-yewHDbFo-iDcqX<=?2%}JlX{cuf>54XE} zHxD0&qld}4aV#M9#XeiR!!ZnMt|xPTvfV-!m7m(m?^EzA7~jkDU&H>*VbjiPKF%D z&={?z^`9PhPiIC~F-X(uRO3)Vt)_}KjQ*nN!)XJJ3%(V*ZVn|^7*qTDU-dRG8h3vd zT>Zehfe$!i-hh-)Eab57NND`-PdMUK{(@}rjFzhH62c%(v4@6gW^Zz`*iQczz=;^x zWu)AZD?o6H)#_?AQ%J27Az!1gC4^dcuxhj3JAj{7n z*u{q=(UMViQkCTaQM;1_XJ)NqmOJ3}>)Gwc`Pz;C&RG3@H7 zTj*y~Y>r0b4ib+cgI~NubjBUHO)?FVWNa1T$)Xy4HGn*dl)5Jil#USSYGM@XFgUWQ zX6qv+#_3}TZMTCX){8N};E!j1!p`qYYZLf(n`l-gHIiddp~dHk7Y@$hay=u@6lA~Q zfnPYfAyf)Aoy;@AtUq=d4?k=&BanB==-KU=MR(lxJc)T=uLoo$qi+hBxZ%(u2ypYl z)-9G9T;=PLnSQGYsSCA{lZ^ROF}Ol-mz$Rjg*8eWHneBMUe`wO`ZCXe;&p>YU_X#;C`8_mpm@C!zi`w#;E&VMEFh@fu3+-VMpW)f-oAh+YZApOf8HYIZX3t ze`gupO}9}=K?9NVSA1fUV7y4K47vHKWf11F!^RMP#Hbu8dJm?j>0PigwElnHF zr(GI;H*l=+t+A}}tUdkFOBZFzfQLyk@Ne&jSCpvh4GLSlBdnIoL4k!8>g{0?bTSIE zGWhtWBf3Zc6I|mAZky}(4H9gZwi+HKu&`q|3MK&Va!RTVY{^JZl{aRqHU=EC(w_n| z_&1W6q9xPs+JKSeKXU};#lYe5OLJa>MnmiqTCpOo;=z$VWX5OFfc4@VSd-Tzq;d#w zWS@njc^l0ayg6=u4<~nLwx2%E4LW`+Kig8W8JnlnYXd7mbAR;~(02P1i;;L-w39#Y z&L$~*r@oPSqO?|~Q!2h{XdFY#50GoQA)?BKH)(E=AsfJhGy9{^S^+JDjW1+z5nJAR zMdhc{F~MYZZDM+w$%P@+JC9jh-r$hKQBcAnS4^6MITCoLduoz~5meWs-iwInGtnW{KP*+^&^ao)je8ybFxui9^ zGEk#&LE)&;eb`IBa==RiUzU_?gd@Q6rGcLVQx6xm0saJ|{6tKW-oMX&o;mBR*>l>M z$tLbr$OH)(h-gBALfu7Tu2MZBZ-{iQ#KHywM|ASwENu?oz!k?b|w^1tr8NL8&N zM*eZ_mk?tGEWiTK4EIWw0#8d`M8SMN@cLIvK|`P1%|H_vEGA;VTtOAjG4QbsWNt<~ znXYYcTALlJ4JVaX+vMzy)wiy?o9V|Z(5)CD!@hfG%Nq}BXR1%fs0g0>>hkT3(x+2q zXf%8-<8f}jip5@T{#6+J+pl(CqIbsyR!yyLUjGx z6_tpJ9A%@LHQfLC{rdKW<^LbmgDMUeiYgBO58wX*;U5tH0qGx*{{iJ6Q2zn#AJG2+ z;~y}aQN^)v0zq+vu+-qpT%g%bG%R4I=43P;Cqma7%@LF6m~Sf{tUnvtgP6=UnqZBthz(O;dfu35MDoqJ&0=-=jL zK-iRdVu02Ad888(Q0yf{S=Zy^>GtsM)8XY@56~SFpRC`l-{o7*=v$u67^$f{I=*dl z`aHPaMp^XwF?|Rcp9b6yEWEN4$$x8xJ|EC(#xXAcL3n0fod#|hfz@362)A(%Uabdb z!8$X1tH0tPR__Voe_y(Z_ycrHbBJGmWq6QUpH=8%Zz=Xf8FR57D%7o&YckQ>jfd^g z@16HV4FUcV`1MUaPlYd6YFpzYZ<5PRmi3z`o+nw|4Y^~=g;;oR(+v@s-I!J$s3iw> zMGtH+-;VE%7snSmUTIQd4{Twezvj)PwUB8S9!{nipf#57O6wr4=>znqNN#ye(^IDO zfJAg`sZ&UzBA1gSnj;g_xeTRpXRHa2a{*lY^VU`WJ~dsay>N_;7*oMfBwb#`M~S;og^E>LlMVNX)bwQ4v$K~oW=wLo*aSnY3K zbb^$uFVOo*JeBY|`@0HE9Id|fj8YyG#!+a~Z3eq9&GIYBiP`k$G}7~M*(N(VJf&Yg zCL)H6cf_mHdH_(^kLs;x$I=8PIGX(%g|0#}ul#LtMteupvN4r_Gmb+QSNvpxH5<&a z2{U&bI!3Hiy5DlhJUVnjVcElAB-*oo?54W?l4X7w}YY^KBiFE-O0+)?b_*xZl}A>=)pEj2%F(6 z_=aTjgqrJVZu;f-Vy$L)o63R`D2blQEv-pEGVA}uGpbj5v{*_D^v$Y0I|bj*F`g0Y z$n_92P%;4>`7C~MRABMcqhB8=DOMgs0ttMbgc68{31ltzR^oWJZCNZmM3jRfvOI4? zRP=a-NJYANQnuue{JOf9Z4>ZR?L-L3>NClx>%~|kWar)+#2>CdcyPTU*OI5|RKEE3 z8*uqsEsk%n!(@`WLbmMURc$Y+QP>+f?+TEa@{57Dcx)te@$3bDXUTuAF7n5`iZ6~E zRd(un>;lMWroz{$5wj~Kr9p>h-iU%hFi)eTP@VlOQW)gkyPmQk^>^s!fqg9Ths8L5 zg_e9Zwi3hW&h%_+9Xf)?yxko|Uu%kSUtD^`ApmU{zsbkObL ziM|g=F2?pdHgN~#zNDmT{_;(HV0Iqzu?i=&C^G@s_EicZ(&vHEGUKiZbmY6Fnsrkf z`+oK-v>GXb`vb<)(nimwR>JV7v_g{F5{P|SUqUMFSXQU%lx7(^ULEmZJ>9r-=GP`q zoh^Y0`>;}sytjNduPH2=E>jm<^-(I6RjMg)XX-YU8^*Ml47l|h?p}nnkTlXO= zZ6EHg4(*HuE>#r(`4+gPb~>Y#v+X9;U-l!IjgxG>SUf3Kz3|yEPVjm5bKq$nNvU05 z_yQkHwCx}Uv5Y^})?VB&Oyf&ru(xK_?iWvmb=y5P1H5j2bV$MWmx=3EA^W1Oi}PO~ zx><2(n-)9CX6SdSMOQGqjI-85!VP|B=ucu)Z>{p+w8wKiq{%&noZ~^fVlGYNgw$PG zThb`?{FUx;%+wF8g3E3g7fnuESd+_J!YGP^m(NI7tD+)1jUqUp85tvU$Z3(?k*6n8 z-^Tq82B%}pRepez6*SO|$Yss*CV3ZFWfAdHRJZ}#n7Aqp*XLHjoxgIC(>QIE3aES` zCK3G{a~2PQM@9P?#KMvmNc>Kae-87&E8aS3U?R0~*%=H`RcPL#W)Z=c9tn|xsXXJ< zbAzUDd11Mvnt=ExH|_C=$f(n^%QnlK30UkiL24{d2?}3 zf^X#{ZGOD&_{oU<^7e1hf%!}|2Pv_mVSub=u;js*6G-YXnx|&4kimfwj?&iDzcR1Y z?~>Xir4`wNBM+qW?_ahgh)Q>BJ%{8hYOlLh`Z>Se0bCWU6fZe6(vj-s=4Y*Kz^}_q z3Xe;sQ}*`uFyPnPiKTl3pLSJN)^xP^VX>P)cIEQEW$uQ`$2jtNOm>y|xssf5+3u)g zty;!;_+b3HtO7Bn5iU?xKEUG_RNW~t{x2vMm#Js?X8Veyw`b;COOFR<9b>TmiTy$6poOOCq5YSO-8+~l$%!7o zC6hjqTADiN0&%$8zeiQ&*Np=($7rB&&rU{@x|K~&mpjh``zk( zs{VX)o^YeuX{jzUv@NYL;^f2uD{0?39r*|`uZ)uEP?$27&r)0gJ>SNHhL2r*{8^Is zIQk9aMP8CU$2lM>9=G%o#T~rE+Ks)OyaYZAD9_Qc>HX&C@G*=yR56F*D4q(qg)uSH z&+xI+W=7;FcoU)ft6tRNKfATb4c{=O#Px$mXHPHi-!zHRM6iZqo_!-_ICw-3sskhO zwX_gUzAZWH*i)S;$BdLac>L@Ouu>5Dq1=MR?gC5Ar&R;|8pM;cIdrU>SkC7F3S@QT zGYW9&|6v?@oIUk+aI_GT7dwUx9!72U+sE}nzz+m3tnbtmiq_LUGY&E7CCd?CM1awv zSS~E7FyGGl^9oDKrq5viNRY<2WOYVNKy`xACOGUxCx0EzhjyNMSvySn7;)k7AP6^= zM`qiBCkh4Bs%n}E^(L0aS#uni+;PByXM2-D^n1mLr+JR3#>kb_D|>3IJ^rpF7D$c z6M}T7YfS^boiaAeOr_Frcc^Tkw(!{gh}4W=W@9W651&7lOamY|cM8tB1D$%LQ{|cb zqh-i|xiw%OWx}z@0#{u<&#@!za#uO&YbMEt_G^OQi~%sJlJAZU4kc@E~n7 z|B!ySZBwK-^W@H@{r<*@X#&}@~ep9%qEQ4p6v2{bZ%-91ihRY zeVjNqkw#=s;a-RqH50`EB+6f2JX_Pe#gl+5>3=3QJ8(ZaytwrQxWwJLZf_xEbUy+G zi#{ z%j{dY*>x5={f*tYK5pNgbxL-D?m#P262j$2k?Nf?U!fl3vgIO!2a_E&lFHW zewoRm2N_BXk_tI`#IVTV8?uBmYu@+In}Z-*BK8iI{(z%=TqeR3rb}q{cVpiUfy(k& zg40#QC8SoX56iKvNqL5|u_~c`7=Xma4=80mduTO*oO26zHr}uE1|Ivb^dEmmJzY6| zde(4p<7xV|5$gNO?bNR#yCBx=*Mb4tR-A+;$8Qqtc`40;(iwNdZW_WR%V&@?ev2=x zPgM^{G!kehk(F@t@{(*o=G?|HRF&>h?1qTj*jdE3m#~ZCuFuZY?EbAa6j>Sw86EIi zz@x>0m6?-oq*W;4v~CHZUeBk(bt)g+CoT>RmKi5};%?Cud`LXa#uBUM`JM^%^Pc+5 zlK=hrrt+p=T*LT%_(bgFf=v|C6_dYWVGUh(Fjl?yARLO`b!Jq9bcNCYz(2JheB$437%mivZEH=XqYDt2pnIbY$sFs;!oB!C0X-PS=9)J6MJ3bipaFk z&29uc!8i*JU>fa7FPv*Tpha&l92aF&RZElY&EWbM=8SSX4hEkyP+zytidm8j|M+2KY1;GH`kmkp$KDdDX~Kk!q2{y8o32*+vvWae~y z0qppfYHo(i8l{31TGkSU!;(^8J!qxd`xpcH4!`O8jrjpxr>~nC!V~z z^!>r}lP#4Y6;SR}(C&8i+Qn{F*5_g-baqevlG?uKkPzmu`YOVIZ;sYv@f zXRM-{rPLYueM9rz4eKj&5a^*Jc<>AWptOFp_=R;d9~NDduun32t2Xt%DO((HVhO|& zJ{JpA_*cjGsc8}39V^u2%)R(INUg>{M%MsJvz7PW2{^s`Wnpw!-v!g&CY zIIhgV>N`KNpH`_aqBYw*tnJ__oml_OGsDe(U{6e@&bN@-_-j{|mC9wTH`?DKdw&(f z_Yw2uu3Wi7`$bqQ;ycZdz{#cW_oXg;A5=~sjOSOx&hG}F zYWvXbQg5IEl)tBLaOv2>ANV?3KSE{_bX|>M`Gt-Mj9^WlS&dJ#QDkHeONpX6iJb*` zP>|nFud6AeuKuPP<>j4P$u8kZ3Q&Xm&=_CSk+A^zzZQw>i*!&)Qh1f@^AfXR0Ritn zmq@nfK|(257+~B9C=kYw%p5FS38)ZM&2C#*@u>ggGAaahGs_KDEYyFzCYt8+N31~D zgt%IoX3!_r%6}WFn?aC(8w4;`kYOb%6{s2&Knl*v_8*-MJk-*(!y85QeXc$k-h_E_ zc2U(2sSR@@utP8b>t7=d-G!0Hmk||JCMj+FxV~47(dsgZp!<_L0OtHK@t^`!)pbJ- zrXRwA=f>X43$*Ya!^U6{<{4R)MDV0aQOrY%mx^{FriAJs^kG@uS28h|wnx5!tyWf^ zgECp&W#Q2QN)r>r3Ec4XWe+?OQXeHclMnF{Ib%c>s~m#?ymZGY_9+r!uub>Rg=aBy zsuD+Wvgu4o`=d1_wr&K2SD1`h#EmqBI{^rEcGzP5;bIb__VTD!f{=SENOACxXc$BW zVd_$%$Ru#*?Su*L4zORwDOQw7-v_t(Zp`Zk5aVV zBY%;BpHP35NqzDH6=i$0Xn1{sTDeQ!>!b#SK;Ev{a0L)p%B9-DAmg|7 zbkf*X0}A3mENcIqq_41LVddD^-%<>Ld`uwV1SSJDuR2Bg?XU+sau{wu%0nTnnogB< ziIS1HkKE+w@}+v0q@)|tkaQ9&!YwYQ1TrB%%Vza8gXcWI9)r5}Jb^Bu-T7no@i;K; zYIxCesal^WrPFKiqtt8Z<6#cG>T`~6zVk$(>4+kQk`C@wwa(OI>6rD!Tp=b=KbT@L5Vs?`>{fnu-?b|C3_IvDSvj>Q-oRTC20K*&n?%C=d7I? z=sdxfH7MBg8sy87{n_IAJ)#XBKk?B%P7}5aaxA9_8V3@Js}gJwrjKT~(;gnUdS)n& zK1J2B)n^)% zgGHm3*k_KAE)cTV!q#H8ijzi3inse)GsL7@{H41{oE9vo{oaOW(0dX8BZ5ZI-=O== z;Lg}M&xF1CK!~2ucD$T}r0=kXi2PL={t_DY0L2*$_~RSR-Do;VXI8dem6sPwXGu*- z6yZxP*Lw*u2E~u~x)4&RQ4S}bf;SQxNr8q$>;s{{F_0)TJH&CJgfjygE0$H;IrjEV z#QWQDhbCQ@m2ds{vybn)&fNUK=2Saz80h6Fn>cEYyZ}?Fu%Wy|(4vM5YYnS~LO0hM{!=`NIYZv(h8*AC~CaBhH7Qe}?BJMVdF=DAVj8U<)RzeO2al>aBl<3+Y zzAsVPw?qQ*r1S@mkWoWO=`7Cf;J^)o9~5~CJSilO7cg1O3Tr9F1k~3)}+cT6{%f1_Nvs91iT-=%> z38Wy=u+)c_&iLjZyKHa6B%IKdxb0n7*Gq;F=BjL{0CtAx;qFLn}TsQ5vBP#wkcxby;-?6>eX^zv+DWFmo%T*3VlfnvIFj|KTlRNTn$=Q3zTCqMGuvBq{26Pro z>L{XQfW#WSfA9)DOy#Vzj3TlaDVLzli$wV_1H3FU2hs+~9EVGR6&o<>rUL3f&%*s( zG&t7utvnytOOy(sg{O7~cIEk`00e+ktOU#Up_xjj%6em8j-q8}M`cEcle8h$Sg94XFibn?<$6_)JG+{u-c zwoR0G06UBvyOIPd6a{eMECKn7-lvJ#@zUf}N<}RAV$3+Ea3(jBMo6Ca5LZrdIn#tQ zErv&`e(=TG#W7Gdc{_;`$oBEX_VPI&htdZ#+cghyhdkzSeOi*T8~T*-W9@LF?%H{Y zRkNA17=eCotZUw9B>5?pEYweSVwtwSr|X#_hUtM9Qfj10^Z;1C$nvcO?7mujKR7EwlH@zA^9X_sQYVqkR!xCWOjYxI?^3Eo_d0;y@Bd7l;ZQxjavS z;??D?UGs+~(%!6=r=vh$25`>9SYBd%30H5cDgh2$xU(lVTJv<$h!2~_^0!!Mo0 zBSGr&k(#n-S6!ge{>d|EMlD4s|7owI{Z^|dm)z*XIv^n0NfbZwC7K0SN9W;_YJy)#IUY==O$}txeg+-1`c?uWc9w2r`sLt};c}33!Ze=b`g0BaU{!@Cm^)zMihvQw7{tv2Q_s7Q0 zl+I7Wb&vezHQpNHYMB|b%h;sn3-r~z(zmbgU))-A0UbFLB94W3Gsp^E9-pZVF+qQx zw~{leFo`X`)cD6XA(?b1Xy4M^(rvm=^rokKPrZPI(?`YT3HzsxPi6uT+L6AsTHWax z1dKx)%IcOAbJK7S5N?ODhrl=z3`vf{T|7uvxI+$Qo{s|l-%Xyy{Ara(u8jhh50M6r zgNoHl<6ncbB}KjAmn|uB7w9e6+LhCB=}*q4OqT45@9*V6q>d4D zi|Rtq`P{878T3VVROxz%c8;}rlMD(?>P^l~x*0JA9(~rCzPL*%SRWbJ+U98?nTt;Q zIhrV51$!^u>8C)5RPr+`kOM9n`hRNC{&UdUynzq!MgY|oqf>!#gW`nIut7PtXmAjm zEdOVQ${r%Ji>m_fXdIeR4*luq0nV{7*i1-gLKuYM4md5jP z?++37TYe%1RQX2I5%!Q7rqVJJT$736zbS?jfllF(hP2pXR#HX5eYzF-!Tn+oWE8an z$fuG#;|*y3zpcJ$coqC$a*s-eG9V?3Ylu$93CsBt_f60`CqdP~q7lkZn}gbnB+OMx zwWL&v;S`Ds$|gD|!C(gi_Bb_84UK>pQ}PmaL{R>e0?T0v4JrA%JSx&gp=_*~8v0Z( z3vkIFo2%d2o+$>D%w0-fNs=;8!oQnR4~G_yPYkO(QE3vFwfjPzWTtlxiE~sb>jrUO z0B)cBLJe7os)@pUdZeLv0Ar)U6ivUQS(DSuq+Ww1+CqS@!3%|J4s{>Rq{wN(bO%j{ z%4C0|L?{JSC`?Skh5-x45WfZvV8@t20=Arx3B`-$#-o6tKp`5z=P6kj(#YwPHH3?;i(v5Ps(`$*uV$rvmxKt2kO8xUKWPAh8^N|}uph47_ zOMVB;@zR82QY4aUF(q-rlnSWdb4i({Bdo+4ptayZgsfRT7~BUKsIa?+9DV}+Km!P@ zg4jh!EiG`=C@4|~;(VDTSrMZ#485$9f})_C=y-Xrc>g^~+&Doavv>pyuQ_rYeCB#B zB7XOtyX9;w%yFX0W4Y5_3Pd?yX2pR7w*>>%_s_N4PBAUqUHwX*6 zmc_7J>=wbqvz-=y@9Ss{-#WfaU@y;CXBKeeUw^S!V?;?ln-lj5@7dK^^T%5S*MQCK zd+&vXj^D$r7#qYxqIwO$rDL7nhOLT}VQhZwgYsXQ#wd^-)r2$G;L@Iy{ZDR(TKuE&xQwSobnJmAN#czL zKK!iR8?w9tAESteb8*{uENq4O{L10Rg`(M9W@lV;RDMSBT2<3*E*X2RVEB%<7fa%Y z7$!6DY5Ch3{jY8yjFwYlR7Nl@?d+<-{R~KFT^IDL@TMr97uIS{fi-3lK`J6wq1X7sYbE0X9 zV>x_+(a>(m?eeD!DHGMC8vkul@l8jH>pi`R&+}alu!ESY3Rs9mc5pw=-6-i(IUf6m z>|F}Y6Hay?Dho2z?vFY&8&sEXF*C@s8A?WvBWG80FUp~oOE-_%lq3TkcMkL!ZkeTa zn6hA>A`XF{=iAu8o)$5fo!PgU7FK=v;)_kByBgAEXsrvmD@75qkTL#I<|fDEiLHYf zbo8FB18i)j`%4*Hd{6SmpWN@~dtD1_GSR4B`j$cMN?z$o+{3>!Hb6RLseM~{bp9U{ z7eCqyjd{ZF>rK!E;z?3?%qt9 zt0ZR@DxIBq99yT#%dC=ZG+oN~!-Bk&{+#VO+@s=$kBLW8_SFiKi9wp%TlI#Z`BDs) zd82%%U>M{9de-yM=joqTSU?TP^yr^uAVn}RTOyu3R<;bKup2Ofkt|_14~?)h-Dp-* zJm6ygtpH$Jg*bL5YcPAeb#mz~u_Z^WaV|*rGbgbox)YwrA~!`%w2!dcWW10i@9hK~ zPNyv+LTz_KWeomlRoLp3NfMuvNI{}?;8E*yN5LlmrW(pJ!E9-itPvO(&#sXTC|cDP za^b}xW);_~m)%??^KzPGxcM+&pL@7ARjgI%bKZki-W#Z?FdezhsZ`b7+_njg(|%^; zS7GV8sg!gd~+*UFMmF zJc zVbx0Z2{qJOZ4uyDsS{yiFv;mh+9YW%tf{X67RXLx_?qmG0+HFOtN83@$EDiCJ)HS< z&h$sWxgI(MhwCb@-Uk?ueY_z0%_iUpT|>vcVgC$;ohi?c)F#aG5v+6dVO8Mpn=76- z%U~R{R%$eta;`2wT0r|8o&`4q{7RpmAJ-oS zQlzQxGi`3zUT^Yrp)&(N?*2mhSF%a$oT40Lz6G;=NSHAxLv@!DL)Uo$%eN{6Isqpf z)3i}|rb$u2IEbX_GR=A4v35AxYQ#d8;AbkjP=e*stUMmVA3)+|D?KgvJ)X9{w5P$Ddv@g+&y`wVpe9qNP2t z?TItT4;Q6{k6v(b%c~PS%3MNyy5UN;?e@RW5Lg@GvjdKJ976yw)cjBBQxa33r&Awh z{*~lPCNFpusR-&|Ju$JswNfAgMPl;?PWskF%0o3lK~0Vmql%eVc~^e5`FJuAFs`(D zkRMrhGNW&P*odz3YByougBiCtcF7~ONvTeE$C#b7B^nJYGLzalY7-=N(RIK9&Bowq z=g1Qi=QVB{hx0I9!9ObJd0f-X6e7HOF`4=4FZ{)}2Eq@tTClZqJVRaBIv69_%;Uev zJ?TXj<^<3;U}yhWyQT4B9Z3WdsUN#&c6vU!EB-wT*WsqY%6Y?EcBXc7zOH;iBKlH; zz2()lY;$%#J-t)I7TQMCovJd*LRv6xqd%RSE0o5+BJ%OD@mg-wpD)ZAr_n8XqaQzf zRL!0@6`)^1D*pqWG`4HYzma*ZA*QQ;_(-g0#DRlV38TYYQmb}*>n9I{B!U*P3(`S~ z66b_nP%W)+bV=Cjw&AsNydS&o#Q;EjSkw$Ji7-MFmA5DO>-O*cl=0|mr;g-Ub}TOabp&IE&HeAMMP<)_wOfEB(t6gs=5?K>Y$7w(XeVs*^300_gBvzMcskD( z1|6%;93+}R8$f5SCB9wL_GN7Pb?oFtEfKKQ@4_TQ_Vp(m5gh_3P6L1e#sm^N!=wh) zvjHT*I6w}IfS=90>;PI~P$V0Gy7`YPpc)*E8RTz^Mh%KG1K@&y8UQLVmj59hX#hmN zgZMQ55tU2;sNnx8NBm!=;J+;UMSxH34 zvP3b71R4`{CZ3RAbe0@`QPQ0Z(o%HLJs4N1R1(%uii4(KTVK+Y+)|YU(d0IdzTjST z3|F)WT%;%+KzLe?!FF##V2X${I3t6Mr57O#f~PN_Z#V!`v4HE-1D*-f z_1hH9XeAB^8+i{J6I4hy)wVIkhbtOlm<`Zr{wpI2R}L@vvnL7E$-ttVfBWT$AAnD2{u8w-Lu6yb>(B$BdMw zr_E&xS16#PApTbcY^os_UvVef4~#!CJ#8stJ~bh7Et`wwvd)@|_l?kzNlcNX*}=zL z?K3(m&G#hk(Yk>|=g$pm2$2qumE=J+G{ko)It@IRY=Pj5P7#*EsKcls)sc*d*A>ix zFU5}%u1mD1g#e*n#G$DsPW20~^*kCj?Jyy2QB;}`F)9u64hQt~mcV~K0;vhSb=0C@ zMslR-!tq+@&H~i@Y5BJNW0Vo-WDAvN)_S#*hVZ%l;yM5<-<%EtV*xu#(Wu`AA{HH) z^6siUZ*CY_SbR40O*OkjYDJmF9U_bZ_NtXZe+4FfY*+;w`5Q&-aW&uW;}1sh{`9=r zS=Nu7RbuuO0P-@5D@2421I_ox7foty2r;`qmaz7rBEDmQsHa%xBX!bE)%FF7_}`Ng z_7|N6);ZSqc!tR^wpk6;4(RFB>H6qDaZJ|P7C{>w797_{z3d6e;lrtOqko3@f6K7y zmA7?Nz3y8dudO^<+p0JvrT-egrmm{C5O zRXH$w>7Ey-zHnLjxB%She6AYim&%f#N$U*`Kc_yloIW_7jS@dPlRNPhue7t~r0~-B z*K-<<@~iGwC2qOLH5HzhiFWd*wf>Fa6LUmRLJ>f*^-&Kum;>j;`V4O@rqiJl=` zej@9cYTfHpq>ck^faO^le>>z%R-U)(;$$QHTr< zgO|gjl_>pzxe>Jj2yc7;Pa|g; zRY$X}YjoifT!K4+;O_3Q@P)g(I}HRv2pV(&NpP3o?iMsaa1ZY85a9CdyZ1f!oL}e9 zGpc)ZkFFlGtLB_FtKSErPm>#ReZ@ZJMYb4Pbzj|mhEs~skOi4J!d|EEMHZ~{<*_Ic#>pMvfZQ+}GW;UXge;@L zakvThXcv1zcI@y9M)i6fkJdt$wo6~RhagGoFv0WBS9Du2Kn*n9s2r(XP59EK(?s?2 zWbM7HfglCEQGBY&0$(*qyRCa2FLdA`rY< zSx5(HdJG0_8))5K=k<|!ulCL_d^rsweomg;xw~+Rh!|88(YW?2k@KMTQH-mOGxQVC z4d&&|Y;B07OB3XYZLq5lGjj#;ie$M8I@@)+$tRl#3uKf}n7-z!jTKa1S|8drVOB*@b8gWWd zB*ZHKdIcafzh@g~AcUqQZhhQCX$2ImmfcelWlA;T>{#GA{djYf2KcmO0GWhrykv4R z!-t?fc^f;G#Jx2if6>hzo4M^exFZ zHv3HHKl{u!p_Jh&dn!5S7u%OuoiCAvySBmxzmJYa$JIW%N)*#!`Ealn)d8&$X#S2H zVV({fJ@sztH+f+RbCQTM(Y(y^=K+#3of|<3*ezH%k}JeG@VuuRq28-JjqI=wg!ByFp(gsC8^N`Qob+B7h!QqY3G4 z{1z9p1%^Id`Ai_(>~F5)HrDeRVuzfmv8tQD$E~_*#)V*cNcYy%U!!mFgi_ElN5g1z z@13wOMiz18E*%6s>^2Ug#5qFHvKHv&ZA9}mXs`D>UeJ8f_P6RrGXS&FY+{B8?}ot? zyZV7X>ng3aL_(|o4&8)~d%nlpqs}O=A z-#tCdXFEMF1l<;=Bw%^UKanX?fOdi^N{3TaV`f@At*piIisB)EG-oA$E+&RJxV-fH z_vs@KEZxe2?M20V6;92x3~#F+QRJF`RWnagG?KNW{p2qnn+M*~O32!#J`sg3ZEiqu@!n72mgx8MrXsQN*}2*QvC+W@m$7d503+wC$F5;Kos zMF$w)4^Fy0=Fe7|m`L3;7qe1F0v7K#?!*e2A*Cz~Jzq=DL?q^YdfVI6_E~M1lbcER zapc`hD+jgFRaiywn*}>)ID5rM1O!-L1_L!3Br|CYhNklcNQ-tqPoc}wfspj69I6Ft zB?R$pxk%u@d=w{Xnl|uDqP~`BY1n*JrG}_NNH2zy44pa1MNheN zrybd|9l6d&%>-1w+MlJt^PK$GFThT7V8vP(=@LOMQwLBs6kgwS-Iv2n&RT!TAq`+~ z$~zatHfR6XDw|nLv7GvG&P)lj0c4{x9XksiDuQH0p0TnZ8Y-coE>3~MI0Ybd7#Pz% zAd%Ij4R}2$=P}<|H#UJlu(*KJ!W$4Xaf_}*tMx!CR=<2e!f=Z;ie!xzr@~?k0$0Ju ztFgxvTYz+VNs_$dARN_EQe9g;QZ0g8ylKZN{%YNjQt1PRvRgkP!ZBlV4n&@-oieU8TY13nyH`Y#o=#@khqrSWG(d~TAHarJX3Y3N!M{w-9YpwfaT+}Ruxr%^;jbGZ z=9sOkio}R?{;Ug6chSuk9D@^ZCYc*3?8CJ%Ui}Q|r#O`oA=|hYH&(AHxfcgpu_Suv z*=TCYM_1%!8x{3m%i`}S2)ll>I>fN21Oo-eOmsT?zef5H*$Vr<$b*>ao=61g5E&yH z-6)t7+li3!6XF?yd55zmNe|3wNm9K#;%ge`>pJ-FZco;yK9-e_q>)`%{cZaQbkS&$ z<_=d3rP)n`JId#_Mr6I%?YDx=JjE|XLrA8OzA^oV(I(W|d8|j1nOBxi9u+g?jusai#nb*m!yM zhnTb*Yd(bcpc^Ead}|FaX8VET&;YLyGa0B8N>(y zts2FCMM%GF$u_7CsB69aUMKqCF@a*K?Wp}4Y-KL)xL}(`2>A&J%qHv*PA%a3-S*Gi z+xz=Hx96>l1xHh6d}$;dtCU&xWxjK4fmBi=Iitw^7&wQG)Xc-0N}5^V{QLfH7S5A; zi08Rugu-VUvwXU^MO9a zMVf5>X#JacWc8tSFa6=e`Mzb;4@3s(J0=fE^{#GUv6{p56#}u0Z9MG;?Z7vmL!!VV_B(CjK#Be&cYL)|tx-TaSyPNQGS0IO z>mc1X$!_C3Bt37lyqF#i90=3G(cCtux(5wvX<#^!+@yrlPy!IW(7N9iHvL> za>>-YO~BDVf6DIrhcHPxXT`$QKAnD+aT-?Gq~^olWZOG#z_$=wZsduFv3 ziD+U1xbA1ME0rdAkq@pBf);4`X>;tc@tnfaC8;6T8jKF8t1dvc=@RvjXxJ(bas~#1 zcC=|{xG^8{Fl<;<*l_`+J?i8)q_Goe1Gy=P5eW_wg);po(WZjduX*uEzZz%)%v1Oe zMHjx=fx+;2xmCZeH4-pTNnK5sULQ6q`Wag1Q(4e{JU)hh;e)jItDDxMt1O=j-3nwS|tLeK9LvVig1<x|+C#$}hn)R;BkaP_ zXh6vHs87^9JrOsDVygJsGZnA#jN^YFZ+M@U^tZ-$>9!M2`T^&dr@B z)<;D7Pa|m%!5SUa%GuJz+#Z#KpO^oi6#gwLHzk{_ox6u8A;At1X?3>zAJVr5EfiwD-yzckU? z3G6Fu@%8$-S<8R6lBBom;q1n#SRc6z-xk2s>Z$LBRSSnpeQTWvtM|Bv#Qa1H;|Y=I4YP+TczsL{93OWOHv`-Ig9IgudOSK+RATQC;If z!fpUpTRX>P_}!q5F?&XgHTTprfS)BPu@F?h_rpanBz$|bN6To^^V8hram(T2AxQH* zAc`f!XGrT9b8?v3eZsaNlgml*2bmoU8`%{r0cNWii4h?N$rfgmwr-i=*tC_8aUP0{ zYl{&r0r^$8!SNMd_;~z{HY1faBCK#4?5DUIt#BeamJO*Sh^>(SD5Nj)vz{%+ft9d+ zCRHJQImwaL>pv?dY>hsTJKf$`DM1Jy0b$FgTCZj!XV!8T-iC&;9Fyd+V4%3HhN!f# zL*CsijLvGw`({;AHQ8GaeXN6-(2Gm!c0Ag=5guQ%sMGKaq6MXpe3JI=jOa69Tg;LA zsXW+RNx4GMCz8BWx|;2xH+TUd_@lCvsKSyh0Va^qbtZJ0)K6ebM&HvGnO~^^ilbLN zOs*N1MknSTS6Y~;5Ct;xZu)n?6~{8v+M;Tw252J%#8U^P+==!k7;ePh^lpyxui!e2 zymXTbR=R^{Z)dDu1zaRF?_-!AH|#=Kix^2bde1B~A1cd^M8XxTxX>vP!ycZfCk?;b zxS4A~qt+w>#JI2B+fSz9L=4{oQ@m3->Ouy5SQsDS3}kubK9I>~VA}pn*6(UqvoOy$ ztHCrtBRvVT>M<43T5)Ccj&5J!Tj6px+$%zpbcjCfZE(QMbPC88wWYT)qrv>v&XQxE z)AU}?U&3ae1>^D4p%VwjW0ct?_tCpwXV8yN+h1AdZDPI`nRRk32xC0P0Ro%w-Ws~i z9Ao0A%DYdS*o5zQjimS7r5D@2gV{nX;pNby~k>7 z-w8Vwjvz@KR))OY*8isS@=|Q6)@R2+Num?^?kftUk^(SYm9{;*k)TkF<2}lyL5^V{KKv>QPY~5>#Bk zJtiMo8C=bfutIOLS$PTKtvQSW=_&h3Wp-%L9|iEE*J{NMsf17sOksk;#_{qtKs`6prO4P0Dv5)GHH9 zSVD$DtV;2hi1SAA?3YAh3dxs(vx?lZJjJIKyuCQiV3vLQ66LOl6Wfz$q=>uKa~MxK zr8V!Nz0w1;w7s}lphFvHWzw%p#%bI}12WU$=qdx^fr%@oMDk#9F=6JoDRDO3ObM2IrJt!FtM; zz(}}+jXrVuGpdBF7*F6Xe83)(3F#7CHzsIjJ-_q)P%%6N_;*+7H!D@qlw!xuS**CF z&C791X${!M6@LaxEPBS6i#ErI=1xZ@jy)$T_-R12q9mXQ=1|0;4wxCt%o?&*oKCpsE{M1MjeVcT z_7j&z@fMs@=09~)v)31Nt>x=a7*4h>h<2|{tOz07}C;$47zouvVIm609{@{ z2@cJ}N8nPv3P11hWI4_j4`B|0X3>}SyMFFh<=a1>Y-y*8^+<-e{Zr}p1BD9qnds=$ zZ0x?;9?3`Z+AdT3eg9S6xwE?ux4$E7WFD=!ySGI^46sRie-Hg-@g>V9drA*_iH;}4 zQ$qB)^_$Py&)bNAn@HL=Qdbd=LeVg z)pOf`6#Sra@Y3+Qr^x-flIXKhZMT>gX|%Hc1MA(K*}V2Oax>sFExgBYc;(?@@e&?z zGt=4b_5KJUnDOMOva_S(!FT@FM3X46K}{UEpYjODURMz+!cb9+8^LtjXvJL37&qi}?~LmPlu0wBqqA z<@=UAtvQ)eRDLU|8Lp#hlyvSJT)&+PWIze@TbWiPyNoG;`7r{cibVh303@wK%cFa% z6faGE|1%t}`-+U~OC8<{7&*NrE3XVO0dax7SK6A+t5 z(6W_vk`DElBm3#y*F0L*a3GlPvf-|(6pO>`Cz9sGS*N@0iz9gw!a)$U*a?KgY~ng3 zQd1g7xL8xPx^4~J=1#@d!q7#y5rnMn^CeB{LU&#k#067fc%~|;u-UIzuWyWAB>mfY z_#-L=g_RvPi3x{nflV5bWQOP6rFs!^ z90`ye>@J8xX6$aq_Mz|@)XFJZ-t@8mjn3)AnQp}^=QNt z1g4_uEy8W~S#SYmd|$BSXv%LwJca3?D2e?gyG%x3KV01?n7(d*l;8mbUqoZYM}ri5i?{&sI(c@9g9-f5*3 zs(AYNhhvl^fYjw9(Fem>20s$Byn_^4q9zd{yx+X47xOfWeJz5nwRz^_EH1rvbCZDcRbsA1IP_)4qW!WJ6988^&Uur{d5LYDEk0k@;<17B#=R4aA znnzwN8>1K81<;*J`=z7P_B6_(QVmO$43s^cQ{LC7@3nn%U#*Gus$Y>lMDr@?mF9Z^ zrwQhudHy~KHJ(QensCXLdZDg3;+Kgh3Xw>fIioHk*W3N#^*?dHu}>>+>?Z?8r>&Bk z^|Pb*Uwq@FRir|Fyq_;fu?PWT6XAFj_|dnb<#7B9*a_wN$1NsJOWXW&!t8@aPIaS*7)QLU&=F` z%$S(lI){pEDP1)_D6SC(OwRQ~Xo&v@`dY)o<*BfV(1Ky%($TzskQruoqTa%lzNv0+ z967`?^Y@Zb`bUz|wjT{-^cP5j65ki<7$+%cDNb)G!8;1$96Bbzj^<8x065xqb*=DHxu4koBefqcx^-K0VoYzP7Fe6Xy4urxhQJU50qt$OC zR$&u_8W+T!*r%p;yF*~{t8kceP)p75r!&e!>4!c|w^@`|A{{62YGXN2qF_`JkmR7u zN^sRlp(SUQ$JN#sk!FLMN?I4SBGbKo#sV$%Q(K}h1@FDOVbCQ>uO!RTy{eRb_6xD= z?^(lj;1{u$%*uu^o^u{Cx{E9wXl*%_VTVYhm03E}>Mu)j3)(I>|dQJ8X6jG3i8#G=PsU+*pI_AZ)I=R1~>kj#i}nV!#^5uYW@wmVT$ z5G7NV;mv2RdrD2vctj{0!y&A#1JWzxUoN`yg#Z?azy3Y)!bE{OnSXns6WM#v-zy>TC$6eM zhfu)Jj)!2dn|`1`UMfYPkC~T`u6hzNyRtHK)F)bFKDvvm;!=a!64E<_8;zrClDU?# zkG*eYH5;#T4P>pcyg{rER$6(K?b4sP-u(wg=*nYge zXaw;F7L)RJ$wJ{@2Wp1ysICM>a^`%L`q=_Xd|y7j>V_SYmhml;1J9I(*lCcCbSP{jmjm&Nl=G}ix!^r)2m zF<;+tTPG+CTav$$x)!7z<%Z=_=~BjJpF;RolYLD4pn$|eBrxagO@eSxf7~*iaNvit z!P9U#HA3>F$cgz)8x+xY{|$?EChL--+7O!WRQJFP0vqzUD6Oy@JTRU`)h3SdoFQwX z&)W7EdWI?zw5`9+$AJ2SgSCB?uB}=xAO-IKa{;{7jl?-?lY2r}rz@SPonmTt@Yj#z zG*>_6!f#{GcIU$LYC~zBIjI7>!f(5mdLonWOzi&TwfFo~Lk03C)$}9OOz=cEHN-4h z?*BgaqycX0rwD(_B#!UUp(y{J8%!lSs$*hGQm8%3Qy!`kZq%rllR8pFbqAY_2Lp`< zQxB`G|Edo%A;k@*L^oUvNEC9vyGb>j6z_;B(LVbOme0E&aw!iF@5yM#r9CVcaObPq zQeTG96(JV{gr5efHKlUKey`*yM)?g_Q3W6_W|IkKziG)?hIow6jhu!TRH3K#q85jw zfdA!9V(Kqw1^lck!8~+Y6xcdXMc~UAun%=0^R!S;#$z}rsipRDX<<=-F^;NfxvC|%YU2KYV6*aF>T-XDCjIqlZK@CP z8}@|%XG%nsQKnRGA0Qyc>p);JL`RR!F+y}N5|$|ZHInLOH!tUUF?w*HJ?vTFl!J&3 zhm%H7uo3?HvWt9Z2k8wIfMYKi;qoD@!cUPwK6}geL+7Wyc zl*e(HXKy-q@A~8tuRql587^UsWU^+j0Ugp&ILd3ic%bEr1mH=5hxvOb^I5m){_Q$J zkH@>%Rr;w<*P1QfkEA_h{gfWzUb}8R>#*6%fa?9qb%g6}N|;>ts?^AB%?O)SVf9HK z$?2xcZPFX8;W}p#+D^j?8u#8oG0%7qC5T{43KlO6!%e=+5ei?MO=L}SxX`<(_-0F7 zfF;6e!2b|^1<*&K8}KiX*G-dR8jbjOh{8Q9blh@DZP6Y8P9x~Wv3N4m@)z4oc&-3l zJ?WE`fAojImx(9U4{x2?P17V!z|2gbADY2?iZggh@Lh?sm4DE&<-RXUa|rk+*8fO9 zk9s_TWuW}rynFB~XaXcvg>m(CiR>7uPV~VInD2gMH|96cH`SMfrw2|&om?1>HllQd zL2vEF}pndtb*#+jPT)t?A+xMN=5ziVo&znBga));)xZprFYW%Zn!l zFEQf}1~OnrROYz7HS1pCPw9UHzRz~1gdpC7VIoYWmbW^+B2UuT?_Z26l+a93lGDS0 zh`GHrf}TJK=7V58oDQ6eK!p_;ZM*QSaqhq@1&laTg=%lgM4JOU3&&2i`=y zH>2@hhsZG>tcO&gFi*DCXobF0N}~Xo`3bg1Bvh!xk&MUtR~0W0hQ&bex%t!R7n;Vs z)8Sh8tKSyoiK3YMn+b0)iPyIz&{-^gywuVT?h*R4oO^xxAr(lrao87{&F>|yDrgy= zWPL=p?GJ&Ir!6ANy-3EMOu}Wf;bGs1>lmiD#H8~0R3Mf8Rl{PAe4=nx1G^6xT;Hyd zq8GFh-{Id%k)jrO!2GT|j%l}(Oxh|F+__NE8qVvNP`d;$dJYD4pZrzcOEoB1$wazE z3!Kd|{(oWVC9hMo zIFEbbXstHPrV{X(cZ=RU%eTfAr(N)#cRiUTo2|&0;j0ds zJ8pHS2-enj8=*AR-9d}upknEO{!AYmWO+#&qCxh^au3;1PfvNSqJ{Z2KW!{h_}@!Z zr({oc*=r+=7)6MKMv+(E#WY1L^MunweryT53IS{uUT<{$PzXJM{e>P;!Qcgk9{f(6 z8;^Tkw|iZq_l6=;{9W@VG(P5!`psC2b31#-i zbHqR`-ju}*hl$pJtoEYtSROGJ;3vvf#DKBqqi_OJC^7=1J$c}B z2ZDuEbf>6Dt-Jm!TfRF>V1Y4~W4L~*1v(aI8e1N|MPZpJ7}L?eO2jILvJnpXWoLa& zgUtdZy(Yp0QiWHiw8s=Ktx0+lSjweC|Mm_J9E<9K8tm>}BMro5?#E`UekL&29jutkK^9_bNeCo{$ z$+2yrZ> zQb2l;Mk~viA1rmirwsM2_`4W2H!MOY%AMa{lqmJ|l4y=gp+`k3TZt2wSz!=mFYg?l z?*y^l2-v!n3yl8@JjA?YtNT!mNd_G&riRlR%9n=cD>hB{ja%;4Zp|qK0;%K@^dBwF zA!Zx8?M$SVtF(Vvj2aW6RDSq6nRjOQU&vql8qR(nx1?BNq{H+G;=aT#!*Bc;R=c}< z{IRD)ACiDVshn}Ae&0+k#_Tf{zEEax-JLT@`#bf}K1o4K1at4VVA8xlBrQW_<0`<* zu3h11EnCUbX5I-$tpl4%CNBY#H~~d30fWnwehb=Xal!t@_ojXD1-@BnNjdH78W9x= OFFPt7os60+>i+?~eo*EB diff --git a/thesis/content/20_state.tex b/thesis/content/20_state.tex index 16960bf..7740917 100644 --- a/thesis/content/20_state.tex +++ b/thesis/content/20_state.tex @@ -115,7 +115,6 @@ While a process could theoretically submit work to the \gls{dsa} by manually pre \section{Programming Interface for \glsentrylong{dsa}} \label{sec:state:dml} -\ref{sec:} As mentioned in Section \ref{subsec:state:dsa-software-view}, \gls{intel:dml} offers a high level interface for interacting with the hardware accelerator, specifically Intel \gls{dsa}. Opting for the C++ interface, we will now demonstrate its usage by example of a simple memcopy implementation for the \gls{dsa}. \par \begin{figure}[!t] diff --git a/thesis/content/60_evaluation.tex b/thesis/content/60_evaluation.tex index 0dd3d49..b1d9084 100644 --- a/thesis/content/60_evaluation.tex +++ b/thesis/content/60_evaluation.tex @@ -107,7 +107,7 @@ In Section \ref{sec:eval:expectations}, we anticipated that the simple query wou The necessity to distribute data across \gls{numa:node}s is seen as practical, given that developers commonly apply this optimization to leverage the available memory bandwidth of \glsentrylong{numa}s. Consequently, the \texttt{Cache} has demonstrated its effectiveness by achieving a respectable speed-up positioned directly between the baseline and the theoretical upper limit (see Table \ref{table:qdp-speedup}). \par -As stated in Section \ref{sec:design:cache}, the decision to design and implement a cache instead of focusing solely on prefetching was made to enhance the usefulness of this work's contribution. While our tests were conducted on a system with \gls{hbm}, other advancements in main memory technologies, such as \gls{nvram}, were not considered. Despite the public functions of the \texttt{Cache} being named with cache usage in mind, its utility extends beyond this scope, providing flexibility through the policy functions, described in Section \ref{sec:design:accel-usage}. Potential applications include replication to \gls{nvram} for data loss prevention. Therefore, we consider the increase in design complexity to be a worthwhile trade-off, providing a significant contribution to the field of heterogeneous memory systems. \par +As stated in Chapter \ref{chap:design}, the decision to design and implement a cache instead of focusing solely on prefetching was made to enhance the usefulness of this work's contribution. While our tests were conducted on a system with \gls{hbm}, other advancements in main memory technologies, such as \gls{nvram}, were not considered. Despite the public functions of the \texttt{Cache} being named with cache usage in mind, its utility extends beyond this scope, providing flexibility through the policy functions, described in Section \ref{subsec:design:policy-functions}. Potential applications include replication to \gls{nvram} for data loss prevention. Therefore, we consider the increase in design complexity to be a worthwhile trade-off, providing a significant contribution to the field of heterogeneous memory systems. \par %%% Local Variables: