CAT(2352,2)

Sparse6:

:~?co_?O?G?C@G?K?H_D_AG@O?]?W?P_F?CG@g?}?{?W_LOEWBC@i?r?\_LoFGB[@u?x?b_OoGgCC@y?~?C_AO@GE_BM@f?r_\?LWEcBY@l?t_YOMGFKB]@p?v_[oR_H[CqAZ@O_foRgI[DEAd@t?coQWHKCiAT@I_bOQGG{CYAP@F_\ONGF[By@~?|__OOWGSCUAF@C_doRGHkHKBb@n_wOZwMCFEBf@s_xO\GM[FIBQAL`F_YwPoEiBWAL_v?bwLgGyCPAF`CobGP[GiAm@\_k?VgJGD}As@__p?UwJ_EEBI@e_p_XwK_EaBK@k_u_YGLoE]CMA@`@_aWP?GICGAK`B?awOgGiBu@\_}_VwN_DyBC@}`??WGNwEEBGA?_q_^gKWF}By@j_}?YWNWEiBo@W_k_]gIwFeBo@[_|?UgNGDmBiA@`@_\wMoGICK@v`A_\WO_FYAj@S_jOKGESBE@`?q_WoJwDkAyFM?j_TOJG_gD]Ar@W_mOUgJ[DuA|@^_oOWgKKEUBH@b_soYwLSEqB\@l_xO[wMcC}A`@M_iOTWIsP]GrCWaHPCWa[PMGdCPaO@?wcOOQHACAaN?|wbwNYGyBwaN_}wboNeGyBy`}@Eg^oPqFyCZa?`FG_?PiF}CZaJ_}wbGNiGoBxaI?|gaoNaGiBvaI@?waoOQGiCA`y@Bg]WO}FiCO`x`Aw]_OuFiCK`r?yW\?MQFMBd`r?yw\OMQFWBd`s?zw[wMuFQBm`u?{G]OMiFaBj`n?zgZwM}F?Bl`p_{G]OMEFaBa`~?vg^_MAFyB^`~_ww_GMEG?Ba`l_iwZ_IuEyAk`e?uGXgLiE[BX`m_qwZWKiEwBH`V_uGU?LiEqAm`aopGW[JsGTCG@^pAOVsK?GJCF@`OoO_sJCGVArAEok_`cJOGJCF@ZOlO_sI?G\A^AGOgO`{O_DDAcADPAOS[HQCfAT`JOeGQ{H?H@AQAPOcOcKKWEjBG@jopoYsI[EhAe@hOhOY[IcE^BP@TOs?TCHkDnAX@[oe_VCJoCzAy@MOmoRsXw?|?^_OOGWC[AILe?e_QOHWDKA]@P?f_SOIW[cMYFJBl`vozg]SNEF`Bs`xo|WFkB}@|?{_\oMgGKCIA@@B_aoPGISDMAbAf`ROhWTCIiDRAU`KOdwRKHmCtA[`NOfWQCHICbFtBuPzg|k^EN^Fobspyw|S]KMnFXBqpu?{c\oNBFYBpPuo{C[QMFFAbaPogw[ZuL|E{b[pmwvSZmLrEybZpmGus]wL`EqBuPkO|k]{LhFoBXp{OukYsMzEnBnpj_zs\sLfF^BYpv_ucY[L~EhB_pi?wCZ{LVEkB_pi_wCYSL|EeB]ph?vcYCLJEbBRPg_scYgL@E]BTpj?r{YCLNEbBSpg_tCZGK~EoBOPkOrsYsLlEwBVPlot{Q}HbCobc@dWqw[iKkFHbK@qwxgXiKqFKbG@qgqG[aK]FHbe`dGqO[mKeFKbE@pWpo[]KYFEbDpagpKWKNPFeBAPxookWWNTEGBtpyOo{XkJhDtBMp\_rcVGMjDrBjP[OycUwMNFDAwPp_l{ToNXFmAnPVO|kT{NTD_BspWO|[SgMtDKBmPQoz[\_IZFXAfpR_y{\CIbFRAhPs_iC[wIfDTBgPT?x{TWNDDVBoPU?{K]KItFdAkpx?j[XkINDHBMpf?hCSWMjDCBjPPOycRwNLD?BsPNo{{RQHdCraY`sWeo\MHmFQbf@Mgy?ReM]CwaUPJgdkQkNbChBvpI_}CUkJnDkA{pZOnCW?JPDiB@P_OlKVgJJDzArP^?k{UKJzDaA~pX?nsSCHvDBA]pO_fcQKHNCgAQpH?cs@a?t?XdR?FWBc@m@n?x_[QiHS{iYTIIFdQA`XSWgYT?IAdPA`HSGgMTQHrdTa\XTOfQTQHocxAixTOfEQgIechaiHIOi]PlGtcYQKXE[bIP^GocVQJXD[aqPBG^cOQgp?C^wTJF~DQQg@?KiGOFI`C@Qd@RKhWSpITDJqb`QKhKS`INDHQaPOKg_S@H~DDQ]PNcfwRvH|C|QapMsgsRpIKCzqN`L[b{RXG|CtQOPLscGR^H?CuqU@RSdgSxHXDLqTPRkh{QnI]CjQQPH{cgQ`HPCdqP`K{c_RRHFCsQOpKccSRLHCCqqR@FSboQ\GzCeqWPE{eKPrHaC[QHPDCa[PTGeCSqG`BC`WPHGVCPqEPJ[`kQzGYCmQV`Ac`KR@H^CIqAP@S__OXGFCDqC_}k`CNnGOBzP}`@s^cO^GLB{P}p?s_ONzGDB}QF?}[`wNhG\BxODWA{@YFxB}`}p?G_KN}AL@G_bocwQkHQNhFqbxrB@c{owXRKLESRA@cCoWW~KFENR?pccoSXLKCEQrF@^cngWzKZD|q|pbCncWtJwEKqvpcKm?XFKaDorG`ZcqKU|J\EOrE@ZKpgUvKXDlRHpV[qcTzKgD]QmPbsjgX@IwENqlPbcj[WzIuELqjPcsqOT\IkEQrBpakp[WbKOEJQy@Y[lSVTJhDiQxP]cnWVNJeDyqw`]KmOVfJbDxQypYsmsUpJkDjqs@^klGV~JPD~QrP`Kk{WVJMEDQr@]CkkV\JIDvqp@XCkWUNJDDcqnpWSk?UFJ@D^Qk`_CjOWDK@DXqjpaSjCWhIoEHoCgAc@MZcLjeyBYhmWueZKLqesB\HkwvMYBK~e_RLhfCr]YyLWekbVxjot]YgL_eibWXiouIYsLPelbShj_tMY]LLegBRHhosmZ]LGewBQhmGseYMLlebBZhgguqXqLbeqbMxk_riXeKieYbJHe_qmX_K{eXBNheGruX[LAeaBJxdgsM\CBu`{O|w_SOQGF@J_eoRGYsL]EjIGdDQaXFcbmPtMpFRrkpskyW\dMfFSRh`tSyc\JMaFVRh@uCyK\^MjFPRj@s[ys\HMpFNrk`sCzK\BM^FVRgPuCy?\^MjFKreptkyo[tMFFSRaPtSw_\RL~e~R_Hn[vuZxLye{R]Xm{vYZjMOFJRc`q{xC[pM[FErf`p{xs[\MRFDRdPpcxO[VMEF@R_pocwS[B?n_VOJWDSAq@VNl?EoBg@c@A?b?NbMPfWr[Y]LPEhbTPjGt[Y}L\El_rOYGK{WUKHEBavp[GlsQMHHCddeQqhX[kQULJDd_qoxWSiqT\IlgMcDA@\@W_ZOTGESAI@T?e_DOCg@sD@~c~w_lOTF}r}qAK~c_fNyGHR|a@s~__`NvGFr|Q?k~O_NNrGBR|A?K~{^jNrG?RzX|{}y^`NqfwryaAK}o_dNjGHrya@s}o_`NjGFr}P{{}c^vNgF|R|p{s~_^HNuFqrwP{{}c^FNgFpRva?k|{_LN_GBrup~k|s^xN}FmRu@{c|g^LNXFqrtXy{|Y]hNRfhR~pxL?C]VO?FdSB@ws{__VNFGErop}S~?]JNCFwro@|k{G^^N@FvRnQ?[z{_HM}G@Rlq@D?g\rOHF[Rl@x{zS]bMuFgRr@vS{s\vM{FfOHWCsAQ?L?G_BoAw@K?iTJIcdPoyg\cMmFBBb`pO}W^[NiCbAQ`GQ_HOKf}Q\HKceqDXAc`MOVGKcDP|W}{^YNrFyb{P~G~k^mNdFrbyRsHyK{}]\NLfeSeyRlHqcpQYhKsdiQ|HUcfQShHScASDHCc|QNHNs]aODGGbxPzH?s]aNlFob~PzG~S\YMtFQbnPwg{s[QRtFKd@PqHNshABLIW_pQdGJsgqB\@gdBO[HPS[AO|EwcPPnHBSZQOlGObVPkH@sYAPLEgcVPhHDSXQPdGwbNQLGrSWaPLEOcVPbHDSVqPdECcZQMGoS`aJtDocPQFGms`QJ\GKatQCGkscAIDHCadQNGgsRQODGGa\PNH?sRAM\FCaTPJGxS^QG|F{aRP}GcSPaQtCOcnPDHIsOQQ\CKchPAHHS\qF|C?brPwG^SNQMtBkbhO{GysLqSLBSdFOuHPShAFDIW`rQdG\SeQELHg`^QWGWSeqCtHs`PQ[GRsJAIdAwafOlGisIaJDDW`VPVGSsGAE\AG`hO`GXSGqBl@{`JOcGNTFoscYYLJEobXPkWMCFEB^EEbCP`wcsQ]HPChaTPIxW{keUPI}d_QnyBL@a_nOYgMSEyItDaanPTgiSSyC\AU`HO_gPSGYfPS]iKS{icDMyexSMhqTDi[DPIb`SIg{T?iMdOYfhPeh}SZi^DEib@RmgkSyiJdNIaXR]giSxiIDMIa`PigiSZiHdEYbhP]g{SWiMDDidHPAgcSgiGdIidpO}gYSoiFDJybxOihASKiODAy`HQMgMSciCDGi_`QUgKSfiAdHidXOEhYSBiUD?i_DNyf~R|h|s~I^@REhcRyiXc}YepNYhgRviYc|YePNMheRshxDKY]@RYfaStiYCzybxMqh?RliOczi\HQyfSSohtdJy[pQihORghrdIY[hQIhERbiQCxIdXMAhYR`iUCwicxLue{SehndHYZTLqevRVhksuIh@LAe]TEhfDPygXKmiIRLiaCrIfpJuh}Q}i]cnIg@J}iCR@i_coIWpLQeMRUhactYYPKeeeRIhgcqIVHJAduQqh\CkYTxJMd[QthYCjYW`IqdSRBhTcoiT@JYdQQwhRclyadPUgfSWiJTDx@k_}O\GOcHQCX?c_YOJGFcCqAIUDJIdbQlhVsjiTTIqdVQfhSsiIvt[Al~Uzj]tnIkH\YmoTbjjdWix`ZalsVJj[dqiw`ZUlkVDjZdpiwPZImAUsj`dkyuH[el]VGjWDpytDYYlNUbjQthIw`WymKUOjadbyph[ekWVFjDdqIpP[MmCUGj_daYx`WUkMVIjBDqyndVyjzTzi{t]imxZ}joV?izDnimhZmlwTriyDnYl`\IjUVOitDsYxhU]jQVNjfDYIkp\QjIVTiqDsyk@\Ii}VPinDsIxhTmm]T\jfDVIj@\YmoTYjjdUYih\MimVTijDtIrPXykwU^jLdfYqxYIlAUXjODeItXXYkgUijIdiYt`XEl[URjUdcinxTIigU@ihd_IoPS}kGTPj@dSIh`Uui[TniedZihHVAiUTpidD[jCx\}pQV_kSDwZAPaiogWkkHeIzCp_mpGWHkQeAj?paIoOWbkBeGZ?`_}oEWPkAeCJ?@_qo[W@k@EBZDx^yn}Wlj}eJi~PbYnwWwj|eLzEX^]nqWsj{ELZE@^QpcVukWd|ZBX]mnYW\kMDzJBp]ap?VikNdyY{h`UnMWVjrEDi{P`aosVckKdwy}H\qneV]jxDvY}@\mmqVnjvDujJXdQqwXUkieUjIXeEqaXakhEWJJhcyq_X^knERzHhdeqWXVkdeUJKpcarOXIkreQZGheMqMXdkbEXJFxbepuX@k\EOJF`cIp{XCk]eOzLHfUrUXvktE\jMPfargXykxe]ZNpe}s?Xokwe^zNheyrYXzk}EZJOxgEsQYBlCE_jPPgQsWYDlDe`g@{@E?`?K_EoBhsKyA[~L}e~r_HnkvqZvOVgKsEIBT@m_xUYjLtfIrLX]kpYsLSEhjTPiUtQYflTegjT`iQtYYblSEgZRxiitQY_lTefJRpiusyYklOeezRxhit?YXlKefJRhhms{YYlIUdZQ\hUshYRlJudjRDhasnYUlEehZPxi]s[YelHEgzS`hAtCYPll_Ag@K?m?L?F_CTEYb\PigxS\iNRyx|c}i]jNVfjRsxyc|IoFWDkAU?J?T_EmxV]jmtuyzT\evrZzl|U|j^Dn]vYZolve{j\pnEvSZrlyezJ\XnQv]ZflueyZ\pmavWZglteyZ\Pm]vGZrlyexj[hnQvEZqloe{Z[PnAuvZ\lmUuzZdluu|Z^loUvj[Dl}uoYnlVEujZHjAuoYqlXeuZZPjEumZaljEwzYhmEvGZQliExZ[plMvoYxlzelz]pjatiZxlZE}zU`niuEZPlfepZW`lAu?ZJldEojXHkEuKY|l^eqJVpk]uYY{lfEmzX`jiyYZYlkUuYEtB]`jOwg\SMYm|VajlTriyt\JTti}t`YplXukjW|kauLZHlduqjXtkquZZNlgusJkhuazM\imrFYZlXuIzG\kmpfZZlHt}zO\`mtFWJjhuIzG\]mpfVJhts}yZ\MmfvRZj`siy{\KmmfQzgxt}yO\_mcfWZg`sAyK[}mafNzgPsYyE\DmaFOZgPseyM\@m`fQJg@sqx{\Im^fQzj@rmxy\Vm]FTjf@texs\Zm[fUjextEyc[tmgFLjiXrMxc\SmYFTZdxtExa\QmgFKJd`tMx[\TmUfTJdHtYyo[jmTFTzjHqYyu[gmlFHzcXumxI\lmQFZJkhqAxC\fmOfXj`pnqw_Z}mFe~Z``puwY[^mDfFjaxoawq[ImKFAZ_hpQwk[FmBFDZ_PpiwG[[m@fEzaHn}w?[Qm?fCzwhsYyH\DmbvQZhDsiyX\Jh]SniVlKEe@Q~jxt{i}L^An\Vnl~U~Z^dpQwl[TmKVEZa|piwx[ZmMvFzbtn}wB[?noFwz{P}U~A^cnnFxj|@|}~M^\nevqzxd{e}T^Gnbvpjwl{Y}N^DmwFpJlp{Iz]^Bn_frzvx|A}?^Mn^Ftjv`|Q|y^TnkFmjyxze|u^Xn[Frzup|A|m^MnhFkzyXzU}a]snWFsZuP|M|a^QnRftJtH|Y|O^TnjfhJsh|e|K^Wntfdj|Hx]~S]TnmFdJqP|m{e^YnFfwzq@}U{a^cnmfbJzxwy}{]LnBFxj|@wa~M]FnCfwj{@wm~A]InlF_zz`wU{G^Znsf_J|XwI~S]@m}frZxXv}z{^KncF^JnX{izs^HmwfojmX{Qzc^BnLfjZrhy}{w]mnTFeJrPyq|U]XnPf]JnHyI|A\vnNF\Zs@vY{}\socgPr}L}|AP`ENwVzcGt}pAP^lObwLB~uBT?@^~OZWLsEMBd@f_wOXWFcF}@t@|_[O]wESFU@l@x_YO\wDcG]@`AJ_VOaWCsGE@TAD_SO_wGcAEAP?d_bOGwIc@u?|@P_hOEwAcCm?p@L_JORwIs?}?d@Z_GOUWKC?mA|?L_mOAWFs?MAD?F__O@V~R}l~[~v^uN}V{r~T~G~p^sN{wZSK}E|BR`mOsWZCKmEXBT`jOqW[CJuE@Bd`pOnwWSJ]ELAz`aOmWTSH}D\Ab`UOgWUCIUDhAh`XOhw]CHmFXA\`vOeW[sHMClBj`IOyW]SP]GtBvaKO|W_sO}GPCJaAPBW^sPUGDCPaHP?WbcNeG|B|aOO}wdsQMHdCfaWPHWfCQmHhClaZPIVpJw\{It`YmlVukZUTjNDEahpQgikSaInDIagpQGhkSYI^DKa\pSGf{SyHzDQa_pPGi{TQIFAP`FobVOJf|ryyB\Bm`V|z}l~Y~d^snxwpKWuKVEBbBp`WmCVuJhD~axP_WmSVmJhDxawP\woSTeKLD\alP`WncUmK@Dna~PZWmsUUJtDha{PXwpCT}KXDbbDPWV]jndvmz|\~m}wvCZ}LxFBb\PoWuS[UMPEvbYPpwwCYuMDEpb^Pjwss[]MPEjbSPpWscXML@EPbPPbwqcXmK|EXbMPdo@W?k?U~r^yn{V}z~l~rENbHpcWqkXeKnFmcBqAg}[^AORGAbxq?G}K]yOJGIbepqh@K[yONFsbsp}G|k^YNVFab|pxg~{]QNzGCbmpwH?[\yOBFybjp~gzK^qMvFsbgp}Gy[^YMjGucKqMhBkbaOvGicWqJhEkaqPfGQcNqGhA{aAOjGKcQqCHDK_yPNHM?@QNXIO?YQBHO?AQNo?ccIQRHK?@QPo?scQQV