CAT(1984,1)
Sparse6:
:~?^?_?_?_?_P?I?D_F?H_E?G_J?M_L?O_K?N_\?Y_Z_[_Y_[_Z_h?b_d_c_n?c_d_b_p_n_o_m_l_k_m?n_l?o_k?p_g?h_j?e_f?i`C?}`?_~_u_t_v_|@?_{?~_z?}_y_w_x_s_q_r_\_^_]___a_``?_}_~`^@Y`Z`X`Z`X`Y`S`T`R`U`V`W`W`V`U`Q`O`P`N`L`M`C`E`D`A@T`B@S`@@R`F@I`K@H`G@JaE?e_g_faNAHaJaIaEaGaFaBAIaDAJaCAHaEA?aGAAaFA@`|AA`}A@`~A?`_```^`a`b`c`y@|`{@~`z@}`s`u`t`r`p`qaJ@j`lAIaH@kaB@iaD@haC@g`f`e`d`]`\`[`m@x`o@v`w@nbG@|`~`}aBaDaC_a___``b`c`a`s`u`t`d`f`e`[`]`\b_BZBQb[BRbPBYbObNbMbNbObMbKbLbJbGbIbHbPBGbRBHbQBIbDB\bFB^bEB]bABYbZBBb[BCa~BTb?BUbSB@bEBKbDBLbFBJa~BCb@BAb?BBarB^b\Asb]Ata{AqaoA}apA|bVAlbWAmanBXacadaea{ATa|AVa}AUaQBUbSASaRBTaNB\aPB^aOB]bVAKaMBXbWALa_Aua^Awa]AvayAkazAjaiAxa[AfaZAga\Aha`AWaYAbaXAacp?V_X_W_V_X_W_V_W_Xa{a}a|bCbAbB_Y_[_Z`@`A`Ba]a_a^aaa`abauawavafahagaLaKaMdVDSdQdRdBdDdCdBDQdDDRdSDCc~c|c}d@Czd?CydAC{dMCmdKCodLCnckDEclDFcjDGc}Cnc~CocmC|cgC{ciCzchCycxDNcvDPcwDOctDJdICudHCscfCqcdCpcrCecrCfcdCqceCpcacccbcTD@cRDAcSD?cOcQcPdUCLdUCNdUCMcJDEcIDGcKDFcgCHcFCicGChdTCEdTCDdTCCcBc@cAb}Cvc?Cwb~CxdHBwdJBydIBxcsBtcuBvctBubqbsbrcjBnbpClckBodKBldMBmdLBkb_DNbaDPb`DObgC[beC]c\Bfc^CXc`CZc_CYcUBzb|CWb{CVbhBdbjBbbiBccecfcd`j`l`kevEgexEiewEheeefedexEZewEXevEYeyEOe{EQezEPeIeJeKe{EGezEHeyEFdhdjdidedgdfeLEjekENelEMdwE[dyE]dxE\eUDzeWD|eVD{dvEoduEndtEmd}Dse?DqdrD~dnEsdpEudoEteaDkecDmebDldbEpddErdcEqd_ECdaEEd`EDd^EAeBD\e@D]dYESd[ETdZERdVE^dXE_e`DW_S_U_TfxFwfzFufyFvfxFrfzFsfyFtf`FlfbFnfmFaffF]fhF_fgF^foFTfqFVfpFUfNFQfPFSfOFRfcFKfMFefLFdfEFifGFkfFFjfCFYfWFDfBFXfHF?fIF@fAFJf[E~f\E|fZE}_R_Q_Pg\GVg^GXg]GWg\GJg^GKg]GLgGgIgHf~g@g?f{f}f|gCGTgUGAgSGBgPGMgOGRgNGQgYGDgZGEg[GFgzAratasaPaNaOaLaMaKeReTeSdWdXdVhAHDhBHChEH@g}H@h?HBg~HAgzHFg|HHg{HGhFGyhHGxhGGwgwHChEGygxHDg_gag`grG~g}GsgqH?gkgmglgjghgigeG|g{GggzGfgbgdgcgtGngpGvgoGuhs?J_L_K_O_M_NchcicgckclcjaAa?a@_]_^_\_u_t_v`^```_`p`r`q`o`m`n`g`i`h`[`\`]bmblbkbjbhbifOfPfNf?fAf@gegggfilIZi\i[i]IYi_IWi^IXiNiOiPiMIciLIeiKIdiIIYiJIWiHIXiBIciCIdiDIeiJI@iHIAiII?iGIAi@IFi?IEh|I`h~Ibh}Iah~ITh|IUh}IVhyIQiSH{iRHziBH{hyIDiCHzhshuhthwhxhvhqI`hrIbiaHpi]HrhqI_i^HpiMHniKHoiLHmhoIEhmIFiGHnhYhZhXiTHjiVHliUHkhghhhiiPHeiNHdhfIOh[IQiSH]iRH\hvHWhVHwhUHxhRHshTHuhSHthNI\hLIZhMI[hQHchbHOhPHah^HKhJH`hIH__D_F_E_G_I_Hhnhohmb@b?a~bEbFbD_g_e_f_h_j_i`F`G`H`O`Q`P`C`E`D`@`B`Aaiakaje?d~d}e^e`e_d_dad`dZd[dYhahchbh^h`h_kkklkjkckbkakdK[keK]kfK\kUkWkVkOkQkPkKKekdKIkfKJkXKGkZKFkYKHkFKRkHKSkGKTkAkBk@kCkEkDksIgihKtifKuiiKpijKrikKqkMJ}kNK?kLJ~j|K`jzK_j{K^jwKgjyKijxKhkoJtjvKnjuKmkgJqkiJskhJrkMJpkNJnkLJojkKmjmKojlKnjeKIkKJgjfKJjaKOj_KQj`KPjYKEkDJ[kCJZjVKBk@JXkAJWkpJRkqJQkrJPjUKuksJSjTKtkcJOkbJMkaJNjIKjklJHjGKkjAK[jCK]jBK\j@KTj?KRi~KSkYI}kZI{kXI|kVIykWIzixKUiuK`iwK_ivK^jDJhjjJFjEJij\IrisJ^itJ]jbIojcIqjdIpjKInjLIljJImmnCmcnco_b_d_c_q_s_rbbbdbcbebgbfcIcKcJfQfSfRfHfJfIihifigiiikijjhjjjijdjbjciritisiliminnRNInTNKnSNJnFNWnHNUnGNVnQMkmmNOmlNPmhNLmjNNmiNMmeNImgNKmfNJnFMbnGMdnHMcmeMjmgMimfMhmlMcmmMdmkMbm|M`maMzm{M_m\M}m^N?m]M~mqMYmZMsm[MrmVMnmpMWmXMomSMtmUMvmTMumPNCmRNEmQNDm{MNmOM|mMMzm}MJn?MLm~MKmqMGmsMImrMHmEN@mFNBmDNAmwMAmyMCmxMBl~m@m?l}l{l|n@LxlzNBlyNAnCLwluNElvNDlrMtltMvlsMuloMompLqlpMnliMwljMylkMxlhlflglcldlenRL]nTL_nSL^lZNUl\NWl[NVlPNMlNNNlONLlQNOnQLSlRNPl`LVlTLblULalnLWlYLllXLml@LKlML?lALLlBK|lDK~lCK}k{LJkyLHkzLIkwLEkxLGlFKvmdmbmcmemgmf_l_m_k`L`N`MaQaRaSeCeEeDlBlDlCl?lAl@kzk{kykwkxkvpNpOpMpLpJpKpdNpnrPbpcNqpWPGpXPIpVPHpEPPpFPRpDPQpAPZpCP[pBPYpSO~p?PTpUP@ouowovorosotobP[o`PZoaPYo[o\oZoYoWoXoUPMoVPOoTPNpJOQoSPLpKORoHPXoJPWoIPVpPOEpROGpQOFoBPSpUODoCPTpeNypgN{pfNznvP\nxP^nwP]nsP_paNup`NtnmP_paNop`NnnjPgnlPenkPfngPbniPdnhPcp\Ndp^Nfp]NeojOlokOnoiOmoqOgopOhooOfozOeocOyoxOdo{N|n~O|n}O}oKNaoMNcoLNbo@N`n^OAo?N_oPN[n]OOn\ONnXO]o_NZo^NYqxPppnQwpoQvqyQ^q{Q`qzQ_qXRBrDQZrCQYr?QUqWRAr@QVrEQRrGQTrFQSqOQsqPQuqQQtqLQpqNQrqMQqq]QIq[QJq\QKqFQaqcQHqbQGqCQ|qDQ~qEQ}pzQjp|Qlp{QkpwQgpyQipxQhqdPtpvQfqePuqmPrqoPsqnPqplP}pmQ?pkP~phQ@qAPjqBPireRprqRcrdRortR`rsRbrrRar]Rur^Rwr_RvrHRWrYRJrIRXriRTrkRVrjRUrfRSrQRhrgRRrPRmrNRnrORlrZRKr\RMr[RLsFSOsMSDsESNsJSAsLSCsKSBr~RxrzS@s?Ryr}SIr{SHr|SGsPSVsRSXsQSWsSSYs[SUsTSZ_M_O_N_J_L_KgwgxgyglgmgkghgjgiifihigijikiioiokojogohoftCStSwsvSysuSxsqSzsrS{s|SsswSnsxSpsySoskS{s|SmslSzshSpsjSnsiSosjSmshSksiSlsbsdscsbscsdsesgsfsesgsfs\Sts^Svs]SusqS_ssSasrS`tj?H_I_G_D_F_EmimjmhmlmmmkhphrhqhYhZhXhihhhgqIqKqJqFqHqGpmpkplphpjpiuHuJuIuGuEuFu?T|t~UAu@T}uBTyuCT{uDTztvT|t~TxtwT}tvTztxT{twTytsUBtuUDttUCu?TpuATru@Tqtltktjtktltjtmtotntmtotns~Tgs}TithT?t@TgthTAtiTBttTdtsTetuTftaTptcTrtbTqtHUFuGTFtGUEtCUHuITDuJTEtRT^tTT`tST_tXTPtYTQtOTZtUTMtWTNtVTLtIT[tJT\t]TKv\TgtithjPjRjQjSjUjToToVoUoQoSoRs~t?s}t@tAtBtUtWtVtXtZtYt[t\t]t^t`t_vwVtvyVvvxVuvzVqv|Vsv{VrvwVnvxVpvyVovqVkvmVsvlVrv^v\v]v\v^v]vlV[vZVkvmVYvVVnvWVpvXVovMVSvNVUvOVTvQVSvRVUvPVTvVVQvXVPvWVRvNV[vOVZvMVYveVJvLVgvKVfvhVHvGVivIVjvDV_vaVFvEV`vAVbvBVcvCVdu~V_v@Vav?V`vbU{vdU}vcU|uxVeuyVfuzVguuVhuwVjuvVivzUrv|Utv{UsuoVtuqVvupVuu`UKubUMuaULulUZunU\umU[uWUfuYUhuXUguTUeuVUduUUcuQUiujURukUSuPU]u_UNuOU^xTVSvUvTvVvXvWv[vYvZlNlPlOlQlSlRq@qBqAp}q?p~uKuMuLucueudufuhuguiukujulunumuNuPuOxrXoxqXtxpXsxuXnxlXwxvXmxZx\x[xWxYxXxTxUxVxTxUxVxQV}xSW?xRV~xOX`xPXaxbXNxKXcxeXMxLXdxfXJxgXIxhXHxEX^xFX]xGX_xDX`xbXCxaXBx^X?x_XAx]X@xfWvxhWxxgWwwsXcxeWuwtXdwdXxwfXzweXyxiWawcXkxjWbw^Xlw`Xnw_XmxrW[xtW]xsW\wUXoxqWVxpWWwXXuwZXvwYXwxiWRxjWTwSXkwOXxwQXzwPXyx\WLwNX[wMXZwJXWwKXYwIXXxQW@wBXRxSWAw}Wkw~Wlw|WjwyWgw{WiwzWhwpWFwrWHwqWGwCWmwoWEwnWDzXZVY?zWY@zUX~x{ZUx}ZWx|ZVzCYMzEYOzDYNzBZGz@ZFzHZAykZLzMYmylZNyhZIyjZKyiZJyeZRygZTzSYfybZPycZOydZQy_YqysYayrY`y\Yuy]Yvy^YtywYYyyY[yxYZy}YVz?YXy~YWySYzyUY|yTY{ynYPyRYpyQYoyJYDyFYLyKYEyHYAyIYByGYCzvZ|zxZ~zwZ}zyZszuZ{ztZz{?Zm{AZo{@ZnzjZpzkZrzlZqz^Zdz`Zfz_ZezaZgziZczbZh{BZ[{DZ]{CZ\zX[EzZ[GzY[F{Z[H{\[I{J[[{Q[T{V[S{U[R{W[N{Y[P{X[O{K[]{M[_{L[^{k[h{f[i{g[j{`[c{b[e{a[dxSxRxQs}t?s~t@tBtA{x[t{z[s{y[r{r[u{w[t{v[s{l[u{w[n{v[m{x[o{z[q{y[pzUzWzVvMvOvNvQvRvPyDyFyEyCyByA|S|U|T|P|R|Q|O\H|M\G|N\I|G\J|L\I|H\K|P[{|R[}|Q[||M\D|N\F|O\E|A\J|L\C|B\K|S[~|U\@|T\?wJwKwIwLwNwM|o\k|p\l|m\n|r\h|q\j|s\i|n\e|p\g|o\f|b\q|d\s|c\r|_\V|X\a|W\`|Y\]|[\\|Z\^_C_C_CyGyIyHyJyLyK|V|X|W|Y|[|Z}F]R}H]T}G]S}O]H}Q]G}P]F}T\t}S\u}R\v}C]I}E]K}D]J}@]L}N]B}A]M}P\}}O]?}Q\~|z]L}N\||{]M}I\w|y]K|x]J}[]j}]]l}\]k}d]g}f]i}e]h}^]X}Z]`}Y]_}U]a}W]c}V]b_A]v]m}o?B]x_@]w]n}p?@]s_A]r]u}q?B]t