SMS: Finite permutation groups