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