CAT(2448,4)
Sparse6:
:~?eO_?O?G?C?{?R?I_EoAw@s?q?N?F_COAG@C?]?{?H_DOAw@s?u?X?u?V?KGDWBI@Y?p_T?LWD_BM@]?s_`?LwF[BY@r?y_[OIWDCA]Am@H_cOQGHKCiAT?{_^ONwGCCE@z@h?aOOgGkC]AF@E_u_XGKWEeBK@i_r_YwL?EqB[@d`?_HGCkAYAb@Q_ioSwIsDQCoAI`DoagP[GmCTAF`Ao`GPKGaCL@z_}O^WN[FqBzA?_~o^gNsGAB~@R_hOSWIsDQAj@r_wo[GL{FIBh@d_poYGK{EYBH@V_kOVGJ[DiAr@M?moV_H[CoA~@L?oOW_ICC{BBB\@lOuwZcLeEnBT`kOtGYsG]CHAG`AoaWOsFYBt@w_zo\WNKMWBlBf?zo]_\CMcBj@x@to]?\SGKF^AB@vOzOOKMoCBBp@@O__]CL?BRBQ?tOsoL[EoE^@m@fOZOYKOs?b?O_HOCwAc?}HC?T_JODwBK@a?t?^_OOGWBsAI@F?^_POGWBsAA@F?Z_MOFWBc@m?zC{A\pMgfwRy@L?c_QoHGCsAU@T?j_UOJWD{Ay@b?q_XoKGEkBQAV@M_eORWICC}Ab@Q_hoTGIsDUBF@c_qoXgLCE]Ar@Z_joUgJcDaCdAT`JOdwQ[HQEvB\`lOvgZcL}FDBb`qOwW[kMADPAc`QohwTKIYDXAn`UoiwTSIyKoEObGPcGqKXEKbECb@p_gokW]KLDya|p\wmsVaJrDiatpZWlsU}JXDiBFPbol{UoK\DjBFpZ_p{UsK\DtAnPVomSU?JfD`AwPWomcUGJbEGAhpS_pKTOKZEJAipT_pSWoInDDa_POWg[SIIHEJANpFopCQCKTELAOPG?pKWoHBCXAmPF_jkT_GtDXALpFOjSTkGxCzBCPM_pSR{KZEJA]PN_pKWoHzCxaZpLGfCRUHlCRAYPD?ekPSHlCUAZpM?bCP[HrCVAVPDOeKRKGpCRAWPD_d{POHdAQAFOd_`{OsCjAVAGpC_Q[HOG`C?`~P?W^{OMGDBwArPX?^SNoJNDd@|o~OlKNcJPCg@xPIO][QgFhCj@zo|OdkQoFlDx@wP\_\kNCJtDv@vOz?n[V_F^BfA_Oy?gKMcIDBeA`oyogkMgIHBd`oOwW[cMMFDCG@dPAOXKO[EVCI@epB?XcK_GVCy@`OoofcRwEHBDA^opof[KWHzA~AgOoOiKSsE@DK@^OnOh{JoI\Ax`ZomGVSJmDlApAPOk_c[JKHLAsAQOlOckJ?HNCi@TpI?TkQkDXCk@VOjodkQcDTA_AbpQ_SKHwILAaAcPQOR{SkDFE@a}P^WnsV}K@E@a}p^gncWAJ~EAbBP`Go[WUKNDqawP[WmkVMJhDeaqPXPJKUeQoDgaraUwkKTyI~D_apPWwjkTiIrDWalpVGiSTYIhDVaipSwgsS]IVDGacpQgh{TAIXDPaepRg`_fAGMHpcx@AXMWOiRiCJaCA\HIWOQQgCDcj@@HIOOUQmCEci`@g`sPEGdCLaGPBwbcPiGvC\aNPEWdogyH]INaWAcGeGhEHeIRaXAcgcSQMHHCdaRPHwQGeUC_Hhcr_bGPoeQROAL`FaXgZSLmExB]`novXP?LQSSBTdE?thPgL]SQBXdD_uGY?cYQUBMcb_sgYGcaQQBN`haQgSsIeDNAd`QOiGROcQCuHD`KaOWR_cICyHBc_?eHVSjeTxIwd]qmxMskgRpHzdeA\xNKkwRtHiDaQpPLsekUPHkDbQZpW{esURI^CnqW@RSeCSvHaDMQWpRkhwQ|HKDRQRPS{cwTPIjCfqSPTSicQ`?O_GoCwAS@Q?^JhDsQyp\SmsVXJsDwQzh\{nEVfJqe?A}h^[nqVzJ~d~ODWAs@]?p?Y_Ko@g?k?Q?J?C_BPAW`cOaGNCIaDpDGakPMGnCWaJPEWbcPyGtC\aLoHwDCA]@R?h_SOIwDcAu@^?i_VOKGEKBI@f?t_YOPWGSCMAH@F_bOVWKCDyA~@a_oobwQCGqCZAP`FObWPsGqC^AP`GOcgQsHMChAV`IolgU{JaDrAz`\OgGSSIMC~A``NOeGRSHuCvAX`MPdWqSXQKnERbJQCHA[`EOdGScIpvGz{\iMzFZbnPjgt[Y}LTElbUPhwtKYQLLEgbQrc@mWwiZiMMezBbHmOwuZmMNeyBaxi_vaYiLxe|BThnWt]ZyLWekb^Hh?uAYQL`epBRXhOuMZILJeqBRHhorYY]Kve[bSxf?tAXuLPe\BSheGs]X_LAe`bLHggrIYGKtebBKxh?qmX[LJeTBRHdgseX]LLedBJHb?rAWqKseLbLXb_rMXcK\eLBKXoopIWeMCfAbDHaww][QKTfCBDh`oumZMKPeEbXh`_uiW]LheGBYH_GrmXkK?e@BLxf?oMXsKDe[b@H]woaVoKEd{b@x`GnQVkKJeDA|X[gwyVCMNdpbah[wwuVKMJdqBbH]Gm]VCJmdpazx[_nAVIJqdrA{xlwkYUGLkdcBZhWguuZaJHewApx^?j]TcJsdzAlX]wjMTkJxdYA|X`_iYWYIfeFAiHTGo}TUKPdTBCHRwt}YyIYelAexRotmY{I[emAfXQ_mySiJndJA{HQwnESqJqdKA{xjGguSOLSdCbTXPOtYSWLVdDbUHNgwAR{MAc~b^xOGvy[AH{d?B_xc_fYXIHveRa]XcofaXQHzeSA]hggfERcLAcxbPhgWfAYGHtcyBPxJouqQ}LlcoBZhlweEZaHaewAWx^OdYVuHVchA~HIWnuQgJ~cia~hE_maPiJidtaLh\_b]VYGxc[AyXnO`eOsLxcLb^Xn_`YOoLwe|aDxA?qQOaKdcHBHhA_q]OiKhcHbIHdw_yOSKicDbIx@_qqO]KleVABX@?puWsGHcABEX?gpaOMK[cBBExbo]qN_K`eP@{Xbw]uN[KbbvbGHaO\QWmFXbibDGyopUWeFVbkBDgwWmaMGJldt`ph\_[UMMJhb`Ayh`OZYLoKFbZb@gvGoeLsKJb\bAGu?oAWAEpe@@kh_gZUWEEseA@kxkoXeZMEYes@exlGXqZSE\bKBYwqwgYSCERd@`dHOgXUKcIFbJA`HZOe}UmHjdkAZHZGeuRSJZdjAZh[?eeROJ`dmAXHZgeURMJ^dnAXhPwc}Q[IOceacXH_hIQaIRdFASHSO^}T?F}dOa?HSg_ITEGBdQA?W~gjETWFwb{ajW~OiyNwInb|akGvgayLwGncW`nxE?[APeF@cX@ngxoYiMaEjbV`swt_[}L[FQbU`sG{oXyLCFibs@fwsG]eLEFjbr`gHocwa[JMEfCr`xo{wY[HMGfCr`Xpkwi[VMKfFRbxnsv}[@M@f@r_hmSvMdaLsezskpmtJ?ZjL_eorWhkcuUZFLYelrVHjkt}Y|LRH_rRaVct?dzLPH^RRqV{tGe@K{e]rOHfssEX~QcE]ShPftIcY@QeE^shpgKrsdPQ]ENSg@cLH{W~K_HOrGaS[qKdDJzd}Q~X^sn}VtJOdgqshYklMUhJIddqrHXskuU^R_D^Qnq[Kk?fDRdD`qoa[[kCfHIwd[qnHV[jiTzRYCksupJCdoexH\HnSvpJTLsQvH?c_qOhGccUQFHGcdqQQ_ccYQMSDiBaQhFSbmPxG|c^qNhDCaePTGlcUQIxCSaMPHGdcRqHhB`HicoG\hKaFiR_`}cyG`hLaGI^o^Mf}Fsi?@|Y_G^]NkSBbxD?iao]AgmF`iK@wg{XPeNGSZbqdEgzxN]MsRqblc{wz`NQM{Rubmc|Wx@IiMQQjbdCjGxXIuMYQnhV@rGs`OiLISJbRDBI`gYeLMSNbSDBigpSAiDT@i`tPYgdPEg`SSiItCia\S_fLRfIbtQa\DScfRTJHtsyagtS?eRRJIatOaXTSOeZTBHeSqAgLSodlTNH[SlqiLJci\QzIesmaiC?e?V?L_DOBG@sFmBz@{_~O_GN{Bq@|?~_]oOGGKCE@|?{_]oNwGCLUEpBU`kotwYcK]EDBC`bOpWW[JqEBA~`_OnWVsJADhAq`XolWUKXUKhEVbHPdgq[aqPPGicTqIXDk^YNnFrbxP|W}cXeKpEZbMPfWrTY[khUUJTTdqstXSlRUjJKTeQtDWk^DULFpta`z|Wo^@N`JCRvapLTuixTWiktUij\S_jpTHIzTQam|VkiLTJI|T]Qg|Uoe~R[Itsuql\UgezRYIuTYaZtWGehUBHit`AYtWSenUFHkt`aZDKclLRIJRsqqtDKolRUjHesqAtTKOjHTfH`spqlDUceJREIqtXaWTISk\QeJFshAq\I[k`QgJGsiQqTF}btPzg~S^INlDoj`P\IwsVamTD{jfP`Iyt\AKDCWkbPHJHsPqqTW{aPPCJGTbaGlWs_|OYJCTaqBl@okRO^JETaaB\@WkvOVJLSDArt@SkxOXJMsEAr|?SjdTsG@T[A?|?WjfTtGAS?qmLYK^xUdF}r~asc~{lDU`G?tgA?C~WkHUDF|T_`~[~_kNNxJBR|qo\UO^HTdFqrxak{}[jPNhIrRyAlK|Gk@NRJ?rtAnk|SjxNVI~T^pytTKhVSiIjTIAi|QoidShIitTAdlM?hrRdIYtLA[LRWfDSvHqTMA[\JohDQ|IPsnacdJ{hJSfH_soActJcgDQzI?Sma^|OCdpQuI@s~aU|H_fXQXHuseq\tHgf^RpHMs{ARdMWd@RfHNSyASTIKfRRjHOsyaR|NGcdRrHHs|QQdNOcjRvHJs|aQtGog`QMIHSbQaLG{ghQPIItCqQDEoe^PgHfSsALLLCbTPlHhssaL\QwaTPJIVsRAeDCshbSrGftKaHtB_bhOxGysMaMtF[`vPxG]s]AFdUC`fOvIpsLQkTT{`dOuIoTVaEdAscBQDGVSJAODGG`^QCGWs_qEDDk`RPUGRSIaJTD[`NOjGksUADDRg_POHI\sAafdRs_VS}GETNq@k}giXNjIerzAhs}wi`NnIgrzQh{{ocRQEFfRrqP\G_]`QFFgrrQPSzwiJT?F\RnqgdSC\vM{I`rnQgSzOdTMtHTrlaTcz[dZQnF[sj`vCyggpMjIKriAasycgnMlILrjAbSyWg\MfIETBPslOg\DMbIFtApsdPo[xS\FMtF`r{xwg~S`FOtG@sCxO`JMOGORcQCKxG`DMTGQRcqC\YAlBUajPthYsdXikvU[jMtfyrtXQkjUUjJteYrDiwjxYnI}ukAntV{tbYrJ?t_BUTVYjnTwi|t]YnTUyjZTmivtZyllOQgJSEiBtAY`DNafrRyh|s~Y^dJId`QphXslIUlEyb^Pogws[yMTEGudPdLhutAK\lSbHZVGrutaKtD?u|Z^GguwAITmCafZbGiuwaIdByaFO~g_SOiGLjO_\YtGFulaADj[_fYxGGumAATi_^`YhFwui`}S~OtVNtLUr{rTdlc]pZYFlRuRZ\lo]vN\LkUvPzc{Y]NNGfcrqxxTk?]@Z@F_uo`wTkS]JZCFaUopw[ywwPMnMCrkB`SzCwVMrMErkb`cxWv`MVLwrer]kx_vdMXLxreb]dkouLZLLburbXDkcu^ZJLguqbYC@m?x?\_Ao@g?cQAG~C`_{o]GNSFUBn@u_eOQwHkCyA`@N`fOrwYCLEEfBQb`ppWws[IMNFCbOPgwrsX}LDE`jptxI{|]InJVej[TmYvTZmlzU{mNFLjfPpuxo[^mZfEjfHpmww[tmefAJiHoewU\NmhFAj``sywY\Ol}FOZgPnuyEZ}m?fPJgpn}w?\DlrFIj[`qevI[hlrfIz\@qmxSZhl_FJzWHrAuC[pl`fKjWhrQuG[rlPFKjS`rQxaYbmWEhZdxi]xeYemeefjhxiEy[Y_lMfSZi@hqs}\QlJFMzfhhmsm[{lKFNjRPsAsq[~mbe]Jh@feyQXymdE]zNhsqrw\JktFTjKptMrM\SksFTZj@eerU\VmaERjIPsEyIXNkhfPjI@sIqa\BmReOZFhqaxKX?k^fHjF`qap{[fm[eIjDprYp][tmZeJZfPaqxoWjkRFRJCxsmpG\HkSFPzDHsapI\Ij|FSy~XtQnw\Tj}fTi~xt]yoV}lYFDJUhpUwkYumJelzbHjewoYwlSEFjTH`}tSW_lTeGZThaMtWWalGEvjZxhEscZ_lIEwZQXmIsiZblBe}j]pgQsOZxlze`ZPHnmvoYEkzebzMPgireYJkyEbJMhgyrkYLmFEWJ`xeEw_XamHEWzaXeUwaXcldEVjJxkaqyZJkmEpjXHdiquZFk\E{JFXnQpkZqlweLz]hbaveWxkWEjjEHi}pcYokXekZEhjIteWsltEBJ\X_uo[ZkkFezZAHm}o_Zmk?FGJcH_ExCWAk@fGz?hqUoG[cjyEOi}hcMnkXCkad|y~Hc]noXEjpECi{X`MnGWSjrEDy{x`UnIWUkddwZH@]AmwXLkcdvZH`\}qSV]jjerIz@kumqZMjlEryzXlEu_VUkMDsyy@`aoqVPkLDsjBX\UoyVSjdEsixXlMmWZSjeetYxxl]m[ZUjaETIwhdUmKXUjbeTyxHdemOXWkBDnj?xZ}oOV?j_eAYwX_mmCWIj\dyi|hZalsVgj]dyYvH]mlwVkjXEmiuXjmlgY{jYenYuxj}lkY}jVf@it`oIlY[CjWf@yu@oUl[[Bm\vNJflryy@[~mUVJZddqyx\[llkGNZZIBz@}ZYo_Eu{GPlvAAZ[k~GLzNyBas?_xl?gMjOYBqsC_zkuUZZLte}rbXojxgSy|qC}n]`OjwGSY}QDQna`QaAP@W_tzLAx]uOmwUru|zPAx]tOmwUrvE@T@n_RO[wDcFU@\@v_WO]WDCFECX?b_OObwOs@mC`?d`COFwBcGmAT?N_iODwACCu?d@N_KOSWIS@UBC~v_tN}V~sET~t@l_?OXwLB~t~`Af^uOgV|SH|~\Ab^yOiV}SIT{l@z`ANewORxt{p@|_~NgWOBx}Ak|~_kN_WJRwMAw}D_oNaWJrw\y[~^]gNwViR}L~G|T^sNUV{rt\yDAR`INPWQrs]Co|H]eOfVhSHlxk|r][N\Vmrrlzo{|]}NOVnRr}DS{j`UNJVecJUD[{n`WNKwURrDw|?~]OOOVdCC\xD@B]QOQVcsCT|{{V^\NCvvbpT}C{\^aNEVwBpl}czz^iM~Vyrn|}o{@^mN@VzRoLvC}n\qNkV[rzLvO}t\tNlvvBmtuk{F]CMuV`Rllv?{P\nNBvZbot|CzJ^QMrVsrk||OzP^UMtVtRlM@wy~_XMoWEbkM@kzD\cOMVWsBltc~F\YNqVUr{lto~L^gMnVxrjm?F?L_Ao@w@K?l{a}J^EnbvqjxLz@E|]qPowvRtmL{|\b[NVvkS[ELWzn\wPkWubndvdEr\yPlv]sY}KPFZbDPuWpc\]M`ERbGPswps\ULhD`bUPUWjSY}IxEpbZPWwuST}KxDHbIPOWgsX}KlDBadPeWgcXmHhBHaZOqwfCKuHtBNa^OswfcLEMTCPbcPCwac[UGlFFaLPrwbC[uGHD|aBP^w`CWEGTEBbBPBw`cWUGDCfaOO~WbcNeG|BzaQO~wcSOEFXEx`vPmw]CZuFdE~`zPow]c[EF@Ch`pPIweSM]FHClaVOyweCMeL@BT`jPgwZCYUEtEf`nPiwZcYeJHA|arOnwWCUeEDDj`bPZwWcUuJbDrayp\wn[VeI\H`cpPSxKcSuRLDVctPTXLCTEPxHpcuQOxLscUQLHvc^Q[xGCfURHGlcQQWXKSa]RLGhctQJxLCamOXHTcFQTxACdeOdHZcJQVxAcduO@F\bnQ?w{C_UNDGFcDPxw{c_eNhGpc[P~xFS^mNlGrb}QLXEs^eNPHHcePzw|ScmQ\FlchP{xIC^EOrGZd`QFXWC`}PFG_dcqmhWkjyURI{dbqohVKjQUVJ?dZq]HRkfiS~H{dOq^hS[iQSFIed?qiHOkiiSNIkdCqbhU[jASZImdDqeXQ{hmS`JrdIQ|XQSnEV`JddrQ{x\CnUVTJvdvQ}x\cneUpJLdlQrxYCluUdJ^djQwxYcmEVw?AeCq~_?comW??EeE_?h_So}Wc?CeB_@h_cpF