Changed naming of index 4 group since Gamma^4 is also not unique