CAT(2128,1)

Sparse6:

:~?`O_?O?G?C@C?I?H_D?@w?o?a?U?N_E_CG@_?y?s?V_KoEGBK@]?p?b?OOGgCKAA@B?a_Q?HgCgAa@E?f_X?JwECBE@f?s_XOLgE{BUAA?k_UoJgDcAy@Z@Q?coPwHCC]AR@G_boQWHCCA@|?~__ONgF{CCAT@A?dOOoHSCOAV@D?doP_H[CW@x@C?]oPOF[CG@z@@?\oOoFcBi@p?x`F?IgDKAm@v?|_]OdoQSHMCbAP`HocgPkGmCXAB?xo`?MkFOCDAF?zO]?OsGSBn@z@?O]_N{FcCB@{?~o^OOCFwCBAC@DOa?OSGKCRAE@CO`OPSG[CRAN?xoc?MkGwBhAM?zO]?QCG{Bn@W@IOU_QkDcCl@z?hO]OIcFgAf@{?ioToNsFsAl@l@DoZoPkEwCX@f_soYGLSEqBV@a?wOWoMKFGBB@d?wOX_MSEOBb@Z_mOVWKCD}A|@M@IOROQsCoCj@N@IOS?QkDCClBp?MoFwBs@}?z?]_LOFGB[AU@F?c_ROIGC{GaCTAH_~o_WOCFEBd@o`DobGPkA}@`?p_VoKWECB]@l?t_joTgIkEuB^@m_nOWGJ{CyAX@L_gOSWH{RKHHCeaQpHwdKQaHVCkaTPJwdkQyGiC`aJ`GwaoQIGgClaH@JwaWQyGcCZaM`DGaWPqGFCDaAP?W_SOAGBCAa?PH?[[MOHLBaAQpJo]CQsF^Cm@vOyob[PsFZBkAMOyObSMgGpBgAKpEO]CMwGtCW@vpBo[kM[GbBeAGOy?`{MgGbBhAGOyo`cMoG\CL@upAO[cOkFFCI@pPAo[kM[GRBeADPI_]{QoFrCj@{PDo]{PWFrCT@{O{w]SNEFjBu`yO|g]cNUFeCb`w`Gg]OQEG{A}aO?oGbwJ}DuB_`]_wWV_L}EnBW`jP?oZKLkGJCC@lOsObsL?G~BQAOOtOc{QcEfCg@iOv?X[LwEXB\@dOv_XkLsE^B[@fOp?_sKWGPBDABpA?XKK[GLCF@cOogWKKMDpAy`[ok_^SNoDfAs@|o~OUkN{DnB}@ZPH?S[ISHLAcAQpIOSKIGHNCg@OOhwSsIaDRAj`TO~oTcNsD\B}@UokO^SNoD`An@|ofO`cH{G\A]AEoeodSHoHXAYAToeO[CMCCnB^@KPqOA{@e?p?__OoGgE[BQ@dFObgprwxgZmM[E{b\@rGvG[qLmFMbe`mGsw[aLIFEbR@pwwoYaMOEibb`iWxwXIMaEObg@cWxGWiKWFJbD`qgoG[eKEFJb@@qglcUyJZDjaspYgjkT}I|DZamPUgg{SYIJE|BTpjOvsYoL~EcBXpg_uKYKLdEUB`pe?wkX[MHERB_Po_qcXSMBEGBYp`ousZOKRECBMP`_rsWSKzELA~Pbon{W?K\EXAvpeomKXgJ`EmArpk?lCY{JLDbAgpXOi[UOIdDVBNpgOjKT_L@DSAoPT_kSTSJBDHAxpQ_mcVGIPDtA`P\ogcVWIFCxA}PM_nkVkHvCrAfpLOiCROI\CuAepR?fCSkHnDyA]PN_nCVcHzC~AWpOOeSS?H`?S_JODWM[FUBh@u_{O\wDcAy@Z@S_hoSgJ[DuAxE^bOpgGeKRIH`FzCYp}PE{^gPlHFCUQQPDsc_PZG_C`qOPCSaCQDGSCaQP`As`SQJGRC[QC`FS`CPrGOC_QNp@s_{P|GDCXQ@pEc_WPfGCC\qNP?SboOFGzB~qNP?KboO@F|CYQKo~sbGNxHHBrqQ?|Kc[NPFcC^px`GC]SP|HEBopwpGkcONDFWC[Pu`FS\cPrGtBiqLoy{bWMlFRC_pt@G[\GQDGbCVqHPEKb?PHGYCJqF@BK`kOpG\CCQFp@S`wORGLB{QAo}{^WOXFnByP|O|k]wNfFoBtP{O|c^GNVGeBnQI?{Ca[M~FZCSpvPD[\oPT?R_HOCXPWhISeIHdIAahOwhISOISdHa`hKke]RLH]cmQVXNgf]R}Hxc~A]HMggqRkIMcyAbXPwfEReIOcxAcXHOeyQWHncda[HL_fqRYHycta]xJwgARAIAcoA_XKOdeRGHZcpaUhIWdYQiHWciATxL?dAQcHhcgaYhOWcuSIHNdAARhWOFqBz@}_koUGJSC}Ab@ObYplgucYILHEbacpQghCk[UdJEDhqpPYKksULJJDbqr@WkkGU\JBDgQp@X{kgUHJADcQopXKj{U^J@DgQo@Xsj{UVJ?DeqoPXcjcUPJID\qm`XKlCTfItDhql@YSiAS|I^dMqfHR[haStIXdJqdXQsiCTxIbD^Qg`VkisT`ImDWqjpUSioTNIhDTQipTCjWTHIwDRQlpSko[?Z?K_DoBwAC?yEzB]`mOvw[KMAFLBf`qoyW\SMaFXBl`toMWFSBaE`BQ`gopgWkKQERBF`cOfWRsH}NlFwbzp|G}k^MNVFkbtPsgyc\MXyKlEYrL`dcrOXVK^eOrGHbGrQWuKueLBLXeGpYWoKreJbKhawqeWoKgeTBDhdopUX_KSeVbCxaWpyWwKTeMbDHaCpIWbKMEQrBpc{osXLKcEFrG``kqKW\KFeCrAH`SoqWVKEEXr@PeKoOXdKCEWRJ`_sq{WJKODiQt`aSlSWbK@ESR?pdSoGXRKZD~REP_CpgV~KaD|rH@^kqKVxJwEMQ}`bsncWzJudzq|X][nQVdKdDsqypc{qWVTKlDrQy@d[m[XXJbEDRB@[kmOWVJ_ECqw`_{mCWPJ\ENqv`cKq?U~JkDlQz`ZcmsUvJXDvqtp]Kl_V`?D_Bo@g@S?a?RFFbcPpgBS@q?v@x_|o]gOSGMCHAF`BO`WHcCyAZErbXPkWpCWeKNDvazP\We[RQHjCva[PLgfKRmHtC{a^PNWeCRIHbJndwQ{X\cmyVZM|f]RmxvCze\tMvfYrlhu[zI\hN?FWRkPvsz{\^M}FLRf@v{xk]@MVFQrgprKx_\HM`FKrdpsSy?[pMQfHrcXqcxY[jKxFaRM@wkr[]LK{F`RM`w[rk]BM^FFrc@rkxw[\MgFErhpp[yW[XMGFURa`tswc\ZMDFUR`ptswW\ZMhF@Ripocyg[FMgF?Rh`oKy[Z~L}FNr^@rsxsZzLrFWRkPmkvO\^MZExR[@rcvC[tM_EurZpsKyGZ\LiFPrZ@skuk\HLfFSrYPt[u_\TLcFJRXPqcuW[jMREpRcPk[xGZBLZFaRV@wkts]LN@EnrW@w[tw]DLXF\RU`vCzcYpM{EfrnPiKt?\vMsEdrk`hSzKYRLBFYrP@u{sS\lLQEjRT@i{tKYjLvEeRR`msv_YZLyEcRPpnKvkYLK}E_RNpgSrsYBO~@poxG[SMyF`Bn_^oOGFsLQEjBR`JoeWRCHiCxAZbwP{g}K]uN^Fme[rMHe{riXvK{e{r]xnSv]ZpLuehRTHi[sAYDL@gqCUiKXDqbIPZgjcYIJ@EYaqPfgpCNIFpEAbAO|g[cVYFXD}`sP]gZcUyF@Di`kP[gjcKyEhDeaoOsg[cKyFPBQ`iOzgZCNYF@Bq`mO}gXCQIEHCi`_PHg_CJYGHA}`[O~gTCOyD`CQ`UPAgfCIYI@A]a]OggQCPYCpC]`IPEgPCTYIpAM`APSghCFiC@DE_}PRgdcEyHh@uaWO[gKSEiBL@]_jOUgHCTIA`DUakORghCCY@xDMaaOOgCcNyG@?iaAOJgBCQY@@CiaOOFgfC?yI@?Ua]OCg`C?i?@CM_APCgdb~X~pCq^}PLgbB}yGw~qaINyfzr}X~C~Q^lNtfvcYIKo~A^[PfgqbzYKW}q^UPcfoCVh{HD}]}P\fpCWIKO}QbANbfrB{X}W}U^MNqfscBX|P?y^OOKfhBuxzG|A]sNPfnBrXxw|q]yNMfeBtxxO|a]UNUfhbqXx?|U]MNSgXsLIElB]`pOua{P]gnKVmJxD|adpRWhcSyI`DNfgrshyC{}]\NLfdRrHx[{]]RNGhnSwIZ|LqevR\h@c{i]@GEcCRphqcuIZPMQfKRXhicwYYpMIemRbhhczIY`MiecRjhgcyYY@M]e]RghcSpiW|KMeJRChVCwYU@MMd]RahrCjY[hImdWRchsCiI\HIifMQhhRcyyShMqdKRihPShIS\IEc~Q_hmCfiZhHqeuQ\hLcvyRPMAcqR]hyCbI]hGmfeQIhCc}IP@NYcMRvhACzyOpMucIRmg~c}I]xGAfkP}g|czYNhM}bwRmhwC]I]PFifaPxhxc\YMxNUfgPuh\CniV`J}duQ|h_clyVHKIe?QwhcclIXXJYeSQthWcrIUXKydcRLhGC[iQPFQcaPrgvccyMHHUb_QShEcZiLhG}bWQMgscdiR@EmbSQVicD?YhHOAf}TFidDJIh`QyiUSliSdPYdXSYhSTCiRdOid@SMiASeiYDHIePQMheSdiODJycHREhCSoiNdRybpSugyTMiidEyb`TMigSYijDDyj@PeimSWiIDSIapTIgiTPiDdMyfhOqgYS{iCDMI`PRigQSxiYd@Y_xR]gKSui^D?ig@OQh}SBiGc~IaXNygcR|h|dCI^HO}g[RyiyD_YmpWIjiU?iwd^YnxVMjcT}ivD]ilxVqj_Tziud]Yl`V]jUTwjBDYIlPWajQUFj@dXYohU]kGTeipDUYk`TmjETYindVIjpUEj?T\jIdaYpXX]kSUUjKDcirPXQkqURjGdfIpxXuk_UZjEDfis@Wuk[U^jOdiit`YMlUUajQDhyshYelKUg_DoBG@k?y?^?Od_qoHV{hyS~I_dLqfXRcr]XrKwe\RNHf\JqdtQzhZsmYVD\OmKVJjedpyx`[UmCVGjaDqYwX[imAVJjeDnyxh[AlwVGj^Dqivh[emAUzj\DnyvH[AlqU{j\dnYvPZylhUtjXtlYudZMlnUuj[TmIu|ZYlYVDjVdpytp[YmEUqjaDkIwPZEnu?G_CoAg?k?Y?NOxg\sMiFdBu`|KDeBR@H]snUVnJsdxq{ic\QUhHS_iPTGY^dNuf|Rzh|S}ZBL`motWUkKUDzA@_uo]WQkFECZAX_ioiWKkIEAz@x_]oQWLkFEAJ@@_qoQWJkBeAj?``MoKWTkAeDJ?X`IoaW@kGE?i~\^unxVzj}T~Y~t^}o@V}k?T~y~@[}m[Vyj{dsI~@\InqVRj|DsY}x_IoEVujye?Z?`^IoIVskBD{yzH`]mmWWjkEDjBH\YouVTkLDtI{X^En]VdjqD{I{@]mnCVijsdwY{p\unOV^jrdvi|h\qn[VZjlDzJLh^inpVxelrVXjct}Z@L]hMSfiRlHmctQXjfTsIx|\EmfVQjrtyI{t]enVVijvTzI|l]}nbVolCE`ZOxgisQYElDe_jP`gQsYYBlCe^zP@gEsSY?k~E_jNhgQrwYBkvUZzLleyr^Xlk}EYjNpeqryXjkre^zLHgArOY@koEXJKpdyq}XdkrEWjKXeUrAXcksEWjKxeErQXbkoEYzJpeiq}Xkkle]zJhfiqwXxkzEUJN@dirmXXkyETzMhdUreXUkhe[JMHdIrcXSkyERzIHfUq_XrkeE[JMPcyraXLkce]ZHXfmqSXykbE\jH@faqMXvlDeOzGhgusWXCk_E`ZOxcIqAYEkMEJjE@`yp]W\k]eJJFxaup{WjkSELzDPbepQWwkQeLJCxbYpKWtk\EGjC`bqpuWbkWeFzEPaEpeW_lqeXjKdeUrNXhksUYjLdem]~N`foRxH{[}IgfSQiGtCI`tO}o|W\kMULJEtbUppWxkZuMjFdbmpzW~k^UFzCLaAw?[Bm@F@Z_HoQwKZ}mCE~z_xnuvXZjluuyj\LmavNZelquxj[|mUvGYOlpEbj[Xg}vAZnlne{J[@myvkZ]lmE|J]hluvoZYlzeuZ^HlmuoZnljE{JYxmyvcZRlie{zY`nEu_ZplhE{zYHnIuMZslce|j]hkavmZCl{epZ^@kYtk[IlZfAZ`XjUtgZ{l|ekjUXniwEYnmAekJ_`jEtWZ|lVE~zThnywKYelSFAJ_xi]tQ[Am?Eiz_HiivsYbl}EhZ^XiQt?[HmDegjSHoisyZkltefzRpmuvOY[ltEejRXmevCYPlHexJQPmMuYYzlfenZXpjquSYwleEmjXXjeuEYWl`EeZWHh]t{YTl_EdjVxhQzQ\fMGvBrlDuWw`[MMrVBBlDoszN\SMNVTbcDtSw~\PMjvURi\t_yd[}MnvNRjtroyz[xMlVMrjdrgyv\bMZVMBklr[zH[rMoVLRkTrOzB\AMWVPBeTsKxb[mMdVJrhDqsyR\DMTVJBgts[xV[fMdvRRdLq_yX\NMQvSBctswxH[`M^vGrgLqGy@[\MIvDrb\pWwx[YMHvEBaTpcwh]FNEvbrpLw_{\]DNEV`bpTwO{V]OM~VcboDxCz~\zN?v^Ro\vo{D\nMyv[Rm|v?zl\qM{V]bmdvczf]WMuvZbqtx[zX]RMsvdRl\xOzT]jNKvertlxg|X]fNPvhRsdyW|D]^NTViBsLyc|@][NVVfbt|z?{z]pNZvkrvLzG|p]{NYvlbvTzk|hZclpUwyyD[ym^VPjhTszxH{M}S^CndfpZx@{Q}K^Dnbfozwpzu}O]~nbfnjxH{A}U^AndFoZlDu]zLX_knuVjKLeMrD[VmIvDjaTpQwf^cnrVxZ{L}M~D^]NkVvrzT}?}r^\NkvvBzT|_}v^`NeVwrxt}G}Z^]NivwBy||{}l^QNlvvRyd|o}f^cNfvsR{t}S}`YYlMUezRth}sz^~N}V~c?L~t?@_AN{w@B~]?K~t_?NzW?R~D~{~n^rO@v|S?d~P?D^qNsvyB}D}[~b^iNuvzB||}k~\?C_AO@JbLpiwp[ZmMvFJ{|}e~P^inuVy{AyAN?q_doKGHKCI@f@?_WoJgGkCi?Z@G_DoPg@{Aa@j?k_[oIgE{AI@v?e_^oNGCkCQ?z@A_OoOGB{@Y@v?}_KoNGB[@A@j?Q_[oDGE{DaBn@[_|oUgNKEiBb@m_yoZGM[DIA~@U_poTGKKCqBJ@g_goRgKw?IC\@|`??@gQ[Fw?HAP`@?@GPG?ICLAL`A?@gP^