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