Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346#############################################################################
##
#W sml1200.z GAP library of groups Hans Ulrich Besche
## Bettina Eick, Eamonn O'Brien
##
SMALL_GROUP_LIB[ 1200 ] :=
[ 4571313390628213046496449, 16502262518806181928237745167,
19802824368919768400926507384863, 4037803181086448664607,
23763257940256471085604520407548943, 28515909528417111655075480608117997599,
136810590566943315599666282527, 164172708680331979049070079098911,
164172708961290954952810803331103, 197007250753549145943702433280147487,
197007250754115098333525713205428255, 236408700904938118000231020386538078239
, 197007250754115098333690639949594655,
236408700904938118000428932479537758239, 136810590566943315599666266143,
164172708961290954952810803314719, 197479932822982566780344330272440351,
197479932823267088567272350070423583, 236975919387579080136413360786528354335
, 197479932823552081981191889270423583,
236975919387579080136413360786528370719,
236975919388262498377232684420347576351,
284371103265094896163696033108293605507103,
236975919387920506280529237380347576351, 136810590567141062765921746975,
164172708961291152699977058795551, 164172709246284368707423259115551,
164172709246284566619516258795551, 136810590801075960446195367967,
164172709246284764531609258475551, 136810591038570307119067185183,
13148966867998758181126057402112, 23763389465856968674429222365348111,
13751885432338301739237647, 16502353640634311820076286223,
19802824554880807173669680480527, 19802824554880807228645261869327,
13751885432338301739221263, 16502353640634311820076269839,
13751885498254023824294159, 16502353640700227542161342735,
16502448638504867388561342735, 13751961367250143857377551,
197007250525740375847118694233293071, 164172708771450313205886622499087,
236408700630888451016542487827166445839, 197007250525740375847118694233309455
, 13752040532032368147972367, 3809427864996012065585,
4571303874948810925114161, 5485667238004537739441308465,
5485667238004544336511075121, 6582800685605453210363565949745,
3809427864996012049201, 4571303874948810925097777, 3809491163880423015181,
4616902884474821608063757, 4673901567258729448063757, 3847419070368231555853,
16420192031130461646647132977, 19704230437356553982365947609905,
19704230437356553982365947626289, 23645076524827864778845526500295473,
3894917939702805906189, 28516067496504534192113540479277711391,
16502353640766473117742235679, 19802824649878743974813743284255,
23763389580420445159929552945381407, 23763389580420445160094479689547807,
16502353640766473117742219295, 19802824649878743974813743267871,
16502353640964220283997700127, 19802824649878941721979998748703,
19802824934872355641519198748703, 16502353874899117964271321119,
709178575113848202589159764626268307487, 590982145928206835490966333212393503
, 851014290136617843106991717716293345460255,
709178575113848202589159764626268323871, 16502354112393464637143138335,
3364835434483466271, 474991826953884418079, 569990390421679140028447,
3364835434483499039, 284996778754973684547615, 342277565109193533153673247,
410733078131032404626209587231, 492879693757238885716293286739999,
28516067090929266869165967569249222687,
34219280509115457394007542470046050271263,
23763389242441055724469650908037151, 28516067090929547828339783402973085727,
23763389242441055724469650908069919, 28516067090929547828339783402973118495,
23763389242441289857114497437155359,
11384353740609496948051108487826221354816,
9486961450507914123375924115694980928, 10957430590988801408369741008,
16393469386477781492325940788344850899844024256,
13661224488731484576938283990287649404159936,
15778700087746350877077143348724208, 48105352513666279937723504315639219251,
40087793761388566614769580156322867, 410504524869608955464156464143,
23763257940256471019524051966804239, 28515909528417111496415403168767852815,
19802714950213725904693369553167, 23763257940347592913734592634601743,
19802714950213725904693369651471, 23763257940347592913734592634700047,
19802714950289660816535487791375, 28515909528417111654877238685789175839,
34219091434100871136861067810205790224415,
23763257940347593045895709911990303, 28515909528417392614051054519513038879,
23763257940347593045895709912023071, 28515909528417392614051054519513071647,
23763257940347827178540556441108511, 164566610685584279982672989224991,
164172708961290954787884060213279, 197479932822982095153187884127322143,
197007250753549145745625413537349663, 236975919387578514183825625413604458527
, 197479932822982095153187884126273567, 164172708961290954787884060196895,
197479932822982095153187884127305759, 136810590801075795519451234335,
164566610685818412627519518343199, 114008825472452488440905759,
137138842237986899848508014623, 136810590801075795519452282911,
164566610685818412627519519391775, 164172708961290954787884059115551,
114008825472452488440872991, 136810590801075795519452250143,
164566610685818412627519519359007, 136810590566943150672922066975,
136810590801075795519451201567, 114008825472452488440856607,
137138842237986899848507965471, 114008825667563025813995551,
136810590801075795519451185183, 114282368531655612820881439,
114008825667563025815044127, 137138842238182010385882152991,
11402913749563265337136, 5499240517985049774683654080,
6599088621582059401274211518400, 16502353640634256844495863887,
11459904526857009692751, 13751961367195168277069903,
13751961367195168277037135, 95007354560239752446031,
136810590642746011168344145999, 136810590566811099326224891983,
164172708771295213456844562989135, 11459904526857009643599,
11459967805950213488719, 4616902844892403009274061, 3174542957097451725,
3847419037382883868877, 3847419037382883836109, 47501547745000423629,
68402266759726790950944973, 68402228792270869890302157,
82082720111672182003076399309, 3174542957097402573, 3206182503700365517,
19802824649878743809887000150047, 13751961367305119446138911,
16502353874898953037528236063, 16502353874898953037528203295,
342003556671252990286888991, 492485121606838636553037595312159,
492485121606604503908191065178143, 590982145928206363863809887067275295,
13751961367305119446089759, 13751961562415656820277279, 2803754651369503,
197914292024508447, 284996778590046940348447, 237497315354268467231,
86733666285816564103756688484581407, 78800464690783301088928631833615,
22845151356788761413501967, 11415595956481108100867,
13736761847920287021220879, 3809427825413593648897,
13698731007264949448952839, 16484114296801782667050860575,
237890995492592140319, 104088187140684816564037670609629519616,
22721415220660794023241608989245639377392,
23763662945536905503860958280827919, 13148917073978172747532124422640,
19802824368700879770322953846815, 9131192159158048527549392,
13148916739788625730373643534832, 342087104058007286127788303,
54768178673863576468365056, 16502262458511438986797924431,
19802714950289660871511076519967, 95007346650353303552031,
9502428113754259952, 13683521790035827456253696, 9542010506635116575,
2645425010245693, 11450468032083304906783, 2199023779871,
124896369177871007351782610235077295194143,
28484463738051534471901448357921637391,
261167723327489928064626456639088707600415,
313401267992987913677551747768333150276648991,
451297825909903115663719353346711295553704817688607,
376081521591585929719766127788926080316601335839,
541557391091883738796463224016053554663619564401704991,
313401267992987913677551747966245243275296799,
376081521591585496413062097321999119124876345375,
376081521591585496413062097559295883558238912543,
451297825909902595695674517071154861531657334276127,
376081521591585496413062097559295718631494746143,
451297825909902595695674517071155059443750333956127,
261167723327489928064626654386254963064863,
313401267992987913677551747966080316532113439,
313401267992987913677551985262679823148433439,
261167723327489928064626456639088708583455,
313401267992987913677551985658504009147793439,
227052483570894590091659729651748454907935, 131396113177601035933360364552223
, 157675335813121242921461391597600799,
189210402975745491743049610469615697951,
189210402975745491743049775396359864351, 131396113177601035933360364535839,
157675335813121242921461391597584415, 131396113177601233680526620016671,
157675335813121243119208557853065247, 157675335813121480613720157469065247,
131396113177601035933360365535263, 227053050901184136391517308645542938624031
, 189210875750986780326264424557922287647,
272463661081420963669820770373827562522656799,
227053050901184136391517308645542938640415, 131396113177601233680526621032479
, 65667053908986084083340837135, 78800464690783235008303962685711,
94560557628939961108910248798880015, 94560557628939961108965224380268815,
113472669154727953330758293267078627599, 65667053908986084083340820751,
78800464690783235008303962669327, 65667053909051999805425893647,
78800464690783300924026047742223, 78800464690862465761225919742223,
65667053908986084083341754639, 94560677955401187028939386186236175,
113472813546481424434727287273351692559,
113472813546481424434727287273351708943,
136167376255777709321672744751871879725327, 65667053909051999805426909455,
13683499639723312435054339, 82091801971553353957051155471,
19780827452300857432719831024655, 19780827471300418360689111024655,
16420199583527297632228822023, 98510162365943322176395587731487,
23736992942761108216671116661473311, 23736992965560581330234252661473311,
11447301539751411220751, 13736761847810336898597135,
13736761781839639233069327, 16484114138207675721859645711,
16529675085312891079856619791, 16484114217306597199650652431,
19835610102375469349328622092559, 16484114217306542224069263631,
19780937060767850722544682451215, 23802732122850563219247847150108943,
19780937060767916693242349011215, 11447367455473496277263,
11447301539751412138255, 13736841078563258856685839,
13736761847755361318125839, 13736840946621863523565839,
19009100356823132832519, 19009100356823132816135, 22810920428253045959344903,
22810920388670627360441095, 22810920388670627360424711,
27373104466404818117832393479, 27427777602931109532749923079,
27373104513864171004508668679, 27427777650390462419417842439,
32913333123517331471433945219847, 32913333123517331471433945203463,
27373104513864138019159835399, 32847725416636965655286727754503,
27427777697889364739341042439, 32913333237467198169915046675207,
39495999748220797765752868262036231, 32847725416637005237705327690503,
32913333180468515386007206675207, 19009139906256383820551,
19009100356823133750023, 19009139906256384836359, 22810967966704799134565127,
22810920428220060611429127, 22810967887539961934693127,
22810967927122380534629127, 114008813001516728298078239,
114008813001516728298061855, 136810575601820403428862574623,
136810575601622491335863926815, 136810575601622491335863910431,
164172690721946989932506623623199, 164566610670619157070502188613663,
164172690722184286696939986190367, 164566610670856453834935547019295,
197479932804742988484767086564966431, 197479932804742988484767086564950047,
164172690722184286532013242023967, 197007228866621143838580431081553951,
164566610671093948346535163019295, 197479932805312737818259492091052063,
236975919365691586181720668338148982815, 197007228866621144036492524081233951
, 197479932805027744404339952891052063, 114008813199263894553542687,
114008813001516728299061279, 114008813199263894554558495,
136810575839512662194735071263, 136810575601820238502119391263,
136810575839116838008735711263, 136810575839314750101735391263,
13736761914000936899018783, 13736761914000936899002399,
16484114296801452814602715167, 16484114296603540721604067359,
16484114296603540721604050975, 19780937155924249194459403763743,
20109203779817721781967928754207, 19780937156161545958892766330911,
20109203780055018546401287159839, 24131044535781266138525039345106975,
24131044535781266138525039345090591, 19780937156161545793966022164511,
23737124587393854952922831861694495, 20109203780292513058000903159839,
24131044536351015472017444871192607, 28957253442937519366230210738929123359,
23737124587393855150834924861374495, 24131044536066022058097905671192607,
13736762111748103154483231, 13736761914000936900001823,
13736762111748103155499039, 16484114534493711580475211807,
16484114296801287887859531807, 16484114534097887394475851807,
16484114534295799487475531807, 16484076139152010383835889695,
16484076139152010383835873311, 19780891366982214876402140938271,
19780891366982214876402140921887, 23737397907002551324597968465625119,
23737069640378895148774893303201823, 28484877488403061589517725039881977887,
28484877488403061589517725039881961503, 23737069640378895148609966559035423,
34181852986083673907421270210739465994271,
28484483568454674178530034925398245407, 16484076139349757550091354143,
16484076139152010383836872735, 16484076139349757550092369951,
19780891366982412623568396402719, 19780891367219907135168012402719,
19037692046221902921999, 19037626130499818782991, 22845151356623858829410575,
19037626130499817865487, 22845151290708136744354063,
27414181548849788169495904527, 32897017858619745827305301377295,
39476421430343694992790271829393679, 10957472389998965121681334016,
15779176141224387492736374580285680, 9512996593784357315,
11415582740351343165891, 13698715108216860637954499,
13698715108227855754232259, 16438458129873437848293917123,
9512996593784340931, 11415582740351343149507, 9526179738201145795,
11415595923495759954371, 11431428890935734354371, 9512996593785143747,
22810888709486632036991427, 27373066451383969065790095811,
27373066451383969065790112195, 32847679741660762889569495728579,
9526179738202161603, 11447301539750371033359, 13736761781839638192881935,
16484114217306542223029076239, 16484114217306597198610465039,
19780937060767916693241308823823, 11447301539750371016975,
13736761781839638192865551, 11447367455472456089871,
13736761847755360277938447, 13736841012592560149938447,
11447301539750371950863, 136810575443226571360416432399,
164172690531871885687247581888783, 164172690531871885687247581905167,
197007228638246262824751846109921551, 11447367455472457105679,
3174523165888250817, 3809419895735735059393, 4571313366760014640088001,
4571313366766611709854657, 5485576040119940596993672129, 3174523165888234433,
3809419895735735043009, 3182433052538225601, 3809427805622385034177,
3818927586086369674177, 3174523165889037249, 13683493295943504262071233,
16420191955132211337838740417, 16420191955132211337838756801,
19704230346158653611629822133185, 3182433052539241409,
11415609172610890498823, 13698730967616560152347399,
16438477208599257993039741703, 16438477208599290978388574983,
19726172650319149206984807596807, 11415609172610890482439,
13698730967616560152331015, 11415648722044141486855,
13698731007165993403335431, 13698778506068313326535431,
11415609172610891416327, 82091801939834455593541829383,
98510162327801346745007825109767, 98510162327801346745007825126151,
118212194793361616094042147741942535, 11415648722044142502663,
13736761914000935858831391, 16484114296603540720563879967,
19780937156161545793964981977119, 19780937156161545958891726143519,
23737124587393855150834923821187103, 13736761914000935858815007,
16484114296603540720563863583, 13736762111748102114295839,
16484114296801287886819344415, 16484114534295799486435344415,
13736761914000935859814431, 492485103367260538887886888566815,
590982124040712646665629038304903199, 590982124040712646665629038304919583,
709178548848855175998755010737888935967, 13736762111748102115311647,
198241946488061983, 395989112744591391, 475385012311976624159,
198241946488094751, 237692753546105143327, 285231304420251629846559,
342277565304466798246182943, 410733078365360322737830215711,
[ (6,7)(8,9), ( 1, 5, 4, 3, 2)( 6,10, 7, 9)(11,13,12,14) ],
[ ( 1, 2, 8,33,13, 3)( 4,18,43,48,40,19)( 5,23,21,46,15,24)( 6,27,12,42,25,
28)( 7,30,47,36,16,31)( 9,14,22,32,34,35)(10,29,37,44,26,38)
(11,41,20,45,39,17), ( 1, 4,20,38,27,46,33,48,17,37,25, 5)
( 2, 9,36,21,41,44,13,32, 7,24,39,10)( 3,14,12,43,31,23, 8,34,28,19,47,
15)( 6,18,11,35,30,26,42,40,45,22,16,29)(49,50,52,53,51) ],
[ ( 1, 2, 7,11, 3)( 4, 8,24,13,15)( 5,14,26,22,18)( 6,20,31,27, 9)
(10,29,12,16,23)(17,34,33,39,25)(19,35,38,28,36)(21,32,40,30,37),
( 1, 4)( 2, 8)( 3,12)( 5,19)( 7,22)(10,30)(11,31)(13,33)(15,18)(16,21)
(20,35)(24,29)(26,28)(27,40)(32,34)(36,37)(38,39)(41,42,44,45,43) ],
[ ( 1, 2)( 3, 5)( 6, 7)( 8, 9,10)(11,13,12,14),
( 1, 3)( 2, 4)( 6, 9,10)( 7, 8)(11,14,12,13) ],
[ ( 1, 5,16,23, 9)( 2, 6,15,22,10)( 3, 7,14,21,11)( 4, 8,13,24,12)
(17,28,31,37,34)(18,27,32,38,33)(19,26,29,39,36)(20,25,30,40,35)
(41,42,44,45,43), ( 1,13,33,19, 3,15,35,17)( 2,14,34,20, 4,16,36,18)
( 5,21,29, 9, 7,23,31,11)( 6,22,32,12, 8,24,30,10)(25,38,26,39,27,40,
28,37)(41,43)(42,45) ],
[ ( 1, 2, 8,23,40,24,34,20,13, 3)( 4,17, 5,21,10,26,47,36,14,18)( 6, 7)
( 9,27,15,11,25,45,35,16,12,28)(19,41,38,46,33,43,22,39,48,32)(29,30)
(31,37)(42,44)(49,50,52,53,51), ( 1, 4,19,42,41,36,24,26,43,44,22, 5)
( 2, 9, 3,14,37,18,34,45,40,21,31,10)( 6,23,27,48,28,20, 7,13,35,46,25,
8)(11,32,47,39,16,30,12,33,17,38,15,29)(49,50)(51,52) ],
[ ( 1, 2)( 3, 4)( 7, 8)( 9,10)(11,14,13,12),
( 1, 5, 3)( 6, 7)( 8, 9)(11,14,13,12) ],
[ ( 1, 3, 6, 2, 4, 5)( 7,13,16, 8,14,15)( 9,11,18,10,12,17)(19,24,22,20,23,
21)(25,26,28,29,27), ( 1, 7, 3, 2, 8, 4)( 5, 9,12, 6,10,11)
(13,15,20,14,16,19)(17,21,24,18,22,23)(25,26)(27,28) ],
[ ( 1, 2, 7, 6,14,17, 8, 4,13, 5,10, 3)( 9,18,12,23,20,16,11,21,24,15,22,19
)(25,28)(27,29), ( 1, 4)( 2, 8)( 3,11)( 5,14)( 6,10)( 7,15)( 9,17)
(12,24)(13,23)(16,19)(25,26)(28,29) ],
[ ( 1, 5, 4, 3, 2)( 6, 9, 7)(11,12)(13,14),
( 1, 4, 2, 5, 3)( 6,10, 9, 7, 8)(11,14,12,13) ],
[ ( 1, 2, 7, 4, 6,16,17, 8,14,20,24,23,12,22,19,11,15,18,10, 3)
( 5, 9,21,13)(25,26,28,29,27), ( 1, 4,13,11,10,21,24,22, 9,16,14, 5)
( 2, 7,19,15,18,20,23,12, 6,17, 8, 3)(25,28,27,26,29) ],
[ ( 1, 8, 4, 2)( 3,15, 9, 6)( 5,11,14,10)( 7,12,16,13)(17,20,18,19)
(21,24,22,23)(25,29,27,28,26)(30,31),
( 1, 7, 3)( 2,11, 5)( 4,16, 9)( 6,17,12)( 8,10,14)(13,15,18)(19,24,21)
(20,23,22)(25,28,29,26,27)(30,31) ],
376081283230281045404521087744626480453464997919,
41017533299839925308210772140348206448067599,
228976478381738396976688086160498947591397031967,
274771774058086076372025703392598538505489638080543,
190813731984781997480573405133914626481766431,
228976478381738396976688086160498947591398015007,
190813731984781997480573405133914626482782239,
136167202985542050315674920131036566372383,
163400643582650460378809903958641935767420959,
113472669154618375263062598944150306847,
136167202985542050315674920131036567355423,
113472669154618375263062598944150339615,
136167202985542050315674920131036567388191,
113472669154618375263062598944151322655,
28484463738051534471835367913640083727,
34181356485661841366202375357479081132303,
23737053115042945393251255668752655, 28484463738051534471835367913641001231,
23737053115042945393251255668850959, 28484463738051534471835367913641099535,
23737053115042945393251255669768463,
261167683936840202326230409286520636801055,
261167683936446218402395014999838459789343,
313401220724208242791476491142999838526898207,
217639736613705182001995846520570707999,
376081464869049891349771789371598981304126914591,
313401220724208242791476491142999838525849631,
181366447178087651668330559471419423, 217639736614033501938525341759538528287
, 261167683936840202326230409286520638865439,
261167683936446218402395014999838458691615,
181366447178087651668330559471386655, 217639736613705182001995846520571723807
, 261167683936840202326230409286520638832671,
181366447178087651668330559472402463, 217639736613705182001995846520569643039
, 217639736613705182001995846520570675231,
181366447178361251615438472237547551, 217639736614033501938525341759540559903
, 28484391531262965427413804181285454863,
34181269837515558512975862177497631277087, 19780891275562528716897405419791,
19780891275562528716897406435599, 23737069530675034394168251928068367,
23737069530675034394168251927150863, 28484483436810041272935793677848199439,
68409834976294348181782799, 68409834976294348182798607,
82091801971487273369392431375, 68409834976294348181881103,
82091801971487273369391513871, 82091801971487273369392529679,
98510162365784662098820912562447, 13698686635307866181911303,
13698686635307866182927111, 16438423962329757497087279879,
13698686635307866182009607, 16438423962329757497086362375,
16438423962329757497087378183, 19726108754795669314582271410951,
19780936874508888004286407032863, 19780936874508888004286408048671,
23737124249410665407530168673681439, 19780936874508888004286407065631,
23737124249410665407530168672698399, 23737124249410665407530168673714207,
28484549099292798488838588887393746975, 19780936874524720971726381432863,
19780936874524720971726382448671, 23737124249429664968458137953681439,
19780936874524720971726381465631, 23737124249429664968458137952698399,
23737124249429664968458137953714207, 28484549099315597961952152023393746975,
23737069530675034526329369205456927, 23737069530675034526329369206472735,
28484483436810041431397629194870505503,
28484483436810041431397629194869522463,
34181380124172049717676957419991670571039,
23736992942722950764646023861157919, 23736992942722950566898857606676511,
28484391531267540680278761194166206495, 23736992942722950566898857605693471,
28484391531267540680081014027910742047, 23736992965522423878209159861157919,
23736992965522423680461993606676511, 28484391558626908416554524394166206495,
23736992965522423680461993605693471, 28484391558626908416356777227910742047,
82100914161238235839352324127, 82100914161040488673097842719,
98521096993248586561649529372703, 82100914161040488673096859679,
98521096993248586561649528389663, 98521096993248388814483273908255,
118225316391898066577533860729438239, 82091801971619434606928904223,
82091801971619434606929920031, 98510162365943123934458193952799,
82091801971619434606928936991, 98510162365943123934458192969759,
98510162365943123934458193985567, 118212194839131748523755974994018335,
98510162282186923924160426065951, 98510162282186726176994171584543,
118212194738624071412545650603114527, 98510162282186726176994170601503,
118212194738624071412545650602131487, 118212194738624071214798484347650079,
141854633686348885457758333861803180063, 82192111990162871456939163679,
82192111990162871456940179487, 98630534388195248155405893812255,
82192111990162871456939196447, 98630534388195248155405892829215,
98630534388195248155405893845023, 118356641265834297588894150213877791,
23736992979183076255601581980942607, 28484391575019691506655733478318981391,
34181269890023629712989075449886379507983,
34181269890023629712989075394910798119183,
41017523868028355655586890539669449077866767,
28484391575019691427755218693384077343,
34181269890023629713306064651993815760927,
41017523868028355655682284168934919106560031,
41017523868028355655682284168769992362393631,
49221028641634026786818741002722034951201603615,
28484444148744216299355974023479574559,
34181332978493059559226971213035176247327,
34181332978493059558989476701435560247327,
41017599574670991086233637466973435627388959,
41017599574670991086233874961485035243388959,
49221119489605189303480649953584427071211421727,
49221119489605189303480364960170507532011421727,
28484391575056117544031728357388370191,
34181269890067340863396882572859375927327,
34181269890067340863397080484952375607327, 95007344167661114294303,
95007344167661114261535, 114008813001351806620631071,
114008813001351806620581919, 136810575601622326414185447455,
95007502365394185748511, 114009002838631411980763167,
114009002838631411982794783, 136810803406357852765921804319,
114009002838631411980730399, 95007344167661115277343,
114009002838631411981746207, 164172964087629423477492655652895,
114008813001351806621614111, 136810803406357852765920722975,
164172690721946791855491948576799, 164172964087629423477492655620127,
164172964087629423477492654587935, 136810803406357852765919739935,
197007556905155308173149572014653471, 136810575601622326414186430495,
197007556905155308173149572013604895, 236409068286186369807779644804015702047
, 114008813001351806622662687, 136810575601622326414187528223,
136810803406357852765921771551, 164172964087629423477492654637087,
114008813001351806621646879, 136810803406357852765920755743,
136810803406357852765922787359, 136810575601622326414186479647,
164172964087629423477492653588511, 136810575601622326414188511263,
197007556905155308173149572015685663, 136810803406357852765919690783,
164172964087629423477492652556319, 164172690721946791855491946496031,
164172964087629423477492653539359, 197007556905155308173149572015636511,
157675335813121242921296464854466591, 109496760981334197160260993055,
131396113177601035768433622450207, 131396113177601035768433622417439,
109497034578117350412938903583, 157675729792488983605056113689526303,
157675729792488983605056113687494687, 189210875750986780326066512464921591839
, 109496760981334197160260943903, 109496760981334197160263024671,
9486961450507914123375873538160086848, 7905801208756595102813603788230464,
9131192159158048527503120, 11384353740609570054561586434889759870400,
9486961450507975045467988981464174016, 10957430616342659317110951024,
13661224488731484431021656063468185841321920,
11384353740609570359184713386497142425536, 13148916739737960885476608983536,
16475358320129791630660683217125577916503245884,
13729465266774826358883902680937982940349500,
104080616590279271999854412736887800079, 78800464690783234953508770889807,
54722544924155184630792271, 65667053908986029288150073423,
65667053908986029288150040655, 54722614557523995472691279,
78800564962834322469301017149519, 78800564962834322469301015117903,
94560677955401186962968868838015055, 54722544924155184630743119,
54722544924155184632823887, 6730450084872707221584840378124,
5608708404060589384238761740, 57014523711812838377219,
8543515262353748100694736178988092, 7119596051961456750579486491708,
342087104047669671763133455, 11762562739331496221005793510096984294460,
9802135616109580184171494593091798076, 144474219355281842823593373746191,
13683499626507594985947587, 16420199551795282636010996163,
11402916366949118165443, 13683499626507594986734019, 11402916366949118394819,
13683499626507594986963395, 11402916366949119181251,
19780827452300791352251390279951, 23736992942760949556593677311328527,
16484022876917381216868548879, 19780827452300791352251391197455,
16484022876917381216868647183, 19780827452300791352251391295759,
16484022876917381216869564687, 19780827471300352280220670279951,
23736992965560422670156813311328527, 16484022892750348656842948879,
19780827471300352280220671197455, 16484022892750348656843047183,
19780827471300352280220671295759, 16484022892750348656843964687,
82091801971487273368351326479, 98510162365784662098819872375055,
68409834976294347141595407, 82091801971487273368352243983,
68409834976294347141693711, 82091801971487273368352342287,
68409834976294347142611215, 16420199583487649363190268679,
19704239500185139554530551317255, 13683499652939442217337607,
16420199583487649363191186183, 13683499652939442217435911,
16420199583487649363191284487, 13683499652939442218353415,
23736992942761108018429194332651551, 28484391531313329621917419991133700127,
19780827452300923513368668586015, 23736992942761108018429194333634591,
19780827452300923513368668618783, 23736992942761108018429194333667359,
19780827452300923513368669601823, 23736992965560581131992330332651551,
28484391558672697358193183191133700127, 19780827471300484441337948586015,
23736992965560581131992330333634591, 19780827471300484441337948618783,
23736992965560581131992330333667359, 19780827471300484441337949601823,
98510162365943123934457152782367, 118212194839131748523755973953830943,
82091801971619434605888716831, 98510162365943123934457153765407,
82091801971619434605888749599, 98510162365943123934457153798175,
82091801971619434605889732639, 13774729237705722328875087,
13736761781784663652663375, 16529675085246920382119772239,
19835610102296304512128679788623, 11447301484775830782031,
16529675085246920382118723663, 9539417859256549455, 11478941031376779018319,
13774729237705722330939471, 9539417859256516687, 11447301484775831797839,
13774729237705722330906703, 11447301484775829717071, 9539417859257532495,
11447301484775830749263, 13736761781784663651565647, 9565784148157661263,
11478941031376781049935, 22856481335742912411041991,
22810920388637642012590279, 27427777602891527114079699143,
22810920388637642012573895, 27427777602891527114079682759,
27373104466365202713884606663, 32913333123469832569113951715527,
19009100323837784948935, 22856481335742912412057799,
27427777602891527114078650567, 15840916909613711559, 19047067779758909620423,
19009100323837785997511, 22856481335742912413106375, 15840916909613678791,
19009100323837785964743, 22856481335742912413073607, 15840916909613662407,
19047067779758909571271, 19009100323837783883975, 15840916909614694599,
19009100323837784916167, 19009100323837784899783, 22810920388637642011492551,
15872556456281637063, 15840916909615743175, 19047067779758911652039,
137138842225515799161621020703, 136810575601622326409120808991,
164566610670618959158409187917855, 136810575601622326409120792607,
164566610670618959158409187901471, 164172690721946791855486880825375,
197479932804742750990255486947934239, 114008813001351801554927647,
137138842225515799161622036511, 164566610670618959158409186869279,
95007344167656047575071, 114282368521263028914683935,
114008813001351801555976223, 137138842225515799161623085087,
95007344167656047542303, 114008813001351801555943455,
137138842225515799161623052319, 95007344167656047525919,
114282368521263028914634783, 114008813001351801553862687,
95007344167656048558111, 114008813001351801554894879,
114008813001351801554878495, 136810575601622326409119711263,
95235307100915470696479, 95007344167656049606687, 114282368521263028916715551
, 16757669816514603088621961247, 16484114296603375794860949535,
20109203779817523869874928058399, 16484114296603375794860933151,
20109203779817523869874928042015, 19780937155924051117439660965919,
24131044535781028644013439728074783, 13736761913836010155868191,
16757669816514603088622977055, 20109203779817523869874927009823,
11447301594727000899615, 13964724847095366300008479,
13736761913836010156916767, 16757669816514603088624025631,
11447301594727000866847, 13736761913836010156883999,
16757669816514603088623992863, 11447301594727000850463,
13964724847095366299959327, 13736761913836010154803231,
11447301594727001882655, 13736761913836010155835423,
13736761913836010155819039, 16484114296603375794859851807,
11637270705776531341343, 11447301594727002931231, 13964724847095366302040095,
19781164922502125938769158832159, 19780891366982214711475397820447,
23737397907002551126685875464929311, 19780891366982214711475397804063,
16484076139151845457092739103, 19781164922502125938769159847967,
13736730115959735409770527, 16484304102085104813236879391,
16484076139151845457093787679, 13736730115959735409737759,
16484076139151845457093754911, 19781164922502125938769160863775,
13736730115959735409721375, 13736730115959735410753567,
16484076139151845457092706335, 19780891366982214711475396722719,
13736920085070784940212255, 13736730115959735411802143, 15864688556594233423,
15864688556661276751, 22845151290653341617586255, 19037626075704627069007,
9502428089594955712, 4582700431654468939679680, 5499240517985034381520816064,
22845309620492463893398543, 6621076999794839951961028232252,
7945292399753807942351650879128636, 11415582729356227723379, 7927478869885043
, 9512985598669946995, 9512985598669914227, 13200736703742067,
19009073913568017023091, 19009073913568014991475, 22810888696292492294848627,
7927478869835891, 7927478871916659, 13736761781784662612459599,
9539417858216362063, 11447301484774791643215, 11447301484774791610447,
79172786669058261071, 114008812869300454858719311,
114008812869300454856687695, 136810575443160600662679584847,
9539417858216312911, 9539417858218393679, 3809419889138666127601,
2645425010049265, 3174516568820351217, 3174516568820318449, 7918682843906289,
11402911073350455427313, 11402911073350453395697, 13683493288027020333252849,
2645425010000113, 2645425012080881, 13698730967583574804480199,
9513007588917182663, 11415609139625543663815, 11415609139625543631047,
47506829798876905671, 68409834949829033610739911, 68409834949829033608708295,
82091801939794873174871605447, 9513007588917133511, 9513007588919214279,
16484114296603375793820745759, 11447301594725960712223,
13736761913836009116729375, 13736761913836009116696607,
285002953337397491793951, 410404252806050284009183805471,
410404252806050284009181773855, 492485103367260340975793887871007,
11447301594725960663071, 11447301594725962743839, 164926744182815,
164926745215007, 237692588619360944159, 198077019744960543,
[ ( 1, 5, 4, 3, 2)( 6,10, 9, 8, 7), (1,3)(6,7,9,8) ],
[ (1,4,5,3,2)(6,7)(8,9), ( 1, 3)( 2, 4)( 6,10, 8, 7) ],
[ ( 1, 2)( 4, 5)( 7, 8)( 9,10), (1,3)(2,5,4)(6,7)(8,9) ],
[ ( 1, 2)( 3, 4, 5)( 6, 7)( 8,10), ( 1, 3)( 2, 4)( 6, 9, 7,10, 8)(11,12) ],
[ ( 1, 5, 4, 3, 2)( 6, 7)( 8, 9,10)(11,12),
( 1, 4, 2, 5, 3)( 6, 9, 7,10, 8)(11,12) ],
[ ( 1, 2)( 3, 4)( 6,10, 8, 9, 7), ( 1, 3)( 4, 5)( 6,10, 9, 7, 8)(11,12) ],
[ ( 1, 5, 4, 3, 2)( 7, 9, 8)(11,13)(12,14),
( 1, 5, 4, 3, 2)( 6, 7)( 9,10)(11,12)(13,14) ],
235296926759026094625413325086526130850377755607071,
102064866002897229640680593074943312489696556136530171872271,
149875643013451775024583700737158294244769823,
34181277749866604423508976784496671211791,
59065465701905210106372088917837522373968073524239,
47371561204081574384166701694720163871, 82091801895489030000591552783,
98510162274586901805882694221855, 118212172860158315613308789767323679,
28484391531313097656278050620611575839,
34181269837526433815893425489603409887503,
41017523805031720579072268982261618628968479,
41017523804985844400371871027953114069172255,
19780936927694807345953152974879, 68493426658468858767097887,
28484549099329030461532452283942469663,
34181458919194872979797153754034931286047,
28484496569306535654075212481177878607,
34181380124171976554009406156751811674143,
41017656212147776158237909166643659781718047,
49221028613260014189493901348784798107392114719,
86740155950570680470031364928839424, 94560557628848646052552921051054111,
13148966856602235813702246878320, 18934512596334018250619841686368436720,
18934512596334018313951711446266036720, 15779022877883350627214436948001264,
81858591612284848008087614550115985305546801423,
19780877595869121161981736271951, 13736698386572176064005891,
19781164960425064888042476553231, 19781164960425078082182009865231,
82420190312848571001286444047, 28484463738384463701925263084087165967,
151138705981739709724296170438687, 9131192201378677213102960,
10957430894981775457605648880, 10957472380649813378653487600,
13148967080787660624168675705328, 217639940440994870436070836695180771599,
190233111740769017790735, 23736992942719137856179017548448015,
28484391531262965427479884830123048991, 16484076062968774664170520655,
57008195813762907783247, 11415572196585124151495,
16484114062090739935149572127, 16484114062103934074682884127,
19780891275562528771872995164191, 19780827452269125472348608167967,
19780827471268686400317888167967, 68493426658468853700378655,
68409834976349323771527199, 68417428467533534973689887,
82091801901822271609647431711, 23736992979183076189521551626895439,
28484391575019691427556976927284690975,
28484444148744216298959985091124674591,
28484391575056117385636028902871711823,
34181269890067340862921695472820788707359, 79172786674326306847,
91247300817779184199794719, 7609326800100355212240, 9131192180285645495731056
, 10957430616448300213921120752, 86733847158566059999878159766913295,
45602120770908019752991, 47512103069444735427, 285072586706214633603343,
120395182796068202202003407119, 45640148894859005009664, 9502431386552778867,
13736685730765217233649743, 13736685743959356766961743,
57008195813761867595855, 11402916377944251187399,
16484022876917436192458293279, 16484022892750403632432693279,
68409834976349322731339807, 7949470159339551, 13200737173504055,
79172786669259587615, 9539417859264872479, 11447275096497308303391,
13221352446099487, 7918708513047024, 19037758016926011883791,
11402934825000598773504, 120395087957113712542391209999, 6597103321119,
7949469119152159, 2199056810045, 7927478886596663, 9539417858224685087, 31 ];
PROPERTIES_SMALL_GROUPS[ 1200 ] := rec(
isNilpotent := [ 4, 81, -88, 179, -182, 191, 209, 465, -472, 935, -938, 1040
],
isSupersolvable := [ 1, -31, 33, -95, 105, -145, 149, -182, 186, -191, 196,
201, -203, 206, -209, 260, -374, 385, -472, 526, -601, 622, -660, 702, -874,
885, -938, 952, -954, 959, -960, 989, -1000, 1006, 1017, -1029, 1035, -1040 ]
,
isSolvable := [ 1, -472, 485, -938, 946, -1040 ],
isAbelian := [ 4, 81, 84, 179, 191, 209, 465, 468, 935, 1040 ],
lgLength := rec( lgLength := [ 3, 4, 5, 6, 7, false ], pos := [ [ 967, 980,
1006, -1007, 1012, 1016, 1025, 1027, -1030, 1033, -1034, 1036, -1037, 1039,
-1040 ], [ 192, 200, 203, 205, -209, 223, -227, 235, -238, 243, 251, -254,
259, 279, -283, 327, -333, 352, -358, 370, -377, 383, -384, 408, -411, 416,
424, -427, 432, 456, -459, 464, -467, 489, -491, 494, -495, 498, 501, -502,
505, -523, 526, -528, 531, -533, 545, -547, 552, -554, 559, -561, 564, -566,
569, -571, 574, -576, 581, -583, 588, -590, 595, -597, 602, -603, 607, -608,
612, -614, 619, -670, 683, -692, 711, -712, 715, 718, -719, 722, 725, -726,
729, 739, -740, 743, 746, -747, 750, 753, -754, 757, -775, 803, -878, 895,
-914, 925, -938, 951, -954, 959, -966, 968, 974, 982, -986, 989, -990, 992,
-1005, 1008, 1010, -1011, 1014, -1015, 1018, -1020, 1022, -1024, 1026, 1031,
-1032, 1035, 1038 ], [ 25, -32, 40, -43, 48, 56, -59, 64, 72, -75, 80, -83,
91, -92, 95, 107, -108, 111, 114, -115, 118, -145, 149, -182, 195, -199, 201,
-202, 204, 212, -222, 228, -234, 239, -242, 244, -250, 255, -258, 268, -278,
302, -326, 334, -351, 359, -369, 378, -382, 392, -395, 400, -407, 412, -415,
417, -423, 428, -431, 440, -443, 448, -455, 460, -463, 468, -472, 487, -488,
492, -493, 496, -497, 499, -500, 503, -504, 529, -530, 534, -540, 548, -551,
555, -558, 562, -563, 567, -568, 572, -573, 577, -580, 584, -587, 591, -594,
598, -601, 604, -606, 609, -611, 615, -618, 671, -673, 677, -682, 696, -701,
704, -705, 708, -710, 713, -714, 716, -717, 720, -721, 723, -724, 727, -728,
732, -733, 736, -738, 741, -742, 744, -745, 748, -749, 751, -752, 755, -756,
776, -802, 879, -894, 915, -924, 946, -950, 955, -958, 970, -973, 976, -979,
981, 987, -988, 991, 1009, 1013, 1017, 1021 ], [ 7, -24, 33, -39, 44, -47, 49
, -55, 60, -63, 65, -71, 76, -79, 84, -90, 93, -94, 96, -106, 109, -110, 112,
-113, 116, -117, 146, -148, 183, -185, 187, -188, 190, -191, 193, -194, 210,
-211, 261, -263, 265, -267, 284, -301, 385, -391, 396, -399, 433, -439, 444,
-447, 485, -486, 524, -525, 541, -544, 674, -676, 693, -695, 702, -703, 706,
-707, 730, -731, 734, -735, 969, 975 ], [ 1, -6, 186, 189, 260, 264 ], [ 473,
-484, 939, -945 ] ] ),
frattFacs := rec( frattFacs := [ 9, 17, 25, 33, 50, 58, 66, 74, 82, 90, 98,
106, 291, 299, 307, 315, 323, 331, 339, 347, 355, 363, 371, 379, 44, 52, 60,
68, 76, 84, 92, 100, 108, 1533, 1541, 1549, 1557, 1565, 1573, 1581, 1589,
1597, 1605, 1613, 1621, 1629, 1637, 1645, 1653, 1661, 1669, 190, 198, 206,
214, 222, 230, 238, 246, 254, 262, 270, 278, 286, 294, 302, 310, 318, 326,
334, 342, 350, 358, 366, 374, 382, 390, 398, 1159, 1167, 1175, 1183, 1191,
1199, 1215, 1223, 1231, 1239, 1247, 1255, 1263, 1271, 1279, 1287, 1295, 1303,
1311, 1319, 1327, 1335, 1343, 1351, 1359, 1367, 1375, 1383, 1391, 1399, 1407,
1415, 1423, 1431, 1439, 1447, 1455, 1463, 1471, 1479, 1487, 1495, 1503, 1511,
1519, 1527, 1535, 1543, 1551, 1559, 1567, 1575, 1583, 1591, 1599, 1607, 1615,
1623, 1631, 1639, 1647 ], pos := [ 1, 2, 3, 4, 5, 6, 31, 32, 48, 64, 80, 88,
95, 98, 101, 104, 111, 118, 145, 148, 158, 168, 178, 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, 227, 243, 259, 260, 261,
262, 263, 264, 265, 266, 267, 283, 308, 333, 358, 374, 382, 383, 384, 400,
416, 432, 448, 464, 472, 475, 478, 481, 484, 485, 486, 491, 498, 505, 523,
524, 525, 530, 537, 544, 551, 558, 563, 568, 573, 580, 587, 594, 601, 606,
611, 618, 619, 621, 660, 670, 673, 676, 679, 682, 692, 695, 698, 701, 708,
715, 722, 729, 736, 743, 750, 757, 775, 802, 829, 856, 874, 878, 881, 884,
894, 904, 914, 924, 934, 938 ] ) );