CAT(648,3)
Sparse6:
:~?IG_@?A?CCoE_M?^@?AGCgO_I_T?q@cAwDoi?sA]BGHwJ?h_iAeB?IGJ_g`?AECOEwQ?\`K@}CWFGQ_]`w@aAsEgJoT_rAIC[HGQoe`B?uACBgFoQ_bD_HsRwfpNa\CyICSGgpPabDAHKQGdpIaZCqGsPGapAaFC]FcOG^O~`zCEHgNw_`I`wCaHGOG]`JaWByFWPw`?xaEBeG_Mg\`E`sCUDcJWVom`VAiEoKGZ_q`oBEEwLWZ?r`oBQQGLg[OvcsDaJKUgmP\avGoRCa@IQHCjGgQsePEqJCnHcO{_pIQEClGOQ{`PIqACpFyNk_W}Q?b~HCMscOzpwCdFgQ[]pHpxCdF?Qc[pJPpCjHcMc\PJpqCpH?K{bosqOBPGwKcb_qqNBLDYIkSgiPRanEwJsW_tpiBBEKLcZOoPnA~@UBCDgLOV_rHAPsbwLo[_~@yBkGGMo]`@@mB{FGAOE_N?U@KAGAOG_R?U?s@wAOE_J?]@KAGEoM_`?}ASCWmpZapDeJcUgop]a~EAK[WhAQDcFGYO{_gwpsbdFAMk[wtPjbXEuLsZwqPfbLEaLKXWhPRahDUI{TghPRajDQI{TiYcOGvPCbdFQFsQG|POcDCqNsJH`OweTBQWssGROod|KqDSBH`Q{_d@qXsDHdO_edKQBSjGBNsc|I@~ShF~Qg_DJA@SIFpN[`tAP{sKFtNo`lAp|s`FXM{cszQQsaF\QK]CyqQRpHXQg]k{aSrrHNQ_]s|ATs^FVPs]CzqMRlGvQ?\tF`uReGjM[atDpqrgGpMgbSyQKrpG^NWaLCpySQFdPO]k{qGRgGHMW_kyQBSFFNO_[kya@r^ElM?Y{wPkRUFHMGZCtpprSHHLKcksaRROHBLScSsQPrOG@LG_Ksq@R~EjLC^k~`iQYE~Hk[Cf@oq\FDH{[cf`pr\EPLcWcv`crDEtKWZcupbr]EBJwZKvP`Q~EtLkW[v@_SnDpR?VKmaWq{HdROVlKp\rvD\N_Tcjp|QoFrNoUKjP|qeGjI[asiAJqhGpIgbSiqKslD@QwSKhQVQcH\QsS\JPPQqETJKX[l@eQvEZJWX{lPfOz`rBi@SBGDqZctHqRsfxMrGeLK]XKpHaqndXJATkjhWvDL~[WwDpr_vAMP[OxTorcuaMLYKxThbbu`MPYOwlhRcuTMXXWxldrfUWM^Xgx\eRgUzKNZcodmrCUxKFZgolmbBTjMVUoxdrauvOJ\[smDrqvtLL~SwwLRr_VBI`[GiTpAgu{HxZoflNr]u}HvS?vtNb]tVL^T_uTjQhtSL\TWuDTRWufJzY_ntiQ~u?LTYooT_RTuNJJX?ktcQrtiKfU_qdcast^KvU?rdWRMtaK|UOsDWrNtYKRTkpTaqmUKIzWwjLbQnTpINVGhDQQxtIJhVWhd\QdtvIBV_gT]Q`tyIHVkgl^AbSvLfRgulLRYSuLlZ_fDlq[of`RAbByI{Ugcp?arDYG[PGlpWaNAYB[IGMo]`VAADkHGWoa`^@AIkQgFpO_nCyBKSgHpK_jBP{kLfrn]`e}AFKNFsna`u{XyZqFinI]m{pzJvFgnM]u~XvZ}F]ny\}~pwK?Fan}]F?Ht{AFYmo_IzI?{AfZoK\qyH|ZhFume^]~PtJ{fUmi^bEyUkmGsqobfFAU[YhZqybZGQR{ghBq?crGIR[fHCqIdBIQMk\hRpwdRFiT[^hVp{dZGqJkbgnpecjEIQ[XHJp_cbJqYknhjr?erKIZ[phnrCezKa[KqhprceZKy[{shtrOfQ?I\c}X|?Cf^No?s{X~?Efe?I_S|oAS?fj