CAT(650,1)
Sparse6:
:~?II_@?A?CG_EOJ_T?q@[AgFoM_Z?}@sBW[?`?z@wB{G?MOZ@f@cESE_YOX@jBWBSLoLoq@jB[E[L_YOn@jB[EKL_WOn@`A{EKK?Woa`HAMCsHwQoU@P@[DKE?TOj?lAsBCJ?Jol?~A?DcIoOod@dA[E[H_YOm@PAwDSJ_So\?f@SBsF?IOa?`AOASGoGpj?`@IAKDWHoSb\FAL{Ywupkb[EaM?Ygv`haSEmH_ZWd`kbQD}LOWWs@_alDaI{P?qpEBNCSKsOOqpBBNCGKsW_kpcAvEKJSV?hPOA|DCJkR_\pN@xCsFkPo^pHA@C_FsM?hoyAjBcIcBWFoMc{FiNc]xFqPc`HgPkb`KQXCXHcOKe`@Q?CpHkM{]PMpwCxHsMceozQ[BjHkMKfOxq[BdGWPKa@DqFCTGKQS`PIQCCfFsQk^pJp}Cl@YBCDwKoZ_t@AASCWzPsbjKWRspPNrFD@JgVkmp^Q{DrJWWKo@[Q~DnJKWSlPaQsEFJEUSkH`Ald]KQWWjhaaieMIqWoixSQhdNIWVkhP^QcDxKCSSnpPr?DBEUK{XgsPibRKeXCqhprdfHMcZSv@trZFTMWYKy@hrfEdMWXss@sRfE^McX[yperiEXL{[CvPpR]FBLOY{t`krTEpNw^[~Q?R{F~NS_K|q@ruGDNG\c|@vRrFZN_\{}`wRpFrOo_tAaASJGJO[`lAQFsGG\@yBkFGNo``@@QAkCx?QAcBFMMS[Xmr^e|LQYktiSCahSQQdHGyOceg}Q]c@HYNCagyQQcXFINcXh?PmcHEiKC[g{P]bhDiJCXgoPmaxEiQcOgcQ]cpCYSCRggQidHDYc_H_N?a@[BGDPIaXCmHkRwfQ]d@H}SSgxOrmfXMu\{{XwTWI|U?jTVqktTIzT[jdTaltWIdTOjTUQhtTI^T[iLTagTKIdTOhtRQhtKI`SwiLRQfsjIFQsglJAaT?I|U?gTVq_s~IxTsflNaltHHtSgfdQq\tIHpSke|QQ[ssIPRWg|LQbTBHbRKglPAXSmINQ{hDKAbUP?H?Y?l[BGtqKfVCqTZRGtnKfUwqTYbFTkK`Ukp|aqruLJRWolDcArUNJJWwkdaqouLJFWokT`Q~u@KNW?ot_q}uCJ|WGnd]RCTzKRVgpT\axttJpV[mdlOBoH_P?e?{AJXEtlmZMu`lj\ErloZQvHkj\EiloYmvHiZREtlmYasxljPenlIZEs`kJPEmlYYAsHjJLETkkXqrXdJJe\kqX}r@fjjDBiJSQgtQIboC_J?Y?c@gAv[Mh\wylvRhvSM~\K{LtRoVFMl\_xLqBjvOM~\G{LsRoVLMz[{zdrbnVXMT\gx\ureVCMl\_wtpRjvBMv[GzTuR_uzlzZqv|oJ^UJkZWqptcJFvgO@]h?TyS?wDNf^D?]@BxVmOF_S}E@Bvw?NV_G|m?RuVcnD]M{lxjrv}Nn^c~|~R{VyNh^o}t}rywZOL`t@EFCBwNOj`DAuCCJwQOX`L@uDCEwIOr`h@]ASKWfPHaXDMHSSW]PBa@C]FsPUrldZQ~|~j}vynx^nEAL{XGwpabZEAK{XGtpabREYIkYgkpganEqJ[[GnpmazH@tZiVRoj`^AuCkIWRqSczHISKcHNqOcrHQR[chJpuc^FIP[bGyqUcJHaPKehBp}czGIR{_HOpwcVGyNkbG|rKdXK]TSqxSRHdDKmScpxRRHdtKEVspX]RBd\JUVCkxWQve|KuYCwxfR`ehLmYsvXhRXc^GuP[xHwrefjMa][yhxrmfjMq]KpxdrH?DOI]w@iBRxfs?Q_k~?ASB?DOA_{~_BSD