CAT(2546,1)

Sparse6:

:~?fq_?O?G?CBO@J?f_ROQOESBM@b?m_WOJwDsBA@^?r_WoKgEkBY@h?s_ZOLWDSAe@P?k_UoIwMwFUBl@s_zO\GMkFGBf@o?xo[OM[E[BB@b?soW_LCEsBT@m?uOZoL[E_BV@h?uOXoLSEsBH@n?rOZ_KkEOB`@e?woXOMSFSBB@a?yOWoMsEsA|@m?oOZoJ{DwBT@_?uOVoL[CKBB@b?aOW_GkF?AL@q?cO[OG{ESAP@c?bOX_G{CKBN@C?soPOLCDGAf@R?iOS_IcC{Av@P?moS?JcD_A^@Y?goUOICD[AV@I?ioQOIsDcAx@Y?moU?J[CgA@@A?coOOH[Cs@t@M?]OR?F[Cs@z@M?^OR?F{DSA@@A?jOOOI{Bg@z?{?^OMoF{B]@r?w_POGwCcLO@J?f_ROHWC{AYF?BR`gosgY_K}EiBM`g?tgYwK}E_BX`k?rgY_IiEkAk`i_iwYwIuD]BX`k?jgWSKQEFA~`_ooGV[JeDtAN@docOXkH?EXAB@bO`OW{KSCHBF@BOp_PCKSCNBI@CoqOP[K_CTAM@coq_PcK_CZBL@?oqoOCKoCDBR?}OsON[FgEdAp@]Ok_VsJ?DzAf@[OiOUsI_DnAc@Xoh_UcISDjAS@OOcoRsHGC~AT@Ood_SSH[DFAZ?}ofONsHoB~@w@Ko]ORSF[CpCg?VOKGD{BE@d?r_SOIgDKAi@R?g_ToJWDcAm@Z?kaP@Jgc_RAHECnaQ@KgeWQIHECpaY@HWeoQ]HiCea[`HwewQUHoCeaS?yWdOMmHQBiaT_zGdgMyHWBlaNpGGcKRWGpCsAJpLOasR_GvCxAKpLobSPKHVCTAUPD?dkP?HbCQAXpCOeSOsH\CNAWPB_d{Q_FjCi@zpIO]sMMFHBd`rOyG[{MAFDB`aA@FGboOYGyCDaB`?G^oOeGOB~a?_}w^gOIFwCBaD?}G`_NeGUBy`y?zw]GNMFcBo`m_ugZ_L}EuB]_POGwCcAM@D?cbD_PWG[CQA@@A__oPgHCC]@t?{_\oMGFKB]FDB_`oovwZkLyLKE]bNpfWsWX}LIE]bQ@fWsWXiLIE[bQ@ewq{XeKpEVBOPg_rCYCKrEFBOPg_osYCKJE`BCPg_pSWcL@EAA~P`?ncWKJzEBA~p_OoSW?KHEDBCP`_pSW[KRDxa|p]gn?XQKkDvaz@dWrWVMJiE[bL@\Gm?V}KADqb?@[WlgVqJ]D|av@^glOXEJWERat`cgsgUeLGDfbP`YGjsUAI~EMAlpc?jkW{IxDYBIPd_jCTcKjDTBFPT_qCT[K^EKAhpT?pkWkIdDNBGpSOq[T?KdEKAfPbOhcWkIZCya]PMwfkR}H|D@a`POGg[SUIHD`AbPWohCUGINDHAqPQoksSgJJBI`cOqWXcKuEVBC``oog|[]uNXFUbjpuGyW_IMiG@biA?GyO_MOIFPcA@sGxg_AM]GAbfA?X?g[iOGFKbda?x?o[]OOFHcB`qGwK[MMDEzb]pnGwCZ}L|Ewb\PmX?oZIOOEscB`kw|?^QNSFubs`|W{g^]NMFwb{`xg~g]INGF~bp`~g}G\}NeF`bx@wG|o\qN_F]bv`vWzG^iMuF{bl@}wuGZYLmEobV`lWw_YiMKEjba`iWt_Y]L[EgbU`hhGCb}QBG{c^QNXBsaAO~GrC[qMpEkbOPtGoCCqK`@[bCOTGgCTQIPDca[PVGZCZQFPFC`oPnGYCbqEPGkcWOpGUCQQH`AkaSOnGQCOqD@C[`KPDGNCUqCPD{`?P\HACEQP@@scKOZEEbBp`WXsLAE^DcarPXWkKUMJDHtCwq\pL{fWR`HsCvq[`MKfKR`HPCxQSpMcdGRfHhctqYhIsdQQjHmCfQZPICeoQ^HtCdq\pHkfWQXHHCuQQ@LscgRZH_CrQY@KSe[RBH\CpqVpKkdwRHHVClQV@JKd_QvI^APPHGc[QYHNCd`lOvGZ[LiExBZ`movwZs[QMLFDb{p|w~C^QNlFtbwp{w}S]yN`FnbRPiGs{cyQ`HNdbAo@WckGUFJ@DaqipVkj{TZIkD^Qp@SkkKTNJDDRQi`W[icUJJCDSQj`TCigT`IhDVqipSkisTNIkDRQl`SSjSTHIsDPqg`U[iOTbIbDXQfpVSiCTxI_D\qgPVKi?TnI^D[Qo@RchwUDJ@DMq^`VSg?TxH~D\qdpVCh_TrIUDZqcpVkj{SjISD^Ql@QCjWSdItDGqbXP{gySTIKdDqf@O{hwSRIGDMqkPOsgSTdICDXq_PTsgKT`IADVqePNcfsSvIYC|q]@RKfgSvHxDLRD?oSWMKHEGbDPaXC{aePPGdcRQHHCKaMPDG]cOQFxawqMWqKdeKBHHawpiWqK[eKBExa_qAXCKTeJBGXbgpQW}KUeNBDX^{oEW@J}d}Q~X]?p}WyJqdwbFh\gqAXCJndvBGXbOmiVWK[dtbEx[WpEVCKRdobChaGlyV?KReHAvx`oluW_JZeFavHZ?pAW[JYeFauXYgomWYJVeEAthYGoaU_KIdfbAX`?lIWSJSeCasxXGomUUKLddBBHcWkYXIJGeQApx]ooUVoKFdzb@h^GnUVuJsd|A{x_Om]WGJhe@ayHX_mQU[JedeaxXlot}ZBL_emRVhjkq{ZVKoEurKPlcukXXKmEurJPlcu_XRLiETrYPdSqWZPKgEtRHplKrGYfKsEirKpictcY`LZEhRU`iKuSYZLNErrR`kssOZDLcEbRPPk[rwYBLBE_RNpgSrkYlK|EkRN@i{rcYXKyEdRM@h[s[XnLGEYrQPesheSvIYdMQfhRkwA[DM@fJrdXqswc[pMJFLRa`rKxk[LM\FCRf@o{vC[pLrFLR[`rKxkZ\LoFMrZprcvs[FMDE~r^`ocvg[XL{FFR]ppkv[[^MPE{rc@nCxGZhMREzRd@mkoaWTKHeDrBX`co}W`KMeGrCxaSzo[|M}FORnPr{{G\rNCF\ropvSz{\lN@F[Ro@u{zK]JNFFYrl@wszo\`MqF^RkPvkyu\^MmfTRjHt[y[\~MhF_ri@wCyO]JMeFbrhPws{K\FMaFaRgPwSuaZTLhetrZXlc{a]TNHfqrwx{c|O^LNgFjRtP{{}W]bNgFhrs`{{}c]\NjFgRy`x{}c]VNjFery`xc}?]tNaFmRwPz[|s]nN^Fkrv`zD?C^pOBF|S?`~K~w^jO?Fzr~p}s}o^dNsFvR{p|k}{^vNpF}r{@~d?s_HONGBSBa?l?g_NOHGESAq@CB}@z?}_ZoMWFCNUFlBv`yO{w]SM}FbBobkpuwzSZALbEncdqRXHccaQTHHdzQ}H]{nUVhJrewr[xmSuyZ`LnflRvHz[|]]rNWg_CMiGPBqaAOzgZcNYFHB}`oO}g\CLIEpBq`iOzgZcKYFHBM`oOqgVCLIEpBA`iOngTcKYDhBM`WOqgVCIIE@Ae`SOngTcHYDhA]`WOegOCGyBxAI`AOcgQcFICx@u`KO]gLCIYDP@m_qOggPCEYC`@m`EOYgOCDiBx@a`AOVgJCFIB@@y_mO\g_CCIGP@IaAOPg]cCyAhB}_gO}gz?DgBC@]?r?Z_LS^oBc@y?zQG?OOGWB{LEEfBQ_zo]WNCFmBx@yaspYGk{SuI\DKcDqAh@K_qO\GLdAq`hOcgESFIAeXRLHe[rYXnKtfNRgHr{yE\FMafuRzh|k}}^bNohVclYUHJYd_QvhXCjITpJQdeQlhVciYU@ImdaQihRCjITpIadMQlhPchiShIadGQfhTCgITXIIdQQ`hPcfYShH}dGQ]hMCgIRXIIcsQ`hKCfIRHHicuQVhMcdIRxHYc{QThKccIR@Gyc]QVhFccYQ@HMc[QQhICayPhHUckQKhGcayPhHMccQKhDSaYPDGacTQHg`c`YGhG]aGQEgwCkiMPJQbaQrguclYLxJ]b[Quh@CYiL`GMcGPjgrc^yLHGEbOQ?grC^YK`FybIP{gpC^IKXFybAP|h@CViO`EAcEP^glc^yJ`GAayQ@gkC]YJPFmaqPygic\iIxFaakPvg{cSiNXDQbsPRgfc\iN@DEbmPOgeC[yHpFUaYPshAcQYHXG]cKPIgbC[yH@FUaMPsiN?Ag@c?m?\?N_EtI_AC@I?bSo?HoDWAdRAhdSpiWTKieLQsdpQxIVsmadtP_fFRaILTEQ[dMSgrReILSxqbDQge~SkHotIq[DQ[exShHnTIAZlQgerRZIUSuad\L[hHRWIRStaclQ[efShHiTIAYlL?hHRQIRSsQclQCeZRNIPtGaXtPweTS_HeTFqX\K[hBRGIPSqQc\KOg|REIOSpQb|KCgvS\H`tFAWTJ{h\R?IVsnadlJkgvS\H]tFAVdPGgXSSIFTCq`lOcg^SPIDtAaaDNsgFR~IAs~a_dNkgLR{ICT@q^TO?fnSAH{t?Q^DNCfhRrHzS{a]lPSfVSVHutDa\dM_f\RoHtSyQ\|WO?r?Z_LOEWB[@i?l?W_JoDgA{@akk?[_MoFgBc@u?|SWiLTEYqpXqkoU]jJdfYrHXqkuU]jLDfYo`XAkKUQjAdcYq@W]kcUHjGdaIpPXMkiUJjEDdIphXMkiUNjFDdIfdRyhzT@i^tOIn@XejqUZjLD]imhXYjmUWizDdyphVIjgUMjFd[ylxW]jaUHiwDaIl`WQj[UEiud`YlHWijUUKitDayeXWEhiUBiYD_ioXRakASuj@DLynXUYjyTgi}DXyk@Tui}TainDWYkhTqjGTYipdUyi`TEieTTijDSiixSyiqTNikDSIh@SqiSTLicdQygPSUiGTFi`dPifHVyk?Szi~dMg@k?y?^?L_FOBw@S?q?V?I_EOAy~G@A?d?P_GOCgALWEkFUAgxs\YMdFybzP{h@S`IO\GUcNQEj{d~y~P_EnuW?j}D~y~h_En{W?jrd{y|@^UnQVsjxdyi}`]qniVjjud|i~@]}n[VvjwD|i~@^InaVvjqEAy{p_unIWKj}DwY{X^ynCV|j{dvi~X]AnsV^jwDuy}P\unaV[jkDyyzP]qmqVijrdtYyx]enOVUjudsi|x\Qn[VRjfe?j?`\EoEVOjctqyxT[um\VKjbEAyx@_umMWKj`e?j?`[UoEVCkCDoIwP_imAWHkAdnZ?xZyoKU~kBDmj?xZqoIUzjZeAIvH_iloWHjQthystYalTUhjTtjItlZAl\UnjYDfyupYEl?UtjPDkYs`ZMlEUqiLtFYbdQQhLSdiRtIYdDQuh^SmkteGJLhaIrWW`kYeWjExeQpkXbkXEWjE`eQpeXbkVeYzEHeqp_XlkUEXZKxayrKWlksEIZLHamrSWikrEHjCxeUrMWgksEGzC`eepIXikIUDjAl`eonWWkLUFJB\`uo~W]kneRZKHc}r?XMkmEQjJpcqqyXJkleQZGxdiqOXXkhePJGpdUqIXSkgEOZIPcMqaXAk^ETjG@dap}XVkFEMzA@buo]W{kGeMJFP`MocWxlOeZjSXfAtCXnlIeeJQxhiskYXlHEezRhhQseY[l@ehzTHgUtOYCl?EhJOPiYsAYdk}ebzNxhEr{YOk}EazPPfmsQXykze`jP@fasMXxkyEbJMpgyriYLkwefjMXiArcY^ld_FwCKAA?~?`_OSwi[dMMfJRfhrTkYu\ZIlhUujYutBZdlWuvZTLlUtrY\l_ubZXLhUtbXtlOu`ZTLfuqrYLksudZKLhuqrXDkguZZHLeUrbXDkgu`ZHLfutrUDlctdZWLWujRZTi{uxYmLluobWlkOuNZBLbUnrTTkCtXZ?LTulbVdjwtpYvL]ukrVLjStvYsL\VA_A[@U?h?R_IoDIqDXIkbURjItdIe\RUhhSui[TLzJTdmqrXUkkUTzI\dUqhXOkhUSZFDbiprWzk]uNJdhpmwq[jmUFEjapqawo[imJfIZaXp}wi[_mOfDJb`pMw{[TmMfDJchpAxM[QmRFCZcPpAxG[QmPfCZ`hpew][ZmFFEjapoiwW[WmDfDz_xoiwW[HmDfAJ`xoew[[GmEf@z_Plyu}[Bm?evZd@nyw?[imSe~z^XqmxYZ|mUE~J^@p}xAZyl{fGJ]hqUvm[flzFHjbhnIw{ZsmME{zcPm}xGZpmPe{J\dmyvZZilsuyz_`mawKZemAexz_PmMwEZdm?exJ[@oQvA[ElpF@Zn`^UnfVsjzT}I}|g}sbYOlEUbjPlgmsTYHlBUaJO|wSz~]FN?v`boDv{{D]CN?v_Bo\vs{V\}NEv^Bpdvo{T\|NCvaBntt_{J\YNBvURotwkyj]LMjvbBitw_yd]IMiVaRi\s{{D]CMgvSBo\siyV\HmbVPzhDvcyF\zMav]bgds?zn\AM{V\bgLvKxz\tM^v\Bftrgzf[{MyvMrmdr[z`[xMxVMBmLv?xh\pMYv[betvcxb\zMXv]beTq{zn[oM{VJbmtuOzR\dMsVXbk|ugzB\bMuVYrkTtwzZ\nMoVZbj|swyz\LMlvVBhd|W}P^Fncvpjwd{U}i]Xnhfdzy`xa}g]SnhfdjyhxU{a^OnhFczyHxI{[^OnGFsjpx|E}Y]wnffmjxpze{s]tnMFlzrXzY|c^InYFrJuX{m|Q]knTfjZtPyy|a]gnWFhjsxy}|{]bnQfoJvxyQ|?^@nPFozsH{I|u]\n]ffzv`xywB[Am@v@J_loY~O_?ntG?j|I?E~h^unyv{Z}\~J?E^moAF{J|y?V?E^XoAfu{?`|j??^Uo@FuK?H|]~U^dnrfzZ|`}Y~m^an{fxJ~@}M~y^^n~fwZ~p}A}w^ynmf~Jzp~mz`\qmwv[zmlvQzn\wmzV]Zn\vj@G_EoCGHkCi?^@S_`oUGG{DYAJ?{_coOGH[ByAZ@Y_ZoVgF[Dq@r?o_foSgEkBIAb?j_VoJWCkA]@R?]_foSgC[AAAb?W_loEgJ{Dq?z?Q_koTGAkDY?m}`^QngvtJyl|NAV`LoeWQKHUCfA[_{ogGNkHyBvA[_xogGM{HyBj@k`PoZgS{FADJAc_roYgS{EaDFAC`DoaGP{GYCZ@}_oo_gKkGABFBI`SojGW{IiERB?`hotgWkKIEjAs`eomGYKJYE^Am`\okgV{JADzBc`tozg\KMqFNBW`novG[[LiFAuTZHlcVXJktuUzB\bmpVuZzT|m}n^UnkWOkGeCN@~`@o_WccPUGpCbaOPDwbSO}G|CRaMPCW`CPUGpCLaDPDw_sPMGDCPaAPBw`COEGTB|aEO~w_SNuGLC@aAO~wbSNEG|BtaMO{wcCN]HHBzaPO}WkO@K?]?P[GmCv@ztLym|T]enSVh{@e?z?Z_JoCwAkIeDZAj`VokwUKWiKBEGbAp`go[WqJvEMa~pcGnkVQKBDwbAp\go[ViJ^Dqa~p[GnkVQJRDwaup\gl[UqJ^Dqatp[GlKQYIrDYaTpIGi{WYIbEGahpagikSiKZDMbGpRGp{SQJJDGarpPgk[UIH~Dea`pXGgKTqHzD_a\pVgfKRIIrCsajpUge{TqHZCoaopJgj{^G?Q?J?EplG}[ZINnFsbWpig}[^YL^FsbUphG|kYaNbEebvpfg{{YINVE_bspzGrKXqNbFmbLpxgq[]iKnFgbIprgz[\yMfFObmpqGy{[qMrFIbipwGw[]IMJFcbbpmgwKZaLzEub^_CO@w@K?]?R?GqPhGCbUPpHDcZQOxFscEPxHDc\QOxCSbmPLG~cQQNXFC`uP@GtcZQFxAsa}OtGrcKQKXACaeOhGlcHQIw~S_eNxGDb{Q@x@S^}O\GBcEQ?O@G?s?U?H?E_AxPCT]IrDZampVwkKfiSFIEczq]HOkfqSNI?d@q^hOkgaQ~HadEqahKKfqRbH}cyq_HM[fiRZHmczq]HL[gyRJIQcsqcHK{diSRH[dEqUHP[hAQnIQchqbhIkc]QVHHcgqRxHk]]NVFhbup{W|{lATBIcdiqshS[liTnJUdXquHUklYTZJYdWquHT{lATNJSdTqshTKhUSrIVdLqfxRkjyUZJAdfqoHX[kQTrI{dcqmhW{oYUzKIdorAHZ{myVvJ{dxq~h]KmiVnJkd{qyH]koAVFJeeAr?h[kpaW~K[ePrEhcKpIWZKUeGrDH`{cEQJHBdfqrXX[kUURJFeWRNXgCrUX|KreWRLxecrmXdKxeZRHxdCrmXpKdeTRNXgCq}X|KleoQ_xO{gUVvJ|d~q|X^Kn]ZXL`ewRXXlsuMZTL`eqRYXkSu]YDL\elRPxgct}YhLfetRUXisueZXLNewRSxlstEYxLHelRRXjssm[xMUe}rehn[xaZrMWexrdhm{xiZjMIfGrbhqkwq[fMCe~r_hpKwA[NMmfMrkhsKzA[~McfTrghtKyq\NL\enrUxuc{E]HMvf`RmXwSzm]HM~f]RoXq{xm[q?AfbRsxx??Y]m?CfdRtO?c{q]e?AfgRto?s{y]j