Cameron [7] showed that all primitive permutationgroups are small base groups, except the symmetric groups, the alternating groups,and nontrivial wreath products in the product action. ... II. Backtrack algorithm. Math. Comp., 39(160):671–680, 1982. [7]