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 col24.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 11508 ] := [ 1805036385789761612181682581857583, 13836409582201134655753071, 156850572279472282948269434159, 8776325273030266877, 13831585226892779571923823, 1201910485722993806191, 13629365349937323483089863, 156846741250584623558050112815, 6009140321031867616111, 156846736442936987387913857807, 1201910414259251145295, 1804992298311727744628108874533743, 69160414964210417788799855, 43866973320237161037, 69153187202823796957399919, 96813987877518311992347503, 795898055408175958220062346095, 101136052052917511896581, 26317723257623155648, 952849903161341, 13634506554120701146581871, 43866931633053899341, 1184367283279254088271, 768235234504953, 1184785012676783786863, 3817354924429309, 102913744849357679 ]; SMALL_GROUP_LIB[ 11515 ] := [ ]; SMALL_GROUP_LIB[ 11524 ] := [ 307544883670331603, 7303854656941523, 398924853995, 632086408403 ]; SMALL_GROUP_LIB[ 11532 ] := [ 2448875629653091315201799, 14660406444457026547201799, 6569466692204736001799, 22483287766111077208453713686611201799, 43896751019933305172104942982244341101799, 27228135783886554484848406383441927899, 18376644441601799, 2448871635612825964801799, 14660402450416761196801799, 212354806744800001799, 1271280475735776001799, 39392168390659641601799, 3415900853491201799, 28623268217740265916739201799, 133504167340801799, 204742816727975478697963527899, 142340280307226159, 50881511899168185601799, 47598842349985737601799, 17754322518202343760001799, 2361094327376921769818022081901799, 14660411142440859336810899, 1271137801293534393029, 2448880327636924104810899, 13774149793619100, 110239493529601799, 9654681601799, 18414513561601799, 1539570135496003201799, 133158567686426159, 401241626971, 133504145568001799, 11548915201799 ]; SMALL_GROUP_LIB[ 11538 ] := [ 7307848757535781683610879, 991372404588135041, 633372220944548250879, 91268055858561, 54895050752410879 ]; SMALL_GROUP_LIB[ 11540 ] := [ 4315940881916037535052351, 22516729860913507528707, 574862867931245972215608058579199, 574862863960910678657541756422399, 149929430393830221103358806271, 49805958527642551614336665855, 1125836375215545780479, 374064792526462650623, 172598092959171, 32409694903470335 ]; SMALL_GROUP_LIB[ 11550 ] := [ 4848472981771457280013359, 419781258842368013359, 419781210608128013359, 55999862939459760755584013359, 4851550957580915072013359, 4848472981956006528013359, 419781443391616013359, 36344762368013359, 36342661632013359, 419757036733184013359, 36390895872013359, 419757013664512013539, 36367827200013539, 4848193773744751488013359, 420314329710976013359, 419756990538496033519, 36344701184033519, 4848193773583213440033159, 420314168172928033159, 4848193507116983168035139, 420047701942656035139, 55996638086751516107712031359, 4854630507804107200031359, 12116304384013395, 1538818315391744013359, 133231022592013359, 419708556813056013935, 17773351542960690048013359, 12133081344013935, 1538818499940992013359, 4847633831197418368019335, 205282210321197123507136013359, 140137102057856019335, 17773353675474866880013359, 205282205002966211363712059133, 2371009467784262159197897664051933, 2371009467784260947987760064091533, 27385159352908227952058748122080015933, 32314712933966820096015933, 4105584274901700512324480015339, 649205779278911116573424512019335, 27582371378645829823686723510208013359, 18909508754153306864000019335, 2380899858288120998610869952013359, 2612644538472076573416320019335, 199152122388236479686723506112013359, 7695144959613440015339, 1620541631580092928019335, 206138515869101200514816013359, 17847490551437336064013359, 13709941884852736019335, 870854046739600510720013359, 3211264013359, 140815276980224019335, 133231030272015933, 1056768013395, 168035161550298467533792013359, 8081162413460685760091335, 14545420616754791360051339, 419829671527296059133, 14548498834716099520031359, 699667668009856039135, 1259343660974976035139, 36338402048035913, 1259610127205248033159, 60562604800033915, 109011010304033519, 1049088033591, 14548498835523503040013359, 699667741410176019335, 1259343776318336015339, 36348887808015933, 1259610288685952013359, 60577284864013935, 109034078976013539, 3146240013593, 109057147648013359, 5243392013395, 9437696013359 ]; SMALL_GROUP_LIB[ 11564 ] := [ 36685738626163561231, 424483584793198574433039, 622158879110649387, 2969594609605635535674127, 4908728174563954677661738767, 962110775469399170227233628591, 656425055108626133751037268142277807, 82005951173468649631503, 622158291014985259, 7091484817029626639, 53852760120995, 613047723037455 ]; SMALL_GROUP_LIB[ 11565 ] := [ ]; SMALL_GROUP_LIB[ 11572 ] := [ 66082421750293467195, 7292296104503762235, 21863674203431, 629824599051323 ]; SMALL_GROUP_LIB[ 11574 ] := [ 177232321305455130887, 2051286628157141107374599, 177232492543651330055, 15329895660148487, 7469176245068102081557127, 1006953981713676679, 645340951413036708359, 92414265439111, 55758418362790151 ]; SMALL_GROUP_LIB[ 11580 ] := [ 1267947952616960464102915682495, 170065383675099153013190506119690978047, 170065383675116923727926604964507157247, 44508633553537207990916158405214975, 3843578027178059383315869991679, 14682837291323486360988608367428351, 47608318844613104574173951, 4109596156073236009727, 47589113201030726059856639, 4111254801043414881023, 109494493824573944535822527, 1719796114266017408446467, 14686129849330682459808171326964479, 14686129867101397195907016143143679, 3843639938055204268088343921407, 1267946257575846647138127446783, 28663259795859280270079, 1267946238465901120111499280767, 9554964380699232153983, 19915238978124279615803621571, 170065383655249302877808024965204710143, 170065383861034179521832647936559846143, 44509350482679271029435839696376575, 14682817662728303591046423855010559, 331958862916607851710419711, 148531726379681280195, 331920550627780625657008895, 553194609885163671181628159, 3844083632574087126307477426943, 47608318851985640656208063, 148514392992566439936, 355885525632062207, 109519199297327928598106879, 148531492596021424323, 9455966101614171894143, 4308298874634049, 9457616213480765952767, 12858101292146499, 816539528545211135 ]; SMALL_GROUP_LIB[ 11596 ] := [ 1839520279544766310415, 4756717969065496567242454391, 35374555442220150887, 3190052698413788519, 13757361332657, 274914050059367 ]; SMALL_GROUP_LIB[ 11604 ] := [ 729896897248958994827, 5003224785626027855243, 8474735120508768173831453, 15521049583827370380, 63086278158104459, 4992878594210653264523, 473704386394975, 430262906819463563 ]; SMALL_GROUP_LIB[ 11613 ] := [ 56246359307918199263, 220485956356151, 4843395203987807, 11886153373841759, 20136701447, 56246338347328408031, 138033888973842352607, 220220632434743, 418122578015 ]; SMALL_GROUP_LIB[ 11620 ] := [ 292921145798276620471, 24605668915853461903759, 23731166775214878655809606479, 2001408684036847259220163171, 1930246786766766611365444673066455, 175754656469375472795, 3404916768065957305794743, 3530390740348639359, 3403743792480618533373111, 14295540559829042870634679, 39565132844913035735877191863, 664627016592356023749815, 3530387418519644287, 57186725688486878363, 182700594769225, 57196808863127906487, 304184626575555, 4920577835720887 ]; SMALL_GROUP_LIB[ 11628 ] := [ 531112838351027952845080046904877994291, 45675338696496363198430834165731635, 3912236614881812219491528509995, 336449546141550040977808103, 3912235322644033637889095027243, 336449657293501059523168811, 185823520110225102986208986099255, 15980694971426574481415269943, 29051376492325010970923, 28941064785687901678055, 2160755891841697497502816087056808115, 185823521127748187450369039333555, 337809532725555635813259563, 337809405836535678377834795, 337992649338719838221556011, 3928049246532742548542132508971, 29051387405618898942251, 28934429584067525352167, 3912235515421611575835439845161, 274873134931038357570809, 2488842525565557035, 28940244932288876697899, 2498400576538958123, 28940235445557999757799, 2488913845662018023, 336517168057954075944352043, 29051387405488292002091, 72337939015589024580267 , 15980748015598651435900562999, 118191720705604491563, 7880014068495198695, 841145554667541282695338425, 185824137925381101314257813469363, 1374460227082052249229611, 6221191542905007213, 1374333338062094813804843, 1557576840246254657526059, 15982223520517635734570195243, 91645390599108232730399, 9780840509674071513541025011893, 2160763075796331446172552131560408427, 15982223915307869875928537387, 72340013738940971607213, 15980748055018724403193694507, 18116094119234791906558335275, 185841299687199918044526389483819, 1244152813278063439, 91628803799057029658399, 1065652601884475978894022431, 72354112518994289738925, 18111503498416894349430614315, 185841299687199919399769304054059, 15985338660079161973716793643, 841169665654840596760093869, 185841295096594858962198780954923, 210653942418462170290499487136043, 652179407327491607077919737483, 144087297511673962098895774223033495, 1322509131251432471561519639399416273077, 292184587385503844793572507642795945897231723, 128920213551271963544679859473422517, 28482600445514163407276973007500798068075, 28956823669895301604601, 1244152682673117804, 216215435876651, 954607165673369873549494571, 72340013738679757726893, 81985238287124394161951, 414812683376143183, 82095559480492380322091, 6221191281691126893, 7050673938593278439, 35681816062711, 7060160669470218539, 534983441160525, 606312244746539 ]; SMALL_GROUP_LIB[ 11638 ] := [ 1398407126247, 189431959936331190759, 567548555068995441127, 1323781745334323941863, 2269073233165984567783, 1512840042900656067047, 2080014935599652442599, 16277075556675559, 48766901569105895, 113746553593966567, 243705857643687911, 129991466600181735, 276195683656118247, 194971118625042407, 32521988562890727, 81256727581536231, 178726205618827239, 373662369969080807, 32107112372455, 26468351449313416641997415, 15384749686503, 149928679, 7009644166887, 16755773218535, 23762613804775, 4206907932391, 11213748518631, 341817940167892583, 29337707961231, 1086958475, 29370811139559, 2526221543 ]; SMALL_GROUP_LIB[ 11644 ] := [ 65007096784201308139, 53739373495804325708332799, 396358526746562799, 9910775962082799, 480200004869, 848993602799 ]; SMALL_GROUP_LIB[ 11646 ] := [ 7801008194320206527553199, 1038704883514689083, 669844420280926991919, 94739039091651, 57517741992027439 ]; SMALL_GROUP_LIB[ 11650 ] := [ 46515593726034295257695, 51862876147726971, 3992754520329648735, 4542532241435, 342729406315103 ]; SMALL_GROUP_LIB[ 11652 ] := [ 5128776864769951681939, 15844999044574325100, 5118214726629883361939, 481599289579931, 439246880609601939 ]; SMALL_GROUP_LIB[ 11655 ] := [ 3364490987112644510039, 39213142449190609745964455, 14120445762091762500857255, 427239758623958855, 288695418703144775, 103953817415280455, 998419229537, 24774687090503 ]; SMALL_GROUP_LIB[ 11660 ] := [ 5873772789954390501188973815239, 134692250344255224160695, 503754098624537477478737351, 217957284200458773, 134661311252441763094967, 11548998106932191671, 20245104306709, 43194168352394919428867, 503644033752148462918886855, 34646356697343467959, 2540782176699458051571, 5873772789923592041968172254223, 5873772783995269853870973764623, 1570150858398713344087540751, 325879024575841988764360805, 68671265284314042853819543935194551, 68671265215189806140606209546458551, 201382512813888660220628084921783, 503644010652808382925489167, 11548997522938814431, 5872489433634740539473438643639, 404099847753829962883511, 653904823895137109, 403976527149026407129527, 1481237351119552665821623, 4711804224808656962105582007, 43226718589964247212471, 653904483232324437, 3705283978292846559, 18736454723951, 3707264883882402231, 56112031869461, 317741071999415 ]; SMALL_GROUP_LIB[ 11661 ] := [ 11192005829961, 967025213, 2800348718409 ]; SMALL_GROUP_LIB[ 11676 ] := [ 53531279554324572321477287327, 124015417108624802602412662175, 15545485318636922272341407, 4590050491487854730337695, 392661044711668686239, 9578664906982024259, 53531274212292866505394767263, 124015411766593096786330142111, 4584727608585104040064415, 10621395778703314924008863, 15540143286931106189821343, 4584727151026706885549471, 10621395321144917769493919, 1330947583805312245151 , 4584708459782038647817631, 393118603108823201183, 6654288044953157033375, 1330947506930043454727, 77703471110774121042771359, 47877561901658798099, 77695467636771301657588127, 108773129469778230917064095, 907265728689444989879156417951, 53531291534121703331679285323, 124015429088421933612614660171, 111991218472915876225085, 4587388822633028182820129, 28723890069614182428, 392662780811490577823, 909677869036757011871, 1025003584918595, 33825118301080991, 15321905701439028323228063, 47877517057751959571, 1311800417542519680263, 826409140424143, 1312256339137074513311, 4106420611966019, 112346799175343519 ]; SMALL_GROUP_LIB[ 11682 ] := [ 977985901327178106363793295, 13209374937416176020559, 83658034255540464502015, 125657686440013991, 83717334472518227588495, 1130746109790396271, 7161276649901893855, 10837763181911, 7166352419565289871 , 96867757450303, 613047723219343 ]; SMALL_GROUP_LIB[ 11684 ] := [ 4021318299401531603, 188819162434170323, 2718078918555, 16139097582803 ]; SMALL_GROUP_LIB[ 11692 ] := [ 90682998073706112551, 83755042736090249168773127, 612679502432727287, 17114323341266423, 664494291353, 1460466052343 ]; SMALL_GROUP_LIB[ 11700 ] := fail; SMALL_GROUP_LIB[ 11716 ] := [ 695772492265700270099, 189764259715300990027, 95728769826134740248100002799 , 95728770395398721611300002799, 224540422526869566500002799, 8151672094426590500002799, 1635821116800002799, 59525688000002799, 1385600009927, 5072000002799 ]; SMALL_GROUP_LIB[ 11724 ] := [ 62263711650873355551083727, 729979755393126603551016028063, 5322020928249000888223, 16341044072359008000, 5311128123255131473823, 493626164413745, 453003633892525983 ]; SMALL_GROUP_LIB[ 11725 ] := [ ]; SMALL_GROUP_LIB[ 11732 ] := [ 384183351771913072587, 76501357783455902923, 79129810422503, 6518928688720843 ]; SMALL_GROUP_LIB[ 11740 ] := [ 24964921808866945215127, 172042744313423901246255583031, 1248245964215003139879, 414758922212071210023, 184899834838301, 35323415320660775 ]; SMALL_GROUP_LIB[ 11748 ] := [ 12197508710764227825988335255, 143296332334057401785030667867823, 751889379433731672051951, 752070187420180788848215, 64001349690213802415, 751887348055613676523759, 64001500663760621807, 5490438425289135, 1038253434369414939604631, 12197402069772002711129549167, 813642772431335596463, 12197401346479110211324548783, 90411442012766146799, 143295079515681475891329800970671, 9559581329083410912649647, 9142925905573333025, 9558675335496053375902127, 11682805737543689599721903, 112305961454085623650084463023, 3047410498335862208, 1039012294711621249409455, 9142921177095358497, 88380063894770618607, 87139094179369, 88441625976011497903, 778847872105521, 7523008457482671 ]; SMALL_GROUP_LIB[ 11754 ] := [ 8322422800100531301136807, 1087828230853883069, 708050257001061790119, 98308096333461, 60239731215475111 ]; SMALL_GROUP_LIB[ 11764 ] := [ 10604977594611772069659, 930281909845546304063, 1469466867618160310488857750463, 1469466866811970819618903862207, 1893165552183122554262793151, 124756969189062248270031807, 13679762641725188799, 902598836610874047, 6749643117299, 76654660299455 ]; SMALL_GROUP_LIB[ 11774 ] := [ 36644374699663541760428639, 55588446188127, 18977618038052127327, 55826352480863, 7723849823660622021215, 656009225933742687, 1005021046583648863, 11833114999992617337439, 3100926500287127290463, 263370927702598239, 1005020808677356127, 263370689796305503, 830514898352403039, 9778482411826619679327, 4799238751, 55716865036895, 85359452148319, 22368954536543, 70538158592607, 8516678239, 100290174141023, 1593210281, 100089393087319, 1180817486271171167 ]; SMALL_GROUP_LIB[ 11775 ] := [ 467515284150093759839, 39278278533033543, 3354456304991 ]; SMALL_GROUP_LIB[ 11780 ] := [ 831192078249561603239, 70361431488003239, 828856663711084803239, 70559699270403239, 6071500803239, 2471633938828803239, 165748781020632785103, 60528028701719327928759119, 37097781270321198265083107, 13547043651608599802842536303239, 436180216204815419, 29123998822629849603239 , 79752474028826207, 29115848319714864003239, 97623404547485932803239, 343080706130532983174403239, 1604665184689065603239, 79752452256026207, 136046611411215419, 1197504016173, 136219400352003239, 6771340803587, 11548915203239 ]; SMALL_GROUP_LIB[ 11781 ] := [ 17314159093 ]; SMALL_GROUP_LIB[ 11788 ] := [ 10935382329771524776318482419, 69306745263436802519, 5886830960642519, 927606674774743156242419, 10934627798449314240896162519, 395336293821987842519, 78723851097669122519, 80655160495985, 6676454937602519 ]; SMALL_GROUP_LIB[ 11790 ] := [ 408892408027919014419, 4820837928382115579847959, 408893470222933447959, 56837679173987170223862608159, 4820852431983739472208159, 34978770946214419, 128641189910670242502842214419, 253715482543262014630033, 10909163133528465859408159, 7174000967835971231, 10911042401151223845414419, 21519555340029977233, 925289480788527047959, 613079003864471, 925448862318741414419, 1829731906230673, 78478864757414419 ]; SMALL_GROUP_LIB[ 11796 ] := [ 5521294867764584402347, 16849435422808938828, 5510063165590408821419, 505876903638287, 467102925958154667 ]; SMALL_GROUP_LIB[ 11804 ] := [ 2047237306235982645535, 5485461594822188911951981991, 39369035826707443863, 3550778414088252823, 14776004094125, 300612376046743 ]; SMALL_GROUP_LIB[ 11817 ] := [ 105601019911 ]; SMALL_GROUP_LIB[ 11820 ] := [ 129123162760781469338200883, 1986409377903519064061555, 18043307883587735428984631213534031, 18043307771689830886799658833783631, 4625432318846852073334577933135, 1526235805879249465042783021903, 33106813236841273792799, 1526235783806789628754746896967, 11036220624970470638519, 23479358818442507026820145543, 213271899184007032762936893593520954655, 213271897861373801074310520064871226655, 54672610008769797849254293311315231, 18040107225492728017301811164077343, 391366784414392102549362975, 168074208002723499767, 391322534939565664053172511, 652196937744589347949615391, 4625955391777852351383800355103, 168054992238982511600, 129146077336487841267194143, 168073948830552641271, 10924196508646042289079, 4776172863117181, 10926063733063290165535, 14254469397293919, 924170936685599007 ]; SMALL_GROUP_LIB[ 11825 ] := [ 4879368615 ]; SMALL_GROUP_LIB[ 11830 ] := [ 3194420933266258215233034143, 101293049376475633489823, 37789999640539834681931728902047, 3593418888984493597187023871, 94148746564985791487, 723787488171935, 74327634494715035867039, 6279214183771982903, 241232137244825, 6282977022772945919, 530681291155487, 12262451319, 6282978400752801695, 530787289602743, 20416174841, 531105284954015, 44877354911 ]; SMALL_GROUP_LIB[ 11835 ] := [ ]; SMALL_GROUP_LIB[ 11836 ] := [ 98796474183811809300251, 1169355135705178251317545847, 75685543245685484151 , 8353297485104495223, 23936307640205, 705378222353015 ]; SMALL_GROUP_LIB[ 11844 ] := [ 65527690619394742250505615, 2327674925512862773140005062031, 1394441553127096979517535, 776109967695186045246986528143, 776240967772300459058836030863, 9192246853135834788084907376395663, 65538751078514842176062863, 1396088874837856771131085, 117714757290957606039, 65505336259720357591008655, 5530676938471634503055, 4181441947196722562707551 , 775845202659633497076759553423, 117734623906221731935, 65505337193564057030894991, 27651594945831165101455, 5530676666824593909223, 327538907174797024434324879, 588391916335684595807, 327505493289846239289157007, 458505570404260051138659727, 3879370816579883741627542160783, 65516630159964188564649399, 3879370927417916502933446395279, 6968913117805764887264847, 3878975062534212831714735502735, 5431852741530013428032921486735, 45947269264337804533630970009306511, 353003354970560749883, 65505335325602585690903991, 775978967614335943758197175735, 6970560281165703153262159, 5430539975877545451128673228175, 45947269264337805467474669449192847, 3880287817127155514027848050063, 82539805319235455628720815695, 45947267951583212524792356336645519, 64334863870681481879216589287417231, 195546704078969176501330325503127, 108854590306068661072335896420312076079, 16212385762170209378292317924439073159, 9024916320293460202528701391681631239586255, 1396088874765094170969805, 353003318589471109628, 10555427863497879, 743097981450263167283301938575, 6968913117733002287103567, 62718334951329238191592887, 117694269768172675387, 62740457737298069062182287, 588391843573084434527, 5295367581622205834727, 9939371182140835, 5297235271446505604495, 49677452550212759, 447058266231014799 ]; SMALL_GROUP_LIB[ 11850 ] := [ 12335658977991292475, 146177530690228212837947, 12343227347587382843, 1732203738693659497548925499, 146267262902982429006395, 10260984402280815151953505578249, 121592665167028724463720583365392025, 1574351931563727210817932441, 244052794353703319540546431442840123, 20657357059221538053749103721019, 884255451233253733838834976287291, 1734316442901429315264714299, 3673374918031359428433467, 147152948099063723435579, 12893557151052309657, 1043632693642811, 6062497404298405486222104635, 19935821750832111906057, 511603119103903631513123, 1681875246914439021, 43165784026166634767, 47673024612331, 511603156473640858372667, 1682348281561943193, 43173257973611245115, 142279953353853, 3642736351901243 ]; SMALL_GROUP_LIB[ 11858 ] := [ 24609323661670833605599, 2074479904380809559, 97198099209955, 2075335103305605599, 174943456005959, 8204805995, 175015545605599, 14758405599 ]; SMALL_GROUP_LIB[ 11860 ] := [ 5227792710494275596520783, 26537477095794473006851, 735517886211845259454888426932543, 735517890095053549733973002881343, 186637525955450613708988942655, 62001622430785297950877747519, 1326873723311675672895, 440899063772517239103, 192589624334003, 37169797428939071 ]; SMALL_GROUP_LIB[ 11862 ] := [ 8873428941550887357756391, 1138792791994236695, 748055037811926475623, 101977057826295, 63063811755213415 ]; SMALL_GROUP_LIB[ 11868 ] := [ 10578707479441307310719, 889518751457368703, 10556803924792871125631, 891364496408195711, 22947392410552998527, 1092816662115262727, 272363743081601283799679, 533707635850461891, 272339654253554361151103, 298276664567623949558399, 3232412902892987970919228031, 10559038364960529433793, 76239058488314652, 75478891367039, 12388268380722673391231, 533707518751118019, 1041996291292072199, 2157973661551, 1043837762116813439, 44982876528051, 87807779428991 ]; SMALL_GROUP_LIB[ 11892 ] := [ 655550585800799041979, 5796632212852409281979, 7801613581926748126059989, 17546892241118337900, 55330330176001979, 5784935580857172961979, 522564230419111, 486445819464001979 ]; SMALL_GROUP_LIB[ 11898 ] := [ 341054084681672116919, 4057861202574249439156919, 341054275947010996919, 28683728916916919, 9063911717568409363636919, 1156198973816661061, 761801280322199476919, 103222564710541, 64028349158836919 ]; SMALL_GROUP_LIB[ 11900 ] := [ 37370954458285251704079, 444714372186513394171588703, 17794760144026874719, 7473897841028808007427, 5293257026733408466012911915071, 5293257004312343274265164075071, 1511964534765906160114683967, 622570701104238249709400117, 63097710217718286950268347290420063, 63097709950907611168470147994420063, 125943977554440540355714210792287, 444714365068116786275373119, 10676961670456161599, 5292101029069291958136207508319, 211829241736695681921887, 1047104647283621685, 211757651074427532620639, 889372060973252651004767, 2520767976666845203610481503, 1058793700886379168106975457331, 749578213281839703088797996621664420671, 749578213281572892413016198422368420671, 214193965629853768311821588584792895 , 88197515224474339137312886709224245, 8935274187168112546258360890874911732544351, 8935274187164937499216557492303289332544351, 17842357305215339344575421065315093590879, 1058793703377608633856725217331, 749578213281839745439698914367410340671, 214193965629896119212739334330712895 , 88197515224491777743573134957544245, 8935274187168112546554817197299131953984351, 17842357305215339641031727489535315030879, 444691934371904667628466227, 63061726351159806177165323400446783, 63061726084349130395367124104446783, 89960110995959767252690320819007, 37042363768182677784193450050357, 756857663745378597910541291317815685983, 756857660570331556107142719695415685983, 7493645487428825632594041721176732511, 5292100944346133736552376107839, 127106086505783477949247, 62976002245924823463841075610792799, 2520768347209828417006482271, 12460545463364664488757, 2519916047816144233598825311, 10587936987082725817896153951, 29997143331796958124542615630687, 3140258062795824947, 635266654868643849982783, 1512562429421980645719036735, 12460545463429088998197, 52917488082966072399843308383, 2520767976696751916664763231, 29997143331796988031255669912415, 148489733353118524678140725, 30039472882892841471124562785119, 125996450146284467868430000730975, 444896288909205101577515871, 12460545463235815469877, 37379123169979076203327, 628304937461243699, 37386242762855623439199, 1047104518434602805, 3141102423301436735, 52785148081651, 3141700557626946399, 87969520169973, 263891380613983 ]; SMALL_GROUP_LIB[ 11908 ] := [ 44538163083136833567635, 2158206279254698463291, 6321134581122814072328383585199, 6321134578179895403644944604079, 5885146551354058882770983855, 530360483718539520565517231, 41503013509494106799, 3743506334385453743, 15306032605751, 314162803780271 ]; SMALL_GROUP_LIB[ 11913 ] := [ 6413182043759, 325854575, 3851996071535 ]; SMALL_GROUP_LIB[ 11916 ] := [ 2713359733068264707750509559, 6027861770852548146077547329, 227707148442524889709559, 2713358205100544794848109559, 227707276430914156909559, 252920688807200832109559, 3014310246356040492326509559, 764243718966007028431, 3013802961654236957251309559, 35918520895558021968259372909559, 1293066779608256478040514744973331, 5100108711927389622754331339760243409559, 2713865532360867205056747329, 2292206179093985375100, 19123619368550509559, 2995595719193914512508909559, 764240212434794228431, 251392721087287929709559 , 64620360921817471, 21095792709235309559 ]; SMALL_GROUP_LIB[ 11924 ] := [ 79133942864640962699, 8734325773402082699, 24658862472639, 732113121602699 ]; SMALL_GROUP_LIB[ 11925 ] := [ 891413817576837519 ]; SMALL_GROUP_LIB[ 11932 ] := [ 6691644879142376329643, 79844715785478026939964407, 9656778926476913399, 561616176122968823, 5173816491653, 47019189218039 ]; SMALL_GROUP_LIB[ 11940 ] := [ 60498286489781032481022168629565263, 5066858165096319069060957710159, 64719402764677324805803067, 5418392323543786048571, 64695591972931249055622203, 5420386674752637711419, 2132494543974037753664751 , 5066933511132439465288221022031, 35541565498112402426939, 11847843447587592715511, 25461984824891395216407887457, 60499186122921333955987409634495131, 424413797212525885645974587, 178621155583469678973, 424366294683196283755026491, 707269333981995513971917883, 5067500738717280310670894269499, 64719402773276102317995869, 178600939210311533388, 454965812544838715, 140065442862742659292704827, 178620882915602571645, 11728789353204950078711, 5024879265420235, 11730773752036652246075, 14996732690981253, 982266514977967163 ]; SMALL_GROUP_LIB[ 11948 ] := [ 213622199737163547615, 262880638294645996003724087, 1841484948101239079, 67032739303972391, 1499818011225, 5600936971559 ]; SMALL_GROUP_LIB[ 11950 ] := [ 55612436879401360207619, 58918239259516353, 4653760069481127555, 5030995236389, 389440083295619 ]; SMALL_GROUP_LIB[ 11956 ] := [ 107455880074122404298059, 1284742539260812780503480359, 46458904850841618359, 15360381799662441465355939218359, 555778881280817971218359, 762055813325012705, 3888184705090775654418359, 6644892304612330609766418359, 1302398959144194937820950344305, 2196501423350887101787958425992048018359, 949860350100673775098694138736018359, 107494900874887680018359, 762055116595412705, 8990872821964818359, 63800524821545, 751771238418359 ]; SMALL_GROUP_LIB[ 11964 ] := [ 858588006672085592508316526579, 4165950092521487673287, 71761092913079415022528499, 858549715610186726343628429511, 6010562395960030422983, 49847447140441302151177763, 18084987295444099440, 348417130062350279, 5998507065637575342023, 535348085866285, 501369227017594823 ]; SMALL_GROUP_LIB[ 11970 ] := [ 367017518629528230241000799, 52586600507326854898486554609621143, 87651655097554478109549846022101143, 4393199708247740466136400533655, 7322611119294325529717293717655, 1162204241507215258842723599, 97093088957312549647631, 4393199708214442040767032875159, 7322611119261027104347926059159, 97093086175497916921103, 4393199698027685292282315839639, 367017551932010425312614551, 4393199698011461627235472819715, 367017535708345378469594627, 629461608072702453248351904799552081295, 629566776878376475961940248937746042255, 52586600507725566847707268037086607, 87651655097953190058770559449566607, 13911584770841363891298858997007, 3486551422978393409988072719, 52586600507326984695931721533771151, 87651655097554607906995012946251151, 4393199708377537911303324683663, 7322611119424122974884217867663, 1162204241518057232634238223, 97093099799286341162255, 52586600385391506418132893085371791, 4393200096739634512995743305103, 30661446925599473392991, 367017519487390956769761431, 611746960677581855982868631, 8111370279339013391 , 2562023927647974671, 427081507513972187, 367099279073610898008601871, 611767399932759404112409871, 30668280064641161884943, 51108390412105531651343 , 97097784887860224750863, 30668277282826529158415, 51108387630290898924815, 8111761351346369807, 30667426258740337079567, 2564805742280701199, 30667424903493068945267, 2563450495012566899, 15332218024302777108119, 4394178370511131364265107166479, 7322855777195138982327688926479, 367099312382878241167774991, 611767433242026747271582991, 1162260485119936892606387471, 427652129235535511, 367099279084452871800116495 , 611767399943601377903924495, 30668290906614953399567, 51108401254079323165967, 97097795729834016265487, 367089092327704387083080975 , 30700735526083496252687, 30667423548245800821983, 2562095247744443615, 15332217525001152017411, 4394178370511121877534230233111, 7322855777195129495596811993111, 367099312373391510290841623, 611767433232540016394649623, 1162260485110450161729454103, 427152827610444803 , 367099279074966140923183127, 611767399934114647026991127, 30668281419884076466199, 51108391767348446232599, 97097786243103139332119, 367089092318217656206147607, 30700726039352619319319, 367089076094552609363127683, 30684502374305776299395, 183526649748504951918558935, 52598315095018242448603055810127119, 87654583653025813636812159477327119, 4394178769223071104932556252431, 7322856175907078722995138012431, 13912258006885666289121681188111, 5118993796090556677847, 4394178370640919329386052936975, 7322855777324926947448634696975, 367099442170843362113545487, 611767563029991868217353487, 1162260614907902013552157967, 4394056435162641530557604537615, 367487804267445054532166927, 2562095378351371535, 4269706936201360655, 35943030044123, 214265039009039, 12452691885462405885364700130575, 305942476598605746600231767, 1040130825789771404310874787, 15332217810042092283633, 1040325023064447857202747047, 25553127003539612709587, 86878582164524736455039, 427009908789613999, 1040325136630103185103758607, 25559104143293712563927, 86894805829571579276675, 1280887016517984657, 86911029494618422296599, 2134764124246553603, 7258026770618033375, 35681816176111, 86911038981349299229967, 2135263425871644311, 7259382017886156659, 107010619750497, 7260737265154290959, 178339423335899, 606312244851983 ]; SMALL_GROUP_LIB[ 11972 ] := [ 140024812179821635079, 76917791661002698215, 20136190402480646179066026815, 20136190439950928386068126527, 67218442514590674372860735, 1676377508319688869092159, 468980763218807615, 11734841586551615, 537477125151, 977778379583 ]; SMALL_GROUP_LIB[ 11980 ] := [ 28191726733673191412935, 202304373937002867566035807079, 1409586199793838346071, 468397919425380105303, 200516813796497, 39092594260970327 ]; SMALL_GROUP_LIB[ 11997 ] := [ 3287574733730615, 669246000898103, 95841581129783, 6472405283, 55861243703 ];