CAT(42,1)
Sparse6:
:i_OGCcHCaPPC[PECPW{YSPdby?eWOfBxhERJdUATchYHtRD[tUKpW{ZABMoSXnCAMWOHz?APw_X~