E4 polytope