CAT(2558,1)

Sparse6:

:~?f}_?O?G?CA{@\?m_VOLOESBQ@f?v_ZOLWFCBi@r?z_]oNGFsCA@~@@_`oOgHOC[AP@G?coPoHKCQAL@D_h_QwHcCiAZ@M_foY?EKA}@`?n_WOKWMGE{BN@d?wOZ_KsEwBT@o?soZoLCF?BV@m?uOZOL{DcA|@Y?moUoJcDoA~@]?ooVOKCEKA~@a?ooX?KCEGBJ@c?roWoKsE_BV@l?tOYOLcDcA`@Z?hOU_IKDSAl@V?iOU?I[Am@Z?k`L_VgJcDuBB@__noWgKcEMBJ@f_rOQGHKC]@f?q_YOKgEcBM@p?y_[oNgGCB}AH@E_aoSwIkDQAp@U_jon?VKJkD|Ay@]on?VCJwDnA|@ZOlOVCJODnAr@ZOk?U[JGDjAp@YOjWT{IyDaAj`X?jGU?IiDMAx`\_iGVOIeDGA``R?gwSgIIC{A``O?gwRwIICyA^`M?gGRWHyCqAi`L?jGTWHaDYAW`L?jgRGI}Bt@{_|oiOPkGwDPAf@EOeoPKHsCVA[@DO`_QkG_CnAF@JOc_NkHKB~@}@IOc_OCHKCDAS@?o`?QKG{CJAB@GOh?M{F_DL@x@Qo\?QsHSBl@t@JocOMKG{BfAO?xOHWC{AYGY?g_TOIWEkB]@l?z_]oNGGKCMAD@L_foRgaoPeGoCZaJ`EgaWPYGiCWaI@DwaOPQGiCOaH`CW_wJ}GQB@aC?oG\GOuFUCM`t@Bw\?PeFKCZ`r`Eg[CMEFDB^`movgZ_OuG]BY`l`Bg`OL]GWBXaD_uG`OLQGWBUaD_tW_wLEGQBRaC?sg__KyE_CEaA_rwXWPAGcBL`e@CWXGOUEOCE`d@@GWgOEEMCB`b@?g_GKIGEBCa@?ow^gOAFwB}`~_}w]ONYFgBv`x_|W\_NaF[By`u_}W[gNAFaBb`q?zwjoAI@H?b_ToJWDcAu@X?jat?SGISDEEVBL`eP[olkU}J\DiauPYwkOUaJADhap`Xwk_UaJKDhaq`XwjSTeIpDeAhPX?i[TOJJDbAgPWOiKUGI^DCAnPVogkU?IFDlAVPZoeCUwH^CgAtPI_lcQcJVCaAnPW?c[T{HHC`AlpG?jkP{IxD[AMPF_j[PsIzDKAQpR_c{SsHLDHAbPQohCSgINDTA\PTofcTWHvCsAZpL_fKRSHpD?AWpKogSSCHdCjA]pNodkRwHX?f_QoHgCkA]@L?h_TOIGDCAi@RE}@HOdGQ[HUCnAUbU@mGtoZeLYEyb[@kGtwZiLqEpb\`lGuOZuLwErb\`lWuwZuLwEub^@^woG[AK?E~bRPiGs{YKLjEvBQph?usY?MBEaB`pgOwSY{KzEpBNpk?rsYsKtEmBMPj?r[WwLhEOBXpbouSWmKZEKbA`oWwWWYMCEFb@@ngo_[AKEE~a|p]gnKVuJ|D{bJ`iWrGYmKoEibG`dGqoXMKcETbC`\GmWWiJiEGaz@[WmwVAJoDq_PoGgCcAI@H?bcC`@W_sOQGNCHaCPAg`cOmJfDsayqChAc`MOKG?cCA?h?w_EOIGEcAAAH?w_MMbFQbgP~@?[_SNvGCB|Q?O}{^cO@GAB{P|@@c^SOZFuCFPxPAS][OfFeCIPvp@c]CO\F_CEpv@@K\wOVF\CDQBozK`CMvGOBlQBoys\_ObGOBjpsp@[_cMjGIBiPpgwk[QMPFHbbpqgxc[mMZFMbfp{O|[^KNZFqBuPz_|C^?NTFnBsp~O{S]ON|FbB~pUwjkTqPtGzc[qIhD[aqPMHRcgaIXIOaaQaGccRASxCgdIOpGYcKqFXBc`mQOG_cNAQhHG`}QCHMc`aSHG_c}PkHDcbAMHGwb]PeHJcYaRXE_cqP_G~cWaOXEOcAPwGlc^AJhFga}OiGacJaGxAoaEJdDpawQDXA{`YR|I?c~q]xNkfqRLHgcrqYPNcfsRVHiC|q^`I{g?QrH~CkQZ@L{ewRbHlCwQWpNSf_RJHxCqQV`KSd{R@H\Coq\PJSdoRnHuClq[`IcfKQlHsCipXwlKUaNbFrbxPzg}C]}TUIgdTQiXRwiUTAIedOAhxS?iIS}IcdOagxSghATKIPdRachRchySzILdFqbhPOiaTQIKdTAaxSOg]SQIcdCAgxTGgQTSIDdBAiHQoheSoIZdJaehQWgISgI@dIa_xYgZiLpExb\pnGvkcUQNHEc`QOxGccAQBG~c]QNhFkgESFIAduau@Zsm?UtJXDnqu@Z[lgUzJXDmQtP[clWVJJVDrQwPY{lSVFJUDpQtHYSlMU]JfdgayXY?maTgJZdZAvXUglqUaJHddasHXOk}VGJEdrAqH[gk]UJJBdaQoHWSkETyJ]d^awHVol}TwJhd\AxxVWmaTmJbdpAmX[GjaU[IpdeakxX_jIUWImdfAkHXgi}TUJQdUatHT_lMXQJNdgqsH?s_aONHccqqWxKCeIRBIjdUQjXdgrMXcKkeVBLHdgq}X[KpeWBJHcwqmXOKieRBIXacpYWjKQeHrCX`orUW_KveFbLh_grMWKKqeBbLH__rAWCKpe@bJxconqXMJ}eSA~X^OrUVuKud{bLx]wqMVkKdd{BHHcWnMXIJteQA|H]?qAXCJqdwbGX\gqAXCJndvBGXdWmiVWKhdtbIhbOn}WAK[eLb?HawomWYKXeEBEHbgoaW}KIeNBAXm_niVvJxdtQzH\[vSZnLuE{r\@nCvCZhLrEyr[`msumZXLlesRYXlSvCYfLrEiR[`ikrwZnL?E{RNpnKrkZ\LoE]RZpfkr_Z\LoE\RZpfKuSYxLfEnRX`jktWYBLBEkRTpgSs{ZDLMEqRRPk[tcYTLZEeRU`h[s[Y~LHEorQ@kCsSYbLEEhRP@iCkqU\JLdiQsxYSy_[BMhF?RhpoSyE\DMbfIrdxqsxG\HMeFIRcpskyO[HMDFRR_pskvk\NL{FSr]`tCxk[^MPFMrc@rcwo[pMMFLRbPrKwW[|MGFOR`pr{vw[RL~FDr^PpSqAXDK`ePrHXccqaXLKfdtQzH\[yi\XMjfbbrxwg|A][NEfcBohxO{Q]QNBf^bsXyW{E]cN?f]Bqxvo{u\yNKf\bsXyWze]cMyfZRmHu{{_\fNIFYrqPuc{k\`MqFerkPxcys]`NNFVrr`tsuyZ`Lnewr[xmS~A^bNnfuRzh|k}?^dNsFpR{p{K|s^dNsFnr{pzs~S]tNvFmR|`z[~S]nNvFkr|`zC}c^LNgFtry`{{|O^FNUFqrtP{c~__NOHF|R}Q@D?g_HOKGBSAq?l?C_ZOBGFs?a@s~w^vO?F}r~p~d@W_rOWGLsDqBT@?_fOTGHSDAAKDmAt@X_gOSgIKMUFHBba~p_WoCVYJpDvaxP[GmK`yP@G^dBqaXPCgQSLIDeDrBH`koaWRKIf?r_HoSwQ[JMBfiRthyk}Y^PNfgeCPiHpCaaYPFg`cQYHXCUaGPIg_CPIGPCMaAPDg]cQIGpB}aMO}g_CMyGPBqaAOygZcNYF@B}`qO}gYcLyEpBe`oOsg\cKyF`BI`sOpgVcKYDpBM`_OqgZCJYD`BQ`iOjgTCJYDXAe`WOggVCHYE@A]`]OegPcIIDPAQ`COhgPcHyCPAY`GOdgMCQYHX@y_yPIgNcRICHCy`?PLh@?DwBC@Y?t?X_Lsb_Bk@q?|QS?OOFwCKHaCtAXaWpKweSQyH^Cobqpxg{{\UMfFScjqUXJCdQQlHTd\QnHV[j]TrIwe_rOxgSsQYLLDfWRkhuKy}\ZMmf{R}h~K~m^zN{h\cniVhKAdwQ~h_cmIVPKMdqRAh\clYV`J]dyQuhXCmIVPJQdqQrhVckiUHJQd_QrhYcjITpJ]dkQlhVciYUHImd_QihRCjITpIadMQlhPciYShImdGQihRCgIT@IIdMQ`hMcgIRxIIc{Q`hPceyShHqdGQYhMcdyRHH}coQ]hLCdyRHHqcoQZhJSdYQdHYchQTgfccYQPDEa_QRg}CniNpKAbyQ~g{coYNXKMbsRAhFC\iN@HAbmQNhGC\IPxFUc[PrgxCayPhFEb_QKgvCaILxGibYQHhDCYyL`GacQPigrcayL@GqcYPhgqC`YKpG]bIQEgoc_iOXEMbCQCh@CViO`EAcEP^hAcUyOxDucKP[gkCcyJPHIaqQPgic_YIxGAakP~ghC^yI`GEaeQ?iT?Ag@c?m?Z?N_FTL_AC@I?bS{?HoDWAdRqh|S|i^TNIflKOhrRDI\spafTQOf\RoIRTHQ\|NChHRqIRS{qclR[fZRjI[TLa\dM_hpRiIZsyQetMShfRfIYsxaedMGh`SqHqSwqeLL{h`SqHoswAeLRKexStHnTLAZlQserRZIVsuadtQgelSkHkTIqY|LKhZRTIVstAdtL?hTRQIUSsQd\Q[eZRNIStIAXtKghrRKI\sqqfTQ[eNShHctIAXDPwgpS_ILTFqbLPSgvS\IJtFAatPCg\SKIGTBQ`|POgVSQIDTCq`LO_g@SFI@T@a_LNsgHR~I@s~a_lQCftR{IPs}qcTNOfnRuH{s|Q^DX??r?Z_LOEWB[@i?l?W_JoDgA{@alC?\_NOFGBk@q?|SciRTHYsPYalEUijQDiYshYalMUijRDiYq@XqkcU]jGdfYr`XMkiU]jMddIsHX]l?UWjJDfyrHX}lAUZjODeihDSiiRTJietRIo`YUkKUfjAdhioHYMkEUcjPD_irHVyk?UZi~deinXXMkiT|i}DdIqxVekoTwjJD]impXAjiUQizdcYfxWui?UNi_dbiphSMiCUNjFDPIoxVIjgUHjCD[ylHUqjUTmitDZYlxUYjaTgiwDXykXTui}TdinDXIk@TijCT[iodUyixTEieTXikDSii`SyiiTNijDSIpPSUkUTFjEDPg@S?q?V?I_EOAw@k?}?\?L_FoBj?g@E?d?O_GoCgADWuk^UMg~s_YODGecTQGhEsbIP\HEcfQQkAeAz?x_uoKWKkCEAz@P_uoQWKjxd~y}h_EngW?j~d|i~@_Eo?Vvj{e?j?`^moEVyj}E?j?`^yoEV|jwEDzBH^InaWWjueAY|x_in[WGkAdyj?p]qoMVjj}Dxy~p]enyVgjqD|i~@]YnIVvj{dwY{X^mnCVyjxdvi}h]AngV^kFDuzA@\uo]V[jittyyt\amtVXkFDsjA@\Qo]VRjfeDzBH\Em_WWjeEDIxp`YmYWTkGdqZAX[mocVIkHDqJAX[]oaVEj`eDIwh`YmGWTjWtkyuTZQllUtjZtmYvDZilxUzjTdoIwPYumAUkjVDnYu@Z}l]U}iRtIYdDRAhdSpiXtLYedRehvSykzeJJNHayroWlk_eZjGXfAqCXnk^EZjG@fAp}Xnk\e\zFhfepwXwkyEMJFPfYriWxkweLZMXb]rcWukweKjMXbQrcWrkVe\JEHfUp_XukOUGjCLaMpJWckRUIJC|aepVWikteUZJXeurWXYksETjLPdarQXVkreTZIXeUrKXSkgEVzIPeEqaX_kpERZK`c}rEXMkmEQjJpcqqyXJkLEPzB`ceouXGkMePJGp`}qIW]lTE]jN`iqtUXzlOehJSXiYtCYdlNEhzTHiAtOY^lYEbzUXhAtiYPlEEkJPpjEsYYqlCeezRhgmsSY[lIe`jP@h]sMYUlKE_zRPgUsqYClHE_JQ`gIseY@k}ejZNxi}r{Ymlj_GWCC@}?~?__Oszi]DM}fdRrhwtnYv|Zym@VAj_uwR\DmGvLZ_LruwrZll{vJZcLnUwbZdmCutZ_LlutrZll{urZWLnUtBZDlSurZULjutbZdlOuvZTLlUwrVdjwvJZcL]umR[tjgvNYzLsUrbYLl?ufZNLhUqrUtkstpZKLZuobWlkOuNZBLbUnrXDkguBZHL_VD_A[@U?h?T_HoDIrdXykzU^jOtgIf|SEi@TAiaTOzK|eYrJXakqUWzJ|eEr@X[knUVZGtcUqHXFkcUQZexq]xq[dm[FHjcPrYxG[smPfLZc@qmxY[^mOfJJbxqixA[hmSFGJeHpqxe[]mXFFZdppqx_[]mVfFZbPq]xI[ZmKfHjapqIwo[cmJfGzb@pMwk[TmJfDJbPpUwu[RmKfDJ\Pouw[ZhltfBze`oiwW[umDfLZexo]xq[Hm[FAJ_`qmxY[EmUF@Z_HrEwE[rm@FKjd@nyw?[imSe~zdpnmx_Z|mVe~J^DnevtZvlzU|Za@nIwcZsmGe{z`hm}w]ZpmFE{J\`pAv[[QlufCZp@^}oBW?k@U@J?\husxYZlKUejRLhUsnYUlHUdJQ\xC{V]RNEvcbpdw{{Z]ONDvbBptw_{n]INKvaRrDw_{h]INJVaRqluO{n\eNKvXRrDxCzB\bNHvcbkTx?y|]NMoVVrpttk{h\\NJVVBqltUyn\UmhvTJiTwSy^]FMgv`biDwGyX]CMfVRRo\v{yR]@Mdv_BhTsWz~\GN?vProDsSzx\CM~VOrnlvoy@\AM~V^RgLwWx|]FM^v`Rflrg{D]CM]VMro\v?zf\pMyv[bmdvWzZ\nM{VZbm|vczT\zMuV]bl\t_zN\YMsvURlD}G}j^RniVsJyT|E}}]bnQfwZ{@yQ}}]_nofgj{@yE}w]]nnFfzzhxu{s^[nMFvjrX|u}q^CnbFuzzP{U|K^@nSFozsx{I|{^Un_FuJvx|]|i]wnZfmjupze|u]qn]flJv`zM}S]nnWfrJu@{m|W^LnVFrzth{y}M]hncfizx@yiwZ[MmFvCJaTpE~g_KnzGBj}i?v?@_@o@V~Z~|~z?]^yoGf~KA@~n?]^dnrgC[A@}Z?W^bnpGBk@h}R?Q^pnxgAz}Q?i~[_EoCF{J|y?]~U^vnuf}Z|`~a~O_BntG@Z|I?Qzx\}m}v^zoLwA{D]Cn@v`zotwV@__QoIGKkAYBF@Y_yoVgM{DqBf@S_roYgJKEaAn@k_foSgMKEyAb@G_ooRGKkCiBF@B_aoPwFkCE@~?u_roYgF[Ea@r@s_YoKGM{FI@f?i_uoJGMKEy@]}x^]nmvvz{L}BAn`XokWTKIuDVAs`GodGVKJYCfAs`DomGP{JYCZAC`\oaGV{GYDz@}`\o_gV{GADzA[`PogGS{HyDJAU_{oeGNkHiBvBW`qovG\KLiFNB?`hotgWkKIEjBK`tozgYKMqE^BE`noqg[[KaFBCA`wp@g]kOQFfBu`}o}G^{NiGAujZUliV[ZmDvIz^\lmvVxZ{|}Y~F^cnpWRkIEC~AV`LoeWfCQuH`C|aVPMweSQ]HlCjaYPIWcSQuH`CdaVPGWbSQeG|CjaMPHwcSP]GpCdaOPDWbcP]GpC^aLPDWeSOeHlCLaYPAwfCO}HxCRa\PCWnO?{?e?P[TmIVCzulz]|l]qnXvlKBE@j?r_ToJwDkKEEFBD`boqwXKXyKrE[bPpgGr[YQKjEgbJphgq[WqKrE[bGpbgr[WYKfEIbJpaGqkWqKBEObApbgo[WYKBEGbApago[RyJ^Dqa`p[GgKXyJREaaupgGl[UILJDebSpXGs{TqJvD_a~pVgnkViInDYa~p^GjKVQIjDwagp\gi[SiJ^Dqafp[GhkSQJjDGa{pPgm{_g?Q?J?EpqH@[[qO^FIcEqAgw[_yMNGKbapoH?kZqORE}cBplg~{ZiOFEwc?q@GuKZQOREqcBp~gt[_IL^G?bUpxg}[^YNVFsbspwG|k]QNbFabvp}Gz[\yNzFybmprgyk\IMrFObj_BoAW@C?]?R?GqVhHcdeQ`H\cfQUxISdeQlH\ciQUxFSdMP|HVc]QTXHcbUPpHPcZQRxDsc]PdHJcWQQXDCcEPXHDcTQOxCC`MOhG\cGQFxCS`]PLGZcQQEO@G?s?U?H?D_BXSCU}JfDpayp]Wm{gyS~IQdMqcHR[hQS~IWdLqdhRkiARnIcc|q]HS[hQSRIWdEqdhP[hISJIMdBqcHO[iYRzIid?qiHN{fATBIccyq[hS[iaRZIicvqhhL[d}RFH`csqXxKk^}OFG@cAqAX?{maTrI{duqmh\[nIU^Jmddq{HXkmyUJJqdcq{HW{maT~Jkd`qyhWKi}TbIldXqlxUklYVJJedlquH[[lAUzJSdoqshZ{pyVjKad{rGH]{pIWNKUeDrDH`KoIW^KCeGr?H`kpaVvJ}eMq~Hb[rAXnKse\rKhfKqiXJKgeVrJHc{deQzHZdrqxX[[luVBJ^eiRQXjCsuYlLJecRRxhctMYTLPe^RRxgCtMY`K|eiROxjCs]YlLDe{QfXR{hmWfKVeIrBXaKo}[HLxfCR^Xosvm[@L|f@R]XnSv}YtLtexRVxjcv]ZXL~f@R[XoCu}[HLfetRaXosueZhL`exRXXmsuM\hMmfIrkhqKzA[fMofDrjhp{zI[ZMafSrjHs{yQ\VMUfMrehsKxa[~NEfYrqhvK{a\nNAf]rmhwK{Q\~Ltezr[xzC{u]xNNflRsXzS|M]xNVfkRtXt{zM\a?AfnRyx|o?Y^A?CfpRzO?c}Q^VNm?@RyO?s}Y^Z