From e5b2b36c0405436db7569f3269340a57adb432a5 Mon Sep 17 00:00:00 2001 From: partowp Date: Mon, 23 Mar 2026 17:01:25 +0000 Subject: [PATCH] init --- .gitmodules | 3 + TexCommon | 1 + draft/Makefile | 3 + draft/draft.cit | 1 + draft/draft.pdf | Bin 0 -> 113727 bytes draft/draft.tex | 389 ++++++++++++++++++++++++++++++++++++++++++++++++ 6 files changed, 397 insertions(+) create mode 100644 .gitmodules create mode 160000 TexCommon create mode 100644 draft/Makefile create mode 100644 draft/draft.cit create mode 100644 draft/draft.pdf create mode 100644 draft/draft.tex diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..c958ad9 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "TexCommon"] + path = TexCommon + url = git@git8.cs.fau.de:public-repos/TexCommon.git diff --git a/TexCommon b/TexCommon new file mode 160000 index 0000000..0046b8c --- /dev/null +++ b/TexCommon @@ -0,0 +1 @@ +Subproject commit 0046b8ccc5c6c351a92af3b8517c1394b148dd39 diff --git a/draft/Makefile b/draft/Makefile new file mode 100644 index 0000000..1328987 --- /dev/null +++ b/draft/Makefile @@ -0,0 +1,3 @@ +export TEXINPUTS:=${TEXINPUTS}:.:../TexCommon +SRCNAME = draft +include ../TexCommon/Makefile diff --git a/draft/draft.cit b/draft/draft.cit new file mode 100644 index 0000000..ba23611 --- /dev/null +++ b/draft/draft.cit @@ -0,0 +1 @@ +d41d8cd98f00b204e9800998ecf8427e - diff --git a/draft/draft.pdf b/draft/draft.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f56fa4af46c009c108bd2ef93b3407539bf18347 GIT binary patch literal 113727 zcma&NV~j6M_`kQdZQHhOmM^!xbrH0+Zl9d@E2JZd0&B18i2Z`G-ZWUC}fDa0(dbOr>i*picPvRoObDwgR5 zj}DHXTyZ3LG@fXq#sFE8n3T}MoKaS%I>s%z7#nr8=Zx!fMiEmjB#H%aQ^mU$i_s4jfF2bz zPNo1a+oy#zT@v4~5zB#gYEEM=^sXeY)T)E_QS>jHGjIP}N9|i4nrlni>|XV@-J|hK zhCRbDaQtl_0%LJnS#JnW8rf%3MHrH!gzuv5(!C8NZGZ3(fLqtz=qfd2oBtQ^zRxbi z6aKT*5CGBg6|=Ye>N1gsfc@@!__OryRp;xup<0)x-q5nlub(ywf6cW`KYcdA?So>* zwO^sShfV+vhGW$qy#{oF65M@$zByX3D;`~qt!FbOC!xD;TjD;#Oy03l{0BBhj=@Nuv($8dn~q{mDF6&qY+!Utn73k=NI zJ`*|kHZT!0kdz7p8968zh*+S|#V;0#G7AuT1Lq8K0WI7=5t0H+76P-9 za6*{V>!87%$9&QN%ppi1X<1olfEy&$P$3l-SPam45Ho`k*R2H9I=*2{$Up&Bzkld{ z?^)2G$3#TL`};do@PVZf*_2kCBGNwSa0gIKfhE-x?j_W_I)e}*TsVM1E+Yog@DN1w zH!wC)0gI3c24(>GmI(?iaE#l77_X2D=+-`aoCq~>W{2 z5r7UA_I?8wCY10Ok!c7q>@Nh@;C3O9FFU?b45I`RkOUWi1+2R`k;}h<6YCVgZ2op!_#qL4Rt20TaWoPz~fF=za(-Fb&>}9Ni_lNV1ds@#zZ*aB5wf6S3BTk=w-~~ry^aoJdl6g+ zgN+{!*kDM59R&ryC!iz50u%nmyTB3eqRRdO{;6;eB87ipf3uT1{JtdtKV3qFeM(Rp z%U~!@Z;3W5#qE-*Q8fZ0)xk~0eATB`J|gSXYRzlV=#DIV)iVj;%Z0{H29UGYQ8agf zLu}*RZq*0yjvgjOMoU%$nR-DB6V|93$M-MpqKs{5)!iG?8zFLNs~~gypfdzr$ZWb+ zD~FR0&t0Ns36lQDOQp9uJ9<1%#J0vOe{WJtI6ky4Bn$s6VO@oboA7la%#UYsMKXz8 zlYP5<^(~t~h8MeRh^FIdLxY$GZZ#T%|EU&Vpd3E}I5WzNE!fR$&uGY9gF(6wO4u8v za;UUm2^vMio<5D&^umyins43PE(cSjNtfP!45Hljq}`Esbe{G+J9nq{^brzQ5GXU} zJ{sTXHe3sbLiUYpeq!Gfb-w}6GPnixrqs1XHNRYkraUfWyM&odP8ibHWz#h^LAEDz zy(%v(?czBt;av)5sM6SnMJhRAsZ=Rn^g&;`p#<(3p3H}eKbbr3hNQMwBwIns{+m{I zIm=Jvp@6a8NL%4EH={t?CTxOkoF#oSurM|Kn3$LOtd$@dnk_X&+f(1ODE3@+#?5!x zyGb)V%*yro`xzeH2Q>jdCl>N;bgJPDTMH)U``f`4J90O+x9lFoTC2fQNybbm5<_QCgYYh zjRe|GF~47WcBl#}UuR9M*ELcI&uY*vT!pZAYZv;_Zo-=RtO2W?#4zZ6GQHHq5Ve#F z8%!8sYN_3Mn23P78~d~t@DJn4IgW6-lUI|+se2(Croxw*|tqVE$U z?JS$H+gsp?;redi4JR`fCo{5su@Rde8JuNfUUD__e84|Km;2jR>R0US!n+Mg#{WiI z&+XkNE-+{fJoC#Uxdf!m;F7Wjy?QT+SpAD}*_T_Uccaan?vl+H{o$)GyMNM8c-xzW z;f%L-TY0mKoLK}b>)GV4O!2njCS5G*$R=42Jb72T2TV|61U&Rnv;f~=FOK6Rc_JE1 zyw0|KN>I7-HN>l}+~uD@JiQ5NCC1b&HN}Ja&Ib5j!kMyB{rLGKOwm5QDk<1TJX9cK z@aGW4Ih&yFlQ0qz`{`4@nyZCn9uMq|pRDvPB$be;D@ zND~dOJMqbTeSAyEhc7Uy#qtEDAy}A@mZljRJQaX44gkEB`o~gH)f%qt08j`=O zZ4kGkRc+ba8>C(+soBp>i=0pl8^SL0Ga6gD0Ve z_)L8%XeF;5yE(NaE)Qop8O;LzFq-2x;pTb{M{!12=z=!p8K1Vvc#yZ}&p+fXv1(!L zzjP4=pq}bU;5v@UK6>c8jC(BUp`E>NRch?urM6BYJ2rrgWT!s7HL1?NEOGN&`RGKh z<2=)Dz<0P#3@03GFlxK&xMKF|$4QffF4c+guP(44XvvNqE!af4+q3L~$>tqe!l9YB*BbmVb47jF&W+_Cc! ze#St!GZ)-4%To*6yv}SUwbJOLIkQJyJAwYrf=GV`j(^MnnU6cfrI-PCiqgBwxq<7r z0Jq8ds$2N1ujK4IAiaDU-~L_q0VMHiulm_HjZTQX2PX%$ma;Zncs-Ez}Ki8Wz#MYkCQp zd9sS-?tM(=<5_8wOsl6-WeY4i%hz~(L9)3Lo(C8`d)YS3J2JI@D-z7cB+);YgGa8P zzpQ}v)dw=mVpET%U*rts;hW567v!RK3P}tZKP8;8OyIbG&6#Co!}8|=FU~mHFgLcB zh1q+LW0e8uxH`s?V0pVCl|$C(Zr2!5)ScFW;R`6IGJb9EY=O+DPA0`gfX~T1n-Fnv zL_S*4CzC(i%|P*tN?E?bzRh^s;!fx6hab7YK1J07GP0qEM`OFjk;zH$Sv)o7Ps!3g z+@FYknros}3Bywkr){F#XyRsDDRC$6PkU|7IO6{_l3IDUUZ5dX@&M0h8t_0w34~!P z@?>{I$Mi*b0ukYJKTspzA?B@mNK6Ou@&>CHaDhQ>_T-mb+VEfiBzV@}JYm`%a{XsA zHIMemG>d?K!;Icful^~ufxJ|ompRf(NyQoAFU=|HcWU)p?3#d2J-awk%*mft?eq8~ z=hFy|{HaF&-m;-2dIv-I&TwprQv{#2IGMP$$S!#5Se^=#ao!BdTr(Z0`N%LLt&G$ydP%Yc#Zk*5C+I%(kEQA(I_*RA+0D9|7ZM z=Z(tzj~Kd&&h;zU_@@%se}F>+dJ^vH4!pEVUnrLbEuNK=z8-STq%G__V<))c zF%%~FaNF^sntZu3WZ~{1UbDgg$=aWqN#Ihq9nSN&OpL=T#_ceV=@o_p(}+~wZ!HVk zG!NtPoS``nVS|yFR0@M#JgFa!fV}>vG&RG&W(+YbpgD+kEB)uz08A1Q|O$pD2CdWk8ba!lwYi%W7F z0XcYJoPiaf!CDp)(cI(ly;(LAU;1D3w(YpKyHb%(p{ea*cl~5fsazi$wgUX+gYE7{KISNakleR-y#wc!Qee_8Qzd^44N9&JYEoKF<`w0 z(&DPsJo}+8_3YZxy2)nT30E^*3gilVcX<;%ZYlGl|Bj92EK2_L(o=4-E27C12{PO% z%wBNM%kmdBRT5(O?Vq>_5!qu-FfS#Ks*40_8rHAjID#zGk|GpZHL2?Ra+kU|Xtm9F z%If69kU4?a_jNk6`p_k==~wrEqc*qv^@vyY^KT@KSWoS^ujVCDFaIq6iClX4_p-l; zRQ4EI5U5gLMpe63CqN@AM|AO{Z>Qr-ojXn2!%nEP!^Ux2&_&2(Pa8d=dq>Z$u` zW_m)wFaA`_l;B+6%wKR@JiJ!js!v_gT0U(aCzTA*&7ywWP{cF2Z8PEH!)I*U2d+~F!=dZ)!~i8UFa{zuwU-G7WF=cfr!!f=X{GR1gxuM zXQ*#nZkpsRl0CBv#K(&Yp838ZGO|BotH%g*@-1?Y#>YVC7wR!kCsL}SZu6;SR7U%+ zE?qFR%pA#z8<_N+w*nL(`)A46Dal1(a#)Fk+jxeyy^$}7x?}ioJe_*`uu!tGq5Ft* zM6v&Pt*$mMxpOtLm?}nPioiC*k?ZB7crRQ_?A8>@QH}8ZXR@v#fN4Ux7s_!Qy zl&fX(xr4nS*X=W{e_CihiTiw7(3sv)8{?>S)KN9`nAg<%N~4Aytn3pd>+?TgRf)pp z&u%!3-cTi>F+2LeLVyeZ@mL1a~N zD>A;Vg5Oihr~35z>Iu~=tLi4(OEmiG5`RY`5qi1_oE38Ht1qA6L5(2$u0e*UT|RQV zmx2bIE4$Ax9{^3Pq$?E_wzc}}`gU8qMv#puZdE{Um_N*?Sr2G!x zg(xv2_xV$9lgL&0C{rk~yZH;R4ar65^gNIwJ4SC-^&pD!CF4ixD8uMK9_4onUOF^j z3Hq&im&TZ{7oAEE#)YbwFL4I(K$DVEmZz;H+C%^8bWSnciHwlJar@{^=)!%SvzS$u zXtZ_v4xK4^a6#Z98fA zcIr{4N4a4!;dl3q&qnr}o)W(!e$YF-)UM-bEf9FqmGA~lqMs~KD$xFbRI?~OQv`WIV<5gAr=q{%TVqN2(%T0Y5R#?C z21%B}yRJIdcLl>QU#sV>iy=XpGt=q($W0z`!R+OqQXq{VhsKMY23|TpgDD$^@M&mK2SsN>Wk(z3@g*4>mJ=yz>L7 z9!%GOxTtsha-{=A=f};(mPb&JINgR#amfrw3^4mmzumr#bE<-NtZWAun0KA3@huCL zhe-9Q3wVo#10FVvK;Xt(B;%9sAqcu5{qM5;U=dWN1lwOi$s&jwKt|Wu!VB*v2j&hf z(Dxg-k$p!y{nK>l#q6 zq>)0d8p7OYP<`CIL`#{H?IuZH+FS7JK+8dKX}2!gu-trnm|jt=f&7P~x%J6Z3f-(m zQ&<5z*_EP`kPwE^GD|y01i=F8K5gy>RwFCJk8$KXE`}|V!O`DTzjTK3z+>naYRuA= zHJ`MXD*1;I<&f-nAGRU1Tq<;&{GkDrKdO0`xhf{x)W;g+pbBCa>5jaa3A^~hgSd5J zLi1jqy1@xE8blQYu8-Q{FFU(#QuX(S0KioIaMR5_#&ddh+kN10X{TMNa67YAO|KJm zv6th=H5o{*mSWW*ONN`alY68ymu&Mf`X=V|aj~?n(cy}zH4VeKKOMI{vJyGE?J|HR za=sbTjfTbNt${2&Io)+diedCazOzYUBi`7~eiY~t_5+!%$x96!xobpQxKvc2(Z}`p z-xKRb+-y?FkcxGz{ge$!v`2w7J@j}CJB4ML*V)wsYMRn~LR3naVH`Q%9TMtlXj>>< zZ(d<65crijL6G~1k&;=rU8jPVeRMD{QmMmBdu{_7_(p{7Fs}N47hk0ki516)>mi}y zQ;&aqjY)zho9QkR-3K!niu0?ytDzN=(rQnL+q!FEZRQ71oO9(h`D9VLh~i=Y{fYHN*d z*gM}gaBx6q_?UM!gik*kAI-^(cZ|Wj zj;-S*3C(2?4T$H6yXU0`H`IcI`a{emO6*HtOen`0MqIf5lpL<+vgW_3mG|wikhE|v z_dR6|e_Hyx^Kh?2pF1Ty;UM|cA3n~tZjYz<6(-+Jl#qVb?%~kkIaG(Rucy5QxSR?T z5@-pYjuls`*(*D*f8EyEc#H~aWE400bGsWjpQ7uZdRj(xULy?Q_?d{x=1P!*c7GA$ zoQBA_=!MNG*Z_U~V6+iwY#vf>z4;2xAdN&K9e#P%B#?WY4NP2}uzY9w?k&l`)_B3c zd9S;*Qk6J+e!%Ua8aNgp_rRPX(!EgKdDNr_*g1VB7USR*?w6!DpUb7v&e-2gZ0MoN zjH`X4i1+o#@JgRT$vkS`#g3b5Qr&JJGY>~T=!k}1^6blun|#Eqbc0!b5P8`|MjO? zrohNI{+4;mzH2Wc5!%CrU<-|PU8;RSEvSFPIyjyvu}+)k#ns&tn8P|De?TH|-hYOq?c@F}6o3tg<{I%!J(0PO!T270{kip&PLo;pb8sq+~AUEi1 zJptF;-#*`1S-;BkqI*QyiNCLE#tobFeV}_|z135TUAueo>||Rq2bH;ckDFXbIL;;; z3oCMB++f61{ZpMMy>ps)n&lPbu46dnsPSmCV7fh3+*S{-C~7&8&H091q>Se6W&&D! zw=;93+%A3264Bg#DnRq8Z&cL#Pk)xjH)$?`ORpuNZtgX(WmT`rWmKNQ*x;|3?~Q=P zBTfI+fW=w&s&i_pqHh-=iZ?{Rt5!8}?}ommvop)qkK+t?`i6;PTz!vjMtR*9>|;Z_ z?k5@b-=E zhGs$IyaGEV_psczxfXG4UJ&E+Ry0|XW^Ni_ur1J94;0FHFV{2vW-&2@k09P-j-s|5 zX-PIF=36!rNuRk|&L){}bMj}i;4=pgzUCK~(#PJR|7)f`9G+vkpCOmKW1=OU>wz5P z0j1)(ls!Rn)OON=fK7vJn0iKFIcx{_q$!vRZoBQgX?F@k9bb{-4%^-&(4KBr_Xn%- z>7){5g;=#NtbVr-w^EpdmHs%Cx^RYci>a$Qq0NC>kjOZib5}SiF7$rf!1l2b!Ldzt zQC<0JoX6P}c>ujU)k2;;Q{tpV6MHIfLl?D6+cJ5P%4Dm9R}p$IcHSC$-Zo@hpufqf zetZRrZ<65S`)K1pV*zY1eAL5tR5&w~7A|k1Q*pF{uJHl+S8`%-3O|8n4Ppxv z%{v=SBvg2!Hr`I{GjKKy-Oy~ay!#kERLwQ>mcslw8zzUtT$#*cGeCzPfdli=ACaw zylXs*R7JvT!;?Vqk=$P|zM`UVKMucZ?5xw3XQXX~?lq#j7c^Pv2ep*sxYTaq28G_2 zZiWohVvM&sd}kUPzqrb}<1kD%y|+nUrK5>PLBF}$YHQD{fKx5r&HSPT+aj!3@1L+A z5(!#Kp4jG)-jn=NT2_#A2}sk3&$#je-}%x@)bcwRcu(B^-^Yqy+UX-KO;-;jbIWpL zGX9Kex9hmMG`(qAr9QJu)!9%aUe7<(8iED4I?5gso_Rr&!wj&`k@LmDv!n-_HOtC( zVRzpZwAvG)y;p=AJlPlwAImJmrL9VuUCk+N0QCy%H?oE~I5X=qcLBv%yQF#{Gn<1w4$o-Oy7xF}US5C!8?MNtIMJ?hQz4Wn4i z?)%#VXne*1@4WQ*6xw**Mv@A!djx}uRWMc#db-}sIWr&@#dvNmmS}oC{t~NZ&o=@# zu#)*C67hcDyXES2)uX5nl1&0G?~(NP7h|U>iHE+JPAl8z34teG>OjZgx$q;z)hdu% zp#~+Bq139{fA3WqdT!b;VpwZxHg9GzqP~kHj-C?ZYdB+;B&B0#07fFoDq00W1DZ!# z2oTQP4SRjF*PGyUvp7G*=H7GN`~fjlJ0>@*+lV?AjzQ8{G`@b&NT|IyyBgOiI8l^y zhEK+#mSG2O{)z;3WOR5lYvxx|Oq^FnZo~DGnazMe3?|{D@xWOHcPZrHgUs(k4!V54fDJCS;Aq zp-Ycn=yizXG?T{*+$IJ4iOCoD%{Sk@_)Q+KKZxhCSBF;F&Gl$$Dq~-*s?BH%6Y8%j*{3Q0f$^bY$XBPg;@}eW)>5-jS2Z zWf(CPFW?9_$VzIwjCed9k?}Ckj!}8N-x9;&b|Bb)3KRm=Vnm(4F&k6P>1-s5K&QX; z8U9#iVXy7Cwe)<;^r~v=`0mJ7jND&G27WYa6>D%)c}6y#5rG4<<<*ng4lR>As%{lA zecCfnONQBQM3eO<;t)W;0at{2E7|9X6W5c=3ZMKJ9s|p9y8`_Wh6cy~U}$i%bNw$5 zgN2CufA%w&*;zRM|N0qbD&AabR(KS(EF0*B@GF?}wkgbKF%T<=uuLlzb#0gHqJ+Z4e+SiXeeC>gTI zVE2Nex=?>FLyh?!&J~2D*c*XB#H3!1#0!i&DH%b4Pm7n|yYi(n|9sPfuM(4FW=P7F z)R1@@r`!cZjz9&BiRN)dK33ug#EBDwNmHLdQ;!Y^ixe0S6xA^)Uj;)WiNqK~L8cdx zMVSNui~i%xamSka#TPA68OSU6PH>DhU<{JcTd))x5SI4CLV6rgG38UJCBnC}6F3;~ z;0b~T3cLs7qDWJ;EVXATOPzdhdUJl#e-HIEfyN_fWazA0aylzsTyZ!U@54O3z3j= zs_r7UD9;-W96y+mvEbk%4nzYbzk@UZtMWkfV_u#|NP>ccnhyswX4t_RPPifenK8Em zcuDrf5LLu;z0Oxe`woeuu;2<8Aq(6Hv(6dd5a#*0c`L_EFMOJ0)lS7He)o`q_jzKA zmMX78+wmfvQn#*UPYJ{|#N^?i;2z~eIwoLlAcr%u8RccvVY(ej^;JdDPo8 zc@J5!-aq}ootC7ARh^Gy6z8g*8nxp$`7|T0yKWg`S{bklQ{|Qz5vqME1atO6+dt;J zs&8;h3A`#KYVCFI0rw(zz}^-Y;(yr47wOpHFJE=H%KN?TucNGB+d2rRY5)3|-|MO| z&DK@4Zw>e!OY7#OS=U}o)7XEbEtcN;#KccvFpJ}_`!(Pl6;(}h??s2*`D(iW;mHqjA-6h@2lWE^LC3k1pQnMf5 zX`&332=%bjPP_c;ynm)CUG;C^2qsp``8@U@7V$8j+m)Swf^^q9i+z{Jw1|4{U+k=- zU1!N3g*{d^8y~M!qhkl==cC-)T82eALfB;Dt8Ex_&z_T2omX!MaJRj8P6|rh;oalM z<2tf=l;dFHEdH9NMgKeJx%Oa}>2^~}{uD3sF(w;J^jOL2u5R4eCK$#fi3bY{7hSK9 zD_qC&K}BJTCXzFV-VzM;pSU+-)g|}atn><8%fhYW-In8~G(D-7A-c8Mx@FR<2ej$} zRUAzR(mB;;jW&DDYUfL7>do}p#+RdwQ}-g)QAZoSy}$C)2(%eG@sTVxXF~C)XAae2 zVpsE%kf8gVkto-8Dt;Z;5e6k@A~ObV{!U4t%Uipw+3Ag}r{9ZD>;0ZQ<^J^|ZQ66K z@CoF*6P2xR)aexp--XVFP4Tl-JbDb*de+K+7N~2yqRO~$c6aj))M|8V%T=o^s;|~c ztVm>3XZDJE_zh=be~iLJ^^M1y-BcM!L!j)EDtT=$S1Kdr&!=}eRWz(!ytrT0n(LNV zHvbEj&7q(DG+MitW~!~>1)!TGsj)dz=^^1hdD536k|CctE)r#zq7M}j@u4c>vRv** zQ(p@Tz&VzV7K5CdecH}fC3oo~_P8p2mClZ#R}o^9>S$#2>aGKXzK_NI_t($(U2f|X8$uXN#yl&kApa8!O-~VCOaQ#oShK2M0o;A!Y%pCuh z0{H*50hw7i+5Zn6@c&z5wR1O9(wl9gzs1?+6b|bCuf8BSZvXcJa}P)QZ-W=CegEF6 z&w0MnwOYScP*q|L&-q!`##J>zW__!(!jlIm^CA;F!vm-ag+yC!TTTv$0zv}}21c2( zpb>UrS7Bxyd;;_zSQfBaAOes%1`sSNDk})M(DLr!611t&1xNu)DS#5{Ujs7-=tfWu z5Y8*dt38pbEKq)Sc6LH`Gi`8kHPG;$c$E;*z$gk76XXUEa8Z=Z<|0fI5REjrYXI3l zgmY6{P$eh!M&L}4W1%u3UJD}jf$d#r!zTwwLu&^Mh)+yPi!gtv^-kbiT>uKJds933 zM07Q@EEP=!@Q66}iWu;in>i47W&iYzZjL9QD6ouz;P)~PVgJ!!dhESFZPLH?*F2XG zV8=|v#0okiRK@^=S^z$Q5cpuwCB2oo1c;wA z5nZ1Y~2i{d{N^`qu+=VD8-wX0LDlJ6gWK zXAYnqub{4@sHKl+?(>VNr>aRw zS&%y|*z|jIA_x#X0t52`l1J7^zn1qDty$C=ruiO;wxB7rvM7sLwo1!Xg@_) zM-+qij!aoGZrm5qKhjoqwK(C1Z^@HPw{&UwzqAxxEqjWZ+qxthfrjnx4D7zrenc{s zCojk^%h&y4seS7Zg_vnkNz%ONKP~%2kJH<_+sLL~|3G;jDewpYe{fEQV0cy9u{7kwp%0oKWq52(RSIzXK)AeCLdZ6*j zf~Cw^sQ1uvNO9;o0@(+ZZ8;b+Y?mGC^j0N zCGoc^_nuCgzl%#JgU*?9{t{w;&K?e(ZXFmJbUDQ*IXjG-36i>3n%9Hs=~>sf==Cs( zdT74A#KqP)4tN-zf;3LxWt7OeU=+|vww$}~+UVT=7CncR&2qtivVUs-r`$Jrf5(oq zQ$)$4trI+0J(c3{6Xu4NKYSmPQ@2?23b5M_Hj!94PI`llvxiHeH%Ox=0TD@1c;U%X znmb=qoasj-J{(n)JfNgb2&!J!M8_xw^h6a4v;}&GAd_hl_e1gahaYmPA65g)%x>?N zui`U46Q47;QsYQ4RBx=~DJDjf)H}o1vwxQf`bu(Iw=Rxq2yi)0+$!0l$)7oydm>T| z9bb4RI=U5*;*Ue1rq^-(#EI&mN|2E_8p#whdOomZ*r2^6GCDEpfLxjKHi&53t$TRL zZL>>udpVN^xs~7u-rS&s^PTS1^_~Z&r4U)YnWY+-)SM9I0YHNX8Yq5)dc06Qpp(IN zrs7Fg3(;|LeJR(8Q93pAW?Rg`IQd`O6t9A%fcyOWbQ(Mh4BCShY844!f;7-1XX!b1 zeW!zm#m_~jw?Tu$KK;NHeGqq->W8G!9Yx_xjHeja0Mj9I=mo3C9shV7Svy#r0jKrCc`I#G)?gUE>hYjht_J(4W`vp*juPlqv_> zOWvuRW!%0n=h;sA=dRXcNES}|amc=jn3(vSItAtkmD5obyJ10oy*Dh(>2KQe+|$V2EmD+zg}mkCn0D_QeIFVH9RbJ-Mbm`_U%m;# zh}t4Ys}wka6fO<8%ncn2r^M!cUQ6?!KVA?0aU)Ty&p7IT0l%vmk@^_&;Q`udA502F zl+W6K-(axucdz)C;~yC_cOLlZjdvyIZO%O~;IXPA;A$pFF~d*3rP#Mn!oXXfFPwSV z0fDu_O`n-9@ThLHqX$ZfvZ7qrUI;g+Y^X|*A3i~-^r?>1TzZDFZZm)el~*j&0F#xv zb(Mw{d{zGzG>JBbr zrMJPXtkBzdliWu9lE20wF=Y_lusQRe1cTIGTf}y=syfu-=%b2r}>t=tN zmdFLFO?(>>Ul1o7JigIzn3Mb8^0hA=K*~LWvq4p!Vm6#>?sQy8<`mfC;by>=jt%5((Z&9mYGbCobW%#?KR7<$R%Vo%2%!BtzAO!?b;B-hp{? z{+Fihjbhz6<{E@$E>3GPUjcyx-9NY$lpwy$Vgk0J!R)W^_H2%G=rU-a8xuD5p9j#L z3!06Jhac|_?GJQ0Jb+DLrE05P`qCJy%GE8<17ffSOQs78eU$pr69wav3ovt~;tXwS z{t-H54|xD0`)N!l=FW~V(>13GvU{$&6y%>oiI0y_%ni-NAJ4jFPb?rw1u0z zQZIi2513%x65S<{C-n^SO|h9-tCWcc0)(|roz4nW3wHSc^{9?C7~}@y4XUTY=a)gO zL#J@V2fQ;b*|Yp!)ON8uYg>>MIM;)C5og{E0%WpN9lj+sd~F4tCRX3Mn=&y?d|<}( zC4=<@T~L=vGg@~2HgGw6xBWt-dRA*Qc!j^@QZ5q~t@`Y`o|3qy&5PqVwHgwW>fp5D z2(@vI6~g4|ldjFtJbw0j0S_ZvZm86A$kW)m6q6(6*3{pz6-~rRNY27b3gUp#?)l62 zp=@_Su2apg`F>{+GUl7M47tY)qPPSTd6g!G6eHFnhhOtFr#dOzIZ~UD;K<~mc4_sN z?kYTYGTnjk=|Bvbn1FfPu#E$&Gp))=%IVpON$QzJY}WNV{Sg>w_8vKXYO_}}A$pQU z0c1`mg#~dNR#Z;aqPA*v*okR0$$#1raU7uOV>|sMB~O1VUf4aY=s@fTIf*gjWXPK8 zT_f&{rncR^3jdWEZiw{teR~iPPhAkNS2>^rx+p=87R0*1q8~vh@aC9JyV1I>?Q1T{ z**N*5KL2H4p+9GCBCZ_~CZK6V2HVAEtFDX45t)BYRC{9W8JFd__m&*o2=!wfTDU;`R>2alhu;H!*()Fw*O;ynFWZdFypi!^-e*6GN~gLgin zd}jLs_`IvY2$zzzT=eP`Zf|H|nHc_|<9naaUY*Z>=?426;$$VgK`uMw#YeZ+r(>AO z+QK9xtF8vWi3Vm8KcNhf;avLQcqdrOlUJx8hC5A6gj`&j@br{&7}T$$I_0;0TuWa2^cip<&q$1{7!AQn%;%1y!o;GHBPt z(m0fQUUQO6_4w~j2l`8YU`r{Z<)o}jO;Qg`80G>d;RB6?Y!E+Gb^q3<2PQn#Pz=V4 zJQeJ4oy4H@MRU+wSx>E>DPm!YahaCrx}DxZjK7`t;q~>T;f0vk=gn!G--({tI_z%n z1tDVK`SV1BzN#xztT;k&Blc$Ht}c4&cG{U{PO^$n+Cc~17DKt_05+@XLgZ#h+OkZ? zN~g$1=;3S8kv`jN8T3kRG-6Gg7%O85g;Rdix*LHPO~IwSBZAVW`6qC_qn7ZRCR|Yy zsFB)5>X@=F0POY7B(2~HCXjij=}j6nxYEIk5h4xEUz5h2GL?BkXsonYzO6=~oR4x{ zf-aJ2EC=wqUhIzKTePOomVvi>`h6>Rf+RObIu^am><2kkZiVhJe}_>5p|YG4o)etR z1l2@bKsZ=qr&9=3&_)I(y#+M*|2F>-iFYNH^^Ei9)GUkQgv+J+%If!xXNa27<)I?E zkUPKGeE902kwWr&$k%oh;NvKQ6X@LKzzFH}h+={i?WeZJJ*(@|?Q5!o&1t2&DJgE& z8K`6bH6CAytk*@m=rafpr!1qSssFn~=adAoZd(dDlqH~Rl|K}#UyQ}>mIQGVyEeQQ zC&uv$-HeV=WoI6@H#3xW$PY^Tq6)62u&Ar3aM9%78|y9LsmZHF+8O)Pw4CIjY7O<8 z!e)z19p2Q+w+x#2{?b@KOiDLu;597YMqs**v`cPIntli=Bq9| zxwZ`_txOhxJDeyrsS}k`W8i>_Jdgs|xQPz`K9Dmm6Rq1*Yq_xK<)}s8J^bQJp4g@% zK8=_EEIL7tn#K#}*?UfIws6{pSHS(mJw2{SK^^zzs}kE+wJA7X-%AgA{_#Ftz@?x* zFCu>!>avcuc<`T7A!~6BomREqgZgs-UWaJ5R+R^xR(Ia&bg!OcpkI|@;?2VdCS~h! zZKOK;C5J^1PR&uPfty%CDmnkzR!KZ7dXNFN}EQ@3r*s-7&;$mN>7HHcy6 zhul6s1eU`vDOo%5uy3IBgid^wov|hh+E;L!MnC zK=~KC6UMPor)0kq2WT)_Zy~~{-QzEU#hU;^OetFZOStD0l*Nc2*N$!UKz5qs;_iMD z!gD^~p4c&f9HZRfQ6&I-=XO?}ps$@)uM%4rWI*+GA8^2EJ@Vb=lEdX!-sU z(#p=kL}`eM<66K1ce90{`lHDEWc&Wd)p%_Iq=J019Hw_$V9!B>n7Ic@@Z_mT_aDbv z@^|Xct4)ZdSN~8@@IfcycE5COP@|_-6}--C8}1lOVVY!&wAohl-<#Ot@@8{6&m;E5 zkS}d;kcLjQK$M@(Z+&BuXExl!qE;)~cj`an#LI-F*%_tDvMsqs%lBw=C_{}5dT#NUz~QD=l}ah$c72&n zCM5v=Tylq+Q?BDIV&eAO_clcEytgXT~2rC#UP=Sv}N>>-SX0W(HskT_FcPM zp-aJ-c^-|Bz@VRfeZc;4Pm5ex2vtaBw&@Wi2nXz>hk0*wCl(Z!WxRqELtSthL(35s zCwn@Zm4_It5GQ$`M?_^vPZohb3`oOHyIWYwFWo|D!Ai4TR*mSd!W0pmib!`O3#ixu zUfS^3rEQ}+P>~Lolyn?K%dmcRATn;-HEB*4;=smCiLtd$7Sk!dt^pX8PlgE0xWNh< zOGM?x7gIcR$YyTLe%^x@$RtM%mi{b&jy&*J73P*(!wRW))-GS%Mlh4OGTNsq#g66y z3({`9vt@2WQ0e&vx3j^l8M6rku-8$Or#*Rfc?c7H)OQBFJ~Qx56bnV%ww#)bCv#|r zVcSHx*B8cH<<{rD(?#^tvkt~=vC>ClO!QDTWps)w%u$cO$F-{QxyF>9(^QCJR`0yr zf`6Y};D7Mx>E{19AU#|z;kMi!{abo^kB)F7m3=IRrgUDHj|DuIklrzon)Jw8?!qM)3S%oSlg?7giN2(s{TO$Hx$H+k@VfNY7iOT5 zx|wdZ3TwfePd34wu3lIX?wfS?L2gCp_#QRhV3t3IDSONeIzY;Xd0kA!Kwrw2ly$W^p`e7&%!;26_`$ zSTf&I-M_}l(X(s~3Yl>r*GNcxxH+=W+u<8k($F5Km@pgHJWhrp{>Ut{P26_F-(m-R zQM3A*z&$~PaV1R7_+ns+)nYKZH+Z-s;;tu14Yo+yH8i2sJUJCf*w~ z{Zln;BO-gcCq|e(87Y`zyH%6y>c)FZR(0u8E;P3_#Qxg%@;h-C-d|7ZuU+cXnCz~u z|9p)@eGn)WC7OUNMJ)fTf*7WYWpLAzBo>+kUb^-}r`GXXtv&6Hfg{lz?zoNvM}UQ?X%{b)vp&Q0Y*B zb^TnEGxanT-Q(K}uEGy*M8B4KLtPtrGJ{`qO7O0sE(P!r&;he>7^UJz4}}B7)k{R| z2j0#4Br4D)&d5&#z?Nq;oCpqtAiWL}Lw-!JW~FB3QKPffk~QpE?_p;+CMcwU&0Yxy zZfyIILaRPNZ}6XALRJW`ESo&W#oR1c2rr*k!;~}CU@3E4XXZgp=H?Sbm-O<%0nDh3 z!9MEA&BuWrYZml4X>i+=AidvCQZ9~3{I~OliI7;|4C@4(a-fh9@M8uh#ofh&ON#e2~8fsw4@15ftXbZ{oI^r%;q>g}fGhV7k%07(&1 zWo_U62jz>935LR4W)Cc{yF5)VA@UEZvA{^W8-`Qm>KuLEZ#d!~GryH5-o;km&u5GI zig*E(D9&`}2ClDO?5_KiPB&a~}|Dy8w4S3;kTB&X~FY#@%9h>p}UXuJBrkMU8{#wJ8P*GluiAW#&CIM?maccSBZ~$H`gN3c`W<^IJRDc zI1BY}k+^2+R*tkEHwmARnB<9pPp?6b%+c(V7>{!_@lsVj2JaKRlCt8(D5-tCrFVYq z;vo*ziG#CrKjlv-V58^8<*8(MQ0TYuzhk99ThaiRxKJKbxF-eMkt+~8@}j$f@#M_&NJ5w&yt0M3!(VBHWyy$vY$vV#ADJ$RR7y(`vTHrvkbl3?$K|*4B|$;R!T{3WsA#FtcP-;nB3lyCu$^z>vxc z-9OqTL@T9DRhL4!19pX5TRGkh$XhV2G)_w7bLvIKP9uOjHyh@$#PEo{Cyj#E22!6_ z@l|W$vBFL!vhpZqeO4(m9ftB*LT0KPd=ExcXTBm0|MD!Xk&s#=5ZpKU_gyb~VE~ zcvb-2dpPBHGG>s))`IZgDyrII_TF%hZ7=!4W1wBX`kEk{BM-dqHeM~JruYjR$ox2$ zutf|ycF>M}@f*QO0o5KoO}Q?K z0gpCLcjlZw>f&~Y9^>H0Sf7H9d?>%Ojn=GOwNtV1XUw=47O!}K%Mq`%P%tq$Soxz= zR92rN89;r4Nj*ab#g!l_RX6`;TUL<4k+D;G_BxGb5@*=@oO*AltvWs0Hyq>}F)CPT zSd8XgkAp^9GN3XEU9Dv%GOB-<(vtc0lDx;G$5$=XC$i(iDJRT^Yxi2A+h#YEWnSY* zsmGMzF*he9D3codnQ62T_6iji_{_RROV4Z!M;8`ldlz8v&SDK8VbUz?Paj+BH)?1F zqm?I~@P#4-+Y?zte3|r(5YS^&l`Urcd4Kqm7;(UKylVEY+MK+b@J`bxT7a zQ+AmU{v5cX#n=8sUSa97o<-=uXMoMYFlWcxz-c08`)oPQ&;88Xo0f?WboyGSLg(~K zTvCS7t_f9ByOD$v#~`RB>(l(uH&Q3h;%&J4p*~`bN$}j0$>=0DpdxA0GsSY<43$)W|%l0t{5vK0Ux+!Xk+!UzFx@$=XQN1_Im@4o~b;#1sXPoUUn{}D~V2#6H}R!F2?uFOjYsiiTM*tv;y zZFh~5?PYTfquBg;fmZm}p8Q1WtL>b4iW(;1SNEp#J+jUnVR#%@`my9pK>%6|d{0z5 z8($O}VrL+3IQTjL+0u?0JoVa?MNe0a`zt;|NhdCy8xXRH6<|)Us0xAKcK6|FFYj>KEE(KD{ zBv7sHOTcdX+MBG_2Zspt^?Z>{4qeNr8wW{-+cbs(bhr@~#gvuNI74_7_omZ~nRi=|P&2xSyR8JJ!7pD1DBnHA^hd6Dl|F*yk*rzV?v{=aP5b={L z4_}X|$Wbb)Z6#0tZ3~tuqDt(6)E*m0`cEx3mNGs_0)Z9tFx6AV(Jl&z5($yqwFO{y z{1oo(XQi4#sf=)o!Ij`R3SxXOnfg|ZsFoJdj=I5`FmfVTUB?sMaUm#g`t}hsay5DA zB(C`uajsC4-MoJ1Goc-l1$l}Y50}282{(+xvvYlXE|m`;+zl!?GL0Sdxvqn193N^z*~$%hVqeybTkgSXnF!=FlSXaSd6}9>s#h?& zI%V;6+c{3fIrmnc2_TWlw?SR&sMDWw1D@;l_)1DW{KvexBn_8sny8*UxG=E(m(2u| zy#>rASq-gv7TI_^KF2g|DsG(GkGdii7Mr=rkHRC65RSKJ)A#x_TI!=jGjC4L+gdC) ztQ?e)LoZOE5WMyQ-Z&J?Ou8<$J-*eoKj0I0z>AtHZ6&qG6T)Q?-g%cr1`irBD3Lpf zU0L9Vu6$N;C?HEya0fP-F#j`_XCA8BJftdgm^>qScA+xn$kFz7Q?wlHHTQ#M0iTc}I z)m6h1{nN)Od6{1=os(^+*}CjT6=$i_ZE7U{KJP+uj|VYQJ30fmei5#GzAG@GOoTPY z?@%Lru|w*;eG_yaNH;s=ULVAP{}p7~+$6mvVIQz!hGcAlE!mL87kT?5iF{Xj&=fTCMLQ)U?A-l z3IR_|35AOCtxdHG9f^rgluGT`XpYq$2FfEy=r)qdxpoD=T5;EB&E=Zy+*NALT;+y` z(@8Hr)?tWT9!rtUk(0AO{OpZ$@kta&cA%CoK-coEp}-?s@rLzJgzs$e?ggr*4RliC z;k5YpBs>mVlRo_CQi#|xu68S&Amb&x&hcEPDu3B1_>%;P3*F7}1EYdI(v3!}kg;Wt zH@$~-Ef54^T~KkWyQNo(^8t&x4^DbS!@G5IEd@fD7WN_)R;BOFQBz;7jkFUXw@_N{ zfF~wty6l72y3iyvm&?<472ui;SARS*Tu{&KJM+p!ilgN-(Jc(OQF=Isj^W5L$X6 z@kl*|1(RV}g9uB${HCFxZQRC82IJ-)R^osZH5Y8NTmBdC5lqQk)XtOoiLR_2(Y<*y zeOLaT+qgZA)-^w!5oj-`lyfNye0l}hS}L+Jz-uj;g0vxt-A!5R8;z~tP%4Jx`%Rn` zsDR;ls!oi|L@4eMyfZdUgu87A?iUqiJONB^o7yy+lXY$^RB-p;j=9M&+=Uah$h?lc zOZn@|HX6>Lwx!{?bpSeSIZ)-X`Du(@RbZc^)c0gHxd`O{dWgmJRZxT$Y9 z?2mo&)+ve63fBZHL3vpEDqWpqIn-ma1SaHqK#8ac3<`}(^XiOUlRV%=&lzU=L5U-36kV<}TNf_;vm zXF?$nD;)S8?fnG8XM-gWo_ij#uYmrIWgOU*U4sDfPbU0wfc!Yz-8&&EO{=?#w5V7y zAR&nBA)}TCub>GGmC{A@TevTqx);`wFk_g*u%@*+Uy&7Dh`=pjW@1jWC3%3MSRnnX ziW9T|@+5bG65rCTCk?AgL*%ZfZS4@}^+l%$*=ZU0y0_iXjtW!{(^1Yj zf2W4R-@FW91ikw{J-0D{+H_&ZzJtrs5v2GHHfHl>HAY`k%hbn*4J<5|N^izuSLKo$ zy0DusL}bE3iDNU^bmFJS32w?)PY9*YK0>dgnWw*$(q^~}-j$+U_yp$C_U&9IrNWmc zZQnMFrhufj$~!q2A08{$p7m82O7@laL=v$Qt|Pj#am=#x%pkQ9R?f1wZjM`Onn=>p zn;yoS<0x_MfMK$8oIK3%Z2u~pOf-9%!AO7G*5L3p+fbNK$TAavn_IMtJ?{l`C2CWb z6h(VFAM>sv`qOPk*NUxY~fmq>380{Q)0s7^Q6!Q@TwTk zs3`%m*0)vln%iG7kS>Rr<#dvYgUsr1ZnAf%<3mSoBIeM6d}2xSBdsU3VbvtXuR=`p zzf;2^Zd!~d!*Y#ODfY7Vif-QTc(hSiFHMCY1k^7=WpojmEZ8y9nkl>3)ZZNa-jg8d?<0WYk))eWzzWY%jgDo>rB*U{O_DQzQw z=bbe&oa#G@k6kh1_rY^t!-DOQ&)!RoNCmi>PCjbeH4_*2U>bHSMoOd96{ItI*3*e; z<;Ev*_C&A+PL#FCcZm#aFe-QK&e{;xC%+f6LuKdPX@^$wk5@CSu6bJ;hkF@^b8Vlt zy%IL9mLQ=sE-z5Ik-OS(m5EA z42Pb*MQp^PeHQRhi?5gJZ(fDiSxP5Y2l8i9cP#QAdX6W!j-%ADPbD!E>|#;Vc0&ic zZO3DC@ezxWB*Sb$<@atzBGbIi9uQIut?Fg!T)X($bAmHk@}m>H9rs$P3}w$JBJJ^l zbe~XwPR|zt4yuz=0L&lu%NPy%O>y?=66v~B&>`Cje`6++X#j&H`Ftyo%&dm{8a z5(W)t`S~{44R8r`e7evn6w;1h?hiNiL9OD<2>Z!9(z0FvlWWHT4(wFP$)B&$7OSVl zK|@91(f>U;#|%aM^Z45lDP$y~u|$6c0W7))L|lyB0}B|~M9ZC>98Mq_-ZL1*(wEz^c%uTZ#9xPEvM!ppqy zCz#qx8bdg4zEF2TH7sr@Sgj-{1mtqqhv+YF_dqJj=B05GoH(-UO8;HBP_?Z??`_z?WqJ;uk`Wn9*#M1 zteFi}h?I0>N8u^+jlO_$M4REzPi-%ns27&zNa-GxCG4|7y_&TM&VoIt^7dmnM8lMo zeTuS-z!;e?aCD8>>?Pna5Gtw0=`(77tbPAB&Xf7NE?y#HFs92v8h`n~%VBCpU^#zU z0yK2FzWsg*&z0z50@QgDiUM)@w?s^lNKrci<~4egEIv0$vU@d*OR2WdD@}oxPiXH$ zo8gnszWzuZtU907Ktf5c2e|?6ToOOSMhj2Fo+q2Gp{I(|6#0NI_mKr$rZB17${j~N zPj|u!t{G0zGVuOo4wnc#c!AW`@krO`PW^c$88AaI)MPP08aGLyi0qmelpNRqe8Mq8YSUk4IH}&yK2Bjjwl#+d(YoURWYe&8!DEnT;`(EQ0wAY)L;vuI1PW0qYq?fhyIE9Y1+<`bHP=niT5w!Woq8$UQSod~Oi_yJBK= zDQRwsv55VB_ak#|g8hFj5@!1U-6COR`~O%Z?5zK1i=@@ap7a`t24~CF)q1Pd#!M{f zdOdr+HAmW7Hao(GE5m*;;-Tj(+iSK)>t*Gstl_^=dHMSwpCG{%xXs*?<8Li(Jzf0` z0Bhl(!zwGQ3P8;S4uqN#3_U+Rvx-P!aSC<}ehxqbh{aD1fX(Hflac}(07Yt~MfFYl$VI%>`DpD73{tA9yN2zEb?xec_S{zsavBLTG-z?aFab z%#YCc3%)PFrXTZvHvp>n73kX9qR!#~0BlBzg_FItG|_}_yZ?AGkuN2GbFh3Loxo58(&q~T!l8Tu)KPWJ61J){S$w=Ylpk% z`}$BT`cwW}g1Vp6rNI?=-Tf;&;2Zkx!i@?nt<6nl9r~Ny-?N~M4=F048OO>$c#SJG zrA_^V{^qK&H2uoM{-jI!+ePue`TLYKwWV#<1prn(^}~g{>f80BDf){-LU((9G%++g z0;PATcK}{*?^p-)w$}drPa}bLLq{hVzu9a2W18~&@ykO-I0tR!SJ!iBMu2FUGKc;{ zBv4^g1D&B~GpZb^9|Y^=-0`yUx8<@nvT$@3u`iR5KaUXR{@T$tzjIW(txehf2N>?m z$bl+_X3;EouPv%zf-B$lQ>psAh+**!E{VN2Ac%R%dAUksWyGVN;v30C{?{$L+aU;{ z6H2q%+-L=WWkc>@^8iR9WF{PxQ1cf7!mVE}lGOxB{cA+~*xd(*sDRNJ<}4FpXQ=dj z)U~7#?0YZ}q=7#BLFPpf1iVghz9W6So=d)oStr0I_O7n2R2B<+5R*nb7~NLQ?}m#( zwVxbQ$*5O_X)xcy1*TD8l9Ji%i)NiGl0FMrhBIdm;u&f?m>0*jyf+bhWm)&y-*jz7 z4M&eaZkWfhC|jm&7Gr8x;OocI9e$jAjI2!~HLgQ;=eXl0wOebuCuIELic)U1{oC*{ z;;`lUuLkenIu1A3)IKj8+RsAvnH=|2(H1om0ETDeoz3PUOnPq_R&f%4hD3QTV8Z@! z7BZUK!s?>;2aM-~ev#&`92>#becixqnu9Pn?7#Vqyfgl7Cfwvc;%U3Bz_vB$mA35y z6l8(o3VKz=3yKD}c)}bN(58nt)RfXdI2kv5LVqpvuPG4DmGyvXsxJGM{CO@;KXYbbaeJ7Zfp{MP~me>@A;aAZ`6#g96M!X(YzZv^A(A5ZdOWRULt ztTb%A#q_~`uF1qtYs*6+XdNYp0rGvr4vpsPa}tp--Uy4w18V~M<5qAFvD~!5aXw80 z2EK0I_@>3G`k}YmwYucA95pr3Q#$qPOb^nDBo5x#$$=f61yH`;nkpoRupZf&ADH7% zk^!hZx%!k3S?fMKDy+RQDCm_qdWheY%`dZfTLIKFv8tOXgiEvBV%L-5o~#u0_$oou zUe3hss2fEj8EWFc%fi0~{s4^w#h&~8`TL)ahNClVr7(8*23m7BuSds*^XrwnFPAM5 zx%219c~kG;1jD%pxy93^t$$Z@Szy6%YO5AH$%TOmEBumCWvJ%G$Z^>7yUt*?4nsGQ zy`H;k;pc$?2J}1~@U%)T?)`})7@ff z=OczM?i5)h1_bby_?vK)47bB(WPw!@0Ef@oriG{k6H(XgF-w%_DJ(@2;-OD+q;9E; zAd%-;HTq4g&fJW-rOit#LePr7=hwW0B-vxJzNg4xZO-mrheq<1Lu+VLy>He7H>-H8!vdvhCFr zVVJ$I;#4OY->XTC8C!eVf>X$G%9VPGV1L=C3h{Py^C>e6^U<#Tio`&vJD zIj+ezXGI*sRAsw!@a~<#EXPz0F>7FBAKkn4JIB?1Qq;}J4?Uy*7NE|h?txx-s5Z%P zPwc{6p-^<0s|YcMiRgPT@`7>tX%Q$h6OB$cspWIIbx+zn)OI#KpgpTZ(E{974JR=P zSx1}smT52=2e~3WzFUKH#D674SdD3&AGz)%07zU-T262_qG1FmMp4MinicwWqbKwR z9-Te?Y(ggYQzaFrX|SlXQ?dnBSani}s>qI9#1RpHR@1$+^FSoLXYW&ru^wlo6@a$l zC8Kf}-VWKmC|WGj57;cx5C^Livy4T!F878C;W?$6v=|`h&fzM$P&dSl@^5rHM>&i4 z!;F2!LM_r@6E<@lEEEXEh3{g(Xt90Z+jC8}m!u(K%|#-0&u;TueA`P0y68s7Ko5im2fBi#bj& zTFA&GhEb;!|DlM!DaAO|TWQ+3YyV4um*pSCAXYZ|HiKx)ADNOMvmjPi+o&XG*4Sn( z^{&D93OR$BjVWyEvQ8ODq`$qGjVlJs66oZ6RUG(&E%6{}_&>HiM%9gGmtIEEvQszTd z{?IZt-UeU7hy}WHc`{4@i5{I5ZYgw6OB+FUVpthKJ0{E5W>lyqUx&b&c+ZT9$7}gj z-g-njq4%s`jAeU++GoU*^+6Gz4mq8|n<1(_$+B@+Ce35WIU-*A)jVyFMzCmB;}+&6 zM!p7Rh#V|l_@V~5^wn_n?jIA-AOvmM=3ehAaUM@_X3h~#;G5`azkm1p6ypWQNTLn6 zT2O>KHuBwE#{I_SA55tDH-!Kc!kRe-w#J%P&)<0JPS@GE0;xTU(sV;VfT2~-rG94G zlJWG?_1=`y`QFTRk0POJkw>1|5^okPW;eKHv|^AXk*f=ZgdgUAm% zV^2LJQ2%~LmDg#?ZljP=_LHkdB{4(}kpkg)F5Znz)`1E27~Y4zXJ6GOrI!%ZibVrg zZzUd*KilR*|DM2B2}~-$J6_e0`>7V(Q=#V>3VThyoqBVlWxU-Wm&hteE#aIVls1N` zP6bGkm7p~mjX8`4(w}z@5S*S52{PEUe}9~g_sf2fvAQ4 zq+C4}>#4h~t(ml2Z7L=(JJgFT!`q@_df(>3rmT1H5*e5Tznzh90u`5t+``iFdfH1f z2&fk@I3v(_V0OnLSn9B~Nl6F^$@aFBM%p1`#?0~VS7N3!^-150DaP_1;QV<;y5fre@OdsH`dSL|PGb*bYVXBDll_ z9>2+rd<)6&0py~9Z}0%vS%w^)AsSLF(5ZaW1Mu&z)Cr#E3qPiC*Qb{2U`_tqL?0d- zTr{Xeoa;pbWv6)aOQ>+y@xVavg1GN6QeBS83F<>`hTC}n&aP>xNFR(8>;mdq#sCqx zif@5a!i-Lf-7w8rjF_`#4+K6?yl?(g=+3AIXQi-qdgjFMxb-yZEwx!re!v0Ka%Z)p zl)20e201jiIyV?k%)X=0B+xqi~jtoh{5EJXDnY8Gp$83yWw zi-H3!oJ;_s-sZ#nKzqD12VAF9pArIl4QxYbD>9ugMoN=R?~<*wt;t9ML>}DgsV$oL zIlGcZeHRNQ>7YME~kU9i6qXbMzhCGV?Z zR*S`P7#hnmyp$0!_rsLuiWq|T@{lK!RDXt06zG5YX5^yOzuGH{;DMp_LWCrvtm3J5 zadvP!^8Jnl5^U@C)X+A z>8gcd=O>GYzQPs(J(U+I=>%f3R*$$eRNLc;=Gox8J~Ln5(CP~{zw)d}NWIqH23O1i z?ar375iqn6Y>$NA#4riKbEkDBpENfz<|##zATU2SwheLVKKQX#6EDFVGr0!two@^- zRQ9x|o6gR#rVYhqniFVMG>78$x#&P2w*;dO7;&^HGj_NvmMye9z}P_Ji{v4(}TR{Jm2Y^bODJMta+Evfw2Lk;F-{Y{%g z5FCg*)f1}HVnaRMh|q4YKeS2^4`In1w>Sv`~iBxZ-eafP|Hfp2xN zpLg@p=VK!O?4F)ip_IB+3WQ<8!Ltmy1Z)9q>D&%o3RVz3ql`hE95=u|vb0SMB{Mn& zzH%Thm=z24GWW(GBw=bANXF*3y0S;&;)4&lYh zmgG)4s%(M9tw70Laar-7QsfXq;X)7PbjcqAPrEmNgcEVN1@F2t)$L1GrwRL(Y$qua z7~0)V&ky%}hfy<~5l9Q)%g;jpG{o}|noi@)A@@O_db4i%30#S9CtS%Q;s)0$U+rTr zPYMmLtJo50=ZF<`MV1DDk_7NcD)R%V4)m7CBZm+-0z?U6W20 zT2|$EF)mDkLJox9M`D#;ji)rzN#2f*7W8C!dXlFB`Ld6Pj^Ojc#_QiLEL>@I;Yf$V z?;=O!I-R(zzsS6^+#jJlzj)T(GI%TSu>s-Txt#H4bv1Jr8nWrKSC8aX*SU_dhoFM# zqp}3t=+|6LPtRkN1bcLm_{VlY^5xU`A8zHBSMnh@QzLkOVU(1q4htu^sb)eh?gF6Y zqJVMiV2Te=IbP)4$FA_#p6UKw_xwud*yh$UW|`m+%(EnHy6^-vP|d=q?zg4k=%>SG zHi#Ya*N`xfKUtjz$~(=R!VfF5FdJO1JsMSOf5zCsQ9hLwc<<;?pU+a)z&+-?H2h*y zEHUggki(UTct?2|ys(DD1HQV84bo^tk?yGO0_OMet z00s~_AhT+FJrpI#45ZJc&`1-S!pm)wtPLIC!X_e)LS@r23bo$c z$OWEo!1}4!z!-*6_Dlp;pt?%|UTQ2pwD(0aB5izI6&Luf_qTK)ba4zY-9-j?Odf*U z`b-_)f9n`IhDI0W=^lk{J~Js(fcn~E#s`?JJq1h~^^l{N=>8{cuO*xTa{;l;dX{O= z$)o{*9s(x0H<8TrdN4UECw;asd_K$1n~82i+s?@Ke{ED)l17i(++kL8 zY|rH1RdnaT3RvA)>n5xfoZWSGamJtmh2z{7>(mQg;$7H(eE}O!QQ>9th(6jstI{r69ewSvdZPZ;0Cbr7A8I>XuG=$+2VAhFE~eK1}%e9Npv?7}** z!FVazUV&`owFw?A)t!Fk??A6P^=^+j_AyvQ7+dMrHh~59X{ovjLb}%4A+6Ul&R@Nl zFf?g)8RZiy7IgV{Nm|qouc)65ul`dzX_Z--XD$qLW?vmGj@2{DMo%=xl;O-qR0c{r zxQ28&9Hxv6mpcqLkkgnVg-9-{8L{di*UYM`@OWNb7g9pRBn`@c#sexu9ekMZZ=g=f zKkb>W`8qIxt1$9A2+PCkaM`I3JYf*hj+;^))$8+P=0~bXF1IU{nP}0tjR$n=m%}a{ zBl8Y{cS`(@zm-QNA8#^YhoLfLrqXJS^ji&9OswT(qj_~8&PbX4jB6`wC^k3m(VqiSktqjNLk zOm6i2W)kA{S^oi;ziB5v%C%H|Lg7wcj*QAn9(rhFRhn^iYyO?%lkw8L>@YK?aK?P; zd^v`t_3U2(tk!L)rG(RyzvGUG$YYIA$a_)oLprR6BVlRLlubI~Ld&VB)TAUI8(slU z;Exm<2sVp(>l5+FY)A8bsXji2O$+-|&rT*_Jsm|1V#Yx0jD~dSlypT(X%1tTu(gw! z7=*U3F}!9Uyss-5e#8>{fSuArec>RUD|Uqsac3cE{vB!@;Z>OE|6N<=AJpH zzL(y_ywFvvxeI06tw@j5MT%RZT;>`st1+(mNRD*+JkDp%Mq*CL0Uk$nW9fa`BUdV{ zEI+y+MX46Qlyw1%MpS}HRboxThT{FEL>VfE6Sd%rr9(d62ZIQI)mlJhT(@n_I;gIZ z8JU6HV)@fJ3K1W}m#6tVYOOy4aIcSH$WyxbaS#$Pe!Ftm7PYo6q^&Y$;E$3N;LA<_ z#UtwQVNc&^5GOvexu3K$J)v~3?wIVSmL)Wpo-mJk+0+a4`JD?B1Is2cRAg@cTl&&U zpd01|YW@i@(+OaoXE)4C)B0G!+w~+VA1JCkeuf!$CR7f+X;p@LD829wqD1Ol{f64W)wAqiO${4k>m zt!DCkh5Bn2GhqJ!i_xaJA9;y?O!XGmFEql9JRG9-_-^t2sShO@d*8OCr728K5J1fu ze9Q?Z<}I+jLxc5Z6)vr&AN+P!Y+Yj9TJ;wdU*H@5!wk{lE_fg@CeRijT)^#eHJEp5 zTZoJrDdRUEDWX)@IhauO8`laD!czHh12!`!N7jW$3ii_Tp6iV`;B`k9@Cml%N*%in zKG^Zm%7|X(^-wz4QLdm?W@h=GC#qW`x0~(ErOmo*;HF<@IR7$+S82GX6@OZk6G=lc zVpGkb58CZ(18h~x+u5T~8%78zD0z6Ip4JWW5d9-k7t^-s)I6!-N4x%*zKp>^b5<*X zgMNVV#z@Rvg~NBWSQ1<(KV9}oFq7i(S&VZ^2Q@8TNk5SLDR*ZeX;qb)i5;6lJ&DmF zSFST(kjJPzrpQhtL4&%GZ2{9ac8`U!;wqDPLG9D+I@Ao$)Tm&cfGUtmT}qdI(!SUd z&^*7fokGXsBy)Or6vvBBB*9B)X@FdDW4mH!MkiRvVY8-K?w%|gff5TX#4@Z-%Jp8$ zncpXLjA(+my<$X(0nBUjKv)Uz(@APq1}%F)X>OQYxi?Vg5;W8lCSs4K zzL_0S3|YkjU40(*&PH&_{i93()(xb^sbKR-_v)nuYRO7MQ}%2U^=3HcZ75KSZW68A ztvdWNjnNogwNcq$Wewz@qrj)6{{A1l7%1>_TMuwC+uXOlX=Z-7=}yRQgz*_V<0@VH ziLy(hIK3qpw5pbJpL87S*r)*3z}#Jw9C2C>QStC)az)!QB_Fs^MexC1gMDgAz49hS z=VFgT`X)%H>Jvgqf#hvg=tJ~twIm2gk!!EnjHy-CxpDi_YtW*}2o94B!g3ZST3Ra( zdQJDj^m+&)YPvnY?cGcXW?061)pU4}k)C{{sAb+xG=Pvl;F>7X=KgElP*qHW$OzIm zuSP4JvBP*BAb-Lx=A$CMr}QfvycCR|#puiE5ULX}_T>uRamdeX!o;5c@s=Ya3SYE~ zCPMhdb$i21jrQQ1$tn3+cf$fKe1^id1h_cpuAj~ z49AXM3Nwc3*j>zP(~+BUziUs|XN5_EsM!%LNtFm>=Tth-*-q~-#d;X7#SR_PV@Mw< zyy$*dsNk3CnUz;`m7=yIqKAZXIxm%A0mqI9w9opFNGN?z!q3+H@U*}|`!NTrlh8K@ z`)+8hjB{NdmN8uEuC69XiAgzS<)y3M%jEfbt}1^<7-t{a%b$*>lpNq2965gK#Mrv}gRh$YT^5UO1H&KpZ?D6gS5UIhq zc;DJEv3D?6l#q{1@U>mc<3AdbLs++>yP*C|opPNMj1bI(hm#%Tmdw^x#5+oE`dvty z&S%?qH4l+^O-=7PONZHoQ=hAmKjRtJoA0(MWRUZPp-O$noy#hCEonGMC1MP#<_=p( zeC|#fM4G|KNi=r@*&?&0UR1TtgliC1;wHT!HCUus6Pl59q9YR8L>nKR1ZCHoBW?;a z_zQG3{=dfXZo4scd(JR_KIf-1Pw1`A`OlOTRP>JEI~P{<^lUQbjCNV6Lt*AyTxn** z2jv8zl_zY-53==(9h4-+uirbRL=8~OP0dlQ{Ezn6ckNOhGrw@iNy^haH;hO#7IbNu zlXXEOqpN}v1hcZmcJCEqdf1d5O$Ewh^++kNAsPiJi7PiQ%R(9?F{8)L+~B#{o49y z@TY^skv?ce1TJ?$NMsXDvMq?0tcG@2r+|O6g(ePGX~%YOfGZnPI#6Y(Oe*&|^DYLB z?;a1MhiEMSBttTtrP_1YLR;~;@}_M)1;gb(XS}rT2ugICyu5;1Xq(`yRL&HuTW+L+YC|KzH)ZP zC16iQdPq&)0fJQao6@m~iT!TQJPLFqm=aEvXEn0L$1yiT7)1hV;p((-FoRWI)J5Ig zFhU5s_5}#RS?J%9k#p}@95X#MKdri3<;j1+uAZP*D~JDalb`gS6<06~n&q^5ce$lv z_=XfRxK|LlF}g9pjy2;n4Y$XZ0Hv}2ga_Op^-Qbl4iZdFlLmJO8Ipr9g0d@|I!LBP zh#|M|6zLX%w5YRY>hq1>$_$m1s-geqi@q(KR@^U6S?OTtAGDbVrKny&%09Bap()hsUT2+>$iw+ZTKXimJ}nZ z2FX%*@C`pl8!6D$YAuBCTCeEXd|WVMVKl*PjJ$ssWzVkPg%g|Be64Os$KV|-u*|Ad z3pV|$B*n$UyLy*T`q%HyG*WGk0mydhC~M_eH1Q}nL-*St*mj>(`K$w(I$&(A zqU@xwG#Do(q}mu}+6wIX>C$par10y-@>VH_@Z6l>x8qY9^e$}~CxC?#7zsOUY-~`b zqGhL(0EIWHcGq>(FELhO!^e<2k|>EQ80SH;aKdVv9a+YAgEjJ@19th#MyLTt*CeVr zcaZ*$r(k#ZG+1)q%U7^={quQqTp6khgkjS8d6{~Ys+o}q!Y}$Wk4_T}(I?bJ){lg% z;XOqst5dCWlC=?=<%2OwN#gJ#EpkJ=S+^v*<`wSKzCFB;l(X!E0*eF??Xa!Q6A^ov&qrHF{Q3j$B zCB~^M390fg>1xAO!29I9!I`sJ5XR3An1w6y<;th z(E5N>1`_b3S*K%QovbGpDVNsSUntk3jp}h_@}+(hU?9#sBB-zrMId%Mv44e-zqB;m z8^?F{_$75XO=gX5sAbakBv{Eqd6QgPcblykxF3{GkeEt#Z1po_xHeP26Z$eBBO}g+ zF{C#LDqGWRP_@F-heI6@lGNJF8`p4>Rz7~+d;z|d4ElIo7!jC^31pYwYkflSRt=ao zDaK#O`FBcm1Db_>qz;HwSrkdORq6SLam1o=YgZ@>Qwi==ZyN0_HmiHJSZCSzM5xEG zvo+xt;m67}k`r8uAmCLvEghKR!heM3sPvrd7IS5SGwi@khxY7{RZmNdJCe7j+@KgF zIo|D96mNX{nj)Yh;6>*lDEitLieRjZ=v!y3F1ymt%BVMj+!7lys0pNHY+$$}X*F&L zsBllrE){icGMJuJ=0F$!Sn3XccO4GNbuD3x6-YyN@EDsXKxF@iv2*MZB>>OpUE8*8 z+qP}nwr$(CckkM^ZF~2w-EEpQZPE`-<{!+5ndE)WIcQXQT2KB}Ga|xJnT_M*<2|It z2q-IX$gt$$56Zs$1X@bj&GS7%eSPBn86ZL5$Rrh-(OIqMB|R`^QcXU*Sp}H76fZU= zBZ3BRb?$plKhH10E2gx7;*V~)B3YWX$^odLvRup;$l ze_$RMM>ig|RB=H?0<)xq&^RdO8Z;-jaJ~t5y`kjI%CL)8Zq5!YEj%T=c?k=krty1S z*%Z4L-^hZvTo{lu%oH*-!LL-W{iZ(zAnj?%?Lsd3c`MIsHTmGBG<*{A`aqdbn_hUY zl&eh7RZeiSQR*cFDBE(^{mNX_y*0hT3{h3FJ9FUYBG+l$1yI)ejz{eSG~kDv?J+{1 zlkbw}lFvMiw{zihSVPXx#4X~>aH&%=hb+C>kP0(~qHhElQ@;bw(MLB`#0RTdK_4CE zV+nc2K{~k&Y8)7~pT3!~zZ6G81R+S2Sir{hmw;$7y zj3j0;*)b@E9f#J5re21XGeeh7{yLTToFd2$;+x5CW8BR>Dc$VO zAPdFp;O%k-6Pn5!T!69wnTpUowmxNnntPQ1xbA z>tuKI4jMOKEXXrHcZi~&vtEMx}$5@FB~piI6q zX+k>)%MPOEc_-EYpp>EyX9-cr!}rkDi!HH89l(J*$dc>vz`;fFh@QKojV4ydy{Cyd zCkST(e*M}}x9aN0l#RpP`r$fONGQU50A;vAeuZ?i7&+m|Zbt=W*HP9NlPy)XfO^n4 z$VwV6^vye%XD-UscFJypmFBfBS8ehdDC&2{EL*>FK*Mk?=7xa<>=?wMb!FxiHyfO_ zcp}Y*j{?IW=o&AaJV!p&mD8czZz1=5$jTB+7dAZMaH3Q0_EP5#hY=i%?qniEF@tWx zJ#3hYl9&fL+ z>((|amT|cAnV!QvP$^A&K@JrvT%&NJBXT@JNhm%Um65XFZ#!U7qY24rQFpeafz0fm>z=WYgVl(JD9FrT>8aMQjg>S1A8 z63$%(T>GE_Uh77ytoJkdDz*NuB5gfN!&$ii_T3rt_%S`f&|S82reIS3%2;Z1tB1Jj zEuWsVRpj@p31w`khie%SnrF+Yescx|=^9w|?BDiHw2;FqOFEIvcw2kX7~o3z*L~VJ zz0TtT2J50~29+P*s&eDh>0)SolGzb=ca0)7vo`g|_$d7=m^X)NH|xYiAGqmDQEdEd zS_H%ofh1V$CQ|757{GJk9$179j>VCi4{!f2ew@F%oC@-P!T05xn=vU7_)frC6HrN?rGJCV`_}YdZv9Q^Z<%oSp z=KM-q`#Wu0ZY~G^Wh+KwyCL`FB&703;Q7$N$4nPAvrvDO849 zH~_CJCDCz)_2OUsX+t0aGt@EfG~Mrdt6OGC6LVe&@)&kfB_3Qhq~puzx05J3y&jvc zR7flxY<>ZC;sqv9dtMxK8a9v4RjOXuz~Cg(%VHGllF1q5ZK;qN(A z%q2)WW_p1b0{EKb0xepa1aI2CKo`>&82J;VKN_sy-ZZ^BT~KpVIwn5T(vtagb+X@O zMjqrIkDb2r)W1~Mv4)a}$i{m_#wfTgmhOE5SDi3=R-iTK#bO_{d!50ayj@@}SH?I> z%PPqcAv*LfRl}ifU3;J|zH`fMy!a@cH(OkD41k}f%N9D?@5aSYLGRA4#r+7$j|&*# z{WWtC+EOM-`&}55t4wTE>$|6ym(RaDH@GHij;7g@{5(dDTg${B*xT#-n!*7)P76mJk$OxJO>alPYbL|wC z8N>>vR;QDsCV%E14SK?LYk4rGX2OIx#7lDPH2e@4R%g9emb~;qk;Rvu8Hk_T>7yi_ z#Y>@$-MxyMoxEuk&2}*xj=MMii~#$|P8)oybvxvaRgt zL{OJ@E{}35xlubcY-tfG3caO{tgaOKYJOghM01fz)4}Q6E1~SIHBQrP)E_+NqeES^fHezsALk?25uLQ+X-FCSuoFWEmR3Nd zQ3264y`xR8qV(&FUmP=?T~yq{I@-^aO}9)F9;{A5X?<&Se6Vu3zysI4XQ|oct>1jjb%UAUa`~j z0t%jpg-4$PBB2`D`*GuGJ)viOv|~;Ed)Rw2iF!}ib#9$O+?Awa1CXdL^FX%Te@yir z<~DSOtj6U0-_giL@_>!YSD@tJze?{`1VjAsZhfbG7NJPJ6+e%flkn~iZ+czohRk7z z^-V*dn3EU_*H^L`2@6;$r=Grcg50#y zxdsNZkiI3SoQ15gNff*l$|!5A-E85K+@t7%PdCA(Kb`_^d+r!m!*hr30wPs;`7k{$ zxja?uzq+{Djh`ZkGOH)Y#_~oowYmY9-L@_eS9KgT0N#@Ma|Zo-g-?NOdZj zx0{|P)dk0RHex3IS5hE^-vLrb-}dRuRy)54?&7=ye3oi9ml!Ma`aOD$nPi9~97&M) zY!=M6)8D1H=HtkaIWA{7$lhdetHDUSv&AovKz$BsoDZS_!;mMIwSjt;TU6|#^MQAy zF*+CCKRBz%zqbR*q;>jnba&mK)yniA0iEnNzq`)?PNi8W-)>HI=Af10J%~;wXv){7 zovT!s{MI{X4X?bgZY(#rMDZ1U_KIrWmsC(dcRL>}9X7yvjPM8FzPez9I#>*F75+Jw zFsV3AKX7ELTIHCNZRntDyS$AoXw+MGH~r>ubSySZKrM;5mB$nqtX1l*k=kPHka<)U z`5)l*n?XEjym`V&|2*t3dJRz7GU7PbT?_69-JYCzz879`3OTOW@SU4tZMKw(g>shw zukMtWC?pI3X40y=HT%9TByE?4!VzSa$k`lq?b}{oe7SKB z=~U6P_#QnlBAVZEKMK6FCF&WvYHgHqA>!i(oY$S`>^H>1Zfoma8E54Nj~Gmw!+VAi zCRu4dBey@w10uGIv{9>O*(t1>6NYUB_(?Rii_+6sM&nO% z^STy`ZKt$YvEnyyRp2aT2X!}AQg5tr4_l^6hf`p2UC-&fkK__Yl~6V=#ct30UXV0> z7`<-v@ih^RK-(ugi;)p%ruODo`G6R=y*H9j7I+0T{+~IIfZB3WuInE@n3aXq|ASd! z{6Co$hW}AMVQ1m^@95V5DxYvLF#Ug-73)r=_}b|OnvGVQ%~poZ6YEXy&FBAwSAL(Y zruN>JmG2*%%b|!8h zP$x=kU}*+P-%OzB%+T1tOq$rj%-Z6_SVGF!1O~tUDMrB9+Q!uIiAG8m>IYQs!~(+p z12hG#Zzn}eR!jLQC7_!kuAQu)k~}sy6D+R!FYnlOMwa_WI13ZV`X>bkC*k2ok~Q>) z3gfHpu~*ms!;csg-PDv2Ny^BKkVwf%iVJ6BGyf8<1XiTM-ie@dz1<)2jvqQn;h~-FsN9UKpzz$3kdW|< zoQRO{tdzym-aX9DKYvPHXMRXO^R&Oke%uH$GCQ&`2dnGWupU6QN?JcDUQp<=tNxVb zWHHDW=@@|O=G?R|i?(7n($DjCjCjZok2?ho=E2Y(>~?OXc$$+kM6-l&Wn@PZ!Y=Cc zdr*IX+XyKK*0hPwuSW&~dV)@=?_cY*^i!%+UW;iJjU8_&TQTJn;$gj-9 z#Wo|gwZ0mY3DihMBo;iun0fMR#W0&8DB2qlzqasRk25?wn6tYntPQd$DpruZF|Us#g3caLZz6;UE#>6c-I~ol z*r|{ca~<4~ReQ{u6kFL)9jDvJL*n`jnPm>&fvUT&-+#1#~j6 z`9dQj@lW=Wj6DQRFtQW-P(4?rpCdN5#u7;E*!XVB!;iJsMJxBbpHJa~6IDkBpYZ%C zA`mTOPgAwH_~!ypx-s^BGwUq0Z2b=z;8K~7qer!Nb$gjJMS+qU!p$HoMZYv`O@ckY z3cQYdT^f4HTG@uG>s9I`XNZMe-<-U;k5ld@mk-C3NsjkKfGUlWgXh?TMgTD*9~1D_ zoOYf#1~Z|Ld4QK$6Ydy z<-jDC)WFyQPfF|*Cd$jMH4i>;#~M0rs3pd1?qp`~_7y&Jw-K)JTj-7zar_<$_0rGb zdz2B6?%7??Xdicwk|~mpD+@;wtIm(&vyn3ybm5*(NXF@QZ#g)SvIqlRkNW`E-vZ!B zdxvAfw)We&i^>`XXOepJ!-V95$V$>>3^ioMHTYXGzT7NwB%3dHhKaFnM@Z}z-SM4S zK5XvYm4;V5w)E;N_bN@+)cluE85_s~ z&W{qYUz=|~PAD;RVX$ix&TI4@8+lynC-@g07p5j5&8+qHR$$$Zqo;OvhkL^hRx&u4 z$ie8#`1l5%$bDxb215m8MQnVNV|gZ>C2;z#^)2@dUp0aehQ%jRwPU||_Q(IyrQh!_ z=*>pOVd3Q;eLvA`@n9{ZP7C&tSGvc`qXZY9R^BKgo)h zHwE$X9ITk)FUX|>vc8%as9zrNLba5t7^Le~E-E=;mKo*mxVO-zg!(oT4>;CUsWK?E zaOrxbn350fypn9=x;P+y$n_HHv)F$<(H+rln3}B7lT{rj6<>MaPBwvN*IGI%nx;wb zqS?HY9t(%P@4tCXz#VThtJuj=B^7&}jgUEq7#cYmpNJSNdpqEo+v4^dY6pPo?gY;&7g z?#WjlE`sw;mx}siqPz+;WjQZyoBnP5nebuQauW8as z^)LUEjMrWn+)+3T?Xb@%FT}Wz*?Q4mO?wo05T2e2uvmIh zwUCD2coI*7PP3;CYoww#)egc^z2Lp6rhrHDkDwJkUD_Y}v}H_mu@PAupJ_&1A|&Ef zGP5r!vIW}0IWwz&N&5<&PTb#_WhLbnUVrP$a+iC8;{>RE8m)#AXwJe*7^U6K@ezp` z+ln$)%>dBpO4d1?Mh_)7EJi0jW`5}t&dQh_od=((Q50ait^h{-eCiqMGytjmHeVB0 zzo0Y2OjTG3lgbO0i>Ea=Mb@4cpyL_b=uXqNq^2w7(W@>K%E;S=RM$>;igl9MZcw2H zoF%b8YYCWf_S2;i7*}eT#haYev?})SBXqh>&f6F{Bf;6>W1&vn+h8Rd#{QY=&Z;P~ z@wuiGDSxZ&&xMly0J0At2#j1A8^NlcHEiuSc0RWDMb+3>KZ&1|I8;)xZkdF>|0M3P zboYa_2mA5o*aX$Y?~QFiPjkW?4=mS+YNCsb8*ZQXRH}HF?VtpsPq3_#)TTV=>dsi) zy3s%n_-ZJ>)bxLo!5jt538BNgyJ66a+^+8oahcB6uW=OZ)`6STk)4D+oO^JbYO$4P zAFG)Y7)I;v(yx$OP=+#Fx=V%j8DZ^xI?fs0y=50j%k?whQAA!PG@Ef54R>r;deK$vEj|rnBz{ zkiX&^nC#iR)5!?k zVW)%F%$k840%Nh6NmwteU*gKlEG1`|f`VS^Sqfl6xdOsi=7=em!f%?CQ1Z{uF-B5Opq|6`4uig z3+wyJ61Nv4QTS8$;tkc~#9BQenHzMAf-Bf*2Qm+WHYWA4x-x7rFe!l}P+s1^5GYD= zO2epolBHoD-735Q+W4FuQmU}I(n9sKM({iH1!Wx3~VUa}#)$et5rq#Uvd6G1h7k+&()lncj`fOz8KOh0)~N&gSU zDOaf=REl`!d%M--e zf>z97gktQ|Ul1S0H4zGldCPwQ_t%Cbq~?~6g6)?D0@BRu91c+Wv@<{mIn0+F6u%q~ zBhx19<=RCJ#mM>H`IVHu9Qb4?_qeauwZ9vb?MxHEqJSzK zYIGQfmNFcA?!0(0lR_k6pLc}C^|aq`9_VH9)?^%i&xJzE9d_O>kthVLl4s#z;;=xi zQr*pJ6IJS!9QP;i5~;e0+yXRD`7pi*PplJ(h*srLvxO(_K zw=FU`RE-*8H70|AQE;KcbJ8SM6URBly=d0IP0=ixxfRdsrs z)aksW)e`r0^zSCkBr2Won`${hop={Ln>gi3cIpr-ffmq=znx8IGo~?@e!_gxR91gw z*ssSADHW|xRH?17X%Fh_v9_ot1XDtRfA|Jx3=WVs!53=nF*7N{js=a(n)J{wCFQDO z`$}XU*!bkF7*@)t>MBCGrzM+%{DN#IA5uQMxLC0>^hO`NAvKRcZBr8)iNS2T-~X1| z)7&!4Wp~6p)iK|JB8#*CY+3b)p0`ZHA0;zpAa-V*QpzSZeKI)k!`*FTv-D>=V$9e& z*fzz_VC6t`8U9mP@4YCREzVXrZKkJl)#P)tnU>!uYv$b6n;HQh%+Zhkz^9Ldmy&DD zOl95AS^30PygP&vM>cJ)2KaoZPE3=^2wJ0wk@ZscbuidiI;UP&qZm%e;|h46Rw0>L z=s;DWg1ylG;rxzWTH`Lu{ge=|$YEDXeQ27!AzIke^{VED+aINe&|#~}Xrm(tHGbOh zxwY}?W^MGnF|*neZ7DUlVr+j29O&6h#o?g9P0=YB1{@P(#sKOXTQ0!|n=CZ~C zqmlmuGxKK_@8|WrEe$0a_%g}i%j;$?I#aC4-8rd42>tc%dXdVD&dNd5B%F=I& zRV))s0hBO8=IEw~%^6NIb?`oz?fxXpBd4Tr&Ft@{KTqdI(nOfGC;)dRA7dp-V@2l# z6cGe@hA3==9wQT%=O!kYM6wv8)+LvCg%k9Y`V&>#@Rxe z8SaA61Dxf>2I|R1Q$eFf#~cQL_<`73_qx&&uVqav z<#;7<*yN2#c-5drRj+PSy;nUKs@FjT=gD*d9aW#820>&hq&^!!32ugS${;R4Ay=iJ zc(>x&--FxT0R)nP^U4b8`%*-C^|xQIK^|oh$BHoT){=oYtdn- zQ${PaJ5@X!gF^(ohp~+=n6MD}?jwYYKj=7L0@p9K(xmQ-k?Jf9rhp8!nV#EVN;>!# zgQZIID2ooz^_CFRm292iqab`*M!9Xl)7I@N)8TaVKVLVhLCX zNu#;?s4BG-uC+Z5H)ul8QA3#m*JU3YT&HI2(LiDX=P2~L=8ZsdNbQ(C_Xk~MCbaFo z_})KLpE=UwX0;O{RtO~*VqD51MRyFXn$T{I|%r6_*=^VDtiqqse?XOAf8^v*FTKgLOE{ z16)=2nnN)3%TC=dP+w?Zn~Q(-=_7-x*gHOh*C(e@)W!T$>3q`lAs#!GT(MM{6briH zH^rkisNX%n+3I<+WHMC+f6a>Six6dLSuu@|CxB-0q-$_#rippS@Zupr)?rDYdKubR zdW=P!@BVwA?PkcIYluKb zu&*iI^cOVCvaPzAJ(&}|hu%j}517x2`=c#|Wb^3f$sBeOqKLBF$qe0-FbYK|Wj5I(JL zgl$6!O=n%M$gw+@=B66X-5LUwrxj)j;T$({72BmUH@8M6>dlHd(EdsDP8D!HqsoY+ zd}vjwY-W!({E;*^0PEmLhJLSk-~}z3)S;QGB$`fD%vSD&21@k+_H2%&vt04BDpiJOFV%f{Kp+Bhs;jkVh zMpi={)IJI>zuPI0ZTM$?^>Cc+a(eM zJkKW=u22$RiiI0Fnqs|GjV$Ybq<%$H=YmCfB+~5e`^i%vu(zb_X#R=g6 z90`uV8~z{pXF-g!>0;v#aBu}#@+VXj4gZb$;WS;v+_&7TNvY=SEbazTF7V!?9uG1d zh|1a~$iQz^*)ZfX;XnOh&X|#M>#>F&k&kIbMvD8ut1~$$XaXqwch?Z+Hypw1#cDM5 zqsr8KQz9vk*i4~9vre#H1pvd%5@y*n7%q2_Pl@`ARDBC_bjr);mygT~P0aa6hR`&@ z2E2NEBS~=^0fDnF(k~Y?FkH*RjO#OJPa3(k_fuSH98oyq`~oGVuZXMMWG@bYwA znR_EPi|+IS=vrxmG&w&&l)iRZn5mMqp`Jd@T{6~F8ORpW1b6aoOi`9BU9b>Zx&}Iq z>Ah8B*KZu80vmmQa;wq*{`8meG&k4AKdVwS!xA*eNnTcq6UNc6Ckk|?e9)*e{<_oK zqR;Y#pP<2z*+ztR9YAyPv!~b?BQ0dtnK}gg`slF~wB7-4y`yCNL(mXp@Sg4i?j3v_ zdF)9{9%JQIoJzd+E@Gho*y9)G$bw3}yYT|9ThwidAlzsyMUe zAY)J@Woj9Raw+M)s)FoPL*)!3%=I;V%GF{d$n+bK1taFioxopo&pTCu`f{$YbjBJy z33cbZIx)sFUr@N3$^M8%6CF_LozxG?XRg{W4f zGXHRLj;&VHdu7iIcz19LV)3yoajW_F&f#3rDM2ph3ysQ@QBcknu9ZuDzk6@rF&CLE zl3QxX0A$fAW~!l~Ogq?!p;qt9mbZmzW^IBU{soZKDjidZi~X#ytk*cZ;C`gEB?Dwc z5u2@m2Ju|!LZpZq%2LZ0b8oT2>kLWw$t>5c_nm#yGFy@S^%5?2(OmZ0kvjUYA|mrnCzw;RL{`?f<~#ab^EJOYih|;o zS^$~DqW>OZNKaJ6tuRYltd;mwt_PY1YAAi%>WEM69qw@&0)ZfSi1%()0#0}OVp^C&HjGb<3U*B7^NEy+%&vJtMlN{}s{gdJs1bh%Q+p9;ZE z)G+O~c?#eD897H0j5B{Xs>lPX1A5=73b3?7-||bTGdURa_{~|a6x1uHw-o85b8C*M zQt%dp6BVsSExG!LB&ml#LWGUcxJ1AhSJRSUAN$hH%hF(TB*sellgH71FR`5?tx3sTIk7Z+%Y`ui_PLmO}Y3&UqJ&B$kUw-N7l5LiD_7eyy2`CBbe zVyD6^D#O9#MS!hlS&B}M_bdz7?a01Nz**AdJUhbj8-kU<)r)FZ85G_Y8yR4fIO3_s zPsEeeM6lJtC~2=e}dhYsdc3%~SS<5DGg9He-crp2**d%=?#5IT*=UO6Dx^ zkJ4cg2T@=+`vbQ}Ldf2ik>Msuy{dzGHs6h0cRa*^(!iLK^2wD$lo=y@v~u3^3C;zs z6T7Zqm2GFuArx<~r=QN0hs_j}Dot&$5~jJKi?vT^g+$c`g!jv3-bZ*oeC(**>s4th zRZMa~o43h&dW2U8-wbb_?pi-b98gJ%uHy!ms{OKe^D86EX$x1)q*Cppz`nYnsB2J+)x*jT5Gxg9D6`AU4f$$xBy z)tG|K_Z7{TXJcDOveRI9v>l=8X51UIws9(^B{|k@LPNZ1VBh6a_5BfSu zLK%Be>c?X>1F|jU`u^YUCoHe;q@t2aO#4D6BLuxwV}x)0Vdc73xH#@R1$d&!jIYnB z&5$C*toBz+?}>Vo9c!AQFM4DL4J2BNiTkrJi$kRy2{{d!_YHLc3Gq7~49$!#N`~$zg6DtXDI!s^$ySfxu{xypqASt6} zbZqy;UsC6=+m>3ELtG-2;(0u5>f`JfRA=?P?k3AL4Pqu^EUsQE`O^``Q9Epdi<&B4 z4os4iKUUI5)Md*o%1}ryUNVueRkLDxX7x!O&b~!?Te-wua8Fh#IA0HzO{`E_9pj_2 zWn5hdbSm&J-rBi8N0fHy<;sBJhR&vI`3BSnZ^x4e5O>LW*`U#yDiLyvP^yRY50V-2 znNcX0o-h14mikMY=kzn-0giW&YY(}T3^I5~$S5%KAy?9BI+!armW9eL?7*=#*+yVA z993FLgs#9*)w*AEPt|Vo?bnusJof{P2lLo(2iB^ePOc~w23GEFuzVOS z$^P{nG4dU7C9v}_*t=N~U-x2sz47rOX zm3ET*nJZHTy?lKQ5}H9P=IusSnj}U(s|}^{`bR<9GW{A&g3y_=&eF)ltxZ8T_+n^P zisQu@cB#YCG>z_s7h2VFZ$k*h2vQBX7!H1vFBr+INZzYfML+(B+qOe@Z}U0(l6Dp! zRnc5A&m%P?&<;`jDmaq|B+dmlo^2mH8zKE$0`SpZ2VM!{B4|TnlnQ9jJ$5(fMzW;^ z8ZBm*2>tWlS0^;S2Z&Sg$j&7+;l$ICMsr+z5p0OlM4FDnCuGI&K{Pt7DFERe*)2Je z@ud@FG>SQdw;6NRembe$B~h1pQ`eV-u#78vO~02d{t+(9XjSNyH<7iI&dSo#F%LQg zm96kzziX9EPyy_xRp~XgFsO?Rpxl)Cj%vi)_{Q-?I_eY-30pu;htMY_0mnxMi&;y(2r7hxp=$Ry!`{YRnkUgNojh$G^7@-LLAKxj z@>+9?_5sS#dejnI!xQaPqkTYBlS^2j@*)uEoI@GAnGA#}I^wpBvF$g}L)EQcW_2gu zg1akjwX-CT?@56zK)ZBf*4d8VU@EQ?jO=ka@Z>C@GY*o+d`jJ(k3Ha3g@fN_D>-dNfISaIpow)Z$2?ui~ zY%>m8c3_gR3LNk1mHvE2TyVF5UtU3oABRYpUy&EJ;_rE%VP|umgL3m9EMS9yk-6?z z)i%Ip@l?@>^o)0*W&e*fR`3$FhCMK0k!Fg@>d&rPAVHEqwU*xDQBhy@wKc78IbiuF zRy}z#364{jNfpoDsv!QwO7ipah0&okTXo1NQCPn2|vXNViRx1GQfic z+Qi&EH|}vlfH|#!+=%AUIBS^xwXSx;ac4=>ee>l=>&Y(Skp4((%u%d-VUJ^`OUTP*@HF~Umc0h8Ut|>oW43^2y&SMFedEcoD3bFXv`r4~;?(qK)Y#jf zM#ocfGn+*qXXKiGr}P1ddV#wmAqV>Su4-}?Oza3mNr#ab+B)p$EQ!uqp46J%R0NS}`b zEgIZ(NNh&i4Iv@1n)+*T<3}MB`23C--k*f?6+kp-*N8_2UgT`6W&43%27ZZk%_GcwIp4&kq} za8}kqS=kDP90xeHkQ?(WGf>lxQ*h-2I7dl z)%-PW*-N)a2!8w=>@iN{H&yibZ!6GqAAYLLZHlBeiF1s=4K3v%I&uyw#!x)5l?o#R z%_dXQWT#)CL8jU)g~Cz^|46)Qn!^?siw0Bcw`alrAtt_+0ZfYX(w8+|AUhO>+WVrK zG^?1Hj;~=1VzEnFg-Stdfzbrfo}XnZ)^-|SH6KDPT7U-MLE<8u7`+gQiie~< z^p{wVW3stv$jlzQ(@)IOE;#x*UdhKHgl}xNs$S)77f+18T(BhB^N5$_oI7Gln4bfL zUE5t^k}XiAD^iknpPLpE#>?SuC&JnFsy#i#-cExGG<-7G-&F(c6L>vl2hmjSKq@2U z5^C&CF7}f;Na%MCeIR4E%C}xWLc_BIJwtTJ!#kzGN%D43b{Or*hntgUiObuVDN@oV5~liwzjZ7D+HTrHYBg;CYk9Z zyHIftmgf(}F(TMWiA6UlV|v!N)X@nGH$vx?FdybWHNdtf+O~xKw<+J;NKUxV>5I*l zq9G~LgoRfmb6u~64RRYRbuJQx-FL-}HZ*~n6*@ghebh{izUlhDwc``i0vU20!=q-D zNU(nGFKfwe1Vf^K(!#GZ{;I>wAK2GcL3PDrY@hj+efen{Sb$VUmqXc3W1L5`uE=e$ z!wIB22xc;xe)k9qGypA%Wx)GA_0)hiYZQ?cK6n+yp^KZ2svc{56?9@cT6pONq<|qT z#GvXsQb!2NY>QdUTWulPesS79qcY-uC_Gx1!f`+7Q*a&Vbn!TLVn^yJ7Ndg9$uAoI zP6rg4U{aE@)igK?SfZRsPC6t@femknhkMuZk!VcDVXTU42sGt*()fxn=dd8r^E(h@ zsxwY=pCTSSTk(UVklfBCH3f1C@-1#$(~MkB+D1$XbcU#^W24NgY12KuMrO-Wi%#-l zh6R&Ee|Fyj1o!KWwFJKbwrc~3%0bH>Afw?>eaZs-%-EDf-{Cf?so`R4meKt5N4Ft8 zo?$v1n^^4#TB?*oKn{@mt5%7Zqrwz6DE1dtSoT10|p=^<5? zcs&1-x5$0*NVTU_)-v3g2c3`Ll9j^>MDocAGvl{p2Wj4|wf+t_i~mGp?Q|NsfcP`g zpWcZD2h#a&01;G=APot;>mOlmkzXzakbqbC*J8E$-9q%t6WMLoUBDGQc&0+=CuTc& zSV#0i42sa%+*_DF<8i0Qfq*U7l#IJ%PTp8RHBY4n-wYhbrOJ^pkOj!%4k8QU-S9(Z z_(ba*mG`+Q3q9Uk=`?s|+P)ZN2%w2FAf8INJ?(8~_K#O>I?PdiBAd1U0MN*NmVSyx zbLoP<-6;Skk&&sRI`$-zw|f$vxXItN;9ZF(VmM76T~up%-sMz1K?BvdQ)^tzIy~p< zvGYkQqouKzME-Im>arMa)lq|}O+v%u=&2w#T)ryXHl*Ka z${#RCT^gM}06YB|xY<2`zcM@?Z^`m?4+UnZO4K0Mg1ArA(KgO*pu=2v!~pzT@xdMD zHNx)Ai+H~nYshpfMIcr-ca3`UZSvN!7f6rU&$qd)m*m{h&Xbn7@dg{Y+xNv7F$48H znBnQy{(^Ke4GwUH@-lQvRW7VrRsdh@n5eGatd-Vt7&$r5pi)=fbTKiU2R_m9Sv=Zi zeKeapROE2HCuIqKF(meUnqBYxanWe+q2F0RhP>xo15bqYDNB!q#fR`JB9t?}MHWeO zS4sOYX^EqyB9{{bW-Pz+VGo@&Z!-cxeJcpI*|aj9do?=S-B$h|18c{^w4EbO6mZQlfJChHM0 z_gAWREKn|Q{f*wc&wGNJ8IAb85p*t(8wA`ewh2f*kFHm_-M>E~rmq4)`YiPM_A~s4 zueQhd_cOWO5>(yW;BgYZF1|7I;Q8tg`|F*(&*!Pz>9Gp6JlTI(g7`A4P^<(~BSI zS1%=2fLzgW=`U4w&ZXcbmbFUQA;LzSfvTRvZ2)7gA@yZW1M)Z!KdW|T91B$sx&Qp5 z*g<(>=!Hdce^96vvNC8nps2-l8A$~|Yw_AT4{t&3I)-0y6u!?1m{{u=lsAH4EWa2qF5~y=^4r5$4t+TudS_M8;INM zV&hyJDvbX9*4M9{V2CmydFzjvnDtPtSLFPja0#?M%R?Ujcs!U^vF;V%*E>mpQGiAl zmb54{dqb7)ZvQ>})Q|5$(Ti{1QdcXMz~4-)LWOyl&FQ6G20d*^?eyd^^IT$9cyD2p zTP3KVJggwR8Eu|cF!_%&t0e_Pg!7X zj`1)8t#$SsZL4uAS+_l^Uzv3x#zU1&Cm7Ugc}&TVYvmK=Yp_YPHw|6)9S~T?cdMcUE5s(PR$eA8BGdZGxxJ zlf)pKu8M_;HfC1Rb8?<;e*28BY>IB~$G}c?;ZuUXXCUAj^T3E9H9nW4j6CJL(}oUC zll1gmudVI%prr@RJu4S#N25QZ= z^cPiky1=LC)nS1WFVF%MD<4yi9|0K- zhr261cR(AI4gJbsq%O|Q@hOSAklUKUc6s2EMmaG+ZEp<1nRJIRuKvlAZT4J$U^oi* z0scGue1}`84uNWI4Rywm`xi~vf;j4w(RAejQlj?A=+_9azxV{%KQWSDK4#}U{-Ci3 zYSx|MGhWzOkfWtCO~)Hj$YMWo=8aoo&TfdpP%E0(N~HXt-2D;Li5ewkhc$q-2Sn+c8~6EW^FfdxXmdNG$X3EcJk z_WWl>26+$yL|oLW)8^v-*1*5#jR5Oiso z8OonuKJN1gdS~e5jHt&X)a*bBV2w84(NcfLWnoB5^2NZ!`+HD3#gbW#k4Xc?)Ul4V z!414Xk4GbWdA(vSz9?7@&XPS(g%R3kk#8sMksAV$&ud8T{hc#wSlsEVqL%zr*h?~C(`r7f0I3uQ%Xs?I zf@2_fd#>sg?0CV{5=O+^OjP|!s(_?>dYl_@qgwo}3sk*qOWg6x6c=-X850@$=Ep27 zkjUy03_LGIL6HX=DCR0(yE6gD3Woodc6BffHz~Wi2aiO){S1P0XHoNnM@f(R$0nOn@s9wKu@E*-2!G5$jrXVV0Wg0pBtdVdl4VpP=2Uu0M{l>Zuw>s+M9llr)B{E=_e;Smr}lZcdy# zrnn08Z!{NW$nCS;q5V)R=M(2krt%U#%UQb_n`nf6;+vB~64rw$3QeVv2Y*%oLa!4W z-aaH=_UoUhai8pWrjG17N8DCG3Z@%P)YmlUV|8hWdp_nF;&&RZW0)AL$NR+((?=}I zsm1)zK`3)6HA!}P>>#?x$wP9s2qnw(RA@bpE)ovB=AFq+QE-c+fTY)8^W2yGPNIuW zTS>i9bER8$AmWD!`OQW}512@=6?SM`uKKTq|A%SnJ7?660*eiyk1N$4*5FMt~BJ!AV%%-hJBx= zC*;L_G7CT-Um;vaONK!JWHtU_F3`&Yj>}9Nkc3Bb15c`_BWtJ-kek>|HO~|)>E637 zN~C1af9}+OeAZUE3{vWefp5Wf>y5Rq2omsWgl4ixX5GdJ>6GKyF-I;*eHsa8qT5jR+A*0m`n3W;4QRjDL=RjsUN>W>} zoBcwL=MPYwneUKTZsCnU9yokcKWndZu1S)+9UlsB?13DYR(r^RS2AhmDHRY@1ONQ4 ze4@BK!1Uy`yEgW-fp|U%scjlL)#wx2UvLXJR(E9HekNYK+Q|+z6xv~TMM~^|4}$IO zxj!3w5r<0K@p;^!>6}wbJk`YK?{xTl4VNbCYhy9|)UwG`AdGuSbtbztu}r6_>UHP@ zO5%qs_;WbXwh}~@LfGgSlUX9Y+o1lOWj0!1E2YtIk>ZoKMQ~+s04YW?_&7cwb}T$= zti-nqLMTwOT@)vFRlo3MU>9LO_hvzZRy;o6W0*UeeHr%VIl}q7TOeb*78FuXs^7*$ zn94#2U5r|~p>I8pB;2jK2zOo@} zZ^%f|qQ6xgd1kV^Ntic6FlPGKJv-^{zNT~y@g+$fy+l|_dAU~cio|rDT`uH!{CN1t za+a?wyW4>#E7S)uaVBy$kh~!=J*BDsFq?$Kr9=DO->Stp+Vu&oh7$!B)tNEg@SqWM zGKp;TBcO0OV=-k%@2gBMb_s$7{N(W3zE-ItdVwd(S9Go1YQ0Vydgk?$^OExq-YQ9e zP`N3~dV<;uIcq33l|9<%Ly%IJH8jWj5O?A71@b?g#d1h7uag!R6Nz-bu1)!{uFZO& z&iMP}m~zOcf7iYeR^`8?tW@7>pSxq-i$t8dVOo0Ve0`!8ypQuF7cKH?lWLb z)TZorDT~wB+~Q{|-aP4-SPxY+xLcbE*9D9H)*sGpVBu#M3!9Co5zLmU=e8zG$Qes)idI74{O##ZF8-i}KfvTS@OX5pN$hEj_|Brn zr*@CFxF{<~OWOz|_Bf7Dvad;Y6S|=8z>?}nqJ_BF?6m#;1J`O4F0p?>LSGvhE*Yl zsWdRTkKM}>_Y4N|%e{NMHqywN?%0R2c3$DrUbuM|>$VDvrtGyt zMThWLfoaTs`A^V*mA2cJ8fIu}|BhX;ubbhMfdg8DCFmYOsb^bN1&YKvh5m83Z~key@`q5PHcX~Z*t+ud>6{kSqg}i&u-`A=ew|dBNhipBx(}V z=snfXutp3!v!_697THow#5CTfh!pIPFH84WoQiYX5-FNcBzxFNAzM;taE278U`du< z))nxXQ0@CGKgC`zvn|LjKmhhw&!BPj5DNH?MN|w2j;8e*sG5Xc4(Ycvn*Zp2#!Gh? ziGVhPHs5nhT%Pm5BQY;v2HwRDY2n3QcgatFm20gw$PX{ZbRd+AKGf){ao1T+$78Re zq}_1OARjVqIK`p~WX{_6V}J~K%LPnHAO_=J!l-YCUb7Yi)k20LnA2Fp!j&Z}O8p%n zxQ;E*y+7CWuMDwUZ&YTUC5@{-mEMoUn`HA$Y*&Qs-A}N879`&ZlKdx(Rrqr(Zbrai zqtbzfff<7_?bXOcHvTxD$jsW)^+2j?nIJf?t#M!uGAGCXD5+&5fa%w}=#2Ni;KwyoFXG$z`!zf%8I2b^G!k*-)>%x%1UCvZ=~1W2Ta}8xym3lO zDU0d><1Ln#)aH5CA)t`g9>pCd{-%|?76vCH9jD(kv(jo(-QaBLr5&-cPSO)G$&n~j zftZV1!2Xue^zo3DzdxLgGPAd1(%4u0kR~D_U(UPrD}bx{8i~1ZxA;<^dR)21WIJ|) z&}_Cm+fcQ}O$kfrCxW@$$gmcT^norw4MA}VM{#G!g)DI!+{HHk-LN?>d4ww#(ndTn zpm{c1530fGB&Jd9g=#|+jzxeGY*s8?mVz*%M=mM3(mWli2j@yea~~J&KS`{GZfMOu zXNcF6KtHf_?)G9ua(Z5sEV7c!BIH>jjlWIbI;xmz@7RF>WYyhM$|h0LaAgxXw_a0> zMVB7iX#-PO|9x*D@0l>$D(PlDdA$WiwUB1S&n!vB}0o#l;+5w+$%NP7C)L#mSKkv_S zI*^C@=qKfb7!t4PST%#ke`;>UvEu6wMu-2bknkXR(mUmM1a zYG&MC4i*B{VZIe6%>=8Vpk4r{#1zR{xEfnKYHed0Yncv{OnhRxfeDbRnO(d`R*$nr z#(ETc_b%eV$vO24UTXXmg?d@m*pfN#n<|l1^J}$=8O;>+aQr#sL5ql~QEx-lCZ-DiJi{Mr)_g92&o?-4lLnXjWO?WD z7KCp+#)CzF0D{p&1l~h-sZmTYMIz;@lOxg#-4SMj{Fq?QfB8k?FsOVT%2uUygblP) z;GyyJ$zbvn+Gmh^+6+Gcv91z_jddA?|MOSR<7E@3>mq*=pdyIdC*CDPzLAW&mQ9UH zp#0{UBPg%%TH%gB@5@VqyIj8=&R4}qXf&XH5Vy|>csi5za$hFLyhT75v{OzW=y>ib zM5W72(v>AUe?0bT5c7sUvI4uwQ}@gJ4o~!=mD5Ve#%PKGSM%odiytK;?2Oe7&zM1H z2CZSS;q2r|QCZGU3GXGGxXyE&njJNK$FXu#uHn1{ZJJEo!DbOgQVbHN7HfvKxS}!J zxTF9a;5oT-$!8zQ?)Bslc~Te`=+tYx6kUQ=#9U51x+DUWtrfFS9W^Ol+<@R;(nC~Q z)94%MWRxSDnFFx5RaT8*#)f)Pe z{UHmXdd?J^*hoe({8X;m9jp9|3@~UFw(0#gKdHArmsy25z71T4qv^csrXo@k9MHbK zf$Wp1e7d)`Y6_-eoC|JzD0Rk_w3>J}MKoIG#RMeR(V4CW;dhnEnhrK20k3%CLBnlj zMMubu^5I^0u4NNeR;Ai&Bo_u5L~{f}&9s`H({y-J5qb(a!gdVLEf?(8u1GcWR-FoH ze0gzKuGti5l6DHZ8oh31I7958naSmg31deoezW168Kc0!_x33>-`CHziZqM|dfCYk zAtJDaN+a65s!r#mf_WfkRKbPP?)hlEZ00qg0RK~chxwu75T4lHIUwHEOGgXRT$z7R zSqFjDy2LH0;h{N}kk(NO6M>Zz0F%dFHjmlPs%Gh=#NzE18p|%>bbbk-rBtf> zv(@CxPuI}b#AN!vVnu6mB*%@@)sO^oGffv3za4#FNX8HSznJ{(g=g&+?cwdBhnqAh zwiyW0qX9~KxFyy=ppFxQ>HlIj{U1>JOid70D)(KYo;W6c#ug z`P&|kdWBNvF+AvvwWOD%7w9-caT`S8$sVz17HELj-5sR1oyaZ1qG(qEw0iTGD9`L) zmAGP(4hNb5DKQPa4)aa66rTd>ms@T-n zc1NXtQ|NX77N@m3D}4)-YiPIeSAFjRh=z*?1rzP4J+y-q7jO1TZAe2}Ugw?pMpt6m z_)8C#FdYEAHVe30i!W|tiY%^)_fI-L3GeBNgJ)!}V@Tl`PniO#N2r+;v8NO*{p43~ zw7;8oEcnm9;blD6x+(r(zhjBt2A(7jSSG(ed50R>>doeX%mWA&PWbOH>_ zu18DnH{M#v1mzVBk-Fetd&UIxi4k#<#iAFgr0V&0+}FJ#Z>TnyzmA?W%V%s%q|pR`E6>i6cOIsZQBK9Ix05_praEBt>e|Je}p_;E6PgMPbyIlyp{NI$$WfR*v*@b2;d@ZVl$m$#32gyRZ$eT^PZvdhHO`8BezjDfss5?p`z z4#2&RTinFvmIk8NchHugTi_M~sfuIIyTL*X94}CGe9dT;V8_2T6+~Moheb~5Ntl>w zRrA5|kL%N$dCL}qvyioaFOm09l_<#aF+kSnAi9U-%x+R07Rm1%&XTDEv&h#}ve*6C zska?$+rO3^t|F`8ZjD$o-0C@G0xWNEl?7QCX=$ow)IeXIlKA5BA~L|T*5S!PlCNco zPThHx=uHhTr#PF(hxV$CMIu?V6tfq%s!XZe<4)?Rv-7Q#(%FPFitC;nviaU5Yw1`> zOskpjn05P#&J?kF+y{#ZoXH8a>>m@HGe?cI#h?+CvQCi$R~hfzQQiFA-jaroKS~i! z5A8qsKM$`~fQ6Bu*AZvczIWCXWUJbG3;qS7#H0ylJxs|-i-Nao&8*bf9_#G_nkBiqqVXUs#8n_En#`YM#+wU z$@(MKdlvq3XLCN6xNNe^7oYFuw`IPX_EU3rE-zadUZ{#z`_nCX5Sd-71DMSXKj(GH zlP2oTa<>>;9n8MM<3NOIt{^I`?q@w*^Yw@#BX~Cx`LqhY$pJvDl zDf3x2JMRlSpCHo_8Lp~>sXY&u{DzSZ&?e|hb^%upw#UUkBrF)MHNIfgSJ{yXUYFgP zy6`BhA2`7UlrT;j+2_q+%+p=e_Smv(5{ee=dxEDO)Pa8_KsG022xzky{mr@l*qEfm z8f*<)3%mzA&(@<^?J7Tt{WPE3^_88Tk#26j90Cw z2C8(qAj%8)AHFFDNv6B3#N{uw?X+)sV+ z=N`f%`Ki)Q)z?G$g%>FyQX8h5L~c5r-!rVo7-YdJQ$X0N`Kf=LI#<75FnE}fFHo`Q znBO5ZR?^H{q8_)Na<%+8aHhD<<}oem+3}_5S zDe7MI80n2piH!x0Gams$aiK8@sOt&}E6(QJt8B}r7Tm%#wRJEAS9JWaGP8$DVB%nf z;KE!4lC`}8R{xa;3S%cEdGvR3Hv9?)8e3o6xo2QP@y4+Us49!fPw&e9BdD4#C5CAT z#0)Yf`K1T%?7H_8&CcG``m^f#1T^|9t`6}V>-WR);jp^%yo*Evf(XUP%;5_5#mdeG zNyPXq!y%Or2^Vm-nJaO-<~8J`g7QHnt|Nf1^JMLW+y}4e-E(O8rw!emusvgr>HZ*ChM5?rWFG zA=LfJJ^(fLU$-uaZ0yV)4L`45hrM23d`cuZ38|aEw(lM>{_Lj6$%tulh^3#kz&}>e zL9li)Q$nRcW~05@*lRf7t#=AK{e54%H}41;zirS!U%R?1ee*k8X!*laZw%gyznAX{ z#gDy|L_|0m2oQT5^gy6AFo-~=CZ|A-_0C@31RY`WFE1m6qyN3GJd^$p{xPPuSJt)> zbq$s#V)i-P8eCNZv@?D$gH6^#+Us-pV#7kb_Ih3T)lI2GQ&C1DnJl#p&%?$_xp9S607 zJTqyDzRGlF8Ux|<@G(macGrR8n=yL1ouHA6XNo4pHhzRyw+m_oa#`TV246@18(M)- z<8W)@9mPY7ERzh6joS$GZA{;WVye3z&==0>Zc_gmP>c9@`*@(B52<0h-vwo8nE=`O znmHP$xmm`WfQHyE5KoV8w;h|ZzJfr>!5c@5EsVLDX4;g(LBfglXT@8qS9Tghtr}W5 z50cDptCry#{=s!R9`^56%X=Tpa`Aq2)*-4#5a~rO(ymDl>cFS_j7!KmQwDWxb=9GU zn&@D(c>axK${{v|FgT6&3FzK-dkDsKDAmWj3670?R7r&s;`a; zC(4qvJPg}W7`hQD7?8+KV=5SWYVFt;^;&iNF@ZPfBm9w{mSOdO4x+BOn;$N%|G;rO zr$aTUm0a5}XM!QrrJY}$L%Rk49xlbt&7^7k$hut{gqA6HkO8U)Jf&8lJX@mN>s~A@9;e%4M{)5Z#khG_N;7ZK?<<4^>WGXh1v6qK zPp+gW4D0MrFA#*AzC-3`LssHDycjyvt+oZF?f9nb#qj$N)WYhiDTLqj70yL4GqUe{ zfWe5=W5Vp*tL87?sdpGd7YJ(G4=Wz(@9~q_JS^v?)F;-87+$nzGdDd)=bG6?{P}0< zj%F;C-WYNTcmu_-G>mb*?q?DP zyu~n-hM;e+FlNr?o0%-8+U6MzgF8I}n18N07!h!=Ym2CN0iS=@kdXcZXr3{D@c-hj zAo=dA4?UW6Mc=Dw$pk8|Idq7BBgl`dAF`b3~2NG!}T5GK<+ zLeRTW!cCM*S}*zkH$F?gK-)aRY^)i1$%$`yn5ZTQrZoRm5u_T5tWs*LjMf^Jqc=6U z?Gte6ZPl!Pi`y*ZSWLiP9J5!+fpQ^#F`MhXi2kU|9l*WhDmYqG`t=e-y-st+wb1%3 z?BO`(PN2hwlij!@QsxtH5sZSy@p?1EIOvgUjIYzw{DeKVN1=_w5^Cd)io7yf(aY^4 zF9|UznjKC5+Ad$Nx7@s~lNBoaqR;!*-1Qa5!pDdb^T7H&AA%I2SS(q7kBLc5*#Gi= zgP0;bAZuZ^yvVPkl};P}9amjvvc2f+MA&CF$?2bQAiG6$-}7#3w>IhBA zYM5m`v%ISlru%WlCTg&iP%pH1Ys>jsC0j}V!c0}Te%VKA;mD15M$(@sxk0y_x%SG3 z?<0BXf`m}7x=jp4=7YIYW>;uCFiwJ+?^Fh*!W%_TdtmQj8$=r;*X$Jh>~o~$9Lw+9 zM3j~DsI9c>89s_=?sy$*YrA8E>)B}#-f=OP@rp^9m|Z?Kaz-&D>*{oE{ODn^S;g=+{5t@C6s zL;^`DPO8fDN%i!78vKZvq7G?rKF1>Hi&YzvsL_OeVlvk!Zidn z5rP@~<7yr@2CC?CL^4AVmov1AttdiuSnww#OnXB2>4Mlwx{UGRdbevgvw{eM!Pbfg z_E>MtMIUCaqqB?AdIV!*PuoL}qPlho?kuG6Lb#Ch*YIK6Yh)}`$x?r-mkd>+9EBxE z@b}q5%bZAwR^R+egUjq(MS4EFj}US22j`^p3&NgAOh?(71A?nuS-A%nQ~z7L%nf*> znZhXUyirA9KQq{QN?Do06^&_3I%pnm7q;J+oaxiH}2apKp@oVUVJ61B1j8T00n|4=4Ri} zOmY#?T6lbuY^Zl@<64z&*@q1qyB}!-H;#PX+UgtJ+iA*wY;|tIf+IOwg^JP5mBv33 z&@1a`UQL&s6~|d~2%9gayu|Q$=Je+gHV5i1a|7f(Ou4Zpn%aMT$|)7R-;oASXSD|@ z2ML|)YQpdLU~Tm2(m70E@fiOkD?_$5uZ3*8| zAnu;~%d&y}ACS_4Lwow4oMr`-@KZ+j9>MUxlRs}kqP<~*Ggls*XNjkTyM2r7?x`Vl zAB!7o@acDk{Aq?3IghzBlb1lA(4%T&YV&ekj%|5IP}yd?%WjV`3{?rS?j@HChi&8k ztWON`b|czEPs^+v!f=mN7jeZ0#E4A(D~W%>=Z$|S{l@qr9Ntw{D|({l!bcgvK`m^b zMO~<=d^`@nE?)P7^tEO=izwqki>S&1Z$kpky7#WMt=qKcIT!`h!|9|fOi*AQuX z*Fc`wj0RH+6-Ov-TKTL*;SBoyO|D`0n z8!W<)9ew8_HGI?oEXDZ1nq(Axe7*W!e*JY=KM#;FdDD=mznjPr&@tPi?=dVF`6>)n z#J7YUl(RxOnI>U9KdJntu+y<6VWk{&@M^kdVR3 z0?YeNW`C2l?u2!56h`ezgA-#w#>eeCg!DA6Er z2vY9wI&fEZ97i?ak$9>4hpx%t$ZF((seYdh%TJL12v6p|*>1j5qqXZzo1_zOs78h) z+Q`pUdg=Uho+FSZ^)j-2VLz?@XAgbe8MSu|iiS5xsJ~EQB7WCaaOeH1XFnPl-{FIBZ_x=HqrCOXz|OoQFM6u>?d>n$?28Ur5!D=bdo`iHADw#VIed$|`aLE)T^N^|W+l zDXCmF(QTtWKI-Eu;2ncJ?AtPB4zKeLkA;BP@aK?CSB2a-PwWHgx!3G77RvOBAA^-)+62;* zJ-P75Lv!WQ)%*#g8L|c)znE)~BAlMwu>yWw)hN;eom=F5;=ng;2qBPZ!mZVAmS@|Z zLG;91&EObs(ihm*WCYEr)%V^Y+vXKfa5H`=|6@XyaHKkiBEI2au|H@F{jcPm$>&6_ zrVdteVXKU;S2)~bXqsrv>EGH4`VLI_-J7*341u`MCw;yXL;|+R(*^4P_InVNhgR;3 zVM4d9{-ZzhDytD33S+b_h`f!up;z-1>3X~kQ9t!WH{91W^&;C^=L@?ri57`3IG+AX zss}PQEkEaYNo1U@)jviUOLJ1Z3BUT$Tr@QDSw~WFp(9#L{GKp#saw|?u`yW8zP|M6?}&93gt_oVoUs*DAm#cQzzJoems!GMN)2~& zhIwzQ3?ak{+pSkOciYHWtD(;H1wv|J?9)GfRfSJGb4F6pg}L^`3kkc60|(ffOyp?!(>h zZ=(-9T!WBe3&@ROLc=k~sW8=+Es1ynapRw1r%>zRMk8)jR)ERoqA{yWBSNV+Y|U|P zC{3!5_dn!Ie?y<>P?pX#t&I~PWOm%AO|k$`{Q?k>#@c`)6THuSS7gU|A59eesC-4=^s!OUwWQHm&Qx&iw&eiP>q$|dLI>Y(yX;<0%o7_ zv=?vPQNcTKVmpy!bCk|d$Q#5Z86xraId}$hm8u;ZJ}5sU;@rGsEOyx?mX?uomhhiT zR8zC-+cnB$-)`aQ(9(3We4-lxmF4e1Dd1<$E^#nPFM<{Eb@WdJS~jkhHeYxJ5Ffy0 ziUN8xuJ1JrV!_B$9Vz5$OG?Azr zT2!4%`K-&jj3y^Iz0|xlTw+KeQYEDTdlYTN#z5v}ysL*~ZkOLkSezn_2xMt0j0+v) zdG&qzR-RV#nZ(N-o@Pu{0I<)%p$S}6j~HgPw0gz2+FG(DByY%SsN8d;pomenZ`B8l zy-<1Rfo=tKGWG0xahh3f^G)9(Jg5tIXjI(l_x?dJQ>CZolOn-$drI30u&*O7^9v7( z#NjCU&NAGWGBTt}(cJmE{F^~B-0Wb8jqPAa{?#0Dpi9bnpYGE74?0ia6CL6%i`=ybFym?ns z(c+4g-`-WK-`wmU8|$zlA;|y0lHyB-joBI`pU#HNlYdu6Gy?*?TA^d5Z05IEx#g+{ zCR+|T`a+9^y`BnjD$wnDuRpFuJV1)Q5d87la~J+w3jRZQ{?hnhn!F6ba1U)Vy6V4> zR??u3GB044i)!7^a|MWv(n7h z8vf;_>T=DZ=jsb-&4Gl=H~r_1m;H&k@Fz96PTulr%(|>y&xLYt)mr&Ap!m^R2oG=I z1F>WHE;wK)4(LkYtNIw67UOor+1{0e$+ELzge7qm2Th_tW32yypo|g6i~mov@;=qh z(cJ^nM7wCUyWL3hA75dbCwI^%5*^0sbAuYBT*(8s803N> zj}W>{3t@N~YCrpDWVrM7Oj=1Tfuuj!1@g5AVF27S)!u2BakIq?$xOrp@rOlR8rie|A^_{ zV#!xHiDX)89bjJuwH}Js1WvPmFB+XlvLJ1-=1hHk&HR~cFwI?W_n#>l7tB9nA7KFZ zFV7+HBH&#S9|{^AM3WH*73?EAfn)k!#7NCC``sv3`eR7e7Ts`XcsZiQsQ5eoV&*1#FZ8Jt7sy`s|#yl~=fYLH);;SB>%6Q7vy)V;9Z=6WsNU!@na1^h(Yz07Q>P^E|Ej*lj98s`>fNr7GLvT3!WEX;F z0ojy^K|`Yjs#?)!3^iO%I;S=s&&G#*yGtMqGQ_4NfZ#O2Nvv)I@{#wPSn(U=%!Jed9c`0;aYD)Xxh^6 z!UCrnu`l+ylRjMEq4azu!M_P1jI+u_o0q(k=%tEiK8uQ%$W}sj*ST3Z?`q++p5p4h~W`(v6#Mok#(eoE$*$@aJMZeh^aTy^2yH9m9 zmO^-AhUBC4?6PTKffT9ndk-x>7(I=#t9)*6^aQ_rohi*9D*vl~4jnH`W>yR-P{_*i zW9lG3l=u!?_1@1ntL!NpjYA1O-us%uNi*z8{^0g-ju^@O-XGyrzM^~HtU3;>LMa%UlS zLDj_AhCfwi-Pa|Jpe(WJHj{Ao+^i+SU(X#SRdTez1ZG1_WGhizd_kDL=4MGVsGEmo3oksgCj~Iued8QdUobqk*d`vQIKx}~NPW=04 za(9;mai;$j4QTQA-aDl~V8vW$Oec5VmH~>xCh3iVd3CYfvx;o4>6**}P1+EUL1;E`gUWB3fdTGqj1_Ft?FX*JTzH%ztIS zQ5CZhqK4*4pU$a^bN;Wx?P*Z#Qc5^0ysA;#WA0R{83Nl|V{H+NIXpca*TYT06B*&E z-$N;XAN$~9Xx0bw#V@u9tDz9ma3EZR*63fHIX5_p#2h6smUT^=kO(S*+C^HGy{&|? zs8xE+xG_tpme93CW6G=46~WH`q$s!?Lu)|(%H_OZ4=f4`=Qr0rOq}eN?+a`^4UH2< z>)e9NBvwN8J=5_6ZmfJ;k{vzE^xNsF9Wywx%Dd4%V)n5Nns5=)?wy*ie!jvWlNAtD zYlW^A$5w#9LeU}L>GcXSL~~Jm*m68tT%V>@#Lp$<4+ZhhnXb?jlem0sISvP?rxyBD zgS$#Q`K4Q4up3^n{k27$0E+JM)i0p74i<3(>!zWm?6)k=SctP z1NB}9L1?KXJ+P+YP?vshOdR91vvD1!=ZN1rp-}$RVx`X~VzGs#P)>_*WBymWh>1Oi zg-B8Y4+ayDzniWrF$ipTpN*pP_F28aIsMA)u(ytqa(WG)$!H5Q>+SpLYn#Mgp)SuQfR{NBOr8{A2(vI>q z#r>NGV_s_9g>|u4Q$>r0$C+PUbpc1jn?^0_N%n!*mSX&Ap)MK_V8JR5G&Hdh>@2{b zxJ+~u*ph43;e(ANt5TW7#g`)?h&)^igZlcfvkIhq?3zO^qEzS@d>p>Z4RjvW=J5NO za$^}-)>x|OLT*f!a8I4J#@u5Bt<%Mhh56P?0KJa=4!OHkZv?g9JpYSMVhJa7nDTIh zDKq_s5b{QgO3;NmFjA%5lgbQYWqv0*WbiQ75*nFC&IoimBIS10f|?7{Aj*9hhUE^J z)AW&n0iIE-1!D|Jg+#-7?kP-qaD@F2sA=hnPoMpDA(mIcTK308<0| zuWGoOqz|PWej2LlXFhyA9zPF}vlqdhQqHR*O%94Y12R5c2b*+I@d6AgDqNr&=bU|J z#(b8%>)9r>{j^0asF$K*cTE5`dDD+NV%dMDr*q@};IKJqJxrc!zNFuS9AH?J=@9B8 zDE0snzrk=SgR#CHA`tU&ZR?&WZ61If;sN@YDU2J*GZ88`<#e3CSo$Kw{ETW=roSXB z#nM^x_ZuTY7tjGzMkl z>9;7Zl>@X?k?gDp3_kdz0^cI{J4~mbxt$eV?4g$7$+SqIZ~PK$ke>y8{JElW2gVMT32tFiHXDrO*ib?x?E2*WFJHtlYg19CTA^SXfL{ ziY1z#h>AEi_SGds)~frIyL3`v{sdp@-Tlqv1X678N$`y(3$9Ch`8INob0+c3OR;^h zA9MuurmmsVf=6nLB`#Lg!3Du_+PIN+dAzTTDJD<3=KlZXk0}^RaT2XzQArDwKWEj*c>QRHSUd-sLSlH+DgM7#|d z0zD>+^yVFh7t@Fic(oEw{3~sXLTeI|k>mzB^&=6$GaP=#43uJi zN5t8_T+6q`X*1V8tc%5B{)l(biPk4fHg#77AJTiNGy^yOcGSny8x2IvsJGpB0m*=! zZT-z|3-SB}x>Iu+9kgMZ|L(jd=3Q0@MVK2W)csMPrPks7^p|3+%b*^JyUE{j%-I3r zvhmnQiSPuriJ7W@-Y;3mD(ox!*4*V^pR2iIv;}03hUnQw*>V?5GCR<(=b();o33-=caKfCq$*bce zKdX%WN90v4&q6oCf9)QIy2P}}S?xrV*4UOnuDVfHTiGnMPttvF1Rd9k7SqE=!OY_w z&`T*fg;`VM^%~RQQF?>CU23_}EnUaNde{I@)Vlfqa*Ahztu$dW55x&r`ThWZF>NkX z>x!y%A@U+sdm^m`RaZ~XIhm9Iy3(As*xVCl;-xwPxvJp@PA(w6ZcpU{>tZZ_OC;8> zR{b-JtK*DLV1P1QYw&1t)h6|Hu%j!8z}Dn#YlBn0u0;Ejtrh#_!T9}gZ5x4ZZ5?ih zDhRlCvuJ_lP87iuHi=_&dX>x`t7HUwET>rJ8ckS&tBV&VrS>!o^D1Ht$6Xh1oJGp+ zT-eYi>$1MGqlt)&n>0;z9o?BHKP7y!2(v#Upa_gm?VwQbs}i6`SoDHvx{AhguONps z{tN@lnE|vW_98_b{&WdnA*}zGPyJX>lintM8_vHy;65ZgHqmG_U;L&W>d;AE3(G$Z zHPI0Q5=1$Cdye7*sg%)@e!yOh+vs;z>C^06-7Vjr3T`MyqD#p1T#JeF(8hl#(4tMm zcV{G^aNk$+>NfwxaQpNkz-h-mz6Q75f){O%Py2ok6paLIfZ#v{Tl+j|Q%3IiEd(v# zkN-pWPU{fTt!9g67U8%@p5rwn3Y}V(Q~Z23YE5+$gTx9`eJLJ#^46Is-SjZ>^t41d ztgBJDCDNk2mUSaX8|g|r;yO1yLXP?ujfTX#(uJ{*!hlZnlz6qjq5Q^m&fDT;ms-SF z2Q0P~4SmNcA5`8dH-K<+HO}*xCdSi7;B}-s*LL&VsRr-Et5LVL`Lu!jBF9&t))>0V zv)W+b+E%8rhjPfuo%UA(lgo-~zCG`LN#SNj9lcs(fBk)l?m5`ddP1e#ZNhA&MkV!g ztfX$O`qPGatf#+!@A+gvt`ccS#Hqy)De`R#{XprQj%fr#=fYeY;C6Z!e1OCnmRLQn z4$oiBw_gtVXSwZgm``R|+WL^!kHXbogk{JqDt#}lA|DM`T#%g}wM?rVDZ7l>i<(pM zw&XTfM3W;4_8;A?@xf8ikFJ_+VXr)Q$=O+L&JSu=Poy%j$F~nJX+^>RVeA}&MG3ZT zyLq;4+qP}nwr$(CZQI7#wr$(SJMTx_h}XD{pHZD`R;MB>=bB@XfU_|YF3`l}iZeFW z3=I3TBHTE47BNVW?U4$vT$*q@&xF7Nks?sIq#pJl%Uq_<{!eKel%BfhcYx}@3W$jOd8%k5fRS%6N{t_Jb&{&*dYg-wmnpbZx z{~V>}96bqeeshZVj-)#u)CHuqm#k_x6s=-_GV}Uo%h&i62$I34Xvq6w74?z)j8R2t zrR|nerA+7DDOt6a*%%_%%pr#`7caoC0?Ozpwm&%9=aw%MVK{C{kXF^j=AOXMHYV2F zql~u}RWAd2X?`fj>(zGZBCFXwl!9GClcbiSg$@V~HMyP2A%va(qA|H- zLdPQ%I(gl#u*r*^)nz`7Kf=4u}%HM@2uP5~HhW<|RwA{&8o{~zwAML7V zSvZ*g5JbjSBy{VE8Vom6^JV-!3pN8!wOwLJi}NP)h#u<-2@Bkd!$ck)OSPHjRm%R~ zU^W%|b3!vp-!FlXsA=22D5GQwRC8!*j`G0iJ&@%bf?<+tlS$Jd*Lce{Zr72$|C> z+01qC^n9soSJ78ZqbjbXvM#OC!?B)G#R>6Jb_@|MNyQ4SHk$f=p~89qAS2e9Qd8}o zn!+?Jn(FrT7WmhvB^$iZAT1>*W+bTf4r5HziQZuenwCLZwe^J1?oAP#xY>dCbbyq#mRk9k31Q3S`ZVV?i;m5{)>>Y9f~#3r+lmMP zZ1oc^Z2(WjZJUo&d)S1BOESffAmzPf*(0$ZqQn{^G=#N93_Q;J`A5vu@yf8I10Qc; znnM~SL{Te3q51I#z`VO&_elRYFMm;n5i|aW8XIf)z?VyBCMJ?quYM)7ealeun|Y_> zzusWE;)pB)VrXY$H@j{1a=@H_wW-2ejrx_kFugOBc|R6m9A6W~?p>?=n>p{M z*lJP*Le1Hg8sa5VtPaPFcX7NX7c|XDJv*!@KO#aa`4Uy5aY;V=KkX-$@7i!zLKgww z96g$zL3wg`TAn%0Vu*v$-zBflbxA}$&ScyO&R9zULm|qtw|{6n4>dNb@RCxzoBl}kjQUVEn3B0q z%qU;7T&ia*TO{uv)ZUrnnkaqM`F|%_F`%EPxvGhJ|bdO^KBE z$os9958W@UxEweU>P1<`9mA43-+vYt+ws!1AAXvy%3fJ{Pj`WsK_F)G&jzffCNlA?E>JJrw{`R0Yd313Q3 z-PeRLPgdq(NKavRzG{v<-fZp?V+*Mh0JTw>K)^ozmfq!@KtW&|@Q~+1n;oB`VKU+T znlw>}*TF;U8c%+KZV8c_nvkEY(8TdM#s9?J*}H zJy{=tTUS}-U5Pwg(!vBkTEtI&itsT!&3m>l#F?nP)4qe`$qNUu7LQcCaYUGmdR@EA`X!hxFqOx|+iXtzn9-={#f66i{Dhh)o&`E;M44IKS85rzM zjcslkBuT0}u+Nqjn_ETe;`mlefP-4k{V7go4Eq36KxS1M3ahaML5PhrNNaJWG6t`r zhV;~V__>ANMG!jxl7IGp`&f;np$30X{VB1%0Fi@6GxxI(A*8~^`#n}ThTD8dnz{Z|?S4$*#*LVO2bAbnXUvmA zJ`i5)K(hIX>ZZiH!{h9JFh(U7jH+qZg{Aq|n%`^US%D=MhrU&K z%5h=O?6s13GgDvngKK(rsQw04mNTX-L0G<8(un$9YORbv(Wno1Q)v6#3jhh!NrTUV zW~vufk+N^l2te0^3lYw2ypOjEq*o?rmIn%NhNwF{F243=oGT@DGF!0$UzzG{o-&QX z%{NPH@m+Ll?==Z=d5|Sg{RPvdBNgZl`Fkf9@%tBG=2kNJzceyf|7#mIh_~=x1xPPFJ zKCV4UJ)AO-K4b_0bU`kFFQ7jF9v&Yq6aV}W6Fi`k;|pLtNBu7hkn~nRd^#62ApO1l z<6RI3J8<#W*VoZkw~q&WFC#acOsG70|0o8eeQ<{WU}UG~$pvR60ILd)kv}Cetcd?M zfM@TEEj^e&>J%X4YiJ`dHV-^Nn;)Wo5EwSlr&JQ#>@LuruYB-q5WQG%7#F|Ry11^0 z+9-H_^_W#LIKU7A08LAnYkOSVFfi7|-u3sYvo=89FCp8VU&6QFyq}72KOX`dE*~EN zkkcLDnoy3uJ@-zZw^A6FCxGxz06}l=Zz?W`2j3ZRJ&*estUo^v-deA%EvLR4xxdW( z(DvdgSR{bC7k@rDdp|t%tFJu>pwm|xq-$6Q=#Ss{?~wc}AYVEGoSSET+$|pXNevK` zzu=QTFPtw|;5M%J2Nqk%j}ym+Jowb=cb@NA5Cz;S&g4nQa`TxcLd{I7rCq^JHGAJtP`x}O?k|8HLh>lzp!6oC4}{Z|W- zx1Z0i=*sV;qWm2=_zCJB+8=u;$UDHd5D^i;gRek>U$NRCIv~K1&#&u`A?n`~KRYC3 zOaPaDt@LO6_-NO0ix`nm$~4~^->LWKs2qk<>ffS{``574;(7tI@aqxY>j(s!2EKvC z2yn0S^p7xjL?D%ZoP~F_g>+ zpf&LnWh4g8U@hQI#u9B+dgNQ|&UwgGAABwNT4_2^R{UQb6_8B(3J6QtGWiokHZ$Cr z+iZ*t2R@WoP)Uw<{PvkPIUCaCvFAy&-RaIf*O;a{mXH{iN1zQuMUY8{?N zxmPEIl^_#Umr!O~(J_N%P>?DlBf)~J->^3rRpH5k;hH?=> zS5mt|8#77xs&^qAxFHku{w)dL>db4BpwKqAGo`XX;*)xGt)ACX5a$i?l;>SkTl8P&m0uKC|DnN9C2Tm%a zJqzlPc*l5d>4q!v5`|vxhT-e{=*-{F0$LoB-Xw3%WPb^YdFjmOvay$Tt13HAteHg& z7v|6Y{^7(s8Up?KDR0u4{Y>;-V{j?Y`zC6a`;aJgyrxj7Qrt6%=gl^edb^$$*drK3 zp=)tU`ciUXA8qALDew8hr6vRWPTMNl*LtfZe>LsFQsHG{uyI!rrsZQ{PQx`Z)n5r= zL%Y)mge!U(3}Pb}sX=JMC`!63rKB!Q%_S;jg}JK6ODG^ifj!^KXLQFgX!6n zXp;w)uzuq~$nh#QK?!HVgD2J>9b4hw+Hd3V)uVb+ia(n(U=2K{d`*{Z`=fr9<3a#& z;NoG|;K>pQmvkMTNx@wMyH`p$)3@nfMoKQT_MTC=R}OefYA-Yo1BvmKB&q+WWX;7w zY}}n{(d;weGMWTBTmzeELN@PHwsW$#-cxMG?Myj0@b;_PJ0WvS?n>zQyoa=b@iYJS zr1`b|`SH1pq1D?!(E#)kQ;LkW8W1D94*Yr@&!VNL&ccT0W||XwJ!1ceZ{=3bk8X8l z>hYS|P-Hbl`Nl@E@|m#$PA#ft++}3*Wckc$Q(8B|ZbnLu^SgNej?86nR+O%bSR+iXb7E5L>nZv4y;du2nELakPiRY-9kvz97) zjJW0EF_Dx$My}}AgSUS_Pz>kcq@k50H^KXEqL97!fpr9(65TM6#*)S`^u?)qo36a2}|l%S|z5w%mlNq>)>ywyGPHkFd>V%jz;-Q1n^npzu7AI57}F z)f@R>zw>R!%a*>N;0!U=R-~11%np=^N1k%G#~B^*X6U9VIYq4u0epJky2##H9h2Wt zwo2OpSgYP10Tk2YA)~GAGtFp3K>T+U;qYl=s?8-;uHRy`c+Wqw=ei!?s+(n}RA~il z4}Zv}%!6?15!TCA4|e zwR$Fff?Nn5J87%7M}_iHMdGN%fp{gKjaKHsRk?G~2K04f@fbL{XoP$K`XM4@^tA4Q`Q-A?|0<-r;kcJ68Z8rSN;kFnyF|4k>)*jADsq@OFm<~G8vn72o0XrnN@8q-hL`?e`k=w&ag6q|}v_3rcU1F13jt9jn zPWVK*;Vs^HIt#XPx9@IqOUs%}%XAxNJx6tJY+rk;~X>{bUo+OjGav$U+qe4t3t z{XIo$ZmAmNxuD#*;cJu}l zW73%=O=}$ygjYu5t>L_OPt_9Ip&^kM3N~%ilw-hBV{-CU+T`@QnBk#(Pl}u@S zaO{?bnoaMrS^5dsbB!bck&+aB3YNsGkq%C!=DJUXRaD{5;9PwBo}>I1cfm@>t3%bX zoc>b^D0f!=lT52GTRxMy8dY9>$G&M(nK=|w0cN{!O!woPYEZphvLx-phEW$~*EOt} zl{J_3`wr!tpZqDS7CeCG_POoUd3jlQ$?*C9*-)3X&>Zp8FygxpQ-_L+@`_iYP~C6&@h;QxkHT z#ROdzSd|C5xbB3iXeK#FFxP5l=;J&@0{Lk%IKgG_LwXpMv${8kM!r`pmMs&3=_NPn ziHQ*0mQ?%NpYF0`MdTKFJ7`sm2-|uMv+hqe%_7w*_9Rvr^N9N@6?U+j|c`CmwapKmxLcN_DWP0iX2 ze&cE@r#vAvVe6b&&+4K|naO^LtZQkP%COa(xKwcxP`%oQV)-S1e7U|Om`uryx$*g` zkiJ7Pe;X>x0qcQColC%ls#SjGIG*d(Ly;I-z%C_w%c-&I(ywy;;q;w4UNyFPMckSU zrs%TnZCm4n(-xe#G$pVr-)Ngpl?`7?PK@-Imy85Wm!;Z_?}Z8y{bw}UJy*hgs*`H= zw+;3!w0#)s5>9ayle(O6U#u)3MBqP5kMSiIxHq#bTz*G2EE{b`tDepaG)qm-m}gu= zpcFoS((ogcl2qwv*EONdt~KQBBxp;!^mMVFq^ERm?IKHL5_lx@&Wj5n)9))hWc7MV zD!wLqWxkRzO|TfHgPa6Sreg=2I8~_xCMA`I%*%y+Fk5>$X)ITxmG|mgbgBn9+c=r~ z9X|tg2R8nkdY=MZBDNH&IBP6iw=Vg;EA$*0x`@Oa&`UGWb+yVh!#9fhxsv%?!DxSX z9HNNU_iQ@*J^StcE)?$jN1n>5pUdF+KJ!bk%sq|f38weodkJ6T|Gt01&az1i?H&|R z5yu^NpgHN_eR~tWjMog&$~tSv6?~cWI1S#a`5LC<$!_pb_@q_+WSi^<%qOFF`1EvQ4$ni_$gs5OLeiOp04$bGB8* zO^~bGnT`aLwvr;V-dHh*Glt<}a6Y!u1l##XNHdk`-a=0$b2W{$L)ivhYL&$GKZKK< zaO>7QS!vit5Td6ao169tWFA9EY3&}@md!QJDr;_bEu4yfF;UNP&I2;m z8-wFg4p_mHdZ*|_l0)4dVU>}K?0?;tn5`yRVoBQ&;ae{(V`@!rn9mEPd!{|nNKijh z->n0C=R@EfNzTs@Lh}h&@?a}Ng$gpt4G`3WOT=w%Xv@XgDc;p$)fA1tMpXrNyI~(0 z%xryx@D1c1+*8Wzdq-=sD62!ptm@D}1;J>~**Qy0$GBX%(L8c=*T;i}1 zHC&*T`lM1E;jX(2$Xy~~NU@<#X(#92|1jgq5M_@zybhra^jjJ|KQf|DdtBGQ#xyW2 z2y2bcze*+R8Rzf`_w<(}tK?|z`kL-Sb`QGc$b7aZf_kiqejJz_!$YisJ;#5o| z2(*o$t8DGL`oq@Ho^`HiW}p7bFDV|yV1pMTP?!)Fxe;>+py-i##n;jg%4 zDg$7aQMgzPE*X0LO*TONcAN)HBuGYe?BIFyR$}~d$c6>dN`O;wua$NhmfGyFHAEUQ zhI8+x@nJ>tn6Q{jD@q49IAcLYe7SOCe zLP^4a7oYG$0xpQi@_b)2n`G;m`%S7%$k`kY7BGw3Jc8_*|=eS8%;@sGdN`0u;JQ{BNFHyzTOKqvHFHk_MiNjD)0Q+)HZ&^`~WV{D$tQ`UN>arX}C^EIH zB6>{a436$WuG#?qP4!S-*ZDCy6OZ_wwZTtsVLBGDh%M#kQsX%1=jw@RtuRvk;IpUq z;?!gS^Cwc;XTiyctcmH9@TBQQ5HOiB&2y1#*zyRPfYdU4wa<;nka$2BaLhp?ZhRcw z+EasdGS!ic5TYXuoL(RHDz3DGZY!sldYWBuqv_H&wSclJH3DhtByuNMqFnohCSRkD z42swf$x(|NUv*77FdItpt)E2@t#=;v+(6ow($yS5GdnjHs>! z*g9^<18UzRAdks0TB6vK@RwCe=sOq#AxhA0#uf^{LRS#kl~Z|CU0IGrPk4HhN~&^K zb^E;A8(sKvr)rEq*dU04jkV?E8pFmr7;A+}t!A=Pf;L(;m*qYBw%yR{6iUlr^PQ2i z(2!KvnDY6be=Vls_-LA7(Y%BzsN%ZGk_FNiqqN5-b!_i2vaxTmjV{@L))1|}iF@!k z&xl;vr!=}R`l(-L8HBoG>KnX5issn`CGWW1FVipgh#Mk;A-4gOzQMKgeiA1EwZ+)h zARAAVrt1CV5|0sYJiBN(mBHD$wS0c%i?^K}I=N3$eKmK}2mx0!QXPOHR5%)~J74b> z53>VRwadl^f)Dt27Uz_p51{?ss9auWYL}zN*w;km1I`q{Ty=6eRE?O_NA{-_-jKJ_ z$z=vBN_^)F2+=4ZmUU3*0j2%^Z=wh;j0kyFR7|<>)okfiZK}$gDoEFi@pex%_oX7^ zY$ap26UH!Il!g?3kG2fwds^0&`o;Fu_GK_!V7>0lcm0K1s{kh>)s*}0NPj7M!zT> zH*0cgHQ=kzY;4U{2DH!NvKh8yr1!d zk~$qk$7;N9gqMPS+&h?51%A=DgR@aD_pBLD`(jiDhe|+lspk0V2b?l++$d(e7xWa? zmvN0au#}OJNI;C0*|)B7%N*5s8m5d)re80Xe}iPApwDtf(0!7~jfRBA_lKY$&#$|9 z_BzNnydIkOlc%+(;qMBdE>5ikxxD_S*<9oqim7L3WKjZPJr4aHi{<)(ddvOGkgdVONOAmho?AA#xnDYUhBS`X_ zD@_hr1<4BZYYJxUY7!e>ITu4w+GExu)Fka9R|rlT?+E#lob98y7hJ+_+Q#l;oaWo& zPSw3{Ktze?sI7Np+)zAiuZ1x^Kzn~55L`|urw~rNGH(Q0rX94Z)d`q7$uVSO$;(v- z?G|9g^Bdo+Q!$tCPXVaH&imW=gCB4_<9@S6N1=>3P#cC4=dNj=Vt}b1zdOqpMh3S@ z8knTGR{aZ?Ve;fp_zWz-L_8IP1s!!!yL?yU+hv3Hes%Y$uOvm`uW2GI(5pj{6sW7^soXlQ7s_{dQLTq*UkG2__@{4^(mk6( z*1)1Cu@8;a8m7-(@$aTEqL6PPlyMZRf zUIWl(%vHiNBG|(-oOW{g4^u;k+{GPL26|WhktKo+UVaEZO(gKbH{bqI5l3#hln?O2 z37OY58%m|lQ#C%W%HuZipgYLVUSOD)iB1y*=^kV$BgOE{kGNx&ITbhXoD=yL_=%I` zQ)nLuarf3-3EyUuJBV`afcSh*m8O(4#8iD0zx@vrI2FE0*p+*!;(6;Ae)G{UOVjY0 zYUUWn#+L1UwGNbfy=rPT>2`%0ezuaaA}7@1wUcRBCp>gbys2Y)MZ-_X6#T~*m^kN* z1iC6nWh0(N3Um!%_yX+%?KF@l$MGwfY)U9<#l?mwwvrsnh#KBx7P`i8Mm@>e^Y^PK z+7(KiFxd+-wq>t=XTURw1I$2mT{;`?x~NH1^SKoDwmBh@dppi`kd^(}IiM|+D$$uz zuf}#hNY^^sv z4F3_z{`Xml%&A^$wek9^dGGPMbNVTJU8(e%mwS_&Sygvl>1EnE9zKk7rK8e=J)M4* zeumKjNO@3M8Lb^14It`?iq6Q0V8%qGMg``jK%~ZG>mQmy!T)y(p??@!-_+PRkN`NG zo!yf|OGCXAh+L-prv{{a6Ej0|U4sL73C9{|t45j{u>0obCh&&V_G!lU>*-fok%0-g zT{9DKs>XU6fDkfLQ}F>2KoY`(#XmTsC!;BWhJSu~ZDj%k-^#?$^wv-ml-|w$&)Sa} z0KG#!TgwL;DcXl0aJ?Iwlj}EFdPh?b4!^9linz9bE($*BU_K=feIpy_nB))B_Rez1 zC!QS>lG>`Dh!~Xpx8C^5nIFmFZ_3Z=#nn4r1a4>qgubQ80VF+ZQ+;EY!5f;L;>!sv zz{_vB%r^G#=o1`%n%^BD`R{%_q`sx;Ph4A8O-*+~4u-$t@W9Oc^zsx2{;9s@i8b6C z+AHpi>aY3F=I*6W%BtTRvm@)b-rv6INKw__@%-O`2R;l?{SQAQ4k9%(Dmi~xqVGP%;CsE@Uvbah zSt<3kfyJ=cj0gn&(ZLZ=eZzfyF#E>Fk8d<>BsMcMCa+b$q#rrzU#1^7#*7S)%#42P zYR>e#U`?~;P_>V!lqt1<#i?1$%K2(Wz`E(DoeO*|7_Cf9Y`sJ7@&jbg{{2}{jK}NW z^(0So0#-@-Ag-LuSdz#kt-tSDl8Pq#dTo!j%1b{MMOM$~t&`oP46 z^u~BMsnDDKjqQwM_w0gQ<@Xz!!eUYm0X-`w%t7+(qHC&0E2Z*4R>PwFrCwb_y&#hl zs&wdD!~r%ZSCU7J=nQk`nOI02x=BtIpJaV%*7~`@dO!_q+kd6CW4`h=dX9NcN9dVE z-g~PTNuF2|_kkNEf=r1SeP(3aew|jtd24h>u_xb39v*}dZi8Bc$b|Lr;|2A3VvmLz zSp#)1a;}z51KYv-o^Sd4O#YN#Juz)lx&EvLhAqBT;442B-1ek%TMgZ8eY#F_V7FF< zbGp%4wb4IsmM6|xGI*|_o^z=A`+1EMb=2b55mPce6ZVCB`k2^R4-jjL_YU0_{ZUiG z8)?PyQE+n*=0tyX8t9>)&k9by$%K-`ZGI80 zxTee)t5Y|O*Q8i+oQpYjpJe_cwW|$s6JPwPuj+~}(Uz9MBjon`wG}(ea5;;WigY3^ zGY-+`s(lvmV$vok)wlV+m8?wU_&L5)M!9z22j3b2$w zDgb}`O65syupd*f|BMQ-%oxcjhZ94t9}!8z&p|{B0`%0sPVL(4qA^U&k2km2C$1X% z5uod@j1~2@-EwMIMN7bp2b85Y%Fp8?9JvXwNa9NVIPEr)?Vb+f=8_C@IkNfL`Xo`D z+RrGOkO;|2#Siu-j|eM=?PtbR^<&X<8v5yi-9BL*WH~B;?Vri!onOBX{hn3#7P0!A zTv|kWNTBa-ic(&PVcX4Wq?6PaMHqmWW+E)E=y=Eav%rOK;Iq?-w+N^gy<(=6d+{Og z19-PAoge73AE)od?n7?-@)?)@-nE1I2e3D0`}Rp?Aj<`K>{@^HL)fSos+v6Q8|&sa&w3^>fOWa&ua(X_LQ zAtO(q6$_pl0ud)_vkr{{7%|7=IfWW=co`tL5|p-rV*H}+Dm>boB9hi(fjItVq>T_W zjU|~GkhNRBq#7VU{;!UKEzj(++C`u@#a3Ff##nx_cRhl49aZwtB5pjb&P;x@Q+(tR zWSiUl6e0=Ld8et!_2~jUjeD@v+*YFO^U@DZYu9_LV(Q28@Pd@)i`-7kkeq254am)E zc7(N2dt;MoP!>4U2LzFLc8gHOs`jo?pJuL()zdYo9%D-lNe4&a&8}%pZ7g~}l=G>! z5lkF5;8#5T>z=*(LfeQf{!vladB+3#mt(Z^m)$jiZ|syxDg8A;LK9$plimoi+T3_> zdrrh(fe{(NhjZ}zRwVQy);E=OHkK=(wlYb_(Lau6&~<^gWsk1S=MgF{Y?*@Tc>zl` z@)eIz8jQf}O;K;hy1tDQ#%@dW>o!XT@J8grQrQ&ZAQip7{OW6reU>nLGNz#%$Mx36 z+{eto8{mOxk{M^tsUEl6b2b6S0W>^MxK4qUnY>ElyZ}>J467>OsFXW41+#&m|LcNb z*7{!;%z3i0u)3mVi~WcKN4WMeoXyc`%EUdV#ygH25DDg=+|AZhvu*y?b9?gjYJ`7o zc6Ft6_%%b#%mO$uK6sL5B0gmT_L^!XU6SS9MyzB3GH|G*x$1Lui7y^lyO zx!})gREb$&hnuRKrkk_?*Ke7#oO_Y)%10CbROZvHB>BY+8Rr+LX8MR($;vV^wg?#; zZDw%a!YP&}XpYl~c0oJ(Xia<=K`$gLfrx$?^WWR2!%gs~K_E%KgJ|+_P#06d?N^Y{ zq8G%xf+p+Lc!d0fd6nr4dfaL^BW|*{pjv!E-SBQT4}gtN<|z1_bq2kUUD540HJmi| z3O8XW7{z{u0G7mGSTw)kPZs5X4xTXHrU1B+JZelJKln&vYN1=)ROTc;BiXv;m>C&P z*`9d?5*W8r?PU=Mus_Uj4fS-3eFj}D34qiVxA3d}>v`wVGiZCVg?fE=r#0$?>GJ!k z$QQ(_FbR|FA}3~;lSN$Wa|B4GwwO^J@oDT7LVsn;2Epn03%g=Z%l=^Jl81KAqIe%P zd#AxnUc-tAhf2j~c>nZoWs8)UH!(S`8Ad?cnoi_XVwNS>j+8KMi(y$Cuje-hyW7q>44Za#8z(kp);@|1u6rC`wxCeh;FX{`RC z%jUk)?*^nVOUAX+WVaea8!3g7+a{`yokl7L)Bz`w`1Iipkv4wQfQuX|u|1qAYZ&+X{u> zQc%`As>L%Gs2TmllKj>zMmSsmwCViw(F=N)oJ0F!V&DJ{i- zD{zu9@SB4g%_g3^;lrmNI!2%$#7LcSfWv?NBs{s3s60dW` zJ37$ogSezQMWAJ}IzI=d$Nnsq?l!eYBgZLFY8G)uGeTAJvUa z8gzUp6wsyTP?RBMHi35N`3Yok=1yjM@c3ZN##v;K5$Bg13%oU>)XD&8q98>wrjDZY zn^7pBXjLiX*X4!We{lT>rE-|SNwLtO3h`+kF*lR<)Lo@Ywvvr#kpV+QT`c8oC!_}& z);QtNkTVw3K1BRYuSWa__3xLrh-5fhGqi}-hdqzn9$?2bJq#_@d2Bf>8MEZDCmgAk zWjWu;s^yGu-}Pv~12(p~)a?(V0SJ+-6Ybxs2%cf%VoX6hxZ6i04*T~by|3P!_gyf$ z@Ssadil;oUk}4Up9jATr=97HvN#4{e@j^Do&E&z3heTur_lxF6d#G|Ak2NixYvu#b zyWO~JVR^$BmvBG0is-H3K02c64yy`c+k~E7gK60>DRvn@DVN+x=NLWFeHtW5vUl2k zYWcHidDTYc#^8R)oxsr;WDbWf0Ya5YSlzCR;z=_>7u`D9C!S&7c|07VnJViQUNaqU zQeA=z=sYFygzn@OT48!?KKQYTSS+N?Bw)t_`TQYZ&f7p}Ozs4{To>ATk21g;^)vn9 zT6h1+WpYm)<&iND@y#Payp(<1(8z(d3K5zk{ZNQzmgf9zwQ%%rej1`;dor@Q>If1C z%lav~BP1QpNoz`VWm?Y;PoMR1T*)h$^SmD#D%~-~h=ZwjTR#Twg|3uu=atB<8Xm|5 z(_W2a^PNC3un@-=9+;TU%{WxR-Y5eg17mzv71c0SGetwjc|hCtuL`?gG0N+VzJxD9 zkZ=8usucqM@7^HjZ=-aNXDW@lo@O;?JmH+!{@N^C- zgjWkAIUrp^kdtdNrcS*oX89&1d0x28%N=wS_|MF^Sm+ADRe;|)+hMwFykY{Zy&&Wt zt?saTv6jA@sBIBg%VQtpwEEIi=@JhjV(Ud^g}N_VW^Y=(ujjwl)!&4LBf-q@wO7w9k{hD#EBTlr9uH8 zD7NoPI7z1}R-1u;1J_}oO_P^31P@0dS@#zZ5wcztG9k1|9i&JsmcnW_P}s$Q@IhrP zyS9sB1t|>V(Ft7W#2*g95q6iOlk%?B^AJPGZ0(5<6OGm zSZAC&O8@Dumvwc05AQeH9|g$dD@*>X{iq_WA~XX8 zqnM8@O~e%1%&10a)B9#2llQx4DZ85N52nv#G$zbbnXg;ibI&Bmgug)88lUCgW3vqF zz5q1#(@{wC0_Vk1-XDBZ$=YuI9uNH1~G)fc=@@q(-pI#X(MlfIBfv{sh^#~9KDm}owU zf?>sIVo{rW$YVdoH8vX3R4f20ipViO;t|p^CSO@SNhDSQJ0sJ)Bc`PUU9q+CF?w=v z4?SHM#l&pLt$D%09ivB(^#o!5Dl9I^Q0+a_A{O*;m6!%so;6$-ILon`G=nGz2b{Dp zwk||eTfTSKwD1pcKxyW4rYd-|+&tkKq_9jB9cStm8%g^D%9#R)G()!R`NzD;bFZL+kDgK>WQBIs)6_$U zmF+)&750O&2I*zAaqJ2cAmuHQe{O|1(vXk+^8PWIUCswct2&6#BEe?xCARM(U+<_5 zx3| z(x8`umHugtmed!@w=C^Pf!P-qFD{I5%Q3L@Umf-ry(LuZW?e2s^ry^;GJe;q~WRxC3kxsv?lyvt|N+rv5xV*N>mQE$;TFUb~BA2 zC&}*VvT!IVObaijH7yw>M;FcczQ&+J>ayE|um|(oEg4@pmoI;xXtD=hsCKv?5_0*$ znubp6*95#`Ylj3a6{HYzR&{k?vjcP=0w41>9Tm+cIx7d{0M12r#dyy!AL7Gud@3V` zfn^Z#l8xEAl{1EfQe&rDVSKa}9=HJQ);rNB>``LqI&->ABy|haf;#E8N9TNLI~W0R zZ&g=`LjRhdjB8G;;&~Sd$TvXa)GXl!#!$WXa_1z3gbjGEQk^)m_>iNhw|o4fM^Epb zc55byX^NiQ=upv;K4=wl+ctG+yh*xMKLr%KEsgamaSZGI1}2jMC~f3PR1C}&4ICiR z;7jwErf+WnXlmucgj--F?V|9j&sks#TdzbATsnGB7T6(}(HDz;&$MudprmB9ViH#? zgl6~Q_<04yzqFRfYiUzxNX8&A_!tkTMval#?PQ}?Q76AL4I)v!*N{vjNv7e|N5kXD zpT5=Un5;*CwpqfVUK843(Swg0V-JXJxf8I}8Y`^X9YS9Tp=y7xC7b*}p2$8MV%=6U zl54G|VvKFZPAY-6XcKYW)gYj`lqh!@7tLa<&`ew$E}C=-K`E~94LSed0#6;ywDGBx zZG~WZKIsu5lQ=)R=E*t|^WD%Fte@Szl*qo0k3{MY^BAW>6EP{E(P!yFcVllA4)tEk zmO+pi>(CaFvR6dQ^{JJrMYRF>@izt;BCQXMjwB^3^>%bJkg6FR^XTo=Iv3T9Xlto`N;hVy>E3 zZ+TpPw*P@q?;uzH2c(=e$Q=iGKS013;P>L6BGqzAVwId48@C=+nbiXh>|GTJk{Arw zW{zX+I9Pq(l!hoQ`rrb$=2OJ^p?uin&Nf+ z__mU{VPxKkgzqtrVCeJ$c;Ucc=?{bxRckRCx`c@e*#H>JS&+Ct%LL``Ks?UJB4B4b zKNhb2V)@IM?ChuRzxhz6|1%xL22hoI!j2s8ykKzNN~Z9Oj~|K>zU-Nhl(+<)i6>97G*&-Y% zSsZD2l{EI-L!8VLGY@Vy7!s)=&?fAo!dSbX?Iy-cuti1@;g0XD{mA5CJcikJ-hCB0 zWzg!5Vtd+uR=L*VnVF! z!^Dd}(~0}qLK55{{@EA40l5S7emMPhWmuNLWkWE@N0dFQn`MAB-pRo)xoMjjn z9fjKNI4!sX`%MY=*rwpqK!u3RV5NN*h2`4qP~Y59Ut^zc_1$>VV-Gf=%>a*58VA@+ zP!cr}+do<>i7t>EssUZ_tdBROFO+F@wyNT z1LSvHSa1BR3`<&*a1)-BwrTeUOQ4bYtw9H-mL$xA8P9a-<;4Ux=uz^X>^#E8@~Nv} z#nm~2jyIjxTVnm!J!~f-x2a%zY*?XwM(9Zjwc$hHy|ibXE1i@svlWHj1y#Nv0y`?N zXQsM@2HPa<=v$NBYPa^LN^!OCw*pYbRsYbm!C`+nOZ*f+U&-G;%7ioOZC0Hh%cPJc z9V6b{FZu-M)spQ<3wowZw~FaUryZ0XHH1JJ9)3sA=rL0l;xY>7wW-L}NTAGH#Fa%H zw40=FeQPNout*bk7Xsk0%%LJN-6di0D#!GB;J&q@}tSzKXUI%!H^`zOTNG7Y9j zX)OL?ga-BlbNX{5L2xLGeOl@7S=d|{YS47=8(Y3K{mH~KI)$RU!oCcSFK>#X`uju1 z*n_6XtnQwI6Gz-n{w4!MQaDvniaD85;X?Ok*0!YbkV6$m;Ax;tKhs16)Tk?JDK6&< z{r*@iKq9WbuDRh$UYCMJhErfYXZmo;fF&aMhxp&AWQ>Grvok+V;0>!$Drq=zB|q6> za*YXLj-6(G@a(My@mGB&a>dD^R^o|_QdiDFV_vADikOK_DyT{QRIIFiNBMitArY~Z ztwy+lsfGYC$SS#1?qW5DvOA=9 z4O;j3Nm?v4vlg8Lv0nCNm#|n+%cvd6JY4t_>7mV&7_GegzPJ@}WXv4iw0-%aR!p<* zBx77(UmawAQgX2xbEfuV7Lj&hRjPJg`_XlJ?EIFHkd-cMn{na02)J(UY{{cflyuYce zN;mJ1aGyl{$l|JR^MF*CK{c)Qc(b$8Pk4N*&yxm@5 z=})?TMLE%(ALn1{=!#b)ICvy0#W+;L4`us~YeJ1WkWLBl=~rh6wI&up&vgC~r&uQ! z1>J#Fx(jkA*Xipq%C|kYCgee=3VXmJLOSMi=9xY;-(X1jETpPsKf~E=u<_8yB{+A>gr(*Af^U7O-U@n?7;;OrT|BdSz*#trVoKg^nFTwgI8!m!TxCJlisYLkOEQV<15lCjNsh< zX<_2q%B$2B+_T(KETL(Y@CIj*LxT&(AeS+uwj)dc6hR`pH-QPvFiFETCR*0L^`>u1 z%u2;v#wrfjMc#WXMzh_#10$M`4`&9T_cp@uBGJhA+k?59VZ#}tygT<@{Fr79C8a=) z>Z(>#|GP?311i+%#Xsh+yTkgP%|u;bg&e<%`$(4{gU~N|imklRTLaH2Uw{zW@|2H| zEg%FaN?7_-bQA_>4nFv~?OP}<2QEoXVX#OQ9Sl9DOYB})xyhH5`!49{gP@ z3;jqU=Ep&KY9IN;PaChdJtynZb|o#{MtIEdHsnKVKj2_Gbx{*~=(DC-v zzGk!QZ-m*{(-?7}KpBSS6JmJ%bXPZR$3=L#zgt*2*^3esI#x|MV=+3{QB3v&%PNO+ zdY{t6u3}=-EPHF>YYcJWR&3HsGTuAW|Fi)X$>A(zN=ALd1xjyQG(4IcX; zN5`##QJUB~K~E-=Y=qqny~S*$&wAy|X+_@x*}q3)VRIY3L9p9B-IN6aPEJo{*U_5< z@@AP5`ny!+?AXQb*;DI}JU^o^uFD3E(3noGFs#q&ylJS2M06uJzskb%j&ue)kB&9% zN$l_VC)vs?@#|_bsse!+W}+bE6OTSDNU-e2<}gncg3HmNWW;J*hIt~sP!i9#FbTD$ zB-LL&HduWSyif>u`VY#rxcE^gAv*BOJ?Y)wwP7v4I+L7L1KS|vz)J`X4RS#=9Zlmt zRzUSj8X~KK4HRAg3_U=~vmfBv_GCI43a%$cR%H-x#fwhC)r`{0Cha`%LHgO6!m!() zBYotd3u-3WU{kXx;|H*E&Ce2WZ2H@e{u%*0G&j3y}>yl>a5J|_xpa*wWmy2MIr ziU$#Gp?9&UIN0ONx01&%C5QWg>#Ck!fc1J3D3J$c?-!-ZCIi}lJFE)*T$pxz3w zC+lG8CeixUhqUV6l^jLY+Gu22VNeFO)%HOvd*km)WV%J+7tKJ#EO=^vp8=kKR437ZpWb(I74n1rT&bU4A$HkCy<6Np^M_MNair4sWabL2g9k;fo1IMy3%+Brzp_s8 zKoXi4sEK0;z^4s4Rar3Q7#lx_x9NUAYex3VUNNbo`b?jN0o^i@i=x-@y>=G3>j~o} zX(D9)cP-`P)*RZ-K}YMDHH13~Qa-+|vKF2Hpv%SsziUW7cFvE-&==BER{w|AE2xe5 za}?RxxNYES94DpP3JhnpF6;@hve_)4?J)z1|4YR#8o*ypguN&!o6E7ZP1^>v9z{X> zAPXp5m8{DJn!G|#sPXmBqhGiS*{@77J%~Mr=~*R7n7E55{G$bcbbm;2qW|) zqrYVWg1!C_sud(JHOjSv4V+z-^GZ(SAHh;~cJUJqp-Y}JXa4T?8!A?Xb-7DpVS3KF zAGG;PWyQeTN*#3vS7Hat@!Cl?6~mSQ-hgB^>qKwbL^7N6_7P|59Gc;-J{i*C|zGng3YRDu3HerQe zM>HQH$MZ*%hi&{WV|{zm9<#lL@eDb9Trxj+r=i}9`?>m8q^JY~G4$R!YHAYtR$}>J zt^AtQDKL{k)$Dqg9on*Sf4;R0vt^`k$P;$aysv;vH42`4J~KV!y1WyME?ZQ=7U*qBe~~D694ufEb>>wE2}`0zNv&R@mU%Gh z!ksI8OwP;N=EXrdbKn%nC1n$t9&d!W^KXsyA3Sx8{Tkz6JmIS>8FNm7{?l@`d0$0* z1l~X#av6y}6F}#*LTozGc4T~R1&l{-tgg&Rt^z=_B+5yrJ;6e$H(^alHQjH&xph%h zmBnW#A8$|$=eX~kaaOiDf;C*Lc>Fik)%A0|$5CohMGeHqv0^{nl6uQiFi(Q(9mp{w z6LTAqA+uNB6y(IwEk98xd+97zrr;x;h47bylZHSsGOQ(%trKl?3L>OPars|2RnPVtUjArDwKdkE6dF7A(Zy3Qn|vhjx% zi(o?eXCnm+r6O3ZtREI(znDRu(9 zSJ|tkr2!svpnOD*8c6aD0QUFTiSV^FTxUrOj{0R-5j^HkcD|5uwEJQFPmtvx3rK!Pi6U6=;7Py}$2 zd;!P?$S1)OQ?%2=&AZu7;T~Ne*qX~nmPXf6rwSGUkCNxtAPnFe;7xg<<5JHFPMAi~ z**n`Cf;6TxC*2zhBMpHQ#w%+biIbez*khgu9vo#46GtwrRGZcIQdO#2hkpv=aMv8U z@|g=wBGkcy_S1+Hv_{|z{F(5dvFJNt{pWU=BT;wpMX8LQHR2q`E$zxvBE zY$%~G-fw1`@Am^wMWwx;)&$*`bim^MMc+p}t zO7vQJ#`#5F_PK;RRk<`kb=q}Y*K-6uUZx=0K@?U7k<6G~Qf7YP&Q8jEGDXhLU12s- zD#N_6M?iFhVTnH2ia>=yR+J*j&J3TqtNB!xr`}o`nyN+gsM>7hQ~jbFqE;Gg_iQgD-CB zl0pJiv{alS@PNo($GPML$@kk6D%D`dda5tQ&GPoOBwLdOI~Ft<^wa{!f$a^)mQMp? zc1F-vU@>J{ z#J(dpzJt`aMeEbtTl*3PFHlPPuykVP3kvSOWQ?=BVVs*i{9jo? zr^w-5btMZp{R?D?ZCw#^MDyAI-KGK2F|zkxJyl#*Q_Qffs7uj?iozEQL#y~LQ+}iT zVO+je>s|Xw303og91bi?gDA>CgdIP&>g$qEHphw)0oOSFx9DfbZRDbvJUE)4FZ`xGfIuln6NbUwYFS-1{p5bh^1k^9{dOHX}qo2L{1|% z@JEbe-LKdu>T!h`+|Vx98mz-ZiN=aU4MTtM4pptELwz?rif>$0;B7^S4f*$DHQYF- zUawrN^)AyYsYax~z0$P(I*_H`+?Y!rWi~tt0$0Db)?|#33WN4H^e$cF>!WnyFO9*8 zoyCP;wT*k}7q^~hD*TJPw-X5i3racAbSlsSNPPT~x%QD#xxJ)` z*yiPL$R#-2*8SbI0DXfrh}5k`=EwZL#;vx0n9 zPq-FjwH+3a(;o+g4$VT0Ab^`!yJN-!;p5H$^TDIKW_>fL{X-6P&Y5u|)?q-V z9unN3rO?Akk2FbcvFa}Mqlv4^KV}C^I&Jpc@D0DwLIGQOFMPKfID`F6}!zHx*F%CIPhn`TC>J@i;rlvXC-&g>jgi z@x=NF$63>*;eN+$8au@z68b?FbwUSviZ0!~FTtg9WW03*&G{HL3RM*4uG6 zJZ)S!3raCj=T=ROxDUF8{YYG5q9xAJ9$MZ`nqU2C&QPjpyyNqi{x3cbeejn?f$mK2 z4{#wh?104aoW3Y4;|^769JaxGOrH0(zM2sI8%bq zScBOy$=!mGx%}A`95&mYXRMLvB!oE+P==jiud63IOpC!X8TawUq;Vjo8{4V8TdcPt z_vcnQAE9XA0_v+&4>s5OWab$Y`dyo*=|eV^F3i96hRGyQA}UKV6-&%Kq27X-_>8uv zVOdP9v{3ODc;SIlqOXhMp ziFfrDHo{Fw71c>X0TML-{r+wSd=kGtM*XSFv)^|Rz*NkmR6D9oYK`mDv7F$x&B7k{ zxoFfd64GT$)9cpX>~xC{Uf~?|1^xk+E9X5j>^ey54NFGu4LxC~v&*DnHUplSM*?95 zdw7`XdEfv|e|wv=uHn2&%0Cbn=I=clr5!Ns>dOaph1QOr@oNiz%%ATh%ON*OgzAU?LN?I1ps2^3471Z9VO#v~aDv<>4i1IuX?XCES&q;d;(Y?kx9XYP05jD| z9DY|p$)E<|EXESFf-dxIG&n2%x}x~{K-Tn7F#0UB9E>d4z4D`1-+DmWKgr{FLKu2|Q?i9!^2aNf#3i(8c(>8Wr=qfPO_fH>cORndCFqycBOzSb4OOEm-X7Tln8_KiKK0`Oj@#oD@d70Z;iPKK_TZNu`ZJF?9WFQm417Mu zM+orLT{h3u648P;#a=zVm$CnNs`>7D#4(|L=@#A*RgdIC9aQvT{y2t;GD0_J`24H> zZik^*qY)F5w!uhd>0+&kjp@`8W)$XasJW74oV>n0i#QO>cu8#@7KJcXiQjyZ%1VDZ zPcjyf1(q<&J@`-mwiJV$KT|0Am+wvmIIeQ;2@8lT_66NP|74iu8TU1@S!ULz_ap>EmWf>8su!AE_T)3U!Bq*+RV}IbVvz5F~W-J=AA)z^gickII zLV+3Du${}$wn{D$)}n?UOxe<-@vSIu;(zY>J6}B&Ffp!#rg}F_zHDKlg1hr9{LOgY z(#Z;-7kpJd#~wnjr0~jUdQXN-e&pDN$ry*Z2{{b`yH6jCAg#Z57jyH@LEN#u-J|9! zZNtwT{#Gliq8k_FEgu$;YWN09_M)w2Ll$@D>4{F-NFiiFvl}`ECT0X5wGa`u#U~xF zK{W6BPHJry%=!*LN+&WAm>tnm3>I~!@RxC#S07l-wg z^zgGw8mTIW|^@4pCVTWfLkYO za058MuNb~L5WXF9+Rk@j`X8L+Rsm9MaXJ8T^=?dB(qFubYi>(%H8Tv`Itb)z!pdvD&5v zIhVxtl}H_qye^!Zo4){zQs)#}=ayz}Myod;V=JAe-%9nDXi!o9))OvjXZy~S>f(qj zl)pcqV%&7*@&?%iH#?E(D+iSIw`a`jxv`{xmrp|S`cU(@XPsADeBj6 z>%MLU@v|Fnj~Wu`LfMMll03iICz<_By1ERRCgZ57U}||&N2@KY z0gtpzmq*b^X~3XM5JCewNl;nP@f_hH5BG&?Vs&0V)s$n2M5U<>8e|GqB!s#_CeQ!& zzMbH^@G%jpogd@iMX7>m7OZ%|DC)6M7!UmoYZB-ovJ6b!F(`qZC$o&QCC+O}l@thY z8?SRd`;d8A1l#}F50;Cf)viI9q_m|Lx{o`5N1FI0YJTEG2Y#H>@iUTADUjMKs;L-n z^C$Hy!a4suAO&VVSRl1Yrc=v4AharN_-q4R%biThsB}BUQkZJa*YG%glb^3(m1832 zm$i}6TeaPijiYY9#@>L0VJnD=9!~H>?I;E)sb3bt=GvEJe%iHhVb-hF#7W6n0}k+C7C8@5B&=KL4j$UMh9Z z5xQm$zuG5b9U1K!f<$Ru&4@6^-%H?#KvinbF?35$ExfQLAE7^P+4UNxG4<~k2R3r3udG#ds}DMsr$c)aasB7xBx0p z3Mfb1Ro)|e2iO4yJ}|5ArDa$dpXnOJ+%Rm|4BR@w$(Q4H0VDBA#RcS+Kn?@dXso@6 z@&xJ^!i4KPh3vS-E1ZbaEi)!}fu|@}ro-D9I;*3yqEGU{i`9y-sJA;-5Kw1@x3cm+ z{!$DH$UYh${e>BbzXcTgzAA7Lny2;{J-s)3Ltz&)9f^J8ZgD+&KxY`+&CXac4)n*# z_|rIDOZ5q$o5jT*cHxMaRy8CwXUjiuqnA2b?8bFQU}?6pxGQ@eb$k%RKYN~=?`@+* z&eo;`NXO=C;3gD__Jr;v>t!Lhg}yRs#2GixNDIa((-R3c1AmQh^iB6Y7wg9XF*6j| z1);Uwf+lR`GcLR(1n18}&i&Jz?d1wK-)JtPksVDwOci`QE?Lg^) zi=}#n(nNbxc>n&}ODe(n>2Hy2Uy_EX_vzTlmt{p7l*~fcJe7B`YVuPIGa@`-Ib2`z z&!NdSt@x2jGNymTkB0#zWym_D)&lniW4)9o-En_F$8f*+{?LZ0u;OG#Al&tnMVnlW z^=dbkEM@T5;oYjf)Ng<1v(-J;CArGwstnu(T0^j+lQ>P*H_FRF(aF^x?UKTyWkb?X z=wwTI{R0=aCPxGl#Ki3?n^;P8XO7Rbm}K1H4Xl*vX7VesWFj>dQ#^2rG+bY|Yu^&G zw;;7zOgYY?lC|6rO!T2!-h6sIOiHAo`+Zy4FLlc#+Cas~iyz=7S_EDw#42JaF2Xmv z&UClu$BzD-D(zu{T+v%8^y>kF70$c+(2A_dKu?fbH>y1KNvt4r+4Igjr~*&64veTadY{)dCl z>t(OO`Z#gPvFY66wRyNg3c!{N`UFu&s+esxy75U7#5ik|_wbi1b(_o6ud4%epz(v=G!iG!J_SG_jzZoAUia=5F#lnm-+z%_bD0tzH7M2%pyz z%94C5$`q>}5kGY;bgnK4eVl+!^5z*!WWLdEO+=U{`@-xg8Y6w5aj0T0h&@0H0H}ei zmfwLR^@aplv+IZy?!G^~>04@=ofbr56!42Jsejpbgr#JG3?DRr+STeJImzGdSocO_ z`oztc8_53h_&ATkw=6fBx3SsCVm8qG(*(IsZdG=YiHaU$M^v_?1=-sXU8t5%2Z|}QdvjiM(9;WUNIpI; z;lJJ@Bt^PKjWhRirR*QzE=!qAn)~MfN(fhug1_TZBWLF#RKtd%s7J_8nN1g}HA>zzWxDHJKB4_4P-t<4qx~uoy!Q6i!5&-#U8ntoH}_ zmk&%_4zc)(VfGf~F zn97lrB<@boa*CcA6hT9Bk(pIPh%Ssk7$LSafp91#|>G@QawT9y1{g42if9H zHKy34wOYbg3ERr3q9`jN52<~XRE5dk+5E-_L%MHA zEmNH&%Wi8KSh|@XR2?%Yh!GJ%eYxqFgDkC{`elw?EC%?*c;1gY*bxc4XqL316gKV? z1j(m0fXQ!foc}J)X^m+6!6kW|FxclY=8p8A5V2PV@45mbPX~QQiz_d;zZV=$7~wXZ z?P5{cAME`o8pE`2K4X1c`hQsbq$s8WU5~bBg3jQU^XY?44FTvH^^m|$+MYwzY;-mx z9sD$&^eh3v+(VX(%9EI1kv+9=IOrg#)lDua;Ju^lX55Uv(g!Dn8m=Sw;J_gUsZCo= z5qih3iOkfIzY;4)vIT_9ToM9&DvNw3qZ~`aJ6|L<;md2+HkGtfv_xL& zFllJi35o_v@)aCAjIyK&8HVVHZB?$4Wlsdoz1gI;%N48uRjq9 zhQjwA))>Vm^Hg`#(VCp@JB^U&{TxupBCF}cl>Hfq`kHNcqjF+LO#BMFjvU9`C2E&z z4lWYQ<852#vV5z0;mCFF`7SSjOoJdX6!5O=a68pB@35+j^n)%uOxf&9+Zi(ImVgge zv_xT521^V7O5lLV60*XoPV@KJqYi)}6Y-AVD3q_O_cN62mF*6&t0`aN8}Z@enW5$de!w)m ztVyFSXbmx3IXXMWyr~~O5jWtbIZa9Kn>PM}W=a}1eoO+YV)aw9hMEU!vGC&I!W=#+ zZA7JSl+&;6SfMsTKX(^4v=DL=R{u0maW?IrhscQSIbBQ`q&3~9aymALD?X0l_}fZ! zqLSE%lYC`9)OMjOi-rZBzX$u=j4-i{N%4QW_y*=o04&JZwrx8T+fKgNwr$(i#I|j7 zV%xTz+p4Rpy4@e~8r846Ssn)R23qcbQGXy={eddqVFIUj-f@cfw9vQCk^NVVi6401 z;~132wQ2rJDP{36ykIGjivxQ=HHjA9i)_${5z4maDU0yr8*`r)kl}N`HdXp zJ4!jw=VIHO=7PQM_6tD^MyOJMVZE`%@sk9PEC&0iK_PFy&JsCOBlW(bjLB!JRT|>2 z1VAlvt->dakBM*%{zA&M_+aqRIyM@AtV#4!f=2+Vg6*<{RfgV54t-Ditq#>a0!KSm zcf8UoY63XyMP$ z1ff^ZpjW2wkbffdAYov6fmy>{Fpmetx^mM!RcQJTqry3%wxvmk?XG7$Bmwi}j7F9$ zrNElLAPe^#N1{MTs8m4s;E^ESkJLLY%NhtlEP^O~NH(jH9?qZz)|*+@L*@n!i@&Bk z@X-polUi=W%!dhT9tAR03;!nEM%M`yyUd4Q&gJ*QloGu ztn9elI@(C8fV?k+f+{}{KM*AG-QsuIz?LpGe1<7_m>Ad{qk3N)YI|U&1I$2C19emq zM49P9ZrTr2i8nt;MI5Xl4tl&Pb~mA~_Q94pKElK20b%Q^drb}Qd(B~%!znDag^T{t z!zWcJ4|s6Rj}Bpt>r~w6vp|H5Zbq?vb4d_m=C@9~xL`CbqrGD2yqBZc+2oJVdhR{r z;=ja8V(ugW5@1qJ^?+2U6(MBxhnC#FW!52@AO_{WgiMcfqedRQXf>s6gUlPRpN&t( z8qYnSw09lKgaN1o()nga|7JuG&ccrfbXAPo=d;h_1(gkh{7V`XQY;XE_9pRI2 zJYt2A6MxjAO$m$ab|<>P3&ih6@OYa*e5--pr6kfN3;(tEU{z&Pc_rW9@8XEb*!r-h zag{zza|!jbQlUnT?^||xfU1su4C}xw>o)i75oc)5iW_;a#ZWad!*81~RB6i5#U1c;~*AOiwdu~?8QOxnS^y6MD5iy_3#g$ zFtpgJOhS0Om!|R4Dk0m|q%z#pYo`|{)U~wPswW;td%(Th$*_#7syT^2n=;1H&o1aj z_U31vb#lICA4RayL!sXGjhRDwv9G_%Fm375b=E)yhaNvi#h98pkcCdoOt(OLjp_Yp zY!3!Et5`#iXNxTzNFCKlJzL-iI$7nGX8B7wZ~jIq?v@W))09=n+@*9L6=L$S4n&a2 zZe^;287=vGNGjGR`D!DvAS~9VG>m3EgDk$A#2Y;^{*_WF-P)8d@^j-DX5KRooPOYO zoh&voQ=(&Koa&7Y?YKiXd)4QuKw>@QCG$X)#yOQ|{QHG%EYGi4#+%JFDKtGpXJ zT`XB2f_8|}=}Kqu4}vh)F*UVPbMsyD;7Z6zXLC1Z`F83<&Ba@0bK({@W{C8kzV0O=NW-@ob>{4)Wg;yvwQA>7ZBuGC zFg^K+C+@)|c!71K4i4yZe8Dkdj{O*{mw-~OaIm6-U7JW6j(m1Y!GRIlFA)f&{K_h9 zyFf$0G*eEMm0h%wM9qb` zL)L0Xnh&Yp+F|AM4e@9d$RD=ceLy(Lnglw?(E+CueW%7ycX~*bud$O*4;_hKU9K}j zIgV)Y-9toNm!MygTc&c7S}(gx*XdBx>w$1MEe%2~!$-Bc4Ostq13ooab+}4$(gim< zu1>Z*`*UFsqzo6?+3<)>;W6gK z2v&sfs3ti=KK6jhh1--P^o#9_tSeooV~ca=1b3bqln;aJcDU9ISgQ=p$hUseB;3h$ zx+Vc@V%-e2-n~pYOHYLi)I>^8tn3LXVQZyaM|2&nu+HC>P2Tad3$}1zT zlQ02c^avtRh&`b$Z}ULM)X~v zpm{~>*4vbT8gp9V>yOnqfl`(hlGqp>Kfc#7|B?hG)L~r0o+UhfrGPs6>lzWIczRYp zsYR`|u_GvPjUeUpxwqH+{EJxtsw}B_AF!F4otQx;Hi1$bPd%che3P^HB@Yw=nE0P{ zDExi}Z$Z?ZG(sQ0192x_UuX%>6Oi-6l|TD>%b6X;`{gfiI9vv(yjT~vh4S7Da>u(t zhm*Khm?99_X21`Lt0w8+8Nebp{{M}Chd6DyQ|2@H7BX>r!uh*9`sQ_$rHHwI z>(xtk8cSy077%vUOv${L>%lKhdRXJE!4BS&?*1@;kLjb5{uaj1SM|!?)(GcnfWm7! zV|7%*{el{F{oG!5kc-_ZMI2ZLkQz$&%__^7{ox1DKVKrzb)3&aBcH6WRAKZHFj-T8w{kU27C^~g)3;<@qZqf%E`hWxL$c>2WsSY1&2bB_5umqn@kd^Rm8Aj zc7v!3DT>JBzs8iPCXPGm_^9&hM9innV@bPVz> zR0-YZ;J0#EkJ$sCb{q8BF|-Sl8Vx<`fiUQmh_h7eesKG{TVgmoFELP;K;O=9a(niW zu||iJ?gkvUXSvgb1g!I(hQhM3(qG79I3C?;>p_h50B2g4n%UZiqLn`}2B`?+UtdQR z`kI(TBZ{EY?aF*y>dyjsm+v+v-K1UXZQm>&?f#`#MxCVKE;}Y;JI`OCrSn4m-e^2~ z`}`G0*Me2Njs zqX>5#`mbZb|1NViGyQkaONwcF9btjPozfzqX{G@}(&)^BSh^4UF(qdd0jTq~5@|){^lz_C+9n)i_b;lN3bMHql$3UR2@pa_ z`7U4x8|PO^3sXcfJm;fT;sclXc2`lky>BvsA-4+{lt_B@$fg!9UxO`t>=mg*U*`f2R_PVQwb;j`fr0; zc7=M25Vf|zf(_V8e8UU|Efoj@zAL02lg?nzk~`r$a8)dIlR~1?%#H38h=%7){F0HD zB!rH~5MG~Q^^GrXW_^wk-LzmYs1MxGIMy{HEL#S{XMW!d;ZzI=dti=HrvgU4M@Ou( z15D&Yrq?ddZPHeAiTVCA@*Dcd=VqF^Y6k?GYr_WV&8tSvNYO{gLYYBF)7ZtVjoo!- zFgyWXE?|+7UltNEM7@nhOyos-r0u<-@53Ic{g01$qFo zS)7#MHU`7bs9KL?u=HjNI4JisKLgm|yBa{dDGsBfV4n^drDdu494QFlCXwIAl1u=u z?2P)$IiZ=17xP)t=`Ya3_q7kdwCZK_dsCHE#va>qAdE!wzR#64{vG9)4>QJ5c`$oe^a&(~7RP78ha zH5OIA0}wL^#`qYkOUR6)qxs>JaZ&Y!-TdBNxQt2uCG0Gw_|h z!}l8JB>xr4o;D2HrFmk@{k^BF?1PVeuyT1VUoNF%Xcemu|1n@jGuG4rKwz(V3yb{g z;0ERL+o0N&*J+0kC5oMZ%Ma{buyJsM5e4wI98J?njHv5@KnlWTF5&7(3zmciNJse~ zH+8EIRlIX)G!2K#J)&ydk-*b(RuHI~A;X4q>4$WQZF!?tn%N>Omp)(N+uF-wLVe|c z5SX1eF49Ow0vton4Wwxu9xEqRjH^QbwXV~Z$r2& ziSzbx%}w#uT)9N&s{RSaV%BZ%2CS_b-xsixt!4a8=`_#vGv^nS4j~-*?e5Wq{u#^sv%h^=8T*m8(s1Q%>RP=#5!uzu0wbsj0lYLcYx1@{`m%XdudBRwd#q-4yb03j zDP|Ts!?|TD1NTjxUQ?i%P#oL-v0&5Dg0NIi$@*=AaZ=A)p* z;+{4V{+6p^p2>NRo=59IVxy;(n^V=tTK>r%fITn7##N&Q%k&!lUYBEk-&)91-jlOH zWAz&t#2Ey|;+-189{_YxC;1|^R0*XSgsY?_o7 zLuhRFemQ%3iQUIdbgfOHPzU*R}}OssX_ zd&VWw;kTB68?f0zJ|yl-e7n48x@f8JhnojJ?^5OWnmXl~`s`PA{>I8Nt17a|fR z^=Htr`?^oI3~9XB+D6PkEwGg8>W?Vlx*lEQz~)aih}y!1+WasWS?MrAJD)xiDetvJ zTZW$3kCLG2Z)=uyF6OzT*yQT+Yo_WW-GuQB3RKDw(h?1c>95BlfC9De2$05`R=P#p z$t2y^UC*a0K)tB8MQr&EO=)#`=!iwOTboOwasYYBgY;_1tBIQ7XTaGgDpig4lzfbt zz4PEbxCGm|vG9A>G+IgXw~M###kSIz*sL!$^R>K+dWPex-6yojnQ%+DQ{uGvV@h6&O#{4f7*G)22oRFP>tr#M@FoXE;!atY?xE z91vo{ea6%ahsk>|1uT>(vDMfK@qUADFc4k5!8kZt(RLDy{kI01UJbb*P5HT$FvS=m z8H!i*52ppl*a^QEg<8rad>Y|hI>M%fdV`w&9s@Z`&(7l9K=@KsPnT;DOWW z%%fbyC=0sOhiuuRbGz2|776rSr`d`M@wA*zRE1Fn=pa&VF0Ho&d}SBVfh9WoQIv1y zv|?#KVH5U@8*Y;~{r}7;x22u37H3)G`2k9Z##|(CiL78 z$Jt7sflES-Qo{BZZ`p)7A}5KWmA;wpk|@l9Xfg7R^3h*a7sm{@()>N#F#CTEkpvWM z#U0hpOb3401}3>i9;#yilPrpL1+daP)C{FP{BZ(3KD6FQAJNf|L81|!q2 z!_{T7F?4!$%1vRC+rd))aB9|sgKL$-RGr65%JXn*j3?Q^*q}Vy;PUltAo%;sG#tBUt5;b6!1JjbO2vrV~Ir{_vITSAiN?C%pxIAnXerG z7pNGi-2HgIEbhdN=6Hz@dLpe#x_!&}V%7pjMfe z^}(0=#jh>9)i*Y<)%kMflc-~rQ9>o_!kLqJosuhYKc61xcioomgdIahdx)j5JI=f9 z1ChGD&pb?yjpYQVCg-%ey^yTR*-hGPpW4e4U>(ImM%tokl$;VwVJ%&ta86v_2cEGb z;w6x2Wq;&hsRfAJnJK^AoDYb{9V`#TXkf?Dmk|!VjGyDDYXsvbRZpu$$gDO`5=KZ( zdwW!SZHjgANwN-GZxxv5QJHg6SF_L4bpD{r5uhbB{k222s?r7%+|6G=#qbHOD_9&m z9XB5qnTel-pT;8YCTAW;|&KoD&~jo$}ESG=a`o z)h(#7`*Vp==cKXU+QfzwzfLmojOgCTx$J=&$QtH0Wh3+MaElYANSOvXJ_3icFZjr3 zIY&V$t`|&EeR6lB-&Ov%MDuATt55!}2_Y{zUkm3|9Y?p0>hl*V6+0~KxI2MX#$khQ$4r8dj)w4 z9Y@wQIj0s~jPSU7NSFD9M#+sw?dNjz(fjmiw*DH1q6XQLk%<%y=D$Qv8+sP!YVUG_ zq~IXDtM1^zwf3X+1^?qlv;2ib3R*K^nMR2mZz0$Kalz-fwN;)2<*KQroAgH0(VK`* zd>ERuDNy8c{7jM0-H{k78zyd`B#l46&>eSVAj^zNKu*T>h^Kg!0SYrdSP)`jiOlfr`?9nP(?`c$#Y#962p82xW>R;YNNH#vqQ;4SGo& z${P)G*dvDJMF^SFIgP~RMCX9*9kk{UGLRtbq6~@T>2N7zCV{7tijISMQsMJhLw{Ym z5?K(HOAXC`V~J)qSt)UGbkW}P7U7(^p;7r*&ae%seNW#YL-Z0ni8W93zHccE0g+Z$ zIvPozQQv_~#C$?A4tc#3q#Y$FZpn`93tXRc^!0mH&KgX0tos-KWax)HQAyKpR6$~# z19K*`-8d#ZM7-TrkhMlMJlB!Hmc{o=7%QZG&0&kYWN#N*?pA}jCZmB;aq>+Kzjpd9 zUsQGMF3LOQg-aupxdbN%70I8I%!wc$VtQ4X0c1o$Is5z?YvmcO76q#PW)sNX9jt?l zt-HXqLPEmaG!>gO8+!W5wcVX{P#kTWuW^FA6C_yB!5KV36Wk@i-QC^Y0t9z=hu|(D zc(4Qsu7kUCI(ffucTauqp50UX-dHPb!aGd)9HT)*djy5~;)maUFLtp5~YZA-u= zp^maHLdW~5NZQ2r1tSLPho3Ro5iCA&=R0tnGQ*5K9VMzBi-MH-7QNlH;yJKZHP+5$ z9E@m_{7@Y$Toy<>)hJ4j)B~*)mqGltE+vknjvZEArOjxSg^lL@urhx1Nqt+=jXP!J zv^OG0NV2&x+0v@leHCeI><%LQRF~Cs)w^zP+&r|0y)M`6@4l-w zJ|-d8O<_8pGBA~vD~>qXbSEJbOw_f!fzKcCfGgJ0Zl>PRMuyAlY!*1n6tD>2I*iSd z4L5fB>en5RCeB3>Y94f<^Y<^O${yT67psv}1THo7Nug%Ho^}ZoS=o38Y!=u~mYjmg zzvwiooAZ_*wl=3-$DZ))(NHvvKUKHL6%sO*d}GiF<>4b1z3r@%hwxS0rfKe_t8Qfm zKP(II1iLQ3R%Q~^$<+@l{n8SHBQRBUJ4C;Z znug-bq&wPihN{7gPBddm@z<}HCkG!mZyddbQb1-?Y9V&`{Q_zV4a}hd;F02?0_>V# znQx5XhCn9%*rbj~?Tl8z4=EcG;*w2zO4+#!AJG>pi=LTzkMxj6o)$ zqA6D^4xtytD8^}hf<0RzCYp`M?3w~&h0cMty-Hd8#RoB7l!3V@>@Zzu(fbJ0yQnZ{ zeH5(TBX=!Gdwv3mD4(son01H?I&T@RMK(|SJ(*d=tMm+TdG!yo`FyCHqY%ld(=rc~ z=Sl3+9GK?^g)Gmm&}2W|Khzts8^OIulEissexT9N&}5`(i5_K{^fjT(gI2y8s~Vra z)wbko+w=V*VtCF3?TLzeQohL=xQXrpCeM8_Pt%uOb2tJM zW;rQe7R&s^eYodS2TSgSU8{b=et;^kpSZm= z8uP>2C>h*odmr`lCrazNatT^W_y<|al`j`C#uUqRBzQI5w5Df;*&weVr&3(S+4{u= z7G+h{^Dpfcnnj1-`qWO}vIHnR8Rj^7+smP5>DtvPFwNMlyEv*!t-8Q|uJ@HuN?7&G zPrha6xpG#r-qK1@BT(nPC_uaQ?iW#QNPdl%edvPA=xN~ceSHqNisfdGVIskFg2FPB z0V=ZqgY?Sy^l-&`5vMY%{LY(H%HGZP=mJAhG7uIEzP6dmzp|p$8t?YQNlBz8A#Scj zgC1tV8-_Xs*YXRR{I5$VzdGxk=n!!Op|Kv8p<$m-8_x$EK6Iw|lowVW#y~EC>rjU<;0)wC8 zN|s9nKIKTbd(O_(ck!T-2_?HF?j0X8XVi%fWegniK-wRR$(W23XO?A}u zWO(Db|LU{ztHRQcIuo?~+kWXqjdr&Oq0OG=Lzb z?d2qS!1V4sWyNk;jGFTpJY)bZd%H?wZC6LB2$6+g+MD>DI6rQ7&7aDvG2dDB2pP0? z1u8%-l3L!Bt%j@}TC==%H)l5scEa@h$xCKk5z9-LUxz3=F9>#q#q!D>c@@kb zY{5lWRo3%68)@)$+j@01kqSP0PyS-O*BO_(<2F>5ENfH9Jvv^ePxVD{&Mf`-rQ;&EU2Q2rEBBSbA$?jB0f8DqI``Nv<aANH-rZ4?BU7}5fzxHg#h;v0vcUZPt&(B_Jbup-!__w_zQ}y?Xn7 zN!X!hBV!C`OK4(ax_H8%$pKTwy7s1{Q*{Z76#sE$ zQ1B#ohlAYqW7oXcW6+f|d_$g3Op0C7sOnBhiHYnQ?DjkR9IW<=>Cqi7Sy_s56$gtV zuz4KPg3p^nf&9wX((v-HYDgBbkiNY0xl_iSp6%(H6c-SCyq7}7qKi2#tL2xdfp~`z4eRXrlxrz*z3`>nJ1HG=ptcbwQ!o0 zs-~s#V#*SCfbHc$-YOP9Uwp?6#p@5#RXXf6KU`$;f@;GePy4Xqf|gZgf4%|5-=crS zR_Q4>u{p$xyL?RBo>TlWPJob791j1 z4=ZZ6ZwA`4&r%j_dFIP9qu;XmuT{r-H@D;Ep8PULQSjr8hDwH ze8YTVeKmdkX>L7kz!Fieo~vvMcMg%&h5`d zZyB`Jgwjhy8UA%aS8opcJwx&A_vD>CQL2MWSeI5NYlfCgI;VDKw^mjfhpJF{}Uc8u&3}Y)h zY;B_A#77r8Td0k?>(gY_5jp)N$h#B^oO4`%)3>mizj(#R_xTgJ@oN`}*lg?<=??$S zFdCf83YoTKhn6CVtM6s>_m1vSSwu;c{L;|umfF?=X8yGZyV7XPU(7i~S{t}eevT|U ziDjbj=yl$@!Y(S>B|x3w^Pt1R4QU_^K?>&FaFGx%QY^SdquAEz(ud6F^Ui-6SD;11 zTm+(TcOhac2)(xqf;so1<|0v5zJxuzypt8t;{SDo@LD3qN_AO9)`Z>&>oe35>`Zvl z%b3(J2&;yNZwzl|2(??r2@KF)(IT;l+BOtd#t35sCBmax5JW3#+MbfC{4BlRufF3HidU=V{;vZ zwnBs9@5(Ja!qWRh7=^0A+GpLZ9o;RXU6VF(BcojzMN`?pStWw1rYUqkMTea59T(My z4N+}*j3uWCeW$uiqmPeHm2$dp`vQK3EH2i6>5E0d!^!%m-4z7| zGDyPQ%E{P)0wiIj?_?}yY-np_j4ULC?C9iRtZ$9%wqUI)YrD>h+rFdjhVgj;cEIHw zs%ntYj_7*LVwp;LhloMzCyH*^7U<;ch|cOS@-@uO`04&BxFFI#iy2SUq6=|yB@r0&y+L(;}{bJx^{ zE095DJ#v?4ljqTI%GD z`xP9*c#juu&vrtE=(5UVNzmb2bqeb8eFs9x8||#6_drvCA@`bMSx2)#YW;I{9(S@k zjG1f9(d_$gSI+0-N5UwMIE&KrFPX#i1T?BOjWMdS&mS#a>#Uxl+ZZ(&>%p7XaZd)~&a{6S7z=AhCURIMNhq4<>B#~uRX`U6jool`}l zRYU_!s@Ste5gyzpWeD6VvX&~D^}}CGPKs7nwSl!0U>Y-UKl{2qmSl!9Y7FMqCJG=h zm7*iNz54;BgEUKEG0oPLJyx_riZ6M}$0 znb-?c%I-k^_wX9n1Q$pb-D5DU9&z*zlYyge%5y9y?Y@dAYQyS$|FD_ElSLVNM1cr` z=?H)EfO4ivku6a8bvT>~Iss!z9l6zd5=5hIh@gRmutIq`(~VSW`XVE4{HtGpj{%z^+1HriZ5>>Zip@v3viB=9KR#&lm<^kCkgTJU9?Q0WRtwS zUE2MzBf*$WQt55OX)GQ{Cg>sQvwdE0z9_J_&MhCZvOOGD?aqE?nI*G(ZiFu+PkZLh zUOSPXC?s#PcW$I6BrkC|Z`ul54nF|0JLML7x%<=6bnxbfwK7 zCej%Et2?M{na7l9s*TqzG_Ku;KXX}s_V7+mNPU`4*qslLQ2~KirzUG zYW{@qFxGp!zV>)~-UKtU9gI5{V#fw6vBAfLvl?axj{{sBfj_dFvVmvU`vaypBOS(+ zl+I_og{x)@oG}MqEu9g+0dF^;lV21LCa~`#M((Az=k%ty;tHS(fk;m3HT%S`_B1~b zPA69h4XT*l68LV;JP&rGtZ9Q$%t1Biur_%_`PnKiumaz{T5eQc{$LH6*ZfMjP#4Cw zZ^|(!t#`H%N1)kDcv+vwX3u^^PRxE9Fh>I#MeQ_#H#8fU8a#PjPN?j?ztaB$M{|sj z&vB02a5>|0XmzI|`$}Q_&Tw~F(^sUWLip`5FGN0k;tprMejGQ=aV~Y8WT%27Piu}y zkp;qeVOTqX-=T3zB>3T!7Xd#zoJz=$nNi44_roa>1o-v&aGDBU=kWNl&T;Yal!&kL zChAw^4eCn8jm+hM=`OI^34fhqj=A6T1mzUCu-_{rOT?>4>y)U2V4dT1z;xZziybqm z{zV7wy08a*zwbex$U|}3L$yZP@bmk(&i%f23_6S<7jKBRhj8mQyDDNHu{19xnR#>?2nA<)$WL&0UjGfU?0<(W_`j{W z|A&w@;hs*|X64n6u}R4o6QkO4_w~7)0cm`bFP$jD#k*MxneIG3N^F_^aNk{LIr8K; zDA%LXU%L0&^~*8vg;izD7YMW}hn>75VZX+D_=7et7xxa(%WdWn&s)-jZilDc-KaWv zdM@W9sA$sZZR&0E!qCF!_cP!D*I=ip>#1ZY`PUZEa>6I+&Ak5L zC>5Q@rL-Rp`>vD`t~q4L%=dsJJKCG4i#t$bb0D{dJ1CNfm3Ur16-qLQF(t>ezg9zH zh_u=dXAmE}wS)`a0G~RJSNby#tu?T?X|E@eg8Ue-h`D6@Tf#`@6fot&^Y>tDtFZ*w zw1fi?`YsdTFb21VQaYV3*^2l^x^Ae7pLh^-UL5yozVq~VCbYvDBYZ5VBUx3H&>^v{ z913A;9~T*%OcIY$6i#Q;fk~JTY5$5nSdv{B6`o-KJQ){G(7@uZZ*oGzNGR&4#vUT6 zIgqli{7gHT_0?ixG;d%x7ySw91paTC z1)8u@*cwoBRKUS=)R-v*(QMp;CvG(P(Ss5wD0|D51Airdc%3<7TiZ z!D78ff4qk9a5S`)mmyA`-;CXi_5Dy^A#37TM4zz1U$(g1mFqLMTB>;HGnWbXT#jRIlPz=g z+pPQmvKg6UGE`fo{9PXV1Wa4SGp5QB$PZ2%r6hO!#x{*}LN!N=4&a8KSFIGviU1= zxA2tpu)t`xlTAKhr)ezOgWL`bhXheXIr=pN(uzUOtV z)Bu+NdJ-NXUa^W^MJbZ3KNlfa#9W3_zFBl)>n4=aJ~DLG8rwql-6(tV)L;4>?N89# zW{34%NAD%Vk{E}CaOnYpTjHnr!Hk#4S+iv*Et@5Tl@Y$nEp{JAl?qZww;=%sr!)=leU0qnfgsDKK_O4P4Eq>VDODh z3-ElPe$(~HiT;TjBMK%{tlx&cPzrng5gL3W&vmO?tCH}X5U?NiysFZ!hDy#5GlWG( zD$6dJvQzd!?ls>hJC%)i_b!yQ5%8U5fXyquYx{NAj^CE;`^&Q04TQ_{J>(hZJ8%ES zvYh|F5X<@jqUo5D$s)-!K5kO<>1-xbSMU-g=}dXQo?aZ@r}cCO?GebuKEDv>yg#BN za=IXIzmglHYq_tol~gRr%H?6rwP@RBqVnKDJjRUwVq09#Z*}*G$&_sIv`Z(ya~gf| z3-0{B*4c2rs{}Fu=h1uRAkfJdrpTvJsRFs`th(MBI$E81h^$&kmA92F79l2?`+-`? z|I#&@#Pu-}CFw);OkI__KV|5JBl;^ zNhqqE#v!3NchY&%uU-_;RE6L8ps9fC$FW%H32D?y0fqL|!Q`(eB1ds?<WoVV6?+d(q$3WOfqNU6o-H`R!P?YKzf;srG!&lgXoF_Oi(c&91Hmrdbc5Eaoi8zeH7>qX6B1x2MJh`k<{iBn zzIKPjNm!Ll?Z(O?Ja|!99?LeX`8<#fzU*Q<5pg465m`W~=<`cA8{DP)ybKk~ezxFd zDaakQ=8VrC(!^vCb@wyilsKiGds94#RpOD!SSBOtJ~Tw8J;!+%rQQ#u*#n%65YHy? zjbTtF`;Le0N=%I-WE@~rgU9rd?S>apESLxw*TZ2hTY&{4Kj}Gsr@Ri(dsD#?yq)1( zbTh~ciF%#vERi_EhxVv(P%jQr^OA^F^NR5Ya%|Xy#z@4(k7R(_RyD7XY&9?1n7^{{ zBd{pPD3tHYDAdQpD5UItN^}QA=e`;pHiLM#Ox?n&`kOxHmBW{q~DY>WT6hISL8ziXj>TxJT=?Tyn*xMa@6aFbFVj>1H^&mJ9Fdz=kz_qGwao4J$oH9B zJyzUx@`@1rRbmSli?!jn?Kq( z#|Jm(t&Zl&$t~`PRlIH5vZ%chou?ouYHMULd$^DvwYz*2DEiLFD?P@?chNS~43KOn zEAPu8p6{M`W5tl7LGuE|xmw9{Pa>7tl zs~>$hdAnC*{@A>y>(%gEva-ErECvHFB=Ut|AO!^`<@AZr*m;7U6BcST|tAScMFCv8q)mD52u$)W)fu` z%#^PjGv7^Qh?wDMgKotu_YmMnqBjIcRvM5j-jMWa8X(yOyWf&c408NSvM_*T<$p_- zsV~qTh{Pam-@hcAI{iQb3kq>PeO1)a&4=2YY7*t+@DuIiYy3Q|21yMdS?f{41uJ0m zdiW1ygU1N-JI9D{h8&(J^#)KrB)7Ao+!#m?PFgVzo_w8)Diyl4RXRXgWDOY)xGdKA zqW4ID0}l|ZQuBoCfjpNDj8!KlJ$vpP0b-*7VneqBoVRZV;UO{rv9$jrRum)$5G&^; z_fKNO0b=C405ls z*$m3VL6YQRNxg2%5sWr$rro8@b0nvGs=5Y<)dy4jCU%^FS;AHJ0?`UEXaI5SHsLVK98k_DQ8{dxE{8&UIC@sTLukc>hw66 zA~6aHinTYJu({9@Z!BZIDbB%Fym7a0U?ikIJHtqzOJq^$DX~gbDA}XM1{%Xl4AA2d zT3U!G>!C>iW7uL~FiTa)!t0mVD&lA97IjrDbUrZSdhW>+Cayz@Y$@8T0hMq6G6~5} ztT_P5<1J~VvD4@&GFacrUwK^CpCblGcxQ?DhXbh`Bw(IKZuk_Y*`Qi+S}Y^7Ssx94 zEfJh1gn3WggVT3OWyY!{{Qg8w%O`42TAkdmto|ud*nZ#Fa5eaZMJuR*KqC~IXDVt+ zo}mqz%y_f$bk4(yun)pygletX50snWH@H~ct-nSx=||mZeoFxpU1Ol7y1j+O6PQ5j z)&;O}n$j4$C93`**5Dw#!UQ!F2*kBEK*{OEaZcXzH6YuI%?jaMt-0)+>x|3de$z*! zQ%zIkFZ4zE~EeI$wIRge2uKY8$ z{hfsW2oP)kn&jmSr>%w5XYP`PChz~r zYpwRj1j9U)M~~(L@|C(O!Y)I*`(hoBY2t*I)hU6l=y)`b zXVazRp~v66ray#syX=;o`mxDPDHW7#i7zP&J0xeM7)==knd2(86^jScg5c*)*p$IAZDdw~Lw8()}e2~quWWBmi`vCZr zdurkT!mqnZj?sSk&S(;2^jw4=i2+RlnvhW+2yGvrA8X zU3O`)Y$pacgw+NfAdLiQp6MvIkK^v>KALCCaOto>E^dn^5>1x{ysFLi3nt+>#H*Ib zaOMlI;krf^IdO&CTW=s12Y{N4P{*1KP-CseQue1GXoHKJ^ieb6A@WoIbnJC0AlnPv z3gLW!SpBPj%N>ANB7j)*F?h)6X*5cM9G0~9M;UZi6Y9p$$8{#DKUujiQ$H9sno@Z$SiS5H#?#GTW&P%SJ%7V%T*?baiVrxb9KF>E!kN?xYc z_kHw{v{+nr5kM`d1GT9RuQfQ`?eeR?x9Ni$Nx^4g#iLFLFfUA<8GScWpg(AWnt>O= zYZ7g!#7+X2Flw5Y|Au*b)KH8!sWggyqM$Cq|1;Sca>VB^4ME6q9Lzlo0*pnC>=ZXU zbuohqv`_;aR27DNtoiLQ=q56Dqfqf*DBvXYzH^l4tiW}D;|!F7Ftcv(!cF_*$yxLj z7^0(a(43p23h4zJY5*dw`19w}@ zyI)3}l5HSv)U$1PT9x~z%a<7}dO=!lVz|6zjyirH;z!5`0DT zsSTb-D@=~S5bsmyb~=yPAWCUcuLT<^yo4A6$}EQE8P-xkhgGKnu4#2T=p{BUZJq3< zUhb}2kF#z?>n^bTgMI_3(TdA?T$c4skkP_#(B0CKrsnokVn=^$(!`RX`Z8QQ20z85-+L`Nesjf26%ed+o=r54e5d zwMAaZc@<;kZS`07AHt;ao(b)`Id$v&bnd|!#B86*R=ldwJydn@m|6p!Z-lf4zfRo0 zCNVNS14$ujX1OKeu?wH7dGy1neyS;*V=w& zOpuCYUUHVJ@aUzYq7-ZuMu6ruUR~PRO_PKdPX)DQo#T5cS^CqapG)}9+w6Vf)VZgL z;TNBq6Z*zPF?-CtnGiM1Zjuq0VXtvt<`^!4a{D~}3>{&{XcVfiW+7z?i7S=;6*^hC zoN2`AranzQohGjKVQ%J%gLCgaXXW<-gpEinP>CGg=X^v2zB0nH&tQmGg*TRUcsy}p zMeMHqyBwZ?Pb#0^D|=M8n4BS-5HL~?zq60XIkQ0L^+RG-rxuFl$y7@xRV88CAZRb< zrdY&o%s0nnb$ZO;TIDKCh{D3QT#th9MAtUtPEELZ_X(3IjjDGg2Tb+79VG`W$h_NX zl=t2t(HpFY{~0wXt&h)_V_tIWX|gp35_PhDgEM7 zF>~<^f^w8V^O`&fqxEmXZxgb_IMUO8#eX1zyo%0=-%TUFcehYFZP>*7xo@{KrbXI_ zi$=9Bx4W)5KH%Y0TAbeU4j)6O8BR%7Oei5M;*rE@noW_?~%;a6WmoroGVq z;?tlOUTF*2D0utkyYJ2|Z0eo?g9g||JBfLx(ZNP()guzhN+etpjhx93z~^2~oXpW` zcz{>`)R3XFVczQakhP+3a=dGBe0`o=9V;go5_+pQD3i7l?b-nJKWO@l=VVbdro39z z!~vO>MO#E*@w(ltd5!qRZIqKmT0CtriSxGUTd1+GDJLPmjFVe6!_gDmB>J;LmtjLt z#G;o}ay&B`;;rm$<0?-x*O?+O!wuoH>A<`}zv-5%&azx&fcnbd!^(iu!>hN;pjtm0 zZBp|3`-1DI_2r)<_3M3C+B(bIBo)bOb%%a)%)vw6ePtoHN)4kJW%@z_O+8-X4$}AH z(@*Wbx_DmSOqtu3ln+|n9Ivi6Ajut%%NVa-)KV5TE80MA80AAC(QIQmRT?x;iVDL^ z!HR>N(F<$5&!hKVN-`s-T$)4WN!~w|4?JD3);7|G^S!^P$X>0rwpZFGCyg`ABs_k; zdU+!1GwS&OrBoFMYKp_7E+;U7l(U+@gGX9}-Y z4!VSY1=n_DedSiGZ!lu|&~QoivnqMeqjce?jSu%?@|e4*t_{(B!JPBi)8W*|ZwK}D zUFOFPd9JNJvsJct4F4wG)B_X4L(He4tD|01Oe7?W zkc>iQp)~42UlFHO$nQlMU(rXD=;P~24Y{^6TiXFAo}=JI~l@v4OFB*UODHz96&B#kOcji`5XpQiJ zcy1MhVkQM(*A`f60w$})c{w4yEYM{`&3w)_;vx)@vE$6W`sq2ioIS-Nd5Mqp zdAgrBrn=TsWG8R$&#EfaRJdu9b;l!!Hmx*V$04Nrr*4z)b<%v#KY|TxM9_YPw|EDx zzj)f-sW;fG-+0fq5FS}SAoUE5+4)KJZ=&pfoJ9RAmT4#%n;?VU+ZY+UQG8^j;O5ju z1}U3+7z6i^LFyDA*(f+D*no9Pwzf_b+`rFtQu@8Qi7myST>N`MjN+pJmnfGg?^||m z&bPcA?4leJ>=Gi}Jff^3Z^0s94l&WULKOe?Ccvx67~7Zv;h2q=>%Tp*`*MQcLc|_( zV9l{gJ^vIhKRlK&x>~ElvStLmVmTnPW?JfnhQ&35y8!JGHlk%>0O zc%}Bv)k-bqu)Fr$`c~OVTs~;?X}74$a0!|liP-C3|4fcf`VLNRz~BIxjg5mH%!W)u KBQ7t2{J#KxbuHik literal 0 HcmV?d00001 diff --git a/draft/draft.tex b/draft/draft.tex new file mode 100644 index 0000000..fcb8cfe --- /dev/null +++ b/draft/draft.tex @@ -0,0 +1,389 @@ +\documentclass[envcountsect,runningheads,draft]{llncs} % fails + +\newcommand\hmmax{0} +\newcommand\bmmax{0} + +\sloppy + +\usepackage[nosumlimits,nointlimits,nonamelimits]{amsmath} +\usepackage{amssymb} + +\usepackage[colorlinks,linkcolor={blue},citecolor={blue},urlcolor={red},breaklinks=true,final]{hyperref} + +\renewcommand{\subsectionautorefname}{Section}% + +\newcommand{\xTo}[1]{\,\xRightarrow{#1}\,} +%\newcommand{\lbs}[1]{\,\xRightarrow{#1}\,} +\newcommand{\dhat}[1]{\check{#1}} + +\usepackage{lineno} +\linenumbers + +\usepackage{etoolbox} %% <- for \cspreto, \csappto + +%% Patch 'normal' math environments: +\newcommand*\linenomathpatch[1]{% + \cspreto{#1}{\linenomath}% + \cspreto{#1*}{\linenomath}% + \csappto{end#1}{\endlinenomath}% + \csappto{end#1*}{\endlinenomath}% +} + +\linenomathpatch{equation} +\linenomathpatch{gather} +\linenomathpatch{multline} +\linenomathpatch{align} +\linenomathpatch{alignat} +\linenomathpatch{flalign} + +\usepackage[T1]{fontenc} +\usepackage[final]{graphicx} +\usepackage{color} +%\renewcommand\UrlFont{\color{blue}\rmfamily} +%\urlstyle{rm} +% + +\usepackage{etoolbox} +\usepackage{needspace} + +\usepackage{hypcap} +\setcounter{tocdepth}{2} + +\spnewtheorem{thm}{Theorem}[section]{\bfseries}{\itshape} +\spnewtheorem{cor}[thm]{Corollary}{\bfseries}{\itshape} +\spnewtheorem{lem}[thm]{Lemma}{\bfseries}{\itshape} +\spnewtheorem{prop}[thm]{Proposition}{\bfseries}{\itshape} +\spnewtheorem{defn}[thm]{Definition}{\bfseries}{\upshape} +\spnewtheorem{rem}[thm]{Remark}{\bfseries}{\upshape} +\spnewtheorem{notation}[thm]{Notation}{\bfseries}{\upshape} +\spnewtheorem{expl}[thm]{Example}{\bfseries}{\upshape} +\spnewtheorem{assumption}[thm]{Assumption}{\bfseries}{\upshape} + +\renewenvironment{theorem}{\begin{thm}}{\end{thm}} +\renewenvironment{corollary}{\begin{cor}}{\end{cor}} +\renewenvironment{lemma}{\begin{lem}}{\end{lem}} +\renewenvironment{proposition}{\begin{prop}}{\end{prop}} +\renewenvironment{definition}{\begin{defn}}{\end{defn}} +\renewenvironment{remark}{\begin{rem}}{\end{rem}} +\renewenvironment{example}{\begin{expl}}{\end{expl}} + +%\renewcommand{\sectionautorefname}{Section}% +%\renewcommand{\subsectionautorefname}{Section}% + +\let\vec\relax % +\usepackage{accents} +\newcommand\thickbar[1]{\accentset{\rule{.55em}{.6pt}}{#1}} + +\sloppy + +\usepackage{wasysym} %Pouya: I added this package for auxillary compositions. +\usepackage{cancel} +\usepackage{tikz-cd} +\usetikzlibrary{arrows.meta} +\usetikzlibrary{decorations} % Required for all decorations +\usetikzlibrary{decorations.pathmorphing} % Specifically for 'zigzag' + +\tikzset{ + commutative diagrams/.cd, + arrow style = tikz, + diagrams = {>=stealth}, + row sep = large, + column sep = huge +} + +\usepackage{textcomp} + +\usepackage{enumitem} +%\setlist{itemsep=0ex} +\setlist[itemize]{label={\small$\bullet$}} + +\BeforeBeginEnvironment{align}{\noindent\ignorespaces} + +\usepackage{todos} +\usepackage{proof} +\usepackage{xspace} +\usepackage{bm} + +\input{catprog} + +%\usepackage{pict2e} + +%\DeclareRobustCommand{\pigpenA}{% +% \begingroup\setlength{\untlength}{1em}% +% \linethickness{.075em}% +% \begin{picture}(1,.8) +% \roundcap\roundjoin +% \polyline(.2,.2)(.8,.2)(.8,.8) +% \end{picture}% +% \endgroup +%} + +\newcommand{\lbs}[1]{ + \mathrel{% + \tikz{ + \draw[double, double distance=.75pt, -{Stealth[inset=0pt, angle=75:4pt]}] + (0,.3) -- node[inner sep=0pt,above=1.75pt,midway] {\scriptsize$#1$} (.5,.3); + } + } +} + +\newcommand{\pbk}{\arrow[dr, phantom, "\text{\tiny\pigpenA}", pos=0.05]} + +\newcommand{\Fst}{\Pi_1} %{\oname{Fst}} +\newcommand{\Snd}{\Pi_2} %{\oname{Snd}} +\newcommand{\klstar}{\sharp} %% Kleisli star +\newcommand{\istar}{\dagger} + +\newcommand{\mSv}{\mS_\val} +\newcommand{\mSc}{\mS_\com} +\newcommand{\mSl}{\mS_\lambda} + +\newcommand{\Sigmas}{\Sigma^\star} + +\newcommand{\ar}{\oname{ar}} + +\newcommand{\oWh}{\oname{while}} +\newcommand{\oIf}{\oname{if}} +\newcommand{\oPut}{\oname{put}} +\newcommand{\oGet}{\oname{get}} +\newcommand{\oSeq}{\oname{seq}} + +\newcommand{\app}{\,} +\usepackage{proof} +\newcommand{\inference}[2]{\infer{~#2~}{~#1~}} + +\newcommand{\St}{\Gamma} + +\newcommand{\exend}{\hfill{\rotatebox[origin=c]{45}{$\Box$}}} + +\makeatletter +\let\dir@frac\frac +\newcommand{\inv@frac}[2]{\dir@frac{#2}{#1}} + +\renewcommand{\frac}{\@ifstar{\inv@frac}{\dir@frac}} +\makeatother + +%\renewcommand{\dar}{\kern1.2pt\operatorname{\downarrow}\kern1pt} + +\newcommand{\G}{\St} +\newcommand{\D}{\Delta} + +%\usepackage{txfonts} +%\usepackage{newtxtext,newtxmath} + +\newcommand{\mon}{\bullet} +\newcommand{\monto}{\mathrel{-}\joinrel\mathrel{\bullet}} %{\multimapdot} +\newcommand{\Pt}{V} + +\newcommand{\dc}{\mspace{\medmuskip};\mspace{.5\medmuskip}} +\newcommand{\sep}{,\mspace{\medmuskip}} + +\newcommand{\xCL}{\textbf{xCL}\xspace} +\newcommand{\xTCL}{\textbf{xTCL}\xspace} +\newcommand{\Ty}{\mathsf{Ty}\xspace} +\newcommand{\Tr}{\mathsf{Tr}\xspace} +\newcommand{\arty}[2]{#1 \rightarrowtriangle #2} +\newcommand{\initob}{\textbf{0}} +\newcommand{\termob}{\textbf{1}} +\newcommand{\tcomp}{\textsf{comp}} +\newcommand{\unt}{\mathsf{unit}} +\newcommand{\true}{\mathsf{true}} +\newcommand{\false}{\mathsf{false}} +\newcommand{\bool}{\mathsf{bool}} +\newcommand{\fpc}{\mathsf{fix}} +\newcommand{\casec}{\mathsf{if}} +\newcommand{\ndet}{\oplus} %{\;\ensuremath{\boldsymbol{\pmb{\oplus}}}\;} +\newcommand{\paral}{\parallel} %{\;\ensuremath{\boldsymbol{\pmb{\mid\mid}}}\;} +\newcommand{\nDownarrow}{\cancel{\Downarrow}} +\newcommand{\paralv}{\mathrel{% + \mathchoice{\PARV}{\PARV}{\scriptsize\PARV}{\tiny\PARV} +}} + +\def\PARV{{% + \setbox0\hbox{$\parallel$}% + \rlap{\hbox to \wd0{\hss\rule[-.5ex]{.75em}{.12ex}\hss}}\box0 +}} + + +\usepackage{ifdraft} +\ifdraft{ +% \usepackage{showframe} + \usepackage{showlabels} + \renewcommand{\showlabelfont}{\ttfamily\scriptsize} + \usepackage[layout=footnote,draft]{fixme} + +% \usepackage[notcite,notref]{showkeys} +% \renewcommand*\showkeyslabelformat[1]{% +% \raisebox{1ex}{\raggedleft{\textit{\tiny #1}}} +}{ + \usepackage[layout=footnote,final]{fixme} +} + +\FXRegisterAuthor{sg}{asg}{SG} % Sergey +\FXRegisterAuthor{pp}{app}{PP} % Pouya + +\usepackage{savesym} + +\savesymbol{degree} +\savesymbol{leftmoon} +\savesymbol{rightmoon} +\savesymbol{fullmoon} +\savesymbol{newmoon} +\savesymbol{diameter} +\savesymbol{emptyset} +\savesymbol{bigtimes} +%\savesymbol{blacktriangleright} +\savesymbol{triangleright} + +\savesymbol{langle} +\savesymbol{rangle} + +\usepackage[matha,mathx]{mathabx} + +\restoresymbol{other}{langle} +\restoresymbol{other}{rangle} +\restoresymbol{other}{emptyset} +\restoresymbol{other}{triangleright} + +\usepackage{adjustbox} +% For size of diagrams. + +% document specific +\newcommand{\val}{\mathsf{v}} +\newcommand{\com}{\mathsf{c}} +\newcommand{\nats}{\mathbb{N}} +\newcommand{\ints}{\mathbb{Z}} +\newcommand{\mS}{\mu\Sigma} +\newcommand{\bss}{\oname{bs}} +\renewcommand{\paragraph}[1]{\medskip\noindent{\bfseries\sffamily #1.}} +\renewcommand{\comp}{\cdot} +\newcommand{\dist}{\oname{dist}} +\newcommand{\ldist}{\oname{dist}'} +\newcommand{\zero}{\oname{o}} +\newcommand{\suc}{\oname{s}} +\newcommand{\init}{\oname{init}} +\newcommand{\primr}{\oname{primr}} + +\newcommand{\peval}{\frak{p}} +\newcommand{\teval}{\frak{t}} +\newcommand{\neval}{\frak{n}} +\newcommand{\rcomp}{\mathbin{\raisebox{1pt}{\scalebox{.6}{$\RIGHTcircle$}}}} +\newcommand{\lcomp}{\mathbin{\raisebox{1pt}{\scalebox{.6}{$\LEFTcircle$}}}} +\newcommand{\fcomp}{\mathbin{\raisebox{1pt}{\scalebox{.6}{$\CIRCLE$}}}}%Pouya: I added these three. +\newcommand{\tsto}{\leftrightarrow} +\newcommand{\ba}{\Downarrow} +%\newcommand{\bba}{\pmb{\Downarrow}} +\newcommand{\ssim}{\mathrel{\pmb{\sim}}} +\newcommand{\hatssim }{\mathrel{\hat{\ssim}}} +\newcommand{\dhatssim }{\mathrel{\dhat{\ssim}}} +\newcommand{\klplus}{\boxplus} +\newcommand{\coit}{\mathsf{coit}} +\newcommand{\itt}{\mathsf{it}} +\newcommand{\eval}{\mathsf{eval}} +\newcommand{\refl}{\mathsf{refl}} +\newcommand{\trans}{\mathsf{trans}} +\newcommand{\preord}{\mathbf{PreOrd}} +\newcommand{\rel}{\mathbf{Rel}} +\newcommand{\gra}{\mathbf{Gra}} +\newcommand{\obj}{\mathbf{Obj}} + + +\newcommand{\bba}{ +\mathrel{% + \begin{tikzpicture}[baseline=-6pt] + \draw[double, double distance=.75pt, -{Stealth[inset=0pt, angle=75:4pt]}] (0,.02) -- (0,-.28); + \end{tikzpicture}% + }% +} + +\usepackage[final]{listings} + +\lstset{ + language=Haskell + %,xleftmargin=2.0cm + , basicstyle=\small + , commentstyle=\color{gray} + , stringstyle=\itshape % string literal style + , keepspaces=true % keeps spaces in text, useful for keeping indentation of code + , numbers=none % possible values are (none, left, right) + , identifierstyle={\itshape} + , flexiblecolumns={true} + , showstringspaces={false} + %,mathescape={true} + , captionpos=b + , deletekeywords={join,return,Eval,Left,Either,Right,id,either,Void,Functor,Monad} +% , morekeywords={Free} + , emphstyle=\slshape + , literate={\\}{{$\lambda$}}1 {->}{{$\rightarrow$}}2 + , literate= + {'}{$\,{}^\prime$\!}1 + {+s}{{$\,$}}1 + {\\}{{$\lambda$}}1 + {lnot}{$\lnot$}3 + {=>}{{$\Rightarrow$}}1 + {<=}{{$\leq$}}1 + {<<-}{{$\in$}}1 + {<<=}{{$\subseteq$}}1 + {>>=}{{$\gg\kern-1pt=$}}1 + {++}{{$\varoplus$}}2 + {|->}{{$\mapsto$}}1 + {->}{{$\rightarrow$}}1 + {->d}{{$\rightarrow_\delta$}}2 + {->b}{{$\rightarrow_\beta$}}2 + {->bd}{{$\rightarrow_{\beta\delta}^*$}}2 + {::=}{{$:=$}}2 + {:=}{{$\mapsto$}}1 + {alpha}{{$\alpha$}}1 + {UU}{{$\cup$}}1 + {All}{{${\forall}\!\!\!\!$}}1 +} + + +\setcounter{totalnumber}{1} % No two figures in one page + +\begin{document}\allowdisplaybreaks + +\let\cedilla\c +\renewcommand{\c}{\colon} + +% +\title{Weak Similarity for Strongly Separated HO-GSOS.} +% +%\titlerunning{Abbreviated paper title} +% If the paper title is too long for the running head, you can set +% an abbreviated paper title here +% +\author{Sergey Goncharov\inst{1}\orcidID{0000-0001-6924-8766} \and +Pouya Partow\inst{1}\orcidID{0009-0003-9652-9469}} +% +\authorrunning{S.~Goncharov, P.~Partow} +% First names are abbreviated in the running head. +% If there are more than two authors, 'et al.' is used. +% +\institute{University of Birmingham, UK\\ +\email{\{s.goncharov,p.partow\}@bham.ac.uk}} +% +\maketitle % typeset the header of the contribution +% +\begin{abstract} + Hello simulation! +\end{abstract} +% +% +% + +\end{document} + + + + + + + + + + + + + +