modified permutationgroups.ijs