Hi, I am using polytope for the computation of a polytope with factorially many vertices. This definitely requires many computation resources, so I wonder what is the capacity of polytope. In my case, the process is killed if I run the software with 10! vertices, while 9! vertices can be computed in...