CAT(2408,1)

Sparse6:

:~?dg_?O?G?CB_@]?q_W_LGE?BM@a?t_Z?KGEwA}@U?r_S_LGEOAi@k?k_V?LWEwAu@X?m_UoQ_GcCYAJ@C_bOPWFSBa@r?|_\oNGGCBy@~@@_`oOgI{DaAl@M_foRWJ?DIAa@U_j_SGIODQA_@T_g_SwJWDQAq@T_l?SwJGCiAW@Z_l?QwGwCiAW@H_c?QwHwCeA[@G_e_PwNOA]@L?g_XOLGE[BU@n?u_WOKWD{Ai@V?h_TOIwDKAu@\?k`??bWPoGICAAK`A?_GOWGICIA@_~_agNoGmByAH`@_^wOgFuCG@}`C?\wNGGYBoAF_{_aWPWF]BoAI_|?XWN_E]Bu@e_xO[wMKEyB`@n_y?ZGLWFYBY@t_s?\GLOFUBQ@u_p?]gK_FmBE@{_o?bWPoEEA}AK`B?VgP?DuCM@[``?GwCkAQA~@`_oOVGJsDuD}BI`c?oWXGKAEMA}`a_nGWoJuE?Au`__mGVwJ]DeA}`]?lWVgJQDcBH`W?qgUGKaDIBE`R?pwS_KUD@A]`NofWR[HqDsAY`K_mwR?JeCiAx`\_dwVOHYCcBA`I?pGQWKMC]BA`G_pGQ?KMDAAl`P?jgTwIMDMAj`S_igT?IqFo?e_SOHwCsAa@NBt@{O|o^SNWFrB|@zo|O^[NoFlBs`xO{w^gM}FaBz`}?{GZSLmExBW@|O}?ZKL[FrBO`forgX[KqEZBh@poyo[kMgFHBR@oosO[SLGF@Be@moy?Z{M[E|BS@uOt_\sLSFZCd?PoHWCcAM@J?c_yO\gMkRCHGCdaP@HgcWQ]HOCcaT@GwdGQIHUCEaU`@Gd_OUHOC^aS`GGdOQEGxC]aMpEWb[PiGkCdaK@HwawQYGOCkaC`JW_wQmF~C?`~P?w_SOEGeCLaI`Bwa_OyGSCOaE@CWaOOmDtAz`[onWVsJqD~B?`_pCwakPQG`CQaGpY_kkUYJHDdarPXGkgTyJ?Dean`XGjWTyJ?D\an`VGkGTaJEDYap@UWe{ReHpDQahpTGigSMImDDaj@PGg?TmICD[a_`VWiwRuH}DTa^@TgjGRiIsC{ak@MweKRIHfCuaYpLGkGQyJECoap@JwhGS}IUDPad@SGhgSYI[DGae@PwdsRAH^E_BLPfGr[WUKLEFb@P_wocVWKtDwBMP\or[XcJvEWA{pdonSX?KPEMBDPbopKWkJ~E@BEp_?pcXCJxERA~Pc_nkV?KhEUAxP[OqkUsJfDtAvpZ_mcUgJNDkAspYolC[OMEF@b`@oWwO[ML\ElbUPlWu{ZYLoE}b\@oGvGZ}L_EhbW`iwtwYiLuEeb]`iGv_Y]LGEqbP`lGsgZMK}E_bO`fWsOXyFnBt`zPRGhkSyIRDJadPJgeCQ}LBE_bPPfWr{XyNVFlbuPy?|[]gNZFhBuPxO|K][NPFeBtPv?{S]OM|FbBmpv_z{\oNBF\BoPrO{S]OM^FbBfPtgzC\]MjFRbiPxOxS][MXFeBdpq?{K[cM~FFBoPpGwk[YMqFObl@sgzW\E@D?a_PQGOcSQQHFEMbGPbwpcWmKZDiatpZGlsUuJ^DfaspYGk{UeJPG{CWAMXFWbIPaGycXaMXFWbUPgGycXaIhEgamPgGkcTaJXD_a}PSGmcRaGXDGaMPOGacOaHHCoaMPIGacNAMHC?b]O}GucLaMXFW`uOwGycHaLhA_baOcGvcHaMHA_b]OcGucW@~XEO^}PaF}cFaHHCo`EPIGOcLaBHB__yOyGLcCqAx@S_YOPGFcAaJX?Wa}OGGmcRa?hDG_EPOG?b|aEHBO^qNsGXbzaEG~G`iNoGXcI`|W}_`]OkFubwaDW}W`]NcGUbvAFg}?aAN]G^dDAExBk`qO|G_cNpogw[[EKzE^bNQBH@k_yN\Fobvqd@RShKSrITDLqe@QKhWSdIVDGQbPRKg{SvIMDLQa`QsgoSpIJDJqZHLseuRTHjcsqWPQCeGSdH_DGqVPQchKQ~H]DIqbPI{g{QrIMCkQTPO{gcQhIGCjQSPOcdKSLHQDAqR`O{gcQ`IGCfq_PH[gKQZIACeQQ@OKcgSFHHD@QP`OCc[R|H~Caq^`GSg?QHH~C`qN@OcbwSLG|DAqa`F{goQBIJC_Q]@N[fsRtHxC}Q[`JSdoRhHrClq\`Kse[RnHgCyqWpL{eSRbHcCwQx@ZklmUxJWdlQuX[GiYVCIddpahxS_lyV?IbdPAvxRwmETAJbdOAwhR_lyS{J_dMavxYgkqUmJMdjArXXwkeUUJPddAsHWWiaTSJDdSapHYOjuT}JSdhanhU_jaTiIxdZAlxW?jEUCIrd_akhVOjAT]I{dVAmxT_k]TYJGdTaphAk`]OlGWcLQEX]opEVoKRdzbCh`[oqWZKMD~r?PaCo{W@J{d~Q~X`omaW_JheFaxx[gpEVKKRdqBCh_gnMWMJteBA|H]?oaVaKIdxBAX\goQWCJne@azh\WneVWJyd|ayhN{gAR|I@d@q_hOcgYSJIFdCqaHf?pQXsKUe[bDXeGrMX]KseWBKhfWqqX[K|eUbNHf?qeXsKje[bIhcorUXOKveRbLhc[qUXHK_ePRGXbgrUW}KveNBLhbOrmWwK|eLbNHawrQWqKreKBKhZsmAU~J`dpQwxjStmYrLReirTHj_siY{LKembQxgwt}YQL`ecBWHg_tqYKL]eabVXjwsEYEL`eoBOhi?tYYcLWegbTxfosuY]L?efBNxmGuIZGLrexBWxm_uyZ_Luevb\XlWv]ZYLxeuB]HkguaZMLierBYXnOwAZwMAe|b_XngwM[IL~e~B`GHKC]APAf`SoiGScIYDJCEaAp@G`SOqGVDxa|P]wncVuJ|FKbdpqgxK[]MPHecsQXxKceURFJgdsqxx[kmYVHLOehRSXhks}Y\MuFWRk`vCzC\nMrFUrlPt{zO\\MqFTRj@uCzC\VMfFVriPtsy_\ZMiFQrh`tcyk\HMhFPRhps[y_\BM_FOrf`s[x{\DM[FQrepssxs\HM]FKRg@rSx{[rMZFIrfPq{xo[lMRFLRd@rCxG[rMOFIrcPq{xW[^MSFErc`psxK[XMLFFrc@pcxC[\MEFZRa@vCw[\nMrFCrlPp[zO[TNk?KODwAs@e?v?Yf{?FGBs@u^{?__OoFwNCFeBnB``pOwGZkL}E|D?a`POWfkRyH~EfbSPhgs[YULHGBcAq@H?S_EO@IgdTQiXT[iuTXK\eNrFhbKp]WpLaeqRWxkku]ZLOdGSSIaC|AW`ROjGPSJQCdAo`FO^GQsGQCtA?`NOaGMSHABtAK_zOXGMSEqBt@g_zO^GJSGQBDA?_nOXGHsDQB\@O_tOUGGSEAAT@[_bOLGHsDQ@|@O_\OIGHSBAAL?k_`OLGBsBq@D?c_\OIGASBA?t?k_JO@GBs?q@D?c_DOBGAS?Q?t?G_JN}f~s?I?C~y^~MxF|r~@v[zg^zOjFrRyADlAo^NNbGSSI`{k}O`RN_F{Rw`~S}C^rN\F{Rv`~S|{^rNtFlr|pzc~W]tNrFkR|@zK|[^dNUFzr|Pyk|O^lNQFxRsp}c~K]bNMFvrs@}K{{^`NJFurrP|s}o]XNGFvRqP|c{g^ZNnFarpp}K~?]LNiF`RyPwc}k]FM~F}roP~c{?^vM{Fsrn`|[zs^TQS?DOBG@[?u?^?MhO?CGAS@EdK?R_IoDIStIadNQehSShySXAydIOnhQCKIJ@G}c_PYhFCUYPpDuc_PZhFcVIIhIIamQ`gjCgIIPIAagQ`ghcgiHxHuaaQ^ggCfiH`Hia[Q[geceyHXH}c{PIhMcQYRPCYcwPGhLcPyGXH]cqPDhKCPIG@HQaCQUg_cdYFhH]cqO~hKCNiFPHQ`wQUg\cdYExHE`qQRg[CciSXBQ`kQdgYchIQHBEceOrhHCKiOPGacGQIh@caYOpGEcMP~hAc_IMxFuboP}g}C\iNHFMbuPtg|C\IM@EibWPqgwcYyLpE]b]PhgucYIKHGmcYPbgpCbIK`DybKP_gqcVy^O@]?p?U_JOEGA{@m?t?X_LOEWB\Oo?z?]_MOFWBs@qc\QOhFtCa`dPOg\SRIEtCa`|PCghSRIGT@q^TOWfxRzICT@a^lO_f|SFH~t?A`\OcgDSII?tAq_lOcgHSII@slIUTJMdjQvhZTCQ\tN?g^RnIGSyq`tOofZRkIEsyA_dMggFRhIAsxQ^lM[f~ReH~Swa^TNofFRzHqT?A[DL{gDS@HosiQ]|IkfrQiH{S|qTdIwfrRwHUs{QZdNKe|RqHmssqYtLSepRSHjssAZLLkedRYHgspqXlK{eRRGHfSpAXTKWeXRDHdsmqWLJseFQ{H`SnaVDJge@QxH^sjq]dJCfjQoHzOAg@c?m?T?K_DoBW@{?y?Z?N_FTZoAC@I?b?O_GoCi]|NefpNhftryh}c~I^fNtfzr|h~[~u^xTtIvt\qmLVWj`TtIxT\qm\VOjlThImtVql\TwjTThIoTYqkTUgjBTkIptZaklUsjHTkIrTZalDUsjNU@IlT_qjdWGivTVIxt\AjLT_jdTSIvtTamDTSjbTeIgtSqlDU[idT_IfTWaiDUCi^TJIptRQklSojHTGImtVqhTTwiRTwIat]ag|VciLS~i_tOIgTSQiFU@I]TNao\RskDTwI[t]af\VchtSuI|tLqndR_jzU?IYt^qe\ROj|TzIWtKandR?jzSmI~T_Ad|V{hZSZiMtFIbtQAg~S`iPtGicdQUhLSiIItJAa|QkglSfIKTIQbTQ_grQPhHsciRTHqcvQ^hNSfYS\IUdHUUJotwqrD]GknUjJkTjQzTYomrVWJSTuatT\clRUdJotwqs|]GlLUaJlthAzlYKmxV]JNtgQ{DY?m~VZJMTvQrt\okzUXJoTeqz|Xgm|UIjETayplW}k\UOjHTcYq\XUkhVBJittqwl[OmlVQJ_Toayd[CmfVPJ^tsAvt[{lzUyJctnAx\ZkmTUvJbTmQxDZ_mNVKJYTlaxt[sljUCJWt`au\WSldUmJBtkApLY{kPVcKJuEQ{t]SopWPKDuCr@l`GoXWMKCUCB@T_{oRVzKNT}bBl^co~WYJzT}BB\`onnWDJxu@q}l_WnhVoJ~t{b?L^Co@VlK@U@A||_Kn\V{JtT~a|d^snVVfKITyRAt]_ojX@?NoGGCK@}@B?_gkSUiJLDmazP[iRtIYdDQqhTSjkgEQjIPcqqaXJkbeRzHHcuqOXMkaeQzGpcqqSXCkceOzH@cEqMXAk^EOzG@cIp}X@kaeNjGpcAp}XCkRERZD@c}pMXMkgeGzChdIpGXOk\eMJFPbupwWxkYeGJExaIpkW`kXEJJE`aypeWlkVeIZEHamp_Wil??CwAc@U?h?R_It@i`DO]gRSJiDSiYTTImdXQmhUtsYx|\AmXVMjetqYx\[imLVGjbtkIt|YylbUqjXugRP|iGsbYbLGUgBPdhws\Y^LEuabQlgksnYHLJUaRQdhGsVYRLDUaBR\g[szYELMUeBOtg_stYFLKu`BP|gSs`YBLGu_BPdgGs\Y@LEu^ROTf{s@X}L?u^rOdfssJX}L@uTRNLdKrnXSK{UfbMdi?rlY^Kyu[RSLfKtFXqLPUdRLth[r`YUKvuYrR\hsrZXkLMUYRRLegstXgLKUcbKle[sfXeLIUXJKTeMr@X`knuVRNTdwrvX{KmU]RJLdkrnXwKlU^BI|d_rtXUK|u{alLUmjTTkivTZZ?l_]oLWAkAU?z?L_An~V{j~T~Z]hnmvmZ|lzE~J]hnavmZylzE}Z_HnIwEZsm@E{z]`n}w?Zqlxe~j_HkywEZOm@ErzXXnmuYZ|leE~J_@kauSZ~lce~j^@kUvsZFl{epjV|kEu@Y|l^UnJ\xjevaYzlwEmj\`jYv[YwluelzU`meteZjltElZU@mevUYqltEkZTxmYtYZglVExzTPmYtWZglTexzT@nAtQZplvehz\`iQv[YdluehjZPlyu}Z[llevZ[Plev?ZWloetzY`mMukZdliexJW`lEuCZRl`esjh`ryx~[|m]VMzfTowyR[NMdvBRhTscwT[KMdvArhTsWwN\GMCvPr`DoOyL[EMcV@Rg|r?y@\AMVVJrgLp?xV[lMHVJBaLsSxP\BMTVPBdLqGw~[`MQVGrcDqSwx[fMNVHbblpcxh[ZMZVEbelpWxn[WM[vDrfDrCwf[rMIvKbadf]rrXwk|U^JN\vcy~\zMoV]bjtuizV\kmrvYZlDuOzl\eMzvXRnDvcy^\zMgv]biDsszl\MM{V\rhdtkzf\\MyvVBmdt_zZ\nMlVZbjLtSzB\bMjvTbkTv?yd\qMiV[Ri\mYvPZflsuyz\Tmqv\Zllwu{J\|xgzx][M~Vernly?{n]aNKvgRrDxs{h]^NJVfbqlxC|H]dNHvcbs\xg{\]ONMVbrr\wm{Z]KnCVajpLwS{z]FNNv`brtwO|H]dN@Vgro\v{|@]?NPVgRoLsYyP\FmcvQzhT{E}F^An^VoJv|zG}H^ENYVkrwl{O|^^ENWvkBwl{[|X^HNVVqBtl{[|R^HNTvqBtTyW|p]gN\VhrvLzk|j]|NZVnBu|{g}r^KNlvqrzT|{}l^`NkVwBy||o}`^QNnVsRzl|K}Z^TNfvtBxt}_~V^iNuvyR|d}G~J^bNrVxr{dcAp~W}lmUujZ\leunZWmfvSZiDsuy\\Kn[VmjvLzU|n]uo?G@k@A?J?A_Fn}g?z~y?U~{_Co?F}{?P~r?A^yn~f|z~h~e~{^wnyf}z}p~q~g^ynyf}Z}p~]~g^wo@fzk?h~B?G^noBF{[@@~M~c_FoR_@w@K?ar~X}k}vFzcLqAwx[\mNV_jodwMz~]@n?Vqjx\{q}Z^NnfWLcFMB`@v_vO\WLCFeBT@|_|OXwLcEEB`@d_vOWwJSE]BT@^_sOVWIcEEAp@d_jOWwIcDmAp@\_jOVwASCM?l@F_IOPWFcFMA@@v_^O\WEsFe@t@|_[O]wECC}Ad?t_XOSWDSC}Ad?n_UOSWCsCe@P@L_dOHWGS@}AL?b_aOGWBCCe?x@L_LOQwZo?c?U?L`MOvwSCMMC|B``JOvwRSMMCpB``IOuWZcHEEtAR`DOswYsG}CXBT`kO`WZcGeEtAF_~OswYsGMC@BT`bOmwXSJ}EPA|`_OlWWcJeEDAv`VOrWUSLED`BN`POiWTcI]DTAd?F_CoAG?{?e?PaXPGGdkRAHJCmaPpHgdkRAHVCmaSpBgc{PIHVCOaSpAGcKOqHJCIaPp?gb[OYG~CCaMo~GakPaGBB}aJo|G[{NAFRBq`qo|g\[MyFvBk`{_AO@g?k?Q?J?Ep\GG[C]AJ@H_eoQwmSUMJ`DfaqPZwmSUeJXDnawPYwmcSmJpDNazPRWjcUeJ@DlanPYwksTeItDbaqPTwnSTEJ|DTa}PSwgcVUIPDxabP\wncSEJ|DBa|PNwe[R]HjC|a\pMWY[L]EjBX`mouwpcZuK`F@bFPnwsS[]K|FBbOPpWwSXeKxFFbaPewvcXMM@EVb^PdWo[WUKBEFbDpaWvCYmLtEnbZPjWscZELhEhbXPhwxC^MNlFLbyPqw{s\mM|FjbsPvW{S\]NHFXboPtWxs]uMdFpbgPzx@S_UO\GHcEQ@w~C^}NxGBb|Q?WdkREH^Ezb[plwuKZULfGgcMqGHDkaiO~GacMqGHC{aQO~GacHqHhAkaQObGgcJqJHB[aiOrHKawp[wl{]]NVFhbopxW{[cqQrHOcmqRhJ[dAQjHKcjqRhI[ayQRHEcXqKHH[dIQBHUcaqTHG[biQrG}cmqNHJ[caPjGwcbqLhH[gaRPIBcqQ`xKsgUSHH^cpQ_xOseERxHvc|Q_XNCf}RTHpcvQ\XLcfMStIHdNQbXRcgmS`IVdFQdXQSheQRHJcbqjHSKjATFIcdVqhhT{iiTbIgdUq_xO{gS?DI}dX_@hWSjS?HJ?dZqn_?cjeTw?Ad`qmhW??^