CAT(2000,1)

Sparse6:

:~?^O_?_?_?_E?C_C_C_E_G_F_D_D_D_G_E_F`@?N_O_P_z_|_{_U?K_V?L_T?M__?z_a?{_`?|_Q_S_R_w?n_y?o_x?p_T?k_V?m_U?l_u?Z_v?\_[?t``?~`?_}_{_|_z_v?y_w?t_u?x`l?q_s_r_q_s_r_h_j_i_k_l_m_n_p_o`?_}_~_f_g_e_b_c_d___a_``?_}_~_g_f_e_]_]_]_^_^_^aV?q_r_s_V_T_U_Z_\_[_W_Y_Xae?Q_S_R_g_e_f_W_Y_Xaq?Z_\_[auAtAVaXAtatAWa\a^a]aaa`a_aYa[aZaYaZa[adacabaeagafapAsanAqaoAraUAkaTAmaSAlaPAiaRAjaQAhaNAJaOALaMAKaqAAaCAsaBAra@a?`~aF@|aD@{aE@}`m`l`n`p`q`o`yAe`zAg`xAfad@s`tAbac@rah@iai@kaj@jak@v`uAm`wAl`c`e`d`ZA\`\A^`[A]`]Aaa`@_a_@^an@b`aApao@``gAIaG@h`fAHcL@C`E`D`A`B`@aUaTaSaTaSaU`l`n`m`o`q`p`x`z`y`u`v`w`r`t`s`i`k`jcm@F`H`G`I`K`J`{`}`|`~a@a?`L`N`MaBaCaAdBAEaFaDdH@O`Q`PaGaIaH`W`V`UaMaOaNaPaRaQ`X`X`X`R`T`SaKaLaJ`Y`Y`YdiDhdfdgdWdYdXd^d]d_dZd[d\dad`dbdSdRdQdTdUdVdNdPdOdcDGdeDEddDFdMDcdKDedLDddIDcdJDddHDedBDfdDDhdCDgc@CfcBCdcACecICecJCfcKCdc^CIc_CKcJC`cFC[c]CHc\CGcWCEcUCDcVCCcGCScFCTcRCHcQCEcDCOcCCPcQCgciCPchCOcaCLccCNcbCMcaCMcLCccbCNcjCmclCockCncmCycoC{cnCzc}D?c~DAd@C|dADDd?DBd@DCcsDZcuD\ctD[cvDWcxDYcwDXd^CpcrD_cqD]daCydbC{d`CzdODGdEDPdNDFdTDKdVDLdUDMbFbDbEbfbgbebab_b`dfBNbODhbMDgc]A{c\A|a}C[cXBzb|CZb{CYcUBAcWBBcVBCbICZbHCXbGCYc^BYb[C`bZC_bVCBcABXc@BWbPCRbRCTbQCScgBKciBJchBLcjBSclBUckBTa~CwcxB@cvB?b]CucsB^b\Ctc~Bhc}BibjC|dHBsbqDIbrDJb}DQc?DRdSB~auCpcrAwavCqbvBwbuBxbtBybmAxayBlazBkbbBnbpBdbcBo_H_I_J_Q_S_RgT?P_N_Og]?t_v_u_x_y_w_h_j_i_i_h_j_n_p_o_a_`__cEcCcDclckcjaxazaya{a}a|a~b@b?bAbCbBbDbFbEbIbHbGb_bab`hbHVhXhWhSHVhUHXhTHWhGhIhHhDhFhEg|g}g{gzgxgygugwgvgrgtgsgoHSgqHUgpHTgngmglgigkgjghGsgfGtggGrgeGpgqGcgdGog`gbgag~G`h@Gbh?GagQgSgRgTgUgVgYgWgXgZg\g[gNHPgPHRgOHQgNHVgPHXgOHWg[HAg\HCgZHBgiGLgjGKgkGMg_GXgYG]g^GWgEGlgGGngFGmg@HMgAHOg?HNggF~f|GhgfF}hPFyhQF{fzHRfvGxfxGzfwGyfsfufthEFnhFFofmHDgLFlfjGMgKFkhKF_hLF`hJF^f[G]f]G_f\G^fXfYfZgVFUfWGUgTFVfPGcgdFQgeFOfLGwfNGvfMGug{FIg}FJg|FKfFHJfHHLfGHKehejeieae`e_hJE\hKE^hLE]eVHQhREXhPEWg~EQePH@h?EReUeSeTemHUekHSelHTeweyexhGE}hIE~hHF?eqHMesHOerHNeLeKeJeAeBeCgSEGgQEIgREHdlHMdnHOdmHNhADrdtHChBDsd~e@e?eOFieNFgeMFhffFqfdFpfeFrfaGBfcGDfbGCezGHe{GJe|GIfCF@fBFEfAFDevE[eZEteYEueeEFeDEgeEEfdyFRdxFTdzFSenD{epD|eoD}duDpdvDqdwDodjEbdiEddkEcktGZg\g[`N`L`M`C`D`E`@`B`Aaoapan`i`k`j`Z`\`[`[`Z`\`]`_`^`]`_`^`c`e`dfOfQfPfLfNfMfIfKfJdmdldndudwdvdrdtdsdodqdpdxdzdyd~e@e?d{d}d|dkdjdimXMWmUmVmFMRmGMTmHMSmRMKmIMTmSMJmPMLmQMNmOMMlplrlqljlllklgMCmELhmDLileLmloLflnLdlaLmlcLolnLbmOL^mQL_mPL`l[MBl]MBl\MBl[MUl\MVl]MWlXLslYLulZLtlUMCmELWmDLVlRM?lTMAlSM@lRMIlTMKlSMJlOL~lQL~lPL~lQM@lOMAlPM?mOLImPLKmQLJlCL}l{LElDL|lCLUlELWlDLVlBMCmELAmDL@lcK|kzLbk{LakwMRkyMTkxMSktkvkukrMUkqMWksMVknLLlMKplNKokmLIklLKlJKkkzKqk|Krk{KskoKhkpKjknKikcL{kdL}kbL|lFK_kaLHlGK`lMK^lNK]k\LLkYKtk[KvkZKukUMNkSMMmLKTkRLxlyKPlzKQj{K}j}L?j|K~jzL@lBJxjyLAlFJrlHJtlGJsmHJomFJqmGJpj`M@jbMAjaM?j]Lxj_LzlyJ^lgJQliJSlhJRkyJOkwJPkxJNjBMKmIJDjCMJj?LjjALlj@LkklIykmI{izKkisL{iuL}itL|lfIqleIrldIplpImlrIolqIni[Lxi]LylzI\iLLtiNLulsIMmFIJiKMHiIMGl^IFiHL`iGL_h}MNi?MLh~MMlwHphoLwhnLwhlK}hmL?hkK~lvHehgLvhfLvlXH_lZHalYH`juJljwJnjvJmkAJijkKCjjKBjVKgjTKejUKfjJKGkIJHjIKHjZI|i~J\j[I}ijIvilIxikIwiiIcihIaibIgi^Idi`Ifi_IeiTJXiRJYiSJWjEIOjGIQjFIPkNIXkOIZkMIYjKICjMIEjLIDkLI@kKIBiAKJiVHziUH{h|IWjcHyhwJejdHxhrHvhsHthqHuhjJ~k@HihhK?kDHbkFHdkEHckVH\kXH^kWH]jfHYh[JhjgHZ_K_M_L_H_J_Ikqkskrkpknkokkkmkl_k_m_l_c_d_b_b_c_dc@cBcAcFcHcGcIcKcJd?dAd@dEdGdFbqbrbsbcbbbdbYb[bZkGkHkIj}j|j{jxjzjyjojqjpjkjjjij_j]j^jZj\j[jIjJjHizi{iyiOiQiPiRiTiSiUiWiViZiXiYiIiKiJi@iBiAh~i?h}hyhxhwhthuhvhqhshrhnhphohkhmhlhhhjhihdhbhch`hah_hYh[hZhah`h_h]h^h\hYh[hZh^h\h]sgSFSbsGSasHScsISesKSdsfSJs@SCsESBsASDs^Rxs`Rws_Rys[RsrqS]s\RrrkSdsfRmrlSerhR_rjR`riRarZScr[SarYSbrSSXrUSZrTSYrOR~rNR}s?RMrHSVrISWrGSUs[RDrES]s\RFsXRArCSYrBSZq~RjrhR@riR?sTQ}q{STq|STq{Rtq}Rvq|Rus^Qus_Qws`QvsFQusHQvsGQwqoSCsEQpqqSDrqQpqoRsrrQqsSQlqnSSqmSSsQQisRQksPQjqfSOqhSOqgSOq]Qiq_Qkq^QjsPQZsRQ[sQQ\qWSUqYSWqXSVqZQ`qbQ\q[Qas^QTs`QVs_QUqWQTqYQVqXQUqQRbrdQSqRRcrYQNr[QPrZQOs@QHsBQJsAQIqxQEqzQGqyQFqBQEqDQGqCQFqcQ?qAQeqdQ@qNPyqOP{pzQPpvSXpxSZpwSYqzPtqxPuqyPsppQ`qbPrpqQapoRMrOPnrNPmr{PjplR|pkRzpiSNphSNpgSNpdQKqMPeqLPfpaQfpcQhpbQgp^SdsfP_p`SerRPZrPPXrQPYpURJpWRLpVRKpRQlqnPTqmPSpORVpQRXpPRWpLSapNSbpMScsRPFsPPHsQPGpCRSpERUpDRTp@QrpBQtpAQsqQO}p?QSqRO~oyRmoxRlowRkovSMotSMouSMsVOssUOrsWOqokRnrpOmroOloiRFojRDrEOhobRIrGOdocRHo_R\oaR^o`R]oYRVoZRXo[RWoVSLoXSLoWSLoMQKqMOOqLONoGRBrCOIoHRAr_N{n}Rar`N|nxRnrpNzroNynuRwnwRynvRxntR@nsR?nrQ~rzNlr|Nnr{NmniRtnkRvnjRur}NfngR~nhS?n`SInbSKnaSJs[NZn\S]s\N[rgNWrfNYreNXqdNUqeNVqcNTnIQrnJQtnHQsnKQHnMQJnLQIrPNEnGRRnFRQrdNBnCRcnDRbm|RJm}RLm~RKreMsrgMurfMtmpR\mrR^mqR]m[Q]m]Q_m\Q^ozNoo|Nqo{NpoJNcoLNeoKNdoSN]oUN_oTN^nQP|nSP~nRP}p[NNp]NPp\NOm{N@nAMyn?MzmvPIpKMxpJMwmmOPmoORmnOQmjOemkOgmlOfn~Mgo@Mio?MhoCMdmfOAmeOBm^ODm`OFm_OEmaO\o^McmbO]ooMYmZOponMXgQgSgRgXgWgYaVaXaW```b`an`nbnamgmhmimdmfmemZmYmXxgXfX_xfX`xfXaxeX]xeX^xeX\wrXVwtXXwsXWwjXYx[WixZWkweXbwcXcwdXdwNXMwPXNxOWOxPVvvxXRvwXQvLXYx[VNxZVMvAXXvBXWv@XVxUU}xTU~xSV?uwX\x]UyuxX^xRUqxPUsxQUrunX_upXauoX`u\XNxOU^u]XMtZXdxbT\t[XctAXTt?XUt@XSwoW{wqW}wpW|wWWxwYWzwXWywMW_w^WLw]WKwBUJwDULwCUKw@WlwnWAw?Wmv|XIxGV~xHV}vXWuvYWwvZWvvOVpvQVrvPVqukWGumWEulWFueVFugVHufVGubV]udV\ucV[u_WSu`WRuaWQvdUPvfURveUQuMXAuNXCuOXBuGUhuIUjuHUiuEUtuvUDuuUFuVUAuXUCuWUBt~WHu@WJu?WItxVUvWTzvVTytuUztwU|tvU{ttVztsVyv{TrxJTotpXLxKTqvCTlvETnvDTmtiT{tjT|tkT}vRTgtfVTthVStcVsteVutdVtt]WTt_WVt^WUtWVgtYVitXVhtTW~tVX@tUX?tRUTtSUUtQUSwfTNwhTPwgTOtKUYtMU[tLUZtHVIvKTJtIVJwZTEtGW\w[TFtBW`tDWbtCWas|V^s~V`s}V_vjS{vlSyszVkssT`suTastTbxDSpsrXFsqXEvaSmvcSovbSnsgVmshVovnSisjSvslSxskSw_W_Y_X{J[U{V[I{K[WzI[V{WZGzH[U{O[F{Q[H{P[GyWZ}{?YYyXZ~{LZmzl[Nzk[MzuZeztZgzvZfzY[Rz[[TzZ[SzS[@zU[BzT[Az_ZJzaZLz`ZKy~Zqz@Zsz?ZryxZhzjYzziYyyuZwywZyyvZxygZ^yhZ\yfZ]zVY`zXYbzWYayrY]ytY_ysY^yZY{y\Y}y[Y|yTZbyVZdyUZcyQYiySYkyRYjyKZPyMZRyLZQyoYEyGYqyFYpzzYBz|YDz{YCy?YlyAYny@Ymx~ZEx|ZFx}ZDycXyx{YeydXzznXvzpXxzoXwxtZMxuZNxsZOxqZAxpZCxrZB{CXm{EXo{DXnyHXjyJXlyIXkxhYNxiYPxgYOacadab|E\r|G\t|F\s{a\s{c\r{b\t|o\f|q\h|p\g|n\e|m\c|d\l|W\Z|X\\|Y\[|Q[^{`\S|R[_|H\K|M\J|L\I|_\@|]\?|A\^{|\`|b[~{}\a{v\T{x\V{w\U{m\i{o\k{n\j|N[j{l\P{k\O{g[s{i[u{h[t|B[d|D[f|C[e{{[\{y[]{z[[{X[p{Z[r{Y[q}U]W}T]V}S]X}_]M}O]`}N]a}J]b}d]L}K]c}G\}||]I|{]H}E]Q}D]R}P]F}C]@}?]A|~]B|x]\|z]^|y]]}Y\u}[\w}Z\v}e]w}g]y}f]x}z]q}|]s}{]r}k]n}p]m}o]l}h]t}j]v}i]u~F?@]}_A^H^?~G?B]~_A^@^C~E?B^B_@^A^D