CAT(3078,1)
Sparse6:
:~?oE_?O?G?C@W?j?R_IONODsAy@\?n_VoJwECBA@`?g_TOIWCkA]@L?j?MOIoBsAk?z?`?UOJ?B{A?@X?a?UoJOCcAs@F?X?SOEoDK@g@T@c?OoFwCC@q?z?]_POGwCcAU@N?e`@?]WN[FiBu@u_{_\wN?FiBS@t_x_ZGM_EmA|@__noWWK[EIB_@Z_x?VWMGDqA}@t_x_VgM_EABe@`_p?\GKWFUAq@v_{?UgJ?FYAq@Z_l?VWJ?Dq@d?p_XoLGEsBU@o@c_Z_XWFGEY@w@h_\?YGFWE]BY@T_j_ZwLoDYA]@g_g_YWI?E]BG@R_r?TGKgDIAW@i_f?ZGHgEmBq@H_|_QwNOCiB_@E_x?QGMGC]AE@o_a_[gG_FEBk@?_{?OgGGF]B]?}_v?NwLgBuES?U_KODw[ODeAt@W_mOVWJ[BM@b?q_YOLgEkBe@p?v_ZoMGFKBi@x?z_\oNGFSBu@~?}__oOgGCCMAJ@CaH@Aw`KOiGTCJaCp@o_[O_GJCCABPA?^KN_GLCF@zoyw\kMqFNBe`qpAO[kM[GVBeADOtgZCL]EvBX`lOvGZkLyE~B``oOsO_kLGGFBOAAOtO_cLKGJBSA@o}OXsN_E^Bv@eo{OXSNKEXBq@dorO\{K{F`Bm@fOvo\[M?FZB`@uOpoY[KcEjBG@iOsOZsLoEdBO@mot_ZKL_EtBZ@johWScIMEMA_`c?ggXGIEEKC@a??pGWgOIEABy`}?ogWWNmF}A~`}_oG^oJyDzA{`\omgVKJaDmBn`Y_zgUoNADcBu`y_lG]_JMFyAk`~?jg^wIuDMBh`S?ygSoMaDQBI`d_iwTOKqCzA^`NOegRcHmCqBi`s_dw\?HaCaBy`}?cwQONmC]Bs`G?|gPoNUFaAJ`x_bW]OGqCQCEaB_ag`?GaCKC?`A`?gOwOECFAA`AO^O[cFwFF@{@pO^o[SGCFHA?@pojoQcJCClAo@IoCwAk@QK}BL`fOrwDCAi@R?[_NOFWB{AE@@?c_PoGgBS@m?r?X_LoEgCsA]@JA_`POgWOSGQCFFEB[PlwvKZsKzE[B^pn_rsXcLtEzBLpe_vcXcLbEZBXPe_u[YsKjEkBHpd?t[WsLhENBZPb_ukYGK`EcBHPgoqKWoLHEJBPPgopSY{KREoBBpj_pCWOLPEEBTP`OtKWEKDEBa~p_GnsZoJxEzA}pm_n[XWJpEWA|PdonKZKJfEqAyPkOmSU{LVElAwpj?mCUsLNDmBQpZ?ssYSJPEfArph_ksUKLPDdBTPX?tKTgLjD[BZPUoucTEIfDQad`fGh_XuIYE]bJ@QGhOX]IQEWa`PPGg[SEI@C~a\PMWf[RMHjCsaTPJGd[QuH^Cmb]`KWvoRIH_E~bZ`EwbgZaLqC[aKpEgbCPSLzCVB^pD_vsPKL\CSBVpC_uCOwK~E`AEPBOsCYCGbCNBNpC?sCT[IzD^AkpU?jsTSJlDUAzpT?mkRWHxCvA]pN_fCT?HNChAfPI?h{UCHHDaAQpW?csQCJRDjAPpY_cSQ?IJC]AbpFogs@Y?n?W_noWGJsEMBD@`_XOKwEKQeHPCfaUpJwdsQAG|C^biptwyscYQHHDc^ATXI_cAQeG~c\qNHFkcwPtGwCfqRPFKc{P^GpCeqK@HscoPZHICVQQpDcaiPVGhcNqFXBsdgOrGVClqUPBC`OQ`HPCJQS`AkdWOVHWCEqTp@c__QrGHClqA`JSc_ODGCCcqPp?[^cQTFzCdp}`HcdCNjHQBxp|@IC^ANdFpcb`wW{WceQOFabkpugzC[{QfFPCips@Ic[qMZFMbcpqwxS[WQlFGCkPppI{[AMDF@b`ppGwkbSQBGvC`qL`GS`gOJG[CBqEp?s^WPFFwCQQHO}{`GNZFnCGpz`A[^{NTG@BuQ??|[^oNNF}Bsp~O|C]SP@FcCPPx`CKbON@GqBnqKozsaWMvGgBmQHozk_{MdGOBiPsp@sLMEjBSdaqpxWskST`JFDXQp`UKiETFIadRQhHSkgMSHIDc}q^xNsfiRxHzczq]XNCeyR`HncuQZXL[doTzH]D^QVPVckGTZJCDVqopTsh_TNIhDLQePTCgwSvIKDMqbPRcgkTpIIDZQaPU{g{SNIGDGqc@Osg?TrIAD\q_PVSfSSnITCzQ\@QsfKTfItCwq[`UchwRPI_CtQfpLKkCRJHfD^qo@KshKRDHbDHQd@KcioR@IiCoqipJ{CeAV@I_cOPgG{WiKVEKayp\wmsVIJfDsaoPWgkKT}I|D\aTpIgdcRIH`CpaOpGwcSgySXILeWbJ`d[qsX`KnEURJpcsqSX`KmERrH@c{qKXJKaERRJPacpSXVKREURI`akq_WhKRESrC@bcpGW|KPEMrCPasp_WdKVEGRBPb{owXBKNEORBPbKo{WvKMELQxpdSqcVPJeESRBH`[oiX_KHeVb@xdooaWqKEeAbEx__piWoK?d~bDhawnyVxJ|d|qzpbcn?W|JpEMqz`b{moXBJlEOQrhYCk}UdJRdgqq`c[qOUPKaDcq}@[[ngVJJxDqQw@]SmGVhJ`Dxr?PZkoKU~KADnQ|`ZSn[UxJZDyqyPYcmkUlJTDtQqpZCkoUnJLDkr`OAk@Q?fBF`cOqWY{LaElB[`nOvWZ{MEF@Ac`QogwP[GuCXAM`FocGNcFyBz@}_}o^GOKGAB~@~`?o_HCkaQPFGZcMQEhAK`IOfGMcFqCG{{]aNRFcbqpxgws[aMNJMdgQrxYSlEUfJGddQqXxgzw]RNGF_Rppv{{g]BNKF`rqpwSyo]HMmFbRjPwkya\LMff_bgxwWyU]CMcfORghsKz{[~M\F_Rn`rsxk\rM[F\Rm@rSxk\dMrFLRf@uczW[nMtFKrlprCx[\^MpFKre@uCxO\XMUFVRdPtkxI[bMRfHbaxqGwu[cMKfCrahpCw_[^MOFDRaPpswW\vM|FBr`PvcwW\RMFFTr`PtSsw]NNHEerq@hcvs\tL}F[R^@vKzWZrLzFZr]`ukzGZnMsE{RkpmsvS\`MpExr\@t{vG\TLoFTr[PtK{OZZLnFbRpPlszsZVLkF\rn@lSuO[DLeFARXPo[uc[DLgFARXpo[xsZBM]EprfpkStw\HL_FQrVps[{[YpLYFcrUPxC{oYjNIEjrqpistG]XNJEiRq`i[w?YTLHF?r^ph[yWYLMgEcRhpg{sK[BLDF?RP@n{y?Y@MaE`RgPgKrg[VK{FErMppcr_[`KxFFRLpp{rC[hKrFJRK`qktsXzL[E^rUpfst?XhLPEZRRpelD[Z~M@f?PeWr[XiK|E\bMOLWEsBQI\DOafpCgacPMGjCVaJPBG`kOyGZCKaFPBwaKPAGbCNaGQVHJsduSvI[dMqeXRShaSdISdHq\XMcfYRbHrcxQXXK{eYR@H^cosfAQ@HQccQThGccyRPHYcoQZhKcdyPlG}c\QEhAS`YNXGEcEP|h@C^INPF}boQ?g{c^iMtFUbnQXGxSeqMdHgbfPpgvs[IL`HMbYQTgvCdIL@F}bKQ?grc^iKhFmbEP{gqC^YKHDybCP^gmcWIJPEmauPhgmCYiIpHQciPThHcTIRHDMcuPQhLCSYHpDMa_PQgfcSYIpCya]PSggCTY?`DqauODglC?yH@GiaSQKgccayGhG]aMQHgbCaIGPEeaGPjg`cYiGHEUa?PcgpcNyKpBqbMO}gsCNYExFiboOwgZC]YE@GEcEOqh@CKYDhDu`]P^gVCViCpGi`IQKgQCayCHG]`EQHgPCaIBPEAbCOXgocEIR@@U_mQUgJCdyQ@@I_gQQhGcCyR@?}_aQUgGCdy@`HIcaOMhGCBY@HEq_UPmgDCZYMP?YbgOGgxc@x~pGu^}QMhFb~X~S~q^vNsfzR|YO_}ycKNohAbzyH_}maYNlgdbzH|@FUbmNifsc\iHg}UaUNfgeBxiLw}Ib_NcgwbwyIw|}aqN`gkBwIIw|eaqNZgkBuhx{{y]ZNOfgrsiDXBm`WOxgTCMiEXAe`iOfgSCLI??~]_CNwg?b}Xz`@y]{O_fmcFxyp@m]oO\fjcFHy_~I^eNTfhb{YhPCqaZPJ`gOsgYKLiEvBXcJqEXBC`QOlGTcEQBX@[_MOHGAb_PogwK[UMFFCdqQxX[[mAVDJ`dmqvxZsliUvJ[djquXZClQUjJUfnRvXzc|]]pNUiyDYIlPVYjQTtiqd[YkxVMjKTqiyDTimpTajiTViiD[YihVMieTqikdSIjXTIisTPinDRyhhTqi[T\i|DPyhHVqiOTzizdPInHSYjoTDhhDOyYXSEegTAitdMyfhUujWS{iXD[Ie`UyheTni{dKYmxRAjoSniUd^InPQyhWTziQDPighQUhETCiPDPyhHQEiOS_itDEylHPigwTgiJDXYa`UYgiTfihdCii`PMgaTTiCDTi`HTagSTVitd@Y_xUqgKTlivD?im@OQj]SBh{dVI^XTyfsT\hzDUY^@TmfmTYhxdRY]hS}fgTMhxDOy]@SEfaTAi_CzyfpMyh}Rli_CzIfpMih}RjhldSIZhTIewTPioCuYZPT}jARWipCtyk`LYjERThdSqYX\K]ePREidClyVHSqiUQwidCkyUHSqiUQqinciykHIuj?QkipCiIk`IijEQhhMsfIRtIAdBQ^i?dEY_@P]f}SWh}DFY^pP}fyS]hrdLY\HR]fOSui[CxI[pRifISxiFCoyWhPAeGSNiDcoI`hKIgWR@iScnydPJydySjh\DIIcxJqduSehYCrIUpKydiRLhVCryU@LEd]ROhRcwySpMIdIR`hnCgiS`MAdER^kNbVHjktmY^LOegtBiaDO}gVSLiESlIUtJUd\QohVshYS|IYdDQchPuNREdbYpjWpkXuKjDDaipRWfkQuHjDx`yp_W[kMeJjBHaqouWlkLEIz?``}oKW`kAeGJCP_IoEWck?eGy}Xayp_VskVd{i|xamnaWljwEJJBH]AosV`jpEEzB`\uo{V^kMdvjFP\qpwVYk\duyyxb]mqWxjkEMIxpaAm_W`jfeFyw`aMpGVBj`EGivx`amAWVkJDoIv``QoiU}kHdnYvX`QlqWRj\EDYup`YloWWjZeDzD@ZMpSUtkSdlJChZApMUqkRDkYtLYalNUcjRThZF`XmpsU\k\dfIrPbekqWvjKEMIq\XQkdUOjGtbyppbYkYWtjEELJEXWekUWpjDEKio@bakCWxj?eLzFPVyj}W{k\d^Yqh_uo]UVkFDdi~p\Qo?VUj~dtY~X\EnyVRj}DsjA@[mmWWPjeeCix@^UmSVvjcd|i~@[UnsVFj{dpith_]l]WHjVEAJ@PYilWWKjTeAysH]YlEVgjPDxys@]QnIU^jpdfiox]qn[UGjud`ioh]ekEVjjADyjWw[EMDF?bappGw[~]^rNwfwr{x}TkiuXZJlbuqZXDkEuDZBlbUpZWdjwuZZ?LfunrXtl?tvZQL]usRVdi_uXZILRUqrS|h{uNY\LcufbXDeguZXkLfuYrXte[u`XhLhUYBYLkSrHXeLbUpBKlkCrBZBKpuobKTdyr@X^kmuUzJdcyqZXKkduQjHLics\YiLFuirQDgktXYlLEubBTtgcshYILJUaBQlgSsbYFLHucbOtjSsDYvLAUlbO\gCtpY?L\U^rVLfWt^XwLWu\rUDfKtdYsKyukrMdfGrrXoK|u[RNTfwr^X{KvU^RLld_stXYLMUURR\dSsnXVLKuTbRDc_q^XOKbuPbILcSqdXSKaUSrG\c?tFXALQuORSdbst@W~LPUNbSLRyi@S~i_tOygTQmhRSiiRTIIc|cYqPXFk`uPJGlcEq@XAk^UNzFltsxq[Bm\f@ZfPoQxu[pm\FKjfHrAxY[{mVfNjdpruxe[imUFLJehqmxm[fmSfLjf@qawc[um[FDJexpMw][smGfLZa@rMwW\Bm`FBZg`oyx}[HmDfOZg@oix{[GmBFNZf`o]vC\DmbExJ[Xs]u}\GlofQj[@seuq\HllfQjZPsayMZ[mbEvjghluuk[~lkFOZYxsAyCZRlifPJY`sMw?[TmJf?japoEwoZ|mLE~zbHnyxGZ{mRE}zchnixAZwmPe}ZcPn]vk[\mME|J]hpmva[_lxfFz]Ppyv[ZgltE{J\xmevUZdluExz\hmY?\?N_EoCGAS@E?^?L_FOCGAS@EojWSkHuEJA|`YnZVmjuTyi|\]eurZYlluvZZtlqulZWljuszYllQ}?^Bn`FpZwH{Q}K]~ncFnjwxzu|V]lnUVjzttzA}K\\ncFVzwxty|c]UnXfeJuHx]{e]unYFdZq`zU{_]yn]FcjvXxE|m]Ln[fbjpxza|_]KnDFjzpXyy{M]lnCfizp@yq|a\}nXf^zuPwAzu]sm}fljn`zU}E\wm|FpJnH{Uzi]xnZf\zmpzazg]yn]F[jvXvMz_]imwfiJlxye|I\kmvFhjsxuu|I\cnRFXZkXy]|S\`nSfWjt@uAys^?mmFojjX{Eyq]~n]fTzj@zy{w]^nNFgZrhyA|C]XnLfhJrPyM{G\hnAfYzopuizK]@msF_zkxwIyY\OmffQzhpsqyc\UmgfTZiXtQuBZBl`UpjWlkQiHTEiatQYhDS][HMAf@qgXS[iITHIedQrXXksuQZNLhesUbzPthAsXYLlDu_jOdgMr~Y@l?VUZi|tayt\[mlwMCD}Bh@b_xOWWJcFeAp@z_lO\wIcG]AlAB_hO`WOCD]Ah@|_hO^wMsDEAX@z_{ORwLsDEBT@N_uORWMCC]Bh@J_xOQWGsEUAT@f_sOQWOByuB{}n^TO^WDCEM@X@`_TOVwJCAM@L@Z_mOHV~CE\~x@d^|OYWLb~]B[~t_tN{v|sGuCO~p^uOav{sG|~TAR^sOcV{cG]CG~``@NwwGB{MAG~F_`NpVvcBm@w~@_^NnvvSHL|pAN`GNlwPBzMCS}p`ENlWGRyD|D@D__NfwFbyU@{}h^ROMvrZxt{q}R^JndWACBU?h?v_HOMWDs?}@`?L_XOAw?c@u?P?`_BOFv~s@]?D?Z_?OEVxr|l}c~^^gNvVyb{d}o~L^jNqwi_@S?q?V?Q_GoCG@k?}?\WXkLuEjBl`qo|PNggSRiILDMadPSgjSTYzT\qmvVVjktuJ_LoIw@Z}l~u~Z^\nqvtZvl{u}Jx||A}b^SnhVs{[ALfEpbVpmgt{ZyLbEqb]piWt[YuLhEhb[PjWusYmKTERbFPdWpcXEKlEDbCPeWosXmJdEbazPhwmcYUKxDrayPgWrsV]KpDnauPewmCX]J`D|a{PZwnSUuK`DfbIPYwqSUeJPEBatP_WksV}EHEz`cPnwWsZuIDEDabPaWgcW]KTC|bFPOWpcR}J@CjaVPXWkSQuItCdanPIWjcQ]GfCTaJpBwaKOuGLD~aDP_w`CWEJpC@aAP]w_SVuLHB~bRO}wsSNuK|BtbOO}WrcN]F`Ev`xPmW\sZULlBRbYOsWvCLULtBN`ePnwXSZuEDDXajOnwWCTUIdA|agOmWhsJmDhDV`ZPUWUSTUIPAp`VPRWTcSmIPAfaeOiWTSSmD@DRafOhWiCIMCxDb`NPXWRSUEItAX`JPVwQcTuHlBh`uPMwfCMmH`BbaYOxWeSM]GxB\aKOwWbSL}ElC^`lPGwZCQET_?P?H_BvQzhlsqy^\OmfVSZi\tIyh\UmivUJjLt]yt\[mlxXKkuUVI|d_qnxVSc]QHIvccQmXFskMQDJFc_QpXCkaEPFG\cLqFxVS`UOpIxcJQlx@skMOdJDcGQpxUC_MTdGFcAQlXTS^uT\G@dUP~w}sjENtItb{QkxTC^MNhIfdQP{XSc]mTPFndRPzW|Ci}NLIlbqQiwzsk}UdFbdgPwXZC\uUlFZdiPuXVc\MU@FVd^PtXYc[}M`JXbeQtxXc[]MTJHbcQqwwck}UdF@dgPoxNSgER|IDc}Q_xNCgeRhIJdBQ\xMSh}R\IbcwQgXLC_eOXHlcDQYxKSheRLI\cqQexQSd]SlHZdIQUXICguS`HTdFQSxHSeEQ\H\ceQVxFCauPxGpc\QJxCsbMPlGjcSQLOAg@c?m?T?K_DxjCxU[pL\fJRUxisw}[dLReiRcXhktEY^LBearOXpsmMV@MRfGQxXZSxU[pJ^fJQvXlss]ZTLJeuRQXjsruZDKze^RWXdCq}XXKreTRKXecqMXpKfeZRHXbswu[PK`eMRax[sp]VTKZdsREXoSpEWhMFeHR`XmCoUZhKHexR@x^sv]WDLze?R]X^Cvu[@Jzd}R^x]SuUVlLfdyRYX\comV`KNdvRBOAG@K?]?R?F_CYBsSeIZDJafpSwiJh\suyX\PmhvSkP}HFC`aLpFWbL@q`fOogKsEiEl@Y`ZOSgTsCiD|?q_nOMgIsCIA\@q_VOEgKsEi@L@y\~NAgPsGHwLAY^~NygSsHH~lAA^rO]fzr|IC[}y`nNqg\r{IFK}aaBO{fusNh|[}I`ZNegVrxID\BA]nNYgXruIEl?q]bOMfisCHy\?Y]VOIffsAHxk{Q`JNGgSrpiC{zu\rMzfZrkxulBa\FOyfQsLhsKxi`zM]g_rfIF{zA]zMmforjHz{yY_BOCfSrii?\KATJIhdRqjxTkimP^GpcUqIXD[a]MZFPbfpoWwk[MdlR@hYSpYVDKMd`RHhVSpyXTJMdPR^hoSiy[TIudDRXhRSvYSdLmcTRRhFStyPdLUcPRNhgS`YXdG]b|RFhdS_yODKebpR@g}SoyNTKUbdRRgzStyMdLUe\PlheS[YYDE}dtPfh^SYyVdEebHQ~gpSnYKDJmarPTgjsSyH|DEaTRXgeSvYHDLmaDR^gbSwy[DCUatQ\gnSgYJdH}c`QXhISeyQTH]iky\\OmfvTZittRJxd}q}x][nUVnT^iotVYi|TmirTOhssxIilTIfNTIiptRik|UQiZTgiatZIhLUiiNS~i`tOYfLRuhvSYiptXib|UQgzTgiItZIbLUignTYiBtUI_lTYgFR{imt?IkLNyi~TOhttTI\|TIfZSMiUtCieLPAh^SKiZtKi`LRQgVRuiOtHI^\QIfrSehwtIi]lQaffMlfWrjxs{ym\RU}jitnIy|[AmrUujftsiv\ZambVSjNtuIs\\YlBVQjMteIyLXim^T{jVt^it\VilZUojQtiIulYYlfUEjFtcIp\WakZUSj@tciolWAknVCi{toim|[YjjTqjet[IxLUymVQzh^snX[KmUVFJZdmqvyRlIEc~QVhLseYq|XMkjULjGtbymlVejnTriwtZzG|ceqVXBkauOZFlbmp~WtkZuMZBDaMolWfkLUHZAt`uopW`kLUFy}db}nlWzjxUNZADaepXWRkIUIzDt_mpdWNkWUBZDd_epTWFkAUIY~ta}oDWrk?UKZFD^uphVzkZT}Y|d`un\W`jwUFzCd]]nTWbjsUHzGD]UqHVbk`TwZHT\}qLVZkcTvZUTTMijTPgHsDyAl@e_zOZiXtLyelQuhbSnlXUnzUdkMtlZ@lXUmZUtjuthYzlaU[ZXDfUuLXrldUhzXtimuXYhlaUgZXDiUuLYblLUnzRtkMsxZ@lKUmzVdhUtpYVldUbzXthMuXYPk}UjZUDgEt\X~kzUjZUDfmt\XxkvUWzLdd}r@XjkmUYZJDe]qtXdkjU_zOtdMsHXTlCURZPddEsTXN?C_Ao@g?c?Y?J?C_Ao@ljEt^YlknuWzKLdeqvX\kiuTzI\dEqZXNmkVMJglriyN[um`vMjf|rYyB[wm]vTJdltQx^\SmTvTjeLrQyn[qmjvRjeLrIyf[smgvQJd|sixZ\KmTuvJdLlyxJZ_mRvIJ^|qQvv[el}vNJ\LsAvZ[}ltuwjg\mYyNZcmavQjY|liyZ\GlkvSJYLtIuj\MlhvFJalpYwr[QmLvGJaLqIw^[]mEu|J_LnawJZum@v@j\|nIwVZomCvbjq|xA{j]QnKvajrlwq{~]YnCvkJo|yq{J]AnVvljn|vq|f]?nYv\js|vi|V\wnSvgJmLvQ|J]amxvVjlluIz^\_mtvXJjLuYyz\gmlvmJzlzq~B]ynnvsJx\{y}j^Knhvtjwl|i}R^Wnbvwjv|}Y}F^cn_v}_?T~U~p^}?Bv~??d~[?D^gnv_@j|d~K?H^inw