col17.z

#############################################################################
##
#W  col17.z                GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 8001 ] :=
[ 7006358548503199625094935, 3099940761336047, 875751446673263509271,
7006887324364726834979327, 7006755146026364007842303, 131143121058524399,
451670914799, 109463001866234351, 18601673035213295, 137115804551,
13687182723311 ]; 

SMALL_GROUP_LIB[ 8004 ] :=
[ 487775721737287971371, 3904158184843817768449063, 1374475103513216375,
3904156875663625620202743, 65458456672747655, 31248882111489890853886828919,
11002743080149397407095, 47401934458933985, 11001298828447299765623,
12049035736220037088631, 88065955613564090330973559, 6771061039676528,
489114258172906341751, 47401919038444257, 60945162405494919, 284177613637,
61108707713680759, 5923670984217, 7615518999927 ]; 

SMALL_GROUP_LIB[ 8010 ] :=
[ 7523008458163615, 260066289295915, 60276973808281879967, 87139094814377,
60261583287971660143, 2078153573114621467, 482818590565720536024479,
692833818000325145, 482695297107515243712751, 16646003302678704736411,
3867376910537382879772706207 ]; 

SMALL_GROUP_LIB[ 8020 ] :=
[ 2697836108096232678400480399, 7468738969600001599, 937164800001599,
336383080943641600480399, 2529286233318463840003,
21644299428319325394969600001599, 21644299732664110618649600001599,
8134233233576758092800001599, 2697792393440989619200001599,
126464284262400001599, 41958547046400001599, 40140800159603, 5230592000001599
]; 

SMALL_GROUP_LIB[ 8025 ] :=
[ 5706579678216493 ]; 

SMALL_GROUP_LIB[ 8028 ] :=
[ 103642341142974047208174143, 253989369076680273591125861,
12910091632458189091391, 103642199312743158088673855, 12910109267063598496319
, 15817966697807639704127, 127018409707947390514582079, 70950919560250206931,
126986639790219108691750463, 1019703793133493628157357378111,
36709338266041853479210901291095, 65718669508022109357470737650093558815,
103673973186041122647595877, 212780425741998215292, 1610098140863447615,
125848028635723142566635071, 70950436420375976659, 15676136466918520203839,
8903577682341931, 1952506271728644671 ]; 

SMALL_GROUP_LIB[ 8036 ] :=
[ 4225784267315712328039, 33958404576859776717120239, 2763910506086408239,
272889739195122539059712008239, 22229605476191436808239, 67469685555262605,
155472335617857945608239, 178637109608344705433608239,
35012877496985724354664896205, 17632272994178175325083900939571208239,
11535901503709224283963021824008239, 4228132502945792008239,
67469593804862605, 526148612915208239, 8401715209565, 65444249608239 ]; 

SMALL_GROUP_LIB[ 8037 ] :=
[ 888520626727195771, 13898124963 ]; 

SMALL_GROUP_LIB[ 8050 ] :=
[ 1773838938871, 422845232199, 14283804142406391, 253971019789,
14279920035499667, 3400367712971971, 114984656164924913399, 2040423672676337,
114953377451997645307, 27372960990682047339, 925626482322269103303927 ]; 

SMALL_GROUP_LIB[ 8052 ] :=
[ 392419406865282398985848459, 3159761064129264948021821016599,
9968403319894425604199, 1231763886489604199, 9918143364260044804199,
1238006533939204199, 48739439941171977848459, 392450020423798861987416599,
56319410726092804199, 392449970356551816971544119, 6258380897894432519,
3160007564452427229273763204199, 453546673367117414404199, 923397685862612469
, 453483899708504371204199, 554256751198189363204199,
3651957813953414469427204199, 9930857569495157304059, 307765122063116400,
156067430404199, 48790739745155174404199, 923396989133012469,
6053237874892832519, 12839731235941, 6059455091712004199, 114761318407149,
751771238404199 ]; 

SMALL_GROUP_LIB[ 8055 ] :=
[ ]; 

SMALL_GROUP_LIB[ 8060 ] :=
[ 572958451430714984198021181359, 71086656810011681630781359,
389054799703641603059, 48145710528003059, 388053735418425603059,
48269925907203059, 6071500803059, 284517237395314007111,
71087018906516000337981359, 1094259239308803059, 77595319203288623103,
19387914279693317304597119, 18490560001946433337733883101,
4620051302275022173412720193903059, 18490560079538541410693883101,
4620051302277427528762981953903059, 8130385630023136441083101,
2031393111100153948065192303059, 298442746252810019,
2293209015234852639483101, 572961372389105729660405103059,
8823515901264345603059, 35313865747226201, 8819729824836758403059,
31269712748363193603059, 71117538164150922835203059, 751151773729296003059,
35313843974426201, 93096217555210019, 1197504010773, 93194954092803059,
4382553603581, 11548915203059 ]; 

SMALL_GROUP_LIB[ 8075 ] :=
[ ]; 

SMALL_GROUP_LIB[ 8076 ] :=
[ 36904460478595085943898039967, 214249214100350436671,
4569479872635473684260511, 36903119451138966896904242495,
567560359975525025087, 1730845566308164245553823, 2529788556166437888,
26572648322434367, 565874109438813537599, 110936891777377, 70066435421898047
]; 

SMALL_GROUP_LIB[ 8082 ] :=
[ 9220410558321535, 21913460416065, 74518202517966492543, 166750474074649025,
602256124906695506989951 ]; 

SMALL_GROUP_LIB[ 8084 ] :=
[ 35711703484853643, 838367959632523, 94134037055, 103303866763 ]; 

SMALL_GROUP_LIB[ 8085 ] :=
[ 39757523213559, 321438821692813559, 321730243900813559, 5017613559,
39750880013955, 4928013595, 13257952013955 ]; 

SMALL_GROUP_LIB[ 8091 ] :=
[ 1684828739 ]; 

SMALL_GROUP_LIB[ 8092 ] :=
[ 16875855619214565135, 1107250894110051872808128767,
1107250883985539622159536383, 2321297574632401644048639, 2089674529048063,
136559433055454738051167, 11816915991269215, 8959874235138700442293660288511,
8959874153211147310045250717183, 18783939974086116387725510143,
1625548778805770847743, 286863290553180620287, 136832818542315214734847,
16909661882426590719, 2086753011765087, 86033567733, 2089673589523967,
257832257023 ]; 

SMALL_GROUP_LIB[ 8109 ] :=
[ ]; 

SMALL_GROUP_LIB[ 8118 ] :=
[ 65444249665999, 15112601667169, 531789112934465999, 1690828879961,
531238820249678479, 122596170137726449, 4317064615870464065999,
13624796775038441, 4312596789562573377679, 995235604958415297649,
35045930553720201216065999 ]; 

SMALL_GROUP_LIB[ 8124 ] :=
[ 4763238565463967632604339, 38696550105556171723259041351,
588123644715164394823, 2605957951310828400, 586386621192021226823,
113601923585645, 72177315983533383 ]; 

SMALL_GROUP_LIB[ 8132 ] :=
[ 956151210835299699, 55310087219870323, 1102899883403, 6791116065139 ]; 

SMALL_GROUP_LIB[ 8134 ] :=
[ 1876486186815, 117190000459, 15261179032602687, 942267322258467,
124134479847946508479 ]; 

SMALL_GROUP_LIB[ 8140 ] :=
[ 152288561833732528257649068071, 7288938126858176303255,
18708668530016118057125927, 24201524059182117, 7286535315033153015959,
895151849633616023, 3219702944805, 2297709041144183059571,
18703353978200347108689959, 2685385845428064407, 196933819327799606643,
152288561831345329635153677519, 152288560190297415020533517519,
59312395076471975457852623, 17633322498960347427147573,
1244456735247684810206693027624087, 1244456721889554785243684925224087,
5310644836456310872736474739863, 18703352187746327960751311,
895151756757577247, 152245301389114922204002923671, 21868604544882329915543,
72609815804359077, 21859041676438079967383, 80149062723813932732567,
178010440995231112815382679, 2300153641224645873815, 72609761626665381,
282354089927061023, 2979773166207, 282574020404777111, 8923840123941,
34681463640215 ]; 

SMALL_GROUP_LIB[ 8145 ] :=
[ 38047677495476987469769559, 253935130020585119, 4671205032315244489559,
31442417385119, 70443100905119 ]; 

SMALL_GROUP_LIB[ 8148 ] :=
[ 6865494941593477071577691231, 455799551746767464075784709705925183,
455814860983324194989721482026648127, 2457877381833634207003321919,
4336772393705371312645482047, 55944605491669608551765395735103,
860827847483055805572671, 55940052988066725028980604109375,
55941931883078596766086246269503, 6866053693161634864791650879,
55940052784525457808337971020351, 302076357054154785433151,
37021614044130321983, 1089199114945578917, 2457876957372009999929189951,
4336771969243747105571350079, 301654072439043444975167,
532249925638814812874303, 860403385858848731440703, 301654020339206801335871,
532249873538978169235007, 105596890723500697151, 301651895429947711301183,
37073713880773961279, 842642333090299754984543, 6865850151894414222158561855,
527933605671484794431, 6865849729505853572896751807, 105596878199376098495,
55942947037635674270067245196863, 4302238671274922332923455,
5443427607339949157, 4301603067205394217575999, 6022202869008350180288063,
35054640693553339303213409855, 2457878332350650728452194879,
4336773344222387834094355007, 8891930645001594372101,
301865188920810529849439, 3265625317135408128, 37021896880611665471,
65322811608124106303, 166988328486821, 4575480200046143,
843089782926083516016191, 5443420301600578661, 103420148287254082751,
134634339882913, 103471981464410662463, 668996990945189, 12692156640667199 ];


SMALL_GROUP_LIB[ 8150 ] :=
[ 56796876888083, 1079956241265, 462887394036603155, 8627339799846381,
3772532854199918098835 ]; 

SMALL_GROUP_LIB[ 8164 ] :=
[ 25577218443802711010875211, 319392861973587791, 39267940370255,
3132674829598706374475, 222324018319770619835, 209076077368366243546773182543
, 209076079409613999317921683535, 284953802609796589581064271,
25575161194675847585437775, 4275318441990317903, 384233641045145423,
3354452459135, 47019189217103 ]; 

SMALL_GROUP_LIB[ 8172 ] :=
[ 17921280283167193307463, 146488697655000722185271623, 78968415531779056615,
146452705969124740621196615, 1197105637234542246645818442055,
43095804881390684354691183638667, 79944610670291395701137785804735253351,
236826158078033039772, 145162688179828679277159751, 78967887268764447719,
17763421748229037711687, 9735132697894439, 2173500440535882055 ]; 

SMALL_GROUP_LIB[ 8175 ] :=
[ 289989391338405002015, 2848073712760119, 4323091014431 ]; 

SMALL_GROUP_LIB[ 8180 ] :=
[ 386408084042836288385111, 2848106234597460990915,
25862962575442766949431516862047, 25862962458675172823415896151647,
9528679065304058653973681759, 3160818222366915231547135583,
142405282067418318431, 47251801227132077663, 43449693014187, 5775262235100767
]; 

SMALL_GROUP_LIB[ 8188 ] :=
[ 179105324629949385623, 1466514845496590793054095, 469883569494689679,
21929854705534863, 646711483901, 2673202038671 ]; 

SMALL_GROUP_LIB[ 8190 ] :=
[ 22360968541407437543987639, 2730277158356725553591, 2730276989281807391159,
183136332354126747914598898103, 67082066375610489965664695,
22360968542058691642808759, 2730277809610824374711, 333367271843977655,
51320757713656247, 25658826336262649, 3442814850163653108324791,
13763067876814874370660791, 420368282661380184503, 1680472437319648958903,
2730507946554893031863, 420368113586462022071, 1680472268244730796471,
333395342577916343, 420316996360297535927, 51489832631818679,
420316914953487407807, 51408425821690559, 630180358833495367193,
28196653622840854480657340855, 112719525911114356619189180855,
3442816235544746726545847, 13763069262195967988881847,
22362860083020410018879927, 25708922070392345, 3442814850814907207145911,
13763067877466128469481911, 420368933915479005623, 1680473088573747780023,
2730508597808991852983, 3442396200826516601854391, 421702377453915756983,
420316833546677282855, 51327019011565607, 630180314999059147649,
28196653622840284632986445335, 112719525911113786771518285335,
3442816234974899055650327, 13763069261626120317986327,
22362860082450562347984407, 25665087634172801, 3442814850245059536250391,
13763067876896280798586391, 420368364067808110103, 1680472518726076884503,
2730508027961320957463, 3442396200256668930958871, 421701807606244861463,
3442395533453487169368959, 421035004424483271551, 5161177138736821414960121,
230930593171066599298824694159799, 923172917212026581813400463759799,
28196664969112590451021207991, 112719537257386092589553047991,
183151824079938460608309778871, 210555974770409118713,
28196653628175198527366650295, 112719525916448700665898490295,
3442821569888793435855287, 13763074596540014698191287,
22362865417364456728189367, 28193224884770373366565329335,
3453742472562486965721527, 6286523521463, 3155492362745, 51327030477740471,
205185901620386231, 34442871593399, 15656684640761, 282278116413430199,
9394622323479, 282196709603302079, 128281479899799065, 2311858609418386561463
, 3132560009365, 282115302793177127, 128237645463579521,
2311858039570715665943, 76945093020383487, 2311191236388954076031,
1050625411186322611193, 18934122012539295926868407, 25652540577225469,
2310524433207192524135, 1050266363319220256225, 18934117344917023595756183,
630180340023229538271, 18928656226614175715925119, 8604622117922831129870969,
155070459282701084024357411255 ]; 

SMALL_GROUP_LIB[ 8196 ] :=
[ 620130308527504542547, 2723641748329019628, 618314839277600372819,
117689142908987, 75438740306954067 ]; 

SMALL_GROUP_LIB[ 8204 ] :=
[ 72907228144590291747699, 598130935478035081641023447, 44737855755132757719,
8891733680078730967, 18843709697009, 1083396983498455 ]; 

SMALL_GROUP_LIB[ 8214 ] :=
[ 35673171203753423685681695, 176623850007071, 53670186373496207903,
177707377007135, 11968396428762855569951, 1457073938498902559,
528729064487574047, 4342971633633803172383, 21714078239, 177389271173663,
64369442343455, 30152469023, 248344608782879, 913757725, 247262774878583,
2039903131679670815 ]; 

SMALL_GROUP_LIB[ 8217 ] :=
[ ]; 

SMALL_GROUP_LIB[ 8220 ] :=
[ 6953935119556643254156103, 154524374285767037746115,
469998362186594736165400880276511, 469998358941714549093884712903711,
174015971976915008170924893215, 57161348396963487083848983583,
2575404673337141512799, 57161346679886798537726076687, 858536849489778497999,
1270190353458333169790365323, 3863386537173808730422623088542272095,
3863386510500893592694760192737856095, 1430411289650242076630453533067871,
469866283823039790075890435148383, 21173272540547081553594975,
18801684908605839947, 21169826692260996513286751, 35282479995411200236079711,
174044300283267683436969609823, 18798594102082228160,
6955890510489760111282783, 18801643221422578251, 846006471280138705359,
768235234467961, 846215335978903554655, 2292795079430139, 102913744849357407
]; 

SMALL_GROUP_LIB[ 8225 ] :=
[ ]; 

SMALL_GROUP_LIB[ 8226 ] :=
[ 58647371914888949711, 482433234589029518684111, 58647415498168086479,
7133821817008079, 10073963663536079, 23521135187641, 82867162563031216079,
182171880703567753, 681665292524286735986639 ]; 

SMALL_GROUP_LIB[ 8228 ] :=
[ 17447849605530163471, 143560925710139098435743, 21627720806959519,
1181219296954491359405803935, 178188663283924339103, 1273905620717465,
1957460493291621452191, 1466136321521313730529695,
709609997192517979751903385, 80059998345597586037218932440435103,
99257405508633980468990789552543, 17467809409575946655, 1273904681193369,
2122968176003487, 154753042937, 257832257951 ]; 

SMALL_GROUP_LIB[ 8236 ] :=
[ 22515926127371868127, 13165433069043132727851959, 194089693855681959,
7009550469601959, 332682564857, 848993601959 ]; 

SMALL_GROUP_LIB[ 8244 ] :=
[ 1283999482030268368662906145331, 10585291729857491902629887284756487,
91266729423018121343192279, 314278472230125850304265251,
11070667411726252821719, 91266563001227645129837783, 11070687561728973720791,
155748575713928636703050291, 1283991258150299726195493584903,
19059866989938314235095, 10585223932191069963201344702951639,
157167824098183202301988055, 83251806447165313045,
157129547149721969455746263, 1295691541863183461255661210839,
46644897571284689637801248353189, 719450784403868401114194810701965606170839,
88059778750785287069704724747091357911, 91304844590617002472553507,
249672768843789257328, 1345121120969346263, 155757568184330209415679191,
83251254392296247317, 18893445199462100880599, 10173582587172157,
2291579761491889367 ]; 

SMALL_GROUP_LIB[ 8253 ] :=
[ 155374070675 ]; 

SMALL_GROUP_LIB[ 8260 ] :=
[ 26204274271196166343, 2201196399742553675119, 1072729562424141782936408399,
127271705625568895003140411, 62023150561760184562764464515687,
15722809916228784795, 216552294919355528108231, 444356388400846263,
216447315334652267654343, 909062469759210926506183,
1788721956032191978044211399, 41847259761249687639239, 444355800305182135,
5064983778908207771, 32345261547169, 5066252721324056775, 53852760114267,
613047723030727 ]; 

SMALL_GROUP_LIB[ 8268 ] :=
[ 179565826960534977418497443, 1484650257309665152593576857127,
6390199699080845882519, 6395659085969421937395, 772874035636342015,
6390096704278382474391, 772884912513315991, 96553574337791,
38729358103350972033512443, 12291622938567747302171786196196271,
12291622938564766482982333026311087, 16971359569735848151576493071279,
1484970647706724517444462484399, 45168146040217692933375,
179604577613956759839153071, 103077218531022071, 45140749467900249050367,
5459694324589137151, 21718890887859384225187, 4684350538894677619707,
1486650056548881878669634739119, 1486650053568062689216464853935,
2052632558755211214109973423, 179571817135836716828105647,
30026884862462528767, 179571789835656183217131047, 2730005838166127767,
38730210229668476571475967, 12291622667546155365796564529774847,
12291622642900742307397755919073535, 16971165995788092149782770286847,
1484699784079097368507785871615, 248295141610935803055359, 566620392696781551
, 248262286323200528780543, 293400404817390072433919,
2052904230840032644742450431, 853671344891471494347, 154516938257614192,
14015841441015, 21747427810704240250111, 566620052033968879,
2627011035702719639, 6277929008781, 2630312545018645759, 68570557584631,
317741071994111 ]; 

SMALL_GROUP_LIB[ 8281 ] :=
[ 2111041262879 ]; 

SMALL_GROUP_LIB[ 8284 ] :=
[ 511523620666083383291, 4237462679772205050996887, 1069260503379371927,
61872240735500183, 1188523167029, 7457656285079 ]; 

SMALL_GROUP_LIB[ 8292 ] :=
[ 419657446161288001379, 665052452469074881379, 3480466139988282990189689,
2887127522753661900, 50658295380481379, 663128006642696161379,
123309138715411, 79969602888001379 ]; 

SMALL_GROUP_LIB[ 8298 ] :=
[ 10523812582612519, 24357361062741, 87325277929316052519, 190299044026724861
, 724625170130770707412519 ]; 

SMALL_GROUP_LIB[ 8300 ] :=
[ 12554056921387949131263, 8648481255501664946279907263,
125540446756989247507, 865335203384377352098910943841,
596129421540644454994412491703457075, 865335207568894828131095263841,
596129421540991769944923163002017075, 520984981840755563375606369,
358900718403455526251776112579891, 1042572534076843841044499,
1513391360044898429, 5209765109643788572182547, 8653352032885859950113678355,
339071526707528160529427, 1513388038215903357, 40851982769999783955,
182700594755777, 4920577835720723 ]; 

SMALL_GROUP_LIB[ 8307 ] :=
[ 25354912741 ]; 

SMALL_GROUP_LIB[ 8308 ] :=
[ 156825523307720123, 5265206592334523, 282344075999, 632086407611 ]; 

SMALL_GROUP_LIB[ 8325 ] :=
[ 1716612398410724046647, 118970910362764182731279862527,
17783432749613810476799, 1722897131252560291583, 189710852882303199,
24774687090431 ]; 

SMALL_GROUP_LIB[ 8330 ] :=
[ 257832269151, 86033577461, 2148085144761695, 716143048277845,
17893557800957654367, 51673847283, 2147501029217599, 715902530117429,
17893553712148796255, 5965472440644596565, 149053336522953332897119 ]; 

SMALL_GROUP_LIB[ 8334 ] :=
[ 85545795197087887199, 712938607231110645583967, 85545841119895752287,
10269214558997855, 10754684242143071, 24783738004411, 89628190674269866079,
194469970604798659, 746961355256754572376287 ]; 

SMALL_GROUP_LIB[ 8340 ] :=
[ 1654324687609382600861091328803503, 198360274307824617417624154799,
2341319352782948005239947, 280504332451161152651, 2339404711664198448661643,
280733930051038213259, 171114217776847648352271,
198365749743806539204904567471, 2851901946365218708619, 950708897071249584191
, 1427092572798166367423562837, 1654370352863347311298881596524331,
23788678141676025952304267, 20520626222628468753, 23784862535479990680727691,
39640812338619685239645323, 198397575701546047501980083339,
2341319354197133009293649, 20517301367620570188, 33825118301080715,
7816755792085358380914827, 20520581378721630225, 937032866818384713791,
826409140386055, 937260827615662130315, 2466414876156993, 112346799175343243
]; 

SMALL_GROUP_LIB[ 8349 ] :=
[ 149939063, 96131777168667 ]; 

SMALL_GROUP_LIB[ 8350 ] :=
[ 64172762072963, 1190634467309, 535834483308943491, 9744771200103849,
4474218605221091074307 ]; 

SMALL_GROUP_LIB[ 8364 ] :=
[ 4577768527587020888039, 1760681284927590526415,
320817935055550627309260864639, 320817932356097566120448064639,
603726698296275232460864639, 38288464013414963712064639, 8630030526054402239,
38288455957817924096960079, 575396498636824079, 14726338260093652277696055,
2683321208804625444895480320002239, 2683321186226400041112250060802239,
5049570104550047633136128002239, 320244713008202591315660802239,
72190808198257049602239, 210515584614462455, 72181575941216665602239,
81805712804380672002239, 603803919770486459596802239, 42099087773182400,
4585964586005299202239, 210515492864062455, 547334881280024079, 1690828825561
, 548297893478402239, 25178931203175, 65444249602239 ]; 

SMALL_GROUP_LIB[ 8372 ] :=
[ 65103350318114360087, 12535620375017336188238943, 178849363147127419,
81296134054643023, 545045285271126957266257, 104948213780490679926302466523,
1498368824023853554299, 7781476048207917, 1497326966891093485179,
8847767567679775699579, 12544343794710410468045435, 124461787685127126651,
7781471430553645, 14854767857802575, 422845204127, 14866420178522747,
929467841357, 1773838908027 ]; 

SMALL_GROUP_LIB[ 8379 ] :=
[ 13041995049644947343, 109278876393355669453511, 182153192727469133183687,
4928840112441239, 915647705299888071708084407, 915866250001621810745280695,
41331685510997583767, 915647787894257574699960503, 123926055013989459863,
259621564157627, 289081850266317664151, 289082887877507329943,
346318192886580979321751, 346896353473101922454423, 346896354510713112120215,
13046157243402957719, 260053292654267, 1557005362368407, 2594616552034199,
31200659555, 13056014549704782743, 21750158707914453911, 778858887487163,
185994069911 ]; 

SMALL_GROUP_LIB[ 8380 ] :=
[ 3293075336000744982295, 11562709535500690643702956439,
164653734120826285191, 54640084999466412423, 47868650818277, 6518928688720007
]; 

SMALL_GROUP_LIB[ 8388 ] :=
[ 178986692964701460447485223, 1501340380548705097312084757455,
21524126881271366341647, 12593243112042537269026085465969679,
180587603116391431229461519, 92401074567838021801,
180544380369733566732489743, 1514768814937806391782045438991,
54531679668742489758020692936425, 886083427335390711312724616532048327693327,
106576928316171053534736663922296181775, 277113064272377237952,
178995011148478046733915151, 92400472357877954729, 21339413988254796534799,
11097869264200601, 2543820901317661711 ]; 

SMALL_GROUP_LIB[ 8404 ] :=
[ 9639443731968961899, 1060967302618081899, 6046894435919, 126150728001899 ];


SMALL_GROUP_LIB[ 8406 ] :=
[ 11228582897759719, 25653260648631, 94386060679961630439, 203031219055579223
, 793409240877309522552679 ]; 

SMALL_GROUP_LIB[ 8410 ] :=
[ 84994261516948305474623, 68708652860407346428991, 1847386431474751,
8516676671, 71706250853439, 963802535, 71487216976671, 603050115559015487 ];


SMALL_GROUP_LIB[ 8412 ] :=
[ 6080618101981196900490699, 51150159473540695707300001399,
724988127292800001399, 3102426219885510000, 722920167121600001399,
130614400489301, 85936592000001399 ]; 

SMALL_GROUP_LIB[ 8415 ] :=
[ 55834645497 ]; 

SMALL_GROUP_LIB[ 8420 ] :=
[ 3985298654639714521633969619, 47360384532034561679, 5631920824321679,
473269788081064871089619, 3388673795473515351603,
33564869228006122424866227361679, 33564869638019409228666291361679,
12012236126896831483704481679, 3984931728551707623234721679,
169433656464522241679, 56227489883389441679, 48791393455983, 6676454937601679
]; 

SMALL_GROUP_LIB[ 8428 ] :=
[ 6087687183031903957871, 721944906402788207, 6084547479499602041711,
722317474693794671, 86185117098863, 3880066902495703919,
32727623187421038007151, 90307156186219355, 228903983087631549152111,
275828408225820290202494831, 54062373646567892477399008031,
19592418417036885814147547687469071, 6239785495114969952111,
90307039086875483, 740363370193787759, 10722954213683, 87807779435375 ]; 

SMALL_GROUP_LIB[ 8436 ] :=
[ 20818382160631841001681011, 1481563097601710653666853540224199,
1481482819201355051580687008029895, 14884670666761014758475671,
5368501824228761775245207, 175741039740907375002224843975,
15656850304121802721175, 175623885443540928681033948359,
175614369274698396428050717895, 20832271187947787941928135,
175623871912033696668327500999, 1767823647811502213015, 208968882970560407,
50161245853190669, 14884665703078707121031063, 5368496860546454137800599,
1764422791594664069015, 636380017468033795991, 15651886621814165276567,
1764422203135904319383, 636379429009274046359, 1855368315375060887,
1762859965503864768407, 209557341730310039, 2467844326304827420787,
20818739680715775235480775, 5256812990972954519, 20818734732573267091111559,
309256964101789271, 175626887946518181513755503511, 44352056815362963802007,
142093977275445605, 44346474761875671123863, 49563672518887632471959,
374153951294568113994401687, 14884677162482570152338311,
5368508319950317169107847, 423492428548662234065, 1763494537996524665699,
25073076750347376, 209154255819376535, 75436525363398551, 6191736424973,
25014615148439, 2472851043140611573655, 142093923097751909,
292544202061600343, 998417521405, 293130683335509911, 16849262742029,
34681463637911 ]; 

SMALL_GROUP_LIB[ 8442 ] :=
[ 827126561878717316691987863, 97977565585523168443799,
97977560045684747928983, 11605969105160893847, 4851349170694849943,
173318821054452947, 345745700246783934931946903, 444502190610284805103046039,
40955430825019692432791, 52653664698924083592599, 97983974529606944542103,
40955425285181271917975, 52653659159085663077783, 11606725233514300823,
40955084394964231916951, 4856889009115364759, 40955078896082095984799,
4851390126979432607, 4387703921800914160979, 2918785201483341335193775952279,
3752487493132015681178194858391, 345745747017525822024892823,
444502237381026692195991959, 827180712981122965921223063, 173359777339293011,
345745700249533335925279127, 444502190613034206096378263,
40955433574420685765015, 52653667448325076924823, 97983977279007937874327,
345742822459056865031393687, 41001855136851324862871, 575792462755223,
21800605779155, 4851390688024409495, 6237108986283636119, 1333844398998935,
102751383491795, 11265835016474299799, 20678515808479, 11260336134338367647,
866217804378918227, 95106186802537043988887, 173276582382754159,
95059759740663225097391, 7312609105864317915731, 802886429013518983741002647
]; 

SMALL_GROUP_LIB[ 8450 ] :=
[ 44877354623, 379527500469887, 12262447863, 379103506668191,
3207009042242377343, 103409690169495, 3203425022627728415,
27099226416811959342719 ]; 

SMALL_GROUP_LIB[ 8460 ] :=
[ 2133172649019592198721151, 848190668868803426780618742591,
11850939032255042815283, 3950611075466981676383,
18046640568793119376843879513, 7175693058630073427327215217248075,
100274913038648942369178931, 252187878921040506973,
100258946178191853600646451, 167095719758755748070835507,
848325764307837389912593417523, 33430238196265157038112071,
152674579211969164463010182570373, 60706363276010421213501463480579506547,
848325819777271464939427530035, 2133508927642300663545421,
848190684674127361293334033715, 1414099060572461892699105609011,
7176836435315717378658514941855027, 252148104458372540619,
33422170729919944180833607, 282819815140336721097971940679,
2134349288736222793506381, 1413629789165851783219824514355,
7176836435315718312502214381741363, 848659948181343358896703874355,
18049484686855192221321346637, 7176835966052211096504611011900723,
11963278052443029639098508312012083, 50907568888605814639940541798519,
20241866681398378096911840333010971407,
10928886523699042482654942414079559704965,
4345543859553106121742577296639338571214143859,
2153390061738422875649170592211640709,
856230951458232041410592823687975935721843, 252148068077282900364,
270789211703024717346486842675, 2133508927569538063384141,
32000279789745898855030087, 84075852930776475851, 32008181051547599065867571,
252187806158440345693, 3782538823939385611615, 9939371182136603,
3783472668851535496499, 29808411866172565, 447058266231014707 ]; 

SMALL_GROUP_LIB[ 8468 ] :=
[ 70054942504330867463, 26641324176873467355, 5039681723527685667503544287,
5039681742273972006640228319, 16467625051753823988684767,
593225474234977603622879, 229651492727293919, 8299666219403231, 372364153875,
977778378719 ]; 

SMALL_GROUP_LIB[ 8470 ] :=
[ 41646604803599, 2990577737775686403599, 1995011476732486403599,
7968409042991686403599, 353078983225603599, 235538692665603599,
940780436025603599, 470619273785603599, 2586011449824003599, 305314265603599,
16905712794847335856005399, 352745857145603959, 41721964803959,
25330193438959591600003599, 16897747207923687600003599,
67492424594139111600003599, 2990578987557027203599, 1995012726513827203599,
7968410292773027203599, 3986145248600227203599, 32854745851879497603599,
353079812252803599, 235539521692803599, 940781265052803599,
3878955475011203599, 571753605169105288873752003599, 5017603599,
41685964803599, 27808716803599, 111072204803599, 14758403599, 125057452803599
, 8204803995, 124985363203959, 1059237453846403599, 4928005993,
124949318405939, 1059237057353605399, 69420665609935, 1058626242172809359,
8971741238052478403599 ]; 

SMALL_GROUP_LIB[ 8475 ] :=
[ 7511329361014867 ]; 

SMALL_GROUP_LIB[ 8476 ] :=
[ 278691189676939550495, 385023959476904741186118311, 5359272783837343127,
481855831776782999, 3901066069997, 56796876810647 ]; 

SMALL_GROUP_LIB[ 8484 ] :=
[ 84044634851140534156170001000599, 1191786639386880000010599,
9906251161176520970001000599, 1390880000000019905, 1191222358366080000010599,
140408116480000010599, 1167511355639050001050099,
9905166902219122570001000599, 701975599360000010599,
9905166340585432970005000199, 140408101120000050199,
84035435998427019522250000010599, 5956406078186240000010599,
6951250560000990105, 5955561046514240000010599, 8337730340950400000010599,
50534149167338792320000010599, 11822109001920199000005, 4170221440105990000,
204800000019905, 1168200904050880000010599, 6951241600000990105,
137628387200000050199, 165120000059901, 137694578560000010599,
820480000019905, 16221440000010599 ]; 

SMALL_GROUP_LIB[ 8487 ] :=
[ ]; 

SMALL_GROUP_LIB[ 8492 ] :=
[ 9584062565590707278015, 81387868428022640805939071, 10263377633089685375,
1129751947851597695, 6305548898121, 132938364618623 ];