CAT(2546,2)

Sparse6:

:~?fq_?O?G?CCOA@?}_^oJ?D{Aw@b?l?WOKOESA{@h?o?XoK_EkB[@h?u?XoM_EkBW@r?v?[OM?FkBc@x?y?\oMoF{BsA@?{?^OJ?DKAk@\?l?TOXOCsAa@N?k_VOJWD{BE@`?s_XoKgEkB]@l?y_[OMWF[Bu@x?~__ONgDKAm@TAB?}o^wNsFgBn@x?}O]?N[F_Bj@x?zO\?M{FCBh@r?zO[_MkE{Bf@o?woZ_MSEwBV@l?vo[?LcFsBP@~?tO^_LKE_BV@l?tOYOLcEOBv@a?}OWoNSC_A~@H?ooPoKCDmAr@Y_n_QgH_EEB?@J_e_XWHwEYA[@f_r_SgKgDABK@P_m?TWIWDyAy@S_m?TgJ?DuAm@]_q?PGKWCYBC@D_`oOWGSJ{@F?d_QOPWGsCQE[BD`bopgWOGIC?BC`?_owUsJ]DpAr`YolGUOKQD_BB`W_ogRcHuCvA{@KOe_VsHcDzBD@Iop_Q{K[ClA{@HOn_QcJsCfAP@^oc?WKG{E@AM@^ooOPcK?CZAH@[omoP[JgCTAG@[omoOsJgCNAB@ao`?W{KWCJAj@UojoTcIgD\Ac@Roh_TKISDPA_@POf_S[H{DBCC?ROIGC{AY@P?f`?o_gOCOiGXCJa@@@G_GOYGECDaB`?g`?OMGQC@a?O~w^sO[FvB|ACO~?`KN_GHByABO}O_kNUFnBuaE?ugZ_OmEuCI`u?zw]GMyFYBo`r?yW\?MmFMBi`o?ww[OMUFABc`x?vw]WLyEyBs`h?twYWLeEaBW`i?qwYoKuEiBK`c_rgX?K}E_BIa`_GwCkAQ@F?d_QOVGJsDuA~@`_oOOgG[CEE`BM`foqGXKKiI{DSAipT_i[T[IdDNagpSGigS}ImDPaj@SGfoTaH}DXal@NWgGTaICDYa_@UWgWRiIIC{aa@MwfOSYHwDGa\`PwfwSAICC|a^@OWgWQUIICfaa@HgecRUHlCpaXpKgeCQyH^CgAbPI_hCQcINDIAPPQoc[ScHHC^AhpT?cKQ?IdDHAMPF_h[PsITDKAKpR_b[SsGtCUAepR_bCSoGnCOaHPCWa[PUGhDWAEpU_`{TcG\CjAZpJOfKQoHp?a_POGgsoSAIDD@`\omWVSJqD|A|`?o_gOCJ]DpAuaEpBw`sZkLoExb[`mgv?ZiLLEgbRpiGssY]L@EabOpgGsSYELqEdb[@gws_ZiJkEia{@iwmwYeLWE\bV@fwtgXyL]EYbW`fGu?XmKfEQbGpaWpSWaKMEtbZ``WooZYLWEAbV@`GtgWMKAEhb?@ignwYmL_D|bW`^GtwVyJqEsa|`kgnOZMJhDtaxpZWl{UyJ`DqawpXwlCUeJSEtbZ`ZGlWZYJGErar@lGkgZILEDZbQ`VWs_TqKmEMbK`cGr?W}KUESbJ@bWp_XUJAD]ao@WgjwUMEPBI`cp}p@[^oOTFyCCpyG|K]iNJFfbrPxG{S]MM_GJbhAAgyG_eMTFJbePrO|s[{N`FMBvp{Oz{^KNBFqBoPv@?[_SM|GCBmpuP?s\kOPFYCBq??ys\_OBGABjpso}c\SNlFSBypp?xK[WMPFDBbp|owK^cMFFAB{Pn_|k]kM@E~BuPmo~kZsN~E{B~QLxFCbYP`GqcWqIhD[aqPNGgcSqKpCcaWPjGdCYQEpFKbkOzG[C\QGPBC`gPFGaCKqF`A{`SP@G^CJQCpDk`OP^GQCVQBp@c`CO\GOCEp?W_[OIAD@B__otGYsLUEZBJ`ePdwrKXaKlETbIPWWkSUMIvD\amQW@KceGRJH`CpqVPLcdwR\H^CuqV`KCd{RDH\CoqYPJSdoRVHiClqV@Kse[QvHgClQQ@L[egQTHhCcqThIkdQQbHRchQQpL{csRbHKCwQZ@GkcWR\HFCuqO`Kse_QHHfC`qNpKccCRJH?CpqN@L{bwRbG|CwQTpHsdcQ`HWCfqg_fkR}H|Cya]PMw}c^YNjFpbxp{g|s^AN^FjbupzGwc[YMJFFbcpqGwCZ}L|F@b`pohGCb}QBG{c^QNXWWjiUGI{daamxVWjuT}I{d\AnhW?j]UCIxd_amHU_j]TkIxdYamHToiUT_IfdVahhTWiUTYIfdUAhhSWjITGIrdPAkXTGiITGIgdTAgxOGjuT}IBd@AnhTWheTYIZdUAehQojESoIrdJakhQWjQSiIudIAlXQChESdILdFqbhPOkMSWJDdDapHTog]SQIodCAjxOoiaTSIDdSa`HNoh}S?I`c~agHRwfqTAHzc}agHNOhqS{Hxc{AfXMghqS{HvczAfXW?fQReJAcxAoXa_YMLJEc`dorWXcVeJtDzalpVWjc`mOzG[cFqCXACqKWtKdEMRH@b[p[WtKXEMRE@b[pSX@KaEIRD`cKpsWhK^EJRF`aknaVlJvdxq|H]kn?X@KaDxQ{PcKp[VNKXDsrE@\CmWW~JcEMqxPbsmCXFJbEQqw`ccpCUzJZEHrC`Zcl_WbJYEHquPaSlSW\JVEGQt``{owUdKODiRBpY[k{WVKLDgrB@YCkoWVKLDfRB@XkkkWPKHDcqq``SkWWPJFEDRAPXCoSV~K@EBr@`_CnoU|J_D~Q~PZ{oGVZKCDvr?p\sncVTJkD|qyp^SuwZJLferRWhkcuMXaLjeVbZXe?uqZUKkeVBZHdguuZOKhetBIxlGqiXKLgeSBYhcwueY}LVeobUHk?tYYwLRenBTXjgtQYGKsebBKxggrIYSL@e`bRHhWsIYMK}ecbOHh?r}Y_KzehBNXiGrqXoLXe\BUxfGtiXiLLefbLhhor]SxI]dMqfxSKiA[uM?fMb_hr_wE[lMVfIraHo{wY[oMBfAbehrGwQZeMYewbeHmOxeZ_M\evbfHrWuyZyMHe~baxnowiZsMNfGb^Hq?vm[cLvfIB]XqWvaZkMKeybbhm_wuWPKIeCrAx`koqW\KOeFrCxaKpI\wM^f^BfhvgyA]MMzf[bphvO{U\wMuf^BmHvgz]\eM~fYboXu_{A]CMofXBpHuG{M\ZMnfVRixtcyi\MM~fSboXt?{A]MMdfRBphs_{U]CMbfObpHsO{MZPLiesrYxlcuu^FNdfqRwh{K}A]gNefsBthyg}]^KNPfsBsxyO}]^QNMftbsH|O{}^QNJftbrX|O{q]yNYfnbvHzo|m]ONVfdBuXxG|a_ANwg@b}i?O~e^{Ntg?B|x~w~Y^WNqfyBzh}W}u^uNpfwB~X|w~q_YOCgFc@i@p?U_SOFgCcBI@X?a@R?j_TOggS[IECHAD`@pFwcKQAGlCWaJpuwzK\iMnFWbjQPXG{cYQDHCc`qzX\{myVTJjduR[Xm[vIZ`LnevRuhzc|m]nNXfkSOAFTCG`xP@G\sMQF|B_`|OvG]sNAEdBW`tOtG\sLqELBc`fOwGXSJaEdBW``OtGVsJAE\As`dOjGWsIaDtB?`ROnGSSJAC|As`JOjGRSGqDDAg`HOaGSsGQC|@{`JO_GRSGQBl@{_|O_GMSHABTAG_vObGKsDaBt@__xOVGMsDaBL@__vOVGLSOQALC?_`PAGHSNQA\@S`~OSG^S\_As@]?p?X_LoEiOO@q?|?\hC?FwCKAABH@b_pOvWZ{LyEnBX`kP_WoCV}JxD}a}qDxAs`UOdGRcIQ`xPKgaSHIEdArKhecrMXlKteZrhHskyY\BMbfPRzh|c}u^^NpfwSjqUTJCdhQoHXslQTdIwdnQuHUsjqTLJCdVQoHTShaTdI_dZQmHRsgqStISdNQcHSSiaSDIkdDQhHOsgqRlISc~QcHNSeaSDHodBQZHPSfqQ|HcczQWHNSeqQdHoclQYHIscQQ|HccfQWHHSbaQtG{cjQOHIScaPdGscfQPHDscAPdGsc\QNHDsaIPLGicPQIhCs`QGlCOcNPBHBSkaMLF?dfPqHYSZQUlE{dnPmHZSZAOTGObVQBGtS_aLLGObPQBGrsXAODEScBPeG~sWQNdEKb|PaG}s^AJtFwb@P|GnsVAODDscBPZG~sUANLDgbvPXG|STQMtDWbnPVG{S]QITFkahPyGhsRqMtF_abPvGgSRQM\CobjPMGyS`qHLCkcJQEGdSPaM\C_bjPFGyTF_@[?q?T?N_FOBYdO@A?d?PiW?CwAk@Qh`SqiWtKIeTREhYQwh[dJiVPQ}goRaiLCxIbHMMfKSYhqdEI[xPehSR^iTcwId`MEewSihnDJIZhQmhMRZiScuYZPQahGRWhjDHYYxQYhMRRiSctId@LUeaSehhDHIY@QUe]SaiPcricHKug{RIiOCrIbxKmeQSbhbdGYX@QIeGS]hbDGIWhP}eASZiMcoib`KMd{Slh_DJyVxQyduSZiMcnYb`JqgcSKiIDBiaXOugQSNiGdAy`PPAgKS?iCD?i_xOEfySBh~d@Y^pOQfgRyh}C|i^XNUfcRwhxc}Y]HN]giRjiJczYapMqfORmhwCyi\HM}kG?V_JOEGAs@a?n?X_LoEgBK@m?tUU?MOFgBk@y?x?\iKTEibLXWkzUWJNTdqrdXckxUZJNTearlWSkbUEJHT`AqDXGkPUOJCtcQo|WgkfUTJETaqqdWskfUTJFtbaqdRqh|S|i^tOYgDV_kvUYI|TeQnLVSklTvJKT\aq|WsjdTsJFtbam\U{kNTpJCt[ApDWgjXUKIvTaqllUkkLThJAtYaodRKkBStJ@tLAoTWChlUAIZt_qfDUWj|U?IsT^qk|U?izT^IpTVakLUKitTdImTXAj\T[ibTRIktUAiTTOi\TUIgTTQh|SoiLTLIbtQqglS_iDTIIaTQQg\RcjvSzI}tManc?m?X?I_DoBG@S?u?^?M_FOBw@l^c?d?P_GOCgAK@AkBUBj@S[yMlFQbxP}g}s_IOLF}cJQFhBT}Q~|^go@VzK?t~A~|^woBV|K?Txq}\]cnjVgJyT|A|\^SnXVrJtTzQ}t^_n^VmJzt{a}t^_n`VpJztxB?T_OnLWBJqt~a{L]KnxVaJ}t}azt^kn@VxJnt{Az\^GmzVpJmTuA|T\gnXVXJttzQyl\[n\VnJjTxqyT]cmhVgJhtrr@\\CoZVOKETqYx\[imXVMjetpb@\[_oZVFKETor?T_OmJWBJaUAAwD[CoRVAKDU@Qvl_[l~WEJ^U@QvT_[lxWEJ\tlr@LZcoTUwKCThis|YUlTUhjSTiytlYql\UojVtlAr|ZWlBU_JYtgauLYOlfUbJXTEyblPqhHSdiRTHydLQahZSniVUYrCDeopDXlKOuLRKTb[rHWuKpuKbKTbOrHWrKpuJrL\bCrZWoKuUXbDte[pXWlKquYRDTegpVXgKSuHrKle[pPXeKRUYBC\aSrTWcKsuDJAt`UonWXkKUEjBd`mozW^kNUWBH|d{q\X`KeuVBHTdwqXX\KduPrJLdkqRXGKlUSrGdcWqjXDKiUTbGLd_qFXVK`USBFtdGq@XPK^uBbF\`?pzWNK]UCRFDbgofWQK[ufbLti?r`Y^KvudRRDh[stYULKucbR\hsshYRLMU`RS|icsFYgLAU_bStgCtHY?LQu^RP|f{sbX}LGUaRNTggrvX{LDubBM|f_s\YLK{u\BOtg_rlYFKyu[RSLfKtFXqLPUqoB{AE@@?__NoGY[TMMfHRehqsxyu\ZIlbUsjZTlZY`liukZ[lieuzZHlEumZRlkEsjY`kyukZOlierzXXlEuYZRleEsjXPkmuQZLleEqJXHkyu_ZGldErzYxjAuqYqlkEkZThlit]Z[lVEuzWPkUuGZFl`epjVxiiuAYkl_EizUpjqt{YwlZenZUXjetiYzlYEmj`O@M?j?S_IoDGA\XIkbUOjHtdYqdRMhjSsiZTMIe|deqvXYkjUUJI|dMqjXSkgUSjILbaptWxk]UNZF\qswr[kMLvEbd\pWxP[WMTVDrdLpKw~[`MIvDBcDpowf[]MIvFRadqSw`[fMHVHbaLqGwb[cMHVGraDowwv[XMFvBRbTpWwT[KMKVAra|ocwT[KMCVAr_|oswN[NMCvBb`DoCuzZ^M@v?bZtq_v|[?MTVIR^|nkxV[lL}vJB^dn_w~[`L|U}RcDnSxJZvMRu|bctpovd[]LyVFR]\qGv^[cLwvGr]DmyvZZklsuyz\ToOvL[ELsV@R[|oCvF[BLqv?b[dmCwJZaMBUwB_dvonfVtjyT|i~D^]s^YPlGUbJPtgusTYJlCu`jPDg]{I\~nBf_ZopwAz}]AnAF_Zo@wMzw]Jm~FbZnhwqzw]Gm~Fajnhweyo]JmlFbZjHwq{I\TnBfTzoptY{O\RmhFajpHtQy]]AnAFSZi@wMyR\ImdvPjhDs]zq\Bm|fPZnPsQyC\wmzFOZg@v]xy\tmxfNzm`ryxs\rm]F\ZfXvQxm\om[f[jf@vEz_[smxFLjmHrUzq[pm|fKznPrIx[\umWF]Jdxv]zG\fmrFYZkhuazE\imuFWjlXuEy{\lmvfWJlpt}yu\KmfFVZhhtq}k^FncvqJwd{Y}J^RNJvtRrL|O{p^RNIVtRqt|O{j]PNgVsbq\|C{d]MNgVcByTw{}b^LN[VrrvT{w|r]YNYvfBu|xk|l]qNdVlBxdzK}V]hNUVirttyg|Z]eNVvkRtDz?|N]}NPvhRwDz{|H]_N_vgbw\yC}D]zNMvnRr|zo{|[@m@v?j_doYwJ^gO?Vyc?T}d?B^snzV|Z}L~M~d_BNwVzc?m?O~^_BNkw@Rz]?O}t_?NjW?bzE?C}n^|Nqvxr~|~w~L^vNpV}R{d~_~F^^NtvwR|l}?~X^[N|Vvb~d|s~v\omxV[Zm\vUzh\wmzV\znLvmzt_cOBWACCuAT?N_jOOwJCC]Ah@D_]ORwISCE@|@P_lOLwJsBmAx?x_WOQWEcCu@d@J_ToJwDkA]@J?h_NORwISAM@@@P_KOUwBcD}?t@\_HOTWAsDe?h@V^OnhVsZy\|U}h`JoewRKHECjAR`MO]WSCFuC|@z`MO[wSCF]C|@t_uOgwMCI]B\Ad`POXwLSI]BPAd`BOawOcG}CPAL_~OWWOSEUC@@b`cOiWTSK]DXBJ`_OrWWcLEEDBN`YOswYsJeDlBT`VOmwUSJ}D`A|`qOyw\sMeFXBf`kOwwZcMEEtB^ZIlcuqJkduYzJ\`mpvWjz\|i}r^UnkVt{GUCRAF_~o_wOKQAGjCWaQpGga{PiG^C]aHpFGaKPaGRCIaIpBGa{OQG^CAaHp@gaKOaFzCKa?pAg^{OIFzCEa?p@G^{NAHBBsaQo{gc[PiFnC]`|pFG^KUG?]?P?HmBvAZ`Dye|V]inRViJs}?r?\_LoCwA{@UDRAl`TojwU[JEKLE@bDP`WpCWMK\D|bGP^wpcVmJhE@a{P`WmsWMJtDnaxP^wmCVuJhDha{PYwmsUuJTDnaxPYWmCUuHPDValPIwcsTeKLDPbCPTWpSTMITELafPcWhcW}IPDfaaPWwgsUUJDC~aqPOWksSMIxCxaoPNWjsRmHdDValPLwecTeIxClaWPWWdsT}Nc?H?E_AwuS^MLhFvbyPkWtS^MNlEnbyPjWtC]uLHFpbRPzwrs]]LDFjbOPyW|cXeKxFpbvPew{sXMNPETbtPdwxs\mM|FRbgPvWxC\UMTFXbePtwus[]LtFBb[PpW{CZuNHF@bpPno@w@K?a?R?F_CXGsbYQBGwcaqOhEkbiQBG}caqNHG[aIPvGec^qHHFk`qPjG_c[qLhB{`YP^GYcXqEHEK`APRGScUqChD[^aORFycAp~H?{_iN~GMc@qBH?G?c?U?L?C_BO@[gaInDZakpVWkKT}SLHvc|Q`XNCgMRxIFd?Q_xNsgUS\H^cpQcxQCeERxHpd?Q\XNsfMRTHvc|QZxNCeuRHIHcsQbXKsgmQtIJcmQbXJCgeS\HRdHQTxQCdUQRHFcdqRXIKc}NNFjbspzw}K]uU`I`dQQsxYciMUlIvdlQkxZCjUUlIldlQkXZCi}U`IfdiQixYSieSnITdKqexRkh}T|JJd`QrxWCkuUHIxd]QqXVSk]W@J\eAQwX_Sl}V\Jzd~Q{X^cnMVPJvduQ|X\SneWLJbdrRAx`CmUWpK^eMRGxbSqEWdKLeJRCXaco}QBHBcaqqxX{kuUJJHdbrOHeKrQXzK}eXrKHe{rQXrKqe\rHHfkryXNKge_rIhe{qyXvKke[rWHOkg]SFJzd~q~X^Kn]VjLkeqr[HkKuyZFL_esrYhkkuIZNLYebrPHjksIY~LSerrThlKuiYrLmefr[Hi[uqYbLGenrUhhktqYVM[fJR^XrSvm[pLxfLR[xqsv][pLtf?Raxpsv}[DMLfARcXpCxU[LMRfVRfXuSyE\`M^fQRiXtcy]\DMjenrVXj[zQ]BNCfZrohvK{I\vNCf^rnHwKx][vMX?@Rphy[{_?LNV?ARqhyg?Q]XNR?@RsHyw?Y]\NT