extensions in Magma -- Computing the primitive permutation groups of degree less than