CRF polytope