From f2c8fe241d3f430c50e809937368fcf58709cace Mon Sep 17 00:00:00 2001 From: Jan Kowalczyk Date: Sat, 18 Oct 2025 18:27:13 +0200 Subject: [PATCH] cleanup --- thesis/Main.pdf | Bin 7023019 -> 7022811 bytes thesis/Main.tex | 6 ++++-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/thesis/Main.pdf b/thesis/Main.pdf index 69848ef90f47a80c89a441c7fc903c0b716b6616..9c271adf0293f72893e4e3883a1f6efe4595b4a6 100644 GIT binary patch delta 32489 zcmZ2|c@6XJi))x0S{PfHT9{i{T3B1yTG(4SS~y#{TDV(yT6kOdTKHQ8S_E5!T7+9f zT0~pKTEtrf+kXjM-Cj6# z>P73f&+3Y{7Y06?C}kxja#8#7t@@jm#(dlB@BQE6QTOiWuYb=j`?e+SIu#Z{e13So{XP4?jrKg=EQOsuU7OCG z*NIx+t>W#S9~g9CnO5&TzUbVq7qTRR*DFgjrpx|~{vP}1whiakuh*5?BA2YSe8H$* zP@nhWw7Kdw@5#QqPG;;b5q*AR&#Bbq+b7J(-{es`cjk);KXRr17OziTV1GZXbjh#C zxigNfwW+T!pKX4TKaOv%HSfE+?=k$7jheq*Su4xG3G zaw6{Htn+DG4*9s39}9QCz4N`i?b%hgn(n`%M}*sj`JJw9|qL#=#?V&F86suzEgj4d|bJ{|V_R`{Ylg1QzWuLZhF zuYBWr`NvTARM|(v6|Yvv`SeR%^V1NTm(G1Sa$VsxizcO3w#hyly{E?4-!$N~zyR>6MLwd}4c>JDXzdEWzKxg7U4~XKy`of$>ssuKVid?83Y^;urXj z&E2;2NW!WdSI+JS&rj&Hgsi{uu*ABa?=H8|^>&j>mN(8O=hQB!eQvjd=ZGKE?7ywo z6IIepLQ_orHeGtF@}+QF-2p~b_C-0~&9+G_3wKU#-5vOKUa7YKoUZNVr!CLBEN3^b znmPAgq-ebHs?W2;7$$rO`P8sgX^On@C+`>QLif6zyK-XY@7v3I+!oG%dZ=~I;SAe@ z?Z4`KK78%#?M`F1H=Z(a_S(f4S@<`|uDKdE?|0y%N%1y|mWW@hJG;->!`8Axd2`n3 zc}ZQ8P1Ygu-dCdA?zAmzzoO`3Fsb$2?*HB4^LH%hz8Y;dDUQ+YT>Jbt3C;(XMXux7 z^w5To5Skc;u9ggdOb_ok=i%zX3WOtbQ;$+E7@LWO|pqBKB^pJrTN_F{&~LCgio3K zEoQ`BF^~&+Kl#p9i&*vKvnvh1&9ALYO0#cI2#edcoI!v2%~yTK)}rC8Ym!gis{58u zAhh^UluM%ftJv;(ZQIDpN^IRtm*%lO-CpUjS!mUar7Bl~VqSuKv*KBzIF*-{5O=O6_-?GJrq62t- z+vr{YI$3RLO!(=Am){6|K4G-w#6{WVmyaw^lVLVUzc`~$`}16NUoH=wOB$b3_+2!v zS1p=1)pO5IPRSBov+oCNj+YWM|y zZ-IL|baY~Q_I4O9=4NfVwD8mpMOKIHS!yek-Ci~RkQ7Vmy0XkLvm|U;=aJM|Y+?1q z$D@9J>UdtJ<}uMwu}{J&zesvDN4kWpr>6e-g)clqHgUM|Ok1~NSB&miA!gUfaYw>h zKNVb87D^W}n>m+BTy*KlUqvT&Z*MVQ;&ga}TMnP&jnf~tI4`eO-M~>FkiFf}ee3hh zyJn<1mi+u+bhmEH4&#c#YSR-QZw@D@9NBxzr(X8So}>5WG`Ch18>}et3%GPvF{abG z@>P)aOpmnrO=oQRE52VcO<6eU=e!or{4;%feu-oo2CIMF{v>2m&+cwhMV8Z6KaOme z%yq(1$gkkirdWlU53gKZ;~cL1^Xxs&?Ll%G<|kP-{ytmga%gUgf6dvHrYScqvi7W2 zyK~u3cHgq-`moMPx(`%hf)*N1&|3UAIzuDVXRbl~l9eknHucKrp8c^{b>_Q}i>uXk zRXE<2Z8q`PTlW!VLT;ZW)<1BqV4!6l|%BKE!oL^-lfODX~eHjyL94)LuE& zH$!&Ira}w9S&p5DruFd6xHtP`Wq>AEr^pAJFPrDbKUpyU!u{3n+b6#E6n*8>+We@R zZ6d?_vXDu!MPD<|{W#*tVUt)kYajoQpy;3fxN_?DPF&}sq#B<$`N&VN*N=bi4*zuM zLVwJP=*6sSPn;7!-~PVr&F}h;B5PIluk`z5*j95u@cYY6z3UC^U&n8qE*EZj{HVg_ z{eM6F+rM9B(=XnKvh1d6_jVb^+<9^JeCEE_Rf3ydU76FAo9UN%sHnbt?d!LUUuExa zC|cCZ+?GPM2{ z+wf6VfkWjEv&1g%h*X^#{V&61`}g3cHPGPW#Z@WyoJ`F;2Ms+Q@=U`KH8Cr(GTaRxxLyKXTkV z#=fiEh{>a*SxhU!vHW%N0=>fHagpf@v!-^lzb@*OzZq?JHA!UC;aTmKyTTHF@~E8Z z)pz++XxOpX^899#8$DZkii2vVpI-6J;sNi%8eyJfF_DK3Pj=U<#qEn+KfmUH{-)AR z>-KJvzr5$yJMsTI{?~pMEnhQB{mk@Bo7GOvdTRa0eAD{Ba+(XzEc;XcN0#&af5y`C z@6!d-5=EwW7Dk9Nn_HMpUsxESRUhJAeAz%?-}CSnZ8puJp3_oy&Z*equ-uqOb^Ekt zY3;tW9Los5h5zSWRaWJE%fs$B>D%A8+qJu_TrM7G^?knk>7zHBf;=Whc{NVU4$*L3 z;nJn0l+rs*ch}KLB9U=MjrO;<&f60EQb(WV_~NhWjrK41o!$TDna189ThA87CEL!d zcf8G$xB2uw{q^%E?JJ4X5w{oPStnu`!mT7C;>McT>a;qs@b}zBVkO}nLV?;}j3f9w zG(1C|{;m3w`|<1159$+VPHEA4sr)};!ldq99Bk~@7X)3H{@{eyzUlL7<#ss9yPf#< z^{7py*A)2_uD|PEI_{U$?R>r7PuJ;5NDC8GBwe z=T6RfpW%7?SZ>pXR`Kpn?CzUl#JILQUS`ectrywRJ8{oy>FVMKU)77>88V%35tq5; z=^4B1O?N|3tV(Pn^C$&{>vW8??)Sw zZR8+Hfd&(=S4{NC@dK|pk$--5qf73Z(5Z)R3I=g42Hvm;-3az)?a z+#IJeE~~YsF0U0@zPHsbtvf5a?J>)j{e9N{j|JV6?(EEXG%N9Tw#4rGp8?<1Yd(s8 za=kFC)qdZaj+6~vK@)?P9D1jr-@j;HELYi!qZTVGSXU*)T~j}HTyut!&&RzVMdCNk z|NY97SZPdqSZQo~SZQ2) zSZVzBu+oG*W%UhHro4SGz_sze{zgul)c5<&EWg*q+4YTu^$f1JzV6(*yEVK1 z%S*Of{8c+%y*qJhe$6h&`7%pgCok?On!Ka#MUDFt^{lxcB5Is{(@9 zzC77G>BhebgNr}@>4=+Ye5+yQ`_{7|B|dQD`Q#_fTmQ(v``p++dEsi|?P+flLOYlY zOr{Gqv1``fjq;p)`D%@9ZR)E&Ii2nmsnZJDS-JVP zhlcvXTSp2XcrP^1?>ZZ;|K;o1Fs`M0miyK%7J8pxJ-NI#Id7ZR)VRHm^UD{oJ+!S? zZ_?Pl?9f5kaxt~_3#T|N{FuMZO5on?=I8@q%lAEAx$Wt)9{bd5x?wvH8@-7&x2d_Y zYlD06)@|$Z>Z(59oh)9^Tz_-v7J)huwu1Cseg~7MiSz%}@M{ya>${QD?DESif1A+< z=eb4KFVD_hpqzhw`cwS~p1ph4X({xl=Pj9DzU%>GYMc7sr*22*WmYH%xSHo4|NHE* z=IX9#+IJ7`n)LMawV2ZtkItp|nQ{N_1>5YSL)@y8QH-Sk;e>&*tyx{L&mTf9>Wyp0AESc2iKUFq(94*Bfh*5UUT? zf?Vd6g&i6nwsy6>{J-kf{OV*kJAF;I7@zt_FApqy@_VwtL9uP8q$h7ZwpA`h(fy)L zN@%Lr^?>iq%O0A{@H-N2^tF-E`xQG^h((`MSmN5JJ@VUbB~NZxEA_Z4-}_4KEt8M; zw%@6E`_71|)YnbS#@J)8LuL7=xdDkAyqd3spPa-}!8Cc}&PRU}W?ozLFHt;;-z-cm z+vj$!c75`9c9|M)H?B9QD}I}B{rsl5{{H-1Zz{B2&eIB&d$Cdb!*YY=?+z@<;Fa5H zx_r&aJnzGQEhV_7v{xwd$FG~{^isrQVYtUeH&%%`rzY~a-aR}`_x;N}*5^sDe+gRs zXwrP6aAne7<8wMo;+myaCH{3-E5#I%X7wR|MgN>D0j(Eb)d#KAZ~BqweKMohAZE_# zs%Y=>i1)#oT*6aio6N899fvc&A)|*{nXRmxt4L=?6RP`46AD?R~Alr z``uvY);IS~Yd(ip%uI)UG)0Kk$izYJl9Zf9J^f@S+IE#6T zWAVgE#%GUeW$L}rc1SadE>yn#>T`5%sKl?J`7_@=={nDSrM4!{q%X)xJzPU>>BYU* zxX$^W%ny{2@e}bVu;|%(z};}sDvyJgPW+s4vBP}p zh=f0!Ec13Sx<`h(E!fYO7NI0^aMb~A`<}z?6XTDSOfcQFbYI^je}(>xv=}DAAD&V= zM^(1_-kUDz5YB7t9~rnIK3t(G_3Y7>i!59JW*yuodvWF0yNo8z?OZ)c7oUGi()pd@ zB)9hUs-5mdQ)RTS`STubTjaiM@%=3<^;^G}6m0x(iYJGOclV;j?`Pd>{HXBZ)jsQo zHatcv_B~#BeZgjyW3KZXIycT&d1coSe$PF1N}t@eYqcTI4DWwBe2~w8WA*VhkF`4W zOnRm;uV+=cXWZ+#wjoSrwqaNRlg{TLzheiqwR4ZZu;#RAka~RP?Co47rz;NvI{v@! z_q+VR{?es%mWd2eHfzPtCYwj($y@GPQ1YT(kL&+3JEjF&bXRQ(lHt@6ty(|f-~S(N z+C5$iKQI?f-W7AcuPI%lU=JVbhr4aljmpgxBerciewPnr;Dws zG)t5*IHlvF>?CFvRw7v*yyuC6bRL|o`RO|04F={N23pQFbN2RQA(DX3P zn!_Z&$;;XQcsx&2lK2#}J1vC))hkXfI=X=K#0f`XgHP>^x)x_@N?0;|t$mL02B=5N z^>5*A*j5oMtMKAY{poX(5w6=N_H9a%z5Q?7+aJ&7p0y}vl(OevD1Ghwa{B^tPfoKl z9er0jU&OrUi!3#JJkxObb^rOXr}q3%7AXjw_{d*l5>t@J$t@i+M-|w}9o>$M^B}@_*j{F_^ODq;$-o)W&6BM6bDLd;Z;6uRN1)@APNy zm)(xanSSr&B&D4`LZ|1f4oJ(bUKsT7!ItHB8~7zTGmhI`2?_ppwsgMg=Ud#jobLR$ z^nLQ&aCfKpD)t$7PlVT-X3jLYr?h?6*VT)fGQ)(X&TwTld+o8oVo`06a!`?sqBURe zjypN6X>CGBM7N8i-A_4sAzt9j3!`=QZ)g2Fp}OfpgYre6-0N!!6FGkHzgTB`?Y-vt zQ&$i6&0;(0{(bk9Hx|ABc@{kUez2SURHebGpPW67%CZsvtleWuEH6xs7V$ij?I>B% zB75uf@3zU}y4PPDzEUvf(9O#*=%{>C8WZo}VXfnEsIT>!%-hiJ@H83u*+o45Qk%EC zAFiL+QlYeC;!Vl6zV0$w5V~Qn|j}{Q~XlPi0P@*yVJ^ZD!36 z2ZycZF*Y~;CR$ILeEZeI49V)!oWrkq{%&70&w9FfkigxksbyJ-AHpvP9A`Ke_y2eG zJ8hr1KEcU~0vn6m0_G_mbf{xAxUJjj$-!nX_h#+e`lxje8+W#NEIKi(DZ6#&W@fts zH)~q+n8c2KeIvm1&~l-m!%-#=hwZyhTQU6J`CQ_e?JSYG9VgEvE;V#lGYu1{Pm?v! z@?6vy7{6nmEXTubZX&H;Iipqi4ji0tDP@Xsn;OH-yBp#!O6vuz;hOti`gt@ov`u+=VuDQCsiK$GnTqAH&c3mBON`^r zmy&f~)t`kHr#q$@JZ+LYY^%2L=MF82zY67teR$bECcJp~yS!=)s+Jp1s%BoWmt(4@L8;My z&W6f`ll|WqE!k!L;cE8oi$dH5S~D3k{!hB{TWX7#L|VmzizV#lo1RWvQy9DL)aiW& z?-uZdEnm>)9CtLHb7A~BQQq*mr$enyiSB)Jc>CNPO?PKzZ_C?OJ#)*myqf)TMN2I1 zNY*oa>wU@O+xy9DS%SxOzi4HqB!+Uy)JmpNme+ zxnb4pHjOPwVmkLh!{9rcCNTv({BQMI>=^$h&x>BybQv;}#hVXpG45R$BO2D8XTYDc zWnu2oqaPH+Y$YZ#zbOz7bnjYYyJ24OcUh+M9_N(mS7e8=rf)CJY(HtVOGqHMbVAkn z44Rqs}s&F2sJ!9+W1x}H&ZExq?@c1)zX@gg|`P%(z z?dv_BIX_ftpTWxYs`*iZ@42l%xXl$-8!&$7{=VI^`C))ggT@zwC&&5PHe6r{+4oRI z?pog5oj*?5ZkbxYcW2fG5tqBa+ay*U%V%ZhQG2V}BU1#NN^)cL$ zFaOzJ@IaZmQKk7_&)~Rv>Fx#}MS&uoM+x6ne2!nVV9{*WO<5eyyXx5%?BqVz@_CVo z+9#Ing?!g?b+1J>$gHnUk2eVHezweHGP8xcugG85d%Sha*LsKN-u?OgWVc0}Ojn2s%G#i-6{A!B@z0V!5xwVE>DT}Hczg51^xYZu9_jq6(^uQq7ytaexbLsT zvOkRW_I&sMGkiM1Z^o6Hmr`6Z`S?%1>GDm97K~<-KN@RHZ)i#ssGk(tkZ^=wgL48y z(^6+4M|RhF5>7p_$y=G`)X!hP^w+<=IX~a&ktZXSKYs z&C1|24LwE<`LMQz_@*z;>~pva*98^Fb$R8bac^Lo`>J&)l2cd zEc5nFIrHJlmgCZqo@)!wte6wEhv!{jR$LNWoIp~aq*}l%R{rK+E=g<&4%d?1ye9En^l--ODGLrfV0##$y^#O-jsPPK-!$jd6|DNs ztM5$;=4ZJ#nY%YsXXiBs2G>g2_tAyxPcNu9Fprzc>s6?~ke_Fn(glVyJr36<%oc3U zQM5R`E2K&Hgv4t_tL9vRJbt4!Q%^R(N!*dUhCzF2)G;mt&#b8Y8xnnvin0zImngCzZ z>E`X>|9^g*!54q;-aXqpGI4c(o*&-v@AU86_4j4=?b`kSUB&-h3H2KJeDzj;et!6x zEhTQ=p5Omo?oxJ#+3fR9c}dA9Z5?bBa=IKDf){N)GVUw8N4 ztN;J;-;Dcv|9*V<_inD*zuI4qx~2d8ep?XpNnp}69_RRrAt!xb#bxYB&neNCTA+Px zo)oY7Ssqbe3xm!x8*6LWWOnW;;8?LicQsc4Bk%Pb|2*@{JtwQD9b3JsEA{(a7iYDZ zf?=Z9yf?~Mo(_4l@?yP4^|u?Y>N2fuN@ewIbFx=(S@+EUX;Jo~XTdJczPPyXsl_ar zdXtoevrMAyrXZEL&J^DD?E9x zY0g#&)?cso?9Er6-i&q2suwo)Oej@Td~<@aujr=4(pOJSpU%-X>T@-zcRiRE9g!g} z&O1jkQhrmh)Ww6|c~8R=ezGO5558i4f7#*t|NixhoL1iLnlwdObpPKUhxzmW{ZEi> zuC5T>^xB`ze*f-TiHLd188bWc= zr~EuLWfE)Uo0pPB77Uep9OSh7_tZ1I{P5`CySt~AS!VF*@2i~0x4zHbc8U4?S5J=K ze&282zP|BK#qSS_MXwL4x%_|l?(yHDA=$`FnmnxvJi67kT4Ql3vE-R^4(n?%6syn>L(01YxWw z-sK->7x^RQ;prJC52unVI!jo!KFdH|IqzEWjte5b#YfWbO_RNG)b(;zh+D2}a-ihfwq=Seza?j#i`?<9 zm91X8>21?8r(mt>g^p$qZ%h?82~_-57PwZT_{p{5fq8CD{*0_1~W-T$h8PogY z=~=c$2E8p^ZZcO-s<{^K+>_x^WZykgblue{-<*QI-lazus)`uj-u6g)K_H9oHPh=s z<}EAlUMPupdo!#@i9h;tT-jodSxd5?E%zu62!GS6*0gMW*qZvQMw{QZs(BT}+S=5G ziR4xd%3x)h_9k&DsZ9|V6_m^F`39fpIKNFwgZJH0>&BULFLAQ{{7`4@D?dqs zecdCTG!viS>o?52_-9RSZe8Egul40#*PlJFJp6gO)%5u$&iZ$bZFyv$ogDRY|IXe> z|Jbb-$rVZ!LPnjbK671WyUcI#eRSncw{UBHzspP(e=(cL4=I7u+$V=e9`jjdGjp0{ zw|e=!JC#M#Plh}@mAX!+_^DC&w4DodlBc@S1o?E&M0yyS9*_K;I;1{+zQe3pakvd1iXS=9|2@ z!JXo%dpFciQS21ux%67AI?~tp#+tbc9qZoS_DhRn_LbihalvJE*wJrJmo>uUb9X2n zPkXlaf`-Y`*FPU+v~AlrUDVt$P(uBE=A4!uKi!X$n`ag(&RV!`wW#~*ZF$*?xMSnY zG;SX~zs92IP43*;+6x+4(=VHPZJn6BeeZ=Mg(dy_99)(=h}VC0tIsmIT%hGt5z?l9 zGvtZ*QM1Y&Kc1!v@0}=Rf5lRZH|F?tvD=?Iy%$BM9CnsiT_A9%HrhY_^wU=73sdH- zy}u9=`hcH`}J=ZpNWYH_X`7)|Mf=ecMZRzP*3i4Q@SFURY|} zcdhXLx2GpfFDP{EUKb{_w*K+0?@Y}SdUb5eME@+^dqJUX_PU?GC4Hs0&+A@yINWl= zU|+zQz9@UE36%EzoJ{8)t89oC&Yn>n)33@`+DA@BBIbsa=E@7q}@_l$w|eV&zZXu$qO@V!EI; zqsVlTp2TO<7xAzQZ|ChzoWag$G+nVNQG?gOkW1euH7~s+L&3;+x`dbAZwyh~;U>DTU|F+?;L$LD94K7)gDRb-h$D5kkW}Q8_&}p)R zjn=o4@Y>RF|0UtG3f1-+`DA#u9Cdyyzum{%S-Vg2b?1jOojWWI@-sF+(_y)_hE-Te z?kJn$Tzf|5<1LfA?qwNVpSa0K!uQOF;293t^eh{# zWWw!uEb4?o!(#=G?01RX>T47Q{FG-1X?^1M@pO-oN%!J@#Kb$raLK~McG4Y_e-gq+6XhF%Hbjcd084pDw<_dTed`vmn!0_=2 zSHL7j^VWCrCVyyKfaBvYe4osKmybbHU?C4lc7(t~c1EpE{*15MW51sA2QY zIjlgCr9~l%b^4_GGNnG&aI;C1JWlmAWQg3UFcQ|$+%dI@Xjj7opNt-jHD8W9Dd#fsFKBWJ z@cP-bySZ7=MkHjxlnJa&Yqs^8v~rXQ%-K+W`@{q8RWY2s4a>J!i%Ipbcv>oQ`T^J4 zBO5PRRB)Y~cR`_H&-CL?$qzK+>W}kEdITEqwTJ z>caSCRqa{5Zu@>Vep_HBbD*YV;|za2?-$42#M7VWd|CKsU()>I$+128rzT&_PS8lN zU#)u9bfRHonq|Dc+S4Lqhof8XpIZI$$JIa9-N#H0iU{%Y2}eF;UQ=Qi*TDIlW&wdL^{lNA+%qQ*8aM7|zm{A-7@<7QDQY_WAkWZ=B03 z6mw&_WvfgLu`4yosC3no_m zU&hGMFYV4$pPc&8%I%UozniPKfp4)e)~TLn8MglpBuvV5F<}kfarTHl%O%kuUM}h1%ohq+)~>gnBG_e=!y&c3 z+&$Bu?~qF4nMqCtz0cO(ZQK|#?c%gQQ+O87)ohY9s#*27e*eX`Jt6$_rPfA&PHuF3 zz3q|#>wAk%F}?tfN6gLjo_Ui*Hk2;Ccxr(vPi8>X|I6w%PRmvt^!VY~_P8N1nkA zCLfM`v^8g=V@=_7KHakGf4r0Sp6ZoST|0|MJzjA8(?tTlZHtaubw8Q6`pLJG2G4aT zrhhzlLvwS6$9|tb%GZCl#XdiI{_3gUTheFNuduqHw0?c8$ zc^}18HI46V{Umea$9I-Jz4ha=&AWG2hgO9}e_gp&%4mK`v-;G{dh)SX*NLt9&GNdf zaM{U=%QbCQ^XlI!zprAvW}c|7^X8N}zh6u|z3cPNqiE2+*i}LtuOpjd%B_Q`lAC! zr%k&u>AjWj*0c>if= zq3MGs~abiwOw2d=zrytynZmOHH0DP+FDR`coG&Zn3zR-9Hl{a)=! z_gRjmw@gG$`*-eNc>Mb`o!Mos&h?*X70pz?zbv9W`u-Nz&6)krKCd(Re}D4Kw;vV% zY;_J^batpvql)Y-XRZ4cba|Mc{_3)<3FQ!B$) zgvNaP`NB8rWogY?>#MH?cb&+;cG}MSg`M|{{nOO0p1eOfDR;5A?CIFH%DMao-+v0+ z&a9uCHf^8h`+p~1*VVpQDR(#ZsF`kh^}1cJTha=gGk@!B%+uU*`_bKPq0+aFr@t+8 zez8*3->%$e``ylMH`e&O-dw)uPNCj^@9#a`cTBEV&fIrecHhf+wOuRij)wfczTmZt z)BWQc)&6a-T)5lo`-J z|C#S4y`QXjM3~9gVERK@M&a%D^AgiMr%!5R6q^2EZ3@fw-Om%*Y^E=Lo+!HgnsSn) z?(_r7Nn+bs1Cz4lr+)}Y65HNZkW?Tyy`UgTbh`eWG`{VU{Yg^B)4%m4iEMX2l(gP+ zy78eTk?mYO$yqYfzi}svZ12!WHf>-un;vMDA+r6_ie$Cq=}A3|Lfg4`QYJ)Ao@6Mr zeN9@5lKXTaMkb-{57wqsSTmYH6z9H7ITFukHvMBjlE`*9&(vppj22*->A5dcc(?mS zq^2uO|J2GRwEcKR>QAoeo4&9?eQ~WhHAR-uWco#~G|}w=3sW5hAjSx9U%D|>d**bZ z1&l)5A9H7p5{= zY!9@`I3CDo0CvW9-JXo=8H`2{2TFd;uos$cli}6xqHdI%@{=^!d?QXSYixWIbe>?i-&ax}85cYdZ7vUrAXa+jpg9 z&1RmyEG{}c_(IV+kQ4L>mJjzysWd^4^Pax$HZb}X=XYd+=whczMI>iMgeT{`*OEBo}+h|K3ZCu!X;P+f6q z_6gBo*Tc0(Gw{czkc;m^c`i7&y zTzit|Ssv9o)=;<7%lC3fTlbT#&u6U)IUF1u8f;o|IP~zBDUT4~<0Z*&U|ihq}2x;?7NqNPPLW0Szfc%?;MykD1Uy;Y1l{^If#MYhAT zJa5gHosg~A?`htbU~Hmu^MHl1i4N=eB@2AB4k?~L@Fc4zB=di-`kBC~5z9I!PR!b9 zdzNJbPrdf$MVT_ZmwBI+n)u9CyO7n__A=puqCvb=NrG7Ef(gqL)lBbrnOwgXb+51d z%+7h5PcmmDGpz7BJV*7{yKB`v?ewOn zqT=eY$1|_Lp3+^cckF(y!ru?hq4Hs0{lneEL;vphb^Gm)604oNY9!=dy9EX=2Jbc*WT2Jm3XQ8VXZB+t&v!*Wj>>O`7>E@r# zbM{+ymYn)x+Zm8|L9cYuwvcCbA^bb1*fnntyKEISeS3WHDVv~ETB(^U?{3juxbQDa z)4Xra)do2np>pqS_9|aq{?Uf}m*lbLK7LWR$%?Iloh6a=^W2Y3)#mcch?y7rYheiQ z-jHUs{*&G&Pj(fz$h|an5c18*oHip{rKUCK?(L>2TN=ggZoD0KKlom>(IXH4VBN{9 zs+Ac$WL4+;tj}~6pIMm{a>ZVaTP=Y9=9dpwlBDmIhTLhl^vgQIs!kib1Q(XSuT-4sokquwKD7aME4gWpASQ9P(=7obhnQ&bpLN)iU`Xm+ez?%5zoq z9^@n}^U++G(`b2Sd8oU7@`b}&7Vk|z6@C84rUPuh1gA?hwH#?nn`eBaUe#{;xrA?5 z406l@HEWCfH*H!|y2tJC-sA$~rQd5N%;x=td!WC(r!F`UU`;zy={QJ zlJ>$rRq-8;OJ<~{O!|GwSmFaq)ueikEsxh^w_U8R^M1#F<8bL7ZR01q=0rRQ2s`hmS{Q8UU}br!%4I=^udt8^6^i68@Z2F_D!uojP>7ps^3Ul<6nPn})wRm67s_zgvq1rC{^6^o&$jD1m(ikN)#>=i~+0m}?s9hS`}OQfkqhzI?*;fXb{(_0OMQF_^r{tw|~4 znyY8P)6@sH;tEev6}y)n`SNskQuSJbHNQPix*)yPv*PeznX!g1?B9<-p;TnNqHM7sy4i zn_T@XGgBn*Ms$_LiUQ_yr&u)W@1^-^ooSt?9%9^ae4+OLIg1_qAMV@c7pb@5;09AQ z*Nr>2#;(uTwEBL2>Cp`vR`cn7k4akYV0h4PLQs`R`&yd|hfPqxiwQah-_ob7&k+xGU(W5N|_)j5s*?)6=p zM0o7<*-zffUNTi4-^s=^y>#1rQzX&A^2ZgK^Vtvdr~aH|<)OS&UOE-`kzOPn4y@k-~OxvTa414VcC*H3+^6sh_=aLLjL*QiNiVGm>cCvKlK z>G0i``m_FPt>D_oXnePO`2&faLZ=d>yKIca^trZiZRvSz)tooIdWF(_QV%bWdAO&TlP@f6QRfe)`6Fk6X^R zg&SrT>+95;Fyu|xAl2*5X~yt-mfSkg#+M5o+8&aLOPt$~A#q+(>Hg$TmLkg(W=K30 zl6Gu~Q*UvOVdmsrDt@HajM2=e>FNFH&TA}1H_z~|Okc8NMu^xu|CFUoXOe^`WIlLX z6n4~k>jvwbJrr`c4_$={o0(K`V&G=YXr2nKFTfGHrvHAh<_fa^j=M{!z2izH9k>mL;xvyX3Fr^apm zOr7`T+TD^zWIlPGXZ2~b7pvI&zwySunuJq~Lf=kXvhuD|$SGoC-FQe~qW2Y!%>|#V zoZ2Hlwt0F-UQ4%>Xs8d+F!flmgmF<~V}XPDhKnsR+XNaGZ^`-Lb|rCH@>GWXewG~V zX%o077Im0s-!N}Cd?m1x+1-Nsorlz-RgDv071dm8c>H2*TSp1o&Kyhc2ka60Iu9bI zMp{(Ou>Y`f3+GGiIdS)vwgnz$)SS~SBDk{j!>TnYH}**6PWu0C?&SB<^>6Gip5d4^ zdE$v;M*}bE!x!6DJv{tK<-m{260d8`CeN@6Fxyy%BQ!o3p>^^S3VVtPmPIU-plpMl~YN{XYNZkMEn=gx!Mh)qTG`VDwo9Jjn0%~?{p4Zmt%@mDQk|mO zQ-6O{jZRtMygjTw%bv0R`RboZf(1?24{!R)nZr6$ZqnJkJUK?}+xQGq{|Zd}ZED1y zHsxYvnRFq)?h}?x)9dbaOwHNl?pVqu&vB-7r}TsN6`IcHQoY?uF2*T2-LmA)jS3R2 zF_>}lgQZ}QB)43Xu3o;aAK(0nhq2nWyD#K?I}~c%q2#?|BTu07s;4K+>g}cPtGfK& zqQUuJL(=E^JH6)*rcAGpy)t`^jO(ZB*8Vm3*e~v!w)kP7Qls2oUA~4Zw+pO$<}Etf zV)iF*!MUYxlJ8oUL`g^=+kNJpZb0DfcaH@l?mn3%meyMJ_x|3?|Lr*rGEf1T$Hp%el%Vie*bneOPl}(G%-ulbk z6`AOJ=2qOSR;h_B@sWp~aXz{db=CF%=jbic%@y;`FdRPRctgc<>5Ivylgw7~rwKFr z>IIo7{qJ5|A-H$j-b0tw4n4`8tyBDSQ{PmP8TxtmpVh=oj(&PCp)AWGJHnXP4Ih}aw9S~%-e)r@2r<;N<&Rg$&@PJ6ZS;^8b zFYeD=r@ZUB-06 zll}a$?HRYVSL$6?Zqn~D*(Q7Qmzw}PxAxQ0bt&!3r>oE zrbwSPs9|NkGi#&5+M4_P0aaHW`Y-2;=t-E>9ClAgM<8<1W}SNW&*I6?@Aw{>73}SCFz$`;5wqPnn|I7@-JE)E=iLW-szGNZ zC$rj}-jwpQsHXAi&%G}uRi?iSoF>21P5Fk#$CznNjX#Z6+g`s@{cxcLYq#0Klr!JO zr^^Q2d}y;J)w2G7+O*4J=WK4L@4J!|@%+G~3dNc8PBh+9+M;sh+(VHgclOmUl3|&n z!WS{cZ}yrtiyK#-JxP+*bh@K|;0x!X_X2As&I>!Y>kj9}wc3+aN>uzB?`%5yV~<<; zPsQ~Le*?5szeQervR7l{l>AVhMSeG%TUpmV`II+%@>3V~#d0Zzdbjge{dSczOi8#t z^V*JQvo94Lc3#J@JCAK;wWMnCvN|(O%SH9?*>!6s^6%HaxS@2pz~ke#M??~?MQ%AY zRdViY$LF`N-<;u~f4Fnfv2uRCcN@~)a&lh$d#ht&Sm&uvD%TX`?q4;TGvnW0zTDZ) zIj!>-pGw{x_vxGhbH2dxX;uII%(P22H{LrRZU1LOsQlkT+jXz@u0H+p@yE9>&pxTD zD&5@reEQ;g?yAqv9`AmB{(k-cFQ2}=`tLhuY9{c-q`*%G4`QmeKYU+`5 z=dQlLdVlt-My?YV3~$xnTeUsk|M>J^Kdrp0{chL&k4-)wzf9)cja8Mtb?(X;eakOj z{Q0Eh_ovT4cVumQb@=6vN3x2wtLx?;7pTna(qBCL@W(B`qW8wWufNj&>iE~Zz2W~u z>{rgecK+4#uiaJq>mv8BioeeOHL*5i|JwUkkAMAL6*B+I@~G zf8DFyzutZ7IW|A;ZqMuZ*Y{uDe{KJ&{`!Bp`!TiZ8h2(3yjd0~BVlpl*T>^)e=Yz1 zUf#C;Cy1_CeU{&z|c4PtLA(Z!lZiI`3e^ z(Hot*Ws`op-I)3C_VJdP;twu4KX{^&{M5U#>vd0y^`pu5X$SgcfB4Ji@4sWOlJRZ+ zudN5XQ6J zEA6HR7|!1Ju5S&8&xsS=?^ZZHnYcl^Yo}!0)m6@iE*^h8H{G4*a@7{y-})|%FFmsV zm^(T~D4Z;_jx<{z=~chCsH(KkFlt5YyKsZKPLg+f^v@rkzbt6?L6-pi{UtZzmPAF& z*SV$^RsQ1szk&~sZW=E9{NZrb4|$%5s%?`V-|yb+u|SlCBhi7O?hVI;8!{0^+tz4$ zI%w?Mx$_rq#|*|ZTN>7?s?FO|{q@;{-{Qa7!^IbSU$wch)5<=&Xq}SwiTWe+wCklO z87he%c8Gg=juJvpEs}wE7VRbich$kv7a-o?7p0R{pU4D zePS9V+`YavCbseY_-6RHd-JUo2P2;zFBMq)HRy9Edwds}kTtTf>h^WN>TtNT*q z7Io5WT795-+AFK`7saBz9;L0|nw=)v(5m8Br`eM9aP!})Q;XEOWvA({)%)H0()vQc zW{Hcl6Q0~XeYf0Q){SFU^r2H){$Cn>1s?O(E6e>4a|n)L_iI-?%UxbFGgH7@GvUe_ z-~F@K{xU!EZ7Iuy#ro|3r|(|lYjzZFdS=6+d!_kRE5)3;Av zefswV=TFlM9!sBFUHmNc`;Lvwd770+%~$IjSKVQ`Q*v(K@%^X$uW4CNK0p8W^2wR; z`)ADg%758O@Ztm~@sF3^%C5BiSGIoh$+usBX1Mjt=uLU?@#Dkpxqo{c8Q!kwKbX>34Grsx4t(eNO9Qo&59o^2xI=@9y@0 zuJUJdei5UwVl?;M>OBVnE#n`o_DQ*QEq&h(>-m1`&i{Y0X!E98BfBN{uii|lG2S=# zPTqs72QEH)lvKny{rB|UA9b@OFWyO4e;&(fyp`YRW>49E*?1ooXYa*_S~r(m&)r@+ z`=5Y?Sfzh`neyMVk_~^K{hWNLI_m7XS*6iW@}>N~NpIX7ed^qq^>366d?VBUnyp{( z#*HiM{ny{ycgt>AT`C-Twy!_$NVuHwns=)cQxmtbggrZaPD$?23$si9`rqg6udBOY zUAy{aXF>g?Kcag#8|ZERGR^JyAFiESG`b8$oN9OEge9HvXjxislyLFje*K({aZPDw zceLL2$hNEg|LNoEyZ0PpeKoS9oGfMb{J45%#w^hZe6)~>cO+!l9SdhxK-tN zuA0d^bw=?#9qE_f`Q_)mt-qoF<+s-PTS|&YUfp&1A8NE{L&}{h_RK=R;svL#b8wag zuK2CFzm+h{PliyqSafx`Twx(!sbwg8{*Ufwf&G+vuo&3X7=C-=2 zZ|0n0d8OPvnQv#Yx`J|<+*;|(lXLlZ?|y&pdsC)rRBe0MKdB#$jvJOSX?}cp?a`mq z#1D$c^|yw+pB%Ni>B;l&_gQw_y0Glc*^~JhHutJ8{c&?U`fl;{^YP_6g%x(Y=G5PN z{d32KD!Xg-Q&;{_SSy$+yz16l*WQ?=HExzsuDBHrE%uTeb#sG&Aro??&Mgf?E3T5hpUUz<=Z*-9)I|#AfRYYOJ~h@>ss!b zU!p(exSqXQ|Mf?ZlBx57!)~u0WIVt4?PIs%gG|{2;`dm8TyD_+zKnZ=_~%1BU;dhQ znD_Vh$^ZTG_us>F|7MjJwkeCX3&nh8sK3`yWI>5eDA>W7Lq4cn_`uJ1MRVSjs& z$7EZ3+Vg_JTnV=aXv23zWUqW+s%*XuUi(cwp?G%M(uDWr;SwkZIS0nPiBAfV*7gd zw$tHk*{YS(G}o0{nD2OTZ8dusW9ylC8AdMdCx6~OeR=iflTXHPQ$M{F{`lqT%OBf* z?e-P&Qd+7wIZ<>CyYa;7zbfn3&g{|N^r_@P!kS6Da<)c>MJH8kYOMT!=;npCZ_S6+ z?3tv&IP>54*jsBC$yEh}79CxCQ>&GA<<(C@S53L+D{Y_E`}pgIg@3r1_g-4X9el8J zMM=YNgT~_uelDpw@|t=E*-pfW|23)^>NQ`xdRpJx3@G`s()>(BQ))1F7ns#i>q zoc6XV`d!V||I97*6_XeC2v7euAxmQW&M8?_nWrzAlI1vk!s4vX?GiJy9xzS!n~^0t zoqu`O*6oMpWIbe>{(W|q*mS;$Svu3Lle5IP|Cyf^%shR`{4B@q6BcJ>F;Dkj44PtF z4xVCLmL&>Ox^;WOYLM1ttFlD4r>@JI!#sWA&OqVqBAc?_GENUV$0)pAWJ}g`rpXsK z2v6tVleKAk!S<}jjMGSPPrr2{OL%+3nXF$- z({s;c2~Xc}IZJQ*?(Yfe&Bl6`RyC- zfS5w!jKb5+o@D85cYcs{pLsgtgDj`%_bz9tZtr}OwVQdm@{=s#?cp!7a+#;QyvP#X ze*JaUZ>H%-US|n!fBG)#C)4yG-$dc**I#FC-@f8gRxT5-F?<%$*wg^Bsd{g8WU+{) zP~G?SD~^8@O1SHOutq zGc9Old|jnSsOf2mP|1@LkChhRI?!;d$GeqzuIHSoW|ya=%}G5rqo-(6;G)d52)CIc zl8c4XST{?Ca{Y6E8u!;bdd?-uts1N94{(GUB_BCtA0u&Rg|V8WzGzpfPjKVvgj)yf zMG6HPgA=A2yItVu*%4Z;u#9o3+ujBr?2u>~Pmt1Ik^gyoP!99=WJoZTQDri-ns>yloFvk;- z!eTZzsWp*5+%s<+)VZ*FLb}99AIav`2exct^4N4>y_(Qd1wSdtR>89-${OqqCd@kw zCe3_yz^Er;87te>qK;ipgxs|*cP)~cafPdiQ@MUprZdY8hUHreS2TF`zDi`d>BwLq zkYeO)d5iTv&*2#nT%9Zj+XOexd?@y@vDwXIin5KdgGrx9n#keo zBYf}o*XygCgPyi@nPw72>B&rJuWzNvrk_Vne?m-+qg&8eN? z|9NKRuZ2Ih&3e*pyZxiUB zRWjk*y*ZRa<_p`+>wWgP=o|0n@Tv$`W zbkpgK&=C`-HDAj*zCIR=kFTFUCw4yTktsH{u}>!#U1^QjE-*W;Z((76>kS*Zk57L- z{W&|FKk_2~4KqgWo8E>dtJX5yKF(ZMS6lPv`11B8FId-P2pfdj@)SEA32V@;w0ZD& z@#o8*O&@f7+O1YF{8b#u8y+SeuSn#&2;OFCq^J;4fe+os~onC$W@&46G+jO39 zKKSQBmBISn&et2}UTZ5?5bt-dD=q!_?B`7PIPr%DZ^HgB*tK8gc4h8viTe)&EO*zG z{{3lia4lOxcbT}SQ0t10yw%&A*Opmu^WU$n-{bRA&gu}WeB0cT?CkB$dk;5O{Cf52 z$JJ{A`Vd8-&&o-~J@cdD>q1-|=etvBH{`z-`@ip`7X8KP%?7MsFU6q5f^Pg?2 zP5!ifvB-D6_Q$uo%iY!I2j6kdT=Y^PXYu2(McW*GPx7fhdHQ+r;nn7vuNLZDeEX!2 z-$STacbjwl-ouPP{~djL_2PT~b9(dU2VQbI`Jr=h#&f0 zS+0v*t>3X_u4?Rzt;zRV%iEpbe|U2D;?>pdr_=dk?%A1eyxx1aK6azwPHn3Tkl=Ik9^PXoc`=D-+!Hlf9{z{e9H@pnr|DamRUTkd$KX=LtWQ) zAFj{E@~a=u2{)eb9+C3d)rFhS?Q;Ls;vK1?`7C9Yn57--f#J}w|8vK zc)aXMy10D!N$2?;n|CrBzdlg!Q=exRe3xDF!_Bt}o9F*_a!~JAu-f-NW1sA!zTo#Z z|HE{?^YuN`KEOU_&hu_2w|Ai%f(xShrr)f;-)uQ!m zUs*->tDm^*Yxw^XfA}8Oes*N{@l1)9JC7&*YtUR*>(s82a7bNN_{?mfucsL#uBg1v@LI9Jzw&zv z=Q5uS34a}geljmh>6pr6cS68Ka?V7>s-Qm}^=p=VvO95L2~XU~36C#@O9huIzR&Rb z$(80+ogT7bf%AneUyPUS%jTJxv{7^F45LPw#V6EEZ5r2H4htwZmHO5AU)$+pd%@%M zJ$KLU$geLoln^S?Deyn+P#K+7yeD$Mrn1?$1l?<~cg-i3>Rk6R|F%CmbaGLf)}6xe zdd=drk9+D@+bi#yzm>J3iTC#Dte^*p&;3t3Px%_Xmz#g~dGVvQe`gxmvFv3_RpQNR zW~;xoPxs%tSNaQLxm=e__^RMr+x=xTsl?WT}+zBnU7X;p|sjvO>(PW9DUE{fi8b zwST>+8IlrdvVlEVv1pC3b-&4lMBay~TaW9dEO+{}V8U!(uFzE*gcB<^zZW?r*BZyX zeXi6Zu7^1mb~?T@({`~Rv9o)4c1?eOMr5B>x9M$H15uswH1%$-ww1h6E?#cwyAuNc z8r)laA^Sz6h$xTp;gb4a?$b?G=3SB$sJ8mq_Rev!)8bu?wllbJj@AJ0mxKDMJn!45O>E8T3DW9Y~LcCn^E=&j$ zd$~qOC{!#_T4b4fApfEECc|srGwi4B8T{th zsS`zuH(guily<@Ijm{;9Dw8V-y>G3$dMZ~4B!6LhpSmhQ{T_SAz26Dz^{smYC#G&Z zSQM0TY=&QW#gYQ&g_*Oprp)D%e|0?L@?wJwkG@6Qe{N~Wex|SgZ1HmO(0wbuZT>as z_vzQGX4ozME%~)yy{_ra;p7ebm49n?)d!n)CUzYZF+S<`ZrPv5_Ycl4iVEXBoPE%K z_KQ1A&N>@K`-F{V30Nd9;_MXOXrCp2Kk7qk6Lo_}_^=F{J_n2@6@w4NJF z)ari!D0_iz=k21%v*PyyLvjV?KHGftdQHe$v8QjO^ES*j6M0-T#Xq1#_|DU;!gvKP zxqGj+yuA2(w&)hm&(dL6_Z;{>?PyYNx8Yggi1>YXpFFOgy}QzKwcF&MS$kSOE{WLH zbwOHX`r?`}?^V-MQmo~brF&OwNy(crd6RR{uzgB+jIi?g}R_v-cDFXuD#eAC(=*Fn-VuquzBXW!^M(kWXWg1hZX8*9yCiPv_f~73tMwa9>TYPI zoxXaB^L64wYYUmv6IX`_ygRfprgr5VZ}aXXtNrV%Ctb2VQ(C;yGg*G~<(iV{b6xFc zes)dQxxOG>wM}B<1e0BtJ%i@06?(Wwb6?C|(eB?xkv;ign_swRYx|y@b8i2X*D;$k zyM9*mO!>sNWB1Vv`TG%{<$i4|un4<)y#97l+-%QofwcU03k|Dz)}&9|d3DQUo$k!e zvtJd{XESYIy*^(4gvV`twmlI$c#LiPtdH>iw0r-rJo-%Ds@sdsEldpzE&XRS_1Ew7 zMJDkHCprG_`Z1kJie=M}9{b|&UjNOk=B4M|d%WKG!A%anz?jnMfzR&W+%9%^t4Ynw zEXy0r^}C$CPrqH(vHQ)h_u6Y+_x#vcFwI2#olhY zn>V#{zSJ|ldocK2)cv(0#&`bLbFjs@UU)lKH~jsl{MKyoe~gx&jc2SsxU%Y)Ys?X2 z3Eh>CC10+y)tOf`Z^AXrJ==DRy>47~w^A*6>ao<$uH|c(#k~_l4}SE2r1@%IP*TO2 z*h5=iwJrZHe`MD~!{c4`ohy?M9aVqUn#d$5J^A>Q?E9Qa-v!o9>ixRd^mR-7w(Ci@ zA6~J4oT2qDF1Drpf7PkEVkR?-(pmhM#h8nC>RmsaT3&GRThtn9x$;~)PLA@kwl;28 zg4Zp*Z87PNX_0jB(_dWbh6~pv7id{OT=;ftgt^VbD*f)YJM0dpp6PzDj??q_R;8Bg zy(isDLN8dbvh31|Ft^#L$9pkc%4xTmbnw$z6FoMa+PdKD(YwB$*F8&pR+Q-8KJsD7 z?zqT$4XtAe(XQvm*me@(?3cuiZGd3ZvV-Y9mXhW#-;C;SyWu2U}S0t@AVlP zm|0BzXslK5o3G?9u=lg}F9~-ppZcpM-eO)N@oOx0U#t>VT)XCKgE|YRG|P_(_48Lr zaV^`OzQ^(ntLS>Wd#h)?OWJTtGE{T*+~8a8MmBXUMh=z?7@814&- zDxVg1t8JD}^Hc`4jL4z;3{+H&OaUZYz~kqdfQ&#jpHv3{0BO#qutbl^;>?kL`= zMvY4w!_=xyF)Yq`s$A4?biHXPn~!my@q|lN$0nSRJZ5m#brp}s_3RmU?)jz3&zk;i z#lAlq@~^$Ua$EXJVCJ0T>ZNTm&ZY97STb+7Hz+**9pF2`cM+3g-)Vc_H2&Gs&uTv0 z*JA7Y>@#EK#Lo-Eg|wRLYvK(vnhL~hPY8q@w>z@7O{FWEH!&h^&(1d9)4TTvE)0Js zxBvAFhK?Ek9NztRT3~mNtMKrq3tJVW-cH&TB39yIDCD7T z%PP4xx6erC64#k0?d~@?ce?eRj173W;Ig643_TV8`GIW*za+dl^NpXSG__ulQK0Z@ z$BCn=gdJdiLA$!28|5gSFmmW4_YbyiQeD^H~4eS6goGO=_NJ-7d3k=iXg!lqOD7 z5vh%tJ8|{Vo+BGWX8sa=cP(V@!Fkg;o_N*U=JRq$%IvtE)Tuh@*Tv*V%d5I3Pvb3N zooKq`(DF9r*D^~^OlZDQ*T-6PvC6vtl3C($!f}es z=4Up`j~kveo9J_J@g&>ASF29Fj&>^TvvS(}ui-?=)1oP_f5|-EWuP|as>;R1hhF!Y zRUasIm##0Kl98G!cYj)a{L^T577jHZt?9m7&WF-F4~b3M$1-ontQbO)Xoq<#Eatzb`u;ikln%*rv_n zr(!+vP0BRC6LTl*w)l6*s{V(vmQLJ}D#6#O6>)9PT|2+O|No#jej>MQ&Gh8AsSI&! z4^n?A@HU#TJlmW6H}`D9{_eC1noa-zSN&>zcT3sr^M1=S;$J@R{~dO=F4ymD+4gy7 z{v9~(=QvB*nJr{w7|W#}oLQBsU~Fh^$fX~y5N)VntN;=X%Fi!RFg7%^P%uyk z;?nobOUnmwEvE-^W=Am_SQ>*4@Tgb4U0x&o_2+@Y+Nn2+<~+<%_j|Pa^u6l*<7IE& z>^-;Lxk&NPf`Xh=s}|_aHey+tc{8=0H&sSNV|LJ~oW^Z$LKUWnozi&xy+-cS@#m%L zH#dE$wJ)EPx->vz&bQi)0UBaHg;(skawLOagj`yyw9=^6Y3{o+rMca$>!!X{QRC$7 zs&CD+Wt;7EfB)<2S0`iz&)DHu?!83&rPB1fE2m$bB)4R?rq9e3(@WL&dd!U}>x;WK zIeJ~vYW9l@AI0F4CPs7X&nOt5)G?ZUMzQ!LlhFy0XL{Fn zTlb%Ne(=R5)5)PJrZ=6oiE)Q!%0Cj=sc(9YY10G_FW+nJUsMmDxRtcfd-=H~T_wu1 zRi0)Ub@ixCKJhDQ;kIoayC&~jB5z-A7@5J<&3~nOSI3qKYCGRV?#kihTfFUO4Yv4Oc~Ww__qjdsMc4FI)8ln4^Xqp$`4c+nl+{UA zX%+Fj$$yL{#Z2+4D_xLsK5<%xw>pSUn{^UC!tWVynRyDWN*!i;XsL`@}!{96vSaRu(LIvaoQHz0X7& zo7hh$Y)&rrR_WjBB^R$*nY8!G$=*rJw|V`0;W^Jwr9O#wo~6g9=Z96#%js6Wb2<6h ze)66J%Jm<4PI{+%{wwNxvi`YO+&YiAM8&whE}yn*tJLog`_wP3vi`18(Dy5>A-yZp30pO-v|6?7Vx`{(pKupWCa*?^FKyV*aFl`-yLUuYWT6zo%WQ z>A$mCf0jG!n^yB}=abL1lm741|M|%Go|@2+~kfPdfK=udaoPI|vy z|HRGj+l7>ale&!bmrb_Ox%{)l^Qz~hSIH`>lH9?cmFqpH$4Qi#i<5oCEoqLFm4OFOJMsdu+({p<>v+0G}$ zLSXLWKAysT6&g@zz%5_s4{?5bv^29haC6 zCSRXE>2K<~Gw=LW*=tmO?&nuw|HQ!G^xVCEvdo#qHcwbR)q->QrYAy2ZkG41t6TC!B*cFz^R+qK_CNU|JIQ!~?d9onj_#VHdwl0l*2|TBbN-*%sdKK< zWBz`Jpqbh`8$@>%ta>tCSVg>d>L0Ijs%iboKT8)sF)x~AD1O~r@1^$6DS|uJ%zjeD z_JgZF?5&sclLsdIQzh0-x;%YnlwZm-DX}-VwyRz@6uf>~F*9$%<2!Fsb@HYZZ+lph zk(YKbFY#br>cPC^gL&!4-X~mrmvXgE{dsV)_~)YUS0`0J@kxG{`m)IK=d9m)Q|_F< z^f&I@`DcvN-Z>t7zHq+BKLz#T&j!X{P6$qNH$IsxBhX)O?CXDG<$0T(v7bbgzq(h( z8TfB5sekmNqHX6dWB2cyi^NRNn|jWR*R6cGe3JOjiTa8Eq=Nrg1%GOrGx1Dxk(60} zu~r59it_&HdyY3(#{1PiYksdHf6c=#O5>-*yxKdL{b&5HFP!t={apC7;w}Gv&v?S^ z#}I$&=9!wKS8C4+{HyPu|BYAqmoEFG?|WA0oahznl@RS-6#7P`J#XV@4$rF zU2_g;AM0C~A|dJLHeq6lh@|ha3H2LOWF-C7CUm9<&GcC|VP%TcOuw`VGgHK7`c{0s zYB>Fj^5>IGnoJAsDpHTdO++~0_Y5k*dTJR&raATO zGX@maQ_cGJ8RWovax_stf!?_$7c|P^@NqsR7E{O7lN$+CAMMTce_GMlO0kC3#)~#qh-Y_+YhD`L8bjcw76-c#`FEk7w&A=)6+Rtn$26RPWxnpXrS1 z=My!X4oo?Ai^rL(90FJ6ziFNmHaqF}&0nQ2mj7y>*qS03=@ZdA#nPjC<|D`VAC`9+ z{|I*Ns_Uvd<+7x7*^Z|rdsp78k$yehNKmtQf)Tss=84~okN&-Pb-i?gmHjUF_j~_+ zU3jsiZe#E4{Vw_QDm^8;r)YZCv(G%|-*+uPx$V-zKaGp{SDJ>t*SQwW>EU5v60}S+ zbymR7b&A&7|y(XwlJ9WvWhs$0a7OeXGct>D&bf>4&lN+l_zuuC}Da={g z6L;zbgy4y>x)@ShySVOSN#3e?S7yHI+%qxgwbZ4~5;f;eJBMY)b5mET$JQ^pfBML> zo(!w&A^zT9H&ySPzs(KEPudArDsx&AXgmMGT0 zzbG1&vMPLDh{4s>aue3nd2M>;eR5afq_5Vh(s~nfY9cr7>`yrzb@H0A%5AynB_)$8 zKCAuGQdX^>hAjdD4_OiF>+d-OjjA+Toj?bDUgXulMt8<)rTU6Jk!iOI_}*_k5G~j_=`d zia+1_PFnqLTFl=KPoylDtzQ3hdF=OnPkz;V=l$qUdH;RVY%A})w5xfN8aqo{o@~>c zbo;sIy9Xcd?Tq=fyLZxVGw*lL-rYO=ct`nmmFE-hPxpLhA6EaVdfMFWIjiOOID8WL z{))d^mH)nStp|9UIY5KS6e^~eI{}=JeC~Ex%sr7MMKc(&eyf^pwSGfF%>AQokzkA=S z2>SGld(!r}>3japdNP+^^?hBvUgdl4lk9Gv{59-k6n=8-=|ArE?d*h_O#z?Qo1I)P z@wa-)6ZU zB5113r=YDi2ZB7Wtq)N?9kNPR=jAK!T_-07z53U-ByY!(bgh@AbC-NSK51XD>fe-l zQ?I{IKTdn~R70D0!cjfmDXki&Cu%i$qckP=_!*^4U-FTqvvl8)eQ}RYJPeZh)zz}S z&|CSHit29XpZsrqetNJb+jyr#|itU-C&Qp?6Jwne_`+J{xrhS5-RjOBut=C5d z#cf?u_2}Y$|Ie#bry6JbDyy$>yBC_TGs$m>@k*tuOI)%%#DlzdP0Cwh{nGK3hySJS zFKRUz3nudOntW6K>uD?Lz&44^sDnq%*+Y3_hp&v$ln)o1k3CFbk@R$%crk@Xvflfc zpxx067L7hClTV}=wfd-DK2c)ST+o#NgysGT&V3VwYaYiO%G^8gbA|H!u8b$ag1y}* zk}kPSn~-+NDe7dm}IIb$9;~kPt|h z-CgA`DV1)!`&WX5N;>oIUmB8n>B_r*&E{Z!o|81)u}H$H{bb>`89`O^>$drX=dRX# zTmLVjytHuJ%u9~VCE?+hOqV)`y;!Fg(XJ_5w&mTcSyjtQp7fW7i{Cb1n%s9ewoh5z zVCm!VS9+i47-mauo@SUWsjRxb(L4R#fu_`+xUi#KUln{}j|rslB!(qVtJxE=zwhU1 ziM?yCP0_o#VtVQ0a?>>BWRA^p%SsNb>}@)DX2#a~HPbcUUR}P8XM4}gGc!&?2+uP! zj`TnYh0_u{dKynl?C`0NYSz4ab%FV*IcdMNA9EN@>QP$!w0ytqpLf%H4VPYj>RLD7 z`13?JA96TfOzGvcj3!Y6=(|$a9 z`Rk~Rv84Lx9^vF;73pu&estXaa?A8i!@8Ggn?Ky0{bf_{vX?6+?mBwXC_2CGyhTL0 z<@~fcUYpmZJ=`q1w?{bR7^lf&mRUQ~9?qWqmFsWMvw+JbC+0Loe!4FF#mJ8#GGp4F zc`x0#==kbNBR5~HbZQhdpa+&E@C+IDiR-&%D`AN6UPWBczshgWtO|`;&31J;FCN?cTDR0|HiGK;dV^G z?%VB5orl2(=6;#juk!1L+XT*(MVWb3!TZZ6W#+wI89mvz_;=FXSxK|POJ0OoXDY5; zcC$7@KiX^B#F@(~zpku`l-6GN+Nl4G>gSU(n;Oojai7%L)S+W`c6ZF)MzzZ|2Q+tW zJz^qXvOLdp_A}>sp$9orl%}sWJzKB-tLiPN5|%pRJ%j5>x|ZB+g))#X*5;xqLFgcJFg!(^yr(Bq=49Ib zWBEJjW7^C6b)g1tlfMdR8DB|Vw!`M`7X3Y*_4>0tm(BQglDTyHM15nsRJT=UTBfGY z{8q{SYU}2+yKLiMiUo(~DSbY(YwygsW!$F^OcnpkV99gJ`|PgvdDpUMdv@Ra&~02Y z{iL40;p=z%BFdvZr8CW?{qC)uZWx~WZ2g`)ITpU>d7g@*7b{(~twtd!%rJqa7r4tQK^Q1+x zPxjO??o3tNct&N~%p*~??h(h=9CoRhl%zf?iv zQa%y4Cx210_2})i`xUmo?>f`gUvA~~LFtSBe+5mRG%mS!q~6r}>n6q&gG__M>%w0* zIl9=N&lhh0a3;>WhezG!`1MaR@u!Px-ewrJ^{77Pc;0*qF;E2>i87WO%cB7_2p*%l+L?lwxSLXUriROpIs1G@S4L&k3moS-KYJQcj{R9x6fPfz)V2w zHtPXdr;0s#r{8VL%G=tRerLHoFY9!{g0EZUKIm2G1?X|V-n2o_`}wQ+Oh3*`=>3;G z{PeuqyA-4SNx-G4xl^53SYpG9Ajg{MZx@o6Q=WF3*7SERz zshOp}EDAG9S1rD#njTv;P38H+=ewl3efE5^{c9GcalQS5%QS(ugQ*fROJbMAPJqIU zSP1Nisfn$LUHVqx&)uU>-|OYM{Mg)idcJQ_-}X8G3nv%vd3v?w>e@fZNPd>4>XrBD}IO<%)lM_!) zJXuq5PU!iXymPOf>7<{lcgud^a%IoeBkkv(y9PF|Q<;81HQS*6zw0{3`W=d{hyKsa zUIA_-`qbPD|5bX|GhBH7KF{*6^|HNbtNTDDmTjg&^GSgu!Pz{j$|oW&9X^u2=GyJc zv!$G?CdDn`e|R;`x!$OON2S?Ax$p#NCQW5=$G?yHs?m>6vXq5yFrDa=RBjnP`J_nM z^o^!deUi7&UHdYno^5w-&RLbsH)2m+%Q0%d8@BD)q{=tjHki)WN!UJ9_g}>I4IOt? zb9B{w-c*q3#>$>ogEzbwKwthNu5|Dsj)eB;q* zcHZn8SAQR`X61c-WA0(Gd_I$$gm8JD_iQFPN#$bEvrmeZeVv%EdizHG+=J7+zv!$# z{X}s7-OL%aOnW`fyc5~>CE~_8J%*`GH*0S^{l(q%aFb__;bhUjd)YU2{X6eh z=hiB?w&1$fnaot~#0YKECEP1jV?E6e$*wmzAo{L&Df>%>GkL9zs|^Z7m+d%oB~;>R z*S|%FUxaQGRNH+>AWY&AmvLO8kaj&!RjcEAgUO=H_8!_2{^hQS+m=Ij!e?CODvo-{ zvBF@DXl2u%vx2`)xX=D^x0ZD>&+4gbrp8N7mcOfOnLY8z!DQ~V>hPPl>|V8(C#B7N zdp+d!wVciI*VXRMO8$2H=oUV3ru(X``B)nA59zFGKLd)L+@Z({5Mw$D0y&h~cc>Z5OJzAE0$GR-`$ zb2lpM()0Qq?73;z=X95>zWc_?_S)LiwCm}sOR{&~-2bb+dh4M#_2-m#ZN2p7-JjmP zwMM(8t6pEr+FX5wKVNOF;qK*c^@EM-moK?_`Lx-ryYJZRH%Z4Rc+OI_www5-e&dq^ zQztd=pD@SWZt~LGwGUG#*=nnZ7vFq3-Fsb>>dtT4C+}&iZqJ!=$L-w@zoP4*ld7+K zynAdd$D_(`uT@#o^kgNwN_|z-r#t&q>R&2XmhO78)pyeNz6pEE7d|;$b#kBJB>&|v zW*a1*h**@q@}rA?K-HD{b!t@y)~QylS*Kn#BTuEO<<)=XtIfsQ7aw0zt@5aH>3944 z{(P0ftLmOA9<`Rk>(?gmy*T1-zH4jYldT`u1xT~UO8?)!rT6>wTNR0S!<0;0{s-O) z^WG&ikK+jb!PRZ%@uNJy+H{;80>5x5^ zIgifzn{WK{@AtoFPh&&#UuA?(`}wSH|H;)FXFvPOUJs0WXZHQ=Gv|Q3!%8Qc%Ws|i z`(#_d$rcfMx%tJwE46R;|+U zdK6>QWprU>N3;3kxM*85sVSPP8KyMcH~P{4?)Hc6l}RsN>#IkoG;X`Qznr=HckuNi-x-IVx}GxM%h>l)k2Bqi^3keKlB_cZKP0wDE!p{r3(H#w&w1#EUIgkoEj(emTY~&aH4( zWmiFd)x(<+k7GEP#1s;?`!Y2&E5u!}sCctXd9qRc#M)QKnC~$xyRkHIn%HcCnAj&m z{_a|&tfaQb0h$=!!1!smL&Z}=eV?YJ=FSAb6QvhWG#vK5yjzkFf?NAGv zn7Mw|$%yaFtAg1yCY1_rJa;WyewU!qyIJLY*UltM`;{I0ab~i~i>WL=?FItYYC9+I%#D2xrKTKfzk6#4VO3tXY-& zt`Cp-=Bcc#BGN85*~HyD1Ub$!%iBm?<$gJ@{-D;P_w$P8HTdaJI%(qrHkU1zt=!QTa!Dofscm}1j5n)R+zXvPZQ+NhBIgpG{K>Lw^oV*p zcg@2-PPWZI-pU=*aEm?hyD3pfV53M|D{q?gdIhb*1DE@@XP2uyVd*@~(-&~(*J|5x zleyKmu0=ZJREE}%iZQ&HCa)A=oH8A zzdci1u193-QEIh0l=OxrM8wrCEA_%_6`hH!qFoWQdVfeim0ADo+2$2qmmh3vmzcwE z@#yg74!2#KKIvZdDmlk{R?=a?kK>L%zWSW{uDIdq-bYF&1Sf@APndhk=EB;DeVzy2 zW#}9=Wm>*is?ya;@m@mV*Xi@Bzs<^;oW@_@Cu?GQob}?_d#fXkOmUcQ=IJoAw?gg6 zjiU3@w^z>-6uQ4Xg-P*3Y`H^vUF>0oV7I5+6Fg04scLC)oydM*#hn)Dy^(=W*YB<5 z?{kJLq_0aZ`((_s-1OgC#NFWi5SyI+mf<%2-0_JgaDab|nNl20fz%&Q3S`|QyaaW0Ud zJo)nZwGMY#O8L05oK+baWHq?9o{!im=FPH4=FZhWF^7WcA2}2SGEL8Cd9z|F?_Ntm z=Cz#bmMmg;k!)_cQZ@3}L?#pdzdAo!`F;3*Ro|^KFgYP2hZ#3A|41E>W%zF5%Q$n+`wF(l9-h;;D+len^y|yNZ=(4t9y#kx@l}^) z{#x^~=EpnV`?F1>Cf3)-uKAP5`$zF(rq=W92R|FH|5;Rj^^mPjP*?ZFjr;%p_}9N( zaQ?o-Rql?w9p>kLq)X+oE`OP-t@GoGRTtAuqb{XGmrTlYkG)-ZX#1CWeu_t*Zl1Jf zTX0?Ro1p&{({6}n+3!ehe0)=u$353(nwg)eQ0B+o?2%cVHZ4xCU+sAQAg_L{+ozHb z^1_$WUoj^wv8$QA)Z1X)QKzmgyF0GgNL;xeUHL7}=OD9|S>fwv<@Mer)3dxZ4$o+PvPehaXp~r-hpTaOnn>x-yaR%Z z+h6}U?4!peuzB$(xuwj_CfCz9A2`eISAVqU)}}?FZ_}^eeL8u%LPS7D45Lxi#~;(@ zeDis6v^^uNSMH`pk@NhH4{P`Nh*vyVBN}dPpPa${(d?sf#EgT2{~h-II{D~j%^RUjEnz9@366dWmjo8HKUa8*O zVXsg0X z{FPXKw0!@2^~{i^Q|pz)zJ?!}erK|k*Q=+if1B@F|5tKSv%&5^|3Aie{QoQe|In9J zlNYWQp59#;A4A!K89y-lY?Hb3JEwu6=p* zT%%edr*Vx2OUm*8`?^_Ic&xL%?Cc-$ruzGBR*RcLes%F5EB`O@Cuyvkp^?4mt zGvk77XFK+D2Aos7Z#KWr@xGP5+3NSJc|81#g1FU0RF1Kp=5oE2So*tnGGEGkj`T%g zPdH84l|oL2JbhbLwE5SsWxvJeZPrTOH09ps@1m1;uHX)_Pz+qMKtE%~$(o1z_DdDH zUK4it{VQ#b37eO{QsVyXx=ZhSyq6U@8fixI)~lQSxs=0StW^9;IyQ{K;b#`RM zJaLWJQt4}q*NU6hCd}H{&0~J{;*w0m-zRSg?0##yOxXEO;mO^{-WimzZ_n{u`}r!v zA|3sr44L%$tv$v!7Pi0bnRsZachEwXs?EXqiGK8W@844WynOM3>@zPljye6PvY2knc+!;O5{JX_>#$K`HYu+ExQW(Xi|D)QZ_wu)`S#nL+8NF6s z@$b0&`B`-3pL;MO`4P^to8|t;T;h2DFT(82!^Q9B+g=F@kTJ}#FB8+k>m zrl{`6z9L6)%kz~I0xdQ&k4^Z0*i7NxVV|1#XjwCF5_fG*o2^EAh`avXM7uWb#kXe& zTD-CUt8|+4f0S!Y@1AoXk|&F58&`y$VzS#2@qN=u^)Mytt*45@o{Dw^#9q^%a^5+m zD^)9g%KxXoxBmAHS+nZs|BrihpW8n?_wgerN4CE!iD-XU650N)B&z*gNp$Ev?E9SQcRO`Ef31>?U2uRr{i>n-oM= z?=UuX5A)ksG>=vND~I2cmP>gacMhJ6cxpQ}!|zH=zs0vmMx9q18(kx>r6$`POl3b( zd)!IE{8vw9+Hdo2y~mrZ9&P$)GhOyX>avfrCsIFsNssihdRLrnwf6klzpTgV8AUR$ zKfm@)Y~A0B%cV2yUp!p3TRFS_(@VD6qA6m&eM+Z%AN^YRS$5+56{UyLOZH7)b9CaI zoAp}@eBy7civRlUxXoFOF7<*pn@#3CYzuhm?iSFk)O9X3#WSV<(aES?0Tcd~p660d z%8KO*``aXR@T6|@W05^~8E3YRw zm+qak!pT$e!sPE>NxvT-bb0)HbIgqeH$ID6+%P^gsn+$VUH?S>YoF?u{c4=p1q@H4tKp;BE8jCvnEw=J0xTeQf->s06@{u-6E zHdQ{$XP;DlUtccXaGJ-xYW*XPLO&L%>c!L7OY@lh_TBLF^x_Be?#Ih<{$P{d=s9)$ zq?E}lr^FLCo$T+w_g5x|E8};f@DD9tGx?Rz3l~p1;h!WEo_o*c*YB%4>-X3GesPjp z)lBKbWd+gM+jsXi6fJtH*5@40lJ$ApjXj^Ytk2t~G~rV9t!L&&ANf-AKhsPIb zKU3768nHWb=kDlT8vV=Oom#f<=g+tN_5N`OIMdpL93Qw_wHRM6-@0vR*vh7?5RbUFVD_hp_FePa&>*gmAHFXOg9`iHa~Q_I=G-+>+sxvRm#cd zx7-n&vFO&i=VhN?PPyuOeCoe|TR|t=b9YSpcwp|y88N-@>VC=UMJ08M z0^I6W)!&&YbXvmpz0mK>DZAv}H#@95+kCX-jp~zEK1z(8-g0K4o9g(v(ze;k#qV#A z4G!h~^h(*2rO4KIPjs5ql;nhar}!4JJe$wAxopZ2_IdRmRSxkdmztgbq_R@JpS!W= z!8wnr*;y|F12PZ4XO_Kju-n&V;rf&(ZT}a)tCQ@Jd|z3A(s0L7m3d}sSm)1g;h3iJ zdXH&jy3W@GZp*G`imS7OBb|&bd=DoY%$cF@`sy&N&Q5u+fQJ^B)*SNcyjeTttDGmJ z&Q+<~RnZIIU0&4rePQyWt(&_!u9!-$e=yVWUF)UY!ta?^9uAdTvd?Fl&H>pOJ!eJN zvtKSzeI;+U@SDO$v&j1FU3Jm3i|P-Y+n%!Iz`ma4{>o>UU$^;R@M_cJm5Yi`g;Xs# zzU{#LLvwyHZ(d})--)gNJ;?dXrFC1X^No;k{TVGyg%)K&vLEELX@~1+b87})s|LghH;aShSv@dMA z*I$Jmd9$e<*CY-f-C1K3Cu$S&>dB;=MWIia?86qfE#fiNEwb)$cra_*pWe`Y=e3q? zEqJ|b_7r)K<83`wQ#SpTV=GtPZT?9|@D%?Y@w<~4S|>j`!?I4wBH)_EpQc*wMZXJ7 zJ&wm^-Q9OKY}RX+6_-~FiFn%23lqO+S}!>1QKB_V$)an|CNa!9)PAlsU$QB>%j0i& z3um6rwTnv)TEkm1`2yxVQ&LZ#)g5{%Cc>Oy=E+mDI&)T^_uo1->bKL}neU!-o#%d9 zTN7vUZBnDxx&j-o#nop;=gppUzEDQSPlT($qG#&?cf&=iJP%$v@oUDBUlPk=iw##Y z)E%E*KYg>-3$0I&1Lj&s?D!$fVRM%)CpA>E@xRubL{8b3)lB-evaj1W#vj=-(RAC= zeO;6E75X#MVh$;MnQRi%zfEI0eY zet~DHs>IQx6Q{fPy_w8eS+Z^AL$QOQMJpogxAI7LG1lwL{!Q}?sP>oU7mJ(O=({2z zwB$>zb%cRjTb%J1b(wZYwyWiLzDkvd6%<|+Pe^*B-nobWf#~-@$(4)R&z8zhtvs{* zPlbjo&!Ja_uXlPa;%=E({9tRt(duW0D@8waB^w{(GGaKrXUb&552sdbO8+vqMaH4G z@Y%DwW}GHj8~B>)|G(|`y8Qpbm2@6KhA5k*Vox?o>TK^f-}PY2x2?U0_GkAoXq@H? zjr8hcS$gGO_LKkj_dVuX9Hg=5(CsB^w>K?*Aju`O-kGsx`@@xI?)I{s4&#-K=E})! zm$DRIa+u&K=~13rmVUO}ti0?sLOw=&PYvDtFZ-cYBgS(){T{m0jwyO_jr zE&NX%|BsV-JgfBst_YNV%_ulfw|U8NmLCiMMwC@fWnANA-+0OI$eL}AO4qVtmOnC5 zl<4kmHeTV{#xwY&jV{=TKVXvM-|7 z>fN(F-)>BudFh__=kUw<-b=XOhfGqs=_7P{&f0*q-0Fovw=Cagn(k=tVcC){pY=-f zf7lt^CT>iwEX8!5v|Jhr7B=RRlpKS{bJZPfb>2+oiQ}!1H(a+;RMBvhtT@+=~5 zYend>j~iDW`>>?m^!KL>i%A^wSbS1m9=g<3k(0mq+>Hs3Wf&B5qgre%ToztCT=-e= z(T7mWx5hz%9k(> zq|~XD&Am?a*}9S+4DO!=e{n`g+}`BO(ej%`siBK?LPJ{hv{Hs|rwp#;#9M4 zpL$JZ=G6$tKQq4;1bPbX?EW=5_jaQ|p0rC~#QY7RNsKZjD}CH7lN1HGiO(ATSLFpb*cK;wm(;FFK2o9T-_z#V`d-E&BSFo$B)+A zx@i5?GMBYI!TR!bM3>6}HlMq!lMbyByg9MrVcZ70{Y5Lj&2MiS zs%GZ~M?SwAAhA1;dv$Pt^YrkK;Z8567rP#gd|ouQugF#Z=ZCk;q7ObhGs)Zf);^zU z&+=;amstkYzscie_z}X0yk_E!I=5_H?dGw^LrYhI_>qU+>tj5>iRgeDxca?91{BSlhM6dPAl| z9oKA^c$V0R!|P&$r*59d&CW6XBv*HUx#+FxdA*vZ68CtwFJJYt^1+#{nqA*{E~hV# zo9u9>>FX>B*9oSJdct0vJ#o6eBggt+v<`FJ9Cc>L6>1ilbBlcz`W&2_{_td$L!`Ow zO*YSCB6IaZ6>jCfvi<+EUU_YohGlFe$3ySw#xmiToDwhbtSCIwsJd(KTdoTap50zk zEFpXLy1DkT=i8(*cptu5{o$K#Gt-=Uv6{roC2|kVbdO!hdZ)B|Z|(#6PL-yx9u>Rk z=LGJZ{v_E~_v@F@%!ku5-uU~>O`dkw;9u6ptVst#N>iFk9cJu4^D&%rjjTfbFNf)? zK1MFztbXG6%eiyzNjbdua>?fK1@q-P+c(?nu34<`%Y9F#(U}0n-)ot7$7=W#rhkY$ ze%3zXi~#dWfxSV2pAH{ge4~3qOxpjG96ufhUFeSYWD0k8%x1Gbl)B=l`Q(MN^^Py2 zJL(raTOYlx{5A{UlFL`GeSSY#yl_v&iEAru*R$I3FH7KAd_i;LmF|~%^A;_UKmD=u z>r;RG+WKpMb3~uEzkD}Do^b!6yT|vx;?ak+LMI>mDKfpJG0|eW zU=zFM^s9}D0`+!W0zCFCs*FMo8%jKMUMyIn-X@TIJz_1x^ZU=W-)*pL5?-A8-G{kp z+pgIuwXytRS4C!LKbpW4?%NnLXTbs8W)Gn$tM5OYu)5z<5WwU^mdc_#4)~84Ht+P+o z=_f~tG4gvk29;`5D7zA)*VdDF3#-e-d{4%uDT zaA-Wodni+NrybAZn3D@kwp`oV6~5uh)+|+tQ1=AW83FN2SuelgSfFwGZ>{mW`p}mm z&wi~gY7ROx={0k+Cg&1nW910~TPO1f2^9u8m~G$WW_Rt*8L6D+g58tz)}A?g@>N^( zZ>|kNr>=xIcm|!UI?UTGY+2+`a4CkLw@Lj*r+;&6vhMcJY#Rj*pQ~BJ-(dM8_It;o zbGknx#1-E$@y+g-+`z1T?g86!mh?iYvZ;oZtWV*ZTMG z|J4@%`1SAM@5hH{xBOMyYy0Qthv|pS^H;>*k=bW^&#ui}AUEf(q^X&NcUbqyqfuUG zLJZ%n{!srW(qa!+yZzn$`}o_RKji;k_5bkk_T)Xa-!DJ@{d>2^pW`2niktuV{`=vK zBkz{aQsSvybW*7M$=(YEy*FN{NiAp=jg#i(F)#`-d2m2Q>G!vfk_9Q%4+R1eqr*fO zFiD-;7<)IbO>**8jn?I>g1XbJJKJWt9Q(I$L)@poC%le)E3MBpIVE+Ml4t3 zn~Q({`zUdFy8MCHKMEL4Ihh!f&M#8S-QX9gI&;t7Su++tH8xpfXnvQQH>Jfvwq=8| zwMAEE>XcKrvrk#1rO0&GXH053yK6&$nKK4#jh?N4AOaNo>1AhA^ha)+4+Yb zzW@J2@5iSTc@rgE{g1x4`}gDV?f>=>zaPAcYkl);@QHN@t>}Xp1NUJ~n#6yNBFPUDhxB19azvS@g z_TRU|-8l?o;_T`L`PTQ_+qZ3>|LV!p-SU0r?fDIVD!%_XSp53jG1vbO|2;nZ_T%B; zeRtpgef#6@@ACNj|7CVp#Q4y(+~KdzGq{ zPVETJ5U5cqkyLKJ;P}LGisO}ypEe~(ABk9AuXl%i{Vsv#OxZoJ9)z;5x2m{$a5bM; z>4psM?u`l3I=70_H)J%sO6%N8xX9LR7O~}^QvXY{ikk_E&8@o0Y~0d1IU6<{JjBLb zo%FFxx?Wd?JIkQMzKXS9NcEf1X2EysZ=ZhEw$tli8Dsxh)m3vAYVyj(d~;gdb8CgK z$%?7huGPDVJ2aR09Z{27@;~fWT!x1G4$;sV+;{daG7H?4-E1jYm}$C;oA;uKbIr5T zn~t|*OqN!qhN#VYHuYj&2A9)@xeHgyw0@4u_+YMlLodU~Wa%bxsTAS1*hq@HOMF!cL z9Cec>fpwjMudi!#HuwojuG{x}u2Qo?M%Jv~y$Ts>k;^r2#hF>Uo-5uj=;C{7m$;PX z#ogbyrM5-{-Q(shkMuEdnEoj*gJagBNF$EmoFwaoiOy_+=PsyJ{K!kFpJhH{nc(Kk zHQJYFb1%^J_U#7OA6QZ`k#OCh6I`P2BsixYT6% z+8fo|(`U+8AIyCHiSu5Z$%(F~F@Yy;&OGIp!4bLf%FFv()^*o#s+{Qf+j6RjMRH@> zEpA?;q;;2f{%yDS-o5Z({GyrjgUu}Jf9K5-$~jybWw7$tv=n_4ke3yd&F=XIpXfNh zO-h6J-BIgC$+?#p*?xYgv-W*E=>_|`KRnCKeO~8pn0fEdnN&0T-=BW%w_dvWXXU*Q zf3}``s($uD@9i17H}!AL(7k&9?y)n=*Ug%5Xd`IDA$i0|jeil(BEChukFMPLEZpkv zB2~}AFJ=?*Az|V)_vY}ZV?4`jW-K%8W-ph!Q&}+mV92pknQL^CpPGbC+qgg{d73-- zWycc)f0nLYEn)8Y$L&NUyqC#qYjudUbg>H`1gV0)pL zy3vnTH%k^C+`VYo<*vQyv#*z4ZrwJW_f`2uW9@G#)v?^qnKBX%ZhYAjv{e0es=i5` z-rYTp4=$d(SoyF%aD8u@gr6J7ccG6evwQw1Z4H&v+qO4nkLRSn;?~Y58?*nvNs6`G zs5;Bl>`tp;YqLP!>sh~NZ4>8n3@%!xb>u_TtGEmyGl~Cq4%Hi!gn#FkT@fpNHel+Z zq)R-!_nh@ouj3T@qU8#OuW zGxbe69{Q%&J=RT${l5FO>IDNuqc8rVixGukU4~H$xyxqO*Kt`|HtgHgVpEf4{S(REN zr*B-&Cd_PPVKRN;Zbp&mIo*j*r(Y~$6xp8IlQ^B7(RliObtW|dLjwaNE`6WWy!4U` z1tVi4$Wp4K5x4WCErn{ohkq!1rl@;QzdM0Jz0aIE#lUUO(YQ%A8b!ASlf2_%jb`qj z9~?3(cb9%vr3k0TEmgBfo6=Pgp*b(7rp@tO&m$Z)DdFRVALn&1U%Jqde5^{yrdY|3 z?~L@UHJ03sYS{-{Zs<()@p$gP z38y3u<%k5ESx6nWG2&02weo@GH-olJMNe*#jLeg9I+tg;>-1$VejIgn%h$rS>9@Qm z$y{S|53@SmBhYe+C9OVX$@#`eQIl^4^CUMvbZE?VU$J3gq0y~_iW7g{OVrKP+$%nz zW{S$@IhUhO3vaNFNdo`-nW0@_4P~oyrm$?b3KADl@#i_X@S2-nbL$dL z+Y=l0j%+-zX1a@E`?Lnl2`a@ghn_cTw{YxKZ;(-E;GLA}C%Bu@Ypz;cJrn;KNyjLM zPUFJX1~GOa#mr|m{gV;}GS(JMh&dn^@l5rjkU&h_p~?v?pKl#EY`q~8c!}qtuqyY- zNd{c;h1`W_3c6t?nyOr52gt06?M@0CtM}dvOv?1*-3TA4l#9w z2*>`+`NBMyZL3)I6ioI}6r` zdaOF`v{+#4id?s<6x&xGA&OJ)$)1(0?mu=Sxqo}km-+wy^P0f4RRZ^~Lm+_ZI$IuqCH%!OH+?-T=E@5ogq= ztG-EI+`YND-mEITE_!3XWvck&*`HFr2uYl}ndO-qc4x|r$aB}bJ$K$IDJ*=m{Zp1z zo#FpuN;B1FI4zp(*c?%D%0~P#>y!(BGOCWXnVCx85);zez9I1TrwKFFZ>OeS);m2v z<+|FrX*cZ4ma=Gn+jO7xcdWr4sluxrE8J>SLr(Yp(c6(Vb+uZ(bZBo#anHJztl;po zhMC{9f~Tv6&)&5~%XeMEjxAZnKOfhv7OR@$bZggshxZW{x8t^kJ@()Jl~K6n{qeh; zQ_ciT4`^r7e>!nPLEs1W-s#Sj+x=uDdQ9}5t>og(3vHdYH$m>HqvAI|-gU99N7pin z^IhR`{65J^=8k_TOY~~4r}eM8T3^ddYL#wqd-XS%Ss?COZ{OBU1+u)K`q>vN3HtRK^=q!wmPNv5EWNjPFW#cgzHst^larhbdLOO5+qg00 zOon%z*O83$u7oy|`C0$tCvQ>Izj}7L+spcEeIcV*-sD)Xi>BoVDNwZa0 zbLM7lG1B04=9+S^{yXP<0Z~&4PWzJuG6q~rtskTM)e{ozlJ%{{ArUN8LdQLU)2m)W1{{M*ex=d*X! zniqzCm+GxNi>q{Ad{no!D>(b|y`-&ImCuX9+0*okTrV$4{`OgKf#2kHQD;jhsd-8* zzpI_H|Jd0}r;L1e_;%-A>W;h=W_RVIewEJTf3uIZY+jOm^N?dr;dC+Gvh9C@gZ7^C z?6qDyi%WgJ;P$7B1bkZ;wa;}eIv-l}J7vb_X%^`p&)wLWUVrh%U!#}(QSYVqoSQs< z^~CL&=Zri{7r4gG|9#-3UBM>Cb!krp#b19(;(lQ9yEysL?wX27_JHli(Hqh`;-4gb zR6UyY_FCzu?^h2`ef;g=_Me@S&zEb={`KC*vgYNt#vE>en{o=vIj`HyUHGe`JY_-X zyzaL4b#GF3C|jLk(Rx)stv+te=YqZ|HD`-mCLc1_WwiC~PCGeU(sFy|4z>DO$M43v zM_f%?ZMQiz`Mmqp2Z7JlTy_uNw%Yt!t@LX)%gaw*To##kwI%)S=6oUE)#|RNF9aK% ztNn5y_3rbXtz}pFHu-!knYpGv|NqD4 zcq(^s-KV%mW|13IP2$z{ZHxZYdN-F{e{|sJv`JTr8cGkh6y_ZgJ0o71y7xTy4VCW? zie4wK-m~;}lK1xGVe+qbsr|E`yDF3Kr{4Ll)eG-c%{-Jar+j7VyqHtEoUz+km*w%F zF$;bjv*Fckm#?{tzCFA2ZQhzNla`z2FYhkjQ@>Pl%5vY!0iOeYYgg4|Tc%!Kmyr<{ ztoQlwcF${f-^|{YVfOZ7&Arky|0}L+wvB1oU-n{RM)CV|)A!#px|tp+wrBs=FVfq4 zg+s+Zz22i6VK2M*)!`MlW`9Zze=(JJ_NhHuSJd==*L=~M`o(JBwYkr}=IlC=f9^tugFd2%J@dFC&@@*m5pzDX|o#S{ECzIk0SN3HzvSwG^RcfQlQ>#SOLKKb#>&V|dB zOMSCr{XJ(qnOU^+_t*C}=Bpkb4*2~0MEt~QJO`!=iZF^W8JbN$sGcmky?<_ElIL_@ z-~(d`%WlM3ag*B?w0nO-$J zjemP;Uy_vZbSLg)k?oTYCaw3Jen350WP2EQa+VCE>Gp%_$sP^UA3b3c+Ah5!Su>f@ za(dvG43X`T+$p_LjD{eN==MLUDRS=9lk^#dw(G1-sj!|NWXLEqy(>IbVEeHbDcj?x ze|(lGx_y#I>NCE{O_zkWcZH{xD?l`hY!|CY{l>*;3^GY%yJB-{s_b+jYeu2z3F=ua z+vhAubrhH$B)}xJ{r!ei-I*}!4ZYG#1E)KQFbQq1n4RY9z-SB!h}*Z*;_D|LdL*>n zCpvvr1;}EN?Y}OkFG`)RB*P@MeVt{-w!rC&c-V!umvv{{%3w6!9{43AScuUSq+ewF zPPR<`Ziucs6El^Ir(asZCbV6UHH$@bGSg?MqqL>6lzCw;PFBz2s43vDlS&Z-ulJ~J-s%=R78Sr3?|yC!9cZC@9cHG_Hjr_?Nw z?NLctGngkQ%@E$snwB+(dAfgYmdN(4nOU=#r~fL*I<;LgFY6u?i;<<73AoiPXlP(+ z0&g{&TUeS+FXUv?oX%F7Wmd1|7px<;ee;JkA>QiwtCn3l`TJDHKS`~(HsL`_lb3j9 zXypf7oXUU4{DxN5JK-A9myKE*gQ6A(uL|*~^Iq-|+xs*xF!Yw%Jlmo~=IcJGbDYnH zZhLr6v+a~s>W*nz*CTE@dig$mVZUzWsqDj_FNVZLduOWz|CIP}Ev#|bvstU1>U$)- zZ)c0>&rA~aeK0e4RZ>a1legPaY5eM3*~K4BWWvTfP3RSUB`^14?|TNP-TS2{K5 zl;*msRc#H|93E&lhc(4lpP#(4Z8c|TsOI9*!=b&ao@?nQHo0r-K9qW#X&U8jnO+g+ z`gzxZkbqgM;>=@~z6}Z$HaT^H=bq4U7hfp6AQoAAAl_iZtrzvo$) zoZFS#i^6WD1TcP%T4yv@WML$$xAF@8@(q2_x^Hz{dL?I^xo9B5($&TLb*a`y$1M{t z9{+soK+I8#u$6(G3C3GoE~yo0^LqOkp6l2xV#qi7(4~Kz(KgJE3#GL~7iB+Q`%vrP zEtR7lTkH2^I*EqLHlJPN5h~?&wkxdI#7Fu~Ph=E(KcC4NfdwI7&n)5-N!l|b<)YW& zHN1OdpA|_32}aL`JT|@ z%ky@uKfI@>$|~%E>^ij#wx3H5q;xJ8l5?L;C-v4%KJbYACygYWj`sPj71Fv(-E{mzrwC>qe%BDL#^|ZF0->$yP>#l2xKac6z zAI-Qwj&=I=@~qPOONqZKU%%Jk`S<;2e=W!1B{vQq_Bhs;d&Su-?~b$3vnBB{Ui`IB zJ(NGFTm8TAY*Np}ed>azcyBG0%h;0pJHYly&@Y~QQGYKy-?iuOte|HTgTgeuz27d& z<>Y;vBgO+1Y zZ!VSha-B7Oxz;QjHT{bdUY`@JT5_Jj(`4h)$fR`>KZtHB&F2of#1>U@JTJP|zcT;i zna#b6qtrsbyD?0#^0J#5cezW?=<|^kE9!m3d=|(Zidi6b`@_1$kL=DA1}T4T7o1h? za;tfY(WaVgneWppY1C3zuO6fyt}flrd95K-G@|p3ro7VDs^yg_20o%+jGaV% z_u3qGRO3rjTb87DM(gosu33>T1vA1Y%+ok&z#jZfH!e~2V2eatO!40nLf+HPi2eKG zFL^sQx|2Ka>I}_bFOBE~zR#IgFP@h8V(>QO{mf6-jQ8nmXskP;+NPkmapBD8JoSa0 z=a(AKur=kG?Hl4X|IXwd{cPFw7Yp(~rKWkk|EXXu{pawRJ<8h-o60AqE5CoD?KRW= zRN4Pot_rU%xksJ&&MY3euG;S9M$gDU7k)n4?6|J+%O)>l`^uS}t%BSqo*bP2V&d~7 zH)8s0oNNo%oc{b=G;osml`pd$Jo{vgdli~G+%8^qy|ci-Q*AbnuypE8rP@>9gfuU$ zYffc)JmaL8x5~4bvdo#hH@aO!vgdt^Re1J%r;f4u#)WAgn{Bm=0y3-~`5m2c^`znS zo~kVK`ni7!)U+4&sfzD#TrwjqYd=u6t2*tF%6#iUOPsRBD2?(V+er2I$0w#Yl_*p$w>sV9nL z7oB(LN?EhOHre&o+U)lqt_1PTJ;iwG6yraJO;9VHqLUNEaGOPeW16%V z`(?}N6Ssb-k&H3^v4U;FQ+Y*AiT;>ri)~mQ)<{afIIuG))8qOd=Oqq$oDcteOln@E zlYB%fd&xQC?NcSB2>g3^qQ~Rt8?-ezmaFA^7h3iJlMJ_AYI2 zzj{z~UbT!%MEDJh=2G{<8>g6cW7Hm*xqi@8%7|jB?ONI;;Inbz8=>d}fgY`w zp6{5b7Uvt_?aTc0cFOr#4W0(458S%A>FwLZMITw_-IR-d@VI{BA|2M|^QRp*eV58q zJ*Crg;^(HLb(#uoiyV%9U(T}U>@vNF)pPp;-y}Ynax1)<0l?)I9^!9@+Ee1 ze`${gXF}xCn#=DPQZsJtm>QsSJ?4IL!$KK5(Z?(EH`bVSUlWqPv`#QYOzPt`Hi;<{ zc@J&5`1p?SoC!Xk`pz!nXg+yx`Ll{R=K7UqrcaTawP~N<%+TVQ6Cy1ecsDD>9$7Sj z&!L2W_m-|Deox-U)K+$_I#FA{#z*|5mSw+^?oq8vleTQ&dS2DFXX+H0cYgI3|Aae+ zcJR)48E3LI54@s^=0YQ@mbG ziox6?qW9QR7U_msU;gV|2TCq{kW1uSzroMJq~|%$#52|Ji#2>44Gd4Inl*9k_2X#Y z!6qc-rQh*8hbdJZo%1L(T&Z(s{s}MEnMc(WE+4r4bWK-#R$}>$ zib5epDOusG8OOS|RObqwW1qJ`XNmvK_+K~bB_^t#`l%3>b@cX&9P`;z`o0~ysW@9E zX!V=Ln>|yCuFR`of3}J3aMz76g9RcBE($z9vw_1{;?1>>ACs>4CCB=T<(=`Dx)fb* z++q1-@;vStJoP#ss{S)?{QL936lRq-(~G&JVjOQgVc|+@RaBb3LNM*&lhPKx&5w8| zPusNSe33yt!@_{92?3tWE{B;OHsmEN=G>X1$l#uN^F!~7!#>Bg80+R13Gkg&5LbFC zkbiAMK40<`#Ul2;04jm-w+pZV58RNf-eU3 z4}vp=FNIs|-Q&%>xQ#i;f?ZQ7==Fop$del?4R5LZe`~FNzux>t{i2zIChE!)pEo5; zF>71Q8+y3?sAt2+<%ZXO=cpN$E|Q2~nR{fBPJ!ur(X*DT>MzB|KT)@8z9K&-b(*;2 zLAPny{Ax{q*gl<7-gj!p7PczUE8RjaE-f~!oTojf2^u(Re%k#Y=v=U|nQF!Q-8(AG zv`br34()V_SX~mZ&GC|8U37ZowhuK)C6Sw~LNwQrYn zu5_sUI3;A}FR=XDD!pIx?=QM5apZFfn?xAjA+?j5uJdEWHhb0@%$CR~nz%^tXME1l z?iX9%iq10=RLj4eGV}EG(ltvC)D-?Ud;WRW9W8Uetrxfzo>;GNQeDrs_qMh}{e)RR z)wI@e|1j$n+|@Gc$;BmK1f2BZnO8^Jv3ZC7x`@B@_uoe5XBitvyxbR&OTd2CQjBmNZvu~pHPZb`h6dqVqax2C3 z$iZc1>f*OO1RvEgF7p?tZBOX^vZd(SQ@@Vf*qJH|l?%C^Ow&E~+;rDz{z}%D?LnFw z&v&W4ckNtSvpPwj^pu>APJ!z5^4oKC)U71GDs&g#tP8%Y|EWWfdH1<3$4u`}nIRMGU{y{e9<- zu~dD0zx=cQx9$9V?>3~p<>b8h_g2Tmu+CGTRIVw=-M?xwXU0F<@6*iMZ*bYWPd#3? z_sLvGwtEVGx?lgz%?W!Il(cvL_PQU5tL=V0u8O%@9X|c?@yE9>&p!F}%d0f*^ZNDf z;$NPfJzjo({{H{}UOs(!_37KIKQpX;eLrGnAyL22TE6i3=Znv8pE}hsckb%@tM{8< zWfq;VFnP=WJ)!yc=k@6?pA&Ltm3;5I`913M_xo7h*%B#5uMYoOQ5U^`b^q({Usu?z^nZPM_2<>6f31w)=Me@(b8uu6V=OIV5jY^IG}(JFDue{{Or9S^U2J zt^1YhXKnQ`liAqe!arxdT*fx*De231yjA_m% z8HXAkmUqs1{Bp&wbIFelc}{;+K1)qC-3&RuB%$Vo=nPJdJXv8Ye)~1;{|`1SP1m;kx7VVZCCafufQ{wB@jiymvyH0hr)N!KX?Zkz_Uii$ z9g+ufxNk%yJvzBNJfCl0{l@x&Qo~&#XPf7){=8ZBxz?uoCZ9JuKTTKBOy;sy`_(9W zxPPzg3~k;?h!!VMlA*cW-W z`LQ(HrmYoqGY!kF^5)E$Khx9q&nEJDH>UqCYg^-%%XIVd-0R2tg4o^y-*T z>~qUoN#34!ctR5|uVLCS;mAq-)&QNFZSnq*Us4tx{VAV-cBw2eM}>2r450b&HmuYPaY#L>zJ-j8r z#bn6^*FPoI?pgi&@4n6{s;;%0C8(UHELl}k^CKzUJ~`mPZvI-g?Pbe*op)beE-9OQ z%_gUQUu4&zyXO+01RQJsrM#v7+V3ajHTxv{JJv_c?$`4>=eBm%$%CExlh38Z9LbgL zyz_Uly1ZQ;f5FrD+#I^!)c>0-@`>nLQO|VarMS~60gv4iztnE~`|9n*35t)Tj&nLP zU#(F#U|+btvT!rIcA$>Epy7X&-;ZJrFfzw*8?ngdbkv_+kfQwY_n(s&-<^KU=yl0f zBl1=0|I8^bc8I9fSVTOE+q%Y%`Hh>>*N+d6Z?8Vj{dRZM`59`jB~Rbqzv|0@M?T(P z&v4y7v_8o6_TtOCUs_o6_8))lawpaBg1K>EfSBwPw-YRT%?)?WjHz4ap0sBNx&G?cpVyaMjJ#RqD7g3BFP#pzY1=yIWnVuB8PYCfkn;r@i&t8vYee&$i02ywVH4L zo<0uWy|;PStbipGjTg%B#r?@j^Et~^HTBiwmxr$0JoVt&QJ#}w0l9k>p4&DqH9BMI zKdtx6?{@z4-|XLr|Eisuo;y(>>1*Di|5}oP5k`4?o3~gjx4iH)yM<-9#+AP!QNJBT zU800~H=T1@JozTeDVbNh z7aO+U*(p3h(7OLx@0KU$+V9>ie_wrYi_qGA&f4|e{|_ic1UF9kQIcKwZ&^yPNl~bShJLEg-o@RU+ za(Hj#yqVG3-!*UToX~jR}^-W_^%ZXK=mwDbIt z%ZoRk)cm?jviQ!!Z||Oz*$8uelGZ#my?wo$?QaX07q)!j?ah-OtN1+Geg9?jgUjpd z4?Ne&TDR`_bfJ}!Omb#H?C#e6+xp{q82w)}?E9d1U_M*TPV?A?y)(qq7QA2YxTmtF zbn|oR(PBr)_!mXJ-Ag`^K6MM$KO&<*X<0q_>JUJz-PW znliibO#YG!^Y`AV`}XGdcJ|};vA+9#{NimYeA+GxRhYcnrg_fwg!$X4Jg?ffx3*ok z`VyoY9P_#$ui)a^aQ-z+Tr>AuFo}qr_<8sA<<*-{K25)M`pISWM=wub{+RoV{oVOv1I6bJ{O_yAC~yf8ri;E$#bLX`#j6wYBnhz4#{OG9_|`m&P6aNsP?= zIlMuo;&Bxtr3Kxo&?YzW7hW>+Iu`H@}=7{WEypi#tuq^`3&h?&10RoW1E6E_>f;5B(im zR$G|2AB0}kU9I}vd-mDy*rJsMWxJQnyt}Tj`R%H_-9LV>&CU(a-FMgi>h!12%5tx# zas8QkV{6%3^ZQ?I#cw^^W_$d!n(p&n)9txt_rG=R7Tg@Yt@zEFnvJP%eRe)I{keGe zm%sJZj6Nr)8zyCmPX9GIOLRMbVb)~k=?kZ4xoo$dl9kCk-EVf5=yd)mSvu1vzGP9B({}6mSy{}}1D1hw7G`bTp1&9* z^=BorrtN!{WjQcUU%oa=WV^tstm(|t!#8FLZ{M{xYcBKjaL`udtc_W387E)dAhJDs zbJjGb=__|+iB3=7owZ^6v29t88K(#B&Jx|eZ%5V?rs==-W(jXk-JLa=X?nuJEV1o; z`?5lqr=L8M6}Wx#!7MT6=>{jVgty;00unuZI!k!F^NFkm=IIyCWeIP;b~@`9)AY}m zvK+Syp3i#3JYDR1mgshl%UOIZ)6H*Zo!|cSdR7qg^oaXej?;HN&g$RJekUuCd3xpJ zEXVCL?`Pd-o<8$=mdN&=#~=+-ud{@=uYI1C%RF7sv^LE*xHR)pf=y3@zqEVvRyGy`?gLX> zMbBu>aJ4_|kv7X?H@h-dV{*e4rvwL%Po6VU#eS-sHaR{aT3~6bgWZN8@17~5HkY}Y zvsh1VVLNYdT2au1?JQG$L9Pg^>;u1C-cODmJcTP9mL7c5AlNL(A|%6d^04MB*4sSC zXG9eA2@3txNSS!0qyNPjjlLR}6u00l%@@u{I2jl^v@;$*#8DD)f?Zp$>Y!nokqZM{fJj&%;;9|Ub#?59ykBd@!xzAj43P@n#toK>L%`wBJ zGeJU?t<%+{oF{;FLIYR(ghvWTK02KWUO9o$yJb;YUnTo14(8Yh#{ed=l``2UEaEO4 z<8kH)DBB<+Jgex!G0AI8Pa}$*th6#7cUkRR(3{eW{fv8sSEub`W}hkDsih^e^%d&B@!fm!kNrpD`vV{89cKw-Axkwu*|F3KGVkj=3^^6O)V zzg_*_+K=xn6t+2cgmN2t3tZ+f6!{m{arUubeEj@5vGdnnZnCM3eLA`5O6!d+0<+`f zogd%i+E{Dz==A5)pUv0HZCWJ0A#3Tz348U-O0*A5vyuDo`Ss(+_I9=^uJ#GnSbReB z?@oOC>fEK{%yxEG_O|iN`(`}Z%q6tge)`pduda1%W%V1E&cFFMQ9icT&Zc(e0l8HU zOU<4X^UQwnHsSN}!~ZHOO1}PMNr->4S@p-ypEXABnzH2>r%!tOpzHWy+uuJPeNwIZ zsk1(>|NpwKo15mGXZzed``{ikwRMNfqNFc2*0jHU^6J&2v!9Lo_vjsRys_x2{fc+` z$IIew>-DdewW<60>R0{e#HMK8gL&l>RRTM@?&O{=+faU!oBw|89-q6mTUxmdd8~Ea zH_5({H9K-SeERYH^+GqCV_mlF>hSWD3pu*sXxWDH8=~>^W8?SNze|j-nO`^4e_Hd+ zwb3_yh3o+*Z+1Xp| zshYeP{XKc}=x1ZEC=JQDNm3fVHEO1wUKjX$ ztl!kRtLO9k`^~HQQ}Ffoo?W```SbQ^EK8lv9X-2agP?`xW2@|Wc8w`kAKq>F8@vD4 zOr}^%DNf(z7Ke^QZ$jv*AGs_dw?9FGdeAmpg(_vflnfiCl4SwqstnA)r zY?OV}7yI7kf0)j9zP@ML2iWZ_&x^D6+?l;qxFD);`px<|Th^QlD+vGVeyu(xGW`zc z|6=o(dP^4^-C_T=ZvM|X2bxR%PJemVG~i+DNhy=3U-#8F^sk(!w8A{d;G=Svi-7W8 zSts_;(m4qM^Iv~B+96&m_I>CcZxti_McJ~rWTdRORK?;v{JZlSY~!NbXYoXhbWTKE*kmSi>;2Jkk8bFHRkP8tix>I+_4}0y z;V(i{Y9}oC!p6DJbf50Ob+7!l#xjMfO!&_6MW{-_)otY!jqgh>+Ej8%VmcJ6{=Ym@ z?_U`_wP($A-`B3IyiVzDFfuZqQ@^cBb;FUWo0)r`Omw)VY~b;t%|%Y7#W;KZ{~aF8 zPQm4DNAAsiSRFCny0y>bG~2fYS}uL%iTwVH{FrVlG^*TaeI?={&r)QqGvReeg8HEk zo8Ggml52EidO1ZwnX|^iPRDm<+Aj7Zc6JX_uN`;aV&Xpa=TO)KNyx3GG{iVG_;6Zls(Jv;Yi zN#MbNo5}~9mu?Go3Ne_%8%JQynwb}JEh_W`&$Z6E?m`*;EmCVXZVEo++$xc57O_64QEj80!)x}=Ono!=@0rm*FD~Tg zqFd)*Ilt4dU%xu(SI@ijEAjp|jc*Q{-k3kpwo_@PU$;Y&Ly}tL3E7kJ|M~7sxx6V$ zBhL8WO_%3t5=os~3sg>YC`?FDYI1SP>A!V6oLer?r0M!DPVEdHpSu%!qGhtT^gRmg z%lo{0Rm30eyAkagi##2;ukTb_&2pwdadf4cqZq8*Xv!n*?>ehM&=d|&Uj zvp6?9$@1j#bL?x5vkQKCwuv!&`uE`W87jYyxfYfiYkoS)^XdPy(>4FZw;840@;Uu` zW4Ceo+MP>JGvuWvKfA3Y|6FhK|J|q3Lw|~D9se8iKJdfK0_)4M!Z z_GOpd>emrH-8c8dEUJ8bbyHE+<&wNjYhQreeYl-rgy zL)tz^bo0}!movT^e3s4WdwL>N%b@&W#JYVU=a$TNHJp3@x~=C+x$~vJlO`XrJMZ`T zVy>mOoY8Y_xlJ+6^QKBXs{Nk7R`|+g&!Bm0g&yuXxi99fX!q};$e#SL%`e=uHGSt= z&aKzHzB46Qr2g|qiP%%p58jC_uC3Yl%=X>wLk}WC=HD0l9OWC;;;?sT`>{8M8|HaF zOS{~+S!bE5+4c50xkh)^?W?OTaJyA!_~7WF)EO@g?;Hu zxwA8ZCzVz^E!eo}xbP*}tX<8^?`+%`t&z6lzdt|oGNl*aPEA``{&V}Gt=#`>)jo@y zxtTPP@Q$hugy)Mw(m8;6r7ZEo38_HgSx(`bH^x8IBoq}H!j zXO$juzMH*GuHvh!O_^x9zxcyX@ssc5ISNm@tz6+$bT>w2Qw;y~y9ZtGW^c=@xU==A ziozY!?*+XpJl8F~Z87PNX_55qQ(r~>lG=Cm9bEaQ#khUf^_;sOT3+wfx%TK6&-9J) zEakoy>qHe}Ui*qITG@0=Q{h6$!CenKOEWp*rT()omSlK4{i6h<$aE`?Y~Jk!OxfOy z66Rd`Zka{JB??Anh#sDyq2ct2GUD3xzWK`LJbQnKzqlc?Vy%9Wih@Cu$@B%c?CBsN8^oLImi&;j6moyuv)xNOeNQ->lH`OsCdm~w z*C$@o+|t7$xfBSVHg+&f-8yma z+)ecf6W1)zDRY^)<%Zs*)~K5q9?DWrO|qS5*YOl4aBYE7%sGy7lhaWfkE(B*f$! zu-yBEfJhBzWRueJ{gG?#<;rhw@A@rKwmD+`@lOYqeyv~NUHL%rl@|wx(Ylri3elR& zf)0iThG_lBtUOZ7GkcZn0De@4}Tv;dvaZ zP9?Ic9C?cJqb*OgMi&qHrGHjb51&oy=KA`{d2q-+rzS))LrJl#?je zSb6<=Xvn2itc$Ju{N$#ZnW@ZM>UG_}KrT3z`Evnl&eTsPtUSCjJ8oSRSgkVkV)3Kt zX)~>Kg zWBQ@KcHgCWd(uLDWfN`Bv)CSe@#7Pd#mnM1uhnYj2p?L~pDu93Q{F#KMz(w7qmPI3 z>!-Y|IJR)+lBYZM)%Sd>l-ql&E>b);M zUS6MVU3puSO@Go}k8hW}^`FF@a6BI$p&q~J5R;Oai;l-kKE{!WaMvu1tj{Wt0B!>=DU)Se1B6CfA7FnuCNb`-Orf#u|n#v1jix6>0aES$S^^pEW;Ns6Hh{k<~!pP>>LZZR3S#j#P!l3*ItTE%y|U2{^4#{4n?V z1Nrl&o3+=L-~W9kXJUwkh~M9J5gH=g%Pd}9Wr{u~Vl}m7wZ|%-g%^U$ttXy4>a<;M z)9tO3Ce-JuJlV8x*@gF_e|Jd*<#Gv|y~yhGqdRQJ0!aj9X6%f7$eIiTO*- z>2sG(|N3a!>YK0Jf6X{_W$~A;eM|bjOg|lWR#QDj2o!sQywF z+t}&cHu2$-i9HI+CpC;_^(ZEvv?yYb^jDkEnIbgPXW4|6DfLn_{n94POc9&u`)tC` zCHF+0>0IA!J^jq%gD`cFU^4k=(ap(KH-+9+ z$ZwlADeRKlw24nsSRU|QQrvJ*-{<%#ka8GH9?M(->NxsVpZcKAp7*M*#CnxmL zN{V!oILtu(xxYuf>ox^)!g|f z=A`KUX@A~1oqVr9A*OQXlU1u#>Ua1RedV2$oi{P&xBAJ_a?f@9!;20do+SO0>wV&_J;2PC-3)9 zv8i11WTm|Kyni#FNXq@(T&;3`u43gsos-=AC+(@|dm^uM#9Q1uZePr&Q}Qb77l*qZ~JLA zUv@ru{NKwi(e&ThtePl=c<+CoXFl27uQGqX{?A9gC#UOs?n_eISLgHTKD+Au0{(yH z?N4scR=pn^JYn;&XE%VAs_PoyL zx!rftyKEKPTPn7x8-3STPP%8TQmf|mt8d~LX}y>BE=CCrOV&+KNf1A|z|UpE*@Vi5 zWpQ#%lAq?Ktng{ctO!i9Ro(bhQR4afNr~m&ZKpkE9(%2-obup|hor5sm)gaiX$MV` zcYIIwpVng?S9IXvq>o1T(hk-0oph0`H1_;*_Q}>snx|EQcRs$H5_jgy%Sn>LD#kk> zZ{G2EbGz5Gg5%GNjz7QZ^{ia&|74vXPMbc&PjdaO(tY%-PNnaqBYX3o-P>-X7^zj9 zAN7>OAlHZ|ZKjM=nk9oaLxkqzDdU+4Nhm3Mu=lSEN$sAjJ=Wmb7WKFa7(*d)U z!rjHqXT7%YXV3f9##J@66O9CFAgo3H24xMW(`qy)u)YMOmIZTiSE< zYtcEgIece(b#D0T+&HUqLs#d<+A}}oBe&j;*lK_B=aoC>_S`94`oz!j@{HXPyJGzI zJ$v_A<@<(``e~mx|K#>A*MD4m-(RJE>g1g}=Sx;S&^XyV^NAu~eMkGuW$sU|q|4n^ ztL&Lr6*Eu#jIhq#`xbWJjKb@mzo-j3x9Hi*qm!10d(Zp1@=4^s)6Wg+do}CkYF0X* z^LVCf$vbgVsh9yz+#Jf~2&vl!gouv1vCt}TAotIktyKeZ-EE4G43?+5O7FaIu)HqH{;{5C+Gn?o^Zplg*cgkp7x7E6dFs@^ zo1p6-=juN1Sl8iIC&DK^{Nxj!Go@0qZ$hPJUyXNs*bkTZ{1z1@!;90o_pEvG;Hopb zKCe|*i#UtyTu;%JYN|obyCy_kn)*R#(PHbDj#ZQ5mYBbEt~hx8V*eNQJt{9(C^Mf_ zFq&~?vSNxxrh?c;&h--3$aPXZwn_DRjwYmM3?l zSCpr8q}#N~qA9A8u3?i+Q*Xf1FrQqe4QM3Mwq&=o{({Wm&kl(p%}W{ ztM{F!@czp3Pw#4v#hrW;@9}Ky1f4g!k@bJ(Ecw~bTE}J3en$24iJD-kY-1kHJ8*a+ zbF1dIxhvzB%YS>#?CCF& z+8<`u^i!3Bo++gA1*Iv!&F^C0w>sYZLP^~RroG>N%5EiC+21~OHhzuy`8`YOdt6UV zS@Lz+=f#V^-k!0rM8bZ-3-?{KR+WprT+5=OA|s`Fd5V#*=H)4UhF4A37k=)4dDhrY z^YB!opv=W9Z<#yg*U6Y?6>A%McF06;T^DCPSGRBNl#AYydm%)lxB84#>(^h`pLfic zS7ooyR~9>um8HBdU92W2y2vYBo>_m+!EPpVlUFTYR&_I`j?b+5jLPN{ zIZE-H68dbm&HB7AIedR#px^V^uQH>#-keiDQ?aXI{`VLD9b&UyO;s25`MPSqN0_}@ z+}uZF8tj?Yv2`LKD?;~mn+^{31!*z@GbZWa4~F+uaxEMIb*JZbJ-_iN*m z=S41|{~sls)C~9Xt99R$KI2KryLXb}p66;ji^AqUsSls6l0IK`rH!KH_SsMNq)z&L z-Mj9wm!5@J(Zlnq`)#9(E-Fv*zOna<$;s51GRyD(x=yR^-|hJ6x3x<6J^h_teJ@|x zf7l=Uci)p)_1^3Lh7{c`pCoPNotJVoPfBHHWy_OkCnrTe_xg9@@!s5>PyD4-x93m0 zbMWro$;S(?>v^72uHSDx`A+eiC+BsnW*oLs)9T; zI+m=~f2ro~weq+0q<=nBT`*ZI)#9ZLmmRh6GQPIoi)bmLc(e`)E& zUu~QIT5?AEhAE_=dNkD`^%duhBThlk>S-b8-~M`>8n<;xRo1o5{OhBFEH_^>DQL=i z5d5`G36zVpf_%M}w3R4sU84QcZP#SECF(C-t0vpE#7kv7n9e5kYck`KJ|30k6A3~7 zZ4(wQX^c3c#wY3a<7#u8n^9Ab%HsMH8AfeAs*gGLAH85O&qqP{q>9l@AI0F4CPs4$ zn(`m8+&{p%uTi+>u*{*%y^WtMnD>ibJdp2dqNCD%B56~L$;7lvPDle9o?#QOrtn63 zUz_+fh54q3*~GIc+?nc-#%PVugb6MxYJY^>nV*TlU_Fd6Ky*FaC1g5akHXrGhTF-8 z_2g@%iq3i@mzRGzs{V|R2C(m6n-rR{=SqTSS$WP|UZ4JD@|j7~E0@myAe5B5M4M$r z^U}>XraZG-I^Fc+IY)Vg>{lC(^sUS6*3_+z-mmh=yK2I{CH5;>u>pHUaz}*we)6|SNpZs>+}|7d+iQ?v2I;xyQXa6ns={?s+N^} z=`RVte$#xZyxjWTzv46umI{Zx(px;oFk5o-G{bC3W!3eK-pk`pH>LK(E!)plNWtnV#WPhiE^QV5%Ee|}pL}i8y=5hH z?Y5@+q#yH1JCgz-RMLEsjv>X z;{Ehq!==}sy4KyleEoCX2cf+^u4e*H9Gh8pzV}I2^cSug<7+0;iC+Bo*8gXhyICz}MBQ+p}+xPBYV>Z=jtVw@9fzeXLkAuuccdlLvhl!6Fk*R z+z;}^+Xm=AR+*t|df5E*?ZXeZuepAD#<`qM$$j4x@8+5v&YxnQRNs5p`gL_7-}9c2 z=Olji99D?VloI#7tp9ArNsGv|ITFUQ>&z}&JQCYm#%sPHd)G~!itlWDa~4O|obkB( zC}rka^WMw+mt)T@mt1~n&0U>}PcnOZgfotDnmlHiwKMJD?Ac$r{>q+xnD+7AP1em% zT7|zF`7uOhOxrW>rJnk&9O?aU>!TFfL^}J5lBVsM_(F7*=?Rm58&CQ77J91{V?A_V z`gx_D6hHr}yyWR?zJzQJNiQj%;QRewqE4Hf-4nGv$7s$M1K*{(RWqI2Chl9p|I)o` z^1q%dZriFRGA>bHsm$yf?7aKlDTT{V{`hQXo4xE<^w$IT4&?34l-e4;eumq!2``t_ zUo`3c>$iS}*D-;*x7#mA9Li@bzvON==|!@%$r5zVH54-3;2)bH>1Twg1J_QIQ|rwmq9>uvCQAxA-_WEw0<#YL+dT4>o%mbJExN8iT=)>;Izm7)x7T^6IEHtU(h>GGb$(uQc z(kJT8cir{b=gYP0HSRkzW{LY=S?jmNr6+UVGX4!`))!1)?Q?oo?JteUWk$+TX)dQ@ zIrra=O^Y~f%Q3k=IPK6W(`BiTllF=}TXkm5)ZfBtYiwp*5q`E4#F;fM_x^qHzYG%- zHH=?8ZCsXm{bJQog>@I+Z{WBbm$v70Px;K9`sTByP42s_FPAuN-^-U`%;9+ky6y89 z@8*e_S*T;2oqFfgg6DTbu2IPFtdSwAZ?x}Z7Etl7sb zcQV^cJ>~ecno~U?GdZ=-o8%VrU(8OQSt?$$G}wbR)cDUCJ^0Q`G;?=;l+^w7at6FY~xFRddr0pWOY$=-H|>f2K~K&Aa^7%!PXn zZE<(zTK4yZ@2=AV(|+3iHQF3jAD4UUvR)PI;i$APr+VTl7iZpITO5BcWf8mFMcrc? z@8m6dzVG7QwJisAjAx|E`lxL@qcUyg5u?cwX+qgwg%f2r^9kGjU-<6R&1~KId#`=E znVl=TGELEKX2qNAU#hVlx(|IKZg+oCv-Rlh{FZ-x{o}0;YwIr9HheL;Sl@q1``4s; z$0g^EnATrD%{ECfWkcugee0)Roy@jqzNvLf`nOvTmrVR16Mwq6M)&;3t&2}e7)|R@ zp2MG|4xc|+(yF8Co3f&F_ufU{6Qmw~eiQX~a}%?NcBb;_6I`1ntx;Od>0h%o`=r&P z`p}JyIV!VHifx*@L*|@nkaNk=*}gIV>znQ|_v@(7_OQN~zW<_HS^kw^Mv--PnjbfF zinDH4cRa>=AoXbMzgdUh`hO^R&B669;ZV|Uh8@nF{nt}(#)h3;Yxc26@Ynu@4~&@B z?YqW&kM%t3sno<+v1_R>WBvv*)b~96bX-Eu-mFl4W<};I^P~6Eb};PtBXTtL?cKCP zhj!W2XN1Q)ZJ4Cje<$@|%(Nq4IfLgE2U`ly-dtj-J#+IU%h!`O>sfkF`uw3dwzpL+ zZmZk=UeQxu6?N3SISxNC;?cXLcS-LA6mHRjKsUX8di&O0Dif%C_vllxxVh4w8%LfV zSF=1GeJ=ja6Pf%<)5Ox^Fmra3_nD7mJ_YREo$>U<6B$NJ=ee6ZEX&Q)Uw+!BcJJbf z_%qYXRkFkM&p-L}vqkgd&xcXxBA%Rha^lIFigQBG*W{gh^-L%IT>O%&dL9#;Imb5s#oL#@y{daXsDw86Sn z_wVa7O*gmxp2akMVL+mc_OI#LlW#mKSovah*akXERKHG9gFd#8P`;$)P#faK^lVeBT$A%f4 z{7|iu{oR|-+NJ2&@=3qdM9*wnw`ptcm%P7^BGYb%mcP1|Q=D-9d`WhnWx?^vU8dJ% zD()ulGCeQznUv}H>v){baUtJU0 z{CAmg$?B7DBL21Hna-9KzxFb$`{u__fxEU|St9$pWcAf0=WFWuZ=E@3xw<5K=FOeU z_vh)FTiYA&+ImPPRF&AYZ9dn5IAZr)nc-OG5V zR?f7KxOB%`|8`1Qed(XDvcpd&J>fptcUpD#HE%v$kGh{bpV-TLXifJz7q7VUf$_&)w$m`y41Tmo)3E5SwC;Vmld(j zUm9ZFzeL=1_+oI^qd~J$GI!Q@OV0#)VUk*H1mqUb|;Q-qZZ}=xh)1L-VI@D^tD8;m@+Rrt0RY_QJJ) zVoS8=CvW?vSj+kTLe$TQ%~S1L@}6!!D-l+=c+u4IjJ3^Y54t*9?s#_k(0^v;#CV?R T8#S^OxXer}xKveL{oS|#0EY^3 diff --git a/thesis/Main.tex b/thesis/Main.tex index dfdbaf1..385df09 100755 --- a/thesis/Main.tex +++ b/thesis/Main.tex @@ -1081,9 +1081,11 @@ While the prior analysis provided valuable insights into the classification capa To provide a more intuitive understanding of how the methods might perform in real-world applications, we therefore present results from running inference sequentially on entire experiments. These frame-by-frame time-axis plots simulate online inference and illustrate how anomaly scores evolve as data is captured, thereby serving as a candidate metric for quantifying the degree of \rev{LiDAR} degradation during operation. -\fig{results_inference_normal_vs_degraded}{figures/results_inference_normal_vs_degraded.png}{Comparison of anomaly detection methods with statistical indicators across clean (dashed) and degraded (solid) experiments. Each subplot shows one method (DeepSAD--LeNet, DeepSAD--Efficient, OCSVM, Isolation Forest). Red curves denote how strongly the anomaly score deviates from clean-experiment baseline; blue and green curves denote the percentage of missing \rev{LiDAR} points and near-sensor particle hits, respectively. Latent Space Dimensionality was 32 and semi-supervised labeling regime was 0 normal and 0 anomalous samples during training.} +%\fig{results_inference_normal_vs_degraded}{figures/results_inference_normal_vs_degraded.png}{Comparison of anomaly detection methods with statistical indicators across clean (dashed) and degraded (solid) experiments. Each subplot shows one method (DeepSAD--LeNet, DeepSAD--Efficient, OCSVM, Isolation Forest). Red curves denote how strongly the anomaly score deviates from clean-experiment baseline; blue and green curves denote the percentage of missing \rev{LiDAR} points and near-sensor particle hits, respectively. Latent Space Dimensionality was 32 and semi-supervised labeling regime was 0 normal and 0 anomalous samples during training.} -As discussed in Section~\ref{sec:setup_baselines_evaluation} we apply $z$-score normalization to enable comparison of the different methods during inference. After normalization, the resulting time series were still highly noisy, which motivated the application of exponential moving average (EMA) smoothing. EMA was chosen because it is causal (does not rely on future data) and thus suitable for real-time inference. Although it introduces a small time delay, this delay is shorter than for other smoothing techniques such as running averages. +\fig{results_inference_normal_vs_degraded}{figures/results_inference_normal_vs_degraded.png}{Comparison of inference on unseen experiment for clean (dashed) vs. degraded (solid) experiments. Each subplot compares one method to statistical indicators. Red curves show method's anomaly score deviation from its clean baseline; blue and green curves indicate the percentage of missing \rev{LiDAR} points and near-sensor particle hits, respectively. Latent dimension: 32; training regime: 0 normal, 0 anomalous samples.} + +As discussed in Section~\ref{sec:setup_baselines_evaluation}, we apply $z$-score normalization to enable comparison of the different methods during inference. After normalization, the resulting time series were still highly noisy, which motivated the application of exponential moving average (EMA) smoothing. EMA was chosen because it is causal (does not rely on future data) and thus suitable for real-time inference. Although it introduces a small time delay, this delay is shorter than for other smoothing techniques such as running averages. The plots in Figure~\ref{fig:results_inference_normal_vs_degraded} highlight important differences in how well the tested methods distinguish between normal and degraded sensor conditions. The plots show how strongly the method's scores deviate from their clean-data baseline and include statistical indicators (missing points and near-sensor particle hits) in blue and green.