User:Tomruen/semiregular polytopes