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 col28.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 13508 ] := [ 167544877770448237043, 18507072491485499123, 40682130394779, 1369444675874291 ]; SMALL_GROUP_LIB[ 13509 ] := [ 20752102661284299803, 22146128308778700745805831, 22146238982561285312155655, 121353252272840951, 5641394801016311, 13833991039417847, 114895220483, 418122554615 ]; SMALL_GROUP_LIB[ 13516 ] := [ 1361656774227999734459, 18404155833580249353792935, 2976039913042504871, 100959031959960743, 2024407584065, 7457656286375 ]; SMALL_GROUP_LIB[ 13518 ] := [ 155605424625000563999, 2103473567449687500563999, 155605743562500563999, 11542500000563999, 22174505073431718750563999, 2190417187921313251, 1640368761187500563999, 172125001124251, 121348125000563999 ]; SMALL_GROUP_LIB[ 13524 ] := [ 500304829588647276229519, 91518570185937696480818575881103, 274461014847678553242225748915087, 294222783291635173500178879, 91518585188274951883964352099215, 1237697143194621407216727969411093391, 882363816500683360817435071, 274461029850015808645371525133199, 3711810764800004754057998577522693007, 6767124015696171066149221263, 20294367779504279374446113679, 152266687103649376162239, 47362857404523499545532887951, 47347853806819586994292511631, 640332391929733796088950122599311, 142038561413924854557834916751, 10502703353550194206094223, 2182867475967874150921080387744552389583, 399243350040878295979381837626758310778208240063, 29521099260923819971347978132685715095601599, 53884517499678820889267077811696063, 29521099260923809972861860406784586845060327, 399243346404733606073005111174403787706479201279, 3638829513452687792225619508527474394939, 1131865197818485300518661086999260280306763591, 1608435748381701343, 500153704384304179508111, 36982678330251981711, 294222735060186682466701759, 91518568140859990323000987882383, 882363768269234869783957951, 274461012802600847084408160916367, 21755603626305532891583, 6767122755247661660685063055, 65244292860929030918591, 20294366519055769968981955471, 152218455655158342685119, 142036516336218696740246918031, 500378789945881684915087, 1500618642342222139536271, 11255434968957243839, 10502552228345851109372815, 11934852873181151717119586945999, 161406950256903471029157314337096127, 184903386761816224655, 2501893939715463101199247, 56274778751900373439, 17504231195118608877417359, 33835613640797422167400633231, 19895341627194727727105852294971, 6188485552989524940744409899079403335, 36982675079423416727, 2500858494733686351286879, 8040002283130533831, 2500633414642542273524319, 3500873261569842512761439, 33821610282781841077659079263, 33835615418968422345138746255, 108778003097243549469647, 33835613640835703917826098063, 331417929029532211314888086415, 6188485878212967861628713157301310351, 108800511106118498888655, 236727222682913735023336326031, 33842615319764196434481959823, 457592862926129027724809069974415, 10293533562087922511226874831, 457592838878144460976609106748303, 3201824199509494525536172618224527, 269064600166181497194750412741213415, 83693078618528884971358573464832236760527, 294527384198885161408930851, 21778109959900796275757, 882668417407933348726187043, 4823620442432485980, 1610341604703359423, 126317911618783, 4826009249972769215, 6177982742766210299636130703, 108778003095937412975567, 456816156994130149683807, 8040001412372871111, 33767244773667608983, 118945496783675, 456816233557645513200527, 8043330260866896319, 33778182418719503247, 594495281607903, 2496694421074831 ]; SMALL_GROUP_LIB[ 13532 ] := [ 2161581607875915331539, 5820538213095466125949841519, 31786240623719158367, 2100124184565981023, 11852986325613, 155072472043103 ]; SMALL_GROUP_LIB[ 13540 ] := [ 13231193980451635643297491, 58806593687822120121907, 2426228356445344122137911723891599, 2426228368696416081184760235891599, 539055301890289844318776105871, 179150368455031466530410912655, 2940329460852159310479, 977407541267478100623, 327440837711471, 72177315983534735 ]; SMALL_GROUP_LIB[ 13545 ] := [ 1160138413188645407, 1247211143304987167, 86720431567391, 1015202890794740255, 145107926088231455, 2157976815587, 74960311747103 ]; SMALL_GROUP_LIB[ 13548 ] := [ 2323148050991519639290283196071, 8311168921677086197967, 171468916659708603253292711, 2323060882902201120255565371599, 12679656628916614203599, 112612414223969109513055847, 33691045577969101248, 613806414171736271, 12657198116384648923343, 880714808911321, 934231183892547791 ]; SMALL_GROUP_LIB[ 13550 ] := [ 332556050710299779, 4506125178571089339779, 334036177668219779, 25169045979779, 134416561523765459979779, 110648822228090913, 9920040879644859779, 8332995171333, 732113121819779 ]; SMALL_GROUP_LIB[ 13563 ] := [ ]; SMALL_GROUP_LIB[ 13572 ] := [ 13895627334187741627145197947, 6287949233865271390345796235711137807, 6287949233864806012389992611148122127, 5469152162922666422809726716921871, 462973362800269685392021658978319, 5400571975134332082739743, 34112390421505231235219376143, 188591454179592563311971028139111, 85340047002019463309771114518156343407967, 85340047002013147200154947725587094599007, 74227333155186428690056064680614065503, 6283474479925260168965748337319507295 , 293097179889166196318622734879, 186240340778632700012695, 73296562846469223590901864991, 73301961230727237391373851167, 994780983526336855309680072743455, 462973362800667825228950767564127, 5400969734069929465895455, 186418647489753870567499, 13721415512030731215, 5398569612171354055924255, 397772595684003830303, 744680172926329473247383, 73269386776360798386893904415, 13722425985881647255, 5398569641478611603577375, 2513150702849324436613259, 1023858941240551365876091, 463303063720841435747279919302671, 463303063255463479943655356286991, 402970307348111139767195977743, 34108483324624026956383569935, 2187687796496570276383, 34108481335682807438763237495, 198893113575097792423, 13895813547104284989393173607, 6287949180819259963956876897217574239, 6287949174503150347790084327968765279, 5469113011328564098160810020992351, 462920335681796145869167137551711, 29693699027005314896517663, 75443612649926994071, 29691298934413997034199583, 35089683192427797506185759, 403002883194633795689402882591, 462920308687885474966232572116551, 2699788795712168769335943, 188593981461297695520377841536567, 85340046282078996230823798937699417942559, 85340046196356756520208090187854582737439, 74226801789751271941732817863496264223, 6282754795873337293016332851396045343 , 403002890765621869367185660447, 1023920675343848899153527, 402970309138407288326679452191, 476339933737903774596424817183, 5469555233471020122016670733589023, 20574245618345837069, 2699377351267176231449223, 36641533535376679852169212551, 1024098967937203295555191, 476237180288183144620441754143, 5469555233471020151323928281242143, 403073062190398289037597628959, 13896651227424610924894424695, 5469555130717968160323217363065375, 6464885580690830194207738048305695, 17148237980202069118654921393757, 85272569009442009997804364185886225088071, 6749340577733116723305732410495745607, 34740952098220825225619984903016941506103, 15719568027952942359123178884200371796504741243423, 15719568027952942273400939173584663046659906038303, 13673621854433010544734800307487814046826457631, 3025566464486462615845083958058307127, 1158418531194442583013358480312522734484941343, 1190826648616617183326355410565731936725535, 186418647486052953032779, 20574243767904894704, 1042178377800655, 34136685626885532106570357279, 1023920675340147981618807, 2513239884769275405906567, 6859428965643452941, 2515228825988793026239007, 75443608949009459351, 185178296922395408295, 505545335274085, 185324833518543460895, 5558531409337295, 13643309127850527 ] ; SMALL_GROUP_LIB[ 13575 ] := [ 423208039824169919, 31308048169919, 13006803642044308009919, 80263658638192143, 70443100969919 ]; SMALL_GROUP_LIB[ 13580 ] := [ 2340583625696246315431007, 31785126340018949282859614783, 879880878564908756543, 73910742204619991079939, 431714605324719948300909801603455, 431714604018995565866306970550655, 97359614210637428510792319359, 7025905824111599865640943909, 5870617010970981023518112563530329663, 5870616993239243910056206117833305663, 9254814222264582324465968156274239, 31785125988045759800859132287, 527933605671484831103, 431642015699920940811206308949567, 11952305373795542542347839, 9073620277581929765, 11948782532175448013565503, 50184334051982490193653311, 162312306976109055083072745023, 2341329505049509292437055, 9073612971842559269, 172384190494131926399, 401815665432483, 172410107082710216255, 668996990963621, 12692156640685631 ]; SMALL_GROUP_LIB[ 13588 ] := [ 834095195507421899, 19890104303620043, 778204543391, 1460466052811 ]; SMALL_GROUP_LIB[ 13590 ] := [ 13327854035023800003398099, 181125536326518793140003442799, 13329308136754620003442799, 980818061760003398099, 980857806840003398099, 13329849196987380003442799, 980859979260003442799, 181152650583197017650010147799, 13329883388751930010147799, 524337633720003398099, 7125747817098420003398099, 524715853500003398099, 7125747441362100003442799, 524340117180003442799, 96838912834052062770003398099, 7130888265685050003398099, 72783360003398099, 38646720003398099, 465391055124237560625003398099, 689429198839410502897653, 34240004119819890010147799, 16911881460013477651, 34245110752145010003398099, 50730638580006727653, 2519499908340003442799, 1253880003464851, 2519875644660003398099, 3742200003419853, 185389560003398099 ]; SMALL_GROUP_LIB[ 13596 ] := [ 1506999655124458759593119, 110692026584396487839, 1504968327108107525387423 , 110841443164390507679, 2279896699006821014687, 253338101861731819151, 31000013558983832591105183, 22136743790095933731, 30997475628584543577614495, 37885748263014353540338847, 421476184347977386646671889567, 1505479736488569132169613, 7378430332255778268, 8185390095543455, 3379539985517867084349599, 22136733897531937059, 248419627154178750095, 182305822328323, 248568682655586808991, 1629446612615403, 18271565701864607 ] ; SMALL_GROUP_LIB[ 13604 ] := [ 21277490471199371907, 1239191343622360963, 8769859509539, 91007369604739 ]; SMALL_GROUP_LIB[ 13612 ] := [ 947185683070671, 81020222671, 167285855141980939195, 188988201206784015661250015, 1019978014162580175, 25597970108944335, 904243526681, 1876486155983 ]; SMALL_GROUP_LIB[ 13617 ] := [ ]; SMALL_GROUP_LIB[ 13620 ] := [ 5375863562121294877561775, 16620768691114117892694488859695, 89597706206615503903499, 29867351270408578508879, 73219261649421251436453722253, 226374869572974300594712196481805611, 1220440479408001242609105675, 394742915144392729577, 1220320764358976426506510091, 2033848194204494071019569931, 16622399329536360780994915058443, 394703748217810114220, 403269502315654660725024523, 394742386881378120681, 29604241008710586921039, 9735132697996591, 29608626497325579985675, 29054465803591209, 2173500440535882507 ]; SMALL_GROUP_LIB[ 13622 ] := [ 4722265654334677410479, 12653798079743291, 346664585822562863, 940050956243 , 25451006228783 ]; SMALL_GROUP_LIB[ 13626 ] := [ 11003574058875918542890401911, 807542497066274554306679, 59377758763339046519, 809080755415697141952119, 59378088029965536887, 4390221687111287, 23446219506643321440990839, 2279418779445330853, 1720697148132624821879, 177699450359341, 126281590941212279 ]; SMALL_GROUP_LIB[ 13636 ] := [ 948434497440270094691, 188974692856135130723, 144603922913987, 13855198072917347 ]; SMALL_GROUP_LIB[ 13644 ] := [ 104696654461767794435762195031959, 7673914682558613366975512855, 7673457524660238510793398167, 1428481162445495670542182719848701265, 17843469777940676525554845617, 562438553896439967187223, 7673911232557394627583764759, 562438806279309172054295, 653870168150580734345495, 8922715649775520746962149655, 1725513030557225376895, 8921404650624444968005367063, 121741532325490789836913082255639, 4382695234454707938832257286203139, 22663249776443267553182183606789994403511, 7675222327768551405996966833, 5175503877418352525628, 41250522966713446679, 8874332881163902851679296791, 1725506115958069079167, 650420166931841342597399, 127426184452057807, 47668258783637209367 ]; SMALL_GROUP_LIB[ 13650 ] := [ 85511617967580983, 42754256463226745, 15933900829671076647692087, 63712850027130434343692087, 1167318911198671431479, 4667608229693862471479, 7584430517932954511159, 1167318742123753269047, 4667608060618944309047, 555635934228408119, 1167233434037334861623, 85680692885743415, 1167233352630524733503, 85599286075615295, 1750358417902591306649, 217497746325010518906162931511, 869680402870330751456562931511, 15933903138205397121787703, 63712852335664754817787703, 103527476570441364901750583, 42804352197356441, 15933900830322330746513207, 63712850027781688442513207, 1167319562452770252599, 4667608880947961292599, 7584431169187053332279, 15932736375099221356341047, 1169541968357808957239, 15932735263652042673517727, 1168430521179126133919, 23892392404333958580968729, 2968844237336393586805658286319415, 11871137499180014761118618286319415, 217497777836507428113589495607, 869680434381827660663989495607, 1413150055186528701313825138487, 584279391948076784921, 217497746333903561657634547511, 869680402879223794208034547511, 15933912031248148593403703, 63712861228707506289403703, 103527485463484116373366583, 217481851520108274983655728951, 15964247872008428782905143, 1195739882008087744412433113079, 16321849389410408380827935671427607, 16321849389410401969571983387493559, 222793244165452074453864547091917732119, 159270748079983995638544663, 2995693681511658861119020891403423, 218843642569753657638856979615, 28262594230451803014676430222495, 4466364950891515359653879134854425, 553164084310436907309201885675222659262263, 2211861620590295013560128375275222659262263, 40524940257242851597476496502922438455, 162041243281408280626848400502922438455, 264905550484205225559722475198198081335, 109923448038865282556323470617, 40524940257242820094872630046967490359, 162041243281408249124244534046967490359, 2968860092105712306777027244746551, 11871153353949333481089987244746551, 19357543575332295234289881450309431, 15218319969704772497374673673497, 42125661606568605672540651210428671799, 3185044874328615532954730691847991, 1620227265180129329416683185967490871, 15964242867355718994916511, 37926468202575301735583, 7983580143990474383858969, 2968847773577755852236822923994935, 11871141035421377026549782923994935, 217498005390311953154052220727, 869680661935632185704452220727, 1418135060463903761224600414007, 217498005390311784079134058295, 869680661935632016629534058295, 103892678422264019832301367, 57176478108225921654041, 222466856797483334894431004471, 16191801676533469245630263, 5072637949043257353169823543, 15933919808814093453780791, 63712869006273451149780791, 584877666268065340697, 1169541602044362650783, 213730485652715799, 85517890731665207, 341949342636074807, 3155492366201, 6286523524919, 1196185968270902172655733860151, 39828046498595872895370137, 87617500410952149404327327, 1750785816155811078135, 87632671665348204040092599, 2917805385083090714105, 6418864091864929736063, 128231383401306879, 6419975376229992302615, 213714796098424193, 470165034189785639, 3132560050837, 87632671668197442394548023, 2917805604255271787801, 6418864498898980336799, 128262693712853271, 6419975946077663160119, 213758630534605721, 470246440999872575, 9394622326935 , 470327847810000695, 15656684644217, 34442871596855 ]; SMALL_GROUP_LIB[ 13653 ] := [ 6108368152251006475, 32849987195 ]; SMALL_GROUP_LIB[ 13660 ] := [ 62006999277493937591191, 578511615665543454169831427255, 3100349732293169041575, 1030625596339669417383, 339221646334013, 75438740306955431 ]; SMALL_GROUP_LIB[ 13668 ] := [ 719658475805756959433739083060039, 52652800602758850981316264775, 107608500180266849690915, 7853742664088560931, 107344903057232304352547, 7873029707848949027, 57499787266226273900859, 52652942427265441310081913671, 281846538363674977571, 18791014744131850175, 785907092213402932014174585, 719660417095864083578934079718723, 3852579672504825942017315, 4206995006227077717, 3852278498770995909552419, 4365913195568690931387683, 52657058963801246259710496035, 107383024052550316650953, 841349725488594828, 579639628141859, 249433028802632158392611, 4206993884137089621, 18230169241653876671, 20678515564543, 18249415329129639203, 307933552456149, 1333844398712099 ]; SMALL_GROUP_LIB[ 13671 ] := [ 168730008768841679, 2307867066268532041679, 6921238997967322441679, 5445664992863255, 16146823544705261641679, 16146932401737965641679, 31550850662745851108041679, 31583144266267742640841679, 31583144375124775344841679, 297805886408823241679, 5451217056863255, 21783753274441679, 130640785978441679, 401242442375, 297805713619882441679, 1785990207716266441679, 5445643220063255, 1595636041679 ]; SMALL_GROUP_LIB[ 13676 ] := [ 4963608801597479327695, 17852691572189786471172737111, 95452106916571910727 , 8618398809254928199, 26688760909097, 629824599051847 ]; SMALL_GROUP_LIB[ 13684 ] := [ 181107404282804163099, 20006710186675683099, 42851374495799, 1461379630403099 ]; SMALL_GROUP_LIB[ 13690 ] := [ 5656233913456348223, 412146995880383, 2633684511, 413165192496191, 30152471615 ]; SMALL_GROUP_LIB[ 13692 ] := [ 483373813872219501540358535759, 267523087190438606983321401935, 55882389100954534144293455, 35319693650798094292859471, 2578391042165225781839, 25039672378445257835, 483373797503755330204796518991, 267523070821974435647759385167, 35303375246962348106707535, 19538642068333886628688463, 55866020636783198582276687, 35303374051405679140567631, 19538640872777217662548559, 4080194454495591299663, 35303325186626758730842703, 2579586598834191921743, 20399793846910743591503, 4080194283113164526039, 279338506128052940761979471, 125163221353785819563, 279313978460078525411229263, 391037956477857933406773839, 3824702825905422025147518575183, 483373850597280984340795258331, 267523123915500089783758124507, 343237234935592440423581, 35311533854168918774361689, 75092031544751022780, 2578394912551699442255, 1427012121240827292239, 2285099025091691, 188749179468278351, 55196967710517745473570383, 125163121380703474091, 4030137767923721148887, 1842361089095287, 4031329675575181574735, 9154677969116267, 294335036294003279 ]; SMALL_GROUP_LIB[ 13698 ] := [ 24328325849396793651779119, 2340343301967999161, 1776049472825713219119, 181490238594441, 129658760806979119 ]; SMALL_GROUP_LIB[ 13700 ] := [ 19315797003361211704442695, 429227403395320428740547, 3625993482371740746634339500664863, 3625993473358184671435683480184863, 805616620839042663234674599967, 264626421802713491975496771615, 4292272497184504601311, 80589131969085833057675489193883, 680562769231221721674482154283412814912223, 680562769231098235956251932695932238912223, 151257741788778585738982297187791755999, 80589132112158151711622410153883, 680562769231221741275389809874140986432223, 151257741788798186646637887915963275999, 29401790752577390052150488987, 49720257440826583928019430167910374111, 49720257317340865697797842687334374111, 55183680039230586226055142887217887, 3625381978711481948968643978681055, 58824183917519753273465567, 31341189633723997019, 294015024983895477292423903, 805891319671016033851773344479, 19319056754338115269745375, 31341147946540735323, 1410150022644095834847, 2292795079467131, 102913744849394399 ]; SMALL_GROUP_LIB[ 13708 ] := [ 6785857961452595910243, 93020550969297828816137655, 10536538824576101559, 495772143020620983, 5174003791121, 36125907627191 ]; SMALL_GROUP_LIB[ 13724 ] := [ 184005711949571530631, 2525294997271996853984495, 620321331323735279, 13452429270125807, 620033610789, 977778380015 ]; SMALL_GROUP_LIB[ 13725 ] := [ 1399463118041987039, 1024796924046438003587039, 105106649987039, 29055320371826393987039, 1923566264538188583, 152981926787039 ]; SMALL_GROUP_LIB[ 13734 ] := [ 38665994938579725502353601895, 7293286530044111809920862683422245079, 5176106511938451101095805195851382999, 531038774578709862771151014052055, 376882664333649377200664812830935, 67978931258942224689826916567, 4949682008706971612375255, 531038774577261725037314013708503, 376882664332201239466827812487383, 4949681903266108081268951, 531038774487893773042073160106199, 38665996386874839657391177943, 2815348401560071261615463, 38665994945349612534653436119, 27441580335981585334239412439, 360396279116242053335, 205013308774182119639, 3307471136242635641, 38670263294901575378221689047, 27444849708546590385832224983, 2815659293958858336528599, 1998314486447937629350103, 4949830789945358516250839, 2815659188517994805422295, 1998314381007074098243799, 360407076444227856599, 2815652681452144073926871, 205118749637713225943, 2815652576491809597103463, 205013789303236402535, 136240667540843574805601, 531097396092178071244813496346839, 376927565897178707359336596891863, 38670264743091788912275482839, 27444851156736803919886018775, 67980976069151179791589828823, 3307951665298097249, 38670263294954055075275139287, 27444849708599070082885675223, 2815659346438555389978839, 1998314538927634682800343, 4949830842425055569701079, 38670173927002059834421536983, 2817100871665678127720663, 205013795885826140375, 145501286237441059031, 255780632892281, 14940598071158999, 66753597337668917931775666391, 227063373121061618935361, 4859021260235774916741671, 3306975561275156317, 4860462890429814716098775, 16532940644204102753, 353795050259019537767, 242615453370805, 353900010593496361175, 1205554301735801, 25760494936221911 ] ; SMALL_GROUP_LIB[ 13740 ] := [ 5944273039425959783192644264019, 1122404361168009652510185803590371525071, 1122404361167981066147543728244623557071, 247174669505486197857068571104788943, 17989422817279823753490869273039, 81674311561776145121488460208554447, 253561038929627217602989727, 18449582950583159148191, 253497240919765759183015583, 18454226481249324224159 , 432623739838699039665659987, 5717411285435400444267891, 81688818111644417995058303901516239, 81688818083058055352982958153548239, 17989601958485713540269354140111, 5944250248850093434358296625615, 95290167368805902896799, 5944250185320219737971885601927, 31764917053082912449271, 78557230991593684681542265767, 1122404360853994303233130630038351164063, 1122404360461217680531015379461270844063, 247177130909593719747559413384131231, 81673998419200282154979455144473247, 1309414224424893094112972447, 416155403650357596183, 1309286905788234589863890591, 2182123840502749802873736863, 17991351443597381541693077573279, 253561038947036664961724579, 416114472727803330288, 1345121120969346719, 432702254084136822466170527, 416154851595488530455, 31487534126684038849271, 10173582587276125, 31492157507347482922655, 30363017798718783, 2291579761491889823 ]; SMALL_GROUP_LIB[ 13748 ] := [ 55606715180367682939, 4058419904002939, 996211602697877442939, 198500330881418722939, 149423642159615, 14435061704002939 ]; SMALL_GROUP_LIB[ 13754 ] := [ 477270171378639407, 34672837761979, 1326836621, 34700423743919, 2526222511 ]; SMALL_GROUP_LIB[ 13756 ] := [ 18206469779005799110979, 250448219689357151367843239, 22750004312570883239, 1325096679513603239, 9170703392237, 96241996803239 ]; SMALL_GROUP_LIB[ 13761 ] := [ 7624859478959 ]; SMALL_GROUP_LIB[ 13764 ] := [ 90418441808191791696833843, 17129565781294100511740670543552119, 17128996887650138249371454515601015, 64609041054286207317051719, 23277041347641164508563783, 1244837172809816588287070854775, 27791512653080259332423, 1244519455194282296166788193911, 1244478123194575651123979705975, 90441526650016596564991607, 1244519433062071754551439285879, 4706671927772986345799, 340927169604749639, 54571743541594649, 64609026901468679430146375, 23277027194823636621658439, 4694059943288126376263, 1691153832662941632839, 27777359835552372427079, 4694058914968411179335, 1691152804343226435911, 2018116868890560839, 4692519110245099440455, 341955489319946567, 6569266224839376366899, 90419394439474981216083575, 14631129673465727303, 90419380311874193842653575, 504555228320404247, 1244532545064933480907545390407, 201398031214522193021255 , 395465775747019121, 201382869429286213683527, 215271310117603989457223, 2772042501637000818292361543, 64609057706837084944426295, 23277058000192042135938359, 751994677515411131357, 4693554396068172383843, 40908071147009904, 341039232294324551, 122868198392465735, 4210380769817, 25014615148871, 6583489348274647697735, 395465721569325425, 477285803349480215, 998417536957, 478312145578821959, 28737396673049, 34681463638343 ]; SMALL_GROUP_LIB[ 13772 ] := [ 286201467669758440468343, 3941566780036047545170467887, 188224296064553192495, 20793676938092940335, 43967964216081, 1509162464971823 ]; SMALL_GROUP_LIB[ 13775 ] := [ ]; SMALL_GROUP_LIB[ 13780 ] := [ 831311439891157233240266787, 157888743165061874832963998394617487, 157888743165053594779659961811603087, 35713599663775649558827421404815, 2591698088981102451164581519, 11455471641709182231204149595791, 17756620124797878301951, 1287909488924959263, 17747350159228740793599, 1288580667665118463, 96553574343199, 60328592315033942906915, 13011855776027585019515, 11464729971486995280740745668143, 11464729963206941976704162653743, 9502888262986407062513575471, 831328047556664214268864047, 50044596146946581023, 3548680146710744082547, 11457818823896121253691160792719, 11457818815616067949654577778319, 2591740672112380012928700047, 2471370958767872281371302813799, 2177019688474587490030296583631657440799, 2177019688474473390895766959517719008799, 1804941063401683282994787042011584031, 2471370962316466554529838391399, 2177019688474587678105793061034043053599, 2177019688474473578971263436920104621599, 1804941063401871358491264444397196831, 635708190722270880924033127, 158317303655179100483476085191939615, 158317303541079965953851971253507615, 464274448352258225649468179682847, 831328011158184307755323023, 13648757447884698879, 179303374782291464829132903, 157983979007090913243342837868074527, 157983978892991778713718723929642527, 130949800264070985516220855817759, 11455700495449118337698120013343, 689787583782166409388575, 944475019276131159, 689614544427970196447775, 2444985835639414545130015, 9505272904517190812939002399, 60376159797877812863519, 944474678613318487, 4378791878747190527, 18736454729359, 4381433086199931423, 68570557590039, 317741071999519 ]; SMALL_GROUP_LIB[ 13788 ] := [ 703830589801538672520447, 9705827385894988742548901119, 1837953855225360404851, 9704416253538738322409842943, 133823947996670664760464574760191, 4817662204020667442373081509568375, 25441129435587085961080662880861882366175, 5512770406627645497852, 9653747782433901203261956351, 1837946566949131665779, 700155762317743393875199, 134312519072768651, 50777420485625261311 ]; SMALL_GROUP_LIB[ 13794 ] := [ 2562792840704735, 35351139714254797535, 2567560356817631, 487633621244971516894943, 35416957438821961439, 94152208070190654401178173751 , 1298735558120210713472349902912247, 1381527267553510313870583, 93744867247873349471014897483487, 6751284836779235345268731615, 979723164784605615948163055327, 489436337299801534534367, 2686751126994975593183, 35871333497481986783, 27760993697721591, 187687019231 , 1382352757457041866354911, 53058093111944937783, 100214009234017438463, 3843737457834663, 7260337615712399, 31200602527, 100214060996933885663, 3846461821814007, 7265043335346911, 278870012775, 526539469535 ]; SMALL_GROUP_LIB[ 13804 ] := [ 20026552415103410726401739, 3820367999274327161568803762817663, 3820367999274058509616109442648703, 4453692623891747734295604447871, 322637832594883229377317503, 276446529539665706265015569023, 807649050353589424399, 58393361040412943, 806061075030789656847, 58508405604028687, 4300113711375, 1450782830923164841675, 806002571559759682431, 276758041149946430598913280639, 276758040881294477904593111679, 322638477359569680325233279, 20026607776531221262977663, 1693192200135250191, 20026606647659731406070503, 564402482932231831, 11126059760549440497428443, 3820368000033868203225106020248847, 3820367996325396648232710407925007, 4453701541479176077993574870287, 276447293754912702559718157583, 23382314604630816985359, 58409661599535947, 23372825673700029862159, 132445517895181584634127, 322769470802233608668516623, 1452414424196548432143 , 58409646179046219, 105135104681389719, 1412076286185, 105216877335482639, 4231822971475, 7615519002895 ]; SMALL_GROUP_LIB[ 13806 ] := [ 297051572675568705, 241876045778152875524611, 17519632377080519171, 16399435047217343012721, 3339340688015047795801404931, 297073038167494513, 241876047047074287963651, 22179608106049, 1614345251389011170126811139, 22548907925338264218705, 116843099079392570620239, 148498649925805303, 116930700519071161120259, 1633268813967794033, 8463211568569762599, 10837763188639, 8469556280649007619, 118375256024129, 613047723219459 ]; SMALL_GROUP_LIB[ 13812 ] := [ 14237200734307800002299, 37106552809740427500, 14212465392429100002299, 951459401321351, 1028975357000002299 ]; SMALL_GROUP_LIB[ 13815 ] := [ 13710897299444759105543, 72105597626579 ]; SMALL_GROUP_LIB[ 13818 ] := [ 46645914812849575, 30284990018036433325727, 2191705821850031775, 8907680384085534236170519, 5785057272236644291931362118303, 26714020250135855345391895, 17349313472883561135030747875999, 644643348341642750231, 418660969192530612020155039, 1933277004880238864663, 1255558942896895704153559711, 13530886655932948273431, 2929171913185870276216195743, 30298231957557489284767, 90864013814871506663071, 979221910487834903, 211982335589925758938783, 123246611021907852657699513095, 1703021671100823229376261117125399, 46699985861095703, 3585403596199, 139957595973890327, 400794138152931344715126943, 3223216314919976821511, 29005216151562446338671, 233167686309251391, 2098454868461010631, 3400861159043, 29005220592401022757535, 233262172236028183, 2099089273971592863, 16898850364839, 151878746314399 ]; SMALL_GROUP_LIB[ 13820 ] := [ 237455631386544962759, 17234265438722759, 66498851370924115722903, 635038711638978226633622732759, 3324942325905992642759, 1105320263098652642759, 355420457755413, 79969602888002759 ]; SMALL_GROUP_LIB[ 13825 ] := [ ]; SMALL_GROUP_LIB[ 13833 ] := [ ]; SMALL_GROUP_LIB[ 13836 ] := [ 2749188760188995206108033598591, 8098243273256796686591, 198691871541266944623920255, 2749100734641046504258557446399, 14386365050442234202367, 112061700309842074609386623, 37430284583447543808, 585678164437502207, 14361413903841289570559, 958095535913857, 1037955615323851007 ]; SMALL_GROUP_LIB[ 13842 ] := [ 885268863090111874559, 12253890969445361447929343, 885269213765601658367, 63989927469712895, 26178174448813933773522431, 2466100334107755265, 1891213283413872674303, 189253440109825, 136629850353501695 ]; SMALL_GROUP_LIB[ 13850 ] := [ 156759297618036106606847, 123490927846021359, 11318360226050257151, 9098764010799, 817217532305663 ]; SMALL_GROUP_LIB[ 13858 ] := [ 9825128568729618079, 199991091262851, 708985610258079, 14499859171, 51200018079 ]; SMALL_GROUP_LIB[ 13860 ] := fail; SMALL_GROUP_LIB[ 13869 ] := [ 272629300151 ]; SMALL_GROUP_LIB[ 13884 ] := [ 2545513990345732438817385931, 3883983998350426643573381227185957407, 3883983998350076632483610022204926495, 3145430541049955480895476452551199, 279559958894756829476325913258527, 2967935924128186028270175, 20135404702893313056612805151, 2401894559362595891, 2966865190410245615133279 , 213689517803711767135, 1450110775948568646202135, 183343945271383502761419, 279745316166879281177393603537439, 279745315816868191406188622506527, 226549228426043467820109916703, 20133339081170225865474697759, 1175258437640620352095, 20133338012683353327407194799, 106848517704097287535, 2545547335541601087585135203, 3883983969660951939702743334601466463, 3883983964801397969319333377968284255, 3145409487467187643134691245924959, 279531279802967401781664828727903, 16318572601661534939128415, 13206196194669905955, 16317288201351309651092063, 19284048851639344679625311, 226567062001487753834471105119, 33381208590012260268555, 3601469229505690048, 194543093824563, 1451221294289343518614111, 13206191466191931427, 104447767098656116079, 87139094194857, 104524719700207215199, 951775066602547 , 7523008457482847 ]; SMALL_GROUP_LIB[ 13892 ] := [ 11418195763800003299, 537342101100003299, 5459400022371, 38637000003299 ]; SMALL_GROUP_LIB[ 13900 ] := [ 475309664879828268653535, 918345479507429782636903495295, 4753094995659187908947, 91865410651243193297674237838697, 177493159914774422298466922295431838707, 91865410809675947405505001358697, 177493159914796444451287910771561118707, 33033704586755849237447902569, 63823803967715782586400662600776691, 66090223488466839812182355, 34206474087954774309, 330333854188252110371060051, 918654106490775495508533306707, 21710042005113240082820435, 34206429244047935781, 1561873412155887049043, 2466414876195081, 112346799175381331 ]; SMALL_GROUP_LIB[ 13908 ] := [ 2022220933632553679625877259, 391163188809888750754070915645017079, 391179396228011723054779433942617079, 412195298871465193881604679, 1577525908806200648908804679, 28137181893249611217880022617079, 902142423908318822404679, 28125049526163989963968061017079, 28126214856773924699423088217079, 2023093319907338577878617079, 28125048745134408384422870617079, 29756163110167756804679, 2127043108454404679, 1063363944038407157, 412195125591440357990404679, 1577525735526175813017604679, 29637280625384448004679, 113425791549653606404679, 901969143883482931204679, 29637268165520179204679, 113425779089789337604679, 64852542004838404679, 29582883085331865604679, 2139502972723204679, 145406393260201123477259, 2022312290325759032688217079, 183747486652416004679, 2022312117375221556186072119, 10809383609548861319, 28126319333850654540327792004679, 2555754947939941171204679, 3012484458701012477, 2555560052206703308804679, 2856212942792249548804679, 35545439815952224026009604679, 412195525896266347174561079, 1577526135831001802201761079, 14796307921125913704017, 29604842291977130232059, 531584927556044400, 2130955842355204679, 8155438940160004679, 79626240007157, 156067430404679, 145581471633837772804679, 3012483761971412477, 10455027382886461319, 12839731264741, 10467461816524804679, 216682905607157, 751771238404679 ]; SMALL_GROUP_LIB[ 13914 ] := [ 27147437238722135937734167, 2530974182987901749, 1951087900976935292439, 193227130162461, 140226064125214231 ]; SMALL_GROUP_LIB[ 13915 ] := [ 1677261752231, 149960359, 3340554319947, 367350179, 13354267441227, 6686374672459 ]; SMALL_GROUP_LIB[ 13916 ] := [ 234770422042213209624919, 16862670592499224919, 234660834954378784024919, 16870545949331224919, 1218494054424919, 136037606358259224919, 1894025126208441766424919, 1916961457913938455, 13251536571109691500824919, 26357253656364149399484824919, 5166021914097644130545864367355, 5104215432824861166097940086189524919, 368085479715852752024919, 1916959952006738455, 26450518523833624919, 137898073629335, 1900239756824919 ]; SMALL_GROUP_LIB[ 13923 ] := [ 478615116521307, 478614176997211, 1913786088890203, 17314159605, 34494027259 ]; SMALL_GROUP_LIB[ 13924 ] := [ 12466633937293018911296919859, 271314714242290467, 330622750499, 4618034782363683 ]; SMALL_GROUP_LIB[ 13940 ] := [ 177247458010522465177816039, 34481756285904447597281457049792639, 34481756285896949116555932569792639, 38962477350327499540155699392639, 2795012732999983176192192639, 2470829564680095384961126592639, 2948571450952908805439, 210552815616005439, 2935101252350771205439, 211519176704005439, 15518924805439, 12715540223531520216039, 4890594195288985854415, 2473583671882269583022592192639, 2473583664383788857498112192639, 2795022513627016377241792639, 177254644129711384268992639, 14383340545638405439, 978086100009063422403, 2471347664041877755782861760159, 2471347656543397030258381760159, 559014673235189137511360159, 950535112895471890851535296135, 480675814527609881960405306386124805439, 480675814527505353139091495134924805439, 543268836365447797897412316467205439 , 950535109961283780863695296135, 480675814527609761658692796884684805439, 480675814527505232837378985633484805439, 543268836365327496184902815027205439 , 231786190146218721384896135, 34575266233522983971076594176005439, 34575266128994162657265342976005439, 132472461324106597887164518405439, 177254632622265906074560159, 2876720506470424159, 68174883865766572956096135, 34481756386038870586226294886405439, 34481756281510049272415043686405439, 38962613839993213036865228805439, 2470929739200778511446937605439, 200551757383191756805439, 350897261772862535, 200503769800812134405439, 681710617362477875205439, 2795691497921445986304005439, 12729201926468403205439, 350897170022462535, 912316504473624159, 5046272025563, 913141943500805439, 25178931206375, 65444249605439 ]; SMALL_GROUP_LIB[ 13948 ] := [ 312869980004388671690955, 4363910661662910941936713047, 203158707721184111703, 22445160282965032023, 46266464314589, 1608477559368791 ]; SMALL_GROUP_LIB[ 13950 ] := [ 2231389689772036608839819, 31127886169636796345088839819, 2231603009615427840839819, 31127886169589259479808893759, 2231602962078562560893759, 434234012066430670546540416892019, 31130861981501957367168892019, 61971336691507758562278190660122048863193, 4442389726989803481205147273536863193, 150225623050465843815969902286720839819, 17948832182288403526765913472839819, 321704009404613269885440839819, 159971733872640839819, 159975550333440839819, 2231656327340133120839819, 160024472508672839819, 2231656279803267840893759, 159976935643392893759, 31131605763839692568448892019, 2232338841537955200892019, 31131605102652401457026511959, 2231677654246843778511959, 434285900405563391204511170458019, 31141126839139556137922458019, 23061219312198868992839819, 42676358533632839819, 595335184125242112839819, 42725280708864839819, 8304925818811466454912839819, 596017935434081664839819, 318450864139905481518872449593993, 4442389554751688928255063109056863193, 41504988312016879958784863193, 1633268462749084312335438933888839819, 116694216581290513814240640839819, 17948832186007315215432961920839819, 8323672108518606187008839819, 32280814619979287040839819, 595335136731704064893759, 42677887170816893759, 8304925818574498764672892019, 596017698466391424892019, 115853715172420457051049408839819, 8314450199810650676160839819, 4442389554751681463237732216279517993, 61971334288786060549158898168477920863193, 578994586952635361771300737593993, 22683934469457278296078389855528384839819, 1635062619050779311313503155136839819, 150225623102354186254389849556416839819, 743910319412878465593993, 116115225913834997741379648839819, 8323672109088857140800839819, 450317363949235789807680839819, 11657281536839819, 596679004203743232839819, 53326912204800863193, 3063619584839819, 839696092188380426325919968839819, 6227689780549701512663517993, 60193264951295198539202458019, 446322731841615747213933, 4314268199915485058511959, 10665839856386537131, 60193268257231445077440839819, 446429374946342785593993, 4314929387164792704892019, 31994460801792917133, 309266533092096893759, 764785152894571, 4314929624132482944839819, 32002104920832863193, 309313926630144839819, 2293608960840573, 22168318464839819 ]; SMALL_GROUP_LIB[ 13956 ] := [ 15151869386282589835027, 39083012719197219948, 15125816504520903900179, 991798420936667, 1083802308275211027 ]; SMALL_GROUP_LIB[ 13965 ] := [ 36233827434062700839, 432988490943563, 2594616552045863, 4323968534822183, 31200671219, 36250256277899075879, 60400656717370384679, 1297664482331723, 185994081575 ]; SMALL_GROUP_LIB[ 13972 ] := [ 1097798550344678502827, 218755165545506442923, 159423510816983, 15653026908138923 ]; SMALL_GROUP_LIB[ 13975 ] := [ ]; SMALL_GROUP_LIB[ 13980 ] := [ 497170577525085646985068967, 6456628821039831336534467, 97183944812968710925826083287010719, 97183944694600005986450690043874719, 21031430857927882571404862098847, 6950444745473953222363008273823, 107610457746271652337119, 6950444673730212651096402436047, 35871848692104747448463, 90263670840120050100637861611, 1358631548485302578721993193569573623263, 1358631546830508083669525196030532343263, 294019403393831815778479197294908895, 97167217541725864236029076826445279, 1504537980932852496308688351, 461892329426636355755, 1504394206108625504450958815, 2507299955554211184076969439, 21033440973440556924027506054623, 461847679862531581376, 497256181487901203783275999, 461891727216676288683, 35563979388694758062223, 11097869264308249, 35569110905794483770847, 33121547803796379, 2543820901317662175 ]; SMALL_GROUP_LIB[ 13988 ] := [ 137987919549759293259835, 5684920060611256454971, 27020093019440835594505012465039, 27020093073704570628828876590479, 21390639842101515618093157775, 1930175118034546281784610191, 109323248817822002319, 9872337163062164623, 29218803103631, 705378222353551 ] ; SMALL_GROUP_LIB[ 13995 ] := [ 167859206848339 ];