[math-fun] Atlas of Finite Groups query