CAT(1994,1)
Sparse6:
:~?^I_?_?_?_m?f_d_e_j_k_l_o_m_n_o_m_n_j?g_k?i_l?h`??|_~_}_|?s_u?~_}?t_w?}_v?|_x?~_y_{_z_q_p_r_r_q_p`T@O@Q`N@S`P@R`D`C`B`E`G`F`K@Q`M@S`L@R`P@H`O@J`N@I`A@R`@@S`Q@?`@`?`A`X@f`Y@g`W@h`a```b`_`]`^`g@T`V@h`f@U`c@Z`e@\`d@[`i`k`j`o@u`w@q`p@v`l@r`n@t`m@s`{`}`|`yA@`z@~`xA?_e_f_d_w_x_v`Z`\`[aSAOAKaNALaMAJaGaIaHaIAKaGALaHAJaMAAaCAOaBANaDaFaEak?g_i_h`H`J`I`m`n`lanAqaoAsapAramakalanAkapAmaoAlaeAhagAiafAjaeAPagARafAQaqA_asAaarA`a\a]a^aZAbadA[acAYaiAVahAWaXAjacASadAUaTAbbj?b_c_a_b_c_aaRaPaQb}B{Bzb|Bzb{B|buBwbvBxbtByb|Byb{BwbxBzbpbrbqbqBubrBvbpBtbgBtbiBvbhBubhBwbiBxbgBybsBnbsBobsBmb]BTb[BSb\BRb[B^b]B_b\B`bfB`b^BdbeB_bkBbblBcbjBabfBjblBdbeBkbaBmbcBobbBnb@BXbZBBbABYbCbEbDa~BYbZB?a}BXazBUa|BWa{BVbSAxayBTbRAwauBWbVAvatBUbIBLbJBNbKBMbQBHbPBFbOBGdECVDDdBCWcUDCc~c}c|cXDDdBCZdCCYcacccbd@C@d?CBdACAd?CCdACEd@CDcsCpcrCuctCqcmCycnCzcoC{cjCxcvClckCwc]C^c`C[c\C_cRCdcSCfcTCecgCIciCKchCJcFCLcHCNcGCMb}COcQC?b~CP_a_c_badacabdjdkdidcDpdeDqddDod^d_d]d\DsdtDZd[DrdNDqdODpdoDPdHDsdtDJdIDrdVDmdTDndUDldfDQdSDhdgDRdaDLdKDbd`DMdWDEdYDGdXDFbUbWbVbXbYbZbabcbbbgbibhdwE\duE^dvE]ePESeQETeUEReMEYeOE[eNEZeJEVeLEWeKEXe\EGe^EIe]EHeDeFeEeBeCeAeVD~e@EXe?EWeUD|d}ESd{ETdxEYdzE[dyEZd@dAd?dDdCdBeae_e`exeweyekE}emF?elE~e}EheiF?e~EjfBEeegF@fAEfebF@fBEdfAEcezEqe|Ese{ErenEtevEpeoEufPFVfWFQfOFUfLFXfNFZfMFYfDFIfEFKfCFJfFFRfHFTfGFSfdF[ffF]feF\f^FafcF`fbF_bRbTbSb\b]b[b^b`b_bdbfbe_j_l_k_h_i_g`L`M`K`q`o`paAaCaBbFbHbGawayaxdPdNdOdHdJdIeseqerenepeogQGWgYGSgRGXgPGUgNGVgOGTgHGSgQGJgRGIgEGHgGGIgFGJgCGEgDGGgFGBgCG?gDGAg@GBf~GMf}GLf|GKfyG?f{GAfzG@fyF~f{F}fzF|gNFvfxGPgOFwfsFvfxFuftFwfqFufrFsfpFtfmGKfoGMfnGLfmFpfoFrfnFqfgGTfiGVfhGUfkGXgYFlfjGWhV?U_W_V_X_Z_Y_]_\_[_`_^__aeafagahajai_d_f_e_u_t_s`W`Y`X`y`z`xaQaRaPa_aaa`aWaXaVcjclckcHcFcGdudwdvd{d}d|fCfEfDfFfHfGiMIFiHINiGILiKIDiIIEiJICi@ICiBIEiAIDiHI?iGH}h~IFh}Hwi?Hyh~HxhtIBi@HvhuIAhqHwhsHyhrHxhqHnhsHphrHohlHnhkHphmHohhHzh|HjhiH{hhHkhjHmhiHlhzHeh|HghfH{hvHbhuHdhtHchbHehgHdhfHch_hah`h_hah`g\HTgZHUg[HShGIIhIIKhHIJiLHDhFINhEIMhQHChRHAhPHBhPH?hRG~hQH@g{H]g|H^h\G}h^GxgzH\h]GyguHNgwHOgvHMgrHYh[GtgsHZgoHJgqHLgpHKglHYh[GngmHZgiHJgkHLgjHKgfHVghHXggHWhVGcgeHXgdHWhSG`hUGahTGbg_HOg]HMg^HNju?I_J_Kj{?L_N_M_Q_P_OkG?R_T_SkGkIkHkGkIkHkDIPkFIOkEIQjpI{iyJqjoIzjqI|joI}i~JpivKCkAIxkBIwisK?k@IuitJ~kCIpkAIrkBIqioJ}imJ{inJ|ijJ{ilJ}ikJ|jyIgiiJzihJxjzIfjyIdjxIejvIajwIcjuIbk@I^i`J~i_K?juI\i]JwjvI[kDIXkFIZkEIYiWJtiUJriVJsiRJtiTJriSJsjfJijkJhjjJgj`JcjbJejaJdjWJZjYJ\jXJ[jTJQjVJSjUJRjKJ]j_JMjLJ^jJJOjIJPjNJHjlJEjnJGjmJFj@JCjAJDj?JBlaJqjojp_U_W_V_U_W_V_X_Z_Y_X_Z_Y_[_]_\_[_]_\ljLalcLllkLblcLolaLmlnLblrL`lpL_lqL^lsL_l^LtluL`ldL[lfL]leL\l[Lgl]Lil\LhkSkUkTkVkXkWlOLslQLulPLtlLLmlNLolMLnlrLJlqLKlpLIlFLjlHLllGLklCLglELilDLhldL@lBLfleLAlXKJkLLZkKLYlXKMlZKOlYKNk}LUl?LWk~LVkwKtkyKvkxKuk{KskqK|kzKrkmKpkoKkklKnkcKjkdKikbKhkeK_kaKgkfK`kZK]k[K^kYK\kPLTlRKRkQLS_I_J_K_I_K_JnJLXlZlY_L_N_M_L_M_N_P_Q_O_O_Q_PhJhLhKhMhOhNhPhRhQhShUhTnJNMnLNOnKNNnJNPnRNKnQNLnSNInGNUnHNTnGNVnINXnHNWm~NDn@NEnFN?nANDnFNCnBNEm{N\m}N^m|N]nVMxnXMznWMynQMwmuNPnRMvmrNMmtNOmsNNnAMomqNCmpNBnSMlnTMnnUMmm~Min@Mkn?MjmhNbmfNcmgNdm`mbmamcmemdm]Nbm_Ndm^NcmZNYm\N[m[NZmWNYmYN[mXNZn\MTn^MVn]MUmQN_mSNamRN`n_MNmONamPN`mBmDmCmEmGmFl|l~l}mAm?m@mKLvmMLxmLLwlzMJl{MIlyMHjrjtjsjxjzjykAkCkBkDkFkEpBNwpDNypCNxoLOyoMOzoNO{oIPBoKPDoJPCoyOFoHO{ozOGoCO|oEO}oDO~o@O|oBO}oAO~n}P?o?PAn~P@p?NzpAN|p@N{nqnsnrntnvnunknmnlnnnpnoodOqofOroeOpovOaoxOcowObo^Omo`Ono_Ooo[OsouO]otO\ojOXolOZokOYoUOgoiOWoVOhneORngOToSNfnhOOniOQnjOPprPupwPtpvPspoPEpqPGppPFplPipkPnpmPjpZPfp\Php[PgpWQ@pYP~pXQ?p{PTpVP}pUP|p`PQpbPSpaPRpcPNpOPepdPPpKP]pMP_pLP^pxPHpJPzpyPIqb?`_^___^_`__iyizi{i|i}i~mJmHmImKmMmLqqQkqmQsqrQlqoQjqpQiqnQhqmQeqgQlqfQkqbQhqcQjqdQiqdQ_qcQaqbQ`qeQaqgQ_qfQ`qAQqqCQsqBQrqnQGqoQIqpQHq\QVqXQ^qWQ]qPQSqRQUqQQTqNQKqLQOqMQJqYQDqZQEq[QFraL[l]l\l_l`l^_R_T_S_R_T_SkJkLkKkMkOkNoqoropomooonojolokogoiohoOoQoPoRoToSrpSBrrSDrqSCs?Rms@RnroSArpRjrrRlrqRkrgRmroRirhRnreRvrfRxrdRwreRurfRtrdRsr|Rar~Rcr}RbraRyr{RcrzRbrgR^riR`rhR_r^Rjr`Rlr_RkqtRXrZQvrYQurURvrWRxrVRwrRS?rTSArSS@rOSBrQSDrPSCr|RLrNR~r}RMrsRIruRKrtRJrFRyr{RHrzRGrDrErCrArBr@r]R?r\Q}r[Q~rZQ{q|RXrYQzqyR\qxR]r[QwtSNDnFnEnHnInGphpfpgpcpepdp`pbpap]p^p_t^TVt]TXtWT\tVT[tXTZtWTYtSTbtUTdtTTctST_tUTatTT`soT\sqT^t]Spt_SltaSnt`SmsiTYsjTZskT[sfTbshTdsgTcs`sbsas]s_s^tPSZtRS\s[TQsWTPtRSYsXTQsTTMsVTOsUTNsQTMsSTOsRTNtKSNtLSOsPTJtGSKtISMtHSLsHTKsJTLtJSIsETGsGTIsFTHt@S{s|T?s}S~tBSytCSztASxsuScswSesvSdsrTDstTFssTEumU^u`u_u]u[u\ujTnulTpukToujTkulTmukTltjUhtiUithUguhTgtfUiteUguJUduKUeuIUfuFTqtsUHuGTruaUCucUEubUDu@UOuBUPuAUQuRT}uTU?t~USuLTzuNT|uMT{uUTwuWTyuVTxttUXtvUZtuUYrXrZrYr[r]r\vAV[v\V?v@VZvKvMvLvJvIvHvWVEvYVGvXVFv\UrvZUqv[UpvWUmvYUovXUnvBU|vDU~vCU}uyVQuzVSu{VRuvVNuxVPuwVOusVTuuVVutVUtGtItHtKtLtJtMtOtNtPtRtQv]WAwCV_wBV^vxV{vzV}vyV|vuWAvwWCwBVvvrV~vsW?vtW@wDVowFVqwEVpvlvmvnvkvjviwDVfwFVhwEVgvdW?vcW@veV~v{V`vbV}vaV|uhuiugujulukwbwdwcwaw`w_weWSwgWUwfWTweWPwgWRwfWQwMWhwOWjwNWiwhWJwjWLwiWKwYWGw[WIwZWHw\WVw^WWwXW]wzWkw|Wmw{Wlw}WwwyX?w~WxwqX@wsXBwrXAwnWtwpWvwoWuxIXLxJXMxKXNxFXCxEXHxDXGq_qaq`s|s{s}sxszsyupuruqumunuowYw[wZwVwXwWxgXaxiXcxhXbx^XdxfX`xeX_x]Xax[Xbx\XcxZX^x`XYx_XXx\XVx]XWx[XUxZXUxWXXxVXYxOXgxQXixPXhxRXdxfXTxeXSyHR^r`r__F_H_Gu@uBuAt}u?t~vdvevcv`vbvawkwmwlwnwpwoyWYZy\YYyXY[y]YUy_YVy^YTyQYWySYYyRYXyUYNyVYPyTYOyQYHySYJyRYIyHYNyJYPyIYOxjYBxlYDxkYCy?YZy\YAy@Y[x|Y]y^X~x}Y_yKXyx{YLyMXzxwYMyKXxxvYLxsYEyGXuyFXtxpYBxqYDxrYCxmYEyGXoyFXnzP?C_E_DyoZPyqZRypZQylZPynZRymZQykZNyiZOyjZMzJYfyhZLygZKycZOzNYezMYdzJY`zLYbzKYay~ZDz@ZFz?ZEzAY{zCY|y}ZByrYxysYyytYzyuZGzIYwzHYvzt?G_H_F_F_H_GztZrzvZqzuZszwZqzyZrzxZszwZhzjZyziZxztZezvZgzuZfzbZnzdZpzcZoz_ZkzaZmz`ZlzUZ[zTZYzSZZzVZ\z^ZXzWZ]{UYByDyCyEyGyF_C_E_D_C_E_D{][S{[[T{\[R{^[T{`[S{R[_{X[F{Z[H{Y[G{O[^{`[Q{P[_{M[]{N[[{L[\{U[I{K[V{J[W{U[C{W[E{V[D{@[X{B[Z{A[Yzzz|z{z}{?z~zJzLzKzOzNzM{g\?|A[i{h\@|B[p|C[q|D[r{m\C|D[o|B[n|?[j|A[l{k\@{a{c{b{d{f{e{v[|{x[~{w[}{y[s{{[u{z[t|W\E|Y\G|X\F|N\T|P\V|O\U|M\S|L\R|Q\K|Z\H|\\J|[\I|c\f|e\h|d\g|]\`|b\_|^\azrzqzs{|{~{}{y{{{z|o\u|q\w|p\v|o\s|q\t|p\r|i\u|k\w|j\v|r\l|n\t|m\s}G[S{T{R|T|U|V|S|R|Q}O]G}N]I}H]M}I]K}G]L}H]J|x]E|z]F|y]D}J]A}L]B}C]K|~]M}O]@}N]?}F\}}D\|}E\{}e]U]b}d]S}T]c}P]c}R]b}d]Q}\]V}^]X}]]W}Y]_}[]a}Z]`}e]n}p]g}o]f}i]k}h]m}j]l}F}E}D}q]w}r]y}s]x}t]x}v]y}u]w}b}d}c}z?@^@}{?B^B}|?A^A_A]}^@_@^?^B_B]~^A