CAT(2654,1)

Sparse6:

:~?h]_?O?G?CBO@b?q_XoKgE[BE@h?u_YoMWE{BaAE?y_]OMwFkB}@|@C_aoOwGoCAAC@F___QGHKCmAT@K_fORWJ?BE@d?r_\ONGF[Bu@~?}_coQwHSDoBB@a?loWoJkD_A|@X?oOU_J{D_Av@Y?moUOJcDSBB@V?poW_IsD?Al@V?goRoIkDGA|@R?oOT?J{D]Aj@U`@?]GM{FYBl@w_zoXwLKEaBf@t_yO[GMSFEBZ@n_vOZGL[EiBH@e_qo^gNkFqB~A@`?Od?PSG_ClAH@Iod?Q{HcClAT@KOcOQ{HcCdAR@KOa?P[GgCZAH@EOcOO{GSCfAE@HOb_OSGOC`AB@Fob_N{H?CBAN@?O^OP[FwCX@{@Eo]_OSGOBvAB?{o`ON[FcCN@y@BOp?DsBA@^?t_ZOLGE{Be@p@D_aOOwHCC]AL@?_`OOWGKCIA@@O_goRwISDQAfB[@hov_YkLsEhBO@jOs_ZCLCEnBZ@fOuOX{KsEtBP@eOs_X[L?ETBF@fOqOX{K_EZBF@dOqOX[K_EXBR@_otOW[LOEDBU@`ooOZCL[EDA_@aOp_SSKSDBA{`]omwVKJiDpB[@Yov_U{LsDlAq@kouoUcJKEtA}@UOo?TsJ{DZAe@^Oi?V{I[E@Ab@aOhOWsIOEJAn@MokOR{J?C|A[@TOe_T[HkDRC]?SOIgDKAq@Z?jaR`GWc[QIHBCaaPovobCMCGtB_AKp?ob[PsGJCCAMP??bCOGGtC@AKo|G]sNUFbBr`xPF_]CQ?F\C^@vpG?\[PwFZC^@uOy?asMcGnCT@tOxObcPsFNBeALpDO[SP[FFCU@qPAO`cOkG\CIAEo~o`{NsGbB}AGO}__sNoGPCF@|pC_]{POFrCR@{PU_DsBA@^?m_WOJwNcFyBz@~`?O_WlGUOJLDdAsPWok{T[ItDXAmPU?j[T[IzD^AkpU?jsTOItDUAmPTOj[TEIfDQafPSGh{SkIzD^AepR?jsRKJDD_AYpL?kKUKH`DdAWpX?eSQcJNCgAsPX_c{QoJPCiArPIok{U?HLDaAQPWOckS?ILD@AbpNogkSGHxDCA]pN_g[QsHrCnA\pJ_fSRWIPDHA[PQ_e{X{@P?i_SoIGDKAiD|A~`_OfGR[HiC|A^`MpHGcsQUHHCeaQpkWu[ZIL[E[bW@fgtwXuLaE[bX`fguOXuKqE^bO`ewrOYALCEXbQ@egsWXmLODqbS`\GmWYiKlEWbJpcwqkXQLCEObQ@cgsWXEKYE^bO`bwpoYALOEIbE@igpWYeKPEHbBpj_nsW?L`EnA~phOn[Y[JzEeA}P]_t[YoJrElA{P\OskV[LLDuBRpZGlsUuJ^DpawPY_t[UkLZEkAsp_OocWKKLEABApDWa{PYGpCYaKpEwbkPqNkFlbv`|w|o^aNBFbbpPvwzs]AMoFrbl@|WzG^QM]Fvbg`|gy?^aNcFKbf@{Gxg^ENeFHby`qw}_[iN_FEbw`qG}O[]LzE~b^PoGwK[ILtE{b\plwvKZaMEFcba`xgw_]UMuFfbm`yWz_]aNSFVbi`zG|W\YMcEubi@lGyWZUPu?b_POHGC[AQ@D?d_ROHwCkA]@L?l_UOIwdKQaHNEsbZPlXI_dCQdHQChqSPI[ccQVHGCeQPpHSbgQ`GwCgQMPICb[Q\GtCeqL`H{bmPzG{c^QOHF{cEQDHBcaQPhGkdGQHHEChqSPGkc[Q@G}CcqQ@F{acPXGiCVQIpDkb?PfGpCYQK`D{bKPjGsCZQK`E{aoPrGlC\QM@DsboPVGzCSqNPDSbCQDGoC_qOpD{^cQTFzCeP}`H[csOnHNCKqR`BC`AO\GNcDqBX@caWOzGfCNqI@Bs__OhGHCJQA`Ak_[OfGDCGq@`AS`gODGCCMQEp?[_?PFGdC?p~pCc^oP@F|CPP~`CKh}TBI_dNQfHRkgsSrINDLqb`RShKSTITDEQd@P[h[SLIWDAQd`Okf_SNIHC|Qa@NKfGR@HsCpQ[pKKfwR^I?Cwq^pMCfSRLHgCzqXpMsgKR\I@CuqZ@OSdsS`H^DHQV`QKdoRxH|ClQ]pJ[d[RFHXCqQU@KkecQhHjCjQY`IkT]IrDW_UOJWD[QiHXCjbrpyW|C]QNLFdbiptwyslkUdJ\DiQv@Y[k{UdJPDhqs@YckoUpJMDlQrPZKlSUXJVDfQt`XkiaTTIhd_AuHWOliUAJXdZasHVGlEToJNdTqjXTclkTJJ\DRqv@SslSTDJVDQQt`S[jsURI~Ddqq`VsjOUJIuDaQlPW[jgTbI{DXqmpUSiwULIoDcQjpW{owPVGhcTQJhDcauP^GocWqKhE[bQPnGtcZQMHFSbeKrEZbLPfGrsXuOtG[cLqDxBK`aOhGUcIqCXA[`IXEKheQbIxc_qiXEKeeQbIHc_q]X]K_ePBKXe?qEX?KkePBJhdgqEWmKYeKbFHb?pmWmKSeKbDhb?pUWaK\eHbFhaOp}W[KReFbCha?pEXKJiduBIH\Wq]X]KDeWb@xe?oYWCKheABIx_WqiWyJ~e?bFxbooAVwKSd~BDh^gpUVrJzd|Q|h^Cn]VeKkeVA|XdgnQW[JoeGA{h`wnEVYKYdvbFH\opmVMKJeEayX`_maVGKJeEaxh`_mUVAKGdpbAh[OoeWOJ]doBAX`Ol}[??a_QOGwCkA]@LH_cpQWXK[eQRJHhctqYhKseaRNMBFFr`PqKx?[HMKF@r`Ppsws[HMHF@Ra`oCwk[BMEF@Ra@oKw[[@LIeeRQxj{uEZ@MKEjRb`jCwsYnMEEhra@ikw[YhLOFFrcPiSx?YbMHEerRpp[sw[TL|EcrPpn{vwYPLCE}rPPn{sWZ|LyE_rOpncvkYDLyE^R^@gCvkX~KzEzrNPnKroZpKwEzrM`nKrcZpLsEYr\`e{vSXlKqEyRL@msrKZjLdEtrXplkuWZXLcEwRWplsu{ZDLpEmR[pjsvGYzLXEsRUplStgZRNYFgrsxyS{y]^NOfLbtxrg|e[wNWfjbeHzGxe]oMYfiBdXygx]]kMUfHBtHygxQ[eNUfNBohs?{Q[}NBfcBmXxOzm]QMyfXBqxuG{u]WMof^bjXwGy}]?MmfTBpXwwyq\UNEfRbkxtGzU\OMsfZBhHsoza\mMdf]BgXvoyM\yMaeCrAh`ComWZKKfuRzh|l?E_FOAgAB{h}X?U^gOEfvc@y@G~E^_OGfmc@hzx?Q]{ODflC@y@G|q]uOGfsb}H|W~i^SNxf~Bxh|@?A^}Nffybwx}w}U^kNcfoB}x{O~u^AN{eyR\hmkv]ZrLwe|R^Hn[vuZ~L}gDCIIDP?q_UOhgQcKYCxBM`KOqgTcGiDhAQ`WObgNcJiCHBA`?OngMCIIDP@y_yOhgKsEyBT@Y_nOWgVCCyAhBA_gOngWcCiA@BM_aOqgTcBYDh?}`WOMfirthyc|]]rNWgYSLiElC}abPOg_CTIGPDMaAPQg]cTIIXB}acO}g\CTYIxBqakOzgZcTYIxBeakOwgeCPiHpCaaYPFg`cQYHXCUaGPIgrcYiL`EebOPjgocZYKXE}bCPmgkCViJPEAaqP^gqCUyKpDubIP[g{c[INXFIbsPpgxc\iN@FUbmPs_|O]wNKNuF~B}`|o~G^SVeJtDwayp\wms^}O@G@b}P~g~kiUTNIedPqhHSStqY|L\ekrUxjS|u]|N^flRvHz\CYaPPFg`sPYGdIWdXQmHSShqTlIKdRQdHTshATTIWd@QgHPShqSLIKczQdHNshARtHod@QYHPSeqSLHscnQWHNSeQR|HochQZHJSeaQlHCcnQWHHseQQTGwchQOHJSbqQlHCcVQLHHscaPdGwcTQOHCSbqPLG[cVQLHBS`QPdGGcPQCHDS_qPLGKcJQCHBs_aOtFodRP}HTs^QTTF{dXQmH?s_ATlMk?l?W_JoEWB[@i?x?]_MoFwCCAEEBBB``PMWf[RiHlCwaZpqWx[[iMNFGbbQbXP{gySTIKdDqyh\cmmVfJtdyRfhsCx}\BMbfPSAi@d?m_ZONgFSUIJTDeavP\gmTGQb\PshFS[IPTFabDQ?gtS^IKtDQb\PsgnS[IJTCabDPOgtSRIKtDQ`|PCgnSUIGTCa`dPOg\SRIEtAQ`|PCgVSIIGT@a`dO_g\SFIEtAQ_\OkgJSIIAT@a_DO_gDSFI?s~q_\NsgJR}IAT?A^TNogDRzI?s~q^LNwfnR|H{S|q^TNofrRzH{S|i]dNUfhRuhysjq\DJCfTQoHssvAbtLwh@R\INtGQZLLkhFRYIPS{QY|NKelRqHkS{QYdNKejRqHhsxQYDM[edReHgswaXlK{fHRbHfSxQXTM[eXReHdspq[TKcfHRGHpspA\tN?eLRDHvsyqWLMseFRkH`Sna\tN?e@Q~Hvsmq\\JsfXQ{HusvqVDJcfBQyHoSyAUlMgdnRhHZSkaZ|JOf@QrHota_@S?q?V?L_FoBiqo@A?d?PjM?CwAk@Qk|U[jMtfirdXukqScjLdHirPQUkGTMifd`iohTAkGTQjBDSYiXWUkkTJjKDRYqxSqiOUVidDeIhHXYiIURjIdPygpXQiCUOiaDcigXXEh}URjIdOYg@XQk_S{i^DcifhXEkYSxjFdMyppRikSSujEDMIpXR]heULiYdbye`WykSSoiXDbIpXREhYUFiVdaYdpWahSUXiUDeydXXihMUFiSdaYd@WajoT}j?D]inxVejiTzizd^YmpVqjWTqiyDZilhVMjQTnitd[YlPVAj?TeipDYIkHU]jET\indXYjpUQkATYj@dVIoPTmigTVijDUYihTankUCjBT`WAs@]?p?U_KODwBK@m?t?X_LoEgBc@y?z?[_NOFZ?h^YnoWFkBD|z@@^YnoWIkCd|y}X^}niW@jyE?I}X_IoGVtk@d|I~H^AnuVqj|D{Y}@^qnaV}jxD~YtDYilRUjjUtjI{`_anKWIjqeAZ?h]EnEWFjpE@izp_IoGV_k@dvyzX^qmyV}jmD~Yz@^}msW@jke?I~H\UmmVzj|Dti|hX}l?VnjOdzi|hYIn]UbjvDhIyP]imgVkjhdyyxx[emaVJjgDqix`[Ym[VGjedpywXZumIU~jaDnivP[AmCU{j_dmyv@ZMlqUqjZdkYtpZQlkUojVdlYsh]]lMVhjRDyG@S?q?V?I_EOAzJx]un^Vm_EoBw@s?u?^?M_GOCWAS@A?d?PhnswI[LMIfHRbhqsxy[tMafTRhksEVzLPeArQX`kneYzKHeur?XkkmEWjJpeQqyXbkmEXZKxdyrKX\kheUZJXdUqgXYkjEUZJXdaqmXYkgEZjIPfAqaXnkteRZLhc}rWXMksEQjLPcqrQXJkbeXZKxcerKXGkjEPJGpdaqIXVk_eWjGXeQqCXbkheNjIhcAqgW~k\e\zFhfepwXwkYuLzEtbaptWxkXE\zE`fepeXwkVeZjEHe}p_XokweJJMXayrcWlkyEIZMpamriWikweHjMXaarcWfkyEGzChfYpGXtkJuEZBD`ioxWZkGuCzAT`QolWTkOEAzCP_upAWKkFEFZA@`}o]W]jBtaYpDXAkdUPjHtdYqdXekvUYljebJZHgyuoYLlOerjSXlAtCZNlNEtzS@les}ZWlfEezRhlAu]Y[lKEsZRPlMsqZQliEdZYph]uiYUlHEsjQ`lMseZPliEbzYphEuiYOlBUaJO|gesVYIl?U_jOLgMsJYCldemZXhjmuWYylZEqJXPjauQYvlXepZUhk]tgZEl^ekJWHjIu?Ypl`EjZWXiyuGYnlTEnJVpiqtUY|k|EhzN`iatQXzk}ehJNxiYr{YdllFAj``lqwUZZm?f@z_XoewC[GmAE~j_@oYwIZ~lvfCz]HpUv_[SlvFCj\`pAvY[Pl|eyZ\XnuvSZ{lyexj]xmavkZfl{Ewz^PmUvqZcloE{j[PnQvAZrmEevZZxo}w[Z]mZ_GWCC@}?~?`_OTRih|TAibTQihuFZB|`yp@WakOvPbgLsGyP\FM_VOrflsSx~\CM^VMbgDsGxx[zM_vLrflrcx|[wM^vLredrcxl[wMYvNBelrgxl[zMYVOrbdsSw|\CMMvERgtpkyP[YMbvDbdtp_x`[VMVvKRd\qsxf[kMXVGbdDqKxR[cMTVHRb|qCxN[eMOV\a}D^InbVrjyt|GA[@Q?j?R_IODYr|YEl@UbjPThJWlk]uLZAl`upJV|kEu@Y{l^UnZSdiYtJYhlRuiJoxxe{I]VnBFeJqpwM{G]TnIF_johv}{M]@nBF_Jo`vqz{]Bm}f_jnHwmzs]Lm|fbJnHwazu]Im|FaZqHvY{e\wnHF\zq@v]{]\wmzFbjn`vMz{\tm}f\JmXv}zi]@myF_Jlpsez]\JmdFZZq`ui{k\knIfYzkxx]zQ]XmsFeJk`xEzK]RmqfcjpXuEzE]LnEFWjjpwy{_\_nFfVzjXwayy]ImmFaZjDteyt\TmjvTjm@tIza\SmxFSzlxs}z[\PmgFZZm@sqy[\qmef[Z|@deqvXYkmUVjJlnmvzZ{l{U}j^LnUvlZvlxU|J]\}k~b^rNuv{b|d}k~\^lNwVzB||}_~n^iN{vyR~D}_~h^iNyvyR}t~[}H^EN{v}Bwl{C~b^rN`v{bwT~O||^uN_V|Rv|zo~^]zNvVnR}DzU|n]unXVlJu\zC~J]oNrvjr{tyo~J]mNrVxrtlyc~D]jNqVib{\yW~D]gNpvhr{d}C|H]dNnvwBs\|w|@^[NPVvRsLxs~B^^NNvfb{Dxk}|^[NMVebzl|K}`^PNiVsbyl|[}^^LNkVtbxt{g}r^KNlvqrzT{[|p^HN\VqBvMCH@f_toYWKKEUBF@}_Bo_G@[GI?R@}_?o_G?kGI?E~y_{n~GNj~yBu~s_{o]f~J~YBz@A_EoCGG{CQ?^?{_uoOGMKByB^?o_xoLGM{BIBj?i_eoJgHKAqAV@M_QoSgDKAYAb@S_NoUGC[DY@B?W_loFGJ{@iAz?Q_ZoDgF[@Q@qz\\nmuv[JmTvFB@``opWV[J}DzBW`YovGVKLiDnAm`nokg[[JAFBB]`DowgP{MACZBW`AovGPKLiCNAa`hotgS{IQEjA[`dopgSKKaC~AU`SojGR[IiCrBK`GosGQ[HQE]}x^\nnVvz{L}A~D^cnpvxZ{|}ZCc`qpGG\KQIFNCYaQpFgc[PqHBCSaUpKGa{PaH^CMaRpCgd[PAHRCqaCpAge{RQGZCBaAp@w^kOEF~BuaUpKG^[QyFrBoaXo|Ge{NIHjBkaRpIg\[MyHR@x_}o]wN{GMCBCxa]pMwl{VMJbDsagp]GikVYIfDsadp]Gh{VYIZDCa|pQGn{SYJzDya^p^gg[VqIBD[appWGk{TyJJDgajpZGjKTiJVE]b?pggo[YAKJEcbKpfGtKYYKvEKbTpcGt{WyLZEEbHpagq{WaKjE{b`pngwk[AMNEubWplGv[ZILqxl[smYvsZyT|A}Z^NnfWP[G}CZAD`Co`wjkUEI~DValpUW~C]uNxFnb|P{W{s^MNlFjbyPyW{c^ENDFlboPzwzs]]NTF\bsPuw{C\eNHFTbpPtwzs\]MpFZbiPvWxC^eMXF|bdP}wxs^MNlFRbyPsXFRm\vUzh?F_CoAKAm@Z?n_QoIWC{MUFNBh`tozW\{WEKJEBbBpawpKeYQrHgcmqXHJ[dIQ~HUcoqWhIkcqQfHOcjqRhIkdaQNH[cdqUhHKcqPvHOc^qRhFkbiQNG}ccqNHH[^yPbGAcVq?HE[aaQ~GkcoqWhD[aIRJHecRqHHLKcAOzG_caqOhB{`aQJH?cLqDhG[`APjGwcIqLhA[_iP^GMcXqBHEK_QPjGwcCqLh?{kg?Q?J?EqaHX[giUZIKdfq_hX[gYU^ICdeq^HWkgAURH}dbqnhM{fiUFHwd_qnhMKkIRjJ?cxqZhXKeiUJHkdbqhhU[iaTnIidYqjHSKiQT^IodPqbhR[hASzIQdNqdHVKjqSrIydJrC_AG?{?e?N?H_CXaso}WdKPeIRBXbCouWxKPeLRBxbCnmV|K\d}RExaSnUWlJxeIQ|x_Cm}WHJre@Q{X\Co]VXKJdtRAXYCluUhJ`dhQvxYsmMVLJZdkQxXicbEPfGncYqLxFG?c?Y?J?C_Ao@kuIYbLMeqrWHi[uYYfLiegrRhlKtQXnLWe\rThfKsaZNLieerQhlKsQZFLEeqrOhkKtiXzL?emrNhj{taXbLSeYrThe[qiYvKmenrJHjkp}XBKbeQrHxdKj}UFJ@dcqpxWkyyZrMoe}rkhn[wi\RMkfFrbHt[wQ\bMqfCrjho{yaZ~Mkf@r_Ht[uuZbLnexr\xmkxY\FMYfQreHs{yA[fM[fIrfhqK|y\jNaf[rwHu{{Y]fNIfjrqHyk{Q]bNAffrrHwK|a\vNYf^rvHvk~A^JNsfsr{h{{~Y^VNmf|r}H|kpEWZKNfPrhxskyE[~M\gDSDY@d@e_POVgESCY@D@M_TONf}SDY?D@]^|OXgFS?y?t@M_HOPg[RSXi[s}]fNVfirsXx{{u`xPDgcSMYGtBm`pP@g]SOyFTB}_tOtgNSLyBdBM`|Olg_SJyEDCM`LPDgcSIyGtAe`hOdgZSGyETAEbhPSgvsSiMLFIabPIgwsRiL|FIaZPagjsXiJLEQavP[gssWILlDybVPshBsaiNLGabnP{h@s]iOLFycJOtgZsKyPdHec`Q\hFSeyQTHmclQ\hISeYL|FMbbQ]?@SiyS??Yd^Qa?ASjO?dIQdU?AhSSjo?tIYdZ