From 7e96f6d6b33770e119dfea95e843ef29115808ce Mon Sep 17 00:00:00 2001 From: Boris Glavic Date: Wed, 28 Jun 2023 12:20:46 +0200 Subject: [PATCH] main --- acmrights/acm-rights-13411_4_1.pdf | Bin 0 -> 26952 bytes main.tex | 14 ++++++++++++-- 2 files changed, 12 insertions(+), 2 deletions(-) create mode 100644 acmrights/acm-rights-13411_4_1.pdf diff --git a/acmrights/acm-rights-13411_4_1.pdf b/acmrights/acm-rights-13411_4_1.pdf new file mode 100644 index 0000000000000000000000000000000000000000..cae06454621865c126fc5a386cd43568d6712f71 GIT binary patch literal 26952 zcmb@t1y~*1k~Rzk3+^r(hv4q+1a}SY?he7--QC?axO;H-Ai>??Cpl;4ocZsaxijB$ z_p|rY)w{dbdTUj8uX?L$k;n>(P}9>eL6L0lOwK?t1Ly$OdS(DFE?OZ&eQN_lfCfE) zPK#E-QP08E#*kLrQrFm!R?N`U*u()q&qym`YT;mLM=K~OuBa%Y>+;7nw2Hq@Rh7{* zGt_tZvmIGoJ4^fbRt2ps94)Qv0W3_k^48AwzuNc=pr)r4u+Y^v7q_PeIM_KF^6=2A zm>M{k{5tD*k5an!=D&~7N*Y=jzaOBdqZKf9u$MKo6STIpv9>a_dWXZqWA9*RsA~yD znw|Cb{sBS&hBCA=`18+q>0L7@mcKN7$6{@#V56&V_zu#^RNqiuRDkw(SHFfq{$D9A zVxj9`_|G){Pwan!Wo7?Iux$Sc)+N2|Y5Qs|C;UtM8%zH8{j<(Mrbphs?sp-G$?f9x zDO%*im#?zHmAnsZ`QHm5&VraY-0x1JMFy=q@TL!@8j=LDPQG1xh!Ft^+fK0mqsFX% zY5c#iDc!%prgZ;LHvK1~^f!~{@V>o01Mz|Wqke3E>G$7T^w%K#cNYCmmH*ckWnuVt zSd@m>gE#+s$%=I#6Nk%9f3yhD)6Ew4KPt%nmx6yjZ+{2+=S{}I#{So6xulP)f3wCJ zMAhDErG#m=i!lQ51%pNpW@NlLAj=jK(Z?8wiw=tQpp3S$udBPa?XPi9CkYfx-{b2b zcFCUcGyvbw%rwvO#-O;KjSrs688rKU9OekVW4q$GL+k{@jE=f z^4qH0Vm+55g1&cB14I?lv5{!BQZtlRdOX9|Ry|JcATle?%+9ouR zLjci;783d)^pSWo=s}rL0(7lSXl&v56-+O<*Km$r#C-oQ-L@Of2nb)4{R%iSc(Ge= zNED}othcQ#i`z&>MbuS!vTi$>dxW&MnB;R9#fp|xo!!37l49a<%a|e5&K+C_I5q&1 zl8>|5ad-B_>>>$X-infrB!!P8+%xv z`FUy9^V~nA3gsakB|=3sth}^ zIEP>Nu+Hi8LHoCx3!R^7PKCeqKqt1?t3kh7T~R6Q7z;lF%Pf!dgUFtOQw2FgOIZ+CnJ zCW80baDKHrVx15TUUjuULdN(8dqr{JveOP4;k?OO4du46?NJ59|1%Znp~h}2@`{l> z3z-;Z4im%e=oyIj4RTXk;9v>}#l^=>P>8Pvy2C?pdZJCJ6e6F zw@XQFU0Au>2RqoPb(Hq2(L~Li!qv^^<6)kx)af2hh_&aILRR&P3=?Eza#pNrN;QjI z>((=ski7iLRY!~x_B1?Y??d3gRBqyx61XVH4&~rVv8uHNzie91?wF6@SUfQ0n}Rkg zrh$Bo87)n(Bqg4L=Fe}!P@x`RDogvssm`1YJdG2}NIf5YqBOIHqN+T_mMhSxrbca6 zN;MSd5Qh4LB2*7BgE^~COPn($rnv77ED=gw4az@=BA8~v%l%0v|FXG)kTHa^Aqm%5 zDz*34MUh|H^1Fw^ZOOuhW5mpgj+ysV9dcMP7NBXjd3%P8Y{6!-jE z`MUhW3UoNOC2{72BaF5j+6v1Ieb)G^yJ=>P^mKj5cZfi->s0$W?5AC%HY>er5F`>a zTf*)SbBHwJMRK%`K3e9qC~g&G=vB;tN4GoWK=@gsaWI0O*rDE;EL46ZQcEbxcc3^R z`_eVHeEe}nU~ZYCttw5(w}3;_jqD8OqS~&Gf+WmT@m{zyw{G07k6X066i(@_K4W}n zb*5HY(C;`Z&z44$^q{`N5mcv5bRNqG0n9>B_asTrZe*cV`N^{p zXy#z8UP1=ii8zNUyOoYi5_RNlbfm%?}`P#n^(k4gbT(xB-g_Nld?QWP=T;SRv*a7l4sE5m4m=_d)tnE6Tg{4w;-DEBz6?VM0cR}g}`upinB2ZVNoKtXoUoFG$E z;RmxJJf_~ZN};gx(ObzULxw^iqp^#q_!X|UEClh6Klq`$sq^p+4w!|f)dUY@I`W_w z(hLxtv&uW)WyEa;pOgjie=Ju>8^H-%CT=XfD=8apbE5FQw_Q`W1|iAGD=XfKFXdJByP-R?gk1=k!1PIIN-{{3Kh|O5XEzm^6}pQ=Y19%IbIWt6iMdtQmnDPZMeM-%D`(tKoe1Q zFwkYnQB|bXU!mE0HeYXkm~i<%nRf8BFF*_ITCJ`)>8kikAxDb4P?b)Le~?aaBl6TE zT-keDOH1g3!AbyM^K)J7idSTg& zV!ffD0EyDj)wHo7e3m3aN+>hL!XTFooTL6!2YwPs4OT=ctx!PY(Q7hP9wZY;Hf z9B@|UL?XlSnN8dHPUQ3&xB$_V=x8uztT@9Ae7V`J2x{xxo7Q<&E6=uCZH3qpo~_93 zA?Vo;0ld9)4}z9I(~kgq;Bag&MpYhYQM)vva7?qeHm`j`T%e($N?wSDmnppuDb!&2UF@ zF031i3k7A_3(8MF&j%7&zvuPPR9ky;dgBrRV!*Jze@eE>Gt&5^hrTX8Yha;gzTF=O zJLg3P-ZQ}Gptp%#E;q>ugX+&dRjlG664|^A%Ye)N zxZr}(49>lPFbIAtfLMwfBU9OppvHq}#?uNLDIU@D(~M7_fs8yqM+92G`vDN1FynGT zOgI}6KUN}qr!~57KfZqyc$8)cU5>BP7{v$tbc17mzA8-Fr=?INBp17rPhwSDU9M!F z!@LagfH1(}h!eC>roUU{A54^iAOsM2he$C>JOvVhDFuTsrPc$9K&Y*ejY2A5(oenR zOcl+iCxYB7s*u>68@VGCM0a6z)ItG`JgQPA8NY^)vZh4zaF=(#Q%a zI%1Qyz#Y8!4OVqfsFNwQAlM#hiBnS8d2sMUY4-NS66-KS3+0X7242Wa@MmKXT6uSv51EU@U4Oo-D%9#GKNaL+9jh_GPkj(3w^q2 z&DHK)!BA>#t{RFScl_3FsWE<9ZnV#5EYMnHPVaEssA@=$hgFyB$jp2S`2Hi^m8!z6 z{n^JU(_*tY-2Jhe?VIgUhiN~${Et#yS8$p#(X1gALT&EJ#1mjeUbJIh7ZGo=yDzVS zlQs=IfirWwZL3MG@d1dXa^%V>q02;LKTpK{EXz1bq_=DC8{J9nUb1SYzD`IWs@P3U5J>XX_ z^0Xoh0ERyVMgZd<0uzAgm+(%K|D@RO=bKs@GXj1QA^Be-1K^W#@ot>R&boDK1tnG|xZ5;J1O!ajgOs%c#X>HzBH+*m0%GjRT!O+s? z7h|S)@BTl+36iE(=Cp#pyQSBn6|lB5Ftq!<_a1VPe-9pLu(Jc`ndkvbOl$ypW|qHW z`ZXAT7~!8|(sgt&v9`1S3)f#ze!((u)c*yM+SJO(+RpMfTv}ayeM1`uLj&qxFkPtM z0|VyowzU600cK(WurUJ|=-%x|NB4KUzijr;@LKA=hfu6J-iPnKPkToj8*4iUK3y9J zT{~TUYdaeneQV4A699Tv762~Eo+|DHwCv(qvEEi&;<^(<BFt2c%miyT|t_8rC5vAnY!{Uu$M1C$_b+j=>m?H|ye_39m2~s8zX=+~TCI#ZtI8yh5U|VJ*E7 zLNZwK8=&=Fo$NiJy0e-vw5zDE)+pbIE-e&7kT0E5iCwf>-4DN{;!-+J|wH-?2wi~yVRjE6ENaXEoy#kk%iYZ|ak5hvFN~JXN+My(s z7YX!uqtqtcgBBLh#Ci4l`TmUybQRub!TA{;ybgshrW z=aMS4hmH~_uw|zk4{*<9M)nh(Gw$${R4pH&xSU5B*y1o-o9iZi_Y|3JH2A&MVohRp zl~A^s!BHOy5+}!4MK68fegO2UNqjlarAoF9NI+R9qh&DEsyqq}PU@t`USFbNuGvBj z;)U#Fg0x3~&`)v)*g=EP)RV+q78ry8G>MLF*806+z>#XUL=>G9=_i|7{Ll>9WYTq$ z9+VrZJ~wPYYmGohiRau~6>a5I6m{%ze?mJBXsw!AEi{SJKz!5 zD^gPs{uGq%zmCK(A}=ZyjTq?)6=@`wD+W_z=?(O+NMbpsWh3m(3>={@_skA@S{pV) zx^$Ku2NLOaHXQ>L9tY9(iOORN@&H;12W&bn^G9(Gqm856RZ4RUZETNKHR7=yVk`2U zYIZ7~=gI;m!TO0toMN=ED{A-LL=EBC{T~S@$+`4{ofAHQJmD~?vwSI^fMFm4?6q@1 zQdPTeOYmxwqAM9=|B#a}%?Q(|xMkDCKN!>DmYBMHmREw~S9BS*N>^-uJyprErix28 z;a6d(ojdOoXvXfRM4sJ~^vDz{aX5Eys(1hQ_IQ?y~iMGL}2 zEZ>U$L_%NhsENfgfX>B|RZyK|d_6tFDL)-<=5<8-h;o|3!2M3dy%I9u?_A|G%l@+e40+Rgx7i&#`S zOM}#&CsmBu7B`B~SYv2}@K`xMxz*(o*~^TM!FrkFd>8mMdDq&n-5OGcEbJQs27#FHIcsKCMh$%`_kZEqm`m9>F7Wt8=p08 zCTCiOYMYW3aLD97%;iYUd#6JjsGa5BXsQ^J6U_!G(Q3-J+pL(NQW8WU_DUGBgx}JnRb8Gy6;PC)-^LR`FW6fpBWA!oOrsjr?Gko~ zMC~+Ufx65VDXdyz2PiYCi~yno@@d9uomsYx=n+`XQ_t^0Gv?~gcH{5PI4(cK-&mpl zzCOwE#mjdRoxXtjGaZ>=)Zp5z7v6LMon zb4WhPa6y?N+;27?M6d9i&iff9Uwi~4lfo{#QuKLf@3M<9IgmnluPXOb^E@4AE^AGf zDilo^#nu=KCysko8~i*PlG}{>GCN*Umv%iSOZM=!g7pMyAg`Kd2y8dUbx0hsY$FC< zm!|IuxiZ?^9<~OVr`q#uMHp@|_fO^mE#o+MM%vh(||JNA_1=Wo~(W z-jd$r1C?mcdPn-aGpl%lP}_)}pRrR6L1_PpulZ-X;@#~MeD@50`!F#=_>Y)9FgUeGUFh=kYO3Nf zaq9L&I=ive<^DvN>7bv%ZZFeOd%DxQGtbWGn%Y(ogew{8>+Q_yB*sM zdnD-E?oL)j=VRi#uIHbCkh&ZqZ^yJi2*6Q9==#N;@}h8zn*x>$Dp^hb#WbW|Ix2$O9qW{MnWAhJJIHpl5 z#bNZ%73%ze5Ffrr;>Onmk!MO}lPQq-+*sM^SOR$aUC_7FUg3#iy=WRWw}>w{)7*)n zdK1Ky@E12p-Tr=q@%t$fGUz4UM*y<}CUfSd!+mdRVWS_u1RrN~3{3 zRL2tK~xd}wzwB;aX1#FUpVS(rxW{IhGIN-F2bdk@G%z50!BV<2E25{hgTXE zwoJOR62MMrp2k&Y$&!>jGdZD~&9=!=&^tPao(%;U^O}h;M_mwn_-M zG%i&eDO!0kfc_=K67AyuNKj_P{R&Aq|S!L>Qgih&|Au2_O6x6 ziK-$qF4A||hR9+mgqoF)2ZSn1$5mIBu#wK696>1^NrmE>&2u7~9LAeL?fCAQmuomS zxhkN-3{^w3G>((xsqdFV;}2-vzu0*!j9AZtrX54N6ZAFgnV9oJ-6H|0ep)`OOtx0E z2T9Go(%CHIgU$uKp~r84qMrD+Mi(y!3VBYN8~e|e)En8ca7wE>km2mSkt<-T_Da9&n-p0cpf`i;Ern!QGn@^1Cjt zElZ6wB{91&u!S0Qlh}Am9}3NPXME|@m#zjZP}NWndud#;X()lkYT2YYOP`C$dB7Bz z69dfm7U%IbM|cfMM)1#an^=iAx?F;%)nO^Q)mk+DD`I%OtzUS%reLPjL#B80<_FFd zn{yjXtXk~W1Z$^nZY#wX@qp439wMCbRVXOP4K;XKa80)cxI!*=3_2&tbpz#LF=ld{X|b+_asI=hCh}I@C-czNGD9_-JwG0K)iyUz`d)aPMAgJ@aydbqk8^CO zjek4nr3E$~89vekf;d|fLs!DepN<0`!tGR#+0~oR4iQzZ@b+wQ*Qw0=Ay_4h*I}Es zfoATi8-ToO!sB89&y@&u=gk54OatAe052os~8hI{iz~F1lt*^YHzeK+o zGRvHtvdXyKJiX35RWE0ne0c-z@w9mOCsXa8Y1aQT)&3Du`S(w?v?9y^`rkpC|9d!w z;a8OAJ(TdPNaMesR~Z;sS^hS!_N%Q$uCSnW+$kW~$AKoh2!+&^-L$vf}+l*6Gmk%p(X?MmvQcv_3tYrPV%0W4`UxS(g1gd0x6PUc@Z) z8}xO>Id|xuSjl>2XIu&TmVOF*g+kM?^|a~92J+{UKCIZXq1fmfBq-zV;+}m2caD+Asf;VjC@^KhMWtOnv|&2qx!dtYJZAlL6{{PjR_qW8(`} z$5&*azLsa6(?Sj^D^wR+OHj3sOEZ<&7Q*ne>4wKRh95vTM9Mu$` zw7Vr@>5TAW)6WbkKA9m?BXB#z~(X_1m!0{7heBi5=v)WNHHWs;34asNoUi zG=W|4b|!iQ7;OxJ#@AF(J@E@n^$~V@R#miJm1Pg$4>=QRSHijWI2#*3;ywlu1V`e| zE!uU-rm@S3RO05D(gy@J$M@fv#QXU&n-7~sK-lTZ8uv>X%^!^u0|MPe9DH<(avt;g zKA5YM;;k4_M<5Q^6jI=FxNE2dHu-E(&NUVjJtD_v=L1!Jat<_j@(kf&72#-rdDLi# z0|JeNwD>6B?Xyh2vvxWbk~F3)EFvQ|(ZNUx9+7hoB$g3q(eSYpKptrvqR#8F43tb4 zF(Kb|oYxIGcjZKDZ(}k+!=e@zv`%0i8m2H#w!|grdr<-Sgo)e$sZc!5j686gEQ^B7%^al$8(9> z1cVqsOaLP;Fl4%ugB(e``PUIZa+m={xO&Z|$H$6qV`^+4IP5EoY&WOueVgs7DcelV z2E+RbdJ&#nWo4(@hazo*m;rp0DCoK3=>BK}+xA4|<<$%6jhd3Tlq6bP~_s`Ym_i8j>S7~zhFJ(Mjtl1VVmFyVhf6;)!)MtsC8 zxv;u!iA&ZqXLUD?Cl;DJGkik7gw{stJSX{~g@9af52x+5mM@y}#W(3t&cj{K_!*@C zB=0_e4CS6H=Xf7l;xQ*KycQq5&x*OAJG87$aD9LbkN91>~S<$y{Q2_$KS4Xe%d ze#kknuQ^G(95|!J!dLY=9Z-p5F^bJ~``i;SW4B3g>OwBY-3dywvj-HUH$}pFYq)97P@ns#MTPaQwi^FO zLN>PvLOte%(5fM}+oC)m$>+DFv-rZ?!J2qLEK;AGZ}M;xkuOr8jPHRs0>y(^Qg$2zvG2rPL z7;AE@^dCJshJTW%`|UjaTQhb4n4tU1wfk2Yy8j2~@6TM^|LpuRGO+!<7_eW%(tfoO z@ztvn1pfq6nDnA2X-{xaYB`cKu5iNi=i%%N-x@zs9OtFLWj=XlN0=vYP8_pys)@nq zd<7rSWF7ReT}`yN*7Fa&n3CH0pL*Z!kNUTFwpH$P6RACn%<9PPaCrrvjBM-f>krUc zS~W~=;16!D2q$OZ!`@zL6^@dUH|w_wWeX^?)5<=_vyi6%x>z6b$(V?X?`Er0gXW@w zethzPU6{mm55O|e-NkPd_eV>I-j%hfbP-EywY$=!1H?%QMY(1iI1@7XP~a+QNKO}-j(3$bc`x{^(of{Z<2Y4wcj zUQxMd;Gtq2Pz^d?N3IJhl#d{AHq$@z@p(c8Rz3C`%PnL_m$<4n>tuOfJarAp)aV!N zwitA?82byR)?;;wsSol41aY61LZ6mmm+iJv>2pYW)R;`WEpoI%V;?eFg>hUn9$?O@_ zWw$02YmEP#7l@j@Pxjzv^15Tqv&*BY?D}AH_DR&K4JeAeY6R(dSFge43ZJ**+dby$ z2d}SPFC!QIW|6eYbsLANy%H$L;g5vUQOSq|dLn35@Qw)DlCSOediG2AEiT@q()a;f zH?NvpwCHD(eTR8~579A3pm~_xyYEAB0NNdFtzQ=Bbx#ger_Y6{J@i$N#tuR6x9)|_ zx<4_rB}s7h*bIo_Fp+n{5Q7*wIMRogwj}XzPje8-tuR8c2L|r-aA;dg_PiSUa;OH- z)mhMQ*oJ+4;Mr`vDk-nmy>CC=e8DM%4+KugW#I}>?_g6oyX$O7Ys5UAgCE}wYFy$< zJwV{Cq8iKZm9$2vc}Z(g?a4-9V6VEXM{gV1XcLuYcJ&h zl~!VDaZk_Ta&A3A38Z<1jB&|`HccvV7vm5N&aek=Gx68M+Ma%1cHgb9p9G7s3Sh+z zBjgh#?wR^vv=SIfW1ZrQtz9@iUy-L%qn9&8sjBs*7I5|F$|cmt#S53K#mdPDF~d6P zk1Ff+lMK<6D$s2iD(a8Q_g4V7hC5hHFZ6Y!YJ`cc(YKHgB>5*YK1`)@Gfc!v< z@{Jxilix_^s;6cz#U|tmJA-%f!4~Kg_CpovGB)|vdd^`k%GzSGqzI;|Xvkw=Q5{oM z&yrnt&x@2iT8$BfOpQr=j8klFF!N{8^bHeiY7LQn*49vw;yk}#ERDoZR^v+#;ltPrBhbejg_#JI*Li1Tv2p*UCFSZl zuWR!;Co}gdCqMig6~+e7qQ|Yz6zS?WQ#mJ*@^F%NgFmqikW5x@dTC2LK?rq%tes4P z8a0}lPTcSdA!farty*uL4d_cJt(UDDma0}xv8tW#1l>Iufp<>4EL5iMhzT)^=3GOB z8ec4-(H<;+1g-fe>mccXB53iJyjFhr`k5~F?fF*HQ})T~B*@mRl^L@-ppyvW7{x** z0p8A@?gH-GjJCTr`)Ri9d)4iSA7dHX54JGi8xOiGkwmFLHXFc$Qf-%OkY|IG_qwe0 zYke}(xpJ3?K1U!&x2+ke5z8mEx?k#V)RLtumWT6%3rp12{445|lDuX%GQ2D97}#Qa z1>kX_anK@tzmnCSlS4Inv^X2|g+n4T*1C8W2L*saB)Urzbc=(Hi(`HlzoA2nWyp>D zj&10~=g;#`ry2bO%VM*yU5GG$xd#9BO? z73`;h&?wby?+0$E>&%Zc2n*pKbqNTf`vgF0`UQG?5EJtqguy@t!C*A6!_n7L7bn$E z$pU03NB45^qM#GXf4$K}sj5&zzD9Lu78@+Ov3yRPNO^yga(cixLgXd_(KK9&+dn)453oFSx7uw4puCnrTfD|#dO2V<(W^UU%?`X(*c z2}GkTr7L1(pkN>qlrVAp@ui?6^@ZUR2}G>d1+8%1R-^mqi*`4tO!jgvhhnth$^eQ< zbIXYw_A<%&hLMn3BbJt+jwY8)p8=MCPG6yfkQ6n>17o2UG{f$@h zvaPSfMQ>xv?cmG_op^r>Wx;3sN&#Es=}Pbe@)0otWOG{{38*tJV%xHARszm%x#>vL zWx5Md(X#w_%>G^km_e(E`|Kg26eX0GT`2V`&aBkCMmeicY+_^9&S|fBbjoRkYZED# zn76(LuD&b>I|OaeMesLU8z#q}y^)~FAW}d~!wGc3@GKzb{F`A9O^1$&>RZi=uzv`m zv7c^XV^O9v^{@lMo-^;X6mX7WfrZ;Ao~k$yZssLH*ZN~35*is?Jj%lFv;=rhhV0MV zX4gdKRXE}pAQOZ%GIfdnF&!`fVXBFA&4PmUB2W5CA=rG4`(vmLx@IoYf89(j6UX+2 z%_z$nNOtdy8203ZzmVg?`o_6TXfl%eU##k_qe6mWglp@=q zt4ZemdBUvyt5xw{O5wbL-Yvq{Y{T99T6JtgWKnJ`s;r|&0=Qn_pUux@M?e|k$#D{C zR%LL#B)oB-%ul^NyzpEM+;lH&UW*vC6zoDRODff}%CbDv`*0^`i;OT*t<1Pd7B+60 zI{dPt$hyI~W@K+&>-Q|m-DP*%zrsX?7M?g37YJM)(Voo#cE2v*UJxo%>K3HRuCH1= zwq3|X#k~mbf~byA_&N9QvySgK{Tytg$v-42Ox5qaP@Tc8u58J&ddzvjRqYlzER3$z zyPLEY!3ZfZt>Srq-EL(1;?Gla|M2j#|5%6f6J8QYQ!E`AV-gXt?YjALv-vWwAg-bX zF$#)DMqhl7)KJ;0L^Yo*_{c5c)KQp@E!*si1KIv|8Z>iluctl!SfSdflbek}?zrYO z4xUowzG%Fau;Qd5xWeCoUq0;7)!40cv0HS$dskt`GU!cDG6mUb5Sz?S9TikJ?{yv2 z1hsNKqUXPfP!64lvGsL3)2YQ0FZ890xksJGN@6)8%pSL@5LRKq&caksa$npew12)0@~z4|Zn>F5};#(Ok4tUPi8VZPWv z*919%^!Kp$_)c_d(7dowc!Qx7TQ-?)KI1tJ-tl^|ebhpS*L$tB7L*mF-d67ghfGo` z-)tfaxNePgNenaO*0_a6k2Nms|K>=_8mA+$s9cS>?1k^)eKI*~$$6Z!&vebpn&Hca z)6*}`QfUw~yi*d%c&mck-l>Cs<1Rb4gSsunSYAUvtM*9K{$qCe3L1dHcK-xg74RTs z1Lfm#C8-SVd_%O|9e?Bm)Al0yki#EQJmCQ0&N;QT%>l~sbl!-0MgVSQTTX5>E#llf z@wkdX!C#Qav;CInlJGW6@NLiOFy-Q|-dW;k7V+}Ndl1z|>z^>azp4TMGfmF$N8RMV zF?Rp|XL|p-0`vcY-~Cx9_&@VIdIl!OzXkWdsaRUCupqovYTIt?0r?Pxy4mxLo6ivT zE)zu5=q2CzB$}pV2(`qcEWCL+=M!`CBS9a@4mC>8e&cF)KPC3Q@ltc)A+7^LGe0xh zT65LDu%RT$^dxUj2J20khqgZQysaP9IRiVVH1oVjhR1L3e7)6u@n*v?p3oP|#hA-g z(<|taNC$mBoIH(W%sF|1U<7waekNG~M5ccST+d^-L1bCb�WS(ZPkmy5%c@)B6#J z>&R`75MGgv4jZ`whgJBum@2Ln!&rTe8GS^W1^4IC^rb_p6@XH}vC)Mk991X63Q1}; zBc_>^ZCXN0L@uby)uPPMrs@D7zYob&nRR#+zcY?^fv=o$6 zBt(cPs zv|^7t6JhPcA%vlaK;h*<>C2&{3ZfIqK&eHlR7_!X(df?Dm+2*jWxt;xH=ydbhsj!Z zFHXA;Kgdwe0T4(V$2Z-RH*08|;k|6)wbIISrSo&uophJWvia1XRPbY@?)2g9h$60k zc6VQ1{HF2wk=bhDR6271FgzsXA##GM)}aF|2Ad+Mgvyk6I3uQEHo_#jX7Ni_0KEXK z#C&7fx+1*%jw5$~0*ii+N8ou@CWWhN!eUchcayv>a=Z}m>F#06Ow{xje3ByXb#G&r z0ne!I8t=4L>rZjRNO9L}A14dbA-5r-NQc^e9@5}>=K!52 z`ISFNv;@AP3Il6g04xbsCDo*rD>A5@D%4RwH3f82_WWmc|+G?0E&p?DztumgtcSa5*zWBpO14v>aVhWR? zY`Lovp#@1~j-*_2ZhDVX0xCUc8C;OrpE+RTPCb=Im&uV80$Sxzj(mF%wwkpx$8&2( z*SOSfVd~1yz=zX;v13j5JYlSK`qSy5+>C{=Ahsxf3iGkQDO~nXImq*)%V;OpMGObY z4$FLWXggDlsgo5kITfre+-jUT>FK-)r4Oj0Ih(kYe%XS+P(G1}77#l`j4Yz8?{qPynq8$WMw#8w zN#Y?|)F?5JnGVU5wp~^b@6I!#IXl_}^f#7b&ul}@gJ^4isw=#$R{B<7PTrT9YKQ{0 zeiG0!EWEd9C5CjI8)XOYt-O~tgN~Vx0b&w-%a#)DH~`XZ*b_+R-);)MiyaFaA~zzZ zKxR-EX(S%iD^`$|l0J#zU!?U(i+g>GE>~jAzK=C`Zi;_33I`n*`tduQtX!98A#uT- zR)Ez>uH^~yL8GR4UHa^3*wM<0yG|XXw#YrnlyKKGDDTdS&(*80$n=BLCKulI4&uq? zvvVNP@)nAWheeQaEP69UAg>`86mHo11Ul=&{^uZC?F{;?$BF5vD&Ol*=O4Tpt*CUr zu^)~5tcz1YUkPv(9~&2>mS{HJJFvkAU8$YXC4;y3+DBx4%`lFUNvY;aUzEK)+gyu! zWL+@FU2vD`eBz$t31FVj<$VRq%#D=%CvW;c%b5S3rDgbCo%HXlzW-Nm`hQDR{h#Zy z-!=JYU6=Kr!~F+&R{Lx=Z*eQE(~3xoef+kefp|FZ2rP|I6e>RSCT8vbjM!T+-1 z|0Q6CzpeQHW3BXiZ9Xe2%RgQ9{U0m#*_i&mK>x(u-9dBC^=y5g{Vau1W;~pUBadiY zH5F5Q-sQTH3r`#^(ZHR!(+EZ&)-pxZ1!M55xWxy8{A?hSq%?F>T4KIf77CmtQ-b`Q zc%~dFWjDbV@tom;d`bj~w0iN6(O(OmR*a1dhQ$^qa?RIxtLJ5&IG;TBkI%k!dRib$ zK+?yhLCR=8RdSYpGT1swejv)e>+1eodF=f#0zNf~sCTDj*AENP;c`Xm4gJXbvE;G8 zfN|!D`c0i#RP0#zyk0x>lnqm@Oak^!K{hL7uR>!Y(1<>rC zg|Fc4+|j=b-t0hE(OT#%aEO<3EU95omHrGq#l!wyaN-X2*jn9D$mYnGv8FcF5_njZ z794WCQgi|t;dYw7+jLby>KDH!a7WW> zgt>>n?fZa$Vl>!EG)3;LLB&Q4!Kp&9%2B=+MztrIax3NqC2YEKDM7kyTT zb3<|DNSF@D2XC2uvEN=#A33E9=_UENXiW!uI`dFSZgpE$_mc`O*&G!+dskKW6MiNh zEn2-^eeutw6R=fi#<`KBA_w}C(U%Zpe@Zopo`S>~9UE%a3VV0>0|$Jxss6%v8Zsr) z(gyDheUPQHTGoT55<>kHEIJ`(5}6_8Y2IY>P@3iSbj?%f&xh1Zz=)4Ickvu-Wm1ft z7`KGFMhaT6f>ZI@F+))PvK6)1(d@vH9bSO(*|szu2J-7(i4crZxcP~Gan(O_Z^IV`>6=o zS&j8OkM9c{jpc&rZUu}ac3(ad7#lUM@ke_UnfxmkRXPC7!~cU$_sRI zBUbvQv`>x4i5+(A;uz-PI~nN%*az!sKCzQk(^+iC^TG@Ao$J#~Wbzw2zyaYD%}ynT z>#l9oB}Oo=Gn;vSXPTf(E!*1`nfIMWC~rPI750@8kI8mNIzVFWwOvD@hZFIc;w%tu z3T{tJs)*fBUF*PE2;P3n<#07)LDa016L6-2uT*)=Imk1nr=xnI^gN0JpG{}PUSYS3a-o^v0)cEdXcE|$Y!-h zHs)#3Juk+4J1CS!1)hFKS<6+29&guPt9y?{z1c;o1e{kXrojQ1m6pDY%;nV|A9d-J zyPuR*g(wpwft5g{5fIh3IoCs386vP?2+ldRKP40`_@1>xD6#-O!{)Q7AOhEycxo*sgIV6Zk)QN^TLY60zipSL-RkT8il^ccB;)Dx=vg@njH%(}xM>CB) zaW5ZymG)S79A}TdGiC?Hxj_UX8a44_sIK{ctJf>}P7JN<3A&rO`w@i_L4#jb#Nu;i z_JAawKRx4s3pjr`Bc6zbF<1Cvw+luMqbrhu|^!Cf`ycbBx9x&;FbYTAvq#>h7EhLwqsRJoE%q(Zpc$;TedqR@OGR zg0GmQ?8}B2aN#q#yi0U=r)nNY4Fd@meU2ot+_s(}2FIf3nGC(KB(d}!#X<~$@P19s z7oMUKlzuO&?*|7z6YF;($|Pc1eToU++Cv(~-~m~`2|H`+Z)RBJRVT!JsvwE2@rHRn z<2C#J@)ZeU{bp|0X)2opBj%(jDMk+MEMEDgAO#C(RI!zw537JX^YnWzVm|d?Zu9Q~ zJXH#XLMBq6@x{~Cm3iE2Xy;GuwfS@X`doW`w{T;i&&e02DYx(C*{v>;al0%NjBg7{ zu_#RTz$q^sF<&^|G_M9~)F}(lT{6CDa3z8Vl~HhYTf4iTW(gS4s2c4N78x~9a?goB z^)|GbkGJto%#r8#6V8CAQ=SKLh6-jzDaK4#6o#gf16SIpD7fV3$>L#*h zI$!4bgFfrrQG}`hQ`xa08WNgud3l)n9g9IQX=@&BMsk3*+|G4m8NBrnNTiH!;9@#t zQGvURRPf$Z&<&7f!Mxonsgi@zv+%+2mXJsp=r>LZk|6p98-23PWzt7t^M3@*cMKnj z-?{&&2Z^jy1`=W0K(UNc0ynEX_nsW98&di>(ii+V9l96Rm|%esM7{G0#MqE{p;%r? zkzO^m%KGN~z=eCSYJDQ9x`xQ`@`$y(Q+2vgm$%G-Fh6j}$eAZ`KMTE8Q+WLf9;V8@ z*_p!0gjd_n@zxd-?G|EGG&eLc5Ww2})ch?!62>@a6>9J!VrE``VrV=*DHp_tkwGcN z#ONf36at-OV&6@CpNxKS!cbtu`Tm{%udlO?i)#B8xClz8BB97AT~5z12q-O5(lHE3 z3=IQF3!>6UNOveDDJ=+sbPA{-AgQ!8(g?hR-ut`1tM9$}gUwlIoweiawKnr%?eBI@ zji1eZsoq^Iw3X#0Yi~L#dpC2+Q87P?D-AuV^2(V6wm|j9#C5UVR`ufH{y<@Hp={L) z@7-8jP53Nr$V}0t^p&-aSd|LekNmG+UOC)JZQt#=eq>{Qzx-P$MB0DM@~q3Nh*p~r zxtK|AP^^jc%^-RnPX1tJDej9U4a33MSf3yZ!6Lo|#g5kqjy>4kUfjkWsBOS6A!5jy z=|a`W+Go8FDa&hE841v7wpbZuI=9-GIW`V%ng%%@K{Me`^24kZnXy98G^)ky^7Ty$ zq88Si?oM8xtaZ9i`t`{*Ly@CHInK22u4#nLglW)@&V!?tQb>LOY+9B?*vcE8YxdkK zZbz;fd4Y3!Zc#fDwR8&|F8nmjNVxzZG6C2lUa7zYe8il)QKR&k28<+U2VbcFV@;x# zWfwRLPEkB>U2yV>e4=i1)ON82Jf!KM?ohke8Ekk1xmq?eBVgJchmK4g=zK4Juz|KrVk4J7O65$Bd*oor0mXE zt@%b`%HXI*?e5yHrW|t6Txd3YAU=G*>djP*`KrKlC6gKZXvITh?cD1)9-4;#dj(tI_SK4)VzAD%}tJWURd!RLrtRj3(<>Tngl~WmPT-+35F7Tnklh#JtKOj-M$SBQ;AxV>Vo(f4e;FM8KG?hS{ zem^6BwTsBT++ZC+Og>wGRx5QaDtC!=feOBCoLZLFd6|CDQ<1o7ezWii8`J8BZVmCX z_3Ur^R*&pz*4FlsOxJlR#TQ$jdU$m=4wA~)E#ldGkTM9U-IcgG#Hl&PyU2MR{Z;HCf_bnMKYt z6u+xGOfat`I0tblVCfRuKvGYe%eG>?ZlO9!ZC*1cj*AFl%}pQk6z&ptiwhD@-jz3l zcHH*o>OGuokTpLdY-~~vk|+V56+xSJjCtd*d}{16O|SO?>E`~fh~C@RlsW15X+Kdv z4Oh)MZVWVyF>!Qw@>n>+>C^q1H1f_h$+knRdZ5IpjhV@q`Ns`)DzE#-2nBveJ z7>Ps;I~S`n-x-O%5Rml|tAti9+G4jWVz`c55uuy_eP$K<@U$z6(Qb?p;mp4x7V55g z$v$bpk64_1dka)0I4bx!KVrHJn18J zZ|+53GiUexbIScpA)2lJqmtU5%NN7d2XVT|ql<0WrpDRgl)$lxJF0UtO zP;|4kmx1khoatHc@}2HypMkyM&Q9HCwk6L`3AhkCJDoEFXzVNwzAWRA7(z_4&-YZ% z{w8GNn0!)@6*q=4)CNb(XENDJzhc;G$$^*eMLeAq+SfRn+X<_l9Cb*(wD&~e z;K!quN%z3dY>7=Qa^J1WtZC#%h0@5Xa6}>TG*z{A$Y6~*h~NhK#wm>dVSh}8z_lmlRYkf7v*nD2x)X3fJLfo}y<6m?#)-+sX67`9j%%rIW zLkn}yBfW-G(_^CIWT-oTFj$xQ50E9^z8`S4H#kN$|9O@{f=mFxJ-E47n5mD}YnVGx zug+D~!_82oODE5SP}Y8&mJEh4Lw5F>nhZL^Q)chZXT|<#eG<0);(m8FhijWH6RLdt z{nG2_MVzQZ?$gcwE385ZJ~FNLctdg!8#kZ7sac@p&!S+d2O?I2rhg= zs7)W&y}dm`63T5RN7ZQ0EY5o*F>hJyy4`9}2<8f&?#sI73atVUF?j!Kd)RCsQ`J;) z?UiC{Y1C`&PfWZVf>Q6!HQTr(%1uFEehnQkv3At$t3VcyYjz2?x_ih+A9y}V=nO-Y zd(8Je)2m@{yszZqI@*|3@yW-U1N$m_$&S^D;)(|+=b>sS*C$iQ{!T~rzKVNeFE|j# z(zj#0HK|%_$JWC4AmnrXIPVuAeJR`ScVMFEW=l6ac+Tv_vWaHuK;p7I2TVCu&NHyJ! z5qLRml1Q98jp2wD;g4X)rt0}qUr2iT5ZcnCXxpX48TVSWf5|CJV9!J|$m#mDh^zA} zDc1VuIJQ!~nnPHqCM}9k>s@%SHA@sH@S&J~fGGjTccxOq zBZFpbD#28!aYgo93c1MZJb0Y%(qeuZyN%66GPDCRwOvq{8(JAK#?i1QbIl-K;t_2+ z`*8HPq0s`h7S;=A-d(92Ssut)=^9!hO7_g1Ftyx{HyYv3$V%qoyKqzyZ99KU!SeLp zH$74BGjfVCP1lfNaY~_qDIPBwUZ9P0OrUn2b!uX0m|K=)cy5|pP3^c{++_J#gJK0W z8$liTCo8mA@_>i*5Fk@5p{}3#2LEmr&UJ2bul$Y zCD-FJ9jiFh7f497W!>~vf*tq+TZVH-xiW|s`(mForA4G45A3$LzIb<#ru?j~VZmxM z{&v08rZ>r4eZpIDAF^4=Py=lAj9Szmt_b-@b7 z@k42zL}r##ZtqF+8L6bRXfyPtvukBVqc*jFeX@VOvg<{K!x&vlE!~i{4Q4~LI;JKK zDC2RSbo2qA;rWn`N?uaMK=D< z0{r`Bdi>_1smeLb#rp=2&DPiNOg~1&Wo5qaS{uK(7ns$ye5@MPVLzF>_^kkUd1AYC zKI<+1dXEBK${9Pse3mT*$Ty~DlwS9#aCQ8GB8wFGG441-Z3Z*t=}xGrH|w|7U8N3l z6VkriSrNJuhD*V|$~dU*wb;ff5vPUgxo}xbeHv#AxL3GGUGs8T;jO{?L+73$KFcdG(7a3Kmu^@!67fw3r)oePb zR4;X`yZAjJojA0NX4_}kN0y5Rl*RHVKcCbJt5`EAUvn@{&ZBAclilWhlC9dABVc@~ zsBsvX>3Jk_(Hd&4d3z+~y)nWf=FW|b;I_D&?0aRS#>nC2;5M6F*I*&k$i7yZl81#< z^GcR7z!Xwf#iZY^HLIxjyjywmT}#drl77Xv!*UBzoJy5ua*@%2g&LsI;)`DMX31e- z&?WFjGTAygI5LB-W>gnkd6|faT5jaCv`M^|nL{K(smwnkV`F_~b0Pk4`g^7)vk@6`U}A)fUr2Q{MY{BCD=aH3D&P!@0WIBcSX(t)E}sLvH4CO2URKLHLQWke7<*PUEpG zxzZbClFhqj3{PbpYIjOk3eWf1s7GXN>~+kiC|o_Gv;4JrH*H%DI<++`INGG^F{qO- zbD`dXX}D-Rzt)PaWF(i>bLxu7q|=4lC0#P1^8mKWeij3^9JdP)#v?q$#tTVBVa+SVX}7I zGGdh?oNSVlReo|ObwsblLw=XYHaT?qPIF6qBQo;^If!qs%yzz zxf3r{hv>I~H+|%6??D;_<<(c*WFP_fbMd)_Ora=M}r)esI$qR9j;9(%aqba|vZ8p3w+a zw^ZNxN_?^4v%*%loyOkk5lCGH$#>~lljfE&g=oB6Bx2+E+^W}xpoI^WEob{7wY)t% zT_7;3NT!@V?a_lZFJGOW;P-y$y{-%6(?yTM#3*wv(DNK+r61pZ+_lEK$9l1P^_(F- zY~*&{g7`yRz2fuMDB@BYA%jm>jSLU7p*y^;@b~s4tB`r;_yZ#O_p6O&9Gq7A+EFAc zN*{6>;yB4S;xbw8B|SQo6Un`Q$xVw$TLE_SGqY>d1yq~4eAsnK$FsEe=M>iD*@Gg{ z@=RM%sMlva!kTCZQO@&b=US_n248|j-z5Yp-jEcv;oM2D-$k09xnmNKWA{yEJw&aY za)3{!P+e{|VVvV?E1{Ojm2FgXx%qs6k`n*cj=87rWi6Gh58rS6s2u`9ebZO$>9&S z(-)CbxqEnFx{dbMsTmvU9d=Xd<%Us_?h1}0PGgvxdSDq@ZjSqq9Tn#Jq!%tT!IN^e zI3jt?`9pW1+$Cc#DSx(Re_`$QaVjrH$E*f4*#Y&bq+4_j^jE==A{&ev%X0Rs;qoz$ zaxNToG2fsWsgt!MO3`T!zvHJXDn=N}>0rJNrL`B5o{@Vfb~EBdqeDpjRph9Qv>13) zCi8n^OLH9+wu@Ph@talpgfD?;g>G0TjsK%c#)E>#6vtMRE5sB0Zyh)r4QW!xa!Qtl z7lXcwH4XHwdaglC4=7BTrIVr4P*?FPhLXJn24=6GT~7L5%C_Q9?x)6@o!b={%^TWl zS{iQCu?DX05KYh+!bK@EyDVj0)FXOq?kqS}Rv3m~t@Z6sg|9q5)M|=RScA^5 zIn3Xwt~*^RdQsfoBUAo)`uM;XPtJ6+^+xkA0fkksC@W^b@i$ZsudfO1L)?hI(16H2 zgxu6x4+(T4$6g`cU1I2C_4YeutZuZqU%|vHXD>X=f7CQnU3T+@0bA>R7UegT{G!J+ zKic@$lKtOX?>$T+GH2OlynAhG_2CUM(xof53QvtE>w}peFfp$hkl!$1`vHEWee2dx z__|@I+stUm{Hv?R>z;jnRl?^|TIZ3nT1?{DvxcYH1)n*F>Uf-oZoPFM7rZ}VH)M$)3UxSNTHx+Udd0 zUGd}NB&Juyt~r$S&HE2OUh0>vD|#&GyBl}}7R+ce(2M&GRZ*GHm(X(x%|CiQ9Qcu6 z!cex#Zc`Ra7onUUMpVT<+h4qwN3W}iFaJXYwauAw8|Hif!BDa8RX(LA-ajZ39 zlE;)u_$-Z^fv>KK!2f4pyy`1Z@#}K$K<}#0>B_E|-YrTUM``tyy<(i*JtV#db=j&~ z;Fk1TvORD)&#XZ2tt_J0|7nvMSEb3cl04P^R^Fjr`s~>wcDr1Ti2o&7;-3@)Y5YBt z6XKr`9F74?8QK4Z@JC@VV0D1Zrv(y*{F8WaqU>mC??iC?$s+_dnd5q2Ss3!06r0pz@pH?I5-*$hoNx@6cz=C z;gC=)S{MyNAt5*FlZbMu!+V%aWEM4=kqW)U4Z`tQwcxai)nBnVx=s;FQ1NE3xg2wSE_rj>S#<2*ZZnfTP@tC`dw zNgDTquX~I+{A%JIX)O26BIS=fjRAc+D zTuVjol4r1Mdk)w=57q;|>z6f;?v2zIc1gYQq*3omEB$f6;KtJW#AEN!W&G3JfvERd zOq=FH$gMLguYBrI-(Ssk^2Zeqst;`kY^}d;5uMoGiq~b)WxAD}bb4Yodn$_soXobh z-M8MgeW%rAmoQ=_U2*t*E0V!h;(0tnAw8aoOOIAl^?BhlPLlG%7iu(TZ6B6KTd;h) z8C1!Hr{>aPr8sEJ^R?nDDZQf@q{)?MH7}p}jbcAe)xCqviFc%nFTE+0R4xclJj3_i z=?)v0$h78Q^!!upbG+{{s)ZV)B8b;fmmjX2;=+-#QBWi@utkzNQq1=qfLtHZyfNoH z<23IDJ|v;GTgp1$*B&ZEpG0a!NEco1uk*FC%(*s$R((BWd?)F0-t&~t7B7gGLkw?g zh;x%$8A?Ex`>9Va>ae|d<5Xc|{Qc&#bwY?2$=9dNs>;MeV{!N-u>@C^*TQy9?F(R| z)LG`NN|kNWmgfu){)}LMWyAh->0c+1oH*)#g{psYr2a2={X0GCKhsU<7I56hNw6_B zvU56d=6irooM5hSU=4z%o#oGCPhclA5n!yIGznmBP(c5JZU8M&urvkuSU>TsK(sqi z1AO3T@pHqe8VL3ang#pG=>m)bEe6P007(>JcsT3r6T9pW<(g3BDS6T!H0lXFk6NaFGpAaDkf(HWO;R8znC!w4WPXB)`fK3aK zQ1OnumOrtyuxrq35Rg8vu{+3y;A&)Ui9g|w>hl2+^6wVAIpWPIAV6fG0HX0maf&9ZB0tv8T zf2#u+y5IW?MZu7N*h8TafAm8bF!;MYVbsZj^sjzEAsF=U{e?n-82-B+0tx?9hKB#% z4=4&4=-;13p-yJ&zv_h{fc5GR8TyYpU`SvF|E`C`{P8YfD9DLh{#}QYBY@7uJ5m5H zd9v(-etL%*SY8^06%|IpFve&o-qZwTA`BHqDd5@KQuGZqI3!~}v9=%