CAT(1946,2)

Sparse6:

:~?]Y_?_?_?_p?o_n_m_e?g_f?i_d?h_j?g_l?i_k?h_l?o_j?n_k?m_c?e_a?f_b?d`B?g_h_i_j_l_k`D@F`C@G`B@E`F@?`A@G`@@E_s_u_t`C?~`B?|`D?}_y@?`A?{`@?z_v?q_x?r_w?p`]@T`V`U`\@S`[@Q`Z@R`M`K`L`\@H`Z@J`[@I`W@N`Y@P`X@O_m_o_n_c_a_b`p`o`q`l`n`m`m@]`l@_`n@^`i`k`j`a@q`b@o`p@``d@f`e@h`c@gaG?r_q_p`y`x`zaCaBaAaFA?aDA@aE@~`{AH`}AI`|AGaG@u`wAIaH@vaD@raE@taF@sa_AFaEaD`Z`\`[`u`w`vaaa`a_a_aaa`aeA\agA]afA^aeAJagALafAKaYaZa[a\AVa^AWaXA]aUaTaSaPAbadARacAQaMAbacAOaNAdaqasarb@bBbAanaoapayA|azAwa{Axa}Aka~Amb?AlahAtajAvaiAubXBRbTbSbLbMbNbIBCbEBJbDBKbOBFbQBHbPBGbgA]a\a^bIbKbJbhBjbgBlbiBkbebdbfbeBjblBdbfBkbabcbbb^b_b`b[Bgb]Bib\BhbVBXbUBYbZBWaiajahakamalcFCBcGCDcCCEcACCc?CDc@CBb|b~b}bvCEcFBwcGBxbtBzbsByb{BubpBmbrBobqBnc]CKC[c\CLcMCZcTcUcVcQcScRcJC[c\CIcHCZcNCYcWCOcXCPbdbebfbVbWbUcocqcpcnclcmc^Coc_Cqc]Cpckcicjc`ClcbCncaCmccCfchCecgCdbpbrbqdKDJdJdJdGdIdHcxDGdICzdHCydAdCdBd?c~d@c}DDdFC|dEC{cuDEcvDFcwDDcrDGdICtdHCsc\c[cZcucwcvdoDlDndlDmdmDndiDfdkDgdjDhdcDQdSDeddDRd`dbdadiD]d_Dkd^Djd\dZd[dWDfdYDgdXDhdTDddVDedUDcdiDKdkDMdjDLdlDNdnDPdmDOdKdMdLdNdPdOdwERduEPdvEQeNEGeMEIeOEHeDeFeEeCeAeBeMDrdtEOeNDsdpEReQDqdoEPd{D~e@D}e?D|eJDxeLDzeKDyebEhedEjecEieaE^e]E_e`E\eYESeZETeUE[eVEeeWEfeXEgekEqemEselErenEtevEpeoEu_e_f_d_a_c_b`P`N`O`{`}`|`r`t`sa|a{azatavaubXbZbYb[b]b\bWbUbVcPcNcOc{c}c|csctcrd~e?e@dzdydxfhFafcFifbFgfdF^ffF`feF_f[F^f\F`f]F_fcFZfYFafbFXf\FUfWF]f[FVfZFRfYFTfXFSfOFRfQFTfPFSfLFUfWFNfMFVfOFIfPFKfQFJfMFGfNFHfLFFfEFHfCFGfDFFfAFKfBFJfIF@fEF?fDE}fCE~fBF?e~F@fAE}ewFieyFhexFgfdEzffE|feE{g]?U_W_V_Z_X_Ygi?\_[_]go?^_`__`?`A`@`]`_`^`c`d`eaJaLaKaMaOaNbCbEbDbFbHbGbyb{bzbvbxbwcccecdcacbc`dXdYdWdTdVdUe]e^e\eYeZe[h\HVh]HXh^HWh[HShUHYhTHZhQHUhRHShPHThVHMhXHOhWHNhJHMhLHNhKHOhQHHhPHGhRHIhJHDhFHLhEHKhHHChGHAhIHBg~HDhFH@hEH?g{HAg}HCg|HBh?GygzH@g~Gxg}Gug|Gwg{GvgrGygtGxgzGsgrGugtGwgsGvgpgqgogpgogqglFkgmFlfjGngWHZgYH[hYGXh\GTh^GVh]GUgQGigSGjgRGkgOGjgPGkgNGiggGKghGMgfGLgeGIgdGJgHGcgeGEgdGGgFGcghGBgDGfgCGgg`GAg@Gbg?Gaf|G]f~G_f}G^fyG]f{G_fzG^gbFwfxG`gaFvfsGlfuGmftGngZFpg\Frg[FqfmGZfoG\fnG[jE?I_K_J_L_N_MjQ?O_Q_PjW?R_T_SjYjWjXjXjWjYjTH_jVHajUH`j?IKiIJAj@IJj?IMjAILj@INjQIFiHJSiGJRiCJQiEJSiDJRi@JNiBJOiAJPh}JLi?JMh~JKjNH{h|JPjOHzjMHwjLHyjKHxhtJHjJHvjIHuhqJEhsJGhrJFhnJHjJHpjIHohkJEhmJGhlJFjTHhjUHijVHjjBHehfJDhgJCjCHdjBHcjDHbiuI{itIyisIzivIpixIriwIqimIgihIoiiInijIdilIeikIfibI[i]IciaI\i_IZi`IXi^IYiRI|i~ITiSI}iUIOiWIQiVIPkk?U_V_W_U_W_V_X_Z_Y_X_Z_Yk}?]_[_\_[_]_\j?jAj@lCK~lEL?lDK}lCL@lBLElDLAkyKkkwKmklKxkwKokxKpknKykzKqk|Ksk{KrkzKtk|Kvk{KujejcjdjfjhjglBK`kaL@k_LAk}K^k]L?k\K~k[KvkYKukZKtkVKnkXKpkWKokSKkkmKTklKUkPKqkRKskQKrkhJ\jZKjj[KikhJ]j_KjkiJ^kbKMkdKOkcKNkDKGkFKIkEKHkAKJkLKCkKKBjxJ~k@JzjyK?juJ{jwJ}jvJ|jmJtjnJsjlJrjoJijkJqjjJpj`KejbKfjaKg_I_K_J_I_K_J_N_L_M_L_N_Mm`?Q_P_O_Q_P_Okhkjkig[g\gZgcgegdghgggfglgngmmhMbmgMamfM`mfMcmeMhmgMdmOMZmPM\m[MNm[MQm\MSmZMRm]MVmTM_m^MUm^MWm]MYm_MXmrMKmtMMmsMLmeMHmJMdmIMcmEMamGMbmFM`mWMBmDMYmXMCmQM?mSMAmRM@l|MUl~MVl}MTlyMNmPL{mOLzmkLvmiLxmjLwlplqlrltlulsmiLmloMklnMjmrLjmtLlmsLklgMomqLimpLhlfMnleMmldMllcMnmlLbmmLamqL^mpL_l`MolNlMlLlQlOlPlRlTlSlUlWlVl[LFl]LHl\LGlYLIlZLKlXLJjBjDjCjMjLjKjNjPjOjTjVjUnGORoTNIoSNHn]OIn^OJn\OKoSN[nYORoTNZoINVoKNXoJNWnSOLnUONnTOMoONPnROQnQOPoNNMoMNNoLNOnLOPnKOQnJOOm{m}m|m~n@n?nAnCnBnEnFnDnvOGoHNtnuOFoCNqnrOEnsODo@NnoBNpoANonkNznmN|nlN{nhNynjNxniNwn}NengO?n~NfmuNcmwNdmvNbn_Mxn`MznaMyoWPGoVPFoUPEp?O|pAO~p@O}pBOypCO{pDOzojPNolPPokPOoiPLpMOgpKOhovOfoxOdowOeoaOpocOrobOqo_Ouo`Oso^OtomO[ooO]onO\oXPHpJOZoYPIpr?`_^___`_^__iIiKiJiLiMiNlZlYlXl]l[l\qAP{qCP}qBP|pyQ?pzQ@pxP~p{PupwP}pvP|pxPrpzPtpyPspqPrpoPsppPtpqPupvPopwPppWP~pYQ@pXQ?qBPTpVQCpUQApQPipkPSpRPjpnPgplPhpmPfpcP]pdP_peP^p`PZpaP[pbP\qq?T_R_S_R_T_Skxkykwkzk|k{jZj\j[j_j^j]o@oBoAn}o?n~nzn|n{nwnynxn_nan`ndncnbrTR@rRRBrSRArQQ}rPR?rOQ~qzRFq|RHq{RGrCQzrEQ|rDQ{rLQwrNQyqxRMqyRKrJQwqxRIr@QvquRBqtRAqrR?q}QsqqQ~qnQqqpQsqoQrqnQuqpQvqoQtqDQhqFQjqEQirOQerQQgrPQfqbRRqdRTqcRSrHQarFQ`rGQ_q\RLrNQ^q]RMrCQYrEQ[rDQZrIQVqWRKqXRJqTqSqUqQqPqRqOQkqmQMqNQlqhQJqLQjqiQKqmQIqHQlqGQkscMZm\m[m]m_m^ovowoxosouotoqoporomooonsfSlshSnsgSmsfSishSksgSjsrScstSessSdscSosqSdseSpsrS?stSAssS@r}Snr~Slr|SmrySpsqR{rzSosiRvskRxsjRwrprrrqrormrnsaRksbRls`Rjs]Rhs_RirgS^s\RfreSZrdS[raSZs\Rcs[Rbr^SWr`SYr_SXr[SWr]SYr\SXrZSbrYS`saRXs_RWs^RUs]RVsKSNsPSMsLSOsQSIsSSJsRSHsESTsGSVsFSUruSDrsSCrtSBt}Tntptotktmtls~Tzt@T{t?T|tzS{s}T|s|T{twSxtySztxSysuTwswTysvTxtuTat_TvttT`tAT\t^TCt]TBtYTqtsT[tZTrtRTStUTPtTTQtVTMtXTOtWTNtJTetLTgtKTftiTItGTjthTHtcTEtdTFtbTDqhqjqiqkqmqluOUguQUiuPUhu[u]u\uZuXuYujUWuUUkuVUlujU@ulUBukUAugT}u?Uit~UhuLUduNUfuMUeuIU^u`UKu_UJuFURuTUHuGUSuaUCucUEubUDsXsYsWsZs\s[s]s^s_sbs`savKUmvMUovLUnvRVHvSVIvQVJvNVEvPVGvOVFvBVTvVVDvCVUvLV?vKVAv@VMu|u~u}u{uyuzuvVNuxVPuwVOvVUtuuVUusVTupVQvRUruqVStwtytxtzt|t{vrvtvsvqvpvovcVuvwVevdVvvuV`vwVbvaVvvxV]vzV_vyV^vxVZvzV\vyV[vlVjvnVivmVkvWVfvYVhvXVgv{WKv}WJv|WLwMWGwOWIwNWHwQWAwCWPwBWRwDV~wFW@wEW?wYW\w[W^wZW]wXWSwUWWwTWVpopqppsKsMsLsHsIsJuAuBu@t}u?t~vivkvjvhvgvfwyWqwsWxwrWwwnWtwpWvwoWuwsWkwrWmwqWlwnWjwpWhwoWiweWkwgWmwfWlweWhwgWiwfWjw_WwwyWaw`WxwtWbwdWvwcWuxX?F_G_HqnqoqptPtQtRtMtOtNusutuuupuruqv{v}v|v~w@w?xgXjxiXlxhXkxfXoxmXdxeXnxgXaxiXcxhXbxeX`xfX^x_Xdx[Xax]Xbx\Xcx]X`x[X_x\X^w{XRwzXTw|XSxOXjxQXlxPXkxLXmxMXnxNXoxZXKxIXXxJXYxFXXxZXHxGXYxUXCxEXWxDXVxRX@xTXBxSXAw}XUx?XWw~XVy`?C_E_Dy`Y@yAYby?Yax|Y`x~Ybx}Yay]Xzx{Y_y^XyxvYZy\XwxxY[y]Xsy_Xty^XuxpYZxrY[y\XqyTYNyVYPyUYOyQYKySYLyRYMyJYByHYDyIYCyWYEyGYYyFYX_F_G_H_H_F_GzJZCZGzIZBzHZAzDZGzIZFzHZEyxZDyzZFyyZEyuZAywZCyvZByrY~ytZ@ysZ?yoY{y}YqypY|yjYcykYeyiYdylYfyhYnygYm_C_D_E_C_E_DzkXRxTxSxUxWxVzjZbziZdzcZhzjZezgZhziZfzVZnzXZpzWZoz_ZezaZgz`ZfzbZ\zdZ]z^ZczkZYzmZ[zlZZzUZmzTZlzSZkznZPzpZRzoZQzKzJzLzMzOzNyZy\y[y_y^y]zw[Ozy[Pzx[Q{A[R{@[T{B[S{RZ}{?[T{SZ~{OZz{QZ|{PZ{zrzqzsztzuzv{L[F{N[H{M[G{C[I{K[E{J[D{U[g{W[i{V[h{d[^{f[_{`[e{b[[{a[]{c[\{X[j{l[Z{k[Y{v[s{x[u{w[t{m[p{o[r{n[qzGzHzI{L{N{M{I{K{J|G\?|A\E|F\@|B\?|A\C|D\@{y\E{z\F{{\G|B[||D[~|C[}|WZizjzh{d{f{e{c{b{a|Y\]|W\_|X\^|W\[|Y\\|X\Z|T\J|I\U|H\V|Z\Q|[\R|\\S|N\^|P\_|O\]|K\V|M\T|L\U|u\e\r|d\t|c\s|t\`|b\r|s\a|g\l|n\f|m\h|o\i|q\k|p\j|~\u}@\w}?\v|y\{|z\}|x\||V|U|T}G]A}I]B}C]H}D]H}F]I}E]G|r|t|s_@]P]J_B]R]K_A]Q]L}P?A]M}O?@]R}N]Q?B