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

SMALL_GROUP_LIB[ 25004 ] :=
[ 67416522418596174991, 19828496229610143127, 1686055665034360161320079,
1434711661647015147, 1685682738325912885737615, 9419974270346107137963151,
42158135848517223585674425487, 151878746217615, 57392819052923,
3799613246130312335, 16898850292895, 3797710029597422999, 1434711477104188651
, 95005543684638601326735 ]; 

SMALL_GROUP_LIB[ 25011 ] :=
[ 260010195832889675970983, 6503115007833646074072825239,
6501279869826638599614004631, 125018337467570609303, 416280875244695,
13377706686041, 10396917449073962135, 113686281763976719511 ]; 

SMALL_GROUP_LIB[ 25012 ] :=
[ 21692630107968440152211, 542576073416567388043573871, 10085020078599453023,
6817549236252978784763, 13576756633671391624459657771631,
13576756618177186834605718469231, 6309189992872749014596811375,
2216741625904663349253017687, 341475495930979706608652842881146207,
341475495543438656404826113049517407, 2051464469692592502215624681741663,
272708904775430855, 3279194369387104502233439, 6312447491692524765694835039,
13570912748414369408610389876063, 252376758823310336080223,
4267214508134002130501719986263, 8493622944908063302995966978341405613407,
3949068059792163636178757389322181983, 4267214506274697555719247269975,
8493622944908063234201697711389915110751,
8493622944907675693151493884660083481951,
3949068059792094841909490437831679327, 34681463650655, 10905195789479,
867662401308932447, 272708850597737159, 21701976932851622328671 ]; 

SMALL_GROUP_LIB[ 25020 ] :=
[ 1183481340508463905471048032470258939231,
47301412490712709614514157007107423, 185955662725029153118157334131,
185905288713995060111234660903, 29610703139521766914876523474602311060112859,
1183481340517631985545320152931172402651, 4652610782479525737276428607743603,
4652610681373141882803392696419955, 4653871039127201526814060570551923,
116408321777637724491884160649280169587, 185955666766210554689000146547,
1890561821412006446276646794225, 7430253266663983033411187,
185904928338845750550812632691, 7432281099188064991487603,
185904926325495988996335974951, 7430267749426510514829863,
4651341307031496703679785347335795, 185955666766184032721241359987,
2838413909854162190926326052691485987,
9871379079886407528530190183168586211734247,
5330260702911402173949187774906363266703852737,
18537474067371210276804832641385587847112742708639923,
355085578194476320619928543853048132306113,
1234909521338257220858210351810933113464050350259,
13601164220519654252862341823, 47301847722168044125050033712919903,
75562008773315990270305907, 25187997739222983347632679,
340301128706822809893393076434693, 1183492230008644456326034010824762541531,
1890662570129332103856009700979, 543640705294684445616633,
1890561463745477630820098377331, 3150919217805121641487972509299,
47304377504637759106161407101838963, 543611709711399361486279,
630203705659120836059396716847, 15768966089933036778546766275762479,
13603701037667030438234974233, 78835998829498756988067702119183987,
1183555533997557614758338198401330251379, 47310679293420137483132402402002547
, 340319263350793355020745846392857, 1183555525166087120752919667811725121139
, 1972697655366126301844884375670110242419, 630254440045290977642862025007,
8514334240244661596635084671716197569,
29610975594816284297316853801129613630109875,
47304377857616211472904441775777395, 13601889095291023718656083993,
47301847822926132064601812796872307, 78844830350364760090929744170329715,
1183555533997557612744989320912445515379, 543611683189482014376684,
185955662739035404341989430257, 297385520085724587635, 992193886380943533683,
21730332250368454185, 24827622589913422925604467, 7245801591703192303,
24825609240151868448946727, 543640652250748928043513,
621187122100298507212749293171, 181223210640284462800327,
621136746075914652651355142447, 13601889095237979783138510873,
15542101794964413945057295792133747 ]; 

SMALL_GROUP_LIB[ 25025 ] :=
[ 12262509213 ]; 

SMALL_GROUP_LIB[ 25036 ] :=
[ 18939950937146249225461879, 474180617735354594573123921455,
6832583436560505378351, 30219984137492015, 482960178866705,
756777048097828312623 ]; 

SMALL_GROUP_LIB[ 25038 ] :=
[ 43920056429926372305, 29415133481169307072664899, 1174819611691767426371,
1099669989764264398824801, 736496112101586218137007139139,
10982272175794279777, 29415133528089422868152643, 452213188395985,
23023475186511171, 2413516594926545, 576676948941504107843, 220967808699055,
576442346221365856263, 60389593046432327009, 14438837688251418861791555,
5490363985280983399, 14432963470741874405548335, 1512034574917986594877185,
361519618039278924709578584899 ]; 

SMALL_GROUP_LIB[ 25044 ] :=
[ 506723035165392843478603, 728380733127992990220, 20213720433012822603,
10300448053305215, 506237473559136834069323 ]; 

SMALL_GROUP_LIB[ 25047 ] :=
[ 105546632839, 177653055910997291 ]; 

SMALL_GROUP_LIB[ 25050 ] :=
[ 1947921358602829657192030683, 8945367162771561562540379853059665,
407418077622652260979924378191996307713, 389552737925103460802523412225,
1629635445763450222337389940952434139, 724298045312786067201,
340772771520266715, 6211709537069637, 8536988447252170365403,
155230161386468767489, 213851565170753580273591771, 2081326064943859,
8536298673210806694207, 155209509469071543909, 213851561721883373418587971,
3888514988142127394813521, 5356981707535292103670405295067 ]; 

SMALL_GROUP_LIB[ 25060 ] :=
[ 65664022091103519590263, 5515807700834915169005839,
24742475499589066908270026041679, 967579307409246432871658668291,
4340276120076427132491690615043938967, 39398620578406242991515,
1645803192004722809207154551, 366896891834970922143,
1645540401742330647732300663, 6911228088623035694165913463,
41243827991636961761636551765879, 518217871097923447, 14661149109616227,
12988586955541541998455, 8805838388884969, 12987538854922519823771,
366896731728818400415, 325493999251197527302583159 ]; 

SMALL_GROUP_LIB[ 25065 ] :=
[ ]; 

SMALL_GROUP_LIB[ 25068 ] :=
[ 319948659059733268937825734336103, 201284071500970936373327,
12763346018636095821186834023, 319951557995092940661868443344975,
509644537371634107289679, 731878847119007575488, 5046299140288606194479825447
, 8033578021857267791, 20310816996053880911, 10340008057929241,
509156643787508448170063 ]; 

SMALL_GROUP_LIB[ 25074 ] :=
[ 7153009336352578667218323658199, 4497136139801182045631017675269835803743,
5188980041141964033633723232216793435231,
179354556106073365622052246787071071, 206946639592584571971366498878757983,
15641476720447460191871717824415, 623812587550055600464471967,
179354556105973601955206724379259999, 206946639592484808304520976470946911,
623812583571305559910563743, 179354556099804006767366524459453535,
7153009436122197462754159844447, 285275956635237906641528279,
7153009336608564986883892282463, 8253435414877337673703476397151,
24878862807243183329183, 11377541080284378021791, 375076659398268310367,
7153128454174781955024959379359, 8253513781610999944224186636191,
285280711252520379717248927, 329166223234502432409249695,
623825839364713609562658719, 285280707273770339163340703,
329166219255752391855341471, 24879390575376245784479,
285280461218150727576999839, 11381519830324931930015,
285280457249353064172665111, 11377551032661527595287,
9404663402756819466163031, 179357542859978476500827094683771807,
206948604560114206362008518921577375, 7153128553940433189640931324831,
8253513881376651178840158581663, 15641809096232402836216718484383,
125052358980942455639, 7153128454176766344118523513759,
8253513781612984333317750770591, 285280713236909473281383327,
329166225218891525973384095, 623825841349102703126793119,
7153122284581578503918603707295, 285380226869385343548945311,
454030951293947807, 5297547140211551, 11377551168995460992927,
13127790938556841414559, 982266514985729951, 24968586124383071,
24633334955764659443615, 5024879273261035, 24629366158101255108887,
625120591902041183063, 617656246161262503206986655, 125032142606255119027,
617556728559852635632429031, 15674272361079571831146791,
15487112716266623047460291332511 ]; 

SMALL_GROUP_LIB[ 25075 ] :=
[ ]; 

SMALL_GROUP_LIB[ 25092 ] :=
[ 1702757887209256427424059432896041,
41807513525607833485299635639494905894401679,
1751749628658814270491830926184486401679,
16079865479819183578839493906584309859841655,
26337803973493905780653581604001523163006242816066239,
26337803973493905741494832267792427562561179648066239,
16542515369403769715879742085874624554078208066239,
726335211803485945542577046949987841655,
1049737407810406127963130999750421999521792066239,
747233327536677117667723312551190859776066239, 105465103751571312642648039,
40563509739468623874686415, 66441347796064174344663732226624639,
66441347733868775814873485314624639, 41729378038455205371056130624639,
2646330445143073992216578624639, 66278298948206592066239,
2646330383281019350421507520079, 4418709617639424088079,
1017819586329029446209541056055, 1667146298898842262624791021752322562239,
1667146297338235322715294146236418562239,
1047073553740918008601254563842562239, 66401723529529994572381818882562239,
1663125989114494582784066239, 1616612839915520126455,
1663055079728415768576066239, 1884795195873733640192066239,
41731157318862855421820928066239, 323312272015361022441,
110874261780513161216961679, 2782284115955724625903616961679,
40567712740818288642497655, 47293281054872415868551168066239,
1047118204993755903361748041728066239, 41734926900843665326342144066239,
1017833107067839245189122497655, 1047118199444915613598932008960066239,
1186822239951140669565848518656066239, 66401721977287312104526188582401679,
110883314042572636160961679, 25539129060167980500326551651841655,
41832034931969750053781273064628817920066239,
41832034892811000717572177464183754752066239,
26273169610467114671846161884385280066239,
1666152046802966623830319193395200066239, 41731157540003024914612224066239,
40564048729980010498497655, 41729378060553902510309376066239,
47298829903998910687346688066239, 1047118204993755903009561247744066239,
323312256286825982400, 167505821696066239, 64426606592067175,
4205644864290816066239, 4297064448089561, 4203179553062912088079,
1616612808458240126455, 105528043849448423424066239, 107782207438849022441,
105466181794806628352961679, 40564048729948553218497655,
2647909676279248533061632066239 ]; 

SMALL_GROUP_LIB[ 25100 ] :=
[ 55156861511842428128906250188499, 2197484522428003906250188499,
4782058165134348661683188476609375999, 190520245623701683063476609375999,
2197777288788625000000188499, 87552788125000000188499,
2197574890452187500000188499, 87560852062500000188499, 3492000000000188499,
302408784625000000188499, 30240881688125976624937503,
190520558108661682188476609375999, 3795210482488402188480453125753,
23910078037606848588400469726562688499, 6024048625000015563253,
37951902410448437500000188499, 190555999950458640906250000188499,
7591872507984875000000188499, 19055599995122168406188480453125753,
120052185528753026608268400969726562688499,
19055600005202328406188480453125753,
120052185528755556728428400969726562688499, 3984125000000188499,
48125000000249753, 100010448187500000188499, 1205040187500015563253,
2510262305040218750000188499 ]; 

SMALL_GROUP_LIB[ 25116 ] :=
[ 20719689871714897253558850823, 11969101803488446437661976782515791,
13799982806134030509585427, 5175053646652428699352807,
13070259192176308895826611912249165633,
7550270487025970166801578950082315581097931,
13070543042338124659943553904730687297,
7550434458181245955627484596995131237697483,
2176747787664767344853054448645139, 8705301509427342034518881523643411,
3768164206440118063046644165, 2176747787660366189848743023334419,
54671197434988296633200478779540304915, 2176747880805150664323000692700179,
15069731407258883668317884869, 8705301509422940879514570098332691,
8705301602567725353988827767698451, 218642352710777122538847391595196904467,
520465423815883505689124192110401, 300656220311033360176661493268203931595,
86667776748094871058140017683, 346603822366926479979378553875,
2925030321919400045236677, 1689603270522896928410799297555,
1689696415307371402668468663315, 42436075852992488306722709747069971,
1689603274924051932722224608275, 520395731492925186105833475901249,
300615961420049775712827059585494443979, 520407033060126004871438747141953,
300622489973771538287516725412569442251, 86667773039511314110349882387,
346603818658342923031588418579, 20722464716354590295579526977,
11970704742436429445856358366078923, 67271988792912046788752403,
520407032385345942067294694786881, 300622489450137586874098220060518483915,
346600372560088621820108518419, 150024455130109619376581,
86664322540102008587444671507, 86757467324576482845114037267,
2176661235456611053785300400927763, 3454270876120680126395411,
23889132043854197989, 3449869573458175012566035, 137357446971875701779,
8958533223283212343, 5174772975980090463551207, 15071681136843937101937316293
, 2176747770262033145605540472427539, 3770113936025171496666075589,
8705301492024607835271367547425811, 150030427087094401372613,
86667772346939866746714706963, 600005232024933452386757,
346603817965771475667953243155, 2924869085575531110273477,
563196341174915713216214733843, 68679973690764738279,
150030420667201330926021, 86667772346792208553026188307,
600005225605040381940165, 346603817965623817474264724499,
3450699647511687770453011, 13800120161081985943778323, 116454418403162378693,
22423807181668530713981971, 599999260067077912728005,
86646924207057765384893764627, 5979689341852225989, 3449869721116368701084691
, 824965754566140329923847, 476550992154420687544598736463,
755454703251045790739, 343389863564379995879, 20719840045470388848972777281,
11969054718954001090379014281463755, 18978401646472876557775891,
32853476732803649989, 18974000491468565132465171, 112118784965942822801830931
, 476661535752823892976143234067, 68679970439936173295,
20719839890193397544476087081, 11969054718950429719579010836974715,
18974830417862258787570403, 32847294585600423885, 18974000349279179457327843,
22423807181666905299718883, 476571840775039617058641122019,
8624997839452273948511215, 520399502582033570110476370640109,
300614778321248691386609951409347276371, 476661541939740860674041164819,
825147908383881496808405, 476550996343959827366983787539,
2816130793811200510877738071059, 11971831287358531464898691779654675,
20902434653936972119, 8624579819302413706161135, 12074386651690139548552175,
216625445735678031371651419119, 825225540697604231769045,
2815975403204860750260449018899, 476706383241863689012481807379,
11971831287358531612556885468173331, 825147908384316875639765,
476661535753042645855413027859, 3942364934219726627450800378899,
300684514613296876272550681436089422867, 20724414628077798513730718677,
11971831131967925125138074490602515, 11972957521498939991015264841962515,
70729941017362112198007476314903571, 8958050272064648172,
150108056298452716866611, 75058507174369648524941,
3768164827532854128623494185, 15069732028351619733894734889, 245205357835493,
126317911621687, 5973510880856396229, 23889373475928822213, 2496694421074963,
1307819958908133, 62735597693722096659, 594495281610807, 62719191226144194279
, 32853475862045987269, 1575667447225362581558291, 118945496786579,
62708253581092300015, 32847293714842761165, 1575667305035976906420963,
14930717795093098839, 1575255223789822662781935, 825147908383010739145685,
39574463604758486637756195859 ]; 

SMALL_GROUP_LIB[ 25124 ] :=
[ 6978124291440922565699, 30755964513605699, 489798446724339,
772905736756838885699 ]; 

SMALL_GROUP_LIB[ 25132 ] :=
[ 2065337896339966460927, 5346152282707463165791016951, 8464225461647285735,
5600936974823, 3273274862201, 141012491841104615 ]; 

SMALL_GROUP_LIB[ 25140 ] :=
[ 396423059657517914098433711, 4175785452386128164321403966639151,
6607050565117061456986379, 2202408316565656171795151,
9966075717123738666230503736397, 104979246272987262646150383743328620331,
166110070885690428575628534027, 15769468261400386783913,
166101251439745036005674599691, 276833957393119961948968872203,
4176007182066232748502694517451019, 15768620529120276918188,
87185756371171393803, 628857301888820073, 2192071660872961611286795,
210708031023069295, 2191896456328468715641551, 15769456827631261538985,
55108681930765126904553180427 ]; 

SMALL_GROUP_LIB[ 25143 ] :=
[ 696369519319587 ]; 

SMALL_GROUP_LIB[ 25146 ] :=
[ 876993109200442810923804030167, 22052868723967621562818806402416807,
876993122520647404471915548839, 34876048247590307035382999,
1386972400183170185447, 34876807649802307832656103, 1387502086527181144295,
34876807121154576452295959, 1386973438795800784151,
877012205161684682521952464103, 34890127325877188951358695, 55186712609835239
, 65044386304145639, 4686968154419595, 1636098653753714192615,
524387592495523, 1635570006022333832471, 117762011810810214003,
41141337320860098388143335, 13085598416927909419, 41128043416359073319082167,
2961243412843799885548707, 1034540068272349830290243070695 ]; 

SMALL_GROUP_LIB[ 25150 ] :=
[ 16292087373566723, 99577434120605, 409743956088760845315,
2453753575722513561, 10305060664297690109082755 ]; 

SMALL_GROUP_LIB[ 25155 ] :=
[ 4632294886948881179, 74960311747355, 4299221960681, 1885389929042488091,
269499280301828891 ]; 

SMALL_GROUP_LIB[ 25156 ] :=
[ 859498714881132485939, 1998039700805939, 103602058668587,
50287307382021605939 ]; 

SMALL_GROUP_LIB[ 25172 ] :=
[ 171456017383124057458061127, 133792616838794727395193374835839,
117312871808071872005339, 190424264947205397, 117304774548829344005339,
4660129332057605339, 6071500805397, 6811388438987429261127,
5315026550156746624594035839, 8388223481433605339, 1553384139148824479,
171456270943706697913083177, 133789848320581665412765992305339,
211193118268496755205339, 270645236755226277, 211148362872787708805339,
1133943632281471622405339, 5316153173054385516115205339, 11548915205339,
10752652805397, 290964238905605339, 1993766425175, 290692713427224479,
270645214982426277, 7324153493894467205339 ]; 

SMALL_GROUP_LIB[ 25175 ] :=
[ ]; 

SMALL_GROUP_LIB[ 25180 ] :=
[ 2439107727429369267704215, 77323664502436404928371306757559,
121955383690516903877031, 1611941944893216167, 3927069822083837,
40591523538858343876263 ]; 

SMALL_GROUP_LIB[ 25182 ] :=
[ 19160216525982673381199, 482492559903960087728871503,
19160220376235228558927, 761249933768525135, 2732212551299981135,
2077914081304915, 68802234649921108824143, 49254080796801733675,
1732577876545529432507500751 ]; 

SMALL_GROUP_LIB[ 25186 ] :=
[ 560888369448447, 11132555624197, 14125898878196975103, 277000170560750853,
355774903734409202304511 ]; 

SMALL_GROUP_LIB[ 25188 ] :=
[ 524463472972135805417059, 749571597241572436428, 20801912756201452131,
10539520072811411, 523963784716129981731683 ]; 

SMALL_GROUP_LIB[ 25212 ] :=
[ 175821918061863923237999, 19536450363624025925279,
4433017756344077147609637999, 920574481874048423099,
4432822202703947618300837999, 5417889504056185118444837999,
111765243672948253496477164837999, 306847300125691763900, 766774567769637999,
36543259481672019, 19338095088320160037999, 4088534669160811,
19331896235880915525279, 920574260015578023099, 487552060691599209129637999 ]
; 

SMALL_GROUP_LIB[ 25215 ] :=
[ 757695935280842629190399, 12124230399, 297932390470399, 562330828870399,
1190277120070399, 48352439951430399 ]; 

SMALL_GROUP_LIB[ 25220 ] :=
[ 8072411425328152514792543, 934684878871836660980747,
5136572315210085313493200775185535, 5136572310706668565912631827268735,
2286532107224943837847835149439, 203586219413315213445458068607,
3594902698028464894079, 254913751830838437338115,
5134909388639100823161676728926591, 5134909384135684075581107781009791,
623605536240453506323788890495, 594579824034163138729418625810731,
3267108803026323532770115426895858648510591,
3267108803026209956599741444946992186814591,
1454544406099777099785450190667532759167, 594579824289073520667941396447531,
3267108803026323557496422474932567400280191,
3267108803026209981326048492983700938584191,
1454544406099801826092498227376284528767, 83575852537572253194147496235,
129691140317990296058549526715674161279,
129691140204414125684567577849212465279, 204452868136157536683806347342409855
, 203586216798746091311431188863, 980437242248744242559,
23572752731043402830235992363, 129544353789598360102850436621712519295,
129544353676022189728868487755250823295, 57666339744221580984716253380767871,
5134444453612306656147913712889983, 90675871374596610264690815,
37065940574084619563, 90663446418049164109705343, 321442311836891045928398975
, 2286845476067284809192610754687, 12692156640686207, 1470540967612331,
320212411744801288319, 401815665487779, 320108745390488128895,
37065933268345249067, 8075757490096888564707455 ]; 

SMALL_GROUP_LIB[ 25228 ] :=
[ 202200519757452784094435, 59471286525499605534975,
128767536883947818367066672148863, 128767536856195431423051985269119,
79515786320168207077836796287, 5101114828973487584617116031,
124936033470016272399, 5101114745679709052449367031, 41645556447163096999,
1500341627072559031794917587, 3248547420508236128118107216772803599,
3248547419808098910294504696170621967, 2006024257285769921196450028923919,
128690924905909518177718169971727, 3152586200871538187974671,
2357807552595434435, 3151886274305910956406799, 17860651331523044625299471,
79533444675583523793394677775, 317741072005135, 93487609036603,
8019696352379746319, 31194980460753, 8016394843063820199, 2357807211932621763
, 202320925799127064098831 ]; 

SMALL_GROUP_LIB[ 25230 ] :=
[ 400061922778400337920198695047519111302783487,
2012116753716481180341590826386547199, 1526205442202912180587225599,
66613674387315259867616556671487, 1757143707534202871018250751,
76284617173709962905439, 296935290328075775880100517113930239,
21138754286130769252826280462175, 47875052883758582027710796236639,
1924682245024690281306219007, 82028753435629161538047,
1225162064648837524571538336608068095, 48559733041972935758479667290623,
2831555052087304703, 3251238739244507647, 7615519023615, 192304753952514559,
848126978919, 192108499582691551, 4851849570277478949375, 284177684197,
192092145051915303, 4851849095996085208927, 21344075898576399,
4846897401990623628991, 122412164659189236135797247 ]; 

SMALL_GROUP_LIB[ 25235 ] :=
[ ]; 

SMALL_GROUP_LIB[ 25236 ] :=
[ 1116976000568676591434401269757000701,
497196070698689287704897448378780233670000491399,
19759792358441043719392421330556870000491399, 1225833970226387161990343490699
, 30935146072603605275235590343001399, 48715351097593600000491399,
69499779332480342510701, 1229380603375424364480000491399,
31027110980628421320341120000491399, 780679346288224581907462266310000491399,
1229478165344360879360000491399, 208476792415600785510000,
1924829070080000491399, 2775171840000979301, 48576373858624640000491399,
69499628741760342510701, 1225873375672882099520000491399 ]; 

SMALL_GROUP_LIB[ 25252 ] :=
[ 9955157438029487619, 6791116069379, 3688452697523, 171781484835736323 ]; 

SMALL_GROUP_LIB[ 25254 ] :=
[ 3861644212224220919, 97521956634232627420919, 3877212684902620919,
97521941091190579491719, 3861669642854691719, 2462819492834907023462620919,
97915125654283161820919, 153678643420919, 751771238620919, 267643699423161,
18999037596672220919, 12839731495141, 18983494554624291719,
6756853552128428481, 479801709570625229020919, 321779340292748461,
479409170043702993339719, 170637576714286399947681,
12116912373545794407475420919 ]; 

SMALL_GROUP_LIB[ 25260 ] :=
[ 36528200982249050928557834338394617619, 48229050877849634958950578079,
1446088716685701259923714957817619, 36528200983480809997006547944686264839,
48231225209414333992550930039, 1218265827458569544609417323224419,
48235779406964451609912024419, 1909386784756452556978079,
1446043083630066572180278567417619,
922781687490064362145213138063538061289679,
922781687490113957352384925719279501289679,
110104073197141844290864694887514089679, 4358831084616951904203530944489679,
36527048292500033176216544288243689679, 2602723771935865409126578079,
1909391015388461875378079, 48231214392266255069798930039,
1909391389269938381330039, 102856692868909056178079,
2598158937911501196288178079, 103037413122730598578079, 75693015878860978079,
57246409952161977221210617619, 409883155185992823767199603,
36531341548740245477939400551104489679,
36531341598335452649727056292544489679, 4358885734982981410571548557289679,
1446044319943512523009954086889679, 6831385480225577779378079,
1446044315389135061042231329464839, 2277188311099071283730039,
10353648497254467766880799672423, 922781687521178600772009468451150147378079,
922781688773953533931365652479924547378079,
110105453665670111043430773148790578079,
36527079521773126267533433656028978079, 172569916320856028913254578079,
16227440551255523512023, 172560797469958306893926578079,
287599817781798092282880178079, 4359116086264797949214368358578079,
16226572343294440335600, 2602723772305146585604824419, 4121896904294578079,
89719844426956978079, 644046391296352383, 2266551455861364940978079,
215797362279105181, 2266371163020148531730039, 16227428841321136312023,
57253090162408906939084978079 ]; 

SMALL_GROUP_LIB[ 25263 ] :=
[ 13926464319605 ]; 

SMALL_GROUP_LIB[ 25270 ] :=
[ 2790035840916037279222190699255, 175853556455754765993173999,
7018396666501522370543, 26798208403633884035340541949303279,
4443819371636922910019828156399, 14871625028537327, 526539480047,
13309540265632751, 155035298579, 13302481686114887, 336332129225011283951,
93117946017, 13301305256206259, 336332106872842810103, 3912279980077319,
336153715392595100543, 8499112905740037014952431 ]; 

SMALL_GROUP_LIB[ 25275 ] :=
[ 3793689907452701427, 529769095319736446615615, 829171729694783 ]; 

SMALL_GROUP_LIB[ 25276 ] :=
[ 1706660986766270216087, 43137567798123448872347663, 4765937443365328911,
2673202042895, 2120522800685, 67707908014675983 ]; 

SMALL_GROUP_LIB[ 25281 ] :=
[ 1975804871596522370485124315999, 122281654438554207 ]; 

SMALL_GROUP_LIB[ 25284 ] := fail; 

SMALL_GROUP_LIB[ 25290 ] :=
[ 108401200093187298831519, 2741465996159402252719787759,
108401249328608073387759, 69331675042708420294557761934959,
2741467438228803803611534959, 4300113707030031519, 7867313566537231519,
84812693526108523, 198982559689585481231519, 28417759663865321,
198966712713170146987759, 2139483133843909425883,
5032268965810638844745231519, 713198861529994929881,
5031868179930118622478734959, 54107520521454914335886683,
127266082145460159514583062031519 ]; 

SMALL_GROUP_LIB[ 25300 ] :=
[ 76306209790591250271779, 3360991565828033181502908339649055,
132845516441917303787965938207, 425165238075538743105488251757143137235,
16804950125215670527620464532626387, 1951550338608871033334283355,
48842866461531280389525325552731, 77136382734078045961307,
1930548081483456381373381723, 2151761023223119504694167257512369461271507,
85049842815143215900754936756850760659,
2151761023223119506444436562835920918551507,
85049842815144966170060260308308040659, 3010408527426814799,
76161838582067724504611, 3016085373958409763, 1926894515413171015837375579,
76306248287353511664731, 3501161238592558472954703,
1607435603889725072541807373905203, 935366777545322416251233427703571196407,
63535004112334195359983234355, 36971018875309324894612683144980983,
88579381556082080273245340495, 228323070949727757591751,
132861192761060607569480786767, 132903199224322746716454470479,
3361388233013428594729461562557263, 5253090878434761729573711,
178331169358671, 6016782254097105995, 5250871105484332982027087,
207544315270153962319, 152224405500006936569031,
132847038968747665428882678607, 9027487913063670983,
5250871171110188781019983, 364092804072523, 622627941740325700431,
207544312019325357603, 15754706710372819644646223, 27074595747102123207,
15752487003048246696092495, 57758950265187393669776207,
398594079772437854680729862991, 228299004852878591582591,
132847038415226273416818260511, 63535460704326887589605731635,
36970926475244355584581415167109623, 28879671848877194676000808845,
16804988631140387645751653934963667, 8037166466758026241805792739131527,
4676818105884666736044199540336029203855, 9025341437374619217,
26254102752956999860894811, 132871694376843325992460164187,
684987267786333247278959, 7306500813767855664637559006031,
398594079772864422815986455375, 10084430505438482098189781664437071,
17340222429576815724881260399, 10090275417614736326278298763092815,
36978192529083985942188870818648911, 5251845627542347899993179,
398594091124050658855383991119, 684987267785897868447599,
398537921177558234542104425295, 1461588637513201007985203757903,
10084430505438481671621646407844687, 146158863821114857495004935643021,
85049842853649140617873067946253097939,
40676011797562323353741828566577905799,
23669371255941368292197723661366436171087247,
146158863897213522943854999003021, 85049842853650890887178391497710377939,
40676011797563160439061765917274865799,
23669371255941368311450686019925502201167247, 2496694421095247,
1070045066495051, 63189509963377492815, 356720389197725, 63173103495799590435
, 27074594876344460487, 1598694690106106097984335, 9025340566616956497,
1598279557256982363987035, 684987267785027110784879,
40446975660133092059022553935 ]; 

SMALL_GROUP_LIB[ 25308 ] := fail; 

SMALL_GROUP_LIB[ 25317 ] :=
[ 1481261297279 ]; 

SMALL_GROUP_LIB[ 25324 ] :=
[ 201501632898779499561935, 2485050117493074734116269467351,
3874989611055893945543, 13855198072920263, 315986349791945,
350976845363776186823 ]; 

SMALL_GROUP_LIB[ 25332 ] :=
[ 542718497458110444484219, 771252822963421329900, 21403718571694404219,
10782729763489991, 542204355654879009764219 ]; 

SMALL_GROUP_LIB[ 25333 ] :=
[ ]; 

SMALL_GROUP_LIB[ 25335 ] :=
[ ]; 

SMALL_GROUP_LIB[ 25340 ] :=
[ 9016975327061103503421588858179, 228490154787785119248308313646297079,
115369503061407949209698279, 4550614385928192098279,
115312551116781085286498279, 4552861974156288098279, 180334323302498279,
355847674937355451745658179, 9017180139673961640274683097079,
70997171208328396898279, 5963794288218966591759603,
228514585944754707943603251974760719, 228514585660484253767950347014760719,
27353177014871319038221881960719, 1057853852558364477317680728545,
5794718330771545219726251763125072098279,
5794718323568131910915207151438672098279,
4851852437017759679386032199708898279, 9017180111274194165187744360719,
42598524437533900962719, 228495344739536977568075689603298279,
1799352459275254378905698279, 392311721176479400145,
1799068327122137824972898279, 7556041991531921388134498279,
45595591318033457707478016098279, 554184596275298279, 15503527526529425,
14045226581464473698279, 9311791104194223, 14044105877172019362719,
392311551871186600145, 355906052422419418214498279 ]; 

SMALL_GROUP_LIB[ 25350 ] :=
[ 102299738741014373760802079, 33712878902090795653264007260031,
105752564136764056185890687, 287735449645827571621151,
65588921464009558649804968468440959, 2587334180039825212133952481151,
10345347030348400876253003933567, 262254547219331962212260008468440959,
163786392005363179533156509567,
1070118562480385143230011438933374778435242452863,
14223482637059196459594070869495, 655568895031939064697097832334592023,
16618671489059655290329393594158512251287, 612074032057443890116993431,
2600592078380725591553236049183, 65925009186895043373411684167752991,
21725586777534528018935747673612233762687,
70362616408345949604531177879529343, 201708997208180249791885242572063,
65589016282126417286841347108267903,
42148977615760758289123523728473636694943615,
1662681562751903945666599439350110119807,
6648155175649326610381453353042297251711,
262254642037448820849296387108267903,
168530733702710429572437287670873636694943615,
66473200023222276546850998988803172223, 10345904675733372607890709874783,
158777747083126655, 52314721377518053517183, 635420881682720639,
102064318012746064242698111, 4026206252083008530303, 4032396826697923585919,
408100327886851629426698111, 262268683529841022410457601749613567,
158865415191161759, 4025015351846938635167, 1326178186921301924698941311,
4035493873631897347967, 4026207391777968121727,
2587330461623113327753960122239, 102064328490942221960898431,
408100327887991324386289535, 16098633816791994361727,
10345343311931689405168360122239, 6648150400574566143025110324770732140415,
4027238246203157683487, 102034139169252247453867295,
33618617038455011350428660819839, 102299769703856629186586495,
102064357388568867141085055, 65588827202145922865502133122000767,
2587330727245392304706953176959, 10345343311960587031813540308863,
408100367262674432325085055, 262254452957468326427957173122000767,
873116254599160215, 4035492652546944703775, 102064464695851121381500799,
408100474569956686565500799, 6286523524991, 158824723252275071,
635054562503321471, 34442871596927, 873535778375886719, 9394622327799,
873210151135374239, 22144133511130004350847, 238161887386182039,
22135877883701264686367, 561353784515014954030229375, 3132560051701,
873128744325287303, 22144132452841472723039, 238130577074635647,
22135877476667214085631, 561353784509723511371922431, 6037403865383595394551,
561144504352776824326947743, 14230318437455642240608344369023 ]; 

SMALL_GROUP_LIB[ 25356 ] :=
[ 350573936575609909202900129945663, 112899118147544782213247,
13826490032435607752220612671, 350584481262356050079354393202815,
545811861457894851481727, 774914627349460021248, 2863216265988295187983763519
, 4456805421809668223, 21505359533209292927, 10823670314567617,
545295278553288048382079 ]; 

SMALL_GROUP_LIB[ 25362 ] :=
[ 2831352676155804415, 2138008954108545, 71808412354836216826623,
51040750552217666945, 1821204957864843630308379391 ]; 

SMALL_GROUP_LIB[ 25364 ] :=
[ 2340215618490620199083747, 94619830808740658697663,
1506415422676591030362937773381695, 1506415423717376340198323649370175,
895150751967014261813443647551, 59357230245980489455609419839,
1391427850454057121599, 3638218574542655, 147685813926699,
92319091910433392447 ]; 

SMALL_GROUP_LIB[ 25388 ] :=
[ 20888205960929761613943359, 530309779540351434329507763839,
7430338542680150120063, 32409694903473791, 510749458107849,
823020582552956049023 ]; 

SMALL_GROUP_LIB[ 25389 ] :=
[ 626707096359241859, 313354352218447079, 15915499229269671241859,
63649776155214298441859, 20221508218463261, 15911466235056893641859,
15911668398117629641859, 103424307130187194441859, 103424509293247930441859,
404078609931473632032841859, 404078610133636692768841859,
404285458464745339680841859, 404285458666908400416841859, 1595636041859,
799373642381, 40457300948041859, 242620361684041859, 401242447775,
40444958880847079, 242608019616847079, 20221486445663261,
1027170455745860041859, 6159888404772164041859, 80870404666463261,
1029050572210704841859, 6161768521237008841859 ]; 

SMALL_GROUP_LIB[ 25396 ] :=
[ 39730934017077080316731, 312220433630500667, 1746416348038367,
7930167053470485694523 ]; 

SMALL_GROUP_LIB[ 25398 ] :=
[ 4920577836259627, 911604786212365, 125036407848055038251, 61216563568055,
124965825625567841383, 23141919127282094509, 3175674754153885528261931,
1542908657956379279, 3173882036284930860927391, 587758447014539078504173,
80655787406236414522507335467 ]; 

SMALL_GROUP_LIB[ 25404 ] :=
[ 36901903437789952031019783431, 23841062848821102547308048012877117919,
23841062848821491270301576351157205471, 26024208079514715085971045435980255,
1024413797116954713824173898207, 937455954935144102984643549739487,
144801081065231402146847, 5639707208271797279, 143270976782034284846111,
5699940296354176031, 1452617390924326953047303, 552408719440061069774811,
938476730385749745600880703060447, 938476730774472739129218983147999,
1024415106499669754914167994847, 36902293727253522909893376479,
1587346599497139493919, 36902292198639537049220040335, 58792783444992729935,
14033391108249061921644928611, 23841062858719586537134621213304593439,
23841062868594705464728526880648764447, 26024241365517610545022811397987359,
937465869847148486518491543018527, 40326600729997226249559071,
21745364569814310435, 40324953049280136122211359, 43311982363342697410862111,
1024456964944867978968897166367, 2416081308298605504,
143390108366625566873159, 229837256006687, 2251067693734943, 856193312499795,
57242316300022193183, 31949360084665, 57182146491486184271,
21745362836128112163, 1454183860960983461665823 ]; 

SMALL_GROUP_LIB[ 25410 ] :=
[ 4798527530046121547164221609227136035199,
22224972764293651425225978624013599, 847082601011816364879248454945728013599,
22224971129947030094678702208013599,
14349954882027752021470436476945808256013599, 2031389366096128013959,
51617602565145957120013959, 14427636032037558781250432013599,
51692078491809941888013599, 51632500255505877120013599,
33337458337818420864714115968013599, 1311981831478920394934656013599,
68835885246332373120013599, 1749119844095821658294656013599,
44445135238413881966691715968013599, 1749119844093423669840512013599,
874843818859621143120512013599, 34429115264679381120013599,
22229781437222959762736515968013599, 33336584061858180438049262400013599,
564736516411954034689903049161472013599, 2031389317861888013959,
567793625818085755648013599, 1357288213383424013599,
1311981831476521875901184013599, 51632500254975297792013599,
68835885245801793792013599, 1749119844093423139261184013599,
137641977856203524608013599, 51625052902071044608013599,
874843818859620612541184013599, 874654556574855059320960013599,
803268928426092803990196537540264178624031599,
564736557940701682714989921678208013599, 34421666925417443328013599,
874654511213972062058496013599, 79944552448013959, 2031975610288128013599,
2709007683913728013599, 1354943536662528013599,
1311947413874720074236800015399, 79942451712013599, 22342298332332800013599,
53392507136013599, 51632497270811886336013599, 2031975587217664013599,
2709007660843264013599, 68835882261638382336013599, 5416842773496320013599,
2031682405368320013599, 34429112279985390336013599,
33336583786556643526931743680013599, 79990685952013959,
2031336077460224013959, 567717800624358720384013599, 2033734642631040013599,
2031976117796992013599, 1311981755651328148865920013599,
51632499669330919808013599, 2709008191422592013599,
68835884660157415808013599, 1749119768268229412225920013599,
68835882262168961664013599, 34429112280515969664013599,
1354944044171392013599, 874843743034426885505920013599,
33336583786556637076977484736051399, 79944491264035919,
2031336031265536035919, 567717800623851180928035199, 2033734135062912035199,
2031975610200192035199, 1311981755651327641269120035199,
51632499668823323008035199, 2709007683825792035199,
68835884659649819008035199, 1749119768268228904629120035199,
68835882261661364864035199, 34429112280008372864035199,
1354943536574592035199, 874843743034426377909120035199,
847082594016404312019337525429216013599, 2032561739014528039159,
51616249726660256640039159, 14425709313864955117704128031599,
51677197268467851712031599, 51632513151608565952031599,
33337456411100248261050512320031599, 1311981816597697052815808031599,
68835898142435061952031599, 1749119829214598316175808031599,
44445133311695709363028112320031599, 1749119768281711689872064031599,
874843743047909163152064031599, 34429128160782069952031599,
22229779510504787159072912320031599, 25792020157654910161519488035199,
1926825157393476760320013599, 1015034246319114827904013599,
1244089540333165272524490029952013599, 79938200064013995,
7447592666403584013959, 2081615679817090337664013599,
7431879601343157909863168013599, 293096919552013959, 81921120811354880013599,
39946251838435456013599, 933054039703116876659081446336031599,
48960627249368244782379904013599, 39946251584680064015399,
933054039703116870210903180224051399, 20109570026807733626352512015399,
25792020198968710073956544013599, 31612315219865729574847293938482112013599,
2031229464486656019935, 189243329653433701248019359,
52893854424152268069669824013599, 1015034246321144870976013599,
188844060670129642491903753024013599, 26666344704019935,
7447592850952832019359, 2081615679819120380736013599,
1015034259216993890496013599, 31612315170906186487459212736607200013599,
1244089538406447099922602800064013599, 3211264013599, 79967649792013599,
106611965952013599, 53323333632013599, 319816740864013599,
8126543200008192013599, 1056768013995, 9437696013599, 239902655232013599,
5243392013995, 239856517888013959, 6095927084319616013599, 3146240015993,
239833449216015939, 6095926830564224015399, 133243601664019935,
6094754342241152019359, 154897507215203107776013599, 1049088035991,
239810380544035919, 6095926576808832035199, 133228921600039915,
6094754180760448039159, 154897507213426820032031599, 79938192128059913,
6094167982736256059139, 154897500765248553920051399, 3385719935468416099135,
154867707836728607680091359, 3935945658338315384914912013599 ]; 

SMALL_GROUP_LIB[ 25420 ] :=
[ 1074768884575511262105838439, 694490304760836955262400246681793199,
694509218867984545484355318681793199, 694494507895758641978390262681793199,
694495908940732537550386934681793199, 248688111574183903232005999,
992752122100943224832005999, 414035669469019308032005999,
469151522100631109632005999, 27337325149305812006541824193199,
666774731930376601605999, 27320625679025844168858112193199,
27321369743036370928179712193199, 27320791026583739004262912193199,
27320846142436370616064512193199, 1075425851664410673254593199,
27320625045958433630709452993199, 9807645094300876805999, 383895011328005999,
42696769536006389, 248688062531277704396805999, 992752073058037025996805999,
414035620426113109196805999, 469151473057724910796805999,
9783167253748121605999, 39053978053384601605999, 16287791875889561605999,
18456000083270041605999, 666725689024177766405999, 9783165324374835205999,
39053976124011315205999, 16287789946516275205999, 18455998153896755205999,
26228390743244805999, 9758602188102041605999, 385824384614405999,
15518924805999, 25585254406389, 384861575577605999, 1536349018521605999,
640747674009605999, 726043040153605999, 42281382191733248238439,
1074792784253872524595393199, 50708160669286405999, 3252354967994472318403,
27323766649509474174887630656159, 27323766624575079790012110656159,
3389667218653068886120256159, 2562918587711294242920896149,
697155076208612760827136727552005999, 697155075574780455563601009152005999,
2671093318780088323240149094405999, 1074792738789653918619456159,
5245730514534446559, 27321232575841849483326361605999,
1289162394968771788805999, 1236938948608062549, 1289001448944556441605999,
4133690612625381785605999, 32770508080105841485414405999, 65444249605999,
48667033606389, 1665254470451205999, 5046272047963, 1663466019225646559,
1236938856857662549, 42330774536267366405999 ]; 

SMALL_GROUP_LIB[ 25425 ] :=
[ 88095495051578945619 ]; 

SMALL_GROUP_LIB[ 25428 ] :=
[ 330618697807796570042624268983, 34844745481077795958227652829403052749119,
34844710324899793312976582300075050381631,
1370329773520464699977211967851372863, 1370328390943069598307750329919643967,
1370336475820197038600072362721751359, 3096156540883586784880320101915,
1713579145781917323242388373019, 385417068978620279928831515,
1370329773325433828332956767180517695, 53890584155492630949090198446399,
121829890938489061471927835, 4788187827973048729115, 371895767428779727985,
3096156465024031960021045675547, 1713579069922362498383113946651,
121761701309615578742781467, 67389458305774558543083035,
385341209423795420654405147, 121761698326197432585846299,
67389455322356412386147867, 15154208444215377165851,
121754031383664202197501467, 4791171246119205664283,
13002244071901247771892407, 53890652711799026996490411372863,
83346820735844263247387, 7577251332498360219887,
330621062236768506024027987797, 1370331517155625663729813879073799227,
2119433972601752668878659099, 511352268902317785521,
2119342959729025959424426523, 2504676681290703066186655259,
53892967055318102601863479453211, 139455044723645161452,
121769275286119108045892489, 2365823480712288153232547,
3096156654549266938586631010727, 1713579259447597476948699281831,
188749179468279323, 4113178245123185, 4788489675272387522075,
2650207348552196386331, 294335036294004251, 20123153289305201,
7487265910984988821019, 1842361089252751, 7484286141856337756399,
511352168929235440049, 190386200913512111709899291 ]; 

SMALL_GROUP_LIB[ 25431 ] :=
[ 476121168249, 11399040916261201, 34190765180848465 ]; 

SMALL_GROUP_LIB[ 25443 ] :=
[ ]; 

SMALL_GROUP_LIB[ 25450 ] :=
[ 17289654046947359, 104424141086279, 440019529206926280735,
2603872406670321063, 11198497197300828472741919 ]; 

SMALL_GROUP_LIB[ 25452 ] :=
[ 43565246313486662862377729000101000599, 205832907622748672000001010599,
1711662985757192360449000101000599,
1108822649170862543168666145665000100010599,
5238859181039872416256000001010599, 679405495066880000001990105,
1746515078288698806912000001010599, 1746652291241752955648000001010599,
44452302185585138977512192000001010599,
43565246313492055392850561000100010599, 68625345404766720000001010599,
679832508703104010199000005, 80070377984000001019905,
68609119309824768000001010599, 2695627833856000001010599,
2037949586801408000001990105, 1746239304673547813760000001010599,
26695762176000001990105, 68609119521636992000001010599,
440087224115636016120577000599000101,
28221754196058612323371100421604225000500010199,
1131311097574419958955296998273000500010199,
78407699799709299759633187713009900010105,
718472852578155164513884920420410339265000001010599,
201558910126827796239002710607663041000001010599,
67248172842877441000101050099, 1711600505966396965633000101000599,
13477723771392000001010599, 1711600495183877374721000105000199,
2695627805184000001050199, 43563656077856731101725569000100010599,
343051251936664064000001010599, 133449130240000001990105,
343035026053534336000001010599, 480247979107683072000001010599,
8731340464292333886208000001010599, 80066122240000005990101,
68609119097983616000005010199, 1746377865334797376256000005010199,
3396920692189440000099010105, 12223271564250901908288000001010599,
222230078870645723915886208000001010599, 8732300954965407438464000001010599,
86448915648718320000000099010105, 222230077497173875167861440000001010599,
311141665596015852957732736000001010599,
43563655803420041202959233000500010199, 68614563308771840000005010199,
1108782174493609520006100427713000001010599,
8731340518255764708864000001010599, 3396547069878656000099010105,
8730927483116659413696000001010599, 12224645041490486103808000001010599,
222230078870645723704073984000001010599, 80066118400010105990000,
679832508695424010199000005, 1114112000001019905, 103809536000001010599,
5243392000001019905, 2642676810496000001010599, 1049088000001059901,
2642253185792000001050199, 133449122560000001990105,
67261410902541184000001010599, 26691502848000005990101,
67250628382950272000005010199, 3396547069870976000099010105,
1711937430293679440832000001010599 ]; 

SMALL_GROUP_LIB[ 25460 ] :=
[ 595007876005988304815, 39900961173476467149231,
68063830830876742001284858031, 19301664313024192530728243711,
32924801336927737573966136747427791, 105002488871545172555,
15150861570377403744561071, 8881865550461000411, 15148900581066365956066223,
50793292401628474578268079, 385740935581803502376382082991, 1333844398720943,
348969986315231, 33978967679012655023, 61714949423625, 33959721591536892491,
8881864428371012315, 865104589345210415829935 ]; 

SMALL_GROUP_LIB[ 25470 ] :=
[ 32009163346799330311091, 815273362924949495872660403,
32025759629724759675827, 815273346386990451514478279, 32009221670680401493703
, 20765012553684576583428978644915, 815696089695911134286596019,
1258243571308161971, 8210769777884216243, 87885300266593497,
209147299396888037696435, 29447282442164767, 209130761437843679514311,
2232770908443242914761, 5326981748262845496647194547, 744296156433212523799,
5326560509908026645398419151, 56868666755543535513816105,
135678225128368535198979911143859 ]; 

SMALL_GROUP_LIB[ 25476 ] :=
[ 13500833423361432828522982871231, 343947232293723962698217103928592255,
230474705967694765747115903, 9040130413456502331263,
230306341762155343861815167, 9046739394026463598463,
529942891825599307957997759, 13500825280255733179398627264383,
189172941283203685062527, 13500825112096133078523883291007,
21019941629795261288831, 343947024839795057195779560013076351,
4819580257757775489096783743, 980213756550376550601,
4819369856952493027614562175, 5890336310094880967988647807,
122783626646638558241592352741247, 326726474584775159808,
230348591225327245553565887, 355885525632063359, 816539528545212287,
38507508544905033, 20808735743781799761791, 4308298874855233,
20802135296315423527295, 980213522766716694729, 530123359608000445107181439 ]
; 

SMALL_GROUP_LIB[ 25479 ] :=
[ 956844478805488085653, 1489256595933 ]; 

SMALL_GROUP_LIB[ 25484 ] :=
[ 13522076358563373957596674787, 1969372254593955767, 78732159424439,
530624822062370426780387, 13522443384866974241153300663,
440426817949027301303, 817217532082103, 62577211689105, 20838522217824208823
];