CAT(2280,4)

Sparse6:

:~?bg_?O?G?C?S?H?C_AOAO@C?a?P?H_DOAW@S?m?V?n?UoJgDcB_@^?o_WoKWD{BAAc@O_gOSWIKDAAb?}_^OOGGCB}@~@B__oOWGSCMAD@H_doQGHcC]AT@L?dORoG{CsAR@M?cOR?H{CwAV@D?XoP?EcB[AJ@C?XOP_EkBWAL?w_\ONGFKBu@vAM?TOIgDSAm@V?j__oOwGSCYAH@D_XoLGESBU@n?u`R?egR[HuC~A[`NOdwRKHeCnAW`KOawP[GqCXAL`EoaGOkGYCTAH`BobgP{HACbAR`HO^?OSGOCBAC?~o_oOCGKBz@}@@Ob_PCG{CNAD@GO`_QKHKCTAQ@CoUoQsD_Ch@Y@IOVOQsDcCj@[@Io^?JsF{B@A@?ooWoOCEGBz@}?no]WNSFYBn@w_|o\GMCFUBb@q_xoYWLCE]BJ@c_rOe_LSHkBVA[?uOZORkE{C|@m@NoSwIcDUAl@V_hPGODCA]@R@]_ooWGJ{EIBFCoASPIWccQYHNCdaT@HWdgQ]H[CcaT`HgdGQ}HOCkaNpFwbsPyH@C_aJpDGasPMGjCQaMPFWbCPeGtCZaM`Jgd_PiHSCXaU`FGb?Q}HUCZ`}@?G_GNiF{CBaA_}w^wOIFyCCaD@@g_wOmGQCEaC@Bg_wOuGOCKaD@CW`_O}GUCNaE`CG`oPEGQCO`}_gGSGNmFwAb`P?}gSgN}DGB}`zo|W^KNYFhBw`sOyW\cMmFTBl`roww[kMQFLBa`m@?GZoOQGAB``n`?gZgOUF?CB`iOswYkLIEbBO`dOqwXkKqE^BMaH?pgaWKQEMCT`c`Dga_KaEICV`^`JgW?Q}HUA}aT?oWd_KMHYBA`W`GgcGIqHAAm`V`GwU?QMHCAl`SOhwTKImDTAe`j?zg]WLiEmBn`k?{GZWNIFaBX`]_lGV_JIDuAu`X_mGUwJeDsAtbk?HGCsAI@B?b_QoGwCKAI@H?e_QoHGC[AE@J?e_POEwBcAA?z?]_NoEwBs@u?x?__NoEgBC@eFvB~`}O}g^kNyG@C@a@P?w_cOUG^COaGpFgcCP}@|@?_^oJWDsAy@Z?k_UOMgFKBa@v?|_]OgGSKIMDHAa`Qo|G]kNYFnBx`{Oyg\[MuFPBh`uOngV{KAEFBA`_okgUsJQDjAr`ZomwVCJeDxA|`\OjGUKI}DZAm`WOigTCI]DVAe`Sq^@NKfiRpHuc|q\xHOd]QUHWceaUXHwdiQkHKcfAUxKOeQRCHdcpaXhKweIRQHbcsAWxH?fiQKHvc|aPXHGfaQMHuc{aPHGObiPuHBc^AMHF_b}Q?Gxc]aOXESbQPfGvcYqLhDGfAPOHpcxAHhM_aiPMHtcxaIxDGcMP{GicRANxCwcAPUHAcSAOXLWaARSGacQaZxCGeyRWGccuaGxA{`QOlGXcKQDX@s_}O`GRcHQCXKw_yO]HccHAXXL?`ERQGRcGAXhBw_mOsGKcLaBXB__uOyGKcNAAx?gaAOKG`cAaGh?waMPIGFcBAHG~wb]PeG?cYA?XEg_IOGGqcZA?wyS\MMjFSbjpthIw[mMQHZbcAUGxOdeMKHUbbaUhJw[qQwFMbfaWWxgdyQyFPbgAWGw_ceQOF?cb`pXG_[EMEHDb`APhE?ZuL{Gmb^aJwvgaqPaE}b^aJXKG^]QwFwcn@|hJw^YQyFvco@}G}C^ENfFtbyP{g|wa}N[GocW`zW|OayPWFkbtaJW}__MNeG@bw@~w}G_AOGFtbxA?g{od]NQHXbraTg|?daNGHZbqaUg{oeqNGHibqaYw|?eyNQHlbraZxA_\}M{GTcJ@wHAw]ENEGWbpAEWww]uMKFjbc@ygxG]qN]FJbv@qgwW\mMCF[ba`vWzG[QMoF@bl@oGyO\yMgF^bi`wWyo]INEFRbo@txIOUYQiDhataSHIWU]QaDgatATGtoeiL]HjbWAZGuGeyRYErbXAZwt?dAQcEhch`ihI_YmLYHTbUASXJ_YMQyEccn@hXK?YYQ}EfbPAWWr_[qMYE\bO`sGxwXyM[E^bg`gGvOXmKkEybJ`mwr?ZqKqE{bL@mw~OXENqESb|`cg~_XMN{ETb}`cHIGWiKUHQbFASHIWW}KWHTbEaTGocWUKLEGbCp`wnofAJ}Hpb?A[goGfQKEHtcx`_gn?ciJqHJa|ARGnWcuJwHNa}aRgz?VIMqDrbl@\Gmg\mJmF\az@vGl__aJYGGavAAWm?_iOSDpavaAWkGeURMDbaoAXGkOeYRQDdcs@XG~GTiNuDZb~@Vg~OTqI}F{b}`VWigZQIqEubZ`Tgj?ZUIgExb[@TwhoZYLmDNag@lGv?TELqDRah@lXFWSUIGGxa`AMhF?S]PwDBc]`PhBOSiOuDJacaFHBgSaIYG^aeAFhMoRqH{Hwa_A]XMwRuH}Hya_a]xM_RmHkHoaZa[XMgRiRcCxcx`MHHORAQUCpce@KgeWcyHiHNaYARXvg@I?d?Q_IOCwAk@M?f?S_IoDGAk@Y?n?V_JoDgAs?q?Z?O_FOCW@{?q?`?M_FoBWAKZQLjEvbZPmGvKZiLxEzb^Pnwvk[QM@F@b`ppWwS[]MPFEbdpqgxK\EMXFNbeprgyC\IMhFVbipswysAa@R?f_SOIWC{GABx@}_}o_WN{GQCDAB`DobWPcDaAr@Y_loVWJcFYBp@x_zo]gN[EQBP@d_rOYWK{YQLFEabQphwssWYKHEGbCp`Wo{ViJvD{a}p]GnKVIJfDsayp\gm{VAJ^DmauP[WlkSIIFDCaapPwgsSaIRDIadpRWhcRIHjCraWpKGedDcaZPMggSRyITDE`EOngQCKIChBE`KOqgSCLICxBM_pOXgLSEyBd@]^qODf|C@h~`?]_SNzf~CAX~h?a`SNsfxcIX}xAy^iOlgTb|iD_~a^gO\gPB|yBw~U`?NugOb}H}X@y`mNng[b{iFO~E`oNmgZB{IEg}u^UN`fuBwh|?}E^SNbfpbxx|G}I]QOsgVbrhxXBA]YOqfeCKXxPBM_UNBgEBpI@g{U_YNEfcCAxwx?q]iOygYbuYEo|Y`mNVg[buIF?|i]]OgfhCHYCW|A]gOfgRBsXyXAQ\qPTghbmxuxDQakMwf]CUIIwzi\gPFfYCQHupCe\iPIgeBliHWzUSGNBdBBpXwwgI]GIFdAbphx?gM[{N?f_BgXs?{E[wNAfNboXrg{I[kOPfJcChr@@M_gMXfLcDiAgxi[ONMfCbrHxGwQ[INIfBbqxoo{uaAL}g`B^yGowIaEM?gaB_yGgwE\yLqf^B[xvwv]\}Luf^B\HvgvU^QLhfsBYhko}mZMNffuBYx|OuaYsPRelcTHjxDUakL[gkBVYIwtyYqOXgLbTyAwtQ_oLTgMBUIBOtYYONZecbvHzosi]}LJfoBRXzgsqa?L@e]CMxfhBqX{O|e^cNxg@ByaYKpeWCRiHwrIa_KrghBLYIGrQ_AK]gABFy?OqA_EK`ePb~xcP?AWoN~eKc?HbP?E_EK\eLc@I?Opq]iKQfjbCxyopQ]oKTfkbDhaw|iWWNZeFBwHzwpE]{KNeGBvHzgouWKNOeBbrx`?|E]cKHfiBAxyWoiaAK?eAcPX_HCIWCPBeACPh_XCQVsOhgTA}yDon}`UJ{gUA~iDgnu__JtdzCCH^H?y_[JsdzcBx^@?}`uJgg]AyYFgmiVUO}g_AzX\`B}UwOPdmcChZp@M_gJ^docDh[@@UVEMvdrbmH[gzi\wJedpBmX[_zm^[JPfuash|wlMUiNodiB{hY?~EUMPSdaCSyIokeUIPTgkAqIIwkYSOO]gNaahPHAA`AIJgPAbXP`@u^qI}d^b}hW?~mUAN{f~AoxWO~uToNcd[bxXVg}YTwNed\BxHVW}UTCPFdPcQHS@CeTGPIgeAhYHWiESsODdLc@xRh?a_QI^dNCAi?ohq\OMafSbgxtOyQ\UMdfRbjXsoyq[SLAe`bbXg_wmYIMMebbbHgow}XGL_eQbWXcouIZGKfeqbIXd?uMV[Lwdvb]XnOnAZyJpe}A{xnWnIUSLMehArxXWs}UWLOdebSxiGkyTgKudYbLxf?jYXqIve\akxfOjITWMmfXakHToy}TYMofXAkXuGi}UoIfdjahhZGiaTQJYdTauxTOlYSgLkdIbZXQouyZ]IVewAeHmGheXYIQdFBIhPwqmSaKkeVacHQWqyS?MTc}bcHNoxE[cH{d?bdHNwxMlQMyf\rlxvKzq\pMtfZRlGBs@m?x?\_OOFwBC@e?t?Y_KoEG`KOmGZCIaFPBG_{OaGLCSaJPCga[P]GjC[aKpEGbSPuGv@M_foRWG{CaAR@I_eOQwESBM@h?u_ZoLWSSIED@Ab`QOhW[sMIFFBc`roxWZcLuE|B``oOvxkCuEZDLbeqRXX^[nqVtJ}d~q~XY{laUrJZdlQthVCjeTtI{d]qmxUkjITfIsdZQlxRShuS|IZdNqfHNcgARzI@c~Q^y~P_InwW?k@d~Y~X_EoIV~kAD~i|p`In]WRjwEDI}H`UneWVjxEDi}`]qnOVtjud|i|H^]noVij{dyy{h\QnKVSjrdsy{`\UnCVTjpdsyx`[ymYVHjgDqiyP[amaVFjfdqyvp_qmAWNj^eBZ@p[AmEWPj`ECI}`YelYVtjzDii~HYylWVvjTd}IsXIud[UchVdhyU@YUdcUghWdhizxXymwU\jmdfysH]AlCV]jODwYqx`aoqUWkLDeZBhXiowU[kLdeywPW}kUU}jFDoIp`Z}mAUOj`dbY~`VynuT{j~D^Y~hVmjqV~j|D]ilP_mjUWHiuE@j@PUaoMTfiseAIk@ZAl]TZinDkIjxZElaT\jVdVIvXTiiiU{j[DTivHT]ioU|j\DUYwpRemIS{jaDLyw`RamKSyjadMy_H[]gCVHiBDqi_X[mmWSCjcD@Y^h]Yf}Vfh|dwi^`]MnIS?jqC~j?`MifYW@hvE?i\H_AoIRkk@cyzA`MMoeRchsECi[h`UfKWVhreDiZh`aosR]kMcvzB`MIoqR_kLcwYuPLaeuUsjZCvIYxZUesUrjZcuY|pLEn]RQjwCsy}PLYegVrjwctYX`ZUleRLjZcriXXZIe]UuhgDlIXP]anYRGhadyYWp]ieQVjhbdzIVHYMdsUch\dhYV`YYd{Ugh]dhyRX_uo[Q[hMeBJA@H}oaQ_kFcfiQp\YmmQVhKduIR@\mmqQThLDuit`G}lYQRhGDjitXHIcgUihGdiYPH\YmmQIjkCayzHGqc[VZhEduiOX\qcOV^hADvYOx]AcIV`hBDvj?pFuoMP}kCC^z@HGAcCWJkDC_YN`ZqbsU|g{dmyNXZibmUxg{DmIxhEmbWVMgudryLp\Ab_VQgvdsYgPSyhyTHi_dRYfpSii?TJi^dRIbxXEh?UQiOdcycPXQkkScjIdGynxPek?SYj?dEyb`WIg{UCiMd_ykHOujCSMipdByk`PAgcTeiGdXY_xVMjgSGiydAYmpOijoSKizdAye`NehcRyiZC}IehN]heRthzDKYgXM}f_TChwdPY]PSYiORshxdPyVxS}eGTOiiCoIWHTIeCTPihcoyUXQUdgSeiRclYd@JYhSQwiSclySPWekIQ`hQdaISXWYkSQehQD`yaXFEggPqiIc[yapFQgoPuiJc\YKhQmbKSkgrdJYL@QybSSogsdJySxD}dOP_gocjIKPIibGQhgpciyJPVIjYPZivCVIlxDuaqTpiwCVg?k?U?L?E_Bo@ysdYUlLUgjRtgwOkGYCNAG`DOaWISDYAf@S_joTWpSWqK^EJbFPbWf{RqHzC}a_pOILLEabLPdgrsYiJLDiavP]gmsVJl@ryzQ[~mtFOZg@uqyE\lm`FYzg@uIzG\@mqfNzkpryyE\fm`FWzi@oayc[HmhfAj``tEwY\TmDfTJg`lyu}\DloFPj[Hs]vE\HlpFQJg`lIyIZRliFPjYhs]um\GljFQZWHtmysZDl_FTjWPt]yqZCmkEozl@iyta\kmsejzUXuuzSYqlWFYzhphUySYOmdecZQPsqyYYSlHfRzj`f]ri\`kzFWJMPturg\^kxfVjL`t]yoXlmkeZjjPe}ra\ZmjE[JHpuIzEXNkgFXJIHuUqe\fkhFXjiXbeycWwk\fTJFPtUy_WvmgeLjE@sipa\JkXFRJhhbMy]WtmfELJjxauywWjmmeJjDPtyp]\_kUFWZbPqYwu[fmMFIJbhqew}[jmNFIja`qAxA[TmJFGjaxqMwq[dmKFHJaHrIw][rmFFLZexpAwc[smHfLjHXnuqSZ~m?eQJH`nqqQZ}m?ERZX`mQuYZdlfExjXxm]uaZhlgEyJ]xkauSZxlce|jXXnivuZEl{EpzT@jitQYzlTEnJTXjut}Yll^EjJd`hqsy[llNFJjRxq}tA[plOFKJPPiIsUYblEEhJPhiUs]YflFEhjQpgQsmYDlKE`jOxhesQYZlCEejf@fyxqX~m\E_JfXgExyYBm]E_jKpjQrMYtksEljLHj]rUYxktEmJZ@eAuyXdlkeWZZPeIuwXclleWzIxfiryXWkiE]JIhfeqkXzk}EUZGPdiquXBkmEPJGhduqMX^kbEVjF`oIpy[Bk^F@JFxoUwKX@k_F@zC`mipIZjkREzJD@m}v[WhkRezZBpnAp?ZplyeGj]XaMpAZskNe{kAiAN@C_OoQGC[Ci@J?e_foIGHj~AAb@Q^xoTF}kDX~m~y_koUf~J~p}B?E^cn~fw[?@}J?C^do?fwzzp{U}M^Yn`fuzzx{I}K^\nmFpJy`}q}i^lnjFzjyx}}}q^pnkF{Jxp}Y~M^NnsFsJyH}e}e^jnhFyjva?i|y_Jn^GBJvy?u}A_Nn_GBju@zY|a]vnXFmJuXze|u]tnYFmkApyj?m]joKFjKBHyv?u]noLFjj}Pxy~e]^nyFgJ}hyE~m]bnzFgjqQ?Q{e_DnIG@jqi?^?Q]VoCFdjpA@r?}]EoNFazoy@v@A]HoOFajx@wA}Q]@ndF_jxXwM{I^LnAFrJnPyQ|I\znRF^Jsxvu|Q\~nSF^jm`xazi]XnLF\jrXv]zq]\nMF]Jlpwqz]]LmwFbjpxvE{a\rnGF[kMAGbBaaHoxGakPaFNCY`toyGa{KyEjBU`couGYKLiEVB]`hovGXkMqEJBu`]oog]KMyENB?`xo|GV{OQDJCE`RpAGTKIiGVAmaFojG`kHaDbAY`XofGUkHyDnAa`\ogGVKGACZAA`Fo`GQKGYCfAU`DodGPKDqBj@]_zoWGNKEIBv@}_roXGNkEaGB@i`|o[g^KEqFzCA_vo[G^{ViHNDoaMp]GckVIG~DuaOp\Gc[SiI^DGaepSGg[TQIBDEahpPGi{RQIrDYaZpVGfKTyHvDaa^pWGfkUQHRDgaTpXgdkQyJ^CqatpKGlkYAJzEaa~phGoKYYKFEEbTpiGokWaKjEIbJpbGrKWyKvE]bHpfGqG?ILpEl?APmgtw?ILxEpbX?@gv{ZW?LFBbY?@GwN