CAT(398,1)
Sparse6:
:~?EM_A?G?_g@oG?eB_H_]AGF_eAGV?wCWO@IBoR_kBwL@AB?M_kCWL@MB?Q_mBGLaWH?daKHWbAQHGdaMJoiamIWhamIgeaaHwuBELooa{LWqBUL_rb[LGkBEJ_oasJwlBQJ_raoKhIAAGg`aIGG``QDWU`eDwW`iEw[`uFg^auJgkeSW`_eOWXbD}W`[eOVhbDuW`HeOPxbCaPp]doQX\CaVpIcoWX_CmRP_c{WXMD}SpUd[TXWDQUPSdkTXYDMQ`UcoUHVCmR`XcsUhNDmP_|cSMxCBqM@ObgSgxDEOPEcKPXACQS?}dGOHPB}dOC_U@h|HU^qVfwdiQGAcqAhO_YTF]]QUf_dxyHI^ASfkcyNFEcPrh?[hdHEbpfh?XiDGY`AFgKaHsEmZPufSZHmGqb`oe{bXgGeYaJecaix@UDgS`UDgSjWmYzJamavjsly}JanAuj?niqJukQ{jkiikJemaji_lIfJMiQtiOeIXIUeaehwgi_IMfq`i{fI\Iueqmlg@GE_U@GE_UPHEcUPxHcauBYlouZZL]vRWl{uZ]L]wBJmGrZ`KqtBblWxZTMQsR\lKvzQLyrbYl?vJZK}qR`kgwjGMApRbk[xZEMQnz@kApJBkIbyOhEdIQhMzcEmp@JlOU|SCn\@juOV@rqoc|KGNNARnnD@{GNAxjfmayZjmj?bznt?z{OE~bwo?}j~NfGCJqDBK^OjFSSpxD[RPrESOpHE{YPFDcLp\B{WOzIsaqtHKkQNICdqhH{hQYmIuj^?{AoF?J}n~LCyrTM{uRrLCwrTM[uR^Jcyq|M{oRrLsprLM[wRJRBXlat{XpjE{UpbD|SSrRdRstSlMTBRDPstR|IRvNtJrxQ\NSZSTFt@QLBTJTDDsPS|JSJQT@shOLiThX|WUfUTgtTYLVU^TdhuDU|bTvWd[uPVl_UZVtduh[|tUrYtsux[LlVJZtpsnQlHvX^LvVz]D|vd^\zVz]d{u^Y\g_D`T~w??uFwC?eEwG?eD_D`EFwK?uE