| Permutation group: | Degree $256$
$\langle(1,2)(3,5)(4,11)(6,15)(7,17)(8,20)(9,12)(10,26)(13,31)(14,23)(16,36)(18,39) \!\cdots\! \rangle$
|
magma:G := PermutationGroup< 256 | (1,2)(3,5)(4,11)(6,15)(7,17)(8,20)(9,12)(10,26)(13,31)(14,23)(16,36)(18,39)(19,43)(21,46)(22,47)(24,27)(25,56)(28,63)(29,65)(30,68)(32,70)(33,44)(34,50)(35,74)(37,81)(38,51)(40,86)(41,89)(42,93)(45,96)(48,84)(49,98)(52,108)(53,111)(54,114)(55,117)(57,122)(58,78)(59,126)(60,128)(61,109)(62,125)(64,137)(66,139)(67,132)(69,145)(71,151)(72,153)(73,155)(75,158)(76,77)(79,152)(80,133)(82,165)(83,163)(85,105)(87,171)(88,176)(90,167)(91,94)(92,120)(95,185)(97,189)(99,100)(101,179)(102,194)(103,115)(104,146)(106,198)(107,129)(110,203)(112,207)(113,123)(116,188)(118,210)(119,136)(121,201)(124,217)(127,184)(130,215)(131,142)(134,221)(135,138)(140,232)(141,235)(143,219)(144,240)(147,154)(148,149)(150,229)(156,244)(157,192)(159,247)(160,178)(161,237)(162,238)(164,202)(166,241)(168,190)(169,172)(170,187)(173,195)(174,196)(175,206)(177,197)(180,208)(181,191)(182,183)(186,254)(193,256)(199,236)(200,252)(204,211)(205,255)(209,218)(212,213)(214,220)(216,248)(222,251)(223,239)(224,234)(225,226)(227,250)(228,243)(230,242)(231,233)(245,253)(246,249), (2,3,5)(4,9,12)(6,14,8)(7,17,19)(10,24,27)(13,29,31)(15,33,34)(18,39,41)(20,38,44)(22,47,49)(23,50,51)(25,55,57)(28,61,63)(30,66,68)(35,73,75)(36,76,77)(37,79,81)(40,84,87)(42,91,94)(45,72,97)(46,99,100)(48,104,105)(52,95,71)(53,110,112)(54,113,115)(56,119,120)(58,107,123)(59,124,127)(60,103,129)(62,131,133)(64,135,138)(67,141,125)(69,145,147)(70,148,149)(74,156,157)(78,114,128)(80,161,132)(82,164,166)(83,167,168)(85,169,171)(86,172,146)(88,175,177)(90,160,179)(92,182,117)(96,186,187)(101,191,190)(102,193,165)(106,197,196)(108,199,200)(111,205,180)(116,203,208)(118,209,211)(121,214,184)(122,183,136)(126,220,222)(130,224,218)(134,219,227)(140,229,233)(142,235,237)(143,238,239)(144,228,232)(150,243,242)(151,245,236)(153,170,246)(155,192,212)(158,213,244)(159,204,234)(162,221,225)(163,181,178)(173,194,241)(174,206,216)(176,198,248)(185,252,253)(188,255,207)(189,249,254)(195,202,256)(201,217,251)(210,247,215)(223,226,250)(230,240,231), (2,4,10,25,56,74,78,36,58,26,35,15,11,16,6)(3,7,18,40,85,170,190,99,178,89,97,50,43,21,8)(5,13,30,67,142,236,243,149,231,139,95,44,65,32,14)(9,22,48,86,173,218,124,204,110,202,151,129,109,52,23)(12,28,62,132,225,197,112,206,127,223,153,113,98,45,20)(17,37,80,131,224,205,175,208,164,247,156,179,93,75,38)(19,42,92,183,126,221,166,227,177,251,245,167,152,71,33)(24,53,84,165,250,186,168,94,184,161,210,244,150,70,54)(27,59,125,219,256,200,228,135,203,172,176,192,101,46,60)(29,64,136,182,111,194,238,193,209,255,246,232,154,72,34)(31,69,146,105,196,222,211,214,239,248,157,229,137,73,51)(39,82,141,234,217,253,233,147,216,122,188,96,128,76,83)(41,88,57,121,215,155,103,47,102,133,226,254,242,148,90)(49,106,120,213,163,81,162,171,187,230,138,220,237,185,107)(55,116,198,158,115,63,134,104,195,252,191,100,140,66,118)(61,130,119,212,240,145,241,235,199,181,91,180,169,189,123)(68,143,87,174,207,249,160,79,159,117,201,108,114,77,144) >;
gap:G := Group( (1,2)(3,5)(4,11)(6,15)(7,17)(8,20)(9,12)(10,26)(13,31)(14,23)(16,36)(18,39)(19,43)(21,46)(22,47)(24,27)(25,56)(28,63)(29,65)(30,68)(32,70)(33,44)(34,50)(35,74)(37,81)(38,51)(40,86)(41,89)(42,93)(45,96)(48,84)(49,98)(52,108)(53,111)(54,114)(55,117)(57,122)(58,78)(59,126)(60,128)(61,109)(62,125)(64,137)(66,139)(67,132)(69,145)(71,151)(72,153)(73,155)(75,158)(76,77)(79,152)(80,133)(82,165)(83,163)(85,105)(87,171)(88,176)(90,167)(91,94)(92,120)(95,185)(97,189)(99,100)(101,179)(102,194)(103,115)(104,146)(106,198)(107,129)(110,203)(112,207)(113,123)(116,188)(118,210)(119,136)(121,201)(124,217)(127,184)(130,215)(131,142)(134,221)(135,138)(140,232)(141,235)(143,219)(144,240)(147,154)(148,149)(150,229)(156,244)(157,192)(159,247)(160,178)(161,237)(162,238)(164,202)(166,241)(168,190)(169,172)(170,187)(173,195)(174,196)(175,206)(177,197)(180,208)(181,191)(182,183)(186,254)(193,256)(199,236)(200,252)(204,211)(205,255)(209,218)(212,213)(214,220)(216,248)(222,251)(223,239)(224,234)(225,226)(227,250)(228,243)(230,242)(231,233)(245,253)(246,249), (2,3,5)(4,9,12)(6,14,8)(7,17,19)(10,24,27)(13,29,31)(15,33,34)(18,39,41)(20,38,44)(22,47,49)(23,50,51)(25,55,57)(28,61,63)(30,66,68)(35,73,75)(36,76,77)(37,79,81)(40,84,87)(42,91,94)(45,72,97)(46,99,100)(48,104,105)(52,95,71)(53,110,112)(54,113,115)(56,119,120)(58,107,123)(59,124,127)(60,103,129)(62,131,133)(64,135,138)(67,141,125)(69,145,147)(70,148,149)(74,156,157)(78,114,128)(80,161,132)(82,164,166)(83,167,168)(85,169,171)(86,172,146)(88,175,177)(90,160,179)(92,182,117)(96,186,187)(101,191,190)(102,193,165)(106,197,196)(108,199,200)(111,205,180)(116,203,208)(118,209,211)(121,214,184)(122,183,136)(126,220,222)(130,224,218)(134,219,227)(140,229,233)(142,235,237)(143,238,239)(144,228,232)(150,243,242)(151,245,236)(153,170,246)(155,192,212)(158,213,244)(159,204,234)(162,221,225)(163,181,178)(173,194,241)(174,206,216)(176,198,248)(185,252,253)(188,255,207)(189,249,254)(195,202,256)(201,217,251)(210,247,215)(223,226,250)(230,240,231), (2,4,10,25,56,74,78,36,58,26,35,15,11,16,6)(3,7,18,40,85,170,190,99,178,89,97,50,43,21,8)(5,13,30,67,142,236,243,149,231,139,95,44,65,32,14)(9,22,48,86,173,218,124,204,110,202,151,129,109,52,23)(12,28,62,132,225,197,112,206,127,223,153,113,98,45,20)(17,37,80,131,224,205,175,208,164,247,156,179,93,75,38)(19,42,92,183,126,221,166,227,177,251,245,167,152,71,33)(24,53,84,165,250,186,168,94,184,161,210,244,150,70,54)(27,59,125,219,256,200,228,135,203,172,176,192,101,46,60)(29,64,136,182,111,194,238,193,209,255,246,232,154,72,34)(31,69,146,105,196,222,211,214,239,248,157,229,137,73,51)(39,82,141,234,217,253,233,147,216,122,188,96,128,76,83)(41,88,57,121,215,155,103,47,102,133,226,254,242,148,90)(49,106,120,213,163,81,162,171,187,230,138,220,237,185,107)(55,116,198,158,115,63,134,104,195,252,191,100,140,66,118)(61,130,119,212,240,145,241,235,199,181,91,180,169,189,123)(68,143,87,174,207,249,160,79,159,117,201,108,114,77,144) );
sage:G = PermutationGroup(['(1,2)(3,5)(4,11)(6,15)(7,17)(8,20)(9,12)(10,26)(13,31)(14,23)(16,36)(18,39)(19,43)(21,46)(22,47)(24,27)(25,56)(28,63)(29,65)(30,68)(32,70)(33,44)(34,50)(35,74)(37,81)(38,51)(40,86)(41,89)(42,93)(45,96)(48,84)(49,98)(52,108)(53,111)(54,114)(55,117)(57,122)(58,78)(59,126)(60,128)(61,109)(62,125)(64,137)(66,139)(67,132)(69,145)(71,151)(72,153)(73,155)(75,158)(76,77)(79,152)(80,133)(82,165)(83,163)(85,105)(87,171)(88,176)(90,167)(91,94)(92,120)(95,185)(97,189)(99,100)(101,179)(102,194)(103,115)(104,146)(106,198)(107,129)(110,203)(112,207)(113,123)(116,188)(118,210)(119,136)(121,201)(124,217)(127,184)(130,215)(131,142)(134,221)(135,138)(140,232)(141,235)(143,219)(144,240)(147,154)(148,149)(150,229)(156,244)(157,192)(159,247)(160,178)(161,237)(162,238)(164,202)(166,241)(168,190)(169,172)(170,187)(173,195)(174,196)(175,206)(177,197)(180,208)(181,191)(182,183)(186,254)(193,256)(199,236)(200,252)(204,211)(205,255)(209,218)(212,213)(214,220)(216,248)(222,251)(223,239)(224,234)(225,226)(227,250)(228,243)(230,242)(231,233)(245,253)(246,249)', '(2,3,5)(4,9,12)(6,14,8)(7,17,19)(10,24,27)(13,29,31)(15,33,34)(18,39,41)(20,38,44)(22,47,49)(23,50,51)(25,55,57)(28,61,63)(30,66,68)(35,73,75)(36,76,77)(37,79,81)(40,84,87)(42,91,94)(45,72,97)(46,99,100)(48,104,105)(52,95,71)(53,110,112)(54,113,115)(56,119,120)(58,107,123)(59,124,127)(60,103,129)(62,131,133)(64,135,138)(67,141,125)(69,145,147)(70,148,149)(74,156,157)(78,114,128)(80,161,132)(82,164,166)(83,167,168)(85,169,171)(86,172,146)(88,175,177)(90,160,179)(92,182,117)(96,186,187)(101,191,190)(102,193,165)(106,197,196)(108,199,200)(111,205,180)(116,203,208)(118,209,211)(121,214,184)(122,183,136)(126,220,222)(130,224,218)(134,219,227)(140,229,233)(142,235,237)(143,238,239)(144,228,232)(150,243,242)(151,245,236)(153,170,246)(155,192,212)(158,213,244)(159,204,234)(162,221,225)(163,181,178)(173,194,241)(174,206,216)(176,198,248)(185,252,253)(188,255,207)(189,249,254)(195,202,256)(201,217,251)(210,247,215)(223,226,250)(230,240,231)', '(2,4,10,25,56,74,78,36,58,26,35,15,11,16,6)(3,7,18,40,85,170,190,99,178,89,97,50,43,21,8)(5,13,30,67,142,236,243,149,231,139,95,44,65,32,14)(9,22,48,86,173,218,124,204,110,202,151,129,109,52,23)(12,28,62,132,225,197,112,206,127,223,153,113,98,45,20)(17,37,80,131,224,205,175,208,164,247,156,179,93,75,38)(19,42,92,183,126,221,166,227,177,251,245,167,152,71,33)(24,53,84,165,250,186,168,94,184,161,210,244,150,70,54)(27,59,125,219,256,200,228,135,203,172,176,192,101,46,60)(29,64,136,182,111,194,238,193,209,255,246,232,154,72,34)(31,69,146,105,196,222,211,214,239,248,157,229,137,73,51)(39,82,141,234,217,253,233,147,216,122,188,96,128,76,83)(41,88,57,121,215,155,103,47,102,133,226,254,242,148,90)(49,106,120,213,163,81,162,171,187,230,138,220,237,185,107)(55,116,198,158,115,63,134,104,195,252,191,100,140,66,118)(61,130,119,212,240,145,241,235,199,181,91,180,169,189,123)(68,143,87,174,207,249,160,79,159,117,201,108,114,77,144)'])
sage_gap:G = gap.new('Group( (1,2)(3,5)(4,11)(6,15)(7,17)(8,20)(9,12)(10,26)(13,31)(14,23)(16,36)(18,39)(19,43)(21,46)(22,47)(24,27)(25,56)(28,63)(29,65)(30,68)(32,70)(33,44)(34,50)(35,74)(37,81)(38,51)(40,86)(41,89)(42,93)(45,96)(48,84)(49,98)(52,108)(53,111)(54,114)(55,117)(57,122)(58,78)(59,126)(60,128)(61,109)(62,125)(64,137)(66,139)(67,132)(69,145)(71,151)(72,153)(73,155)(75,158)(76,77)(79,152)(80,133)(82,165)(83,163)(85,105)(87,171)(88,176)(90,167)(91,94)(92,120)(95,185)(97,189)(99,100)(101,179)(102,194)(103,115)(104,146)(106,198)(107,129)(110,203)(112,207)(113,123)(116,188)(118,210)(119,136)(121,201)(124,217)(127,184)(130,215)(131,142)(134,221)(135,138)(140,232)(141,235)(143,219)(144,240)(147,154)(148,149)(150,229)(156,244)(157,192)(159,247)(160,178)(161,237)(162,238)(164,202)(166,241)(168,190)(169,172)(170,187)(173,195)(174,196)(175,206)(177,197)(180,208)(181,191)(182,183)(186,254)(193,256)(199,236)(200,252)(204,211)(205,255)(209,218)(212,213)(214,220)(216,248)(222,251)(223,239)(224,234)(225,226)(227,250)(228,243)(230,242)(231,233)(245,253)(246,249), (2,3,5)(4,9,12)(6,14,8)(7,17,19)(10,24,27)(13,29,31)(15,33,34)(18,39,41)(20,38,44)(22,47,49)(23,50,51)(25,55,57)(28,61,63)(30,66,68)(35,73,75)(36,76,77)(37,79,81)(40,84,87)(42,91,94)(45,72,97)(46,99,100)(48,104,105)(52,95,71)(53,110,112)(54,113,115)(56,119,120)(58,107,123)(59,124,127)(60,103,129)(62,131,133)(64,135,138)(67,141,125)(69,145,147)(70,148,149)(74,156,157)(78,114,128)(80,161,132)(82,164,166)(83,167,168)(85,169,171)(86,172,146)(88,175,177)(90,160,179)(92,182,117)(96,186,187)(101,191,190)(102,193,165)(106,197,196)(108,199,200)(111,205,180)(116,203,208)(118,209,211)(121,214,184)(122,183,136)(126,220,222)(130,224,218)(134,219,227)(140,229,233)(142,235,237)(143,238,239)(144,228,232)(150,243,242)(151,245,236)(153,170,246)(155,192,212)(158,213,244)(159,204,234)(162,221,225)(163,181,178)(173,194,241)(174,206,216)(176,198,248)(185,252,253)(188,255,207)(189,249,254)(195,202,256)(201,217,251)(210,247,215)(223,226,250)(230,240,231), (2,4,10,25,56,74,78,36,58,26,35,15,11,16,6)(3,7,18,40,85,170,190,99,178,89,97,50,43,21,8)(5,13,30,67,142,236,243,149,231,139,95,44,65,32,14)(9,22,48,86,173,218,124,204,110,202,151,129,109,52,23)(12,28,62,132,225,197,112,206,127,223,153,113,98,45,20)(17,37,80,131,224,205,175,208,164,247,156,179,93,75,38)(19,42,92,183,126,221,166,227,177,251,245,167,152,71,33)(24,53,84,165,250,186,168,94,184,161,210,244,150,70,54)(27,59,125,219,256,200,228,135,203,172,176,192,101,46,60)(29,64,136,182,111,194,238,193,209,255,246,232,154,72,34)(31,69,146,105,196,222,211,214,239,248,157,229,137,73,51)(39,82,141,234,217,253,233,147,216,122,188,96,128,76,83)(41,88,57,121,215,155,103,47,102,133,226,254,242,148,90)(49,106,120,213,163,81,162,171,187,230,138,220,237,185,107)(55,116,198,158,115,63,134,104,195,252,191,100,140,66,118)(61,130,119,212,240,145,241,235,199,181,91,180,169,189,123)(68,143,87,174,207,249,160,79,159,117,201,108,114,77,144) )')
oscar:G = @permutation_group(256, (1,2)(3,5)(4,11)(6,15)(7,17)(8,20)(9,12)(10,26)(13,31)(14,23)(16,36)(18,39)(19,43)(21,46)(22,47)(24,27)(25,56)(28,63)(29,65)(30,68)(32,70)(33,44)(34,50)(35,74)(37,81)(38,51)(40,86)(41,89)(42,93)(45,96)(48,84)(49,98)(52,108)(53,111)(54,114)(55,117)(57,122)(58,78)(59,126)(60,128)(61,109)(62,125)(64,137)(66,139)(67,132)(69,145)(71,151)(72,153)(73,155)(75,158)(76,77)(79,152)(80,133)(82,165)(83,163)(85,105)(87,171)(88,176)(90,167)(91,94)(92,120)(95,185)(97,189)(99,100)(101,179)(102,194)(103,115)(104,146)(106,198)(107,129)(110,203)(112,207)(113,123)(116,188)(118,210)(119,136)(121,201)(124,217)(127,184)(130,215)(131,142)(134,221)(135,138)(140,232)(141,235)(143,219)(144,240)(147,154)(148,149)(150,229)(156,244)(157,192)(159,247)(160,178)(161,237)(162,238)(164,202)(166,241)(168,190)(169,172)(170,187)(173,195)(174,196)(175,206)(177,197)(180,208)(181,191)(182,183)(186,254)(193,256)(199,236)(200,252)(204,211)(205,255)(209,218)(212,213)(214,220)(216,248)(222,251)(223,239)(224,234)(225,226)(227,250)(228,243)(230,242)(231,233)(245,253)(246,249), (2,3,5)(4,9,12)(6,14,8)(7,17,19)(10,24,27)(13,29,31)(15,33,34)(18,39,41)(20,38,44)(22,47,49)(23,50,51)(25,55,57)(28,61,63)(30,66,68)(35,73,75)(36,76,77)(37,79,81)(40,84,87)(42,91,94)(45,72,97)(46,99,100)(48,104,105)(52,95,71)(53,110,112)(54,113,115)(56,119,120)(58,107,123)(59,124,127)(60,103,129)(62,131,133)(64,135,138)(67,141,125)(69,145,147)(70,148,149)(74,156,157)(78,114,128)(80,161,132)(82,164,166)(83,167,168)(85,169,171)(86,172,146)(88,175,177)(90,160,179)(92,182,117)(96,186,187)(101,191,190)(102,193,165)(106,197,196)(108,199,200)(111,205,180)(116,203,208)(118,209,211)(121,214,184)(122,183,136)(126,220,222)(130,224,218)(134,219,227)(140,229,233)(142,235,237)(143,238,239)(144,228,232)(150,243,242)(151,245,236)(153,170,246)(155,192,212)(158,213,244)(159,204,234)(162,221,225)(163,181,178)(173,194,241)(174,206,216)(176,198,248)(185,252,253)(188,255,207)(189,249,254)(195,202,256)(201,217,251)(210,247,215)(223,226,250)(230,240,231), (2,4,10,25,56,74,78,36,58,26,35,15,11,16,6)(3,7,18,40,85,170,190,99,178,89,97,50,43,21,8)(5,13,30,67,142,236,243,149,231,139,95,44,65,32,14)(9,22,48,86,173,218,124,204,110,202,151,129,109,52,23)(12,28,62,132,225,197,112,206,127,223,153,113,98,45,20)(17,37,80,131,224,205,175,208,164,247,156,179,93,75,38)(19,42,92,183,126,221,166,227,177,251,245,167,152,71,33)(24,53,84,165,250,186,168,94,184,161,210,244,150,70,54)(27,59,125,219,256,200,228,135,203,172,176,192,101,46,60)(29,64,136,182,111,194,238,193,209,255,246,232,154,72,34)(31,69,146,105,196,222,211,214,239,248,157,229,137,73,51)(39,82,141,234,217,253,233,147,216,122,188,96,128,76,83)(41,88,57,121,215,155,103,47,102,133,226,254,242,148,90)(49,106,120,213,163,81,162,171,187,230,138,220,237,185,107)(55,116,198,158,115,63,134,104,195,252,191,100,140,66,118)(61,130,119,212,240,145,241,235,199,181,91,180,169,189,123)(68,143,87,174,207,249,160,79,159,117,201,108,114,77,144))
|