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

SMALL_GROUP_LIB[ 2004 ] :=
[ 130175966362240843, 2337761972256780, 128618482980328523, 413077253375,
64172761989963 ]; 

SMALL_GROUP_LIB[ 2020 ] :=
[ 41798756755548900030099, 9726953600000399, 4838400000399,
20683667536100030099, 626853148900990003, 84521689005676824100000399,
84521705927911704100000399, 127890113952011300000399, 41781029282065700000399
, 31342550400000399, 5072000000399, 156800009903, 10254494400000399 ]; 

SMALL_GROUP_LIB[ 2028 ] :=
[ 374077579713039685883, 3139797446418795201138054714191,
3139797860179480550928778842959, 3139797446418845502914825605967,
3139797860179530852705549734735, 19998847770214133783280800591,
19999261530899483574004929359, 1548224408636220105867711311,
1548224408686521882638603087, 9861364778551558132388687,
9861568802558140869432143, 9862180623069005003150159, 68445133279512625439,
272469139862249668895, 759445428755174119494479, 437131084247728415,
4862606122025899971407, 581790422236327620259548561695,
4611914731190283473399178927688991, 16581654872351, 68444042457498845471,
272468049040235888927, 33750067241484575, 134353620783268127,
1743886458277134623, 859904818938143, 141629431449037495763231,
184472974746310907, 763423896131160871064399, 763423946432937641956175,
4862757027355989693263, 91529932898591, 374111188746539701847,
107527433750087, 1548223661353993116074265887, 1548223763365996407442787615,
9861671251478883368586527, 2833758287867216159, 2397809661907009823,
376442913090545418527, 9172943135, 16643285582111, 66250560504095,
24807762141552, 33857018189257547, 68446747536443543951,
272470754119180587407, 44877349151, 91529709945119, 4108715701,
90999717692999, 185622843924578591 ]; 

SMALL_GROUP_LIB[ 2034 ] :=
[ 8947660501471, 85599478161, 18198411017728479, 164116811825009,
37015579967522091487 ]; 

SMALL_GROUP_LIB[ 2044 ] :=
[ 4082234850554967431, 8344096237974190363055, 10266328110072239,
2001844712964527, 69657039869, 977778377135 ]; 

SMALL_GROUP_LIB[ 2050 ] :=
[ 24234311684959, 49679660933124959, 24344371204959, 12124164959, 51200004959
, 4014086363, 104953405444959, 8080711742523, 215155035484164959 ]; 

SMALL_GROUP_LIB[ 2060 ] :=
[ 705662114608186311, 149726863466817023148455, 35282989861406615,
11547924901123223, 169725372993, 5600936969111 ]; 

SMALL_GROUP_LIB[ 2068 ] :=
[ 2005462858459083, 214306016773323, 20775397919, 103303865291 ]; 

SMALL_GROUP_LIB[ 2070 ] :=
[ 1773838916563, 253970996557, 3676308177597395, 85096784147,
3672424070690671, 524777607584101, 7609965590765576147, 175039111703699,
7601921605359858391, 1086288867107692405, 15752628799627122005459 ]; 

SMALL_GROUP_LIB[ 2076 ] :=
[ 330329375149839369531, 685763782518693671101015, 161014192215712087,
2791313508795888, 159154497504096599, 476115931877, 76654660297047 ]; 

SMALL_GROUP_LIB[ 2100 ] :=
[ 19980840847297250476129775, 9514686324610032401903, 217905339827257691,
88323300351538315539883901754323, 42058714453547862304613866451,
88323300351539825773194396474323, 42058714455058095615108586451,
209795014044243910503362370515, 99902391093523164074482643,
457611480708669407579, 475724007521194918235, 960984109486272778445147,
217910232045527387, 96547244651477651851094848169073,
202749213910820116739293267303625121, 96547229423798646841393535447457,
21986993828652553786592600481, 12617633234519264114644591017885,
389505763099891425911985865269879544787, 185478930780097296949137416799656915
, 185479208547429092762413211897338835, 123430243461399033052364014731833289,
222054857418646334719939104556306671585, 2144571024580055973682643291,
133243811896498369344995675, 102984653242715, 216262331047526747,
103767399088475, 454150893843446096219, 217910231866368347,
10469998140302087774135409, 21986996094644627973568426401,
9064204890922861904289, 2131282478220426067179331931,
995873521069115152884059, 133243808435911504121684315, 460629789855507579227,
7559796704033931611, 647345853411704463, 9515549315072813923823,
2157720984650075, 2861137222994789065260957, 42058716265827834897919548371,
2861137438742404850220957, 42058716267338068208414268371,
6796697654987604590493, 99904203373495757380164563, 4541487557195759963,
1541201380540833, 22654014369721270619, 9537123874596120797531,
719403546084095, 1359426241491934349745, 19982653561645130189809067,
4534295970002928323, 308455885652805, 4531215328787276483,
7551681264774070979, 9522021537381701173955, 6008388168289022109143707593,
88323304158238453306411939145627, 6008388621359015257559707593,
88323304161409943258450851145627, 14273065075464722918059977,
209798827084341114489572042651, 9537141334987109007707, 648785125391672433,
9537123878020683141467, 79288329701664820224347,
42058793287293733153106878811, 649812005677450353, 47573430184700310344027,
9552226207701020221787, 20027996803477313659773275, 6801443896565901608049,
20027960136659750726873435, 99981221818927392915775835, 51980009819,
514276454302113, 219347524210655579, 308259837898956, 217905434441158685,
2267946643626595690437, 973650471726187223865059, 244635697499, 146790973797,
514712204919131, 308944750952865, 1080900691972448603, 48946250515,
514027291853567, 308455527334725, 1080897267407119043, 648785124854195313,
2269891461615811522907 ]; 

SMALL_GROUP_LIB[ 2108 ] :=
[ 27653643052676115, 1806478009037705610479, 406528943040479, 25545546720479,
6246720885, 12052800479 ]; 

SMALL_GROUP_LIB[ 2115 ] :=
[ ]; 

SMALL_GROUP_LIB[ 2116 ] :=
[ 122583631087587, 51043300713819139642355, 5387554419939, 2526217187 ]; 

SMALL_GROUP_LIB[ 2124 ] :=
[ 1348230229416353175, 2866381644225243757975, 22873938849617215,
2863642018909886140823, 6088194611720403854370199,
219175153209181498079453379, 27466135063230273897761587269431,
68533770237692988, 2766659287656825289111, 22873350753953087,
1302569515896292759, 10837762959887, 613047723023767 ]; 

SMALL_GROUP_LIB[ 2132 ] :=
[ 232440030251537639, 65546755197502411, 1061873262446716480000479,
1061873125417819138560479, 5728827147924564480479, 495563289344535040479,
1260350586880479, 109575004160479, 14499841571, 51200000479 ]; 

SMALL_GROUP_LIB[ 2140 ] :=
[ 888198511808476567, 203379035669890090343351, 44409790448519079,
14545098054317223, 197956398461, 6791116063655 ]; 

SMALL_GROUP_LIB[ 2142 ] :=
[ 36886387102197, 1340562424574513503, 625846125597023, 236656289877335829,
2871484713902555533663, 36920679735061, 1340563008656511327, 18253615605,
257832259935, 86033568245, 553449687093599, 17314092529, 552281455990047,
184116859379477, 1185490843142721887, 36851020750609, 1182987323885768991,
394378242544431381, 2539321391642050564447 ]; 

SMALL_GROUP_LIB[ 2148 ] :=
[ 197713976257734499, 3312677901951948, 195506878893753443, 546108497171,
91007369601891 ]; 

SMALL_GROUP_LIB[ 2150 ] :=
[ 65420302163, 4879146345, 140645223893075, 10300112129541,
302387938012094675 ]; 

SMALL_GROUP_LIB[ 2156 ] :=
[ 194296281600559, 420230838771200559, 17719404800955, 2932127857094400559,
906017688828406400559, 177579750124456160109055, 4211474638613207880598500559
, 68737415600000559, 17719315200955, 31881644800559, 8204800595, 14758400559
]; 

SMALL_GROUP_LIB[ 2166 ] :=
[ 699435773063, 3305824849921479047, 5490542561758450055, 1526251386703751,
2534892989583239, 28748282152585607, 13272523827335, 11892520234270024933895,
335923847, 704652660359, 1170322837127, 917070983, 1996463801735, 57112759,
1980124502183, 4324349087815175 ]; 

SMALL_GROUP_LIB[ 2172 ] :=
[ 986140661571547351232579, 153025950643200359, 454059278676162752579,
986216752917718561440359, 211395764321280359, 70678241280359,
3502788791151600, 332585634298976712179, 96241996800359, 571069472221,
209061988277760359 ]; 

SMALL_GROUP_LIB[ 2175 ] :=
[ 3426210601159 ]; 

SMALL_GROUP_LIB[ 2178 ] :=
[ 3097281075726908438401199, 288008958261830401199, 886122698520738372801199,
1697137196631108988801199, 132235701609601199, 60714342401199, 14758401199,
32278137601199, 1651201991, 32133958401919, 70301940144001199, 3573369609911,
69987773667209119, 153117626179608001199 ]; 

SMALL_GROUP_LIB[ 2180 ] :=
[ 35432472396345219611, 993266515806526515, 168571129477026764543222447,
168571115242388810460816047, 236019251897052149277359,
77242822880115336913583, 49663180156723631, 16270984306962863, 213324680487,
7457656283567 ]; 

SMALL_GROUP_LIB[ 2196 ] :=
[ 7960961191112689622619659, 17482270775669844386774616119,
738969820659302403719, 7500621497724531576059, 336484664524803719,
738913890839961603719, 336510095155203719, 3626245339763875419659,
7963234754247241891416119, 1707378186240003719, 17487263520326614595644803719
, 3752871363466444803719, 28016542310612461, 3749403736091750403719,
8241305513420193177603719, 296687184813207741411144061,
84338703153026492016184939785603719, 39743003580047120208794889603719,
742383094664921976059, 83945316570188400, 156067430403719,
3626582617480089603719, 28015845581012461, 1651448366899203719,
12839731207141, 751771238403719 ]; 

SMALL_GROUP_LIB[ 2204 ] :=
[ 41286292246410539, 90995309726864118519, 341956971618807, 18882576527863,
5369635589, 8516674039 ]; 

SMALL_GROUP_LIB[ 2205 ] :=
[ 281821650551, 843657432695, 383202935, 281814683255 ]; 

SMALL_GROUP_LIB[ 2212 ] :=
[ 16560328770086867, 3235418529498323, 95943031163, 1460466050003 ]; 

SMALL_GROUP_LIB[ 2220 ] :=
[ 379489005676129458940307, 1872342953467643774868151229135,
1872342953345582359731526589135, 2671230751224615735998700239,
1203257099691560214485711, 842465592762685123664960207, 122305572926989665695
, 55017548564006303, 122138501028345742751, 55092836209067423,
170951997492810312083, 14649574577700473715, 843397751215052007117576911,
843397629153636870492936911, 1203305924257560686648015,
379513596249158341515983, 244157542695568799, 379513433427294666868487,
81408989180071799, 32522054460645663739623, 1872343007697415155086962862495,
1872342736721073551780262062495, 2671339151852033774577658271,
842520183673105686246074783, 542359589318303810975, 6602933508092247,
542029842189848053151, 903331557670553322911, 1204038288276383263557023,
25014615147935, 6598916620907760, 122305574635523752931, 34681463637407,
2979773155839, 77085644051645855, 998417503261, 77012333892407159,
6602879330398551, 171130287310490273183 ]; 

SMALL_GROUP_LIB[ 2223 ] :=
[ 1593999257489639, 3543462565373369843, 3546649858173943283, 4540616793827,
718934440931, 1196859096035, 110861129, 325851875 ]; 

SMALL_GROUP_LIB[ 2236 ] :=
[ 87634302825572255, 8424818008932832850951, 1685066229794807,
146810862810359, 17624647877, 65420297207 ]; 

SMALL_GROUP_LIB[ 2244 ] :=
[ 1298110666570209551, 2912965562442514960543, 5898657215807903,
2912960317084855734303, 655636018759967, 6536694722120550741705119,
13243216424735867295, 347154757455641, 13236588499689275807,
16177922806883811743, 29717777657628519825823, 115672260648704,
1303549357986939295, 347153817931545, 578566655838495, 17314089457,
580903118045599, 154753040889, 257832255903 ]; 

SMALL_GROUP_LIB[ 2254 ] :=
[ 2526219255, 607194439, 5691000274167, 1355922463527, 12827585831671159 ]; 

SMALL_GROUP_LIB[ 2260 ] :=
[ 45677910808397452143, 1234651512778931971, 233606695453421202524144063,
233606729607063242858889663, 315304386488074394206655,
103232119518718246060479, 61732407201497535, 20237651826180543, 246727848083,
8947660489151 ]; 

SMALL_GROUP_LIB[ 2275 ] :=
[ ]; 

SMALL_GROUP_LIB[ 2277 ] :=
[ 179919959 ]; 

SMALL_GROUP_LIB[ 2286 ] :=
[ 163458251149789870184735, 71504047220345427743, 31286628684622079,
71521157417649891839, 31286882748377087, 13711377270527, 16139097596159,
137113804171, 36891940525171199, 295403559414643, 84334997565350421119 ]; 

SMALL_GROUP_LIB[ 2292 ] :=
[ 292226764370880379, 4588696254801900, 289169392008160379, 708946275911,
126150728000379 ]; 

SMALL_GROUP_LIB[ 2300 ] :=
[ 1340211553552889823, 70896277712656554305663, 13401945308952067,
7104099953604540532888861, 375806885449802775408717839715,
7104100400276834912408861, 375806885460076238179446799715,
15411535146125782652189, 815220875971931987537100131, 30887390934140704259,
583888199909369, 154106025701656620547, 71040999167038595809795,
9393547482757528067, 583883582255097, 4084139402890755, 253970986877,
1773838906883 ]; 

SMALL_GROUP_LIB[ 2316 ] :=
[ 1651221831234998287503551, 133882587943797119, 712958038788991389887,
1651210817328822991454591, 311140437693825407, 58098022613375,
4835073137799168, 310385800466859294911, 132938364617087, 739271282497,
307918889293971839 ]; 

SMALL_GROUP_LIB[ 2324 ] :=
[ 22327811035391979, 4367200333120747, 117189966839, 1876486153195 ]; 

SMALL_GROUP_LIB[ 2325 ] :=
[ 14473442909819, 6324509819, 1684829819, 4826135573193, 9176545566029819 ];


SMALL_GROUP_LIB[ 2331 ] :=
[ 116846689629081815, 272369632616805109031, 272453740783403207975,
74190923045927, 50146265984039, 18073071316007, 913760321, 21552880679 ]; 

SMALL_GROUP_LIB[ 2332 ] :=
[ 1038524082032021571, 2421841858054618432263, 4164378973987335,
447013601489415, 33925900901, 191154889223 ]; 

SMALL_GROUP_LIB[ 2340 ] :=
[ 441327936140762271312251, 2420008548685830729615122753519,
2420008548737263552254235764719, 3661212751241236916371056623,
1564620848680145359071215, 1032707370756355847003957231, 34574320980417578879
, 1032707370565782504493413719, 34383829044717160583,
5662820003924843905100166776349119, 5662820004045196710075691222557119,
8567237837904494016545344053695, 3661212785911175953217085887,
2416535247569871398497562255807, 80904306275820924569471,
80903910807793650108287, 81349661855920086321023, 189316076685038869904623487
, 34574490054953535359, 668721946558256656715, 14687864384128895,
34369263476300318591, 14775532492162943, 34369182069490190471,
14694125682034823, 80424076274978652686207, 34574490043487356799,
188616365065513068923, 51440166474227772915, 1034191721827229079724484591,
1034191773260051718837495791, 1564775147148039765747695,
441362481282647416760303, 285772358652790655, 441362290709304906216791,
95280422952372359, 120369985930552563084111, 2420008629075713904549529248191,
2420008749428518880073975456191, 3661573844326102503623352767,
1032788206200168678223634879, 669102958608937650047, 21995519116053759,
668707490581663188863, 1114458538708099401599, 1565700923220538130696063,
1032787760258302983113442215, 223161337134257804519,
281665767075797065907375007, 5662820192037170537784453699835775,
5662820473662734180511657826555775, 8568082795723081454922750334847,
2416724402508396074542987581311, 1565702271229647277524863,
51469502694745983711, 1564775528538565874812799, 2610987321989435722041215,
3663743314677443101599991679, 21982983525243517, 222956279635873633511,
522197528888380474004711, 51542737519283030751, 2607832981167836308440959,
3663743314677524508027914111, 1567929678949636398122879,
120438563026657498122975, 3663740160527113437504604031,
6109710333455456287587829631, 93995609270337413264100685,
5657112110876789236502235556774823, 2859344789849825418614124479399,
1543168684148602452565457870850975, 31007369638894266721025514892894422013823
, 31007369638894548346589157620098548733823,
46943191371602830522984724275856512895, 1099747946720576966010446875551,
13264405802545310261930188204778559359, 33454329901872039994971942053058431,
34574327035706749259, 21982972059334512, 6457751766911,
441962721778291298797439, 51469502671813626591, 188682384424155223271,
7336008298273405, 188872957766665766783, 21995496183696639, 80633447725402247
, 3132559984885, 80714854535530367, 9394622302167, 34442871572351 ]; 

SMALL_GROUP_LIB[ 2350 ] :=
[ 103303871363, 7020659429, 242750829091971, 16196427052929,
570465559727009027 ]; 

SMALL_GROUP_LIB[ 2356 ] :=
[ 514933433280539, 28553925600539, 7076160887, 12052800539 ]; 

SMALL_GROUP_LIB[ 2358 ] :=
[ 18873108817159, 155371873671, 44500409705457159, 345268218980231,
104931991244241217159 ]; 

SMALL_GROUP_LIB[ 2364 ] :=
[ 823749779421020190675, 1947344477989861636272775, 352038310537224583,
5359570001289840, 348467255211078023, 802829284685, 147390004601223 ]; 

SMALL_GROUP_LIB[ 2366 ] :=
[ 2672088437299047263, 6329983774854869855, 4146375869279, 117449567,
277832872799, 53749433, 277004760695, 657359192439647 ]; 

SMALL_GROUP_LIB[ 2380 ] :=
[ 1460195722934629647, 3475268582257338626143, 3475745905050463,
291981935730777859, 8280164770782483649155135, 8280163894959624596508735,
11813391360415258136639, 4864223132347658203189,
19875466535176829506384036703, 19875464450718424961085604703,
196790252152316956708438879, 3475267191478208712767, 2085550890681663,
8271139235503350658106207, 8286257641785656159, 204802361397045,
8272279790745027423, 34741588191176819551, 19721293186675087770463,
1463186386071847775, 204801421872949, 614197704525119, 51673826803,
614781820076895, 86033564661, 257832256351 ]; 

SMALL_GROUP_LIB[ 2385 ] :=
[ ]; 

SMALL_GROUP_LIB[ 2388 ] :=
[ 171159531921658763, 374109117341566859, 72003203002763, 5638357390482828,
409106087353384889885, 155072472040331, 836102806111, 370352286287647883 ]; 

SMALL_GROUP_LIB[ 2394 ] :=
[ 2549159814052081620863, 14609837345141651299601898167,
24359892544893826661401909943, 6102688955298307171142327,
10175393717099550012328631, 8071715671990918803575, 3371646392734507127,
6102688949517330663936695, 10175393711318573505122999, 3371643978078234743,
6102688600435279579847351, 2549165598550138915511, 1064812031485036415,
2549159965804527256247, 4250373316598697198263, 1408378171398263,
445218984241271, 74272055175491, 2551998720605472338039,
4251082893238448074871, 1066000211309764727, 1775726265041166455,
3372461654073815159, 1065997796653492343, 1775723850384894071,
1408714121472119, 1065851980414218359, 447633640513655, 1065849627554379071,
445280780674367, 532665334731932771, 6109484937125804767270007,
10177092446409148681245815, 2552004502758348997751, 4251088675391324734583,
8073673200786961388663, 74333851612259, 2551998721781841792119,
4251082894414817528951, 1066001387679218807, 1775727441410620535,
3372462830443269239, 2551649639730757702775, 1071634133290878071,
187687016567, 32893606211, 445281627199607, 741741967104119, 526539466871,
155035281731, 1262897882198135, 31200554575, 1260545022358847,
370792498463843, 3023380779359179895, 74208323854207, 3017745680041176911,
887677023314772131, 7237973597125537162871 ]; 

SMALL_GROUP_LIB[ 2412 ] :=
[ 3345669700944379273607, 16005492329979262557017, 1387057272212169095,
3345570761541321042311, 1387098228496734599, 3317160413570425223,
8007720950871695982983, 49552856412445255, 8000993109334273353095,
19314622932171972422109575, 695326787230816172242653547,
112367531699895549821051585896871, 3352301388186262669145, 148490576354956572
, 579639628140935, 7762352621837300116871, 49551734322457159,
3218221010512193927, 20678515503559, 1333844398711175 ]; 

SMALL_GROUP_LIB[ 2420 ] :=
[ 69977644710976000399, 46757440371776000399, 186078666406976000399,
317031692966400399, 2638689759114982233013446400399,
6387929704872009623481000726500399, 2975255469203360333728121703099,
11909952000399, 69977288014867200399, 46757083675667200399,
186078309710867200399, 28916382726400399, 19321256966400399,
76892011526400399, 38511508486400399, 211128613497600399, 87243379200399,
113337990191617456000399, 5324800399, 11949465600399, 7984537600399,
31774105600399, 35846662400399, 508035004461779168103099, 28789351232109903,
766353143029984109039, 20398230636050882608100399,
2975275699969585038991561700399, 130857433600939, 3483066497478400399,
949953729398400399, 209932149625814400399, 1229446429410224808112100399,
14758400399, 35846572800399, 4928000993, 35738438400939, 86749254473600399 ];


SMALL_GROUP_LIB[ 2436 ] :=
[ 110079079584871780516139, 268152637868251704533534967, 25118898872348184455
, 25158739011143306715, 10311110922994615, 25117525647998390151,
10311603277205383, 268209702969245467074097767, 48624284712976122807,
110102505340404916613735, 4370607375287, 688372864386569,
48543264923532460983, 19927469304710071, 45189147011356885291,
110080841507400736043623, 99606717025092535, 110080761795417518983415,
19927442869587847, 268156929912020123024039863, 242762836162029683639,
3436444019806929, 242641993093894210487, 339691332656916661175,
591370268894042843055031, 352468338185, 2060956163137648, 1687691431128001605
, 7615518999479, 1412076275209, 18586927581430711, 284177601093,
18554218519793543, 3436428599317201, 45277804783580251063 ]; 

SMALL_GROUP_LIB[ 2444 ] :=
[ 150647204959467535, 17302582500150497549111, 2896733644253223,
253309888202023, 25360312865, 103303865383 ]; 

SMALL_GROUP_LIB[ 2450 ] :=
[ 638006039, 1565134867223, 383202141, 1563351239507, 3834595494762263,
938317106433, 3830220255828155, 9394759051540462871 ]; 

SMALL_GROUP_LIB[ 2460 ] :=
[ 974160733429104742468839, 2396435404232676678144192079,
91545381227724804879, 91883814214044352039, 37211039334401759,
91537130147020804879, 37213968793604879, 15938355201759,
396091114035712068839, 30462836539494526403, 2399282683518506362572864159,
2399282450001805567692864159, 3072460625117675622464159,
974384477206131609664159, 507710498406401759, 974384138638557286592079,
169280497254404879, 74938575816668060096043, 5902235401455525087592550401759,
5902234827004441132187750401759, 7558253137789949388492801759,
2396985813927035270041601759, 1249652844776652801759, 12390085427262443,
1248968008862924801759, 2081505674100736001759, 3074145998131317964801759,
12383282793214400, 396471090305433601759, 12389993676862443,
161029416550404879, 1690828806361, 161166989721601759, 5046272003163,
65444249601759 ]; 

SMALL_GROUP_LIB[ 2466 ] :=
[ 23657038629199, 186103533561, 58335274083764559, 432477160675913,
143854817404954855759 ]; 

SMALL_GROUP_LIB[ 2475 ] :=
[ 5324811339, 20294880011933 ]; 

SMALL_GROUP_LIB[ 2492 ] :=
[ 16592973044098901911, 41349716041316510339599, 34052017073029647,
6670503602487823, 155441044973, 2673202037263 ]; 

SMALL_GROUP_LIB[ 2499 ] :=
[ 35657205, 84090560341, 251795611477 ];