these are fiodorov's polytopes