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

SMALL_GROUP_LIB[ 10004 ] :=
[ 39184147032205100459, 25901293072770932439, 3937029375647205373307042399,
3937029349747970410342562399, 15804892047177685637282399,
391998360762184908962399, 157922557148162399, 3932309306882399, 259200003579,
391910402399 ]; 

SMALL_GROUP_LIB[ 10020 ] :=
[ 622058935106064712404335, 1040915668201788481657984304975,
10367644679142233955899, 3456108784586583061559, 6233030519284747403682295233
, 10429974995381922929196809965482651, 103897663675777400271126075,
62090126823900510557, 103883800601196037783644731,
173137389574841383877678651, 1041054590031192672249161045563,
62081753117537701580, 34222471706355644149973563, 62090013883727194461,
3414726416017608510519, 2081326051220971, 3415416190058981275195,
6211709532440229, 340772771515637307 ]; 

SMALL_GROUP_LIB[ 10026 ] :=
[ 2729989613523838888408039, 490716677861615453, 272291001171763784679,
51987396791541, 27158827377941479 ]; 

SMALL_GROUP_LIB[ 10028 ] :=
[ 749562361445843258939, 7516612883134508787804743, 1598921450508020039,
74901171143653703, 1467151306041, 7457656285511 ]; 

SMALL_GROUP_LIB[ 10035 ] :=
[ 226413533132915 ]; 

SMALL_GROUP_LIB[ 10036 ] :=
[ 13385903117558310383807, 770911647112392044555,
1349682397729516497455007402239, 1349682399902006941899961665791,
1493175043487034797979601151, 134340937162607515001686271,
14824819680979454207, 1335210212491004159, 7697118302027, 132938364619007 ];


SMALL_GROUP_LIB[ 10045 ] :=
[ 11878600239 ]; 

SMALL_GROUP_LIB[ 10050 ] :=
[ 5775161369534342939, 58040361390495930003227, 5777951766886883099,
583305631979801958485504795, 58068422185915455415067,
2302671092151891838348079780565, 23141844476126842862549127261869013,
416577573906764283199917525, 59070009337094241009873323348923163,
5891567593269865846900972913435, 168292016495361572416680960365339,
583865301929334167476340507, 971979108355925009958683,
58344749262411679758107, 4743218648395118037, 575792462763803,
1354206312562728166908458267, 6220267249395126686421,
134746883022066213639971, 618727071827923809, 13404900167359165607,
20678516374759, 134746896769271552946971, 618932253996600789,
13407649608426565403, 61714949650137, 1333844399007515 ]; 

SMALL_GROUP_LIB[ 10052 ] :=
[ 151749614902271774307, 30195342128378977123, 42576220370243,
3002937607965283 ]; 

SMALL_GROUP_LIB[ 10060 ] :=
[ 9872256794280033088711, 49955389053075415319992788455,
493612771733980499415, 163927023418090552023, 99577433364593,
16292087372810711 ]; 

SMALL_GROUP_LIB[ 10062 ] :=
[ 187601086401104967469703747, 18644513586935575138883,
18644512661926036699715, 1852963288952908355, 754170244352965187,
43114121552723729, 76364835665198448495387203, 10925243360335209894601283,
7589430031188588302915, 1085793348137183154755, 18644642857869633315395,
7589429106179049863747, 1085792423127644715587, 1852975818582702659,
7588460496749158474307, 755095253891404355, 7588459576013746103687,
754174518479033735, 1734540140770630906913, 768382976463225713599645709891,
109929798691691806798537782851, 76364844972912719777703491,
10925252668049481176917571, 187602396436155531191973443, 43118395678843937,
76364835665382591395745347, 10925243360519352794959427,
7589430215331488661059, 1085793532280083512899, 18644643042012533673539,
76355089517888092484548163, 7597768211020440790595, 754266650569927235,
107910391073663555, 4416318189329, 75077407976003, 89536662202378404663574595
, 2384946955035802135745, 8889230187058764382895, 21551657478914599,
8898495547513622476355, 237025156428379169, 883445653278942599, 2157973717999
, 884366388691313219, 23570425151249, 87807779502659 ]; 

SMALL_GROUP_LIB[ 10068 ] :=
[ 2133016642660647767179, 7626516664913582988, 2127932963637349767563,
268271770432991, 211350812471478411 ]; 

SMALL_GROUP_LIB[ 10075 ] :=
[ 6246804059 ]; 

SMALL_GROUP_LIB[ 10076 ] :=
[ 31888530219249296778611, 321308856024895129235692007, 28732952225266165991,
3167484812582992103, 12538840279605, 314162803779815 ]; 

SMALL_GROUP_LIB[ 10086 ] :=
[ 532614650095087718403199, 1172839688839759749123199, 912753131523199,
5221250025533443199, 515630817342479, 1392703961, 517672919043199,
51200003199 ]; 

SMALL_GROUP_LIB[ 10089 ] :=
[ 3538758831541831303, 35126605383 ]; 

SMALL_GROUP_LIB[ 10092 ] :=
[ 144373195975362353233109469134868747945503,
679486362638214710182463054190621966672415,
8066471812648823858121867501385282767, 1123345002496565175321123915295,
111310442945557317916362271, 775450087155324765323,
79200698733209674854587692239, 79200698589616240072912008399,
226936874926875079410971855, 77054390683764255, 7825842278150892899575671,
82532586848932583, 799293451615552038243296425222687,
799293450166407094426625423909407, 2290246941762023623617430364703,
24152492784657519150623, 22486808957548467160607, 7847871656907990594913823,
159717689953904080331711503, 8537350368378608, 1235250205266282015,
777632958953592227359, 76841766362632935, 284177618341, 77054375263274527,
7615519000095 ]; 

SMALL_GROUP_LIB[ 10094 ] :=
[ 570608325858259773719, 2799018892254647, 56529441104306327, 280566478199,
5600937021335 ]; 

SMALL_GROUP_LIB[ 10100 ] :=
[ 1618825164286416340681657630003000399, 15867875352576288040000030399,
1571076768030760000030399, 16713218134999297290003030099,
1705271725750601828041596810003000399, 1705271725751955606831996810003000399,
516608329104426697555850003000399, 51149339518665554570003000399,
168803503163826307944330003000399, 1571553345419520000030399,
155565958400000030399, 1571215802902400000030399, 155599381120000030399,
15441920000030399, 1654633431287050003030099, 50141610886410003990003,
168838783307302601586570003000399, 168838784661081391986570003000399,
51149423085257545610003000399, 16711797989507934090003000399,
501415778560000030399, 5117308914411196479370099000303,
17223246852780370250483798036170000030399,
17223246852794043416266838036170000030399,
5220166823246496909398025930000030399, 5117308931124514879370099000303,
17223246852780371938528956436170000030399,
5220166823248184954556425930000030399, 2532117885833238410099000303,
1707338081246432974114831050000030399, 1707338094919598757154831050000030399,
2582979015837799714820810000030399, 168789159695701446668490000030399,
5066642489189120000030399, 4966820480000990303, 25320841249264000000030399,
51173089140967842880000030399, 1655120169371840000030399, 4966811520000990303
, 163873261440000030399, 492800000039903, 16221440000030399 ]; 

SMALL_GROUP_LIB[ 10108 ] :=
[ 5329817809571735, 5504374272794805393030127691, 29728911591794159,
5709400950083884482455, 1021686697219304422295, 544556245503356366664599,
55638213679144497970529195399351, 53873833519444296599, 5322757537000943,
155035281083, 5329816116518807, 526539462551 ]; 

SMALL_GROUP_LIB[ 10115 ] :=
[ ]; 

SMALL_GROUP_LIB[ 10116 ] :=
[ 805081684090533161289230679, 8144206316138742626724169152559,
80161874903498752078959, 82386791094059517053959452160078959,
811078401754591880806478959, 285332040364873073881,
810917539153009242931278959, 8204869112141777239231692878959,
295375296714274591797231903808281,
8431609280223192393910541829553855590478959,
839632612275552051818777310102220878959, 855765254340244785600,
805147021160358350028878959, 285330498315900273881, 79591439376456089678959,
28417759641756521, 7867313566515278959 ]; 

SMALL_GROUP_LIB[ 10132 ] :=
[ 3707275388932047967491, 378296861619469890239,
381123825211056673614710762047, 381123823672770913502859946559,
571061282015654963722349119, 37562119431776806377663039, 5562786012370331967,
366421189011913023, 3700103607563, 36125907626303 ]; 

SMALL_GROUP_LIB[ 10134 ] :=
[ 2942950131355071786994087, 517760227428037559, 290403601105946384679,
54268043821911, 28656719042885671 ]; 

SMALL_GROUP_LIB[ 10140 ] :=
[ 35908869148341305776929659, 37485580151588638473740617308797007311,
37485580350193767441640164890605647311,
37485580151588639439534731309919106511,
37485580350193768407434278891727746511, 47996967804259469265574519526782415,
47997166409388437165122101335422415, 3696803109250890526050073196754383,
3696803109251856320164074318853583, 4733428777541683645977395590607,
4733448363846315588733567366607, 4733507117931240846973539841487,
6537142966394811278428415, 26123447598337567450204415,
364448900347035584750866527695, 8374755747030198388991,
466807572575504693119022543, 27239753294685021484720873901860066655,
276211089010110931935275853568038154961951,
3693360287381600285675269864172399, 3693360287382566079789270986271599,
1290939870601215728000440347503, 127311624383307043515018095,
3854254075671638277455991243697604975770592063,
3854254075671638277465796951337058368443769663,
3854254075673652133463725745110084515380192063,
3854254075673652133473531452749537908053369663,
3854254075671638277465784396013576353856480063,
3854254075673652133473518897426055893466080063,
4936747748201710284336107459259834548216639,
4936747748201710284348662782741849135506239,
4936747750215566292070608871739374157816639,
4936747750215566292083164195221388745106239,
380103952236656111777598733550779661411135,
380103952236656121583306373004172334588735,
380103952236656121570751049522157747299135,
380103952236656111790154057032794248700735,
486858752288137122111789271134006272831,
486858752288137134667112753148593562431,
486858752486742251079688818715814912831,
486858752486742263635012300730402202431,
486858753082508672221807604547879035711,
486858753082508684777131086562466325311,
1725532915253146936549592287499593835327,
1725534929109154671051004767039203435327,
37607754877073275732889433354659029823,
37607754877083068885205404732744917823, 170170898940195053613724951499891519,
170171097545324021513272533308531519, 170171693311745163632058365372654399,
48013683657615585185992044301378367, 48013683657628140509474058888667967,
16782139934931306241587502506815, 16782159521235938184343674282815,
16782218275320863442583646757695, 69392432315765291970866023334916385249535,
28396064370256241666953784440125269484653758748927,
364115933164990372062129171311, 645100974900259065119,
380103782737108794123740580901882515809087,
380103784750964801858241993381422125409087,
380103782737108803916892896873260601697087,
380103784750964811651394309352800211297087,
486689253535191018363654955650733433663,
486691267391198752865067435190343033663,
37485583527804029944869380907864548159,
37485583527813823097185352285950436159, 47996967804272682899553941193089855,
47997166409401650799101523001729855, 47997762175822792917887355065852735,
66286746862259883915164518655, 264891875830159431496973158655,
66286629679241858146758035711, 672145994091293921840705872333055,
264891758647141405728566675711, 2686002001825795334320245481933055,
3695511849518951554980963514966847, 6537154523318866337073407,
26123459155261622508849407, 84920023275342090465708287,
84877532525148637968730367, 860658179793451013996979685631,
339659166508623689105279231, 4733428785926347055382749635391,
33496959221819083065599, 2800401359813874150121188179191638383581202687,
276211089010111382438965139891647531452671, 674894984183611803474200056039679
, 2800780442562524849823805978707491550243952895, 63531950461159679,
6537138775985510516001023, 26123443407928266687777023, 644688655753870838015,
2576276883756115036415, 33481212301758610540799, 3301894759523551487,
66557580643203063949485938015, 644212100191063379231, 63619618569194783,
66286587188491664671328700671, 264891716156391212253137340671,
6537142967947790120388863, 26123447599890546292164863,
84877532525148615036373247, 644689795448830429439, 2576278023451074627839,
8370566477424395553023, 674893867722089790206641249716479,
3541372121565033790331, 364576211324254085353675027919,
364576212290048199354797127119, 466810469957846673552963023,
349682978132068607, 965825879879275393395, 364236715376061887704071023471,
364236716341856001705193122671, 127314521765649023948958575,
37485596867448525611391281144913060671,
37485596867458331319030734537586238271,
37485596867458318763707252522998948671, 48013683686995042133906155626685247,
48013683687007597457388170213974847, 16782169352054224601731123503935,
35909514122448938609814383, 1238232037154884895,
3696802782827947147248963514917695, 3696802792621099463220341600805695,
4733458165383294969494074942271, 163219554949150949771519,
46036536923382543288575, 35954265886307711297521919,
35909513296902477097913687, 412766982453074567,
3696802782827936415144963859711007, 3696802792621088731116341945599007,
4733458165372562865494419735583, 54406751438357859931487,
46036535865094011622751, 35954265885249422765856095,
9793474406133742065243471, 3693360293913267530001097394031551,
3693360303706419845972475479919551, 1290969250703677721627954056127,
380103952235928049699507595246959382337791,
380103952236027479574971652648665403201791,
380103952236027352263991545020750286657791,
486858752586129727237814839862071236863,
486858752586257038217922467777187780863, 170171197229829837468967533080582399
, 364122473201624887804882914239, 12557387179112559299327,
37485580217875384073109423648846485759,
37485580317177948557059197439750805759, 47997265796986610997587794031384831,
1655314773757622843612334335, 466810484405601328555624703,
364576256087162454634940598527, 95261648231616639, 12555672920761205017343,
20925888494025053326079, 127331905996121952400460543,
1655046287186951098084886783, 2758408114785334737696721151,
16784891805902297105406642096383, 467078959420902003599476991,
364576482071427561846021294335, 366867811222601171995473742079,
6562265170364004774756239, 645100980955548289355, 26148569802306760946532239,
95249101174935408, 63823232674826495, 6457751767295, 254315168375245055,
35954277443876730682738943, 3542483485772534532863, 95261625299259519,
3545785671618582287711, 349275921149074055, 3132559989493,
3545786729907113953535, 349357327959199007, 9394622303607, 349682955199711487
, 34442871572735 ]; 

SMALL_GROUP_LIB[ 10143 ] :=
[ 857042240289999, 858219742129359, 85097019375, 2571110888402127 ]; 

SMALL_GROUP_LIB[ 10148 ] :=
[ 142232640905252739, 3365501104643203, 237918015251, 330622749571 ]; 

SMALL_GROUP_LIB[ 10150 ] :=
[ 42938399909153559, 435823330301652111615, 42955246794182911,
4423606801935398394803807, 435995150947925636703, 4370607442711,
7965293933399304756742935, 145308809357937448137, 784591975362851386975,
8590361605111751, 784758022914267777815, 14316139240117321, 77299693225644287
, 848127005575, 77316047756462871, 1412076342633, 7615519066903 ]; 

SMALL_GROUP_LIB[ 10164 ] :=
[ 540600308231336937017070788411800448005199,
987057553881750954553669155045213057050199,
10415980495256210185182952960769015099, 1192162634011136001959,
133288550169710709504001599, 133233737653560562304001599,
1354088627757111865012608001599,
1076042623000206511628026238191912729473010599,
1933971440871020811185670912001599, 10415980998737910227609744149377010599,
13107436968763648001599, 105868019042108465506305692715301633010599,
1024791518962801085221276417010599,
987057563662866636482068683693340544001599,
987057553881751001898906360491389888001599,
9554615034331283067501644608001599,
14213596433689153510393206788443597812673001599,
105868025753784120322204688991761281010599, 190276660143497979988736001599,
940044708122366490051456005199, 18720641045127856896001599, 10663035392001995
, 1191672426824448001959, 133223989350895731584001599,
1933971440806459992370692992001599, 18720642239323816064001599,
117244461568001959, 13107436968755968001599, 190276607714134198436608001599,
9554614413355738160105096128001599, 514851896815043178759040001599,
1841858264268928001599, 96023355648001599, 100825600487981707559681015099,
586184397312001959, 65536800750308096001599, 10724284600160896001599,
9919874998511612288001599, 1024791403359851230859985793010599,
117244432896005919, 13107436968741632005199, 10724284092650112005199,
9919874998004101504005199, 1024791403359846072012866433050199,
5958702902286848009159, 666206818327443017472001599,
109001628676875358912001599, 100825609484872786653632001599,
10415980651900112561020930634689001599, 53295980800009915,
5957978248188544009159, 8341131124280064009159, 60564256298833550080009159,
666116042826991012672001599, 932562069564658026368001599,
6771326101480131424948096001599, 109092398785048352384001599,
100825690506678294820224001599, 101649160176498709112704001599,
984882518429660712272864100599, 108548951376768199005,
71577026269029598144150099, 31974228736159900, 7042210123071488001599,
1114112001995, 692858224640001599, 9919880391574946752001599,
975512441717632009159, 53295973120009915, 975981427819392005199,
95931073280005919, 1049088005991, 975981935330176001599, 95977210624001959,
5243392001995, 96023347968001599, 9437696001599 ]; 

SMALL_GROUP_LIB[ 10170 ] :=
[ 33723008403779538822146400959, 89607508244297297936755,
3315266314041572179608031, 2937376374074478449, 3315930029825984696787647,
8810967386571845491, 325984882061580043231, 290997860184977,
326050137767450878655, 868481982910867, 32052624611451583 ]; 

SMALL_GROUP_LIB[ 10175 ] :=
[ 2633783013 ]; 

SMALL_GROUP_LIB[ 10180 ] :=
[ 1791619362507801780613931, 10601220040545303105715,
185717296783342279004292836292847, 185717297111969333834065465899247,
54931485912874859184429496559, 18238685463582707257471187183,
530060930738469890031, 176039053893701089263, 104424140312087,
17289654046173167 ]; 

SMALL_GROUP_LIB[ 10188 ] :=
[ 130494527082155812669901015, 1716815882415216410962721489,
12808598374863445493975, 130493931773269276319281367, 12808656698744516518103
, 84252575054833277356247, 858534315335797914403989719, 297772860150019941151
, 858365247838525978275069143, 8746747604633100290086223794391,
314882922886616262174983842807075, 907871676506643389733931978754172051575,
130663015859291118488778449, 893079349820892216252, 1263722135456790743,
852300249041471398032270551, 297771262235470050079, 83657266168296926736599,
29447282419579951, 8210769777861789911 ]; 

SMALL_GROUP_LIB[ 10197 ] :=
[ 2497388552183 ]; 

SMALL_GROUP_LIB[ 10212 ] :=
[ 36928637583904815812822195, 377115247014317485573479488855,
2590680334385867786279, 252954978515290151, 2583174402376063453223,
253690057593522215, 3616250903224845714611, 36929161705870855582932311,
7860789847220946983, 36929154218704292278474631, 374356385507994263,
377120599340353058114188749863, 80282640869772448630823, 212475692858323305,
80274386367740176664615, 87919532145517766051879, 819846328562332797508192295
, 2583942545978861032547, 30351408215901552, 25014615148583,
3623808960222542661671, 212475638680629609, 354124735824226967, 998417526589,
354857837416613927, 20811974052369, 34681463638055 ]; 

SMALL_GROUP_LIB[ 10215 ] :=
[ ]; 

SMALL_GROUP_LIB[ 10220 ] :=
[ 235102976326570156096391, 2402752512514661057277826991,
118259068065942617711, 9933896710521605232579,
24562660746764621271719371406111, 24562660809677247387747168090911,
7411276250864271915616369439, 710664338066551035816107741,
251484837875155510461121504947256943, 251484838518122549366925587065912943,
530188286504914004122966300081775, 2402752465207306207439682335,
70956341662914209375, 24556130678230951276058222313071,
1209081340477161603087983, 1620624224356245149, 1208607711578015916899951,
5076078585261611513036399, 12356811299670446284996623983,
235212855638183742815855, 1620622490670046877, 23010323689767986783,
95352740935995, 23014952136578449007, 158756121891005, 2251067693743727 ]; 

SMALL_GROUP_LIB[ 10236 ] :=
[ 246240595002196372109728638947, 605017140884648830631,
24056642309573750631884771, 246243790679928615290889201575,
2355862744705466918567, 6195315747403143416239763, 8285053942173946608,
59219244789204647, 2350340086424650593959, 286653520490557,
229609469332170407 ]; 

SMALL_GROUP_LIB[ 10241 ] :=
[ ]; 

SMALL_GROUP_LIB[ 10242 ] :=
[ 3169994209775580790419631, 545983151267791865, 309509292127563542703,
56622918129225, 30219984137810095 ]; 

SMALL_GROUP_LIB[ 10244 ] :=
[ 15463491801465236771955, 872251032794287583035,
1624344018746017344874865343023, 1624344005345545499899482454575,
1760214862076011527063550511, 158408025260378610656967215,
16773610194369669423, 1511016896370719023, 8358869251415, 147390004603183 ];


SMALL_GROUP_LIB[ 10251 ] :=
[ 272629299755 ]; 

SMALL_GROUP_LIB[ 10252 ] :=
[ 36014492800086096377127, 369220608526697816383822095, 31888463857535289615,
3515822031265532175, 13442186662241, 342729406155023 ]; 

SMALL_GROUP_LIB[ 10268 ] :=
[ 409950873851909602515, 635570262898270646006252399, 6028258253400002399,
397145486700002399, 3904200022365, 38637000002399 ]; 

SMALL_GROUP_LIB[ 10269 ] :=
[ 3830359803734891464559, 39333964822912013851707623,
39337423175956312225188071, 590299682322288599, 373045975289220311,
206468603861142743, 374682963443, 36343834258391 ]; 

SMALL_GROUP_LIB[ 10275 ] :=
[ 25199218082676059 ]; 

SMALL_GROUP_LIB[ 10276 ] :=
[ 173245864904167714451, 34476541584821701523, 46511392287707,
3353988167559827 ]; 

SMALL_GROUP_LIB[ 10278 ] :=
[ 255557200236540806039, 2626616761319096414246039, 255557306641030886039,
24875005236806039, 3248937002346350641526039, 555659448024068671,
316105950752656166039, 57424646089231, 30755964513926039 ]; 

SMALL_GROUP_LIB[ 10284 ] :=
[ 24859210318649948936618391, 255652118916107208285593409199,
2422981221698960230063, 8481325646271552960, 2417327729062108661423,
292074713590505, 235051420389344943 ]; 

SMALL_GROUP_LIB[ 10285 ] :=
[ 690956025753, 102775289, 2761600024473, 1383385284505 ]; 

SMALL_GROUP_LIB[ 10292 ] :=
[ 573459381049388955, 19353626057231515, 672757185551, 1876486155163 ]; 

SMALL_GROUP_LIB[ 10300 ] :=
[ 57574551608995745376543, 61080802555183840400585931263,
575745151407541414787, 6110851420872815617295920340301,
6483002272000727073767333105282304995, 6110851440063711423594114260301,
6483002272002703736035381819256064995, 2965050984081005750758481229,
3145581470479175088894320336112611, 5932865456797131692821379,
5592306704187433449, 29650122259201996694889347,
61108514205188052337578956675, 1938856482791844813033347, 5592296811623436777
, 188238468460641633155, 544091019858477, 18271565701884803 ]; 

SMALL_GROUP_LIB[ 10305 ] :=
[ 184104776354015 ]; 

SMALL_GROUP_LIB[ 10308 ] :=
[ 1707766025896739788979, 2457133352333782748339, 17606113917036267387175553,
8580846583428701868, 165789500083386035, 2451413519199917447603,
294813965318731, 237810817431324851 ]; 

SMALL_GROUP_LIB[ 10323 ] :=
[ 2291168739161672279, 23651735875732503203975, 23653385422311876006023,
1313877170528135, 222062407643015, 80023974113159, 3493650521, 21552881543 ];


SMALL_GROUP_LIB[ 10324 ] :=
[ 284735756010449813783, 88366028684115531739, 30427918355036096886706674079,
30427918286310908964216379807, 81189512445760988485654943,
2939612678472281266985375, 761735055491336607, 27652111369177503,
830937898499, 2673202039199 ]; 

SMALL_GROUP_LIB[ 10325 ] :=
[ ]; 

SMALL_GROUP_LIB[ 10332 ] :=
[ 1909001408276758488543137794624239, 18807134723835428864065839,
184765912531979030499330624239, 19723802550315468696026168692738561839,
582757975063700256587776065839, 458799371897536512126445,
194315315966318712717312065839, 194352912041082012827648065839,
2007665958258201872267476992065839, 1909001408280399752420921346561839,
18810773523199426560065839, 459420638664720491456005, 44397347471360067165,
18799769086835294208065839, 1819567326232576065839, 1375688071108886528126445
, 194239214204995814031360065839, 44405936357376126445,
18799769439022088192065839, 17882435937814712322632039,
184761335366124573822978624239, 9097165953564672065839,
184761328087821454413826880079, 1819567208792064072079,
1908954117002791668533432322561839, 94002923754072571904065839,
221908109885440126445, 93991919669895233536065839,
131587994433195343872065839, 971238208227676628451328065839,
1908954041803361725674164236801679, 18803495924337213440321679,
19723313936872843527569924689920065839, 971238244703708595093504065839,
2292754324047527938497645, 971124514032855112482816065839,
1359944028846782449451008065839, 10034833544278717759990267904065839,
133131120148480382441, 18799768734530011136321679,
194277719890146530164736321679, 2293375522355281922497645,
1359567158487353098764288065839, 10034833544278718112177061888065839,
971501380753837278101504065839, 23688737054527940198402497645,
10034833167411997130011443200065839, 14050941706044957337891373056065839,
48957986810148424957038607296041, 203786332451862286483511262542565388801679,
20739190116538790399301784178700801679, 3540837329113374663550141206627841645
, 2106806050754888306909892924144321564672065839,
1499941174531241744660148362111881216065839, 459420638633263211456005,
133131104419945342400, 4563402752067165, 184841116044828381806592065839,
2292754324016070658497645, 17882880043877138432321679, 44388490149888382441,
17890158346996547584065839, 221908078428160126445, 1730824578793472072079,
4297064448073561, 1731528953430016065839, 21476933632067165,
167505821696065839 ]; 

SMALL_GROUP_LIB[ 10340 ] :=
[ 50885643983228479752855, 104708149774487787, 50872455968123129840279,
4919967038141532823, 10967116554475, 14759596196948691607,
1082394153157701206223, 526021181586910231977411983,
123110787677323717642796363, 59827970420524287682059463605623,
4919966721782414107, 152666771273979497032343, 314142310432812167,
152614228547452683495063, 559581299833851233051287,
1578574414972467436542222999, 16250153312128729030295, 314142125889985671,
1570629483332334363, 10149855478397, 1571581091598779031, 30396839858411,
151878746213015 ]; 

SMALL_GROUP_LIB[ 10348 ] :=
[ 926939764946338068431, 1908752075039136830632963415, 17825293287551340359,
1605903642200742983, 8705305320041, 155072472042311 ]; 

SMALL_GROUP_LIB[ 10350 ] :=
[ 15008055222361429793570340658865, 155333371551441413211875388129170593,
2636418300130402500055311521, 627599375734397407940899973735083,
2050475398443703552852651, 155333371551440797909897493582294033,
1607700395557418626742998864966800874657, 27286929406349653528269714546353,
3897178754030599637822153404908057259, 63692371081158366600881,
21222420373952882116727460523, 6153853384281547937,
28658576060436357875416865405611, 395628973778586154153651217,
2768944263863134025608680707, 38212715580801619723429,
267474238964233623508999, 1230841817758047683, 2768944546902043857101927083,
38225021620359510286001, 267530846746199921783315, 3692049729335785381,
25842920933539632559, 118945496995667, 267530874090312551604907,
3693238603797931169, 25848389756065579691, 356720389407781, 2496694421308075
]; 

SMALL_GROUP_LIB[ 10356 ] :=
[ 2526641983077254999227, 8782691133373328748, 2520787600642204379579,
300350226691367, 243407356641290427 ]; 

SMALL_GROUP_LIB[ 10380 ] :=
[ 45443890522252194685905947, 797245523303069281927667,
4897502524967593301685788683899759, 4897502521512973697902567593186159,
1431645124573078739973284139887, 471707592468108691779147895663,
13287420325533513053759, 471707583609256335948512811927,
4429421341473971854343, 8275408518921352433859623151,
50836076209163618467997031355786846783,
50836076173304666980727196434179678783, 14860476393068560219601640034263615,
4896324809818967919279438941774399, 137941189601155187826390591,
76815955145245864415, 137923424112523409307203135,
229869452713655956255110719, 1431829548059870988747488458303,
76805954695693717616, 45454823920164683935315519, 76815820264411378143,
4378223900552118557703, 2485661092793749, 4379077272323222500927,
7418445896803959, 421772369438602815 ]; 

SMALL_GROUP_LIB[ 10386 ] :=
[ 22858725146026967208007373951, 2200917114154282094236799,
211925508516735161471, 2201058181074316714906751, 211925619472651850879,
20415888671183999, 3495959129817803749921919, 585514372560777793,
336603031689832502399, 59880971574721, 32409694903800959 ]; 

SMALL_GROUP_LIB[ 10388 ] :=
[ 34284237253816175452995, 356144670280522335555104631, 17148357322794481159,
3699630834970094280516539722247, 178253869746501105104391, 323766350825593785
, 1246940133908947627881991, 1851701198934670309817890311,
362933459887042749256778506441, 399407122689454098941885172783146281479,
199818083702065026935113232895650311, 34299519937361207473671,
323766010162781113, 3301839539883423239, 31194980433713, 317741072004615 ]; 

SMALL_GROUP_LIB[ 10396 ] :=
[ 966502195972511434095, 10047758721919335661635999, 1987504030680615327,
93158718236002719, 1696883290277, 8947660491167 ]; 

SMALL_GROUP_LIB[ 10404 ] :=
[ 95249152599316497187489492535993874338969517058536719258111,
204010611011021354975367844751940495880793926181647139475967,
1608125111365980098280649124943460655387781592318463,
492722329732127250256841552201112791505793192447,
1427969115583625995708111653724900823551,
4752482065522725860550102395390689022463,
58495562364639348449415099435710230315467263,
335214064547739120393172149089003966719,
62210189654331668614896916165107267416363519,
49444823040848277666907524730869420002382335,
53635238901264126485222157296079359,
454077897129641648651361098620277671032097083903,
3487567127554677808570562983461277088678399, 38755111818756722129897303052799
, 27831557064783422450072255730175, 5979449226734811956092197266969595019519,
11452789804661495675571208447, 5155251446397958153183722213887,
3725020309211873162878259711, 53635236048324356572185225748025855,
27208559564236297457352780550655, 167607991567564947853823,
28565718565883736039183, 3096859467572692528167095701759,
3096859450434579382905935565055, 5052001593825017043034902783,
2749922703266812415, 297197735868751905390981151, 3111758721403854623,
32219725900626293009534409649488383, 32219725722321363846237299587219967,
52561024582155469555857486840319, 550326605364883808588287,
485582622969841519170047, 297660508488783356898578943,
3092045243978451624900502159647, 32381326244882784776479,
335214028270115952471224439940820505087,
335214026415031469456281306852979905023, 546844899752745505299022422166475263
, 5727220366337678874161189375, 5052001609392657001693057535,
3096859930317315085912175022591, 183082021898223377, 32374737830439450374431,
336895318250897869465776415, 5725598002231012084886278655,
59586000691377215420708708946431, 5053623967276932402685940223,
3096861095702775805881029235199, 206179940706281594650216099857,
334703650621368184114666895687765917983, 36466632702917786814865214446436639,
36284650649881329961803616481107473453625119231,
36284650649881328106719133466164340365784519167,
59198365278061172354800965088874144674615807,
6449780343412894917279605183554433061375, 495506807121077235772096767,
549104915890437888, 4577717156443066879, 297660514721940966545035775,
28566634300746424709407, 183081893049204497, 28610199414344955990527,
2745735634139225887, 17600775987185, 2749922574417793535, 263891380605439 ];


SMALL_GROUP_LIB[ 10406 ] :=
[ 7079666462190209831, 149366336999175, 680344150897319, 14438287047,
65420312999 ]; 

SMALL_GROUP_LIB[ 10412 ] :=
[ 2563647282449342979271, 26692699501898043386435983, 4247483138972191119,
246611058379393423, 2988603230153, 23657038612879 ]; 

SMALL_GROUP_LIB[ 10413 ] :=
[ 63328526899 ]; 

SMALL_GROUP_LIB[ 10420 ] :=
[ 21981742874616570606513451719, 40197446807797762079, 3874571550722079,
2109623363776128412971719, 12194217257528790577603,
229111596462999138337382402562079, 229111596670294196854284290562079,
66200201475260373176814082079, 21982275856885508916677122079,
609710784609239042079, 202508809405194242079, 114646139149883,
19431350681602079 ]; 

SMALL_GROUP_LIB[ 10425 ] :=
[ 829027576422008186555, 44527510101999117, 7624859516219 ]; 

SMALL_GROUP_LIB[ 10428 ] :=
[ 113517172507119242201807, 10855826253169724111, 113204462639310516830927,
10885816465102492367, 350726102044900215503, 38972806195730908799,
3657762454681276594465487, 4440048262021701195, 3657371813964099749373647,
4470112648768290084594383, 38143146877423011583145632463,
113283357616812405407189, 1479889452064819068, 1052502092815055,
396433325941557658377935, 4440045675113467467, 37986338446392655487,
47673023225179, 38016234236174844623, 426100741939011, 3642736351414991 ]; 

SMALL_GROUP_LIB[ 10431 ] :=
[ 4332104594532428477, 2756355635570564127100679, 2756380182985873971580679,
25332810808540679, 833010532060679, 3186324242140679, 40228063157,
80041180679 ]; 

SMALL_GROUP_LIB[ 10437 ] :=
[ 5646221180687919, 543970927919, 384997085321455, 37648052335,
385169189001455 ]; 

SMALL_GROUP_LIB[ 10444 ] :=
[ 396790170396948535148867, 4144076692377368178214144439,
190983433112204896439, 38009441662058707127, 49637140871969, 3638218574538935
]; 

SMALL_GROUP_LIB[ 10450 ] :=
[ 970835489151327, 192709137655275872471, 18441066506950871,
6764443654658241051, 2013810488503143983023319, 971578376593947,
192709151772374449367, 94810982751, 601171301955218875356887,
30437570560153355091, 57491462579354291483, 971019427297989,
57528354245223564503, 2912686051963419, 5501574884894723, 93117931761,
5505104174653655, 278870022495, 526539479255 ]; 

SMALL_GROUP_LIB[ 10452 ] :=
[ 257714029542559729149303095, 1886277956364349561730493084114506303,
1886279915331747037291642659527086655, 180470527780788816995602355208767,
180470715205912953578184595489343, 180473011009020242129115464454719,
656288453309610359340753947, 843713577446192941581034523,
300518831566191945540635, 180470527626125432410541975015999,
17266602380528026526229725759, 62920008873605630551067, 6006118266409591835,
429143796843033041, 656288309208695021109914651, 843713433345277603350195227,
62790705452499717856283, 80722692071001687071771, 300374730650853714701339,
62790691664338093417499, 80722678282840062632987, 28738494451646931995,
62775907958267399711771, 6019906428034030619, 24657339703210895726903,
17266685315966135975747359295, 158055703719184065563, 14369913506828585903,
257718514469849126224482677, 180471394922478077500231411762235,
1652171060091576166286363, 2359288535680408145, 1651998224767917054814235,
1952358997878103448701979, 17268491920080549133528828955,
656288668890567899353999655, 843713793027150481594280231,
4491360721371651393827, 62805060276821677532585, 643389968593269612,
6007536427855975451, 7723187654272160795, 46165988090321, 579639628141595,
145855463516209555288091, 2359287413590420049, 13941041175613395887,
20678515547119, 13954788380953226267, 225860684755409, 1333844398711835 ]; 

SMALL_GROUP_LIB[ 10458 ] :=
[ 635547983388716547, 551448695081481599557111, 52729842674029778423,
19933196464560324481443, 5767050453170132933363548663, 635669230147568035,
551448705164537603848695, 64538392468995, 5630317335943619655492637687,
33221147681173014417123, 538163275586634789038031, 635422940257138879,
538374195433776091005431, 3176625917861007779, 51459482492375909823,
61216563500815, 51479648841657966071, 304184627113475, 4920577836258807 ]; 

SMALL_GROUP_LIB[ 10460 ] :=
[ 12478156946629511982231, 68262746561449273290145523255,
623907767853199740455, 207227032100142381863, 116420127713373,
19808053111818791 ]; 

SMALL_GROUP_LIB[ 10478 ] :=
[ 1321896554679610259, 47859141626441, 126159107050259, 4587850781,
12052810259 ]; 

SMALL_GROUP_LIB[ 10485 ] :=
[ ]; 

SMALL_GROUP_LIB[ 10486 ] :=
[ 746643940490511673711, 3391281770837403, 71203868200997103, 327234095347,
6791116120047 ]; 

SMALL_GROUP_LIB[ 10492 ] :=
[ 43100064283911987659, 452206044317410181282519, 174119702215682519,
4124168732162519, 272471043581, 391910402519 ]; 

SMALL_GROUP_LIB[ 10494 ] :=
[ 367465827065019663162208727, 6174643381698229892749,
34989035535884875258423, 65388645245020709, 35016755008101612499415,
588397554993676333, 3334194331179910327, 6277929143981, 3336835538632651223,
56112032004661, 317741072134615 ];