CAT(518,1)
Sparse6:
:~?GE_@?A?CCoDOK_V?i@[BGO?Y_x@mBSEwMO\?|@wB{FONoU_p@]A{EGJOZ?b@?BcE_HOM?~?{BsBOMoX?h@cA[DOKoz?Z?}@sCGHOP_f@UAcNw^P?`vBqFkG__O`@|A?F{Go\Ow@JBcCcOOYovAFBWGSKgXos``BED{JO`p@@\AoGSM_Sow@TAkFKMoRO|@PBoC{XODOK_VCmHcQgq`[bMDyKoVWlpYarDCK{XOhPOBLEOG{WocPaAREGGsX?apbAHDOJ{SoopTB@D[HkU?fpMAlEgM{]?sPxBRFgMc^?zPzBjF?MKZ_xPnBfFsL[ZO~p}BXG_PS``DqFCRGSOS`@?QBCBEIKcWwFON_Z@AASCWjPWanDMIkTGbpHaPCQGsPXKacdKHaROhXLA[cqHuRWeHJAbdAH]QgghNaVd?HYRodXRARdGHQSgchHa`cgIMQOghLaKc[HuR_bXFa]caIAQ?fxa_F_R?aFSMW[Oa`@AECkHGPoh`VAiDsJWUPgbTEeLs[Gvr[EhLWZSupirPEhLKYks`jRKErL[XkqpkRLE\KkX{s@eRPEPLKXSs`crIE\L?XCqPfqgEBIcV{hp_Q}EpJoZKnPjrZDvLoVKm`lRDDlK[VCp`ZrDDfK[Ukp`YQoEFJGWckP`RBD\I{Wco`Uq~DTKCTco@TsL?H?Y?lBPurmG^Mo`syQErjG^Mg`syADReGXM[`\A`psKFHOk[l@poSHFDO_[L@pmsHE|O_Z{zp|rpFzNo]D?P{SBFtOG^K|aArvGLNS_c{p~rsG@NG^tKOBoH_P?]@KAIVCpheRAdxKiZCohgQyehJyYCdhkQ]ehHiPCpheQQcXKiSC^hSQEdHGITcXhYPmd`EiKCPgcP]apCIHc[g{PUbhDGAOE_J?Q?s@YkB@d~KAW[pH`TVI^TWiDTQgtVIdTOilTahtWIFTgglUQaTKIdTOhtRQhtJI^SciLQagTEIxTshDUqbt?IpSGjTOQktZHzR{jlNamSvhrRaf\NI\SFgROa`TAyETcJxUWntXQ}u?J^Usn|_QvTiJ~WCld_Att{JNVwlL^QsT]j@T}kLWypTxJfVSn\]ayTuJ`V_mT\qwuVKDXcodeB@uJKbWsq\bBHUNKTX?pLbbCUDKhXWo|`bIubL@YGslgRQUYKzXor|erNSnh`QynL]y|TujpV]t`lJVEqlYZMtpjzUEplYZAtxhjWegl_Y]uPiZYEjleYiw`TyjTTkbXMqTbzGUMmG[qwpqjafJmK[awhqZaFFmCZYuxozYf@mMZyxHoJcE~lu[ivhrJ]FJmCZawXmj[f@nC\Gz|sBoVPNB[sz|rrovMN@\czdurnVYMz\KytuBivSMn]k{TxBuvbNX]S|TxrsVeNR[Iw\oZvFsn_^Y|x|Zwftne^Y}P|Jnv`n@?C~h|w@f~Np^c?P~j|?ANz?C~`~z|_BN|