CAT(2342,1)

Sparse6:

:~?ce_?O?G?CBC@D?c_PoHwCkAY@R?i_SOJGDkAm@l?s_YoJ_EKB?@f?n?XOR?DKAi@P?k_ToJWD{Ay@`?n_VOKGEKBM@d@]?k?TgIwDeAs@T_eORgHkCqA\@L_f_SwIGDQA_@Q_coQwHSCiAV@H_b?SgGwDQAO@R_b?TWIwC]AO@U_Z_UGF?DiAq?x_`_MwG_Bq@s@D_f_OGGODAAA@P_a_NgGWB}AG?|`F?GgC[AQ@D?c_PoHWC{AY@n?x_[OMgF[BqClAS`IoawPkGqCQAT`D?dgP?HQC[AD`G?`wPwGYCMAQ`B?cwOgHECGAJ`@?bWOWGqCm@``K_WwKOHaCs@~`M?_WRWGACa@{`H_^gQOFuBt@x_|ob_MsH?Bn@w@Fo\WMcFMBd@o_wo`?L{EsCDAB?vOe_K{HoBRAZ?sOV_Q{HcB@@^@KOV?PSDkCP@\@CoX?LSEWBX@d?tot_PKGiCPAJ`EobGDKAi@P?k_UoIwEcBY@j@Z_moVG[sMUFNBe@jOu?[kM[EnBR@kotOZSLkEhAn`WOkWY?LqEcB]`g_vWX{KuE\BX@aOuoWsKSEtAz@mOnOZsJoEzAy@nowOVCM?DrB^@YowOU{M?DlAq@pOl?[cJKFFAk`VOjWSsIaDNAj`Soig[OIMDIBc`Q?wwYgIEEgAa`h_gGRwLYC{BW`M_twWwKEEQBB`c?ogVoKiD}BK`_?qwcwCeAV@I`OOgWSSRCH`CmaVpJgd{RAHYCmaU`JwdgRAHXCiaTpH?csQOHJCdARPEGbSPeGlCVaIpAOdSQkGVCIAUP?G_SOEFsCf`}@IWd?NmFgCfaS_|gd?NUF\Bn`wPGO\[QKFZCa@uOy?cKMgHFBhAPO{ObsNGH@BrANpEo_sPsGPCFAMP?o`{OSGbCCAGO~O`cN{G\B}AEpC_]{POFpCR@{pZOlSUqJVDZampVGjCTiIrDGabPPwfkRyH~DiAYPZ?esUkHjDfAnPW?lKT{JPDTA_PTogSTWIBDcAfpX_iKUSI`DKAhPT?hsSsIfDHAopQok[SgJDDBA\PP?f[SSHxCvAWpKofKR_HdEV?cOPgG{KEEFBA`^OoGV{RiHxCzbR@gosCYCLJEaBQPe?rsXcK~EVBMpdorSXcKvEWBMPh?qkYKKhEUBQpe_n{WCKxE?BLpgopsYSK`EcBFpawpcWuKDECb@p]OqcVgKjEUA|p\_sCYGJnE`A{P[?rkVCK~DqBNP`OpCW[KTEEBCpcOncXKJ|EQA}pZOm[VSJ^DmAyPt_qcXYKjC`aPpGgccQYHJAD`Bo`gJkDqAvCOaGpBw`cOyGZBw`zo}W\CMiFRDxa|p]gmcVUJfDlavPZw~G^UNkFvby@}G|o]INGFobp`zw{W]mNGFlbu@wg|G]ANSF`bs@vw{o]ENMF^bq`wG}G\qNeF]bx@vWzG^YMuFsbl@|W}G\YMoFrbx@twuO]qLgFlbX`ywxg]yM]Fobf@zwxO^]MWFwb{`qwww]aMQFibc@yWwc[UMLFAb`poWz_Z}M{F?bm`ngzOZqMuE|bk`mwv?]]LqFdb\@xgug\YLmFWbZ@twtw\MLaFTbW@tGt_\ALYFQbV@sWy?YmMcEibg`iWyWYaLMFTbR@tHH?UiJXDj`iOtWY[TIIfDSa`pPWgcRMHbCqaZPLGekdWQpHSCkqTPI{dCQVHRCeqS`HcckQ`HLCfQR@H{c_QpHICkqQPI{dCPZHQCVqSpDsaqPVGicRqIXDC`kQ\G[CgQFPH{`gQlHTCKQT@BKc_OjHICJqQPAs_{QJHFCGqP`ACcGO\GKCaQOp@k_cQJHFCDqP`@S__P~GFC_q@`GC_SQBGCC_QNp?[boODG}C?QNP?KboNzG}B~qNO~s^gQDFzCaP~@G[`GPfGSCYqCpEcb?PHGeCXQHPEKaCPrGzCPqG`FS`wPlG_C[QFpE{iGSrIZdLQdhRCh]S}HbdOaXXS?eQR?I[coafXRoeIQyI[cnAfXRod}S}HYdOAUxJ_iES_IFdCachP?hESeH}dIa_HQ_f}RoHecsA]hKwfeSSHtdEA\xPWfYRcILcyAbxMWgySGHndBA[XOgfARWHzc}aZhLgfqRQIBcta_hLOgEM`FQbgpswyk\QTgJKdZArhUgkuURJJddQphXCk]TmJNd[asXV?lAU]IddgahxY?iYUWIadfAhHXgiMU?Ipd`AkxWGjIT[IydWAnHTwjmTWJBdTapXTgkQTyIgd^aihTGjyPxG}c]qOXF{cAQDHCc`qPXG{cYV_JQdxAtH]GlMVYJodva{h\onEVeJiduA|H\WnUVqJfd|ayX^OmaVkJcd{Axh]wmUVBJbdpQvh[Cl}VqJZd|avX^OlqVkJWd{Auh]wleUiJtdja{xYonQSxI]dMqfxSCiEWnKXeKRDHaspUWyKGeNbAhbooeWsKDeLb@x_opqWGKYe@BFH_WpmWyJ~e?bFhbwoAW[KPeGBCx`wpIVwKJeEa~h`_nuX]KteWBLheGr]X?KkePBJXdoqEXcKheYBIxeWqiXEKeeQbIHc_q]XoL@e`bMhfGsIXuK}e]bOHf_r}CDAB`AOWWKSEMBH@e_qoYgLcEmBZ@m_vo{g][NEGTCJaCp\wmsVaJ`DqawqGXC[aIO|G_cNqhXS{iYTDIcdPrBhaCo}WVKKeEr\@lsu{ZlLoEyr[Pl[vKZZLqEuRY@lsv?ZTLnEsrXPl[u[ZZLeEuRY@kSuOZTLhEprXPj{u[ZBLeEoRVPkKtwY~L[EoRUpkSuOYtLXEprSpjCtSYnLSEjRS@i[tGYjLPEiRUphktcY^LMElRS@hkswYdLNEgrV@h[twYXL\EdRQ`issoYpLJEjrP@mcsWZlLDEyr[Pg{vKYRLqEcRkoAs@a?n?X_LoEgBc@y?z?__OoFwGcCUAF?e_RoHWF{By@zAw`\OmWR{HyCzD?a`POWhKSiIVE{b\pnWvCZiLrHkcvQZXL[eeRTJWdlQuXYkl]UlK_ePRGXc[qUXHNbFrRy@{k}O^NNhFoRyp{S}g^BN\FqRvp{k|w^FN_FlRw`zc}C]vN\FjrvpzK|w]pNSFlRt`z[|S]xNVFgrspzK|G]pNTFfRt@yC|W]^NJFfRrPyC{o]^NQFdRq@y[{c]bNAFerr@wc{k]FNCFarppwS{K]LNGF^rq`wK{c]@NFF^roPwk{?]LM{f^RnXvczy\zLvFWRkPnKzGZpMcFrRh`|CyS^NNhFOryps[}g\DM^FVRg@tkxw\^MZFUrfPt{xo\\MiFKRiprSyo[rMiFIrj@q{yk[lMQF[rd@v[xK\tMxFFrcPv[x?\tMuFERm@psz[[ZMsFCrlPp[zK[TMEFXra@ukw[\hMuF@r`PvCz[[HMfF?RiPoSy_[BL|FWRk`n{zCZ|LyFRr^@tKvk\PPQ?DOBG@[?u?^?Mgn?CGAS@EbG?R_IoDIKdEYbJPcgrSXYKG}qbENmgpBzYH`@Ya[OWgecDyHp@maYOYgeCEYAhEAa{ORgICVyJ`@EayOQglcCI@hD}_]P_gFCVi@`Di_SPWgDcUY@HDuauOGgmC@yJP?QaqOEgkC@YIx?MakO@g@CTX~pDI_?PSf~cSx~XDUamN{gjB~X~@DI^sPSf{cSx}hC}^mPPfzCSIKW~IbANsfxcWiHw}}aaNpggB{IG@CYaAPFg`CQIGXBuaIO~gaCNiExAy`qOng[CKIDXBE`YOrgUCKiDPBq`uOgg\CIYChBQ`kOegYcHyBxCeaUO`gOCQiCP@q`GO]gPcFYVpCyaXPL_KODgA{@Y?p?V_LOEWB[@i?v?X_MOFgBk@q?|?\h^CrYXxJ}e?RMhgcoIYPJ}e_Q}h]cqIVXK]dwRHh\cqiVhKqdwRJh[coYVPKMeCQwhaCmIVPKYdqRDgwS[iMLFMbjPshgCjITpLIeaQlhaCiYWhImeKQihRCrYXxIadMRMhPcrIShKidGRJhOCoiSPKMeAQ`hcCfYXHH}eMQ]grclYLHJ]bOQuhYcYiL`J]dkPjhLCkiR`JQcuQrhGcdyRHHMcoQQhFCdIQ@HYc]QThBcaiOhGecKQGh@CayO`GqcYQBg~C_IN`GEbyP~g{C]YNPFYbmPzgucjyLxJEb[Qo_EOAg@[?q?V?IiRclYU|JY?Z?N_FOBW@{?y?`?Q_GoCGAS@E\NMhfSRiht[yq\\MnfUrkHuKzIhMSoiXDIYd@REhMSriSdLYd@RQhSSciUDHYdXQYhYSciVDHidxQUhASZiMdGib`QMg{S`iODGybxQIhkSWi[DEiexPeheSViYDDYehPYgcSoiXDDIaXREgaS]iODBybxPAgWSliFDJy`hQygQSiiDdJI`PQmgySGiBDFI_xPmh}SBi_d@Yg@OQfzR~h~T?I_TOEh}Ryh}DOY^XSAhkRvi[C}YexNafgSxhzDMy]hRifaSxhxdMy]PRif_S}hvDNIfhM}fUS{i^CzYfhMqfBR^hoSxI[\MIerRYhlsvIZlLyfORRhtCtY\HLQfMRWhrCti[hL]a^PPggSUIJTDeavP\gmSWYK\EIigU^jOdTis@TUjQUUitdeIlPX]jKU^jOdYIs@U]kkTbjKDXYqxUQj?UXiodeykPXikwT\indfijpXukqTYjLdVIrPTmimU[ikdfYj@Xyi^TMigTSYi\TIiPTIictQyhlSqkAURjId_yoPXQj}UHj?D`yp@Vyk_TzjHD^YqHVqjoUMjEd]inHW}jiUCizd`impWUkSTqiyDbIpXVMiCTniaD[YgXVAjWTDivDPylhSYlCVQjQDtIsX\MmWVNjfDsYxh\AmKVHjcDqywx[ilmVZj[DvYvH\qmoUsjZDuizHZUlaU|jXdnyuPZymEUmjadkIw`Y}lUV?j`DjYwHYqlsUgj]DiivXYelIVTjjdhysp\Yn}?`_OOFwB{AA@BOVgKSDiBL@m_tRfhrSxY\DMifRWNKDUCB@D_woRWDKEU@r@l_WoVWCKCuAb?T_KoPWEJ~u@R?L_[o@V{K?t~a~|^so@V{K@U@A~t_KnzVcKDtxR@d]WoZVbKGTwb@|_wnBV]JzT}A{D\{nnVxJxt}q}l^gnhVoJtT{a|d^CnVVlJrtzq|L]wnPW}H[SmYVTJqdzQz_HoDWAc@M?j?SgrsYYLDEibXPjjEtbyptWikXUJjCtaIo|WQkLUDiuTZillU}jbTokoeRzJxcur?XMkmEQjJpcqqyXJkbeRZHHc}qOXMkdEPJGpcqqIXJkheOjIhcMqgX@khEOjI@cMqaX@k^EUZJXb}q?XYk^eUJG@d]p{XUk\ePJGpbuqIW{k\ePzFhcepwXGkHELZAXb]oaWukmEKjJpbQqyWrkVeVzEHeEp_X_kheJJIhayqgWlkSeUZJXampSXYkgEHjIPaaqaWfkjEGzChdapGXVkOUGjCL`uo~W]kLEMJFP`qouWxkZeDzEp`aoqWtkJEMJFP`UogWxlWDGYc\QIhHSeiQtoywl[Qm@VAj_tnYv|ZyltU{j\ukrVLjOtvYtL\UkrUtjStpYsLZunrUTkCt`Z?LWukBVdjwtdYpL]unrPdkCs\Z?LEuaRVLgktvYIL\UlbOtg_tpYFLZu_rVdjwsJYCL]u^ZN|fyrtXzk}UjRNLf[t\XwLVu\BTlfWt^XtLVU[RTTfGtXXrLTuibLtikr`YkKvuYrS|icrZYgKuUYBSdegtLXhLQuXRS|e[tRXeLSUhBK\eOtLXaLQufRRDhgsvYXLMUgBQthwsnY^LIucbSLhOtFYRLPU_BP|gGsbY@LGVAb^\nuvxZyl{u}JXXoauW[FlefAZ_xkauS[HlcfAJ_`kUwKZFmAepjWPoQwIZCl`f@j_PmawEZem?exz[XkyvIZOlqErz[@nyw?Z`lpE~zZxmuv[Z]luEvZ\xlivaZ[lwEuzYxnIuqZslkE{zY`nUukZvlie|jYHmevUZRltEsjElbYpnWxk\UMJbhrYw{[smMFLZdDqexT[emRvHZexqQxC[xm[FGzexo}xo[Lm[fBje`oiwW[umDfLZbHrEwu[rmLFKjapqywo[omJfJzaXp}xA[TmIFGJa@qmxY[PmUFCjSdiYtJYflSuiJTTiqtVYllVujjfPtyxw\_m\fVzjXtUyy\VmmFTjiPuEzE\SmhfWjj@s}ys\PmkfSJjpsqyY\_mfFVzhTseyV\GmbVPzkXsUyG\`m`fWjjXsEyC\[mmfOJj@ruys[}mkfNz_doYwJ[GmCv@zn|wE{@\{m~V^Zm@wI{G\qmwf_zoPuu{G\nmvF_zoxui{I\knBFYzohu]{M\hnBFYJnHvazs\um|f\zk`vMzK\smqf\Zr`xU{s]UnLfdJqHwa{e]InHFaZrhwy{_]^nFffjpXx]{W]XnEfeJtHyA|U]anTFgZspyM|M]cnQfiI~d^ynzYWlKuejQlh]sl[LmFvBj`domwT\vm{V\jm\vUzh]}NaVpbwDz{}J]zN`VnRw\zo}B]}N[voBvTz{|p]|NZvnBulzk|l]sN\VkrvLzG|p]sNZVkru|zG|j^@NUVjRw\{G|\^CNVvpbuLz?}J^dK\uNJFk?a?N?HlnUvzZlliuvZ[m_VOjgLrux~[}nCVaZpTwm{Z]KnyF|z}p~e~i^wnwf~J}X~i~c^znyFzj}p~A~i^nntf{Z}X}u~c^knvFxZ{x~A~]^enufxZ{x}m~W^enbfvzxH}E}O^_nmF|zzp~e}y^wnkf}jzX~q}s^znsFtj|P|a~Q^VnsftJ|P|U~O^RnhFxJyH}I~E^OnnfrZ{H{}~?^MneFwjxP}Q}U^boU_@G?s?V?W_loEgJk@qA~?Q_loDgJ{@QAz@S_EoCGJKDY?^?E_foSg@[?aAb@U_@oUG?kDQ?A~y_foSf~z~qAb@A_ZoPgF[CQ@r?{_WoOGEkBy@f?i_coJgHkAqAV?]_QoIGC[AY@BAa?F_COAW@C?]?R`MOgwSCIUC|Af`OOiWTcH}DTA\`DOiWTcG}DTAL`AOgwPCI]CLAd_~OdwOSHmC@AX_{OcWQcFuBtAR_uOWwMCEEB\@d_xOXwLSF]BP@t`qNnvwZ{D}I~H^b_AO@g?k?Q?L?Do{G[KNQFFBq`nowG]{MIFvB]`{opg[kKiFRBG`rouG]{LqFvBY`{o{gY[LYFjBo`iorG\[MyEbBk`fooG[kKQFRBA`rozgV{MqDvA{`tojwU[JEDjAx`ZoRwI[DEAn@X_ipAGfKOqHzCIa\pEgf{PyIFC[a_pDGg[PaH~D?aJpMG`{RqGfCyaGo~w_KNuGFCFaApLgd[RIHRCsaRpGGdkQyHJCoaPpPGl{VIIRDoabpWgi{TiJNDcakpWGi[TqIjD]agpQglKSyJZDKatp`goKWiKJEGb@p\Gn[VYJzDwa~ofwSKHuHnCtaXpJWeKQ}LPEXbMPhWssXmK|EXbPPewrcYEK|ELbPPbwsCXELHERbSPdwssXUMPBb`oovwk[UUJND`anpVWxC\eMXFVbdPtWxc\EMPFRbdPrwtc[]MDEnbTPpWxsZuMdF@bgPnwus\ULtFXb[PtwwcZELhFFbXPox?c]QN~F_c@pwh?K_AMvF]b~q?gzk^aNfFub}p|G~[]YNZFibwpyG|{`YOJGYcCqEH?{_qObGIcIqBhA[[]MJFBcSQFXDc`}P@GjcPQIxCsauPHGhb~q?x?G?IPtGn?BQNhEG?QPxGrc\?@HEkb_?DG~cZQN??~