CAT(2216,1)

Sparse6:

:~?ag_?O?G?CA{@N?e_SOLOD{BE@`?k?SoIoDkAw@T?}?QoGwCcAe@V?i_UOJWDsAy@X?l_WOKWD{CoAR@G?dOPoH[CCAH@B?bOO_GkCW@x@C?]oPOF[BkAR?|?cON?G{CA@~?}___KgGWBQAC?r_[?QgFOCmAW?x_^?LWEwCA@k?~_s?HgDCA]@L?g_RoKgEcBM@j?v_ZO\oMCE}B\@f?sOX_LKESBT@f?toZOKkEWBX@S_ioSwK_EqBC@l_p_YwL?D}BS@`_s_WGJcDyAz@X?xOUoMKDgBf@U_kOTwLoDAB_@Q_v_SWHgFEA]@r_f?[gRoAM@H?d_SoIgD[IsDHAd`ROhGSsIUDNAh`SOiGTKI]C|A_`NohoRkHkDRA[@SOfORCHgCxAX@LobGPsGuCQA``D?gwPWIICKA``B_gwP?IICEA]`A?gGOgH}Bt@{_|o^wNsFuCq@x_{?eGROF]DK@u`Q?\GSgFUCcA?`I?_gQWGECaAV`G?dgPwHUFE@s_yo\g[[MUFHBb@Uojo[kMOD\Ap@pOk_[CJ?FBBV`kouGWkK]ELA}`]OnW[OJeDuB``\?wGY_LiEuBT`m?tgYGKmEeBL`h?rGX?KyE_BI`c_rwZgKIE}BC`n?owWGJ]D}Aw`_?lgUWIiDgAk`Y_iwa?OsG\CLAFpB_`{MeFTBjaAP@g_kMYFNBgaB_}w^gOeFwCG`~?}G_?NiF}Bx`y`BG`WN]GSBu`x@?W]_OMFeCA`u?zw]GMyFYBo_\oNWFcGACBAA`GocGP{RKHVClAXPJ?eKQkH^ClAWPJ?dsQwGxC]AWPFOd{QUHNCeaPPHGc[PWHbCrAKPDoeSPAGdCPaS@FwdGQEHSC_aH`EWagPmGgCY_POGgCSTkBL@f_qosWY[LIE\BO`fokwUkJQDnAw`ZOigTcImDTAj`UPEWbSPmJwDtA{p]om[VgJhDoA|p]_mSVcJbDiAzPZ?m{UkJpDwAvp\_lkV[J\DmAqpZOkcU{JLDcAsPX_k{USJRD`AmPWojkUGIvDZAnPW?jkT{IxDwAkP\_jSV[IrDTA|pTonKTWJtDTAwPTomKTWJdDtAgPSOm[S{JhDtAgpS?mcS{JfCyArpN?lKRkJPDKafPRWhGTyJ?DJan`QgjOS]IoDEak`QGgkSMIHDjA`PO?lcUgIBD`A]pNok[RwJDDSA[pLoiSR_IfCsAhPT?esRSIfFIAkPUWjSOuG^CM_yo\gMcM}F`Bp`rOyG[{SYIPDFbk@sWyO\YM_FVbg`swyO\UM_FSbe`uWxw\mM[FYbk`qgzW[qMsFJbb`^GxGVuMOD}bZPlwukZILfEsbU`rwxgYyLWFMbh`iWygYmMgEibb`gGsO[eLAFGba@dGqo[YMIETbG`oWwWXMMCEQbG@oWwOW}MEEMbE@ngpW[AKYE~b^@agpG[AKOE~ba@`GoO[UKEFEbA`qgoo[qKMFJbj@^wz?WEK?FVb\`kWtwZuL_E{b[@gwvOYULqEcbL@hgr_YaKuEfbJ`fgrGX}KoE\cQAEHBS`eOfGScHPxPCK][PDFeCPqGO{S]OPDFbCPqF_z{a?NBG^BoPv@Bs\wP@F\CNqC?|C`CNTGNBsq@`@c__O\GFCEqDP?[_SOnGCCJQEo}{^cOzG[B{P~O}c^{NlF}Byp}o}S^oNfFyBwpz`@K]{OVFoCDPyp?K_GNZG?BuPTGiSTMIjDVajQRHHkcmQTHHccQSPF{dKQBHQC_QN@HsbwQ`G|CfqHpICacQ^GgCfQSPCcaWQfGdChQKpEsbSPpGsCZqK@GSbGQHGpC`qJPGkc[P^HECVQI`FKbkPXGjC\PngwCZ}MBFBb`Ppgwc[UMNFHbcQ\PIkdWRnHSCzQ[`L{fKR`HsCwqZ@NCesRrHmC|QYPMkekRnHiCzQ]pKsfsRPHfC}QWxKkeQRDH`coQ[`JkfOQ~HrCnQU`N[doRzHZC}Q]PJKd[RtHwCkQFhCC`}PBGbcPQ_HN{fySrIYdLqa`RchwSXIJDMqf@O{hwSRIGDMqfpOciCSLI_DAqfpOKiCSFI_D@QcpQChSSdISDGqd`Pkh_S^IVDFQl@UKjSTfIuDXQipScisTFIkDPQlpTCigTrIhD[Qj`S{iST`InDRQopVSkSTxJCD\qo@Vkj{UDJ@D^Owg[CME@H?d_PoUWJ[DiD\An`UokGUSJEEDBC``omWV[JiGlCWaJpCwakPQL^EpbWPhgtCY]PNGhcSQHHCsaUSbIQdGQbXP{gyVkJod{A{h]wnEVYJsdva|X\onMV_JiduA{h\WnEVYJfdvayX\omaVGJiduAxh\WmUVCJgdpaxx[GmeVCJ[dpavX[GlmUmJcdjAxhYgmUUmJWdjAuhYgleUuJQdmatHZ_lMUaJ]doAsHXwl}U]JQdgatHY?lMUWJ]dfAvx[?kuUoJMdeAuhXgleUOJsdbA|XWwnMUSJvdzAqXXWnaXW?V_JOEGBK@m?tKt?MOFWBsrw?~?`_OOeWRCHiCvA\`MOLGESBMCRAJ`DO\wNKFaFlBv`yo{g]cNMI@D@a`PNwfkRyN`FmbvpzW|[]qQhHTcjQTxJCdeTDIcdPqhhS{iUZILjerbZXkouqZOLaeqBYhlGuMY}LaeobWxk_uAZKL]erbVXkgtqYqL_elbWXjOt}Y{LUembUHj_t]YsLRelbTXjGtQYaLWehBThi?t]YeLIeiBRHigsmYQLLefbPxhosaYOLIecbRHgwsmYILOebBShg_tEY]LAefBOXgWsuYGL@e`bPhggsIX~K}e_RNhgCr}XuJzd|BNX^GrqXKLgeSBYhcwueXELleQbYxc_uqXoK_e\BGXcOreWyKteNBLxbwrYWsKqeMBLHbWrMWoKueKbLxawrUXcKSeYBDheWpUXoKPe[bCxfOpIW[KneGBKX`wrAWUKkeEbJh`_quWOKkeVBAhdgoeX]KDeWb@xe?oYWGKje@BIh_WqeXwJ~e?bMxfgoAVwKid~BIx^gqe]g?I_EOAw@s?}?ZN\?GOCgAK}W?h?T_Hrxh|C}]^NNefsR[@{k}KZ\LnFqRePyCx_]^NMFLRfPx{xk]`M[FfRw@q{xS^DN`FJRvPqS|w[hN^FHrw@p{xC^DMOForb@zSww]xMLFlrvpp[|s[TN]FCr``zSw_]xMFFlrtpo[wS]pNXFARt@oC|W[BNTF@R^PzKv{]pL}Fjr^@ycvk]lLyFir\p{k}KZrNcE{R\@yK|KZjNQEzR[PyK|KZfNQExRq@wS{g]HNHF`rnpwk{C]LNFF_Rl`vKz_\vMvF\Rn`ukzs\fM{FYRk`t{zC\ZMmFWRi@tSy[\VMhFURqpscyW]ZNKFQrf`sKy?\FM^FPSM_B[@e?t?Z_KoEgAs@]?p?U_JoEIH_@q?|?\_MOFgBk{y]`NNgeCSyHpDQaYPQgfcSyI@DIaaPSg\CQIGpBq`uPFg]cQIGpB}aMO}gdcOYGPCea?PIgdcPIGhCeaEPIfxR|H}[~U^nNugVCRyE@DE`]POgTcRIDhCy`WPLg`cIIDPCQaIOhgQcNiCxB}`KO|g`CHIGHAIa?ObgOcNIC@Bi_}OzfscLx|XBa^SOxgZbzYFG}y`oNkgMCLIEp@y`iO\gKcCyAh@m_gOYgJCCIB@@I_mOPgEc@y@H?}_[OGg?c@I?X?Y_CODg?CBH~p?m^}OIf{b~X~O~q^oNzgWb{X}@BM^]Oq_DOBG@[?i?X?J_FOBw@k?u?^?MhV_CgAK@A?d?P_GSLyFLBaXRKieTrKxecrIXpKye[rMxfkrqd]QthWclyU@JYdcQthYClyUXJYcyQhhNciyRpIidSQ`hTcgiTHIAdEQmhQcjIS`Iud[QghRCjISxIudsQZhMCmIVHHideQVhKclIR@JIdMQThSCdiSpHQd_QPhWccyTxHIc[Q_hGCgiPxIEcYQchQcaySXGqcyQGhNcaiRpGecIR@hBcoyOpKIb~Q@h?S_iOdGMbwR@g~CoyNhKIdsPyh[c]yNHJaboQ~gzcoIVpFYdyPth\c[yV`FQduPoh]c[iV`FEbYQ~gvCoILxJyaxP\glsVyKDDybBPbgpSXIKlEYbWPTgjcYyIpEiaoPfglCYYJHEa]bNRfhRuhzc|m^@Naforwx{k}QhARUiPcuIcPL]fUSWhudEi\`PefOSWhtDEi\HPefIS`hrDGi[xQMfCSZiMCwybhMQe}SZiMcwYb`MAewS]hnDGIZhP}euS_hlDFibxLeeTRKhdsryXtKue`RQhgstIYlLMgiSBiJd@YapOQgcS?iID?iaXOEgaR}h~dBy^hPAgURyh}DAi^XOegWRviFC}Y`hNagKRsiCC|i_xNUeGRphbC{yWhNIeMRmhwCqIXHM}igScijDHYihQYiUTMiedSIh`S}iOTPihdQihHTIhqT\indMyjpRihmTDi[DPyepSYheTZiYDUiehTqh}SoiXDOYg@REiCSniUdOydpSQhSS{i^DJIfhQmhMTViSdUYd@TakA?`_OOFwB{AE@@MWfLReXr[xq[zPhgrsYILdEibVUJJHTaaqDWokbULJBtbapLW{kPUIJATaqotWokJU@JBt_qpLWGkPUBI~T_AoLV{kDUCI~T^qotW?kJULIrtbaktW{jPTbJGTXAqTUSkbTwI|t]anlVcjxT_IzT\qkTVSjBTnIxT\AmLV?jfThIuTYqltUgjZV??IODWA[@U?h?RgbSQIG|CeaVPIfsryx|S}y^XNliGtCI`|Oqg\SLiCtAy`TOYgPSFhvS{I\|NMfdRpjpdsYxx]EnCVOjeDvixp]AmYV^jdDtYyx[mmQVUjiDqiyP[mmeVHjldpizh[amwVFjkDpizP[amqVFjaDsYxx[UmEVOjeDoIwP[ymAVLj`Dnyvh[AmAU}jaDnYwhZ}mEU}jIdmIvHXMlmUSjnDlIup]Am}UtjWdwY{XZMnCUqjVDtYyxZAl]VUjTduyth\ulWV[jhDiIy`YimeUhjkDhYzPY]mqUejPTgysdYAlBU^j\DfIv`XyluU\jZdeYvHXiloUZjJDmir@ZqkmUzkXCiYT\IidXQmhUtPYg|SYiHTAi`tNygLSAhxS}i]uMrElbspnW{KZULRFDbgpnWuK[uKbGLbOqFWrK`UKbFtbKq@WsK^uBbGL`?qFWNK`UNR@\bkoZW{KEUNb@Dc?oTW~KCu@RFDbgoNWEK[t~z?L_An|V|j}UJq~LbCnvWoJ|UJA}t^_p\WlJzuIq}lacnfWiJyT{BDL^GpVVpKTTzRCt]{pPVmKRuHa|Ta_nXWfJtuJq{|bCnRWoJsTxBDd]Wp\VdKUuEbBl`oo~WZKNUGBA|aCopWXKPUDBC\aSolWcKIu?rA\_OobWQK@UbBNlf}r|Xyk}U]zPHcusSXNlDeRjPHcisUXKlDEQzGxgYsOXHlBeQJG`gYqKYGkae`zO`fAr[YDl@eZzI@emqcXlkgeZJLHgArSYAksE_ZK@eIrAXckneWzJ`eUrMX]krEVZM`dequXukyeUjIpfermXWkje]JMPdQreXTkweSyu|ZalrUyj]TmzRpjYt?YwlNelzTTiqtVYflSuiJVHiQtuYel\EhZVHg}tuYPl\EcJUpgqtoYMlZebZUXhmsyYtlYEfJThhat]YYlVEeZQhiEsmYblJEgjQPjAsgYqlHekZC|aapLWhkTuIjDdaup\WnkWuKJZPjqt{Z[llenZ[Hl]vCZWloEuZY`luu}ZUlievj[XlEvIZRlqEsjXplmusZOlfevJX\kuuXZHlcUqjWhluu}ZFlbEvjW`mUuCZbl`exJVxmAvAZ@l_EwjOtgasNYHlDuaj_LoMwDZ~m?U~j_`nIwKZsmAe{z_`m}wKZpmAe{J\`o]v[[HlufAJ_xmevU[HltFAJ^HnmvoZ|l|E~J]hmYvmZglzExzbPoiwW[XmDfEzappqwo[]mJfFZa@qAwc[^mOfCZ`hpMw][TmFFDJd@qmxY[imUFIZcPq]xG[emPfHYntWAj~W[kLUEzA|`eopYPlGUbzPdgysZZwl|U}Z]|nYvj\GM_VObg|sWyB\BM]vPRf|sOx|\AM\vNBgLrgy@[vM]vMRftr_x~[yMYVNBetrkxj[vMYVMRetr_xj[mMbVKBhDq{yN\BMWvPRe\sOxd\f?BoAG@LZul|U~knuWJKLdqq|X\l`UpJW\j}uBZ?mDVBJ`\ouw^[Mm{f\jnXvazs\vm~F\Zn`vMzy\smwF\jmPvaza\vmvf\Jmhuuz[\rmwFYjmHuqzc\jmvfZJlpuizU\lmdFWZkXseyU\am{fVjnXuAzs\^mlf^Jj`vuyy\}mkFYZjPu]yq\gmrfTzlHtUzO\UmqFSjkhtQzK\RmffWZkXtEy_\amqFRJhpuYyY\dnV_@G?s?U{]]nnGFkZu@wy{U]nnWfbZu@wq{Q]knDFjjp@yu{I]hnBFizoxyi|W]AnVF_zo`yu|Q\~nTF_ZtXwA{y]bnQffzrpyQ{s]_nLfgZr`yI{a]XnHfdzqPxa|K]SnSFdjsxxU?N?G_CoAW?{?a}q^QNjVsRzD|[}`^RNjVtRzD|O}n^FNhvqRyl{_}h^CNgVpbyT|C}J^@Nevorx|{G}\]}NdVoBxdz{}V]qN[vlBvTzK|p]zNYvnRu|zo|l?C_Ao@g?c?Y?J^yMovWzkTuQzL\dn{f{Z}X~a~c^vnyF}Z}p~]~i^wn}fxZ{x~}~{^enyFzj}p~A~i^nntf{Z}X}q~c^lnsF}j|P~q~Q^znqF~J{X~m~C^yn}fvz~x}E~{^_nlVuZz\|q}|^\nSviztTyy|Z]koNG@k@A@~@?_FoOgCKCY?~@C_PoOgBKCY?z@C_LoNGA[CA?n?}_Io?w?K?U?N?H_DoIgE{Ay@v?k_[oKGCkAa@j?e_XoZGHKFAAZ@m_doUgK{EiAz@g_noTGK[DaBB@U_qo[gH{DIBn@s_go`GP[GaC^AE`Eo^gNKGIBzA?_|njVtzzE@n?z_[oKWEkBMDXA\`OOiWTSH}CxAb`OOhWRsI]C`Ah`TOcwQcIuClAb`LOhwRCIUEW~p^xnzwK{EmBR@d_poWWZCLEExBL`lOrwXcLUElBP`fOswWsJMD`BH`VOqwWCLMEDBT`jOpWZSJmExA~`kOnWUcKmELAx`cOlw`COIFRCE`rp@G[kOYE~CA`pp@G[KMqFnBy`tozg^KNAFzBsa?o{g^{PiGRC]aEpFG`[PAGjCWaHpBga{KmERBFaOPJWeCQMH\CdaVPHweCQmHPCla@p@w_g?IHdC~aY?@ggW?QHlD@?APMGfw?IHxDB?BPMggN