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 col12.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 5516 ] := [ 24731088358938030631637011, 429442667307803799, 78205013656727, 4483847833486254460947, 24732907932514203685451159, 4105540455413212311, 813487111674934423, 3825245271377, 147390004602007 ]; SMALL_GROUP_LIB[ 5525 ] := [ ]; SMALL_GROUP_LIB[ 5526 ] := [ 12126334491319948526937671, 2194414505655642989639, 398275530553448999, 2200864209473117960999, 398284368395548967, 72947268220967, 1369444675965479, 4769629256791, 7567379431934800679, 24820448291883703, 41817340550173862192039 ]; SMALL_GROUP_LIB[ 5532 ] := [ 322068901353869977972059, 1781685162249738090652320919, 58473969206983680919, 380481316001180400, 58220375412252160919, 24357360851141, 10523812582400919 ]; SMALL_GROUP_LIB[ 5540 ] := [ 25079570585124927704771, 273572997972811069107, 770042821103190883001676555599, 770042806787066233614847141199, 419819448051586454450267471, 138940830154968123155359055, 13678643687050470479, 4528825610547180623, 9098763782271, 817217532077135 ]; SMALL_GROUP_LIB[ 5548 ] := [ 30071831525134788743, 166838610439332679718159, 94735482401195279, 5437020080112911, 234770011145, 977778377999 ]; SMALL_GROUP_LIB[ 5550 ] := [ 137491291958330879, 763076393810677974527, 137566579603391999, 4235073985791090004870655, 763494701573503600127, 10340965642439950036120399935, 57392359315546395002575376295903, 3387600986150278272411615, 130835293115443569476506298893823, 23636592225017562301403383295, 417343705508340548444381529599, 4239653119264828641166847, 7903883536208135898623, 24828863104511, 27503290725525471, 763901463032686757375, 34681463686655, 2979773205087, 192549144856610303, 16509657606285279, 1068648239360887506431, 998417643229, 192475834697462327, 16499750828102679, 1068647872810091391071, 91628560062106595391, 5930997729294145331824127 ]; SMALL_GROUP_LIB[ 5556 ] := [ 57034122801429312923, 60014880414336444827, 10275046026449819, 388821125056127148, 316941809107638839665925, 10754684241929627, 24783737790967, 59755727804485338779 ]; SMALL_GROUP_LIB[ 5564 ] := [ 22013482342000850335, 13105035963747527182622471, 423315315804064503, 37839377577490423, 715066961285, 6791116064503 ]; SMALL_GROUP_LIB[ 5566 ] := [ 670137080799, 3729799215860959, 692442000095, 149928415, 2526221279, 1086952667, 14044037006559, 6020113095555, 78169320481725791 ]; SMALL_GROUP_LIB[ 5572 ] := [ 4362951213389515427, 864572828652885923, 3983783811683, 155072472041123 ]; SMALL_GROUP_LIB[ 5577 ] := [ 21900383, 118697180255, 473957612639 ]; SMALL_GROUP_LIB[ 5580 ] := [ 1992241949794570879488029759, 1994360241888445008409191029, 357032606387581440028019, 1992241941265260055296029759, 357117916093602048029759, 357147772449145344029759, 1992884842190131628544081959, 1992884569252273434240081959, 11120297419420664572797696081959, 357147821227900032081959, 715694640036367706026737403419227430959, 128260688180821222605718693979430959 , 64000052232192028019, 1992242214251848202137191029, 357412229773870489191029, 68920836166817215846657497837119, 12351404339596531596249837119, 95600845363364352028019, 95336389421056512029759, 384578265810840064210201844313811019, 68920836214948434242431065811019, 533453254307181955584028019, 533452716960774991488028019, 534928381071457800960028019, 2976669159033852791218944028019, 95600941678984320028019, 64003826889216028019, 357139243138321152029759, 64005164423424029759, 1992836975713492072320081959, 357147821225100672081959, 2213628468150274585191029, 17083889791488028019, 95327907503770368028019, 17132811966720028019, 95327860110232320029759, 17085418428672029759, 531929723719858190208028019, 95600941676184960028019, 11848384512028019, 71407374046180569863103, 12351999365466718637529837119, 396706084766208028019 , 132250142458368029759, 398453145054549413338593033, 68924156459304109168032345811019, 2214157399145187840028019, 12800083491072053133, 2213620052738223744028019, 3689284163421033216028019, 12354998287274168083200028019, 738228785125132800081959, 2223368549403350690626160490933, 384596793042916930087035617433028019, 12355000146947679284736028019, 71424442987668864783933, 12351999894615478330560028019, 20596582610138383955712028019, 68940900819968090264061696028019, 12797023044096107131, 737955847266938496081959, 4119316620994867421952081959, 71467089529192704783933, 20586205632233363999040028019, 68940900819968137657506432028019, 12362376608111949517440028019, 398548349193597810048783933, 68940890443254641186319552028019, 114928930964572285339181952028019, 741477064717737451752924213031, 128260690040158061783674567259430959, 69244240783584922866896847878768490933, 11977868770742959586540602312947821721028019, 20687207848215549971466599024490933, 3578473166085319573288229334211737028019 , 95600846841706393191029, 12797020244761217100, 3105423360028019, 3853697610315344817600028019, 71424442982070144783933, 690362308485576576081959, 4267712219904107131, 690626811821422464028019, 12800077892352053133, 123720831634176029759, 764785152030571, 123768225172224028019, 2293608960028773, 22168318464028019 ]; SMALL_GROUP_LIB[ 5586 ] := [ 1038139664051591, 173092168478291, 32395350092349524325767, 53980011989131401278855, 5799384818338506119, 9663448888653915527, 18357247174773978503, 5799382403682233735, 9663446473997643143, 3286296274201991, 5799038947216356743, 1040554320323975, 5402928452081331651755, 1010845563369979099949270727047, 1684360316061375132139749013895, 180960537673724833820305799, 301532459029148398480255367, 573434332885051661618379143, 16195259400472270128299, 1011990996622855623813540247943, 181165591961744261651360135, 1718867585761575525887900039, 967227650543989931 , 180960537660235888475582855, 301532459015659453135532423, 32395370170479154733447, 53980032067261031686535, 102655627100539550740871, 2899259685701694635, 181165591948255316306637191, 301737513303678880966586759 , 32432078779147151122823, 54016740675929028075911, 307709915119967381795207, 20287202130031428779, 181575588479925077441001863, 302147509835348642100951431, 32505489424944762825095, 54090151321726639778183 , 717706446789728516159879, 32395370150418110123399, 53980032047199987076487, 18377305243359776135, 32432078759086106512775, 55085913911356165511, 3631795166575787, 32505475918353029764487, 54090137815134906717575, 5819099430458426759, 9683163500773836167, 128483073178279417223, 32393431566905374087559, 5812545538949417351, 30277928914178467514220779, 169132510914736462340171938475, 187687017863, 32893607507, 1038202307009927, 1729943100120455, 173154811440299, 5799385995131223431, 9663450065446632839, 519025207995563, 5805957532665773447, 526539468167, 155035283027, 2942839808324999, 865759908070571, 16438721730623740295, 31200577903, 2940486948507743, 864893064994691, 16438705260604878743, 4836134337232765163, 91826699613722809199495 ]; SMALL_GROUP_LIB[ 5588 ] := [ 824258209624304363, 90287721429100523, 1169499840399, 16139097581291 ]; SMALL_GROUP_LIB[ 5598 ] := [ 1461379630496719, 5023954431891, 8180619796649536719, 26484365859295211, 45795111552245745296719 ]; SMALL_GROUP_LIB[ 5604 ] := [ 63198362333901646243, 405939453363874380, 62927799661939279523, 25653260431475, 11228582897542563 ]; SMALL_GROUP_LIB[ 5607 ] := [ 32624124461 ]; SMALL_GROUP_LIB[ 5612 ] := [ 12331803016455915659, 69206123947659346081319, 47702960225281319, 2205574479361319, 139760643561, 391910401319 ]; SMALL_GROUP_LIB[ 5620 ] := [ 155868134412918032304875479, 2689206150184961119, 479923404801119, 27732775576372841195479, 298209693113081713603, 876364916978879213804136961119, 876364934373411919698536961119, 470938490083046529313281119, 155858208673387898513921119, 14910478076067841119, 4937147020861441119, 9637806158123, 878220492801119 ]; SMALL_GROUP_LIB[ 5628 ] := [ 102457720266805849146352271, 131718902596732032900752015, 43582112059076451721871, 18235938668181714657935, 3234681669891138191, 115584405792371147, 102457689093683495838558863, 131718871423609679592958607, 18204996501282595281551, 23404211556351213574799, 43550938936723143928463, 18204990961444174766735, 23404206016512793059983, 7738263574456509071, 18204765545828406864527, 3240221508311653007, 38685970311996400271, 7738261650873689495, 217771290255961545933455, 577527614331279947, 217724646028999267247759, 304811495451677033187983, 1225616821561111262942956175, 579639628141199, 25647771165131, 3234725110803534479, 4158537309643018895, 346450333250281788, 18220464849237082968953, 652327032813609568541, 102457789926677588540680091, 131718972256603772295079835, 1333844398711439, 102751383204299, 7512847958688606863, 20678515520983, 7507349076552674711, 577526492241291851, 42282316581583187455631 ]; SMALL_GROUP_LIB[ 5634 ] := [ 5823679048184463023, 32810600735786843012783, 5823688599845633711, 1034611679919791, 1509162465066671, 5154864953161, 8502431962160725679, 27349135008002809, 47902703668456922087087 ]; SMALL_GROUP_LIB[ 5635 ] := [ ]; SMALL_GROUP_LIB[ 5644 ] := [ 11062472643260097443, 5181562659201844418522671, 162662238585252639, 10611544384833567, 348676307969, 1876486154015 ]; SMALL_GROUP_LIB[ 5650 ] := [ 8947660526783, 246727885715, 50553151344907455, 1366779058536531, 285625398989782815935 ]; SMALL_GROUP_LIB[ 5652 ] := [ 42362984047038041771589331307, 239435585833854845714408060488439, 533255612223100721455175, 15187704171776846487670619, 94345447962825351239, 533238504221400374796359, 94348469471642345543, 7495357192813182539884907, 42363758850148352860271151863, 1343447221242817830983, 239439965021038389699746031860807, 7595867131034981078556743, 8560135518274228045, 7593164073285335055458375, 42931841024379575786457882695 , 1545546422560625290744409690077, 7650070072380163199942360265364908407879, 1371462126458046107762983814381829191, 535942039907516991623003, 25668013047621705072, 17029247344336967, 7496469881572870600581191, 8560052737210748749, 1326339219542471172167, 1525536741309829, 234637011498983495 ]; SMALL_GROUP_LIB[ 5660 ] := [ 311204675078734144791, 498481193321350771522139255, 15560226984338524775, 5152534861757044583, 9916136470413, 910058476553831 ]; SMALL_GROUP_LIB[ 5661 ] := [ 689052528253453175, 21552881039 ]; SMALL_GROUP_LIB[ 5668 ] := [ 239476091510591522459, 24617572726956629051, 7707719240686529329078724111, 7707719144460376759481656847, 15208295188120664032110095, 1357350916907424496199183, 473391937859642639, 42328845123269903, 770580958511, 7457656284431 ]; SMALL_GROUP_LIB[ 5676 ] := [ 2419159093920228153479, 425468103613896839, 2414954651957040939143, 426208966069858439, 4703572655335381127, 522697294764691031, 26702728406453164587143, 109407062880404151, 26697478929826192010375, 32630140882299663491207, 151564686435192293643149447, 75478891366535, 36463288672270908, 2416023441092615353313, 87807779428487, 19287934786983, 499130692148166791, 2157973640383, 498394103818270295, 109406945781060279, 2833066679044951676039 ]; SMALL_GROUP_LIB[ 5684 ] := [ 1398229697011228430719019, 7947537597996883875447261543, 136882360754473668599, 24048846318211063, 136693270225370812407, 24082118227726327, 4300113711095, 245995571542851213355, 1398239013811195414923623, 232405507284275191, 7947590555804244023856540663, 1322576359517470199799, 8023607940174657, 9246690281938998071287, 7517524027695870789390327, 1473435047100922657690134481, 256985676532708046200075412084829175, 242875083760168665651344178359287, 246202603409150349303, 8023592519684929, 43314978181418999, 1412076278345, 7615519002615 ]; SMALL_GROUP_LIB[ 5700 ] := [ 2145938376139662303934726642415, 376480417275896246897023727, 6964006458355235986139, 69781408001145011655295493400469666403, 12242352280904966559934882703407715, 69781408001145033671287364252115106403, 12242352280926982551805734348847715, 61158339734503652393601989247990371, 10729533333112221765711481731683, 39694891280574979736771291, 39959028703511465923369691, 226260880299273555474124683995, 6964016016401855822555, 28137239422309306850557408046311171269, 160382264724104354792878821212781030087813, 28137238819885739914436227354495130757, 2360827505796613006044283319045253, 3672706425409030432323683506411198929, 2267197950895128990364679804525934403208706659, 397754025610893784007734201844865666447971, 397754105871797856943718786017631780567651, 97629143928980107813640250518980921727181, 476893483381720215300682102976372295701174469, 1303276203800160172356509937605339, 14307622968782942355299792493275, 1220331082591279835, 6955876401191891294939, 1221757649955871451, 39648495484106059302501083, 6964016016271248882395, 414180269969120281336686601413, 2360827538824066858992802133580933, 132111015408894798533553285, 1301846859513533074510688383335131, 227641327029691180409403636443, 14307622922387145886379358223067, 39738911676954003271883483, 110126309418812454771419, 3476412726027927777327, 376493163376452794530503407, 11587970594112314075, 113041111420641528228482046417, 12242352353557739733745051441527395, 113041112579377942483831806417, 12242352353579755725615903086967395, 99075440645406715881118161, 10729605985885395575880219851363, 66105913039788919659227, 3049413503237270661, 330243335976275106257627, 376803704335671030699571931, 3863061165743327303, 19815552437160095630101965, 2146011031245765534350644784123, 66067288492647074678243, 610039880004966897, 66051434881367932593635, 110083417267758651868643, 376583544408831034989938147, 644334335097656637198806069614797, 69781408415279116482387912246859597595, 644334341702454198454299701614797, 69781408415404607636051766625867597595, 564730011678795396524308502733, 61158754119546754829988865561528091, 376803797431600322362448603, 3479259441151693530309, 376803704342447264863464155, 3137298551712930378513906395, 12242355378552697584245531485010651, 3481291955344574497989, 1882387015081162857426315995, 377023864254379512325454555, 2147781645360130513166878489307, 99100932439585260004197573, 2147781114713340500599400811227, 10732630936811262335632170941147, 216215435877083, 1016866767460379781, 6971738894487423818459, 609896961186118956, 6964006527328763299769, 33037907890671941575114857, 226762558895742162086268916019, 606312244746971, 107010619644873, 3457913430767622875, 610396262809005189, 19710116570868485389019, 35681816070487, 3456558183499499591, 610039618791086577, 19710109794632144725475, 3479259440759872709829, 112347664470717282951236315 ]; SMALL_GROUP_LIB[ 5706 ] := [ 1608477559466119, 5424344279781, 9177771136232700039, 29146436631144173, 52368364228010927571079 ]; SMALL_GROUP_LIB[ 5715 ] := [ 446826088715023647503, 13687182723059 ]; SMALL_GROUP_LIB[ 5733 ] := [ 303852871899863, 1744067776446356183, 5227949488761101015, 23401467174449, 12193632791529085655, 12193773027479345879, 9998740561459859938007, 10023127733446063151831, 10023127873682013412055, 268295858545679063, 23458320309809, 46798363777751, 187034314037975, 4108737305, 268903547663473367, 1072876250505337559, 70203637063217, 8185600727 ]; SMALL_GROUP_LIB[ 5740 ] := [ 12374784666826716057800039, 71031263989159679459430592239, 499466342616268805039, 86736961536005039, 497868020822835205039, 87015456768005039, 15518924805039, 2156097710758400200039, 12376002434684282572992239, 1974240503398405039, 165840339927142782403, 71067434979987326363341120159, 71067433708618622035661120159, 39028753265131225190720159, 6663354000651550824896125, 409271152797313345576393216005039, 409271145499656982735510016005039, 1568101055927947890835558405039, 12376001644876706713920159, 1184570500710408159, 71038253980615358673817605039, 11340056139123916805039, 48185953484862525, 11332141557917286405039, 47593786980741939205039, 65091922238388666368005039, 2157774726886195205039, 48185861734462525, 375781136793608159, 5046272009563, 375918709964805039, 8401715206365, 65444249605039 ]; SMALL_GROUP_LIB[ 5742 ] := [ 7615519021543, 2539974974413, 43789259575220711, 284177626181, 43723841451946375, 14574991986501781, 251437999460748679655, 1619947779806861 , 251062303178749609735, 83689594321454075509, 1443756993151336562465255 ]; SMALL_GROUP_LIB[ 5746 ] := [ 505416639, 371198971, 2898334321599, 2125642862523, 16653892493773759 ]; SMALL_GROUP_LIB[ 5748 ] := [ 73605299407212947899, 460942876090295148, 73298074598494906043, 28399486639271, 12751369398658491 ]; SMALL_GROUP_LIB[ 5764 ] := [ 993778057421761299, 108904340544481299, 1325230416779, 18873108801299 ]; SMALL_GROUP_LIB[ 5766 ] := [ 9577258561799, 319718408425261921799, 1909761483269524321799, 55449269759521799, 331211162725921799, 1709793456305761799, 296530269121799, 11011685153826904628401799, 1762561799, 9616682881799, 57442193281799, 12052801799, 69719862241799, 440666971, 69359885306159, 402004900085041799 ]; SMALL_GROUP_LIB[ 5772 ] := [ 6668577558776922345673235, 2095645312908195610364795, 1284791052309096449286926041432873967, 1284791034715374849879684054321617903, 1284791052309095624151759717850307567, 1284791034715374024744517730739051503, 2583230076552056599244154499652591, 2583212482830457192002167388396527, 222590281736224952685174363937775, 222590281735399817518850781371375, 447545058308348599298477022191, 447542010193033386678590135279, 447554391874290578427914116079, 222170231633040585794507156380655, 222152637911441178552520045124591, 4765124907451435575805631, 1717009592238815688918719, 38500364524526180923686673391, 2444727431469333087935, 222590272401371799846556919028719, 222590272400546664680233336462319, 447545057021137739810469207023, 77537259312656525953358831, 38491031121455476520188730351, 38487983006140263900301843439, 6670194824142498894797807, 38491029671373342306241764335, 827462505598945986239, 142989739653465791, 11447537706863111, 4765122780652360095696575, 1717007465439740208809663, 825558716143972714175, 297472209696879871679, 2442600632393852978879, 825558347615690688191, 297471841168597845695, 423181044438664895, 825335706523465877183, 143358267935491775, 1155360815783858770451, 363082359334010489723, 38563803423043031830967507951, 38563802597907865507384941551, 77537589366723001208691695, 6668744742008284947831791, 2327339027693962943, 6668742625910538450598151, 211607831992481783, 2095711375210685192376047, 222590273357804378946317534243519, 222590268595124198926598960982719, 447546965824725810435834653375, 38491994650871753435057367743, 13435950993030237783743, 62913061227966815, 13433401121039321040575, 15875801140033421772479, 77552309131861082753140415, 25014615148223, 2229025114631, 143028492183799487, 51537413450761919, 17155579552016112, 825769922350919251427, 66233835702657878987, 4765128082442707820307119, 1717012767230087933420207, 34681463637695, 10905195776519, 200539952213853887 , 998417513629, 200173401417660407, 62913007050273119, 1157517013697866729151 ]; SMALL_GROUP_LIB[ 5775 ] := [ 28403411213359, 5017613359, 1651213395, 47328480015933, 54972963248019335 ] ; SMALL_GROUP_LIB[ 5780 ] := [ 8610471021210779407, 288468195384145572625658111, 288468190218578097804947711, 845956396334357725327615, 1493876665746431, 1721955219208732419, 287791437152138523854303295, 287791431986571049033592895 , 169198164327308953972799, 9637277252502411513580126550885375, 9637277252472466718928590892696575, 9637277252472554533575662844773375, 28278385987523649926657005847551, 28278385987435835279585053770751, 16624615421038562969797002239, 49768525829819228811327, 5064540207189823, 1667346169320418791390058644479, 1667346139463438786926352532479, 4889627970869994089985606655, 497617827283723092991, 146359249510229607423, 49908016422198611805183, 8634615429072946175, 1490371032911679, 51673829363, 1493875726222335, 257832256511 ]; SMALL_GROUP_LIB[ 5782 ] := [ 330622764303, 29332377763, 1911276687349263, 167709203464491, 11051010630757777039 ]; SMALL_GROUP_LIB[ 5796 ] := [ 91938007694041299856383, 1597699557622279212391640063, 3998683319282662166887, 532872692589246869399260159, 533056410107687361104112639, 3088530685291084015929434369023, 91969704989169610566655, 4008330553012794490861, 689673564019010895, 91873246135028295855103, 15851148089910143999, 11985023844194845659495, 532497334595730518535572479, 689911309886198119, 91873251603836309195775, 79245735560107043839, 15851144839081538359, 459404752804982622432255, 3446191361317048679, 459308299419649321061375, 643025817860141025913855, 2662709947266978129657523199, 91906310395197756494343, 2662710265606899678460488703, 19974122076199655754615, 2662150903490598383514573823, 3728822738513991514487122943, 15433068699457599162401611967487, 2067334324716926915, 91873240662940428694023, 532688975048927401383137799, 19983767414928906365815 , 3726977640372949815003413503, 15433068699457604631209625308159, 2663995969939813545011497983, 115770001903512623022787447, 15433066854391155416048128383999, 21612256592427111435840325094399, 134237634041200374280615236383, 17894948875502814166359852496440223, 5446288755990027946146828608666767, 726033848859466818694828889454080665151, 4008330552142036828141, 2067333889343483420, 126317911616847, 486575973072351797908511743, 19974122075328898091895, 83886900374932379972103 , 689428387686496195, 83950305903298457373695, 3446190490559385959, 14473238902051107639, 118945496741083, 14484176547103042559, 594495281605967, 2496694421072895 ]; SMALL_GROUP_LIB[ 5814 ] := [ 36508684232726740788263, 212261490176858950797368171, 36508732480462769720171, 6279443531712582695, 1080491141179691, 6281971664490885419, 1088787947053355, 6281963429481447911, 1080552937615847, 36523383253993069679915, 6330211173189584171, 187687016747, 526539467051, 464622102861, 3068717809791275, 31200557815, 3060482800353767, 2700433327391853, 17841533236864521515, 180087016735567, 17793646656960582431 , 15700318835404177581, 103730674266668854667051 ]; SMALL_GROUP_LIB[ 5820 ] := [ 2502046515419964383102364767, 84789710712717725171754755829891455, 84789710712477898244368808371126655, 44603583806784714983445092991359, 7663846016518305988542824831, 14561910719894648625881005523327, 154077500984285825344895, 26447645904180618623, 153925137623562407912831, 26473829152245949823, 429936002601181684558943, 13575887330775607729155, 14568678997637554787798496412031, 14568678757810627401851037647231, 7664122043736610811010711935, 2502227685643378883543531903, 226264514619978556799, 2502227534782916769213874367, 75429969094225456319, 79011663872282374285983843, 84789711766250568758655640148125055, 84789710370457851372441430136989055, 44605190294547162954538294453631, 14562965130444455953646846223743, 1317162681502057812206975, 2333169796617428067, 1316859509514223654806911, 2194716538555691792606591, 7665886806338339774297810303, 4575480200045951, 2332628128314547200, 154077501214677622358111, 12692156640667007, 401815665395619, 73901153896561124735, 134634339864481, 73875237307982834879, 2333162490878057571, 430104771359982898652543 ]; SMALL_GROUP_LIB[ 5828 ] := [ 18210386236533603, 604344731060323, 66624547379, 103303866211 ]; SMALL_GROUP_LIB[ 5841 ] := [ ]; SMALL_GROUP_LIB[ 5844 ] := [ 38573887232919754187, 81307056368974137803, 6612505303708619, 500810693154955020, 225507371878349122678973, 13855198072915403, 30348971662015, 80973257851041093323 ]; SMALL_GROUP_LIB[ 5850 ] := [ 1380626055171578959967011611137039895, 236004453875483583057023559032343, 3346551440222044565059165044103583, 953525812672380603529554319775, 40761154888447728946272671, 6967718784515350485407, 36667531890547103, 214505031655008262559, 36755199998581151, 1254854435635863077018015, 215018382998531234207, 40342638152055406261169593335, 236004433189528699894442198064663, 12538143545560207079792151, 43857420274833468531566030903711, 7448107164156115600956479903, 953525813636746027861569722783, 1260642770640947386538399, 9751282222965643565471, 214504950248198137607, 36673793188456199, 1254854435228829026379263, 215017975964480595455, 7340898448470657863633361311, 1257857541409212888537503, 236004433189524119978614686974583, 1380625934158742894383805709383786007, 73348139741527061669497838583, 254334334043867412050588096379247007, 43952680776649753732469122423199, 3346551445866585404060071918066079, 535978445857626823671, 7374760208250300475810011551, 1260642771624089832675743, 57045001005250352865630623, 6286523521439, 91620270460132887, 215494490744766355871, 34442871593375, 9394622323191, 201603967576201631, 54996564597300759, 1179383807458967837087, 3132560009077, 201522560766076679, 54965254285716351, 1179383400424917198335, 321729967757094067191, 6899395274636898372180383, 18325927665667453, 1178907089178856064999, 321546771123993656799, 6899392893080668066347647, 1882120311598178929443447, 40361462356628891466176813471 ]; SMALL_GROUP_LIB[ 5852 ] := [ 30980633026942727, 17211697240267727, 181484900898223290119, 1632236652846567, 181298689749789670151, 1107920503263214763783, 1062049640051790686142215, 18054549402525270791, 1632234959793639, 3082834968830927, 155035278491, 3085187828670215, 278870005647, 526539462407 ]; SMALL_GROUP_LIB[ 5860 ] := [ 37198419705966272293203, 383479877683633216051, 1277934607194008990874282988943, 1277934609366937911385231955343, 658426995580688111294944655, 217982752252039560713426319, 19173986102062769295, 6350615237602063503, 11399281208303, 1083396983497871 ] ; SMALL_GROUP_LIB[ 5868 ] := [ 38047891501201193087539691591, 6485292592934028696860615, 6483962428494233759133767, 223265037718798155006518832800345, 20525976539758538639393849, 1105193184960010483655, 6485271142202474306207687 , 1105196833977516093383, 1748822916856367396807, 10265611262890969004496839, 10732774496694796711, 10262093351088848419158983, 60238606890355648097910284231, 2168590037666253460144899792715, 2074221492255716700806896838201710055, 6488789653136137146478649, 32183356092154930332, 188749179468277703, 10136220751598721128219591, 10732674523612451239, 1727372185301976743879, 1842361088990311, 294335036294002631 ]; SMALL_GROUP_LIB[ 5876 ] := [ 308772020313007528815, 30600266024396144395, 10681175486970988174364443967, 10681175717849608367027324223, 20317260375974746004718911, 1814344926146960760571199, 588439176016299327, 52647014674990399, 891241377947, 8947660490047 ]; SMALL_GROUP_LIB[ 5892 ] := [ 85402767089465280979, 521753230197777900, 85055009389204960979, 31360517679611, 14435061704000979 ]; SMALL_GROUP_LIB[ 5895 ] := [ 8408360614419 ]; SMALL_GROUP_LIB[ 5900 ] := [ 1123077544383304818975, 390942527652292403588848895, 11230753764099897427, 39125247952679055548766757177, 13619498807821970616332704763292147, 39125248327017068226173477177, 13619498807844056559080671759772147, 33130037453494445542875449, 11532300962001191630542701586931, 66313979559354405476435, 190503382734001589, 331292759609097807331411, 391252479406238905049713747, 21348506380207648085075, 190502794638337461, 3618389424832798803, 32345261540441, 613047723030611 ]; SMALL_GROUP_LIB[ 5908 ] := [ 1000292828592961259, 169774133761259, 6206612926127041259, 1230565831780321259, 5040947563895, 208172462401259 ]; SMALL_GROUP_LIB[ 5915 ] := [ 9483998779295 ]; SMALL_GROUP_LIB[ 5916 ] := [ 266485574444239888331, 148052731509983233151, 9351206348458081165432845183, 9351206299113844956271997823, 25397350662500422388544383, 1576529334977825223734143, 725658156818367695, 1576528657589513186484855, 48384326496562727, 875879958780299671021419, 55321736757478007946560027435215 , 55321736465557506533164454453455, 150250726519352687732856398031, 9326747545728794394382770383, 4293770961762549630159, 25027244449026779, 4292993729599949604047, 4865386853267829490895, 25401949009818691490612431, 5004771710974448, 267184665079323329743, 25027229028537051, 45048558448356903 , 284177608933, 45163040164086991, 4231822968339, 7615518999759 ]; SMALL_GROUP_LIB[ 5922 ] := [ 20000883352042647, 5563063702921098456463, 939389343192495503, 355131664439320090719, 32944463248950427929954703, 20007619165300831, 5563064020117263126927, 3585403587735, 151878746305935, 16898850356375, 900062858235653519, 3400860769699, 899428452724690407, 99942529004869727, 5330173122541882739087, 19993936633268539, 5326415538700399573431, 591859493491436544591, 31565285234750491699476367 ]; SMALL_GROUP_LIB[ 5925 ] := [ 418122565691, 561673567578009, 14698953454166391227 ]; SMALL_GROUP_LIB[ 5929 ] := [ ]; SMALL_GROUP_LIB[ 5950 ] := [ 257832268639, 86033576949, 1534763814892383, 51673839091, 1534179699340607, 511462086819637, 9131849634086400863, 306918564323123, 9128372394203829055, 3043200022708548405, 54334505352082782958431 ]; SMALL_GROUP_LIB[ 5958 ] := [ 10782588412791469559, 64242652470154472269559, 10782600366875149559, 1810948803949559, 1998039700909559, 6451410457471, 11904069881103949559, 36195257692628431, 70924450990148593309559 ]; SMALL_GROUP_LIB[ 5964 ] := [ 43107773537021580824639, 43131093992633027325069, 7227955494592005319, 43107445134910598424639, 7228003576057624639, 69599755448962905605319, 1225378201605319, 164372997824009735, 69552794054011833605319, 11662106989657605319, 58302917639411205319, 11662104408102424639, 347788885964092428805319, 821335662739538175, 347718608073097788805319, 486801509218288544005319, 2074212915890643117318405319, 34420736009735, 492712506118863100, 982906063517798077005, 1900239756805319, 137898073609735, 11341522688339205319, 27751718429331, 11333702297120024639, 821334156832338175, 67640853074766697605319 ]; SMALL_GROUP_LIB[ 5978 ] := [ 391910418359, 33592341545, 2342385630738359, 198568558292705, 14002791749210898359 ]; SMALL_GROUP_LIB[ 5980 ] := [ 33216572686218885095, 4568392912033891660638511, 127750052670109363, 9059019528983692447, 1245971454664603773826367, 1188469879521565215265494309, 163462145946749124191892970389011, 1188469888580079345282159909, 163462145946957470016883353697811, 704242109588946280224037, 96857270473306618188630916627, 34842215439172899, 198635117540937981138213, 27318989614264679773948894739, 764387619115703195315, 5557571532259329, 763945370986811286195, 2708506349851737714355, 4571037962305659060661939, 63537422927548316339, 5557566914605057, 10609439007743267, 253970990749, 10624975435370163, 929467840389, 1773838907059 ]; SMALL_GROUP_LIB[ 5985 ] := [ 6654238220807391743, 39825615661554380344631, 66387113222452090015031, 3520653497894159, 1112314852510991, 1853465702272271, 31200658907, 185994069263 ]; SMALL_GROUP_LIB[ 5988 ] := [ 67523188239466100195, 94111333538838604259, 11289546378105827, 565739913991886028, 404423265067270104777401, 15653026908136931, 33459255552211, 93734256588416288483 ];