col16.z

#############################################################################
##
#W  col16.z                GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 7502 ] :=
[ 12052808399, 3758408979, 90341399528399, 28042161146379, 677742160342328399
]; 

SMALL_GROUP_LIB[ 7514 ] :=
[ 505416703, 3790479559679, 371199995, 3788197859263, 28481746424564735 ]; 

SMALL_GROUP_LIB[ 7515 ] :=
[ ]; 

SMALL_GROUP_LIB[ 7524 ] :=
[ 685820432918495486665977006527, 91150999733638653583594319,
685820122036541143663040842175, 91151041064605665086425535,
12159780539876224309439, 12118993018094436000335, 91490240285767198429845695,
91490188771534552853821631, 91566910098650784096245951,
688372567910100027554521602239, 12159787387428307876031,
12114699683753396802383, 685820202755041997544824845001,
115087091361751242751049, 1610642295814133951, 12118461832363523758271,
1616134604983130303, 12118456411374451221071, 1610713615910593103,
91179306817191549917657279, 12159787387297700935871, 45886568456070666431,
5099046674282357327, 345302061570918337910975, 2415443227571416167,
345250547338272761886911, 421971874454504004311231,
2598052711263985098722826431, 38375960162961293528687,
2598052874945257852302760127, 18173793859553638737063,
2597665118194314023410452671, 3176147921297067632948140223,
19547749831088124214235311626431, 805052698402316959, 38365228031108433276527
, 288740724265095307368042095, 18179696532102098437287,
3174916383417329169416448191, 19547749831088125569478226196671,
2598896645878527288763201727, 136739619094807166595884199,
19547748599560441356212873447615, 23897336959839143341610076862655,
114341333078449423196428675627, 16345778715419295833525367021783095,
9463345559292583451102202770561199, 1352842010162584037865540734124588532991,
12129189967513410214985, 805052567797371324, 216215435876543,
258589293718542487720691903, 18173793859292424856743, 34327800052498964917871
, 268445978417537695, 34368592995269825722559, 2415442966357535847,
4562439954297578063, 35681816060767, 4567860943370115263, 320997030402375,
606312244746431 ]; 

SMALL_GROUP_LIB[ 7525 ] :=
[ 64524356063 ]; 

SMALL_GROUP_LIB[ 7532 ] :=
[ 40009075934303278197979, 301348381336730146503198535, 26757971504396002887,
5315218129189156423, 13371316713353, 705378222351943 ]; 

SMALL_GROUP_LIB[ 7540 ] :=
[ 432863225710747434763, 176346330373343801339, 24645590829738843024616365711
, 24645590749585287475325869711, 38558461280029925636349583,
3263789337451440939769487, 678230017440090751, 48094260971661991411,
24617548627223555287149398959, 24617548547069999737858902959,
10516258764742188169382831, 10029801388124762743851231135,
1401142287783196405035269861288388223, 1401142287782592047226428210948548223,
2193116360765604379131129708619391, 10029801436216896073425528735,
1401142287783197799707136418943018623, 1401142287782593441898294768603178623,
2193116360766999050997687363249791, 4714167274444605098338207,
186567788578980475944660717217407, 186567787974622667103010377377407,
1030764520801025709856023848575, 3263788844133373282569135,
184977367906001439, 1329651385231943607297951,
185827754856232479185942194103935, 185827754251874670344291854263935,
290730798053028951137500735103, 24608971605986910772972693119,
5116201458339948923519, 23397994809742095, 5113854567372828543615,
18130791759610318490239, 38576158995856910811990655, 433507741276484176511,
23397979389252367, 57428938279166495, 848126944423, 57494356402440831,
3103924292655, 7615519001215 ]; 

SMALL_GROUP_LIB[ 7542 ] :=
[ 6518928688893895, 16607491388775, 49164942984063586503, 117934190046651815,
370802008583357820105031 ]; 

SMALL_GROUP_LIB[ 7548 ] :=
[ 14912047036852199990601299, 851277935024180867868986270178431,
851277935022769837910006889340031, 1784660389061887102590806023295,
236441496045008134948019327, 112556131038030179514020420735,
1415180082054117853007, 186975835198195535, 1411292226333345253199,
187490983798703951, 1975666308816630031955, 846707724367201962879,
112781920664764140924255493247, 112781919253734181944874654847,
236442060456991672522660991, 14912333169189198790810751, 4150122827067557711,
14912329295260454007886343, 276707253398686775, 6390949899776730078285555,
851277937177639734673597108726607, 851277926527185604297230540483407,
1784664672329373990864834145103, 112558290761039984463256890191,
31329568557266754209615, 112181450949374307, 31325127429787732576079,
35501776035042996193103, 236475583470390411769874255, 1411860013270936309475,
22433911017570288, 25014615148367, 1979592653835676387151, 112181396771680611
, 261753935180287031, 998417518813, 262267106294957903, 14867907086859,
34681463637839 ]; 

SMALL_GROUP_LIB[ 7550 ] :=
[ 6472165742882390812568099, 857240496454612568099, 113542381800068099,
857244488546700068099, 113621170500068099, 15098400068099, 38637000068099,
793800089853, 291704481900068099, 5874792303352953, 2202369241996350068099 ];


SMALL_GROUP_LIB[ 7564 ] :=
[ 22401531190208264459, 169445267633307238561799, 88788401372161799,
2973012180481799, 192844803569, 391910401799 ]; 

SMALL_GROUP_LIB[ 7569 ] :=
[ 1205413732191199 ]; 

SMALL_GROUP_LIB[ 7572 ] :=
[ 25701054169976641259, 385415618676742081259, 194994777646817863407629,
1832250838910417100, 3427844313601259, 384194330677755361259, 85696108236271,
50737136788801259 ]; 

SMALL_GROUP_LIB[ 7575 ] :=
[ 276167294809801030399, 4825601030399, 8921400001990303 ]; 

SMALL_GROUP_LIB[ 7578 ] :=
[ 2300584890885297239, 17433801287235325617239, 2300616256780977239,
306688757937239, 6676454937777239, 16927626592381, 50593338595376817239,
120781102653112021, 383396328680868115377239 ]; 

SMALL_GROUP_LIB[ 7580 ] :=
[ 1801838814859134679575, 5176357245882811207713264119, 90091918888820837351,
29882745234270820583, 32012033273517, 3941399915907047 ]; 

SMALL_GROUP_LIB[ 7581 ] :=
[ 2445794684855, 4075640303543, 30936119097127391, 30967086163882463,
18580259461853663, 57118595, 325853279, 4080746332511, 4084831158623 ]; 

SMALL_GROUP_LIB[ 7588 ] :=
[ 27977119972424641619, 5557671123095521619, 13774950792635, 732113121601619
]; 

SMALL_GROUP_LIB[ 7595 ] :=
[ 6246805679 ]; 

SMALL_GROUP_LIB[ 7596 ] :=
[ 5029870316884186636844519, 162961318179989231150871209,
662161712069491244519, 5029768674470738016044519, 662175068713401644519,
10726065961369920044519, 81496747445983153804844519, 50848325154959617111,
81475199293029719990444519, 619049293598320666217337644519,
22285775731463252276481046449211, 35718658906221303188504304346442144519,
5051319662822728517271209, 152490189702360087900, 88660931788844519,
80703124910113866249644519, 50847959219510017111, 10624423547921299244519,
6743667571287991, 1398553011878444519 ]; 

SMALL_GROUP_LIB[ 7605 ] :=
[ 62115362855423, 62433135254015, 8185600511, 248460416211455 ]; 

SMALL_GROUP_LIB[ 7612 ] :=
[ 4440257131134852260283, 33799242001958838575196087, 5311013601552656055,
583979834136540855, 4060988609261, 76654660298423 ]; 

SMALL_GROUP_LIB[ 7620 ] :=
[ 668395295865474875310921047021519, 87715918100776100721306838991,
3204005768012993775923195, 420340120914431193083, 3202990897557093657880571,
420473321459906787323, 90640621269040621479375, 87716492132915191767045740495
, 1510675953066121621499, 503602024786295548679, 690681532064384112628562553,
668399670052814210190351846018011, 11513372750127888360263675,
11897210121584885877, 11511350937912755046378491, 19185254139235983331035131,
87731900355955954520928667643, 3204005768910347216643701,
11895100376421347820, 55284273089757179, 3778038172353713528316923,
11897181666444324981, 495673335233158488839, 524387590399891,
495805497166003578875, 1565032730880909, 65044386302144507 ]; 

SMALL_GROUP_LIB[ 7623 ] :=
[ 11520423750905611599, 7617397866518411599, 1651211995, 999265094411599 ]; 

SMALL_GROUP_LIB[ 7636 ] :=
[ 308099736227835147, 14358150815861259, 487568112647, 1876486154507 ]; 

SMALL_GROUP_LIB[ 7644 ] := fail; 

SMALL_GROUP_LIB[ 7650 ] :=
[ 662833870532797079410748551475, 5070679109575944717466122347159347,
157532806698209277993099059, 20487141474011244756756196299583,
122519682217920520327999, 5070679109575897608230723308687667,
38790695188255977088625526107411652403, 1205125971241299740990996869427,
94029014376693015151206363262161727, 5149308941613511340339,
937275568973714502786814783, 673112428589948723, 263891380671295,
52785148138483, 2019600562969973567, 404004565394988851,
15449948694172733084479, 17600776057841, 2019002428644471583,
403828643534552851, 15449945703501105541439, 3090635266521286439219,
118192107517783104982946623, 134633012683030289, 15445369377776627560735,
3089289288367028302099, 118192084636154482592518463,
23643359790092272597406003, 904169622511063059960978019135 ]; 

SMALL_GROUP_LIB[ 7659 ] :=
[ 1261241184809247191, 21552881255 ]; 

SMALL_GROUP_LIB[ 7660 ] :=
[ 1919203905478276176391, 5630520608425639792969301255, 95960172479948073975,
31830841518606657783, 33388700146313, 4154508242954231 ]; 

SMALL_GROUP_LIB[ 7676 ] :=
[ 298662185449700170099, 2292531570494430500001799, 674805308800001799,
38996024000001799, 873600009917, 5072000001799 ]; 

SMALL_GROUP_LIB[ 7684 ] :=
[ 528015752072976916335, 71359737665892531983, 31237528476495258157826770687,
31237528871311360144096429823, 61955166706765396788184831,
4057274018079515438286591, 1049307598729250559, 68851696099395327,
1213498142879, 8947660490495 ]; 

SMALL_GROUP_LIB[ 7686 ] :=
[ 352872885890096531251419959, 45911125422008525019959,
45911122287969485019959, 5973346330214619959, 1175806546329819959,
97985761689823145, 69461754805219577241819959, 266139965524813997875419959,
9037441959341875419959, 34626592456296653019959, 45915727714867814619959,
9037438825302835419959, 34626589322257613019959, 5973943228416219959,
9037246116713472219959, 1178940585369819959, 9037243008105062634119,
1175831976960234119, 2258355916271002028465, 533883047432912784489369819959,
2045551775023715501479219419959, 69461778895380372787419959,
266139989614974793421019959, 352908283217707108454619959, 98011192320428465,
69461754806773856563419959, 266139965526368277197019959,
9037443513621197019959, 34626594010575974619959, 45915729269147136219959,
69460273651233194496219959, 9061336277509017819959, 153678643419959,
13536461023145, 1175832325325019959, 4505151932006619959, 751771238619959,
63800525023145, 5781234639053019959, 12839731437541, 5778126030643434119,
489695155200428465, 44434573728485069019959, 97959534798092461,
44410677855640474683719, 3763796083071910347665, 341524133692117853645019959
]; 

SMALL_GROUP_LIB[ 7692 ] :=
[ 3247971526099934904730239, 24983396978552957923491841279,
423587815599636481279, 1982307259383398400, 422266503807631361279,
91268055448961, 54895050752001279 ]; 

SMALL_GROUP_LIB[ 7700 ] :=
[ 186954294563328003359, 121641532582993335558913035039,
15797601650349318401035039, 6556412231228439703883637633030359,
851482110811746635637121030359, 186776665788928003539,
1439549860042840576003359, 1439548067839808128003359,
1450490000158296832003359, 11084533922329374300928003359,
186954527346816003359, 24231608832003359, 186582937174784003359,
24279843072003359, 186582914106112003539, 24256774400003539,
1436688615977583488003359, 186954527342976003359, 3211264003359,
444081377792003359, 186518292922881035903, 15797974670775550721035039,
10053211394078278401039035, 851484983069028683629441030359,
266452603392003539, 3421219018775040003359, 40392204544003935,
3419426815742592003359, 14361359134231296003359, 26343386444574235392003359,
11065371241300387824385059033, 937236943177986462213784449050339,
596423508946929896312062849090335, 50517071038235489896545832144833003359,
11065371303470458864385059033, 937236943178670332995224449050339,
596423508947365086809342849090335, 50517071038235494683641302224833003359,
7180829755729642241059033, 608204789911643776631681050339,
387039063609557306590081090335, 32782039044545486736772302785003359,
2052944569571840005339, 26343395697370340864003359, 311020020048256009335,
26329586482392601280003359, 110653711863623192320003359,
202844146869751623196416003359, 121113678336005933, 10258134422522624005339,
15807673185824938624005339, 311020020052096009335,
552910086769193518976003359, 26343386445727668800003359,
202844146869752776629824003359, 2400075632891407104009335,
203286403244657193523072003359, 852033581349899762405184003359,
4311807143292437440003359, 311020020040576009335, 559797255537536005339,
24237835008005933, 559974953517952003359, 40392196864003935,
72700920576003539, 3146240003593, 72723989248003359, 5243392003395,
9437696003359 ]; 

SMALL_GROUP_LIB[ 7708 ] :=
[ 5312440732128491563, 1924377452141200403505215, 32389694192348463,
799364088203823, 89549122109, 103303866671 ]; 

SMALL_GROUP_LIB[ 7716 ] :=
[ 118173496002467739395, 431588026694665743107, 912259359942463064327177,
2013464918570931468, 15351640192587011, 430245945972921460739, 92414265026947
, 55758418362377987 ]; 

SMALL_GROUP_LIB[ 7725 ] :=
[ 149179366124875565147, 5137543433391681, 2497388572379 ]; 

SMALL_GROUP_LIB[ 7740 ] :=
[ 2664798863648665867598326391854943, 344289258959424980357901899615,
12074033807666714718611699, 12070202605518119019066983,
20625543204640673812974364379164138715, 2664798864345947133037830643309787,
93453029420098696853821565171, 93453021669598150786834417907,
93482675173733283604696525043, 723326447711561589442533657012467,
12074034809150656229820659, 44482172747755247983104017,
1559446521638582331635, 12070114014271346790361331, 1559953018924989901043,
12070113519283989090661991, 1559458031567290201703,
93422682468881124750177143027, 12074034809129578347923699,
1034469160642015952777535, 344291327808585179879894112095,
5747039230531957532915, 1915837081936257988199, 8006791281160755635629362981,
2664814877238447403581506369051867, 44489835186586440948230387,
133675411285010054169, 44482084686040373961083123, 74135588821173191823190259
, 344351324344638791051922237683, 14832499354307130746071919,
61972564516173338102794871281377, 20625667149825582913427841495296873267,
344351351251645061131742259443, 1034647410813881933480121,
344291335473463716527706822899, 574017717705001158013480528115,
2665279458687733189398670240311539, 133652367539328319207,
14828579560922301758770031, 114803545002301942728369908591,
1035092841889681106968761, 573809457479473287644416342259,
2665279458687733684385325343951091, 344499591868284425658771163379,
8008170513932876506670940345, 2665279250431338863676194279610611,
4442897135036710037371707544045811, 20664639150876567335780790797635,
6877604852624383766062496355188101799,
3713267341843879872321444057420994352865,
1235849636712436605643501320230638348204938035,
799721489774231329307647301474490081,
266163304406925432644418359289210240930611, 12074033818797944282345489,
133652346461580225132, 201808072434329843, 109465921923845314528399825139,
1034647410771726169686201, 14139052271878383904705391, 44566133409399914215,
14142883969014337303808243, 133675369129246260249, 1826750847806329583207,
5758477334330575, 1827245835164029282547, 17269811234320137,
235985155334187251 ]; 

SMALL_GROUP_LIB[ 7742 ] :=
[ 1460466080423, 95943061583, 11305245599153063, 734285729688191,
87525250076564188199 ]; 

SMALL_GROUP_LIB[ 7748 ] :=
[ 2167968876300277759683, 162221765252781126331,
130321817241380657232181258223, 130321816341829468793071265775,
187270617341064850664876015, 16797425688887828793567215, 3119539016900830959,
280187219672774383, 2717503485191, 36125907625711 ]; 

SMALL_GROUP_LIB[ 7756 ] :=
[ 49153966616738563776995, 381238190604121346705926007, 31915745151237514871,
6341014122466850423, 15040813549697, 817217532077687 ]; 

SMALL_GROUP_LIB[ 7758 ] :=
[ 7510422036985759, 18598277809371, 58264912760451225759, 135852211656122531,
452019203099435409385759 ]; 

SMALL_GROUP_LIB[ 7764 ] :=
[ 447966581868494588683, 2076955576934617740, 446582179807531456523,
94739038674335, 57517741991610123 ]; 

SMALL_GROUP_LIB[ 7772 ] :=
[ 15845581133082299439, 8250583384920092589553223, 136590053629406519,
4925431914900023, 262913946333, 632086407479 ]; 

SMALL_GROUP_LIB[ 7774 ] :=
[ 2526222291, 1326831781, 19610889095379, 10273632345009, 152455358863679827
]; 

SMALL_GROUP_LIB[ 7780 ] :=
[ 271821292331713201669811, 2107152327857256373555,
16458661639993506585341614389007, 16458661751667791865905122408207,
6377126383095067864341411599, 2114769724547744422697907983,
105357592132720682511, 34950688664742409743, 35536361777807, 4491360970614287
]; 

SMALL_GROUP_LIB[ 7785 ] :=
[ ]; 

SMALL_GROUP_LIB[ 7788 ] :=
[ 44471969289853607783, 4941875151119484599, 346397274289511816478567,
753870800376747335, 346347700537512059786087, 423312792556538009347943,
2697741972167848808645994343, 251261478122462588, 37222531872715854773095,
753870212281083207, 4774395965677285047, 10837762986799, 4779471735340681063,
96867757255191, 613047723024231 ]; 

SMALL_GROUP_LIB[ 7791 ] :=
[ 29244943462649, 3977675889, 87576898924793 ]; 

SMALL_GROUP_LIB[ 7794 ] :=
[ 1663391727008879854332730463, 213419518525005560601695,
27387573487270026335, 213458712054699622849631, 27387608594415541343,
3517401627024479, 7686793099140191, 18946713825361, 59909901917132872799,
139039342239373489, 466937785678345218481247 ]; 

SMALL_GROUP_LIB[ 7812 ] :=
[ 11297518160576299024896028079, 11297517408252802075392028079,
1446174879886727424028079, 1446174783571014144028079,
1459167158408479031808028079, 8747767567986088002048028079,
1447076492909462016028079, 187525730909569536028079, 186785254271107584031559
, 11399013842609132491737600028079, 68337560242229413767252480028079,
33899223954766776666624028079, 46691833196855808053135,
11399013841486618070494848028079, 68337560241106899346009728028079,
11399016733788320507941632028079, 68337563133408601783456512028079,
89049096138462542546272936704028079, 533853020612296179870595179264028079,
1459167158552188189824028079, 8747767568129797160064028079,
11304561562561767616128028079, 11307453864264205062912028079,
88311243695815081360712448028079, 1459167528646796769792028079,
8747767938224405740032028079, 1447446731227200000028079,
1464952132146440636928028079, 1464951009632019394176028079,
1467843311334456840960028079, 11444206056327701662655232028079,
187525874618727552028079, 185122360590336028079, 4338637746970692121245029,
11317580634599535767065110179, 46775436881913241893005,
11297519827124056581337110179, 158192998080117397436185110179,
158192998199549113317145110179, 88492000985823221608105753110179,
88492000985942653323986713110179, 23908559270400028079, 5975456002560028775,
1459166406084982082304028079, 8747766815662591052544028079,
186785350607722752028079, 1119785915069782272028079,
1446324169412512512028079, 186785254292009472028079,
1119785818754068992028079, 185141351821824028079, 186773407412620032028079,
24004874983680028079, 186773312625543936031559, 23910087907584031559,
139979947997498112053135, 11399007964335481766770560028079,
68337554363955763042285440028079, 1459167158552185390464028079,
8747767568129794360704028079, 11298684411425463891840028079,
5976984639744053135, 1459166406132375527040028079,
8747766815709984497280028079, 186785398001167488028079,
1119785962463227008028079, 1446324216805957248028079,
1459073858495715669888028079, 187525874615928192028079, 925617969381888028079
, 185141330919936031559, 7232050230871067136028079, 29863286012160053135,
7230927716449824384028079, 10123229418887271168028079,
56496776403645359776512028079, 1446706254567836160135959,
56496780117875408334336028079, 233291958274975104783935,
56488007321376692462784028079, 79111683785584772036352028079,
441352846280842764660262656028079, 17915525153280161131,
1446324121997979264135959, 11301669260669732315904135959,
233375549775724800783935, 79082668220828959639872028079,
441352846280842812053707392028079, 56517022515941579166336028079,
1822476694409126409600783935, 441352817265648247167003840028079,
618020473732988383159657344028079, 2848020796648542350249437833031,
689710857749455754880295418461050959, 155741160863017719392796195440490935,
37716148049546076577377383821925529028079, 1459170120458667994585110179,
8747770530036276964825110179, 46775436876314521893005,
187155494068680601245029, 17915522353945271100, 23910111608832028079,
143341827489792028079, 812187648028775, 3105423360028079,
10575702644593864125888028079, 233291958269376384783935,
1353036008720562048135959, 5973879589632161131, 1353776580146100096028079,
29863280413440053135, 173199685356288031559, 764785152032371,
173294472432384028079, 3822432768028775, 22168318464028079 ]; 

SMALL_GROUP_LIB[ 7820 ] :=
[ 77460900901814597611, 13930800851996727149635975, 227804646611121931,
15491255932325128959, 2786246896473807600393119, 4738494741784165827669759273
, 852265653960106612312618296131179, 4738494695312380320424498473,
852265653959037761245951655132779, 2059397185985831399036201,
370390094895798557922585804395, 45562350504283315, 605744267174179040302377,
108938862663130834245102886507, 1782192975980652648203, 9908784514105349,
1781432409754251354891, 6056836606505736597259, 13936749072161729387736843,
108662068099586390795, 9908779896451077, 13872088810169523, 253970992685,
13895393451609867, 1267216267145, 1773838907147 ]; 

SMALL_GROUP_LIB[ 7821 ] :=
[ 418122553991 ]; 

SMALL_GROUP_LIB[ 7828 ] :=
[ 759645233530506539, 43914066636118571, 945612745295, 5600936970539 ]; 

SMALL_GROUP_LIB[ 7836 ] :=
[ 3698903617957642355306523, 28984608750088130162887591447,
473503526822851929367, 2175185161132781808, 472053647225095009559,
98308095908357, 60239731215050007 ]; 

SMALL_GROUP_LIB[ 7839 ] :=
[ 10205230534901027, 2133681739872803, 2742932885617187, 20037617369,
272629299491 ]; 

SMALL_GROUP_LIB[ 7844 ] :=
[ 11747898097819591395, 8062579534038223827, 726127726358019010787379279,
726127724745679318419081295, 3351517818681331653085263,
92150565584686812055631, 54471127175817039, 1504528304256847, 131258133119,
191154890575 ]; 

SMALL_GROUP_LIB[ 7850 ] :=
[ 47019189288863, 928633822119, 369094712930684831, 7145580669026439,
2897393987482476631967 ]; 

SMALL_GROUP_LIB[ 7852 ] :=
[ 175795755554309602511, 208425315010803753206251799, 3380569651800001799,
303681077100001799, 2867400022361, 38637000001799 ]; 

SMALL_GROUP_LIB[ 7860 ] :=
[ 2142809843063363801650959, 2144062582973242631401129, 272621199694604817419
, 2142800281371569913650959, 272622261889619250959, 34978770944017419,
112751279270158157677103, 116095404225785828606571497519,
1879186739102732817419, 626447911617548850959, 886225052644357393899113133,
912509877214677154231331782117419, 14772922701626412377617419,
14347419748232580233, 14770407981051025513617419, 24616935005694724576017419,
116115172434761223904377617419, 14344953174867181100,
4849978769071032355217419, 14347386480379780233, 616886219823660850959,
613079001667471, 617045601353875217419, 1829731904033673, 78478864755217419 ]
; 

SMALL_GROUP_LIB[ 7865 ] :=
[ 250855508709, 21903837, 334356892389, 668479212261 ]; 

SMALL_GROUP_LIB[ 7866 ] :=
[ 246589196126812427569203, 44612422251782026354350996423,
5671551265168147835577287, 31348741142538557491, 3986535055056219,
720989160555767493895, 91658931284253959, 52255870949158574451,
5671300736940030742618375, 3986703599446387, 720989164439709485319,
511899970907, 1773838916871, 1436090490203, 13980843803587847, 85096790923,
13949770948334055, 11292704075078003, 109973346475715272967, 664436582216419,
109728896323375708455, 88828407285083168643, 865050343479593913112327 ]; 

SMALL_GROUP_LIB[ 7868 ] :=
[ 427709017212010171599752279, 6141583154954241679, 782039121921679,
54355724252306803592279, 427670866240617202362881679, 34789944025661441679,
6912713165496321679, 15931883598125, 878220492801679 ]; 

SMALL_GROUP_LIB[ 7876 ] :=
[ 6521646924740226291, 717349111258057203, 4657984003355, 91007369603315 ]; 

SMALL_GROUP_LIB[ 7900 ] :=
[ 8857001680901547759615, 5527648711569005045536140095, 88569921444462360707,
553091975940803406569113387557, 345184702137077000144901033597433187,
553091978893012647565035307557, 345184702137310224674939711429113187,
349845653555415653491016229, 218334940324410843950351027516771,
700116425147136584669315, 1121804810052755169, 3498396736490047500963971,
5530919758697999728834016387, 227408733889168434269315, 1121802223144521441,
28785909140909125763, 142279952879301, 3642736351426691 ]; 

SMALL_GROUP_LIB[ 7902 ] :=
[ 39616436821997550287, 313049045514103741344719, 39616473920550848975,
5017137684396239, 8235878832501455, 20021441846035, 65078882250936640463,
148961291164725355, 514253338406470773087311 ]; 

SMALL_GROUP_LIB[ 7908 ] :=
[ 500242256316430248739, 2277096693980533068, 498724444797248391203,
101977057393331, 63063811754780451 ]; 

SMALL_GROUP_LIB[ 7924 ] :=
[ 36305982345834138779, 7214281750598261147, 16391980644239, 910058476554395
]; 

SMALL_GROUP_LIB[ 7932 ] :=
[ 31952419484523709544699476259, 227390764954383361319,
4028492520999583893076259, 31954002676326415776120481319,
509429941468462081319, 1804174213915485849096659, 2311903086518876400,
28708016578561319, 507888928776936961319, 103222564274941, 64028349158401319
]; 

SMALL_GROUP_LIB[ 7935 ] :=
[ 284620946310183 ]; 

SMALL_GROUP_LIB[ 7940 ] :=
[ 313543207910596283277371, 2381393747320813591347,
19774007827888047102724789946159, 19774008042998245293732202989359,
7506579973770325990417254191, 2489533150155159746619541295,
119069661042325612079, 39503284483742578223, 38559092474631, 4974122909050415
]; 

SMALL_GROUP_LIB[ 7942 ] :=
[ 917073575, 7274059141031, 487094463, 7265889491255, 57770712286011431 ]; 

SMALL_GROUP_LIB[ 7950 ] :=
[ 273742707420308562230677534447, 2176254523991514962039894768681103,
62604211075928089613779087, 15825842548957390287607483844031,
146069799496893144253887, 247688533844443279, 317741072139711, 18736454848335
, 2526645152497878463, 148661431160225935, 20086833334362655147455,
6277929408973, 2525984850634969047, 148599138531904167,
20086830032853339470623, 1181857953194890688239, 159690325015759904437110207
]; 

SMALL_GROUP_LIB[ 7956 ] :=
[ 97455587747994979373489931, 8424903631201630425430465391431871,
8424903631191608483833409557303487, 13181063095051096477107939774655,
1057581595875703588868575006911, 37886841681869791039935,
132928807928669439325704383, 775356656122977602883146608667,
67028533289840171664683312341080670655,
67028533289760437097337136124755247551, 104868537984226523565390214226575807,
8414119176787097729062948869046719, 1205086171172029149340504511,
2228917851988143644443, 301427712419855628874289599,
301465573087513006598787519, 2398159109374644866629767270847,
1057581595880470118007882973631, 37891600438529190007231,
2232556935375980982283, 280121486486802939, 37862770997328233894335,
4759021134895124927, 8909932358280975228699, 301236206054155497196491199,
280156666563927835, 37862771595460411920831, 16704915864150951926543,
12249599820966704258827, 1058937083503932938248255508671,
1058937073481991341192421380287, 1656723834283504393710014655,
132904334342810534724833471, 26173425775772963263,
132904310546036394303795231, 2379642306979437343, 97457816106251413618815003,
8424903436357290415779471113126335, 8424903356622723069603254787703231,
13180894825559555022465693450687, 1057386884031377185500326592959,
208264607587997333852607, 1539826594015616795, 208235778744928555766207,
246096446402306280264127, 1656953217972508203094643135,
1057386694704233152295339753759, 18937472526807229051167,
775374384941303212646809403675, 67028531739658602547963221952927109567,
67028531105290384741785244867860894143, 104867199232151819789234411059286463,
8412570049353636913964163803386303, 1656953308665786405734060479,
12250859940592247435547, 1656723855705683130461458879,
1958664883300940377527161279, 13182720523744998908769289114047,
419907966003625745, 18932434476535616942367, 150666531422689057342271775,
12254498532464026251547, 1957943327588036555053207999,
13182720523744999506901467140543, 1657445406660428393502216639,
97467838047844271105569051, 13182719802194044761638426382783,
15583137811542285018984349700543, 70511940177471561033747001361,
66933201632319337288061635557409358111, 9536880463392146943713430555263263,
49084647059903985024781882484404977947,
4242768645034258020649635607661077581713641919,
4242768645034257386281417801483100496647426495,
6638796684142390830093092083395812887892415,
7292908585483690546699946882433307,
533431057225640083899469393868523508339135,
986380459874184356735214174849401360831, 2232556935247131963403,
419907901580230400, 36283883721211, 133099210195947998869983679,
12250859940463398416667, 16705616270656456929567, 140016221612457745,
16729413044796877967807, 1539826465166597915, 2099750562588269343,
17600775986161, 2102741234215817663, 193522636427771, 263891380605375 ]; 

SMALL_GROUP_LIB[ 7964 ] :=
[ 6102735784731638211779, 48602193986374294500001799, 6972978328796161799,
767079333895681799, 4870886432229, 96241996801799 ]; 

SMALL_GROUP_LIB[ 7974 ] :=
[ 8619045496012951, 20762898708111, 68727188502256587159, 155884787288978879,
548030612481320586197527 ]; 

SMALL_GROUP_LIB[ 7975 ] :=
[ 963849581 ]; 

SMALL_GROUP_LIB[ 7980 ] :=
[ 108784565430370110770289407, 181278823462710408875121407,
43178381857434587929343, 13653778023322788600575,
8243793332149133661907244664959, 1033056809111910354355308671,
3037165075187015200379945540051, 3674734835725276907357584060911439018631,
3674739452188626110000703495855131818631,
460493087183795818526728724812855943, 460493665687974916602307601372215943,
460494967286130758256189663364479623, 380597127786624989176682963,
460493087183618670903717375648676487, 460493665687797768979296252208036487,
57705900649609307344258965092999, 57705973143867339684557069924999,
57706136251405665706085620857479, 460493087147548689510558453860629127,
57705900822214683611605258402439, 13642963150123072003427,
868100832243044097538740099839, 1446605011341119676415299459839,
1033259047237959826871851775, 2277100193100722908295,
868100832134339785425138924287, 1446605011232415364301698284287,
868101522555834013289291373311, 1446605701653909592165850733311,
6927444641299491873262856954370815, 11543907990502134992697800647170815,
108784565443993899194530559, 181278823476334197299362559,
344563487226414881274772223, 345253908720642745427221247,
2749617495527194108212390058751, 108784651949355638846036735,
181278909981695936950868735, 43264900842962663676671,
108957257325622140547799807, 108957148621310026946624255,
109647570115537891099073279, 869478913458448477978084694783,
13653791647111212841727, 1708220099119848191, 284782494756674507,
108784543234201551453346559, 181278801266541849558178559,
13632151059713186618111, 22716644547475128736511, 43156185688875270986495,
13632148277898553891583, 22716641765660496009983, 5408044026615601919,
13631581854763471657727, 1711001913752574719, 13631580499516203523427,
1709646666484440419, 6814793876660582411399, 868100655008915724188710533887,
1446604834106991303065269893887, 108784565443993768587590399,
181278823476334066692422399, 344386361802353644846381823, 285353116478237831,
108784543245043525244861183, 181278801277383823349693183,
13632161901686978132735, 22716655389448920251135, 43156196530849062501119,
108780023197248790518233855, 13653791646980605901567, 27037789450850310911,
6813654913919423192511, 1033081791469001438482253951,
380606212280112489904921043, 57706100181424272547163832810119,
16222916251133713763, 215870277109464365439743, 1423758871314590855,
215761572797350764264191, 906183067025214916713215,
1722644811335107434220542719, 5408043051417127631, 215794572997066349266439,
1423259569689500147, 215761563310619887330823, 302064250089045765850631,
1722040692518171265069680135, 54372966071180703889179117,
8243992695922605860625966030875, 3037237573995265631385969563855,
460494679447765694992827602259609407, 129481069990128182555507,
1722644995754373884800899839, 11361594748700654298311,
1721777350945290655719082751, 7232812540609906154853096191,
13746707066119904904612451965695, 1423116781475399553,
129458873821634169082739, 215761560600060047602547,
1033258938521449447355528051, 11365578676432649307335,
7231340874884167648650062591, 1723248930162885542334413567,
13746707066119915746586243480319, 11361594748831261238471,
1722644811355436136712219391, 12052209034025310709092711167,
109698722387636841150883767563975423, 90665517555494448141706439,
13746705594454179166106248932095, 13751526462613320309166691580671,
57717844074067064303715545905919, 108784651953489311498998715,
181278909985829609603830715, 2277100262074250299037, 13642963219096599328073,
853841469450414780, 1708292525021731583, 2846700230255057663, 37893426912203,
216215435877119, 308316466937666069939227391, 11361594748439440417991,
38625323020936474219379, 853984127055382401, 38636139249383458940423,
1423259308475619827, 4838910396997110479, 35681816071135,
38636148736114335873791, 1423758610100710535, 4840265644265233763,
107010619645521, 4841620891533368063, 178339423230923, 606312244747007 ];