CAT(2646,3)

Sparse6:

:~?hU_?O?G?CAw@V?k_UoJwECAy@\?o_VoM_DKAa@T?z_\OMgFcBm@x?v?YOL_FCBc@j?w?WoLoE[Bc@d?w_ZoMWGGCm@{@H_c_NwGOCi@y@J_d?OGG[CQAJ@E_cOPwHwDIA[@R_e?TGHgDUAm@P_g?TgJkDmAt@X_mOUGKwAa@R?g_SoIgDSBu@|?~__OOgGKEsBN@m?sOZoLSFGBR@o?uO[OL[EOBN@e?uOX_L[ESBP@c?soXOLSEsA|@m?no[_KCE{BB@b?woW_MCEQBL@d`G_`WOkGYCLAF`Bo[wM{FaBh@u_yo^wOCGECDAC`@o]WNSFmBx@}_}odoS[IOCpAX@Qoe_SsHkDPA[@RofOQ{ICCpAY@NOeoR{HoD@AX@POcOS[HGDPAf@Ioh?Q[IWClAd@IOboQKGwCjAM@JOboQSH?CfAO@IOfOPCHwCTA^@Dog?PcIGCZAH@Oos?D[Aq@X?l_ToJWEKBI@f?s_ZOLWIkDYAn@Q_hoTGKCDyBF@^_pOWWPKGaCTAJ`EobG\CMiFRBj`uOzWZwMQEwBd`m_ww[oLyFABa`r_wGZwLeEwBU`m_twZoLaEuB``o?ugYGLYEeBV`g?uGY_LeEuBT`h?ugY_KuE_BL`g_rgYWK}EiBN`h?rgXGIeESAl`e?jgWwIiEOAj`d_jGWgMQECBd`__ww[oKYFCBB`r_pGVkJmD|A{`_OnwXGJUESAu`e?lwWwJaDsBG`d_mWTwMeD_Bg`W_ygUOMmDeBl`Y?zGe?AI@F?c_QoHwCsRoHlCva[PMgf[ReHvCua[PLwfKRiHkBm`w`MGewM}FcCxa\_{G]WRiGcCoaH`KWa_RIHeCTaY`Dwe_PYGLCFaCPAg`[OeGECna@@Jg_?QqHUC@aT@@WdgOQH]ByaU?}w^_QmFyCmaT?~w^oQuFgCo`y`KW]oRIHeBvaY_}We_NaG}CYaK@GwboPeH?CZaM`GWcOPqHKCPaE@HG`gQ]G]CdaS`CGd?OyCRAL`DOaGP[GqF\Bn`wO{W][NIK_DwAcPR?n[ScJxDIA|PQonKSsJzDtA~P[_n{W?JfE@AyP\ooSVWKFDkaup[GmKUyJ^DxAfP]_h{VkI`DwAgp^?i[VsIdDBa`PPWgsSQINC{A~PNOn{RwKBC~B@POOo[W?I@D_ArPWOk{UGJPDbAspYokkUgJHDSAlPTOj[TWIxDXAmpVoi{T_I|FK?POGwC{AQ@L?d_POGwCsAU@H?f`dOqwW{KeEXBGbf@qGxw[eMKFKbe`pwyG[mM_FIbb`swwo\IMgFIbi`qwx?\]MQFUb]pmgv{ZyLvE{b[`tGyoZYMeEtb[@twyOZQLmFTbWpkwtsZIL^EobQ`sWsO[qM]Ecbe`gwy?Y]M[Eebk@fGzGXuMsE]bm`fwzWYALAF[bJ@ugqw\eKoFZbk@eWrW\uKsF[ba``Woo[EMEEFbA@oGwOWeMGEGb`@agp_[EMIENb``bgpg[AKUFCbG@iGq_YmKaEhbU`dWt_XIKeEicR@Igd[QqHZCnaVQI_|[aWNXFmCTqHo|S]{PPGhBuqG@@s_{PBGQCPQCPC[aSOfGOCQQG@As`SPBGSCPQHPBK`_PFGVCQQ@H?S_MONGDcBQH_}Ca_NdGfBwqIO}[akNjGiByPwg{C\yM~F`bppxg{{]aNRFdbqQE_~c`kNzG]C?qF?~s`{N~G\C?QA?~C^gORGIBzp}p@[^WOZFxCEQKhE[bQPjGvcZQMxFSbqPrG|c[QJxDcbEPZGocVQQ`IsckQnHKCkQRPJKc{QvHMClQQPIccOQ`HTCaqP`I[c[QdHPCcQVpF{doP|H_C_qVPGCdwQFH`C`PiGt[YqLRElbTP`WosW]KHEHbCPawpSWuK\ENbEQe`QWhaSoIQdJAeHQwheSgIXdIaeXP?gqSQILdDabhPwgYSaIFdDAcHPweURMIPdEAWhPgeMS[HecqAcHL?hISkHldHaYXQ_eiSiHkctadxOKgISHIDd?Q_xM_gYRiIFdCA\hPGf]SUHxdDA]HLwfiRuHpc~A[HMOfqReH~c}aZgf{SAIBC|a^PNGgcSIIFDDabpPg~C^YNnFxb|p}hW_lEUIJQdbAsxYgk]U_JHdcAtHXWkUUYJFdeAqXXokQU]JEddAqHW[jyUBI~d`QoHY?jIUaIrdYAshUglMUiIvdZAtHX_iMUSI_ddagXXgiIU[IddfahHV?iYTqIfd\AiHTGjmTUI|dTAnHT_hiTYIZdVAfHTwhuS}IpdNAkH_o[IMBF?b`ppWwc[iMVFGbcppwwsWQKJEEbBpaWpCWiKVENbEPbgpkdAQbHQchqTXIcciQVHKceqRxHsp?XRKKESRBpc{owXLKdEGrBPccqGW`KKENRBPb{owX@KbEGrBpcKp_WLK\ECREp_{poWRKXEDrE``SpGWPKFEIR@`asocWjKVEDrCp`SqKVFJdENQx`b{m[X@JaEOrG`[cp_VtKXD|rE`^cpkVzK\D~rF@^sqOVhKdDyq|`csn[XNJxESq}@dCmwWdJnEHq{@acnCWjKVDxq{`asmaVRJjdtQzX\coOU|J`EAr?`ZcoKUzJ_E?qvp_ClWW@KADjr?PZCoKUrKDDlr@@ZSv_P@G`cPQGxCkaQRJHacpqXHK{eYRZHhctqYHLSeqZyMHe{B`HooveZsMDe}B`xnWwaZyMBe~b]Ho?veZsM@e|b^hn_wIYFLCearPxgssIYcMBehb_XhovyYaM?efb_hi?v}[MLGecb`Hogsi[QLKfBBRXp?smXwLrezBOXfgvQZcK}e^b\xmgsAZcKue\B\XfWvYZeKve[b\xf?vQX_LlevbKXmGrIXeLmewBLXe_uqXSLlevbIxdwvEZ_KkeVBZHdguyYsLjelbXhj_uaZML\esbVxjouiYgL_eibWXiouIYmLbekbXXk_ta]cN@f`Roxwc{U]@MOFercpyCxG]XMPFfRdPyKxO]^MMFgrapxsws]`MIFerrpp{{o[XMZF[rlPqszO[rMuFJrlprCz_[tNJFUri@ws{[\RNGFTRq`t[{c\XMaFVRgpt{yO\`MpFQrhpu[yW\dM[F\RfPv[zo[|M|FNrnpsKzw\@K?e?r?h_[oUWHNdfqRyX|C}Y^NNmF}Ry`~k}k_BN~Fvs?@|c~w^ZNQF}Rsp~k~w]hN~Fis?Py|??]lN]FwRvp}K}?^dNrFor|P{[~O^DNzFmR|`zC~g]vNvFkrvP~C~c]tLkevrZXmKvAZ\Lqeyr\hm[v]ZhO_G@sGQ?TAG_LObGBsHQ?lAO_HO_GLSFqCdAG_vOdGMSGqBtAC_zOSGRSDQC|@W`POVGSsIqBLAg_pOMgFsCIAT@M_bOeGCSAQC|Ak_ZOIGSsBADDAg_VNPffRsHxc{u]^OkgWsJYDtA}``OwGdSQqFLCo`tPNG]SRQFlCw`vOqGdSRQE\Cw`hOtGdsRAE|BWa^PCG^SPQF|CGaPP?GbSOqHLCCaNPOGmSVqIlDGb@P`GiSSqJtDCazPUGpSTqK\D_bHPXGqsUqK|DgbLPmGsSZqLLF?bTPpGtsZAMTEsbfAM`GObwbSPaGrCZaMpFGrsXqKzE_bOpfxFsb}Q@HBc`QOXUSjMThItdZQlxjStmYxL\enrVhy{|I]fNSfirtiF|CI`|P?g_sOySXHqcyQ`hQCfiS@IIdKQ^hQceyR`HYcuQThMcdyR@HycsQ_hKcfyRPHMcqQShFcdYQ@HYccQVhKCcYQXGicgQJhFcaYPpHAcYQQhGcbIO`GicIQJh@caYOpGqc[QFhEcaIO`FucIP}hBC^yOxGAcCQGh@c_YN`FubwP~g|C_INPFycCPzg|c_YSXFQbiQ`g{chiMpIIbmQcg{ChY[W@Y?n?Z_KoEgBC@q?|?\_OOFwCKKuE^BMakpTGikTaIlDVbtPyw|k]}N\FkcvQZxMSfARfHpdqqxh[{mIVFJcfJRdxrSxe[vMWg@S?y?|?Q_LODghSSIIlDEahPRiJDCIaHP]geSXiIdEIaPPiggSZiDDCIaHOygcSJiHdBIahO}ggSLiDD@I`@OygUSDiBDBy`HOugMSKiCC~y_xNygQS?iBD?Y_XOQgCSDh}D?i^pNaf}Rxi?c}i^hOMfuS?hxc}Y]PNafwRsh}c|Y]xNifuRuhyCzy]XM}f_RvhwC{i]HNUfaRuhuSzI\lMyf\RlhmchyZpIaf?QjhnciYTPMIfAQkhgdDyYPPaeeSXhiDDiYpPmeiSYhscqy\HKqfURMhtcrYY@Mie]RihactyWxLeeKRWhmCqiZXKaesRHh^ctyW@LaewR@hlcoyWPLeeGRYh[cwyVPMQfIQzhrCnI\@JyfMQ|hXcwyU`MQfKQuhqclY\@JafMQvhWcwiUPMAeyQlhWCvyTpMEd]R]j@?Ag@[?u?X?N_FTb_AS@E?`US?IoDGA\XQkjUUjITdiqlPojxS\I}t_Ab|Q?j|T~INT_QcLXCiLTIJHtcQg|SkkdTHJHtQAqTSCk^UMI`Tbag\S?k^UOIatcAgdRokRUJI\Taaf\RskZS~JCTNapdWkhlSsJCtaaelWohnSxJCTbQfDRGkDUBIVTKqolQ{kNUCIWT`aeLQ_kDShJ@tIaolQkkLSlJBtJAodQGjxSbI}tHAntV{hJSfJ?t_ActVWj`TvIwt]AmTVSjvTyIxt\AnLUgjHTjIqtZalDUojLThIvtZQk|TwipT^IktWAjTUGivTbImtWQjdTSi`TKIhTSqhlTOi\TUIgtTqh|]wkbURjHODgA{@e?t?Z_KODgBC@]?v?Y_KoFGBc@u?|?]_Mtza~l]{n~VmJ~Tzr?T^?oBVoK?T{Q|D^KnTVqJtt|A|d]cnlVlJytyA}|^_nRVxJtt~A|T]sntVzJuTuQ~l\gn|VZJ~tvB?T\woBV\K?Tsq}|^cmhVwJittq~\\_nxVyJjTrQ}L[wndVNJxtsA}d\GnlVPJytgysdYUlPUfjRTdq{lXcnLVfJMTeA{|]SktVeJLtfQz|Xwn@U^JotwasLY?nHVbJPToQw|[GmPVEJdtpQxT[KmRVKJaTmav\ZoljUuJ]tlqvtZ_m@UxJ^tjQu\YwldUoJStlAtTYklbUkJVoAg@k?y?X?N_DoAg@[?q?Z?N_FUVQ{|]YnJ?O_GOCWAS@I?bRVhksuIZ\LqetRahoSvYZtL}fBX]KquVRKDdsrBX^KpuVrKddwrDXJKjuSBJLcoqtXLKkUUrHtdoq^XPKjuTbJDdGqrX[KiuUrI\dOqtXeKIuXrAte_onXhKKUEbL\`crTXDKoUQbKTcWrBXFKquQRKdc_rFXPK^uSbGDdOqHXRK_uTbGTdSqFXJK[uMbIDbkqXW{KeuNbH|bsq\WrKuULBLtbSr^WuKuu[RFDb[r`WlkWUJjETbEp^XkKOuZRCTewpFWcKvu[RCtaSr`XeKLuYBBde[ozW]KtuYbCDeco~WHkDuAj@d_yoZWNkGuCJAd`ModWBKRu@RDL_OpPWEKTuABDd_[pTT{i}t_IoLVyj~ULjDtaIpLWikXZELMUfrX\hsuNY]LcUqbSLkct@YULbUdrW|kcspZILLuqrRLhguPZKLGUdBYDkssbYTLgucrX|hGu\ZLLEuabXtgku^ZKLEUbrYLgwu`Xwk{u^JN\furtX}k~u_JO\gIsBZ?LAUoROlkGsLYFL`uaRWlg_uHYmL\UkBVdi{tvYrL^ukRVljwtdYgLYUiRUligtlYjLZujRVLiotpXuLPU[bSdf[tJXrLRu\BS\fStL[ALhV?rY\lOwHZTMAutr_|lWwLZuL}U|r^ln_v|ZxL~v?R^To?vv[KLrvAB\LmOwR[JLqvBR\DmWwTZoLnUvr]Lm?vdZtLouwr]\mGvhZiLkUzRZdmkurZmLmuzrZTmouv[n?OOGGB{@}@B?`ibTQig|SmiPTHkRuIZDDaipXWjm\fLZfhrYxm[{m\FOJfHryxo[~mVfLZexrAxq[pm[FKjfPrQxe[umUFJzd`rAxY[pmUfKjdprQx[[rm\fDJf`pUwk[|mKfNzaxsAwo[}mFFHj`xq]w_[gmGfIZaXqmwc[imLFGJcHpmxC[[mQfFzcXpyxG[\mvDyI|\]inRVkjuoDWAc@M?j?R_ITdyrDXektU[jLumjVdjmtzY~l^UlJUljYtnYxl[UgzSTiQtJYflRV]bplvk{X\{NFVcRnlw{z~]OM~V]bmdvkzj\{MzV^Rm|vcz|\~M{VZbotu{{N\oNCV[RpTvG{R\rNDvZboDu{{D\pN?v[bo\wSzf]CMwV\Rl\vczV\uMuvZRnDuozn\sMuVXRgLsKzN\AMrVPRlTsWzP\CMsvVrpdu?{Z\`NFVbrkTuO{`\bNGvURottg{N\ZNCVVBpLtw{V\\NDVSroDtO{B\TN@VTbo\t_{J]CMjvSZh|tAy\\QmevXRg|u[yP\HMtVXbhdu_yT\hMdvwBI|daqrXYkmUUz]DnEvdZrlyu|J\TmuvVZmlvuzJ{@}q~A^lnqf{Z{P}y~E^onqFzz{@}Y~M^`nsFwj|H}M~U^dntFxJv`}q|y^ln^Fzjvx}}}?^on_f{Zup}Y~M]vnsFmJvX}i~U]xnsfmjtdyi|\]lnVvizzPyQ|K^^nQfuzzhy]}w]hnnFiJrp|i{}^ZnmFgJzpyM}}]`nmfgjyhxa}k]XnLFtJrX|]{y^XnMFuJqX|Y{c^TniFdJqh|]{k^XnkFdzxh{y}a^KndfrzxH|A}c^IncFszu@{I|a^BnXFpJu`{U}M]tnbFk{FQAb@V_hoTWJKDmB[~p_sN{wLR~eBW~t^|O[wMB~\~H@n_sNxwLR}eBW~j^vO[v|cFD~x?l^~OJw?sBU?@?p_@OLw?cBMAx?`_nOGwKCAU@L@b_TOXwDCEU?x?x_]ODWAsBm@|?X_`OFwGC@mAH?H_bOAwHC?uAT?N_HORwACCtuUzN\emsVYjlMDjAx`WokwV[J]EPAd`dOhwXcIeD\BR`UOsWTSK}EP@t`eO]WNsLMET@z`fO^WMsLECpAL`LObwRsHMCxAP`JOgwQcIEC@A|`_O`wOSJ}EDAH`AOpwWcGl|Y}j^SnjvuZzD|i}~^ZnmVvjzmEpCR`lPDWZsP]ElCZaGOtWbCLuGHCPaBPDW`CPMGpCLaLPBw`SP]GxBxaOO}wcSNuG|B~a@PHwccOEFZBr`zozw]kNEGxB`aNOwwcCMUHDBfaROywccMeB^@l_soYwM[FEHbChaTpKwdkQ}JHD@abPYwlCSMIHDfadPZwhCUuHhDdaZPXwfCUeHtDja^PZWfcU}IXDXalPRwjcTMI|DVapPSWkCTUJ`EHazPbwmSWuJhEJa|PcwnCXEJxETa~PdwoSXmK@EXbBPfwrcWUL@ElbPPjwusYeLLEpbXPhWucYlqyxZ[knevqZxD{i}X^Jo\WM{FeB~@z_}pRWh{TEIfDVaipwgy{]YMrF_bupyGz[\yNJFibmpqgy{\IMvF]biprGzK]AMbFMbmprgwk[qMNFGbipqGx[\AMNFQbapwgvK]QLvFeb]pzGw[ZyNVFgb_qIfZZl\uq?N?H_CWA{@}?j?\_LoEWYkL]ErBZ`novWmKV]JvDra{p\XIcc]Q\HBchQPXJCceQXHPcjQQxEscMPpHDc_QQxHcb}PtHHc]QPxFSamQ@Gnc]QJxFsamPlGlc[QJW|s`}NhG`bzQGxCc^ENpGhcRP{xHs`MQ`GTchQDxJC`mQhG\cjQEX@cbUO`GpcDQLX@sbMP`GFcXQAW~S`}P@F|cPP~xCc_EPLGBcSQ@XVO?c?Y?Jd\Q^XVSfmT|Htc{QnXVsf]TxHrdWQ[XKsjMRPInctQlXLsjeRXIvdXQVXUCdmRDIvdVQVxKcjUR@IxdJQgxScheTXI^dRQexTCiETTI\c~QaxQSgESDILdFQ`XQcgeS`IFe@?CO@w?{?a?R?Hq~H`[nyWFK?eAr?H_{nyWRJ{eEr?h[kmYWJJgeBqyh`KmyWZJkeDquH]KliVfJ[dyqvh]{mIVvJ_d{qohX{lIUJJUdbqtHX[kaUZJOd_rPHB{aEPRGbcQqHo@G?c?U?L?E_AxfstEX|LRe_RUxgSteYlLBeiROXgcq]XXLLeSRPxdSsmX\LHeWRRxiCruXdLReiRMxjSrUYpKvejRMXgcpmYXKdebRFXhCp}XDLNedRGX`{pEWfKTeKrDxU[i}TbItd[qlxrCueZTMZeuRfXmCyEZ\MbexRfxrSvU[pLvfMR]XsCv}\DL|fNR]xj{tuZFLfeqrWXoCw}[DMLfARcXosxM[lMJfCRdXxCyU]TMffeRiXxsym\\NRfURsXuSzu\`M~f`RlXwcz]]LMzf[RoX{C|U^DNVfkRxXzS}]]|NjfmRyX^koEV~MNfErdXqKx][fNwg?r}I?\?Y^zN{f~sAH~\?Q^vN}furzi?L?Y^jNug@r{i@L?Q^bOge^rOxgKzu\~N@farpxw\Aa`^OogSsKiD\Ba`ZOugUsLID\AQ_bOagIsGiA\?i`NOKgRsBiCl@Y`^OogKsEiE\@q`nO_g[sFiElEQa|OzgnSNYKDB}b@PDgpSOyKTCEaLPRgeSTYIDD]a\PXgmSQyHDDmbHPpgxSXyMdEeblPlg{SYyNTE}`JOfgPsaINlGib~QKhBsbIOlGacBQIh@sVyK\EC?DQMhL_@IQDHk?HQWhMsf_?tHUc{?AhJ_@iQTHv