5778559792domain: NAppears in sequencesf-vector for simplicial polytope providing counterexample to unimodality conjecture.at n=30A013641