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 col51.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 25004 ] := [ 67416522418596174991, 19828496229610143127, 1686055665034360161320079, 1434711661647015147, 1685682738325912885737615, 9419974270346107137963151, 42158135848517223585674425487, 151878746217615, 57392819052923, 3799613246130312335, 16898850292895, 3797710029597422999, 1434711477104188651 , 95005543684638601326735 ]; SMALL_GROUP_LIB[ 25011 ] := [ 260010195832889675970983, 6503115007833646074072825239, 6501279869826638599614004631, 125018337467570609303, 416280875244695, 13377706686041, 10396917449073962135, 113686281763976719511 ]; SMALL_GROUP_LIB[ 25012 ] := [ 21692630107968440152211, 542576073416567388043573871, 10085020078599453023, 6817549236252978784763, 13576756633671391624459657771631, 13576756618177186834605718469231, 6309189992872749014596811375, 2216741625904663349253017687, 341475495930979706608652842881146207, 341475495543438656404826113049517407, 2051464469692592502215624681741663, 272708904775430855, 3279194369387104502233439, 6312447491692524765694835039, 13570912748414369408610389876063, 252376758823310336080223, 4267214508134002130501719986263, 8493622944908063302995966978341405613407, 3949068059792163636178757389322181983, 4267214506274697555719247269975, 8493622944908063234201697711389915110751, 8493622944907675693151493884660083481951, 3949068059792094841909490437831679327, 34681463650655, 10905195789479, 867662401308932447, 272708850597737159, 21701976932851622328671 ]; SMALL_GROUP_LIB[ 25020 ] := [ 1183481340508463905471048032470258939231, 47301412490712709614514157007107423, 185955662725029153118157334131, 185905288713995060111234660903, 29610703139521766914876523474602311060112859, 1183481340517631985545320152931172402651, 4652610782479525737276428607743603, 4652610681373141882803392696419955, 4653871039127201526814060570551923, 116408321777637724491884160649280169587, 185955666766210554689000146547, 1890561821412006446276646794225, 7430253266663983033411187, 185904928338845750550812632691, 7432281099188064991487603, 185904926325495988996335974951, 7430267749426510514829863, 4651341307031496703679785347335795, 185955666766184032721241359987, 2838413909854162190926326052691485987, 9871379079886407528530190183168586211734247, 5330260702911402173949187774906363266703852737, 18537474067371210276804832641385587847112742708639923, 355085578194476320619928543853048132306113, 1234909521338257220858210351810933113464050350259, 13601164220519654252862341823, 47301847722168044125050033712919903, 75562008773315990270305907, 25187997739222983347632679, 340301128706822809893393076434693, 1183492230008644456326034010824762541531, 1890662570129332103856009700979, 543640705294684445616633, 1890561463745477630820098377331, 3150919217805121641487972509299, 47304377504637759106161407101838963, 543611709711399361486279, 630203705659120836059396716847, 15768966089933036778546766275762479, 13603701037667030438234974233, 78835998829498756988067702119183987, 1183555533997557614758338198401330251379, 47310679293420137483132402402002547 , 340319263350793355020745846392857, 1183555525166087120752919667811725121139 , 1972697655366126301844884375670110242419, 630254440045290977642862025007, 8514334240244661596635084671716197569, 29610975594816284297316853801129613630109875, 47304377857616211472904441775777395, 13601889095291023718656083993, 47301847822926132064601812796872307, 78844830350364760090929744170329715, 1183555533997557612744989320912445515379, 543611683189482014376684, 185955662739035404341989430257, 297385520085724587635, 992193886380943533683, 21730332250368454185, 24827622589913422925604467, 7245801591703192303, 24825609240151868448946727, 543640652250748928043513, 621187122100298507212749293171, 181223210640284462800327, 621136746075914652651355142447, 13601889095237979783138510873, 15542101794964413945057295792133747 ]; SMALL_GROUP_LIB[ 25025 ] := [ 12262509213 ]; SMALL_GROUP_LIB[ 25036 ] := [ 18939950937146249225461879, 474180617735354594573123921455, 6832583436560505378351, 30219984137492015, 482960178866705, 756777048097828312623 ]; SMALL_GROUP_LIB[ 25038 ] := [ 43920056429926372305, 29415133481169307072664899, 1174819611691767426371, 1099669989764264398824801, 736496112101586218137007139139, 10982272175794279777, 29415133528089422868152643, 452213188395985, 23023475186511171, 2413516594926545, 576676948941504107843, 220967808699055, 576442346221365856263, 60389593046432327009, 14438837688251418861791555, 5490363985280983399, 14432963470741874405548335, 1512034574917986594877185, 361519618039278924709578584899 ]; SMALL_GROUP_LIB[ 25044 ] := [ 506723035165392843478603, 728380733127992990220, 20213720433012822603, 10300448053305215, 506237473559136834069323 ]; SMALL_GROUP_LIB[ 25047 ] := [ 105546632839, 177653055910997291 ]; SMALL_GROUP_LIB[ 25050 ] := [ 1947921358602829657192030683, 8945367162771561562540379853059665, 407418077622652260979924378191996307713, 389552737925103460802523412225, 1629635445763450222337389940952434139, 724298045312786067201, 340772771520266715, 6211709537069637, 8536988447252170365403, 155230161386468767489, 213851565170753580273591771, 2081326064943859, 8536298673210806694207, 155209509469071543909, 213851561721883373418587971, 3888514988142127394813521, 5356981707535292103670405295067 ]; SMALL_GROUP_LIB[ 25060 ] := [ 65664022091103519590263, 5515807700834915169005839, 24742475499589066908270026041679, 967579307409246432871658668291, 4340276120076427132491690615043938967, 39398620578406242991515, 1645803192004722809207154551, 366896891834970922143, 1645540401742330647732300663, 6911228088623035694165913463, 41243827991636961761636551765879, 518217871097923447, 14661149109616227, 12988586955541541998455, 8805838388884969, 12987538854922519823771, 366896731728818400415, 325493999251197527302583159 ]; SMALL_GROUP_LIB[ 25065 ] := [ ]; SMALL_GROUP_LIB[ 25068 ] := [ 319948659059733268937825734336103, 201284071500970936373327, 12763346018636095821186834023, 319951557995092940661868443344975, 509644537371634107289679, 731878847119007575488, 5046299140288606194479825447 , 8033578021857267791, 20310816996053880911, 10340008057929241, 509156643787508448170063 ]; SMALL_GROUP_LIB[ 25074 ] := [ 7153009336352578667218323658199, 4497136139801182045631017675269835803743, 5188980041141964033633723232216793435231, 179354556106073365622052246787071071, 206946639592584571971366498878757983, 15641476720447460191871717824415, 623812587550055600464471967, 179354556105973601955206724379259999, 206946639592484808304520976470946911, 623812583571305559910563743, 179354556099804006767366524459453535, 7153009436122197462754159844447, 285275956635237906641528279, 7153009336608564986883892282463, 8253435414877337673703476397151, 24878862807243183329183, 11377541080284378021791, 375076659398268310367, 7153128454174781955024959379359, 8253513781610999944224186636191, 285280711252520379717248927, 329166223234502432409249695, 623825839364713609562658719, 285280707273770339163340703, 329166219255752391855341471, 24879390575376245784479, 285280461218150727576999839, 11381519830324931930015, 285280457249353064172665111, 11377551032661527595287, 9404663402756819466163031, 179357542859978476500827094683771807, 206948604560114206362008518921577375, 7153128553940433189640931324831, 8253513881376651178840158581663, 15641809096232402836216718484383, 125052358980942455639, 7153128454176766344118523513759, 8253513781612984333317750770591, 285280713236909473281383327, 329166225218891525973384095, 623825841349102703126793119, 7153122284581578503918603707295, 285380226869385343548945311, 454030951293947807, 5297547140211551, 11377551168995460992927, 13127790938556841414559, 982266514985729951, 24968586124383071, 24633334955764659443615, 5024879273261035, 24629366158101255108887, 625120591902041183063, 617656246161262503206986655, 125032142606255119027, 617556728559852635632429031, 15674272361079571831146791, 15487112716266623047460291332511 ]; SMALL_GROUP_LIB[ 25075 ] := [ ]; SMALL_GROUP_LIB[ 25092 ] := [ 1702757887209256427424059432896041, 41807513525607833485299635639494905894401679, 1751749628658814270491830926184486401679, 16079865479819183578839493906584309859841655, 26337803973493905780653581604001523163006242816066239, 26337803973493905741494832267792427562561179648066239, 16542515369403769715879742085874624554078208066239, 726335211803485945542577046949987841655, 1049737407810406127963130999750421999521792066239, 747233327536677117667723312551190859776066239, 105465103751571312642648039, 40563509739468623874686415, 66441347796064174344663732226624639, 66441347733868775814873485314624639, 41729378038455205371056130624639, 2646330445143073992216578624639, 66278298948206592066239, 2646330383281019350421507520079, 4418709617639424088079, 1017819586329029446209541056055, 1667146298898842262624791021752322562239, 1667146297338235322715294146236418562239, 1047073553740918008601254563842562239, 66401723529529994572381818882562239, 1663125989114494582784066239, 1616612839915520126455, 1663055079728415768576066239, 1884795195873733640192066239, 41731157318862855421820928066239, 323312272015361022441, 110874261780513161216961679, 2782284115955724625903616961679, 40567712740818288642497655, 47293281054872415868551168066239, 1047118204993755903361748041728066239, 41734926900843665326342144066239, 1017833107067839245189122497655, 1047118199444915613598932008960066239, 1186822239951140669565848518656066239, 66401721977287312104526188582401679, 110883314042572636160961679, 25539129060167980500326551651841655, 41832034931969750053781273064628817920066239, 41832034892811000717572177464183754752066239, 26273169610467114671846161884385280066239, 1666152046802966623830319193395200066239, 41731157540003024914612224066239, 40564048729980010498497655, 41729378060553902510309376066239, 47298829903998910687346688066239, 1047118204993755903009561247744066239, 323312256286825982400, 167505821696066239, 64426606592067175, 4205644864290816066239, 4297064448089561, 4203179553062912088079, 1616612808458240126455, 105528043849448423424066239, 107782207438849022441, 105466181794806628352961679, 40564048729948553218497655, 2647909676279248533061632066239 ]; SMALL_GROUP_LIB[ 25100 ] := [ 55156861511842428128906250188499, 2197484522428003906250188499, 4782058165134348661683188476609375999, 190520245623701683063476609375999, 2197777288788625000000188499, 87552788125000000188499, 2197574890452187500000188499, 87560852062500000188499, 3492000000000188499, 302408784625000000188499, 30240881688125976624937503, 190520558108661682188476609375999, 3795210482488402188480453125753, 23910078037606848588400469726562688499, 6024048625000015563253, 37951902410448437500000188499, 190555999950458640906250000188499, 7591872507984875000000188499, 19055599995122168406188480453125753, 120052185528753026608268400969726562688499, 19055600005202328406188480453125753, 120052185528755556728428400969726562688499, 3984125000000188499, 48125000000249753, 100010448187500000188499, 1205040187500015563253, 2510262305040218750000188499 ]; SMALL_GROUP_LIB[ 25116 ] := [ 20719689871714897253558850823, 11969101803488446437661976782515791, 13799982806134030509585427, 5175053646652428699352807, 13070259192176308895826611912249165633, 7550270487025970166801578950082315581097931, 13070543042338124659943553904730687297, 7550434458181245955627484596995131237697483, 2176747787664767344853054448645139, 8705301509427342034518881523643411, 3768164206440118063046644165, 2176747787660366189848743023334419, 54671197434988296633200478779540304915, 2176747880805150664323000692700179, 15069731407258883668317884869, 8705301509422940879514570098332691, 8705301602567725353988827767698451, 218642352710777122538847391595196904467, 520465423815883505689124192110401, 300656220311033360176661493268203931595, 86667776748094871058140017683, 346603822366926479979378553875, 2925030321919400045236677, 1689603270522896928410799297555, 1689696415307371402668468663315, 42436075852992488306722709747069971, 1689603274924051932722224608275, 520395731492925186105833475901249, 300615961420049775712827059585494443979, 520407033060126004871438747141953, 300622489973771538287516725412569442251, 86667773039511314110349882387, 346603818658342923031588418579, 20722464716354590295579526977, 11970704742436429445856358366078923, 67271988792912046788752403, 520407032385345942067294694786881, 300622489450137586874098220060518483915, 346600372560088621820108518419, 150024455130109619376581, 86664322540102008587444671507, 86757467324576482845114037267, 2176661235456611053785300400927763, 3454270876120680126395411, 23889132043854197989, 3449869573458175012566035, 137357446971875701779, 8958533223283212343, 5174772975980090463551207, 15071681136843937101937316293 , 2176747770262033145605540472427539, 3770113936025171496666075589, 8705301492024607835271367547425811, 150030427087094401372613, 86667772346939866746714706963, 600005232024933452386757, 346603817965771475667953243155, 2924869085575531110273477, 563196341174915713216214733843, 68679973690764738279, 150030420667201330926021, 86667772346792208553026188307, 600005225605040381940165, 346603817965623817474264724499, 3450699647511687770453011, 13800120161081985943778323, 116454418403162378693, 22423807181668530713981971, 599999260067077912728005, 86646924207057765384893764627, 5979689341852225989, 3449869721116368701084691 , 824965754566140329923847, 476550992154420687544598736463, 755454703251045790739, 343389863564379995879, 20719840045470388848972777281, 11969054718954001090379014281463755, 18978401646472876557775891, 32853476732803649989, 18974000491468565132465171, 112118784965942822801830931 , 476661535752823892976143234067, 68679970439936173295, 20719839890193397544476087081, 11969054718950429719579010836974715, 18974830417862258787570403, 32847294585600423885, 18974000349279179457327843, 22423807181666905299718883, 476571840775039617058641122019, 8624997839452273948511215, 520399502582033570110476370640109, 300614778321248691386609951409347276371, 476661541939740860674041164819, 825147908383881496808405, 476550996343959827366983787539, 2816130793811200510877738071059, 11971831287358531464898691779654675, 20902434653936972119, 8624579819302413706161135, 12074386651690139548552175, 216625445735678031371651419119, 825225540697604231769045, 2815975403204860750260449018899, 476706383241863689012481807379, 11971831287358531612556885468173331, 825147908384316875639765, 476661535753042645855413027859, 3942364934219726627450800378899, 300684514613296876272550681436089422867, 20724414628077798513730718677, 11971831131967925125138074490602515, 11972957521498939991015264841962515, 70729941017362112198007476314903571, 8958050272064648172, 150108056298452716866611, 75058507174369648524941, 3768164827532854128623494185, 15069732028351619733894734889, 245205357835493, 126317911621687, 5973510880856396229, 23889373475928822213, 2496694421074963, 1307819958908133, 62735597693722096659, 594495281610807, 62719191226144194279 , 32853475862045987269, 1575667447225362581558291, 118945496786579, 62708253581092300015, 32847293714842761165, 1575667305035976906420963, 14930717795093098839, 1575255223789822662781935, 825147908383010739145685, 39574463604758486637756195859 ]; SMALL_GROUP_LIB[ 25124 ] := [ 6978124291440922565699, 30755964513605699, 489798446724339, 772905736756838885699 ]; SMALL_GROUP_LIB[ 25132 ] := [ 2065337896339966460927, 5346152282707463165791016951, 8464225461647285735, 5600936974823, 3273274862201, 141012491841104615 ]; SMALL_GROUP_LIB[ 25140 ] := [ 396423059657517914098433711, 4175785452386128164321403966639151, 6607050565117061456986379, 2202408316565656171795151, 9966075717123738666230503736397, 104979246272987262646150383743328620331, 166110070885690428575628534027, 15769468261400386783913, 166101251439745036005674599691, 276833957393119961948968872203, 4176007182066232748502694517451019, 15768620529120276918188, 87185756371171393803, 628857301888820073, 2192071660872961611286795, 210708031023069295, 2191896456328468715641551, 15769456827631261538985, 55108681930765126904553180427 ]; SMALL_GROUP_LIB[ 25143 ] := [ 696369519319587 ]; SMALL_GROUP_LIB[ 25146 ] := [ 876993109200442810923804030167, 22052868723967621562818806402416807, 876993122520647404471915548839, 34876048247590307035382999, 1386972400183170185447, 34876807649802307832656103, 1387502086527181144295, 34876807121154576452295959, 1386973438795800784151, 877012205161684682521952464103, 34890127325877188951358695, 55186712609835239 , 65044386304145639, 4686968154419595, 1636098653753714192615, 524387592495523, 1635570006022333832471, 117762011810810214003, 41141337320860098388143335, 13085598416927909419, 41128043416359073319082167, 2961243412843799885548707, 1034540068272349830290243070695 ]; SMALL_GROUP_LIB[ 25150 ] := [ 16292087373566723, 99577434120605, 409743956088760845315, 2453753575722513561, 10305060664297690109082755 ]; SMALL_GROUP_LIB[ 25155 ] := [ 4632294886948881179, 74960311747355, 4299221960681, 1885389929042488091, 269499280301828891 ]; SMALL_GROUP_LIB[ 25156 ] := [ 859498714881132485939, 1998039700805939, 103602058668587, 50287307382021605939 ]; SMALL_GROUP_LIB[ 25172 ] := [ 171456017383124057458061127, 133792616838794727395193374835839, 117312871808071872005339, 190424264947205397, 117304774548829344005339, 4660129332057605339, 6071500805397, 6811388438987429261127, 5315026550156746624594035839, 8388223481433605339, 1553384139148824479, 171456270943706697913083177, 133789848320581665412765992305339, 211193118268496755205339, 270645236755226277, 211148362872787708805339, 1133943632281471622405339, 5316153173054385516115205339, 11548915205339, 10752652805397, 290964238905605339, 1993766425175, 290692713427224479, 270645214982426277, 7324153493894467205339 ]; SMALL_GROUP_LIB[ 25175 ] := [ ]; SMALL_GROUP_LIB[ 25180 ] := [ 2439107727429369267704215, 77323664502436404928371306757559, 121955383690516903877031, 1611941944893216167, 3927069822083837, 40591523538858343876263 ]; SMALL_GROUP_LIB[ 25182 ] := [ 19160216525982673381199, 482492559903960087728871503, 19160220376235228558927, 761249933768525135, 2732212551299981135, 2077914081304915, 68802234649921108824143, 49254080796801733675, 1732577876545529432507500751 ]; SMALL_GROUP_LIB[ 25186 ] := [ 560888369448447, 11132555624197, 14125898878196975103, 277000170560750853, 355774903734409202304511 ]; SMALL_GROUP_LIB[ 25188 ] := [ 524463472972135805417059, 749571597241572436428, 20801912756201452131, 10539520072811411, 523963784716129981731683 ]; SMALL_GROUP_LIB[ 25212 ] := [ 175821918061863923237999, 19536450363624025925279, 4433017756344077147609637999, 920574481874048423099, 4432822202703947618300837999, 5417889504056185118444837999, 111765243672948253496477164837999, 306847300125691763900, 766774567769637999, 36543259481672019, 19338095088320160037999, 4088534669160811, 19331896235880915525279, 920574260015578023099, 487552060691599209129637999 ] ; SMALL_GROUP_LIB[ 25215 ] := [ 757695935280842629190399, 12124230399, 297932390470399, 562330828870399, 1190277120070399, 48352439951430399 ]; SMALL_GROUP_LIB[ 25220 ] := [ 8072411425328152514792543, 934684878871836660980747, 5136572315210085313493200775185535, 5136572310706668565912631827268735, 2286532107224943837847835149439, 203586219413315213445458068607, 3594902698028464894079, 254913751830838437338115, 5134909388639100823161676728926591, 5134909384135684075581107781009791, 623605536240453506323788890495, 594579824034163138729418625810731, 3267108803026323532770115426895858648510591, 3267108803026209956599741444946992186814591, 1454544406099777099785450190667532759167, 594579824289073520667941396447531, 3267108803026323557496422474932567400280191, 3267108803026209981326048492983700938584191, 1454544406099801826092498227376284528767, 83575852537572253194147496235, 129691140317990296058549526715674161279, 129691140204414125684567577849212465279, 204452868136157536683806347342409855 , 203586216798746091311431188863, 980437242248744242559, 23572752731043402830235992363, 129544353789598360102850436621712519295, 129544353676022189728868487755250823295, 57666339744221580984716253380767871, 5134444453612306656147913712889983, 90675871374596610264690815, 37065940574084619563, 90663446418049164109705343, 321442311836891045928398975 , 2286845476067284809192610754687, 12692156640686207, 1470540967612331, 320212411744801288319, 401815665487779, 320108745390488128895, 37065933268345249067, 8075757490096888564707455 ]; SMALL_GROUP_LIB[ 25228 ] := [ 202200519757452784094435, 59471286525499605534975, 128767536883947818367066672148863, 128767536856195431423051985269119, 79515786320168207077836796287, 5101114828973487584617116031, 124936033470016272399, 5101114745679709052449367031, 41645556447163096999, 1500341627072559031794917587, 3248547420508236128118107216772803599, 3248547419808098910294504696170621967, 2006024257285769921196450028923919, 128690924905909518177718169971727, 3152586200871538187974671, 2357807552595434435, 3151886274305910956406799, 17860651331523044625299471, 79533444675583523793394677775, 317741072005135, 93487609036603, 8019696352379746319, 31194980460753, 8016394843063820199, 2357807211932621763 , 202320925799127064098831 ]; SMALL_GROUP_LIB[ 25230 ] := [ 400061922778400337920198695047519111302783487, 2012116753716481180341590826386547199, 1526205442202912180587225599, 66613674387315259867616556671487, 1757143707534202871018250751, 76284617173709962905439, 296935290328075775880100517113930239, 21138754286130769252826280462175, 47875052883758582027710796236639, 1924682245024690281306219007, 82028753435629161538047, 1225162064648837524571538336608068095, 48559733041972935758479667290623, 2831555052087304703, 3251238739244507647, 7615519023615, 192304753952514559, 848126978919, 192108499582691551, 4851849570277478949375, 284177684197, 192092145051915303, 4851849095996085208927, 21344075898576399, 4846897401990623628991, 122412164659189236135797247 ]; SMALL_GROUP_LIB[ 25235 ] := [ ]; SMALL_GROUP_LIB[ 25236 ] := [ 1116976000568676591434401269757000701, 497196070698689287704897448378780233670000491399, 19759792358441043719392421330556870000491399, 1225833970226387161990343490699 , 30935146072603605275235590343001399, 48715351097593600000491399, 69499779332480342510701, 1229380603375424364480000491399, 31027110980628421320341120000491399, 780679346288224581907462266310000491399, 1229478165344360879360000491399, 208476792415600785510000, 1924829070080000491399, 2775171840000979301, 48576373858624640000491399, 69499628741760342510701, 1225873375672882099520000491399 ]; SMALL_GROUP_LIB[ 25252 ] := [ 9955157438029487619, 6791116069379, 3688452697523, 171781484835736323 ]; SMALL_GROUP_LIB[ 25254 ] := [ 3861644212224220919, 97521956634232627420919, 3877212684902620919, 97521941091190579491719, 3861669642854691719, 2462819492834907023462620919, 97915125654283161820919, 153678643420919, 751771238620919, 267643699423161, 18999037596672220919, 12839731495141, 18983494554624291719, 6756853552128428481, 479801709570625229020919, 321779340292748461, 479409170043702993339719, 170637576714286399947681, 12116912373545794407475420919 ]; SMALL_GROUP_LIB[ 25260 ] := [ 36528200982249050928557834338394617619, 48229050877849634958950578079, 1446088716685701259923714957817619, 36528200983480809997006547944686264839, 48231225209414333992550930039, 1218265827458569544609417323224419, 48235779406964451609912024419, 1909386784756452556978079, 1446043083630066572180278567417619, 922781687490064362145213138063538061289679, 922781687490113957352384925719279501289679, 110104073197141844290864694887514089679, 4358831084616951904203530944489679, 36527048292500033176216544288243689679, 2602723771935865409126578079, 1909391015388461875378079, 48231214392266255069798930039, 1909391389269938381330039, 102856692868909056178079, 2598158937911501196288178079, 103037413122730598578079, 75693015878860978079, 57246409952161977221210617619, 409883155185992823767199603, 36531341548740245477939400551104489679, 36531341598335452649727056292544489679, 4358885734982981410571548557289679, 1446044319943512523009954086889679, 6831385480225577779378079, 1446044315389135061042231329464839, 2277188311099071283730039, 10353648497254467766880799672423, 922781687521178600772009468451150147378079, 922781688773953533931365652479924547378079, 110105453665670111043430773148790578079, 36527079521773126267533433656028978079, 172569916320856028913254578079, 16227440551255523512023, 172560797469958306893926578079, 287599817781798092282880178079, 4359116086264797949214368358578079, 16226572343294440335600, 2602723772305146585604824419, 4121896904294578079, 89719844426956978079, 644046391296352383, 2266551455861364940978079, 215797362279105181, 2266371163020148531730039, 16227428841321136312023, 57253090162408906939084978079 ]; SMALL_GROUP_LIB[ 25263 ] := [ 13926464319605 ]; SMALL_GROUP_LIB[ 25270 ] := [ 2790035840916037279222190699255, 175853556455754765993173999, 7018396666501522370543, 26798208403633884035340541949303279, 4443819371636922910019828156399, 14871625028537327, 526539480047, 13309540265632751, 155035298579, 13302481686114887, 336332129225011283951, 93117946017, 13301305256206259, 336332106872842810103, 3912279980077319, 336153715392595100543, 8499112905740037014952431 ]; SMALL_GROUP_LIB[ 25275 ] := [ 3793689907452701427, 529769095319736446615615, 829171729694783 ]; SMALL_GROUP_LIB[ 25276 ] := [ 1706660986766270216087, 43137567798123448872347663, 4765937443365328911, 2673202042895, 2120522800685, 67707908014675983 ]; SMALL_GROUP_LIB[ 25281 ] := [ 1975804871596522370485124315999, 122281654438554207 ]; SMALL_GROUP_LIB[ 25284 ] := fail; SMALL_GROUP_LIB[ 25290 ] := [ 108401200093187298831519, 2741465996159402252719787759, 108401249328608073387759, 69331675042708420294557761934959, 2741467438228803803611534959, 4300113707030031519, 7867313566537231519, 84812693526108523, 198982559689585481231519, 28417759663865321, 198966712713170146987759, 2139483133843909425883, 5032268965810638844745231519, 713198861529994929881, 5031868179930118622478734959, 54107520521454914335886683, 127266082145460159514583062031519 ]; SMALL_GROUP_LIB[ 25300 ] := [ 76306209790591250271779, 3360991565828033181502908339649055, 132845516441917303787965938207, 425165238075538743105488251757143137235, 16804950125215670527620464532626387, 1951550338608871033334283355, 48842866461531280389525325552731, 77136382734078045961307, 1930548081483456381373381723, 2151761023223119504694167257512369461271507, 85049842815143215900754936756850760659, 2151761023223119506444436562835920918551507, 85049842815144966170060260308308040659, 3010408527426814799, 76161838582067724504611, 3016085373958409763, 1926894515413171015837375579, 76306248287353511664731, 3501161238592558472954703, 1607435603889725072541807373905203, 935366777545322416251233427703571196407, 63535004112334195359983234355, 36971018875309324894612683144980983, 88579381556082080273245340495, 228323070949727757591751, 132861192761060607569480786767, 132903199224322746716454470479, 3361388233013428594729461562557263, 5253090878434761729573711, 178331169358671, 6016782254097105995, 5250871105484332982027087, 207544315270153962319, 152224405500006936569031, 132847038968747665428882678607, 9027487913063670983, 5250871171110188781019983, 364092804072523, 622627941740325700431, 207544312019325357603, 15754706710372819644646223, 27074595747102123207, 15752487003048246696092495, 57758950265187393669776207, 398594079772437854680729862991, 228299004852878591582591, 132847038415226273416818260511, 63535460704326887589605731635, 36970926475244355584581415167109623, 28879671848877194676000808845, 16804988631140387645751653934963667, 8037166466758026241805792739131527, 4676818105884666736044199540336029203855, 9025341437374619217, 26254102752956999860894811, 132871694376843325992460164187, 684987267786333247278959, 7306500813767855664637559006031, 398594079772864422815986455375, 10084430505438482098189781664437071, 17340222429576815724881260399, 10090275417614736326278298763092815, 36978192529083985942188870818648911, 5251845627542347899993179, 398594091124050658855383991119, 684987267785897868447599, 398537921177558234542104425295, 1461588637513201007985203757903, 10084430505438481671621646407844687, 146158863821114857495004935643021, 85049842853649140617873067946253097939, 40676011797562323353741828566577905799, 23669371255941368292197723661366436171087247, 146158863897213522943854999003021, 85049842853650890887178391497710377939, 40676011797563160439061765917274865799, 23669371255941368311450686019925502201167247, 2496694421095247, 1070045066495051, 63189509963377492815, 356720389197725, 63173103495799590435 , 27074594876344460487, 1598694690106106097984335, 9025340566616956497, 1598279557256982363987035, 684987267785027110784879, 40446975660133092059022553935 ]; SMALL_GROUP_LIB[ 25308 ] := fail; SMALL_GROUP_LIB[ 25317 ] := [ 1481261297279 ]; SMALL_GROUP_LIB[ 25324 ] := [ 201501632898779499561935, 2485050117493074734116269467351, 3874989611055893945543, 13855198072920263, 315986349791945, 350976845363776186823 ]; SMALL_GROUP_LIB[ 25332 ] := [ 542718497458110444484219, 771252822963421329900, 21403718571694404219, 10782729763489991, 542204355654879009764219 ]; SMALL_GROUP_LIB[ 25333 ] := [ ]; SMALL_GROUP_LIB[ 25335 ] := [ ]; SMALL_GROUP_LIB[ 25340 ] := [ 9016975327061103503421588858179, 228490154787785119248308313646297079, 115369503061407949209698279, 4550614385928192098279, 115312551116781085286498279, 4552861974156288098279, 180334323302498279, 355847674937355451745658179, 9017180139673961640274683097079, 70997171208328396898279, 5963794288218966591759603, 228514585944754707943603251974760719, 228514585660484253767950347014760719, 27353177014871319038221881960719, 1057853852558364477317680728545, 5794718330771545219726251763125072098279, 5794718323568131910915207151438672098279, 4851852437017759679386032199708898279, 9017180111274194165187744360719, 42598524437533900962719, 228495344739536977568075689603298279, 1799352459275254378905698279, 392311721176479400145, 1799068327122137824972898279, 7556041991531921388134498279, 45595591318033457707478016098279, 554184596275298279, 15503527526529425, 14045226581464473698279, 9311791104194223, 14044105877172019362719, 392311551871186600145, 355906052422419418214498279 ]; SMALL_GROUP_LIB[ 25350 ] := [ 102299738741014373760802079, 33712878902090795653264007260031, 105752564136764056185890687, 287735449645827571621151, 65588921464009558649804968468440959, 2587334180039825212133952481151, 10345347030348400876253003933567, 262254547219331962212260008468440959, 163786392005363179533156509567, 1070118562480385143230011438933374778435242452863, 14223482637059196459594070869495, 655568895031939064697097832334592023, 16618671489059655290329393594158512251287, 612074032057443890116993431, 2600592078380725591553236049183, 65925009186895043373411684167752991, 21725586777534528018935747673612233762687, 70362616408345949604531177879529343, 201708997208180249791885242572063, 65589016282126417286841347108267903, 42148977615760758289123523728473636694943615, 1662681562751903945666599439350110119807, 6648155175649326610381453353042297251711, 262254642037448820849296387108267903, 168530733702710429572437287670873636694943615, 66473200023222276546850998988803172223, 10345904675733372607890709874783, 158777747083126655, 52314721377518053517183, 635420881682720639, 102064318012746064242698111, 4026206252083008530303, 4032396826697923585919, 408100327886851629426698111, 262268683529841022410457601749613567, 158865415191161759, 4025015351846938635167, 1326178186921301924698941311, 4035493873631897347967, 4026207391777968121727, 2587330461623113327753960122239, 102064328490942221960898431, 408100327887991324386289535, 16098633816791994361727, 10345343311931689405168360122239, 6648150400574566143025110324770732140415, 4027238246203157683487, 102034139169252247453867295, 33618617038455011350428660819839, 102299769703856629186586495, 102064357388568867141085055, 65588827202145922865502133122000767, 2587330727245392304706953176959, 10345343311960587031813540308863, 408100367262674432325085055, 262254452957468326427957173122000767, 873116254599160215, 4035492652546944703775, 102064464695851121381500799, 408100474569956686565500799, 6286523524991, 158824723252275071, 635054562503321471, 34442871596927, 873535778375886719, 9394622327799, 873210151135374239, 22144133511130004350847, 238161887386182039, 22135877883701264686367, 561353784515014954030229375, 3132560051701, 873128744325287303, 22144132452841472723039, 238130577074635647, 22135877476667214085631, 561353784509723511371922431, 6037403865383595394551, 561144504352776824326947743, 14230318437455642240608344369023 ]; SMALL_GROUP_LIB[ 25356 ] := [ 350573936575609909202900129945663, 112899118147544782213247, 13826490032435607752220612671, 350584481262356050079354393202815, 545811861457894851481727, 774914627349460021248, 2863216265988295187983763519 , 4456805421809668223, 21505359533209292927, 10823670314567617, 545295278553288048382079 ]; SMALL_GROUP_LIB[ 25362 ] := [ 2831352676155804415, 2138008954108545, 71808412354836216826623, 51040750552217666945, 1821204957864843630308379391 ]; SMALL_GROUP_LIB[ 25364 ] := [ 2340215618490620199083747, 94619830808740658697663, 1506415422676591030362937773381695, 1506415423717376340198323649370175, 895150751967014261813443647551, 59357230245980489455609419839, 1391427850454057121599, 3638218574542655, 147685813926699, 92319091910433392447 ]; SMALL_GROUP_LIB[ 25388 ] := [ 20888205960929761613943359, 530309779540351434329507763839, 7430338542680150120063, 32409694903473791, 510749458107849, 823020582552956049023 ]; SMALL_GROUP_LIB[ 25389 ] := [ 626707096359241859, 313354352218447079, 15915499229269671241859, 63649776155214298441859, 20221508218463261, 15911466235056893641859, 15911668398117629641859, 103424307130187194441859, 103424509293247930441859, 404078609931473632032841859, 404078610133636692768841859, 404285458464745339680841859, 404285458666908400416841859, 1595636041859, 799373642381, 40457300948041859, 242620361684041859, 401242447775, 40444958880847079, 242608019616847079, 20221486445663261, 1027170455745860041859, 6159888404772164041859, 80870404666463261, 1029050572210704841859, 6161768521237008841859 ]; SMALL_GROUP_LIB[ 25396 ] := [ 39730934017077080316731, 312220433630500667, 1746416348038367, 7930167053470485694523 ]; SMALL_GROUP_LIB[ 25398 ] := [ 4920577836259627, 911604786212365, 125036407848055038251, 61216563568055, 124965825625567841383, 23141919127282094509, 3175674754153885528261931, 1542908657956379279, 3173882036284930860927391, 587758447014539078504173, 80655787406236414522507335467 ]; SMALL_GROUP_LIB[ 25404 ] := [ 36901903437789952031019783431, 23841062848821102547308048012877117919, 23841062848821491270301576351157205471, 26024208079514715085971045435980255, 1024413797116954713824173898207, 937455954935144102984643549739487, 144801081065231402146847, 5639707208271797279, 143270976782034284846111, 5699940296354176031, 1452617390924326953047303, 552408719440061069774811, 938476730385749745600880703060447, 938476730774472739129218983147999, 1024415106499669754914167994847, 36902293727253522909893376479, 1587346599497139493919, 36902292198639537049220040335, 58792783444992729935, 14033391108249061921644928611, 23841062858719586537134621213304593439, 23841062868594705464728526880648764447, 26024241365517610545022811397987359, 937465869847148486518491543018527, 40326600729997226249559071, 21745364569814310435, 40324953049280136122211359, 43311982363342697410862111, 1024456964944867978968897166367, 2416081308298605504, 143390108366625566873159, 229837256006687, 2251067693734943, 856193312499795, 57242316300022193183, 31949360084665, 57182146491486184271, 21745362836128112163, 1454183860960983461665823 ]; SMALL_GROUP_LIB[ 25410 ] := [ 4798527530046121547164221609227136035199, 22224972764293651425225978624013599, 847082601011816364879248454945728013599, 22224971129947030094678702208013599, 14349954882027752021470436476945808256013599, 2031389366096128013959, 51617602565145957120013959, 14427636032037558781250432013599, 51692078491809941888013599, 51632500255505877120013599, 33337458337818420864714115968013599, 1311981831478920394934656013599, 68835885246332373120013599, 1749119844095821658294656013599, 44445135238413881966691715968013599, 1749119844093423669840512013599, 874843818859621143120512013599, 34429115264679381120013599, 22229781437222959762736515968013599, 33336584061858180438049262400013599, 564736516411954034689903049161472013599, 2031389317861888013959, 567793625818085755648013599, 1357288213383424013599, 1311981831476521875901184013599, 51632500254975297792013599, 68835885245801793792013599, 1749119844093423139261184013599, 137641977856203524608013599, 51625052902071044608013599, 874843818859620612541184013599, 874654556574855059320960013599, 803268928426092803990196537540264178624031599, 564736557940701682714989921678208013599, 34421666925417443328013599, 874654511213972062058496013599, 79944552448013959, 2031975610288128013599, 2709007683913728013599, 1354943536662528013599, 1311947413874720074236800015399, 79942451712013599, 22342298332332800013599, 53392507136013599, 51632497270811886336013599, 2031975587217664013599, 2709007660843264013599, 68835882261638382336013599, 5416842773496320013599, 2031682405368320013599, 34429112279985390336013599, 33336583786556643526931743680013599, 79990685952013959, 2031336077460224013959, 567717800624358720384013599, 2033734642631040013599, 2031976117796992013599, 1311981755651328148865920013599, 51632499669330919808013599, 2709008191422592013599, 68835884660157415808013599, 1749119768268229412225920013599, 68835882262168961664013599, 34429112280515969664013599, 1354944044171392013599, 874843743034426885505920013599, 33336583786556637076977484736051399, 79944491264035919, 2031336031265536035919, 567717800623851180928035199, 2033734135062912035199, 2031975610200192035199, 1311981755651327641269120035199, 51632499668823323008035199, 2709007683825792035199, 68835884659649819008035199, 1749119768268228904629120035199, 68835882261661364864035199, 34429112280008372864035199, 1354943536574592035199, 874843743034426377909120035199, 847082594016404312019337525429216013599, 2032561739014528039159, 51616249726660256640039159, 14425709313864955117704128031599, 51677197268467851712031599, 51632513151608565952031599, 33337456411100248261050512320031599, 1311981816597697052815808031599, 68835898142435061952031599, 1749119829214598316175808031599, 44445133311695709363028112320031599, 1749119768281711689872064031599, 874843743047909163152064031599, 34429128160782069952031599, 22229779510504787159072912320031599, 25792020157654910161519488035199, 1926825157393476760320013599, 1015034246319114827904013599, 1244089540333165272524490029952013599, 79938200064013995, 7447592666403584013959, 2081615679817090337664013599, 7431879601343157909863168013599, 293096919552013959, 81921120811354880013599, 39946251838435456013599, 933054039703116876659081446336031599, 48960627249368244782379904013599, 39946251584680064015399, 933054039703116870210903180224051399, 20109570026807733626352512015399, 25792020198968710073956544013599, 31612315219865729574847293938482112013599, 2031229464486656019935, 189243329653433701248019359, 52893854424152268069669824013599, 1015034246321144870976013599, 188844060670129642491903753024013599, 26666344704019935, 7447592850952832019359, 2081615679819120380736013599, 1015034259216993890496013599, 31612315170906186487459212736607200013599, 1244089538406447099922602800064013599, 3211264013599, 79967649792013599, 106611965952013599, 53323333632013599, 319816740864013599, 8126543200008192013599, 1056768013995, 9437696013599, 239902655232013599, 5243392013995, 239856517888013959, 6095927084319616013599, 3146240015993, 239833449216015939, 6095926830564224015399, 133243601664019935, 6094754342241152019359, 154897507215203107776013599, 1049088035991, 239810380544035919, 6095926576808832035199, 133228921600039915, 6094754180760448039159, 154897507213426820032031599, 79938192128059913, 6094167982736256059139, 154897500765248553920051399, 3385719935468416099135, 154867707836728607680091359, 3935945658338315384914912013599 ]; SMALL_GROUP_LIB[ 25420 ] := [ 1074768884575511262105838439, 694490304760836955262400246681793199, 694509218867984545484355318681793199, 694494507895758641978390262681793199, 694495908940732537550386934681793199, 248688111574183903232005999, 992752122100943224832005999, 414035669469019308032005999, 469151522100631109632005999, 27337325149305812006541824193199, 666774731930376601605999, 27320625679025844168858112193199, 27321369743036370928179712193199, 27320791026583739004262912193199, 27320846142436370616064512193199, 1075425851664410673254593199, 27320625045958433630709452993199, 9807645094300876805999, 383895011328005999, 42696769536006389, 248688062531277704396805999, 992752073058037025996805999, 414035620426113109196805999, 469151473057724910796805999, 9783167253748121605999, 39053978053384601605999, 16287791875889561605999, 18456000083270041605999, 666725689024177766405999, 9783165324374835205999, 39053976124011315205999, 16287789946516275205999, 18455998153896755205999, 26228390743244805999, 9758602188102041605999, 385824384614405999, 15518924805999, 25585254406389, 384861575577605999, 1536349018521605999, 640747674009605999, 726043040153605999, 42281382191733248238439, 1074792784253872524595393199, 50708160669286405999, 3252354967994472318403, 27323766649509474174887630656159, 27323766624575079790012110656159, 3389667218653068886120256159, 2562918587711294242920896149, 697155076208612760827136727552005999, 697155075574780455563601009152005999, 2671093318780088323240149094405999, 1074792738789653918619456159, 5245730514534446559, 27321232575841849483326361605999, 1289162394968771788805999, 1236938948608062549, 1289001448944556441605999, 4133690612625381785605999, 32770508080105841485414405999, 65444249605999, 48667033606389, 1665254470451205999, 5046272047963, 1663466019225646559, 1236938856857662549, 42330774536267366405999 ]; SMALL_GROUP_LIB[ 25425 ] := [ 88095495051578945619 ]; SMALL_GROUP_LIB[ 25428 ] := [ 330618697807796570042624268983, 34844745481077795958227652829403052749119, 34844710324899793312976582300075050381631, 1370329773520464699977211967851372863, 1370328390943069598307750329919643967, 1370336475820197038600072362721751359, 3096156540883586784880320101915, 1713579145781917323242388373019, 385417068978620279928831515, 1370329773325433828332956767180517695, 53890584155492630949090198446399, 121829890938489061471927835, 4788187827973048729115, 371895767428779727985, 3096156465024031960021045675547, 1713579069922362498383113946651, 121761701309615578742781467, 67389458305774558543083035, 385341209423795420654405147, 121761698326197432585846299, 67389455322356412386147867, 15154208444215377165851, 121754031383664202197501467, 4791171246119205664283, 13002244071901247771892407, 53890652711799026996490411372863, 83346820735844263247387, 7577251332498360219887, 330621062236768506024027987797, 1370331517155625663729813879073799227, 2119433972601752668878659099, 511352268902317785521, 2119342959729025959424426523, 2504676681290703066186655259, 53892967055318102601863479453211, 139455044723645161452, 121769275286119108045892489, 2365823480712288153232547, 3096156654549266938586631010727, 1713579259447597476948699281831, 188749179468279323, 4113178245123185, 4788489675272387522075, 2650207348552196386331, 294335036294004251, 20123153289305201, 7487265910984988821019, 1842361089252751, 7484286141856337756399, 511352168929235440049, 190386200913512111709899291 ]; SMALL_GROUP_LIB[ 25431 ] := [ 476121168249, 11399040916261201, 34190765180848465 ]; SMALL_GROUP_LIB[ 25443 ] := [ ]; SMALL_GROUP_LIB[ 25450 ] := [ 17289654046947359, 104424141086279, 440019529206926280735, 2603872406670321063, 11198497197300828472741919 ]; SMALL_GROUP_LIB[ 25452 ] := [ 43565246313486662862377729000101000599, 205832907622748672000001010599, 1711662985757192360449000101000599, 1108822649170862543168666145665000100010599, 5238859181039872416256000001010599, 679405495066880000001990105, 1746515078288698806912000001010599, 1746652291241752955648000001010599, 44452302185585138977512192000001010599, 43565246313492055392850561000100010599, 68625345404766720000001010599, 679832508703104010199000005, 80070377984000001019905, 68609119309824768000001010599, 2695627833856000001010599, 2037949586801408000001990105, 1746239304673547813760000001010599, 26695762176000001990105, 68609119521636992000001010599, 440087224115636016120577000599000101, 28221754196058612323371100421604225000500010199, 1131311097574419958955296998273000500010199, 78407699799709299759633187713009900010105, 718472852578155164513884920420410339265000001010599, 201558910126827796239002710607663041000001010599, 67248172842877441000101050099, 1711600505966396965633000101000599, 13477723771392000001010599, 1711600495183877374721000105000199, 2695627805184000001050199, 43563656077856731101725569000100010599, 343051251936664064000001010599, 133449130240000001990105, 343035026053534336000001010599, 480247979107683072000001010599, 8731340464292333886208000001010599, 80066122240000005990101, 68609119097983616000005010199, 1746377865334797376256000005010199, 3396920692189440000099010105, 12223271564250901908288000001010599, 222230078870645723915886208000001010599, 8732300954965407438464000001010599, 86448915648718320000000099010105, 222230077497173875167861440000001010599, 311141665596015852957732736000001010599, 43563655803420041202959233000500010199, 68614563308771840000005010199, 1108782174493609520006100427713000001010599, 8731340518255764708864000001010599, 3396547069878656000099010105, 8730927483116659413696000001010599, 12224645041490486103808000001010599, 222230078870645723704073984000001010599, 80066118400010105990000, 679832508695424010199000005, 1114112000001019905, 103809536000001010599, 5243392000001019905, 2642676810496000001010599, 1049088000001059901, 2642253185792000001050199, 133449122560000001990105, 67261410902541184000001010599, 26691502848000005990101, 67250628382950272000005010199, 3396547069870976000099010105, 1711937430293679440832000001010599 ]; SMALL_GROUP_LIB[ 25460 ] := [ 595007876005988304815, 39900961173476467149231, 68063830830876742001284858031, 19301664313024192530728243711, 32924801336927737573966136747427791, 105002488871545172555, 15150861570377403744561071, 8881865550461000411, 15148900581066365956066223, 50793292401628474578268079, 385740935581803502376382082991, 1333844398720943, 348969986315231, 33978967679012655023, 61714949423625, 33959721591536892491, 8881864428371012315, 865104589345210415829935 ]; SMALL_GROUP_LIB[ 25470 ] := [ 32009163346799330311091, 815273362924949495872660403, 32025759629724759675827, 815273346386990451514478279, 32009221670680401493703 , 20765012553684576583428978644915, 815696089695911134286596019, 1258243571308161971, 8210769777884216243, 87885300266593497, 209147299396888037696435, 29447282442164767, 209130761437843679514311, 2232770908443242914761, 5326981748262845496647194547, 744296156433212523799, 5326560509908026645398419151, 56868666755543535513816105, 135678225128368535198979911143859 ]; SMALL_GROUP_LIB[ 25476 ] := [ 13500833423361432828522982871231, 343947232293723962698217103928592255, 230474705967694765747115903, 9040130413456502331263, 230306341762155343861815167, 9046739394026463598463, 529942891825599307957997759, 13500825280255733179398627264383, 189172941283203685062527, 13500825112096133078523883291007, 21019941629795261288831, 343947024839795057195779560013076351, 4819580257757775489096783743, 980213756550376550601, 4819369856952493027614562175, 5890336310094880967988647807, 122783626646638558241592352741247, 326726474584775159808, 230348591225327245553565887, 355885525632063359, 816539528545212287, 38507508544905033, 20808735743781799761791, 4308298874855233, 20802135296315423527295, 980213522766716694729, 530123359608000445107181439 ] ; SMALL_GROUP_LIB[ 25479 ] := [ 956844478805488085653, 1489256595933 ]; SMALL_GROUP_LIB[ 25484 ] := [ 13522076358563373957596674787, 1969372254593955767, 78732159424439, 530624822062370426780387, 13522443384866974241153300663, 440426817949027301303, 817217532082103, 62577211689105, 20838522217824208823 ];