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 col21.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 10004 ] := [ 39184147032205100459, 25901293072770932439, 3937029375647205373307042399, 3937029349747970410342562399, 15804892047177685637282399, 391998360762184908962399, 157922557148162399, 3932309306882399, 259200003579, 391910402399 ]; SMALL_GROUP_LIB[ 10020 ] := [ 622058935106064712404335, 1040915668201788481657984304975, 10367644679142233955899, 3456108784586583061559, 6233030519284747403682295233 , 10429974995381922929196809965482651, 103897663675777400271126075, 62090126823900510557, 103883800601196037783644731, 173137389574841383877678651, 1041054590031192672249161045563, 62081753117537701580, 34222471706355644149973563, 62090013883727194461, 3414726416017608510519, 2081326051220971, 3415416190058981275195, 6211709532440229, 340772771515637307 ]; SMALL_GROUP_LIB[ 10026 ] := [ 2729989613523838888408039, 490716677861615453, 272291001171763784679, 51987396791541, 27158827377941479 ]; SMALL_GROUP_LIB[ 10028 ] := [ 749562361445843258939, 7516612883134508787804743, 1598921450508020039, 74901171143653703, 1467151306041, 7457656285511 ]; SMALL_GROUP_LIB[ 10035 ] := [ 226413533132915 ]; SMALL_GROUP_LIB[ 10036 ] := [ 13385903117558310383807, 770911647112392044555, 1349682397729516497455007402239, 1349682399902006941899961665791, 1493175043487034797979601151, 134340937162607515001686271, 14824819680979454207, 1335210212491004159, 7697118302027, 132938364619007 ]; SMALL_GROUP_LIB[ 10045 ] := [ 11878600239 ]; SMALL_GROUP_LIB[ 10050 ] := [ 5775161369534342939, 58040361390495930003227, 5777951766886883099, 583305631979801958485504795, 58068422185915455415067, 2302671092151891838348079780565, 23141844476126842862549127261869013, 416577573906764283199917525, 59070009337094241009873323348923163, 5891567593269865846900972913435, 168292016495361572416680960365339, 583865301929334167476340507, 971979108355925009958683, 58344749262411679758107, 4743218648395118037, 575792462763803, 1354206312562728166908458267, 6220267249395126686421, 134746883022066213639971, 618727071827923809, 13404900167359165607, 20678516374759, 134746896769271552946971, 618932253996600789, 13407649608426565403, 61714949650137, 1333844399007515 ]; SMALL_GROUP_LIB[ 10052 ] := [ 151749614902271774307, 30195342128378977123, 42576220370243, 3002937607965283 ]; SMALL_GROUP_LIB[ 10060 ] := [ 9872256794280033088711, 49955389053075415319992788455, 493612771733980499415, 163927023418090552023, 99577433364593, 16292087372810711 ]; SMALL_GROUP_LIB[ 10062 ] := [ 187601086401104967469703747, 18644513586935575138883, 18644512661926036699715, 1852963288952908355, 754170244352965187, 43114121552723729, 76364835665198448495387203, 10925243360335209894601283, 7589430031188588302915, 1085793348137183154755, 18644642857869633315395, 7589429106179049863747, 1085792423127644715587, 1852975818582702659, 7588460496749158474307, 755095253891404355, 7588459576013746103687, 754174518479033735, 1734540140770630906913, 768382976463225713599645709891, 109929798691691806798537782851, 76364844972912719777703491, 10925252668049481176917571, 187602396436155531191973443, 43118395678843937, 76364835665382591395745347, 10925243360519352794959427, 7589430215331488661059, 1085793532280083512899, 18644643042012533673539, 76355089517888092484548163, 7597768211020440790595, 754266650569927235, 107910391073663555, 4416318189329, 75077407976003, 89536662202378404663574595 , 2384946955035802135745, 8889230187058764382895, 21551657478914599, 8898495547513622476355, 237025156428379169, 883445653278942599, 2157973717999 , 884366388691313219, 23570425151249, 87807779502659 ]; SMALL_GROUP_LIB[ 10068 ] := [ 2133016642660647767179, 7626516664913582988, 2127932963637349767563, 268271770432991, 211350812471478411 ]; SMALL_GROUP_LIB[ 10075 ] := [ 6246804059 ]; SMALL_GROUP_LIB[ 10076 ] := [ 31888530219249296778611, 321308856024895129235692007, 28732952225266165991, 3167484812582992103, 12538840279605, 314162803779815 ]; SMALL_GROUP_LIB[ 10086 ] := [ 532614650095087718403199, 1172839688839759749123199, 912753131523199, 5221250025533443199, 515630817342479, 1392703961, 517672919043199, 51200003199 ]; SMALL_GROUP_LIB[ 10089 ] := [ 3538758831541831303, 35126605383 ]; SMALL_GROUP_LIB[ 10092 ] := [ 144373195975362353233109469134868747945503, 679486362638214710182463054190621966672415, 8066471812648823858121867501385282767, 1123345002496565175321123915295, 111310442945557317916362271, 775450087155324765323, 79200698733209674854587692239, 79200698589616240072912008399, 226936874926875079410971855, 77054390683764255, 7825842278150892899575671, 82532586848932583, 799293451615552038243296425222687, 799293450166407094426625423909407, 2290246941762023623617430364703, 24152492784657519150623, 22486808957548467160607, 7847871656907990594913823, 159717689953904080331711503, 8537350368378608, 1235250205266282015, 777632958953592227359, 76841766362632935, 284177618341, 77054375263274527, 7615519000095 ]; SMALL_GROUP_LIB[ 10094 ] := [ 570608325858259773719, 2799018892254647, 56529441104306327, 280566478199, 5600937021335 ]; SMALL_GROUP_LIB[ 10100 ] := [ 1618825164286416340681657630003000399, 15867875352576288040000030399, 1571076768030760000030399, 16713218134999297290003030099, 1705271725750601828041596810003000399, 1705271725751955606831996810003000399, 516608329104426697555850003000399, 51149339518665554570003000399, 168803503163826307944330003000399, 1571553345419520000030399, 155565958400000030399, 1571215802902400000030399, 155599381120000030399, 15441920000030399, 1654633431287050003030099, 50141610886410003990003, 168838783307302601586570003000399, 168838784661081391986570003000399, 51149423085257545610003000399, 16711797989507934090003000399, 501415778560000030399, 5117308914411196479370099000303, 17223246852780370250483798036170000030399, 17223246852794043416266838036170000030399, 5220166823246496909398025930000030399, 5117308931124514879370099000303, 17223246852780371938528956436170000030399, 5220166823248184954556425930000030399, 2532117885833238410099000303, 1707338081246432974114831050000030399, 1707338094919598757154831050000030399, 2582979015837799714820810000030399, 168789159695701446668490000030399, 5066642489189120000030399, 4966820480000990303, 25320841249264000000030399, 51173089140967842880000030399, 1655120169371840000030399, 4966811520000990303 , 163873261440000030399, 492800000039903, 16221440000030399 ]; SMALL_GROUP_LIB[ 10108 ] := [ 5329817809571735, 5504374272794805393030127691, 29728911591794159, 5709400950083884482455, 1021686697219304422295, 544556245503356366664599, 55638213679144497970529195399351, 53873833519444296599, 5322757537000943, 155035281083, 5329816116518807, 526539462551 ]; SMALL_GROUP_LIB[ 10115 ] := [ ]; SMALL_GROUP_LIB[ 10116 ] := [ 805081684090533161289230679, 8144206316138742626724169152559, 80161874903498752078959, 82386791094059517053959452160078959, 811078401754591880806478959, 285332040364873073881, 810917539153009242931278959, 8204869112141777239231692878959, 295375296714274591797231903808281, 8431609280223192393910541829553855590478959, 839632612275552051818777310102220878959, 855765254340244785600, 805147021160358350028878959, 285330498315900273881, 79591439376456089678959, 28417759641756521, 7867313566515278959 ]; SMALL_GROUP_LIB[ 10132 ] := [ 3707275388932047967491, 378296861619469890239, 381123825211056673614710762047, 381123823672770913502859946559, 571061282015654963722349119, 37562119431776806377663039, 5562786012370331967, 366421189011913023, 3700103607563, 36125907626303 ]; SMALL_GROUP_LIB[ 10134 ] := [ 2942950131355071786994087, 517760227428037559, 290403601105946384679, 54268043821911, 28656719042885671 ]; SMALL_GROUP_LIB[ 10140 ] := [ 35908869148341305776929659, 37485580151588638473740617308797007311, 37485580350193767441640164890605647311, 37485580151588639439534731309919106511, 37485580350193768407434278891727746511, 47996967804259469265574519526782415, 47997166409388437165122101335422415, 3696803109250890526050073196754383, 3696803109251856320164074318853583, 4733428777541683645977395590607, 4733448363846315588733567366607, 4733507117931240846973539841487, 6537142966394811278428415, 26123447598337567450204415, 364448900347035584750866527695, 8374755747030198388991, 466807572575504693119022543, 27239753294685021484720873901860066655, 276211089010110931935275853568038154961951, 3693360287381600285675269864172399, 3693360287382566079789270986271599, 1290939870601215728000440347503, 127311624383307043515018095, 3854254075671638277455991243697604975770592063, 3854254075671638277465796951337058368443769663, 3854254075673652133463725745110084515380192063, 3854254075673652133473531452749537908053369663, 3854254075671638277465784396013576353856480063, 3854254075673652133473518897426055893466080063, 4936747748201710284336107459259834548216639, 4936747748201710284348662782741849135506239, 4936747750215566292070608871739374157816639, 4936747750215566292083164195221388745106239, 380103952236656111777598733550779661411135, 380103952236656121583306373004172334588735, 380103952236656121570751049522157747299135, 380103952236656111790154057032794248700735, 486858752288137122111789271134006272831, 486858752288137134667112753148593562431, 486858752486742251079688818715814912831, 486858752486742263635012300730402202431, 486858753082508672221807604547879035711, 486858753082508684777131086562466325311, 1725532915253146936549592287499593835327, 1725534929109154671051004767039203435327, 37607754877073275732889433354659029823, 37607754877083068885205404732744917823, 170170898940195053613724951499891519, 170171097545324021513272533308531519, 170171693311745163632058365372654399, 48013683657615585185992044301378367, 48013683657628140509474058888667967, 16782139934931306241587502506815, 16782159521235938184343674282815, 16782218275320863442583646757695, 69392432315765291970866023334916385249535, 28396064370256241666953784440125269484653758748927, 364115933164990372062129171311, 645100974900259065119, 380103782737108794123740580901882515809087, 380103784750964801858241993381422125409087, 380103782737108803916892896873260601697087, 380103784750964811651394309352800211297087, 486689253535191018363654955650733433663, 486691267391198752865067435190343033663, 37485583527804029944869380907864548159, 37485583527813823097185352285950436159, 47996967804272682899553941193089855, 47997166409401650799101523001729855, 47997762175822792917887355065852735, 66286746862259883915164518655, 264891875830159431496973158655, 66286629679241858146758035711, 672145994091293921840705872333055, 264891758647141405728566675711, 2686002001825795334320245481933055, 3695511849518951554980963514966847, 6537154523318866337073407, 26123459155261622508849407, 84920023275342090465708287, 84877532525148637968730367, 860658179793451013996979685631, 339659166508623689105279231, 4733428785926347055382749635391, 33496959221819083065599, 2800401359813874150121188179191638383581202687, 276211089010111382438965139891647531452671, 674894984183611803474200056039679 , 2800780442562524849823805978707491550243952895, 63531950461159679, 6537138775985510516001023, 26123443407928266687777023, 644688655753870838015, 2576276883756115036415, 33481212301758610540799, 3301894759523551487, 66557580643203063949485938015, 644212100191063379231, 63619618569194783, 66286587188491664671328700671, 264891716156391212253137340671, 6537142967947790120388863, 26123447599890546292164863, 84877532525148615036373247, 644689795448830429439, 2576278023451074627839, 8370566477424395553023, 674893867722089790206641249716479, 3541372121565033790331, 364576211324254085353675027919, 364576212290048199354797127119, 466810469957846673552963023, 349682978132068607, 965825879879275393395, 364236715376061887704071023471, 364236716341856001705193122671, 127314521765649023948958575, 37485596867448525611391281144913060671, 37485596867458331319030734537586238271, 37485596867458318763707252522998948671, 48013683686995042133906155626685247, 48013683687007597457388170213974847, 16782169352054224601731123503935, 35909514122448938609814383, 1238232037154884895, 3696802782827947147248963514917695, 3696802792621099463220341600805695, 4733458165383294969494074942271, 163219554949150949771519, 46036536923382543288575, 35954265886307711297521919, 35909513296902477097913687, 412766982453074567, 3696802782827936415144963859711007, 3696802792621088731116341945599007, 4733458165372562865494419735583, 54406751438357859931487, 46036535865094011622751, 35954265885249422765856095, 9793474406133742065243471, 3693360293913267530001097394031551, 3693360303706419845972475479919551, 1290969250703677721627954056127, 380103952235928049699507595246959382337791, 380103952236027479574971652648665403201791, 380103952236027352263991545020750286657791, 486858752586129727237814839862071236863, 486858752586257038217922467777187780863, 170171197229829837468967533080582399 , 364122473201624887804882914239, 12557387179112559299327, 37485580217875384073109423648846485759, 37485580317177948557059197439750805759, 47997265796986610997587794031384831, 1655314773757622843612334335, 466810484405601328555624703, 364576256087162454634940598527, 95261648231616639, 12555672920761205017343, 20925888494025053326079, 127331905996121952400460543, 1655046287186951098084886783, 2758408114785334737696721151, 16784891805902297105406642096383, 467078959420902003599476991, 364576482071427561846021294335, 366867811222601171995473742079, 6562265170364004774756239, 645100980955548289355, 26148569802306760946532239, 95249101174935408, 63823232674826495, 6457751767295, 254315168375245055, 35954277443876730682738943, 3542483485772534532863, 95261625299259519, 3545785671618582287711, 349275921149074055, 3132559989493, 3545786729907113953535, 349357327959199007, 9394622303607, 349682955199711487 , 34442871572735 ]; SMALL_GROUP_LIB[ 10143 ] := [ 857042240289999, 858219742129359, 85097019375, 2571110888402127 ]; SMALL_GROUP_LIB[ 10148 ] := [ 142232640905252739, 3365501104643203, 237918015251, 330622749571 ]; SMALL_GROUP_LIB[ 10150 ] := [ 42938399909153559, 435823330301652111615, 42955246794182911, 4423606801935398394803807, 435995150947925636703, 4370607442711, 7965293933399304756742935, 145308809357937448137, 784591975362851386975, 8590361605111751, 784758022914267777815, 14316139240117321, 77299693225644287 , 848127005575, 77316047756462871, 1412076342633, 7615519066903 ]; SMALL_GROUP_LIB[ 10164 ] := [ 540600308231336937017070788411800448005199, 987057553881750954553669155045213057050199, 10415980495256210185182952960769015099, 1192162634011136001959, 133288550169710709504001599, 133233737653560562304001599, 1354088627757111865012608001599, 1076042623000206511628026238191912729473010599, 1933971440871020811185670912001599, 10415980998737910227609744149377010599, 13107436968763648001599, 105868019042108465506305692715301633010599, 1024791518962801085221276417010599, 987057563662866636482068683693340544001599, 987057553881751001898906360491389888001599, 9554615034331283067501644608001599, 14213596433689153510393206788443597812673001599, 105868025753784120322204688991761281010599, 190276660143497979988736001599, 940044708122366490051456005199, 18720641045127856896001599, 10663035392001995 , 1191672426824448001959, 133223989350895731584001599, 1933971440806459992370692992001599, 18720642239323816064001599, 117244461568001959, 13107436968755968001599, 190276607714134198436608001599, 9554614413355738160105096128001599, 514851896815043178759040001599, 1841858264268928001599, 96023355648001599, 100825600487981707559681015099, 586184397312001959, 65536800750308096001599, 10724284600160896001599, 9919874998511612288001599, 1024791403359851230859985793010599, 117244432896005919, 13107436968741632005199, 10724284092650112005199, 9919874998004101504005199, 1024791403359846072012866433050199, 5958702902286848009159, 666206818327443017472001599, 109001628676875358912001599, 100825609484872786653632001599, 10415980651900112561020930634689001599, 53295980800009915, 5957978248188544009159, 8341131124280064009159, 60564256298833550080009159, 666116042826991012672001599, 932562069564658026368001599, 6771326101480131424948096001599, 109092398785048352384001599, 100825690506678294820224001599, 101649160176498709112704001599, 984882518429660712272864100599, 108548951376768199005, 71577026269029598144150099, 31974228736159900, 7042210123071488001599, 1114112001995, 692858224640001599, 9919880391574946752001599, 975512441717632009159, 53295973120009915, 975981427819392005199, 95931073280005919, 1049088005991, 975981935330176001599, 95977210624001959, 5243392001995, 96023347968001599, 9437696001599 ]; SMALL_GROUP_LIB[ 10170 ] := [ 33723008403779538822146400959, 89607508244297297936755, 3315266314041572179608031, 2937376374074478449, 3315930029825984696787647, 8810967386571845491, 325984882061580043231, 290997860184977, 326050137767450878655, 868481982910867, 32052624611451583 ]; SMALL_GROUP_LIB[ 10175 ] := [ 2633783013 ]; SMALL_GROUP_LIB[ 10180 ] := [ 1791619362507801780613931, 10601220040545303105715, 185717296783342279004292836292847, 185717297111969333834065465899247, 54931485912874859184429496559, 18238685463582707257471187183, 530060930738469890031, 176039053893701089263, 104424140312087, 17289654046173167 ]; SMALL_GROUP_LIB[ 10188 ] := [ 130494527082155812669901015, 1716815882415216410962721489, 12808598374863445493975, 130493931773269276319281367, 12808656698744516518103 , 84252575054833277356247, 858534315335797914403989719, 297772860150019941151 , 858365247838525978275069143, 8746747604633100290086223794391, 314882922886616262174983842807075, 907871676506643389733931978754172051575, 130663015859291118488778449, 893079349820892216252, 1263722135456790743, 852300249041471398032270551, 297771262235470050079, 83657266168296926736599, 29447282419579951, 8210769777861789911 ]; SMALL_GROUP_LIB[ 10197 ] := [ 2497388552183 ]; SMALL_GROUP_LIB[ 10212 ] := [ 36928637583904815812822195, 377115247014317485573479488855, 2590680334385867786279, 252954978515290151, 2583174402376063453223, 253690057593522215, 3616250903224845714611, 36929161705870855582932311, 7860789847220946983, 36929154218704292278474631, 374356385507994263, 377120599340353058114188749863, 80282640869772448630823, 212475692858323305, 80274386367740176664615, 87919532145517766051879, 819846328562332797508192295 , 2583942545978861032547, 30351408215901552, 25014615148583, 3623808960222542661671, 212475638680629609, 354124735824226967, 998417526589, 354857837416613927, 20811974052369, 34681463638055 ]; SMALL_GROUP_LIB[ 10215 ] := [ ]; SMALL_GROUP_LIB[ 10220 ] := [ 235102976326570156096391, 2402752512514661057277826991, 118259068065942617711, 9933896710521605232579, 24562660746764621271719371406111, 24562660809677247387747168090911, 7411276250864271915616369439, 710664338066551035816107741, 251484837875155510461121504947256943, 251484838518122549366925587065912943, 530188286504914004122966300081775, 2402752465207306207439682335, 70956341662914209375, 24556130678230951276058222313071, 1209081340477161603087983, 1620624224356245149, 1208607711578015916899951, 5076078585261611513036399, 12356811299670446284996623983, 235212855638183742815855, 1620622490670046877, 23010323689767986783, 95352740935995, 23014952136578449007, 158756121891005, 2251067693743727 ]; SMALL_GROUP_LIB[ 10236 ] := [ 246240595002196372109728638947, 605017140884648830631, 24056642309573750631884771, 246243790679928615290889201575, 2355862744705466918567, 6195315747403143416239763, 8285053942173946608, 59219244789204647, 2350340086424650593959, 286653520490557, 229609469332170407 ]; SMALL_GROUP_LIB[ 10241 ] := [ ]; SMALL_GROUP_LIB[ 10242 ] := [ 3169994209775580790419631, 545983151267791865, 309509292127563542703, 56622918129225, 30219984137810095 ]; SMALL_GROUP_LIB[ 10244 ] := [ 15463491801465236771955, 872251032794287583035, 1624344018746017344874865343023, 1624344005345545499899482454575, 1760214862076011527063550511, 158408025260378610656967215, 16773610194369669423, 1511016896370719023, 8358869251415, 147390004603183 ]; SMALL_GROUP_LIB[ 10251 ] := [ 272629299755 ]; SMALL_GROUP_LIB[ 10252 ] := [ 36014492800086096377127, 369220608526697816383822095, 31888463857535289615, 3515822031265532175, 13442186662241, 342729406155023 ]; SMALL_GROUP_LIB[ 10268 ] := [ 409950873851909602515, 635570262898270646006252399, 6028258253400002399, 397145486700002399, 3904200022365, 38637000002399 ]; SMALL_GROUP_LIB[ 10269 ] := [ 3830359803734891464559, 39333964822912013851707623, 39337423175956312225188071, 590299682322288599, 373045975289220311, 206468603861142743, 374682963443, 36343834258391 ]; SMALL_GROUP_LIB[ 10275 ] := [ 25199218082676059 ]; SMALL_GROUP_LIB[ 10276 ] := [ 173245864904167714451, 34476541584821701523, 46511392287707, 3353988167559827 ]; SMALL_GROUP_LIB[ 10278 ] := [ 255557200236540806039, 2626616761319096414246039, 255557306641030886039, 24875005236806039, 3248937002346350641526039, 555659448024068671, 316105950752656166039, 57424646089231, 30755964513926039 ]; SMALL_GROUP_LIB[ 10284 ] := [ 24859210318649948936618391, 255652118916107208285593409199, 2422981221698960230063, 8481325646271552960, 2417327729062108661423, 292074713590505, 235051420389344943 ]; SMALL_GROUP_LIB[ 10285 ] := [ 690956025753, 102775289, 2761600024473, 1383385284505 ]; SMALL_GROUP_LIB[ 10292 ] := [ 573459381049388955, 19353626057231515, 672757185551, 1876486155163 ]; SMALL_GROUP_LIB[ 10300 ] := [ 57574551608995745376543, 61080802555183840400585931263, 575745151407541414787, 6110851420872815617295920340301, 6483002272000727073767333105282304995, 6110851440063711423594114260301, 6483002272002703736035381819256064995, 2965050984081005750758481229, 3145581470479175088894320336112611, 5932865456797131692821379, 5592306704187433449, 29650122259201996694889347, 61108514205188052337578956675, 1938856482791844813033347, 5592296811623436777 , 188238468460641633155, 544091019858477, 18271565701884803 ]; SMALL_GROUP_LIB[ 10305 ] := [ 184104776354015 ]; SMALL_GROUP_LIB[ 10308 ] := [ 1707766025896739788979, 2457133352333782748339, 17606113917036267387175553, 8580846583428701868, 165789500083386035, 2451413519199917447603, 294813965318731, 237810817431324851 ]; SMALL_GROUP_LIB[ 10323 ] := [ 2291168739161672279, 23651735875732503203975, 23653385422311876006023, 1313877170528135, 222062407643015, 80023974113159, 3493650521, 21552881543 ]; SMALL_GROUP_LIB[ 10324 ] := [ 284735756010449813783, 88366028684115531739, 30427918355036096886706674079, 30427918286310908964216379807, 81189512445760988485654943, 2939612678472281266985375, 761735055491336607, 27652111369177503, 830937898499, 2673202039199 ]; SMALL_GROUP_LIB[ 10325 ] := [ ]; SMALL_GROUP_LIB[ 10332 ] := [ 1909001408276758488543137794624239, 18807134723835428864065839, 184765912531979030499330624239, 19723802550315468696026168692738561839, 582757975063700256587776065839, 458799371897536512126445, 194315315966318712717312065839, 194352912041082012827648065839, 2007665958258201872267476992065839, 1909001408280399752420921346561839, 18810773523199426560065839, 459420638664720491456005, 44397347471360067165, 18799769086835294208065839, 1819567326232576065839, 1375688071108886528126445 , 194239214204995814031360065839, 44405936357376126445, 18799769439022088192065839, 17882435937814712322632039, 184761335366124573822978624239, 9097165953564672065839, 184761328087821454413826880079, 1819567208792064072079, 1908954117002791668533432322561839, 94002923754072571904065839, 221908109885440126445, 93991919669895233536065839, 131587994433195343872065839, 971238208227676628451328065839, 1908954041803361725674164236801679, 18803495924337213440321679, 19723313936872843527569924689920065839, 971238244703708595093504065839, 2292754324047527938497645, 971124514032855112482816065839, 1359944028846782449451008065839, 10034833544278717759990267904065839, 133131120148480382441, 18799768734530011136321679, 194277719890146530164736321679, 2293375522355281922497645, 1359567158487353098764288065839, 10034833544278718112177061888065839, 971501380753837278101504065839, 23688737054527940198402497645, 10034833167411997130011443200065839, 14050941706044957337891373056065839, 48957986810148424957038607296041, 203786332451862286483511262542565388801679, 20739190116538790399301784178700801679, 3540837329113374663550141206627841645 , 2106806050754888306909892924144321564672065839, 1499941174531241744660148362111881216065839, 459420638633263211456005, 133131104419945342400, 4563402752067165, 184841116044828381806592065839, 2292754324016070658497645, 17882880043877138432321679, 44388490149888382441, 17890158346996547584065839, 221908078428160126445, 1730824578793472072079, 4297064448073561, 1731528953430016065839, 21476933632067165, 167505821696065839 ]; SMALL_GROUP_LIB[ 10340 ] := [ 50885643983228479752855, 104708149774487787, 50872455968123129840279, 4919967038141532823, 10967116554475, 14759596196948691607, 1082394153157701206223, 526021181586910231977411983, 123110787677323717642796363, 59827970420524287682059463605623, 4919966721782414107, 152666771273979497032343, 314142310432812167, 152614228547452683495063, 559581299833851233051287, 1578574414972467436542222999, 16250153312128729030295, 314142125889985671, 1570629483332334363, 10149855478397, 1571581091598779031, 30396839858411, 151878746213015 ]; SMALL_GROUP_LIB[ 10348 ] := [ 926939764946338068431, 1908752075039136830632963415, 17825293287551340359, 1605903642200742983, 8705305320041, 155072472042311 ]; SMALL_GROUP_LIB[ 10350 ] := [ 15008055222361429793570340658865, 155333371551441413211875388129170593, 2636418300130402500055311521, 627599375734397407940899973735083, 2050475398443703552852651, 155333371551440797909897493582294033, 1607700395557418626742998864966800874657, 27286929406349653528269714546353, 3897178754030599637822153404908057259, 63692371081158366600881, 21222420373952882116727460523, 6153853384281547937, 28658576060436357875416865405611, 395628973778586154153651217, 2768944263863134025608680707, 38212715580801619723429, 267474238964233623508999, 1230841817758047683, 2768944546902043857101927083, 38225021620359510286001, 267530846746199921783315, 3692049729335785381, 25842920933539632559, 118945496995667, 267530874090312551604907, 3693238603797931169, 25848389756065579691, 356720389407781, 2496694421308075 ]; SMALL_GROUP_LIB[ 10356 ] := [ 2526641983077254999227, 8782691133373328748, 2520787600642204379579, 300350226691367, 243407356641290427 ]; SMALL_GROUP_LIB[ 10380 ] := [ 45443890522252194685905947, 797245523303069281927667, 4897502524967593301685788683899759, 4897502521512973697902567593186159, 1431645124573078739973284139887, 471707592468108691779147895663, 13287420325533513053759, 471707583609256335948512811927, 4429421341473971854343, 8275408518921352433859623151, 50836076209163618467997031355786846783, 50836076173304666980727196434179678783, 14860476393068560219601640034263615, 4896324809818967919279438941774399, 137941189601155187826390591, 76815955145245864415, 137923424112523409307203135, 229869452713655956255110719, 1431829548059870988747488458303, 76805954695693717616, 45454823920164683935315519, 76815820264411378143, 4378223900552118557703, 2485661092793749, 4379077272323222500927, 7418445896803959, 421772369438602815 ]; SMALL_GROUP_LIB[ 10386 ] := [ 22858725146026967208007373951, 2200917114154282094236799, 211925508516735161471, 2201058181074316714906751, 211925619472651850879, 20415888671183999, 3495959129817803749921919, 585514372560777793, 336603031689832502399, 59880971574721, 32409694903800959 ]; SMALL_GROUP_LIB[ 10388 ] := [ 34284237253816175452995, 356144670280522335555104631, 17148357322794481159, 3699630834970094280516539722247, 178253869746501105104391, 323766350825593785 , 1246940133908947627881991, 1851701198934670309817890311, 362933459887042749256778506441, 399407122689454098941885172783146281479, 199818083702065026935113232895650311, 34299519937361207473671, 323766010162781113, 3301839539883423239, 31194980433713, 317741072004615 ]; SMALL_GROUP_LIB[ 10396 ] := [ 966502195972511434095, 10047758721919335661635999, 1987504030680615327, 93158718236002719, 1696883290277, 8947660491167 ]; SMALL_GROUP_LIB[ 10404 ] := [ 95249152599316497187489492535993874338969517058536719258111, 204010611011021354975367844751940495880793926181647139475967, 1608125111365980098280649124943460655387781592318463, 492722329732127250256841552201112791505793192447, 1427969115583625995708111653724900823551, 4752482065522725860550102395390689022463, 58495562364639348449415099435710230315467263, 335214064547739120393172149089003966719, 62210189654331668614896916165107267416363519, 49444823040848277666907524730869420002382335, 53635238901264126485222157296079359, 454077897129641648651361098620277671032097083903, 3487567127554677808570562983461277088678399, 38755111818756722129897303052799 , 27831557064783422450072255730175, 5979449226734811956092197266969595019519, 11452789804661495675571208447, 5155251446397958153183722213887, 3725020309211873162878259711, 53635236048324356572185225748025855, 27208559564236297457352780550655, 167607991567564947853823, 28565718565883736039183, 3096859467572692528167095701759, 3096859450434579382905935565055, 5052001593825017043034902783, 2749922703266812415, 297197735868751905390981151, 3111758721403854623, 32219725900626293009534409649488383, 32219725722321363846237299587219967, 52561024582155469555857486840319, 550326605364883808588287, 485582622969841519170047, 297660508488783356898578943, 3092045243978451624900502159647, 32381326244882784776479, 335214028270115952471224439940820505087, 335214026415031469456281306852979905023, 546844899752745505299022422166475263 , 5727220366337678874161189375, 5052001609392657001693057535, 3096859930317315085912175022591, 183082021898223377, 32374737830439450374431, 336895318250897869465776415, 5725598002231012084886278655, 59586000691377215420708708946431, 5053623967276932402685940223, 3096861095702775805881029235199, 206179940706281594650216099857, 334703650621368184114666895687765917983, 36466632702917786814865214446436639, 36284650649881329961803616481107473453625119231, 36284650649881328106719133466164340365784519167, 59198365278061172354800965088874144674615807, 6449780343412894917279605183554433061375, 495506807121077235772096767, 549104915890437888, 4577717156443066879, 297660514721940966545035775, 28566634300746424709407, 183081893049204497, 28610199414344955990527, 2745735634139225887, 17600775987185, 2749922574417793535, 263891380605439 ]; SMALL_GROUP_LIB[ 10406 ] := [ 7079666462190209831, 149366336999175, 680344150897319, 14438287047, 65420312999 ]; SMALL_GROUP_LIB[ 10412 ] := [ 2563647282449342979271, 26692699501898043386435983, 4247483138972191119, 246611058379393423, 2988603230153, 23657038612879 ]; SMALL_GROUP_LIB[ 10413 ] := [ 63328526899 ]; SMALL_GROUP_LIB[ 10420 ] := [ 21981742874616570606513451719, 40197446807797762079, 3874571550722079, 2109623363776128412971719, 12194217257528790577603, 229111596462999138337382402562079, 229111596670294196854284290562079, 66200201475260373176814082079, 21982275856885508916677122079, 609710784609239042079, 202508809405194242079, 114646139149883, 19431350681602079 ]; SMALL_GROUP_LIB[ 10425 ] := [ 829027576422008186555, 44527510101999117, 7624859516219 ]; SMALL_GROUP_LIB[ 10428 ] := [ 113517172507119242201807, 10855826253169724111, 113204462639310516830927, 10885816465102492367, 350726102044900215503, 38972806195730908799, 3657762454681276594465487, 4440048262021701195, 3657371813964099749373647, 4470112648768290084594383, 38143146877423011583145632463, 113283357616812405407189, 1479889452064819068, 1052502092815055, 396433325941557658377935, 4440045675113467467, 37986338446392655487, 47673023225179, 38016234236174844623, 426100741939011, 3642736351414991 ]; SMALL_GROUP_LIB[ 10431 ] := [ 4332104594532428477, 2756355635570564127100679, 2756380182985873971580679, 25332810808540679, 833010532060679, 3186324242140679, 40228063157, 80041180679 ]; SMALL_GROUP_LIB[ 10437 ] := [ 5646221180687919, 543970927919, 384997085321455, 37648052335, 385169189001455 ]; SMALL_GROUP_LIB[ 10444 ] := [ 396790170396948535148867, 4144076692377368178214144439, 190983433112204896439, 38009441662058707127, 49637140871969, 3638218574538935 ]; SMALL_GROUP_LIB[ 10450 ] := [ 970835489151327, 192709137655275872471, 18441066506950871, 6764443654658241051, 2013810488503143983023319, 971578376593947, 192709151772374449367, 94810982751, 601171301955218875356887, 30437570560153355091, 57491462579354291483, 971019427297989, 57528354245223564503, 2912686051963419, 5501574884894723, 93117931761, 5505104174653655, 278870022495, 526539479255 ]; SMALL_GROUP_LIB[ 10452 ] := [ 257714029542559729149303095, 1886277956364349561730493084114506303, 1886279915331747037291642659527086655, 180470527780788816995602355208767, 180470715205912953578184595489343, 180473011009020242129115464454719, 656288453309610359340753947, 843713577446192941581034523, 300518831566191945540635, 180470527626125432410541975015999, 17266602380528026526229725759, 62920008873605630551067, 6006118266409591835, 429143796843033041, 656288309208695021109914651, 843713433345277603350195227, 62790705452499717856283, 80722692071001687071771, 300374730650853714701339, 62790691664338093417499, 80722678282840062632987, 28738494451646931995, 62775907958267399711771, 6019906428034030619, 24657339703210895726903, 17266685315966135975747359295, 158055703719184065563, 14369913506828585903, 257718514469849126224482677, 180471394922478077500231411762235, 1652171060091576166286363, 2359288535680408145, 1651998224767917054814235, 1952358997878103448701979, 17268491920080549133528828955, 656288668890567899353999655, 843713793027150481594280231, 4491360721371651393827, 62805060276821677532585, 643389968593269612, 6007536427855975451, 7723187654272160795, 46165988090321, 579639628141595, 145855463516209555288091, 2359287413590420049, 13941041175613395887, 20678515547119, 13954788380953226267, 225860684755409, 1333844398711835 ]; SMALL_GROUP_LIB[ 10458 ] := [ 635547983388716547, 551448695081481599557111, 52729842674029778423, 19933196464560324481443, 5767050453170132933363548663, 635669230147568035, 551448705164537603848695, 64538392468995, 5630317335943619655492637687, 33221147681173014417123, 538163275586634789038031, 635422940257138879, 538374195433776091005431, 3176625917861007779, 51459482492375909823, 61216563500815, 51479648841657966071, 304184627113475, 4920577836258807 ]; SMALL_GROUP_LIB[ 10460 ] := [ 12478156946629511982231, 68262746561449273290145523255, 623907767853199740455, 207227032100142381863, 116420127713373, 19808053111818791 ]; SMALL_GROUP_LIB[ 10478 ] := [ 1321896554679610259, 47859141626441, 126159107050259, 4587850781, 12052810259 ]; SMALL_GROUP_LIB[ 10485 ] := [ ]; SMALL_GROUP_LIB[ 10486 ] := [ 746643940490511673711, 3391281770837403, 71203868200997103, 327234095347, 6791116120047 ]; SMALL_GROUP_LIB[ 10492 ] := [ 43100064283911987659, 452206044317410181282519, 174119702215682519, 4124168732162519, 272471043581, 391910402519 ]; SMALL_GROUP_LIB[ 10494 ] := [ 367465827065019663162208727, 6174643381698229892749, 34989035535884875258423, 65388645245020709, 35016755008101612499415, 588397554993676333, 3334194331179910327, 6277929143981, 3336835538632651223, 56112032004661, 317741072134615 ];