ABAGT: The symmetries of the dodecahedron, which are the same as the ...