From a1b29385439bb9afaaaf058cc8a6d747762042e5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Joosep=20J=C3=A4=C3=A4ger?= Date: Thu, 30 Jan 2025 12:45:55 +0200 Subject: [PATCH] Bumped spec Co-authored-by: teodanciu --- cabal.project | 4 ++-- cbor/conformance_dump_ctx.cbor | Bin 0 -> 84928 bytes cbor/conformance_dump_env.cbor | Bin 0 -> 4771 bytes cbor/conformance_dump_sig.cbor | Bin 0 -> 66 bytes cbor/conformance_dump_st.cbor | Bin 0 -> 20734 bytes environment.yaml | 14 ++++++++++++++ .../Test/Cardano/Ledger/Conway/Imp/GovSpec.hs | 9 +++++++++ .../Conformance/SpecTranslate/Conway/Pool.hs | 5 ++--- remove-extra-parens.yaml | 12 ++++++++++++ sgconfig.yml | 2 ++ test.txt | 0 11 files changed, 41 insertions(+), 5 deletions(-) create mode 100644 cbor/conformance_dump_ctx.cbor create mode 100644 cbor/conformance_dump_env.cbor create mode 100644 cbor/conformance_dump_sig.cbor create mode 100644 cbor/conformance_dump_st.cbor create mode 100644 environment.yaml create mode 100644 remove-extra-parens.yaml create mode 100644 sgconfig.yml create mode 100644 test.txt diff --git a/cabal.project b/cabal.project index 3020e0d5ae9..226cdeeb3a9 100644 --- a/cabal.project +++ b/cabal.project @@ -24,8 +24,8 @@ source-repository-package -- !WARNING!: -- MAKE SURE THIS POINTS TO A COMMIT IN `MAlonzo-code` BEFORE MERGE! subdir: generated - --sha256: sha256-CebCHTM0lvIAJ5lx0LRcMEDeU4nGVWJlkvhJPE5tI9Y= - tag: 0f9eb79886f4d45a2cbb241af49b9e199735bd37 + --sha256: sha256-MSQpX5wkb/LfgGw5sHl5g0DeHVAZF7oNxlM1sUOEB3Q= + tag: 9ea3e2123e89538fa89ce633db0652650f7291dc -- NOTE: If you would like to update the above, look for the `MAlonzo-code` -- branch in the `formal-ledger-specifications` repo and copy the SHA of diff --git a/cbor/conformance_dump_ctx.cbor b/cbor/conformance_dump_ctx.cbor new file mode 100644 index 0000000000000000000000000000000000000000..913c225113d113e31f641b6c0261e424bfc081b1 GIT binary patch literal 84928 zcmW*Sb6lNo8vyX^wQQWsW!qfVY1yu2+gi)!vTa+-TFb6gzihlu@Be+iJ?EVJzU~Y6 z6BLRM$(S1i2DObk9bwxC=;V3eP^yto^8W41=#{-*kT7>(qv#qJSp$RCnvC`W21<6t z;#S6|%g{tsY4uE!C(FA7LVRd7jILJz$e>F>o}FOBQzN3) z+2y|X*}nTrZF+^eL@`<5)iSYFC>Uf1-I%N@L=|4BD89~lHEWq)+^cQNh7uGMO4Hf} z`-%b}?91EdWSOa4!ULilc?d@5&ha3)zO2U-oG+o$;TDbaV30{P)`$i1hMH}H&hNc< zQ-giolhhz(>fQBKLKR=LA6)=aerE5jBQ$pBW!7IplN-@gA+ap_N8|~9+rxsii4#)_ z41((*ljl{op`b5Z2}`Bm8P}W}8V<>fNPV|ua_Wva7zU6S^ZP6X_rFt|oO9OUeMP^r z!X*As?xgK6`NGPwD+o=1K})Hv5;OQ@beBa6d|oN7s1NZ(j>%_2U}>X-9ekoecL0e3 zp_6tE%IL#D$Yqn-@V4ukFw%^|Qkoj+g)2l2adUw|5)(7tfuR#e$pJkh5I-WyC5c}3 zV-OHL<9o~=(6q470i+0mGCq8=kM@{#)kqcTjNPxE$}1_))G7m66N_I{Y6T49?=`@H z;EFr;sd`Dwnq)(zM=U@i?q4W3i-cl*c*_$5kX{|0p})B!xv}hQbl9Ced^>`-^$qgAkQa^_rHq7e?4~45ZQpzh4*2RN)CrvMcuds}iaQCJ-3y;)*fTn9bwVS( zl0{G@hSdPX6@+rwf`pu~|LIUxT(jTWxhAD_)^pgH35V@;5F@D!4D#Q$U)0rs=_fo* zV0)rx-{BNCnLeMQFKk z3>GZ6CTrxViga+NXQ?~MAk7E{^*E?+U5*KfE;yTu=T@xmd3i+S*_nm%T7K0kPHt}e z4j_c|>|2rz+C+aW!0j38@o@tDENHmi9txm+)swejE@? zg!{7OWQ%Jac`WI}cUY|eAYpk=N6|)*-M++W5D~VXs_`%_uAIqrY8b{{>QFIO>R=Gk zP>4oV;@VN|L_BONseezuo37aFu-Bi}KE~$;&*pgm=_3gyMl=bc$!nP0s=~cd3TZpx zR$G8R{Iw(fa47ep2nOZ+OlEX~epL&%a#wh7-S^ew^zyFN)RcpZ(!Tz2yKoC2!bRqL zJ*odapJeoO{O6mzaaR`S7a{s(IMxXPasrk%4h)LqM9tr54orrVPBcW>!;97>WN+$H zS#l-JR7@KWV)*!C2fUYO;cEyOL-ake+XvobDu+L5L{m=;&3`gz=_R@YfkBLyU5=PE z)igsQe;qpp%Jaz#-HfRHB7#sYVTSEd03c>oc8UHjaisv}7mL$-lr^?X48nJFlO z3R)tj!65|qBjOmZ9JQj(LM_hQUTQz}z8jm6nJ36e>RFr-AJ?Hd0*HE5GK2cfB(h?L zWvPWcLp_-TEYrT^K$QUQ!LRGjUys2cy(Pad{*eRT_Y@Mn_buS)#ngkRPj>5nf5aWx zk0tF;0SHM7CZgxl-xU2H@HGwka>)!GYuyi2C)rGvODPSBgb-km&Te}jMRXGCe0YU6 zNlo@x|0lJ7L{;B6Nm8R$)1GIr07O_cjF^zo73&K;oV$HjEk;h#*|n($;;E=tVBKqU zx*HheJ^O`(A1TFCLOil1{L{og0P%M)dt4l?X%SkL{h<}I z%<6njK~d5*;zr#dL^Q4G3Iyu=>%mj43WV7nauHkz9hs#fCJ)85dGw{dY1Q)x3j6mX5Q*r43PyjPA{sAq^mX*<9yE z_@hl$L5&cZ@S%v`-k)XKAZqe{84K&{kCp(xPIQ9pA@|N5FPud|vmpCrN!F0Q~OLn>WZRq!3 zB>(-+Xxsuqc^SCG!5=oJQj_(C_a9;S5O*m9D)nzf9F!cnGByv(;+U@p}xSsx5^%W3jQvCEv+!;mWLpf8?Q&Oo^H?4u!pneE1mn%Y zB^Wdl{d17p7ED>}dQC{BJ+Kzie5cEkLJmD|7EJcfX37CTZ~{9_%^sl==`{ozQq4wi z?eXK_Z4Y$E&M1y=CCQ;1!Js*mt=v}pi#69_!YZkrGnB32TbcE%shIrwch3wqwU1?g z)oo6n-d_(!eJD+-mXUd?J5x$Jtwx)~PfUJ)8ar(O{>|^@6$Y~??W#ON>dK;WUnZ0D zW8u9`b$A&w2qM(cLjaK~m1gxXJ@>S8Hh1qsd)Wv_;lIQesi9%VbiRD%QI03n~CH%YGdo?qR2kvZKFcoe29!&I1 zqF?-19we^@2P#Qq%O(Mth~IWL;c`}O|I97XCK(vy@kiJu&zPBXDVc!qoXQkG9zzFzCe;es z=)iEPXZAn?KqeUjwkV^Crvf>!WDTHY@NRFwJ8j3SU1veuT3v`5=6EK8s;BH?WXxtev+j(ojR z@zw#5|4Njf$Bmorm+O_)Lo39DmfvwYhDuYMDE&rby&<2OfW@{QxW#3ftO9#Iaq$!B zug&L)|84?{&xx652?}>BTowR?wnSXSu}c6Y+laA|++?u7Dma4JP9Wf6KtOfFSPX*% zIM7q1-9S9q4exX*=bWT9F0Ms_IBf`#eWcIZFYu`91OKi5RH71IWT9Ec5Ygq3vm#n#589+^dxYEW+P z2l9vvvR}O^vI}TB0fg1H+l+mMFZrM!r^!+ijWAe#tu(lXLW3K-vh8rsGXV@DX8Lxk zq?IO06>QrVpAXN0PQ%O0w!Vmh*|<_=ti$~kK$ztF;z&vBb$>{rpu9Y*$mpPQKm|D0 zC&YX{3W|Vm+XREC?G;GoC!MM9f8|VBXTXiBJ@6almS8fad7(su3ZKgW#CI&B!(M>G zXYl$M+SZlbmO;}=A{WK24{6B}hBv|I5DYQ`v2CLv$m5;1On*%>OhMW>_o@{(6ISbF zSK0M4pd$v5FRl}W5R@G5tAk-H-hT{A9Nm)H%2>hs5*}TCHG?A?; zojF|X!4Omc@xZU<%V)q$g#+N={M2LF*A@yUr9G^eDn8&kgRPh@sEdhh}&@3dkzVwJqSf%)>>ra>I zf1&7>4Jym-GH>BRT=a$lki+Mp>;Fb=?M1!mjO^*P{?U#@Ny+eyqVaW-U0sK%_yRe% zp7_Nn7tgAQ^DASp%@+lipGai$?S5^7MeuWW--g-%M2O1bU}}bVo}eEgoZxp>UEkB^ z$}6g$V;EXc_0C71fh4Dn{J)g80odp`dH1r%;+vYI+`TKOg@ZcNv+Fn-XOfS!{ExHZ z{Lgt`3rNo&`_oFcKhFow`La7)gmmwxyc8y8fW4!Ki=whJ4jG`sXW>SW8t>%Z6Go15 z_mJIi>&%4!dwB&Qk60~7V39)5VCu0anKJeE>OGZ1V z`6Z)3DY@?tQK5FWyu;{ZgC{L80g>KA>; zxA&t`J`v5kgezu4yc(wfV>2#y$+4eckRT}yM((j1ZOL79vesDb{IK68MPPCHrsW!i zxA9Ki$4_iq?yjs^IAn0er!|QHi!N<8f~*`);bSyi7fjnm{5k{%t(L5CuCNlj@;;Hb zu|$g1;2t9%4TW!=bz9$jcl*aa3m|CmuWmNnQVmwgRiYwBiTy_pNfMDX^*tRHZz2`i!EgD)~ z|3;2(h7>KJ|E71QN(~ins0A#7pS+1st-&>J#bp7vT)jHnd{XCZzDsv9@V7zQ(47nb zGGacqDHp}#qtl+$LrHd~ge7YBmp9Yo)iq~?lDAI40}Lvm6XclUV!w67wR)xt9^jdd ziz+U(@U~H=WlfSmC3pjnG9j-jX^#+AKYb5zX8&cPLb^|Pbm#}Tfl#-+Sdc@*z^}uQ zz-fl&t@K|yDeJi>j7v<^4sBK-aXIla@zK>yhA4pGFGgrGYF8j_O(=W)nyQ(9p2bkc z#qJmHOqhBZxa)-lgJl1kZkW?cwrOlRb=Jd2^O0PcF`ul&3x*tL{}x7H^$`jv7HW~~ zVq>N!BzFJ%JlRsCHEhYcJb2S$NIh>EqnuF+2En9unu|~yZ3T;X7O%OIT9IBukQ{^< zFHF0~xF`Sp`jPm}1;)mQkK1rR2>ag|(^kbuuIB{!%A0iV*01c5VQ%~ZDre4h`_fq7 zjZelJQ%^-zAdyQwl6Ip*u8jax@sjMRVoHLloU zn={SMO-9|k=~}KG`?*iFYxEvKm?E8esP7P=UI`%16Ji&l@t`m0K&L}+(0_8+7prZ! z!640E|IP37T3c`d`+hTf<1c+8)&I66hp3e?cLZmjf59I}Jb5F7a4|KZ4cT zhR?yO1veegWUx&Ty)ASw*m6?(>Vw4aCBUV30d$*396+Hk{RMzT$tf|IO0N z*YvIGUSbo+**+~=@>v52MW1TXd^qk?rX=r%s0;+WCtBYU=lFh({eCU|*vmf&Fv!vM z9%~#)WYS4aI*|o75js+db07jDh24H!L2Nb(P8dK|T0HloMc-K8J(Rr$4w-xZ6={D- z=OCPU|N94PA3@Iy3_AKRwR!YLI0_E$28p-?-p;6|#vpj+uD5gzt{{aQNgBrkgA$u*t zXJ?%2X#v^At8xj zS1)yV}yPY#n| zRlXy8@FTXga7vKs@LtSb;s5lp zkV5*%s8dO@d@s`;AIoyj(4^UU?M(&5$BnKXV$?boH(POYfifRY!UH3$+jK0{0vWc^ zQmMx%Q-gNSN;J?HN8z^E`zI}cXilg8u;$ux-Hhp|?-7HSUa$1xYsCRA;!_@LpnMuZ z1A|ho7SI2D{eDJD!Yc#&1H$8kC7w=EyTU+#?uw|Lzs40n+_O7MeW>5Vj_BYbqA6dX!X-fI*O&Iz?T7q_^Czt%Wb}SYp%G#wdQwZO(Bqb?jER(zgT1 zlikv;jHPhMp-nmp(J$^NvP3RF($fwrlW>>1B=%+*FsQZn)@j!h$`YL|R7NYaz6a50 zgo}wfBrX$$#I#f{}u4H6Db|C*Jn1lLsjwssbS%> zDo2X8Q0cLxqQUnbq&ZzL{y4~y6{&M2X>+vQk8>wYACDL#l4l$?yY%P%FAQFU&5CGC z+CIFsLmcf@=|JE~gqd13R-6SNa2FG@2zIoT(Dx@>u>)vMn1&}O=L51M= zzvouRs{(sqj>)j~d6TZvT=mI>Km4Rue#u}^ki1W$ebcQ+!QpkUJ_N&@5P0zx#7~seV4a-AZ=yJx~ zN|WT+In#YnuwD6EXe)6{k&IAB?C>QOK#X`sp_N8Zlm}mbDgPPjk)aJ~b6f>mARjFZ zIP=)Bn*+OxBclCh+$=bnTa8?ETgo96qZ#6np=sitR0P>AV*DeXB)g>>@YWSypGRC} zACoKBC0*&**prZ|6|Ul&Z>A(bgFzQp3+ekon1U$PGi=DRV0s5b={ae9V@xz9XK(Np(G=9fFl(U~ErJ=){86fym1d+0!!sK``+rk6@kn+*!J#rAVQBJAGJqeIuiyy= zqP;||_m)EUA*Pj5WZ9vP^~ztL%+;9&UJ2Bv-YN5zj~Y;t-tTgsXW1VaCD^6AzsIyq z{mdN7mMkB1x9N}cUxg!()gAHu$9@;$iDE0^7rX$8{lTC$uW%2Oypo zvM?j1RtING9H()g*r^fpbVD|rA`g~gA|vl-^^JjbQc6k$+h#;%ityiA61JMXl`eH# zG5%83O)WZ-mjx;ufHc#)jWr@$J4my(XtB_p@$1P@^dl-xq~g&~?2+D7O@l%6IUACh z2#$DqnQ&Yow@(o$!7Pqrp|zdqB}1%Si)$YZ%zMY%RnsPXInf^^lBZe80dIaR27a9m zNqG^?(jf0`6yV>$z&4Sl=l;p#j+6uw?j+(_&IZ*+l(TXz7=I#V6`sD!!L|Q>gBaicqS@S z`zw=pC^-O9Og1m$%{5ap}EF?J^&ep0ThpK~^4u_*;JBr9qP3}cRPZ4^t zBS!szh=aHog-+iY%O}4SIB6!apkvoKs6cPi@vubo^={PeqqtuG=6E|K^lGi>lK(|- zm40vG0(mdd;t`Jddw=b@3PBqfWF;U~I)&gWc$ha1OU%T5BJt{PIf1EXriyY}1J2_S z2N2GuTakuB2wWI6)&2w@{Q;cLdMV4M`bFMune_=dYAY~k+)f)p=_LLlAfNMXNS}{$ z-IjW@C+5aHOX>L#2Rch1Kp=zp8kuI=ZDnR!+rKatmbBEpe-1Ig-;vKJ`PcqKFARvW zO92+uB&}j!^xs2KB{ua$V7?!vyEirnMxC)Ah}M4;l4XC#oRS~2t4^S^9(+YB=aqOI z{1?1-EyxHH%&#Xzfdb(v&BIoD1~wOSR#wu_r}(=B&s~On&B6C66g#V__sjd~ zH5zv3^BTS_8OdQYc?&b7n_|Rt#~b~m=^@tsLNEx$;C$a?%~IGC2YTY0)@7ysye&=% zKf$cgmx-SC27MO*nH%nkI>%$nCtnja=je4k$~c$9)=5+75vI+n$Q$@;&$K-V25(6I#(N*1YTa>HluJW!K zIxFtS7sxAMs?wZx%%OysMu<5Q-oLTGIh}z22rZ(&xZs*HKJ4#F_|XnBI{l%Vy-P3{ zDF|3TWeE;?Tw*b%&+|A|wuSo-{*l_%36}>J%jJ@@{E3}gGZDvAD zXQaU_4Cr86=?xuD;pm-C5mCEj29QH2_gf6vKP@rhr%7MhO?>F}AB><=tk4AUnHCNI zngeCNdEv}yw&YH3dOc#$jqTQo(l;@bLzQ0ZVO41v_}8m+0O?^rW}8;d-2894B!aVK z{T5S55qIV;%Efg5Exo&_#rJIv0L(^7RQyh=qbvPzkb$dvYucOgw#_RJ@ z16n#x_BsiL8@hZS6`mk^=1xsmpCO25C?+}*vAg+tqzm*4CK-?oa!nbqC~IRh4VF5U zprzP6zN|_Jn3io5KGJ>kV^#Hxj#~u84gJF{<<$&Rsn2{LGqSZ^zg`A8ymmfi0g2zS zkyQ8~nid?fQSUc(_)eM`sX7twBI6h}%Tgcp7TO&E>8ko`D{UmhMKhzp9{atKPdW)f z<5Hnosh(*NT!Ejv2qa{m=>H3T9kL;K=xtfJ*~$m~d01R;LP>A9%v3Dsc}f5f?oEFZ z;(u9b)5=}WMI-;way!d%iN#nWoZJr?DdL@kf!5}OJKLK^Q z7d3u4u@@{AwHba>!y#iE_dNs`y2o)~@YI2tvWgSF(P#mr8!WPdG2Hvotpe{a{oa!L^S zKY_o?#u&>Cp3@S%`}ehf97egL;pu>6*vZs^o?)0`VsQKbXO6RgZCP|`>a{a#Ikl<&)WVh=PNP+$KL&{X(ZRN6F6 z(+O)Tk!W>mo%3}>q4%C-P9Ifp0EiOr{>HH*f!S|~gaw7AIiK_$_cHO8IoYi!-GIFjdP$(@FdfEUQ+(iTu-i5SDj2^eRsf29||=QRWU4&R;Z zcr_;@=BPaW)rlmJ)6t8VUm6&kJvsTi+qO@Zaul%{%yFUJ*EycOZjWw|8&OS>xY^Zk0nUQZw31~UE{p!UFLMLmE73m^?WEi0- zOxOjJiV+*LeUJ);e}q>vHm5{TOa+}OYWQhk?_-@5m~S{-qSJPkCnA8^5Vo82j|-lf zVOBNBS364^)$t`$0zkp3ayZ4u1L#1Vu3zQT-QGm#4fiN8PR?!_j zs1P>4rAvTAkqSkW&FZaJsE=3Z_&o_gX#1RAd3r2an-7r=hnz1EKl>RyR-c#XOjC4= zw>rQ8ot*v`=yqq0Z%l>1?pkyjy;AEIs4qI!sMfYy14P0NJ$3;kG_%tduY?0jFUE%? zT}KA$bfTr{>U@2 zzs17XwSJdH;=k&OWb0!i9{^DcyDierVRF}wC;xY~op6G5TT_O{cqZ~~*P0a(Rs@); zu=}6Db`gIydU-<((#X0wVZ!`!CHE#n;AEyJF-&Re3m|BbHy@L{PgFtuZayN#@+wMbQ0aWwYhRY;UFnt;nC<9P8Z-vTc-Q1NK0tmv25`lMTZ z-Rd7x-ZmcoYA<^Lh!I(U%oi9f+t`AqcWb-Z$g+?Ow|Q}?^CR7n0{!+&cQ8oCo#m$Y zxSzq%x!!TgQq;}Iwm|tAOL}uLQ`KK}s1gxCh?Xq~v|u<;(-rQybatKhXeEhJ%J~eK zIWb=N)KLFB0YZVZHyBsZ_&RcGr`fpQ=0|n<5N_wHG-I>hncwfsfEWP57x-cB?lQ*g zXk8aML)Bx?B7F{(Oovp~GD@S|`xhT5t}R|;y&Q@ay}vE}79>hN__7mb!xOwCy~}Al zotx${t_~oe&Xcb11zBRLdSdgoWYb$;C$+?|+V(iJ+BRj41I~cO_WTq;ZR1BZjKrQ` zR_C3K1Q!N*6c}bPU}*YF=MOgD$DN$%%rPSfofljkUqIaR@tstXCx{|!+J$ke;Jwv_ z2jo|HVGV(7@>$T+Ys)o&OrEfiYYJUv$WvL5R z0YpEfzqwSlX#41QFDetN8%PI2By($k0=;)`_yE%h0~xykwl~&!BU)| zEUH*RC)pzNh;^_twuvSSAP;zJWAp)rUWH|8?TL^>%_wWTheQ!N)Bda_jRrdHz*v(y znEj-)bMebnvK|jCPn+y;y>he;8X^bM49U_JYGo0Cc&c9bJ~F8>&A44$`xM?Q@(ubk z*f7sOe4;tRFArFz1cPRm%UzMWk6^<>?1E@7FsZjF3erPG#LsJFcha(P*X95O(lhAf zAAdGXMP=)s-TQP}G2P0TmcD}lJbJ>Xrvl#Jzzlt!73KCgxU)V>8!7sCIKuDArnNOJ zC~5I&!QcR)W-b8X+r&>7JZAIXaB(%g#mY5-MygmwVs+Rki%P}5z-6Zag9z-a3|tx- zi(eO9tVcIm1sMD*PALYGY9LPz!;B1AJ_<=|cKw~GnkiP9(|h>)0rwh5v3glUpZ#lG z!zGFDC7d(B7~*T>jX7ffDIMs+eZkyDZZx$ACHqB2aJV*JX4rh~W4>edL-tpM;!F`n z60516oF5uX3v_=;)F1c&n(%R=Hx~fOexQYHlYAVm=lE*vHuiU!-0oqD1+Pp~<|ki> z73C!YfY>k_m%<@W{V=m-7(h(k@`)9#HcpZ)7;?#xm=9p)$O40QYsAB^NLZa^D5YKX z{(998dI$*I&J#9oPWpHdMTS=Al3f!$ z#$XVS>0=AJhmkf?a1~wUqNJknnff5w`Gdi2R+l!j{h<t&)e}?Z)&j_N?@v=lKc5$S*GtC<{{z<^DjnwZ7&bp?sPA2Fpd}zv5?rBt z*{8LAS))RA%z1wYW@tavsP&?B!R4TT+p39rV*GRqh>QnO?E>5^eB{#Nv{i*y!jRjWgpR<)vN8z*)Sq8{$6x44qd%Jizfnrlfd3{Zo_acw&!v ztkx;^a48=^$eaG=e>=`nG*Y;Z^c?#MV;hg5Wgf1UE1{~F*X1G%B*VW9H{iEMbgAlz z%k%@SAU)ITkyK12IW6S_El@PHQNlmIlPClDnV_Gn(z#edr<6u1dnZ0u`~2%;AU5|a z_OK}&FvvjZHb_XV%ISq|yn`+6>bPi6SeO5^X2Dxf~NaG`{oub!(M{a8A~IMmr~Wj@-OCiNG=Q zoCc5tuYbCoLGdG5?rJuAk6-mB}O$DD+w!>d33 zG-2|7Ys$&1bNx4%abO^FoR(u_6)_wmvn7caHZK%7aONbU0DG4uxHc5S^SX!uAk1Xy zdkW}g{uIn?GRZ7APesEteK29!?}@zMINQ`#fb8)o7IVVBcsDVdTQ3JWPB9Q-nA=#n zbBU70O3Z#FG5@1&D2^0yNvGhIo^7JPH&BU8z>|Ny*i5r;Esq%QN#gaV0+^m^fEs!A zP~pFS&Gpt(ZeYK2-9JOEQf-XQV3a9H zFrip7qfC~&fEhzaei>o8vG}ZRKC#=+;{uH9w!xZ_NniVAUd8Kg!Sn#~Sy0c6x(EGL zkE+B4SGfqKer+Xn#lI)Ozm-m&=L8BkGFk#q5OZ+UU!qL-n^UYMj~+l@ib|3e7)QMB zmv!oLngL|WH7p4RnSc??%3Vt;fh8g&r7MA^Z=C5$XEuO^`Fk;NC4eKLue5(=u!9(< zSGcM?{d0hv=~u6Mukq0*@W1_4c>pn+jpT^WE}cycsfqCX{fiNL_0?68{4Khl>`~8n zn8XqYTd1unq3le3?=t%SSK~V5G<`I+{>tGnKYM>bTQL5Z``A)nQJDBgc# zHkqQNcQnO{{mEz&{c_xl7$HD@S({b!7>(=c_{uQntG(V!C5msI$WyBpvcBAP>(!?U zAQ{9pJiZv_6;v7I&*X>F!-45q_k(E|=Z#-4=S<>MfNNLdBj`86BMhapktNCc7R?^^ zBPM%OTK|lM(xGhS>>eoqgh_^%V1MA!_U-dxA+MpsENz3SkGZ1jdaxdCqDA+1HE^{x zBQN+&Jeltd&zL)_Z(WojRnRCXvV-s*))KO(QFk=SXZc0>NVanb1pgBX5FtCxxo z-eB_u=wNw~*<8kKN=*L1ceKn7W2Ug%5&@8R4a9$b4ew%16-1OQzQoKZENG@qBQ-$@ zkg6C%!^|~c(C=RxWh?&zpWW0^P|Dsh?jRT;r1RxahoFR@1XX^of2@<9+(?1fcJ!e9 z^qbr{$aNi5?WMhQJX+_Cd_@eQ&DH{-sY|m&DB{4N>){akMe$t^u{wS^M}Dp_e!V%{ zduo`HA3&TrBq-1@2#m2>RuRlduMJ~7XF#FV8at{l9pyb>(S+_6W z0c1hUQ?mklFup~1_FL=T`GDB-h43BO(0r}gwT62^3XnZcRm9a2x+O`YoJqkR3RyB1 zM&ryrI_hb{6E1&^lfml(5Pu{i-aPqFkgF~$6vKq`9No1 z_&<|1eH%iB_(5EsNe>^@2?@9b$i77E{YkOBpil<@IkSQI?ozN>3VwY0`99&Ceb4Jw zU|c)6-^^H8^XM6*4pfQI=gVG9>lX9uu`U)DD-oP=={?D0i1qu)O+FbCP#A$hLG#Q~*eg97;YpP0-m?teaEu1EAaKpyMy7M@fy+nadirr&Z` zerx1YnIGlrMXU)Chmzk8MTO5}Rb{U0U=R#IATL=vNQ{aF=&GyxC_ov~{ z9U{0ib|z&v=jFRa*XnIm*@kYaKc%9e6993W4yf7Biy}(ismk3Meh}KPmdGqb@Z04n zYc0yQC!PYTQDfG`j2-L;a-@mnK_+>=9)obF*31Ic*4V&)yrrBOA=-HrB zAZkVfNVOjy`Xt-pd$7sk&?x`#Fta*m>IItY%4gZuLA~+gRABsli^O?L(8@90c*8ZA z#8j=Ye?N(Soz$QilGNC!UG-4|+6qqTN$o?-OaJ|ig`^p3b_vDnyO)ReLLcq=MMZw- z7jPdje)DS?n3_=Njo@IDQn~hL?W^6gSxcHT20HE(tHDPN*wCj_&yJuo{6vkj$qWq&L#+asr^*(wEC%?O2Qzw*-;8?` z^ShT@^qTKbo3Uqs-lMi;^!L!5q3O3dmKcptm<7M^ms00q%~)*;&$4}mkGCOqh{B&& zi)^FL94@R$e9CIjQrAkWTGIO)$F}O9(2RlZ)^FdZDkuIgO4KZR$PgE~_+!}wcShQY zWh1VSA`V2UAIb1=wIchGD)WPlyMxl~PH4NHrjo2dy*snPOk$x89d`*Zs7T_wMFVlM zy)sUb>N?0vl6Q)c_>39l@~Sa)5n7skj3FGw&yr{}vWCeE%$vsDR>%FA&`Vo9)Aqad zSm{o);xm9IOy+}9DaTbGVO`Puu9yY`Kh!ZUMcmnc&&o1OmLwM+_t_@LUa^1a&V9PD z4N|Y=WY88vlieNm=a%~{f+SirqOq=YesznPoz+#0av#mu8cg|Exd7|KRj8F z?C9@407+-oj_iabqfbEOuafnEuDrSSMUz}RfuwgezVrKJ76rUMP62*TM3k5N_c(4g&E!nlo>AP*9yES#T>v^rb;hfK{AJghVqiv%)(}q}ED<=*jc(cBFiUg4CVBHcp z$W%7R=D&w>VZB>?&)gK>9loypqd&2+uZIMlM1HdB?K2gG)O*gQ8Rj%p+aH6P0o|J| zXj%#k*ADnWJOJSW|Cp1Q=z1v0Jl{iO7WtR7SMh5_L>2jIu85o47(owcNtin#KlpTz z)|ho*?WJ~8R*2=&2l9)`D8C@RsQQS}0*FJaBTfE%M#9sa?&D>Irc(sI;Km&>@taye zNz}r~9Sg7lQ<9v5V9aev?bbYETQtn7Y_$9wsNN401278hJ>#zd1iuBIIQ)XUs43in zDt&yRDd>$Ol>~L_M5!BP13R#R14zhBgPnrjVM)7TxcqxA?soYicxjMpm!%)7D9W!| za6dBY>*ytc(RG*dyNcOD?)-8*iw~d!}INYe*o; z`841?rNcjg9r_K<&moUrNA`92AZ%qpX0x(M=JO)|#|bF(Ux)1_*6yfET@Xr%(v_yr z8AD;vT(8LQFHzfQOq4+1ew@CxP4H7vOrWtw0i&^v_j)#{Ql{j12oHRvwYehkv3E}1 z<$f%xPG-Q6u<{JfGour+I}@OFwr1qM8lh8sP0Iv6u!^0ZhR#9RR<~eVi~?8Wobj`G zKmkImOGHV3q=hjIfP^@s((hJ_Aa@sau;Zif{QEEdR~Y^(#tYrpJKd+I8X%q=l8}eu zBHy(v4nzz7xv*9z_K^L%RlAMh8?Upxo=^1=lp2zpOny6XY+ERm4mddbg_fXa?e`V6 z7!g4UPNpm5OoBn3-RHkhnB=ypzE8qzD+EE}lr-=E8f=gbXDC)jx28Y(O^i0+;!BlWovy_nnv-o0Ga-Ey zm+}@XO7byjI=HEyg!IIV{mRn<+k#Y0i4Z~bx~0(?G;dsuKeSH?G3-Jje(jbeYn&I~7`o8b^c8 zNoacR+>gw895D|;C_AfZurz--fnA&#p0DrQAdQ$|8IM`A{ZsS@+_AKCntu%!?-{su zr7hVe*1|87`jsXi7ndsVo8_P> zw~%yEm~cY@GU?$*&V~-wmuhS6A;n!nw-<`;%fO<9&R+4y5D(}B0t{Wan)cH&T{VhZRyV7 z1~d8)5&m(e$Nn8PfFoUjM8Ty#LZ-$9Nn0@wY||X(0dD&cPn34r5Ds20%LVIIlVbFuNy*GAAlmn@B%T zeuFhF{o*X+EOPe8-4h*{1KvL1NtX_POCiK3M6E@=1dwsb z4Cqyp+JusSKS2kD(oVZCI(>;U73yy6VO0d@5!S%;6e}=n<5kS$D~YHvMt`b>Kylv$i^s2gQIF*-fUn7RVS3Wk>O#E47tU3CrFFkk;?8H2bB5meiD7q zzohU{^7NbhN<&q6qn=!7w_o*0(-~euuifwg1S^w5Z&UsE#Xb&kPJ$T&rb4`e%^&X| zWGITQuixb(`hdC^#%(~UmBqUPQFNfDMy)K%Pe*6m%RD<=DwPruy5u9t$-o>ac|D42 zd5UdwBn^p#)Yr%qMH?LOt|3Pz=@w}@1uon)p29?TwydC9pqaltoKdzMS#Sv5YH|~J zMnxVE@O+f{B=MMPLNS4AE&k}JPF)LcDs7&FB&sU|5njVOUwe6hP+){38-iuQPr>i; z<1tUQ&N1r9@{H!3Yy|X0VO!8E;d`x273V&^@mEoKu*_M+K3p{6&_(AjX3P@sA+_~F)?bcj)eH7@VR(`Jb_*81#RjY7sqJA?PA|za0sK!+u+24 zNuwD@F>TwP1>plACg3nx{%wp``ZENbwzv#iK`T&g``f-iv3ReuVkHp}s4LGx8h;v= zYb3C^IFvboF(>#tz67hX#nKwdJC>t?K5pt#UQ7I!I#qYwLRmY+sZ}1_VfEuG$6lzS zXBHnc!0-s%qxLZUZY_u*6Jj_F|6Q5AJ2g!pExc_PF}r|>{~LXk$OM3pQv7_IIue;# zc~yISr~jP@F_8{gR|i_^+D+X_`%{$ybo@4(Pd_srUAD^Aiwr?*z!xE85v|IV;y#PP zI;jYS7z0Rm{r8byY3J7@h=!Zyzp$aGu45tsTeA>l5H@eQ!(>!}FV<*7@~rEYqm|@q z4w;LjFjBE%FYS(+QlQ26VjL^*I)KbuX>D0xCmvQC${(DkS^axHWt|M96G0C+EPl4>hU+@D#$b8A+hQmSXPFE+Z0FcF&kGDv zOuua=T)Jsf)d&vJ(drm;o5l@-MNIQA3P^V6U({{@khxgsXva0G3NZtCqYXpM?V*q`QRycJiY4Oh?!1+iS&5Gdj>B6R0h-{#`cxij63nB&CGKdXJaXQWW37g5+NN z!Vhwg29V#7`27FA>@B}W8W*In-}kJzX%}mRN;uDx-?7>UqL6_>!J#_*F9nq{6NZqy zz7aD-!JAM12IVzCQ@nQiNm%fsNBwt}wcjjf{bjdb`j~LIo$9M`y!=(uf6&LhpYQiC zYk)@gZW1%9nKij*)Kf>IlxR$3E~Lbd>p7jfU7ASEjb;iALmxxvvl;k;66(8o73}-~ly6#E z{wOuDkqQ|h$}UP1;Zea?NM*EVB_1~j;AvFSI0FD7jts#qOcUC9*!p&)yG#nNRB*Fiq=o+{)TY_M$jcwbuZF}R5ZR1Ne&c?R2v28oq*tYHD zeeVy{nRBP7ySl1p?f?Rx6`>K}ia%4os!p;W(vsgjuxlG<&b{IPm8ky1aDvO1W+coz z5!dBR$BU2p*;#t67ZxINc%QpD=HI{UrWwrg$<~ktudEY0&p(;Am^X6bEHN#Me#7PeQzw z_Z$kgzl2ZK2aNF*Og>@bOeN+(kW1V(?#+1zyO4KVy(V}aT}FF|h5BtyW)`@0a}RVX zph@IbDGqr{6Ji*M!<^@`P`jk!pF9pvMXr2RKB={3P?HA)5dp=3G@mJTN7WpwJTy`q zfaf_U>)FJYS{VIMXE17-2aYDAz1y~XEJ5j`A|=e;ttzQLu43n4YqZCEj&k;z>K6h* zj7;J&he4wWHqDUs8|GZ*j|9`D8<5`3H4t*IuU(qxw28y3kktiy0z|BQRG}w0rCORL z;aX;=?KHYtP+tmk6nKCjec=X!No+=Z`5XVdCK$h)3*{C5{btZ(va(`zLp?}60M2}W zL8vnIuWx5S-}Z1+7HnzN0d5GIDzU;Q4u`O|+y3`=_?0ty;%fdVuVIy-@+c-(4t?=O z&gEpPd6}kI2cMz=51^sAL_4-6Wu#mb+hPAR^aafUvJQm%tHwo#{ekbo{{Ob70V)QF zgRz;OXEj9XC0&Ls^?AJzquPjQTHzo$|EFD&HZh6EG^VOtKz$dPWz;W}(s0k{f5WdM zr6W)6HW?QdJ5NB6-K?+qABV+!Jz*b$`AD^_)Ojz#5ygBn@b}EH)mY4Pz>;B6=zN}Q zXh)lpfE4fS!tDYUEYTL7dZ09h54Ng|{eKS_O&O*0c%LpaVgI8VW~s$5_|r3x<#hY zwWSXarA%S3a*XwBKj-g-wF1d-eDktWIMoogXuEXMGnQ0jma{fO?1XLhfcVOxm;3*1 zzSTIuD$S>pE`SozFz7zi3dN`BgSQk{sp40$^(V_F@D4)Um!k?VF8?)jv<4-*3>J-( zP6k*612aL%7-syUQ>Z%-#F`fJRTs=)6|)fxiZ&c~q>9L2WOk682kUo*=VTL%7I5A^ zRp3JDnOmdG`uJ9Qu1{W{eQIdVF5i_-Ow)9U}TekjH^K@q*2vk=- zxpHbriG`mg;VnTGdMr8AF67HhR$&1;1mayO5u~~5(7Yx;^>UFw7qD0^-|E8>+InIWRZT)03S@oorDU~aB7wRccV=g1CFPl7B+c`~|0&)f2nZ7GDoJ)B#gF+}o()-&qLc!`2hH=XXiIJ8 z#q_~gJk$)-NtU`^RrmSq4tbqXY6bv3OY1X-#Yh9Kk?>^^%y4^&U4_6L_*@OB%bQbV zC37NWAjpUoElmOv@Lw*HccrZI^gE3Z| z+5qV?#T8-kdcTVqY-@X`RDG=71DQb`)DM$M)iXt}Um{CDkPjiZOz6*11^tS-V|W3H z2kY!&0uci(S{^iC2MB-uH{j4f9ImrRiS!A`cY}Z!wruQKFB**4GacrwnEw2gK{5PhqP2x$<6uilS9Dhln&km5pU&OfkQ}o z;PGuZwcJ{5tgSGn^^rT0RCNK62X{aav+0}_NDM~ZKILS1P1Qw9NJAHB zW+ibH^k2Gz{OY2RKp(f_*4iZAh%MyzQ^K0zEE3ip%!uP2SIYdLi^-}iye$x;t=x7Z!1oU-)mXUk|hOgI$^kXVuBO8$}tfp>2idq?%*;1!mvn7T|>OkuX z8M%+nZK_q9X5xO(^H1gd7-X&c-8eh zqzmkK{1GwSCTFhd+HIliO9*kn;OtEOwkI)v&|IQ{HLZ7<0zocxaB?m$g&0**G%fV9 z`FgL^gTJz+1Bep-ejC&|etiN{K{cs0wO$yPTk)xg1qw!klHO6KKWH-D1DmSx5*OV6 zWLWa62u0P1{|c3OfbyT|;~sHGm%15UN&}Tt`i1CWJp*t!;jkY`5IK!*_SY@F6jpWk z7Ec1MeUz~`FHaib$4USH2N2p1f7|is&Xs-DmJ!CutabecAA~n2>O)AmU1JQ*Y~K0k2u65Mhorj-|l&qUbFU1ff?* zsZi+IyP3eh51l*V&bZzi^@QZ}XYtfrOYm0=P;%Fuq$M>`cVFWk-{&l19QkSDR4sdsV(~Bw`XIM`aojYCq0eD>)q~UopECaR>OKS_L;#`0rI02?2K`~n( z*&RG>{qiFVT(Y*JKQJpj_6gcPei*JG1D~6lz#ysJFIc?T`?!_ARVGx1=b*>xzR8qO z;f&7unDzOi>@U94p?vwD${lm_nStA;bu6G=lk_|VlzAP0i1UVvJ0`C~`Pd2c^W z2}sZL&kjse_U?zBpr2J~*Vq83KH7c9)VI!S6Q#GKU_=IrQ56d%aN4<{o><#!EQ}!E zB!D0Xah5r(vC#H564~n0BtjOk8=GW6rDU>BD-#Rw{d5d8Sl3pU1p{|@L>uGQ?_p~2 z0yGd^yiDhyCQLCZ-Ru~sfFK@=k!063H4nY!fauWn)R)3mnfbSS&J75g7r;HUxgYRq zFg)mE3f?tIrMfon7o>+VV$x7~!sJ+(CBYq|FRJ+o5Tps-;8&k{f~PJ+qtI--N^^e} zc?E=iFi}E7)BxDdUbKyFXkfajJ> zJV;F_McH@+%^LfByGq>a27zq#uMUauq0a0(R~t~vmk@j>{(0NUm<5_|0(#FcAh511Ss+D2%gA&1;glQ~^*0*o zQ#Li2gX!oU?x}ktZg-~R%u+!pJQP+8aV)(c9t_jh6p4`KRw{v7N3xk|HVz))^@3Y5=NI10?4m92u(D;Z~Ijg(s)q0CCQ!WLqsgC2_DsU?U?y<5Imuilhqb9~hPL&z6ydqoL*XI_IVvX_S4nz+968Ob%1!w-M3B6Ca z9(cap|0bftl+{eO#L}#Gok*ygY1l~M3G$OIp@*a`{4tnb|1$rITk~&UQf}^Lw6`MH z$Bhxx25>78mjt)4vX5cB>-@X$c<+NDJ3((ETB)*t5|lc~R)JUA^iv<6Q{5qaS;$TY zDDT&m#(0rxvRkJa);K3yV7toNKsv!O)a=%bsb4n7KhO)W${8ZuGUM?qq4X{DgL-&; zT&=Fo<`C2^y;1f=NUn7Ll#?WsAm`%FR|qGTUDF1f7nXu~il?chj2GKV2TrJ;$qwBW+0xTOK&q#-u!2r?K@zLju z`8xh+jd%9l<(aK2dy!l2Z7(^&cG%}6PNL?8Ua1YpTZYkWgiAPhU5CsxfU&foX!qh| z??El7pis*^A>~x5zNim6yP3;@Xn(U3Y!%rNOvW=gjHsLl=Z^Ib+Q2ZN7X1;#!qstX(`Ec99=L(- zO;d`~bXdq=9M_P}bM==sl~y|hF}a9W5jB8!4a>sW=*kYzi%+(H~w?S%fj zXHLW03th!UshqyA7|nv<4|xx$==fn4d#`eZRdtDIpCpd z3bUt7klF0W}&iR#b67vl(5~QDPF?_2#DMY6OLLZl;AOBCWRPR9&h($ zw)bq=*xHvDq%QZ208#f}6!`>znZ~iGkau_mQ)F#`^h5|pg&%eaOpOnN^hAR@jH+~6 zdO+X)E~^Gv$zF|ABeCny<>4pxGVSi}M?ZLDQ7Hl1*GKVGwc;i=jJ@&q4%8R;9UVc6Mhf-FO@?0;}! zTzfzP$4s1^x~L+Z@*Izid2KFaB%d&oWl#gf)eHumRmva(8SinLdq+;vjOsTe5dXNx zj~`dHsOmBZdMHJwt)MWY`fO^U$_gZHV+-ZYgpTiV+uo;U)K{{?bcSD&-{3kuVMZZs z@vD~y?m{U&+iDK}=%3_#K(JliPng2T2ObOvCCpMo zS5lhB{(d7hj|dvs9^3i5dOuovwQ#@COScPD;Ql`gVO*xV|IEF<`D0o<{!u}gRboBN zx{)uxnoOIo^(y@AIKN_NABIkZG=Y)v3x>qf!rxA(~T?U!r zb%LM`2=7FUCd(VI4j2-8#!zhfL71Cdrghbl!Sn8JjMv~PQVAAc4m~n=5oTcoH_2Jf zdL}!`k9`KuS?8*uX}u=IQ<`Cd0#D$NH~(;;F@HG-r!8=B-c_uD{Pypp93HMsSZb7nD)CTm@a^OHAGCt`*0Jic~nLBW)3FwG7 zctT1z&ddVW2b4=#Duurw;*Nc9D@;=D%di`R12^y~jm@6fnW?|Br3#kKxnIq?E&DRA z0oEXPc^o}1ug5Qsr`3X?JSO>_&t4pJ8yOJB(IxB}q1WWBq61lcZ&O2mSs7zFs-W=! zRQ|wSfWx)_hu(=&Y#=(+^Xex=YP^MEQ;`d$oY=nsTM#E7Za6%^c!Nigvd+~_#Ccb- ze1e8q72)MS>LQj1hpZpbmHDUU&480k4mO(e7F`gZ(|43ja=6;JF)bPQ^4RiCmU=U1 z`nM%Y6UJ-z;Aw+$rTt~FuitUI2pl&&&BXE%ure`eggrQnks7gDq@YfvXgMrFG4=;x z+;YenV!gzch*I(5JPjZG2s* z=#c`eG|O)U9|$USx$;q#6E0fAye%B(f79YgFwJiBB4x820gFC1*Z`Mmd^w1U7tWu5 zbklJ-=JI&D_oWFh!n=1``^+%v$ zIZu{H?G5nikkcr&DetD?or(#A zUSK}3h{gjqR7G))G1wV`L}@`+#QH6Mqo8wt*G51$DN_i{mqL?jKh?k_NEpMMDK7cRbAoxZU%uXB}d>0@)wB6C*17<_pW z#9EIV|2o&|d1~xF*X(w#Bk}&0+3WPnX$X(EzFotFuvp6eLk#4y7I^DHPpY~5f9Azt zjPb^aDl77|?CJarDbkdtkfN88OEir_jW7-<8$ zwE-|Dq&Gi?5=LZ{g|P%d7QMjh$3T&0{_w|S_4#x!tTGde(`rn7U(jY3Ws_FJ0^lBRsDzPMc8X%tgtxcH0-0w<#}1CwCbVB(%GX0@=gf?ygyd3B0r`%7aOHzpMy(BinHeXT1L?CNBDzy63AT^yy^^d z!bd+tF5fNFn!M;RpjTroW%Fw9!Elq1EE-sy>!CKqFpg$&ROyf9@2bZ@wrR8TPNmZ# zUc64}HIwu)!&<7RXgUJ)$C#Btt<2Tz1{0|b!itGIt_b0cCw+UjtWovnh5y89b%K!E zmp+EQ)`1-v@3I)zS$pL-{sH)0+>bT|_LaslpUwT&np-rRNy5xak4(tJpDOqrC|BGB z{07nkYVpuWy6UXMpa%0yw_R!hK{s&zqA3=O8pp2S=B(XZ`UV0!AGYNN*||gq4ytrXrY5-{=vyhgvAv@&RO+|vHR6+{dPA8Tg~ zORG(fUeEAQfUTv~Pa9u!NBGUqsQeISCes_?A!cH}g2$$WtJ*`jHF&s;L$e?Q6xyJM__!}dO1ui5 zjcYN{N`vg8pl{APq=Kz78S2fp6q^o5kx`Qmx^z4?t!*=S^N&FoVfg# zQk+T6WMpIFyn>SFHD_T1Ou&VG^R$~VFdtlrKU4J>Vn8r%sFe_+e2~N&AEAX{i}P>x z+U!G7>KWTPlrsn}^ry8Q(A%GcLH1H|EmldCDmc*KXhKPW$$ap{IAQqImp7DaqX-98 znitFGsA1y{t>q7;-QFw;u4*VH&28{w00NeMFQV?(dIW#0gMFln$43umsCGTu1GE8g z_M(_otiw+-1~CQVx1SC8jR{516B}RPQGUKXI<{hC?Hs*Dg=GPHmb;dJ;C!209Fgul z%RGZHvrH9pt1|M5)BXk}N>7oc@`kU8vautP2s_&~e7pHW6+Ck{(TJGz_$^3rVMVyhbpA zbMk#B;(tyG)yC@RKcrn@WCHCW#Hiu!ncSY8)F0o?0#Ntw7)szQg0gGP7Wvlx_Rdt+ zsVMB~giy1La)5D|a?N`Zrr>VwaJMFKdfzDeUYP&AAq``f&v9AaJw1?c#Il{)NCWmv z?ZYU9D?a$V^*bs&1}Kk_xDV0e*vnAdgfbF_^B8)~b!c!YeGBj4;=3Z~6--b#1Y*GV^|jH; z#Bm*x!UkA+Yk_J@e7MkQi(7&L0fq3k(UoFuy;0^ zlM-#8!^0{m-96c-OeBr};M~1`(y~2dZ=t$Og_bpM@26<4#uz2;D2~E1dB*EeFPeji zQA;ijU&Tei`^?gGiSNrKM{f5yoP#kp|M?O_HB!IYTS`7zJNTs7l~I!bH+e&|K9VxX z_O@!&+s#mS0Xl9LY^%T2v%$#uk3t$)ox{XTFWvFpINW+V^az-?1JOG$^UMB3*^?&d zl7PJk|D{Ny1UbMB(=8+Ta=BS8;L4gLe!b~@e4zP(kE7_wnaRdm?PhjKxwJ}j3}u~n z^QHW||EyFZdUpb>+g)qcVpfMvyHTE|Hk5V!jGD4ZKoH`5^Fi=+bOd=d!<;t3706U$ za5%j_Hv_2=qdm=>PSJuP?DhyOpmE_~r=(MG1GUl!W!SsET5XCNt@4L4kOJcm5O<^N zQw>WVO5wmhS2ktqe-6yzAQUJ`{Hd5%n*4m!MGwb*JhPs6h0?mpcTUXnu>J#)20!fHCwJe9%U}t&rSCXgR z#X!kYnfyiQPKJLuYMJCZcN)P2JsiwreLDUuN`SdYY2Sn@uey;JuaxxESs5f#^nnb` zm!;TPqII39SW(~RapzpYe~+vZ9pkIxr&ZDyD1weC7CvyCxk{!~45~X(mKnl}*R@g(Sx276vgg z($H|pC`!u%Bntilyc6)NHYv2YdVxQ;WrkXqJ4oP3WFfrD%Q^~9V&DaHjpA_^+L#I8 z@L;Z+7TV@J^m5K;A2+{HlajCdCyfu76ODcLEy+$UeORd&CIEjV`-U<8+Qz88S_OrX zgV&Smi*e@}V#9vE$z5$G<78lv{@z(0a{bY85C4;1esdI=<(z&(sZtEe90bmN<>!gf;E)L8{!rcpSQ1%m$P${#8>TcGo{tgldA%89YSmxLsX=AM*r43i+FJHAE?8VCcI^@ytBa#Qp{hi+Grvtrbnvwv9WywU4uz>niO04f+5 zC&7?H2r4=~xzz=+})y06nSY z=t^JCscbCF2&tj@_I3(g z+KRI&4O1=B`)55zF1cz5m`tczy7L0NHm1OTP%{Aa2BT|p4Si_A<}oWm7Nb36S|>d$;|Gn-{-%ueiIOi0K>bvc*v{fct&pMIO4Db?}P&MiG*djPVD!f=5MaG#Nu0A65#;l{c7$Yb9)y%=X!OQ;;a; zntd~!Z^PIX)jpI$#<}j2>~WXmXs8|1az=DH4`>!rsdFOTb#4P%+9v^PW~JUFMH}u;PFKqfCKyG=_ViTLruY1@jFPA}>w! zL;Z7zs;35Y)buPbo96Eku84>@oZoMi=t?F|%SWD|n=XgC_QNc8ZK;@zR&?Zq#SUFN zvkwHU$o>w!(zsm)Rj-3YcZ!S`AIjQ*Q8$keW^re&<#Q>+2HaIhmF@1CIoi7H#0(Sd zzp|8~aiB(F5nE0XQ$PF@S6=!-uj6|{tbKYk|Jj{mJ~YqrmL`PI*%DaN+?MIv;{w24 zChpX9s?cVX-@V22gnK^gc=DB~bB&xXa2Lfrq&%9VzE-`49)bnvAf^>8N_f?yC)8gd zf+~U+X9`Z&rha4uE~i>tm<+Fu`}l2h>ei_d-I~~%7)PGNOtNc;7C}PJ^8(tJ>|m0j zRQPRCY?%@0+U>Jk`cqva;v`yTS%ACHpN3zU#9GEEH;l{cqv@jJb)L`#I$t0A@+8_ymHO$I>TjAS~>C8-E>`g!jtEgT#sE+X?I$IUKjH-spR3xOpqXlXx=L;+S zs$W(3_Vy7z`8qIxA}_nf^!we$(#IY#>8Xx4UX0WBPo&*_Pm8c}`b#q3ybw6b75qCZ zs>N2Q|5k^QTu3FFrE+7u$dMF*D=2G#8fI>Q>crTxO(AEO!qQ!-81-7jzAOw@Ab0m& z6@#@=3Yk>?YrlXe=R|W!h8mvNn%$u<)Si+8F26ePjDaUJCgsC;d*fBFlW5fw^h6lL zJzFQ0^oodloLy%{R?eu5;6uJHZ+>Lr5+{}#>l3T*P5y=vw>6hy;t)@d3G^F_7T;->+D)=O)Dg4u+hw~OtONKlFXy7 zuu^bGkb(D2M*>2`VeZR$6ZNa_`NJthla83>Gg?2uj(b1G}WS|oD-2ePmLBlU+ZePlp&5gdBKie2VaeecKd)(2j!UU>$;6v87 zu|kX%zgwxVomk>$4h!WFHiaB`<@Oeq7moByj#xjucHvydV1qitYM^nH{_em&313ff z)po}EdzW5=9yE|7OGM2d`Ibc)yfwi#ZOLgoW~vvW^tn;&ViX zF;K4xJ@1^%;#|2=iq0e15Fj%Ks=7+AW2b!_e6l7SW*+fG*VxN(cxya-=RfVHv5O%@ zGy{6Gk_h3ERE7P=T&!<8v*66~Rb(#@Q!QHi)9nJ^j!)zRxkR_X$c{o62csZwhx%dH zU6Vy-s5#^zF6q+1;$XYF=h}UmPbxyvE$D}d3tW(i7O(BJD;a|<$+v{bdbI(>Dq(qV z6si$l6jWfZpnmib!6*4VpK}yK<9yOgQjFT9P&|3jo_6S1=O4V)67Yja^Ww!m1{Fuf z2!l>4^j^LyBlNt;x%eUi`V97K=*hX680!ikA$KK7aP?v`HQ-ntJWj$ zw9oUCn}~mEs|QFtX5=jg2^PP4`9QwF1-G2cl}DRbtHuH3efVRyYPWX?-her=_l+Q{ zs7JTIX2FfMVR`(9^jz|M9j7bsGiW$%e^{8Z+d9hKa{Xn47V>Yz4mSg>{UQvBSi`)D zOw|>H3KZbqk){neBBP%5PWs_4y)`m!KZf>?e)nQzQn;J%%G7G;&Cfj_El{Ugy|D$5 zvjL-SqWQm##ujs(e4oktc)o4Ge&J|j#%%O4JouOZ(P=}k=|Z>Nw0k`OffQ*<$08X; zZ#zMq)Y6xgvCm%QYSu(2eq(ppxg6$=vUlh^55KG<04ijwG$Gv~@#d$4YEw3Mrff)2 zn_6t1WW{ogOzAu=wgtiII*erT4Cis@_C=8Xu)9uLhpOI7WvNIyZ66;kP}wFnu(N&K z_V}_sZgAis%5*<(`)VRB7tDqDF^Sly_H!YPeh84N(aOHWey{QHT71pla6*gt3Ug#?=)&y?u_Ok zcGYp`up6e=gJVdLtm7cx&cU2BdSi*7ZuG-Agbm7SmMU_94GS8T12<7?gIgka+U<>a za`V67Hf+JfHhC)=(AS80;!u|2{A!E~taGQyG;}GcZ|j6oF%L!E z(uLgj3C16EZ9WpjWhF!8Si0WE(CafQIbXEq~anCdFnIoNKA{GF(G^p$EC}Zg0 zQ}r%_w@=(dl+7R;esiInf@8&{$50CWi5PM1Mjly~5^>z54t0WV)HC}>en^8GjxN%! zG*^I92zG1`MZhcR(`Gs@QzB*X=-po;QL7fSJtZ3|jCu$bYSvG3dN7Z2MMTg(-oDMD zlp+oaJYB8W4XIoLAv>xsZNQEC!^&+~>5ft&$ittU!-ftUbn(=q>j%`HDRhL_X)RJj zbW9P4$Nfmht{Lqx5>lgGSJ}GN(On4zhh)XA(6Dm~lJkLtL!iI8Yw7W#;x{A8c7zwY?f(x2Lq9pXPRzFz`Ti|ICVs(^+U( zu(gQV7F>;WowORJ9P1rTnnFiJdw@dSyn1zv2>H{581~~{BqY@NUqHNwHHUsq+VjO= zO8+k=c*J2zh?`&FoxC;6Txr6`^>9}o(u+Uopo8$6Nr*wfKb;qa<2tOOB9xOFW&+v4 zUHZBEAAU>VR>9m=6XsfbX#;I*3#`Uub zmMJ=~xBgVQML@i*!QOQ~B0Udi&mkprAD^<*O9TEg$-vtKE_7#}T2unakvNM2ugpBF zx8FOWWlGCxWuHC10`x;=msU4dpxEZc@n-;06or|VxHFgIGa;R_%s;>-SaK z`ux>3*x5N?^C#{OAR-}=fNI_~z$tURwYL6y+dO#dcSLrh_^R7zt7IkMP_v(rOu}^U zxwR-X&)oC5wWT+mn+>I1|4y<<9Wv*VXtm}*8X2pQuhTQ~T1CZIuX{8Ryi%`$<};at zZeVk0kj(%kn!)tgvFi~1Z!Z0gpzURT&h0}&T6QO-WJcBib6`F=;gC$we!-JC zCulAOD(P+xus?8P^D5HD@j>USDORLrnf?s?g%o`A_Gk+iCsIikKC_Wzbu1IjrGI}B z3uXFq5xd}jf8pQ+{9h8DLn5^rTaY1xGM9XESLYP6sfu|vdqwQ3--#3xZy#-Q!^jY# znMVM)fNVnUjSVU#zF+`3kRN2`Okl$6H18pYj8r3p)&&Zyn*`5LFKHM05;9Hh9Q>AG#Zq3WwY2VbVOgND}5AR^+OePogH8tjC$;n1~Cf` zJ&S$P2_*^JTS$R*N5M2c(yhCkCMOL4eoi4F zbmV7V|M763tHzR4zd8x|KP!&_f0tuk18Tm%aKEH3WtjbvI%Ej5%7nOoN~)nCnwyuu zhH6Hzh+&7h(ToG0;g2{#RB$7`EGUy^j7?4x)kj2AgHkz5;nLg~t&rY2{rZ0DAmF@T z@c`FQNm}3T&~%lsE*Ebj(%{P0d$oSnGcc@tGc7&ENkKpUep(NZZp!JRhN2>70-E3kea%r08i}m$gHnZDImKXBYD5&J; ziibH)^0Ry$X~94uozvEV?Hd-`1!ZtANn^5qHzioy1uUiz3dJj^%7;Z95I;Vc)uD^;;fSamyLIDCDFOQ%!`@8ku+!w>fCh z#Hj;vWkXQy4mNtg;$!MiOvIXFjiui{9qcZdU1q+&g3jqoq28r|5W^Mpq;qjW)PTj> zHB6SlFnC<00;}4%6tHKKumdU2qkb&rmz~JAoW!)JoIO4dq}GO~%0r3#3R1Y;`lB!3 z5N&|QvwUI!PmYIASWBNJc8Y;*?w-nLmb=Q<=11ob-3r?d*0mf+!9dW`pT|^+yz5lE zeQ>R>Y5&_;EZGcAc}uyyDpt49iW;^QEd3!A>8)^Xk0+Z+FDOTyrfEJ?M^lL(x)2f>{Xi4~^bnK5koof>G`2JhBsP_+1bdINI)Y8sS&(t@+>IB| z#}p9YeD>eS7%<~z0rLUA7JFx97J(MM>o4fN45Z`H3_S;ntW&_}pnpUyow7sFv404I zNO~k%<}#*S+cxn9EALbq!^(nH-4+S*8S#U!|7BCptSHL$!-U#ICmT&?RrFo-|=S= z$Rf*$TMbBg?j#k z6-*FLRI(p;9)6)V-D6gY0Ro!6VC4X7KmYjiwb;a_qvKn}JuHe480T^^&VaH#BK_v! zqthAyM7kLe#z+NmA$yIKt-F~#a|p?k#94P2k|NY&B>ZyD0nFOPjU~CfDRxWW1RNjyA$0jlFiRw6$F!Cv7kr%32I!!h65 ztPbfGNOa#j3erYZ{oM!CPr_BucG!;O6|TX`ZP7kh5&!cJ!K9n(k!6RdF41Zv=ERG0VVWjk}fHp$5h zJ!Xo)1mDfretx$5VL?Ze;GC%6ry8gttCB;M)Y`zmZg8R)1{{K2CS#KFK_A5}SNOcn z*z?=ZS^~`&*$*|5a^irvq32N8WHu%XEQX`Y>y6LSojl#`_!mnBA=GU7Sy7oFl39dD zrpyK>+!)-aAT$M3b#L6VV{DVAWei45X=Lcn552FyaK=JuM$FJBf=WJ0^ztLoMPPW> zRxBB}8Eu{kH@bDjW5(7P+}E{2ZKAAD;Jcd2%zepy{b7s%3!pz=UmF05Ff0BJ&`Wu< ziWrVA_IAAtdEbean3TFWyWIn>7JVy5Bjut8B0WJp4HzYge|0LCT_eCbJ)83A*LG5 zshn;{#R>N{c;QZ9Br31_U9S%>y~M*i)x|2{8gQ-fs;Z2$aI(n9?>wf9-kmK)w0f=1 zdK@$SY5LV(dHOl1<-$pK9=^gq?6Lc2{Rn`2q8QEBERp|A;u~lhm%|MWVZ;%&85vt% zzW+Nl2nPk`q{Xlr)g`zMC|85ZPHJy5aYs5&DYM*aGO6+HY9eXnaQ7;vmj= z4&4%ws|3J`H?hskE$=Nl@3(r~^trQH5T^Le7GlTJc);a0&K>?e@O5Q`^TX`z=PhnD zqISVG7lrCMZ2thVw3{}QtbB3ZoSQ;5_s%k=zqHC#W9rZg$<-gH8#LM=`Yo^5^0iy0XfnmF*=LhuOqeEn$&=Q zj4SzR8>IGlt12l~Pkv#CxDq=j;nh%#Xg=-1gX`JTO~(&vKSi_R6kGCs{yK%=fAzGJ zviFX4#=Zlb{>i6i`I$54?sEU6YlQeVf6KQG^sRO-&6(UNG<8`-t*@PJvjQ4MU^1VpO4P{E-{o^@D~VRs(s}0Bq>p4)Et-5 z>`gLDHok1r=)Siks ztP8g>Bg7ob-W?bR#bF$fBRM221{}E{XFOE3-d`{-Ged5kf+#D27s=Z0gdKT~^@N9@ ze^&l#}5jk`(=ibp{Y6gOt}%3sOVA-(shKdrJ4QKT=t%~ zwL+E%8OZ;liWe&c%(+5yPJVr zk?me?HiX(*{MO`;W_!-aT5Rvb5Jn`^^o0 z!?GpP8zl5*F29`DJgv@HfLL}ps|Pk%3KBpxo=SipGtVlPWHNp;wT=*XANVOdNfmEX zgzxVyMIMXZPS+1+V!%0us$7;aip@81f0%=a1;w{-*J&r|KvR+>c?15xpMu=7^*}M_7Omx#uay&Eip< zt5H`X#qk1x`QNI5kgRq(BFObkBZ5ni`(HT>IU+oWe#M<gat%#H*@*NYiZ2PUcsa zcWKK+=xdF1FIoeHn@^uc5gCi;)V~IF5-KCfha$#hri@OMF`Zj)t5^Ps@jRIAhlIS< zGNA%cpN=RukySJNJiOvqfY>$BIxTpm>N!4~5nG?K-7`n5{PL0FUh;hCi3z$zPekYw zl=*N~?D5#cZ);k;fqX8!jM%NWf}0! zhfI$%G+02HX~Pxi`zUw5!NQxjP{{QHkj>~K1P8pA>@*iu1QU7mb_8_tx(9GoIP zwn4|`uK-Vb>{h^$q?adHfH2k~!+5t3hIS`Oq!l0U2o5oc-VVZC2J#wMOp}f$Qep%N zb4>seHE#gG!Kb^6?Pc_OtB!{EGv+C+m_k@(DO>-aT zovAzoS{ozQ-~Pi(i;MeQ5u?y(qphXv*!?sG!3a|$J3fzunzId7dRTy9>F-J$hAqN{ zgp7TIEK_}()d1w&*TYka`Z80T_6bN{EVPWX1=Z;l3ACh<(_=s{9C9vZWmSwL?fI;~3Slq`5G-flb8|uEmHt)n1 z!c|?2(}x@2vb{eeeSno%fOt|yNfxJ0sv}Tc`5!$&Ecr*iloSK%(yxjN0$1_*T5o~LRPfLm8kX+~;(@=!RzZmjzC~F;vzRO>pKW{t>ezN2 zNjPl^Sok|YU+5VgD6j@Cj05G_fzt?bkiey`t{Z6WPrE~K@o!QW$5?=XeBF=$elDo& zEn#^NrlJN|KOThPV~P2hy6aK0+B{#S(sG97PdT6#hfMCBB9?0v4Q>!bhKK7(TP3;oKqx*i)A$iP z%;@64P4I-4>g39`^XF<#=+I8CS>hkmrB0&*u$4<5#5_N=d3C_#KsaSwe4SmSEfX8uo z)$S^6Bc!K6=M+zzl}B~1P4pTu{q{>?N%t{=AV^Gs#^-`R_-IGxR$CWua#m|W`5vSD z3tB5U3%XLQY%b)wARDp>CMHL_gK@6ASA){R3pUslP06bYFEvf62*??4E9HYxtlMq1 zxORAv)}bUaujc&pfSK%Afangk(Wx_$-ez?Ik6xbNA;ypinW+am7%@NPC`X8;Ra;B= z+WK41-otGT{*e=F4?P-AX}HiGMC?v=8c7>_vQJYnBNKddS(lp}Y!W3AOxYgo!hZfG zuDCG^ra6qo|F9@5E3J5YG+u9zUX%@o_rI2|-!@lX9%9BD0YjEY$5?>qDTwi3bV$Fs zfpYtfxoyLdRB78@N?{i-Wkcz*u_9QHBO_O`7p0{^uyN>2D_3Uv(deGJl`2}F;13n` z0AeOO+X&1%-bDOI+w_RtSx=@-)2gy+Swn&5BzV+*M2enKgI%W!zyFry-|>QM^_XaJFK2ds2Qn zeJSq_`(@8l5!4^Tl%#vO^2zSs>2{=haWTHBd@n93{U*Q}=mu3i!dQUVzj>UF7)wG0 zSt8nxYqZGBT_}uoj{hDHyZBsCI&4f{B}#!!a1Wx5TtVS474>XL1m02$rFQ3{Jcipv z%}?v)hJ;_PDl4R)3YMM+K!)25j|nZSGT4GOh76ar0QSj4q`@iHF{&;ZIGyont&h+R z4V{6xzl`4noCv~$3*=>3fQUiHRu$f}!SzFlePl48zcqgx%_p|-#A&<^`M-tBMSG|D zR-7U$oya)ECe9`#4S3UXc;Izn4k9&+pXK9CNAf8Q=6sl)^X&%$og6%ahBjc;q>YP@ zu&!p*mr^dT&V4>fyAxz;cKK*jULkBHg3EOa4f89i!~{Yo0{N(B9awqqoP(nlLfX=H^f0(8PTNast1yHAu zMx1K6G&fCMI+Oc0#;TF{$fjA<)EpIIK9sJtA@ch7d2)Cwx!gXFEsLGS1wKF>z9JVU zV^wk_(mAO;0y4z2DdYkTsk)?Y4ju*qHsGOPQ_G z$V6vu;Q^N)4b1niIi#~NaUjyWcGgKjXDe_p8%B_ZDj5u$(7?(^p%E00>sVl+%a2H< z0p-e@F>(EGJn9v*HvM^Dg>$w)LZipZib5gwH0M^GGCfB=`(6bxa!A9n$YU*dZE{?-tjR50AFY`ixnGM>IKRotUS zNijYpdeZNFbgP7F{wY!(QkN_XS%qc($(w$*413bCme#^bAiruExxFvnFkk^)d|${X>dcgQmvx(KFKdeXnc3Rc75t0;Nf&?Ikl zrJi?Tr=A86w|bcoCe29F+VYuJ2g`H&TC?F^;tjg7)Mg=Lu6XHJ%jTnnS|s}*g&jW* zFWFd!BsfE}=HLelRO4q@fEbl~)pS?;xmz4HaV6MS6nd!AsR>|T^IoRcMq$9HQ2+tn ztX2_`WT$n3E4cfNu8$c1e%dh)~%kvOUMb+%HSbOXn;tSNDRDt1lPfc3p&dW3|N5JP(BVXwxAso zw2N+iTZOcZ4m>ZZROP$FaXE`cjColkDuX67cUWMN#DP0#s7%kZ(Gb`G$9quqX6bfEYAzX5MFn_-g8BACk6dy!lo5b$M17*jA5`TrxD0Q9De@ z%}N2Wbr@pNVNY4Jvc2gI8d6lRIkyC~XeW~tzlvIt?kO_}FsKEzf&G}8c^1JLw4Z>6 z3n){cId-e-$uq>4UcAL`C<-MAB81jC;#7n(p_rw$U@xI^Yhj(AW>|n&pTaIHrImT4 zmc^BLDEmq?tzw=Ew6Q!j#Cabj{NI{D{4eg-|N|sF2 z@Ts?gh|L}b6#ZBU4W}^G98t}QidjLo^S0v;XdS>H&w*t>eP$s@S#9MQ1FJV?bUrb0 zdVDcuuhshi$Fr9pNpnaem_svd2T(ZGofT){LBI-Nh^z~Ik4xRqKZEPJ( zjO$bzF&L{r=G;>{ATvr>fOxi#Y}Ch>Sbf%}LpY&ZVia)9>*cmEz;Y=>!jbX*L6ub$ zZ;R2rTuIo}B_{G8XK)JZ^~uh)lj_aWhM`Rsjb_&?P?17m=8noZWkwZ-NFVUfP@E_= zy(fJy({|{4O>2aG`bR}~qej(*b5=Ow%2%C;uK`hv9)BTfuir$yGZ|h$EBnmKS+GQcKmC)f0KwT5lBg5TQ!a8xSJzyrf@2?N0Gy>y zMQlEjeWbY*Acq(O7n44{KVUny9=1%sB*JETx4K;fu~d@27WtWek~U$elNc*(H^noI z;mI}%S&~@*!kW_>1ojYEfB?>k|GP?M2$R~l<55D=++*-G%Gro=yUxF?jnTjvMq=2M z{;UNB5_T)HM(&8pf*_JR5q}O*5X~!ymOm5NYRo zi&O);m;p&3(Rjz(p%tuDmziR0@FXPiG^3b8NrA-`WP4zHzv}XxeB9z(GSi%UE~97GUvHmYrE z8A|57+8#yGBtAf?2#0?+iD%};@7T68soLa83aw|>21h0tvx}N53U>YGl~2*R29zD& zWVJzlcjj%M)k?vK|GL3gfXK0|5>)xzLFFB4vxy2QcC}jX2a31;S=DE(W8Ptm5i55}~2|1il*tILog$)y? z<*JD?v&1v;+h`VMm~Fp*v=&`e$GxYMayi@?n=vqf(}WA$m$8x3pjd#|J$Z>ATX{Y! zx&a}l;)euEL#KhD;(ki9kNbnfb;K2Nq|!7XkTV0L)TW7$Jz$ z0v|8dSI#R1yo11&Hiy8-@4Q?DZGALPG4{Ml;Tda(Tk#%$31$g(E?9v0C0RWEX5Rdj z_s^0^Um7vJZ@^6Oi!QCHcN{VlQzKmDI&Bu1L7nZOQ4XqBVEx5@48HYZbuHJszZi|6 z^0d7t2@=YVCmfO$z*2{#RK~y@P=qWV7@D}Ei2wh;KD{}zJsgnDQN|J{{VEE>aK&Q< zY)#f*Qp2!hyy?axfS>4CfMBNl)EDZE@c-$9%6rjL3#2UT@#cTzglyS>pht48Qa1E` ztC)1DZI18mDBR6V6FVyR>d<ei zK)5*pmV)ReM@-~{WN3wO?J+JAS?Fjyn(_7#YOp6d+ur@(dgQ{2CRl*j;+8D#LY8b5 zT&W3Q9arqQq0tomUmZNFtc#C$Z3kZY#zdWt-G!0J3AZSQ|HKQv0<}?e_!n@)Ttcy! z;o^5(yBsZ*hbrHOA;ZNhz(chWoI6l5kAh8+qP6%W5$+;Ch2Nh3`SkCL;R z)uohFO)cHVT+C>Q2#+l5OG}A9vVEuava9aaNgiqtZ4ZKHSI0G-L|A|bZ!73$oyS7v^0%s>l8Heu#aCm(j%5$S zaXa|?L7WxZcDm+xRJ%f0fIuUte*i{U-{YV}{CnKHo*gVVHJwnoL74f;wXxLxOR8oq zNsuaJdbw>^7Kx)q^J4P)RYj23jTxX{alXY0gtE;{Z6siY^BvqCr2qNf9Vn(-^O$*= zX^RCV|0e^k^{r~1K|*cjxM>u+;;7*oJ<0B9AXYM*3kwnqe6+zDCRl(NJ)&UN+Q=2k z--F9%(&3>;MR-VdidBkOBDSAr0n}O$pghF;`s2>%@NyX-oYkNT9CVX0L#us1yea>H zANXoJ4xp8_ifI$!dP*9-E17iYwxQ0C9Qt%>=23RQyIUSRmgo}j)mA)Kc`@UG)${Oz ze-z*QZ+f$-ZlhTWJrO%tfN+~39q;((PEvr-e|VG5CLcO+7w_Z4!0`6FrqR1nK$y(Z z)bw+Qn`P8{MflgkEk>FY^1cS}H>R^Dm5oHp9J^ZTP@7QUu0jp*;x?2rt=a~Aknn)!cQv{*m- zu|j#;-rKz@IH1;JqNk+HzN9cT=`C0r&t#@v&scznM<6;Z*^kuG zFA1dl05)s@_aFK^u7n(uQ=?)a8cjh=QUK-J5KB@Sb+vwf4?P17*s;`Qy!=1VWAmn0 z*1idj`9r@be}jO(trA>gL_ANy9x>KmCM_^qYOh+R|I0?xFU0-h^t?zamsK)GhbIH^}HAw*$5;a{>|7OQFUJGT$Hj7vm9GgPd9a7b@P-mT4glbFL0Ty5@k|*=Z?R89U?23<< zQCk}w_$$(i7@%)>TZcBy?ZIJGP!8Aghl?!D7+p~BOe&c1t3$DF!%}MWJ5iE~q?bq9 zE=NWwNlVTDX!^nF6Bs7Uc2Y>7qDOQXK5&7Nvsr8=7OO@IPmtGnwt zW+7+brl*0rA-g@gpnPNMkWM=Nhn#tKFaYk!lW0oc8w|x@ETT9AQ++rz{-|NYp07R%2}?Eq3H zHy@#{C%9LUVu;XZ_-ei7q!vsoxd2s;j6H{Pd~6f=btc83wJ6aqq`C@+Xa&(R2J>MetR{8o@j>yR?5(9)UuAhhC?sVTXFx+hqwh@3@n z#@Ow@o_LjF(r&AD+X}c?fFRNqXZLvp_^T5|Qybx}ZFAre@*p?DY!-uZ`og@$<}SI(XI(0lWc%(Cv^$t2ep>D|27dG==RH6#8`mfA4WXy-O#31 z-I7?Dh9nDe@|cS{X@X5AX?LeIr!rapI%bhDidK@iqvZQd@KIb?Z}OEHUhFaB0z8xh zTF^Gv?%B|5cf~yac7V1*fb1I;wU48ot)?wSF(fV;W#^}`F@zVJd2l1dJ99LMf^JEq zR_!18N^s5`#lj5=rJ7S%fKU-6e>ad6z^_9jV^w~zuTBdoAM&OMx$w|=U;dvfB!W6ge*s8=&HN5>qHeF;U>h}x{F(qg-a?@!qEB0dC5 zLs?fg7}XZK-g(CNQ=}u#APn1m?|md1M`jBy#ai=pk-Ds!(2KZdKa{8A(QI1W3X;Z-YU*$^PyN)B2fTlLZ=M)vB( z;%{oNrz(FXK?QJ+!^%k6fCrLOfG1r4kbEM+W~~BSbz1!$;hNI3Yn|)}TXlAFdegl7 zTUGyBQ&(CpB#S==mruS*biE4PWQ}=|Mfdd$N3RUjqU%wjrxnH>(pZ3i`?i<2<2RP5 z63Zyl^XQXl@|@Z9DT#xiA@C1rxl z4;IaPCEpersP)G9dGL!3HQdM2ZN!{h)S^tRBNJymy9}$dJ=^Z)XZu3y4yevC>DiEo z3SJ?4hBp?dR#${5vn$MubjyTdWYb?w^RTh=xOUDOi9I)!)fEfF~6` zos5(}y^B#E0$>aK9ef-cj2J1#zwl;FpIMqA1t z4B%}iZ&3je@K10F0>53al!=3m-2Gn{yx{$6f@>b9rS%o}iXHzLGqNOCz5KN%3+fIZ zUAqcQ->hhmw=sLi6q{H({=GQaWK#G+C)Wc1@@e@|booAR+fko}#8`kh-NY5;P|X-8 zf%HXI#A7UZ)J+fNIV>ESgE0@n8!S)o3rE7}Rcm(%1c$U7{c;6BPX6Li_=ZHCkls5D zRsl4^5Z?TYrm<#ST)YvL>t~>@^uPl2Z}_A~UbCJ_&D}#^Wy}JSp+$NWj?Q*iMHgsu zct&r&eF!}@97e{(8zAIZfDq}3=Bz+mzJz+HJx&uYlAr3emAq6RpDgSKHT6 zrhiVj0#%HXpG?pJ7kBPNDfQLZYYCJYFac;ldF5uP32zQq;A4-GFj{_aH^>`UmO7y5 zut@MwBX)3J9WqMG#S+;*oG9A}X9L~y;%9$0{2of%&ir2@_H z?}@YIYOAo5X}poQ^?1vQe-x}0a5XbPLRBHCdlv8EIRnpr)2PZry; zjMAy*$`_Hrerl9Q>T6O4SI?#@PmdtCTQ|0IQ^`%zjb~f~GOxTIxSn~HjIy`{i`(Ln$FnhK`d?EPFJVI z78D2r)COviSE)b_lc(*erK;=yx&P?*@R<52(1~2PLBiYsAg1tX6G6a7;-*MfuhInp zFYgw!>4I}=8c!=4*^*aL`zclH52S`wd>S)#QTVt^ZKIK>&YFEHvsi#QLBM??Vq-wV zTrw&>)4QM=wC8h#(L^|5ztgh?aPvxX)6)IT=dz^pCcwl!%Let&eJI-6$oFI{Y#h1~V})dEvb1lynWio>_>>sWwr%tGK$9nZ3C zMT2D^nSJLTD?ZX_$XMAtzb2mU&gD>abF$IkCD47WKF95k3+L!eXB>TNOJNlY3)Jk& zkWCD{PH&-69N$x+dI%_-51$)$%1Wwn>`~k!$`Io+e#WK0Wa2#{&%)(TE!CxogF{-p zrhW9>`dl#M#oKy&jp^7}fT#%Cqe?H5mmZa)os~>*uqAy8x21mcS@pBq8cl>vT%zV* zX4YaB4fK;h&#hgg7^c^bmGx)R75 zO56=F_W@Cizr4o;ARmq-!$wUNnnhjo&=gY7{ir_W@b8Q4y_>TK=eBeVe@SV}^7}*) zHd$YETv!-Xlk6xJA>nPX1FCaIk+C-(Zag2-&lZveJVsrT%r@_ zFWuahJ>UyqMpbhLOg*(f`e-V1G*wSFDWI`%dg}tJU#3!eO^D$hJe|FA7=%v<&!IfbgBpM+VLP^iq{qEF*AOJWxm>Gv6q-7RewNMK;3dS)+Xv z8aOWfjwU?#V{Hw3J+(QUlkaSQ(2S_XBU0^3Cb^y%j@iF@PmP1Bp%yfjAu~zs}Bn>qr_Vm9%{?c%b!pfywg{;?7&lp7^%${)1q`sV0Vkd@>I7QAv->WPpL z{Hm-PThPxf>BWUCaT9#ioisV@M&rH(V|+!+YktojhNL+yL)4yLes3t@OzzZ<0Y-6xHvs1~}~GFj@ER%Tbn zw$Wa$7)lNw>BM*$8QE+eZpZYhFQAPxXa?Dr9@N0^<{LrYsypm-k*~+VUy=HptyFqZ z&P~-=KpG@vw>Vt;|5)D@F#PSH*?ns9 zQA`Ha0;(s-{0tn%u8#$hb=S1mWeL{LS3y3%$)gBm7DdwL|LiUpXneJAUBmeVB@t%K>5ZiH zy@vpG7$C-ho1V)5vKw4JTtp#X`V6XWo^y-NpL3C z;>7iJUIi;OB3m7OSXJe9Pmj@R%V}=!;9z4R6CLknK!t^Wh95!S=U9OFrbVQ(9fEK_ zn64~3b%hK_3G1$z2mG%WH=#ldvBSP-Dwi>4HsYB{kup;)oUj zrul-9>k5zfY5@Wj80e+KMd6(i{fjc2tH}&(!|WVh10&eAtK`Z(sB|r44EFLJzMBdc z7akB=dB9|%2{A3;ab;9kfWRnUIg2OS(#%gIZ1dl82HDzaT1_ky)d2nEKvMrkMc)pX zXvTAk@YO{a)O+RGFy|$O*tm|^re?r$vm)Ae5U>DOF}nT`F$@!}3KFNruM%&394w|y z*xISC?_08)xJ$R!pfen)p^4>kG?A*P@cli=h$}z(;?t}`Y9eX%q*#E^&v9x{Q8o++ zyCH_Z-G&FCY%CRsJqyc@8T@Zh&o@qDe|TjDBa>M5tYfY~<$NH>5&IvXb-U(Su}eAG z>QOPZ6l)u_oTlXL?ITlC%9)Mr^c!QgQ@UiCU9)eGZMtZv^uUZ2*O32%tpgSBJ*gra z9!~9xcj~ir`!g@R6rL+0}emC!wb&0438azp~!sI zdH>vI@F9OkqyaryfPy5xmmd>daJ|RWx>s}4QuaOi`z*~=r?%eSidcZaw8*zV0j{C5 z%d=b>bfTBbA*am#x^v}@fS%gNgELNc102%p$8O8|iHEcY-Zff@itjh%=E~`xT4tV_ z$dMVeSI4mfk0QMA;k)*XV$(AVPU^nMjovrne5AL{#c>WOwe99 z47tmS@iQ}hL3_sz7)loZb?sSnmDCCG$4*i6+r$y-8#w;!q*#C$Vjl<8M^8H+ zF+PAK=A~jNe3@aiQQdzdM9CSvTKrl%=}5A)ZCpvBZq?sserYRDMp?HXN9#^IOz@y+LP^oSO(VY_KTfiLs=%Jj>sNv!94^X3Y!Jrr~~_r z+5QCJfrhhBl7fMM7Z5R6fXLz|B0+Lo=;FJ$h@_Ciql(~Fu1k(fR!mnff^Em`LLWph zMqR}oVN$16T8(pugY8HDyMzta)(KxXA|OMw7_puqZV1t8z`{x)xPqTip9pa39Rp(VMy?pPrNGsSXF~SVe7}4MTY==?3w(o`2R`hTjWO$ zxzKyh_J9QJTJZ$%CMC02fWW6UAa5J7Y?a?R^mbs}wL}?P2TU+-Ie({O=^biaSt?xY z79kfuQ1!P@jU2cL7yq1~1hSOAO%v*Qe`ybOzpI(#i2g+I*U9|jcTE)%m0w>}I|oPT z82lV8etAUE*8hlSgJa!5K`k@LlYM&RuhgMoT$X#6vNNxnFk9LPxqp|Hs7V7l{rFgf}8$W&nyH_OUwQb^e&M|&zr zG2R}P9ARD&1dt!0mfc6MTWE#ro#O)=85j*sj1-k+DHG0&tMvCliK5x35x=PIG3>G~ zM%hZ{ds?nu<{K|sXlXN8fWRB%PE2w)_JT!3U_U7cAe19SSDP3)BS#&Re@OBp-}F&g{||12==+P}a6kT{>NKjJQ*!%9ZV7-lnc6j*==qd1<98WJqe zb~+?wV##qtj>CjPxz$nKwM?}EVb-onj9LIj*(>3Z9W~vZ@T2! z56{Z86j-OZ(QI!2-UvHT)&J+k4^nR1sS)6}t*Htv!2%oU1oO&6jg%rX$V2Q_pHYI9 z{C9G>_uyQdxRit}IJ!PqfCvz76jy-Wq8`+x5C@x8%E>HWQ-*+0ef^})E4m2oRMTU# zh5p5(MGUoS+T~xNJGlA}Ktc0*V^~ zg@m^T>+(EFTVVS5q3C=m5M_qs6;XxyCL6D>lk>9M)3?;l=n+uX_rrIIT{_w6fU$C)G{;v!sU3p)|`X9fPx547DdPTB`5EG<=TpIrik${H7s z(?)*TPNjFP(z$cl9GU-EfKUZ4?{Qr@h~#0A4{e%$7`LIh`o~lEoJzAH)G0p|PbW!) zPi=6qUQr^iru<t`LmD8o9`EG(SQ$X%+u7pqzV*IRF0Yui|#- znJkLI(MEKGR{+O~`j?tG-Y}*FSQo(w_}|PqL{oW2@kc>DBDL=?0a$==$&hlezBM>d zY_mK*SK>tgdyUyDpKRh%+{j#v$q!ruyVM-WWE}4A@JT%(UUd?TNeJ2;OP$f{+y>&s zIs~JtlCP}_{A2!VF%q9gAH?pt5o?Plzh6h!A|fE}AE_HSQQ_JZ2A!b&VcF zM>_pfcw1W;%};N>>t!-nfCy9a2w>XllPe+eRr-=?ckd7`4-(PGYR$?Al`WmiPg3XK zuzFvV6|HN#&~>LOGpT6e-++&eWO|7mP!AYoMQUPoJ{NUKi(N*Nymm@+T2VzUOAZfq zOj8eOs906EaLH_PP!GcdatZ3e)-#WL;-@&1hl6+j6JzAKMToQvC0KxX6VPdeG?}{z zDr+<0!Pe>E1fX`Ew;)!V2 z6O6f`@?7Y54Zj`;dS%&aKwg@Q{up~bDmR_~s{&6&@bs{R!%F_#j{2M<-?M)*9$;|3lfI!jLE_$M^OH>^p{&)vZ`h@y-8U^+=Z~!L{^d)w?P_KT| z1G4cV1vifv%=FsYxeam*>GYuPA%ylNhfy^aY(&SgsmZr=(CDC?4WPE}zX5TzDQLF{ zn^}s3$F4CWhH^AJ!?h_u_Ecgfzc9(0y%smwe@*L_$WUOhR<`|}p;&+r_lgBJ)MxmL za1fk^wa!9ndy%dz$b$`hkFgKwpFc;A1d7+S&XOhyF%cZ2k{c4JJ^^@W7qc_2v7uM2 zbqgt6jMYmsCB^WRZ|LQv!3a&X0mtk@GeqO>g97j+uTC5JC1FA@$Gcoe2o__vtKd3v zv+R`DIDnBonkBNFA=kZFfJj&e%-C`83j4Y?Q&waUZNre{cH}LkX*N{}O3C`{P?%S7 zQBX$sx3SKn;k3tfS?5l{c@y-g2I13`>PwoUf&a{OE2#W&$F<_ezLgZyX9qB`Vl=AW zUGpHzFP)K&xt8Z2dw~C508dY14=BYj{&oZ}tb|ch}E3u`p^B`JBp-SEw)t&-=Vt5!N6zZeqgoK7U$ zNkgd#AWnHAT3uKVF;asc?snIeN1zE1gOU{8DAHUNajK(e4ebXix#LB8)-~R-DkygF z8Dbo2SCkSuq9~n^FsCC}fJkV=6}`d+!-K$vEE*`t0=iynRDH>3&ng@sak;sKzqif>_Jm}#(>Trf{$HZB=2(Cb_K;d=O+64_ zxH~30bmT=bgUj6(I!xZZ5XvOUP`F7#F}ay#jvX3z-+)yafUr62!VfZfyFzWcCQ7h`M~!9}0|1T)tHLptMfNXMUWZ%P z()s1XK349TWQ)O!;;`^0R7@2}v89G0<#lI5$oo(=%~6}h7CD(!NNWf;Mku7eSlac5 zsuZ()I@Q(rTyU6do)HjN8UtBc{|lFS{;60y0Jq4r>~vcc_hxc{K~j961P}`H{gbOF2c*o6_GZkS z=ArA+iumQ1)G{{5Lp9=!O2CwwH(}G(j>>+*mr`P3p8I1Mh zr$7wah#6_PEU%u-L4F~=U%j+%Wq|GR=}B;%%CB3iQ@w7nMJuZ2yI6qu0`F~IEgZC| zx)!TBi0xdIp(<|~3mTbUoP?tRGj>|-Sng@x8==&Ch_2yYetG0`Zs9~7SByUwzv>j{4IBq3blwUYGkNcvYOYO$r0&{ zl}%0v03aqa_nL%}wCB`VfS9k2Igyk?#0=Yv14|^e@{;+NmCZfm(3r+{j&#g^UFkfy zE@#b}2}lxi>C;hg1eS6!SUe82Ooa`3K!-@?MwGN~-(>lD^!k&Y%#KKrTdE>-u%^5q z~{pPUp-8M&_0=rEkjD0F#63A6EUYR?>IoxdI>mN(4vIaq+`GMe7|2?7(( zAy;YWUPz}}XdtMVp{bBAg?ebGxoSmb{3J#JU&HUvN)t*xwM7hTB}`%*i2jgl z1@ddh-VkIxP@N|q7TG>nfFOEE)zV&ZGN|iAGHms}>B|Y=RFLoCFvzoPpmZjJ>VXhm$?Avlj>pY^|s|q4p@L-$RK{Uh+*|jIy703OP2`yK{BP%$nhEQ^y<*BB z;k%-=rn#K&lAOqN6S+Kv+(SQI;+#Yp_2|x+5xk8J=mJxoWI?9i10GqrL~e!`}&R9HX1SW=%Z z+(QfYbYQe<{|m&HefM{sQG%(t!okHqkh}?eW-jh#V0C0AKs{)C!ETc3N2IOc{L7qO zlw?0O@ehGXo`KlMjrz)n?Mm^&oMFFpn;U$C($dY%_&#bmT1=~#e>8fEt`Rm1KG zH@x86b@#waynyLri>w?@9*wU8w~j!J5M41!qOAac^U1E?4L6ZvcAa?9$8zcYQ_vop z*+1g!W-;hnSJ#s`mkM(l+U0LXOI}|=P5z68Fj5xP@0^4>3Xx162|gj@^`X!cfHkSJ zgHo%VVj$Nh$}>*JfNj-SfUvGDKhT41870HyOkH{vKnSMmsFJMu`XL{h+#lK@M*}7B zrpgJ{TgSL<{uEVLD3kptiotlN1}fE_0!BC`!)2Uf$WAh)nY^`M6YbGH!fW*4&D8dC zGLro1N)n?%;pDXtxy0f}&5_kjeieKnU+v1q(Gvoag=o^bI$+5d)j#h~}6DbOq{M2fKWoL`YK*VpD|<{z~}y(mxHKFdR0|QH->MQVA=h`RUnO@ zHbhCAoq7-rRd^4_I*0$!RXC;DW)HC`);uTTX8*4bGyjlMBTB zt?=~M&>AoPG36xGUv>vpHkVF0oQDZmJ37Bj!g&QuJiu4kexR{=N?3sKi8JYEBKM}B z-TNXal?b6tNq&*fDSMCdXl^mhbVFZmoLN1|d=X9(wzk&GZ1Bx80J4(aD_7v7F1_;@ zrfpZ(4l@vp6P$zmM^@4S#^~Fci^4txiZNeIj|f+`zNfEbC!uO#v4p)(kB+U~HX@ln zobkP!ob_1jEeHkmv`cAXa%{R1Wa5CBTj3i|(+!VF|Tr*VSulL`$P8 zg?1j%)CxADnDgK}XzA@s%zK0VQ?FidJ;)Cg*=u;rar@EeOrdZpAupD=oLn597+13> zY0Oi)iQSrKWCt{0ojp>1_?4?bSg(Dz0zn6Xg{oLGR!r_?SGG|#Ny zYVX9Qg8yf>JSM7I^)Naq(<$nnaV$ejoU6%uY5H2V_K-mK9g}qa4jiB@?N{I-XLk60 zqpr(zeFaoi-PSgp(jXloNP{5V9n#$(ARy8y-Q6H5-Q6kO-6_)D(jXH4`+)Dg_)#D8nvCbfPG=U^kSJ zr;wom&xE0M2qE5mK2P$7`gTI-fM};Cl?M?XuBD+=K6!Rd`S27`XzPdYic@8GvurwcUxsq^%51qTzk0qrv@H7J|i@ zt#l)6*!BFjL3ij%IMsjHrucZ}8>T2i{V-$RUQ9-7Z&$WiE!<^rI6k z6W(RkB2(Z_n7B_maY^q~xh~MmtKH=V-DtZqNv}n@mEmhF7P$ zqL*lTZrltFOuB67&sN!ZyM^soNDf0*dO*gJw2eM_PDaHd ztd?ZvFm0JGOOC4O2Q1#e*B@;ul2Zcv2c0W)?iU;$_mh*Zt-HEE`=^`@8ed>A-urUK z%8{&|GQtw1gereH!?RWN9DtY+ZfO1(3GEMBTjEH z$-|WhQi-zaf7FIN+d$LRLK~jt#GDBGjDCw8u}5BJRbfB@aA0&B;W0Us(0kTDyAaOP zNnf2P)m;{d&X&oSB4AW5CApzxijcr?KV$XUHg;iR^my}aT?95C{tdI`DFG3Q_r42s z1$t<4Qa@=KzTAN1G-9x-;+h>Kqh4}D%Szf0UE$k^<(|X)4x;DFi%f6%y+i7`0(h9FPI?B1If zX^{5JTEyjOw{HKUd7ot^93uW=TC{}BRy?C8*s>j+x1b2vSEl@2zB>J3p(%B5RLC{1 z)HJA()R9O%qmty##Q|c(NYy1{lOQIx#HgS)i@|m#!w_;puLq^mfYjXa*C~O4soj+B z0m?jI{m#2tUvBK&*>46dXN--}Ew`Bbeem6{__?^p8K$Ma$G1bz6dhts{4OmFFq;3N z({QpCvDYo}z7V+9wi5qKAK8<=hV=COJ9v%w>74BkIm02iv{bEhX1d8WnQ_X|GA$ZT zOAX)d)3XM%>bIJf!c5u)=R#A~KQ)?nEgh~vp~--$7>dyyRQw>Dd=j23_4TaZX@;04eD7JYLPKlxm07 zhmKGk4}4@^mN&+DTuDCoo}WkM3v=1q(FSFCvqH~7qnLD!kFlnuNs!!}vo;@HSQHGf zRvSj<^&{zrC@lIaU=XrOsUluT7o=I#D*J6w>jes1FZ-K1NkHo4H9}o-@sd=Fa)`LmJLb#T;V~I(Um4!b3NBgd zD+uM$zIqRD_DRKrcb0tTJOxxAu}~$ZHJXyfy>IxA?a9qT5jv<4oV@z4xU#sAMGYjv z_vIo^;WgvhpTE(d@qIHW^9EDLao|{)W^qJPhNwY)_SZyyLpAVhpl{e->4Yq|6+R}v zzN_0-r|Yl&hW$>O&j7|Z(ew^CMJsSef2hxGl+`jtLmyu?jW@T6H3MBPtME+!irQiD zKuT#8(FJ&#%xUkm(fF6I+oTQljkdXyu*{cV<;yIWKC1XBODtBZfAiZqF?#jM_HsKV zC@3U+^PJi$Rn3j2ZW*}hyQ0+dfm7|Ql;Gx2C0k_V@E4Xa52jbN`({8_#4nK_>UX8_ zt(iZ`Ye~IEvkzU?m(D-9J^yJC6XXtsl{dAET56vwlFKuXo=1dqnPE`-;lgzThbLy;sy0L>Dq+un)rknF zuC7{`wLC01dGauV%@!ud(c^yH;K!%u_|^=&gAP6(pOrK0hilH&%H-)HD}ryVSlFfE zrS}@ocQ~O(g{N~n{g-NwfW5Q>dcOJ~(khTktk2G;Rc8=D!(jI~Vo7tJdQCgNw51AUjl}+Vc^s40^l#p}$W?xP!)Ll%;Lq#WRm9&QU`J7RdcFj?` zw7whFUyDBiEU6%BI=z@>Mjv`H6!rxkRy2&wI7y18T6F7jVj0Cs+kRP8!+KxCf=N5G z5qGFVkR{qw`zaSCFPAw3we|!`OMnxUb;&$5S-q3BT7g!zS?ZQ$w()X5Pz#&ywJn{J z7r$rF{z~96%A1*&5ChMO;AVr~ky)L3FJnz^oSvd$Exjp!6#MbD$hrwtswV!y6i|Lm zCR&p&6hDNtc4aQ_m~V8p-Nv79`|$1>3Mt8bCfJuYpi(qYvsIGsG7R8QEZyvHcf|j& z2fnjvSDa24L}nP|Vqg4WDi_Ga+1KGjig0y!6xP!I95SR3wBw zcxu#m-j<&*?j*h>3~I;KO~LsBs{#9p_Jw#1)r)fp?>y%UfcQKz)d09XPhx{%>pfy* zsYNRZc3XlBnAA;OA6DF1cbzvH0biS|RIilCy@^EhF>QN#A5RRAlwnYoV>&JPC}KUU+k$p3TGb@rZsS5+ej$2t zY?l~G>XwY%%fXf$1ECS=tY-XLwp_tGa|$os4>d(gq9nro`LIxS3t1)2SqoQ;DT8Vm z-v$_?D9aH$>0~*ZK!?!|@+xqR1xY6&>W%&@{)|Fh7V-eWTMgYiVRrIVaFS#DNpC{! zH>~xPH5<>YaD~Zk>#EYt`Kh|pprt-KFk&2U2BvburaQcG>SU?2c#}o(iL#TM(pVT? z(xhg)`yk;w@&~+;hsXM1$`@6?4otjpvU8aeRj@Xwmf!tvaHIr}LRM$E;(+x5!+H;d zUlIc)#IKp(U9%W$dy9$Uir>au)%V;p=ph8bW+v2)J#%W!Aht?vM!J6teKRi6F0J== zd~cUiWJ)`}5v9tC)f+G@(`YNJwLozLwcE@9-4cz27W8YPe#82ZkIb?lC)BUoqVAmv z*1Oi=fu&r}O*AH_8=MiFSMHx9f%65)w9V|dzXO=ZLuK0W!5up81vo~tF=btjwxbYs}T?$6Jj~&=D33QDlAfGZauuEuuxXWfRUnJBRW3t?{ z{ zSw)(iH(&kw(9&^|NZB!QM)FHV!iX&}H=3mrbXdH6siU)k|AU5DXxkk;6oS^{g`}f! zY>igRTj%MebgDN&yt7C>4Jnhtt;=QbzVpqQd1VfBuM-65nBL1~U8Nztu1AM*w>8(I z6CN6cgTc&v_5NSAq70OfWSHcV5PldcuCD~6|g<6KR8R3VS zJ3EbU<6N#0IY(Yv!FF5t!I$i`V8K`CLq4o z+I06F<{Lub$tuGaTSp$Hpzko&I5BF5WMA%3$?iO;2-^+^O6-;|Hcqy+Hp%?-rYvB9 zJ7MCWxim9Qmiog`&lVHhAiXkb7Q;OG11}+U_kvys=+v_ueEX#u8{S@gtu0-U2{u*0 zl;5^Y%f!N1W$s^8I~n1 z@xs?Zm%dUWZ72xxMM{rJS{~XkZ4j)*Mi6kF>0K)GyW-H*Y$(Z?cAK=W!<~!7V)>RR zXH^KCit;jk`OIw|Z0)*y0}DaaD76vOE_+oZ9r%?O#SYavYskE1P{~II*lke-nf4ul zyS%*Shy~jXFU)0Ip}019DB8fma%_LHFgn>$^zCJ}jm181YhM~Iwv3K6a1b3eS)l1fVRI@(bZo74***4)l$Wzsrv`T7`Zqi4pWaV^=42YcM%JuDdrG2;i~g*aaQ|wvb$&&N$k-VoV#@*WH+ql&$)#XDJ*Do zfGZplqb9y5G8uu*B3D}%%!P?}uhVuL3=f_4yMx$Te+zG!e!PN;ybya8kJ`mqPEOaa z&s_SMXNlUAD7d%6-x!PE7DruC3G>PxtE+>Bgw}66&qGi3<6cigQ9sLPA)|?1|B%F2 z$PzD(lz)&(hfyz1q5UR1c8H-}8j6P>TsQ*G7d%h3*{3G3b;7`|aB4YlUQNe6Q{3XO z9vsX4!5Ckhq-BWLrj+bKR>gA$9jDPKNdLh(o`O7rwg}vfdy4aC1T)W(!3!0&uiW+0 zvnLb^=&BgY+5S~*O|*&m#d270d{drPMFg&N`N^1v5Y z->xQJEMSR(<4JfgrD9)lsb2RwEo=(-|35$x2c$L$m(9fBeCxge# zPb~Z1b#q>>1ao045$0;Yk<6%q)US6xdRuqYSI$XTvPf5^_i`QH&TQzqM^L48OEJI| z4(=n7qGBExZkeOa5C21QEUJY0>3&!i=C2_W>C6&*z^?8}L#VPkOmeC8=r@EP zCBu#JlT&6fLOc!`;SB3-+tws7oX#x6QO$cg@E}y|qDyfIMf>K&%BkUQix_rCgPgy8 z8m)0KECu$JBZF>kQ%_tQU_%+(O7pjmC}Lq+sf$0+Uyn53U)hlfaFFb^M$z^4I&XF; z)^vDj9_f@~R1xmm_bqS~>)O&M9&949-X3awPRMhd5Y2`uV>Hn6@w+z3A!gjqWtK7f zDd$D_Jr{|oo*hfTYoL;HKm#U;Chk+mN`rzm{*5(pGcYg2qT>nANl{9e#Q8dh5OZCb zPGG}oi%>@KN2_LL(I~yc7<}I%bkEbGYT>ktm9HcXn}R&72hFlj;Zy&cc|7|VUUHaZ z+Mv090raKRrGdey&|bwJktymL@NuXT31AB>`P+~3 z*xwDUcS;I@Occ!_5q06ZuMN}>!(QCILrNvkDICyL8B#b36fxP!jXwL zBg4}2t%dWwh}IWodt1teg1wFD3THQ?3lj$J-~;;H6QCNqv$_?&$sWFqn7P^qZ)q$M z*iGF!Jx}>fNZnVRzpq|W_SqtNH(cu37uN53Nd@;-8QEI|#CzJF?**cm#W>2zv#WT{ zKSws(j$v+JSIRZ2yU+2gqI?ROnMFaF3D3{h8L{g}Z3_2?G(gK*M4*caHFPx@XO^A) z-8(1$tgjIgSSzP11y|g;qC`wpyJF(+iyl!QIV7Fat~p&PZzZkjh$F?vY8XPi{@P9V zyYDQ>N*GU2KF<^`;ClzMeO_#Q`;Yv7eCs5eFjZ{H7pC+IPR6OQWx^G1NyKt{sh<>C zT0UWafIBcP@S}zJN>roTxI&lMr8-VRSg43rUWzGD`x*FtV?EJ`bPl&Rm0bY%Tl=r$ zZL%BCwQLB3c_%j(m;{uP0vIjpDEU%uR&n23I&m5#erI&gF@;DWtkNkM$d?^gBYaC+ z$v2CuQE;bCtM;dwp;6rb*p81{^?G}jXb<_LDEr;cN9waG&KOJyvLnP*jzy*Q$m zRSyGyoY#x(i<>C!QV>6i2vzrJZ;AmZa;$%PXEHshgw^!V!$?L3~p$IvOmsc z@d_Lo1BFD4RwTm8*q`w3TZ)DDkEJqcd6cea#;z|_#5pJjQ7)#piYgbU@i=p{`qdZ0 zhr=h@yWMIk4XnX{^M&#TR{2W8;b?{O)hn@!_K$NqlgDR)o5_5O?|e`hSd`n7n>Gsg zvwIi%x{3=Y)xNsquD~k3B*upn{U+qN2f?IB)~>ng{KgjNzC}&uG-w&~Akog@2k}X# zbW`J?kJ03C1uCTV;1WBHp)Wyu0HhxL3*OcsYXQ||cMY3F#gqcz>>X~SC_OB}*25Q( zbmVQO6GwpjM5vbDy-6F6Je@3tNZQ+AvauOI$OCy?81vRuWYfc3H)FOJ*?3CU($6dS zeogb9?=mdC{z6=@DMZl2yum5kgyT z?pJ#DQ2bwIBH1nC-+;SB^S?+)`YK0vGW%>}1z9M+urSvM;lofJI|@7|%D^&b50960wl=4l=&r1?4a^hyfq zvFpz+s?|obb7cz5cK4jan|BkNjs`bKofQRn5Gxzmc{r4OLub74z#WomgJYP+?_MVL z8~8|T3tAfImfqaj5aRjSH4ONYIn z?h~9MdWPg_qG2J-HMqSFGGRTfUU3A;bqd~+oU(8e|lHf;Sgh*R67}K zB%h5kUvqKWB(iL}sto?U-z}Rr+@kinZ-~O%yOF8H?+V{v%jvQe%jL1z~b)JJ$@>CMmkuE-$wEm;ms{aMC@Yy<6{%AB-y5o1Z|#lBaLX+B{aEQ zf{8)3^%n~}#esGu{O7P*D{l4@MbApYVwHi_i&1}YzCD5s#f zOzExS=c*KanklP3&p4pok~1Lw5>08OLmCn2K}JnZvRV=|;0K;#InDF~yFps9k&yaE zbidzRV ziKN6LC5RKNvgJghr2fXmN{-Z~9f9v(-U)nV5v%o$^m6JkwGk~B;929|_?T#o#)mH+anuSu`!@KI1J>0b*;*a-wPpP#NXRmqLQLFp2lkPy zC~#=%T2FOrw^u*hknjdL;ryIiYkp>!?w0gTfMZb5WOe8Lht=4+aPZI4a(xz6ZVBKK z;u0+LIfTc{xg{vZG1Eo{%+rDEYI}2F*U4f54WlNk1GB=d=6U+mh!$y50YzeV2d`>> zV*Qp0QY0@bwr-srZltLRCsMtv`r+*gJmDE^)ZjT>1|0j#EsAs+13!71gDb=FYNZRW zA9rLz$`Asnea|`v-s1Ft5!b>D`+YG>j#9o5E}09!ng}u+4?S47b>mfO&0(u0gmOHn z>NG_lnmo7@*LwRo%^^_5loD<*Pf`J~UkMlF3qvf=z%vm68{fqfo zVE@2HMV0p;>E|08)x%)?03Dsw^=R`KTD^4hcExk17|J3x>mSAgylisInObWpZziU{ zX~Qi*YVMOCy{zrWM`=6?JWh!E4Z#xp`5tCla0AKDaiX?uy2#*b?m~*BQf#jR0{^~* zTYtzebhnn$Ffuk0@jVScoXgW|%TJLA;kj18*}H(?M32d+gVE#)`*_zY7+sd16ijnp z*OaYPerM?OO4pcb2fP_*KFoGZ5H`c5wgyJj#2K8@dqUE`@q zYy#Ez`l79DkulP-V)gABdhu;$vSH>rfu=9B=`nHZn7Onljkoy15BvJc$WO?zO7av= zE+StOHL_6RxnG6&veZtBSY;8KabaU{&I)_XU0|Ab_4j^&?`7o)EtT(y`}QnUDXB6NOArOW!d?@e9`u^%#<|Kx={{%Sm9l;wGQ4ia&l_D)duHDHae}iB zVn+=fUqsR%fjf*^9xR=7fm68tic`DRrMLX7HG1j5jJ%T)pSG_s(q~1qfOVo86Epg9v)4UyjeMj#_7eI^EJlg9ik>xg%^P;G46Z9ZiSz)M!SBed4qX_sS$*Go@H#j!ktJIa+z8e@SwS?Eijg41bseXom3dhVcF)DpuK| zW7D=p5f%zJwDyar_HewLC$V&aeBf&Wkq;yw2>`vB;ZRJ7Duw<;fSAZ0&3g$^9o(f6 z6T?KckC*<`_!At!C?@??EwSZBt5WHCAGiyYNkum`+%$9kb(%y5ga`LP2p+w|h9uEl zh}q~sm)%H*+N=9{E(wo`JaI`eVVFkd4fa3-pfI;lt+kCYc{z%Q)o`tYAf=XSw9l>I z*T!yISi&3J`+pz-Spd2FKLwtm_JIVk4v2!hJ~D`VRq*E7+fT(IV-`NP&79XXvBzvw z?{J+;p4tLL&-nIEdyRJ$7<#wgICVK1XdVYOsTHYYPT{ZL|0N32yRs2*yuB_zv=dmL z#h-rdmd743_miqphiZc>0)YAt-Y2jC^uRdQbo5C$YXTx>D>c-8twT|(wp&7bMa9TD z27JW7jetMI7Z_3v&y)W?PMknpxobBU{+m@~i227bxRmP{qA)wa5D?!7%`Qx-$l~L> z^R2lptii9-@@uimS$-j_N^$UxAOEFUjbNjGOg3?F(MOQ3Lvsd_m;NO51+ux?908s< zqZR-jut}g3y8aRBnKsW-6!4f!*5pQ6!(~@ndxae8CMG}v+}j5d%;%}r#}sg&=fvpu zZiGI@+j@B>hO;NWYjSF}sp^r}%|Z55`oYFqxqkA3+Z`5guZ<+Lf}vsONO9=w<+)`E z54Oa|Xahj78z~)pL))3E+TSC%3rDdOo?N~rfXMSnd3{a!z%l^j!TmU0pjQugt+jXy zP5Jq)yRcV>fSdH+$5ko4CjZ+sh}gfdKMB&K8(VxiLgQ=(Hp6Gsz)T0Hc4c9MU zx#tjl`!0pSB^fRLHWAk(+%4x_EbX7-2_xJ1M{XK&~>YPQX`%}h|^cr>-45##T& zFdwbBGvQ>LO=iK0wiI8xY>Dqg;oSZQmJg^u0Hi!}yh@dwcN^9eZCH-52kS>gp<@1O zmG<0ew}F-W_Ce{R7zeBtnF=-%hd!ADs&LY~9lh@#92zn^#&t9yM<1;}q}UUp|3&-1 zvI!vhQ86-u7QWC2nj_U73kU2maY5nvPcOnu)FhVa&S;*-?Gf`6{SVcF7Ew3ct1(!^ zT0rR~#d>h2;1UVBv53E9@mhZp1nckedyMQU%Pe&i^5Q4X#hpo7ND54NMbryBAxn0Q zVXc&>7N6L9%x1`P!`$yB(q)440qsk?f?OZl@aD<7Jv9ziT9g0BKu{C-pC181UH$GT z>+<}*)NopF!GDSK^vak&UM$lizyQj$4OHC^ECHSC2^N61zjXp?e4#F;4FcUGB~X$I z)og6K{EfA-d`mGdI_sW$J`@Tl%b@)=*aWru<+!pr$%7zO^P+BHFm|{GFDtF4t{+na zFb7cd#1=3rfMNV*is)80c0su6{gLS&oI5-llTf?>PczEZ6VZPruGQ#evs{A&86}@J zQuFcwv}c(-lePS_N9jS;!yqI7RsQdM`R^x>(;$$14~58R)ozvuA$-LRj=m6;w%owQ z^5r1>*Yw>-COKq~TdNwuL2@KvY^XE1?>|SYx|Vuy!KE+~RFK1?fvCxnj;~;9d^^oHac%UnMcWn#9Nc%r~D@3kYAHgMA zFSuTuT}!0bTK=*3m!JPs$KN;rb6?!T%1S~ebL+%%_)l=wIIIguLlN!7e9NW#U?1ZF z2noVf4B9Z?u9y>9slBie*)PX==F2a}Mq)GJz5zrQkRT2ghK7;RHS+RK!(hiR#TLP)Cv^0z{Cch*?g>hMURe+#aEk@3wE!*wcHs)m?|)~ zR;;0^+ZU`(KC}iv2A<6&j-O+i<9VE)5&iSg2%ACd^*7631#emj%$|4+a_8@S0p9p~ zb=eba7hDy##1gq$1U@XD7hCLPAC-k|FtnFg77apE?1eMXjZ)~nVsdBmIx5%vNUXm~ zbJtMrj!*Bewgbx8f4VsV;`0}|sI>K3j__z+EIcso#Pow8oua?V@B5_W zXK*~-$n~f(d@@zx7G6*3m#!%sB0j8W|0YbU!34IGMG!v|m1SON@+U$KUus@~#z3s$ z%Hgl4&Vqb>D8IjlfB5S0WzWFvoou+q+N;bKiKy-%Vr3Bw7x}atm?y*kSxP5+{b$a2zK85umztsq+Hes-}iD0v)MkXWL>Zzj6H)#-iJY-() zeJuF~&Af>Xo!JUOD+r{Nx8-)Q<^Ai?3rJ2`|X+HY*G6g^> zAc6Ts{LY|)Cg;i|f2<9`3#DvhG5D$S$9tVuGLkl8tfMG2(yWH@8mUb&nubJ%X;DO|ekC%Hy z@aD@Gul&d{r>T<-=nNfmq@R6;kz(Tv^BuM-`;QXjvPSEWCHAeAb7&VrSrX^Ce3UL* zjhm*P15F2y674LEpN{SJ<7=QFUZN+PEZUa9+O_(R`GsJ$z1NvC`(usU;xEyuPC|#t-;-gR#dgNL3yBA> zexb4o+3a`puW4P z`LHPB_+o^1`7iW9R&V9@sDYHGx(tN59AEil$)_eB&_00*40Xr~eIqXV9CZiJI3y+0+I%leL!bLr(t(wy*+h5v;6 z@%;0Ni6@7kus$ivThCv%emIA7M6JyyoAbp*-dz3KEPPW=8{ziv{}Awpj|UF!Ap1G7 z)~(YCO~Z`4{XXE-N_AMg?SR%gLOXgWgeQgoz)Xfiu8onk`r3)I^8=$t3F#VdN&O)d zvq^%AZb6JC4O2=i*GDfIkMGa15WkHUf~7ED+?o`ZBg3=$?<|ElHa0~C(^d=-%I!Ou3~Xg;YsZUepApgb z;AJ)g5d45=|6W!ABeXC)h2h`ev?R*kRkezK`j+v$d6^e^z2Fuj<>ga6pb&#Bz>7zI zrTeKQsPt{*((b}0qD`!M_U+f&QW<@AwLggk`1-{2hb|GBNTgJeaB2L4-(rJOxSCQ+ zb^8Y$L4W{mxHHgHK<(t8mI4e041sb=jQ};M?74W;p_1M1&h>}r^rX&TnKAUt_Ak9w zue(5_92$$jjIvdOMb}xq?U#l%bF{mJ|CqoC*{E$eh?SpX+>)G*a`gWpQnDs z)A3ow3!qzLkr5^tK!V3v-{gY*I{g`B1`OB=_`A~r*l0xV<`quA6fU{+4x!)-&$P|F zB8R59sw}2q9RlHbLL=mMQd=k0WSb%Qg!OuU$Vmowp zsQf(J`w>958O|4#lnnOrqy;jGM(Z{(?oaMK-+BM)!-pPriSr8bHAGwm9d{kvf?}T* zZjCwoKa}C$Vo?!YNwiFV4@8Yy7?oOsh)0(eepxC|blwkm`)BF`U~RK~EA7!pNI1re z{W!bmtGOGrIz>v&cSlLzZ3E(79cPbY>w_qg$w=@--HPlX!gjX%TPNjO3B>Zhdyg6c zc^sOwNYcu8Gbda9EEJB(QWreSt(Y4ap7xO5$1pwQ9ia3|d_0J1ic?6$X&)bIfy2Og9B?0w~%ZF~+em`nVAy*b_I25>M5vnBL+?ccP)K~jImx87$yUWS!^h!=1*e+PILg{t#7{U35^<6)sw=O!%F1)%!P;v z3`2g^AR(FjdvivOAf=K-ef~BS3Oob@d4i3rX+*@e;&fz??6ekY<}dRgy}rLjUzkkv zct{Pxs`42%pf+!$7Vgv|A?=+JKCFy^)B&Wp*cGLezMI%2W+yRA`qfMS#NPOFp8B>% z%=O2Y$20(hej%Rr+3YBH@)l?{y(zU^%8EG>}IatfreNubn(NZ)9%}Y3kAC8ms;= z4KNA(0kWF|loCk+ncv=J24hz+=;d*ty2bY{H^wpBvRs2Q?+M@k|HFTJTOcB4mRB8vN5xKu?|W1TiZIQzW$l!0a1KDy;H%+D_y>n8#*J;>GpS(HNzB8G@Pr)?+!t# zR6U6XBF^ESRyllr@@UHR}GW~?dX_5pu&uQ zCN=;&083*B8GP8#1hiRf)giLbXwJMqzaWq%pxaM^zgWarQaiLXTiX5;=W{kktODb^ zpO$yZhRy~Dl9nM`X8FT9s$NSin2$~Pk028RRK$%XuX@|4OoUKB#mrd@t(0|`pNT33 zS;1o(lJsLw3x8GK%%>Jt|1Q-Y)9S%0V22>~#rtH8fuxej;PSS;WRp#MKJOE_#$uM+ojf#qp)T8W+}!VNUuoo;Kb zI40}Y1|Tbsg1`ar2RQP?(v!mnu_v$p76hDz-&TLkI@w#B&T*yayn>LBBeGvGJ88kx zk`}Q1uTTJX9@GIKAFTqzwVVm19LPQ(xf#4H{P`hZm9z1gxO4ry9Km~XU`3`zQ2U;9 zKonQ}x{@{?%;{R6zbNw?4hO9DT5$a)2k7$-cHWHlWEx%+KW$G|$Ka6SUNg+C7#{@b zFFXBri?`9#L(ievEJ7BZN_#qHcBJju_sx>G70R?N-T4pg;StUgHy^m>-rzkT?i@sH zJ}|1cqJ3|K*)*S<#unt^VlGPm=m`LTPtwf6^AsC8Jy-QD~Z5m1NO(vK2Xj?dZ<@)$+C5J%rAmw0+!|UXUxf#r%=Z z@tyS9At4bKxh_AME*N<>>D#6ye-KBT3($u#;$<{31IKYj9WU%QW~eCp+tb7AFjmw- zAp%5@*Q41d&|xL|ohrsOvlm^zp%cJKbj?WTE%U&GK5yNSI}&gUE@NA>v|9Vfxq{)! zSlrj-D;A<1?E9x20IA74F|o$L%R4q&7EfKfaqZzc-O#({h!JWOT66$0Ac6hC@ROgf z3;ha~LYjl?J{}Z*fgH+dLeGAWQ86I#FGe2bWj@V==x0-{Gw*7gqcze5#e_6$8Tcno zvC_Ib{@UdHD|$d~KY9J+@IOia`Btlk%%*W-Q& zD2O4Sgm%Ndf?0J%G~BWhh)HKFaXc!^v7H(cXTQJPeJr9U5dNtyK!@9rgSQARxz>^K zkLz->_3vzL^u-#*27{7EN-hsA^U)iC3qTmb$vxHR%`;+pTs*XC;L7bm;(+!Im!NGh(R|MK z;+9(2w*O z%t6Mb}9E7==4GH@=kyeU7nnFVZT7bh@$>C~%{fEZEmY zJ%r9$h&s@iKl{kL@2^0(uM=ko%k;CRlc>TxGiNLq0x{oNaC={OfOvnX016wdF(GC4 z8qCU2zw}52H>IdU8fUS83Vh-tGlE43!FeWn=Bn z2_c|u1ELR8E+D8p*(&3Hx)r|YNs8#)y!xwIAte3f8;@#E2d$^H{3G76(7NC4_Dk+F zMaZ>62|Z>!I}zb@IM1#+GTi6?0~rQuU0oZ@H^``N?TUlS2B|_1k9jS{Y0q)vaK9bn1^sphSy>y^*i-p74ABY01$!v~6TO zP4ztk!yT^K!r7<)2m^9ND91wuYC{*{2x!3t;^(GY9dEvs!C|AJ1?K>p%0T8nl$~~- z1yA135Qzx*4@$GD?4AdKP900O(ON#$UE`p*g1FHlnm=eKy9{p4oXt!+2>G;5mDB|; z%cTvmmH5jfcq@kgJ2gfcHk56w3E*MbpJ84yB-nCk{U~uYwN631hx7_y2OW>2;ALNgM z=${0SQ4`r$V@9r|p9>%=dlf^{30{}4}jdttXU|6`&`8kfg(dQVX`;)6qSyUf(pV@o^ z(fIc)1cLU^t{yoCUV`2M2|Y$>HF=3m0$i57DGzRoyn2ovXTRV6*+9T&B6~khkmwVv zPf1bF4QD*ePFv#USx&L4LxB!#En&eg()S*viBNeAlx3u)g97{Jy>frZcBD(UngIV@ zb1wd5B2_aMXpa&oHvj|R&JO(>#_qSo9|c?{90ttTU+rIPg|T?LL7ko}NlOC&xXsCv;TN)T?Kb&Tu<2v+L8byWNP&f*FuB?`V@AfQC9UC z-=}EN=5L2ikU{{@u>DVLp70E){!g$TGriwOJL1N8{oW6`c?+n2VIZJF~`h*oh8TQbHV#ZK|-R-kNz#?DgOsW3fg~DbY7ZAy-;Atf^ zd8o%HUV~x^m@RBv4&`;Eu(d>GY(@X@mB)F(aXp2|J`GWO8^q;9*5j!M#SU=;Kb1FB@M&EB3-+HW1uVd%R-EU`I5<0HUjN!;B4<LvQf^TXU*q(txJZX(exFw-@0iTZtrUSqr~?&IPKCRrKFi(w6G}*wZ(Vl zHB*}sEx&yu()0x+AfDd1wZfY|zMkZs%=q)WGh)zXhVaER@%Pvq$#|>K4G(FeMsTg1 z9iv0n_WJE<-Psnx`ioyJZyk2SD275e81Mfbi2u6z2nGAJXF9(=Q@I(6`IR!vm!)9D z6KFj0_Aj!rnJJHR(nGO78TRB5U>d0ICvQACd}N=r?rfOm9_vc(MiALhEwJ#z(0-_k zC0p$X6Yj%l{F4C>+$BW&r4#rnujsu<$wF?yLW~aK66eF@t1}hW{{mv>VKD)4oZE2` zg@4c3IAQ}`@=bG@yOb_8;g9TPa}+fq`6Y-;Ny}I*pRSr-dDv==6u{VV${CxosSX_1eVtf8dHJEPY6b_t7M z2|>v7aaIids_!MA{?yL0QDABmVLrep8|WF&!~oUtyww<+Frzz?m$Fk@AQ%^ z*MQI1EkH`ClY%nw@ek;4|Mv>xlQ08P50QrSK@@1?kY`Uy7J#j%UH4$OyG`pWmppl` zbP1fBKGZS*m=BJNmpL(`7JrV9Jg~h*%-SB~HV==OTb{G(?^~-Lvh)#WST;wo)w;Ku zom<|~RC+z$l+sqd5sSsM@)Lot{@ES1m5rr$PwQu9IFM2| z`@)50FmYkj9ca()F=}ET$8Y5Enlaun&ip}tCh>|u!SsT){$-5CQ4zh-6!9xw*;e*6(LJI{h1O0DG$7puF)d<%}|Q7 zpvm{8Y0btfkTrDI_C#kAB_Q+f4VRNjF^;iC6b@%C6>k``T@>y2SD;_)GD$1Y4ww*TnY9>`w<-%I<4Pj3=D)d!J=N47tox)w|-?J-79%wzF zEK?&$h#Jp76KWaxp$m=xU8LT(9*k}>6;Jb3wKfF&Daxne0F8_FANqnFuk3X;RJICn z9(jot9k!)4L9{lVP#O17CVwbk|7rmNfB#+VmT z2-_R~SoNT|J%VhCt4rP1reTslD8aXaAT2I-JHyaxPh=VxD*x-u<)LtZ-1(1p+PM^Z z?={<*$g-OK7yA;>`ecOeSaO1h2pq|A0o@OsA8wiW)OGxy_jIZhZ($YAIwdUC`h z?Kk(nx^=owN%*7xq4J(M_Hgm<-x=!|jtpHg7$k({hN1eBf3+|OJvw)J)l>qV|_mxWG~)polb0^TNUYrBi*2-W3!L zM<;Pz>Xxj<9*SgK_h9Q!m;jhh){TJq|AKy4lKl7OzdceTI2`-jNljB$&-L@J60crQ zq#RC4V5Is~-Tcbk8L;tW=>O~MJHTtoy1!4A=%Pjmr|CrR?d+m=qQq!X5`;)3NR-UQ z=tK#E!MW8ix@e=9(feQ$UGx^6==)nI=KcTY{l4e+mhz54pCwa>lzSAF}` zEB}-k_}=LzYn(^gu+PnMJh#Z2CQ6aw7n2iPhz zXlv%v)^!K=KYntVNkM`SPgVeajZf>Pma}_1&or`B=u53n)f}Zp>)pjT>L6^2_)E)2r-IiK9C%q$hmr5OH}z>+Z$#6#9Om;^2M* z7EH~C))8?P$K**K{wdlqz3h_fYd#&XnJ-u9?61FW?f>KabbFhjC48lxg;YCRvMP>I z3si`ka3$$?^8AmpKTrI}34x&)_=8FX`rhADENXq13kzHyN7ZlB4u6l}68;YD^n>N| zbH+G!HrZTm&&YfYS_IUAugn&oTfgnr3oCaowlU^ExC2O)99^Yiw|hm(|JfdVBGD$G4pD9$kNCV##7>O>)Grq8|kP zsNdNM2o~F_`7e|Rn`W+ax5m>~FS+(^-K0%@%j!48FSkCWZtjx5-?cG6_}`Ya`})H_ zUq)xaw|5f52IR~g`BS|=YG=6P%eS+qrgoaob_t;V?+~)nSN6vL`p|aXe}ymD>Bp`A zwZt~FruFLdX5p&dMTFcnE>upV-Rql0@;T4kd)j`c@)ng$C}J5)}GyZ^^BjD}FiMwx9o$d_{BbNYQR<;7b3|`@gpS z*Gpg_S5o3LTze)zpzW{0=vB+7A*AfcTn7>-Y!8?d`)@&iINPqD3cjwD`*1|n3zHkB z1_upWm87NZEww7D%+`BD{=M2ZnJwVjv`?JSFQ8#utNv{ohY!oaiEjyJ!($ywykrZ?7bf=?oZ1lw#xj~yyf`t^5>s( z_fWrt1>VNT>%=Xoy23X6e`QCzTK%_xH`k9HmSbaN+w#Lw^c54ISIo?RK7WbV7Sjsd zEcWlE*)0E)?EgjKUoT_izV>`bslX0&@*8v&#!cvb_wS66y6iG2F=6Kfk?URKQp56~yH%cxsI7#m| zef-WD$sMv?@n2H>?@MM`=@Tud+t5hZ+kA#wM2AG0#v3Y=>81uvpJ^V_tWj^DW*QuM z!0OZ2CEtGFdHOnj<#e)j*?!JL+fCVASfzg~mClGbPiNIfss)YY1%WL3a-YKk4+!+) z{d=wO?LjX5b-c_}mz6%=QaO&{=ilHJ-X2La3S7Nunj&NA<1DAhI3IjY^M%ZfahYhF z_2YAoKwG@8tdkmk^C8)|MP?*_rK1*yiU4Qmmd=aR zalDU*F~gHS-r>d`ADQ!0bJFDPaq1~~qKMBB$($zdHB-h@qYRbTJXrmmGdY7kU%$j3 zwvaW2d3m5^>Lzn>rX|z2YpYFV7H+(p=a`B|hqz2$CgqkMwjBcfYVxAMm|Jjqfj3o< zm}M{*jwp)i!)2MSYH*-D!(CJqV&biSUOf2*Y=S<@f~neWgBmhRRt31&5V_OXwj- zuO-D~kt2}@>F1JL=cD~N(5<^f(xgv3nONZ=Fp6%74+tzna4jD zQDl=AZ_=fl%3G+3so_eUIA)-(mdBD5e0LgJ4Qc@Ikx*R@7wU;e*J2JIX@2~@spzI5 z(^o6|>n6%_nG%lO4O#`ulhnuiEgpXPY5RHR(?NYk<@Tl_3W^G0;Q)sQdO9w3SYZt8 zjM|xGnC!4jQFjZRha+Fp#)>Mryz#Q+Q&C5Oyy-N|R5YEO{ACky1dc?o&Tp&w~ z^^tUL!1C{m6ezhceS*Vhp>Ek47O6D<-VQX>4u1u2IA@y7O`4taQ?d7<>CsJv&PtT; ziFEn2kNb6?Btca02zk+E9R~*}rYedMMYePIPlc%ZsR72HTmqQTL&pxku@3vbXyk5> zEo4{Z339mES%&3$l7*iH5p`WHTT=9fF%BR3o3>sTa|g)ScEiR)oVJb3IGqDLzAUO~ zayrR*w<0;bU?Hkw8o0!1Mz2;6%LnRJ@WWB24!R!ifB;~YQwI&ff3hh+s!Om)ff7*~ zqo;1&C_?Au?Eqrh+0kF8S(oC0nd)8>DnSK?Psz-_&607g6a~+H!Bn#K@D@lEPN3ot z?Og0NQ76&V=%%x)l0+He558k+JC&=W8~$h5>v)TVvFf5}LXL4V=CjDVq{*BBmyt#M zZ?{Ejan=n;+h`)kgPv_;lG{Aqe?XyAvUbe3nKPIsyYaxqK24pOvD4u z;8YXWPXI;?nS)$A-ZD*-r~J&Sj6qy@4IX9C*JWon60kJTkU_T^$4I9Um6_$k{bNLx z15y`vl)x{a@*+c(E#BS^1anw2L^<#BP)B^klpEd09|+-J_a@swggw16q3An&@G*IzvWpC*X*J&K>)ew-u-N3`Zxze9bv7dk>ZjH zEP-)>tOFP17|P{#qyC&F@U-x#iA=%cJ~Pt?`Vq+6B{56`^5pfrR=i2aMQ`yjhh|9{ zb4eoMYIS#Vf(1-Ko-l2C01t4xXC@;>nkW?Sx5K-v$o5ClQ=CqI7pwp1{tdk zR+xiaODhP0N?3i9G)OKfqrU}{ccLjiUO+ok&NL*lDJ(;0D6dZ^Z*v4$w9NOuH!U9L z+9ZkqP#i!`1viHcct~7c)6~e3su$28a(`o_M6b18Rn9AuvddD)$J@Jfw2XsacQ+-_ zqfSh}#!T}F8u`BN1rK>AAlsh>TxU4L7n5kqEl=i)un?3YGKa$OmdQHOU0#=AVmT1@ zlTZX1vU;k%6R5XguV7gQC)9X5^dv^>X9Q$H7LYuW?O?+-kr|ev2@EBGs50O? zM&btKqiUhM9ZmQ|L9gMaZXLa4EXXW&E>h@U_(i`B-*pEIcHfSi1SrPKJne!tu4 z1FaS%4)1q^$l6_*%(?JXG$5hGcB$8&lhGKmJ*AJwKxgTRpq$M)Ua{!NU(Zz{^B&cr zL6>gr#-1j$du+@GKw$XnV7IR0Iy-O-55>>oz@;YwG(`hw-cLQAL$Hq?R_rB1=N({C z&LaC81qiUeh)NlfokZPUV%5*@qH$OD#3%wF5S3|wU{!@A)G5d4fLyz80X_Vvlq8^c zwzN)2v^wojc*`8L#DprA2;o`X`#k8WXsU+jfgLOI z%n7u})$XbEX{Tus3eD=bqnpN1B<6X ziI;KR9vWaOUPn#=%~E})q(RfOeCLqp>PhX_fl4qA;UbIT4M^dJG@bMH~P|#b;kOW5D*N;Ocq;-lX zWubMDBnxLs&5sXw8& zZhN$f9vje|MYp8a=4W>Dq0!`8wcZMpG326=Jtse>T`PwgCOJC$5+j8U?gBaz`Cvs` z5->#euT4fBO~oe480rt)IicvodmA%ALNHNnjog`;8=#_YV<7tclA53~2G+5BOZExgSjU6*!eUUCfb17~U?2N@R(2x^5~!l1v<&`D-*jz3*BAjR6R zdc0wPuIyc1K20Fims~Mbh5mYH`egJ8r?%oeA`RWb2cT$hUt?VbyLA(MGC5jy7>Xh* zodqS*?(i{kVRf`jew%Sp(BL{w@1x?R{tyXhGl=DoY}GrRumxNMTmtw+uy_++ooOQu zs8|3J0H~}wA)`i|9S?wX#zSeEa=bKdTpd#2gwK!2g3cbe75|!>R>7SJzjI~W< zqTviILbaZoMtLo)59B=LK=2oX9BJ|!Zg7aBIa=TQ*@GIO;&gNQq_3J_T0E~Xrhxir z^`uHuoKOy39-af|lMNtf(c-24EQ{yYV0ck|KxX4CRprpNZ1n;}MdvIM=lqkoIeV>X z2zXs0^c9>XIcz~ynzSzKmCDHaXOCTm&U9i#O|(r#+J>LyXsI@{UfXs;Bk8srd#cz1 zpx$=YBKM0rEE^#}0vnB<`Dn|b$6kW&aE?yQaO2KC&g6iKjxX0^PPEL{pbAFN37eUh zXv$6wW-0bIK+s+W*d2|60*7@nA?dvVQ-$I!MtuTrMJM308;$dsnn89Ij3Wu@u_D3R zaSf%CvD|9YbOCLVym3X_t_8>tN|;OM9HvE%oi`K^iFp78kqh-7+HhYrDL?3af4Xv% zR+|9?5E=PtsmBYOSX5~hI!%Do0wkc{vGDp6_}*i|1Xz;idRhogUD4LV<0IwCh2+MD zfY#c!c4?*s-0}vae@t0wdfcWi$R2?-pHPD|O`L0z;jWG}(?7E{h)=^dIZD*bs+qjhxr(vv$C+jUKHIM+q`d)G>TLx+9sQib7w*kBdfE^{&z@IO@2u6Hmo zyLPb+3Bd=|;$fwH(;Tqc=Xt#t08w@ig4P1GAH*@ZhXcp6F}i>nb24c->6@mx=*#{= zIiYyoV)RkIe0C!6Lc-}K;}Q30yH6{l0mFl{#JOQCAG+;|%mzQ6ZrwAAUjmm)>2Rgu+k8?||OWXOL^3 zej#F=y7=Y`QN{%vw8OM!&|j2OT`Ca{gvl21-VzPLq>oD-ZV96rV8zx`g+9+Elj;vr z8Zf+J9WzOz;S)f7r;8qSTo~%cGtManebP1jp$eeu9Bo>6PJ25y;k9`X#_nOT)TPQ^ z19ewXJrOlRi%bY(7z0^=J3(#G#6eSGhl++G;m;i3gcJsVZ#Pfp`{lk1*$3d2$#AZZ zmR{xxMbhDedEOvXR#XdDAyA&tPWK!yj%|1e@DRQ=#3mX!y{-pYWv8%13n7 zPapl68y6MGAM6B0pI9&sZNl(h^{5ftFc9wX;lQqvqT}U^hooq_RT@$+$5c@wwOO!R zLj_dDcE)Ek`PH}FjMh#z?n3(N^jF= z7bI%tpPg>9Hoj z@3Vu@ZHZp*b*&o&tpYJeI=6>}kqBWJualusO>x#qfRyG%NrMV1(=lgCtwzxdjl?xl zEgXB_P!uR|;~Z{i+@Ptlq5O9arW0*+QN8`993u29z=0R<+d}G3<6tP$p1jFC zpb$CMA8a`e+{hlNp=cPdFkG!E%g#N}f@mCSrvZ%3?oAX8OXq2mv3EdCAS@|+{R=Z7 zQD{)S?7K(febb?B;6)yHoMh)w6lnj8OUKebYCp>$-VES-2Ye#nU*|&#bDIE|b9{h) z?zPvzGi%bL2QK}I{1|V~L1m}JL@bm>#VjxRy0HO_3(nHalwn=)yVPvlcKQTa zlkvB)cx`7~YP294bj^rb$$~0c5>G#k2-rcYo`AaIA%|FH5Z^7)ohL$C;aeMRR}xeh zB7#+PXdO6RmOS`6=W`nd+4&{|{RUTf+TW2>1Ds7)aqBZO`p#%rTd9HRR85EgkBPeB zqG@QKNp5d^B2wHgA;7}ndEiEarya?&00Dg1o>kbDDLnxS8%!hIJg1wMstGhI;rb3x z0m=kND!QRQBvsPoeM=H}rk*I$Q~dK0F#Q?+mqmPo!ZmVY$Z|->^wQa8q39fJZ8Hy1 z1mO%5i%nIAsenx_TDH*mvv_nG-AN;Vk{OJzp$t~GEFVXQmVO(JT@y8EX%<{F4KnR| zQ4^Xf8G24Mjd{I53!t=Ij^T)TUR_jG69wbqqfKas!@>Hte}M!pGQcql{RE4l93?me zy!B_78*jZtju$?IE3M~Xm4pwk6gAL+2P&8AW0Hi~7>t!Ewq_2!t4^1L$9Qw_o&v+Ppl#qZHlL6o&>wL(2MwaM>bR zqB}?H1Sno7UuNy{lvhI>(3-=ky94HvL5)B=1ngzzU?LQ^?{wX+*p)Wrc7@h3^ zpaOv>A#-5@1f>e}H0xMr$mkHhFtXEhC}19*Hmb4do~+P-7n9b*A;1_3*|kyRnBWs6 zRYrs9@D(*{h#a}lyr%#~0C3B`yj##5usR^8tPu)BtL<>NpeG}F@@})OMzmzNuE^xY z=ot)(-|jDq>7*vNrlW>*(oL^ZlTbYqCpL$haFHw#)v^a%;~fka&VU)6gR^+SErFe0 z{Jwjg9UQc9?<~&k0UYKUby=XPy*Aqb0V;*g;YAyni*#Bsn`EjdegI)!MTmS!{z?)y z?tpX|U4oN%Wxev4*!vNh6liJ-uS}*T;&VZV6}rm8f7XR)1>0(hrjWZ~ z;5E?C!QfaB(M%?S?wO#|9bZ}FQIm{Y>(#F8a2I)N$e7ud;TaHfJFk9&X{IwQ|VNfDvRB>tgOU~hUq zW@jD>=pzKvFB3Ig22nQoFKwvNPu=% zA>o~Sb37j0*+lOo#7v2qZZt?E{4VUq{fo;qa(QYI9s4iBo7#Epn8jt&F_aGP5{;Q& zI92+qT4%w)_ww;Ho@rq0NP|$XhC2a08%2BH*-ZHD2{Y zYtV2`H1Ydg=$HnK_W#b&{^URqlwlaf95e+wA$LH2`wjH0HV}eOFGF#MG9}RSq;n-Z zEgK|vyJkr;y-Edn{B=C$mb{g&sEAtHBZxU2sF$%T87@oQ~Ns4tkVc zO=3<3AM)aWRW8FuQKVq*(J~%<2`zxugAAIqRTOCMTJz5d%mH}!>jo=(yvW?LNRIgR z)!+`3(GJ6Jgt*W%T%#$>pglGBz6GxAP=XvqtnnY1h$0yN`?BQ)PUxydzvp8r>Sdt6 zJfdOHZ>_7JpvTvm1!R~FcJ6gj!-4rgg;1p6Y><)ns~1_4MKcrI2rzv4ei;|&3RD{| z4ky*C&!%@*y}qT>UZaLZfpNyespdKbpN=AzmVg}?(&sjD^lZT6aFCPaxU9m7aLdw89Pkr4yt5X4a4+K^*p~w}!2tB6g`AK@ zz^e=&y_Gtrn2A?TH3XV;r$Y$=WpOkhV|!ch9lSjUL(_mWj=AhZCbz`%8q9y9d%gv+ z?BwQhbI=Zmx!8EHlUsw6fJ3OL33nD#Wx&Q!o>Y&{s~)Gpf%r1G2}m%MRJf3)Nw7+j z1iUzr;qxUu9+l%{oTQm_dD7%zrV7lVruGVS6Wx`!q)1#TD_mlcP*@6>=*m@?C-os}2h$mWnXOcx&H;Z3y3hxfGMke3$) zj&z**mAvrHrj@t3szQ(S>Q;)ZqfD2AuQL^rG{n#|oujyOYBHmK<%Z3NGr*IzI0n-N zm!!JLj3PCNgzwSC+?qXJ95YG+seKx$c5(!s^FY=lRp4ke-}fU#F$r6`&#u)A#D*va&!5Uiw+~m~^bvJqCZ+ zKrX-dgHHMw{ucBCKhN(l|%YLYFStB>9fDa(mJv+3)gcEvNCM7YaeWC_u>T}AE|6qzBJ5}x-`pG2w zx_mP+u&vV*V~NbAN3FZhd~%Ut{17$e<$^m@fdS;kQY+OD~zc?q{JfOfhv! zh518%N}F#_W-$M?QJoL1R^WkzgbFG=w~)}MF?sR+82xfKDG;z85VP>XK<1IjF)jnA zts!^ELc3aWE6;c*=-%WI&n!-bqT_&iI&vRm=W&xJ!x;i#MyTje9UYd3*XZ}_%|A)d z?Lyttz$#26V_Or3l0@>||A34Byx>hT2xgJ4lS|1sD}%kW zLVJOC4*~QJfJUSv>V5qLQ$9J#LY<-lxVXrW^Yeq94EB4Z}Tqo8W~7YZW$VsXvcwwUZPKtFAwU(})QW z(b7Pk&OqzG(9%8k=LWTF4wI0zlbFXV3mUHWE81nESYCyGP%CjES|S-u*Lp<(ua}Of{Qy+hwGdUZ#Z?9T1v*_Abjhe4 z9$pEY6A~>2xQQzSqV0sco(7^#@_%=ng3n$rSr!nYJJpk>`4op$e~Yili; zs^H_xvx)QMu~-%!s33#4`>C3tS}JqW_~+*fLRiu6b@rWuObbsS8QG1LJ)&1&@;;7Q zA-xq2Iy(ka-5an2x^1HFoXAwWf(guJqe)#xju)o{aO^Dao@Q5jJL<9 za2Kezcn3hGDxEod%WWTB618PMuPX*=e6}FktfFPK(D|b|P#AOT=oP){pL?-IJ~nD? z(ukz8QOpSwE*LkEI2K5rT4N!p;-|mU zQo|}@a?4w&(vCyFCScAQ?cZf z?L*==RT-C@dh1J}t=rf4-q#>3;C`m!zMBKCpV&9@z}YVIJFO{eJ!w^9f)Uk5jX%4( zY=hbX=PMNM8FXiP1;0sKt`&Z8EbQIN#X;xt-D%Zh){`o+aH<|BQ%7}lu zefrA6<}U8+(;`6&Syty}Ig94Kkj`&Hwcr~c_L6x|NaKF$?qRuBw}0R8Sj7#4M(^w~ zd2;7VX_eC_^7ex8od=&qUTc12Zus6g8KKtts4Z(|ocBK}_j5(e-RFRS2-y6>(Q|KidSccOx*Sw?*H_Q()aQQc>FNVJ9w^^`+3UC%XUmE~YhmAF zY6avi`0CiljPnt5ZmjOQ|Jk5XS$U(jj+{8IMclZ8R|1Pq<|oG&|IfzlLc;5}?i3o| zwrfK7K|eN`IQ(*>6%S6sce7u$9Jx?hhL@W<lq2!9zMfPW|PT{N!}| zPh;Gt+uy7_cB8J%Y$#0T?PaYx9Pf4L=z{Xs+I_0OrQ5}eyYG!VkpE1;DDUjb_eXCt zj^+Nbtn2n}zK+Rrx856ky<(A5nxNVb$`(})56p>YP{OAGQyOyo(-z;lD(4GGKgXZ`H`;+@+ zR{vJ+PJu4X(S*4bYTt-?wQ|G3p-%tLkCx0?5FhYS{=wHg@;eRs0|S3pZqtR+xjq+J zF!IHimcw5i?6>%2(NUj+uAa_!aO{dfdA8kn<7Ycj;D4Cy-YL9p%ZPDNV`{XF{lUum zH-7KCJdTRFlU#`1>l55kk3*YboRm+tT8(ywa zJtXtDv(31!>)Up&A2R!7f&Z{_t6tWk+=uRLRph?wn+(1F-q%fb>87$VsvH)lQvGob)ws7c{!5bo8Z(DwEB1zHYl&W>zX^oBe;(8yg(bCOT|T zOhR0nx(S0u4DApS8(t%9K5>QKk*kX&{Zw(Ue$2k!Do2j9 z^F|k1=T~Mx!&4n&j;vc&=}Y^*nJv418M@WJ{{Kt0_Vp3h(|;A(4=Xmca+xoa0%zqG zwmnMR*!$+H=kpe)+t(+AA8lV|*TsJ2rxb`XAKf|h^DJxhZ=Z&&jLS;BV_%>4;cBac zg`2ld@7H>5+{OH%GhN~16DC$K6S%yI*SgV6l}Zm%-N~E*RJ?{Jm_mc$JLvk zJ)2o*D0qC&QnU2MckAzc7=3)&zS38Y1zZgndbw)JJWf~d-;B2Q^+j!}U)|j{|D6SI zV;fd#bU**mdJW&qN;8&*9cnnxe#|>pfqUJajJ;W$i|n~L{Ko4V$-81kUkIM!SAKoN zt@iZ->u*-yjcP^Ft?&5X?_J?xlS<$yj0eyG1^DbqJL`DIg2w`X%U{H^>p z{Mweut%h$)?Q=?-wa{x{Up_V0-;ltz=EMxns#SB>KsoSR!reCZ^{?|MG%wwK+tHMa$R0KS U9$X-ln>c$z2PLh8|F(qx1L7r1NB{r; literal 0 HcmV?d00001 diff --git a/cbor/conformance_dump_env.cbor b/cbor/conformance_dump_env.cbor new file mode 100644 index 0000000000000000000000000000000000000000..e217a2e0e187754ace53c3cef757042445ed8010 GIT binary patch literal 4771 zcmaKwc|4Te`^RUjV~MfEjIk4qJ6*7=tX6$P!ACh(a2K7?Cv+ zl9(*nqC7p4Y-P!B?&C49=Hh?}3Gh-yiHKt} zs33v5ta%|2>wR(B4LH6X-en6A5D1hkbzr6mTznZThk}UgAXab*5nv3cK2cvM#(D(k zBL_}9$^Zo1grW3e`jKr94yKmS#T zYq^d<`vC_#z`>hz>E%nd=V}%A5Fm0XMX3h_NCjcX(`jFfuvc^i2*l(iAlw5)#Z)Qy z>d#=`jgAO0?0yFZ0|2t|*#oivj~jTHo%R6-JHi>i&@PU`y#FU;@r$^p0|>b?EbM@x zz|8+6e8#a~(*UBafiwmQax$^7g6W8_iEvrZM;We1U{4@EAcCERC2?L#LFs6bgOrP5 z7lv{tRLoM%TVCXy`9y(S=LZCVSbpCNX~QG4Jew``_4uwjQgNB#%g`TzIgj^P0700( zS?}GHqAOrcxbAak&PsHNpH7XXf`D@T!(Bewtnec`a9LFle}P13QeSoab2_P;dPGI@;L4}UXamZKaI~kea>RzQs}$% zZ)KTm^srrOL_?gyZ-{7%r&_cY%ZinhdBw>D!+e0Krcgi6c{`sK5t8l|-43Cb7luS%`c?Ggav`ilYprz``aa z7cZ7GxMzQldUouMtt)a-;gY_39)j#JDiB7WBY$+VpXu-c?1)tB?Q0ZL<-7B~Z7b|+ zsVq9RHQ-WbVI|adM6l6fl~h+|&3shFs+M$iaX=4gZ{}S|04;(mb`6G8;hC}=Z_LsY zFIde5H(Q^cb(9W%QLRS;CkZ->e1CASZ+R`(PhEA)p0J<5TlfN)ePd8f@Zu^e?4z$CmkQSUoHvoW2dS#UZWW$G+!*rtd+OF z>2iIqX5DyAC2h*a4d4pHePR+UW8p=8BmH_Yae0Vzp`}o9<2|&7;S+$Hv9P?!jO43g z74y;_unFy|DwNx^a$hxd*z>Og_=BmPSKpST+ba&>)Vx~>d^1~^Qi6O@b!DZ!1i;7c zT)j+PEIlVyoF0IZo@a6G)Z#SbqUa#FN=#YC@11F2Rw(*(BcIxe+x~zb^yuTgHusgm_q3dqI1wW$CTP zAWZ~SLUTQrL}@Vqc)QTsEWPAbeN`o$F!0h%gy)Q4^5tF;-Gv;>hqXWeTqYd*l;@l# z8+h=P`vOjZ6LdN3UkV1Ig05D+NWd2{E@Hd^v`F7D*vYx-JlIyc1EDm4$?jdG(4 za#-i%91wxmMaQ^h)kO+cWG_G338_?)FW5|#qYHlSqL!szCsKUNbAt88o!s=GTt{S8 z4g{SRs_zN{L2~ky@9R5cUu<%}F~c&u=6V}Bm5BA~o+nK(_b~wi*qviUN%VS5VS#a+ z?$u$aBqOAuuc9F9mD=lQC?GfyeM4MH@Ku$Wx2bo4jGt})i#CKOp(}1oE!>_F5NHol zFD|XEhi^69TjO{I`L-)}r2JC5U%pzoLm>|!FbV|6YRx@NM-?4US;FO<`lqg{)vd`~ zzWL-?EjB=49~4VYfM1?>P3rX`e?G;b`(x^^(L|U#htyk1`YJq{`sDI!W$XjpEj`7P zRu)A>8h3-H1`j_VWEi-B5uzqMnM|@tXSo?zM1@uQM4`Rr)Xu8C8r#}*93LP^NSok% zij?TndChdfYVD4s&3*TTR#(!*oTzCweIHWy2Zi>-E&M@HGU8Y3i9vJep0prMww{$ zAP^BR?iUde60WVR92u=@>Ex{y?Gk;-I6Mdw?x$#Jq=X3$bQb@R&t+_dj_-^Q;vO=m ztbA%q=O4Y49M;$t#glOlDp<|TLbI<6nUh3cheH48@`9(z>bDqcSo5dxxn+~3@t0XX^5OL@Ist}+3nq^P}rLt;3w zJgO)RBhQE1mSI-_kBjdXBh@heM2i^fXmnK-@%-M`p9nZkzT!R-SV(*PuP&R!<}5Pz zw=BQwaV)R$w+Dq0^rDe`2~ed@u@jtc#YYhG)s1o6Re^cl5D{2;7f%Dj1g=-ur2II?@v z#Y#L#$&#lUB*T0h;7+wa{qBF}NIhaEXX4es)ND?C!u|}qEhMlK`5WLDB)M8Kp6<)? zMtZ1)_>PypCu_F_IyBmB&&rel+DH-5j~hx|o~d zy4QFC{x^>Ucw1Y{D-%Ol*nQ3S{~pUqFrNRV&WTWNMK(_uW&wN_^|?kKA;vS*Kl{{M zSs_%q%Bs@R$Kj?S9#Iov+g%4Zr&`6^!W&I6SB4HN<~2>#nD~D=|J^eeq!Qz86MZ&JnxIb z0FP3?IG_w>R5uCnF3N@*cb|zC*7+Xj3%g!)-v!{eYVzDCEwI6qD(ds5j)rm2Vt4C{ zB45Y*D0~CJi)~h=#?X2naUle*Pid>#7qGwDlI*HSa|c&70A9)~Xko!V$-9FSA&+&> z2893gFfcM|%y@+PF$wVUgPr&#zq!>@9|F^B?9Od+#7PsM6q77Vj~CG6drA@gghy6% z9_w9BJgFliL70#2o|VYDgXVP62cEB|{33yoO9N@iWsrAarJ+GAltzN`isUzgMQMOf za}CBAM0BE-0#;;`W#R=ClJ1-9#&$FwmCv;}q*ps%$x_inp}Oc5w!_gQYqF!an8hfV zv)fV~Qj+C#!}!}4and`;BNKawRCX-{h^H$?bB+KahW=-q4!#;8C;vF*^95{=ufRW8 z?PO$|ecvfvB{r^ohX>1937s_^)}`$uFd;CluyIOI@+vRZ5@!~W|NXjm&G%4@beOV) zAOD$M8}9F))4+gLW(D-}l7d-<+XW{*YcVS=S4_e0z~B#nwToJ( zIbU}+n4MtXJnYl{4I2Tk^{|h3d+Q4?3DZ}mhzH#?K4m!&8jt>K8{EGyhTUdTvy=**3>7xcL$AO5?^N zwg-#kAMby1E&bS4EOU_aDO)M(CJ;$A=NM@9mw^_p+-g4ceV6^@ZsJ9m`MaYZ6%x1; zA9OVQ0w;0O`auzLrD$Ga?E2e>`jr0Bs{Ci2L}FvtfR{NklQWT_hNfWsjg1;G{$lK= zkxSfZ@D=NVBM1SHnd{Q!99uv%?t3-$-g(aAu#~h5HQm(cVR5|@o5-(g?jU6DDhG`R zUQfMeYoYN?T)RAcTcbSml_iMNi z`rKcs{u+jx=H@4`S0^ga@1LRa^M_SRB&nMzRu}r8J^pDP+1Cf5aW%I{Mu#DxmkNY4 zkKseIDvP2=`wAyF5cYBFFj~huXFV4+5!HI|(f%Q#Hg%I4IpxV#KNz7%&Xvu(4TI4H zf7>J`8vk380N$^)n*8)Gm=ajK29aOj@L;~D*Zcgw(jB{mw1gux{#xY6?OdTaoe8__pofSl-sD4D5Ou#RsKXg}8TsVxP`!UAxVm z&9F_x8~j%;*t2#j=e0~@A~e;5&Kda`+4|t^&PCW_FKb5nd#bBP`J6l*Xm>s!FxuWH z%1hA)tr+3!_@}z$gdQ92$aEvWP;r8!?bb05>k{6d34R2*QH5qEPAvsyc3R!c-2dEj zLyqA5uRrSFt)Q|U9m>ZwO>WuT3D!#Xqa*$u>_BmaU&A#?k~BEHEOXl&vY7-XZ5KZ0 zkUS)pstYms{S-S!`n#4tKFeX4QH%kt`AXqOmH|jQ+TUud)B>3y`kf2{jJ?QH^{(&Y zh=>1YyZX`Pi)S3MEvp_cU*=*?i0adeZ=*i1I&AC2`wXgaibqJP8EKofE^)z7wDzv6_tMjFbJF2Td}9B< zT5%Q~+AB~FAzYyvGZC-;Uvfi(BFs#U)YL5OOvC)`G3F|krs%W2K4%@!SW8XE%a%?q z_KH@HO4ff8$}_|@?1%P_cnHRp4X^ZC4{>dho5C)Om{zw^SBGNrxM_b%IE#Ooq14Tf ztAmEtVsG5NV;}F9LalfmJa-+Ya?_BcwFTk@GJ3OE^7Kbpc{RCpeA%|qaeGKH$7n|&Z(W-DN5{h zkDlHBW)JIa%n2zxaeO)Own=X>-7WXCu9%2AHT2}qNyAI~#}he$h|O^V7j8)DQ&(*--m%Y$jDFRB<$= zes*`V&Ov7YM9Zic8UOAicewM^^jY|%gw~s1)s+Db#asB`$yOd(MztPIQaiXehEyWT z3*EL^;$MDX;)KHaHC6&YF*76y&@y_vtyFqL`5NSGb+@Hg<`d{iTy|lQzdPPX*Ec>9 zyiH_eBjV-%%NWYS4yS~6GQ4!sDk?Z2BGflP^(;Qv2xskNZfS>C{gbHW@c8%NhL68} ezl{w}uhk!Joy>F=8Z?O=_c;6%+aE~g;P^j74@-Ff literal 0 HcmV?d00001 diff --git a/cbor/conformance_dump_sig.cbor b/cbor/conformance_dump_sig.cbor new file mode 100644 index 0000000000000000000000000000000000000000..c8c669a0734ded34e96502a8b3459dad647d09d6 GIT binary patch literal 66 zcmZqXYhs9yN!Wf|Yx;V%pxij`M1_`@k7Z@I{mQ$2=KoD;H71b!#ND^s3ih3C-*TvT WD>vtN-2-R29&A5*C`D_1mKy-@2_Oyt literal 0 HcmV?d00001 diff --git a/cbor/conformance_dump_st.cbor b/cbor/conformance_dump_st.cbor new file mode 100644 index 0000000000000000000000000000000000000000..826875caceb6dedf3ec3e9aa3e4c8926abef1146 GIT binary patch literal 20734 zcma)kby$;8`#&jIgs8NnipmBHHU@~SfOWtE%x!GISh3zL$`%7fY%EL+1nfXXR1iB5 zJFyT86h-+x&(QaMzyHi1*L4OLpHt7>_kGT@!osQoTfQIcaj0gqpF`fcC)chX)U@n_%RO7Wx#0BvRXazN7Eb?kefxwHmu~DSt36v#aOhm4kThoL zAP`T?STL?2yl1N>?sH*fuaoadMqKe3+faUb|4AAU&!?vyO256|{gnfnJ<2iAcW zH)t$DSF!nE0f?83&j-1kDt9B#IMvp;9d#dLQ8Q- z-oeR5Jzw_l+Mzw_@zWpo%=lPf!}rVe#)lUi88|gHQvEPtadoA;y4dmC{gDd?Q6oNr z-#p4+o#>`&U1_N0`b*$0b;W0<>1_Yw0OHE$G4WKUu?~8?>sZwH|Ajl z?p?;2I2Hd3h>zm>JD&V_1T(PlO>BGJv#bWQXa=TiFkCv}bR~#~C(RXQ6h4T7uC|}i zb?FvrXceD4?fecu^zE?&|Fw4zr*d&=3jd!|)}Kri`aAfxeMGOH$$wQhcy#%!ejuKu z6TX+#aE#N&j}U3c6_55U;s>GbHC}0Y|P+9bM?ANN9U5v>Bm=XTvot{X}uwM-@L(q4B> zTd-L&-83^Yz-#UJZ6IE{ls62#S2 zirs^%DA?WastBL<*ZOa~DSy}k;+|pyviii#Z%-iidS*3!InwX&**(Qt9YM542Oc*5T_6Efln@nZl*mSHER6cZNqIEPA;9Z zWt(6E*^DyQfcQr{2ga+JTuPs+xopd9&=Hb3)wQpd&xOtKI*fLKIBU~A>il1<4K#O%hXb0H2QDPP-?Gk* zCiR>%F5qXr*TR8zHEpx@O?tTT{nFBwB6nb+@V^V`>0&|@9ZAa4B?%Li963KSm4Hd4 zF%*dkl{p%h*thTnrY$#}+Cp9ZTo*rWbc_4p^4q_hmw!-R@oVYraP*yS3oKj+E_@Ku zYMd2XU{kJbUszsZGkD1AG|H0mCq_=<)ZElUq~#^7?-x^}-`%x1g8CkEd<;YTp?Ij<=?QMXq`Fz&^^rej%gZ zjh_0>JTfHqCU@oaMTfSA+^OuC|7qVIN2nIW|7B{%mEfCZUvl3FZBnAg2Oevj{-l|% z(I$2Fj#_gR9RDv>UmU^@M0pi#SJWpg-0*dL)nj{h#o{%)`EyEZI>7Nu$G8#iTsy}8 z8l_6-lx>SZ)jViqh8CUb86)});tehdr?3cnmNVUb{pw%Pw(x+qkZG5AH{*Jy&I0k) z;OA2-?531_)Ypz|W=Enu9(;nWIFhTo1}$_NT^Vx_9PhHj{`MUg{lziq zuXi-=p8T|9{GCt390Qy#UCT#-ILmQ&T*(=ER`saH(|hN6HHCj7%z62xz~B~;iU9G< z-K#Q}sN-T}>|Dw4!Z6yZy>T0l>>5~HH=0rb;^vL*FEtE`-Su`-bNTwX+cy2sFWllD zylwamg@O38y!++qU9;DDKB68?Iv*u3HmhRoVH4)fgRlMp;v4-ZFF_Q;&#v{ZMfRLt zCr#}p;yU}!-?;N*k`lys{rLRmqUzpa{`qe!%i9MnWnDiRLG*-uj9YruAH?@>IsL^0 z+KZOmKGYHaXVfZBSc6=%Mn#4{ncU zP`Qnt4lg%6aw?R~MbL0sf=-4eW1vZRxKs`k zBE>{8!5}f=q`1^M+}GEAJdqodX2U2?uIYKH>`3C^GKpz&3aus-|k+1)m? zoKLRr^zPp?gjXH6DB!+7h-Y4tZr(0$3;p2y6!txQO<1k7^J=qg=W(VFP7LDz^5oX+ zBRGC$cU?i=%EN>E%R_d+ylM(kRt~j)XG{>^G(59OG3^KIV; z@vq;z-R~`Dm&MGjS=F*9tpz$6yEJxJ_8d16js5cQDUk&0< zVJPuAo{a&e@5vcy42a&Dun~4?>z?TEESRZZGBRIMCc zx)z*&>f+8#t841r4k0^7+&_Hp;K|3_P0^)QPu{Ujr$PLtm_ok!6DAzq_25m~XMW&H z<13p|_M@!C#bGfZ{(PTDzlfQ08V40GvUzfCR>q`mZg9}teG z_;T}{NxRnnxZvO8&e(q7-Ma-I*^Wj10QHIft3F69m#Sp2*hp3s*MOp$2r^kFI#q=g zm=xTcbYl*N!WUtf22C!Euj*5xui{^bD?PhN&N`E9{nvGOGg*F>y%StmPdp!Ny~F>t z0ZbJZftzTQj((inS;$E>b@gK}mb^SOar>q(3ob)KzO+Sv_`_K;^BZpl?){Bh&2??f zN9t9**!P0lM+c<_TEfMLbISugwzsAa-TUEdWbk!|(FvHN%&#GLp2*LA2gi3t{)+U@ z-`edtRCaXWhLLUf$>lui9WA`OVhEBm#0k5{Q*8)mQC?JE0N(YY76>FYPh z7Fd|yn>>{Gc0FIAW@I&(V9pFU`T*{jDGVb^* z@v_Z_AYYfS(McYGIBrZvXvdNrmn-fhZh=Wluk`;id2hl-s%a$OV;PA5D;!%zIE2fa z?WI1w`t)?lmQ{xoXy29~^rw}JP8>@B$5+@)8p3UR>bsW{^^rE5_U87(12G%hrbjeP zjX426|H6>cXVE8KsV>YtIpTJM`#tyUTM*wtn>J6{5lSg?%Nz1HW?7ERf7?5Z@cQ1F z>eU%5Ki5o}bIoz}un8ygY;Jdf>-2H!^uX>DZ~##1|)=7lZRe9L#VneSC;A^z8F*rN+G%jxFcc%-#<@a%F>lGKj|@ z#A9Foc)Mx$V(H2LU+x#W*$1V2OmCRBzaHxc;*$Q$MzAJV4=A`b>C2U$HIHrwmhPLl z(=$n1bPxjK)?zCV|Cdo)|KrfFQ!{I~DV2Cs*s!`8KQN7Nh>J^kznG<*{G!GsCyw zZ2R29C94)ee>3lj_%?E>q2cCo3?iz@VaO=gZOEm>&xQj9G?J(#;R>! zF838Y^qgaE@Q-`8g0daN>%A+D51n`Y=59(d4`9vBc)t7Ua5y$~V^f!YF^HevWFl-E zz4=3LE2}Z;<@arZrS|d;zo1J`Oyr1Ou!FUrwaCjm&&vx?HH&}!m#Y0M{I^ym0Y!~k z>qhaKd8U0rhU?z#=LLI4_*Gv!c+UMoVei1DAkK4pkJx^4uZM5|rDIY&lopA&rR6@g zV?I@P*MRt>V3*?}!IW3y@bRc;v+K@eM(^($UKe$eNgcHb#Q&wr^KG(!Y(LOT_ki?A zaA5Kf?|z%^Ue-xouAO(G9UQ-H%gFQ9`pLGXQwjGRNBKwDAqyy|*3~~8#a-_}{O1Gq ziy^LSMvU$C`B8a4XsUPGk4j1DoA1*&6OLIZjm(b?z7x7qw|+pu?0Dr_+?UU1J5=>+ z#qT05nX+5u!^mS;SWd)ZV)vrYLr*TyxH!CGw1=M#(JuwZ|I4)?i5t$|Y>4{Ezxa9OE+_-`Y%l0FEymylHE22Um1(>COaPWvBnFhfB_#I?kL1 z{~YBD;#)tSnG5$Ey`W9<>Hf75*!B(U5Ubu#U*JJlz3DE9A9$2}`SqC6T*&j)Y3aAm zl$|dz)$Q2URjZV7=pf#bwcwJge|Qf3EMr~A?=#eSkB%erAMkc}d^yPlaclG`8kPr! z2>Bo%!k@nio>Hv{e^K7g8?nsndZZ$R*f44R?2qosbKpD)6^0cZ@mo3X7Vo_ixI@-j zRgf&Jsh->zys%_j(SSTBV4h{*Jfr-P`dPQuq11b}ygH+tax}g)ebPC5Mncnf&%6Iz z2N)kc_V=O!MBNXMH&qSevkuQ#%|0f3+;Kw-dt-0}$Nx)S<%{QUWRjyk_&49!k~?|J zSNGohgv&QRc~$?!O#;XN%XI&%Z16AB8ai`4wPy#>H}`z&q!~jm-M@ldpy!6U`kS$% z(?L2yQC(Uk{`sDeb4&L=)$eG>gqD=c&M*4;@a85Nh!d|}JG%b3|77yJ`|G^$cRJ^l zs_!c%pA7jd(h5PGv?w7u`fcrbAFBF_d*I$Fc5Ut-LJ~gOG)?x60CCE9)KmY-vI$j` zvzxE-R-ZT(I8cJQ=rjIAgpP3kPsod|Kf7k= z{*cao(l&PMuG2?>#QL^Kku5 z$o$tJPWq+36hb=k^vcc0ckYa-Z%wBKDxehiN}ExRVIa@P@U7F2DkCFnVN&JR+C~;!ETAWDUAPc(8YQY*5YnS9$ZYy05NrJDLrxo+|?J{gjt$gk?vX zP4k~Xy4Ea-lI{K)_9NQslymW?G!VZQ2_G|l^2N$`F5x{xjs~j>r=)(}{A}cNhflp0 zyD$>A(MbNXAY^T8`r7cPZ7+sfZlC=aXObGhyP3X_G;k$?GY zLZ`_2siY{iQj*A5>qx>Zx`M#VkV!HlHDa#L3}cux`k4Fu>bLC&zdxP0ihTnL;n5pK*Qc<^woWk_@@6sYaD2}HpPPi|h zb!}N_NTUf^S2Pe1QpDfQBl*#(=rm|9St919bEz7Eh)pn16s8P{hGJ%uq(JtnVMY=A z_KzAd1zCK3T>0-0`>Q?5U^Nq#z1#jq`^dl8K-P8V&zt4|?B5a;{OjoEUp2#jIpu#9 zEy|Xg$y4?}|K@)a>Bp&f`217x%Cx%NM#v zous>P0mT1h1Ua034=4Uw|8c_i4bIJww~IPkM#2KUXTMo?ciuyAJa@&FpxPm)55N47 zKjq=|hdDz6WP@fKX$Gf$u9oA4Dahz?{gFivPY>~McvwSc9&r|0T(mv06A2hVAz!K4UE*rWLi}TeE5DtyMCEdB`>&LOj!rwuj z*_al#gUq1~I{i)+?p1!WcT9CP!byL(f5ZGJhsBT2Uz=rN?!PKlr+$UuE71 zXyPkH&>(u_@RF_Bh99RMoUxp`T4F!1;=1X1Ualvfg>|a&=h>%+*R%IWe98;fwe0l; zDf=(8)D%6&Z+7P4HJ1a<5mE)|`i_(})3)eBMwM1|KLN*EJ!$~(f2G~_np*+=M?D`t zBzNi6IF6fyEkLwk5s7f*!POMk9&Or78d;xU(7roQa>r0J~L*fH>;^M@Z} z2Ukc>XO$r;Qr3XDI$^Hg@U@5DdR^P(>T-s?HfirM%3{WASlXcTJP`j^u3*irf#Z+P z>~`Ne>`>^2BN}0Bbcx%QjV7Gxx&!935c>qg|5fX>c9d`cWRTTl)duWwv9w^Mh-!P~ zn{enSM$MzxL-gG{Rr_k)9{5hMqzBe7B>=)Z@~>x3OQM-Fg(fyupMs{r(HSxsT$cpR z;{S;yZhje=9#3LBTyqNXul1UNAOsa%O1Uxr(a(z$t_`;xbsyZ!s-d4TB)&)Wr@)*r z)2U;z{clZ{qDEYM6kXW>Sfcy__20F`1SN_q=~IW=X9GF}2VTTYA{J4f;#xn;WP5m9>saeA;5Sn4|+I*8QD05|@#a zl#168`sN;SbXuCHV{=~JPnUwB4zm7NHN}*{Eys>+f5h|CEtk>2O@EziQdQ1vsy7`a z&QI#0-BRx(PN^)EhF8^>%>m~&#{HdKD^F31%}EfI979Jl*>IUYl4~TRDQY@}!&Tu_ zxm-k~DjLm~tMSP!ib~P9hevfC-Aiu&?oAcN)NN^7na!BM&OG`4$jg1R5j&X=IQUDz3ZFwyYWu3tIxqEuKu1AFn1IY z++Dd-mQvnnRJI;>FR)0;>ofNYZ*EA#C(m0Xlt!Za7hJ9R09|>kcqn`GO>hS50WjDj zpOCa_?Bh|42N@$Kk*0tD^1yp{_wva;9z7ANY7ieAc2^}Y&DiuX-`glVo@YPzr~UDj zm@@60=#v*LlpOJwk{XE#rNWp{BqKu!fm7**)IM5KpHCasR;!5Xu5RD|+4v((ICp#K z%rjqBKIytN(zocAC%DS^ad8Zr4~H1@?QbyY#-KCRosf6WCc5xCHzR@CHApMF!$_Z; z6AnMn2Nvo|ly-;kGx0rTrI3e%vyc|Gx0ZVUUyer!@o6SmRJ2$m;_{PuSiM|kLhI$m z)C@8tHHs@0V;LAFA}SJMpx`wm?Vq!_Q>q&S{JaqKyNhoxu3)Sb_7v_9Ov`%LF@b#c zfu@sYNjvq(sf`h~_DG^CV||G?p+3>z7yD73>9u(M=5)&*{u42$X#^-8R;Nd(GgSzl zf}2K8SF<75NMLU?vH)ceMX}jr3A>Mgkf2{q&&%4x^P(>L;T-AjzPYwF`UL&V$bUGp zCuK$IK#+iol85BV32tvV1m^h)K_T95iW$WgjZ_VOuMfPg@c+I_EPbsex7I^68@ zr0(wHK^NB2E^~+V{`6I6cYyfr!PhPno zn?@Wpu5VurQC^2%c-?z5ta8r2BO_~k^QIp;{b>t+_~L!9$T2Tz)4*9DaaK2rz6@Tp zG}jnVUUK;rG9=&GB#{k}(?EhGu}D?X$|tx^n2jmk*P(&J2M35I~}TSkoHKkZ&K zpyGr3qrErDtM*OyCU=mJe~ByeU($Nva*>7m-Hl|Ms+lLY3Kz~!%V(5t+i<>Y)9#*& z#Z3dA)fd?2d3hIA@%^lMwgr5@{--XlJ6!(BgXD85^mY0A?a$Dp?&>kJDJwC}Z~1}m zzZ*IhybXUGHd}Qk8B^@Pcc$}-%<_fa&1q@3zB{EZ^YXH38BySCGq7%3$PXdS*T(&v z3H>C`hVTEhZL|G^S)`2nJ=vL&-!l8h&bWF0#fZryZ9vs_@C3Ke`uQN=Z+X3E?9wS* z^AP6F<62$R>QY}xp7gVebNUOC#CncdTws@*nr+CI3JK@02*ymT~@Ek#i2 zbP_K`%OXoPdXUydHeSfCt^zw9lR-4GBZWu}EHa(PW0`1wPzb@s#%4S-2KXEZv_U}g z0a~H$&@6;5TMPCov>jlK&yaF+32cg#%8*O-1d%=qs@Fj13ZhhlktC*IBBM=d*)%pX zN{bT0a#E-iq#;qO=47Yn4SfrBf$NN6#sZ%Rpp60=5@?0CUNI5@uWy+yBUGF!q)Vc* zFfxe(iaPO92OluIn}f0y+;SAYyA{6>E? z&ieEk!8qHlbxyz6w8(B$4ZQC4Gc~Vi8K&$L68A198W0NbX8_QGfCfww1c~CMBN0-ST+YVprCL;Uc3Mi7K3x(m zOQx{?h)!;%QK8|hRb(P3jUCm;bA1vNE)wA6$xyxwPNAv|V9J0ck`SM;aBG$z+Zmlfua%!LtmiOhzihkj|hISr9c*o|7Kkx8x9ABv~a9U>RAd zJbH#nPsPJ5%l`L@nMuM`@&P(RDI8`pHya7UiDS?RIC2zljdkDK&Z?>HrN0!9gd|#L zlwI3oq4eG+ZOnk1!GPFwrN!x>tIi{rj}T}A=Y%toYTo((ShY?%@M26EKQN{@?(*xY zOYNdpoMgC-eY2w^H99b?>K^9Grtcr`^++Xd9u~`G_k0$fKVyflO~~BO$}={A<@&hr zbbR*MB~yM1it&`(j;Rq>zMhQvUUqKf?Ca&%0TC*&Uh(GpJxCZxF3dam#g^bi>rKak$8DgO%Cx@&gVIkyXqt+xR!gkc9JGLO8|*Xqc9Oz2}Ht^a1a_TIx<<0M$nYFTvaMQQY14fGB_4- zvC}3+a*~MpBmsE=Za)wZF(1eAs?9!* zolim03fVB^RcyzeiYMcXr}@s66ug?3HEs@h$MEdyiu69GxT228{duc-3-7>8*>A~W z31_&F<{I?w>B}3DWk6bD5N0A4%EM^0RAwy&ri`L9bHFu=Y+S%eV=-|=1p$wWMo`rztcoT|laZy8L<1pNV$Mla5a1N4W&42isxu;) zx$sPkTn|qdM*gukp2i9KESU_0jM9+!a&12+?{o?CV^{1{J@g7R}vi{|^X9WT|+ z2Ba%{x^KAOg}KtbtIReot6d_#F64bgd9EJx;QMO92CBW22R_=YyeFp?=Gydt>KGf6(*&JDR3A z^j;yY`&OrP%6%xj*5?DQUA-zQu*+eRxhR9l;v)c!jWoh_GBHdBH((N_xMa2ofuNb- zuq-3lj7~=Kv!wVGEZUG8#UdxcbQmZ>+{bROpe`mTCec6xeHHk-(AM1;B;pCU3VI4Q zT`oZxnOVeSBZI1hDVRcHO4c6-;ro}u1fkR{!-!F)TzO`a*urOku#AU@u7OAEwsu^& z5-@`b7t9bAy{T;INJgw5?-_X}{UYcY zp0te!KV0kX7zw+$J+-89Kr$&b*S$!U-^DjgFXnT1D?M{IHm6yzW|OgjC(LVX36;TBitUoEh@6H1b_idkd+gF z21+3eXn;)mbTKi&U!bVf46`EOUGlI%U zh7<8A7GD9(5!}Ue0>*g&Z7k5hRsLJXU_sNkFcZi(ToA%~l^dY1;HkXg(WPvr&pe}S zUh*%S?LNzacM-NM?hd-Kh98Ktx8YsF#p0)4uOysX5+?6AW0=d}n=_|5>tgaf-p7kP zy}SVe+u8#5Fuyv*JcF3g~HwRS_c2%u1aG?@g$ zaYW#Q0cHk8%+AcFWD+^b>@=Ph8Xawb(`n);ikuY*#S6rYRF*1HoDC5$Ae>AEQJ^PLudS~l0SmYksrmJgkI z!=bmo{{v!0gwvScHerHPu((eIFkaNd5Z_YRw92cA&G}QE?Bd8+-#FD@@$`(U@N9q<$If-PAqB=R<(^E z829=92K-(1lz}1Fg9{4mvc&Xs!5>|>BuQRf|8qVdK}0Hv8Qc`9oURo>VSH#7oKGYo zG`fuBXsMYhW|Ih({D3xLc>h5Ea2r2JKUenwe81WC0gLw9f9LrVVx!LOS?~V4XTn`s zSk;Uv*W_z}r|(}g@5hbc8qM7ksaGXc(w2>R0lWKzH(?(BcesSs;QF-y#je+e8<9s(aCw2oD z0e^j){W9xG`}lkEg?m}4Uk3tjAnYq&MA;Iy+HW!7uyou^8d;4|>lkvqiOq>7lK)UH z5cG=9Owhf8QIb8-Kz9pBZ-Q1uASClJ$*N>l4xA(cuI2%942Eta=wt(inwTTO@?ji= zfUJ-Mu@6(Lf3St63&F!+a|{Z# zF_S7|K`;b1RAS6AsL)30-z9x16c&pJ&yr<}R9Ia`CMzjDi>HEETpj4aDJq>#r%|V< z(fnje8c8L=n^JJ;W{OFl$>8QD!jm!-6cV17VX)ZnzbXY~g2@H=16sR3=`PYZ8ZA{A zDM|!WVo+!@#L4uW44yaz$`Fx_@*KH@VCD&P!Hoe6kAv~B3S|zPC#3VT=#eSv3?z=P zSF#}rsDeg8zzAeiN=|B;C4Vk3M*Q_FN)0L-5KA4EXJpaw1egL9rODPy%-BpApQEH? zAe5F7GzTAe1ZHr&TS!2N-B`Zg{GQ7`JsNVhja!v(_i@-|Qt0^w3UvQ(2kIGH0O36M zMt3fCO1r&EJ&es8G$x>Oe)-#3%3Ye26&DBa13zRve(PH2y|~ytXWg&f#;j-GkR;FK zlm&_3&C}1^yk6}D#*4o8h^DhWfr>I;cm9iM%g2L`=c!Lo&sv&?bJC!xk9y^e=loM1 z2d|Z#dF5JF6%)}XoEOF@?=3wmKby0oyZbPuk$2H!Ebe#1^Ewgl^Fh8}_r$ZA=NS#j z(=NZdEr_XkX7F`#cFt)rPMGhj$_Hg3D~)GF8re~3Y!-|zSMazQ>Q`8l5*u5L_Fn-YKqswybD1;(hqqD9~tP0Tb(Qe=9DLdVC;;8|)!6i&cX zB9Tgzfv2XZGO}`0F+30czO~0DSGB$JK;kjEd90Vn!Au<{q87CkMD!)`{J{mW=~n*#asf z;fqi!4i8u)Gukr0)>hugiEMgN&QX3YW3P7svFK&3G(h{)(w#5%*(r_l|qQR&WG=pFyRba&Yhe>Q&jxjTm1efA*kpdN8 zDI#*&P%@7w)xouFYL141%0gsE$#mEhjNuQXRuq40dviXsQT?fIt01%Z?o+Q)#^nb$ z*B{=aO8^)ZbG0VbRsG_Pv(|q_P5bEFU!5_`e^V#+bE<;G=d z{HbFaJL_)=6#}+l6e7a_m#3+OP<5^>oekHiI9QH6hiFX65g0QP=~PwnAD+bILZY~d zSt_ztDoKX3;4o-9g2AI=*(sd#OdwK_V>l2BCQ}GS$eFn^q8x?hn#IPyqXVc^4w=AD z(TJnfy2uQ4B1u8Zlx5TPL{?v|?7vrUu*7U_ZU$Y2gTfNEtQ;~kN6$=)#tPYVu3XR5 zWkhB{k`P!+-Gu0n;OgaX{jw#%JJ{i$o=6g|_4K$#m$sMFmyB^-vi|50TEo`G?#K9n zX&vis)^Cj2TYhAEqObdrPu2KJKIE0kFtz1nka#!_NAV{FeyC|t`%DfC4fFyig|vZ*AGr* z$hesZJcA2~RH#{MmOv31rNU5!*^HcY{GXU)AgDe8%sAjP0%%~K57z#GO0Ko*DF7K; zFFL-TAJ9meBKf)X(dRVnsl~-1yH0#xF!$%csr{9;i*qzxa64>}{o-%X?2t!$-dx zd-U$)A5}?xl5g!2F5j=P-noMD^!xF_31ia>puG=PEU#O7u5}%+E$;m#zF+w`!%oRW zb1>0`JT=?Lwt3+gX3yb30xqoHp0)@uMPrO;94VV8$K@&`ahVu(G($%xV~QetLyw3|XUc%Q zJ_TWlHn8MOsHJ8Mz%igC1TzDHPp}v=3}}B!&g1nWGe(w%1@0M9)9Df{K7|R9O9=vV zqAE$2%7xLRplC^?SsN)crKg#bkfLNcSs_%TG<=J-(El~WX1b8i&xVRomecv9@o+D% zF;HjVWG;Jkn{Q-&NXd6ciXrQEXRL?6Z9wJKU(=3%%LXLvLxOAUy7fPPbN|Q-LHc3!Oo*pj9r6fv43~{Q2#gQjLxH1$M z(0eE@nWH5b%!v{mjw}^sz=W*qKW9EN83Lguq^JD#hZ8_H4zW~YK(PV+BA90Y_5ev| zvEbPfI-CZH<_gs!VRlp^g|A{o${1;Mx&UJosZ3a2iZL6{gitv;vn9#{41u+KW*~bo zEo;i+)*SONVqJdEBn)sGkaEoPlW8}WaUz2sIOJOAjs|kx;0O21YaWMF9)1~JrrFs4 zw;=xO*o<2_O)G4NfQG8S#IR&*psN)#xROd3m(V=$o%QiL=Ot4#Vc5M_ixjmQi& zj0^$pyX0~*GN@Rn0T0Qdr7&<=(Yf?o22n>&CZ%(gSfN~ym7Z(K>;MTs$dXJZEHn`U z!&3F8)Z{E^vYD5dMkA&QU~GmICs&HmA~b?6q?_bu1hmgx|2Ntt=Ne#)Bti-bNhJ|v zscF#$t|TcfNhwotlQ5}7F_DH%qh!I^8gQey;Za-oeuF$JdM2clOg%hh$-{n+J0`9j zbH7k5tbe-buHywjc5Z#obV)7w@?>yYbP1}hQ%d}H?wq4TVr$$1uOa+EgBNYV*bz%< zGTfu7GtZu?E(`y)&X>x4wmJ7o($%&zoe$k3CS%is$c=|RXLI3wzSx>GDFkdfT5NH}0MVio8H6Og2uaWj*-U|f zPlxEl@(g`?b`si*5F1o10hX?1r6}+aehNlz(xKsqBqK-xFpT!+Wy>jWGo5L~KoN-C zWTt|j4wFj~b1en90%O8o+nAE0!DSh#I;Ij2WFNUKU4}SGCPRs_Nd^t@FW|jTNK~Rc zNkTT888U_t4P!DR!9{?i!qAU4{nxCN8NCBznyZ<~mkT(*#{Qm2iF>{>A`74~KW_N= z=Rbm5g>%Rs=F6eVSLdDDKTn%IvT=&Nj34-Hu=mx$IN2FhSL?;&)lRz(ot^QzefZt% zb{87c=lz}z50J(_&LKSmef*onAZ;_9h%1yUKM51!ZA->(tAsdl8g6}1UFO~yw)s+@ z)eH)Ce`UJ9yKGx{XUO^rgX78LEhN9k=DFX7z6HXw!)`tm6Hl@p{Z5bVU#Y5HI$&Fo z&34S7l`eJM9gBfuC5v+?u*=qpGG&$&0Ca)CQ5fK6qv^yPI*+KN5jX;@R>oG+BJprB zf|1I{W6@@^oNP=>mII|GnIt1AlE4sBj2TGFt!yB>(+IK2CLBa#R{kv~py^T*mX;1d zvU9b1F)y8<(nE4mVP;|ql0$-`SW2jXl*s4dWFiz6gP><+7;^s{h=Wff8rYnZMpNlnELU(EWm*+Ye}fOaLm=Cmmk?nMoqceJeo9d~i8h zMY>MFL*b+_gB+D67b)>LdBxX@52NVz=dWzmq3T7l}A8^=9<#_am3( z6P|V>2l+-EA9Lg`&T^I8>h}lb7r210;(!YkbJd4`Kd4$Y zijn1#2kzL~_g4TrwgJD-Coj*^b>|r0!rCnD{&4e(>PJ644%SvqI*Aduzi1EK@(k$O zZ@_=MR#KPGSUGwn-YM#DV?y$dV6pb4L{os|LEd_Yuu9>rt$7UW+Q+w+a{2 zd+Xu+*j&hsdDV}9v>r@}Z3H*q_}^JCo>ZQ0W-nvz99jM**=I(mf*fRQ-aZn8biWz~ zbRFvU->&zi^}C1x>-^Ig;R-$<_}UXV(TcOPTnK4}+iw)D@b-0lX{aN5`Tvf2zF$`& z*=pJHzus-M_O30kki%cD15an|3%0;LdHmUv%cp6-4iC&^OVQd>hwr;BL0&Swu3J%) zm9TFKpeVpZ*46}ZYnL^Eg$7y_B`+UPU!e2aFsJ;g)}b#O1Yb9l`d@K*lFVE9CS2nP z4SIhS=VV<5XvV{3lIoegz6b>)}qd%xli z-a#jDS6?SA<9Y6`wh2bOq(?p<75VfTddwJ~EoS81rw_oXz^{z}jTxZLOu<%kt>)O1 i1-)tTxha#@x8irgkF47s)XAEBZ_}ntMVmI+*!({Qa@H{b literal 0 HcmV?d00001 diff --git a/environment.yaml b/environment.yaml new file mode 100644 index 00000000000..6c11b925986 --- /dev/null +++ b/environment.yaml @@ -0,0 +1,14 @@ +id: lazy-environments +language: Haskell +rule: + kind: strict_field + inside: + kind: data_type + stopBy: end + has: + field: name + regex: '.*Env$' + has: + field: type + pattern: $TYPE +fix: ' $TYPE' diff --git a/eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp/GovSpec.hs b/eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp/GovSpec.hs index d5361a14608..fe74d89cf20 100644 --- a/eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp/GovSpec.hs +++ b/eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp/GovSpec.hs @@ -869,6 +869,15 @@ votingSpec = . constitutionAnchorL expectNoCurrentProposals conAnchor `shouldNotBe` anchor + it "can submit SPO votes" $ do + spoHash <- freshKeyHash + registerPool spoHash + passNEpochs 3 + gaId <- + submitParameterChange SNothing $ + def + & ppuMinFeeAL .~ SJust (Coin 100) + submitVote_ @era VoteYes (StakePoolVoter spoHash) gaId constitutionSpec :: forall era. diff --git a/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Pool.hs b/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Pool.hs index ab50529e891..05f27925975 100644 --- a/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Pool.hs +++ b/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Pool.hs @@ -13,7 +13,6 @@ import Cardano.Ledger.CertState import Cardano.Ledger.Core import Cardano.Ledger.PoolParams import Cardano.Ledger.Shelley.Rules -import Data.Map.Strict (mapKeys) import qualified Lib as Agda import Test.Cardano.Ledger.Conformance import Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base () @@ -38,8 +37,8 @@ instance SpecTranslate ctx (PState era) where toSpecRep PState {..} = Agda.MkPState - <$> toSpecRep (mapKeys (hashToInteger . unKeyHash) psStakePoolParams) - <*> toSpecRep (mapKeys (hashToInteger . unKeyHash) psRetiring) + <$> toSpecRep psStakePoolParams + <*> toSpecRep psRetiring instance SpecTranslate ctx PoolCert where type SpecRep PoolCert = Agda.DCert diff --git a/remove-extra-parens.yaml b/remove-extra-parens.yaml new file mode 100644 index 00000000000..ada6ed34f94 --- /dev/null +++ b/remove-extra-parens.yaml @@ -0,0 +1,12 @@ +id: remove-extra-parens +language: Haskell +rule: + kind: field + all: + - has: + field: name + pattern: $NAME + - has: + field: type + pattern: ($TYPE) +fix: '$NAME :: $TYPE' diff --git a/sgconfig.yml b/sgconfig.yml new file mode 100644 index 00000000000..b0f58234fd9 --- /dev/null +++ b/sgconfig.yml @@ -0,0 +1,2 @@ +ruleDirs: +- ./rules diff --git a/test.txt b/test.txt new file mode 100644 index 00000000000..e69de29bb2d