CAT(1944,2)

Sparse6:

:~?]W_?_?_?_F?C_E_D_O?L_L_M_M_N_N_[?W_U_U_V_W_V_m?l_j_i_h_g_k_r_p_q_m_n_o`H@?`A`A`@`?`@_~_{_z_}_y_|``?v_x_w_s_t_u`U`X`T`Y`W`V`U`X`W`T`Y`V`]`_`[`^`Z`\```b`e`a`d`c```a`b`d`e`c`B@Z`C@\`D@[`E@]`G@^`F@_`S`R`N`Q`O`P`H`K`I`M`L`Jab?n_m_q_r_p_o`T`U`W`Y`V`X`B`C`D`E`G`F`B`C`D`E`G`F`O`S`P`Q`R`Nb?a}aza{a~a|avatauawayaxacAhadAiafAjagAlabAmaeAkahAbacAiaeAjagAkafAladAma_a`a^a\aaa]a_a^aaa\a`a]apAVanAYaXAra[AsaoAWaZAqan@mao@o`lAp`nAsaq@q`pAraPaTaUaQaRaSatAKauALaJAvayANaOAwaMAx`r`v`w`s`t`uazA?a{A@aBB?a}AAaCA|a~@~`yAW`xAVaX@{aY@za[@}aZ@|aE@faF@gaD@haG@iaI@kaH@jcf?a_b_c_e_f_d_d_f_e_a_b_c_e_a_b_c_f_d___[_^_`_]_\_[_^_]_\_`___Z_X_Y_X_Z_YaYaWaXaVaZa[_g_j_h_k_l_i_l_k_j_h_i_g_s_u_w_t_x_v_y_z_|_}_~_{`h`g`j`k`f`i`m`o`l`p`q`naTaPaQaRaUaSaJaOaMaKaLaN`r`t`u`w`s`veND}EHdzEIeLD~eJD{eKD|e?EMdnEHdpEIeMDseJDreLDoeKDqd^DldiDadjD`d_DmdkD\d]Dhd[dVdZdYdXdWdVEEe@DWeADXeBDYeCD[eDDZdoDPdpDQdqDRdSDrdUDsdTDndJdNdKdOdLdMcXcZc[cYc\cWcUcTcTcUcVcVdbCcdcCcddCedeCecdDfcdDgc]DPc^DRdUC_c`DQdSCbdTCadHECeDDDe@DEeADFeEDGdIEBc~d@d?dBdCdAdtC~duDCd?Dvd@DwdBDydADxdbCxdcCydeCzddC{dgC|c}DfcrEFcvEGcuEGcwEGcsEFctEFdwCodxCmduCldvCndyCqdtCpdiCtcrDlcsDhdkCwcuDmdjCvdKCfchDLciDMckDNcgDJcjDOc}C_c`Czc]C|cbCxc^C{caCydDBBdFBCbDDGbEDEdIBAdHB@cHCWcICXcJCYcKCZc\CMcLC[cmCBcnCCcECqcoCDcGCpcFClbzb{bvbwbxbyeHBdbhEIbfEMeJBgeKBibeELd_BcbbD]d^B^d`B_daB`baD\bSD}bWD~bRDzbTD{e?BUbVD|ciBLcgBMckBNbQCjbPCfbOChbqB}bpB|brC?buCAbsC@b~BtcRBobjCNbkCOblCPcSBncQBmbHBXbGBYbZBKb[BJb]BIbFB\hQCacbc`c]c_c^`Z`[`\`]`^`_`I`H`K`L`M`Jb|b}b~c?cAc@bqbpbsbubrbtbXbYbZb[b]b\b`b^b_babcbbbFbGbKbIbJbHiGHuhvhxhwhzhyhQH`hRH^hUHbh]HThVHahSH_hQHWhSHXhTHYhRHZh\HUh[HVhLhMhNhKhPhOhPH|hKH{h~HLh}HMi@HNi?HOhHHjhHHihJHmhJHnhIHlhIHke}HoeyHphqE{hrEzexHthsE|iAHBhEIBhCIEhFIChGIDhDIFgpH{i@Gth|Gqi?Gsh}Guh~GrhcGmgjHdhhGlgkHehfGngoHggdHcgeHdhhGhgfHehfGihgGghuG^hvG_hwG`hxGahzGchyGbhoF@fAHphsE~hqFBfCHthrF?gPgQgLgMgOgNh^GHh]GFhbGKgGHah`GIh_GJftHWfuHXfvHYfwHZfyH\fxH[fnIAfoIBfpICfqIDfsIEfrIFfbHifgHnfcHjfeHkfdHlffHmfPIAfQIBfRICfSIDfUIFfTIEg}GUg|GRhAGWg~GSh?GVgTH@gZGEgCGXgYGDg\GAg[GBg]G@fzFJfLG?f{FKfMF|fNF}fOF~g{EterGvesGwevGygzEwgxEufDEffEEgfFEhfGEiekFIfHEjeaFVfZEee`FWfXEdebF[fYEcelEZepE^emE[enE\eqE_eoE]fmEXfhETeUFleWFieYFkeVFjeNF\eOF^f]EQeRF`eSFaePF_krHPhLhNhKhOhM_X_Y_Z`?`A`@_y_{_z_~_}_|`x`y`|`z`}`{`~aAaCa?aBa@gXgYgZg[g]g\fVf[fWfXfZfYe`eaebeceeedlhLNlJlOlKlMlLlfLIlDLbleLFlcLElgLGldLHk{K~k|L?lCK}lBK}k|LAk{L@krksktkukwkvkqLVlXKolYKpl[KpkoLWlZKqikioipinilimkiLblcKjldKkklLeknLgkmLfldKRkQLbkVLglfKUlcKSleKTkIL@k~KJlCKHkELAlBKGkFL?kCKzkxK?k@KxkAKykzKDkBKyjyL\l]J}j|LajzL^l_J~j{L`j[LVj\LWlXJ]lYJ^j`L[j_LZjULPjWLSjXLUjVLTlQJZjYLRjCKsjDKrjEKujFKtkwJHjGKviriqisitiuivlRIflPIeihLSiiLQijLUlTIgi_L\icLaidL`i`L]ibL^iaL_lIIZlDI\lEI[lFIYi^LHi]LGiMLJiNLLiRLOlKIQlNIPlMIOjuJmjxJojvJqjwJpjrJsjnJtkbJik]Jgk^JhjjK_jlK`kaJkkKJOkLJPkMJQkNJRjTKPkOJSi~Kcj?Kdj@KejAKfjBKhkgI}jaIwjbIxjcIyjdIzjfI|jeI{iUJMjNIXjIISjJITjLIVjKIWiGKWiHKZiIKXiJK[iLK\kYIKoG?O_R_P_T_S_Q_U_V_WcZcWcXc[c\cYcUcVcTcccecdb@bAbBbCbEbDoPoToQoRoUoSo^OMoMO\oaOOo`OOo_ONoNO]mJODmHODmFOEmKOFmGOFmIOEoHOAn~OIo?OJo@OGoLOCoKOBnxO\nyO]n}O^o_N{oaNzo`N|oVNZoVN[n\OWn^OXn_OXn]OWnTOYnUOYnVOZnYO[nXO[nWOZnSOLoHNNoINOoJNPnQOKnROGnHOPoTNMoUNLnIOQnKORoSNJlnlrlolqlslpmpN`mrNcmqNamsNbmtNdmuNemhNqnlMdmeNmmfNnmgNpmiNom^NfngM_nhM`niMankMcnjMbmvMXmwMYmZMxm[Mym{M]m\MzmTMkmUMlmWMmmVMnmSMomRMjmPNtnrMLnsMMnuMNmQNwmONvlzNBl{NCl|NDl~NEnGM?nFL}m|Lum}Lxm~LtlyN?nALwn@LvliM@lhMAljMBlkMCmELmmDLlqZ?L_N_Ma`a\a]a^a_aalhlmlilkljllqcQ]qfQ_qdQ^qbQeqhQ`qgQaq]QTq^QUqVQaqbQYqXQ_qWQ`qAQfqcP|qeP}qgP~qdQ?qhQ@qZP{qZPzpvQ\pwQ\pyQ[pxQ[pQQUpLQTqXPPqWPMpOQVqYPNplQJqHPjpkQKpoQIqMPmqLPnpdP^pcPepfP_p`PgpaPipbPhp@PppAPqpDPtpBPrpEPupCPsozPRo{PSpUO}o|PTp?PWpVO~pJOxowPGouPFovPHpKOyotPIqBOnqFOsqCOoqDOpqGOrqEOqpXOhoiPYojPZokP\omP]olP[qROgocQQqNOeqOObqSOfqPOd_I_K_J_K_J_IjVjWjXjUjYjZrqRwrrRyrzRur|Rsr{RvrtRxrSS@r~RXrTSAr}RUs?RVsBRWrwRArxRBrCRyrzRDr|RFr{REqpR}qqR~qrS?qtSBqsS@qoSAqiqjqmqkqnqlreRGrfRHrgRIrhRJrjRLriRKraRnroRbr_RkrpRcrdRlr`RmrYQ}r\Q~rZR@r[R?q|R^q{R]quRMrNQvrOQwqxRPqzRRqyRQhJhHhIeueseretevewm|m}m~n?nAn@s}TEt@TFtGTAt?TCs~TDs|TBtBSyszTEtGS{s{TFtCSytDSzs}Sss~StsuTAt?Svs|Sxt@SwsUsVsWsXsYsZsOsPsQsRsTsSsgSCshSDsESisHSksFSlsGSjs_Sps[Sms\Sos]SnsqS`srS^sISasJSbsKScsLSdsfSNsMSet{Kokqkpi]iYiZi^i\i[iLiGiIiJiKiHpXpYpZp\p]p[s[s\s^s`s]s_uTuPuQuSuUuRuLUEuKUHuJUGuMUFuIUOuNUDuUUCuBUSt~UPu?UQuTU@uAURuJT{uKT{uLT|uOT}uNT}uMT|tUUHtTUDuITWtVUEtYUGtXUFtxTrtvTztwTztuTytsTyttTxtctet`tbtatdtHU?tIU@tJUBtKUCuATMt~TLtpTftlTgthTmtiTotkTntjTqtST_tRT[tNTZtPT\t]TQt^TOvU?F_F_G_G_H_Hexeyeze{e}e|e~f?f@fAfCfBmJmFmGmHmKmIl{lzm?l|l}l~vaVmvnVdvbVovcVpvfVrveVqvUvWvXvVvYvZvWVgvYVhvVVivXVjvlVZvUVkvaVLvbVMvcVNvdVQvOVfveVPvFVRvHVSvGVTvSVIvKVRvTVJv[U{v\U~u|V]uzV^u}V`v_V?vnUnvmUovpUpvqUqvoUsvrUrubVhucViudVgueVjvlUgufVkv[U\v\U]u_V]v^U^uaV`u`V_uvVBuyVEv@UtuuVAuxVCuwVDujUYuVUhuWUiulUXumU[ukUZqWqXqTqUqYqV_O_Q_R_S_T_PobocodoeogofxEW{xFW}w|XAw~XBxDX@x?XCwoW{wsX@wpW|wqW}w~WtwrX?waw]w^w_wbw`xAWWwXXBwYXCxDWZxFW\xEW[vyWuvzWwv{WvwzV}v~WxwyV|vsWvvtWwvuWxwzVvvwWuwyVxwQWiwRWjwUWkwVWmwnWSwTWlwcWKwNWfwdWLwMWhwPWgwOWewDWJwBWHwEW?wFW@wCWGwIWAy@TxtztyoFoEoDtet`tatbtctdt[t\t]tZt_t^yCYNyMYCyDYOyQYEyLYDyEYPyGX}y?YKyHX~yIY?yFX}x~YJyFXMyGXNxPYHxOYJxQYKxRYIxgYBxjYAxeY@xfY@xhYBxiYAx]YNxYYPxZYQx[YLx^YOx\YMxkXwxpX|xlXxxmXyxoXzx{XnxvXcxqXdxrX_xsX`xuXaxtXbxUXKxGXSxJXXxTXLxIXVxHXWzK?C_C_D_E_D_Ex}y?x~vRvTvS_K_J_IuVuWuXuZu[uYuzu{u|u}v?u~xSxTxUxVxXxWzWZZzWZ[zXZ\z_ZYz^ZYzXZ]z`ZKzaZLzbZMzcZNzeZPzdZOzHZSzHZRzJZQzSZJzIZQzIZRzKZGzOZEzPZGzMZFzNZEzLZFzVZAzTY|y}ZTy~ZUz@ZVz?ZUzBYpzBYqyrZCysZCyuZDytZDyjZZykZ[ylZ\ymZ]z_Yoz^YnyeZhyiZkyhZgygZizjYfydZfyXZfy\ZhyYZgziYZy]ZkzjY[yRZ`ySZayTZbyUZcyWZeyVZdy^Yvy_Ywy`YxyaYyycY{ybYzzBzDzCzFzGzEzHzJzIvyvzv{v|v~v}{q[h{q[i{r[j{m[s{l[s{k[r{n[]{o[\{a[p{`[n{p[_{o[^{tZ~{?[t{@[u{v[C{v[B{A[u{wZ{{zZz{{Z|{yZy{|Z}{xZx{xZm{wZl{yZn{zZo{|Zq{{Zp{V[b{W[c{X[d{Y[e{[[g{Z[f{U[O{K[P{L[Q{M[R{N[S{J[T{DZr{EZszt[Fzu[Gzw[Izv[H{}\a|f[~|b\?|A\e|d\@|B\c|X\i|Z\h|g\U|W\k|Y\j|V\l|S\_|O\[|P\\|Q\]|T\`|R\^|C\I|D\J|M\G|E\K|N\H|L\F|m\y|n\z|o\{|p\||r\~|q\}|s]?|t]@|u]A|v]B|x]D}C\w_@]E]K_A]F]L_A]G]M}N?@]H}P?B]J}O?B]I