CAT(2560,1)

Sparse6:

:~?g?_?O?G?C@K?X?I_DoEO@S?q?V?a?GOCgAKAW?r?Z_LOFwCKAA@@?^_OoFgBc@u?z?]_MOCGAS@E?j?R_IOEGA{@YAA?__OoFwAs@a?n@S?S?IWDWA]@K?i_U?KGDoBE@Y?n_m_PwHKCa@C?d_Q?HWCWAU?^?L_FOA_Gc?oAL?J?aoKGEKA}@R?j_TOQGHKC]Bi?a?`oOOCcCG@F@O?_OS_FsDC@~?F_CoAGOGC}A\@L`E_NGFkBm@p?x_\OOGF{By@\?l_UO@g?s?Y?^?L_FO@w@C?eD[?F_COAWEsB]@jAv?YOKwESJkCG@q`B?\GOgFMEAA@@Eo_oP{GwCDAF@DOaOPcG_CVAf@TohOTkIWDX@t_zo\gN?IaBsAh_{_igNgFyBuA?_}?^wPwE}BaAL`F?[GPWIqCWAl`D?iwZ_EuB\@k`QOggS[EeBV@i`u_mgVSJiDcAu`X_lGUGJUDJAf`ROgoTsIOD`An@POjgUCI}DeAh`W_igUOIaCfAS`IocOR{H?D@AQ@OolGUsJUCnAW`JOeWRSHmGaAl`UOiwR_J]CyAx`N?mGVCJeDn@e_sOXwSKH}D@@c_poXWPKG]CP@h_toYgOcGYCJA@`@o_gKSEABBAD`AO`gfGR_HLCgA[PM?c{SGHZCmaUPKGeKQ}HdCsaXpLoccRSHJCuAPpL?cKRKH@CaAXPFOeKP{H`C]AVo{G]SNEFfBt`yO|w^CNYFrBz`|O~G^sNuHkCVaZ`EWegPaGgCkaJ@JgagQuHQCOaT@BwdWOyHQCPaH`IwaOQiGYCYaD`FG`_PmF\Bl`vp?O_cO?GDB~A@pAO_kO[GPCIABPd_e{RYHjCYaMPEwb{PuG|Bd`qoxW\CMYFNBe`sOxw\KMmFTBg`rOxw\KMmFTBj`tOyW[SMQFFB_`oovwZ[LiErBZ`kougZcLyEzB]`movGVcJmDzA}`_OnwWKKMEDBC`bOpWXCK]ERBI`dorGXkK}E\BO`hOsW\cMqFXB``nowGYcLMEjFiAOpGgcCL]EpBUaPpHWccMQFDBbcFA?x?c_IODGCc@q@x?k_YONGDcBQAH@S_eOTGHcCP~x?K_ANsF{b{`~g~W^uNwGGb~AAW~g_iKbEQbGPdGq[XUKZENbFPqGw{[YMLFGbbpqwxK[iMXFMbeppWw[[QLjEsbZPkGt{YyLbEqbXpiwtcYuKzE[bNPeWrSXmNfFsbyp}O}C^gNdFzBwp}O}k^kNfFyByPy?}s]cNpFfBzpz_}s]{NpFvBupy_}s]kNnFkB{Q@?{K]KOFGABpPx@?k]WONFdCBPv_~{\{O@F_C?pxo~{]cO@FgC?paoo{W_KTEKBCpu?oK\gKFFXB@P`?zc\sKLFZBAps_qKXGMhEOBhpcoykXSMnESBjProyk\?MnFPBjPn_nsW?LzE~A~pmoosWSLxEyBAPm_xc[wLvFLB]Ps_us\OLjFRBYPhOnkVkLNEeA}PkOpSWoLfEJBXPbOr{YCK^EMBOPu?tC\gLRFXBTPlotCZcLTEwBSpgOsSYOK~EbBOPd_nsW?KpEVA~pe?x{XWMbEVBgPno{CZsM|E}BnpwoscYGNDEbBopx?rK]WKvFdBLPf?|k]{K|FmBMpXWkcUMIDDCa`pPwgsSUJ?F{ap@~gkG^uI}Dza}`Vgn_TuIsF?b`@VGjW[EImEnak@kGtoTeJoEda|@hwnGYYMyDqbl`\Gz_VMJWFHav@qwlg[iMEDeba`YGw_U]LmDPb[`Swv?TIKADMb@`SGoOS}IUEFae`aWh_WaIOEjad@jWhGYqI?F?b`@NwgG[EJSFjat`zG|OUeJmFpaz@{gmg^AH{Dpaw@NGlwRuIgCxaj@MwigRiCbAQ`GOeGQ{HYVoAs`ZOlX^oGmCXAI_xO\GM[HMCjAS_joUWJCIUDNAe_nOVwJkIeDTAg_lOVGJ[FIBh@r`QOggS[qSB^@p_wO^wNsGACrAZ`LRKOIcDYAj@]_moVwJcDiAv@}`?O^wPKGaCNLB?vOZGLkFuBx@z_qoWwKcVqJvD|b?p_go[WiKXEJbrpyW|CT]IrDWalPVGj[TuI~D]axP\Gm[SMIHDAacPQghKRuH|C{a_POWf{wOZtLwe{r]xnkvqZ~L}f?R_xoKwI[FM@f@R^`mkv{ZnM?EzR[pmkvOZlLqEzrZpmcvKZZLqEvR^PjsvoZ@LzEnrVHj[tuY]Lwe|BSXi?veYPLEebrQxhKsiYSLxe|BQxhGvaYGLpe`b[XggvEZWLAetBOXlWsAZMK}esBNxfgueXsLfe]BYXfWuaZIKveqBMXf?uYXgL`eZBWxeguIYwKpembKxjWrIX]LWelBKHjGqyYKLWelBQHjGs]YiKjeUbTxioqqYgKiehbIHiOqeXILReRbTHcotIYELNeabSXg_tAX[LKefBKHdwsuW}J~e?BGX^oqAWqL@eLbOhbOsAXgKUeKBLXawrYXGKQePbCHcOpEWYK^eFbGX`oqAWWKTeIBAhaWomXGKHePb@xcOoaWGK[eBBFh_gpuWCK[e@bFh_GpuPcJocXa{XE_m}VuJhdta~X^_miZeJeeyAyHmOm]VFJddqRNPZkr{U~K}DnRX@YKuWUfLdDhQ}@FCngPtJxC[qrXXckmWuJFeKapXbOkYUCL`daBWxWWuITwKUeKAnhawjuTiL]dYBWHjwjMXQIqdWBIhd?jETYKRdVbDXTopQTSJwdUA}hTWneW_IfdSbChaGiaSuJtdzAfX]whqZ_IWewAehm?heSgKdeRachQWqYW]INeEacX`ohAWWIMdEBAxPgoiSUK{dCbMxPOriVwIDd|a_xO_nuS?Kve[a_hf?gEXeHzeWa^HeOfiRyKkeUa^xNoqmRmJsc{A{xNGnIV]Hmdwa[H]?e}QcKGcgbAX_wdAQGLlcbBZhlwcUWGHIeBARH_gcmWAH@e@aOx_OcIPQL}cTb_HDOv}P[J~cUB?HDgnyP_JtcWa|x]oa}RGMAcpB_xKWwER?LkcobYxJwuiQeJqcia|HI_nMZwHUe|aTxngdaQqLKefAUxJOsuPOLUcRBTxCwtUO}LucNB\XBgv]TkJHddAmHUwkaTEIxdOamxSOjiS{GtdOALxRwbYT}Hsd_a\hW?fURcJVcxauXZ?fEVWHGcbazh\gceSiG~dJaOHFohYRUHLcuaRxL_cyRMIFdCAXXOoeYROJMctAsHLGk}PuH[c]aVhF_duPEJScQatXYoaQV?GRdpACh[G`ETKGXdQaDxS_`aOsGTcMADHBW`YO]GacGAGXC?_yUuGJdmABXZO_qAf@R_hskoH[CqAT@K_doQgHsCuA^@L_foRgICDIAb@Q_gOSWG{CaAR?s_XoKgE{BU@l?w_\OMWFcBu@v?}__ONwGSCMAB@D_bOPHgKsIY@K[eMrFhb{qEX@KbePRHH^[nqVzJudyq|wcsQaHNBY`kouwVsKAD~BJ`eOqg]cNUFfBx`|O}w_COEF~CGaDPAW`kOqGVCMaGPBw`sO}G`CQaHpCWa{PeGpBl`vozhE[bIPhGtcZQLxFKbiPpIxd\qmhUsjaTnG{c\qNXIKdAQdHLcfqRhGccYQJHFccqQHHccmQTHAc_qOxFsb}Q@GkcVQJXEKbAP^HRciqTH@{`AO\GPcHqChA{`eOpGYcLqFHCCaIPBGJcEQBX@[_uOXTgIqDXykpU]jITfihdXYk`TIigTeijDPYixSMiiTCi]tNyftRihxSzi[TMYe|RQhlStiWTJid|QuhVSki[DHicxR]hqSdidDGYhXQAiQS^iMDGibpQMgySciKdMibXRqgsSziJDHYcxP]goSeiodCIaPUMgaTaiBdRy`HTEgOTOiNDAYb`O]gySGiTd@I_pQuhWSDieD?YhpOMiYSAh~DPI_@SMf}TDiSC~idPOAhQR~h|dLI^hRYfwStilczi\`TufYT[hsdEY\PPmfUSYhrDDYaXMafMSSioCwy[hUAj?Rch|cwy[hNufwRci`CwIg@MIiAR`hmc|YZxN]e{Ruhwcli]@JadmRnhlCwIZ`MEeuRaiEcty`xLeg[RWhgc{yYXNQfcRQhdDGyXHQQeOSahaDNyfpKMhyRAhscoiW`MmfSRBh]DKYePJuheQ}h[dIIVPQeduSihWC{yUPNQfcQphVC{ITxNEdYRnh[ctIVXLYdsRThaciiWxIqeKQjfxc|X}`N]^iRuhScgiT@IEdEQfhlCfiZXH}ewQ_hIdCIaPH]gaQUhHDUIQ`TiceTXheCbIPpKucYRJhRCayS`GidIQHgzcjYTxFed[PwgyD@I_pFUbkSDipC[ikHFMbaTbincZijxFAi}PngucoYL`J}e?PjhmcYIZxEie{PhhhcXyYPEUeaPehacVyKHK]eKP_gjDDiIxPaaoSVhQCPySpCedIPGgaDSii`CYiePDg`crYGHKqaCRJiDcNI``BugSOziccMIhXBiiSOxiEcKi`xBQg[OrgVctIEHLY`_RTgUctyDpLe`WRWhWCGyUPAUdaOcgODRyCPTA`ATPikCEijP@qiqOZhrCDy\@@efMOWgICnyApKE_iR?gECqi@hKa_URHgACjI?PIm_EQif~czI?HMy_?Rlf|dPih?~i^qTFfkDJhzPRA]qSnftDKYeO}mheNkilbxx|@Tu^QT[i_BwYgO}MiANafnc}H{@Ni]{Rxfmc}HzXNifqN[fqCriY?}Ye]NdfjDWhyhUMjANVfhDTXy`T]]eTUiIBriag{ugeNKffdPih?|E]_TFfcclhxXJa]SQvinBpijo{a]MT]h]BoyVo{UdyNChXbohwHJQ]?QtiEBmxv`OigUMyiNbmIcGz]h?MxfWckxuXJU\cQsfUDXik_yu\UTdfQcrhsxLA\KRNfSd?xtPOI\OS@hRbdiT?xadQMVfGDRHqPSy[aTLhKceyRPHucoQ[hFcVIQHDyc_P\gpCUYK`DmbEPYg}cSyNxDUb{PSgZc`YEpGM`iQCggCHiIPAaaaOfgAcIYDX?Y`SOFfzC_IOO~a^mQ@hBB{YP?~IcMNog_BzX|xB}^[O}fYCBhup@A\iONgebjiHwzAa[MnfPCQiH_yQaUMbfNb~H~oyA\AN|f]beXrWz}\{MYg|BdXqXFq[gPzgMb`Hop@y[IO^gDB`xpH?a_QMGfDCCXp`@M[UOQfMBbxrowu[yMM_AO@G?c?U?J?D`MOfgRk@q?|?\_KoEwBS@]?p?U_HoDGAk@E?d?O_lOUwJdI]dRQghWSkiULIyd^QlhTsjITSVyJ~E?bAP`gokW]KREGbGpcgqCXQKjERbEpbwpsTQIlDTaopWgkCSUINDEa]PNgfkR}IBD?gCSAi@K~q^|N|fQrhxssyi\RMgfORgXr{wY[JMCfBraXpCwm[TMKfErbxpsxA[bMQmZFKr`Lokxh[tMDVBB_towwP[LMBu~Rbtn{x@Z}MNv?r^ToOvv[DL}VGR]TqKvb[aLxuwBeTl{x`Z`MWuwRb|m?x@Z^MNUvB`Loku|Z\MDU~RY\lSv~ZSL~V?bYTo?ub[@LgUrRc|k{xRZMMSUrRblkwwvZNMMTyBc|][xRVeMSV?rWdoSuL[CLauoRalp[uF[UL`UtBVdlStzYzLhuzbSdn?tJZnLPugBYDiGudY`Lgu|rRTncsxZwLLudBZlhWuxYTLnU`r_LoGsJ[?LBUxRO\gOvNYALrUtbNLl_rvZVK|U\radf_wfXuMHUuRLllkr^ZYKvUXB\DeWvTXdLsuzbKLm{rDZoKpuUrdldsx^X[MVUwbJDmOqtZbKkvHBItqWqn[dKiuSb[ldOvNXRLrUSRbTpcq^XOMKVJBHtcoxVXLMTU~BG\cSvvZyKaUzBGTmsqBZjK_UMbb\bowzWzMMVKBFLrGpn[pK[ULBe\bSxjWuMYVJBELbKxTWqMTuJr`Do[p\WoMBUyrDDmspTZkKSuHReda[xjWeMXvKBCTaOxb[qKPuqb@l_wuVWNLeU@r]dnWoRZtKCVJR?l_Wx^WCMVUqb?L_KuXZJK@VBq~tpCo@[OJ~t{RZL]{utVoLltzBal]wwnVlMJVBqzlpCm~[OJnVHAz\\oxLVYMQtoR^Ln[l~ZwJ_TlbYtZ_upUvLjuwqrlmOkvZaJMTcb]dnWkhZtJHtcR\Dmgk^UOLst]badpGjxTzMHt]B]TVcvfTvLwt\B`dVWwZTtMFVEamTp_jb[XIxvGql|qCj`[aIvUeBQDhcs^YVLFU^rVDgCttY?L[ufRM\h{rjY]KyUlRJtj[r@YuKnuaBFlgcp|YIK^uFBUTjOo|YrKMuERD\`kpZWYKUUCBB|`GpBWPKOT}r@\^soTV{KEU^Q~T^cr|VwK}T|RSti_nnVuLRuYa}TeonhXjJxtyRQLhKnVYQJtUDQyd`KmlWSJitsbH\cgmfXHJgtrbTd\?t\VNLUujqx\[stbVKLWUPau\c[lhXGJYtkA{D]GldUpJotjQxTY{mPUmJctjAzLYkmnVWJTTmQs|ZklRUyJSUiQsdiklLYiJQtgbAtYCopUbKJteAwlXgmNUXJbTdRP\X[sZUULEUXqpdeck\XgJEtaqr|Y?kRUIJNTxQpD]OkNVbJBToao\[OkJVBJAT_BMDfCkDXqJ?unanlV{t~Z?I~TYqvdUsl|TkJ]upqlDkcjTThLcOBW@{?yAT@J_eOHgDCA]X\KoeVongWCJ}GJCFaBQkxUkjQPRGjcTQDHAk`YOzG^cNT_ioDWEj~T}i}t^InTVmjnTxi{T\ImtVUjfTpixW_cOmGLC@a@PAW]cNmFlB~`{O~W]CMeFXBn`xOywWCI]EDAh`TOnwZcGeF@AL`nOawOcJmCLA|`@OmW\cF]BpBh_|OywTcDeD`@\`VOUwDsMM@dBd_WOxwACJe?hA|_HOmwYs?mEt?N`kOBW\r~d~xBr^|O{V|SKt~LBN^sOqwXbx||DBN`dNgW_rxMGS}VaCNdW[Rw]FK}J`qNaWYruuEs|h`kNYvkSKdzLBF]qOpVhSLDyXBT]fOswTbsUD[|H`WNPvfCLtxxB`]\OvwYBrLxlBT]YOswURquDk{p`YNJvcSOEGC{`aANHW]bm\vPBx\qO|wWBl}ECz`\pOnwWblMEOzV`bMtVXCJ\uTAr\bOlVVSNlt|B~\]O~WMCBUBh?x_xOLwISAMAh?d_ROTwHb}D~H@P_fNww?b|l}x?H_BNvvycEUBO~X^jOXvwS@t}L?`^aOFwHRzUAK}r_cNkVUbylto}n\ZNjVscG||PAR^ROcVpcID{`Ad^FOgvnR~Lz{~v]}N|WFrvM@w|n]wOMwDBttz@?l_TNVvirxdys}\]kNevvbr|}?|@^^NOviRptw{|T]gNEvoBpT{G{X^@NDw?BpLw`?B^~NBv`CD|wX@b]DOWV_R{dwG~J]BNrWNroEC?z~\}O^V]sHlvtA^\{OfVxrnDvg~R\xNsVZcH]CozX`IMuvXbz\|szP^[MrvURmtv[yn\WMyvWBittOzB\TMpVSR}ttK~p\QNzvRbq\t?{j\NNIWLRgmB[yN_uMbVObh\ssyH\BMeWGBf}AGyB_`M_VnBftzkxx[|N\VMRhDrkyT[yMcwAretr`?Z[vOEXJCgUS@HZcjQ_xICe}QhHrchQ[XFCbMPlG|c\QLXFs`uQDG^c_QExKS^uRHG@crP~xAc]mOpFncJPzWzsauNDGpboQJwyCceMXHFbfQPWucZ}LpE|bZPmwzCY}LdF\blPkWtC_ULTGBbUQ@wsS[]MTEfbcPhWrc[EL@FDbNPowqsfURpEZbKQ\wqCcmQ\ETcePcwpSWUKPENbBPbWmSVeJlD|ayP]wnsUuJ`EBb?PZwkCduJHH`apQVwjSg]I|IJamQaXLCS}RXDRctPSXCCSePHDLcPPQw}sSMILFzaaP}XNSRuRxD@c~PNwfSU]HpDjaZPYWeCa]HhGjaXQIWySQmH\FVbiPJWccTUHPDXaRPTwbs_eOXCbcDPGWbC^ENhCZaMP{w{cPMNPCVbrPDX@sOuOdCPcGPBx`SqMW\KfeERHXdCoUXTKFeURAXQCnES\JnduQbX[spEWhJjeHQyX^CmUVDJzd}QwXYck}UdJXdgQtxeckeXpJLeZQqx^skMWDJFe?QpXVcq}T|Kpd_RKxZSj]TtJ^dmQmXUCrmX|ItdXRNXTSpuT\K`dURFxgCieTHLDdRROxbSiEWlIbeKQfxgsheYTI\ecQexQSnMSlJvdIQ|XsCs}\HLPfPRRXrCxM[lMNfGRdXrSvu[@M^fMR^xnCy]ZtMhezRixlSweZXMLevRaxmCuUZhLhexRXxoSt}[HLbfBRWXjCtMYlL\eiRUxtc{m\`NNfVRrXwc|]]tNHfkRpxvCz}]DM|f\RoXuS|E\lNTfYRsxz_?Y^Q?AfoRzO?c|y^VNm?@Rwx}O?Y^NNo?ARx^