hyperbolic_dodecahedral_space:  (1, 0 + Z_5^3, 0, 1)