CAT(408,1)
Sparse6:
:~?EW_A?G?_S@GG?Y@wH_g@GE_o@wG_w@WI_mBGN_uBgO`ECwQ`QDWV@aEOZ`WEg[`yFW^`}GW_AQGOba?GgdaQHweaIGwpBAJwmb[LGubULWsbQLgubUJwobEJgqbMMWvb]MGxbaQ?hc[IGlCmJ@IakQXEAi@GE_U@wH_aWPZdqVX]eAVx\DUW@UdkSh[DMTp]dOVxXEYW`YdgWXbDeU@dd_XGzDINPTd[MhRB}N@SbwThLdESHMc}RHHcaPxJcYQhZCAOP\cGVHBDyP@_cSVxdeQWqJeEb`eeGbHXdiUGO`ICWR`UDGmbAJwqbEKx?cEOxCcIPY?gE^yAgQ_ymHOgY_H]dQaiSdiXIMhAWhKiieHEcaji[ciRIecQgfKjHsIq\alfSjHwIujPvh?iYMIabqjiWayiGuhqKfggX{IA^aafcgydFuh@zesehmHmZq\ho[XqH}[A]gS_iBGY`p~g__ICGiaQ@hmei^hqfY]hQdYUh]eYWlwYZ^E]w@gmCYzbEqw`imoyjmMuyzlLeurilszJjLavBmm{uglaeIGkamIgybmNG|b}Nj{Mi~RjnwzJ~Mv?Rno?zjuMUyRxmW}jgNaxrzn[xJ?Ne|r@n_ojBNipRznWpK@Ja~Asnslz}JU~qxo?lj]LavrXm?ujZMEvRblowjFNA{REnKqJqKe|RJnOqioKukRMiwrzOJMsQqi{rIyjmnI|j}njQQqssllPJjTQ}tsplXKGV`eEwW`YEhxfi]x|fq^k}RJLC~rLOKtSFLtBrXOkbRfGSwqTNK_RjHCzqHN[}OzNsNs@CL@PFCtBpHOkGRbAcxotMkHRnBC|olNKkOJJSBqx@KnOV@spr@@kSPjFsWptD{XPnFcTpXFKeu`H{guhI[jqhZL^TbWTXthV\VTzWDZtXVLOS^STGsXS|TSVQTSsPSlIUbQthuhRLjSvZTNupRlaw@XlbwHXLfwPX]?Uz_dnwL[MCVF`TrwD[lyVR\TzvX^LvVv]T~v`^mK?D`g@Wt`wAWxaGAW|a]J?LcWBX@an