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 col52.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 25506 ] := [ 247663264349180953397558150855, 161118831961215813301941185491942490975, 114345082278207550257264389364854539103, 6316899237880766655413270540305247, 4483066034594941240033485543555935, 870817442267690613608099900255, 34141670547073366288657247, 6316899237874061579327159524442975, 4483066034588236163947374527693663, 34141670284192001042246495, 6316899220496899031714474640261983, 247663271054571860328326480735, 9710000171131872331990727, 247663265031055711785083388767, 175765154653661160880206693215, 1338574116273428589407, 380716908688461884255 , 49124101543668847487, 247695056467709996446257015647, 175793500639074713564975229791, 9711246889872855176473439, 6892241329273965390490463, 34141946855118142589135711, 9711246626991489930062687, 6892241066392600144079711, 1338584913601414392671, 9710565329935287403703135, 380979790053708295007, 9710565067534451211644615, 380717389217516236487, 1252958905388827393082471, 6317710110265410862908082509441887, 4483789027300239337738109279398751, 247695063172838562254326328159, 175793507344203279373044542303, 870824496486720640906575342431, 12283504671343068263, 247695056467762476143310465887, 175793500639127193262028680031, 9711246942352552229923679, 6892241381753662443940703, 34141946907597839642585951, 247677679305214863458426284895, 9717270458501095473015647, 14940598071159647, 496515344995199, 380743635883725122399, 270220403679581399903, 25760494936222559, 2649962574353279, 657287857398888033119, 242615453440789, 657025456562695974599, 67545107608235361383, 16764784359985154758404959, 6140904592158194653, 16758091301856400986742439, 1722805452092303063606855, 427602589886720776255438105439 ]; SMALL_GROUP_LIB[ 25508 ] := [ 4487253175870221125459, 176078555860485459, 40794697608338914245459, 319175298478405459, 1777462989947195, 8142563077079805925459 ]; SMALL_GROUP_LIB[ 25524 ] := [ 34265999273004684056677897119117587, 874605365444171519630968863609914920391, 911486141828822858669201927063, 2692684390107115129968096315395, 35710939122390933107747735, 911485993047581982631275441047, 35710944940303128899136407, 1237178079874362874932379556783997829, 569790392584729643535526319713226938462882819991, 22388612814116736839147979136621436235739031, 1342472507176877004204242546963 , 34265268273151026388813459907153351, 52747048894331049043143575, 74402432735285723832565, 1346315679272487270674390985623, 34366057615904105685948881076398999, 874586707403906796671957542842677129111, 1346421313896963932904744135575, 223183434519293251986288, 911591631810097082093615679491, 1399760072405825334167, 2060679451986432207767, 2937419464803699037, 52598267653455011116657559, 74402273340431044616437, 1342518188914484716627578530711 ]; SMALL_GROUP_LIB[ 25532 ] := [ 211652217962564545898911, 2653288690876040565894372335879, 4070191422876268485879, 14435061704005879, 326518328879621, 368668313119739365879 ]; SMALL_GROUP_LIB[ 25540 ] := [ 1128860144925008761854668331, 2656081325864895730301107, 736406318318413119611207832720245999, 736406317387911442133086961868866799, 86626974916180867028523821663471, 28831088189908712107878237193455, 132804063455527668970479, 1730629617004721135, 4156700714005271, 44203313749437648880623 ]; SMALL_GROUP_LIB[ 25548 ] := [ 14576079423541627061815091535, 372389677112557144875144430293151, 571091910902201758781599, 804712625549060245248, 22332467289088069791, 11155406342918321, 570555463488297619165343 ]; SMALL_GROUP_LIB[ 25550 ] := [ 2251067694863471, 158756123010749, 57520023108651668591, 95352742055739, 57515394661841206367, 4050557066169201821, 1469636629533214111781999, 2430410472361695387, 1469518358831866110064607, 103491726877764100594589, 37549215884805540528351958127 ]; SMALL_GROUP_LIB[ 25551 ] := [ ]; SMALL_GROUP_LIB[ 25564 ] := [ 1159953166832145225351, 644420613784980143695, 29660005496247713497904775, 13978624897008474407, 29653042973530156210879111, 181212395881740190516018823 , 758228380506037006468114464391, 4920577835734663, 547152690228559, 125822895470055743111, 304184626615899, 125802729120773686863, 13978621575179479335, 3216536758887657987408519 ]; SMALL_GROUP_LIB[ 25572 ] := [ 125877291347878136644259, 574319402674748038084259, 808500917284677377100, 3219508846088112139692959129, 4926857370969604259, 22437619831828804259, 11197403120374771, 573780429837188667364259 ]; SMALL_GROUP_LIB[ 25575 ] := [ 24218273826618509693999, 946951152538493999, 152742664743293999, 3907095508658880893999, 261356850866880893999, 782176659122880893999, 1823816275634880893999, 946946713997693999, 5996852093999, 1219277694579, 152770145127293999, 10219268967293999, 30583679847293999, 71312501607293999, 50915809441079193, 1043218006465450655819, 1595636093999 ]; SMALL_GROUP_LIB[ 25578 ] := [ 126844586174364568285741696695, 4959878080765536945948343, 4959128398529169619273399, 3244430825167893739137700217426295, 126863761546638739560418447735, 126844586174393780799800545655, 4959128487366795988242807, 193882698661973575351, 141635419987287954201073907116571693314017, 3622750772434851292555084857784944731942685185, 67108839852341652758316727, 2314123792232889731123713, 1716509905743448939512091231927, 216338232107573999046932750273025, 43904890369094692888239126366766775, 193881686337663911607, 4959102609096994316732087, 193941311449974032055, 4959102550387612368706887, 193882602068026006855, 126843926532344930095291634039, 4960627732587455562584439, 126843925033041065313284166919, 4959128428722673555117319, 3244413952844318110881718754557559, 126882936143617153286976257655, 12928098425497061889, 7705803763599031, 216490446999080024172261836222433, 5537392653342485319986840595711003137, 374824950910459430583, 12927058467669788937, 28761119761541929125922487, 2314149641270932572604929, 5149509883042197003447889413815, 38791272863045913089, 28761120201151655888144055, 9589547268126069135886007, 8457980743091513603244296705, 18821426000955550124013772372821687, 330674060949420204755457, 735844319374728048866967537335, 330854989179508971145729, 245415656954174593204678674103, 28763394418806882566784695, 25369313929991991049296939521, 6277241673573878172674871932339895, 5537392653342468853494698120043926625, 141635429287194089514624339344204103158273, 12928068941520789649, 9587272640168373242761591, 330648197743771584782481, 245223258840648242610319855991, 59191319524392722719109181409, 43904873496781611976561440271484599, 992203097926460418715617, 245223270085602865046867003063, 330674068023539027046369, 245281440024764588441190909623, 216338231446794598784234003525601, 160471478236380984197649761147415807671, 25373942487736786924729954273, 6273808672948181920073290578511543, 8462608913100476194274045921, 18817993000318609532243427452634807, 991841211150463628111841, 735710102444878434376717551287, 648896311701335010899368501473249, 481326624962149389368996156614059083447, 509246253418761, 12928070791979469313, 38777126352497281537, 13643309128468151, 2526739765512457, 349035518735156889271, 64640324722646190593, 8927631001620137948333751, 505545335971845, 348976904096697752903, 64626176361638879377, 8927630591317668733849975, 1653370241049684102246369, 228350945760146874301818455735, 12926044046176085133, 8926131287480520243975431, 1653008340123475847934833, 228350935265020014262374579831, 42289904025632055386256807009, 5840760490653038893147578897516215 ]; SMALL_GROUP_LIB[ 25580 ] := [ 2681151605119879819616775, 87718752466051891117380349549319, 134057577400443670837751, 1744237135731078647, 4182822869092617, 44620643106016448820983 ]; SMALL_GROUP_LIB[ 25604 ] := [ 50234793617794877070939, 10282103455815579533907, 32977014198861941836130493315375, 32977014195043002690798428010799, 45543020581421011472266967343, 1286211723272862912338622767, 69471422909542070319, 76654660302895, 15711824810759, 1964662178191984687 ]; SMALL_GROUP_LIB[ 25605 ] := [ ]; SMALL_GROUP_LIB[ 25612 ] := [ 1434056641504106918070863, 36729059603349105160333891487, 957525564973092181919, 2186517185304479, 111344747657153, 56028018480566507423 ]; SMALL_GROUP_LIB[ 25614 ] := [ 27371692235421348138860644740095, 1068622325117749601964993023, 41721155017235906809823, 1068645650834238063599595743, 41721159138770199490271, 1629249048016530911, 2974962705166321631, 2224320098505211, 76200322548989550831839, 53628815428618132099, 1951795065680009476259158367 ]; SMALL_GROUP_LIB[ 25620 ] := fail; SMALL_GROUP_LIB[ 25628 ] := [ 23717864167486158521763, 607841460403648831590545735, 38459361629941823559, 36125907630151, 10087004402981, 926941989716314183 ]; SMALL_GROUP_LIB[ 25636 ] := [ 5003621219171342776651, 2779812055817641303551, 3290392917346619652683016916223, 3290392916420044550533218782463, 2066575106749242744879664383, 128272836505997622229552383, 3144493265110573935, 2038494143348924347643, 3289841831984748437346535383951, 3289841831058173335196737250191, 1515489744878027408398132111, 1827736358874311493575147563139, 2162461677402975462797813430147209183087, 2162461677402951709118494717922252111727, 1358819628061666438021950558789910383, 1827736357206476309705510922371, 2162461677402975414430593097927746600815, 2162461677402951660751274385702789529455, 1358819628061618070801618339327328111, 888390386736757796088621187, 84960000673753346296383568741089135, 84960000649999666977671343784017775, 660466564092028469016640185122671, 128272835667435408960037775, 2305963760902614847, 71263263088211615008729219, 84352512829097977052697034216652655, 84352512805344297733984809259581295, 52978719436659225330105660686191, 3288402436703392462268373352303, 80651235148982896436079, 108483287325299699, 80612230591163441718127, 1004963551089308554306415, 2067575064279052888631223151, 7615519007599, 4231822976179, 195297633092576111, 3103924302063, 195264924030938943, 108483271904809971, 5006651566402176590703 ]; SMALL_GROUP_LIB[ 25641 ] := [ 16283678999474445353495, 417529813212880060464608039, 150328710119237627275490087, 939897702197790119, 24774687093239, 998419237313 , 635085921117898151, 228654398284596647 ]; SMALL_GROUP_LIB[ 25644 ] := [ 383735276523007301614930511443607, 54685415338243240628399, 14964388204298953582126478999, 383746771110956425131706842751151, 584093220687572701155503, 819951475481960656320, 1402937322615122280254795351 , 2136925253057646767, 22755456224969494703, 11324105148569065, 583546614458819301019823 ]; SMALL_GROUP_LIB[ 25652 ] := [ 24285680980143337991448159969693, 90550865886617118446015321142975528654103 , 33017743206843011022401264747872474391, 209054212747492263928451, 5362658733073403728752788807, 76221603211271889175, 1438754568714263693, 21507520661185501684523287, 50177026691138755530953384215, 137562921821544225357441919833367, 1956066844344098273779991, 317741072015639 , 56112031885685, 8152417026881052951, 1438754228051451021, 209125832386004711235863 ]; SMALL_GROUP_LIB[ 25660 ] := [ 2731884055078336139360791, 89938483817750050091150458559255, 136594199862448056416775, 1771708954476557831, 4235436346929413, 45465157081427987576583 ]; SMALL_GROUP_LIB[ 25668 ] := [ 2027292830356750848028559, 2015127857010590208045959, 52036565789019299056128028559, 52036552368829625118336028559, 52067777422367155311360028559, 1335674570672546515002974976028559, 2027293353214213248028559, 46838188629117504025677029, 78505915101696028559, 2015089090622491392028559, 78981379119360028559, 2015088616687110912045959, 78507443738880045959, 51723306777402504574848028559, 2027293353211413888028559, 331853439154085009271197162793031, 264058435134384149548122377075306010959, 195914322834967764021299061242480490951, 155890593787949362147533062430705638553028559, 12773244184773120028559, 608270838612480045959, 327877052383234755072028559, 412057007421696053151, 327863632193560817280028559, 359088685731091010304028559, 8415948180573242783490816028559, 58863542026752593131, 15613095870374129280567959, 400789175858337035379456567959, 10577581688549064960783951, 9217088385347226438732096028559, 216020558961600873647657376384028559, 8416666356805743454196352028559, 271482199806293323871616783951, 216020557898955213769721785536028559, 236611500695114192640886449024028559, 15614351560637286912567959, 8415948221972918546296320028559, 10576679161172026752783951, 8415603711145865518605504028559, 9218151032223554315400960028559, 216020558961600873600263931648028559, 58863539227417703100, 2016344355823548313677029, 3105423360028559, 22168318464028559, 16053023232028791, 569504450513664028559, 764785152046771, 569030515133184045959, 412057001822976053151, 14618040766440273792028559, 19623218547456593131, 14605875319158732672567959, 10576679161166428032783951, 375215870394607259528640028559 ]; SMALL_GROUP_LIB[ 25675 ] := [ 331656344603 ]; SMALL_GROUP_LIB[ 25676 ] := [ 1322313899294510673010297732713655, 4447676799925677504034116834764870185279, 10230778922337292885279, 78118281627528580755, 1838786263989240003859285279, 6746499410459336038035075285279, 262755079079973555545685279, 78478864755285279, 3046384806501275, 2015299765924806485279, 78118248359675780755, 51744839396030698736085279 ]; SMALL_GROUP_LIB[ 25686 ] := [ 3017046300014048359, 2249453409626871, 77495473817059168752999, 54387218282165598743, 1990548744430470388516857319 ]; SMALL_GROUP_LIB[ 25692 ] := [ 15161608096453111714567301739, 389532035213986598005194644644279, 590685791353383828484279, 827656986233143628400, 22969340642432004279, 11409168475617461, 590134048328453455364279 ]; SMALL_GROUP_LIB[ 25695 ] := [ 536055879803723760179, 20889059444400179, 24864871661040179 ]; SMALL_GROUP_LIB[ 25700 ] := [ 3034185285688433619220234495, 77978562079947368429360252978175, 356954496521140028244991, 35695453283845989392646147, 2004211412077145187232241973146420223, 2004211409400020921138496960410420223, 235764875061475710387315701449727, 4586841939879467404195524510467, 51532469607630008398228446508988057715711, 51532469538827914759619199681672857715711, 30295474536457012232523197175830873087, 6944605372288291767043, 45868180496989723607078994943, 235807709048853565784642654766079, 2004049045455837196189395648642221055, 9175397239253285522653774847, 23580770904973321241678959127560963, 1323761623972130238729397740458939633360897023, 1323761623972061436635759131212112318160897023, 155748633749634481394604665522221134054399, 23580770916871651313206714739720963, 1323761623972130241787268568841572825686017023, 155748633749637539265433048155413459174399, 4593812357406458879, 54183933017063171, 118071249944247225484287, 1389180552164952441603, 3034431187587476058427032575 ]; SMALL_GROUP_LIB[ 25716 ] := [ 96479357695818180608699, 594005257054178256402107, 831531404429670447468, 2481657612415445683577952341, 3756216442100359355, 23076884264173580987, 11451879401233447, 593450931189723413623739 ]; SMALL_GROUP_LIB[ 25722 ] := [ 41787236008242840062135, 1074851270533696024319547575, 41787240199780397004983, 1624985925252393143, 3038265937706043575, 2262099637982605, 78149896350351491225783, 54769623677322985285, 2010171637917111980564799671 ]; SMALL_GROUP_LIB[ 25724 ] := [ 4932164996803233003131, 126875023314701475744561527, 11132818498823682167, 7457656289399, 3974804557149, 192161544817035383 ]; SMALL_GROUP_LIB[ 25732 ] := [ 42993530850200973171587, 333456832627283843, 1840796255378003, 8581597275592362657923 ]; SMALL_GROUP_LIB[ 25740 ] := fail; SMALL_GROUP_LIB[ 25748 ] := [ 31159464995442056133899, 7840312442858916122583, 20689016661416903810093427059039, 20689016681720675866018282858847, 31693014015987082294700632415, 802293951279717243228367199, 47805354360948553823, 47019189221471, 11844817944219, 1212018804741654623 ]; SMALL_GROUP_LIB[ 25756 ] := [ 15686590581702247236551, 404023854215165086712932463, 27812335623151687791, 23657038616687, 7892977731557, 610108583297882223 ]; SMALL_GROUP_LIB[ 25764 ] := [ 14125022342021023256425603155720159, 129961311524294845739841759, 548246481214978498496016250847, 74396487749136834977, 129947847184560688226908383, 5043776106887901100255, 21274616449524377078772079, 548119231652371956615763818463, 14290640113130977376479, 548119218201865862514063732959, 840656064676221895135, 14121743884291711002638920144926943, 368199197726536295096793311, 126471063251172278145, 368184052204055734255630559, 411499725766844621407664351, 9486284130226628968750501607647, 22317743533774253824, 1150397673209677585616913, 1804637883621793, 32052624610048223, 4910870840762785, 826300378973464443103, 290997858955665, 825778333326497759711, 126471047460590796673, 21288803496627946393712863 ]; SMALL_GROUP_LIB[ 25767 ] := [ 149520220701616040399, 738644846504399, 15074451482861, 19015615755139017167, 129418752785849117135 ]; SMALL_GROUP_LIB[ 25772 ] := [ 104144933358708617296419, 1017215842431749998324709565359, 1531499537805482171807, 3941399915911583, 157446938603193, 101620347376264293023 ]; SMALL_GROUP_LIB[ 25773 ] := [ 30415749295241739 ]; SMALL_GROUP_LIB[ 25774 ] := [ 629824599393495, 12213501135319, 16232385630793061847, 310989127090665687, 418373523626318264254039 ]; SMALL_GROUP_LIB[ 25780 ] := [ 1205281181838764359199098311, 2809481071200826220642755, 801113825112025573960006128457163807, 801113824802050171259715471313151007, 93360233891372898660943253152799, 31072148961440080791365907325983, 140474050614060902650911, 1813564683309945887, 4315285267630907, 46756876183663892698143 ]; SMALL_GROUP_LIB[ 25788 ] := [ 12070440434015703948566911927535, 217115335066142308714259713508591, 8976043890598561359605548271, 469456191077138244540908783, 18150387404804185064687, 3400912845372281612891, 12070439039790261162784254840047, 217115333671916865928477056421103, 468064232760655811995253999, 8419238989706778224190569711, 8974649665155775576948460783, 468064178693838664419247343, 8419238935639961076614563055, 348016509548120677942511, 468061965634352461883821295, 18204454221951761071343, 1740028892847700799603951, 348016505427161161987895, 44873955343588340027792188655, 5668113497700361834427, 44871865138941982474182666479, 62820472835352282067551120623, 1157209560400461597462112085093615, 3400726200256460595708, 468760184959236468068565161, 29256065216228216238048221, 12070443566313541376844311606075, 217115338198440146142537113187131, 714299649496937711, 54946126884559451, 18150480469806595470575, 326478957162303974569199, 13407198373080007919, 220127920830704219, 345803450061918142516463, 44300314801086823, 345749470986866935365431, 5668111093807310643131, 8917579451376814368745500911 ]; SMALL_GROUP_LIB[ 25794 ] := [ 3081063395213006191, 2287551985520361, 79472563763562446738799, 55540887459597062489, 2049915313766935874265339247 ]; SMALL_GROUP_LIB[ 25803 ] := [ 80041182359 ]; SMALL_GROUP_LIB[ 25820 ] := [ 31265710969955376965159, 1211548681290245159, 2835751305027918999114903, 94525854310112583875325031535159, 141787562287074863045159, 1827691014600005159, 4342150775742813, 47194185396551747045159 ]; SMALL_GROUP_LIB[ 25821 ] := [ 1036909312043912977667, 4042806392673886262009650199, 4042821254752829001209650199, 6063687783003400199, 8051403400199, 1571403419867, 207711758703400199, 783292833903400199 ]; SMALL_GROUP_LIB[ 25823 ] := [ ]; SMALL_GROUP_LIB[ 25828 ] := [ 8238225510430405713123, 35323415320664291, 547152571809059, 912554679016958577123 ]; SMALL_GROUP_LIB[ 25830 ] := [ 666272948014920911290370629039, 25803636930994241538629039, 25794539219599753218629039, 17209830247225380122213744642753839, 666507941900619009753090753839, 666272948015272292777986753839, 25794540283944763394753839, 998628231479298629039, 998619626864642629039, 25794318054538084354629039, 999332590387202629039, 25794317349358141442760079 , 998627410444290760079, 666267235322135641063426753839, 25812734280790966274753839, 666267217127434169614344001679, 25794539579319517192001679, 17209682688370760278188228615745839, 666742926469554346131463745839, 332838526255106630365, 117492062237615980546629039, 4548666738081794629039, 8597218302519934978686525, 3034819967600804155097090629039, 111029234171906686525, 117492065055114002434629039, 8597218242390392834814445 , 3034819967598338843869186753839, 110969104629762814445, 117492062589802774530753839, 222066148753292316377093057725, 78389399763128776961304559618629039, 2867884375223566341057725, 3034820040379256913264642629039, 39728447490629039, 4328521730630365, 167505821698629039, 21476933634630365, 4327501676412930629039, 12886999042633563, 4327149489094658632159, 554785223737346686525, 111779371918462287874629039, 4297064450761561, 4326797301776386760079, 554725094195202814445, 111779369453151059970753839, 332838493749250942443, 111770272102532775938881759, 14330102398208966661057725, 2887261176659949381222402629039, 110951893303304062441, 111761174751914491912001679, 14328549192005845002177645, 2887261112978495053234183745839, 8597218276717101071297643, 2887026128410968214732812865759, 370146544946093787709539905725, 74577956193126510905245171714629039 ]; SMALL_GROUP_LIB[ 25836 ] := [ 15766373003221766771747963559, 407340012911148358738623201550543, 610836710679974246748367, 851121748420295567808, 23620661619701453007, 11667235601424857, 610269325120360334692559 ]; SMALL_GROUP_LIB[ 25844 ] := [ 9594029499784752972962651007215839, 371228505793975147506879215839, 809805008371019404825339, 31314753565580825339, 809298329188443270425339, 31334359509241625339, 1218494054425339, 202315147854038354753111, 371228965594658917986892015839, 555804925440038425339, 252639639436531254319, 5228632717786940428693167361, 9594041386830992589506928685525339, 14367457653536742003225339, 7830003317293138461, 14364222592355792240025339, 84879255350051894995225339, 371312575597986149354348825339, 1900239756825339, 303117606429341, 49125742863904025339, 137898073658735, 49114012277075254319, 7830001811385938461, 1269605817316754691225339 ]; SMALL_GROUP_LIB[ 25850 ] := [ 174492123263370643, 317946954227967276447551, 12299688828157411135, 4510615364546575503663, 8218928766794439888876950335, 261803855777964335, 317946958034393751460671, 10334398584211, 151878746505023, 30396840150419, 3926811551080363839, 10149855770405, 3925859942813919171, 785188217786536239, 101508082807075839906623, 261742930282543737, 101483480878563125394299, 20297114964374716543799, 2623983940587887122604589375 ]; SMALL_GROUP_LIB[ 25852 ] := [ 586810283256127492206679, 15170219899939542774622726159, 480089981296558086159, 878220492806159, 66284503118141, 22717242322575366159 ]; SMALL_GROUP_LIB[ 25857 ] := [ 11549751845658555, 34494028795, 888886632980411, 3554205897924539 ]; SMALL_GROUP_LIB[ 25860 ] := [ 65075653813998084513882155559, 65081022871289858784125731429, 2516459567531117708986619, 65075641357264716462394155559, 2516459988092871443755559, 97427317053030586619, 483221347620238610827129103, 5385820511072581292548142363808719, 8053688632584936332986619, 2684631769369713549355559, 12496104046299703143963759203433, 139277318416336952930509705318537286619, 208279138469618055366617786619, 18687033036692629722533, 208268388314401833169993786619, 347112198589524059719456186619, 5386098520824293729311121337786619, 18686056430238518653100, 103330235269875386619, 724457607104369373, 2672382656143317715386619, 242740341082339171, 2672175036001662061355559, 18687019864736136922533, 69107815933928387192515386619 ]; SMALL_GROUP_LIB[ 25868 ] := [ 22468872355488196634655, 129610342848981868350528193367, 193693013054392155719, 274914050062919, 33655013810625, 7116953903200009031 ] ; SMALL_GROUP_LIB[ 25884 ] := [ 1403518237411492509592269140058455559, 26120310778047158101961166981931103188932671, 58186090010622274323485535, 80932880601362451650755, 1506088757417616833560979451743, 38986617531161399897466156222458719, 1506205282458799928049693029215, 242773044544720285515708, 2241640932527451951967, 3150807721936169147, 58024249590218088978877279, 80932709627300021061827, 1501899682188535729046605965151 ]; SMALL_GROUP_LIB[ 25886 ] := [ 7157202209654618680350916823, 1649716765799255, 1836224863722086998103, 1652460186354263, 1107242573216199861315671, 42773802219254351447, 3273652631599187543, 84741700990158288496727, 941431620963328254912599, 36368372556391351895, 16084511957325186647, 36368369812970796887, 21422367266290464599, 554539399039961173305431, 64125841751, 1652391828616535 , 126464702461271, 1404944186537303, 827566355019095, 65420307287, 1693701161311319, 8065590083, 1691234905804415, 43843159124262024407 ]; SMALL_GROUP_LIB[ 25894 ] := [ 6791116165415, 585789421703, 175806802734432807, 15070223832037191, 4552341877814074808999 ]; SMALL_GROUP_LIB[ 25900 ] := [ 53591617306551726440853299, 1388022896960056118645633193623, 10936782694532197266119, 1388022892585206093542114427599, 6562101576035570171039, 35949793031296064374078178265924359, 283306536654303567833871047, 295634513406050096225, 283262673302120710254768839, 1189696599703364810321310407, 7337639299346509432079061758663, 4593474304288856694862707, 35953004969157337277460917245674191, 35953004930878877490615430141674191, 4401923353679548331448237785807, 832793827228469148666043883057, 931866879262361760520481499009478034183, 931866878270949652041183383015878034183, 798060376047025350807437150590862087 , 594851858798397203147234222127, 931638862408595081171693184785367647423, 931638861417182972692395068791767647423, 570043522280346002019122926480475327 , 107846007474955720643770557083951777, 24218031084029882618139827096587526949651143, 24218031058352309008526005892353286949651143, 103348674874330977245272589256542748754631, 177386193451528503519, 849783876627270277946121983, 4402719545525724353568353001215, 7656933660621558849272417, 154065495258465105128880739070663, 7337639299354954762005707633351, 190044863747948542346115295950025415, 198443191522598893223171127905, 190168110206400742016471172839518919, 798213053282056035226810868129215175, 35949792917978698517127012101342399, 169989171641885436124831487, 931099639510568220413497908679872955079, 7337639526947819842142459802311, 7656933660613200005102177, 7336503238533526993559542969031, 30819036806256989443077203702471, 190044863747948533900785369304150727, 3081903681950180159334247494590511, 24117635802589201398420586059474112343393471, 24117635802588209986312106761358118743393471, 2953388298333318024963170794653456221375, 558749137458211813902483333853109297825, 625105723828405619285685292875118145492204995271, 625105723828379941712075679053913911252204995271, 535449298272136003438660062014974508004098759, 3081903683481318550808066978750511, 24117635802589201455072706544005433257313471, 2953388298333374677083655325974370141375, 558749137458222531871223650589498417825, 625105723828405619286081857718509864738602435271, 535449298272136003835224905406693754401538759, 79889374529073863, 11413723086468833, 2069528202613078766279, 6848679656964351, 2069359296006187007135, 295634496688361755745, 53600782177901246273958599, 177386176733840163039, 53596406990062928971669247, 7656933660596482316761697, 1388260258416459362161722798791 ]; SMALL_GROUP_LIB[ 25902 ] := [ 3146162583684299455, 2326132475869035, 81491509647239741078463, 56714051537285662355, 2110793087017948890085301311 ]; SMALL_GROUP_LIB[ 25908 ] := [ 446584999391712497422649550372281783, 17237339813197712653571545836983, 37046523713070894046377443, 1428999992388398757347, 37022529318703481266384355, 1429926164530945080803, 5238960350227199584953819 , 17237346449009240846546571861431, 25680450231781948126691, 1712090738722087064375, 135730984746866561504199015045, 446585171800931413378618985482228163, 665356523515376298520466915, 202216637289402974337, 665329105201821780961980899, 754039427604823432348175843, 17238056811236623171270130650595, 40442077870991604108, 37025979405831339058572821, 55284273089758691, 65044386302146019, 7808903573957529, 1686055864369168133603, 524387590590403, 1685130730839252503351, 202216608834262413441, 43682336299485140156623331 ]; SMALL_GROUP_LIB[ 25916 ] := [ 5437580791795208639, 2878724683353615599, 140974739736927091208639, 175473565920026387, 140920345507628592008639, 1417490155554615532808639, 3653501355021848070124808639, 11548915208639, 6771340808987, 299430897004808639, 3586291216179, 299332160467215599, 175473544147226387, 7760053116361641608639 ]; SMALL_GROUP_LIB[ 25921 ] := [ ]; SMALL_GROUP_LIB[ 25925 ] := [ 53499539759 ]; SMALL_GROUP_LIB[ 25929 ] := [ 590710266931520735, 272629301471, 340634756855, 7076036386922975, 9091251715154399 ]; SMALL_GROUP_LIB[ 25932 ] := [ 419621560106563151600241259067759, 452622178778539622404319, 16181201532777009932579387759, 419610918147882543629977559044319, 624586335237097390084319, 867058378091887046400, 11738023390070610598872578159, 17458839190241284319, 24063022655078404319, 11841695912503441, 624008325690432552964319 ]; SMALL_GROUP_LIB[ 25938 ] := [ 78478864757415199, 5479690613430679, 2036178746382895015199, 613079003965871, 2035541220262037549359, 142015642140823577239, 52814405015378728178215199, 15780603599426753231, 52797868225329802909390159, 3683601561024180133030039, 1369900037291307530197178215199 ]; SMALL_GROUP_LIB[ 25940 ] := [ 1258681848153429015880656911, 2915793391033813945446147, 847012704842970308109711205062480959, 847012703652369976132644376794960959, 98099475525110186593927662998591, 32650207238280031091861646021695, 145789666531833488086079, 1870598988556670015, 4423500336569331, 48526616344249934812223 ]; SMALL_GROUP_LIB[ 25948 ] := [ 233235085952911838416031, 3019908234107298667949583987815, 4485242907064388156759, 15653026908141911, 348369893714141, 406286528981141674583 ]; SMALL_GROUP_LIB[ 25950 ] := [ 3735551041984557423306277407, 12303197655272900792711725328368087, 580483471998784346762720796950793295863, 517198076748631880891238701047, 2321883185273352069382228123261698591, 320044242097123022839, 421772369443750431, 7418445901951575, 10945773050968523407903, 192045673287477090295, 284042816322921268365853215, 2485661108059093, 10944919679197429582407, 192021009363466919967, 284042812056062412855960703, 4983584533469515089707479, 7370911083589599057813395227167 ]; SMALL_GROUP_LIB[ 25956 ] := [ 2126957334265695476177549218864223, 2126957321576843872402061079026783, 245831421260959274975086156895, 81944726521112554079794289759, 929319515535283247021293533453407, 1135816750291503076743078694935647, 245845826544907587906811518047, 35816276631082434801437826143, 35803648591765824528758963543, 24121417345252812431020207249519991903, 29481259570585254331278862900953013343, 6381174292802008274721412089044063, 795719738200161168366402167, 24121417345233809803018867154972310623, 29481259570566251703277522806405332063, 24121417509120503810726245451854322783, 29481259734452945710984901103287344223, 626095508613381999457100712997219858455647, 765215573414110861420214379085815362952287, 929319515536015384057511308655711 , 1135816750292235213779296470137951, 2127331237821251781112543214828639, 2127495124515259488490840096840799, 55217010102120623089141794359779335263, 929319521849302903020049238252639, 1135816756605522732741834399734879, 81965446313595467835702697055, 929647295237804806968373980355679, 929647276235176805628279432674399, 929811162929184513006576314686559, 24129925195192460067678493671622253663, 35816277363219471019213028447, 245833198439427836379004697741, 2128068791146080582828867349415891, 796210147420350090729610541, 2126957362681218664871106902767571, 29778622063515932383692876853200851, 29778622063822438192348465995892691, 55251040846406731197998567770330154963, 55251040846407037703807223359472846803, 3157063189574931495017567, 1379395480886305769708639, 91957721311876922278463, 929319502846431643245805393615967, 1135816737602651472967590555098207, 35803649080676715926122306655, 43759313850141187713831705695, 81946443442335693591858060383, 35803648591798113857644059743, 43759313361262585645353458783, 3157129134186632642878559, 35803587779478659313297988703, 1379884359488374247955551, 35803587292961502717124787543, 1379397842331778074754391, 2386852692084406598528334455, 24121417015881977687663752070620658783, 29481259241214419587922407722053680223, 929319515536015379733047618681951, 1135816750292235209454832780164191, 2127001885989136425997458863176799, 30658921026231399774839, 929319502846674901679954690571359, 1135816737602894731401739852053599, 35803649323935150075419262047, 43759314093399621863128661087, 81946443685594127741155015775, 929317924403061450513195081022559, 35816277363215146555523054687, 536046174885967625412929440571413423, 1433102288658219898259215518718059757380863, 97395301132454294956263041856760640342687, 260383220706033933425087152900207219329193974431, 15785168418507576436644959, 3157129101897303757782359, 409738834815499416160444800095, 153261179909809286576759, 409719832187498076065897118815, 573606526195205454362779130975, 10635181196471516440739059864771679, 91952928652918119301075, 81946443199044681816100880423, 2127167351126271002807261415464999, 3978476055208301026509316295, 14888530993925224678184084534504543, 276046764776060067508290193010301533279, 10636328403331516474851806539742303, 103254186558027418525370446840007, 276046763135620997107661723882154200159, 386489289878714831429964315151246900319, 81952818274246568234142900263, 10635181259672525307496067768245343, 3978046963606157359054913735, 10634687964261115846382678392409183, 14890171439309401706380050934668383, 276046764776060067265031758861004577887, 91952924328465578378460, 35809962613707878950926802061, 796210147411701163349663021, 929319566048172536116548572444627, 1135816800804392365838333733926867, 53212814002707520607, 1254671065252135487, 1379397878945570649824351, 1685903687601159792516191, 119268131974318709855, 5904911019870585407, 3096316814732088296807519, 1181443480101954763, 3095830297575492123606359, 153261171260881906629239, 80368000072142960981545466975, 30654124331106485125075, 80355371546309194112697565223, 3978046963597508431674966215, 2086031809875070720708320186190943 ]; SMALL_GROUP_LIB[ 25965 ] := [ 13754998654139974749992063, 20405321632127231 ]; SMALL_GROUP_LIB[ 25970 ] := [ 317741072426439, 31194980855537, 8252122608223233479, 809087879608241017, 214307633795125278942663, 18736455416175, 8251462306360324063, 809000669928478097, 214307629173012236884775, 21012011253409737018489, 5565569249705724007709631943 ]; SMALL_GROUP_LIB[ 25972 ] := [ 41677494067800006299, 38637000006299, 10643400022391, 1004664149100006299 ] ; SMALL_GROUP_LIB[ 25980 ] := [ 1863120844676728964478784049167535, 1257656549347286138973503914801695863748287, 1257656549347273660018170165067960071108287, 145883759486425777142820269340042868415, 5615233236596214102474120941680319, 48403879544706961580413549117542643391, 32786375419856545354969440191, 1261771283815182448648127, 32780816622670508725547229119, 1261985255567871455715263, 71714017069001061154263841967, 499164619098476295834142467, 48408643171262042598416619286587913919, 48408643158783087264666885550795273919, 5615272170936855388162232736954047, 1863130168996131082540780963641023, 8319409812283322655760319, 1863130163449715232294406440260447, 2773207441727885440224863, 12968296800929555819133907685811, 1257656549589387866705987804371474172796863 , 1257656549265184607135169721915581385596863, 145884771000939503709572387435676098495, 48404121790519485448985932860283346879, 216149371992732078819193839551, 19214421116058654693555, 216138267206658547975993876415, 360228604580205745621841403839, 5615560684371149401585195703001023, 19213421585569073784576, 32786375420281682891613376943, 48624560089394765759, 106248746656044605375, 741462913277341779, 2760612626246693233549247, 248438222890951249, 2760399146555755765206623, 19214407634914776930483, 71720716488540233987153649599 ]; SMALL_GROUP_LIB[ 25988 ] := [ 1804163911730894566423, 1472349234057758857223, 1221865559441270531257315502271, 1221865559005793091971999475903, 3405397473904399043015616703, 46886616709015212508719295, 5042223516775487679 , 2673202043071, 2181931605551, 69615326902556863 ]; SMALL_GROUP_LIB[ 25996 ] := [ 2791930278933610177631, 72579026548798863298271423, 7127656545675909311, 4133939583167, 2829343269857, 107669425213151423 ];