Talk:List of E7 polytopes