CAT(518,2)
Sparse6:
:~?GE_@?A?CCODOI_T?w@{BoGOM?`?kASB?HoL?b?kAKBOHoK?dAKACBwFOk@LA]DCIGROf`GAaCgHgP_f`?AUCOGwO_c_q@uAwFwK?]_s@uB_FwL_]`?@QAoGgI_``tBaFKMw]o{`WBUEwJgZ?l`cByE_OGX_~`]AeEGIgT_o_V?u@cPwcpGaEDAGGSg`@PaGDAGoSga`PaYCiH_Rwf@J`@AICKTgkPVarDmJSV?np]BBDsKCSonpTBBDOKCIWTOjb^FALsYwupkb[EaM?Ygv`hbCEUK_Xwp`ec?F}Nk^g}PybvFKN{[O}pqB|FOM{]OzPwBjGWPKa@DqFCTGSOS`@?QBCB@uBsFw_pBaDCUGcPgpPcbFEYK{XX@qDcHGEOS_HQA`dKIMSgghNA`d?IMRwghMATcyH]RWdhLA^c{HaRGgHHAVceHUQ_dhLAScqHIQWeHRAKc[IQSgbXGa\c]HqQ?exa`|b~Fy?{AWCOk`\AuD{KWWOh`VAiIkSwiPsblFUMK[wxRUErLSY{t@kR[EdLKZSupgrRE^L?YSsPfRSEXLWXktPdrOEVKsX{r@fRDEtLoW{upbQfEBI_WCiP^rFDzKWVspP]RVDrJkZKm`kRGDnKgVCqPZQtEHJKWSl@`qpETJGXCk@cqlEFI{Wco`VQiEBJ{Tco@TsL?H?Y?l@pvSGFZOc\cyaErjG^Mc`sxaDrfGXM_`TBPpsNFJOw[dAPosFFDO_[CvQER]GTL{`[~aAR~GLO?_k}`|r|FrNo^C|PwRvF^NC]s{a?rsGFNK_TKOBoG_R?]@CAYVCpheRAdxKiYCmhkRAehJyYCfhkQUehHiXcchCRIcXKYHCkhYPAdXCYSc`g}Qid@GIKc[g{PmbhEiHcVgiPaa`DihA~eBKAWSpH`oC_L?U?c@gAtWI`TgiLUQftOIvTCjlRqmTTIFT[glTaaTKIvSwjlRQmTHIpSgjLQqlTSIPS[iTPaht@IfTOgTOAhTTHzR{i|NajSvhrRafTNI\sHgPO]`dAyDTcJxUWntXQ}u@JZW?l|Za~tiJxUontYq}tfJ~WClL_AsT]i~UAkLWypTxJfVSn\]ayTvJ`V_mT\awuAKhXWod_rIuJKbWsq\bBHUMKPX?pTbrCuWKNXcoldrBUYL@YGrdgRLubKzYSrthBNsmh`Q}nL]y|TwjnVYt`lJVErlYZIt`jzVEplYZAtxhjWegl_Y]uPiZYEjleYiw`SYgTNkbXIq\bjGUNmG[qwpqzafImK[aw`qZafFlm[MupoZ`EtmMZyxHoJcE~lu[ivhrJ]FJmCZawXmj[f@nC\Gz|sBovPN@[s{DrrnvMNB\czdurnVYMz\KytuBivSMn]k{TxBuvbNX]W|DxRtVfNR[MwToZvFsn]^Y}@|Zwftne^Y}P|Jnv`n@?C~h|w@f~Np^c?P~j|?ANz?C~`~z|_BN|