|
#############################################################################
## targetsQuotient.gi
#############################################################################
##
## This file is part of the LINS package.
##
## This file's authors include Friedrich Rober.
##
## Please refer to the COPYRIGHT file for details.
##
## SPDX-License-Identifier: GPL-2.0-or-later
##
#############################################################################
#############################################################################
## LINS_TargetsQuotient
#############################################################################
## Usage:
##
## The main function `LowIndexNormalSubgroupsSearch` calls the function
##
## `LINS_FindTQuotients`
##
## with the argument `targets` set to this.
#############################################################################
## Description:
##
## This is a pregenerated list following the specifications
## for the argument `targets` in the function `LINS_FindTQuotients`.
##
## The list was computed by the code in `addGroup.gi`.
##
## Let $T$ be a non-abelian simple group.
## Then the pregenerated list `LINS_TargetsQuotient` contains
## information on any subgroup $Q$ of $Aut(T x T x ... x T)$,
## such that $(T x T x ... x T)$ is a subgroup of $Q$
## and $Q$ acts transitively on the set of copies of $T$,
## with group order $|Q|$ up to the maximum index bound `LINS_MaxIndex`.
##
## Let $Q$ be such a group of interest,
## then the information about $Q$ consists of the following:
##
## - 1 : the group order $|Q|$
## - 2 : an index of some non-trivial subgroup $S < Q$,
## that has trivial core in $Q$
## - 3 : name of the group $T ^ d$
##
## The list `LINS_TargetsQuotient` is sorted by information $1$.
#############################################################################
BindGlobal("LINS_TargetsQuotient_Index", 10000000);
BindGlobal("LINS_TargetsQuotient",
List(
[ [ 60, "[ (1,2,3,4,5), (3,4,5) ]", "A5^1" ],
[ 120, "[ (4,5), (1,2,3,4,5) ]", "A5^1" ],
[ 168, "[ (3,7,5)(4,8,6), (1,2,6)(3,4,8) ]", "PSL(2,7)^1" ],
[ 336, "[ (3,8,7,6,5,4), (1,2,6)(3,4,8) ]", "PSL(2,7)^1" ],
[ 360, "[ (1,2,3,4,5)(8,10,11,9,12), (4,5,6)(7,12,10)(8,11,9) ]", "A6^1" ],
[ 504, "[ (3,8,6,4,9,7,5), (1,2,3)(4,7,5)(6,9,8) ]", "PSL(2,8)^1" ],
[ 660, "[ (3,11,9,7,5)(4,12,10,8,6), (1,2,8)(3,7,9)(4,10,5)(6,12,11) ]", "PSL(2,11)^1" ],
[ 720, "[ (1,7,2,8,3,9,4,10)(5,11,6,12), (1,2,3,4,5)(8,10,11,9,12) ]", "A6^1" ],
[ 720, "[ (1,9,4,8,3,7,2,10)(5,12,6,11), (1,2,3,4,5)(8,10,11,9,12) ]", "A6^1" ],
[ 720, "[ (5,6)(7,9)(8,10)(11,12), (1,2,3,4,5)(8,10,11,9,12) ]", "A6^1" ],
[ 1092, "[ (3,13,11,9,7,5)(4,14,12,10,8,6), (1,2,9)(3,8,10)(4,5,12)(6,13,14) ]", "PSL(2,13)^1" ],
[ 1320, "[ (3,12,11,10,9,8,7,6,5,4), (1,2,8)(3,7,9)(4,10,5)(6,12,11) ]", "PSL(2,11)^1" ],
[ 1440, "[ (1,7,2,8,3,9,4,10)(5,11,6,12), (5,6)(7,9)(8,10)(11,12), (1,2,3,4,5)(8,10,11,9,12) ]", "A6^1" ],
[ 1512, "[ (4,5,7)(6,9,8), (3,8,6,4,9,7,5), (1,2,3)(4,7,5)(6,9,8) ]", "PSL(2,8)^1" ],
[ 2184, "[ (3,14,13,12,11,10,9,8,7,6,5,4), (1,2,9)(3,8,10)(4,5,12)(6,13,14) ]", "PSL(2,13)^1" ],
[ 2448, "[ (3,17,15,13,11,9,7,5)(4,18,16,14,12,10,8,6), (1,2,11)(3,13,9)(4,15,6)(5,8,12)(7,18,16)(10,14,17) ]", "PSL(2,17)^1" ],
[ 2520, "[ (1,2,3,4,5,6,7), (5,6,7) ]", "A7^1" ],
[ 3420, "[ (3,19,17,15,13,11,9,7,5)(4,20,18,16,14,12,10,8,6), (1,2,12)(3,11,13)(4,17,6)(5,14,8)(7,20,18)(10,19,16) ]", "PSL(2,19)^1" ],
[ 4080, "[ (3,16,14,13,11,4,8,6,17,15,5,12,10,9,7), (1,2,3)(6,14,8)(7,11,10)(9,17,15)(12,16,13) ]", "PSL(2,16)^1" ],
[ 4896, "[ (3,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4), (1,2,11)(3,13,9)(4,15,6)(5,8,12)(7,18,16)(10,14,17) ]", "PSL(2,17)^1" ],
[ 5040, "[ (6,7), (1,2,3,4,5,6,7) ]", "A7^1" ],
[ 5616, "[ (5,8,11)(6,9,12)(7,10,13)(15,24,21)(16,26,22)(17,25,23), (1,2,5)(3,8,7)(4,11,6)(9,10,13)(14,15,18)(16,21,20)(17,24,19)(22,23,26) ]", "PSL(3,3)^1" ],
[ 6048, "[ (3,4,6,10,12,18,19,23)(5,8,13,20,17,11,16,7)(9,14,21,15,22,24,26,28)(25,27), (1,2,3,5,9,15,16,18)(4,7,12,19,24,27,26,23)(6,11,17,13,8,10,14,21)(20,25) ]", "PSU(3,3)^1" ],
[ 6072, "[ (3,23,21,19,17,15,13,11,9,7,5)(4,24,22,20,18,16,14,12,10,8,6), (1,2,14)(3,12,16)(4,18,9)(5,20,6)(7,13,11)(8,23,22)(10,24,19)(15,21,17) ]", "PSL(2,23)^1" ],
[ 6840, "[ (3,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4), (1,2,12)(3,11,13)(4,17,6)(5,14,8)(7,20,18)(10,19,16) ]", "PSL(2,19)^1" ],
[ 7200, "[ (1,6,5,7,4,8,3,9,2,10), (8,9,10) ]", "A5^2" ],
[ 7800, "[ (3,25,23,6,20,18,5,15,13,4,10,8)(7,26,24,22,21,19,17,16,14,12,11,9), (1,2,5)(3,4,6)(7,18,14)(8,22,9)(10,17,12)(11,25,24)(15,26,19)(16,23,21) ]", "PSL(2,25)^1" ],
[ 7920, "[ (1,2,3,4,5,6,7,8,9,10,11), (3,7,11,8)(4,10,5,6) ]", "M11^1" ],
[ 8160, "[ (6,9)(7,12)(8,15)(10,13)(11,16)(14,17), (3,16,14,13,11,4,8,6,17,15,5,12,10,9,7), (1,2,3)(6,14,8)(7,11,10)(9,17,15)(12,16,13) ]", "PSL(2,16)^1" ],
[ 9828, "[ (3,27,25,23,21,19,17,16,14,12,10,8,6)(4,15,13,11,9,7,5,28,26,24,22,20,18), (1,2,4)(5,8,24)(6,21,10)(7,16,15)(9,25,28)(11,13,14)(12,27,23)(17,26,18)(19,20,22) ]", "PSL(2,27)^1" ],
[ 11232, "[ (1,14)(2,15)(3,16)(4,17)(5,18)(6,19)(7,20)(8,21)(9,22)(10,23)(11,24)(12,25)(13,26), (5,8,11)(6,9,12)(7,10,13)(15,24,21)(16,26,22)(17,25,23), (1,2,5)(3,8,7)(4,11,6)(9,10,13)(14,15,18)(16,21,20)(17,24,19)(22,23,26) ]", "PSL(3,3)^1" ],
[ 12096, "[ (3,28,12,15)(4,21,18,26)(5,20,17,7)(6,24,19,14)(8,16,11,13)(9,23,22,10), (3,4,6,10,12,18,19,23)(5,8,13,20,17,11,16,7)(9,14,21,15,22,24,26,28)(25,27), (1,2,3,5,9,15,16,18)(4,7,12,19,24,27,26,23)(6,11,17,13,8,10,14,21)(20,25) ]", "PSU(3,3)^1" ],
[ 12144, "[ (3,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4), (1,2,14)(3,12,16)(4,18,9)(5,20,6)(7,13,11)(8,23,22)(10,24,19)(15,21,17) ]", "PSL(2,23)^1" ],
[ 12180, "[ (3,29,27,25,23,21,19,17,15,13,11,9,7,5)(4,30,28,26,24,22,20,18,16,14,12,10,8,6), (1,2,17)(3,16,18)(4,12,21)(5,23,9)(6,7,24)(8,15,14)(10,27,28)(11,29,25)(13,22,30)(19,26,20) ]", "PSL(2,29)^1" ],
[ 14400, "[ (1,6,5,7,4,8,3,10)(2,9), (4,5)(9,10), (8,9,10) ]", "A5^2" ],
[ 14400, "[ (1,6,5,7,4,8,3,9,2,10), (4,5)(9,10), (1,5,4,3,2) ]", "A5^2" ],
[ 14880, "[ (3,31,29,27,25,23,21,19,17,15,13,11,9,7,5)(4,32,30,28,26,24,22,20,18,16,14,12,10,8,6), (1,2,18)(3,24,12)(4,30,5)(6,32,31)(7,10,22)(8,15,16)(9,11,19)(14,26,29)(17,25,27)(20,21,28) ]", "PSL(2,31)^1" ],
[ 15600, "[ (3,26,25,24,23,22,6,21,20,19,18,17,5,16,15,14,13,12,4,11,10,9,8,7), (1,2,5)(3,4,6)(7,18,14)(8,22,9)(10,17,12)(11,25,24)(15,26,19)(16,23,21) ]", "PSL(2,25)^1" ],
[ 15600, "[ (3,26,6,21,5,16,4,11)(7,10,22,25,17,20,12,15)(8,14,23,9,18,24,13,19), (3,25,23,6,20,18,5,15,13,4,10,8)(7,26,24,22,21,19,17,16,14,12,11,9), (1,2,5)(3,4,6)(7,18,14)(8,22,9)(10,17,12)(11,25,24)(15,26,19)(16,23,21) ]", "PSL(2,25)^1" ],
[ 15600, "[ (7,11)(8,15)(9,19)(10,23)(12,16)(13,20)(14,24)(17,21)(18,25)(22,26), (3,25,23,6,20,18,5,15,13,4,10,8)(7,26,24,22,21,19,17,16,14,12,11,9), (1,2,5)(3,4,6)(7,18,14)(8,22,9)(10,17,12)(11,25,24)(15,26,19)(16,23,21) ]", "PSL(2,25)^1" ],
[ 16320, "[ (4,5)(6,7,9,12)(8,10,15,13)(11,17,16,14), (6,9)(7,12)(8,15)(10,13)(11,16)(14,17), (3,16,14,13,11,4,8,6,17,15,5,12,10,9,7), (1,2,3)(6,14,8)(7,11,10)(9,17,15)(12,16,13) ]", "PSL(2,16)^1" ],
[ 19656, "[ (3,28,27,26,25,24,23,22,21,20,19,18,17,4,16,15,14,13,12,11,10,9,8,7,6,5), (1,2,4)(5,8,24)(6,21,10)(7,16,15)(9,25,28)(11,13,14)(12,27,23)(17,26,18)(19,20,22) ]", "PSL(2,27)^1" ],
[ 20160, "[ (1,2,3,4,5,6,7), (6,7,8) ]", "A8^1" ],
[ 20160, "[ (3,4,5)(7,9,8)(10,14,18)(11,17,20)(12,15,21)(13,16,19)(24,26,25)(28,29,30)(31,39,35)(32,41,38)(33,42,36)(34,40,37), (1,2,6,7,11,3,10)(4,14,8,15,16,20,13)(5,18,9,19,21,17,12)(22,23,28,24,32,31,27)(25,36,41,42,34,39,30)(26,40,38,37,33,35,29) ]", "PSL(3,4)^1" ],
[ 24360, "[ (3,30,29,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4), (1,2,17)(3,16,18)(4,12,21)(5,23,9)(6,7,24)(8,15,14)(10,27,28)(11,29,25)(13,22,30)(19,26,20) ]", "PSL(2,29)^1" ],
[ 25308, "[ (3,37,35,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5)(4,38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6), (1,2,21)(3,20,22)(4,31,10)(5,34,6)(7,14,24)(8,37,36)(9,23,13)(11,38,32)(12,16,17)(18,28,35)(19,33,29)(25,26,30) ]", "PSL(2,37)^1" ],
[ 25920, "[ (3,4)(6,7)(9,10)(12,13)(17,20)(18,21)(19,22)(23,32)(24,33)(25,34)(26,38)(27,39)(28,40)(29,35)(30,36)(31,37), (1,5,14,17,27,22,19,36,3)(2,6,32)(4,7,23,20,37,13,16,26,40)(8,24,29,30,39,10,33,11,34)(9,15,35)(12,25,38)(21,28,31) ]", "PSp(4,3)^1" ],
[ 28800, "[ (1,6,5,7,4,8,3,9,2,10), (4,5), (9,10), (8,9,10) ]", "A5^2" ],
[ 29120, "[ (1,28,10,44)(3,50,11,42)(4,43,53,64)(5,9,39,52)(6,36,63,13)(7,51,60,57)(8,33,37,16)(12,24,55,29)(14,30,48,47)(15,19,61,54)(17,59,22,62)(18,23,34,31)(20,38,49,25)(21,26,45,58)(27,32,41,65)(35,46,40,56), (1,2)(3,10)(4,42)(5,18)(6,50)(7,26)(8,58)(9,34)(12,28)(13,45)(14,44)(15,23)(16,31)(17,21)(19,39)(20,38)(22,25)(24,61)(27,60)(29,65)(30,55)(32,33)(35,52)(36,49)(37,59)(40,54)(41,62)(43,53)(46,48)(47,56)(51,63)(57,64) ]", "Sz(8)^1" ],
[ 29484, "[ (5,7,13)(6,10,21)(8,16,14)(9,18,22)(11,24,15)(12,27,23)(17,19,25)(20,28,26), (3,27,25,23,21,19,17,16,14,12,10,8,6)(4,15,13,11,9,7,5,28,26,24,22,20,18), (1,2,4)(5,8,24)(6,21,10)(7,16,15)(9,25,28)(11,13,14)(12,27,23)(17,26,18)(19,20,22) ]", "PSL(2,27)^1" ],
[ 29760, "[ (3,32,31,30,29,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4), (1,2,18)(3,24,12)(4,30,5)(6,32,31)(7,10,22)(8,15,16)(9,11,19)(14,26,29)(17,25,27)(20,21,28) ]", "PSL(2,31)^1" ],
[ 31200, "[ (7,11)(8,15)(9,19)(10,23)(12,16)(13,20)(14,24)(17,21)(18,25)(22,26), (3,26,25,24,23,22,6,21,20,19,18,17,5,16,15,14,13,12,4,11,10,9,8,7), (1,2,5)(3,4,6)(7,18,14)(8,22,9)(10,17,12)(11,25,24)(15,26,19)(16,23,21) ]", "PSL(2,25)^1" ],
[ 32736, "[ (3,32,30,28,26,24,22,20,18,16,14,12,10,8,6,4,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5), (1,2,3)(4,16,20)(5,29,6)(7,24,9)(8,32,31)(10,12,18)(11,14,15)(13,30,28)(17,21,33)(19,25,27)(22,23,26) ]", "PSL(2,32)^1" ],
[ 34440, "[ (3,41,39,37,35,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5)(4,42,40,38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6), (1,2,23)(3,37,9)(4,24,21)(5,31,13)(6,36,7)(8,12,29)(10,40,39)(11,20,18)(14,16,19)(15,41,33)(17,34,38)(22,42,25)(26,35,28)(27,30,32) ]", "PSL(2,41)^1" ],
[ 39732, "[ (3,43,41,39,37,35,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5)(4,44,42,40,38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6), (1,2,24)(3,39,9)(4,12,35)(5,14,32)(6,19,26)(7,33,11)(8,25,18)(10,20,21)(13,36,44)(15,41,37)(16,34,43)(22,29,42)(23,40,30)(27,28,38) ]", "PSL(2,43)^1" ],
[ 40320, "[ (1,22)(2,23)(3,24)(4,25)(5,26)(6,27)(7,28)(8,29)(9,30)(10,31)(11,32)(12,33)(13,34)(14,35)(15,36)(16,37)(17,38)(18,39)(19,40)(20,41)(21,42), (3,4,5)(7,9,8)(10,14,18)(11,17,20)(12,15,21)(13,16,19)(24,26,25)(28,29,30)(31,39,35)(32,41,38)(33,42,36)(34,40,37), (1,2,6,7,11,3,10)(4,14,8,15,16,20,13)(5,18,9,19,21,17,12)(22,23,28,24,32,31,27)(25,36,41,42,34,39,30)(26,40,38,37,33,35,29) ]", "PSL(3,4)^1" ],
[ 40320, "[ (1,22)(2,23)(3,24)(4,26)(5,25)(6,27)(7,28)(8,30)(9,29)(10,31)(11,32)(12,34)(13,33)(14,39)(15,40)(16,42)(17,41)(18,35)(19,36)(20,38)(21,37), (3,4,5)(7,9,8)(10,14,18)(11,17,20)(12,15,21)(13,16,19)(24,26,25)(28,29,30)(31,39,35)(32,41,38)(33,42,36)(34,40,37), (1,2,6,7,11,3,10)(4,14,8,15,16,20,13)(5,18,9,19,21,17,12)(22,23,28,24,32,31,27)(25,36,41,42,34,39,30)(26,40,38,37,33,35,29) ]", "PSL(3,4)^1" ],
[ 40320, "[ (4,5)(8,9)(12,13)(14,18)(15,19)(16,21)(17,20)(25,26)(29,30)(33,34)(35,39)(36,40)(37,42)(38,41), (3,4,5)(7,9,8)(10,14,18)(11,17,20)(12,15,21)(13,16,19)(24,26,25)(28,29,30)(31,39,35)(32,41,38)(33,42,36)(34,40,37), (1,2,6,7,11,3,10)(4,14,8,15,16,20,13)(5,18,9,19,21,17,12)(22,23,28,24,32,31,27)(25,36,41,42,34,39,30)(26,40,38,37,33,35,29) ]", "PSL(3,4)^1" ],
[ 40320, "[ (7,8), (1,2,3,4,5,6,7) ]", "A8^1" ],
[ 50616, "[ (3,38,37,36,35,34,33,32,31,30,29,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4), (1,2,21)(3,20,22)(4,31,10)(5,34,6)(7,14,24)(8,37,36)(9,23,13)(11,38,32)(12,16,17)(18,28,35)(19,33,29)(25,26,30) ]", "PSL(2,37)^1" ],
[ 51840, "[ (6,7)(8,11)(9,13)(10,12)(15,16)(17,20)(18,22)(19,21)(24,25)(26,29)(27,31)(28,30)(33,34)(35,38)(36,40)(37,39), (3,4)(6,7)(9,10)(12,13)(17,20)(18,21)(19,22)(23,32)(24,33)(25,34)(26,38)(27,39)(28,40)(29,35)(30,36)(31,37), (1,5,14,17,27,22,19,36,3)(2,6,32)(4,7,23,20,37,13,16,26,40)(8,24,29,30,39,10,33,11,34)(9,15,35)(12,25,38)(21,28,31) ]", "PSp(4,3)^1" ],
[ 51888, "[ (3,47,45,43,41,39,37,35,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5)(4,48,46,44,42,40,38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6), (1,2,26)(3,8,44)(4,34,17)(5,43,7)(6,28,21)(9,47,45)(10,16,29)(11,32,12)(13,15,27)(14,22,19)(18,48,35)(20,41,40)(23,36,42)(24,46,31)(25,37,39)(30,38,33) ]", "PSL(2,47)^1" ],
[ 56448, "[ (1,5)(2,8)(3,12)(4,14)(6,16)(7,19)(9,21)(10,23)(11,25)(13,27)(15,29)(17,31)(18,33)(20,34)(22,36)(24,37)(26,38)(28,39)(30,40)(32,41)(35,42), (1,20,32)(2,13,24)(3,9,4)(6,11,22)(7,28,35)(10,18,26)(15,17,30), (1,32,15)(2,22,3)(4,35,30)(6,24,7)(9,20,18)(10,17,11)(13,26,28) ]", "PSL(2,7)^2" ],
[ 58800, "[ (3,49,47,45,8,42,40,38,7,35,33,31,6,28,26,24,5,21,19,17,4,14,12,10)(9,50,48,46,44,43,41,39,37,36,34,32,30,29,27,25,23,22,20,18,16,15,13,11), (1,2,6)(3,4,8)(9,25,33)(10,20,37)(11,32,24)(12,15,41)(13,38,16)(14,30,23)(17,31,19)(18,44,47)(21,46,43)(22,39,49)(26,34,50)(27,48,35)(28,42,40)(29,45,36) ]", "PSL(2,49)^1" ],
[ 58968, "[ (5,7,13)(6,10,21)(8,16,14)(9,18,22)(11,24,15)(12,27,23)(17,19,25)(20,28,26), (3,28,27,26,25,24,23,22,21,20,19,18,17,4,16,15,14,13,12,11,10,9,8,7,6,5), (1,2,4)(5,8,24)(6,21,10)(7,16,15)(9,25,28)(11,13,14)(12,27,23)(17,26,18)(19,20,22) ]", "PSL(2,27)^1" ],
[ 60480, "[ (7,9,8)(10,18,14)(11,21,16)(12,19,17)(13,20,15)(28,29,30)(31,35,39)(32,37,42)(33,38,40)(34,36,41), (3,4,5)(7,9,8)(10,14,18)(11,17,20)(12,15,21)(13,16,19)(24,26,25)(28,29,30)(31,39,35)(32,41,38)(33,42,36)(34,40,37), (1,2,6,7,11,3,10)(4,14,8,15,16,20,13)(5,18,9,19,21,17,12)(22,23,28,24,32,31,27)(25,36,41,42,34,39,30)(26,40,38,37,33,35,29) ]", "PSL(3,4)^1" ],
[ 62400, "[ (3,4,6,10,18,31,49,56,63,5,8,14,25,42,58)(7,12,22,38,41,32,50,48,37,55,11,20,34,13,24)(9,16,28,45,61,64,59,17,29,23,40,54,62,65,15)(19,33,51,52,35,53,27,44,60,26,30,47,57,46,39)(21,36,43), (1,2,3,5,9,17,30,48,55,20,35,54,45,58,63)(4,7,13,18,32,38,56,60,61,42,59,62,8,15,27)(6,11,21,37,49,47,50,51,29,46,33,40,57,34,52)(10,19,12,23,22,39,31,28,36,53,25,14,26,43,16)(24,41,44) ]", "PSU(3,4)^1" ],
[ 68880, "[ (3,42,41,40,39,38,37,36,35,34,33,32,31,30,29,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4), (1,2,23)(3,37,9)(4,24,21)(5,31,13)(6,36,7)(8,12,29)(10,40,39)(11,20,18)(14,16,19)(15,41,33)(17,34,38)(22,42,25)(26,35,28)(27,30,32) ]", "PSL(2,41)^1" ],
[ 74412, "[ (3,53,51,49,47,45,43,41,39,37,35,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5)(4,54,52,50,48,46,44,42,40,38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6), (1,2,29)(3,28,30)(4,12,45)(5,34,22)(6,47,8)(7,19,35)(9,10,42)(11,52,50)(13,46,54)(14,20,27)(15,25,21)(16,48,49)(17,26,18)(23,39,51)(24,53,36)(31,38,44)(32,41,40)(33,43,37) ]", "PSL(2,53)^1" ],
[ 79464, "[ (3,44,43,42,41,40,39,38,37,36,35,34,33,32,31,30,29,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4), (1,2,24)(3,39,9)(4,12,35)(5,14,32)(6,19,26)(7,33,11)(8,25,18)(10,20,21)(13,36,44)(15,41,37)(16,34,43)(22,29,42)(23,40,30)(27,28,38) ]", "PSL(2,43)^1" ],
[ 80640, "[ (4,5)(8,9)(12,13)(14,18)(15,19)(16,21)(17,20)(25,26)(29,30)(33,34)(35,39)(36,40)(37,42)(38,41), (1,22)(2,23)(3,24)(4,25)(5,26)(6,27)(7,28)(8,29)(9,30)(10,31)(11,32)(12,33)(13,34)(14,35)(15,36)(16,37)(17,38)(18,39)(19,40)(20,41)(21,42), (3,4,5)(7,9,8)(10,14,18)(11,17,20)(12,15,21)(13,16,19)(24,26,25)(28,29,30)(31,39,35)(32,41,38)(33,42,36)(34,40,37), (1,2,6,7,11,3,10)(4,14,8,15,16,20,13)(5,18,9,19,21,17,12)(22,23,28,24,32,31,27)(25,36,41,42,34,39,30)(26,40,38,37,33,35,29) ]", "PSL(3,4)^1" ],
[ 87360, "[ (4,7,5)(6,8,9)(12,15,13)(14,16,17)(18,42,26)(19,43,27)(20,47,29)(21,44,31)(22,48,33)(23,45,28)(24,49,30)(25,46,32)(34,50,58)(35,51,59)(36,55,61)(37,52,63)(38,56,65)(39,53,60)(40,57,62)(41,54,64), (1,28,10,44)(3,50,11,42)(4,43,53,64)(5,9,39,52)(6,36,63,13)(7,51,60,57)(8,33,37,16)(12,24,55,29)(14,30,48,47)(15,19,61,54)(17,59,22,62)(18,23,34,31)(20,38,49,25)(21,26,45,58)(27,32,41,65)(35,46,40,56), (1,2)(3,10)(4,42)(5,18)(6,50)(7,26)(8,58)(9,34)(12,28)(13,45)(14,44)(15,23)(16,31)(17,21)(19,39)(20,38)(22,25)(24,61)(27,60)(29,65)(30,55)(32,33)(35,52)(36,49)(37,59)(40,54)(41,62)(43,53)(46,48)(47,56)(51,63)(57,64) ]", "Sz(8)^1" ],
[ 95040, "[ (3,7,11,8)(4,10,5,6)(13,19)(14,23)(15,17,20,21)(16,22,24,18), (1,2,3,4,5,6,7,8,9,10,11)(14,18,22,17,24,16,20,23,19,15,21), (1,12)(2,11)(3,6)(4,8)(5,9)(7,10)(13,19)(14,24)(15,23)(16,18)(17,20)(21,22) ]", "M12^1" ],
[ 102660, "[ (3,59,57,55,53,51,49,47,45,43,41,39,37,35,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5)(4,60,58,56,54,52,50,48,46,44,42,40,38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6), (1,2,32)(3,31,33)(4,40,23)(5,26,36)(6,48,13)(7,50,10)(8,15,44)(9,39,19)(11,22,34)(12,18,37)(14,57,54)(16,58,51)(17,21,29)(20,49,56)(24,60,41)(25,55,45)(27,46,52)(28,38,59)(30,42,53)(35,43,47) ]", "PSL(2,59)^1" ],
[ 103776, "[ (3,48,47,46,45,44,43,42,41,40,39,38,37,36,35,34,33,32,31,30,29,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4), (1,2,26)(3,8,44)(4,34,17)(5,43,7)(6,28,21)(9,47,45)(10,16,29)(11,32,12)(13,15,27)(14,22,19)(18,48,35)(20,41,40)(23,36,42)(24,46,31)(25,37,39)(30,38,33) ]", "PSL(2,47)^1" ],
[ 112896, "[ (1,5)(2,8)(3,12)(4,14)(6,16)(7,19)(9,21)(10,23)(11,25)(13,27)(15,29)(17,31)(18,33)(20,34)(22,36)(24,37)(26,38)(28,39)(30,40)(32,41)(35,42), (2,24,6,28)(3,4,30,18,10,11,13,7)(8,37)(9,35,22,26,17,20,32,15)(12,23)(14,33)(16,39)(19,25)(21,38)(29,31)(34,41)(36,42), (1,20,32)(2,13,24)(3,9,4)(6,11,22)(7,28,35)(10,18,26)(15,17,30) ]", "PSL(2,7)^2" ],
[ 112896, "[ (1,5)(2,8,24,37,6,16,28,39)(3,12,4,14,30,40,18,33,10,23,11,25,13,27,7,19)(9,21,35,42,22,36,26,38,17,31,20,34,32,41,15,29), (2,24,6,28)(3,4,30,18,10,11,13,7)(8,37)(9,35,22,26,17,20,32,15)(12,23)(14,33)(16,39)(19,25)(21,38)(29,31)(34,41)(36,42), (5,12,23)(8,19,33)(14,25,37)(16,29,38)(21,31,39)(27,36,42)(34,41,40) ]", "PSL(2,7)^2" ],
[ 113460, "[ (3,61,59,57,55,53,51,49,47,45,43,41,39,37,35,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5)(4,62,60,58,56,54,52,50,48,46,44,42,40,38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6), (1,2,33)(3,32,34)(4,27,38)(5,11,53)(6,21,42)(7,46,16)(8,12,49)(9,31,29)(10,44,15)(13,55,61)(14,19,36)(17,54,58)(18,25,26)(20,59,50)(22,56,51)(24,45,60)(28,39,62)(30,47,52)(35,57,37)(40,41,48) ]", "PSL(2,61)^1" ],
[ 117600, "[ (3,50,49,48,47,46,45,44,8,43,42,41,40,39,38,37,7,36,35,34,33,32,31,30,6,29,28,27,26,25,24,23,5,22,21,20,19,18,17,16,4,15,14,13,12,11,10,9), (1,2,6)(3,4,8)(9,25,33)(10,20,37)(11,32,24)(12,15,41)(13,38,16)(14,30,23)(17,31,19)(18,44,47)(21,46,43)(22,39,49)(26,34,50)(27,48,35)(28,42,40)(29,45,36) ]", "PSL(2,49)^1" ],
[ 117600, "[ (3,50,8,43,7,36,6,29,5,22,4,15)(9,14,44,49,37,42,30,35,23,28,16,21)(10,20,45,13,38,48,31,41,24,34,17,27)(11,26,46,19,39,12,32,47,25,40,18,33), (3,49,47,45,8,42,40,38,7,35,33,31,6,28,26,24,5,21,19,17,4,14,12,10)(9,50,48,46,44,43,41,39,37,36,34,32,30,29,27,25,23,22,20,18,16,15,13,11), (1,2,6)(3,4,8)(9,25,33)(10,20,37)(11,32,24)(12,15,41)(13,38,16)(14,30,23)(17,31,19)(18,44,47)(21,46,43)(22,39,49)(26,34,50)(27,48,35)(28,42,40)(29,45,36) ]", "PSL(2,49)^1" ],
[ 117600, "[ (9,15)(10,21)(11,27)(12,33)(13,39)(14,45)(16,22)(17,28)(18,34)(19,40)(20,46)(23,29)(24,35)(25,41)(26,47)(30,36)(31,42)(32,48)(37,43)(38,49)(44,50), (3,49,47,45,8,42,40,38,7,35,33,31,6,28,26,24,5,21,19,17,4,14,12,10)(9,50,48,46,44,43,41,39,37,36,34,32,30,29,27,25,23,22,20,18,16,15,13,11), (1,2,6)(3,4,8)(9,25,33)(10,20,37)(11,32,24)(12,15,41)(13,38,16)(14,30,23)(17,31,19)(18,44,47)(21,46,43)(22,39,49)(26,34,50)(27,48,35)(28,42,40)(29,45,36) ]", "PSL(2,49)^1" ],
[ 120960, "[ (1,22)(2,23)(3,24)(4,25)(5,26)(6,27)(7,28)(8,29)(9,30)(10,31)(11,32)(12,33)(13,34)(14,35)(15,36)(16,37)(17,38)(18,39)(19,40)(20,41)(21,42), (7,8,9)(10,14,18)(11,16,21)(12,17,19)(13,15,20)(28,30,29)(31,39,35)(32,42,37)(33,40,38)(34,41,36), (3,4,5)(7,9,8)(10,14,18)(11,17,20)(12,15,21)(13,16,19)(24,26,25)(28,29,30)(31,39,35)(32,41,38)(33,42,36)(34,40,37), (1,2,6,7,11,3,10)(4,14,8,15,16,20,13)(5,18,9,19,21,17,12)(22,23,28,24,32,31,27)(25,36,41,42,34,39,30)(26,40,38,37,33,35,29) ]", "PSL(3,4)^1" ],
[ 120960, "[ (4,5)(8,9)(12,13)(14,18)(15,19)(16,21)(17,20)(25,26)(29,30)(33,34)(35,39)(36,40)(37,42)(38,41), (7,8,9)(10,14,18)(11,16,21)(12,17,19)(13,15,20)(28,30,29)(31,39,35)(32,42,37)(33,40,38)(34,41,36), (3,4,5)(7,9,8)(10,14,18)(11,17,20)(12,15,21)(13,16,19)(24,26,25)(28,29,30)(31,39,35)(32,41,38)(33,42,36)(34,40,37), (1,2,6,7,11,3,10)(4,14,8,15,16,20,13)(5,18,9,19,21,17,12)(22,23,28,24,32,31,27)(25,36,41,42,34,39,30)(26,40,38,37,33,35,29) ]", "PSL(3,4)^1" ],
[ 120960, "[ (7,9,8)(10,18,14)(11,21,16)(12,19,17)(13,20,15)(28,29,30)(31,35,39)(32,37,42)(33,38,40)(34,36,41), (1,22)(2,23)(3,24)(4,26)(5,25)(6,27)(7,28)(8,30)(9,29)(10,31)(11,32)(12,34)(13,33)(14,39)(15,40)(16,42)(17,41)(18,35)(19,36)(20,38)(21,37), (3,4,5)(7,9,8)(10,14,18)(11,17,20)(12,15,21)(13,16,19)(24,26,25)(28,29,30)(31,39,35)(32,41,38)(33,42,36)(34,40,37), (1,2,6,7,11,3,10)(4,14,8,15,16,20,13)(5,18,9,19,21,17,12)(22,23,28,24,32,31,27)(25,36,41,42,34,39,30)(26,40,38,37,33,35,29) ]", "PSL(3,4)^1" ],
[ 124800, "[ (3,55,31,24,8,41)(4,13,49,38,14,37)(5,7,58,32,18,11)(6,22,56,48,25,34)(9,51,64,44,40,57)(10,50,63,20,42,12)(15,46,61,52,23,60)(16,27,59,47,54,33)(17,19,62,53,28,30)(21,36,43)(26,45,39,29,35,65), (3,4,6,10,18,31,49,56,63,5,8,14,25,42,58)(7,12,22,38,41,32,50,48,37,55,11,20,34,13,24)(9,16,28,45,61,64,59,17,29,23,40,54,62,65,15)(19,33,51,52,35,53,27,44,60,26,30,47,57,46,39)(21,36,43), (1,2,3,5,9,17,30,48,55,20,35,54,45,58,63)(4,7,13,18,32,38,56,60,61,42,59,62,8,15,27)(6,11,21,37,49,47,50,51,29,46,33,40,57,34,52)(10,19,12,23,22,39,31,28,36,53,25,14,26,43,16)(24,41,44) ]", "PSU(3,4)^1" ],
[ 126000, "[ (3,4,6,10,17,31,33,51)(5,8,14,25,45,13,23,42)(7,12,21,38,55,86,77,92)(9,16,29,52,81,83,111,73)(11,19,34,58,88,22,40,67)(15,27,44,71,46,72,70,101)(18,32,35,59,89,100,116,125)(20,36,61,91,114,126,119,105)(24,39,66,98)(26,47,74,103,80,108,122,57)(28,50,48,76,79,30,54,84)(37,63,94,118,68,99,95,115)(41,64,96,75,104,43,69,85)(49,78,106,62,93,117,65,90)(53,82,109,102,121,123,60,56)(87,113,110,124,112,97,120,107), (1,2,3,5,9)(4,7,13,24,44)(6,11,20,37,64)(8,15,28,51,81)(10,18,33,57,87)(12,22,41,68,100)(14,26,48,77,105)(16,30,55,42,17)(19,35,60,58,34)(21,39,25,46,73)(23,43,70,76,93)(27,49,79,107,122)(29,53,83,112,117)(31,56,86,108,123)(32,52,59,90,101)(36,62,94,89,66)(38,65,97,50,80)(45,69,63,95,119)(47,75,98,121,99)(54,85,109,72,96)(61,92,116,126,84)(67,71,102,118,114)(74,103,78,106,120)(82,110,125,113,124)(88,111,91,115,104) ]", "PSU(3,5)^1" ],
[ 148824, "[ (3,54,53,52,51,50,49,48,47,46,45,44,43,42,41,40,39,38,37,36,35,34,33,32,31,30,29,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4), (1,2,29)(3,28,30)(4,12,45)(5,34,22)(6,47,8)(7,19,35)(9,10,42)(11,52,50)(13,46,54)(14,20,27)(15,25,21)(16,48,49)(17,26,18)(23,39,51)(24,53,36)(31,38,44)(32,41,40)(33,43,37) ]", "PSL(2,53)^1" ],
[ 150348, "[ (3,67,65,63,61,59,57,55,53,51,49,47,45,43,41,39,37,35,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5)(4,68,66,64,62,60,58,56,54,52,50,48,46,44,42,40,38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6), (1,2,36)(3,35,37)(4,63,8)(5,21,49)(6,24,45)(7,38,30)(9,68,64)(10,54,11)(12,41,22)(13,19,43)(14,44,17)(15,20,40)(16,26,33)(18,62,61)(23,51,67)(27,48,66)(28,58,55)(29,53,59)(31,60,50)(32,52,57)(34,65,42)(39,46,56) ]", "PSL(2,67)^1" ],
[ 163680, "[ (4,5,7,11,19)(6,9,15,27,20)(8,13,23,12,21)(10,17,31,28,22)(14,25,16,29,24)(18,33,32,30,26), (3,32,30,28,26,24,22,20,18,16,14,12,10,8,6,4,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5), (1,2,3)(4,16,20)(5,29,6)(7,24,9)(8,32,31)(10,12,18)(11,14,15)(13,30,28)(17,21,33)(19,25,27)(22,23,26) ]", "PSL(2,32)^1" ],
[ 175560, "[ (1,17)(2,67)(3,135)(4,83)(5,115)(6,8)(7,210)(9,114)(10,214)(11,149)(12,59)(13,53)(14,119)(15,179)(16,139)(18,169)(19,50)(20,232)(21,109)(22,128)(23,202)(24,82)(25,56)(26,134)(27,196)(28,234)(29,133)(30,102)(31,256)(32,204)(33,123)(34,148)(35,248)(36,164)(37,185)(38,137)(39,177)(40,165)(41,230)(42,113)(44,93)(45,127)(46,198)(47,180)(48,197)(49,239)(51,112)(52,265)(54,88)(55,66)(57,263)(58,62)(60,89)(61,238)(63,258)(64,97)(65,219)(68,186)(69,120)(70,124)(71,242)(72,211)(73,246)(74,175)(75,92)(76,192)(77,153)(78,215)(79,162)(80,183)(81,244)(84,85)(86,132)(87,264)(90,152)(91,103)(94,220)(95,201)(96,108)(98,171)(99,228)(100,178)(101,187)(104,253)(105,141)(106,147)(107,174)(110,247)(111,184)(116,146)(117,154)(118,158)(121,226)(122,157)(125,161)(126,212)(129,155)(130,159)(131,249)(136,235)(138,218)(140,205)(142,176)(143,227)(145,189)(156,181)(160,236)(163,172)(166,217)(167,251)(170,190)(173,237)(182,262)(188,209)(191,243)(193,259)(194,240)(195,224)(199,229)(200,208)(203,255)(213,225)(216,252)(221,257)(223,254)(231,260)(233,245)(250,261), (1,154,190)(2,78,249)(3,139,165)(4,265,119)(5,201,258)(6,187,237)(7,99,124)(8,246,240)(9,96,180)(10,75,36)(11,141,16)(12,174,215)(13,164,58)(14,242,191)(15,140,26)(17,37,118)(18,59,170)(19,65,189)(20,162,172)(22,223,104)(23,117,45)(24,62,256)(25,152,232)(27,72,128)(28,54,196)(29,40,126)(30,238,255)(31,87,251)(32,142,106)(33,202,261)(34,193,205)(35,171,183)(38,57,254)(39,70,143)(41,123,55)(42,145,110)(43,64,134)(44,195,231)(46,56,248)(47,51,184)(48,66,79)(49,50,207)(52,100,83)(53,158,121)(60,211,88)(61,113,132)(63,98,218)(67,136,81)(68,227,213)(69,192,138)(71,175,93)(73,122,160)(74,137,148)(76,263,125)(77,108,101)(80,264,97)(82,178,163)(84,103,167)(85,262,252)(86,216,166)(89,243,244)(91,241,120)(92,235,214)(94,206,102)(95,144,173)(105,159,157)(107,188,197)(109,156,199)(111,135,253)(112,245,150)(114,247,220)(115,198,194)(116,239,177)(130,230,260)(131,161,200)(133,146,176)(147,204,168)(149,222,181)(151,236,212)(153,225,233)(155,217,226)(169,210,219)(179,182,203)(185,209,224)(186,257,234)(208,221,259)(228,229,266) ]", "J_1^1" ],
[ 178920, "[ (3,71,69,67,65,63,61,59,57,55,53,51,49,47,45,43,41,39,37,35,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5)(4,72,70,68,66,64,62,60,58,56,54,52,50,48,46,44,42,40,38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6), (1,2,38)(3,32,44)(4,20,55)(5,46,28)(6,42,31)(7,35,37)(8,57,14)(9,12,58)(10,54,15)(11,25,43)(13,17,49)(16,40,23)(18,64,67)(19,68,62)(21,56,72)(22,66,61)(24,29,26)(27,59,63)(30,71,48)(33,51,65)(34,70,45)(36,60,53)(39,41,69)(47,52,50) ]", "PSL(2,71)^1" ],
[ 181440, "[ (1,2,3,4,5,6,7,8,9), (7,8,9) ]", "A9^1" ],
[ 190080, "[ (1,13,5,17)(2,14,3,15,12,24,9,21,6,18,4,16)(7,19,8,20,10,22)(11,23), (3,7,11,8)(4,10,5,6)(13,19)(14,23)(15,17,20,21)(16,22,24,18) ]", "M12^1" ],
[ 194472, "[ (3,73,71,69,67,65,63,61,59,57,55,53,51,49,47,45,43,41,39,37,35,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5)(4,74,72,70,68,66,64,62,60,58,56,54,52,50,48,46,44,42,40,38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6), (1,2,39)(3,31,47)(4,25,52)(5,44,32)(6,58,17)(7,64,10)(8,16,57)(9,23,49)(11,33,37)(12,56,13)(14,71,68)(15,30,36)(18,28,35)(19,38,24)(20,72,61)(21,62,70)(22,66,65)(26,53,74)(29,55,69)(34,73,46)(40,59,54)(41,45,67)(42,48,63)(43,50,60) ]", "PSL(2,73)^1" ], |