CAT(2304,8)

Sparse6:

:~?c?_?O?G?C?[?G?D?BOAo?c?U?H?E_Ao@gCo@q?v?Y_COAg@K@y?~?\_Y?JwD{A}@`?o_WOLWEsBQ@h?u_YoMGE{Be@n?x_[OKWE[BIAg@N?goS?I[CwAd@\?joUwJCDeAt@[_v_WWJ{EAAz@]_pOTGIkDYBF@c_qoYGK{EYBS@t_y_YwL_F]B[@v_u_\gLGFYB`@s_xO[wMKE}CF@}_~o_GOKGIBoAD_}_aGOoFqBqAF`A?]gNWGeAX@L_dofoQ{HYClAV`KOeGP[GqCTAM`FobWQCHICjAR`GodGU_JEDbAr`XokgUSHyCrAY`LofWRcImDXAm`WOjWT{IUDNAh`ROiGTSIQD@A``PoggR{LwEtBU`iotwZKLaEvBZ`movGZkLqDuBT`]?tgVgL]D}BW`^?ugVOLeE^BK`gOrWYKKyEcBJ`b_sgX?LMEKBR`c_tGY_KiEFBA`_OoWWkKQDlAw`ZomWUkJQG[@H_coQWHSCiAT?~_]oMwFcBi@|?y_\oNGFkB}@|@?__oOwGkCQAD@?_aOPWGKCMAD@E_cOQGG{C]ALBS`hosgH{DIA`@R_goRgLcEuBT@j_vOYWL[EqBZ@m_tOYWL{FABd@s_wo[wXcK}EZBM`gosGWCKIEBBC``opWjwTUIlDSahpUGi{RmHxC}a]pOGf{SQIDDBabPOWgkRaHrCtaZPMge{RSHdCsA[PL_eSROHtCrA[pKoe{PeGpCTaIPDga{PqGzCYaNPEwb{QUH@CaaPpHGcKQeHPCfaTPIwcsQWINCfAcPI?hKQcITCiAePQod[QoIZCpAhPJOhsQwI^DOAWPJoiKPKInDSAGpCOi[PGIjCRAkPC_isSCG\DAAGPB_gsSKG^DCAFpPOaCOuGPCJaDPBG`KOmGRCIaCPBW`cQCHXC_AVPGoeKQOH^ClAQpG_eCMgHxBjA]oz?f[R{FZD?@vpN_\sS[GLCAAcPQO_kSgGFDKAAP@oh[NoIZB|AfO~_h{OCIbC?AhO~oiCNWGtC\@|o|ob[N_GxC^@|PF_^KNEFfBo`yo{g]cPSFBCV@pPD?ZsP_FFB^AKpD_[CMaFNBd`rOyW[c]{@F?d_QOHgC{AY@N?g_SP~_DKAi@R?j_ToIgDcAq@Z?m_VOJWEKBE@d?r_XoKgH[CuAX@L_eOQwOsG]CJAC`CoaGRKHuC|A[`LOewRKHiCxA]`LofWT{JADVAk`VOjWSkIeDLAf`TOiGR{IADBAa`QOgwZsMME~B_`oowhDCaqPVGhcUqIhCOayPEGncRaKxE?aQPKGpcQaKhBObYPgGUcKAMXEg`]OuGwcZaEXAG_uOcGMcGAAhAW_mO]GTcIABH?_biOIG~c\a@hF__]PyGHc^AAHDO^}PUG?cSA?x?GauPWGAcS`~hB_^IOyFrcN@|HBw^]PAFucO@|W~gaENuG[b|AFW~G`yNwG^cO@}G|w^uNqFnbw`}G~W^ENsFobw@~HFW]aNGG|bqaMhF_]]NKG~bpaNhE?\yMyGmcX@wXEG\}PeFaboAJwo_^IKIFtbx``w}_WaKEFvbB@|gv_`]OsE|b^AEWvG`YOuEyb\aEGuW]qLoFkbY@zWug]uLmFmbv@lgswaMLOGcbSaGhCoYmLWGfcQ`igsWbaLGGvbOaLGsgbeLCGubRALX@WXMK_GMbFaBGqG_iKgGLcF`cg~oWiO?EHbDa?wp__IK[G@bE`~x?_UmOIDkcB@Zwlo_aOQDoaua@xAOUMJ?GOcG`WgkG`MI}GTaqADGjG]eIsFjbt`VW|GTmNSD[bt@Vgyg[EMaE~bh@oGwW\YMCFRba@tGu?[YL[FDbb`kguG[aL]FIbU`qWzWX}MwEZbk@gGzGXqMsE\bN@twxWXUKmFKbJ@rWxoXaM_EYbf`eWmwVyJoD~b?@]WoOViJwD|b?`]wlOVMJIDpar@[gkwVQJkDgay`YX\oAA@D?`_LoFGBS@q?v?Ye??FWBs@y?~?\_NoGWCCAI@@?a_Opyw|K]iN\FkbuoRgICDEAd@R_foTwJSDaAr@[_loTwJKDmAt@[_kOXgKcEUBN@g_poXWKcEaBF@e_roagPkGmCXAM`FoqWWsK]EPBJ`dOlgU{JeDpAt`YP^WoSV}K@D}b?pvGy{\aMrFYblp_wocWUKLEFbCPbwqCXEKdESbHpaWpSWmKXEMbEp[gmcVUJfDuawpYwlkUyJ`DnauPXGj{UEJDD_aprMPiCswXlLNEZrM@iKrkYdKyEhrY`ekuWX`LfEWrY@eSrKZVLhEYRMPe[rgXjKzEXRM@ecrCXlKoEZrW@dSqwZDKlEorJpk[uSXXLcETrH`hkq_YXKdEdRH@hKqcYVKfEcRGphks_W|LHENrQ`cCqGYVLKEOrCX`{o}WbKOeGRB`jkooYvKKElRBPj{osYxKMEnR@x`CoeWTKJeBQ}plknsZ\LoD|R[P^cu{V~J}EuRZ@_CvCWHK@EwR?`lkoSZ\LnE@q|pk{n[ZPJxEsq}@ksn_ZVJxEtQ{Pict[VjLTDxrT`]cnWYpLXDxRTp`[oWYhKHEkR@piktcWTKGEjRR`\st?V`LNDvqz`iKm{YfLQDwQ]p\Sf_VPJjC|QzPNKfWVRJkCzqwPb[p_UxKXDmrE`Zsm?WzK[DnqshYClUUbJRdiQrpj{kgYtJJElqrPjckwYzJKEnQp@_CoCUJKADbR?pW{oSURKCDcRW@Vsj{ZBJ?EpQoPk[uSUFLcD`Qm@\SjgVPIzDsqypVcmsTrJkD]qg@fciCY@IbE_qg`fkiSX~IcE^RN@RShwX|IZE_rO@Rch{X~K|DMrDpRKhOWdIWEJQdPa[hWWjIVEIRP@QKs[S^IME`ROpQChKYJLEDHQa@[SmKSZIHDqQap[{goVLIIDqq_`aSgOWfIDEIQ_pakp[SNIEEJRE@NcfsWtH~EKq^`b[gCWzI?EMQ[`gSfSYLHrEbq\@gksOR`LBCwqY@c{e[XPKcCqRH`KsqSRJHhESqZXLce}RTHmctqWxKKeAQ|HacnqU@bsqGQtKbClqV@cCdsW~HXEOqw`IkdGVFHSDqQxPI{dWVNHRDrQ}`HcnkQZHMD~q~PH{dCV|J{CgRJpHKcWXTKmCdqPpd[cgXXKlCcQO@]ScKVhH@Dyq|`GccGVfJpCaqt`Tcl[TZJWDVQuPT{lkTbJYDWQh`USi[TfIvDSQiPUcjSTVIiDZSZ`^CneVnJyd|q~h^cn}VzCGaDpAg`KOuGX@\_nOWgJ{EABB@w_|o]gNcFuBrBr`wO|W]KNQFdBe`royW\CMUFHQBFgSa@yLGW]ZNKHBs`@xtGS]^PUGsSUqLLDgbTPWGtsTqLlEoarPvGdSRQNdCkbpPKG{sRqN\CwbtOyg[sMyFDBu`xPaGXsLqK\BSbHPfGXSXQEdBWbLOkH?SKQOLA{bzQAGWSJQNtAwb~PpGRS[aC|FK`PPsGSsIqMtAgbjOTG|sDAND@[bxPvGKsDaNLFg_pODHISca?|G{_DQOGBScQ?\?OcfQHF}Sa`~k~wcVN~HESba?LGs_@P|FbRpqNs{_c@QAFcrqqN{{gcBQHF\Sa`v[zocVM|HESb`v|Gs\|MsHBsa@vLGK\lQCFZs`PulGW\pMgGvRiQL|F?\ZPoFTsZptdEw\TM[GwrfQMSxwbfM^GyRgQMsy?bjPaFJSWpq|EO[pPdFKreqK|EW[tL}GsR^qLKw?bTM@GtsZPo\Eo[DLsHHR[aQdG{ZfQPEzr\QQ\H?ZlP?GcSPAF|CKaJO}GcsOQGtCGaNNiGCSAP|\?g^XOJFusBP||?o^\NWFwRuP}K|g^dNrFlrvP}c~S]xNQFqRy@y{|K^JNSFrRyPyk|W^NN?GFRoQ@{{G_`NBGGrpQA[{O_dN]FVRvpt{zC^DN_FWRk`{KzK^FOYFPSEps\@o\HO\FQsFps{yW_|MOGmRcQJkxGa|MRGnsWPqkxOb@NuFDR|pp[~c[XNwFEr}pp{~g[\POFAR`QIKwWadMFGhraQIkw_ahLzGPSG@nDAOZrLyGQr^QC[vo`BTE?IODwBC@e?l?T`kougYkL]ElBWaqpYWksUiJNDgflruXzk|i]xNWfPrhXs{yQ\DMeitDVikLT}jDTbioTRyhlSyi`TPieTUAg|S_irTHIlTQqj\SgizTEImTVqd\UChXT]IUtWAdtUKh`TaIVtUq_dOCirSAImTUa_\OWipSDImtRA\|NGi^RoIes{QiLNOi\RrIgSyQg|S_fTTHHttQa\dSkf\RlIbSsQiTTSehTSHjTSqY\T[ejRQIjTOqX\KoiJTCHessAglSOe\RNI`spaiTTKeNTUHdSpQilT[eRTSHcTOAe|RshpS}I[tNqfTSGhxT@I\tBQeLPGhlSqIFTKq`|RSg`SPIYS~QatNkgfR~IIs~AadO?gpR}IJtAQ[LO[ezSGHnTAa[DOofDR^IDsdQY|HWepQVHkseQZdLgctQWHls|QV|NWe@RvH_s}AWTKOftRxH`tFqU\Q?dhS`HYtGaUtQOdpSbHZsmQTlIwdtQoH\skQVdI{d|QqH]siAbLIcgtQiILtFAT\PwdNS\HUSgQ[\IGfHQbHqshA[tIWfPQdHrsfqclI?hLShHMTIaRtQ[cvSgHMt{OAK@M?dJadpqxH[km]VLCBa@P@w_kOYGHB~`}O~W_COEF|HCc_QOXGScUQFQkhRsiyTLIidPVzKET~B@l_wnzWNJ|UCQ~|`?n|VxK?T}B?T_KnhVuK?u@Q}|_OnjVpJuT{q|\]sndVoJwtza}T]{nfVaKBTwr?|]OoPVfKDtxb@L]SoTVsJ^T|Qv|[GnrVuJ_Toq}|[CnpWPJ]tmB@l`?lxUxKEUBqvT_wlvUdJtThA|TY?nPU`JsTgq|LYGnRWFJGuAAq\W{oRWEJFUAaqTX?oVWBI~T_B?lV{oDWCJ?t^B?L_?jzTyJ~t~Qn\VWntTvJ}T]A~t^kjrTeJttXq|d]sjPThJwTzqkd]wjJUoJoTjAz|YwmxUnJotkQztYsmzUYJjTtqr\\_kxVXJMtuqr|\gk|VOJITdQyLX_mjUUJhTeQydX[mfUqJCTkqpLWglhUJJYtlqplZWkXUAJdT_qx\[okHVLJAtrqo|[wkLVCIwtpQmT[WjfTsJbt\QxLV?mPTiJRTZAs|U{lPTlJStiqltUklT?G_CoAg@S?e?P?J_EOBW@s@A?^YO?DoBw@k?y?`?K_IODgA{@e?p?TgusYILLEibVPkb{P}W~S^qNzFz`\OmwVcJuD~A}bppxG{k]YNPFfbWpkGtkYyLdEnbYplwvCZQLfEuakpUgjcTyIvD\akpUgjkTqIvD]gXSKyE|BQ`jOugUSJYDtA}`bOofKRdxrKxi[vMUiyt[ymdVAjbTqitTZYl\Uyj^TkirtXilLUajJTclterz\PkqvWZPlvEsJXhm}vYZMlpenJ[HjityZ]l^ewjVpl}v?Yzl\EsjVplYtuZRl^etzYhjuugY{lVEvjZxi}v?YoloekZUXmMvCYqlYEgjUhiMtkYclZehZVHi]toYelNEiZTXiEtOY[lNeijRhiut?YklJEyJQxmQvMYZlKExZRHmevKYYllecJZ@hEsiZYlHEvZQXlqsgZXl_ebzW@gquCYLlDeozPpkUsSZClce^zXPgAsEZFk~EqJXXgIsAZElbE`ZXHgYsMZFlde`JXPgesOZGlDegjP`iMs]YflDEhJPhiYs[YdlJE`JQxgUsoYElBeeZPHhmsOYYlSE]JTHfetSXylTe]zNhiqrwYllqEZJLhmevIXmlrEZzMHmavMXokoEfJRpeIsyX`lNeWzSHeUt?XckmElzUpdiquYskmemJJxjetiX]kheujIPlmuqXNkgevZI@lquoXMltERJ\XcavWXHlvERZHPm}vYXJk`EsjGXlMugXCkaetZGxl]qKZUk]EjjFhi}p{Yok^ekZUXcEq?YqkVe_jO@aysEWll?eIjNxamr{WkkNEcJQP`}seW`lIeGzC@hEsgWaleEEJBHkuowZNkMesZBXkyosZOl_ECjWH`MuCWSl`eDZWh`]uGWUkrETJKxdUrOXUkseTzLXderSXWk\EIJFXaepGWwkQeMZCpb]pMWukXe\jE@fIpiXvkWe[zM`bQpcXt_QoGwC[AQ@H?d_HOCWA[@E?f?QlEubzPTgqsVYMi`tPYgcmaVRJjdtQzH\kJEDfAqnRFfjsxyA|A]cnSFgztHx}|I]anGfkjppy}{W]lnEfjjpxzA{_]pnTFWjkpyqzE]imqFizkxyqzI]jmmFjZjhyyy{]nnWFVzuPuE|a\_mdFeZrPsy{o\KmfffZhhxm{w\JmaFlJuhsa|e\FmbFlZu`seyI]rmWFgZeHyMxW]^mVFfjdhyIx]]_mLfeJb`xe{s[\nLfEjrhp}{w[]m@FhJshoM|K[CnRf@Zt@oY|Q[FmvF`jlxw]z_]GmwfaZmXwmzc]ImsFTjlHt]yo\imkfYzjXuuys\km}fSznxtUzs\Om}FSZnptQzu\Qm^F_JoPsEx}]@m_F_zgXwUyC]ClzFMJ]xrexwZzl{fNZ^@rixuZymyFGJnHqUxG\wmOf\ZcPv]xE\unHFDZb@xUwk]RmJfdJqppQwq]VmFFKj`xrMwe[tmZfCja@rYwa[smRFAJcxoewY[imDFIz``qewU[glwE~J]HnuveZ}lye~z_HnIw?ZsoT_EWAc@U?l?W_Jtzy|t]mnXVojutyI|T]ebJPegpSWyK|EQEzB[`ltYYktUQjPTfiqwPSEUCX@f_tOaWKSG}BPAP_uO`wOsBeCP?z_]OawFsHEA@AN_`ObWOCAECD?b_TO`WOcAU@LA@_SO_wAcD]?l@Z_MOWWJC@}?t@\_KOVw@CEM?T@d_EOXwLC?}?d@l_GOYw?SFD~x@n^~OZw?CFEBd?F_AO[wJB~EAs~r_jN|WJb~\~t@`_nN}VyCFmBg~L^fO\vySFeB{~V^iO^WNrwd{\@x^EO^WMrwmBg}D^BO]vlcDDzl@T_iN\VlsDEAc|r_hN[WGbzUAK}v^[OQVvSCl||@N^]ORV{byd~K}j^sNjV|Ry|~[}r^uNkVzBxt}s}^^mNgVsR|||K~b^QNwVqR{d{_~@^INovqr{T{s~J^KNpvnCAtzt?n]}OKVnsBL{D?v^?OLWI[DUAbDE`KpQGR[SiCfDG`ModGh[HYINCCaYp@ge{OIHbCm`~pMG_KRIGRBqaJpEG]kPiFnC_`|pFg^kPqFrBYaPovGckLyHNB_aSoxGdkMIHVA]`fotgTKIAEbAa`houGSkIYEjBAa\opGfkKYH~BGa_pPGXkKiIFAu`romG\KJiFVBk`]ooG]KMyD~AoaFoig`[IqGZAmaGolGakJIGfEebApggo[WYLREib?phGnkYAJ~DubFp[Gp[WaJrDqbGp]gq[VQKZDcakpUgk{TqJRD]atpWgl{UAJZDKbIpRgq{TAKrDQbLpfGikXyInFObUpsgt{\QLbEqbjplgz[ZQMrEwbapmgw{[aLzFIb^prgw[[qMA?AbsPvWzo?QNVF_?BPzO?S]IN]?CbrP{w{_?YNb