CAT(512,6)
Sparse6:
:~?G?_A?G?_[@?D?YB_H_aAgS?uAwK`QDgU`UDGT_yCGN_yCGN`ECgR`ECwQ`]EgX`qEwWaKFWd@yG?eaOFwaAaGOf_aAWH_aAgIc[AwL_qAwL_q@GC_U@gE_UDwZ`iFGX`aSxTdaTHVdYSXOcyRXQc}QxKc]QHIceLWubaMgxb]LWyb]MGubeOPRcGTXVCMP@ScWThWCUSO}csNhMB}Ro~dGOHOCAOPJcOQHACiR@BcWPxDCeN?hbkIgjBuJ?zawNWlBqKGnbEKgrbQf_}cANx@cIOxCcYPWP`MCisHchIYIEfAbiGeIZIYhQ\igYyjEqZajesixoIiZqifCfhrIAg@th{\i]FQ[a^hGgyeHQcQaiScycHAbq`jKbYMJEbAmj?aYqGijqJgWjYDIu`AkgKjYGIq`qkfsjioGIjp}jC^yrGEka?f[jinFik@zf_kxxJEk`{e[dXgH]YQTegdhdH]XaUi[VyfEAi@`eKiXcIeWaghcUiYDmUQZdoeI[DyfP\hifIWhefYZ`uFg^aAGg`eqZxoeuZhjfI\HpfM\htg}cIPhIdIReUXhfeaYhheMWX_d}XHadeUh[dmVh\q`GSeqLH{cQ^GCeqTHkaQ^Cs^pxB{MPjCCZptC[QPrACSodD[IPZAsVotE[KPa~CAnt?{?OV?SEo[~j~OQ|sMo{}juPA}CPpG}[RNnAa}jhBKJJ}nSLjlAI{Oe{cCo[{JtOM{SDnP?jrOYvbumK}z^NewByn[wj`NbGbYltG{_LausdlpG[cLescSpWtjRPVDrVlTEZSParCYktE{\Kyrs[lDFzOPy~AsnslZ}JZ?Qwo?mZ~J]pbik[yzGMqqRnkgzjJMuoBckCxZeKIxrBkSyJhKQJGhaiIwmav^DQvxS|TVvTD~w@T}@TZRD|st^lMV~_DNwDS\OVrXDEuTP|eSbQTfslY\IUb[D]t|[\_VJWTrvTWlbVRUdzvXULvTf]DZvdV\yTrOCysDM|ARrOs|r|P[}SRMSprPJktQ~LcorLMKvRJIDiqdY{iUrItlqtZ{kUyHggaMHGfaVlu_yDlMaZJgutyTlmcZNeUtzPdMqXVdeuz\d}WZNjEYyte}mXrju\zDf}oXzbeGw|a]OWjauPwtc}KXJ_eewLh}FYf`EgwXi}DYiNW{bnrfU{lt~W[~qfU|`rNL\^sE}|Dn~Q[Bsv@{Lt^A\RmvFzdp]y[bpe{ztq]w[QdYVhZxVj}Xy~f]ryfl}dz^g]ruV^|hwNZ]FvFa}Pvnb\vz_@^RzoA^V{?B^Y?Vr^^}OB^I?fp^b