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

SMALL_GROUP_LIB[ 9009 ] :=
[ 477478334127383, 73509973351703, 293880752332055, 4108737881, 8185600775 ];


SMALL_GROUP_LIB[ 9012 ] :=
[ 103777453125000001499, 1096539312375000001499, 936341289179719171875749,
4380009188343187500, 11583000000001499, 1093619733187500001499,
172125000561751, 121348125000001499 ]; 

SMALL_GROUP_LIB[ 9020 ] :=
[ 48019234311549498265806439, 3906864224553197896068150169792399,
3907164078528091665067062169792399, 3906930858769840955845686169792399,
3906953070175388642438198169792399, 11097873252237770752005199,
44341107719396196352005199, 18485258689384087552005199,
20947720501766193152005199, 433273853818438020045312192399,
16795096517876121605199, 433133506048026512366080192399,
433166749282493670791680192399, 433140893433463658682880192399,
433143355895276040788480192399, 48034795323689861222592399,
433133493495132240078540992399, 1234085065116876805199, 136263303168005199,
45414678528006369, 11097868258885258444805199, 44341102726043684044805199,
18485253696031575244805199, 20947715508413680844805199,
1230362888903065605199, 4915865601448345605199, 2049363491690905605199,
2322363692620185605199, 16790103165363814405199, 1230362335261491205199,
4915865047806771205199, 2049362938049331205199, 2322363138978611205199,
1861430660300805199, 1229091712604569605199, 136816944742405199,
136404428390405199, 544996746854405199, 227202721382405199,
257468819046405199, 5452595206369, 15518924805199, 5323973112273408206439,
48022242429417573683392399, 5584160515686405199, 409515443683431038403,
433273853813473967466189376159, 433273850673971656779469376159,
151446725586216779878976159, 40631848571764965480896129,
3921790175854138194552576512005199, 3921790147535827352158362112005199,
15026063921390687145214054405199, 48022238706274841498176159,
1861430503014414559, 433160626726996346532761605199, 50389012152044748805199,
136252915712062529, 50369129530382745605199, 184685226736687513605199,
454508889611235223142405199, 5329090283120230405199, 136252823961662529,
590395283865614559, 5046272015963, 590808003379205199, 15112601606369,
65444249605199 ]; 

SMALL_GROUP_LIB[ 9025 ] :=
[ 171241129200743 ]; 

SMALL_GROUP_LIB[ 9027 ] :=
[ ]; 

SMALL_GROUP_LIB[ 9028 ] :=
[ 31911706612098846059, 18930729264965492435, 2611141815451530783549602159,
2611141794359292434770082159, 10424346220471511521442159,
288099011519146311842159, 127898580925442159, 3548590456322159, 232657923575,
391910402159 ]; 

SMALL_GROUP_LIB[ 9036 ] :=
[ 36292560625000000062999, 328012442448875000000062999, 144625062500015562751
, 327939584208656250000062999, 2963920429964144937500000062999,
106701139408285014188480453125251, 242002016507573409885552969726562562999,
433744187503937437500, 325327095888218750000062999, 144624187500015562751,
36003440187500000062999, 16125000000124751, 3984125000000062999 ]; 

SMALL_GROUP_LIB[ 9044 ] :=
[ 37986847375572069531, 6526973575288166662676519, 79797768997885811,
26599608003912551, 343553066565507826069713, 59029949015267958493696071827,
722138436940722206579, 4202488359149037, 721691061879281515379,
4089560196910463909747, 6531020023685404686761843, 43127799116511478643,
4202486666096109, 4762776894958439, 155035280435, 4768659044556659,
464622098325, 526539462515 ]; 

SMALL_GROUP_LIB[ 9050 ] :=
[ 282218116654177919, 2554072727701778017919, 282413741529697919,
31308042337919, 96241996897919, 1646023809423, 870977961008737919,
14600616359080143, 7882351550421615457919 ]; 

SMALL_GROUP_LIB[ 9052 ] :=
[ 80050668018393308039, 724618901443979986147439, 263673790983440495,
8872195447261295, 399882982421, 977778378863 ]; 

SMALL_GROUP_LIB[ 9054 ] :=
[ 16292087373061711, 34547273216211, 147506517736031440719,
294492129788162219, 1335524033051632220358607 ]; 

SMALL_GROUP_LIB[ 9060 ] :=
[ 5923607264108280000023099, 5924959914277080000067799, 653927696640000023099
, 53667883529472294450516375149, 5928364087550010516375149,
3797436403474616807902335940875599, 419143090914533844615940875599,
3170985527384280000023099, 653967208440000023099, 5924937372552180000067799,
653969380860000067799, 349620478200000023099, 3167559190336500000023099,
349998697980000023099, 72783360000023099, 306386674270275944227503,
419155141680083344575940875599, 5106442017240000023099,
1702270958040000067799, 2775863263182892096440375153,
3797545583621556378142365937523099, 46271195307623880000023099,
33822572220003352653, 46264365175270230000023099, 77106154595868900000023099,
419217029487019587780000023099, 3170985529529970516375149,
33817527540519727500, 38880000000023099, 15221751830570610000023099,
33822504180003352653, 1679729233140000067799, 1253880000089851,
1680104969460000023099, 3742200000044853, 185389560000023099 ]; 

SMALL_GROUP_LIB[ 9063 ] :=
[ 1845026134355538229, 22695402045 ]; 

SMALL_GROUP_LIB[ 9065 ] :=
[ ]; 

SMALL_GROUP_LIB[ 9075 ] :=
[ 44659968013399, 2451975667418899213399, 29773158413399, 5017613399,
118984038413399, 59618252813399, 33066874721293131213399, 178423417619933,
401512876813399 ]; 

SMALL_GROUP_LIB[ 9084 ] :=
[ 94653596060667205302321785987, 39627322121386010087,
10419905894146272651979907, 94654425141947060146886477543,
1150211855524896204263, 361127243486021695358003, 4557985646825867760,
4432033321649639, 1147173639191908136423, 177699449787805, 126281590940640743
]; 

SMALL_GROUP_LIB[ 9090 ] :=
[ 140011029760001010399, 1272699520821120001030199, 140011315840001030199,
11568838643923857600003010199, 1272702532496320003010199, 15482880001010399,
16221440001010399, 492800001019903, 147490899840001010399, 165120001039901,
147457804160001030199, 4468737920001990103, 1340692344834240001010399,
1489799040003990101, 1340391472007360003010199, 40620812699840099010103,
12186893414771100000001010399 ]; 

SMALL_GROUP_LIB[ 9100 ] :=
[ 2852201604652565699099, 25955036069967869226424199, 1852039385522902583,
777870580382457309939, 236273393318203619570450605295,
236273394096045690347159725295, 92021569431082433614095599,
49549836511484330039496041, 2155112101155855769519583610176759,
2155112108234218613587636602176759, 5861618242025688697271568729335,
25955035329084490248004847, 1111237413354608447,
236190828241887504591065875703, 16861023321997682153015, 142527694604606105,
16853559137833339852343, 70783942060424958055991, 153435312230201585348646455
, 64448493954662854120999710567, 19565803801626679494827826825077925599,
19565803801633757857671894878069925599, 7624256830104216937734753036478175,
4105369060185851322143996612512985,
178465099016309323966109770588923271685687,
178465099016373737067990789871150471685687,
485665158660488937309934514095610504759, 64448494213943544379902750567,
19565803801626682865476800190817445599, 7624256830107587586708118775998175,
4105369060187666286975808933792985,
178465099016309323989704313402483448325687,
485665158660488960904477327655787144759, 35392592204951628848000871,
2153437360500207229025938712241887, 2153437367578570073093991704241887,
4186877586377148203626670794463, 2254470368552973934883410349273,
19824882079189022962168088037509670455,
19824882143602124843187370264709670455, 266702684673169226686829209848489527,
236190821498366744909031352031, 10117502969349698233247,
2149336537001202225165700342326839, 153435350808719831800485431,
1297002120132838312985, 153367388158428575725000247,
644484937266015972407383607, 1396261692359350464240637974071,
427395160026916887, 50560048138823710811039, 92069277021511965315965855,
1297002120144304491545, 3220657947991416666953618999,
153435312234271925281756727, 1396261692359354534580571084343,
11824496021784975387937817, 1398837865370075864935184209463,
5864812929120749518434103203383, 25970858122477591166981687,
1297002120109905955865, 2853199406359937295263, 85524118395430935,
2853940452552535971383, 142527671672248985, 313538331502712639, 9394622306199
, 313619738312840759, 15656684623481, 34442871576119 ]; 

SMALL_GROUP_LIB[ 9108 ] :=
[ 9887294586834914949831, 90053530799621282011543655,
90053478829638374937008231, 820207558522878829094227032167,
9887300271097399384167, 1561510794571780325843724513843011786719,
171443872922503001278225775183108063, 9937104837406020013277,
1085382998285921367, 9885129170454145071815, 1085591022291548871,
90033756221207317905234023, 9887300270662020552807, 178331169336407,
224147657208165346391, 24907514942085184199, 2041788075422397307202647,
9746750461017493867, 2041536887172514256374871, 2495206685643338578717783,
18596605790964931746260642903, 226909619520673076213863,
18596606590069041552944245847, 88773398399258344475515,
18594317968452605265372535895, 22733620733092556117489871959,
169377892822348847143956445523031, 3248599990326140451,
226857649537766001678439, 2066692814590152159536756839,
88797217974875335404411, 22726342492926855690780376151,
169377892822348852612764458863703, 18601596158813738948087958615,
808548088793322670914456443, 169377885544158491479081743440983,
207057817637007027231641038687319, 818410385022461059240649056095,
171443874719035424880088473824270303, 81994896511023946319948044499483795,
17176618748468836402455534038852389021335, 3248599554952696956,
1888400832945117434671963223, 88773398398387586812795,
207135041106708969904231, 1083183609556262435, 207334303124265153858647,
9746749590259831147, 22742098561315306183, 118945496743019,
22763973851419176023, 1070045066472787, 2496694421072983 ]; 

SMALL_GROUP_LIB[ 9114 ] :=
[ 14525844825631679, 3630586406432375, 1206653163870100896031679,
7234792487956520352031679, 132395613491577631679, 793810944201081631679,
1025299052792121631679, 132395563328601631679, 793810894038105631679,
112497161817631679, 132388356346732831679, 14576007801631679,
301638479726884665653255, 100230696890597080202325033631679,
600958065733278215969287209631679, 10997443152816257553206431679,
65937904952539884475190431679, 85223122060853048907715231679,
904452412135526611253255, 100401012322176223445783184031679,
11016130384720925453520031679, 255538553639996292365865631679,
33096180483244853255, 10997443152359058017404831679,
65937904952082684939388831679, 1206653846411103523231679,
7234793170497522979231679, 9350792414332608124831679, 99237713554195253255,
11016130384263725917718431679, 65956592183987352839702431679,
1208704233936302985631679, 7236843558022722441631679,
28038024319000508438431679, 694504254035462453255,
11053498631226152575478431679, 65993960430949779497462431679,
1212804784015490102431679, 7240944108101909558431679,
65406271281427166198431679, 1206653845990679308831679,
7234793170077098764831679, 1025981173370534431679, 1208704233515878771231679,
3076368698569996831679, 76201929100853255, 1212804326445693062431679,
7240943650532112518431679, 133070527088121631679, 794485857797625631679,
7176461628384288031679, 1206587479906817654431679, 132845926143772831679,
2754559785432855343018384055, 25105057884440021185706952053255, 1617408031679
, 423014432375, 14526650419231679, 87098005555231679, 3631392000053255,
132395638180377631679, 793810968889881631679, 10888527513653255,
132620609381299231679, 11548915231679, 1993766432375, 105290179948831679,
18156778041653255, 959615089508880031679, 401241740371, 105240811680139559,
18145630368161135, 959614743930998536079, 165480852062736784055,
8745931926339090120031679 ]; 

SMALL_GROUP_LIB[ 9116 ] :=
[ 15866796042574258755, 144641785060873556543879, 74156376472184967,
1748570158741639, 153719417477, 191154890887 ]; 

SMALL_GROUP_LIB[ 9132 ] :=
[ 10812922516782434348098359, 98743608422766741452720641519,
1187195744637665281519, 4679816518386494400, 1184076317126287361519,
181490238016841, 129658760806401519 ]; 

SMALL_GROUP_LIB[ 9135 ] :=
[ 4370608013463, 284178236137 ]; 

SMALL_GROUP_LIB[ 9140 ] :=
[ 841529530882919822890631, 5548285821465621411267,
70318349030261449027387565348639, 70318348588264141253433219159839,
23175074789807317248392369951, 7691580097142381333535856415,
277414244789822818079, 92093734454707816223, 67796212198011,
10073963663329055 ]; 

SMALL_GROUP_LIB[ 9150 ] :=
[ 8534529713888870627039, 78090946847079021158627039, 8538494769345945827039,
933172553318627039, 933337479168227039, 8540010215248896227039,
934917214003427039, 8540008658555904658919, 933360521011858919,
78141093442904837837451839, 8554466796194304651839, 1399626351821027039,
12806575255036109027039, 1401206086656227039, 117180163586586758861027039,
12821039609891328227039, 982408453003046125276889547783,
8989037344978041050987303578028583, 195209217365849964749228583,
9870715214759123312769756057827039, 1084720278478033582712525027039,
65369566397847920768959795427039, 117442621324251128217827039,
455470040888130355427039, 105106637027039, 153678643427039,
583018153574828583, 12835259162431488227039, 751771238627039, 38320128230343,
6880127711846627039, 349909698355628583, 62953178854762598627039,
12839731862341, 6878573407642258919, 349782296372060463,
62953171083241575051839, 3201672692541555147783, 576021586538912995584227039
]; 

SMALL_GROUP_LIB[ 9156 ] :=
[ 19772761758871116700583184635, 1657596813699473959419776958573438791,
1657566360399682354607157605111818055, 11458590143355110332851695639,
8132541673324003668440002583, 181048091347300080219656188979015,
2200968803460527311171607, 181039407350313940642142751483719,
181036081301843909535478339790663, 19773710282632267601172686663,
181039406665183887893110962644807, 1252445199712513638150167,
136684176167497248791, 2205432761992764089, 11458589178035389035916111895,
8132540708004282371504418839, 1251484288353475830165527,
888219929459733293641751, 2200003483739230375587863,
1251484182912612299059223, 888219824018869762535447, 240279996204328562711,
1251479879991216702566423, 136789617031028355095, 2159570138979728113256699,
19773025152579518569383847751, 1201296796105667653655,
19773024191457735764693665943, 240279973635449349287,
181041818297018046075004886473751, 11000519338382751279230999,
11022536249346755489, 10999073562733677767798807, 15398608523518878843482135,
100720755062243144852046163991, 11458592306168147879958229895,
8132543836137041215546536839, 20227642467813435320645,
1251964691716452012690731, 6612744628008392688, 136684685848020529175,
97009679415763808279, 300918390151865, 14985735828418583,
2160606254802545036144663, 11022523084167187361, 235872114474255246503,
242615452111093, 235977074808732069911, 1205554300476089, 25760494934962199 ]
; 

SMALL_GROUP_LIB[ 9162 ] :=
[ 17289654046430215, 36228783799845, 158405644102890300423,
312508419188105645, 1451312534053788258806791 ]; 

SMALL_GROUP_LIB[ 9163 ] :=
[ ]; 

SMALL_GROUP_LIB[ 9164 ] :=
[ 42974455768510719519, 31109725752064501443419543, 370446949325368967,
13413282058128263, 512880621969, 1460466051719 ]; 

SMALL_GROUP_LIB[ 9196 ] :=
[ 48683550466956311, 448224592921021774871, 2565331331702319,
4924584715672651367447, 4121873356544381933101079,
1994986744100375976764059923, 348572056968401142095338646977847,
44555842691681912855, 2565329638649391, 4845126989374487, 278870006943,
526539463703 ]; 

SMALL_GROUP_LIB[ 9198 ] :=
[ 172690113271873427945232335, 14610136931255887605810165588084719,
131489856505170365244171522254227439, 1588403667323815748212190267375,
14295483420956613925898791340015, 1800901790400949158773377007,
195792767577003273865199, 1588403667238087656512454313967,
14295483420870885834199055386607, 195792758256830106683375,
1588403661959686573365759231983, 172690199013842542689961967,
18774746033570515457999, 172690113868935884081907695,
1554194762013401874263099375, 21286454737263511535, 2043398092468111343,
291752886537673277, 172883221931383304579565551, 1554382505946675191338092527
, 18795749910456236885999, 168991366785352071497711, 195811429469837379094511
, 18795740590283069704175, 168991357465178904315887, 21288478939734722543,
18795166725415108986863, 2052718265635293167, 18795157468521488062415,
2043461372014368719, 8047651946165126778893, 1590179875324849084629180073967,
14297210289697503859034111199215, 172883307664103389208627183,
1554382591679395275967154159, 1801073528267235847208028143,
291816166084268045, 172883221936011689472673775, 1554382505951303576231200751
, 18795754538841129994223, 168991371413736964605935, 195811434098222272202735
, 172877943534928542777591791, 18880899445499738048495, 223893189412847,
33683046521405, 2043462238857447407, 18372622586204243951, 2251067694106607,
158756122253885, 20714614071774005231, 31949360343865, 20705357178153080783,
1458183028637126669, 190533033015075577120751, 291687625637632009,
190447878850656506515151, 13412364746470923203213,
1752522837717277699349530607 ]; 

SMALL_GROUP_LIB[ 9204 ] :=
[ 92233991439843729815530711, 50086377612404071272256380775039,
107560937560608404611035, 198076080566626841, 107502349241539385706459,
11679960387476774875, 10021274919463139667159, 5441749924622172888446757503,
64237016359220682715, 5840286381545267455, 92235814308892888172536013,
50085866306222490472000658698619, 591307769348500092075995,
1088893105661203785, 591237502952524977853403, 698734202226340503349211,
5442396709085161828327172059, 1825838238078293855235, 296943405093654988,
24195935902233, 51990616947397178620891, 1088892517565539657,
5642352578122533119, 10837762993527, 5648697290201778139, 118375255829017,
613047723024347 ]; 

SMALL_GROUP_LIB[ 9212 ] :=
[ 7305331443034839655, 67346449583042127477351, 155547681684761823,
471068591880804320555623, 620395493562835309058332263,
121597527345436423998062050723, 52647347236926642127560884238847303,
12893647295939153440359, 155547497141935327, 1399657198125535847,
16898850267503, 151878746217063 ]; 

SMALL_GROUP_LIB[ 9220 ] :=
[ 8247919273644916544174875259, 77581335737922561839, 8424781209601839,
894577763478773607195259, 5846555745024680964403,
76064070951911266587873036961839, 76064070240606049153781516961839,
24850313127501331012549281839, 8248007174085978087989921839,
292327739322301441839, 97048048559562241839, 70206510291143,
10523812582401839 ]; 

SMALL_GROUP_LIB[ 9225 ] :=
[ 15518927428959, 77405061122686523 ]; 

SMALL_GROUP_LIB[ 9228 ] :=
[ 107363088122819578056583742207, 590224844717153060351,
11635061935812612817748735, 107368351543161986204697626111,
1264141578982008030719, 5447861645739168588890879, 4931293364964753408,
64034457690047999, 1260854519495380698623, 189253439520001,
136629850352911871 ]; 

SMALL_GROUP_LIB[ 9243 ] :=
[ 2978934988426019, 331655383331, 27677382125854499, 3856750298790947,
9462210882960419, 39088385789, 418122554147 ]; 

SMALL_GROUP_LIB[ 9252 ] :=
[ 393256017454301055234932991, 3638404673416440296505260114431,
42838582632807279952383, 33662520038448903661312256398918143,
396428565917818543822406143, 166724454473923494145,
396342573898056864815448575, 3667757091867173200696545706495,
132039259945289281613841584619777,
2881515847450058405931376254296435476988415,
313958187857501312562504601524391444991, 500025870538252419072,
393258860081454308806164991, 166723469311505006849, 42505279739003635040767,
18155135997968129, 4593812357406327295 ]; 

SMALL_GROUP_LIB[ 9260 ] :=
[ 6000628408794207256071, 25726969770598160197066435655,
300031371671779175735, 99607278053763762743, 71435479114233,
10754684241930551 ]; 

SMALL_GROUP_LIB[ 9268 ] :=
[ 93136317878831041979, 18524364379377121979, 30739072428575,
1998039700801979 ]; 

SMALL_GROUP_LIB[ 9270 ] :=
[ 75477630459361889171, 699677572362282820641683, 75515255413299803027,
699677535098407468626959, 75477991537947788303, 6486011095767079683525095315,
700026399498393305776019, 8151472734329747, 18271565702925203,
544091020898877, 169420211407864832915, 182305823327107,
169382947532512818191, 5031529755356004981, 1570525433262186817990547,
1677419188477355299, 1570179959873798100586871, 46642263897121049310405,
14558770766597027490707731859 ]; 

SMALL_GROUP_LIB[ 9275 ] :=
[ ]; 

SMALL_GROUP_LIB[ 9276 ] :=
[ 12065191351309230883159059, 111916714974214024656757307143,
1304145667869523207687, 5061022012387506288, 1300772132474266465799,
193227129566477, 140226064124618247 ]; 

SMALL_GROUP_LIB[ 9284 ] :=
[ 17555467105229762099, 1933986369984482099, 9023918443899, 208172462402099 ]
; 

SMALL_GROUP_LIB[ 9292 ] :=
[ 437650885916900210099, 4066652992806059300002199, 1009071676800002199,
47207889600002199, 1078400009921, 5072000002199 ]; 

SMALL_GROUP_LIB[ 9295 ] :=
[ 32520957 ]; 

SMALL_GROUP_LIB[ 9300 ] :=
[ 4945755755436139827559229468121891119, 531801695455212285552294873891119,
9223166105090493792768029819, 991738242184425984029819,
9223165650161448094464029819, 991880471720745216029819,
531801695785782213431496153891119, 57182978055794937682905891119,
992370945872577024029819, 991930185825403392083759,
4945755770807774583930239425115431019, 531801695918891941247051867431019,
9229050690566557469184082019, 9229049794925002862208082019,
9233148861983379444480082019, 85830171422268566166430464082019,
992371042044869760082019, 106654045372416029819, 9223166105091787003802811029
, 992370947213190554811029, 531794932325057690381692377891119,
57182250801953549319129891119, 265117104382689792029819,
46019459186749627462924032819059289812819,
4948328944811921009204018686041812819,
46019459186749629512457585704819289812819,
4948328944813970542756904446041812819, 24728372790609510663138566691417812819
, 2658964820426307349766318169812819, 2465592169843068701184029819,
2490183472989229044480029819, 22930007179540404985165440029819,
265117437666000000029819, 11376157826840042270186985963671424783993,
105798267793901042072157396462519001536053193,
11376157735342716931679282845133760053193,
585023189230230907708875931776053193,
1484498797077094597089543331462618593093,
3980223034971555720936144924850826268914265812819,
427980970437846575798863279729692541017812819,
427981003197326352034133509975062942297812819,
64401030938132143185962651444856584816490993,
513305796841362799015542859825899113078937053193,
216616857028805257185696532992029819, 3545530934540237916528757248029819,
106657820029440029819, 991916016826878720029819, 106706742204672029819,
991915969290013440083759, 106659205339392083759, 9224818954826039883648082019
, 992371042042070400082019, 28458338923008029819, 264662175336991488029819,
28507261098240029819, 2461358230539999573888029819, 265117437663200640029819,
62905719602658521434290048783993, 585023192304729223580922949056053193,
12298060820465691003648053193, 216262519317213557493507405696029819,
23139678561522702001112448029819, 3545530930306298613459629952029819,
2469690575809015804416029819, 10250312346056028672029819, 11657281536029819,
198349069966226649917103, 57183903651592967720409891119,
661162027074048029819, 17163818804791347248008666593093,
4948328960183422655847213087321812819, 17163818870905332824968666593093,
4948328960185472189400098847321812819, 9223099365507010825690593093,
2658980191927953992960719449812819, 6151906380108925440029819,
106637757202944053193, 30743209526269268736029819,
57212729335323337389696029819, 220402123227648083759,
1844646347139572338140213033, 531810303959814061433453147431019,
6149702580589693440082019, 21330920339712107133, 6148806939035086464082019,
10247873997411668736082019, 57192233999510118654720082019,
159623514884559526792783690352490993,
46019459329705830699380519657736345029819,
159623515499419592658511690352490993,
46019459329724891361422357225736345029819, 85774824099214364191914608490993,
24728515784929972136194790750361029819, 57212734638326962023936029819,
198448611310836864783993, 57212729335560305033280029819,
476518469013016240544640029819, 4948329418868899122712245023616029819,
198519693972390144783993, 285911848594877528934720029819,
57233224670852194243200029819, 532078432136441050211736192029819,
9224553858963907339008783993, 532078382818507584154905792029819,
2659438873305353752242037632029819, 23273082710839315582879992302819,
14143170441805274197487790093, 265117105861031834811029, 21327857093402837100
, 269525178917830656029819, 163523830579200053193, 3105423360029819,
17837093817056468053440029819, 198448611302438784783993,
1917966840072107904082019, 21330914740992107133, 206185587837696083759,
764785152084571, 1917967077039798144029819, 21338558860032053193,
206232981375744029819, 2293608960030573, 22168318464029819 ]; 

SMALL_GROUP_LIB[ 9306 ] :=
[ 151878746306119, 30396839951515, 1414565727633452615, 3400860778163,
1413296916611526391, 282664814154225763, 13163950038012511947335,
31413235831142939, 13152141213831291234967, 2630478503917227467347,
122503719058548991263012935 ]; 

SMALL_GROUP_LIB[ 9308 ] :=
[ 489860449941735404191, 816148160768829844065156455, 9420116192794701399,
847809669349133143, 5685952879901, 91007369603671 ]; 

SMALL_GROUP_LIB[ 9310 ] :=
[ 526539479831, 155035294691, 4902772055483159, 1442210569007675,
45644825046675539735, 93117942129, 4901595625574531, 1441777147469735,
45644816811666108959, 13426981570955445107, 424953321267076567931159 ]; 

SMALL_GROUP_LIB[ 9316 ] :=
[ 19120074839636430806993991, 197466155167910015, 21281482213503,
2052355138578273684551, 228041091996763040207, 178396503631318841488563181695
, 178396502673628508498705979519, 291024081179511032520579199,
19119743600189115563186303, 3353281147385022591, 220646949456644223,
2638290765767, 23657038612607 ]; 

SMALL_GROUP_LIB[ 9324 ] :=
[ 4021901760739339572347139937418240135,
349651976847874453417774782579840016219297511,
125908311250575585584099056796334705300920039,
4021556773766974490329068894947179559, 1448236620629422094055504297879993383,
5630455455808864494587273709523396631, 68462843358832704777244163111,
37500212017146552277184689140083600053991,
13503679885304116859587549952663468037863, 603866951502452389000745294850071,
37500212017133631544159398220598610417383, 431312424664170749246590949325863,
46258300611207032742673715159, 4021556773737212352333679739626388519,
1448236620599659956060115142559202343, 431312395298903824997663929859111,
155323532886038917632416761576487, 68462840166840204421317573671,
7342647293302015546932263, 431312395295711490127966890687527,
155323532882846582762719722404903, 7342646950924315590179879,
431312394902032753857435628534823, 46258303804048051629959478311,
64762414193435148798899355827, 5630248461386735445914079387456202775,
5629972439220489781095418452433790999, 46262669385318047082992417831,
16659262452063562027122080807, 603866952497928812628688778127383,
7346052107771525587844135, 603844751328478874494624750725143,
603815147921545620009568880388119, 64764795420367709157107263511,
603844749942728871773812975822871, 4964825681422770329664551,
603844749939578763555281620975751, 4961675911017452758159319,
52496436653969921297699064332208628086503,
52493863023291846718929869774059660687079, 431353129353470682456739465444391,
155330963107805863795804443032615, 5630455465090688245304267343211312871,
205410351685705149754286062631, 198584522727582332970905,
431353129348703973664511066946599, 155330963103039155003576044534823,
431353144032933434344243133987879, 155330977787268615683308111576103,
4021936578091760641518832735063424039, 1448305900017181872324274586096024615,
46262669385829331111212792871, 16659262452574846055342455847,
68494589852694364142487256103, 68509274082155043874554297383,
638643600231314652192969694690343, 5630248461386737021981200043034588903,
5629972439220491357162539108012177127, 46262670960203245283727948839,
16659264026948760227857611815, 603866952499504879749344356513511,
7347626992969726323375143, 5630248448466003996690280558044952295,
46292039419462363907786587175, 46292034652753571679388089383,
46306718882214251411455130663, 431626975547066038268597231467559,
4964826192706798550039591, 4961207707599431175835607,
46258300654277717083935276071, 16658465560662862154157587495,
787500092345083280423, 431312409979983430182381848530787,
22027131944064638558655587, 4021556773833069316851462392597403095,
4021867298770095692137148440982279639, 68560684676909837998236124631,
198882478413162758877125, 68462850447509320299309974999,
958564484407364927498202924503, 958564484066849208004411409879,
639738926287631907933039777564119, 639738926287291392213545986049495,
532135843741185391655, 21293788849055514689, 46262666193325546727065828391,
16659259260071061671195491367, 4961676253457565418044455,
1786707684897453335690279, 7342860115271169661254695,
4961675911079865461292071, 1786707342519753378937895, 787522562032725441575,
4961633688922414403075111, 532478221441142144039, 4961633351109200619556823,
532140408227358625751, 595413033889344204662681,
431353099586565978275355746155559, 155330933340901159614420723743783,
46262669385829322752368622631, 16659262452574837696498285607,
68464827714698974987166465063, 21298353335228786585,
46262666193494453055329451047, 16659259260239967999459114023,
4961676422363893681667111, 1786707853803781599312935,
7342860284177497924877351, 46262272514758182524067298343,
4964826192698439705869351, 6945882296294977033568435,
64763409670364988345332361239, 3937292904937593814055,
64763406520256769813977514119, 787522499620022308823,
603854031766479588829859366876903, 36716086252088350382013479,
106427158383270389657, 36711319543296121983515687, 51395549003975854050556967
, 342340788214758968228651777063, 603854002394869545803863689738839,
7344477222501996048913559, 5630334992190655690221841435296779303,
342340804005833083167789071399, 992326701253937656295417,
342296343423370447830349823015, 479359334888468088553642966055,
3191985656550387933864530940050471, 63848989957413945493,
7342859946301871438402711, 68479905622557987211306046615,
992624620557370139406329, 479212098914787234375542291495,
3191985656550388102770859203673127, 342443577822335005956556504103,
9252453864414359447726518265, 3191985509315989138212732996992039,
4469546438500076970918065116593191, 17256936822917482155067828608997,
52498368153580988771135262795012844763735,
5953435911612614617398033058876570199, 1126325710007446657353653535894935609,
489827843679004030105180603849094409364425767,
388568851454766821808034138757306999622695, 46262681984910731290132628951,
16659275051656246234262291927, 198882478396445070536645,
4963250800634417212544099, 63848981598631921008, 532140478998905928743,
191624759505114414119, 2425179321974849, 57205700476058663,
64794168754439893123493313575, 992326701237219967954937,
6946031439688435307877527, 21289081705275342997, 6949181547906966662724647,
106427141665582049177, 744962591367883706327, 2283636227363965,
745300404581667224615, 11413723086372929, 79889374528977959 ]; 

SMALL_GROUP_LIB[ 9333 ] :=
[ 80041180559 ]; 

SMALL_GROUP_LIB[ 9340 ] :=
[ 6318938714894410043287, 27561815814741538782611431511,
315946885265795607879, 104894698410712894023, 73941750247541,
11228582897543495 ]; 

SMALL_GROUP_LIB[ 9348 ] :=
[ 499979582069881684066406464719, 36076468973509017602319,
53485192776120126771264719, 94129002905603177, 36066150438685900802319,
3858167667097602319, 5718193436688486491239, 53453682527778236108864719,
10931354533888002319, 53453672238405615719488079, 643082498867227279,
499685024269670766526566402319, 102197907308399820802319, 266648793907262457,
102186302877168435202319, 114208148612494131202319,
955346037519233312358402319, 880541241360389056017, 47051721936510400,
10485760003177, 5728639779468083202319, 266648702156862457,
611719125401627279, 1690828828761, 612819710771202319, 28534374403177,
65444249602319 ]; 

SMALL_GROUP_LIB[ 9350 ] :=
[ 482051157406713, 76599674906561491871, 8192478989530015,
3005260481679081273, 716206960379086357148575, 482463407161145,
76599681915914564511, 52613362681, 257832268703, 154753053689,
2412105374380959, 51673840115, 2410353027725631, 1446253128859449,
22553193006076277663, 482153230016307, 22536803307795551039,
13522467707194241849, 210872354652806719746975 ]; 

SMALL_GROUP_LIB[ 9372 ] :=
[ 164910490739545605599, 18325077726860844239, 1545724858943665164805599,
2322960923181138179, 1545541130637253590405599, 1888990749415401990405599,
14486533378023514055942405599, 774246590011435100, 167052422811033244805599,
2322959417273938179, 17808986226617644239, 27751718448931,
17824627009056005599, 248044428809739, 1900239756805599 ]; 

SMALL_GROUP_LIB[ 9378 ] :=
[ 19431350681871439, 39775191580281, 182224772216381711439,
351185690559538121, 1708903939448164659471439 ]; 

SMALL_GROUP_LIB[ 9380 ] :=
[ 64475727529598682263, 5416041589582981326159, 3403761828701703288058485839,
355613674133603933540209139, 223484397343994982149663478711479,
38685970311996417563, 605040600538364322423959, 962736618884684495,
604782345579605374339223, 2540045705192670894976151,
5675280833046206945031335063, 117407898602546085351575, 962735496794696399,
12514081261334523419, 61714949371353, 12516830702402489495, 102751383213011,
1333844398720151 ]; 

SMALL_GROUP_LIB[ 9386 ] :=
[ 917074223, 8593457975855, 594589889, 8587330738523, 80658362668311215 ]; 

SMALL_GROUP_LIB[ 9387 ] :=
[ 261006442961 ]; 

SMALL_GROUP_LIB[ 9405 ] :=
[ 154685133764296401847679, 16596674963916119, 16431394352165375759,
100615828959, 185994069335 ]; 

SMALL_GROUP_LIB[ 9412 ] :=
[ 8523507643779676676579, 523761158369152839611,
755881346282983599982615202159, 755881339474351690163264162159,
892238886347245642795682159, 80223263097973487137442159, 10072037004180482159
, 906583670300162159, 5945840672231, 96241996802159 ]; 

SMALL_GROUP_LIB[ 9414 ] :=
[ 1871540896132969248860148887, 198804004365689284211351,
21134190031660119671, 198957173018220046231415, 21134264873170617719,
2252373078119543, 19808053112090231, 40390657003711, 186470530345191448439,
357988328142841999, 1755433598768527576242167 ]; 

SMALL_GROUP_LIB[ 9420 ] :=
[ 196123940435862323445342807947, 17408815232698662847104905595997129775,
17408815232712229293727876921419107375, 5613949836893233049617461042220079,
595960704582890854442307554351, 1847487518910293517686619678182447,
1484250088368021354996095, 157085736311897088383, 1479744673223288550678911,
157564063035479777663, 20820179558027078326691723, 402978028572127247636595,
1848069559762317720354356665519151, 1848069573328764343325682087496751,
595980046843422532758875409455, 196126095907937011998619339823,
6716297368954233839999, 196126091430086583691014563447,
2238922245861387214439, 3796053021930692333025693663,
17408815252961032923787838096693394815,
17408815380756960112177723571722386815, 5614132041265041873081417673080191,
1847507823452766485172553590635903, 63276504161817622315426175,
42785138403154366287, 63267521846875706695999871, 105444395031084412332761471
, 596064669204255251109249638783, 1484250090978581924752091,
42779000779194317040, 17029247344337279, 20826511573350108483871103,
42785055622090886991, 2210406919006663876199, 1525536741358501,
2210882224221429522815, 4552958491409799, 234637011498983807 ]; 

SMALL_GROUP_LIB[ 9425 ] :=
[ ]; 

SMALL_GROUP_LIB[ 9436 ] :=
[ 1836790317442310394837835343, 10716500847142897631, 1138734560970719,
194656066257549998530127, 1836774724192003633675569119, 103758590482764007391
, 20639124044626528223, 33036353779637, 2186517185300447 ]; 

SMALL_GROUP_LIB[ 9438 ] :=
[ 77000007355463, 726723841241975879, 77432138959943, 6858819616033225215047,
730807219533941831, 2717295400896651992763648837,
25645833993662648056860881931621, 58277231894066062495077,
629946124146157932121931811911, 65453399500143780545203271,
19347206353811424485177723975, 6935092127152408759367, 113340833246128770119,
8408534087, 654243204173157, 734805269264206919, 44877352007, 36723625053,
423728854404167, 346700595662181, 3999157723908443207, 4108730965,
423304860615143, 346341831688965, 3999153059976625607, 3272160264276069189,
37744050604134764596295 ]; 

SMALL_GROUP_LIB[ 9444 ] :=
[ 749430089713042225187, 1452568874320589319203, 7079073297003578406883673,
5536740177300556620, 79436608707024419, 1448878229205649836323,
207629512920115, 153413782590548003 ]; 

SMALL_GROUP_LIB[ 9452 ] :=
[ 248863814515425007779, 326938847790102044119627439, 3659477675077488287,
240840393245752223, 2796941413353, 25451006134943 ]; 

SMALL_GROUP_LIB[ 9460 ] :=
[ 24727264798817705698895, 60788360463674223, 24720256901670879989327,
2613135175791765071, 6959046728559, 7839229175763412559,
574890630051252520911, 233853623319372184797173231,
59822734711908040254816975, 24334064795367116546431540622063,
2613134975050043051, 74187020314134933816911, 182376414934713099,
74159110249979519154767, 271914512595179547733583,
701809212171437501395660367, 7864403794829653484111, 182376297835369227,
830779587690280619, 6440463930561, 831332028937702991, 19287934790511,
87807779432015 ]; 

SMALL_GROUP_LIB[ 9468 ] :=
[ 50371620064162432745007, 477019612261209925440200239, 191569020009258580411
, 476918507246493851702708783, 4516421688883983359148705642031,
162591186253176781467434230362015, 404865697852178003176369428699646144655,
574541453406558091932, 473292513773541054819705391, 191567913858131306939,
49988645971543172306479, 20384785059891011, 5279343287297130031 ]; 

SMALL_GROUP_LIB[ 9476 ] :=
[ 1135937308163804867, 53161535703260099, 1167294851667, 5600936970947 ]; 

SMALL_GROUP_LIB[ 9486 ] :=
[ 15118264051228379, 143411772402950428379, 15291847699228379,
143411599614009640559, 15119058758440559, 1360404072943933046428379,
145058426322307228379, 1617408028379, 11548915228379, 5975078428785,
109708640006428379, 401241641371, 109535851065640559, 56656861344053145,
1040696324663414428379, 3777871622831131, 1039057075982045205959,
537446962761437583945, 9872045336334966062428379 ]; 

SMALL_GROUP_LIB[ 9492 ] :=
[ 27411071068623480246793299311, 260185886583372095345695198490847,
1249034570528327418836447, 1249653978202211636490351, 131587700031295075231,
1249029089618623098582495, 131588204202003854815,
260201937381456536160815917920927, 2941254931957029053412255,
27412762050366256558545138335, 14003989976724383, 2742257798195732885,
2940010767238484063171487, 309735668780470645663, 2887714583637921144137071,
27410188065541989162763514527, 1548549961963314099103,
27410186826597157498615705823, 309735641710902441439,
260177505118124528869625379697567, 14700699866921466022867871,
13705738601589194613, 14698836360302448343004063, 20578249058960740790055839,
139539043136831827472671585183, 26072658283021132926981, 8222511065651572480,
360927576744341, 2889224926807605397959583, 13705722811007713141,
304254732006582187487, 290997858805137, 304385243418323858335,
1445966104256917, 32052624610046879 ]; 

SMALL_GROUP_LIB[ 9495 ] :=
[ 1768200652581785939, 186701769305939, 13006898585939 ];