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
|
#############################################################################
##
#W sml1512.z GAP library of groups Hans Ulrich Besche
## Bettina Eick, Eamonn O'Brien
##
Revision.sml1512_z :=
"@(#)$Id: sml1512.z,v 1.1 1999/12/08 18:54:24 gap Exp $";
SMALL_GROUP_LIB[ 1512 ] :=
[ 297894653742063965716603482563, 590021823435462648858161603,
450418677560139366287881769319307, 982762420421761842534953411,
681041367749546819440278420457139731, 910936316468165277341063,
1348289270731311462779061333369791, 589760870626016588628360767,
891725708155629273053197459007, 589760870626016588628080831,
589765679997108035995751231, 1029746212554794593409602376513863552531,
450429287270564432077732719502099, 681049082353093421308587770616393235,
681049082377509651725922831112569619, 450429287270564432077732719782035,
450429287286712732618298253327763, 681049082377509651725922831112849555,
130477002405999437282879, 135286373497446804673343,
309284131055857274079958770623, 450712643896810739031679613319048,
679693673481730692012191714949901902, 1496931696342426089209888482239,
649975146567477920136767, 990034190702661192495357503,
649975146567477919856831, 654784517658925287527231,
681033045576296670543672351158456827, 297895950767287939325734595707,
450418680936704147184298585492603, 297895950767287939325734315771,
297895953000465705139820003707, 1029734548074232131373981700565212302867,
450424185019541547239469381707923, 681041367773963049850512302285473939,
450424185019541547239469381427987, 450424185035689847780034915253651,
602471099382155102855, 16234715460080649102599, 37114897351514642468592465287
, 197020273241262076721343257, 299661725476089742818841176857,
299661725475294410808011500313, 197020273241262076720783385,
299661725475294410808010940441, 198188971876245718990230809,
890935031467228276706040140323, 1347386362175114622762412814684707,
1347089450283792980558557092041251, 197281226449163437693208003,
298287394340243262948737710607, 1347092199467971884653032937804323,
2037248178040662832347034745890591267, 2036799247260984509334804893253685795,
297894653742063965716887897539, 451010145679996122416724834417167,
130476603950698979633945, 198189144860958073872689945,
198189144065626063043013401, 130476603950698979074073,
198189144065626063042453529, 131077477284881945761049,
649974748112452650773273, 1818673383096094919660825,
2749834153652206933942971161, 197019757581170157340940599,
130132565144831052690517, 196500431228722734271342903,
594020802400865577877959170359, 299860433002847963465854145059,
982762420421761842819368387, 2079366001673110186853851625999,
898161419789648872423175714427427, 297894911772364056541218448267,
196760696699873658236498827, 453388982747205405318194605042075,
299860178586486484017899327899, 612022184690775424391, 612022185277841527175,
909733774468377870269831, 2038146037437738928709077576294084200,
1375241977962769675848167304, 1358913767786259605501351627606269932,
2054677616892839093516465506939021135788, 130304413783665006511367,
4124685821181530783672026445, 301036577142823734657740555597,
297706077974956928905431604627, 258086028882362139911,
389709731667111576268716, 591838863601118437663425869, 429877740873872213255,
197021131459845850798885987, 297703222624872896864922197395,
398455025273570567, 2036805779327788566902540529273703891,
3080319247571214417586023683652526312915,
3079640464232340793191532146465525239251, 890935032666245725561661858515,
1347386362176313640211337233474259, 1347089450284991998007481510830803,
1347093769391363539159436101103059, 2037248179610586224001541217850961363,
2036799248830907900989311365214055891, 1347093769396685560119332244030163,
2037248179610591546022501113993888467, 2036799248830913223010271261356982995,
890935032666245725561662138451, 1347386362176313640211337233754195,
1347089450284991998007481511110739, 890935032669765580693885926739,
1347386362176317160066469457542483, 1347089450284995517862613734899027,
1347093769396685560119332244310099, 2037248179610591546022501113994168403,
2036799248830913223010271261357262931, 197279850920083932859180607,
197279850920083932858900671, 298287134591168815283378449343,
197279853304501925661539135, 298287138196408820374319859263,
298287138196408820374319579327, 451010152952970138314744853646271,
681927936839042963129280254718916031, 298287394336945949345059982015,
451010540237462277200720413906367, 451010540237462277200720431262399,
298287394336945949345060261951, 298287394336945949345077617983,
451010540237462277200720431542335, 461403828557845915738404986153166,
461403828557845915738404985873230, 697642588779463024597674492283203150,
461403828562570185816252717383118, 697642588786606120957484288616909006,
697642588786606120955380235677926222,
1054835594245348454887717450514915102286,
697642588786606120955380235678206158,
1054835594245348454884536122471596396110, 297896470781829588701886046835,
451010147497635966041912786051699, 451010147497034695041725550584435,
130304413781610263395571, 197279850520839915260263667,
197021475384807701130779891, 298287134588383575233308138739,
197279850123173909845425395, 298287134587985909227893300467,
130304413781610263115635, 197279850520839915259983731,
197279850123173909845145459, 130305208587607875752435,
197279850918242914075120115, 197279850917979907457782259,
297896470781829588701884927091, 451010147497034695041725549464691,
130304413781610262275827, 197279850123173909844305651,
197021475384807701129660147, 298287134587985909227892180723,
298287134588781241238721017459, 130476091877127473107187,
197279850918505920690778355, 130304413781610261995891,
197279850123173909844025715, 130305208587607874632691,
197279850917979907456662515, 130476091877127472827251,
130476091877127490463219, 1347093775625341269100670941236691,
2037248179616820201731482452691094995, 2036799248837141878719252600054189523,
589242745679380797341296723, 891128546412112842832168085587,
890932176113619693226443401299, 890935036789246869680220883027,
1347386362180436641355455792498771, 1347089450289114999151600069855315,
589242745679380797341016787, 891128546412112842832167805651,
890932176113619693226443121363, 589242749199235929565085011,
891128546415632697964391873875, 890932176117139548358667189587,
298294667314259160959870651327, 130477002405999719458367,
197284832879799760511370815, 451010540242444236916543622952383,
197280022711798336135467071, 298287394340240896233184096319,
130477002405999719178431, 130479386823992521816895,
197280022711798336135187135, 197280022711798336152823103,
2036803405603620381710106507074309587,
3080319245197490249400831249630326918611,
3079640461858616625006339712443325844947, 890933994357124259353399519315,
1347386361138004518745128971135059, 1347089449246682876541273248491603,
1347092199473293903246007118547027, 2037248178040668154365627788868405331,
2036799247260989831353397936231499859, 890933994357124259353399239379,
1347386361138004518745128970855123, 1347089449246682876541273248211667,
890933994360644114485623307603, 1347386361138008038600261194923347,
1347089449246686396396405472279891, 450416721910923840206235971439551,
197020273639717377461167679, 297894657348494602039706060351,
681927340268154133517425135573480895, 298287133386240818941057667135,
451010145679996120050009280802879, 197020273639717377460887743,
197020276024135370263526207, 298287133386240818941057387199,
298287133386240818941075023167, 450120196264924211377410690970507,
688678524432296391744304244282577307, 455762706915383427928821503397331,
199358701319113847726842579, 301430356394502469731423301075,
301430361716523429627566228179, 199358701319113847727122515,
199358704838968979950910803, 301430361716523429627566508115,
909552426934033600325183, 909552426934033600045247,
1375243269526611134121634751, 909554811352026402683711,
1375246874766616225063044671, 1375246874766616225062764735,
2079373274647126084598682569663, 3144597965418568637742774183671231,
1375503015303745195803167423, 2079760559139264970574242829759,
2079760559139264970574260185791, 1375503015303745195803447359,
1375503015303745195820803391, 2079760559139264970574260465727,
1358022440454164172411003268889087443, 594023141344603521632555672275,
898162989713040526929510080654803, 898162989718362547889406223581907,
594023141344603521632555952211, 594023141348123376764779740499,
898162989718362547889406223861843, 689127455225479948580495014771591579,
301436591571256960865235017371, 455772126455740531890857818139035,
455772126471878272866026732387995, 301436591571256960865235297307,
301436591581930069975814093083, 455772126471878272866026732667931,
199103076048243804001438747, 199103076048243804001158811,
301043850984950834939359842715, 199103076048243804018794779,
301043850984950834939377478683, 301043850984950834939377198747,
455178302689245668631600861295003, 1347091414506274007357259777679867,
589241714927742019025763451, 890933472970746932270272627195,
890933475202562173517052599419, 197020444293890257587033211,
589241716403810300290978171, 297894914004178283360561247355,
679233160586518172470909548826544635, 297108651330151636002618188923,
297108651330151636002635544955, 449228280811189267511266033003003,
449228280811189267511266050638971, 14254903513592776217973877188332084635,
689113212880470837425891012647979419, 6235348041754314663856677468187,
301430361716528163746732056219, 9427846239132523778844132923309467,
455762706915390590651038136314267, 9427846239148661519819301837838363,
455762706931528331626207050563227, 301430361716528163746732336155,
6235348041754314663856677188251, 6235348041764987772967256263963,
301430361727201272857311131931, 455762706931528331626207050843163,
9427846239148661519819301837558427, 1027008619562032597788823675671008358811,
449231815477079570569253849402395, 449231815477079570569253849122459,
449231815477079570569253866758427, 679238505001344310706889879373238683,
679238505001344310706889879390874651, 679238505001344310706889879390594715,
1041960712276207424907933129980064434587,
688230184718129084319997621488990235, 455772126461055394862656547724955,
688230184718129094993106732067786011, 455772126461055394862656548004891,
455772126461066067971767126800667, 689127455209131894780374383262811163,
1040603141432251575245168073205727211931, 455178300856049126929792686361627,
688229590894346279924048856427359259, 455178300856049126929792686081691,
455178300856049126929792703717659, 258086026827619024115,
390225277576871313849587, 390225675242876728687859, 258880832825231380979,
390226072382868926206451, 390226072645875543544307,
591838863201085634140725875, 892112994022100295660899164787,
892112994623371295848134632051, 258086026827617904371,
390225277576871312729843, 258086026864308556019, 258880832825230261235,
390226072382868925086707, 258086026864325912051, 591838863201085634139606131,
892112994022100295660898045043, 590021822238519845248185971,
298090372947626154250724671944, 450712644805932093047616259547592,
298090372947626154250724392008, 450712644805932093047616259267656,
298090373548896891431360157384, 450720500397119037073866928580814,
681489396607587080416712815953823950, 681489396607587080414608763015121102,
450720500397119037073866928300878, 681489396607587080414608763014841166,
450720500401843307151714659810766, 984579460187384552629232243,
429877740873868295411, 651176891657801871924467, 1375243267139037089464202867
, 601555836391078007027, 909552425356021431922931,
2079367818711682811579379507827, 909551630024010586569971,
1375243266343705078636485875, 429877740873868015475, 430672546871480652275,
601555836391077727091, 601555836391095363059, 909551630024010586290035,
909552424830008198926835, 297894911771339796056057113039,
197539427516708116351373263, 130304072473872465871951,
197020444293213928072455247, 86066623609580137039, 130647769521409299515983,
297108652017317812479591463375, 129960602664199493686351,
196500431228384720516281423, 898159454268417364255908098009551,
392870901058773230682326095, 594020803087577621786284827727,
130304072473872465592015, 86066623609579857103, 130304526648728251799887,
86407254751423921999, 129960602664199493406415, 129960602664199511042383,
392870901058773230682046159, 392870901512948086468254031,
453388982747198235494799304003027, 1485942232600827976089800362943,
198320392197647639464503379, 299860438324866556302440745043,
649975146567478202312255, 982766026852397890449245759,
3144001394529739025887655038236095, 1375242064598614791800852543,
2079366001673107819863109726271, 1358020066729995987218569246689693139,
594022103035482055424293333075, 898161419794970891016081098098771,
198320392197647639464223443, 649975146567478202032319,
198320395717502771688291667, 649977530985471004670783,
1375242064598614791800572607, 1375242064598614791818208575,
594022103035482055424293053139, 594022103039001910556517121363,
450417109974317565413757063264763, 197020444293890230928168059,
297894914004178283333902382203, 297502173408669033981387164155,
130132735915966853653627, 196760696698859204158096507,
197020444293890230927888123, 197020445769958512193382779,
130132735915966853373691, 130132735915966871009659,
685524141938174826465683015118162331, 299860438324871290421606573083,
453388982763343139192184851448859, 453388590022756833066276748571035,
198320223932852625317235739, 299860178586479382839248841755,
299860438324871290421606293147, 299860438335544399532185368859,
198320223932852625316955803, 198320223932852625334591771, 404767184085480071,
404767771151582855, 601675767958389289607, 10737245152838126855,
404767771169218823, 612008245927141936391, 24546899326727212840803719,
925366813372067339972999, 1399138988778775039981936007,
130304413518328459739597, 130477001616704680006907,
197020273638928082421716219, 197281227642161454080489999,
297894653743256963733275179535, 258085763545815368141, 429877477867252924877,
86066510892461507881, 649975145778458351146235, 130132735573119373715767,
982762421614759859206650383, 196760696699868962263069579,
1485936781485110102008497394055, 10751184503537717639,
[ ( 1, 3, 5, 7, 9, 8, 6, 4, 2)(10,13,11,12,16,14,15),
( 1, 2, 4, 6, 8, 9, 7, 5, 3)(10,11,16)(12,14,15) ],
2245545027715470974641078717638888, 3395264081905792113653204893252536552,
3395264081905792113655308946191239400, 2245545027715470974641078717358952,
3395264081905792113653204893252256616, 2245545027715470974641078734994920,
898754651604416214953894714080716, 594413413124397699098090942460,
898753084148379422479812547470588, 1358917034600072229017494401104805324,
1358917033814591035044895978206068172, 1358917033225874573341569986423586252,
898753080643398970677158868889596, 1358914663232348996443772697696101628,
2054682556315309207530782813916659613132,
2054682555127661642244213998493769039308, 4124685476289381402115127885,
4124685476289381402114568013, 6236524440149545370788334781773,
4124685477595134113595270221, 6236524442123843468815462906445,
6236524442123844520841932257869, 6236524442123843468815462346573,
9429624956491251325538037636384077, 9429624956491252916202059295737165,
589242746472384370860251419, 891128546412905846919371839771,
890932176114412697313647155483, 130476091879154695154951,
197280022709621720775131399, 2727966699330040316901965,
2727966699330040316342093, 4124685649387712615686980941,
2727966699330041462400077, 4124685649387712616833038925,
4124685649388764643302390349, 4124685649387712616832479053,
6236524701874222166575546484045, 6236524701875812830597205837133,
1556935530169049361213018187713222264681355,
2380520524417212751159776473679946745763549595,
455178319820133745982700195318811,
1556935526573746015266785340192436344748411,
1573391949859803954990411266077992508711195,
1573391997477642349477645962127778862165019,
1555909216043332774122941529854593665550843,
2378968700186199415094961108109030681480573339, 4123911641079257697037593883,
297110989074867618540385861915, 909551572726616798362056,
909551572726616815718088, 1375241977962168999462230472,
393130306717980385574765484, 594413023758019668049209648300,
898753080642024179481218224022700, 594413932621175729352183560364,
594413025132810863987561279484, 898752491925566566431055987506636,
1358914657930744000203939139495820748, 898763291898920614453571039094012,
898752491922127550816228467280364, 898752491921440838434306385441772,
594413413123486941704655658476, 1358913767791456662531978898361277900,
1358913767791455975819596976279999180, 898753080646837992600646785157068,
257971884011008579847, 390225163434605079976199, 390225163697611697314055,
257971884011006340359, 390225163434605077736711, 258085428312014586119,
1168958026876777519601947, 1767592522712940716083599643,
1767462648176900273222670619, 258086028882644315399, 390225277579476856799495
, 1767463850718900060911917339, 2672599893656046688109411260699,
2672403523357553538503686576411, 390053485864551010544903,
590020447109475726837743879, 2727966812948674843064909,
4124687795477524757861448269, 2727966812948674842505037,
4124687795477524757860888397, 2727968118701386323207245,
591838862292397510363003469, 894860361760404136343375264333,
894860361760405188369844615757, 591838862292397510362443597,
894860361760404136343374704461, 591838863598150221843145805,
5303167016319345236767336375, 599126949659603752957385566135,
1169128569195806728700809, 199877684085878252794689463,
37448012424106346741884740269731, 486378792102429358971741963646627,
12374056600205382401323085435, 2115505408192348991254584172175,
2709329190492958169713955010211, 4041007963056148572811402215126691,
4040711051164826930607546492483235, 597294795463819389454691963,
892134817753527759245144563343, 4077825029529013456810567645361827,
6109536428654721979782806434146252451, 6109985359434400302795036286783157923,
903109730565131993986836901499, 1348907844443161385680830840774287,
297698542503256758669548019451, 455475214571624597705791092999835,
131765097114782318352667, 601555836363560856839, 909724216469766777078023,
196502063590264975111379227, 199232950577257644223519003,
131681928599233144160539, 1168957004305879907611747,
196500946148831441836967011, 12371459969292205741230348571,
204683558430668674963811611, 297116443802654689600028344603,
301240221276278969845049973019, 301043849772519259740394979611,
57074784240163079, 86293789116983433479, 86294052123600771335,
57074784237923591, 86293789116981193991, 57075371304026375,
257744531255175757260, 389709731366533729959372, 257744531255175197388,
389709731366533729399500, 257744531256321255372, 131678747759068557949517,
199098266612715174421412429, 199098266613767200890763853,
131678747759068557389645, 199098266612715174420852557,
131678747759069703447629, 284310153920010503, 397854454926016775,
601555310928223820039, 86179941889572778387, 56922147042241939,
85952780491068408211, 259835252023949431320979, 131164223780578282002715,
429877740874154388743, 909551630024561390321927, 196501462716930771075029275,
130304526648728377209955, 86066628305981867107, 198320309821683174510876955,
131164169263650307473691, 263006619577607, 263593685680391,
397929599102758151, 3148750807473405928900538473544207,
4760911216385995450669400093416913423, 130476091877099954278643,
130476091877099953998707, 197279850918505893154313843,
130476091877099971634675, 197279850918505893171949811,
197279850918505893171669875, 298287134588781241211202188915,
197281224344847781605969983, 197281224344847781605690047,
298289211209411747660057597375, 197281224344847781623326015,
298289211209411747660075233343, 298289211209411747660074953407,
451013287348630564363878512866751, 130477002406008747954239,
197281227639794678598456767, 130477002406008765310271,
197281227639794678616092735, 298289216191371463492152931775,
197279850920083933001388095, 197279850920083933001108159,
298287134591168815283520656831, 197279850920083933018744127,
298287134591168815283538292799, 298287134591168815283538012863,
451010147501847250617268249638335, 298289211207025751627711615039,
298289211207025751627711335103, 298289211207025751627728971071,
451013287345022938362755243110463, 681932090465674682806387555775624639,
305161262617291044109803150798, 589760869828580524872578705,
257971881956265464081, 390053485336482766254353, 257971881956265184145,
257971881956282820113, 590021822238519808843069043, 258086026827903439091,
390226072908845754085619, 258086026827903159155, 258086026827920795123,
891718436384151430588033676915, 390053485862496269668595,
589760870624438549223305459, 390053485862496269388659,
390053485862496287024627, 892112998834655871194711930303,
390226074486885583523903, 590021824626093881179172927,
390226074486885583243967, 390226074486885600879935,
1348278275816446976968464641242559, 589760870626016589052743743,
891718436386539004660369780799, 589760870626016589052463807,
589760870626016589070099775, 297501521801673636304053119287,
3148751592954599901498943599704591, 1349464743985915965614409946166155,
14282734241410806607347410435350417799, 601555836363559178483,
601555836363558898547, 909552425355993895458419, 601555836363576534515,
909552425355993913094387, 909552425355993912814451,
1375243267139037061945374323, 910925851697882347114559,
910925851697882346834623, 1377319887769543510800782783,
910925851697882364470591, 1377319887769543510818418751,
1377319887769543510818138815, 2082507670307552133732341790143,
86066623627638248527, 130132735234985779452367, 86066623627655604559,
130132735234985797088335, 196760695675608494874311119,
909552426934033742532671, 909552426934033742252735,
1375243269526611134263842239, 909552426934033759888703,
1375243269526611134281478207, 1375243269526611134281198271,
2079367823524238387122078561727, 1377319885383547478454800447,
1377319885383547478454520511, 1377319885383547478472156479,
2082507666699926132609072033855, 3148751592050288314850075240379839,
1377324866439046567291030535, 1377324866439046567290750599,
2082515198055845485800036290951, 1377324866439046567308386567,
2082515198055845485800053926919, 2082515198055845485800053646983,
3148762979460438381605710464692615, 130132735911288652801147,
130132735911288652521211, 196760696698854525939608059,
130132735911288670157179, 196760696698854525957244027,
196760696698854525956964091, 297502173408669029303186311675,
4131958794010742660305423367, 4131958794010742660305143431,
6247521696544249991864980001159, 4131958794010742660322779399,
6247521696544249991864997637127, 6247521696544249991864997357191,
9446252805174905994789332536275335, 1375243269531345253447306247,
1375243269531345253447026311, 2079367823531401109338711478663,
1375243269531345253464662279, 2079367823531401109338729114631,
2079367823531401109338728834695, 3144004149179478484406257734824327,
3148762979446000719613119543184391, 3148762979446000719613119542904455,
4760929624922353088062112480441749895, 3148762979446000719613119560540423,
4760929624922353088062112480459385863, 4760929624922353088062112480459105927,
7198525592882597869149921146158667444615, 197539427517384441851389051,
197539427517384441868745083, 451603576982304818890006190836219,
2090755219236643150166381366279, 2090755219236643150166381086343,
2090755219236643150166398722311, 3161221891485804450134229948722183,
4779767499926536328610038316702282119, 170691588187001105, 170691588204357137
, 390225277050821403358865, 197149717557958300809487848,
298095569045713648053996346830, 649974349131414164354705, 284310153916092689,
429877214860649296145, 284310153915812753, 284310153933448721,
130132394152957424842525, 56922147040563613, 86066398175353500061,
56922147040283677, 56922147057919645, 982762419224818727331575411,
429877740874152710387, 649975144989438515081459, 429877740874152430451,
429877740874170066419, 196760695675608477101734351, 86066623609865671759,
130132735234968024511567, 86066623609865391823, 86066623609883027791,
1485936781477940278613196355007, 649975146567478344519743,
982762421612392799667679295, 649975146567478344239807,
649975146567478361875775, 297502173408669029285413734907,
130132735911270880224379, 196760696698854508184667259,
130132735911270879944443, 130132735911270897580411,
2246736413605475744354255020011911, 982762421617126918833507335,
1485936781485103000829846907911, 982762421617126918833227399,
982762421617126918850863367, 7101178668402311, 7101178686038279,
16245061088380245127559,
[ (1,9,7,6,5,4,2), (1,9,7,5,4,3)(6,8) ],
[ ( 2, 6, 8, 7, 5, 4, 3)(10,12,11),
( 1, 3, 2)( 4, 8, 6)( 5, 9, 7)(10,12,11) ],
[ ( 2, 6)( 3, 7)( 8,10, 9), ( 1, 6)( 2, 4, 5, 3)(11,13,12) ],
7198506744614896551654440548522087840271,
10884161197506171116292486678993199566060047,
3554679973819913093669663917896925755006216491047,
5374671437091944609582361906865026013469151061998463,
3148750807473402631588407053422655, 3148750808385531647823303477978431,
4760911222274120295101597744334005567,
7198497774322255091723966410553535033407,
10884128631622352343263828809015765394994623,
16456802476755388970077365056018272660597978559, 130477000229008410673415,
1485148827854147472716405890536, 393131251402571558462137596,
594414452120229443153422623996, 594414452120686019558904849660,
898754651605786915870922592838908, 2727966698465876289266765,
8183899754239885305062267, 8255734890454713132113863547,
2082507407548943725907941870271, 3148751197228689215576839768066751,
258085427734119186695, 390226072309756538388743, 258880834884823548167,
391427705434397351215367, 590021821329571008233275655, 1804210704377991668813
, 680131022734853948707024905639078199,
7198506744615682032848413146927214000655,
3085074319120782162308184893123612308363,
32652483592519105601697715376184580258091399, 2082510652608418117279437590591
, 9446253216085300882811732038552583, 892503137556822729018923376379,
9446253197652137932020533417789063, 9446280694287085606413607513000967,
14282734862720974924478932433990487047, 297501652105347778443922860367,
3148757481079444333696319328511295, 4760927555177325362899899475360280639,
1349467491742762387538926049851771, 14282751461897769539192725896697209095,
14282734854487059217232223537072365831,
21595495099988557312723485039371325500423,
2040397523647276727487340283713094779,
21595539113878406842736831102983980805127,
21595495087486262515032798138788032423559,
1028359901504394360842320686592307509711,
10884161197507368781471564194920904690185663,
4664640513217104435612017063876996033628667,
49370512171958436549557763532201366944368079239,
49370411521321629959198540462086304253960958343, 602464186217276375303,
910929144465726556078343, 1382775992614777803532665095, 86407255049238873187,
8183899867858657425359111, 1382775989322010096988946695,
2082509748296833834129431822599, 601555276877682236904,
260006816626203447863244, 393130307627521845917820156,
393130306717969818415708332, 594413025132810860905487754492,
594413023757566391848339627500, 898752494000810030490815603328252,
170618498751136007, 170693643212292359, 257971884011290755335,
258086028882785403143, 390053485864551151632647, 1804210854443323499597,
391427818975790252172365, 773233180401187170217, 8183899867858623026832251,
395036240384062076101499, 597294795347307458546770811,
3507385592728637897062327, 24767204327326234899761143439,
613662594628549250491424399, 915502878292252846485274959503,
196760265741861283938324175, 2082507667298015806500702866111,
892503137556822729001150799611, 9446252805165877385802497440269959,
397853877030617351, 602464186079682232583, 170465870155088275,
1804097310720495059207, 910925850119842785853703, 910929144465588961935623,
258198893959626622051, 2732776980161146280608007, 909552426934033813635335,
2082515198046296767551182242055, 390396727983450214564963,
4131958794006008541264445703, 115065395085575, 170465887927674108,
258880832563782362189, 187862442836231, 37572947214619, 284310154202185991,
56922147326656915, 429877740874295476487, 86066623610008437859,
649975146567478415622407, 263 ];
PROPERTIES_SMALL_GROUPS[ 1512 ] := rec(
isNilpotent := [ 6, 39, -41, 79, -81, 96, 414, -422, 436, 596, -598, 776,
-778, 889 ],
isSupersolvable := [ 1, -21, 24, -81, 86, 89, -90, 93, -131, 141, -220, 223,
-327, 339, -436, 463, -467, 485, -486, 504, -519, 551, -569, 581, -598, 601,
-631, 633, -657, 662, -738, 741, -778, 792, 803, -807, 834, -840, 848, -852,
867, -879, 882, -889 ],
isSolvable := [ 1, -436, 438, -778, 782, -889 ],
isAbelian := [ 6, 39, 79, 96, 414, 436, 596, 776, 889 ],
lgLength := rec( lgLength := [ 3, 4, 5, 6, 7, false ], pos := [ [ 793, 835,
-841, 848, 872, -879, 882, 887, -889 ], [ 438, -443, 467, 485, -489, 504,
-509, 514, 519, 553, 555, -569, 581, -583, 586, 590, 592, -598, 632, -637,
693, -745, 766, -778, 792, 798, 803, -808, 814, -818, 822, -828, 831, -834,
846, -847, 849, -854, 865, -871, 880, -881, 883, -886 ], [ 82, -83, 86, 89,
-90, 93, -96, 125, -170, 189, -191, 194, -195, 214, -216, 219, -220, 237,
-243, 251, -353, 360, -362, 370, -371, 380, -382, 390, -391, 394, -423, 428,
-429, 434, -436, 446, 451, 454, -466, 468, -476, 479, -484, 493, 497, -503,
510, -513, 515, -518, 520, -530, 534, 538, 543, 548, -552, 554, 570, -580,
584, -585, 587, -589, 591, 601, -631, 638, -657, 660, -692, 746, -765, 784,
-791, 794, -797, 799, -802, 811, -813, 819, -821, 829, -830, 842, -845, 855,
-864 ], [ 7, -47, 52, 57, -66, 69, 73, 75, -81, 84, -85, 87, -88, 91, -92, 97
, -124, 171, -188, 192, -193, 196, -213, 217, -218, 221, -236, 244, -250, 354
, -359, 363, -369, 372, -379, 383, -389, 392, -393, 424, -427, 430, -433, 444
, -445, 447, -450, 452, -453, 477, -478, 490, -492, 494, -496, 531, -533, 535
, -537, 539, -542, 544, -547, 599, -600, 658, -659, 782, -783, 809, -810 ], [
1, -6, 48, -51, 53, -56, 67, -68, 70, -72, 74 ], [ 437, 779, -781 ] ] ),
frattFacs := rec( frattFacs := [ 10, 19, 28, 37, 46, 55, 65, 74, 83, 92, 101,
110, 119, 128, 137, 66, 75, 84, 93, 102, 111, 120, 129, 138, 147, 391, 400,
409, 418, 427, 436, 445, 454, 463, 472, 481, 490, 499, 508, 517, 239, 248,
257, 266, 275, 284, 293, 302, 311, 320, 329, 338, 347, 356, 365, 374, 383,
392, 401, 410, 419, 429, 438, 447, 456, 465, 474, 483, 492, 501, 510, 519,
528, 537, 546, 1420, 1429, 1438, 1447, 1456, 1465, 1474, 1483, 1492, 1501,
1510, 1519, 1528, 1537, 1546, 1555, 1564, 1573, 1582, 1591, 1600, 1609, 1618,
1627, 1636, 1645, 1654, 1663, 1672, 1681, 1690, 1699, 1708, 1717, 1726, 1735,
1744, 1753, 1762, 1771, 1780, 1789, 1798, 1807, 1816, 1825, 1358, 1367, 1376,
1385, 1394, 1403, 1412, 1421, 1430, 1439, 1448, 1457, 1466, 1475, 1484, 1493,
1502, 1511, 1520, 1529, 1538, 1547, 1556, 1565, 1574, 1583, 1592, 1601, 1610,
1619, 1628, 1637, 1646, 1655, 1664, 1673, 1682, 1691, 1700, 1709 ], pos := [
1, 2, 3, 4, 5, 6, 11, 18, 21, 22, 23, 28, 33, 38, 41, 47, 52, 57, 63, 66, 70,
74, 76, 78, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96,
131, 140, 170, 195, 220, 221, 222, 250, 264, 276, 297, 309, 327, 332, 338,
353, 373, 393, 403, 413, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431,
432, 433, 434, 435, 436, 437, 443, 448, 453, 462, 467, 476, 477, 478, 479,
480, 481, 482, 483, 484, 486, 489, 493, 497, 500, 503, 509, 514, 519, 524,
530, 534, 538, 543, 548, 549, 550, 554, 556, 558, 561, 563, 569, 574, 580,
583, 587, 591, 593, 595, 598, 599, 600, 607, 614, 619, 626, 631, 632, 637,
642, 647, 652, 657, 658, 659, 660, 661, 668, 675, 680, 687, 692, 699, 706,
713, 720, 727, 730, 735, 738, 739, 740, 745, 750, 755, 760, 765, 770, 775,
778 ] ) );
|
