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 sml1280.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 1280 ].pnil := rec( 2syl := [ 6732, 10090, 10289, 10297, 27343, 53317, 53320, 55608, 55612, 55626, 55627, 55628, 55638, 55639, 55641, 55642, 55680, 55681, 55682, 55984, 55985, 55990, 55991, 55992, 56055, 56056, 56057, 56058, 56059, 56060, 56063, 56064, 56065, 56066, 56067, 56079, 56080, 56081, 56082, 56083, 56084, 56085, 56087, 56088, 56089, 56090, 56091, 56092, 56092 ], oper := [ 10915962354333126410, 15739503028535007821, 6850769562867085529, 15066335333670161781, 16721730972744769103, 13426880990478739107, 16982109385461325504, 13732323709638782386, 9564838150869660780, 13808686420361584838, 13204508311480025999, 12327951388045077664, 13230334663466773202, 13443713900981336880, 9583209701050128351, 12994794238694086162, 14507105607019271945, 18915181151442154717, 3810830631295707120, 12533381619917721412, 13125856058696346559, 13199841025989119326, 13199887028545040545, 12311272987976333687, 17949055059290093246, 2504073536359259514, 14431891748789064429, 10742536627470196442, 12537217288558169850, 12022227102209919577, 9567361007358903444, 13048930359354110427, 10540920307991649427, 11134770233380515975, 12615545474212607630, 13139684378901219534, 10909489836374140842, 9943079031615723676, 11500427275744348561, 11508786244933949365, 11792931796826792600, 11200505651273694828, 17724300165433414750, 8231343779505479338, 17336517638214135720, 19022342895577000823, 3426277264502424419, 359621479936320347, 7615122876596116706 ] ); SMALL_GROUP_LIB[ 1280 ].npnil := [ 8191264599042098030365480929057901227355952440842210907377119232, 1286555556949468701812825765084809395376775489959436662717655597843488679408\ 709632, 8233955564562491326284136566385665270613142749128455673914070442080560614678\ 87939584, 2210288313660393530931378303365141621270875232629244917668129168474331421923\ 985910281214202490880, 2829169041485303719592164228307381275226720297765433494615205335647144220060\ 820286519558245710573568, 748873896052518802353195942172786101772395076898702371440965238784, 6432793486639138132518754711884534849951142909031378728246072811786605041426\ 59584, 1005122755332374040759249648256237206292496572418369435648598199713438679482\ 368, 6399425468001639086223031975826485333873303207673551662100480, 8191264599042098030365480929057901227355946537884107320320602112, 8191264599042098030365480462499245902409329372111137631221067776, 10484818686773885478867814991999034755083939714734318123662535569408, 6399425468001639086223031975826485333873303207673551695130624, 6102967708589209638808280566329709837870246683525120, 239639646744305343473337122299459167727067513688691699643949202587648, 6399425468001639086223031611327535861258758546913423383605248, 8191264599042098030365480462499245902409329372111137631254097920, 5025607644386286209890220072256875775520717009966098433800154637612984956477\ 44, 6432777784814446348659481692488800992666517772756605995245382186562938485544\ 18176, 6432777784814446348659481692488800992660286207283976262192762442921490403906\ 15040, 8233955564562491326284136566385665270605166345323489615606717111189925979808\ 49385472, 6432777784814446348659481692488800992666517772756605995245382186562938485213\ 88032, 8233955564562491326284136566385665270613142749128455673914070383050979578808\ 31422464, 8233955564562491326284136566385665270605166345323489615606717111189925979808\ 16355328, 1053946312263998889764369480497365154637461292201406670797659788350735567241\ 725126389760, 4426063588381132633286354784060029094534295371776, 4426063588381037559024634109122684819156293173248, 5665361393127728075551531659682944137976030458855424, 5665361393127707793141928008012520190724744442855424, 4426063588381021713392131256259777796384669876224, 392626076301708613954298341979661198698881492821233610299958027652376346624, 5025613776661870258615018777339663343345683108111790211839445669472619486740\ 48, 5025613776661870258615018777339663343345683108111596859325200635754860648038\ 40, 6432785634127193931027224034994769079482474378541300304964785471868831517830\ 51264, 5025613776661870258615018777339660353092134795033106934033473121089345238302\ 72, 6432785634127193931027224034994765251957932537642376682210331332876138882122\ 87488, 8233965611682808231714846764793299522506153648182242153229224106064373263638\ 63334912, 6432785634127193931027224034995309703745006039183918274934736407048186240961\ 57696, 8233965611682808231714846764793996420793607730155573600750272896036622239539\ 30534912, 6432785634127193931027224034994765251957932537642500476214259870903628794545\ 27488, 8233965611682808231714846764793299522506153648182400609554252634739560351539\ 30534912, 4426063588381132633286354778161682676965683019776, 5665361393127707793141928008006621844307175830503424, 292528865648129119845103539886308624334116024799602913902379008, 374436948029605273401732531054475039147668517650861497406013620224, 374436948029605273401732323402400869852878228333009898027729862656, 479279293477894749954217373955073113411684132272160039240358561103872, 187218474018428467992468089380425701403261050216275576714929946624, 239639646743588439030358888586328476818547836194290077337485077430272, 4426063588381132633286354778161682676965699534848, 5665361393127707793141928008006621844307175847018496, 146264432826897240619115694828457579228853481847007234446376960, 187218474018428467992468089380425701412932456768580924094135189504, 187218474018428467992467881708069122514498052813154664862193860608, 239639646743588439030358888586328476818557507600842382684864282673152, 187218474018428467992468089380425701403268605998036482128860987392, 239639646743588439030358888586328476818547843750071838242899008471040, 75355190138535905015366785889363713129098920924856320, 96454643377325958419669485938385552072564663440034021376, 96454643377325958419669485938385552072564663440017506304, 123461943522977226777176942001133506652150087247878290718720, 146264432826897240619115552866838605616116124745978170509934592, 187218474018428467992467907669553415188628639679263719530331947008, 187218474018428467992467907669553415188628639679263719530315431936, 239639646743588439030358921817028371441444658789461972660081033265152, 392625597209499340941695698327637061540198601779845360984802903877664948224, 306738747819921360110699764318466454328280157640504188841941054947115008, 5025607644281591564053704938593754387714542102782020620598148353169350168903\ 68, 392625597209499340941695698327637061540198601779845360984802903877648433152, 187218474018428467992467907669553415188636195465636310962673860608, 239639646743588439030358921817028371441454330196018889693478682673152, 187218474018428467992467907669553415188643751252008902395015774208, 7251662583203465853526612847792106052678224706157985792, 7251662583203465853526612847792106057289910724585373696, 9282128106500436292514064445173895753335697074300100329472, 306738747831793201958859377157910533801386500850759714599034557703438336, 306738747831793201958859377157910533801386500858315500971625990045351936, 392625597224695298507340002762125483265774721098643841248092922978012282880, 479279293477894749954217340724373218788777638270426615198346511695872, 479279293477894749954217407185773008034590626273893463282370610511872, 479279293477894749954217340724373218788796981083540449265141810511872, 3926327130514567442302548976100618394656451355611779837952, 3724955876824468773686694681590506530017689600, 3724955876824468773686694681590506530050981888, 36140821673392013052037907299859328730710016, 59213122229685363264564682859622045126690869395456, 59213122229685474184458906381523950007269751570432, 75792796453997264978642794060315485080211737150537728, 3724955876824382117519332555104643346356813824, 4767943522335209110424745670538554832978582749184, 6102967708589067661343674458289354797562184830599168, 4767943522335209110424745670538554832978565971968, 114269088146355315910976945066194137443093221210670122450944, 146264432827334804366050489684728495927159327561321780967948288, 146264432827334804366050489684728495927159327561321781001240576, 146264432827334804366050327440699918670307332885632865521418240, 187218474018988549588544419124095895897993386098021726398416207872, 239639646744305343473336856478842746749431534205472221448460797526016, 187218474018988549588544419124095895897993386098021726398399430656, 306738747819922077015142742286540679470497255970925907997909213117464576, 239639646734314122668080267619032262415214751780471320004415222497280, 146264432821236647136279460216694496103036348095271422425874432, 239639646734314122668080267411359905836325981227286438187150702854144, 2285423182483394305630673583785847738646528 ] ;