dod := Group( # Face rotation: top face (2,3,4,5,6) (7,8,9,10,11), # Face rotation: front face (1,4,10,9,2)(5,11,12,8,6) );