CAT(824,1)
Sparse6:
:~?Kw_@?A?CCOGOM_^@EA[CgL?S_j@YCWFgNo\_~@yBkDoNOX?~@_BkEgMOZ_n@eBCJwWOp`EA}CgKWQ?o`XAyDkIwSoi`CAaC?HwO_e_Z?u@kCGFoMaGCUGgPga@EaABUEwOgZ@B`rBiFCOoYP@@dCGE[NO_Oz@|BoF{UOGoQ_f@iBcEw[Oy`rDoJ{V_op\B@DcJcUonPYAzD{IsU?oPVBBDUIcSwj`LaoCyHwTgk`FasCeJWQGg@IaWDIIGQx??M_`?}AkDGJOd`FAQCsIGRom`XAuCCGgOo_`BAIHkRwfQTCXGwQ{d`EqSCTHGP[cpCqFCVG_PK``DQCCZGwOk_pEQDC@GKOS`@?p|b|F}NgdW~aUb{H]Pw]hG`{c_FmNOcg}ARbuHQKO\wp`xboEQP?\hB`scKFUMG_gxa?bcGELs[GvqNBVEsQKc?uPgbTEeKg\w{`eboE]YGDwKoW`zBqF[KgYOrbVEuLcupiR[ElLSZSsPjrQErLKZCsPirRElLGYcs@lr[E\K{ZSnpfrOE@KCXslpkQwErJWY{kXXQodZI}Tsh@dqdEZIWXcrPPrJDDKoSKq@ORIC~KcRsepcQ\ETHoXKpP[qzENJgWskp`QtEHJOW[n@TQ}DXJsT[hpKQXDPHgTLC?DoI_XPW@[BGDQgdNIeahEiHcZggPeapEYJcZgoPia`DiIcWgeP]_|AYCSCgLOU[pCIHBgfMPE[XByFBdgYMQ[@ByEbafAOyZhCIHB^e{PE`O}IEBygUNe]p?XycBfmOI]_yhxbjfcMe^o{Hwc?f}M}^gzH}BmfYNmM{]W{P~bzFyhPHYdcfiQQYgDOi_s}h~RufPPi]DGhuS]d@PiTDGhQS]hPGYNdJiQQAeXPY`cqiGREepKIYCnhiQydhGyUCchUQIexFINCxgyRa@SAwERGeTKeXkrHdrMe`K}hdRietoJNVGlD[QstcJfUWmd\QqtiJBUok\YqpT^J^U?ltZQnTiIvUojlYqmTWitTeih[IjdqikVEiP[yiDsjiTMlhRyvdPj[TA`lByFSTghPMqTczGuMk`W}oPdJJECkEXUq`^zJE@k?XUqx^JKd}koVuqx]ZKdzkoVipXaJEeIkWWemp`Y{EFjmWYt`iZVEjlYYisXjzQeplGZArPgJOe[lCXmspfZSE^lMXyvXkj]eslwZMv@lZZexlsZYIsUGjrAeHKMVcnh]sdhNQYdDIiStujpV]pDajCvOMl\_yTsRjvMMh[{ylrRhvLMT[{xdrbdvOMN\GxLsRcVCMX[WxTpRdvCMN[WxLpRcU}Ml\_wDnrjvRMB[KylobiVv?N?e@C^G|PzfdNQ][zxwroifTQiTSIftPkvXqrTfZNu]oK_f@AA{BgIoI_r?YBkAGLoK_B@A?[BgAny_N?h~{AF}ns_A~a?j|g@nu^u~`~z|F}mq^QzX|jlFtn[_m}AAjvgHnU_q|iBjuGLnO^]~HyjsfwnI^]~HxzrFwng]I{`|jpftnc]A}XwZwf^mw^M}HvjxF\p}?Q?s@[^g_o}cFBqOKLg~owcFBiOK]GXosbzFiEKIgxpu`^AqMk]GQp{`RFiC{Fgxpu`FAAMkXglpia~EaJkWGipcarEII{Rg`pQaNDAGkRGwpIbZEyHGBoH_P?]@KAKsh_RLe`KUXsoxbRLe`KmXsqXVRFddKmUCqXSR@dXKUTSoxPQzdHJuSsnxMQtdpIERslxIQHc`G]QS`XJQJc\HmPceOC_L?U?c@WBYINd^M}L|JzVtsQgFPA_|@IFsQgROq`|CIDsSfVPa\|Dhur{gROA`[~iEsEfrNi_\@HzsYfbPy]lFHxrcgjMabKxiJs[fBPy[\EhnrRenLUZkuxkprbjF]NK^W|skizRAkLJintAjNRyk\OIqtahrRqk|XI\t[hfRQkLViZsbhJQEc|IyStWiVTih|TietCibTQhLSibtgkfXYlldItuEjvVyp\aI}uAjnWQnL_IytmkZVIqL[JFuilJYytLjJRuWk~Xqs\ejOrLebK}j\UYjtPijTMxDnZ_VLmTZ}wTnZ_VFmHZ}wTkzbUtmHZExDlzeUzmTZe|dCYHsNkNWmpL_ZAuBnX^e}D~ZvVznX^]}D|ZvVrm\]e{tszgVjnd]E}txZyVbmt^ezt~ZmVznP\UzDxzjVjpP_bC]@kRwCpJaQ~}?kPweoB`rA}EkOwWo~_jAMBkIwKofbjDMNkUw{pVbBE}JkYwqpr]e|\x{eX@q`cNGeR{bXNqTdFHER[PwfpI?JJuSoBXaqi?RKET{n?Cqrdo?UW{lX_?N