CAT(2762,1)

Sparse6:

:~?jI_?O?G?CAw@V?l_UOJgECA}@`?m_VoM_E{Be@p@??\ONGF[Bi@v?{_WoKgE[BQ@l?t_f_PgHCC]AR@J_dOQ?HSCWAV@F?coPGGkCMAC?|_^?OGGGB}BA@N_goSGI_EAAc@]_h_VwIgEAAm@]_n_TgHcCyAZ@W?loU_JcDcAz@l_voZgL[EqBT@d_rOXGLGEEBE@f_p?YGFkB}@|AB@?O_WN{F}CBA?`?__gO?GIB}AA_}O^gNkF?Bx@q?~O[ONkFiBv@x_y_\gN?FMBg@v`L_VgKCD}A\@L_eOh?SOIMDAAb`O_ggR{IAC|A^@Pog?SSHwDBAC@KOe_OkGKCrAZ@IofOQ{HoClA\@IOeoQ[HoCdAO`FocWP_HaCsAL`F?eWOoGeCOAJ`B_agLSEqBVAs`YokwU?J}DcB@`W_oGTOKAEAAk`^_iwV_IuD]A}`]_jgUwJeDuAw`\?lgS_IaDKAh`Q_hwXWKyE_BL`e?rwYOKiEeBH`g_qGWgKIEMBC`b?ow[?HaCtAX_ZoMWFCB]@r?w_`OOGGKCMAJ@C_]oNwFsGUCHAB`BOaGO{GqC\ALa?_}w^cNuFvB|`}O|?]sNKFnBq@yo}O]CNCFtBw@vo~?\cNsF\Bl@|oyO\{MkF`Bp@tOy?\kM[F\Be@uOyO[cMkFJBi@pow?^CMGFrB`@|O{o[CNGFBBs@pOvO[cL{FJB]@poy?Z{MWE|Bf@motO]sLWFnBS@yotoZSLkErB[@kPJ_DKAa@TCv?ToJWDcAm@Z?k_WoKwESBU@l?s_foSGIKDIAh@R_lOUGJKCyAX@L_xO[WMCFaBn@u_xo\WMcJYDpAv`SoiGS{TOIlDVAhpTOiST_I^DYAgpUOiCSsIxDMAmpR?j[TSIXDVAfPT_hkSkI`DHAfpQ_iKS_IfDSAbPPoiSSUIFDCa`@PggGS]I?DGa^@PGfwSUIEC|a_@MggORqIACzaZ`NWfwReH{CwaY@LwegReHkCwaY@MgegRqHkCzaS@UwdOTuHQD[ak@HWjOQ]IqCeaPpHGcSP}HBC_aX`Fgb_RIGyCpaV@EgbGRAH]CZaT`DgdgPaHWCVaT`CGaOQuHWCPac`BWhWO}ISCMaD@Jg`_RAGUCnaB`Kw`GREGOCqaH`@GagOYGgCD`~`?g_?OMF{C@bX?HWC{AYLu@b_ooWgQSHQCfBB`aOogvo[EMCE~b``oGvWZyLyF?b]@nwuWTyJ?Esan`kgwOW]MEEDbB@oWo[WQKDE?b?p^wv?VyLsD{b[`^WnGZULmDza|@lgmoZaJoEyaz`mWmgZUJeEubZ`\GvWVIJ_E|b]@[WlwZQJYEqav@kwlWY}JSEpau@kGt_UeLYDfbV@YGt_UQLYDebV@XWkGY}JEEpap@kGrgYeK}EibN@iwsOXmKwE_bO`egqOXUKkERbG`dGqwWyKqEObK@bwp_YaKYEebD`hwsWWaLIEIbQ@aX@GAa@R?i_SoIgDC`G@D?c_Pp[gmKVAOeGTcIADxAO`YO]GHcGaAxA?_iO]GMcGaBXA?_qO@GAc?p~W~s^}NuGMb}ABG~O_uOQFvcD@}G~G_mOeFabqACg{W`QMwGTbnADwzg`YOKFFcC@qH?w[eMGGEbbAAGwg_]OIFrbwa?x?_^IMWFlbd`zGxO]mNOFsbt@|W|G^YNIF`br@vw{w]AMoFRbi`twy_\YMqFQbg@uwzO\EM]Fobf@zwxg]yQa?d_RoHgCkA]@LH\ATpJGdkREHfCqa@p?W_SOUGLCC`~p?G^sNyG@B~cvAXXL_eQRYHbcsAXHKweUREHecmAYXLWdiRSHZcuaUxJ_eyRWHYcgaTxIWdeQcHWciATxIodeQiHWcOaXhL?aMRMGacdQQHHKcYQNHDciaPHIocIQgHBcsaNxLWcERSH?cgaNHIObyPyHRcoAMXFWeIRAGycWARhEOdAPaHNcmaJHJwaiQ{GjcSAWXDGeIPMH_cmaHHCod}PIH]cMQExBk`}P@G]cfAEHBOdAQ]GXcdaLhHgbaQWGvcXaJXE_a}PiGmdY?HGC[AI@H?b_PQnPHsdAQ^EmbUPjWt{ZEL`EubYplwvCZiLrI|d^QnxVkj}T|IsD\Ql`VcjSTvIvD\QmPVcj_TvI@d@q_hUwiyTqIod[AjxW?imUCIld_ajHU_iaTQIudTAlXR{iET@IUDcqqpRCkgSnITD`qcpWkhOUHJ?DGQo`QSkCSbJBDEqpPP{kOS\IIDbQapXCgoUNIGDcqaPX[kgSNJEDBQ`@XCgSUNHzc}q^HOCfyR~Hwc|Q]XMkf]RlHrDWq\@U[fGTdHpDXq[@USe{TbIeDMQf`S{iSSzIaDKqh@R[iKStGEcCQ@x^KnmVtJud{Q|xa_lyV?KUeIavxZWpQUwKUdmbDXYSlQUfJVdjQtXZ?oeUsKIdkbAH_OomWYKCeEB?x]Wn}ViK?e?a|H_gnAWMJqeBA{X\gnqV[J}dva~X`omiVWKOdtbBx[_pEVKKRdqbChXwm]UaJhdgAyH[GkqVEJMdpArXdSqmXRK|e]RMxdcqyXZKwEXRM`ecrcXfKbE_rOpckqOYDKgEORG`csq[XBK\EYrFpespwXnKYE^RF@gCpkX~KVEVrEPeKp_X`IpdXqkhAK`AO^IedRqhXSSiQTFLgEpRX@lSucZFLcErRXpkSuSZFLdEerRpk{swZLL[enRVXjKtmYtLOehRSXhWuEYSL_enbRHl?seYOLiebbYXggt}YKL_eaBWXiWtYYiLWeiBTxpwdeQnHWclqVHJSoUWLKFe@R@H_[oEV~K?d}Q~h^kkqU\JLdfqsXYCsiYXLJfObhHsWyU\KMafSBeXswxa\QMYfHBeHq_xi[eMXfHbdXq_x][cMUfGbgHrww}[_M]fLbbxq?xu[aM[fSbbHswwu\OMMewbdXmOx]ZeMUfBBfhp?x}[MM_fAr_xocwA[DM@e}bbHnwwyZ{MLe|BgXn_yMZuMaezbhHsoveZoMdfMB\HrWvY[yLtewBaxlwwi[QLmfCbZHpWuu[SLjfsamhVcjmXLKgeRrGxckqQZtL{e|r~`}g~q^mNzfzB~X~?~m^sN|f{b~H~G~I^gNyfxb}H|w~I^gNpfxb{H|O~A^QNnftb{X|O}y^UNkfsbzX~?}Y^ONyf{bxx~W}Y^wNffsB~Xyc|U]lNPfhRsx{W{y^INOfqBrx|o{Q^YNAfuBoxv_~]\{Ntf]b|h{?zm^AMxfpBmh{?zY^CMwfoblxzozM]yMtfnblHuO|y\aN^fmbkH}gyu^mMnfzBjhtO}M\WNdfTbxHvw|]]ANXf_BuHx?|q]SNYfcbuxxW{U]MNLfeBpiGpBu`~O}g]SMyFTCK_ZOMGasPA@|?gaFOKGasAqGc~waDP?G?R~qGLCG_FP@G?sOA?TAw`bOoGXsJqETAk`nOlG[sJAFD@W`JOWGRsDqCt@{`POiGOsGADL@c`hOuGLsLQBTAG_fOTGQSDAC\?c_`OPGCS@qAT?O_xOEGNS@QBkwe[VMIfERbXptE[bfPhGysYAMdEQbLPdgnSVyKDF?azP[GxSUqMLF?aTPJGxS[QHLCWbfPGGySPqMlDWb\PVGvsZQIlDcafPYGiSUAITC{bTPkGgsSAL\ECaXPbGfSWaHk|u]~N]foRwh{K}M^HNdfrRxx|DHsblPwHNs\qRtHCcnQXHHseAQTGwczQOHNsbqRtHOcVQLHJSdQPdHocRQYHDSeqPDGUcLQFh@S`IO\HOb~QUH?sdQODFocnQXG~SeANlFcctQZG|s]aRdCAaDP@g`sPYGdJudvQ{h[SmiVLJwdXQmH_SnqTlJwdRR?HTsnqTTIWeBQgH`shqWTIKeBQdH`shAWTJGdjQsHZskqUtI{d@QpHPSkASLL?erRZHhSuaYLLWeZRNHkStqXtKOeTRDHeSpaX\K[efRHHisqAYdMSexRfHnSxaZlL{fDR`HqSwA[[LuE|B^bFPbwqCWqKVELcOqGhC[aQPLGddlQuHZKmUVHJeebrQXhCsQYLLDfcRqhxK{U]NNEgdSQyHLCYaPPFhXSlIU\I}dbQoiHDEIa`PegeSYiIdByaHP]gkSOiIDBiaPOqgeSLiDDByaHOmgQSOiBDBI`@OygMSLiDD@Y`XOMgQSCi?D?y_POUgASCiBC~Y`@N}gMR}i?c}i^`OAfuSAh~C|y^hNef}RwhyC|y]pNefiRwhwc}i^`NMfuRqhyCzi]hM}f_Ruhwczi]@NMfcRnhsDEI\PPifQSXiIcyyaxMugkRkif?EGA{@Y?v?X_LTU_Bc@y?zT_?NoGWCCRQHlCtbiptGy[\AMdFPdBqaHPKgYSJICeLrEhbcp]WpKXezr]XnCvQZlLtgJSEIA|@e_vOYg}S^YNtFebvPyhaspIWtK]eRRGjDD`yp`WakUUHjEd`IpxWUk[UEj?d`yoXWekCUGjAD^io@WYj}UDi|d^inxVuk?T{j?d]IoPVikETxiyd]ympVujmT{i{D[ynPVIjgTxiydZymxVEjkToiuD[im`UyjYTrisdZylXVEjSToiuDXilpUajYTfitdXIlHUUjSTbipdXikhUajGTfiotWIkTUIjBT_iLdVYb`T}i{S\icDayhPWqkSTHjEdPYpxS]k[TEi`DVIg`TmiETYi^dVIgHTii?TZijdNIfpTehyTWiiDMYipRmiiSyiiDLiipRaiiSviXdTyehTehgTWiXDSye@TIiaSpiUdSIhpQ}h[TNiUDRidXTAhSTNiSDSYiXQehMTQiddHIhhQYiWSdindGYjpQMhCT\iNDQyc@Sug}TKjz?Ag@c?m?^?L_FU?_AC@I?bWG?HoDWAd_ioPWHkCUAZ@T_SkdWFJGU@aqL^?lxUzJxTma}L^?lzVqJ^t{QvtZ[oDWBJ[u@AvD_OljUuK@U?qudZCn~UrK?tkb?DYwnxUoJ~Tjq~lYkn~UlK?tjB?D^olPV}JTT~QtL^clJVzJRt}astYGnlVwJPthA}|^ck~U`J|tgA~TXonlVwJMtfa}|XcnfUYJyteq}dXWoNUWKBTdr?l^KkfUTJyt|Aqd]OnTVdJttxa|d]GnRVbJrtyA{L\gm|VXJoTuAz|\[mxV\JjTuqyl[omdVMJhtrQyd[{mRVPJdtsAxT]smFVnJatzawd[Wm@VAJcToQw|do?p?U_JoDgBC@]?t?Z_KoEWB[@ir[?\_NOFGBc@u?|VojxT{ZM`fArkXnkyeZjMHfQreXukxE\ZJheeqwXiksEVjLHd}rOX`ktEWJLXeQrYXbkuEWjLXeUrMXkkrEZZAd`UolWVkKuEJIPfMq_XqkweSZHheyq]XokfEZzHPeUrMXKkrEQzHHeAqOX`kbeVzGhdyqKX[kmePJGXeQqAXbkpEOj@XdiquWLkEEUZA@diquWNkFEUZFpdYq?XWk^eTzEhbapmWxk\ELjFXbIpwWsk]eKzDxaepaWjkWEIjD@aupKWmkReJJBhaMpIW^kQEFjBXaEowWakLEGJAHdMoeXTkHETG@S?m?X?I_EOAw@k?y?^?M_FoBZYG@E?d?O_GoCgADdeqvXYidtRYhdTUihTUijtUYjDTui~T]ljesZZHlIuoZRliEtzYplauiZXl^erZWHkqu?ZJl`ErZXXkQuWZBlgEpzXxkUu[ZElfEqJXPk}uQZOllEnJVplquuY|liemZYpjmugYylZEsZV@lMtmZQlYEqjXHjUteZGl`EkJW`jIuEYplVepjThk]t[ZDl^eijTXkEu?YklpehzTHmUtOZclPugjSLiYtJYclNEwzS@mUs}ZcllEezRhlquuY[loEeJ[PhivAYXlIevZZxh]skZ]lHevZZxhQscZ]lpEcZ[@hAvAYNk~U^zNlgIs@Y@l@u`ZOdgYsPYFlEE\zPpfesYXwlCe]jN`gisUXzjxt|Y}d^qn|V|j~u?Z?D_UoNWEm`e}JghniyGZxmEfMj`xrqw[[zm\FAj``rqwU[zmaFAJghoeyE[FmAFNZ_pr}wI[}m?fOJgPoMwC\@m]e~j_@r}x{Z~m`E~Z^`sAvu\@luUzj\lm}vbZolyU{z]Tn]vlZtmZfHZfHq]xo[emPFLJc`rUxE[umWfFzcHrMxc[_mUFFZdhpyww[jmKfIZbPqiwu[gmJFJjb@rAwm[nlrFCz[xpUvO[SmGEyZ\XpIvS[PmbF\jh@v]yM\wmwFZZlxvIz[\pmxfYjmhuqzg\jmlf^zjhwAyw]@mkF^JjPvyyq\|msfTjkxt]zO\TmhFWZkXtQye\amffXjk`tEzI\OmnFRJhpuAyY\^m{fQZnXsmzs\InP_GWCC@}@@?`_NtmivdZmlzU~j^UaZP\gisXYLlFVkbtdzK|\]sNUvkBtLzC|V]iNVvhbtdy[|\]gNUviRs\yS|V]iNQVgbs\yS|@]`NQVhrsTy_|@]eNOvaBt|z?{T]pNCv`RuTw[|h]ENXvebrlxo{~]ZNNV`BrLx[{F]ANKVdBptx?{l]NNIvcRp\xK{Z]QNEVw_A[@U?h?R_IoDJLTeerPXjkuuZJ@\_uoXWMkGUBzeLrMxd[mmWVJzddquxV[gmTVIZaLpIw`[RmIvDK?X~E~e_DnxG@K?H}z?C^oo?Fzz|X~]~Y^xnuF}J}`}m~k^knyfzZ~p}e~}^in}fyJ|P~m~O^{nsf}j{h~E~e^enrf{j{P~A~[^cnpfzzzx}I~A^cnoFwzzx}U~M^`noFxjuh|e|k^YnZfu{?H|a}k_Ao?FtzyY?M}i_DniG@J~h|A}c^~ngf~j}x{u~q^Nn{Frj}`{i~k^Knyfqzwx~i}Q^{ncF}zwt{U}H^Bn_vojz`zy}{^?nmfnzvX|e|y^Zn]Fujzpzi}y]xnmFmKI`kuuXZJlgUrjX|u]zR\gmqVXjkluEzF\amnVWJj}DdA~`WOmwTsJuD\At`XOmWUCJ]ELAh`UOqwTSKeE@Ah`TOpWTcKMEL@``dOXWXCEMA|A|_lOnwJcJmE@@T`aOUWWSD]Dh@N_hOmWUsDEAF@D_boNWGKB}DL?z`POLwScBe@`A``MOLWRsBMCp?n_UOewQsAmCp?d_SOewCsH]?|AP_POcwQcAE?pAP`IOFWBSHM?dAd_JOhwAcIMD@?L_GOfWRs?}B|@z`@O^WOCFeCH@r`CO\wOsFUBXAJ_wObwLsGuAP@f_tORWLCCmIxC~a`pOWfkRmHrB]ajpUg[KMIIrBWajpUgZkLiIrDO`iotgikTIEfBKagorgikTIEbBcaRoyGd[MYHRDIaOpRgckSqHFDCaIpQGa{PaINCAaDp@g`kOQGRCM`}pCg_KPAF~BuaUpKG^[QyFrBoaXo|Ge{NIHjBkaMozgb{PiFU}r^ZnlVvjzl|rEXbMpewq{XMKjEubEpmgqKZaK^EEbWpaGukZIKVEwaqpmgk{ZYJFD[bWplGkKZII~DybTp^gt{VqLZE]a{p\Gs[YAJnE?avp[gokVAKFEcaspiGl[YYJZAP`IocwRKHmCnA\`OofwS[IUDNE{cBpnh?k[AORGEbxp|h@K^QOJFwbup~G}K^iN^GMbsqAg|[_qNNF_c?pxH?[]IN~FZbnpvWzK\]MjFwbfp~Gy[^iMbFGb~pqh?[[qOBGIbaqBgw[_qMNDPaipSwi{TmIrGPcIqCxHKcmQNHOcUqRHDKcyPVHKcPqSHC{cyPJHQcMqGHI{dQO~HQcJqThBKdQOvH?cYqMHGkbYQFGycVqNhE[bqPbHWczq]hJkfaQvIAcwq`hMkgQRfHcc}qYHOKeYR~HkcoqWhL{eiQ~ISdLqeHR{hYSzIMdCqchPkhASU|B]anOWNKFmBz@v_yo[wk[UUJND\aopVxEkbePnGncXqKXYCkUUhJHdhQpxWSk}T|JJd_QrXVSkeTxJDdbQmXVsjMUDItd_QlxTsjeTtIpd]QjXTcjMT`IvdVQlXXSiEUXIbdQQrxYCi]UhIjdhQiXaO?{?e?P^^novwKOMGJCF`}o~w_KZuL~F@b`ppWw{deQzHZcnqWxKKsAXjKoe]rNhe[qiXnKme\rJHfKqiXJKgeVrJHc{rIW~KsePrKHcKpaXJKgeMrEhc{paW~K[eOrEhc[laWNJYeDqth`KoAXnKCe\r?hfKryV~L?d|q~HfkpIVjKSd{rDh]{pYVbKSdvrCh][maWbJkeEqyh`{oYVFJeeDrAH[klqW^J]eGqwH`kyG?Q?L?DrWHs[uQ\NLafQrUhs[ty\NL[fQrThsKta[~LSfMrdhh{xiYfMWegrdhhKxiYZMWedrOhsKxqYNLCfNrahn{wI[^M?fEraHn[wYZzMCe{r[hqKvY[jLsfHrYhlkvAZNLmes_BoAW@C?]?R?Gr|h}C}U^hNhfxRxx}C}m^\NtfxRzX|s|U^TNVfhRzXyC}]]XNhffRxXzS{m]LN\fkRqXzs{E]HNbf`RwXtcz]\pMhfYRixtszm\dM~fWRnO@G?s?U?H?E_AyFCoeWVKFeErCX`|BQ`NOugTsKiDLBQ`ZOogZsKiD|?y`~OQg`sCIGLAA`ZOogQsGiD|@y`VOYgSsFIC|Ba_jO{gKsMiA|?q`rOIg]sAIF\?QaBOEg`sNi?[~]^vNxg?r~X~{x][vMXfMrgXr|GaajQIggsSiO|EIcBPehAsXIO\DycVP_hBsVIPLGAanQCgls_iJLC]aRPDgdsRyHlFqb^Pqg~s]iMLFQbRPugus]IL\GydfQshGsbIULHydVQahVsgITlIYcrQghLshIRlJYcfQyhJsmIQlJqeRRKh_sqiV|KyeFROhassiW{~E^jNrg}s^yN\FUbrPvhoSzY[dNEfDRnhoSxy[dMmfDRhhrSty\TLefPRThuSuy]DL}f\R\iGSLyElBMdVQlhVshYTLI]g`S\iITGYaTP}ghSXiGTEyaTP]gXRrhzTAy`tNUglSDiLTAYbDO]f|S\i@TGY_DP}gXRxh}TAy`tNmiXSkibtIIh\QiiRSaictHig|QQiVSyi_tNiglRqiFSmiYtMIe\RAhnT]ietSIk\SyjBTSiltSijLTYizSLiFtAykdVEjLTtisT[ylTVMj\TtiuT[Yg|SmiQ?Aj@T\o?tWYjrTy?AT`Yn_?QkE?Aj?T`yno?YkJ