CAT(400,1)
Sparse6:
:~?EO_A?G?`CAwL_qCGN_yIOD_]@gC_Q@GD_]@gG_iAWG_iAWG_iAWJ_uBGN`ABgO_}Bh]BaMgxcSIWjCYPoiaoQxLAyR?lc_IgjCiQOhawPwlCUJ@Ed_KXXBAToncwJxOBERoobWVX\BULp\b[UguDqUotd[KxWBIUOsbGTWrDYT?scCUXVCMO`WdGNxPCASo}dgNh[B}Up?cGRh@DAOpNbkTG|DYN@TbkQxLBuR?{aaHgfb_GwyAUMOc`[QxL@eR?Wa_TGfDYH`TdgFH[@mUoYdCFXR@yS_^`sQXG@}F`IcSExF@qE`Ea?SWaDMGPQaCQGaCiG@HaKEWWAUDoccwCXO@MRoQ`SPGUCQP?SaAGg`aMHWc`]EWW`}FW]kgpR@kKpJEKImrGjsqY{K]qA~jwqZFKAlQwjglivJejrCkWkZDJAnakk?jY~IyibAikoyhKEpqSk_djHHUbbEkScINKQaAwjgaiHJemp{js^Y{FyZPoe{[hmFEWaVhcWXbHae`choXiZEUhabiOhydIa`Pig[ZIEEmcaAgOcyBHE^qJgCbY?Gq]QqfklHyJM]A_iC\iaF]fPrh{\Y]FQXp]ecVxgEAAwL_qcyPhIVh_d}ySNm`CZiPAvsKmDBj_OuvCNlxCJ\PFCbXllDKRLjBBUowuKLL^DBMpGr{RKvASBol@[IOR?CEo`?kFOE~Ryno~z}Nm{RvnK}ZqNayrmms{JkM}|BanWxJtMMsBRlGtZPLQqbdm[rJeKmHgga]CWR`IDGU`VOc{rxPLBRvMTDrlP{ySZKDFsXKlDRFOclsPJ|BQzNscs@Hl@QVNsTsDD|?PZLc`r`G{vQJKs]rTGKsP~EsfptI[gPrIcWqpEkjPe@WF_ZWTeu@X|aUbXd\t|YLfTzVDGshU|HTjTtPtdS|WTJTdOtPR|TSzQtcstW|KUUEg[`nZtzvD^\oVr]Dzvh^\xVr\Tkv\ZluUvYdqul\LrUe?eFVz_?@We?uGV~_O@WR_oBWZ__AWV