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