CAT(2000,5)

Sparse6:

:~?^O_?_?_?_G?D_D_E_F_F_E_S?P_R_Q_g?a_b_d_e_f_c_s?k_h_i_l_g_j_|?`_^___y_{_y_z_{_z_q?|_|?r_o?~_m?}_p?~_n?}_s_t_w_u_x_v`W?\_\_\_]_]_]_y_{_z`f@^`_`]`]`_`^`S`Q`Q`S`R`R`U`U`V`T`T`V`W`Y`X`W`Y`X`\`\`Z`Z`[`[`H`G`I`J`E`F`K`L`M`P`O`N`D`B`@`A`C`?b@?W_V_X_V_X_W_V_W_X_Y_Z_[_Y_[_Z_Y_[_Z_S_S_U_U_T_T_g_h_j_i_l_kbjAzB_a{B`azB^a|Bca{Baa|Bbb?BdbeA}bfB?bgA}biA~bhA~apBcanB^arB_aoBaasB`aqBbavBdbhAubeAwayBibfAtbgAxbRBdbeBSbfBTbgBVbiBWbhBUaXAZaYAWa\AVa[AVa]AWaXA^aZA_a^Aba[A`aYAaadA]acA\agA_aeAaajA`ahAbadAfacAiakAvauAmatAmalAxayAlakAwbOAebOAfbPAgbQAjbQAibPAhanBIaoBKapBJasBLarBNaqBM`sBX`uBYbZ@vb[@rb]@t`wB\`lBR`pBU`mBS`nBV`oBT`qBWb^ARaPB_aSBcb`AUaTBbaQBaaJBMbLAKaMBIaNBJaLBNaOBKaIBCbDADbEAHbFAGaEBHbGAFaB`~a@aCaAa?`|BXb[@z`xBYbZ@yb]@}b\@{`fBCbD@gbE@kbF@jbH@ibG@h`cBB`aB@`bB@bA@``eBA`dBBdw?N_M_M_O_O_Nanaoasaraqap_a_b_e_c_f_daJaKaLaMaOaNaHaFaDaEaGaI`{`x`z`|`}`y`~a?aAa@aCaB`b```a`c`e`demEhegejekeleiecefedebeeeaeUEgeVEheWEieYEjelEZekEXeVE[eWE]eXE^eZE\e`EYeUE_d~eBd}eAe?e@egD}e?EhelEBeiD~ekE@eAEjd{d|dwdxdydzebDsdvEeecDqedDrdtEfduEadtE^e[Dqe\Dre`DsdvE]duE_dkETdlEOdmEQdnERdpESdoEPeCD{eDD|dxEGdyEEdwEHdzEFdiDkdjDmdjDpdoDhdiDldnDhcIDecHDgcMDfcJDddbCKdcCLd`EId^EJeKD\eLD]daENd_EMdVdWdXdYd[dZdRdPdQdSdUdTdJEIeJDKeKDLeLDMeNDOeMDNd@Dcc~DgdADbdBDddCDfd?DecrECcsEDctEEcwEHcvEFcuEGcgcfchcjcickcNcPcOcQcScRcdERc`EOcaEPcbESceETccEQbjbkblbmbobnbsbubrbqbpbtcUCZcTC[c\CVc]CYc_CWc^CXcxCBcyCDczCEcFC{c}CGcCC|cnBxbzCqclBvcmBwbyCpb{CodICAb|DDb}DEb~DFdHC?c@DGdrdtdqdsdvdudOdLdKdMdJdNhmHfHhhgHehiHahjHbhlHchkHdh[h^h]h\h`h_h[Hih\Hgh_Hjh`Hlh]HkhhH^hUhZhVhYhXhWhUhYhZhXhWhVhPhOhShQhThRhkGlgoHlhgGkhhGmgpHihjGnf~Hdf}HahbG@f{HchfF|g?HefrHdhfFsfoHbfqHchaFtfpHefWfYf\f[fZfXeyeze|e~e}e{gvHBgqG}grG~gsH?gtHAguH@gYHIgZHJg^HNg[HKg]HLg\HMgbGBgDG_gdGAgEGcgFGagCG`fnGJgHFkgIFlgGFifjGLfmGKfcHHfeHDfdHChEFfhFFhhGFgf]Fuf^Fvf_FwfbFyfzFafxF`eoFSemFVenFRfQEqerFTepFUfLGegfFKfNGjfMGgfOGhfPGifIGxg{FJfGGyfHGwgzFFg|FEgSF?gTF@fAGUfBGVfDGXfCGWesGMexGQgNEtevGOgREuewGP_G_H_L_I_J_K_O_N_Mj}?P_Q_P_Q_R_RaVaXaWa`aaabacada_agaeaiajafahaza|a{a}b?a~ataxauawayav_p_n_m_q_o_r_r_p_m_o_n_q_s_w_t_x_u_v`n`o`m`l`q`p`r`t`v`u`w`saPaTaQaRaUaS`h`j`g`i`k`f```a`c`b`e`dg{gwgxg|gzgygqgtgrgsgugvg_g`gagbgdgcgGgHgIgLgJgKgAgBgDgCgFgEfFfGfEfJfIfHeweteuevesexmHLnlolmlllqlplhlflklgljlilRLKlSLLlNLHlOLIlMLPlQLJmGLGmFLFlDMGmFLElBMGlCMFlGLvlBLslCLtlDLulFLrlELwl`KvkzLakyLbleK{kwLdlcKxmDKtmEKsmDKrmEKumEKpmDKqkoLSlNKklOKjklLPknLQkmLRklKskjKukpKkkmKqkoKtknKrlZKdl[Kel\Kfl]Kgl_Kil^Khl~KRm?KSm@KSmAKTkTMCkRMBkLLxl|KOlzKNlyKMl}KQl{KPlXKLkNLTkOLUkMLVlYKQkPLWkHLVlTKJlXKFkILWlYKGkKLUkKKfkFKhkdKGkgKJkHKikeKIlfJ}k@LgliK?kALkkBLjlhJ~j}KvkwJ~kyK?k@KxkBK{kAKzjzLHjzLJj{LKj|LIj|LLlMJ{jwK|jxK~jyLAjyK}jwL?jxL@k[JtjuK\kXJqkYJrjvK]kZJsitL}l|IplyIrioLxisLzl{IqjkK_jlK`kaJmkbJnjpK^kcJol~Jem?Jfm@JgmAJijhMBjjMCl{JdjcL}j_LxlyJ`jaL|lzJblrJZjYLsltJ[lvJ^j\LwluJ]l`JSjTLajULbjVLeldJWlcJXjJjLjGjHjIjKjAL~jBM?jFMCjCM@jEMAjDMBkXI{kZI|j?KYk[I}j@K]i~K\iuLlloIxivLmlnIwlqIzlpIyicK^idK`kaIgihKbieK_kcIfi]KUi^KUkVI_kWIbkWIakVI`iKK|iLK}iOL?iMK~iNL@iPLAlZIEl[IFiGL\iHL]iJL_iIL^kCHykCHzkDH{h~KEh}KEh|KDhmJrjqHphqJvhrJtjuHnhoJsiiJQilJRijJMikJNinJOimJPi?IQiRIAiSIBiTICi@IViUIDhtIYhsIWhxI[huIXhwI\hvIZ_D_F_Ej{j|jzdbdcdddedgdfdpdldkdmdodn`Q`S`R`V`T`U_^___`_`___^`K`N`O`L`P`M`?`@`A`B`D`CiiikilijiminiKiOiLiNiMiPi?i@iAiCiBiDiJiFiEiGiHiIhshthuhwhxhvrFQyqtquqvqxqwqcQqqpQgqdQrqbQnqeQsqoQfqGQ`qHQaq\QIqIQ_q]QHqGQ^qBQDqEQ@qAQFqDQ?qCQFqEP~pxPupvPypwPzp{PupwP}pvP|plR@pmRApqRBrCPnrEPorDPpp`R@paRBrCPcpbREpeRArDPdqjP^qmP]qhP_pZQip[Qkp\Qlp~PHq?PIpJQ@qAPKpLQCqBPMozovowoxo{oyqyOkojQtolQuomQwooQvqxOnqPOeqQOfqROgodQUoiQTqSOho^Qso_Qno`QoocQroaQqqpObqbO]qeOYqcOXqgO\qfOZqdO[qhORoSQioTQjoUQkqmOWoVQlq\ONq]OPoOQ^oMQ_oLQaoQQ`pxO@pyOApzOBp{OCp}OEp|ODqNNyqLNwntQJnuQOnvQKqMNxqzNkq|Nlq{NmnhQ}njR?niQ~ndnfngnbnencqXN`n\QVqWN]q[Nan^QZqYN_nTPsnUPrprNPnRPtnSPtnQPsqzMxq{Myq}Mzm{R?m}Q|m|Q~mrR@rEMumsRBrCMtmwRArDMvmiQVqWMfqZMjmhQ[qYMkqXMgmZQJm[QKm\QNm]QOqMM_qLM^qzMTq{MUq|MVq~MWq}MYr?MXmPQTmSQSqPMNmQQRmRQUmOQQpUOJoFPTpVOGoHPYoKPXoIPWnnOpnoOqnpOrnqOsnsOunrOtpNNVpONWpPNXpQNYpSN[pRNZmHNJmINKnLMKmJNMmMNOmLNNpfNDpgNEnFPhnGPipkNInHPjm~Nzn?N{n@N|n}NAo?NCn~NBpBMlpCMmpDMnpGMompPFmqPEm`O|meO~maO}p?MbpAMcp@Mdakamal_a_d_f_b_e_cemenerepeoeqgegggfghgjgimLmMmHmImKmJoeodofogoiohmPmOmSmQmNmRuXV?vDU[vCU]vBUZv@U\vAUYuLUsuMUtuvUNuwUOuuUPuxUQuIUpumUGuKUnuqUFuJUruoUHvCTwttVDv@TuvBTvtyV?vATxtstntqtrtotpukTmthUgtiUhtjUiulTlujTktVUgtWUhujTXtZUiulT[ukTYtJUytMU{tKUzu|TOtLU~tNU}s~UmtBUqt@Urt?UnupTCtAUoslsmsnsosqspubSXuaSTsUUducSYsVUfueSWuuSHsIUsuvSJuwSKuxSMsLUtu|SCsGUyuzSBsFU~u}SDsEU{u`SAr}U^r~U^u_S?u`R|u_S@uaRmubRjroUeucRkufRnudRlr`r^rcr_rarbtbSxtcSztdS{s|Tes}TgsyTftTSwtUSvssTPsuTQsrTStRStuAS`uBSauCSbuDSduESeu@ScsNT\sRT_taSOsPT]sST`sQT^rvTDtIRyrwTErxTFr{THrzTGsiRssfRpsgRqshRrskRusjRts\R]rXSZrYS[r[S]rZS_r\S^rRTzu?RWrST{rTT|rVT}t~RUrORfrdRLreRMrNRgrPRhrQRirHURrIUSuTRKuURJuWRGuVRFxdDhdjdiicidieigihifsys{s}s|szsxs?r}r|r~sAs@rFrKrGrHrIrJx|XKxIXyxMXzx{XJx}XNx~XLxvXAx@Xxw}Xtx?XwxsXBw~XuwqXawtXbwsXawuXcwrXcwvXbwYXyx}W^wZXzx{W[x~W\x|W]xqWVxpWWxrWTwSXmwXXowUXnxgWQwRXlwMXhwNXiwOXkwPXjxmWAwBXnwCXoxpWDxrWFxqWExsVuvyXtvzXxxuVvvxXvvwXwvcXgvdXhveXivfXkvhXlxjVgvaXev^XdxfV`v]XdxfV_xeVbvHXXvEXUvFXVvGXWxZVJvIXYxOW_xPW`xQWawdXSxTWbwcXRx\WJx_WLx^WKx[WHx]WIwGX`xGVqvoXCxDVpxEVrxHVtxFVsviWwvjWxwyVkvlWzvnW|vmW{vYWivWWewgV[v\WjvZWhvXWfv{VQv|VRv~VSw?VTvVW@v}VUvKWkvLWlwpVPvMWmwnVOwoVN_C_C_C_G_I_L_J_K_HxcxaxbaYaZa[a\a^a]fQfVfRfSfUfTw`wdw_wbwawcv{v|v}v~w?w@v]v^v_v`vbvazu[AzvZ~ztZ}{?Zuzv[Bzt[@zxZnzwZozyZpzzZqz|Zsz{Zry?Z}y@Z~{?YA{BYB{AYD{@YC{CZe{DZf{EZg{FZhzj[Gzi[HzkZYzkZZzlZ[z^ZmzmZ]zlZ\{OZGzH[PzI[QzJ[RzL[TzK[SznY{zqY|y}Zsy~Zpz@Zoz?Zr{JYyyx[I{KYu{LYzyv[N{MYwys[C{FYp{HYqyr[Gyt[E{DYoy][I{JY^{KY_{LY`{MYb{NYayR[QyV[PyQ[OyS[RyU[TyT[SzwYKzxYLzyYMzzYNz|YPz{YOyiZMyjZNykZOylZPynZRymZQzSYdzWYezTYczUYfyhZXygZVy\ZEzAYWzBYXzCYYyZZFzDY[z_YEyFZ`yGZayHZbyJZdyIZc|T\`|b\V|Q\]|U\a|S\^|R\_|N\h|c\K|P\g|L\d|O\e|M\f|W\E|X\F|\\I|Y\G|Z\J|[\H{y\?|A[z|D[{|C[||B[~{}\@{x[e{a[s{b[t{c[u{v[f{w[d{l[n{m[g{o[h{r[i{q[j{k[p{\\i{]\j{^\k{`\l|n[[|m[_{U\o{W\q{V\p{Z\s{X\t{Y\r}^]W}Y]S}\]U}]]X}Z]T}[]V}G]M}R]J}O]H}N]I}Q]L}P]K|u]A|y]F|v]B}C\w|z]E|x]D}d]@|{]_||]`|}]a|~]c}?]b}e]q}f]r}g]s}h]t}j]v}i]u}k]w}l]x}m]y}z]n}p]|}o]{_@]}^C_A]~^D~E?A^?~F?B^@~H?B^B_@^G^A