CAT(578,1)
Sparse6:
:~?HA_@?A?CBOA?D_K?a?wAWD?J_S?q@WBGDOJ_X@QA[CwIOT_j?u@{BgGOQ_b@WB{GOKOV?~A?BKGOLo_?t@kBcE_MOV?|@WBkE?NOX?zAYCcGgPod`NAiD[JWUOh`PC?DwLGW?t`mBEEoKg[?r`[BeDwKGX?r`[BEFG@GB?s_MBUEwAGZ?H`o?U?c@WBOG_R?]HwSGh`SaaDIJGUGkPWa}DkJcU_mPZAzDcJsU_nPXAzE_KOXWq@dbEE]KoWWr`_bKD}LcYguphbVEaJcVgmpmBhF?Mc[_zPpBlFKMkZoyq?BoFuNg\w}@~buF}NO^g{`}c@GEOS_xAqCbNEUKs[GvPnbfFIMKb`FqMCfH?PccPEQQCZHOPkbpBQOCNHCPCc`CqSCVHKPSh@IaacsIERGgXJabcoIMQoghMQZd@HuRsfxSAldGImTGjHRAmd]IUSwihWQsdbJIUkkxPqadBJoUsm`]Q|DrJsVCmp^Q}DnDYIkTxbBAeIJ}WgoHbbCeMKMWooWbpGaLCQGkOG`P@aFCyHKQgdpLaXC}ICTGgpQafLWXssPfRQE^L?Y[s@irSE^LCY{s`kRRErLoYcupjRTEtLsZCv`jrZFDL{ZSv@or_ErLsXCqPpR^ETLwXkwPeR_EVByF{NYA@|b~FyO{`hCQHcVGiTSixVqld\IqVClh\QvdvJea`CIIcLgkO}aXBiHCWgmPE_xBYCCMgQPA`XByHCKgSPE_x@ICCCgSOU`H@YECEgUOY[W}xqBzfKNq^gyH}bdfwM]^oyY?Blf}Mi_GzhtcBfWOI^wzx~BofaOA]P?XyCBfeOIaW|YKBwggNYag|yJBygmNeFSNG\tKIEQUgXHiSDDiIQ]dPPISdChAS]bxPiODGiUQQhHGydCagwSabhQYKdFgsSYbpQydCZhmRufpMI^cxi?RigPNI_czheQ}d`KYTcqhgRAepJiYcl`zB}FkNw^O}jeU{mTZaxTiJbUkmDZQwTkJbUgkdZqqtmJLUkk|ZQstkJPT_jtVqkt_ItUCj\WqmtaIxTOhlRAhtMIdTSh|TqgTUIbBiF[NG]Oz`tXO^{~i?S@gFOIq@cZDePkWXMppcjFeRkYXIq`^z?ETkmWIqp_ZKeCkoWMq@`jDeDkWW]pxaJFEIkYWenHdI|ETkmVqqp]zKd}koVumt\Y{TvjhVMhDQYbTFiVSiv@gJOexlCZisXmzQe|lGZqvPhj[EfluYav`iZ]ejlqYir\fJLU^kzXyt`kzZell[ZIuHlZWEsl]ZYy@njge~mc[AyhoZ`fSmC\MwhqjfFHmG[qwpqzffFmY[az`tjkF]my\]zHvzlf`ms]AmD[iwurldZUu|lJZVgNX]_|lzrtVoNR]g|\zbsvjND]K|dzbqVdN`]{{|xbuw?KbXMqTqjeVMmV[}xm?C@wCO@_X?M@S@WGOD_\?L~byv|Nl^s}d{R~vqN~^K~t|s@wCNp^l?|}SAv{OP^h?uFcLgHou_jBaBkMGJoy_vBiBKFgToc`ZAaD{GGWos`FAYE[NGcpI`~CqGKSgapOaFCyGz~V~nzb@DUKSTwqP^bHDuKCUWpPZ`nBmFG?grPr?HEaMW@GwPtbk?YLk\_@Pn?LEiMn