CAT(2600,2)

Sparse6:

:~?gg_?O?G?CCcAN@G_bORoHsCuAX@]?ioSgI[DQAn@U_koVWJCDiAv@[_u?YwLoEuBT@u?wO[WM[FQBj@q`@?^GNkGAB|@~`?oe_PSGmCPAL`CobGP{HECdAO`HobgQkHYCnAX`KOdGXgKADxAz`^OnwVkKkEHBD@boqOWSKoEFBE@cOq_WKIoDZAo@WojoTsJGDiAu`\?l?U{JKDoAx`g?uOX{LkEcBL`g_r_ZSOsGXCNAFPCOaCP_GdCRaIPDWa{PYGMC@aD@?g_?OYGQCCaD`@W`?OMA|@__poVwKSEEBL@g_q@IwdOEeBJ@fAVOPwGsCYAP@G_boQWHSCeAV@J_dOYWKkEYBP@c_roYgLcEuB^@j_vOYwLSEqBZ@n_vO[WMSFMBh@o_yo\gNCFeBt@z_zoigTCI]DVAh`RO{OR[HsF^AY@vOf?]CNKC~Bq@NOh?]sN_DDBx@PohO]kN[DBBs@OOiO^SNoDPB|@Roh_^[N{DTB}@TocObcGwGpANALPFOQCHKGrAQALpAOOsGKGTACADpA?O{GSGLCF@@OkWTkI}D\Ak`WOqGW{KeETBK`dpT?V[TSDxDV@^OnOjCTcE@DU@^osohCSkEnDH@iPQ_ZCSsElDK@ioIOeKA_Hd?jAYOJOeCAoHjCr?TPM?ESAwHl?nA\OK?f[R[@f?pA[oLWE{Ba@r?s_ZOOofcCGHzC}?_PNoGcSCAJ@@A_OMgtoBm@xEo?]oNwuOBy@IEDbA?HwCoW]@IEE_R@aWCwWa@ED[_Q@VgjW@}@CDY_O@VwCGTuAEBn`x_PWG_NAACBm`w_OGGGNIFW?\`s?FW\G@yFS?[`u_Fg\W@q?kBg_J_yWBGMuFS?Y`t_EwB?MqFK?y`p?NgFWMUFM?|`p_NwF_MQCWAA`A?agOoGmCMAG`A_bWOWGeAuAW_k_dWJOHYCq@[_m_dwJ?HQBEAt_n?lgUwEEB?Aw_p?mgJwJeEA@u_{?ogNGKMBuBC`b?\wWgFiDw@N`\_SGIGKAAaA~`]_SGHwJyAc?^_O?SwCGDQAm?b_Q?TWCODY@gA@_[__GEoFqBy?t_[?^wEwFyC]?m`G_KWPoBMC_?q_W?cwDwHICu?c`L?GwRw@}@CA]_O_fWC?HqDW?i_S_jWD_JE@OAm`V_JWDWJA?Y?Q_E_CW@o@E?]?Q_F?CG@w@A?M?S_I_BGAg?m?Q?S_D?Cw@?@M?k?z_K_MgBWBy?o?|_J_NwBOBqP{Gwc[qMhF[bqPzHICcQPXHKcYQHHFaQPIGcsQeHNCdbPPhgs[YQLNEd`|O}w^cNuF~B}`pOxg[cMUFNBbaJPDGa[PIGnCTa@P@G_KOMGJC?_eORgHkCyAX@L_kOUWJSDmAz@[_~o^GNkFyCBA?`CoawPCGiCZAK`OogGS[IUDDAc`XokgU[JIDhAs_EoBg@{@I?`?P_BoAW@C?m?T?K_Ao@g?s?U?L?D_MOFgBk@Y?p?X_LoDwBSAU@N?e_SOJWDKAi@X?j_YOMWEkB]@p?udhAqhX[kiUVJIddql`U[j[TfIsD[QlPV[jSTtIsD[qjPQCg{TdIKDVQbPT{j?SbIMDWql`Osj_SNIID[qapVSgcTvIGDZq_@XKkWSJJCD@q_`WkgCUNICDcQgPICdCT@HSDPQf`ISh{QjHRDPqOxFscIP~H?c_qR@RkcgSvIZCfqRPRcckSzHMDMQQPPsgoQJHFDGqP`Pkg{QHHGDGQ^`HscgRtHJC|q^pH{csRxH|CeQN`ICdCQ@HRC_qT@GSb{QjHQC`qLhE[bQPdGtcZqp@DckWPZGnDcqJ`XCbCUJGoDbqa@E[ggPjIJCZqK`O{bOSLIHCZQI`DcacP^GpCSqIpDsb?PVGiCUqHHCKaMP@GdcPQW`As`_RJGXCrQXpA{`SRHGSCpqFhBc`iOzG^cLqCPLS_{RPHhCFQCpLk`GRVGOCuP}pLke_NlHhBzp}`LcekNpFxCtQVoykdoMdH\BhqW?y{eCMlH]BiPpgw{[iMVFGbcprp?C^oMXFLB}psP?K\?N|FMB~pp@WKk?MBI{B_PpPVk[KT|FAD^pn`RSZoSpIXB^pm`RCZsStEzDKpH@Vcj{HLCdD]pHpVsQcUBCgD_QH_dcaWHTCjCSQHodka_H^GfAVPk@OSYwS@EpDApkpOcZGSFEnD?pjPWSkGLPEkD`QootKkKLVJBBTQNOhkbkIPDHC]PQ`FKSkPtDKC[PK?pSROK\ENAXPaoeKWoHjCrBEqi_pCikKLIkBAqi_o{ikKRIkBAP_?skWGLNEBBQP_Os[YWJ~EaA~P{_jk^KI|FoAlP{Oj[T{NjFsAmPW@?S_SJBDaC@q@_k[_OJJGFAqPxOksUkNPFcAsPx_k{]cJRDiBrpZWl{VEJXDoavO|?gcNSIDBxAbo}?gsNWIJDB@zqN?^sNsPpByC[o~@FkbkF~BzC\QU?[[dWFHHV@pQU_[kM[QvBeCkoy@MKfGFRHr@uOy`L{MsR\BjCwPCpKSPORFCQCqPDPKke[GlCVCrP?OfkRwG@C~A@PO?_[SCGJCCA]P@g`SOaGNCJaCrw@WckaUJJEdcqpxUKi}T_NedXQjP{{}cT\IgdQQhXSsieTNIedQQiXS{iUTPI^Flqg@zShw]xN]DOrvpS[|sTDIQdHqdhQkh]ShIRdJqchQchUSlH|FzQ^`}{~SRvHyFxR{pNc~OR~Huc{q\HMkfaRnHsFoQ\P{S}KRrHuFqq]@{c}CRnHmcvcFHMCfC_|HrcxCGHJcd}QzH]coqWHIsd[`PHWgTAUXJ\AoQtHFccqPhGkcaQHGGcDqBH@S_uORCuaZcMgfCRc`xCza\CNiCg]q`EFjgR`zYCO]iN[OcbvcHiAO]I_aF`bnCCIA_\}NEORgI`wGzC\eMtFZbmpvIH_ZQLoPPge`lWvHDALmPMgf`lgqo}qKmNlbKBzgrG}}KuNpbLB{GsH?QKwOFbMc@grp?a_QE^gA`gGqKXQK`EQbIpcwiKSyI^DOahpSgi`EQIiPhajcXWjHEaIoPfajCXgnCVeJtD|a}P]yLOVQbWDqgu`[wmhEmJmPnazCZg][MyFbBn`xO{H~oPy_CCaf~`Fy??QA_ECbg?`GYO_OucKCKh@`ByOwPEcICMh@@CGbSPaGzCXaMPEyQdH]cjQUhKseIRPBQ`iQ[g[cfyEpHu`oQZgZcfiDpFYbmOng{CKINXBEbqOrg|CKhCsaaPNGqcYqLHE[b]PlDEa`pOgg{SQIJDRafPRwiCTEIdE?b@P^woKVyKFBw`{o|G]kN]FlCKaEpBgaCO}Gb@S_hOSwIkD]Al@p_xO[GM[FUBhAS`IodgQ{HeCpAu`YomgVKJaDnBA``opGWKKYEJBH`boqGXSKmEXBL`hOrwYKLAE\?F_COAW@[?q?T?C_AO@GECA}@b?q_XoJgGCCEAD@B_aoPH]{neVvJwdzQ}hz[|q]zN^flRvhy{|a]jNUfkrtHt[yq\^MlfTRjhiCtIYjLReiRSXfCreXtKze]rNHdkrEXXKmeWRJxakpYWnKSeKrEHXkkqU\JNdgqsHYKkyUXJNdeqsI]HRqh}Rsi]c{ifpNMiARui_C|Y`HMygMRjiCCzI_pMuf_SJiDCzy\@PAfISKiGcyY[pOufSSNhrdBiYxRqiARSi^CtYfhLMh}RUi_CuIW`QeeASch`DHYcxKMeKSehadIIdPJ]dsSmiTclYVHQ}hWQuiUcmIVPLEdiRLhZCriXxJ]dqRQhgCmI]PIqfeQkhwcjYTpNQd[RuhycjYWhG]cCR@hbC`YOpKMcERAhaC`IbpFAh?PpiOc[iMXQMhCPtiNc\IKPP]geP_iIcVyaPDybESSgodDih@DIiUPTgjDRIhPDQamTLiccSyGpRAaMSpiXCQIeXCeaUStiYCQiD@LeesOhgTCuyZ`Au`UR\gUCviX?}u^WRKhcbzh|xKmeMNphdB{Hx@My]YRnfccyxxPMqf_NJfeCzYegzm\kSofZdKYe_ziheMwiXBmYaOzUgeMofWdDHuPPU\gSVfXdDiYGyme_MkfVcriXwyyecMlfTCrXt@OMgEMciABhXsxOU\QSDfRD@IhgyMiQM_fNDQyhOx}iOM`ieBghmHNuZeR~i@BZhlxNyZcS@ewD?HlXNifwLlh|bZHl@NeZSRvesc}ITwuId_LbeqCkXkhJIZMQserCkxfpOqX}SLe_DBhgHO}YESPe`DCHfHPagwKziMbNHf@PeXySYe\DEyVgrUXcR?h\bKyVwrYdwKsh^BLxdhMMX]RaeVCwYZwqqXaR_eWCxHdCq]XLKjeTRIXb`PiWsSWeLdEXbhPmgyK^iMBFigWoaiCKHiabAig_omWYTFeEDPi]wmiVURxduC}i^WmufwJndvC}ITwkud_JMhWaryUOlAUWQshXasYPpIYc]QfhGCiIQHIeceQihHCiyG@FYbmP@g{COiNHCMbuPDg|CPH]o}AVmN`d{Bwh^G}MVuNdd|BxHw@Du\wPWf^CUXvxDi]AP[f]cUxqP@q[eO\fICFiBwxU`AMVgOBdhoHHQciMBf?CdyR?wI[IQUhKb`H~?tY^qLVf|bUHjG~uYuN{elB}hi@@AYaOPehCChiX@M_iLTgIBTIAosi_mLJgKbRIBOsuY]OZefCEH~wsa^{LCeac?Hgp?E_ELHebc?iFOqA`uK`ePCNHcXBuXGO~eQcNh_wpIW[KEe@BBx_WpAWIKReABCYH_nqaYJ}gfB?H_HDEa]J~ggA~Xm_nEZiJqezA{xmwnUV_LxdyB]H[`GaVIQHdrCah[xGmcYJhdsCbHZ@BAUqOqdlCKyEGlu`]JZgVAvHa_lQUcKTdibDhawlYUmKXeKAsygTSMiHTFibTPYf\R]hlSwi[tMietRehnSwi\tMidTQmhXSliVtJicdQUhLSfiStIIbtP}h@S`iPtGi_tO[s|SGiCegI`\OgtDR|i?S~i^|OIgBRfhrSxY\DMifRR^hoSwY[TMQfFRYLVUiaZLLkt^R[LUUiqZtLstZRRhiStYYtLaenRGhbsrIXLKmeTYKH^smrPlJos\Q|LFsoBQLJws`YWHOUeQSLhgdDQbLLufQSlIOsxQ[LWSebULHktdYrHMulQR|jOc|Q?g}S^YNtGEb~PiguSYyL|Eub\PeL]sXRVdjwbPY~GqUoQLLk?bNOwgZSMYElB]`hOdgRSGyCTA]`HOIgDsBy@d?u_\OHgAS@Y?t?]_PNqfxr|H}k~]^lNefrfAh|C}cwXNjftFBhz[|i]~N[fmrvhyk|Q]nNUfkRuXxs|I]^NOfhrsZQO{IseNClIBozQg{U]MYVlJBphr@fi[uXzk}BeZNgxi[yX}fME^xpcwu[\MNfGrcHopna[MZxfCE}xpHnq[SZ|l|BaxnPgYsMLzlCB^JPGvusUL~lDB^hj`oQYy[DenF@hjxo]ZA[HeoFAH[PiQU{Yednehx[@iaVEYddoeiZbdpsyX[]mfFGJcLt?w~[OmGvCzalpIwh\QL~VSr^|o?yh[@Miv?ri|oGylZkMVUzRd|mwx`ZnMWu{Re\n?xdZcMLvDb[Dp[vB[WLquwbbTpcvFZYLyUur]\lovdZvLmuvr]lnWu|ZBlaUpZW|kIuL\oL?V[rOlvCsB\sL@v[bOTvSsHGkcUqJxDsbEP`Vvj|t}I}t^inr\{MMv^Rbtvww~[[M~vGRoLw?x@ZiNAv`b\LmW{DZfN@uyro|wOvP\{J_TpBnt[CzzVAM~tpRoL[K{@ULN@v`aptWg{D]CJFtaro|wSkXT}MDT^r`\WKw^U?MEVBQoTWCw\ZwLxU}R]\ngvhZtL|u|r^lnWvx[CLwV@R]LmowLZmMBuzR`Lm{wPZILfurBYLkkufZHLfUrRYTl?uPZ@MdvPrVds_tzY}Mcunrgtk?yT\AL[ulbgDj[yB\BL[VPRV\sOttYiMSUirdTi{xRYkMTvJRTlqot\\cLQVXRSlu[tN\eLRUiBlLiczP[cLOufbctqGs~[dLPugbc|qKt@YTL@udbOLhGsJYVLAUcrOThOs@XsMzU\Rm|fWzp\xKzv]rNDvgrrZcKwUwBLtmKr^XrLqu[R[LfGvDX[LWUVRULdwtdYtKoUkrKLjOq~XTM^uSBftdCxtXQM\uSrfldOxxXIMhUQri\coyjXLMjURri|tOq\WqMeVRRE\s{pn\MKYVSRElt?plWeLluHrZTa_uxWhLmuvrD\agu|ZTKCutb@Dl[oVZXKDUtB@ll_oXXjJ~UZR?De_n~XkK?uYQ~l^orTVzKHt}BAT_wnlVxKFuCA}|^gobWSJtUDQ|\`WnXVlKJuEQ||]wopVdLETxbPl][s\VcLFtyRQL]_s`XfJoTvbKT\{rFXcJotwrKl]GrLVWKaUPazdcSmvVXKbuQQzl\gqP[mJhVJqy\r?mh[pJittre\rGmlW|JcUMax\[cprVEK[UMqxTbomNUyMnTmrj|Zoz@U|MovWqv|ZwzDUsK@U?qulZWoHUvKAtmR?|Z_oLUmKUTjrDlZ?p\WnJWuKQuTb?lfUkKQtirC\a?lPWcJTTjRCLYcpDUeLLThBR\Y[sxY\JQtgbRDYKsrVMJMTsQrl[ok|U_JftgQxl\?k~UWMutdblTX[zV\nJKvZar\XgzXZAJGUoqqLkSkhUQLbTdRW|kOkfTxK_t]BG\bwjtW~I}UOanlc?jvTqL~t\R_To?jfTsM?t\r_\VWv|TmLBUaal|gcjZYJIwUaAmLg[jX\WIrTYRjltgjN\ZIsVUQl\UgyxWYIoUEqkL`ojDW\IpuFqkl`wjH[PIlVCaj\pKix[OImtVradTwwj\oIkTTbm\TOzbTTMxTTrmdTczj[sIgvMQiDr_idTMMYtSretr[i^[XmJVDzbDpmwtXyk|u^JNlf}r|XUPMuTsRtd`C~XXPOUUsSMHoqtaaJyWgq}EIOnbadJxWhq}mIWnfUCpYDaYolWXDlUFp[DaHYSlMUhJVdiqtkLaJjBYazowgn{LqJrB_a}ovgnZ~qJ~Ds^yp\f}z~iJq~}a|p^F~KSyGBCAabp@ghKSQFzCCadpRG^{PyFrBoaIo{ga{PaFjCY`|pFG]{MaIFC}`tozGgKMyHzCy`qpMG[{QAEZCa`fpHGYKQYEfBUaTpIGYkTyDjDe`]pWGU{UIDrD[`^pXGV[DQIjDY_loTgiKDyIr@[ajoUGi[CqJ^Do_doQGlKDIJZDq_fpYgIKOa?rCI_LpBGBkPI@FCM_OoFgaKKH~U~k`copF|{K@~RBE^xoqf}J}ICe~c`InxgRZ|qCbAU^ooeFzz|AAN@C^loNFy[Bx}j@?^koOfyz{QBq~E_|nqGNkFx}VA?^enrgOZza?^?S^`nmg@k@H|y}}_JoCFwJyqBA}m_pnkGKjzIBN@i^YoYFu{B@|A}a_XnhGEjyY@m}i_\niGFJxQ@J?e^JoJfr[A`{r?k^NoIfrjvp{Q|}^DnbFoJwx{E}Q^AncFozvaCM|y`Cn\gP{GpzjAI]xo`FmJrPyA{u]`nMFgjrhyM|I]^nNFhK?Pxb?A]Uo@fd{?@xR?I]XnIg@Jspwy{]]fnGFiJqHye{e]jnHFijp@yq{Q]lnWfbJpPyy|_]LnDfj{QuH^CpaXpLwekIeDTIl`UojhUKJEDdIt`MohwR{IEDJAb_uQgWLsiMTH@pdTO[xTCF]TL@td^NZvkcjeTw|f]sQoxVRumU?|lGhcTqIkeQUzHedmqYHZ{eyVBHkdoqYhZ{iaLFEWdOpfhT[XiTFIcbOpfHS{fqUJIAdfq^hW{gAURIEddq`HXkhQPRIUcTqeHDkhiP^I]cXqfHEKgyOnIOcKqchB[`ASRGSdEqChP[iqOJImcBqkH@K_iTfGMdZqBHUk^aOzGAcNqGG~[aINzGeb~qHH?K]qTrIybvp|HW[jqNbFud^qoG}[cqNBHMbpqSG{kdINNHUbtqTG|K\QRbFUcxpuHMk\iRnF]c|q]Gzk[aUbFIdhprHYk[yUnFQdlpsHZKZAPjEqcZplHFKZYPvEyc^pmHFkYQLzFAbVphgv{YaMBEkbbpigwkXAQvEMcnpbHJKXIQzHabJpdHKKcAKBHAb@qPGokWYQNEIcdpaHHGA[@U?hfKR]xrSve[tLvfJR[xqsvu[pLteoRSxjCt}YtLNemRSXisuUYhLbe`R^xoCsU[DLFfARQXpCsu[LLJe_RbXfcxUX|MJeZRcxfCxE[\KzeHRXxacueZTKVeuREXmCpuZ\KZeFRHX_sp}WPK`eDRGxdCpEWXKfdvQ}x^cnEV|Jre?Q|X_cneWDJveTQwxdcmUVLKnduRKX\SrUVPKrfnR}xzS~E]pNrfmR|x{S~e^hN`fqRoXwS}]]TNjfaRyX|s{e]LNlfYRiXtcz}\dMxfZRixtszm\`M|fPRtxrc{u[|NNfQRsxss|U\@NPgOSDYCT@]`HOXgLSHyBtAm_xOhgCR~Y@S~}_XO@gFS?y?t@M_HOP?@SMIDg?Q`tOngW?@IFlBG?LO~?@SLiG\BO?LP@