CAT(1944,7)

Sparse6:

:~?]W_?_?_?_d?c_b_a_j?d_d_f_e_e_f_l_o_m_n_j_k_n?g_m?g_l?h_o?h_k?i_j?i`??a_a_b_b_c_c`C?|`D?|_}@?`B?~`A?~`@?}_p@?`@?q`B?s`A?r_u@D`C?t_x_v_w_y_{_z`]?p_s_t_r_q_u`W@]`b@Z`\@_`Y@``a@X`[@^`K@W`L@X`N@Y`O@Z`P@\`M@[`Q@]`R@^`S@``a@T`V@b`_@U`E`G`J`F`I`H`o`p`q`s`t`r`c`f`h`d`e`g`l@x`w@j`y@k`n@z`m@u`i@vaLaGaHaIaJaK`{AAaC@|aB@}aD@~aFA@aEA?a_@W`Z`X`Y`[`\aFaBaAaCaDaEagA_aeAaafAbacAhadAjaiA`aYa\aZa[a^a]aZAfa^Aja[Aga\AhaYAea]AiaMA_aNA`aOAaaPAbadARacAQaSaTaUaVaXaWa}b?a~b@bBbAayBCa{BHbEAwbFA|bDAzbGAxaqAlasAmatAkanArapAvaoAubPbObRbTbQbSbIBWbZBNbKBYbJBUbMBXbVBLaYa^a[a]aZa\blbgbhbkbibjb[BgbhB^b\Bib]Bjb_Bkb`Blbdbbbebfbabcauasaqaratavbxbsbtbubvbwc?BzcAByb{CBb|C@b~CDb}CCcABnc?BobpC@cBBmbrCDbqCCc]Bmbnbobrbqbpc]CXc^CYc_CWc\C`cbC[caCZc]CEcFC^cGC_cHCacJCbcIC`cRCWcSC[cQCYcTCXcVCZc\CUcMcKcNcLcPcOcickcjcncmclcccdcfcechcgcvCocrCucwCpcxCqctCzcsCydHdGdJdIdLdKdAC{d?DFc}DBc~DCd@DEdDC|d_CWcXcYcZc\c[dDdAdBdCdFdEdmD_Ded`DfdaDgdcDhdiDddjDbdlDYdkD[dlDZdlD]dkD\d^DkdfD\diD]dYDgdZDhd^DjdeD[d_DNdaDOd`DMdbDQdcDRddDPdSdWdTdUdXdVd[d\dYd]dZd^eKDwdvEMeODsdtEPeLDxduENe?eAe@eBeDeCeKDmeLDneMDoeNDqePDreODpdyEEdzEGd{EHeJD|d~EIeFD}ecEQeUEhedEReeESeVEfegETeWE]eXE^eYE_ebE\e`E[eaEZeoEiepEjekEqelEremEsenEt_g_i_h`Q`R`S`V`T`U`{`|`}`~a@a?bCbHbDbGbEbFb[b^b\b]b`b_cFcIcGcHcJcEc{d@d?c}c~c|eEeFeGeHeJeIfbF\fcF]fdF^feF_fgFaffF`f[F\fXFaf_FVfWF`fYF]fZF^fYFRfZFUfPFVfXFQf[FTfWFSfRFJfNFUfOFSfPFKfLFTfMFQfDFJfNFFfLFEfOFGfMFIfHFKfDE~fEF?fFF@fAFGfCFIfBFHe}E~fBE}e{F?e{F@fCE|fAE|fbEuevFcewFdexFeezFgeyFfgd?U_V_Z_W_X_Y_[_]_\_^_`___|_}_~`u`v`w`x`z`yaMaRaOaNaPaQbIbJbNbKbMbLb{bybzb|b~b}cucxcvcwczcydMdNdOdPdRdQeXeWeYe[e\eZhQHWhRHXhSHYhTHZh\HVh[HUhQHKhRHMhSHLhTHNhPHVhUHOhEHKhGHMhHHNhFHLhPHJhIHOhGHAh?HJhHHDhFH@hIHBhEHCh?Gyg|HBg{H@g}HDg~HCgzHAgzGsgtGyg{Gug|Gvg}Gxg~GwgpGvgpGsgqGtgqGugrGxgrGwgmgmgngogogng^Fhg_Fig`FjfkGbflGcfmGagRHXgSHWgTHYh[GUgWHZh\GVgjGLgjGMgNGlgOGlgQGkgPGkgFGXgZGKgYGHg[GGg]GIg\GJg@GXgYGAg[GBgCG]gZGEgDG\gdFzgeF{gfF|ggF}giG?ghF~gdFtgeFufxGhgiFwfyGfggFvfrG_fsG`fnG^foGcfpGbfqGajC?I_J_K_L_N_MjO?Q_O_PjU?S_T_RjUjVjWjVjWjUh]I}i~H^j?H_j@H`jAHajBHbiGJRjTILiHJRjTIIiKJSiJJSiAJOiBJOiCJPjQIFjQIEjPIDh~JLjMH{h}JNh|JIjJI@jKI?jMHzjIHujLHvjNHwjKHxjJHyhtJCjDHojGHphsJHhrJEhqJFhiJChjJDhlJEhkJFhnJHhmJGhcI}i~Hdj?HehfJ@hhJBhgJAiwIqixIrisIyitIzivI{iuI|ikIeilIfiiInijIoipIgihImi_IYi`IZiaI\ibI[i^Idi]IciTINiSIMiUIOiVIPiXIQiRIWkoJRjTjS_U_V_X_W_Z_Y_U_W_Y_Z_X_V_[_[_\_]_]_\koK~kpL@koL?lCKplBKqkqLAkrKiktKkkmKvklKwknKskjKukxKikyKjk|KkklKzknK}kmK{kZK~k[L?k\L@lCK]lBK_k^LAkxKTk}KUkVKykWKzkYK{kXK|kNKrkOKskPKtkSKvkwKQkRKujdjejfjgjijhjXKfjZKgjYKhj[KhkfJ]kgJ\j^K`j_Kaj`KbjaKekcJcjbKdkBKHkCKIkDKJkKKEkMKGkLKFj{J|jvJ}jwJ~jxK?k@JykAJzjlJsjmJtjkJqjoJrjuJnjjJp_I_J_K_L_M_N_I_J_N_K_L_Mm^Khkfkg_O_P_P_Q_O_QgXgZgYg[g]g\g_g`g^gagbgcm`Mdm^Mbm^Mcm_MamfM`meM_mLMXmZMMmPM[mNMYmOM]mQM\mRMXmUMYmZMSm[MWm]MVm\MTmgLVmhLWlXMilYMjl[MllZMkmFMamGMbmeMImHMdmfMKmJMcmRM@mSMAmTMBmEMVmWMCmDMUlzMLl{MMl|MNmOL}mPM?mQL~ltMmluMolvMnmpLwlyMrmqLxlnlplolqlslrmmLblcMnldMompLemqLgmrLfmgL\miL]mhL^mjLal_MlmkL`lJlNlKlLlOlMlPlTlQlRlSlUlDLhlFLjlELilGLklILmlHLli}i~j?j@jAjBjJjMjIjKjNjLn]OGoIN_oHN^oJN`oLNboKNanWOGoHNXoINYoJNZn\OKoLN[nQOMnVOQnRONnSOOnUORnTOPoNNNnKOOoMNLnOORoPNPnMOQmymzm}m~m{m|n?n@nAnDnCnBoANEnFOBnGOCnHODnJOFnIOEnoN{n}NqnpN|nrN~ntO@nsO?niNunjNvnkNwnlNxnmNynnNzncMxmsNenhMvmuNfngMwmtNdoSPCoTPDoUPEoVPFoXPHoWPGowO}oxO~p?Oyp@OzpBO|pAO{pNOgojPIpJOepKOfoiPLpMOho_Oqo`OroaOsotObouOdovOcokOYopO[olOZomO\onO]o^Oopp?^_^_`_`____iGiLiHiIiKiJlhljlilklmllpvP|pwP~pxP}pyQ?qAP{pzQ@pvPppxPqpyPrpzPup{PtpwPspmPppmPqpnPspoPupoPtpnPrpUP|pVP}pWP~pXQ?qAPZpYQ@pOPgpPPhpQPipRPjplPTpkPSpaP[pbP\pcP]pdP^p`PfpeP_qoKiknkkkjkmkl_S_T_R_T_S_RjXjYjZj\j]j[n{n}n|n~o@o?nunvnwnxnynzndncnenhngnfrNQ{q|RMrOQ}rQQ~rRR@rPR?q{Quq|Qvq}QwqxR@qzQ~qyR?qoRGqpRHqqRIqtRLqrRKqsRJqoRArCQprDQqqrRBrFQtrEQsqvQlqxQlqnQwqmQuqnQzqmQyqBQfqDQhqCQgqEQiqFQkqGQjq`RMrNQaqbROqcRPqdRQqeRRqZRGq[RHq\RIq]RJq_RLq^RKqTRAqURBrCQVqWRDqYRFqXREqSqQqPqOqRqNqfQHqhQIqiQJqjQKqLQkqMQgsaMXmYmZm[m]m\oqorosotovouokopolonomoosaSmsbSnsrSdscSosfSpsqSesgSashSbsiScskSdslSesfSjr}Smr~Sns?SosqS@srSBsASpsgRwshRxsiRyrzSjr|Slr{Skrmrkrprlrnros[RerhS_s\Rfs^Ris`Rjs]Rgs[R_s\R`s]Ras^RbrdS`s_RcrYSVrZSWr[SUr\SYr^SZr]SXrTSWrSSVsURUrXSZrWSYrVSXsNSOsTSKsPSLsQSIsSSMsRSJrqSCrrSDsERssFRtsHRusGRvt{TitmtjtktntltxSytuSzs|TvtwS{s~Tys}TzssTxtuSttvSutwSvsxTzswTyt?TWt@TXtCT\tATYtDTZtBT[toTQtRTptSTqtVTrttTTtsTUt]TOt_TKt^TLt`TNtbTPtaTMtcTEtdTFtGTetHTfthTJtITgqfqhqgqkqjqiu[u\uYuZu^u]ueUSuTUfuUUgujUVuXUhuWUiueT{ugT}ujU@t~Uft|Uhu?UiuMUGuNUHuJUPuIUOuKURuLUQu_UAuaUDu`UBubUEudUFucUCsWsVsUsYsZsXs[s_s\s]s`s^umVJvKUnvMUovNUpukVIvLUlvCVIvKVDvEVJvNVHvMVFvLVGvOU}vQU~vRV?v@VPvBVTvAVSuwuzu{uxu|uyvOUqvPUrvQUsvRUtuvVTuuVStxtwtutvtytzvYvUvVvXvZvWvaVsvdVvvbVuvcVtvxVfvwVev[Vsv\Vtv]Vuv^VvvxV`vwV_vmVgvnVhvoVjvlVpvrVivqVkvyWEv|WHvzWGv{WFv~WJv}WIw?WKw@WLwBWNwMWAwDWPwCWOwQWWwXWRw\WVwYWTwZWSw[WUpnpopmsNsMsIsKsJsLt{t|t}u@t~u?vgvhvivjvlvkwrWlwtWmwqWwwnWuwpWswoWvwfWlwnWiwpWkwgWmwqWjwoWhwcWhwdWgweWkweWfwcWiwdWjwrW]wsW^wtW_wwWbw`WvwuWaxVQnqlqm_F_H_GtLtNtKtOtPtMukulumunuoupvyv|v}vzv~v{xkXdxhXbxjXcxeXmxgXixfXlx\Xbx]XcxfXaxgX`xeX^x_Xdx^XVxaXXx_XXx`XVx\XWx]XWxPWxw{XQw|XRwyXSw}XUwzXTxhXJxiXKxjXLxmXNxOXkxlXMx[XGxHXYx[XFxZXIxDXYxZXExPW~xQX?xRX@xSXAxTXBxUXCy^?C_E_Dy^Y?y^X~x{Y`x}Y_x|Y`y_XzyYXyxtYZxuYXxvY[y]Xxy\XwyZXoyYXny\XrxpYXxsY[xqY]yRYLySYMyWYPyTYNyQYUyVYOyFY@yJYAyGYByHYCyKYEyIYDzB?G_F_F_G_H_Hz?ZFz@ZBzAZCzAZDz@ZEz?ZGysZBytZCyuZDyvZEyxZGywZFymYyynYzyoY{ypY|yrY~y}YqyhYbyjYcylYdykYfygYeyiYazcXPxQxUxRxSxT_C_C_D_E_E_DziZ`zjZ`zaZnzbZmzlZbzkZazTZczWZgzUZdzVZfzXZezYZhziZ_zjZZz^ZkznZ[zmZ\zlZ]zcZNzSZgzdZOzeZPzRZhzfZQzHzIzJzKzMzLyZyXyYy[y]y\zu[Mzv[Nzw[Ozy[Qzx[Rzz[P{NZ{{MZ|{OZ}{@[Q{?[R{PZ~zpzozrztzszq{A[H{B[G{C[I{J[D{L[F{K[E{e[S{f[T{U[g{V[h{X[j{W[i{Z[_{`[Y{b[[{c[\{d[^{a[]{k[q{l[r{m[s{n[t{v[p{o[uz?zAz@{H{G{K{I{L{J|A[}|B[}|D\?|?\@|E[~|C[~{w\@|A[x|D[{|B[|{z\E|C[y|UZ`zbza{_{`{a{c{d{b|X\U|Y\U|Z\V|W\]|W\\|[\V|S\I|R\K|R\J|F\T|G\T|H\S|L\X|M\Y|N\Z|O\\|Q\]|P\[|s\p\^|p\_|q\`|c\q|b\r|r\a|d\j|g\k|i\l|m\h|o\f|n\e|y\s|z\t|{\u||\w|}\v|x\~|S|T|R}E]?}F]@}D]G}C]G}E]A}F]B|p|r|q}N?@]H}N?A]I}O?A]M}P?B]K_@]P]L}O?B]J