CAT(2280,1)

Sparse6:

:~?bg_?O?G?C@w?p?X_LOCWAC?}?d?S_HoDOBC@[?t?U?KoKoCsAQ@J?f_SoIGBsAA?~?`?MOGoB[AG?z@J?_ONwGKB}A@@@_`OPGG[A}@Z?m_WoKgECCG@T?k?aOIoG[By@x?|_[oMwFSBW@j?w?XoLoEcEc?\?K_EoCGAK?}?f?S_HOKWESBA@l?w_Zo]oM{FUBl@r_xO\GMOFUBg@v_x_\gMCE}Bb@m_uoZGLkEyBX@e_sOXwLwEYBa@g_w?XwHsC}A`@d?soWoLSEOBV@R?toS_LKDCBT@Y_loVGHKCiAP@]?oOW_J{DsBB@V?iOU?IsDcAj@D?doR?GsCsANAm?BO@w@CJO?R?J_DOWGKSEEAJ@F_bOs_VSJqDvAx`[OlwT{JAD\Aq`WokwUkJYDhA|@UonoT[JwDXA`@UofoT[I?DXA[@[of_U{HsDpAY`LoeWVoHMD}AT`]_dGVOHADwAQ`\_cWP{GuC\A}@DOnOP[J{CXAD@ZO`?UcGWDjAp@?o_oU[JGCDAo?~O^oTsI{C@@{_}o]wSoIaDMAi`Q_iWN?HYBsAW_{_dwS_G]CQAa`C?gwdw?q?\?L__OOWF{CIAH@B_FoCWACA}@Z?m_WoKgECAm@X?i_|O]WNCFeBt@w`MOfWRsGyC^AL`COaWO{GiCXAJ`Ao`gOcU{IrDXakpUgjcTmI~D\anPTgjCT]IfDSaipSGiSTEIdDPagPRghkS}IZDNafPQghcSmIUDgae@XghOU]IHDEaapQGhKS]INDGacpX?gsUKIJDCAqpNwgCRyHzCza]PX_f[U_HzDfA]PMgfCReHnCtaZPLGe[RII?Cna^@KWfwRAHZCmaUPGOjSQGIvC_AmPGojkQOI|D^AQpI?kCUGHND`ARPW?dSQcJDD`ATpW?dcUCH\DaAUpFOgKP{IFC]A`PM?bSRcGvCyAMPFOeSROG~CrANPI_eKQkH`ChAVpD?bKPWGpCTAJpGoaKPKHHCQAQpDocSQCGrC_AKPI?acPWHLCTARorWXsKqE^BO`gpT?XKKkIfDT@dOpog[KWIDBGA_pB_W[KSG`CN@aOo?aKPGEDCR@_pAG`SOeGJCFaBO~w_KOAFxB|`~O}OjkT{FvByAnO|?bcNKGtBtALo{g]KNAHmBlaZ?zwegMyFUDdaq?zG\OUMFOD[`s`Uw[wTiFKDfas?xWkoMQJIBbaq?wWkWMIIoBWaj?ugiwLeEyCO`l`BwZ_OyFkCA`{@@G]wOMF?CL`n`AwZoOqEcBU`i?tWYWL]P]?E_CO@xFW?Y?N?Gc_`CWa[PIGlCSaIpEgbcPmGzC]aNpGGcSQEHLCgaRpIWd[QiH\CkaUoAW@[?i?T?J_CoXgK{Ea@L?c_QoFwCC@y?v?\_MOEwBk@qAV@L_eORgICC}Ad@R_goTwJKDaAJ@E_boQgHKCaAP@I_cooGWSKEELBG`boqwXSKeGDCCa@o{w]kNQEpBY`kotGYSLMTiImdUQjXTsiuTXIhdTqihSWi]TIIgdQAhhQkh]SlI_DHQd@SShKTBIOdGqbxTOgATQIAdTa_XMghARgINczAcXTOfETQHrcxAixRoemRYI\dNaZHKSeQRFHbDBQa@KceGSNH^DMqf`KKh{R@H`D@qVpOke?SHHfCnQV@KsdsRJHPCrQXpISeSQ`IICdqaPHSgkQXHWCaqP`Isd[QHHICaQR@GkcWQVI_C_qg`GSiCQFIkC_qj`G[isQDG}c^qOHFWhqPyIYc]AexF?i]TKGxc\AiHP_bUPkIMdEaLxEOgAPgI@cXa_hNWbiPoH{c|AMXEGf]RqGncWA]HFofURkH?cyANxIWaqQgGlciaJhDGdAQcGjcgaIhHGaiQMGhccAIxCoaqPOGmcRaJXEoaMPIGtcZaHGmOhISeDrdI@\HBWeiROG[cLAYXA{`eOpGPDQQCpSk`GTFI_CFQC@SS_{TBGJCkqBPJ[_oQtGGD@qA`Ok_cSHI[C@q@@RShkODIJB~QaO~kggNxIYBzQf?~ChkNnH|Bxq^_}kf{NhFoDKp{`RK^CSrH}BupzpN{]wRzHmBtpy`MCe{NXH]BoQVOzsdoM~FZCOPvPCS\oPBDvDEP\`PsVSSZHgBfqY_yKecM`HLBePr`H{[sQ\HvBcq]Ox[f_MTFBCkppPJ[[OQtFAC}Po@N[fgMBDnDMqfomKhwJ`EsCwq[ousfGLjEwCvPmPMCZ[R^EyDBQa?vcZkSNGqB]qL?vsbKL~EmDKPk@RCY{SpEkDRPjPTCi[LVGzBSQNOtSboLRHRBQqTOs{dOLLHLBNpgPHsc{L@IVBLpePQshSKtEUCuPdpLkX_RVEOCPqHOqSXCPHGeBDPb@C{WkPPIbBBqhOpKiOKPECCjP``JCWSQnHFB@P_PHKc_KFGoA|qKOnkVoP^DwCOP]PCSVgPBG\CIQFpAs`wOjFxBqPxO~[^gNLFfBopwo|K]_NDGDBiq@oy{_WMlEaBMPh?rsYKKzFEBIpq?q[[[KhELBhPboycWwMfEqA~P_?u[ZCJ~DlC?PZ?~{UwOBFWAspYozSUgMrN?CQqGxCcaePTGjcUQJhDkb]PjGuc[QMhFKb}Q@G}_Ao@W?kJEDfAq`UojGT[?y?Z?K_KOEgBK@I?h?R_IoDwAs@Y?n?T_UoJgD{Aq@T?j_[oMgF[BQ@j?r`NogWSCHMCjAS_~O_GN{FmBz@{axp\GmS^}OBG?b{P|g}{^MNjFsbwP{g}K]uN^Fmbmpuwzc\yN@F^bWpkgu[YmLXElbQphwssYAK~E`bNPfGrkXQKjERbHPcGqKWiKXEJbAP`WosW]KREGa~P_Gn{WEKDEBa|p^WncViJpDxatPYwlKUeJVDiauPZglkUqJ\DlgpCVAJ|ECa|P\GoSJQFDAw`tOkG[sFqEDBC_zOnGNSDyBL@a_hOUgIsBaEL?{``OnGGSMq@D?g`zOHG]SGq?lAO_NOdGBSDA?T@W_HOTG@s?aA\?O_bOBGHR~qHl?Ca^O?GfSUP~LDk^vPYF|R|qG{~_aPNuGcsAp}t?s^pOKFzsLp}TBW^bOtFwSOP|TCK^XPAFtryADDAW^NNhGRsG`{tAC^JO_FqRwaClAK^FN`GQSR@zc|saTPJFlsPpz[|saRPGFmSApzD?s]tOKFkr~`ys|S^zNVF}ST`x|D[]`PWFgsH`yC{{`POfFgrr@|{}w]\NlFerqaJ{{kb@P`FcrqaAC{k_\NHGFrphxC{]]MNXflBphx?|a]FNDfaRo`~K{?^vN@F|RoPy{|S]DN?FjSTpvszsapPUF^sEpvSzo_xOYF\sU@udDW\lPVFYsWPu[zGa~MpGoRy`ts}o\`NjFVripu{yo\pMlF[riaIcycajMgGhsJ@skyW`\MfGUsV@rKxkazP]FLRcxqkxQ[_PIgeBciHWxE[WO\gNbahpX@y]cMFfhbaHy_weZ~M?e~R]qCCvs`DL{GOr\QDLAkZnOiEzR[qI[vOahLqGirZqJKvCavLoGlS@Pld?[Z\OEEurYP|{}sZTNmEtsOPktCGZNPBEsRXP{[uO^DN`EpsRPkDC{ZDPMEosDpjl@cY~OWEnSIphDAgYRLIGSrPPw[s[]JLEFaSO@gcsG`~LBG^RN`{cro^LK|FqrMP}k~KXvNsE\SS@esr_abPQEZsP@e\CSXhPEEYrJQ@D?cX\OIEVrIaESqo`hKjGXrI@u{qc\rKfF[RG`xkqK]\NKEOrEqILD?WzK[GhREQI[pgajKWGiRDqA\@CWlKTGHRv`aS}?WhN^EHrv`aKo{^@N^EGRBABSow_xKLGLrs``[|OWRNREDR@aICo_adKFGgq}P~k~wVnJwF}RnP]Kz{VfM}DxQ{AFtC?V\JnG^qzQ?Kmo_@JjF~sUP[lDkVNPYDrQw`vSzoVHJbF\quQESlk`fJYGYSP@Y\CWUhJTGaqsAF[lG`zJPG]Qq`{{}_UXJJFsqnqJck?azP]D^R{pVS~STrNsD[Qlp}CjS^dIuFwsM@U[jO`tOxDXSLPULB[T^OuDWR``cCwSW|K^FAR_Ppsws[FMAFFrUPrkxwYpM[EjrSPs[tK\DLQFQRRp_kt?WHLME@rK@_CoCXdKAEWrH`^kqOV~KdD~RU`^[toVtLZD}Qy@h[mgYZJhEeQv`nKvgUxJ\E{Qt`r{l_\BJVFOQw@XkmCU^JMDnrO@XCk[YBK~Dcqp@ickWYlJDEiqoP]cnWUFJADyrdpVkxWTvI{FKTj@vKz]\pMyf]Rmxvkz}\|COaFpBgbCP]GrCbaQpHG?c?Q?H?`_PoGgJ{DuA|@S_jOTWWCKIEBBB`aOpWW[KUEHBE`cOpwXKKmETBK`fOrWXsKuEXBN`gosGX{LAEbBi`uOywZ[LqEzB]`oOvwYsL]EjKeeQRHX^CneVnJWdjqthW{keUPJ@d`qohUkj]TlIwd\QmXV[jqTzIndWQkXT{jET`IqdYQkxUSjQTfW]KBEFJBX_]oyWGjsDyy|h]inQVkjqeEJBP]YoqVfjpeDI{``InCWRjmeBJ@p\ymwWLjyDtiz@^YmmVtjwDtiz@]ymmVnjxdsy}H\UncVSjgD|iyP^UmaVskBDpz@@[eoMVGj`DtYwX\QmAVRjVdpYw`ZAmKUpjUe@Z?`YyoEUkkJdiitX`YoiUhkFdiitX`Eo_UhjREAYt@_mlMWIjRDkisxZQlOUrhddvyXh]EeWV_jODvysP]ElAV_jPdbipxYUlGUOjAe?Iox_IkKW@j@DgyoXYUlGUCi~e?Io@_EkAWAj|D^I~`VynuT|kKd]ZBPVmjsWWizDnin@[AjmU~iyeFYm``mowTrj\d[YvhVIlwToiudqylx[imWTmiid{Yix^IikVrj[dSiiXZiigUwifdkiiHZQi_Uri\doIvpRqhsU~kLDMJBHRehmWWiYDyIep]ehiVij|DKYeX^qhcVzkIdJye@`]h[WUiUDsiy@QuhUVPjqDHYcx]InESeiNdlYuxQElkS_j`DEiwXPmmASXkHDDjA`PaoeSVkFDDYa`_qgeWLiBdmI`HZigOUxh~Dmy_@Zuf}U{j~c}Y~hNan{Ryj{C|Y~HN]fkVvhseDY\X`]fSWUjfCwy[h[}mYRchmEFIZP`ueuWZjkctyzXLemsRWjbcriY@[ee]VGhcd~YX@^}eSV}hadyy|hK]eKVkjZcoiW`ZYeEUtjVCnyt`KAlYR@h[e?yVX_UdsWCkCclj@XJaoSQvjeCkIUP[mdaVIjkceyzXHumsQ[hCd|y~@GinqQJjvC`i}@Gan]QFh@DrYxxGAm[Q@gzdpiNH[UboVCjmC\IzhFUm{PugvECZA@FAo]PnjVcYyLhZEbWUogpDxYK`]]bEVejJdeirHXqkoUZiedfyhpXuiWU]itdOYg@UqjSTAiqdHIcPUYjGSbiMDaIpPPygyUHjDdCIaPWugaUKicDBy`hS]g[TEi^d?yfpOEhySAiACzy_pNEf_SDioczYkXMyjCRkh|cxi^hMafwRfhpDdIqpMEkiR_iECtiY`OmgSRThgdOyYXSUecTCh]CkyVpJUdyQshVDVITxTuiuQlinChIk@IYi}QdhKChyRPIecqQghmcdYZpH]e}QUhHDUIQXTiiqQSiccbyhXHEiSQOhxCbIPpNQcYRrh@cgYSXGUcGQaisc^iNxU]byTgg|CiiN`IqbuQjgwdcYMXXMbcUQiTCYIdHEihOPhgrCfyKxIAbIQ]jPthYsdYYlPUfjStiytSaAPDG`cRQIHC{bMPhGqayp\wmsU}JbDobSPigtKXYKpEVhvSzY\dMAfDR`h^SnIVlJ]dpQugwSZiL|EubVPkmgFYziHuuyc\kmbfQjh@sqyQ\JkgfXZIXu]qc\em`FKjgXrMxg\@m`FGjgXqAxA\@mfFBZhhoqwU\Nm@FWjk`oQzE[BmgE~z_@tIwA\PmaE~JgpnyyIZ|mne{z]huEz?ZslvFPjg`m}vY\DmkeuzjXluysZ[mrEpzkhkazMZElYFYJUhuitk\hlSFVzTPuEtQ\_mkehZjXi]ysYemqEbZkXg}s[\amhe`Ji`gYyiYDk~FVjO@tur}\[mmEWzjpeUyyXcmkEVJJXtYqs\VmeeRjhxc}q_\MkeFQjHXsqqY\JkcfPzH@saqS\Hk`FTjj@cQqE\Vm^EMJEpsApm[~kXFSzEHtUp_\SkUFOJDXrypS[~kSFZZDHumpM\kmtEGZlHaMzOWamUE{JdpnIxYZplpfAJ[HoivC[HmJevj[@peu}[WlkFIZZPqmuq[iliExZ[plIvGZRleFFZXpp}uY[]ldfCzXHpIuS[Pl`erzWhlEuGZOmAenJ_xjmwKYymVelze@jaxaYxmLEkZb`jIte[ZluEkJ\Xi}vSYmlNfLZexiEt?[ulNEojRhkAuAY[lzEdj^@havmYVlGfDZQPpYs_[SmPeajchgqxGYJlHe_ZQhgMsgYAk{EeZNPhmrqYYkyfMzMxrurk[{lBe[jPHfQsOXrkvenZMHj}t{Xok}EZZNheyrWXzkreWjL@eArKX`m[EVZfPd}xqX]lTeTzThdetWXWkaetZGxl]qKZUl{eNz^XcEvsX?k]ETJFpdUpyXUmREMZFXqaps[fkseKzLXbUrSWslPEJZDxiQtEWmkQFBjCpo}pI[OkNExzC@meo}ZgoHf~kAi?B?g^~nvgFKBp~E~__\oQfxZ{YA]~G_enlF}zz`~u}u^{oTFuJzIAb@Q^VnuFrJxX}y~Y^LnbGJZwyAr@U^Dn]G@Jvq?Y|y_Dn\gCJvQ@I|q_PnZF}Jv@~i|m^xngfkzyXzU}c]snWG?ZuQ?M|a_AoOfj{C@yv?}]mnTGEZta@m|U_YnRftJtH|Y|O^ToCFhk@HyQ|I_FnxFgZ}`yM~e]aoDFfk@`yB?U]^oFFeJrQ?~?Y]Xn^fdZwHx]}?]UnLfcjrhxQ{w]RnFfyZqH}m{_^inEFxj|@wy~M]LoJFa[B@wn?m]IoPF_zoiAQ{G_bnoF_J{PwI~A]@nmf^Zzxv}}{\}m|FqJn`{izu^HnBF\znHwa{M\wmyFojmh{Qzk^Bmwf|ZmX~]zc^umvFrjm@|Az]^No{g^KNYFzBs`|oqGaKKqGjBIaHozGVkKAFbBm`^pBgVKOiDvCK`ZolG_KOIDbAq`~oigJkIyA~Ak_opEgS{IaGnCW`QodG\[HYFNBg`HougPkLqCbB]`Fo`gX{GiEfAG`go_G[KGQFJAA`po]gYkFyErBU_}oeGMkHqBrAY_zp@GL{OaBfCE_woZGS[EiC~@g`OoogK[KYBNBC_qpFGlkPyJVC_avp\gikVaIfDyajpPgj{SiJFDGaopXGgKUYIFDCaspLgiKSqHrCsafpJgf[RIH~Coa]pUgd[TqHZCgakp[Gc[VQHJDqaRp^Gr[XyKBE[a~phgqkYiKrEgbJpgGp{YQKfEabGpaGo[WYKZEIbA_?gvCYs?LE{bW_@GvSY}Lc?Cb^_?gus[MLg?Eb_