CAT(614,1)
Sparse6:
:~?He_@?A?CAoDOI_T@C@oCGF?N_]@ABOCwHOP`??m@kBGEOL_VAcC?HgP?g`AA]CgHgP_g`GA]CoFWS?^`M@yC?GwP?c`AAUAwFWK_]_o@}B_DGI_Y_k@mGGBgGON_h@YAkDgIOT_t@qB[PGapEaWC]HGQgc@JaACqGWQg`@JaIByGoOGa?~aMByHGOGc?~`WBuDoMwU_{aABaGOMW`_y`wBIFgLG\_r`^BEECIOYoj@lB[DSZ_lpXatDYJCTwu`SaiEmIWZGg@kbYDEIOYwp@gbGEiKWYWe`^a[EEHwWGq`[bMDyKoVWJoX_pC}HkRhEAGcLG]O[`XAQAc@GEOW]hA@{cIFmOo[wwaGcMFILo]W{@ob]F]Ng\g~`tb{FQFcNW\qZcxHuRCehKqTDBH[S[d`PQSDBHGS[cpPQNCRH?PScPDq^CZI?Pcb`NPjbZEqPcbhEqzdtJeS_lhRAwdIJ]UWlhYawdgJ]TkjxVQzDNIcVKm`SQoDTJGTckPTr@d~KAXSqHcrDEVK[Xkp`eQ{EDJwWcnP`qHcVGiVsnX]R^EtLoZsupmrSEtLkYsv@irQE~LsY[sPnRVE^L?ZKu@fReFFM_[kxpqRhF@Mk[Sy`oo\_~@yA{EWKPdbNEYPKaxDQQchHMP{cXGRDeNKY^x@I?CEf{OU_G}x}cBfwOI_?}H~Byf}Ne]h?XzcBfkOI]_}hxBwfeNe]O|XxbvfgNY\`@HvCEfYOU^_{Hwb|f]Nmcg@wCoG`|CAF{[GvpmbbFMMShhQQddRI]TCrhgRNedLMYLLA\suHxRSfTMQXSrHnR_eLLAVSuH`RSd|KqTskHbQseTIAVSiH`Qcd|IAUSiHZQcd\AQOsGG~O[cDLqMS]HrPsfDEQ\SZHxPgf\DaQsWHNP[ctCqRsTHLPOclGaGSQHHQKaLGQFS_G^P{`lAaPSKHHOkc\ZOAOE_JSollRavtLJ\ScllQqvtIJ\UghDZAbTjINSKk|PQstCJPUggDYq`TkIBU[flNqss}JPUCj\WqmtaIxT_jtWAlT^IrT[iDTQgtUI^UOi\TArTdId?]@KAGBoH_PX[ppdJJEOk]XUqHdJJERkcXUohcZBeRkKXIoPcJAENkEWyp@^z?eIk?WepX^JEd}kWVun@[IzdpjkVInH[yydzjsVQ?c@WBOC_J?Yv@FyOs_hDQQc\kRYuvL^Z?utlrXUsLjZKutmBPuyLJZcsdjBXUmLfYsudkRTunLRZ?tTmrRU|LPZos|gb[U`LtZcsDnBNU|K~ZkrldzKuWkxXmrTXystgjTUmldpBmVEM|[SzlrrovLM~[w{DvrdV`MX]?x\vBbv]MR\sxDnj_U~mB[MwTubhvZMj\cydsBjVWMd\Cy||rpVxNH]K~D{RtvqNZ^K|dzrsvoNT]w|DxRyVfNl]W}m?C@wDOD_P?L}b}v{N~^k~tdJJUTmv\izLtjkVVoc_rAaBkHgLo]_rAIBkGGLo]_^AIAKGGEoc_fAaA{HgIpGZUu|ljwvqnf]y}Dz{TGcpKarCiI{SgcpKabCiH{IgapA`^AqG{Rg]pQaBDAF{LgioyarBaI{PGWosaFCYE[`GqP~bDGMKC_X?PZb|D}OSVW{PrblFuNS\WrPlbTFELCZxJQDctGeRC`xEQRc`GmPsdWapFaFIaRkjHNqidBIIT[hhUqcdRF}O[_X\?Ad^Jw?skX]?CdfJg?clX[?Ad~Jo?sl~