From b2c31fd2791f2bb06e3cb3a22b928d1a4fa0b8c3 Mon Sep 17 00:00:00 2001 From: Lily Brown Date: Thu, 22 Jul 2021 13:20:59 -0700 Subject: [PATCH] minor tweaks --- papers/hatra21/hatra21.pdf | Bin 1276718 -> 1276749 bytes papers/hatra21/hatra21.tex | 13 ++++++++----- 2 files changed, 8 insertions(+), 5 deletions(-) diff --git a/papers/hatra21/hatra21.pdf b/papers/hatra21/hatra21.pdf index 11e1fc58b34bd547edbffcc2d721c626a0fc35dd..a427dfd677d4d45a12c934afa594a8f282682d5e 100644 GIT binary patch delta 16657 zcmaf)Q+Fi{u(X4T&51p+ZQHhOJDKcQJJybE+qNgp#J26sdB5-cfOAoIb=Rv`^;-Q@ z?X$wnvqE4fcql|DWay7js8Hxom{8bIxKQ{|giyq0B#$%*PA-s%4F)wRFAWJ1Ff8e) zlbAwn6GYYy?e!)ct?veembebIb*QPyW#CEk_uDYqA+@4TMDN+|p>W8glB1BAeL=Ju zowpYNS{fOC9=-1?F?CE^(M&By{;74cav5YzoKYuBm)>7{vVA`I)L7IsSY86kC5k_2 zjRd%4%uWqqb)T4icdn&!KUk;%?DhQZ9q-yU<~G~L_9K;6f!ujJ2SnWW@4Z)(Tl+}} zL=$gXe}2l&*7X76lJnrd5%YTWJZF%qqj&8I&{TxpMoM+DFD${E*zcd(fNiTg`r@H< zBzQobS=V1FlI*5F&=~VEFWkV;35pDZ8?ci?!!w7a&-(G>BL{FR;!0mYtXUZD@JZU7 z60DVli{?X1NyLI17-D~dxCxGU@$RqZpwmcsP?gw|A+gSZW0h;->`Z^_+RbEV(Tox) zHThq4S-=DFlN7TJ$ebSN3V`F1+l*~DcbWdua6&6L>k;kc#a|@Az(L|qQuc#0ULQxO;F$T zSzEKxZ2ZI<=t9h!AweWFCjPQ+Z2B#)cKww=!b#XmDXXg|aWTBbEvBSR2saq?t}`yu z;WwPSNXUU2c}6Y`l(21=u)Lj348yEKLkuun7H|^qa#`L8XB&Vm-d`tRiB!JtGCuPka6066GeB5F8Y;HXL zW@+F?f|F#;{j@gzDc`~^x-!5N2^lG4b=pr)PEVW^TEg>LOe04TwfiI*<GSWS6QcF_8Pfd;8T;AuA?S@>X-guQL1# zNU_Y%K8F6Lt8ed+8c=&aOW>ILHvP&=H>VBqrfNNugSe)_i zU>Ue-eGae!@mu=H#~HCIUi8*F1$`{fv=R_vKk|Pw^3u1%cLrnA+28PR@*nu~QXh1QGr~)RUX93^1~O^b62ptqGHTNgG3TxT|cTJxHQbdE|tH#>kO2g+T!Iq9t(wiykTMVqk&GZcb7pglJQ7D1(3I5?l3VuLnu z2_%(S^&u@eBsZ4q8TL45T)GOaR(sETIu#_QVjx3}jP(T<5YFHd2@n!-;1bzI%^CK` zRRP1YEE7=^q`G4?3wQxztk7a1F#|vCuR?XK6z6#~DPm+}@)Mr_r1!xu7_w*jl<4uTGZ7XSK36RVduwClBZ{QY~Di{%ih zuJz2pU)e$^_?rzZ5`wWv?kcq-x-)-9^-tzX!1H79P`Yxq8^@zzoj#K&!Y2Y9#F3^* z3k+#XtZC+(J1@y@{eVN75R{O997p8VhL%snHTYcc1{pOXQ;%t+nBkPg z?jwGIA-##W$hL1H0!7(_J&Gw1+8u@V{budEnXwfy-BSl1#Qe)BrZrggbVt zM0e`SnhoD}${3Rrh~esphWszC5kCjMW<&$o`X(1zQj$aZRk)Dl!(gu7rY*wC+9A|K z2#ec#N|VoTIjWokHFij4*1W=?IwO6fPj?fjEIY<>9fA>haB!n*#sGi(8BOLg0f{8@ zCcY+Dm_a<7zJ{Eh-d8=80f5b4=9*(SHA?xcT5ym=oyw$!>DUz3q*+F?VK>;I!rY^ttQV$rUZ!269QMO6g|I{T z?TxB@-pT9|NI|8ccQ{tIU*kN9iMze5setC`d~T_D#*jwTpSlg{zty*LR1=6d8D#8jXH9qR>*)`H_Ge3_J>H zyNA4n3m~<^W@AZz12}^XkZMl)E*jPas~AkGW5ek8w52LyZE%Pg&bp|N$Oz%e!5SfBYSz=lA!; zna~0FFl&`PJBGb0^%1T)~;l5v}&DH!ccD6Bgt82vO12_G3N(*dZCSlQp*fY^u zUY;Grg%y?<7=lk=s=wT&e9Rh3;J=XkPIv9=m&gCUex$s4hb_4dG1YODL3E!$PVk?r zFO1^1(;Tw_FG^)(5!Q6?w}`w;wVcfX-N-Uq0nNhV0Q8yB_wrMP2G}XqgunWeR3PL# zywq}Zi`JF$lPr!M7Oq;gk=Nj!4aWic8mVseTG$N5PZ~W=fU_5F8 z-_pXyfIK-`ssJNL;H*N{4z6ksU*hEX%jCefD8=EGM;ISBX-O@b>UMX3o`Z`v$Z-Kn zEesh4D_{#Jf5W z7q`_gn>YI*?#NzRkyL8)0|8yV{^f%gQ(OuaP~%N^WG;l2wj$ zO^GCLgEP8-U6-eH&O!CB--L&4`rn_Wmlo@YgW^;4^NP*xsPm0r^WA9?Ds6JuA+2!4 zCLE-|Y1c?0B8i`PJv^RezS{l28l)5EOg(-kxQ@_yMVd}szHJunD4*9k4OmYZsOTBV z1J;p-{OaCeAy=&9P%e-#e-(bqVm)lSi>q(k3**Pw$_{}F_!|QK5?AJ>mQysxhKd6m z(wuHj2&a=qdK%7VHP~nqBFuE^!n^rX0@9d2D0Vlgi6Ax+!>h&GPEkxa608y2$;=eC*FhJdM(Sg^wq9 ztaW?YOhnroOCL^TRs2OX0$xq^dLD*yufa@`ONASLZR~K4`94jUCTgg8c#nzPMNOo?}N{cPkBW=>Ym;)%71- zj(KZW^HPJ4e#Nc0;!5x+&N`<*+mm!nh1~{6gB)dk^)TAhVt~J+vvRvlwmod?ob7hr ze5xn{&|k#FyxS!Ejc1+h?aA7o{t;B4HMsLh$*YB zjx$R*E<)vdztK&TnD@$YS}Wn_rdy)^3}twZ&6S}RAEN;=_PB8P*I?nys7gx_KRsww zr{yH`b<*kBs}wO&-8V){nyMjcYUX_TOSZ>!u-`H^nm9~rwX4w`4gntc&mm8}OT}z| zus_|`bc_rcqWsky4 zFBdzHjzT>=p*ELq7x-fed3qS~1R5f%^y-J3yQRRP-omQbNF@+e;&%fEKW#|EuC~~6 zn+4{p$=rMj71`m)n+gnH`6|GDB=|ro1>eQPhXO>Ep|8dQr0`GE>XsxR?;YP5$b5@* zzjT7}3>?fa|Gyhv8XeHXt<(@2x^Fx>kJ zsgoDX|3VPjGLEP7>L`6t3%m(cIbN7n@UE%^0$|>+Xvbw{pv$4J1qGWQ3LrLrcmqzl zxl|~`PH55&H$yJv+wa-g{hnj|^Bl7tv_5Sa6_lbJ zank(&6G3+;=9jT8n=O_(x2HmBwUU)visoR#Pn`DscoOL634~>Ane@G+3Tn^&KteS# zsCzx{qT10Hcsmb^e9#!Zj{z<(JC>lAmKc^qnX{@?Rb8EXJjT~CEpT`GK0S@-Qu4n8 zF+qRdZP?sz7*_znQb*u^6fYq=*HsEGTL%5qPu-v3$ECC?^C%j>BYy7?FuE@pn9n=N zHT62Su|MxCr~W>B2YSk3oEMI)yd2>Zjaf#Zd$xCZ`#pVOD7J%}%GSE3m9cU}-Yx5v z%AfG;KgzA9w972Nn5~(8D60#&TcHs?#gSC38>p-1?HrO06So#ge-Szk_kgMxLJ39|M?dnbMrR z2N@_J6c4I~p5XE8db9c|El7NMVb-Py-Hmd!zdz3>oR%0gS&!%y4>Ss~fD*0i>`I1x zM^y}n0e$=QGLPpgiVm9jGO{97hF|xGMntg9RNw#;3-~MgAOW?~9}o{zkkbNzzkns& zFgG-s=JH1i4A8DoxNOMFPq~L(c2jJPBqf%zc1hunX2pA}m6UNedx!V+*D=&iIT@So zX^Y6*cK!JWZ4HI3XT1WLTohu8`s*3vLSnMfp)j{}rQSrDIa(G5h-z=09G)+?xty@f zGCu%n6=lb23msw&ggH1NrJ7ey@^m}P5(gYD9r2$doQBj&(N>Tr`?ZB>aQZV zCAKgupJQt4!q2^iDsmZeM_m9z&yHy^|4uAthdsen_KY+;EsjB&vK3Qlgb6Bbe4}K3C-pjobpEWrcU5kSn zKzN>{m>SAqbcxW5oPJ)SID^=I&H=piT7uEQFem{%!M@sD@E?iJ;E1J_>~H9KkQyCB ze%Z1Tbgpal6w&1^a;W9=Hk1v#ONV}12j*`P#M1a{nA15$L%yyxFe1ac3I?&lplb(3 zXf|9qLid3Vj09Pz+8Gqu>={;}OHed~yy@EE0&$*4b~(uT_DdG9aM()+Q~=t|jw)=$ zY7SLoAG3U+3~}3TP~V>C~@exfXOF58aKgFInE zalhI}=!g5kdhNmEFH$T;srEVx$(+3mzd9SXS}o!g#UyV=2cp8WWh4hPR?xXBg?T0i zQDx~OUl0X6wVEc(^Vt*TWVxt=QLA&PEf`+e^|m zJe#d=>g|Z;L_moNm{E?;7jV4|+`{78=xjEg_VSq$0pUJ~D&Z99NntE@lEh?c;w+*G zXW1@3^%yjdBol3hxaK%B@6rLGJOw!&Oi&eSxo9H*){BE|X*9e1LVy5KCw=T*8y=&J z^h4Xv7uvVP)z)aTIgq5-GIIm_VW73LjR^f8_T-7w?6 z#0+N@NkJXVCi&vo1Ff!-zv@jmqS~2B^f`#;`+|R4scNvekUHGWXNOsI3F*beGZk=t zsn&Px-lZu{rmOq9rU3Xcf`)k_P(?_-QNlFgS<52?8wo6|@o?%_&3!bTf z^9ih^k>I_;b-Bw^KCU^C_NwqyY>zmc^BnsZ&e+^@*DnP8lVG@9^bdpgQwaIbd*sD{ z#Eawk4^P!qX8=o@+)ecMFQ$k_6IjV4^8;&Xh7tmuB%6VAxJpolX5QoPlk#juuLF*M zf<#ntmct$yjyZF}Q9MSyWu(c6W2iyMRScZ(`?LA)fq(%Pv~hvYUT!O{$m zBFzD2+ydL-K!XPi@sdM$CJvVEMN&=%oKmY{%|*$*lDr#Dw;5x;PnEnAk-|(bbGf48-_6no|npHT|cLf zykB9H+LyRrBl|?bzcS$AUF3Y>awT7#&;B^dV#8~sSxL43^i-iwyZ=@p{pJDspoi)r z@W~`dGFshEv!fL+{Bf>q&0l^nWz2lz81_RPtN|pv#CL^QE2VS^4q**bbWd>i=hOr) z#GIJVes8IgvboHTVdu=9$=k}OBmJ6OrQ6C3KG(+NN$nd?oah4^`Yqdwz3@FV086Oq9+Gt2L_G9K(>=9+jz_XRQ-qB(5)?Xhif;)H}h(I&r@ zT8pmY5gh!;w4Q+I8-qa0`nl*GRMxXr^@$h+K34<}(}oKj>-qY0@9a(B)sC7wXI6~CONn=4A=yaS?Y z1x6W+A!pO6)C{Br2l-3b-b>NR!hXPgKF|lXwE8vg=rz8o=disXmQpV%-LR>v|GawA z*6+IR^i=|u>)O@IoNw&MjefW^Wh^cFp3tK!k~VaL)DB!cE$wNe=it~{`n1;=;8jd( za8_lE=HyDXqhv2o;>;ADSl(XRolOS@G;oZLN==~W%;8hAOPLIM_3Bg zA{OSNy&{cyMQ~(QJz{?Gc5Df!6hxZID8{a7*?1c)n+2k{7L`y#lj_P>viJ^NoozlV zi4h24r&kce%*~-5@#!{G0|GtT&#%;i4+q*wXW7)g5Hu-)iYBf^<2;XlX8qphSpLgj z|5nqat{<)mP2wNf2Zu#b0JHP2RW%~sj0q?ZeULQNR7dS}H)4Ibu-egHlF;cOwkHSH z=&izJPoem2!Vq`A2fbTFPX+=JEn6?Xu{^1iyz%1Fl7WhxcegvEdF$@@YH|kX#2TuA zAXJHV*q>W#O>x@pCmQ4Xy}JKNJga|3&SO3%9IR0iyS_6mI5P4A;MixV=#`1oGqweJ zRX=w~S~NWG_7RO*rhv3OqlTMqPBj=}v`NGLOvXlq%u;ezKQXua!W}=0pCzZk+-z}V zUm5Gl8Mz+EG(>%D4|+MI5u+@d=E=J>(-)MDaDH^B`$kZT+LA>#f?Ii|{3)V7lXLj_ z+6P6%2BiQ&N8^eNfL54C!o&jiR_EXfL(m+W?4)B%_wwgd5PI93pnjqHePwPo-kaA) zKlmbdenlUbwd$qU*L+>O#W%A0&fqspMAy!xk}%oqClt~kz|}?sz*DMUEqI=w{fQMhcng+Ui12cHcVql@A&xU{!+~ zl<4m6l-4l6IR%@o>8Tzl(=8o3eg5Uip-mM!OH+nfq8RFAkqiFP-VbTd+52J$P1#-a z1m95B~#r{&Ky^~xaoR>EJ+ z40Xa8e})`cqb9#iEyV-)wqqC-wiWKbyhsL{vNAV{hWTd0nvEE99<#(e4rJw}0Ly-T z5;2by_Cq6VliY@adcyaweFzwkwgoj@kT1qA8UxWMT1ww2R^Mn6pwDI`YDjiA_W%D> z2DE7Fxh?Uc2b^e44{4fcu|#{^#Xi(yiIVJ5^ivj;Gwh0ZXX85gXEX|gettN}FvMTF zNDr*^PM=yKtX+b;L=@=`n#>%lp8W zhO_8iYg@p?VE+eo+c)d;{qwI!wPOP=fQF;xHfQ6dd{YOU_L_wIX8%6y=o)mXrAPga!~+gtYh&(bH-i>#Y^+Q6n6ScLG2WQD{DkAorlxNM`> z9mj0}1ZAxc6nH7q#3XjpMAh_g@nQQ0b2OQSCF)O({JT@LS83*xqR?XgaNM4E00GkC zlSATDsR4&AhXDd`VNpc zkHqSCB(2u#02xLJG~`!b3vb3ez?>X#$rmrvl?@ehjrCMB@@gERxXz8QE@sZ*@fJvi z`2}rYXXrZK-O+X~E+7_do$ADQs41FX6l~zxPw~hW(fEg8&TBFjJ_uz`=CNV?1sY5=^ zi_o1rTwU!(ob4juBP<~S5VfmHuEFyB45+~h2YoQEm%_mWiXp6K4Vm3xQ8pEg7@6c@ zhT?h6?OP)SV)A7t>ZI^3P#uDzz_sPcETk;J_;dX{;;e#+bj5?n?!Pjtj{PcTzic`) zTy%GuEd}O`TB?BG1Mv{?=^S}qKMMK{HeBkuratVO+VEk9v*?5Y-sm9qqglg^&8p}p z=o2|Y#+jT9YGBtV(_)H6MQSNV>|R_<;kYgR)^4@AN|9VNT-@>%+a9yS(?WCK@Q&pj zUQD8|$NTZ)`Qz8b*%RW|Efo0j z;bRPTNW<9 zYZUNA?%iG06%JHRT)W0%8giBsU`Z?f`4r{5DmwF{`43N>$n>O8a@V?W{YtJtfW-8_ z|KNetaPpkMjue3(9mCXsWRQiS@Zq@=4i2NS?5?&qmBJRFjrD?$&23{>(JD~Lm|4Mq zuInqyAcrQ>)0^{lBIb!uz#At~nZis%@O)FUgB<_)tO06&GwII6717l!6ZRR1?$zf( zR|PLGbV4@}1>12zd!&=-kED%Ls%8{44yO=X#oZbGNAw}}@?BJS5)ko`do*4SZvm+q z;*4EkBkm2ryh((waBt$+`Lv^w8)1w$-z%%p#Ah0t>b^MS&6Be2ml-aT{whcJb`mrE zu!k*Ql~@JuFJ|RK{(YZOznJ&FM>fUzwd9yj4z3@|!blkoSt`AsNCjoi5R9)B{M|pa zgVwg$1!g~`5M{4L?)H7fma6A2a0nr>wYzRdO=SyMBSi~gPSjKf;|JSTc1Q_VaPprU zZlHj9+$wBiB>*4mRCnNc^95NLTP=#jgY92tJk0OfPOE|UL@g{j?}~9dBSwh5y1fPn z15~U=TKTDYlyCgAfqk6UbQTDPo{igOA(4agd$}5D80^s+I4b#@G$$j@guhG)r1$Je zL|6gBnVtd~{YJr2LOJwx@CMXLzpgs^6cR;1|z~q3^j`%YdQveba_Tk0X|sFoX6!RCzqPhO7+yPTYBsQN=7qD>mo^ErgcXWj=1DUpeW4idl3#2&1Q}>LS!mO- z#|dT{N|xh)kj#*Ez+31OUf$ENNGTF4=84vcbMr(-RLoHF>m0zrcYvbZ(0U0|<+|)1OYu#~2jIa4buLs8;+z0_4>}y~PiA*{lB&Q;}*ge(a2i z?jWw=B*aT_nCE2ATI575eR9hQB-sO8os-ikvrcFuLXw}eAmEV;(I>(2=2_TnoYVam zSh&q3wMoJ+7gIzrNJK|ZHD#DX;5@1^Y+*5_Ls3CxLTzF*saJB+>GN2Ty5Q1Wk*s%B zbySGafWYWd51o_}n&f=7CBL9=QA}IOkWOOPwMqMzZFCsyFHlOu7i?r!SQNF5GF|-<*;C`OD1{q-pF9>hTiKj^ zNiV9=Hd<4I%qu)@8UqrK6BiMfY^>Y_uKkCdwg@k7FsQUe!jAzZ8L4(V?O=&opKnuo zCU<%Z176DvosGPPXL?gH;{b3K7rQhWTd+tblBm#PDZg;Dsr)FjGo|YEoQD4=_$)3o7AW1vW zz=tqDUgE1od_Sr&T}|@G(B(_c#3miA2$Av)1IxcviGVWQ@ebS5CSL$|U^IM}@Si9u zE_9)OUs6P|8wWZqzEm}&Dfcv|_fA30kIo5DCeA57mwzWaHcJ5waTQyyZwuv`qy@E^ zL4XFHTYFCE@2?Dmpg#cw=)km{^%tHa9w;%f1pR75q>@*2;MATsQeBr#CJl@0|E zpWz_09MXR@QzK}+h&}+Ch*gyKv!Gj?@KO|Vg{cLD`a^$140v%@Ze>(jqE}JzKsW0! zKJgVjAR|m|#^~I*lUC9jy}_ zTk4UM5?4)Un?Whbq|DuQz+jonA3%i^Qx9Jl@cm>RklC%UVz0#@S{bmBG3~~WTgl$$ z|6m%>Lg)u&_aaF_aIyaHfp(<3;kY4<{(DvH(X25rb8Gn}h$Rq12^}&cC+2Eo)-ef2 z$CTh|yjWO9=JUlbI>~xI(Oh!natazd3uO9I;iti-NsSgZPZlLDdJqqgJUtA14u%!$ zf1s9zJBT4+$R0|?V$2}oL5o4hl(y58BfI zOs&Vhuvu+Vw3ZVI6xUN4q%6ph8w8IB;($+nP!mAPwU7D_(1A1aQlN7$!#x^8+Q#(s zpNhm(j6;;cct%8Q!^2O)kK%*RhA=`+C-+m%`NepXI8Wi!qaep93B<}xH8$W7){EM5 zO6(1kLo&g={H`b42LyzIk#7UN)B6ilaX7fc)k)A0TK(X%@gOLjZE+y4^`O8-S<`%= z#V=BS8qYw7Kw()%YKzdJE3#nnd*FSFK*puq;8KSX1d7V0q%R2Dw=XE?4)Ilk!_GC* z5>Vj04L4D~p?PZsDfMIRbwG1Eb)V_PVDoEB5Al`;raM4L02qYqw37$fHt;xiF)n`O zLqG<)N*D*(S_{^fvm;W3V*24xqN9V^k;LQ41`CM82gc8%>X{D14Ic;_W0fxBQPC5R zGwQagN|W)n(nd0OTKl0j=ccDE_Y>f1dzJIRbN{!dgAiz^WGgYd2(PB{-JOvYk|8Yh zhxF>wOMEmAlppp&8l%VD1Tn9o)VZjQ4Wr68vG>Q10>e;2k`q=GZ9kYfCbsRVQJN-h9*2kRWZtJqJV2}m_Li%jez7~%Czut>G1guYQ8dj{h z;*B{z>N96XYHe3G_CLU@3E5pY0^H&e97MjTSH3iDTXibd97|r1-z#c5WynJ>T76fX zW>NYj03XgR)n|=_Y@-fLzu}>qP{ic!0e$gOdiw`xq-(zuE{`w!IOza>yZ8~t+Ted1 z{q5#K4m^nXe(muZ2QY=cy?ihZI#-1vZxw_y_s@lVI6m>1wZmcKhOsBaKKIGVhMpc= zGZN2^&dD#0APbg1z&AvjJUG8K2|>D_%glK$02%e2HxA-h7^X?5{hmQ2U^I2Y``@7- zSli;qMoBr?5>YZ43`6!#x4~+b9?;jE)b55xqsfMw8(_9PDnB^RN^M1HmGF(Vjz!H91&xX z2auwi*&^9P);maG(us1>>E;yQck0aRGH?uc8oG{%&WL#Wx~l%k%US9C!`KAS&wjXB zJ9+cx{h*nWJkm~ERwzvs?>K2ReN(C(J&8DIMwh^?RQbg)sZW?HUrxj@y8HPL(HbU} z_1Z7Cl%&X&x`}kQKa3ri)xMcVt<`q!4&cr`xi9R_P1*6JeU5O!aaAoa<%GiyM~40# zcF4L#i-5q^6_l+=*%yO7G|*jbITnIZ^tf59T`?b0^21_ueLXh1tD)Nf5qoS%I65DL z9={wLPJ|2Dq9aJ5U}F>Ez?+(#9&cIbT@4T4pf^fkq6ZKfGJCc|E9!wTJfmNHqoi@c~a7( zXXbJzNyrU*)jY+#yeFB&`$<}h#5;Uc^~yD!BWH+ViNG~3WDV0CILxAc;B+k$0awcf zLU9@D%1`TGL+Fs2liM0cx2zF`i2&h0hEbQa|2P5ZjYQ@vheVbu<^j}Ay|t4gDP9!o zKAen;mb#@I#avA%3-xJCgY~tQA}m?=)kA!VJ>ApB7Y8N*ckf~2vm@QQhf)(AMB8=M z%!+a_wE|=qcLDGdheMh#AMCw4>Kz2grTB!G^Yy6yJ1`mQ)eX0;TGB~{-+-wG{%IW8 z5Y7VFq_iS3pA2K)NciorEt9kJ$E^(o)Z1`#K0Y6y`_W;!G;H*lu&qL6>S|ERZil|j zmHU_iiv64A6rqNAsS#q}mIV4S z$$cUmf5Kp))O(u$R8F1U00+$Z`}hh&B*>E=kT63qj|u|_rX>UkW2#(ShA#f8YM{`v z;qW`{dU|wlUeW3eo^&g1S;L`gY#slKPU3Rr^VxEg+IW;AQ)i{Mp8^DncOwyIRrMcv zxrK>JRh1P>E4=f)ES@pH9Q53+-!$vR25^Kgx z`lq!*_C6z#Wxxqxe=HeCDe~G8kKK3T#q1_)6V^J5^Peh2_E|C${Y5C?Yk-Z9-+!|b zG+}-_jhqQu-TVQIgbU#Lt_+M84zoz!T_mCh0ZA`iJl)rvt3s=XytxC^gu_gUBHRoS zrz!_Ap@e%FoJNNtz=7&7fy;#kFx4ca)r!rTCkpR@B+Y#7mq4W~6RV;CA@=k1TZ1K* z>;7^vxzEqNYNA-(*ecro+B&V}AeO3mA~w9UKv$3eqDD}a5Wq?ItiW4JI>uHB;j{G9 zS0h&=q^@kl$%snHI&gx?4d*8OPD+!|m^4u+ZLk~VG>8fa{?Z@erT4?S*J8a31x>MIb6Uc;KbJ0~u2t8( zXt!k(<|k9dP$_yu?>N$bLjF%E{|WU!p|$mnqc`MHu`)BWFfembF*8%qz%wa0nTwma zTaZwT^RhCtvM_V8va+!KKMN?$8eOZ ztMa%Q)S|F`wuiJ-NYODccAC>@w_$gkX&00E4eDY->&f)JR6hzuw3n9~^S=1A6Wyf> zrFM?^MNm8b_7f-t>FeJgI%Jua=y-}9;q45YukRh|HJ(B;ggtO__rqHu1SZ7#o|0s9 zPxY_%A;Mp%Rsu4XR-eoR=9Qt4m@J6g+elBCDgSUBseC;DI0guF%2a>x&gVE#SvDNO|SvG-+sl>JMM0UKaCzdKLpdKoZ?_c+|%8BR8=Z* z3d-zf-Wxa6jPke*5Uh>mZ%2I)GID?` z+FR(w%j_}B>{zb0P5SS@On}jLOHCGhlN!aZxYY7KLDSqGo`;x>&@I;?@A-b){>-q| zS7kzobW=%u^9FGIv~*@gwS&71hNf*@zbdLYt?4n;RTH}gsoIQHQrc84!QU%_v~WEa zdq39gQWYx0I2@}Gpva4g5E7Z3vEEc=%Q|)ft zjp~^tdr915KN1W4lz86EbAAjC;1g>Jj|F7B2{@Q|D?WTW$=~#-0c|h(6CSya=u+=a zf($2WLRhE}RJvW>P5>QVFh)3n%%e{$D`P}Q13!Dbnd}E8>4h2LElaaMySl{B;d+Vj zhI`z0$)6QhbRp3nI<-!!3{jK)zQb-P7ib1xl^pt6Y#$1V`o$9nE1|3z!B|2xAIu$MSvq%-o@>6lZDaYtIDVo@PQK+T>&81Q79!Azg!@vJZuBAISZ2yj&bM% zHky4mhOxb^z!tc0OjN%1!9l^sFbWZZk6}r^S_7|g9d9=e789!q6rlx$StX^-T|?oi zcFlO-UR20`6gL6J;>bv)C5?c(N9`UpQnVJO>n97*AAnM?K`I&10?Oo3b8W3Ake6`X zNS^WTc)mz0LMpybs8%rbsWKDvhpGyAB89_}mCY2UAVw^p>yJfzo&5cg*_I#URYp*o z_%US@g%HSLq9mBBFF;rI06eDSI_&z8y_zUmHrG^mIXP)UC-hb7)ky_8k=ps)gFIE! zOk#mDfEoOLFV`AmXGQ5)Sp{i@+)Of#j|P`x!$Dtd6PV3A?=tHfYJkMx-uL2{mDF!^ zL!o~N==_+4VJc5{~X^$y|g)+x82>v}5B00%BZjd3QDUPv3D_(L-vlDu)TH+8{e zsr#LK?cM~YBf2-;-bAYV9DgRN`{eA&Gt<`egOj5p@!Uz(+=-^0*~5^wXqp?$#p|41h{LJdM?UZLymGF5bAXQSt`}GD$sd_+?hJh2WbQ7e{S&KHv2dM z-$42U^dOAtef9KEnQePhT#CDc_UCJw*I%nWRy6rz_?A&TKh}Y#!G?Xu!p#< zRjPPR#GKl3*M-j!a9RJh82*PdKxjD`aCUPRb~ z2&CRXK+So95Wkvk&TY&vDJ3K$G93D-0cOb2IB_1XxGuN-Qw%$Qx-iNUd~0#~7iT)d zxBcZ#zLxYf_~Jp?C1b_A%=@Ybt3b!L)$9#y{>yMqljeu^`O&_Qcu*JHk~PA=S>r1B z``_Xo@J7psscM4hVDp}f@ulSmP^anh53y2@)o(1Yzv<7D2=ygxMz0^XbB~+ye}iMa z*l;V`e|$V#tCLbP`E$SF8o?v7$>cpe>(jvIqb2P(*7^Fhj#uWTec+jQo;xmMz|?Dx z`76LqknwEe=my07`zq~^k{#@#ZA9A4iky#z76>)hLqKYDMmFxOiAyyRkUL!lT(k{9 zzNl#k~Bj!g|HNQ zi4@mpC*@qW3CCAgYjCas*uZb>oHWQh5~`Qd;@Bxwi&prKPOf5?mCEngcB$+WcE@Wy zFId79B}({vM||$B8HSf z5Q%=#ueIq229W2G?;rph^$)xzc9k95CG0gG&aw0 z+tp5Ac%TAD0+lP;ui4&zbH#4_=zWnkz=Dc)q-dfs=3hbUhvD|(+pAEuI-8I7@)VYZ zW_w6}H=ss=dBB3b`IKMO|^V53u>+%cr=?gIwb}@3S-MAeNxG?AlcEstDJ_?a0wD_ZIt(6{n7=;j4 zwTjp^+SK#_Zc=5Ll>UadC_332hGjE))d#*8&1?s(D>2i}SsAu3@@np2f0-NQR~XF( zk*3z7WZBVjJ(~cJ%_g+t$i8Wb2T6CZBt`C zkC8#XVr`mTR+WrfzM+mi1$trg77Np8V75c`oiy42jrbcPC5HC#=q!h9*JLG8 zD>@GJ&D92hUg^xgQ;grU5UjUb1E#+JW^7gKuA|g-hrJeUH3a|W&E#g+mSIFL+~-P< zwD~;YB!yM|h5w>O``hiUtE9M^j5`bgF$-#axL@0!n%K|J^;+mUtFwB3B0>=`(qeM9;@e^?O1=X+fkF4SAD)L1x6$+eP)2f>mEoh_M`0*R3CM5H+M?t ze0(_s1Oz!N8sb|}-i__=aJdzlJFle|(_Tk_7-Tx7s4DQ^nmKhB_XF;(BYZ26zfo4J zACKW%4ud+W7M#@D=%o|ZRrKo3gtQ)VmJuCJJ+;Z^bC6+p@yS8A>?B`wra0~{q{%2Q zEq|Wft#)5FY+Q`(P)$H%Zhw5o7lHm}`=@t6 zkn~4Qz|d7J;n^5(RF8IaH{n@KcGY0pq_3gin2OwYH~q%Iy@N&o zjUBbe2Ols3E>31HWjpF=(G}Ujcv}`~CI5pXzX<@;c7G$ad@6*I$XU`@*xSYR5i7 zr}~y!R3$A0$v`kThp+!qr6UMzT4GE>w+?Yz8kN491Ax=dtEf^H2i817oRJjo@wPlr zpy0NP)W}bYB2!kxCUlaZG%d*%gKas3bQ6~#dz8yYr6?ovQPL`0(hr#lf&y^Di<}V^ z`@yn9MR0-(+h<=qJ<4|3KN_^-A%UqLwjVk(Y4t&_YZK(!5n8wCxq}GQKzy8*D=CVW z$N3}!K=RfOR=s2D@DuiBg~4-rarnRC+TJ(&7HIi?jr3rbJ7T=&N4%Xun$!o{GIhRb zc>ZvXb~rZWAU$XN>w)H1CX0<5%3vyuQf5+_No5k1HY($&4589wWfFgt)+$4&bYGc7Wh|5-)U^1W z|F*Li-`uj45&v5(WhJv!x0I9Y+aXI`lKc19QeN_2_(Y@LH7$n*(k-fjTFbTYb4J9R)}8^P*Qn4fafzc+3O zGl)zX9Q*ICHyFyT#N=XSOol!8h#r(QK&)5mIRThkg~ljW9N1LN_94XMhLjjmeyluH zT1!GQ27(iI193eyD)@3b(B+Oz*85#-&|K3VBC^lkiRY()gSfXNe>U#zyY6B-Xbm5j z`sD9WjFY1%A4sHi-PcP#W#lX8!mG>iYSUM7&p!@xDQQ74DJGA*u+6A;9MA?HvE`nL zyzd+CIT*OBK$*7D5Zr&++CSrP16ymSZwC{QoDLEXq6V2Q+Pa7VM8tQ0V*Iu|Hu z3SAV80)#bDUo5tEY+rdDjP<`f&SQBhGt=U z_U)(51F?NT?y*`*l~KT!kaxbSXMzDHhoKGHiwQc z@a~=N0YqmRYV~N$Qd%JvJXE^Xm6#?#Z4F=(hHS~G>EZ(i9I$f4I^%oIt6GMv*hrL6 z8Uqk$iU*foJ)9F-C^tT7uc;A z8gvV*3U(X=nJ0{;E3r%64AgCQ{k=Nqpu*(62+8E`0!9-I>kp+4S1^5%%lYpr`lhmc zFBL7Z(Q@66P{P)o6?Hw3Mx-{AofJm51A8c80UjL}`mb#3iiPzGbv&v8hJlaI%glE; z=by<)bJ30AL$H4@oMTE7Z7DP6X?GHUAdO}SsNLK^PG<|J+kA*a?3y-ar-Y@g^-v6^ zMca!7d-0j>FJT>>c@{@xw7IZfJ)`I+n z(tlCKDoLg#Cb@(I5?Saiw@R`~kxR+@Y7jiUl=mEv25UKAUW1l%@eugNLdhOXRO7+- zvXeM~XqHxp-CVm_h}{I)s)Tr~Jbb+o(J7gDxFy&K4pr>nWYJ}vo-V-|Ej2W+kY!_W z>S1VWk;}MInDPNctqFKh>XVOB@Q9_!#nXPlq~OcER9jZ-^Mnv|LjG>ue;f7!cmAa4 z*@BN}CE-vmM8YFs3kH-t2S!W4<8-{DqzbzNCEC3-oB!=O85Ldf48`@{d^^%|W^R4W zy71COK`t<;HBp*qY7kFpa1_B}zr59aa{irLwVqVi?q zV*7HzMjuf^rY0f;?45`yA@4<_H$d9WDVt8V*T@C2!^<~jK&qE@lg{l z&LmIePY9b%H$f%+QK_ex_FKEv+KUhd6ts#)haqN%NE-P7Cd|k6dU^7sNMh}RC8c91 z860T`Eao8>M3(LPPM6NT;`vQr;DAj~U}x00bj@y;mq2+ei-~mH%tD=i&}1~Mv$QEW zSFM@_5j`t44k#+BaU(!MbnY~QQ4AB=pqL=+n@zj}eKYpmVSFO^ktqFF>b*iU4o)Zy>>cGtZ{1WtMOFB@)V`7s3lmbk2sp!9_H_#n(iEDLfA zwPPY*oM|P(@3ywr!lcT(IA5Qor^)ATMATW|#cTSkJ~^V}A>GeF}~_AC;=6@O)xOIIqVm=u_soapu2Wix)L zrQhG{Ss=OmWqDjB8xHoyt_*P-AO`9C_t3`U$M`anwcbt+)LNwIBj%#7P}N3sXzBqW z0>4>ho{H1c5i}&sJ6g_aWIjMOL58iR;SP^}yOcxC{uK#AI+ebg9Q571dZZuATF;_E zw3Azz+1kaz)PoEI>BCWgQMOrUp=oeiN;qqR`r#%a2eJt!&eL?o*%?yTySRzxtRE{1F z@1@}^GQKonO>*IvtF22)A1$pvu)CNN>}?tf%U_%?vm-RH8%E2!WR`J+C}@zU2@2mC zU|4Jsk;+q$ZKZ!YE@e^xIrJrLAc-5?9D!`aPZ|XQ!KHnSWy~t=A~5digN^W;}0?EfC^1SjCz#Fu(&YZdKN!V#n3k^y93F zZxviOeBj5OLWT)vYzy=9(VX0PM08tPdQhffljd-D!atcf)a5odt3d7I}7@Z zqy|~u7y_u*kLdtIeSWw#lg##`S-pjdFth7;5RzvfWftcZ9 zUOY-U%_UDt9K|t(R`0HyoADQ;)dfNlTNdDubZ6i)acqC!$&~^n$vL9alaQt~+_$QBUn4RdF zkvDbLOat`?vbN^Wbt7GYM@{jEcN-uBXzsV(mYUz)Se(RS^9{m92U-{lS_%%v`?OFM$ia$d!)2TVayS8pnzzfMx;%|95N^+dt3HB(xjxk)) zMgq5*fUvQNspckONHI2#)LS|#?d_O|nFn=$Oa7>llO1}MYx8>EV#mQtd;6zV%sZx{ zJv}(%WQM&mteOJ2*~yr|nUaM|V9sAfF{oh@^T@DjNX2I1{)~uv3UG()aEPQt6zWuI zbQSGaxu;$>TV0`2JX;a06 z*Z@VLp;?YMn0fs{tjXV)#c_RUc-E0r$%DBX0L>ub&WnZ9zY}^@p#%mP!1641=cKdu z5Q_E(>Rg4Bkw$?j-xaFR<~L|fchAT&njY(?GZQIBRJ)IKgfo*I0Wt5}9**5sYHQM^ z=wP*2F*}i*&h1piT&+QNL@i_8ox=1W-+>2sWpRYSxc|z)*(JtjIgP`@Tiuj$W-&s- z$#i`M9!SQXmuGqMU{%2nlwKPg5lx9luA&;u56qXLKU91HP4~qnfLTe>Utomp)>BP! z5T1QgxUS`rP44aljzrlJ<}lqaB-l)~qr20!T1a6uEBl3nq9d9a3K;s_tGNh|KdyP7 zOP-DWXuI(?{=l@(DhK@dzOiGFdu0WYACNkrV|pd!bi~D7ircXZqT)^@0jSi-+k4h0zW9P>ub8g^>RNEp^g#PZO?1LQ7*TLBs^*Oe1bWqy^%w zC2kDg=^6BK{n{IzxYKP-hEBPZYSxXs8qK^9uBw5j>hwl5F(EiRx+v%r zU0savaOoZ{b9!^2g|fYaGI>2WT;gyXJq^tih||DejUeCQD} ztir;XFvigV6CZRX{V!Z2+eCb?L7P<27?bqGTv4(aZ6Kj(m?##rrH7jVDo}rmVPqKi zJ~bs!+wLC3g+Lvy_|eH~@7quXN?t%QCwE!2^nir-b=64Y52{Qj=12iCQE-}s>gHjS zKpqlloyqI2dEqOvDX)JdUq2jYXHeZyP_vFx;LcR+n(QFJsa(4rVQNiY!i>qS>dkN? zzl33ftLt!wrAEiW$r(-)1QbYbn96Sq(t0Y|H(8Qpo$Z=5c{z$W zW30*flrXH1XSSf#h@zfIk32N)0^UCp7}(}Ld_Y<#Co>?~pZbHsRkQyaADU78<|Yob z;4`d>&d(N$N{26DcY0RD%=E#QEh*v(yQR@4m$R5xgz}GwV9VGy2TH=}Yrf%_#j}|4 z$V(IK3l<>tpi@NnLi3(XRW!GE-Zk6k@hbZqW~qbrI`|3O!3(e*rzVeH$gI8L3MI7$uT}>c)wM-|E?4W%yrHJkB~5#kq~53Vq{84l!EjI$*hN?U%dfHmqJ(> zaqh9?NSm{Og+uf1YWX+USPzwYHk^NT6%jinwh=5Xl3SR1cYQJyW-cAD!xRJ+)W*_K zg2YLHz-fNK$Naj{P?LIq=^N*rTS;WIGjPK_RBX(^!eEXfvg4+r<4C=AvtJ*|u%N1so zN53C=B(6FT$dvC?Va2-=dfbxD8;1#nMCyX@$9?B`qucb=sMt9Oz@*O?3)UWTKQAlo zeVz5&J4CnpT0Sn=-f#9Ue^txJ-pE|xL1H74&5U_vuX{;(;|j^gL6}fOu-vHJv|*8= zz$u{2Dy)(~Y7C^kvJ1_Hc7N-t(n%5P91Lpl%(g%)TJZe^FA)xk3cA*s+*_$u2`K7Lr$06Tbb;o_+ zH#P5iARzK0;J{3JA0SIbP63OC!n^{@XP_M>B@ z<8SvT;4TgaTh*!iYD^BI5R&vG&h656p!DhivJDcz)<6v}G>>SQFXRSg$1soI_iQcz z>YTgeHzgoKO{#h5!$|#cGLlS!vL79D0j3EO*LZE&uc`bVlORl2|Al}9PU(Bo)^Tx~ z89wiD`{=$zVuqZ$C~>!jLh^w=?pSA&b;o@b2pR8x)&h$O6>?uO#XpJ6Qqn%K&1CQL zE!LT_tY*+lpe-guBdDyEGA z2wfajZ>Rj`hVTvYr;c(E%jZ)9{sPKV9btjC|F_e$XNBlLU`oVoy%#IZXR#~n$DJ8v~x3nF(5#cG?0+&Xt)I2R7A%;4@_<=M}dVoYlWTZGovK(&@3 zFu1HrDK3^VWF6!+Hw|mjORIt4d}k=J@_6!DCdDnANS@^p5iLZ9;c_ERZyVzl9Bqs5 zYR|tD-UyBN{P%@hSXt!oqrD@F`e`C*E0AJV5A0OGI~{VEf{aiL%##JBK}u)}C@t*l zNQDII2#Lp5%cBL?ZGBEzze z57pv#Zh`Q*24*thWcu$E8Yw#|AVQCB5h{VFNF+GoY+4sh)DLQw9N=Hg&8^1)tqKMt zb_7P>fWMCO6uG5qUCTiljSpNi0bG-tFq);6mc%F3BCNlS}htX8Hz46(S7o5UQRY_ifVC?c)t!SEeeJnHplDyTwbS!!SP{=CFS96=rEYKsdz;27IGXd zH7q0m{5qg3aDh@lT3EU)q*#RDub6=wW7OhVW==XmzK~Eh*qYoM2a6PBqfg^GQC)2d{CI>BYwt4(0SE!f`slFE<9^6 zSp(Xs=&EF&$(t7G#2g|Ed=^zJQixS>oV6#&Gfub_Lu1>&=0$XL2Z?=a82yTCv#0w3=x^R#_Eb0jmKo~8 z<3Zag&9$2iNRA9hP%D1d6h9gt|`lT){2)$4|Dv5-d${8Qs&QtXD z81<~)EBAYa+h5DQ=q>5!+%7DU5KvYsN?Sro%W`Q$gc_gkiZU)xRRl%ViM>Vj%4Tcl zD~y#Wd4G}n%wu#2)aS!tGB6{LrAr1?1OuRm00J>XX=XuO{j&Pe5N39<%7!xYo<4-% zTIr$;2fR||Jaw@0H{fHPzz|(+19uMG;B&d!WkZZsC(tHEW2!&j;w@!rCVS;AnP0o0 zb@>MgahNF6@4{G`XYpea#z|pv+**egpjqLiB>zYa;HdWiiR|fTY^jq?brp{Vc~QEf z&5Hpsl#Q2v<^(vG{sxRuviD|dGvsVD$!jGlc=m95d@sXe4C_c+aCLN-2lWr7(~;i2 zu%}~%ke%3)JiW?babMuD5`(H|59d&6a9d;}NACx7qPbX`4kVctNqmZZ?VfT9iWk7o zCj_gOs;nje!}1HuDou95BzB|y8jk*)CcNk@3k;z_QK3Yk-@lYfgI(Bq+;nrA-m!~U zd#|k(C`H*-wVjz+Rb*~&dOB)%mP)I||4F6!bsYP?;on7wG4=ZfK&n7e-<_s<;BH^k zfFTZY+`QkGpL11(Is_L)K)d%w?W<}_X_a65@>?$l*iCAAu~vDme2;w}p~%GOI~&lD z-FDhd6zyxjLr&IbTygOImHuCGDamzOimXf(u0<(eJFhO8#gfH4RzR*_)Xs^MZYiu8 zoPcn$LHHSnmB;HrM0MIZ=^cZknxId4HWvC%N*kB~o?j?G4k(;^zv>@jUn<30J`m!N zY^5!Lv~W6cSOPM6zXim!{SNRsmr&oGrS4QK28s@DCBt3_X3uVZAw0((Sv%m~UwgJG z&!WS>i;-SgE&4*v%9{9Sg z#zUt2X?hmCrmEm*4Dh>o+BD-}^sTj4T2xpb7B}j5Gg1F?;hRYPBGY2S3{Km(wl|Qn z?)y_KLB=?92Uoxqp5-d#Rp931Rk^XXKD z>@+fh9AV1|H@#vJUqCN8pC&0GP0y`x4BQvqQf3Ydf4dV=ciJbEQXoHs;n(lTDM2sT zm7`Qushs{)P+>2^Uby~>h^g(r70%=Jebw@unWi`MxA%p7#f_nA$%SB zQ2MkAp1DwB2{d0lo*@e;&EHU>Z2tSFgQz<3KHMYbo7rs==Q&(-hO;0T88@I)F>@OV zYcNUvYCPNpO)n6O6DIIgDgB?UFj^PqWZuO>ZJugALVNzH7smc?zSO9ex$5K@*iSY@ zuqj{WlRQ3z%2s?kgp0knym4)K3CRq){N%r*2`Og7tWPtL#rf1k=k7a5;u0tAXxPCz z<#aX2kM%gW02g3FJ9Nbll-Jap?P*2`T2N`vUUTf>pxK6Z{D@R3NE2Uhr(;ttOlxC! z+^V{~K=+n(1T(1&6hK7PYAHAca@U6P9EMY3Ll7KLh2;2&3T6$y2#kPbWENcb4##+< zJDy=?dYz$;*^=xc(B>lO=?!|H*`I*S#B`LPVCUQLt*61PoBTlzFcG#I{~NyD-~C|c z)E`i%_xjC>Ev#vn4!6RVCf>;q(*pexyRj@dwi-9>^@?sPfnaoGqLed6^EBgenlYCnhjENH zvft>}%qb(FxReWhQMV4w^*t@ZRyKBfulCgwH}KLm6W3BG_k*kE=`88OW!;&kJNogK zA>Cmgsbiqa(_ZQBs6#%gC2Y&()sMqCG4tK;E5ZDnBx$ys6pP(jesfpKO5rqPh@|t; zKL0xOHuw8a&fO>lYXeK>Fn-0~{r8Y9DjY~Qq93}!;qh{*?3FmaQdg#7C>gz@%difIUlkOX$*bu;!RPDvh~MujdyP8g*KXK|`4qj1IZkoyRPCgMb+D?$$1y zvUmzoZLxeqQnjd!rTwUvdi$uFGCCklfA2?`$2ZIK{V}9(X@5sKu!TFev)paXxUqX+ z$6nOr=Gi;0TF0Pxo9sG}pEJ%b&Ebmzi!XkAsGLap=J_2RIv4&MuUWuU?~A}3(vjmi zJdcQP1O2c5ia@l=%n|R;#?^)e=-Iiy@SYUCN~#1Y3*19|xfURm)L1&Bpx*$TFb;Eo zlmaRWHFX?Y;_@;IxE|L9&BwN2S`01dbZ++a?4x{y7F-n zewz68r@<6n?am#@Ids6=Fn1vVm(&jL1m;q1JB{lSiI`A66ZUUm>XIPz$vmw*RJBVU zMz^$$1tg#4DSkVq2C31%ks+*O@F&wjMRUB51@>iym3L_(E1*!oJ}IxpNs<8n%kg$$ z*C!RrjeML4AW2d_A^C_31ONlSSot^_WOaAoqtPSRo z>WC?7pwIYx^SpCk>&U)1^)>{1yOsjDLA*lGPZ5He7; zBx?%TdvAqgeKD}p%9iv z*7p#Q_{h9Ykw6p3cXwqpF_1a%Y#I*B4eOJEQN>MoXLOYB&X_RwrV#GhWe`=#Vy7b) z0^+C0w~RR7-3%4#5%}CN>2zDd@ivk7D_+{ikYY7@WWA1oOkgA9yp@$TbJ{EWqk8hZ zdLZ8ceE_%W&F9(|b#vnN`L$ju)@7nol7a9)Lc?V00vY`DC5`^MvA>C@3Gj$YMu;VW z3xlY63}GMDcwJjTXD7bJc~=6b9fZp=XPl#LoQ-^_7PJHiPqKx_^bAE&p!B z6{4+`mdV&*ED|y#%L7dlvPho_ z$7H(@eU738^7Jw6;6WCKFBhN2u*MOA!1MPgz=o@8M_??1K&nld8v;We2N~mz$n=L_2I-pxSHxJ<6&c6dLaDlEso~fm5mg0nyP&tB zm$gJ zvUn-Fu&)cnV#sK+V#r6Kw6>~B;a+9y?n)bv+>GFf-OFNO23vwzY&8(^7ni($%?bMq zg5=7tT&-hKQBe@^L7ia_%=z8|IejdCW4&pvmH%RHn%@vzje4s~lao3EcxB(X&OPo6 z5L{dzQx4-W9g4kp5h}r18+`XX^uAS;b>Cz@9fyONPO72CPGQYt+{9Tc>3wg+k@#)C z=r&JDULS*w@l;7A&`EC#xN%b~_|~NziE=x=bn&Ky#S2p&Pge6H-nXFvALeolo7*1K z97QxU4U8JeF6S_wm7Lka@S&egL%$@P@P(=qTe+rreP$|<=SR_(!k)uUu#{ZX9wAp- zhCxDfHM9|1r6S@x;L2esyDC@2CE#-?DNx03VXkes6U-*1>t?17+)uK=a>?eElleBj zrC)KJs6Wkxx#Pu#B@I zY-29IP`QM{>PM>#%&Qc|8TW83r!jtW%JmkE0hf;TA}dsRDoLb5eG3oBVhj>V5j)#8 zp@Gq;RKmW-bHd=jP={nMMrIB9u?mSpOdQx;oY6XI2Q6HP;C(1Vep_2*_VYjB^-W|x z^l@lNqlK4$%rI)89!H%NnK#iQHQ8WeEiI7nH}G7t@QdL9;Z)^hxwX)eOujsLt3O+= zhH=KJOlM=0d9_+Y1{h9{C5HC%e&!C^-u6876MI52y*Mzy@SI|CTNu=+oK9y6!bvu- zfthILyWY_aQkN!U#c$ik$%9j$ZjJM^fAG|Es&JSO?KwR-onaZfK03O zqbhTku8QiU7@FLl9w|R^-FsSB3gqKFaqaYVtc={RaG#8A_Ew*jUE_O%{xcj1s7+Rw zt|6z3=|#4rRlW(>yeVg^9b9OKdM3McwvFs**QYFf4ne*vk)MhA?$ZGgp53(a6m(eG zC9x$ZbI6UX8#}Bn22IaZrY&69H#H{?E{(Bdaaf{UA2sn|K7AOeNHv)mmgSCk1O?KW z&f>8@G}*#f?*{<X9K_P0n@axZbV72|IJ#|z@y(fsvA<6{x7wsBc_#`=O1Q~ z8MI(%BI@Q;;I>znsDvTa$TzErvd!S1A78PyA!fcP!;OrYLH2sF@4kN5r4dF!kR=pR z0BXuR(VmR4({xuk8acunaMd8I%D;(|zc+Er3$LjsIx*!SkF(8a8>AK^#e=0A!`0a| zkpI&Pfy*3$IDy=j=H#o8ebJzTR=mS3R>>B`3Bxqzq)E#X=7A$nlORXBhN%JKn z5a8Hng~qMPD31zY)-VK$r^3<2$)F0*mza#%M&s}UFb*JG(Cw%73WFSh+eX9ip_0E% zK2`(W>&cvKq&T1&AvL6?27B>2tn1UlPp0uOfwz1@0iZjOozbiL$mtaB2<1YgP#f1` zmuhr|{R-?xy)I+0YE72I9BL zfrGYSOzQWQ*t?m;r(m_DXUKV-;VI64H3@6;yd3Vd`h_}wb(7r{$KeVE@*#7qiYgVE zPPR7;2Ed1J>}Q8A7bgR-MWcyLMhjV14cWDm2L7~UgZ!q7NL>`-1&i9vhk*Tn+fF>~ z?FA>`KoJ>&VC4(&C#8qrFvUPkj1b9~2F{_#GH5$%=wbl4&2A{Q9eAkkdz{{KzCK+} zwluE@{J%6w2AL6C*yJqJ=auH;=VvQ(x_18Uw?k4O8vH?F%Uy`)#A2{KU10Jt7aqv- z&vZC0(|1;zz!zMCk2}{poPZd4(jQ?nl}AWo&$4J?e{jRAS$)9L`BAGCsIJX<0RlAz zCoU=rLIt$-%M8#y%W6Z}zgpW~7bLqf4Ap)$W^Cn!KDC?wcXAKrGG0A}q|EWi z8#~`?*-yeSc2=PWz=GvedFUOOY>)t@5{`lcc|j?gCTNwoS+# zXKaQV6Yhx{|(0z4JV zim`NCRB2;^4AW;XTQ6s>d~Y<;??VAtM|z}?lG0{LzTa_-$1fiTYS7wU2Z?DdGu^Dt-0*D{J;7OCPTUSG3Lqb#g8~7+uAisyZYD;fLKFUb)KtbtC|P1 z*4mF4y7^G-{k{E<=ENfddyHS&jMYgf4BZBM!>oAC!A}942!+T0nTCPGpMFC*^&>^mkf~@6f;L#}7Y`qYjzB1Z)^$#7t4bA+|T`iDRM7TOjR4>qgkyzFjd#=*TPbAQ=)dE-c*%x z4{c*k%8;!b73vfp-mw+y^nzXT#F~q}*26C&Elslw#o>R}HwhF}X|T3_vl9%{0(FO3 z@)O$b@mUwUU;RvW6fLVwqNXaYIR&1s{?#9Tc$-t>(J%9ND$qVm0J!cOzBp1ft<%*B z$(o?giTWyYAVP>RnlglwsIoFQp^ zAV50=PgShi(sjPWwF4k{oU(XoZg(F_g%~G}Kqy22uHbG{AaZ7aaYfVFkG*P^mY#e$ zJNAwb6o4#X3LM3o6I6K7ilM9ItOXTd{|Ly21)m*&ZqZp1R#ygEl2hXyGEif!aS^UfxyZ@tA0nUf28EISC@`i0(noQJ`A=4J$UZCa` z6zZb@&w1rjJic%UW+GcmCCd-tXOf%*X9^2X#*d2hCheI&hVYTjBFAwCoyMwGPQ^yQ zsc*QUHV&+1=VW~t7q%Y*YRdS$e~p%gq5@hhq1}bK=@tYwQ6~4Gp+ka8#O89Dl_DhH z;gQx+gIinSrv)2HjKYBVdS=u zVdy1%aA;jcQ?P{!(&|WgP$Jb*@Eiv4FTukIqci z!zuLn=9;&IzLMKzN_^{ zA?>;6ru5i!Mh|u@-zTw@8mBPMm;^WA}TS8{m{U(QHD&HFGlLi0$jXW zIU(4(G(v#T?#V1R+g8_bl?>iPu5>@ky!K32=)pKDgU4|_n%_XlI{&z>k22+WO>nb7 z1EgLuf(+(KeUS~3s?D$@zR`|~Ix=ql1cIRBuM!g|L08XNm!EPiX|2N&7Hk41V$8RU zGIqL_{_YNs&jYiC8uMx4)m>3dAmKLoky;wh@srmtDV|KZAzD4fhhD#9Lo`AZ_Sp*( zoKPSekLSTS3Y4q%_cjp9y>2BWm8(@9g549m=bFQ3W7X!FL+vE#*xDi5f;pUJ-Eb|t zY$a_-E#)mGqnz2Ow_-6#3j@TqA~E4&)|(5L@}B6KiLJs@k!L+>c_H;=>4fms%MtBo zj@oma2;fiJ!4?p$9bQJOZKMgJHVHEK{ApM75{{i_w zptL-UqUPj6FmbVPq@`G*5&h321%Y*G-f`j#8 zQExJQzSM{LK~}^Z(>z6meaa6*66TqVw_1)@SdMV%pFvNDmEO#Lsx^bqBnAZda9%3@ zdJ(Nl(3+=lK15ZLp5H@-p!@=c{YI=4Qk1kjlO6UM}=Gm3ycU}GoDU1PbZZffz~_Z;#?a3W~N^f}D%A}CPtI$E%} zDomX1AXLcf(pW3{t##1cuEfN`(~kTGrkOyL;!0Yv+^V0)cvZURdlhNUcMl}twCYB* z;`3zcwL!L`guf&13%KP5A5dQE?Q++pIEx9+X=vK*=`AyC#O?vLg*Io2=arpWzQxjj zq6;0$te;w!n=(%}>V{Tn7Je%$ET3joZq#B_%~0jI#l{2?GVRC@fDMZIiyiGY;+)f% zTxl6uI+5@eIv=RS1XB-IQwZ!RAmK7 zfTuOW?6Jmzf5)ox!8Zc-Zxf1=!YHR!W_M4)wps(iG~0Iml`^L`IBaX0RukBMh=8p=~A(P-62 z{zR8_E4>1%|r90);%7sY%? z3%tSzaIj8BB+XWEUW8m;cuYS&hHz4*Ngtg=1M6%J|M?FpRq)Ox{> zdwPuT;kNZ;rM7}-p*I}yRlI3a9nMTvuO*ySt*H3%2=@Za1 zT6>@Q32dyw@@tsV8})zqzI(uO@G%u^|9cg`I(%0s>tW>W>a$h2ah<1w)5RM93~fs^ zal+pWB&^%I?bKRHIE`}9#5(fLyb-&?&NXaQEb4$yxQTuK`MSr5*gV{yGP?Lpn&Q49 zCbIqEWaA^2K_C{o4@KB=@H~Q)DQNd|gLCXbr+rLp&Stnu81d%yZ;bO$ePs&Dsd9wI`8K@%fj zD4P3=EsAV|(dw4?Z|ad*O0;%rZv8{UJ8c?k!B&DfSp?=aD$z*TO)dfc)4{>894n6l zD=?;KXB8s6p$lZri&1ECTJC}-6UTg=WPgvnbEiGME&1MD)Sh0`@8d?TOuy&*=`6|M z4}lZ6*Sg6>!Ur>BODPnKzV;DNJ&4)EJLA+LPB}J<@g}6TkqRHVqwMp?ekwKQ?1Neox_}QE2Jmdm zx1Fo{_@u6ehnKE?_n&U$FCHa3C+;(-?bYd4Zw}@yF~>+v{1+3pVPf-mO64NM1N2;H z&>EsjhS8>r`ydl%9Rp;$dxClGZY*(2XWAoWKJ2@d_{_yN5$%8SDceOOBRbkOpNM8c zmQCd{^%41;SiQy5uu29_?!RmcY_W~8Z48X)Ik#)z-5r1~v&wvbj zQkZ&|uCh7g#mimM+rFcOmu7YiL+TyS{a`j}XvXDmfTqcDoZr8e^3cT!Q~E-#aO2HCZVAY+ z@Ca)^5a9^Pa1f?%S4z3?+(63z-H53E<)V~wQ(wVb)lRQ*#i914C~`G7?tu5Zg|s)+ zuIl(&%R{dX%5WeRsjU+Wtb3qxZC~BNq{(BX{lc4Vu;PXo%o^UN85pzlh1iCx%NmN^ z5;9(iB(W1{DLMM!0nOG*g>YwEo^Ym;dP2ZA#F3N0^I+|)Z(KMM#qJ&^^r@9S>`nNC zT@-%&@N!nZq;0)mP>f)GHt_^UJ3d6pGY26s7r_y>z~RqY-+w3nkFGYy@HFz7 zZRg^?(b11xM%9hC3CQl@T4B|H0{Ig^)OO{z-Z{im)1tu3%3v}zD%bJ1+@rSQn-F7YP!!*pfTDTb z+At008@X$<3R#~Y!Nx&UQAF3}{tbW_e1`x~^0HG!`E;HmRV?nyS*>vt{IzyDcIM3! zNKJneq2`;Z8Aqbs8d*JCiyAl;Rr+-3%KujwK)mZ~#mksW-<<_OIv-2>dYfQm?UZL; z@8l1jzm3JkH3*b#PiiKR4##BO?wfAQ4R-=T)gj>&r)eft zKzW{TCAG&k(=FjOyt3)|4)HZDc?Ia)*#^Rsz`A6wI4rB`nx?LFzUJ$#Adi?w>$o=j zoWBzOkk>aZjP>=+S?P%{>IG0mRp##gwSJ0mXrK1g1WupU-6yx=&RQ(JwKEXOQE7IX z@Xx+DPRTgbD9I9*`H+5bxJ?8>loK>T@;m3k zmz&V21rmk-+d1dl++I!auS#0Qdo&@alzazWv>&=dUUM8DPIiUaBU%|gkeI{ggzAT^{uQrIdZ{oI-Hqk zAOP%W9Hljcs@8d^iP@Q1(~S7hXn+(89g1qo$Rl?+w?Q4w?rB|ozTlBHy+L4+ib5KP`DN6K z%9=xiA+d>xKtozoG!x^NKQS7ZnCpMF)^)V7@pxtE_;%{w4%6CBayDJeYr;o!A`iuj zzx9gpN!>^zEMM=pRcVZ|q~P2fL)X1j_%DMAtp|!AaP!jEk;_q@!GW^2@yUUJx|D1( zf&j`^nJWN|5K@gY9`R8=Na5nU^psKvjkTEy96ghKb=)GHU7b)&oZR{zF+ll%X^eym zK{5|7wx9VlK;bk9%@OrojfL0Wt#p^|qkc6OJSxWR_`_=|tuD}MZ46v1?Bo_e(_*YexY*Pvb9IyWXj1nsd)I62_AeLI)A zbjy5l!_aTiT6re%i`|4NMgoV`YO;tqLIN+wi7j;2vf)1y_w z7RC@-lZJ2KednOzhkvu>H2nJMDX+N?-UTaYep5X)Yhm}Rr=k|i+n!QQ+y8oM(X_Pc zsa4a_l4v^qDN