CAT(2144,1)

Sparse6:

:~?`__?O?G?CA{@L?g_RoJgDkAq@\?k_UoJwEKBA@^?p_WOIWD[AiAM?h_TOIwHgCoAT@I?doR?H[C]AR@G_c?QwH_CeAM@I___LGGWBMAC?q_Z_OwEoCEAC?t_^OOGF{B_AH?y?bOMOGkCS@x@C?\oP_FkEk@J?d_QoGgCcAM@D?c_PoGgC[AQAH@E_aoKwEcBI@j?v_ZONgGCB}BmAA_{__GN?GEB[@y_w?^GLwFmBu@q_}?[wNOFEB{@k_u_^wNgEmB}@k_u_^WNoEmB[@e_q_[GLwE]BO@r_x?YgMGEeBK@s_r_\gKgFUBS@u_s_\GL?FUAl@V_kOUwJSDeA~@`_oOWwKcEIBq@[_{?VWJoF]AgAA`??TWIWGEAY@O_f?SgHwDE@X?m_UokoPKJSCVAs@DOboU[HCDjAO@YOcwQcHICnAU`IoeWRSHaCvA\`MOk?TkI{DdAp@VOhoTcIcDTAg@To`_R{G[D@AG@NOb?S[GwDBAa@Eo_oScGSDLAC@QoqwXkKqE_A|`^?rgV_K}EOBS`d?tgXGLUEIBA`b_pGWoKMEaAx`\_swVOLIE?Au`__mGVwJ]@R?j_TOVgJcDuA`@Q_goyO\{MkF`Bp@tOyO\kMkF\Bi@uOugZcLmFDB_`oovO\{NCE~B]@wOz?Y{MsErBW@vOx_[[M_FJBf@qPEOGKCIAF?e_SOHwFCBi@rAc`ROhWSKIMDDA]`OOfwe_QmHZCkaUpIwdcRKHZCkAWpIoeSRKH\CoAWpJoeSP{HDC`AQPG?c[PqG|C\aN`FGboQEGyC_aT@EwdGPiHOCXaL`HgbGQ]GsCdaI@JwagQyGeCoaJ@KGb?QyGmCnaJ@KWeWPaGmCqaD@CGaOOqGUCPaE`CGaOOyG]CPaH`BWagO}GgCMaS?}GdONiHQBxaB@HwcgOUGGCea?p?w_SNwHDC?AQO~oc[NsGXCI@|o~?`[O_FlCH@zp@o]kO[FdCG@xpAO]cWkBR@i_sOpWW{KYD~B@`_Pb?q[WsKdEJBGpb?psWsK`EJBFp__pCWOKTEBBCp`OpCW[KREEBDPL_o[ROKHCtB@PZ_qCWwJ^DlBFpX_q[USKbDcBHPWWkSUMIoD~b?`Ugo?TeIuD~b?@VGoGTuI^DPagPR?ncSwJzDLA~PQOncSkJ|DIA}p]OgsVgIPDzAbpPOo{SKKJDCBBPO?nKSGJtD@A|p\_f[V_HxDvA\PNonCV[HzC}AzPY_m[VSJXDjAyP[Ok{VGJRDoAsPTofCTSHrDUAZpS_jsTOJ@D^Ahpv?yK\IM`FMbfprWzWXqMqEYbl@ewzGXuMsE^bl`fgqw\YKoFVbk@eWq_\YKkFWbI`tww_YALCFEbO`pWxO[EMEFKb`@qwvWZ}LyF?b]@ngwwZILeFHbc@lGtw\MLaFTbW@tGvOYmLoEib[`iWsoZULmEgbR`lgt_YML[EdbU`hG_{OaGRCUaKPDw~{^yNzFyCCp}p@S^oOVFxbzp}H?o^EOOFrcB`{h@?]EOKF^cB`wGzg_iM{GJbmAAX??]mOAFlbuA?g|G_MOIFgcA@yg{g^QNMFubr@|W|o]INGFobp`zwmsVaJnDxa|p]gncVyJzD~b?p_HE?_uPcGMcWaBHCwaiPQGkcSAIxDgaQPIGncRAJhEWaEPiGbcYAGhE?`yPcG_cWaFxB[`qOzGYcKQEXAwayOkGncIaJXA_aiOcGkcHaIxA?bQOaGtcFaKwys\aMnFXblpuhFCb]PlHMcgQRxI_cIQkHCciaOxI_cEP}HUciaOHF_d]P{HXc]aUHJ?bePuHXcjaMhHOcuQOHJccaRHIGcUQMHRcbAShL_eYROHmcraZXKWe}RIHpcqA[HJ_eARCHZcoaUhJwemQyHhcnAYhMOfmRyHscxa^HMgfaRmHyczA]WpKWiKPECb@p_gosW]KJ?e_SOHwF[Bu@xAf`SoiGZKLaEnCsaZPLWfCR]HrDharpYGg[SUIHF^bopwGzk\yMxHIccQQXGkcYQNImDSQi`UCicT^IjDQqjPSsioTNI^DQqg@SsiCTNIhDMQf`TShsTPIXDMQf`RShkSzI`DJqg@RCh{SlITDJqcpRChOSlITDGqd@QShKS`IbDFQg`PkiOS^ILDGQbpQSgwSbIJDPqb@SSggTHIXDBqa@RSgcSvIKDBQapOcggSJIGDAQaPOsgSSNH}DTq_@Tkf{TXIADWQ_PTsgKT^Jc?JODwBCmg?r?Z_LOFGBk@yVk?^_OoGG`SOqGVCLaFPBwaCPIGbCRaIpDGKkE]BLA|`^OnGW[KIEHBw`{o}g^[NuFxErbYPkgtKYmLTGKcEqBhAS`QOfHYcmQUxJ{duQ|KbEMrHPb{qOW|KYEORG`bcpkXBKVELREPb[p_WxK^EJRFPakpwWhKVEFREPaCp_W^KPEDrBPaSooWfKMECRBp`Sp?WRKDEDrBP_{ooWLKFECr@P`SoWWPKCEJR?`acoKWjKCD}r?p^soGVxJ{D~r?P^snsW@JxEGq}`aSnkWfJxD~r?P^[ngW@JvdzQ}H]{naVlJrDXQkp]kjCVhJ]EOQw@cSl{XBKbDlrHPZkqOUxJYDxQuP]Cl_VbJUDwqtp]SlSV`JlDhQzpYcmwUfJNDtQz@YKmkU`JMDrqrP\CkoVRJHDtQqp\ckgVVJEDrqq@\Kk[VPJBDqQpP[skOVJJ?DqQo`[skCVJJlD]qnp\{mwT|IyDyqn@]cjkVfJbD[qwPU{mGTpIsDoql`[[jSVDMK?EOAg@[xG?Z?N_FOCGAS@E[{?R_IoDHrsyA[~M]fNrgHrgq][uKgfMBHhootE[OLQegB`xootU[OLSfBbSxr?suY[MXefbehqgsi[mLKfJBQxhGxiYMMWecBeXg_xIYKMSeabcxqOsE[gLAe`bcxqGr}Y?MNfGBNhqGrmXyMNfGBNHf?wqXqMMe\BbXqgrU[mKvfJBLheOwqXgMMeXbbXdwxu[uKpfMBKHpGqqXYMJeVBahpGqe[UKjfDBIhnOvuZwL~e|b^ho?v][ALwf@B]XmGvQZeLtexB\hlWuyZ_LlevbZHl?uIZGLiesbWxkgt}ZML`erBWHj_wM[IL]emb`HjGtYYuLWelBTx}O@Y?p?V_JoEGAs@q?|?\_NOFGBl?O?r?Y_LoEWBS@m[LMGfBsAa?d?o_LOJGAsAa?|?c_XOJGCR|A?C~w^dNrF~r|Q?C~w^nN~FzR}A?\?C^tOAF{s?p~d?C^zOAF|rihtcym\ZMnfVRy@~[}[^zNeF}Rwq?{}S_POHFqRwA?c}G_JN`GBRvP}{|{^jN]FzRu`}S~O]xNrFlru@~S|[^pNxFkrgP}KyG^^MbFwRh@}KyW^^NoFQrt@|c|W^\NTFurqpyK|G]ZNRFeRq@wS{g]HNHF`ro@wk{[]BM~FbRn@xszw]`M|Ffrl`vKz_\vMvF\RkpuCzG\jMpFYRyPtKy[^VMgFtOBG@S?m?T?K_DoBw@s?u?Z?N_FSXoAK@I?`?O_GoCh|{~E^`JbdpQwX[{meVPJodxQ{X][nUVhPlGrsZqLLEwbPPlGtsZALtE{bTP`GisTaK\D[bDP`GksWaJTD_bFPeGmsXQJ\EOaxPcGoSXaJtESa~PqGhS[QIdF?afPNGtSSQL\Eoa`PKGnSRaKDCsa~P\GcsQqJdDkaTPXGbSUaHDD_aNPDGrsOqLLCObPP?GisTqGTDWaBPxG]s]qF|Fg`|Ovg[sMIF\Bq`tPxGYSLaN\BSbtPoGWs[aE\FC`dOmGxsKAMlA{bhOjGxsJAMlAsbhPwGSSIaMtF[`RPvGRs]ACtASblOSgIsCyBD@]_lOYgLsEYBt@u_xOaGEsHA@|AK_\O^GGSGQATA?_bMHfDrahp{xE[`MWfLReXr[xu[xRYHGSbaZ\G{erQbHgShQYTIOebROHOSsaSLLCdDRRHMstQR|LOc|QYHhsfAYlHkehQXHlseAZLLgcnQSHjsdaZDLWcjQPHjScaZDHKenQAhAS_yOlG]cLQIhCsaIP\GucXQzHcspqVlJoePQyHfSmQX|KsdpRIHYsrAU|KkdlQqH`SlAW\JKeBQnH^SkQWDJ?d~RCHUSjaWtKSdZP{HSs^aT\FsdTQfH?siAN|IWc@R[IESva`lLsg\SEICtAA`\O[gTS?I@t?a_lOCgHRpIIs{qa|NGglRoH}s~q\tNwf^R{HuszA^TNkfVRgHzsya^LMcfpRdIHSxqadMWgfRsHpS|a[dNSfFR^IFtCQ[LM?g`Sx?OoFwCCAE?~?_egRSXiStMYjLSgNsGYCDAM`HOaicDOihHSQiSTBi_dPifxS]i?TDi]dOyfpSQiCS{i^dMYgHRmi?Syi[DMYexRihkSzi^DLifhR]hoS{iODPybpSYg}TDiMDQYh@PuiSSZiXdKIePRUhgSpiTDJYd`Q}hUSmiRdEIdHPihOSXiOdHIcXQYhCSdi{?DWA[@Q?f?T_IR~y?C~y_BOAg@rgXs[yI\LMcfQspyXLKaeHREhasoYW\KId~R?h^ShyTDIYdRQjhTTeQo|XkkRUYJCTeAodX[kLUUJAt_QplWGk^UBJFTaaoTWCkXUJJ@t^qqdXSk@URI~TcAntW?kdT~JGt`qnlVokRTzJCT]aotVckHTwJAt\qnLVWjtTtI{T\QndVWjzTvI|tRQmLSkj`TKIvtdaldX_j\UVIutYqqdUckjTiJHteQktXkjPUYIrtbQk\W{jJUMIqTWAqDUGkdT`JGtVap\T{kXUIImtVIjTTmipTXijtTQmTVOilTSIxt[QiLTKj`TnIhTRamTVOi`TNIxtyaKLEMbDPcgrSXY^lN}f|Ryh}S}y]|NefpRshzS|Y|h^Mn]VtjvD|I|x^InYVojvD{Y~H]inuVkj|Dyy|P^YnoVjjuD|y~H[YnuVGj|DpywX^YnoVDjaD|y}X[AmCVtj_d|I}@ZuncU~jwdniu|ZelpUsjZTlY|@ZInQUrjrdkY{hY}nKUojqDjitX]InEUljUDwY{XYanCUijSdwYsx]AlIV^jRDvisP\ylGV_jPdvysH]el?VfjsDfy{`XqnKU]jqdfYyX\UmmVSjhDtizP\AmoVPjkdryx`\mm[V\jedvIv`[eluVJj\DqjG`bUplWvkXULJE\_SqBWFK`U@bG\cCoDWCK`u?rGTbwo@X?K?uNq~|^op|V}K_T~RF|__pRWIKTuARDTaWppWyKSUHrFLbkp@W|KPUNBCL`gonWXKMUErBD`sohW^KJUFbAl`CpXWRKVUCbDl_wpFWdKGUHB@|a{oVWpKEuKB@dU}jbToixT\Im\eIrHXbkouVzKDdor\X]KwUVRL|fGqtXpKkuUrM\fCqNXrKcu[bHDewqHXEKwUPRL|e_qfXiKiuYRIdd?rJXfKhUXbILdWqZXWKfuTrHtcgrVXKKuuQrLd\yn@V^jpTwy{L]UnHVejstxy|DfOspXuLKu\RRThcs^YYLGUeBQLhGsXYSLFUcrPlgcsvY\LDuabRdhWsLYGLJu`rQlgMsJYCl?U_jOLhGrzYSK~ucrNthSrtX{LJudbN\fcsxY\K{U\rR\byq@W~k_uOzGThyt@Y^l\umjVLigtxY}LUUirVljotNYgL]unbTLj{tHZ@LRUoBSlj{tBZ@LPuoBSTjKtbYtLWUlBUTjWtZYwLVulrTtkGudZCLguorY\lOu\ZULgUtRX|l_uPZHLjuqbZLkkuJZLLburBWtm?vFZaLquwR[dl{utZ[LnUurZlR]hpSujhTtIy\\Em^VOkbuQZHDcQqLXDlWUkjULi}t\Ylm?E}J^Pn}vqZ}lye}z]xnuvkZ{l|E{j^HnMvoZslye{Z]xm}vkZoluE{j\pnQvYZrluEzz\hnAv[ZplrE~j_@mavMZ~l|eyZ\XnuvSZ{mN_@w@C?ejjTvizUDzBD`eohWUkIu\JMtfUrnXxk{UojWdkMuJZFlbVKBetqwxh[nMYvKRd\qsxf[kMXVIBd\qsxT[kMSvJrc|qSx`[mMRVGbdDqOxR[bMTVHBc|qGxL[bMQv?bbLoCwv[BMLVDbeLp_xf[VMXVCredpOxj[TMZVGRaTp?w~[PMOVBRb|qCw\[NMOVFB`Toow|[JMMvER_|pkwR[YMCV@BbdoWw|[DMMvXo?c?Y?J\fMbvQBlLsWzP\BMrvPRlLsOzP\cM_vObktuSy@[|MovWrftr{zD[yMovNBkTuKxv[vMqVMBktrczJ\ZMivVRi|toyl\WMhVUbi\tcyh\PMcvRrh\t?yT\]MeVRbkDssy~?F_COAW@K?]?P]PNDFbjq@we{]]GnDfbjq@wu{]]Km~fazoHwu{?]Km}FaJnpwizy]Hm{f_jo`vmzs]BnAf\joxva{K\vmwfYjmPuqz_\jmxfZZlxvUz[\s_AO@W?s?Q?L?DnXFEZb\piwx[]mMvkRtLz?|V]iNVvkRtdyw|^]oNUvkbrlzO{~]rNNVhbtdy_|\]fNUviRs\yk|H]dNTVlRsDz[|D]uNOvfBudxk|f]YNXVlRq|z[{r]uNKVcjqLxM{h]UnIvWZk\uIzL\dmqVnrzLzw}v^?NlVpryt{c}n^GNkVuRwd{W}v^YNavtbwL|_}F^VN`VmZvDzi|v]{n]vsrxl|S}^^SNfVqbyD|G}X^PNdvvB}L~K}|^qNmvyr{l}s~L^fNuVyR{T}_~H^iNpvvr|t}C~`^_Nvv|B~T~W~x^tN|v~R}|~{~r^}N{Vbjp|xA}f^TniVsJyT|F?[_EoCGBK@i?^?Q_EoCGAk@Y?^??_Ko?gB[?Q?z?Q_BoDg@[@Q?R?{]onWvjz|\}u~X^insvyKCAAR?{_eoNgH[BqAJ@?_boNgG[BY@F?__[oFgF[CI@b@C_XoPgEkAiAV?m_eoJGHKAQ@v?g_ZoHgFKFaAp@r_jO\wIcFUBl@N_hO[wMcDEAx@f_tOUwLCD}BX@`_wOXWLsEMCT@x`FO^WPcFmC@AD`@OaWNsG]@v?x_ZofGQKIACfAS`NodgR{HiDBAW`Mo[wM{FS?DAm`P_@gUSIS?HAo`Roj_?cIeDW?A`XoigU??^