CAT(600,1)
Sparse6:
:~?HW_@?A?CA_AOE_J@K@kBgFoO_d@EBWD_KoW?t@SBSDoLOX?f@cAcFGMoZ_|AAB{I_Rof`RAeDCIGX_o`dBAEKKWXOn`ZAmDcJgTOb`BAQCkGgROr@~BOGCOOYouADB_GcLo`oz@~CCFsMO_PA@xCOFkOo\PHaJC]GsQGdPJa\CuHcSGfpb?h@MAkEGJOVbJEYK[XGsPfbIEAL?WWp`]bMD}KOXgq@\adDQIKTWhpUamDuJ?Vwm@]aqEEJOWGp@ZcM?]@CAWCoF_PH?@SAwDOK_V?qJ{WWnP_bDDu@kBgFoO_d@EEcKwYou`pB]FKMg\o}`zBqI{UWlP[avDaRgghNAbdKIASggXRa^dGHqQojhVaYcuJEU?dxKaqdeHaOOgx@adcGI]S_`XBAadKGERgbXFA]c]H}S?bXFa`c[HqPGeHBaUcOH]ROahLaKcqGmQCdXGqRchHIQ_jHIajcaIaQOiXGAlceIiOwYxC@icQEqLGagvAKbYGmNW_W}AAcEFuOg^hBA?cGF}MwjhV`xd_FiN?kXX`tdcFYLwiGwAhbaIiMWiwyAlbcIqO[_hAqCcLGEC[GWPOd`LAQDcJWVom`TAm_w|xzCAgENe_g}yAByfoOY^_oX}bAf{KMWg~y?bCg?KA]S{HwrrfjNQ[g}xzBcfKN][w}XsBwfQNiZp@HncAfEOU[P?yBb`f?OY_?tX}BQegOE^wth}bVf{LMYGyxtBKfYKuY?zhfBnfWK}VOph^bJduK]V_qH]bId{KeU_uHYbXdkLiZWlxmaxewJa@CAWBtC?Z?y@{CGGoQ`NAeDCSWhPRahDYIlQaaTJINSkhDRAatIILSchdOQetAI^SCiDOafTBIdSKiLCq^s}G\Rw`|NqGT?GbPGgDGAesaI`S{cdRaQsbIdQCiLPALTHG|SSb\FqcTFGxPsgtJA[SlHrQwfTJq\soHzRCfdIaZseHdRKc|IAYSjHlQcelDaESSGVOcbDAaJsTGZO_bLbA_tAiF?Q?c@WBOD_LGuP{bgWOp`dEmLKZGvPlbTFUMs\w{PybrPQalDiJsXgpX_rdeBMuXL@Xgr\ebNuXK|YCp|gbGUbKbYOqThbIUdKfWkp|crDUJKhXCpLcBCuQKTWopDbBBuLKLWwotbbBuLKPUCtLWBTtaLTUOtDjApt^LNX[oT^RIt}KjXWn|_RJu?KlWOmT_qwuBJfWSmd\RAtuKHUkr\ZBMTlK|Uwr|[BOTnKzTcs|UbSUiI|TktLjAmt[LVTOsLTRPUbIfTWsdUBRTVLJV[kl]ArTxJNVglDYa}TzJRWQol_zBUGkNWep\ahhRRehLUY{tjtFtnQ^U|p|zzflnU^Y}pzJwF_n]\u}HwZwFana\y|xvzaFwnwZ}~XoJ`F|nq[M~PoZ[fqls^IvX{z]fsngZyv`{zUfyl[^a~Hjz|eonyZI~`kZpfDnG[Y{hpzrFGnO[i{xqZgfVmo\IzHszlFTmw\QzXtjXfJlg[qxhlZfEulo\Auxrz~GapI^~Cq?kRg?oAaRCY?{LgipQ`fDADkLGkpU`bAyJ[OGMow_jBiA{NGKo]aFByB[AGOoI`F@ADKBGQoQ`V?yC{VGypua~EANKWg|peb~EQNkYH?picFEqOkZhBpqcVFAPKb?@QXc[?QR[c?AQ\?DHIR{g_BQV?LHQSN