CAT(400,2)
Sparse6:
:~?EO_A?G?__@WF_]@gD_YBOG_oAWI?mDoP`ECwQ`MCg^@[FWW@yE_]`cFg[@uEo\`SDw[@QE?S`WEgU@mDOXbsCGM_}DGU`UOHAcIOH@cEJ?rasKgjBEIouasLWkBQLorbCNGuBiMOsb_KgzBUM_|b_NWzB}N?}b[NwxByG?oaGJgbAyGOnaOKGn@}HwiaYHWgaeAGH_qBWJ_i[?jauJGmbAJx{F]\hwfe]xyfA[XqfI[Hpe[QxLEeY@HcwYhKEqQ`jeS\HcFM[p`eK\HaFUX`te{VHnEAZP\esUxmD}Z`]c{\hQF]]@RfcSHzDQ]`Pe[TXYEaU@kecThXEiTpjcO\xwCU]PEcK]xGFY]`Fi{@gD_]jqHi{aioGukQJjCaIoGqgAkiOjY`IuhQmiKjikIIiAUiWdIfHUiQVhciyiHabaYg{eyPHycA\hKfy[HI`a@gO^YDFq^qAg[_IBFyMw{b]MWwbiCWR`IoRWjwti~LYoBVl_ozVKIsBCkSsZELIprRkctZGLQtAvl?kysLUsaqlKljPJUqawkkmYyKqnRLjoryzKyyrdm_{JeMqyblmczjfM}vbbl{uZZMIwBYloxJ\ME{RvnS}juNm{bwno{zsNeZXneyXh`eIWxdeR@sBo`@KHONAsCoT@kIOU~SEo[~kGN~AS?ol?kIOEjImiuLgpbIKwsbU^x}gA^I@fvG[aqZHKdqNEC[ptE[]PjGCXp`E{^PjGSKqHB[bOzHCNqXC[dPBCcZpLFKTQBFSSpxD{^PYPxBcQQHEcVNsxsLMl?RnPC{rxO\ARvKt?rPO[tSNLdCsHMK~R^IspqtH{kRBICmqhKkhQ}@GC_Q`iAg]_yDgRIkfqnJKgqfWTVuHULXURTtbu@U\WUVUdDtlPl[S^VTGt|QlHTzUtPthSl\TNTD[tXVl^TVRtdslW|`SvWDKuHSLMURZDwut]\mVjZtzvD^\oVrXdqu\[|gVR\Thul\|iVY?UCVy?eDV~_?AWZ_OBW]?UBWf__BWb