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