Hinton's polytope