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 col18.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 8508 ] := [ 56019535657935580639529798099, 525468817719962838407, 6583915266430214414764499, 56015951086444128110019573383, 776117757375972533639, 4471466574985940694957827, 3283751904627462768, 61815357282780551, 773928928481073575303, 136688485647181, 90962166615516551 ]; SMALL_GROUP_LIB[ 8514 ] := [ 638157582392097263, 5433273203470126555631, 638898444848058863, 5433272466881796659135, 638161856518162367, 46258888054004579440145903, 5439581161767849289199, 75077407975919, 87807779502575, 19287934861071, 748281694740390383, 2157973714471, 747545106410493887, 164098629276972063, 6370871148217874232815, 18237009994170199, 6364599098588688859103, 1397135586713872166079, 54241596958716192842235887 ]; SMALL_GROUP_LIB[ 8525 ] := [ 328806682643999, 53070927923999, 3574095923999, 10645071923999, 24787023923999, 1270164579, 6246803999 ]; SMALL_GROUP_LIB[ 8526 ] := [ 2622018907389262849467831, 307532159479185368503, 307532126207275853239, 36069997029123511, 36069426471003575, 307527351240515478967, 36102698380518839, 307527318478583675975, 36069936448715847, 2621978196104694845812855, 307811053232129323127, 4300113733047, 2405545730271241, 594492257049894544823, 69726989216802231, 174905122158890700351745, 43245988653471506647073220023, 524428377509843028519169, 129667011632015873595781473719, 20514331985368295681, 5072248258921292228847031, 61509318538377013505, 15208422664098909745702327, 430459389267973875969, 35477164199323163907384759 , 594915348201565480375, 1783769958238818297271, 50487857529661697, 4161056087157247141303, 1494387621161742484940885729, 12741148858028078736728141785345, 299598112777, 2406116288407809, 7214348349516033, 7615519024567, 1412076300297, 64952022456427959, 12030452570630401, 553781201498192537015, 284177710853, 64919313394875463, 12022557279977361, 553780972534761140343, 102571624264205700833, 4721538524341410710332855 ]; SMALL_GROUP_LIB[ 8540 ] := [ 468175534838206515159066059, 3998219067544774542087946248359, 7466489579162419211159, 871165310976011159, 7439727594496204811159, 874299350016011159, 105106636811159, 54825952211181936666059, 468213658381195653283848359, 33185146941849611159, 2787598032354058892403, 3999607701701874670842020280239, 3999607665464515579293860280239, 1452169430734092015370680239, 166640748615228626710344185, 34231056125042703524155480944011159, 34231055815575656882334194544011159, 86807879447163008175420681611159, 468213645105883440087480239, 19911389032857618239, 3998544642668325903716822411159, 283534106567392051211159, 544274861875412585, 283401166954061721611159, 1190264294861787340811159, 2421381270083464553472011159, 54853820879277772811159, 544274165145812585, 6421607971430418239, 38320128021543, 6423162275635211159, 63800524814345, 751771238411159 ]; SMALL_GROUP_LIB[ 8541 ] := [ 7026236388686340431, 60011093521393225750943, 60013100996695859845535, 17157895861553567, 824644265888159, 7405717074528671, 28379175491, 97176242591 ]; SMALL_GROUP_LIB[ 8550 ] := [ 133754977270736522220427991, 1143605055676233029403471026291, 133754989470663505163327603, 9777823226031850276324669141978475, 1143605160032048043012815719787, 153273105110856175791257528631416960661, 17926678960334055649884975570327189, 714853329121004304143655209757812513082731, 83600465009037265791367914677018824043, 371539162296726949300414771989615851, 72429587998279292900849996797163, 9777824965190550390808040961355115, 2118257651688247714810836203, 15643857080087744076503, 1143605259086630415827300363627, 247749432947873140028651, 1830190402855122155, 15648127446423489639659, 1831616970219713771, 133791489674479890620781803, 15660332803307251963115, 2096687250947103480921244171989, 17926675995597856636465186010805909, 445857729340190105222153877, 9849680665890972414626144519886059, 1149468436901570419262967387371, 72429588026958019151945891747051, 133994900048762482224280811, 346763459936577185133803, 15648126091176221516375, 1830261722951590487, 133791489667703654280118259, 15660326027070911299571, 1143917236716817362877425624299, 133895845482723948523365611, 17926675995597734649945293153190741, 153273079762361674241799296196236230293, 3812083585858622494963132399317, 83967035878279357495872283585596728555, 9856918838874717263633410102469867, 371539162542034414570267306968589547, 13039444720028989865685, 1145656395416931846249245000939, 133994900065096763008009451, 2964827582472740156498461931, 214265039009003, 1525081567415617173, 15671918134774813668587, 606312244851947, 107010619749849, 5185853697639740651, 915326898139465365, 44339059055865944642795, 35681816175463, 5184498450371617367, 914970254121546753, 44339052279629603979251, 7826045647394086190805, 379098954944333888397485291, 305037654657460255, 44327463560239782556655, 7822995984396764918481, 379098897000736939289532035, 66912690287633737125282645, 3241296064774105288431503617259 ]; SMALL_GROUP_LIB[ 8556 ] := [ 118798579494489601559, 13637290636801559, 116680039760851201559, 13884926688001559, 2217584827584001559, 105610288320018959, 18975985648127654401559, 71543804947226151, 18973655935629667201559, 20780661326734368001559, 162358533205453129708801559, 116897803095774177029, 10219634439803100, 1692057601559, 847430067752668801559, 71543783174426151, 98798252601618959, 401241619771, 99045093945601559, 8363865601791, 11548915201559 ]; SMALL_GROUP_LIB[ 8580 ] := [ 1602123307388913700385886754960823, 77128782077765987082438887, 186727658203836177877186770359, 77128779230487646628219111, 8989368541115914914023, 8989368209227376494823, 186727658667862322198190355895, 8992457597488289810663, 21763130380951971179656631, 1602123311370258718228624848618503, 51445850414378777837573447, 691781261702014704261, 77155286183421289305740615 , 77161279059637011930420551, 661992385875579957271166195015, 186727658668561687430938657799, 8993156067619541882183, 1047712495482964199, 692076843383687809353, 77128786619131972472061815, 21754602056584338764331611 , 186654485648274301724777117111, 464133635984861432039, 1602123307388910906260236252618223, 1602123307389602391986828771991023, 661764925794785273559316831727, 77128779284053154938625519, 13802997068447901780141334706658861863, 13802997068453834727675498522877485863, 62457034114365462082362463756870439, 7279374629837095943729368654631, 186654485646178646211642138095, 462038224692156828671, 1601495486862201187266597115781927, 3982277824243085850183911, 3982266596296462032177383, 4054181110885196592318695, 34167943732004193601066109159, 464134944754739185895, 80621705594145021, 8989610319147835590887, 1047740480602769639, 461232297260419652229, 77130856535358560445928775, 80627379823712901, 8989610400260729345351, 53763133245753575, 461286357644407212263, 54095021784172775, 461286113423976827903, 53850801353788415, 3957836948233733172365543, 464134944743273007335, 10175851268349, 2535555163432392981083, 21755066083134911060768183, 3143151394159069415, 691512608062064960499, 186727658665068196547688013295, 186727659356553923140207386095, 77130853741232909564386799, 65264497628661077117905773, 1608740921049865039734389661360935, 1608740926982812573898205879984935, 7279392428679698435155092169511, 21755063987479397925789167, 1047740101454466047, 186658467000976214763313160999, 26979468133679348320487, 241881575335136541, 26968240187055530313959, 98882754775790090455271, 231483836587164634847381735 , 21755063288927560214167511, 349269670552934759, 186658466993292144548484908039, 26971784958939431441735, 241812692649646725, 26968239291580618904903, 32961115507303243584839, 231417914947896148000511303 , 5933178163775000958513999, 1602123311346285116896215795526079, 1602123317279232651060032014150079, 661782725099775596981226334655, 559969389653909180659454774205, 13802997102607842040925657639342938343, 13802997153512531884051200795136858343, 62457187038071812579904026678237415, 186658449012567109188985579967, 8991060656241223155071, 1601529646868375927683319536916711, 231483855499262876863957223, 2075343872172177771261, 231387500807053816583948519, 848576301779469999258208487, 1986131480183675653087451678951, 134330643564741375, 8989610155954684837247, 14982486371677309517183, 77143300430501300382219647, 2075934816736757435133, 848414035978445526769338599, 231549758227409999975942375, 1986131480183676629968791013607, 2075343872183643949821, 231483836589036990907025639, 1414021700901167195166869735, 17041008099975937104630253553715431, 17806449187434437766826749, 1986131317917874628614962809063, 1986696925582797350283360340199, 7280784669267853838479812724967, 462038230747446049739, 80595875351822832, 6457751767271, 21781120428938567744227559, 2075343872149245414141, 2536495573338624114047, 80608399476146943, 2538591228851759093063, 241812669717289605, 295547426464340327, 3132559989205, 2538592124326670502119 , 241881552402779421, 295628833274465279, 9394622303319, 295873053704849639, 28180809255165, 34442871572711 ]; SMALL_GROUP_LIB[ 8588 ] := [ 659561787204877697391, 5664317879226526132668383, 1329120569662113759, 76954036811597791, 1374626525345, 8947660490719 ]; SMALL_GROUP_LIB[ 8595 ] := [ 32361317615859 ]; SMALL_GROUP_LIB[ 8596 ] := [ 59233923255933791531, 11776225816901716523, 22725879778967, 1369444675873067 ]; SMALL_GROUP_LIB[ 8604 ] := [ 25730787970602293268255, 221439369400108513875128095, 107686156931220574435 , 221387704465232750643473183, 1905264334315637614288380995359, 68589518821718493310458437527719, 141044462837078880904845477048810634751, 322956033988743737148, 219535516555726810945708831, 107685472715899207907, 25515517067225010079519, 12609110922439067, 2965291457756679967 ]; SMALL_GROUP_LIB[ 8619 ] := [ 581904113595, 69213179, 2317138010043 ]; SMALL_GROUP_LIB[ 8620 ] := [ 60965758439344961719, 7080473623041719, 3902081844027358212103, 14497089610481170910797131719, 195104055604808641719, 64753042187190241719, 53606799864473, 7510422036801719 ]; SMALL_GROUP_LIB[ 8622 ] := [ 12751369398886975, 28399486867755, 109940709066475365183, 230539513284519635, 947908810378215262503871 ]; SMALL_GROUP_LIB[ 8628 ] := [ 844222592852014033819, 3522228122374593708, 841874799376490170523, 144576157564151, 97571897048655771 ]; SMALL_GROUP_LIB[ 8631 ] := [ 186106049021 ]; SMALL_GROUP_LIB[ 8636 ] := [ 144380620474585737747, 158339156440168454395584239, 2123063871096303071, 139553441931635423, 1943789379477, 16139097582047 ]; SMALL_GROUP_LIB[ 8649 ] := [ 444778983388799, 1684828799, 86137382908799, 14399117308799 ]; SMALL_GROUP_LIB[ 8650 ] := [ 76654660386143, 1372334189975, 663053163217849695, 11635194398794551, 5735410661337252107615 ]; SMALL_GROUP_LIB[ 8652 ] := [ 5273485887079256442389666567, 6445061520000801409493113607, 1395538932258867274455815, 610155359587886522768135, 70447041204198333191, 1566033864152613095, 5273485239209876410819048199, 6445060872131421377922495239, 609510620394582874538759, 744921581203822930838279, 1394891062878835703837447, 609510545505753584589575 , 744921506314993640889095, 161221818950181542663, 609507490207854952149767, 70521930033488282375, 806035901083119721223, 161221801991500446719, 6974792924629318275660551, 7826692084519182623, 6973822685466089388418823, 9763288440870086055154439, 60345908383900441544776389383, 5273487338283907686311544179, 6445062971205452653414991219, 13573964087706048787661, 609832952850309898400813, 4695431306904989820, 70447424187747347207, 86098251835602184967, 226115748516071, 8185390095543047 , 1368456852223225965903623, 7826682191955185951, 158091993300845073407, 182305822286707, 158166521051549102855, 905876217430247, 18271565701864199 ]; SMALL_GROUP_LIB[ 8658 ] := [ 16075159840283409310561847, 1205009503157054148322776712807679, 433957094260782022938334578935039, 139178736796567372478260118783, 50122094512405657834642408703, 47581031853129721937902847, 5495615043326338252031, 139178736793376621111315268863, 50122094509214906467697558783, 5495614674798056226047, 139178733900342938659266299135, 16075163031474389541389567, 1856682820769986000439, 16075160175237302433219839, 5789107705364154518734079 , 634744311408278783, 214466959161605375, 17165544375631943, 16079541308382677698854143, 5792152119540085580610815, 1857189246889392979199 , 668994607383434083583, 5495700816065596734719, 1857188878361110953215, 668994238855152057599, 634754071132814591, 1856854732609556299007, 214835487443631359, 1856854366058760105527, 214468936647437879, 594191682880261613471, 139216668647976795502805531903, 50148453050977632943054798079, 16079544499207352868027647, 5792155310364760749784319, 47581777665603941277646079, 17167521861494687, 16079541308455985923177727, 5792152119613393804934399, 1857189320197617302783 , 668994680691658407167, 5495700889373821058303, 16076648274773533874207999, 1860045557284725472511, 24828863102207, 2043273068615, 214505618815892735, 77269000716336383, 34681463684351, 10905195823175, 300608319578160383, 998417560285, 300241768781966903, 94363065364801439, 2602667206921772088575, 8580272274769429, 2599493243577424108055, 816995358062533963775, 22533892678840997323111679 ]; SMALL_GROUP_LIB[ 8660 ] := [ 576431154720898924776623, 4012164342749656274691, 43241914141992390236498580014783, 43241914041692144819914428974783, 15044730629310391614011672255, 4991893933568091395169781439, 200608179855292368575, 66581142258928584383, 54611115431763, 7686793098954431 ]; SMALL_GROUP_LIB[ 8668 ] := [ 11071677560554758547539, 95969311414960269249575079, 11612544745165186983, 1278506968138790823, 6847661258069, 147390004602791 ]; SMALL_GROUP_LIB[ 8670 ] := [ 2428078032784161985511043583, 2105207655723774611821567, 26015756408300635720045827071, 12813940323152096713074807807, 113671246589550662655, 13110870317995007, 257832260607, 2238623055352831, 51673833459, 2235118362042175, 19408875039544579071, 17314103281, 2234534246498079, 19408865109580198399, 446934498213651, 19378475913858576703 , 168274946615640200319999 ]; SMALL_GROUP_LIB[ 8673 ] := [ 50373979085651, 6156389067, 150877500169043 ]; SMALL_GROUP_LIB[ 8676 ] := [ 2036477392182904821969729081839, 17668477854578827113129374529024479, 219997178853906500812858079, 473409920447059646928384239, 25356959259977318458079, 219996952506088921497658079, 25356985300942848058079 , 234707158716055614273081839, 2036319308972449587589953024479, 27281131604803584058079, 17667106324644971289608935833658079, 236745878900388868915258079, 113226780613031366641, 236691102814683896217658079, 2054007245336728766408294458079, 73944263786297194311542401536241, 1329969860705990621107416273388211404858079 , 154611238082767658244339922118246458079, 220051734902625694569984239, 339573528019012550400, 2925557238988858079, 234727312243959948902458079, 113226067161920966641, 27054783787224268858079, 13147884748914961, 3118087117209658079 ]; SMALL_GROUP_LIB[ 8684 ] := [ 322517155166425232335, 467708656298782136902377431, 6202057399832317383, 557779478224526023, 4300862909705, 64172761991623 ]; SMALL_GROUP_LIB[ 8685 ] := [ 57793623921407 ]; SMALL_GROUP_LIB[ 8692 ] := [ 14425184063443062051, 11031310217661828055, 1094845215616674864108767519, 1094845213636877184874940703, 5081409585062687517247775, 125383765402588166834463, 67258126718756895, 1667222873913375, 146232322691, 191154890783 ]; SMALL_GROUP_LIB[ 8700 ] := [ 5040075399561180744796856549246618373799, 43848655978208663031374515380760809863686343, 5040075353240355630030963025830901229767, 20970884470279811011700963260420798547343559, 277062594431431514479260964213008583, 657709981512138990061871710533083430039 , 447947171750139532626326672398506756915813055135, 447947171750139532624662969154139755889253055135, 165940228335512656868775072190875164282092191, 26691410106281254988632168646156150245314151, 1731437352119055436819745445309202165326254863399111, 199015787599889492870468730523249135485936056519, 5924753831213173812437280883141353568927, 1679134760769121512865444596309855, 78209039124145010135997798840991, 31846275413246715062493051424423, 277062596095249277221410616167409863, 6655310189334655348635642055, 1679134758472828781282092876586847, 5547207336954117503344479, 1032713745528087145315211, 114742553661205098251507, 78189727468878079856754610631343, 78189727277647821883536101831343, 28949469222939043721878139567, 8984609838941230782389383855, 382474161229387554655, 8689522083596891268111528590487, 5918181685054539123853668193010066291359, 5918181685052875420609301191983506291359, 2192366421021575229941291687335328415, 8689522121842942862755230350487, 5918181685054540232989164437677417331359, 2192366421022684365437536354686368415, 4991224493248972431080258711, 681258034569986670922477754186889887, 681258032906283426555476727626889887, 1259265972986946948085871455926943, 78166105600062840318311819541151, 3329318804960004100087647, 65942986382999857351, 16637151182275226041868127, 28965073603343938915704266591, 8984609583938246165536322679, 127500483931762920103, 998260214659990856185822815, 680250628979239293321857107428718207, 680250627315536048954856080868718207, 251860382239569347465224697755263, 78166105598787825395227549316735, 3328043936573515976737983, 13190824217371825167, 3327525256647462288426175, 5545796219828552531510463, 28953982248205648388498195647, 75598842127292952418754790438096487, 51488180659974490377526913893635584098135903, 51488180659960016159300920984704512098135903, 19073587862887704500490126879994852765535, 75598842460033601292154995750096487, 51488180659974500027005731222241538146135903, 19073587862897353979307455485948900765535, 43423653091265545327779899133543, 5926944900758884037026308285518371450719, 5926944886284665811033399354446371450719, 10955613964986438449373657929126080351, 680045118720546711589824964970508127, 28965076671614100856035630943, 114804108890646068137639, 28965073603490475481011347295, 241238003459288525997036035935, 2192366653274471396351211581770063711, 114848064815579182730919, 144743215286149003515318787935, 28976164958306385095758995295, 251996167043042865058184046337887, 4992065897586745635486895783, 251996140349092606469866007584607, 1259498223664842365530247947378527, 4659019596824686078266955607, 13188799322043716336, 61554007830255675591, 8987326838739461230647074655, 114804108885094691835559, 1033025926840056232346815, 13190820516454290447, 118709296909635357351, 505545335311717, 1033026073376652380364639, 13195873502528317639, 118738604228864925535, 1516142550082023, 13643309127851871 ]; SMALL_GROUP_LIB[ 8708 ] := [ 64028815313352641859, 12730473522929121859, 23937664415795, 1461379630401859 ]; SMALL_GROUP_LIB[ 8722 ] := [ 2673202075983, 155441083693, 23312596764694863, 1340096523356541, 203332539522292128079 ]; SMALL_GROUP_LIB[ 8724 ] := [ 551056860666223466411, 902227719917255543723, 4808324271034363297820909, 3722815424647687500, 63224908439262635, 899746217825092401323, 151128156244495, 103131631440365483 ]; SMALL_GROUP_LIB[ 8730 ] := [ 39665081030869362047, 346276114282573474932095, 39691264278934693247, 346276088365984896642239, 39665347690356403391, 3022990477665110719262991743, 346504724509639972857215, 4550431951660415, 12692156641551743, 401815666280355, 110832292620651046271, 134634340749217, 110806376032072756415, 3499408976902806627, 967565965704622699816319, 1166648823531297889, 967339687969745493599423, 30549828707081586386019, 8446850880779787756645492095 ]; SMALL_GROUP_LIB[ 8732 ] := [ 15463936885788240951, 7966077918790615841918007, 104476134454169127, 2895800975498023, 203153739533, 330622749223 ]; SMALL_GROUP_LIB[ 8740 ] := [ 288552078646736695, 19350582237902356015, 3889841065062349151334095, 3213344723330488406611243, 645925698144286296645379358359, 50922418036838523, 2522897134925968037687, 12550483833946119, 2521945249245616726839, 8455897267935371456311, 22050120959245622191107895, 135737567548016098103, 12550479216291847, 15503413711382651, 253970993653, 15530602459729719, 1436090480523, 1773838907191 ]; SMALL_GROUP_LIB[ 8756 ] := [ 854549407359523259, 97971571300283, 12340635405485411771, 1358793371018123963, 7131464817255, 155072472041915 ]; SMALL_GROUP_LIB[ 8757 ] := [ 226032636947271047, 66695069513005703, 154503338573003399, 197297287211, 7624859478407 ]; SMALL_GROUP_LIB[ 8764 ] := [ 115904206320324357619319, 1015784517412681311910958927, 66544919065355749199, 13231235625992259407, 24561414535949, 1509162464970575 ]; SMALL_GROUP_LIB[ 8766 ] := [ 4445379539571589525686643343, 507116078056947923601551, 57853888968474503279, 507147126371215245310319, 57853945203333322607, 6605364369491567, 13855198073151599, 30348971898211, 121452930167479202159, 250478094847102363, 1064656404108828929522159 ]; SMALL_GROUP_LIB[ 8772 ] := [ 8177551442821867282100023938215, 932233415536826699876859047, 5778872525717022415235, 657493427535632771, 5767528885513262367107, 658786731239027075, 2471692890982238436507, 932234404123809568632130727, 12115124430892538243, 807756978439976879, 21681690030266568484520577, 8177560192974059662752282969635, 106286831133651213891971, 281781579550278333 , 106273872339416317930883, 120443618911370543440259, 932348082704742481376731523, 5769180500164878728273, 56351173580292780, 75478891366787, 6767460985572348302723, 281781462450934461, 770195197555171247, 2157973650967, 771484227132490115, 32135405657517, 87807779428739 ]; SMALL_GROUP_LIB[ 8780 ] := [ 4358059824793919200455, 16797789713136970744924064999, 217902951842721156311, 72325494594177923543, 57708860878257, 8235878832310487 ]; SMALL_GROUP_LIB[ 8796 ] := [ 73133433662878506236457152747, 548340777322357138871, 8314303692800006203764971, 73132615281462316572541671095, 947878624703648785847, 4824155430426856402326683, 3879169543098185328, 62401061829281207, 945292899078968980919, 156186403818037, 107465432894154167 ]; SMALL_GROUP_LIB[ 8804 ] := [ 222843596570562099, 7493088051682099, 357268804859, 848993602099 ]; SMALL_GROUP_LIB[ 8811 ] := [ 1949730244527 ]; SMALL_GROUP_LIB[ 8820 ] := fail; SMALL_GROUP_LIB[ 8836 ] := [ 632179979652636935534504275, 42841869771206211, 103303866947, 916375702489923 ]; SMALL_GROUP_LIB[ 8838 ] := [ 14435061704241079, 31360517919711, 127575266575990481079, 260951788103809391, 1127510225022906225441079 ]; SMALL_GROUP_LIB[ 8844 ] := [ 101111246512214630736791, 101118323563905683351975, 11432930005110625175, 894227876541591528867569561, 101142639657218871988121, 11433520064145793943, 101117960678160099553703, 11433555890876162471, 45045496571188603544471, 1302906774754199, 5082306067570107287, 44947880455986620214167, 5093344788126571415, 109423590108848350103, 12159362888176953767, 967864168379305012659095, 1633395057301248591, 967742238957019451942807, 1182793442592202394651543, 8559790705149023455103126423, 44972548436159030796185, 544410090145607004, 579639628141463, 104425321071999761100695, 1633393935211260495, 11796477142593155495, 20678515538407, 11807474906865019799, 184824250905039, 1333844398711703 ]; SMALL_GROUP_LIB[ 8850 ] := [ 725714548857467737875547663549, 6422573757388722698024941991882205, 149091063221322524378259421, 46705748608057090955714128178811, 347864829034412321985147, 475983459101681629, 613047723225723, 32345261735553 , 5426632367427246715, 285673475827703773, 48025704853663038180987, 10837763551951, 5425363425011781207, 285565938335224761, 48025698508950959286403, 2528209414781100141757, 425027487969478662150776955 ]; SMALL_GROUP_LIB[ 8860 ] := [ 4602185141819230588951, 18063481219878204824593873655, 230109216234993061095, 76379894512646691303, 59846001228653, 8619045495818471 ]; SMALL_GROUP_LIB[ 8865 ] := [ ]; SMALL_GROUP_LIB[ 8868 ] := [ 561750877751909038019, 995438380286254525379, 4982604383157245642834153, 4040733442000488588, 63409143660688835, 992744958254432135363, 161370575728291, 111943717244086211 ]; SMALL_GROUP_LIB[ 8874 ] := [ 7615519021711, 4231822990291, 67683229103381135, 284177630885, 67568747387651047, 37538445105932443, 600621084757402901135, 2503092444223757 , 599605059530204744071, 333116146931062640251, 5329911506520027448908431 ]; SMALL_GROUP_LIB[ 8876 ] := [ 126701276362026758144139, 1124600586433675375323609191, 71824825794417813351, 14282106994831538023, 25845404247257, 1608477559367527 ]; SMALL_GROUP_LIB[ 8892 ] := [ 944235550544220609533832680122192441594091, 1571269607491953410673131272471610993889515, 106189333169615619592350610498814660843, 176705983748532938658848427902033121515, 414369117475021138589346197624155631 , 46600215640484431738284760952303, 11896190743738967051782740051003875, 19829213567081782429103764153076195, 952850232941793197227284707, 106189333169089053850446072318553968875, 11942120239605143409738334114337003, 1337853692189297318270405741027, 150455819924552547183138263, 11896190743197606960287362927610339, 19829213566540422337608387029682659, 1337853210047125516358583339491, 2230006024188242855238590548451, 952850172060091368999278819, 107158145861529347315939, 1337853209986236967104525142499, 2230006024127354305984532351459, 107158139013972910184675, 1337853150829205822893282347491, 150455880821224368749693411, 275825791592293369350013607, 414361983462051579354485204758130159, 414362875313971010812088051416264175, 46599413344828835781972178562543, 46599513643065389027316628254191, 46600215671503342052098359520751, 150554577345834516305713379, 250852813899079860755405027, 107222515964270606063843, 46599413285610916089482076057071, 5240599803423226907585211887, 16985685957966904989923, 16925431664425626805463, 2452642938838512843750031940021, 3684506756944562643620065279694468511851, 3684514687291830228141069792178596182123, 414361983462218007756290427127265387, 414362875314137439213893273785399403, 414369117751007717512574880817576043, 1338731301832069412460882204899, 2230583221263527015307540338915, 3811922426650498278686103779, 5643924932347477929065, 1338731301759138207236970166499, 2230583221190595810083628300515, 1338731408915372485733527247075, 2230583328346830088580185381091, 11903998735890761191315847522212067, 19834346003475282195828331649882339, 150554577354037315657414883, 250852813907282660107106531, 953422611951800737957853411, 953529768186079234514933987, 8477834513979684544892305594595, 414361982935652265851752246866573419, 46599413452039317894704445192299, 150554589396693154904316131, 250852825949938499354007779, 107234566822909204666595, 151036792457044320784914659, 151036719525839096872876259, 151143875760117593429956835, 1343019158528023723233553078499, 16985694160766256691427, 16920357707658141898199, 150455826592361287404751331, 250787901956859413684554211, 12051079381741738211, 1337853263564982931100218713833, 160740379094280619026905, 11896190744542868446022703402409031, 11898866300301162854067672348318791, 954226513311029349556547591, 5652170325961551794819, 952850323349047855499714567, 12388921762824781859884773383, 12388921764093293302859051015, 8491174179437771669543546662919, 8491174179439040180986520940551, 1903375705731274979, 634650276346239305, 150554516464132688077707491, 250852753017378032527399139, 16931463942311390238947, 28211067693238666942691, 107161634262442378057955, 16931457094754953107683, 28211060845682229811427, 12051466135012940003, 16924804256138676984035, 1910223262168406243, 16924797479902336312535, 1903447025827734743, 22562696374215102491753, 1338730760399046711859846772963 , 2230582679830504314706504906979, 150554577354037185050474723, 250852813907282529500166371, 952881251860305360834459875, 634721596442700905, 150554516465487930992277731, 250852753018733275441969379, 16931465297554304809187, 28211069048481581512931, 107161635617685292628195, 150495359434343719749482723, 16985694160635649751267, 31020179307979857805991 , 5240630822333541696382266863, 66280329346964822243, 6026035805686637783, 275831434249237668105738677, 46599689272189839319140467964011, 589437627174075085265123, 3488870392737852521, 589364695968851173226723, 696520930247347730307299, 5241279380837316734540765411, 53596194711488163707903, 2452693113344146005249953700017, 414364437008312051294897646019085603, 5241279610431040373862144227, 31023034368443036198057, 5240630876580019777071335651, 6195505659156386921000196323, 46605458295952816135798201768163, 951419403360899119, 53583511023569189182463, 476577363373217591196367871, 31031278765613225854121, 6193464111784991775784298723, 46605458295952817491041116338403, 5242672411901911461299730659, 275856813357668743225271465, 46605456254417495599356887943395, 55090436321218600149418980538595, 223038214815200547887945539147, 37681858837360196896364865766784087, 193946564058520601148848913957280618673, 32766884104545760841175097540976747836605731, 25782324451830939473316707121305777, 4355872108659510436778943459079129662755 , 150554746066055776684761095, 250852982619301121134452743, 5652170325700337914499, 16937482592107409590745, 951419272755953484, 1904125755267225827, 3172637198241503459, 73557828704585, 216215435876579, 426856943004287622160976099, 31023034368181822317737, 47944343403696431029247 , 317234880070406191, 48004604473474049833187, 3488870131523972201, 5391851282396144855, 35681816061415, 5398627518736816355, 392325833988425, 606312244746467 ]; SMALL_GROUP_LIB[ 8900 ] := [ 595885555954763655089431, 20547114616409980074435, 47213077879221376730370589635423, 47213077735396964431223243715423, 16275355481399344647262483295, 5303381584620704310292689759, 205470971852083977247, 1628390276075884695624076372747, 3739748593743223006034121383536435780639, 3739748593741942968764658972157747780639, 1289847937555360393745240584684952607, 1628390282924666233678711892747, 3739748593743223615575678270398997060639, 1289847937555969935302127447246232607, 914332885524711499848100619, 420775774566941436510572159570926623, 420775773286904167048160780882926623, 724232105655637970010647820098591, 47200096103809137457132440771615, 1829651995418357317786655, 2309880742217926859, 9143190325154432646405151, 16283902759296730473797016607, 596049572686979375586335, 2309876013739952331, 66971850143233498143, 260066288629931, 7523008457497631 ]; SMALL_GROUP_LIB[ 8901 ] := [ 55861243367 ]; SMALL_GROUP_LIB[ 8908 ] := [ 174074057845118830115, 203118628284667042214412079, 2559701591778242079, 168327598564322079, 2202624336785, 18873108802079 ]; SMALL_GROUP_LIB[ 8916 ] := [ 1028236564959942773707, 4151400707846105868, 1025469373499478644939, 164897671194047, 115011275342858187 ]; SMALL_GROUP_LIB[ 8924 ] := [ 329030027502425404511, 2936264718173026535868479, 790510709350860863, 36955608330537023, 915935339445, 4133939578943 ]; SMALL_GROUP_LIB[ 8925 ] := [ 1381353085691097909, 1839981370892083, 17314165749 ]; SMALL_GROUP_LIB[ 8932 ] := [ 5425590576750522609853547, 48461375032118636127166745047, 338099087755182477415, 37786652207091815, 337509801856911872103, 37852633178247271, 4300113711207, 607435412771849004139, 5425613690003725995559383, 657361636113649767, 5425613397813678363811943, 365204297543457847, 48461581482326981668581092455, 5875503204279284535399, 22682907048366917, 5871554485145520672871, 35881371612240740946023, 52479994620558445529075815, 608052910652670906471, 22682891627877189, 68043028781407287, 1412076281481, 68075737843044455, 2539974955597, 7615519002727 ]; SMALL_GROUP_LIB[ 8940 ] := [ 13669582846822906730105987, 278959407016446856260851, 1092807392317108992039004317404559, 1092807386645145995585065808809359, 371590474759268453763449081231, 122206073745614871577170267535, 4649321062124745807839, 122206070645834847415206591207, 1549887730729151037911, 2493897093462507943911083607, 9769698087314954387406206751069776863, 9769698036607605199107996484228688863, 3322018844347861154276423665265631, 1092522299285796829469573367802847, 41571149728426624891115487, 31208243223443415623, 41564930755894275181696991, 69273864391862220599023583, 371646078572085341023983327199, 31203526006395467888, 13673151008199488297359327, 31208179600085492295, 1529088459732041073111, 1172487596103085, 1529435152498416375775, 3499284685826703, 171028675149060063 ]; SMALL_GROUP_LIB[ 8946 ] := [ 10840976237862748319, 96983250290510573167639, 10841024319328367639, 867612157040302570244920039, 96983746880028536120039, 1225378201948319, 246481942515552735, 156485275584720365148319, 17492206062016348319, 6612567181954899881175, 1399917275384010283421148319, 246536908128681175, 156485279494862192348319, 29257625952735, 1900239757148319, 137898073952735, 17007396126649948319, 27751718772331, 16999575735430767639, 1231904695840681175, 152148176548244329948319, 246425255867653171, 152078207508006148920039, 11020617100805402871975, 1361117587438283268417948319 ]; SMALL_GROUP_LIB[ 8950 ] := [ 91007369697299, 1574077468769, 814504505718077715, 13808240125826973, 7289816275015304636819 ]; SMALL_GROUP_LIB[ 8954 ] := [ 30152478455, 7793431173, 269790375862007, 69386226950781, 2415705453615212279 ]; SMALL_GROUP_LIB[ 8955 ] := [ 5743664994258016116191, 71658933194771 ]; SMALL_GROUP_LIB[ 8967 ] := [ 6406152210420714359, 59640676268705, 714413883114359, 2737437949674359, 7050477545, 6413411296777194359, 24553868101620714359, 178642091948705, 80041194359 ]; SMALL_GROUP_LIB[ 8980 ] := [ 743504221207745729737151, 4989672892059698655235, 59970905088608059550521555420927, 59970904564711864712283748828927, 20118457188392075410263770879, 6676668072703577058959165183, 249483601483011196671, 82815494393652315903, 63162326126147, 9220410558121727 ]; SMALL_GROUP_LIB[ 8982 ] := [ 101276940100213421735, 909669403313500866156455, 101277002098245309863, 11281673612399783, 15653026908384935, 33459255800215, 140593526386058923943, 282950160798976375, 1262811074627701961818151 ]; SMALL_GROUP_LIB[ 8988 ] := [ 1896272320326956245106271, 1971815650203838307, 1895425029575419040409183, 210883975742405705311, 1054327654628703059551, 210883955187260877895, 9477566012732378692738655, 9854863589857143027, 9476297047054662419894879, 13266732985420962131363423, 85184363322448163272699512415, 17753703145884720997821, 5912210371891870108, 274068598314851, 1860847826117583633660511, 9854851599355967731, 206943062003443061831, 220967807440623, 207036903091498362463, 1097987321931619, 23023475185319519 ] ; SMALL_GROUP_LIB[ 8996 ] := [ 6201613985961619802331, 398926501750553248315, 502475126601962547978407422223, 502475126130523018715354802447, 620833605571441359187486991, 55789726390400797121603855, 7671429997498755087, 690186168294651919, 4957206778607, 76654660298767 ];