Advanced Computations in Finite Groups