CAT(2448,1)
Sparse6:
:~?eO_?O?G?C@??V?N_EOBW@s?i@s?k_SOIWDSAu@V?m_VoKWE[BI@`@@?_OP?GkCGAF?v?^OMoEkBs@h?u?]OM?F{Bc@t?a?Q?HwCWAS@L?_?J?MWAw@o@h?v?K?FwBG@w@j?u?O_EwF?@g?z@b?moWgJsD}B@@`_HoCgAC@Q?j?P_r?CWKW@A?i@f_q_DGL?@IBG?R_j_Aw@ODaAq?N_E?Ug@gDm?[@[_MOFWB{AA@B?]_ToIGDSAu@R?k_WoJwE[BA@d?m_[oLGEkBY@n?w_AO@W?{?e?P?E_}?@GNW?UB{?F_}_AWO??a?K@~_P?FGC_@u@K?]_R_FwCGAM@??d_P?QWCWCi@G@J_e?HWHoAYAY?f`\?`gOkGICFA@`AOIgDKAm@P?l_UOQGGsC]EmBL`eOrgXSKeEVBE`cOpgW{K]EPBT@aOt_WKLSEDBD@jOt_W[LSE@Aw`YolGU{JYDrAt@fos?U{LCDlBQ@YOsoVKLODpAy@WOmoU[I{DzA{@XOkOV{JwD\Ad?voh_MCI[BbAg?xOi_McIcBfAY@dOeoXcHwEVA[@coeOXsHsEZAM@VOkOQSJGCZAN@Xok?QCI{CbAH`EOaGO{GiCV@{_|o_GNsF}Bz@x@PO\OS[H{BnA_?zOh?NSF_DB@l_soYgLsEmBX@c@iOsOKsLGBNBO?poY?X{ESEfC|@coqwXSKqE\BL`g@LwfWK}EaCw`h@MWY_RqEeCy`_OoWWSKMEJBC`\OnGV{JmDzA}`TojWTcImDXAl`JOdWQ[H]ChAWai__WioGICEDV`A`UGO_TiCKDX_m`RwJoTAIa@__p@Swi_D}Ic@`_joUWJCDqAt@Zau`VGlwTmI}Dqav@VWk?VEJ_D]aY`RghGRQHeDIad`KWeoSqIYCqaT`NWfoQqH}Cla_@JggORAIACnbJ`cWqSXMKlETbIOeGQkHYChAV`HoVWJsD}BB@a_oOAg@c?m?Z?N_FODwAs@a?r?Z_LOEgAs@e?n?Z_KPHGb{QIHBCbaOPDWa[PYGhCVaKPBWaSPEG`CMaFprowK[IMJFBbaPpgwCZqL|E|b\pnwugYAKyEubZ`fgv?X}LCEybO`mWqkXEKlEQbIPcwrCXmKnE[bKpegrCX]KrEYbMPewqGYeKcEibU@dGqgYmKkElbV@cwlgZmJ[E{av`oGm?ZyLyDqaw`nwh[SeIXDIafPRWpoQUHOEMaT@cGq?Q]HQENbF`HgxgOEM[CEbf@?gxoOMMYCCbe`@W]cM}FbBo`xo{gewS}HsDOai@MGfWTIHqDPa]@SwbGRuH{CYa^`EwbgSAG{DAa_`FG`gV}K?CMb?`BwoOPAGcEBbA@CWnGNmFwD|`}`]g^oVmG?D}`~`^G[oTaIiBb`r`UWioMQFODYaj_xWZgSMF?DC`n@PWZwSYFCDG`o`PxGGcAPxG}c\qNxFkdcMXFGbdppwxK[iMPFFbcpqgxc[mMDFCb_ppWws[MLdEsbWpkGu[Y}L_HTbWaTxIWZIL]HSck@lHIoZMRQEybYaXXLOZYLoHebZaXxL?ZeLRElbTPiwtcYyRyEfbPa^ws_gALII@c~@iGsogILEH_bQAWXKOYaLKHbbRaXHJwYUK|E^bOPgWrkYIKJEEbBP`Wo{W]KPEIbCPaWpSWeKZELbDpawpcWqTABVdP?ugZ_iMEuIc`kAhhSgLeJfDsazp\gnCVUJSHQce`XxIGUaQ]DhauARglWdAJAIZapAfXRoUMT?DcarAfHRwUUIuHoct`VHLgTuR]D]aoAZgjweqH\ClaTpJwdcRAHdCtaYPLgeKRMH@C`aPPHGc[P}GeITaIAdgaoh]GmIWaIaegb?heUiCHaBasW`WlIGOJRaDAtHYoOqFiJD`zapg^Gk]FkJH`|AqHXONaFSIqdU_yxToMqFQIndW?zg\gjEUUINdeAcHQ_k}UYIPdHasHXohIQMH]ccAUhJgceQwHIceAUXHWdmWGEDbBp`gp[WuKXAm`VokGUKJMDdAO`EobgP{HICbAI`BoaGPKGqCV@h_toZWLsEiBXClaTpKGdcQyH^HEcaQOxGkcIQBGScGqChA[`YOjGAc@p~x?c_AOBFlbwpzg|{^IN`FTbjPuGzK\iMnFNbgpsGy[\IMhLQEbB@X_oseWGLFeABQH_osiWILJeJawxb?mQWuJgeKaxXbOmYVMKUe\AvXf_lyV?Kze]avx[Or}VAK}dVbFXbwjIT[K[dWBFhTgqETaK_dCbPhPOs]SULHdEBQhPosmSYLGdBq`HOkgMSPIEcibCXI_pIQeKReGAThIwpUQoKSctb@xL_o]RYKGeCa[HLwoeR[KGeWAFxeWaIX[G\eVaFheGaEXcG_eGADxaG`aWcGXcLBCxB_pUOuKSeRADhcO`IXEGSeQACxcw`UOaKdcDqBH@s_uO`GNeM`wW{_qAW{FabqbFG{Wp}NKK`bibAgyoomWWFVbkBBWzOo}MqKMdvaOX]?cIVaHBdxAPHGonQVeHDdzaohVwnUU?Jwd{aox^OkQVkJ@d[aSHIOjmQaIycfAnHHwjyQYI|dJANxFWhaPyITc_AeXF_h]P{IYdeahXXWiEUWIadfAgxY?iYU]IcdIAtxZWhIUoIPdmAcHZGg}SeJYc}a\xNofaS?Hxd?a]hNwfqSCHzdTA\XTGfMRcIgdRa[XTWfYRgIkcTaWhJwaeR?GicoaJHKWauRGGmcAasX@GlIOSJRcBatHYo_aUiGEbxakxU_^QTkFvdZ`}HUg^YToFtbfaGwy?aQPIFQcR@sxD?\EPMFSearOHgSsMYBLCe_ROhg[sQYJL@e]RNxfkryXtKze[rLHekrYXpKveZrLhfKrQXjKweWRKxd{rEXdKmeTRIxdKqaXZKkeSRJHdSqmXRKlePRGxccqUXNKegKBDhbX@iWmOXeKCExbH@uWsO[eDRAx`couW^KMd~R?X_CoIWFJ~gUA}yDgnm`SJ{gTa~YDwnu`[J{e@cAI@WoAWCOId~c@x_H?Y_QJ}f~aQxGw~iQONzccb~H~ocqQSN|dtqyX\SmqV\Jlg?apY?OkY_EJFgAAqHXP?U_?JHgWAfHRpBM`aI\gYafxRXBIT?Osf{AXhLG~]RONscrb|X}oeURSNxcnQUXJkdiQxHZcYcQHEpCePoPIgeaMYHWbiaWGvcVqKHEcbEPdGrc@cFiCW_I_}F~cACGICO_A`AG@b{p}g~[^uN|F{gF@yY@w]i_YFggG@zG{x@E_WFjgo`zW|pEAN]PabwCWw}HEUbGFqgI@uyAg]AMwORgJ@vWzx@I_mF]hJCcANlF_cbP{HIs]QQdFgcfPzHHSZILhHqb^PmHNS[YM@IAc_NmhHbzyQG~EcgNqfxcdYQO~AK\EObFoKwECBE@\?n_XOMgF[Bq@z?~_^O@G?k?Y?N?H_COugY{LaErB[`lpLwfSRaHxCza[ozG\sMeFVBi`uqPxHCceQTHKcdqSxIcdYQnHWcirdHqkx][lMXfKRRHhktEY`LMefrRHhksyY^LOegspQYLKWefRNH`spqYdLGePRCHgSkPjCtcdhLZHZRVAU[tsdjLYHXS`IOlG]cLQGhCsjqK|EWdVPhHUSYATlJ?bVQmGtSxqJTM_avRhGmSyaJlMoa|RjGnsRQU|CcdpQzGcSRAVdJgaTPJH[sNqZLLS`xRUG]sOAZTCCenO}HkSGyBt@}`@O`gPStaA\LS_dOSHjsuaA|@WepOTHksxp~TM_^vRhF}Sy`~k~{fXN}HtrzqW\KS^\RGFwr{qWtKO^dRFFwRqa[S{kfFNKHqRrQ[LMW]^RdFfRjaT[ysdZMkHURkQUDIw\`QnFVrhaVsygeBMfH]riqV{y_eDMhH_RdAU{xcdpQxFIsm`qtJo[nQzFKRcATCxCdTQiFFrcaTKxKdPQhFFSkPjtJKZBQqEprVqUcu?djQuEpSqPhct?eVLNHeRSQXkswe\RIEesTAKDECajPUGpsTqKdDcbJPaGkSLqOLB_b~OzH?S_aEtBcb|QBG\SBASTIO_ZQbGFShq@|IW_bQdGGSAaLl?kbbPkGBSZa?|?cb`PnGCS?p{\??^DO@FqS?`{l?S^NOCFrSf`zc}?dBN\HMrvqSC|wcxN`HNrtaEC|g`fNVGWruqEdBS]pNXGXRtP|c}_]`NhFgrs`|S|K^ZNSFtsE@wc{c_xOZFbSE`wk{__rNFGMr|@rSxk^jM[FzRfP}{x{^rM]F{RaAG[wcaHMIGasO`p\C[[ZPEFER`QNDFc[DPyF@s]pocw[bzMEG}R\aM[vkblLwGys[`m|F[ZrLyGyR[APSvGcXLpHDsbpmlGsZhQMExrYPs[u[\JLgFOrX@sCuW\HLdFPSxi[TMMfJRchosuyZ|LqezR_hnTlqZtM?lhRZJYtlaZdZ_e~R\JXssIYTLQe^RRhgsriXTKqeVRLhctmQVlJwlvR@J^SnqvdZgeDR?J]sdyRDHecvQYhJScYQDHUcfQShHSSIH|CyabPQghsIa{tAwnNOjJqSJq|DAonJVbGUsHAx\[o`JVMGRtsACt[{`RVLGSRnhv{{A]BNBf`RmHvKzi\vM|f]Rkhu`_E\jWBFXrlz?gzYZwVEe}dpxnp[U[AVHf?Dqhnx[amyLjeuDwYzouuZSV^jpBZhlx]AmmLSjkBSizGtMmsLVjlbTYz_tYnvWXK?T~JBX^un|W\J~t}I}|a?nlVyj{eFy}haIWDK@d~q~h_[oADXAl`TolGUkJYDnAx`[OTwJCDqAr@Z_lOPGGkCAAB@A_`qMxFccAP|G~c]qRXHsc}QbHQcgPxg{K]INFFdbqR[hm[vAZhLpeyuMr?T_Wp|WyK?u@BFd_KpzWDK^txrH\cgnPVbKbTxBG|]WqRVdKcTpYwt[]mPVIjctmRGDZgqBU{K`UPQv\ZwqHU|K`tlbEDZ[pfUrKVTmBELbGlhWnJYuHQstYCpLUaKRtgrDLa_lJUcKTUMqpLWgpxUJK]uMapdWwp~ULK^UPal\c[jXXGIuuQQltckj`XIIvtXRHdUcqbTeKetXrHtUgq^XOIsTVrDta{jHWrIpuKAkDUCpdWpIpTURD\TgpVTZKUTVbDlasizWkImTLREdRWpjSvKZTMBE|RgprSxK[ULAeLb[h`SsK[tKrEtbSh^SqK[TArHdO{q\XPIETBRHld?g`SMKfuFB@T`coNWYKCUEr@L`woXW\KDt}qv|[CnxVAJ}tpA~t[Ko@V~J_T_qp|WOk`UDJGt`qqTW_khUEJHt|ant^gkDVtI}t^q}|^_kBU?J{tSq]\TOfhTTHytTa]tT_fpTVHztRQzd\[i\VWIftuQiD\gidVZIgtOQzlSKn@TCJotwagl\{iLTAJnTiqf|YohvUfI]TNQtDS?lRS}JTTIQr\QgkxSjJMtJArtY?h\SlJNt\qc\V_hHTxIQt]actQ_jxSfI|tFQyLPwmdS^JhtGAydQGmlS`JitdQb\XWgnUVIKTFArLXggrUWILTCQ||PGn`SRJwtDA}TPSnfSUJyT[Q^LVGftRzIxt\A^dVWf|TtH}szQ_lOWf\SFHvs{A`DNGgTRpICuSjIddUqlXVkhuSzIddIqlXTkjuOzGTcAqBXDkaUHR`dospNWeMFUIB`|agwbWhMGUFzCDaEpDWckPuDzA\`QojWWkJV@b@l_wwNWNMCUCB`LokodWPMDTyZe@]inV[qJuTzY|prQmVVKjetriyD[}lY[umZdjjf@Y}xqUom\dkjfPZEw{TFicFFyhHqAxATImPdQzcPSqf}[Si?FDY_HpIgC[RmJd@JapOMxH\MMQvHji@qexN\QMSPaWpSWaHbCraYPLgekRIEzB]`nowG[SMENVFfbsPyW|c]igrSZiJtEibDPqrHXdkrUYZK|eaz^\smxV[Jm\vEx_\`mXFWJjhrUxa\]mXfWjjxrQwy\SmKFTJbHtUws\UmMFTjbXtUvA\`mmevJjpluy}Z]lnfWj[@uAuS\cmpeqzkhkqzKZLmsErzkxkytdYrlYUlZUtj]rw\VmkE^ZjHfyysX~mmE_ZjXgArk\Vmle]zj@f]yqXwmmE]ZjPfiz]XWmwEUZJhvMqw\pmyEUjJXvIw_YmmFekJ`hiuwWYkmGekZ`pi}viZzlzE~j^HnuvsZslze~z^@nqw?Zmm?ezz_PnAwEZpmAe{z_`nIuG[gmREqJcxkUuK[hlcfHJchk]vYY|l\EyZ\`jetoZgltEnJ\XjmtK[ilRfIzT@qqtQ[llTfJzTPqyt?[]lOfFzSPqAxAYbmPehZcPiQse\?m]Ebjfhg}x{YOm^ecZQPsEsS\HlDfQzhhgqsY\KlCFQjPHsauCYDl_e`JVpgIt}YBl`e`jOxkAs{XilNeZjLXhirWYZkvefJRheuwKXcmBeXZKpoarM[HmDeYZL@oiq{ZaknewzK@mQrAZdkpexzKPmY~}\hmtvZJlluiz\\imtvZJlluez\\bOAvXC?tuT?N_GMrWAblE?czN\MmfvSZiDtMyd\AN~w?Bg|sL?B\CO@VPS?dsX?F[wN}V~bfT~gxl[xN|vLr~L~sxv[QmHvDZatp]whZUOPutsCdl`@LZXOQuusC|lh@PZOlgusjY\lUuhYVOGudCAm@Ksr_SLJUdSAth`?dXtOVwKBMDfD@bXqOXWLBMdfL@fJ|d}Q}y^dNif|Rzh}s}Z~L~i~v^{n~V~Zq|xa{f]TnIVdjmtvezp\tm|V\{JqD`A\`IOjWTsHmClAr`NOlwRCJUDTAH`DOgwSCHECXAd`FOiWSsHMB|Az`[O^WVCFeDp@z_zOmwOCJmDX@F`VOQWUCCmDd@L`ZOSWUcC}CD?V_KO`wOS@uCH?^`BOGWOc@mCw|j`INWvkcHdzLAZ`JNYWRrut~|?z_^OAWFc?EAD?B__O@WGc?\}d?n^kOKvxsBT}`?x^iOKVysB]A{}v^^OXvvCED|t@b_sNoVvcET|T?J^YOBWAbyt|\?N_HNkWABzL{c}F^INaVpbxd{[}Z^GNfVqrwl~K|z^sN^Vnr~D~W}@^vN`V|RwLyS~B]eNpVhr{\y_~H]iNrViR{m@S|F_SNQWDbsTx|?b]`OHWCrsD}s{r]\NvVfb}D~G{x]YNwver||xK}^]SNgVsRql|G{l^SNKVsrq|w_{\]FNEvcRpTx?{R]NNEVcbp]Ac{B_iN@WIro\wP@X]EOVV`SDlvw~r^|M~v]r~Tvo~v^}N?V^R~dz[zl]wMzv]RvLvg|t]{MyvmrnEDBAb`QohwT[IeCRAJ`EobwQ[HDylEl]kPjvjSZELc|\]oPlwubt}BTEx_uPmwLsZuB`E~_yPowMS[EGHD|aBP^w`CWEGTEBbBPBw`cWUM`DdbhPXwycUeMlDjblPZwzCUuMHDXalPpwxCTuMTD^bfPWwxcUEJ`DLaxPRwmcTEJlDRa|PTwnCTUKhD@bJPOwgcXeILEZbNPQwrcSeHhCPaZPCwfCPUHtCVaLPNwbCRuFpEla@Plw^SY}FxEpbYO~wuSOEFXE``vPgw]CYUFdEf`zPiw]cYeLpB`b\OwwvcMUL|Bfb`OywwCMeEXERbFOrwpcLEK`BRbDOqwpCKeGxA|aNOnwWCQEEDCb`bPHwWcQUHRCjaUpKwd{REE|H`cpOtWYseUEpHf`lQYwZceeMxH`bnQWw{CeUNDHfcsPxw{cemQhHlcjQZxJCfEQtHrcnQ\xJcfUPXGtcSQKXEsamPtGnc[QHXCsbMPxGHc?QOxGC_MP|GDcaQ@x@Sc]N|GVbyQBW}s_}NpGPb}QCw~S`UNPGXbtQEw|c`uN\G^cPP{xCC^EQRJ?cdqRXHskUQfHOdcq]HUkjiSFI?d[q^hU{fiT~I{c}qoHRkkIS~JCdOqphS[iYUVIcdcqiHOkgyTbIkdEqjhP[iiSNIqdCqexQKhIVfITdKQ|xQsnEV`JddrQ{x\CnUVTJvdvQ}x\cneUpJLdlQrxYCluUdJ^djQwxYcmEVw?AeCq~_?SomW??CeE_@H_So}Wc?EeB_@h_cpF