CAT(720,1)
Sparse6:
:~?JO_@?A?CJ?Ooa`@AkCcHOSob@TA]DCHgU?s`[BMDgKgL?e?z@oCwFwL_g?|@[DGDGT_U?p@SBGIg__V_r@aC[HWQOP_f@IA[CgGoK_V?uACBgFoT?|@sAcD_NoU?`?{AcDOFOJ?r@[@kB?KOI?x@g@CEoCoG@R?gD[AOTOL?J?k?{B?BQK?z@}BsGGPO``@AICKHWQOb`NAaCsLWZou_H?Q?c@WBoE_T?e@CCgHoP_\@A@{pOy`vbqFQN?\g|@|bwF}NW^hCaAcSGAPW_XAaGcEG]O_`hAA{cEJyOgnXBA~cOKEOwoHCbAcUKQPOowsAld]EeLOjhW@jdcEqLgkWuardiEmU_ZGvaub_JaLolwwaubeJaMOlx^axduKEVOoH[BBdkKQUwog~akb{ImNgihRaidQIqT?iw{aeboIQSg\xPq`dDJSS[kpPQsDBHwOCg@@Q^CBJoSCn`NQ|C~IWRchPLqcCzEgRCe_sQXBRJkRCe`[qXDtFOQ{dOzPtClI[QsiPJqgCjEwP{c?wPnCbFCQccoxqQBdHKVKmpHQyChFgPcb_|p{CZGwRcfPEQZCZEKUSX@WpaD`DsW[V@`P]EHDkK{U_rPXBJJ?IsTpXPWDbDSKKT?oPRA~IsH[jodPKD\JKG{lOcqsAPCsP{R`GqOA^D?TkjohPPD\COKkP_rpDBLCCWCOp^pAEBJoFsnO_Q}@~FQMs\W{pwbnFqN[]g~p|b|GAOK_h@qCcJGYPC`xCqIcVE]KsXWspgbTEuL[ZGvpmb`FEM[[gbpGaRCiH[RGfPLa^DAISSW_pBaDCAFsNw_O}`~BIEcKwUom`XA}EKKJHEPJ~WCqL_BGtvJrVWnT]A|uOJ`X?mTcAwuNJ^Usp|ZbFuKJHWsktbaqtiJLUokdYqqt`KPUKpTWbCuCIdTOo\_ahtOJzTCntRq}TKIpSwjTRQktHKXSkptQbEtHIvSkjdQamr[I`TCZSuqfsyIvRojlMqmSgJfVSdTIQySdILQ[hDHabtTG~T[cLTaOTTGrT[b\TaLSRJxPSntDA}t`GlUKbDWaJtEG`PGhDPqGsIJNOolLAqsSFKVWk`LaqCSCJNOWlL@QsS@KROKpT?bCR}ItN{jD?Akr\J~WCZ|_@nR`KNWW[SwBAtQFvNoic~QhtvFnV_]t\`yrsI\NGhc{qetlFFU{[lZ`qRfI|U?\CxanrkJfVS\szQyRhJvMknSya{rPJ`LGmSsqwtiEnUoZLYpkRDKJK[o{pbBUCETWGXKqB@uKE\L?ptbPfrJI|U?XlVpeTBH\SOeDJqassHVRWdlLQUSaHbRKcdGqXS[HzPwf|FQ^SvGZRc`|MAFT?FrSG^TOP{RSF^NCYstPwOD_N?Y^C}X|WdLlZ`C|lsRWCPJ_XC}@SRWaOF_HCe?SPvbPD]TCdxCPwON~`H?ECR~WZNv`g~l~CKwFNp^h@L}SCVnO~^DCL{COV_NX]w{TwRuv\Nj\{}|vbzVYNL\o|DurrwRMh`SyuDBivMMV[syDrreU{MPZwxTnRcuxNhZk}\mbxVhLf]kulybYUlL~Y{wLjb_UoLTYouTkRTugOp`WtLhsJudO|YPBmFBRU`MJYKw|gbbU^OZ_{rtgCFUZMn\crluBMVAKp[OrTorKwIKjX\@ddcDvPKf\KqTsbIPCaLCVMqRKzhMrocvMqOK{HArmcFMY[KxHtrgfFKyLKsgurObVKIXKpherCeVIYZ[iHnqcezGqYkcHkqMenHIO{dhDqScRFiUk^hXp{dbEyU{mgxqwbbEIVkXh_pcd~DqMkWG{pua~DiR{ggjpWdBDAT[THVpQdYBcEgLybS\g|SmhDGYCTJgHSegt@ySSzhxQuftIyYSbhLReetHY`SXi@PmatPYGSnghRMaTKX|S@fxOM^s}XxSJflO}]dBYtTpj\VUld[yzTdjPVmnDXyhTXilTuidUynTLjDTEkDRo@UMjzW??tcy~?CkbWG?daO@UEkZWO?ta~