Category:7D polytopes without OFF files