Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
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
Project: cocalc-sagemath-dev-slelievre
Views: 418346############################################################################# ## #W col11.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 5004 ] := [ 842418752719582717729655, 5709853118609539441181057, 168347620190653619063, 842410547748464511763319, 168349256993253225335, 570470287212455713655, 2855782191729707888376695, 4105808812915947535, 2854633498901021555076983, 14290334087305087809202103159, 514452089037081119020611470419, 357830194200026376925687014365603351, 843559469963344098024833, 12310712665626957948, 33825118301080439, 2813575935602551856109431, 4105763969009109007, 562265316094249747319, 826409140347967, 112346799175342967 ]; SMALL_GROUP_LIB[ 5012 ] := [ 2305691625751898667, 456427995075905323, 2602046250263, 91007369602603 ]; SMALL_GROUP_LIB[ 5020 ] := [ 2189219125000000999, 437000000000999, 151212451128921812503, 190530600369750441406250999, 7560618375000000999, 2501466187500000999, 6125000062253, 498125000000999 ]; SMALL_GROUP_LIB[ 5025 ] := [ 272629307675, 244208496040149, 6891617888906328731 ]; SMALL_GROUP_LIB[ 5028 ] := [ 32935963530174212419, 235788761827610508, 32778812215476921923, 16607491214051, 6518928688719171 ]; SMALL_GROUP_LIB[ 5031 ] := [ 689374491897923, 280673734597955, 40213816630595, 3286028561, 55861242947 ] ; SMALL_GROUP_LIB[ 5044 ] := [ 105122513131158998111, 12171078500960001035, 2680061751257424597888271487, 2680061692619185697099613311, 5954594862676564125942911, 530238168930349904561279, 234046457194218623, 20884286311761023, 481069900715 , 4133939577983 ]; SMALL_GROUP_LIB[ 5046 ] := [ 1942558221332426386975, 32429655790517029762591, 1040225758266911, 8516675103, 43122327565855, 334394789, 42885040866023, 217595380715175455 ]; SMALL_GROUP_LIB[ 5050 ] := [ 619848693122653000030399, 122742315609800030399, 24309724800030399, 122764044971200030399, 24320168000030399, 4825600030399, 5072000030399, 156800039903, 25612958400030399, 776452800990303, 129345493253600030399 ]; SMALL_GROUP_LIB[ 5052 ] := [ 860746113598521245750096819, 1535954056197120839, 170378029471831524176819, 860749804866388702960800839, 33892074050042880839, 310671728640839, 241481052274719600, 7793661112544072808419, 6676454937600839, 16927626415981, 33731128669109760839 ]; SMALL_GROUP_LIB[ 5054 ] := [ 917072279, 4635261471383, 272103611, 4623006996719, 23426683020712727 ]; SMALL_GROUP_LIB[ 5058 ] := [ 878220492878959, 3343728796521, 4441929007882318959, 15927458018673881, 22467278082879795278959 ]; SMALL_GROUP_LIB[ 5060 ] := [ 3819317392471921514218463759, 754805809651203273486863, 2191376073812771163 , 429067817301639, 2170872040012683611, 433099359316315, 149259122332303849095, 126655661703, 1282536982427523, 149179669207966387847, 29482155822593671, 274420598659, 88442890764711559, 6486109431219482991, 754849047529294593368591, 361012505972550608590115, 42012600657137265480629288423, 29482147906617691, 447836324156469925511, 3848057870254079, 447521074671137383047, 1640886463508576071303, 2266051800225855912586887, 45488277203939949191, 3848053252599807, 8978114106530139, 253970989781, 8989766427250311, 760593627011, 1773838907015 ]; SMALL_GROUP_LIB[ 5068 ] := [ 2471515345676564802179, 12525641743160713802401079, 2465256619146241079, 488070661086721079, 2720977952225, 96241996801079 ]; SMALL_GROUP_LIB[ 5070 ] := [ 41384527923455, 1065349941810276927743, 4253225044665543231743, 210128732079982847, 838900941716130047, 10898946250203269375, 2149693584705791, 5445439280133162688222559, 209818262522367263, 41498664176927, 5401324204977991412517119, 21563850976454191573797119, 1065352671694352058623, 4253227774549618362623, 13815281152591103953151, 210130216050329855, 838902425686477055, 2724909008903702783, 27594834007109983439999682815, 8408533247, 41445776427263, 165463963732223, 44877351167, 227949715982591, 12262444407, 227525722180895, 1155706884822567167, 4108720885, 227419723733639, 1155705506842711391, 62029525766271, 1153555434268969727, 5859433909212819704063 ]; SMALL_GROUP_LIB[ 5075 ] := [ 4877978391 ]; SMALL_GROUP_LIB[ 5082 ] := [ 91803500273179098134405199, 3657031135292793601599, 8334656001995, 465534577939201959, 26020501454466300801599, 94449157871540683681174401599, 3657032068672899201599, 91604646401959, 5120130156179201599, 18585036968032405292801599, 26244626220462933777601599, 50286139836778845155201599, 719605686428801599, 141598873601599, 1740801995, 719604893465601599, 14758401599, 75099360001599, 8204801995, 75027270401959, 381655841200001599, 1651205991, 74955180805919, 381655048214405199, 41643232009915, 381288616777609159, 1939574986252312001599 ]; SMALL_GROUP_LIB[ 5084 ] := [ 1321458505566766439, 6718302690134387201199, 7923191234561199, 261442887681199, 38092801589, 51200001199 ]; SMALL_GROUP_LIB[ 5085 ] := [ ]; SMALL_GROUP_LIB[ 5092 ] := [ 56345949732645539, 3226558527727523, 165763298003, 632086406819 ]; SMALL_GROUP_LIB[ 5094 ] := [ 710151797718532823, 3617509020655562527703, 710158172377641431, 140040130339031, 910058476632791, 3440292376111, 4635723641620925399, 16503992454532639, 23614377433456418985047 ]; SMALL_GROUP_LIB[ 5100 ] := [ 7121089753135835690411443215239541043, 36317557745753349005924502385455995559731, 7121089562689027442637508688939589427, 17368965939517820764676297171666372402995, 667779465830860338526823544528691, 929582206379368343744123520174649395, 120854324131987832346743950193478049688781631, 120854324131987832325741360554677608344781631, 80594777293091191001561803275557025153855, 22107644498339032883689758624107591565619, 492764872123692599919910918574622078610194833203, 96620563161503961293480765530915120347094835, 4655740019394620428463153134732116799, 4047014690691327411218460709695, 178720463066763825492617397055, 130937152451039715834558738739, 667779477500333926564962001493811, 46678370134849726124662579, 4047014674200409398336498438975, 38911987691373738332991, 6864668334886683226895, 1372808093960237039363, 178641032096823473250574086207, 178641027978668642113232646207, 119021539737994474308055103, 35009811515002922276565055, 4575991550252684095, 35739407160047223861055451187, 4646456136883272417474034817732510527, 4646456136862269827835234376388510527, 3098606596077706148727198668882751, 35739407617619982876315611187, 4646456136883280196210938077155230527, 3098606596085484885630458091602751, 35005689231987208729260083, 913497163071602492171026822136639, 913497142069012853370585478136639, 3034909230466572841007758508863, 178550038741752310868452901695, 23359089611723490988863, 1345855086265376563, 116682400248372471534399, 119131357023706412612588351, 35009808463919727849451551, 1525506490150957855, 7001321234561533579882515, 911069263693799684354744827183423, 911069242691210045554303483183423, 607009852663765024725763555647, 178550038726496894896316809535, 23343837186422982324543, 269248549143723795, 23337558007425936666943, 38895031215778244342079, 119053569651085014579818815 , 182270976516240809301606050758963, 23696926298104689329117590110837304988479, 23696926297997576121959707859982904988479, 15802893639996301358526860984666035007, 182270978849861880279432866758963, 23696926298104729000675796733893176988479, 15802893640035972916733484040538035007, 178529015083124803680171131187, 4658835531665172710087580880329511743, 4658835424551965552205330025929511743, 15478037075379521510091027690558271, 910605197582936802175040196973375, 119131393804745321868170047, 1374064519291135390003, 119131357026697083166397247, 991795823337175255508587327, 3098607552861427050641726587802431, 1374961544825327907123, 595080241273935384522265407, 119209144392738989659919167, 607570108404204970536083657535, 35015755653067228978409779, 607569920820909600653304664895, 3035865998630000949497868325695, 448813499632590643, 269178051551772416, 11673602957448299950309427, 263891380605759, 52785148072947, 1346699446770996031, 269424342155140915, 6868171598841528718143, 17600775992305, 1346101312445494047, 269248420294704915, 6868168608169901175103, 1374064519097861861683, 35027675161491826446177087 ]; SMALL_GROUP_LIB[ 5124 ] := [ 101128325963507753328234059, 2655162242985929507990163619416359, 2655460844216070901119445565016359, 20588080355015635353603959, 78863105753413982208003959, 518265526848337550413987416359, 20424332048327884803959, 518181546250182960529776216359, 518239821275581358876630616359, 101144716404433106083416359, 518181542252910447312240216359, 4033895783897088003959, 784124275507203959, 65347762176007145, 20588064299078331801603959, 78863089697476678656003959, 4017970409639731203959, 15390926186064076803959, 20408276111024332803959, 4017967275600691203959, 15390923052025036803959, 3982880736460803959, 4017839846593536003959, 787258314547203959, 19738622800765296234059, 101140719131919888547416359, 19911389032857603959, 101140703200301789348280119, 3982879542067218119, 518245044831956740893552003959, 102049978932489830403959, 326493910425812465, 102025960294919270403959, 142834800055845888003959, 522904092050394355507203959, 156067430403959, 15925248007145, 784151248896003959, 3003697653350403959, 195855219316652400, 4025931551123572440059, 335869684970828904005, 20588116209725423475360359, 78863141608123770329760359, 751771238403959, 63800524807145, 3855451729305603959, 12839731221541, 3852343120896018119, 326493213696212465, 19755339336191692803959 ]; SMALL_GROUP_LIB[ 5140 ] := [ 14817528556085584265471, 174303259623056932867, 391631743748001559092832240639, 391631730676105728556967920639, 230250990445916791639114751, 76162102584457885323887615, 8715158383604270079, 2883955434140468223, 6734508785411, 560888369120255 ]; SMALL_GROUP_LIB[ 5148 ] := [ 4699060468148613185137883, 24190763291697645171983116343, 167842479196430403527, 24190763290020990510578933207, 166166150162266721255, 124534049425659474521419952808455, 864055209508027389446087, 864053082272928253872071, 866210517658484371097543, 4448156218546581823552489415, 167842892491396745159, 3236362747864198437323, 32271735371859911, 166134244943292532679, 32603623910279111, 166133919316052020199, 32277996669766631, 855259092396790915794887, 167842892479930566599, 912825675566199729371, 4699228246525192798332983, 1885904618536306631, 4699226569870531394149847, 209575584372624359, 24191627013108994478386307591, 9710764588242164516807, 145101402217123077, 9708637353143028942791, 11866072738699146168263, 49991016100534699202447303, 24191618381689820687859476903, 1079346391333359074663, 124538495863485106583199214573511, 49991022837756045658425287, 746981992102016600805, 49980065095250738626168775, 61121225674626009255643079 , 257353785568768371348131022791, 48358790006850301, 1078895159641146670439, 5556475222522541475118439, 747336531289983437541, 61086542460123138313422791, 257353785568768452754558945223, 50014747890752757837596615, 3845462940704649361509093, 257353750885972950735347517383, 314652069772975084369457186759, 2200364449819699517161780045, 641225893012450056146641480667654567, 147257172928906848141238828820903, 124602223116098956901134379846565, 3308611696248379599668709674749457438663, 8338878946524723080031437147955894215, 166585238476096821707, 48358778540941296, 6457751766983, 4708605212954738625873863, 746981992079084243685, 912970822344286682471, 16127943792149245, 914647477005690865607, 145101379284765957, 177344738157923303, 3132559985749, 177670365398435783, 28180809254877, 34442871572423 ]; SMALL_GROUP_LIB[ 5150 ] := [ 5600937000323, 169725404205, 28844117045251715, 857083640470761, 148547261655935735555 ]; SMALL_GROUP_LIB[ 5166 ] := [ 8675616358467165, 1836084216535449665839, 355416997888065839, 134366214874726526445, 9485211062731299225665839, 8678965248126445, 1836084354105344065839, 1782579267165, 65444249665839, 8401715267165, 338361234227265839, 1690828873561, 338086087884872079, 43347312640126445, 1747974515979059265839, 8672162611582441, 1746552834827878721679, 223932150785640897645, 9030036350873867059265839 ]; SMALL_GROUP_LIB[ 5172 ] := [ 39026821209017280859, 271615260982349100, 38845790499489760859, 18598277624471, 7510422036800859 ]; SMALL_GROUP_LIB[ 5175 ] := [ 2185824370584737 ]; SMALL_GROUP_LIB[ 5180 ] := [ 930533219422897627187, 4820162833754443304388503, 949401274596069383, 79751928390270116979, 24979592743677128991470859215, 24979592079120535469847819215, 15285200575010166231610319, 2891751597006777754750769, 129869325527959937946545706382343, 129869322085556783504538359182343, 554212454690963714672266458119, 4820162453934508275741647, 569654649726573023, 24968443481506182315160253447, 4921706166349041897479, 25679425756049825, 4917899171747456782343, 20654598719844672016391, 25494437941590729999978503, 931329367262662463495, 25679371578356129, 179719866989353439, 2979773161023, 179793177148592135, 4961128813601, 34681463640071 ]; SMALL_GROUP_LIB[ 5194 ] := [ 191154902535, 18951724849, 992635633886727, 97351301024697, 5155754604152090119 ]; SMALL_GROUP_LIB[ 5196 ] := [ 1078270830903640100122647215, 18260950533279843167, 207524597446549865487023, 1078297808303143259564213087, 40127787188757726047, 3521859677061983, 277987851705616128, 94924175428234682708399, 7686793098953567, 18946713638737, 39942508949674132319 ]; SMALL_GROUP_LIB[ 5202 ] := [ 62061062086724074937658715204826960383, 21789932166183476179611496187171327 , 1699026312119063149553914367, 314788268574761051523912191, 454766695594266307072511, 3371670093664451630962053631, 1660718593444452627382276607, 40928547715348959743, 7867849120944639, 257832260095, 1344926260400639, 17314095089, 1340837451538207, 6996310324496306687, 89421420494609, 6975036251967648031, 36394806321703110578687 ]; SMALL_GROUP_LIB[ 5220 ] := [ 371793838946183551307787, 41308376160335414106483, 10135889965926329069472287213359, 10135889897083436199113624045359, 6253234101815871615265851183, 1940763991036559706264094511, 229489954850812746047, 1940763838023046008459719287, 76505748472237940519, 215629722244537232438033503, 52909345622135436971441615732896895, 52909345262775536188169393995936895, 32641882011478738011065725645951, 10130788033210400154525804164223, 1198248810106457038018879, 7915506756041615503, 1197937626000549002893631, 1996515153988465036646719, 6254858788782927097082435903, 10130787234479770730029049001543, 399518268603917970506887, 1125587150115845774693914005039, 276186784147546980991335118309493664063, 276186782271688298902654120842562464063, 170390624099919012992496994664933695 , 52882713533358289298933743019714879, 6254859864917371662083578175, 41318931599480326262383, 6253234407930759748736801087, 10427426525655364191327902015, 32650368494868704722089753467199, 7913483711153263629, 399360039397069280576647, 2085485362110365845211382919, 41345303134726132403823, 10421809104032510217081346367, 32650368494868734029347301120319, 6258851676598714663638161727, 215684796558712930656390767, 32650362877600066074432399759679, 54431166463921064689546978416959, 375387407435162855389044555357, 276073223788887696736614581783703139911, 56826139342125944896937295929488967, 30678286237783825720615750316671782447, 7525649288706090690975683195718401461744658751, 7525649288706088815117001107037403994813458751, 4644078970674925598639174717191032547928383, 9797610112440506102270758155603503, 1442288757926903392261515288140940070709567, 1483162196275512728749348764484633979199, 7913481860712321264, 1941741713245935541392529727, 41318931595779408727663, 371828157564536686707847, 2639174996579144717, 371981171078234491083071, 7915503055124080783, 71231439757663821607, 505545335267813, 71260747076893432127, 1516142550080455, 13643309127850303 ]; SMALL_GROUP_LIB[ 5225 ] := [ 164621151 ]; SMALL_GROUP_LIB[ 5229 ] := [ 24595988483 ]; SMALL_GROUP_LIB[ 5236 ] := [ 7066050809348249871, 36997854228995424407711, 13763189011383711, 36997848110969130094687, 7646330948159839, 193720764810304422459475359, 72146811899858650527, 810530189086553, 72064070213659788703, 440384548197787239839, 377760707105370065077663, 7078750057079506335, 810529249562457, 1350767415920991, 86033566197, 1351935647024543, 154753041913, 257832256927 ]; SMALL_GROUP_LIB[ 5244 ] := [ 320606545172478260079, 2658186324587459, 320442744782534314863, 61106554264662895, 173131957779067759, 10185904789426255, 908088170960798339951, 7529009099210715, 907904006199492009839, 1014715140048945539951, 4762014368527231367293807, 527731917763, 1328449989445084, 13957128062760775833, 1773838906223, 1436090479555, 9331567835122543, 85096780275, 9300494979868751, 7529004481556443, 48934773438623971183 ]; SMALL_GROUP_LIB[ 5247 ] := [ ]; SMALL_GROUP_LIB[ 5252 ] := [ 139817690396900110099, 15536105756900990011, 3864835523725318628900001199, 3864835638119626417700001199, 8240727367265547300001199, 734322781471403300001199, 298755644800001199, 26678225600001199, 566400009911 , 5072000001199 ]; SMALL_GROUP_LIB[ 5260 ] := [ 200260556808982140871, 277036300349290014357487655, 10013022796489165335, 3313987990250264343, 7388414086433, 629824599049751 ]; SMALL_GROUP_LIB[ 5268 ] := [ 26413709455512212843, 43587180955981039979, 5021848611607403, 297826597183805388, 139191167872288656004685, 8235878832309611, 20021441654191, 43388679552330118763 ]; SMALL_GROUP_LIB[ 5274 ] := [ 1083396983582551, 3954852804861, 5713699713822588759, 19642473549843029, 30134053722531012970327 ]; SMALL_GROUP_LIB[ 5290 ] := [ 2526218639, 13381973326479, 367324037, 13332318558987, 70790769760981775 ]; SMALL_GROUP_LIB[ 5300 ] := [ 8924937452036221961123, 524973030639621897843, 250822049956752000569057928335, 250822048731892044350628488335, 147464566460456919720453263, 47302171980276742301869199, 5249717748101161087, 14759475157580429359259181151, 7045595148296895708182134075105678463, 7045595148290403950414176399073678463, 4145936569872423250105810448749695, 14759475332560423104749101151, 7045595148296904982121802586071438463, 4145936569881697189774321414509695, 13911434607979734523306079, 1332482924372795154176182372734079, 1332482917881037386218506340734079, 3907621804249981088077715805311, 250701511512964345136389493887, 27848066322627789463679, 99139132083608399, 139110779788038748446847, 147594751513074388009525375, 8929234033181490258047, 99138791420795727, 1684760276929814655, 18736454707727, 317741071999103 ]; SMALL_GROUP_LIB[ 5301 ] := [ 69929890886303147, 11490610575151871398439, 11490843652776805798439, 408909850588439, 8870899708439, 52839514108439, 2514268787, 1684828439 ]; SMALL_GROUP_LIB[ 5310 ] := [ 613047723218995, 32345261728825, 3256740836314136627, 10837763161727, 3255471893898287623, 171361120907829097, 17293296344161221997619, 57134795982640055, 17286556990990613211151, 909927044302940187721, 91827403596232616402832947 ]; SMALL_GROUP_LIB[ 5316 ] := [ 46028740437550401907, 311670034800922668, 45821011914594932339, 20762898512747, 8619045495817587 ]; SMALL_GROUP_LIB[ 5325 ] := [ 691488357979, 1505859180681313 ]; SMALL_GROUP_LIB[ 5332 ] := [ 10593181344647915, 350276947245035, 46302038231, 65420297963 ]; SMALL_GROUP_LIB[ 5340 ] := [ 214528778153946494026007, 7397146252938873810371, 6120221117615892160857392015199, 6120221065839103733164347483999, 3515562611846862990174840671, 1145583757331458527453505375, 123285593395428335519, 1145583675130689550489006767, 41100214938772724591, 39500760757520028614928987, 32681980768068864075834401234984863, 32681980491580813871953543438376863, 18773104347262300646959874940831, 6117417264149983104278768492447, 658510352411014643851167, 1385584887631333403, 658345089175668413964191, 1097214994742507028357023, 3516445281872658972429787039, 1385234304826378688, 214627154317039063015327, 1385580159153358875, 40176954283114126191, 87139094132905, 40192344803424346015, 260066288614443, 7523008457482143 ]; SMALL_GROUP_LIB[ 5348 ] := [ 3407965753570241139, 675068347313121139, 3377920355915, 126150728001139 ]; SMALL_GROUP_LIB[ 5350 ] := [ 6791116097363, 197956432169, 36331612453992531, 1038428710024389, 194374197960645677267 ]; SMALL_GROUP_LIB[ 5355 ] := [ 17314157557 ]; SMALL_GROUP_LIB[ 5356 ] := [ 17489362249694413775, 9647826762838274568815831, 336316649568045767, 30042863035406279, 613089585737, 5600936969927 ]; SMALL_GROUP_LIB[ 5364 ] := [ 4921309539719543496581475, 26397904368406605546244525159, 930001064450032031415, 141598359032132958727334042872503, 4990397777963256664970935, 6244037247328723525, 4988525986028487421253303, 26768493680827047609955473079, 963665873380735942920730955349, 4074370985422906616027673526009648458423, 770196377372583298429930498891524791, 18722586416876521968, 4921590706978120406783671, 6243973623970800197, 917522419845930374839, 1172487596059277, 171028675149059767 ]; SMALL_GROUP_LIB[ 5372 ] := [ 8204957330515289619, 3481609023290985699006959, 120644628933405407, 7861720133421023, 285460117893, 1460466050783 ]; SMALL_GROUP_LIB[ 5380 ] := [ 20413123050742231055291, 229362217147209420595, 591144186330467039739243480367, 591144194357646778544548824367, 331937417557178679765288239, 109822609653458848095995183, 11468105335243039791, 3796178451231487023, 8088821249927, 705378222351407 ]; SMALL_GROUP_LIB[ 5382 ] := [ 909815761558869, 112516310111695238275, 20906039854537859, 19571390470375364973, 605562781026867458465923, 909984305949037, 112516313995637229699, 174151544149, 1773838916739, 929467850069, 9564614249591939, 85096788019, 9545193715058319, 4999944262048109, 51476773813617107075, 454694809139539, 51372233076197867415, 26909697986957827965, 277047996734415476708995 ]; SMALL_GROUP_LIB[ 5388 ] := [ 267678460934258073735615, 1442251547478846201214796671, 49904098687492031359, 333395892444131328, 49681889113290048383, 21913460215361, 9220410558120831 ]; SMALL_GROUP_LIB[ 5390 ] := [ 26507788803559, 142876450937603559, 26583148803559, 770104070529148803559, 143283216496003559, 5017603559, 14758403559, 8204803595, 79568915203559, 44212243203955, 428876980246403559, 4928005593, 79532870405539, 44189305605935, 428876727932805359, 238304128227209355, 2311646926056676803559 ]; SMALL_GROUP_LIB[ 5396 ] := [ 80065596882881259, 4591862559201259, 209751364847, 848993601259 ]; SMALL_GROUP_LIB[ 5404 ] := [ 3881258765976110026943, 20974325272888636575057023, 3628552836159112319, 718835418572784767, 3522410090309, 132938364617855 ]; SMALL_GROUP_LIB[ 5412 ] := [ 1916742954870476878439, 10373415846088717209664399, 3350522508083201999, 10373412867354414387776079, 372338497945614479, 56140926559032030707814401999 , 18136768414259609601999, 81737030041662449, 18133028215786700801999, 22162511043906764801999, 98156190658095631564801999, 27241185283198400, 1919812624210329601999, 81736938291262449, 354182148915214479, 1690828815961, 354732441600001999, 15112601603169, 65444249601999 ]; SMALL_GROUP_LIB[ 5415 ] := [ 2355740778538386565847, 12531406710743, 325852631, 1752395448023, 2916570889943 ]; SMALL_GROUP_LIB[ 5418 ] := [ 2514632543345020762439, 13624279113319742724258863, 2514284509097952930863, 464062558519667015, 14645935015397741506666823, 2703199895861539426631, 2703199523293248420167, 464139526245546311, 2514702154563912711215, 464143265060318255, 13624656270667393459206719, 2514725540829357828671, 498929791495350599, 86720428452167, 406132258470361415, 11612122978189067, 11922022122786284555559239, 1705463105686561824530759, 2200447423787180822855 , 314777616275234951495, 2703269503140874871111, 2200447051218889816391, 314777243706943945031, 498942321125144903, 2200424221204603216199, 406504826761367879, 2200423852910438267951, 406136532596419631, 188625002229811721243, 64593515861255510895368828231, 9240199106609213138656523591, 11922024141590737210778951, 1705465124491014479750471, 14646314168163378709984583, 11616397104309275, 11922022122970427455917383, 1705463105870704724888903, 2200447607930081180999 , 314777800418135309639, 2703269687283775229255, 11921898430270186228954439, 2202443025657258435911, 75077407975751, 2275073044235, 406136591146084679, 58098605263481159, 87807779502407, 10722954280715, 476112306838544711, 2157973707415, 475744012673596463, 58021344789312539, 2579576987042548266311, 11607715024681399, 2577581200962656680511, 314359555110789508283, 13976148117571490765258567 ]; SMALL_GROUP_LIB[ 5420 ] := [ 133462776548161079, 25849290241079, 239812370148364100103, 352241027417491707216331079, 11990612818607041079, 3969343797942241079, 8332994952633, 732113121601079 ]; SMALL_GROUP_LIB[ 5425 ] := [ 6246803879 ]; SMALL_GROUP_LIB[ 5428 ] := [ 38966982235622139, 1799834007492603, 122037096191, 330622748411 ]; SMALL_GROUP_LIB[ 5436 ] := [ 1140737907677400000022799, 11106108119277000509625149, 209846567160000022799, 1140724383624180000022799, 209849050620000022799, 1021436746200000022799, 5554586102744520000022799, 6767068860003352651, 5552530451809110000022799, 30194730054337286340000022799, 1087010392738247951296440375151, 892257171816405462956726925937522799, 1142780412458610509625149, 20291020020512977500, 38880000000022799, 5479013883403890000022799, 6767000820003352651, 1007912692980000022799, 1253880000044851, 185389560000022799 ]; SMALL_GROUP_LIB[ 5439 ] := [ 21552885863, 913765505, 116965421547623, 42127967322215, 4683441346601, 636174711831267431, 229133798299273319, 14038123124777, 636520835057059943 ]; SMALL_GROUP_LIB[ 5445 ] := [ 530054686640352011399, 17878835211399, 5324811399, 71405363211399, 35829145611399, 454995168011399 ]; SMALL_GROUP_LIB[ 5450 ] := [ 7457656318559, 213324715479, 40643284196375135, 1139943905311863, 221505977176530829919 ]; SMALL_GROUP_LIB[ 5452 ] := [ 1840026019155130399, 471447443103458980830743, 15860672346712839, 565340859631623, 62039632433, 103303866119 ]; SMALL_GROUP_LIB[ 5460 ] := [ 5606250123022899801356315, 167131290753402199308793987069319, 167147986629409759506747277309319, 1020498794413918185851063, 4078351543051317078395063, 30615731735958093264158848391, 1214544867922865555639, 30610126511612206590987203975, 30613184364360843989879747975, 5607276874799750499399047, 30610125672585591378419774855, 187793334595454240951, 167234243049384558984213710111471, 167234243049664582129693325394671, 108524214360364810448085582575, 19876229770684604495037167, 58436076135410486217472355177, 5004931860426364228106627300621849846519, 5004931951585848758311682444286006518519, 5004931860426365757033001619321296118519, 5004931951585847229385308125586560246519, 22646780784682006585384449697028367095, 22646871944165007864065274661738767095, 916654217495800428640214222067065591, 916654217497329355014532921513337591, 4147762048481598844910482179351287, 4147778744357606405108435469591287, 4147792656568328455727573981586167, 10702578081057402915793769, 916654186891275500098849344226452215, 916654186891275780121994823841735415, 916654203587151507659047297516692215, 916654203587151787682192777131975415, 4147762048476558428291849868665591, 4147778744352565988489803158905591, 167885387819744113869999916311287, 167885387820024137015479531594487, 759663378843229291932733006583, 759666436695977929331625550583, 759668984719919696821360124663, 916654186886694414779851319932216055, 916654186888223341154170019378488055, 4147762047462314595364671846736631, 759663383696963813567931736823, 30610125672141028788308673263, 187348853412153264575, 912536847513576011334321574626321143, 912628006996577290015146539336721143, 5571923421977352919773612215, 22267799429537550873063852215, 167161895278334297662246126740215, 19882114701382134855108791, 93700068390475926809, 5571923417499170550940436663, 22267799425059368504230676663, 5571942832436605877385955511, 22267818839996803830676195511, 30422701883996345434582620833975, 121582184885275026259547331233975, 1020498795234247202834615, 4078351543871646095378615, 6631414979104370820909239, 6650829916539697266428087, 36207550236785159398694586551, 167131290753405756297368286126839, 167147986629413316495321576366839, 1020502350263378478368951, 4078355098900777370912951, 30615731739515081838457905911, 1218100717383158073527, 167131286172320437299343991890679, 1025356084784939529144503, 1025351606602570695968951, 1044766544037897141487799, 5598444222924796582173870263, 187794154924471224503, 34225498814941367, 17111282501028089, 1020497871429755546372279, 4078350620067154438916279, 186904541389384583351, 746950832348615149751, 1213621883760226076855, 186904372314466420919, 746950663273696987319, 222275132366784695, 186870350432814762167, 34394573733103799, 186870269026004634047, 34313166922975679, 280108688579887107353, 5571918378005705133255035063, 22267794385565903086545275063, 1020498795234235736656055, 4078351543871634629200055, 6626375485638953135507639, 17161378235157785, 1020497872081009645193399, 4078350620718408537737399, 186905192643483404471, 746951483602713970871, 1213622535014324897975, 1020312113137153010567351, 187794154913005045943, 1026819957416216360987, 5606437848184537931969927, 1111237413354604727, 280040258131945457907, 30628982430313145265096098543, 30628982710336290744711381743, 19877069840121020408529647, 10702951445251352803814249, 167885383238658794871975622075127, 167885384767585169190675068347127, 759667970476086769643338195703, 5606437403621947820868335, 666756230053628351, 30611150654196083814163669751, 6071835238944208849079, 85542927514733849, 6067357056575375673527, 25482294491901821192375, 33152220404730402054342839, 5606436959059357709804759, 222275046752655143, 30611150651084145683385975767, 6068723870661102015767, 85499093078514305, 6067356486727704778007, 8494223666138494014743, 33135232333904638727165207, 1529019800892093807685455 , 167234244069509767334948157990335, 167234245598436141653647604262335, 108528801327059232615874110911, 58438114891070565701267295161, 916654192483077020003910582698350775, 916654200831015023784009559343470775, 4147787118799433766244752638449847, 30611148223772159456322201023, 3641412128654468588159, 167136882571910620816129785436343, 33152227994932305035528375, 467064356110390020857, 33127769530248971428825271 , 139174770428319317816772791, 181011164852330463824024963255, 85486557487704063, 3640489144497562198655, 6067356323908351435391, 19882110222467013383561855, 467303648303464336121, 139133327927162660896114871, 33169208476207416422697143, 181011164852331115078123784375, 467064356121856199417, 33152220405951503632959671, 231888194635260576765839543, 988320960093724333204587513645239, 2550170871469631712283385, 181011123409829307167104305335, 181103878276537405082974030007, 759894246538624267457587054775, 6457751767223, 3326720608505, 34231857193158839, 136804437954922679, 51289423705597680, 187348859467442479307, 93700074445765151045, 1020502350513562659635015, 4078355099150961552179015, 34442871572663, 15656684620025, 188253250715125943 , 9394622302743, 188171843904997823, 85542904582376729, 1027863591157690271927, 3132559988629, 188090437094872871, 85499070146157185, 1027863021310019376407, 51301947829921791, 1027418458719908274815, 467064356087457663737, 5612135209131003004848311 ]; SMALL_GROUP_LIB[ 5475 ] := [ 97176252383, 376830369353883, 2925626364733779935 ]; SMALL_GROUP_LIB[ 5476 ] := [ 902698823490040403, 27247479322258819516634639, 27247478677574879230989839, 182869891298678052886031, 6098391857259791, 165934316926223, 30152467727 ]; SMALL_GROUP_LIB[ 5484 ] := [ 1661457047815626182151585287, 39101613310326473615, 302967488234564097883655, 1661473705440181844083544975, 55490910342649086863, 7139356201452431, 364230998320052160, 214488933096180231590855, 10073963663328143, 23521134979705, 55248148018866881423 ]; SMALL_GROUP_LIB[ 5490 ] := [ 3072766913574912219839, 16869490316417789337826919, 3075145021253837026919, 560142729216219839, 560307655065819839, 3076054288516915426919, 560329900646626919, 16887538027984716288651719, 3076195727736115851719, 840076838093019839, 4612019255615693019839, 841656572928219839, 4612017701311488226919, 840102268723426919, 25319985712025751245019839, 4620693827308032219839, 108291686619839, 153678643419839, 751771238619839, 38320128223143, 4129009269350619839, 12839731430341, 4127454965145826919, 209894917939628463, 22668263955015782619839, 69982059111260461, 22659729270627226251719, 1152322471110771147663, 124448769123737852160219839 ]; SMALL_GROUP_LIB[ 5499 ] := [ 4728295069 ];