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 col15.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 7002 ] := [ 4491360970764055, 12328942089885, 31447946373683511063, 81285075890286005, 220198526434219186489111 ]; SMALL_GROUP_LIB[ 7004 ] := [ 27565369793009759, 3962567652959, 40785312546234958803, 29419927936106644942784111, 599721101811354719, 39290332102547807, 834771692109, 5600936970335 ]; SMALL_GROUP_LIB[ 7007 ] := [ ]; SMALL_GROUP_LIB[ 7011 ] := [ 386591330880126457, 7946307177 ]; SMALL_GROUP_LIB[ 7018 ] := [ 8516680871, 2852011661, 59714145111207, 19908511171509, 419074566832739495 ]; SMALL_GROUP_LIB[ 7028 ] := [ 17640778375000001499, 3502454187500001499, 10125000062255, 498125000001499 ]; SMALL_GROUP_LIB[ 7029 ] := [ ]; SMALL_GROUP_LIB[ 7038 ] := [ 1773838916827, 1267216276825, 12508767285589211, 85096789955, 12481578537242143, 8915461773384049, 88036730207876882651, 594522657857459, 87845348608216491511, 62747017304294973313, 619602507293958619616987 ]; SMALL_GROUP_LIB[ 7044 ] := [ 249677457612802771603, 1275920175668282220, 248827003277108754323, 64148922514715, 35323415320659603 ]; SMALL_GROUP_LIB[ 7050 ] := [ 91708303405535965129793266345, 646543539009054718111155206169273, 23650835375653821312358585, 4701644668879399071505797953979, 55182431272310419072443, 118991843635245241, 151878746310075, 10149855563037, 1071035143442447803, 71421276990347449, 7550799861543842388411, 3400860960139 , 1070717940687156687, 71387532016554189, 7550798275530065150371, 503519808397681746601, 53233139027523915249125307 ]; SMALL_GROUP_LIB[ 7052 ] := [ 3090333111944914875, 936997880783873030568095, 18841436080622735, 463313660819855, 62233921761, 65420298383 ]; SMALL_GROUP_LIB[ 7060 ] := [ 137519513619518765509983, 1175416525597044087811, 6857283311089852023804391327103, 6857283416480553943303109739903, 2929348683787547287038723455, 970887805315054564505814399, 58770809846086239615, 19486686804826916223, 24072251630243, 2759466055370111 ]; SMALL_GROUP_LIB[ 7065 ] := [ 3354456256319 ]; SMALL_GROUP_LIB[ 7068 ] := [ 566010916617833049601439, 3377561044466518617601439, 3700891047996403201439 , 81040147731648001439, 11267613734401439, 16890818803201787, 566009515448413344001439, 3377559643297098912001439, 80080774996089601439, 477866588217465601439, 3699489878576697601439, 80080576728307201439, 477866389949683201439, 523413984499201439, 79638978311942401439, 11465881516801439, 1482984987840001439, 87245292326415359, 10483313630839257601439, 47845443398426147, 10481738018647190401439, 11714874014943878401439, 74096060742827821036801439, 566012749217976418410539 , 3377562877066661986410539, 119496149041681593017, 79818876184695669029, 8442376762895100, 11330166988801439, 67609993420801439, 2488320001787, 1692057601439, 578272637102198401439, 47845421625626147, 81618095059215359, 401241616171, 81815568134401439, 6771340801787, 11548915201439 ]; SMALL_GROUP_LIB[ 7076 ] := [ 19604402105116417259, 8971204444383092427, 985344793105103164467361679, 985344780147782162770081679, 3871990099554000804001679, 138720823748402954401679, 77331884129281679, 2781152755201679, 179573763567, 391910401679 ]; SMALL_GROUP_LIB[ 7084 ] := [ 4306101384323170695, 599968521239119, 4249882987507259783, 607884170160519, 126655662671, 123819336479570511, 68789309812015495, 877880259698664659535, 5388021822029867, 877136263072331392591, 5360212326235905585743, 6218903759690112395162191, 89107477495535828559, 5388017204375595, 12570912996104583, 422845203159, 12578681209918031, 760593627979, 1773838907983 ]; SMALL_GROUP_LIB[ 7092 ] := [ 46486786003809912513183507, 329684286324752327145998625223, 6622102102596309915543, 2338120958615143108561603385613207, 46977257298760088937207703, 33624571664336637685, 46963949599751866268456855, 333162708761902391599766149015, 11993858232935644055660696609157, 117600496712564060386949728999958969047959, 16756906187526373052168281002594261911, 100834913218041148272, 46487292019284891759548311, 33624312492165779189, 6554891372285832435607, 4776172863040349, 924170936685598615 ]; SMALL_GROUP_LIB[ 7098 ] := [ 17215706184968454766203143999621663, 3305742063095100123269600184863, 21886282171924420758047, 414039542664544620920343071, 21886282432839272696351 , 2938852673832937712869872454175, 465728666700539630196531935, 33895365988363379423, 4775341807634975, 57920286231071, 2921183784942228802079, 11668713067177079540255, 411550804021545503, 1643944334908394015, 21361806765219449375, 3009553016687135, 20855601622201590883721951, 28958248013177, 2918513598640645279031, 11666042880875496017207, 411174297524702519, 1643567828411551031, 2670504562106895671, 147174154988654787109524507167, 588695880781604210616429873695, 587888711264615271999415421471, 20734594958549980115143199, 82938275684522003714312735, 82824557803852950654716447, 20848312839219033174739487, 269302896667958812639398431, 1076472413656897429653850655, 2921188359941382834719, 11684738758077762603551, 11668717642176233572895, 37940672962562860747295, 151658553631615920343583, 246391004979273507179039, 411174077389999415, 1643567608276847927, 376233506245943, 20734594954727358011869727, 82938275680699381611039263, 82824557800030328551442975, 2921188357079432628767, 11684738755215812397599, 11668717639314283366943, 2937209472980961659423, 37940672959700910541343, 151658553628753970137631, 5345262462764190239, 21366378364293220895, 34712736683096607263, 411116422275075383, 58140420934967, 20734562505520333396281887, 82824525350823303935855135, 2921187607564332075551, 11668716889799182813727, 37908223752676294953503, 411553665971751455, 1643947196858599967, 5340693725640624671, 147981114594949510232035248671, 8408533535, 57981534734879, 231606996961823, 4331670905, 57928535510327, 231553997737271, 411550910067771935, 1646201571963570719, 1643944440954620447, 44877351455, 318896386673183, 20416171385, 318578391321911, 2263529658481019423, 4108724341, 318366394427399, 2263526902521307871, 144716471029889, 2261269453517015831, 16066533520325615766047 ]; SMALL_GROUP_LIB[ 7100 ] := [ 14905248533897396893342590529279, 2099330779821012423460929279, 77776334210074662414979, 10950454830784014979, 77748184766201376014979, 10954419992006414979, 1548933120014979, 4164553985672530067103, 2099348825373749221553729279, 41645484342515214979, 210073139233739481375739567213, 105897869467622267628170352455114979, 210073140621858922783739567213, 105897869467720824108510320455114979, 147838885846517307592367213, 74524162944520044849427936714979, 295877660837645734414979, 586944218873938313, 1478360701140419488014979, 2100731391965920799881614979, 95821914367237788814979, 586942712966738313, 13496040469228814979, 82824896019533, 1900239756814979 ]; SMALL_GROUP_LIB[ 7105 ] := [ 4799303991 ]; SMALL_GROUP_LIB[ 7110 ] := [ 7402853663922144947, 52634277116878164426419, 7410422033518235315, 52634269642930718879135, 7402948086072688031, 374229710294730400796416691, 52688097012156468177587, 1043632693630643, 3642736351889075, 142279953341685, 25908439374369259187, 47673023663227, 25900965426923711903, 1009219976813153277, 184209018695937881479859, 336470099784075115, 184155871455652510274951, 7175550803994077391981, 1309726122979575403280836787 ]; SMALL_GROUP_LIB[ 7116 ] := [ 1882019003657521561230159, 13392447229886227495019152543, 265404486788919067807, 1342567816811136768, 264509607309875348639, 66816808670897, 37169797428937887 ]; SMALL_GROUP_LIB[ 7119 ] := [ 3907364692895, 85600883093 ]; SMALL_GROUP_LIB[ 7124 ] := [ 1200195230409218927431, 97788611413807999435, 61000725212891071131101107807 , 61000724652857623811772847711, 95436838311425422161286751, 8550192530546763490072159, 1880477867123803743, 168718731611145823, 1937665836995, 23657038612063 ]; SMALL_GROUP_LIB[ 7137 ] := [ 5777721031900319, 569102630620319, 2179264642780319, 13685983151, 80041180319 ]; SMALL_GROUP_LIB[ 7140 ] := [ 685919030558043152834833231967, 15257001292608680498015, 96067091115174186012717151, 960140633382659405099321913397, 35078869554833740511434741755085390687, 35078869554776109405465873344037454687, 116541869631714710564668669283074911, 134473478316509488140644405, 4913006940452909112587229899850591, 4913006940444837529118200710628191, 16322390704726227310209941963615, 4897461878184457984478004551680863, 326652543620967865992090463, 899480469183160917813, 108934989231029772642947935, 109178930415530881323111263, 777796129786763395944457179999, 685919030592216956087847420767, 15291166725247460184927, 125697277388919797, 15248209949412279980895, 2135603983207633759, 2691156234599818862389, 108872219041067399523603295, 125978748070666037, 15248214734484736578399, 13454146721420796835087, 96062616071534982109147231, 10676961670456152927, 2690653527983716916995, 686136748060939145993152188479, 686136739989355676963962966079, 326589721932873134397018175, 134477065686940038931279925, 4913006908501097529131284983513951, 4913006850869991560262873935577951, 16322377960592772320725645198175, 96062611800257763641217087, 6406282586313725247, 685887078780633500142931084127, 76276464046320297972575, 628410619426512693, 76233512055557574366047, 320174696556666254529375, 544613953291425061537846111, 96062607528980545173409823, 2135603502171305247, 685887078750734559613655646559, 76246569292731300983135, 628164328821899029, 76233507868617295802719, 106726155931227695100255, 544400504750799622978416991, 19211266127206475784122387, 4899016381155105459683581646668095, 4899016323523999490815170598732095, 2331850614600702873022308352319, 960166249004737932568738857269, 35078869326697836358018856429526455135, 35078868915211739740298401547263415135, 116541778638632394399313129535181663, 685887048253813425349599756607, 45749649952870221500735, 4897233742493723214464769073353567, 544614026142954468535178079, 4486851426595442323765, 544307276086581189935108959, 2286567493335629093561963359, 3888544146660695480828099040095, 628093895653220115, 45740858609706033238335, 76233506672316432535871, 326652500663593381090316607, 4488609695254049780021, 2286047333424727129587716959, 544827401836835555374011231, 3888544146660700265900555637599, 4486851426659866833205, 544613953300397073199272799, 3810069913486171487581770591, 27764205207157365738442524758905695, 32036115417233837216821557, 3888543626500784578864124793695, 3890067649080846023222118847327, 16326091902416397548518375428959, 899480503205745651717, 376842230143606528, 18691697677301, 96128119755697044387271519, 4486851426466593304885, 13459046629025708527935, 376912598886539027, 13463317906244176458079, 628164199972880149, 1884422205404624159, 17600775992817, 13463322093184455021407, 628410490577493813, 1885020339730126143, 52785148073459, 1885618474055635807, 87969520161781, 263891380605791 ]; SMALL_GROUP_LIB[ 7146 ] := [ 151819011008681630248577447, 21245313637202757650855, 2974096628074350503, 21252871390403098580903, 2974121416062269351, 418641573898151, 4974122909206439, 13377644586901, 35544458673763882919, 90012266477542333, 254000708244646827532199 ]; SMALL_GROUP_LIB[ 7150 ] := [ 87485700249213, 8128679815427462759, 1136878388385383, 417101388335094429, 58120060680802954548839, 87583529048733, 8128681087400908391, 12485400189, 44877354599, 36723627645, 321122354140775, 12262447575, 320804358789503, 262480749730461, 2296026239499146855, 87509922562839, 2293751618745843359, 1876737691665746973, 16416587620765261583975 ]; SMALL_GROUP_LIB[ 7154 ] := [ 977778403055, 69657065789, 6993897805014767, 492657118322477, 50034370825428395759 ]; SMALL_GROUP_LIB[ 7164 ] := [ 166863471065492118635574998063, 23293299131539747369945775, 23291941815010134321202223, 1195409958161710490431771264757261, 101866419665813315006156717, 3251428799324934097583, 23293227703017325581197999, 3251438751702083515055, 7109099037482630679215, 50943872763333623820905135, 35734467847482372475, 50929587086047885815305903, 364961904475561180012718293679, 13138629331368614087956251835999, 18730901867513920749086208384017950991, 23307515373368839752487853, 107162581269015175068, 454965812544838319, 50417874127978157271133871, 35734195179615265147, 7037670515060841931439, 5024879265341827, 982266514977966767 ]; SMALL_GROUP_LIB[ 7172 ] := [ 3710283262950976595, 407706484246686035, 3195788593131, 56796876810323 ]; SMALL_GROUP_LIB[ 7175 ] := [ 11878597039 ]; SMALL_GROUP_LIB[ 7180 ] := [ 1300745667842530051015, 3352827082287138256903464359, 65037265808900852631, 21566376469992691863, 25755985212737, 3002937607964567 ]; SMALL_GROUP_LIB[ 7188 ] := [ 281948520581664230059, 1411971879700420428, 281007378549066528683, 69567058080911, 39092594260969131 ]; SMALL_GROUP_LIB[ 7191 ] := [ ]; SMALL_GROUP_LIB[ 7196 ] := [ 29040836305743824355583, 208977874318405502448436735, 20334621344080594431, 4037989644514625023, 11132555296517, 560888369120767 ]; SMALL_GROUP_LIB[ 7212 ] := [ 14911685741159470670400360599, 275208162969600001199, 2067405632299598400360599, 14910129419994243892800001199, 287650534348800001199, 1985089689678528216000599, 1435733683631640000, 38187417600001199, 286693553433600001199, 70502400359401, 39750912000001199 ] ; SMALL_GROUP_LIB[ 7218 ] := [ 5230592000160799, 13926400319601, 37753757286400160799, 94648320063840401, 272506626993152000160799 ]; SMALL_GROUP_LIB[ 7220 ] := [ 570272867882097736046705982927453455, 824408980009717238883854871004905543215, 74747392199092146226646953861493435, 6901716044286311571336823055, 1014030173588591645744399, 27495438829683983, 3809870352600335, 1433909274678587109496844987, 4841703386023001583, 664181623699894830051503, 91108869618197155057793005103, 74747466985719628530543663038805551, 12741263543297483, 1747777979338720083215, 521269813766284343567, 198602410751289033404687, 10352824427437555630007822194223, 27507282631204176143, 3801633650109899, 93117916857, 3809868659547407, 526539461903 ]; SMALL_GROUP_LIB[ 7225 ] := [ ]; SMALL_GROUP_LIB[ 7227 ] := [ 5030634538688215247, 97176242447 ]; SMALL_GROUP_LIB[ 7228 ] := [ 106717867496410929311, 107214521170692939605734535, 2052188865287900279, 184159923270515063, 2054185192421, 25451006134391 ]; SMALL_GROUP_LIB[ 7245 ] := [ 85097018407 ]; SMALL_GROUP_LIB[ 7252 ] := [ 1823758861649721707699, 13225900324582410222646295, 1329147899465570855, 95914229161314588225265352231, 9648032659474824960551, 35956717539406313, 67471353464212028332583, 69967532847401517830019623, 13713638368537834658244497273, 5047356624642021335887225683915980327, 3679697783591119593326091804491303, 1824873688751708019239, 35956663361712617 , 251637133204986407, 4961128816193, 34681463642663 ]; SMALL_GROUP_LIB[ 7254 ] := [ 9422245647197184672028259, 1298903577155193628259, 1298903452939814428259, 179060378112028259, 11563748697628259, 5780494886428781, 609180379896366086428259, 3648587400487126022428259, 83978671231353628259, 502976054825337628259, 1298975778189216028259, 83978547015974428259, 502975930609958428259, 179070272294428259, 83883365779104028259, 11687964076828259, 83883242358432036959, 11564543404836959, 167630727123820853141, 4418994475768095482025628259, 26466853003133468057769628259, 609181280990690025628259, 3648588301581449961628259, 9422770295020941993628259, 5781289593653141, 609180379921049443228259, 3648587400511809379228259, 83978695914710428259, 502976079508694428259, 1298975802872572828259, 608489935307750620828259, 84784460103043228259, 1617408028259, 821145628781, 11576896358428259, 69337770854428259, 11548915228259, 4382553628781, 83889035424028259, 401241637771, 83765614752036959, 31773661344053141, 608531189573750428259, 2889242784323131, 607635772598390697959, 230486121077674383941, 4414285249609846881628259 ]; SMALL_GROUP_LIB[ 7260 ] := [ 679809328886479282147700321358487993088003199, 6992496483923897368941718714608649265197953030199, 72944561013334112719126162575019455233013099, 7064310687522121759055886648192003199, 42361429426628893647274752001399, 1205559988111938048001399, 804314857130562048001399, 3211785643018818048001399, 1824595167547904001399, 4472755157597174835105456197090176001399, 4472754375134202511969171889685377010399, 1383947682299364301586019353345013099, 165887521919488003919, 8752366729584222243584003199, 5839327078659432483584003199, 23317564984208171043584003199, 8752365513689909006976003199, 63542137522300896161149312003199, 5839325862765119246976003199, 42393469656586922503549312003199, 23317563768313857806976003199, 23317558794885803385216003199, 169285476850870764449149312003199, 1205560155684571392003199, 804315024703195392003199, 3211785810591451392003199, 1606805286665947392003199, 13246560915539661440003199, 13241587487485239680003199, 96133925158975188283776003199, 8834080369057762048003199, 1216815477852672003199, 32472201061709368260487335619262299072001399, 4472754375134224981199095527257024001399, 42417013111415120764209024001399, 32472196763474310236896187917444461505001399, 10047460173493384829514497312011137030199, 803706795785158656001399, 166055002513792139009, 1205561997971697856130099, 804316866990321856130099, 3211787652878577856130099, 63542167611376831405503424130099, 51286896331599433335727973394168704003199, 93637648734037319723280401824187265030199, 1383947897898805938464836956929013099, 93637656220496775453370660647177153001399, 6169243364264877678626281109297508872469441001399, 72944616288148160088330202868524118913010399, 55735749365496546634839322817409010399, 1057440216167152788467841010399, 93637650552627804406130029366458240001399, 93637648734037336977596627482162112001399, 1776549420206891899462716224001399 , 963153785664448883136389590165660742593001399, 10047461738745331113256556256408449010399, 49534132727107015510784001399, 22847685120001399, 1205559303066747648001399, 804314172085371648001399, 3211784957973627648001399, 166055095173376001399, 110787170795776001399, 442394717061376001399, 221323019550976001399, 1215962954203904001399, 167488127488001399, 5842531347233152304000001399, 165872298689280003919, 22849585408003919, 8752360540261854577536003199, 5839320889337064817536003199 , 23317558794885803377536003199, 1205559988229079424003199, 804314857247703424003199, 3211785643135959424003199, 1606805119210455424003199, 13241587487485232000003199, 166055117947008003199, 110787193569408003199, 442394739835008003199, 1823910145327744003199, 42416777580912683500569536001399, 244703759091577841386368003199, 6822880600956961536001399, 1776549291004856968502412224001399, 134028312845005360300928001399, 939791087665280001399, 15248785408001399, 3407872001399, 60924755968001399, 30543314944001399, 68617773312001399, 26257081010965427127041013099, 165811391562241019903, 13241586817501889281019039, 1057437009964323795125121010399, 1383948733904272749559981130625010399, 251227279872001939, 20062325166836480001399, 5471593407976064001399, 3616678457379926400001399, 190626408139610840980620161010399, 83748721152003919, 6687487467457280003199, 5471593154220672003199, 3616678457126171008003199, 190626408139608998462718849030199, 1203790698947805953099013, 96133920295062932063105090139, 7676992692340990754386086849001399, 10047467808360598337063220900019137001399, 1824260210301440009139, 145685419709105704704001399, 39723768142506234560001399, 26257085600578808066496001399, 1383947938671749963277312996289001399, 22843236608009913, 1823910076093056009139, 3039804389329664009139, 13244129126774741760009139, 145652480711846792000001399, 242753802409086027648001399, 1057676147088107768909696001399, 39756705130299266688001399, 26257113564138546673024001399, 26460110660732193875840001399, 6822883295862195136130099, 22839034624139900, 129447854080001399, 3616680467376374720001399, 497662594909056009139, 22843228928009913, 498165099791232003199, 68525490944003919, 1049088003991, 498165353546624001399, 68548559616001939, 3146240001993, 68617765632001399, 9437696001399 ]; SMALL_GROUP_LIB[ 7268 ] := [ 228513812739026099, 10637501095774643, 399170369931, 1460466051251 ]; SMALL_GROUP_LIB[ 7275 ] := [ 78406272916856368511, 4429847843233059, 1481261313407 ]; SMALL_GROUP_LIB[ 7276 ] := [ 51335502768038213027, 39962296834270857108332719, 754857650490166431, 49486517339077023, 973622242697, 6791116064927 ]; SMALL_GROUP_LIB[ 7284 ] := [ 198709617374712673979, 305336362018012965563, 1447706996278125438224981, 1508944917710852460, 27309072189322427, 304330580714004948923, 73365080521255 , 41779255351584443 ]; SMALL_GROUP_LIB[ 7300 ] := [ 119952218404570960089863, 5068380854416757699523, 6394633810367109063912580290335, 6394633842465387694539007170335, 2700936702408840160316069663, 875651228035075850509850399, 50683744633044876767, 270266663068872605436763234011, 340770131992986264688400618533454921183, 340770131993220582122404191449678921183, 144025104724243574170217248419266015 , 270266664758255691259206754011, 340770131992986388013365883571831881183, 144025104724366899135482286796226015, 184992517204723613827653339, 46759690664714232806739299531013599, 46759690899031666810312215755013599, 98580686961921231201374495358431, 6392253964824989293607236451807, 370228305510542207892959, 694744652118859419, 1849890916905289890414047, 2702666630249017354937712095, 119996915299752663334367, 694742918432661147, 16437929218897100255, 95352740925627, 2251067693743583 ]; SMALL_GROUP_LIB[ 7308 ] := [ 5325256121154880629427590699, 38916971733397140410831509659127, 404903312793781544183111, 284405229427666301097591718040041543, 2959033630534558412653572103, 2959033409001542028001652743, 21624617771946313332972869234695, 404903343016769453928455, 15190269781018421187267427377182381266958407, 2233138097627882416088598907922574997575, 305574452332434641028092627985102919, 405117491596529788103131, 55404729302398294391, 404895928358082437997895, 55405613451597342023, 2958979443558974262213193735, 404903343014918995161095, 38919732767815252810856687388519, 783141464533635826735479, 5325633931038624439978870631, 284425407067193866909188101829719223, 17161767858504826692038580599, 27012265621035864336529, 5723197822782778959060294007, 5724763034765771189167085943, 41825134437855435644656526842231, 38919732768029635756216128533687, 783355642421578920122743, 27063964713085110913093, 7832128414833015, 3695280543858973641, 782705782934715170314615, 107102603564711696759, 80977709195697950075025, 5720013861671388104149719415, 3696291017709889681, 782705812241972717967735, 728692276601999117702699, 5325283584017721999886567271, 535458367607962360183, 5325283155603329501417971191, 107102589747952903495, 38917172432000894245323788678327, 3913779667008711292901751, 18467152275916761233, 3913129836829105090746743, 5478341819821335197538679, 28601901806549493625960552823, 38917169301148338022599272429639, 782927286629902151954439, 284406696133062535834057146759473527, 28601903955654202506287798647, 134957929696866945011313, 28597152847838150613032262007, 40051427676527463594330184055, 209022714107920958141768076908919, 11078674187951406989, 782705753613517500035079, 5721632610682541784817577991, 135009620734732706319985, 40035722019552128884574280055, 209022714107920987449025624562039, 28612858290664903712013048183, 986272498507008178405838449, 209022698402478160695926643775863, 292695833460062793001741590223223, 1441851500712378443849997025373, 2078580977151051199553153216578920118343, 305574454699035203626406470538491975, 73759350835024518247984306907401777, 15203668609475909856519020415860854144461175, 15631966570968239452678718379992506788215, 27063964709384193378373, 11078672337510464624, 536879770393545, 5328765045807304228766243191, 134957929693166027476593, 728740311045751711576071, 3694238488845221773, 729168725438250180172151, 18467148574999226513, 99718154048846718279, 505545335269381, 99776768687305939319, 2526739764894665, 13643309127850359 ]; SMALL_GROUP_LIB[ 7316 ] := [ 72528321303252171, 2426100846352843, 168389463815, 330622748875 ]; SMALL_GROUP_LIB[ 7326 ] := [ 9738874591541457579420695, 71346995259777262613736522935, 9738876754704074770678967, 1329357713636772424727, 181477387503058103, 1329503160508856646839, 181772605625842871, 1329502867268219692055, 181479364988888087, 9739940153752506928741559, 1331666030131145489591, 24828863102135, 34681463684279, 8923840168005, 254349609096953015, 998417557693, 254056368459998231, 65330260949624733, 1863365554412104727735, 7260689408334229, 1861216980265063542167, 478609439370951290877, 13651016052733484574866615 ]; SMALL_GROUP_LIB[ 7332 ] := [ 14631199232644376801353495, 5041969754413856681936295306559, 17065048453541001968235, 49521619314770021, 17053371909565541397099, 2325882903779506795, 1995575870405719432983, 687657474991830198056805695, 12791670301915429483, 1163017285809834823, 14631562269381509235260657, 5041904606640101813577178123595, 93802529706452872075883, 272204056760724525, 93788527749123081573995, 110840784214691464745579, 687760147808104202916581995, 363778948799293434867, 74228858831586412, 7592619151461, 8176107997487904525931, 272203872217898029, 1113540312677450567, 3400860685059, 1115126326454858347, 37145834651749, 151878746208875 ]; SMALL_GROUP_LIB[ 7335 ] := [ 1954294056409841236583, 36343834258067 ]; SMALL_GROUP_LIB[ 7340 ] := [ 1485003284907328302087, 4000271045911862696704947911, 74250145036984445879, 24624174641636772023, 28136521313241, 3353988167559095 ]; SMALL_GROUP_LIB[ 7348 ] := [ 4293751806456007803, 471947279175686523, 3523305778439, 64172761991291 ]; SMALL_GROUP_LIB[ 7350 ] := [ 359824377546791, 19443878113901586335783, 58294630026378258335783, 2645427061751171111, 7931243648482691111, 55502873769988769831, 7551411379275815, 143262269254637432004801023, 2644707217951606883, 360607123392611, 142912504137179374570563623, 428465530693882913770563623, 19443888906761662195751, 58294640819238334195751, 135990858827604588357671, 2645432541049727015, 7931249127781247015, 18502163142166685735, 1052977679021620240853590835351, 19438598054008989280715, 2650464597166352843 , 1050406905408268434531102980135, 3149221650600039447651102980135, 142912583464729830151092263, 428465610021433369351092263, 999532812382927970720774183, 19443929208416281868327, 58294681120892953868327 , 135990899129259208030247, 7735183600334624625414897864163367, 1570716506162533848617713089, 11544766320294659618692626352881, 84854032454165748449122246135267857, 170129849877677768213505320787928395815, 388541878012052998375953, 1061400735702120846645691935179, 145768076684242938112207307, 11993363106235340085309729227, 56746218853912515838201671574446307367, 170129438426034965394476871574446307367, 7720573993729673319142515606419495, 23146862370889190265574515606419495, 54609067851291060064071574064101415, 1050427749132675207122703595559, 3149242494324446220242703595559, 7429805149835558677714263357479, 617058531232750751559573872998439, 19517907951417652054475, 92531995178933848523, 1050411568959975123448420223015, 3149226314151746136568420223015, 142913138634011689043707943, 428466165190715228243707943, 1004196364089616888038017063, 136625355658451402590247, 6663162959802108352514087, 49304569895, 359922389485607, 1079081108768807, 1798484439861777, 2655497681100474827, 19443964440002073921575, 58294716352478745921575, 244635699239, 1799609116706855, 146790975597, 1798924203640931, 13227133936045254695, 1079471950187025, 13222097770271074763, 97219434465583329671207, 48946254475, 1798239290577527, 13227129141653795327, 1078982726571045, 13222094345705747363, 97219434441611372363927, 7934119793592761793, 97182418619746581449387, 714562843322097073802854439 ]; SMALL_GROUP_LIB[ 7353 ] := [ 516864925457492279, 163413729924004482800975, 163411145775253754649935, 3022452260073791, 410426180361791, 58984761794111, 9658781975, 55861243199 ]; SMALL_GROUP_LIB[ 7356 ] := [ 17470075608591669374050187891, 288520141571334808775, 2374958688075361465186931, 17470196109316244117593298375, 323919210750967702727, 2122678928300514034637987, 1585112713413115248, 39252363846157511, 322862658231139579079, 76314065491117, 43889565567689927 ] ; SMALL_GROUP_LIB[ 7362 ] := [ 5437153573195255151, 40028297773016718085487, 5437181505140657519, 741304963861871, 5775262235266415, 15074383565545, 42516756561040608623, 104493407818009945, 313008369420041950465391 ]; SMALL_GROUP_LIB[ 7364 ] := [ 23362879690252094499, 4640090695001430307, 12213500792099, 629824599050275 ]; SMALL_GROUP_LIB[ 7372 ] := [ 224540686519599522911, 1655314438466201107564223, 528645178924205759, 30527079523026623, 741989163953, 4133939578559 ]; SMALL_GROUP_LIB[ 7380 ] := [ 67329771418433345294338628839, 496893713068014829747310594752079, 2106605090967126016068879, 3667075602441949435191786737671681679, 15546748225977808060416193679, 15546745563802451312640193679, 114735001907714217621848064193679, 2106605450937499648193679, 199747285950024726605772694964338692103681679, 28461540132378300000030530922352647681679, 3856577253739033202766307135495681679, 2109204241143300201152039, 285441381105664065759, 2106541705824043008068879, 285448896249856068879, 15546277781562560348160193679, 2106605450921771008193679, 40802189312065759, 9123972635915456514628839, 701800170871853058686403, 497090517012242213685432322624159, 497090511632017427371397122624159, 212350222008946497949698624159, 67334920637216086560770624159, 3898881135869952065759, 67334918037721490395138752079, 1299738727022592068879 , 5179285245235840421893056043, 3668528015550347527730734043138561759, 3668527975844288604733154267138561759, 1567144638426023811058503682561759, 496931714302649413035102210561759, 28779004489493381120065759, 95112085372928126443, 28773743523915104256065759, 47955414149013438464065759, 212389053132788261191680065759, 496931695118378236770783239681679, 9594734369791016960193679, 38223125109832748398809187841643, 27073736754761564754657742811828224065759, 27073736461730849902935604064948224065759, 11565527431584055732518350753792065759, 3667356051553552674115137835008065759 , 212389071389818066305024065759, 701926999141646338497643, 212350227208991731875840065759, 354045693300100870176768065759, 1567431346856857625489833984065759, 95094889775104254441, 9592072194434269184193679, 70809139649032626372608193679, 702243924786282498497643, 353910956422275469148160065759, 1567431346856857977676627968065759, 212484961488026911375360065759, 5180220936502000484354497643, 1567431212122578942497128448065759, 2612857216554745186311733248065759, 12745645850005227420258314176041, 27066027906545426345609863003377671681679, 3856577305529544841458771038215681679, 2082175801164737858718124916346979841643, 1474554948898921930052278325713217083150336065759, 1474554948898921637021563473991078336270336065759, 630024753916399555676062196585518075904065759, 470314302520743811571688935523841643, 199861132110375762797264330921940357120065759, 142307700585324407593509668295282688065759, 95094874046569214400, 67356444137263615180800065759, 701926999110189058497643, 9124289954543304704193679, 31709746692096254441, 9126889449139470336065759, 95112053915648126443, 1236353583939584068879, 4297064448070361, 1236705771257856065759, 12886999040067163, 167505821696065759 ]; SMALL_GROUP_LIB[ 7396 ] := [ 196587772743833965959446771, 20773884333051107, 65420298467, 485921003534819 ]; SMALL_GROUP_LIB[ 7404 ] := [ 2485530866937493104680103, 18402870538633585762213565647, 336823872157171188943, 1637577487660255680, 335732348118640035023, 78328850008025, 45343188776518863 ]; SMALL_GROUP_LIB[ 7406 ] := [ 2526219607, 18711585930839, 607202183, 18667448359735, 138578239359063767 ] ; SMALL_GROUP_LIB[ 7412 ] := [ 409506366679033035995, 57408201943855143999, 22541604028249087976665507775, 22541603863696673227472889791, 46375949315824444140119999, 3035261977533322998556607, 844154600849696447, 55357775531423423, 1049209097523, 7457656284863 ]; SMALL_GROUP_LIB[ 7420 ] := [ 17492340920896058955971, 129793179410766602279773431, 12248917497920757991, 1028928618663896959219, 963396130250288639101358518031, 963396127849563124913236815631, 404635771612812350027673359, 53441865073533084104515681, 7166412892273593845983767270986983, 7166412874460210530707904239178983, 21016003241819223043785680426215, 129793174510666475543146255, 7349477673047045535, 963065391262183723686791419111, 90936053187601707180263, 231236880298875729, 90886972962484115251431, 381717715684487930257639, 674745514651128068798882023, 17503255707616085909735, 231236539636063057, 2358268177384158623, 18736454713135, 2358928479247343847, 31194980428305, 317741071999207 ]; SMALL_GROUP_LIB[ 7428 ] := [ 202529146878768518867, 343435114515428920019, 1504730828181813307920977, 1664325728425699308, 27296768880194771, 342325760851903674323, 79351072707451 , 46084302180943571 ]; SMALL_GROUP_LIB[ 7434 ] := [ 79997897068536891, 35068202651705856131239, 4717272343513208999, 1783296879715322470251, 260697018513788047761683623, 80019362560462699, 35068203920627268570279, 11425858819131, 613047723219111, 53852760302651, 4559944697397854375, 10837763168455, 4557406812566156367, 399792263260413803, 33898632385063258027175, 79975759468431367, 33879763211339485797471, 2972054974214416936011, 252002433162791335796493991 ]; SMALL_GROUP_LIB[ 7436 ] := [ 2479812609225395963, 137351996047323933699803471, 137351996723603376952904015, 239709279076489753332047, 334054388073887, 18439889700205423826615, 3546965161674407, 1021349442607941753478429168031, 1021349447636755693508484813215, 1782478199253767871102079391, 342874011783550797215, 32236326467266905503, 18471224774897886856607, 2484032617529378207, 333948166669991, 36723623613, 334054165120415, 44877350303 ]; SMALL_GROUP_LIB[ 7450 ] := [ 36125907690239, 752303306159, 269133459596260095, 5493985967100783, 2005044651475136920319 ]; SMALL_GROUP_LIB[ 7460 ] := [ 202446118814793332901923, 1637042858880491345331, 11270586005679488675103150819023, 11270586095712819975742067427023, 4555201502437528312976066255, 1510248100901016526755825359, 81852122444763784655, 27147511612383770063, 30027406261023, 3638218574538191 ]; SMALL_GROUP_LIB[ 7470 ] := [ 4920577836258643, 182700595293697, 36768297040378551635, 61216563487367, 36758213865737523511, 1361532998441734561, 274659198783091542622547, 453925796717290799, 274583867385348323365951, 10170647093013182779105, 2051704214979115003154731859 ]; SMALL_GROUP_LIB[ 7475 ] := [ ]; SMALL_GROUP_LIB[ 7476 ] := [ 23501152005610877437662104905743, 430380178900486912483407, 3143546282199848845015771151, 646856462412299309, 430148797988705792958543, 57537298736066076751, 420462435472103863516567, 3143377397434107218179385359, 287656350308739588175, 3143377167284266498925887151, 57537290630103865327, 23499889423217377955220404674639, 2150865328578350167367759, 3232620252054046749, 2150518903528432159694927, 3010703933215470176444495, 16079869196454877116843958351, 4846075298592397703685, 1939293035996206528, 108079496576045, 420715224725469021610063, 3232615523576072221, 56244657486999623663, 87139094148393, 56275438527620063311, 432993483111469, 7523008457482319 ]; SMALL_GROUP_LIB[ 7497 ] := [ 128918879280981, 129158457925461, 17314158069, 386753416470357 ];