CAT(2000,4)
Sparse6:
:~?^O_?_?_?_X?Q_Q_Q_a?__^_`_\_[_]_X_X_Y_Y_Z_Z_\?R_[?S_T?^_W?]_`?V__?U_y?q_m_p_o_r_n_k?c_j?a_d?g_e?h_l?f_b?i`K?g_k_l_h_i_j`k@W`S`T`U`V`X`U`S`T`V`X`W`L`M`N`O`K`P`K@S`L@T`M@U`V@N`W@P`X@O`G`F`J`H`E`I`F@Q`Q@G`E@R`R@I`Q@J`R@H_w_v_s_t_x_u_z@?`@?~`A?y`B?}`D?{`C?|ap?K_M_N_O_L_P_K_L_N_O_M_PbDA~bBb?b@bCbAauaqarasapatawa{avaxazayamBCaoBBanB?anB@a~AmaoBAaiAvakAwayAlahAxa{AjazAg`YB@`ZBB`[BCa~@\`^BAb?@]a|AUa}AWa}AVaYA|aZA}aXA|aPAfafAQadARaeASadATaOAeapAIaqAJarAKasALaNAuaMAtaFAhaEAgaGAlaCAiaHAjaDAk`}A_a^@~a@Aaa?A`aBAcaAAb`x`{`y`|`w`z`sA`ac@va_@t`rAa`uAb`qA^`oA[`lA[`mA\a]@k`pA]`nA\`i@``a@j`g@_`c@e`d@h`b@fcd?E_I_G_H_F_Jc|?E_I_J_H_G_F_E_F_J_G_H_IdWA[a]a\adafae`f`e`i`h`j`g`Y`[`Z`\`^`]`Y`[`\`Z`^`]aOaPaQaRaTaSeIEHeCeDeEeGeFeAD{eBD|eBD}eBD~e?EAe@EAdyEEeCDzdzEFdzEGdyEDdyEHdrdodpdqdtdsdsdtdodpdqdrdfdcdedgdddhdidndjdkdldmdZD]d^D[d_DZdbD\daD\d`D[dWEDdWEGdYEEdYEFeCDXdXEHccc_cbc`c^cacfchcicecgcdctcpcqcrcscuc}dAc|d@c~d?dMdHdIdKdLdJdQdPdOdSdRdNdTD}dVD|dTD{dUD~e?DVe@DUe?DPdOD|dQD}d{DRdND~dSE@dBDfdcDCdGDhdeDEdDDgddDFdiDLdIDjdKDndHDmdkDMdJDlc~D]d^D?d`D@d_DAdbC|c}DacwCmcjCwclCxckCvcvCocxCncyCpczCqcrCzcsCycuC{ctC{cjDBcmDDclDEcnDGdCCockDFbcbbbebdbgbfciCXcYCdcZCec[Cfc]Chc\CgcFC^c_CJcKCacGC`cHCbcICcdwBzb{Dxc?Dxb}Dxb~Dwb|DwbubwbtbxbybvduBJdvBKbODvdvBNduBLduBMbUbRbPbSbQbTbhC@biCAbjCBbkCCbmCEblCDb]CTcRB\cSB_b^CUcVBab`CWbqBXbpBYbVBnbWBob[BrbZBsbDCLbFCMbGCNbHCOcQBIbECPh^?K_L_P_M_O_NhmCwcxcvcyczc{ckclcmcncjcodIdJdLdHdMdKdNdSdPdQdOdR_\_[_]_^_`___R_T_S_W_V_U_s_v_t_u_x_wcHcIcKcJcFcGicIWiXiYiZi[i\iKI\iLIYiWIMiNI[iXIPiOIZiLIQiSIMiUIPiVIOiTINiRIKiHHyh~IIhzIEh}IJh|IFiGH{iaHni_Hmi`Hni^HoibHoi]HmiaHki_Hji]Hli`HjibHli^HkfAIFfBIEiGFCiHFDiJF?iIF@hdHOhPHehQHghfHThSHihRHhhEhDhHhChGhFi?GkiAGlgoICiBGmgpI@iDGnhsFFhtFHhuFJfEHvhxFIfGHwh|G[h}G]gYHyh~G^g\H{gZHzh^GSh_GThaGUhcGXh`GWhbGVfMICi?FKfNI@fOIAfPIDfLIBgDH\gBHZh[GFgAHYgEH]gCHXhfGGhiGIhgGHhhGJgLHdgKHefQHXfUHZfSHYh[FTh]FVh\FRi_G?i]F{i^F|i`G@iaF}ibF~fyHuhsFuhxFvhtFwfzHvfxHwfcH^fdH_feH`ffHafhHcfgHbeyeze{e~e|e}eqIQiSEmiVEpiREoiTErenIUeZHUeXHUeYHWeWHWeVHVeUHVeOHpePHphqEShrEThrEQhqERg}GchAGagdHBg~G_h?Gbh@G`hIGMgRHLgNHJgOHKgPHNgQHMfbG|g{Faf_Gyf]GxgzF`f^GwgqFigrFjfnGvgsFkguFlfmGtehEseiEtejEuekExewEgevElfYEdeeF\eaFXf[EffWEcebFZe`FsfpE[foE\ftE]frE^fqE_eJGeeKGfeNGjggEIeLGheMGi_D_C_D_D_C_ChZh[hYh]hXh\hUhWhVhdhhhihghehfhjhlhkagahaiajalak_f_d_e_b_c_a`a`c`b`_`d```c`d```a`_`b`e`i`g`j`h`faCaDaEaFaHaG`{`w`|`x`y`z`v`t`r`s`u`qfCf?f@fDfBfAgzgygwgxg{g|gmgnglgogpgkgSgVgUgTgXgWfNfMfKfOfPfLfQfRfTfSfVfUf]f^f_f`fbfaemenepeoereqe\e]e^e[e`e_ecedeeefebeaeIeJeKeLeNeMnsNpnmnqnnnrnonhNbngNaniNcnjNdnlNfnkNen\Ncn`Nan]NbneN[n^Nfn_NdnhNXniNZnlNYnjNUnkNVngNWnINCnGNMnKNDnJNEnFNNnHNLm}NOm~NPnQN@nRNAnTNBnSN?momkmlmmmpmnm~M_n?M`maNBm}Mdn@McnAMbmtMVmrMSmsMTmqMUmvMXmuMWmONXnUMMnVMNmPNZmRNWmQNYnmMAnnMBnpMCmDNrmENomFNqmeL{mfL|mgL}mhL~mjM@miM?mALxmDLxlyMElzMFlyMBlzMClwMylsMwlrMxltMzm|Lvm{LulrM`lsM_ltMbluMclwMdmaLvmOLiljMMmPLkllMNlnMRmQLmlelcldlglhlfjJLilkJHlnJKjILjjLLljGLmm|L^m{L]mwLal`MzmxLbl_MyloLQloLRlpLSlqLVlqLUlpLTlfKvkwLcldKslhKtkxLgleKukmNOknNPnQKonRKrnTKqnSKpl{Kgl|Khl}Kil~KjklM@m?KkkaMYmZKbm[Kcm\KekdM^m]Kfk[MYmZK]m[K^m\K\m^K`m]K_nIKInJKJkKNKkLNLkNNNkMNMmqKCmsKDmtKEmrKFmvKHmuKGj|MWjwMSjzMXjxMUjyMVmTJ{jkMGjlMHjmMIjnMJjpMLjoMKjaMIj`MKj_MHjcMLjdMJjbMGmeJYmiJZmjJ[mhJ^mfJ]mgJ\jAMljBMkjCMmjDMnmpJFjEMonDI}j?NGi{NCnFI|j@NHi~NEiuNmivNniwNoixNpnrIziyNqimN[n\Ijn`IniiN]ikN_n^IlkyLWlXKzlYK{l\K|lZK~l[K}kOLKkPLLlMKQlNKRlPKTlOKSlEJ}lFJ~lGK?k@LHkBLJkALIjVJqjWJrjsJSjuJUjTJvjXJtjML?jNL@jOLAlBJPlDJRlCJQioKUkVIpkWIqkXIritKZisKYicJeidJfieJgifJhihJjigJicucpcqcrctcs`J`E`F`G`I`H_T_V_R_S_W_U_t_v_u_w_x_s_y_z_{_|_~_}bNbObKbLbMbJbRbSbPbQbUbTk`k[k\k]k_k^sgSas`sbscs_sdsesfsesesfsfsSSZs[STs\SUs]SVs^SXsWSYr{S_r|S`r}Sar~Sbs@Scs?SdrQRyrRRurSRvrTRwrzRVrURxrESArJSBrFSCsERGrHSDsFRIsUQssVQtsTQusWQvqxSXsSQwrpQhroQgrqQkrrQirtQlrsQjp}SMp~SNq?SOsPQ@qBSRqASQsRPqprSNsQPssMPuptSOpvSPpUSLpVSHsKPSsGPTpWSIpXSJpLSLsGPGsHPHsIPIpKSJpJSKpEScpFSbpAS_pBSapDSdpCS`ouSYovSZs[Ows\Oxs^Ozs]OyrpOcrqOdrtOeroOhrsOgrrOfobSCoaSAsBO]o^SDsEO_sFO`r{OQoTS?r}ORoSR~oUS@r|OVn~RyrwN|nyRvruNzn{Rxn}RzrDRLr?RKr@RMrNRArPRBrCROr]QaqbR^qcR_qeRbqfR`qdRaqXRkriQUrjQVqYRnqZRlqWRmqmQOqnQPqoQQqpQRqrQTqqQSpYQIpZQJp[QKqLP\qNP^qMP]qCQ[qDQ\qEQ]qFQ^qHQ`qGQ_peP_p`PfpaPgpdPipcPjpbPhp@PQpMO{pNO|pOO}pRO~p?PPpkOoplOppmOqpnOrotPppoOsoiOXolOZonOYojO\omO[okOWoKRWoLRXrYOMrZONr\OPr[OOpwOEpxOFoJP|pyOGoIP{oHPzqyO?q~ODqzO@q{OAq}OCq|OBntRcrgNxrdNunsRerhNwrfNvaaa^a_a`abac`k`p`l`m`o`nfEfFfGfHfJfIfWfXf\fYfZf[elegeiekejehpSpTpVpUpXpWwEVgwFVhwGVivlWIwJVjwHVkv|U~v@V{vBV}v~V?vAVzvyU}uYW@u]WAwDU[uZW?wBU^wCU\vsUSuXVvuTVtuUVuvxUVvwUWvyUMvzUNv{UOv~URv}UPv|UQuAVhuBViuCVguDVjuFVkvlUEvtT|vxT}vwU?vsT{u@Vut~VvvrTgvmTcvoTdthVnvpTfvqTevmTQtRVntSVotTVptVVrtUVqw?TEw@TFwCTJtGWAtHWDwBTIsqWFsmWJwESnsrWIwHSpwGSouwVIuxVJvMUzvKUyvLU{vNU|uvUfuqUgujUsueUturUhuuUiucVTu_VOuaVQu`VPudVRubVSuJTAt?UGuITBt@UHuLTCuKTDtoVUvVTpvWTqvXTrttVZtsVYtkTwtvTntlTztiTutmTytjTxt]Vat^Vbt_Vct`VdtbVftaVetWV[tXV\t[V`tYV]v^T\tZV_ukTKulTLumTMunTNupTPuoTOvHS{s}VEvCSyvDSzs~VFs|VGssSishSusgStsvSlsjSxskSwc^c_c`cacccbdTdVdUbGbDbEbFbIbHjSjTjUjXjWjVihigicidieifsmsosnspsrsqyjykylymynyoyjYCyHYnyGYmykYDyFYlyoYEy@YeyiYAyBYfygY?x~YdyhX}yUXwx{YVyWXzx|YWyVXxyUXyy^Xky_Xly`XmyaXnxpYcybXoxGYOxHYPyQXIyTXLyRXKySXJyXXAxEY[xFYYxDY\y]XByZXCwyY\wuYYwvYZwzY]yXWwwxY[wtYbwoY^wpY_wqY`wrYawsYcwQYOwRYPyQWSyRWTyTWVySWUydWKyeWLwMYfygWNyhWPwOYixMXdx_XNxOX`xPXaxRXbxQXcx^YMyIXYxZYJx[YKx]YLx\YNxeXSxfXTxgXUxhXVxjXXxiXWwgXvwcXqwdXrweXsxtWhwfXuw]WiwaWlw`WmwnW_wkWbw^Wjw[X@x?WWwXW{w\W~wZW|wYW}amaoanoWoXoYoZo\o[ntnxnsnunwnv{V[P{V[Q{W[R{X[T{U[X{W[S{E[^{[[F{][I{Y[D{\[G{Z[H{aZr{bZszt[_{`Zuzw[dzv[czn[^zl[Yzm[Zzo[[{\Zqzp[]zN[_{`ZO{dZPzS[b{cZR{aZQ{JZx{KZy{LZz{MZ{{OZ}{NZ|zTZ`zUZazYZezVZbzXZczWZdzHYvzIYwzJYxzKYyzMY{zLYzzBZfzCZgzDZhzkZFzjZGziZEy|Z~y}[?y~[@z?[AzA[Cz@[Bz^Ypz\YqyrZZysZ[z_YuytZ]sksgshsislsjypyqysyryuyt|u\p\t|m\s|r\t|q\t|n\s|o\s|g\I|h\J|i\K|L\j|N\l|M\k|g[}|h[~|i\?|j\@|B\l|A\k{y\p|o[{|m[w{x\r|n[|{z\q|c\C|d\D|b\E|e\F|f\H|G\a|[[q|\[r|][s|^[t{v\`|_[u{k\U{l\V|Y[p|W[m{n\Z|X[o|O[i|R[g|P[e|Q[f|T[j|S[h}R]U}P]V}S]M}O]X}N]T}Q]W}Y]G}Z]H}[]I}\]J}^]L}]]K|{]_}d\|}?]c|}]`|~]b}@]a|z]B|u]A}C\w}E\v|y]F|x]D}q]w}r]x}s]y}z]t}|]v}{]u}e]k}f]l}g]m}h]n}p]j}o]i_@]}^C_A]~^D~E?@^?~F?B^@_A^H^B~G?B^A