CAT(1976,1)

Sparse6:

:~?]w_?_?_?_k?j?e_j?d_j?f_g_i_h_i_h_g_d_f_e_z?d_e_f_{_|_z_q?r_r?s_q?s_w?t_v?y_u?x_w?z_y?{_x?|_k?t_v?m_u?l_p_o_n`R?o_p_n`X@O@S`Q@T`P@R`@@R`B@T`A@S`L@O`N@Q`M@P`C`E`D`G`F`H_}@I`K@?_~@J`p?i_g_h`v@M`N`L_}`?_~aB@~`}`|`~`|`}`y@~`{@}`z@|`p@v`x@r`w@q`s@v`x@u`w@t`m@k`n@j`l@o`m@s`n@u`o@t`[@r`q@]`p@\`y@d`{@f`z@e`^```_`X`Z`Y`l@W`j@U`V@k`a@g`c@i`b@h`s`u`tadaeacaTaUaVaQAiaSAkaRAjaiAKaMAkajALaBAZaDA\aCA[aYAbaXA`aaAWaOA]aPA_aNA^afAHahAJagAIaEA?aFAAaGA@azaxaybDBAbFBCbEBBa{Aua}Awa|AvaoB@apA~aqB?arAmanAsatAl_w_y_x`e`f`d`a`c`bb\BVb^BXb]BWbVBYbZBXb[BWb\BJb^BLb]BKbQbRbPb[BHbIBYbZBGbSBMbUBNbOBTbt@O`Q`Pabaaa`a_a]a^a?aAa@cCC?b~b}b|Bvb{BtbuBzbtBybvBxbuBwbeB}bgC?bfB~bwBnbpBybxBoblbmbkb|Bjb{BhbiBzbsBdbrBbbqBcbrB_bsBabqB`ca@U`W`VamanalcjCacccbccCdcaCfcbCecUcWcVcdCOcQCfceCPc^CJc_CKcIC`cFC^cHC_cGC`cLC[c]CNc\CMcSCZcTCXcRCYcBCCcACEc@CDdH?a_c_bdJdHdId@d?dAcmDEcoDGcnDFckDEclDGcjDFdHChciDJcgDIc}DDc~DBdCC|cyCpcrC{czCqcsCwcuCxctCvbqbsbrcichcgdfdgdhdcDOdNDddeDPd_d]d^dcDZddD[deD\dWdYdXdTdVdUdMDhdKDfdLDgd`DQdSDbdaDReD?a_c_bc`c^c_c@cBcAeKeLeJeFeEeDdndldmd~EIe@EGe?EHd|d}d{eADxeCDzeBDyduEDdwEFdvEEeJDrdtELeKDsdqEGdoEIdpEHdkEBdjECdiEAenDEdGdFeeegefe`eae_epE^enE\eoE]eVEneXEpeWEoekEPemERelEQekENemEOelEMebETeUEdecESe[EheYEjeZEifEF@fBFDfAFCeqE|ezEse{ErewFFeyFHexFGe}Etf?EuevE~fRFIfTFKfSFJfMFQfNFOfLFP_b_c_aekemelaDaCaBaFaGaEa?aAa@bGbIbHcTcScRcEcDcCcBcAc@dPdOdNdKdMdLeSeTeUeYe[eZePeReQeMeOeNfyG?f{GAfzG@f|FvfxF~f}FwgGFtgFFugEFsfqFufpFtfrFsfmFxfoFvfnFwfmFlfoFkfnFjfpFgfrFifqFhffFgfeFifdFhfcFlfbFjfkFafdFafcFffbFegGF^gEF`gFF_f^GBgDF`gCF_gDF\gCF]f[GBfyF[f{F]fzF\f|FUfWF~f}FVfXG?fZGAfYG@g{?U_W_V_X_Z_YhG?[_]_\hM?^_`__eAeCeB`k`l`j`m`o`n`W`V`UaoaqapbjbibhcpcrcqckclcjchcicgdxdzdydvdwdudpdqdodjdkdieseqereuetevhsHwhqHyhrHxhnHzh|HphoH{hiHvhjHuhhHthiHohjHnhhHphkHehgHmhfHlhqHbhsHdhrHchaHch`Hdh_Hbh^Hah\H_h]H`hfHYh[HghZHeh\HVh^HXh]HWhTHYh[HUhSHZhSHVhUHXhTHWhPHvhQHthRHuhPHkhRHmhQHlhMhNhOhOhMhNgHHJgJHLgIHKguHwgwHygvHxgrH{h|GtgsHzgoHJgqHLgpHKhGGnhIGlhHGmhGGihIGjhHGkhEGfhFGgghHDgdHAhCGcgeHBg~G`h@Gbh?Gag]HAg_HCg^HBg{G\gZG}g[G|g~GWgYH?h@GXgTGygzGVgUGxg{GQg}GRg|GSgNHEhFGPgOHDgKGxgzGMgLGyjc?J_I_K_L_N_Mjl?O_Q_Pju?R_T_Sjwjujvjvjwjuh}Jsi?Jth~Jrj]IgihJ_iiJ^ikJ]j_IlijJ^jpIdjqIfjoIejlIajnIbjmIci^JijjI`jkI_jfI[i]JhjgI\iXJijkIYjjIZiUJfiWJhiVJgiRJciSJeiTJdjcIOjeIQjdIPiNJtiLJriMJsiKJqiIJpiJJojbIFiHJaiGJ`jlICjnIEjmIDjbIBj`I@jaIAjVJXjTJYjUJWjNJQjPJSjOJRjLJHjJJMjIJKjBJEjDJGjCJFj?I|i~JAj@I}ivIyixI{iwIzisJZiuJ\itJ[imIpioIrinIqlI?Y_X_Z_X_Z_Y_[_]_\_[_]_\l[?V_W_U_V_U_Wj]j_j^lcL\l]Lbl[Lal^LalcL`l_LblKLVlILWlJLUlULLlNLWlMLVlYLOlZLQlXLPlZLTlXLSlYLRkAkCkBkEkFkDlRK}lSK~lTL?lOKzlQK|lPK{kwLLlNKylMKxl^Ktl_Kvl`KukrLIksLKkqLJkoL]l[KpknL\jxLFjzLGjyLHlFJ|lHJ}lGJ{l@KklBKmklLAkeKhkfKikgKjk\K_kaK^k]K`kVKbkXKdkWKck[KUkZKSkYKTkNKPkOKRkMKQkGKJkLKIkKKHlCJ~k@LElDK?_I_K_J_I_K_J_Q_P_O_O_Q_Pm~?L_N_M_L_N_MlFlHlGgxgzgyhAhChBhEhFhDhKhLhJm~NDnFN@n?NEnANDnBNEnFNCmlMzmnMymmMxmoMzmqMympMxmrM}m{Mtm|Msm|Mwm}Mvm{MunQMjmkNPnRMimfMumhMwmgMvnAMcmeNCnBMdm`MomqMbmpMam]M~m_N@m^N?m\MmmZMnm[MlmtMWmrMYmsMXnGMTnIMVnHMUmNmPmOmQmSmRmKNOnNMMnMMLnGMHnIMJnHMImENJmFNKmGNLnJMBmDNLnKMCm?NMmANOm@NNnQL~nRL|l}NPlkllljlnlolmlplrlqlultlsldLzl{LflyLelgLvliLxlhLwj`jbjajjjkjijpjqjojrjtjsopNengOroqNfnzOhoiN|n{OgoiNynxOgnwOhntOpnvOrnuOqonNqnsOonrOmojNnolNpokNoojNkolNlokNmnhOmnjOoniOnnZn[nYn^n]n\n`nan_ndncnbo`ORoSO^oTO_oOO[oQO]oPO\oLOZoMOYoXONoIOdoKOfoJOeoUOFoHOWoVOGobOEocOCoaODnSO@nUOBnTOAn}NVo?NXn~NWp`P]pbP_paP^pZPfp[Php\PgpWOsouPYotPXpHPTpJPVpUPIplPEpnPGpmPFpBPPpDPOpCPNpkPAp?Pip@PjpLO|pMO}pKO~o{PQozPSoyPRovPcoxPeowPdqP?^_`_____`_^igiiihijiliklvlxlwl{lzlyqYQ`qZQaq[Q_qWQ^q\QVqXQ]qYQSq[QUqZQTqPQVqXQQqWQRqOQRqMQQqNQPqMQTqOQSqNQUpoQ\pqQ^ppQ]prQ_ptQapsQ`qGQJqLQIqHQKp{P~p}Q@p|Q?qAPxqCPzqBPyqDPupwQEpvQFrO?S_T_R_R_T_SlWlUlVlYlZlXjxjzjyj{j}j|o^o`o_o[o\o]oZoYoXoUoWoVn}o?n~oAoBo@rrR`rpR^rqR_r[RmroR]r\RnrYRfrZRerdRXrYRbrZRcraRXrjRUrVRlrkRWriRUrhRWrgRVrTR`rRR_rSR^rQR]rOR[rPR\rORLrNRPrQRMrTRLrNRSrRRMqdRGqbRFqcRHrERcrDRarCRbrpR@rrRBrqRAq~Rnq}RmroR?qzRjq|Rlq{RkrdQwqyRfqxRergQtriQvrhQuqqqsqrqnqpqoqmRIrKQkrJQlrFQhrHQjrGQiqfRKqgRJqeRItAMymzmxm{m}m|pTpVpUpQpSpRpNpPpOpKpMpLtJTDtLTFtKTEtGTDtITEtHTFtBTQtRTCtATPtMTCtATOtBTNs]TJs_TLs^TKtMSZs\TOs[TNtGSWtISYtHSXsTTPtRSVsUTQsNsPsOsMsKsLt@SJt?SIs~SHsES{s}SGs|SFsCSzsySDsxSBs?SxsASzs@Syr|Svr~Swr}Sur{SwrzSusvRys~Rwt@Rxt?RvrsS{s|Rus}RtsiSlskSnsjSmsfSpshSosqSgsrScstSessSdsQS`sSSbsRSau[ULuNuMuIuKuJt^UXt]UZuYT\uXTYuZT[uYTZuUTVuVTXuWTWtSUUtUUWtTUVu@URuTUBuAUSt_TztaT|t`T{txUOtyUQtwUPtpTqtsTntoTrttTktuTmtvTlt~TjthU?tiT}teUHuFTgtfUGtbUDtdUEuCTcrGrHrFrIrKrJumVEunVGuoVFuyu{uzuxuvuwutVJuuVHusVIvHU^u`VJu_VIvFU[vGU]vEU\ujUpulUrukUqugV?vAUiv@UhudU|ufU~ueU}ubVDvBUcuaVCswsvsusxszsys{s}s|s~t@t?vKVivMVkvLVjvfVrvhVtvgVsvcViveVkvdVjvpV`vaVqvbVovlV]vnV_vmV^v\vZv[vWvXvYvlVTvVVnvmVUvrVSvQVtvRVsvNVovpVPvOVquUuWuVuXuZuYwPwRwQwMwOwNwSWAwCWUwBWTwSV~wUW@wTW?v{WVwXV}v|WWwXVzvxWWvyWVwHWJwGWLwIWKwDVuvwWFwEVvwnWewpWgwoWfwcWYw[WbwdWZw_WkwaWmw`Wlw^Wjw\Wiw]WhwzWqw|Wsw{WrwyWtwvWxwuWwqMqOqNsksisjsfshsgu^u_u`u[u]u\wGwIwHwDwFwExOXWxQXUxPXVxRXLxTXNxSXMxOXIxQXKxPXJxGXLxHXMxFXNxIXCxEXKxDXJxFXCxEXHxDXGw}XUx?XWw~XVxRX@xTXBxSXAxv?F_G_HrLrMrNtntotptktmtlvQvRvSvNvPvOwYw[wZw^w]w\yHYEyGYJyFYIyMYDyKYByLYCy?YEyGYAyFY@x~YCx|YDx}YBy?Xyx{Y@yAXzx{X~x}Xyx|XzxpXXxZXrxqXYyHXmyJXoyIXnxjYKyLXlxkYMxiXxxgXvxhXwxvXdxfXxxeXwxsXaxtXcxuXbxpX^xrX`xqX_x[Xsx]Xux\Xty~?C_E_Dy~Y^y_Z@y]Z?y~YZy\Z@z?Y[yXY{y}YYyWY|yTYxyUYzyVYyyQY{y}YRySY|yxYNyyYPyzYOyrYlytYnysYmyiYoyjYpykYqyhY`ybYfygYayuYcywYeyvYd_F_G_H_H_F_GzhZaZez`Zgz_ZfzbZezdZgzcZfzVZbzXZdzWZczSZ_zUZazTZ`zPZ\z^ZRzQZ]zMZYzOZ[zNZZzHZAzIZCzBZGzJZDzLZFzKZE_C_D_E_C_E_D{IXpxrxqxsxuxt{@[H{B[G{A[F{C[H{E[F{D[Gzt[Lzv[Nzu[M{CZ}{?[E{DZ~{@Zz{BZ{{AZ|zw[I{KZy{JZx{KZs{JZrzq[I{LZn{NZp{MZozizhzjzkzmzlyxyzyyy}y|y{{U[m{W[n{V[o{p[_{r[^{`[q{p[[{r[]{q[\{m[X{o[Z{n[Y{P{O{Q{R{S{T{d[j{l[f{k[e{a[g{c[i{b[h|E[s|G[u|F[t|B[||D[}|C[~{y\@{{\?|A[z{v\H{x\J{w\I|Q\T|S\V|R\U|N\K|M\P|L\Ozezfzg{j{l{k{g{i{h|e\]|c\_|d\^|]\`|_\a|b\^|W\c|X\d|Y\e|Z\`|b\\|[\a|u[G{H{F|B|D|C|A|@|?|{\w|}\u||\v|y\u|z\w|x\v|r\h|g\s|f\t|x\o|y\p|z\q||\l|n\}|m\{|i\t|r\k|s\j}S]C]P}R]B}Q]A}R\~}P]@}Q]?}E]J}D]L}F]K}G]M}O]I}N]H}\]S}^]U}]]T}Y]W}[]X}Z]V|t|s|r}e]_}g]`}f]a}f]b}d]g}e]c}P}R}Q_@]h]n}p?B]i}o?A]j_A]k]n}p?@]m}o?B]l