CAT(2814,1)

Sparse6:

:~?j}_?O?G?CBg@U?s_Z?JWD_BU@W?p_T_KwDgBIAM?u?[oM?EcB[@j?p_XoKgJGAy@`?n_n_JgECA}BE@a?oOW_KKEGA~@[?noV_KKDsB@@L?goR_ISC{A`@Q?ioS?I[DCAh@T?jOU?IcD[Af@X?jOU?J[D[At@X?mOUoJsDgAz@I_doRGHCC]AR@C?foROGkCwAL@B_`oOwOwCAAD@@`E_NGF[BiA@@@_`ONWF{ByAX@I_doaOPSG[CXAG@DocoPkG{CjAM@IOc_Q{H?CpAP@JOdORCHKCnAS@JO`oOSGcCBAB@COa_OKGoCDAB@Do^gOCF}Bd@s_xo`OL[GWBRAC?tOb_NcFsCZAN?|o]_QKF_Cd@x@GO`?LcEwCL@l@AoZoMkFCBn@o?zOXOLCEOBL@b?rop_DsBA@^BE@_Oq?WKK[EDAv`[OmWUcJYDjBE@VOk?XCI{ENBD@MOf_W[HsEHBD@Poh?W[IGEHAy@]on?VsJkD~Ap@Tok_TkJKDXAd@SOh_TSI[DRAZ@NoeOSKHgD@@@__OOgJcDuA|BJ@uOqO\[MgETBg@ooyO[[M[FDB]`oOvwZWMiEyBk`m?ywYSLQEfBf@eOyOXkM_E\BW@qOx_ZSLcFJBP@ios?Y{LWE^AI`EOawOcGYCJCCa@p?g_GOUGMB~a?@@g^sNqFzCG@zPA_^COcFnBrADPAO]kO_FhCD@wP@o]SNCGLBn@|oz_^KMsFtBD`aOowc?OuGUCaaO`BGa{PeGpCaAFPGOaCQ?G^C\AIPFoasPwGjCYAGpCobcPGGvCtAPpHWccQcH^CjAWpI_eCQoHNCmARPI?dkSCAZ@M_foSGISDEAf@T_iOTgJCD]AJ@E_aOPGGkCYD\Ao`VoiwTkIqFrBz`|O{w]kNQHLCgaRpVojcUCI|D_AmpT_jcT_I|DVAmpUOi[TSIvDSAlPT_iCT_IdDVAgpQ_i[TSIXDSAdpQOh[SoINDIAcPP?g{ScILDDAcPOOhkSKI^DAAfPO_gkSCILDBAaPN_h{S?I\C~AepN_iCR{IbD?AhPUOfcTgHvDZA]pVoeSROJBCrAoPLofCRSHrCuA\Pc_DCAi@REW?UOJWD[Xw@j?u_YOMWE{Ba@n?x_[OKWE[BIBz@z_}O]GNKFiEbBN`gOrgXcKuGVCLaEPCWaSPMHnCtaZPKgecRML~F@b_PnGvkZyLoE}bZ`nWv_ZYLqErb\`lWvOZQLoEqbW`lguwZALYEtbV`lGtoZMLcEjbU@kWu?YiLYEfbV`iWtoYaLGEibR@iwt_YULCE]bP`gGsGX}KoE]bL@gGrGX}LAEZbP`fWsOXqLGE[bR@fWsgXmKoEfbK`iWrOYaJCE~aq@oWkW[ALqEHbD`mwvOWiK@EAb?p^wnkVyKmDya}@dWqoVmKkDvbJ`]Wn?XUJkEQbI@\GmgXMKcDrax@dGmGXMJ[ENav`cWq?VAJUEKau@bWlgWyK]DgbG`YWlOXAKWDdbF@XwpgUYKEEEbA`aGo_W]@F?a_QQFoCkAY@NGdCPQGxCcaIPFGcb`AGgw_aQMEGbcN`yXCG]mP?FibrPyG{{`oN@G]BpQFO{K]UNHFbcM@vXBo\}OyF]blAEXBW\qOsFZcN`twzGaEMoG_cL`tWyo`eOsFSbgaDwyW`aMcGUbfACwxw`UM_GSbdaEGxg`YOmFKcH`qHAg[iOgFHcGAAhAO_qOaGJcAA?X?o_MOIGAb~@}G~G^}NsG?b|`|W~g^YNwFvcB`{h@G^QOOFrbuABW|o_}NYGMbv`pW}G[YN_FF_SOIgDKAi@R?gcw@KgecRMMDFCb`ppwwk[YRlHvc{QYPLke[R^HgCvQZ@L{ekRZHiCvQIpMCfGPZGkCwq[pKKfSRFHsCpQVhKCd}QvH\cmQY`JSeoQpHjCkqXpIkecQnHgCjQS`MCfGQhHRCwq\pICdCRpHuCfqIHDKaiPIHrcRA\XCwfQQWHccfAXhHgeUQUHCccaPXHOcMQMH@ccAOhGocAPmGyc]AMHFWbePaG|cXaNxEObyP_GtcZAJxE_ay@D?c_PoGgC[AQ@L?d_RoHgC{AUUGEKbFPbWp{XEK`EUbJpdXW?jITgI}d^akxUgkAT}IvdZAnhWGjaUCIyd`amXWGjmUEI|d`AnHV?i}TqIpd\AkHTciyTZIhdTqihVWi]TyIgdRAnHUgiMTmIddZAhHRkh}S|IsDKqe@USh[TfISDbqd`XKhSUPJFDGqcpXKk_SdJJDFqr@QCkgS\JIDDqr@PkkkSXIGDaQaPWsggUJJCDAqp`O{kSSLH|c~Q^HN{gASBIADLQ`@RcgKSvIaC|qgPNKi?RtGUcJqEHBK`mOtG[cNQFXNKfmRtKUeJrDXZWpQUqKRdlBCh`_oeW[KJeEbAh^SnqVvJvd{q}H\_pYWmJldtbDX`wmUWaJfeGAxh`_mIW[JceEawxaOl}VAKSdoBCx`wlqWaJ]eGAvXX{kyUZJOdhQsXYclMUjJUdkQtx_WnQVkKDeAA|X]GoAWCJre?a{h\ooYV_KGdvb@x^gmaV}Jid~AyXiGrMXjKseWRKheKsSYPLFEdRP`hKpsX|K[E]rEpfcqsX~KnE_rJ`gCrcXTKzEURM`d[r_XNKhEZrI@essOXLLBEQRHPgSskXBKbEerG`hcp_W|KYEOREPb{vGStIZdMREHbSpeZfLqeyRZpmkvCZnLoEzR[`i{tcZfLsEkRYXl[uiZLLfesR\Pk[uSZnLcEzRR`mKu{Y`LNEwRVPlct{Z\L]EurU`ictoYlLZEirSPkCtKZDLQEoqZXL{eyPJGfcRQIHDSaeWJKBeAR?H_SoEVPJidsrhprSxc\JMZFRRf@rKxk[|M\FLRdpsSxW\FMWFQRd`sKx{[pM_FJr^`sSv{\FM?FQRcxqkxQ[`MQfGr``sCyC[HMDFNr_Psky[[FMeF@R]`rkxwZpM[E{r`pp[wc[XMGFDR]ppkvs[^L{FFRtPV{kAT|J@d`qohf{sEY@K}e]RNXfKrmXtKue[RLxnCviZrNlFoBuHzw|i]{NXfkBuxzg|i]qN[fjBxXyw}Y]iNcfjBwXyw}M]iNafhbxxyO}a^QNSfsBlh|GzQ\iNffcbuxzg{m]SN[fbbxhx?}Q^INEfiBpXyW{Q]cNBf`RoHwKzu\~M}fnBmh{?zm\wN^foblx{Wze^CMwfXbrxuO|E\aNOfVBrxu?|E\]NOfeBjXt_{y\UNLfSBrHtO{y\QNLgUBshyc|MZbLnewRRhh{tAY\LOefsLQD|B[`bOuGWSIQEdAk`dOiGXsLQD\Ag`nOuGSsJACtAw`POlGRsCYA\@I_`OMgFs@AEd?K`dOAGXr~qED?C`bO?GVr}QDC~g`LNzGRr|aC[~_`JNvGQR{qC[~S`JNsGQSG@}DAC^dOaFwsG@|lAC^^OaFvRyaDc}k`\OlFuR~aBL@[^zOWF}SDA@\@W_ZOTGESAQB|?g_zOGGNS@QBd@g_NOZGBS\AD\Ae`TNifuRyyMxFQbqPug{C\YMHFUbcPsgxc\iLLEibPPdgrsXiMxCEaCPxg{COyLpBya?PogvcNyMHBmbeO|gxCNILpBab_OygvcMYLhEAbAPjguCVyGpDUaGPRgacTIKPDAbEPQgqCSYHxDmaYPXgfCUiIpCiaWPWgdcTyJ`CeaMP]gmcQHxk{y]XNNfgrsIOPIQdIQ@hRC_ISLIMdDQYHSSeATLHcdNQVhJSdYS`HMdKQShQcciOXI]cIQhhACiIPxHmcaQ\hGCfIRpGqc[Q_hEcfyOpFycMP~g}caINPGebwQIg|cayCTAA`BObgQsHICtAa`NNifuRyyTdIidVRDHgspqY\KWedRAHfSpAYDK{eFQ~HdsoQXlK?eXQ{HcSnQXTJweRQxh\SmyYPJYeeQwhgclyU`KmdiRLhXcrIY@JIe]QphWCriTpKieQQlhVcqILtFAb^Ppgxs[i\|NAfbRjhtSyY]PMAfeRahyCwYZhNUe}RvhnC|iZXNUesRvhmC|i]PL]fgRWhxcuY\@LQfMRUhrCtY\`MMfIRmhucxI_xOigOSJiCdBI`hOQgKSNiFD@Y^pNig?Rwh~c}Y^hOEfwSBh|d?iapPAgcSWiGdDyaXPegiSZiIDEgfsSAH~Ftbzp|g}S^QNfIJdEqbHPCgeSTKceQrHhcKqMXDMCfBR`XoKwI[FOJgEsBI@T?a_RQ?h@S_YO\GUcHRShisti[\MQfJTKIbTQAhtSsiNTHI`tQqglSgiHT?I`tOQglSGiHS|IbTQAf|RwiNTAI\TOAfdSChvS|I[TNqfLRwhnSsI\TLaf\RShxSrIZtMQeLRGhpSsIVTLaeDRSh^SjIWtKadlRKhXSgIVTIad|Qch`SfIUTJQctQkhJSgIPTIac\QchHSfIPTHAclQKhLS[IctFah\PsiTS_IfTFqhdQCiZUA?JOEGA{@m?r?YjF?FGBs@ukg?`_NoGGrcXuKvGwcZqMXEKbMPdJ^doqwHZclyUzLSejRTXiKtMYdM{f\RmxvKza\nPDgbSPIG|CaaRQrhYSlYT|IydZRyh{s}I^\NufxU|J^tnAwDZkl|V@J[ToqvT[GlrUzJYtlqvlZWlxUwJXTmQudZglfUnJXtkQudZ?ldUuJUtlqttYoljUpJStiquDY{lTUlJRTjatDYolNUbJStiqslYOlTU_JRTgatDYClNUbJMthQr|YOk|UaJMTgAr\YCktUVJMteQr|X_k|UWJLTeQrdX[kvUUjITdYqtXQkjUPIgTSQq\S{kdV@I}Toqnt[GjzTxJ^T]qv|Vgm@TuJFT\qqDV_k^UMIxt\QqDVOk^UJIwTbQmTWojbTlJCTZqpLWgj\UJIuTYaplUkkXTfJCTYQpTU_kRTeJBt`QklUOkLT`J@TWqodUGkFT]JBtWAotT{kJUAIlt`AjdWKizTWJHTUaq\TckbU@Ijt_AilV{ilU?IhTTAoLTKj~Wi?DOAw@c?u?^?MkZ?CGAS@Epw?S_HoDZFtbqpzW{k^UNZFX[YmGWxk\DpY|xaYn[WdkQD{JCh^EpKVqkQD{zEp]mnYWwkZdzI|@bapkVijseLy{pbMnMWtjqeLI{PbIp_VcjpeKZEX\}piV`kYDwJEP\qp_V]kWdvYzHaup]VZjlEJjDX\YmoWijjeJIyXaup]VTjiEJiyPaqmaWjjgEIixha]m[WhjfeIIx`bipuVIjdeMZCx[]pQVHkSDqJBp`aosW_kKeFzBX`UoyWVkMEDjAP_qo[WSkHeBZ@x_moaWHkGEAj?p_AoOWAkBe?Z?X^uoIV~kAD~i~PaEnuWaj}EGy}`^]nqVuj{D|ZQ?@Y?n?W_JoEGAs@m?t?X_KoEwBTiG?z?[_NOFWBs@qpHWekQuibS\ictHYgLPUiBSligtNYhLRUfbQDhGsxY\LGufRQ\hwsjYSLMUgRRDh{slY_LJugBR\iCsrY^LLUQJHTceqVXLkeU`BS|iSsLYDLRU_bSdiGsFY@LPu_BRTfwsvX~LKudRN\fssfX{LIUdbNLh_rtYVK{U\RQDf[sbYQKzUOBPlb{s^X@LFUbrG\gwqHYLK`U[bPTfOsXXrLDuYRLdekr\XiKuuXbL|fCrPXfKwUVRK\d{rJX]KqUWBJTdkrBX[KpUSbJDdKqrXPKjuTRHtd?qlXSKfuPRO|c[sRXELCOBG@S?m?T?K_DoBW@{?y?^?M_Ev@OAC@I?b?O_HOCZPlg}s\U?j?t^ypDWikRUJjEtbIqLXMkd[KMAvAr_|oswL[JMDVBR`LoowPZrL~u|R_Lo?vh[?LzV?R^Dn[v~[AL|v@B^ToKvr[CL}V?b^loKv|[MLwVBr]Tp?vbZlMCUzr`TmwwRZiMAuzB_|mkwLZfL~U~B\LnsvPZuLrU}B[dn[vJZ`L{uwr^\mGvtZrLnU|R[Dl{vh[VLlvERZlp_uxZTljutjZDliur[NLhUtBaDowuf[VLfvERYLp_u`ZKMGurba\kswd[ULdUqradkcwj[PLcVCrW|pGuLZBMIVDbWlkOwjYqlXukZUljYthYwl[ulzVTjqtvZ?LTuoRTliouDY}LVUnrT|j?tzWfkSuIJEDbIpbWrkYULZF\bipr[kMzv]Rdlqwzp\mM_vOrmDsGz^\mM^V[BgDu{x~[zM{V]Rflrozn[wMwvMbm\rczd\sMYvLrmtvSxl\pMXV[redvGxf[oMyVJrmtrCzj[_mPVGZc\qUxH[gmRVHzdTqmxR\YMuvUrl\tczX\gMjVUBlTucyn\dMhvXbilu[yh\OMnvSbkLtCz@\LMpVXBh|uKy\\\MeVVbhTtoyV[YMbvFBhLpkyP\CMMvPbb|sSw|\yNUv^Bt|vk|\]fNOviBsTyc|F]]NQVhbsDyS{~]NNXvcRulx?|h]oNEVkbptzC{Z][NCvfRp\xk{T]ENIvaBq|w[{l]DNKveBo\wO{t]QN?VdBoTxK{B\|NTV^rtdvw|V^V?OOGWB{@}@B?_jvt{I|t^EnfVql]unzVtkAuDZ@noFxj|@}E~M^anmfwzzx}Q}{^dnofujz`}A~C^Znnftzzp|e}y^WniFuZyp|]}i^WniFujz`|Y}i^Zn]Fwzvp}U|y^cn[fxjvX}a~M]yngfrjyX|A}c^Nndfljxhza}W]vncFojxP{Q}Q^Bn^fpZwx{E}K^?oJ?DWA[@Q?f?T_IUfjRlhqs~Y`lOUNzGDcEqHXBk`VXZk|uYzD\cmpvVzkLuAyz\]mmVPJgtsUyN\HmcWLsCuBd@N_wOQwLcCeBT@D_sOPwFsD]AD@Z__OUWGSDE@|@T_hOOWFCEU@x@f_pOMwJcBe@x@`_nOMwEsC}@d@J_YORWECC]@\@H_UOPWCsAu@P?n_TOKWCsBU@T?v_SOKvyS@|}l?\^iOEwLS@]BX?X_sODWLs?}?d@r_GO[W@CEM?X@f_DOXWIs?MAt?F_kO@V~cDu?@@^^~OWV}sDEAg~x^|OSv}J~T~e~j^vnzV|CAD~L?d^qOGwBR|}?{~`_MNwvzCAD}x?d^lOGwaB^|oEw@[AmAV?zr\xu{x]XnLVeJqtx]{j]QnIVc{QIGnCYaRpEGckPqGnCYaOpEGb{QyGbCqaIpKGa[PAHRCSaUpCgd[QyERCq`epKGX[KIHFBCaRopgckJqHZB?aSpIgV{PqDnC_`\pFgVKImD^Al`SohWS{IAG^CK`PpAgR{OQCzAYaCoeG_{NyCfCA`JodG_KOICbAMa?obG^{GiFzAG`{o`g^[GAFrAC`}o_g^[FyGVCK_}pBgN[OQBjCG_{p@gM{MIFNBc`towG\KMqEvBo`mozgZ{NIEjBW`zotg]kJAE^As`hokgYK[QLNEjbSpgWskYMILE~adPowhC[EL|D@aaPowwCSMLpCzb]PNwvSRuHhExa[PnWesZmIXENagPcwhsXEKXElbDPkWpCY}LhE@bXP^WusV}J`DnayPYwmSUuJlDda|PYWnCU]I|EVapPeWkCXUItE\amPfwjCXmIdEBbBPTwicWU?v?^_MoGWCkAMOBGDc@p~w~[^uNhGXb{QFW}s`mP@FpcPP{w|s`}MTG^cPPrxCC[uOpFDbcQFXBS[]NDGRbrQDw{c`UOTF`bnQAX?s\uNPFVbuPuw|S\eOXFPcGPtX@s\MFrB|`|p?w_KN}GJCHaBpAw`{OuPHHlcSQ[XCse}R\HZcwQVxLcduQhH`cqQUXKSd]Q\HrchQ\xICfURLHHceQYxLCcmQFHFcaqNxGKbuPlH`cqQMxKSbeRPGpctQLXKsbMP\HrcTQ\xDcfULrE|b\pnww[[ERrH|c|qjxU[jES`ItdIQmXQSj]S\IvdDQmXUcguTtIDd^QaXVcg]TtH~d^Q_xVcgES|IbdRQfXSciETXIZdSQdxTSheU@J`d`QvxWcmMUpJddsQvX[slmVTJLduQrxYCm}UlJJdiQpxYSkeVxKBe?R@x^soUV`JzdyQ}X]Sn\|Q}l^TowW[[MUEvB^`mprwx[[uMJFHbbqfXSKh}SvIXdJrJHfkrAXvKme[rKhc{qiXnKgeYrJHcKqyXJKoePrFhc{qiWvKgeMrDHcKpaXJKUePrDHb[paWzKUeNrAHfKoqXzKIe\rKh`{pIXnKseGr]_@w@C?f?f_ToIWl[UuJ^DdaspXxCkaePNGjcUqJxWKkUUFJJdcqpxrcye[pMdfLRhxrsxM[lMbfORdXpcxM[lMPfFRdXrSwm[LM\fKRaXoCwu[HMPf@Rbxocwm[@MHf@R`xfsu}Y@Lre`R[XrsueZXM`etRgxkSyU\LLfeqRiXkCv}YxLzenR^XisvmYtL~ekR^XmctEYhLxezRSxlssmZdLNewRRXgcvUYPLxebR\y@O?c?Y?JgDRqxxd?}]POLf`SAxwt?}]HOLgARny@C{E_LM|fZR~xvT?M\pO@fWR~xuT?E\hOBgARixtd?e\\OFfxRxx}s}m^hNhfoRzX}C}M^\NdfnRrxzS|M]xNPf{RtXzC~u^tNV?F_COAW@K?]?PgnSSIJLDqa^PKglsSiJLDqanPSglsMiI\ByanO{gisLIHlBaabOugfsOID|BIaJOog`sPiDLCi`ZPGgTsFiALAA_jO[gHsGiA|@i`NOcgK_AO@W?s?Q?L?DsgHl{vMZbLte{r\yRtG}cdQ\hGSeyRtHUcpQZhJSfYSDF]dHPzhPS]YPDHUcXQXhDSdyPtGMcdQDhGS`yStFudTQ@hSS^yMdIUbdQbhOS[YStEmdTPnhSSZYKLD}bFPdgssXx~|?M_BOHgBs@YVTM}dpRrh]S{YXTMee\RjheSzY\tKUfdRHhwSpy\DJ}fXRBhtSoYT|IudbQrhYsly[TL]fLRZhqSuYYDLuf@RThhSvybtNUhDRxhzTGYaTO]glSHiITAy`tOEgXSDiGT?y^TPef|S\h}TEycdREhPStiRTKydTR]htSni[TJYJLDmazRbhrsxYZlMEe~TWictTIhlTYiVTMictSIhlTIiVS{iitNii|SAirTMi`tSig|TAiJTwhMsfyR\PMgnSTiGtBy`lVqkJUGi{t]io|WAjrT{j@t]in|VIi~T[iytUim|VyjZU?ivt_imLUYkNTijCtYIolUAjnTcixt\Ik\ZQkhUnjHTkyqDZEldUJjVTbyuDWukpUbjRTdyrTYUlPU\jUTgYtTX}mLUtjdTmYxDZ]lxV@j^TpYwTZmjnTtixtuIxl\qm^VYjgtsiz\\YmzVSjktjyu\ZEnS?Ajntz_?t]EnW?Cjpty_?d]UnO?Ajvtz??t]^