There are twelve edges and the action on them is transitive, so an edge stabilizer has orderFor an edge parallel to the -axis with midpoint , its stabilizer is generated by interchanging and and by replacing by . These are commuting involutions, so
Solved by gpt-5.6-sol high.
Codex Wiki