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

SMALL_GROUP_LIB[ 14508 ] :=
[ 167542502430614456460225492954585837359,
11548283873078973296141958105837359, 144725052054173115105792028259,
144725048594304183012096028259, 9975534329765157120028259,
9975534091268829696028259, 25677232344312017638617863111,
167540538366381316859108254760409837359,
167541215676595277523353781616089837359, 11548148495064557828715678681837359,
11548195180356394102788295641837359, 11548283877101348178617703897837359,
9347037638705638064640028259, 56032329474979710681600028259,
9979271450775765504028259, 11548148489755022983810100697837359,
795984870763933198187481837359, 647361723394441728028259,
643923796144439808036959, 372525286851273144799833562593041,
2430678130619460144991941959915350617811259,
2430687957036044286308816063537556057811259,
167540538366396604978412332349529811259,
167541215676610565642657859205209811259,
167542502488986359374872134814297811259, 135606822066488023730588160028259,
812917036027152269257443840028259, 578952488432523452779008028259,
321934170202587648053141, 135606822062340616743431808028259,
812917036023004862270287488028259, 135606832037830277954065152028259,
812917045998494523480920832028259, 1967383774540608247434022380288028259,
11793800358681925121537644585728028259, 9347037638991527836800028259,
56032329475265600453760028259, 144779270207767590284928028259,
144789245697428800918272028259, 2100457712344872613250163456028259,
167540538289365873448560109918809811259, 11548148505043142287887689817811259,
9347038326291086572032028259, 56032330162565159188992028259,
9979959036224272896028259, 9391928029979790739968028259,
9391923882572803583616028259, 9401899372234014216960028259,
136258091858946301246169856028259, 647362009284213888028259,
687588650975232028259, 14963578358695856665407029,
144854099466580835790361110359, 322222513972012441893011,
144725057211965852968153110359, 1881611783095570683049753110359,
1881611783317372441114393110359, 2102483854010289442510096153110359,
2102483854010511244268160793110359, 44382567707136028259,
22188632486400028781, 9347034178836705970944028259,
56032326015110778587904028259, 644267827386669312028259,
3862167733388466432028259, 9975811581843671808028259,
644267588890341888028259, 3862167494892139008028259, 687607642206720028259,
643901854462348032028259, 44621064034560028259, 643901617494657792036959,
44384096344320036959, 1287281963353344768053141,
135606771866562190538405760028259, 812916985827226436065261440028259,
9347037638991525037440028259, 56032329475265597654400028259,
144729074429341385258880028259, 22190161123584053141,
9347034178884099415680028259, 56032326015158172032640028259,
644267874780114048028259, 3862167780781911168028259,
9975811629237116544028259, 9341728104146598557568028259,
647362009281414528028259, 1769889318972536025863111,
795988893138815694835161837359, 3781742146306560028259, 343814896304640036959
, 25677554234133086768602593041, 11548206861657937630472862297811259,
54869662724928440832028259, 122000910448896053141, 54865515317941284480028259
, 64841004979151917824028259, 796049066813452093022976028259,
4988776254650583552297959, 372529956828800131668310640490941,
167541385148933359145316759650457028259, 796049079899517322882560028259,
1769989149262046592783941, 795988896233566243218624028259,
940903152872113588320000028259, 11549080051182197499824195328028259,
33271031480832323131, 4988066537945738880297959,
72377165902423971914496297959, 1770277471674220800783941,
940713300238430416931136028259, 11549080051182197547217640064028259,
796178748179711358145152028259, 25679002289090605151616783941,
11549079861330251402102713536028259, 13650622941868624206794335104028259,
33872514135399731842420194693031, 15234095265627582729622963141217910959,
78415296983041178369537160240282224490941,
35267122987525583192635059229539695226009028259,
6388491560294356457413091834480490941,
2873211291690260234412347016383093913028259, 9347047265187753799129110359,
56032339101461826416089110359, 322222513966413721893011,
644611383072782233407029, 33271028681497433100, 44407816814592028259,
266209574879232028259, 1576599552028781, 3105423360028259,
67748542826224335629760028259, 1769989149256447872783941,
4666298727518566272297959, 11092381698816323131, 4669736891736258432028259,
122000904850176053141, 321636246522624036959, 764785152037771,
321873214212864028259, 8408904192028781, 22168318464028259 ]; 

SMALL_GROUP_LIB[ 14516 ] :=
[ 494097538102083419, 34363041283419, 31449616656364483419,
1832765213228003419, 11384842595927, 126150728003419 ]; 

SMALL_GROUP_LIB[ 14525 ] :=
[ ]; 

SMALL_GROUP_LIB[ 14532 ] :=
[ 18810055457108683140349738128610503, 90138112284049229141145495,
1294388622152566179057103443143, 35854582215169468025,
90113239915273976284280727, 6201021369510167738263,
89068706041383922292806459, 1294346460980572753496111944903,
31003418293652595570583, 1294346436176468854587208770839,
6201021138285880165159, 18809442770969682831786927968871319,
450578948944146260811216791, 179225500462530179553,
450541676230198815909214103, 630755893107687879587231639,
6547813286056506947764342847383, 521603031463283523992901,
107527338455447968240, 3082990502602361, 89096414168201002910414743,
179225365581695693281, 6129342774857530819367, 2485661092852917,
6131049518399738705815, 12351230700873337, 421772369438603159 ]; 

SMALL_GROUP_LIB[ 14534 ] :=
[ 13809125935057803587, 254937369956189, 950125107298499, 17624667281,
65420316611 ]; 

SMALL_GROUP_LIB[ 14535 ] :=
[ 39244493961935279783, 185994069443 ]; 

SMALL_GROUP_LIB[ 14540 ] :=
[ 90214525986443296376007, 953619797097810582574237965671,
4510726001941384155479, 1499714897109365505623, 435604684655121,
103131631440366935 ]; 

SMALL_GROUP_LIB[ 14550 ] :=
[ 66100001380743638399, 961754922305094377401727, 66126184628808969599,
13993534119589245507462884735, 962136051655944218471807,
65863557695556863879167814575395, 958314764470356936809120563333881123,
8230277555286873943089798435, 2968866457430623761529432040629202303,
204444960751071926099727361109375, 6969209911911948726945611212778879,
14004565592437775546922691967, 19203500176309677013724543,
963644319366915319262591, 21382400417195547939, 4550431951678847,
39100304717044233392295374207, 84873591361979814159651,
2687306036516496884671871, 5831901948952304739, 184668653480252599487,
134634342518689, 2687306166099439774461311, 5833237855578283299,
184694570068829138303, 401815666298787, 12692156641570175 ]; 

SMALL_GROUP_LIB[ 14556 ] :=
[ 4126436957431437660369434398667, 15986199800022551177591,
283482558753907614096216011, 4126372125216822782128871963255,
19508014898181531134327, 232714658103314327443497083, 48245256485419617648,
1098715440395651447, 19475854305447001340279, 1173841283941717,
1337971913558731127 ]; 

SMALL_GROUP_LIB[ 14562 ] :=
[ 37347444890095709060430991, 3178547372839552745, 2564719451885180615823,
231869884262745, 176125635214441615 ]; 

SMALL_GROUP_LIB[ 14564 ] :=
[ 23790041659010883299, 1636381232643299, 263439072768231363299,
29112012046925283299, 55026734508579, 1998039700803299 ]; 

SMALL_GROUP_LIB[ 14575 ] :=
[ 11465046485 ]; 

SMALL_GROUP_LIB[ 14588 ] :=
[ 4134810658483483897672519, 60318619023875867783498243119,
1422632582714736643119, 283527934868971523119, 189517086989885,
19431350681603119 ]; 

SMALL_GROUP_LIB[ 14596 ] :=
[ 569122927102770392087, 255127115220795742183,
121574025957939225757213662655, 121574025820570568328312135103,
331403869317300204564258239, 8306919759533167686327743, 1555571097402215871,
39096624696462783, 1199390727695, 2673202040255 ]; 

SMALL_GROUP_LIB[ 14598 ] :=
[ 88456854888327449847343077719, 6059518762639328005797719,
415221383817069777719, 6061400934347444733297719, 415221817728017457719,
28486598089617719, 37999257063326838385857719, 3218069550360385711,
2603045405446058097719, 234174163551391, 178316737071057719 ]; 

SMALL_GROUP_LIB[ 14602 ] :=
[ 7702108379903552415559, 17943529517503641, 527469349068136263,
1243603411153, 36125907734343 ]; 

SMALL_GROUP_LIB[ 14604 ] :=
[ 290102880994008314668291263, 4236662474031356999099278690687,
19897401157570434959743, 49046518116407930880, 19864706429042758257023,
1189414421564225, 1360200337700424063 ]; 

SMALL_GROUP_LIB[ 14612 ] :=
[ 187469731879500189022679, 7391369420865888113611,
40056601737928956090713582083359, 40056601855515997182559726083359,
30348187982727429875182083359, 2739307851425326530603523359,
142139060153466883359, 12839411599400963359, 34814115918131, 878220492803359
]; 

SMALL_GROUP_LIB[ 14620 ] :=
[ 6865563079383116349291, 4315887480471898015805673335, 20191815468358674251,
1373068793166972358719, 863192506086374216774229599,
1467736618047348691085074629333, 922707299123194816854344232758850539,
1467736613928236261977347064533, 922707299123017695019892600473564139,
341261600096560749610664661, 214533475950593651376056841368555,
4038433393426429955, 100374533269234876754625237,
63098274964544920451410260005867, 295271709381113754568523,
469684406012330769, 295204345620390438484811, 1003691680112242820198219,
4316872391151552327879389003, 18785041933753191146315, 469684288912986897,
1283781410585108483, 6440463941145, 1284886293079953227, 32135405661045,
87807779432267 ]; 

SMALL_GROUP_LIB[ 14628 ] :=
[ 67981950479508942780227, 994440068164530183602347447, 101418722310622416647
, 994439971568970617462817447, 4829765763112033847,
14546669317110746452814395802375, 1483659496813894493933319,
1913698486234061561, 1483553073994071846981383, 1624843398971383083634439,
21702971119395598976135925511, 273371273633315312, 68080733616069323099911,
1913698145571248889, 4647534737065762359, 6277929035821, 4654137755697614599,
130863186187521, 317741071994631 ]; 

SMALL_GROUP_LIB[ 14644 ] :=
[ 1455758374584194388539, 290133748879976218427, 192449598695519,
19808053111819835 ]; 

SMALL_GROUP_LIB[ 14650 ] :=
[ 232519388272743429514175, 163647498235333791, 15871629831087856575,
11399281464095, 1083396983753663 ]; 

SMALL_GROUP_LIB[ 14651 ] :=
[ ]; 

SMALL_GROUP_LIB[ 14652 ] :=
[ 38537272383755904239435604629689022855,
564648114966791653970314546478255970899831,
2630028032402432394487432023440567, 179499582744899075573349688343,
2630027886388142634987980162137271, 179499592711908470461628742839,
251301375264524139554680706291, 3682067750385690901355121087178919,
12261493808941304559746231, 3682067750375790947311981152901511,
12251594530524592192152599, 53949656678651143080795674500295341943,
179655419727435889232553491639, 179655407287299945911422598327,
179691668343971452527641148599, 2632311209846389106765653682994359,
12261494658038546563644599, 12250858779041254059353111,
2630027923619328168499712343216995, 54392822727505724439178595,
836167736146356386999, 12251528323691375206907063, 836847927060096662711,
12251527648064947639870487, 836172300632529626135,
179509392997540446459561295031, 12261494658030187719474359,
17151503247794794932049139, 251303835470159194859097385127,
11136768117092042980535, 251303825570205151719163107719,
1237489700379675386903, 3682103797308766924775401171498871,
163188367369604039580892343, 301016699609438840733,
163175927233660718449999031, 199436983905167334668549303,
2391035958699986194821836487863, 3682103652254638257809795986603607,
18134240729517717084073367, 53950184838168052988051246534448893111,
2391035998363306688201216801975, 4410496488577054698172413,
2390853685830232765189715705015, 2922731835151026561467299183799,
35033459448019170110673664267566263, 100332817046034651541,
18131699196364680753737111, 265702895168765771165413567895,
4411232195545376909488125, 2922150688181208938736883383479,
35033459448019170279579992531188919, 2391434830325399690348931366071,
64622593814675651807922941949, 35033458866874675112654833315527863,
42823866848632841985140057527860407, 105218347983361364171759605949413,
790488874297748484180625702948154487193175,
57041390870881291664558267467049057879,
16958251329901361272465032385303943229,
11590600690764184137535405312349429949552905399,
9193475012613500006346622578199034079202487, 12254069354543075952864611,
100332808687252627056, 57205700476058807, 251452312274169261943837998263,
4410496488560337009831933, 17151737520118126654418327, 33450357401482369429,
17161637474161266588695735, 301016682891750500253, 1170607240735123104791,
2283636227369149, 1171282867162690141367, 20543809945387077,
79889374528978103 ]; 

SMALL_GROUP_LIB[ 14660 ] :=
[ 23094782136043078105320203, 94779269912425508269491,
4964284374855282700431661042998383, 4964284375708276727237956334492783,
1018477112645240716788877958255, 338569509272951064122935958639,
4738963188287183416175, 1575631822935371823983, 450184339409463,
107465432894155631 ]; 

SMALL_GROUP_LIB[ 14668 ] :=
[ 28593179382102337622207, 419404786688885868730518911, 33485264422346689919,
1951585006409223551, 11871826513745, 132938364620159 ]; 

SMALL_GROUP_LIB[ 14670 ] :=
[ 594475267027335149259693918359, 8720952167299735474870691491235027,
594475275824805060529127634131, 40523194757720540478011543,
2762540431551028189331, 40526467139284785402699923, 2763140034394264064147,
40526466543330959672486999, 2762544080568533851223,
594523272932807432947241428115, 40535264013695678443984019,
188406414618773651, 929396743700539367619321677459, 1180390871224475058755505
, 63344818022256817525940831, 26823427818342363199,
63353561260834106236544147, 80462928292497781041, 4317983465751443385431,
1842361093294327, 4318579419577173598355, 5498519533304817,
294335036298254483 ]; 

SMALL_GROUP_LIB[ 14676 ] :=
[ 20493611171773779349387, 50268338524609416588, 20460101954967631682699,
1213064026424927, 1394095991477259147 ]; 

SMALL_GROUP_LIB[ 14679 ] :=
[ 1575993093533 ]; 

SMALL_GROUP_LIB[ 14697 ] :=
[ ]; 

SMALL_GROUP_LIB[ 14700 ] := fail; 

SMALL_GROUP_LIB[ 14703 ] :=
[ 9286940809647, 649108079, 37049486989743 ]; 

SMALL_GROUP_LIB[ 14706 ] :=
[ 40861668664855310336093543, 379981902336815355824793734331679871,
379978897880508491076701292638946431, 25838562650423968676924790830207,
25838358349029513029699682595967, 25839202754042270898630379979903,
25838562650402241162671626820735, 25838358349007785515446518586495,
1757051730861211912546032767, 1757008201392151574921683775,
119475603367613721006911, 119475601890162935135039, 2778571246124588670311,
1757008204163381061209181311, 1756994311779697146669190271,
8124276329808964415, 1102208230235568959, 188971458345828119,
238471102657224098956010303, 34169708201576873847776063,
16215906731011015775039, 2323523047096475783999, 119475792302202501915455,
16215905253560229903167, 2323521569645689912127, 8124288859438758719,
16209073585171335226175, 1103685681021440831, 16209072111994675433183,
1102212504361647839, 4631329917716187395111, 3506956035677136027751855650623,
502499728812387935310162917183, 238471124384922495020377919,
34169729929275269912143679, 1757011001596586436052973375, 188975732471948327,
238471102657408241856368447, 34169708201761016748134207,
16215906915153916133183, 2323523231239376142143, 119475792486345402273599,
238370636142942129662342975, 16230801283567399593791, 1102672930617486143,
157998397507562303, 12981298769687, 75077407976255,
279550442570367266849210687, 7872949170169460092103, 18987612011097228692255,
31495599933147799, 19009278020233208248127, 535356277512909863,
1291147293884288735, 2157973728583, 1292620470544081727, 36417896021783,
87807779502911 ]; 

SMALL_GROUP_LIB[ 14716 ] :=
[ 7713462484370457781535, 32123104983638350774878240071,
148333061297910453047, 13399522417121910839, 35819513165717, 910058476556087
]; 

SMALL_GROUP_LIB[ 14724 ] :=
[ 240655815008137383509317400945111, 3543416220179813506504760804954200367,
2089333003824554635425910127, 32852612969461773219329828759,
141899495841037855919471, 2089327549418502347431251311,
141899865585509795532143, 16345040006930044316995838423,
240664369060880136125693139212591, 1115576160098850749713775,
3543542170052399092200807800072572271, 16427979806454038450820779375,
2727953730429069675865, 16425743502046714910808903023,
241885574670155879811114200108399, 8707880808796067156200663095851929,
768244858258281710605200013727144785654058351,
52439867618101528729824657414149005118831, 2091564005669244056010844055,
8182344587766543626688, 9678477605996760431, 16345432901904714975629446511,
2727943600443537083737, 1110121754046562755054959, 186681161958101737,
75391693755921894767 ]; 

SMALL_GROUP_LIB[ 14725 ] :=
[ 6246804239 ]; 

SMALL_GROUP_LIB[ 14732 ] :=
[ 756235041398001494559, 1414835124267387916851176663, 6519021494539989959,
238084882936705223, 3492368457633, 16139097583559 ]; 

SMALL_GROUP_LIB[ 14740 ] :=
[ 194686054560313207237332168943727, 13208009129532577970466265199,
280911247581316822919723, 19054970704571549087, 280870118732856378896939,
19057755972369883691, 896229065033524683965855, 1302906774762911,
907505506236781527, 896066364149361604578719, 60791478422095480223,
66684205024215, 182371760524351931807, 13374133794371545788783,
13208018045420072076590753903, 2168473122536137570543882743,
2141505333727108165374742824682943, 60791476498512669227,
2688808772708254970979743, 2722625120991566547, 2688159783681561872632223,
9856533296851472973786527, 39633041309715512352659713439,
289948759387013873521055, 2722623998901578451, 19662628038068646443,
61714949388777, 19670876361272544671, 184824250913751, 1333844398720415 ]; 

SMALL_GROUP_LIB[ 14748 ] :=
[ 310733841709195393295366235, 4582702697521814576142987840151,
21104634890717940181399, 51514388378016465648, 21070295033540308187543,
1237064566382021, 1428664035423299991 ]; 

SMALL_GROUP_LIB[ 14751 ] :=
[ ]; 

SMALL_GROUP_LIB[ 14756 ] :=
[ 1300404046185125261115, 594821889974212333138035479, 2731804715404804979,
910609279372813679, 19188762502059551314683165,
8777191808471861981914613104979, 40325819953906137604979, 88156227398426265,
40310511200119958404979, 228425429314787155204979,
595047799239702841324804979, 2516711022133776004979, 88156205625626265,
170431610630413679, 1993766414375, 170555031302404979, 5975078405385,
11548915204979 ]; 

SMALL_GROUP_LIB[ 14762 ] :=
[ 85367241295614752999, 882239454932949, 5782902750752999, 60134435949,
391910432999 ]; 

SMALL_GROUP_LIB[ 14772 ] :=
[ 2165353538749565762459, 21311651916323052482459, 32007941898789046665268229
, 51935184527596541100, 147073400040962459, 21277031548417544162459,
1245143328551671, 1440337854484802459 ]; 

SMALL_GROUP_LIB[ 14775 ] :=
[ 133969415066838207 ]; 

SMALL_GROUP_LIB[ 14778 ] :=
[ 41406646757251365651874039, 3421621310489896421, 2801911389077348514039,
245954238783981, 189601781274274039 ]; 

SMALL_GROUP_LIB[ 14780 ] :=
[ 99534887363167832856855, 1087161770506805972578905845399,
4976744050623202079111, 1654724571573312286343, 465126952545957,
111943717244087687 ]; 

SMALL_GROUP_LIB[ 14787 ] :=
[ 15208307273 ]; 

SMALL_GROUP_LIB[ 14798 ] :=
[ 8460111114431550113399, 19187304303353255, 571706318700113399,
1312200134855, 38637000113399 ]; 

SMALL_GROUP_LIB[ 14805 ] :=
[ 3400865242927 ]; 

SMALL_GROUP_LIB[ 14812 ] :=
[ 26305119639200599, 85483306672437737405736484155, 143830255267780663,
48998937145448369353559, 8947653684600716453719, 5771220146322932222234455,
1266178756543351991337868074803895, 389631572379968143191, 26274042166292535,
422845208967, 26305115021546327, 1773838908247 ]; 

SMALL_GROUP_LIB[ 14814 ] :=
[ 599259367377142751183, 8877427378653682478207183, 599259827578401550031,
40497710774975951, 42118651857650372894687567, 3463540417311838699,
2843165357440780716239, 248362585464211, 191925839265454031 ]; 

SMALL_GROUP_LIB[ 14820 ] :=
[ 1276960809533880352956313655, 5328722321772749969267364216449899391,
5328729203346202372489608403626859391, 359562909701296370455050194066303,
359563374044984116961274498194303, 359566624286304121136893961280383,
696813298296667871475702635, 1161156986043174095779830635,
297766676906305994398571, 359562909536802149087238842325887,
24262004723282255297058249599, 47108815775703246871403,
98063118345449571240366406258991, 6616944558782451013789798703,
280525622322572968577818649740892633,
1170637794429290300748376688536527570153732851,
1170637794531275219312992442195381532700932851,
78990404482408252874412014705392056466163,
78990404489289826326815236949579233426163,
78990404733583246082768957460285204953843,
280525622322596467752299748234025433,
1170637794429290300748823172851668441523256051,
1170637794531275219313438926510522404070456051,
78990404482408253320896329846263425989363,
78990404489289826773299552090450602949363,
78990404733583246529253272601156574477043, 67095573418945803324563330095577,
279990058394643682993159735831480623397619,
279990160379562247608913394685443170597619,
18892716490868149243478404365822130931,
18892723372441601646700648552999090931,
18892771541017964108587199924427258611,
78990404482405815070051345547592559983347,
5329986807180341800230819221714172659,
78990404482405815516535660688463929506547,
5329986807180788284545960093083695859, 4527366628518183000274262489,
18892716490866645296311614070968761075,
18892723372440097699533858258145721075, 1274812178871015345604780471007987,
1274812643214703092111004775135987, 1274815893456023096286624238222067,
18892716488430344882809246566325648115, 1274812180210468291027263972637427,
47028476717648209290491, 18924559197305582704446878964185,
78971664808672154544803411023732857600755,
78971766793590719160557069877695404800755,
5328722321773212471217437883310734067, 5328729203346664874439682070487694067,
5328777371923027336326233441915861747, 10326773081139234209823071312747,
17208346533542456454010248272747, 17646697635176268705948408683,
15686730026374833941645, 10326773080756592412154092239723,
17208346533159814656341269199723, 10326777247943514753426483764075,
17208350700346736997613660724075, 153042777062483450944129096035785579,
255027695627099204602983058582985579, 696813298322488885313157995,
1161156986068995109617285995, 4412902151759043644301687659,
4417069338681384916693212011, 65399215559820455845923189873515,
5328722319335408110548280083814251251, 359562909999304099160905703160563,
696813579483370994450209643, 1161157267229877218754337643,
298047863609428968905579, 698153032428792633360292715,
698152649786994964381219691, 702319836709336236772744043,
10346627940594677893540286749547, 47108841596717084326763,
3171887148705553259, 1057487424004332497, 696813196822599868070812523,
1161156884569106092374940523, 47018441183922965207915,
78350673825387622718315, 297665202838302589508459, 47018434336366528076651,
78350666977831185587051, 20085371940516698987, 47007341707699841981291,
3178734705142684523, 47007336286710769444091, 3173313716070147323,
62670280686876430232717, 10326771576910906537157867010923,
17208345029314128781345043970923, 696813298322488754706217835,
1161156986068994979010345835, 4411398306073168648076458859,
1058486018547412109, 696813196841573325471136619,
1161156884588079549775264619, 47018460157380365532011,
78350692798845023042411, 297665221811759989832555,
696648804101119968155990891, 47108841596586477386603, 86165754431252971221047
, 24262090886922019063652522879, 110466811277235493739,
23499703223704724055663, 6617030722422214780384071983,
18928854376403495683902226225625, 5329986808457286941533711077336644339,
18928854399902670165000719358425, 5329986808457733425848851948706167539,
4527437126041626034539780569, 1274813457155609593919119595109107,
30127753222197912827, 1276976494151171658198473177,
359564186944445402052761325632243, 1637500809031067878988651,
5815401979303980173, 1637118167233398899915627, 5804305089574671291439979,
24267761989844525030496197483, 10042988708438528615,
1276976480408037084864056789, 359564186944184282495867967941771,
1637239707092389006853747, 5814474704857373177, 1637118149615184414172787,
1934774358353786088916595, 24263892459113304145293674099,
348265601511316115539549773, 98064395306297166754861619575931,
280525621858299805843796386039273685,
78990404501336992473529705075220814956459,
280525622206557571653676054267369685,
78990404501343609371080092788917148780459, 67096618207936838331652541585621,
18892735435046134182004778428029142955, 446534527658676983921699,
18924791643320238407084557015253, 5328741250516680858537090405998856107,
24267762633607234800919223147, 86184255393453945644237,
24262091238440630162466392939, 86029341990861073643662203755,
359648242230059223332562972433259, 2642839322796855345,
446493303818538356284451, 744149512557140031028259,
6617641699900270975678921763, 86197996673543690503373,
86019801427539254736980405099, 24271631520594719338270538603,
359648242230059242306020372757355, 86184255393584552584397,
24267761989881116700205493099, 143366246864215155191402724203,
5329986949849477689811010617996868459, 1277250636387475803372528845,
359648232689495901513656290634603, 359705579134932577414110712953707,
1274954848304561135890935591598955, 696813579491570408907576359,
1161157267238076633211704359, 15686730095348361332387,
47028476786621736648185, 1585674994243302252, 3172637198241504107,
5286822936531966827, 73557828705233, 216215435877227,
1975098173775121568821807979, 86184255393192731763917,
133192119261144078867491, 1585817651848269873, 133272463740188188943987,
5814474443643492857, 8985967037489943143, 35681816073079,
133272481358402674686827, 5815401718090099853, 8987322284758066427,
107010619647465, 8992743273830603627, 392325833989073, 606312244747115 ]; 

SMALL_GROUP_LIB[ 14828 ] :=
[ 480673175137842332992079, 7127422101786743109482253599,
293484584813948046623, 32435422189939854623, 59139151738809, 2186517185301791
]; 

SMALL_GROUP_LIB[ 14841 ] :=
[ 1481261296127 ]; 

SMALL_GROUP_LIB[ 14844 ] :=
[ 4826926912973705664171400176995, 5305017994156817328551,
325183904053497270305465699, 4827029871764536250597658192551,
21942883769755559291303, 78769658445392327902289939, 53214098722844321520,
357882671611185575, 21907410853091285350823, 1269617158744765,
1475817920222996903 ]; 

SMALL_GROUP_LIB[ 14847 ] :=
[ 2280862401990505, 156801059905, 760529601990505 ]; 

SMALL_GROUP_LIB[ 14852 ] :=
[ 1000630075768730627, 21740624945189123, 854011378083, 1460466053123 ]; 

SMALL_GROUP_LIB[ 14859 ] :=
[ 3020338705886334972719, 44879213073421829152867571,
44878757192847711153087731, 487065826365755363, 203290762969697507,
34548295140658403, 266164061069, 13687182724067 ]; 

SMALL_GROUP_LIB[ 14860 ] :=
[ 102814460531500633719751, 1135172326076870087560581151655,
5140722702099438604695, 1709269362094061706903, 475293286524353,
115011275342859671 ]; 

SMALL_GROUP_LIB[ 14868 ] :=
[ 520800051566001368652286119, 23224559393946552145902469220519,
8828306680929222460335979, 7743255166678640861846140528807,
7744296416607747818204246296743, 115126720959364842442905108808976551,
520870084518157554070685863, 8836615752754109848417693, 593701699152432305211
, 520658808162660805365844135, 35018752705290260416679,
26475423724434289447184235, 7741155159759946681151199439015,
593781525241553233771, 520658812872970180229245095, 175084656082084909254823,
35018751613784707808335, 2603369952151753443821062311, 2967777723049095473003
, 2603158680506566069979621543, 3644408609613522428085389479,
38706904448600278920063668177063, 520730018612597748317384799,
38706905150107300016880736962727, 44124915243283737624649803,
38703763261818402209585125406887, 54195497214133266305682692425895,
575494265771795344080149663174674599, 1780538878951875039239,
520658803451250179365310559, 7742213916730691410808079364191,
44133223678838851838279755, 54185067207781715999025622243495,
575494265771795348790459038038075559, 38714193198141710596339750906023,
656049231524132975012817608779, 575494255341859025482072283412576423,
805778652579733417745680759742785703, 1951037933787714283966311166769843,
1711473864490998996783542562051852825895,
203056220979533116012583477897881885747,
178123353253466834866912252488352025487056615, 8836615752461742289679773,
1780538732768763343484, 42412787187782715, 7480860394675496951448880707751,
44124915242991370065911883, 503011686487288579525759071,
593619378193477963783, 503151761812385375038531751, 2967777430681536735083,
33831832113026310732879, 39937408523815111, 33841252741521622812839,
199609077935871035, 2275340780292769959 ]; 

SMALL_GROUP_LIB[ 14883 ] :=
[ 2321531658366769 ]; 

SMALL_GROUP_LIB[ 14884 ] :=
[ 86734230798886772459, 78743782618421409781923599, 355448716508163599,
19292205435476828182538403599, 19292205492806425622866083599, 391910403599,
5850903559683599 ]; 

SMALL_GROUP_LIB[ 14886 ] :=
[ 43574195587022710725552919, 3548611166441204543, 2927193022188467061399,
253232295219471, 196642324188311959 ]; 

SMALL_GROUP_LIB[ 14892 ] :=
[ 7433660603207635006570324487, 1650271660702092299785183477425124991,
1650271660702225879981532692363228799, 1707296057174227056506679001233023,
114645182838704098028610532991, 110702073703450358404983455102591,
49730710033956228569279, 3306970015793682623, 49247310483160213493951,
3339432423013226687, 499180379118331575886343, 105463715523305421131727,
110815985945295777090416013883007, 110815986078875973439630951986815,
114645632793049693650505315967, 7433794688117585333343368831,
516953476320039278783, 7433794205597376894785416847, 34465667009149481039,
1570565651334921509877112407, 1650271662697344712365904728605104319,
1650271664686620996398413586847013055, 1707302763554096091296187336136895,
110704070495447075225305463691455, 7699023512011472577239231,
7082064653951802903, 7698471190259655238490303, 8724929536524742425581759,
114653858140883746773887097023, 49317149109219959471687, 1416336797232077760,
229837256005823, 499685092713559325939903, 7082062920265604631,
33521526396350967887, 31949360022457, 33553925524024203455, 475773026707527,
2251067693734079 ]; 

SMALL_GROUP_LIB[ 14895 ] :=
[ 5697980018189327219, 385566671567219, 1809810355727219 ]; 

SMALL_GROUP_LIB[ 14900 ] :=
[ 37969861285918430794005251, 774875673895069539818355,
8431008915162513162579268968823823, 8431008899407060394651662000503823,
1720300955399877607907680762895, 565750938317970070104008735759,
7748754393520340665087, 172084025679954057762523795541887,
1871768411451070229659897244390954719368959,
1871768411450835473413655123047126751368959,
382043745404215086358266053989894313727, 172084025938240168712156696661887,
1871768411451070268144527775886256986248959,
382043745404253570988797549292161193727, 57727720742278237986361560959,
125724560509889982645798417203048601343,
125724560275133736403677073375080601343, 128160158203994704058720878223546111
, 8429688980963582451534922636449535, 115492634682211561191703295,
52021443191413023599, 577272006684333354039640831,
1720840256766604535365769462527, 37975809493136179106317055,
52021379568055100271, 2548711885641934177023, 3499284685870511,
171028675149103871 ]; 

SMALL_GROUP_LIB[ 14916 ] :=
[ 7130852529893925624162671, 106363800227485862997539517535,
4380125551111683716447, 106363796333808405095059091679, 486709116032675592671
, 1586522444193179081759209223632223, 65338827968507690520425823,
38765084624245047161, 65333952911062732638270815, 79852502732212700786472287,
974593957978318847083989185887, 12920921888359132928,
7135172653246997380216159, 38765068833663565689, 478095932446554044895,
290997858855313, 478356955270037386591, 2600934349758873, 32052624610047327 ]
; 

SMALL_GROUP_LIB[ 14922 ] :=
[ 561320010318793138927273221767, 37616942120927676275064455,
2521098152791294155911, 37619825713340662251072647, 2521098626576918580359,
168998580192214151, 44317991367102958563931271, 3591768819328719085,
2969976618766326606983, 255693830424805, 199035084699376775 ]; 

SMALL_GROUP_LIB[ 14924 ] :=
[ 14573978223077069137639, 4110490473922662782411,
3248342810239464218473369920479, 3248342801645011777218253120479,
2515096634405422543769920479, 217502061255090575872320479,
11292346535116808479, 217502055095251835392704239, 5132920514150417839,
61344961122251119106496211, 48478268100013817374764194304008479,
48478267971750209141472831180808479, 37535302171919910570318336008479,
3246000762224353151677337608479, 168592729398404710408479, 275530652057662611
, 168526983183220736008479, 995836444900845158408479,
2516077893541179365785608479, 14584498717795942408479, 275530560307262611,
976838321766417839, 8401715219165, 977251041280008479, 18468044809571,
65444249608479 ]; 

SMALL_GROUP_LIB[ 14925 ] :=
[ 16002892168104204721115, 58733440592404449, 71658933273179 ]; 

SMALL_GROUP_LIB[ 14940 ] :=
[ 213459344020648259556001695, 264693711690581845269006905555295,
1185884598670634623763795, 395312080958826104568119,
3189082597289774038633741141741, 3954524052657292566399629847171336667,
17718706579038633964278842707, 14289051578115870226849,
17717116015503082972436440403, 29528269377200418040423859539,
264717476290886337660415286396243, 5906762591906502878778873919,
47644894003508044388265604872220137,
59080589346699950943048191009213376897427, 264717481834365377920750224672083,
213478396991639237260735201, 264693713271991424573893280937299,
441235164072298832821000725349715, 3954879178605418790631689445628462419,
14287775314332272692527, 5905962547972163179270371391,
88247033123079382742513096071231, 213526018654946501897212641,
441152344495758330276500976850259, 3954879178605418843548151048959829331,
264776532058012325907100695536979, 3189367203396074214767147348705,
3954879095786632822646817841545229651, 6592053351240144677197467280391693651,
15884466177323365903073084956052235,
19697055482408277970536705017655705619799,
10635461087105719035909604068348055056362985,
13188184457232800280086428316289400132694169035155,
1186569605376057782066244159369741151721,
1471370039388864845056671589228750695227138451, 14287774146950407034892,
86121027099489206483352342656339, 213478396989304466024198881,
5763669019752963173550143551, 4763441602232288955695,
5764459645187175498253559123, 14289049243344633690529,
385787747246726120831287, 318929750911439495, 385840663747242306127187,
956477949901610497, 25820857710518797651 ]; 

SMALL_GROUP_LIB[ 14945 ] :=
[ 53499546359 ]; 

SMALL_GROUP_LIB[ 14948 ] :=
[ 1132593271273700350099, 400432287619300990035,
253672680105490494334500003599, 253672681032152076363300003599,
604518313363179172900003599, 16930006846927940900003599, 2705473494400003599,
75949419200003599, 1795200009935, 5072000003599 ]; 

SMALL_GROUP_LIB[ 14949 ] :=
[ 8051403398999 ]; 

SMALL_GROUP_LIB[ 14950 ] :=
[ 5929610122679689540644219, 207640196334326801265, 396397123417589465995,
3788271781181825, 396629439619949623163, 13888976231541961, 26514856794593771
, 253971022693, 26530393222220667, 929467872333, 1773838939003 ]; 

SMALL_GROUP_LIB[ 14964 ] :=
[ 124649426335564971706633058995871, 8329953665183121319130496671,
16818663955093082839931, 1121544075379104635, 16782779769795867214715,
1123942261577364347, 12946213203090159484071, 8329956542005448852909117087,
37200376594316761979, 1377876345790548575, 193727134354954916414292621,
124649469694569540262783191222299, 556705076354014854134651,
865185231780954825, 556666436775951801495419, 597900889954771361670011,
8330534762562212113722270587, 16785597035479567469873, 96126943396336524,
75478891367291, 19695488864495926941563, 865185114681610953,
1313797385028973151, 2157973672135, 1316191297101136763, 57830347398585,
87807779429243 ]; 

SMALL_GROUP_LIB[ 14972 ] :=
[ 33030532033701576169683, 494533161263293248455147207, 37887059759297097159,
2208546681066503623, 12892493231453, 147390004604359 ]; 

SMALL_GROUP_LIB[ 14980 ] :=
[ 1757197404163238270503, 147605933047962477277999,
236591545859385550114094341199, 15477859634011293142830658699,
24808525159868139431278155132188359, 1054327654628703104283,
26329852275472208185832999, 16426809322032179655, 26322817478741651368487463,
110554727887592998509256231, 394421187086511375122692693543,
5167850326121379889189415, 16426797331531004359, 344936381988828108059,
659477564708593, 344983302532855758375, 1097987321954091, 23023475185341991 ]
; 

SMALL_GROUP_LIB[ 14988 ] :=
[ 5214979726694817035413696792799, 21483702012587557259711,
347934530624167536348350687, 5214842744989169798632688323007,
23252162975793376397759, 322021007792202747293172959, 55847508850669206528,
1433911142765300159, 23214934576466900289983, 1319645379804961,
1548875543070378431 ]; 

SMALL_GROUP_LIB[ 14994 ] :=
[ 1245362435428479581584170837, 15123122250986510162543761233247,
3956922957386190233429, 1008611594712620715284174175, 67267680052757089293663
, 200238860352714116118674511344223514965,
3002381472128595457083586486703408090783573, 1846458942230699861,
263865344509154805, 67240248450993814050143, 4484476998449698143,
59330094892766498392186709, 15123122250986510162062724896095,
177934910976697688328838997, 45355252661148402614535519802719,
3956922956424117559125, 1008611594712620234247837023, 11867074756072722997077
, 3024893468139450463170925919, 27686850800765984907093,
21171019019551747360069588319, 67267680052276052956511,
201740260646302345401695, 1846528701089521493, 1411966054391222378763615,
2668312023877385505724472357205, 40008670486017699139531792575438677,
11866546708956284280597, 1008200285275071224641311071, 263900524586295061,
67240249049125992091999, 2668786288897190235033651245397,
226756095031291733382851940847785311, 890425676534725973123486839125,
680056658401259148815229027677705567, 177990289952858639228334421,
15123122251121040740150268728671, 59385473868927449291682133,
45355252661282933192623063635295, 1245370353493842030965682517,
105813346308025666663328713348447, 3956923202712574751061,
1008611594716807173452666207, 11867075002361180189013,
3024893468143637402375755103, 83057913644594680164693,
7057045905568122696812795231, 40008670486017518176278593668059477,
599890005267349380898158690359457161045, 264146879615410005, 17729625069045,
791701354715357013, 13342747650891979837127354553695,
296650480793992532841140565, 889872333476740685227168095,
19777226309235303117077, 59330623607619411333407, 263830026993360657,
889872459043079639571436895, 19784612564467911356757, 59348561656041460289887
, 1319009345937170197, 3956957643297346847, 17600776066545,
59348570029922017416543, 1319501927146397525, 3958153911948350815,
87969520227829, 263891380671839 ]; 

SMALL_GROUP_LIB[ 14996 ] :=
[ 18101464536141083627, 852602569427267819, 7427453454327, 56796876812267 ];