CAT(2400,1)

Sparse6:

:~?d__?O?G?C?[?H?E_AoC?@k?u?\?M_FoBwCO@o?z?`?NOG?B{A_@J?e_RoHWC{AY@R?i_UOJWD[Aa@f?o_VoKgDsBE@j?u_[OLGFKB]@t?|_\oNwFcByAB@D_`oOGGSCQAc@H_boQGGsCmAT@]?e?SwHoDIA_@U_f_TGIwDEAY@T_t?XWKcEeBL@f_sOUwJkDeAp@Y_mOX?JsESA~@g?oOYOKKEKBL@a?rocoN{GECFA?`AO_gOKF}CDAC`@o_GNcFuB|@}_}O^WMCFIBh@p_yo[wMsF]Bp@x_|o]gOgEqCK@j_u_`gOoEiB]AD_v?`WWWAI@H?b``oowWkKUEHBC`H_mGQ_JeDwAU`\?eGQgJ]DuAV`XOkwUkJYDhAp`W?ngTWKED]B?`]_jGVwIyECAl`Q_nWTGKADKB@`S?ogSwJ}D{Ai`FOcWQCHICZAN`C?mGPGJeDsAF`\_bGPWJ]DwAI`K_fwROIICuA_`Q?fgRgIMCwA`aD_EWA{@a?l?Z_LOEWA{@a?t?U_LoFGBk@y@@?`_NonWVsJ}EBBA`_OXgLKEUBH@g_roKwESBE@\?n_WOPgHKCaAN@J_dOUWJ[DiAz@W_mOUwJCDiAx@X_moegRKHqCvA]`MoeGQkHQCfAV`JOhWSsI]DPAi`SoaGPcGeCTAF`DocWPsGuC^AQ`GObWPsG}CdAP`GPSwjCTUIlDVaiPTGisTUIfDWajpSOeSSsH^DMAWPKoiSROI^DOAWpVodSUCHXDcAVPIOkCQkJDDbAUpUOckTgHHCbAlpV?csQ_I|D\ARpGofcQOHzCdA\pI?fsS?HNC~ARPQObCSkGrDKAMPDohCPgINDIALpUO_sOgI|CHAlPUo_kO_IxCFAmp??hCN{INDJAAPQO_[SoGDDIA?o~?gKNoIFB|AaO~_gSNwILB|AapLO^{O?HnCuA?pM?_SRgGHCxA@pDo]{NkGxCY@|O}?b[NWGpCX@{pOOaKPGIDCRAbPD?g[PWIJCTAaPFO`[PwGXC_AFPFo`kQCG^CaAGPC_]sPKFnBwAGpD?^KPWFvCT@|PB?_kOkGLCIAGPAO`kO[G^CGAFOr?eCQ{EZBOAWosOecRKE\BNAXPIO]CNGHVBrAUO{OdsNSHZCi@yOy_f[MkHxBmA]pN_\kS?F^C~@uOxW[sMeFPBc`row?fKRWFFCt@nOvoe{MCHtCw@pPFOZCPwErC^@lOuocCLsHDB[AOos_hkLKI\BSAfotOiCL[IdBUAgoqOk[T{ELBGAqPW?W{UGEVD`@dQA_^CN]FrBu`|O}w^cNyFzC@a@o~w_cOIG@?j_UOIGDkAi@R?t_ZOMGFKBQ@n@?__oOgG[CUAH@M_eORWH{DEA`@N_gORGHsDEAZ@Q_ioSwIcD]Al@p_xO\WM[FABh@i_toZGL{EuB\Bc`soxg[{MaFJBU`hosgYkLQEnGyc[QLxFKbqPvGqcYqLhE[bQPbGsCfQL`HkbKQTGpCcqLPH[bGQXH?CUQOPDkb?P~HACVqNPDsbwPVGXcMqEhB[`yOxGRC`qDPGc`_QJHGCJQP`A{c[OhGdCHqH`Aca[OlGgCKQI`A{acOjGOCNqC@CC`GPDGQCOqCPCc`CPFGIcFqAx@c_yOZGEcAq@x@K_aOHGDcBQAX?{_aOHGlC@p~pDs_?PXGACVqIp?Kb?N|DdCDPXp@kUgOXDeCDqBolCUcO\DoC?pYo~sUoN~DlC?PZ`?[U{ODGdBvqH_}Ca[NbGgBxP{pDSacNhHFBnpvPG[\wQHHGBpPwPGkcWN@HPBhPt`H{\CQ`HQBhqSoycdOMjErCfpl@ICdOLlHPBYpm@ISZ[QfElCZpj`FCZGPrEnC\QMouCboLbE`C_Ph`GKYGPzEbC^Ph@F{YSQDEYCfQQOqkXWQTEVCdpePHcX_QZEPCQPbpB{aCKhERCPPc`C[X?P@GZBCqFOpSWkO|EKCKqE_psWsOxE?B{P}_n{WCNzEAB}P}onk^cJ|DvByp]?}sVcNnDyByp^?}{VkNlDpB{P}_mS^kJfF{AyP\O~k^cJlFbBapx?ws]_MRFdBbpx_xS][MPFhB^py_wC]kMBFABuPz_wc[KNZEfBdpi?xc[sLRFOBTpj?xs[{LTEZBjpu?rc\cKzFYBNPv?sC\kK~ExB@pm_ocZkKJE{BBPn_pCZsKNKZB{P}W~[^uNxFyc@p~x?C_EN|GA_KoDgBS@]?v?W_OoFgBc@u@@?^`\omWU{JaDxAy_\ONgF[Bq@~?|`POgWR{IMDHA_`UOiwUCIuD\An`Co`wPCGqCTAJejbPPhcsWYVLFEerR`hCs{YRLOEdROXf{sMYDLCe_RLhe[rQXjKweZrJPfKr?X|KyEWrJ`f[roXdKnE]rNPdcrcXNKyESRMpdKrwXTK{ETrGXcSqMXHKeeQrGpb[qGWxKcEMrH`bsq?XBKdENrCxasp]WhKTeHREhbCpaWrKYeKrSP`[tOWRKKEirBPisowYdLREDRK@`CqsWHKmE@rJp_soSXdKpEBrC@^kpCV|KPD~r?P`{oGW^KOE?RT@]StCVbJuEirS`][tWVjLRDyRLPY[rWUhJTEZrM@Ysl_XfJVEYQq`c{q_UNKiDcQqPdckoXRJJETqlPb[jcW~IwENQlpcCpoTtIuEMqiPf{igYBIjE_Qj@gSsOT\LBDUqgpaSpKTLIcEIQhPakp[TPIfEJQePictCSnLTDMQepistGSpLRDLQc`hkskSbIREeRR`Qct?SlLNDIrP`NCfKYNHvEcq\@gkfSYTHuEcQXHKseERDHdcpqwpZkm?UrJ`DlQw`Z[mOUxJ]DnqoP\KkGVJJBDrQp`\SkOVPJDDrqn@YSksTvJMD]qrpVsk?UbI~DgQypT{moT`JlDWqz`USjOV`JnDXq^pOkgKSNIGD?QaPOKggSHIADBQ]PRkhwRtI^C|qg@NcfwTDH|DOqXp]{e_VpHhD{qY`^SeoVvHjD}QV@QCdwSXH_DFqbPJ[dsSVH^DFQT`MCdSRZHVCvq[`JCewQtHXCwsE__kOYGNCIaCpAGOKF}C@AB`AO_gX[KYENBH`cOqhPsgqSVILdGQbxQKhIShIRdJQdXLkeyR^HocxQ[XJsdmR@H[cnqVXIsdaQnHTclQUYI@BI`fOsgYsLyEtAC`ROaGRSIqClA?`NOiGQSGqDDA?_tO`GLsGaBdAO_zO^GQsGqBt@U_hOUgKsDyBDCK_pOSG^sOAAl@c`|P@GJsDaGTB__dO|GHsMQALBo_fOyGGsMqAT?gaTPLGAsRq?tCw_NOHGdsRA@C~[`PNrGTSIp~C~O`NNtGSr|aCtCO^NNiGaryAGs}caNNjGcrzAHDCk^DN`GdSRP{tCw^JPNFpsR@{c|kaTPJFmRwAH{|saZN]GeRvqHt@g]^NSGMrsqBt@k]`NQGNsF@yK{caHNIGarqqGs{waNNKGcrrQHC{K`dNCGXrpQEdBS]LNGGZRpqE{{A]BM|f^rohvszC`|MqG^sOPu[zOaFPAFZSO@ukxK`pMSG[rdQFSxW`vMWG]rdqFdAs[BOmF@SJpocwW`XOoF@r`QELAo[ROmFDr`qELAs[TOnFERaAED??^rN~F|S?P~\?G^xN}GAS?p~kz[[ZMxFFrm@pszo[bMQF\Rc@v[y?^\M^Furzps[yC^`McFxRg`}KyW[zMXFQrhprSxk\PM]FTRf@tL?sZpOJEysB@mt?wZnLyGGSBpnKu{ZxLoE}r]pmKvGZ|LsF?R[pn{ug]pNTEvRYPy{uk]tNUEuruPlcuOZDLdEmrX`kCtwZFLgEnrXpkKykYnLXFUrj@jCtk\\LYFWRV@t|Nk_pOUgKsDYAd@]NjFubzoHWC{AYJNDdasPYglKUYJVDlauPZgl{VAMvF[blPtwzC\e]jNUflRtxzC|eZFLceqrXhlCu]YzL]enrWHkSuEhaSkIEtJQ`tQwg^SjIGTCaeDPCh^SGiBtAy`LOqgTSRIATDQ_dPWgJSEIKT@aadP[gJRzh~S~I^|OAfzSdH|S}ActQ[frSgH|TIa^LQcfpPtgzS\yNDFQbrRgI@sxa_LM[gBRhI@Syq_\MggDRdIItEA[TPWfBSRHoTDq[\POfHRTIVtIqYdQoerRUIVTJQZDL[h`RGITsqQddKghZRJIVSrAd|Ksh`S^H`TGQW\KShDRCIOSpqcdKWhFQxhZSmyVTJ]dpQcIKtFAStI[gtQhILshQbtPsdPQWH|seQ^lNoctQZH~SfQ_DHof~PyIQtIQNtFkhLSfG}TIaN|Q_bzS\GxsZabLPobdPnILTFaMDFCgvS^GsSZQcdEohDS_GstGqLTQCbVPbIEsXQ`tE[g`PaIFtCaKdPCbLPYIDSTa`DD[gRPWIDsUq`dO[arRYH]SuqVlLod|R\H^svqWLLwe@QQHTScqT\HOdXQTHUsjqQ|IwclQPHyscA]tNGcXQLHxsbq]|GwfhQoHBSkQO|JGcPQrHCslQP\JOcTQ?HfSrqOLGGe`QDHhS_qY\GOebP\HNsgqJtDoc|Q_GnsWQSTICb@PQHuSSA\lDCf^RpGhszaIlN?ahVO?GOCwAK@I?j?SeJRCha[p]WhKTeLREHbKo}WbKO_~O^WNcgUSLIFdCQahPL]GnPVaJqtxA|L]OnNVbJtTwq{t\YmvVVjkTuizL\CmNVQJcTtAxT\KmRVKJitsAx\[CnJVAJrTpA|D[WnTVBJstpQ{|\oljUyJnTlazlZ[mzUxJnTmAzdXsm~V^JNTwAr|Y?n@UaJotgQ{LXcmfUVJgteAyTXgmjVOJMTeqydXCmlUTJltuaqd\[kdUUJkTuQq\V[m^TtJftram\[sjpTsJet\axtREhhSqiYtLie\Y{jrT{JYTkAn\VglbUqI~TkqnlVGl~TlJ\tZavdV?m@U|IwtZqvtYojNThJStZAttU_lTTiJUtiql\UGkLTbJBtXapDUOkRUIIqtWQolV{ivU?ImT_QjlTwkDT_JATVqo\TSlFTUJQTTqslT_lLTYJSTUQs|WkiFUKIaTbQglWwiLTGJGTbqg|SGi^T?IgTNQiLRwidTSI_tSqf|SchpTIIZtQqfTSohvTMI]TRQfLeK?Z?N_FQ@h?c_]OPGHcAtLyf\RahrS{i\UXbLdfCrRXfKuuYrLtegr^XgKwUXbJle[q|X^KtUYBKDekrDXhKouNbK\bsrFWxKquMbKlbkrHW{KqU[RE|bKrXWsKvULbMDesppWtKvuVbA\_{qzWQKouCBKDd{ohWPKpUPrIdcSqbXEKhuQbItdGqRXGKiuHrDlakp\WnKSUKBDLbGpXWpKTUErH\d?p@W[KeUFRHl`{q^W]KfU?rF|_WqHWCK_U@rG\__qDWDK_t~RAl^wolW?KKT~rA|`goDWXK?t}b@T_wnxVwKEuAQ}|^koVVxKET|bJT^GqrVsKjt{RJDdonfXZJyuGQ|\aGnXVlKPtzbClaWn`WcJvoAg@c?m?X?J_DShYStI]dPQhhQUlBWDjSuDZBL[ulbWlj_uHZ@LZuqrStk[tNZHLPUgrWtkgtHYdLcUoBPTkCsVZALEUorPlkSs^ZCLFU]RWtfguNXzLcUqRNDfsuVX{LdU[jM\f]rhXukyukBVljKt|YmL\UnrUTjktbYnL]UcBRdhssbYQLNUcrR|hStBYSLOUdbOdh[sJYWLBU`rRLgcsvYGLLUiBODiksBYhL@uibOTf{tZX}LUSCYA\@IZrLueyr]hm{vai^TOigtSiidTMwY[EmFfAJ``oew_[ImFF@z`XoUwU[AmEF?z`poQwY[Cm@FCJ_Xo}vk[Elzf@z^@oevq[GmAe}z^Poiu|Z^loUwZ[\mIupZXllUuzZllqvSZKlterZ\`kyv[ZPlverz\hlAvOZ~lqE~J[hnyvKZ|m?EyZ_Hm]v_ZQlweszY`nIuiZrlyetzYpnQyGRwh|S}YK|EIbFPegqsXIIdDAajPRggsSjCLaIpFWdkRUHJ[dmUvNZhlrUyJjlteyt\[mnVUzhptUya\SmhFSzhxtYyo\OmefTzjpsqyw\JmkfPzjPsayy\HmlfQjg`tMyG\SmafTZj@sYyK\VmafTjiHpyyY[\mPFSJhpp}yc[_mOfRzfXsEyE[~m`fOJgPryyC[{m]fOZddqyxR[jmTVJZaHsawc\HmHfQza`sqwk\ImbfDZfHq}x_[tmWfLjf@rIxm[sm\FKzbHqYxG[ZmJfGzchpqws[gmKFHzro?]?N?G_COAW@KwE[DMBfAR`hokw][PMHfDRbHp\V]jfTsiyt]ImtSQiFTFiatQIgtyg|l]vNVvirvDyo|r]lN\Vmrttxy|@]`nNvgjs\z?|@]pNPVkbr|zK|B]tNPvfbudyg{j]jNJVjBq|ys{p]XNVvebttw{{v]PNMVcBrlxo{d]ZNIVfRq\wO|H]dNBv`Rsty[{F]ENSviBpDz[zn]uM{V]RvLvg|t\{N[Vmrn\zCzV]qMuVkBlluw|f\oNYvZruduS|H]dMrVhblDy[zN]hMtViBlLv{{V]ANFV^RpLvw{T]@NEV_BplvKzD\pMnv[bkDvSzB\cMzVWrmdeArBX\knUWjJ{@A?d?R_IODWAL^EndVrjyT|i}m?x?H_NOBWAc?m?l?N_HOEwAC@d~`?H_HN}V}S?l~h?L^|OBwAB~\}i~L^fnsVyz|M?g~@_JNowBB{U?s~F_NNqwBb{d~w}D_?N`v~rwd{X?F^FO?w?bwlzo~~]|O?Vnc?Lz|?F^}N_voC?T~G}t^rNlvvb}d|{~l^[NzvvR}l|O~X^VNvvtR|l|W~b^XNwVuB|t|C}Z^QNdvqBxt{c}^^KNgVsrxUCcyB\Bm`TrYx|[yx\[hmTVIzddquxH[dmRVIJc|qNAk`KoeGU[HqDjAY`WoigRkIyCvA_`EocGTKIIC^Ac`GofgPkGyDN?k`NoJgSKBIDF?o`RoLGTKBYDJAU_oodGK{DqCf@]`HodgK[HQBJAk_eojgGkJAANAi_colGH{JIAV@g`?o[gP[EiCF@k`Ao[GO{EyCR@}_koUgMkFYAb@Q_{oTGNkDYBv?{_SoGGFKAYAF?i_\oNgCkCA@FCg?C_AO@W?s?U?L`EocWPzr\xu{x?K_DoAjj|uAzB\bmqVWjo\wQ{J]EnCV`{Be@v?|_^oOwGKSYIBDGa_pQgg[SQIbDCafpRGg[TIHRDSaTpTgdkQyIrD[aXpUgeKQIHrCuaPpLGc{RaHNCsaQpLgckQAHRCoaMpKgcKPyHZCmaMpFgd[RyGjCIa\pBGf[OyHzCQa^pCGfkNIGnBsaJpEG]{PaFrCY`}pEg^[SYFNDG`spQg\[MqIZBoagozgh{LqJFBcaspWG[[MAJJB]arougj{KII~Da`dopGkKKYJJBKasoqGk{JYIfAwaiomgi{JqIrB?ampUgV{KyF~BOa?p?gY[OQEjBWaCotg_{P]GvCXaNpGWbkQMHNCd^An`vpJwl{]}LbyPww}c]UNlFfb{PzW~C]mNlFhbePzwxS^EMhFrbhPzwyC^MM\Fpb|Pbw~SXENxERb~PeW~sX]NxETbCQ?Wos_]KTGHcAP`X@SWuODEBc@PZX?CUmOHDnawQ@x@SVUJdGHb^PtwwC\eMDFZbaPvWxC]EM|FFb]PkWuSYeLhEjbZPjWvCY}LtEfazPewrcVeK|DzbOP^WscWELDD~cEQTX@sd}O`HVcIQVXASdmOlHXcqQOxKSc]PxH`csQOXKscUP|Hjc[QSXECcePdHJceQLXFSdMPlHNcQQEXCs`mP@GlcSQFXCSa}PTG^cuQ`XLsg]R`IHcxQaxPsf]RhILc{QcXNShMRxITc~QdxOShmS@IX?@QiHRg?QTTI^?AQjHSG?IT\IbdR?@hU[iO?LIp