CAT(2678,1)
Sparse6:
:~?hu_?O?G?CBg?[?O_E_Cg@w@E?S?O_E?Cg@W@E?d?O_Go@w@K?a?N?H_COR??{?e?P@Q?D?Bg@_?u?U?N_FoBg@k?m?T?K_foSWIC?O?J?D?BO@??s?SAV?E?co@?HSC}Ab@O_`oPWGcCeAV@I_cOPgG{F[Bi@u_x_\gM_FYB^@m_uoZGL[EiAn@T_jOU_JkD_Av@X?mOVoLSE?BX@]?toWwKSEEBG@q_w?XgKgFEB_@r_x?\WMGFQB]@h_u_YGLoE]Co@R_iOSgMcFUBfAN`GocGQSHQCf@y@Io^?Q{FkCl@}@Io^OQ{F{ClA?@KOe_OSHcCBAX@AOe_OkGKCpAM@LofOPkHoCX@w@MO]ORkHkBnAE@Do`oPSG_CR@N_goSGTcIiDVAl@[ojoV[JgD\Aq@[om_UCJkDbAf@[OiOUsI_DnAc@Ooh_SSISDFAr@NOlOSCJOC~BD@cOpoXSKWERBJ@`Or?W[KsEHA{@^on_WKJsE@@B_aoPGHcCyAZB_?eORWHsCYAP@F_dOQwHKMoCjAU`Jo]gNcFmB~@}_}oaWP[GiFeBk`y?zg]OMuFWBn`w_zW\oNAFVBi`sox_]kM_FnBf@zOxo][MWFhBq@sOzo[kNCFFBc@wOtoZSLoErBZ@kOvoZSLkEzB[@nOvo[CLsFDB]@oow?[[MGFHB`@qoyOY{MkErBi@kO|OXsN[E^BO@zOsOYcLKElBQ@ioMWE{BaHO?{_\OMwGSCEA@Cp?_oOgGCBu@~?}_kOUWJSDqAz@Z_qOXWKsFABd@p_roYWLCDYAn@T`NOfwSCIMDBAaah@PghCS]IWDDa``RghgSQIQD?ad`OWhOSIHQCkaT@JWd?QmHWCnaU`KGdWQyH[CqaX`KGdwREHiCqaX`Lge_REHgCwaZ@MWegR]HqCzaZ`NGf?RiHwC|a^`MwfoRiIAC|a^`OGfoSIHODGaS`PgdOS]IQC[aN@QwbgSiIYCXaf@Ewh_PiGkDBaK@PWawSQGZCMaFpCGaSPEGeCdaI`Hwa_QYGMCfaC`Hg`?QUHCCDaP`@gc_OQGACaa@`HG_OQMG}Bz`}`GW^_QAHABxaO?}gbwNaF}CKaD@?G^oOmKy?s_ZOLWtGGECDA?`]OngVkYoLREmBTpjOtSYKIzEdAmPh?j[YWJxEgA~PhonkYoJlEmA{PjOm{YKJfDtBQph?mcTyJ@D^apPWwkKUOL@EaAqpgOksUcL@EaAsPgOk{UoKzDjBNpY_rsUsK~DnBMpZ_rsXkJ`E[AxPe_mKT_KtDYBMPUOr[TSLNDVBSPT_ssTGLTDSBTpiOi[TAIbDNbD`dGqoWuKWETbG`aGqWWiKcEHb@@`Wo_W]KEEEb?`eWr?V}K?EVbF@]Wq?VmK]Dybw_MWE{Ba@n?x_[Q??\KMmFTDRaiPSgh{TEI`GGcBQ@x?{_aOLF}b~p~W~O_ENwGAb|a?G}G^aNqFqbx`|w~G^QNkFvby`}G~O^yNwF~b|`~W|C]iNRFdbrPxw{_^YNiFabp`|G}W\}NaF_bx@wWzo_MOIF[cA@vW|o\mMqFobv`uh?gZuLuGBcA@nH??ZULmGAc?`lg|oY}N_Epbv`kGz?]uMkFkbt`twxg\AM[FPbf`sgxG[iMOFKbb`qwwW[QMIF@b`@pguW[AL{EsbX@nwv?\MLsFTb[`tGEcBY@j?s_ZOLXI_^mNxFyaPPHGc[Q]HLCd`~P?G^{\qM|F\chaRHIGcuQcHJcgaSHIWc}QcHMcmaFhJoaAQ}G^caqPhG{cQQFHAc^aRhGGdAQ?HNc^ARHF_cuPyHJckaMhFWd]QoGxcXaTHEgdYPgHTcWaWXEOeIP_H_cRaTxDGdePOHWcQaUhJ_aYPGHZcmAGXCWdiPCHZcLqFXBc`]OlGTcLQEXBCdsOdH^CHqV`Ac_{QlGPCiQC@Ik_qO\GLcpAAxK?_eRAGIccALhHObaQQGvcTAJXD_a}PUGmbLPewrcYALDE`bQphGs[YYLPEfagpSGh{eeRVHidQAkhSOjMTEIpdNahXSGiYT?IfdMQfhRkhcTbIZDXQe`U[h]SpIUdCq`xPCfwTZI?DUQ^pT[iwRvH|DWQjpNcf_T`InC{qj`NSfSTJHvDRq\`SsfKTPHqDTQiPMcfCTPIiCvqiPMCikRXIlCvQj@LkeMRJHccrQYHK{hKSTISDEQdPP[gWSbIDDHQ`@QCgCSZIBDFq_`Ps]yN`FndlqvXZclaUtJXd_QohWKmsTtJmD\qzpVcmsTpJnD[qlp\sjOVHIuDrQlP[klSVBJVDpqt`[SlGU|J_DiQspZ{mkUbJkDfqs@\SkWVNJGDsqpp\CkoUFJMDaqrPWcjwURJJD]qnpXSn}WBK?eERBX`[owWPKOECrBp`SncWJJzEBq}`_snWVzJwD~Q|p^coGVfKCDyr?p]cn?WdKPDxQ{Pa[qoNnFxb{P~g~{^uSbIQdGQbxPsguSTIKdDrM@d{rgXbKxEWRJ@e{qwXjKlEZRK`dcqwXhKlEXrIXd[qiX]KheWbIhe?qmWsKteMBLxbWrYXLKgeRrHHckqMWmKseKbKhb?rMXoKSe\BDhfGpUXCK\eNbGXboqAY}HPchqSh@{`EO`GJcDQAX@s_qOZJ`dpqwhZsmAU~JBdaqpHVkj}T|LhetRYHkgvQZKLuerb\XkouaZMLieqbYXmOuIZGLrewbWxm?uEZ]L^eoBZhjwumZALleoBZHjgr}Y{L?emBNhjGuyZ_LZevbUhistaYnLTehrTHi?uuYcLjegbZHm_suY]LuefB\XmGsiZeLKexBQxgwuIZGLHecBWxj_sEYEL]embOhg_rmYKK{eabNXu?heSvIYdzQ}H]{zK\`MqFYrkPucx{\VM_FURf`tSxa[tMXfIrdxqszK[ZMtFERl@psw[\ZMGFVr``tsys[FMDFVrj`ocyo[DMiF?RipoKy[Z~MgE}riPnsvg\NL{FSr]ptCv[\`MqE{rkPnCxk[RM\FDrf@pSxK\FMSFOrc`sSyO[^MPFQrc@ss}W@b?r_XOKWE[BIXRKjeTR\xnKva^QNnftb{X|O~A^ONkfvBxh|g}]^ENefsBxX{_}]^QNbftbxX|O}Q^[MyfuBmx|gze]|N\fnruhzc|m]gN_fjBwhyg}E][NnfgB{Xxw~A^?MufpBmH{Gz]]UNVfebuXx_|a]ONAfdBpHxG{M\}NDfbboXw?{Y\wNPfhbnhyOzuYzL]emRPHgssU_tOZgKsDiBD@]__O[gGcFYAP@y_GO[gAcFY?p@y`?O@gOc?yBx?I`?NugOb|yBw~U_YORgIcByA`?y_SNzgEB~Y@W~q^{Nwg?B}h~w~e_MNqgCb|H}X?a@b?r_XRhxtCye\XMjfTRjXt{yy`EPDg`cHICPCQa?O|g`CNyGHBy`sPEg]CQIFXC]`mPBg[cPYF@CQaQOsgdcLiEhCia?Opg`CKyGHBI`\OogVsIyDlAqaKOggTCQIGxAe`IPHgdcHyCpCi^@Naforwx{k}Qa\PLgeSXyLLEaaoPiguCUiJHEmbYPTgjcZyIpEybYPQgvcTILpDMa]PiguCSYI@EmbAPcgpcXiKPEUauP]gmcWIJ`D}cIP~hBc_YOpGAcCP{hAC^iOXFubqPpg|c[iNPFAbePug{C\YMxFQcaQGhHcaiQPGec[QJhEccIPxGqE~B]`mp_go[WQJ~E?b?qFhCC`}PBGbcPQlHUsjUUNJGdbRDxbKpaWhKUeIrchqcxM[^MPfGS@I?l?Y_BOBg@SWYK\EIa|P_gnspAVtKWe@RDH^smqWLJoeDQ|H`soAVDJgd~QxH^SnQUtJkdnQ{HYskaVDJgdhQxHXsjqU|JCdjQoHZSkQTdIwd`QnHUskaTLJOdVQrHTShaTdIwdPQfHUsgqTLISdVQcHTShQSLIKdDQcHOShaRlI_c~QfHNSeqSTHodBQYHOSeaRlHoc~QZHNSpAQdKWclRDHIsoQQ|HceFQWH`S}_C{AU@L?h_SOIi_oAu@V?kiE?JgD{BAH`CmaVpogw[[EM@E~b^QZxMKfARXHmcuq|X][nQV`JqdwrSHiStEYZLNefRnxwK{A\|M|f]SGyCdAI`JOfgRS[YMTFAbfPtgyTKqfLRShvSsI\TLqeDRGhpSuIWtKadlQ{hbSmIWTLAd\RShXSrITTHqd|Q_hZShIVTIacdQohLSjIQtIAcTQ[hBShIPtFacdQ?hLS^IQtGQb\PshFS[IPTGAbTPwgpS^IKtDQb\PsgnS[IJTCabDPOgtSRIKtCQa|PSg^SUIGTDA`|PKg`SPIHTBi`dOugXSLiFSpq`TKcgVSHHcS|AetNShnRuI[S{QfLNKhvRqI\T@a\tN?gNSGHvtAA\dOWfZSFHtsyA_\MggJRhIASxQ_DM[gDReI?t?A[\OGfHS@HpSwQ_lL{gFR_IASvA^lLwf~R\H~SuQ^TLkfxRYH|s}qZDNoelRVH|S~QY\N{ejR}HiSsA]|LGfpRPH{tAQXlK{gTSJHfSqa^LN[eXRJH{Tg_BS@e?v?[_NOFYtoAE@@?^jY?GgCcAMljUsjZTlYudZYh{UpjXdNIfhZIkyTfjNDYIr`UYjUU[itDfilHXul[TdipdkItxUQj?UmipDjykHZAi{UjindjYt`TuiuUgimDiijPYelWTWjUdUYtXT]ikUiiidiIi`YelMTPihdhYspTIlCTMjQDSIsXS}iYUdiddhyh`YYiSUcicDgyhHYIlaTDjXdPyuPSYlATAjODPIgXX}iAU^jOdOIs@R}kkUOjKDciqxXEkYURjFddIqhWykSUDjED`ipXWQkAUHj@DaIoXW]joT}j?D]inxVejiTzizd^YmpVqkqTnjLd[YrPVAjWTqiyDZilhVMoO?d_RoHgC{AU@L?i_SoIGDCAi@RWY?UOJWD[Au@X?jjMTfirl`gp@W[KPUErCL`wp@W^KPUFRCL_cohWIKJUABAl`WoZWSKDuDR@d`co^WOKJuBbBD`ConWXKHuCbBD[AmDV@j`tpYwd^oozV}KNt~RBt^cotWZJ|t}bBd`CnlVwKHuCa}|^KoVVtKEt|B@d^?oPVqKDT{R@L]so^VmKGUBa||_SlrUvKBtmB?tZgoNWDJ]U@av\^{nTW@JuU?A|\]GnRVbJrtyA{L]Om|VeJoTxQz|\kmjVVJmtvAyt\cmfVYJiTuAyT\CmVVNJctsAxT[wmLVLJcTrAw|_KlzWCJ^tnb?S@e?v?Y_LoEgBK@q?|?\_MOFgBlfs@@?`_NoGGCK@}oJWEkBs}Y]|Nag@SAi?t?y_lOQgRSJiDU^RO\f{sJX}LAU_BO\gGsJY@LAUZRNLekrnXkK{U\rMDfcr^XwKvU[RN\forfXqK|U\BN\forlXtK|UYBP|egsbXhLGU_RKle[sDXeL?U^rKTfsrHX}Kpu\BJ|fWrBXtKoUVBL|dwr\X\KwU[RJLdkrfXqKlUTrLleoqpXjKjUSrOtg_qjYFKiURZH|cyq`XPkhUQbP|cosbXJLGU`rG|g_qRXGLBUPbPtgoqHXDLEuaRGLggqFYJK`UaRFtggp~YJK_UMrPdbss\W{LEuIZD\aipZWmkUUJzELbApdWskXuMBC\bgpJWcK[uIBE|a[pjWeKZTfysLYAlPUijStjYt\YqlbUrjXUzrSdnCtLZoLQumR[tjkvPYyLrulr\Dj_vLYuLrukr\|jSvbYsLwUyrUTmgt`YpLsuzBTlmst^ZmLVUjB\LmktTZiLTuzbS|icvXYgLuueJRThesvY\lMUfjSDh}tBYblPUwrYLmOufZdLhUwBXtmGu`Z`LfuqrZll{uZZKLnUqRY|kgurZWLcUtbW|lOuLZTLauobZTkOuxZBLlucbWDhOuBYRL^udRVdjwslYVL]vHR]Tq[vh[eLxvERbdpkw|[YMMvDbb|qCwp[VMOVABd\qswN[kMCv@RdToWxP[CMSv?Ra\oKwj[AMIVBR^to{v~[?MFVCB^\pGvz[PL}VBB^LngwT[JL{U|RcTn[xFZuMQVRoDsBA@^?m_WOJyk|UajLThittYjE|bYpjWwk\UMZj@uAyq\]mlFVzjhtUyw\VmlfTjj@tIys\SmkfSzhxtUy_\VmgfTjhxsqy[\PmefSJhptQyc\KmefSzjXrQyy[ummFLZeHtyxe\_mXFVzgpseyO\JmbfQjgXqyyI[omaFJzfPsAyC[{m\fOZexruxq[~m[FNjpoAI@H?b_POHGC\`QolWTkKuEJA|Z]lpUxj\TnIv\luu~Z]llUvJZ\l]urZWljUtZYdjqt|Y|l^uoJWLxs|^]pNNvkBrtxk|\][NUVebtlx[|F]dNKVeRsdyC{n]_NKvgbrDyg{l]SNTviRqlyW{h]gNJVhrqlxK{|]QNMvcRr|x?{x]ZNFVbrrTwk{\]ONEvbrpdxC{V]RNEvcbpdw[zD\bNBV`RkLyo{D]CNVVjRo\v{|^]oN?vkRoDvo|F]dM~V^Rsdvc|R\zNTv]btTy?zl]aM{VgRm|yWzf]gMyvhrmdvAzb\qmvVZZl|w_zT]IMuVaRl\wSzN]FMsv`blDuW{T\dNCvXBpE??rnXwk{u]zNdfiwj[RmIVCJaTpEwZ[NmFVBJ`\oj?Q_BoDg@[@Q?R?G_EoCG@[?Y?^?C_Po?GB{?I@B??_Ko?gBk?Q?u}w_NnmgCZzq@B?Q^XoDfu{@P|j?W^UoFFuK@h|]}g_EoCFtZyY?]}^^LnfVqzxd{i~y^Gn~fqZwx~y}G^znbF~J~P{U~m^@n{foz~@{I}?^xn^f|zvp~a|w^un\f|Jvh~U~g]wnzFmj}hze~y]tn~flz~pzY|c^ynXf~Ju`~m~S^lnsfyz|@}q~M^nnqf{J|p}Y~C^pnxfxJ}P}M}}^OnhFwZyH}BAs`JoeWR[HMCjAP`VOMwUCB]Dd?x`WOKwUSBUD\?p_VOiWTcAmDT?l_QOiWDCIu@LAj`PO]WSsFuDH@z_]O[wGCF]@|@t_uOfWMCIEB\A^_lOXWJsEEAx@b_kOXwIcEmBP@V`AORwISGeCL@P_cOawHcG}ATAL_~OOwOSC]C@@D]FnBV`ZpTwe{P`kPAWZcOuEtCJ`xo{W]kMuFVBnaFOxWaSMeG`BfaGOnwVSPMG\A|aCOlW`cJeGTAva@OswYsO]GHBT`|OsW]sK}EXBx`bOvwXSMMEPB```O~WWcOEE@B~^unyV|Z}|~e~p^yn}V}z~l~}~|agPDWbCTUIdCVamPQwkCS}I|DLaaPUWjSSeILDVarPOwkSSEJHC~a[PSwfcTUHtDPaXpLwekREHZCnaRPTwjSQmHPDXaOPWwkcQUHDDfaLPVWjsP}GxD``SojWT[JMD^ApbNpgwsKXeKzEZbSP`WscWELLEBbQP]wtCV}LLD|a{PjWmcY}JlEjbVPZwmSYmJ`ElbEPcwqCX]K\ETbBPYWpSUuKPDjbXPswuc\EM\EpbcPtWxc\eMTFVb]Puwzs[EL|F\b\PpWus[]LpFBbuP{w}s^ENhFnboPxw{c]mNDFh\KmevRj|L}i~P^enrvx[JmD~A|`YomWU{WuKbENbBpawpKaaOzG_cUqIhB{aIOvGccJqHhBK`IOzG_cIqCHB{_yOvGKcKqAhA{`QORGOcAqCh?{_iOJGMcCqBH?{^aPRFycTp~HDkaIN~Gec@qHH?Keg@Y?p?VnDvbJpmAz@^_loTWI{DeHBCdaPpEwb{PuLfEtbWpmwvKZ]SdIHdFQbXQCgmSDIXdJQ`xQcgUR|IJd?QbXNcgeRpIBc|Q`xOcf]S@Htc}Q[xNsfERtHtc{Q[XMSf]P\H^cpQKXESeES\HXdHQVXQCdmQdITcjQeXIch]Q\HlceQZxICemRTHJcvQQXLcc]RHH@csQPXKscMPtH^c^QWXKSbuRHGtcZQYXFCe]Vs?h?T_HxVCnmTxJ~d\Q~X^cj]V|ItdXQ}xTsn]T`JtdUQ}XSsnETTJrdSQzxScnUVlIbdOQ}X\shuV`I^dLQ{xYsmMVLJZdkQxXYCluUhJ`dhQvxVskmUDJNd_QrX\CkUVXJHdtQpoDgBC@]?p?V_JXhssqXzK}edrOHhKsIYVLEeerPHhKqiYFKmearJHg{qQXzK}eRrIHgKpyXnKae\rGHfKpaXbK[eYrEhe[oAWZKCeGr?h`{pQWRKUeDrCh_wAc@U?f?T_IOC{xAQ~HbcoqXXLKe][XL~f?RbxoSwm[HMNfCRaxoswu[lLfetRexrCue[PLxfAR^XosvmZdL~f@R\xoCvUZXMPewRdXlsxMZ@MPeqRdXkSxM[lLZfLRVxrCtuY^LRegrTXjKt]V^Jpdxq|X^Kn]]pMhfURvXzSym]|MzfoRnx{Szu]|MvfoRmXuc}M\\N\fkRkxzSzE[~M`fMrhxs[yU]LNRfdRtXxC|]]XN@faRsXwS{}_PNdgERyY@S}]^pOBgAR}y?s~]^`N~fyS?X}S~u_\NjfvSCyAC}u`@OfgQSIyCTAe_tOTgNSEYBd@]YZLJecrsxyk|]]ZNPffsMIGlCa`zPEg\sNIGLBaaFOyg^sKIHLAqaJPEgVsKiF|BYaFOsg_sYHp[w}[ZOBgAs@x~|?E^zPsgss]IL\FYbZPqgssZIL|EibbPKgqsRiK|CibFP[gvs[iKLDybbPugjs]IJ\FQarPegisXIILEIafQchNS_ySDGUdDQ@hPS]yRtF}d@P|hHS`yPTH]cPQThESeYQDHuc\QZhZShYVTIedpQfhUSkYUdI}dTQrgrsXYK\JqeRRKh_sqiV|KieFRKhbspIXLH}dFQ`?@SriZ\L??LR^?ASsiZg?QehRZ?@SuIZw?YelR\