CAT(640,1)
Sparse6:
:~?I?_@?A?C@OAOC_H?k@SAGCoJ_V?u@cBWEOh?|AAB{FWPO`_z@yCCFwPO`_n@aBSEWMOZ`[BUDgLW[?h`mAeDWLgZ?i`UBaEwIgU?y`WBeDgMWV?y`_AYCgKGQ?n`EA}EOIGW_f`GBICWKWS?s`MBMCoLGQ_raqCAF{Og_o}`zCQG[Pgaoz`xD_HsToepSATDKHKT?dpKAfD?IsRoipWAdD[IKPojPGAjF[A{EGLOX_x@mMo\wy`vboFIN?[W{`sbsFMNO\g{`tbwFINW[W|`sbwFMJOYgk`hb_DqLwUwr@]bIDuKWYwq@kbCEaKwWWv@_bYD}O?aw~aKcOHQOwcxGAEc]GUPo_h?aLcGGiOWaXH@}caFuR_gHLa^csHyRGfXJAWciH]TgiHRqkdVIqT[iHRqidRIiTKlHXqudjJAT{lx[QqdbIuTsmX\RCeFKIWKoH^q}dzJqV[ghOqedJIQS[p`hRDEbL?YstPfrSE\LKXkqpjRTEXLOXSspcrQEPLCW{DGJOTfOM][sxxrRffLMM[[xHqrcfJLaY{whor_e~LyZkvHlrYerNS\[|@tR~FZNw\c~Ptr{FTMc^[y@|RhFrM_^C|puruFXNS\s|@vRrF~NG^s~Pvr{F^NC^S{@|rrFpNG^K{PzruF`@EACCWGOR_d@MASBgFON_^@QAcDgIoT_lFIMK[wyPtblDiJKVgmp[avEQK[Wgop^b@KYWksHfrLe\KqX[qXdRGeNQwflJq]TBH^SGdtOATsiIBR{d\NaTSlIJQogdJAbslILSOcdPQQshHzQ_fdHQbscILSKc|OaRShIBQ_gDNaRS~HNRKbLEAXSbHbQGeDFq\s]HtR_bdFQ[s`HnQ?etLQLssGtP{`TFaDs`GHQ?_l@qMsEGxOKbT?aLsHGrO_bD?QPs?HDRK`lBAXStGjROadBqWsMH`RkaDMaGsVHrPWfDCqZsQHl?U?k@wBOF_LDYIkTwkPSaf@]BCEgKo[_vJiVKnH\q}dzKAV{oh_rCeFYCqDcBOUPK~XCrtdrHuUKdXcq\eBHUZKhXgqlfRIU[KjScod`AcTJKRSgpDRRAtKKJS{o|RbBUFIbWWiDaQhuGIdX[nLda{UXJvX_nTeq~uYJ|WCrl_BMT{K~Vsrt_bOU`KFWsllbAuUJJ^UwpTbqwuMJ`WkmT[rDTtKXWsmd\rFtuK\TSkLTAoTVJFTWkTUAqtXJHTslLVAsTZJNTgktVqttiI|?a@KAGCoI_TIyTkkHVqqdbJQU[lhYqwdn]Sy\xBhVeMj][ydzrmvmMx\_|\uRtVZNZ\g|dyRjvgMl\C{|sBrVENZ[[|dqRtvGNT]{x|zbfVLNJ]OxdyRdvgMTZkz|mbnU|NBZo{Dvr^v]L|]CwLwB_VbMF[G{TwravCNDY{s|jbRUvLRY_utjR[ukLpYOulhRYUrLTZGt\grWuaL`@uBsGGNoa`BIqT[iHRqidR^lCD}cOVoPB^DCL{sPvqPD^PCT|SPwdNn^XCd}SQvwPH`TD]DCTWhOna`AuHsKweOp`lC}EcRWhO~a`BuFSTw[PT_@@e?SEwNN~^x@uAc@wJOD^t@L~CCWDOb_PAE@sHwEOdAQC[HgQog`NdLGmScaXPQVchIESccXRQRdDG}PcgXSQXdTHmTSfXSQ^blD}Jc\WpPrb@FEKs^wqP|bTG]LC`X@Pnc@EuNSUW{PZdtLmVCuXbQveHJUUSqxWRHedI}YCjXfQ~dxKuYsoxiR@?DMa\W@hxR^?HNAZkxHr?B?LMy[W@HuR`