From 72ceffe8e96c0ac3da49690097858bea79a704b6 Mon Sep 17 00:00:00 2001 From: Richard Eisenberg Date: Mon, 9 Sep 2013 14:02:49 -0400 Subject: [PATCH] Clarification in formalism concerning roles. --- docs/core-spec/core-spec.mng | 5 ++++- docs/core-spec/core-spec.pdf | Bin 335916 -> 336674 bytes 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/docs/core-spec/core-spec.mng b/docs/core-spec/core-spec.mng index 2e8134c7a1..5f2d806702 100644 --- a/docs/core-spec/core-spec.mng +++ b/docs/core-spec/core-spec.mng @@ -30,7 +30,7 @@ System FC, as implemented in GHC\footnote{This document was originally prepared by Richard Eisenberg (\texttt{eir@cis.upenn.edu}), but it should be maintained by anyone who edits the functions or data structures mentioned in this file. Please feel free to contact Richard for more information.}\\ -\Large 2 August, 2013 +\Large 9 September, 2013 \end{center} \section{Introduction} @@ -364,6 +364,9 @@ when \texttt{-dcore-lint} is set. \ottdefncheckXXdcXXroles{} In the following judgment, the role $[[R]]$ is an \emph{input}, not an output. +The metavariable $[[O]]$ denotes a \emph{role context}, as shown here: + +\gram{\ottO} \ottdefncheckXXtyXXroles{} diff --git a/docs/core-spec/core-spec.pdf b/docs/core-spec/core-spec.pdf index 4e4ca924fbc8cd81159b9c869313c854d03f93d9..71533e96f7513e99d94e76bb493d258bb534bfcd 100644 GIT binary patch delta 24572 zcmV(!K;^%zz!aj!6p$s8fgdS$1e}x}CKt{1F%O44f_8MGrxu%D2qX2e(!5bNK!|PPX0cRTPJ>cX1lNdPWm7;#Y=$^=>c2b|=GQ zgCh&0)^>j=pbxc(wcG_DA5G22zSb>lpdQIu==^gH*(xtGwVPLM5rg+smvF znNEX!oCujqLM?zcFne#0C}*67ce_3O+5zQ+K^#dCNfAL{xF(p1B$mNmffkhZy!TSZ zI(*yhlnke#2RbsWPUTd8_Z^YRgF+N(oFb73#7Tu@X>JcS=p{~dSoKbh^5nFUg%g64 z@Hp5J0eLtv;&iY)KIvo0Kr$+W^O;Xh z5Hx<4Io1fSyRtb|mL{N38KQ7*!vQ3vVTn5r)_p#CdIvKRDP-(GrkqZu@%tZ#dYYBR zT%GH=&6WV@gTw+=k%yIq<7ilT%f!b+e`+eixpOGIvo$rT1i#FsS}7nU1(>Es6Dp;` z$9g*8C<%?T`I*3fbUf2N*pXJ9a$sR{?&C(t>U<<$CZy3BT+A#nUJ_#YkAw5J0vI+8 z3LS+f)FpzD=I?j=1PFcSg+Tb)%mV?PbHUfC3CTRplo8KdJQpeV%&M#GFixhc2;TMs z^ERZx{xlIL`8sYTU-$Y&kUO6DbC{Q=qd`NK>OXCH+rc`2XV5w65Wb`JfCCQ(+ZYVq z@lYQ}0-2UiYu%h$x>e58K6|~NKo#!oStn}^VAvmhs zBW`%pm8O&|W=Gg3NfiFnPYmV&aU&1<+GZNF^5Tes79hW#YESOznE`k|^zAh_cL4bQ zU`C2~G-A_#{0n38;3gxJq`+MYSXl_CW}FFaSeS4jBx(}GQ5=AFXBrBO1|sQX9_%y1 z>pRE@xe7NU^&|h9V6n!-$`qLU}yy* zt{f~H5`q1kPQyJ%}?y3(%WO#4QNa!aH+>Ty7SA1C#x#b0*5ffk&0;Co35U_0B?6*ZFD zXP?LiD2^5ll?xV(0Hu*Xtv~cmV+-<=U%E%V4y|eGk?RgJ^n{)HQ0khwQyZ(%cw^t8 zhioWpS@DqCbq0zrCBkt&b zhfj>?EJcNTsED~&Trw+$cd@x39$RRmY{hzfjhVC`XtR^|i-ExQ!n?~r0p6g|&UJrc z;$zt#zoMblskqzu5a|f>(%{=57iuuNGb7|o=Xj7cDF1(%d_90pas-pZZpmHNk&_8I zEw!ygk&6iRe=4~I9!>8~OqFyA19V`2v2|^T*7t>&?+b4R)3(5O-f_9%;2j|sGE%%l z_&dg*!PD`U@p+dj)StP-Y_oaCfSQsO-0h)FtnVwVueAZ&^Ggh>JY5iH@ z_H?1QXM(HpgRKZSWcbqii%h;P$s+RB;v}oHKM`l8gta(q^Pm1J=8KN=H}L+`Z#6+> zCiA}#px!WABBHtBdAUI-6;YmhgpZp9l43!@Nrh=F_7lV3yO(^1%^oUEr6=;XtLoDF z>r~HSzPwOzvret0`$8p{#;pi{-e*wTiUcA*6 zY|P@C$kuA%3&HcT=bSe5jc;{FzBjrY&yEZg`%<9ijL8p5C zPfw4e;N0nKs~0bRhYds&&1ZYYw3Ef29MYfEevixQs}LEV^KQ``HndoOWJ1OBb}zhM zV8mdSSth3Sln&S;6$zLWPpRhHGw0Jdj-kCmo#N=C$826??a_=bvoN?nb&JQL)w!jP zgjDhW>);L1x;-E5MtBq=OXeV?+xqetA5Yc8+^;`93ci(HZZ##`@!y}j=da-Vj&EjP zIf4>VA-{Em{BneDx;?*t+j6{pk}F6@`8pk8@8F((Z0CzZ6mf=G%AaJwW>)1tS&kS| zQ<16MIktdC7>GkEO6J=@5uUNz@$#%91}dWhz+%H@z<{*!i4o;G^t750K1A_GanoSD z3x<|rGfhF9#Dv!L5?(EXJ$WVuXT!K_ILumnL`4t^P%8 zu!{zrm%h;+aB`$J`1&b~HfGC>S53_P#Qpv4&967;cu^pO4D_UO5eH>^^YbrJPyrNL zQ=y7Hcyu^zAoEN}SB0A3{mozLja(_07&A&^=*vh+3ayLPTQvlE26&OAY9_S=ZHio~ z<-;)4Qo2AF{zajGpqG^tQn-rfQ5`1zP(RciKW)Msba;eoR7JBpMCFygL3<2D4%FZS z;QJc24G4GGi9;WNouAY$OxR_jg`}~HM0%;+wjTaa)}uHbZ3kB==oPEe#`!XExjbIF zqkC=lZ8Wf}`B?LFs*~GEL=*R%3R8Sey&Md~jR=^ICV9P*nR-SAv;#(T(II<~mkC&1jREakNCH3(J z1`GMb%KQBocOBv}dTvxeDuo-2{|iN4ht0nM4nnV&v&;z=fdn%!GBuMS6e)jOTW=f3 z6@J&RVBeNNIiCB)K_1e$DcZCF>Iy-DI6x_KEwPbEbxGRszwdWumgLTIxTGu@$%8F& zHFIX>n{&Q%Tk+BDh>!kq#oM2My1sh#oslCUSTOi`{eI-+$O+E4a--|{=%-3EVa5|7 zq^aJn?(6mV=j*?{`p%C63s!$xn!!gCDVcRXO?b0y7R%f5L>gXg#?n`x9`VIj^<*}d zuDYvd^zavq`6HfNS2YluhA)=y>!x1L;#W~E*6HzV+BA!Lp1!QMn|9uGy+@MsF$?%W}P0b-lyU92YOmJpW0d7O}9H(E!TgWW;@%g8b$!n znImR4o%#BX20C87-!5mH#cG*QvZ4c%@k}a#nQ=y1=`8LW zi)`-db-P}J14j5nwPxdqma6*Zeoe=>q1vwFFXrjnVwt9_Fuh5S{=1#uMoe77ghs6k zTbI%@qsv?W_wnA1VmyDS-Eg`sFRPDti**0{b#`Y-AJ)@{Izl^9-Z9Qai?B&jrloxe z2}tF|kXojV=xj?VRo!ei^g&l27togYXu52FHa82vPHI74qv~uQ=nOZs<%&?GnNXv` z)(mGs?J@h|csnpM1)FIHOgCwjhzCinm-BXuq|I?Zv)O8!6gYnkdB1AXZ<4OAHm!Ou zruXUjiZN-7xWv=2%^Jt8LC!Gqr zTl4{2y1$RBeoS`hb0veewz8&8yHK-jWxQ`z4=s?ot9w?mAXI+It#KYU>8f8|UC*wQ z2HdaT)U*3FyT5-cXn~N5d24p^Ubjn{?vl*ez3I&$|Cb-9_lx;8>DIA8=xcy=n4A$l z-qp*JXv?_RYsF+fTQ&9MezDvf%e9>OgVB+_(3P(14J)YI#4Dz~$S?B)?Yd(OMs=+L zu!g1RHg<1v4jkE!5CALF2hNNSR1+>ics z_0McJ6CsSOFw6@(Bm$!qlTgII2%+GHApAKp=n&_p_f8SLVx}`%F~c=P1u)ajRB|^# zm(y_*$wHHBqhEa(8(YzREH z_Mo)NVa(d{r9c1LU~wlSb>5PW-WA^>Cl3|h#Y1ZhkVC8{OaLx4uFRS z!!9f~+eS2BmpzGa_Q;dGnQo@|QL-OvnKJ|Cvp<{n*qYp({}y&JnN}0Ib93Ii^?Nxh#^#2PP@G;6DWxhPp&`*mrjuk;$MA2Ty!z(*%v_knF z^_VQ*gAU7{w$EpUCE(Yb;|l}!TK}OIaq(lG$R8e(+pqoNg5lL7l9y= zHw}TXm(>N~p#TDW8-Cpd;id=zx1kHdO#uYpY2`5ry+caJg!h*m(!)oJp+k-nF_ zU6%&2P!EFhQS>~e8E@;yYhvuk#IC9f(8167ea-0m5?N3Ug6NbbFJT;W5?mhx($1LIMO!n6!rQZ>o22vlG{5P1)7^gy|EiSb zP^l6q_*jD+Le#?-nZcyF71aUs411Z3m~w4}^D6*q`+%BWB{Rc`f@4QSuYFE|I`ab# zJUQu%`cJ!-?1(}nZu4EwHcbI_ArNf%?#|D%o5_f)2Ls~&3t-sm)!PCL4q=@k)Aq8n zQqMpwjdv+HF@w8g#w0Hr^( zY6G5e{CP6y6z8Y+PH|kdftiVr%8uHJlTD&swMJiDtwAjB+;7|gEtFSrdkVoLop-ou zcdl%rkY^a!LWY0b=2KxwZ)2YJ0!#Y9TyMpu{Mx`oXbj>i7HSSrj*#!T;ic?W#DW0N zNH3=|W$nSPj39dVyEHL3Wn}TjAJdvpJzB$o?XES%3xXz!&Pzl@)+)}*6H%be1?rp} zQbA)s>K&K5bc8I^Ez^j^?kGx!D@XD(*ef%V89vaem70HEKJgGLEDTox&UQZF!CVyNBq64psTqq z*r@P0h{l~#KkrN(JRW19U9lG>qDnrkrFQV`x?8e26<<89VslyFQw$Wj_J^~Y`Qf&X zgzfT+fC7J=g+ ze+Idot?<1qwcI^ZUc!(SS3{1+q?}uV{+xK0-?1DNq@pAvcF{C3?l+H*Z|lcW_XN2n zvI%+##12=jNoLSP`qzr$2yyxOC_;Xw0-oXn{W;ojf)Di5>bkuWGQE$|so0j@7C~xj z;d_5XfO5#e_jjyf&d34SccQ3UqxA2}?h!~~nxK}H@XxdRR#bk-lQ(_(EuNRQ`yUE+ zFH$$+tld+fsR$nv|8n3thEGdEgb0X>cCYO14F8ASE5ccV<~X7Q35b6ux&Xe<4k^aKtY#yuNF*y8~l8oEu(Tc*7RO3$ArtZw+W1GS5 z{vN8|qcQO{iwU%3KS|hZ2KM`Z%fJ>IlX0LElaH1Z0yR04fgdS<)mqzf+eQ+7*H>WQ z$f|HW_e-|+!FI*FNu{z`M{l;PmZm5P5d~^V$d|w0GlKz$0f!)EDqGnnP-LTL`gHf{ z?itbIrl7^&FKB$ey1aPt#ukn^&2@2kU2tiMp|&uT5^Y3rc~!idyr+y$KV1Iw;ti8M zS^r5uO_2F_BcOSIp@}oXdI3R%HpPq)=~N@Ns5em&>nUQ4SZ#}*+x4;lCOkdacnH3dLLbhASVtilEOmZT)#Bz){rJoH6c_I?>L?ogdA45Vu5s8Z* zE-(Ib!SFRLSiyxRN@95{h!MJ2++V!=K#ME<_)|fNaJKk=97OL6!-#PPA6Lb17yrtH zSF6fMA{qZb39n>Zd-3&`+>#tf^-w)&HU7N8Y?2LWBB;aiR>Y)!-C&ivS_nt16>v4y zlxob?K%dIg)5(fL3c{=ns<@2XfAd&fe$C_>V={PqhL@Dwj|-My!hl9J_pgnB55?VN`ZVomd5;Bv67=$*^KiO-&Gl;kO*3LQ0C#rQk0ovc&j5h#|@##HlK5H zH0KoL82myB+;dLK2}__YXyVY=q}-Id$$Im0wQ4edZx9rU5(8H&3u3lzY;_59=vYv+ zstj05t7i*}A-C&sZeNvk)}f56a~;|v(NTwTM>w{lti;ov=TT0Sb3qlwGc5XZS!YR< zYZ`=SaD?QML@#fb+vRj7gqZyPcy)8Xtft&d>TUDY)$(CF<94#Fu9`2_Rr8$thn#F5 zKh8FP>s3^+S+3@Fxvp~f!4m5orgvoDL$T*sMHr~8pYG#Tw&O)Ea|8;Lna=oabj1ui z8eS-_L#H?9FBd%8I;{UXsuKK!!Y`;9Qvqp7v~+tam}i|cb$Ba|zdo>HFOwOUAOo+; zfRSP#{gw@d?_y3SzOzJksZ>u9USDIBZC|{9UN@gM3%pELx7$puL%%(&b7WNK&JvIjt{vYQ&B+&D+&fBX2WogRs%4 z8`7aW=j<%D@m(0YbFWIZ1oF%JzO3e}9KsUKJ};#7J>w|AUeKirvlQS~6~Iw@^f6$6 z2FL6^#`-YEzvciouuz@`Fm=Q*ht1&~dmf!L(F77y2^;DB*V}njukSMeYfTtsg{1JT z9L;F-Valp8grhFue0MCq1>rw9iV;NEg`}YABOH7TWPrh7fLFy;Y);=UuUD~KGIK%yPu|<6>Q*!BOR+j(<-D zhhUJuE32D*a-&$06K!l)oxz9FO|I9g)!I|#Xa5?$vPrpazA3kj@Z;9+#ee!-*0<%9 zwTHe`g1zg;)%@lrM6yDYw{4zfwOHRj0IQE!)mL~n@%yH{>mDIATuy{V!iR0W-n2Te z%FS|7H{0bA6cIq#pVc_(4Bw5d^DnP9Q^f%K;&wk=BtvOvMZ@;Qz_#g3Z$gVG zkEu!wV0(iL^L5{4Pb68Y2)Oiw&RESJJCTGQlOClimYt@!#tdhFMr#Ta0Fvv&;}nP- zMMWPOg$&V{?T0EjHJJI$SvtHK$6p_sv41jx=0^FB~7nchl9;@oRw{-M##BsK%qx3JilfWz=~ae(B~N z5$4e5-%KqEPUt0neh6Ir>A?0ep;2}E_9G>)mcbpqwCxj+6=+G}JroCjt~C}3%tpF9 z#Ic<+?h}a}rger!of#JdwPEM*I&;Vb*qp5SEX1zPA$BhPWDZykjx-fcdxQUwj z_8sT-IFgi+*C}S`9_+SJUlfYJ)D>5zr^4aDcx49 z%la@o)bb{O(JCq0QJw7bE@KV=quP({Qlvuth?-$psZifJ3)O0OgEBB#Q{az^==;j? zx@X}DH)e6GitdgPt9(*YzMqr>D^=g`yAua!k|02zw?1u{K!#G{oK7^Quo5l&WrIJQ zctWy&zaNagn3y3^?uU>?u$=&?MRO^}8rV)%576Cz4c5TM;eQD18d#TUV7W@DTcSVi z+y0(PdipN%rX72pfaqDyENM;8|CgaV&owzo*}@W`Xp$s)4LwO>UoQDvF-f#v{X?GaB%McuT9LZ1a<>go}9|wmh^C2^a&d`NGjyEk_ zJ2uUKALhOb+hn>2fBZ)6k)%Kyr2M^|_8H608R}Y13PCH)nM0jCX{d9Ddm0M&fw51p z>sYdPss@G~N%oTrv!izHT8T6eFwoI(k>=w-kF>5DK>K4>RC2A)>Rh!&sI#C+YW8P2 zlHmSc44lRk##E`!h~7?9-@uXRvmRPs42&QGY;Y`LpvvDsdO>T|d9$7`x9O69 zhEWd;#d$b^6Xu+J=@j+sJ9*Umwj;d%QNEZ{(#3pZx{Ox+1EV7-$zlU1j*cj1#G#)# zX2OMk`#WQFlpsY8=P+SIw1>5S40ja%_HaJcI$j~R|Hi!c--KwjVV%Fz>l84Pyn@aD z7yJG#K!b6hw{f5W^pg)cG72wDWo~D5Xfhx;F)^1hYy%boF*cJR6e)j=v;|ZX?i)5t zBi$`9K)N;>B&DRg1(`5l#5Tr&QPL?PARyg>bazOHAkw8Y2#O*pAj*sW`u~0ByzkjL z+wQvV=enQkemL3mjRckK;g29{a2QGuBm|TJDC-!4L;ygbs1Oh+LdeN!3`My@{&W*^ znnI8sP&iEHUkS=c2pE5L<5K~nZt`^CFo33~D*z-407=MzBxQg=fCvyM{Z}F!DFaXe zdqM31Izj+VI1J)J$f*oR_#mNGv**wq7mQxAXk0z+NFk8TovpBxNOQ!)U6ZwUTL&%+K0MW8%{JfN<>C<_0AxtX#m z%w8Gp<_3YGJP3cCPX&sE*xiiXNBEDMb%DXXVSaxa4p5lA!!Hu{o(N$R7}VVpqM`C< z%8iTgAD<%x1rP@Ufs)c<0EjyPg0^!K{snLBgMj=Ff_{IwZx{slA>asr!wm^Y0Mr3; z^F!$80rr9bP)JWmfZx9Z|FsA~Ab>s84h47wafHGM|3SZTLmd9FZ!RARMFXsWH`)UM zfWJO}|Fgc4mpvTj>hn+f@B0;2S5?{{J3G&C}KOcbMmQ{QnaMyFp!j{!F-0vM1_h zD|FyDy8-*(R5QpQo2&z|hkCmGZ&U*XzS#~Xn4^E|-(!S&s6o*XdwnR%≷c{dEgB z@UBo8L?7+}{q@!W1VKRH|HN+g&CccKJ@L4?tKT8W%{u+Jr7Fx0ZvSiVM8qWkU?dXk zLkPT)mx#DHzz=k@p!N{-Z)F37ghO$p$JUI4%WjwJkbqf(*(VWVHJ-J>)( z%e-lT{Fixi9@IZ*H?2@kNXS3sH$xFddBgvKzd5Zh1o?;KKV!1=IWJ?9nlTSRtxUXtRc@K$GqtRl~p zQbu~o-)*Y$oGLD{{_y+M+JGO~mTb`e-T&%gqT%FrJK@4x+QEsUPfGOz%mlXujTLwN zf4KXb2D@OlVs>kC=DB-Hk?I#voqPAIqw5FCmd7IIwheZwCA5gH%BBS4Oky7dm&|`~ z=0D1wrDw-O2{PZ}qx^~{n>jt3rp%qVX4OpOCk)t+6D{_$ToZ}EnDu>MVJzbDis24} zB|S6tDdpHCm*2hJR86{hztZAWit^gqY-|jX+pTF!$yI+L;%9n7 zTc6GBc_!V;gv%Jmk&=~>*DBhmPc-zdHK+ zEQ%t6`}hg*7tL6a>*JoZ>TlO&R8}Y>*EOT!fAT~W9Gg}49*=h&A6OR(0%e8D9F6Xg z5$n1>qq5A=d#ZgfogXjGWFvpw&`14KrbMfa57+;T8evG-wO?N}U@0=FY)(~Rl_BT5 zdj}Sse5W(eCJp^5wa#GRC%1Xu-six*@aPUG1M$dR1|Q22{Zmv6&Sn7?t^9TE!aKwV z7ErK}X$@vT!jR01S1V=UV|$=e|GZydpsX9-tcdsLvE0oGPFoJcUEf2mFCDHm$XMPvTHhPk*bHd6Su`D~%9Q(!VhyJuv5Qi*C zgG2A(w#WOT_WohDZ;pSSHGP|(X&bLBl;Z6Hl#LpP*X3)<~B`vYOpdo*WR{)mU=2pqVnq+4+ z2NoWVwq#uJf1I#?Z+&ksm3oRqVJOM51nkpvp!A|{(q^l<%oZ=*~4x)7i60 zo&wbq^`60QMcjXOVhWf`=40Po$mgY)fkM4A`M#A+&79bJrCi>eH_yu>t@;V@+AF9t zm`$Sl}V^cdK$u=D!7*UvQCOBWfG-vt%T+q zE4;JL_Rf*j5S#vfkP*i1^1FsTrWl`1)`IpG*j!)4=`4R%Oo}*C>Fq8HQHLA%OD5A_ zHhE7Z2l6VkVizmlTFpx}eMBv3v*D7N^YT>lZiO8Qq3)|^e8(h0^m9DY~{BuUakGB^@bsoe5k|mY8zNkifMf5LsMpe4G1}h1GJ+%j6_u!?i=-pOe>g zsD;$+YukT(c{Vd8r5slWnD9dd?TKc5pU3mChs=dzbxG;CKJkHzjQ)OxAq8;~{S7&z zY4_3+B%L+BG2#c)MFtH&7fECMQ4gk$zAE7)zJ9JKDMqAtjY0EKj3?=KhmaiR7r;2H zZO)VvH=<%{lOLVpHEtddQK#@^j6!`*ltP7BCM|!&rYWH@e>(RmA6Ki`Az}f!fsVUc z7l&Z8k+HL=F zzIT72v0>O$6)|AeZA3IFeW}qRA3}CkYYaZRu^?-4*GewgUG%ZujQTVD4bxNu~p;;ak9z!@u}x4 ziH+yVb5A%K2P}+FxeZTZhZvowFmmB@AZCA^GFX82&jfyqugNlcKO2R|Y`-anewfak zj^C!ipcxTsiEk*^BqR;HNBm@L_)fV6c(&#~4S`Z(pd*l0!{8aivFyrSytMCL{<5DX z@MqK)w-ixv?&cA(^6MiB2o1VQ&Ke#T^AoR>(H+SEP=hq4Yq?Uj)>2gvCaXj-#jStT zRO{p(a{i3VwOZH2lZO&C$K0t5pWceTvvuJ!CT`-XdTE{0MLG&*;ZrL3_^xn_7}xS=*|4fdgYIOkTZ7%(vO^)EwqbzxY?ntgyrqm&H z)%K^cR$th2((b4T7v<6#2X`~U#gu;^p%U)VaD2Y!2!5e6M`u^dJS2+~iYeiZf~bs0 zF>3K}(T9skEuGC<_RO92fb?@syPA;BG^ro`%k{e%NgptsTf# zhet`j8k=Fap{u+IG9)jeLPz>rve^ufb$P3T=N)RNzKk?O-LA9Z#Kf3{A64mI?{hPz zpJ8h)_ljQ$cW+7WGFb#+Tq;D`r@qpl~gyXN|}t47-ld)%!@l z#DNB55RB>>=iD;g7HsEfX47nJw(RmTUnS@)WwWmKoqwk|FVqzD@`8VcSp0J|#)M!( zvWj+t_(SC4{q4O0IhR3X6>pgcT)5?p333lB_uzi=zi!9l1uPA*E@R zWV@-4#OAp~N%5y_XaP(##;@C1$LqdNwUL z3R6%;#K*6L-6;xU9#mg^w90(yoG2?Xe|)>lsFio+;gFhQm6iT~u=84OE9ufaMMS$kB!W2xw0%eUo0?oex- zF7Mm4z!qPDi7d+GY0mQtTsYRMycK#7ed`U^zL)=`bww9Lz|*dBra9n<~x$U48` zD|_OkO@ZVo#Up=f{)MK*&KTuoGT+uy7=<6s9?)>#q^eu%F!r_p*KF|89usTL1IEG1 zr|-7j7J#(x)s#>bl+Lx(KD{R53gg59>#F9TPEG;smv2KE!?# zrm0w}8beTl7gBGL$!xv_p)ZD>9Sv{UCgPdCN;%|GRmI8;R%o&#rzf2|rzTcjP8&*> zl&ll99a?|9gHv6pQ_A167E$7HD zh^P9T`3LLXG6y&oB2wRsHO!}oo#NIt7z_uTB4MEZF&3= zz8&&8YwOW+q8THIG*F3s6=q&Ab_i<3Y!?fMB?fCT_vk4L(&{R`T$huka}<~RY-WQV zALGGA2RHOzFXgBPvefh}p`_@@19Wpw<}~6}M#G*ZJ&*1#&nRZ?W($5wKZ3P_8^mrM zfZ2bfM%_K|DsfTOm`Y^W%@8U}@S+zf3Z?}PeHvh6ao9*2+Qn^;G0NgHqwzCkn!~8V zTYh*=QbxMgU(zU?mTqQ87)-JaN?s7p^+}YfXA&lEo5M40+pI1*SuAPoI|>fTCg-zJ z3t(jBP$1T4+KF!o62!YYc$~`U*7w-?>$88Xq+4oUw@n8DtkGIu7lg?1A8=a~oDIgG zScb&pQpGVxN6q=~P)c**XLSyct~eki$<~{K3_2dengs#c;?V|_+nPW%pIy&X>Jg^5Y}mEP#x#{tWwWGxiu_VQsd!;H5^ zNykzzNLU@)y6|x^T}`gwUd2CRa``Fh*$p^-<@)cGnqXjh$~MzzN*JoAosBlU8;kUE zTiL3o<2=3SYtOBpqPDJ((^n1%yLx~3P~_dvjLVNxYAUWzgIGj+cOkXvlJiNp#Tu#S zv7JBzhaTa!#501J@2m`~2bnn#Hlq!Hk@#e_w|C>_p2BE?L}gCZou5X2<9+Osk}#nBWZ6(&`F7i?j!nR&b%ee4J%@8`nQ`-%GbH;3x}t@jt9A}cjTz0f&izT_ls1n2DnDs;@`xLC2|lh0DGn?HvI z)kY2%h`T(VmHFA3t>TSfFTd-2Sfhk<=RA-Z6B)g z$19%qIrey@NGEh9>j7S5tHOU8bSy-UcXyM4Iu49}3rXMAM41Va<3f$R@52xQDz(7R z_?Mqfd``E(4n?6srCCa%3aV%ELWbnI_ee2UakqohaP1~c{Pm7X`CCnx?=&DME~==Ki=m&+7(Hv(D*aU;j+wv4%}k4V}$u2fo$9Fo|9o{4u)^RZBLqX<3Hi z<6eT^ReakzWD5yV7ssif5YvJe#L!5Et%4BEdk*1w4B4NU4PRj4L;beyb2NxK5%Gj$ z<}o=AJnkTr>JprbpZ|Xt-Z@UKc+L~BpGkiey+do9g=b8pla>{xUs)Ssdw`gU%D456 z_4~=4nH7a5jy|B_&qyMCO(*+B7B!zFt(&pfGq&ogai2Nwy+?MR+<^y#tY&Ou42SM4 zun462rtBqO+z->Tg(WMuaD)QKKDsasD1hU= zqX74v5;Kqt^Y&xmzyObPpYiOB&pgWk z(xB+ioxoRH9*cj^qx$i_dE!RzoX~x!@fa#pC-I4TP(-JEq=}Ko8_c!(%1tMllL==t zZ>$?X;{lFRchB3gBT0mEMP8wH31zY7y;k7q8O3R);p2-!w`+;Jq4AXjUiurnRO;1N zo7?*IoMd$l)|?4?sNlea*6mGtSBDNI7yONUO8Jqw-0*+(M%I8P#i)l9&2^jCxG#^* zsJT9r^5Sw_yqOQG$%vi%&Yw?rXXL5K4)kIA%X`_rUN{G~x2=`;hOF)QcY}f_W819+RcSX(6=p=4^1zTL zA1}`*O?7&mEI6|lJH0oQ$$8?+SQvVk#29^$t9hD? zeGGqN!hFvdI^~jik@>Sf?iOSwPGC2#fA*YJsc=p$d%>ka_|b#Y&D}aLjrZSnMzETR zu=5QlS16COF;!}3J|2H}Irm5{aFTDzunkYl1;@SAui<&@%&A`$(K0+DPe$0NZswYz z9XzRkm7X2B)%f+|#Tm}~#Ftz>F;1SR7+imyEJ~OWcgSNy;$}E6dj)Csd#~DHnP5aui0(41tLwh#9BVts#;;AI;`PdEIFMq=>T(P zt7Svc^-CoYe%(;}PwX3B7-|v(s;7TRRtG|4`ERBzb#+5jn3y+vKd?H{)5I3~vr>N5 z`XDbp^+ZUVM{E6(W?G&fKO&T0tlei;v6N;7H#`3Az1c5T7OX8D&rS&{m<4UGC}LBh zpCulSC$bfn2>QP~H8j;hN)XuJp>U4-R_1))O0Mj3eg!*q&VWSudI5BevqUu8cs zTg_)H&|N7;EYg7cz5tUP5;}ie6W+txrwLV6;)oj%_`AwTnZuf6W{T~ZeFJhFxxy`s z#9iu*v23$OCTvUt7ViF&Vv~Z{ubBYKDqD%Y7#~10r`YNw zvRvE#{jgT@trTV_Z)8kZy z3`g62y|Z8>!(^(y3?zTl{7(5bsmbN1`OJ&ElCmOVg@YeDSZ&P3y)k=FJ-M6e$mEi+ z#l03X&gpE@c~UeY>rYJ!nqgi}grsfi7`v?Q zRPy^=AVsD|0%~>di+neWQ` zli|39J3B;yM9udYWHYws2SCXu-3j*>0vumE++pvv8y4^)UudI^(=VXz3G-{aO#1kV z1zjS*<|k;w{jGm=GO`hkQ~U8&L_9)Dz^jIJhV5cFDpuMv-ys%HHrUK0c^^;s-QEj} zv%S3Kqtdp|>9JiUar{l`4X~_i*DGLGLBL$yHY-6=Px_kcx zlj+)s#bav(Rp5gMdV3T&{bzn0B+cYrYZNuv9^rm;O^JWYPng(eCnx6@YfPP z;v*7E;qaq3xw{_j6mK7#@;oiO9 zW0jgsgeQNyCDJyxD0{l^iD$3x#CKh43R zHq0Ahw@O1_1Jrg4y#(9eAZ3Vf71`D?st1stLc}H>1nio!nnN?zD!bh?TAXpS!(t8! zmj!=_&PNSKn_BDkLHWHJZnK4PD<)Ssd8r#{2_Tfyp_Yc9>uf((VJGta7BPHrQ-Rj^ zvJiXvGN?Q}4ga|>dB^llb4ABw*-=53@wb$dcm`gZiezU}FJx9;OqaWieSq_ahCsos zZBTr~XGE=#ytoYq8k8+jRPmF^*2N?=Wn6#Wqxkhv;w)y4f-;A*i@0yJU|8vBE7tx! z0Ec#0liIl4p5sSX@06jee05Xny&e9aLUs${n}RumxJFe4h0$*a+^tJ1tt^LmlADRVJH#(j||=GI+a1QlrdgS6t>arWj-!j%j~x z<}%h_^{lZti0`!O1&`g4u|2p`NP}R*YfsbuNw6OtI`z)FmHN9RcFGCPylPyTjaAUI zN=9W6O(Zb$g;i7Y6-1^>iA2z)cubuYin3tBrv z7;G<_fnXcLS){$@6`=wMligm2E5*3Sui~-tE5S8@lGmJ%+H_Haq zQ5L;$r6>VAK9pGCY@_!igD4!|k zR20!xB(JK*_pm6Rx!eQ-9H@B z`^7_QIf=^3Cy>jz=OIt+oy;Q!Z=7R~z8LI=o0$E1%m#pekLypoix=NNdH z+CnHXXv#v={^NkB+1L*8>#9b7Z9@0`-7Mgq)|QDS70Dma?51P&AKt~88kTz`<-Ona z+#r1a(A!H}V*ZQWuxLI-SyvH@o}i<{N*4D6Ee7bfKBBC9^1*LLdaAc&>C=vXTC;}8LvEdP z#!Rm6U0t`;(~Ow)fII!?fDF``M-!MmWxUJqv9zQlF6Lzm4wlNeTOoE-{rOm#bvP_L zyTTjii;AGnl_@;bFJ9Qrzrl&|nA)BP*tQ;=_nVur(ch_gT+Weh@ES_0lkK8n=oY6g zfBMxdl%Z49xAJjo>xGPe;C3A{_R3j>h~ZJB+Ju#y&w*j)vS|QUOf*_vxWVM!g5;GY z^^dass9X0z;acm;>lRN>QqciLhNkzy>X;H1eHQ&%Dn0zQo}~zOlP8s8FdyQKx$dzR zXd2+XAORl=$k*3@zJ)1BYH|j&NgP5f0lq}|n{`9>soBS)s zQ(^ODU2E^95jCcNNe8=DS;Or5Y<`;!*wPdoNKyCm2dr9d*OJ-XT$taMlX=4?X|^JZ z$IDlu8^nb?pg8wov0U-`qVH>`(8T&umiaoKsrK#HxfP%0+d4>VM-Oq?Lg7<}oR+<#clE_}azhnJrU&`_nz#3xd*{$xN8`b#B5d;z_%%Zo+;!cCKN4SFMkPUR zd*4!bkme?eHB8#ziZp*qpIV(K70AspReoOGOXg4JJ8R7DXFsR+MR!g8{hc`Y<7LMc9D`QL?MeP3MC5_ zb)iI|gDsRPjE50jSf>lE3-5fPRS|52^Mw>R>I*5Y-7>O}8paLGWUMTVEu@3#j47m- zx-hYjQHH_+=ZtJAkf~i!1No~Lt>B6}}%U}v;VFlh5 z4whi0EnFzH6Ta}Ulwe%pRiPs+4oHmjFm4N@T-@@oG!x-GEWw6Q1O>cB;02Z#U|wL? zN+Am9T8ZPKutv)wcvuo307KSGSKyL^2wM?uEi@d%lB5bn^o3JS6*1r^97p(sMc{v& z4mg31gbsi!g({qe>!kp;yha+B#2d3E1Hos3lATL1eq=6%^aUG;Y*7_|85(cT_>OqmDkGMW$I4F%hxFT5O%fb~Q0Im`gOGW`| z0C$I;Msyuq5mA{zMWGixuE>C5Dy6n0sG1U}E7GB|dgRxmZ3qMR@Tj<;QP6*bE8ylZ zAIMn&362F)YoLQQDusdoFq8tFEr3WFYqoy=d8<7A`?e~|_k+u7tK1pi%&ME&w9sIN z$6MubH67ngE~+WmBn=!@Ux$Mi$>|g()nfGC~;^&`> zavwM~cm}(!u&E0exzq)Xst12{5o%I!1gYyl2%_!-M6&Lqh--2bV?B=IOMMbY-G}k| zo+vE7E3CJCKN(+~RI}nYz+!j5C{L^Jv*Jt5N+(E4Euy5vMlfZ(H-O}9%@KL*itW;h z^=5+27T3M{Oon}O1NC&vDv^ua7pk5RO`^UHdggj|Scb02fk4YmaMFKf5htylUb3qw za?WA~P6lg^O$J$xDu`XrEkHt)TC$SI;uM!~@|)>X!`FH^<*er}B-gDB${dj#)=Y_V zTsOtZEO`pEnWuOdoSds3$C%;Nf-l1ff}hb#miJf`+!6|AB@~Q*2!$0`%v3Aaid8tz zy;7epW}34xP*yAf6`p?zsBE1%yDQjF4qy-5xpU3|oZHf40a?mNtlS8YoPh?Me91Yt zeVFB(_nBd4V|nDttTTf+^EtVPYGpsL8Q2I)zXYZI!A95$OIhGr&%$y*GMrkrTw}8! zvqlDu_#O$LTQW@>elUF9vA&1z7D~DE?y>I-CZKgS@UT^JHSmA1ebgPvLo4|L@ol7) zZb>Vh{g1=iaJ7()=8BuycO!+qRHLPp52^ekq4Y}{>Q>WGFP|XFuC!6>j>J9wAXmjc z|JaRugZ5*gT-pYBwGouv8GNo4-C(z(P7kVmTA9hI2fkHwe$%kymkiw7r-E`VTVEyI zu7YsS*0b9mG)R9w627ox)IK~te5)95XE5!J>n+vl6HeEr>#;a3C5l1*VCUBzNBXRB z6@)Y2mm}P>q2Jicg{5s-Fq`RCXCbI(C*E1!>d*EvU0EeOud+LC3X&V|^TSd-B&=2s ziQ*yk%agVqP3+upEnwDNQf(E5`U-4w0X`C(xMZ7AZUlc$k1Oi-XRB;kS8!r0=;Dt` z?BbH0MzaxqIqRK@wn75;7!CQ&82M%Ex1jvC!_TO;BYa8`^tPr>^xFVp5Zm~Khz_Ix z>QES=w()V8-1e!hsj}0?E4YIDe0r(H+e*D1Auka?<%8RnMNkp0^E9oOYTFjU%576H zr4bgcw$6XS*|~Ka2#Y}i|7N&5$3m`(j+TS1{1NB z+9-ech@=`3)H{F$pjF{W1X}?+AfIl_*;?3jrJ$xTi04WKU-;)>24WNGDSt zT$jXG2+)3ESHz>q)@jrUHy?>Mkgd{{b83I4FkZuojHT9)56#X7P418S-0~`57Fb)< zC|&D_GwKJAuUMc)7?5_|GDUMv2SW;~=jVD_L>@2%-SntyE*kVUp8UCtoZEm`owE3KDUCDp; zvc8i7wcJK*9qLP9xoU$W8m-GK)F8A#lT68iyin?3NEZ3^5PI;P2__LJg5bz-K$-A{ z2u*M(a4#gPvNz;%11g0#6f(V``AHu<65(l(vs36*v$l<#;YnBqV9fZMia;rYL@_EW ziXoC(d|M_^U^W;@JV{r0vO^2L2#|mKr~U6}QDRZx5w!ud*`!uQ^xRsJ{O_H~M>|i@ z(uniq>B+ay2zofwZI2FsPw)-6Wg@(;fN?Iy{46uX zeQGhPAc&aAK@9K#@8*1={ z6YHk8O54hmSHEn9N%LHPVKmRomx!BV-WGIj4r%~wqRciOyrtk46J=|8yTeJGBU=?| z`;ppgk!cSXF)?!1QEEvku&1<5aUP3~3&SAq1n21`&*Ky&EA&F6KoWl?$kZ{zb`h5m zByTP~<({-WgQ40fvQ&w=QVe`6onot|Y{9o!?PxQ|3~fx8+ZugM5OJ&0=Ey2w=AZu` z@ek;#xq+_wuQEf=%{`Sqe5StW71_P9Qah?Ma4CeU3hXD5PCMEUq{0ZPJ*+X3R?<8? zM%SjlVKeaNcUFuK^wAfU;TN@jh{1~I4LE7GWH=HQ}0vhF!G zQ)t?x>PYjEg6C(M0q#>vN$O(NMo|*1<{o45pA9Y<7DJVJ6Ql?PbIgRKvMryTmp7W8 zr%hktI5SV1xjZ^Y)SIajuVPu9I-ClZBN#QR(pf5Br6P}L)|`K4Al$iZ7yLZx62fUN z?i+M>$up;#9l1oBH?mJ%a&BslNY=~vVp&+(NGI=S+C`(elnuK=USVvmY^b@_#F?h5 zU~NitJ@vU-$bD)tb)hY+bzG41jot{XmKcp(n}~77aADAD+V(rdn&!h29au;-iQ0Nx zlgDoeZ1WgqCY*n^TQ+D!jLQm2(aes{Qej91TD7O#1E?ue?kd17S?wdWtt(5h8p9)d z4ve>68p@$PX$WmTss4%;RW594+V*2Kr;RgZaI87e({`J)Jm$$@d7SLh##FjQG^sQi zs2ss{U9R6MDvKm7M67fB(d>ml4%|JKE4A}QX3=LST<6ZuX(*}smcuXa?ZG!#?~;X!n0+ki{*-W)c`b0ptrMLWk_>az~!Ici?=ZpFS1 z3&Z)Fq;4_(M0zqJMHc55&3P#RcS6+XJlw^YrB0Wh4$m5LEBxM>GzLqD+9h!$@A! zrhd?o9^&ys6^J{|5M3k;Ve80UZaE!F7{GmUG;)rtq1vuuIngJ((@efN+LC(2mPc4B zblrcPmd_iD>o8QlFbx%*V}!U*EfyvSBkv>?q!;^`tk824`iEUG{VV)_TcjY`6gfIt zuQAcFbGm$f9ti>086(P<$7ya~Ux9aPdJTmp`Ei@(Zq9K*(Lc1hRoZ$r_@CD8RI0?A z8Y$osON6z)c~d`CrSEW(GHIg1BoWXQny!CTN6v0=lO z=gC`7kEJk!v#I3~6oaPR7)vnp;1se6EYnbKDyY7z=z$GUYJAZFzrUPjz{h-`Y8Zb- z=zN-$u1@_x4^*U}R|0&h4%hQV%5w7&>o6bAky!5MBRsPaE~VVL3tz5Rdk%(~*4qHi5LgJJs1R{4B-f$zXT_O(^+3~pam z!^^7~K2h8%@iutwnZ%Q?W`oi2;`zzz^s4+;4$Dz_Q;y3?IW1@9-T(5!_J=T?Oy9d~z1`E#=-$!p>w|w|W>obs zs*zEAxk1OLVN}FkMxU22%AInz+$#^tSLK`XuskZ?mhZ~<<#BmZo|Yc~igN(tE5d;j zl;4JbR^_)*`E7hRDKE>b^6Kx~tLg?Y`oHpb!08&0x*6V70M{7W+w!)W498yyyJ__& zP)>*60ma$Xq^ioIPiVgREB>uv&HlyPpAD!+O>N_8Z|ioWnN;)RL;z(6mvB>!9+>*~#e} zRJo&9eYT}ljfx2msGPn}<(?si4?;622cz37WdFRHp`~4nudfH?!bdfo&UNT&4BB%EWV69tIhzazc-slyqy>j3oeo_;p#5>=I;8unt(KJ8gGs7mC`b( z$BRhj_ec51T{WEzVL9y0uZO(2#;;FDxT+rSzU<%iTK@fD@8EyU{$~<-Pwdo&V`mKE zX(VoYC0@(%Jc*`4SSjuij*}J$%Z#t(!k<6i{pHtPV!X$swPsz92J%o7S7zMyFm83u zxX2mbAr*fK01Ps%945WGrMT6OS7t4DeDdNDY#W)iJ?^WvYb_qi1jR~H4*hnWTgXk1 zEX`W(`QxkO-JO3!WY2Z8r)u_O)K8+sLHDu;JhfR_%LSjkK6$mfhphByrK$rb{-)1U zu;N#iRHq-i#~{sGo@jsXV1MsDavpl@(arNr@id&fUe5O@uAHVw+n6N90?sU(yz)N( zUgw;DE!yu|&T8-A)9LOwKj$$_+B`8hgR#vWe?8_{I2CQcR#&({dphx{oE&h z*xo&hj(&e}4T~|hVHiy1arwFF-)_JbDo;L}Lv{^=$z=T3*Yi&pL@6XEfyV0nEymeGv!*U^I9ZvDPPeVvwhc__6w7Q_o68C$Y)sDuO z!;8V_W<0CA<4JivxSh_%<@NC9Zd%?zQjHg}b+UiCA{f=A`U>gj^>75MncYopAZZ=( zitcV8Ii5@hqqYp!^8S0D-oHA1O)~6GQ4|<(#GjKhxSx*l2_$Iy{r~M`c-;=;b}fhf z=J@63<1=EXZ^H;C7_lUUxwQ}KDKxU*VP~q(8fz$U_+&{`%y-fMC#B zty1J3tQ{b~?Fx@u&*`4-9en%+`8w?_764xwUt0FSiOblMvc(o2&e_5ra(rZ|fC~j( zCD$e^;mvi2{O6naeE)viY}4Br%iYaaAi94TPpZypqFc-N9ln0|e(x1Q*%PnPWHde@ z!si%qVKLUR8sy?E9t=89|QlF}&<7efqUr;L-8P+YcwiYj-4*VDFB8niPM3 zl~uZs@fuq4v}T2Z`8`pLIcxK>mh*bMfAZ?>5%JRPyfCk__~WgHf7e#!yu=nS&aEJ~ zxE3#KIjol-5BJ|511~R*dY^}Zof#zxr49aWaOR1PTL?{YO(k?XXXZ_tkM;J+Z+iWt*!W4*}EN zozLhH2VtHUgK0%yvtN2<*#ZFrB!7W_e>j=W@a{zfwLBc817Lcq{5bqNyPDFkF0Xz2 z#V3i2w-1ZAm%4R(+1x(;*e%@t{{gzdQ~#GC7zJM|IWRdfG%zwUI4v+VConK4DGD!5 zZ)8MabY&nYL^?7sF*7hZFgY5gi5)OQORuUAYRsz-~u^!%^cJ<$tEI1IzfHDm!2PP%3 z6u8Pjfg}Is;T%J6=mEirj^MbTZIXD&77_OK zq$={cVW$ChM{pwZ*rxHUw}_~>(|S^j3_BEbec5ln$V6m$IU1Lvm0{~HTXxiDG#TD- z8d2d!II(g3e#Aa>Oe%cqQn+^Y^PsGqvo2UIl{e!OCvx2Tzb-J0L<-e@+bJn%MKVJIE?FHLH`z_{WDo33qb}3~E4@|P3v~1< z?E^+`D(wd*^tpX6F#SX605J1if9W8C_VQ~TLNIV$=`ey@JxWIqOny^3ir{&DF85IBG+g1H(iyn> zca;X=Cd>cHA-I>#N@w9db}OBOEA=a#hx>C!=>np3i@s%sWD(Uj8KQ=aFZ~0s7-@S7 rWo~41baG{3Z3<;>WN%_>3UhQ}a&&ldWo8O9Gc`FdG72RnMNdWwsrncW delta 23766 zcmV(jK=!|)#uTi;6p$qWGLsQSD1W^f*^b<}@qNCcAJu@H7DZ8qjUaK1wbvVGu^SJP zhxG#CNStZeI(l_@JU~7^Rji^~>X9+QCdf;REEcPZb(0Ong>vH!?@Zn(?ZL>e9Fbdx6qa=9!j3#EluYU}x{XquJ zUIwQcM;1nnZ4q;{C81U=ecyindjIS755PCsNhxxzBjg+DNTi|OB_i@%Af}hyq}*C}gQfBfUE)IJVNB*+I%k2k+Xw zlEK(_Ktu-RRE$;E5}9n5i+?wReO%JPfG9agSR2PVYKwX*Eloh7GC<+nh9gKy!vc36t^0iT^p0jEQpnhWOfgQT_WSSqYMhnDT%E7E z&6WV@bi@Kxkp-oN<7ilT$Ha$YH`OKK+&C28*_et{f?wuRt`v}v0!-bZ36)a8eKj6& z6bHuH{DHu9Jk#FUfqzz=a$sR}?&C(t>fz*k$P&`v3@&Dt7$7mR{KwIGTMi8C8ifvn z33Z7er1{7FAqGOPybuUqo4F^Tb1wKgH6fY%nKI&;v*#k^j#;&(?T68{CBd7nXWoW1 z*i9p0lCR@d@^!CY1i9mRKZki?S{l@3sqXWZw;io>2Az=(;eR_=4>1r>s$lAMpz_`KCG8?GyAQ4u5*up~=?GkGZJU(28a zZevy85afPTMzj_=jCfDSChMJ_;5kt`R}O5$L0Amp51iiZu^SJN>7Q_?f z99I}j7^tvA6lNlkYVC$DA;emFg`mU7Iu0-ub|Z};jH+V9bc~2+eeL?We7fu-I$-vvlPZ9?gsH)Wr6 zs0$ZB9aB+r&g0fEG=reBBkFB8GPQ~&zOyY5su_AjGMI+GaJV80G;ka0C~9kZ3M)gw zc7lcocG1?>w1r*Anf8qk<(5!$)Z>6YPU@+_Uw?MKo)(;T;CoIAU^`n^C3TM4XP?jq zD2^5ll?xV(0Hu*Xt>1M{V+-=5U%ExT_Km5lf$I)3^n{)HQ0j`gQ{Sr5cth8shioWp zS@DqCWd;rvg|WHyJp^Iwvp7KW$dJnq>^*luDfpBOSRXfDSCSt_|V(zJCz$ec^3yng;mJJI+@cydz{nhKhFxf5-SM zcskxPzU&i)`ZG6}Z8q;1P*c*JyFIjt^&Mti)5tY^u9@^_z3u9nT%hs|Y2!)=Fm)lU zlbPv@jY0+`Db2umTIihbH(wtMmxe;gxpG}Q+4|;CTS^fuo%axA#)>wLKP%jx&VTd{ zOmJ0xuoVG^3|@MFk@3@#EFy0$PP{t%BXL$rSc}6p|M9(pAhFI0kY*oxpo3biedA%F4{ktY7FLHO8z4_!0V*QY~wMkI@{RCCTb)n;)` zWNS6>h2Z(raZc;I+PAs`-y2*MrfGi&43Nd$l;#Ijc`wd^i{mB#>Yoe zaPDNb)r%K@zy=}==d(Ry+VNsf2I)^~zsF_uRfr7FdAF#K8(Pd$p`v-a7k^$aFd{I^ zEECguOb2X{(3=sQQq8w#&ZkinL3@Qd#nD-h>Ac9=qZwUhVQ@ROi^rkWxup(;RMG$I z;5E^@emL2U@W@3P&p}AH_2n@>P37I(uRlIYnu_>*t0~})|KXv1{u;jT`DXTwBPbE( z@~Ix-^<%l3P<*CY? zV+&}6fjFe1c)ktf!2@nu$$1vI`ZW@et#?Vr1 zrYVTCEQhNb#HdU&pQaS2slV^@_&;wmxK(nU#c>RD+mKwuP${^or%QalRB>E{m4#=$_hr z8x8C#KGyu4>g0A3(ZoHc!W5rV&j-VBBLb$S37~W>zf35Zihm3QIpiWvIQ-oMrGlHi zE#3Vehy3P7H$0b|vF+{f&1j$nS4(y5dm?(gfQD%5Ez@X7i;J!Fvd8y8$E9LiY)5N+ zY>3k+_z4Qf;Q3qUr+{+X)3YQ;hUWVWnBUbC1fVH_BbyTUcq!>Ym3SjiQXg+%u#iuz zyx)JlMqEIf7M%CZyPrje)q3X z-z1=7c)zshLpIqgb^`?1tWhk`7Fb1AY&Evz9Z5;^@Ao^L8EH78DA{u0?n5JML>}^d zJm)(XPWj+^zz2W3;LYb>E-zlZF>)XT3kIK;9|ukjoZyTrH@LhS{4&%`n9*1WX@>8Y zx3ksgx66OLc;g3we+4To&ESKvl*~F`Pk6nl=8NmmSQ4rD6 zDLwpzG2i34b;Al`>*4do$5}O7OygHEoUiJ~(@9m$XIJ%?qWDch+>)v z>t+3DeKQinM%bjf-rUU=wDx*cKU#jQhtEFK(^>VknbqBNf3t(-VzsU|)Ah1q1OVwA zF|)PKmp3%f@!`kKV!EC$7d1*&bYL=`NhL5d&Zrl8wOkwkRR<<;1kLE#AM0u|jr+zT z>zmoCS+9bE5k4_ovC&vdHGFxyBK2(;ZdUP!tNPn~QBPT7dR0IAeRFjkF>y5}G-{RE zx|Eg~o!|PufA{xp6yrg)!|AlV9Dcc(*XO@or`4tYV>P*(MQF#$JI1+a5H_`xNp4?4 z0#bQ0q?TzTI@?l84L@ww^oJgPnZsJ*qsgNAtUk;EJDCN2ji$4?BON}_mWPBQ&4d|c zwq`gBYKz&s{q4ZX6nv%`Fj?2DL_A39Y;o0Wk*qoHe`h*fZfXOrhkRUC^)I!pF4v8D z&nLI_^CfMzG49o5y{RT-o3#axrNCZ-0nC<3t-FRCVDU7o_0?7V44%1+D_uor47|3f z(4L|X*wXE7T=h%smp(NzSZgC|QZ)-zn?}aRYI)ZHsk^pkB@05Ohuk>lZj)~K>BZ&r zvbKQRf7R>R^mfH=Z!%UOq+;HhR^AWIlBT;Pb9U=`Q^^1H^W=7ZbxF3hFA(+`;2kDq zgfBOf9~R!-}vAPkHLIQ1wZ%_2i-+dlQiRY z@UM%1CbO9cVPJ(}Uf7Zdj8;s-5c?v8LKuSZb7YVb$EWwSh*2@I8LgP%8lnQ2sdbe! zOwi$U!bI(%b!elXK97tY(s|6+WUXIEUW0=6&0Q$NwAFtCbKe?HY8Dc_C7gkIDyEb# zf58fWP+Fz1CN|j0GQl9)HBA4uF;*B43l1w#Qo^i-Z8IGj@aK`k4C9dRm`7aQJx&4e zuweLw#b%p~=BIol5zg*KlGl^<1Rpv7v6eYgaG$Mi-eZ5dgi~OWhZH6uaxlTkMT63> zT*(Yjz|n{rsb=8s4N_Wo{HwsEyT?7ke_>vN#b7VO7m(u22wRG|Da{c6@)VpL*4IUQ z@(B0Zq(Ip$P!<`4>9XMK=^=Brnz?}0;RPz3bxMt-?%KysNuP2`38IEM42s7T9_cZG zAyMo+?m@z_KTI=-yxgg>hvRsSD;?B8( zNKF!6d7I5P45BOQx*`L3xR^See{LX1qjEJzQUw#MhP`wH36~+WKSKs-aeR7Di~V%N zL4mE)x#~}C?;>cN2g{{$GecJ)33gF{+p$hE!ftkiQ* zOXFRgoS0&^K@Hlvf4zOUxH7RE(WrF1I;otH0cL|mD9tkEuGrCXVk@h={1cTE`jm1a zt$&k>jk+$Nif)Z~m8lU?Z!=D4$k-)2qeRq5;}r5%5=E>L*L+!xq#Rzaa$RE`;`pQ# z{QIJJ3()k_ebY~;-?sg9KU{xbk81C^w#7ikUvNe;vVHHAe^PqYPWC&_lSSqXDAzYz zPM9z5H<=E$lyEE4yKq@7o7;=_nq|3JV|IHf!C?Xts0hSS8QRSXnIRPVYnw(K;Szl! zm*_s1r0~doBUK#a$rjJCZHvsuxo5sF$~2>JbPA!C^bJCvQ)McoWdv|10ohsJV_1HzO=G-=T=5gcI?}z?ft=FcjBooV-s9WMsnh!p>KNN*()=VSOU}5FNfxlqb&BER z3e~MLnu&4;@@S`6BF}{&6B!nAIs>_U%3J*mz_8=^Zn@}$Lz0#%j?p74d zGY`Cif7o3R=x&KS&pD(v53F!cyC)KbrodJ?>aPY}?f}7g`6)=rfDk9$W02bGe9-ng zgXCzeH4?ZSG&t$qizx3hwoO+^TkL+!h|tIxeZLk-t1Z3rj_d5(C!OQ@DJy~dkkIbF z5DDUphZa&sMpSU&|xtIe&bM9GI(z~k8MXiMaM?vB!r|| zQI^MkQ|H~yCqUxSiHs{oF$T@iQp6&LnQ4n@W}!!yzu!}rhOVY)kWe`E1OrJ{<;l#GmmXT( zRkZrY6-}?tudklHw3Q=Hb6s8ER-9YHxvI34L~>hQ-&C(BZz$u_x7WWud&yW&))3|t z)C8HoMFAyx0)J6O5@@18|1d|G;NAB>#_x6i1VxnCo$xAML1r2(mz}_WlLlUC;*79f zKoFr#HDg3N8KoBOreF(W#A;jh`WQqXDoY{hA%9#|e_Z{i;4UHX-ar*4jPnC` z{n3gAtwNEdz)4a@x^ zgn}Fcn22np#{2@PsLb7xohXDQPzP0jSLt}@%PDu0_2#G5>iTmbDikFKzSeN50Nx{~ zOV~rlqJN@Og+O!en+1g$1cg45KuK;@w?&6Ct}b;bL+nr&94f{f${pdjjur?bE-rH@ zCkj|Gr6r&<5wkyvq3}b>$;@|_=v^wcQ-s&&6lL3IFV^wh zW`BVnlhysUQ0o|R!&(P@J)R*(@9O)i{oP-xz-t=GCo3f(E=H>zSBMOj!;z89P8T>* zGI3^K@TCzu&NRQTrW$!$U>k&uMp;)9SugcPY=fwB=nT9nE>rnjzG!BxH5d>mlvh+z(PN>s?p z=$wfVNM03V>EPe)=S{nQC;+TAVU$(U^SK$#XjEKf)fm8?E{RGg&DS7&Q52s9nIU&@ z3n?vOCph>N$N+=E0Q9)TK~+3>dAmy8BKO^ZQ+N$UQ?VdD13*Hh`T+0f>5QRen14Lq z%$vnju*v<>mq?=~^G`Lr72Yn^4H_I(FWU6?RB#9e`S*2mcSvp&Cvt)od{>>phtf@M z*Q?dqQ{_khGkj#TaveXZw^8_M>+j;68opyvFmEA+IT2D-0yTq; zj|8Vs=Sqc&B$N#t63+a|L-k9uZGYq8ITRX0joe+YT}O)^=I=cW36|~CW*Kd7@8@m& zY#v|sg~fEzxATX3^*KpBKCbFTs8LbDV%{|C5P8w*7L8I2gm{6croP2*0YyMHzMD7U zl=#QvX8ECBKW*b*??PbU+ay{y@wN3X6`IC4A=4Rr5d9n!F4`xMX?VYgwSVv?eYM36 zxACX#{RU25KiwtW>t^-2)4tv&{rd|nx80W>qj1b7ltdqHeH(qS&hPF*Br7y|+xS{H zi}k}JuzH76eT8Qee{afn-6MpC$BA%Ac(ZNSn@;CVy;&~WcwL@A5doCLS&chPr2DaT z{^|K8RDQ#;p98x);lOQ$@RlyFc^JNLTKT$_I>>5cD+g8C6H@B zqNK3G&+nI;B`FlK)KPN^x=2kxQ^;YfLn#pyv;wjnD-xhXH`3-^Wj@QXqvu|yf2t#fkwm;jASZ=gkcJX(HHr^jmGUQ^FNlrE93 z?XsCcbDA0Nz;##a=W&fJ-6su}~>!Qg^!!AO_gf)$Q~BJKKn zkqb_<*=f9xhG<3deSei=#c9g-I?j#uqf7uuu8)sX9Id4=?8GQ!h{kL`RKcmi%x^Bz z0W;3{`Ou8R#R!@k6*9|)oDRS}-}C8BBmxu+Pbv@budKHiG7Fl7(&WW_UE@bauYW(b zXG~uX)8l@+IyrtVaHID>eL7a-QE4$#E1fgyybHhl@(w^ByMO%4sYSsFy~NLfi$5H> zew;^hv2rxN2^PBLxx`fv;U=j=@++aMg9vf{sMLqM*X7xI;I`tFup4ICjs|yHy z9joVc2u+5ugMTL&*#wp;c|$2Zbdm{VokUp2!o#MV0vQQe@6R;NzgRc7tK|2=3}$3l zKykmoarUAa%ovnd5md=;7yN1+ldOOmh9cBtgLVhblv-tBHCW_&FC@GFUQm@!rq>Bw z+Ankz9h1t!p!~#yp+98~H9*38ISPnW7;*4e>a#m7) zn3V%7Rp0UZg#$E6Kjw>=H%uT!Jx`lVQw}T9!ar*e>`RjU$HQRsrNj(*@-T!fg6#}E zZP+c2w12Oisy?3k=T`$0{Vt>2zPdvD%2meP(yGk%H&oIRk@?kX&n4ZWNMvr47M%~# zEX5ox;^@MGJE6d5nCvZ5JiL_A^-Bk1Ji3aEuP;vK=T220-E;C&ot2-ake}HygeZ+1 zfT*;42woTX4GoUu-=>kzr-rwM8Fa?{!(x9k-+#Z^R9)wfbKin(3cZ8hy-|B2C(r~b z-;jWatl%CObn%R<64gy%Hoe7Ao=^zIe)>>G(*o;|}H61x10 z_J0w!`0Td4k5J!g`=K%#%NiT-p~tZQq`1^CXa8})%3BL2U04t?YY88JqJ>rt?VK1L z^%&X%RWaWJGd4Er@$mf73u<=Rr01(`e&Y8q=z*a)7{U7SLS2$Dour8N6cXs7dUftlz!Pqp*9y&hP&(;sRS!>sPL*x$7;WXClvnK;e4uf zdVtvdH{oFA#F$2Eh9$n(YhWh(4Q~H`oI@{wgIl4uTcH8;lMggD3NK7$ZfA68G9WiL zF_*AW1Qi50HZ(Jrv7Q7ef42oxlwB7#Od}!Phz!y_bT>#Sor1&w0}Ko^Fbpu1bP7mF zH%JK5UD7EbA&qp3fixm~s877_`~Pcw-@4bD``&wBd!KWieeJW>urlfB^D5ZFt-%lB zFeI-4A5apYq^Tz$2mk_w_<%q`d{$Ni2oehZ%Z<-!1V*?);4sPme*h>Uz#!zUPZ@-~ z#c9G}01bC2KtKo}ASx*!CJ6)r1c5+_zkzUsBtRMD0kH*W@&Pp9Ft8gws}kJB3jwir zK;AC%_a}hEh7%wlAtA=|I~}0l3`Rg~KrnzN2K zT_pMWJv}}7K+bM_e{h7oEGG}Z6M}RA=z-n92oJC=;1^+l7RVX=hZ!F}E5N`3;`Ya{ z54S^lf)HT9tpf_N0mIyGGu&aeUw@YmS@1o#C0Dfd_Q zuR;*m?_`jT4cyrU1oMKx>;ZNVC>Wsq@G&0}h2#N%V79-2e;}wE{5But0fIn5*0+G) zI|l(CD(C`0w*>#9=VpU|xFFs5+#t|j6#0LZxjkhSn5`1r*%=H&y5axYpE3jiwz)la zFaAHBb%Mb?VLpEub`Y4Y-7gZh?k@a>Fo>%=SY7!q$gKJu)8Gz_Ji1gZ(sO6ZXgdZ0Euu1`}zE5;J+<= z0Rez5#0Ckl2HQhm`2SYFb%X8x*tg9`Ku`cP;H~xq0Ki|*KVRmz^0I})pkDvNfA^Q) zSX0&1K!y7c<9}j`if|ObhgV1#z$+*s0FV$D2Z)IPe*u2~UF9GCe{=us)d4~N+8glS zg6c3kI6&eLh1;|Hn})|r^w1p&{T=4`9smD?LCz4U*I$5JCA%YUr$Q5cI~%b7g&KqZOtL1}7UJ&w zzfpB0f9Q5P6kztye~uC2_7H*s+v-4&HV%Iz^mi9-%R?bBunyb}^6Rbv@CpEd{}a2N zHyfwh`^4?GSHDBx+j08uB~@THaNA#VCnzEc03i?{FMQywyaYu=06qe@18NIK{Z=-B zpAQB{-lhO<>G=Wd;0XL*9TgP;@GJas{jmW2fBF!6XV5YU44xLoiLlxJ2Y5xUERfrbn?m1J$qGAwSA?FBVjXJy4#ha zj|i?xCwXHGqn`#APqXG(XMLb~fP>^^f4IX%_6G@`t#_O7PSQDVx|Nf;jC{<8Y?LE?_$l?ZamrvkQ;5Ne^{-E z9)ZMG*JVzv_bx66WsM0}xSj)LQY|B_Md9T=7iOS9of;FJdnmF~ZkI-KkXHuSqI@Bnw~Dh={%B2+Kb*F7G}X zeS7rPynq)d%~xu#uSiU&1${|wnynr8`0G?&tO&h@L|qTXwPf+57A|bxe=iU5gF z$R@0fd<-hto9ekGm!10pf%-;O=zcE-B#SyfmV%CKfeyX1KK}mF&Nv?gJwK1+BwvP6 zhT4ntKf?@49{h@ie-V6-e_ld0$RQy5+4$$9X-;V&{Rx`8p|%}m7#cljGt`goyK+50 z>0qS~-H`TV7sz!BJhISI_9$qG&L+v^Q|+zOhqa+hzkYd@K;=D^@q;f*|9PV3F(YT# zqV!N>^cRnxI#Uh-%+dnt%-WV)Zp*J)dj}t$*}GTuY<#A&UUgjLe@5bjo!=xTj|{*XblZ2W1f7VeuPqQm>uaz^PT zlhmlm3={Ad8+sQ=(eNX}t~BDk6tSglIo(t?stjR_Uen%b&Xns{+;ox7y1ne=5~6E! z>S8$gAn`4BE$Z^>*uAKYEeK?)q$X7X5?dtE4$8IGgg*jzB^WFu2e_n{{E6_fb?fJN&ksV#D zki(fhmRc5W){BSJ`i3H%!7#E%<|nq-*BBa+6H1qt-)D*NBrRO(4~86i{3v1uSb!OZJRbDPbz?JHv68<_G*kke_FqdBopeYS#WuqeoL{MbpA&bV z(R9_r@Hl-P+NR^n%4syvMCAOfWwtDffs9Ostqp{~fAfawSR=N_Ej7fFphq>@ z;<(tFe}xZS<`C{v=E^Tst~(?-X56RhoIuO4s+q;DlZ8IC_B2aS|;DJ|n=OSqk%eeEotO?OURx zfA)1f|A^I@eDKax&Q$CcB^u?Ba8qnunFc;lh$7+hkwKQSC!h~iYLs{i@&5KeDs|nL zv`5k(rEpSyc=$?x7R8-bo!^v4#<-eL;dE@!RcxNmaoku>grK z5xqHHvn~#m@&g48CLuRTY%rHX{{B+I2qCuVb?KmrTbLr7Hkom(~dt zavr_pPqfCkHB$OFD#`mq*>YJ9GJeEK6L^vBGrJIFoZVuS#(oQiSEp`iSwUZux->VKR({>owP#8!{uWggHC?=Ee$eD`s;-bf8 zS9eA>O;t$RYB7IJ2`YH`c#3`-q=(AwVG6ynWop+WK!2IxACX?qb(o72f7r1pv7Jk; zU(u&*OYSt+LziI9Qgvx`I1pB9flLM=U6KuW{MDV0kmhwC=--&s(!c(rxrDv_~W;C(q=Nhs;i;7{f zlgUy5&^Fa;i>UD_ys{-s*x*T=l>ctdJ=YN59;LKM?A?3M31+dEC&B(<&avs59x1O+^JGCs3}z zhJ=P_=A431X)$FWO-!tY*J@y%1*@`L(_;m9pJAWMf44T2&8;_jjIct~gsIn_8D={k zZkFgtx)~A(;|Q^xk4=G3!x_(tEkh4p!Uc&oq?cPu@h~E)?+x7TBF4BMj?#=%@36pc zKQ1?8u~jzMH=QB5Ae`)R>}^~PN`&}o^X;fecv|aYw7B&t;(Eue&7=?3G1aFF+JD1% zHFHHFe_BGax;Sc$YlBE-Z2rC&Z%ijZLU^vPifr9{SNSGRqO_&~L{!1@PireSMZp=iKwm@!QMHggXyC?iuw17$YBj zf1BeY!F|g9B>%KO_SiHiDu+CVAu?jdcbiOt4L7sBkLaTvLX3E=Awak78LW{P@K_{L zmu%}ZzgZMU`#l=7#Gn9eJ$G<1^_A?FYVSBfp*PxPrK8TfN*+h!oxqn=dJ7fqVs)-} z4_eP1ouT+)QRzZCOiSNrB@hWApXg#Be|UQ&R_?vxOf@1bbhS2EB^QQi3=@qcU)*K1Z+VN0jSe-uf_oJHjLP9At$m=&>MhgDQeudP?k?R( zsUfPTnsPc^w=@#&;rwy4mYVhCqNg>dc9O#Ujf{?xU&z&xrQp)QwA0TM3UanjfBhH) zds5(PRk7Iw>_YYA^XPVY(X{ZpG!L_Vtmxjv;h8$v#|HSIs=-D4b^5J- z4A7TiR|(Y*?yT;EU0oCDy`65owK1g1-XDNHSJSdZLJgic{x-7>Vv(ndl+VBL6sG4um zQ)`v_r&4vi)0P)`*|U%CYRr2a;zZ+GVzmGd;uU^%>iY!tQoD&jO*=ZDf4PJo4}}=; z5@Uk(J=I_?e#+Ir&$ySLj=fGcL3Xc#14=R#gyd9CWBK$*aukWsSFpDNQ?PBu4Slu0 zmvA>5GO*MkCS>NrBjYOQVR1j}c0{a3k_vcM*Z8NuSsSk)qs+vM@ zgWs&2Wyag5gt^H0giToze-EYsr`1MfIo{Q|8@Eptdi!P=jMQxyscUXj+HtKEgot)i z;*QwtR4iCXr)27hjC$~TR&Z@;63@MexHw7{2r|kqB7}s?ZRQ7QDB6YQ(q?^P&?~~g zh4^f$G1mz@5O9Q|=hEBvJ!``kf6F@)JG&p+K1v~f&f#~EL30(ke@$hOiDN*ZnUWcz zQ(hfp_0?rMBG1Y@+UJ@*BQpX;82OcwJ3Rsa9kuiqY2<8zgjV`|*T@P~U5z1k*)6L_ z=Bpc+xN2m51dICA|CNBoSm|r7nAxh1*N@H88hc~hxNPiCOLdmQp#v16VYjKx=HI1 zzrUZ`xz}h``e%+sKM8@z&+Wj@O}F{fh+dpCckIaRW9pqMf46}G)w^C1PhU|heb+$C z2%hNWTnU2$Q|jxO@E4|(9!jNpX6Z=DC*YXe_S|vU!0BLnj&2jHV$=}WyvMD zXXwMg8{JSc5u_MNe+0;h4x@8j$W6<~2U%&4__}UH+NNUXeOwz8+M~mq>S zoz&F3Y~;0yreCcjd@Uuqt$FF&m(yea?0dl36M%cESvB-K2fS_m24_0Zo-PflLVVzv z*x1xHe-pwT5bf`BY`aiv0;PDNY~s#Hk)N$f(0t!oP!j`Oes?R93p_h}z5>x(G(m|s zE9|DI!1T$Ip6XHN;pBRys7$R92WE6*rgaC?JC0u&NC?n;)k!QyR5r{Xn;ZD{PPhZp zyjP7iqx5%Vs^Stck6`rZ%XGn$P8k;&*S#@!f56i*Ji9TyAI=#S3T7T=%{kTaTR%P7 z*sbwUUq0I&!e}JG%+n?NNOqKku3SC6fAquY+$}lZLAD{?Dl|R^6!TiAisP9ht4>8& z)8LRSF@C+OF*NCM;Dj7TT2}aG{kMyvQ>^9q*KA!;4(=ytZ0+|I(8E|rqJv_lSubNH ze{7!W5I#`lc<_<1Z@u*5=Sh9o+5z@ZXBS1%Bng^#DAv8`oD}W{iJJlRO%w}F!KFs) zYEfwkCkwRoF#@U!IcI99sP!krZF>eaqmyMr=x%YmJudpuIAvW*wKch}lK4TG5)vq| z4UW0ql#jPkHD-8=oR@Zs{tVwX_o@N2f7O-MgE>GTUcXa(rjwvThU^yGyVPgM^eFXWu6sax}28sn9m%nd{%s? z-|r$j6Y;HR4hQ`svUgAGUcdyle;feBFz<;)uwK?`05j~ud6VL!b`{3;d>D;qx2Lu{ zm)5{JkrNuqCMqlK#;9PrOX7`Mx2t%S;LxjaQlZ2AvG3n!{Xb+J=Lhoz>Zjvy4^qps z5w}OhKkc0`@656`Uddz1*ZNrKGEWKW`2tL^d(j4cu?%aS!dFp_A*^%3f8A9=NFG)l zF_3OeALx=`$rNm&#qUzAk7OCw(_>PJ``nLrRx+GxlxoyPUej-6nN>uYu9T9II`*g6 z`98ta6=odVR+6SP1&_~tp@wg6T`C9MXW`CBC`qSKz^QxK(Kdr$a#Hg)nrXJ0V-=6^ z;Q5A6-?cbTp>zwou}`UJf6ECmLqy!qroPV^&Ov(|tW=Ew1SJRU{`dLIVhp8=njSE} zC$|#ai}C_AvI?(EAj%%wE)PCRypzPhCxf{*g?%_1o6UQba3t1oaHuClBBh`mCC(ca zs&i$f)aM!D+@Hhci8uOen;H!(5HhbcsC6;iZll%=<4zCTbgU)7fBwp1+BFe$U5+X2 zr5gA?*gx_B;I51#H1v&0$WPL}c=6*2=98krY^}M6mbI=(S;u{b_`o}B-Qp2!jTfQr zXjPVlyFy#a0w*^QRdSX(yGNEj6d8&$e0%UJs*WkGyMA)*CK#^&$K`k5if4F(!P!5($M=AMS))vQwqcEL?mPSQtrB!#u=^Ear!pQy7s|6S7 zip|_*!KA1qZqOH${@yNam(d;mVJS&fiF!YkhM1+&=t?PnXYkZ~<39ReQRj!Mg*k9f zEMqdNKyte#Ci9ysZzm%?eQh#fsAhSOWmQG-(aznsBs;2Wf2k*D*unjbKc+!>87V0| zj=QKU8a85GyghmSMw_5HNix}IPWu&^QAz5%GAvLU<}$U(=8yj7x>R+{@Y#=yRL8pZ zXF2e*FQtu~>Th zrkRT{Ddv|IC2F`18V%O;?pR~7)*cw{x?hDypZithe|K!vMbT^byA*wZ?s(FbKb}EL z$iM}@UU{L;A^MyOJx08Xq6}@Dq{n;JX~)H=OgQ&?TA!nzc!F;XU(@(?Xa}lu2SD{Q zDWuV6dsT0>?aEZVhM)YN7cRMn(>{FT#)fWF;l~vD_LQzh!a$rMU+J5*A8B;uO3*mV zr)MHGe|bRmW6Leljf%cJ+=HBhYm|`I(;w`PMM!u>L0Kb!qG*=YKoaMgoap%4?n9HP zhs&oBswb>ApE$q#_2vFY_~Oh zs*i?-uyZ=dSG#W(v1V;&0zCtl2To*pcm+dBmAT=AM;zSbD$v#=J!b^>)s;dNEJ{W}tScgRKUg zf2h@a^e){RZYc0p<`rjLb^dcDYo$eKaNkoBpO+*FBFHOoW3!SOb)fnKZ}r%BW&yn8 zI)W9e97%X){cid^iG@JTyETIzRhv2omI3)ex}3DA*4GXZKA<$@@tj4uirL$(t+>p8DY*e+i%NELIaZ;W9HeX#|YT-xp# zh3((NDJ&SM67wTP7L`C~YMk^wx+Z3v78eK}@r3>{aiY%8r_>T9c`eE6xu4h_&lUxK zyu0hbmPJW;g-ngIhM!-7?m+Z5f0)(BEb%s9wq%?eQ zH@4|=4<=Sa6VD}~#Y06iA-p{5rH`;w4gejVOH-P=qjeQNQJfa^9Wii90KnwIW7AAa3dR4G$XAl}VyTWL_Psb4e~3Ji+UXK4sMNFci-XT=9^o{L>&fnl^A4Bqzuz^g(Y4hd zt#spRpLVpB9lK$gta+HcXTr(jv5*oTklU(u2fRj7))WLyvFi0PVwcgO9IYo9>x?p@wzpkgS~uK9R{2`5gL z)2lniOhTT4@HN~A4W4h{}5 zfYoX?tC#v}>FOe7Rfs|sQ4~rRD(XUsLI+zYQy32|y0A_cS{L5=LaQR!2=@yqu+!7+XjO!x>XZFLhyJA)^e12{5`8g;g+Flm(C~6>x?^S)~ep3)4Dj zwqPg~U{D)yMY?dV&@!09Sy+L0g@YwnX$uz$?SwBpEF~CMcva{KivtoPJ+#}xC>OUp zEX_o?4@_&|eB*%WI^8LA)_rQoyKD;w|J* zAu+IEq=E|YWHpWxfjN+s1Qfle3M^B@+9c2gZ?OdyOueLmiV|BOqar#0K_Z<{0f{_` z5NiQPLlH`%FmMNSKq?86ff7DW!>T|&QfnL+m!>1|EkQ{@;7V@+4b)iBPNS;em9vN!Dv%c-Hff-T*N6rw5r|<+f`mb;bQgN~=y4|K z5fsk}HH+)B&?9&df&|5qQFvSjP(%%=Ne7?kL0S?&F@iDy)1a72`Yj2nri1}OONYt| zi@_Cvx(ZySN5xeRR|GwOU~*h9^Z*iU3#is0D+vfIg;IlsDWw4nAX1=%TR;E2Ri6HR zTNUN|!DY2o?u>6{)y-^LXfVU$t@5~t8hTK8#lU{Bu$619ArMVAT~iRV^-rtDsSJqb@>!O$v@6RUJSe>N+qd z>pH4JO%Cn4ZU->y8Np;_Jtd01o)d+|v%-4I_mlDYNi{2e1uS;=i}JMkJ}Z8!S?L5x zsYR5O*a)VK_Xd!htvMo(U9nwSvEEFu+2XoapUJRKZlIoSStW9j`$E+NqDj=#pl7Z} zhh^xR90;`B1Sf5O7ID(*=_R|0BIhh-;AF7o*kq99sDjw_+yW%*QcG6ySe)V#PJT0e zYWP|Yr=0cNh2*-GL75|x!A3|XT7Bkh#wPF>{bFb8=i<#zZ43rg1K!vA&0xDZ)&h85KlLOcTckY~X z0Oz*!SU{HI5i2(WBxj%jCtq^TZ69Vi=Y3|F*;u}FW!9NNocWyGL$#tGI1FqArC);5 z{$L|)ZA;n4wVs9LfMhteY`Ml}L1v8%8u2|6KDT6=HvC}ty7&4XzFR2e&b!CHGnjzZ z)xg71#nr%n!|_pf1P`s?3&gjPR=OpvboM_EYs1w-G@2`JX5Wnz`a+GCRz9TikA%`M zX{cLGL%n>0U3R5|TK7)e;}3FG?DLP^$Tw&|7Rse#fL9wq*&V^>TG0)5YuD*PwNEQE zIrYG|iq3Dk?f4}F_x7ovT+7y1*=|=sxaa8E?GGA%Bp(T1STbrKo*uqcjJI<$?cLW~ zs?{f)u0z*jaasx#gM2FI*KpY5@A??*jD%M@xwR1PInZzH<-*djESSx7t1}VQa}w`N zZ}mrenXas|J+E>)ZW59kpYy{~J|wJ`4~gO-^~-~{_4KTTS$9gcl@#hru+0VdNO0nk zZAQ6&5jZ`rsN0{da%5e>iLIcEKPs?`OLiK~M)>8dcPiQn0o-FWIYU8V`f06mYu^?(oE zqy*|T2h&k0B@Ag>P0mH=q$QTtA_L2HE}g{5Ed&NO;_yxxqC*(0#-%z#?L?;qK|(Z+ z?pkX12H9bn)J`LC-El7-Gd81f8JMPN0Z_H(Z||`Wmx@Y9z;T)1l>#4IVUb!D&KU@Q zR0gi0Xo{eD1y~x1V=k9ca(B5ficKH9sFzx+VX<6FsYCPCf5!$(0>QF&Xi{Y^GbVWMD8Ux-sV?e=5+s2Ly6Ge< zZNPSri7lcJC`TCIf=ZLDJQ+;HQfi}r;46}9L{RSl7JycTEfH)5?0}TY84|YSGBU$9 z&4oOY@hCL2oZpTzL(l?!=qel0fS{ewumB6@X;YcEXh$Pu?c9>LYk}BAOZx95YAR8- zMiv4%FfgYtbYxFwE#^{4Sx6^S9bA{hR|wF4;Z($}$=0dW2{&(vHju4S&p9=JQy8yd zMaEKT$cJWkgC_S!buM`oFbb?KYLu>Z#2M9t$5$*+BMeBpE}5dar-LB{)$@BjB_a

#`f6Rk*njV32f zxOG}o`qDtBQ<BJ00DOZd;F5`W;=Gm!x5~n6I}faz+A3u$QeM5=3WMgc{z7XWnJ*DH*L*DKJRH;j z*hHBfI`~MzB?ijY@^OcQI7hZB((xme*&@>!E@EKhtfSD9LSRo}o8mYY9T#qcd=i|8 zmpqPB6s*t-jRHx3lps^b2-`(mMv#2C^b~v2@(ga(PLZWbjFn>GsdU;~HAM@)#cD^H zL1yS+x?I-iYl4VNl@3Q%0W<%6e#8gRRdWMf^`kOF&&@rhK76LW=oQ($u~IwAGjJ+| zvI^`ckxn~052VBhsXeSQl2+0<+(v!V=-N@FXUQSa_(+F;uU2wKroLp=YZzUuWf0I{ zNhPzoW`mehaF5ignlU&jkgR)7%@mprsXEelq~Q5oW`OHdQjofswNVrVtGUNm{IJ0# z!(ym1Z-NwoV2+uPRCeUE^Ylhj^K|G-9B1ZfGnYsAhCmxwTZaT z7)}gYO~-zRSkrizq5}(wCQ)0DYx4LDfo*QX$b`dxcFP8hh;dp$DH_?)T}lk8K&$o? zdjK^>%3TS#C98d;wsl1*R^#@_o&)z=FAc@eo-~9GpOk;aj4CI#G#&eKH>ZO$MR2S+ z(bI98qdexxV0xVF(#Dj!L^LTi8YmsXd0o!mDoTqaEkvwy`{S}fg%gifQItkurqMJa zZS{tK9YYHW;%@Hv}NDMy2YCG_>#xTOYas(<`!?r+X&hKBsq0!DV)~z zW}XvY^lxKbDp@x zI6)wtMm4-G|LwFD!+BV>lyf<%~ zH9hvyh7OxfQSP?8L?>%`L7p;~{J_lD_d&hTb4qD+YOlwpq(+c` zX-1~zdP9}AzKkLpVP3m`g{zcl#B6260c4nq)>@8(A|4wIrxfTzPqUel&}(2*YE@k15Zcbp-*NEpJ=k*i#CIFvAed2%#z zj;x{Fu3|aSH@nkJzS!E5dc=}jSSr+iZ%)hijm32sN?(|UitaH&T&EHf6NHg>k`mI3 zbqrSMxe0yX6igq5zi*4Qi8e`&j?!xkbnKiiAD>%7z;(um^5u3K+t)pCwx-rlXp$e7 zY3$}6Clvidt6Qb4SA(ClZl_Wv-qc6|mzW}~_0605sVe=3laxsl6$XibrqI-XQ<19z zy`=yh@AG)vGmWhT=NjsZc{u@cqc9v+$v(rJN@-?(mU*s$br^3v0zDU9N5D!Bzkp(#GbGz>jFg@^)EH58u; z%JC|CXhW15Uv|LXFsBjlQ6H#(8}1}@KaEPgQ$5f_6)EVo0G~3%^>~pY-Mqy*jEQq3 zmg{*7k8FfX4{++b@|2>_Xi{Hpr_D8C<5kLp#`c&*gIRXWwez{fG?bi{C62gGwpH#7ZeLcz%c~haRop6Z8oc*R;>}mH!Dx8?{N{306)^nC zth)YyTi90lDRqJ!6vnt3Oz_o~|0xIMd0Ca!&Bb7PRemdn<*2+V$K|A)mb3Eie|cg1 zLl{n`-(I%f@aboC?`Zdb^}#VSs(KjJ$SA(xpySgpDq=6A&&wC(PPtp|l?Uak@=bYI z9+hv)cjf!?xI8IO%MSp>R{-Mz;lKgPZ^J*U^4qBVHolvbm*rJ?_4n;nbpsgvU->)W zbPY(|3~wrcYYgRWd0S0};|s!WTKx%>)8ThOadtJSs&e+%xV$TW|1AG1zn6cP|E?zE zHn@Hra8KX9JUBcBaCc62delgoq(y>$xu1b+s1D#+0U-G|*TC&Z5L7PqWDsh3a0 zPLTIV8`ZoKYfFZ0HrMi`?~V^nJ|LUNeOhfqt<_>9vCYkY-Nlv6{h&M`ReqU!)a&YU zkj(#txMwHuvHVO3eVq)>f3Iev>f5ZYlUkE?jK(*~MjAI9QNkdLtb3t*QX;~RgZUH z_V0Qv|NilR=-|ug9*MkX@6?9(&KSbeNZj5dah79pUIgECf%9d4*Ye!YpYQ(iWtaHv zv1F}T#iN1n)5MkewLSb=o%1Vles@T-UxNM)GG!blb-E?q+uM{`%L|{pI0TbMW^Iqx zs?Ax8hXO#cl5j)6Ip>CP!_r)mrCG}>e|&YkyK{(t?743CRL!1@`bl&*=w9}Kr#35V zdET?vC$DzN412Uv)%zv>JD;au#jh->PWRQAPk@L`Fk8U1bil^b+ z^>V&P+sSF#U>lR9Er0{cCY-#_t=FOEUyJs;mb2PB_;kAa5wJNq?Awr?n(M_zD*i04 zpcv187sBs%y}|cl=$#)}(sqWM*kTlJ*K%)%uU?&=VHAFH(hE*MWY9fB@1w@^BGus( zfA%zlsC9S)15B%P3MlcI$HDAqd^tQHjBduWx;mbe*Mr;XY+POsZ|D{eOQCNb1;dTYC4I$X68 zSubO7y#M<1DIxMuM2G))@?Jo2(^)M+7wr3{urq=j;cIx=nep^% zxxl02leZsEh}Z6&OoF}R?~SE@$A7UZUC4M1EqPkALZ1AdU5q(v^Rkxndb@w}>g^Hn z((Sx3uCn-lTMhq9Tb1(?Tf8{8g52U-ysYK0UVc2>e|rqPyg2H83)lqi%o_%DMq zPi)-6))d!NLZ@?P-n98x@0|SRm$TiypQf|x!Q}5gPVf*2K`;K#Tmf8ch1{UPymDT= zZDn+%>*GiD=j*-=W|**SbJgP^V7R-lGrGh^80W=cTG21;mmXENK)?->f4jdwoJ?mp zdl5k`4+rT2nBFQs4lia`Q~HO?Yfr!U0C92pusFTct?6YmefmGQF#Z1nw;xg6lM%}k zmn9noOb9qJHZe0ZH8GcY8wDE(I59RcGcz?Ymz)~~!U8ZLlMzKIf1Q_0Zxb;P$M5?o z=FTC0+bbcYW;aRmY`Tx8DdG?yf=WP95)OQO#x@kE>jdIU8$Wh_p7DQXb_E9lIZ$Rm zabQvcQ^0i&8YGb*ah8ApjSEtMF%+l-N^ps3pp@kqRrs{zH~`AE!A0DH>r?<$oZ%!; zEzvxVjS+zM7$F7>e=y1gupAgu_$&j)jn1gXQ{c1Qoq1hOyZ^9z{C;@ap=Shxe^=rB<8FT_K5urQWY(K) zeh(-^YpchPhtGSA3Uhnkyt#mX+t$srLjHUl#j}@qN<%!+fAJWmi}9;f+g{x{yo}Jr zOFAO~-41@kb8|Vne{)wp)Q+tqY;~4>>^Zrdep8L=J4>&kaW^mNM{p+o!Wm5n`+W4! z3>=(w;i9X#e-KUs&l$fQesxveK9mj~iM!}1PKZ;2XX0{t-JfCTEj=PQ(GeUEvrUp9 z*;2wjuF7I&*($>B2u|by+YX-fmJs!JQjbe_<*}ff^L~d#CLzm*gVAuXv~1I5%Z}Qt zCgT@Q6Dr(bbl;RKgx9lJrpd0})JeR)96uY6o7NWCf4Yw1JBp+HBtD_YP43ohB%DeR-Fntu7f5fSU0roVCyrk#SWsgVdRxC5PS%aX$DHqoF4sr> zCAfBye-Qez8H`r9mfl32KVR#PHJ=ju$<1;wcKArfX>z{Ygw2&Ew3tCrwGYj!d3`mH zIj=jy3#$ze?wus0`@E_b_)cTtk%ZIYEIU9aNNzE#$BVf`Me<5e(&O?6WwPLyXwB2XD;^_y{P^rt! zZi~O{Cyz5bef+qGw{8IbO%(iF8Gb7Hf6jjpZtY!)aUs10cQ@esHTcd2(og!5l4M6sFARpSCL<|(0!{*D=r_5V= z2|fYt`2}y~R^F2l%M+I$AO&7hI7LG+HZw3mHa9^tLozr+GD0#mH%2)!LO3)wLPkU} zJ|H|eMME$)GcZ9mH$gK)GB`srLNYWrMmaJLvR-aMchzvPn1Sm6D??rF={jt z6B;XHW9LNdjE#wjHbzPl6K(8JD=pCfpXSSd&YXAdeKTWbHtWm+h{3Gd{-;dL7P1+^;;wSw3uY?98(}QB*R`A zNx;%c4bLZa?CFVeSoVsR@Du*!t(dkTgbASRKdE&HNw{lHL%{F8qsNd ztq@>?_cX#ILmDhOBljhsdrNds*BxypYm zX@cGPsB#f$hE0@iu!JmzJuTgN8CeQ@@m=e+YB_0vP3b!gIkE!wu21Dk(n?m5HnN(m zA#2GxvYzBgfwYqiq=RfEon#Z~BAdw;vXyKj+etUsL3&6p*$I2!sSE9b{raY~8)zR@ z+5=pBsI(V&(xS8vcv+#eADAvvIskuHD7{u6-0*Fsez==MN(bR4|0)f@y(;wv;ilgx z9YU1&pmZ2f_gAGML}MwXBZwZ9{yD>lrmiX-MfB;d(lJCcKa`Hcw>?uj0pCBNbQ1pV zW2F)J$y-XN;9nP%PQ!m5P&xxYb5Us&{?8+&vxw_D^jkKOEaFVw5I45kKl1~>Xt9_1 RA_X4`F*G*{B_%~qMhdX!6Kenf -- GitLab