CAT(54,1)
Sparse6:
:u_OGCgHDapGsYcIGrAKs`JGRaK{`IBqpKoRLBrpCwPWHtr\GzXITRdWtDbPK`zI^ohkAZEdpHG{eP@Uh|gHPBViloLRk?j|WH\