LoadPackage("recog"); g := AtlasGroup("M24",Dimension,45,Characteristic,7); GeneratorsOfGroup(g); h := Group(GeneratorsOfGroup(g)); ri := RecogniseGroup(h); g := SymmetricGroup(400); h := Group(GeneratorsOfGroup(g)); Size(h); ri := RecogniseGroup(h); time; Size(ri)=Factorial(400); IsNaturalSymmetricGroup(h); g := AtlasSubgroup("Co1",Dimension,24,6); h := Group(GeneratorsOfGroup(g)); ri := RecogniseGroup(h); time;