CAT(304,1)
Sparse6:
:~?Co_A?G?__@WF_YB_J_uBGJ_uBGI_aAWY?}CGM`_CWV@MEOQ`WDwX@QDOW_U@gFac@WF_YJoM_}CGtAQGwdaMHGdaYIGfaeIwiasKWkBAJ_naoIWjAuJ_iaWFGZAaE_fa?Jw`BEG_o`yFW^a]IGe_eAgGdMTHTciRHJc[SxHDUQ@SdGNxOCASO}cOSHEDIPPPb_RgxC}ROybkLWvBuL_{cCKxBBQO_q`aEWV`ECwQbQKgrfc[@pew[xnFIZ`Xf?UxnDiY`te_\hhFQW`wf_XHwEMVpveC\x_F]V@sdw\h\FU[PUd_[xVFIXpkesXXeEmbaJh?bYNGq`QHgWaiFGa^qAgO_YBGA]p{fg^XxFyeaPhocyZHIdAVhcdiTHaJWmaqUxXdiTxUdaiAji[iieIeiQbiSiycIiha\i_fyfHygAbiSgicIEDWU`QRhNcuNG|bmNh?b}KgsbMoRCkWozDKIoI~jymy|jqmBCjgpjDJenAkjsjizIulR@j[oyuKIkaxjOmIyJMjq}jCoIoJ}AwL_qEw[`ivb_lowZ\L}vrYmCuZZMAtbal_xJVMMsrclSwzSMIsBLlGrjPK}prKkcqzGKi@GC_QLgvbUMGyberZNkyqjKkm|sCoK}ZwOV?BxoC}JvOIxcAm\?K@MU~Rsn{|j}NU{Ryno{zqNn?rnmx@[CNAyrynozZkNm~Rgn{yj}MfBCWoxEkLPfDSZptD{UPrASNolC[IPBCcEo`DKFPNF_@QQ?c_QZFoBQU?c`Q^IOBQNI?@QJ