CAT(2000,3)
Sparse6:
:~?^O_?_?_?_I?F_H_G_H_G_F_U?I_M_J_K_N_L_d?b___a_`_^_c_\_[_[_\_]_]_R_O_T_Q_S_P_U?c__?V_`?X_a?Y_Z?^_W?b`E?|_|_~_~_}_}_v_x_{_w_y_z_s_t_u_r_p_q_j?g_l?h_m?d_n?e_o?i_k?f`i?~_|_}`r@``b`^`_`]`a`]`^`_```b`a`d`c`e`f`h`g`j@?`@@i`A@i`C@k`B@k`D@j`U`V`Q`S`R`T`K@d`L@f`M@g`N@h`e@P`c@O`X@G`Z@J`Y@E`W@F`\@H`[@Iab?D_D_E_D_E_Eak@``_`]`^`b`a_^_`___a_c_b_F_H_GbFAwaxayawayaxaqatarasavauauavaraqasatanalakamapaoaoA~a{Ama|Aka}AlanB?azApahaiajaiajahagA}aeB?adAzafA|acA{a~Ab`xAbac@yad@zae@|`{Agaf@}aYa[aVaWaZaXb?AAazA?a{A@aBA}aCA|a~@~aKaJaMaNaLaOaHA^aFA\aGA_aDA`aEAaa]AI`lA\`nA^`qAa`oA_`pA]`mA`aP@saT@v`wAUaQ@taS@uaR@rcoCjckcmclcncicjCdcmCeckCfclCcchCncgCicbCfchC`cbCec`CccgCacaCdb@CebACfbECcbDChcgBBcdBCc\Bkc]BobnC[blCZc^Bjc_Bmc\B^c]B_c^B`baCZbbC[c_Bcb\Cib]CncjBXckBYb[CmbZClbWbRbTbUbSbVb|CCb}CBb~CDcFC?cACEcGC@bwCObxCPb{CRcQBycSBvcNBzbpCTbqCUbrCVbsCWbuCYbtCXbiCLbgCHbfCKcIBdbhCMbeCJbGBLbHBNbPBKbQBIbOBJbFBM_C_C_CeO@c`d`g`f`e`h_\_]_[_P_Q_O_S_T_R_W_X_U_V_Y_Z`Q`R`T`S`V`UbRbUbSbTbWbVezEteyewexeveueXe\eYe]eZe[eXEteyE]e[EuexEZewE\evEYeUE^e`EVeUE_eVEaeWEceWEbeMEoeIEjeJEkeKElenENeLEmeFEieFEhedEHeeEGegEHefEGeLEDeJEAe@EIeBENeKECeMEEe`D~ecD}e?E_d}E^e?EaebD~eADweED{dxEDe@DzeBD|eCDydsdqdrdtdvdudkErdlErdmEsdnErdpEsdoEsdeEjdiEmekDfeoDhdjEnelDgd^ETeODYePDZd[ERd\ESeQD]dSEOdTEPdXEQdUERdVETdWESdIEpepDGdLEqdJEqdKEqdHEpc}EgedC{c~EfeeC|d@Eid?EhcpEtevCqcsEwcrEuctEyexCodMDDdADNdFDQdEDRdCDOdBDPd_Cud`CzdaCvdbCwcxDddcCyahajai_f_i_d_e_h_g`r`s`u`v`w`taNaMaJaKaOaLgpGvgqGugzGtgrGwgoGygsGxfoGnfjGnglFkglFlfnGmfmGmgeH@g{G`g|Gag}GbgdH?g~Gcg{GSgNG|gOG}gRH@gQG~gPH?goGHgpGIgtGKgqGJgsGMgrGLfPGxfLGugzFNfMGvfQGyfOGwgZGTg[GUg]GWg\GVgYG_g^GXfdFvfzFhfeFwf{FgfxFifyFffqF^frF_fpF`fuFafcFsfbFtf\GifZGhf]Gkf[GjfYGffXGgfFGBgCFGgFFKgGFHgDFJgEFIfRF@fAFSfWFDfBFTfEFUfCFVe{G@f|E|f}E}f~E~f?GAezG?iUHghehfhhhjhiiCiHiDiEiGiFhvhrhqhshuhthWIPiTHXhSIQiRHThUIOiSHVhMIPiOHNhOIQhPIRhRIThQIShLhGhHhIhJhKhFhAhEhBhDhCh}Hwh|H~i?HxiBH{i@HziAHyhdHoh_Hkh`HlhaHmhbHphcHniIHYiJHZh[IKh]ILh^INh\IM_I_K_N_J_L_M_n_j_o_m_l_k`l`m`p`q`n`ojeJYJQjXJRjUJ[jTJZjVJWj\JSjLjOjKjPjMjNjEJQjFJSjGJRjTJHjJJUjIJVj@jCjDj?jAjBjWIzjXI|iyJ\i~JZjYI}j[I{ixitisiuiviwjcIgijJdilJcihJcikJdiiJdieJ]idJ^j`Icj_IfjaIbjbIajbI[j]I\i]Jai^J^j`I`j_I_iZIqiVIoiWImiUIniYIpiXIr_O_P_Q_T_R_S`?`D`@`A`B`C`O`K`N`P`L`M`I`H`E`G`J`Fbvbxbzbyb{bwbNbQbLbPbObMbFbKbGbHbIbJe{f?e~eze|e}i[i]i^i\i`i_lYLXLSlQLWlXLRlXLUlVLWlTLWlNlKlLlOlPlMkyL?kzLAlDK{lCK|k~L@lBK}knLIkmLEkpLGkqLHkoLJlFKrkkkiklkgkjkhklK|kyKgkzKik{Kjk~Kkk}KhjmKtjnKujpKvkwJlkxJojkKskaK[kbK\kcK]kdK`kfK^keK_kXLPlNKUkVLKlMKYkZLLkWLOkOLQkPLRkQLSkRLTkTLVkSLUkaKIkbKJkKKckLKdkNKfkMKekDLGlEKElFKFlHKGkCLIkHLJksJ}j~Kuk?KvkwKAk@KxkBKtjzj|jyjwj{jxkmJqknJrkoJskpJtjvKqjuKrjfL?jeL@jgLAlBJhjjLDlCJie@eAeBeCeEeDeLeJeMeNeIeKa\a]a^a`aaa_`z`x`y`{`|`}`~a?a@aBaAaC`l`p`m`n`q`odZdYd\d[d^d]kEkCkDkFkHkGnkNcngndnhnenfnRNKnSNMnQNLnTNNnVNPnUNOn\NAnWNBn?NYn@N[nXNDnCNZngM}m|NfndMyneMznhM~m{Ncm}Nan]Myn_Mzm~N`m|Nbm{N^l}NEnFL~nGMBnIM?nHMAnJM@nKMmnLMnmqNOmrNPnNMompNMnQMinRMjnSMkmgNTnVMlmhNUmONimPNjmQNjniMRnjMTniMSltNYnWLunXLvlqNZn\LslrN[n]Lkn^Lln_LmlnN`lpNbloNaliNCleN?ljNDlfN@lgNBlhNAnJL_l`NEnFLanGLbldNIlcNHmsM`m\Mtm]Mum[Mvm^Mxm_MwmEMLmIMCmHMKmDMJmGMMmFMNmaLwmbLxlyMflzMcmeL|l{MdlYMUl[MXlZMVl]MYmZL^l\MWpWCZc[c\c]c^c_`@`B`D`C`A`?b@bAbBbCbEbDcBcDcCcEcFcGbdbebfbgbibhb[bYb\bXbZb]fpfufqfrfsftfEf@fCfBfDfAi}iyizi{i~i|isiwitiuixiviaibificidiemjmlmgmhmkmiqkQZq[qYq\q^q]qEQVqWQFqBQXqAQSqDQTqCQUqNP}qPP~qMP{qQP|qOQ@qRQ?pzQIqHPupvQGpwQJqLPypxQKqYPipkQ\q]PjplQ^pnQZpmQ[pcpfpdpephpgpcPupvPdpwPepxPfpzPhpyPgpoP]ppP^pqP_p`PrpbPtpaPspkPYpWPipXPjplPZpnP\pmP[pRQ_qcPQpUQdpSQ`pVQaqbPToIP]oJPbpaOLoNP^oMP_p`OKpGQ`pHQapJQcqdPIqbPEpFQ_qcOzo~QaqbO}oyQ_qdO|o{Q`otQXqSOsouQUovQTqWOxowQVqMOmqNOnqOOoqPOpqROrqQOqoaP{obQ?ocP|oeQ@p}OfodP~qGOOqHOPqIOQoSQLoTQKqJORoHQCqAOGqFODqBOCqEOFqDOEn}Pon~Ppo?Pqo@ProBPtoAPsnsPZpWNqnuP\nrPXnvPYntP[nkPQnlPRpVNmnpPSnnPTpUNop?PKp@PLpAPMpBPNpDPPpCPOojOZoUOgoVOhoiOWolOXokOYo\N|nwO[o`N{nyO]o^Nxo_NztAIOiRiPiQiSiTeFeHeG_p_t_r_s_u_qcoctcscrcpcqjojmjkjpjnjljwjxjyjzj|j{nknmnnnpnlnotnTlthtktitjtmtTT[tVTPtWTQtRTXtUTYtSTZtJT\t]TKt^TLt_TNtaTMt`TOtJTAtCTOtLTFtBTNtKTDtMTEtbS{t?Tes|Tct@Tds~Tgs}TfsqTbtcSptdSossTfstTesrTgsQT\t]SRt^SSt_STtaSVt`SUthRmrqTmtiRnroTktjRrrpTltkRjtlRkthRgtmRltiRitjRhr[TAr^TDr\TCr]TBr`TEr_TFrNTStRRMtURItTRKrLTQrJTPtGRDtIRFtIRGrCTGtHRHtHREtWR@q}TXq~TYr?T[tZRAtVRBs|QoqnT@t?Qks}Qls~QpqmS{qfScsfQgqhSdqiSesgQeshQjsISxsESusJSzsFSvsGSysHSwsWRyr}SYs\R~rzSXr|SZs[R{rsSKrtSLruSMrvSNsPRxrwSOs?RbrdSBrfSCs@RareSDsARcrOS]rPS^rQS_rRS`rTSbrSSarYQyrUQwqxRVqzRWrZQ|q{RXsiQqsjQrskQsslQtsnQvsmQuv{C`cbcabDb@bAbCbEbBiUiViZiYiXiWlqlrlvlslultlal_lcl`lbldqgqhqiqjqeqfrJrIrLrMrNrKqoqkqlqmqpqnwjW^w_w\w]waw`wDWPwEWQwIWUwHWTwFWRwGWSwDV~wBWHwIW@wEW?wCWFwGWAvwWgvuWbweVzwcVvvxWfwdVyw]Vuw^VvvwW_vxW\vzWavyW`vaWev`WbwcVbvcWfveWgwdVdwOV]vZWJv[WKwMV\v_WLwNV^w[VSvQWVvNWWwXVOwYVRwZVPwhVHvKWivMWivLWiwhVIwhVJvAVtvrU~vrU|u}VtvsV?v@VsujV{ukV{ulV|uoV}unV}umV|udV~ueW?ufW@ugWAwCUiwBUhwVU^u_WXu`WWwYUaw[UcwZUbttWQtuWRtvWStwWTwPTytxWUwOTrtpWJtoWKtnWLtsWMwNTquLVTuMVUvVUNvWUOvYUQvXUPvBVfvDVgvCVhvEVivGVkvFVjuvUXuwUYuxUZuyU[u{U]uzU\uFURuGUSuUUKuTUHuJUVuIUWu@VpvoUDvlUAvmUBvqUEvnUCupTzuqT{urT|u?UsuuT}t~UtykXDYhyhXGxFYiyiXBxEYjyjXCxHYDxIYEyIXJyFXLyGXMyHXKy@YKx~YJy?YLyAYMyCYOyBYNxrXxxsXyxtXzx{Xux}Xwx|Xvx`YbxaYcxbYdxcYexeYgxdYfxTYVxUYWxVYXxWYYxYY[xXYZxZXNxOX^xPX_x[XQx]XSx\XRw|Xlw}Xmw~Xnx@XoxqXAxpX?xfWvxgWwxhWxwyXkw{XjwzXiy\Wpy]WqyaWuy^Wry_Wty`WswnYSyRWmwjYPyQWkwoYUyTWlwkwjwlwmwownzozpzmznzrzqzBZqz@ZmzAZpy}Zry~Zoz?ZnzgYqyrZhzkYuziYszlYvzjYtzIZazJZbzKZczLZezNZfzMZdzUZCzVZDzZZEzWZFzHZXzYZGzTY|y{ZRywZOyxZPyyZQzSYzykZ[ylZ\ymZ]z^Ynz`Ypz_YopQpUpVpRpSpTtstntotptqtr{k[d[^{g[_{b[c{`[h{f[]{a[e{?[]{@[_{`[A{a[B{b[D{C[^{Q[i{S[j{T[j{U[j{V[i{R[izu[c{dZszt[gzv[ezx[hzw[f{K[E{P[I{J[N{L[F{O[G{M[H{WZy{XZz{YZ{{ZZ|{\Z~{[Z}s{t@s|s}t?s~qjqiqeqhqfqg|Y\O|T\U|W\P|Z\S|Q\V|X\R|O[q|Q[r|R[s|S[t{v\T|P[u{}\U{~\V|W\?|X\@|B\Z|A\Y|C\I|D\J|E\K|L\F|N\H|M\G{k[w{l[{{m[|{x[n{z[p{y[ovzvuvvvwvyvxvrvtvs||]@|}]A|~]A|z]?|{]?|y]@|y\a|e\~|b\z|f\||c\}|d\{|g\s|h\t|i\u|j\v|x\l|k\w|m\[|n\\|o\]|p\^|r\`|q\_yjyiyhzwzsztzuzxzv}e]\]a}\]`}Z]^}[]_}[]]}Z]b}R]c}N]d}d]O}d]P}S]c}Q]c}]]H}^]I}_]J}`]K}b]M}a]L}T]B}C]U}Y]F}G]V}E]W}D]X}q]k}r]l}s]m}t]n}p]v}o]u}e]w}f]x}g]y}z]h}|]j}{]i_@]}^C_A]~^D~E?B^?~F?@^@~H?B^B~G?A^A