| Permutation group: | Degree $381$
$\langle(4,218,14,308,213,146,113,202,242,83,376,52,87,29,340,105,262,66)(6,170,183,274,164,171,221,371,252,50,198,173,282,256,235,128,96,315) \!\cdots\! \rangle$
|
magma:G := PermutationGroup< 381 | (4,218,14,308,213,146,113,202,242,83,376,52,87,29,340,105,262,66)(6,170,183,274,164,171,221,371,252,50,198,173,282,256,235,128,96,315)(7,89,93,248,111,346,208,10,72,119,20,152,8,314,224,268,35,58)(9,329,343,42,272,98,236,158,364,278,306,138,204,279,109,281,291,360)(11,259,143,210,102,239,199,337,373,26,380,49,80,110,305,215,379,63)(12,41,267,139,285,175,61,326,209,181,246,182,107,232,184,293,17,194)(13,375,241,51,104,201,217,381,82,339,307,261,86,28,212,112,65,145)(16,249,295,100,327,229,74,372,70,370,92,200,369,363,205,189,39,133)(18,197,320,275,317,40,311,81,318,48,330,148,368,177,345,153,137,22)(19,116,361,156,60,297,290,347,132,254,176,299,324,222,127,296,378,27)(21,227,142,286,353,342,253,141,206,169,144,154,135,99,245,358,223,192)(23,226,365,351,313,300,258,120,301,136,294,131,303,31,180,328,160,64)(24,354,185,357,118,174,77,190,367,85,312,234,280,38,355,348,55,59)(25,310,168,269,366,193,247,91,251,165,277,230,166,216,178,123,159,45)(32,359,62,151,289,257,162,54,167,211,331,334,344,95,191,325,332,36)(33,220,161,287,140,336,69,316,76,75,179,103,276,187,292,126,78,157)(34,101,270,374,321,150,273,130,356,298,335,90,352,228,264,271,196,283)(37,94,304,155,108,284,350,129,188,71,46,260,244,125,43,44,56,255)(47,186,362,333,225,121,207,233,322,266,172,79,134,124,338,149,122,115)(57,349,117,163,73,302,68,195,265,238,97,288,250,231,240,319,323,237), (1,212,168,377,376,112,63,310,370,208,283,27,67,66,13,360,165,60,179,226,270,160,64,142,121,311,131,44,50,135,34,359,115,250,248,300,249,84,83,339,335,251,77,32,318,181,137,275,347,80,352,148,371,89,54,93,219,218,3,2)(4,201,152,269,379,53,52,82,326,91,46,351,235,69,174,324,118,357,43,117,74,367,294,329,317,331,12,169,136,266,59,215,75,119,78,161,243,242,86,33,247,236,361,68,134,35,304,368,88,87,307,163,366,81,342,190,72,221,167,5)(6,40,10,231,180,15,14,28,16,230,8,49,232,214,213,145,333,193,207,79,344,97,254,149,285,315,210,278,301,197,56,287,362,200,154,194,31,296,268,98,312,263,262,261,96,45,256,274,260,286,109,128,295,177,133,327,343,186,157,189)(7,176,279,341,340,241,55,277,334,228,233,281,103,21,102,188,289,24,48,130,198,209,239,355,316,378,328,20,363,271,147,146,51,290,25,140,306,245,173,321,175,276,41,293,211,223,369,139,323,90,259,22,124,303,185,138,182,42,204,101)(9,26,365,288,257,156,171,222,132,153,143,172,19,61,205,238,85,206,111,144,253,309,308,381,192,159,302,18,158,151,350,280,240,358,220,373,346,246,47,30,29,375,37,166,23,184,297,70,191,76,162,62,272,94,337,36,11,380,353,108)(17,224,322,125,106,105,65,345,216,99,349,336,155,122,264,364,58,38,170,203,202,104,332,123,196,348,92,120,110,57,282,237,319,267,356,292,265,255,372,127,95,252,313,187,273,73,305,183,291,100,338,227,320,234,298,229,129,299,284,244)(39,126,164,354,225,199,116,374,141,325)(71,314,330,195,114,113,217,258,178,107) >;
gap:G := Group( (4,218,14,308,213,146,113,202,242,83,376,52,87,29,340,105,262,66)(6,170,183,274,164,171,221,371,252,50,198,173,282,256,235,128,96,315)(7,89,93,248,111,346,208,10,72,119,20,152,8,314,224,268,35,58)(9,329,343,42,272,98,236,158,364,278,306,138,204,279,109,281,291,360)(11,259,143,210,102,239,199,337,373,26,380,49,80,110,305,215,379,63)(12,41,267,139,285,175,61,326,209,181,246,182,107,232,184,293,17,194)(13,375,241,51,104,201,217,381,82,339,307,261,86,28,212,112,65,145)(16,249,295,100,327,229,74,372,70,370,92,200,369,363,205,189,39,133)(18,197,320,275,317,40,311,81,318,48,330,148,368,177,345,153,137,22)(19,116,361,156,60,297,290,347,132,254,176,299,324,222,127,296,378,27)(21,227,142,286,353,342,253,141,206,169,144,154,135,99,245,358,223,192)(23,226,365,351,313,300,258,120,301,136,294,131,303,31,180,328,160,64)(24,354,185,357,118,174,77,190,367,85,312,234,280,38,355,348,55,59)(25,310,168,269,366,193,247,91,251,165,277,230,166,216,178,123,159,45)(32,359,62,151,289,257,162,54,167,211,331,334,344,95,191,325,332,36)(33,220,161,287,140,336,69,316,76,75,179,103,276,187,292,126,78,157)(34,101,270,374,321,150,273,130,356,298,335,90,352,228,264,271,196,283)(37,94,304,155,108,284,350,129,188,71,46,260,244,125,43,44,56,255)(47,186,362,333,225,121,207,233,322,266,172,79,134,124,338,149,122,115)(57,349,117,163,73,302,68,195,265,238,97,288,250,231,240,319,323,237), (1,212,168,377,376,112,63,310,370,208,283,27,67,66,13,360,165,60,179,226,270,160,64,142,121,311,131,44,50,135,34,359,115,250,248,300,249,84,83,339,335,251,77,32,318,181,137,275,347,80,352,148,371,89,54,93,219,218,3,2)(4,201,152,269,379,53,52,82,326,91,46,351,235,69,174,324,118,357,43,117,74,367,294,329,317,331,12,169,136,266,59,215,75,119,78,161,243,242,86,33,247,236,361,68,134,35,304,368,88,87,307,163,366,81,342,190,72,221,167,5)(6,40,10,231,180,15,14,28,16,230,8,49,232,214,213,145,333,193,207,79,344,97,254,149,285,315,210,278,301,197,56,287,362,200,154,194,31,296,268,98,312,263,262,261,96,45,256,274,260,286,109,128,295,177,133,327,343,186,157,189)(7,176,279,341,340,241,55,277,334,228,233,281,103,21,102,188,289,24,48,130,198,209,239,355,316,378,328,20,363,271,147,146,51,290,25,140,306,245,173,321,175,276,41,293,211,223,369,139,323,90,259,22,124,303,185,138,182,42,204,101)(9,26,365,288,257,156,171,222,132,153,143,172,19,61,205,238,85,206,111,144,253,309,308,381,192,159,302,18,158,151,350,280,240,358,220,373,346,246,47,30,29,375,37,166,23,184,297,70,191,76,162,62,272,94,337,36,11,380,353,108)(17,224,322,125,106,105,65,345,216,99,349,336,155,122,264,364,58,38,170,203,202,104,332,123,196,348,92,120,110,57,282,237,319,267,356,292,265,255,372,127,95,252,313,187,273,73,305,183,291,100,338,227,320,234,298,229,129,299,284,244)(39,126,164,354,225,199,116,374,141,325)(71,314,330,195,114,113,217,258,178,107) );
sage:G = PermutationGroup(['(4,218,14,308,213,146,113,202,242,83,376,52,87,29,340,105,262,66)(6,170,183,274,164,171,221,371,252,50,198,173,282,256,235,128,96,315)(7,89,93,248,111,346,208,10,72,119,20,152,8,314,224,268,35,58)(9,329,343,42,272,98,236,158,364,278,306,138,204,279,109,281,291,360)(11,259,143,210,102,239,199,337,373,26,380,49,80,110,305,215,379,63)(12,41,267,139,285,175,61,326,209,181,246,182,107,232,184,293,17,194)(13,375,241,51,104,201,217,381,82,339,307,261,86,28,212,112,65,145)(16,249,295,100,327,229,74,372,70,370,92,200,369,363,205,189,39,133)(18,197,320,275,317,40,311,81,318,48,330,148,368,177,345,153,137,22)(19,116,361,156,60,297,290,347,132,254,176,299,324,222,127,296,378,27)(21,227,142,286,353,342,253,141,206,169,144,154,135,99,245,358,223,192)(23,226,365,351,313,300,258,120,301,136,294,131,303,31,180,328,160,64)(24,354,185,357,118,174,77,190,367,85,312,234,280,38,355,348,55,59)(25,310,168,269,366,193,247,91,251,165,277,230,166,216,178,123,159,45)(32,359,62,151,289,257,162,54,167,211,331,334,344,95,191,325,332,36)(33,220,161,287,140,336,69,316,76,75,179,103,276,187,292,126,78,157)(34,101,270,374,321,150,273,130,356,298,335,90,352,228,264,271,196,283)(37,94,304,155,108,284,350,129,188,71,46,260,244,125,43,44,56,255)(47,186,362,333,225,121,207,233,322,266,172,79,134,124,338,149,122,115)(57,349,117,163,73,302,68,195,265,238,97,288,250,231,240,319,323,237)', '(1,212,168,377,376,112,63,310,370,208,283,27,67,66,13,360,165,60,179,226,270,160,64,142,121,311,131,44,50,135,34,359,115,250,248,300,249,84,83,339,335,251,77,32,318,181,137,275,347,80,352,148,371,89,54,93,219,218,3,2)(4,201,152,269,379,53,52,82,326,91,46,351,235,69,174,324,118,357,43,117,74,367,294,329,317,331,12,169,136,266,59,215,75,119,78,161,243,242,86,33,247,236,361,68,134,35,304,368,88,87,307,163,366,81,342,190,72,221,167,5)(6,40,10,231,180,15,14,28,16,230,8,49,232,214,213,145,333,193,207,79,344,97,254,149,285,315,210,278,301,197,56,287,362,200,154,194,31,296,268,98,312,263,262,261,96,45,256,274,260,286,109,128,295,177,133,327,343,186,157,189)(7,176,279,341,340,241,55,277,334,228,233,281,103,21,102,188,289,24,48,130,198,209,239,355,316,378,328,20,363,271,147,146,51,290,25,140,306,245,173,321,175,276,41,293,211,223,369,139,323,90,259,22,124,303,185,138,182,42,204,101)(9,26,365,288,257,156,171,222,132,153,143,172,19,61,205,238,85,206,111,144,253,309,308,381,192,159,302,18,158,151,350,280,240,358,220,373,346,246,47,30,29,375,37,166,23,184,297,70,191,76,162,62,272,94,337,36,11,380,353,108)(17,224,322,125,106,105,65,345,216,99,349,336,155,122,264,364,58,38,170,203,202,104,332,123,196,348,92,120,110,57,282,237,319,267,356,292,265,255,372,127,95,252,313,187,273,73,305,183,291,100,338,227,320,234,298,229,129,299,284,244)(39,126,164,354,225,199,116,374,141,325)(71,314,330,195,114,113,217,258,178,107)'])
sage_gap:G = gap.new('Group( (4,218,14,308,213,146,113,202,242,83,376,52,87,29,340,105,262,66)(6,170,183,274,164,171,221,371,252,50,198,173,282,256,235,128,96,315)(7,89,93,248,111,346,208,10,72,119,20,152,8,314,224,268,35,58)(9,329,343,42,272,98,236,158,364,278,306,138,204,279,109,281,291,360)(11,259,143,210,102,239,199,337,373,26,380,49,80,110,305,215,379,63)(12,41,267,139,285,175,61,326,209,181,246,182,107,232,184,293,17,194)(13,375,241,51,104,201,217,381,82,339,307,261,86,28,212,112,65,145)(16,249,295,100,327,229,74,372,70,370,92,200,369,363,205,189,39,133)(18,197,320,275,317,40,311,81,318,48,330,148,368,177,345,153,137,22)(19,116,361,156,60,297,290,347,132,254,176,299,324,222,127,296,378,27)(21,227,142,286,353,342,253,141,206,169,144,154,135,99,245,358,223,192)(23,226,365,351,313,300,258,120,301,136,294,131,303,31,180,328,160,64)(24,354,185,357,118,174,77,190,367,85,312,234,280,38,355,348,55,59)(25,310,168,269,366,193,247,91,251,165,277,230,166,216,178,123,159,45)(32,359,62,151,289,257,162,54,167,211,331,334,344,95,191,325,332,36)(33,220,161,287,140,336,69,316,76,75,179,103,276,187,292,126,78,157)(34,101,270,374,321,150,273,130,356,298,335,90,352,228,264,271,196,283)(37,94,304,155,108,284,350,129,188,71,46,260,244,125,43,44,56,255)(47,186,362,333,225,121,207,233,322,266,172,79,134,124,338,149,122,115)(57,349,117,163,73,302,68,195,265,238,97,288,250,231,240,319,323,237), (1,212,168,377,376,112,63,310,370,208,283,27,67,66,13,360,165,60,179,226,270,160,64,142,121,311,131,44,50,135,34,359,115,250,248,300,249,84,83,339,335,251,77,32,318,181,137,275,347,80,352,148,371,89,54,93,219,218,3,2)(4,201,152,269,379,53,52,82,326,91,46,351,235,69,174,324,118,357,43,117,74,367,294,329,317,331,12,169,136,266,59,215,75,119,78,161,243,242,86,33,247,236,361,68,134,35,304,368,88,87,307,163,366,81,342,190,72,221,167,5)(6,40,10,231,180,15,14,28,16,230,8,49,232,214,213,145,333,193,207,79,344,97,254,149,285,315,210,278,301,197,56,287,362,200,154,194,31,296,268,98,312,263,262,261,96,45,256,274,260,286,109,128,295,177,133,327,343,186,157,189)(7,176,279,341,340,241,55,277,334,228,233,281,103,21,102,188,289,24,48,130,198,209,239,355,316,378,328,20,363,271,147,146,51,290,25,140,306,245,173,321,175,276,41,293,211,223,369,139,323,90,259,22,124,303,185,138,182,42,204,101)(9,26,365,288,257,156,171,222,132,153,143,172,19,61,205,238,85,206,111,144,253,309,308,381,192,159,302,18,158,151,350,280,240,358,220,373,346,246,47,30,29,375,37,166,23,184,297,70,191,76,162,62,272,94,337,36,11,380,353,108)(17,224,322,125,106,105,65,345,216,99,349,336,155,122,264,364,58,38,170,203,202,104,332,123,196,348,92,120,110,57,282,237,319,267,356,292,265,255,372,127,95,252,313,187,273,73,305,183,291,100,338,227,320,234,298,229,129,299,284,244)(39,126,164,354,225,199,116,374,141,325)(71,314,330,195,114,113,217,258,178,107) )')
oscar:G = @permutation_group(381, (4,218,14,308,213,146,113,202,242,83,376,52,87,29,340,105,262,66)(6,170,183,274,164,171,221,371,252,50,198,173,282,256,235,128,96,315)(7,89,93,248,111,346,208,10,72,119,20,152,8,314,224,268,35,58)(9,329,343,42,272,98,236,158,364,278,306,138,204,279,109,281,291,360)(11,259,143,210,102,239,199,337,373,26,380,49,80,110,305,215,379,63)(12,41,267,139,285,175,61,326,209,181,246,182,107,232,184,293,17,194)(13,375,241,51,104,201,217,381,82,339,307,261,86,28,212,112,65,145)(16,249,295,100,327,229,74,372,70,370,92,200,369,363,205,189,39,133)(18,197,320,275,317,40,311,81,318,48,330,148,368,177,345,153,137,22)(19,116,361,156,60,297,290,347,132,254,176,299,324,222,127,296,378,27)(21,227,142,286,353,342,253,141,206,169,144,154,135,99,245,358,223,192)(23,226,365,351,313,300,258,120,301,136,294,131,303,31,180,328,160,64)(24,354,185,357,118,174,77,190,367,85,312,234,280,38,355,348,55,59)(25,310,168,269,366,193,247,91,251,165,277,230,166,216,178,123,159,45)(32,359,62,151,289,257,162,54,167,211,331,334,344,95,191,325,332,36)(33,220,161,287,140,336,69,316,76,75,179,103,276,187,292,126,78,157)(34,101,270,374,321,150,273,130,356,298,335,90,352,228,264,271,196,283)(37,94,304,155,108,284,350,129,188,71,46,260,244,125,43,44,56,255)(47,186,362,333,225,121,207,233,322,266,172,79,134,124,338,149,122,115)(57,349,117,163,73,302,68,195,265,238,97,288,250,231,240,319,323,237), (1,212,168,377,376,112,63,310,370,208,283,27,67,66,13,360,165,60,179,226,270,160,64,142,121,311,131,44,50,135,34,359,115,250,248,300,249,84,83,339,335,251,77,32,318,181,137,275,347,80,352,148,371,89,54,93,219,218,3,2)(4,201,152,269,379,53,52,82,326,91,46,351,235,69,174,324,118,357,43,117,74,367,294,329,317,331,12,169,136,266,59,215,75,119,78,161,243,242,86,33,247,236,361,68,134,35,304,368,88,87,307,163,366,81,342,190,72,221,167,5)(6,40,10,231,180,15,14,28,16,230,8,49,232,214,213,145,333,193,207,79,344,97,254,149,285,315,210,278,301,197,56,287,362,200,154,194,31,296,268,98,312,263,262,261,96,45,256,274,260,286,109,128,295,177,133,327,343,186,157,189)(7,176,279,341,340,241,55,277,334,228,233,281,103,21,102,188,289,24,48,130,198,209,239,355,316,378,328,20,363,271,147,146,51,290,25,140,306,245,173,321,175,276,41,293,211,223,369,139,323,90,259,22,124,303,185,138,182,42,204,101)(9,26,365,288,257,156,171,222,132,153,143,172,19,61,205,238,85,206,111,144,253,309,308,381,192,159,302,18,158,151,350,280,240,358,220,373,346,246,47,30,29,375,37,166,23,184,297,70,191,76,162,62,272,94,337,36,11,380,353,108)(17,224,322,125,106,105,65,345,216,99,349,336,155,122,264,364,58,38,170,203,202,104,332,123,196,348,92,120,110,57,282,237,319,267,356,292,265,255,372,127,95,252,313,187,273,73,305,183,291,100,338,227,320,234,298,229,129,299,284,244)(39,126,164,354,225,199,116,374,141,325)(71,314,330,195,114,113,217,258,178,107))
|