CAT(2600,3)

Sparse6:

:~?gg_?O?G?C@o?l?W_KoEwA{@i?`?R_IoCgAK@Q?Y?M?FoMoEkBe@l?v_\OMGCcAM@L?a_QoHwCSA]@F?c?coH_G{ASAP?I?MOAoBk?g@@?`?EOB?Bs?k?~?L?MOBoBkAC?\?N?NoB_BsA??Z@e?qoY?K{EgBR?V_KOEWAs@m?t?}_\oNWFcCA@~@l_uO[GL{EmB\@d_roYGLSEeBL@a?mOW_J{EOA|@c?oOWoJkEKBB@X?jOUOI[DgAh@W?loToJ[DgAj@F?moQ?J{DwAR@[?dOR?KKE?AVAZ?S_eGDWHi@[AV_U?dWRGAi@YAU`U_JwECBQ@d?p_XoL_TkB_D\Ap?[ok_EkI{@t?v@WOYwL_JeBZAz?voZgM?JuDQ@i_q_igT?EaBQAk`R_XgKwImAZ@M_foSWISDAAABD`b?PWGOK]AEBG_a?qgXGCYDDBP@PohgSKISEhAc@hoJGDSAy@Z?h_ToOWGkCIAF@E_aOCGAc@E?f?T_HOCGAK@U?d?S_Ho\wNCFqBv@x_|Ozw]KNAFdBr`yOxG[kMYFPBb`royW\[MiF\Bk`uoto\{L_F`Bp@mO|?ZSNGErBZ@xosgYcLUEbBU`hooGWSKMEHB@`^ou?VKJgErAz@lOn?Y{LoD|BZ@]ovOU[LwDhB^@Yow?UsMGDpB`@ZobgPKGiCVAL`EO_oZkGSE~AE@oO`?[KG[FDB]@CO[gM[FYBb@s_yof_TSHkDPA[@SohoRkH{DVA_@UOpOTkKWD\Ap@bok_XCJ?ETAn@co^OSSGCDFAc?~O^oSKIWCDAd@?Os?NSFcE^BM?zo]oXkFoEV@w@ePUoisT]IjDXalPUG[cMMFJBe`royG\KMiF\Bl`uOywQkHYCrAV`KOegQ_U]C]Dgat_cGl_HECcDhat?cwkGUuJCDqap`Zgk_U}J_Deaq`[WiCS{J~DQb?`SWicWKIfEV?Co@w@C?]?P?H_CoAG?{@]?p?X_LoDgBSF}Bz@}`@O_GOKPUGnCUaKPCwacNUFlBv`{O}W^SZwLnEubXPkwucZULLEfbSpiGt[YiKbEQbHpdGqsXUKUE_bO`bGsOWuLEEMbF`hWs_XAJ~EAb?p_GocWMJrDya|p^GnsVuJnDsayp[wnCVYIxDZanPVWkCT}LKDOaf`hwiGYeIcEiai@iwt?TMLWDBbV`PGtgSUL[DEbW`QGu?S]KaC|a_`dGfoXUH}EQbJ@Ogg?XMHmEYa[@ewr_RqHqE\a\@fwfWXyKmCjbK`KGrGQ}KoClbJ`Jgr?QqKUCXbE@EgpgPmK[C[aN@cGbgW}GUE^aB`eg`?XyGWEZaC`fW`OXqGLCBa@P@W_KOQIQD`ad@WghWUMIYDdaf@Xgh_UQGeDlaI@ZgaoU}GiDoaK@[gawVEPkErbYPkgukZ]LlEkbWPjgtkZEL^EdbPPgwscYALBEHbCP`gokWiKNG{BBQNOokbwKNG~BDQOOpCc?KRCOaEpCWaSO}G\DfauAUglCUeJUH\atAVHE?TUPaDWajAKxEgTiPcDVcY@UWeSRYHbCsaXpLWcocQHOHFc`@HXGoQiHMHDaSaOwbweYRMC_aOaYxL?QIRSCccs`Gw^[NqFzB}`~p?G]{NUFlBy`{O}XI_faRyHXcjA]hIwfmQiHxckA^HNocmR}HHd?ARXH?gMQSI@d@ARHDgbiPkGmc\aIhEwa}PUGxcUAMHU_Ay@T?h_UOIwDkWYKJEFbCpagpCW}K`EJbEPbWpsA}@b?o_XoLGESBm@z?}_]OOGF{DuA|@^_ooWGJcHaCjAV`KoegQsI]DPAh`TOjGT[TyIxD^ampWGj[N}G@B{`|o~g^kOEGFCCaAp@g_S`iOpGXcLqFXBc]aNRFibupzG|[\qMzF]bopvw{CZaLrEzb]PnWvSmkVjJkDwq{@\SmsVhJnDxQz`][kWUdJHDiQqpY{kgUlJTDbqq@Y[kAUFJ@daqpHWSjiTzIzd]QnxVsl?TxJND\Qr`Vsj{UZJKD\qsPVkjSWRIuEDQmP`[jOWZKKD[Qlp`CoGT`KBDVr@@UKoWTfKFDXR@PTsigUrIlDmQj@ZklkTPIjDlQiPZCkwSDH}DeQ^pXkgKUbI?DgQ_PX{fOTLHqDPq[pScf[TJHtDRq\`SSmORXJfCwQxPLse{VPJhCwqZP[se?U|HaDnqw@KKmCRHJbCqqw`K[nWQtJzClqV@]{dsVrJwCnqV`^SdIQ`HNcfQSxIKc_VxHHD}qQ`^sckV~K@CeqR@_CnoQDJ|C`q~`GcoCQJHFD~qP`_Ch{OdI^CHqg@AciCOnI`CJQg@Ak_oWRKKCGrBP@k_wWVGOEDQBp`C_WTFGFDQQA@Sk_cTNIaCDQApSs]{VBFmDnp{@Zsm?NbJbBxqw_}S\AMbFTbhPswyckWMTJFBdpr@XK[sUVFNDcQq_xs[OSrFDDLQf_xK[[SvFEDMpq@RcggRLHgDEQXpP[egS^HjDEqYPPsf_PHGdC{qH`NSa[RvH|CSqI@NcbWOrGYCZqEpFC`_PrGzCMqF@FSbSODGrC?q@PEc_OP`GpC@qK`?CdSNhHWBzqT?}kd[NlHXB{P}PIsbwNVG{BtQNO|kb{NXFhC_py@GC`wL|G^B^qG?wCaCMBFBCPpo`CSZ_PTEzCUPm`DsZsPVExCUpn@D{{wWFKCeBr?h_koYVlJvd|Q}X^CnmV`JpdxQ{x]knQVXJidtqzX\{myVHJgdqry@[smc^NJfFrQuhZ[laUrJ\dmQshY[lUUhJVdjQoXWSkAUFJDdaQeP~[~gSvI]F}QfP~k~_SxNxDLQd`}S~KSnNuDJr|@RChW^nNtDKQiHTSimTZIhdUQjhUCjETfIqdVqlHUkjYTnIxd[PtgzK\aMnFZblQd@z{h?]tIPFlqc`zc|sSjIRFnQ`@xsgS]^IEFgrs@O{gc]fIGFhRq?~k{cN|FyFdP}px[^{]ZF{FePxAAk][_bOQBpPwqA[]S_`OSBrPvGzk\yM~F`boSAiG@?}_VPAGFSBI@hCQ_kNkgJbzYB?}y_qNngLb{YBO~A`?NbfocFH{@@u^CO]gNbxICG}U]gOzg\BuHyhBq]mO|fkcNxypBycIQ?h?s_iOdGMb~I^dOQgWD{BA@d?p_YOKw@S?q?VA``POgwScIYDJCLaFPBwaKPAGdDUajpUgjCTeIjFbbqPwg{k]]NLFCbbppWws[eMPE~b_PoWw[ZyMDMEfCraxpCwi[NK_ePRGxcKqUXHQ]H_spQRlKOdDQ^H`SpaSDICeFR@HJseAW\HgeLQXHasfAWTKOcvQyG}S]QUlFsdpPyHZS]qU|Jcb|QnGzS\qULJ?blPwHYS\qUTF_dfQpGysjqMDJGbbQoGxSlAMdJKbfQmGtSYqTlEodVPmHUSZqTLEsdTQbGrsXATDI[bRQdGrShALDIWbJQRGySbaMDHGbjQOGxsbqMLHCbdPWGhSUQIdDWatPVGlsVQIlDoafQbGbShAG|ISaPQeGcsQqTDI[aTOmHISKqQtB?chOpHIsJqQtBGcjOKG~S]a@l?gbvOJG}S]Q@|?wbzQMGASbq?lH?_LQPGBsAQQ\HG_PQzG@s?AV{~{dzO@H]R~aWD?Gd|NVGoSWpzK|Sa~NSGnSWPzDEG]lPWFfSUPx|Dg]`NRGmrsaJ\Do]bNAHYsmPws{KdlNCHZrpqVS{SdpMvGssX@utEW\pPfF\SXPvLE_\vMQHJsePq|H_[fQZFJRdARdHg[jQGFEs`PpcxCcLQFFFRcAPLGg[^LsG~r\QOLGGZlQCE{r\qODGKZpLgGtRYQL\EoZTPlEtsZpldEwZZP`EerQaJsska~LKGoRRqK[swbDKYH?s_`b\GKWxQCEMrFqN{pwc@QhEIRDqTdIgWjKXHUsj`bDIkWlOgGYSLaDLAg`jOjG[sJQFDAo`nN_FWRkP{KzS^HMqFprkp{kzO^DMWFQrePscyW[tMZFRrfPtKxo\PN^FDrv`pKwW]tMFFlra`zc|s[PM?GMR_QBkwG_|O^F@sG@ocwS`BLyFTR]pt[vo\XL|FUr^pt{vw\\LnE_RN`lsv?X~LrE_r[`gSsKZbM]EnRg`kKt{\BM^EoRV@s[ts\@OOEjRUQAT@CYnLWGHsDPj\@OYtLOFrRypictC^NNgEiryPi[}gYdLCEpRP`k[uOYNLdEarXphKuWYPKwG\RMQF[rg`xKzG]rNQF{ro`|M{EXRnPe[zwXhM~EZRoPe{{?XjNGEORqPcKqO]TKbFeRG`xkqS]VUvH^SmyV|JqdzR?hOsfYRtH}dDQ_hDsayPdGqcZQLhCDniOhZucKU~hCdoIwPG]mAQIgesRIHtC}abPOg_SOiG\CUaBPCgPSGyCdAU`NOegJDuyAx\}mwOYgKDvizh@m_qV_jab}Iwo~e^sVGj`b}yww~umGN{fydkh}xZMlgNqfxdlh}pZE^gUtjlBzH|h\U^]VUjjbziz?~EmqNojgBJHdh\EX]VQeWDtIxwrEX[VReRRHq~{qaXQW@eTu?pdTZ_W`KNJ]RBavSpClvUvEHtmPaT`OodWRkGsViJ|EAbBPbgpSXIKlEYbPPhgrsZILTEmbZPngvS\iNDF]b`PrgyS\YMLFIbxPyg|s]YNtFuSnIWdJQjHTKiaTVIldTPdGqSXEKlERbIoLgEkBe@n?y_[OWgKcEMAr@Z_lO@G?s?U?H?D_AO@g?k?YI^DOagpSwicTIHbCqaXpLGesRUMlFVbkpugz[\aP^GjcUqJhDcaiMZFJbdPrgx{[qZ@L[emrVhkKt}WzKYeLrFhb{pqlbUqjXtliulZQscXgKvuYRMDegr\XpKtu[rLdfGrZX\KvuVbMDdor\XpKnu[bKLfKr@XALGuPBQLcKs`X@LGuPbQDcSs`X?KkuNrItbkqnW}KkUUrFdbsqtWwLBUMbPDg[prYHK[UMbP\ggprWqK|uLrNTfopfX|KYU^rElfwplXgKVUKBLdecpXXiKUuJrL\bCrZWpKSuIRDdagpZWnKTuKBD\agp\XaKPuHBK\aSrHWeKquXbDDe[pNWeKOUHBBla[o|WgKNuGbC\aSpBWYLFUbrBD`cs\WZLFuFBP|gwonVxKDt~b@d^goZWMJ}UCA~\_{nzYJJyt}BPTg_nlYHJzu`q}d^KsLVmKfT{bH|]sqZVpKetzrH|^?q\XTJuUTA|LdKnNXRJsUTQ|TdOnVWOJotwb@\]KoXVcKEuBa{l_{nLVXKYTuBEt\gpfWtJiuLqyt\[pdWSJcuDAxT`SmVVMKJTrRAt[oojUjK~tjBNTYsrvX{JVU^auDfsl^URKJtdBBDX[ovUWKMTdRBT`cklULL?TbbOLX?sJUNL@TcbOdXCsFXsI|u\QndfWjzXvI~T_BNLV{rpW\IltTrBtT_o~TXKOTVBCTTgpBXvIgu]QiTTWrlTRK{TTBMlTSrhWQI`TNrAL`KiHT?KHuCag\`CiBY@ILtFBOTPws@S_L@tFROlP{sHSULEUbQbDgsgtYLIKtDRPdgognXOIIUSA`|dGg`SPKhTCbILdCgfRpKcS{bG|NOqTXHHzS|RHdNKqVXUHksubI|LkqpR[KkuUqZtLsqtX[HnuVQ[DdwfBX^HpUWQ[de?fFRUKpssrKTLOrHRTKquXaY|e[epTvKBt]R@DVSoJTuKBT]B@TVgoRThHzs~AlTNkjVTkH{TZa^TUsfrV@IoTVqwTTwl~U|ImtWawDUCl|TJJNtgAhdYCiZUaIfThAiDYKi^TnIat[AgtSgjbTFIxtQAmdScjdSrJ`tpAe|ROmJStJbTMAxDRWmNTbIUtXAdtUSh^TeIWTKalDU[hbSfJftIAyDQcmbSiJhTJAydQkmfS`JBtGapDQKkRUKIRTaaclWkhHUeIEtBatTOklPSHJQtBAtLOglNR|JWs~auTN{lfS?JYTla_TOCljVZHttvA\d\{f^V\Hus{A{D\wf\RdJKsxarTM[kvRiJNSyQrdM_kzV~Heu?AXtK{oBROK@U@AYT_KebXGkbuQjHdcmqRX@k`UOzGdcYqJWzNUUNBtlbs|\W}NVvkRF|z?q@Uvj]TmIvLZilvU@NRt_btDyWkFUCNTViqotyckJSxi\TMyfdRyhzSBN[T@bvdOS|t]zIATABvlO[|rRGNaVqQXTKo}J^EHbvpqX\{_eR^XDKqehR[hqS|I\_yO[WMSFMBj@ucXqKHEKbQPjGqfcRqXxk{i]XNJniFzjyX}m}c^nnifzJ}@|A}a^lndFtjxX|]}o^NnefuJyx{y}k^KnOFwzsh}Q}}]`noFgj{PyM~A]cnsFcjpx}i{e^enqfbjq@}e~M]PnkfOJzPsEyC^ZnmFOzzpsU}y\CmWFuZzprEx[^YmXFuzzhrM}w[nmMFxj{xpu~O[]ntFFzcH}e~I[_leFwZXH}I~?ZGlefxJXX}MuS^^lNFyzRx}qtE^llOFzjSH~AtC^nnCFjJpHyu{S]mnDfjzuHwu|_]KljF\jZHv]um\wliF]ZYhvmzsZWmwFnjmHz}ze^@mxFoJmh{Mzg^AnLFVjrXt}{w\_nMfWZrpuIzE]^mkFRJhptmyY\XmgfVJhxtuys\OmcFLjgprQyM[tm[FQZfHsmxm\ImJFpJax{U}K[WnbfEZxHpm}O[YnXFCJuXpE|g[QnYfCzuxpU|k[SmCfTz_`tIwI\RmBFTJ`@tUwM\Un[E~jvHn}w?]yn\f?ZvhoM|w[AlxF_j]pwYve]Blzf`z]hwQ{IZsluFYj\humv[\klvfZZlxnAz[ZplrFAj`Xm]w[ZhmEEyJ\PouvU[NlfFIJXxqeu_[ilgfIzdhlMxWZQl^E}zWHnqt}Zyl_E~Z^HjuvoY{m~EmZUpvqts]@lZf^ZV@wAz}Yzl`ekjUXkYtiZFl`EkJU`kQuIYpmPEijcXimxGYklVFHzchi}tY[enIEeJqhhe{kYYnJeezRhxe{oY[lHFMjQxruse[zlIFNJQhr}sk[}nRVizs|ya|T]hmqVXzkluYzR\glpGg[SPmFDGZcpPewz[iH}v?a_llWkRZ\lrDeZ\lnwlRZtidDLadLQWhrSmI_tLaiLRuiCTMK?HJCeaRpIGdSQeLpExb\PmwvkZrD_a|pVgn[VyInD{akpUgnkTqJ~DObApaGh[SqKBDMb@pagikWYIfCqbIpLgp{RaKnEKa]pcGf[RQKfCabIpHGq{PiKZC[bFpFgq[QAKbAMb@oagoKGqKJASbBpagQKWaCfB]avp[G[KVIFFDw`sp\g[kVQFNBSaJpBgY[LYGbCW`mouGakLiGfBEapoqGkkKiJNBKasosGlkKyJV@}a@o_G_kGIGNACaCoaG`kGYGVAY_nofGKkIABBAW_poUgR{HYAz@W_coOgH{CQAb@Q_boTGH[DYAZCe_ZpIGFKQi@v?{aUpKGGKQy@~Bm_YoIg\[Mq@ZBo_Vo|GEKNI@f?]`\ooGC[AYEF?_`]oHGV{AaEJ?Q`UoDGS[@qDJ?Y`RoDgTKIi?r?Ea^oAGg[SQ?VDE_EoCGhKSA?^??_wn}gK{E`~z@i^~oZg?kEq?FAm^vokF}KJH~nAs^{omF}kJX~fBv`{o}w^kOEF~Hw_}o[hMKFQRf@ucyq]gNKFiRm~b^qQaV{z}aSY~ldGNyqghS[iQTJIfdRQjhUCi}TbIrdXWyciETLFVbnQgxTC\uTTFXdQPuxNsh}SHI\d@QexOCheSlIFc}QdXQccESlHBdKQPXRSc]S|HJdMQQXACiETHGRdRQExTC`UTTGVcKQgxKcaeRTGncuQKXDSe}RLGrcsQJX?cgeOLIJcCQbX@Sg}S`GNcEQcw~CfENtHrb}Q\W~sf]RtGBc{Q?W{CbUPlFbc[PxXFS]]P|Fjc]PyXCC[uPLFRbcQFWxS`}PDFPcQPrw|c[]LxFnb`P{Wvs^MNhFDbzPoWvCdMQXEpbXQRwucdELtHVbZQTWrcdmK|H\bPQVwsCeERDEZckPeWtkYUX|EfbSRNWt{sQLUapPZgksVYJdDjKWecrEhh[pqYZK]efrGhi[qAYbJ{ehrQH]ksqVnJwegrQh^[nyY^J[eQqvhc{qaVBKidpqxhd{qqVJKSeXrBHf[rAW^KueGrChfKpYXjJOdsqsh\[lQVZJUdvquh][laVbK?dar?hW{oQURKEddrAhX{oaUZIke]rNhT{sATbLAdXrPhU{sQTjIxd\RiXVkyqT~JBfWQoUCJ@\_qoZWMkFxrSzu[pMzfJRnxvCxU\hMRfZRcXoczu[LMtfCRlxpSze[\M~fERmxrcve\HL~fNR]xsCvu[DMff?RgxkCyeZDMjfURXXtsu]ZTMrfWRYXicuuYlLnekR[XjSvMY|LvemR\VuJy||ZNyf~r{I?K~Q^zNwf~r{i?K~Y^zNWfervhy{|i]^N_firvHyK}I]fNcf_roh{{{Q^RNEftrzhx[{a^ZD|a~p]y@tA]_`OhgTSEYDT@]`LORgSSDYBT?M_HO\gBSFy@DAE_XOdgDSGo?TBa`Y?Cg\SJyEo?Y`zOo?@SNyEO?QaFOs?BSO^