CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

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

Views: 418346
#############################################################################
##
#W  col11.z                GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 5004 ] :=
[ 842418752719582717729655, 5709853118609539441181057, 168347620190653619063,
842410547748464511763319, 168349256993253225335, 570470287212455713655,
2855782191729707888376695, 4105808812915947535, 2854633498901021555076983,
14290334087305087809202103159, 514452089037081119020611470419,
357830194200026376925687014365603351, 843559469963344098024833,
12310712665626957948, 33825118301080439, 2813575935602551856109431,
4105763969009109007, 562265316094249747319, 826409140347967,
112346799175342967 ]; 

SMALL_GROUP_LIB[ 5012 ] :=
[ 2305691625751898667, 456427995075905323, 2602046250263, 91007369602603 ]; 

SMALL_GROUP_LIB[ 5020 ] :=
[ 2189219125000000999, 437000000000999, 151212451128921812503,
190530600369750441406250999, 7560618375000000999, 2501466187500000999,
6125000062253, 498125000000999 ]; 

SMALL_GROUP_LIB[ 5025 ] :=
[ 272629307675, 244208496040149, 6891617888906328731 ]; 

SMALL_GROUP_LIB[ 5028 ] :=
[ 32935963530174212419, 235788761827610508, 32778812215476921923,
16607491214051, 6518928688719171 ]; 

SMALL_GROUP_LIB[ 5031 ] :=
[ 689374491897923, 280673734597955, 40213816630595, 3286028561, 55861242947 ]
; 

SMALL_GROUP_LIB[ 5044 ] :=
[ 105122513131158998111, 12171078500960001035, 2680061751257424597888271487,
2680061692619185697099613311, 5954594862676564125942911,
530238168930349904561279, 234046457194218623, 20884286311761023, 481069900715
, 4133939577983 ]; 

SMALL_GROUP_LIB[ 5046 ] :=
[ 1942558221332426386975, 32429655790517029762591, 1040225758266911,
8516675103, 43122327565855, 334394789, 42885040866023, 217595380715175455 ];


SMALL_GROUP_LIB[ 5050 ] :=
[ 619848693122653000030399, 122742315609800030399, 24309724800030399,
122764044971200030399, 24320168000030399, 4825600030399, 5072000030399,
156800039903, 25612958400030399, 776452800990303, 129345493253600030399 ]; 

SMALL_GROUP_LIB[ 5052 ] :=
[ 860746113598521245750096819, 1535954056197120839, 170378029471831524176819,
860749804866388702960800839, 33892074050042880839, 310671728640839,
241481052274719600, 7793661112544072808419, 6676454937600839, 16927626415981,
33731128669109760839 ]; 

SMALL_GROUP_LIB[ 5054 ] :=
[ 917072279, 4635261471383, 272103611, 4623006996719, 23426683020712727 ]; 

SMALL_GROUP_LIB[ 5058 ] :=
[ 878220492878959, 3343728796521, 4441929007882318959, 15927458018673881,
22467278082879795278959 ]; 

SMALL_GROUP_LIB[ 5060 ] :=
[ 3819317392471921514218463759, 754805809651203273486863, 2191376073812771163
, 429067817301639, 2170872040012683611, 433099359316315,
149259122332303849095, 126655661703, 1282536982427523, 149179669207966387847,
29482155822593671, 274420598659, 88442890764711559, 6486109431219482991,
754849047529294593368591, 361012505972550608590115,
42012600657137265480629288423, 29482147906617691, 447836324156469925511,
3848057870254079, 447521074671137383047, 1640886463508576071303,
2266051800225855912586887, 45488277203939949191, 3848053252599807,
8978114106530139, 253970989781, 8989766427250311, 760593627011, 1773838907015
]; 

SMALL_GROUP_LIB[ 5068 ] :=
[ 2471515345676564802179, 12525641743160713802401079, 2465256619146241079,
488070661086721079, 2720977952225, 96241996801079 ]; 

SMALL_GROUP_LIB[ 5070 ] :=
[ 41384527923455, 1065349941810276927743, 4253225044665543231743,
210128732079982847, 838900941716130047, 10898946250203269375,
2149693584705791, 5445439280133162688222559, 209818262522367263,
41498664176927, 5401324204977991412517119, 21563850976454191573797119,
1065352671694352058623, 4253227774549618362623, 13815281152591103953151,
210130216050329855, 838902425686477055, 2724909008903702783,
27594834007109983439999682815, 8408533247, 41445776427263, 165463963732223,
44877351167, 227949715982591, 12262444407, 227525722180895,
1155706884822567167, 4108720885, 227419723733639, 1155705506842711391,
62029525766271, 1153555434268969727, 5859433909212819704063 ]; 

SMALL_GROUP_LIB[ 5075 ] :=
[ 4877978391 ]; 

SMALL_GROUP_LIB[ 5082 ] :=
[ 91803500273179098134405199, 3657031135292793601599, 8334656001995,
465534577939201959, 26020501454466300801599, 94449157871540683681174401599,
3657032068672899201599, 91604646401959, 5120130156179201599,
18585036968032405292801599, 26244626220462933777601599,
50286139836778845155201599, 719605686428801599, 141598873601599, 1740801995,
719604893465601599, 14758401599, 75099360001599, 8204801995, 75027270401959,
381655841200001599, 1651205991, 74955180805919, 381655048214405199,
41643232009915, 381288616777609159, 1939574986252312001599 ]; 

SMALL_GROUP_LIB[ 5084 ] :=
[ 1321458505566766439, 6718302690134387201199, 7923191234561199,
261442887681199, 38092801589, 51200001199 ]; 

SMALL_GROUP_LIB[ 5085 ] :=
[ ]; 

SMALL_GROUP_LIB[ 5092 ] :=
[ 56345949732645539, 3226558527727523, 165763298003, 632086406819 ]; 

SMALL_GROUP_LIB[ 5094 ] :=
[ 710151797718532823, 3617509020655562527703, 710158172377641431,
140040130339031, 910058476632791, 3440292376111, 4635723641620925399,
16503992454532639, 23614377433456418985047 ]; 

SMALL_GROUP_LIB[ 5100 ] :=
[ 7121089753135835690411443215239541043,
36317557745753349005924502385455995559731,
7121089562689027442637508688939589427,
17368965939517820764676297171666372402995, 667779465830860338526823544528691,
929582206379368343744123520174649395,
120854324131987832346743950193478049688781631,
120854324131987832325741360554677608344781631,
80594777293091191001561803275557025153855,
22107644498339032883689758624107591565619,
492764872123692599919910918574622078610194833203,
96620563161503961293480765530915120347094835,
4655740019394620428463153134732116799, 4047014690691327411218460709695,
178720463066763825492617397055, 130937152451039715834558738739,
667779477500333926564962001493811, 46678370134849726124662579,
4047014674200409398336498438975, 38911987691373738332991,
6864668334886683226895, 1372808093960237039363,
178641032096823473250574086207, 178641027978668642113232646207,
119021539737994474308055103, 35009811515002922276565055, 4575991550252684095,
35739407160047223861055451187, 4646456136883272417474034817732510527,
4646456136862269827835234376388510527, 3098606596077706148727198668882751,
35739407617619982876315611187, 4646456136883280196210938077155230527,
3098606596085484885630458091602751, 35005689231987208729260083,
913497163071602492171026822136639, 913497142069012853370585478136639,
3034909230466572841007758508863, 178550038741752310868452901695,
23359089611723490988863, 1345855086265376563, 116682400248372471534399,
119131357023706412612588351, 35009808463919727849451551, 1525506490150957855,
7001321234561533579882515, 911069263693799684354744827183423,
911069242691210045554303483183423, 607009852663765024725763555647,
178550038726496894896316809535, 23343837186422982324543, 269248549143723795,
23337558007425936666943, 38895031215778244342079, 119053569651085014579818815
, 182270976516240809301606050758963,
23696926298104689329117590110837304988479,
23696926297997576121959707859982904988479,
15802893639996301358526860984666035007, 182270978849861880279432866758963,
23696926298104729000675796733893176988479,
15802893640035972916733484040538035007, 178529015083124803680171131187,
4658835531665172710087580880329511743, 4658835424551965552205330025929511743,
15478037075379521510091027690558271, 910605197582936802175040196973375,
119131393804745321868170047, 1374064519291135390003,
119131357026697083166397247, 991795823337175255508587327,
3098607552861427050641726587802431, 1374961544825327907123,
595080241273935384522265407, 119209144392738989659919167,
607570108404204970536083657535, 35015755653067228978409779,
607569920820909600653304664895, 3035865998630000949497868325695,
448813499632590643, 269178051551772416, 11673602957448299950309427,
263891380605759, 52785148072947, 1346699446770996031, 269424342155140915,
6868171598841528718143, 17600775992305, 1346101312445494047,
269248420294704915, 6868168608169901175103, 1374064519097861861683,
35027675161491826446177087 ]; 

SMALL_GROUP_LIB[ 5124 ] :=
[ 101128325963507753328234059, 2655162242985929507990163619416359,
2655460844216070901119445565016359, 20588080355015635353603959,
78863105753413982208003959, 518265526848337550413987416359,
20424332048327884803959, 518181546250182960529776216359,
518239821275581358876630616359, 101144716404433106083416359,
518181542252910447312240216359, 4033895783897088003959, 784124275507203959,
65347762176007145, 20588064299078331801603959, 78863089697476678656003959,
4017970409639731203959, 15390926186064076803959, 20408276111024332803959,
4017967275600691203959, 15390923052025036803959, 3982880736460803959,
4017839846593536003959, 787258314547203959, 19738622800765296234059,
101140719131919888547416359, 19911389032857603959,
101140703200301789348280119, 3982879542067218119,
518245044831956740893552003959, 102049978932489830403959, 326493910425812465,
102025960294919270403959, 142834800055845888003959,
522904092050394355507203959, 156067430403959, 15925248007145,
784151248896003959, 3003697653350403959, 195855219316652400,
4025931551123572440059, 335869684970828904005, 20588116209725423475360359,
78863141608123770329760359, 751771238403959, 63800524807145,
3855451729305603959, 12839731221541, 3852343120896018119, 326493213696212465,
19755339336191692803959 ]; 

SMALL_GROUP_LIB[ 5140 ] :=
[ 14817528556085584265471, 174303259623056932867,
391631743748001559092832240639, 391631730676105728556967920639,
230250990445916791639114751, 76162102584457885323887615, 8715158383604270079,
2883955434140468223, 6734508785411, 560888369120255 ]; 

SMALL_GROUP_LIB[ 5148 ] :=
[ 4699060468148613185137883, 24190763291697645171983116343,
167842479196430403527, 24190763290020990510578933207, 166166150162266721255,
124534049425659474521419952808455, 864055209508027389446087,
864053082272928253872071, 866210517658484371097543,
4448156218546581823552489415, 167842892491396745159, 3236362747864198437323,
32271735371859911, 166134244943292532679, 32603623910279111,
166133919316052020199, 32277996669766631, 855259092396790915794887,
167842892479930566599, 912825675566199729371, 4699228246525192798332983,
1885904618536306631, 4699226569870531394149847, 209575584372624359,
24191627013108994478386307591, 9710764588242164516807, 145101402217123077,
9708637353143028942791, 11866072738699146168263, 49991016100534699202447303,
24191618381689820687859476903, 1079346391333359074663,
124538495863485106583199214573511, 49991022837756045658425287,
746981992102016600805, 49980065095250738626168775, 61121225674626009255643079
, 257353785568768371348131022791, 48358790006850301, 1078895159641146670439,
5556475222522541475118439, 747336531289983437541, 61086542460123138313422791,
257353785568768452754558945223, 50014747890752757837596615,
3845462940704649361509093, 257353750885972950735347517383,
314652069772975084369457186759, 2200364449819699517161780045,
641225893012450056146641480667654567, 147257172928906848141238828820903,
124602223116098956901134379846565, 3308611696248379599668709674749457438663,
8338878946524723080031437147955894215, 166585238476096821707,
48358778540941296, 6457751766983, 4708605212954738625873863,
746981992079084243685, 912970822344286682471, 16127943792149245,
914647477005690865607, 145101379284765957, 177344738157923303, 3132559985749,
177670365398435783, 28180809254877, 34442871572423 ]; 

SMALL_GROUP_LIB[ 5150 ] :=
[ 5600937000323, 169725404205, 28844117045251715, 857083640470761,
148547261655935735555 ]; 

SMALL_GROUP_LIB[ 5166 ] :=
[ 8675616358467165, 1836084216535449665839, 355416997888065839,
134366214874726526445, 9485211062731299225665839, 8678965248126445,
1836084354105344065839, 1782579267165, 65444249665839, 8401715267165,
338361234227265839, 1690828873561, 338086087884872079, 43347312640126445,
1747974515979059265839, 8672162611582441, 1746552834827878721679,
223932150785640897645, 9030036350873867059265839 ]; 

SMALL_GROUP_LIB[ 5172 ] :=
[ 39026821209017280859, 271615260982349100, 38845790499489760859,
18598277624471, 7510422036800859 ]; 

SMALL_GROUP_LIB[ 5175 ] :=
[ 2185824370584737 ]; 

SMALL_GROUP_LIB[ 5180 ] :=
[ 930533219422897627187, 4820162833754443304388503, 949401274596069383,
79751928390270116979, 24979592743677128991470859215,
24979592079120535469847819215, 15285200575010166231610319,
2891751597006777754750769, 129869325527959937946545706382343,
129869322085556783504538359182343, 554212454690963714672266458119,
4820162453934508275741647, 569654649726573023, 24968443481506182315160253447,
4921706166349041897479, 25679425756049825, 4917899171747456782343,
20654598719844672016391, 25494437941590729999978503, 931329367262662463495,
25679371578356129, 179719866989353439, 2979773161023, 179793177148592135,
4961128813601, 34681463640071 ]; 

SMALL_GROUP_LIB[ 5194 ] :=
[ 191154902535, 18951724849, 992635633886727, 97351301024697,
5155754604152090119 ]; 

SMALL_GROUP_LIB[ 5196 ] :=
[ 1078270830903640100122647215, 18260950533279843167,
207524597446549865487023, 1078297808303143259564213087, 40127787188757726047,
3521859677061983, 277987851705616128, 94924175428234682708399,
7686793098953567, 18946713638737, 39942508949674132319 ]; 

SMALL_GROUP_LIB[ 5202 ] :=
[ 62061062086724074937658715204826960383, 21789932166183476179611496187171327
, 1699026312119063149553914367, 314788268574761051523912191,
454766695594266307072511, 3371670093664451630962053631,
1660718593444452627382276607, 40928547715348959743, 7867849120944639,
257832260095, 1344926260400639, 17314095089, 1340837451538207,
6996310324496306687, 89421420494609, 6975036251967648031,
36394806321703110578687 ]; 

SMALL_GROUP_LIB[ 5220 ] :=
[ 371793838946183551307787, 41308376160335414106483,
10135889965926329069472287213359, 10135889897083436199113624045359,
6253234101815871615265851183, 1940763991036559706264094511,
229489954850812746047, 1940763838023046008459719287, 76505748472237940519,
215629722244537232438033503, 52909345622135436971441615732896895,
52909345262775536188169393995936895, 32641882011478738011065725645951,
10130788033210400154525804164223, 1198248810106457038018879,
7915506756041615503, 1197937626000549002893631, 1996515153988465036646719,
6254858788782927097082435903, 10130787234479770730029049001543,
399518268603917970506887, 1125587150115845774693914005039,
276186784147546980991335118309493664063,
276186782271688298902654120842562464063, 170390624099919012992496994664933695
, 52882713533358289298933743019714879, 6254859864917371662083578175,
41318931599480326262383, 6253234407930759748736801087,
10427426525655364191327902015, 32650368494868704722089753467199,
7913483711153263629, 399360039397069280576647, 2085485362110365845211382919,
41345303134726132403823, 10421809104032510217081346367,
32650368494868734029347301120319, 6258851676598714663638161727,
215684796558712930656390767, 32650362877600066074432399759679,
54431166463921064689546978416959, 375387407435162855389044555357,
276073223788887696736614581783703139911, 56826139342125944896937295929488967,
30678286237783825720615750316671782447,
7525649288706090690975683195718401461744658751,
7525649288706088815117001107037403994813458751,
4644078970674925598639174717191032547928383,
9797610112440506102270758155603503,
1442288757926903392261515288140940070709567,
1483162196275512728749348764484633979199, 7913481860712321264,
1941741713245935541392529727, 41318931595779408727663,
371828157564536686707847, 2639174996579144717, 371981171078234491083071,
7915503055124080783, 71231439757663821607, 505545335267813,
71260747076893432127, 1516142550080455, 13643309127850303 ]; 

SMALL_GROUP_LIB[ 5225 ] :=
[ 164621151 ]; 

SMALL_GROUP_LIB[ 5229 ] :=
[ 24595988483 ]; 

SMALL_GROUP_LIB[ 5236 ] :=
[ 7066050809348249871, 36997854228995424407711, 13763189011383711,
36997848110969130094687, 7646330948159839, 193720764810304422459475359,
72146811899858650527, 810530189086553, 72064070213659788703,
440384548197787239839, 377760707105370065077663, 7078750057079506335,
810529249562457, 1350767415920991, 86033566197, 1351935647024543,
154753041913, 257832256927 ]; 

SMALL_GROUP_LIB[ 5244 ] :=
[ 320606545172478260079, 2658186324587459, 320442744782534314863,
61106554264662895, 173131957779067759, 10185904789426255,
908088170960798339951, 7529009099210715, 907904006199492009839,
1014715140048945539951, 4762014368527231367293807, 527731917763,
1328449989445084, 13957128062760775833, 1773838906223, 1436090479555,
9331567835122543, 85096780275, 9300494979868751, 7529004481556443,
48934773438623971183 ]; 

SMALL_GROUP_LIB[ 5247 ] :=
[ ]; 

SMALL_GROUP_LIB[ 5252 ] :=
[ 139817690396900110099, 15536105756900990011, 3864835523725318628900001199,
3864835638119626417700001199, 8240727367265547300001199,
734322781471403300001199, 298755644800001199, 26678225600001199, 566400009911
, 5072000001199 ]; 

SMALL_GROUP_LIB[ 5260 ] :=
[ 200260556808982140871, 277036300349290014357487655, 10013022796489165335,
3313987990250264343, 7388414086433, 629824599049751 ]; 

SMALL_GROUP_LIB[ 5268 ] :=
[ 26413709455512212843, 43587180955981039979, 5021848611607403,
297826597183805388, 139191167872288656004685, 8235878832309611,
20021441654191, 43388679552330118763 ]; 

SMALL_GROUP_LIB[ 5274 ] :=
[ 1083396983582551, 3954852804861, 5713699713822588759, 19642473549843029,
30134053722531012970327 ]; 

SMALL_GROUP_LIB[ 5290 ] :=
[ 2526218639, 13381973326479, 367324037, 13332318558987, 70790769760981775 ];


SMALL_GROUP_LIB[ 5300 ] :=
[ 8924937452036221961123, 524973030639621897843,
250822049956752000569057928335, 250822048731892044350628488335,
147464566460456919720453263, 47302171980276742301869199, 5249717748101161087,
14759475157580429359259181151, 7045595148296895708182134075105678463,
7045595148290403950414176399073678463, 4145936569872423250105810448749695,
14759475332560423104749101151, 7045595148296904982121802586071438463,
4145936569881697189774321414509695, 13911434607979734523306079,
1332482924372795154176182372734079, 1332482917881037386218506340734079,
3907621804249981088077715805311, 250701511512964345136389493887,
27848066322627789463679, 99139132083608399, 139110779788038748446847,
147594751513074388009525375, 8929234033181490258047, 99138791420795727,
1684760276929814655, 18736454707727, 317741071999103 ]; 

SMALL_GROUP_LIB[ 5301 ] :=
[ 69929890886303147, 11490610575151871398439, 11490843652776805798439,
408909850588439, 8870899708439, 52839514108439, 2514268787, 1684828439 ]; 

SMALL_GROUP_LIB[ 5310 ] :=
[ 613047723218995, 32345261728825, 3256740836314136627, 10837763161727,
3255471893898287623, 171361120907829097, 17293296344161221997619,
57134795982640055, 17286556990990613211151, 909927044302940187721,
91827403596232616402832947 ]; 

SMALL_GROUP_LIB[ 5316 ] :=
[ 46028740437550401907, 311670034800922668, 45821011914594932339,
20762898512747, 8619045495817587 ]; 

SMALL_GROUP_LIB[ 5325 ] :=
[ 691488357979, 1505859180681313 ]; 

SMALL_GROUP_LIB[ 5332 ] :=
[ 10593181344647915, 350276947245035, 46302038231, 65420297963 ]; 

SMALL_GROUP_LIB[ 5340 ] :=
[ 214528778153946494026007, 7397146252938873810371,
6120221117615892160857392015199, 6120221065839103733164347483999,
3515562611846862990174840671, 1145583757331458527453505375,
123285593395428335519, 1145583675130689550489006767, 41100214938772724591,
39500760757520028614928987, 32681980768068864075834401234984863,
32681980491580813871953543438376863, 18773104347262300646959874940831,
6117417264149983104278768492447, 658510352411014643851167,
1385584887631333403, 658345089175668413964191, 1097214994742507028357023,
3516445281872658972429787039, 1385234304826378688, 214627154317039063015327,
1385580159153358875, 40176954283114126191, 87139094132905,
40192344803424346015, 260066288614443, 7523008457482143 ]; 

SMALL_GROUP_LIB[ 5348 ] :=
[ 3407965753570241139, 675068347313121139, 3377920355915, 126150728001139 ];


SMALL_GROUP_LIB[ 5350 ] :=
[ 6791116097363, 197956432169, 36331612453992531, 1038428710024389,
194374197960645677267 ]; 

SMALL_GROUP_LIB[ 5355 ] :=
[ 17314157557 ]; 

SMALL_GROUP_LIB[ 5356 ] :=
[ 17489362249694413775, 9647826762838274568815831, 336316649568045767,
30042863035406279, 613089585737, 5600936969927 ]; 

SMALL_GROUP_LIB[ 5364 ] :=
[ 4921309539719543496581475, 26397904368406605546244525159,
930001064450032031415, 141598359032132958727334042872503,
4990397777963256664970935, 6244037247328723525, 4988525986028487421253303,
26768493680827047609955473079, 963665873380735942920730955349,
4074370985422906616027673526009648458423,
770196377372583298429930498891524791, 18722586416876521968,
4921590706978120406783671, 6243973623970800197, 917522419845930374839,
1172487596059277, 171028675149059767 ]; 

SMALL_GROUP_LIB[ 5372 ] :=
[ 8204957330515289619, 3481609023290985699006959, 120644628933405407,
7861720133421023, 285460117893, 1460466050783 ]; 

SMALL_GROUP_LIB[ 5380 ] :=
[ 20413123050742231055291, 229362217147209420595,
591144186330467039739243480367, 591144194357646778544548824367,
331937417557178679765288239, 109822609653458848095995183,
11468105335243039791, 3796178451231487023, 8088821249927, 705378222351407 ];


SMALL_GROUP_LIB[ 5382 ] :=
[ 909815761558869, 112516310111695238275, 20906039854537859,
19571390470375364973, 605562781026867458465923, 909984305949037,
112516313995637229699, 174151544149, 1773838916739, 929467850069,
9564614249591939, 85096788019, 9545193715058319, 4999944262048109,
51476773813617107075, 454694809139539, 51372233076197867415,
26909697986957827965, 277047996734415476708995 ]; 

SMALL_GROUP_LIB[ 5388 ] :=
[ 267678460934258073735615, 1442251547478846201214796671,
49904098687492031359, 333395892444131328, 49681889113290048383,
21913460215361, 9220410558120831 ]; 

SMALL_GROUP_LIB[ 5390 ] :=
[ 26507788803559, 142876450937603559, 26583148803559, 770104070529148803559,
143283216496003559, 5017603559, 14758403559, 8204803595, 79568915203559,
44212243203955, 428876980246403559, 4928005593, 79532870405539,
44189305605935, 428876727932805359, 238304128227209355,
2311646926056676803559 ]; 

SMALL_GROUP_LIB[ 5396 ] :=
[ 80065596882881259, 4591862559201259, 209751364847, 848993601259 ]; 

SMALL_GROUP_LIB[ 5404 ] :=
[ 3881258765976110026943, 20974325272888636575057023, 3628552836159112319,
718835418572784767, 3522410090309, 132938364617855 ]; 

SMALL_GROUP_LIB[ 5412 ] :=
[ 1916742954870476878439, 10373415846088717209664399, 3350522508083201999,
10373412867354414387776079, 372338497945614479, 56140926559032030707814401999
, 18136768414259609601999, 81737030041662449, 18133028215786700801999,
22162511043906764801999, 98156190658095631564801999, 27241185283198400,
1919812624210329601999, 81736938291262449, 354182148915214479, 1690828815961,
354732441600001999, 15112601603169, 65444249601999 ]; 

SMALL_GROUP_LIB[ 5415 ] :=
[ 2355740778538386565847, 12531406710743, 325852631, 1752395448023,
2916570889943 ]; 

SMALL_GROUP_LIB[ 5418 ] :=
[ 2514632543345020762439, 13624279113319742724258863, 2514284509097952930863,
464062558519667015, 14645935015397741506666823, 2703199895861539426631,
2703199523293248420167, 464139526245546311, 2514702154563912711215,
464143265060318255, 13624656270667393459206719, 2514725540829357828671,
498929791495350599, 86720428452167, 406132258470361415, 11612122978189067,
11922022122786284555559239, 1705463105686561824530759, 2200447423787180822855
, 314777616275234951495, 2703269503140874871111, 2200447051218889816391,
314777243706943945031, 498942321125144903, 2200424221204603216199,
406504826761367879, 2200423852910438267951, 406136532596419631,
188625002229811721243, 64593515861255510895368828231,
9240199106609213138656523591, 11922024141590737210778951,
1705465124491014479750471, 14646314168163378709984583, 11616397104309275,
11922022122970427455917383, 1705463105870704724888903, 2200447607930081180999
, 314777800418135309639, 2703269687283775229255, 11921898430270186228954439,
2202443025657258435911, 75077407975751, 2275073044235, 406136591146084679,
58098605263481159, 87807779502407, 10722954280715, 476112306838544711,
2157973707415, 475744012673596463, 58021344789312539, 2579576987042548266311,
11607715024681399, 2577581200962656680511, 314359555110789508283,
13976148117571490765258567 ]; 

SMALL_GROUP_LIB[ 5420 ] :=
[ 133462776548161079, 25849290241079, 239812370148364100103,
352241027417491707216331079, 11990612818607041079, 3969343797942241079,
8332994952633, 732113121601079 ]; 

SMALL_GROUP_LIB[ 5425 ] :=
[ 6246803879 ]; 

SMALL_GROUP_LIB[ 5428 ] :=
[ 38966982235622139, 1799834007492603, 122037096191, 330622748411 ]; 

SMALL_GROUP_LIB[ 5436 ] :=
[ 1140737907677400000022799, 11106108119277000509625149,
209846567160000022799, 1140724383624180000022799, 209849050620000022799,
1021436746200000022799, 5554586102744520000022799, 6767068860003352651,
5552530451809110000022799, 30194730054337286340000022799,
1087010392738247951296440375151, 892257171816405462956726925937522799,
1142780412458610509625149, 20291020020512977500, 38880000000022799,
5479013883403890000022799, 6767000820003352651, 1007912692980000022799,
1253880000044851, 185389560000022799 ]; 

SMALL_GROUP_LIB[ 5439 ] :=
[ 21552885863, 913765505, 116965421547623, 42127967322215, 4683441346601,
636174711831267431, 229133798299273319, 14038123124777, 636520835057059943 ];


SMALL_GROUP_LIB[ 5445 ] :=
[ 530054686640352011399, 17878835211399, 5324811399, 71405363211399,
35829145611399, 454995168011399 ]; 

SMALL_GROUP_LIB[ 5450 ] :=
[ 7457656318559, 213324715479, 40643284196375135, 1139943905311863,
221505977176530829919 ]; 

SMALL_GROUP_LIB[ 5452 ] :=
[ 1840026019155130399, 471447443103458980830743, 15860672346712839,
565340859631623, 62039632433, 103303866119 ]; 

SMALL_GROUP_LIB[ 5460 ] :=
[ 5606250123022899801356315, 167131290753402199308793987069319,
167147986629409759506747277309319, 1020498794413918185851063,
4078351543051317078395063, 30615731735958093264158848391,
1214544867922865555639, 30610126511612206590987203975,
30613184364360843989879747975, 5607276874799750499399047,
30610125672585591378419774855, 187793334595454240951,
167234243049384558984213710111471, 167234243049664582129693325394671,
108524214360364810448085582575, 19876229770684604495037167,
58436076135410486217472355177, 5004931860426364228106627300621849846519,
5004931951585848758311682444286006518519,
5004931860426365757033001619321296118519,
5004931951585847229385308125586560246519,
22646780784682006585384449697028367095,
22646871944165007864065274661738767095, 916654217495800428640214222067065591,
916654217497329355014532921513337591, 4147762048481598844910482179351287,
4147778744357606405108435469591287, 4147792656568328455727573981586167,
10702578081057402915793769, 916654186891275500098849344226452215,
916654186891275780121994823841735415, 916654203587151507659047297516692215,
916654203587151787682192777131975415, 4147762048476558428291849868665591,
4147778744352565988489803158905591, 167885387819744113869999916311287,
167885387820024137015479531594487, 759663378843229291932733006583,
759666436695977929331625550583, 759668984719919696821360124663,
916654186886694414779851319932216055, 916654186888223341154170019378488055,
4147762047462314595364671846736631, 759663383696963813567931736823,
30610125672141028788308673263, 187348853412153264575,
912536847513576011334321574626321143, 912628006996577290015146539336721143,
5571923421977352919773612215, 22267799429537550873063852215,
167161895278334297662246126740215, 19882114701382134855108791,
93700068390475926809, 5571923417499170550940436663,
22267799425059368504230676663, 5571942832436605877385955511,
22267818839996803830676195511, 30422701883996345434582620833975,
121582184885275026259547331233975, 1020498795234247202834615,
4078351543871646095378615, 6631414979104370820909239,
6650829916539697266428087, 36207550236785159398694586551,
167131290753405756297368286126839, 167147986629413316495321576366839,
1020502350263378478368951, 4078355098900777370912951,
30615731739515081838457905911, 1218100717383158073527,
167131286172320437299343991890679, 1025356084784939529144503,
1025351606602570695968951, 1044766544037897141487799,
5598444222924796582173870263, 187794154924471224503, 34225498814941367,
17111282501028089, 1020497871429755546372279, 4078350620067154438916279,
186904541389384583351, 746950832348615149751, 1213621883760226076855,
186904372314466420919, 746950663273696987319, 222275132366784695,
186870350432814762167, 34394573733103799, 186870269026004634047,
34313166922975679, 280108688579887107353, 5571918378005705133255035063,
22267794385565903086545275063, 1020498795234235736656055,
4078351543871634629200055, 6626375485638953135507639, 17161378235157785,
1020497872081009645193399, 4078350620718408537737399, 186905192643483404471,
746951483602713970871, 1213622535014324897975, 1020312113137153010567351,
187794154913005045943, 1026819957416216360987, 5606437848184537931969927,
1111237413354604727, 280040258131945457907, 30628982430313145265096098543,
30628982710336290744711381743, 19877069840121020408529647,
10702951445251352803814249, 167885383238658794871975622075127,
167885384767585169190675068347127, 759667970476086769643338195703,
5606437403621947820868335, 666756230053628351, 30611150654196083814163669751,
6071835238944208849079, 85542927514733849, 6067357056575375673527,
25482294491901821192375, 33152220404730402054342839,
5606436959059357709804759, 222275046752655143, 30611150651084145683385975767,
6068723870661102015767, 85499093078514305, 6067356486727704778007,
8494223666138494014743, 33135232333904638727165207, 1529019800892093807685455
, 167234244069509767334948157990335, 167234245598436141653647604262335,
108528801327059232615874110911, 58438114891070565701267295161,
916654192483077020003910582698350775, 916654200831015023784009559343470775,
4147787118799433766244752638449847, 30611148223772159456322201023,
3641412128654468588159, 167136882571910620816129785436343,
33152227994932305035528375, 467064356110390020857, 33127769530248971428825271
, 139174770428319317816772791, 181011164852330463824024963255,
85486557487704063, 3640489144497562198655, 6067356323908351435391,
19882110222467013383561855, 467303648303464336121,
139133327927162660896114871, 33169208476207416422697143,
181011164852331115078123784375, 467064356121856199417,
33152220405951503632959671, 231888194635260576765839543,
988320960093724333204587513645239, 2550170871469631712283385,
181011123409829307167104305335, 181103878276537405082974030007,
759894246538624267457587054775, 6457751767223, 3326720608505,
34231857193158839, 136804437954922679, 51289423705597680,
187348859467442479307, 93700074445765151045, 1020502350513562659635015,
4078355099150961552179015, 34442871572663, 15656684620025, 188253250715125943
, 9394622302743, 188171843904997823, 85542904582376729,
1027863591157690271927, 3132559988629, 188090437094872871, 85499070146157185,
1027863021310019376407, 51301947829921791, 1027418458719908274815,
467064356087457663737, 5612135209131003004848311 ]; 

SMALL_GROUP_LIB[ 5475 ] :=
[ 97176252383, 376830369353883, 2925626364733779935 ]; 

SMALL_GROUP_LIB[ 5476 ] :=
[ 902698823490040403, 27247479322258819516634639, 27247478677574879230989839,
182869891298678052886031, 6098391857259791, 165934316926223, 30152467727 ]; 

SMALL_GROUP_LIB[ 5484 ] :=
[ 1661457047815626182151585287, 39101613310326473615,
302967488234564097883655, 1661473705440181844083544975, 55490910342649086863,
7139356201452431, 364230998320052160, 214488933096180231590855,
10073963663328143, 23521134979705, 55248148018866881423 ]; 

SMALL_GROUP_LIB[ 5490 ] :=
[ 3072766913574912219839, 16869490316417789337826919, 3075145021253837026919,
560142729216219839, 560307655065819839, 3076054288516915426919,
560329900646626919, 16887538027984716288651719, 3076195727736115851719,
840076838093019839, 4612019255615693019839, 841656572928219839,
4612017701311488226919, 840102268723426919, 25319985712025751245019839,
4620693827308032219839, 108291686619839, 153678643419839, 751771238619839,
38320128223143, 4129009269350619839, 12839731430341, 4127454965145826919,
209894917939628463, 22668263955015782619839, 69982059111260461,
22659729270627226251719, 1152322471110771147663, 124448769123737852160219839
]; 

SMALL_GROUP_LIB[ 5499 ] :=
[ 4728295069 ];