CAT(4,1)
Lcf code:
[2]^4
Sparse6:
:CcKI