1 42 polytope