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  col18.z                GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 8508 ] :=
[ 56019535657935580639529798099, 525468817719962838407,
6583915266430214414764499, 56015951086444128110019573383,
776117757375972533639, 4471466574985940694957827, 3283751904627462768,
61815357282780551, 773928928481073575303, 136688485647181, 90962166615516551
]; 

SMALL_GROUP_LIB[ 8514 ] :=
[ 638157582392097263, 5433273203470126555631, 638898444848058863,
5433272466881796659135, 638161856518162367, 46258888054004579440145903,
5439581161767849289199, 75077407975919, 87807779502575, 19287934861071,
748281694740390383, 2157973714471, 747545106410493887, 164098629276972063,
6370871148217874232815, 18237009994170199, 6364599098588688859103,
1397135586713872166079, 54241596958716192842235887 ]; 

SMALL_GROUP_LIB[ 8525 ] :=
[ 328806682643999, 53070927923999, 3574095923999, 10645071923999,
24787023923999, 1270164579, 6246803999 ]; 

SMALL_GROUP_LIB[ 8526 ] :=
[ 2622018907389262849467831, 307532159479185368503, 307532126207275853239,
36069997029123511, 36069426471003575, 307527351240515478967,
36102698380518839, 307527318478583675975, 36069936448715847,
2621978196104694845812855, 307811053232129323127, 4300113733047,
2405545730271241, 594492257049894544823, 69726989216802231,
174905122158890700351745, 43245988653471506647073220023,
524428377509843028519169, 129667011632015873595781473719,
20514331985368295681, 5072248258921292228847031, 61509318538377013505,
15208422664098909745702327, 430459389267973875969, 35477164199323163907384759
, 594915348201565480375, 1783769958238818297271, 50487857529661697,
4161056087157247141303, 1494387621161742484940885729,
12741148858028078736728141785345, 299598112777, 2406116288407809,
7214348349516033, 7615519024567, 1412076300297, 64952022456427959,
12030452570630401, 553781201498192537015, 284177710853, 64919313394875463,
12022557279977361, 553780972534761140343, 102571624264205700833,
4721538524341410710332855 ]; 

SMALL_GROUP_LIB[ 8540 ] :=
[ 468175534838206515159066059, 3998219067544774542087946248359,
7466489579162419211159, 871165310976011159, 7439727594496204811159,
874299350016011159, 105106636811159, 54825952211181936666059,
468213658381195653283848359, 33185146941849611159, 2787598032354058892403,
3999607701701874670842020280239, 3999607665464515579293860280239,
1452169430734092015370680239, 166640748615228626710344185,
34231056125042703524155480944011159, 34231055815575656882334194544011159,
86807879447163008175420681611159, 468213645105883440087480239,
19911389032857618239, 3998544642668325903716822411159,
283534106567392051211159, 544274861875412585, 283401166954061721611159,
1190264294861787340811159, 2421381270083464553472011159,
54853820879277772811159, 544274165145812585, 6421607971430418239,
38320128021543, 6423162275635211159, 63800524814345, 751771238411159 ]; 

SMALL_GROUP_LIB[ 8541 ] :=
[ 7026236388686340431, 60011093521393225750943, 60013100996695859845535,
17157895861553567, 824644265888159, 7405717074528671, 28379175491,
97176242591 ]; 

SMALL_GROUP_LIB[ 8550 ] :=
[ 133754977270736522220427991, 1143605055676233029403471026291,
133754989470663505163327603, 9777823226031850276324669141978475,
1143605160032048043012815719787, 153273105110856175791257528631416960661,
17926678960334055649884975570327189,
714853329121004304143655209757812513082731,
83600465009037265791367914677018824043, 371539162296726949300414771989615851,
72429587998279292900849996797163, 9777824965190550390808040961355115,
2118257651688247714810836203, 15643857080087744076503,
1143605259086630415827300363627, 247749432947873140028651,
1830190402855122155, 15648127446423489639659, 1831616970219713771,
133791489674479890620781803, 15660332803307251963115,
2096687250947103480921244171989, 17926675995597856636465186010805909,
445857729340190105222153877, 9849680665890972414626144519886059,
1149468436901570419262967387371, 72429588026958019151945891747051,
133994900048762482224280811, 346763459936577185133803,
15648126091176221516375, 1830261722951590487, 133791489667703654280118259,
15660326027070911299571, 1143917236716817362877425624299,
133895845482723948523365611, 17926675995597734649945293153190741,
153273079762361674241799296196236230293, 3812083585858622494963132399317,
83967035878279357495872283585596728555, 9856918838874717263633410102469867,
371539162542034414570267306968589547, 13039444720028989865685,
1145656395416931846249245000939, 133994900065096763008009451,
2964827582472740156498461931, 214265039009003, 1525081567415617173,
15671918134774813668587, 606312244851947, 107010619749849,
5185853697639740651, 915326898139465365, 44339059055865944642795,
35681816175463, 5184498450371617367, 914970254121546753,
44339052279629603979251, 7826045647394086190805, 379098954944333888397485291,
305037654657460255, 44327463560239782556655, 7822995984396764918481,
379098897000736939289532035, 66912690287633737125282645,
3241296064774105288431503617259 ]; 

SMALL_GROUP_LIB[ 8556 ] :=
[ 118798579494489601559, 13637290636801559, 116680039760851201559,
13884926688001559, 2217584827584001559, 105610288320018959,
18975985648127654401559, 71543804947226151, 18973655935629667201559,
20780661326734368001559, 162358533205453129708801559, 116897803095774177029,
10219634439803100, 1692057601559, 847430067752668801559, 71543783174426151,
98798252601618959, 401241619771, 99045093945601559, 8363865601791,
11548915201559 ]; 

SMALL_GROUP_LIB[ 8580 ] :=
[ 1602123307388913700385886754960823, 77128782077765987082438887,
186727658203836177877186770359, 77128779230487646628219111,
8989368541115914914023, 8989368209227376494823,
186727658667862322198190355895, 8992457597488289810663,
21763130380951971179656631, 1602123311370258718228624848618503,
51445850414378777837573447, 691781261702014704261, 77155286183421289305740615
, 77161279059637011930420551, 661992385875579957271166195015,
186727658668561687430938657799, 8993156067619541882183, 1047712495482964199,
692076843383687809353, 77128786619131972472061815, 21754602056584338764331611
, 186654485648274301724777117111, 464133635984861432039,
1602123307388910906260236252618223, 1602123307389602391986828771991023,
661764925794785273559316831727, 77128779284053154938625519,
13802997068447901780141334706658861863,
13802997068453834727675498522877485863, 62457034114365462082362463756870439,
7279374629837095943729368654631, 186654485646178646211642138095,
462038224692156828671, 1601495486862201187266597115781927,
3982277824243085850183911, 3982266596296462032177383,
4054181110885196592318695, 34167943732004193601066109159,
464134944754739185895, 80621705594145021, 8989610319147835590887,
1047740480602769639, 461232297260419652229, 77130856535358560445928775,
80627379823712901, 8989610400260729345351, 53763133245753575,
461286357644407212263, 54095021784172775, 461286113423976827903,
53850801353788415, 3957836948233733172365543, 464134944743273007335,
10175851268349, 2535555163432392981083, 21755066083134911060768183,
3143151394159069415, 691512608062064960499, 186727658665068196547688013295,
186727659356553923140207386095, 77130853741232909564386799,
65264497628661077117905773, 1608740921049865039734389661360935,
1608740926982812573898205879984935, 7279392428679698435155092169511,
21755063987479397925789167, 1047740101454466047,
186658467000976214763313160999, 26979468133679348320487, 241881575335136541,
26968240187055530313959, 98882754775790090455271, 231483836587164634847381735
, 21755063288927560214167511, 349269670552934759,
186658466993292144548484908039, 26971784958939431441735, 241812692649646725,
26968239291580618904903, 32961115507303243584839, 231417914947896148000511303
, 5933178163775000958513999, 1602123311346285116896215795526079,
1602123317279232651060032014150079, 661782725099775596981226334655,
559969389653909180659454774205, 13802997102607842040925657639342938343,
13802997153512531884051200795136858343, 62457187038071812579904026678237415,
186658449012567109188985579967, 8991060656241223155071,
1601529646868375927683319536916711, 231483855499262876863957223,
2075343872172177771261, 231387500807053816583948519,
848576301779469999258208487, 1986131480183675653087451678951,
134330643564741375, 8989610155954684837247, 14982486371677309517183,
77143300430501300382219647, 2075934816736757435133,
848414035978445526769338599, 231549758227409999975942375,
1986131480183676629968791013607, 2075343872183643949821,
231483836589036990907025639, 1414021700901167195166869735,
17041008099975937104630253553715431, 17806449187434437766826749,
1986131317917874628614962809063, 1986696925582797350283360340199,
7280784669267853838479812724967, 462038230747446049739, 80595875351822832,
6457751767271, 21781120428938567744227559, 2075343872149245414141,
2536495573338624114047, 80608399476146943, 2538591228851759093063,
241812669717289605, 295547426464340327, 3132559989205, 2538592124326670502119
, 241881552402779421, 295628833274465279, 9394622303319, 295873053704849639,
28180809255165, 34442871572711 ]; 

SMALL_GROUP_LIB[ 8588 ] :=
[ 659561787204877697391, 5664317879226526132668383, 1329120569662113759,
76954036811597791, 1374626525345, 8947660490719 ]; 

SMALL_GROUP_LIB[ 8595 ] :=
[ 32361317615859 ]; 

SMALL_GROUP_LIB[ 8596 ] :=
[ 59233923255933791531, 11776225816901716523, 22725879778967,
1369444675873067 ]; 

SMALL_GROUP_LIB[ 8604 ] :=
[ 25730787970602293268255, 221439369400108513875128095, 107686156931220574435
, 221387704465232750643473183, 1905264334315637614288380995359,
68589518821718493310458437527719, 141044462837078880904845477048810634751,
322956033988743737148, 219535516555726810945708831, 107685472715899207907,
25515517067225010079519, 12609110922439067, 2965291457756679967 ]; 

SMALL_GROUP_LIB[ 8619 ] :=
[ 581904113595, 69213179, 2317138010043 ]; 

SMALL_GROUP_LIB[ 8620 ] :=
[ 60965758439344961719, 7080473623041719, 3902081844027358212103,
14497089610481170910797131719, 195104055604808641719, 64753042187190241719,
53606799864473, 7510422036801719 ]; 

SMALL_GROUP_LIB[ 8622 ] :=
[ 12751369398886975, 28399486867755, 109940709066475365183,
230539513284519635, 947908810378215262503871 ]; 

SMALL_GROUP_LIB[ 8628 ] :=
[ 844222592852014033819, 3522228122374593708, 841874799376490170523,
144576157564151, 97571897048655771 ]; 

SMALL_GROUP_LIB[ 8631 ] :=
[ 186106049021 ]; 

SMALL_GROUP_LIB[ 8636 ] :=
[ 144380620474585737747, 158339156440168454395584239, 2123063871096303071,
139553441931635423, 1943789379477, 16139097582047 ]; 

SMALL_GROUP_LIB[ 8649 ] :=
[ 444778983388799, 1684828799, 86137382908799, 14399117308799 ]; 

SMALL_GROUP_LIB[ 8650 ] :=
[ 76654660386143, 1372334189975, 663053163217849695, 11635194398794551,
5735410661337252107615 ]; 

SMALL_GROUP_LIB[ 8652 ] :=
[ 5273485887079256442389666567, 6445061520000801409493113607,
1395538932258867274455815, 610155359587886522768135, 70447041204198333191,
1566033864152613095, 5273485239209876410819048199,
6445060872131421377922495239, 609510620394582874538759,
744921581203822930838279, 1394891062878835703837447, 609510545505753584589575
, 744921506314993640889095, 161221818950181542663, 609507490207854952149767,
70521930033488282375, 806035901083119721223, 161221801991500446719,
6974792924629318275660551, 7826692084519182623, 6973822685466089388418823,
9763288440870086055154439, 60345908383900441544776389383,
5273487338283907686311544179, 6445062971205452653414991219,
13573964087706048787661, 609832952850309898400813, 4695431306904989820,
70447424187747347207, 86098251835602184967, 226115748516071, 8185390095543047
, 1368456852223225965903623, 7826682191955185951, 158091993300845073407,
182305822286707, 158166521051549102855, 905876217430247, 18271565701864199 ];


SMALL_GROUP_LIB[ 8658 ] :=
[ 16075159840283409310561847, 1205009503157054148322776712807679,
433957094260782022938334578935039, 139178736796567372478260118783,
50122094512405657834642408703, 47581031853129721937902847,
5495615043326338252031, 139178736793376621111315268863,
50122094509214906467697558783, 5495614674798056226047,
139178733900342938659266299135, 16075163031474389541389567,
1856682820769986000439, 16075160175237302433219839, 5789107705364154518734079
, 634744311408278783, 214466959161605375, 17165544375631943,
16079541308382677698854143, 5792152119540085580610815, 1857189246889392979199
, 668994607383434083583, 5495700816065596734719, 1857188878361110953215,
668994238855152057599, 634754071132814591, 1856854732609556299007,
214835487443631359, 1856854366058760105527, 214468936647437879,
594191682880261613471, 139216668647976795502805531903,
50148453050977632943054798079, 16079544499207352868027647,
5792155310364760749784319, 47581777665603941277646079, 17167521861494687,
16079541308455985923177727, 5792152119613393804934399, 1857189320197617302783
, 668994680691658407167, 5495700889373821058303, 16076648274773533874207999,
1860045557284725472511, 24828863102207, 2043273068615, 214505618815892735,
77269000716336383, 34681463684351, 10905195823175, 300608319578160383,
998417560285, 300241768781966903, 94363065364801439, 2602667206921772088575,
8580272274769429, 2599493243577424108055, 816995358062533963775,
22533892678840997323111679 ]; 

SMALL_GROUP_LIB[ 8660 ] :=
[ 576431154720898924776623, 4012164342749656274691,
43241914141992390236498580014783, 43241914041692144819914428974783,
15044730629310391614011672255, 4991893933568091395169781439,
200608179855292368575, 66581142258928584383, 54611115431763, 7686793098954431
]; 

SMALL_GROUP_LIB[ 8668 ] :=
[ 11071677560554758547539, 95969311414960269249575079, 11612544745165186983,
1278506968138790823, 6847661258069, 147390004602791 ]; 

SMALL_GROUP_LIB[ 8670 ] :=
[ 2428078032784161985511043583, 2105207655723774611821567,
26015756408300635720045827071, 12813940323152096713074807807,
113671246589550662655, 13110870317995007, 257832260607, 2238623055352831,
51673833459, 2235118362042175, 19408875039544579071, 17314103281,
2234534246498079, 19408865109580198399, 446934498213651, 19378475913858576703
, 168274946615640200319999 ]; 

SMALL_GROUP_LIB[ 8673 ] :=
[ 50373979085651, 6156389067, 150877500169043 ]; 

SMALL_GROUP_LIB[ 8676 ] :=
[ 2036477392182904821969729081839, 17668477854578827113129374529024479,
219997178853906500812858079, 473409920447059646928384239,
25356959259977318458079, 219996952506088921497658079, 25356985300942848058079
, 234707158716055614273081839, 2036319308972449587589953024479,
27281131604803584058079, 17667106324644971289608935833658079,
236745878900388868915258079, 113226780613031366641,
236691102814683896217658079, 2054007245336728766408294458079,
73944263786297194311542401536241, 1329969860705990621107416273388211404858079
, 154611238082767658244339922118246458079, 220051734902625694569984239,
339573528019012550400, 2925557238988858079, 234727312243959948902458079,
113226067161920966641, 27054783787224268858079, 13147884748914961,
3118087117209658079 ]; 

SMALL_GROUP_LIB[ 8684 ] :=
[ 322517155166425232335, 467708656298782136902377431, 6202057399832317383,
557779478224526023, 4300862909705, 64172761991623 ]; 

SMALL_GROUP_LIB[ 8685 ] :=
[ 57793623921407 ]; 

SMALL_GROUP_LIB[ 8692 ] :=
[ 14425184063443062051, 11031310217661828055, 1094845215616674864108767519,
1094845213636877184874940703, 5081409585062687517247775,
125383765402588166834463, 67258126718756895, 1667222873913375, 146232322691,
191154890783 ]; 

SMALL_GROUP_LIB[ 8700 ] :=
[ 5040075399561180744796856549246618373799,
43848655978208663031374515380760809863686343,
5040075353240355630030963025830901229767,
20970884470279811011700963260420798547343559,
277062594431431514479260964213008583, 657709981512138990061871710533083430039
, 447947171750139532626326672398506756915813055135,
447947171750139532624662969154139755889253055135,
165940228335512656868775072190875164282092191,
26691410106281254988632168646156150245314151,
1731437352119055436819745445309202165326254863399111,
199015787599889492870468730523249135485936056519,
5924753831213173812437280883141353568927, 1679134760769121512865444596309855,
78209039124145010135997798840991, 31846275413246715062493051424423,
277062596095249277221410616167409863, 6655310189334655348635642055,
1679134758472828781282092876586847, 5547207336954117503344479,
1032713745528087145315211, 114742553661205098251507,
78189727468878079856754610631343, 78189727277647821883536101831343,
28949469222939043721878139567, 8984609838941230782389383855,
382474161229387554655, 8689522083596891268111528590487,
5918181685054539123853668193010066291359,
5918181685052875420609301191983506291359,
2192366421021575229941291687335328415, 8689522121842942862755230350487,
5918181685054540232989164437677417331359,
2192366421022684365437536354686368415, 4991224493248972431080258711,
681258034569986670922477754186889887, 681258032906283426555476727626889887,
1259265972986946948085871455926943, 78166105600062840318311819541151,
3329318804960004100087647, 65942986382999857351, 16637151182275226041868127,
28965073603343938915704266591, 8984609583938246165536322679,
127500483931762920103, 998260214659990856185822815,
680250628979239293321857107428718207, 680250627315536048954856080868718207,
251860382239569347465224697755263, 78166105598787825395227549316735,
3328043936573515976737983, 13190824217371825167, 3327525256647462288426175,
5545796219828552531510463, 28953982248205648388498195647,
75598842127292952418754790438096487,
51488180659974490377526913893635584098135903,
51488180659960016159300920984704512098135903,
19073587862887704500490126879994852765535,
75598842460033601292154995750096487,
51488180659974500027005731222241538146135903,
19073587862897353979307455485948900765535, 43423653091265545327779899133543,
5926944900758884037026308285518371450719,
5926944886284665811033399354446371450719,
10955613964986438449373657929126080351, 680045118720546711589824964970508127,
28965076671614100856035630943, 114804108890646068137639,
28965073603490475481011347295, 241238003459288525997036035935,
2192366653274471396351211581770063711, 114848064815579182730919,
144743215286149003515318787935, 28976164958306385095758995295,
251996167043042865058184046337887, 4992065897586745635486895783,
251996140349092606469866007584607, 1259498223664842365530247947378527,
4659019596824686078266955607, 13188799322043716336, 61554007830255675591,
8987326838739461230647074655, 114804108885094691835559,
1033025926840056232346815, 13190820516454290447, 118709296909635357351,
505545335311717, 1033026073376652380364639, 13195873502528317639,
118738604228864925535, 1516142550082023, 13643309127851871 ]; 

SMALL_GROUP_LIB[ 8708 ] :=
[ 64028815313352641859, 12730473522929121859, 23937664415795,
1461379630401859 ]; 

SMALL_GROUP_LIB[ 8722 ] :=
[ 2673202075983, 155441083693, 23312596764694863, 1340096523356541,
203332539522292128079 ]; 

SMALL_GROUP_LIB[ 8724 ] :=
[ 551056860666223466411, 902227719917255543723, 4808324271034363297820909,
3722815424647687500, 63224908439262635, 899746217825092401323,
151128156244495, 103131631440365483 ]; 

SMALL_GROUP_LIB[ 8730 ] :=
[ 39665081030869362047, 346276114282573474932095, 39691264278934693247,
346276088365984896642239, 39665347690356403391, 3022990477665110719262991743,
346504724509639972857215, 4550431951660415, 12692156641551743,
401815666280355, 110832292620651046271, 134634340749217,
110806376032072756415, 3499408976902806627, 967565965704622699816319,
1166648823531297889, 967339687969745493599423, 30549828707081586386019,
8446850880779787756645492095 ]; 

SMALL_GROUP_LIB[ 8732 ] :=
[ 15463936885788240951, 7966077918790615841918007, 104476134454169127,
2895800975498023, 203153739533, 330622749223 ]; 

SMALL_GROUP_LIB[ 8740 ] :=
[ 288552078646736695, 19350582237902356015, 3889841065062349151334095,
3213344723330488406611243, 645925698144286296645379358359, 50922418036838523,
2522897134925968037687, 12550483833946119, 2521945249245616726839,
8455897267935371456311, 22050120959245622191107895, 135737567548016098103,
12550479216291847, 15503413711382651, 253970993653, 15530602459729719,
1436090480523, 1773838907191 ]; 

SMALL_GROUP_LIB[ 8756 ] :=
[ 854549407359523259, 97971571300283, 12340635405485411771,
1358793371018123963, 7131464817255, 155072472041915 ]; 

SMALL_GROUP_LIB[ 8757 ] :=
[ 226032636947271047, 66695069513005703, 154503338573003399, 197297287211,
7624859478407 ]; 

SMALL_GROUP_LIB[ 8764 ] :=
[ 115904206320324357619319, 1015784517412681311910958927,
66544919065355749199, 13231235625992259407, 24561414535949, 1509162464970575
]; 

SMALL_GROUP_LIB[ 8766 ] :=
[ 4445379539571589525686643343, 507116078056947923601551,
57853888968474503279, 507147126371215245310319, 57853945203333322607,
6605364369491567, 13855198073151599, 30348971898211, 121452930167479202159,
250478094847102363, 1064656404108828929522159 ]; 

SMALL_GROUP_LIB[ 8772 ] :=
[ 8177551442821867282100023938215, 932233415536826699876859047,
5778872525717022415235, 657493427535632771, 5767528885513262367107,
658786731239027075, 2471692890982238436507, 932234404123809568632130727,
12115124430892538243, 807756978439976879, 21681690030266568484520577,
8177560192974059662752282969635, 106286831133651213891971, 281781579550278333
, 106273872339416317930883, 120443618911370543440259,
932348082704742481376731523, 5769180500164878728273, 56351173580292780,
75478891366787, 6767460985572348302723, 281781462450934461,
770195197555171247, 2157973650967, 771484227132490115, 32135405657517,
87807779428739 ]; 

SMALL_GROUP_LIB[ 8780 ] :=
[ 4358059824793919200455, 16797789713136970744924064999,
217902951842721156311, 72325494594177923543, 57708860878257, 8235878832310487
]; 

SMALL_GROUP_LIB[ 8796 ] :=
[ 73133433662878506236457152747, 548340777322357138871,
8314303692800006203764971, 73132615281462316572541671095,
947878624703648785847, 4824155430426856402326683, 3879169543098185328,
62401061829281207, 945292899078968980919, 156186403818037, 107465432894154167
]; 

SMALL_GROUP_LIB[ 8804 ] :=
[ 222843596570562099, 7493088051682099, 357268804859, 848993602099 ]; 

SMALL_GROUP_LIB[ 8811 ] :=
[ 1949730244527 ]; 

SMALL_GROUP_LIB[ 8820 ] := fail; 

SMALL_GROUP_LIB[ 8836 ] :=
[ 632179979652636935534504275, 42841869771206211, 103303866947,
916375702489923 ]; 

SMALL_GROUP_LIB[ 8838 ] :=
[ 14435061704241079, 31360517919711, 127575266575990481079,
260951788103809391, 1127510225022906225441079 ]; 

SMALL_GROUP_LIB[ 8844 ] :=
[ 101111246512214630736791, 101118323563905683351975, 11432930005110625175,
894227876541591528867569561, 101142639657218871988121, 11433520064145793943,
101117960678160099553703, 11433555890876162471, 45045496571188603544471,
1302906774754199, 5082306067570107287, 44947880455986620214167,
5093344788126571415, 109423590108848350103, 12159362888176953767,
967864168379305012659095, 1633395057301248591, 967742238957019451942807,
1182793442592202394651543, 8559790705149023455103126423,
44972548436159030796185, 544410090145607004, 579639628141463,
104425321071999761100695, 1633393935211260495, 11796477142593155495,
20678515538407, 11807474906865019799, 184824250905039, 1333844398711703 ]; 

SMALL_GROUP_LIB[ 8850 ] :=
[ 725714548857467737875547663549, 6422573757388722698024941991882205,
149091063221322524378259421, 46705748608057090955714128178811,
347864829034412321985147, 475983459101681629, 613047723225723, 32345261735553
, 5426632367427246715, 285673475827703773, 48025704853663038180987,
10837763551951, 5425363425011781207, 285565938335224761,
48025698508950959286403, 2528209414781100141757, 425027487969478662150776955
]; 

SMALL_GROUP_LIB[ 8860 ] :=
[ 4602185141819230588951, 18063481219878204824593873655,
230109216234993061095, 76379894512646691303, 59846001228653, 8619045495818471
]; 

SMALL_GROUP_LIB[ 8865 ] :=
[ ]; 

SMALL_GROUP_LIB[ 8868 ] :=
[ 561750877751909038019, 995438380286254525379, 4982604383157245642834153,
4040733442000488588, 63409143660688835, 992744958254432135363,
161370575728291, 111943717244086211 ]; 

SMALL_GROUP_LIB[ 8874 ] :=
[ 7615519021711, 4231822990291, 67683229103381135, 284177630885,
67568747387651047, 37538445105932443, 600621084757402901135, 2503092444223757
, 599605059530204744071, 333116146931062640251, 5329911506520027448908431 ];


SMALL_GROUP_LIB[ 8876 ] :=
[ 126701276362026758144139, 1124600586433675375323609191,
71824825794417813351, 14282106994831538023, 25845404247257, 1608477559367527
]; 

SMALL_GROUP_LIB[ 8892 ] :=
[ 944235550544220609533832680122192441594091,
1571269607491953410673131272471610993889515,
106189333169615619592350610498814660843,
176705983748532938658848427902033121515, 414369117475021138589346197624155631
, 46600215640484431738284760952303, 11896190743738967051782740051003875,
19829213567081782429103764153076195, 952850232941793197227284707,
106189333169089053850446072318553968875, 11942120239605143409738334114337003,
1337853692189297318270405741027, 150455819924552547183138263,
11896190743197606960287362927610339, 19829213566540422337608387029682659,
1337853210047125516358583339491, 2230006024188242855238590548451,
952850172060091368999278819, 107158145861529347315939,
1337853209986236967104525142499, 2230006024127354305984532351459,
107158139013972910184675, 1337853150829205822893282347491,
150455880821224368749693411, 275825791592293369350013607,
414361983462051579354485204758130159, 414362875313971010812088051416264175,
46599413344828835781972178562543, 46599513643065389027316628254191,
46600215671503342052098359520751, 150554577345834516305713379,
250852813899079860755405027, 107222515964270606063843,
46599413285610916089482076057071, 5240599803423226907585211887,
16985685957966904989923, 16925431664425626805463,
2452642938838512843750031940021, 3684506756944562643620065279694468511851,
3684514687291830228141069792178596182123,
414361983462218007756290427127265387, 414362875314137439213893273785399403,
414369117751007717512574880817576043, 1338731301832069412460882204899,
2230583221263527015307540338915, 3811922426650498278686103779,
5643924932347477929065, 1338731301759138207236970166499,
2230583221190595810083628300515, 1338731408915372485733527247075,
2230583328346830088580185381091, 11903998735890761191315847522212067,
19834346003475282195828331649882339, 150554577354037315657414883,
250852813907282660107106531, 953422611951800737957853411,
953529768186079234514933987, 8477834513979684544892305594595,
414361982935652265851752246866573419, 46599413452039317894704445192299,
150554589396693154904316131, 250852825949938499354007779,
107234566822909204666595, 151036792457044320784914659,
151036719525839096872876259, 151143875760117593429956835,
1343019158528023723233553078499, 16985694160766256691427,
16920357707658141898199, 150455826592361287404751331,
250787901956859413684554211, 12051079381741738211,
1337853263564982931100218713833, 160740379094280619026905,
11896190744542868446022703402409031, 11898866300301162854067672348318791,
954226513311029349556547591, 5652170325961551794819,
952850323349047855499714567, 12388921762824781859884773383,
12388921764093293302859051015, 8491174179437771669543546662919,
8491174179439040180986520940551, 1903375705731274979, 634650276346239305,
150554516464132688077707491, 250852753017378032527399139,
16931463942311390238947, 28211067693238666942691, 107161634262442378057955,
16931457094754953107683, 28211060845682229811427, 12051466135012940003,
16924804256138676984035, 1910223262168406243, 16924797479902336312535,
1903447025827734743, 22562696374215102491753, 1338730760399046711859846772963
, 2230582679830504314706504906979, 150554577354037185050474723,
250852813907282529500166371, 952881251860305360834459875, 634721596442700905,
150554516465487930992277731, 250852753018733275441969379,
16931465297554304809187, 28211069048481581512931, 107161635617685292628195,
150495359434343719749482723, 16985694160635649751267, 31020179307979857805991
, 5240630822333541696382266863, 66280329346964822243, 6026035805686637783,
275831434249237668105738677, 46599689272189839319140467964011,
589437627174075085265123, 3488870392737852521, 589364695968851173226723,
696520930247347730307299, 5241279380837316734540765411,
53596194711488163707903, 2452693113344146005249953700017,
414364437008312051294897646019085603, 5241279610431040373862144227,
31023034368443036198057, 5240630876580019777071335651,
6195505659156386921000196323, 46605458295952816135798201768163,
951419403360899119, 53583511023569189182463, 476577363373217591196367871,
31031278765613225854121, 6193464111784991775784298723,
46605458295952817491041116338403, 5242672411901911461299730659,
275856813357668743225271465, 46605456254417495599356887943395,
55090436321218600149418980538595, 223038214815200547887945539147,
37681858837360196896364865766784087, 193946564058520601148848913957280618673,
32766884104545760841175097540976747836605731,
25782324451830939473316707121305777, 4355872108659510436778943459079129662755
, 150554746066055776684761095, 250852982619301121134452743,
5652170325700337914499, 16937482592107409590745, 951419272755953484,
1904125755267225827, 3172637198241503459, 73557828704585, 216215435876579,
426856943004287622160976099, 31023034368181822317737, 47944343403696431029247
, 317234880070406191, 48004604473474049833187, 3488870131523972201,
5391851282396144855, 35681816061415, 5398627518736816355, 392325833988425,
606312244746467 ]; 

SMALL_GROUP_LIB[ 8900 ] :=
[ 595885555954763655089431, 20547114616409980074435,
47213077879221376730370589635423, 47213077735396964431223243715423,
16275355481399344647262483295, 5303381584620704310292689759,
205470971852083977247, 1628390276075884695624076372747,
3739748593743223006034121383536435780639,
3739748593741942968764658972157747780639,
1289847937555360393745240584684952607, 1628390282924666233678711892747,
3739748593743223615575678270398997060639,
1289847937555969935302127447246232607, 914332885524711499848100619,
420775774566941436510572159570926623, 420775773286904167048160780882926623,
724232105655637970010647820098591, 47200096103809137457132440771615,
1829651995418357317786655, 2309880742217926859, 9143190325154432646405151,
16283902759296730473797016607, 596049572686979375586335, 2309876013739952331,
66971850143233498143, 260066288629931, 7523008457497631 ]; 

SMALL_GROUP_LIB[ 8901 ] :=
[ 55861243367 ]; 

SMALL_GROUP_LIB[ 8908 ] :=
[ 174074057845118830115, 203118628284667042214412079, 2559701591778242079,
168327598564322079, 2202624336785, 18873108802079 ]; 

SMALL_GROUP_LIB[ 8916 ] :=
[ 1028236564959942773707, 4151400707846105868, 1025469373499478644939,
164897671194047, 115011275342858187 ]; 

SMALL_GROUP_LIB[ 8924 ] :=
[ 329030027502425404511, 2936264718173026535868479, 790510709350860863,
36955608330537023, 915935339445, 4133939578943 ]; 

SMALL_GROUP_LIB[ 8925 ] :=
[ 1381353085691097909, 1839981370892083, 17314165749 ]; 

SMALL_GROUP_LIB[ 8932 ] :=
[ 5425590576750522609853547, 48461375032118636127166745047,
338099087755182477415, 37786652207091815, 337509801856911872103,
37852633178247271, 4300113711207, 607435412771849004139,
5425613690003725995559383, 657361636113649767, 5425613397813678363811943,
365204297543457847, 48461581482326981668581092455, 5875503204279284535399,
22682907048366917, 5871554485145520672871, 35881371612240740946023,
52479994620558445529075815, 608052910652670906471, 22682891627877189,
68043028781407287, 1412076281481, 68075737843044455, 2539974955597,
7615519002727 ]; 

SMALL_GROUP_LIB[ 8940 ] :=
[ 13669582846822906730105987, 278959407016446856260851,
1092807392317108992039004317404559, 1092807386645145995585065808809359,
371590474759268453763449081231, 122206073745614871577170267535,
4649321062124745807839, 122206070645834847415206591207,
1549887730729151037911, 2493897093462507943911083607,
9769698087314954387406206751069776863, 9769698036607605199107996484228688863,
3322018844347861154276423665265631, 1092522299285796829469573367802847,
41571149728426624891115487, 31208243223443415623, 41564930755894275181696991,
69273864391862220599023583, 371646078572085341023983327199,
31203526006395467888, 13673151008199488297359327, 31208179600085492295,
1529088459732041073111, 1172487596103085, 1529435152498416375775,
3499284685826703, 171028675149060063 ]; 

SMALL_GROUP_LIB[ 8946 ] :=
[ 10840976237862748319, 96983250290510573167639, 10841024319328367639,
867612157040302570244920039, 96983746880028536120039, 1225378201948319,
246481942515552735, 156485275584720365148319, 17492206062016348319,
6612567181954899881175, 1399917275384010283421148319, 246536908128681175,
156485279494862192348319, 29257625952735, 1900239757148319, 137898073952735,
17007396126649948319, 27751718772331, 16999575735430767639,
1231904695840681175, 152148176548244329948319, 246425255867653171,
152078207508006148920039, 11020617100805402871975,
1361117587438283268417948319 ]; 

SMALL_GROUP_LIB[ 8950 ] :=
[ 91007369697299, 1574077468769, 814504505718077715, 13808240125826973,
7289816275015304636819 ]; 

SMALL_GROUP_LIB[ 8954 ] :=
[ 30152478455, 7793431173, 269790375862007, 69386226950781,
2415705453615212279 ]; 

SMALL_GROUP_LIB[ 8955 ] :=
[ 5743664994258016116191, 71658933194771 ]; 

SMALL_GROUP_LIB[ 8967 ] :=
[ 6406152210420714359, 59640676268705, 714413883114359, 2737437949674359,
7050477545, 6413411296777194359, 24553868101620714359, 178642091948705,
80041194359 ]; 

SMALL_GROUP_LIB[ 8980 ] :=
[ 743504221207745729737151, 4989672892059698655235,
59970905088608059550521555420927, 59970904564711864712283748828927,
20118457188392075410263770879, 6676668072703577058959165183,
249483601483011196671, 82815494393652315903, 63162326126147, 9220410558121727
]; 

SMALL_GROUP_LIB[ 8982 ] :=
[ 101276940100213421735, 909669403313500866156455, 101277002098245309863,
11281673612399783, 15653026908384935, 33459255800215, 140593526386058923943,
282950160798976375, 1262811074627701961818151 ]; 

SMALL_GROUP_LIB[ 8988 ] :=
[ 1896272320326956245106271, 1971815650203838307, 1895425029575419040409183,
210883975742405705311, 1054327654628703059551, 210883955187260877895,
9477566012732378692738655, 9854863589857143027, 9476297047054662419894879,
13266732985420962131363423, 85184363322448163272699512415,
17753703145884720997821, 5912210371891870108, 274068598314851,
1860847826117583633660511, 9854851599355967731, 206943062003443061831,
220967807440623, 207036903091498362463, 1097987321931619, 23023475185319519 ]
; 

SMALL_GROUP_LIB[ 8996 ] :=
[ 6201613985961619802331, 398926501750553248315,
502475126601962547978407422223, 502475126130523018715354802447,
620833605571441359187486991, 55789726390400797121603855, 7671429997498755087,
690186168294651919, 4957206778607, 76654660298767 ];