F4 polytope