A9 polytope