Math.Algebra.Group.RandomSchreierSims
testProdRepl
initProdRepl
nextProdRepl
updateArray
sgs
rss
rss'
initLevels
updateLevels
updateLevels'
baseTransversalsSGS
isMemberSGS