CAT(402,1)
Sparse6:
:~?EQ_A?G?_k@GC_QBoM_yBgO`EBwN`ECGU@IDoS`SCwW`iEWf?mBWK_qBWJbKKOfb?IWqAaIoqaoKWoAiJOqawKGnBEGO^a?Ggb@yGOcaKHgaAUJoeasHGmAUIofaoIWgAiEo]a?FW[@}AGI_eT?]aAFw`aMGgeaQHWla}JgQ`QCwU`]DWZ`uFHbEYXPgeOXxaEMX@_eSWX[D}Up\dgVhVDmUP[d_UheDQY@Ue[TXVDYUPTd_THMBuS?{c{NhGEAQP`eGQhDDEPpRcWShNCAOPMd?NxACmRPCcoOwuDuM@^b[VhPBMS_sdKLWzCmROycoMYX?U@wEhc]hwHm]QYhc\YYF]epufGdhsHa[qVf?dhpHaZqVhKZHlHUZaShKYYTEmd@ih?bYNHIbaPgO`yEGe`QGgk_iBGqaa@fo_H|Fy]p~_aAgH_iAGHkKmr?jooiyKEnR?j{oi}KEkQ}jKnyqJumamj?nInJmiAvigmYhJahqsiSlieJUfQaiOfi[IMfqjiCjY_Iq@WF_Y@WE_]x@OcyRxPdMSj\MEurblowj]MMwBal{wZcK}xbPl?xZ]LawBYl{uZ\LUurVlotjhLQsbgm[szhKuxrKm_rjJMQxbHkgxZCkUozEkapyRhUdIUhad{GNA{cInDA[KNfBRyok}{KN^BRwok|kGNNAbtoc|Jkmmyjlm}zj~OV@s@o@@j{OI~cCnt?{_OzGcOqDB{\P^FsXpxEKSPnDc[pTEkbPFCsdpHHKkQ~JcpqtKKhQZICjqhHz?kIo[Do^@kAoR?{~RbOCyrxM[wRnMS{rhN[}RJLD?rLN{tRnLs|rXNLOMIwz`pvF{]prE{YtXSlWTBTtPtPSLTTJSTRsHR\BSzOTNshS|SSnTTKt\P|HTbTdGsPR|LSZRdDuxYt]utV\kTrZTXulU|kTjWDdt|X|`UZWdguhXLbUf\tmvd[LwU~[dsvX[|tVFR|Msv_DywH]}@Vr_T|wH^}?VzY|luq?UBWfaoBWQ?eDWi?eEWfao@Wa?uFWj