 Each has a vertex figure of a "{31,n-2,2}" polytope is a birectified n-simplex, "t2{3n}".The sequence ends with k=6 (n=10), as an infinite tessellation of 9-dimensional hyperbolic space.The complete family of 1k2 polytope polytopes are