| Permutation group: | Degree $119$
$\langle(1,2,4,7)(3,17,19,22)(5,12,9,15)(6,13,25,29)(8,34,26,35)(10,16,27,33)(11,39,31,42) \!\cdots\! \rangle$
|
magma:G := PermutationGroup< 119 | (1,2,4,7)(3,17,19,22)(5,12,9,15)(6,13,25,29)(8,34,26,35)(10,16,27,33)(11,39,31,42)(14,46,32,47)(18,54,56,57)(20,51,23,53)(21,52,60,62)(24,40,61,65)(28,68,37,69)(30,72,66,73)(36,80,63,81)(38,79,67,78)(41,75,64,43)(44,84,49,85)(45,87,71,88)(48,90,76,93)(50,91,77,94)(55,98,99,83)(58,59,97,102)(70,104,82,101)(74,100,103,96)(86,109,92,110)(89,107,105,108)(95,111,106,112)(113,114,119,117,115,118,116), (1,3,18,55,90,46,86,44,12,39,52,74,30,6,21,58,80,107,87,106,77,33,75,51,70,28,5,20,57,100,109,84,76,32,7,31,65,98,67,27,61,102,104,112,94,105,71,29,64,22,63,26,4,19,56,99,93,47,92,49,15,42,62,103,66,25,60,97,81,108,88,95,50,16,43,53,82,37,9,23,54,96,110,85,48,14,2,11,40,83,38,10,24,59,101,111,91,89,45,13,41,17,36,8)(34,73,68,79,35,72,69,78)(113,115,114,118,119,116,117), (1,4)(2,7)(3,19)(5,9)(6,25)(8,26)(10,27)(11,31)(12,15)(13,29)(14,32)(16,33)(17,22)(18,56)(20,23)(21,60)(24,61)(28,37)(30,66)(34,35)(36,63)(38,67)(39,42)(40,65)(41,64)(43,75)(44,49)(45,71)(46,47)(48,76)(50,77)(51,53)(52,62)(54,57)(55,99)(58,97)(59,102)(68,69)(70,82)(72,73)(74,103)(78,79)(80,81)(83,98)(84,85)(86,92)(87,88)(89,105)(90,93)(91,94)(95,106)(96,100)(101,104)(107,108)(109,110)(111,112)(113,116,118,115,117,119,114), (1,5,4,9)(2,12,7,15)(3,20,19,23)(6,27,25,10)(8,28,26,37)(11,39,31,42)(13,33,29,16)(14,44,32,49)(17,51,22,53)(18,57,56,54)(21,61,60,24)(30,67,66,38)(34,68,35,69)(36,70,63,82)(40,52,65,62)(41,75,64,43)(45,77,71,50)(46,84,47,85)(48,86,76,92)(55,100,99,96)(58,102,97,59)(72,78,73,79)(74,98,103,83)(80,104,81,101)(87,94,88,91)(89,106,105,95)(90,109,93,110)(107,112,108,111)(113,117,116,119,118,114,115), (113,114,119,117,115,118,116), (1,6,5,27,4,25,9,10)(2,13,12,33,7,29,15,16)(3,21,20,61,19,60,23,24)(8,30,28,67,26,66,37,38)(11,41,39,75,31,64,42,43)(14,45,44,77,32,71,49,50)(17,52,51,65,22,62,53,40)(18,58,57,102,56,97,54,59)(34,72,68,78,35,73,69,79)(36,74,70,98,63,103,82,83)(46,87,84,94,47,88,85,91)(48,89,86,106,76,105,92,95)(55,80,100,104,99,81,96,101)(90,107,109,112,93,108,110,111)(113,118,117,114,116,115,119) >;
gap:G := Group( (1,2,4,7)(3,17,19,22)(5,12,9,15)(6,13,25,29)(8,34,26,35)(10,16,27,33)(11,39,31,42)(14,46,32,47)(18,54,56,57)(20,51,23,53)(21,52,60,62)(24,40,61,65)(28,68,37,69)(30,72,66,73)(36,80,63,81)(38,79,67,78)(41,75,64,43)(44,84,49,85)(45,87,71,88)(48,90,76,93)(50,91,77,94)(55,98,99,83)(58,59,97,102)(70,104,82,101)(74,100,103,96)(86,109,92,110)(89,107,105,108)(95,111,106,112)(113,114,119,117,115,118,116), (1,3,18,55,90,46,86,44,12,39,52,74,30,6,21,58,80,107,87,106,77,33,75,51,70,28,5,20,57,100,109,84,76,32,7,31,65,98,67,27,61,102,104,112,94,105,71,29,64,22,63,26,4,19,56,99,93,47,92,49,15,42,62,103,66,25,60,97,81,108,88,95,50,16,43,53,82,37,9,23,54,96,110,85,48,14,2,11,40,83,38,10,24,59,101,111,91,89,45,13,41,17,36,8)(34,73,68,79,35,72,69,78)(113,115,114,118,119,116,117), (1,4)(2,7)(3,19)(5,9)(6,25)(8,26)(10,27)(11,31)(12,15)(13,29)(14,32)(16,33)(17,22)(18,56)(20,23)(21,60)(24,61)(28,37)(30,66)(34,35)(36,63)(38,67)(39,42)(40,65)(41,64)(43,75)(44,49)(45,71)(46,47)(48,76)(50,77)(51,53)(52,62)(54,57)(55,99)(58,97)(59,102)(68,69)(70,82)(72,73)(74,103)(78,79)(80,81)(83,98)(84,85)(86,92)(87,88)(89,105)(90,93)(91,94)(95,106)(96,100)(101,104)(107,108)(109,110)(111,112)(113,116,118,115,117,119,114), (1,5,4,9)(2,12,7,15)(3,20,19,23)(6,27,25,10)(8,28,26,37)(11,39,31,42)(13,33,29,16)(14,44,32,49)(17,51,22,53)(18,57,56,54)(21,61,60,24)(30,67,66,38)(34,68,35,69)(36,70,63,82)(40,52,65,62)(41,75,64,43)(45,77,71,50)(46,84,47,85)(48,86,76,92)(55,100,99,96)(58,102,97,59)(72,78,73,79)(74,98,103,83)(80,104,81,101)(87,94,88,91)(89,106,105,95)(90,109,93,110)(107,112,108,111)(113,117,116,119,118,114,115), (113,114,119,117,115,118,116), (1,6,5,27,4,25,9,10)(2,13,12,33,7,29,15,16)(3,21,20,61,19,60,23,24)(8,30,28,67,26,66,37,38)(11,41,39,75,31,64,42,43)(14,45,44,77,32,71,49,50)(17,52,51,65,22,62,53,40)(18,58,57,102,56,97,54,59)(34,72,68,78,35,73,69,79)(36,74,70,98,63,103,82,83)(46,87,84,94,47,88,85,91)(48,89,86,106,76,105,92,95)(55,80,100,104,99,81,96,101)(90,107,109,112,93,108,110,111)(113,118,117,114,116,115,119) );
sage:G = PermutationGroup(['(1,2,4,7)(3,17,19,22)(5,12,9,15)(6,13,25,29)(8,34,26,35)(10,16,27,33)(11,39,31,42)(14,46,32,47)(18,54,56,57)(20,51,23,53)(21,52,60,62)(24,40,61,65)(28,68,37,69)(30,72,66,73)(36,80,63,81)(38,79,67,78)(41,75,64,43)(44,84,49,85)(45,87,71,88)(48,90,76,93)(50,91,77,94)(55,98,99,83)(58,59,97,102)(70,104,82,101)(74,100,103,96)(86,109,92,110)(89,107,105,108)(95,111,106,112)(113,114,119,117,115,118,116)', '(1,3,18,55,90,46,86,44,12,39,52,74,30,6,21,58,80,107,87,106,77,33,75,51,70,28,5,20,57,100,109,84,76,32,7,31,65,98,67,27,61,102,104,112,94,105,71,29,64,22,63,26,4,19,56,99,93,47,92,49,15,42,62,103,66,25,60,97,81,108,88,95,50,16,43,53,82,37,9,23,54,96,110,85,48,14,2,11,40,83,38,10,24,59,101,111,91,89,45,13,41,17,36,8)(34,73,68,79,35,72,69,78)(113,115,114,118,119,116,117)', '(1,4)(2,7)(3,19)(5,9)(6,25)(8,26)(10,27)(11,31)(12,15)(13,29)(14,32)(16,33)(17,22)(18,56)(20,23)(21,60)(24,61)(28,37)(30,66)(34,35)(36,63)(38,67)(39,42)(40,65)(41,64)(43,75)(44,49)(45,71)(46,47)(48,76)(50,77)(51,53)(52,62)(54,57)(55,99)(58,97)(59,102)(68,69)(70,82)(72,73)(74,103)(78,79)(80,81)(83,98)(84,85)(86,92)(87,88)(89,105)(90,93)(91,94)(95,106)(96,100)(101,104)(107,108)(109,110)(111,112)(113,116,118,115,117,119,114)', '(1,5,4,9)(2,12,7,15)(3,20,19,23)(6,27,25,10)(8,28,26,37)(11,39,31,42)(13,33,29,16)(14,44,32,49)(17,51,22,53)(18,57,56,54)(21,61,60,24)(30,67,66,38)(34,68,35,69)(36,70,63,82)(40,52,65,62)(41,75,64,43)(45,77,71,50)(46,84,47,85)(48,86,76,92)(55,100,99,96)(58,102,97,59)(72,78,73,79)(74,98,103,83)(80,104,81,101)(87,94,88,91)(89,106,105,95)(90,109,93,110)(107,112,108,111)(113,117,116,119,118,114,115)', '(113,114,119,117,115,118,116)', '(1,6,5,27,4,25,9,10)(2,13,12,33,7,29,15,16)(3,21,20,61,19,60,23,24)(8,30,28,67,26,66,37,38)(11,41,39,75,31,64,42,43)(14,45,44,77,32,71,49,50)(17,52,51,65,22,62,53,40)(18,58,57,102,56,97,54,59)(34,72,68,78,35,73,69,79)(36,74,70,98,63,103,82,83)(46,87,84,94,47,88,85,91)(48,89,86,106,76,105,92,95)(55,80,100,104,99,81,96,101)(90,107,109,112,93,108,110,111)(113,118,117,114,116,115,119)'])
sage_gap:G = gap.new('Group( (1,2,4,7)(3,17,19,22)(5,12,9,15)(6,13,25,29)(8,34,26,35)(10,16,27,33)(11,39,31,42)(14,46,32,47)(18,54,56,57)(20,51,23,53)(21,52,60,62)(24,40,61,65)(28,68,37,69)(30,72,66,73)(36,80,63,81)(38,79,67,78)(41,75,64,43)(44,84,49,85)(45,87,71,88)(48,90,76,93)(50,91,77,94)(55,98,99,83)(58,59,97,102)(70,104,82,101)(74,100,103,96)(86,109,92,110)(89,107,105,108)(95,111,106,112)(113,114,119,117,115,118,116), (1,3,18,55,90,46,86,44,12,39,52,74,30,6,21,58,80,107,87,106,77,33,75,51,70,28,5,20,57,100,109,84,76,32,7,31,65,98,67,27,61,102,104,112,94,105,71,29,64,22,63,26,4,19,56,99,93,47,92,49,15,42,62,103,66,25,60,97,81,108,88,95,50,16,43,53,82,37,9,23,54,96,110,85,48,14,2,11,40,83,38,10,24,59,101,111,91,89,45,13,41,17,36,8)(34,73,68,79,35,72,69,78)(113,115,114,118,119,116,117), (1,4)(2,7)(3,19)(5,9)(6,25)(8,26)(10,27)(11,31)(12,15)(13,29)(14,32)(16,33)(17,22)(18,56)(20,23)(21,60)(24,61)(28,37)(30,66)(34,35)(36,63)(38,67)(39,42)(40,65)(41,64)(43,75)(44,49)(45,71)(46,47)(48,76)(50,77)(51,53)(52,62)(54,57)(55,99)(58,97)(59,102)(68,69)(70,82)(72,73)(74,103)(78,79)(80,81)(83,98)(84,85)(86,92)(87,88)(89,105)(90,93)(91,94)(95,106)(96,100)(101,104)(107,108)(109,110)(111,112)(113,116,118,115,117,119,114), (1,5,4,9)(2,12,7,15)(3,20,19,23)(6,27,25,10)(8,28,26,37)(11,39,31,42)(13,33,29,16)(14,44,32,49)(17,51,22,53)(18,57,56,54)(21,61,60,24)(30,67,66,38)(34,68,35,69)(36,70,63,82)(40,52,65,62)(41,75,64,43)(45,77,71,50)(46,84,47,85)(48,86,76,92)(55,100,99,96)(58,102,97,59)(72,78,73,79)(74,98,103,83)(80,104,81,101)(87,94,88,91)(89,106,105,95)(90,109,93,110)(107,112,108,111)(113,117,116,119,118,114,115), (113,114,119,117,115,118,116), (1,6,5,27,4,25,9,10)(2,13,12,33,7,29,15,16)(3,21,20,61,19,60,23,24)(8,30,28,67,26,66,37,38)(11,41,39,75,31,64,42,43)(14,45,44,77,32,71,49,50)(17,52,51,65,22,62,53,40)(18,58,57,102,56,97,54,59)(34,72,68,78,35,73,69,79)(36,74,70,98,63,103,82,83)(46,87,84,94,47,88,85,91)(48,89,86,106,76,105,92,95)(55,80,100,104,99,81,96,101)(90,107,109,112,93,108,110,111)(113,118,117,114,116,115,119) )')
oscar:G = @permutation_group(119, (1,2,4,7)(3,17,19,22)(5,12,9,15)(6,13,25,29)(8,34,26,35)(10,16,27,33)(11,39,31,42)(14,46,32,47)(18,54,56,57)(20,51,23,53)(21,52,60,62)(24,40,61,65)(28,68,37,69)(30,72,66,73)(36,80,63,81)(38,79,67,78)(41,75,64,43)(44,84,49,85)(45,87,71,88)(48,90,76,93)(50,91,77,94)(55,98,99,83)(58,59,97,102)(70,104,82,101)(74,100,103,96)(86,109,92,110)(89,107,105,108)(95,111,106,112)(113,114,119,117,115,118,116), (1,3,18,55,90,46,86,44,12,39,52,74,30,6,21,58,80,107,87,106,77,33,75,51,70,28,5,20,57,100,109,84,76,32,7,31,65,98,67,27,61,102,104,112,94,105,71,29,64,22,63,26,4,19,56,99,93,47,92,49,15,42,62,103,66,25,60,97,81,108,88,95,50,16,43,53,82,37,9,23,54,96,110,85,48,14,2,11,40,83,38,10,24,59,101,111,91,89,45,13,41,17,36,8)(34,73,68,79,35,72,69,78)(113,115,114,118,119,116,117), (1,4)(2,7)(3,19)(5,9)(6,25)(8,26)(10,27)(11,31)(12,15)(13,29)(14,32)(16,33)(17,22)(18,56)(20,23)(21,60)(24,61)(28,37)(30,66)(34,35)(36,63)(38,67)(39,42)(40,65)(41,64)(43,75)(44,49)(45,71)(46,47)(48,76)(50,77)(51,53)(52,62)(54,57)(55,99)(58,97)(59,102)(68,69)(70,82)(72,73)(74,103)(78,79)(80,81)(83,98)(84,85)(86,92)(87,88)(89,105)(90,93)(91,94)(95,106)(96,100)(101,104)(107,108)(109,110)(111,112)(113,116,118,115,117,119,114), (1,5,4,9)(2,12,7,15)(3,20,19,23)(6,27,25,10)(8,28,26,37)(11,39,31,42)(13,33,29,16)(14,44,32,49)(17,51,22,53)(18,57,56,54)(21,61,60,24)(30,67,66,38)(34,68,35,69)(36,70,63,82)(40,52,65,62)(41,75,64,43)(45,77,71,50)(46,84,47,85)(48,86,76,92)(55,100,99,96)(58,102,97,59)(72,78,73,79)(74,98,103,83)(80,104,81,101)(87,94,88,91)(89,106,105,95)(90,109,93,110)(107,112,108,111)(113,117,116,119,118,114,115), (113,114,119,117,115,118,116), (1,6,5,27,4,25,9,10)(2,13,12,33,7,29,15,16)(3,21,20,61,19,60,23,24)(8,30,28,67,26,66,37,38)(11,41,39,75,31,64,42,43)(14,45,44,77,32,71,49,50)(17,52,51,65,22,62,53,40)(18,58,57,102,56,97,54,59)(34,72,68,78,35,73,69,79)(36,74,70,98,63,103,82,83)(46,87,84,94,47,88,85,91)(48,89,86,106,76,105,92,95)(55,80,100,104,99,81,96,101)(90,107,109,112,93,108,110,111)(113,118,117,114,116,115,119))
|