Quelle grpprmcs.tst Sprache: unbekannt

#############################################################################
##
##  Exclude from testinstall.g as it takes considerable time.
##
gap> START_TEST("grpprmcs.tst");

# we don't want `DisplayCompositionSeries' to display the number of
# generators as this may differ, so we provide our own version of it.
gap> CustomDisplayCompositionSeries := function( S )
>   local   f,  i;
>   S := CompositionSeries( S );
>   Perform( S, Size );
>   Print( "Group\n" );
>   for i  in [2..Length(S)]  do
>     f:=Image(NaturalHomomorphismByNormalSubgroup(S[i-1],S[i]));
>     Print( " | ",IsomorphismTypeInfoFiniteSimpleGroup(f).name,"\n");
>     Print( "Group\n" );;
>   od;
> end;;

# missing (?):
# bbox
# dim8p3
# fi23.grp
# gl83.gen
# proba
# agl10.2
gap> g:=
> Group( (   1,   2)(   3,   4)(   5,   6)(   7,   8)(   9,  10)
> (  11,  12)(  13,  14)(  15,  16)(  17,  18)(  19,  20)(  21,  22)
> (  23,  24)(  25,  26)(  27,  28)(  29,  30)(  31,  32)(  33,  34)
> (  35,  36)(  37,  38)(  39,  40)(  41,  42)(  43,  44)(  45,  46)
> (  47,  48)(  49,  50)(  51,  52)(  53,  54)(  55,  56)(  57,  58)
> (  59,  60)(  61,  62)(  63,  64)(  65,  66)(  67,  68)(  69,  70)
> (  71,  72)(  73,  74)(  75,  76)(  77,  78)(  79,  80)(  81,  82)
> (  83,  84)(  85,  86)(  87,  88)(  89,  90)(  91,  92)(  93,  94)
> (  95,  96)(  97,  98)(  99, 100)( 101, 102)( 103, 104)( 105, 106)
> ( 107, 108)( 109, 110)( 111, 112)( 113, 114)( 115, 116)( 117, 118)
> ( 119, 120)( 121, 122)( 123, 124)( 125, 126)( 127, 128)( 129, 130)
> ( 131, 132)( 133, 134)( 135, 136)( 137, 138)( 139, 140)( 141, 142)
> ( 143, 144)( 145, 146)( 147, 148)( 149, 150)( 151, 152)( 153, 154)
> ( 155, 156)( 157, 158)( 159, 160)( 161, 162)( 163, 164)( 165, 166)
> ( 167, 168)( 169, 170)( 171, 172)( 173, 174)( 175, 176)( 177, 178)
> ( 179, 180)( 181, 182)( 183, 184)( 185, 186)( 187, 188)( 189, 190)
> ( 191, 192)( 193, 194)( 195, 196)( 197, 198)( 199, 200)( 201, 202)
> ( 203, 204)( 205, 206)( 207, 208)( 209, 210)( 211, 212)( 213, 214)
> ( 215, 216)( 217, 218)( 219, 220)( 221, 222)( 223, 224)( 225, 226)
> ( 227, 228)( 229, 230)( 231, 232)( 233, 234)( 235, 236)( 237, 238)
> ( 239, 240)( 241, 242)( 243, 244)( 245, 246)( 247, 248)( 249, 250)
> ( 251, 252)( 253, 254)( 255, 256)( 257, 258)( 259, 260)( 261, 262)
> ( 263, 264)( 265, 266)( 267, 268)( 269, 270)( 271, 272)( 273, 274)
> ( 275, 276)( 277, 278)( 279, 280)( 281, 282)( 283, 284)( 285, 286)
> ( 287, 288)( 289, 290)( 291, 292)( 293, 294)( 295, 296)( 297, 298)
> ( 299, 300)( 301, 302)( 303, 304)( 305, 306)( 307, 308)( 309, 310)
> ( 311, 312)( 313, 314)( 315, 316)( 317, 318)( 319, 320)( 321, 322)
> ( 323, 324)( 325, 326)( 327, 328)( 329, 330)( 331, 332)( 333, 334)
> ( 335, 336)( 337, 338)( 339, 340)( 341, 342)( 343, 344)( 345, 346)
> ( 347, 348)( 349, 350)( 351, 352)( 353, 354)( 355, 356)( 357, 358)
> ( 359, 360)( 361, 362)( 363, 364)( 365, 366)( 367, 368)( 369, 370)
> ( 371, 372)( 373, 374)( 375, 376)( 377, 378)( 379, 380)( 381, 382)
> ( 383, 384)( 385, 386)( 387, 388)( 389, 390)( 391, 392)( 393, 394)
> ( 395, 396)( 397, 398)( 399, 400)( 401, 402)( 403, 404)( 405, 406)
> ( 407, 408)( 409, 410)( 411, 412)( 413, 414)( 415, 416)( 417, 418)
> ( 419, 420)( 421, 422)( 423, 424)( 425, 426)( 427, 428)( 429, 430)
> ( 431, 432)( 433, 434)( 435, 436)( 437, 438)( 439, 440)( 441, 442)
> ( 443, 444)( 445, 446)( 447, 448)( 449, 450)( 451, 452)( 453, 454)
> ( 455, 456)( 457, 458)( 459, 460)( 461, 462)( 463, 464)( 465, 466)
> ( 467, 468)( 469, 470)( 471, 472)( 473, 474)( 475, 476)( 477, 478)
> ( 479, 480)( 481, 482)( 483, 484)( 485, 486)( 487, 488)( 489, 490)
> ( 491, 492)( 493, 494)( 495, 496)( 497, 498)( 499, 500)( 501, 502)
> ( 503, 504)( 505, 506)( 507, 508)( 509, 510)( 511, 512)( 513, 514)
> ( 515, 516)( 517, 518)( 519, 520)( 521, 522)( 523, 524)( 525, 526)
> ( 527, 528)( 529, 530)( 531, 532)( 533, 534)( 535, 536)( 537, 538)
> ( 539, 540)( 541, 542)( 543, 544)( 545, 546)( 547, 548)( 549, 550)
> ( 551, 552)( 553, 554)( 555, 556)( 557, 558)( 559, 560)( 561, 562)
> ( 563, 564)( 565, 566)( 567, 568)( 569, 570)( 571, 572)( 573, 574)
> ( 575, 576)( 577, 578)( 579, 580)( 581, 582)( 583, 584)( 585, 586)
> ( 587, 588)( 589, 590)( 591, 592)( 593, 594)( 595, 596)( 597, 598)
> ( 599, 600)( 601, 602)( 603, 604)( 605, 606)( 607, 608)( 609, 610)
> ( 611, 612)( 613, 614)( 615, 616)( 617, 618)( 619, 620)( 621, 622)
> ( 623, 624)( 625, 626)( 627, 628)( 629, 630)( 631, 632)( 633, 634)
> ( 635, 636)( 637, 638)( 639, 640)( 641, 642)( 643, 644)( 645, 646)
> ( 647, 648)( 649, 650)( 651, 652)( 653, 654)( 655, 656)( 657, 658)
> ( 659, 660)( 661, 662)( 663, 664)( 665, 666)( 667, 668)( 669, 670)
> ( 671, 672)( 673, 674)( 675, 676)( 677, 678)( 679, 680)( 681, 682)
> ( 683, 684)( 685, 686)( 687, 688)( 689, 690)( 691, 692)( 693, 694)
> ( 695, 696)( 697, 698)( 699, 700)( 701, 702)( 703, 704)( 705, 706)
> ( 707, 708)( 709, 710)( 711, 712)( 713, 714)( 715, 716)( 717, 718)
> ( 719, 720)( 721, 722)( 723, 724)( 725, 726)( 727, 728)( 729, 730)
> ( 731, 732)( 733, 734)( 735, 736)( 737, 738)( 739, 740)( 741, 742)
> ( 743, 744)( 745, 746)( 747, 748)( 749, 750)( 751, 752)( 753, 754)
> ( 755, 756)( 757, 758)( 759, 760)( 761, 762)( 763, 764)( 765, 766)
> ( 767, 768)( 769, 770)( 771, 772)( 773, 774)( 775, 776)( 777, 778)
> ( 779, 780)( 781, 782)( 783, 784)( 785, 786)( 787, 788)( 789, 790)
> ( 791, 792)( 793, 794)( 795, 796)( 797, 798)( 799, 800)( 801, 802)
> ( 803, 804)( 805, 806)( 807, 808)( 809, 810)( 811, 812)( 813, 814)
> ( 815, 816)( 817, 818)( 819, 820)( 821, 822)( 823, 824)( 825, 826)
> ( 827, 828)( 829, 830)( 831, 832)( 833, 834)( 835, 836)( 837, 838)
> ( 839, 840)( 841, 842)( 843, 844)( 845, 846)( 847, 848)( 849, 850)
> ( 851, 852)( 853, 854)( 855, 856)( 857, 858)( 859, 860)( 861, 862)
> ( 863, 864)( 865, 866)( 867, 868)( 869, 870)( 871, 872)( 873, 874)
> ( 875, 876)( 877, 878)( 879, 880)( 881, 882)( 883, 884)( 885, 886)
> ( 887, 888)( 889, 890)( 891, 892)( 893, 894)( 895, 896)( 897, 898)
> ( 899, 900)( 901, 902)( 903, 904)( 905, 906)( 907, 908)( 909, 910)
> ( 911, 912)( 913, 914)( 915, 916)( 917, 918)( 919, 920)( 921, 922)
> ( 923, 924)( 925, 926)( 927, 928)( 929, 930)( 931, 932)( 933, 934)
> ( 935, 936)( 937, 938)( 939, 940)( 941, 942)( 943, 944)( 945, 946)
> ( 947, 948)( 949, 950)( 951, 952)( 953, 954)( 955, 956)( 957, 958)
> ( 959, 960)( 961, 962)( 963, 964)( 965, 966)( 967, 968)( 969, 970)
> ( 971, 972)( 973, 974)( 975, 976)( 977, 978)( 979, 980)( 981, 982)
> ( 983, 984)( 985, 986)( 987, 988)( 989, 990)( 991, 992)( 993, 994)
> ( 995, 996)( 997, 998)( 999,1000)(1001,1002)(1003,1004)(1005,1006)
> (1007,1008)(1009,1010)(1011,1012)(1013,1014)(1015,1016)(1017,1018)
> (1019,1020)(1021,1022)(1023,1024), (257,513)(258,514)(259,515)(260,516)
> (261,517)(262,518)(263,519)(264,520)(265,521)(266,522)(267,523)
> (268,524)(269,525)(270,526)(271,527)(272,528)(273,529)(274,530)
> (275,531)(276,532)(277,533)(278,534)(279,535)(280,536)(281,537)
> (282,538)(283,539)(284,540)(285,541)(286,542)(287,543)(288,544)
> (289,545)(290,546)(291,547)(292,548)(293,549)(294,550)(295,551)
> (296,552)(297,553)(298,554)(299,555)(300,556)(301,557)(302,558)
> (303,559)(304,560)(305,561)(306,562)(307,563)(308,564)(309,565)
> (310,566)(311,567)(312,568)(313,569)(314,570)(315,571)(316,572)
> (317,573)(318,574)(319,575)(320,576)(321,577)(322,578)(323,579)
> (324,580)(325,581)(326,582)(327,583)(328,584)(329,585)(330,586)
> (331,587)(332,588)(333,589)(334,590)(335,591)(336,592)(337,593)
> (338,594)(339,595)(340,596)(341,597)(342,598)(343,599)(344,600)
> (345,601)(346,602)(347,603)(348,604)(349,605)(350,606)(351,607)
> (352,608)(353,609)(354,610)(355,611)(356,612)(357,613)(358,614)
> (359,615)(360,616)(361,617)(362,618)(363,619)(364,620)(365,621)
> (366,622)(367,623)(368,624)(369,625)(370,626)(371,627)(372,628)
> (373,629)(374,630)(375,631)(376,632)(377,633)(378,634)(379,635)
> (380,636)(381,637)(382,638)(383,639)(384,640)(385,641)(386,642)
> (387,643)(388,644)(389,645)(390,646)(391,647)(392,648)(393,649)
> (394,650)(395,651)(396,652)(397,653)(398,654)(399,655)(400,656)
> (401,657)(402,658)(403,659)(404,660)(405,661)(406,662)(407,663)
> (408,664)(409,665)(410,666)(411,667)(412,668)(413,669)(414,670)
> (415,671)(416,672)(417,673)(418,674)(419,675)(420,676)(421,677)
> (422,678)(423,679)(424,680)(425,681)(426,682)(427,683)(428,684)
> (429,685)(430,686)(431,687)(432,688)(433,689)(434,690)(435,691)
> (436,692)(437,693)(438,694)(439,695)(440,696)(441,697)(442,698)
> (443,699)(444,700)(445,701)(446,702)(447,703)(448,704)(449,705)
> (450,706)(451,707)(452,708)(453,709)(454,710)(455,711)(456,712)
> (457,713)(458,714)(459,715)(460,716)(461,717)(462,718)(463,719)
> (464,720)(465,721)(466,722)(467,723)(468,724)(469,725)(470,726)
> (471,727)(472,728)(473,729)(474,730)(475,731)(476,732)(477,733)
> (478,734)(479,735)(480,736)(481,737)(482,738)(483,739)(484,740)
> (485,741)(486,742)(487,743)(488,744)(489,745)(490,746)(491,747)
> (492,748)(493,749)(494,750)(495,751)(496,752)(497,753)(498,754)
> (499,755)(500,756)(501,757)(502,758)(503,759)(504,760)(505,761)
> (506,762)(507,763)(508,764)(509,765)(510,766)(511,767)(512,768),
> (   2,   3,   5,   9,  17,  33,  65, 129, 257, 513)(   4,   7,  13,
>    25,  49,  97, 193, 385, 769, 514)(   6,  11,  21,  41,  81, 161,
>   321, 641, 258, 515)(   8,  15,  29,  57, 113, 225, 449, 897, 770, 516
>  )(  10,  19,  37,  73, 145, 289, 577, 130, 259, 517)(  12,  23,  45,
>    89, 177, 353, 705, 386, 771, 518)(  14,  27,  53, 105, 209, 417,
>   833, 642, 260, 519)(  16,  31,  61, 121, 241, 481, 961, 898, 772, 520
>  )(  18,  35,  69, 137, 273, 545,  66, 131, 261, 521)(  20,  39,  77,
>   153, 305, 609, 194, 387, 773, 522)(  22,  43,  85, 169, 337, 673,
>   322, 643, 262, 523)(  24,  47,  93, 185, 369, 737, 450, 899, 774, 524
>  )(  26,  51, 101, 201, 401, 801, 578, 132, 263, 525)(  28,  55, 109,
>   217, 433, 865, 706, 388, 775, 526)(  30,  59, 117, 233, 465, 929,
>   834, 644, 264, 527)(  32,  63, 125, 249, 497, 993, 962, 900, 776, 528
>  )(  34,  67, 133, 265, 529)(  36,  71, 141, 281, 561,  98, 195, 389,
>   777, 530)(  38,  75, 149, 297, 593, 162, 323, 645, 266, 531)
> (  40,  79, 157, 313, 625, 226, 451, 901, 778, 532)(  42,  83, 165,
>   329, 657, 290, 579, 134, 267, 533)(  44,  87, 173, 345, 689, 354,
>   707, 390, 779, 534)(  46,  91, 181, 361, 721, 418, 835, 646, 268, 535
>  )(  48,  95, 189, 377, 753, 482, 963, 902, 780, 536)(  50,  99, 197,
>   393, 785, 546,  68, 135, 269, 537)(  52, 103, 205, 409, 817, 610,
>   196, 391, 781, 538)(  54, 107, 213, 425, 849, 674, 324, 647, 270, 539
>  )(  56, 111, 221, 441, 881, 738, 452, 903, 782, 540)(  58, 115, 229,
>   457, 913, 802, 580, 136, 271, 541)(  60, 119, 237, 473, 945, 866,
>   708, 392, 783, 542)(  62, 123, 245, 489, 977, 930, 836, 648, 272, 543
>  )(  64, 127, 253, 505,1009, 994, 964, 904, 784, 544)(  70, 139, 277,
>   553,  82, 163, 325, 649, 274, 547)(  72, 143, 285, 569, 114, 227,
>   453, 905, 786, 548)(  74, 147, 293, 585, 146, 291, 581, 138, 275, 549
>  )(  76, 151, 301, 601, 178, 355, 709, 394, 787, 550)(  78, 155, 309,
>   617, 210, 419, 837, 650, 276, 551)(  80, 159, 317, 633, 242, 483,
>   965, 906, 788, 552)(  84, 167, 333, 665, 306, 611, 198, 395, 789, 554
>  )(  86, 171, 341, 681, 338, 675, 326, 651, 278, 555)(  88, 175, 349,
>   697, 370, 739, 454, 907, 790, 556)(  90, 179, 357, 713, 402, 803,
>   582, 140, 279, 557)(  92, 183, 365, 729, 434, 867, 710, 396, 791, 558
>  )(  94, 187, 373, 745, 466, 931, 838, 652, 280, 559)(  96, 191, 381,
>   761, 498, 995, 966, 908, 792, 560)( 100, 199, 397, 793, 562)
> ( 102, 203, 405, 809, 594, 164, 327, 653, 282, 563)( 104, 207, 413,
>   825, 626, 228, 455, 909, 794, 564)( 106, 211, 421, 841, 658, 292,
>   583, 142, 283, 565)( 108, 215, 429, 857, 690, 356, 711, 398, 795, 566
>  )( 110, 219, 437, 873, 722, 420, 839, 654, 284, 567)( 112, 223, 445,
>   889, 754, 484, 967, 910, 796, 568)( 116, 231, 461, 921, 818, 612,
>   200, 399, 797, 570)( 118, 235, 469, 937, 850, 676, 328, 655, 286, 571
>  )( 120, 239, 477, 953, 882, 740, 456, 911, 798, 572)( 122, 243, 485,
>   969, 914, 804, 584, 144, 287, 573)( 124, 247, 493, 985, 946, 868,
>   712, 400, 799, 574)( 126, 251, 501,1001, 978, 932, 840, 656, 288, 575
>  )( 128, 255, 509,1017,1010, 996, 968, 912, 800, 576)( 148, 295, 589,
>   154, 307, 613, 202, 403, 805, 586)( 150, 299, 597, 170, 339, 677,
>   330, 659, 294, 587)( 152, 303, 605, 186, 371, 741, 458, 915, 806, 588
>  )( 156, 311, 621, 218, 435, 869, 714, 404, 807, 590)( 158, 315, 629,
>   234, 467, 933, 842, 660, 296, 591)( 160, 319, 637, 250, 499, 997,
>   970, 916, 808, 592)( 166, 331, 661, 298, 595)( 168, 335, 669, 314,
>   627, 230, 459, 917, 810, 596)( 172, 343, 685, 346, 691, 358, 715,
>   406, 811, 598)( 174, 347, 693, 362, 723, 422, 843, 662, 300, 599)
> ( 176, 351, 701, 378, 755, 486, 971, 918, 812, 600)( 180, 359, 717,
>   410, 819, 614, 204, 407, 813, 602)( 182, 363, 725, 426, 851, 678,
>   332, 663, 302, 603)( 184, 367, 733, 442, 883, 742, 460, 919, 814, 604
>  )( 188, 375, 749, 474, 947, 870, 716, 408, 815, 606)( 190, 379, 757,
>   490, 979, 934, 844, 664, 304, 607)( 192, 383, 765, 506,1011, 998,
>   972, 920, 816, 608)( 206, 411, 821, 618, 212, 423, 845, 666, 308, 615
>  )( 208, 415, 829, 634, 244, 487, 973, 922, 820, 616)( 214, 427, 853,
>   682, 340, 679, 334, 667, 310, 619)( 216, 431, 861, 698, 372, 743,
>   462, 923, 822, 620)( 220, 439, 877, 730, 436, 871, 718, 412, 823, 622
>  )( 222, 443, 885, 746, 468, 935, 846, 668, 312, 623)( 224, 447, 893,
>   762, 500, 999, 974, 924, 824, 624)( 232, 463, 925, 826, 628)
> ( 236, 471, 941, 858, 692, 360, 719, 414, 827, 630)( 238, 475, 949,
>   874, 724, 424, 847, 670, 316, 631)( 240, 479, 957, 890, 756, 488,
>   975, 926, 828, 632)( 246, 491, 981, 938, 852, 680, 336, 671, 318, 635
>  )( 248, 495, 989, 954, 884, 744, 464, 927, 830, 636)( 252, 503,1005,
>   986, 948, 872, 720, 416, 831, 638)( 254, 507,1013,1002, 980, 936,
>   848, 672, 320, 639)( 256, 511,1021,1018,1012,1000, 976, 928, 832, 640
>  )( 342, 683)( 344, 687, 350, 699, 374, 747, 470, 939, 854, 684)
> ( 348, 695, 366, 731, 438, 875, 726, 428, 855, 686)( 352, 703, 382,
>   763, 502,1003, 982, 940, 856, 688)( 364, 727, 430, 859, 694)
> ( 368, 735, 446, 891, 758, 492, 983, 942, 860, 696)( 376, 751, 478,
>   955, 886, 748, 472, 943, 862, 700)( 380, 759, 494, 987, 950, 876,
>   728, 432, 863, 702)( 384, 767, 510,1019,1014,1004, 984, 944, 864, 704
>  )( 440, 879, 734, 444, 887, 750, 476, 951, 878, 732)( 448, 895, 766,
>   508,1015,1006, 988, 952, 880, 736)( 480, 959, 894, 764, 504,1007,
>   990, 956, 888, 752)( 496, 991, 958, 892, 760)( 512,1023,1022,1020,
>  1016,1008, 992, 960, 896, 768), ( 257, 769)( 258, 770)( 259, 771)
> ( 260, 772)( 261, 773)( 262, 774)( 263, 775)( 264, 776)( 265, 777)
> ( 266, 778)( 267, 779)( 268, 780)( 269, 781)( 270, 782)( 271, 783)
> ( 272, 784)( 273, 785)( 274, 786)( 275, 787)( 276, 788)( 277, 789)
> ( 278, 790)( 279, 791)( 280, 792)( 281, 793)( 282, 794)( 283, 795)
> ( 284, 796)( 285, 797)( 286, 798)( 287, 799)( 288, 800)( 289, 801)
> ( 290, 802)( 291, 803)( 292, 804)( 293, 805)( 294, 806)( 295, 807)
> ( 296, 808)( 297, 809)( 298, 810)( 299, 811)( 300, 812)( 301, 813)
> ( 302, 814)( 303, 815)( 304, 816)( 305, 817)( 306, 818)( 307, 819)
> ( 308, 820)( 309, 821)( 310, 822)( 311, 823)( 312, 824)( 313, 825)
> ( 314, 826)( 315, 827)( 316, 828)( 317, 829)( 318, 830)( 319, 831)
> ( 320, 832)( 321, 833)( 322, 834)( 323, 835)( 324, 836)( 325, 837)
> ( 326, 838)( 327, 839)( 328, 840)( 329, 841)( 330, 842)( 331, 843)
> ( 332, 844)( 333, 845)( 334, 846)( 335, 847)( 336, 848)( 337, 849)
> ( 338, 850)( 339, 851)( 340, 852)( 341, 853)( 342, 854)( 343, 855)
> ( 344, 856)( 345, 857)( 346, 858)( 347, 859)( 348, 860)( 349, 861)
> ( 350, 862)( 351, 863)( 352, 864)( 353, 865)( 354, 866)( 355, 867)
> ( 356, 868)( 357, 869)( 358, 870)( 359, 871)( 360, 872)( 361, 873)
> ( 362, 874)( 363, 875)( 364, 876)( 365, 877)( 366, 878)( 367, 879)
> ( 368, 880)( 369, 881)( 370, 882)( 371, 883)( 372, 884)( 373, 885)
> ( 374, 886)( 375, 887)( 376, 888)( 377, 889)( 378, 890)( 379, 891)
> ( 380, 892)( 381, 893)( 382, 894)( 383, 895)( 384, 896)( 385, 897)
> ( 386, 898)( 387, 899)( 388, 900)( 389, 901)( 390, 902)( 391, 903)
> ( 392, 904)( 393, 905)( 394, 906)( 395, 907)( 396, 908)( 397, 909)
> ( 398, 910)( 399, 911)( 400, 912)( 401, 913)( 402, 914)( 403, 915)
> ( 404, 916)( 405, 917)( 406, 918)( 407, 919)( 408, 920)( 409, 921)
> ( 410, 922)( 411, 923)( 412, 924)( 413, 925)( 414, 926)( 415, 927)
> ( 416, 928)( 417, 929)( 418, 930)( 419, 931)( 420, 932)( 421, 933)
> ( 422, 934)( 423, 935)( 424, 936)( 425, 937)( 426, 938)( 427, 939)
> ( 428, 940)( 429, 941)( 430, 942)( 431, 943)( 432, 944)( 433, 945)
> ( 434, 946)( 435, 947)( 436, 948)( 437, 949)( 438, 950)( 439, 951)
> ( 440, 952)( 441, 953)( 442, 954)( 443, 955)( 444, 956)( 445, 957)
> ( 446, 958)( 447, 959)( 448, 960)( 449, 961)( 450, 962)( 451, 963)
> ( 452, 964)( 453, 965)( 454, 966)( 455, 967)( 456, 968)( 457, 969)
> ( 458, 970)( 459, 971)( 460, 972)( 461, 973)( 462, 974)( 463, 975)
> ( 464, 976)( 465, 977)( 466, 978)( 467, 979)( 468, 980)( 469, 981)
> ( 470, 982)( 471, 983)( 472, 984)( 473, 985)( 474, 986)( 475, 987)
> ( 476, 988)( 477, 989)( 478, 990)( 479, 991)( 480, 992)( 481, 993)
> ( 482, 994)( 483, 995)( 484, 996)( 485, 997)( 486, 998)( 487, 999)
> ( 488,1000)( 489,1001)( 490,1002)( 491,1003)( 492,1004)( 493,1005)
> ( 494,1006)( 495,1007)( 496,1008)( 497,1009)( 498,1010)( 499,1011)
> ( 500,1012)( 501,1013)( 502,1014)( 503,1015)( 504,1016)( 505,1017)
> ( 506,1018)( 507,1019)( 508,1020)( 509,1021)( 510,1022)( 511,1023)
> ( 512,1024) );;
gap> CustomDisplayCompositionSeries( g );
Group
| A(9,2) = L(10,2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
gap> List( ChiefSeriesOfGroup( g ), Size );
[ 375234700595146883504949480652800, 1024, 1 ]

# agl1103.gen
gap> perm1:= PermList( Concatenation( [ 2 .. 1103 ], [ 1 ] ) );;
gap> perm2:= PermList( List( [1 .. 1103 ], x -> (5*x mod 1103) +1 ) );;
gap> g:= Group( perm1, perm2 );;
gap> CustomDisplayCompositionSeries( g );
Group
| Z(2)
Group
| Z(19)
Group
| Z(29)
Group
| Z(1103)
Group
gap> List( ChiefSeriesOfGroup( g ), Size );
[ 1215506, 607753, 31987, 1103, 1 ]
gap> u:=NormalClosure(g,SylowSubgroup(g,2));;
gap> cs:=ChiefSeriesThrough(g,[u]);;
gap> List(cs,Size);
[ 1215506, 63974, 2206, 1103, 1 ]
gap> cs:=CompositionSeriesThrough(g,[u]);;
gap> List(cs,Size);
[ 1215506, 63974, 2206, 1103, 1 ]

# $Co_2$ on 2300 points
gap> g:=
> Group( (   1,   4)(   2,   7)(   5,  10)(   6,  12)(   8,  17)
> (  11,  18)(  13,  24)(  15,  25)(  16,  23)(  20,  30)(  21,  31)
> (  22,  33)(  26,  42)(  27,  45)(  28,  40)(  29,  41)(  34,  46)
> (  36,  60)(  37,  63)(  38,  52)(  43,  72)(  47,  49)(  48,  80)
> (  50,  84)(  51,  87)(  53,  69)(  54,  76)(  56,  77)(  57,  78)
> (  58, 104)(  59, 106)(  61, 109)(  62, 110)(  64, 116)(  65, 117)
> (  67,  82)(  68, 124)(  71, 129)(  73, 131)(  74,  90)(  79, 142)
> (  81, 146)(  83, 148)(  85, 151)(  86, 152)(  88, 155)(  89, 156)
> (  91, 126)(  92, 159)(  93, 164)(  94, 136)(  95, 137)(  97, 138)
> (  98, 171)( 100, 140)( 101, 141)( 103, 128)( 107, 178)( 108, 179)
> ( 111, 183)( 112, 193)( 113, 186)( 114, 187)( 115, 199)( 118, 201)
> ( 119, 204)( 120, 209)( 121, 130)( 122, 165)( 123, 215)( 125, 219)
> ( 127, 132)( 133, 224)( 134, 135)( 139, 228)( 143, 232)( 144, 233)
> ( 147, 241)( 149, 243)( 150, 244)( 153, 250)( 154, 251)( 157, 258)
> ( 158, 259)( 160, 265)( 161, 246)( 162, 264)( 163, 225)( 166, 271)
> ( 167, 276)( 168, 277)( 169, 279)( 170, 227)( 172, 281)( 173, 284)
> ( 175, 222)( 180, 290)( 181, 295)( 182, 296)( 184, 303)( 185, 292)
> ( 188, 312)( 189, 298)( 190, 317)( 191, 301)( 192, 320)( 194, 321)
> ( 195, 324)( 196, 309)( 197, 328)( 198, 332)( 200, 334)( 202, 256)
> ( 205, 345)( 206, 335)( 207, 338)( 208, 349)( 210, 351)( 211, 223)
> ( 212, 269)( 213, 273)( 214, 216)( 217, 357)( 218, 356)( 220, 364)
> ( 221, 366)( 226, 280)( 229, 370)( 230, 371)( 234, 375)( 235, 380)
> ( 236, 381)( 238, 272)( 240, 388)( 242, 392)( 245, 291)( 247, 395)
> ( 248, 336)( 249, 257)( 252, 260)( 253, 405)( 254, 310)( 255, 267)
> ( 261, 414)( 262, 409)( 263, 416)( 266, 419)( 268, 421)( 270, 353)
> ( 274, 352)( 275, 427)( 278, 430)( 282, 434)( 283, 385)( 285, 439)
> ( 287, 358)( 289, 443)( 293, 447)( 294, 450)( 297, 453)( 299, 456)
> ( 300, 444)( 302, 462)( 304, 455)( 305, 464)( 306, 468)( 307, 446)
> ( 308, 472)( 311, 477)( 313, 480)( 314, 481)( 315, 454)( 316, 486)
> ( 318, 487)( 319, 488)( 322, 491)( 323, 494)( 325, 497)( 326, 498)
> ( 327, 425)( 329, 501)( 330, 502)( 331, 504)( 333, 507)( 339, 399)
> ( 340, 517)( 341, 406)( 342, 523)( 344, 527)( 346, 530)( 347, 531)
> ( 348, 536)( 350, 539)( 354, 544)( 355, 359)( 360, 547)( 361, 545)
> ( 362, 436)( 363, 551)( 365, 555)( 367, 557)( 368, 433)( 369, 432)
> ( 376, 461)( 377, 393)( 378, 572)( 379, 575)( 383, 580)( 386, 583)
> ( 387, 586)( 389, 590)( 390, 591)( 391, 576)( 394, 600)( 396, 511)
> ( 397, 516)( 398, 512)( 400, 407)( 401, 607)( 402, 411)( 403, 412)
> ( 404, 413)( 408, 615)( 410, 619)( 415, 629)( 417, 435)( 420, 632)
> ( 422, 633)( 423, 634)( 424, 637)( 426, 639)( 428, 429)( 431, 642)
> ( 437, 649)( 438, 651)( 440, 654)( 445, 570)( 448, 663)( 449, 664)
> ( 451, 638)( 452, 656)( 457, 674)( 458, 657)( 459, 658)( 460, 680)
> ( 463, 617)( 465, 673)( 466, 685)( 467, 690)( 469, 693)( 470, 695)
> ( 471, 697)( 473, 701)( 474, 702)( 475, 705)( 476, 618)( 478, 711)
> ( 479, 712)( 482, 716)( 483, 727)( 484, 719)( 485, 720)( 489, 736)
> ( 490, 738)( 492, 742)( 493, 743)( 495, 746)( 496, 744)( 499, 753)
> ( 500, 754)( 503, 755)( 505, 758)( 506, 757)( 509, 672)( 515, 773)
> ( 518, 520)( 519, 777)( 521, 781)( 522, 784)( 524, 786)( 525, 789)
> ( 526, 791)( 528, 795)( 529, 796)( 532, 799)( 533, 810)( 534, 802)
> ( 535, 803)( 537, 816)( 538, 614)( 542, 825)( 543, 826)( 546, 828)
> ( 548, 648)( 549, 831)( 550, 834)( 552, 838)( 553, 839)( 554, 827)
> ( 558, 847)( 559, 647)( 560, 643)( 561, 644)( 567, 683)( 571, 599)
> ( 573, 574)( 578, 865)( 581, 869)( 582, 871)( 584, 873)( 585, 876)
> ( 587, 588)( 589, 878)( 592, 884)( 593, 892)( 594, 886)( 595, 887)
> ( 596, 861)( 597, 862)( 598, 820)( 601, 602)( 603, 829)( 604, 776)
> ( 605, 904)( 606, 907)( 608, 902)( 609, 623)( 610, 624)( 611, 625)
> ( 612, 916)( 613, 627)( 616, 860)( 620, 925)( 621, 761)( 622, 710)
> ( 626, 934)( 628, 815)( 631, 739)( 635, 942)( 636, 944)( 640, 641)
> ( 645, 950)( 650, 955)( 652, 956)( 653, 957)( 659, 676)( 660, 858)
> ( 661, 969)( 665, 972)( 666, 981)( 667, 975)( 668, 976)( 669, 965)
> ( 670, 947)( 675, 966)( 677, 849)( 678, 848)( 679, 998)( 681,1001)
> ( 682,1002)( 684, 752)( 686,1009)( 687,1012)( 689,1016)( 691,1020)
> ( 692,1021)( 694,1027)( 696, 983)( 698,1032)( 699,1034)( 700,1031)
> ( 703,1043)( 704,1048)( 706,1050)( 707,1051)( 708, 918)( 709, 924)
> ( 713,1060)( 714,1065)( 715, 730)( 717,1072)( 718, 974)( 722,1066)
> ( 723,1082)( 724,1068)( 725,1070)( 726,1089)( 728,1094)( 729,1093)
> ( 731,1076)( 732,1102)( 734, 745)( 735, 741)( 737,1033)( 740,1112)
> ( 747,1121)( 748,1122)( 749,1019)( 750,1123)( 751, 763)( 756,1140)
> ( 759,1141)( 760,1142)( 762,1143)( 765,1158)( 766, 993)( 772,1167)
> ( 774,1170)( 775,1171)( 778,1144)( 779,1176)( 780,1179)( 782,1182)
> ( 783,1183)( 785, 787)( 788,1189)( 790, 812)( 792,1194)( 793,1195)
> ( 794,1193)( 797,1204)( 798,1208)( 800,1215)( 805,1209)( 806,1221)
> ( 807,1211)( 808,1213)( 809,1225)( 811,1228)( 813,1218)( 814,1197)
> ( 817, 920)( 818, 921)( 819,1181)( 823,1245)( 832,1255)( 833,1256)
> ( 835,1261)( 836,1262)( 837,1260)( 840,1266)( 841,1269)( 842, 843)
> ( 844,1254)( 846,1113)( 850,1279)( 855,1285)( 856,1287)( 859, 897)
> ( 863,1293)( 866,1296)( 867,1298)( 868,1295)( 870,1303)( 872, 874)
> ( 875,1249)( 877, 881)( 879, 883)( 880,1313)( 882, 894)( 885,1316)
> ( 888,1315)( 889,1318)( 890, 891)( 893,1321)( 895,1267)( 896,1322)
> ( 898,1292)( 899,1240)( 900,1328)( 901,1331)( 903,1251)( 905,1333)
> ( 906,1332)( 908,1237)( 909,1336)( 910,1320)( 911,1338)( 912, 931)
> ( 913,1340)( 914,1341)( 915,1342)( 917,1344)( 919,1348)( 922,1290)
> ( 923,1351)( 926,1353)( 927,1150)( 928,1151)( 929,1058)( 930,1059)
> ( 932,1358)( 933,1359)( 935,1362)( 936,1235)( 937,1236)( 938,1365)
> ( 939,1368)( 940,1115)( 941,1276)( 943,1374)( 945,1375)( 946, 990)
> ( 948,1120)( 949,1378)( 951,1379)( 954,1250)( 958,1384)( 959,1393)
> ( 960,1387)( 961,1388)( 962,1396)( 967, 968)( 973,1414)( 977,1408)
> ( 978,1410)( 979,1412)( 980,1422)( 982,1425)( 984,1418)( 985,1430)
> ( 986,1399)( 987,1392)( 988,1302)( 992,1441)( 994,1445)( 995,1278)
> ( 996,1446)( 997,1447)( 999,1169)(1000,1168)(1003,1452)(1004,1456)
> (1005,1454)(1006,1137)(1007,1138)(1008,1458)(1010,1461)(1011,1462)
> (1013,1467)(1014,1468)(1015,1470)(1017,1474)(1018,1475)(1022,1419)
> (1023,1428)(1024,1481)(1025,1482)(1026,1490)(1028,1493)(1029,1494)
> (1030,1466)(1035,1501)(1036,1512)(1037,1513)(1038,1504)(1039,1507)
> (1040,1498)(1041,1499)(1042,1500)(1044,1485)(1045,1523)(1046,1486)
> (1047,1457)(1049,1527)(1052,1528)(1053,1532)(1054,1530)(1055,1531)
> (1056,1086)(1057,1539)(1061,1548)(1062,1545)(1063,1547)(1064,1550)
> (1067,1556)(1069,1411)(1071,1559)(1073,1564)(1074,1563)(1075,1565)
> (1077,1571)(1079,1553)(1080,1555)(1081,1576)(1083,1579)(1084,1581)
> (1085,1557)(1087,1584)(1088,1587)(1090,1591)(1091,1590)(1092,1593)
> (1095,1360)(1096,1598)(1097,1596)(1098,1319)(1099,1600)(1100,1568)
> (1101,1603)(1103,1104)(1105,1116)(1106,1117)(1107,1119)(1108,1139)
> (1109,1505)(1110,1506)(1111,1126)(1114,1611)(1118,1460)(1124,1273)
> (1125,1618)(1127,1131)(1128,1613)(1129,1614)(1130,1311)(1132,1478)
> (1133,1479)(1134,1602)(1135,1636)(1136,1639)(1146,1645)(1147,1646)
> (1148,1324)(1149,1650)(1152,1196)(1153,1655)(1154,1656)(1156,1659)
> (1157,1663)(1159,1665)(1160,1443)(1161,1669)(1162,1670)(1164,1633)
> (1165,1671)(1166,1449)(1172,1536)(1173,1519)(1174,1647)(1175,1217)
> (1177,1524)(1178,1678)(1180,1680)(1184,1683)(1185,1364)(1186,1688)
> (1187,1690)(1188,1691)(1190,1693)(1191,1694)(1192,1677)(1198,1701)
> (1199,1205)(1200,1543)(1201,1697)(1202,1203)(1206,1708)(1207,1709)
> (1210,1712)(1214,1714)(1216,1716)(1220,1401)(1222,1719)(1223,1721)
> (1224,1713)(1226,1722)(1227,1720)(1229,1724)(1230,1727)(1231,1728)
> (1232,1699)(1233,1717)(1234,1700)(1238,1732)(1239,1681)(1241,1735)
> (1242,1682)(1244,1736)(1246,1738)(1248,1742)(1257,1747)(1258,1617)
> (1259,1749)(1263,1753)(1264,1756)(1265,1752)(1268,1757)(1270,1642)
> (1271,1746)(1272,1381)(1274,1275)(1277,1758)(1281,1759)(1284,1761)
> (1286,1763)(1288,1766)(1289,1767)(1291,1770)(1294,1433)(1297,1773)
> (1299,1300)(1301,1771)(1304,1407)(1305,1403)(1306,1687)(1307,1755)
> (1308,1776)(1309,1310)(1312,1782)(1314,1785)(1317,1786)(1323,1787)
> (1325,1788)(1326,1790)(1327,1791)(1329,1793)(1330,1794)(1334,1797)
> (1335,1540)(1337,1651)(1339,1626)(1343,1784)(1345,1804)(1346,1805)
> (1347,1806)(1349,1808)(1350,1809)(1352,1811)(1354,1814)(1355,1815)
> (1356,1816)(1357,1817)(1361,1820)(1363,1821)(1366,1824)(1367,1825)
> (1369,1432)(1370,1826)(1371,1823)(1372,1827)(1373,1605)(1376,1607)
> (1377,1437)(1380,1829)(1382,1644)(1385,1772)(1389,1836)(1390,1777)
> (1391,1832)(1394,1838)(1395,1840)(1400,1779)(1406,1854)(1409,1597)
> (1413,1862)(1415,1867)(1416,1866)(1417,1871)(1420,1453)(1421,1875)
> (1423,1879)(1424,1580)(1426,1883)(1427,1884)(1429,1873)(1431,1455)
> (1434,1775)(1436,1890)(1439,1896)(1440,1899)(1442,1739)(1444,1905)
> (1448,1535)(1450,1492)(1451,1673)(1459,1910)(1463,1911)(1464,1914)
> (1465,1915)(1469,1916)(1471,1921)(1472,1922)(1473,1765)(1476,1926)
> (1477,1929)(1480,1641)(1483,1919)(1484,1723)(1487,1939)(1488,1934)
> (1489,1940)(1491,1941)(1495,1943)(1496,1948)(1497,1946)(1502,1511)
> (1503,1958)(1508,1947)(1509,1953)(1510,1715)(1514,1963)(1515,1949)
> (1516,1965)(1517,1951)(1518,1818)(1520,1674)(1521,1952)(1522,1972)
> (1525,1974)(1526,1970)(1529,1977)(1533,1609)(1534,1898)(1537,1583)
> (1538,1979)(1541,1981)(1542,1913)(1544,1982)(1546,1975)(1549,1984)
> (1551,1679)(1554,1857)(1558,1989)(1560,1994)(1561,1993)(1562,1938)
> (1566,1996)(1567,1997)(1570,1998)(1572,1999)(1573,1734)(1574,2000)
> (1575,1582)(1577,2002)(1578,2004)(1585,1942)(1586,2010)(1588,2011)
> (1589,1594)(1592,1961)(1595,2021)(1599,1819)(1601,1606)(1604,1638)
> (1608,1908)(1610,1643)(1612,2034)(1615,2036)(1616,1628)(1619,2008)
> (1620,2045)(1621,2042)(1622,2050)(1623,1631)(1624,1632)(1625,2055)
> (1627,1780)(1629,2059)(1630,2063)(1634,1930)(1635,1931)(1637,2072)
> (1640,2076)(1649,2077)(1652,2079)(1653,1945)(1654,2080)(1657,2081)
> (1658,2082)(1660,2084)(1661,2086)(1662,1705)(1664,2087)(1666,2085)
> (1667,1902)(1668,1903)(1675,1845)(1676,1686)(1684,1703)(1685,2092)
> (1689,1955)(1692,2096)(1695,2043)(1696,2091)(1698,1933)(1702,2099)
> (1704,2100)(1706,2101)(1707,2102)(1711,2103)(1725,2107)(1726,2030)
> (1729,1987)(1730,1874)(1731,2093)(1733,1894)(1737,2111)(1744,2115)
> (1748,2037)(1750,2039)(1751,2117)(1754,2122)(1760,2126)(1764,2129)
> (1768,1886)(1769,2132)(1774,2133)(1778,1852)(1781,2134)(1783,2135)
> (1789,2016)(1792,2137)(1795,1799)(1796,1928)(1798,2139)(1800,1976)
> (1801,2125)(1802,1851)(1803,2024)(1807,1980)(1810,1950)(1812,2114)
> (1813,1920)(1822,2146)(1830,2152)(1831,2105)(1834,2136)(1835,2163)
> (1839,1846)(1841,1859)(1844,2168)(1849,2170)(1853,2173)(1855,2175)
> (1856,2179)(1858,2025)(1860,2184)(1861,2071)(1863,1868)(1864,2067)
> (1865,2176)(1869,2171)(1870,2195)(1872,2073)(1876,2199)(1877,2165)
> (1878,2003)(1880,2196)(1881,2006)(1882,2007)(1885,2119)(1888,2121)
> (1889,2213)(1891,2142)(1892,2141)(1893,2215)(1895,2144)(1897,2161)
> (1900,2218)(1901,2220)(1904,2150)(1906,2217)(1907,2029)(1909,1924)
> (1912,2147)(1917,2018)(1918,1959)(1923,2130)(1925,1995)(1927,2145)
> (1932,2191)(1935,2204)(1936,1957)(1937,2178)(1944,2224)(1954,2222)
> (1956,2223)(1960,2233)(1962,2118)(1964,1967)(1966,2185)(1968,2237)
> (1969,2090)(1971,2239)(1973,1986)(1978,2031)(1983,2019)(1985,2221)
> (1988,2032)(1990,2026)(1991,2028)(1992,2227)(2001,2154)(2005,2253)
> (2009,2022)(2012,2097)(2013,2151)(2014,2015)(2017,2023)(2020,2225)
> (2027,2075)(2033,2180)(2035,2260)(2038,2058)(2040,2263)(2041,2206)
> (2044,2047)(2046,2203)(2048,2054)(2049,2265)(2051,2198)(2052,2066)
> (2053,2188)(2056,2194)(2057,2269)(2060,2274)(2061,2201)(2062,2249)
> (2064,2271)(2065,2200)(2068,2162)(2069,2259)(2070,2229)(2074,2192)
> (2078,2261)(2083,2284)(2088,2283)(2098,2286)(2104,2110)(2106,2109)
> (2108,2287)(2112,2235)(2113,2276)(2116,2242)(2120,2252)(2123,2143)
> (2124,2254)(2138,2140)(2148,2228)(2149,2244)(2153,2278)(2155,2226)
> (2158,2257)(2159,2246)(2160,2258)(2166,2183)(2167,2181)(2169,2255)
> (2172,2272)(2174,2294)(2177,2197)(2182,2211)(2186,2281)(2187,2264)
> (2189,2193)(2190,2298)(2202,2238)(2205,2256)(2207,2266)(2208,2216)
> (2209,2299)(2210,2289)(2212,2268)(2214,2295)(2219,2290)(2230,2292)
> (2231,2241)(2232,2240)(2234,2248)(2236,2262)(2243,2247)(2245,2282)
> (2250,2277)(2267,2273)(2270,2279)(2275,2280)(2288,2297)(2291,2293)
> (2296,2300), (   2,  21,  26,  27,  11,  22,  39,  15,   5,   3,   8,
>    13,  14,   6,   9)(   4,  20, 208,  81,  28,  23,  76, 331, 114,
>   223, 222, 278, 559, 194,  19)(   7,  79, 154,  90,  69,  70, 268,
>   426, 224,  71, 128, 163, 359,  82,  16)(  10,  36,  95, 215, 648,
>   175, 164, 282, 245, 638, 211, 169, 140, 118,  89)(  12,  83, 423,
>   273, 168,  33,  34, 195, 352, 121, 127, 286, 546, 283,  72)
> (  17,  48, 147, 365, 196,  53,  54, 424, 943, 431, 134,  98, 102, 210,
>  65)(  18,  37,  52,  85, 229,  25,  68, 451, 358, 263,  47,  50, 227,
>   180, 172)(  24, 123, 220, 197,  35, 104, 105, 198, 367, 126,  74,
>    97, 323, 113, 135)(  29,  30, 261, 489, 264,  67,  51,  66, 297,
>   108, 103, 212, 542, 503, 207)(  31, 221, 558, 492, 191, 133,  56,
>   322, 499, 217,  40,  93, 174, 440, 173)(  32,  55,  94, 437, 353,
>   132,  43,  46, 253, 119,  41,  44, 159, 354, 157)(  38,  64,  86,
>    77, 348, 125, 269, 501, 235, 236, 153, 189, 137, 112, 115)
> (  42, 160, 255,  49,  73)(  45, 122, 158, 295, 262,  91,  92, 141,
>   111, 166,  96, 167, 100, 161, 230)(  57, 107, 355, 441, 636, 271,
>   192, 254, 421, 422, 318, 139,  78,  88, 120)(  58,  59, 288, 190,
>   315,  75, 226, 274, 379, 425, 129, 214, 655, 356, 329)
> (  60, 401,1495,1674, 459, 376, 378,1307,1427, 307, 248, 252, 812,1486,
>  305)(  61, 162, 136, 326, 213, 143, 328, 234, 420, 267, 206, 170, 181,
>  182, 177)(  62,  99, 225, 543, 635, 436, 130, 176, 330, 537, 150, 131,
>  287, 289, 200)(  63, 408,1463, 603, 407, 299, 646,1112,1122, 569, 486,
>  1294,1055,1364, 341)(  80, 582,1298,1687, 579, 556, 846,1263,1083,
>   433, 643, 949,1140,1273, 362)(  84, 308,1025,1780, 857, 279, 460,
>  1487, 811, 117, 257, 694,1167,1750, 406)(  87, 344,1702,1699, 776,
>   256, 260, 730, 896, 219, 372, 585, 745,1538, 398)( 101, 272, 275,
>   138, 319, 368, 294, 415, 450, 500, 357, 545, 442, 165, 285)
> ( 106, 311, 627,1345, 673, 659,1233, 797, 814, 204, 399, 838,1335,1350,
>  310)( 109, 605, 902, 842, 463, 366, 867, 960,1575, 849, 675, 884, 484,
>  883, 599)( 110, 249, 778, 936,1675, 371, 145, 240, 586, 893, 858, 184,
>  188, 591, 729)( 116, 606, 860,1798, 787, 683, 757,1113, 980, 581, 577,
>  850,1115,1585, 524)( 124, 830,1764,1363, 617, 570, 687, 667, 723, 561,
>  575, 855,1314, 897, 239)( 142, 856,1038,1049, 995, 291, 293, 983, 726,
>  693, 151, 467,1451,1534, 309)( 144, 149, 417, 505, 325, 270, 316, 493,
>  756, 650, 327, 216, 360, 242, 350)( 146, 383,1672,1054, 919, 251, 510,
>  870, 961, 889, 660, 513, 772,1088, 894)( 148, 438,1079,1760, 848, 733,
>  948, 532,1644, 629, 361, 549, 395,1272, 410)( 152, 185, 598, 572, 878,
>  374, 377,1141,1465,1208, 512, 369, 825,1259, 914)( 155, 521,1537,1308,
>  384, 238, 402, 485,1116, 968, 183, 737,1379,1098, 446)( 156, 203,1187,
>  937, 844, 244, 428,1166,1257, 744, 639, 863,1162, 873, 933)
> ( 171, 515,1184,1686, 518, 462, 618,1270, 945, 427, 300, 994, 611, 806,
>  644)( 178, 476,1535,1696, 568, 455,1315, 703,1907, 678, 298, 734,1035,
>  1526, 469)( 179, 292, 555,1022,1489, 466, 418, 504,1327,1514, 465,
>   458,1266,1469, 982)( 186, 397, 590, 998,1789, 620, 218, 363,1395,
>  1876, 688, 456, 634,1003, 985)( 187, 445,1080,1283,1390, 864, 228,
>   490, 921, 596, 233, 373, 621, 910, 732)( 193, 526, 535,1700, 685,
>   468, 392,1349,1276, 434, 567, 387, 595,1578, 630)( 199, 509,1664,
>  1235,1685,1202,1698,1218, 820, 821,1697,2088,1158,1652,1074)
> ( 201, 686, 494,1781, 866, 276, 475, 922,1726, 771, 382, 939, 742,1047,
>  770)( 202, 205, 839,1455, 786, 336, 562, 544,1430, 777, 339,1026, 592,
>  1450, 514)( 209, 541,1737, 781,1332,1572, 752,1145,1654, 803,1566,
>  1067,1378,1171,1216)( 231, 411,1476,1431, 457, 432, 645, 665,1783,
>   565, 564, 754,1768,2116, 548)( 232, 926,1778, 898, 619, 317, 471,
>   668,1064, 464, 280, 997,1005, 903, 520)( 237, 386, 381, 900, 785,
>   511, 622, 613,1046,1163, 966, 885, 625, 728, 768)( 241,1091, 930,
>   616,1347,1143, 739,1292,1011, 746,1121,1370, 491,1053,1056)
> ( 243, 563, 874,1394, 284, 444,1401,1280,1118, 487, 306, 661, 840, 862,
>  604)( 246, 247, 495, 333, 266)( 250, 304, 996, 931,1533, 454, 380,
>  1352,1196,1207, 925, 303, 435,1052,1330)( 258, 340,1164, 713,1291)
> ( 259, 396, 938, 847,1268, 674, 430,1277, 958,1536, 338, 461, 502, 920,
>  935)( 265,1015,1039, 892, 658, 676, 679,1024,1376, 370, 320, 689,1745,
>  1613, 845)( 277, 429,1302,1845,1301)( 281, 337, 779, 534, 917, 571,
>   523, 788,1316, 576, 400, 517,1173,1464,1119)( 290, 394, 881,1602,
>   419, 566, 684, 637, 915, 677, 375,1008,1199,1206,1278)
> ( 296, 990,2214,1948,1916,1548,1807,2064,2189,2172,2190,1634,1454,1633,
>  1416)( 301, 302, 631,1743,1457)( 312, 796,1704,1183,1570,1138, 773,
>   538, 527,1336,1711,1441,2083,1666, 508)( 313, 859, 602,1252,2098,
>  1300, 871,1306,1305,1304,1081,1367, 951, 666, 449)( 314, 573,1312,
>  1253, 832, 554, 615,1017,2090,1391,1085,1284, 978,1377, 483)
> ( 321, 342, 525,1337,1339, 409, 522,1186,1324,1371, 557, 578, 946, 482,
>  1612)( 324,1629,1351,1895,1012,2011,1027,1619,1656,2270,1128,2043,
>  2218,2081,1419)( 332,1214,1560,1152,1667,1552,1531,1213,1203, 824,
>  1150,1733, 498,1681,1077)( 334, 765, 711,1540,1333,1058,1573,1076,
>  1574, 720,1543,1549,1741,1060,1161)( 335, 550, 594,1095, 640, 560,
>   875,1605,1231, 343, 516, 780, 600,1751,1165)( 345, 712,1542,1181,
>  1201,1657,1658,1156,1157,1683,1210,1279,1051,1653, 540)
> ( 346, 901, 574, 583, 391, 607,1180, 837, 624,1010, 741, 950,1086, 626,
>  404)( 347, 601,1614,1249, 547,1271, 628, 551,1356,1357, 891,1084, 852,
>  1373, 533)( 349,1649, 760, 761,1713,1899,1710,1247,1061, 719,1147,
>  1643, 753,1641,1194)( 351, 823, 795, 904,1796, 791, 815,1139, 762,
>   763,1195,1706,1211,1212,1248)( 364,1023,1014, 969, 841, 390, 880,
>  1599, 653, 774,1185,1178, 789,1355,1317)( 385, 393, 470,1497,1323)
> ( 388,1030, 474,1037, 612, 413, 448,1426, 775,1174,1676,1484,1488,1334,
>  614)( 389, 861, 836)( 403,1230, 682,1006,1250, 633,1288,1512,1646,
>  1812,1197,1191, 979, 879, 833)( 405,1326,1423, 872,1392,1582, 977,
>   984,1117, 807, 942,1004,1000, 927, 911)( 412, 882, 707, 918, 843,
>   909, 609,1099,1063,1290,1281, 724,1274,1264, 584)( 414, 908,1226,
>   888, 731, 913, 886, 725,1577, 940,1309,1361, 743, 706, 923)
> ( 416, 784,1188,1200, 809, 967, 769,1429,1282,1222, 642, 767,1297,1310,
>  827)( 439, 964, 974,1860,2275,2154,2156,2261,1790, 727,1998,2271,2252,
>  2253, 986)( 443, 641, 580,1393,1399,2126,1771,1293,1772,1846,1838,
>  1296, 868, 947, 656)( 447,1261,2139,1820,2106,1961,2280,1840,1827,
>   831,2040,1787,2241,1900, 671)( 452, 672,1901,1989,2258,1985,1639,
>  1694,1527,1986,2109,1506,1127,2004,1844)( 453,1436,1262,2119,2027,
>  1102,1926,1382,1383,2289,1824,1624,1621,1019,1444)( 472, 810,1786,
>  2124,1637,1930,1842,2283,1973,2092,2185,1130,1135,1408, 496)
> ( 473,1885,1586, 792,1232,1045,1673,1258, 588, 552,1421,1472, 899, 589,
>  610)( 477,1541,1544,1068,1069, 717, 721, 481, 801,1703,1182, 907,1731,
>  1238, 506)( 478,1057, 890, 695,1329,1459,1645,1234,1509,1190,1318,
>   479, 608,1496, 699)( 480,1242,1170, 536,2093,1237, 822,1561,2000,
>  1567,1740,1553,1554, 716,1075)( 488,2031,1880,2045,2067,2068,2177,
>  1850,2018,1595,2010,1475,1021,1132,1452)( 497,1131,2071, 747,2078,
>  1941,2017,2046,1340,1912,1655,1413,2117,1106,1136)( 507,1149,1240,
>   759,1209,1528,1529,1070,1059, 766,2086,2082,1155,1236,1154)
> ( 519, 657,1100, 912,1729)( 528,1709,1692,1511,1251,1110, 632,1325,
>  1018, 877,1111,1275,1471,1695, 793)( 529,1198,1708,1510,1177,1223,
>   953, 738,1744,1286, 587,1097, 924,1028,1192)( 530,1151,1050,1243,
>  1680, 710,1078,1990,1148,1153,1066,1988,1545, 799,1217)
> ( 531, 718,1682,1684,1647,1179, 705,1239,1244,1193,1707,1668,1204, 800,
>  804)( 539,1241,1734, 817,1976,1555,1547,1160,1205, 802,1073,1648,1718,
>  1137,1144)( 553, 835,1319, 709, 851, 829,1104, 929,1346,1267,1142,
>  1114, 758,1491, 593)( 597, 906, 623,1477,1354,1366, 941, 740,1013,
>  1096, 854, 652,1172,1169,1689)( 647, 681,1679, 783, 853,1776,1775,
>  2089,1229, 805,1320, 704, 696,1109,1380)( 649,1630,2230,1805,1439,
>  1440,1518,2053,2001,1611,1747,2016,1598,2121,1834)( 651,1403, 955,
>  1628,2298,2033, 972,1342,1891,1331,1255,2054,2074, 973, 963)
> ( 654, 664,1407,2024,1285,1753,2057,2266,2237,2206,1550,2240,1502,1508,
>  1406)( 662, 702,1520,2097,1996,2153,1931,2292,2229,1794,2262,2300,
>  2183,2138, 989)( 663,2120,1365,2003,1626,1978,2164, 957,1386,2163,
>  2061,1338,1381,2142,1417)( 669,1832,1833,1432,1792,1588,1093,1715,
>  1460,2222,1815,1438,2030,1607,1831)( 670, 992, 701,1712,2152,1806,
>  1821,1983,2107,1678,1065,1911,2264,1615,1795)( 680,2069,1523,1126,
>  1735,1819,2216,2212,2251,1915,1925,1928,1810,1640,1107)
> ( 690,2180, 736,1608,1896,2165, 988,1433,1434,1826,2009,1590,2110,1992,
>  2221)( 691,1908,1758,1299,1779,1837,1420, 714, 715, 895,1090, 692,
>   952,1101, 755)( 697,1221,1723, 735,1108,2193,1348,1927,1904,1742,
>  1493,1587,1793,2035,2044)( 698,1428,1062, 813, 798, 790,1485,1265,
>   928, 708,1906,1449,1224, 932, 887)( 700,1397,1701,1016,1564,2060,
>  1722,1893,2209,2039,2276,1962,1563,1360,1609)( 722,1583, 959, 962,
>  1168,1087,1007, 828,1769,1289, 905,1601,1220,1448,1456)
> ( 748, 749,1453,1412,2182,1442,1481,1873,1932,2096,1374,2029,2263,2293,
>  1862)( 750, 751,1861,1635,1617,2042,1368,1788,1094,1759,1260,1835,
>  1632,2278,2192)( 764,1558, 818, 819,1557,1446,1530,1739,1705,1159,
>  1546,1717, 816,1730,1662)( 782,1839,1447,1774,1311, 876,1103,1036,
>  1029, 808,1372,1120, 999,1048,1175)( 794,1219,1071,1660,1661,2087,
>  1663,2284,1665,1651,1246,1146,1568,1569,1642)( 826,1369,1123)
> ( 834,2145,1951,1125,1636,1462,1940,1972, 934,1725,2101,2105,2200,2037,
>  954)( 865,1777, 869,1295,1671)( 916,1596,1650,2255,2238,1358,1604,
>  1997,1040,2244,1868,2259,2032,1864,2143)( 944,2125,1341,1092,1909,
>  2080,2227,2111,1515,2108,1228,1562,1618,2157,2036)( 956,1402,2133,
>  2265,2094,1714,2135,1521,2052,2134,1579,1580,1920,1405,1849)
> ( 965,1761,1400)( 970, 971,1133,1001,1857,2272,2132, 981,2269,2287,
>  1727,1917,1919,2256, 987)( 975,1855,1470,1565,2149,1853,2115,1968,
>  1225,1801,1859,1002,1478,1443,1044)( 976,1176,2249,1501,1033,1625,
>  1875,1414,1882,2118,1784,1763,1852,1479,1480)( 991,2065,1623,2122,
>  1581,1817,1589,2198,2282,1603,1913,1967,1969,2215,1724)
> ( 993,1923,2297,2159,2225,2226,2217,1517,2294,2171,2210,2211,2295,2181,
>  1042)(1009,2148,1752,2161,1921,1867,1938,1816,1993,1803,1359,1227,
>  1525,1903,1043)(1020,1902,2273,1606,1638,1791,2034,1886,2002,2155,
>  2025,2075,2023,2150,1933)(1031,1957,1934,1892,1836,1841,1404,1851,
>  2128,1256,1616,2205,2059,1881,2147)(1032,1215,1799,2021,2239,1422,
>  1719,1720,1956,2224,1041,1874,1418,1483,2231)(1034,1677,2103,1939,
>  1946,1884,1918,1445,2051,1631,2070,2197,2008,2257,1922)
> (1072,1782,2187,2274,2286,2260,2137,1691,1785,1856,1387,1773,1847,2006,
>  1287)(1082,1592,2104,1571,1498,1124,2207,1385,1389,1396,1800,1965,
>  1129,1254,1766)(1089,1963,1693,2130,1935,1458,1813,2233,2007,1953,
>  1825,2254,1966,1854,2191)(1105,1970,1507,1955,2169,1384,1303,1437,
>  2268,2299,2079,1949,2091,1425,1971)(1134,1959,1321,2012,1269,1999,
>  1818,2136,1492,1905,1659,2247,1435,2058,2072)(1189,2236,2084,2288,
>  1482,1500,1503,1559,2141,1593,2201,1879,2195,2250,1504)
> (1245,2113,1914,2246,2144,1375,1828,1979,1474,1871,1716,1343,2013,2186,
>  2112)(1313,1754,1755,1532,1732,2146,2076,1728,1974,2099,2020,2077,
>  2049,1584,1748)(1322,1958,2028,2243,2208,1894,1980,2245,2196,1924,
>  2102,2019,1490,1328,1829)(1344,1398,1415,1610,2291,1362,1551,2235,
>  2114,1353,1556,2158,2047,1823,1843)(1388,2204,2063,1756,1797,1461,
>  1929,1597,2151,1600,2026,2170,1952,1576,2162)(1409,1670,2296,2277,
>  1738,2219,2167,2160,2095,1981,1822,2184,2242,2055,1872)
> (1410,1977,1950,2179,1878,2194,1863,2176,1765,2129,1883,1945,2234,1519,
>  1522)(1411,2056,1877,2203,2066,1770,2228,1688,2127,1942,1984,1524,
>  2290,1858,1890)(1424,1804,2123,1762,1848,2232,1994,2166,2248,1499,
>  1954,1513,2038,2199,1866)(1466,1960,1690,1937,1910,1814,1494,2022,
>  1995,1749,1622,1869,2168,1865,2015)(1467,1505,2048,2279,2267,2175,
>  1757,2041,2131,2223,1987,1669,1944,1947,1591)(1468,1594,1811,1473,
>  1936,2281,2213,1887,2140,2178,2202,2173,1627,1830,1767)
> (1516,1802,1870,2014,1982,2005,2050,2073,1721,2100,2188,2174,1539,1746,
>  1736)(1620,1809,2062,2285,2085,1943,1975,1964,1897,1898,2220,1888,
>  1889,1991,1808) );;
gap> CustomDisplayCompositionSeries( g );
Group
| Co(2)
Group
gap> List( ChiefSeriesOfGroup( g ), Size );
[ 42305421312000, 1 ]

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

# cube
gap> g := Group(
>   (1,3,8,6)(2,5,7,4)(9,48,15,12)(10,47,16,13)(11,46,17,14),
>   (9,11,26,24)(10,19,25,18)(1,12,33,41)(4,20,36,44)(6,27,38,46),
>   (12,14,29,27)(13,21,28,20)(6,15,35,26)(7,22,34,19)(8,30,33,11),
>   (15,17,32,30)(16,23,31,22)(3,43,35,14)(5,45,37,21)(8,48,40,29),
>   (33,35,40,38)(34,37,39,36)(24,27,30,43)(25,28,31,42)(26,29,32,41),
>   (41,43,48,46)(42,45,47,44)(1,24,40,17)(2,18,39,23)(3,9,38,32) );;
gap> CustomDisplayCompositionSeries( g );
Group
| Z(2)
Group
| A(8) ~ A(3,2) = L(4,2) ~ D(3,2) = O+(6,2)
Group
| Z(3)
Group
| Z(3)
Group
| Z(3)
Group
| Z(3)
Group
| Z(3)
Group
| Z(3)
Group
| Z(3)
Group
| A(12)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
| Z(2)
Group
gap> List( ChiefSeriesOfGroup( g ), Size );
[ 43252003274489856000, 21626001637244928000, 1072718335180800, 490497638400,
  2048, 2, 1 ]

# gl10.2
gap> g:=
> Group( (257,513)(258,514)(259,515)(260,516)(261,517)(262,518)(263,519)
> (264,520)(265,521)(266,522)(267,523)(268,524)(269,525)(270,526)
> (271,527)(272,528)(273,529)(274,530)(275,531)(276,532)(277,533)
> (278,534)(279,535)(280,536)(281,537)(282,538)(283,539)(284,540)
> (285,541)(286,542)(287,543)(288,544)(289,545)(290,546)(291,547)
> (292,548)(293,549)(294,550)(295,551)(296,552)(297,553)(298,554)
> (299,555)(300,556)(301,557)(302,558)(303,559)(304,560)(305,561)
> (306,562)(307,563)(308,564)(309,565)(310,566)(311,567)(312,568)
> (313,569)(314,570)(315,571)(316,572)(317,573)(318,574)(319,575)
> (320,576)(321,577)(322,578)(323,579)(324,580)(325,581)(326,582)
> (327,583)(328,584)(329,585)(330,586)(331,587)(332,588)(333,589)
> (334,590)(335,591)(336,592)(337,593)(338,594)(339,595)(340,596)
> (341,597)(342,598)(343,599)(344,600)(345,601)(346,602)(347,603)
> (348,604)(349,605)(350,606)(351,607)(352,608)(353,609)(354,610)
> (355,611)(356,612)(357,613)(358,614)(359,615)(360,616)(361,617)
> (362,618)(363,619)(364,620)(365,621)(366,622)(367,623)(368,624)
> (369,625)(370,626)(371,627)(372,628)(373,629)(374,630)(375,631)
> (376,632)(377,633)(378,634)(379,635)(380,636)(381,637)(382,638)
> (383,639)(384,640)(385,641)(386,642)(387,643)(388,644)(389,645)
> (390,646)(391,647)(392,648)(393,649)(394,650)(395,651)(396,652)
> (397,653)(398,654)(399,655)(400,656)(401,657)(402,658)(403,659)
> (404,660)(405,661)(406,662)(407,663)(408,664)(409,665)(410,666)
> (411,667)(412,668)(413,669)(414,670)(415,671)(416,672)(417,673)
> (418,674)(419,675)(420,676)(421,677)(422,678)(423,679)(424,680)
> (425,681)(426,682)(427,683)(428,684)(429,685)(430,686)(431,687)
> (432,688)(433,689)(434,690)(435,691)(436,692)(437,693)(438,694)
> (439,695)(440,696)(441,697)(442,698)(443,699)(444,700)(445,701)
> (446,702)(447,703)(448,704)(449,705)(450,706)(451,707)(452,708)
> (453,709)(454,710)(455,711)(456,712)(457,713)(458,714)(459,715)
> (460,716)(461,717)(462,718)(463,719)(464,720)(465,721)(466,722)
> (467,723)(468,724)(469,725)(470,726)(471,727)(472,728)(473,729)
> (474,730)(475,731)(476,732)(477,733)(478,734)(479,735)(480,736)
> (481,737)(482,738)(483,739)(484,740)(485,741)(486,742)(487,743)
> (488,744)(489,745)(490,746)(491,747)(492,748)(493,749)(494,750)
> (495,751)(496,752)(497,753)(498,754)(499,755)(500,756)(501,757)
> (502,758)(503,759)(504,760)(505,761)(506,762)(507,763)(508,764)
> (509,765)(510,766)(511,767)(512,768), (   2,   3,   5,   9,  17,  33,
>    65, 129, 257, 513)(   4,   7,  13,  25,  49,  97, 193, 385, 769, 514
>  )(   6,  11,  21,  41,  81, 161, 321, 641, 258, 515)(   8,  15,  29,
>    57, 113, 225, 449, 897, 770, 516)(  10,  19,  37,  73, 145, 289,
>   577, 130, 259, 517)(  12,  23,  45,  89, 177, 353, 705, 386, 771, 518
>  )(  14,  27,  53, 105, 209, 417, 833, 642, 260, 519)(  16,  31,  61,
>   121, 241, 481, 961, 898, 772, 520)(  18,  35,  69, 137, 273, 545,
>    66, 131, 261, 521)(  20,  39,  77, 153, 305, 609, 194, 387, 773, 522
>  )(  22,  43,  85, 169, 337, 673, 322, 643, 262, 523)(  24,  47,  93,
>   185, 369, 737, 450, 899, 774, 524)(  26,  51, 101, 201, 401, 801,
>   578, 132, 263, 525)(  28,  55, 109, 217, 433, 865, 706, 388, 775, 526
>  )(  30,  59, 117, 233, 465, 929, 834, 644, 264, 527)(  32,  63, 125,
>   249, 497, 993, 962, 900, 776, 528)(  34,  67, 133, 265, 529)
> (  36,  71, 141, 281, 561,  98, 195, 389, 777, 530)(  38,  75, 149,
>   297, 593, 162, 323, 645, 266, 531)(  40,  79, 157, 313, 625, 226,
>   451, 901, 778, 532)(  42,  83, 165, 329, 657, 290, 579, 134, 267, 533
>  )(  44,  87, 173, 345, 689, 354, 707, 390, 779, 534)(  46,  91, 181,
>   361, 721, 418, 835, 646, 268, 535)(  48,  95, 189, 377, 753, 482,
>   963, 902, 780, 536)(  50,  99, 197, 393, 785, 546,  68, 135, 269, 537
>  )(  52, 103, 205, 409, 817, 610, 196, 391, 781, 538)(  54, 107, 213,
>   425, 849, 674, 324, 647, 270, 539)(  56, 111, 221, 441, 881, 738,
>   452, 903, 782, 540)(  58, 115, 229, 457, 913, 802, 580, 136, 271, 541
>  )(  60, 119, 237, 473, 945, 866, 708, 392, 783, 542)(  62, 123, 245,
>   489, 977, 930, 836, 648, 272, 543)(  64, 127, 253, 505,1009, 994,
>   964, 904, 784, 544)(  70, 139, 277, 553,  82, 163, 325, 649, 274, 547
>  )(  72, 143, 285, 569, 114, 227, 453, 905, 786, 548)(  74, 147, 293,
>   585, 146, 291, 581, 138, 275, 549)(  76, 151, 301, 601, 178, 355,
>   709, 394, 787, 550)(  78, 155, 309, 617, 210, 419, 837, 650, 276, 551
>  )(  80, 159, 317, 633, 242, 483, 965, 906, 788, 552)(  84, 167, 333,
>   665, 306, 611, 198, 395, 789, 554)(  86, 171, 341, 681, 338, 675,
>   326, 651, 278, 555)(  88, 175, 349, 697, 370, 739, 454, 907, 790, 556
>  )(  90, 179, 357, 713, 402, 803, 582, 140, 279, 557)(  92, 183, 365,
>   729, 434, 867, 710, 396, 791, 558)(  94, 187, 373, 745, 466, 931,
>   838, 652, 280, 559)(  96, 191, 381, 761, 498, 995, 966, 908, 792, 560
>  )( 100, 199, 397, 793, 562)( 102, 203, 405, 809, 594, 164, 327, 653,
>   282, 563)( 104, 207, 413, 825, 626, 228, 455, 909, 794, 564)
> ( 106, 211, 421, 841, 658, 292, 583, 142, 283, 565)( 108, 215, 429,
>   857, 690, 356, 711, 398, 795, 566)( 110, 219, 437, 873, 722, 420,
>   839, 654, 284, 567)( 112, 223, 445, 889, 754, 484, 967, 910, 796, 568
>  )( 116, 231, 461, 921, 818, 612, 200, 399, 797, 570)( 118, 235, 469,
>   937, 850, 676, 328, 655, 286, 571)( 120, 239, 477, 953, 882, 740,
>   456, 911, 798, 572)( 122, 243, 485, 969, 914, 804, 584, 144, 287, 573
>  )( 124, 247, 493, 985, 946, 868, 712, 400, 799, 574)( 126, 251, 501,
>  1001, 978, 932, 840, 656, 288, 575)( 128, 255, 509,1017,1010, 996,
>   968, 912, 800, 576)( 148, 295, 589, 154, 307, 613, 202, 403, 805, 586
>  )( 150, 299, 597, 170, 339, 677, 330, 659, 294, 587)( 152, 303, 605,
>   186, 371, 741, 458, 915, 806, 588)( 156, 311, 621, 218, 435, 869,
>   714, 404, 807, 590)( 158, 315, 629, 234, 467, 933, 842, 660, 296, 591
>  )( 160, 319, 637, 250, 499, 997, 970, 916, 808, 592)( 166, 331, 661,
>   298, 595)( 168, 335, 669, 314, 627, 230, 459, 917, 810, 596)
> ( 172, 343, 685, 346, 691, 358, 715, 406, 811, 598)( 174, 347, 693,
>   362, 723, 422, 843, 662, 300, 599)( 176, 351, 701, 378, 755, 486,
>   971, 918, 812, 600)( 180, 359, 717, 410, 819, 614, 204, 407, 813, 602
>  )( 182, 363, 725, 426, 851, 678, 332, 663, 302, 603)( 184, 367, 733,
>   442, 883, 742, 460, 919, 814, 604)( 188, 375, 749, 474, 947, 870,
>   716, 408, 815, 606)( 190, 379, 757, 490, 979, 934, 844, 664, 304, 607
>  )( 192, 383, 765, 506,1011, 998, 972, 920, 816, 608)( 206, 411, 821,
>   618, 212, 423, 845, 666, 308, 615)( 208, 415, 829, 634, 244, 487,
>   973, 922, 820, 616)( 214, 427, 853, 682, 340, 679, 334, 667, 310, 619
>  )( 216, 431, 861, 698, 372, 743, 462, 923, 822, 620)( 220, 439, 877,
>   730, 436, 871, 718, 412, 823, 622)( 222, 443, 885, 746, 468, 935,
>   846, 668, 312, 623)( 224, 447, 893, 762, 500, 999, 974, 924, 824, 624
>  )( 232, 463, 925, 826, 628)( 236, 471, 941, 858, 692, 360, 719, 414,
>   827, 630)( 238, 475, 949, 874, 724, 424, 847, 670, 316, 631)
> ( 240, 479, 957, 890, 756, 488, 975, 926, 828, 632)( 246, 491, 981,
>   938, 852, 680, 336, 671, 318, 635)( 248, 495, 989, 954, 884, 744,
>   464, 927, 830, 636)( 252, 503,1005, 986, 948, 872, 720, 416, 831, 638
>  )( 254, 507,1013,1002, 980, 936, 848, 672, 320, 639)( 256, 511,1021,
>  1018,1012,1000, 976, 928, 832, 640)( 342, 683)( 344, 687, 350, 699,
>   374, 747, 470, 939, 854, 684)( 348, 695, 366, 731, 438, 875, 726,
>   428, 855, 686)( 352, 703, 382, 763, 502,1003, 982, 940, 856, 688)
> ( 364, 727, 430, 859, 694)( 368, 735, 446, 891, 758, 492, 983, 942,
>   860, 696)( 376, 751, 478, 955, 886, 748, 472, 943, 862, 700)
> ( 380, 759, 494, 987, 950, 876, 728, 432, 863, 702)( 384, 767, 510,
>  1019,1014,1004, 984, 944, 864, 704)( 440, 879, 734, 444, 887, 750,
>   476, 951, 878, 732)( 448, 895, 766, 508,1015,1006, 988, 952, 880, 736
>  )( 480, 959, 894, 764, 504,1007, 990, 956, 888, 752)( 496, 991, 958,
>   892, 760)( 512,1023,1022,1020,1016,1008, 992, 960, 896, 768),
> ( 257, 769)( 258, 770)( 259, 771)( 260, 772)( 261, 773)( 262, 774)
> ( 263, 775)( 264, 776)( 265, 777)( 266, 778)( 267, 779)( 268, 780)
> ( 269, 781)( 270, 782)( 271, 783)( 272, 784)( 273, 785)( 274, 786)
> ( 275, 787)( 276, 788)( 277, 789)( 278, 790)( 279, 791)( 280, 792)
> ( 281, 793)( 282, 794)( 283, 795)( 284, 796)( 285, 797)( 286, 798)
> ( 287, 799)( 288, 800)( 289, 801)( 290, 802)( 291, 803)( 292, 804)
> ( 293, 805)( 294, 806)( 295, 807)( 296, 808)( 297, 809)( 298, 810)
> ( 299, 811)( 300, 812)( 301, 813)( 302, 814)( 303, 815)( 304, 816)
> ( 305, 817)( 306, 818)( 307, 819)( 308, 820)( 309, 821)( 310, 822)
> ( 311, 823)( 312, 824)( 313, 825)( 314, 826)( 315, 827)( 316, 828)
> ( 317, 829)( 318, 830)( 319, 831)( 320, 832)( 321, 833)( 322, 834)
> ( 323, 835)( 324, 836)( 325, 837)( 326, 838)( 327, 839)( 328, 840)
> ( 329, 841)( 330, 842)( 331, 843)( 332, 844)( 333, 845)( 334, 846)
> ( 335, 847)( 336, 848)( 337, 849)( 338, 850)( 339, 851)( 340, 852)
> ( 341, 853)( 342, 854)( 343, 855)( 344, 856)( 345, 857)( 346, 858)
> ( 347, 859)( 348, 860)( 349, 861)( 350, 862)( 351, 863)( 352, 864)
> ( 353, 865)( 354, 866)( 355, 867)( 356, 868)( 357, 869)( 358, 870)
> ( 359, 871)( 360, 872)( 361, 873)( 362, 874)( 363, 875)( 364, 876)
> ( 365, 877)( 366, 878)( 367, 879)( 368, 880)( 369, 881)( 370, 882)
> ( 371, 883)( 372, 884)( 373, 885)( 374, 886)( 375, 887)( 376, 888)
> ( 377, 889)( 378, 890)( 379, 891)( 380, 892)( 381, 893)( 382, 894)
> ( 383, 895)( 384, 896)( 385, 897)( 386, 898)( 387, 899)( 388, 900)
> ( 389, 901)( 390, 902)( 391, 903)( 392, 904)( 393, 905)( 394, 906)
> ( 395, 907)( 396, 908)( 397, 909)( 398, 910)( 399, 911)( 400, 912)
> ( 401, 913)( 402, 914)( 403, 915)( 404, 916)( 405, 917)( 406, 918)
> ( 407, 919)( 408, 920)( 409, 921)( 410, 922)( 411, 923)( 412, 924)
> ( 413, 925)( 414, 926)( 415, 927)( 416, 928)( 417, 929)( 418, 930)
> ( 419, 931)( 420, 932)( 421, 933)( 422, 934)( 423, 935)( 424, 936)
> ( 425, 937)( 426, 938)( 427, 939)( 428, 940)( 429, 941)( 430, 942)
> ( 431, 943)( 432, 944)( 433, 945)( 434, 946)( 435, 947)( 436, 948)
> ( 437, 949)( 438, 950)( 439, 951)( 440, 952)( 441, 953)( 442, 954)
> ( 443, 955)( 444, 956)( 445, 957)( 446, 958)( 447, 959)( 448, 960)
> ( 449, 961)( 450, 962)( 451, 963)( 452, 964)( 453, 965)( 454, 966)
> ( 455, 967)( 456, 968)( 457, 969)( 458, 970)( 459, 971)( 460, 972)
> ( 461, 973)( 462, 974)( 463, 975)( 464, 976)( 465, 977)( 466, 978)
> ( 467, 979)( 468, 980)( 469, 981)( 470, 982)( 471, 983)( 472, 984)
> ( 473, 985)( 474, 986)( 475, 987)( 476, 988)( 477, 989)( 478, 990)
> ( 479, 991)( 480, 992)( 481, 993)( 482, 994)( 483, 995)( 484, 996)
> ( 485, 997)( 486, 998)( 487, 999)( 488,1000)( 489,1001)( 490,1002)
> ( 491,1003)( 492,1004)( 493,1005)( 494,1006)( 495,1007)( 496,1008)
> ( 497,1009)( 498,1010)( 499,1011)( 500,1012)( 501,1013)( 502,1014)
> ( 503,1015)( 504,1016)( 505,1017)( 506,1018)( 507,1019)( 508,1020)
> ( 509,1021)( 510,1022)( 511,1023)( 512,1024) );;
gap> CustomDisplayCompositionSeries( g );
Group
| A(9,2) = L(10,2)
Group
gap> List( ChiefSeriesOfGroup( g ), Size );
[ 366440137299948128422802227200, 1 ]

# $J_2$ on 100 points
gap> g:= Group( (2,3,4,5,6,7,8)(9,10,11,12,13,14,15)
> (16,17,18,19,20,21,22)(23,24,25,26,27,28,29)(30,31,32,33,34,35,36)
> (37,38,39,40,41,42,43)(44,45,46,47,48,49,50)(51,52,53,54,55,56,57)
> (58,59,60,61,62,63,64)(65,66,67,68,69,70,71)(72,73,74,75,76,77,78)
> (79,80,81,82,83,84,85)(86,87,88,89,90,91,92)(93,94,95,96,97,98,99),
> (1,2,9,16,23,20,30,17)(3,35,13,29,31,24,25,11)(4,26,27,7)(5,21,14,10)
> (6,19,32,36)(8,18,28,22,15,12,33,34)(38,92,67,77,99,89,49,84)
> (39,59,82,46,88,54,52,68)(40,55,47,81,75,95,61,78)
> (41,44,63,58,72,65,50,51)(42,76,53,93,86,80,79,57)
> (43,85,48,70,96,83,66,94)(45,97)(56,87)(60,71,91,69,90,73,64,74)
> (62,98),
> (1,100)(2,74)(3,73)(4,72)(5,78)(6,77)(7,76)(8,75)(9,34)(10,33)(11,32)
> (12,31)(13,30)(14,36)(15,35)(16,71)(17,70)(18,69)(19,68)(20,67)(21,66)
> (22,65)(23,53)(24,52)(25,51)(26,57)(27,56)(28,55)(29,54)(37,91)(38,90)
> (39,89)(40,88)(41,87)(42,86)(43,92)(44,99)(45,98)(46,97)(47,96)(48,95)
> (49,94)(50,93)(58,85)(59,84)(60,83)(61,82)(62,81)(63,80)(64,79) );;
gap> CustomDisplayCompositionSeries( g );
Group
| HJ = J(2) = F(5-)
Group
gap> List( ChiefSeriesOfGroup( g ), Size );
[ 604800, 1 ]

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

# regular
gap> g:= PrimitiveGroup( 11, 6 );;
gap> elms:= AsList( g );;
gap> gens:= Concatenation( List( GeneratorsOfGroup( g ),
>            x -> [ PermList( List( [ 1 .. 7920 ],
>                       i -> Position( elms, elms[i] * x ) ) ),
>                   PermList( List( [ 1 .. 7920 ],
>                       i -> Position( elms, x^-1 * elms[i] ) ) ) ] ) );;
gap> reg:= Group( gens );;
gap> CustomDisplayCompositionSeries( g );
Group
| M(11)
Group
gap> List( ChiefSeriesOfGroup( g ), Size );
[ 7920, 1 ]
gap> # $S_5 \wr S_5$ on 3125 points.
gap> l:= [ (1,2,3,4,5), (1,2), (1,6,11,16,21)(2,7,12,17,22)(3,8,13,18,23)
>          (4,9,14,19,24)(5,10,15,20,25), (1,6)(2,7)(3,8)(4,9)(5,10) ];;
gap> tuptonum:= tup -> tup * [ 1, 5, 25, 125, 625 ] - 15430;;
gap> numtotup:= function( num )
>    local tup,i;
>    tup:= [];
>    num:= num-1;
>    for i in [ 1 .. 5 ] do
>      tup[i]:= (num mod 5) + 1 + 5*(i-1);
>      num:= (num - tup[i] + 5*(i-1) + 1)/5;
>    od;
>    return tup;
>    end;;
gap> gens:= [];;
gap> for j in [ 1 .. 4 ] do
>      gens[j]:= [];
>      for i in [ 1 .. 3125 ] do
>        tup:= numtotup(i);
>        for k in [ 1 .. 5 ] do
>          tup[k]:= tup[k]^l[j];
>        od;
>        Sort(tup);
>        gens[j][i]:=tuptonum(tup);
>      od;
>    od;
--> --------------------

--> maximum size reached

--> --------------------

Quelle grpprmcs.tst Sprache: unbekannt

[ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ]