CAT(2448,3)
Sparse6:
:~?eO_?O?G?CAo@T?m?ToJWEoBM@h?p_WOLWESCG@~@?_]ONWGKByAQ@G_d_QgHgCqBc@e?roY_L[E_BR@m?oOWOLcEGBb@l?qoWoMCEOB^A@?moVgJ{DqAv@Y_fOSGISDMAb@N_kOUWIsD]Ah@T`BoaWP[GaCTAK`G_eGQOH]CeAL`F?dGPwHYC_AT`??_WOWFmBwAA`B?^WOgFyCG@~_|_^oOCFoBy@}`g_rwXkKqE`BJ`fOOgGcCUAN@E_`oQGHSCeAX@L_doM?XKKS@r?v@boq?F[BWEL?y@dOTwIcDUAp@X_jORgICDEA^@R_hOSoWcCwD~@N@`OS?WKDGEF@P@_OU?V{DOED@T@aOToWCDcEFB@?jOZGLkEyB^@p_wOX_ZSE[Ep@h@kouoLCL[BVB[?tOW?VKJgBBAz?qOW_VcESD|@b@]oY?UsEWDf@f@YOYOVCJ[BVAt?tO{_QCHGF^AM@wobO]CHCFhAN@xoIGDKAa@R?h_SOHGCsAI@J?f_PoGgC[AQ@J?f_ROGWBc@u?|?__NoDgA{@_Hp?XaZ_EwBORiGA?[a@_FW_O@}@?CC_N@@gCGOUD]?``W?FwUG@yDc?[_M_jWC?IyEi?P`h_CGYo@IEa?R`h?DGAgLQAWAG_c?agOwCiCQ@H`E?QwHgGmBu?p_}?KgE?GAB}?r_~?LWNgBQ?o@F_J?OgGW@eAG?Z_a_EgAwCYCe?O`I?CWAOH]?eAW_I_dWQo@Q?S?T_D_CG@w@Q?W?Q_F?Cw@g@EJeBi`tozG\kMyFREAAWPIwdcQuH\Cn`movg[SL}FBB_`RoiGT[IiDXAh`ZOkwU{JQDpAt_TOJWD[Aq@^?m_TOIwDcAu@^?m_XOKGEKBM@h?t_]ONwFkCAAB?}_^oOWGCBq@|?|_moUwJcD}At@]_AO@W?c?U?L?E_CoAW@C?a?N?F_DOAw@c?u?^?Mbm?yg\[MqF\Bh`upkGtcYyL^EpbUpp_uc[OLjFDBZPloxK[[LdFGBXphWsKYQLDE_bPpe_v{XoM@E\B_poor[ZwK~FABNPeWqcX]KlEWbIp__psWKK^ECBGp`oq[WWKdEDBGP^gncWEK@D~a}p]_pKWsJvDxBCPaonKWoJvDyBDP\_okWOJhEAAxp\oo{V_KFDtBBPUoncToJ|E?AoPVOn{T{JzE@AnPTOvCTWLrDVB\PU?v[TgLzDXB]PQOys\cIVDIBlPuohkSwMnFWAePNWfsSAH~DAa_pb_ckW{HLEOARpI?qKQcKdCiBHpKwecRYHdCpaYozw]CNEFdBs`xpFOeCQkGrCkALPJOb[QwGxC]AVpLoa{PSHvCRA[PD?fKP_HtCUA]Pt?aC\?GZFPAGpso`sPGMdCNBip@okKO_JDCKAqpAOksOgJHCJApp?Os{OGLREeA@pi?_cOWLVCDBTPs?^KNSMbBuBhps_]{\OFtBwBio~_qcX_FvB{BJo~OqkXWG@B~BKox?xcM_MTBbBdprO[kMWM^BfBfOu?ys\kErFY@lPuOY{LoMnBZBkPY_ZkUoE~Dj@pOv_lCM?JRB`ArproYkLCMTBQBdosoxc[wElFL@iQd_yC\EMdFRbiptGys\]MpFXblpugw?hEMCISdI`oWwWhIL}IOdH`ngwk[]MLFCbcpqGvkZaLrEyb]PmwtkY}LbEobUPjguSZMLjEvbYPlgsojiLMIzbSanGtOjuT}EjbSAngrwhqKsI\dN@exRwXqTAE]dO@fWscYALBEabQpgxPOWaKYILdF@agpWg}SUEHbEAbGmKVAJdDoaxP[Wlok}JYJMde`ZglglAJ]JPde@ZxU_VMJiItazamGmojeTkDwdZ`\HZGTEIgJ\dk@RxZOTAUuDRdm@Sgg{SUIFDCacPPgb{QEHHC_aPpGgTKI]DVAk`TOiGT{JADbAm`XOjWU[JOWPAw`ZBAgUkooDnA}`]omwVcJeDtKN@^rC?WCpCEBKR@`RC_WcowEFBD`boqGXSKYERBODxq{?XcnCEZJq@fOqp]knOE^JvE@R?p^SnWWHKDD|q}@_{ncWLKYDSQi`b[ikWxIhENQj@b{isWzIUDWqdpTsh_T^IXDWQepU[hgTdJ{DAQ~POknwSLIFE?R?PPKg_V~LCA}P^Wn{VyKBE?aPPGwcKP}HHC_`\OmWVsJuDxAz_loUgJcD}A|@\_uO[GMKE}B\@l`PofwSKIADHAa`KoegR[HqC|A\_{O\WNKFYBn@y_DOAw@{?q?Z?M_ROGgCkAQ@N?b_JODwBS@e?v?WdBQ`HO{geSPIDdFqahP[gqSZIMc]QOXFkbyP~H?b|P~w~s^mNzF{bxP{W|{]yNfFobnPvwzc\uNBF_f]BhpusyW\nMwFQRmPskyc\vMgF\RbXqKw}[XMMfGR_@pcwC[\MAFFrc@o[wS[bMLFAR\@scv_\JMeEzriPmky_ZlMfE{rf`lCx{ZRM_EtRYpsSyKZZM`EuR_@gSsK[BL@F@rO`ocsK[JMAE_r[PekvGXlLoEYRKplsu{XdLrEZr]pd[v{XPL|ESr]`c{vwXTL{ERR\@cCvSXBKaEzRGpm{qSZrKcE{RE@u[zCWrKSFWRk`akzSWlKVFYRQp`[ooY^LIECrA@hcosYZLMEDR?`kSuOWHKBEprXp_{uSWLLeEArVp^koCZBL_D~rVP^ctoV|L]E?Q}`tknW\XJwFVq|ptSnk\VJxFVRj`]knC\XMiDxRjP][ykVhJoFVrP@ZssSU~J_EcQwPhKmKYNJaEbRl@YSzKUhJVFWRkPY[lW\dJTFYqrprCxkUXJLFLRfPXslC[rM[DgQl@pCjS[RIuFDQlpp[w[TrMED[Q^`usgG\tIBF[q^pvCgC\nI?F\qZ@k[uOR`LdCvRX`MKu[R^HlEpQM@lsu{PlLpC[r[@E{bkZfLqC\QChAs`MOhGVcIp|Pq{xONhFxFJRdO}sxGNnMRB{Qu`W{kgUxJ\Dcqu@XCkkUvJXDbQiP[cigVJIjDrQj@[{isVRJgDSRE`NCfsWzKZC{rF`Ncp{RvK[C|QY@fkr_RLHfE[qYPfSrkRVHiE]Qo@HsdKUBJCCfqSPWSkSQ`HQD`qd`GSc[SnIWC`qePGchkQJHEDLQg@B{`wSxG_DMqf`CKh{PFI`CPQCPEcb?OXGpCEqK`@s`?PjGNCXq@`VS_cTvI~CBqA@Vc_kTzGID^QH_}C]wPHGdBvqHo}Ka_NdGhBxpy@KKe?NTFhCpQXO|keKNVHcBuPv`Ok\sSLICBoQaOz{]CSNIGBmRiht[yq\ZMnfVRlXuCzE\hMqfXrlhvCz]\rMzf\RfxsSyM[|M_fOreHrcxe[zMZfLRdHqsx][dMTfHr`ho{wa[VMIfCr]hn[vyZzL~e}RYAQcuccjLjHJRYaQ|HcZZQWEuRWHjctuY|L`enrThi{taYrLZelRUQSCtgdHLVHPSgpj\ISYlQ`EkRSHi[tEYdLTeiSe`iLHkYhQ[EirSqR{t?c|LQHMss@hTLCYVRQEeSsphks{ejLMHiRPHgksYYNLGecrNhfsr}Y@L?e^pww{c]UNLFfbpRJHdpOAXZKnI@RKXe@OQW\KPeGRCha[o}diJidtclh\hJ]VWQqdvclH\pJMTbIndWQjhU[jITGRyh|ahy^_iMf{IddPC~y^giYS\INdDQaxPcguewIOdIcviZghESeR_dICwYZwhIRcSRcxdDHM`PURiSVczdDiaOfYQxH]clQUxJkd}QrHUcjqTHJCdUQWRuccC|HHXNaQQRtcec}XHPN]heH?c]DKXFhRUhgG}c_dKIeOb}PSSxiZAJXDXRmhoGki\AJyewayg{GWiNaEXBhQAOsS`cLdGxB`QIO@G@c@Q@H?k_MgKFyb|dAG~`OiN{SJiC`~y_w^uihTTijtTakLU?irTaIkSna\tJ{f^RoH_S{QWLNKeFRqH`SqqVDJceXQyHesrqV\Jse\Q{HdShaTdIwdNQoHSSkQTLIkdZQnHTROHfsr}HPCfaTPHWdKQYHbCqaXpLGesRUDZAm`WojwUSJAELBD`dOqGXKK]BD@__ooWwKkEQCJA@`@O_wOsGQBh@q_xpwg{[]QNJFfbrQLhFCbiPrGzcZqJXDSamP^GkcVRoxwS{Q]LNFfatoavtZ}lxU|j_toItxZyl_U~jWdoIwHZIl[U{j]dkyqHXMkYUSjJdcIqhW}koUQjJDbiv`W]lyUGjDDoYvpWekWU~jDdoIsHUulATkiwdfys@Uyl?TniwDfyepW]hmUGjDDMIfHWekWSzjDdMirPQQkuSdjKdHicxXqhQU]iSDfYa`VejoSViHd]iaPVagkTxiId]i_pXegMUYiCDey`HXqgUU]iDDfYr@OEg?URiAddIqhOIkkSBjJd@IphMIfIUMhrDby[xXAkcRcjGcwyPpYIc]UbhGDhIQHYUceUfhHDhioHGakCQHhEd`YoXGikKQKjACayHXYQlKPIjPCPisXCeaMUfjQcQIG@VqaCTzg`d^inxCQaIT|g_d_IDPZY`OUsj[CJYuxAe`UUtgUDmYvH@I_gUvjZCCYv@@M_iUsgGDlX}`WM^mUEj?b{h}pWQ^iUDfxd_ito}ql]NpfvDkX|xZM^YUojXB{I^xQyf{SliTC}i^XQmfwSnh}dJH{@NQ^ARtfpC|h{XNe^IRwfqC|yWpSieGTKicCpyWhSeeQTLidcqIU@SEdWS{i]cjYTpRydaT?hVdNyb`H}gyQ]hLdEiRPPacwSXhMdEyNHM}f_Pugzc{YN@MyfePzhxC]iMHGEb_P{gyc_IMPFubeP~g~C\ILxLabWRXhlCZYLpLYeuPihjcYyXxEabGRIgqcqyKpKqbQRLgrcriKPMqfOP]gpcyy\HD}fYP_gocyiFPOq`uSLg]DByFhPAgaO~iFCNiEpGUcCOsgYc_yExGQ`qQFg[C`iDpUY`aTfitCKyDxUajUOqiscKICpTI`CTMihcHYCXS}`MTPgQDSIZ`@qe{O\gOcwYBxL}eyO]gOCwIApIA_mQ`hQcEyB@IIdEOYhQCEY@PLAeaONgDcsi@`LM_[RTgEctH~pTi^}TZinc?I?HTq_ET\inC?iW?~u^oQ}f}Coh~HJ}^uRBf|CoYbo|ih?NZiObvHzhQM]}S^fnDGhy`SI]iTBfjDPHyxSU]qTFfkDPhxxVI]_TriyBrimg|E]eTvfhD\hx@HQ]QQTfdCdhxXH]cqNLhKBrIJ?{IaqNCglBpXwxDm]EP\gmBpivTZilvUzj\tmitdYelTUjjSTjYtDYelTUjjUtjInXlAjwZPi}esinplMk?ZTi~etIkDUEjDTciqtWyidTaijTUiktTzW`RAuISpiXEpieXkauQStiYEpyVLJudwZnlvCmIV\JgvdQqhXslIUlJ]dlQjhRsiITLIYdTPQghsTIIlD]alPKLyU|QHln[a^ZuGfU}QIDn_abOCLmSAR[L?SuzOELnUvq?|m?_PNhLpUx@{tmS^NNgLpryr[{}gvL[BF_v?@vloC\|[AF^rnB_k{?wHZKL}Uqb^TkkvvZLL}urr^|kwv|DoaxP[Wn[VeJtAf`TOjGTKImDPBN`eoqwXsKqE`?u_ZoMGFKBm@t?C_BO@W?{?e?PIOdIQcXQ[hUSdGEcCQAx@K_iONP?g_sOiG\CUaHVBj`TpIwl[]mL\[MWFQJeHsexc\ImXfQzhhrUxg\KmVFIJdHqixW[hmUfHzdxq]xO[jmleMZjXb]ysWsmleLZjPbYysWwmPFMJbprYxu[^mZfGJcXrexA[ylqFOZ[xsAvI\@lpFNz[pr}vE\?ldfPJgXkuyIZMldFPjgxk}yCZKlUFLjfXiuxmYmm[EjzfPjExqYolOFNJSHrqtC[|m^EhZS`rytE[|lMfTZj@hyss\UlNfTJjHhmsw\VlFFKze@hEsc[plHfLZPxrQxcYOlBFTzjHgUsC\SlBfUJOXtYsG\Tk}FQjNhsar{\Hk~fQzhhgEs?\KmQEUJc`dexIXYkmfHjJ`qYqu[dkNFSjBhtEy[W`mfeFJi@aAo}\Rm`EAjgX_myGWKmaeBZ@xs]o[\EkAFRj?hs}oK\OkBfSZ@HtMoO\Ql\e~z^`jqtqZ}l[E~Z^PjuvuYylgEkjUXlEtgZQlYeszYhj]ugYulJFEjbXhesg[WlIfEZR@pusm[[kzFCzMxpIro[Sk{fDZaxfmwkXyljEVjYxd}uoX_lkeWZZXeMusXalSERZI@ieqaYfkeEhjTPc}tUXMk_EyJGHmevSXAlteOzGhmuvWXCk\E|J]hbmvkW{lzeNZ^Hb}voW}kbEJjDxc]p_XGkWeQZEXcmpcXIkweDzApfArcWWkKe[zBXfUosXslceDJA@kQoaZDkIepjAPkaoeZFk@f?z_P_EwGV~m?D~j_H_IwIW?j{FBI~Hounu[Pj}FCJ`p^uns[NjxEXI}XeUrKVskrd|ZL@^YrQVvlmDzI|hlun[Z]loD{Y|xmEu}VojrEZjLP]]rUVgkuDyY|Pe}rYVjjlDwIzX]EnCV[jpdvY{h\}nGV]kSDtJDH\UpSVUjjeIyzHaumoWkl^DrixxkMt}VOl_DsZWH\MuCVQj`f@iw`o]mI[GjbFAZ`X[]mC[ImTVIzdtqqx^[llvUzz]DnEvfZqlEUaJPLgisVYLkhGOZIaCVA?XVkhgOjIiCRAEXUo\EGkFXaMpG_{kQgN[Fxa]pK_}oYDqKEh[f@mVIo[DqyxiBemW_ue_rOxgSUyJ^Dlolg@KJY?VAw_EoCGV[@IDvAw_FnMGUkJ@xbAo]XnMgUZrQDi{u`XoYGDkFI@n@i_VoZgEKFA@f@k_YoEgP[GQ?rAA_Jo_GAkGY?~AG_Mn~GGj~yAN??_co?gH[?YA^?C_enzgKz}YBI~i_nnzGJj}aBA~c_pntGSkIh}bAe^entgTKIp}e~M`VncFwJxH}E}W^bndFwjxh}U}U^cn\fozup{Q}K]yn[FpZwPze}M]vnQgN[FPyQ|K_znSgNJtABz@}]fnNGPkHXyE{}`FnOGQKHPyI|E`HoeFckHhxNA[]SogFdzqqDFA]]TnEGFJpi@v?{]MnGgGZpyAA{__^nhf_zyPwA{I^OnAFrzyHwI{A^Mm}F`znPwYz{]Jm}fajpHv}zu]GnWF\JuHvU|i\wnXF\jnHzM|g\voUF[jmIAuz[_goSfZ{DPvMz__jmsGCJlI@EzS_QoHfY{Ahuv?g\knuFWjkX}uzG^mmqfzzkx~EzK^oniFVJyhtu}k\]njfVzzHuE}o\_n]VnZvtz}}B^?n{V}Z~T~m~z^{pjFukYx|m}wbWpkfv[ZX|~Es^]pmFikZhyzE{]nnTgvztaMFF?]lpaGwk[iKZEIbbpqGp{[yKfFKbGpsGnkVyMnFQb?ptGo[\iKJEEbkp[GYkLYJfBWayougm{LyJvB[a{pjGjKTiL^D[bWpkgj{ZYJFEsaopLGkkRYJNCwaspMgl[RyJ^C{aupKGs[YQHZEgaTpJgs{RILVE_aSpoGa{PiMFEwaGpmga[PaLzE}aIp@GqkOYKnCGbKpAgr[XyG^E[aEpRG[KSyFFDO`qpSg[{TYFVDS`sozGXKMyEVBo`eo{gX{NYEfBs`gonGgKJyIFB?aapPgW{KQIVBAacpFWb{QEHFCfaQo}HKKeIFvHc`}qYg_KOIRNHg`~pwHJ{]QQnHSbmpwhJK]YQvF]cmqNHLkbyR^H?cwqOhM[cQRjHEczqRHD{aiQVGcccqRhC{dAPRHQcUqEHKKeIOvHccMqXhB{aIRVG_csp|H@K^YOBFwc@p}h?k_iN~F{cBqDg|{_qNRGMbtqCG|k`INfGSbwqKXFSkEPfJCcYqLxFCkeTPJ@dUQpxWcjETTJBdXQqxTskeTLI@c{QfXNSh}RxI`dQQ_xNsiMS\Ixd\Q`XVsg]SPIvd]QaxUcguSbIQdwqdXRSnUSnIWd{q{H[kmYVfJgdyqyh^[myVnJkd{quHXkliU^JOdmqshZ{lYVFJSdoq~??SoeV{?CeDr???cos?DKAeFrC_?so[?LKCeG