CAT(2280,3)
Sparse6:
:~?bg_?O?G?C@s?Y?M_G_Cg@w@A@A?__OOGGEoBE@`?q_XOKGEKAk@h?k?XoKoDSA{@j?m?YoJOEcAU@H?e_SoIGC{BA@d?p_YoKwEcDWA\@M_foRwHsC}AZ@J_eORWHcCmAR@I_dOQWHCCaAD@D_`oPgGcC]AJ@F_bOOwGcCI@n?x_ZOMgF[Ba@|@?__oNWFcB}CIAC?go_oIcGOAdAB?io`?I[GKA`@}_}O]gN[F}Bz@s_zO\wMkFaBr@h_sOZGL[EuBT@r_xOZgMCE}Bb@c@?oXoOSEKCD@a@?OXOOKEWC@@]_moVGKKD}B@@U_joUGJKDmAtBC?OoGWCSAI@F?b`k?sGYKLEEbBO`gOlwU{JYDjAt`ZOmGVSJaDrAy`[onGV[J}D|B?`]opgXCKQEJBH`bopOXSK[E^BG@eOqoWcKcE\BE@eoo?WKJ{EBA{@`omoWSJwEFA|@`O`WOsG]CPAI`CoigT[IuDRAm`UOiGScIUDFAe`RofwSCIICzA]`Ooq_Q{KkCpAX@eOe_XkHoE^AZ@fOb_XkKgCXBK@Eoc?X{G{EVAJ@fOjoQKJ?ChAp@JOk_QkHGDhAr@HpK_B{@u?|DC@YOjwU[JADbAq`GocgQ[HQClATacPPGgkS]IRDEa\pMgfcReHzCwa\pNWfKRqHtCwa^pNgf{RyI@D?a`POgg[SEIFD@`nOwG[SL}FFB`aY_xGeoMUFQCv`r@Lw[wRYFOCtaRPIGd[QeHTCfaO@PWcGS]HCDCac`GwcgSaHGDEaL@KgbWRIGyCsaX`FwboRQHeC[aI@JGagREGkCoaK@JgbGQ}GmClaf@BgaOSiIUCNae@CGaWS}IYCPaCPAW`cOiGZCJa@P?w_cOUGNCE`tOzw\kMmF\Bka?O~W^sN}GBB{`z@Jg]wQ}FoCp`{`KGd_NmHYByad?{G]GSmFcDK`x`RW]gS}FgDM`l_twYOLaEeBX`i_ugZgLYEwBSbc?EgBc@mMa?X_KoEWB[@i?v?[_MOEg{?@]?f?W_IODgAk]o?\?N_GoBWAC@I?Z?P_HOCG@s?}?l?R_IODwBC@U?N?G_CoAg@c?mHzCwa[pMgfcRmH~C}a_POggKSMC@A@`@OHGCkA]@L?h_SOHgDCAQ@J?h_RoIgDkA}@V?m_UOJGDSAu@V?n_VOSwIKDIAj@O_iOSWI[DUA`@Q_iO]gN[FuBx@~_~OWgK{EMBH@e_qoTgI{DaAv@X_lOyG[cMYFNBd`spDGakPYGnCXaKPAG`KOiGVCLaEOzW\sM}FTBj`uO|G][NAFdBt`wotGYkLIElBV`hq]PMsfaRjHrcyQ\xKweyROHoctAZXLGe}RcHkcta[XKKeURDHbcqQXhHOdmQwHLcnAQXJwcyR?HKcmaQxJgcaQ{HCcbaUxK?cMQKH^cmAPXDKaUPLGicRqIHCgfMPKHtcSa]HM_aaRkGicRa\xEG`}PcG_cXaGXE_aIPkGccYaGxBWcMOwHCcKaPXGo`uQOG]cLAPxEw`eOsGwcLaMXFW`qPwG]cMaMh@k_uO^GNcFQBg~{_AODG@b~Q?wwoeyMEHpbaaZWw_e}MCHqbba[HMW^aNqHsb|a\W~_fYNsHwb}a\w}WeqNcHjct@|HLG^]RMFucs@|XIg^]QmFtcj@|g}OdaNgHYbxaUW{oc}NOHOcg`yxIO]]QeFhci@yg|_c}NYHOcg`zw|odIN_HRbwaTHFg]AP}F`c_@wg{WcINIG}bqAOW|obuN]G}c^`zW}?cANaHAc_`zGz_b]M}GxbmaMGzWbiPwF]c\`ug{WbMPgF`bqaKg{_bYPaF_cY`whCO\]MoG_cN`tGzGaEMkGcbiaGxA_\MMaGRbhADWyG`YMeGWbhADxAW[mOgFKbfADWy?`YM]GWbeaDxA?]YO_FfcG`yXAG]iOcFjcH@yH@O\UOSFUbiABH@_\]MoGJbkaAwlo[qM_Dpbf@[gmW[mM]Dnbe`[G~GZqNyE|b^@}G~OZ}NuF@b}@oH?_ZYLqGFbZa@Wv?_YLuGHb\AAGu?[aLeFHbW`qGuO[eMSEtbY@qgt_euLYHpcv@ixMOY}LSHobVAZws_dULIHUbRaTwt?daLQHYbRAUX@GXyOGE^cC@gGsG_]OIEbbPA@gr_eYKuHbcp@fWr?eEKqHdbLAXGq{XIKfESbIpdgosW]KPEHbDpagoOaqKIGmb?AJWoGamP_EBbAAJxHGViQSD{cd`^wnWcyQYD|ce@^gm{VQJjDua{p]Gk?[MMID]ba@VGwOUEMMD\an`pgjO_AIqF~aj`~gjW_MIoG@ajA?gzOUuJWF\bn@YGlW\mMwDhat@vxDgTMPUDPcU@Sgiga}P_DOaiAJgpgUMK]DcbE@XwpoUYJCEPbG@XXrw[uM`FJbfPrGx{\mMxF\bnPvwzS]]NPFhbrPyw|SGyCZAJ`EOcGP{YQLLEfbSPhWtKYMK|E^bOPgWsSXiKpEZbMPfWrKVmJtD{a~P^wnkx{\JMfFQRiPsKyg\FMgFPRh`sCxk]TM[FcrqprK{o[tM]FfRfPxkx[]HMUF`rd`wsx[]JNGFKRpprCx?\fMPFYRc`usxK\jMqFIrkPqcx?[XMRFFrcPpsxG[ZMTFDrd@pSxo[NMZFBraPrKwc[tMGFNRfPpCvk\JMeE}RiPoCy[ZzL}FTRi@n{zsZjM}EzRnpm{{?ZpLyF_ro`nKuS\nLcF\rXpvSz_ZFM{ErRY@vKtmYrLVelRVHjCtC[\LQFErSppStO[XLUFFrapiksO\VMkE_RNptksK\`MmE`ROPt{y?XfM`EYRfpekyGXnKwFQRgpesqEXDKcePrHhckpo\nK\F[RF`vKpk\tM{EORFpv[oG\|M~D}ro@^s{GV~M|E?R?PwK{wVfNHDwrq`]S{kVhJuFerr@]kzCU~J`FZQw@uSmG\fMsDqQwpukjS\VIuFUQmPt{j[\ZIyFWQm@ts{STfIsFcQjpw[j?]HNFDWqk`wshuS|I^dOqghSCu{YzLoEnR[Pj{vOZ@LqEpR[pkKqsZRKnEvRK`lkqwZTKoEuRKPl[sSXNLEESRPpdKs_XTLIEURQPd[oK[BKCF@R@Po[oW[HMEECR`P_{ncW`J{EHq}`acn[W^JzEGq}@aSkCVJJADrQp`\CkKVNJDDtQp@\KlKYXJSEerR`ZCs{UnJTEgQt`h[joU|J?Dkqv@VsjkUzJZD]qnpZSosTVIlEDRB`TsigWRKKDUQiP`[ksTFJMDQQrpSkl?TLJPDRqs`TCrcSxK{DLrM`RCrkStIXE^Qdpfkk[SbJGDHQcpXKkgSjJKDJQd@X[mkSVJkDEQzPPkmwS\JoDGQzpP{f{WjKYDARDpOSg?WlKWD@rEPOKfgSLH}DDQ`PNcfsSRHxDBqa@N\J??J?C_AO@G?k?U?h?R_JODWBC@]?L?E_BO@w@[?q?P?I_Co@w@S?a?R?K_DraxpSwq[ZMNfFR`xpKwa[hMRfGRchqkxE[lMWfJrehrcxe[vM]fMpKWdcQuH\CnaWOYWLCEiBV@l_uOVGJsDuA~@`_oOvgZ{MMFBBa`oPBgaSPMG`CNaGosgY[LQElBV`irXxk[uQZJLgerRSXictIYfLUeirSHh[sqYZLMefqmxVcj}TzJ?d^QlhVSjUTnIwd[qehQ{haSrI[dLq`XOsg]SPIIdCq]XNSfmRzH}c}TGAd\P{hXS`IUtJacdQKh`SaIVtCqeLRGghSrIItLQbDRWglSsIJtAaalO_gnSRICtBAbDOkglSFIIT@a`lOCg^SAIGT?q`tPGgJSPIATHQ\|N?hLRpISTIa]dQ[fdShHxsta^LN[erRSHystQ]tL[ftRwHkSsQYdLKejRPHjSsaY|LKerRQHkSpQaTKcg^RIIGTCQW|K_gZREIFSpQ[\M[eNReHcSyAXLKgfHRdHbSvqWTLse@RCHoSnq[TLweBR`H`snQVDJgd|QzH]smQVdJwdlQ{HZr{qd[~OhXNwIUr|aeC~[h\NtIVsgQ[dMSdDQbHpshA[tM[dLQdHsSeq\|N?cxRpHMs{aRtNOd@RrHNs|QPLNWcTRvHDs}QPdGsftQMH{S^Q_LFwgDP~I@s_A_lGGgLSCH?syQMLFSf\RiGxSyqM\MsblRkGySvQL\Eoe|PlHnsZa[DF?fDPnHosXQ\TEWfVPfHuSyQLDEgf\PhHusXAcLQ?b@S^GnsWQc\EGhHPbIPSUQULDgddPZHXskAJdJSa|QsGmsSqXlDWeXRJGiSrqI|L?apPTHfSjaHlIwadQnGfSjqH|D?dZPPHUsOQTTCKdTPAHTsPATdCSdXPEHTsLQeLRG`lSrGZtLAFDRW`tStG[sJqctQ[``SgGWtIQETQg`hOrIQs}qDLAof|OiH}SIq^lAwg@OlH~skAC\JC`HQqGQskqCtJS`PQsGRsFqVDJk_|O_HZslaBlJg`DQxGOsiQBdI__vQfGLSEQTL@[dNOWHSSuaAtLg_dRZGHsvAAL@SexOSHls@aXt?SeVOIHeSrQ@D?ce`RNGBs?AbL?CgtOAILtFA?[~{g|S\GAR}QWC~geBQ~F}r~aWTKO^vN{H`s}p|lNo^\R~FwS~P}LO?^dR}FvryAbK}cgtS[FtTFP|c}kgvS]FrtA@ytO[]nNTICtA`zDOo]tSJFks\qO\F_cHPxHAs]aOtFocPPzHBsNQHDBoaROzGdSPqF|C?aXPJG^RwQ@|?s^DOMFpsB@{d@?^LOJFqsbpz\H?]xN]HGrwAQS|scfN^HIRsqRS{{cjNOHJRsQQ|H_]hNQHKshyTLIadTQkhTsjYTtI}MDFBbbPpwwk[QDjAv`ZOmgVKJaE@A|`^omwVsJq@l?x_ZoMGF[BiDRAi`TojGTsIuCnAW`KoegRcHmJ\Dravp[WmCVILTEjbUpjGt{YyIlDVakPUgj[TeIxD\anPVwkCUEJDDcappXgk{UUJXDgaspYglkUmI`DSagpTWiSTMaPPJgeSPyHLCi_zO]gNsGICTAE_JOEgBsAI@T?etCYJKuUbBLlggr\YLKwU[RP|gwr^XeK{UYRNTe[rrXiK|u^RLDforVYHKqU`rKDg_rDXbLBU`BKleCsJXcKlUVrKldkr@X]KouVBK\dsrDYKKjUTrP|dSs\YIKiUbRJDgkqrXKLAuQBOdccsLYHKeu`rH\g_qTW{K{UNRN\cCrtX?K{u^RF|fop|TzKlUVanTd{jrX\I}uVAntdkjxXQKSuSBDda_q^WfKfUSrDTdCpVW^KwUErLdfCp@W[KuuFbL|`sr\XLKJuQBAlckolXHKKUEbHT`cqXVvK[t}BFLbgnrWzJ}UMq~\bgntVjLGTzBQL]{shVlLHT{BQl]wsfVdK`TxbGT][qFViKaTyRGd]_qFXqJnu[q{DfOnBVaKytwrMt]OrnY]JmturRdhsmrY^JmTubSLi?m|W{JhuNQydbwmjW~JjTuBGL\[q@VNKhtrRHt[wq^XOJgUSQyTdGmbXEJduPqw|cSmRXDJcUPqxT[oqLXSJSuTQtTYsqrUjKjTjbI|YoqpY]JMufQsLh{k|U^LMTgbSLY?t@UVLMUfqrDhskrY_JLUgQrdhwkvXeJDuXqpde_kZXiJGTbbL\eck^T~KxT_BM\WCrhUAKyt`BM|WKrlYUIxt\BQ|VSspTvLLT]BR\VWsrTlLGTZbQLhGjdYRIwudQmDhOj^X}Iru^qlDUcs@TkL@TYrO\UgsBTaKXuKqk\UCphWtIrULQklbOjHYUIludqjdh_izT]LKtWBR\T{stTJKZTQbEtSwppTLK[TRBE|ScpnX~I`u_AgdgCiJYAIbTQBO\fwiNVpJ\t{avd^KlzVsJ^T|awD^Sl~WBJYtlb?dZ[oJUwKBTmb@DZcoNWPJYTjrAd_{lbWRJXUCAuD`GlfWHJGuAaqT_kkfWKJIUBaqtXSoZV|JAt~aot^{kNW?JCTab?T_CkRV@Iitoqit[OinVDIkToajT[WirTPKPuHaiDTKpDTNKOtTBClaOidS|KUtNbELR{pdT@KVUJqgTb?i@UbI[ThAe|YShrUeI]TiAf\Y[ht@s_yo\wNKFYBp@q_voZgMCFMBbBW`lOuWZ[LuEx]RNFVcBqdxC{d]NNJVbBq|xS{Z]\NDV`brDw[{r]YNCVerp\xo{R]?NKveboLxk{D]\N@v`RrdwO{p]]MyVgBmlyCzn\uNPV]Rs\x{zp[bNOVfbcDqO|D[dNOvGRs\qG{~]UMNvdBbtpo{n]TMMvEbq\xGwv\yMsV]rlLvozT\|Mtv^rllvwzX\CLeVPRXlsWu\ZNMcvQBYLs[u`[lMRVJrc|qoxT[mMTvKRdDr?xR[MMXVBre\p?xh[PMYvLra\pGxl\fMCvABkTuKwT[JMqVBRktoozJZ{MIVDr^|nswj[UL~V?BbLoCwp\YLyU{BitnCyn\WLxU|Rj\tcvfZiMhUyriDtCv^ZkMiuzRidmwyfZcM]vMB[lrgvN[xLsVMr[trovRZaMoUwrjttou|Z^MmuwRj|m?zBZHMwvZbWtvGuNZIMwUqrm\u{uPZ?M@UpR_|kCwFZAMAV@RWdkKwLYyM^Umrf|joy@Y|M_unrg\jwyDYsMdUlRh\jWyX\LLZvRbVLs{tpZuLVU|rT|n_t`ZxLWukr^\ngtdYgLkUiRZLigutYjLlujRZliouxYaLhUtRS|iKufZVLRUtbSdlOtJBB``OoWRkHyC~A_`POg[DqAb@Q_noTGKKDYBB@Y_moUGJ{?aBF?I_qoBGK{Ea?^?Q_uoCGL[Ep}M~?_pnqGKz{IBJ@g^doYfwkCP~b@E^xoQF}kCh~m~y_foRF~K?H~]~c^}nxf~z}a?A~i_BnzG?k@`~F?Y^onvGB{@p}~?S^loDfzJy`|i}}^Xnifuzz`|Y}y^WnnFt{Ap{J?m^BoKFpKBH{U}M_ZnbGEjv`}Y~M]|nsFnj|Hz}~U^@ntFoJup{y|m^Nn[FsJyHze}e]yn\fsju@{a|a^HnXFqjuX{m|i^LnYFrJtQ@A|U_PnUGCkAXyv?i]noIFjkB`yQ|I_\oNFhkBxy^@A]hoOFiGesR]HjCAa@p@G_kO]GL`xPAw`cNeG\B|`zPBW]cOmG\Bz`uPEWaSMeGtBj`rPDW\sP]F`CP`NPCWSCPMDDCT`QPDwbSIeGpAf`fOcwQcLEClBR`KOtWZCHuElAZ`TOuwTcLuD\B^`WOwWUcMUDdBb`_ObWOsJ]CPAx`DOmwQCJ}C\A|``O]wWcFuB|BF`?OqWOcKuCDBJ_vO~wMCOEGD@taAO]W`CF]GL@razPOwnSSEILDraaP[WhCVUITDxaYPXWfcUmHtDfa^PZWfCU}HlDhaePIWhsQmI`ClaVPSweST]H`DTaMPUWjSP}IxC`anPGwkSQ]J@CdbOP^WsSV}LHE@bRP_wosYmLPEDbCPdWpSX]KXEXbFPewrsXMKxEP?@PmGtg?QLtEn?@PnGuKZG?LE~bZ?@Gw[ZO?LF@