CAT(1998,2)

Sparse6:

:~?^M_?_?_?_a?X_Z_Y_[_]_\_a_c_b_f?^_`?e__?d_g_h_i_j_l_k_y?U_V_W_i_g_h`B@?`A`@`?`A`@_|@?`A?~`@?}_w_x_v_x?~_w?|_v?}_y_{_z_y_{_z_m?s_u?o_n?t_u?p_r?t_q?s`{?x_w_v_^___`_^___`aSAMaOaNaRaQaPaIAJaHALaGAKaMAPaNARaOAQaBaCaA`~ALaJA@a?AK`{AIaG@}`|AH`s`r`t`w`u`v`z`x`yaG@]aI@_aH@^`qAL`oAK`pAJ`lAE`nAF`mAD`xAD`zAF`yAEaQ@kaR@iaP@jaM@uaO@v`wAN`f@~`hA?`gA@`kAAaC@iaB@j`c@{`e@}`d@|`]@``b@_`a@^`a@l`n@``b@m`K`M`L`c@[`d@Z`e@\`W@o`Y@p`X@q`V`U`T`r@R`Q@t`s@S`P@h`N@g`O@f`I`H`J`G`F`E`DAFaD@C`BAEby?R_S_T_S_T_R_R_T_S`c`e`d`f`h`g`p`q`o`r`t`s`w`v`u`x`y`z_W_U_V_X_Z_Y_[_]_\`M`L`K`Q`S`R`U`V`T`B`D`C`E`G`FdDCwCmcvCncuClctCxcrCzcsCyc~C{c}D@d?C|cgDBchDAdCCfc~Ccd@Ced?CdcuCZc\CwcvC[cxCZczC[c\CydACVcUDCcTDBcUCbc`CVcTCacQC^c]CScRC_cQCYcRCXcSCWcxCNczCOcyCPc`CKcbCMcaCLcHCpcJCqcICocFCtcrCGcsCEcjCCckCBciCDbvCmbwCnclBxchBtcgBubsCfc]BubsC_c^BtbpCHbrCIbqCJcBBmcDBocCBnc?C|c}CAc@C{c?CXcACWc@CYcFB|b~CEcGB}aqasarblByb{BkbjBzc{Bdc}BfbeC|bpBbbrBcbqBab_Ccb`Ceb^Cdb\DAb[DCb]DBb|BXbZB~b}BYcrBUctBWcsBVbJCqbKCobICpbFCobHCqbGCpbEBmbCBobDBna}Bvb?Bxa~Bwaza|a{awayaxciAtckAvcjAuc~Ahd@Aid?AjanCKaoCMapCLb{AeagByafBzadClacCncmAba_CNaaCPa`COa[aZaYcuATcwAUcvASbOBRbPBSbQBTbgBLbiBNbhBMb@AkbBAmbAAla\AVaXA^a]AWffBhbgbib[b]b\bRbTbSahajaialamakaoapanaTaUaSaXaVaWgDF|f}f{ftfsfrfofqfpfifkfjfeFlfcFnfmFdfhF`ffFafbFgfrDDftDFfsDEfxFMfLFzfyFKfxFEfzFGfyFFfBF]fDF_fCF^fAFbf?Faf`F@fZE}f\E~f[E|evFlfmEwfnExetGAgCEseuGBejelekf~Egg@Eig?EhedF]efF^eeF_eXFieZFjeYFkeVeWeUeRFufvETeSFwfeEOfcEQfdEPeMF~eNG@eLG?eBe@eAd}d~e?doG@f~DpdnG?foDhdjFqdiFpf{Def}Dgf|Dfd_FfdaFhd`Fgd^FwfuD]d\Fvd[GBdYGAgCDZdJGAgCDLdKGBf\DOfZDNf[DMemFTeoFVenFUfQEIeKFSeJFRfNECfPEEfOEDdzE^e`D|d{E_dwEydyE{dxEzduEadtEcdvEbdrEHeFDsdqEGdHFJfHDGdIFIdbE[ddE]dcE\dSFWdUFYdTFXdVDldmDXdkDWeqDRerDQepDPiN@i`k`j_U_W_V_X_Z_Y_[_]_\iWiYiXiTiUiViJiHiIiKiMiLiEIQiGISiRIFiNHyiOH{hzIPhrITiVHphqIUhfIWiYHdiXHehXIQiSHZiRHYhEIKiMHCiLHDh@hBhAiIGmiHGliJGkgbgdgcgYINg[IPgZIOgSgTgUgQgPgRhjHahlHchkHbh^HUh`HWh_HVh[HOhPH]hQH\hsHIhuHKhtHJhFHmhHHohGHng|Hvg{HxgzHwhgGthiGvhhGugqGVgsGWgrGXgpICiDGngoIBgjHNghHMgiHLgeGwggGygfGxhRG_hTGahSG`g~GMgOH?gNG}h~GLh|GJh}GKi?GHgGIAi@GIgDG\gEG]gFG^btbubsbvbwbxbfbebda_aaa`gMgOgNgKgLgJgHgIgGgEgFgDkdJyJ}jwK?jxJ~kCJtjvKEjuKDkAJqkBJrk@JsjnJ|jzJpjoJ{jbJ}jdK?jcJ~j_KOjaKQj`KPjYJzj[J|jZJ{k@JVkBJXkAJWjUKDkEJSjTKCkFJRjPKHkGJQiiKLikKNijKMifKIihKKigKJi`KJkKIbiaKIkNIckLIekMIdi_KHi]KGi^KFkQIZkPI[kOI\j\JGjIJ^j]JHjJJDjKJFjLJEi~Jej@Jgj?JfjjI|jhI}i{JijMIyixJOjNIzjlIwivJmjkIujAIojCIqjBIpilIrisInitIm_L_N_M_O_P_Q_L_M_N_O_Q_Pf\f[fZf]f^f_fHfJfIeqerepi`ibiaicieidi]i_i^i[i\iZmGMMmIMNmOMHmDMLmFMJmEMKlrltlslulwlvlzL`lyLblaLxlZL{l\L}l[L|mALWlYMClXMBl~LTm@LVm?LUlSLvlQLwlRLulOLtlPLrlNLslELxlzLGlyLFlBL|lDL}lCL{l?MCl@MBmALAk|MMmOK~k}MNkyMJk{MLkzMKkxLmlnKvkwLll~KuksM@m?KtloKplqKrlpKqklLmlnKkkjLllpKgloKilqKhkaMGkcMIkbMHmEK`mFK^mDK_lcLfleLhldLgl]Lil_Lkl^LjkdLKlMKfkeLLkmLHkoLJknLIkWKTkRKUkVKSkXK[kZK\kYK]iHiJiIiKiMiLbmbobnbpbrbq_t_u_s_a_c_b_f_e_d_m_o_n_p_r_qhIhKhJhGhHhFgzg|g{gogpgnk_k`k^kakckbo?NwnvOAo@NxnsODnuOCntOBnrOHoJNpoINqnrOGoENqnpOFoBNmoDNooCNnnnN|n~Non}Nmo?NjnkOAo@NlnlNynjN{nkNzm\OKm^OMm]OLnuN[n]Ntn\NsnvNXnwNYnxNZnCN|n~NEn}NDn@ONnAOOnBOPn?Nzm~N{m}Nym|OFmzOGm{OEoIMwoJMyoHMxoMMvoKMtoLMumeNgmgNimfNhmbNdmdNfmcNem_ONmaOPm`OOmXNfmWNdmVNengMYm[NhmZNimTmUmSmPmRmQnaNOnQNcnbNPn`NLn^NNn_NMnSNJnTNKnRNInFNUnHNWnGNVmkMnmpMmmlMomsMjmqMimrMhpq?I_K_J_M_N_L_O_P_Qf`fbfafcfefd`]`_`^`b```a`l`n`meseueteLeNeMjGjHjIjDjFjEi~j@j?ixiziymWmVmXmYm[mZqgQ^q_q`qeQ`qfQ^qdQ_q]q\q[q]QaqcQ[qbQ\qLQOqNQPqMQQqRQIqTQKqSQJqCQZqXQEqYQDqDQUqWQEqCQVp}QSqTQ?qRP~qAQ?qBP~p}Q@pzQPqQP|qOP{pzQFp|QHp{QGokQGoiQHojQFqNPjqMPiqLPhpeQIpfQJpgQKpwP\pyP^pxP]pYPtpvPZp[PupRpQpPpOpNpMpJQ@qBPLqAPKqYPHqXPGqZPIpDQUqWPFpEQVqfO~p?Qdp@QeqcO|qbO}o{QaqeOqqfOoqdOpqcOnomQaqbOlprOfpsOhpqOgpnOepoOcppOdo`PsobPqoaPro_Pmo^PlpkO]pnOZppO[poO\plOWpkOXpmOYpvOUoVPtoTPuoSPxpyOQpwORpAPbpCPdpBPcpUOxozPSoyPTouP_paOwp`OvpVOrotPXpWOss_?H_G_FkRkTkSkWkVkUkXkZkYk[k\k]k^k`k_kakckbsksmslsfsgsergSbrhScrfSdshRcreSjrdSirYrWrXrVrUrTrQSisjRSshRRrNSbrPSdrOScs_RIsaRJrHS`s\RGrES^s]RFs_RBrDSarCS`r?SZs[RAr@SYq|SZs[Q}q~SYqzS^s\Q{qyS]snQvqwSpqxSosqQsssQusrQtqpSkqrSmqqSlqoSnqnSpqmSoqjSesgQlsfQksqQgssQisrQhsJSDsFSLsESKsHSCsISAsGSBsPR~sRS@sQS?sXRxrzSVsWRyrrSMrtSOrsSNrqSUrpSSroSTruRlrwRnrvRmr{Rir}Rkr|Rjr_RKr^RMr]RLr\R`rZRbr[Ra_I_J_K_I_K_JtsUQtuUSttURuNTruPTpuOTqtntmtotgthtiuNSxswUOuPSystUQsvURsuUStjTytlTztkT{txTftvTetwTdt^T[t]T_t`T\taTXtcTYtbTZtUUHuJTWuITVtRS{tTSzs|TSuKTOuMTPuLTQu?TIu@TJuATKt|TFt~THtGT}uETEtDUGtCUFt@UBtBUDtAUCs}TMt?TNs~TLvP?G_H_F_H_G_FplpmpkpnpppokRkTkSkXkZkYpVpXpWpTpUpSvOV_vMV`vaVNvLV]vKV^v\VJvLVSvKVUvTVJvMVPvOVRvNVQvVUfvXUhvWUgvWVEvXVFvVVDvAVZvCVYvBV[vgU~veV?v@VfvdU}vcU{vbU|uzV]uxV^uyV\urV_utV`vaUsuoVUuqVSupVTulVPunVRumVQvYUiukV[ujVZuducueubu`uavbUYvdUXvcUWuTVeuVVguUVfvHU]vIU^u_VGuuUZuwU[uvU\wgSYs[sZs\s^s]r^r_r]rZr\r[qmqoqnqgqiqhwjWbwcWkwaWlwiW`whW^wgW_w[Wsw\Wtw]WuwXWvwZWxwYWwwLWmwNWowMWnwrWKwpWJwqWIwFWjwHWlwGWkwCWgwDWiwEWhwBWqwrWAwpW@v}WmwoW?wnV~wdVzwfV|weV{vxWfvyWevwWdvsvrvqvpvnvovlWvvmWxwwVkwsVhwuVjwtViwRVtwTVvwSVuwOWUwQWWwPWVxrKUkWkVk\k[k]tCtEtDt@tBtAxwxuxvxrxtxswyXoxqW{xpWzx{Xlx}Xnx|XmxiXxxkXzxjXyxfxhxgxcxexdx{XTx}XVx|XUxRXzxSXxxQXyxtXJxsXIxrXHxEXuxGXvxFXww|XoxqW~xpW}x]XNxPX_xOX^xKXbx`XMxaXLxWXBxDXYxXXCxZX?x\XAx[X@u]u_u^uZu\u[ynYfygYpyoYeybYqysYdyrYcysYXyWYqyrYVySYnyUYpyTYoy^Y`y\Yay]Y_yYYDyFY[yZYEyQYJyLYPyRYKyGYNyIYOyHYMyiYCyhYByjYAy?YmykY@x~YlwdwfweswsysxstsvsuwUwWwVwRwTwSyRyPyQyMyOyNyAyCyBy?y@x~zjzkzlzhzizgzezdzfzazbzczSZXzZZRzTZYzUZRzSZWzTZVzAZfzBZdz@ZezOZ[zPZ]zQZ\z^ZLz`ZNz_ZMz^ZIz`ZKz_ZJzHZ]z\ZGz[ZFzcZEzbZCzaZDy}ZYz?ZXy~ZZzUYzzWY|zVY{yyZgziYxywZhyuZlzjYtzkYv{`XpxqxovJvLvKvMvOvNx`xbxax]x_x^{`[f{a[h{b[g{`[c{b[e{a[d{?[i{k[A{@[j{l[Z{n[\{m[[{W[i{k[Y{X[j{V[d{e[T{U[c{f[Q{h[S{g[R{l[N{n[O{m[P{E[]{G[_{F[^{B[]{D[_{C[^zxZ~zvZ}zwZ|zuZ{zzZsztZy{KZr{MZp{LZqzm[H{JZozn[I_C_D_E_C_E_D_C_D_E{_{^{]zvzxzwzsztzuzqzrzpzozmzn|s\c\i|d\j|b\h|d\f|b\g|c\e|q\]|q\^|q\\|r\_|r\a|r\`|n\_|p\`|o\a|^\k|]\l|m\\|[[u{v\Y{w\Z|[\F|Y\D|Z\E|e[{|g[}|f[|{x\h{z\j{y\i{r\l|m[t{s\k|o[o|p[q|n[p|Q\U|R\S|P\T|W\O|X\N|M\V|A\J|L\C|B\K|G[~|I\@|H\?}N]R}O]Q}P]S}U]L}V]M}T]K}J]b}I]`}H]a}F]_}E]]}G]^}Z]B}D]\}C][}?]W}Y]A}@]X|}\v|x\~||\w|y\s|z\u|{\t}u]c}e]w}d]v}o]l}q]n}p]m}r]i}t]k}s]j}f]x}z]h}g]y_@^A^D~F?B^C~E?A^B}{?@]~}}?B^@}|?A^?