CAT(416,1)
Sparse6:
:~?E__A?G?_s@?E_O@WD?Y@GE_UD?R`MCwY@[DGU@eDOW`WDwT@eE?S`mEg[`uFw]a?GwaAUGOcaYIGf_}BgLbSCWQ`ACGQ`EOOuB}Lp?bwLWwCAM_}bcNw|ByN?~bkOGpBQJoqb?KwqBuN?sbkKwuAqJ_tb[JWwAyJ?yasMWoAeIonbCIgI_qAxaA}KGpbMLGqbmNW{`]EWWaAGg`aMHWcaeIwifG\XrFY[PsesZxoEmZ`kfCYxlFM[`keSYHeEiXpheO\haFUWpseGXxcEYWpddCVhQDuS@[dKVh\DUV@SewThVE}U@ocsWHND}R``e?QxKD}Q``cOYHEEiPPhcGUXBDmOPYdkPxXCeU`Gi[@wH_ahaEiSaIcG]`AfgSiYBIahQ?iW_icGE^qafwgX|IM]a`fkgx{IIhpvfciXwIaeqIhsay[GebAWgweiXGuca]hOgIRH}cQVg{diOHUAgK_mAgK_msRGKyqRNl?qjJKysBLkorzJKQobLkooy|KenbIjoqJEJapqukSlyrJemqsjglYoJ}kb@jCoIiIujqkikjgF_eAGF_eAJqDqVh\d}WH`mc{JpMmybnmo{JpMyzRnls|Z^N]vbumWzJgMyxrlnOxJqMU{rbmcwJjMIyb`lk{z[NQ{bYnStzvLe|bWlEszQlQtjTiIgy`iYhYcnxDk?Pa~sVo\DkHPbACVoPE{YOZESDoDE[BPn?cYna}Zynm~Z{pLB[TO~DCMohC[QOrAsOqxFK]RBFSnqlH[lQ^JCeqPKkrQJGspq`F{hQFIc_rPN[~RZNctr\MkwRrMSzkysJNpNDKTpJC[OsxPlKSbRTFsdPlJS^QdGsdOLJSFQdAspO|MSVRTCtw{Zom~I{kqvIKiqfXd]u@X\^URWDauLVl^UFSD\tlS\NTrWTWuLUlaTfTTct\XlUUVVDQtPV\ZTN^DkVfYdzul]lyU^]ThvlYLuVN\Twv\\LlVBZtqux[]DVr`t}wX^]?WJ`D~wD_|\trU}MWbcEHw|amJW~bUOwpblxvn]mV?Dc]X?LcmW?Hc}V?HdMU?De]W?Ld^