From f59ae2eb1f1445a109b2b20c06a36b0f9b95c37a Mon Sep 17 00:00:00 2001 From: lukas-heiligenbrunner Date: Wed, 17 Apr 2024 10:59:29 +0200 Subject: [PATCH] add implementation stuff --- rsc/AUC_normal_lowcer_2_20.png | Bin 0 -> 84178 bytes src/experimentalresults.tex | 9 ++++++++- src/implementation.tex | 16 ++++++++++++---- 3 files changed, 20 insertions(+), 5 deletions(-) create mode 100644 rsc/AUC_normal_lowcer_2_20.png diff --git a/rsc/AUC_normal_lowcer_2_20.png b/rsc/AUC_normal_lowcer_2_20.png new file mode 100644 index 0000000000000000000000000000000000000000..bdaae322f76d525b7d913223d489ba38bcb5b3ce GIT binary patch literal 84178 zcmeFZg z_z6SM9t-$K(DAK?qq2>uql=-v35vX-qph`#qqT(*jkAfpgM|&0n@xa?i-pGA(b3jH zh@BnsUmswzu{UFPBd|Ud_da_BKee#2KYn9Fkmh;<>PhMcX4D%n( z!Ia+cdmc0IvVPY6C1?Qp2ZOIPX7B1GEGAzOv|BK6H|NFh7VmAlQ zyw}+r-TYY)vEIH{_jR%%iO9uDTz3O`l|AjLrle#J-@6DBiS6+sD{B`X<1FKznKR|N zW)NV_h?vpdI7P8gLlW?5Xr|At+jKP~e9UsSazp_w+i80|f`oIq_Ec6fhw1+8TghLX zPFpHC?b+%jdSb$BVNaQBH}lfW|9-pQ*4D;jJsGpI@@d{}ozj|b#_$ZW&?2te;C!N~ zfBjLOUnAJic0$*MvYl$o8kQ+K>$2eW{KX4=BBFP$t^%SSrz@NJS@aAH-TCX6ivf7a zTqa?P(VFCh3<@iK>@CNeoWv{|zJ?@JEyXRj?pc`y!=pcyZ^S-4qooZ|9}y_Z6EAGp z|BX!&EaC26KVwy4I@_6~W(cG0?>6iikzn}TUaZ?~!wxE~CfG7P4`tK} zHSBZ-?`CXT4p!n6FFh%)+wsKrThZ`rck9*<2Zi@I?3N|7s9J^(sBFUj^gLU1b$KP( zp+Ar=7&l&|UGb@hfDbY)+2D+b+H$pNIwAW0E|T`yGrzBILWY~YJPwbJE)Ke>>sAxB zC!0L@@x-r7quuqzD=o*umY0q0p`k_hT_myT_P!<7m6VV`<)3pT1Z#)B2ot|sNioY@ zTF>%X3!(PjpSln`Uqn+Y(Hod7Gmbtd>Fn%8N2i!7xeFy^us<17ceq$hqCU7NaDa)P z*>;hd)mj(yM+m2id2oUKCF8Zsv3`jkOPE~JZGn19;vl6 zcHWyGDAcSV;V?jHxxHjwPj?tJj3y)?_zgxd2=?Y77M8sm0xZq*=g$Mbd?83e*fd|z zJ2%|?SO{nl7~eA+Oc%r<3bYI<^Es*kBJ~7Mk;#=^(VvUWB9h~TjqU_7^x$W5+ zEAaYz0%sEy%>Wz3;dASGdA6sYzs`jd5EBz4Br4@(Z*O0_9L8L#Rm7s-oSu{OJZa+Y zX3ytnEzRa~MJFgIC@>`CYDJ@a`{; zXLBy3!p0~ z^up)A=bJnp;^I18(W%+m+D2YkroW`^PJQ3|`LipB!zhsE0Y+$OC^{yl1Bk*>$IW3f*iF{mbx4M=%i(f3d;R?xR00A5*WLlOe1B}ddr2<_-)p{g|pFeaeeW*hEpH!Eo2Egtd%-#tF5aX_ns-M zsdd4l#T5YXghoZti-@F)d0is+xW-$xC`3;X*K;IKeo!uFW5XQUd|?_E7N&E`%)+wL zbT;ph>C^EUzduWyx}77L*D7(Q4w+eCng`3Byxy51%DPz-#kzfw{PWUsayU&MXBaee zbOC8L%_(aGX@nFMa&h$XwL9f~=`YZjy z!N+JB8GAILdA|S_*srCSjk^|tRr*_FqmO)IjdzxPFC&#Kx;t6^%E}4{$cS&>zgrAt zqqc|Oow=n%)h}<}d@?iRcHH>z?c2BXJ+sx`gt76Qg*pd@BzFVF+YC11RCO>e7?JFI66sBrzlhdJ9`-Bpsl7xL=+x0IjJEx z;s~V{b?1pB=Py1;7k1fQNz{gZwHV0*8wggA{9QDayryPKpIdhn;Wm4I2QQ2#5#^8+&eEd5ml~;YAP;o6a9fmstrlI>D1C9k~3nt(6ud8ugApwR^B_ zo;-be0HSIb?2uNqwI*hh=td7i)(Qw;hMu0D2rAK3Tyj2vtK03876K9yX@Ci(GYA%~ z%FnWFb?CM@&8$S&E!T(PM;d)e?D^T*zRg}&;}%(>f~jQL4r~2O_1nepcx45{;T)Nr zg_bOBXk8G92RG}xHcaZ6tSlI!W+4g?{n@O8j@xR2^;G$4>6B)L8H}EXr*gV*=hwW? zomVg(^&2)XckwpP#!TH{I+G(3{$z$dTN;D2j)#jErc_GMtE5wJHtP`cri5I-jz2rwcmJ zgX~ZDI-TOp6c-m?K-BYFPwtm02bR>Wkxkdwz&b(+Gx(d-b)BACjTbHfM$QA0WM{4+ z$?a&Z3^K!qOsRNAkP$}b`%6-DHFT;f zDl2vo&KuMl1;#Zqq+FjK$R@HF9&h{wBIaOBU0?Oe+nSF&00Z|MkVcI_isaplHfKl4~+(AR^56>R0`uwfL|1+=|Dy-_jALZGcbh2(n)=ZkM97= zL{xsI0_OQMsCyChI|kRJe_%Er`=lkqvhpg*Xx6B zMiv%ygV7%!JwZIrI!)+0?#`y{>{uhWtlnvRac`~B z?MQBfN4{YW%4ah_OTld#A=_|qw4UZG2q+*4VPRoGZ_s=+D4b`Jy4IV(EZ+*bo8Foz z$(qWQO|sNqXmBYZee&d!o^9Lxya7`Os1KrQLaz0C&*#o6HP2$&nva`_sn>JS4>Ns_ zosVz4aV^zKu3*e^ZGAlr+!4w17G)a!H&Y$uQ=pKbV?2U9wrxQRoTz*gImtl*kn0esq1^0+*_N__wkx+?&|1B zo~w5{+VWZjkHID5;jn2y@FgKgNl8r|9V`1zdtnB@10O=Wku<40|0Xvq46CBDa@1tz z_U39JFcAId?so4^ry6YyXrm?1+YUm-WMAzD=HlAl5s{HjQ$$o$&_~o_vxsXDEit4N z6xM4iD*`o$xrPax2M=rolNb{2qC~uMb8{)HVf?eU0W%&L{XqNOmagv%=Y~&}=(n_2 z1J1cyK?oEbo_RX85F(3wxgETo_qR(uX3)0@Q>vbf(HG39P0C7~n)50(^`I$lG*ScQmyP@<$QT(fs-H zX{I0oOwG*Ff(?_w#O$lqx#dSF_^gw`j*Fc3L2Hl^peTA0PYTu(I$Qg9_2eNTeX?4? z*laZ<%_0@EL`Fp=zRqP&FR2=kThXam&W|5|ATv2KadPb({YBa}LN%(l5mZYjK z0HI?uG6n)45`sY1yhZZ&SF4F)UN&cy4_rBl7%iPPYIEXA$lbJiHB-S{{qBbPv}NXxD2u4cho_SGxjKG#;uDtjPX zJ*ryfpf02ipG-_XYH7W9bE}&ol+3UC-)*$bF@W6T3Z>hv1ahOHoA6#&v^%%t&H{00*A4?yE|aXhcf zV?!WyttU%SZ6l(uP7$&oThh7T5VL9pTBL>y*w)M-JV8Ez0xS^RcMfsVd&mm#oDp33 zjGn%0mFxurgK@=FI{fTCl6&p!?DSgBhK4?@pMf$5%)xF@aNQu49_W@5yE{ukmaG?UQJcs~vXmq&JbA1kv)&cliC1k3i@?`O4%EzQ? z=p2@SB@Go5;JIqZjF3KN_dq+aGGu_52C@oUK9%RIR5X?2_IM;xV*>6iH~&iue1K^( zmLB2geY%-v+Y_*YxAj2q0^!D6eUx)3T5UBkh^TT#OuONTsk0s_lX{jg z8jwGIx_ZJZFE4+85dclesYVDE0K@Ur<8j~`bc5nfv&FlqFVZ2657Ib&XPfnA>{c}a zurjGxdK*YDWLb|Q^=hTCV(`$FRYY(#UfI%XuAsSQanS%NnRc7b^gy*Euw7VDyYfYr z1mK9elPch`ma$HOBCa7#Vt5rG$5;?8g}o^XTBhIsM;%vBJ-Io3)D z>Fe)D0ubD6>ZdZpj;?tvv`LMOR^-N=+yeiHA`e%xI*#CV?%xOKzktE*u`SZCy z($EY!2YwOKB0)wAc*o9cbDIr1&i`@KlEb#`E4G{{rbIw2ZPbSraKo<4%_ZOBCy#UsY$l{mIMl%={w0@Ib&vog35_$BSia$3pPEJ|_Z-{;$ zK4)YMeafr`pl_|8twdp!RvpP!-K{obsoy~<98#pKHx@z4O~Pq}jx4o6IWK;2aG+77 zMlYY*0m{H8p{`i(M+w2W}#sEDr0dHR4UhOrWPFv}poZo5*PmR708l3M}$;X_ngZJcr?levRl=LGERJ1|M844Tx| zuq^uv0fA&7E|j&jwp3{YN_e2NlMv^{Bbd12yLT9I42sTE-nFj|4wfO5H%LVa>eRZy zOQb;tN`rPlmvX=)YR9!?*y_oHYTPOtklL# z4Li4Kf3_XGODf&kK_F8s&8nm+5m}U5jk9>4FJU6Z0x~6lixaLj@Z~Z7&(MFiJsFe? zU~L<3FSns3UI(4T{i(d+nXTJak=1^(h)+m}O-x+liV;2P=LS~QGT62yX12{jbK}KY8WM8`*LgQ*>$t&0 zoW&Fs6*05TV3~R*vKLCLW~CM*^fePA5Mi=6!8nG%4e$g`;jC>tZU{tM@PtoH?Dhxr z<*zF`7_gh(feg3+Dp_Y*KI}*w_wiTayhg zHh?A10Uf!4yLy$|TAG``M1~|->_uRRI%f8f12M1+h|Q6$-rc;V37>#qnQsk5B?bsd zCxY2RnF6(+WYpx z3>i8W`5Es%eR>Xnh)zf-wa#I^+b?)u_YA4+guq8hPYGV&Oh0+(ankxv^#U%_x{n{I)mc4O&NA_w3P?Bau7=91b^DUG0FLTZ%R2mqBx zk8~ff84`AraL#}itLL`*6wsc{-V}>BG0d&EJHf05U{M0@7^hal%I93Jp-2b z?ayjBPr+F4ePW$fFt-6fk2+CRNXEFmv|_7WytlqLR9eb`bmu^JcL(5!ZEza9fMf?n zeU92qGgyDu6L(LJHy}qUdhCjpcY@+0EB{)npzP|V6H24zF71HtrDdP z=#f!yc$``T$Gz@&SXQ*zdtB2DpP0BC$_+n=MNKpj`S1Zw+E4ji!4V4gO!mdy8n z(=CXEA7n6s;-3@vZNRBe^!645maG8?w!y`nrB9}&?$#5)5xYHz_SqkLgLeQ*{J6FN zOb1}Blq20*g^XUH3YPei5hM9{Fp(pizkmM@-hT^+!#5|(=*ao34S?;a=V^Isw%ie_ z<2+@O4y=G#&!Yk4{DA8cS*+XOer?vM$xmfMgp`QsdF&PYF-D_{N>A+-{AKf=|*z}>g?;=K)Ay}_F*jk z%+EZWa%-vr)jtLfNh{b!+4aGUhYubYfWZQ)4*{c?U-gnpvD#+rs8b`V;Yp^UB*eH3B zWIccWEP{^Fr=Bk_u7Q1CwdGO+os0VMsW0Z)8{|||I1KM?Zf+u-15lYS2jZgZd0(ui zyRD_n0=%`Jt_%gvz9}qo08p7PT^~~>C~t`MTn($PZqHioOm=7MpflZo7J+Ua0KNhU zYJQhlJ4~e30FL=rP+}L2dz)~0frVfb=k~ffU2WKFrUR_ZJt*+K>sBFMAeP$u+|T>w zk`qXOA*ZblP?TN(cU-g593Ry2iy+XEkfmea^8)nVkn%@KL*vha&)oo$NZj4sBOl^| zj7REcB=3=u%76wMkjcP34(;fW1Rj}~^X@DtE1!TIs)G@ymQdh{AO4}!@wquc$G|{J z3^ST$kF#B*#e}rKfFp}s<*dvWp^J+P9-H~}f|BM`=v+N0-zDC^#{&A#iLpXu&Q)77 zM@Cj^Jo2-MHXpd1*hCgn5=Bqbp+H#IRy0p)H=O3Iq5x~@rZP*4gdC+8Z# z1Zc5d(=>X&%e-4RfrBeR0D5 zb6)U6vj!0B19I=*bD^Q3A$Q_Przz@!VuK&8!^a0%jQzfM@NLK^I-B`M)N3|R1v82ez z$Uv{e?yirhU`N0ZaUEL+ke&j9id)!m!vHy7pq@c&hzIxyjn`mrFV`Nhn7Bb>0S6C{A2~+7Cij#q&%;pJ zhKLB9BaqU3baZs`tvkT(Qulg_9}8cX?y>;82ojDP=>c$yiOmDYhXVl905WBDYM{DR z-AIqIADgYV71WqtNgqEp;IkO+Xaum?e;=D@bQ1Q<_^G1E4b{=HFnG;S2s!>Befrb{ zIZj~x@g}kB>mdXx=t1W~{M&+C2sw93-q{`laC`oV3(z>?7808NXBojGQ++S~N>SJC zY+JCXxKWMp41m@IHw{fI!lluIilSZRtjg=k8Q6OcQ{^UW!0hh-{P_Vl3roKUn0i0x z^9{f~kY)|41K7Ah2xu^Hp;mzMf6UW<7u1lJkAVJ&2oL8D2nawDWhw~Ld`-Zm)^S-` zHe$y^Z%l#9+Mk_GQvqmrO>jNkxET~arl8GXk;wx@> za+z2m0XJLeBDcu_<&Vhqe)|}kFAJ?b*9Tk|(zk?R%r{jVQvs` zJ}}ukI3nP4l;BE1)Z{!FAUuFC*lF~!IILw@KoMMJDGL|*$&6Ji+f)V)EofDm+ch=- zRY=Q_jVy%#X~E}ke+GBCfgjoD@C*{_E4S)yA=|aB2jas(tY=X#@W}tGMe@OP%r0kp zk=l{+I-oefXUJ(EPs*M0@bD1W2|*4N&qB_?qB~;SocJiP1s(*AVG0`S&p3ZRl4%Ou+Khs@4uvk>h_>G9d z-?o@XbL(Q>W&iu}0@K^sR_htRf4>H9f7jj3!kryxFpN)%0ab$BE0Ca^psDSBeINw| zy{A-QiUB-m6#KtF@}K2D2t_tP!Fy=?bR=I9xVn6DnIfdVfEdd_ih#yNt`;&x!0S3l z4gE3lqFA^QDEUC+rNNpU2;p#IcCj6AP(rP&uGV=X!}9Yv+Wpzp?CDJ8*Y}3NaSk9j;N=hy{XpsCgRDV#178C)btjz8kav-^ zlqcO?K2w=d24AnNI08+11UjGf*1##J0)Z=* z3`0oDynWdDw6m~Rr&B$x#eTQO?(SU|D@k|uc)$k92!26l*jQ<~pc!`s-++B}fylh< zjlR+l5@!??<}toTJ2h!#dqJ|E;O8N9#?H=EwZKp4RL)a+qQb$J{j& zQO81~C+8BLZ{UrWNVwP#IuCJopllpS6{C_cZ)|+j?2e}zFr5&cBp-B2>}%oT2}#FZ zh;XuTIrwDm@<+o)8LPi;qG_%*Kl`N4pvJH1-mrJ@{kTUKF0UH=9uwepUKwteeE7J0 zaibnfK-61_@izw(W4OLC{jXr%bK<8Sf7zl}{#0{Zs@GJLt%tUN5Z}U``#gsCALxY~ zjkXEooLgE;` zry%|6!L#wlL^~S3bCnHM6(mG#HZFosPqCPGo`OzKIOUnML?X>C*=5p<^W5i*S)Rdy z|Ab+IwTUHH^r`}E4(im^9r?6+bC>L*IuJzD=#kTguAX@MZ4B+R(Mi|OD@DkyO`?2H zVK6w+kb+$B5XOf_82;#>2JWf-8EjZlg{X8$jXfT^#GX>)IL0eX>$>Ekv;`l`ecI^q!e zD2l#>CHlJDbKIold%vD@hu1-HXQ{12Qd%f>INdWAKjJ(0Sjr1woy%25x|?59>aq3W zV`d1Z&38L1d3Jg?|AGI${C@Ljh%KIqdcL-;9NFyWm|>@F)9g$6`L@^`HM`pnIFi;R zEW|!tBOXYrn`k`a!N3WpBY~W81Pl@^nk%QA=ziIDb+jUWfUEWT6^91eGY2}AS~G3J zVH6=;RI8ZpkU=#K@%15>P}G>AvA=oGyX^+QS)Un?J#Ak;KRk9*!NL(g_i{5lkvQB) zG$<1i>)w&i2@I;OVP*^PyYnv%&bbx}wZpHy|A(3dH}A;AM&OI!dj~hC&7)6=t8HKJ z_BiBU7fMuyL1pdUa=v)_;?q+^XVm8KAcs5wgvfNRycYqn_)iveq*Fu2IOczlpJn|c zskm6N+7ko+qBd*T!eEp?B}f;K(HjKOMC8VzITn~LlOtgY@v?_5X>@Y;^6(Xb`<#U7NBRnWZw0@i4&E3&OqRT$ z1Uj{P$b^96b>zKWC7X?Rh2BU(@=qFm-E}2=ewH^kdt5i$vhQ6JaqL%wK|n~+emi`# z!#)N3)vqd*5DVokjMx**{F5#H&HtP05{!6Kvvh<(;&2+hS-Coo!)w)X*nY&Ea4z`o z+&d4PsH=L)jdwer^8YIew>~&ctvQpgKwUmn!kP&Wxo6LKS)!yAHD_<13-rde?S^(@ z1!Or@K8y<7qxQeiw!^0At`4xeTX!wV!U^!w7O9kRto+%3dAmU!1*@`b2!}#QU->cos(at{!Fut8h8K?PmskJgP z`0Rx^VjqGsK1jcs7Q4GnahL~>X4R{#V9=Fww&QESc5%?}rQBf~uudKA!+832Swe^*_Ios0nK5Of#O@DY?Cwtna3K5wd9EH?eHiz% zK*NkSVTb%qo$;|1kL+?=HhW^5p2>YxS zjoH*87WnE}>FKZDpT=r$J;N>}VhIisR&0nPie)vY`kUVE?bV+@wUz*}!m^y8-$%$g zsPCD+f6rv08B}TUWN>oj6lZt3!&v)&;9onwz_)T%OiA95-*Tl1m&M|3f1}FjR)fZP zII_p;qI~V7D~<6LYKC88Nb>oK!SNCynmqThe%*2|zS{RV=YKpt^f9Wl4`;_xc2tKS zZs0qW#^*FtoVQ~;!oyhn(sb7bb|`sC3`Nj0%(vceqIRaR`un^Ka@%^Nfq*{0m<@T9 zSz&)|>Tj{=>3O}=y@|gN@a>Q`j44c`(TdZi#Cs<9ie%_z4t||UUHsLLM~xO_Dl4b0 zdiXL1$ND6w7pnI*F;0iOp5#W_L9svU$eSOLCg=GXCJ%NmQ}Ww+hoc5!Xgp{%tuydmTPsohjEXc{_L%J6N=Pqi?^LXoSH{JGMOz^#AINVAt)h_MDzI}mQ!pm-0qDi ziPO%N{++Jms&79@&vN9v3agk@Ee+QVYH;NfdE6V$iHGhY-;Oe}(!8kjT1+4uY+#aI znym2R`~WpU^$GLud+q5DNmOU#q_5J|rhJs3?D?~5gT?-H$%94*Q3k@TEkt+N(Kr*` zg|1`>NA~LKbA_AnSAS}D8k`)}g6*kx z!2b0Y9=AX97OkE5OR0$V?G*|jM2g#o*6)0{zkIT_Q0KKWhc`z?Xmdm*#$bDgz;zELGM(^rNc3eHs;UycIwFeyY|7Zm9S$ikjEjFxm8R9xI9Lex~KLCgZFp zyQv$GK@s0f6&G*0xJ$+^|5^?E7KIz%IMA3^(61z zS?95x0_nMyviF0@R&Gi4KYYAZvi5RI1pQZnQa;2y6c-88jQLpQNgvEh^4o}V;%i|m zeBCK$C+|DIYDLj0VH-pB(I5Udj5P6lJEoG0c$4y_Bm!v1E>m4c)5?mql!ph8FAvUU|h#m zN3XXmEROG%$qJ3sc+r7F+<)`rGSi#Jiv|k#)4N{e^Eur{h@BlVG-jQ~%f?J_(1_5a zDtSD6ddk%1hzF>vc1XY|fN(OtB2>vEcEmrS|~ZN&K#6qfFSNzw*G}a}*_?qP$M^j(G9%s?4Oql5kxxS~DhYV_@Svh5%sa{8s=|uB}ol zPknKti4j}eK->I(Q{@y#+aGkZCwRU-Cq8uky~VzmL_B*IxxMmZQ!{lvnO-+JXeQng zPwDsTIpRPj`%mB0Q5x>uBbgG2%0NYxsvaVIY>?`iX*R@FE{OV zT%9``_C0Ec`&UV~VD4NbjzA^V`ZpQ5g>!rhB67%%+B=uV`Bf(dP!1Hd_`;xFQFNSr zg4?wtxsT^4dc!Fsd~p|y64x3qhod(L5Bs6N7ffkipetEo*cY4dsP(6A;c>UZ(*=hfNOMatAyIH>F^E3_V$Oldd5{g zVREiR&1Q%=%%{b#@k=V&L^ILjy437yLaLv{Lu{h;7vwtDU_3J4-ayBL`!XR7X6hq?MIGQG|h5k8bxaNEsn zZ*E`^SCa&fg`Z!g;7|=J=Di#AK%uSt#1$^~=e~Co!%!6kwjR@$$0QgM_@&~wYWhMor;{V*oN@`)&v=pC5}$Ak3e&6k8YBm;=e*Mg#7B07EgXlMPUB5ayE+BzDj$XKPaE$CNEPm z82E$)t)kRyW>!7aAp^A3BCBS6PuWgo^4uWPs@0-;688GQuKi!7%-61M+Z^nu)4B!D z8@Ds8$tD8lB40{bnTOav`DQ3=M>p684`z#VD2nfV4_i6xS@sdL9^!k z9Ar$Ymq*V9HCSEafO0X}ncU>mJ_*OAooDm$cp$7eV|_O9u!}STo6Qa;&Hl)!^{w(V zmj?KDcYdo#z1$An$BT~?p;#lo$*W~w@&&x4P1Z(he&Khc>OWm9Vec!E_~M$uJgh=T zb`}2P&@RxaA$>m^B}{!_`Ti9)6heiU(z@~2IP@Vl?en2tWteEY@!PoBY0;;*9MN-k z*+=PpEk4n^;d^#gH9I>K8=U4FZI2X%F&$u9N!bmdeoGcxqF{HY{-ZPvakrzKEguj) zIMzCOVc@A+o%^Mv_>EJ_cEb8(s&2=L&9%Ziy_2@>A2BHPRpzbJx^6qnEDo$;#;=s% z(n+lci;UtG&*)mZoH4npbOSaGbIt6W&K`YwV!Hq4(o?QiG%EHUtHkq8$6NYzU3SoaQZ;I2iW% zs1ds^VDQHeP5n_ao=9=U^fQkE!-aakgfiW%Tp0~nqc_Xvt_YXwn3Hq|PL=NOZH%}! z&uV_8FTTQ-P{S@O+Fi~~z^lLJT#QQBF{&5EWc5I8qF^|`Qil1>pASxk4A6V{@Of06 z;-8E?NKGMyrc6&sa*LNzqgK zcCP5O{@wRfy^QtNv$^4v2W71~eDxHMiNwJ??XaMBc`MC=fO2c6o0J%L{S+@uw32-H zFtZ+yY|x&@vPYJuWU?*FcWoupt;DL75}2kDOr!z9`9br*%Cw~O;P&J`ZH;4U`Ht4U zILkRyExv*%=4#k${hq(@CWHMXebhExbwFn!CKmRCw6FG{Kk-ST>i$)t_34T#Yly=K z-%f+w$>vJPlc-K36>{<0nf-Y0_w)8c4S4vG<;smzuPRn3Bzp|>OzzaawB zANTjJZ4i5yeC}+aX1w<_JmEIz+5xB!s`=qQ+PAAj($uMrxJYUX=IkS+pv>&pPh1}oU@s~t};>U>TFc7^_6h-jbw0Hknu3i z?{+?drLF!zkbW{5!`tKjxhz=YaLc{(jH>Po^K9la#jEg{5yg-Yw zU>TSKy@E`Rt5}__YN{pl^K@Lu@Z0=6_jj$XD^^m-`U+jOqfBSqK?YVG2+ zeP<_>lWsDg9SZ*`tCs>>9)%?KhFjo9Dh5GXgnPSC4FtxG7@0eG+nZADIlDvoC%#(N zC3B)pkFbgPFVuWG@|YG|D?HT6gmEnH9?dwYr3E|MkhcGh^k|~u&#{&_obI*ASUE*&?EQ^R&)Q_*8J|PBi`b{}w`TC=XR!nlu$P&Ug#caJ7BlrB&~Q^)U>~N}+s= zrVf|TlgsCecs|8`|kfO^r7YN@ma^x_}alu-Zr)AR|ZrE z4p9>;tPynu23Gz^zP}KXImj_S=8V;L;O&_$!QcO_ESx$D?l=1SKK}8ezBIu~O|AEv zOvKE!-^{(Qb97o|RkT@NFRmWVJPo(_YO-`xIHM^MH20jwzN*{$s9g7rrVy0k<1;^B zxaolMO}`-|%Qj_L*yUswtx6P7Yl$vj<2bh5MSVsMwwEeZMc&UYtQcybZU4(=4k0`g zdV+9>4@+@ik6)>6p&Fyuy~V!w<`GmlYSqY6DW$IYMTKv*9sXdDg8ayH)`FM?KC`2p z*^`wdm0E-qiWx(fz1oZhie7q6Sy!2&liwcmw64VWp?5pXQ&P?{d@XyI83fuV;RW|9 zBdmLxzjy&3Qe`t~or|NJJ9#&f@Nl7BMj9@1z>n;TePX;(yAaXgVb1E* z(56y%jc=9OpVRu&Zsp+gA1v40QEibTB?xedPJ*EwTmR}D*rJOhgvr#SJF^6x z=(pF~82F^FdlgCSYvlFi#lMY9PQ1k542~SnOIQk3Cz$`mFMGyfBGW~nbe8Wf65m;B zZ?#;pGazSR;ZBu?MeNb9!#-t42*bI>Y?|iFag)<13K(J#8aov^_#YEJ6e_&I5+m(0 zG(+uj^8eiwW$hwfJfIhsN+g6^uC?*^7i!umQH(JQ-H(r0iPv9UOl+d!O;_BquVo#<9fzk2HWdxFHGO3Yqy0`c7ppBH?*Hs2YIg$~ z=+U0&jVW;=oyHK!H!{1=a7E`N$%cLe^d-g@F@hLJ)u1S`;n@-Sa!Q(0H@~5R(S;|* z|B^k_>~P{~>mZtTgHj`$K00Mv{lt2A*2Q*$UasY*R1>2cSFIHxh6}|0pVJfehez@8 zF|L`$?-rtROX2L38g-B466}<0pW|E;SCWIalIu&D%VODGpz&p5RL7~;ThB6UhHdUc z(Pn5BN#mW5+3~=1IZmz|i^;BLE&8FU&kYU<-{E9j_M<%4P!XRV6OaA|(pJ#U)k$x)xtzY=~}A;`&2JQc(&S>C!@|)^TLFwVjokE{CC@TXNn!B{1?YC zN|yOAx(M%JR7wI`fqY%M^=kd{1(#;$4ft8Z0{m(&WKYWXh3{VRbyQ#}I!^nKYIM1= zSMK%&pY*owhGk;w*l6u}p4bxOfg!Y|n zE>zT*muNps?%0qd3!$di9;1&b?svk+|L1VYRd{<{R<}_y={rDo|jQ*r?A+mxQHnsKS21HoC~r;cC>L^Vwq$wV5zl zq5LVwbMCD-ir9W?0Um=ku&1J_e?{mcKoWUY+XNp$wD97?E+&4F@@D3jXI@sWSfGG5 zb}<15Ev?flRB)OpmTu{%irf)54dj`%<^v0H^{ghS#-e}z*B*f^&m zGt;C3Mv4u_4kt8H>b|s8+~$=w4#AfSgA-~nZ=;JE$T_Sopjh0?qHK;@u^Ih`-Jp?2 zrGlW%H^!(<3PT>jIAB!FHEOOMsFIhigqJkRYGz^4%y!*LN2aBS}`ObnATF4zr zb^2$=8dRCqNCY;45~BG(PdQMWIKAu%`f2uNUg2z_P{OtgGIa3T+%1uAW=?tS(uw<; zK3OmBSFRBgb-RDzlZ2^s#63E7!eP%~S=vCuSH7%%zS%nOtzU$QD#pC{+!B1dTFz=> z73RO`BzLEOi1&|M7!3S(Y1Pc~31K~S54HBF-2aEFuMDel3%4Z%ln?>w5-Am=Ls~*< zknWO38tHD75|EM-L6Amj(cRtMEgiCGxbwq(&$;)<{;{8DZ`S-~ygA-64n~wHkp4iR z2howe!7S#$mu`n`5os>g8`xkvI$YQ{OxjFr<%$0f>;c*$#(|Ss6}DKUm%iGQ>mt={ zjw_>;O6L|QQYM)KyKz(7omxHP_(?a)^pRPF+>=U6!HMn?)rjEb9tHfxVSf$7s1YSPP z#vd0@o_xagELw>qrTM~hdkWZ+f<3pSO)l#VRbnE5%@V!4j-syLman?r#q(~1b3!9v z=44Ir{rjr=Yn;MRB~DGL7mdwCzJEu){l-^?xNVQ;lO!_coZKm>sJDC9HefttB^62V z+Lf=ZUDi5rdkKHe)zC=3-)!ztXq#O`W#*!KfJ zFZ=K2YBj9i(_DQ_M!Y(rDn~8AoiaXDKs;x~0s3supTmCJ8qzta?wU9Z*#vN<{gLr2 zCi_)o%^cZEq1^f7Jzr?WtB8%~tlW+F7ms@cvmKQ`fZ{WFhq@Cwg#Y*Rc$QS0OIOCN zhiI~XdWlsVWR#m5f4tn5+`Im=(l(n?e4=&+M}+O1XxSf|=_)i`{CYLcDX~b(PWbTN z4C2Pz(6_}WlMU(ZH>m1JXMdyRKVe7Gv#~_yHPn9#zf?+>%2E_Dlcw{miP)bo`jV>i zaWS?~nXF{+`D;m^a9t}yoeHeI=>TCJk`JHrz^9Y(VWc&cug?2+e10EdfvQvFr&JW^ zskInmP#OD~2Q@U=O~5)oeXjPeYna}v`KjyhOD;C+rdRJ@W=F-MaY;Xn^Whiywu?N= zKJn7`d{Q>#K}5Qzj62uff`puTgft~4CN3$>FjsYfgO>5!iRh)1IE+vE#apq~$h*cE zJ%?#r(*^9xO{-p!+su5fubjwP9l{H}cDuE3RrxJ~VM z#>UqF6SLRc-E3YN)kRAO_)hVAFh1)dK9q7S|d#D{qt&>u&N)|L3aI z@XOmZ#TTe8Mk_(3>Ph<&uIT8+kBm5 zYoZzwMuLvx_UyA-4m)_kOrysh@Uk4n8Pm%vye1!rFygW#-ntN6v32DY;ENXWkrBdX5ad{{)Drl zsmxZihHrDe3_qM2*JT+-FVQ2Ly(QD`goSJV*o`G8gUvxFH2HH#^4VQ*a9ifY^?V`h z<5ws1|LKj!xvL!(yiBTck1r`LA*c?{rvRl;9qnb0`ez)g`tNQY5sVnU&KM~UXnX$~ z_1N=5dxyfhGCvL>3p@E?=XBd z(ii@&AJ{t?avGI#5~3)plw`ZyCy0Gb3hO|GzL zdp^6UChf^`R>HL5fE_=!y|dRp--8-uYh>RoH$uBFPB=Tk+;{w0uG>ZRzEDM05ZR(> z_&qC)ADhI_Gg$jGFF*3E4970rZnkDow_?@WPK!GmSj8L1y@uo&-VP`DtNxnoO98Qa zZxABvy)T_lIzl8JFtW7lne?}W+-$uR`7yYXyCEQf6p|c362NX=K;P~4-**QN_++#E zEmA`0EG6;)qdpezzIQ0H3KP|O^q_AXua=j({z;0Gv3Vq`ssF^PyN5U>rpJfMrg|rS z_L52$Da+<6gd;SZ%ZVX_Z@$sTK_~kar4>Q+oOOxijF(B#Y+F#6N2C=}0cwK~2SVQ3 z;$@PxLJkoWyNOoVpB*=R(U849@(Z&d{94q{&_jk1t=gx}TpEu<@<<98@Q+rbvHK$p z^cgHIFTcze3iC0UyR*bxL4cJM7KOQ2%mR5|u;Z;)N`;)i=uAfWh@74{=C|ooZa(gi zX=&0)Iv{CrIqxW)D!Fbv+hq%10J{!_1Uzw{Pes>JLH(Vqd?V2hnBZVie5 zAFLEB@GVM5y`7uExs*M-a{3w*dAd!!^4^T_zcU|5ptC$9SQprPhP)ZIMC9&j-Zqb4 z3tJZ$J{sn)r!ae9bchxDTQeWwW9YWiC~y-mj%wZ&uTh|vpm*6k?tlM*`i5`c*=z3W zuBBl)k@9LyVUZ!xVEyk8RYK6`wcGz&qJd7+Wf)p%eY1Z)=GJfm z9hQiT=Z#71UCe!}>gbuGR1`c)`Q)0gV|&T&%f|;-C;e0gHXVjzC<=MwCX}vQ5}26t zT9*`gY-%bqD9HX5LsltGPQP@X%*_OR678@B4cQcSTrA`Z$B>mEb}dDNQilz+9?l>< zkURW<&>&~yzN8f)`N|!BKYi09-jqH}7|#r3pL|%!_Y!67D`Xjr*x0HBza+JSSo@3dd2K8czU&P8n8coeqxIv(g; zA4l7h-d;=}6BR0mJu2OM6;FWGl01`7AZqvuT&bsb$n5=BHj@t-Gh<;bzvqfyZ}hMZ zRK~s(S_m{(t=uIsd$2lotOuZj@)$BdP4SP0hIc*S6HX=Q{LJehH|5)QQyo?|gx+Nka07=g93PgRGoTS*?k}#gn`Ui)$EW)~Xv-n-KF96bVZCI`+(heZ(l~2743Y?Lv z3g3Q zsvYcJH~Q*dQuV&wJ>N~%ay33@P{V zkUKgE(Q2hRk3tHvWDUkv%>o;wznEW5g4iye;w*{OA9e2KaU%6m+>QwlCco05iV|7t_?R}rG z#qZ)#6wvSq4z*r0dH)PUdeVt2mRQ%D_q?@3)Yxi3s>WU_c_D3rHDY_fQWD$*o!o5* zwolJH67Zcx5mP!AW%pPj!crPUR}80xM(6Wuz3SX8zolarJ&cP51UXXuj*tLwPg|Fp z1%N)YowK>_@(siW&8KnT&Ua#WWI247#nd))&^6l#$IYkb>GYUY*hD_yNV`UJnD2j z?(NTdWF5QuY`K9MiOx^G97{E560B0%1Z4|Ek2^sNf#X5RmqP;^7=pWsZ`|v3J-##m z@r5y-RmgPrDJh%eIW6p7YL}KPPe218a_U(R7KAXR=NDs5A`ZiP&aftR z;*ekWbjBqUc$0YV-1yhMao0gQh&4vc@XtW(AlmFhE61su7B#S$*rPoSI(Txz<|v8hKbeRX z|IKsIV~u291&g1#j`4Ym#dZjOR(U}kgH#`CRUXdnxCBRmrIY#yjxiZ((p^z^F zB^&m6>5`K;g7ozm{4q!&@U*+fA7>RLzjd?bEy&PvaJcA8#zwxbV(@aC zjP+}KX*R^4Z=aT!+xT{PA|o@_+RAco90PaDa!vQ&sSkRPP4F9Ytc&yEDY&O`BO zQt~npeOs^g^ZmaCrr#~F!imd+?eUA2F%8luACPH-n!Ka?*XD*(lppWY-Px|41Y<$p zjc?l!P_{Ei)@=C6-`7?H_UlCp7?tvp{meN}p1$&#-zBjF!5bjnT_p7Wkoy~?Rmo-O zJs62eT=4@+LZ%<)RZmfagsa9xj!>8@E#Yf^a1}hdpwzj~F;Y zW-2YO8Y93xYy?>9yUGha85AgNm4fI`8b$VulOrH|WqC@W1k2}GGr6Osj>5!oe2aI$ zgLm|J!3F`;fxYXx1!m@BUgtHHfI{43+k>o^yo~RZ!oeWbYJgff*X0{4ruSMmT=mkI z5zC+7i&GyrdOwu(Vv&jAatiG*yzt8o_#|#p;8Z`KCo9@c=e)Sns=i)0ud`Aq14Txw zVwrbar&3G^FQler3^2#~A&G%b(`rq>V1e=k%!dTK3AFmeMSOQ#IcOK`@!(A^mKopJh{Sfw7c~uyIukz_h^C zGlVq_!@#hK0yM~7Z_uQAmDf|T6BkPb6SKOOUrxzr6({N`mhxBRSc8NT z;9O#%ID$T}yp)`Cx|Ca3hBQRNrz|jH!Y|`F-#!(WO~S)T9Vd1y|FYrgBn$2G3R6v0 zDszp9BUZ?*US2tU{4j*z(^_d;g!Jc|1(X@m`{$NViKp`7BKx0?*LQ${jj=sbD7gz? z>1y6ExEYDquhGRy+@|8ge?KF7`(V(#6X&#u&HTNz38GyT)jdtD;nGlqVogl9iq8g; z(}I2ck8z^hWPwozpq%NcgRXbUi86`XoA?8#{k#q^vk|w-7w3X?Qq61 zVn45TJWJt~4VKWHaT3xWuqs78m)t(Dh33oTA~a1T;^epVNdPS3FY_cPy6**&ZzDD?kgl4n1SXN zxBS5rAy3Eq;1VJNYrZwELiy^{x9Q;sX1GHEe;Bf3;*#EiA}BOph^Q6!%7hz()_W|Ath;Bb=xUxx1|ioI_38Xel{;Xi}>7JKY7_x%V8+J@gcp zl4M|XH3y6v?Rm9~TQuT0uMFn2Tag4hm?Q;VRr4ghOpGXDjs0o#@aLT|Ra~&@np-BY zM7z&|RGD|F!!#4EMH@5wVhYfz8Z^pBvc%r3PTgr`nRm7uiqM=GGCn|fw?-^MDEKI zH6DuI>3dWP?-Kq@dNqyM_Rk4!YpDu9$M!zt7RsMnIdr6z1@^Y`?x4gJfq6^iWHG&J znh+&<4cn%wMtL5ZYNF|HHVm>yv(n$(ji2XyQXdGop4Y~MNjJFbX;x+?(jM^+h|R7( z>Ulr)BX4l}A%gU8a(1iSUW;eH$UO}lmXfx@j_PvJw4%34hktAne8l>%dGU2HCo%uu zwgn@?I2<$1%CoO@9#!w-qv^oeTm0J}qa}71#%|ol4@Gr-Go_!fwEo^y6(IvT9U?J7 z$L*ecC|~$3<`s6+xPF@ROKMmEmOE%b#(~HRv%>#wURB~c=6|PAJ=FP);cRe%T@*6I zGVy-505FGV!E~}=$8XlSry@QJ>yGw;W^q1aQFHMpv}u(fN?4F}g-)ct-N;e^qd5uj zN{Um-8n54L-!qJk@u@?StC~I^t=f!Rny&cuqjRGPa5bD; zv@ucKT5x6s7nneP#qJ_?y6o_{q*7GP2a3=o(tuYNdy5IeaS zN-qwb@r@5ImDSJ45}ZI;GQ?`XgjRriZsmv8pQ=BCyP8hI&m+C6zU`};A`HIZ3M-g; z^Uo;RhfKsZpe}L=egFWXo@pJ`8vnr7*TQdO!}nH%ZDb`SPbzJHau6J6 z3PLxhHO)!`VPPIygOq&0knc78?L#?gfY0~#>#@f2BQ1ux6!lbC5YF+6EEIJuE+IP# zATy#GqL!I{ycJU%-yOQk1#zChIO0#oYdh9w`zZ7l;$Q_%Xxc|v8~QcDhu>iUqvZBY zNb;?97Y;d?`OmEX_p|vayT5u8W6=?*zzpvs1qB-NElRd7_I86WK+b1jbyPUdYCDoF z^S6RIIST(>3c|VE!0zc(EjB{{CZ_cX~* z5f*m!?cgex3sM)vtFIe4^vsqvSctRe@Snf1KbL!9xySxY1s4oluXaKK{4(=+e~^3- zg@-kR1AhhSeYHB2bS$y~KE188BmKj|HvYdoq6o<|f3?{{*(C>Li@b(jGOHBqYB(*n zTfU3Gr(2a?Q(6cnsP8ud8j$|~NbCUh#R{NqSOdJreZXqBjw}>7nTrAr`_ln@(31+uTPz+~1?+l6-{Zt7Lv==stH9hd|dp~dceSac-Bpgd0SU415y<6J=<5e#pL`W3$ z<+c- zp^gOqE^7MN#P+gw28;uxOIs3VC36Qp`7o&9JjEd^c=-WMzE^j}j_M_p*+k`bcXywG zTj;Wx9-KVGNPq#j;vhE36+uAy0C8zrVqjqz5B+%KIIV`GHXsz7oFr?T+7qx zbi?*ex-T_&J8OgI_LV!1#iM%(!G%qDWcpMMqfv`cu+OYL5+1Z9E@T37zkjPwhgSdU zLn-C2uqx+*6^urbdpboyrEi;V3JO8&aam)EtlIs&YYFZOiveKA?O)?EvZ+!oi$iEl z$I{)dM&lNs3XAeOIN&~1y&3-aoRfhmN70Q*=&{4&Crn5a?Wcgepp}>xoN>1B04zuCD z-;cJ+_eDhr@85Ug*X2g$#j=|My=`>0zWUFp`=>^WrpQy#HGyZvE;sB4LL8XpE~7fS zzXgIr^)y;{VrxK%xJNk}wcq~N7>v>YhbC$36PVc^1yDcPkc;e8a0i5!<_q-#;FbbD zKs!JdYX`_(40&Ye_5m?7V1{$@DmNQiCW5PP)g(ugy&WL!6DJk4w`ONajx5*2Jb8za zwxqw@MrCRI=-s8v-{;SBti{=VIBSj{TM`0HfoQjFyrG;@_*$m@X4%4|)8M`^XcgKR zw2)1f*Isx^J5c@T4vXlI=dI6Ga5N~CqUMeKZZ0-L?S|2x)2srv>UrT)CMldf%G^+y9TV%S0lW;a$l$QWP)A(I?_)fZ=;edB$cxdPf;6($p^Z|e| z{Tr86Hy~&>1H_Ky8?N9^6A5|M9=q!5ruyyK%UJeL_09>+^}(-p15g4EWztNG6Dz2- zFw1jyWGjIp2i%Icq~3&}l3ez~0SJ~x1t5Zq5oJRjbLA9xjVYD~TfP)EGLp#mACsQ$ zSmjd!hh;4BzDsO40xgFGuls2Y6){41mlRFrFO& zauIuQ2*~=dnL9lkz@_uB#zsQoKH$#J05*R>=r$QJhE_~h{NpLPEZKg_dEweIz<+Rz z{5XzqnDGa3QSvQ1`Fpap6N@?`3l%56d*Z@xOkxQmEPKyZss+Bz%=({d`iuWpY@!bU zq&0~%)-~aP{tdI`383JFxKXEZITjNvt^j%8F%evGEA~o&1y)kwHkL$;JgtWyNhlnQ zVQ@)V4iIiBe`i0!0;^9)UBlut=pvRuFLVza5LG!${(zd7t`+K4TmA{4}!%86k7d4o4=QR<%Y#t4IJ z!`f-esTIS)E&*JCP9T00$v$Mwlf0hh5#2|Xo_5PIY zQUn6m%~ZYl6jGvqEi|jo-J3#H29LBvbAl_Kf zCeCk?3|bP-p2f-NHCe(5TfY)y%W5ZE7j#zeKLDM_)EV3~NPbQu>ikGrXEb!U?p5h!+7ZdZ?2YlkWPTDa2 zCZzZcz^i5mB#1h`t391RR&K|BQbRN2+yp20ZWiYjX`;9v8n|sDl2;meW(yD->#31( zhNVf`PMS(|dL!Wod4bY$0ws=KAVOd51Q9|sj~KiowXsX;8> zbxw=@eAv#dRd1lO{(@263}?y@jOj$W7!(@Mz}c@Fq<@9M_!fNc^79ZE#uc@yIeJx3 zbiKI;6^bGInA{%sSPLS~Y(aIQ>r7ttJy^q39b{y&^4bn$^+0-WQ)m~)LQRZLz2(jHf0Zrvkb@aIUJS7dW zH?^!WNedcMc2(hmyQGH;IHr#XG8<|jS|bDyWU+ee**X#IWP%q$A+W8$+xih|O#~-A z1SA_j$BnO&2?SRRG7yD?^tMGolHdrcGUY|ZGLSXE5&A9>8ZyfK!IaP1rG!gZjO;7E zs9nWMIhUuwLFt#l^Vc=i%=k(%FL|^QKzS136kZ#zsxUtR=Lhan+lYm@idK12wqO3U zDd_P&!Zj<%&;^?vlB~|PGt=1VN<9U}zd)KiU%802+_GF%xZ+sPBfO4^O)A@=UK&?n zgzxsuWn~f+*PnJkpa4bhSJ_7toe#R_mL@3(Fyd?Pr7$_>lc0BGD$B@r@2>HeZBj{D z{e*(_!d;hwiA&WKi&{f(R)p;G5EI}&AD|E3qX%DwKcij6O$_rU{WCnnaupObvpRdJ^UdVg%3*#dOBWp{!s=aSse8v=EAg zF#-F(bb?=0`rH%`VQ!^{y|QmnlRRVAgq~(lD(9css7$D^CqYFu85_Na3^)ut+)Gr_ znoCZ}&>FU6&1NXwF!N3f;&_>lRV^! z_nz9@OJAZ0RuXiFes`qYWF_-TK?0tr7k-0Ro7$~40i_2OeU17c#i4;o724feO}&}D z+QS7|FfN6Wacfn1Plgql_rF@JR^VFTJx%22rSVmkcP+klXZqay8C}&y zB5%0+;I_`j|C%uL2Tw{HhbDw|a1-oxoJIWe>$gGX88Z3+Bu1;N<>&Ng2XB8p3u--H zs!n|L7&Tkhq1Js}LDTx%3>V(W3Ox5_x;icD_A+LtneCfc@B#dQeRG!M^CcSX*c&yd zb|?32=BUDMK>qZd`kwkgR!P3h+RCPNhNp8$6?RkV*dq!wkR223-wk$~K-LTtr2Ti1 zqn8seB2(30wi}#+Yk_kMRe_R|6}^2TgZ&B~PhZnm0(@d%(NSa%(m`e)F zD^lBAo|jisR5i%{Q2K11!VC3*!p)^Fw2p|MZ}Qz*dcKldozo8LzAkG)Blj_eZ>OP!$c(Jc zaqhDjPd(nrN&(N-1+b5_2DaJtJcpg#1WY9@ZL>z~U(RnN7-(RC8kF_enykLGNxFPB zJ!HFrez1W{1AbkQSjxC^8h~@X$Snt+_3E$IMnN+n*+D5p)2`3<3tWq)!}3~WId2Bu zfk*)?{DJ|RoB4;yj8k~|3G*}57)H<@yLmyecfuk(&PzmCn1Y2t*EH|w^T1AW&_<*H z8;_E>7k=HwGy_l_?SYrSGQb+_86mqx9~?NaNMPCFqo?ars76+#OFj<9PiEmQR$$U} zkT;j}KT8-yquLOX_un&>p8D2YiL#Q+evf<25~TX&m0 zc=@q@bi2i}i}6Y6_fg{{10VBd5c_xxf%-cR&s)a3*$2U>SoBo7C6jE5$obJ<-}8MG zj^9S5#>;_TNiFLE78n=Ew-dVia2z{st2GYO;_G*PPm}CChff^wEQ66HDOHF84x$J< zN=>o90Nh`ITKZ(SM8g?D11vQdq|I6wjcL-UD?(Z_{yZK{1zN;lJV~c5n>ETa@BU?Mo&Gj@yhliGF1_Ykqytitg2pM#uKw#nMzTAsN z!R40r*Pt{h?A(?I3hhY9o5iUI=$P1m34}VJhEkAWc%SzyF!E+en`W%_)#^~dO?gq8 zMm%s#5X;le>@oe4?~)AVs}wK+RXgoG7C{DI|5s6zP?4qnR&B-3QcGb<9z|=z+womx zV8?2>1GKgDZ-Qh*kY3iZ?tFwwGh%W`-L`~Lc=6`VfDfnx_x`7#V~RlIeFKx9A{p=q zefR9G?Q}|MP@znywttc2z-7q2druw7<>X53582FA-u3BftnJM0O=h$8aJj}~e6AQ^ z=IlI}TH-8oDMQVMC4%!wvKPHv0}d85x6Vr;?OVSob$D3DMxwCwl`-5sUs zXO-@*o}%@gX_wc1zPmzwc2H3og83jnv=DN#$?xEg_m;*ftpRX5vfUv3)BP}g(6yTu zgBgJJV486@p3>_aB6+g~g`Za0aD(rzhMD~Z85wkDOi!Z-rb@`_iyqs2FRY6V;8YjNM+ z>@!O->|jcK-l)gm9oO*&r?#2^)jZ|+6G<13wa74j!iiAptcB(Uc=G}E(QHLx0#psF z+%F4Eg38SR(4llY$kcO8mzl>lWxF)cG>}=N^mzO zy8&4bpll#13)r3y_W8atmuC?>Ek)d*&(Af2N~T@glk}!`+;o){p0SodhbfSUFFIi1 zm|qP|?<~VWXvbf+NENrQBWLuE270;xvbDW#1n4ZAO`*`OhaBLG2$(#}RhyiAph5<) zfVwxVv7qUH_5%j}4SJ})eyiqMTIyU!o!3c%IpKYO=_cvW>Kh&2Z9?aQhBqELS>Igt zTwgY+5baCu-QrM}KApOxE+I=AM;k;0Fg)YpA+cdN2bkY+a2ldPcOr)&s{}+jbaY@W zDeGZ^R7a4b@~y|N<(bhleT3j%)g2cc_55m( zhxr|{ZlAybV1`|c0kTg0qp{|MwS-uU!Bnol~sF zQatwhrfB=twGPy?{{^OsD*qFaWSB4nPdWR}tuMVnem^s@Wvj=yAO2l=@{-ieWlnz5>4oQA+9fJMnw&jSvN8KWN>n z*k@?AR=sZVyYp!h*Q(08t9CWM!k`0LFQ8%f(1Q(gn83a`SthmvL~(bAMR9Gui*OYO=+REJbjJykdt5 zw4P$h5Ey`EjNi3La`ttvw%-6};6vSM{hk-<$L`kPty%gfPKd1Y-p367Fz@?WQJlDC zM_If?9BLVds0A}ThuLlP8iR?MSM;oLd;=dgYU&{a39%rHT`3I-o^8o>obEFF)ar!ju7_=1M&Y}CH5H5ILK$JB(m z`TZ`3R%E`eT``3)mk1ehX#jl453;(n?_CL7Fh(B#|19vbgMgi~xMqXbKA#giZ zf8wiI=pxUa6aGiqsvEz1Y_@Bueuime<9BecBVj}p^-zbb3BI{5K6bi)Gv9aFV1uH6 zR6Z9HiO!R|0+^0FKfMXf`W$kram|yTh!TWfn6MWQY=t>Pb`{DD7G_pa^4{3Z%qhOz zLN)_pWw|pcs*~KW7_U2@BmsiJt~U9SA|uLOk}^Zff#3CfXLr5&$d91F z^s9y0jE5CA3u>*%X+=o-$_-){&S9r-iXbO&4}u1r#m}Zh>^S*&VZSa-?SKgd1FBsJ zOUA+~*&~~0w@`x4=j>gXTpNuJF@+%e$86;$fvfkF{wsv1X@aBN(?oL38ej*c4W7;i zfdjU-R^LUZsA#r+J=C#w2-^qvug#$n#8chxjxLayppN|tVsQf)-&RHZs>le%;KuyQ zTtoi{ z(Q1lo27WO>LJDxSF$Ow8=QlJIrIT17loJb1`p?+_CO@tboK9vYSgD)op29~( z=;|3kSI@gsD$q5Oub%RZ+3cecw?KzqpY_U;9z|BGstD*n007o&Fm3jbl{{hC8yzGP zznm6Qc-m&&zgu74rpyF^c_GR?Yp7mvR?e+f*9AETVxq1F_gm7?rInenzyVQ%bzgc= znW6ieW-As9;n`Hbx3eq)rmM(WXz%Prlq899cy285S+<=(K2~wP6gCs#9QklNg>%2y za-XdksTnE&0D?)2SyRA|Q2RByyFJW9<~x9&;xQ@DK_wU*pV&kOSHm$<1b(;i433AV zc8bkEp0nJVcbtM|sk^GEQ!aIB-R-?ij@6KdNpUKhU=17w(k4p^j%v_WXoIcjJS=sp zFkH&*J<*2=>l0~n;WOUwots#}HFfn4c@aSKdeQN&EX6bfM!OG3E(AbwpDA|%0aWdu zN`M4ln?cu9DIz1tE%J;)dlde3A=T(mS;DpX@cKMbc;V8+X_IbIxJF!b!Vi?H^l__%0grl{o^;IC|EhQ@op%(5l+%;@ZmdBrM) zWB>eTj~1X3GT@7b@L(l%Jzx>bH8G5?c=g_$hn@`&1hFcTvObM1^LDdiiU(anxrP&P zaX37`p+u(xD$vv|(=vL%Upf9VVZJ`WHLo&n4QxL=n~F3fQfb*twfe7f%?;A4mS53v z`uY&1>O%5jk@M0FG9r9_C9+b^-4Ut=toMre1o6PN7)s3r6bASwFid_3b*lOi;X`OV%( z$0a!#q2)8GCDc7=CJ~;O>wuT;`yod1q3R1Ns%ti7+Dsq=_v19{=;fY9t_7W@B?$hD zu7Q35B%K3k5%0|YA*uxuY?nZ*dGpn&jGRPM6a^PaL}1=k?@jbIKYZH|VK(6-^#&K; z#I|QCx>VQ8=V-R;Hg}1~8EN?Oste#(9JEThbB5(Ylj&>d3{u#rGc#BL7^!gcVsia0 zKUt&I*uftL&tP!#?GZz$3iSzKl@7asZV05?cZ&yUu=#_^UoIyg8azOq}k+e=Bd zRrR?4MguLCD4747VA_^@8Du~gQfcyDg@VA1c)~%u0PbzQ=O)#?TV_Ti)zKbx7Z-Sm zukiCwNWGAH_B*!HlAVQx6^tT&+{NDftxff%VP>NV4ls4K=cUvbw?ms-8LNv|a2dH*GdDg(`*t1+e-tNSZ3=JcD(a{w z=gm70cNY+$j0qH^wCpS18K~;BGV+gX5Q`v*)C#tL-sSN)+IWZn(V7ToRhilWM?z*p zve9+O;xH!z__ISEex?&-Of7KLGXF=%%l>`LXPS~_MyX0^)q;w?PlbUHW zc@Yqe|IY@3jtY>ME1H1=F?V}=`v}kA)z+`2Sb{fblig4L;8v~+6rU}KCH)uZB^smX zbMHcVNcNJ1aObW9yTJ-XeQbM_d0bJKA+;XHy7Kp^q!0qtKp zDHTNj;a0cLSnh}lI1ll$FAexmGBzallr4WPV&mgH;=KRtO%wrEIt|s|067WYuXFqR zk+clb=t)K~vdx$0F0DKLUJdMN#(2rZCW1h+^;o4Lktrvxxw%cw;BDr9yKq&EbxN6R zBb=#6SllPPArD;&qWa@3KdA1T1P&>F$_sx=|(LMt^RTI~s-+SB2I z3Kr$Tirpd7KzZJ;&jb>t1JW@}b$=DFuC5aJUD<$yYH@Z;%+_AEck_7Q;u;3GC;Ew| z3-1rb@?Rrlej6ec0w6A}o}&XXxsOW)gOEyn zq`&EiEF9G17un7+s-Ft#H)2tWTrPoPEm3f({iky~K7^Ry3VNExY{h9{P@}%d&P0-BpZie7;Ho3itvgTWf+TV@$% z_QK05wR0=!fz=hx8U&ZU-2OAS57ajfbQg*@*%o&pu9q9DKtoA7pRf{8O@2wZi(7r zvO~;wL3wC{_QAJqXZh2hXPN1WebWW<_W5<=K0;akNc7*Gk55IP5>I%N4Hf*5uAAVH zP1X70GiJh;??4n^hEeeO3os%t#IE^s&;gkFqIv?cvSPQqtYD$yJwC+(mR=a57UIYH zhfL=+q(2zv)7;q;YOJvl2Ew<(;@_bC1QDV{SJ_`hZ8o5jN5XC0`w}+W45Z+GYZjzF zl+4X*MS(XB__mIqsi*V@Qp}HJ7*su7h#M%=%SN>Itl8H1IQMisQe&VtZ#~7Kgj|0p z&HSo*<(bz!K~}_$`qUEm^Ob?%df|Ibo*;XZUHBvHBeb6q>HY3LDp@+#da`jpz|lYN z7CGpWzA2t2la+DZw9w6+HtRth^_GKy7%~h7&9Rq<(#^Kf0;yUc8;91yQVDde9$;fb zx{mok@@gbq(y??IzY!r@R2=KA}$v8JL8b3`|9|Bxr?x1WN(po&u0G;pH(+3l+#d! z|1RY&<`fti%G0SiCX&V-o}G^ar#i|c^_-gN5Ds4la)ztmA4nv=sNv=t5LOHWLUcd} z#z9e0v0vv?GGzqK3jb8Z^?4MHyx2;~wZ`SA@JJN>;lP;thZuH$>S-UCx3&rCw!fc3Ek<?ox*w$?<1^O;c;c2hy zy1TL|@Zyy}KKO)a!zBA&J^nz-9IE_VpvhKBC!zpNGN7RsLC)6>!{HI zJm;RyK3hf$mtP&C_b$E~a=ICGH;;%?fUGm5I|!s(p~py%c+&skl>oVb*=ICAyS^iV9*qi9;`tzM z`BP7lmNv5QKMOo?!2%?q1%%Gvcbs4pZVXq&+dtjE2Uz&EN8sO%RGfH?)9swPoAHaP zsfL$1izwe^_Og6;G<)~69101`{Z%VNr6B=Y0w!$s&sxPy_3SQPYpjA5pr3?$?ljGL8Wv4b) zyYto&rB(R6qMICV51i3ZB9F?r=wQ$(m)F=p!Y6XXp{4lrm`+SwMH5Pi6#2}6HCSF- zYa`V2Xc|lxJp^JuA73ewuci6D@rDWQc?yO7x(Uuiy4sJt{Vn7!v?RO~w#!u^bNZG8 z{k@i3mQtdsAefYr&G1UCocYh`=%rDRQfgH^a2^TJTR_zEVr5pkE+n}<_yjD2HD6l&XW8AB1k=r~B?Em%ApDmNgxE*|B)e4G8i&Xq&E8{5+WKRr z9c|Aa7|G>*ukq`=Qg^aane<4t9NwPhInC3joZ;XB5j&aeeEfEo2KGrf*5Q6YWK2YA zXmEc^9yoHAJ<_8r(k+tLw|Z`ahgkVjURt-dB5!5}%%wz4%kqGq_VDlk60k!21VJi-;>Oqv2y$g`?H27%iFR! z6&qc05bEeY8SUg(eKRjptsVLdyp_zIGH@>TGgh!eAP{&A-m?qu;~Z-lJOX*t4@_kg zm?=faAH{xt2DcAv`p&C*f22|b%1~^ji?5!JqaPM*XxU*t)_tN0w~Gjj1QQQ6L3ugH z8oIDG**yaMhdp=^8-d%y9gdXFdr9({O{Ux;7nF;;*b~>-ygF9i1uH7RLE!+wyamlo z6MDI|7IP6)j;TDD(*OL1P!s7ZEbw2 zSxf7$+Os-r_X`A$xZROb{A1qcunm7Pv0xpJ+)iNQTiYIOGcN;tG0W5apOR!<{TYsC zk6@=CRE&2a2eSL)fwP^YhzJs)wk;w8kh6An>-*J?m#^3*m*PV!KTWB}k3&*%Xvx2^ z7=c_1qUkD>Bv#qVLQ{6P@?1R)$V(_cfS%I2WeRfR8O2H!Y`gBKUUDUZYAsT5g?}IV zML#*3OW#6SBvwr%-sW~2UJG9(pBT7)FS5boQEFbghZ{k&Xm|*K(-U!CcFRa- z?`4LLLg`ihfOsx6wBm~mC-JD@*QQ-kHS-zh?bd9j?Y_zM7+yBm_1=vXuYD+ZlN#QE zf-lg>zyR}!C$vFXOz)W<&a^)99svLSQx)^QiYf$c96J;&WRf_q!=vSXEEfH~nLX_M z$3iwjt-}RqhZRKpoFz)J6;QpnJQ6ZesMr+RTXD-E{?9?rz=I2$N2dT6pfoNMspR9m||uMpgn7oiuf%S^;o#2)b%^FSPz8(oQD0uMG%FSa3fxojDX7a)(720rwva$6h$1W=6=%hJl% z&)%c9C0`;i>u)Ss&fm7Bx~=C#r5qf?b4Oi(OUsoq{(F3LoOTP1r!_PPd0zZA0N|jX zx|Bd24k%~=0n_hqLJ4GmjHgnzTx_1zVe)y`aaZ~JaJn#Bb+8ljd2>e2!3{pVjr0xC zV6o26HkS%{@3}X_O^jP;7c5lOThmZuXIdKi6r0+^x4+j01Ww5`G&EGm!d(KWJF*Z1 zT?aAbn&ubMM^sY7dTBwt&^(`C2blaz4yFU|UEGWNb7Kw;-?ZFLvgR%3pI@~=#!Jz? zvL=n&c~2WChKpHRGJ<7O(a{C{ClpV@&2(`)2s!@eN?DM?_QmP`0MLc6I_~FV#q=j; zH~CuSd5D>0?vNQnJm>YXtA@_0(60*C)RnQQhb>3GQFOERXWu_dS+cjIA(T3=yl+=lI#kb)^tl4JtfsL-bXg;3h@a<>x; zNJbWffFeL%P)*wo1t?}7^Qg5+pOl!~lE97js3z$X0B+)QgIP<*!QmLZ3!Wvg)Wm7K z0?MlFE|*gck*QeZ;wl#TAVeY}IA*WQx|V3~^7uA(ypa{EscZpxKl_`(fEwk_Z=4?v zPMH^)qNXjhTgW8aT}#Mwc{@yin(fj{dvyEF;bM%8>91A@@iyg$eoDFnysao-t6JRWCJ>{eAj(edfkwHb;9m`UN+|*$5$T0t5go$1{7iQsrP&`115cf+Z!NJMzph`|p&! z={-KL&y_FHUX<$q3&Z36>}OczD!}DAxLJRr1JP){7Ayi}=zv4eJkJhm^gAaR|D}Fj zZr^VWicjLWiD~?lKJ;!vzHPR<3&bF}#ledg12;6ED@I?)h7L1lejoJ6GWlnx2KYSA zSXA?3!L@o7%WXa!P@n}Pa3AnfgW{$~NK(l`UdrAwDg4&JrJpuvn)Wa1w8 z;Zlxvx}>s~evEBe3(e1go8i+MVN@CE4utsru>EuG1#Y6dk%b%ewzl)qa)xO7QrPmE zzhG~p##bCw73tN=B7#+Izrd7FH=y3Hfsz23@rO(*53+6rg6tB3nJ1A5=7jKR{_$yM zDBHp3-P_D}H!^aZuP*ch9xu>dR;6R2ZkMek-0c3ESO>x)bCt}831k2RkD#@XyPrhXHI%It1zoLegH_L!WV6$A}PWLXW1I~p(43@a~*REB;fYYjSkSK`w z#B%@LEM{irn`*$APTFGEkC$aKHfA}`_W3)b9p{Z;hlo8Uy?(vV7hFtqgSi^bjo!rm zppE!-7HWq#EX=}~_b*nX4#7UW2ktP`@S))lJF*YJTSgTe?+iv-a(ctKLu7h8Of8m@ zmPT03Hjr_^eA57}iPy;)9LmdX@gukv=p#f%eMKbiFZ@=S-_LQ9m{#6rYA-wdVM4}t zR6=ilF@=B0pp>NN_x5k-B1B0U|4QWggKpq1*MsIl)c*JbCb>EYE5sr>yQeu*-lb$k zM^iXDIx^JV`_2A~Ozx=h#JZ0bx2r8@yW9_~Nr`>=Mik$_ zfBy;}35i3Ny^&aQQ%|gNzxi8yNR)c>i^(TuD~>St^)2i)ltLFwc3L4!%I2FS5a&PI z*W0*t2eaqXhscPwPI(KpWT`$Z~0 z`I}+rO@n#qq6utorG@FfIDvf`%4PP2on}TxMp1zN(s0Dc4(TI-(er!{sx2Rz%&D!< zw!7iqhhOeZTiD$QeP_JWnzh7zl0$dhxm>MX)gN#|N-4cZ;|%eTD`^7y^$WPqeZ9M@ zqiRbF8)l)v?M6m~!xZt`pyZ*VqDuH92aR;Y);Ah=2&iITcxi&}2WGbW^Ew=Si-<@~ zs|_@$cFVM5-8)|y$g7siKd=)Ybp^VT2=tDO~g3`OWW+yR(6tuYYKF2(@Hom=9WhJ?)lp! zJA02?6ej4hNV=Ut86i|d@iIJiJ8w>o_P1bEY+o;o>ejd2SyG&_&FwA-JoPN1C+T?SE^09~MfmX8%>c!HZ5RMYSeX=AIX=l2 zoGVg9#@Shwlz^GX3jcGlO!p>00IL`F4PpQ8LT72Q+m;Y8M0$CxLbjt(Nh}nI(H!ea97;mxI zgIem#`jnbVM{c*obh49QZo@8Ol2T)&K1i8qT`hZxA=)g|?;qx?6xUQkmsi4$$s&nY zToskLv;LiIZ8QD)D%2t3N+3tfMqUVCnz#C)SY6VFT2ET_?`BNqxG;&lx>b&r{Pja7 ztPtjsPl?qCh`8yDjLRz2k&@~x1|02{lOiBV=!%`&u=TXGLm$oUV)%EsPv*+ z-axcf!L=~+jrU><%;NZJo{al>_KBu{@y!M6$-29y8>w4wU-{4$yU4!?LDt9{QfMMr z9(58b9gPN(YM2eF>0?lpd;D3p@sYTyQpp8peLJ>Tvrb$bL9iH= zr~p+)VkXybZ)cO3!hKCj(Y|<6Ir~aB+Tq>eFY|l6>4yboBjv|WsLY&3uU2&Vk~P}5 zB|{J;o&dSeyF`s+{p{mMoeza_6?h0<%{va*ejAnYnOHQ?*dScyAwvc)M^MwvmO8-vIfiJc9HBB$D;Lgaax}k zNe{8QA%QU9MOru6yW3B9c^d;K{uX9K42d3D%v2%;*#^sRpNlO%YSt{9WG+uIVA^5x& zY6!Px--J<}DTXF%_YM#3IBzCleefEa^Jck>Rq^?0xBi-W0(w8DwM81wbn_=3@;LF* z>gpZKO{#ne$<@e1w+&OFe>;z4R+l6)7$(C zN#C6oX6re~2CzLTCX2^zVcXh4kFf?IeMfmGy92cOHL~=B!F;HK!H&!qx15bVy+t$} zLFnf~IZK*m9Bh`YK=(_(*ZYp3cUyX-99l1@{t0@*)dB1egJoOhj~F17jt)GOo6uj^ z9&pZ%_v5gemj3iaZDo$)l}#n`>so-yCv8YpmJ~B>n(h6xA-xr?%sKMWM}Awh{TiU6 z1%jQG567D0g|QZ|tt4e42aP+9aAm?zUe(5>j@<4msPrV=C|3d;&a*kbbK+M2sH+Qp7)7o`^cNW9})s&`_+(WyAVPZs6~8-{Ce-;;2JLO*w#UNtRN4B zUw>9tpH&K9Tt&kRw&n~oV;1+HmE#kXb0iwRVKM0~VHGg%c!q*L08IEnPtWhnopO{t zK|j8?(R5f|FYW~K#CU}VasPeywE0j8ZCA83{!iQl$k6DB4Dg%`U%q@lw6qMU#`=ABD<$#zd!r?w5D-FHsSCL-i*5swJP_o4r|SyPMGR5>X^u}Q{SM+-rx`~AayN`etes=;nSQ9J?hlG+CZVx8T;>prQ5BuD z&P|McAUl-KJ~FUJlyp4_h2=#evWVL&T~Ba^-1+_hhzxa&xWYqz%$QlB`t zX_4{yAIdK}e;8ho6jV%=-j^eyjze#Qv)m+o0itKkXXXUeMW1chIgyJzia@GCetuP$ z6!uRhByER_sgNsg^dfs77-JJaMcFgIu_H(Z;-6x_2pbM$|$Z zqGG8pr7X5e`eR<3Q+7DagCi|;q?2!(!l`riJ1=mJNmuJ$^Gp0mTWe{{YJwuXg!X<9Jy zMt^L?kGVB|)4tq_Bjp`s4!2k49e!5a9&3WrT4RZgDH$=r*XW04t!Zs1j);TY>&}W! z+6@E=;^DR6P2DpxGGdRi8yP0Sy>6?&kZBS zOM%OWEE4Uhswmp%g0BXhuA9T3MOphnzA($Pz4`f0y>XB5W9qAWRi>9?nlQWN)7gn0N&%B2_)NNRuPWGvLRqYIXHz2$)+gsDXd46{~PoHpU6g6_vcIYT6 zXeM#>h?L*~%R_gpFXn~brFEw6uYJ!U{%U>q!JtM8ENX7(fz7k(JOK})^Oz<>jn8t% zbe`vb-FfnI7KCZ+P-wk?fE<|$Sbx1F0!Y4sJV!`Wlvb+DWb#EAYp00c4ef5_omC#g z4`VM|YfZ5)?sHl0PvTMT7ySXuuHbvAoH&}#Lo%;hC!PI<#Up>T=kTf8% zzb1w0%oJHWrk&*INeFh)#pMf1r8nm~k8;nhF_OnoT80@D2P6Cj?)4h{xWq&)5)8I* zFWD41CYy~nhULeW5GkZ{77+TCVPehgeoKtyNHmfzn}!VG{Nee|bX6{U`m*QUK9o8y zvD(vAl=X6{rZ0M)h*fJ=$U&50C)pndm6b) zXW1nr7u;kJ5^R?*k8-JAx;kjh7G(A(e`a%(@8n8F--=dYtXaRA8q$HrP+UI3-pa#n$c;W82vpuSQJ zxn|-z{oSMuVkDHYcW|(Q0r5zlCM+a$irg`HP<0<v8-wV1$Xo;J zjIz`l-GYw4{}zbyPLL_=Q90SIJ4F=$Hhtb2Goa9WlEX&q6spcn<&+)=Pss?QDf1QQyoOFk4VpSSw zF$l9_UmSl$>IXDhD70VxdYy%a=~_~zG`0FLCSs}A-_tRKQ{^X!OwC%O{Nue+BSDYrS9zX-&Q zM?$#-IKy--WJJfqCwm=r-}P|*Z&hpiiL(H`u#nc$(p3po2{|5MGBO%sc*4Y1S9m&8B_yoXRF-aW2RdEgikr zxz}`V?1LfB*yOZy!XaRTCiUe(S(fq`7!PC8s1UV8ivai@cfG2Qf@57K5D*0SNna88 z{G6b$3#n~oi&WDJ1D@y0T#JjZj(d=dnI5A9sv}b=I%{RVqj|-IQ+15 z)8x+Kd&{&|*6S+sPAaT0DfQ^p|7448FgF@+NOY)^MBA}C?m9XjbT>}+SsY?--41MK zeZ6vS&)eCBRqAVvZ%w$)1+_~A6D9-$7a@ZB2OZ_~OF3WW&d+3S**v&junFzk=pqyzlaX$Kkj)!bbfCL9r0J5^O5Som#VWG>>kv*!Uw6t(G z%FcQ@x0m~7WWfCmDfVB}U(caG)Mz7+6p;BLd5v%U`N$8*A`c~MSHAF%I0-GEL=u_8}v@aLqo+l5}bm@=p1iN*DAPW1gR3_n~o-g?7?Wyfdq z%sfC)3m>-Ufj7co0Gz!9>H#INM$jYx)s`Sm`tjqhm3s$C5msC z`!yzD=(Hs+DvoqkDV@a$74loJ8|<-YkH*|Apu1TkN_ zeEElRzF`zLzlyIJfz;CAr$RHl&vK)LPbdsezNH?~!8)4=q|i2)XXu4-^D>ez&R^fH zB9uIHNK$MIv)xi|qP(5Da#eKL(cEI5ob&~S)y+}v>CXkTP4^E^f1^K4Fro!t^r6l* zj~Wd8*qHiP&5kB`0e2Zp#A&|K)kUhUndb9S*yP;q%{peb4t3sSasAyCpl;eU$e>R*XuKi-3Lu^)flh%Ts3HwC*666KuokfY1On;ck=#Ih-9f4qUU6Go>pO+>vws9NiC46 z>)FB=Q-0I>ici}bbES;k&yMj+7Xm8#G9%lxiOrr;5v4klHnYrb@#YTkqcZ2YpeVkZ z+hRFRgUbpp*Lz?FU^rj-|cd5 z+=s-h>n3z>{Wt$y@PR=*x+QsU zNR>Mz+HU;`o_}m!r`i7TGJJTF4Z;Ipb~rEx^3L0ixJ&Tw_V)JJOUpE>F>nN^1a6L^ z+c{pqnzQ$U%tj943-3ryj4>fv={*MsB;!ZIgG~IW%Z|{U4;c-b<6nIbB+q~&X^;RW zB==y{`O>oBlecy#sG0)ai0;hAIr>!L2lsxXe_v+%onM$77dV!h`h?#I-JLA*xl;tt zh^3+dmH$kw88>xwdh@dodx1lmuPP9wSW59_5H)b4)}se0a6-oJpV%+XF4Yh5$2z|l z8lE=9xiI@)_}Pt4r#=a&SfMapxLg~~`r;OQb}G&&2msXpt4|Z0HDJ<<; zlDK!=lL4xSB{7}da30;GcTbvz49w6%*wn)s{g<_LjntKGspP_szjc?KBOUCJlzEqm z+;CPYL#m^bvg38G@&)fUUqaF?-rlpcKwO{9#%C6bE;3g0V*v*b9>?@3_a zt@=(6R8F!NwwyPpH~nXG%y*?q=toNI>l^p%4x=}t{B7hC=tbfxEO*R{F*K1U#=+tD zTe}z0hgm5eGx!!2cAiy3a)vyy5ep0WjVatEV1u}i_Fq7G?3}SpBGpldHL5z3@#p;` z-rJnX4QEc&1TqFu7l6%!q1V-Dr^dyj+@jLuY225suoHUlG*!jJ%cx1auZddK-f;dz z2QHEC+usq!%(R_wPl3Bxc{;3h=?TS=FzD5f-tP`Xr5b`ndsTNJ$E1_$_%pkdt^wRu{d^8b^gV-@8;)wey9)HE%z96adAVm*tKQt>^DK zJy01QaU|KhVD~8CA8eEL`ueTju*NfT(@`%?VGgFI%e)qX1grIb89dB2y>SG2mC!W! zU!uNZY|FIso;X`si5`mIU`p0kf@eq13Q|Ppi?N33sTk_p>uBGglshEfW<%cp{2dQ+ z<5vnMvBAjQ%j&;1u75bm&}+v=q^@%$hLA31FME0UXampBJ9`2{6GcyY-V{j7GzcvC z9CncKvV6W(G2XK<6DY@=_HR+3Ru*k3EF2c)^w@zv?Xk5kre61biN*_Ib=Ba5ftTuB zetm^{XJFGJuXL!h9j@yCnA_6*-qrmA@H2nhTj*7ufyYIE})?J|MNS93I6le_xASSYi`lq|2iC6 z9NBPo3CUW`uB7hSD*mC(fEhpeH_tQysMw0QV=?kA1s*$+u0ALOriMcr&$nA%^r`A%=xqKsS!VDVOVyzLPs z=g9Zo@F*5uNL0%=V(NJ!1}_(f1!S+^Z$zAomi6BpOtqIe+P%mlSJWOa*=@v5pdUC_ z5qW%Pj;!6;iBVLu?)!T%R!p}!kytjF4iV7cNkaKqNF4H0NBbMuI3F}V4ADsn)&NoO z<{yqHnUW7RKI{ap_}=#Yy2$GdDMJK%U@H&BNy{pi4<7Ksj)Q;A9M+hh+0Ew-3qs7g z(XKh8gH^gCh0c|+rR2Xg6_W1;Y*XZ+KeSXQjUwqGuYO3`!7U85(b_YUop}jfNJP92F)uC)WH9gHyns*khSVYliTw$VB-Tw30E{fGBQJ%-E z`4k&y!n?UF$w2s&zh9Vpy-UaKT=H6hV zPv~eNefpa5;DqnUviTHd>UsD+IBAKGdBRA9RC3GRAR9w4f=)YvfFO` zOswWQCCG6h!Ft=5-oW2)Z=G`|u&L7_I-$(Tp{^k@fL}3$il9#{tQTi2$L_ErTSGmt z?mn#lJ!!rSSCPGjlj99yg~1M%CeNcDyQj;2i5-RP$(NRYnb1<52wZ-Rh-gM(yenH<)bV&*9tDgErskaDVX1kgNRx{}!HkdQ zv0`=k>t4y;sC7Es%Ye1uJ2*nWZ!_Ilr*A2zhj_n<8^|v=tKk!qRMgaZ^*L%{&df*k zCLgD`4-(4jHNRlHOe3WODfzFrg~&GSiy$R}Muy_A7p@SYjG^lv69^9&%8yJD76kCY z7suyX__>1m%OB65lce})l9Ftn?Xclh~neK@;=^-w$nmrPdA0FJVI*P{m5{C(JXw`Lu5b9Zy6QX^ZluqyEhQ=GtGt&UgsI@ zt)NCTOFio-_x40WxFPaqL;d+IQ|IS^=p~;)6}fovI*3TY!$^52sZLpt5!T}jK9C`ae-A+_Z{B6^ljj~v-n`JR&T8BLtYmOG^v>L4%cY)_|C+`THu5I?Nn{0pqf8<%M^=j9v@k0*`XN9OIPby{f{^5bM+~3Pr*q;prp<63rC19<- zjL(9wQfNOZTK?1f6Av=pk)uRaGE~A&Xv2~IOpard?aXV|3@NHXpV_JP)o4Fdh`9~H z39ss3I(Hl!_^g6A&>&L9c0OL9f&bYvcE=;@ZcOvC2EGei^8FO@CMP>93CE;i5L zd<7F3p^eRq&?9_Z5hNt`-T1rwsh89?#A02iG?-)NQR#+e7V(b{TQ&$JB4}dx70A+y zV{GE{k)A$Mok&dxF8&LU?fGs5(#m%fS?J?DH;)?Fq$P;>JofPIP*y`&bN;lnIuUzd zWGMC4Am7er-3Zpl;}RQlcWgm~(=JRC8@&sexf}EzJUTuG-6D>DZ#w<@05mz(AbH`N z;d@6gC}mkme-wi^pX|=asL!p{CsE70bl|bx`P+HVtc@o}qPUq#&{cyP3?vcn&jzH> zf~m5@6|JhzmyUJ@jYwQ8PmT}ww>l+5K}9xM8@Q@Yb+x9U(pO@J`R5c`PpHl@ho^($ z;l(X%IzMXjC!J4^^uHYAre&ckci!*IXqbRx)z`z!iqB|es89@;W4h4}LBK|AE48zN z)7Jp<9M95|l#DV;div(|z;EB2gM*154;k|dj4GvN>vqoZuNGcY%raQoAbXSAg}h$$ba80@E@)mr?$MuTKnk@<2Ge7CH3tFc2RgYA3pO`Wdbs}>SCm()s?_5y znJDEB&SB-x)-5|%-?Ye6-^p@XDdhNSSR5D5YA#y>cRERLXt*_;Nect&Clpr07Q`rk zIzdnCu9&04q}>oe+57lyTgCi-1c%v0EG+KR1Dp6v#Vgiq^xo2CM7F&K)uTU7LYT`f>2A(kRA|m{|-vOlUr~wA^CXa0Z6v+`kflbC)!*{yhYT9ix z^CT6>IW@Jl*GNeIq$=ikl$OB>`0V1sQRaBGUbks9RSB`L{(?>S-%t?+Q2`lYUNS4`CZu?AoJ#T z#nOPbqzv7NGQ$k$N_YeWG83$Yg@qC9CROt(Y~j0u`bR7Jw<~luhGOOwzBW+QmTnBo zq0(2{1JaxMY5wikGyD}(2}t8rOnwvIGGX$ zRGXj#7|`vG8t6nbHCv=x*!Q{`xZ zplCv41c1@}{QPW*6L8w^-o1-(MuTjJ0RtBk5^|qR0cQKOM?O_wbZ+!~J-`*XeXc~? zgEF?^h#H__su}`t1gH@)`g<=B3lS$8%m86iHNAyw_mk9~G<%Vx0dwXDb<)iR!_jO~~E za}qr$QWt%RGK0ze!Mx$6t{P57d?8;V+|)2I*$i&z@Kh zmCcORd?|I7>yT34TQ+wG5uK3ubc>@Z5cJkIHYO@Qpi4|+V&A+)N0-`Vmy?r&bhu_L zS*zk0T;JTRZq3*s?;?jP7N98oCia*YbkIiF{AXFx6qMvul`8*f=AIGW+gSQ(pJ*e46pFfXFlxHr)1Hb+=Hu%b-JqTxS|{Z0%hGbs1v3iTJd!VvoEkN z@|YWrlkN7xZ(!9H0$hiJ?#^_tivrxpZGU#zovxmq_zVrH0E0g-yZnpNT|@bs_`#Aj z;4ja|RA_#?)*mdy7%ie__BV*FaPFk9s<$TvcT<(gFdo=(#yK*GM}V1Z?ZzQFdD*Kq z@46cjtGbu*h(B3Pmn8zIb5goKisH6x*MbRGi6;*XZ|R&%a?5#3A(tqng&4$!$reZQ z3TUugFzL-zuvT>i_|lJ=n3w>8H-lgd&G>LRzY{PFRmXkp#6zT~Yz5=X$K) zg~75%QVpVEb>8jaZulm(lHv|nS0XRDvqnX@s6V7Xi0OENEH&0m_RN~zYuBzds6=CE zYEKDKBd|U!l7_+&y+fg<% z*E>2p=i6g3MT6)}B1UuUb`9x>W@F>>3xy1PH03kO zKF9aP(xGV2U7yP-h5LGa>N4L9l;5NngRCN?tE16Kt1~HF4OJo7-ti*)muff({V&i z`2z}Df;Ujx=njACb2>O5xnF93B|tTSWQtQmaA@Lhu)ZVUJ3V3n{uh8hu8<>+PfrWH zf4@{{M6_!>Wt0(N&Wr*L62mB>v>Xam zJ~}QpCo)b=#-ZKIkLIu<(@pK{DAGoR0m=rBa`w{dr;C@iOzcSEuu{(A1EQD&VFwqv z%@iI$t%Ajtf&MMeMNBmLZVsFyX|sJ9&njJ)@7-yJj*j1%Wnm-yjI;bMS#57)Rh1ya z1GdtyhLj#-QKZ)XspI#eBxeUS!TFWOp7=FV9Hi)Vs94dm-I zl|nxN;J{c2MDsdW!>!}6-vgaIr&AnVj+2ok+IhC00aVv~?)n+uMRRs9!UKBNmt+co zrWleR$^!oW@)cLE;G>anW#*p6!0$jlmmIx~*<ypf^hAWeZi!}<@7?_T-3=?{ z`Ud(KJ5Sr8wiK7aMFgwhpnxz?q#JtCBQbABM+fx3#tZ>l3)+I;Iyvi*7yE^V&d=lO z=hFyLvzT>?pCSwX>7z@O964)0WFfDd8_^>ly(;&9K#IGjgY4 z{KP(pAX;cMN}f&DdKE6v?9TcTROoynOO!8=@A!N;Qys2YX2k(BXn~aCSrTRc(0|vl z9}Qv1;EyfJJ}`mZaG!u*S5`fDz3K4|nfK$@U4Dkm zi-l>1NEo*nNi`JT1Z;=a@{?`Got5E6@MA0U#_uw=tp9MFE3=5%7YOXA;aXosJ!CeG zn{@7a25z(IarlGG(C1cfo2DbfWJItK{((&g&by5Ic1Np;ECbBFOB0;qwwPt#XCWk2J zp}g@mc>Fi|Fvb0igDSobg-Fx$d`4GVy%&~tcHl0>9Y9580kFO6hFz6cVtQXc+_1>c zH@nXgJkMu{sSb?ZB#NoU9X7-swdlgVmwHV|9x|X~9515=aBV}6d`Ge&ZDMb>>6MVY zKaMXKK7ATM5RUkoTgV%Ji;PA@*=QtLt-RMI5*vhPHy8ZUkU&T@r)X%XSUdg~Or`;m z2|&0)76IWGik))#(mx+9hhrORc9+TSbT1Ekq#HW17;+&zagZwFV7*^Hd-La0jC{){ zUsUuN@X);GLu^RS-FVV?VrZm$oUYY`h*gQxS3U+~i$LaqXTlX90Ge6=C2^!HgK&r_ z*uSB!4i@Bov103&&sXc7p;78G7~dMm+Y-}B8@N{&sAHwaQy+u2hoOHc{BtBgJ0y_ok1$F|*vke_hJtX^hF}b$ z|5Z%3Oe%w`ptjhxDjuC@?R;c&5PlvcU9_C68pemUhWbeFqURo*whQ<5cQVk__eRoo zs=QZ3sdN6@L;!!&yg!UgP{HrpOy1dUOfiDTOp*ZjGom!N7qJ^@U%;u$=a+`fScGvk zAdL~m0;3heZ3)n!7O{|b2C~Ij^DP~rrRc?*MP8(2?x@HBf%075f!2hd#}30)qb8e{!GNX? zcjO^UKrk&t&7WC%>)n0p!@{%^!1@I2f~i1yyZoP*MvhSAqxYg&v_qtMW}@4xHG{AN zy*r#?7>_Li>S_oh+s^P32s(24^!Z3}3~MUX`=ZXFyyR6+TdqB=ByAQkR? zV3OiEud`p6C0ubm-j8`em~Lw@pyVidN(Qx$U5nz@`P>OP_A`12p!x?4+gvEy$8*mo zwTdgbPy^T|`lP;I5!5~Z5he9lB3n@dVs*-H;lz{}Vd6tA&&Ow&mb`Vmzh2mpZl@Ef zAbr>Z1VMKh( ztq>GJ$mYHqoO;ci%5|Qdy4~aRTud`}PIzs8K%8^PzZ%d=DXlrCVh0S{?4{ z5If8NcH+^kZ3S+qIxZ}(0=jE;M32B&5 zpYY`8u2(L|Ae~Tvp9c5CP)?s%Ozq6aKYWYen|V)qWW*tGsa z@X0TZzFY5TFW+h7`u4%@B$HTfttpBn5fqdJ&GrSP(U@;CuswYj;*6_G z_XP;kX-30*e&0W!HB`sFeyx5zf}2;R6u*rPnf&XUEK^VftxIvx^w!lCVycDmyHD2_ zA|u#kpA^?tV##|vLH-g=d;l|Lw}2thO>PJEAX2I!-PGu(>8!+=lG))Q-m6erpF9ps zf{ko@m2x&QF8Mi9yzbw^7OwM0U2Lt-EN^>H{%`WkxBQu|q0=Pr|1RlVfz zL(SE2Vr7nQ@&V0IoEk~@ZnoAZTEyN;U+U>H*hb(^cYUBQ#1-A=ewe%OLYS-r;?O9i zZ30xjRZ*m%9Zv&PGc1a9YH?9>|)ZSfk!k*%v`4(YK$&FUiLD= zce)?N$!lS4Fs8p}y-!f6)02!GrnjSU*!*1j7H4Np*8Sp_iVBPJl`x(bR)PUr7E&V*}KGN9K3zB*3J@%%^%GX zO}afahqsk{-u``ZAduWte9f5?G#;ie9vdc|ZsrzqLa+*-OkEyKVm3s%t}y~XKh5zkF_U(rrn zr}WkMe}555!M+PIH}?l8p?3+3BNZSCnPGB3KQ7^2vp6a_@+dv2mgV9wNp`mM`gFbh z-VoU<|JweC556Hr8okyYFg|m%9tWu|1yf>kEpyQ~^|%JsUgOM>4SNcu6P# zd##n8GQ|BJqjp?Y0D0}qO-%Tgnx^q ze_XqZnhOi}EVtndKHQajCS*2eE*rY2?DwsNwPyMopp@YS)*k2hkALK2-B}Ymj7>l0h-}h#pl6ywcb% z@Vr4O2z#SN^_d3A+Du2>#s#FhLum-aSUkzW{FW22FgvgOuKZtes0B^u-}BZo9BoTdlG2s#ywstThVp^d47qTQ_cbtkBF%w<@o%0{({of;MHaoIA z`ev71g7rFv^{R%QU6&hVb>GCs{B@L`L1%}q8*H z(J;p2Ml-Zfc1kC3NKpw6@`T4_1KlW0B5vhb2@7jaTCV}hFpRn^x&P(^BN zy`N)GR5Xd2KZiS}RjD%|pC{?=-SKx#FB3`>s98_AJ7gcPlZ~n6 zKeKQ=gjCW>?PfjS3-eUtugLQ!$RU1Ok1I{29ttmvl9;J`&4+Xaf`oDF%BuWA?iER# z8gkNs555TjcC-5ksuG z9%njbbZUASj8Yj~Q34j`J=OfxJ>i~JPFIZzp?_gXY^N%jOdJ>mBwV> zkfzBKcy*Fw)ce-VDB_3)i^heWcxCKw%IbH1Xxxenm!l&tK|Y}%8u{+{uls|+tFK$y zr3Li}+T2CM)s&E(N%WrwK;7%(F%1ENZ@C9ZYMkt_U0}P>_a1k;%$!-?QkwHRe5UUL zXp1PLvUj>M=*O6O#wo0(P{PwHIK!T-Ax5^=ddk;sxSJq#?Z7YN*E;Re#GG^K4r? zszG;uhadG-=I>+P2_ug&UO0bqNYiO(X^3`cS9@7&`vkfX_U3JwGYexf_lHG&@d>VM zYx%n<6A!%6r6s4IEj}GvR{nl4k$3Y}M#YQpwp*N^yG{5%pB+F$dq8WlD2Hudo{WTE3+d?Y2_qBeMNLL5tqAcm_`r=|soY z`NH$aK1?C4ZN=kqcd!X_bhQ7{{G0Uue6c9<#V=itmQ!{zCZ4pQE$nwsW(Nfa+8SsM zT!Ov|wY`H?-@Ip4&wBY$2F5;gI&?`iy~ zqc_c>jAN&yO8g_D1InxU54~+fEjaJGb~ci{$U+YH1oZ z{8fC8j*!%nFyU&KMiTN{-N+S44)fd}>`ll(`nZ9SEiCDtj#t&s3H=w{;X6$m@m*L> z|M~JY(54k3yLa||-Q9{rFi9)OiU)2;J{_Rgshd?8S1l-Vc(dq>^r^93J{YbO;xqB! zbR5C@df7tsC-Q?*mWW)1`_1a=>kws>0fzj~vem~F74KN)p(`Pt*T*5GmkQ9~D8Y8f z1VWxGp_V!QY5aoT`fpVtz}NL>)T;d=MNx0bhmIm-o$NRx0pkcCTb-OP3px8vv1{1W z-*g)jH9iE&i8G!%{dT!Ke@+qz?{9h&RxToyi{~_<$VWdr)6d-$&Eeyc& zkZ)uCggm#(LmoAm`V3vJ1ab@rVQLk7uanf&)&(hS8*zCXv(pCKe&AIZ%JU6Bhct!v z-B5_mBg&)*5xGD;6#QPIPUqR~%1Y4EF?)urk>(ee)DHKP2C8g)Cri=(zS49;I2l>1rclGur%+Am&w zb`suQZf^M^!yo|S=N-vma+z}+` z-Yqi7#$U-^d^#Hj#SE;_tdAhbK8HJ($YP5u={ux;F5~h++E{hmurC@XY{I<1U}Z8Q zij*WIM4+LP7nk(tz|?zoYEt_HsFPNFklwq`Rq_~)txyc?fu8r?y)9e--~kDsgm^=y z?}r~)oI|=9UIQT)90!K8$IlR-Z1*)1hnc&!=X{^MpV)|zN8(-{%!lG7qWGWW;w+%r zA?Lc}+>J5GH~8}}T?{jAwDhL)l}&N?f&vu_Kt2hFiS>};fJdn+@-E55Mv|DfOjY+b zPnSlOcRm#d2iW(2=i|`k5pY+#NNcF_Avk_-x!MJtDUo$E5mOTcp2duYNv0sAD=7&p zSFU^{4*eh4Efxq~aO8K2{+>7cNxsD)gLBUTo0pf@+UCJ)HyN@2ren+g6Fsg5U=vg< zAR1$^-S9zzG5LogNi?8;J36wLbbF<@b(*{IG@5@qruDlm=y{V7*1L?$Ug6H_@QYyE z{)OWdv^nCDjGB7OwkN514ULU=SXl|fn`h=<4pr&oXk@*;6PWmaUSoTq`wktQ7`pa@ z;J;)FyjbJcMS9HDVG^FNO|bM>gTwKtAdx@G z{NPmS>~-2^U-JBnrtSu5ngEURLA0@P4o{%itiDL;FUWSCI#1$N6F(>{Yn`a&}Ea7e%~1jmV1xDj+giB4fk&Q3l}axalGx9 zo;0vddB`MOk|q^-=Ki;RXlQ7to7~pl0E5>b%nImlndI_V;XW_rlNgXv20FDY5_Oi! z-o|I)wg2JOT&|-Dtb3QsNi|3c^{IJdn!uBCx&J;AB;gj)Il(VIWUSa|k2qRS3J%5N zRS)zBGD1RrrS%3;Jrx%z%}X!GL8%gvK}#Ww zF8Y5oEOR>AGpY5VkhHdDhXydu1q8CJ*C%K^@-!(^*|0io8ipT=Q(kEZret7PN3r1} zkj|lJ^}b!}VB2{hQlUuN z%quujju~!Wb#5olRX=%!O=(f}ZtGzixk~2KsQZmF`^IcW?S( z-NweoNocvP3v(`;!XNv<=+|}V`_%!3dK&K%`&u#{51ZQ7ZyI4Cu9XE^f{n7He$DeJ zEcwy&7agNO7U}jpQ6-XmDRO2ihRbx zCq_>`35uYBY0fnUo9S%5u+$MNPA9vZj?Q`l1%so^eN@buy^!GpRo@ttUnZe1?zvmQ zl7Q+s6EshQZo*Pi2f$-6*_wMLm!azADP}mLaR|qsPdmiW7aoK9!odr`flGB0`o?TJ#1UkaVE^WJ@XYFs! zvZz;}z>t%$8{dLO%b57ncfFU+2$Zy>aVA^Hr0?)a60FACaywZ)4PBfKZUqTF|@AGy}~BBf?FBK(^Mot)<)Zj#7sQ4qIG zC#GQn@8m81jpxNw7DHr7Lb>0|BB17^1KKSbc_>~(O&Mf=<6E-vc?_SAZoX~92vbv7 zh)>xCJa+f;qDyqJT2e2AaHbJUS&0_DeaRLrU6chdA>rL!HO3YfMS*{01O27$-@pH} z%ToE*+owuOH(nQ+Cv{mS`;R)EM*bz+LvX&ZHeRieCI>7BUY`W0mxIWe*sc}2%7(!H zgGK%ANxTV!9Trf|faF|GlZ$+HHgbMU=bB`6Wygcj%V)he+e~CaQw~ndIj^S~1}Fb0 zQ|W%CCh>gg=z9RO)U*hxyTNc#Zl9gyQeP#sX01ufA8CMo#KIC1GnJSWclr3Dfya~A zXNMH1qnu7`^6OT!_c#z+UCm+Ynl>=2bYdCaY%W&dGj~IEokUi=Wz z&7-ki-#5^=i9%EoDMS-0Qz}ywQX$C@nTJ%Gh$yoLQ;LL;xiV)eWsJ=87$sy3A@e-M zxt_iE?|05w=Z~|_f5%#TefM{l_x%jdb3gZeUDtixeSPomj~ijPdZ(u!J1;RV8})Gj zG^3{GaNyIj+S+?>mATJdyLOF97N+0RQ1cM?0H>8j4yZ+l&8EZR%y`RwRW9ZYvDs%-*9%KNZ=9*-xDPUstRw=ksq*4$>_4+&=cwcA)&B?>ng! zc9Ge~i>^OQMFN8qAn;pAR~OsPa~-Hjp^;z?0aTq|p!iOJc6`5e!sBM}B_1!3^QWYp4P-g1J7^@@lDJ8T#&e z(8#bC>U(Er3cR68;iy0nG28s<$4z0g_7EsC#EL(nr5>srP}ZyeQ1f@#jedUY>Z+1{ zTbD2Uk5G3{Pvw*z+`m{P?L{y;SQwUe#5)ZdnbIMU`CXWM9j*7-mWVJx^u6%&+gdv0 za;G*_JOH*j-J_$ma9gVgz1Ln2Gpa)L!6+fTLb-JrI;3Cy{o*6X?RLC3WFbVpj@|Ib zwNzB3U3}X?&Cac(57*Hm_^rWVLdPx<2&1s|g#tuU7u25a?w$am`7u;p5SW0dAC*MFIqol9i zSG%(2E7hR|=|^QM{JKsC$8A1I6g(_&r{nqCGOCn(+k2#$ManE$CE5Q~weUG$uN70% z)zJ?BIj6vu00>(-^0v7vUvq_;jKgYVwDoYCUL6Xa#RWuZ4I^dJCp0$@6Mi4!E4J@m z2r`Hbj?42`mzO5b>p4uT!})yGebQ;KsQ6ENAzIz5LPUM#p0P5S)*7XnV*>Z&kE`LL z{!aKyXgqYjn5ebNyl~?&^Rdp8geAu;^V)UHIw$Vl6^2il)qn$=lw$~y^P*}0{q3J( zFArWSz)OUNAaD7?A#w3wM2S@L-}!W(6dQG61A$%^Z8`$M+&;y?FEDIn5xdJx!FBB3 zyVnIq9pm+Wf z5Y|M&D_}LK7SNsmCT4zNp&>zoA741g{o!Bz4c0f4U9Iz~HE{5^UdXn9#pq)qELl!JXepmh-HgoEE zbt8#WQc}-Bbh8huERV_Cicrx_*$GpY4vpGOy^$2SIq_h1m}BP@w-U$MzPzKeo%!amI3sp3`5ezS{8G z9GgjtMG$o$O?os!4V*JSlVFci3;A%*DkdXxgxcG~@8)j7h`#>YSn?-H#tX+N{3o zQra*NLHNeErx3_&cfQk8GLG*)j4=u9j&p`DUc9&uG3NbWKBpz-kJb#&&T`JK^*GnM z+UD+c&E=+HbYFFUYG!`J?PNEs{B_X+qY4BJMn7y7`@lbok6ANV85;L~!6Nzd3@ZhK z9}R@@x2|<0r@*Qvsni4(YpO}*Hsq`tmv>oTsriB{AQ=l;+we`ely+@1|L3VKm`y(0 zsLlQ3!P>=u0RFqVGa&)Y;NDku&P%Q|2j}PZ?B6goZDim#v2u1g)x1j@+jM+(mW(rh z%6|M6n$_u@GcrV8zj5z> zv0IFM=j`nzuqiFG@?_lTDPCfDlo|7V!KOd6j=+k|itgaO(e`0Ajjk_~ipYYjTZ$Rk z*=r!FRd^PMR&uXWjJj$})c$^_7HX|0XYrJ^$IovQlb8UdvbgJx5Jx zPn1%zRqFm6^eco6VON?L$7ii?_Y~Z@l2r7Q7G`?MQ1qCgrU1sxaoa(NNf=H2uHOk) z1oG8WQ+I9gnlA6UnDK&bnbrLqtcDS$N%tOJopPL;&`a&5fu`XLGMo`pt5o3xB`$=a zZU=$rsSbW5YN&hHp5}Qsls8(hlGNLiE0Cr*t1}s{zK5->yXst#>#7Uq2FIo!C2@3a zQ!WWl#)CO**{2Ar6VsM7p7!?k!02*hO)StoA$jhB4g6c^X5T>*WH*xOmXjla5-AhM z+jhi8&uxdgq0Z`r68Fl&)PTg&SRoyUWC*<4QEM1MW_udzV!M>11m+Idrrv3@9ZIyv zI#3J}av^5K5L4BsME-q8obw6_3oqr`+xRRFHYM~oELK%i7&XRT$XOUnIHgC+kUlB~ zqs*;|S|7V1$B8oi8r^*JXck)X_e`rRD=Yhm)kxl~6nM(j8u0UuxBD6O|MYO0Z5_qv zDkPRdiN9jou6@1w++mZn*7Iv0`#&U=(aeq>YhAR_xO@F!@$0)nA5Weet$c7?f8Jk1 z?~;)|y|VrY-C!lG>^V_%mo`>B2&|^rF!{$j8#sRSjW4D_PSLCGtIU;rEKIM9gFh45;M)ld+8f)XZCI*5t5vB2!bac{X<^M-+S;1kI9wH#iT^u?!V1b#b2{1DyT8gd6Hy}i^(*%V=&Wu|m$H+`8N=rG zl4;@ZY{&7f&)m-(GCJhkWVY)0k3~uAy?NArP6a=&AD%b-a6GhXj8A@trgo!iZX04} zQ-CVT7Ar6@LAI^z#w_pCD&etY>ft1j{^^9775}`?!rBc&KdkmpgKBxydd&KCtP1VM zp)E>(ZZQ)(eDq}knC6`Mq{m*lt`+_g@b;gd&0DF)dYk*@dp?9p$)MJ09+&0&>Qx1N zy){4G+|DN6lKx9-vg)us5&+Dw_+T@61tSuE-%k|5c|%;4u`a0-nkv*abbIgLg75Ow z(0A_}Ntv!3j&lzX0N%qoI$9~TBFkz>$5smAuK#!an>KtJ*~M_W7{m7weJT8g;`H+* zk<9%fsWl*pCDaR0=f~}IvKS!;d5YE0MHGJph@SJv6L(VI8xWA(>_gK$v2kbXhE*Gz zTi)*{TENCxetq7+j(hCAXRO&_us3D;^UJdb^5;~4E?A(@Ro72qo$3v{-@ReF7r8eJ zmRE*P?Mwb)hAbVl{Q`LXcxnDfb*@pK(}#w1_iahHIarwFpNAifK2r|nsy}-}!2AE2 zOinZC4Yhw3Ck8JtGLFJ&My6PJt(l;?lz5R8|HzoPAHB(P;lc&4HR=wqGlIl=;9KGj z9CAD;9x${drtzrR=jn?`jEOr6?9I*ncDUxFtjU~eP#|V0?oXbOZXhEh>0W9V`x}6g zAoFs8{{G21GL_d#aREBW%<5?d2~Gf0F}q!%+e0nFXyEe85TzX=Z%HvIEFs>Zo}SwV ztBb~f$>(KdXOKshlD>rW+dmsg@H|QPRk+$xf1k=^sK}j%&!2BXtrDx9p42*Y%<@C$ zv^C4TsQD~I-TSGKKjUuQnYYGoHI641^1pG)uT-%}D&{wyw}e&yWV1~) zdbJO3XltpdzsLG>#3+SwA)UkbqLGBaLP60U)mI9QQX6AyBR`2QTHeS0^?3Hoq&Dn$ z82xb0>khZU$h6wXw7f?LvR8JETp0M9Q?Pt$!Hgwbk3sUJfZ&7u-#%A#Hx^5@O&X4j zS~~>|ef*(Fm9xMI)1~{PGql?q%0GG(PO4jt^f!IV)dBo>q*n9;e+xDVzQf>%&PoQlcn6%kdwOGmY?0My&Llm=@LVXF z&{Q^wB-j7GwJVq}gC?9IpGTa(Q0-wqyEel3(TlH_{rbEew!bwA;VS#?>DhY3Lc@yMEiJ z%~pRM(kk@XGyk1x-^hdPhh`?qV#O|YUttKc;;o=Miz06hs8S?)~gihLAmdWpve+p;%k2$JzzqOOQ zP36SC%;>zTS|`|?qkV7N@$n~RHn53pH^9l%(#^}&O_h6N*d}h^D690V4|^Th_U${j zI=D_C!Z2v)@HyYn^Rtr@K{490@yVFH@(BMFel-N&wS7R1-RFtcI1R-`^%7O|-ycsj z6mojg(>h=c4jUfOnCSNb`FQiJ_=AArPK(|t!py|kdeC+b(~h6jGjd}8R;_0*7OH5Y zk!~jbyu4<&=$x%KOJi=Twlq-G6 zN|~Bc4ml;7@n43uL$TiNSAF{Pt+miVl@H{E6=q)#P9=ZSUwfR!ASBgye9B29N2`lz zq{Hmuzg%Psp){F}n9~>-g|R>Ukrym*O+Gas=E~a_VWD2h#Q}QfZ2dKd+l@twMytOF zbUsn~k15LBUEcitV|e+V{%b<8Q#>)huT7QVDvZz=%{=p;d;Q1d1`}lVwV1An)UJjLFg zJ*&{UWhj-bAMDyltJd<5Myf@&eD$d|m>|{N+4}EZespK%%OC!vXkVVH4oT^MRYelU zom*j^xR0u2fbAL8K938J3};_k#Q5?k?hr})uwX-Il#kCa?n2E6P`S=*wbi?ptKsJ9 zeq%%FP?aEZq&R*Tq%7Iz#2=LN8SE}(ka`Q;AdLQv+z#Pun^4`y_SpOjyD`OoWwXjC z{CZxh8b{6OfWY;g=U4QO&$d|teOQYjU{X$!u%qAqUB~iSYwM-=mp33AMv{>E`L-y7 ze~PbQeQUe-fuYBXkcPaD;opz3Z4^npz5ETE;>sodu7tFla1a&kkih35i+rOvOFSsx zZT{Y3^_G8hE@}_{>zw@6Q||TNDRGe*+PsjY|HLZ)a4mKd2~unc5wh_KM{a!U#PFXo zpWT)46lGgM%fknUMeAdy_EYj!ma{9@1izpvH;H@m9{Ad1U$B`FirdpaGWXp+A0|=$ zp;l5sO>HaSX5s6N?xYN^4n8KHL~hB|@OfC+$XzqQC0O%HCgS%-iUjCTLTVWW1Cd-B z(qDNEJ1&Ctygkdvmpf-9IoG)c2}0#ebgfEQ{(8UB*}*^gjyAV`ymx^DI&5WmHt%gz zl%V~bdAt4OIdmfw(llweb#S0sC5mnA@&f0ZyW}%1Fz_ITkG{1Nch?=zvb>{jsD#L5uD+c+hj8uGlLg5=g8@ zP`|zKU14(A&0+TEpZ3qKcg_Kz zMrjlo5%J~1OMibCZ*K?#KqX&jNEeHKwoYlz41$4%GEXmQW48T%T^Nh5N%mzBTsrzh9)3BDR z&vSCp`gpy!VH*8wblZg&s`Mtooucpt{FNQ6B=G{4_>oDDfXV3+s|1)RK#3gVXn3!||C`?RD{1+X48h-ui zPuXout&E9MczI%~czNmfa%Xzw!8WD0St=%?rKPq*%+~o`#l?DlrCdFQlT5eeq0=o ze}OAiEc6_bI!0|Sx2nRW!vDn%Ye{qHhpXN_uL}GH&^E~K2w{W0 z|DdoeZia;QDXaQYWMeTrh)E;oL7j}}JIr!?kmc3`93U;>V%C4k5U?MazCvnfS$~RI zbYs{{e*GF$$5j9~p7_lUw|*a=RMrV5?;UBl3GiS<<44~TwJqVrK8Cxj2M|mFc8}03 zgl7kD1=8+|jJChg%aFw$kp@sct(2716-)~Ows_v&KBs4rXDO6)(UJ@2=62t9NNcR~ z5yK1r>F-`~A2hNtHGz{U))oQLW|EtxBL^BU53=ZnZo%WKlX$UUM^M z?C=N8gI*nzA2g(xW+%;F?ITl%2y3>uQMTJ#B#D1yl)?GJ8#$n&St=UV9)90v zj9XKKj!LhQ-msC*YF?6Nxz;>;m!#$dbNhby=_ zbX6b{5jYA+5Aem(xW5G*`S5h8!+cFl{>(su{SO+A<7=mslglje#0Aj4nT6#HG2B1} z6>9Am_L(+v?A{1&bH9W{2w5?J>SOHC2*V<1wAQk}=1?t1-kB&OMrVT5mzxOCw{ICx z+xCMy_O}&As2tMb`xs&>t!MoscX>_b?A;Yqma|!)iJXgTK=39;J{2xPo+1VK6UC2 zu+(j58ODLE6Vrdn%&Jn809`p$B$v`}vk^uEeXC?+M3sd3`WC{2rL2_0sVZJQ0n~%Y zv7dK+zaBxUYd_x`U_afY;guMTKJzuy4DA14@BmMA%=6dDo<2=-3zb&wth+pj^oE#B zO!^hcZ%C{xO)7mS&Zlq;e~-{^WNfT!YeuG;5-1OlD$sIA1N_F#=9I`H5$phjnyXFm z>Q!OKgNuq}^=x{X@Kk?ya!yn)8_1B=lP`L-Mv=88?^-`t|n$Gv$HbyGNjeV_yAvICUqTvHbQ3&rG zgIq(YcblgRnhIY82L5I-!0HM_Ko?EA1kiyD8|wV>K&iK%wTM*Ixo*P_nVo|0gOq|3oOvu`is~(nfNzPIs+-BLS$?$wzl@$XXU>8 z#gq64W^?L(NUgvxJLC6jPs((!#E*a-Sl1xP`+Uz!#*xiT-f)^(M;NG#_~!4m zOQmyzW&dLIw*eRw6ofF;)30CO3F`9~SlD|@I#~@G$89F|z*bz_!=dSL>&=!lQ=jjT z02t5AP<3KzixHwLs(&}B<+(>BI|Kme<2Uua<{iLdLIENFIDXWuy^2sqgjq>3EW`#y z)pb$L#qoH=|}_M{q;;KerU)?3cU?^(#nQIRFypuoSb6DPqh zpd=QoPq!*L9=%pa;pgWcL`wJ8*CrabnFo*GjvVk6_^Ogm?KKH|S*YOR#3Zrd9!vb1B<8v4>+FG)8ksG&XGfm~5nzX|Wdw zOfLZQx%v53V@S&m17*RXqH$eM5gp&q6r92^QKV#jF3ftJsio{aq&8~d zPhsituhHiYOn*LdtHqCGi#X*O+1Q5fb0B%=7xV(U|1C)ui&1;0(@~87vd&@OvgM&6 zOO)e2!k*xe-vf{YClh51oAfJ~TE~^Y_exK+p;r@IUnNF~je_|$g=jptLBKn!pztOl z!kG{h$6}&3t3; z<8miYt~z|RW~~7p39{?##tpMT@whUDYhMNjSHebIR!3(i0@s>9;rXO*bJS_25;2hN zdoEhab+8*S=yFZu2dVH63>R@?umXDR1)<9$=+z(@4hRWIIP&4U*N4Di{R+Aoc4sLJ z%r2oGnJ!H`UdeGu*r~7>^zgOR3L>?|udUMROfOo{37zC>*f^KlR^UR*b|8WFQsTEQ zL#r2SF94(stzdVUx4cicFyk$t6_)xy$J;ZFj)q(HcITZ}rouTgUU7cZt8QdwB*;vRFe_0u!(au$Gs*K`gKSEJqy zI&$M>&nr-^qErmMR&d`)MRHJju^jcEA1zcrK0pfkRP`)6>(9 z1y&)Ur6$jntZWld3l?;BG_4gC6|WJNl!iezfmkX)h8bE>yHm$%wEZWK*_AxUzhxB_ z7A*^H;BjMEYNy)~d&(*+E$M{wCFhRYjom>qbrkc8Cbv*0Ct;W|?IEo+bGkYT(iF8{ zweT+~5InJFk@GE1*tLJ0*kQ|paQzQsOs0q7b@(^;A;7PaSL{{UqCu^K;8*(ndq8hx zfNx-68UBO-{KOnV6mLH+E{o;e5Nda1%kchfC^1QqpQqPfs%Y z9I@a6HY3@KuyiRaFXtH#!;*g?jD3&)Am&(0A~)7XW|!*@ohKiJudXb0fQAc^uz5l9 zSiH$`q(j*urINdLMKsRxspxran58laHaFAJz#wQx`N7K12#;Pj8bK5!@h(_k|6W0C zQPOu|>^Bj_6F7RSrRZ?2M30{q!ynU2HMfm1(XaoVC72JT@D4m`HlBwFnlh;Rf_fx; z6C9dAJ^6%&R*&Yb)ZoOGMxqB^1O^UuKBW#wDbjBLe1+F{F*Xr-H)BGRyqcQdS3CVw zBbTqEZ!u2pXO@*^Tur8BzYz3P1qB7`>FN98V!|xMSU!m$CYC^jHlCA_dmVO9P;o+# z5YW9Tj)wG+mFJ#ac9mjSIs5$lrpe?m{p(4!HbcWJ3y!yHQ6Bw#^MuRqdinmkT(P)= z?VhfWwDWmn-mQ8jUhw&j$&J=ixL!$6K1vB{ieE{Fjaikxi295esAAi?7uj+T3Z)+8 zB5%w(atS5&bjR#>dLQs$kUJE^_($tk``FkR%}3q9<({ffH8tUyu|SuAve&{{^3R&+ zC!aK0><;i@qMp|$f51wSpT)TIBHa1~| zAO!)oPuQIA9C=z1fP^J7n3G|T(6suCxA5qqc4p-0v;mcxwNJ<=+n&~ zIOeAuT8J-+Z?o>>gQuk&*E)V|Fe_78x#FK!HuNiIjyZ_j<<_o0L z@}W1S{LOk>@7u*JE$HnvI-vJPom2`#9gVmIdXYPw{1VxjE!nnh-Ac}1 zqHl{)=fW&TvaL~zQR))4kNtzQ9na0p?Qi3wnMo`|`C@`xjQIBONcBTB^93mbD8mTQ zQ%d?#=Pu&YQXq{foy33e&r1A|k_cKF?)08%SU_*Mdau$qfH7h_U`HXgOV9*_Ufjm? zUC(qh5#bMh)TH1Q9TBzu!vb9fe`*a1%2d$uTaxee9v*;}35UTQt$KfiwDF$OfyVOb zv)u5j6fmG5oshtZRfL!a(m1R6Mr)d>47M>;L3cBkgKuYfWMpJ;QAhr`d6X<6gw#WB*^GP5?loXG0A;cB9WKra1+($y`{+StzlmMT4a6-$`Q4;bDuSZeVqwTuCEDsI$ zuX?g#4?5Mm`ie1_0s@}K#&XY$^7qJkd)`__Cc;NV?7C7Dg7Z*;l#U15E}mVzdNm=) zL7Z&^Vt5sgatY^hRLQ-;MjjjpPpaSWt88|mjy^hNcBbdcYhTg5qW)$kkqb8c0a|qd zi||rhHQn17a6s2&wpZQ~r`d<$mDcRZxxkvg44vWSxn`G7ZQ(NVI4=F_;&Ziw$6}|r zGKw0sZ^tStXbWGvWu@DwuI8_z@JGvTZKT?^J*OIWZSmW5gGH9h#?k3lfaSA2zPDZk z?FpY9I>KKw6Ve|tTJ_5=%%;Zjg)d%$p1+^Q&K)~;xMU3c{vCm+LNi$*qo6z-4 zFxgSp#e`o!w+IIkHDEKB*@*W#)5tL0Jv=VFO1N%nYFHO>vKfhvPv&bKzEVuP1+}e> zyZ`~_P2J+Bx16gzZC64?Evb~0lrU*ROhQ7Ub8s;JedG#Q!J-gvVfr0y9=!DxbN=`J zrq^$*-eF|^HDCVwvokqvS1%=Z8Qi8M%UQ+8x~jbq9$iD%yuSGpP0gUu8J3G4|!D(f=L1s%~K|u=iE&vWWd3ZK3^XsYo?&|sT=P7cTZY0(B zp%P17972_eLe3SS)N3TpG{;k=rKQJy*Y5`K%z5*NP+Al$Hol14UQ4uTypbQj7RGE}2ro&E*P{S>_3$c<8kct#=E z7a}71c^%PgNDT@MG=QujP{@P^G1wLPGpC4%rfCrR1Aez<9)`36;P?Z8I8d8!f<$Tc za}LH#9WOAD68Fa<$_zyTU(~@96ZPoY{@U=<5E}uRpyJ>NS7CUtg^lf*&14@ZA0PcO zv-Tp`YMBFNG2(ymF)gjLzuyh+J&ASitE#G`)7N)oSp15R2%1K$aFWdWU;`SaruL^S@*o$RcvG?I6A?tt~?k&VMPulXdbO*|1;zN+#Z|zk2m5@Q2-p4sAqU&5hZpeB_%b8 zOvQh4{A>G8H+x$EpKbxJU>wL;6v}quw8`)=KN^=QRwT`l!)RxTNP^JtWNk zwQ$bsZ_tC7OUZ_2x1E)$CSyfd{VLZ{QOOrpZ1u1FEGj2zDLUP2fejHWn5koffwt>W zR&oNue2jp4MwDuPx zn9WB$oO0tk-`nVDu6_HcCi`nkVMFNuaull^+1?uDepuzJ@C>oto&+B=GXk7-=Iq&g z)REeM7!I3&gWz%LXWMML`e+8D`ilhbWTVRP`OngllS_12Efr=C{2A35PT31}4Gn){ z;(V!Yv{SR#u?G71teEZ9jaW6GzH4!Qo=NnIAxcU>2V+2zBCv*=0Vt!cVg?vag-|V{ zsQ5H(1gG5dmoKT9nVF*sr2=2Q;@Y)~0^uBs&}H`mA!=&s5J?ACPz-Pu6bAz6fmf!f zsmc9WQ&32#03RfPA_n9_VNuaq$YABYwfFfFB#Z14Y|aOOsSOZ?u(7Ca-n!*~duV8g zRzpJrqtv#qp{AFGZxI=D9@XmC*Nn>aG4x6ds9nb3(*`As_O+$D^x?KlMmDj#CzO>p z0ao(@s4vf)M%Z%X$B!TrEof=c>UzCUJ(+@#si~#)8fPYcUj|V}Uc$*t={K@gKZ^koN8xdb5dWQLwdc7B_=MPMoY>U;A4jGnqU7O8bYnL8o+5WRt6NoF6as; zC>)W^bdHSBQ^-gg0qD2@*mK}Gl0jyXg1E?KmhY&Fw*^Jn0|W%z6f5w%lUNtyzyYXf znfV@PXNw~(e+)qFz@ZpnY+1Tnw{AgAz4P0*Z!|qOx6x@FHY#$b8I2Lywrv|`nQufI zP#>>;0EGTl%!fSyA1^g>I&ih+Rvis%fvUlzTbzU7^PuDu5Y zkOy+~9qjGL{`@$ck(uc)LI+VHQ%%@$Pb6gW4ATxsNy*6p_~p!kk|tnN#8g+*k6Ulw zzWp2Q9}rDXHjdmc5R$GvcI?>w`}e=#ImVn1mm}*8Dwn4_j?se&%!mFQ@1V*eta>HW zVeu%K1=YBD?h7_$kHt9371dnABpqlhEiFMu6u@Asx0jZ4S3qUdc$FN-_Gf|Ff@4-w z#SKXc{UF<;%{4o88`TktPbuK$r+lIUhTx!PrCj zHM?(Odb${xj{MDtSb2n3XFP3e?5&PD%G;<-I`aKPrJi3`Qx9XdmtfIg*U!h*bq#4| zxt)=Go+n*u<5O16C?Xbjn6)+VWzJ@%v%Zr#uU=O2yy0>BeqDwy=4o_Mm4e#p9 zLfdm!mhEyJ|7!hIkNb#Z#RW@__QRFxf{vBtd(W=lq@Li|wFph1|NR)sg-f3+99;bN z^H7|(S!wy%W`7>P_dIxiT~@B>j#iJ@Z^nG5<1ZT{HT zoJ#eiP~Nnijto0{JZgxR^KIAV)ve>4TC%cx!SHPakojihdZQNhPCoKqG8+kK_Q{`3 zJVk|tZyJqjxA>ouzd~biitioWJA)f)3mmVknSR;WYw~X1OzE?DD;Dm!z~j7R&BS%C zfPF-k_tQ*+R-4@&hH1q?!^d{zJ?^?Wp&kcjf7N}jmma-XQL43@tBEJ$P)0nYRC>m@ zPwtC%NA`gfs~e18tj76y?+V!?<>BX-*FKkWv@>s*^jpHLFEvDbZi1e8;8> zae@Je8Rv?r?r||KC@eF7)7N951a=FqqY~Te-Jv?@azxbUfAjt;K<{M33gdcXUc6N{$xKi3qu zKNhDrGuQ+RB6;yC;r-p!o})Ct+NR&%XE^J!M0JmTKXDpVvooi|rHI(}a4)mXnzg;` z*H@bt9^+|BEGb>7`r^whnsVf8Y4)?Bi`GYoFJ|mcz24k{>6q`U{BraE-mQ>nbDE*q zCYSYl@QP|s6Y&J#+E_q!?=_7WK5<`IV61@I$*R@OtUn5B%g+yd60hk!R_9drNiyxD z{IPA^xU|jci8%4NG=3FGcdVW%iL&cc%1?RVpe26dyxXyDq?x&CTh)>~?=_Qx3hBwq z&kfZJc%xd6KhG=h_(ezg;x;^ACrZBcoc|Q}h7-$k!%>-@UJH}%hBxZRT+LUC$O1P_fF}9N}|(Pw{DJYC^hp9!p=jC0Nc)Yx7o?#c^bT866ce(^eCbK(7j5=u@XY?xwgudv<8r<=h?Sauc36@7q4x zG2=`q1O*pmgI*hiQvFCPNF7!MDZ1`IAGTF=BSm^W3S=rE4FZP`Kl1R{00jI26xE#& z|2NoTn@a3@JU5x*gqkeYZ5)YW%X285 zUy|TYarmn;?Y>{-Sf9nK3@SA6KtSwSDc{l27c~e~t!>UgqNY z%QKbsaZ_DOWPH55nkjN^PgKD@2;3RKE?p`Q3kyGf_N?!?0iU>dcFRaD4jVZ+x$FFI zUK2=%=<&=gEaJ^CNw3GT$r5fqu>oFj04X?iATMQ@JZt6e1i?q6+hyC`8sQCKlz?_&O|%9ioe; z;6*;QE$)3?kx#bwgylrx3qFO;>jN~$4;|0Y$}%zyh#Iq+IAk3hy0Vg@me+SQMW7)e zK7NZj4QeG21y9+;w_%_|2@p5h#7S`B1dkRF5IBM4bR2XQr7Vwa3TXk(Laxg~L5;Ly z)q0{DNjeV{_Z31W6Q|sVQopmio9mo@*4+&_LLXygBFzNzytD?VB=@KGb&J@33_7~H zNQEgVlH0PZ6trR@G$zrfLF5Gm$n_{=zsecWRKSWv3d>stqSfcmpGQndFijPp2K|)w z6LS@|@)beH{t&q!X3A`Zgu*2+&neDp80i=bgu9B0iUww8`oG4uo6SnvP5jy*xjbjw z+|oime`I8&Io*r{{gn?k@0Qzj_^|4ea_puj2YXP){|4tye)-B3S7b$yu@jZdDaf_}fp{S6 z%&)KCjGom3@D)TRKrCClwHvCG0}~-4 z2&&*-(P;Td+WX@%H$R@==Q!Be={Yz!SXfvLuoFlPfg0Gr)O3Tfv2oh9`qk*cBNRL7 zTcV_-r5$W!D;kzvZ#F3P7rtQecJ8?fiD0$y4TGRXb z_z={Pg_V_15CmaKU3B`Y@ATIN2oxS&esePmJ3G6(m)Faes5qJNS&y*QN#`J1t}>hC-CaVFg0rr^F$gtp*g z1yFdQ3F^_WUzc5s*RNmy1%UhOF`0Fn<2V4K6BpEzR?Vo@x-z>e}bRH!u*@O|m z2r|sORs%HZ8W`BHOUfe&>ifQ`pht+Qqly?v!5-G&Aj1 z>o&-?2>*q*?S}Quow(@9%ui$|NXu3sGcN(^BY>mP#R|{Z6;MBsudA$Hg8Gyer&3*zP8MBKeEPWrf00&5FmF+>WAX9z zU4vMKV!RuBUBqEQ7!iW>VY$%Glbhd9oR(IDcsww3*bg#Apk~HEkTUKLY+0VKb?W9= znWHu`GV=R&53~*5%oi70=CNd_zqEw5;`>AMiHI#=6_JX?O)7DS&5Q2)Kgr4z81{N0;B-Wv@OcGVEW70$@Z6U7(7?bVu)d|cTLMZRNrq%QOffKMP8WV!IihI@`I6N7l&vhn(idA_Z{7 zB3<&>>UOMl5&}$@moHy7SWfoM^N(HGe%fp2=9ZS0ZXBKs6F~K8DOg`}>wTP-pFVwB zgl!dN1z`^tq=4LyH<3DQwKEyvK9lo#01I@rbAhBwnN&JHp#bArx=aANP~1V!({etB z(ki3iE{+=Fr@gh}m4M;HGzT6AH^M?5fz?@ zK7Se@4lY)xeD~6A+*pi@j_N`B%|zCH^QYKa({UQlx9IOMfwO$ZLyCEfGw5vP8ba}z-pTa@my>uMTngBw(eTU!k=eQd`KR>RXv6*{g!Mul^b~VMl6ZzO$r-YTmKXpAlQrBmw zH0tGlIR;Fp+MViS|LByiE@?bxis!%vM4j#RC)+ z6%PuvHwgv|wWcTIjc)=!2ffERVCoyztXXph@kiRGFj!PE-!3kqMtW(~A>yEv)@R#~ z0&u!v;E+6MkqJ8#cszs^1>WrQEu%Q3sCCQ0s0JOA}ZeVlL?gcg%Pl_V+ z_<#D5=affL=GIS5OWO+mLL)2h)yVK@)G@)@-B#RxJC$YC-pT|t2=?_)K3}zo@?uo7 zFfhE+8Fjk?|3nJl0U|-n}b;l4%K$6#+Aym)LWmTe=W5IQ9u-x8cOE za_onL;I$s(?2Lr&^BUMj$}UdMRai`J9v){SZ>b_thpP%#WmA20s79bmgz!ziU#%!jN>Zyr| zhv0Ish2P#e2+A&5`8M_sf&~!jH^!wapY>5DboTXK{3W<%UJ!k9j;Z}o!r0mXVb=&> zt2^=Pdyb9ez!Fo42Jm_p!K1^&!%^&~@p-PG;YostgXivOI~xJg4<0(?*>*KQ@%_5= zM|p85STr+LQukj6&4N5ZE4t?uI3q-7H{84-GC!Kiwzjr02(Y=UvVp3Rw$Gb3uLIfj z%oM;nKn_Cl?DQ*t|0wh9J193JV>Bj|F9TU7z8~26uDF}s;^I57VR-MfeS@g?>!(J3?m$F6G%kYmu(if6e=&kgS=$=c%N0;bI1yZVK}AJ; znFXkAb0icl?8CSxXio}|=)9dhX*!yd17?PZlfjPkpo>?fb_S3?uY>Ynu#MMe2ggNe zIXTyYj2Tx~*Qz`2!gL=_yr$8zo#LfLM4XN4>=?-A?=n&1)48SSW1;W0LAxhP&W7T? zba;&$U(^BN3P$x~xb$Ldj;_wJJhv4Z&WPk>Zv=(>h6a`EzvI`VKtv1lMtr3l`s7m3 zmHCuyF^`(DveyFAW&?yWmrsYzC{_*)%gJQw&|_a>8qVvwEP%+!L!aN)pi;iMMgQer z9`R4)8O7OCcs(fVR_d>)m{D|{lKg${{Q2ZMNqO58^?Vl;%@&cg zW5>#SEg);mEfYN5A@Qx@s1d(b+IoUhK%iC+ZjEKfj@`n-X+>`7Jf0eNZr;2JWW*Wo zDiS$4@B!^2$&ruRpY%M#JV(z|be+uFoWHr8yyXdtj?aVM zJ=i2vc3FDiSkINKk4xJhCnWORmbmZb(Yj^pM9%NV(;%R^IVvq9jd`TqEbM(R^ioBFyYZz|Gh*pJl&|J`XK zWN_)1x}N(5A37_#&Brrt_Ka;56L!pR7HoN`_rcft(Q(6KYkp5<;#pbP8nANfc1cD2tmhG(tq=N z5*x%K8?IjM-?HOGhombchH=zt78XJTvW85FDf=AkTg<^k|Ni~^%a0$KWmfIC{SKje zb`Idzm*23A#5`&|#(((yk5uFYC&1Gpb5J=SfDqXO&0m8qmD!D^c&6orA%0*}QDtEl zqCCz5PBO=qBl$cV^0c?NkIl@Kz^Gxv{{8!*D%^p&kh~L`)m2r` z0|PZ9*>%^E^c!yJLwdTKn|nPTj+>_^E$EfX&roGS zLkjFEA5mcp+5%&cIxJF-ISmVFhuDC>%AXprv%YmCI-BdeIrr3{oV3EIzeKQF=Z5F>Fvkej{($s-7H+E15-aj#ALLF7TG$UK?t6J6c(uC>n_AP(w zR>S)hB`2_UR%8dhw!O?b3^dKn&07Z*3Ei_aR>*K4z63r}@o6`{(<6T?&Sie0swO!x z)+K||fm~pNOs^9ZfI|M-AvkR=o0u@!rX1WH$6WehSA2x4)wA&#Q!U#`lR9mbx1A;fDY5VKy?FqFt8(tx?Ffv zqdQSgkYWljqW{Z*o}Nc2L3axX5cBdg=gt))hTlP@PMH_JS^3+B>_yd#PbdNA#(Njzb)In#1Kkup=hATD^o7r+1o1x73hA?+dEQ!qM_G0i;HyBk$RtZEEB zVXAbptv8}dIxs=)@sATEu$i?0PW}B(%f|nMX3|Vsx=`Mx9yfWv#I7{Cm|pP7`?Gmh z<%s!5L7p~l{xz(ZH0}cK?h=R z`?lV-ODHq`KQQs>(y#u1#l$Dvo!deo&sps5Z)a>sLObKt`}1AvfZ!N?|5RY}AAkJ# zvEbBnaK9nIMc{F=2v6t@bi=OlzrWlLHq{kq&uidG*D&4=>D&W&y}h|w8&-V#u4oy8!dw)Ja4V@tGC>+MuAzMh`Nks@ zf`pWzOmuhx-hBM#&F+QSQE!}4hS={&$9Pjq?Jk5zZa;j5#C)Rm02cX{w&Dp&c%r-T zM7>&=pMSC|iGoTW8sy!WDT)@=ggQq*OtLzKVD#$94dOQw0k~@peGL=}5Q@S-KR%2D z6v@Y-lErrXzyVq)=HkZY3f07!0{W|mI%uT4N8AGk9IGbJn8Yja^$!hsqGUAH?X&pc zcU$#RW*hWHon2iI5LCWr=+snIy;Homgmj!9KZqSCQCAUq=|fr9st%xSB&vNWDWO7D zDvewy)gXU$oKHtb2M5p~q827vX(H@FY41}q$ggx^-u>mvZRF4g%8~!`CmVzgMKExa zcd)MjqT?b;??d&%qd~ITGxn9;!W2(cb+u1W(51fCX$6blDq=6$K0onWw8+p5Hh8Gd zIAxx$sws(LYo6J3bwgf)>n9COZ(gPKtB^M`GWx2_j?}M3{f`)V3Qx|{!Cl#k>+uOa zJ@&M;G~uK4NIyG%J^0!45_fH+9_$D(JaEfNS{=-^gzwcMsGNx+(z$QWv^eoU*3(6 zoB^tGs@=*LQL3uSh29}?0FENAILNoo7hbyc`XD`C1)GSgxDO5P$IXd0+lZfHo6$S$Ja>(Sh)q;?9QKbe0Ce#V56hH6IcXH&$=cSLJ) zN+3S5iYhHYW3uYktUXu!!Kz7jcX{v3kn89biOZ&uRigt{x%ookR-AL4ot?a`9f*1f zH}z%J2Y_h~Cane|DqYnJqX5w40L&FUKKIylyK><0zCJ+R+L zY>a#r>xt8+sX=<-B}v}3vWkpS|LnxTB)yBDpFvAY>v{QQyvf93k!w^XCl7CBqUKzy zmvjFCIzy3rosn|fvf1DN)2E{c4<3B($1ljK}BaE>iZ-vCP?Fs`=y zzwf)V>vjC=#6;aUJMPap#Q)FjlspjLIBG*?T>bZ>vWi^P|Ng{LfZ!8y`rjWlXX6aj zM9#+)3Xs9HhKhj7UO?A9fri(M{(Yk4&T#v^&ty)vD?dN|{EAVShWLN~kzDOg;Wd*I z4Z=6gW3+mZic_44I)}VjS+$=Mb~AK+eSL#TR7{U-*l`K|%##u-M}j(QMbs34LUtkP z0d|w{yB+T^ub2$zlKD->+MESpeRG3Igsc)Zgm`3*h<36@7&BGAo ze}2xaBMakyf8MS}&7`s!);SQCLY<`#9ZJ)GtLT5;NyL-R#nb;R2RyX@`Pvh&Tp7+` z2J8R)sH~bXCsU69`}u!+Lu4`h@6SK`jR{pCNpHb8IwQCfaPp^me7#bbga=3?@`(2N z8iIbHsdU*y9H0!%%oxDxVXt>VGd37^bK_C46zDfy6&)R&lA3xF>ec5VA@5R@peO?3 zt_-9oFfeczvMBhSsj5D^5lxsR6m*1}M-GQ3O=7iZDry|T4zE~e@NNjZ!rrN|_9(58 z!KvOy3z?c$4U4jkKy89n)g)Oa)n6pe9~P`tW$3d}3r)!njeQ8|Br(k+9sa1Aufetr z_B!Z@jvR?^(yR@aIt@tbAK8C^6O_?&aJx%ITPaYELhxU(N5H8Y-~H;_O>iUYH*Cnq z0>mnNfEGf6FX8tCz6F8UCA##R9l31yTVU1cacU=*XnmJJVlJ_~su!Jm4UAb`q5* z*A$djC|w$r3tM*Y-YrAfgbS5+Uz$uxNH_qq1-?XIKfgT`cX-_D>NdS&0%leWZutvK zY(A=)#|a4uSg@O*8#V%MBE8;`Jzic@GY}8c%BPZL4KJSdV6nt`OM%+2JF6xe|GUn? z$3%3s3uqWps7K-9;lk(ttrO;uYd2|rXgL5-6*7HwcMkv&r0G3S4T51siZcXrlulsY zU;-|taq9a2M;lx))~sg-H^jaCF`{~3@8A_+1^et#cgK=Xlyy?ED8ZNmBt!(!O+ z{5);K5Tj#|ZN-Wi;;`GSu8G7AYWBARuI%b;_;pwn?gmXEZvE#AjEFZgF-47F(Sq{F z>tRHNw+djkl}60BL5wz@S^)|f3DOLRQ~`iK18k#`SNKrcY)vGblT1~gt^@j?^iNT@opRx&t36076`mfBcUUmEP=ca_sgsh=M ziS+dUQQNsjMR{Fecq&y1U#9+)j-i<4BisCiVKiPkygA$42XzPWC(~x zLd*zCBp648K?JQgkdb7#7(v83AijD7oJX?lpJb_ce`CD^0uM%WY_E4U-7|LgMD?*ZpJRl~U2Ql}&b^Y|~U zR03EBF|U$(cM~9=UYJC@^TG7jw;uBQbW}>^>f4tbL#ML!>6*zua%3|gUl=Lrbt}Qu zK;c)48S83O(*bsNi}!K**yt?Gt`q0p>$lP90S9cV{z6Kegrb4GBK z;#|PyE1NHAhhi?767}HL8*XlHB2B`bmLt!K;lnJ+uHCz5U%xcaZqlT85$TnWx6RO{ z(Oii&q3OmAIrDOap#pgc9_`xAn2Na9BT-EE4t1+bwEWt@|8#W0htSGMq?+1VuP>d~ z&lj13sW#&!rcwPE?SUY~quo=dtjWwrOG0wdXtlnOI5{Wyb{_T;OAd-nZYTWzJ@nl< z*q;puQbM**K%MXMDeN<3N|=)E+h2SJPHEZz5-A~OR+{V44|~sKz}s^_%QW9wF&U|Y zL^OeoD5JJ0MdL1mu~+K0{Xx;Uvq(jZB87|H?l6d7&p0Ki2JAAHdWYz_{EA*oJl-p{ ze;vR4Haot|t4w4Si1XK1vH>~gWo`$_{!Vs(_16C>DIW{yG3=?@mkQ=4IgxW?33QaqdwP#G{6>jm$fGcD?Aw{FXBhK}qTg(+S7}tu&K8C4- zjbh@kFrahAvvageHfX}HL+JSER=o++5kjtLarjv7IBOb+I+T0&G*ptI!gj}5=!~R^ z+GO6g^l#1U5>sz-VVNRQdGz}TPK9|2=A^nZ2&;SdTf7eX9W$VTO+0J6A|Mbe1L^<6 z2e&9BWR^BIeTkW82p5$;#TM^GWRMS*G@f>5N5qSn)g)jztj{aj%+HVFPX+)RN32`F z-Vk3Bfpb(9R+T%YL{Zy-2qX+ihI>S)GZHr7Bms~sv2-?zl^X3VyEBdD{t>! zwe1bb&CFH5N;C!0d4#IzJz5R40rbsk0}+1jTp|&T2H^C2SYNs^8l5>{G~rhXeJXlyfPdc*6LAtG zaA_rc{k_qcr-Ty4z>ja~{ZRf;Tw7afVrnXfJ+Ov(vw8o^X^;+9@~pe7S$>cI*i{Fo zbKVnXmSmq$f0d9h)-^Knq{I?oU<^|t$5WL79b)T?*8S_~dF1{wh!n+X4vT?ePg5XUSPRxPZ_^ZtRZ34!4^chjJeHDhWm4&8 z+(Vzy!_^-<;>37Tw>$^YO5r81l1Z@4 z3GT{l>?z371*jvMq7&8A(eMZ>%238u2oDNwDOcK-xWoHHsMGHfzUc~+ShA1^shjii zRvivsQm0aAj;hsahqpt;>4$=17il1kL;zvvi~gKBl^qs#thVB4759)NTm zkE20bBPW9!s5|5$5jqS3>SV-izqp4X%a?CMOS3JiSYz)u)YY}5zxMmOI-k^?XBSiZ z>IomJFh9|XCgao{hI_%4XyxeW6B0g>XJFR^rKcoyuNO}Ec#(b_=Q1=4M&=$Qj_tYP zFr5L$obU0^N`#PWJbZZGeO*(NL}Dym#Dt`J#w&=9KdhlU3j&d(-6A56Yn+I9G|N)B zVeMO>>*C-24v?ydHd^(0rH)3f7`1xCe(VhJlxCTfdZOjYVP(T$l5kD$NfLZfJf>tI zC$g^uE04&No9ZFE3&6p7wK`cW6|dWE#tHSGc$kemy6o z0pt!YINVDFu$-J_`!6nI63t*9xgc6WTUxe={vPThCMn6XA9yUn^nl@T6V8S9hJsjj zu2_xHqi6aZD0+&uS>gS#*VL&~#b8&54agkKt$Z<9E%TsPpuK>)>7#5qBmUeVIf##96_~%i8h7m}Oa$12HwmLx> zzf2wd*i$4lCMx-2QEYXG$u z7b+&!-Y;C+Qqx;>Mxm|OEfmi}RmC|t`+B}x+jgGNpVcfX9GS8|$F3Ck^Fg@pz5vyl z%Yv&K>mPnz(fxB))ZYc7%a+ksSeWC!vaX<;8&Tv=y*a!4XK!b*cVE5CE_kl({R;CX pEEVmJT=a|AZ`iQ^7n+QDuGf;(P!oS@=VA%3Su@_39g;5E{0o&ozh(dc literal 0 HcmV?d00001 diff --git a/src/experimentalresults.tex b/src/experimentalresults.tex index d546e8e..5d344af 100644 --- a/src/experimentalresults.tex +++ b/src/experimentalresults.tex @@ -1 +1,8 @@ -\section{Experimental Results} \ No newline at end of file +\section{Experimental Results} + +\begin{figure}[h] + \centering + \includegraphics[width=\linewidth]{../rsc/AUC_normal_lowcer_2_20} + \caption{Architecture convolutional neural network. Image by \href{https://cointelegraph.com/explained/what-are-convolutional-neural-networks}{SKY ENGINE AI}} + \label{fig:cnn-architecture} +\end{figure} \ No newline at end of file diff --git a/src/implementation.tex b/src/implementation.tex index a015ecd..c45a063 100644 --- a/src/implementation.tex +++ b/src/implementation.tex @@ -29,22 +29,30 @@ That means taking the absolute value of the prediction minus the class center re \cite{activelearning} +With the help of this metric the pseudo predictions can be sorted by the score $S(z)$. +We define $\text{min}_n(S)$ and $\text{max}_n(S)$ respectively in~\ref{eq:minnot} and~\ref{eq:maxnot} to define a short form of taking a subsection of the minimum or maximum of a set. + \begin{equation}\label{eq:minnot} - \text{min}_n(S) \coloneqq a \subset S \mid \text{where a are the n smallest numbers of S} + \text{min}_n(S) \coloneqq a \subset S \mid \text{where } a \text{ are the } n \text{ smallest numbers of } S \end{equation} \begin{equation}\label{eq:maxnot} - \text{max}_n(S) \coloneqq a \subset S \mid \text{where a are the n largest numbers of S} + \text{max}_n(S) \coloneqq a \subset S \mid \text{where } a \text{ are the } n \text{ largest numbers of } S \end{equation} -\subsection{Low certainty first} +This notation helps to define which subsets of samples to give the user for labeling. +There are different ways how this subset can be chosen. +In this PW we do the obvious experiments with High-Certainty first~\ref{subsec:low-certainty-first}, Low-Certainty first~\ref{subsec:high-certainty-first}. +Furthermore, the two mixtures between them, halt-high and half-low certain and only the middle section of the sorted certainty scores. + +\subsection{Low certainty first}\label{subsec:low-certainty-first} We take the samples with the lowest certainty score first and give it to the user for labeling. \begin{equation} \text{min}_\mathcal{B}(S(z)) \end{equation} -\subsection{High certainty first} +\subsection{High certainty first}\label{subsec:high-certainty-first} We take the samples with the highest certainty score first and give it to the user for labeling. \begin{equation}