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

SMALL_GROUP_LIB[ 7002 ] :=
[ 4491360970764055, 12328942089885, 31447946373683511063, 81285075890286005,
220198526434219186489111 ]; 

SMALL_GROUP_LIB[ 7004 ] :=
[ 27565369793009759, 3962567652959, 40785312546234958803,
29419927936106644942784111, 599721101811354719, 39290332102547807,
834771692109, 5600936970335 ]; 

SMALL_GROUP_LIB[ 7007 ] :=
[ ]; 

SMALL_GROUP_LIB[ 7011 ] :=
[ 386591330880126457, 7946307177 ]; 

SMALL_GROUP_LIB[ 7018 ] :=
[ 8516680871, 2852011661, 59714145111207, 19908511171509, 419074566832739495
]; 

SMALL_GROUP_LIB[ 7028 ] :=
[ 17640778375000001499, 3502454187500001499, 10125000062255, 498125000001499
]; 

SMALL_GROUP_LIB[ 7029 ] :=
[ ]; 

SMALL_GROUP_LIB[ 7038 ] :=
[ 1773838916827, 1267216276825, 12508767285589211, 85096789955,
12481578537242143, 8915461773384049, 88036730207876882651, 594522657857459,
87845348608216491511, 62747017304294973313, 619602507293958619616987 ]; 

SMALL_GROUP_LIB[ 7044 ] :=
[ 249677457612802771603, 1275920175668282220, 248827003277108754323,
64148922514715, 35323415320659603 ]; 

SMALL_GROUP_LIB[ 7050 ] :=
[ 91708303405535965129793266345, 646543539009054718111155206169273,
23650835375653821312358585, 4701644668879399071505797953979,
55182431272310419072443, 118991843635245241, 151878746310075, 10149855563037,
1071035143442447803, 71421276990347449, 7550799861543842388411, 3400860960139
, 1070717940687156687, 71387532016554189, 7550798275530065150371,
503519808397681746601, 53233139027523915249125307 ]; 

SMALL_GROUP_LIB[ 7052 ] :=
[ 3090333111944914875, 936997880783873030568095, 18841436080622735,
463313660819855, 62233921761, 65420298383 ]; 

SMALL_GROUP_LIB[ 7060 ] :=
[ 137519513619518765509983, 1175416525597044087811,
6857283311089852023804391327103, 6857283416480553943303109739903,
2929348683787547287038723455, 970887805315054564505814399,
58770809846086239615, 19486686804826916223, 24072251630243, 2759466055370111
]; 

SMALL_GROUP_LIB[ 7065 ] :=
[ 3354456256319 ]; 

SMALL_GROUP_LIB[ 7068 ] :=
[ 566010916617833049601439, 3377561044466518617601439, 3700891047996403201439
, 81040147731648001439, 11267613734401439, 16890818803201787,
566009515448413344001439, 3377559643297098912001439, 80080774996089601439,
477866588217465601439, 3699489878576697601439, 80080576728307201439,
477866389949683201439, 523413984499201439, 79638978311942401439,
11465881516801439, 1482984987840001439, 87245292326415359,
10483313630839257601439, 47845443398426147, 10481738018647190401439,
11714874014943878401439, 74096060742827821036801439, 566012749217976418410539
, 3377562877066661986410539, 119496149041681593017, 79818876184695669029,
8442376762895100, 11330166988801439, 67609993420801439, 2488320001787,
1692057601439, 578272637102198401439, 47845421625626147, 81618095059215359,
401241616171, 81815568134401439, 6771340801787, 11548915201439 ]; 

SMALL_GROUP_LIB[ 7076 ] :=
[ 19604402105116417259, 8971204444383092427, 985344793105103164467361679,
985344780147782162770081679, 3871990099554000804001679,
138720823748402954401679, 77331884129281679, 2781152755201679, 179573763567,
391910401679 ]; 

SMALL_GROUP_LIB[ 7084 ] :=
[ 4306101384323170695, 599968521239119, 4249882987507259783, 607884170160519,
126655662671, 123819336479570511, 68789309812015495, 877880259698664659535,
5388021822029867, 877136263072331392591, 5360212326235905585743,
6218903759690112395162191, 89107477495535828559, 5388017204375595,
12570912996104583, 422845203159, 12578681209918031, 760593627979,
1773838907983 ]; 

SMALL_GROUP_LIB[ 7092 ] :=
[ 46486786003809912513183507, 329684286324752327145998625223,
6622102102596309915543, 2338120958615143108561603385613207,
46977257298760088937207703, 33624571664336637685, 46963949599751866268456855,
333162708761902391599766149015, 11993858232935644055660696609157,
117600496712564060386949728999958969047959,
16756906187526373052168281002594261911, 100834913218041148272,
46487292019284891759548311, 33624312492165779189, 6554891372285832435607,
4776172863040349, 924170936685598615 ]; 

SMALL_GROUP_LIB[ 7098 ] :=
[ 17215706184968454766203143999621663, 3305742063095100123269600184863,
21886282171924420758047, 414039542664544620920343071, 21886282432839272696351
, 2938852673832937712869872454175, 465728666700539630196531935,
33895365988363379423, 4775341807634975, 57920286231071,
2921183784942228802079, 11668713067177079540255, 411550804021545503,
1643944334908394015, 21361806765219449375, 3009553016687135,
20855601622201590883721951, 28958248013177, 2918513598640645279031,
11666042880875496017207, 411174297524702519, 1643567828411551031,
2670504562106895671, 147174154988654787109524507167,
588695880781604210616429873695, 587888711264615271999415421471,
20734594958549980115143199, 82938275684522003714312735,
82824557803852950654716447, 20848312839219033174739487,
269302896667958812639398431, 1076472413656897429653850655,
2921188359941382834719, 11684738758077762603551, 11668717642176233572895,
37940672962562860747295, 151658553631615920343583, 246391004979273507179039,
411174077389999415, 1643567608276847927, 376233506245943,
20734594954727358011869727, 82938275680699381611039263,
82824557800030328551442975, 2921188357079432628767, 11684738755215812397599,
11668717639314283366943, 2937209472980961659423, 37940672959700910541343,
151658553628753970137631, 5345262462764190239, 21366378364293220895,
34712736683096607263, 411116422275075383, 58140420934967,
20734562505520333396281887, 82824525350823303935855135,
2921187607564332075551, 11668716889799182813727, 37908223752676294953503,
411553665971751455, 1643947196858599967, 5340693725640624671,
147981114594949510232035248671, 8408533535, 57981534734879, 231606996961823,
4331670905, 57928535510327, 231553997737271, 411550910067771935,
1646201571963570719, 1643944440954620447, 44877351455, 318896386673183,
20416171385, 318578391321911, 2263529658481019423, 4108724341,
318366394427399, 2263526902521307871, 144716471029889, 2261269453517015831,
16066533520325615766047 ]; 

SMALL_GROUP_LIB[ 7100 ] :=
[ 14905248533897396893342590529279, 2099330779821012423460929279,
77776334210074662414979, 10950454830784014979, 77748184766201376014979,
10954419992006414979, 1548933120014979, 4164553985672530067103,
2099348825373749221553729279, 41645484342515214979,
210073139233739481375739567213, 105897869467622267628170352455114979,
210073140621858922783739567213, 105897869467720824108510320455114979,
147838885846517307592367213, 74524162944520044849427936714979,
295877660837645734414979, 586944218873938313, 1478360701140419488014979,
2100731391965920799881614979, 95821914367237788814979, 586942712966738313,
13496040469228814979, 82824896019533, 1900239756814979 ]; 

SMALL_GROUP_LIB[ 7105 ] :=
[ 4799303991 ]; 

SMALL_GROUP_LIB[ 7110 ] :=
[ 7402853663922144947, 52634277116878164426419, 7410422033518235315,
52634269642930718879135, 7402948086072688031, 374229710294730400796416691,
52688097012156468177587, 1043632693630643, 3642736351889075, 142279953341685,
25908439374369259187, 47673023663227, 25900965426923711903,
1009219976813153277, 184209018695937881479859, 336470099784075115,
184155871455652510274951, 7175550803994077391981,
1309726122979575403280836787 ]; 

SMALL_GROUP_LIB[ 7116 ] :=
[ 1882019003657521561230159, 13392447229886227495019152543,
265404486788919067807, 1342567816811136768, 264509607309875348639,
66816808670897, 37169797428937887 ]; 

SMALL_GROUP_LIB[ 7119 ] :=
[ 3907364692895, 85600883093 ]; 

SMALL_GROUP_LIB[ 7124 ] :=
[ 1200195230409218927431, 97788611413807999435, 61000725212891071131101107807
, 61000724652857623811772847711, 95436838311425422161286751,
8550192530546763490072159, 1880477867123803743, 168718731611145823,
1937665836995, 23657038612063 ]; 

SMALL_GROUP_LIB[ 7137 ] :=
[ 5777721031900319, 569102630620319, 2179264642780319, 13685983151,
80041180319 ]; 

SMALL_GROUP_LIB[ 7140 ] :=
[ 685919030558043152834833231967, 15257001292608680498015,
96067091115174186012717151, 960140633382659405099321913397,
35078869554833740511434741755085390687,
35078869554776109405465873344037454687, 116541869631714710564668669283074911,
134473478316509488140644405, 4913006940452909112587229899850591,
4913006940444837529118200710628191, 16322390704726227310209941963615,
4897461878184457984478004551680863, 326652543620967865992090463,
899480469183160917813, 108934989231029772642947935,
109178930415530881323111263, 777796129786763395944457179999,
685919030592216956087847420767, 15291166725247460184927, 125697277388919797,
15248209949412279980895, 2135603983207633759, 2691156234599818862389,
108872219041067399523603295, 125978748070666037, 15248214734484736578399,
13454146721420796835087, 96062616071534982109147231, 10676961670456152927,
2690653527983716916995, 686136748060939145993152188479,
686136739989355676963962966079, 326589721932873134397018175,
134477065686940038931279925, 4913006908501097529131284983513951,
4913006850869991560262873935577951, 16322377960592772320725645198175,
96062611800257763641217087, 6406282586313725247,
685887078780633500142931084127, 76276464046320297972575, 628410619426512693,
76233512055557574366047, 320174696556666254529375,
544613953291425061537846111, 96062607528980545173409823, 2135603502171305247,
685887078750734559613655646559, 76246569292731300983135, 628164328821899029,
76233507868617295802719, 106726155931227695100255,
544400504750799622978416991, 19211266127206475784122387,
4899016381155105459683581646668095, 4899016323523999490815170598732095,
2331850614600702873022308352319, 960166249004737932568738857269,
35078869326697836358018856429526455135,
35078868915211739740298401547263415135, 116541778638632394399313129535181663,
685887048253813425349599756607, 45749649952870221500735,
4897233742493723214464769073353567, 544614026142954468535178079,
4486851426595442323765, 544307276086581189935108959,
2286567493335629093561963359, 3888544146660695480828099040095,
628093895653220115, 45740858609706033238335, 76233506672316432535871,
326652500663593381090316607, 4488609695254049780021,
2286047333424727129587716959, 544827401836835555374011231,
3888544146660700265900555637599, 4486851426659866833205,
544613953300397073199272799, 3810069913486171487581770591,
27764205207157365738442524758905695, 32036115417233837216821557,
3888543626500784578864124793695, 3890067649080846023222118847327,
16326091902416397548518375428959, 899480503205745651717, 376842230143606528,
18691697677301, 96128119755697044387271519, 4486851426466593304885,
13459046629025708527935, 376912598886539027, 13463317906244176458079,
628164199972880149, 1884422205404624159, 17600775992817,
13463322093184455021407, 628410490577493813, 1885020339730126143,
52785148073459, 1885618474055635807, 87969520161781, 263891380605791 ]; 

SMALL_GROUP_LIB[ 7146 ] :=
[ 151819011008681630248577447, 21245313637202757650855, 2974096628074350503,
21252871390403098580903, 2974121416062269351, 418641573898151,
4974122909206439, 13377644586901, 35544458673763882919, 90012266477542333,
254000708244646827532199 ]; 

SMALL_GROUP_LIB[ 7150 ] :=
[ 87485700249213, 8128679815427462759, 1136878388385383, 417101388335094429,
58120060680802954548839, 87583529048733, 8128681087400908391, 12485400189,
44877354599, 36723627645, 321122354140775, 12262447575, 320804358789503,
262480749730461, 2296026239499146855, 87509922562839, 2293751618745843359,
1876737691665746973, 16416587620765261583975 ]; 

SMALL_GROUP_LIB[ 7154 ] :=
[ 977778403055, 69657065789, 6993897805014767, 492657118322477,
50034370825428395759 ]; 

SMALL_GROUP_LIB[ 7164 ] :=
[ 166863471065492118635574998063, 23293299131539747369945775,
23291941815010134321202223, 1195409958161710490431771264757261,
101866419665813315006156717, 3251428799324934097583,
23293227703017325581197999, 3251438751702083515055, 7109099037482630679215,
50943872763333623820905135, 35734467847482372475, 50929587086047885815305903,
364961904475561180012718293679, 13138629331368614087956251835999,
18730901867513920749086208384017950991, 23307515373368839752487853,
107162581269015175068, 454965812544838319, 50417874127978157271133871,
35734195179615265147, 7037670515060841931439, 5024879265341827,
982266514977966767 ]; 

SMALL_GROUP_LIB[ 7172 ] :=
[ 3710283262950976595, 407706484246686035, 3195788593131, 56796876810323 ]; 

SMALL_GROUP_LIB[ 7175 ] :=
[ 11878597039 ]; 

SMALL_GROUP_LIB[ 7180 ] :=
[ 1300745667842530051015, 3352827082287138256903464359, 65037265808900852631,
21566376469992691863, 25755985212737, 3002937607964567 ]; 

SMALL_GROUP_LIB[ 7188 ] :=
[ 281948520581664230059, 1411971879700420428, 281007378549066528683,
69567058080911, 39092594260969131 ]; 

SMALL_GROUP_LIB[ 7191 ] :=
[ ]; 

SMALL_GROUP_LIB[ 7196 ] :=
[ 29040836305743824355583, 208977874318405502448436735, 20334621344080594431,
4037989644514625023, 11132555296517, 560888369120767 ]; 

SMALL_GROUP_LIB[ 7212 ] :=
[ 14911685741159470670400360599, 275208162969600001199,
2067405632299598400360599, 14910129419994243892800001199,
287650534348800001199, 1985089689678528216000599, 1435733683631640000,
38187417600001199, 286693553433600001199, 70502400359401, 39750912000001199 ]
; 

SMALL_GROUP_LIB[ 7218 ] :=
[ 5230592000160799, 13926400319601, 37753757286400160799, 94648320063840401,
272506626993152000160799 ]; 

SMALL_GROUP_LIB[ 7220 ] :=
[ 570272867882097736046705982927453455,
824408980009717238883854871004905543215, 74747392199092146226646953861493435,
6901716044286311571336823055, 1014030173588591645744399, 27495438829683983,
3809870352600335, 1433909274678587109496844987, 4841703386023001583,
664181623699894830051503, 91108869618197155057793005103,
74747466985719628530543663038805551, 12741263543297483,
1747777979338720083215, 521269813766284343567, 198602410751289033404687,
10352824427437555630007822194223, 27507282631204176143, 3801633650109899,
93117916857, 3809868659547407, 526539461903 ]; 

SMALL_GROUP_LIB[ 7225 ] :=
[ ]; 

SMALL_GROUP_LIB[ 7227 ] :=
[ 5030634538688215247, 97176242447 ]; 

SMALL_GROUP_LIB[ 7228 ] :=
[ 106717867496410929311, 107214521170692939605734535, 2052188865287900279,
184159923270515063, 2054185192421, 25451006134391 ]; 

SMALL_GROUP_LIB[ 7245 ] :=
[ 85097018407 ]; 

SMALL_GROUP_LIB[ 7252 ] :=
[ 1823758861649721707699, 13225900324582410222646295, 1329147899465570855,
95914229161314588225265352231, 9648032659474824960551, 35956717539406313,
67471353464212028332583, 69967532847401517830019623,
13713638368537834658244497273, 5047356624642021335887225683915980327,
3679697783591119593326091804491303, 1824873688751708019239, 35956663361712617
, 251637133204986407, 4961128816193, 34681463642663 ]; 

SMALL_GROUP_LIB[ 7254 ] :=
[ 9422245647197184672028259, 1298903577155193628259, 1298903452939814428259,
179060378112028259, 11563748697628259, 5780494886428781,
609180379896366086428259, 3648587400487126022428259, 83978671231353628259,
502976054825337628259, 1298975778189216028259, 83978547015974428259,
502975930609958428259, 179070272294428259, 83883365779104028259,
11687964076828259, 83883242358432036959, 11564543404836959,
167630727123820853141, 4418994475768095482025628259,
26466853003133468057769628259, 609181280990690025628259,
3648588301581449961628259, 9422770295020941993628259, 5781289593653141,
609180379921049443228259, 3648587400511809379228259, 83978695914710428259,
502976079508694428259, 1298975802872572828259, 608489935307750620828259,
84784460103043228259, 1617408028259, 821145628781, 11576896358428259,
69337770854428259, 11548915228259, 4382553628781, 83889035424028259,
401241637771, 83765614752036959, 31773661344053141, 608531189573750428259,
2889242784323131, 607635772598390697959, 230486121077674383941,
4414285249609846881628259 ]; 

SMALL_GROUP_LIB[ 7260 ] :=
[ 679809328886479282147700321358487993088003199,
6992496483923897368941718714608649265197953030199,
72944561013334112719126162575019455233013099,
7064310687522121759055886648192003199, 42361429426628893647274752001399,
1205559988111938048001399, 804314857130562048001399,
3211785643018818048001399, 1824595167547904001399,
4472755157597174835105456197090176001399,
4472754375134202511969171889685377010399,
1383947682299364301586019353345013099, 165887521919488003919,
8752366729584222243584003199, 5839327078659432483584003199,
23317564984208171043584003199, 8752365513689909006976003199,
63542137522300896161149312003199, 5839325862765119246976003199,
42393469656586922503549312003199, 23317563768313857806976003199,
23317558794885803385216003199, 169285476850870764449149312003199,
1205560155684571392003199, 804315024703195392003199,
3211785810591451392003199, 1606805286665947392003199,
13246560915539661440003199, 13241587487485239680003199,
96133925158975188283776003199, 8834080369057762048003199,
1216815477852672003199, 32472201061709368260487335619262299072001399,
4472754375134224981199095527257024001399, 42417013111415120764209024001399,
32472196763474310236896187917444461505001399,
10047460173493384829514497312011137030199, 803706795785158656001399,
166055002513792139009, 1205561997971697856130099, 804316866990321856130099,
3211787652878577856130099, 63542167611376831405503424130099,
51286896331599433335727973394168704003199,
93637648734037319723280401824187265030199,
1383947897898805938464836956929013099,
93637656220496775453370660647177153001399,
6169243364264877678626281109297508872469441001399,
72944616288148160088330202868524118913010399,
55735749365496546634839322817409010399, 1057440216167152788467841010399,
93637650552627804406130029366458240001399,
93637648734037336977596627482162112001399, 1776549420206891899462716224001399
, 963153785664448883136389590165660742593001399,
10047461738745331113256556256408449010399, 49534132727107015510784001399,
22847685120001399, 1205559303066747648001399, 804314172085371648001399,
3211784957973627648001399, 166055095173376001399, 110787170795776001399,
442394717061376001399, 221323019550976001399, 1215962954203904001399,
167488127488001399, 5842531347233152304000001399, 165872298689280003919,
22849585408003919, 8752360540261854577536003199, 5839320889337064817536003199
, 23317558794885803377536003199, 1205559988229079424003199,
804314857247703424003199, 3211785643135959424003199,
1606805119210455424003199, 13241587487485232000003199, 166055117947008003199,
110787193569408003199, 442394739835008003199, 1823910145327744003199,
42416777580912683500569536001399, 244703759091577841386368003199,
6822880600956961536001399, 1776549291004856968502412224001399,
134028312845005360300928001399, 939791087665280001399, 15248785408001399,
3407872001399, 60924755968001399, 30543314944001399, 68617773312001399,
26257081010965427127041013099, 165811391562241019903,
13241586817501889281019039, 1057437009964323795125121010399,
1383948733904272749559981130625010399, 251227279872001939,
20062325166836480001399, 5471593407976064001399, 3616678457379926400001399,
190626408139610840980620161010399, 83748721152003919, 6687487467457280003199,
5471593154220672003199, 3616678457126171008003199,
190626408139608998462718849030199, 1203790698947805953099013,
96133920295062932063105090139, 7676992692340990754386086849001399,
10047467808360598337063220900019137001399, 1824260210301440009139,
145685419709105704704001399, 39723768142506234560001399,
26257085600578808066496001399, 1383947938671749963277312996289001399,
22843236608009913, 1823910076093056009139, 3039804389329664009139,
13244129126774741760009139, 145652480711846792000001399,
242753802409086027648001399, 1057676147088107768909696001399,
39756705130299266688001399, 26257113564138546673024001399,
26460110660732193875840001399, 6822883295862195136130099, 22839034624139900,
129447854080001399, 3616680467376374720001399, 497662594909056009139,
22843228928009913, 498165099791232003199, 68525490944003919, 1049088003991,
498165353546624001399, 68548559616001939, 3146240001993, 68617765632001399,
9437696001399 ]; 

SMALL_GROUP_LIB[ 7268 ] :=
[ 228513812739026099, 10637501095774643, 399170369931, 1460466051251 ]; 

SMALL_GROUP_LIB[ 7275 ] :=
[ 78406272916856368511, 4429847843233059, 1481261313407 ]; 

SMALL_GROUP_LIB[ 7276 ] :=
[ 51335502768038213027, 39962296834270857108332719, 754857650490166431,
49486517339077023, 973622242697, 6791116064927 ]; 

SMALL_GROUP_LIB[ 7284 ] :=
[ 198709617374712673979, 305336362018012965563, 1447706996278125438224981,
1508944917710852460, 27309072189322427, 304330580714004948923, 73365080521255
, 41779255351584443 ]; 

SMALL_GROUP_LIB[ 7300 ] :=
[ 119952218404570960089863, 5068380854416757699523,
6394633810367109063912580290335, 6394633842465387694539007170335,
2700936702408840160316069663, 875651228035075850509850399,
50683744633044876767, 270266663068872605436763234011,
340770131992986264688400618533454921183,
340770131993220582122404191449678921183, 144025104724243574170217248419266015
, 270266664758255691259206754011, 340770131992986388013365883571831881183,
144025104724366899135482286796226015, 184992517204723613827653339,
46759690664714232806739299531013599, 46759690899031666810312215755013599,
98580686961921231201374495358431, 6392253964824989293607236451807,
370228305510542207892959, 694744652118859419, 1849890916905289890414047,
2702666630249017354937712095, 119996915299752663334367, 694742918432661147,
16437929218897100255, 95352740925627, 2251067693743583 ]; 

SMALL_GROUP_LIB[ 7308 ] :=
[ 5325256121154880629427590699, 38916971733397140410831509659127,
404903312793781544183111, 284405229427666301097591718040041543,
2959033630534558412653572103, 2959033409001542028001652743,
21624617771946313332972869234695, 404903343016769453928455,
15190269781018421187267427377182381266958407,
2233138097627882416088598907922574997575,
305574452332434641028092627985102919, 405117491596529788103131,
55404729302398294391, 404895928358082437997895, 55405613451597342023,
2958979443558974262213193735, 404903343014918995161095,
38919732767815252810856687388519, 783141464533635826735479,
5325633931038624439978870631, 284425407067193866909188101829719223,
17161767858504826692038580599, 27012265621035864336529,
5723197822782778959060294007, 5724763034765771189167085943,
41825134437855435644656526842231, 38919732768029635756216128533687,
783355642421578920122743, 27063964713085110913093, 7832128414833015,
3695280543858973641, 782705782934715170314615, 107102603564711696759,
80977709195697950075025, 5720013861671388104149719415, 3696291017709889681,
782705812241972717967735, 728692276601999117702699,
5325283584017721999886567271, 535458367607962360183,
5325283155603329501417971191, 107102589747952903495,
38917172432000894245323788678327, 3913779667008711292901751,
18467152275916761233, 3913129836829105090746743, 5478341819821335197538679,
28601901806549493625960552823, 38917169301148338022599272429639,
782927286629902151954439, 284406696133062535834057146759473527,
28601903955654202506287798647, 134957929696866945011313,
28597152847838150613032262007, 40051427676527463594330184055,
209022714107920958141768076908919, 11078674187951406989,
782705753613517500035079, 5721632610682541784817577991,
135009620734732706319985, 40035722019552128884574280055,
209022714107920987449025624562039, 28612858290664903712013048183,
986272498507008178405838449, 209022698402478160695926643775863,
292695833460062793001741590223223, 1441851500712378443849997025373,
2078580977151051199553153216578920118343,
305574454699035203626406470538491975, 73759350835024518247984306907401777,
15203668609475909856519020415860854144461175,
15631966570968239452678718379992506788215, 27063964709384193378373,
11078672337510464624, 536879770393545, 5328765045807304228766243191,
134957929693166027476593, 728740311045751711576071, 3694238488845221773,
729168725438250180172151, 18467148574999226513, 99718154048846718279,
505545335269381, 99776768687305939319, 2526739764894665, 13643309127850359 ];


SMALL_GROUP_LIB[ 7316 ] :=
[ 72528321303252171, 2426100846352843, 168389463815, 330622748875 ]; 

SMALL_GROUP_LIB[ 7326 ] :=
[ 9738874591541457579420695, 71346995259777262613736522935,
9738876754704074770678967, 1329357713636772424727, 181477387503058103,
1329503160508856646839, 181772605625842871, 1329502867268219692055,
181479364988888087, 9739940153752506928741559, 1331666030131145489591,
24828863102135, 34681463684279, 8923840168005, 254349609096953015,
998417557693, 254056368459998231, 65330260949624733, 1863365554412104727735,
7260689408334229, 1861216980265063542167, 478609439370951290877,
13651016052733484574866615 ]; 

SMALL_GROUP_LIB[ 7332 ] :=
[ 14631199232644376801353495, 5041969754413856681936295306559,
17065048453541001968235, 49521619314770021, 17053371909565541397099,
2325882903779506795, 1995575870405719432983, 687657474991830198056805695,
12791670301915429483, 1163017285809834823, 14631562269381509235260657,
5041904606640101813577178123595, 93802529706452872075883, 272204056760724525,
93788527749123081573995, 110840784214691464745579,
687760147808104202916581995, 363778948799293434867, 74228858831586412,
7592619151461, 8176107997487904525931, 272203872217898029,
1113540312677450567, 3400860685059, 1115126326454858347, 37145834651749,
151878746208875 ]; 

SMALL_GROUP_LIB[ 7335 ] :=
[ 1954294056409841236583, 36343834258067 ]; 

SMALL_GROUP_LIB[ 7340 ] :=
[ 1485003284907328302087, 4000271045911862696704947911, 74250145036984445879,
24624174641636772023, 28136521313241, 3353988167559095 ]; 

SMALL_GROUP_LIB[ 7348 ] :=
[ 4293751806456007803, 471947279175686523, 3523305778439, 64172761991291 ]; 

SMALL_GROUP_LIB[ 7350 ] :=
[ 359824377546791, 19443878113901586335783, 58294630026378258335783,
2645427061751171111, 7931243648482691111, 55502873769988769831,
7551411379275815, 143262269254637432004801023, 2644707217951606883,
360607123392611, 142912504137179374570563623, 428465530693882913770563623,
19443888906761662195751, 58294640819238334195751, 135990858827604588357671,
2645432541049727015, 7931249127781247015, 18502163142166685735,
1052977679021620240853590835351, 19438598054008989280715, 2650464597166352843
, 1050406905408268434531102980135, 3149221650600039447651102980135,
142912583464729830151092263, 428465610021433369351092263,
999532812382927970720774183, 19443929208416281868327, 58294681120892953868327
, 135990899129259208030247, 7735183600334624625414897864163367,
1570716506162533848617713089, 11544766320294659618692626352881,
84854032454165748449122246135267857, 170129849877677768213505320787928395815,
388541878012052998375953, 1061400735702120846645691935179,
145768076684242938112207307, 11993363106235340085309729227,
56746218853912515838201671574446307367,
170129438426034965394476871574446307367, 7720573993729673319142515606419495,
23146862370889190265574515606419495, 54609067851291060064071574064101415,
1050427749132675207122703595559, 3149242494324446220242703595559,
7429805149835558677714263357479, 617058531232750751559573872998439,
19517907951417652054475, 92531995178933848523,
1050411568959975123448420223015, 3149226314151746136568420223015,
142913138634011689043707943, 428466165190715228243707943,
1004196364089616888038017063, 136625355658451402590247,
6663162959802108352514087, 49304569895, 359922389485607, 1079081108768807,
1798484439861777, 2655497681100474827, 19443964440002073921575,
58294716352478745921575, 244635699239, 1799609116706855, 146790975597,
1798924203640931, 13227133936045254695, 1079471950187025,
13222097770271074763, 97219434465583329671207, 48946254475, 1798239290577527,
13227129141653795327, 1078982726571045, 13222094345705747363,
97219434441611372363927, 7934119793592761793, 97182418619746581449387,
714562843322097073802854439 ]; 

SMALL_GROUP_LIB[ 7353 ] :=
[ 516864925457492279, 163413729924004482800975, 163411145775253754649935,
3022452260073791, 410426180361791, 58984761794111, 9658781975, 55861243199 ];


SMALL_GROUP_LIB[ 7356 ] :=
[ 17470075608591669374050187891, 288520141571334808775,
2374958688075361465186931, 17470196109316244117593298375,
323919210750967702727, 2122678928300514034637987, 1585112713413115248,
39252363846157511, 322862658231139579079, 76314065491117, 43889565567689927 ]
; 

SMALL_GROUP_LIB[ 7362 ] :=
[ 5437153573195255151, 40028297773016718085487, 5437181505140657519,
741304963861871, 5775262235266415, 15074383565545, 42516756561040608623,
104493407818009945, 313008369420041950465391 ]; 

SMALL_GROUP_LIB[ 7364 ] :=
[ 23362879690252094499, 4640090695001430307, 12213500792099, 629824599050275
]; 

SMALL_GROUP_LIB[ 7372 ] :=
[ 224540686519599522911, 1655314438466201107564223, 528645178924205759,
30527079523026623, 741989163953, 4133939578559 ]; 

SMALL_GROUP_LIB[ 7380 ] :=
[ 67329771418433345294338628839, 496893713068014829747310594752079,
2106605090967126016068879, 3667075602441949435191786737671681679,
15546748225977808060416193679, 15546745563802451312640193679,
114735001907714217621848064193679, 2106605450937499648193679,
199747285950024726605772694964338692103681679,
28461540132378300000030530922352647681679,
3856577253739033202766307135495681679, 2109204241143300201152039,
285441381105664065759, 2106541705824043008068879, 285448896249856068879,
15546277781562560348160193679, 2106605450921771008193679, 40802189312065759,
9123972635915456514628839, 701800170871853058686403,
497090517012242213685432322624159, 497090511632017427371397122624159,
212350222008946497949698624159, 67334920637216086560770624159,
3898881135869952065759, 67334918037721490395138752079, 1299738727022592068879
, 5179285245235840421893056043, 3668528015550347527730734043138561759,
3668527975844288604733154267138561759, 1567144638426023811058503682561759,
496931714302649413035102210561759, 28779004489493381120065759,
95112085372928126443, 28773743523915104256065759, 47955414149013438464065759,
212389053132788261191680065759, 496931695118378236770783239681679,
9594734369791016960193679, 38223125109832748398809187841643,
27073736754761564754657742811828224065759,
27073736461730849902935604064948224065759,
11565527431584055732518350753792065759, 3667356051553552674115137835008065759
, 212389071389818066305024065759, 701926999141646338497643,
212350227208991731875840065759, 354045693300100870176768065759,
1567431346856857625489833984065759, 95094889775104254441,
9592072194434269184193679, 70809139649032626372608193679,
702243924786282498497643, 353910956422275469148160065759,
1567431346856857977676627968065759, 212484961488026911375360065759,
5180220936502000484354497643, 1567431212122578942497128448065759,
2612857216554745186311733248065759, 12745645850005227420258314176041,
27066027906545426345609863003377671681679,
3856577305529544841458771038215681679,
2082175801164737858718124916346979841643,
1474554948898921930052278325713217083150336065759,
1474554948898921637021563473991078336270336065759,
630024753916399555676062196585518075904065759,
470314302520743811571688935523841643,
199861132110375762797264330921940357120065759,
142307700585324407593509668295282688065759, 95094874046569214400,
67356444137263615180800065759, 701926999110189058497643,
9124289954543304704193679, 31709746692096254441, 9126889449139470336065759,
95112053915648126443, 1236353583939584068879, 4297064448070361,
1236705771257856065759, 12886999040067163, 167505821696065759 ]; 

SMALL_GROUP_LIB[ 7396 ] :=
[ 196587772743833965959446771, 20773884333051107, 65420298467,
485921003534819 ]; 

SMALL_GROUP_LIB[ 7404 ] :=
[ 2485530866937493104680103, 18402870538633585762213565647,
336823872157171188943, 1637577487660255680, 335732348118640035023,
78328850008025, 45343188776518863 ]; 

SMALL_GROUP_LIB[ 7406 ] :=
[ 2526219607, 18711585930839, 607202183, 18667448359735, 138578239359063767 ]
; 

SMALL_GROUP_LIB[ 7412 ] :=
[ 409506366679033035995, 57408201943855143999, 22541604028249087976665507775,
22541603863696673227472889791, 46375949315824444140119999,
3035261977533322998556607, 844154600849696447, 55357775531423423,
1049209097523, 7457656284863 ]; 

SMALL_GROUP_LIB[ 7420 ] :=
[ 17492340920896058955971, 129793179410766602279773431, 12248917497920757991,
1028928618663896959219, 963396130250288639101358518031,
963396127849563124913236815631, 404635771612812350027673359,
53441865073533084104515681, 7166412892273593845983767270986983,
7166412874460210530707904239178983, 21016003241819223043785680426215,
129793174510666475543146255, 7349477673047045535,
963065391262183723686791419111, 90936053187601707180263, 231236880298875729,
90886972962484115251431, 381717715684487930257639,
674745514651128068798882023, 17503255707616085909735, 231236539636063057,
2358268177384158623, 18736454713135, 2358928479247343847, 31194980428305,
317741071999207 ]; 

SMALL_GROUP_LIB[ 7428 ] :=
[ 202529146878768518867, 343435114515428920019, 1504730828181813307920977,
1664325728425699308, 27296768880194771, 342325760851903674323, 79351072707451
, 46084302180943571 ]; 

SMALL_GROUP_LIB[ 7434 ] :=
[ 79997897068536891, 35068202651705856131239, 4717272343513208999,
1783296879715322470251, 260697018513788047761683623, 80019362560462699,
35068203920627268570279, 11425858819131, 613047723219111, 53852760302651,
4559944697397854375, 10837763168455, 4557406812566156367, 399792263260413803,
33898632385063258027175, 79975759468431367, 33879763211339485797471,
2972054974214416936011, 252002433162791335796493991 ]; 

SMALL_GROUP_LIB[ 7436 ] :=
[ 2479812609225395963, 137351996047323933699803471,
137351996723603376952904015, 239709279076489753332047, 334054388073887,
18439889700205423826615, 3546965161674407, 1021349442607941753478429168031,
1021349447636755693508484813215, 1782478199253767871102079391,
342874011783550797215, 32236326467266905503, 18471224774897886856607,
2484032617529378207, 333948166669991, 36723623613, 334054165120415,
44877350303 ]; 

SMALL_GROUP_LIB[ 7450 ] :=
[ 36125907690239, 752303306159, 269133459596260095, 5493985967100783,
2005044651475136920319 ]; 

SMALL_GROUP_LIB[ 7460 ] :=
[ 202446118814793332901923, 1637042858880491345331,
11270586005679488675103150819023, 11270586095712819975742067427023,
4555201502437528312976066255, 1510248100901016526755825359,
81852122444763784655, 27147511612383770063, 30027406261023, 3638218574538191
]; 

SMALL_GROUP_LIB[ 7470 ] :=
[ 4920577836258643, 182700595293697, 36768297040378551635, 61216563487367,
36758213865737523511, 1361532998441734561, 274659198783091542622547,
453925796717290799, 274583867385348323365951, 10170647093013182779105,
2051704214979115003154731859 ]; 

SMALL_GROUP_LIB[ 7475 ] :=
[ ]; 

SMALL_GROUP_LIB[ 7476 ] :=
[ 23501152005610877437662104905743, 430380178900486912483407,
3143546282199848845015771151, 646856462412299309, 430148797988705792958543,
57537298736066076751, 420462435472103863516567, 3143377397434107218179385359,
287656350308739588175, 3143377167284266498925887151, 57537290630103865327,
23499889423217377955220404674639, 2150865328578350167367759,
3232620252054046749, 2150518903528432159694927, 3010703933215470176444495,
16079869196454877116843958351, 4846075298592397703685, 1939293035996206528,
108079496576045, 420715224725469021610063, 3232615523576072221,
56244657486999623663, 87139094148393, 56275438527620063311, 432993483111469,
7523008457482319 ]; 

SMALL_GROUP_LIB[ 7497 ] :=
[ 128918879280981, 129158457925461, 17314158069, 386753416470357 ];