CAT(10,1)
Sparse6:
:I`ACWqHKhhccTF