CAT(4,1)
Sparse6:
:CcKI