CAT(378,1)
Sparse6:
:~?Dy_A?G?_S@GC_QB_D?aA_E_[AWF?aA_D_WAWV?aAgH`kEgY`iGO[`mFWZ`uFG`AQGoeaGHWa@yGo^a?GWc@yG?eaSFwr@]EGX`]EGX_yCGN`ECgR`YDGTcSFg_`}SPOCaR`Ic{QXNCmRPOcoRhDCmRPFcoPhGBQQOtbKQguCiM@Hb[QHACmRPCcoOxCDAO`NcKRh@CUPo~cWOGxBMMosbgLWuBqM?}b[NWxBuMo}bgNGlBAJoqawKWkCAOOiakNwoA]K_hbCII@?qAwLds_YBD}VaAfwYhhGA^pjgCZIBEyZQAfC^xnGA[@}fkSh|DM^@PfsTHzDY^@Tf_\XyF]]PueKUhdDqX@ZeWWHaEaXp`d[[hXFQU@r`QDgT`UDGUikiAaiggycIehQhi[iieIahQ[i[fieHudaaiOeIVIMeQFhkaYYGacq^hSgYSIAaaLg{bIMGm`aPgSciCHABGJ_uAwL_qr?obIKXAcQOzJKMpRHkgpJGKmpbIk[qZOJ]sQxj_rzEKAqBAk[oY|KMpQ~jwpIyKqnBMjkrYsKqlbMjSrYpK}sQrl?kijiqjYmjAjxzfu^H~gA^jtLa{rYnOuZpME{bbmG{JrLy|R_nOvz[NA{b\lk{ZQlQszVlYtZfMuyRnm_zjiMQxbkmkx[GN^Abwoc|kFN~?CDoD@j{OI~cCnt?{LNnBByok}[SOzDcOpTB{VPFCsXpHEIgiiiZlm}zjimqy{_QZGcfq`G[_QVGcbqDHKbPjHS[qPE{^Q^FSgpxHkwKeqzIoV@{EoJ@KBr|ML?RjNcxr`M{yRvMS{qdL[jR^IcurPN[rRrMsqrxJ|?RFNsorXJ[vQzLSktXTTCsXS|SSVOtRtTO\SSJRTOs|SlMTFQdFsdRLJSbWTVt|UL_TZUT[tlVlYTvLkvrVWdhuhW|cUbXTguhX|eUfS|TtRYoAVFZ?BVM?TlVI?TmVE?doVM?tnVJ