Properties

Label 470400.b
Order \( 2^{7} \cdot 3 \cdot 5^{2} \cdot 7^{2} \)
Exponent \( 2^{4} \cdot 3 \cdot 5^{2} \cdot 7 \)
Nilpotent no
Solvable no
$\card{G^{\mathrm{ab}}}$ \( 2^{2} \)
$\card{Z(G)}$ \( 2 \)
$\card{\Aut(G)}$ \( 2^{8} \cdot 3 \cdot 5^{2} \cdot 7^{2} \)
$\card{\mathrm{Out}(G)}$ \( 2^{2} \)
Perm deg. $800$
Trans deg. $800$
Rank $2$

Related objects

Downloads

Learn more

Show commands: Gap / Magma / SageMath

Copy content comment:Define the group as a permutation group
 
Copy content magma:G := PermutationGroup< 800 | (1,2,9,70,316,630,261,525,588,121,231,649,7,14,75,432,576,119,78,377,443,475,366,154)(3,21,107,236,106,45,341,373,566,435,587,262,26,180,436,725,271,301,439,369,380,411,658,528)(4,33,264,637,593,289,676,398,550,771,156,511,37,269,382,266,631,339,533,166,620,571,195,507)(5,42,295,47,46,321,773,349)(6,53,140,672,701,654,359,330,355,502,668,254,58,268,558,781,505,183,731,796,241,429,767,627)(8,66,452,239,49,242,547,768,363,325,288,723,65,59,296,758,351,182,730,580,404,245,521,783)(10,82,112,480,317,294,555,491,673,130,422,670,87,35,282,457,657,305,710,487,365,20,170,684)(11,93,500,427,275,538,610,601,751,335,38,201,98,200,549,515,428,90,545,481,367,789,122,24)(12,105,255,474,581,586,61,431,323,115,603,220,110,589,760,125,643,186,142,678,794,334,702,30)(13,117,347,641,207,458,376,135,662,496,625,592,120,622,102,237,374,238,167,94,560,775,686,687)(15,131,396,559,499,158,362,209,129,644,441,225,68,23,194,297,74,495,597,151,19,160,450,213)(16,139,504,198,389,647,632,596,32,256,175,187,126,608,80,513,774,149,124,535,222,263,653,22)(17,147,636,761,642,420,614,309,313,409,219,97,127,405,300,696,733,64,440,732,337,664,29,235)(18,153,253,449,786,766,86,114,611,168,285,298,128,103,582,437,397,497,123,574,570,540,519,40)(25,206,177,724,523,604,556,394,447,51,375,400,211,434,679,442,357,714,681,779,693,353,340,795)(27,223,563,111,416,747,600,618,744,415,799,116,217,178,171,465,543,260,777,179,234,493,785,605)(28,228,764,88,399,202,674,787,327,199,591,184,218,462,763,537,188,270,683,381,303,304,782,735)(31,247,191,56,403,343,348,92,536,71,476,291,221,759,738,138,145,666,772,267,640,169,712,688)(34,276,472,41,315,716,615,83,204,539,387,613,278,113,609,299,695,214,541,524,680,91,314,792)(36,290,318,277,293,557,162,391)(39,302,62,310,216,463,345,621,791,445,646,750,118,626,418,546,564,132,307,788,705,778,143,229)(43,324,210,286,721,490,752,287,532,386,84,456,326,711,453,283,390,73,486,520,728,248,529,423)(44,333,346,755,468,473,265,466,395,165,494,506,336,749,413,483,137,638,249,134,659,410,689,517)(48,358,739,133,240,633,484,477,451,562,720,464,350,667,193,89,542,161,72,259,69,469,707,99)(50,368,617,461,146,258,197,246,534,329,612,155,352,85,370,737,407,243,227,212,639,561,727,650)(52,383,652,607,544,722,360,159,460,408,455,619,354,762,172,623,414,746,530,651,531,332,421,444)(54,215,753,196,573,669,800,279,192,740,635,691,392,81,501,655,104,585,798,244,338,682,393,189)(55,322,548,790,57,412,516,361,567,734,704,514,344,226,164,371,96,77,402,645,770,384,379,743)(60,424,378,579,742,320,459,312,708,419,284,208,417,634,448,685,697,793,485,584,372,63,319,272)(67,438,665,250,163,356,157,401,602,150,692,482,251,748,784,331,616,518,433,776,385,648,756,726)(76,205,328,292,565,488,577,185,152,454,281,717,503,745,471,274,257,703,598,736,578,176,663,706)(79,508,797,624,629,141,675,769,230,718,590,709,148,232,364,181,729,144,677,280,757,551,224,425)(95,426,606,311,699,489,527,388,173,101,306,467,512,719,233,552,698,308,406,583,509,572,628,136)(100,575,656,660,470,715,510,754,190,109,599,446,108,594,522,780,765,252,690,342,595,492,498,741)(174,569,479,203,273,694,526,553)(430,700,671,478,554,661,568,713), (1,3,22,31,7,26,187,221)(2,10,83,522,14,87,524,656)(4,34,185,38,37,278,736,122)(5,43,325,513,46,326,245,198)(6,54,133,653,58,392,89,175)(8,67,399,217,65,251,188,27)(9,71,385,634,75,169,602,424)(11,94,464,114,98,135,99,574)(12,106,533,367,110,271,676,751)(13,118,24,126,120,39,201,16)(15,132,377,537,68,463,525,88)(17,148,174,189,127,79,273,691)(18,154,696,647,128,649,761,149)(19,161,378,295,129,633,448,773)(20,171,552,255,130,563,311,760)(21,176,142,70,180,454,61,432)(23,183,732,594,131,654,309,575)(25,207,618,236,211,374,179,725)(28,229,669,530,218,750,585,360)(29,45,342,684,219,301,754,670)(30,101,578,202,220,572,152,270)(32,257,680,730,222,565,204,547)(33,265,779,279,269,249,394,244)(35,283,254,225,82,286,627,213)(36,291,689,266,293,688,494,637)(40,308,644,460,298,489,160,531)(41,277,405,579,299,391,147,685)(42,170,475,165,321,422,121,410)(44,334,792,414,336,115,613,544)(47,355,516,303,349,241,402,327)(48,359,190,306,350,731,595,628)(49,365,778,192,351,673,445,338)(50,369,593,728,352,373,631,532)(51,376,716,755,353,167,214,483)(52,384,797,284,354,734,364,319)(53,386,722,136,268,248,746,467)(55,181,264,177,344,624,382,679)(56,404,417,709,138,363,60,425)(57,137,390,765,96,468,721,470)(59,210,398,635,66,453,166,393)(62,73,487,747,418,490,491,260)(63,282,233,768,419,112,606,580)(64,443,674,150,420,588,683,648)(69,86,473,300,451,123,638,636)(72,482,556,671,484,726,681,568)(74,496,718,717,499,775,551,706)(76,372,258,434,503,708,243,206)(77,134,449,111,412,466,437,465)(78,346,481,292,261,413,601,274)(80,514,408,253,504,743,332,582)(81,340,330,733,215,375,796,642)(84,527,626,226,529,406,302,322)(85,507,440,124,368,511,614,632)(90,546,379,767,538,310,704,668)(91,550,371,228,539,620,790,462)(92,540,534,795,267,168,639,400)(93,557,116,389,200,290,605,774)(95,562,441,471,512,469,450,328)(97,566,381,707,235,380,787,720)(100,576,362,573,108,316,597,104)(102,186,339,263,347,586,289,256)(103,315,710,794,153,695,555,323)(105,561,427,764,589,329,515,763)(107,294,194,164,436,305,396,548)(109,600,535,798,492,777,596,800)(113,272,461,741,276,208,737,446)(117,519,541,195,622,285,615,156)(119,629,672,752,630,729,781,486)(125,159,250,238,474,651,331,458)(139,435,623,240,608,411,607,542)(140,182,570,297,558,242,611,559)(141,581,246,409,144,643,212,664)(143,337,459,173,646,313,485,509)(145,184,604,335,403,735,714,789)(146,163,275,488,407,616,428,703)(151,191,345,237,209,738,307,641)(155,678,560,724,650,431,662,442)(157,567,223,742,433,770,178,697)(158,343,682,480,495,666,740,457)(162,619,199,663,318,444,304,281)(172,715,197,423,652,252,227,456)(193,584,771,545,739,312,571,610)(196,711,640,518,655,324,536,356)(203,216,712,397,553,564,476,786)(205,314,693,675,745,387,447,677)(224,659,296,415,590,395,452,493)(230,259,383,506,757,477,762,517)(231,508,687,713,366,232,592,478)(234,769,791,429,744,280,705,502)(239,748,609,612,758,438,472,727)(247,591,341,723,759,782,439,783)(262,370,700,645,528,617,661,361)(287,317,667,665,520,657,358,784)(288,497,603,430,521,766,702,554)(320,686,577,416,793,625,598,543)(333,599,388,348,749,498,583,772)(357,776,549,701,523,401,500,505)(421,756,569,660,455,692,694,780)(426,785,658,526,719,799,587,479)(501,621,699,510,753,788,698,690), (1,4,5,7,37,46)(2,11,95,14,98,512)(3,23,195,26,131,156)(6,55,132,58,344,463)(8,38,47,65,122,349)(9,72,483,75,484,755)(10,84,528,87,529,262)(12,107,449,110,436,437)(13,43,293,120,326,36)(15,99,233,68,464,606)(16,140,643,126,558,581)(17,127)(18,21,177,128,180,679)(19,162,461,129,318,737)(20,172,686,130,652,625)(22,184,613,187,735,792)(24,200,207,201,93,374)(25,208,657,211,272,317)(27,183,542,217,654,240)(28,80,515,218,504,427)(29,236,745,219,725,205)(30,241,290,220,355,557)(31,248,77,221,386,412)(32,258,133,222,243,89)(33,266,400,269,637,795)(34,42,69,278,321,451)(35,82)(39,303,294,118,327,305)(40,309,358,298,732,667)(41,212,276,299,246,113)(44,335,319,336,789,284)(45,343,119,301,666,630)(48,360,137,350,530,468)(49,348,537,351,772,88)(50,370,620,352,617,550)(51,377,462,353,525,228)(52,158,443,354,495,588)(53,387,123,268,314,86)(54,390,239,392,721,758)(56,405,519,138,147,285)(57,413,105,96,346,589)(59,176,656,66,454,522)(60,255,267,417,760,92)(61,433,624,142,157,181)(62,389,81,418,774,215)(63,226,600,419,322,777)(64,444,675,420,619,677)(67,457,751,251,480,367)(70,470,282,432,765,112)(71,477,192,169,259,338)(73,488,797,490,703,364)(74,397,599,499,786,498)(76,485,787,503,459,381)(78,385,398,261,602,166)(79,509,505,148,173,701)(83,193,380,524,739,566)(85,330,191,368,796,738)(90,547,590,538,730,224)(91,551,646,539,718,143)(94,439,438,135,341,748)(97,567,108,235,770,100)(101,378,520,572,448,287)(102,580,584,347,768,312)(103,583,571,153,388,771)(104,586,782,573,186,591)(106,465,688,271,111,291)(109,601,369,492,481,373)(114,612,757,574,727,230)(115,423,733,334,456,642)(116,616,607,605,163,623)(117,570,425,622,611,709)(121,475)(124,598,473,632,577,638)(125,578,281,474,152,663)(134,227,179,466,197,618)(136,304,345,467,199,307)(139,340,159,608,375,651)(141,676,744,144,533,234)(145,644,791,403,160,705)(146,665,411,407,784,435)(149,595,376,647,190,167)(150,693,629,648,447,729)(151,171,714,209,563,604)(154,302,493,649,626,415)(155,694,223,650,569,178)(161,633)(164,280,722,548,769,746)(165,672,446,410,781,741)(168,275,531,540,428,460)(170,391,779,422,277,394)(174,383,442,273,762,724)(175,576,313,653,316,337)(182,518,747,242,356,260)(185,295,384,736,773,734)(188,320,511,399,793,507)(189,568,706,691,671,717)(194,639,270,396,534,202)(196,440,502,655,614,429)(198,297,244,513,559,279)(203,696,560,553,761,662)(204,323,702,680,794,603)(206,506,406,434,517,527)(210,359,482,453,731,726)(213,225)(214,749,424,716,333,634)(216,713,315,564,478,695)(229,728,756,750,532,692)(231,263,452,366,256,296)(232,767,362,508,668,597)(237,409,674,641,664,683)(238,265,486,458,249,752)(245,325)(247,431,479,759,678,526)(250,541,640,331,615,536)(252,682,494,715,740,689)(253,471,371,582,328,790)(254,627)(257,776,669,565,401,585)(264,310,469,382,546,562)(274,496,687,292,775,592)(283,286)(288,764,743,521,763,514)(289,596,395,339,535,659)(300,491,404,636,487,363)(306,332,723,628,408,783)(308,543,684,489,416,670)(311,594,579,552,575,685)(324,754,414,711,342,544)(329,742,445,561,697,778)(357,556,610,523,681,545)(361,708,720,645,372,707)(365,766,441,673,497,450)(379,609,393,704,472,635)(402,516)(421,455)(426,554,593,719,430,631)(476,712)(500,780,661,549,660,700)(501,753)(510,690)(555,658,800,710,587,798)(621,788)(698,699)(785,799), (1,5,44)(2,12,108)(3,24,179)(4,35,284)(6,56,406)(7,46,336)(8,47,124)(9,73,489)(10,85,531)(11,96,215)(13,119,206)(14,110,100)(15,111,595)(16,141,27)(18,155,699)(19,163,253)(20,173,238)(21,178,694)(22,185,627)(23,196,743)(25,209,750)(26,201,618)(28,194,529)(29,210,714)(30,242,167)(31,249,331)(32,259,776)(33,267,123)(34,213,188)(36,292,463)(37,82,319)(38,286,638)(39,304,169)(40,239,524)(41,316,72)(42,320,451)(43,285,602)(45,344,166)(48,361,663)(49,366,266)(50,371,591)(51,378,150)(52,202,540)(53,342,452)(54,391,545)(55,398,301)(57,81,98)(58,138,527)(59,407,192)(60,426,256)(62,436,492)(63,440,197)(64,445,390)(65,349,632)(66,146,338)(67,152,651)(68,465,190)(69,321,793)(70,471,769)(71,118,199)(74,497,542)(75,490,308)(76,491,171)(77,505,232)(78,506,496)(79,424,541)(80,275,658)(83,298,758)(84,218,396)(86,269,92)(87,368,460)(88,414,760)(89,307,176)(90,518,464)(91,393,520)(93,322,521)(95,559,601)(97,244,774)(99,538,356)(101,579,415)(102,165,709)(103,584,783)(104,282,623)(105,198,449)(106,590,355)(107,109,418)(112,607,573)(113,409,797)(114,247,479)(115,234,450)(116,617,746)(117,306,562)(120,630,434)(122,283,473)(125,644,568)(126,144,217)(128,650,698)(129,616,582)(130,509,458)(131,655,514)(132,293,274)(133,345,454)(134,660,764)(136,665,585)(137,145,375)(139,189,372)(140,673,535)(143,594,629)(147,687,666)(148,634,615)(149,323,547)(151,229,211)(153,312,723)(154,551,462)(156,549,777)(157,560,501)(158,191,515)(159,251,578)(160,671,474)(162,550,765)(164,186,737)(168,354,270)(170,675,380)(172,716,248)(174,438,762)(175,416,237)(180,223,569)(181,696,553)(182,376,220)(183,733,289)(184,734,295)(187,736,254)(193,742,523)(195,500,600)(200,226,288)(203,624,761)(204,233,290)(205,692,787)(207,429,661)(208,725,300)(212,670,713)(214,386,652)(216,755,674)(219,453,604)(221,265,250)(222,477,401)(224,241,271)(225,399,278)(227,419,614)(228,649,718)(230,431,788)(231,637,351)(235,279,389)(236,636,272)(240,499,766)(243,303,435)(246,684,478)(252,382,580)(255,537,544)(257,522,294)(258,327,411)(260,688,702)(261,517,775)(262,443,710)(263,417,719)(264,768,715)(268,754,296)(273,748,383)(276,664,364)(277,610,392)(280,432,328)(281,350,645)(287,539,635)(291,603,747)(297,481,512)(299,576,484)(302,379,693)(305,565,656)(309,619,681)(310,672,771)(311,472,377)(313,488,315)(314,593,348)(317,731,485)(318,620,470)(324,430,400)(326,519,385)(329,779,667)(330,798,639)(332,446,689)(333,486,362)(334,744,441)(337,703,695)(339,654,642)(340,468,403)(341,442,510)(343,405,592)(346,770,373)(347,410,425)(352,790,782)(353,448,648)(357,739,697)(358,561,394)(359,459,657)(360,751,717)(363,728,726)(365,596,558)(367,706,530)(369,413,567)(370,722,605)(374,502,700)(381,745,756)(384,773,735)(387,631,772)(388,682,570)(395,676,397)(404,532,482)(408,741,494)(412,701,508)(420,778,721)(422,677,566)(423,599,643)(427,495,738)(428,587,504)(433,662,753)(437,589,513)(439,724,690)(444,556,732)(447,626,704)(456,498,581)(457,791,720)(461,548,586)(466,780,763)(467,784,669)(469,622,628)(480,705,707)(483,683,564)(487,563,503)(493,572,685)(525,552,609)(526,574,759)(528,588,555)(533,786,659)(534,796,800)(536,668,686)(543,641,653)(546,781,571)(554,795,711)(557,680,606)(575,729,646)(583,740,611)(597,749,752)(608,691,708)(621,757,678)(625,640,767)(647,794,730), (1,6,57,7,58,96)(2,13,105,14,120,589)(3,25,210,26,211,453)(4,36,100,37,293,108)(5,45,95,46,301,512)(8,68,89,65,15,133)(9,74,498,75,499,599)(10,86,534,87,123,639)(11,97,344,98,235,55)(12,109,602,110,492,385)(16,142,41,126,61,299)(17,127)(18,156,485,128,195,459)(19,164,470,129,548,765)(20,174,468,130,273,137)(21,179,726,180,618,482)(22,186,729,187,586,629)(23,197,201,131,227,24)(27,144,316,217,141,576)(28,230,314,218,757,387)(29,178,655,219,223,196)(30,243,66,220,258,59)(31,250,350,221,331,48)(32,260,259,222,747,477)(33,268,760,269,53,255)(34,277,628,278,391,306)(35,285,513,82,519,198)(38,290,192,122,557,338)(39,305,111,118,294,465)(40,310,321,298,546,42)(43,119,463,326,630,132)(44,261,774,336,78,389)(47,356,522,349,518,656)(49,354,540,351,52,168)(50,104,328,352,573,471)(51,379,737,353,704,461)(54,170,358,392,422,667)(56,244,297,138,279,559)(60,427,194,417,515,396)(62,437,292,418,449,274)(63,209,569,419,151,694)(64,446,672,420,741,781)(67,458,668,251,238,767)(69,390,768,451,721,580)(70,472,493,432,609,415)(71,464,454,169,99,176)(72,484)(73,237,113,490,641,276)(76,317,466,503,657,134)(77,145,686,412,403,625)(79,510,708,148,690,372)(80,400,84,504,795,529)(81,517,601,215,506,481)(83,523,445,524,357,778)(85,443,414,368,588,544)(88,330,479,537,796,526)(90,323,595,538,794,190)(91,552,591,539,311,782)(92,528,574,267,262,114)(93,272,177,200,208,679)(94,281,265,135,663,249)(101,287,607,572,520,623)(102,562,394,347,469,779)(103,507,556,153,511,681)(106,303,283,271,327,286)(107,319,206,436,284,434)(112,525,384,282,377,734)(115,542,543,334,240,416)(116,605)(117,388,380,622,583,566)(121,475)(124,547,304,632,730,199)(125,597,424,474,362,634)(136,411,680,467,435,204)(139,214,752,608,716,486)(140,674,289,558,683,339)(143,253,447,646,582,693)(146,585,590,407,669,224)(147,405)(149,257,345,647,565,307)(150,620,594,648,550,575)(152,457,340,578,480,375)(154,228,722,649,462,746)(155,700,487,650,661,491)(157,703,596,433,488,535)(158,431,430,495,678,554)(159,232,438,651,508,748)(160,691,530,644,189,360)(161,633)(162,302,736,318,626,185)(163,378,627,616,448,254)(165,225,677,410,213,675)(166,496,406,398,775,527)(167,665,473,376,784,638)(171,500,205,563,549,745)(172,717,615,652,706,541)(173,720,505,509,707,701)(175,456,203,653,423,553)(181,664,766,624,409,497)(182,233,241,242,606,355)(183,560,713,654,662,478)(184,371,685,735,790,579)(188,329,570,399,561,611)(191,631,428,738,593,275)(193,494,793,739,689,320)(202,727,266,270,612,637)(207,359,381,374,731,787)(212,365,395,246,673,659)(216,337,684,564,313,670)(226,300,236,322,636,725)(229,743,532,750,514,728)(231,366)(234,761,489,744,696,308)(239,382,332,758,264,408)(245,325)(247,754,531,759,342,460)(248,724,671,386,442,568)(252,742,771,715,697,571)(256,658,621,263,587,788)(280,635,773,769,393,295)(288,521)(291,688)(296,555,798,452,710,800)(309,783,312,732,723,584)(315,676,642,695,533,733)(324,719,348,711,426,772)(333,341,751,749,439,367)(335,592,369,789,687,373)(343,567,346,666,770,413)(361,645)(363,440,604,404,614,714)(364,581,441,797,643,450)(370,718,792,617,551,613)(383,791,536,762,705,640)(397,501,483,786,753,755)(401,598,702,776,577,603)(402,516)(421,455)(425,545,740,709,610,682)(429,780,600,502,660,777)(444,619)(476,712)(692,699,763,756,698,764)(785,799), (1,7)(2,14)(3,26)(4,37)(5,46)(6,58)(8,65)(9,75)(10,87)(11,98)(12,110)(13,120)(15,68)(16,126)(17,127)(18,128)(19,129)(20,130)(21,180)(22,187)(23,131)(24,201)(25,211)(27,217)(28,218)(29,219)(30,220)(31,221)(32,222)(33,269)(34,278)(35,82)(36,293)(38,122)(39,118)(40,298)(41,299)(42,321)(43,326)(44,336)(45,301)(47,349)(48,350)(49,351)(50,352)(51,353)(52,354)(53,268)(54,392)(55,344)(56,138)(57,96)(59,66)(60,417)(61,142)(62,418)(63,419)(64,420)(67,251)(69,451)(70,432)(71,169)(72,484)(73,490)(74,499)(76,503)(77,412)(78,261)(79,148)(80,504)(81,215)(83,524)(84,529)(85,368)(86,123)(88,537)(89,133)(90,538)(91,539)(92,267)(93,200)(94,135)(95,512)(97,235)(99,464)(100,108)(101,572)(102,347)(103,153)(104,573)(105,589)(106,271)(107,436)(109,492)(111,465)(112,282)(113,276)(114,574)(115,334)(116,605)(117,622)(119,630)(121,475)(124,632)(125,474)(132,463)(134,466)(136,467)(137,468)(139,608)(140,558)(141,144)(143,646)(145,403)(146,407)(147,405)(149,647)(150,648)(151,209)(152,578)(154,649)(155,650)(156,195)(157,433)(158,495)(159,651)(160,644)(161,633)(162,318)(163,616)(164,548)(165,410)(166,398)(167,376)(168,540)(170,422)(171,563)(172,652)(173,509)(174,273)(175,653)(176,454)(177,679)(178,223)(179,618)(181,624)(182,242)(183,654)(184,735)(185,736)(186,586)(188,399)(189,691)(190,595)(191,738)(192,338)(193,739)(194,396)(196,655)(197,227)(198,513)(199,304)(202,270)(203,553)(204,680)(205,745)(206,434)(207,374)(208,272)(210,453)(212,246)(213,225)(214,716)(216,564)(224,590)(226,322)(228,462)(229,750)(230,757)(231,366)(232,508)(233,606)(234,744)(236,725)(237,641)(238,458)(239,758)(240,542)(241,355)(243,258)(244,279)(245,325)(247,759)(248,386)(249,265)(250,331)(252,715)(253,582)(254,627)(255,760)(256,263)(257,565)(259,477)(260,747)(262,528)(264,382)(266,637)(274,292)(275,428)(277,391)(280,769)(281,663)(283,286)(284,319)(285,519)(287,520)(288,521)(289,339)(290,557)(291,688)(294,305)(295,773)(296,452)(297,559)(300,636)(302,626)(303,327)(306,628)(307,345)(308,489)(309,732)(310,546)(311,552)(312,584)(313,337)(314,387)(315,695)(316,576)(317,657)(320,793)(323,794)(324,711)(328,471)(329,561)(330,796)(332,408)(333,749)(335,789)(340,375)(341,439)(342,754)(343,666)(346,413)(348,772)(356,518)(357,523)(358,667)(359,731)(360,530)(361,645)(362,597)(363,404)(364,797)(365,673)(367,751)(369,373)(370,617)(371,790)(372,708)(377,525)(378,448)(379,704)(380,566)(381,787)(383,762)(384,734)(385,602)(388,583)(389,774)(390,721)(393,635)(394,779)(395,659)(397,786)(400,795)(401,776)(402,516)(406,527)(409,664)(411,435)(414,544)(415,493)(416,543)(421,455)(423,456)(424,634)(425,709)(426,719)(427,515)(429,502)(430,554)(431,678)(437,449)(438,748)(440,614)(441,450)(442,724)(443,588)(444,619)(445,778)(446,741)(447,693)(457,480)(459,485)(460,531)(461,737)(469,562)(470,765)(472,609)(473,638)(476,712)(478,713)(479,526)(481,601)(482,726)(483,755)(486,752)(487,491)(488,703)(494,689)(496,775)(497,766)(498,599)(500,549)(501,753)(505,701)(506,517)(507,511)(510,690)(514,743)(522,656)(532,728)(533,676)(534,639)(535,596)(536,640)(541,615)(545,610)(547,730)(550,620)(551,718)(555,710)(556,681)(560,662)(567,770)(568,671)(569,694)(570,611)(571,771)(575,594)(577,598)(579,685)(580,768)(581,643)(585,669)(587,658)(591,782)(592,687)(593,631)(600,777)(603,702)(604,714)(607,623)(612,727)(613,792)(621,788)(625,686)(629,729)(642,733)(660,780)(661,700)(665,784)(668,767)(670,684)(672,781)(674,683)(675,677)(682,740)(692,756)(696,761)(697,742)(698,699)(705,791)(706,717)(707,720)(722,746)(723,783)(763,764)(785,799)(798,800), (1,8)(2,15)(3,27)(4,38)(5,47)(6,59)(7,65)(9,76)(10,88)(11,99)(12,111)(13,118)(14,68)(16,24)(18,157)(19,165)(20,160)(21,181)(22,188)(23,183)(25,212)(26,217)(28,231)(29,237)(30,244)(31,251)(32,261)(33,270)(34,185)(35,286)(36,294)(37,122)(39,120)(40,311)(41,317)(42,295)(43,327)(44,124)(45,345)(46,349)(48,362)(49,84)(50,103)(51,380)(52,86)(53,158)(54,393)(55,176)(56,407)(57,90)(58,66)(60,428)(61,177)(62,260)(63,441)(64,447)(67,221)(69,384)(70,382)(71,206)(72,485)(73,491)(74,500)(75,503)(77,367)(78,222)(79,189)(80,263)(81,518)(82,283)(83,525)(85,414)(87,537)(89,398)(91,545)(92,540)(93,558)(94,135)(95,233)(96,538)(97,167)(98,464)(100,190)(101,394)(102,253)(104,306)(105,590)(106,449)(107,291)(108,595)(109,603)(110,465)(112,469)(113,272)(115,614)(116,570)(117,623)(119,199)(121,633)(123,354)(125,458)(126,201)(128,433)(129,410)(130,644)(131,654)(132,656)(133,166)(134,533)(136,666)(137,668)(138,146)(139,541)(140,200)(141,179)(142,679)(143,681)(144,618)(145,686)(147,665)(148,691)(149,567)(150,675)(151,684)(152,265)(153,352)(154,697)(155,560)(156,240)(159,331)(161,475)(162,672)(163,709)(164,494)(168,267)(169,434)(170,378)(171,489)(172,705)(173,671)(174,273)(175,210)(178,696)(180,624)(182,389)(184,320)(186,408)(187,399)(191,342)(192,406)(193,228)(194,637)(195,542)(196,733)(197,744)(198,355)(202,269)(203,569)(204,601)(205,683)(207,643)(208,276)(209,670)(211,246)(213,627)(214,720)(215,356)(216,756)(218,366)(219,641)(220,279)(223,761)(224,589)(225,254)(226,673)(227,234)(229,478)(232,530)(235,376)(236,409)(238,474)(239,472)(241,513)(242,774)(243,385)(245,516)(248,480)(249,578)(250,651)(252,769)(255,460)(256,504)(257,292)(258,602)(259,517)(262,772)(264,432)(266,396)(268,495)(271,437)(274,565)(275,417)(277,287)(278,736)(280,715)(281,752)(282,562)(284,638)(285,411)(288,535)(289,743)(290,559)(293,305)(296,427)(297,557)(298,552)(299,657)(300,364)(301,307)(302,778)(303,326)(304,630)(308,563)(309,594)(310,765)(312,790)(313,482)(314,588)(315,532)(316,731)(318,781)(319,473)(321,773)(322,365)(323,369)(324,796)(325,402)(328,768)(329,493)(330,711)(332,586)(333,361)(334,440)(335,598)(336,632)(337,726)(338,527)(339,514)(340,640)(341,439)(343,467)(344,454)(346,730)(347,582)(348,528)(350,597)(351,529)(353,566)(357,551)(358,579)(359,576)(360,508)(363,703)(368,544)(370,583)(371,584)(372,424)(373,794)(374,581)(375,536)(377,524)(379,721)(381,755)(383,762)(386,457)(387,443)(388,617)(390,704)(391,520)(392,635)(395,763)(397,780)(400,534)(401,496)(403,625)(404,488)(405,784)(412,751)(413,547)(415,561)(416,714)(418,747)(419,450)(420,693)(421,712)(422,448)(423,429)(425,616)(426,587)(430,800)(435,519)(436,688)(438,748)(442,724)(444,729)(445,626)(446,461)(451,734)(452,515)(453,653)(455,476)(456,502)(459,484)(462,739)(463,522)(466,676)(468,767)(470,546)(471,580)(477,506)(481,680)(483,787)(486,663)(487,490)(492,702)(497,600)(498,700)(499,549)(501,699)(505,706)(507,792)(509,568)(510,690)(511,613)(512,606)(521,596)(523,718)(531,760)(539,610)(543,604)(548,689)(550,771)(553,694)(554,798)(555,593)(556,646)(564,692)(571,620)(572,779)(573,628)(575,732)(577,789)(585,687)(591,783)(592,669)(599,661)(605,611)(607,622)(608,615)(609,758)(619,629)(631,710)(634,708)(636,797)(639,795)(642,655)(645,749)(647,770)(648,677)(649,742)(650,662)(652,791)(658,719)(659,764)(660,786)(664,725)(667,685)(674,745)(682,746)(695,728)(698,753)(701,717)(707,716)(713,750)(722,740)(723,782)(735,793)(737,741)(738,754)(766,777)(775,776)(785,799) >;
 
Copy content gap:G := Group( (1,2,9,70,316,630,261,525,588,121,231,649,7,14,75,432,576,119,78,377,443,475,366,154)(3,21,107,236,106,45,341,373,566,435,587,262,26,180,436,725,271,301,439,369,380,411,658,528)(4,33,264,637,593,289,676,398,550,771,156,511,37,269,382,266,631,339,533,166,620,571,195,507)(5,42,295,47,46,321,773,349)(6,53,140,672,701,654,359,330,355,502,668,254,58,268,558,781,505,183,731,796,241,429,767,627)(8,66,452,239,49,242,547,768,363,325,288,723,65,59,296,758,351,182,730,580,404,245,521,783)(10,82,112,480,317,294,555,491,673,130,422,670,87,35,282,457,657,305,710,487,365,20,170,684)(11,93,500,427,275,538,610,601,751,335,38,201,98,200,549,515,428,90,545,481,367,789,122,24)(12,105,255,474,581,586,61,431,323,115,603,220,110,589,760,125,643,186,142,678,794,334,702,30)(13,117,347,641,207,458,376,135,662,496,625,592,120,622,102,237,374,238,167,94,560,775,686,687)(15,131,396,559,499,158,362,209,129,644,441,225,68,23,194,297,74,495,597,151,19,160,450,213)(16,139,504,198,389,647,632,596,32,256,175,187,126,608,80,513,774,149,124,535,222,263,653,22)(17,147,636,761,642,420,614,309,313,409,219,97,127,405,300,696,733,64,440,732,337,664,29,235)(18,153,253,449,786,766,86,114,611,168,285,298,128,103,582,437,397,497,123,574,570,540,519,40)(25,206,177,724,523,604,556,394,447,51,375,400,211,434,679,442,357,714,681,779,693,353,340,795)(27,223,563,111,416,747,600,618,744,415,799,116,217,178,171,465,543,260,777,179,234,493,785,605)(28,228,764,88,399,202,674,787,327,199,591,184,218,462,763,537,188,270,683,381,303,304,782,735)(31,247,191,56,403,343,348,92,536,71,476,291,221,759,738,138,145,666,772,267,640,169,712,688)(34,276,472,41,315,716,615,83,204,539,387,613,278,113,609,299,695,214,541,524,680,91,314,792)(36,290,318,277,293,557,162,391)(39,302,62,310,216,463,345,621,791,445,646,750,118,626,418,546,564,132,307,788,705,778,143,229)(43,324,210,286,721,490,752,287,532,386,84,456,326,711,453,283,390,73,486,520,728,248,529,423)(44,333,346,755,468,473,265,466,395,165,494,506,336,749,413,483,137,638,249,134,659,410,689,517)(48,358,739,133,240,633,484,477,451,562,720,464,350,667,193,89,542,161,72,259,69,469,707,99)(50,368,617,461,146,258,197,246,534,329,612,155,352,85,370,737,407,243,227,212,639,561,727,650)(52,383,652,607,544,722,360,159,460,408,455,619,354,762,172,623,414,746,530,651,531,332,421,444)(54,215,753,196,573,669,800,279,192,740,635,691,392,81,501,655,104,585,798,244,338,682,393,189)(55,322,548,790,57,412,516,361,567,734,704,514,344,226,164,371,96,77,402,645,770,384,379,743)(60,424,378,579,742,320,459,312,708,419,284,208,417,634,448,685,697,793,485,584,372,63,319,272)(67,438,665,250,163,356,157,401,602,150,692,482,251,748,784,331,616,518,433,776,385,648,756,726)(76,205,328,292,565,488,577,185,152,454,281,717,503,745,471,274,257,703,598,736,578,176,663,706)(79,508,797,624,629,141,675,769,230,718,590,709,148,232,364,181,729,144,677,280,757,551,224,425)(95,426,606,311,699,489,527,388,173,101,306,467,512,719,233,552,698,308,406,583,509,572,628,136)(100,575,656,660,470,715,510,754,190,109,599,446,108,594,522,780,765,252,690,342,595,492,498,741)(174,569,479,203,273,694,526,553)(430,700,671,478,554,661,568,713), (1,3,22,31,7,26,187,221)(2,10,83,522,14,87,524,656)(4,34,185,38,37,278,736,122)(5,43,325,513,46,326,245,198)(6,54,133,653,58,392,89,175)(8,67,399,217,65,251,188,27)(9,71,385,634,75,169,602,424)(11,94,464,114,98,135,99,574)(12,106,533,367,110,271,676,751)(13,118,24,126,120,39,201,16)(15,132,377,537,68,463,525,88)(17,148,174,189,127,79,273,691)(18,154,696,647,128,649,761,149)(19,161,378,295,129,633,448,773)(20,171,552,255,130,563,311,760)(21,176,142,70,180,454,61,432)(23,183,732,594,131,654,309,575)(25,207,618,236,211,374,179,725)(28,229,669,530,218,750,585,360)(29,45,342,684,219,301,754,670)(30,101,578,202,220,572,152,270)(32,257,680,730,222,565,204,547)(33,265,779,279,269,249,394,244)(35,283,254,225,82,286,627,213)(36,291,689,266,293,688,494,637)(40,308,644,460,298,489,160,531)(41,277,405,579,299,391,147,685)(42,170,475,165,321,422,121,410)(44,334,792,414,336,115,613,544)(47,355,516,303,349,241,402,327)(48,359,190,306,350,731,595,628)(49,365,778,192,351,673,445,338)(50,369,593,728,352,373,631,532)(51,376,716,755,353,167,214,483)(52,384,797,284,354,734,364,319)(53,386,722,136,268,248,746,467)(55,181,264,177,344,624,382,679)(56,404,417,709,138,363,60,425)(57,137,390,765,96,468,721,470)(59,210,398,635,66,453,166,393)(62,73,487,747,418,490,491,260)(63,282,233,768,419,112,606,580)(64,443,674,150,420,588,683,648)(69,86,473,300,451,123,638,636)(72,482,556,671,484,726,681,568)(74,496,718,717,499,775,551,706)(76,372,258,434,503,708,243,206)(77,134,449,111,412,466,437,465)(78,346,481,292,261,413,601,274)(80,514,408,253,504,743,332,582)(81,340,330,733,215,375,796,642)(84,527,626,226,529,406,302,322)(85,507,440,124,368,511,614,632)(90,546,379,767,538,310,704,668)(91,550,371,228,539,620,790,462)(92,540,534,795,267,168,639,400)(93,557,116,389,200,290,605,774)(95,562,441,471,512,469,450,328)(97,566,381,707,235,380,787,720)(100,576,362,573,108,316,597,104)(102,186,339,263,347,586,289,256)(103,315,710,794,153,695,555,323)(105,561,427,764,589,329,515,763)(107,294,194,164,436,305,396,548)(109,600,535,798,492,777,596,800)(113,272,461,741,276,208,737,446)(117,519,541,195,622,285,615,156)(119,629,672,752,630,729,781,486)(125,159,250,238,474,651,331,458)(139,435,623,240,608,411,607,542)(140,182,570,297,558,242,611,559)(141,581,246,409,144,643,212,664)(143,337,459,173,646,313,485,509)(145,184,604,335,403,735,714,789)(146,163,275,488,407,616,428,703)(151,191,345,237,209,738,307,641)(155,678,560,724,650,431,662,442)(157,567,223,742,433,770,178,697)(158,343,682,480,495,666,740,457)(162,619,199,663,318,444,304,281)(172,715,197,423,652,252,227,456)(193,584,771,545,739,312,571,610)(196,711,640,518,655,324,536,356)(203,216,712,397,553,564,476,786)(205,314,693,675,745,387,447,677)(224,659,296,415,590,395,452,493)(230,259,383,506,757,477,762,517)(231,508,687,713,366,232,592,478)(234,769,791,429,744,280,705,502)(239,748,609,612,758,438,472,727)(247,591,341,723,759,782,439,783)(262,370,700,645,528,617,661,361)(287,317,667,665,520,657,358,784)(288,497,603,430,521,766,702,554)(320,686,577,416,793,625,598,543)(333,599,388,348,749,498,583,772)(357,776,549,701,523,401,500,505)(421,756,569,660,455,692,694,780)(426,785,658,526,719,799,587,479)(501,621,699,510,753,788,698,690), (1,4,5,7,37,46)(2,11,95,14,98,512)(3,23,195,26,131,156)(6,55,132,58,344,463)(8,38,47,65,122,349)(9,72,483,75,484,755)(10,84,528,87,529,262)(12,107,449,110,436,437)(13,43,293,120,326,36)(15,99,233,68,464,606)(16,140,643,126,558,581)(17,127)(18,21,177,128,180,679)(19,162,461,129,318,737)(20,172,686,130,652,625)(22,184,613,187,735,792)(24,200,207,201,93,374)(25,208,657,211,272,317)(27,183,542,217,654,240)(28,80,515,218,504,427)(29,236,745,219,725,205)(30,241,290,220,355,557)(31,248,77,221,386,412)(32,258,133,222,243,89)(33,266,400,269,637,795)(34,42,69,278,321,451)(35,82)(39,303,294,118,327,305)(40,309,358,298,732,667)(41,212,276,299,246,113)(44,335,319,336,789,284)(45,343,119,301,666,630)(48,360,137,350,530,468)(49,348,537,351,772,88)(50,370,620,352,617,550)(51,377,462,353,525,228)(52,158,443,354,495,588)(53,387,123,268,314,86)(54,390,239,392,721,758)(56,405,519,138,147,285)(57,413,105,96,346,589)(59,176,656,66,454,522)(60,255,267,417,760,92)(61,433,624,142,157,181)(62,389,81,418,774,215)(63,226,600,419,322,777)(64,444,675,420,619,677)(67,457,751,251,480,367)(70,470,282,432,765,112)(71,477,192,169,259,338)(73,488,797,490,703,364)(74,397,599,499,786,498)(76,485,787,503,459,381)(78,385,398,261,602,166)(79,509,505,148,173,701)(83,193,380,524,739,566)(85,330,191,368,796,738)(90,547,590,538,730,224)(91,551,646,539,718,143)(94,439,438,135,341,748)(97,567,108,235,770,100)(101,378,520,572,448,287)(102,580,584,347,768,312)(103,583,571,153,388,771)(104,586,782,573,186,591)(106,465,688,271,111,291)(109,601,369,492,481,373)(114,612,757,574,727,230)(115,423,733,334,456,642)(116,616,607,605,163,623)(117,570,425,622,611,709)(121,475)(124,598,473,632,577,638)(125,578,281,474,152,663)(134,227,179,466,197,618)(136,304,345,467,199,307)(139,340,159,608,375,651)(141,676,744,144,533,234)(145,644,791,403,160,705)(146,665,411,407,784,435)(149,595,376,647,190,167)(150,693,629,648,447,729)(151,171,714,209,563,604)(154,302,493,649,626,415)(155,694,223,650,569,178)(161,633)(164,280,722,548,769,746)(165,672,446,410,781,741)(168,275,531,540,428,460)(170,391,779,422,277,394)(174,383,442,273,762,724)(175,576,313,653,316,337)(182,518,747,242,356,260)(185,295,384,736,773,734)(188,320,511,399,793,507)(189,568,706,691,671,717)(194,639,270,396,534,202)(196,440,502,655,614,429)(198,297,244,513,559,279)(203,696,560,553,761,662)(204,323,702,680,794,603)(206,506,406,434,517,527)(210,359,482,453,731,726)(213,225)(214,749,424,716,333,634)(216,713,315,564,478,695)(229,728,756,750,532,692)(231,263,452,366,256,296)(232,767,362,508,668,597)(237,409,674,641,664,683)(238,265,486,458,249,752)(245,325)(247,431,479,759,678,526)(250,541,640,331,615,536)(252,682,494,715,740,689)(253,471,371,582,328,790)(254,627)(257,776,669,565,401,585)(264,310,469,382,546,562)(274,496,687,292,775,592)(283,286)(288,764,743,521,763,514)(289,596,395,339,535,659)(300,491,404,636,487,363)(306,332,723,628,408,783)(308,543,684,489,416,670)(311,594,579,552,575,685)(324,754,414,711,342,544)(329,742,445,561,697,778)(357,556,610,523,681,545)(361,708,720,645,372,707)(365,766,441,673,497,450)(379,609,393,704,472,635)(402,516)(421,455)(426,554,593,719,430,631)(476,712)(500,780,661,549,660,700)(501,753)(510,690)(555,658,800,710,587,798)(621,788)(698,699)(785,799), (1,5,44)(2,12,108)(3,24,179)(4,35,284)(6,56,406)(7,46,336)(8,47,124)(9,73,489)(10,85,531)(11,96,215)(13,119,206)(14,110,100)(15,111,595)(16,141,27)(18,155,699)(19,163,253)(20,173,238)(21,178,694)(22,185,627)(23,196,743)(25,209,750)(26,201,618)(28,194,529)(29,210,714)(30,242,167)(31,249,331)(32,259,776)(33,267,123)(34,213,188)(36,292,463)(37,82,319)(38,286,638)(39,304,169)(40,239,524)(41,316,72)(42,320,451)(43,285,602)(45,344,166)(48,361,663)(49,366,266)(50,371,591)(51,378,150)(52,202,540)(53,342,452)(54,391,545)(55,398,301)(57,81,98)(58,138,527)(59,407,192)(60,426,256)(62,436,492)(63,440,197)(64,445,390)(65,349,632)(66,146,338)(67,152,651)(68,465,190)(69,321,793)(70,471,769)(71,118,199)(74,497,542)(75,490,308)(76,491,171)(77,505,232)(78,506,496)(79,424,541)(80,275,658)(83,298,758)(84,218,396)(86,269,92)(87,368,460)(88,414,760)(89,307,176)(90,518,464)(91,393,520)(93,322,521)(95,559,601)(97,244,774)(99,538,356)(101,579,415)(102,165,709)(103,584,783)(104,282,623)(105,198,449)(106,590,355)(107,109,418)(112,607,573)(113,409,797)(114,247,479)(115,234,450)(116,617,746)(117,306,562)(120,630,434)(122,283,473)(125,644,568)(126,144,217)(128,650,698)(129,616,582)(130,509,458)(131,655,514)(132,293,274)(133,345,454)(134,660,764)(136,665,585)(137,145,375)(139,189,372)(140,673,535)(143,594,629)(147,687,666)(148,634,615)(149,323,547)(151,229,211)(153,312,723)(154,551,462)(156,549,777)(157,560,501)(158,191,515)(159,251,578)(160,671,474)(162,550,765)(164,186,737)(168,354,270)(170,675,380)(172,716,248)(174,438,762)(175,416,237)(180,223,569)(181,696,553)(182,376,220)(183,733,289)(184,734,295)(187,736,254)(193,742,523)(195,500,600)(200,226,288)(203,624,761)(204,233,290)(205,692,787)(207,429,661)(208,725,300)(212,670,713)(214,386,652)(216,755,674)(219,453,604)(221,265,250)(222,477,401)(224,241,271)(225,399,278)(227,419,614)(228,649,718)(230,431,788)(231,637,351)(235,279,389)(236,636,272)(240,499,766)(243,303,435)(246,684,478)(252,382,580)(255,537,544)(257,522,294)(258,327,411)(260,688,702)(261,517,775)(262,443,710)(263,417,719)(264,768,715)(268,754,296)(273,748,383)(276,664,364)(277,610,392)(280,432,328)(281,350,645)(287,539,635)(291,603,747)(297,481,512)(299,576,484)(302,379,693)(305,565,656)(309,619,681)(310,672,771)(311,472,377)(313,488,315)(314,593,348)(317,731,485)(318,620,470)(324,430,400)(326,519,385)(329,779,667)(330,798,639)(332,446,689)(333,486,362)(334,744,441)(337,703,695)(339,654,642)(340,468,403)(341,442,510)(343,405,592)(346,770,373)(347,410,425)(352,790,782)(353,448,648)(357,739,697)(358,561,394)(359,459,657)(360,751,717)(363,728,726)(365,596,558)(367,706,530)(369,413,567)(370,722,605)(374,502,700)(381,745,756)(384,773,735)(387,631,772)(388,682,570)(395,676,397)(404,532,482)(408,741,494)(412,701,508)(420,778,721)(422,677,566)(423,599,643)(427,495,738)(428,587,504)(433,662,753)(437,589,513)(439,724,690)(444,556,732)(447,626,704)(456,498,581)(457,791,720)(461,548,586)(466,780,763)(467,784,669)(469,622,628)(480,705,707)(483,683,564)(487,563,503)(493,572,685)(525,552,609)(526,574,759)(528,588,555)(533,786,659)(534,796,800)(536,668,686)(543,641,653)(546,781,571)(554,795,711)(557,680,606)(575,729,646)(583,740,611)(597,749,752)(608,691,708)(621,757,678)(625,640,767)(647,794,730), (1,6,57,7,58,96)(2,13,105,14,120,589)(3,25,210,26,211,453)(4,36,100,37,293,108)(5,45,95,46,301,512)(8,68,89,65,15,133)(9,74,498,75,499,599)(10,86,534,87,123,639)(11,97,344,98,235,55)(12,109,602,110,492,385)(16,142,41,126,61,299)(17,127)(18,156,485,128,195,459)(19,164,470,129,548,765)(20,174,468,130,273,137)(21,179,726,180,618,482)(22,186,729,187,586,629)(23,197,201,131,227,24)(27,144,316,217,141,576)(28,230,314,218,757,387)(29,178,655,219,223,196)(30,243,66,220,258,59)(31,250,350,221,331,48)(32,260,259,222,747,477)(33,268,760,269,53,255)(34,277,628,278,391,306)(35,285,513,82,519,198)(38,290,192,122,557,338)(39,305,111,118,294,465)(40,310,321,298,546,42)(43,119,463,326,630,132)(44,261,774,336,78,389)(47,356,522,349,518,656)(49,354,540,351,52,168)(50,104,328,352,573,471)(51,379,737,353,704,461)(54,170,358,392,422,667)(56,244,297,138,279,559)(60,427,194,417,515,396)(62,437,292,418,449,274)(63,209,569,419,151,694)(64,446,672,420,741,781)(67,458,668,251,238,767)(69,390,768,451,721,580)(70,472,493,432,609,415)(71,464,454,169,99,176)(72,484)(73,237,113,490,641,276)(76,317,466,503,657,134)(77,145,686,412,403,625)(79,510,708,148,690,372)(80,400,84,504,795,529)(81,517,601,215,506,481)(83,523,445,524,357,778)(85,443,414,368,588,544)(88,330,479,537,796,526)(90,323,595,538,794,190)(91,552,591,539,311,782)(92,528,574,267,262,114)(93,272,177,200,208,679)(94,281,265,135,663,249)(101,287,607,572,520,623)(102,562,394,347,469,779)(103,507,556,153,511,681)(106,303,283,271,327,286)(107,319,206,436,284,434)(112,525,384,282,377,734)(115,542,543,334,240,416)(116,605)(117,388,380,622,583,566)(121,475)(124,547,304,632,730,199)(125,597,424,474,362,634)(136,411,680,467,435,204)(139,214,752,608,716,486)(140,674,289,558,683,339)(143,253,447,646,582,693)(146,585,590,407,669,224)(147,405)(149,257,345,647,565,307)(150,620,594,648,550,575)(152,457,340,578,480,375)(154,228,722,649,462,746)(155,700,487,650,661,491)(157,703,596,433,488,535)(158,431,430,495,678,554)(159,232,438,651,508,748)(160,691,530,644,189,360)(161,633)(162,302,736,318,626,185)(163,378,627,616,448,254)(165,225,677,410,213,675)(166,496,406,398,775,527)(167,665,473,376,784,638)(171,500,205,563,549,745)(172,717,615,652,706,541)(173,720,505,509,707,701)(175,456,203,653,423,553)(181,664,766,624,409,497)(182,233,241,242,606,355)(183,560,713,654,662,478)(184,371,685,735,790,579)(188,329,570,399,561,611)(191,631,428,738,593,275)(193,494,793,739,689,320)(202,727,266,270,612,637)(207,359,381,374,731,787)(212,365,395,246,673,659)(216,337,684,564,313,670)(226,300,236,322,636,725)(229,743,532,750,514,728)(231,366)(234,761,489,744,696,308)(239,382,332,758,264,408)(245,325)(247,754,531,759,342,460)(248,724,671,386,442,568)(252,742,771,715,697,571)(256,658,621,263,587,788)(280,635,773,769,393,295)(288,521)(291,688)(296,555,798,452,710,800)(309,783,312,732,723,584)(315,676,642,695,533,733)(324,719,348,711,426,772)(333,341,751,749,439,367)(335,592,369,789,687,373)(343,567,346,666,770,413)(361,645)(363,440,604,404,614,714)(364,581,441,797,643,450)(370,718,792,617,551,613)(383,791,536,762,705,640)(397,501,483,786,753,755)(401,598,702,776,577,603)(402,516)(421,455)(425,545,740,709,610,682)(429,780,600,502,660,777)(444,619)(476,712)(692,699,763,756,698,764)(785,799), (1,7)(2,14)(3,26)(4,37)(5,46)(6,58)(8,65)(9,75)(10,87)(11,98)(12,110)(13,120)(15,68)(16,126)(17,127)(18,128)(19,129)(20,130)(21,180)(22,187)(23,131)(24,201)(25,211)(27,217)(28,218)(29,219)(30,220)(31,221)(32,222)(33,269)(34,278)(35,82)(36,293)(38,122)(39,118)(40,298)(41,299)(42,321)(43,326)(44,336)(45,301)(47,349)(48,350)(49,351)(50,352)(51,353)(52,354)(53,268)(54,392)(55,344)(56,138)(57,96)(59,66)(60,417)(61,142)(62,418)(63,419)(64,420)(67,251)(69,451)(70,432)(71,169)(72,484)(73,490)(74,499)(76,503)(77,412)(78,261)(79,148)(80,504)(81,215)(83,524)(84,529)(85,368)(86,123)(88,537)(89,133)(90,538)(91,539)(92,267)(93,200)(94,135)(95,512)(97,235)(99,464)(100,108)(101,572)(102,347)(103,153)(104,573)(105,589)(106,271)(107,436)(109,492)(111,465)(112,282)(113,276)(114,574)(115,334)(116,605)(117,622)(119,630)(121,475)(124,632)(125,474)(132,463)(134,466)(136,467)(137,468)(139,608)(140,558)(141,144)(143,646)(145,403)(146,407)(147,405)(149,647)(150,648)(151,209)(152,578)(154,649)(155,650)(156,195)(157,433)(158,495)(159,651)(160,644)(161,633)(162,318)(163,616)(164,548)(165,410)(166,398)(167,376)(168,540)(170,422)(171,563)(172,652)(173,509)(174,273)(175,653)(176,454)(177,679)(178,223)(179,618)(181,624)(182,242)(183,654)(184,735)(185,736)(186,586)(188,399)(189,691)(190,595)(191,738)(192,338)(193,739)(194,396)(196,655)(197,227)(198,513)(199,304)(202,270)(203,553)(204,680)(205,745)(206,434)(207,374)(208,272)(210,453)(212,246)(213,225)(214,716)(216,564)(224,590)(226,322)(228,462)(229,750)(230,757)(231,366)(232,508)(233,606)(234,744)(236,725)(237,641)(238,458)(239,758)(240,542)(241,355)(243,258)(244,279)(245,325)(247,759)(248,386)(249,265)(250,331)(252,715)(253,582)(254,627)(255,760)(256,263)(257,565)(259,477)(260,747)(262,528)(264,382)(266,637)(274,292)(275,428)(277,391)(280,769)(281,663)(283,286)(284,319)(285,519)(287,520)(288,521)(289,339)(290,557)(291,688)(294,305)(295,773)(296,452)(297,559)(300,636)(302,626)(303,327)(306,628)(307,345)(308,489)(309,732)(310,546)(311,552)(312,584)(313,337)(314,387)(315,695)(316,576)(317,657)(320,793)(323,794)(324,711)(328,471)(329,561)(330,796)(332,408)(333,749)(335,789)(340,375)(341,439)(342,754)(343,666)(346,413)(348,772)(356,518)(357,523)(358,667)(359,731)(360,530)(361,645)(362,597)(363,404)(364,797)(365,673)(367,751)(369,373)(370,617)(371,790)(372,708)(377,525)(378,448)(379,704)(380,566)(381,787)(383,762)(384,734)(385,602)(388,583)(389,774)(390,721)(393,635)(394,779)(395,659)(397,786)(400,795)(401,776)(402,516)(406,527)(409,664)(411,435)(414,544)(415,493)(416,543)(421,455)(423,456)(424,634)(425,709)(426,719)(427,515)(429,502)(430,554)(431,678)(437,449)(438,748)(440,614)(441,450)(442,724)(443,588)(444,619)(445,778)(446,741)(447,693)(457,480)(459,485)(460,531)(461,737)(469,562)(470,765)(472,609)(473,638)(476,712)(478,713)(479,526)(481,601)(482,726)(483,755)(486,752)(487,491)(488,703)(494,689)(496,775)(497,766)(498,599)(500,549)(501,753)(505,701)(506,517)(507,511)(510,690)(514,743)(522,656)(532,728)(533,676)(534,639)(535,596)(536,640)(541,615)(545,610)(547,730)(550,620)(551,718)(555,710)(556,681)(560,662)(567,770)(568,671)(569,694)(570,611)(571,771)(575,594)(577,598)(579,685)(580,768)(581,643)(585,669)(587,658)(591,782)(592,687)(593,631)(600,777)(603,702)(604,714)(607,623)(612,727)(613,792)(621,788)(625,686)(629,729)(642,733)(660,780)(661,700)(665,784)(668,767)(670,684)(672,781)(674,683)(675,677)(682,740)(692,756)(696,761)(697,742)(698,699)(705,791)(706,717)(707,720)(722,746)(723,783)(763,764)(785,799)(798,800), (1,8)(2,15)(3,27)(4,38)(5,47)(6,59)(7,65)(9,76)(10,88)(11,99)(12,111)(13,118)(14,68)(16,24)(18,157)(19,165)(20,160)(21,181)(22,188)(23,183)(25,212)(26,217)(28,231)(29,237)(30,244)(31,251)(32,261)(33,270)(34,185)(35,286)(36,294)(37,122)(39,120)(40,311)(41,317)(42,295)(43,327)(44,124)(45,345)(46,349)(48,362)(49,84)(50,103)(51,380)(52,86)(53,158)(54,393)(55,176)(56,407)(57,90)(58,66)(60,428)(61,177)(62,260)(63,441)(64,447)(67,221)(69,384)(70,382)(71,206)(72,485)(73,491)(74,500)(75,503)(77,367)(78,222)(79,189)(80,263)(81,518)(82,283)(83,525)(85,414)(87,537)(89,398)(91,545)(92,540)(93,558)(94,135)(95,233)(96,538)(97,167)(98,464)(100,190)(101,394)(102,253)(104,306)(105,590)(106,449)(107,291)(108,595)(109,603)(110,465)(112,469)(113,272)(115,614)(116,570)(117,623)(119,199)(121,633)(123,354)(125,458)(126,201)(128,433)(129,410)(130,644)(131,654)(132,656)(133,166)(134,533)(136,666)(137,668)(138,146)(139,541)(140,200)(141,179)(142,679)(143,681)(144,618)(145,686)(147,665)(148,691)(149,567)(150,675)(151,684)(152,265)(153,352)(154,697)(155,560)(156,240)(159,331)(161,475)(162,672)(163,709)(164,494)(168,267)(169,434)(170,378)(171,489)(172,705)(173,671)(174,273)(175,210)(178,696)(180,624)(182,389)(184,320)(186,408)(187,399)(191,342)(192,406)(193,228)(194,637)(195,542)(196,733)(197,744)(198,355)(202,269)(203,569)(204,601)(205,683)(207,643)(208,276)(209,670)(211,246)(213,627)(214,720)(215,356)(216,756)(218,366)(219,641)(220,279)(223,761)(224,589)(225,254)(226,673)(227,234)(229,478)(232,530)(235,376)(236,409)(238,474)(239,472)(241,513)(242,774)(243,385)(245,516)(248,480)(249,578)(250,651)(252,769)(255,460)(256,504)(257,292)(258,602)(259,517)(262,772)(264,432)(266,396)(268,495)(271,437)(274,565)(275,417)(277,287)(278,736)(280,715)(281,752)(282,562)(284,638)(285,411)(288,535)(289,743)(290,559)(293,305)(296,427)(297,557)(298,552)(299,657)(300,364)(301,307)(302,778)(303,326)(304,630)(308,563)(309,594)(310,765)(312,790)(313,482)(314,588)(315,532)(316,731)(318,781)(319,473)(321,773)(322,365)(323,369)(324,796)(325,402)(328,768)(329,493)(330,711)(332,586)(333,361)(334,440)(335,598)(336,632)(337,726)(338,527)(339,514)(340,640)(341,439)(343,467)(344,454)(346,730)(347,582)(348,528)(350,597)(351,529)(353,566)(357,551)(358,579)(359,576)(360,508)(363,703)(368,544)(370,583)(371,584)(372,424)(373,794)(374,581)(375,536)(377,524)(379,721)(381,755)(383,762)(386,457)(387,443)(388,617)(390,704)(391,520)(392,635)(395,763)(397,780)(400,534)(401,496)(403,625)(404,488)(405,784)(412,751)(413,547)(415,561)(416,714)(418,747)(419,450)(420,693)(421,712)(422,448)(423,429)(425,616)(426,587)(430,800)(435,519)(436,688)(438,748)(442,724)(444,729)(445,626)(446,461)(451,734)(452,515)(453,653)(455,476)(456,502)(459,484)(462,739)(463,522)(466,676)(468,767)(470,546)(471,580)(477,506)(481,680)(483,787)(486,663)(487,490)(492,702)(497,600)(498,700)(499,549)(501,699)(505,706)(507,792)(509,568)(510,690)(511,613)(512,606)(521,596)(523,718)(531,760)(539,610)(543,604)(548,689)(550,771)(553,694)(554,798)(555,593)(556,646)(564,692)(571,620)(572,779)(573,628)(575,732)(577,789)(585,687)(591,783)(592,669)(599,661)(605,611)(607,622)(608,615)(609,758)(619,629)(631,710)(634,708)(636,797)(639,795)(642,655)(645,749)(647,770)(648,677)(649,742)(650,662)(652,791)(658,719)(659,764)(660,786)(664,725)(667,685)(674,745)(682,746)(695,728)(698,753)(701,717)(707,716)(713,750)(722,740)(723,782)(735,793)(737,741)(738,754)(766,777)(775,776)(785,799) );
 
Copy content sage:G = PermutationGroup(['(1,2,9,70,316,630,261,525,588,121,231,649,7,14,75,432,576,119,78,377,443,475,366,154)(3,21,107,236,106,45,341,373,566,435,587,262,26,180,436,725,271,301,439,369,380,411,658,528)(4,33,264,637,593,289,676,398,550,771,156,511,37,269,382,266,631,339,533,166,620,571,195,507)(5,42,295,47,46,321,773,349)(6,53,140,672,701,654,359,330,355,502,668,254,58,268,558,781,505,183,731,796,241,429,767,627)(8,66,452,239,49,242,547,768,363,325,288,723,65,59,296,758,351,182,730,580,404,245,521,783)(10,82,112,480,317,294,555,491,673,130,422,670,87,35,282,457,657,305,710,487,365,20,170,684)(11,93,500,427,275,538,610,601,751,335,38,201,98,200,549,515,428,90,545,481,367,789,122,24)(12,105,255,474,581,586,61,431,323,115,603,220,110,589,760,125,643,186,142,678,794,334,702,30)(13,117,347,641,207,458,376,135,662,496,625,592,120,622,102,237,374,238,167,94,560,775,686,687)(15,131,396,559,499,158,362,209,129,644,441,225,68,23,194,297,74,495,597,151,19,160,450,213)(16,139,504,198,389,647,632,596,32,256,175,187,126,608,80,513,774,149,124,535,222,263,653,22)(17,147,636,761,642,420,614,309,313,409,219,97,127,405,300,696,733,64,440,732,337,664,29,235)(18,153,253,449,786,766,86,114,611,168,285,298,128,103,582,437,397,497,123,574,570,540,519,40)(25,206,177,724,523,604,556,394,447,51,375,400,211,434,679,442,357,714,681,779,693,353,340,795)(27,223,563,111,416,747,600,618,744,415,799,116,217,178,171,465,543,260,777,179,234,493,785,605)(28,228,764,88,399,202,674,787,327,199,591,184,218,462,763,537,188,270,683,381,303,304,782,735)(31,247,191,56,403,343,348,92,536,71,476,291,221,759,738,138,145,666,772,267,640,169,712,688)(34,276,472,41,315,716,615,83,204,539,387,613,278,113,609,299,695,214,541,524,680,91,314,792)(36,290,318,277,293,557,162,391)(39,302,62,310,216,463,345,621,791,445,646,750,118,626,418,546,564,132,307,788,705,778,143,229)(43,324,210,286,721,490,752,287,532,386,84,456,326,711,453,283,390,73,486,520,728,248,529,423)(44,333,346,755,468,473,265,466,395,165,494,506,336,749,413,483,137,638,249,134,659,410,689,517)(48,358,739,133,240,633,484,477,451,562,720,464,350,667,193,89,542,161,72,259,69,469,707,99)(50,368,617,461,146,258,197,246,534,329,612,155,352,85,370,737,407,243,227,212,639,561,727,650)(52,383,652,607,544,722,360,159,460,408,455,619,354,762,172,623,414,746,530,651,531,332,421,444)(54,215,753,196,573,669,800,279,192,740,635,691,392,81,501,655,104,585,798,244,338,682,393,189)(55,322,548,790,57,412,516,361,567,734,704,514,344,226,164,371,96,77,402,645,770,384,379,743)(60,424,378,579,742,320,459,312,708,419,284,208,417,634,448,685,697,793,485,584,372,63,319,272)(67,438,665,250,163,356,157,401,602,150,692,482,251,748,784,331,616,518,433,776,385,648,756,726)(76,205,328,292,565,488,577,185,152,454,281,717,503,745,471,274,257,703,598,736,578,176,663,706)(79,508,797,624,629,141,675,769,230,718,590,709,148,232,364,181,729,144,677,280,757,551,224,425)(95,426,606,311,699,489,527,388,173,101,306,467,512,719,233,552,698,308,406,583,509,572,628,136)(100,575,656,660,470,715,510,754,190,109,599,446,108,594,522,780,765,252,690,342,595,492,498,741)(174,569,479,203,273,694,526,553)(430,700,671,478,554,661,568,713)', '(1,3,22,31,7,26,187,221)(2,10,83,522,14,87,524,656)(4,34,185,38,37,278,736,122)(5,43,325,513,46,326,245,198)(6,54,133,653,58,392,89,175)(8,67,399,217,65,251,188,27)(9,71,385,634,75,169,602,424)(11,94,464,114,98,135,99,574)(12,106,533,367,110,271,676,751)(13,118,24,126,120,39,201,16)(15,132,377,537,68,463,525,88)(17,148,174,189,127,79,273,691)(18,154,696,647,128,649,761,149)(19,161,378,295,129,633,448,773)(20,171,552,255,130,563,311,760)(21,176,142,70,180,454,61,432)(23,183,732,594,131,654,309,575)(25,207,618,236,211,374,179,725)(28,229,669,530,218,750,585,360)(29,45,342,684,219,301,754,670)(30,101,578,202,220,572,152,270)(32,257,680,730,222,565,204,547)(33,265,779,279,269,249,394,244)(35,283,254,225,82,286,627,213)(36,291,689,266,293,688,494,637)(40,308,644,460,298,489,160,531)(41,277,405,579,299,391,147,685)(42,170,475,165,321,422,121,410)(44,334,792,414,336,115,613,544)(47,355,516,303,349,241,402,327)(48,359,190,306,350,731,595,628)(49,365,778,192,351,673,445,338)(50,369,593,728,352,373,631,532)(51,376,716,755,353,167,214,483)(52,384,797,284,354,734,364,319)(53,386,722,136,268,248,746,467)(55,181,264,177,344,624,382,679)(56,404,417,709,138,363,60,425)(57,137,390,765,96,468,721,470)(59,210,398,635,66,453,166,393)(62,73,487,747,418,490,491,260)(63,282,233,768,419,112,606,580)(64,443,674,150,420,588,683,648)(69,86,473,300,451,123,638,636)(72,482,556,671,484,726,681,568)(74,496,718,717,499,775,551,706)(76,372,258,434,503,708,243,206)(77,134,449,111,412,466,437,465)(78,346,481,292,261,413,601,274)(80,514,408,253,504,743,332,582)(81,340,330,733,215,375,796,642)(84,527,626,226,529,406,302,322)(85,507,440,124,368,511,614,632)(90,546,379,767,538,310,704,668)(91,550,371,228,539,620,790,462)(92,540,534,795,267,168,639,400)(93,557,116,389,200,290,605,774)(95,562,441,471,512,469,450,328)(97,566,381,707,235,380,787,720)(100,576,362,573,108,316,597,104)(102,186,339,263,347,586,289,256)(103,315,710,794,153,695,555,323)(105,561,427,764,589,329,515,763)(107,294,194,164,436,305,396,548)(109,600,535,798,492,777,596,800)(113,272,461,741,276,208,737,446)(117,519,541,195,622,285,615,156)(119,629,672,752,630,729,781,486)(125,159,250,238,474,651,331,458)(139,435,623,240,608,411,607,542)(140,182,570,297,558,242,611,559)(141,581,246,409,144,643,212,664)(143,337,459,173,646,313,485,509)(145,184,604,335,403,735,714,789)(146,163,275,488,407,616,428,703)(151,191,345,237,209,738,307,641)(155,678,560,724,650,431,662,442)(157,567,223,742,433,770,178,697)(158,343,682,480,495,666,740,457)(162,619,199,663,318,444,304,281)(172,715,197,423,652,252,227,456)(193,584,771,545,739,312,571,610)(196,711,640,518,655,324,536,356)(203,216,712,397,553,564,476,786)(205,314,693,675,745,387,447,677)(224,659,296,415,590,395,452,493)(230,259,383,506,757,477,762,517)(231,508,687,713,366,232,592,478)(234,769,791,429,744,280,705,502)(239,748,609,612,758,438,472,727)(247,591,341,723,759,782,439,783)(262,370,700,645,528,617,661,361)(287,317,667,665,520,657,358,784)(288,497,603,430,521,766,702,554)(320,686,577,416,793,625,598,543)(333,599,388,348,749,498,583,772)(357,776,549,701,523,401,500,505)(421,756,569,660,455,692,694,780)(426,785,658,526,719,799,587,479)(501,621,699,510,753,788,698,690)', '(1,4,5,7,37,46)(2,11,95,14,98,512)(3,23,195,26,131,156)(6,55,132,58,344,463)(8,38,47,65,122,349)(9,72,483,75,484,755)(10,84,528,87,529,262)(12,107,449,110,436,437)(13,43,293,120,326,36)(15,99,233,68,464,606)(16,140,643,126,558,581)(17,127)(18,21,177,128,180,679)(19,162,461,129,318,737)(20,172,686,130,652,625)(22,184,613,187,735,792)(24,200,207,201,93,374)(25,208,657,211,272,317)(27,183,542,217,654,240)(28,80,515,218,504,427)(29,236,745,219,725,205)(30,241,290,220,355,557)(31,248,77,221,386,412)(32,258,133,222,243,89)(33,266,400,269,637,795)(34,42,69,278,321,451)(35,82)(39,303,294,118,327,305)(40,309,358,298,732,667)(41,212,276,299,246,113)(44,335,319,336,789,284)(45,343,119,301,666,630)(48,360,137,350,530,468)(49,348,537,351,772,88)(50,370,620,352,617,550)(51,377,462,353,525,228)(52,158,443,354,495,588)(53,387,123,268,314,86)(54,390,239,392,721,758)(56,405,519,138,147,285)(57,413,105,96,346,589)(59,176,656,66,454,522)(60,255,267,417,760,92)(61,433,624,142,157,181)(62,389,81,418,774,215)(63,226,600,419,322,777)(64,444,675,420,619,677)(67,457,751,251,480,367)(70,470,282,432,765,112)(71,477,192,169,259,338)(73,488,797,490,703,364)(74,397,599,499,786,498)(76,485,787,503,459,381)(78,385,398,261,602,166)(79,509,505,148,173,701)(83,193,380,524,739,566)(85,330,191,368,796,738)(90,547,590,538,730,224)(91,551,646,539,718,143)(94,439,438,135,341,748)(97,567,108,235,770,100)(101,378,520,572,448,287)(102,580,584,347,768,312)(103,583,571,153,388,771)(104,586,782,573,186,591)(106,465,688,271,111,291)(109,601,369,492,481,373)(114,612,757,574,727,230)(115,423,733,334,456,642)(116,616,607,605,163,623)(117,570,425,622,611,709)(121,475)(124,598,473,632,577,638)(125,578,281,474,152,663)(134,227,179,466,197,618)(136,304,345,467,199,307)(139,340,159,608,375,651)(141,676,744,144,533,234)(145,644,791,403,160,705)(146,665,411,407,784,435)(149,595,376,647,190,167)(150,693,629,648,447,729)(151,171,714,209,563,604)(154,302,493,649,626,415)(155,694,223,650,569,178)(161,633)(164,280,722,548,769,746)(165,672,446,410,781,741)(168,275,531,540,428,460)(170,391,779,422,277,394)(174,383,442,273,762,724)(175,576,313,653,316,337)(182,518,747,242,356,260)(185,295,384,736,773,734)(188,320,511,399,793,507)(189,568,706,691,671,717)(194,639,270,396,534,202)(196,440,502,655,614,429)(198,297,244,513,559,279)(203,696,560,553,761,662)(204,323,702,680,794,603)(206,506,406,434,517,527)(210,359,482,453,731,726)(213,225)(214,749,424,716,333,634)(216,713,315,564,478,695)(229,728,756,750,532,692)(231,263,452,366,256,296)(232,767,362,508,668,597)(237,409,674,641,664,683)(238,265,486,458,249,752)(245,325)(247,431,479,759,678,526)(250,541,640,331,615,536)(252,682,494,715,740,689)(253,471,371,582,328,790)(254,627)(257,776,669,565,401,585)(264,310,469,382,546,562)(274,496,687,292,775,592)(283,286)(288,764,743,521,763,514)(289,596,395,339,535,659)(300,491,404,636,487,363)(306,332,723,628,408,783)(308,543,684,489,416,670)(311,594,579,552,575,685)(324,754,414,711,342,544)(329,742,445,561,697,778)(357,556,610,523,681,545)(361,708,720,645,372,707)(365,766,441,673,497,450)(379,609,393,704,472,635)(402,516)(421,455)(426,554,593,719,430,631)(476,712)(500,780,661,549,660,700)(501,753)(510,690)(555,658,800,710,587,798)(621,788)(698,699)(785,799)', '(1,5,44)(2,12,108)(3,24,179)(4,35,284)(6,56,406)(7,46,336)(8,47,124)(9,73,489)(10,85,531)(11,96,215)(13,119,206)(14,110,100)(15,111,595)(16,141,27)(18,155,699)(19,163,253)(20,173,238)(21,178,694)(22,185,627)(23,196,743)(25,209,750)(26,201,618)(28,194,529)(29,210,714)(30,242,167)(31,249,331)(32,259,776)(33,267,123)(34,213,188)(36,292,463)(37,82,319)(38,286,638)(39,304,169)(40,239,524)(41,316,72)(42,320,451)(43,285,602)(45,344,166)(48,361,663)(49,366,266)(50,371,591)(51,378,150)(52,202,540)(53,342,452)(54,391,545)(55,398,301)(57,81,98)(58,138,527)(59,407,192)(60,426,256)(62,436,492)(63,440,197)(64,445,390)(65,349,632)(66,146,338)(67,152,651)(68,465,190)(69,321,793)(70,471,769)(71,118,199)(74,497,542)(75,490,308)(76,491,171)(77,505,232)(78,506,496)(79,424,541)(80,275,658)(83,298,758)(84,218,396)(86,269,92)(87,368,460)(88,414,760)(89,307,176)(90,518,464)(91,393,520)(93,322,521)(95,559,601)(97,244,774)(99,538,356)(101,579,415)(102,165,709)(103,584,783)(104,282,623)(105,198,449)(106,590,355)(107,109,418)(112,607,573)(113,409,797)(114,247,479)(115,234,450)(116,617,746)(117,306,562)(120,630,434)(122,283,473)(125,644,568)(126,144,217)(128,650,698)(129,616,582)(130,509,458)(131,655,514)(132,293,274)(133,345,454)(134,660,764)(136,665,585)(137,145,375)(139,189,372)(140,673,535)(143,594,629)(147,687,666)(148,634,615)(149,323,547)(151,229,211)(153,312,723)(154,551,462)(156,549,777)(157,560,501)(158,191,515)(159,251,578)(160,671,474)(162,550,765)(164,186,737)(168,354,270)(170,675,380)(172,716,248)(174,438,762)(175,416,237)(180,223,569)(181,696,553)(182,376,220)(183,733,289)(184,734,295)(187,736,254)(193,742,523)(195,500,600)(200,226,288)(203,624,761)(204,233,290)(205,692,787)(207,429,661)(208,725,300)(212,670,713)(214,386,652)(216,755,674)(219,453,604)(221,265,250)(222,477,401)(224,241,271)(225,399,278)(227,419,614)(228,649,718)(230,431,788)(231,637,351)(235,279,389)(236,636,272)(240,499,766)(243,303,435)(246,684,478)(252,382,580)(255,537,544)(257,522,294)(258,327,411)(260,688,702)(261,517,775)(262,443,710)(263,417,719)(264,768,715)(268,754,296)(273,748,383)(276,664,364)(277,610,392)(280,432,328)(281,350,645)(287,539,635)(291,603,747)(297,481,512)(299,576,484)(302,379,693)(305,565,656)(309,619,681)(310,672,771)(311,472,377)(313,488,315)(314,593,348)(317,731,485)(318,620,470)(324,430,400)(326,519,385)(329,779,667)(330,798,639)(332,446,689)(333,486,362)(334,744,441)(337,703,695)(339,654,642)(340,468,403)(341,442,510)(343,405,592)(346,770,373)(347,410,425)(352,790,782)(353,448,648)(357,739,697)(358,561,394)(359,459,657)(360,751,717)(363,728,726)(365,596,558)(367,706,530)(369,413,567)(370,722,605)(374,502,700)(381,745,756)(384,773,735)(387,631,772)(388,682,570)(395,676,397)(404,532,482)(408,741,494)(412,701,508)(420,778,721)(422,677,566)(423,599,643)(427,495,738)(428,587,504)(433,662,753)(437,589,513)(439,724,690)(444,556,732)(447,626,704)(456,498,581)(457,791,720)(461,548,586)(466,780,763)(467,784,669)(469,622,628)(480,705,707)(483,683,564)(487,563,503)(493,572,685)(525,552,609)(526,574,759)(528,588,555)(533,786,659)(534,796,800)(536,668,686)(543,641,653)(546,781,571)(554,795,711)(557,680,606)(575,729,646)(583,740,611)(597,749,752)(608,691,708)(621,757,678)(625,640,767)(647,794,730)', '(1,6,57,7,58,96)(2,13,105,14,120,589)(3,25,210,26,211,453)(4,36,100,37,293,108)(5,45,95,46,301,512)(8,68,89,65,15,133)(9,74,498,75,499,599)(10,86,534,87,123,639)(11,97,344,98,235,55)(12,109,602,110,492,385)(16,142,41,126,61,299)(17,127)(18,156,485,128,195,459)(19,164,470,129,548,765)(20,174,468,130,273,137)(21,179,726,180,618,482)(22,186,729,187,586,629)(23,197,201,131,227,24)(27,144,316,217,141,576)(28,230,314,218,757,387)(29,178,655,219,223,196)(30,243,66,220,258,59)(31,250,350,221,331,48)(32,260,259,222,747,477)(33,268,760,269,53,255)(34,277,628,278,391,306)(35,285,513,82,519,198)(38,290,192,122,557,338)(39,305,111,118,294,465)(40,310,321,298,546,42)(43,119,463,326,630,132)(44,261,774,336,78,389)(47,356,522,349,518,656)(49,354,540,351,52,168)(50,104,328,352,573,471)(51,379,737,353,704,461)(54,170,358,392,422,667)(56,244,297,138,279,559)(60,427,194,417,515,396)(62,437,292,418,449,274)(63,209,569,419,151,694)(64,446,672,420,741,781)(67,458,668,251,238,767)(69,390,768,451,721,580)(70,472,493,432,609,415)(71,464,454,169,99,176)(72,484)(73,237,113,490,641,276)(76,317,466,503,657,134)(77,145,686,412,403,625)(79,510,708,148,690,372)(80,400,84,504,795,529)(81,517,601,215,506,481)(83,523,445,524,357,778)(85,443,414,368,588,544)(88,330,479,537,796,526)(90,323,595,538,794,190)(91,552,591,539,311,782)(92,528,574,267,262,114)(93,272,177,200,208,679)(94,281,265,135,663,249)(101,287,607,572,520,623)(102,562,394,347,469,779)(103,507,556,153,511,681)(106,303,283,271,327,286)(107,319,206,436,284,434)(112,525,384,282,377,734)(115,542,543,334,240,416)(116,605)(117,388,380,622,583,566)(121,475)(124,547,304,632,730,199)(125,597,424,474,362,634)(136,411,680,467,435,204)(139,214,752,608,716,486)(140,674,289,558,683,339)(143,253,447,646,582,693)(146,585,590,407,669,224)(147,405)(149,257,345,647,565,307)(150,620,594,648,550,575)(152,457,340,578,480,375)(154,228,722,649,462,746)(155,700,487,650,661,491)(157,703,596,433,488,535)(158,431,430,495,678,554)(159,232,438,651,508,748)(160,691,530,644,189,360)(161,633)(162,302,736,318,626,185)(163,378,627,616,448,254)(165,225,677,410,213,675)(166,496,406,398,775,527)(167,665,473,376,784,638)(171,500,205,563,549,745)(172,717,615,652,706,541)(173,720,505,509,707,701)(175,456,203,653,423,553)(181,664,766,624,409,497)(182,233,241,242,606,355)(183,560,713,654,662,478)(184,371,685,735,790,579)(188,329,570,399,561,611)(191,631,428,738,593,275)(193,494,793,739,689,320)(202,727,266,270,612,637)(207,359,381,374,731,787)(212,365,395,246,673,659)(216,337,684,564,313,670)(226,300,236,322,636,725)(229,743,532,750,514,728)(231,366)(234,761,489,744,696,308)(239,382,332,758,264,408)(245,325)(247,754,531,759,342,460)(248,724,671,386,442,568)(252,742,771,715,697,571)(256,658,621,263,587,788)(280,635,773,769,393,295)(288,521)(291,688)(296,555,798,452,710,800)(309,783,312,732,723,584)(315,676,642,695,533,733)(324,719,348,711,426,772)(333,341,751,749,439,367)(335,592,369,789,687,373)(343,567,346,666,770,413)(361,645)(363,440,604,404,614,714)(364,581,441,797,643,450)(370,718,792,617,551,613)(383,791,536,762,705,640)(397,501,483,786,753,755)(401,598,702,776,577,603)(402,516)(421,455)(425,545,740,709,610,682)(429,780,600,502,660,777)(444,619)(476,712)(692,699,763,756,698,764)(785,799)', '(1,7)(2,14)(3,26)(4,37)(5,46)(6,58)(8,65)(9,75)(10,87)(11,98)(12,110)(13,120)(15,68)(16,126)(17,127)(18,128)(19,129)(20,130)(21,180)(22,187)(23,131)(24,201)(25,211)(27,217)(28,218)(29,219)(30,220)(31,221)(32,222)(33,269)(34,278)(35,82)(36,293)(38,122)(39,118)(40,298)(41,299)(42,321)(43,326)(44,336)(45,301)(47,349)(48,350)(49,351)(50,352)(51,353)(52,354)(53,268)(54,392)(55,344)(56,138)(57,96)(59,66)(60,417)(61,142)(62,418)(63,419)(64,420)(67,251)(69,451)(70,432)(71,169)(72,484)(73,490)(74,499)(76,503)(77,412)(78,261)(79,148)(80,504)(81,215)(83,524)(84,529)(85,368)(86,123)(88,537)(89,133)(90,538)(91,539)(92,267)(93,200)(94,135)(95,512)(97,235)(99,464)(100,108)(101,572)(102,347)(103,153)(104,573)(105,589)(106,271)(107,436)(109,492)(111,465)(112,282)(113,276)(114,574)(115,334)(116,605)(117,622)(119,630)(121,475)(124,632)(125,474)(132,463)(134,466)(136,467)(137,468)(139,608)(140,558)(141,144)(143,646)(145,403)(146,407)(147,405)(149,647)(150,648)(151,209)(152,578)(154,649)(155,650)(156,195)(157,433)(158,495)(159,651)(160,644)(161,633)(162,318)(163,616)(164,548)(165,410)(166,398)(167,376)(168,540)(170,422)(171,563)(172,652)(173,509)(174,273)(175,653)(176,454)(177,679)(178,223)(179,618)(181,624)(182,242)(183,654)(184,735)(185,736)(186,586)(188,399)(189,691)(190,595)(191,738)(192,338)(193,739)(194,396)(196,655)(197,227)(198,513)(199,304)(202,270)(203,553)(204,680)(205,745)(206,434)(207,374)(208,272)(210,453)(212,246)(213,225)(214,716)(216,564)(224,590)(226,322)(228,462)(229,750)(230,757)(231,366)(232,508)(233,606)(234,744)(236,725)(237,641)(238,458)(239,758)(240,542)(241,355)(243,258)(244,279)(245,325)(247,759)(248,386)(249,265)(250,331)(252,715)(253,582)(254,627)(255,760)(256,263)(257,565)(259,477)(260,747)(262,528)(264,382)(266,637)(274,292)(275,428)(277,391)(280,769)(281,663)(283,286)(284,319)(285,519)(287,520)(288,521)(289,339)(290,557)(291,688)(294,305)(295,773)(296,452)(297,559)(300,636)(302,626)(303,327)(306,628)(307,345)(308,489)(309,732)(310,546)(311,552)(312,584)(313,337)(314,387)(315,695)(316,576)(317,657)(320,793)(323,794)(324,711)(328,471)(329,561)(330,796)(332,408)(333,749)(335,789)(340,375)(341,439)(342,754)(343,666)(346,413)(348,772)(356,518)(357,523)(358,667)(359,731)(360,530)(361,645)(362,597)(363,404)(364,797)(365,673)(367,751)(369,373)(370,617)(371,790)(372,708)(377,525)(378,448)(379,704)(380,566)(381,787)(383,762)(384,734)(385,602)(388,583)(389,774)(390,721)(393,635)(394,779)(395,659)(397,786)(400,795)(401,776)(402,516)(406,527)(409,664)(411,435)(414,544)(415,493)(416,543)(421,455)(423,456)(424,634)(425,709)(426,719)(427,515)(429,502)(430,554)(431,678)(437,449)(438,748)(440,614)(441,450)(442,724)(443,588)(444,619)(445,778)(446,741)(447,693)(457,480)(459,485)(460,531)(461,737)(469,562)(470,765)(472,609)(473,638)(476,712)(478,713)(479,526)(481,601)(482,726)(483,755)(486,752)(487,491)(488,703)(494,689)(496,775)(497,766)(498,599)(500,549)(501,753)(505,701)(506,517)(507,511)(510,690)(514,743)(522,656)(532,728)(533,676)(534,639)(535,596)(536,640)(541,615)(545,610)(547,730)(550,620)(551,718)(555,710)(556,681)(560,662)(567,770)(568,671)(569,694)(570,611)(571,771)(575,594)(577,598)(579,685)(580,768)(581,643)(585,669)(587,658)(591,782)(592,687)(593,631)(600,777)(603,702)(604,714)(607,623)(612,727)(613,792)(621,788)(625,686)(629,729)(642,733)(660,780)(661,700)(665,784)(668,767)(670,684)(672,781)(674,683)(675,677)(682,740)(692,756)(696,761)(697,742)(698,699)(705,791)(706,717)(707,720)(722,746)(723,783)(763,764)(785,799)(798,800)', '(1,8)(2,15)(3,27)(4,38)(5,47)(6,59)(7,65)(9,76)(10,88)(11,99)(12,111)(13,118)(14,68)(16,24)(18,157)(19,165)(20,160)(21,181)(22,188)(23,183)(25,212)(26,217)(28,231)(29,237)(30,244)(31,251)(32,261)(33,270)(34,185)(35,286)(36,294)(37,122)(39,120)(40,311)(41,317)(42,295)(43,327)(44,124)(45,345)(46,349)(48,362)(49,84)(50,103)(51,380)(52,86)(53,158)(54,393)(55,176)(56,407)(57,90)(58,66)(60,428)(61,177)(62,260)(63,441)(64,447)(67,221)(69,384)(70,382)(71,206)(72,485)(73,491)(74,500)(75,503)(77,367)(78,222)(79,189)(80,263)(81,518)(82,283)(83,525)(85,414)(87,537)(89,398)(91,545)(92,540)(93,558)(94,135)(95,233)(96,538)(97,167)(98,464)(100,190)(101,394)(102,253)(104,306)(105,590)(106,449)(107,291)(108,595)(109,603)(110,465)(112,469)(113,272)(115,614)(116,570)(117,623)(119,199)(121,633)(123,354)(125,458)(126,201)(128,433)(129,410)(130,644)(131,654)(132,656)(133,166)(134,533)(136,666)(137,668)(138,146)(139,541)(140,200)(141,179)(142,679)(143,681)(144,618)(145,686)(147,665)(148,691)(149,567)(150,675)(151,684)(152,265)(153,352)(154,697)(155,560)(156,240)(159,331)(161,475)(162,672)(163,709)(164,494)(168,267)(169,434)(170,378)(171,489)(172,705)(173,671)(174,273)(175,210)(178,696)(180,624)(182,389)(184,320)(186,408)(187,399)(191,342)(192,406)(193,228)(194,637)(195,542)(196,733)(197,744)(198,355)(202,269)(203,569)(204,601)(205,683)(207,643)(208,276)(209,670)(211,246)(213,627)(214,720)(215,356)(216,756)(218,366)(219,641)(220,279)(223,761)(224,589)(225,254)(226,673)(227,234)(229,478)(232,530)(235,376)(236,409)(238,474)(239,472)(241,513)(242,774)(243,385)(245,516)(248,480)(249,578)(250,651)(252,769)(255,460)(256,504)(257,292)(258,602)(259,517)(262,772)(264,432)(266,396)(268,495)(271,437)(274,565)(275,417)(277,287)(278,736)(280,715)(281,752)(282,562)(284,638)(285,411)(288,535)(289,743)(290,559)(293,305)(296,427)(297,557)(298,552)(299,657)(300,364)(301,307)(302,778)(303,326)(304,630)(308,563)(309,594)(310,765)(312,790)(313,482)(314,588)(315,532)(316,731)(318,781)(319,473)(321,773)(322,365)(323,369)(324,796)(325,402)(328,768)(329,493)(330,711)(332,586)(333,361)(334,440)(335,598)(336,632)(337,726)(338,527)(339,514)(340,640)(341,439)(343,467)(344,454)(346,730)(347,582)(348,528)(350,597)(351,529)(353,566)(357,551)(358,579)(359,576)(360,508)(363,703)(368,544)(370,583)(371,584)(372,424)(373,794)(374,581)(375,536)(377,524)(379,721)(381,755)(383,762)(386,457)(387,443)(388,617)(390,704)(391,520)(392,635)(395,763)(397,780)(400,534)(401,496)(403,625)(404,488)(405,784)(412,751)(413,547)(415,561)(416,714)(418,747)(419,450)(420,693)(421,712)(422,448)(423,429)(425,616)(426,587)(430,800)(435,519)(436,688)(438,748)(442,724)(444,729)(445,626)(446,461)(451,734)(452,515)(453,653)(455,476)(456,502)(459,484)(462,739)(463,522)(466,676)(468,767)(470,546)(471,580)(477,506)(481,680)(483,787)(486,663)(487,490)(492,702)(497,600)(498,700)(499,549)(501,699)(505,706)(507,792)(509,568)(510,690)(511,613)(512,606)(521,596)(523,718)(531,760)(539,610)(543,604)(548,689)(550,771)(553,694)(554,798)(555,593)(556,646)(564,692)(571,620)(572,779)(573,628)(575,732)(577,789)(585,687)(591,783)(592,669)(599,661)(605,611)(607,622)(608,615)(609,758)(619,629)(631,710)(634,708)(636,797)(639,795)(642,655)(645,749)(647,770)(648,677)(649,742)(650,662)(652,791)(658,719)(659,764)(660,786)(664,725)(667,685)(674,745)(682,746)(695,728)(698,753)(701,717)(707,716)(713,750)(722,740)(723,782)(735,793)(737,741)(738,754)(766,777)(775,776)(785,799)'])
 

Group information

Description:$\SL(2,49).C_2^2$
Order: \(470400\)\(\medspace = 2^{7} \cdot 3 \cdot 5^{2} \cdot 7^{2} \)
Copy content comment:Order of the group
 
Copy content magma:Order(G);
 
Copy content gap:Order(G);
 
Copy content sage:G.order()
 
Copy content sage_gap:G.Order()
 
Exponent: \(8400\)\(\medspace = 2^{4} \cdot 3 \cdot 5^{2} \cdot 7 \)
Copy content comment:Exponent of the group
 
Copy content magma:Exponent(G);
 
Copy content gap:Exponent(G);
 
Copy content sage:G.exponent()
 
Copy content sage_gap:G.Exponent()
 
Automorphism group:$D_4.\PSL(2,49).C_2$, of order \(940800\)\(\medspace = 2^{8} \cdot 3 \cdot 5^{2} \cdot 7^{2} \)
Copy content comment:Automorphism group
 
Copy content gap:AutomorphismGroup(G);
 
Copy content magma:AutomorphismGroup(G);
 
Copy content sage_gap:G.AutomorphismGroup()
 
Composition factors:$C_2$ x 3, $\PSL(2,49)$
Copy content comment:Composition factors of the group
 
Copy content magma:CompositionFactors(G);
 
Copy content gap:CompositionSeries(G);
 
Copy content sage:G.composition_series()
 
Copy content sage_gap:G.CompositionSeries()
 
Derived length:$1$
Copy content comment:Derived length of the group
 
Copy content magma:DerivedLength(G);
 
Copy content gap:DerivedLength(G);
 
Copy content sage_gap:G.DerivedLength()
 

This group is nonabelian and nonsolvable. Whether it is almost simple has not been computed.

Copy content comment:Determine if the group G is abelian
 
Copy content magma:IsAbelian(G);
 
Copy content gap:IsAbelian(G);
 
Copy content sage:G.is_abelian()
 
Copy content sage_gap:G.IsAbelian()
 
Copy content comment:Determine if the group G is cyclic
 
Copy content magma:IsCyclic(G);
 
Copy content gap:IsCyclic(G);
 
Copy content sage:G.is_cyclic()
 
Copy content sage_gap:G.IsCyclic()
 
Copy content comment:Determine if the group G is nilpotent
 
Copy content magma:IsNilpotent(G);
 
Copy content gap:IsNilpotentGroup(G);
 
Copy content sage:G.is_nilpotent()
 
Copy content sage_gap:G.IsNilpotentGroup()
 
Copy content comment:Determine if the group G is solvable
 
Copy content magma:IsSolvable(G);
 
Copy content gap:IsSolvableGroup(G);
 
Copy content sage:G.is_solvable()
 
Copy content sage_gap:G.IsSolvableGroup()
 
Copy content comment:Determine if the group G is supersolvable
 
Copy content gap:IsSupersolvableGroup(G);
 
Copy content sage:G.is_supersolvable()
 
Copy content sage_gap:G.IsSupersolvableGroup()
 
Copy content comment:Determine if the group G is simple
 
Copy content magma:IsSimple(G);
 
Copy content gap:IsSimpleGroup(G);
 
Copy content sage_gap:G.IsSimpleGroup()
 

Group statistics

Copy content comment:Compute statistics for the group G
 
Copy content magma:// Magma code to output the first two rows of the group statistics table element_orders := [Order(g) : g in G]; orders := Set(element_orders); printf "Orders: %o\n", orders; printf "Elements: %o %o\n", [#[x : x in element_orders | x eq n] : n in orders], Order(G); cc_orders := [cc[1] : cc in ConjugacyClasses(G)]; printf "Conjugacy classes: %o %o\n", [#[x : x in cc_orders | x eq n] : n in orders], #cc_orders;
 
Copy content gap:# Gap code to output the first two rows of the group statistics table element_orders := List(Elements(G), g -> Order(g)); orders := Set(element_orders); Print("Orders: ", orders, "\n"); element_counts := List(orders, n -> Length(Filtered(element_orders, x -> x = n))); Print("Elements: ", element_counts, " ", Size(G), "\n"); cc_orders := List(ConjugacyClasses(G), cc -> Order(Representative(cc))); cc_counts := List(orders, n -> Length(Filtered(cc_orders, x -> x = n))); Print("Conjugacy classes: ", cc_counts, " ", Length(ConjugacyClasses(G)), "\n");
 
Copy content sage:# Sage code to output the first two rows of the group statistics table element_orders = [g.order() for g in G] orders = sorted(list(set(element_orders))) print("Orders:", orders) print("Elements:", [element_orders.count(n) for n in orders], G.order()) cc_orders = [cc[0].order() for cc in G.conjugacy_classes()] print("Conjugacy classes:", [cc_orders.count(n) for n in orders], len(cc_orders))
 

Order 1 2 3 4 5 6 7 8 10 12 14 16 20 24 25 28 48 50 100
Elements 1 3151 2450 3152 4704 46550 2400 39200 4704 49000 36000 78400 9408 19600 23520 38400 39200 23520 47040 470400
Conjugacy classes   1 4 1 4 1 5 2 5 1 4 4 10 2 4 5 4 8 5 10 80
Divisions 1 4 1 4 1 4 2 4 1 4 4 4 1 2 1 4 2 1 1 46
Autjugacy classes 1 3 1 3 1 3 2 4 1 3 3 6 1 3 5 3 6 5 5 59

Copy content comment:Compute statistics about the characters of G
 
Copy content magma:// Outputs [<d_1,c_1>, <d_2,c_2>, ...] where c_i is the number of irr. complex chars. of G with degree d_i CharacterDegrees(G);
 
Copy content gap:# Outputs [[d_1,c_1], [d_2,c_2], ...] where c_i is the number of irr. complex chars. of G with degree d_i CharacterDegrees(G);
 
Copy content sage:# Outputs [[d_1,c_1], [d_2,c_2], ...] where c_i is the number of irr. complex chars. of G with degree d_i character_degrees = [c[0] for c in G.character_table()] [[n, character_degrees.count(n)] for n in set(character_degrees)]
 
Copy content sage_gap:G.CharacterDegrees()
 

Dimension 1 25 48 49 50 96 100 192 200 400 480 800 960
Irr. complex chars.   4 8 2 4 20 24 18 0 0 0 0 0 0 80
Irr. rational chars. 4 8 2 4 12 2 6 1 2 1 2 1 1 46

Minimal presentations

Permutation degree:$800$
Transitive degree:$800$
Rank: $2$
Inequivalent generating pairs: not computed

Minimal degrees of faithful linear representations

Over $\mathbb{C}$ Over $\mathbb{R}$ Over $\mathbb{Q}$
Irreducible 48 48 48
Arbitrary not computed not computed not computed

Constructions

Show commands: Gap / Magma / SageMath


Permutation group:Degree $800$ $\langle(1,2,9,70,316,630,261,525,588,121,231,649,7,14,75,432,576,119,78,377,443,475,366,154) \!\cdots\! \rangle$ Copy content Toggle raw display
Copy content comment:Define the group as a permutation group
 
Copy content magma:G := PermutationGroup< 800 | (1,2,9,70,316,630,261,525,588,121,231,649,7,14,75,432,576,119,78,377,443,475,366,154)(3,21,107,236,106,45,341,373,566,435,587,262,26,180,436,725,271,301,439,369,380,411,658,528)(4,33,264,637,593,289,676,398,550,771,156,511,37,269,382,266,631,339,533,166,620,571,195,507)(5,42,295,47,46,321,773,349)(6,53,140,672,701,654,359,330,355,502,668,254,58,268,558,781,505,183,731,796,241,429,767,627)(8,66,452,239,49,242,547,768,363,325,288,723,65,59,296,758,351,182,730,580,404,245,521,783)(10,82,112,480,317,294,555,491,673,130,422,670,87,35,282,457,657,305,710,487,365,20,170,684)(11,93,500,427,275,538,610,601,751,335,38,201,98,200,549,515,428,90,545,481,367,789,122,24)(12,105,255,474,581,586,61,431,323,115,603,220,110,589,760,125,643,186,142,678,794,334,702,30)(13,117,347,641,207,458,376,135,662,496,625,592,120,622,102,237,374,238,167,94,560,775,686,687)(15,131,396,559,499,158,362,209,129,644,441,225,68,23,194,297,74,495,597,151,19,160,450,213)(16,139,504,198,389,647,632,596,32,256,175,187,126,608,80,513,774,149,124,535,222,263,653,22)(17,147,636,761,642,420,614,309,313,409,219,97,127,405,300,696,733,64,440,732,337,664,29,235)(18,153,253,449,786,766,86,114,611,168,285,298,128,103,582,437,397,497,123,574,570,540,519,40)(25,206,177,724,523,604,556,394,447,51,375,400,211,434,679,442,357,714,681,779,693,353,340,795)(27,223,563,111,416,747,600,618,744,415,799,116,217,178,171,465,543,260,777,179,234,493,785,605)(28,228,764,88,399,202,674,787,327,199,591,184,218,462,763,537,188,270,683,381,303,304,782,735)(31,247,191,56,403,343,348,92,536,71,476,291,221,759,738,138,145,666,772,267,640,169,712,688)(34,276,472,41,315,716,615,83,204,539,387,613,278,113,609,299,695,214,541,524,680,91,314,792)(36,290,318,277,293,557,162,391)(39,302,62,310,216,463,345,621,791,445,646,750,118,626,418,546,564,132,307,788,705,778,143,229)(43,324,210,286,721,490,752,287,532,386,84,456,326,711,453,283,390,73,486,520,728,248,529,423)(44,333,346,755,468,473,265,466,395,165,494,506,336,749,413,483,137,638,249,134,659,410,689,517)(48,358,739,133,240,633,484,477,451,562,720,464,350,667,193,89,542,161,72,259,69,469,707,99)(50,368,617,461,146,258,197,246,534,329,612,155,352,85,370,737,407,243,227,212,639,561,727,650)(52,383,652,607,544,722,360,159,460,408,455,619,354,762,172,623,414,746,530,651,531,332,421,444)(54,215,753,196,573,669,800,279,192,740,635,691,392,81,501,655,104,585,798,244,338,682,393,189)(55,322,548,790,57,412,516,361,567,734,704,514,344,226,164,371,96,77,402,645,770,384,379,743)(60,424,378,579,742,320,459,312,708,419,284,208,417,634,448,685,697,793,485,584,372,63,319,272)(67,438,665,250,163,356,157,401,602,150,692,482,251,748,784,331,616,518,433,776,385,648,756,726)(76,205,328,292,565,488,577,185,152,454,281,717,503,745,471,274,257,703,598,736,578,176,663,706)(79,508,797,624,629,141,675,769,230,718,590,709,148,232,364,181,729,144,677,280,757,551,224,425)(95,426,606,311,699,489,527,388,173,101,306,467,512,719,233,552,698,308,406,583,509,572,628,136)(100,575,656,660,470,715,510,754,190,109,599,446,108,594,522,780,765,252,690,342,595,492,498,741)(174,569,479,203,273,694,526,553)(430,700,671,478,554,661,568,713), (1,3,22,31,7,26,187,221)(2,10,83,522,14,87,524,656)(4,34,185,38,37,278,736,122)(5,43,325,513,46,326,245,198)(6,54,133,653,58,392,89,175)(8,67,399,217,65,251,188,27)(9,71,385,634,75,169,602,424)(11,94,464,114,98,135,99,574)(12,106,533,367,110,271,676,751)(13,118,24,126,120,39,201,16)(15,132,377,537,68,463,525,88)(17,148,174,189,127,79,273,691)(18,154,696,647,128,649,761,149)(19,161,378,295,129,633,448,773)(20,171,552,255,130,563,311,760)(21,176,142,70,180,454,61,432)(23,183,732,594,131,654,309,575)(25,207,618,236,211,374,179,725)(28,229,669,530,218,750,585,360)(29,45,342,684,219,301,754,670)(30,101,578,202,220,572,152,270)(32,257,680,730,222,565,204,547)(33,265,779,279,269,249,394,244)(35,283,254,225,82,286,627,213)(36,291,689,266,293,688,494,637)(40,308,644,460,298,489,160,531)(41,277,405,579,299,391,147,685)(42,170,475,165,321,422,121,410)(44,334,792,414,336,115,613,544)(47,355,516,303,349,241,402,327)(48,359,190,306,350,731,595,628)(49,365,778,192,351,673,445,338)(50,369,593,728,352,373,631,532)(51,376,716,755,353,167,214,483)(52,384,797,284,354,734,364,319)(53,386,722,136,268,248,746,467)(55,181,264,177,344,624,382,679)(56,404,417,709,138,363,60,425)(57,137,390,765,96,468,721,470)(59,210,398,635,66,453,166,393)(62,73,487,747,418,490,491,260)(63,282,233,768,419,112,606,580)(64,443,674,150,420,588,683,648)(69,86,473,300,451,123,638,636)(72,482,556,671,484,726,681,568)(74,496,718,717,499,775,551,706)(76,372,258,434,503,708,243,206)(77,134,449,111,412,466,437,465)(78,346,481,292,261,413,601,274)(80,514,408,253,504,743,332,582)(81,340,330,733,215,375,796,642)(84,527,626,226,529,406,302,322)(85,507,440,124,368,511,614,632)(90,546,379,767,538,310,704,668)(91,550,371,228,539,620,790,462)(92,540,534,795,267,168,639,400)(93,557,116,389,200,290,605,774)(95,562,441,471,512,469,450,328)(97,566,381,707,235,380,787,720)(100,576,362,573,108,316,597,104)(102,186,339,263,347,586,289,256)(103,315,710,794,153,695,555,323)(105,561,427,764,589,329,515,763)(107,294,194,164,436,305,396,548)(109,600,535,798,492,777,596,800)(113,272,461,741,276,208,737,446)(117,519,541,195,622,285,615,156)(119,629,672,752,630,729,781,486)(125,159,250,238,474,651,331,458)(139,435,623,240,608,411,607,542)(140,182,570,297,558,242,611,559)(141,581,246,409,144,643,212,664)(143,337,459,173,646,313,485,509)(145,184,604,335,403,735,714,789)(146,163,275,488,407,616,428,703)(151,191,345,237,209,738,307,641)(155,678,560,724,650,431,662,442)(157,567,223,742,433,770,178,697)(158,343,682,480,495,666,740,457)(162,619,199,663,318,444,304,281)(172,715,197,423,652,252,227,456)(193,584,771,545,739,312,571,610)(196,711,640,518,655,324,536,356)(203,216,712,397,553,564,476,786)(205,314,693,675,745,387,447,677)(224,659,296,415,590,395,452,493)(230,259,383,506,757,477,762,517)(231,508,687,713,366,232,592,478)(234,769,791,429,744,280,705,502)(239,748,609,612,758,438,472,727)(247,591,341,723,759,782,439,783)(262,370,700,645,528,617,661,361)(287,317,667,665,520,657,358,784)(288,497,603,430,521,766,702,554)(320,686,577,416,793,625,598,543)(333,599,388,348,749,498,583,772)(357,776,549,701,523,401,500,505)(421,756,569,660,455,692,694,780)(426,785,658,526,719,799,587,479)(501,621,699,510,753,788,698,690), (1,4,5,7,37,46)(2,11,95,14,98,512)(3,23,195,26,131,156)(6,55,132,58,344,463)(8,38,47,65,122,349)(9,72,483,75,484,755)(10,84,528,87,529,262)(12,107,449,110,436,437)(13,43,293,120,326,36)(15,99,233,68,464,606)(16,140,643,126,558,581)(17,127)(18,21,177,128,180,679)(19,162,461,129,318,737)(20,172,686,130,652,625)(22,184,613,187,735,792)(24,200,207,201,93,374)(25,208,657,211,272,317)(27,183,542,217,654,240)(28,80,515,218,504,427)(29,236,745,219,725,205)(30,241,290,220,355,557)(31,248,77,221,386,412)(32,258,133,222,243,89)(33,266,400,269,637,795)(34,42,69,278,321,451)(35,82)(39,303,294,118,327,305)(40,309,358,298,732,667)(41,212,276,299,246,113)(44,335,319,336,789,284)(45,343,119,301,666,630)(48,360,137,350,530,468)(49,348,537,351,772,88)(50,370,620,352,617,550)(51,377,462,353,525,228)(52,158,443,354,495,588)(53,387,123,268,314,86)(54,390,239,392,721,758)(56,405,519,138,147,285)(57,413,105,96,346,589)(59,176,656,66,454,522)(60,255,267,417,760,92)(61,433,624,142,157,181)(62,389,81,418,774,215)(63,226,600,419,322,777)(64,444,675,420,619,677)(67,457,751,251,480,367)(70,470,282,432,765,112)(71,477,192,169,259,338)(73,488,797,490,703,364)(74,397,599,499,786,498)(76,485,787,503,459,381)(78,385,398,261,602,166)(79,509,505,148,173,701)(83,193,380,524,739,566)(85,330,191,368,796,738)(90,547,590,538,730,224)(91,551,646,539,718,143)(94,439,438,135,341,748)(97,567,108,235,770,100)(101,378,520,572,448,287)(102,580,584,347,768,312)(103,583,571,153,388,771)(104,586,782,573,186,591)(106,465,688,271,111,291)(109,601,369,492,481,373)(114,612,757,574,727,230)(115,423,733,334,456,642)(116,616,607,605,163,623)(117,570,425,622,611,709)(121,475)(124,598,473,632,577,638)(125,578,281,474,152,663)(134,227,179,466,197,618)(136,304,345,467,199,307)(139,340,159,608,375,651)(141,676,744,144,533,234)(145,644,791,403,160,705)(146,665,411,407,784,435)(149,595,376,647,190,167)(150,693,629,648,447,729)(151,171,714,209,563,604)(154,302,493,649,626,415)(155,694,223,650,569,178)(161,633)(164,280,722,548,769,746)(165,672,446,410,781,741)(168,275,531,540,428,460)(170,391,779,422,277,394)(174,383,442,273,762,724)(175,576,313,653,316,337)(182,518,747,242,356,260)(185,295,384,736,773,734)(188,320,511,399,793,507)(189,568,706,691,671,717)(194,639,270,396,534,202)(196,440,502,655,614,429)(198,297,244,513,559,279)(203,696,560,553,761,662)(204,323,702,680,794,603)(206,506,406,434,517,527)(210,359,482,453,731,726)(213,225)(214,749,424,716,333,634)(216,713,315,564,478,695)(229,728,756,750,532,692)(231,263,452,366,256,296)(232,767,362,508,668,597)(237,409,674,641,664,683)(238,265,486,458,249,752)(245,325)(247,431,479,759,678,526)(250,541,640,331,615,536)(252,682,494,715,740,689)(253,471,371,582,328,790)(254,627)(257,776,669,565,401,585)(264,310,469,382,546,562)(274,496,687,292,775,592)(283,286)(288,764,743,521,763,514)(289,596,395,339,535,659)(300,491,404,636,487,363)(306,332,723,628,408,783)(308,543,684,489,416,670)(311,594,579,552,575,685)(324,754,414,711,342,544)(329,742,445,561,697,778)(357,556,610,523,681,545)(361,708,720,645,372,707)(365,766,441,673,497,450)(379,609,393,704,472,635)(402,516)(421,455)(426,554,593,719,430,631)(476,712)(500,780,661,549,660,700)(501,753)(510,690)(555,658,800,710,587,798)(621,788)(698,699)(785,799), (1,5,44)(2,12,108)(3,24,179)(4,35,284)(6,56,406)(7,46,336)(8,47,124)(9,73,489)(10,85,531)(11,96,215)(13,119,206)(14,110,100)(15,111,595)(16,141,27)(18,155,699)(19,163,253)(20,173,238)(21,178,694)(22,185,627)(23,196,743)(25,209,750)(26,201,618)(28,194,529)(29,210,714)(30,242,167)(31,249,331)(32,259,776)(33,267,123)(34,213,188)(36,292,463)(37,82,319)(38,286,638)(39,304,169)(40,239,524)(41,316,72)(42,320,451)(43,285,602)(45,344,166)(48,361,663)(49,366,266)(50,371,591)(51,378,150)(52,202,540)(53,342,452)(54,391,545)(55,398,301)(57,81,98)(58,138,527)(59,407,192)(60,426,256)(62,436,492)(63,440,197)(64,445,390)(65,349,632)(66,146,338)(67,152,651)(68,465,190)(69,321,793)(70,471,769)(71,118,199)(74,497,542)(75,490,308)(76,491,171)(77,505,232)(78,506,496)(79,424,541)(80,275,658)(83,298,758)(84,218,396)(86,269,92)(87,368,460)(88,414,760)(89,307,176)(90,518,464)(91,393,520)(93,322,521)(95,559,601)(97,244,774)(99,538,356)(101,579,415)(102,165,709)(103,584,783)(104,282,623)(105,198,449)(106,590,355)(107,109,418)(112,607,573)(113,409,797)(114,247,479)(115,234,450)(116,617,746)(117,306,562)(120,630,434)(122,283,473)(125,644,568)(126,144,217)(128,650,698)(129,616,582)(130,509,458)(131,655,514)(132,293,274)(133,345,454)(134,660,764)(136,665,585)(137,145,375)(139,189,372)(140,673,535)(143,594,629)(147,687,666)(148,634,615)(149,323,547)(151,229,211)(153,312,723)(154,551,462)(156,549,777)(157,560,501)(158,191,515)(159,251,578)(160,671,474)(162,550,765)(164,186,737)(168,354,270)(170,675,380)(172,716,248)(174,438,762)(175,416,237)(180,223,569)(181,696,553)(182,376,220)(183,733,289)(184,734,295)(187,736,254)(193,742,523)(195,500,600)(200,226,288)(203,624,761)(204,233,290)(205,692,787)(207,429,661)(208,725,300)(212,670,713)(214,386,652)(216,755,674)(219,453,604)(221,265,250)(222,477,401)(224,241,271)(225,399,278)(227,419,614)(228,649,718)(230,431,788)(231,637,351)(235,279,389)(236,636,272)(240,499,766)(243,303,435)(246,684,478)(252,382,580)(255,537,544)(257,522,294)(258,327,411)(260,688,702)(261,517,775)(262,443,710)(263,417,719)(264,768,715)(268,754,296)(273,748,383)(276,664,364)(277,610,392)(280,432,328)(281,350,645)(287,539,635)(291,603,747)(297,481,512)(299,576,484)(302,379,693)(305,565,656)(309,619,681)(310,672,771)(311,472,377)(313,488,315)(314,593,348)(317,731,485)(318,620,470)(324,430,400)(326,519,385)(329,779,667)(330,798,639)(332,446,689)(333,486,362)(334,744,441)(337,703,695)(339,654,642)(340,468,403)(341,442,510)(343,405,592)(346,770,373)(347,410,425)(352,790,782)(353,448,648)(357,739,697)(358,561,394)(359,459,657)(360,751,717)(363,728,726)(365,596,558)(367,706,530)(369,413,567)(370,722,605)(374,502,700)(381,745,756)(384,773,735)(387,631,772)(388,682,570)(395,676,397)(404,532,482)(408,741,494)(412,701,508)(420,778,721)(422,677,566)(423,599,643)(427,495,738)(428,587,504)(433,662,753)(437,589,513)(439,724,690)(444,556,732)(447,626,704)(456,498,581)(457,791,720)(461,548,586)(466,780,763)(467,784,669)(469,622,628)(480,705,707)(483,683,564)(487,563,503)(493,572,685)(525,552,609)(526,574,759)(528,588,555)(533,786,659)(534,796,800)(536,668,686)(543,641,653)(546,781,571)(554,795,711)(557,680,606)(575,729,646)(583,740,611)(597,749,752)(608,691,708)(621,757,678)(625,640,767)(647,794,730), (1,6,57,7,58,96)(2,13,105,14,120,589)(3,25,210,26,211,453)(4,36,100,37,293,108)(5,45,95,46,301,512)(8,68,89,65,15,133)(9,74,498,75,499,599)(10,86,534,87,123,639)(11,97,344,98,235,55)(12,109,602,110,492,385)(16,142,41,126,61,299)(17,127)(18,156,485,128,195,459)(19,164,470,129,548,765)(20,174,468,130,273,137)(21,179,726,180,618,482)(22,186,729,187,586,629)(23,197,201,131,227,24)(27,144,316,217,141,576)(28,230,314,218,757,387)(29,178,655,219,223,196)(30,243,66,220,258,59)(31,250,350,221,331,48)(32,260,259,222,747,477)(33,268,760,269,53,255)(34,277,628,278,391,306)(35,285,513,82,519,198)(38,290,192,122,557,338)(39,305,111,118,294,465)(40,310,321,298,546,42)(43,119,463,326,630,132)(44,261,774,336,78,389)(47,356,522,349,518,656)(49,354,540,351,52,168)(50,104,328,352,573,471)(51,379,737,353,704,461)(54,170,358,392,422,667)(56,244,297,138,279,559)(60,427,194,417,515,396)(62,437,292,418,449,274)(63,209,569,419,151,694)(64,446,672,420,741,781)(67,458,668,251,238,767)(69,390,768,451,721,580)(70,472,493,432,609,415)(71,464,454,169,99,176)(72,484)(73,237,113,490,641,276)(76,317,466,503,657,134)(77,145,686,412,403,625)(79,510,708,148,690,372)(80,400,84,504,795,529)(81,517,601,215,506,481)(83,523,445,524,357,778)(85,443,414,368,588,544)(88,330,479,537,796,526)(90,323,595,538,794,190)(91,552,591,539,311,782)(92,528,574,267,262,114)(93,272,177,200,208,679)(94,281,265,135,663,249)(101,287,607,572,520,623)(102,562,394,347,469,779)(103,507,556,153,511,681)(106,303,283,271,327,286)(107,319,206,436,284,434)(112,525,384,282,377,734)(115,542,543,334,240,416)(116,605)(117,388,380,622,583,566)(121,475)(124,547,304,632,730,199)(125,597,424,474,362,634)(136,411,680,467,435,204)(139,214,752,608,716,486)(140,674,289,558,683,339)(143,253,447,646,582,693)(146,585,590,407,669,224)(147,405)(149,257,345,647,565,307)(150,620,594,648,550,575)(152,457,340,578,480,375)(154,228,722,649,462,746)(155,700,487,650,661,491)(157,703,596,433,488,535)(158,431,430,495,678,554)(159,232,438,651,508,748)(160,691,530,644,189,360)(161,633)(162,302,736,318,626,185)(163,378,627,616,448,254)(165,225,677,410,213,675)(166,496,406,398,775,527)(167,665,473,376,784,638)(171,500,205,563,549,745)(172,717,615,652,706,541)(173,720,505,509,707,701)(175,456,203,653,423,553)(181,664,766,624,409,497)(182,233,241,242,606,355)(183,560,713,654,662,478)(184,371,685,735,790,579)(188,329,570,399,561,611)(191,631,428,738,593,275)(193,494,793,739,689,320)(202,727,266,270,612,637)(207,359,381,374,731,787)(212,365,395,246,673,659)(216,337,684,564,313,670)(226,300,236,322,636,725)(229,743,532,750,514,728)(231,366)(234,761,489,744,696,308)(239,382,332,758,264,408)(245,325)(247,754,531,759,342,460)(248,724,671,386,442,568)(252,742,771,715,697,571)(256,658,621,263,587,788)(280,635,773,769,393,295)(288,521)(291,688)(296,555,798,452,710,800)(309,783,312,732,723,584)(315,676,642,695,533,733)(324,719,348,711,426,772)(333,341,751,749,439,367)(335,592,369,789,687,373)(343,567,346,666,770,413)(361,645)(363,440,604,404,614,714)(364,581,441,797,643,450)(370,718,792,617,551,613)(383,791,536,762,705,640)(397,501,483,786,753,755)(401,598,702,776,577,603)(402,516)(421,455)(425,545,740,709,610,682)(429,780,600,502,660,777)(444,619)(476,712)(692,699,763,756,698,764)(785,799), (1,7)(2,14)(3,26)(4,37)(5,46)(6,58)(8,65)(9,75)(10,87)(11,98)(12,110)(13,120)(15,68)(16,126)(17,127)(18,128)(19,129)(20,130)(21,180)(22,187)(23,131)(24,201)(25,211)(27,217)(28,218)(29,219)(30,220)(31,221)(32,222)(33,269)(34,278)(35,82)(36,293)(38,122)(39,118)(40,298)(41,299)(42,321)(43,326)(44,336)(45,301)(47,349)(48,350)(49,351)(50,352)(51,353)(52,354)(53,268)(54,392)(55,344)(56,138)(57,96)(59,66)(60,417)(61,142)(62,418)(63,419)(64,420)(67,251)(69,451)(70,432)(71,169)(72,484)(73,490)(74,499)(76,503)(77,412)(78,261)(79,148)(80,504)(81,215)(83,524)(84,529)(85,368)(86,123)(88,537)(89,133)(90,538)(91,539)(92,267)(93,200)(94,135)(95,512)(97,235)(99,464)(100,108)(101,572)(102,347)(103,153)(104,573)(105,589)(106,271)(107,436)(109,492)(111,465)(112,282)(113,276)(114,574)(115,334)(116,605)(117,622)(119,630)(121,475)(124,632)(125,474)(132,463)(134,466)(136,467)(137,468)(139,608)(140,558)(141,144)(143,646)(145,403)(146,407)(147,405)(149,647)(150,648)(151,209)(152,578)(154,649)(155,650)(156,195)(157,433)(158,495)(159,651)(160,644)(161,633)(162,318)(163,616)(164,548)(165,410)(166,398)(167,376)(168,540)(170,422)(171,563)(172,652)(173,509)(174,273)(175,653)(176,454)(177,679)(178,223)(179,618)(181,624)(182,242)(183,654)(184,735)(185,736)(186,586)(188,399)(189,691)(190,595)(191,738)(192,338)(193,739)(194,396)(196,655)(197,227)(198,513)(199,304)(202,270)(203,553)(204,680)(205,745)(206,434)(207,374)(208,272)(210,453)(212,246)(213,225)(214,716)(216,564)(224,590)(226,322)(228,462)(229,750)(230,757)(231,366)(232,508)(233,606)(234,744)(236,725)(237,641)(238,458)(239,758)(240,542)(241,355)(243,258)(244,279)(245,325)(247,759)(248,386)(249,265)(250,331)(252,715)(253,582)(254,627)(255,760)(256,263)(257,565)(259,477)(260,747)(262,528)(264,382)(266,637)(274,292)(275,428)(277,391)(280,769)(281,663)(283,286)(284,319)(285,519)(287,520)(288,521)(289,339)(290,557)(291,688)(294,305)(295,773)(296,452)(297,559)(300,636)(302,626)(303,327)(306,628)(307,345)(308,489)(309,732)(310,546)(311,552)(312,584)(313,337)(314,387)(315,695)(316,576)(317,657)(320,793)(323,794)(324,711)(328,471)(329,561)(330,796)(332,408)(333,749)(335,789)(340,375)(341,439)(342,754)(343,666)(346,413)(348,772)(356,518)(357,523)(358,667)(359,731)(360,530)(361,645)(362,597)(363,404)(364,797)(365,673)(367,751)(369,373)(370,617)(371,790)(372,708)(377,525)(378,448)(379,704)(380,566)(381,787)(383,762)(384,734)(385,602)(388,583)(389,774)(390,721)(393,635)(394,779)(395,659)(397,786)(400,795)(401,776)(402,516)(406,527)(409,664)(411,435)(414,544)(415,493)(416,543)(421,455)(423,456)(424,634)(425,709)(426,719)(427,515)(429,502)(430,554)(431,678)(437,449)(438,748)(440,614)(441,450)(442,724)(443,588)(444,619)(445,778)(446,741)(447,693)(457,480)(459,485)(460,531)(461,737)(469,562)(470,765)(472,609)(473,638)(476,712)(478,713)(479,526)(481,601)(482,726)(483,755)(486,752)(487,491)(488,703)(494,689)(496,775)(497,766)(498,599)(500,549)(501,753)(505,701)(506,517)(507,511)(510,690)(514,743)(522,656)(532,728)(533,676)(534,639)(535,596)(536,640)(541,615)(545,610)(547,730)(550,620)(551,718)(555,710)(556,681)(560,662)(567,770)(568,671)(569,694)(570,611)(571,771)(575,594)(577,598)(579,685)(580,768)(581,643)(585,669)(587,658)(591,782)(592,687)(593,631)(600,777)(603,702)(604,714)(607,623)(612,727)(613,792)(621,788)(625,686)(629,729)(642,733)(660,780)(661,700)(665,784)(668,767)(670,684)(672,781)(674,683)(675,677)(682,740)(692,756)(696,761)(697,742)(698,699)(705,791)(706,717)(707,720)(722,746)(723,783)(763,764)(785,799)(798,800), (1,8)(2,15)(3,27)(4,38)(5,47)(6,59)(7,65)(9,76)(10,88)(11,99)(12,111)(13,118)(14,68)(16,24)(18,157)(19,165)(20,160)(21,181)(22,188)(23,183)(25,212)(26,217)(28,231)(29,237)(30,244)(31,251)(32,261)(33,270)(34,185)(35,286)(36,294)(37,122)(39,120)(40,311)(41,317)(42,295)(43,327)(44,124)(45,345)(46,349)(48,362)(49,84)(50,103)(51,380)(52,86)(53,158)(54,393)(55,176)(56,407)(57,90)(58,66)(60,428)(61,177)(62,260)(63,441)(64,447)(67,221)(69,384)(70,382)(71,206)(72,485)(73,491)(74,500)(75,503)(77,367)(78,222)(79,189)(80,263)(81,518)(82,283)(83,525)(85,414)(87,537)(89,398)(91,545)(92,540)(93,558)(94,135)(95,233)(96,538)(97,167)(98,464)(100,190)(101,394)(102,253)(104,306)(105,590)(106,449)(107,291)(108,595)(109,603)(110,465)(112,469)(113,272)(115,614)(116,570)(117,623)(119,199)(121,633)(123,354)(125,458)(126,201)(128,433)(129,410)(130,644)(131,654)(132,656)(133,166)(134,533)(136,666)(137,668)(138,146)(139,541)(140,200)(141,179)(142,679)(143,681)(144,618)(145,686)(147,665)(148,691)(149,567)(150,675)(151,684)(152,265)(153,352)(154,697)(155,560)(156,240)(159,331)(161,475)(162,672)(163,709)(164,494)(168,267)(169,434)(170,378)(171,489)(172,705)(173,671)(174,273)(175,210)(178,696)(180,624)(182,389)(184,320)(186,408)(187,399)(191,342)(192,406)(193,228)(194,637)(195,542)(196,733)(197,744)(198,355)(202,269)(203,569)(204,601)(205,683)(207,643)(208,276)(209,670)(211,246)(213,627)(214,720)(215,356)(216,756)(218,366)(219,641)(220,279)(223,761)(224,589)(225,254)(226,673)(227,234)(229,478)(232,530)(235,376)(236,409)(238,474)(239,472)(241,513)(242,774)(243,385)(245,516)(248,480)(249,578)(250,651)(252,769)(255,460)(256,504)(257,292)(258,602)(259,517)(262,772)(264,432)(266,396)(268,495)(271,437)(274,565)(275,417)(277,287)(278,736)(280,715)(281,752)(282,562)(284,638)(285,411)(288,535)(289,743)(290,559)(293,305)(296,427)(297,557)(298,552)(299,657)(300,364)(301,307)(302,778)(303,326)(304,630)(308,563)(309,594)(310,765)(312,790)(313,482)(314,588)(315,532)(316,731)(318,781)(319,473)(321,773)(322,365)(323,369)(324,796)(325,402)(328,768)(329,493)(330,711)(332,586)(333,361)(334,440)(335,598)(336,632)(337,726)(338,527)(339,514)(340,640)(341,439)(343,467)(344,454)(346,730)(347,582)(348,528)(350,597)(351,529)(353,566)(357,551)(358,579)(359,576)(360,508)(363,703)(368,544)(370,583)(371,584)(372,424)(373,794)(374,581)(375,536)(377,524)(379,721)(381,755)(383,762)(386,457)(387,443)(388,617)(390,704)(391,520)(392,635)(395,763)(397,780)(400,534)(401,496)(403,625)(404,488)(405,784)(412,751)(413,547)(415,561)(416,714)(418,747)(419,450)(420,693)(421,712)(422,448)(423,429)(425,616)(426,587)(430,800)(435,519)(436,688)(438,748)(442,724)(444,729)(445,626)(446,461)(451,734)(452,515)(453,653)(455,476)(456,502)(459,484)(462,739)(463,522)(466,676)(468,767)(470,546)(471,580)(477,506)(481,680)(483,787)(486,663)(487,490)(492,702)(497,600)(498,700)(499,549)(501,699)(505,706)(507,792)(509,568)(510,690)(511,613)(512,606)(521,596)(523,718)(531,760)(539,610)(543,604)(548,689)(550,771)(553,694)(554,798)(555,593)(556,646)(564,692)(571,620)(572,779)(573,628)(575,732)(577,789)(585,687)(591,783)(592,669)(599,661)(605,611)(607,622)(608,615)(609,758)(619,629)(631,710)(634,708)(636,797)(639,795)(642,655)(645,749)(647,770)(648,677)(649,742)(650,662)(652,791)(658,719)(659,764)(660,786)(664,725)(667,685)(674,745)(682,746)(695,728)(698,753)(701,717)(707,716)(713,750)(722,740)(723,782)(735,793)(737,741)(738,754)(766,777)(775,776)(785,799) >;
 
Copy content gap:G := Group( (1,2,9,70,316,630,261,525,588,121,231,649,7,14,75,432,576,119,78,377,443,475,366,154)(3,21,107,236,106,45,341,373,566,435,587,262,26,180,436,725,271,301,439,369,380,411,658,528)(4,33,264,637,593,289,676,398,550,771,156,511,37,269,382,266,631,339,533,166,620,571,195,507)(5,42,295,47,46,321,773,349)(6,53,140,672,701,654,359,330,355,502,668,254,58,268,558,781,505,183,731,796,241,429,767,627)(8,66,452,239,49,242,547,768,363,325,288,723,65,59,296,758,351,182,730,580,404,245,521,783)(10,82,112,480,317,294,555,491,673,130,422,670,87,35,282,457,657,305,710,487,365,20,170,684)(11,93,500,427,275,538,610,601,751,335,38,201,98,200,549,515,428,90,545,481,367,789,122,24)(12,105,255,474,581,586,61,431,323,115,603,220,110,589,760,125,643,186,142,678,794,334,702,30)(13,117,347,641,207,458,376,135,662,496,625,592,120,622,102,237,374,238,167,94,560,775,686,687)(15,131,396,559,499,158,362,209,129,644,441,225,68,23,194,297,74,495,597,151,19,160,450,213)(16,139,504,198,389,647,632,596,32,256,175,187,126,608,80,513,774,149,124,535,222,263,653,22)(17,147,636,761,642,420,614,309,313,409,219,97,127,405,300,696,733,64,440,732,337,664,29,235)(18,153,253,449,786,766,86,114,611,168,285,298,128,103,582,437,397,497,123,574,570,540,519,40)(25,206,177,724,523,604,556,394,447,51,375,400,211,434,679,442,357,714,681,779,693,353,340,795)(27,223,563,111,416,747,600,618,744,415,799,116,217,178,171,465,543,260,777,179,234,493,785,605)(28,228,764,88,399,202,674,787,327,199,591,184,218,462,763,537,188,270,683,381,303,304,782,735)(31,247,191,56,403,343,348,92,536,71,476,291,221,759,738,138,145,666,772,267,640,169,712,688)(34,276,472,41,315,716,615,83,204,539,387,613,278,113,609,299,695,214,541,524,680,91,314,792)(36,290,318,277,293,557,162,391)(39,302,62,310,216,463,345,621,791,445,646,750,118,626,418,546,564,132,307,788,705,778,143,229)(43,324,210,286,721,490,752,287,532,386,84,456,326,711,453,283,390,73,486,520,728,248,529,423)(44,333,346,755,468,473,265,466,395,165,494,506,336,749,413,483,137,638,249,134,659,410,689,517)(48,358,739,133,240,633,484,477,451,562,720,464,350,667,193,89,542,161,72,259,69,469,707,99)(50,368,617,461,146,258,197,246,534,329,612,155,352,85,370,737,407,243,227,212,639,561,727,650)(52,383,652,607,544,722,360,159,460,408,455,619,354,762,172,623,414,746,530,651,531,332,421,444)(54,215,753,196,573,669,800,279,192,740,635,691,392,81,501,655,104,585,798,244,338,682,393,189)(55,322,548,790,57,412,516,361,567,734,704,514,344,226,164,371,96,77,402,645,770,384,379,743)(60,424,378,579,742,320,459,312,708,419,284,208,417,634,448,685,697,793,485,584,372,63,319,272)(67,438,665,250,163,356,157,401,602,150,692,482,251,748,784,331,616,518,433,776,385,648,756,726)(76,205,328,292,565,488,577,185,152,454,281,717,503,745,471,274,257,703,598,736,578,176,663,706)(79,508,797,624,629,141,675,769,230,718,590,709,148,232,364,181,729,144,677,280,757,551,224,425)(95,426,606,311,699,489,527,388,173,101,306,467,512,719,233,552,698,308,406,583,509,572,628,136)(100,575,656,660,470,715,510,754,190,109,599,446,108,594,522,780,765,252,690,342,595,492,498,741)(174,569,479,203,273,694,526,553)(430,700,671,478,554,661,568,713), (1,3,22,31,7,26,187,221)(2,10,83,522,14,87,524,656)(4,34,185,38,37,278,736,122)(5,43,325,513,46,326,245,198)(6,54,133,653,58,392,89,175)(8,67,399,217,65,251,188,27)(9,71,385,634,75,169,602,424)(11,94,464,114,98,135,99,574)(12,106,533,367,110,271,676,751)(13,118,24,126,120,39,201,16)(15,132,377,537,68,463,525,88)(17,148,174,189,127,79,273,691)(18,154,696,647,128,649,761,149)(19,161,378,295,129,633,448,773)(20,171,552,255,130,563,311,760)(21,176,142,70,180,454,61,432)(23,183,732,594,131,654,309,575)(25,207,618,236,211,374,179,725)(28,229,669,530,218,750,585,360)(29,45,342,684,219,301,754,670)(30,101,578,202,220,572,152,270)(32,257,680,730,222,565,204,547)(33,265,779,279,269,249,394,244)(35,283,254,225,82,286,627,213)(36,291,689,266,293,688,494,637)(40,308,644,460,298,489,160,531)(41,277,405,579,299,391,147,685)(42,170,475,165,321,422,121,410)(44,334,792,414,336,115,613,544)(47,355,516,303,349,241,402,327)(48,359,190,306,350,731,595,628)(49,365,778,192,351,673,445,338)(50,369,593,728,352,373,631,532)(51,376,716,755,353,167,214,483)(52,384,797,284,354,734,364,319)(53,386,722,136,268,248,746,467)(55,181,264,177,344,624,382,679)(56,404,417,709,138,363,60,425)(57,137,390,765,96,468,721,470)(59,210,398,635,66,453,166,393)(62,73,487,747,418,490,491,260)(63,282,233,768,419,112,606,580)(64,443,674,150,420,588,683,648)(69,86,473,300,451,123,638,636)(72,482,556,671,484,726,681,568)(74,496,718,717,499,775,551,706)(76,372,258,434,503,708,243,206)(77,134,449,111,412,466,437,465)(78,346,481,292,261,413,601,274)(80,514,408,253,504,743,332,582)(81,340,330,733,215,375,796,642)(84,527,626,226,529,406,302,322)(85,507,440,124,368,511,614,632)(90,546,379,767,538,310,704,668)(91,550,371,228,539,620,790,462)(92,540,534,795,267,168,639,400)(93,557,116,389,200,290,605,774)(95,562,441,471,512,469,450,328)(97,566,381,707,235,380,787,720)(100,576,362,573,108,316,597,104)(102,186,339,263,347,586,289,256)(103,315,710,794,153,695,555,323)(105,561,427,764,589,329,515,763)(107,294,194,164,436,305,396,548)(109,600,535,798,492,777,596,800)(113,272,461,741,276,208,737,446)(117,519,541,195,622,285,615,156)(119,629,672,752,630,729,781,486)(125,159,250,238,474,651,331,458)(139,435,623,240,608,411,607,542)(140,182,570,297,558,242,611,559)(141,581,246,409,144,643,212,664)(143,337,459,173,646,313,485,509)(145,184,604,335,403,735,714,789)(146,163,275,488,407,616,428,703)(151,191,345,237,209,738,307,641)(155,678,560,724,650,431,662,442)(157,567,223,742,433,770,178,697)(158,343,682,480,495,666,740,457)(162,619,199,663,318,444,304,281)(172,715,197,423,652,252,227,456)(193,584,771,545,739,312,571,610)(196,711,640,518,655,324,536,356)(203,216,712,397,553,564,476,786)(205,314,693,675,745,387,447,677)(224,659,296,415,590,395,452,493)(230,259,383,506,757,477,762,517)(231,508,687,713,366,232,592,478)(234,769,791,429,744,280,705,502)(239,748,609,612,758,438,472,727)(247,591,341,723,759,782,439,783)(262,370,700,645,528,617,661,361)(287,317,667,665,520,657,358,784)(288,497,603,430,521,766,702,554)(320,686,577,416,793,625,598,543)(333,599,388,348,749,498,583,772)(357,776,549,701,523,401,500,505)(421,756,569,660,455,692,694,780)(426,785,658,526,719,799,587,479)(501,621,699,510,753,788,698,690), (1,4,5,7,37,46)(2,11,95,14,98,512)(3,23,195,26,131,156)(6,55,132,58,344,463)(8,38,47,65,122,349)(9,72,483,75,484,755)(10,84,528,87,529,262)(12,107,449,110,436,437)(13,43,293,120,326,36)(15,99,233,68,464,606)(16,140,643,126,558,581)(17,127)(18,21,177,128,180,679)(19,162,461,129,318,737)(20,172,686,130,652,625)(22,184,613,187,735,792)(24,200,207,201,93,374)(25,208,657,211,272,317)(27,183,542,217,654,240)(28,80,515,218,504,427)(29,236,745,219,725,205)(30,241,290,220,355,557)(31,248,77,221,386,412)(32,258,133,222,243,89)(33,266,400,269,637,795)(34,42,69,278,321,451)(35,82)(39,303,294,118,327,305)(40,309,358,298,732,667)(41,212,276,299,246,113)(44,335,319,336,789,284)(45,343,119,301,666,630)(48,360,137,350,530,468)(49,348,537,351,772,88)(50,370,620,352,617,550)(51,377,462,353,525,228)(52,158,443,354,495,588)(53,387,123,268,314,86)(54,390,239,392,721,758)(56,405,519,138,147,285)(57,413,105,96,346,589)(59,176,656,66,454,522)(60,255,267,417,760,92)(61,433,624,142,157,181)(62,389,81,418,774,215)(63,226,600,419,322,777)(64,444,675,420,619,677)(67,457,751,251,480,367)(70,470,282,432,765,112)(71,477,192,169,259,338)(73,488,797,490,703,364)(74,397,599,499,786,498)(76,485,787,503,459,381)(78,385,398,261,602,166)(79,509,505,148,173,701)(83,193,380,524,739,566)(85,330,191,368,796,738)(90,547,590,538,730,224)(91,551,646,539,718,143)(94,439,438,135,341,748)(97,567,108,235,770,100)(101,378,520,572,448,287)(102,580,584,347,768,312)(103,583,571,153,388,771)(104,586,782,573,186,591)(106,465,688,271,111,291)(109,601,369,492,481,373)(114,612,757,574,727,230)(115,423,733,334,456,642)(116,616,607,605,163,623)(117,570,425,622,611,709)(121,475)(124,598,473,632,577,638)(125,578,281,474,152,663)(134,227,179,466,197,618)(136,304,345,467,199,307)(139,340,159,608,375,651)(141,676,744,144,533,234)(145,644,791,403,160,705)(146,665,411,407,784,435)(149,595,376,647,190,167)(150,693,629,648,447,729)(151,171,714,209,563,604)(154,302,493,649,626,415)(155,694,223,650,569,178)(161,633)(164,280,722,548,769,746)(165,672,446,410,781,741)(168,275,531,540,428,460)(170,391,779,422,277,394)(174,383,442,273,762,724)(175,576,313,653,316,337)(182,518,747,242,356,260)(185,295,384,736,773,734)(188,320,511,399,793,507)(189,568,706,691,671,717)(194,639,270,396,534,202)(196,440,502,655,614,429)(198,297,244,513,559,279)(203,696,560,553,761,662)(204,323,702,680,794,603)(206,506,406,434,517,527)(210,359,482,453,731,726)(213,225)(214,749,424,716,333,634)(216,713,315,564,478,695)(229,728,756,750,532,692)(231,263,452,366,256,296)(232,767,362,508,668,597)(237,409,674,641,664,683)(238,265,486,458,249,752)(245,325)(247,431,479,759,678,526)(250,541,640,331,615,536)(252,682,494,715,740,689)(253,471,371,582,328,790)(254,627)(257,776,669,565,401,585)(264,310,469,382,546,562)(274,496,687,292,775,592)(283,286)(288,764,743,521,763,514)(289,596,395,339,535,659)(300,491,404,636,487,363)(306,332,723,628,408,783)(308,543,684,489,416,670)(311,594,579,552,575,685)(324,754,414,711,342,544)(329,742,445,561,697,778)(357,556,610,523,681,545)(361,708,720,645,372,707)(365,766,441,673,497,450)(379,609,393,704,472,635)(402,516)(421,455)(426,554,593,719,430,631)(476,712)(500,780,661,549,660,700)(501,753)(510,690)(555,658,800,710,587,798)(621,788)(698,699)(785,799), (1,5,44)(2,12,108)(3,24,179)(4,35,284)(6,56,406)(7,46,336)(8,47,124)(9,73,489)(10,85,531)(11,96,215)(13,119,206)(14,110,100)(15,111,595)(16,141,27)(18,155,699)(19,163,253)(20,173,238)(21,178,694)(22,185,627)(23,196,743)(25,209,750)(26,201,618)(28,194,529)(29,210,714)(30,242,167)(31,249,331)(32,259,776)(33,267,123)(34,213,188)(36,292,463)(37,82,319)(38,286,638)(39,304,169)(40,239,524)(41,316,72)(42,320,451)(43,285,602)(45,344,166)(48,361,663)(49,366,266)(50,371,591)(51,378,150)(52,202,540)(53,342,452)(54,391,545)(55,398,301)(57,81,98)(58,138,527)(59,407,192)(60,426,256)(62,436,492)(63,440,197)(64,445,390)(65,349,632)(66,146,338)(67,152,651)(68,465,190)(69,321,793)(70,471,769)(71,118,199)(74,497,542)(75,490,308)(76,491,171)(77,505,232)(78,506,496)(79,424,541)(80,275,658)(83,298,758)(84,218,396)(86,269,92)(87,368,460)(88,414,760)(89,307,176)(90,518,464)(91,393,520)(93,322,521)(95,559,601)(97,244,774)(99,538,356)(101,579,415)(102,165,709)(103,584,783)(104,282,623)(105,198,449)(106,590,355)(107,109,418)(112,607,573)(113,409,797)(114,247,479)(115,234,450)(116,617,746)(117,306,562)(120,630,434)(122,283,473)(125,644,568)(126,144,217)(128,650,698)(129,616,582)(130,509,458)(131,655,514)(132,293,274)(133,345,454)(134,660,764)(136,665,585)(137,145,375)(139,189,372)(140,673,535)(143,594,629)(147,687,666)(148,634,615)(149,323,547)(151,229,211)(153,312,723)(154,551,462)(156,549,777)(157,560,501)(158,191,515)(159,251,578)(160,671,474)(162,550,765)(164,186,737)(168,354,270)(170,675,380)(172,716,248)(174,438,762)(175,416,237)(180,223,569)(181,696,553)(182,376,220)(183,733,289)(184,734,295)(187,736,254)(193,742,523)(195,500,600)(200,226,288)(203,624,761)(204,233,290)(205,692,787)(207,429,661)(208,725,300)(212,670,713)(214,386,652)(216,755,674)(219,453,604)(221,265,250)(222,477,401)(224,241,271)(225,399,278)(227,419,614)(228,649,718)(230,431,788)(231,637,351)(235,279,389)(236,636,272)(240,499,766)(243,303,435)(246,684,478)(252,382,580)(255,537,544)(257,522,294)(258,327,411)(260,688,702)(261,517,775)(262,443,710)(263,417,719)(264,768,715)(268,754,296)(273,748,383)(276,664,364)(277,610,392)(280,432,328)(281,350,645)(287,539,635)(291,603,747)(297,481,512)(299,576,484)(302,379,693)(305,565,656)(309,619,681)(310,672,771)(311,472,377)(313,488,315)(314,593,348)(317,731,485)(318,620,470)(324,430,400)(326,519,385)(329,779,667)(330,798,639)(332,446,689)(333,486,362)(334,744,441)(337,703,695)(339,654,642)(340,468,403)(341,442,510)(343,405,592)(346,770,373)(347,410,425)(352,790,782)(353,448,648)(357,739,697)(358,561,394)(359,459,657)(360,751,717)(363,728,726)(365,596,558)(367,706,530)(369,413,567)(370,722,605)(374,502,700)(381,745,756)(384,773,735)(387,631,772)(388,682,570)(395,676,397)(404,532,482)(408,741,494)(412,701,508)(420,778,721)(422,677,566)(423,599,643)(427,495,738)(428,587,504)(433,662,753)(437,589,513)(439,724,690)(444,556,732)(447,626,704)(456,498,581)(457,791,720)(461,548,586)(466,780,763)(467,784,669)(469,622,628)(480,705,707)(483,683,564)(487,563,503)(493,572,685)(525,552,609)(526,574,759)(528,588,555)(533,786,659)(534,796,800)(536,668,686)(543,641,653)(546,781,571)(554,795,711)(557,680,606)(575,729,646)(583,740,611)(597,749,752)(608,691,708)(621,757,678)(625,640,767)(647,794,730), (1,6,57,7,58,96)(2,13,105,14,120,589)(3,25,210,26,211,453)(4,36,100,37,293,108)(5,45,95,46,301,512)(8,68,89,65,15,133)(9,74,498,75,499,599)(10,86,534,87,123,639)(11,97,344,98,235,55)(12,109,602,110,492,385)(16,142,41,126,61,299)(17,127)(18,156,485,128,195,459)(19,164,470,129,548,765)(20,174,468,130,273,137)(21,179,726,180,618,482)(22,186,729,187,586,629)(23,197,201,131,227,24)(27,144,316,217,141,576)(28,230,314,218,757,387)(29,178,655,219,223,196)(30,243,66,220,258,59)(31,250,350,221,331,48)(32,260,259,222,747,477)(33,268,760,269,53,255)(34,277,628,278,391,306)(35,285,513,82,519,198)(38,290,192,122,557,338)(39,305,111,118,294,465)(40,310,321,298,546,42)(43,119,463,326,630,132)(44,261,774,336,78,389)(47,356,522,349,518,656)(49,354,540,351,52,168)(50,104,328,352,573,471)(51,379,737,353,704,461)(54,170,358,392,422,667)(56,244,297,138,279,559)(60,427,194,417,515,396)(62,437,292,418,449,274)(63,209,569,419,151,694)(64,446,672,420,741,781)(67,458,668,251,238,767)(69,390,768,451,721,580)(70,472,493,432,609,415)(71,464,454,169,99,176)(72,484)(73,237,113,490,641,276)(76,317,466,503,657,134)(77,145,686,412,403,625)(79,510,708,148,690,372)(80,400,84,504,795,529)(81,517,601,215,506,481)(83,523,445,524,357,778)(85,443,414,368,588,544)(88,330,479,537,796,526)(90,323,595,538,794,190)(91,552,591,539,311,782)(92,528,574,267,262,114)(93,272,177,200,208,679)(94,281,265,135,663,249)(101,287,607,572,520,623)(102,562,394,347,469,779)(103,507,556,153,511,681)(106,303,283,271,327,286)(107,319,206,436,284,434)(112,525,384,282,377,734)(115,542,543,334,240,416)(116,605)(117,388,380,622,583,566)(121,475)(124,547,304,632,730,199)(125,597,424,474,362,634)(136,411,680,467,435,204)(139,214,752,608,716,486)(140,674,289,558,683,339)(143,253,447,646,582,693)(146,585,590,407,669,224)(147,405)(149,257,345,647,565,307)(150,620,594,648,550,575)(152,457,340,578,480,375)(154,228,722,649,462,746)(155,700,487,650,661,491)(157,703,596,433,488,535)(158,431,430,495,678,554)(159,232,438,651,508,748)(160,691,530,644,189,360)(161,633)(162,302,736,318,626,185)(163,378,627,616,448,254)(165,225,677,410,213,675)(166,496,406,398,775,527)(167,665,473,376,784,638)(171,500,205,563,549,745)(172,717,615,652,706,541)(173,720,505,509,707,701)(175,456,203,653,423,553)(181,664,766,624,409,497)(182,233,241,242,606,355)(183,560,713,654,662,478)(184,371,685,735,790,579)(188,329,570,399,561,611)(191,631,428,738,593,275)(193,494,793,739,689,320)(202,727,266,270,612,637)(207,359,381,374,731,787)(212,365,395,246,673,659)(216,337,684,564,313,670)(226,300,236,322,636,725)(229,743,532,750,514,728)(231,366)(234,761,489,744,696,308)(239,382,332,758,264,408)(245,325)(247,754,531,759,342,460)(248,724,671,386,442,568)(252,742,771,715,697,571)(256,658,621,263,587,788)(280,635,773,769,393,295)(288,521)(291,688)(296,555,798,452,710,800)(309,783,312,732,723,584)(315,676,642,695,533,733)(324,719,348,711,426,772)(333,341,751,749,439,367)(335,592,369,789,687,373)(343,567,346,666,770,413)(361,645)(363,440,604,404,614,714)(364,581,441,797,643,450)(370,718,792,617,551,613)(383,791,536,762,705,640)(397,501,483,786,753,755)(401,598,702,776,577,603)(402,516)(421,455)(425,545,740,709,610,682)(429,780,600,502,660,777)(444,619)(476,712)(692,699,763,756,698,764)(785,799), (1,7)(2,14)(3,26)(4,37)(5,46)(6,58)(8,65)(9,75)(10,87)(11,98)(12,110)(13,120)(15,68)(16,126)(17,127)(18,128)(19,129)(20,130)(21,180)(22,187)(23,131)(24,201)(25,211)(27,217)(28,218)(29,219)(30,220)(31,221)(32,222)(33,269)(34,278)(35,82)(36,293)(38,122)(39,118)(40,298)(41,299)(42,321)(43,326)(44,336)(45,301)(47,349)(48,350)(49,351)(50,352)(51,353)(52,354)(53,268)(54,392)(55,344)(56,138)(57,96)(59,66)(60,417)(61,142)(62,418)(63,419)(64,420)(67,251)(69,451)(70,432)(71,169)(72,484)(73,490)(74,499)(76,503)(77,412)(78,261)(79,148)(80,504)(81,215)(83,524)(84,529)(85,368)(86,123)(88,537)(89,133)(90,538)(91,539)(92,267)(93,200)(94,135)(95,512)(97,235)(99,464)(100,108)(101,572)(102,347)(103,153)(104,573)(105,589)(106,271)(107,436)(109,492)(111,465)(112,282)(113,276)(114,574)(115,334)(116,605)(117,622)(119,630)(121,475)(124,632)(125,474)(132,463)(134,466)(136,467)(137,468)(139,608)(140,558)(141,144)(143,646)(145,403)(146,407)(147,405)(149,647)(150,648)(151,209)(152,578)(154,649)(155,650)(156,195)(157,433)(158,495)(159,651)(160,644)(161,633)(162,318)(163,616)(164,548)(165,410)(166,398)(167,376)(168,540)(170,422)(171,563)(172,652)(173,509)(174,273)(175,653)(176,454)(177,679)(178,223)(179,618)(181,624)(182,242)(183,654)(184,735)(185,736)(186,586)(188,399)(189,691)(190,595)(191,738)(192,338)(193,739)(194,396)(196,655)(197,227)(198,513)(199,304)(202,270)(203,553)(204,680)(205,745)(206,434)(207,374)(208,272)(210,453)(212,246)(213,225)(214,716)(216,564)(224,590)(226,322)(228,462)(229,750)(230,757)(231,366)(232,508)(233,606)(234,744)(236,725)(237,641)(238,458)(239,758)(240,542)(241,355)(243,258)(244,279)(245,325)(247,759)(248,386)(249,265)(250,331)(252,715)(253,582)(254,627)(255,760)(256,263)(257,565)(259,477)(260,747)(262,528)(264,382)(266,637)(274,292)(275,428)(277,391)(280,769)(281,663)(283,286)(284,319)(285,519)(287,520)(288,521)(289,339)(290,557)(291,688)(294,305)(295,773)(296,452)(297,559)(300,636)(302,626)(303,327)(306,628)(307,345)(308,489)(309,732)(310,546)(311,552)(312,584)(313,337)(314,387)(315,695)(316,576)(317,657)(320,793)(323,794)(324,711)(328,471)(329,561)(330,796)(332,408)(333,749)(335,789)(340,375)(341,439)(342,754)(343,666)(346,413)(348,772)(356,518)(357,523)(358,667)(359,731)(360,530)(361,645)(362,597)(363,404)(364,797)(365,673)(367,751)(369,373)(370,617)(371,790)(372,708)(377,525)(378,448)(379,704)(380,566)(381,787)(383,762)(384,734)(385,602)(388,583)(389,774)(390,721)(393,635)(394,779)(395,659)(397,786)(400,795)(401,776)(402,516)(406,527)(409,664)(411,435)(414,544)(415,493)(416,543)(421,455)(423,456)(424,634)(425,709)(426,719)(427,515)(429,502)(430,554)(431,678)(437,449)(438,748)(440,614)(441,450)(442,724)(443,588)(444,619)(445,778)(446,741)(447,693)(457,480)(459,485)(460,531)(461,737)(469,562)(470,765)(472,609)(473,638)(476,712)(478,713)(479,526)(481,601)(482,726)(483,755)(486,752)(487,491)(488,703)(494,689)(496,775)(497,766)(498,599)(500,549)(501,753)(505,701)(506,517)(507,511)(510,690)(514,743)(522,656)(532,728)(533,676)(534,639)(535,596)(536,640)(541,615)(545,610)(547,730)(550,620)(551,718)(555,710)(556,681)(560,662)(567,770)(568,671)(569,694)(570,611)(571,771)(575,594)(577,598)(579,685)(580,768)(581,643)(585,669)(587,658)(591,782)(592,687)(593,631)(600,777)(603,702)(604,714)(607,623)(612,727)(613,792)(621,788)(625,686)(629,729)(642,733)(660,780)(661,700)(665,784)(668,767)(670,684)(672,781)(674,683)(675,677)(682,740)(692,756)(696,761)(697,742)(698,699)(705,791)(706,717)(707,720)(722,746)(723,783)(763,764)(785,799)(798,800), (1,8)(2,15)(3,27)(4,38)(5,47)(6,59)(7,65)(9,76)(10,88)(11,99)(12,111)(13,118)(14,68)(16,24)(18,157)(19,165)(20,160)(21,181)(22,188)(23,183)(25,212)(26,217)(28,231)(29,237)(30,244)(31,251)(32,261)(33,270)(34,185)(35,286)(36,294)(37,122)(39,120)(40,311)(41,317)(42,295)(43,327)(44,124)(45,345)(46,349)(48,362)(49,84)(50,103)(51,380)(52,86)(53,158)(54,393)(55,176)(56,407)(57,90)(58,66)(60,428)(61,177)(62,260)(63,441)(64,447)(67,221)(69,384)(70,382)(71,206)(72,485)(73,491)(74,500)(75,503)(77,367)(78,222)(79,189)(80,263)(81,518)(82,283)(83,525)(85,414)(87,537)(89,398)(91,545)(92,540)(93,558)(94,135)(95,233)(96,538)(97,167)(98,464)(100,190)(101,394)(102,253)(104,306)(105,590)(106,449)(107,291)(108,595)(109,603)(110,465)(112,469)(113,272)(115,614)(116,570)(117,623)(119,199)(121,633)(123,354)(125,458)(126,201)(128,433)(129,410)(130,644)(131,654)(132,656)(133,166)(134,533)(136,666)(137,668)(138,146)(139,541)(140,200)(141,179)(142,679)(143,681)(144,618)(145,686)(147,665)(148,691)(149,567)(150,675)(151,684)(152,265)(153,352)(154,697)(155,560)(156,240)(159,331)(161,475)(162,672)(163,709)(164,494)(168,267)(169,434)(170,378)(171,489)(172,705)(173,671)(174,273)(175,210)(178,696)(180,624)(182,389)(184,320)(186,408)(187,399)(191,342)(192,406)(193,228)(194,637)(195,542)(196,733)(197,744)(198,355)(202,269)(203,569)(204,601)(205,683)(207,643)(208,276)(209,670)(211,246)(213,627)(214,720)(215,356)(216,756)(218,366)(219,641)(220,279)(223,761)(224,589)(225,254)(226,673)(227,234)(229,478)(232,530)(235,376)(236,409)(238,474)(239,472)(241,513)(242,774)(243,385)(245,516)(248,480)(249,578)(250,651)(252,769)(255,460)(256,504)(257,292)(258,602)(259,517)(262,772)(264,432)(266,396)(268,495)(271,437)(274,565)(275,417)(277,287)(278,736)(280,715)(281,752)(282,562)(284,638)(285,411)(288,535)(289,743)(290,559)(293,305)(296,427)(297,557)(298,552)(299,657)(300,364)(301,307)(302,778)(303,326)(304,630)(308,563)(309,594)(310,765)(312,790)(313,482)(314,588)(315,532)(316,731)(318,781)(319,473)(321,773)(322,365)(323,369)(324,796)(325,402)(328,768)(329,493)(330,711)(332,586)(333,361)(334,440)(335,598)(336,632)(337,726)(338,527)(339,514)(340,640)(341,439)(343,467)(344,454)(346,730)(347,582)(348,528)(350,597)(351,529)(353,566)(357,551)(358,579)(359,576)(360,508)(363,703)(368,544)(370,583)(371,584)(372,424)(373,794)(374,581)(375,536)(377,524)(379,721)(381,755)(383,762)(386,457)(387,443)(388,617)(390,704)(391,520)(392,635)(395,763)(397,780)(400,534)(401,496)(403,625)(404,488)(405,784)(412,751)(413,547)(415,561)(416,714)(418,747)(419,450)(420,693)(421,712)(422,448)(423,429)(425,616)(426,587)(430,800)(435,519)(436,688)(438,748)(442,724)(444,729)(445,626)(446,461)(451,734)(452,515)(453,653)(455,476)(456,502)(459,484)(462,739)(463,522)(466,676)(468,767)(470,546)(471,580)(477,506)(481,680)(483,787)(486,663)(487,490)(492,702)(497,600)(498,700)(499,549)(501,699)(505,706)(507,792)(509,568)(510,690)(511,613)(512,606)(521,596)(523,718)(531,760)(539,610)(543,604)(548,689)(550,771)(553,694)(554,798)(555,593)(556,646)(564,692)(571,620)(572,779)(573,628)(575,732)(577,789)(585,687)(591,783)(592,669)(599,661)(605,611)(607,622)(608,615)(609,758)(619,629)(631,710)(634,708)(636,797)(639,795)(642,655)(645,749)(647,770)(648,677)(649,742)(650,662)(652,791)(658,719)(659,764)(660,786)(664,725)(667,685)(674,745)(682,746)(695,728)(698,753)(701,717)(707,716)(713,750)(722,740)(723,782)(735,793)(737,741)(738,754)(766,777)(775,776)(785,799) );
 
Copy content sage:G = PermutationGroup(['(1,2,9,70,316,630,261,525,588,121,231,649,7,14,75,432,576,119,78,377,443,475,366,154)(3,21,107,236,106,45,341,373,566,435,587,262,26,180,436,725,271,301,439,369,380,411,658,528)(4,33,264,637,593,289,676,398,550,771,156,511,37,269,382,266,631,339,533,166,620,571,195,507)(5,42,295,47,46,321,773,349)(6,53,140,672,701,654,359,330,355,502,668,254,58,268,558,781,505,183,731,796,241,429,767,627)(8,66,452,239,49,242,547,768,363,325,288,723,65,59,296,758,351,182,730,580,404,245,521,783)(10,82,112,480,317,294,555,491,673,130,422,670,87,35,282,457,657,305,710,487,365,20,170,684)(11,93,500,427,275,538,610,601,751,335,38,201,98,200,549,515,428,90,545,481,367,789,122,24)(12,105,255,474,581,586,61,431,323,115,603,220,110,589,760,125,643,186,142,678,794,334,702,30)(13,117,347,641,207,458,376,135,662,496,625,592,120,622,102,237,374,238,167,94,560,775,686,687)(15,131,396,559,499,158,362,209,129,644,441,225,68,23,194,297,74,495,597,151,19,160,450,213)(16,139,504,198,389,647,632,596,32,256,175,187,126,608,80,513,774,149,124,535,222,263,653,22)(17,147,636,761,642,420,614,309,313,409,219,97,127,405,300,696,733,64,440,732,337,664,29,235)(18,153,253,449,786,766,86,114,611,168,285,298,128,103,582,437,397,497,123,574,570,540,519,40)(25,206,177,724,523,604,556,394,447,51,375,400,211,434,679,442,357,714,681,779,693,353,340,795)(27,223,563,111,416,747,600,618,744,415,799,116,217,178,171,465,543,260,777,179,234,493,785,605)(28,228,764,88,399,202,674,787,327,199,591,184,218,462,763,537,188,270,683,381,303,304,782,735)(31,247,191,56,403,343,348,92,536,71,476,291,221,759,738,138,145,666,772,267,640,169,712,688)(34,276,472,41,315,716,615,83,204,539,387,613,278,113,609,299,695,214,541,524,680,91,314,792)(36,290,318,277,293,557,162,391)(39,302,62,310,216,463,345,621,791,445,646,750,118,626,418,546,564,132,307,788,705,778,143,229)(43,324,210,286,721,490,752,287,532,386,84,456,326,711,453,283,390,73,486,520,728,248,529,423)(44,333,346,755,468,473,265,466,395,165,494,506,336,749,413,483,137,638,249,134,659,410,689,517)(48,358,739,133,240,633,484,477,451,562,720,464,350,667,193,89,542,161,72,259,69,469,707,99)(50,368,617,461,146,258,197,246,534,329,612,155,352,85,370,737,407,243,227,212,639,561,727,650)(52,383,652,607,544,722,360,159,460,408,455,619,354,762,172,623,414,746,530,651,531,332,421,444)(54,215,753,196,573,669,800,279,192,740,635,691,392,81,501,655,104,585,798,244,338,682,393,189)(55,322,548,790,57,412,516,361,567,734,704,514,344,226,164,371,96,77,402,645,770,384,379,743)(60,424,378,579,742,320,459,312,708,419,284,208,417,634,448,685,697,793,485,584,372,63,319,272)(67,438,665,250,163,356,157,401,602,150,692,482,251,748,784,331,616,518,433,776,385,648,756,726)(76,205,328,292,565,488,577,185,152,454,281,717,503,745,471,274,257,703,598,736,578,176,663,706)(79,508,797,624,629,141,675,769,230,718,590,709,148,232,364,181,729,144,677,280,757,551,224,425)(95,426,606,311,699,489,527,388,173,101,306,467,512,719,233,552,698,308,406,583,509,572,628,136)(100,575,656,660,470,715,510,754,190,109,599,446,108,594,522,780,765,252,690,342,595,492,498,741)(174,569,479,203,273,694,526,553)(430,700,671,478,554,661,568,713)', '(1,3,22,31,7,26,187,221)(2,10,83,522,14,87,524,656)(4,34,185,38,37,278,736,122)(5,43,325,513,46,326,245,198)(6,54,133,653,58,392,89,175)(8,67,399,217,65,251,188,27)(9,71,385,634,75,169,602,424)(11,94,464,114,98,135,99,574)(12,106,533,367,110,271,676,751)(13,118,24,126,120,39,201,16)(15,132,377,537,68,463,525,88)(17,148,174,189,127,79,273,691)(18,154,696,647,128,649,761,149)(19,161,378,295,129,633,448,773)(20,171,552,255,130,563,311,760)(21,176,142,70,180,454,61,432)(23,183,732,594,131,654,309,575)(25,207,618,236,211,374,179,725)(28,229,669,530,218,750,585,360)(29,45,342,684,219,301,754,670)(30,101,578,202,220,572,152,270)(32,257,680,730,222,565,204,547)(33,265,779,279,269,249,394,244)(35,283,254,225,82,286,627,213)(36,291,689,266,293,688,494,637)(40,308,644,460,298,489,160,531)(41,277,405,579,299,391,147,685)(42,170,475,165,321,422,121,410)(44,334,792,414,336,115,613,544)(47,355,516,303,349,241,402,327)(48,359,190,306,350,731,595,628)(49,365,778,192,351,673,445,338)(50,369,593,728,352,373,631,532)(51,376,716,755,353,167,214,483)(52,384,797,284,354,734,364,319)(53,386,722,136,268,248,746,467)(55,181,264,177,344,624,382,679)(56,404,417,709,138,363,60,425)(57,137,390,765,96,468,721,470)(59,210,398,635,66,453,166,393)(62,73,487,747,418,490,491,260)(63,282,233,768,419,112,606,580)(64,443,674,150,420,588,683,648)(69,86,473,300,451,123,638,636)(72,482,556,671,484,726,681,568)(74,496,718,717,499,775,551,706)(76,372,258,434,503,708,243,206)(77,134,449,111,412,466,437,465)(78,346,481,292,261,413,601,274)(80,514,408,253,504,743,332,582)(81,340,330,733,215,375,796,642)(84,527,626,226,529,406,302,322)(85,507,440,124,368,511,614,632)(90,546,379,767,538,310,704,668)(91,550,371,228,539,620,790,462)(92,540,534,795,267,168,639,400)(93,557,116,389,200,290,605,774)(95,562,441,471,512,469,450,328)(97,566,381,707,235,380,787,720)(100,576,362,573,108,316,597,104)(102,186,339,263,347,586,289,256)(103,315,710,794,153,695,555,323)(105,561,427,764,589,329,515,763)(107,294,194,164,436,305,396,548)(109,600,535,798,492,777,596,800)(113,272,461,741,276,208,737,446)(117,519,541,195,622,285,615,156)(119,629,672,752,630,729,781,486)(125,159,250,238,474,651,331,458)(139,435,623,240,608,411,607,542)(140,182,570,297,558,242,611,559)(141,581,246,409,144,643,212,664)(143,337,459,173,646,313,485,509)(145,184,604,335,403,735,714,789)(146,163,275,488,407,616,428,703)(151,191,345,237,209,738,307,641)(155,678,560,724,650,431,662,442)(157,567,223,742,433,770,178,697)(158,343,682,480,495,666,740,457)(162,619,199,663,318,444,304,281)(172,715,197,423,652,252,227,456)(193,584,771,545,739,312,571,610)(196,711,640,518,655,324,536,356)(203,216,712,397,553,564,476,786)(205,314,693,675,745,387,447,677)(224,659,296,415,590,395,452,493)(230,259,383,506,757,477,762,517)(231,508,687,713,366,232,592,478)(234,769,791,429,744,280,705,502)(239,748,609,612,758,438,472,727)(247,591,341,723,759,782,439,783)(262,370,700,645,528,617,661,361)(287,317,667,665,520,657,358,784)(288,497,603,430,521,766,702,554)(320,686,577,416,793,625,598,543)(333,599,388,348,749,498,583,772)(357,776,549,701,523,401,500,505)(421,756,569,660,455,692,694,780)(426,785,658,526,719,799,587,479)(501,621,699,510,753,788,698,690)', '(1,4,5,7,37,46)(2,11,95,14,98,512)(3,23,195,26,131,156)(6,55,132,58,344,463)(8,38,47,65,122,349)(9,72,483,75,484,755)(10,84,528,87,529,262)(12,107,449,110,436,437)(13,43,293,120,326,36)(15,99,233,68,464,606)(16,140,643,126,558,581)(17,127)(18,21,177,128,180,679)(19,162,461,129,318,737)(20,172,686,130,652,625)(22,184,613,187,735,792)(24,200,207,201,93,374)(25,208,657,211,272,317)(27,183,542,217,654,240)(28,80,515,218,504,427)(29,236,745,219,725,205)(30,241,290,220,355,557)(31,248,77,221,386,412)(32,258,133,222,243,89)(33,266,400,269,637,795)(34,42,69,278,321,451)(35,82)(39,303,294,118,327,305)(40,309,358,298,732,667)(41,212,276,299,246,113)(44,335,319,336,789,284)(45,343,119,301,666,630)(48,360,137,350,530,468)(49,348,537,351,772,88)(50,370,620,352,617,550)(51,377,462,353,525,228)(52,158,443,354,495,588)(53,387,123,268,314,86)(54,390,239,392,721,758)(56,405,519,138,147,285)(57,413,105,96,346,589)(59,176,656,66,454,522)(60,255,267,417,760,92)(61,433,624,142,157,181)(62,389,81,418,774,215)(63,226,600,419,322,777)(64,444,675,420,619,677)(67,457,751,251,480,367)(70,470,282,432,765,112)(71,477,192,169,259,338)(73,488,797,490,703,364)(74,397,599,499,786,498)(76,485,787,503,459,381)(78,385,398,261,602,166)(79,509,505,148,173,701)(83,193,380,524,739,566)(85,330,191,368,796,738)(90,547,590,538,730,224)(91,551,646,539,718,143)(94,439,438,135,341,748)(97,567,108,235,770,100)(101,378,520,572,448,287)(102,580,584,347,768,312)(103,583,571,153,388,771)(104,586,782,573,186,591)(106,465,688,271,111,291)(109,601,369,492,481,373)(114,612,757,574,727,230)(115,423,733,334,456,642)(116,616,607,605,163,623)(117,570,425,622,611,709)(121,475)(124,598,473,632,577,638)(125,578,281,474,152,663)(134,227,179,466,197,618)(136,304,345,467,199,307)(139,340,159,608,375,651)(141,676,744,144,533,234)(145,644,791,403,160,705)(146,665,411,407,784,435)(149,595,376,647,190,167)(150,693,629,648,447,729)(151,171,714,209,563,604)(154,302,493,649,626,415)(155,694,223,650,569,178)(161,633)(164,280,722,548,769,746)(165,672,446,410,781,741)(168,275,531,540,428,460)(170,391,779,422,277,394)(174,383,442,273,762,724)(175,576,313,653,316,337)(182,518,747,242,356,260)(185,295,384,736,773,734)(188,320,511,399,793,507)(189,568,706,691,671,717)(194,639,270,396,534,202)(196,440,502,655,614,429)(198,297,244,513,559,279)(203,696,560,553,761,662)(204,323,702,680,794,603)(206,506,406,434,517,527)(210,359,482,453,731,726)(213,225)(214,749,424,716,333,634)(216,713,315,564,478,695)(229,728,756,750,532,692)(231,263,452,366,256,296)(232,767,362,508,668,597)(237,409,674,641,664,683)(238,265,486,458,249,752)(245,325)(247,431,479,759,678,526)(250,541,640,331,615,536)(252,682,494,715,740,689)(253,471,371,582,328,790)(254,627)(257,776,669,565,401,585)(264,310,469,382,546,562)(274,496,687,292,775,592)(283,286)(288,764,743,521,763,514)(289,596,395,339,535,659)(300,491,404,636,487,363)(306,332,723,628,408,783)(308,543,684,489,416,670)(311,594,579,552,575,685)(324,754,414,711,342,544)(329,742,445,561,697,778)(357,556,610,523,681,545)(361,708,720,645,372,707)(365,766,441,673,497,450)(379,609,393,704,472,635)(402,516)(421,455)(426,554,593,719,430,631)(476,712)(500,780,661,549,660,700)(501,753)(510,690)(555,658,800,710,587,798)(621,788)(698,699)(785,799)', '(1,5,44)(2,12,108)(3,24,179)(4,35,284)(6,56,406)(7,46,336)(8,47,124)(9,73,489)(10,85,531)(11,96,215)(13,119,206)(14,110,100)(15,111,595)(16,141,27)(18,155,699)(19,163,253)(20,173,238)(21,178,694)(22,185,627)(23,196,743)(25,209,750)(26,201,618)(28,194,529)(29,210,714)(30,242,167)(31,249,331)(32,259,776)(33,267,123)(34,213,188)(36,292,463)(37,82,319)(38,286,638)(39,304,169)(40,239,524)(41,316,72)(42,320,451)(43,285,602)(45,344,166)(48,361,663)(49,366,266)(50,371,591)(51,378,150)(52,202,540)(53,342,452)(54,391,545)(55,398,301)(57,81,98)(58,138,527)(59,407,192)(60,426,256)(62,436,492)(63,440,197)(64,445,390)(65,349,632)(66,146,338)(67,152,651)(68,465,190)(69,321,793)(70,471,769)(71,118,199)(74,497,542)(75,490,308)(76,491,171)(77,505,232)(78,506,496)(79,424,541)(80,275,658)(83,298,758)(84,218,396)(86,269,92)(87,368,460)(88,414,760)(89,307,176)(90,518,464)(91,393,520)(93,322,521)(95,559,601)(97,244,774)(99,538,356)(101,579,415)(102,165,709)(103,584,783)(104,282,623)(105,198,449)(106,590,355)(107,109,418)(112,607,573)(113,409,797)(114,247,479)(115,234,450)(116,617,746)(117,306,562)(120,630,434)(122,283,473)(125,644,568)(126,144,217)(128,650,698)(129,616,582)(130,509,458)(131,655,514)(132,293,274)(133,345,454)(134,660,764)(136,665,585)(137,145,375)(139,189,372)(140,673,535)(143,594,629)(147,687,666)(148,634,615)(149,323,547)(151,229,211)(153,312,723)(154,551,462)(156,549,777)(157,560,501)(158,191,515)(159,251,578)(160,671,474)(162,550,765)(164,186,737)(168,354,270)(170,675,380)(172,716,248)(174,438,762)(175,416,237)(180,223,569)(181,696,553)(182,376,220)(183,733,289)(184,734,295)(187,736,254)(193,742,523)(195,500,600)(200,226,288)(203,624,761)(204,233,290)(205,692,787)(207,429,661)(208,725,300)(212,670,713)(214,386,652)(216,755,674)(219,453,604)(221,265,250)(222,477,401)(224,241,271)(225,399,278)(227,419,614)(228,649,718)(230,431,788)(231,637,351)(235,279,389)(236,636,272)(240,499,766)(243,303,435)(246,684,478)(252,382,580)(255,537,544)(257,522,294)(258,327,411)(260,688,702)(261,517,775)(262,443,710)(263,417,719)(264,768,715)(268,754,296)(273,748,383)(276,664,364)(277,610,392)(280,432,328)(281,350,645)(287,539,635)(291,603,747)(297,481,512)(299,576,484)(302,379,693)(305,565,656)(309,619,681)(310,672,771)(311,472,377)(313,488,315)(314,593,348)(317,731,485)(318,620,470)(324,430,400)(326,519,385)(329,779,667)(330,798,639)(332,446,689)(333,486,362)(334,744,441)(337,703,695)(339,654,642)(340,468,403)(341,442,510)(343,405,592)(346,770,373)(347,410,425)(352,790,782)(353,448,648)(357,739,697)(358,561,394)(359,459,657)(360,751,717)(363,728,726)(365,596,558)(367,706,530)(369,413,567)(370,722,605)(374,502,700)(381,745,756)(384,773,735)(387,631,772)(388,682,570)(395,676,397)(404,532,482)(408,741,494)(412,701,508)(420,778,721)(422,677,566)(423,599,643)(427,495,738)(428,587,504)(433,662,753)(437,589,513)(439,724,690)(444,556,732)(447,626,704)(456,498,581)(457,791,720)(461,548,586)(466,780,763)(467,784,669)(469,622,628)(480,705,707)(483,683,564)(487,563,503)(493,572,685)(525,552,609)(526,574,759)(528,588,555)(533,786,659)(534,796,800)(536,668,686)(543,641,653)(546,781,571)(554,795,711)(557,680,606)(575,729,646)(583,740,611)(597,749,752)(608,691,708)(621,757,678)(625,640,767)(647,794,730)', '(1,6,57,7,58,96)(2,13,105,14,120,589)(3,25,210,26,211,453)(4,36,100,37,293,108)(5,45,95,46,301,512)(8,68,89,65,15,133)(9,74,498,75,499,599)(10,86,534,87,123,639)(11,97,344,98,235,55)(12,109,602,110,492,385)(16,142,41,126,61,299)(17,127)(18,156,485,128,195,459)(19,164,470,129,548,765)(20,174,468,130,273,137)(21,179,726,180,618,482)(22,186,729,187,586,629)(23,197,201,131,227,24)(27,144,316,217,141,576)(28,230,314,218,757,387)(29,178,655,219,223,196)(30,243,66,220,258,59)(31,250,350,221,331,48)(32,260,259,222,747,477)(33,268,760,269,53,255)(34,277,628,278,391,306)(35,285,513,82,519,198)(38,290,192,122,557,338)(39,305,111,118,294,465)(40,310,321,298,546,42)(43,119,463,326,630,132)(44,261,774,336,78,389)(47,356,522,349,518,656)(49,354,540,351,52,168)(50,104,328,352,573,471)(51,379,737,353,704,461)(54,170,358,392,422,667)(56,244,297,138,279,559)(60,427,194,417,515,396)(62,437,292,418,449,274)(63,209,569,419,151,694)(64,446,672,420,741,781)(67,458,668,251,238,767)(69,390,768,451,721,580)(70,472,493,432,609,415)(71,464,454,169,99,176)(72,484)(73,237,113,490,641,276)(76,317,466,503,657,134)(77,145,686,412,403,625)(79,510,708,148,690,372)(80,400,84,504,795,529)(81,517,601,215,506,481)(83,523,445,524,357,778)(85,443,414,368,588,544)(88,330,479,537,796,526)(90,323,595,538,794,190)(91,552,591,539,311,782)(92,528,574,267,262,114)(93,272,177,200,208,679)(94,281,265,135,663,249)(101,287,607,572,520,623)(102,562,394,347,469,779)(103,507,556,153,511,681)(106,303,283,271,327,286)(107,319,206,436,284,434)(112,525,384,282,377,734)(115,542,543,334,240,416)(116,605)(117,388,380,622,583,566)(121,475)(124,547,304,632,730,199)(125,597,424,474,362,634)(136,411,680,467,435,204)(139,214,752,608,716,486)(140,674,289,558,683,339)(143,253,447,646,582,693)(146,585,590,407,669,224)(147,405)(149,257,345,647,565,307)(150,620,594,648,550,575)(152,457,340,578,480,375)(154,228,722,649,462,746)(155,700,487,650,661,491)(157,703,596,433,488,535)(158,431,430,495,678,554)(159,232,438,651,508,748)(160,691,530,644,189,360)(161,633)(162,302,736,318,626,185)(163,378,627,616,448,254)(165,225,677,410,213,675)(166,496,406,398,775,527)(167,665,473,376,784,638)(171,500,205,563,549,745)(172,717,615,652,706,541)(173,720,505,509,707,701)(175,456,203,653,423,553)(181,664,766,624,409,497)(182,233,241,242,606,355)(183,560,713,654,662,478)(184,371,685,735,790,579)(188,329,570,399,561,611)(191,631,428,738,593,275)(193,494,793,739,689,320)(202,727,266,270,612,637)(207,359,381,374,731,787)(212,365,395,246,673,659)(216,337,684,564,313,670)(226,300,236,322,636,725)(229,743,532,750,514,728)(231,366)(234,761,489,744,696,308)(239,382,332,758,264,408)(245,325)(247,754,531,759,342,460)(248,724,671,386,442,568)(252,742,771,715,697,571)(256,658,621,263,587,788)(280,635,773,769,393,295)(288,521)(291,688)(296,555,798,452,710,800)(309,783,312,732,723,584)(315,676,642,695,533,733)(324,719,348,711,426,772)(333,341,751,749,439,367)(335,592,369,789,687,373)(343,567,346,666,770,413)(361,645)(363,440,604,404,614,714)(364,581,441,797,643,450)(370,718,792,617,551,613)(383,791,536,762,705,640)(397,501,483,786,753,755)(401,598,702,776,577,603)(402,516)(421,455)(425,545,740,709,610,682)(429,780,600,502,660,777)(444,619)(476,712)(692,699,763,756,698,764)(785,799)', '(1,7)(2,14)(3,26)(4,37)(5,46)(6,58)(8,65)(9,75)(10,87)(11,98)(12,110)(13,120)(15,68)(16,126)(17,127)(18,128)(19,129)(20,130)(21,180)(22,187)(23,131)(24,201)(25,211)(27,217)(28,218)(29,219)(30,220)(31,221)(32,222)(33,269)(34,278)(35,82)(36,293)(38,122)(39,118)(40,298)(41,299)(42,321)(43,326)(44,336)(45,301)(47,349)(48,350)(49,351)(50,352)(51,353)(52,354)(53,268)(54,392)(55,344)(56,138)(57,96)(59,66)(60,417)(61,142)(62,418)(63,419)(64,420)(67,251)(69,451)(70,432)(71,169)(72,484)(73,490)(74,499)(76,503)(77,412)(78,261)(79,148)(80,504)(81,215)(83,524)(84,529)(85,368)(86,123)(88,537)(89,133)(90,538)(91,539)(92,267)(93,200)(94,135)(95,512)(97,235)(99,464)(100,108)(101,572)(102,347)(103,153)(104,573)(105,589)(106,271)(107,436)(109,492)(111,465)(112,282)(113,276)(114,574)(115,334)(116,605)(117,622)(119,630)(121,475)(124,632)(125,474)(132,463)(134,466)(136,467)(137,468)(139,608)(140,558)(141,144)(143,646)(145,403)(146,407)(147,405)(149,647)(150,648)(151,209)(152,578)(154,649)(155,650)(156,195)(157,433)(158,495)(159,651)(160,644)(161,633)(162,318)(163,616)(164,548)(165,410)(166,398)(167,376)(168,540)(170,422)(171,563)(172,652)(173,509)(174,273)(175,653)(176,454)(177,679)(178,223)(179,618)(181,624)(182,242)(183,654)(184,735)(185,736)(186,586)(188,399)(189,691)(190,595)(191,738)(192,338)(193,739)(194,396)(196,655)(197,227)(198,513)(199,304)(202,270)(203,553)(204,680)(205,745)(206,434)(207,374)(208,272)(210,453)(212,246)(213,225)(214,716)(216,564)(224,590)(226,322)(228,462)(229,750)(230,757)(231,366)(232,508)(233,606)(234,744)(236,725)(237,641)(238,458)(239,758)(240,542)(241,355)(243,258)(244,279)(245,325)(247,759)(248,386)(249,265)(250,331)(252,715)(253,582)(254,627)(255,760)(256,263)(257,565)(259,477)(260,747)(262,528)(264,382)(266,637)(274,292)(275,428)(277,391)(280,769)(281,663)(283,286)(284,319)(285,519)(287,520)(288,521)(289,339)(290,557)(291,688)(294,305)(295,773)(296,452)(297,559)(300,636)(302,626)(303,327)(306,628)(307,345)(308,489)(309,732)(310,546)(311,552)(312,584)(313,337)(314,387)(315,695)(316,576)(317,657)(320,793)(323,794)(324,711)(328,471)(329,561)(330,796)(332,408)(333,749)(335,789)(340,375)(341,439)(342,754)(343,666)(346,413)(348,772)(356,518)(357,523)(358,667)(359,731)(360,530)(361,645)(362,597)(363,404)(364,797)(365,673)(367,751)(369,373)(370,617)(371,790)(372,708)(377,525)(378,448)(379,704)(380,566)(381,787)(383,762)(384,734)(385,602)(388,583)(389,774)(390,721)(393,635)(394,779)(395,659)(397,786)(400,795)(401,776)(402,516)(406,527)(409,664)(411,435)(414,544)(415,493)(416,543)(421,455)(423,456)(424,634)(425,709)(426,719)(427,515)(429,502)(430,554)(431,678)(437,449)(438,748)(440,614)(441,450)(442,724)(443,588)(444,619)(445,778)(446,741)(447,693)(457,480)(459,485)(460,531)(461,737)(469,562)(470,765)(472,609)(473,638)(476,712)(478,713)(479,526)(481,601)(482,726)(483,755)(486,752)(487,491)(488,703)(494,689)(496,775)(497,766)(498,599)(500,549)(501,753)(505,701)(506,517)(507,511)(510,690)(514,743)(522,656)(532,728)(533,676)(534,639)(535,596)(536,640)(541,615)(545,610)(547,730)(550,620)(551,718)(555,710)(556,681)(560,662)(567,770)(568,671)(569,694)(570,611)(571,771)(575,594)(577,598)(579,685)(580,768)(581,643)(585,669)(587,658)(591,782)(592,687)(593,631)(600,777)(603,702)(604,714)(607,623)(612,727)(613,792)(621,788)(625,686)(629,729)(642,733)(660,780)(661,700)(665,784)(668,767)(670,684)(672,781)(674,683)(675,677)(682,740)(692,756)(696,761)(697,742)(698,699)(705,791)(706,717)(707,720)(722,746)(723,783)(763,764)(785,799)(798,800)', '(1,8)(2,15)(3,27)(4,38)(5,47)(6,59)(7,65)(9,76)(10,88)(11,99)(12,111)(13,118)(14,68)(16,24)(18,157)(19,165)(20,160)(21,181)(22,188)(23,183)(25,212)(26,217)(28,231)(29,237)(30,244)(31,251)(32,261)(33,270)(34,185)(35,286)(36,294)(37,122)(39,120)(40,311)(41,317)(42,295)(43,327)(44,124)(45,345)(46,349)(48,362)(49,84)(50,103)(51,380)(52,86)(53,158)(54,393)(55,176)(56,407)(57,90)(58,66)(60,428)(61,177)(62,260)(63,441)(64,447)(67,221)(69,384)(70,382)(71,206)(72,485)(73,491)(74,500)(75,503)(77,367)(78,222)(79,189)(80,263)(81,518)(82,283)(83,525)(85,414)(87,537)(89,398)(91,545)(92,540)(93,558)(94,135)(95,233)(96,538)(97,167)(98,464)(100,190)(101,394)(102,253)(104,306)(105,590)(106,449)(107,291)(108,595)(109,603)(110,465)(112,469)(113,272)(115,614)(116,570)(117,623)(119,199)(121,633)(123,354)(125,458)(126,201)(128,433)(129,410)(130,644)(131,654)(132,656)(133,166)(134,533)(136,666)(137,668)(138,146)(139,541)(140,200)(141,179)(142,679)(143,681)(144,618)(145,686)(147,665)(148,691)(149,567)(150,675)(151,684)(152,265)(153,352)(154,697)(155,560)(156,240)(159,331)(161,475)(162,672)(163,709)(164,494)(168,267)(169,434)(170,378)(171,489)(172,705)(173,671)(174,273)(175,210)(178,696)(180,624)(182,389)(184,320)(186,408)(187,399)(191,342)(192,406)(193,228)(194,637)(195,542)(196,733)(197,744)(198,355)(202,269)(203,569)(204,601)(205,683)(207,643)(208,276)(209,670)(211,246)(213,627)(214,720)(215,356)(216,756)(218,366)(219,641)(220,279)(223,761)(224,589)(225,254)(226,673)(227,234)(229,478)(232,530)(235,376)(236,409)(238,474)(239,472)(241,513)(242,774)(243,385)(245,516)(248,480)(249,578)(250,651)(252,769)(255,460)(256,504)(257,292)(258,602)(259,517)(262,772)(264,432)(266,396)(268,495)(271,437)(274,565)(275,417)(277,287)(278,736)(280,715)(281,752)(282,562)(284,638)(285,411)(288,535)(289,743)(290,559)(293,305)(296,427)(297,557)(298,552)(299,657)(300,364)(301,307)(302,778)(303,326)(304,630)(308,563)(309,594)(310,765)(312,790)(313,482)(314,588)(315,532)(316,731)(318,781)(319,473)(321,773)(322,365)(323,369)(324,796)(325,402)(328,768)(329,493)(330,711)(332,586)(333,361)(334,440)(335,598)(336,632)(337,726)(338,527)(339,514)(340,640)(341,439)(343,467)(344,454)(346,730)(347,582)(348,528)(350,597)(351,529)(353,566)(357,551)(358,579)(359,576)(360,508)(363,703)(368,544)(370,583)(371,584)(372,424)(373,794)(374,581)(375,536)(377,524)(379,721)(381,755)(383,762)(386,457)(387,443)(388,617)(390,704)(391,520)(392,635)(395,763)(397,780)(400,534)(401,496)(403,625)(404,488)(405,784)(412,751)(413,547)(415,561)(416,714)(418,747)(419,450)(420,693)(421,712)(422,448)(423,429)(425,616)(426,587)(430,800)(435,519)(436,688)(438,748)(442,724)(444,729)(445,626)(446,461)(451,734)(452,515)(453,653)(455,476)(456,502)(459,484)(462,739)(463,522)(466,676)(468,767)(470,546)(471,580)(477,506)(481,680)(483,787)(486,663)(487,490)(492,702)(497,600)(498,700)(499,549)(501,699)(505,706)(507,792)(509,568)(510,690)(511,613)(512,606)(521,596)(523,718)(531,760)(539,610)(543,604)(548,689)(550,771)(553,694)(554,798)(555,593)(556,646)(564,692)(571,620)(572,779)(573,628)(575,732)(577,789)(585,687)(591,783)(592,669)(599,661)(605,611)(607,622)(608,615)(609,758)(619,629)(631,710)(634,708)(636,797)(639,795)(642,655)(645,749)(647,770)(648,677)(649,742)(650,662)(652,791)(658,719)(659,764)(660,786)(664,725)(667,685)(674,745)(682,746)(695,728)(698,753)(701,717)(707,716)(713,750)(722,740)(723,782)(735,793)(737,741)(738,754)(766,777)(775,776)(785,799)'])
 
Matrix group:$\left\langle \left(\begin{array}{rrrr} 6 & 3 & 5 & 3 \\ 5 & 4 & 4 & 5 \\ 4 & 2 & 4 & 4 \\ 6 & 4 & 2 & 2 \end{array}\right), \left(\begin{array}{rrrr} 6 & 2 & 1 & 2 \\ 1 & 6 & 1 & 1 \\ 5 & 6 & 0 & 5 \\ 3 & 5 & 6 & 0 \end{array}\right), \left(\begin{array}{rrrr} 3 & 1 & 5 & 0 \\ 6 & 4 & 0 & 2 \\ 0 & 0 & 4 & 1 \\ 0 & 0 & 6 & 3 \end{array}\right), \left(\begin{array}{rrrr} 6 & 0 & 0 & 0 \\ 0 & 6 & 0 & 0 \\ 0 & 0 & 6 & 0 \\ 0 & 0 & 0 & 6 \end{array}\right), \left(\begin{array}{rrrr} 1 & 6 & 6 & 1 \\ 5 & 3 & 4 & 6 \\ 0 & 0 & 1 & 1 \\ 0 & 0 & 2 & 3 \end{array}\right), \left(\begin{array}{rrrr} 6 & 0 & 0 & 3 \\ 0 & 1 & 6 & 0 \\ 0 & 1 & 0 & 0 \\ 6 & 0 & 0 & 2 \end{array}\right), \left(\begin{array}{rrrr} 5 & 6 & 0 & 0 \\ 2 & 4 & 2 & 6 \\ 2 & 2 & 5 & 1 \\ 4 & 0 & 3 & 6 \end{array}\right) \right\rangle \subseteq \GL_{4}(\F_{7})$
Copy content comment:Define the group as a matrix group with coefficients in GLFp
 
Copy content magma:G := MatrixGroup< 4, GF(7) | [[6, 3, 5, 3, 5, 4, 4, 5, 4, 2, 4, 4, 6, 4, 2, 2], [6, 2, 1, 2, 1, 6, 1, 1, 5, 6, 0, 5, 3, 5, 6, 0], [3, 1, 5, 0, 6, 4, 0, 2, 0, 0, 4, 1, 0, 0, 6, 3], [6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 6], [1, 6, 6, 1, 5, 3, 4, 6, 0, 0, 1, 1, 0, 0, 2, 3], [6, 0, 0, 3, 0, 1, 6, 0, 0, 1, 0, 0, 6, 0, 0, 2], [5, 6, 0, 0, 2, 4, 2, 6, 2, 2, 5, 1, 4, 0, 3, 6]] >;
 
Copy content gap:G := Group([[[ Z(7)^3, Z(7), Z(7)^5, Z(7) ], [ Z(7)^5, Z(7)^4, Z(7)^4, Z(7)^5 ], [ Z(7)^4, Z(7)^2, Z(7)^4, Z(7)^4 ], [ Z(7)^3, Z(7)^4, Z(7)^2, Z(7)^2 ]], [[ Z(7)^3, Z(7)^2, Z(7)^0, Z(7)^2 ], [ Z(7)^0, Z(7)^3, Z(7)^0, Z(7)^0 ], [ Z(7)^5, Z(7)^3, 0*Z(7), Z(7)^5 ], [ Z(7), Z(7)^5, Z(7)^3, 0*Z(7) ]], [[ Z(7), Z(7)^0, Z(7)^5, 0*Z(7) ], [ Z(7)^3, Z(7)^4, 0*Z(7), Z(7)^2 ], [ 0*Z(7), 0*Z(7), Z(7)^4, Z(7)^0 ], [ 0*Z(7), 0*Z(7), Z(7)^3, Z(7) ]], [[ Z(7)^3, 0*Z(7), 0*Z(7), 0*Z(7) ], [ 0*Z(7), Z(7)^3, 0*Z(7), 0*Z(7) ], [ 0*Z(7), 0*Z(7), Z(7)^3, 0*Z(7) ], [ 0*Z(7), 0*Z(7), 0*Z(7), Z(7)^3 ]], [[ Z(7)^0, Z(7)^3, Z(7)^3, Z(7)^0 ], [ Z(7)^5, Z(7), Z(7)^4, Z(7)^3 ], [ 0*Z(7), 0*Z(7), Z(7)^0, Z(7)^0 ], [ 0*Z(7), 0*Z(7), Z(7)^2, Z(7) ]], [[ Z(7)^3, 0*Z(7), 0*Z(7), Z(7) ], [ 0*Z(7), Z(7)^0, Z(7)^3, 0*Z(7) ], [ 0*Z(7), Z(7)^0, 0*Z(7), 0*Z(7) ], [ Z(7)^3, 0*Z(7), 0*Z(7), Z(7)^2 ]], [[ Z(7)^5, Z(7)^3, 0*Z(7), 0*Z(7) ], [ Z(7)^2, Z(7)^4, Z(7)^2, Z(7)^3 ], [ Z(7)^2, Z(7)^2, Z(7)^5, Z(7)^0 ], [ Z(7)^4, 0*Z(7), Z(7), Z(7)^3 ]]]);
 
Copy content sage:MS = MatrixSpace(GF(7), 4, 4) G = MatrixGroup([MS([[6, 3, 5, 3], [5, 4, 4, 5], [4, 2, 4, 4], [6, 4, 2, 2]]), MS([[6, 2, 1, 2], [1, 6, 1, 1], [5, 6, 0, 5], [3, 5, 6, 0]]), MS([[3, 1, 5, 0], [6, 4, 0, 2], [0, 0, 4, 1], [0, 0, 6, 3]]), MS([[6, 0, 0, 0], [0, 6, 0, 0], [0, 0, 6, 0], [0, 0, 0, 6]]), MS([[1, 6, 6, 1], [5, 3, 4, 6], [0, 0, 1, 1], [0, 0, 2, 3]]), MS([[6, 0, 0, 3], [0, 1, 6, 0], [0, 1, 0, 0], [6, 0, 0, 2]]), MS([[5, 6, 0, 0], [2, 4, 2, 6], [2, 2, 5, 1], [4, 0, 3, 6]])])
 
Direct product: not computed
Semidirect product: not isomorphic to a non-trivial semidirect product
Trans. wreath product: not isomorphic to a non-trivial transitive wreath product
Possibly split product: $\SL(2,49)$ . $C_2^2$ $C_4$ . $\POMinus(4,7)$ $(\SL(2,49):C_2)$ . $C_2$ (2) $(\SL(2,49):C_2)$ . $C_2$ all 5

Elements of the group are displayed as matrices in $\GL_{4}(\F_{7})$.

Homology

Abelianization: $C_{2}^{2} $
Copy content comment:The abelianization of the group
 
Copy content magma:quo< G | CommutatorSubgroup(G) >;
 
Copy content gap:FactorGroup(G, DerivedSubgroup(G));
 
Copy content sage:G.quotient(G.commutator())
 
Schur multiplier: $C_{2}$
Copy content comment:The Schur multiplier of the group
 
Copy content gap:AbelianInvariantsMultiplier(G);
 
Copy content sage:G.homology(2)
 
Copy content sage_gap:G.AbelianInvariantsMultiplier()
 
Commutator length: $1$
Copy content comment:The commutator length of the group
 
Copy content gap:CommutatorLength(G);
 
Copy content sage_gap:G.CommutatorLength()
 

Subgroups

Copy content comment:List of subgroups of the group
 
Copy content magma:Subgroups(G);
 
Copy content gap:AllSubgroups(G);
 
Copy content sage:G.subgroups()
 
Copy content sage_gap:G.AllSubgroups()
 

There are 1297487 subgroups in 597 conjugacy classes, 8 normal (6 characteristic).

Characteristic subgroups are shown in this color. Normal (but not characteristic) subgroups are shown in this color.

Special subgroups

Center: $Z \simeq$ $C_2$ $G/Z \simeq$ $\PSL(2,49):C_2^2$
Copy content comment:Center of the group
 
Copy content magma:Center(G);
 
Copy content gap:Center(G);
 
Copy content sage:G.center()
 
Copy content sage_gap:G.Center()
 
Commutator: $G' \simeq$ $\SL(2,49)$ $G/G' \simeq$ $C_2^2$
Copy content comment:Commutator subgroup of the group G
 
Copy content magma:CommutatorSubgroup(G);
 
Copy content gap:DerivedSubgroup(G);
 
Copy content sage:G.commutator()
 
Copy content sage_gap:G.DerivedSubgroup()
 
Frattini: $\Phi \simeq$ $C_2$ $G/\Phi \simeq$ $\PSL(2,49):C_2^2$
Copy content comment:Frattini subgroup of the group G
 
Copy content magma:FrattiniSubgroup(G);
 
Copy content gap:FrattiniSubgroup(G);
 
Copy content sage:G.frattini_subgroup()
 
Copy content sage_gap:G.FrattiniSubgroup()
 
Fitting: $\operatorname{Fit} \simeq$ $C_4$ $G/\operatorname{Fit} \simeq$ $\POMinus(4,7)$
Copy content comment:Fitting subgroup of the group G
 
Copy content magma:FittingSubgroup(G);
 
Copy content gap:FittingSubgroup(G);
 
Copy content sage:G.fitting_subgroup()
 
Copy content sage_gap:G.FittingSubgroup()
 
Radical: $R \simeq$ $C_4$ $G/R \simeq$ $\POMinus(4,7)$
Copy content comment:Radical of the group G
 
Copy content magma:Radical(G);
 
Copy content gap:SolvableRadical(G);
 
Copy content sage_gap:G.SolvableRadical()
 
Socle: $\operatorname{soc} \simeq$ $C_2$ $G/\operatorname{soc} \simeq$ $\PSL(2,49):C_2^2$
Copy content comment:Socle of the group G
 
Copy content magma:Socle(G);
 
Copy content gap:Socle(G);
 
Copy content sage:G.socle()
 
Copy content sage_gap:G.Socle()
 
2-Sylow subgroup: $P_{ 2 } \simeq$ $D_{16}:C_2^2$
3-Sylow subgroup: $P_{ 3 } \simeq$ $C_3$
5-Sylow subgroup: $P_{ 5 } \simeq$ $C_{25}$
7-Sylow subgroup: $P_{ 7 } \simeq$ $C_7^2$

Subgroup diagram and profile

Series

Derived series $\SL(2,49).C_2^2$ $\rhd$ $\SL(2,49)$
Copy content comment:Derived series of the group GF
 
Copy content magma:DerivedSeries(G);
 
Copy content gap:DerivedSeriesOfGroup(G);
 
Copy content sage:G.derived_series()
 
Copy content sage_gap:G.DerivedSeriesOfGroup()
 
Chief series $\SL(2,49).C_2^2$ $\rhd$ $\SL(2,49):C_2$ $\rhd$ $C_4$ $\rhd$ $C_2$ $\rhd$ $C_1$
Copy content comment:Chief series of the group G
 
Copy content magma:ChiefSeries(G);
 
Copy content gap:ChiefSeries(G);
 
Copy content sage_gap:G.ChiefSeries()
 
Lower central series $\SL(2,49).C_2^2$ $\rhd$ $\SL(2,49)$
Copy content comment:The lower central series of the group G
 
Copy content magma:LowerCentralSeries(G);
 
Copy content gap:LowerCentralSeriesOfGroup(G);
 
Copy content sage:G.lower_central_series()
 
Copy content sage_gap:G.LowerCentralSeriesOfGroup()
 
Upper central series $C_1$ $\lhd$ $C_2$ $\lhd$ $C_4$
Copy content comment:The upper central series of the group G
 
Copy content magma:UpperCentralSeries(G);
 
Copy content gap:UpperCentralSeriesOfGroup(G);
 
Copy content sage:G.upper_central_series()
 
Copy content sage_gap:G.UpperCentralSeriesOfGroup()
 

Supergroups

This group is a maximal subgroup of 1 larger groups in the database.

This group is a maximal quotient of 1 larger groups in the database.

Character theory

Copy content comment:Character table
 
Copy content magma:CharacterTable(G); // Output not guaranteed to exactly match the LMFDB table
 
Copy content gap:CharacterTable(G); # Output not guaranteed to exactly match the LMFDB table
 
Copy content sage:G.character_table() # Output not guaranteed to exactly match the LMFDB table
 
Copy content sage_gap:G.CharacterTable() # Output not guaranteed to exactly match the LMFDB table
 

Complex character table

See the $80 \times 80$ character table. Alternatively, you may search for characters of this group with desired properties.

Rational character table

See the $46 \times 46$ rational character table.