CAT(2592,9)

Sparse6:

:~?g__?O?G?C?_?J?F_BOCO@s?y?^?N_GOCGBO@]?r?W_AO@G?cAC@@?__OOJOCkAU@L?c_ROHGCKAE@D?b_PoGgDWAa@Q?i_R_IgD_Ae@W?g_T_HwDcAm@T@P?fORgH{DAA`@N_dORGHkCmAP@H_o?PwGkCYBQ@T?oOSoKCEGAb@a?jOS_KKDOBB@W?nOUOJ{DgA|@[?moUoJkD[A~@w?`OPGG[FiBp@w_|O]WNKFSBV@i?zOYOMkEoBn@m?zoZOMsEKB`@n?qoX?MKEWBh@g?xoXoMSH{@~@?_^oOGGKCE@Z?m_VoKGESBE@r?y_]oMwFsBq@f?t_ZOMGEcB]Bj@v_zObwP{GyCZAL`FOf?U{HsDnA[@[Of_VKHsDrA]@[OiwTcIuD\An`WOhwSsIUDPAh`TOeOQsHkCjAX@Hoe_QcHkCnAY@KOdoTsHODVAT@UOjoRCJ?CfAU@UohOU[IgDlAp@SohoUSI_DhAe@Yoc?R{HCD@AQ@Ooh?QCHGDDAP@Po^?R{FsD@@}@Po]oSKIOC@@~@POaGPSGqCRAJ`Bo`OUKJGCBAE@YokoOSGODhAB@ZP?_B{@u?z?]_NoFgawHEC`AQ`LoeWRSHqCzA]_goSgI[DQAj@UaU@EGa{P]GpCXaKo~g^cNuF|B{`}o~w_KOEG@C?`~pC_ckQ?GbCRAOpD_ccPSHDCSAPpF_aCPsGVC\AEPF_`kP{G\C^AFpAoaKPWG`CQAEPCo`sPSGZCSAFpA?]sO_FvCI@{pA_^SOcFnCH@{Oy__cMoGLBjA@P?o\sO[F^BlAAoyObcPgFHCY@qoy?b[MWGxBfALov_cCL{HBB_APOwOc[MKHJBaAQOpo_kKWGHBGA@Oq__[O[ERBJABOmoZCJoErA|@lOm_Z[LsD~B[@^O{oY[NCEdBS@yo{_YkNOEnBU@wOo?XsKCE^BA@eopOXcL?EHBP@`paO`COiGRCMaEPAw`kPAG^?s_XoLWEsBa@n@F_bOPWGsC]AJBI`bOpwX[KaEREiBSphWscY]LLEgbQ`fgtGX}LEEcbR@gGsOY]LAEgbK@cwrGXIKsESbL`dWqwXuKkE[bEpbwpsXAKbEKbK@cGp_XiKYEZbF@eWqGXuK]E[bDPaWpKWiKVEJaZ@fweOYAHiEbbO`Lwe_YIHeE]a|@cwqwVqJuEQa}`dWqoV}J{ESa{p\gmcVUJpDvap@`gkWW]JGEGaq``wooUYJMEGbQ`VGsoTuI}EfbQ@VgkGYaJ?Ehb?`Rgo?SmKIDNb@`RWhOWIIWECb@@Hgo?QiKGCfaS@`WoGQmHQEBaj@ZgjOVMImDnak@[GjWVEIqDqab@Sgg_TAIiDDab`SwhGTEIgDGa^@MGfwReICC|a_@MggWRmIAC{aV@YGlWRAJYCpat@Jwl_QqHYDh_LOEwBS@q?v?[cP@`wosWa@N?h_SOHGCsAUAD@A_`oPGGcCMAz@^_nO]wNcFuB|A?_~pIgd[QaHLCfaSqMhF[byPxG~c]qMhFsb}PzGzc]QHPEcaSPjGfCZqH`FKa[PpGeCZQG@Cc`{PHG[CPqGPCS`wPFG\CPPr`Ec[{PjFOCZPs`FK\KPnFPC[QBpEC_gPVGkCFQApDk_sP^GKCVQEp?K_KOrF}CKQ?@As`gODF~CJqC?}S`CNfGQByQCo}k`SNnGSBzQI?|ca_NZFmCSp{PDS^?PTFnCSqD_{C]SOnFcCKPwPBK]KOtGZBpPv`Dk\oPVFYCUPvPD{b?M~FZCVPp`CK[OO|FFCOPo`B{`oMJFBCMqC?vc`CLzGQB^QDOwC`KMBGSB^qKOuCbCLbGqBYqKou[bKLdGqBYPjwt[YqLTElbVP~?|K]WNpFxBrp}o|S^sNVFyBsQ@?yc_SMjGEBjQ@oy{\cORFWCCPq?usZ[MVEwBdPrOvKZkMREyBeQmoBC@]?n?W_KoEXXO`]OrGZcKQDhBSNqF|B|_WOKWDkBI@\?n_fORwICCaAR@I_doRWHcCuAP@I_eOQwHKEMBH@d_rOYGK{E]BF@d_rOYGKcJiDxA~`\onWVsNIFhBo`xo|W]KKqEZBM`gOsWX{\iMvF[bmpvwzs[AMBE~b]pnGvsYiLXEmbVpiwtknmVxJyd~Q~x^knQVjJudzq}X^CnIV^JmdwQ{x]KmwWdJnEIq{pacn?WfKVDwq{`aslcW@KDDlR?PZKoGUtKBDlr@@Z[lWW\JTEGRBPZCl[WbKNDhrB@YcmKU`JcDhQxPYKmGUdJODrqx`YKk}U\JJddQrXXckeUJJFdcQphWck]UJJEdaQqXXCooUBKLD_rB`W[o{UFJAEGqo`aCjcWPItEBQlp`SjgWVIwECql`_{o_T|KED\r@pVcj{WVJ?EDRAPVkj{VZJ?DuQy@VkjkVRI}DtQypVcjOVVJlDWQy@USmcTfInDtQz@UKnkQpJ{CkqVP^{nsQtH[D|Q~`J[lSTNIjDkQh`Y[i_UhIhDjqi`YsisSvIlDLQj`RciwSzI^DUQf`TcgwTtIvDFql`QChKTpItDHQmPQKoKSHKDDAq_`_CoOSNKADBR?PO[pGRxH|EHq^`acf{WjKVD?q_@asfOU|J[CwQvPMKfGU~J`Cyqw@M[mGRTJbCtqx@LcmSRZJfCvqx`LsdwVhJvCnqWP]kncRDJuCpq}@KCdGUxHRDmqT@ZsdSU~J`Cjqw@IscWUTHFDeqqpHCccU\HJDfqr@HSi{QHH?DWQOPUKcGTdHBDXql@Gkg_RlIHCzqa`NCgkRrILC|qb@NSi?RHI`CqqXpS[iGRLHhDQqY@SchSQXIUCeqd@H{h[Q\HPDKqe@IC|_TjIvd[QmhUsjeTdIndWQlHUKjMUBJBd`P`GoCWEKFEDb@OdwQcHMCjAW`JOTwJ[DaAt@[_kpKgekR]HfCuaYPMGfSRuHvCxa]PJwdcQuH\CpaWPHgc{QmHRCgaTSDp~|?A_HOBg@S?X}h?y^kONfxcAx}x@A_WNwfyCBX|x?U^_OEfwc@x|h?a_SNmgCb{h|g~e^[N{f~Bzx~W~I^aN|f|B{H{{}q^PNhftRyxzs}I]~NbfoRwXzw|a^?NXfobuh{O|m]yNbfnBvHyC|I]fNNfiRsXys|U]jNUfjrtxwp?a_QNHgDBqxxP?U]OOEfbc@xxo{Q]?NLf_brHx_{I][NDfeboyAGzi\wOSgHBmxvh@M_kM~gIbnhu_|E\oNNfhBlXyWzY]gMxfZbsHs?|m[{N[fMbuXr_|i]yM^fObuIAoxe[oOQgIbdxrX@Q[sORfJCCX|?wi^QMJftBbH|Wwu^WMNfFBxx~wva_?Lxe|C?XnX?IZyOCe}C?yA_uyZWOPgIb[Xlh@IZ]OUewCCxjO}QYuNcemBxXjw}YY{NeembxX~GuA^sL`f|bWh~_uM^{LdeqB~XjG~a^iLTfyBTx}wtY^eLWfzBTHi@?yY[OJehcCHhx?qYaOLehCBxdsq}XTKjeUrJHp?yM\MMHfBBhXsOwQ\KMFfAbhHmgwAZcL}ezB_xmWv}[ALveyB_hkoyaZMMhesBihlGyqZUMlfTbYhqGsE[_K{fHBNhqWru[iL?fIBNxtorYXsMrfVbLxf?zA\cKzfWbMXg_rAYIKseWbPxegsIYEKqebBKxcwsqXILHeRBQxh?qaXQLIeQBRXcOpmWoK]eLBFxcWpuWwK_eKbGYZO`qO|G^cOqFXCCPIGbCTaJPCwac[eMVFIbePrWxCpeWxKYeKRFXb[sqYVLGecrRXhStMY^LMehRSHiKqQXJKeeSrIHc{pyW~K_eOrGxcTP?fpRxh|S}y^lNqfKRbhrcwI\XMIfSR`hqcyI\HMQesR_hncwyZXMEewRahmcxI[hLyepRShjsuYYlLYgKRPhhD@IYHOUgORRiBcsi`HLMf{RTh~cti_@LeemSBi?cuIY`OIaYSCiCcSYHpOUgKPNiBcSi`@DAeISIhcDAyWpOqeMSLhcdBiXPO}eGRjhtCny\@KAfQRBhrcoY[pKIdeRkhwClYU`MydmRnhucmI]HJYgSQihRdAy`pIqgWQjhSDByTHOugSQ`iDcgiSXOqdKSLhQDByShOyfWQThwCei\hHYf[QVhKC{YRHM}ewQPhlCbyQPL}euQRhGCvYZpHQbyRxg~C}i^hF}foQ?h@C~I^XGEf{Pdh~cXi_@E]gAPgi@cYi_PEebFPagqSVyKLEAaGRsg`C{yGHNUaIRvhxCPiGXNYfcPHgeC|Y]XCifkPGgbc|yHXNQdqQlhVCmiUHJyd]Qzh]CkiU@JucGPnh@cYyL`GUbYQGgwC`yLpGYbmPYg|cUyJHFqboP[g{cViNPDubaPRgkC\iMPDQbePTgjC\YIxFQe_OvgYcqyFHKu`kRKhfcMiF@Ky`uOhg_CIyDPBq`WO|gVCNyDhBycyOfhLcIICXHy`GQ_hMCHYCpH}cQO\hDCFiBxGm`?QKhFCGiPhAE_qOpgJcJyBPBA_wOqgLcLIB@BMluRXhjstIYlLaelIkdVQjWPkG}C\ISdKqdXQsh]SpH?c`QOXG[cUQHHFccqPhHCciQVQZhMSfYRtIAc~OngWSKYETBQ`fOVgKSEYBT@q_vVpJhttiyl\QmpVVjvDsI|x[}mYVjjudsYxp]qn_VQjaDpyw`[amIVHjadqix`[YmKVJj\tnyvd[AlzU}j[dxYvP]YloVfj\DyIv@]ilqVhjTdoywPYamAUej_dhywXYimCUhjODqis`[amWUbjPDqysh[elAVFjJDzy|hXan[UXjJd{I|XXQkiVkjvdcipp]qk]VjjudcI|pXMn_UPjqD`i{XW]kCV`jAdvy{PWMkGV_i|T]InLVmjlTvjkd[IzPVEm{TriyDuymh\umwTqikDnIjHZuisU~j\dUyvpTuiwV?i_DxYgH]YiCVfi`dyIgh]iiGVhi^tMif\RqhzS}iXdwy{PQynGSpiVdvyeP]Ah_V`iTDuyd@\ehWV]iSduiz`QuhUV\jgDGyxhQUhMVMjfdHiyPQQmaSaiKdtIbX\YmoSYiJDtYax\MmmSWjLD^IrXVukwT}i~dfYoHX}k?U]inDYijxUmj?TkiodZYkXU}jCTmjVDTyt`TIieUlijDkIi`ZEiiUniYDRIehSuhkTMiZdSYfHS}hoTOibDaIgxWeiOUIicdayhXWuiSUKisdGYbpUUgwTciODYIbxUYgyTfjXDCIaHZMgcUsjZDCyuxPUggUtlG?CWAc@M?d?T_JRrxyC|M]bNSfhRtXy{|Y]XNMfep?G_KN}YDLBeaRPXg{sYtCYdlSehJT@iItSYclPehzSXiYsvYYlKudjRDh]sSYPlBecjP@hMsQYSlEEcJQhgmsAYdl@EhjT@gYsGYflTE_zTHgUriY[lMe\jRpfas{Xvk|EfJRhfeqyY^lNeVjS@d}tAXalOeWZS@eAscXWkjecZQXdes_XYkmEdJJXhUskXJlLERzI@hmsqXLlJeRjR@cqpcYLkVebZPpaus]WmkWebzE@gynnVwj}T}Y~\^io]XbkGEXJKx`QoaXdksECjKp`MpeXnkYe[JMHb]rcWskyELjMXbas?WkkRe]zN`aaryWhk~EIzNxairSWakseGZLXaMpGXkkREZjCheuowX?kMeOZBxcMo{XAkOEPJBXb}oiWxk\EDjFX`]pwWWkLENjBHbuoEXPkAESj?hdMqgWGkBeTj?pdUqIV~kcD~ZGp_AqMV}kdE?ZHH_InaWHjxEAi}X_mngWKkFD|i}h_u?\?O_FvH`WckaULJFdcqpY}t^EnhVrjxT|Zdxq]x[[hmUFHjdhqmxa[imWFIJcxqAxA[emQfIzcPqaxE[imQFIZ_`puwE[\m@FFj_@p}wA[^mNE~zdpnqxYZxmWE~ZeHnyx]ZzmUE}jcHlIu][_mQEszcXlAug[amQesZapmmwaZfltFDZ\`pMvO[SmHEyZ\hnMvoZqlvE|J]hm}vmZolzE{Z`Xlmv?[MmEEvJ`hluu}[NmGEvjWxoiwQZGl`f@ZW`oYwMZElafAJYhjut{ZUl_EuJVxl]uCZYl_euZV@kyuYYxleEmzXHjiuSY{ldelzUhpmwsYqmJeljU`pqte[WmKekZ[HimvCYklUexJTpmUvKYolpejw@[?u?X?L_EOAymLVIjfTtiwT\Jm`wAzi]Amzf_zohvY{G\wm{f_ZkpwizG]GmrfazopuIzI]Hmpf`zo@si{A\Jn@FRJhhwM{I\NnAFRjfHwYxs]Fm]FaZfXwaxo]Jm]fajeTrMxl[smZvLZlxvmzc\}mvF]jmHv}zw\rmwF^Zi@tqya\\mhFVjiXt}yi\`miFWJg`tYyI\VmkFPjjXsays\HmkfPzgPumzO\@m`fYZlPsAx}\lm^FZIYTLMebOug\SLYE|Be`pXDkbUPzHDciqR^ENfvqbxl{[}\^GNeVqRyD{k}J^JN`VpBx|{o}D^LN`vpByD{K}\^ENZVqRvL{[|n^GN[VmrxTzg}J]]nNvgJs\yE|D]WnKvejr\xu{x]iNEVirplyo{\]PNVVbrt|x?|Z]gN^vnBsdyS||]eN]viRwDy[}B]oNHVkRq\zG{h]rNIvlRq|zO{l_CJ[TmYvTQUhDSbiRTHycdPIg`SPiHtDYadmEvHZalpuxj[lyQ|J]fnSvhjtE@v?r_YoMWFkB]@`?^_SOFWCsAE@T?d_UOGwDs@m@x?X_JOMWES?}?`?t_HOMwAcB]@L?H_SOAWDS?m@X?L_WOAwDs?t|x?\^\OEvwCAL}D?`^aOHVvs@}?C~v_?O@v~s?\~x?D_AN}V~S?L}q~\^hntvyj|l|D?P^QOCvss@\|P?X_INjVtS?|~c~^^tNwV|b}L~G~p^sNzv{r~T}_}v^fNkvtr{\|o~H^YNqvuB{uDw?P?G_CoAW@S?iaBPAg`sPIGtCUaNPGgcsQiHdCmpdWlkVUJzELbAoHWBkCU@Z?|_ZBk`iozgZ[LYFbBW`xovG]{LyFjA|`_oowV{KUENB?`oopG[[MQD~BA`ropg\[JqFRAi`iotgTkLaD^BY`YokGZ{LqDfA]`ZoggVKIADvAw`QolgTKJiDNBG`CoqgP{GiEZAE`fobGY[LACbBm_vozGMKNIBfBs_yo|gNKNABn@U`poUG[kDiFB@[`roWG\[DyFRBG_doqgHkKqAbBM_foTGY[DIEb@}`Jo`GRkFiCfAS_}o_gRKGACv@i_aoNgK[CABJ@k_`oQGK{EaAM?b?R_IODWAs@IxF[cmOVGZclqItbYqlXulJUtjVE]a}p_Gr[VyKjEUb@p`grkXaKJDoa}p`gnKVIJ~Dsb?p]go[VYKJDTaepRwiKT]IfESa_pdgg[SQKrDEbLpfgh[XqIRCCbCp@gpkWiGRCKbHpbg`{OiKbEI`{pbG^[WyFzEQ`~p?gpKXAGBCsaqpLgk{RqJRC}aupMGl{RiJVCgakpJgj{TiHVDaaUpKgkKRAIzCYaRpGga{PqGbC]aHpEGcKQQGjGQ_@o@w?jP|gysZ^mnsvyj|\}q~Z^fnqVxZ|D}M~LcKQJxDc`eOtGrcMQLXDS`mP`G\cOQBXACaePDGNcQQCX@c`}O\GfbUQFxCCY}LdGbcRPkWucaeLlGdboQDw{s`UOdF\bnQCw{S`]NHGTbdQJxEC[UMLGtbcQIwxcbMM\GlbsQ?X@S^MNTGBbuQ@W}C_]N\GHb~PuW}c\mNlFPb{Psw~c\UNtFVb]PiWsCZeLLFBb\PiwscZ}LDF@dS?EoBG@[?U?J?E_Bo@g?}OZGPcFolwV[Je@~@@_`oPwHKCUCNAH`DobWQKG}LrEzb]pnww[[EUdIndiQkXYsjMUpItdmQmXZSj]TPJFdSQqXTSkmU`IldUQrxTSkuT|Ibd]QgxVSi]TLI~dQQmxScjuT\I`dMQlxSCjeTdI^dMQlXUCh}ShJDd_QaxWCguS\JBdHQpXQCkMSlHrdJQ\XRCf]RpIXc}QexNShmRLJFcsQqXLSkmRXJLdgQ[XLsk}QxJbcqQyXKSmER@JddrQVxJSl}QDJ^dpQQxGcmEQLJdceQyX[scePlJRc[QtXFSl]PxJXc_QvXFslmQ\H~cgQ_XISgMQhIDckQaXIsg]SnIZdKqfxSKhuTFIfdQp@W_{OeGVCNaEr\Hk[vQZJLuerrZHnKuiZrLuesrZhhkvAYVLSexrZhi[vIYbLoefr]h`{viWbKQe}rEHn{pYZ~KSe}r_H`KwYWNMGeDr`H_kwiWZMAe@r_h^KwAVnMCd|q~Ho{oA[VJ}fCrNhi{sAYrLAelrPHjksaZBLEenrKHfkqaXfKieYrJHe{qyXrKyeRqyhb[mqWzJmeNq{HcKnQXJJqePrbHyk|y[^MOfjrvHqk|i[fMUfkroh{k{Y^FN_f]ryHwK{Q^NM}ftrmHyKzA]RMqfdrlHxkzi]fMuffreHskxi\NMkfOrfHtKyy\FM]fTs@H|k}y_NNogCr{i@[~Y_^NsgEr}IAK~i_fN{gIr~iA|@i_FO?gKsF??TAe_{?CgT_@ICDAs?DOagVsK_?tA]`_?EgQ