173 dodecagons