80 dodecagons