CAT(2160,5)

Sparse6:

:~?`o_?O?G?C@W?c?R_I_DGA?@E?w?Q_GoCGA[@U?h?I?GOAoAK?o?d?L?HoDO@{?w?h?I_DoBw@k?q?\?H?TOJ?@KAs?P?j?Bo@oDKA_?P?E_Ao@g?c?Q?J?D_BO@G@K?]?P?I?DoB?@k?w?^@O?e?QwGwCeAO@I_aOPGG[CMAH@B_aoPWGkCYAL@E_q_WGKSEEA~@c_po\?MSFIBb@p_xo[wL{EqBV@m_wOZWN_FYBu@s_}_\wNGF}Bs@t_{?^gOcGUCDAB`?O_WOoGmCMAH`C?agQOGqC\AL`L_bwQKG}C`AP`GOcgQSHMCfAS`IOdWRCHYCnAY`KoeoSKHsDDAe@NOf?S[ISD@Ac@NolOSwJQDeAi`S?lGU_IqDeAj`X_iWTkIyDbAn`XOkGXgKQELBD`aopgWcJiDrAu`YomGU{JoEDA}@_onoWKK?EDAz@`onOW[M_FBB^`oOwG[KL}EVBI`borGXKKaEjBS`kOtwYsLMEyBM`g_vgY?LqEqBN`h?ugZWKuG]@e_roYGLSEUBRAN`GocGakP]GlCVaJPDW_KOAG@C@a@P?g_[OUGFCDaAP@G_{OmGRCEaCPAga[PQGbCQaFpCGaWMIG]Bc`r`CG[gPEFKCSaH?ww^SNmFxB|`~O~w]gOqFmCL`y@Bg^?OyGYBx`z@BG]OOiF]CEaC?{G`GMyFaCJaB_{w\cMiFVBg`uoyWk?DMAh@T_jOUGI{DMAj@V_kOTgIcDeAr@Z_loUgJSDqAz@]_mOVgJkCuA^@M_gOSgIKEABB@a_noXGK[OEGDC?aAp?w_cKMEDB@`aOpgWkFEBf@q_toZGMCEuB\@n`LogGRcHuC~A]`OohGS[IIDLAd`xozg]CM}FdBp`sOyW\SMmFZBkbZ`hWtKYaLNEebTPhOuKYWLdErBTPhoucYcLlEgBYpe?usZCKfESBYpd_uSZKKjEVBYPcor{XOL@E`BIpd_sSX[LHEWBPpc?t[YsKdEkBGpk?qCYwKdEnBGpaGo{WaKNEHbCp`_rcXcKJECBLP`?r[WWK|EDBMpkOnsWGLlE@BYp_oucZGJ~E?BXp^_r{WGLFEBBQP_OsCW?LBEaA~p\gmSVMJhDvaypbOlkWsJ`EMAwpbol{UoK^EMAvPb?j[T{KTD]BDPaojcWoItEJAmp]omSVkJfD{AyP\OnkV[JxDuA}pT_lCTcJLDTAspY_i{TOJVDWArp]OjcV_IvDwAlPVonSVgI|DxAmpF_lKQCJLC_ArpFolCUkHFDiAPPT_ckTSHHCgAkpIOjCT[HNDSARPW?hsUCI^DaAgPWoiKUOIdDdAhpJwdsQuHVCkaTPQ?t[ScLXEnAepQ_tkSkL`EmAePeOfcXgHzC}BLpNorcS?K|D@BMpZ?e{UsHrCwAvpL_lsVCHvDoA\PW?eCUCHbDaAXPKok[RSJHCsAqpPOb[SWGxDAAKPOobSSOGrC\AbqVoGCCIABDYalpVGjkT}I|@e_qoYGK{EiBR@s_yo]GMsFeBnAE`BoaWPCGmCTAj`RoigTCIeDXBU`hotwYcLaEjC^aNPGWcCQIHFCWaKpEgb[PuGxIPdEQbhPkg}S`I@C|Q^pOcgGRvIBC}Q^POCfwSJI?CvQ`PMKgCR^IBCwQ[`OSfKSHHgCyQYPMkekRnHiCzQZPNKeoRpIICnqVpP[eCSLH_DBqaPKKg_R@HgClQV@L[egQvHhCkqV`LkdsRXHTCpqSpKSdWRHHVCqqXpJCdORLEzCipm@I{Z[QfExCkPm`IsdOLxHDCwqOPLsfGQHHECxqOpMCcGR^GyCgQMPICdGPpHPCYqS`E{dCPlGWDBqDpOs`gSRIGCKqF@P[`kSTGMcEQCH@[_uO^HIB~qQp?C_GQ^HKC?q@@HkcwOFFyC|q^o~kfsN|H}B}P}pNS^cRxFsbxp|g}{^aNjHHBxPz`HK^?QPFnCbqPo}Kc_NZHtBsQ\?{{f[NTHuBsq]O|[f_NXFZDEPvpP{\sSZF]DFPw@QK\oS`FTClqV?ys\_QrHYBjpu`Js\cQzHIBcqQoxSc{MXFLCePr`HkcwMVE|CpPn`K[eOM@HdB_po`K{Z{RLGpCHQDPD{bGOfGoCGqKpAcbOOlGDCMq@`Bs_gP@GFCNqAPCS__PBGzBoqN?{S]KPzFdC^px`GC]OP|FNCPps@CcaSMbGfBhQI?ycaWMfFECUpq@Dc[KPRFFCVPpPDS[OPVKs?\OMwFSBq@x?ze_?JwDsBE@`?r_XOLgEkBe@h?w_ZrRoFsB}@z?|_^oNhHcciQVHLcfqRhG{ceQPHOchQSXJKdqQtHZcnQVW`sOuGX@j_uOZWLsFAB^AT`LOdgRCH]CrAT`JOeGQ{HiCrAz`]OnWVsKAD~Ba`qOww[kM]FLBs`{O|W]sNeFnEwbZpmgvKZmLxFlbwPzw|s^INbFTbjPuGy{\iMrMNFLReppsx?[zMPFMRcpr{xG[|MSEzRdPnKxWZnMVE{R]prKvg[pLrFDr[`pcvS[ZLpFDRa@mcv?[RL`Ezr\`kSuKZrLcE{R]`kkvkZLMSEkRdPikx[YlMUEjrU`rKtc[pLQefrSHiKtQYfMZEeRfPhkss[tM[EeRR`r{sw[|LEFCRQ@pcwcYTLFFDra`h[sc[ZLgEcRPplKucYVLgEcrP`k{u[YTL]E_rV`gCt{YDLBEoRPPj{sOZ@K{EjrNPikrkYpKyEjRU`f{tcX|KyEYRNPekrkXnK{EZRMPf{r_X|LQEZRRpekt?XnLPEYRMPicr_YfLoD]Qo@mkvCTzLqD^QoPmcj{ZfKmEDRBPeKowX`KnEDrB@eSo{XfL{EAR@PoKv{WPL|EBR_@`KvwWNJwElrUp^KtoVvL[D|RVP^ktsVxJsEpQ{pk[uOVjJqEoq|pksnWZJJldwqzh\{nAVXMADtQypocmc[FMDDrr`p[swWVPJbE}qw@ncmS[BJaF?Qx@nsmCZ~JYEtQupl[loZXJ\EurZpZsl{Z\KmDkQtPd{l[XdKoDkrKpYclWXbMPDXqk`p{x?T`IpFFQlPq[jO[dIlE_qj@gCsKT^ImE`QipgkigYHI`EvQg`lcu{T@IbEuqf`l[h{ZTITF@qd@ocwGSdMDDJqcpo{wWSlKgEJRDpdKp_XTKXETrJPb[pgXXKOEMRCPbkpGW|KRENrDPcKpOX@JND~r?PXsoKUbKADgQsp_ClGV|KaD`RGpW[qOUHKdDarHpW{qWULJJDQQq`SkkoTLJLDRqiPXKk_TPIYD\ql`R[h_TtIvDKqm@RkjcSxPk?OoFgB{@u@@?[_RoHWCcAM@D?e_TOJWD[Aq@R?ge]rMhfcrmX~K}efRRXhcC]AP@I_coRGH[CqAV@H_dOPwHCTQIjDVakPTgjKL}F@B`_~o^WNSFyBx@z`boqWXSKaEXBJ`eorgX{LAEbBQafPSWiSTMI`DNaTPIwdkQqH^Cma]PNWfsR}IBD?aXpLGeKRAHjCqdsQxh\SmmVRJfdiQthY{lUUrJWhnCvAVdJkezQ}HksuaVTJ{epRZH]spAUDKSddQnH_SkqWTJCeBQmH`svQTdL_dZQgHksuaTLLkdTR[HTspqTDKcdRRIHTSqqTlKWdVRGHUSpaQ\KgcjRFHISqAQtH_eVRHHJsnAQLJgcdQOH]sbaV\Gsd~QNH^S`APdGOcVQDHBs`QPTGWcPQEHCs_AQ|H_cFQSG~scqNtHScBQAHJSvANlF_epPxHksuaNTLsbvRZG}SkqMdIwbjQqGzSkAM\F[d^QpGxShAL|EodDQbGvSZQSlI[bbQeGwS\qR\HcbdQXGxseaMdHgblQZGyrzh}[~E^`NqfvssqKDECedPbHisWaYdESelPcHjsUaRtI?a~P]HOsUqR|HoazQ\GmSSqLLC{bNPQGsSRaKtDCbVPOGtSOaRdCKczPCHNSPQR|C[dBPEHOSLqY\BWedOxHisMAYdBgelOzHjsKAK|EW`bOrGtsKaLTEc`hOtGsSHAWDASeBOfH`SHaW\KS`RRCGSSGqQTGs_|O^HFSGaQLA?c^O`HGSDaL|Es_fOSGwsDQLt@[b`PkGHSBQUd?odjONHZsBaUtJc_bOOH[S?I?l?Q_FO@g@R}aN{~kc@N{H?s_p~k~{b|N}H@Srp|[}_eXNhHeryaXtLC^ZROFuSr@zc|seZRNFnrvaXtL?^@RPFoss`y{|WefNXHjruAYtLS]vRSFlRqaO{{kcPNLHDRrAPK{{cXNMHDrpxwk{Q]LNHfcS]pwLF_\|M~G|S]PwDFs]FP{F`RiAU{yWdhMhHYrhqUtJc\VMiH[RgaSTIO\FQdFOSgpsLI[\JQeFQSNAIdCCajP?GksTaFlD_`|PVG^r|AHC~SaRNuGdSQp}|Cs^rPKF{Rw`yC|K^FNQFqRxPyK|S^NNSFrRmQ?{z__LOHF\rma@Czs_VM{GDRkaBCzK_rMtGLrlABSz[_zMuGMSIptlAg\XOlFVsJ@tszC`^OmFWTqoEsBQ@j?x_[OLwB[@i?r?Z_KoEgBK@m?t@L_fORwH{CuA\@__noWgKKEQBFCIaBP@w`COmGRBb`rOxG[SM]FJOMgGsCI@d?}_ZN?f^RoXv{{I]FWKJ|EAi~H_mnoWIj|eAy~h_mnwWIj|E@y~@_UoGVzj{e@i~`_enyWGjwe?i}@^}nYW?k@dzz?H]qn[V}jlDtIzX\UmwVUjjdvyzH\umoV]jeDsYxh\Im_VRjfdsyyH[mm[VQj`dwIwP]EnEVCjpDpY{h[]nGVEjZdwYup]AlqVdj[DxI{PZinEUzjcDkyu@[elaVHjXDqIxPZUlgVIjQD~ish^}lKW?jSe?j?XYalMW@jOE@Z?`X}lAWHkCDfisP_YlEWFjrdci|@XMkiVjjtDdIqx]ekkVekAdbz?`Wqk[WHjEeAJ?xXEoKUOiyDuimh\mjmV[izDvYn@\yjqV^iud{ylX^UjQVvitD{il`^YngTgipDtIyxUMjIVTjkDXIkx\YmqTeike?iip^}ioW?ije?Y~pTioETZigDzIih^An[TPjudSii`^EieVniUd|Yd`^YneSmjyDJyeH^]ncSoiADqy_p[ygMVNjed@Yy@OMmWSAhtDxy\X]afYVihuDyy{pM}nQRmiTDeyrHQYhMUYiSDeIdXXuhQU[iddPYhPSQi[TFifdPihHSuiOTKj]DMivhRmhqU~i[DniwHRqhyV?iXd_Yo@RQhmUDiXD`IehWMkCSuiIdVIapTui{SSindDykHPej?SWiODBycHPAgaSaiHDGyaXQUg[Sci^DAIfxOei?SLiDDOY``SMgUTAh}DiitXNulYR~jUC~itxOEl[S?h{DEi^HPmfuS\iMC}ibxNYg{RvhwDZi]HU}fcTohxd[Y]hVMfgTqi|CxI\@VqfQT|hqd]ynxMYfMT}hoDaIZpWYfEUHhod`ypXMIkSR^lf_GWBc@u@@?^_NODgBC@]ERBF`doqgXcKaHHCeaSPHWc{QeSfIVdIQdXQShYhLSfiSTIid\Qek^UMjETbYqLXAjVTgistYillUqvmZcl|Exj^XmevkZfl{EyJ^HmUukZblievjZxlUv?ZUloetzYxmIuqZNllEsJZXlEuwZQliEvZZ@lMtiZblpEmZU`lyv?YvlnemJ[HjYuWYcleEgzXpiYtCZMleehZXhi]t?ZglqEfJRhmYs{ZflOeyZRxmUv_XwlxE]j]hfuvaXxlxe]zN`nQrWZOkuesZY`eyraZRkvesjXxfAvYXdltEXJ\XeAvWXalveWz\peEuoXLlkeRJH@lmqQZ\kdevJHPliqIZukbE|z^@cMvqXAl|ePJGxnipwZslyeNZFpnEp}Zqk_e{zG@nApKZkltEHZC`mmvYWhkSEzzCxmyuQWjkTEpjXXauuSWkkVeqJWxayt{YRlGEnZQPjmtsYPlIenJVxhQr{YCk~e`ZO@gYsMY@lCe_zP@gIrUYLkrEbJKxgirOYNksebjLPgmqwYZlKeUjJphYquYVkneeJJhhitOWulTeLzT`betYWwk\eiZFPiipaZBkWEojEhkUpgZCl_EKzEPkEo{XukNe\zMXaMriW_kxEGZM`aIt[WWlXeFJBHi}osYokMekjBXjEoWXMkEeRz@xdEo[XOkGESzIP`EqiWTkHETJA`d]oeXUkJEUZJ@`]QfHSciqThI{daPHGbcSQHXC{aY{_\tnFf\Jn@wy{a\vm{fbJmpwu{_\GnFfQZqHsYyG]KmbfbZghwy{c[~nHfNjgXx]{g\?m`FdZqpsExW]QmUfczdpxQx]]TmWfdze@xYzO\amqfYzkXuuzK\kmrfYZk`uiy_\UmgfTzj@tIyq\RmlfTZjPtQ{G[qnAfKzo@rQ{A[tmZf_zoPrYyw[_mOfVZcPtyxE\^mQfWZc`uAz][ZmvFFJbPvMzc[^mwfFjm@puyS[SmdfDZhxpewk\MmefDzb@sqxs[Om[FBjfhpIxq[Nm\fCzf`pEzs[Gm|fAZn`oiwU\|mEf^z``vywE[em@FHz_hqawG[hmBFIj_xqm{KZ{nBe~ZpPny{UZ~m?faZ_@waX\KreVrKHeKrI~?^knofzZ{h~A~C^mnpf{Z{`}}}{^nnuFuj|h|m}y^mnmF{Jzx~E|_^SnWftZuP|Y|e^VnYfuZu`|a}O^MncfrzxP|A}e^KnhFrZyH{m|S]unTflzt`za|Y]xn\fjztpzi|w]cnQfnZt@{E|K]}nSfnzsx{A{{^AnNfozs@{Q|C^DnbfgzwpyE{o^enrfeZr`}m{s^gnsffZrX}ibPPhgrSXyL\Ej?s_foJGGkAyAN?o_coQgE{BIAZ?S_boDgGk@aAV?Y_coFGH{@yAZ?G_[oAgF[Bq?Z?}_FoCgG[@AAA~o_On{gC[Ah~i~u_Qn}gDKAX~q~c^}nxf~z}y?M~i_Ao?F|j}a?EmTVHjcWPSGuCPAL`AObwOCHECLAP`@ObwJcFUA|@v_pO]wKCFeB|@f_qO^WIcEmAd@h_jO[WJSFMBX@X_vOSUrJXtkvAi`ZojGU{JIDvAm`[olGV[JADrAU`NoeGSKHqDJAY`PodGTKIYCe?A`cOnO?cKiD~BA?AOrwW??IEZBE?BOswW_?YEb