I want to find sample input of BIG data for a program.

I am interested in polytopes with many faces. I want the half-spaces that define the polytope to be as many as possible.

I do not care if it is a random polytope or a real one (I mean one with a name, like a cube for example (which is defined by only 6 faces)).

I want the polytope(s) to be defined by vertices or by half-spaces.

Thanks in advance.