CAT(2280,8)

Sparse6:

:~?bg_?O?G?C@O?J?D_AO@W?c?Q?P?K_EoAg@[?a?R?J_EOBW@K?i?b?R_HOBw@s@AAe@E_bOPgGcCIA@@@_aoOwKODqA|@__moVwKKEMBH@d_qOXgK[EIBD@d_roXwKsGoBb@o_vOYWLSFIBV@g_voZGM[EuB~@v_yo]WNSFYBp@z_yO^GNsFuC?AL`F__WQ?GICEAM`A_cgOoHMCMAT`C?dgPGHQCSAV`G_awO_GqDIAW`K_hgROIaCuAh`M?igRoIqC}Al`O?jgTWIEDGAb`V_fWSwIIF?@V_koUgJ[DYAp@Z_jOUWI{DiAp@R_hoTWIcDUAh@F_coQgH[CqA\@N_gOSgHkCaAb@]_oOVGJ{DuBBAZ`KOfWRcHyCtAb`KogGSKH}DDCKaAPAg_{OmGPCDaCp@g`kO}G\CJaEpBg_kOYGXCGaCp@w`SO}GHBB`bOogVkKQD~B?`_opwVcKUD|BB`bOnWWKKAEHBF`^OogV{KUDxBS`iovwYsLeEtBZ`jovWZsLaExB}@iO~oYsO?EnC?@kOv?_KOCErB}@lO~oYkLsGDB^A@ouo_[LwGDBn`uOzG\kMuF\Bp`wO{G]KM}F\Be`roxw\CMYFPBh`tOyw\[MiFRBP@{o{oXsNSE\BR@zO{_Y[NsEdBN@|os?^cLCFhBQ@zo}_X{L?FpB|@pO~?[kMGFvBv@qo|O[CM?FpBq@oox?^SMCFrBu@po{o[[NOFHAo@cokOXSJGEZAr@dOm_X[JOEXAt@eoqOUsK_DnBJ@[oq?VCJkEX?k_UOJWDcAu@Z?m_VoKWEcBA@n?q_XoLWEsBe@pEq?XOJwDsBa@`?x_WoLWEcBY@n?r_\oNGF{Bi@|?|bj?HgC{Aa@R?i_ROIWC{Am@V?i_SPz_FkBi@|?~_]oMwFcB}@x?}_\OMwFKBI@j?v_VoJgECBM@l?w_WoLHAOJqDzA}`^ooGWcKUELBF`_oogW[KaEVBI`eOqWXkLEE\BN`hOswYCLUEhBU`lovwZCLeExBY`motwZsFYBz@}_}O]GNKFiBh@v_|o^wMkGACLAB`AOaGPKGiCDA@`Do`wOkdGOcGucHaLxFW`]OgGwc]AEHFg`eOsG}cIaMXBWbiP}GUcMaOXB_cALxErb]pkgucZULlEvb[PmWv[ZiOSHMcgaAXHo_uOWHMcFaRxA?c}OMHNcBASHIG`EQaGMcDaSH@?dAQMFqcc`}G}_cIN]HBbwaQhH_^]QOFtbvARW~GcmN_HCcb@{w}ocUOCHCcd@~w~OcIQYGBb|aOx?_cUQQF|cba?HGo^qQOF}cAaRHHW_EP}G@cAAMg~wbePmGBb|AOXFW_IPkG?c]@~W~_cAPyF}cAaNg~WbaNMGkbpaKw{Oa}NGGjcY@yg{gaiPcFecY`yw|?auNQGmcW@zXEG]qPQF^bkAIGzWaQPIFVcQ`tgz_aQPOF]cR`vXCo]EMqGfcS`wHCo\iN[G]bvaFg}?`}NaG^bxAGG}WaANgG`byaGW}oaINqGbcP`}HCO^]MGEeba`hwwwYaMQEhbe`iwxOYiLYFGbf@kGto[qM]EpbU@qwtw[YLeE}b^@lGvwZUL}Eub[`oGvO[ELuF@b`@kguw[MLoFBb`@nGvg[AMGFPba`sgww\MM_FHbf`swy_[iM[FSbi`qwy?[YMaFKbc@tWxg\IKsFUbL`twz?XyMqE[bn`gGsG\iN?E^bP`uwz_XuLGF\bP@wWsg\yKuFabq`fW{WXiNGE[br@fg{wX}NQE_bO`ygsO]mLEFgbQ`zGs_]uHiGjaZAJGewauHoGma[aJxE?RiPcCzcW`NGe_bMPSC|a^aLGfobUKOEibC`iwpgYYLWEIbD`jWp_YyK_EfbW@cwpwYaK[EhbW`cWtwXIK@EFa}P^WnsV}KBEAb@p`GosWUOcDocH`[XA_VIOiDrayaDgmo`mJmG\cM@]HAwVQJqGWa|aEXBOViIrDWappWGjSUEIxD\anPUwkST}IAESa`@dGg_XUIIETbJ@OwqoSYKmDFbJ`QGhGXaIUEXa_@eWhOXaOKCdcD@FHA?Q]GyGLaNaAwc?_yO]C`cB`GgcW_qOOCccG`Hgbo_eHUDKaU@RWdgSyHSDNaV`SGiGREHODQaX`Swi_QyHQDVaj@KgigRAGcDfaK@YGk_PAJICPar@EwlwPeGgDhat@CwagUuJUCUau@EgloP]ZW?M_FOCg@{?}?`?R_GoCWAC@M?d?Y_NoEwC[@u?|?__OoGgBcAU@HMI?JODGAc@a?l?V_JoDWBK@a?r?T_LOGgCKAU@@?[_MoFgC[@}?v?cbRPkWuCYuLPEhbUPjgtSY}LVEfbaprGxS[mM^FMbcprWwc[YMNFGcDQBx?s_uONGGcCqBh@[_qObGO_boQGH{CeAT@J_eORWICCyAd@P_noVWJcDyBB@__vOZGL{FABP@r_xO[WLKEuBV@iaSPIWdSQ}H`CmaXPKwdcREHVClaYPMGf[RqHrC|aYpNgf{RiHlCvaqpXGksU]JPDhatPYwlcUuJ^DmalpVgjcTeItDaanpVWjCUMJBD_a_pPGgkSAILDAa`pQWg{SaITDJaGpEwaSPMGhCOaIpDgbCP]GrCYaNPFwcCQIHFCcaQpGWbcQYHNC\gaCEADt@c`fOYGWSDADl@k`hOnGMSLQBtBG_zOTGWsLaAt@{`nOkGJsAyAD?a_bOHgHSBy@T?q_ZORgFSM@}S~O`rOyF{r|qF[~S`xNuG]r{QFs~K`~P@F|SO@}DCK^pPAF|ru@{c|c^JNeFmRw@{{}_^BNhFpRy`zS|w^\N\FtrzP{[|{^^NkFlrn@zSzw]vN_F\rnpzc|_\tN\F_RuPwk|w]DN^F`roP{Szs^BNbFaSM@ttBc\^OyFWRkQF[zG`xMrG]rlAFszS`~P?FZSOPu|CK\rPAF[SLplTAwZVOuErrXqEcuW`XLeGUrYAD{u_``LhGWsLPlKuk`dLiGXrdaBcxo_nOSFKsDPrSxk_lM\GKrfqBSx[_zOWFORgQBsxw_vO^FKRda@Cx{_dOMFOrfQA\?k[nOKFKReq@l?c[tM[GDSBprKy?_`M]GGrb@~cw{^zN}FHR~pql??[ZO@FFS?`p[x?_FMIGARcQ?kxK_NMSGBR`@}S~K[RMDFwr``}CwS^nMFFyr|@o{w_^rMGF|raP~C~g[HMEFzRa`{cwk^JMKFrRc@{{}_[dNhFHrcP|S}k[hNkFIrzPps}w[^NnFEr^pxcwC]LNFE{rq@nk{c[@NJF@rq`oS{sZpLyFfR^`x{vo]bLzFgQWPsSe[\LHaFUqX@s[y[RJMgCrRiPK[e?\THhFQqVpt[dw\HHgFUR[@j{tgZXL]Eyr[pkStkZZL`EzrXPmctsZlLcEvRZpjcvCZFLqEoRO`~ksK^|LCF~rPQ?CsW^xO@Ebs?`hD?KYROCEdS@Ph\?[YZOEEeRMaCSro`PKwGQSGpfsrc`VOiEZSG@gLASY@O`EZrNQDKrk`LK~GRrJpusrK\pKkFWRlpdSzcXVKpFYrK@uczCXdKtFVRL@t{qs\fKmFXRs`_s|GWNNRECRsp`K|OWTNSEDrB@ykos]jKMFjRCPy{p?]nKNFjQw`s[mK\HJcFQrh`[ky_VPMfDrriP\KygVTJjFPQzPt[mW\ZJkFUSG@ZSlc`FJWGQQuqCtACUzJUGQsI`Z{m?`NJVGPSIpZsmC`PJ[GSr]`SsvoTNL|DSQiPnCigZvIjE{qj@nsisZ~ImF?QjpoKjC[FIoF@SM@PtBcS^OyDGSMpQLBoSdIRG]qdAFshS`~P@DJSO`Q|CKSrP?DKQ\`ws{[RnNGC{q_@yC{cRtI@Fgrq`N[{kRxH|FeQ^`xkf_]^H~FfQ_`lcgKZZIJEzq`@lsu{SJIKEyqa`msv?SLLpDBqa@m[gsZhIHExQS`vSdK\vM{CiRnPIkzwQlM~Cjro@JC{CQrH\Faro`JSdo]HNBClq}Pckq_VdJmENQ{@c{n_XRJnENrGp]cqWVjJpEOQ{pcKnWXHKaDzrSPYCkkYjJIEfRRpXct?UZJMEhQrpi[tOUbJQEjRTpYclSYrJREkRCpU[pOTdIsEIqlPasp[TlIvEHRE@VkpcTpKYD[qm`bkpkTxK[D\qe`Vsj{SxI]D_QoPRkh{UDI`D`qg`WciKUJIdDbqh@XChkURI_DbQYp^[nsRbHiD|QZ@^cesV|HtEAQZ`^{fOW@HqE?r?`L{fKWJKBCwOAW@S?a?V?L_EOOGGKCIAF@B_aOPWGSCUAH@?__rXxlCuYZRLjetR`HokwY[NMHfCO\GMkFYBn@w_{o]gN[FqB|@~_}o_GPCGMCHAA`Co`gPSGmCBAD`BobGPkGyChAU`FocGQKHICfAV`IqWHJsd}RBHacpqXHKkeYRRHgcrrKheCrEXVKmeURJXdSrMX^KteYRCha[pQWxKXeMrDXasp]WpKYeLu@bAT_[ofWXKFuABAd_cojWJKJUBBA|_wopWYKGUEr@T`soZWPKMT}qPd_KclQQJ}scR?LGsnxWDHHsba~T_?cnV}HISbq~|HSoDWCHGTjazd\klhV^JYtkA{L\wlfUnJoTvQuTYomlVVJUtlazTZ[mpVXJWuEQpdWgohUOKItbRA|`GkPWYJFUFQq\W{olWRJCtarBD`kkdW[JGtpqotVol|T|J^t^awDV{mBVCJAT_AwTWCmFUAJat_qwtW[mRUDJcTsAjD\?irVPIlTsQj\\GixVQImtWaylTwmfT^JhtWAydUKmjT`JiTLAvtRSl~SuJ_ToQe|[GhpVBI[tpAfT[ShvS}JcTpafdR{mRS|JbtIAxTQcmVSnJdtKaxt[ohTVLIWtrqdt[shZVNIWTKqxtQkmTVKIUTzaaDPCn^SSJzTDq}|PGn`SRJwtEA}d^KgtVwILtDQ}lPWndVxIKtxA^tNknDS@JuTwq^DNsnPRxJts~A{t]SftR~Jstxq_T]sg@SBJtTuAXTK{nBRRJlsqAyt\[eRV\HfTuQX\\geXV[HessAztLCn@RQJntzaVd]{dzVoH^T}QWt^Gd~VrH_T|AWL^SeDVuH`spA}|K[nbVwHashA~TISnvQeJ}Shq~lI_n|QhJ~sib?DIkoBQkK@U?qTlI{oJQmKASfA|dIKnNVlHOTwaRLH_nFQYJqSeq{l]WczQ]JsSfq|LICnVViHPS\r@L_WbzWFGyUAaMl_kblPwKES]R@l_{btWOG|uCQNd__b~WMG~TmALDZ_bRU{GtTmQL\EolrPlJ\SZavTE{lvPoJ\s[qvlFGlzPpJ]THqgdSghLTHIQtQqcLQ?iNS^I`TFQg\Poi@S]I_tGaglS_hFScIbT[A_dVCgJSEIxT@qm\VOgPTtICt\a`TV[gVTwIET]Q`lVkg^TyIFSxQq|MGkzUWHtSwqrtMcktRgJMSxar|XSfNRjJLtda[dXcf@R`JIStAkdLSjJRUIrStqk|LcjPThHltYaZdUkepTkHnsvallLgj^R\IvSzAODMscBQAHvS_q\|N?cHRpHAs{aOtNKcNRsHCS|QPLN[cTRuHDslAJ|J?bJP`HYskQJtDodnPbH[SXAUTJcb@QyGmsXaUtJkbNPaHXtgAITYCahUaGisTas\D[lHPXJQsSAstD_lNPYJSSUqtLYkafPPJTSPAhdCSiZPEIfSPqh|CsijPGIgSQQiLCgidPMIjsQqi\TWa^PKIiO@g?s?]?L?F_BpsGyK\IMfFTbiPyw|K]INFFkbqpxG{s]]NZFgbtOPwHCCuAR@I_doRGHsC}A`@Q_gsSIILDIafPSgisTyItDaarPYglvNbkTuKx~\cM_VXRgDuWyB\AMrvOrl\u_yB\hM^vOrlTrwzZ\AMuVErilswwx\RMNVTBcDqCyV[aMdVRRc\t?w~\PMMvHBiTs{xJ[YMeU|bgdn[yHZwMavPR^LsWvt\EL|vPr^ds[vz\GL~V?RhLo?yR\GL~uuRittkuxZTMmutrkDlWy~\YLlusbkLl_y|\XLhvVBZllgynZSMkVXBWDu_uJYyMpUpBlTkGzZZ@MrVWrV\j{zV\dL]VXrVlkKzXY}Msuabitgkyn\WLGvURPdtgsZ\ZLFVVBP|tss`YQMnUcrj|hSzBYSMoU^bhTf{yVY?MeVRROLswsD\NL@vSBOdtCsJ\QLBU`ri\gcyjYGMiVBr\LmWwd[MLnUvraDm?wb[WLruwRa\mGwhZbMIvER\DpWvJ[VLqV?bSToKtF[CLQV@RSliswT[ELRV@rS|i_wPYhMCvArTTostX[KLTudbTth[t^YuLKukrSDhgtdYWLWUlBSLhstrYtLMUerULhwtpY^LZu[bWtfKuNXsLcUqRMlkgrlZJKzurBNDksrrZMK|UrrN\fsubX{LgUXRd\dwxN[oKpuVBcteOxT[mKlUUrdlrCrD[kKouVRdDq{q~X_MSuIbHtakq^XPKYuSBDddGpZXRKVUKbIla{qhWoKjUKRI|bKqrWsKkVKbGTrKqF[sKaUPRelcWxl[vKbvMBHDrcqR[yKdVMrH\rsqZ[{KeUXbEte[pnXgK[UYRFLbgrTWzKtuNBLdbsrZW}KvUNrL|fCqBX?KwUybBtmko~ZkKOUzRCLmwpDZnKPuHB]DaSvbWeLxUHr]\nSpRWgLyWGB~d~t?z^qOJV{sA|~P?p^tOKv|cBT~\?v^wOMWFb~MAC~v_^N|VobzT{K}v^[NaVvRwl{W}|^FNnvqB{D{c~B^INpVqr{\{s~J^KNqWIby}AG}l_jNgVrsDD|L@L_lNkvrcC||P@X^TOPvuCCl|D@R^QOQVib{t}[|V^gNUVybtt}c|Z^jNVvkB|dzC~Z]qNvVkr||zS~b]sNwV~brt~{{~_?NOW?RsM?G|D_BNPw@BsdyT?J]fOBVhc?}?c|R_GNSWAbqU?k{f_KNIWBRqm?w{l_NNJwCBrE@C{r]YOHWCrr]@S{z_SNMV]botvk{N\{NCV^RpLvw{T\~NDv_BpdwC{Z]ANFVcRo\wS{`]CNFvZbutu{|n\oN[V[RvLvG|t]zMxvnBmdzszj]}MzVnrm|vc}B^?M{WXsMmEdBh`]OtWYsJ}E@BX``OuwWcLuELB^`cOwWXSMMFHBP`eOxwTsP]GPAraBOkWUcOuGTAvaKOjWVCPMGHAdaFOmwbSI]GhAh`TPCW\cGuF\AN`wOcW]SHMChBt`JO|wRCNeCtBz`MO~WRsN}GDAb`OP?WJcFUA|@v_oO]WKSFmBH@|_~OXwLCGEBTAB_uO`WLsG]BdAJ_wOaWbcUUHHDnayPGwdsUmHdDvaWP[wdCUuH@DxawPHwlCQmJtClaNPXwhCUMHhDLaZPRwfCTEHtDRa]PTWfsT]I@DXalPOwgcTuI|DJabPWWncXUJ|EVb?PeWoSXmKxEDbBPfwpCYEKTEbbEPhWqSYmK`EhbFPho?SYqL^Eq?APkWucZW?M?Ab[Pmo?cZqME?Eb^Po^