CAT(392,2)
Sparse6:
:~?EG_A?G?_g@oG?eB_F_]AGG_eAWV?wCGN@MCOQ_kBgJ?}B?O_sCgL@MB?P_mBGLaWGocaKHWcAUHGdaMJohamIWiamIgeaaHwnBUK?tb[KwuBELosbWKgkA}J_sasKwlBAJ_qaoKXLAAGG`aEGga`YDWS`]EWW`iEw[`}Fg\ayJGlc[WHHD}Q``coWXGD}W@JdcThWDiUpUd[VHVDyU@\cORxEDIP`PcOSHMCURPDcsUXMDiRp[d?UxQDySP\bsSwzDMM@TboTGxDUM`Sc[NhHB}Q`?cCRHACaOpJgo@gD_QPHEcUZaGf?axpGe`pqgW[xnGi``sg[\YHF]a@ufcaxwGiYAKgwYXiGqYqLesbhkGubpfh?XYPEYWqPeGbxcHA^A?gK^h|GE^qAgS]yCFikoS`UDWS`YDiqJakavj?kyoJYkQtjClIrIiiqujSjYsIqjqwj[jigHQhaTi[dicHIiQViScy]HaeQ^hggIZIEfQbhogjS?Y@GE_U@WCc]RHGceQhJlCtjPLQsrXlGtzRLUsbWkSujELqpr\k_vzZKivbHlOqzTKqtbLl_rjOLetrNj{ujZKAvBBl{pJ\KIvb@jmnI}jumixgY`yHgaayImX?JiOIxr~ml?zgNyyS@nwzJ~Mv?BmoCzzpON?bomExJdmAwzanG}JrNe~Rsno|ZvNm|byo`E{WOZDcCp\@[HPf@sYohCKJPFCsKpTB{QOvDCMqHFK]QRFSbp|H[`Q^GCejAkipni}Jxnu}z{qxKkrQzLSorXJ{oRFLCnq`K[hRJLCirXJ[rQnLSksWsZQlNCKRpFCkTpRQTEshPlKS^QtGsxP|LSbPCzsLNLBRjLtDr`P[xSRQS|rxQlASzNtJsDR\?SrXD`S~WTOuHS|aTFTDbuLSlTTnUD[thV\UTzWDVt|U\iURYtdupXlnUbZdfutY\CsVO|uVB\tpvT]LwVR\dqv\[|`uNWg@Vd^wAVh^}??H^m@?L^M@?D^]??L]~