CAT(600,2)
Sparse6:
:~?HW_@?A?CBODOK_V@K@kBWFoM_^?yA[DGIoU_p@]A?CwG?S_m@EB?CgJ?Q_i@ED?AwDOI_X?q@[HOSOl@JAWDKH_TOk@NAkC{EoSOl?|@gDKEOTOk?xAkBkFwOOc`DAMCKP_LoX_x@uBSFgb@?aICiGGQG`@HaECmG_PwY@?aCBeGWLWZ@D`mCQGGMG\@F`uCiGoNG^`JaOByFgQWXop`\BAESJwmpYapDeJcUwgpKaZC}ICRgh@_bEDQIgWWj`aaeDyJwTgxPrb`FEMk\Gu`cbKEiKgYwr`kb[EeLwYHC@Ca@CEGSPW`pibVEqLkZwvQUC[GaPwaXGAKceGuQGaxHAIcGHQOodHIaAcMHUOWdXAaScaG]Po_h@aNcGHAOochAaRboGeNWaw{aLbkGqPO\w|AGbxFuNs^x?q?cDGUOc`x@qEc}JaR_lXOaxcyJYU_gHNAvdVIqTCiXUqicmJaROlxYAUcqJURWmXZAWdCIyTwgxQAodIJESwkxRAqdsKqVwrX^BMduK}YGnXgA{eKKIWwoxcBCeIKeW?qxdB@ecLaYWuXiBYeuLUZgtxmBU_`@IAKMg\o|`|B}FcXGqpebNEeLCjhVqpd`JMUS{pursF^NW\s|PwRqFpNC]{xpvrgF`NC\[yPurqFTMo\sxpqRgFHMW\[x`uRhFJMg[k}@prvFDNKZs|@nr_FlNS[LDoCOH_NA]CsHWopaa|D}KCWwzPvbvFaNK]h_R@eDKMWcpYTcehQQMdPHIUCdhOQudpHyMcbg{QQbxHYPCfhOQAcHHiNCYg}PibhEyPC[hAPqc@Ex~CPgcNua_}YHbyfwPUao}yScJhSOqdXBYUCMh[PAdhByJcDgmOY_xEICcXgSPe`@EIHb~giOA_HCYJCCggOIaP?wAOE_JUGjXNYkcziqRqg@Uy^dYh{TifPVYYd]hkTqjxLyocxj?RadxVYWD]iwREjxKiXd`hgUAhhSyiDMiiS}ipSikDPimTAhHOy`DFiASahPPIeDEiUSUoWAGCOH_N?e?|_RCU@KLW?ol_BBuAKFWGod_qyTtKHVWo|\rAtxKPV_otZa|TnJvV?nd[Q}trJ~VGntWastjJHUgk\ZQrteJPUokk@WAOD_L?Y?diaHsTgbPYadCjREflCY]sHiZPehlGYashiJUEVl[XUqpjzKEilYXirHizRE\lIX}sHezPE[lEYAs`fjFeik_Ymt`cZUeQl]XQtpczEuKk\WmpTaYmT\i|T}kLWJ[fPlu\Mxplj\FQlm[}v@sJfE{m]Zuy@njge~me[EyPoJWuoljZIudkz`FGmE[iw`qZafJmY[]wprJrFSnM\U|@tjsfVmq]mz@yjmf_nG\yzPwZqf^nE\qzXwjxFkn[^Q}XzZvftna^]}@|j?UAkB[axLqzdVLmX^x?T~c@wCN~_X?E@S?V~OB_C~D}S@WCNt^l?]@b}wDNx`Ws|iZSV_nB]U{\xJpWUOr`hAuEsJw]Op`tBEFCJwSOX`L@]CsDWFOj_`AmASIWLOr`h@uBsMwOOv`HBuCSMWsPa`~EIGKXGbpeaFEYHKXGapIanDAJKTGlpQazEAH{RGnpgbjFYL[]Gupyb^FyM[^Gwoh`VA]Pc_XFQBc`GmQCaXEQDc\G]K[Xwq_AcdH{?cdHN_CcxIESO@hKqa?DHk?sdhO