2 31 polytope