CAT(8,1)

Sparse6: