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

SMALL_GROUP_LIB[ 12506 ] :=
[ 4711822405309657439, 118424779416263, 376764662049119, 9513360551,
30152481119 ]; 

SMALL_GROUP_LIB[ 12508 ] :=
[ 46232523856707742791, 34116808674532087001501655, 218068358990762439,
4148334653218503, 295858474781, 330622750151 ]; 

SMALL_GROUP_LIB[ 12510 ] :=
[ 420700069026260465267, 5262957484238330669162099, 420929666626137525875,
5262957256277533391745575, 420701705828860109351,
65839598127630127648415658611, 5265830018240019166945907, 33671367765976691,
219995367831596862486680968307, 385042895972670537921561,
17582708960085357205480751, 10260705495508260295, 17585560977620095431422579,
30778817256209703417, 1405492305223556002343, 826409143014127,
1405720266020833418867, 2466414878785065, 112346799177971315 ]; 

SMALL_GROUP_LIB[ 12516 ] :=
[ 4197041279599197453316129414172343, 27165603490893426033056007,
335334074752599844692404653751, 14567213119176354449,
27156896651053660999997703, 2169774506076883540231,
26791776471191733364357027, 335325882985667596493919080119,
10848187724915935435015, 335325874306560883053515876711,
2169774397008270044407, 4196938751448615466279955146812679,
135788963909522474267990279, 72813701985574724169,
135775918209727427617020167, 190085428469064925961214215,
1699534672291653778073934584071, 182552471065700640352965,
43684465595914413808, 1454248181148305, 26801111173351436064512263,
72813638362216800841, 2140654499618151771383, 1172487596146893,
2141347885150902376711, 5826081775594129, 171028675149060359 ]; 

SMALL_GROUP_LIB[ 12519 ] :=
[ 133318780369 ]; 

SMALL_GROUP_LIB[ 12524 ] :=
[ 795049975888100290099, 9957207711215992100002999, 1878164233600002999,
63631620800002999, 1488000009929, 5072000002999 ]; 

SMALL_GROUP_LIB[ 12525 ] :=
[ 68178967176299009 ]; 

SMALL_GROUP_LIB[ 12532 ] :=
[ 63762118611644621433839, 2934681608665880006411,
10022558447856818400277340162879, 10022558478003127217503641602879,
8863167145024558263214082879, 799066921738570343424002879,
56434953104916482879, 5092340695695362879, 18791792697371, 406093824002879 ];


SMALL_GROUP_LIB[ 12537 ] :=
[ 11256947892110101286951, 141128355718912012430907311,
141129963628489675043919791, 1963329976446825887, 897928017356440223,
1036046686040261279, 836110607711, 71658933195167 ]; 

SMALL_GROUP_LIB[ 12540 ] :=
[ 4008723138820850737875819335, 4008723069952676758528777031,
319674891459665287994183, 319674885967356118997831, 319748679179016353913671,
2673418718503348872023033423, 16829772605936377846263,
4009648436854450890512983631, 4009861551654405421869237839,
50280992474859510843342908491343, 319765673976345571018319,
25492421787103796039, 16834693007371288282785, 4008723249308804168103449603,
33726182681996794043207, 50269387297138506558375211705247,
4008723070844427493184480159, 6934106357111084928104855011461397199,
552959040505725089260879237282511, 33675198279769558655603,
422926603614206274872187719, 422926330824686419104676679,
425483708424141513717898055, 5303499609322121997126614047559,
33726204437268827093831, 1342024708584414159, 319679811005037006871367,
25492811883912665927, 11220593968941712611831, 4008784829954387559025157711,
1342089341605550583, 319679812356936383784527, 2683998132176984903,
33657314508017447000903, 2689490441345981255, 33657310442275642598003,
2685424699541578355, 422062723924623087616850759, 33726204437138220153671,
115909305834447, 76477209792411900743, 16825300162757821331679,
4008784761971122186791822239, 2320870665743918947056409047,
552959814112453843994076152298191, 25492807565176513139,
959297020713068685859655, 4026261598955138187, 959024231193212918348615,
3516401830648307531569991, 12029584639745141295940295495, 8498006822764728287
, 959110077904902156109391, 4025476982115703287, 959024216285492968875599,
1172139016240024325129807, 12027240376930733012733855311,
210989263817692385179839021, 50270160915117826155928479090779,
29103718148428693249917598374099, 6934116068970171203790152374305884039,
319714689573143137177235, 12029585099493732246273104711,
50489318809546812286155, 12026163859198139492199942983,
44101444203664863738913610567, 150850997147651405191525213920071,
2236265142356370081, 319679808290219380928147, 532794608244750737182355,
4009222207246409173082803859, 50499157120161935770827,
44095678956365844782207331143, 12031928902575812507182283591,
150850997147651421454488077974343, 50489318809677419226315,
12029584639776311976577051463, 73492734649030808438504160071,
1891671504231548621120703227207744327, 633136037297367698374927563,
150850991382404106172568507640647, 150880388438096771136224804469575,
553032110313957412009880444074823, 33675198348743086002281,
1341730485979006428, 216215435877191, 1196533332405600315285572423,
50489318809285598405835, 95366327754192441290387, 1341873143583974049,
95417316222161481049679, 4025476720901822967, 7603614823992332255,
35681816072431, 95417331129881430522695, 4026261337741257867,
7604970071260455539, 107010619646817, 7609035813064858439, 320997030403023,
606312244747079 ]; 

SMALL_GROUP_LIB[ 12546 ] :=
[ 129373679324291633971266239, 3961511861888616897655,
10299863468942951361679, 21053748020222441, 10311946382996275266239,
315758968832126455, 820967918796888079, 1690828889561, 821930930995266239,
25178931267175, 65444249666239 ]; 

SMALL_GROUP_LIB[ 12550 ] :=
[ 861829745870403632812688499, 68671692903507812688499, 5472298625000188499,
68677341406687500188499, 5473306562500188499, 436500000188499,
78455152830218750188499, 75330187515563253, 6251406187500188499,
6125000249753, 498125000188499 ]; 

SMALL_GROUP_LIB[ 12556 ] :=
[ 154018744330330525319, 1933859858225866582858703, 517081253856807887,
12307370814409679, 564995953697, 977778379727 ]; 

SMALL_GROUP_LIB[ 12564 ] :=
[ 57549488951194374208122752321579, 723051779182805605885651806345031799,
1597559644989075729804680135, 9214659341864371581959091227,
127153596432503926676423, 1597557543921662376836258759,
127153763348167702141895, 4580521647223415156927088683,
57549673975268981114391775998071, 366694068223013133212615,
723054103825279466351559492137596871, 4607879692464556999771937735,
1050872601003663309325, 4607144319669020782598773703,
57893400456096427255121084865479, 2084162456094941583942933352737949,
114142655714080679360618347652336856129025991,
9138710393376909145685415816960440219591, 1598292975230121503219495963,
3151933154823513664368, 10139064977672231879, 4580746537413153868327574471,
1050868027971779049997, 364593000809660164791239, 84274444724449477,
29017193886163917767 ]; 

SMALL_GROUP_LIB[ 12572 ] :=
[ 18320090743998750682902385087, 83760020592980396671, 6672004061071999,
1457228748813492229722559, 18320280295687203284779534975,
582116106142209804927, 115949099674014583423, 104411192036933,
9220410558122623 ]; 

SMALL_GROUP_LIB[ 12573 ] :=
[ 2162507755258919171879, 13687182723815 ]; 

SMALL_GROUP_LIB[ 12580 ] :=
[ 5487712648334607848147, 2351866168368482449407,
869501107606573397500482799871, 869501103687045733668869359871,
1094635500717041130713630975, 69035431566035893943257343, 6916848236831052143
, 470355787843393553139, 868625403595225237581572624975,
868625399675697573749959184975, 218931489368881211803456079,
372274792170968482575815708475, 137604161160178648529883110915199874415,
137604161160129340871872109218124674415, 173279023957196668803580489337550191
, 372274790759938523596434870075, 137604161160178596321774628678108853615,
137604161160129288663763626981033653615, 173279023957144460695098252246529391
, 100589974270992464330264379, 10971373002904929265564622620865903,
10971372953597271254562925545665903, 46819583813256305548546326541679,
69035426032145213461385807, 1383397417304083583, 29586476815563204997320507,
10938323933690709016962184530507119, 10938323884383051005960487455307119,
13770514599036056946108236182895, 868465729116409509727010698607,
87037031337772709712239, 186991496421552555, 87013952201958997528943,
295846384811310950846831, 1094925854229049016978968943,
5494257412311272624495, 186991442243858859, 436305424333622399, 2979773173983
, 436745285289054575, 14867907089451, 34681463640431 ]; 

SMALL_GROUP_LIB[ 12588 ] :=
[ 102468233397345193994737239, 1289870122003336803296101799983,
8156085197117061466159, 23324141031584737728, 8140537397426787649583,
656211793067561, 646677420639914031 ]; 

SMALL_GROUP_LIB[ 12596 ] :=
[ 368949067521765851, 7983404011810523, 437785113327, 632086408667 ]; 

SMALL_GROUP_LIB[ 12604 ] :=
[ 3756655949764565401031, 47348897639151902007434159, 6351487825059646383,
298539276224891823, 3689228158925, 23657038613423 ]; 

SMALL_GROUP_LIB[ 12612 ] :=
[ 6821383773544200002099, 8249890982419800002099, 86039554635129039107626049,
23547506657014147500, 541123934400002099, 8234194284773100002099,
661235401101451, 652872717000002099 ]; 

SMALL_GROUP_LIB[ 12615 ] :=
[ 328531484884003030651391, 1175258266280447, 3140426506473983 ]; 

SMALL_GROUP_LIB[ 12618 ] :=
[ 13682166366886892000491399, 1551526200342510701, 1084337157534400491399,
130614400979301, 85936592000491399 ]; 

SMALL_GROUP_LIB[ 12620 ] :=
[ 231106841439485762519, 18349048972802519, 38537505462731170940103,
306882605628558028342797932519, 1926875104508975042519, 640391737296860642519
, 247006428876273, 50737136788802519 ]; 

SMALL_GROUP_LIB[ 12627 ] :=
[ 80041180919 ]; 

SMALL_GROUP_LIB[ 12628 ] :=
[ 10434724523475046734439, 131769708221536056217920399, 7817798523289608399,
131769704746712898048576239, 4343250511462414639,
1663987875459777096604160008399, 98770107760731750408399, 190768801382462609,
98723162707843481608399, 603303970917207244808399,
1247268920801981097574408399, 10441889195828838408399, 190768709632062609,
826608418816014639, 8401715215965, 826883565158408399, 15112601609569,
65444249608399 ]; 

SMALL_GROUP_LIB[ 12635 ] :=
[ 16315123035887 ]; 

SMALL_GROUP_LIB[ 12642 ] :=
[ 13689513535302983881943, 2187860298868265806507634556119,
2187730510729641169289236675799, 173062830159229937539820759,
173052563734722372501187799, 173065567818292595535707351,
13689730464773354597591, 173062830158857369248814295,
173052563734349804210181335, 13689730092205063591127,
173062830105090645105982679, 13688701819237548813527, 1082796220333016279,
13689513539635659605207, 13688701451001933530327, 1082877520734618839,
1082873188058895575, 13689676325480920759511, 1083245756349902039,
13689675956785272635855, 1082877060701778383, 173064888100289849678543591,
13694386623289584937703, 86185117172951, 947524680954418391,
27080477906311835, 151434211380852657652595927, 21646072756215439254715607,
11978659713111031360727, 1712235205545992727767, 14716318775769027247319,
11978659340542740354263, 1712234832977701721303, 1164081583034127575,
11978605573818597522647, 947897249245424855, 4328666921962947491296451,
24202241622869497420865180863574231, 3459480022625242736012130868801751,
1914431389252418731428320108759, 273649740759755016442317103319,
2353089251200288536488708518103, 12981209496938762051155139,
24206945196928509723514807405523159, 1914803448583142691454394032343,
7056663310212591186115250467031, 342403712752723567811,
1914431389247708617361073113303, 273649740755044902375070107863,
151434218421716368728766679, 21646079797079150330886359,
186132672934283076908452055, 1026832013257059476675,
1914803448578432577387147036887, 274021800085768862401144031447,
151463648838638055172847831, 21675510214000836774967511,
558192003658243102982375639, 7186632578436734907587,
1915547478268911545892688294103, 274765829776247830906685288663,
151522507344493952829923543, 21734368719856734432043223,
1302221694137211608523632855, 151434218418581598382716119,
21646079793944379984835799, 14723356504709757367511,
151463648835503284826797271, 44153773426396201448663, 568472833476512963,
151522502631617683527883991, 21734364006980465130003671,
11985643675327618649303, 1719219167762580016343, 103007569540794902535383,
151433531665428372433293527, 11983318450087899562199,
54800894140731035079089843555, 692792903727174795917854043247299,
11978661186312783897815, 27114788014128323, 947529013630141655,
135440379904066775, 2275073051291, 11978659897283206554839,
1712235389718167921879, 27084810582097091, 75077407982807,
177450739573599841398741719, 1712018292950476844387, 14036600773424653548263,
135363119430187451, 1109946564726637007, 2157974003767,
14036603351483807944919, 135423074293953731, 1110314858891295959,
10722954287771, 87807779509463 ]; 

SMALL_GROUP_LIB[ 12644 ] :=
[ 1191631054629631025051, 300689372117386927179,
190910762442441980410681355471, 190910761963588759635349204175,
414390658761957274431220943, 15066985550487335561047247, 2592035726374235087,
94444566755883983, 1885093514559, 7457656286159 ]; 

SMALL_GROUP_LIB[ 12645 ] :=
[ 479923426831519 ]; 

SMALL_GROUP_LIB[ 12650 ] :=
[ 1069945457095503, 13534273470631319075, 1073976999110179,
171208559153073468338267, 13585566970127073371, 126655693647,
3205154069787723, 932339194643154062159, 73702705050219343,
27033289767248768199, 11794090812254093833025359, 3207180230524103,
932339241252272037711, 258588673099, 3592217235078049826975055,
121641794348288467823, 283822305065119019099, 3205655745013329,
283969741879226365775, 9615952010489031, 22436544541562403, 253971021725,
22448196862282575, 760593658955, 1773838938959 ]; 

SMALL_GROUP_LIB[ 12654 ] :=
[ 50185301534566374457234583, 12044377297507238263959461,
101752267334631294018189045120461506007,
101752267156827180730585987087556216279,
101752267233028943568130154815944197591,
36676484132850475693356596875108091351,
36676484158251063305871319451237418455,
36676483472435197767973809895745586647, 8041114851796379662236835623929303,
8041114837745161605685305828378071, 8041114843767112201350247169328599,
2898410315540585579351388473198039, 2898410317547902444573035586848215,
2898410263350347083588563518293463, 71355661151533053363251822285358551,
71355254742131253127690604216124887, 5638980650515827494546461623767,
5638948533445983948192643220951, 5639153267710279407665696802263,
8041114851796372215830724726490583, 2898410263350339637182452620854743,
8041114843767104754944136271889879, 2898410317547894998166924689409495,
8041114837745154159279194930939351, 2898410315540578132945277575759319,
5638980650508381088435564185047, 5638948533438537542081745782231,
445641952561340954325288407, 8035857345663124258395934922704343,
2893609985859968731748857167807959, 635044835289817608084551828951,
228671565193156036514528298455, 445628310293968084938767831,
35216399379022470561239, 635044835282371201973654390231,
228671565185709630403630859735, 35216398790563710811607,
635044805625817782200102356439, 50185308981632029118367191,
3965963455559845172375, 951823718161291063205, 635460317037804693779395773911
, 229050913809889996557310100951, 635460316403280633333166245335,
229050918092927404569359418839, 635460315927387587998494098903,
229050917934296389457802036695, 445628311246780244066960855,
445625773150538459148846551, 50185303879464903496304087,
18071089394190557710779863, 2783025217812872663, 313435674137247191,
75233134561640525, 50218138155280487477919191, 18101068311734133659516375,
3968559001287149075927, 1430462759502230961623, 35216524739247719300567,
3968558412828389326295, 1430462171043471211991, 2783034977537408471,
3966214762301873700311, 314024132896996823, 3966214175820599790743,
313437651623087255, 1586523282644893722533, 635460320216918662937731153367,
229050918416683101719661919703, 50218145601759906599681495,
18101075758213552781278679, 445629904050598472580611543, 75235112047503269,
50218138155353795702242775, 18101068311807441883839959,
3968559074595373399511, 1430462832810455285207, 35216524812555943624151,
50188481601934022150208983, 3973661241720995462615, 313620954110016983,
113044358426050007, 6005984378957, 24828863102423, 70355878006186345485729239
, 2696965498086032437253, 5552549472260811628439, 12539020874075029,
5559971392782391590359, 213131467402536869, 438797969747872919, 998417568061,
439384451021782487, 16849262788685, 34681463684567 ]; 

SMALL_GROUP_LIB[ 12660 ] :=
[ 200552379298728954739244939, 200569152471780768883332719,
15842642906629324844939, 2538993139905819502752292593209,
200604901374350915658993209, 108806703091892368281347840041761839,
8594526310751090731559708961839, 13995692095458917491244939,
15842734965533145644939, 200568983058958478227332719, 15842746649329286532719
, 1102669369542720044939, 13959776615739488352044939, 1105506493221715244939,
1254635827200044939, 3217484909642009516577903,
8594736514228195706204099361839, 53624734758378201644939,
17875844094204633732719, 40733358913146466387990449213,
108809364270128967232070090339744939, 678960807338183161075244939,
254172934463222017113, 678889145791658077315244939,
1131470098776236929248044939, 8595643820901002119046419244939,
13995692106998955249393209, 254145802965431409900, 88660931788844939,
224199174859873603286444939, 254172568527772417113, 17706431271913977732719,
6743667571376191, 17709255038949062444939, 20126449728087993,
1398553011878444939 ]; 

SMALL_GROUP_LIB[ 12675 ] :=
[ 16671807817985811261311, 1319347716988542239, 66482356300099347261311,
723508780442007, 103772531025791, 8185603967, 413817999288191 ]; 

SMALL_GROUP_LIB[ 12684 ] :=
[ 78736017085891623000000023399, 297081084784961534040000023399,
30236868784716120000023399, 6217037791156440000023399, 489394389240000023399,
15787467000000044855, 78736007523404733300000023399,
297081075222474644340000023399, 6207506866263420000023399,
23421719078425980000023399, 30227306297826420000023399,
6207506112307320000023399, 23421718324469880000023399, 2383105286520000023399
, 6207475304266740000023399, 490148345340000023399, 11914784135640000023399,
2383105169880000112799, 151141450625762760000023399, 78913418940003352655,
151127122675143510000023399, 211577030300240100000023399,
1917078159737251242180000023399, 78736038535928650545506250899,
297081106234998561585506250899, 200496666441331009125005,
6212271953819250523125149, 47344035060526477500, 489397023360000023399,
1846556611200000023399, 1555200000044855, 38880000000023399,
29836539397664370000023399, 78913350900003352655, 2351545773300000112799,
1253880000134851, 2352297245940000023399, 6230520000044855,
185389560000023399 ]; 

SMALL_GROUP_LIB[ 12692 ] :=
[ 14008762100008128939, 815276075371044523, 6633534303503, 64172761992619 ];


SMALL_GROUP_LIB[ 12699 ] :=
[ ]; 

SMALL_GROUP_LIB[ 12700 ] :=
[ 251775093032469704602047, 406087875923611212004601930687,
2517749881345947757571, 40623725855630611380027494136693,
65522007430372323376179850451107145699, 40623725939553438736679669496693,
65522007430382981575254145277377865699, 15987550412977871808002292597,
25786047189862411639686563568265187, 31987185712056753061121027,
19832129317994742129, 159873812324759802908410883,
406237258543750627558236440579, 10492872095623831608860675,
19832100862854181233, 826210329278807450627, 1565032730912661,
65044386302176259 ]; 

SMALL_GROUP_LIB[ 12705 ] :=
[ 6725892254992147213599, 62465747213959, 794084083459213599,
529618429699213599, 2116412352259213599, 128178680541733725974413599,
41667942413599, 5017613599, 166563174413599, 83407820813599,
24860396127868813599, 1651213995, 1956741139213599 ]; 

SMALL_GROUP_LIB[ 12708 ] :=
[ 5018787181519688631712441695, 63778747502274554858661962416831,
397209065598517699012287, 810500323258905029896598790571419327,
5048529399027015667933111999, 1125421594981512486241,
5047732855440926909027968703, 64156711602805042819278143874751,
2309641660677215378158365833593185,
130899499633613578530468322865740404194666175,
10360876764258799493708925099639400687295, 3375539874160514767872,
5019138290815248762618898111, 1125416753020066569569,
394958940056411923670719, 89230432360711841, 31077783686227289791 ]; 

SMALL_GROUP_LIB[ 12716 ] :=
[ 41671532774935273231, 6746731247168888867564589311,
6746731222167542289432350975, 9007693534294948103360767, 3281270255651327,
529895240368797344919711, 33424518500323231, 85791434539000095887780536650239
, 85791434221082972800250993969663, 114541830982599662525284878847,
7225392442349801441791, 708374807954205968895, 530570299050716420901375,
41724662748847016447, 3279516969471903, 154753044473, 3281269316127231,
257832258047 ]; 

SMALL_GROUP_LIB[ 12726 ] :=
[ 2085858560001019905, 2680146993978240001010599, 210604038400001010599,
79612619173760001990105, 34107550645393333440001010599, 2086185600001990105,
2680147027073600001010599, 174080001019905, 33442978892547197280001010599,
132684920096960099010105, 2627083002349760005010199, 2085521280005990101,
2627925419788480001010599, 10426288000001990105, 206434305920001050199,
165120001059901, 206500497280001010599, 820480001019905, 16221440001010599 ];


SMALL_GROUP_LIB[ 12732 ] :=
[ 110972014173009959950084659, 1412895684448175142607170722119,
8732517944562170882119, 24690150811128428400, 8716059547525250562119,
686787467362541, 684565506790402119 ]; 

SMALL_GROUP_LIB[ 12735 ] :=
[ 139433042374067 ]; 

SMALL_GROUP_LIB[ 12740 ] :=
[ 5590251281600253699995, 71219803382154278448571655, 2592841357691197271,
907340295103157219165508896279, 33050509621763587970903, 1396142462617000625,
231226958559121756919639, 421063492582439546308269911,
412642241611371418758823202177, 147332358782017158396299090566656198167,
68341804928693390889156085232862743, 1524610365281516080371,
907566866075106446838148843247, 907566867599676905560498718447,
252504949984042859498522351, 135963734738959037626281833,
11581702924853800690848187405510391, 11581702944276828334970924815558391,
22517964119741274132320868574967, 12125051626621410956585080524017,
149272162993539169515380735364500662103,
149272163240988541701504409968512182103,
2008146593787252546423088743042361175, 66974980885345347523552603689101888753
, 23913161558252030067778507036960890344530618199,
23913161558252030315227879223084564948542138199,
11092396334191057444449184740554213696317271, 71219802344950110602872559,
1555718596655588543, 907340295095896789990588753655, 33043249762436338688951,
199512461694478361, 33032799576476487263159, 138736350729965864494007,
420971001973389288646124471, 11559515359614273798629028124010327,
421063568370789600674715479, 2542347351629605915697,
421063492586998327484356439, 12372474201992097239649490775,
68341817229698769062606179646576471, 2546814606688228756529,
2945831452049087467539928919, 421803417445072790390052695,
5364349861043860645080061187927, 226676693333465623138683953,
5364348895500285545315172095831, 37542193922430749412187511986007,
5257062158128875769922072546446577,
1877014250882897335524956146334293568366423,
870674594790291356033583534019374065495, 71250818544020742951671639,
2542347351595207380017, 5592685343658720371639, 199512438762121241,
438904819100427455, 9394622309655, 5592685913506391267159, 199556273198340785
, 438986225910552407, 15656684623769, 34442871576407 ]; 

SMALL_GROUP_LIB[ 12753 ] :=
[ 702408300994917318599, 8957813159014108733181023, 8958062396037055515921503
, 193661615592033119, 55092033945115487, 39101982989654879, 143668917119,
4323090991967 ]; 

SMALL_GROUP_LIB[ 12756 ] :=
[ 5965643780337785690699, 8831811474662932516427, 76106597201703741134595581,
24923911806062209548, 467944988400343115, 8815197249855785179979,
691985457181567, 691049240437770827 ]; 

SMALL_GROUP_LIB[ 12762 ] :=
[ 788157681172643990423, 10058467905316671777299351, 788157934448366467991,
61783195286776727, 14814739500598270133789591, 1642203602652877045,
1160847780980192304023, 136688486148445, 90962166616017815 ]; 

SMALL_GROUP_LIB[ 12772 ] :=
[ 2114296702210380275, 71656473837543155, 1610659064411, 5600936971763 ]; 

SMALL_GROUP_LIB[ 12775 ] :=
[ ]; 

SMALL_GROUP_LIB[ 12780 ] :=
[ 1128446500187071066624357839, 14421546499027297989671425034039,
14421546272015976918088321034039, 184307364257568768530776148737034039,
1128446517928299321473034039, 38171002154421751078427576615845832537035039,
2986776381414484329532768867452249035039, 1128670376313681502249739069,
88297662560805376348179, 1128443347251607548672357839,
88297878417543424357839, 14421505977506526355094401034039,
1128446517927847549313034039, 6970061357056348179, 60448071217207897513691103
, 54849330059675733021064873353279, 335822367917879808348179,
111946464407597568357839, 772526349368731561918144677073,
700974438162655801165649987369015179, 4292260768563779648000348179,
4730390422860032681173, 4291809898856874113664348179,
7152943928200378923776348179, 54855092622261373572238080348179,
1430902845798862338561034039, 9872886744931999616554716553694973,
8958453319718741139240537997851473348179, 54855094192528115569982976348179,
60454378753592883607671973, 54849330507515113477037760348179,
91434691411384462053572352348179, 701048103780509331714534182656348179,
4729896515416577367171, 1430675834477790755457034039,
18286938369308212681263873034039, 60470143428877498647671973,
91414623402527991548485440348179, 701048103780509349232195454592348179,
54869398292513198148173440348179, 772606944693965822921111671973,
701048083712724351147524318912348179, 1168535356237493463065664112512348179,
3291648967489545953781382896697071, 2986776384762011164360614185731929035039,
1612691057936691262791261259849797001694973,
1463323612150587988929942628426923446962001348179,
210336364645349061198449916448137694973,
190855010077699848791963203003332687697348179, 4729896063646122077100,
17771934691900771210584000348179, 60454378752689339287671973,
1390381325027227761537034039, 1576961051898625367171,
1390605218448414374784348179, 4730389519315712681173,
108793528944079616357839, 123424154112362531, 108811046620410624348179,
370151989760352733, 8512170566144348179 ]; 

SMALL_GROUP_LIB[ 12788 ] :=
[ 149624817063992795, 11791255010267, 6931458466434863579, 325861098208607963
, 3911075744751, 25451006135771 ]; 

SMALL_GROUP_LIB[ 12789 ] :=
[ 54100859548649143, 3608166594054657, 4300114347703, 10820499265227265,
848127576329, 3608151173564929 ]; 

SMALL_GROUP_LIB[ 12796 ] :=
[ 1649358552660513007333127, 21105192557575970043584387759,
647286468868445702831, 128939320890548751023, 112071289416317,
10073963663329967 ]; 

SMALL_GROUP_LIB[ 12804 ] :=
[ 26640897242030586650583549023, 341110048288286142438251655168959,
746133259081971966945215, 58169550324029728703, 744802598021535771928511,
58273483337829984191, 2080738310626996428653663,
26641774655885924030844076991, 1493274697036304754623,
26641773328438257049910476991, 165930696409677382847,
341121282693963351151838427621311, 19121551767725535343421375,
15395931984061357161, 19119889296583357504694207, 23368717416670776942143423,
244832348833980844326317467583, 745137751311893798682719, 5131619694777129984
, 4575480200046527, 2082105125526007091046335, 15395924678321986665,
162509970245796578495, 134634339919777, 162613636600109737919,
1203359642044329, 12692156640667583 ]; 

SMALL_GROUP_LIB[ 12820 ] :=
[ 115657464009693660541093069439, 392092680831631362559, 30623116820482559,
9021786231686939280589439, 42354392688744463974403,
1483012299511379705138312642562559, 1483012294810164406231037378562559,
348052272989632613926830082559, 115659300901656672201605122559,
2117719454845501442559, 703850916284989442559, 263066747288963,
54895050752002559 ]; 

SMALL_GROUP_LIB[ 12826 ] :=
[ 31430611738093033751, 432503611935885, 2450537704427799, 33925925237,
191154913559 ]; 

SMALL_GROUP_LIB[ 12828 ] :=
[ 1500470192257646304412320677051, 8383391951904819193943,
116966981341597208253807803, 1500452436647322204310312118615,
9135354915595808172119, 107551301022893570223032555, 25635838126084186608,
653800541108504663, 9118266112360557787223, 707756572640101,
710795761484048471 ]; 

SMALL_GROUP_LIB[ 12834 ] :=
[ 20450037081628559, 262455675848352028559, 20697673132828559,
262455429007008045959, 20450831788845959, 3368356143742418140828559,
265633881570691228559, 1617408028559, 24449464546735198305628559,
1377230546967466383951, 1901885909002358967959, 5110814880593131,
1905054117652598428559, 107311093920053151, 148191205536045959, 401241646771,
148438046880028559, 8363865628791, 11548915228559 ]; 

SMALL_GROUP_LIB[ 12838 ] :=
[ 3110281157706930565279, 9391784463460755, 242271433495605279, 740301221275,
18873108885279 ]; 

SMALL_GROUP_LIB[ 12844 ] :=
[ 56180815951903880519, 13709840204880058184018063, 83105889933647555,
9277173644102688497215811897, 2263964343537367581376472958287843,
9277173659424295315524628793, 2263964343537658691906020825808867,
9380413756684921503428921, 2289146052941015701737133342691,
1068485645248385646275, 4378395590909525, 13876275341352551384771,
13723629627632636113232579, 86905628114672585411, 4378393897856597,
6766237049153219, 340787371817, 526539464387 ]; 

SMALL_GROUP_LIB[ 12850 ] :=
[ 92614390436821767226367, 84805538025505539, 7207345105718674431,
6734508982019, 560888369316863 ]; 

SMALL_GROUP_LIB[ 12860 ] :=
[ 43154344763159532656151, 356842381708283286578374885655,
2157717056310813503495, 717151140436725181703, 266370527832453,
55758418362379271 ]; 

SMALL_GROUP_LIB[ 12870 ] :=
[ 260309110733654155299150311, 20226038462320468842983,
20226038130431930423783, 3350178255142124045186486527559,
173539757318004782667425351, 260309110733735268192904775,
20226038543433362597447, 1571565147430869479, 120918076607715837,
20226401129636658436583, 1571593303778941415, 1037591291867226467205,
260313782533805071438210631, 120923750837283717, 20226401210749552191047,
13353799923886518311665125, 3350238381210071318942369774279,
1556286248263953759717, 260313783582406106514520775, 80627209359874535,
1037672216327328127463, 80959097898293735, 1037671972106897743103,
80714877467909375, 13354841425131622865852903, 1041944608535339358695,
1037671890700087618151, 80633470657784423, 13354841424236147954443847,
1041943713060427949639, 13354838280874988467162751, 1038800351900940668543,
171876809141445875749504178663, 13409827113758957957306855, 10175851289085,
6286523521511, 945699451946553359621795240423, 60088210271958832821273213,
73440454312654726720577663, 1556044413656379368415,
73480909371509989451823815, 4667972017907358580197, 5705281219324351688807,
40305766400341501, 73480920897167574238517735, 4668858606952342133757,
5706329006377514077823, 120904770489717759, 5709472367537001358919,
362701782757960581, 443300786847378023, 3132560009941, 5709473263011912767975
, 362770665443450397, 443382193657502975, 9394622324055, 443626414087887335,
28180809275901, 34442871593447 ]; 

SMALL_GROUP_LIB[ 12876 ] :=
[ 74023136876787575237239571, 12298920257773797095230167170047535,
12298920257769690949224971117157935, 27203366182976055970818312003119,
2112718722776260171342831151, 953121910437781847340883533359,
4118889251896408279295, 318934121832384767, 4106593454012260616447,
319889131388340479, 5748987123463931945747, 4434841810327860808587,
955181754305704923073829297711, 955181750199558917877776408111,
2112720365234662195586293295, 74023970467547359984639535,
12743246452685932799, 74023958195353392847052039, 472005517617301751,
57103023143389564484095743, 12298920268440256587753973381999871,
12298920215569520624849596375510271, 27203387422761511874646466768127,
953132643740139656974568140031, 164095281555712828639487, 344439923559477615,
164082041889541994744063, 176236233991598607632639,
2112890845311650534745639167, 4107561954280264718819, 38268905414232816,
25014615148799, 5761348682025591081215, 344439869381783919,
446495536468166903, 998417534365, 447448568538269951, 26756041017879,
34681463638271 ]; 

SMALL_GROUP_LIB[ 12892 ] :=
[ 180032458153246489671603, 2320978562977591900410174567,
126542238644956719975, 13973970565032065895, 33732566674421, 1083396983499623
]; 

SMALL_GROUP_LIB[ 12900 ] :=
[ 20561431259132422837736727446395439, 1593909400082232808286843902511,
33532597041951227887859387, 3422881995801024013932831014262622960708259,
265339689596980534107925047699680455331,
3422881995801024055118254111666393103428259,
265339689597021719531022451469823175331,
1326189999925401848536135994298653960867,
102805426435099182403313135373707939, 432570546682295033864362112699,
433064726914115749126720321211, 5580160052201604537844502100498107,
33532600518371957897582267, 610088014718540132630506920883153259217165,
7870135390036524677689913725317658840974077037,
610088012168215193570817956723756928085101,
22618533286768404934987254227897965677,
79601909937260089863242819036603086049145,
569601792126514401086241717394608721466304329247395,
44155177745874651083622481556758741271864994467,
44155179442198171290808047399028214400581200547,
4790629036995318796416510391750747446440007477,
52966026108983495605832808796698409170104547059373,
72114277956876629768874892060354393787, 137080232071836821956611071650019003,
2598919972807958181563, 33526063715307205528909499, 2599426470094365750971,
432486221926480833738282178235, 33532600518350880015685307,
1753374678182118995674560454082829, 22618533348549409270586888313251867757,
247124990214236746658320809069, 72100575937196606655368140274754459323,
5586004346116506160991597515806395, 137080231987512066142410945570084539,
432652907950484705987675928251, 205965427744759759931553467,
2873475891209413718209551, 1593915146885455659680402348591,
9578241379127657084603, 478348097522968012044091031850873,
265339689671114295683251791800812661411, 478348098480768549193015918890873,
265339689671155481106349195570955381411, 185337277711313546044868431737,
102805500568860757730057236505914019, 123604159555087636617737915,
1113738847118639676525, 617784391375802898975946427,
1594493658263871653348916123323, 3192904464801491319095,
37067838959528838470177359173, 20561505394822372387002417624273659,
123572232870516005788314563, 222773135670956703465,
123559314701955553904102339, 205930160401765197548891075,
1594081804029927692203886914499, 6170690458046287327903503155951998773,
3422881996757374414313963132400264584995067,
6170690470401914257124634198767998773,
3422881996757905706271919641035105672995067,
2390850882475935840373832399623989, 1326190957338303774735076751463686971643,
1594493735032934414653192451771, 2874515476961424563470605,
1594493658266346589786116605627, 13282338228316456764158506309307,
265339702446830618509014910651117344443, 2875257900430765676732685,
7969418648753845357805595297467, 1594905512494845685429574817467,
20568969181924857117664869767829179, 185358349174576372673722654989,
20568968191603950035215648668739259, 102818276202812737298525928043321019,
5586004346266576427472804795121139, 135920521995018452860094338737,
33532597053082457457813041, 222750070847532949644, 33558140381313800680322747
, 816781480800836271213, 201808072434333371, 506704308263572788752845350587,
2874515476898190917779725, 39279401265950722039434179, 222773093515192909545,
3044419747747598580023, 5758477334478751, 39279403740887510537803451,
222830650184692726893, 3044914735105298134715, 17269811234323665,
235985155334190779 ]; 

SMALL_GROUP_LIB[ 12908 ] :=
[ 1753323640224826174658459, 22631902093587811156370082759,
682084022847831042759, 135875721706872322759, 116055659731145,
10523812582402759 ]; 

SMALL_GROUP_LIB[ 12915 ] :=
[ 195079182748229039, 15518927429039, 1690831430365 ]; 

SMALL_GROUP_LIB[ 12924 ] :=
[ 447053901441266027652975, 5778621137351426922494904175,
1245475108355672293915, 5777724677356015547993453423,
74682899579096339752538753490799, 2688584433215228089569747013329279,
12474267987744287255818817243987161159631, 3735636489694980642588,
5745541763565401458561043311, 1245469839417009205787,
444563732156535196565359, 97099012505737187, 34396384298162726767 ]; 

SMALL_GROUP_LIB[ 12925 ] :=
[ 7020951443 ]; 

SMALL_GROUP_LIB[ 12932 ] :=
[ 65476620958984023659, 56597288988731252451, 10994030764963636650567843119,
10994030721685260082473123119, 44644986894421460818083119,
846743923936759070883119, 266956997114883119, 5083465858563119, 338826243591,
391910403119 ]; 

SMALL_GROUP_LIB[ 12940 ] :=
[ 44792059604262814971847, 375007152309866613202395633191,
2239602793791429677079, 744380548108220243223, 273071345982881,
57517741991611415 ]; 

SMALL_GROUP_LIB[ 12942 ] :=
[ 16342682432418134452459231, 1761460618739966915, 1262763274918414263903,
144576158079675, 97571897049171295 ]; 

SMALL_GROUP_LIB[ 12948 ] :=
[ 1450427608703946881152070263, 1558751341675723902059206102281919,
1691169395254495242874395, 1573659066228458561, 1690515088088686542190107,
130561873422791847451, 112021005797374636569207,
120384625929877701742308798143, 718068121363146534427, 65283395102125846927,
1450447982667355370861410757, 1558740136540056571208437054096187,
9298330924258030838615579, 8652157521870395361, 9297546070230975032070683,
10987997387272509278131739, 120394788807305433276094764571,
20397557267078649435747, 2359524319891920172, 136669535810625,
825576908843778571508251, 8652154200041400289, 63710539681240709519,
61216562989791, 63760955554445850139, 668636722021441, 4920577835707931 ]; 

SMALL_GROUP_LIB[ 12950 ] :=
[ 75333314718066986482135751, 830965260771958225505, 5816294792997201190655,
38502705378836703, 5817244379489852568263, 64167205180134497,
449134702200962207, 2979773300991, 449208012360200903, 4961128953569,
34681463780039 ]; 

SMALL_GROUP_LIB[ 12956 ] :=
[ 124074205829035681323, 126985381448262929003929919, 756505080840221231,
18964843982835503, 740301126045, 1460466052655 ]; 

SMALL_GROUP_LIB[ 12964 ] :=
[ 86193793715535477971, 6659536073898707, 700058857100850393299,
139458828303042186707, 118087220437499, 10754684241931475 ]; 

SMALL_GROUP_LIB[ 12969 ] :=
[ ]; 

SMALL_GROUP_LIB[ 12972 ] :=
[ 13630123255359309340143, 13634238015507708942037, 1050729092163533879,
13630035714055518672367, 1050734984352392687, 82675186273335,
43205070497883962423, 2057529056279518703, 560501522784212820958263,
919331422925532215, 560456176436599711406135, 613832766877400158311479,
7270825753557745650541777975, 131325354819985052, 25595831801627893764151,
919331238382705719, 1969987752488850927, 3400860706219, 1973159780043666487,
70890808639599, 151878746209335 ]; 

SMALL_GROUP_LIB[ 12975 ] :=
[ 133736405904394231 ]; 

SMALL_GROUP_LIB[ 12978 ] :=
[ 40728269212616635065082979423, 3138254753035073680045151,
3138254678146244390095967, 241813461243666422879, 105661369494510505055,
2348541329184141887, 17796443311215935958086575199,
21750511072326150222060708959, 1371277876658068601287775,
1675952538478858727961695, 3138386219960464415548511,
1371277801769239311338591, 1675952463590029438012511, 241823564377953881183,
1371273181405534574552159, 105736258323800454239, 1371273106877783870522711,
105661730573096424791, 91414137946646745383543,
230962241292960299706044940251231, 282278132696648660423901248188511,
17796444283169595705306464351, 21750512044279809969280598111,
40729976362676464385767108703, 2348902407771050615,
17796443311253199480132753503, 21750511072363413744106887263,
1371277913921590647466079, 1675952575742380774139999,
3138386257223986461726815, 17796383348237227307610845279,
1372245135065281794441311, 105661735519378381919, 129137976991160638559,
192198387302975, 8151472734329951, 39951776825325218214154532447,
152353768080643133830343, 3077455945575425811018791, 2348168944816113619,
3078423241251813939818591, 11739389103919956599, 237128672922513065303,
182305823347915, 237203200673217094751, 905876218491455, 18271565702925407 ];


SMALL_GROUP_LIB[ 12980 ] :=
[ 320762008241718911777199, 418850553426936927, 320695850681139314123183,
24706923228650535343, 34949685195871, 74119539893904226735,
5435527586971982741007, 4162632075941788188592781807,
776080998355008987252269375, 594327202835066377355229003508559,
24706922220486559531, 962335436112197968976303, 1256608579539883451,
962071643308380714757551, 3527574737684771011690927,
12491113960734407026427380143, 103346510801649977988527, 1256607991444219323,
7958172487059025707, 32345261560625, 7961979314306572719, 96867757261919,
613047723030959 ]; 

SMALL_GROUP_LIB[ 12985 ] :=
[ ]; 

SMALL_GROUP_LIB[ 12988 ] :=
[ 1688445070398230672915, 4188302479071837672864013039, 24828671304315843039,
1639815735575523039, 10050355555925, 126150728003039 ]; 

SMALL_GROUP_LIB[ 12996 ] :=
[ 1032473423293497685358333495463779011151,
1032473428380287100654847371929034721871,
1719784209698790687068227855842929052239,
1719784197490496090356594552326315346511,
1507266576110551627804390072604199503, 1507270645542083865015491244808768079,
115983262710361585351331765848655, 8924228247822163710951856463,
174550361861746599126474348398834203048410274127,
49058330506471684762636537915815596985243233500936522319,
3775256534811897074977637771960354128539217761368279,
637635590792790868941330345528453192406487177772479753025167,
2266250930379432801877808203302243842751834657083735,
469712392114682949138685295, 1032473423293495842286097817744908012111,
1719784197490494247284358874607444347471,
1032473425328211608404703368331010296399,
1719784208681430960936689402831006911055, 79445477323291603994919984021654095
, 79445477714703531918628346322766415, 79445477479856375164403328942099023,
132331810533917412067395696577759823, 132331810455635026482654024117537359,
132331809594528785050495627055090255, 1507266576108708555568712353733200463,
1507270645540240792779813525937769039, 115979268706567542885129442052687,
115979581836109881851819282942543, 115983260867289349673612894849615,
115979268706425713548033294371407, 115979581835968052514723135261263,
8924535308349263022143081039, 14873713504745610349456447823,
36194302165321204390223, 1033597264984514894216833981181072701775,
174574926007676447906349470051893232097114847823, 470381150810653162810939727
, 783510693149619852651829583, 686837302200899024492879,
1719956209330113451659015101268135033167,
22352549362750494831711096212909012163459287,
2925341367526507711344556253846474157659, 36150259260618985745519,
6113073664831078820345483286863, 10182505197068289921517687855439,
6113073435935215892787667581263, 79445478420847273231270539184994639,
10182504968172426993959872149839, 132331810613802068702104509758208335,
470381168434359888076757327, 783510710773326577917647183,
8926137579399238800335616335, 8924294507163561342678497615,
115980131415080025017354300062031, 14875827779702533465128229199,
1144646643560066823395663, 290464760510567713369984279214183657259448338767,
22352549362750519882387709249776225898858831,
79531980770228570169912515475401039,
290493731518305430832917406382863739938354300303,
38017736412374494216633852934035161177618647, 36142843436572163710319,
6113071508409635411825696442959, 10182503046670421888862911203919,
6113071520456786163555716827727, 10182503112929751023378023320143,
8924228124544878746319718991, 8924252218846382206360488527,
2785043166630254927, 6104382488865176410583683171145,
343352603035266719838857, 1032473423293500089259032280764545981619,
1719784197490498494257293337627082316979,
1032473425328215855377637831350648265907,
1719784208681435207909623865850644880563,
1507266576112955528503184010843479219, 1507270645544487765714285183048047795,
56526405927100582588945150067, 56526405928954560851753709683,
8924228432794506997874040947, 6119021638639192119554179588211,
6113072177334751752447202680947, 2781575935482698063,
470381008992229234297854287, 783510551331195924138744143,
36194302158634129054031, 60288603662094169823567, 1144487212342711286028623,
88064574910163884367, 6119727619466774139327227296079,
36149332342685778111599, 2781647255579159663, 6113071592862980215068796582223
, 10182503125100191316241001150799, 470381150822921573360105807,
783510693161888263200995663, 8924294507163561081464617295,
36194303513877043624271, 60288605017337084393807, 686695485132213425977679,
79531980142590196579118054563252559, 7890927506050799951,
17320370680291107691064597507675, 8807003199899479151,
2174518601614583173405007, 1945622738687025357699407,
1332746319508632831957301583, 225095537361063235417553051234040023,
114474351938201431573679, 28266464736114732913501133135,
25285313112013112838698158415, 17320371168334225307783607454031,
2925341556757657544596375066206903010703, 463601846242891999,
114455813582084114228399, 1487708677786601557988230319,
28260043746620502830201825615, 367350975710547080121476855494991,
25291734083895904672584284495, 17320375746233872422029229521231,
1017592754310822332716098812587, 251268068647128014226324300063119543,
62044116271224177536627012110437044716943,
494078562738546023924942458882279515499963876751, 783968837146320613657305203
, 36167872123089194242697, 470839294807353923816415347, 1390519387631699964,
4641725236899748175, 216215435876687, 2787746974091188559,
1332746337147175628382013775, 102409589819354891183279, 463601585029011679,
102550503009306486700367, 7880085266691845231, 35681816063359,
7890927244836919631, 606312244746575 ];