CAT(432,2)
Sparse6:
:~?Eo_A?G?`wEWY`aDOZ`[FGU@uEoR@yG?\@QF?Q@}@GC_QBgN`ABGL_m@WF_YBgO_}@WF_YDGR`ICwS`IDWU`]COG_gCWP?eAoM_oBwL@AG?V`SFwU@yT@MA]S?hc{IGkCyRoiakSHOcyRxPBMSotdGLGwDMLpQbWSXHciQHACmRPCcoOxDCmRPFcoPhRB}OPPdGOGxA}JOzawMgpByK?{bGNWjaqIgfaeIGpbIKGla}Jgwb]LhJcqRX?cENw{byNWxbmMgW`iEYeHkfYYH}fA]iGeI`H]eQ_hkdI[HYeaTiObYcG}baciSaidGqhQJg[gyHIMaAbgQ`iDh?_iQGE_qPgW_iBGQ`Q@fwgI?II^q`fkgH|II^A`h{^y]GAfP}fa]hxhg\Y[F]epuf_]xyFu]P{dgdyXDmVAWd[cHXHIUAPgwTiNDUTALf?fxpHuZq]fOdhrHQ[aTdsdyXDyVqWeGbIJEAa``hOZHmHYZQTek\xhFYY`te_aYFE]XaGeOcxdHMWqR_aAgH_aAgH_mBGL_U@wE`mFW[diUx[eMXXcnt@Z~OM~cCo?}j{OJ?Rzn[}zxNi~Bwn[jJxIy}Alo_w[FMAvsElL?JTOItC@nWrzsKy|RLnsqj}Kq~rJk\@kGKf@rGnOpJENYpRtjx?z?OUnsCmWxJfMIwrdloyJ]MivRhnCuZZNM{bYl?iZQImsQijkhyeJunAgkKmZ@JambAjStivLalbVjGzisNAkrni{yypMukBkbMLWsaEGwa`aEWYkirJJjamixtXRTRslSlKTFPTOsxP|NSZPTGshP|HSZSc|tDNK}TNMTGshM|HRjTSltTJ|TQzTCfq`TLSQfQsTspD{USvRcNt@C\NPBLdAr`PKvSNKs~rTO[sSBHCoqXKkdRFIc`qpG{jQJFcZptF{_PrCcKpPBkROvAsWodEkIPf`DpwT[}BVJ\U@vX_m?VR]dguh^LzUfZdeu|X|dVBVtauDXL_UN]D]vdV\vTrYtXutU|kTjTd|t`^|VVzeETx\emUXf`eQw`dMFXNbENwxc]LXBeuHwlf][Wi?UfXy?uhYA?egX~gO@YRgoBYZg_AYV