CAT(1838,1)

Sparse6:

:~?[m_?_?_?_m?j_k_l_f?g_d?h_e?i_j?g_l?i_k?h_a?e_c?f_b?d_|?l_j_k_y?}_{?~_z?|_|?r_q?~_p?}_v_x_w_s_u_t_m?y_n?{_o?z_m_o_n`N`P`O`K`M`L`N@H`P@I`O@J`?`A`@`D@G`B@E`C@F`Y`W`X`Z@]`\@_`[@^`Q@T`S@U`V@R`Q`S`R`i`k`j`e`c`d`f`h`g`a@i`b@k`j@`_a_c_b`E`G`F`x`z`y`x@{`z@}`y@|`o@{`q@}`p@|`u`w`v`l@r`n@t`m@saP@l`n`maPaRaQaM@~aOA@aNA?aJaLaKaPAGaRAIaQAHaDaEaFaMAAaCAOaBANahAWaVaXa^a]a\a_AbadA`acAaaYASa[AUaZATawATaSaUaxawayaiAtajAvahAuaqasaranapaoayAkamAxalAwafAtaeAuagAvaMaOaNa}BLa~BNb?BMbIbKbJbFbHbGbLBCbEBNbDBMazB@a|BBa{BAa|aza{b_b`b^b[b]b\bXbZbYb^BUb`BVb_BWbOBRbQBTbPBSblbjbkbgBmbiBobhBnbaBdbfBcbeBbbabcbbbyb{bzbsbubtbvbxbwbqBzb{BrbpByaeagafbRbTbScJcHcIcJCKcICMcHCLc?CKcACMc@CLcEcGcFb|CBb~CDb}CCb~b|b}cgCbCfc`CfcaCfccCdccCecdCec^Ccc_Cec]Cdc`CNcbCPcaCOcZc\c[c]CWc^CXc_CYcVcTcUcQC`cSCacRCbc~C{czC|c}CycsCmcuCoctCncgCpcrChciCqcjCvclCxckCwd?DEdADGd@DFdHDBdJDDdIDCavatau_f_e_d_g_i_h_a_c_b`J`H`I```b`aa@a?`~aHaGaIahajaiakamalafagaebVbWbUbqbrbpcNcPcOcWcXcYduD{dwD|dvD}dwDsdtDudvDrdxDodzDqdyDpdtDldnDrdmDsdnDhdlDfdmDgdiDcdkDedjDdd`DfdbDgdaDhd`D]d^Dbd_DadZDeddD\dcD[d^DWd_DYdXD]dTD[dVD\dUDZdTDWdVDYdUDXdSDqdoDRdpDQdkDRdSDidjDQdKDxdMDzdLDydND{dPD}dOD|_U_W_Vew?X_Z_Ye}?]_[_\fC?`_^___y_{_z`T`V`U`Z`\`[`p`q`o`r`t`sa_aaa`aYa[aZbCbDbEb@bBbAbdbfbebgbibhc?cAc@cBcDcCczc{cycscuctfpFjfrFlfqFkfmFgfoFifnFhfdFgffFifeFhfjFafcFlfbFkf^FafcF`fbF_fdF[feF]ffF\fXF^fZF`fYF_f[FUfWF]f\FVfXFRfZFTfYFSfWFPfQFUfOFVfLFOfNFQfMFPfRFIfSFKfTFJfLFFfNFHfMFGfFFIfHFKfGFJfCfEfDfCfDfEd~F@e?FAe@FBekFpemFrelFqfnEhfoEjfmEieeF?efE~egE}ebE{edE|ecEze`EyeaExewE_evE^e]Ete\EuexE[eyEZewEYevEVeWEteXEueqESeUEserETePEqeREseQEreNF?eOE}eME~eJEoeKEpeLEnepEGenEIeoEHezEDe|EFe{EEfAEAfBECeBF@hY?I_K_J_M_N_Lhe?O_Q_Phk?T_R_ShmhlhkhlhkhmhhFshjFuhiFthTG^hUG_hSG]hSG`hTGbhUGagZHehgG\hfG[gWHegYHghfGXgTHbgVHdgUHch_GSgRHagQH`gNH_gOHagPH`hbGKgLHdhcGMh\GHh^GJh]GIgEHYh[GGgFHZh\GBgCH]gDH^g?HYh[GAg@HZhhF|hjF~hiF}fyHVf{HXfzHWfxHXhVFvhWFwhQHLhRHJhPHKhIHChHHAhGHBg{HDhFG}hEG|g~GxgzH@h?GygrGvgtGwgsGugpGngqGlgoGmgiHMgkHOgjHNgfGcgeGhgdGgj??U_W_V_U_V_W_[_\_]_\_]_[jQ?Z_X_Y_Z_Y_XhThShUjWJQjYJSjXJRjVJXjUJYjTJWjAJLj?JKj@JMjKJBjMJDjLJCjOJGjEJPjNJFjNJHjJJPjIJOhxhyhwhzh|h{itJHjJIuisJIjTIrjVIqjUIpinJRioJSimJQilJGijJFikJEjBIgiiJDihJCjAIej?Ifj@Idi|Hpi~HnhoI}hqI}i~HshrI|ivIaixIciwIbiXI[i]IZiYI\i^IUi`IWi_IViRILiSINiTIMiKIPiIIQiJIOiHI@iGIBiAIFh}ICi?IEh~IDhtIyhvI{huIz_I_K_J_I_J_K_M_L_N_L_M_Nkt?O_Q_P_O_Q_Pi|i~i}ereseqeteveueze|e{f@fAfBkzKtk|Kvk{KukwKzkyK|kxK{kbKpknKdkcKokeKpkoKgknKfkhKskrKjkqKikqKkkmKrklKslFK_kaLHlGK`kwK\kyK^kxK]kYKtk[KvkZKukVKkkWKmklKXkeKSkgKUkfKTkPKhkRKjkQKikbKMkdKOkcKNlCKJkLLEkKLDkDkFkEkIkGkHkALFkCLHkBLGk}J~k@L?k~K?j|LAlBJ}j{L@jyK~jzL?jxK}lBJvjwL@juLAlCJrlDJtlEJsj`jbjajcjejdjgjhjfjijkjjjoJ\jZJqjpJ[jmJ]j_JnjlJ^hVhXhWh_hah`hbhdhchhhjhimfL[mhL]mgL\lpM^lrM_lqM]mfLmloMhlnMgm]Ljm_Llm^LklgMcmeLilhMdlfMaldMbleM`mbLalcMam`Lbl^McmeL`l_MdlOlQlPlRlTlSlWlUlVlYlZlXmHMTmIMUmJMVm[MGmFM\mZMEmBMYmDMWmXMCmRM?mSMAmQM@mPL~l|MNmOL}lyMKl{MMlzMLlILvlKLxlJLwlsLLlNLulMLtn\Min^Mkn]MjnSNYnUN[nTNZnVNPnRNXnQNWm~Nbn@Ndn?Ncm{N_m}Nam|N`nLMynJMznKMxmuNDnFMwmvNEnIMtmrNHnGMsnAMomqNCmpNBmlNMmnNOmmNNoF?`_^___`___^g]g^g_g`gbgajmjnjljojqjpoUOOoWOQoVOPoLORoTONoSOMoJOPoKOQoIOOoLOFoHOMoNOGoCOGoHODoEOFoJODoKOCoIOEnlORoTNmoSNkoUNjnhOWniOVn}NengO?n~Nfo@NzoBN|oAN{ntNqnsNvnrNunwNnnyNpnxNopE?R_S_T_R_T_SjKjMjLjNjPjOhnhphohshrhqmTmUmVmQmSmRmNmPmOmKmMmLlslultlvlxlwpVPhpUPfpgPTpePSpdPQpcPRpOPZpNP\pPP[pWPNpXPPpYPOp`PMpKPapLPbpKP]pMP_pLP^pUPIpVPHpJPTpGPRpEPSpFPQpDPGpBPFpCPEpJPBpCPHpDPIoXO}oZO~oYO|pcOypeO{pdOzovPfowPgoxPhpWOsouPYotPXp`OppbOrpaOqomP]ooP_onP^ojPZolP\okP[oiohogofoeodp?OapAObp@Oco^O~o`O}o_O|p?O[pAO]p@O\qwKpkoknkqkskrnLnKnJnHnInGnDnFnEnAnBnCqzRBq|RAq{R@qzQ}q|R?q{Q~rFQwqyRHqxRGrCQwqyREqxRDrFQSrHQTrGQUqPRAqRRBqQR@qOR?qMQ}qNQ~rCQJqLRErDQKqDqEqFqCqBqAqtQ?qvQ@p~QuqsP}qqP|p{QrqnPyqpPzpxQoqnPupwQppvQoprQkqmPsptQlpoQlqmPqppQkpnQupmQvplQtqqPipkQsqrPjqbQ_qdQaqcQ`qgQ]qeQ^qfQ\qYQhq[QjqZQiqGQVqXQIqWQHsQSCsDsBs?sAs@rRSNsPRTrSSOrOSNsPRQrPSOsKRLrNSMsLRMrJSLrKSMrISKsERvsGRxsFRwrpRUrrRWrqRVroSHsJRmsIRnrdRgrfRireRhrjRarlRcrkRbr^Ryr{R`rzR_r\R~r}R]r[R|rsRXrZRurYRto|o}o~p?pAp@t?Sdt@Ses~Scsosqspslsnsms}SjskS{s|Sis~STt@SVt?SUsSS{sQS}s|SRs`SxsbSzsaSys]Sus_Sws^SvsfSZs\Shs[SgsrSWstSYssSXqkqmqlqnqpqoqsqrqqqvqtqut_TAtaTCt`TBtjT\t^Tit]ThtbTYtdT[tcTZtVTftXTetWTgtST_tUTatTT`tQtRtPtMtOtNtJTbtLTdtKTctITjtGTithTHtDTetfTFtETgsMsKsLsNsPsOuFuGuHuCuEuDuKTwuJTyuITxttUJuKTvuITuuLTqtsUNuMTruLTnuNTpuMTot~Tku?TmtlT}u@TzuBT|uAT{udU[ufU]ueU\uOUZuYUQuXUPuUUauWUcuVUbuRU^uTU`u_USupUgurUiuqUhujUnulUoukUmoCoEoDqaq_q`q^q]q\sTsVsUsQsSsRt}u?t~tzt|t{vKVEvMVGvLVFvBVHvDVJvCVIvEV?vAVGv@VFvBU}vCU|vDU~v@UyvAUzu{V?uyU|u{U~uzU}vKUsuuVMvLUtuvVHuxVJuwVIvl?F_H_GpBpCpDrdrfrerarcrbtGtItHtDtFtEuOuQuPuRuTuSv{V~v}W?v|W@vyWAwCVzwBVxv{VuvwV}v|VvvxVrvzVtvyVsvoVuvwVpvqVvvpVrvoVtvqVsvNVfvPVhvOVgvcV~veW@vdW?v`WAvbWCvaWBvmV_vnV]vlV^vlV\vnVZvmV[vWVivXVkvYVjvfVTvVVhvgVUvQVivSVkvRVjwt?C_E_DwtWTwUWvwSWuwPWtwRWvwQWuwOWqwMWswNWrwnWJwpWLwoWKwqWGwsWIwrWHwnWDwoWEwpWFwhWbwdWjwcWiweW_wgWawfW`w\WVwXW^w]WWwYWkw[WmwZWl_F_H_G_H_F_Gx^X[XVx]XWx\XUx[XXxZX]x\XYxLXXxZXNxMXYxIXUxKXWxJXVxFXRxHXTxGXSxOXCxEXQxDXPx?Www}WxwyW~wzX@w|XBw{XA_C_D_E_C_E_Dy?Vfvhvgvivkvjx~Xvx}Xxx|Xwx~Xyx{X|x}XzxjYBxlYDxkYCxsXyx{XuxtXzxpXvxrXxxqXwy?XmyAXoy@XnxhY@xiYAxgY?yBXdxfYDxeYCx_x^x`xaxcxbwnwpwowrwswqyKYcyMYdyLYeyVYfyhYTygYUyQYfyhYSygYRycYNyeYPydYOyFyEyGyHyIyJy`YZy\YbyaY[y]YWy_YYy^YXyiY{y}YkyjY|yrYxysYzytYyyvYoyuYqywYpy~Ylz@Ynz?YmzJZGzIZLzHZKzAZDzCZFzBZEx[x\x]y`ybyay]y_y^zSZ[zUZYzTZZzSZVzUZWzTZXzMZYzNZZzOZ[zVZPzXZRzWZQzkX}x~x|yxyzyyywyvyuzmZqzkZszlZrzkZozmZpzlZnz^ZhziZ]zjZ\znZezoZfzpZgzbZrzdZszcZqz_ZjzaZhziZ`{IZy[Fzx[Hzw[Gzt[Hzv[Fzu[G{@Z{{BZz{AZ|{CZ}{?[E{DZ~{R[I{K[T{J[S{M[O{N[Q{L[Pzjzizh{U[[{V[]{W[\{X[\{Z[]{Y[[{F{H{G_@[d[^_B[f[_{`?A[e{a?A[d_@[c[f{b?B[e