Generating the dodecahedron rotation group with python | Hacker News Reader