CAT(2688,13)

Sparse6:

:~?i?_?O?G?C@??L?C_AoA_@K?k?N?K?BoB_@K?s?P?N?COHOCSAQ@F?k?SoIgD[Am@R?i_SOIGDCAo@d?n?XoJOEcB?@h?p?XoJ_ESBw@j?u_[OLwFSBeAS?~__ONgG[CIAB?z?^ONOF{CK@z@@?]ON?GCCG@v@a?UOJWDsBE@`?n_v?XgKSE]BF@c_qoUgJ[DaAn@X_jOTwJCDYAr@Z_lOVwKKDqB@@\_nOP?KsESAJ@a?cOWoGsE[AN@c?coV?IkD?Az@P?nOS_J{DKBB@S?oOQgH[CqA^@L_fOWWJ{DuB@@[_nOIwDKAiAH@D_boQWGsCaAT@L_foRGH[CyEAAs`WOkwUKI}DdAn`XokGUKJQDdAf`UOiGTKImDTAn@RokOTSI_DfAq@Tol?TcJ?DRA^@Ooh_R{I?DDAd@OOf_S[IOC|AZ`LOeWRCHuCxA[`KOfWRKHiCv@y@Uo]oTsFoD\@~@Uo^OTsFwDZA?`@O_wOKGUCHAP`FObGPkG}C`Ac?tOgOLcEsDD@g@Poh_LKISBVAG?yo]OOsF_CNAH?zoaoMsFOCT@m@HoZoQcFCCj@r@JO[_Q{F?Cd?e_QoHWCsA]@N?{_]oMwc_PAGdCPaFpDGa[N}GDC@a?O~g^kNGGnBrAIo|?akNSGlBuAJo{OasO{ErCQ@lOv?aKPOE|BZAGPCoZkOcDlCL@ZpB_VCOgDjAyAEPAoVKMkGFBkAAOzO_kMwGLCG@wP@o\{JsEnBR@^Oo?ZCJoEhAz@ionoYsN_EZBx@fOro^[L?FxBQ@|OsO]{L{EHBE@oOwOWSMGEFBD@qOoO[[K[FJBe@cOy?XKMgETBh@eOxoX[WODjAu`ZomgVCJeDzA{`_OmwV{JyEZBN`gOsgXsLEEBBA``opGWsKUENBG`corGXSKmLGEabPPgwsSYMLFEQbGPcwqKXUKhEQBNPgOqcX?KxEPBMpfoqkXKL@EKbFPbWpSW}KVEUBDPb?q{WkKrELBKPbor[WwKtEHbAP`WosWaKNDwa{p^Gn[VuJtDwa{p]wnSVuJxD}a~p_GoSWMKBEAb?p_GnsWMJ~DuBLpd_mSX[JfEWAyP\orKVSKtDkAzp\OlkV?JhDmAxp\_mKU{JdC{a_PNwfkSEH|DSAuPTOlkTWJ\DWAwpUOl{T[J`EEAgp`?iCSwKJDNBCpa?i[W[IdDHArPQ_l[SkJRDfAcPROlCUgIXDaA`PWOg{UKIFDcAaPXOgsU?IJCzBNpL_rcRgL@CvBMpgOfCRcK|DeAWpXoeSRKJPCtAspYoeCUgHhCkaUpIgd{QmH\CaaPpFgcCQEG~D_AKpW_bSUCGvDbAKPFOkkUOGxDYARpVocsTkHJCgAmPH?jkQcI|GvAtpXgk{UaJRDib@P^woKWMJ|E?_{O\GMkFYBr@v_}o]wNSFyB~@{`HOcwQkHYChAV_wOZwMKFIBf@m_sOZGLSEmBZ@h_uOZWLKEiBP@jaOpFwbsQMH@CacyaZHLCemRRHicrqWxKKeIRJHecqQRXHcceQVHMcdQQ@I{dSQHHFClQT`GkcKQrHECkQMXFCbiPxGvc\qMpLkesPnG{CvQZ`FKewPtHlC[QXpDCe_PRHhCTQY`D[ekPZHkCUQRPCSa[Q\HJCPqQPCcaSQTGeCeQEPGkcWOlGVC`qE@Gc`kQPGYCbqLPAk`KPlGQCZQC@Ec`CPhGSCYqA`J[e?OZH[CDqBpJkdwO\H^CEQ@`F{_[Q@G|CCqA@GK_OQDGDC^QT@?K^wQ^GACgQSO~{dGOFHRC?P~G~S^aNvF|b{p{g}[^YNhFvbyp{@F{bsNXFmC^PzpGScCNZFpC_QSo|[]_Q^FeCiPyPICdCNNHQBtPrgx{\MM`FPbhQVoz{\gQvH\BlqV_zce?MzH[BnPuPKc\ORFFWCoqW_yk\WRLHdBjpqPDs[gP^GoBcQKox[[sPbGqBePn@JSdcMBHUB]qTOvsd_L~HVB_PlwvKZYLvEwb\Pk@D{b?LfEsCVQKOuKbKLjGqBXPhGtKYULLEfbSQF_{C]OPBG[BoqFo{S]SOzFbCOPo_t{YsMFFDBTPj?w{[OLVEmBbOCwAk@a?h?U_JoEgB[@q?|?\_KoGWB{AA@D?a_QOHGC[AMP\GncWQKXE[bIPhGucYoUGJSDmAn@X_jOPGGkCYAN@G_colWUsJ]DpAy`[omwVcJuD~B?`^O|w^CNiFrB{`|o{W]SNYFfBt`yOvw[[MAFDBc`ooxW\KMYFNBi`sPigt[Y}LXEmbUqDhB[`aOnGYcKpzG|k]yN^FobwpqGxK[iMVFLbePtgyk\eMpFVbiPugzk\mM~F]bmPogwc[MMJFFbbPhGs{YaLJEebSrgPocwU[LMFfCR_xq_wAZyMNfGB_hqGvy[cM@fHb^xmww}[_LwfGb]XnWxIZsMSe}BcxmGwM[MLuexB`HoovM[OLsfAb\XjOxiYqMXelbdXj_xYY{MVembeHjGsuY[LYefbUxi?tuYcL]egbVHfWxUXwMUe]bdxfoxaY?MYe^beXeouuZUKte[bZhlwriZ_Kve[BZHkgrYZKKve[BYHfOuiXqLfesbLXc{qaXLKieTrIXcWwqXEMHeQBaxcgwiXGMLeQbbhbouMXCLceoBGHjwqEW}L`eMbWhi_qmXSLVeRbUHcotMXQLTeSBThgWpmWsLEeJbOXb?sIYIK[eaBEXb?rIWsKqeMBKxawrQWuKseKbKxRWp}SqK`eMaehcOhqS{K]eOAfX_gvaWKLxeBb\xnOoaZwKIe|bAX_KoMV~KCe?R?h^Wv}[?J}d{b_X^gwIZ{J{e}a}hmOnQZaJrd{B\XmWnUVkLudzb\Hk_miY}JfeoAyH\WuEVWLadsbWxgoleUoLAeaauhYgsEUkLCe`atxpGk}[SJOfDasXp_lI[[JSfEasxrGkeUSMTddbehX_x]U[MWdebdhVgqqU?KoeUanhVwqyUAKnd`BKXUwrmToK{d[bNXVOryTwL?d\bNxTgsiT[LKdTbPxT_saT_LJdVbQXSkiYTNIgdTQiXRwsuY[I_egAgXhwiIYcIcegagxQwt]SkLWdHbSxQ_tQSoLUdIbTXPgqqXYIMeVAbxdwhAXaIQeWAcXkggEZQIEerA_hkwgMZSIDesA`HlWfmZWH{c}bZXNouyZ_I?eva^xMgsiRoLJczBRHhGfiYMHxczbQHM[fIR`HpcyQZxZ_pMWaJ]doBCha_l}UyKUdlbDX[GkUVCJEdqAqH[WkQVKJFd`axXU_myVYIpdvakh]OjMTkJodYa{XOwomSOKKdCbBXPOoySWKOdDbBw?{?e?PQP?HOCGAC@I?b?PhM_Ag@[?q?Z?N_FSiOkcUMJ@D`apPXWlcU}J`DlawpZgmcVUJlDrazp[gOSGACBAB`AO`WdsQiHVCnaUpJGccQUHLCfaSpIGbCPeGzCYaMPEwcSQMHBC_aNPFx_so]WPKIeArAX^SnuVxJxd~Q}xZcluUvJ]doQvxXckiURJLddqrhW[kQUJJFdcQphPkhASbIQdFQbxOKgUSFIEd@Q`HNcfuRvI?c~Q^xMkfYRrHwc|Q\xL{fARbHqcyQ[xM[fIRbHscvq[IgHR]hlSyiYtMIfLRmhxS|i_TNif|RKhvS}IYTKqfdRshfSsI_TLAf|P]glSTiKTEibLQsg^SmIGTCQd|PGhbSqIITCqeDQ[gRSiIDTIq`tQcgVSgIEtJA`dMohLRlIQsyqc\QCf^SaHvS{AcdMkg^RkIGTCQ\lPGf\RoIITCq\|LkgtR\IJsvAbDLggrR]IItDaZLQ[efSjHjTJAY|QgepSgHitIQYdLOg@S@Hjssq^|OGepR|HjS~aYlKserR\HfSrqZTLkedROHnSsQZdJkhBR?IQSnAcTJshFQ}IRSnqclJadtQuhZsmYUlJWfpQwH|SlQ]|J[frQyH}SmQ^\JGhLQnIQskAcLJChDQsIPskqcdOcdRSIHTtAqTdOodZQmIFSia`lIKhRQfITtIAStIShXSfHSShAdTRSc|SvHNtMQSDRgdBSuHPSfQfDRkcnQWI^seQfdRwctS|HMSeqgDO_dLQcI@shq_dO[dPQbIAt@aSlHCeDQQH`spAQ\HSeBREHISpQQtGKfPRdH?SxaN|M[cBQCHtS_a\LF[h\SnGzTJQM\FOh`PtIWtKaNDF?h@PnILtFAMTPsbbPlINSZab|K[bNRGGsSqQLLKobVPkHdsqaLTECc^PaHFSbqKlEKc`QMGrSXAQDMWaxRdGlsxqJlM_a|RiGoSyQJ|C{fnPOH{SSQ^LNkadR{GiSSq^TNCaRRqGdSRa]\CofhPJHzSRQ]lBsgvS\G`TFaFtP{`~P?IOTFAGLI{`bQqGXSLQU\JC`fOuHWSlAEdAohnOoI[tLQDtA{htOlIZSIqfDAgd\OdHTSHaT\A[dXOgHUsiQDL@{c|O_HNsGqSLACd@OcHPSGaRlJw_|Q{GKsoABlJk_tQ~GLsnQBd@SfFOVHoswaA\@Oe~OUHqSEA[DQ?^tNvILtF@~DPs^jS]FzTFp~K}ccVNiHDryqPdGs^\QLFurzAPc}_gNNbI@rxA_c}SgJSGFrt@`{s|scfN]HHRvqQc}?cjNaHJRwQQLK[]nRGFkSq`zdKc]rNYHeSqpz\Ho]\QWFdrrAQ|Hc]ZQYFfsepyDKC]JRAFbRpqW[{_eJREFdSp@xLNs\~R}F_S~pwLO?]HNAI@T?Pw[zq\zMyf[rmxvtL{\ZR_FVSwPt|MG\`MqHqRkQ[[y[eZMgHfSsPtTL?\RRNFTss`tdNC\BRqFPS{ps\NO\HMeHzS|PskxkhbSqFMRfQeCxwh\M_IVrfqdl??cPQDF|saP~dGW^zN}HDR~qO|B[_ZOwGFSMQ@|Bg_`OzGGsNAATDg_HO@GisTa?TD[_FPWGBSUQ?lFc^^PyFwS]p}LFo^dNsG~R{qNk|S_XOHFgrsa@S|K_PNUGBrtA@[z[aLMuGbrkqG[zOaHMtGcSPPvCAE?~?^_OOGWCC?Q?H?E_BO@W?k@e?t?Z_MOFgBlicc\QOhFseIRLHicvQ[hJqFxCC`qOzG`cNPrwyS[yMbFObhplwusZiLpEzb[sOyGdCUaNPGgbS@y@D?e_TOKgDruhy{|m]rNWfmRgXssyM\DMdfQRexrcxu[|M_fNuyB[TmMvHZdlrUxzZDl]urZYllutjYpkauIZZljepJXHliuqZElkEpzVLjmtpY{l\UnZSXlqtGZ\lQevj[HiYtOZ^loEhzT`gYtYYDlBejjP@i}sQYplDEkJNhiAsyXxk~EfzSPfms{Xyk}EgZMHkYuQXolaEZZMPk]r[ZGlaeZzHHjIteXIlZeRjU`cmtkXLlYeRJRXcQsmXBkaeeZGxhqqOYYkbEeJBxlqp?Z\kOevjC`mAvAWalneGzBHiqo{YlkMejzBPiyowYpkLekJQ`_qskWHlHe@z@@hEsiWJlHEAjXP^mu]W?leD~jXX^quYV~j}erjY`]ynYZTjsesI|PlEnUZRlhDzI{hmMnOZfjpewi{`mYnKZcjrexZRX]EsqV_lJdvY{Phim{Y[lKDvyyxjymoY~jkeoIzPkEmwZBjleoiyHiMmcYcjhehYy`iYmkYflSDtZTHZetQUylTDmzTXZytUU|lTDnJVxY]u?Uhl^DiJWHYilWZBjTeoir\XqkzU]jOTfzUXXQtgUOjFekjUhXEtmUQlZDcz[PVuvET}j?ExYnxmQkCZfj?exjXPV]uUTwleD]ZXhViu]T{lfD]zRhVEs{TqlNd[ymhiAjkYaiyEgZV@TeiuYzl[dVJVPTuisY|inEnJY`SUiCZOlgdPigXlIuiT@iaEszQ`S]iUYUicEcZQPSesiTKlHdQix@gMsGVIl?dqZNx[UmMYAl?DpjKHc}qeXdkgEWjIHeMrKXQkiEXJJX`MqwWWkmeDJK@`Yq{WVkneDZMX_ErgWAk@e\Z?`fYoKXwkAe\yxhbEm[WqjfeKyy@bQmWWukYdqyw`hAsUU~lEDoIwHgumEYMj`EbzIhZMqkUtjZETyuxdalgXYj[EUYsH^UlCVvj{Dgy~PYQlKVuj{dhYqh_uo_UWkFDdj@xX]oaUYjKeCjChWekSWejDeIip`a]k[WhjEeII|xWQneUFjwDaIoX^EkIVsjxD`ilXYujYUqiuDjitxUylaTojWDZzLPUUrWTfiseXzLHUarUTeitEYIjxamj?WkioeJZDxUMp_TcipEJjFXTaieWviiEMIihbepwTVk\DTjFhSup{TMk^dRzG@TAqCTQk_dSZ~w?i?\?L_FoBG@[VaJxDxa|p^WnSPeGpCYaLpFWbddEqdXOkhuTJH|W}k`USjHtcYqTTMijTUiiTUIi|~WwT[JN|v|r_|~_wR[EN{vAB~T|H?z_]NhwFryeA?}j_aNjwGRyt~{}^^PO?w?byD{p?F^LOAW?Bxu?k}B_MN`VoCAE?{}J_LN`wBBwdzp?L_DN\WARv|zl?N]|ODWABvtx?~x]PN}V~RqT~w{f^}NIv~Rqd~{{T_?NDw?Rpe?K{\]NOAW?bpl~Wzp\|Nzv]R~Dvg~r\{N|v]r~U?cz`\nOBwABmM?SzX_IMuvZc?ts|@@_]MhVRcBm@{y`_aMhwGRiLsH?n\BOKVPsBdsX?v\COKvPSBU@[xx_WM]wERftr|?v_YM_vOCBdp`?b[XOHWCrbU@Owv_UMMwDRbdmx?b_RLwU{SAU@Ov^_ULxwDR]U?kvR_OLsUyc@dmt?\ZjOFuzC@l|w|D^^NPvwBsdyS~B]fNpvhb{TwW~X]CNtV`R|\w[~Z]HNvvaB|ty_z@]hMovibkTuK|V\dNUvXBtd|_yl\SNkvUBz\tS}t\XNmvvBi|s_~`\HNwv{bhT~KyV\LNyv|Bhdrczn\tMZVLrmTr_zf[zMzVMbmdr?~H[pNqvKb{t}[xf^hMYvyBedzOxT]tMTvJButqw|n[nN[vJRvDqO{l[dNJvHbrDq[{r]YMSVerdLxow|]\MNvfbcDqC{~[bNOvGbsDpW{B[VN@V^baTv{wf[SN@v_Bal{WwX^JMGvpr`l{_w\^HMGVBrxTzKwH]qMAv?bt|oK|\[?NWV?RuLtgvt\ZL|vVB^dt{vz\\L~VVb^|uWvhZtMru|blDn[zRZxMtu}BlULg?t?Z_KoFGBs@u~l^wn|v|z~L~idFQchSShySlIYbZPmgvs[IMTFEzV\emsVXzlLuiv~Zzl|U~J^lnyv\ZnlwU{Z]\nIvRZllsUyj\dmnGWcJQAX@S`UOXGTcFQDXAS`]O`GVbqP~W{s_UNPF~btQ@x?C]}NXGBbzPswxc^ENpFPbfP{w}c\]NtFTb}PoWxC_UN|FBcBPpwxS_MO@FDb\PpWvc[EMPExbZPowxSZ}LhFFbJPjwuSXmKpEnbOPkWrcZMK|EpaxPuWmc\mJlF\bnP]W{CVmNDD|bYPOwgcZ]ILExacPmwhcZ}ITE|aZPxwfC]mNHCza]PzW|CSEH|Fn`dQAX@SKuOXBNcFOsXASLUO`BRbhOlwxcJMM`AzbfOlWycJuDpFVbyOhw}sIeDTFx`UP}wUC^ED\Fr_tPuWLc\mB\F\bnO[W{SFUN@@rbGPTWpSS}KXDPbFPSwqcT]KdDXaNP^wcCWEHDEBaQP`WpCQeKLCfaAO}W]SNmF\B|`wO~w_SN]FhC@_bOwwHsMmFX@J_cOxW[sDEAXBhalOnwWCTuEDD^`aPWWXCUUELDb`PPCwbSHmGpA``NPDwbcIUCxCTaBObw`CHEGTAR`IPBWRCPEClCN`@PIwOcQuH\AFaWOaWecGuHdAJ`jO\wZCFeE|@|`lO]wNsLuC@B`bPOWWscEMLL@d_sPiWtcE]A|Ej_hPXwIcUeAlDj_kPZWmCDuAtDnTDi_tOig\SYiHTJibtQIhLSqiTeIRPXass]WpLHeNRRXbSs}WxLJdwRMx]SruX|Jte`Q|xgCnmXpJxe`QbXOcreSPK|dBRMxPsr}Y@IJedQ\xMCs}YHHnebQZXhCfMYXHteURAXeSpEWdKveVRBXeComXhKNdkQlXVsmEUtIvdmQmXVSmMTxJ^dQQxX[si]VPI\dtQfx\siMVXI`c{QrXNSk}U`H~dhQ^XYsgMUhI@eTQYxcCeERDKbeSQXXKsq]RPKdd}QTX^sd]WLH\e?QUX_Sd}WHHZd_QQXWScmQXJDcfQpxISkmQ`JHc]QKXFsbMQ@GtcZQOxFSc]PpHDdGQHXQSa]ShGhdJQIxRSa}SpGldSQEXCSjMTTGZdUQFXCCi}T`G^M_fLrfhrcx}[zf|Rix~CyU\\N~f}Rhxtd?M\PO@fNR}XrC~m\DN|fLR~xrd?M\@O@f?RwXoS}M[HNdfBRxxpS}m[PNhfWRnXwSzM]HMzfbRlXvCz}\lN@eyRtXms|]]pLxflR]xzsv}]xL|evR|xlC}uZTNneuR{XmC~U^dLrfcRVXxSt}]XL`ffRWxySu]]`LdfERSXpstMYhMPejRcxqsteYtMTYblQUhZStiatNgpSYYLTDeaxPlgqSUyJtE}b@PfgeSYYKtDMahPjgfSXYItEua`PngSSOYDTCM`XPDgbSJyETCm``PHgYSCYEt@M`pOTg\SDyBTB}`xOXgASFY?t@}_PO`gDSGy@tA]_XOd^{n~V~\IIdbQ_hUshiULIQd^QihVsiITlGabzQIg~sbIOLGycFQQhBscIOlHQbbPyhJs[iRLFYcvQ]g{s\IRkY}LbErh^StyWDL]eDRXhkSpYZTKeetRFhdSkyUdKudlRNh[SsYVdLUdtRR?@SyIZg?QfTR^ho??i\lMG?LRnhr?@i]\MO?HRp