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