CAT(840,1)
Sparse6:
:~?LG_@?A?CA_AOD_L?]@KAGH_C_L?UACCWHOI_V?qCGBgFoL_l@aA{I?Q?f`KA]CgHwY?g`TAeD[JWUOs`lBUDwKWW?r`[BIGWOG_pAaBCAGSLo`P@@rB_GCNg^o|`xBmFSGWPoabSDyKCVwnP_a~EWJ{X?nPdB@EOKKWorPaBJDuJcUwmP\avDiJCUWp`UamEIIgWWk@`bCDiKWUWh@JaQDQIWQggpNa`CoISROiPMAfEOGsX_bpdAPCSIsOoipVAHI?J[VWmOs`lBUHcRgeqnD@IISKdxKqWctHqR[fXNQ^cyImRoihSa^ckIMSgdXQASdKEiT?ZHR`jb[HiLgfGvaZcaIMSgcxQAQcZGmPc`hBqDcqGIO_dx@aWb}IAOGgh?A`dQFYN?ixT@vbqIeNOiw|aidKFAT?[hR`pbOHQLGdgraTc[FqQ?^hF`|cQFUMWahC@sfU@mBKEgPoa`B@yCCFwMo\_z@qBcFH}_]_~AAA{DgKSE?~@yCCEgKoZcnHeRCehLq[czH}RsdhIQT`nBeFCNG\OzbVEiLcZWvpmcTGaPK\g{PvbrFmNS^W~P{bNEeLCYGspfh{RWdtJQ[SvH^QgflJA]sjHzQSfdHA\syHLQ_ctHARshHJRKcLLQPssHDP{fLGA[s]HrPWc\DqPSTHBPsa|DaMSTGvPGe\DAYsRHhRgaLBq]SzG`O{c|IQGsgG`RW_tAA[SFHnOcetAq[SIHnOKfT@Q]SCHvO?dl?QVSAH^NsbtFp~r}H@OSb\@AMS\GFN_bTE@{rvGrP_^[~ALSXFtOo^S~AFSLFvNO`TAPzRtGVNC_C{q@RqGBMS]CxpvReF^Mo[cw`urjFFNw[C~pnr|FBLo]cv`zR\FjL[^C|pkRUFrMwZKupwRnEtL?\Ss`sRPFRPGXlD@fsRE\NCW{{pcrqEPKSeCpaXSpEHJw\SyP^rgE@JkeCnQXQ{HbQgUckaUSjDfO_U{lQBSFDlOoVCmaFSLDrI{\kkPuQoFVLSX[t@eRRETKCTcjP`rAD\?m@cAgIoR_h@IACCWGoQ_`?y@kBwIoR_hOM_l@HsRifRNq^S}wipValDeJSUGVOo`^BEESKwWor`dAqD[JWgPPa^CMGkPGbPGaNKuXsrxdRJeXJIUckxYqvdlJeVSmHVqpd`IqTkjhUQmdZ^o}l~RzvzNl^G{D|BovrND^ozt}rmv|M~\g|dzblv[NZ]cy|uRtvWNT^cyd}bjVTNp\C}lsrzvQNl[G~tpC?VBN~[X?\ps?vDOD^CwLzr_VoL~]Ww|pbsVDNN[O{lwr`vANH[wvlsB]VNL|Rw~T}Q_S~NpZcu\mbYuzLhZGz|kRnUoMzYsx\rRVumMX_CtTjC@wALV^{tDhs?V}LRYCvTgr[uaLv\cr\fRjvWKx]Wp|yBGvfK`WoutmBFUvKZWc{LaroUINDWWutmBCUvKN\go\vBAvZKHW?xt_bgU@M^Vs|dza~T~NZ[kmd\beTtMZ]OllYrqvbJXZsk|nArTdL|UGxDXBdTbMR[_jdqamvHI|Tc|LUrttYNTTWwDUB^tVMB^Gi\TRyTSNf]{iD{AhVpIbSgyLRBhtJMd\Og|QRjVTIPX_sdebRUXLJVCrt[rOTqK~UwnT[A}TnJvUgqdcqsUQJRV[hl]QftwI\SOqldqbUUIJT{gLWQ`t_ID?]@KAGBoH_P?Q?s@\IGlskarQiI{{iPsefnNQclIHZqwhVJidlHhQqehFIaclFHDqEhBPyPKAIMoKhB?ib{iiDqmg^Iq`ktHKrWczLYR[ciAqUgRHQ_{bH]qOeBGyV{_H{r{cJNiO[zGypwfbFY\{yGwrib^MYM[qGmp_eZKiJ{rggrQajLAI[Qh`pMeNCqWkYGapkaREiG|Dg^sYaFPaGKwGXrc`nBQ[[MhYo{dbBaU[~gUsA`bOAD{HhNqa`RAiSLCGOsS`JPIC[]gMp}_v@yNkDHloWe~@YZkWgFpe_fEQAGQOe`JBADsJwTol`XmH\ExDtZbVRll[}uTqzYVLlX[muDrzVVLmtYetTtzkUfmlUUlDuzkTfit\UjdsykVPjlW}nTcy{UPj`ZemdnYxUzjTZ}wTZz_TlkDT}otWzAT`ktSurtSZMTNiPVuoDPy~TJidSEitPYiTBl@RmfthY]UbkPRUpdMZDSvklRErDKzISnp@`VCUD{NWRp`_vEUC[YWNpH^nDD~{RV|oL^e}eA{CVvn\anDt{zwWlnX`nBdy[KVjnD_F?dx{@Vdmxb]{EMznWxqteFJuX[mXbq\e^IUY{gXhqPbvHeO[dW~qhcNGuU[aXV?DfzLm[?BYB?HgBL}[_AXx?DfZNm\?BXz