From c5649391bcfcc19ad55415ff1868a9cd136915a2 Mon Sep 17 00:00:00 2001 From: NotXia <35894453+NotXia@users.noreply.github.com> Date: Sun, 23 Feb 2025 13:45:44 +0100 Subject: [PATCH] Add ethics trustworthy AI --- src/year2/ethics-in-ai/metadata.json | 19 + src/year2/ethics-in-ai/module1/ainotes.cls | 1 + src/year2/ethics-in-ai/module1/ethics1.tex | 13 + .../module1/img/hleg_ethics_guidelines.png | Bin 0 -> 74906 bytes .../module1/sections/_trustworthiness.tex | 375 ++++++++++++++++++ 5 files changed, 408 insertions(+) create mode 100644 src/year2/ethics-in-ai/metadata.json create mode 120000 src/year2/ethics-in-ai/module1/ainotes.cls create mode 100644 src/year2/ethics-in-ai/module1/ethics1.tex create mode 100644 src/year2/ethics-in-ai/module1/img/hleg_ethics_guidelines.png create mode 100644 src/year2/ethics-in-ai/module1/sections/_trustworthiness.tex diff --git a/src/year2/ethics-in-ai/metadata.json b/src/year2/ethics-in-ai/metadata.json new file mode 100644 index 0000000..a869042 --- /dev/null +++ b/src/year2/ethics-in-ai/metadata.json @@ -0,0 +1,19 @@ +{ + "name": "Ethics in Artificial Intelligence", + "year": 2, + "semester": 2, + "pdfs": [ + { + "name": "Ethics module 1", + "path": "module1/ethics1.pdf" + }, + { + "name": "Ethics module 2", + "path": "module2/ethics2.pdf" + }, + { + "name": "Ethics module 3", + "path": "module3/ethics3.pdf" + } + ] +} \ No newline at end of file diff --git a/src/year2/ethics-in-ai/module1/ainotes.cls b/src/year2/ethics-in-ai/module1/ainotes.cls new file mode 120000 index 0000000..4a953bf --- /dev/null +++ b/src/year2/ethics-in-ai/module1/ainotes.cls @@ -0,0 +1 @@ +../../../ainotes.cls \ No newline at end of file diff --git a/src/year2/ethics-in-ai/module1/ethics1.tex b/src/year2/ethics-in-ai/module1/ethics1.tex new file mode 100644 index 0000000..e9efc92 --- /dev/null +++ b/src/year2/ethics-in-ai/module1/ethics1.tex @@ -0,0 +1,13 @@ +\documentclass[11pt]{ainotes} + +\title{Ethics in Artificial Intelligence\\(Module 1)} +\date{2024 -- 2025} +\def\lastupdate{{PLACEHOLDER-LAST-UPDATE}} +\def\giturl{{PLACEHOLDER-GIT-URL}} + +\begin{document} + + \makenotesfront + \include{./sections/_trustworthiness.tex} + +\end{document} \ No newline at end of file diff --git a/src/year2/ethics-in-ai/module1/img/hleg_ethics_guidelines.png b/src/year2/ethics-in-ai/module1/img/hleg_ethics_guidelines.png new file mode 100644 index 0000000000000000000000000000000000000000..14d16f757b9dd18a61f61658e6452eb68a4a1ea9 GIT binary patch literal 74906 zcmeFZcT|(l);1hPP(eV&LKg)=P~d(1-Gx z5C{nze5uZmfjfdrp6uXf&`KX_4TW++&VWBa$rGm_C%_e)1YG`gO$Dw`o*;pMAIK~4 zy$G&}Wr$z;6Qsw#;ozF#uj^QFee16>#5(*ZPC_WbZz}i-fa^=(w+MXg!v3_?0U|_yi;b1X%b5B>03RgatwSCo=!hBci0s z7y{_Ti6A>UISr_s9E+>Fi?yAj6$Ij&8uvl`A<3gl4+d0XUsG_NyYYnoVYNWSTYdXW z&(B}~a^{Vpn6k*%aC7$dF3nGu?-j$$8cKZ4J}hUy6M3aQ&DkrTeZdehE*&kl{ygjIQ86>? z{1OXiTeaz@cPynRVi-D~e-COax6vWV@pwF{#+Go;|5BswoM?LzS5H>{Y$V+J9*#sQ z?@bLmqN?`n=Be|1Dm@VKM;3Cw^BxPD4P!jsQZ{KJhO-8r-TT~Ib@vi!#6|JVOJ}1y z?zdl8NYtP>x;u6)_oYHQqXfA}iA9z!;kE2{y;?Q@z!F5E2Ta>GH&i$Jfb~I8zWQSzlLk3kNGtmM2y=cFxi_)|*;yu-I8j-_R3Q50tj%j@-%1hb#ip}knokhaV%E?ToZ5e-e5T{;^`oL zLmwEBoQt~^ix7_x4&i6Z{Ukhk)%aJO^yv~zK0A<8s=;^O5g zed7jr&hoeZIk~E;{$0GY$6s0i`r!37cje{h;p263;{E3u9-a@pfsnsC^lxi;X#2TZ z@oHLmxOll+SUvEza`t5XXAzbbf3NTA|I#<&ljGt1b4Nh+zsvoX(tjKKabZwORaHXX#lnl&J*d3& z4PyHemM#`{mJ-L8f&!MpRw5#T+)qS>gt>(TECjjD`9!U`t@z9Z1jQ`G#0A7f{z(+n z*~8P^*}{q_3JB-119B|+_yzdH%muiGE&0v4g#?A4a6d5@5at#aGZ*9I6Xh2dG`IXG z5$f)Cz$(oh|G8I0QI z-v?unkaM>(_jGaBc5!i(zVUZ=`}fDHU^!Wudz#Ceds+dZe|Nyze{;aM`S>OH{&b%x zPSwTI&f4$)t2A-(ut0QCe1RfByROr=#8RQet5_UKA4M7Jr7| zVeW19XR?5-KaVVI&7EzmfcN;zT>p08?%$Y#h`5*qznHZMw}6-xFa=?Ler_>yaVu_- zCt~~}Le~72g4ROETKKzk4;O1sA9HuBdp1CiKv%##kGCe4TgMZ{`LCsYY^{j102Ic} zC%`Qr@Hd4C|D`bAzXr@p^cjB}u@vwBOD9st1^&s&fO>!K0p|sLA@ARv;a@rf{r%tk z{52QI?CEBJMU71GstG6RP^)^zz9o z6sJUQ6bi9IAS@85{5@@7Je5q_Z1FQ*`h{?@HqT~F^mQX%(rWRQ>e>1nYI zk62YL(>faUuHjiV9^vocE$vy$aEkW+%4;XlV45F_v{yMNB0KW*`MJ>7&z^H-KFxZY zT=*;*lZsayn^~zEkjYo;8^PD;a*K^HrxR8dSJwSn2C7V$qu`($;KN>V{_XL_UDtER zzwP|TKc@hz0Y2v$iEIPpf9zq5I_(2K?^vDDg0&|x$;n1z6H{5Qx|Ho(MvL+mbiKTM zwC)ny>+*rn(--a5+je#;+%{J#$@|iIONPgg6MD8=MV)@k$-_^InL5nYljJ8&em~|* zp@6V(ohA#hCVMWZ)t44m+E7&)oA%+ps}x=RG;>gJ!Nahq^cyThmIe}b*YDeB1H&4} zmizaOPr+#(>GVAy{D>hbDr$IWPAqU2V#lfFH9bbEq@1MWT5@*OsCn@_|0=f>dtJ(n z)1bi9$1h*jS4)IEL)zzogx;ZeKH?cLo5=C_W!HMMCU7IaOW(I8?j2;?qAc(B9=#FtRRqoJNa!nR}?Nl zAbcBy)uW(ypF8gN!N+PS_jl@Kn1{W7@%E2grf?S)zTR)F=U^0;%v)2`SbMJt7nIwT zcZG_KT_x=_u@%}y=X&ehEB$?E_X%kx)B6cWSRPW*NP`!rpyXB3%q0#8Zk@v{sf@+! z>>HPuE`J>Tb?Slq%jId=K#`*P-{Z4WnWMj628XP@h?3QN^i7=WqF3;N9qV2hET?IpEf2#xCcn{jyR}Q(O0u+&tNt$P*BY2R3@5 zp^(-*_Ai_oN=vc3wDWzvj5K!NOh`(4xJy?p4#n6w)RHb4Fw@w{E-tE4*Yhf0>AxX% zT$z=7a94!o{Zhf1j740C+vkH23$1tLQL*7~oNCm+#hc^6jZ z<=(n;XEb$EBE&6y)7sizDKI?i25YlFZG_Q5YHv}o8klFPur%y2i3offw-y>8rhUOCU74%jkBm1YxZS2XLsu6mD#?>X#Vfh0l zzmYunJ8%SD^XmLC67kW@F-Z3Dy5$eOo2ES(V1gVFJUaeLSp&7&+6eI(vcgt)M~2Hx zy{Ta3h~>KU>TNM9A>qHNiYNpk^WC#6UPzGZdlH+U{^4_ufv3VXypPW?I#5wo9X{IWKcey-qPd3+V%dWro&Xxy`KmUjM$K(uA zlLt2!wM|gpYn<`&61X<4=*WavtcB6f*c3t4qXvvd#+)~SiJEkYzt+XfM$bp1?&b1& z$s#LIlb5Vj2xc84av#w)v|Q0@q!t<$nrsD(zSQiVmSOj(n@QA*G&?D7t0If{$%*F| zN7z9DE@AO|DP=tG*)GSWj)bBm%D;<&UhCcYI<^)RfKq!VD4*0y$L*Bdy$FM=h%(LgK0Zbt5Xqa3IcPVpdsZ`I{zGH};$ z=9?JI?f8D|8b8kCg3HlV>A1N_){NYMf`POEoRodOJv!R}!P#1w)Xf>=W z89>$SN-}SHP~_dFxUw(R>aqSI^LbBXBoF1UTJ`Lj)(&$qLWiW(mEZOMcTd7Og` zPNX_=>R$_TZ)=t{T4KmtbB$Yv;Xr+c913qiIZ}sMa7e4W4O@vvwG`Q&5SvR95mTn2NNE+ z{Gk0claxTsdl>K$F(M}p3njUU23&T(M3UDhntW4{+@EL7)tQhtCR z@;KGb-gzvklB>$6sNh#B@F=^djII%upAOj2{InPwU(F$Jm}Yy2i6DXRQVoA&h7zU#PI^dp7FyBvmT4qHaJXy+b}O znj-VEIr{gT<0XTTPou&d?a(-u;+Bto6E=6Ql@gdD_GLBH?&S@Q*!Lc+dYY0t+!(XK zZpC{lFl=-ew^Aogx|d}c;_h6Wqn!wuaB#vb?KpJLoIVWN3^h~ zqUS9(iwI_^XZ%z1NAUaf>Jx#5V=H!CT;ll*q9vR7eWK0M)m^m>v@r@$Y{O4>;qpAv ziwkgQRe>&tcs<1ab}IdxaFsyx<${E7E!?VorPhO6U`k|S4&@&xocp%%>GZw!NI~Y3 zA>`~2fl-W)l4xYqJ4BFCnJ7n8QJIr#>I9cQO(FA6SWN^UGiqm?w!G!&9Zk2{uW32Q zaLL-E^BU{tdvTo-y>ju;(>DvViu&`LOQd%p#9e|uWk;N9^o3O~b6Vng(Sq%jAJ!SG z2(z}Ip6yZr3a>Py^TdLkO-*Z~^VK%a(w{V0@$vFGoeHZhcW1PXdg80URG@MoXo#28 ze&tU9-VXR>?-gkg_9!J)wZT*agZ-r#62e+V>JnC8j&J8a(GiZKd$%p&%w`VMjbwbi zbDQo(y+L*Aj9uJm5U^{uiCwW>Kn{(L%ioQ>x({1U07C8Uam>_WV2fWb>HDUYzgtpX znHQ{q$}(>m-*6>kvv3N5bA{C1sXW~coQ8&-JSjTPB(Y zX6noMlCcf9A(<*&y>Ss+7Fk9rwixU7)aAemNY)}Pgst{ahc8LM+8VAa6Tpbu5cN< zuxfxGVv|!de|_P6`z`{v*KU`&lblY}^|nQ%bPZC5Zv3uhQG}5VHlg(zFXVMP(CVoTRs{LJ({8Uc_%exPEf97G)81^-6d#h zaWNwEBXB9R6$rJfNVOhvA>8ln1`0V{vQR~(STW~40ivlQvfcZbj72@hA+Z7HZJ z#=s(?M#B_-8;4XF+{~R{*n6zL9GBCzaHag|NOFa_nGL{{!4+77n^_dTDTCh9zJ_o> ztD;n+{y!w#2kugK^iVtl2Hc5ljM2ptu#-0Gw=69pc;L$2WHkW&F`3q7(UD7f@8Osg6(4LD`*_rM2aDnK zSbg8+KkGJ&%|CeH*9d&}bltqa^kLhoKWKz$z1)H6DoU@YGN_=#w-ip8R;RpYUvr?6 zD)Qc(qJ8^|vZma~&5T8B%ls`;5+eHQiUF8-tCnpuCQ>Z%yZNVXE_=_MCC|aDTjZ`G zdc`p|TnD&YAfl1LQ32m=yEwxdG z8f^{WUXeXd^3@DPY(Ed`!Oml|*$NB=6EEjT94SSdknoJd=S&dG)ztWa4T%^5%!}^U znJ$S4*Cn4A0(+K_jc)w-{%RFTkGJ}GQS!U}cfxwNWJHh-MgT+WJTk~P!MBieO;62k zoY7_mHsjg(+_?Nw|5Cy0OpZl&t^lkXHR{LAZ2RbJS@41FPZxs1_iEc26^|njPI{F! z8(v$R$UpMNnE7K}>0uv%fJ-z?g#gdLjePq%>E&&Wy-RVaS}LA70~JDO52#&(-k=OK z#w`Rll77WmwoDB^$%*OYtnts}9P9dh5!3J_Z4YIdj?v@AAx~%bYmbZUT26+?i8DRj z=$+s2mAcgN+ZU{wOCaiN6RQP&pxS!xWcec4E4wDl?q&) zLJi4D&)2zsh5%Tp?PtYA33oTRdp(FK`?WYW*!9 zq+5o9=ntx^@b<>%Z^p;*?8l2&=!;g)`A5RzUjOEEYHWP^Cn&vMX-*J$p!nb-W0dHY zwT(mPaKokJsPdd92-CQeWwoZd?NSX}?JM$Z@-)vAgU8Hg{mZdM#pQ+qjy*oaIK5Nq z0K~J^4(obc2SqPG6U#ub<#69=^n(tGe46%+Gm?6yrLqU>B=)wA^5(?HcOhptDjL^# zDHPaf629wakGyLRn9cCo{$fy5TcgE7Eb{mQ)8)bkTQ*DG&qGpMJX&euLJJl4%vGW%6-9(tE7BuBZ&AD!f{1zqXQd zdaEhpzu+@|1u^TP9~ zOOnJ6?_U1t&MC{Ono?E{0$CQEjKsEoXBU+|kmTyO^BME2@$@QW5jUakZF(|s((?J7 zIS%u)yt=8#7&N%w6xt(f)2&TTJkkPru07-r9SHWi3$$SvC!o4B&~(37w{&Ai`Si16 zD(jrFf@ev(zIJB)Z`UAGk9#(}!WV!wXXu&nZOxqxCr;br?RCychZxmXc)(77^5T?jgoIdw`iho9g}6WFRPbmp_+1vr`tDtFEiig zCz54t`U<1RM(}^9Q~oUaf8|=5xP4}Fo0A%XkJ5ct+{nNEEESz$#8vwJtboHJ??K%v z1_DaTNsigLHa^La!-LnQJ!i<%p0^M28KSoKW?-gKvIo=a1+V{D9{URp<^W?C7nI0y zU4BlzzLk}g>A>o2T?XK&XfK*y0z>aN4I&5&-a=KI&&{)xZVQD9l9N+kNj_>_#i6jc zS|??*mFNe_S!i z{*NE9{nc+4NYh}2Fiero7~=ELX~?-kSO9J*-DQ>=$|dQ;Q!ucCY#2ERA48#PlTMV$ z)=haAm%xhldbWa2Lg&n&-DWLQ=fYQ|%Yb?!Y4j;AGr|YNiMguv(1WB66arRM=?Fkzch2(e6NBlwQ9cMOLd!^LvyXdbbNm>wQu)Dn~v92efQG zwL%G}z3GzZPRKf(YEn3#Drys1Sygq@B)z_SS5#8c2!kjeFH4go$-A+0`8{)0kfq~8TSo@5}2eqi2yD!hCNC)9VcMl|-4kV~I`4j?$1n>6>M(3?dm| zlTSG~uETrMIc*v5&T0_ z!)GCUv^-JpIl6U8^Qkhst?fxL!MMc9vH+P?=+4jhN8rTZZB8CU9wkHH-NUhQvuq7; ztPpHq=nax4uuGLLk|QYhHctzOZq1$cF3f|~4D3*jcPUHn2#WYeK=a8UcjtZ`_J`if z)h2Urds9ersv)dTGm(}gOBQ?ECJR)&t}tH(lJ!a8*L`b~&6n zW#HyZ#ic_(J=;nw<5jl&l=cmX;lEH!XcQ2ZV-T=8hXUtU0Xle-nT3s( zkuWQg9=nY8Yyx|0S->I>A~E$nCNjyR??}|gyQr{O4s79XsiQQW$X}|{tvvPhI!^+z z&a}=v(nP21KfxYFpK7}U323{K8Y{$sIgDa3Gkd(lYi$4bfn7%IkMjx2U<>yIrWszd zO1S<5Z8r&a5Z$KYe$2z52=O;W;0S3m`U6pxlf#$0-@akMVH>2Fqiiy-$!MBohlqPW zT!XxOeU5T$&g}N!%I-_^$!7sF(>ze5|5%rs$9tp3#_A??vpou>Ju*|&I1`d0DJf1w z2ax|KF1vEM^tP6u;xDR)^l#JWWOd@dt!~^B5YjHz%(Lr{m4`;7=7zrIy(0oWFfT#I z!3tGjcD3k@TkLmwG0a0mkxz$&3%*YzhVHLTQq-^ucVKF;%Ld7UHy^d~94bACz{Uy@ zOFizTA1zINa=)V&B`RL%;u6Ca+I0Vx-LU|6%Ylu9mux!Kro&-Y`B*suH;KSA4>qBH6x@}(Jy86qOi9Oy+kP1x&6X>#a9dVfb=*=#&rti^&12I{Ol+_4Y_Lh3Ifh$L z+2>vw6NNx*D|Z-WJuF)zPy40haa_4<8+`xbO)BD(!Ix-p_K9Qo_Z~#C;PaH-&k&oA zCWq#z>?r1=NrM{a2kwnG3C`u6+iNst z9%y5of>W<(ss|6WmgiZ&V*?F)&%OH?j$bHx(4rkR)|gn^MH`JE4_Tn}KaRf$l#T!QU4g zV!ZX@cJ^A-i@O1U_pM>-V$`Rnu!yAG88GR6X&fA=t8?!;ewd1!sCCJI2CIFAnD9oWg)eW7qfrvxG>uTR56`Zhr8Su0|@8qDFob=E} z=JPqQmXyL@Z#F$5g3i6&1PT9&cvfQ2456(eyUdv3=&S)|U>14_3=sp|^?t#@KMWh} zwgVGUU%uWFSFe~B%-NH-kp73!la*%v`rBCmev8KeK6-8ANe0J3G@tp4IpB?yKU&w-B9S1>Yb z1!Bc|>X+TVpN&jQbF|mUZ)y_ll$Z>Z8NHkZTtjDQnAYdSPi7}s$L>1A?6b$`S`bZE zh(ME=53JCAI4hpX=G~$)Br))6@iXMh$2^*)J(Sg{j|bIG(4Z=Fw4IWKLq-SsGRhkb z-OPUkkzsCY4F@4_Aum6l3l0EtRAlFZ#rp$e5>d~{EzVcX&v|yj7yVX8WI`+HolCWnr zrj8?u6LcP!L#)W4dRONXP&wgO&%oYA2w&#Av5&veg;^IU)reA-HEr^Le*SzJm2%I1 z;H2FedQ>hWBFmyA;Z0=WjUZz;1V*~jGFd97RTqrHS{;Wd7D>+7@PUm@ zja988u94hxWvrHTUo0wZLak%q3}|8i4A%I0MvGxz_K;HbY2uJS^T6#8x5<+EEo zpKVJbcwfnRjdh1d3Nv6QH_n3XNP(%SScJhZ#OxB`Y$NC_yA8v({4$Gb`qx@WGoPKf6*=^#%OA|cEolh_p#Nman?r#|74K?5r^j3)6o37h_PA2+6TAwmSIaBInW}5m z54%n=Tv1U)Bq^(&K;1`jKK_YEKZzLs{Tl4L&WB&ETh}UDom1C?_yv?w{j+7u#27}; zN0Y|;#Q+3hPlf{aVdrut5})6atqS(E+3^8Wdo*QqHm98mIR`xk#vV~2vKhVY=M`!V z=hzk6$9c9#-R}1nMkA`xVOQ@kjEZdDgs3>HUs>~Req3Eki7SbvtJokHVxQpD;ny&F zC`qc~NL(4{!W&!3xediy(L2qYYO6|S<)}Cj(Zq2b1)NDpSPX62g+7xsi6MO#>*DZy z{t;T%_6_ycscWwHc{;%Ut3;pNYd5B;&f5dOY}5CyFOGA00bjB%J2}c%f`TVNSh^Tb z|4><{p2CTAzqj1`fwDVimRbAWn>;abwXbOOTxVz~(G^GMaQ?W^(bx~xpPiX%uHKa% zFs((7PHv6~mmZ%96K=zeubKa(pj*4#tNw79NpMkfIPns*>8Fx`uF+kcQU4D%OzL{b zDZU#qfplgk71XKBPD1us2OqfbIbC19#J6!t)Kq9-nvzc3er4r1eUW(|dBq`wBdp{? z{`h4UhxKbwD?Y}N&lx}SzaPKuA2}9vw!!_$TpW$O(kZ?no+}X*yoj@omUJ&-nA7Hj zX=*-PWP{@Exr9@9WapJ3Z5n(${x|o+NvZOlD)Y7jM7Zn?T++nnY&N zL}0!(hOQ_`!e}pLY%MF1EPp0HSJfRAS&@@JjjC%cNQP*uJvi&UwaS zSsHgR6-5AuHcB&xHX3)oj=ahDihZOc9B@wlg!}d`Un1Vv;>NU-GaS~?Lh$QGt>;b_ zR-LnQ-Ou_IIlhPQyxnXa2D+G;=8x6>Fh`m#Jh8g|;FEAJe`4)#LKTNyK18**K`;E9 zLWD!gxZ35U#d5b&3l%C`C&gyuo0)GlrqVi=dG-MOCzY<3d(h4_Wc$oqnL9#wp%$h2 zB)GyKo1p2~-L?811*KDQufErtkvkMuuc}mV8S;MfsYTmPgHU$wn;mgcWiUzp^1AL@ zP-f_nr-HQ)FP&Qq=jT`GaH4d){5ViGlb75fn@6_rEpT+n+ZH6NSHp2&X?}B66GGsP zx5-e)tGxpre^)ymdbHvc+Pcw-d!v%JE!+{5>32D`mN(H#vM(^=Tl@URsYK^SYNCr- z(Zi1|d*g%D0WeP2ul{_1wJo6Ih}EJ->JN^erG{kR)M$dDNFNhH9;V^Bm$B9f+Ra)y z)-jLf{Korf&UJtTB!(BAS}}lSEChTZz@|j%20X%z8PnGOAx)n?qKs4*!S+7%A;yjX zQV-;8Q^VStLG+YsNKRJ^()y3~KxXus;9g36-{pI-1fbE<#-K3XpnB zPN`$49lpT9#>svsT=SUIQ(57MmuJY79hHdPuIpHhmNVudvOXf#{fX72j8~bR)r`p? z7KKh(t0(z%UxsZ<5A$BXp-IGvS0Gxy&fDCgw(s2lF%lSd7e8M-TOB+b^m05M{T3R~ zR;JRIgE&d+u^BUbvZY0cKkoiXz9#^+ZSSRro`qhz1X;(#<&0L0cm&qBC`89zrpY(* z*o>vQ>O$6;pTdBhnT#p2h2?+{%P=OHpOboGJl_h_%GEQ<{AI!sGI)m2?XRk!*0y6D z7hgC~bo=0N_bfzilD$-Y0KFCDFd~2j6fg27#2Upv%D<55AE}(ezy=jv?9~l+PX?eY z4#eiw1+=9~NqH!n-VbbPwj~+Wr@2`rbfZE_?*jZk`WRyI^WCrYD?EB?jsUIo0q4@O zl|bd!co8C2Lj)~BEj~X+EvKaeu7{G{1<~E1^-OdoGV%gNq+piCO=web_t@~*Jl0T7 zu}P+sCxI9=Kn_aSl+-wGED+<_{M#k|wC zg&Ri=StYpp%SUIp+JVfyny<|~Wsgq}G%U+3;x!Os0p zE7f~qHw6r%M^`rrTC)2Bg8`odR+@`G`62)|%F(r^HEza?z42u{tA#w{VACJ-sV>ed z)d6Jts5?ZCi~oia=c7k}ZA0|dbAq_HY5-b)ve3?DEQ2Su5bSxvtJ14iXuMBo$g-ah z5;#}&{*!aCeKOt62?9sz0ka}rbdgtPttK{p z8B5%ZUF|D@O#!${Tmp#`JL2&<+e@@SJ(?=|^#g3Y#BfI6D3>9BAglU#z0mNAIWMD! zTbX4`K;Nv=+UB1%=oNrC4!BCRrPd2z4rl))JZJ>P4hefBrq3$an97O~a(J0X`6$(8 zkPZW9F@s$LK~xg$Dd$}VFe>6>qrDTatOZ#YAS?k@@ATEB|CmN^OH?Y3&v~E~BP@Fz zD!l5nz@4_%o0bm({;Bb+L_vHDl+a)M`^$63q;Jr=bd*t}B-X9dfH069O1wwJ<+0m* zzJMsle%>00T9QzH`z}sYP_M~*jq$gD_v%z3pw(F$r+KB0nro;0#$R8{E-yF9ubc7p zP`MUWu|Oo+<1B~~<@33F#8?b~eXy7;aks7tk0ylx_jhaA{LEXK*(SXxsr{w;bM#>r z3@t6*X?qs!MlQ{TK$z&y6N~YZ>*V{V-x0-r31Opsw*o&(nQfGdX4h_`2C`LGs?h+H zfgp5kE9mTx3$feh@xOgqM~cRZInTV4U7ZnT>-m-+yHfUNV$_RDN_y{H%@3-O;SEcli~jjD zvs*XbbdJcnFY+Gr<}XebhOfX-Mr+MI8$kqdW}JH+Psbq=D93#TCL*&~y-w`gfV(9I zR>#v?zQ4S_yU1%+Hn6icFAoB%w%s$4vgIwAfcLRqvdw2xoS2agi2blEO|iTA{A65g zx=4U@L`4}8uYAm7BZ=dg@t;$b-dxJ|U-}SMHprw|`hj#b(>;7oJ4;>bDZhRE5v%+sC z>-+twa}&XPGQctf(8k09#EN+Jfg~&I*df53uTS!ZJ)M5jT3O?d#g12lUR0Gtn5sL_ z9ZR3jO<)RPd;d$vS`C)>EHaF3dTX_*23yzq2#9eath#s()UE4+B#+YDcQDi2oYJLw zW+A0!c<0#3+q^JG9#%<7)SY+4j1Dn_v1d5h;9)B3Ef)8&buQz>hmU|_&x|4(86SHW zV~AG;ptHIOhagzb$qBospzumv!}e>sjLGH8^IU*^1sWx$8O&R}QLA;B@6Sl?m3DCM z#@?(6z$Oddi@4nP^{X~$fCM>U0pyxc3W#itw`DN7i0KqR6PMQzjuHo3Si zIg(ey9A98ZY|@vj7y-LZz30>ZWjLjey_@hKg92_UN&#Gep!L2%{~FtK5F*do-gWId`Jjw5((lO8(DT% z*7M_BFukZWoYsJF_R0Y^JY6HGHH2CBy*!g1F65c5w+j+Xs}m&GmV9?HZ%PYpt?Q}Rk!`$) z5O!*kEkuzEND^J(p#GY8i=aa1DZy{yUo zKEYX8Sp~muf!tL~xs`SJF0}~ZZ0)iz@bpi+vlEu1|Nh>d z`8jI)&+o@;+|9u532OxESC+C7CB(UX z49?gy2zXTc?XP66d4+$ZjxLE|BHb)5J+huLy#?G8v;Qx14|g`!HmuLP8y*6AGXud# z0Y_0Kg>A(3E#fq>3+R=81Z|PP%%2~(2Ac>eC^|({Y-%?xd#CKA*(8jThtqMLd zTW`#&;n_I-{?*=Lb5}6FNhfx{URn#dzEVRNa)bHnvq;66RPlxIAAW)!eUpV-3%whD zeYY@R%6D?|c4QWXV!S^Q^I~KzvpT)DSG}k!0+N4X%TzPt<7Fe|wTBFa`H8N;6DQXN5^X{V z5fF(%p>#%Okc(z~CxrIb;j)Bl`)1__(a+mnZi4NL+Ww>{D0r83+T#H5e8N87zS4S= zh^(Jo?;54(^j-r}qm-f2V_E!oKezqdryB(5yoDnM2_*L3q#cNIk_SqmeS=5*9+4pR z|Az`{`vQy80?a6Nj~XU>Q?tg$M>!gp#xmgFg$13-ZyxW&i4*M`Yenu(l3FFNB6}>} zE^@Hh&BV$FJ<=-$km4qknEFT*e=&UAuuAjyU04+d?4$*h$OZ!#KJLN!Vd$@y2UNdK z79C@WLCbaV;IhX|H;>;f002Du4mX!VG~mU%hmMar*nSC!%n+|MgEL@W_^;EvBNvjr zZuixPg_T_wPzVwsg$6(>Bgh*8n^ve^^c8zPeW3pv$SR#L`bQkFy9jRtJfR62i6{beM9o zp;6|x9#AdgF&W?X>ulue33nC!L=ns0LGW~H;rOHppWkz!Xy@hvpZ@p)kc^6sJ%6DP z#8Pn}4gidrRc9CHO@ZWN{vDE7-(Ki6Ed_G?QTv1#Y*(NMW{Lc42*lz ze64hC%M5_#J)09w0V^Lym%Rg|*TDUXlJUcO)ZE4-SvigjiDb;SSB_MWbl_@RG#Uq7r#7V~LL&?1dl7H`LV%}Cl4g-!~REwNhWN0=9r z$l$Gv6f+xFwChMptMYjyW7DvK?nS7eRM{DL&zzP>+VphgnqLB{)Var|k+HkqP{er> z*Mp$)bzJu`4D&nOZh_mh`bSm3gJmYsFHwd&PKzb5bn#lB6G&3Hzm18_`sTibj7dgxj2L8;j||Ai52TonvcJR@G?61nL3)MKOWUo(}Amnp}bW{5DZ}=6+LqsMlA{^o;y`eJK|BLnBN}EryYIpV(>t8 z$S3%xa>ALP_*qju0@F44{<^p1S^`0$6S?M%^N?+naxP!3&7fYJvEpjmfsOdN$PU0z z=8L#)7wN4kHJ_(j@RrEOsOY=n3hir(8RPuVkY8jX^>!d-36gmG3`WfKyvU%F3#zYi z_3UoY&w#!~TmZL2$%tu!Rg-f?ZBNT=CzX{A{&1a2+nZ`!Dah0YiTFXaX~?OOg4SMN z@oH#_@-j2B|{>V3r!zwWE**}c^DZ`X-_;n1)t|m0Jc*6u}TgK zQd5f~s|R;0J6Uz+NZw44q=qB*SfKCKlE zqUoB#Wa#!MOh@%6i7J>FT?tT8~VEZl#=Gceo&U^l7&13Jv7jO;Fv-D-+>3+EL* zb(0-qXD#l<-}AL!Srcx5nR517#~>uGJ4jch?jR(d#J3JPqk4D-#T{JaR%aCv-ctx3 zebiZtq%Lp&F;-cpH|l$2NS?Vw6yk@;PV<0+-ujUoBT_1(_RBDtsm$V3wBpQcO}x{R zyRFYy(=@{0lCi^CIoUL^hPxt-+Ir6r9S2)8z!c^C1VuVE!ADX~q6JXXJUzi=`)k<4 z!@3|vsPycS`|g@BibH+fC$`6>$)Q#+o^WPki{R|!LogZNt?r1got{BR1|J#4+qoDW zj9Ep^H?N|(G3Sk#_;z}1eVCB@8a+E%J_hvIPm8{^UXovK^~{V%SnU&LVwFE$@3*oU zwF)pA)=RMsajb2MpR+nTq^{xK+LQ>ub%X?1t6k2e%zQkSe2O#vUR<5HKRfe;}uQ_bgz%EG0pZdLb89$cCLf(q*7L!)p~#C zN4OSXOlNtiyxNd?$>Wt>dvg;r;&p`!b8BnqTP;xz1`bTFjq!2HuDHE|NN!zGpR)`0pU zC#AIp{s9m@aR5~S{&Aio|IsZ7`<(>1Ab&Z}TLxZqTGdT!jnsd$(fiBS6*g39W#}Xn zS2sKYxof~y$Wxv=uK^fK5N!wp&dgz?^3qjindR=x++t-T<--!txb~UHv6tEMG2o;C zT*qj1Xy{{PB$eOpJ<3G=XC*zkuV0@D4GZg;cfY`huYw(fo5}_mM-z_VF4c@Vaqgk9Z~a<2OaoAIG4`!THA{TY`1xKDIk{OLeG#78nwlCN z6M&+G9-pM3pwRO46l!-fd$#d+*prY1Ky;8tN-Gmak$~5tJLI#?JA*S1;mru}Ivsg^-l`9djpV8C5@xkb?%jlRWdaRa>?e24Z4{K2Mv#!ITwGmUC8wZZ z@bvfkDo<}Ag*Z7!1cwX1_@OuW$oOnQPrcStJEL<%mDLOKU|yQrsU);77Ol4?WJH^q zn&>RfsoVgEN*=z_P)Yp03nn|-U$YQ?|M4AYKv9p*>`)%i2gq=rdvowh2q1b5kSzDs zPEGlZHv&f;@15?-+>fl~&(NfN?0#JgF^>|yEIbOhYL#)D`N*VIiOEqGs9|*CeJ9e) zkEz_cS$dZtmomYNFN=hnbCI)>K1$Km*DbmV)LX1{kW;sy$r0%} z$RHE-)6NakYcjJto9}q-Cx6~Wp{lHsFtg1sz6~2Lasit1FsQ^j>*<K}bddhkT zIPdC->Z?n{+~(ySN0=R@42Uos{>IM+IH7uYTMBL}Cy?DK2BfE7>AIr2Y$=|(-YhIK z(9Zd&For|e0q0nbUE5m`B(~TH>>w!Kf?E(1eDs?`7C{}dX_3+9ZrCN%irV>cO?DW} z>9Ef_Y}|Mp%-WOqnhGYDBY0DE&dzMWz?9lt4gOl7hO93d&!u1S+4zW9n%IMgaZ?mc zh^47aS&51#yGIir^!Z$hhc#v)^@lpN&~}+_ zJms=7co8$a7G0}LSiYZx$g#e~Bb9pc#QE6INUkxj>gA$pl?P$3C?`8NiWilt%UcX@ z(`eOL`KMdFx7m(Y8dgmab?A%JOTPEPe6D63O*F6%9cKF`F4oq0bfbOA(nd*1NfHO0 z=0U$_z{`)Yo#geVwSCO-T2M~lj$s2wS6OP0HlhqG+;bb&0MDmGw4y2-AwfaG@Abbp zT6cC9js(H~vGvGw$i~&tB;!KP%+dE33oXi;R#v&{t{Lg+&ScxT`BVF;I=bGqT(@~o zor_Eh-u>F!E7app>>3;{wx)*KC7#Ia)H4+^YjWFC<&x63C4+ahDu^3JRXvK|k=@M{ z5ER6&q1KlGw=?#Gw`CB}VB*Wm;)qW(B!VEMMM5CKn&~gbKoA)8UQpT;jUEN56+0{Y z#^J0d;Qz0DK0Gx!;%%IiTnJ8AUT+YSnUNHY*eKU}ztdxOq(oc@;7GeaR-*-QX#PjA zo#vS%JqFRG+?j22Xyf`bd|xKt`)ksK>fr5dkjIF{&c0chSr631@2oQXUW`b$D?XUt zn=3j;u3IvAHH>PR$Up%zHSr-}Q-1>x@pNcV;A;}Y>8zePM0(Nx;q5KMqUzr8(LoeZ zN<^hoC8WE%3_?IU1?lcCK|)%`CP#WouksP{)=B#=B{m++kKAjI|Ul)QC zd+$|G-1q&gjid7=Av@VoO#mBnZ}f375AefZj$-6bkii|#pyXUmE)ykZ(U~X|=_@af zb}k^FNCY_W#!0|`@)nz9UPGXY7GUdLIB9i*y`#F%MlE?V$yj#Rr$) z{Pd~}C&my)aW@-en9@Kv^di7Z@U=# zE7P?BK{5Z9l9B}^ziRPr%UXGj|AJWgyjLVEy7lju;^YlS)r%`~q$A?LtUTmKp%{#~ zZz0;x&tS!miJz1KIm-D|g|wtEz392qTdt>kem^nW;6Rb>VME2pTzdObHHNusTCm_M68o_&;+nRv>)8xxmgG!g*-)cFB_V-Z; zsgt9P1L*jip_~xPzV;ff`9iRZ%1j|J=gYD&P;t9n&eS-sh1vB2cE_>|o?GwH)_Vpp z*PhhmV&V*czrI8i&Y<|NdKV~O7_cXuyxH1K4-0|epX%|Dn0S?hp8jzObMvhr(Jf0B4MR_#WaJIosE1g$sCgWiz=gO*qu z*IJb>MJKy6YrN9OZzD}>?-pU+`@0>u2AbzB9)x_I>2wUurnDf3vgl_6qf}K=+AZ%J zS$e&W^5>xT2UY@8X`{vR&8lq=#ULhe z!?KDK>7Quo<>Oh6Q!eHS8m2ZiH%9_#ebl5^CID#BAgV^Wb`Ib%Y_%q8+y|+&yTAH^ zng)kkmZz(s99<8)g7?RWegPpF6Pt|%J-0UyH8qr&zA8e?mYU6wQM_JXpC>o>Diw7& z7d+eCB`%LuJ3r(;vu^e>x*P8_J3CfX|J|W8B-A@k1ifC|`%}u}74ZPDwKv_OsLkEa zvk(4jRt~SJn_W05kncX#*D$q?XfOm|AE+CtWrqWP7Om+~FyR--tLj)123m5RM&ZQF zw0w?1uOIsnG4|H$ORW?X5;cL5XS4XO&NI0zDkPZvE9>u7fJd1vP|sQ(ETVk7IEx9|_-;<1U}zSJ~L*2q^-bNcY;4&9oI)zdJc zcbeNoZ|^uM%0-j@oeHXwC<#0TQoR23FO%kb=2{%Q+U9J$XSch)91VTU^IAVtKG(zQN)R2JZfRC3*;pUH+ONBE-7dXPzjB@uNzuJHS!DAk$K(hY%Arb4~m<^33?FYJDvYeXJ{u6HVbWQ^o0*%%l{`Rx8?xKKEocUse5wU#Td zcxF5OeOMvFRVRkGbiA>7oW}skC$>L{@I#5eJuekyoz@xv>#X_2ek3FcZD9hBzUrdd zwL&ZW<<7Kv$Bfu}fz2_nZ{E+JO4ZlUSatV2F|p4rBfnU)Z!I-N7fbbRpSPQh$N{%yQd~R0`|iZG(&B$8Te?emf zeRzH@m%sR6{9P*@@7)^r?djGUKWp1&o>N(z40k4FxczaoWGS$vkN{aux5Cm;+;6E$ zwTE+e$OrVxO-T0W~4<dzNdD33`V2sLhbZB&r++q8j5cxli>&DMVDqj_e>Jm$q*naRLFdXnfG zXTsNndYjfUD_h)IUeVS}zsvA90hv|K41G&x3XxHGr!9n0n2Cvrd!`h8dOK%Yxs40d z?@a8MRbn&Qk*v>o9}5b*|FEkoQk^hCEQ{FHRd(xY8`zej0)E4io~v#VR8Yx&l2vTp zf6ld+E@YcxC%8ZiHV3DFPJippo$orOjI2zK7k>9CLPx^Cyiu=5SYS`)s;wJujMCMR z`bAH-@CUjrms?4&fuosTJDaQIXgR?zY%NV4xf;)aa9#waY%H3SW%j_LT zri-b~B(2V|3&>#Iuuf^NuOgr~8m67OLxfGA7+i&>z3GWS7w;3VDJ}VQPzu=1OO>B{ zp?`Hok(CG=gi%~rzT+Lmz{2zrZXgnB>?h}MI2!ugX1sA=$|&xvbJF4)hZ4M0be%tG zKY>TRaD#6R6P33%_%&~G_iC0%oF$JOuyZoqlR#)K7p_~VdwLUWxeFU;-2Px+W?25Z zVH|4#yrOxh&n;CS>wWmES1{M%H{nlap3bL!NxA>c@keCQNPbbR{chkD#+#cb2rrQ+ z*C&Dbg+T}01r>-Kg8iRr%IJIHYGV<1CbMrotcC4MPW9@%)5`S{;dIOH-X4$tlJc4O z`c(c*Y+ulJvwr>>J;-BXk1x9QUnD!tfKmEOV!tnFMJ{g8-1qt|2Wp2Ilvf6BaLMZ2 z*1yII4&i7pF*@$JVmgohTZhWs?BIi!1b2Dkip+SZ^|Zc6z9hT zDNf6JqN_e*rAHgt^@zk24at~x$8hE~3g7J(*K58#%D;$;Yi&>EBv|yHKV&9}k}Twh z6c%@jih7%rSw0(&RQ_wQ9xP+@o-0|M=;hfT-3{i5)S`nL%P~5d1M{gK(imC$I;{+L zBDYS4pT(;FqItWYkM9!@*f&A&`Qb+aSbu5>YI838EXzf|sSFQ0rD~deIOXB4I^fQG z{=70Smqy(1WSpM9y@Al6$(lO{FvSi*}+re1(%7uG2gX2BG*=3EjbPg)0u&3c&Q?Ys~F)JYghN#6Re2Ex4C%!a~LC^L`z%6F)9q$D=W9eDcS#|bL!=0 zFbDlLBp~a-#OZHU)Z56z5m49d@1db{`CPqeee8(CfP-k zJ12~9a!wE&hiZ~BPm3+C3A$@9xs!cou+D?j3x#>qeef7;Ak3%1+oGNO!5UM5sb1zk6x)MdEz8(q9BkTx?s?s{$l8LYGRi-APa3kI1^l!7F zbPgxHFAG*V+aAPTK;3w!?^Pd}MTW!>Ibpb~xtCAy4qUUC6_*tjY20yXnbh@^Q+ko7 zKzTjwr|~sUfm}nWC(*rDY7BFJR=Y&^$H=*N_FM+$NfnH0L9@Hdq`Qcy(NuHvoylCq zuB$l=D}cJ(U|BNet9fSRMt2seOt2CMEp#N@s{m7YFzu(I@-=0qF7sPW!%(46%moc~ z-t^AV|=+$+~xcW7Y9K5)} zU_q-LOkZ`^-{~O-;oBF~b$6AK zyUhEZ+b3yogB;zHtbhI1U4GtvnaXdcs+hs+JzxTBQ=4I4iM& zYQme@lb57zpCRJFX52YDV~dvyf7QOY7W~1ugw@6FoQ*ymRHhazvc8p(4sx67Nru(P zm;}8{*4(+8R4U z9%~ejnJg->j<7$w9p0g^PWI0=iv9VUOB!b$`QPk6hhx zwVku@&OR1fv()aXGz*D2Xw;wHKI^Vwrs`e&tBdV%@_Uk2ddgZsW}Qd0J0w5S(%cs_ z&DGU`kLOp|l(r_r&Co#U?_e_&pOv@Gf?g|?T7jbUJD2J$#YY%n;u#*BuhgfeS1d4} zZwKp7uV6+scd!w&Q2Va`iD=jk+7`5U zbe;C^8O{3(KUi=h!wY3U;>kS=4&mgW&mIqdpRQzHkio7~y=m2b$8j#Kk$U)|n37@P z@tL#VnF8l(mFVnY6ib?WHF8oIk`n<0sPx}xAeo?>ewhxsDztKGVl)_Oc zuN<>mT(oaXkK8I@5mf#ZTk{;QJIF}E?M9K1Y+qjLjVXa>qT98d>mh9@Qd?hW6&L!T z!%L{5s}fCaA9W#5l#+PvakH4!1m$#nG0izT%884;5tzF~e}sR3E3bIU<}1d+PMZEp z!!IFegKj1YA3nfs3iz=52YP<2HF(-SOfWMyr4^&a&|UD4xl0jfIfila`gfg2!|8(; zR%8sh0)8vRKHlviICW(9K@QpHl}%$9geq^sFVwtW7tvQ+ZkqhrBSiO4r(&bGdQVRAi2Pv|Ey`@*8FQs(BrFe_0BDNEngRomlLTNQx+vDAc=*_VCSKEfQbx z5Y%Qz3PW~)PK&WDR5{PCjOo4EDf#3H2iDnfvb1_){nT3m$U5bt$h#q_f-Om5Lm3@h zDNkpOCDq3~KbV_lRp&keqDDr8!9JM*b9e>F?$ycM(0}>Pw1QBh*h`m~T`xGif++55 zMzl7!*$=ZS-nq^16`F3_urWwL)2!ZE@^kiFS{9qz;2gJylIBGi1WDnkb$Fe`gpc zJnQKYH)GgiWf|6k8A)kEQKPr1Y*l}(Iza;T83sFKe8Cd@`-9ZfzR53fACkk zPSR&=iZ@UB%&+c%t#vxVya>vtPy0E#2X*D^-;fBe6qjyejQYtFEQo;mlIKAs80J2oBf_}@$Z_dIS%Ug6*s}$L zNf;}+y7E0eK2({kAFcLJo35IAFXWQsel-&As-2Xi_M4HOezx_uYu|1D`X+c_);W!W zFnreeu?I5LcLm%^t*qu-@%smAwl$lE>qj9kMk1?fKfu!?nc4X@6YrPes>UQFz6Ze( z1ru|}&&lwEnxp5IFjN=AGnd~8$>bfypNmN%2BYcC20?MY7gbVWj5KAl4R;{xM6<`r zOHVIO%pDX)30qUIZu#qv@C)32m6abbpy^=W8pzn>M2Ko^V6QAk=x)2gXB_Jh3<_-^ z1lXT$MgSAhYhcu@D;>_+eeEz&tT*KX#WH-SuHG=mSMBiC8p39|EQ1@JwS#w} z?mD;4282~A&WY`ugm?NjQmhr%k}&lBbmOHI8C%|UrYnuM|HQ+?vG7FUQAA!~;p3lr z4a9`~xC|?N0!3IpS3EM;kOSk}ozkhD(P&wX-0>{E&_R;WGBE0;%1O z#*7FpJyyB7Sz~(1X2oB@$pbsSuT8P}ue0XiYsCSIEP1TEhqEFgUq!mhAu~37CICNl z+Hx?kV;kq`e>k_bI9b+mXS5b|)5Cr*kjTlBMZ^aZad^W&FlvCTO%yiu5IFx7ym*>u z=@^hJp*5lqlaI#F`{-XOwfZl_72$ADPjK|jfM_Q7Jti)f-&BwxqSZLYt{~FB-0+;d&TZ{ zhyrU(j$C>6;FD!7LAw8rO}Tc*^p3!r-O(6ExC=%do>H&?UKk}8#SPD@*b(l1<9;I0 z8!B)x8*tE*S0wXr$_|+G4|fP%rMt#ooQlIr7z-Odrb^1u2$0kTMgA&p{#ZVkX9!o*$RWQTk^KJ%N|X(T$Ej6B{c{OLAL*@KmZG$ zQe<-3$-r~Nw9o%M*=;6Nf1~~xU3RnyFj~L?bbY2VcG${vu9+~hv1t3tLG(~s(c>4- zLrFZm!Xh~4U3=sxEv7W&wB_43=`us>JBY(fKP-Sc?0KFAVpF8P;ZdkQHVTCtK}bh{+am5?Y?&fvrq|Kjw1BB5afxsWGGuFb(X(_~woVJ6pta^g{|VzMLtGKV4uD z6TjIoe;b<_13(a3t5J(fhf9F~cr#HC%F4T}2HE7;fdyUj+30+5oW+V`p`hpos8`d5 z<>sD89?f1O;}Pq=4>Nrodfq`zH;;e8XF{{tnrzJ_{aSX`5|5GF^@PY0{rpOP#RgWK z3}5_tuk`8}7O(1~@x;bj;M#L@^RsEhGZQ5#yGAWX-ukWbU?Lz>j%5_R(JLn14Nh|t zwtT5GRQi&Ul4UTMlP4>Pc|mk7EtV0V#&Yv7OgQc52NBlK(|ZW@U13#?kk`dyd3|b+ zAJ00<=(7s&kpPLYygnt_&TL>#nL!JEhP6*iv^U0frjA984kxD@-7?X#dNU(>GBXtw zfq6l;Vy&h2j3Nf%Sev!sxrpR^8g{%fGMGn-ekxqbNasbs%W!8#ZXwFcTW_L?niPq8yq@d?C%u z$@Hp5pP8Er0#Oz@&V^;Ds;Zeb=D}SJs~0`b3@Qz3|Bn{n5@3fFo(OshA&&=Oi3c3d z3XVC=QX;^2|DH4f9L&anFiJW*5}a9nJoBcHNSYr#g{GXTf;x>I&obcFZGqVnZ+S{A z$TbrdE`WVX9E?EdB^#GOv91;qiW=AOO|^SCuXl=4;@f&r#u1rL z&7mQqIMVv6s(rUC)2dkg=0|U^9^KGbzWiOO9)z>0r)NV0B%u4tno%!&3bq0)w2Y6` ztv}FQ&b*Yu;@jQ+>6aV;;hjS+7&3_WH3yt1vnnXOmU`#HL*LZ}V>ABQnIoKB-kN{E z-X@XH=X{^xyB163nD=J2CHRBu6DLUS0aV8q(B-o8Dm=V0639L}tZKX{by>c00#IYl zRD!$egNQOxr6g%BA4 z90A}esq#KfLFMo-&8j$oBwR0%bqyfiV_5YJ3Sy zm~xQHeR}gXr8%rJ;9N-K9}=xt10dH3OkS9C?16^{pT8V`GUrj~b@zJPr z0kwa&PK(9MM++v+6FtfqF1l1MAs;-fk4CI5boaKLVRAg~YYM|}U^X=UdQ}>BRnO_9 z#vE3xJGOfwaalZR@r1?Bhqi02P%-PJ$9WigsrCfz#udL%va<5tHjl=O3#9K7Z1PoG z4R-c)!9mZm;gL=|)ntOzA+%Vukp8>*3JZ39EPK7w0j#eq$RJIJW*@fdH9oT^%)|RR z@@GWF?UJO=j2rR`;)%T2rCqCW_H@_;TN%zUuR8@3-hW~E-E<9(mc z$!*7F21&@6?P^$#$`bt1(b0So5N5DYYgVCkOEntqoAf2+1+q$zXwkykRECE3WAGjD z%!`@$l{f5<;&!7xK7aX2(bbZsG4&M@^5k?50QU1UCz@wzjCUal^zlB10F;Nxl{7FN zzI~?^%#h)wI)-f_>aJwA1z>s@S$@LWs}-T}O7z(DPGro?HLsS5_>*59k!}3km3O|y z75^I-+29Nz;}%L_f(>mPyRY>hBUg5l;kKnEB`)4O(%keohog)on#yjelr6c}%;dXf zgPsbm*CVVGb_im<_kJ>u_@dr`pq?>P+(DZL#DA)UOKFI`J?91DZJ=N8JzC84dTVsdM zVMTOi&rFwXI~JCd$bfkas~ev%Jw0z4v+7JmPTVb7X{xMLg}vu<#{W z+qc2upuoWAUa;?6C@@aX=DpTzNjby?Okp#lR?XYfAey$y1kO#;AYu1(U0SfKiAJ0n zZ59kDka=IxpR<|V|EW*l=Zs7iYR&#Z=V_xDnZEv|VtMBh+F(}t0w=41%sb-E3QF1M zE-2GfpW+$9b#;KcF7N2AY+Nk8@icZ~eD03Huj7CtSS^K_S!bIbpB9-&N_xQmRw3Xy z83aJi^`Zn`R&S5Sh?GT{$jLAY{ls;Q$G4`O*zktm4yAiXr{=&mn>H()x;9pUop1Y> zp|BCz6B0HW4(>;Vc%>D#L=FyoMcka18<(&NN0xl1-m7CKc4$`_{LkKu=GQ!a{Dk*n zdGG^Q&U4Z4tlA;-hk-3a01BVjcHA4C`HMP9R_rf>t{!<=Ab&x98CCCIY0ran^LvJH z!E2-&Kldr<;|{N#wC+Z53#Zk3&h>)djuqCA4p|=kUF&U=`A`Dp7{FJ&asBQe90Go4 zmlwXeH7JgR4v#XEWj=@jZW$e1fEk>K$Y^C}bl4z#ED3iKX(5TmQWTqsc)g$S56jUL&3<@Uh19?6md95!cW_EGE-# zeA!G|l*09xW>Ll&yUriMyWPL9P`G1tha;=(7Qdp=uRiOi~j4O7ufW zphAFR>GcNSVox~xEm}Udf#;=~_95G=HqiQjeLk~EwdT{*Cz;Sx^(x6EjKu%7XY_YwZ2Vny6 zzZG69tsZ(^zr1($C%gITD&PN=Oz25FVM_ITbi5GL3SQ7qZpRz`RSfVAjubn0!>%DH_`^&&3 zDAc&2BmFVf)NikxHKOsJ#3W|EdZXMuj#`M%^t7ELhb0%w>Kp+;=FES^@Xz1hu$8cb z<9YJJNA`457rE-Ko=p$jKL#z9*h?rgaL_Q4e2o>Ww=3)*CD~iwb9g2nDH$8skufuZ z2BL__!f~nqKZ&;PAnsGb;%GVgAtx)30Cr0M&*ae`V>GS{f~aEE;fL{G^t?E-vvb~8 zXni0U1VIy=#boC0j4L|{+6V|fEu#4|0fIDiJYq9ne@`u6Y5z=04n6?FHLXUUWGi2E z5QUCj`PlG*%Tll6m0tTQ-?J@&v(sHtN*vL-Tp1(V^UXtlw2tJkShLlb+G+&rcvGLp zi*bRO9@ESD%4_UERAw9IRVT(*V&? z--Kb%oZXMrsMOi~*VetNWpz$&uBHwJzWvYxAIqb|aqp5exYXqWSiE*L_P`xHreL1X zR7jv7NbZ3s^UQue5apdcuPklhfq312nTYo}(8eV~IjkFWIM>`cNOOEs9()N4OX*&8 z5lSyr+57mhJTL?cB&a{CzdJ;dKl(g;b$9V?B3|Z|YB)oP{94@tEGxG{c9OM&Y^=cKk`)RfBU)u!Lm&RiMEzw}E z_5Dr>n1Xne^8}xePpc|q|s4xu*Wu-{<+=AJa(;xD~-wHLA zjr*#c$kFlmEZ^|AlG)H6&Y_*2$5AaAWNGlmloYaz^{~c@>#Ga*rbQ3aDffDZizm44 z?G6Hzfa5TF>p(z)hoxs(*o_$!YVy^TN6H&zsba?;WMb^lx0n>RIC83Mx~K%8J&>^H z*#3cO#-s)x@|Pig)-V?qHhhjB(^Ns&1dNc}7DzumdHwixncmOE*asyMo&nx*K=xiL zJWd9|G@+x*uEme`zI(^Szce5vh_`X`w;hfsLgS zv$Y+DE%RT4!-k%Fea?EtKo3sf)-veWy7=JI4EB|nv?>xgx1Z1{U<)<0Qx=jp%1oH__o~oR?YBkP$)_OdnBr#JDbe~Ft^~V|nS%oQJGM;1%s9I9{cfHu0Mc&lod)m)AU!^_qqc2_g|-K# zK230QHCpQe)_>U;c$;4k>muAFbJD0cAFIluH^fES4 zacdt75$br9FBYogtQZ0`1p6mTxk`>4VyHbR9Y(b(ex(q~8WT3%1;W*j;4|>Q4H;|C zHgQ+;`*2>yZd*5iyfR4imkgz-02Rp}>1#Y}e980?jH8VpqaecOppWm$iE4g=wfh}p zVE@Y!-HW_EsDwPetFt+wVHOYzTd0txm+l9IiFku7dB5ikd(P9j&oAEMWytJt&*@A_ zGke((_#NUIcSUzBe~Nej=pyu=C8XS06CK4q24~kv6^K~>)9<~`)|#aniCL(WT0KUu z=!r5N){&nP_i@ybp0I4G8rv;xda0Qh!Ryl_WmxwFa;ME>?MXD2{?ATb{zV6&6>H_F z7O3~f6yN>Z5c>G=M2vZ4Qdn4F9snd%bW}fs{zTNc+AlVj>Q>Nm6MYTChO_~$;)S=B zd4Ezk-~nd8KEI`F8)FZg09*TBpFDNoe7*U$b;dY(fECLDxLwDiUn(Gfx()HkNDY;Z zAa-UT%8K%izCp3OjTx?#lGl$71t54ezu#ml9+Rm!_xpG>UTPk3$Ndnd`>^*mO@)=*;d|MAx_fu**0ZHOPg_AxQw#eQ}S=hG&Zew3!kqe4| zE`w<_a8ajxw)SSX)FV@C0i9hUpKr>Z6_kpvc!eK8jM}RPf8Q|IMK$-xY%8DnzB|E2 z;>mh~A&CQu7ZBSgtTC*dsifK-{C5lH&CcKE8)VZoj|Nhw579sx><|uju5p4NjZ5z~ zm0yYum2tb`VRg(+8M>!2cUPL6O*)q8p_=(p73-jU0NO>PJ~3wvD8MOgo66no&iYg^JF@xH7*}V&ZuF-%z?W~EB7=mV5 z&wPMc1QDCMeyqBNM$ZKBsSkLqc+g1)8WPCsh0+3+!XP#Tl-Zzk=;%HO0vh^&8=O}j zq#_*23X?$S(uLFcPkuu9n6gv{3Ud4I&BU8!HGNh9VKmikm!rL$euh8VU-C_E^EDV` zxBT=<%oJflD&DfyAmkd4Yy#~)ea{dy(51Lpw5D0ucmxTdHA`fPp{)fNx zs`;6r;Tdi$d0F}5fnB)*^h@#jk|Ro^te488||q}vb*QKv`y_wH2^Cl?m` z-wen7fz{EA{%n>8n~#II|Hl5mtUajoPY8fsGR5ri`HR^eu03Puy$KBsefpeN9czO= zo^;%K4Z;)s7!4zityNxMn)fLtPmsLh_m#V}uJay*aU?4OU6fcU3LWq8P=(EtnWi&7 zr+@x?A_1Al+O1)U2$UTS1TO%d^mgrQav-JZSu+Q!FLdx6iH!OjZFjD~gpQhutFzGZ zmrb2g4KUZj`gpBDHp?!~4vUKlntY0@ zd9ItUiHv%#!P;Rqfmhl5Dn*3Utcn!w?6y=a>g}`HNpB3i#2!zXcCr~O+fa%LP_Sv3 zeVA=#tkN1v`(5pW7uH-cv(>M2m(`K>#UG+N-|y+7-7=I3FEdZ*#b~L3K-6Qoh+*GX z5+k4si`Q}fLEtLd{(>+NI;dMZ&ZnsDR!22@MG_^)!^2}n|Bt0&Z0$v}tRN`Ricby) z?nm8nOebSilry!z5T<%}LS0?G5fLrwNbGYVmFq|Rk8KqJJdC4vt~#+^waMJ@t|MT~ zcaRL_`t3b`b{z^~U%ca{^-c3G5FF0^I>}ays*qFw?7;p&dk51_yp36G&nsWT?d;JJ zO;MzTiO}?gv5eL4`M=ju-yvoqms3O_vm@NGPTX8 z#qtEYHfLH?od7?kF`(d|Xq+(U{zCkRgWr@2_{7SpN|yyFNH{nhq9S6Tq(lxQM9sqH z(3$E@KV$wpnlR} zR`q)-Q?pb*h;`Qt@p2?r3y|H3yXeFkEO!pSA0Cr7e9)uyiSg#Z*Tw4UVnYJIzj|Db zWr(7wVPtYLiI59+0KCrWHK60siJxRC$(xd9)_4yC&s3&iX-Z=1!JwcaN-p^!!V#E1 ztmU@3!vn8I?e+&jgaeIOmx$HJJF-^l0K)RXV+09a?D3kow4mS1DFlwBVmzi|n!u5IZpb8kAo}mSb2@%x9%14UTv+1H%g- zP|Tn2&LD%+I zN^$yK;xs@HL5*A$KICqmyy@ZD0@0Ey(}-G1?Mbb2&tTYKxT{lL+0d)qlNGnOGWtsw z3$)(Rp+{SI3;~(t6YDK@%?6kZ0koptH5P*T^Slm*{k|*b1Z;t``r0{wm`2{`DHM7`uJVLtd-uv;Z?8 zIWsc0VFAE^I(PN?G8$F#SV9L>xx#zzjVV^v68u4irOWF3B}{~fXeVqpCn-)0AdUdB z`GCj`{JdK%0Jb&l{Cya4Ah;sP1@PuEfqKv}T6A=JcI1yAQ*Jxi?Ymz(0!)?VNko(S z!c?Ze+l7HUQgXdkR6g)!>CTG-0_u={vqS4hZbBi;@t1GkzU}RC5K12y*J_ASx(O~X zf7k9%fR7@e_~?C(FA+No3GKKC@_!1r*F8K@sXe%4)@cDJiq~84W-!K7!0U|e>pVXO zQ7HbJisYyi8s*==x4#ug3mAXoc&Tn-aWRfXa>0uiu?MGma~X(eh1p{5+5FGg`t=j_ z?z{7p+@Vi2aZU-4)u0cT)G1iaXLj|axy-j7mpkz1ec}0F2dG?OIm7_E*VRZ# zK>MDI%@{13C=wx`yvZDJ}2@I+gr){P#Ng&VoRG_}_umjqXiw;70%N%OpUY z^WWhr)n0N7e8?)CXiO6Vag7cMNYM1!_;`8qGpj?p{r{X-sKt50+M&6H&1eM(Q7|Fv z#6K?R!6}k76v1iJrBw^>iAG9duvVGBeLx?YqTTR+e=*dLmNw~;&@C*ITdD@%+rxei z5v~*UfhS9YCZcn}^j||6&A0f(JeG%+NM>`0nG?f6N(@e|vPLvqN9`wS@iL;P-hc0H z(#4Uf>BIlEYO`sFl7j?@U+l-tCT@miPmAGBO8PEg2Bb{Mnij1>;ilBxq#A zrIPI5fMP2Y|8GkF>oU-5{~t%2Q{ex3B7q^cxt8z)Yt7+Bm!7pvN_+vHn8b2^f%HO6 z5jP7eVT@5h3Rw3sP_ceqv7!dAvmw9fp#a(#M0AW_@Fv-qpy%+T2wQsNMREJm z-sRPBhIN`!UAIv6h4Na`p6Si#g~P0%2&FsQ%*v66!4MUuSGRUL)EU<6KHBf8>$)>6 zGOimU?VYy4qPFE6nz|b?(u*o+??wGKnQQNNCvlGvUJ)ECa*nng+F}n~6*$@u7#2L) z6uD#*noB1VrQpZ2YawuOw&~f8Fr!T9EkrHNs_ZT`ZMigNyxFYj&L8lsYaiLot}Ww1 zE^eSYMtDDMUj8+M>kYuEdPXl;%MQOQ)Ggdy*=_B;9v0s95`&H+eFsJLF!@kv*!-=# zcIDj(GkJ63(+fE4t^E$}Hr~PvUT3W1&0mjEUQ;8e?rp~cQFZ~Jmak(}&>cVJw2YQ2 zp#_z}HQ{Y{jb^2t=wmGQg-ona%m))?DM*Fp!_;2E@dAOiqDHZ@Lx=56m&4SR!G>Sk z_Me~&X4|{|pq&Mo6Myju)-bLnhj^dh1}~1|N89q3^eZOFe4QQ!?`+5w%r6%Hx1dODTuHzKc<`nP8u#(Al(Fqv~u12 zdB^j>08+TqQOeoyKk81d-AS0)u<;W8WfXuJ(6KZmDp&2gvMr!CW~#=l<}kvQwmhlM z(s7R_*HZX{J}E9F&B8$-FyHGf71(DgrB=FTzQ;sjO?cV^S0MH4`+9h5N_3tV|Ha_Y z5oP>EP7#|-N{-~A?;pQVS$)_5j$%wFS9N#tq|)4Bu(5FB0+c3)@IiM=C|6CdOWVEB z4p&l(X}h*?EQZnUMiF+40a;_=)ITA(^}6{2mUo$=eH-RK@5Y?^g*(Ge>c7OKju0zILl3a%0Cs6Q9&l zgl)7tTg%>j1OZ>e587<9wm6T5Ux@)@bn*7e*Ws2>>+Z5hiTk|lh?pv?bOk{oST7AS z$G&gba@-946bhJM7Sf z<*xTM27_>+?f}VxvX8tA);aACD2hTM>To1kr+vjT$^ecFMY3-VLRB!Fd)E+|?+g>^ZWNqg9xO^ZthJsCx1Pzj)+U5l zmE|Q|$e&$tlHeK)79A`0a*)mHn+T|{(b?*)?)wxp47}^&o<6LVKAXv6R2#P)sVO1c zG+EracKSBIBs2K!TQv3mi4_8?)c+SX{J;5;|4-q^|F0)f=_Z^_=c~=mCrjkF+V9;? zJzW{^&-b@q>Pgp~JZW>G!ULWa9JtZ&d~_9xLE%sS|Ad7h-f90laig+>4?GLw=KAmz zIvSVr6@`3LcHrnD!2eX_ZitH{NX@CBDKmPBUqn$wrd-loih|!q(xuF1{^hHelTA-=CX~VCuGcTW@xyhyk zzZMm2Yqo~z>6{9{Wq({8b*%eg5^_I#gbp2Sk=a1__s9??wGySHWk333$>jh-Yh@}I zgaOh$bmR{7xgF@Rj!9E{x9{A^0!a`D2`+AQ%{6lKdD9i@As|FVxX%qlK9Ge+bJ0#Vnk*o;j>*8Qmv%C@ z{kR>l>41c^jY`z>9Z{TojjJn~2O*j$TeQB=1|bN?@lHeyf(Wh{a0w-nCnX_rr9p%S zFK7BwcC;mhHR=UW%&ME^&KvAMg)DORCgBs2V78T2t)RIO(E2#HU4h80nM`?3!m|>? zm)Knd_c~8$vyz@Xi3al3&pqTdr>IP2eD>PT2x#cwS;K0XFj z4~^eLLa;_BCZ0Z%m}1d4c7p+Bc)bG>3q1~LVVvtPQR?&d7o>7Qfq|TaHA!GbT<*8* zV{?-2*IcoH%wXqWCe43%fKquB!}Y5iGgg<3z9HCZsI6!7sNL~6edZK)fE$U0`9$XG zNf%@_t?u0t``VI&(7w3BQ_x$x*VBr|&{y`{z7GM@ordZ$dO@tGagX=|W_|__4})oN$$=v; z<(5)8VW%NbeEtL!Pf4G~BDO?Li*Qp9HJ;(|zn6F!E+r4B%s>-(<|0U#e}@syP)O4{bn5i+=3xKPCA3!X+5RR zpwYlEH2D3~zmpb#S+?U*YaCgWXdXGdW79kmc!{&d>Gz8xa+Cj?+7U%+A3YH3(g(rv zHvAJ}&?PcpBN|#(QA%{x5%}qNUP$qt3_Nu20nt-K;_`mQ>AU}nz$rzzP!N7O7 zF{@x*mQ$w%1JakRb*{yFF#uURr~+g99w59B8h{9w*@I3&m%yOQPriSiNGNBf26}tw zu?tFYza{&J)L)-kaud3zj$kgJ%U7In{9-`i5Nuq&DZhs2D#pqCr#C3aFaqlLQ>#I$ zhBWjo0`3ERB@W;$4GI-v2!=?g>-WE(c+jOMojAnrf8#{CE)M)T5{J!Kfm@ukbqoF! z70_>{X4^`_eYMikoWyHF|Af_`MAvZix}DP-q`-{dK+5weNIkI-Z>TR0lp=~=DxR&e zay&_MSpKyVak|u#7oh*F{JP>ckdx*tH(uNBp=JBc0e~eq@$^KOqTKMO_G?vp?9a7L zefT(+?{9bxihb18*VF^c;S(ZvR^7Z!&N^jfJ^l{MXHB3Ba2YWrAxQwgd}?ZXa3iIq zm2|1#s6t5JrSvW_5lDIa%&N9rMZNxFFB3g%Dl4eegK!z$p}8rA!G6S5a*ds@4`clW zy+D{58vr`Y=pW^fu*=HI^k20Qz!8o3QdcT}x&ad6-FP6j3v;Q4N9r?h+M*Nqmnj>K zJL3RjU)x^ulrkFRBqYqjJel`U-E~-w&M}Q&)+;aX0Iu#OHeLtN@YiF86>9fbmo3Xl zQ_|y8MjHiHOcDQH(1%I6&ZT#?Z64f_IdR>N15(6U2xK6+}dRkt(v zBsFW##J~8cmfBD6opo#>zQ&4ei)*Fd8xaxH4O#;j4Td1)`sB9Pq=mJ22#;2&#Uep< z2!Nx*A`{D(L4nWrDH}G+buV-w699mFu^yTd)MGCvN{ap$FSxY)#+gy2QGE(;G;NKR z?2COnH(`ZDem}anaq;v6Hhd41+(Q;S)EFGv{4~^+K=J0}k%@NO`2KqU0dcR2LDw*w zDGa~f6d+_z1>-#vMJ0;J*@QBncqPR{+t+4?obd*9> zYFak~s+UDty7k#h*0W+j7tD(qE`iFUt*rT0dulL33WAysMc1Wtyo3PHxQ9^$R-{r$%q?=i-`*L&~boU_0EeQV7%=Ui*=wlD3tIc~veYd$b8 zHauPU;Uzn;AOLc|AkTj-1vUqm63u7At*0O>=|n=eL0Xu+%cf4cnXJ*Hx*I0WF5rtz z8vr>RT|BlkhC!QvWzWgKHgF{;`~LxTBQhPQ~gc&UT9* zomM>4tM}hFZb?^%o_5k77oi9C05&l0n+h2&-M|gO5?nIc;T^VE{Fo63Ez0}`U6t$_ zupSM}#b!lV9ThmKF0RkF$DXp97V$i28Xi-b9W?m5n!y2PMmRPwTWQNk5qfk?9e;pe zcZZp4z(lFUCVFSrQElm=TQ(yxzSpfY>D&$Ji}xMiZV0^GU}!RUfGlV%y@3R>BY zc0g;cQ}xw%{F9!ZRb;$Ed<;f}E9=@3Dyk*cxZ}~q2w&ywaj=yn_WhM_d{>ls!u_HA z!@~RKM}2O!cGkv6qZiwwxOCPl?EkEFF>~XQar7zJE<5%)Ru{$Xlr1k=TmQXA^SbT#~#mgn6X6!$xF$#7ZEam*^LBd4x30r+F-7Jc^~e=?I3jO`BJ(vq%fpc~(|LVn6e9 zOh2^viPGlNZ_%>{&>&_S&I1D37^V#E0`onb`@@W(-7|P6=RUhEegka|Gt)zvH?V^2 zvK&1{V|H2-tB=A%Fc~X1)eCL>4G*dUCIdiC!**i)27!pGbtQZ+_BOpgq zjdTJAlUzc{DrR~V3c3}hpbNd`M!NarXw5V7qq7k$}GJc9ziE+tj**WohW zBbfLB>71oNpIOf9egv7jDFiP;=jW7N4{((#H6CZ!(qvrcI=>X)92h*1MXUEBRYmPr z4ojTJCNxN)&m8TP@n*OEaa66C*A!L!ecNNkrS`Vk0PeRC^U70S-ecGhs0k~3Eg`SX z`uUx98mqWf?k&$ZcZS%B#yyRYzANa**FL;N_#zTIgga+>bh{EOor6*)Uh*ZQd0N7E zq3M6%+Q}rb+Ca-_8T|mdRIpW<$KTtp_Yz*{nIB`=?Z&@2{y%@~<%fzdo^qq+J_$-3CF0Vzwz98yL*%p=U({k@ zRhSgBwpkDd5lSvOE?l*WzUP;y>OlX%PnktZ3hY`_die2mtC5>GA22+#>oHS}Um4vZ zo0^(dY$=H{94BEzdDpTQ=7Mby8nzBi-Jp|hGnkHbYjT0YPEsi$??a2PYw9=a7yXl$4_4P-5A8eHpDpLfWLnq^}Vn zc=4d=2`Uaz^F;d}~=$5_B(_&<8jD ztaV$}Cg$3kGorWOz33d5E0@3$}_Y^Qj=R_aosu5>13)p}^ zxOu3QR4yHzjPlLx9BbXRPJC28n*6d5o!n^fVLU91>~Bjo7%f%tgIXuDd8~hmQGO2# z3u!HrOTOc)(HrORHjC?}E$bHA>{{u)HPMa^ z+|V6@R_Xoib|HSIB{=Et)vqxzn6~A^Y@Od(V(LYunQf%`4!%Qa42EeInX3V&KD&YP z%p3I+qW|ykh{yASO(MNJh1=N90>h_PJvJh4h)*h_?sr;&p>CNeOwb^V5P6vWqHxFa zMI1QAs~?JTUe?9^g1P0vpi7*=%=O(YGfxR-PJImDw%5J`1(+5jc)KuiVZLm^S z8)(s2RUzR{qV-s7)0`A{`u?Zt#{rdDnb|P(@r`-U2f~JWwbK$CQQIj76BMINx^ty< zh)qQv1>MR!MS^90Ra5pKmsUm7I47{LM;(@C+c=AL?T1%ZuTdo$5=vDCRyMAGn>(2} z=Q{wL&ADZsFUazf_|;enEZ4Im@u# z+b5tAd}y=v8Zas-P1^@28+fBDo{?SI3nwML6dw-GQF_eS}Cp|p2}Qu?_0?S zeGaqqYnqHjlWyTCg^ajO!Ny;I)=qntII($*k{Dz-SfF*Xe3sDcLgm2dylufRzfo01 zgX}RxBCW;Oj@qUoA%Wr^PsowF!LNZBa#Lr%r)p$g0$`Mbv zAOB)4_Fq6dGvJ-JttS@X6JRq0O*9_R$v2pBc>b-T!Smq)OKii80bG7c*_CN4_r{_0 z(06TGoJ(P*<;>U?Rr8zB!DJBzgK#L`>E8LYIf#kL_f=n&dz_(fc2vxA5qFxXemul5 zvB*ZU`b-4>$c&Z7YamFKe@!gU{5Aq)H$G+YaugYga-H=-)Zc~G#Up`gC!3G zn23T)_~Ww*&WX1O;F2Z_@><|0n~bO-uPPgEi1C;M02G`I`i6uPo4uS6E`| z-q^SY#;w`uj7LMG4#{i%{nf6nEScZD$~ep(^nJ96vRgW-eKtGzc9DBqCKvPTOhERE zT=K`C`JoOJAKp8Ws_R$$}_>MM8;pHWIUbS5H#XC6tH{`^qBI@&BRzF~>zy*oc zodu=^JZovOax0ttI(kzt6eAZ)_dntpJD&<DDpdRo3YNET_%!j5Qa0P-UuUJj-vt@aK?mT=F3bDc1 zy>bqOfd@MZ%Ls)9-9m|f3`2E00m~aLjiI_C$kpE}oKtsbEW|!7uhO~!p5gPTO?KKJ zO68-J4C5!4%bx%l|8HQ5V5!-J1{hJy zJ(aT&?xPrkc3%Q#^q1UCG(dSPO1?5+&y4N4l<|WRV<9+}(F+Bwc|~Sed1NdIeUs3& zYhVbcWJn(}p^u70@se6^8AFFQ(pYXdy6v%6 zvTxVt;Emy2Jc}KE{t1{aWUfl!y-w+~twV~6Ihf@#-Og{UJt^Bdy2swL-ks1I-guxm`36!X4SY-XBQGjpc#Ck&DoKJ-6ndG-2qbx^K5`6Qx26w01nIq z30|s#;eVU`-+FnucW6jp_C|BnG3&kdb_k)o(S1T;8ZbKLtxEOWmVVW6zL+&bU1Xr3 z2XJkO9ToMS4vmyO%epr;uO}?Nd5a%)Kfh&`h!AGoc=-nIm8ngVUrbBuaC9DrVKQw12ybm!TCuwP!aEq&Zn1*gxmaYZt9tmd zls`TBLMUWwppu5yI8(blJ=`+we3gRa*ko z7uN$ES}f7}K|btX8@?!OBe2A-b7ELg=&mtpYWr>JirB~pAByKBXn(B4_)ESpSKf_2 zjjMDd_L=I~^E|~Doj&{KHK7E%USGFyUODYGeH@W3oleEG9A`-4Mq+#CO3FNz({#}? z7FHF0;lUiCZx1N)&t){eiG9l{?#)d>*3z=}{jrDU4DE8PPEu;OCca-dy;@>T`xe12 z*QkKNHKvESYw~12Uhi$sVol8T^|KhE0WtS;eu{1Ebt)q1u#BS%_l+==mxw%9myDpzIZvtKWC!PGhbcy$ z^RZMI=N+qnMFlo}eY_aOv#6#>cGPgw#6wJx21YIpqn7UyL+@zA8>7Xaz54;rQS{Sb zEWcc7{z?)$$0U6)xiS&w;ykmky&|QL3Fp<-hgYzoZp-;&_H|2b3Lc56{h4TKXa3vcKQ%;ji|+TwX~-;_DptGkDsBe%CS+I? zbe}tx8I_KCxN%9(l_}*FSHy+KRVDfJQw$iRA_Wm~%XkfGB7EmilBF@aK%Yr;pRLkEJ1Oi844FE023J)9-;Znzur_vom^_;5MZ7 zq-D%G#-;kMxZ056iYIiooGN#%BvI{Q{$8l!6;>99**h4M`IxUf1QIEvyFNZluEI|z zBBsk*uJTaz{D@2VK6!QX1ns*V*OVjj#jETp#p!HRl7U6}#@c7k_2zXF=c$T$|I>S@ ziROd*YIq_gSjy?}*VTX7=c8hRKfv|&CArUtox@xS)*|8!S8jWXcFXpv=m){vI8Kx>O}u9tU30XD2j$*5^Z?@_DV8>#zi z^8=^5W?p`N+mVz3Q54fVf76^D_ZCf+v0lj|NBr4Vuy<}w-EZ`=&L=P2>z;}h+K(}3 z5bl?W{XZ`NA00gEpptcVld<=uW%*hWneSfmkCbOYcjE$8H?7AgBdtVSAJSlTiWIsg z%-dD_ULJhy6>A-ZbVZ#{?Q$N^?fXzibip!L+= zcXO}6@ovs$c=RaM?BvY2N|jfqYD)K%O&yEDIXTIf%U0}9t6WtG7p}iG4bwYfPKY zmpm&k_5RC*-AV1XvuUq$di&3gws@zYQ#=`SjVeFmkmwxo#kytB*Iw19PrmMOThCs} zDlE#g@H*#Ceg2w&9epFv=_Mq0u&*BgtxHnaS@lT#3a)le#`Vg3h@vARqA>>p&w|;T zq5-!2`>7E_M&=+t|G00&H}n5@fu&|Eal4*@^-ryG$VcX0y%ZPC2_$*=aHPfe<39@; z3CYe`nCg|9l`d+n`UqHNXZ%38(E48o7Y8*i&@C>JaIxaUKZYo-{@IWI&o=leeD0V4 zj(Rlcz1+d#g~q=Rt&MN}XLl13sf?q#%*DZ>S-0f+-03O5io~^m!IcPOPTw6BrfV09 zOg`oD^TF9ceW|`DS-~WJWp|m`J@2iec+g$`nAp$D(Nw6F$iem@O8OD>_X{1q7i_gM z`_dfD;M<`z%SKDSKRXH8@*x2wBX9QWBWim3YQ8@EC@^3X9US7zvvJ~;QfeT3Ve-4w$d~R_XNf#L&^entf zP0P4~VH&Nb(erI!FoI(*wo?VLfn>j>wyc8DNSd?A%uycCv^8%dLv*NYUR6!*^U))F zSed*1Xcvw6kv+J)rGbnF?%?yE%6(8M_?yU$2Lr!reR5|pMQH(*gL=;(lA~(Wq}_j)x;}xg zeZiK@dl9FUIArbBONmA}!?z&BX2ik$Gxq)8CK@GUsLrYn8n*0JucR^`-77l16m-{n z;xSyPe7{w63!Zq8dBGe#YQo^R^r#y-iVzl&m#OlQ%adkt6pc1KahGB3>)HaJ>QS>5EvJ@G5oRsB)% zhBtJrYe~vS)2mzCTEPn@I_Co4How6miG$-vQwK4k_F6Xu-mKea)vl}(Joq~;VX_t+ zDA*V*oBa8GRK?*YgWbl#wXy>L4+KOSM-jQ)F3S-Ed2eoTjrDN`1^Sx?UW;=*6UAw| zyfbhA*NK#=aKxBci7C2IHDyqblpTEyW1PmA%Pg6al8{_>9VG>=Q8?c>LDy>^Xx&uR z&H2mF)sO#q*gJcMxpH$J^G@z%+F)^>6Xh8_)IgYa8zeOmQUAp**5)VKY*Bmx@k^Ow{_1BIjc(jhcSNZN#2(rKTJ|T4*KU?d1s^r};EVf;;>norIXS%eb%AQp@#z zL!(bkFGNjop=KTKMd9pU?<-rnn~ zg1hmtGVy5!L%1qIn>=5O;%18;`^(+cXVQ}rUw@kz8h(V#Bbbqu-gk3;IXiQ+c*a}i z?_!x!oOXWbHjV)gCPRQafCu!WUTwTq;qA|iGPaA}T;>UfPcD*t-50P47wTF_?-%&y zR;(SQah)v#Q}jTe70@aAOs3kx<8|3a1?K(WwogWB>DI6O-FIIb8LLq7vX?5b5C+wn zO=Lv-wY!>Q&gC~;F|Ra8B6;)1Ul1dn&3_Xmqu)_OQmz`Bxn_VrtS-eA{*>TV(B14U z3SEi@8eS;Z>Thr-mhUCB)Z!Av?`bNq=nf8V>da!fOh!^2s*i3DC;Q*XweP`jtEdHR zXgB&SPxy9LPZTn}XX|jlgaq#Og{wLAJc^JRI?Ax+$C#mrBzwGl^! z@T+Q+UGnNKqEy-0R_Lm%k>cHm_+SnjZYn#I14};|b~zm#*r3{@$Mov*t76#0bmr>B z#R1`a2g5rvM$d+rH!Ye?GFRA3ZxV%vYi}hNH*B<=wxS6nB_bECqnQOyJ@%`|Jd0b8 zn+IZ?I)Fs2{ItoWFqI??BnA z(Uw-It?I1nRXA-QI-f{|AryYCLG~K|uyVz%hA zGBfTf-+35Z_li`lWk`*lZK5^=Ey)>G+3`%UG4WT-(QQrh*MD_qO&na;LtWcvqkQR7 zUhkCM{?oR8P{y;+Tvd?GV5U-lfo*(;h?@JBDJpb{!HiH%xr&O&^O^OBDYH|DCZAh* zxtm2hW7%9TUGm-uPCa*uqju-S?1_e*AAG=H;dxMOy*mwS8%78BrAn6@=GAL9w41*0n((4-Sr5O@t;%zaK(9tMN=CS~ms)MS+c4c2PH8Cr z%43_gA1`(?d~)IlH)NB@#C0K0H_e1XEU*!|_3ww+7}d(~U~B@n%i`TICgsl%Bxreg zl?t=e+$N2phKW-H;&{E0w;VXaLDhKJSJzGbc=fi;snFXJn{77e7MgvWa<2WRen;xC z$N_sKe4av)-NKbV8!j`48|Q=RrhS=-5BcQ}_(QO9hxMdLTzcE&a?~rHJ$*9O_JQTP zznya(K9!KQOvqz7YMw-gPC6QAzv-rc$->z-^gOcFya!$hGLW^6*)6?6)l`gE-Bk>cB zboN8dkG@vdrpVXLN+JHy8OE$*kSsZox`J%Aer}{1@^h>qV;a@R)<{M5$Tqc9R~Rdzp&W64ulJC#2q%$hJph4h-N4&PP0zfA;Ld{+*CzH9FZNY`Hye$HnWj(hGB=rrH1>AjxZS#AMFiX9KF-~P z&l%=TM7fvjv77#1j$9ud>|2f76R11cOD(%1=l4Vij{8j27E!GIs-n|ocT<{n=!aqA zlat#=Z=!+e{Kz%t&@+$CC)Z8S<0c@c0x$7;WG%XA79x+^0GILQr2rasa@aYJh2B&; zHjlkt$8f3|Pq#df%{@NeW7+YhtKS9J2}*c`zjZzo4nR@$X>3VpyYu|b>|0MM73f~a z5_;CTTW6n!8+1ZU`!#EsFq1FyT_TF9;{f7Wt+u!K{#3s|^UkH=*Yg{)bYEHQ*(}HH z#VU6DChHXT4qa>I71iVgMZ5z7KIhjiSY@bo(43x|<$gYEakl)8t`x24s~q`3i=#nS zZYrX7hsB>nH2F{1YHsUg6=JD8ZA&Ut$QX?tsg;Qw1#DPn!Dd{n8nBonY$vx$89uty z&{<-!ZBU{jv3$_$4STY0ZDSyexk>-Wk9CgsjRudA`+{=&Dan5(soM)c#Kv{h*E4_c z^BOp#(ne!nIx1N|dWdZp=SU2R2)Voa=rsLz*E`%j*wHyzs&~}dqWP|ciUoL$@5Pun z9^fX!``q@>F}blV*Q!rOpmbkoK#o$%u!&xOe#XxK5!z+V=rw$IuZ@-}53ZHYtP0hY zlaQswo7(!rPuKW$htIbkWu||3Qny!(JojZ*Ozhy|ix2N;Dy<8f(wyR|xAq38tL~d$ zEE+xEP9^(S>Lf8BAmI7jNa<8yN$ss#i#b1qtfT2@Sl%jLC+@#d!2!$ZuysiMTB-+^ z$!s)42USn3>>^ULh3Wp0^d_MiNAjP7jg6gD^5Aw}z4*~VHaLls~oVRGXG}DuK zcGm9w^Q85cf;XjcHZRG}e!U}@|LUgnrsB_s8sTQ&kmv_X3NQAlk{au!yMNEyI@Ck~ z&VY60_a7;~OAQ8((@b0ao+p`7Dm;6J>ndD(zI3LhdD47hKUbU9DaT#rxrSfi&#>`e9{B7!f)KSEo=3+iR6pp{{Z7Ud6Dp&3kQ5t$uS?Dy6ZHs{Y1J z@;r$IBqm36cXQv9&G5RWX=T6X+S!MZ=aW}LUGvi)GL+A*;aj(xDqDCqUERAcW@PB` z4dr_d*3OJ}JUTuqU+l!A8KVh@2tB=VqM&}s?{EqmHkIEJuakd|5tgkwj`kT{ z`NcQ);}a4RdWNp!(UW)@z78&x@kVy*>Nz zn&YRNyBEsOT~%Sym!gRl?+zL_LM#59lFXr5f3FkO_4XIu4erB-W}E@knb^Z;LRdx5 z0J^Tys*V1r745Gap)^Rqdz<)vcD_$N?#xQ4_-4rh*lj5YWxlL1F6f1nr;lFNS#S}{ za{v3+pql*>0cIDH?0$h=@%SYFd&l?Rw@Zs-@;B3y*hNWMxs$&nR@z_Kox?kGf4p>Q zes=nP%XoVy{6bEa(#`c_%Ljkew=TY&?&fvuSvFf%)_+Oxq4dmB$1Pe4nxo@q8U*6elR ztSq%En*1iur}&&0qbSEC@-+LH*CDG|*6Ha}N3`&lGd55y18_0?^FV#+%(_yiF>AVB z>~VqJ-pzD{G=57F>r2gKSA?-FcPcY1;aOPPP2pQ+umF zq27WslErKNI=469$gm8_9Ne!fv$-Ub@}>#40#22X)vC(X)xk*)S>yPqIe|Er#lkla zlr9`f~5fqK&jaZ znGL$!d1JQLt+sSXi@eUj<7N{UoAD{_L{@D;xwzUF#)OK}JfIVQ_4?&z+2=F+#*PPr zZo7Ys4nDYJSg(3|rKVimvg42aQuTzlSM7Si@y5dPoA+yXnRr}}l1d`Ko)RBDW|F8P z3Du_wGdmXwkxRRLMi&7)X?d+iLEolRBy0@S9kkWd;cGjUF;$CEtJ4RHqN~LC1krrt z$c#rlU&WE$hx%3cE)Fg~#xC(*oj!r+BfWVHXkY?x7P7j>Rq8GUA^dj=vRSKJXC1U3 z%+3xwx6Eg+_(B*K5fk%u(}E(dR)ZyVSc=a@x>R5(tuKwUC$_riQsF>5+zkzu7ilj2 z<@cT6Bqm*Y3X_6v#!AwL%$pgQn(EPA+0p#^^($cjCDmR<{I{~X33prt2#Pj#giIb( z`I(n&z#d&d^OPM#t*Wb3R_(0P#5?acR^4WQBbMyBNh#-dMLM*!=I}o{@z^^Ap%czF)ZnAbsfmxt7U`FfnAvLX!ouVv&=O3@mi7*LXt0(3ZSX^3MR zero3b*IR;$Pc^60`|&-oB7^WhltqegH|n#xx+pir2R{`mwSKI!tt^Rt;>!gNhcUXk zX34s8=URt4O4p{mBIEV)nuv3y;V7_Qxv@6TE3IO4ry)bEqq0*@-sfJq6yE0{6Sq;wLoWt)w%3@FxtOSh|p zFIPl<6@hI18S0)KO9S54`tW5_%~J+#CFD4PI?;@7`3T>$`FH0t8A~>xJnmT8;3LKJ zUMohuQtRFr=7g)_@tV+=;Lt~7Nh3|&-;yZw+0LMBFh02&lTX!9czQ^0u0teJ`tkGK zw4LlW9-hw|7ylnC0q7{#)aX^^7Nw9LBa}gxWd=TtaE@Bs^oNSjX>`Hp(N)Zegz|y) zy|CV}q?5&2qDsl2yH|}dY30Ttnpa_P`2UA!iU0Ytd%lP+>i5)Xuohh{kO_Ikc?L<+ zg)zXmfj}XpCWoKW^T1=o;yx+h;DG*K6jB;rUSoZMU!uZ9mC17fl~zN6ij|P8tEzN7 zgMt;Ge9y}Y)C4otKYsG+Vj179<#(JWBVNFb)Xs1Ik0GgeggseY*Cg5YJoF?)hoYw( z7TP`WENP5~OGy4#H6aBOVA^1zj{?mJTW?BwElE*QE|bRLMH~$G&>^?yb#w_-T!C_f ztCC-Mj1ywT&=#{oMt1J;SB0FV)-%=p-v<>o#*#S1G(kQfkNmGw`m2Q7qB-{$9$Tig zhYZh7oDeh(84+N4LfxA4bS76rQegBY2{>e1I135X)j}8Q?%<d@Vz1Fjn>ZeX!s?nCEA&wrF!!ZjU#*_1+|DP|}+`FV67hESqQx6vILE&wg;EL-1x zjpVnRKq2)$Ix-_#(FrN`?&WVfCdewKKgvd%${xf9tQz$+`VUqtm{2h>%g1(-2Tro9jxH3Ly2^(}hE*Tw&V}CV2dYbCGT4cL7Cz zkZ~1o!ex{cL?7UIr-98Hgi0K_`VDF*Qh+x_>TVz&5q8DlU!Ig#w1g@u-VMoG$I*;tgk00?+ z!nwci@5V)he7{hHq$fs(kzCw3r|sO;D#$+(kM!#4>gy)W@z4QB|5rQj2Ewljjq$qZ z?v?`Q`h1S+ADPI=DqVPz-zng^vQ|BCGTHPqcz%+VNIi$@M6N9rd&ehJC^3kG|KgZbH;#X+# z38gC4)a2&!-zrgajeI3en~7JB6<2;>Jx6#IWBlc=_r1P<&F86HP#VeOUBUnGgrmRL z;IWT}L1#)FEllpfdxHRLw;F9@*oa8|F_}#$uSX?tohdxO2fIkPG|Vw|+TGo4&dDu0 z@q;m;{l5}xpT9{_QsC1D>HQjbH`ekK+zZEyXppQHldF!oue_z9zg1Jx4x1MZk6(Xw z!~c19)roVzB>UQR|K}yqOz6TVwuc3FT-2{#UmfpsSbQ)_ObY3>&tcP(5ANdN)PMAZ+_#zKjgI)nT4W*# zX&ih($dfV$$Fsj}9sb%_U^~9uz8K!11tin-Df9<* zzWhLKOIQ&2JG61BcrCC|1t(JnfD z+CoyAGgAJuy%H?ee0zN{wej5sSErRHQ;bI@%~Kom@Ud!m^reC-YDAuO3632n{9zGZ zT2Yx|YR`b5AwbKR6h$;}zxx|9OTIdoa6R})K`W8Ic=e_0pV1U~-rvyex5k(rd;H~m zKFt)PEj&)BoKw3HK0%u~<#i+sC#)6N)mbE!)Ifl;MUi)| zFT!)W6>~z{%B|E9&`y;NzszpQ@FDAW)L7%(8#C?U_ow;lW}_!r0~Thkrvm7lGN^T} z;|Qqe6>x90{tPvt?aX8ZZ`Gzx{H+-E{-Q@ZX z`{c&d_xPx=|BTg96Y9&#gsVQA?Fr`N_G z%(yFa>d9SNS~E@Rz$VgGI+islEKSx*prpRp6%y&dym!;j2N{-CV+Vg0J3>B$J3(!( z#k}1;Z{7A|_G?cWRAm3OZ(KU`6|OJ#WO5R*K|pdb;{694o#HK-(n^!?w1>8Dx z*|r%-b+z>W4PhyhhlZcDB|~XI5&*hpbaZ`%nZbMn(PPaZp0xFeq-`M-MKF>&#w&`V z=ZAB)TJ9APZ6UgWz6-q%u2MC5hUP_vh$Oto5EK-Qgr&^0XPcX&KLGI1nV%WycMkXm zRWJ<0+2zCO`6fZ&Ie=hLwi6A4>?ARM#Q$Ki6@WXpo&~(F*z>B~uI{GK-$rV_4bx{B z2+og#FN9$3uR|f#a@h(G^1g3YqYxNd^rKzr;lQWB_Jxd)w|yIc$%U=ks{&+8+rhzP zBb}A*q&kKWU4}Ogtk0t~b^gx_a6lE(bUT}YnPD)9t}48k2QXbl3P9;aiW!r(dFDOu z-RKz~)XLH(Rz6$7TPx}kl)MVAAc@(*hc2F?|<-7wxP-z}-u=oojjT>8U0hHy#djssk{ z?-q$w)XGq+SH8=e@s_O3Z0`YHZVf!&X`^>J-g}yzu4?1pbvwwc)P-p%;PZ5u8o>qD zVvpU<3brb|j1eL?E&oqgHD!tx)n{vNjhFA3g3qf33ZGHgsL%&x znb~(ieLC`<_*2N$(v5z%8pmD+eS|vTOo6`CEaP-cj@~gZtD>T{YUaZ>s=p<_$$jaG z<--UVK0F<1X!`NsgUhTZ9tcOc1dF(}8x1#v5__$$)5Hk|oc7q^4=5=&r-bA@s7LUAg&V&J5rjmoY@42z#zyCJ{N4C27Q+x2)jf?z#BBX(=hw~Y@u3h zQD$QF2&nX*wywo@_YL03@-380PwQ+ae^s-$&%3LE!8Pa<1brE?3+&!}8&$4yr1{({ zfX7Cy+~@Z=b%VX+jo}gM?Tf_Eh7{@4sP^bj4(jYfVyq^O+ujtEjV_;s=&@a;zkOxr z?h^Hzzg>s-9QPLRUs-Y%fQZK(BO!hAQ2Yun?;UV9WDeMAsY6Xm3%CeIv825&Ndm9K zKEukTFcnLGqITX#fqS8^5+!>F#tWBok2Kw~|Cp-JXb+eK-ol-EF0Y*;H~|v@j-EXC z(hJz*mY6a&x;Qf6S}%~9xvo;}PCD={H!BNAG;6JE(2_JZhlNm!1|}qZ`i>NiNCi?r zIV~x8sBpwk%?XvwMuQ*Q&U=Wf(#H9kU?C`L(}(Q~s4Q(GF8H?|m>;ecZ*9l~-Ax$O ztNT7UC}BqTpO@>55Z<}_3i4sMZSQUYw73=SJ$`98w*{DnC!y%JrmX1FVKwRQ1i|hA zBck1d7U-8qvsjLytd=O@i=1{<<0US^tWTAQZEQ{MB`h8(UgeRj9qs>YUVI~Ijgqjf zS=y`8>@Ko5=<&dE)d=buqR)_`%t3zyc>|#on?YImtNS&OhVL_gA=agzDKOCxkCS$X zVl&AxK0^2vUtL~affA8iJViKzP^{Pidt%H_h1gmJ@mLeeZ!IY^J2R1Ap>{`Lt3?ZD z(>9~a9^V438_F#q9>lvtI1W)S;t_eDO?+@nUq>=yxWYU{GzbzLoXSibO*fsw3Z0yS z?jpV45GGk3aFWACDi{?e4(e?kt_wRZr)S84>n2HOttuX?QJkqzpbDw#uJ}`+I^+&0 z(uoR$s_l)QxQ}zDWSvJyGfeKJz3vaMa~GS^!~<)&xv!|J^9G*o?ZcB>4=49XUC#F8 zOrCqDFtBHpdKH!Pk6MGWj?Wm36i6)-0Wv0{oI&+n0n8&(_s$$`1R{9xxXLrNoP&#N zZ`i7>?f0j)g-wT}E{{(a(Sahgi*2-b?sRX(S}mVZ5->el*+12Kae7Y0u+%*)j9f+Z z#x9R!Lf_=)rs*dN3KU_-w6T>hAYps3&3A~Rb?+q$Zs0+EFxuqzKOR0wjLOV;>mJJO zfh9Lz;L{FMWma-Vm2rK zfVQd4v>snyJKWbY(NMA7h;F7O{e)w0V?_J(uWrEjo7l$wd$hD=7Z;gg>n2V}Y#G_V z0rkNN8Zs0b@mneqDT~;0R@p*M7P%tQ8bUS_lF8kF6x82UyhckFyA-x0fTXwvt|ET@ zP-dcp`5Rk?CO&o>)Wep3FORFO_r=@moULKeqC7+ON6hq--A-){AF6;d-+A+&v-hc~ zZJ4Pm^jWG(-=8r%nm*^2_51PfA%ypHB5)vGbByoQdyady(U=YaFgW_@jVqm0amO3i zJD?Gp+!m`aU3n=bXJt@mePxzrP#Z4a_7=-?nhrnSY}HG=EPD7br_c?y!zso{8yf3+i}d02L9tdudq zT}#x#I@zhh;D3UYe2m`+VF1t;%njQy<_6`2DrCF+{$NM1uSG+iNz;it{FUIa67}jD zV#8d%1iKhR(Y&+UZt!nGuvyRL@7xu~q51j00c{TU8Y39o>eUN=l(&*3_525vGEr_N z-mHn=9l+!k-4RDE8dgYu10-pBfDCZF;7fe{&xr<}RZ_6<9vzOKTmsS-&U(cdfpFm) zFfDnQC^xu-!b=-mbXs@3>FYhF&6rd*mcWg;6JJwOjPEjflY(7%RT(fLu z?!`+9Jvx$44(1h3iIJI5a`o2XOpj6QtCnnN7ZWrRei45MhANbS;b!dL-^RHb;1!(0 zg2!#+6fw=IKz;&dl(Y@#!e?k*GVn8H>wmQ3XP0Ka7%(61{MkiQ)9z8D2kW!XxjzsV z^aU&%PPO`|tq}kENRf8|#jU+JmgFUT58A%Z)*J%vm@#WX5SFxzK!=XUkQT{O{`YU^ z5(JbBvHf%<$92C3TVcxxFtR*nj*79LawZ<>p9sxYNb2-|##A%}fbT`S#wb|;yFLm9 z7pLV2Y%riYGPn<5kt8GaXqgVYSY#qPnMI3Q`GJAGq|tQw_FKA{O_a&HM&R^a@Lg}0 zFIs84b|6#k%U-z;750azbxXj;Mxj;>@DGy9FQHg&RnRcM-L4u+pS4`fVhf+rg1ER*{OxTbD^P$t_s{?{MUWsE>X^LaZ{7C#&2PH-d;cr zp6tKhy$?zIZsi{p{6>M(x=*#o*l8srhUa7K=K_W3H=eHE{uUKAbWX%sK}YAVgUTGY z)`YOg$4__Iw1mSw)ZsvlWu0u^d#qCJ@ss$uwnnwf{-NhZLci`U_GUm}tR=3lBL+s( zqOV2p!qC|5Q<134dwM(`1S<8AU=>hIo7!spaa z3>M#5<#c+#2~PUvq}q)Af~(Vb8E|9&&IiHej48<{lxh~gStgtOq2!HPTGMGSk06^zDkO`c1u zas{QMIWa$*n&_$<#OSJ@q&Iy?&&=FEU94^#mvp&P1>5G(*nAmA&5m5enOSm*mTis- z4f28bHDx6C(lC%a3oML4iIrwzL7%xt-l1OO8}DmU;?U5F>E8or*1*wna-nvDg1QEG zqM3MJ+M&aH(|5dXWn-eO{E~XKS-oqV)##z24m04q!%ZC(LceE1!Y5xNr@s&zg98{j zi|T-t-y15!n|-*T_n+pXANOt=P7o5NH}mqo@XYaT)YivbS+;JO*ylWd@ggp&L|J*V z%ASg7rG8f@)F^{VgNWg6|D-)Q8y0x7eWR%i# z9t8{`;v+^C=s#oE*Z11FEB*^`N^W7iuud!@Qy~tdDt%Y)!7-(DG6?L@LGcSrwqDLC zVeslgvA!>m1?m+9HrW;RF*C%s^dlt+jF)W}|EWte)*~or8}S$xgQ)bFg9E{Hh0gZl zAd}^^8j1q3jJ{zqe8d^Xq?YL53a`=W=%@kXa1vn>QmpR=N5y#pE|gBo;3qCM0jW(Z zZzw|vx+c;WnP+q9)uASY5ZE`rO9!IWw09H*E@T?}E!Py@=ekk9#6&&XW}iYaqQ%!b zjqn@5u!9tq;uy29ot-MB>wz1i58Shb>SAHk$e6>xbCvp09`H0F14~K$hz3wRk9^$TOrPGz?uHrt%gyL-XeGlttBAy0gw9?77TU- zLI%K6N4p}_KP+O(g??40a0R_0h0DO}L|L8E2FMGB^)bjH<#4X)hq~LtFU_z(86yeL zL;<2HWMTA541C}XwbT606Y&_HXLuEx1PmN~eQ78z;ML;>#N&k;+_nH>saeuRE?1G+gZ%x8`T+&CoqMi#pfm2nG}Hb;4wiz#HVDwyf#S7} z@%>z*S_=mDCV|n`Y=+$LMN~WT%#M#3AhUr@+l|Xq%a4Ls#W?>qd}i+I|BUI{`g9Ev zo28wQ2GFIuev$0JYKXDiYeseT_Vy-NJ*FT`6Mk+#g5QD)Z~Fwt4(#y=$zbjXb)sh8 z5MxzbY!D6{fbh0^FRgXEpWlI=9M%V%a%7j~&~pC@GfcS9Yx;*H=f#6WTC71Fg_8m5 zCv9qosHo@}w{y{<74Sl%DJO1(2 zBQ6ZC*F}BJ>ul}%@%RPdKeEsvKk-SM4{5_Co=G1P(%dU)Ws}F_(F`eSACM=fP^AbQ z{W>j!{}FCH(hqQ8Q;9ivJ6dHt0is@~YcWs4;hOjQfPl+l5`+HM&X_l=m`8s7! zSnhXm{GKQwl~6Znw3TO?{@bu-F*i&WZD#ZY9>8o~TnP20kIO2H2r-36>g{LyH=;l| zXKjkFVXMUrGdQRu1>F?Vv@afwR;!0f?^(yZf3LSzmQ*O% zna}*&Z|u&8X`$1tb4tJJCf^x7`-u6Vd3=Y(M(QrpSc!YjxjMhESJ(V7TuZue5i{X6%OOjnE4)58lh?`X^w*(%2SNTdpu1>m5Ee?xs{9={Bkx=eQKWvl>k!U|KL* z;eD={!26Eaq)_82PIcTmg95eJ(^Ic=BU}^ICnR*p2s0{NA)ZQ%3PusIS#6dm>^H|hq)U1FC9`8D}OmNl%Y%Y7jv@fo% ze<-#HwylgYG+*QloIh$;VlvBSnEz>O;ubl*O48?gi|KP=JO@9O`iVJ_ zX9tItl!DOq+O^N*wl^fyEB%sbvNh}7950h}$gn`Nje1T@>BBCctpPBOf?|vq7rRpz z?{bW(UK=3B{e{&uKRqd-s}RE9zS!ip?qd8n(KMMW;4SqBmH#lP*DcmZ0;(YZL?1FV z`DDo)xk6bH5gL>>T&039Fl0P z(9#XkDxuO63QBi(OP8W_Bi-Fy(vkxVJ@hc7blpAb_rCA?y}x(eyVm{Zp0!v@XU;iu z_C7nF=lK*S6)%VMVd6A!TL9+a{H_=f!6tnb-QYE3rc+{-W)hmuAQ#9(o)&XhkXxim z)qEkFA%>cldeu1Jy(#~A0dF2Y&ff0VF*$z?Q@iqUJH1ewHQ{uwGOKMw$0`AGb?!QTG$f|dx zbX6o--E$JEHpLx}%U847?|nF?b3#3cfbRO%gCf7a^_9e4IG2R}>*5k6E^qX*k2!ag zo*pd0^>J0tNVXT= z&sWr{^@|#a`8C3ZYdFKwunBGe4wqQ4*#a7d(U(^*=o3NaCF4)fLf^iF@$0Gp{uZo0 zx-qQ#dGr9B($Tfe4gu>&83>|TnFVX?PIgqk)Sw{TE5M>&Z!a`0`> zud2GwuUfZbJfQsG)&wv*>PV{>r9^yb-ShW*lIMGYXg0B4nkMcKrw-}PV5q2>-4dpw zyY=Gqn3dAVM9lqw;NpDPSIRG-{hl*ha$vCZh%Cl=%q7KFUJ$LZPy?IgeV@8{t{OqH zEsnwQK!{S}T&83V=yQ*0QqD*o;$=_Xp-t^Xb^)8u0wDIktdO@>uguWTt0Rut2wy+G z*{n@5w>Qf%t`-6dYZaaAfX1+;uK%_ke+C*Md^iw8#`if#I6R8a;S}e{l4e`iZ(ZLE zKpVg1Qc~h=+|5aVXG(!Px=si1@Y#89rDankerUgM!s$`tjPYGGu{)VDz~nw5;g{s0 z#Q9Rf=aV4L5OtsV`iDXd2i4WU5eWi=G7m&O7!k<~#88p#!r8c*+9d zf5vo>1z??L&(@q8n}9N|^Hb81j_=BJ-*U1JF#Lx_2(_K{D<07!)06`}w{3wi0tL6x zTqLVA7rr&UG&*FJ>M3&fJo`R%+if^C8swsOFx-+&ck4HQ6W=!BMg3x$#gys;L(hf@ z-v0{jV`S=hNlQnA80n5DAb@I7a0*E0CYLDhFwJj;w@~`He&P62pI*?apNUC}hdRR8 zJr5?LUgiSLp%a8;f{lmmC}Y5=TRv2Lv;Tfx>NND3?y@x8%pQf!cW;ZY?pjH{r zy*sh|+kWk9UAG*3K@eSqwK z$wj3o5G+81pX7UW6^+k52IVHG;71f3yhoAm(g>^tKyxNkGWa;ys+rH7!_g0PCXZX+ z@UUwVi&6(c5EY2awvUNpA)zeH6;~e1!LNq?vwVO7_;}FqE*k?VdXc+uaxU!_pvqNU zvCe8~VcvOsDU{P-6^$xt@!2mRU^YNho-4mg>nUf<^a^A*jnU|J^s1`v3ALpsFzVzN zS~fADvpLu5M{oK9!qCR3l9VVit`A*V`BB#;WJr(+0h59er zLxZf44!U4<1NjfI4a`blK^Rk33$d=lmb1VO5Oa8dnH+QFYw*mSO_YLL95n?ParKzGWx^s%DdU-$So1Y?*2y+E&eA@ban``z_UJB z?#rY3fBB@XS2lpqb6}qV{97E5Mc|vGx4MZP&~AE}mBl#ge%^a@*1P2}1}x4TM>Tat zB!JUKGW6`Y`V5GfKK!rlXrh=M08n!4Ej-|=n(fGCis9I6!fA-+)iU+RX$kZ`E+GvH z%;_!{x|7*kmMI+}J`?zbPW?4&45yvas~Uy`#~fvD?~x&Y$-E;XBj;3i zKkh7*Ka>G@rdyiat!k)2A~PKi%%P)OjEB?bj&RQnVlnLArw3>2r@Y<3_~g|r!`BmK z)+25N%y%H{Sf*llo%nt4eK=^53eWh1`wKSCI2nM@zGo+^^B9=F)hqZc$^lfO%07N% z_-o~>Eec5e&Uf9B8SP}e$D7#E!xXdkD^eC1zkFdxZy=D2U0G3oz&L{sFVatjfF%wd zM#d+5q07dUtwn8wyX6=xL$>j0Pr!!R<$Q!G0qfUBfsx{2ErLsj>^M;E{iEuk?-L}& zGWZ)F*O3+v-FO0LMS>Z^N@4}_O@sHnZ?$)wBwycPf8S0gJ!M&jn(uFz?;uuYf_f8#Rq2yec%{7jgUuDSI-CD$sK!Kq{rx;85Rg85- zogZ3PyCvrqh-K-kqlY-s`3x6zr`>FJ_&j69Y_Q4&gCKBW6K|#&AY^mGZqC~;P z>cK_QnT<$ezDDAe-}BrSD7>}%4Vhu)n+2dAawSAIjJh3>5u-~pYaR6pnK=bwBPH|` zgPxzRB{%Z}jOK$nNhe|!%?kjsQ|+Sce7Mdf@};1$^5N&5&dGPF?znmT=W`3bMDsa= za>edN6;*b5TJcbs`9`^{BaH@7xqj-7pHfn8Q#))IQ}CTQ!NZ}NoXg))fq~CcY*e*x z$zNTGlzX~5UeC#!o151-Ajt&-a|rGWIkBG|B5?j#fdT`8e6utp{I7;k;C?SCbz4pw zcoyh!d1n7ogZu9noA$tu^^gicw%IbOzlM60ci`E@kl^1F&|l^U-Egn@5&yR;k@pk> z-E$hY+<$do8_%+8^CKK+>3**lSUY;$=mOWGKx(15FE*&-w3+F>mn!aCSNMY*qHg*e z$e5Dr1Nsp-1l0Zh|1uF!af6KuOwSu2-!IYp0w>hCbgR=kVqqSS01a}bW!POE!{%T@ z^O8DD0xVh(FXw<4mIw}_^BBOPQE)cBC=%o0ls-Kk74U!R_6P%RM%`a!;FGCaK#TtC z$m{}^tgiOxXSk_7kfUKS~Bo{{Q3qa5BI2AXiN%xac$?}t?jWcfM z;aEM@ zh`HhrIgIj)AQp=E`Fu)vqsZsT)@qO2KiLfS_K{u^u4V_YxQP zAV>`bPw&wXIQ8DG#N}f`RO9}*7u!$%x*`#taRGtAAg*-7+=kb`Dk!kc) zVN<>xrCjL87YF#?^UA_RDemS@Z-YhpX*L``~rEPp^|vy%sy#Mg)Dim76QF}JFY9^TEb7ZO*p^B$vM~CER5S-#y_oja|Tk` z6hjrXYcbz0Tj3&Uyg@(XK>lD#E^!io)`3askHgC2NY4u^{9cZpcj4>WTYG!PRdiSA&BBW5L z!wPd&S^rUe{y^T2`zd&YenI6t^7*s%#^dte(Wu}2V`UMr0CQMr@J@m9h}DZ%p+A`G zQ7~f8u`;t!SuJ^>rs?$S)Af;znIbJ7CLCLvxWYLbPtN-oEl|-!!+R2 zo!4nv=hnFUON3GRsFpD*`4ysbg$T7;)#U-<}-s1!eK?BcCatjYoT6V<`_t z_2)iqKYY*W`6=e|+UbUS-V1;m!iLQ7-2XF8?-F{)0Y~UR$3JhF|E`wTp9CSB0_~}^ zW`1{$T3W=n=0#?j|D9RaBN5*{uVlo5OWk&bYzK}1>&Bb#D$1iv`o;%EitbX+bF1sS zfAfrNG6FgoI|zBo0QUP+cUw>1zUrP?PC=w>Az+>0qa9+X>#i&jAq;| zGxKw!9BNqr(}k0dn$wOClG+4#7%)Mhj>Cb4lQdc|>qpfRrV{?1HwJ2Ozy0XCdNMZN zw0nHCbZ)PUjKlFBd3zf6Vb&Zr^)<(_c*3r;aW@E ztFdem2031yy-1ob1vTnWN6rpbH%jJsnI(e;5mcm+0W9^1`QJSY7sw!tVPrv12ws3} zKCgGpsYLkp@Lm@Dz4YAhpmpVN{_taJWC> z!$$23aJG5M&RPm68l<`A*yFm`&a_l*!fLdSd6Br#hb(j`f@Xo~V zeD8w^QCB=|ax`r^hJd%PGGARcyZiVk|FUTSz9)b^E;4IT@w95=$VvI!%2fynYdEBi zxM43#wycMEuuQ8n3sEvU>U)HJ>$+O94;hvZB!&ty(%!898kt0yf4B9 z^@2JZA1&@^PSjUjBFir|CyWJGhN9*wsTS5`W_78HtBj3JefRs{fk%8YH<~x<&|76K zVXG5Ak3l_f=5l^VRJ3|xPoVgn`_}N4ka5w?>iucxMZZZg=j^obj$^O;+_X;W zl`-D#!Sc>px2lXala%V0hgKyi-+tXG0`GcF7cb`X-=}6mr?8fI%?76W;$wrw%(LIN$4SOF>RW>E$ zpkFT1<ajkx z`}Hs7x3iiG6{KBVzIW&Jr znVz7C;u+4)i(X;c)O*ldCA`cRJzBySZVsDe?^c(+jIg8e?~}n?^VHX_oEFVG6urYf z5VI#BW#QQPdbK?p+YV+fM2+5R-?r*z=`cePVe2kvHm9R8!5PAZ!P6bV5he?}TW^{n zdq8+3&{ZUlTi$%Zp~dFfUa6RMxNSl~#$JWgoK-a+dXxrrL+dlu_>xu1+HN&VSKXJk zrWaMlnRtEa@X64o@ZOQYXr%OmHq(doJmUp(_Yq~Huj!~gj9X{*tHhAt^p@PmH!uUt@9UZ(a2*Dig3$xgA+1motJ=F; zO=>E{3IP&`BDGBWGrVGnksGTL)k2fwJIZIHySYzO^Q;8!J-&m$ZAs&+D0{6!jE`mY z82^9^?eRJr1;^#5uBFtX0 z$Wc@HtqRM$jRtw2f(O-&CWoiD&>`qH;9n&6q&D%bE{2t!1xIRPhCoPw7cKlQ{BKnkyFAwe>o@mhKjw=Fuj55^1PdEd?nIByvWhN z%(l1NYBxNERrd`!ZMT_Ktps@&#_7qI&AJ(d^o)z7UjG{VbBV2WhTkKRwyE5YoA5rBzE$jziLv4iWhnll8s$@j*zs zlgF>(_J|1S>1HuvbDT#-z`wXk>gm1CG;_xXHCjbPk%&0EnLc|-CeL9DioU_^SnjH{ zu7fW#;S|$YwMlmn_h7mCG9>15vZvGLF_UZlT)*uVJ++uxuc;W#b!6YsReGyM)Iw69 zdlr4KYBe0$rmLB?5x#r=iw$q|WhCrw`(EnzV&&pcd&Q!B6L#UzDs2^C2{Gcr*+aS0 z3c=&ep=*EJd%rxd0(xrIOjE`d_+ONoIaVIM=nZIJx?ruYSA}xZB1^`qC}1w52h9}< z`Y=6}7?q8hL#)2(4>=f`O_KGdBNKv|2kA}BQo>vFH0c(Ck{Z}CA@-WdylE{P>}-Os zW5UekYIufEG))~dFFy%g3*sRf;tf1S3SdkeV=ARWo+rL*56(?B#u@M~D+^Sp*pqQS z@XaH_r*0H~Vu1<5?X&jW*s4A0l~&rY!ZSW$W3F% z>}O9qf8hT#&vRg50@+uO1{>tZb#WX;NmHzRh$oYEZq~ zJ`j~S_~rk?vTXG7ZBBhwrn+n*rsm?>YB)l(Nk&`SKH2p|&Gny%O)>uN=DzUKLg-F6 z&F0|Zz?tp(;dy|&E9>#$LLoNqW}SdlS_V~&OT7j~kgQ=>$H$sCZ#bBop9PoMunQaC zz5N+%=0=f^^YZfag`;FxCo+D!;c1?`pg~TJH`Lk91q@!jl6J7URrV+ocjKsGTq$Ja zfO~!aR2?JeF`b;kqpR~op_ydigwH?^1^AcG1qU&te>^pW203_?o#v!Ky+1k)9`+FR2a}NCJLl#Ze z)-yh8gk*yEuqbSr1Jm#Gw`)#Xa*r)_j&^_H0W0q6ycgC+T!FXby)Ojs;!6;}4ULe9 zPK<-%ZndH~Zq~lEzP0wEw<+mmwO_vb7{#&-{%os0u#o&Z+SB%c&Z=tj2A+%}@*Q5K z=KG6FHaFu*40xZr@MB?J3l#{g&6fPV7`Fd(5aDKwA z%?CxX$rgog)7`lowCDX`Ej>|UIr zMsjB~8_*FXn1rBOpv=0Z;ZXPdU~)v7+h9%KnuLd@K(u@_HvP(!xV805Nv=r9>3Syi zm_ubmeM1bdvpQO!^m=K}T0{`Y4c-;F#VxYTPXMWLov5TYsAskNt^0FOA+BFjMv{Zb zJg~l8e`e+KxuGBvgfIdC`OwW|_;rI7`MIeg{nz_CeZcdv``qrgqS%Uzt@^@p8aNgvMB$u z0=n;__GzfA&h)^%Z*u$mo=(lP=orz{J&wdsD@>4{*jGO^>1M6bZem_;D^?snvOyNA(uu7=(Si9WQQm0t`6@iY>YYGSs)~GAKwodkqBl;r z%6)>W5Mgbn`qr>_&uk+T*?D$`gS{?%qZzmOu3BSXxo-Sso<$r&S7q!oKBUgmAh7Fb z${DrYyF3+omrGjrtR^%-_h%;>Rpb`sO*DFZ8qy&NUIst=Gf9vDR&5^QOqIYZOtP=z zpm3Bk1eH}xuyfD{f-k0b0#URXjDul#PhUqB;Vj3K>H^!EXuW@zs zrCsw*V{yeji0iIKwM?;2GtG`pLHEE0Cp*(a;&x%K!xhd)CEL?(i58Yp3Dt_cxKk&! z;NEp1QU6YM+b_{hJ9e&2SICTvx{5-7sgUFza8mBgpt|H2lEdZ3 zhwl0Nc-8&t7Gbm6lW*KViXpzwU#Diu9bbRzxEU*2D_TOjLTVwne3)cmIo`x}6re&C z%=lB=(_F-2C>d{Ivt-iD!{w_l4&c`*^h@gVT<)vAq+D4R!~=~b-^5&n)2qHUoPDdw?L z!PT98`-52+z^I-o_r= zH;nLsI@>yPqSNv^W9!Q?T%_k77@&cLe&?QM##!;o!_cl=2i_&g9;BqCe~0;I?Xek(s7y>V}ruz0+P#ir6bBh_F$7 z|3lPLEA#StTyO{1S+zW`?5>#S5G>c$u(Fw$No|@n3L}P>fT}}+f@T6MwX{f$^jorE zNa4eWb#@MoCq75hAgAywKKv|n-qZNFPqP>fPUM-z=f`tSc-q@%otGtD9nRg^$!EXK z%pn);TqNDL)N6^%)=1_`4{*%rAMO} zjlFTLDxn&filr9SR!!wpHW67fQ7o1TH`c>!7&DDvj$mk3C3XEjy-Bo!4H0cHmXlR9 zEi&H~+)>#?EmNi35k7!gEJX1u2 zIEATZi0EfZk0XrHlr40UNh$&jxk*8VL@b6b+5(3@p=1}9FhSKq{EgO7`^Mp0)l_>A zM(%uiq*$@C=d=_*QADcCj>kCA@g{uVB|kr}@z?}z8|_mKINY9^8adk(u1nt9 z%rhy((ZKvYJYi0*b?crRzc3N6LSKtf!qz%?`5SZf!mbXJw0U%p@4m99&hH3YUdbi0 zFFWV$Y>!pR<2F{^s_8rm7JKO?GO`xl{&$j1eTRWL+SxE?^cfaDtPBc&l2LZ|c#fyY zL~RC4kA^T5)0kMY4cghiM|5}Z#;*y*Ux?%c`zSwJ!)kx*Jg1JSq{o-Gqcma0L0K~oX6LwlsYw&fV<=MPo%tfa|2#<DfJn^J~Ena7ka&idAQNl>$ztwu4$*omjEKOt#d zJdXioHO=QlX3zIsR&?f_?zSg{!TcYmybgof)bCenGWO!F(+n~b(2$6Jy4UBDLEPgI z8ZGcr5_3?MiY7&?3A1yj{ml8a#(3IJnOC=Cd;0Be{?ofE#QbtmC0z8kbq8Zxg}sOO z8cN4Oxf?Y)UbbRS*`nW}#`Y@Tk!6W-{B?`{wa(78h=@;(!@(Z~v0wb4^*Xe5DWG^OqvAK5Dc!+xV=kGJ`c?7x) z+%|b!MWt>ke5EIbgjMrn{VR{IgK(9634<@;_Kl^OZymrdK?^h>MS}%q7e$HE+cVD7 zzmPs{ZQ?h(im_Aq>+CvzsIkWd!3rn~_aFM`axiF6S26oPCg7T1>>XpBBo&6WjO%Qv zZ}N1`14dB8-N&tmp`Yq`BTq=iKUS%S*(n<1E(h)uSz;jd`_t3uu5H%Yl250#OJG1r zc=+VDuZ>?a5Yi;1&3le^Q#iO7w$~A$=Sn)q;=; zc-sjGS!;3LjU2Sc!9Fq;>OUL3zg)uVZP?58R$hRdKQ*%!4OKfT7wrTdclH~>lB!;6 z^HAuJy6=s+84Fhvn7gSTzpB)}4_kRDl!9=mFD*zFgZ42Slv5iu4U9y)o}wYvDr1JVHN;QdDzH z*wE9Fv)xls8E@6BVC`ZjfobLHmOLsO&6jda23f zw0+KFwr((WgbqWpyOrm#N0KkrK99EZ>`jD?K6?fHey80=7YOY)0k*F4zV}6CmKKGQ zSXlkTA7avDmC z>c0Adrv@-TN?zycow1#7#0~x+e1GCSk+1i&uZ(&dzfB{T?aCH_4Z_F`r#m4({6T8o z$sB2u-)YpS5}<j%Zh8&n-60HnSpJp~z8c#9A`bxe zfIx`m~r>;Zy_yp&ZqFQZ2t_4Kqs@igdZyK z^XF_v??$u#ZtQ-f`A%tWx%FCLkCw#naKK9+81}o}Es79&`Z9`Dakbu{P@suKY;1$Z4Lb)qLmgNc~yQGB5Pkk9W|LVVZQfT07p z<=4BFG*6|Hbvit}=e%>COxh#o_oZlhu}!C^#+)eVWvLl2_V|7Z4sKjTxq$G}f{ zvJI37Ajh1jNdNrD&SnhB%PA*8=!MOyqkli%YR#N1D?KiQp_U1>)KeO z?|&P}Q#r=XKG!C8a61`_mmp#cb+EI#gbz7Z=sg$f+%Jej?eENkKhZBd?2ZoGC~lPe z{?{2>INieDkTY~N${gXaYsV{ws|Aq|u?Jp2P}t&kM0XubZrNU-!D~7+h0+4Dh1{{y zn2PORV{$!O0)$uMO)}uS6u$(jEMflOlv10!ovo|#5gXHdd!z##JY?o@Su;z;@v#Ts zTEN=xtDK)$X~bE~H^6@zEgeqDKB5)( z8~ppA64q=+rbt*vNIfiAwZpCSRmS|=W+(FO!6bmr@X;Xvv7;*_35LWtGzM zWng#&Kpl!P3@4WI&dXDB7s=^LokD!tAXw~_l5(zfXuSbJi4yo*^AS*j3u-3SBFcU9 zy0s=(>mm2!@Ho4!1glnTLWHd!@}RbS2F;;WS0}kBbf&Vh2C-dV38kQM#sq&1n}ojkO&ZR+#I&GXW z2an8QC4i^`T#49B%%0Paue!LjifAg(t;Z(@$--;h11xIY8Z-{QD4O39Z}ArvBntf9v6;D@I4vcjicehzK}80 zX|v#Awr%y?_Z@;(^y-((NKY&BiS|W!Ciuxk`!_3ROCLdLPhAZT!4t|Aio{cm8i1%l zep~zQ@=|ve*R`a`9d(W>@BO-EILnNq)cyM~om2I@&ecqc<;R_CD-Oz(398*yGpry8 zyu!N6VI~i+lD>L;v3E3-gU#Ud8;n_BWSMLE8hMnYA!w!|Gcc%TGeriQmE8yELx<0w z>9OSo619h1q;PicwQo8)$LL|IS2&e!UuO^#I{}qWyZ9jZJJX^~trD0f5cRiOX8b=` z1O;)nr!^&?HONylIzne15&m`Vhl7HZ*M@_ML1%R?Q59vCf~Tr87S$_}2cJVoOm$>KvdiKx&Jord5jR8+k^(w;@{P2CeYi z>VfPW`gHTbfxgjkn*2GlS|nF-^%UXvOVB5kLh(ty%L4kUG=Ll!hU2JZ4~3j zA48FlD+Jz{TEd=Af$h-k0CZe0OBczzk|7Diw@F!U!4yKeO}2XJJb2B^aNLSOL`!JD zVYsOv?Dd3tz?yiH}*{uw`9lKL7xJ{Lg-G4b8wdX zS66I$XBzAHS8_89A*)=CT+GRNHvTq=60EprGUEmTk#LH9{ccX zG@v=qn;BTz*J_&a2@2>+y8542x@8s;%vrKoDI z%Vkc7y=$wyMChv?UhN%@9aMF!+W#2X8#;K{Q}}JOR!Uj+pG9`lb{K)etv4U(TUqdY zoFRMFE0Nt^YT8_gP^mJGq(syX=HYkbhcN=OMCn`PMRV08!ho%O@1u^dmF`dj&I|7iYZeb79dbvwn-tnV+z*)N71BNR~UJr#a?%p3c}3 zn$MT{pi@pZi!zw|ZD@S!aSq{m>{zQc&DpS51{Nehs>cIGm{{FB_KQUUAmPW4`Tk*e zsWVF=k5*W%rnrL3j9=rsbq&QMhvwVlavnOOyXR=%=i8)0D(0-yodT=epH;c1cXPx) zFn&xHQ4Kw66j-2bUh;n@oTSUCLLJtnuZO0-?gaaB9Z zhZpy6hESX4pV=P9E$7uFB0`;AE?ai=o6VE+QolC?>H@vtoMNR^fx~t2@@X4 z6T^3&;dlf>Il|3{zq$fS0XQ%NqCL+mjUU&FBfAaR9(xrQuv@oopSvoWp=Y4}yPeHS zJ$=FsS%6VAeV*TT(V^hEBoICEUOBL(yKbI66xvp=)I6Svn>z4V($knzU_wDLuq0=_ zw3W9mMOq;N#6sb*W}!X$2KQxlkoVVqJ|<<2NFtX$si8}~YoD_Q=n#C%ai(8zYD4K8 zOI&~`3=Bkyq%$%C9Xd^XycRJ)xv+E;ra4+tAA`fLS1otfL@(uzFI&l8C}j9*pMS*t z#Ur%)06^8}vamcPV)$lDll_xN~ zzS_HW{qdjrp{8P;mO;EGFugnc z-C)e#VIg=EXdq}Q1YW_IkFDfibViUehrEoZm_v$k98^bT(4)(hhj5TPcSz-q+x8dS zmgJg2MsdVaE1tT6UHxLec8x6Zk3JVKDb;$>^OnPNUm2L%QQrDPxWc}s*r0p$1QA81M2BBg*g?c>EeTlds^BNz4YqHlKSrri zvys++{EymxQmG14@}YdQ{}8ONF5!;jZoxb$qz(tK^C4LbjCvB=q_w<%zc$*!>Xs?e z8pCPxe*dV_Co;uq8uA}kMJ^JM?ghuL*gfx-iprw$J-(Cku74Dg+6VsivlQgaHHb=S z*KOd@NkJjjeEhYPo3#nHn~9gJ*WbH$IamqVKmWR2nFsL>l9N@C6*JLWO8v2+bPrRR z7)|BV4zS*$4m?jQx6~sph!K&^;fY)9s@m)EnZSc2^Bb~6pXRwuJ+wyplfU@@y~L?b zkb{%|yXzkx`M^Mbem;ww@x~+9Mz6f|ei$TRH1{0|FcO#6hy2IiQL2L@=S%fGLBLS< z<-@19?o#11k0atc#q%ZF9Umg3v0)!-{dY(YM2-tWR^NXBk z+W$7$?*o#b8lP7_DSX)v6Bxo;gCmYQ=p7d;knIox;i%`!n)cY;ClGAGvYZByutap;UsXVBHhL zT2P|=DHrRtqw7di6!-0!QJhXk2;jsJb~|EK=3 c>DDXP7$=}ic|HO5O$a#Tq!c8Jp1=3`9~)`Swg3PC literal 0 HcmV?d00001 diff --git a/src/year2/ethics-in-ai/module1/sections/_trustworthiness.tex b/src/year2/ethics-in-ai/module1/sections/_trustworthiness.tex new file mode 100644 index 0000000..ef549f5 --- /dev/null +++ b/src/year2/ethics-in-ai/module1/sections/_trustworthiness.tex @@ -0,0 +1,375 @@ +\chapter{Trustworthy AI} + + +The European Commission's vision for artificial intelligence is based on three pillars: +\begin{enumerate} + \item Increase public and private investments, + \item Prepare for socio-economic changes (e.g., protect who gets substituted with AI), + \item Ensure a proper ethical and legal framework to strengthen European values. +\end{enumerate} + +To achieve this, in 2018 the Commission established the \textbf{High-Level Expert Group on Artificial Intelligence (AI HLEG)}\marginnote{High-Level Expert Group on Artificial Intelligence (AI HLEG)}: an independent group tasked to draft: +\begin{itemize} + \item Guidelines for AI ethics, + \item Policy and investments recommendations. +\end{itemize} + + + +\section{AI HLEG's AI Ethics Guidelines} + +Voluntary framework addressed to all AI stakeholders (from designers to end-users) that bases AI trustworthiness on three components: +\begin{descriptionlist} + \item[Lawful] \marginnote{Lawful} + AI must adhere to laws and regulations. The main legal sources are: + \begin{enumerate} + \item EU primary law (i.e., EU Treaties and Fundamental Rights). + \item EU secondary law (e.g., GDPR, \dots). + \item International treaties (e.g., UN Human Rights treaties, Council of Europe conventions, \dots). + \item Member State laws. + \item Domain-specific laws (e.g., regulations for medical data, \dots) + \end{enumerate} + + \begin{remark} + The guidelines do not provide legal guidance. Therefore, this component is not explicitly covered in the document. + \end{remark} + + \item[Ethical] \marginnote{Ethical} + AI must be in line with ethical principles and values (i.e., moral AI) for which laws might be lacking or unsuited for the purpose. + + \item[Robust] \marginnote{Robust} + AI must be technically and socially robust in order to minimize intentional or unintentional harm. +\end{descriptionlist} + +\begin{remark} + Each individual component is necessary but not sufficient. Ideally, they should all be respected. If in practice there are tensions between them, it is responsibility of the society to align them. +\end{remark} + +\begin{remark}[Law vs ethics] + \phantom{} + \begin{descriptionlist} + \item[Law] \marginnote{Law} + Norms adopted and enforced by institutional entities. + + \item[Ethics] \marginnote{Ethics} + Norms that guide what should be done (instead of what can be done). It is rooted in shared societal values. + \end{descriptionlist} + + \indenttbox + \begin{example}[Ethical washing] + To pursue their interests, some entities push to avoid regulations (which must be enforced) and state to adhere to ethical values (which are not explicitly enforced). + \end{example} + + \indenttbox + \begin{example}[Brussels effect] + Extension of EU regulations to other countries due to economic reasons (e.g., it is economically more convenient to have a single system respecting the EU's GDPR instead of having two separate ones). + \end{example} +\end{remark} + +The document itself is composed of three chapters: +\begin{descriptionlist} + \item[Foundations of trustworthy AI] + Describes the ethical principles an AI should respect. + + \item[Realization of trustworthy AI] + Describes the requirements to achieve trustworthiness. + + \item[Assessment of trustworthy AI] + Describes trustworthiness assessment methods. +\end{descriptionlist} + +\begin{figure}[h] + \centering + \includegraphics[width=0.9\linewidth]{./img/hleg_ethics_guidelines.png} + \caption{General overview of the document} +\end{figure} + + +\subsection{Chapter I: Foundations of trustworthy AI} \label{sec:hleg_ch1} + +The concept of AI ethics presented in the framework is rooted to the fundamental rights described in the EU Treaties, EU Charter, and international human rights laws. + +\begin{remark}[Fundamental rights] + \phantom{} + \begin{itemize} + \item Respect human dignity as moral subjects rather than objects in the pipeline of the system. AI systems should protect humans' physical and mental integrity, personal and cultural identity, and essential needs. + \item Guarantee individual's freedom such as freedom of business, of the arts and science, of expression, of assembly, and the right of privacy. AI systems should be mitigated for coercion, threats, surveillance, deception, \dots + \item Guarantee equality, non-discrimination, and solidarity. The output of an AI system should not be biased. Vulnerable groups that risk exclusion should be respected. + \item Respect for democracy and citizen's rights. AI systems should not undermine democratic processes or citizen's rights such as the right to vote, to access public documents, to petition, \dots + \end{itemize} +\end{remark} + +\begin{remark} + Seen as legally enforceable rights, fundamental rights can be considered as part of the \textsc{lawful} AI component. Seen as the rights of everyone, from a moral status, they fall within the \textsc{ethical} AI component. +\end{remark} + +This chapter describes four ethical principle for trustworthy AI based on fundamental rights: +\begin{descriptionlist} + \item[Principle of respect for human autonomy] \marginnote{Principle of respect for human autonomy} + AI users should keep full self-determination. AI systems should be human-centric leaving room for human choices and they should not manipulate them. + + % AI should empower individuals and not control and restrict freedom. Vulnerable groups need extra protection. + + \item[Principle of prevention of harm] \marginnote{Principle of prevention of harm} + AI systems should operate in technically robust and safe environments. Attention must be paid to groups vulnerable to exclusion and to those subject to power asymmetries (e.g., employer-employee). + % Address negative impacts by defining mitigation measures based on the risk level. + + % \begin{remark} + % There might be unforeseen risks. + % \end{remark} + + \item[Principle of fairness] \marginnote{Principle of fairness} + The concept of fairness is described in a substantive and procedural dimension. The substantive dimension implies unbiased outputs and an equal distribution between benefits and costs. The procedural dimension involves the ability to contest and correct decisions made by AI systems and by humans using them. + + % Ensure unbiased outputs guarantying equal treatment and avoiding discriminations. + + \item[Principle of explicability] \marginnote{Principle of explicability} + AI systems need to be transparent, their capabilities and purpose should be communicated, and their decisions should be as explainable as possible. For black box algorithms, alternative explicability measures might be needed (e.g., traceability, auditability, and communication of capabilities). Also, the degree of explicability that is required is dependent on the context and the use case. +\end{descriptionlist} + +\begin{remark} + There might be tensions between these principles (e.g., between prevention of harm and human autonomy in predictive policing) and methods to deal with them have to be established. Overall, the benefits of AI systems should exceed the risks. Practitioners should study these trade-offs in a reasoned and evidence-based way and not solely based on intuition. +\end{remark} + + +\subsection{Chapter II: Realization of trustworthy AI} \label{sec:hleg_ch2} + +This chapter defines concrete requirements from the principles of \hyperref[sec:hleg_ch1]{Chapter I}. Stakeholders that these requirements involve are: +\begin{descriptionlist} + \item[Developers] \marginnote{Developers} + Who research, design, and develop AI systems. They should concretely apply these requirements. + + \item[Deployers] \marginnote{Deployers} + Who use AI systems in their business processes and offer products or services to others. They should ensure that the systems they use meet the requirements. + + \item[End-users] \marginnote{End-users} + Who use the final AI system. They should be informed of these requirements and can request that they are respected. +\end{descriptionlist} + +The main requirements the framework defines are: +\begin{descriptionlist} + \item[Human agency and oversight] \marginnote{Human agency and oversight} + AI systems should enhance human autonomy and decision-making (principle of respect for human autonomy): + \begin{itemize} + \item If there is the risk of violating fundamental rights, a study of the impacts should be conducted to justify it. External feedback should also be considered. + \item Users should be provided with the necessary knowledge and tools to comprehend and interact with AI systems. + \item Users have the right to not be subject to only automatic decisions if this significantly affects them. + \item There should be oversight mechanisms (of varying degrees depending on the risk) to prevent AI systems from undermining human autonomy: + \begin{itemize} + \item Human-in-the-loop (HITL): human intervention in every decision. + \item Human-on-the-loop (HOTL): human intervention in the design cycle and monitoring of the system's operation. + \item Human-in-command (HIC): human to decide if, when, and how to use an AI system in any particular situation. + \end{itemize} + Public enforcers should also have the ability to exercise oversight with proper authorizations. + \end{itemize} + + \item[Technical robustness and safety] \marginnote{Technical robustness and safety} + There should be preventative measures to minimize unintentional harm (principle of prevention of harm): + \begin{itemize} + \item AI systems should be protected against vulnerabilities and attacks that target the data (data poisoning), the model (model leakage), or the infrastructure. + \item Possible unintended uses or abuse of the system should be taken into account and mitigated. + \item There should be fallback plans in case of problems (e.g., switching from a statistical to a rule-based algorithm, asking a human, \dots). + \item There should be an explicit evaluation process to assess the accuracy of the AI system and determine its error rate. + \item The output of an AI system should be reliable (robust to a wide range of inputs) and reproducible. + \end{itemize} + + \item[Privacy and data governance] \marginnote{Privacy and data governance} + Quality and security of the data should be guaranteed through the lifecycle of the AI system (principle of prevention of harm): + \begin{itemize} + \item Data provided by the user and derived from it should be protected and not used unlawfully or unfairly. + \item Datasets should be cleared from biases, inaccuracies, and errors before training. + \item The integrity of the datasets must be ensured to prevent malicious attacks. + \item Processes and datasets should be tested and documented. + \end{itemize} + + % AI must protect users' private data. Decisions should be traceable. + + \item[Transparency] \marginnote{Transparency} + There should be transparency in all the elements of an AI system (principle of explicability): + \begin{itemize} + \item The construction process of the dataset and the processes that lead to the AI system's decision should be documented. + \item Decisions made by an AI system should be understandable and traceable by a human. + \item The reason to use an AI system and the degree to which it influences decision-making and design choices should be stated. + \item AI systems should not present themselves as humans and users have the right to be informed if they are interacting with an AI system. Depending on the use case, there should be the option to interact with a human. + \item Capabilities and limitations of an AI system should be communicated to practitioners or end-users. + \end{itemize} + + % Decision making process should be explainable. + + \item[Diversity, non-discrimination, and fairness] \marginnote{Diversity, non-discrimination, and fairness} + Inclusion and diversity should be considered in the entire lifecycle of an AI system (principle of fairness): + \begin{itemize} + \item Biases should be removed from the data during the collection phase. Oversight processes should be put in place. + \item AI systems should be user-centric and designed to be accessible by all people, regardless of disabilities. + \item Stakeholders who might be affected by the AI system should be consulted. + \end{itemize} + + % AI should be inclusive and not discriminative. + + % Universal design principles (accessibility) + + \item[Societal and environmental well-being] \marginnote{Societal and environmental well-being} + The impact of AI systems should also consider society in general and the environment (principles of fairness and prevention of harm): + \begin{itemize} + \item The environmental impact of the lifecycle of an AI system should be assessed. + \item The effects of AI systems on people's physical and mental well-being, as well as institutions, democracy, and society should be assessed and monitored. + \end{itemize} + % AI should not have negative impacts on the society and environment. + + \item[Accountability] \marginnote{Accountability} + Clear responsibilities should be defined for decisions made by AI systems (principle of fairness): + \begin{itemize} + \item Internal or external auditors should assess algorithms, data, and design processes. + \item Potential negative impacts of AI systems should be identified, assessed, documented, and minimized. + \item When there is tension between some of these requirements, trade-offs should be studied methodologically. + \item There should be a redress mechanism for unjust decisions made by AI systems. + \end{itemize} +\end{descriptionlist} + +The chapter also describes some technical and non-technical methods to ensure trustworthy AI: +\begin{description} + \item[Technical methods] \marginnote{Technical methods} + \begin{description} + \item[Architecture for trustworthy AI] + Embed trustworthiness requirements into the AI system as procedures or constraints. + + \item[Ethics and rule of law by design] + Methods to provide some properties by design. + + \item[Explanation methods] + Use techniques to understand the underlying mechanisms. + + \item[Testing and validating] + Define tests and validate the system in its entire lifecycle. + + \item[Quality of service indicators] + Use indicators to set the baseline for a trustworthy AI. + \end{description} + + + \item[Non-technical methods] \marginnote{Non-technical methods} + \begin{description} + \item[Regulation] + Revise, adapt, or introduce regulations. + + \item[Codes of conduct] + Describe how the organization intends to use AI systems. + + \item[Standardization] + Define standards for a trustworthy system. + + \item[Certification] + Create organizations to attest that an AI system is trustworthy. + + \item[Accountability via governance frameworks] + Organizations should appoint a person or a board for decisions regarding ethics. + + \item[Education and awareness] + Educate, and train involved stakeholders. + + \item[Stakeholder participation and social dialogue] + Ensure open discussions between stakeholders and involve the general public. + + \item[Diversity and inclusive design teams] + The team working on an AI system should reflect the diversity of users and society. + \end{description} +\end{description} + + + +% \begin{description} +% \item[Research and innovation] +% Assessment and training. Share discoveries with the community. + +% \item[Clear communication] +% Set expectations for the AI system. + +% \item[Traceability] +% Tracking and documenting AI decisions, training data, system updates, \dots + +% \item[Stakeholder involvement] +% Include inputs from diverse Stakeholders: users, policymakers, industry experts, lawyers, \dots +% \end{description} + + +\subsection{Chapter III Assessment of trustworthy AI} \label{sec:hleg_ch3} + +This chapter defines a generic assessment list to implement the requirements of \hyperref[sec:hleg_ch2]{Chapter II}. The list has been devised by first taking feedback from a small selection of companies, organizations, and institutions that implemented it. Then, it was extended to all stakeholders and another round of feedback was taken. + +\begin{description} + \item[Assessment list] \marginnote{Assessment list} + Steps to concretely assess the trustworthiness of an AI system. The main considerations to take into account are that: + \begin{itemize} + \item It should be tailored based on the specific use case. + \item It can be integrated into existing governance mechanisms. + \item It is continuously improved. + \end{itemize} + + \begin{remark} + In its pilot version, the list is composed of a series of questions for each requirement described in \hyperref[sec:hleg_ch2]{Chapter II}. + \end{remark} +\end{description} + + +% EU Commission for AI: +% \begin{itemize} +% \item Increase public and private funding, +% \item Prepare society (e.g., protect workers that are substituted with AI), +% \item Strengthen European values. +% \end{itemize} + + + + +% \begin{description} +% \item[Human-centric AI] +% AI to enhance human welfare and freedom. Maximize the potential of AI while minimizing its risks. +% \end{description} + + + + + + +% \begin{description} +% \item[Guidelines for trustworthy AI] +% Voluntary ethical framework to provide an approach of developing AI. +% \end{description} + + + +% \begin{description} +% \item[EU primary law] +% EU treaties and fundamental right. + +% \item[EU secondary law] +% EU regulations. + +% \item[International treaties] +% UN human rights treaties and Council of Europe conventions. + +% \item[Member states laws] +% \end{description} + +% \begin{remark} +% AI must comply to a multi-layered legal framework. +% \end{remark} + + +% Ethical foundations in AI are based on fundamental values: human dignity, freedoms (business, expression), respect for democracy. + +% Equality, non-discrimination, and solidarity. + +% No interference with democracy: vote, transparency, access to public documents, right to petition. + + + +% Full self-determination + + + +% \subsection{Principle of fairness} + + +% \subsection{Principle of explicability} +