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 col30.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 14508 ] := [ 167542502430614456460225492954585837359, 11548283873078973296141958105837359, 144725052054173115105792028259, 144725048594304183012096028259, 9975534329765157120028259, 9975534091268829696028259, 25677232344312017638617863111, 167540538366381316859108254760409837359, 167541215676595277523353781616089837359, 11548148495064557828715678681837359, 11548195180356394102788295641837359, 11548283877101348178617703897837359, 9347037638705638064640028259, 56032329474979710681600028259, 9979271450775765504028259, 11548148489755022983810100697837359, 795984870763933198187481837359, 647361723394441728028259, 643923796144439808036959, 372525286851273144799833562593041, 2430678130619460144991941959915350617811259, 2430687957036044286308816063537556057811259, 167540538366396604978412332349529811259, 167541215676610565642657859205209811259, 167542502488986359374872134814297811259, 135606822066488023730588160028259, 812917036027152269257443840028259, 578952488432523452779008028259, 321934170202587648053141, 135606822062340616743431808028259, 812917036023004862270287488028259, 135606832037830277954065152028259, 812917045998494523480920832028259, 1967383774540608247434022380288028259, 11793800358681925121537644585728028259, 9347037638991527836800028259, 56032329475265600453760028259, 144779270207767590284928028259, 144789245697428800918272028259, 2100457712344872613250163456028259, 167540538289365873448560109918809811259, 11548148505043142287887689817811259, 9347038326291086572032028259, 56032330162565159188992028259, 9979959036224272896028259, 9391928029979790739968028259, 9391923882572803583616028259, 9401899372234014216960028259, 136258091858946301246169856028259, 647362009284213888028259, 687588650975232028259, 14963578358695856665407029, 144854099466580835790361110359, 322222513972012441893011, 144725057211965852968153110359, 1881611783095570683049753110359, 1881611783317372441114393110359, 2102483854010289442510096153110359, 2102483854010511244268160793110359, 44382567707136028259, 22188632486400028781, 9347034178836705970944028259, 56032326015110778587904028259, 644267827386669312028259, 3862167733388466432028259, 9975811581843671808028259, 644267588890341888028259, 3862167494892139008028259, 687607642206720028259, 643901854462348032028259, 44621064034560028259, 643901617494657792036959, 44384096344320036959, 1287281963353344768053141, 135606771866562190538405760028259, 812916985827226436065261440028259, 9347037638991525037440028259, 56032329475265597654400028259, 144729074429341385258880028259, 22190161123584053141, 9347034178884099415680028259, 56032326015158172032640028259, 644267874780114048028259, 3862167780781911168028259, 9975811629237116544028259, 9341728104146598557568028259, 647362009281414528028259, 1769889318972536025863111, 795988893138815694835161837359, 3781742146306560028259, 343814896304640036959 , 25677554234133086768602593041, 11548206861657937630472862297811259, 54869662724928440832028259, 122000910448896053141, 54865515317941284480028259 , 64841004979151917824028259, 796049066813452093022976028259, 4988776254650583552297959, 372529956828800131668310640490941, 167541385148933359145316759650457028259, 796049079899517322882560028259, 1769989149262046592783941, 795988896233566243218624028259, 940903152872113588320000028259, 11549080051182197499824195328028259, 33271031480832323131, 4988066537945738880297959, 72377165902423971914496297959, 1770277471674220800783941, 940713300238430416931136028259, 11549080051182197547217640064028259, 796178748179711358145152028259, 25679002289090605151616783941, 11549079861330251402102713536028259, 13650622941868624206794335104028259, 33872514135399731842420194693031, 15234095265627582729622963141217910959, 78415296983041178369537160240282224490941, 35267122987525583192635059229539695226009028259, 6388491560294356457413091834480490941, 2873211291690260234412347016383093913028259, 9347047265187753799129110359, 56032339101461826416089110359, 322222513966413721893011, 644611383072782233407029, 33271028681497433100, 44407816814592028259, 266209574879232028259, 1576599552028781, 3105423360028259, 67748542826224335629760028259, 1769989149256447872783941, 4666298727518566272297959, 11092381698816323131, 4669736891736258432028259, 122000904850176053141, 321636246522624036959, 764785152037771, 321873214212864028259, 8408904192028781, 22168318464028259 ]; SMALL_GROUP_LIB[ 14516 ] := [ 494097538102083419, 34363041283419, 31449616656364483419, 1832765213228003419, 11384842595927, 126150728003419 ]; SMALL_GROUP_LIB[ 14525 ] := [ ]; SMALL_GROUP_LIB[ 14532 ] := [ 18810055457108683140349738128610503, 90138112284049229141145495, 1294388622152566179057103443143, 35854582215169468025, 90113239915273976284280727, 6201021369510167738263, 89068706041383922292806459, 1294346460980572753496111944903, 31003418293652595570583, 1294346436176468854587208770839, 6201021138285880165159, 18809442770969682831786927968871319, 450578948944146260811216791, 179225500462530179553, 450541676230198815909214103, 630755893107687879587231639, 6547813286056506947764342847383, 521603031463283523992901, 107527338455447968240, 3082990502602361, 89096414168201002910414743, 179225365581695693281, 6129342774857530819367, 2485661092852917, 6131049518399738705815, 12351230700873337, 421772369438603159 ]; SMALL_GROUP_LIB[ 14534 ] := [ 13809125935057803587, 254937369956189, 950125107298499, 17624667281, 65420316611 ]; SMALL_GROUP_LIB[ 14535 ] := [ 39244493961935279783, 185994069443 ]; SMALL_GROUP_LIB[ 14540 ] := [ 90214525986443296376007, 953619797097810582574237965671, 4510726001941384155479, 1499714897109365505623, 435604684655121, 103131631440366935 ]; SMALL_GROUP_LIB[ 14550 ] := [ 66100001380743638399, 961754922305094377401727, 66126184628808969599, 13993534119589245507462884735, 962136051655944218471807, 65863557695556863879167814575395, 958314764470356936809120563333881123, 8230277555286873943089798435, 2968866457430623761529432040629202303, 204444960751071926099727361109375, 6969209911911948726945611212778879, 14004565592437775546922691967, 19203500176309677013724543, 963644319366915319262591, 21382400417195547939, 4550431951678847, 39100304717044233392295374207, 84873591361979814159651, 2687306036516496884671871, 5831901948952304739, 184668653480252599487, 134634342518689, 2687306166099439774461311, 5833237855578283299, 184694570068829138303, 401815666298787, 12692156641570175 ]; SMALL_GROUP_LIB[ 14556 ] := [ 4126436957431437660369434398667, 15986199800022551177591, 283482558753907614096216011, 4126372125216822782128871963255, 19508014898181531134327, 232714658103314327443497083, 48245256485419617648, 1098715440395651447, 19475854305447001340279, 1173841283941717, 1337971913558731127 ]; SMALL_GROUP_LIB[ 14562 ] := [ 37347444890095709060430991, 3178547372839552745, 2564719451885180615823, 231869884262745, 176125635214441615 ]; SMALL_GROUP_LIB[ 14564 ] := [ 23790041659010883299, 1636381232643299, 263439072768231363299, 29112012046925283299, 55026734508579, 1998039700803299 ]; SMALL_GROUP_LIB[ 14575 ] := [ 11465046485 ]; SMALL_GROUP_LIB[ 14588 ] := [ 4134810658483483897672519, 60318619023875867783498243119, 1422632582714736643119, 283527934868971523119, 189517086989885, 19431350681603119 ]; SMALL_GROUP_LIB[ 14596 ] := [ 569122927102770392087, 255127115220795742183, 121574025957939225757213662655, 121574025820570568328312135103, 331403869317300204564258239, 8306919759533167686327743, 1555571097402215871, 39096624696462783, 1199390727695, 2673202040255 ]; SMALL_GROUP_LIB[ 14598 ] := [ 88456854888327449847343077719, 6059518762639328005797719, 415221383817069777719, 6061400934347444733297719, 415221817728017457719, 28486598089617719, 37999257063326838385857719, 3218069550360385711, 2603045405446058097719, 234174163551391, 178316737071057719 ]; SMALL_GROUP_LIB[ 14602 ] := [ 7702108379903552415559, 17943529517503641, 527469349068136263, 1243603411153, 36125907734343 ]; SMALL_GROUP_LIB[ 14604 ] := [ 290102880994008314668291263, 4236662474031356999099278690687, 19897401157570434959743, 49046518116407930880, 19864706429042758257023, 1189414421564225, 1360200337700424063 ]; SMALL_GROUP_LIB[ 14612 ] := [ 187469731879500189022679, 7391369420865888113611, 40056601737928956090713582083359, 40056601855515997182559726083359, 30348187982727429875182083359, 2739307851425326530603523359, 142139060153466883359, 12839411599400963359, 34814115918131, 878220492803359 ]; SMALL_GROUP_LIB[ 14620 ] := [ 6865563079383116349291, 4315887480471898015805673335, 20191815468358674251, 1373068793166972358719, 863192506086374216774229599, 1467736618047348691085074629333, 922707299123194816854344232758850539, 1467736613928236261977347064533, 922707299123017695019892600473564139, 341261600096560749610664661, 214533475950593651376056841368555, 4038433393426429955, 100374533269234876754625237, 63098274964544920451410260005867, 295271709381113754568523, 469684406012330769, 295204345620390438484811, 1003691680112242820198219, 4316872391151552327879389003, 18785041933753191146315, 469684288912986897, 1283781410585108483, 6440463941145, 1284886293079953227, 32135405661045, 87807779432267 ]; SMALL_GROUP_LIB[ 14628 ] := [ 67981950479508942780227, 994440068164530183602347447, 101418722310622416647 , 994439971568970617462817447, 4829765763112033847, 14546669317110746452814395802375, 1483659496813894493933319, 1913698486234061561, 1483553073994071846981383, 1624843398971383083634439, 21702971119395598976135925511, 273371273633315312, 68080733616069323099911, 1913698145571248889, 4647534737065762359, 6277929035821, 4654137755697614599, 130863186187521, 317741071994631 ]; SMALL_GROUP_LIB[ 14644 ] := [ 1455758374584194388539, 290133748879976218427, 192449598695519, 19808053111819835 ]; SMALL_GROUP_LIB[ 14650 ] := [ 232519388272743429514175, 163647498235333791, 15871629831087856575, 11399281464095, 1083396983753663 ]; SMALL_GROUP_LIB[ 14651 ] := [ ]; SMALL_GROUP_LIB[ 14652 ] := [ 38537272383755904239435604629689022855, 564648114966791653970314546478255970899831, 2630028032402432394487432023440567, 179499582744899075573349688343, 2630027886388142634987980162137271, 179499592711908470461628742839, 251301375264524139554680706291, 3682067750385690901355121087178919, 12261493808941304559746231, 3682067750375790947311981152901511, 12251594530524592192152599, 53949656678651143080795674500295341943, 179655419727435889232553491639, 179655407287299945911422598327, 179691668343971452527641148599, 2632311209846389106765653682994359, 12261494658038546563644599, 12250858779041254059353111, 2630027923619328168499712343216995, 54392822727505724439178595, 836167736146356386999, 12251528323691375206907063, 836847927060096662711, 12251527648064947639870487, 836172300632529626135, 179509392997540446459561295031, 12261494658030187719474359, 17151503247794794932049139, 251303835470159194859097385127, 11136768117092042980535, 251303825570205151719163107719, 1237489700379675386903, 3682103797308766924775401171498871, 163188367369604039580892343, 301016699609438840733, 163175927233660718449999031, 199436983905167334668549303, 2391035958699986194821836487863, 3682103652254638257809795986603607, 18134240729517717084073367, 53950184838168052988051246534448893111, 2391035998363306688201216801975, 4410496488577054698172413, 2390853685830232765189715705015, 2922731835151026561467299183799, 35033459448019170110673664267566263, 100332817046034651541, 18131699196364680753737111, 265702895168765771165413567895, 4411232195545376909488125, 2922150688181208938736883383479, 35033459448019170279579992531188919, 2391434830325399690348931366071, 64622593814675651807922941949, 35033458866874675112654833315527863, 42823866848632841985140057527860407, 105218347983361364171759605949413, 790488874297748484180625702948154487193175, 57041390870881291664558267467049057879, 16958251329901361272465032385303943229, 11590600690764184137535405312349429949552905399, 9193475012613500006346622578199034079202487, 12254069354543075952864611, 100332808687252627056, 57205700476058807, 251452312274169261943837998263, 4410496488560337009831933, 17151737520118126654418327, 33450357401482369429, 17161637474161266588695735, 301016682891750500253, 1170607240735123104791, 2283636227369149, 1171282867162690141367, 20543809945387077, 79889374528978103 ]; SMALL_GROUP_LIB[ 14660 ] := [ 23094782136043078105320203, 94779269912425508269491, 4964284374855282700431661042998383, 4964284375708276727237956334492783, 1018477112645240716788877958255, 338569509272951064122935958639, 4738963188287183416175, 1575631822935371823983, 450184339409463, 107465432894155631 ]; SMALL_GROUP_LIB[ 14668 ] := [ 28593179382102337622207, 419404786688885868730518911, 33485264422346689919, 1951585006409223551, 11871826513745, 132938364620159 ]; SMALL_GROUP_LIB[ 14670 ] := [ 594475267027335149259693918359, 8720952167299735474870691491235027, 594475275824805060529127634131, 40523194757720540478011543, 2762540431551028189331, 40526467139284785402699923, 2763140034394264064147, 40526466543330959672486999, 2762544080568533851223, 594523272932807432947241428115, 40535264013695678443984019, 188406414618773651, 929396743700539367619321677459, 1180390871224475058755505 , 63344818022256817525940831, 26823427818342363199, 63353561260834106236544147, 80462928292497781041, 4317983465751443385431, 1842361093294327, 4318579419577173598355, 5498519533304817, 294335036298254483 ]; SMALL_GROUP_LIB[ 14676 ] := [ 20493611171773779349387, 50268338524609416588, 20460101954967631682699, 1213064026424927, 1394095991477259147 ]; SMALL_GROUP_LIB[ 14679 ] := [ 1575993093533 ]; SMALL_GROUP_LIB[ 14697 ] := [ ]; SMALL_GROUP_LIB[ 14700 ] := fail; SMALL_GROUP_LIB[ 14703 ] := [ 9286940809647, 649108079, 37049486989743 ]; SMALL_GROUP_LIB[ 14706 ] := [ 40861668664855310336093543, 379981902336815355824793734331679871, 379978897880508491076701292638946431, 25838562650423968676924790830207, 25838358349029513029699682595967, 25839202754042270898630379979903, 25838562650402241162671626820735, 25838358349007785515446518586495, 1757051730861211912546032767, 1757008201392151574921683775, 119475603367613721006911, 119475601890162935135039, 2778571246124588670311, 1757008204163381061209181311, 1756994311779697146669190271, 8124276329808964415, 1102208230235568959, 188971458345828119, 238471102657224098956010303, 34169708201576873847776063, 16215906731011015775039, 2323523047096475783999, 119475792302202501915455, 16215905253560229903167, 2323521569645689912127, 8124288859438758719, 16209073585171335226175, 1103685681021440831, 16209072111994675433183, 1102212504361647839, 4631329917716187395111, 3506956035677136027751855650623, 502499728812387935310162917183, 238471124384922495020377919, 34169729929275269912143679, 1757011001596586436052973375, 188975732471948327, 238471102657408241856368447, 34169708201761016748134207, 16215906915153916133183, 2323523231239376142143, 119475792486345402273599, 238370636142942129662342975, 16230801283567399593791, 1102672930617486143, 157998397507562303, 12981298769687, 75077407976255, 279550442570367266849210687, 7872949170169460092103, 18987612011097228692255, 31495599933147799, 19009278020233208248127, 535356277512909863, 1291147293884288735, 2157973728583, 1292620470544081727, 36417896021783, 87807779502911 ]; SMALL_GROUP_LIB[ 14716 ] := [ 7713462484370457781535, 32123104983638350774878240071, 148333061297910453047, 13399522417121910839, 35819513165717, 910058476556087 ]; SMALL_GROUP_LIB[ 14724 ] := [ 240655815008137383509317400945111, 3543416220179813506504760804954200367, 2089333003824554635425910127, 32852612969461773219329828759, 141899495841037855919471, 2089327549418502347431251311, 141899865585509795532143, 16345040006930044316995838423, 240664369060880136125693139212591, 1115576160098850749713775, 3543542170052399092200807800072572271, 16427979806454038450820779375, 2727953730429069675865, 16425743502046714910808903023, 241885574670155879811114200108399, 8707880808796067156200663095851929, 768244858258281710605200013727144785654058351, 52439867618101528729824657414149005118831, 2091564005669244056010844055, 8182344587766543626688, 9678477605996760431, 16345432901904714975629446511, 2727943600443537083737, 1110121754046562755054959, 186681161958101737, 75391693755921894767 ]; SMALL_GROUP_LIB[ 14725 ] := [ 6246804239 ]; SMALL_GROUP_LIB[ 14732 ] := [ 756235041398001494559, 1414835124267387916851176663, 6519021494539989959, 238084882936705223, 3492368457633, 16139097583559 ]; SMALL_GROUP_LIB[ 14740 ] := [ 194686054560313207237332168943727, 13208009129532577970466265199, 280911247581316822919723, 19054970704571549087, 280870118732856378896939, 19057755972369883691, 896229065033524683965855, 1302906774762911, 907505506236781527, 896066364149361604578719, 60791478422095480223, 66684205024215, 182371760524351931807, 13374133794371545788783, 13208018045420072076590753903, 2168473122536137570543882743, 2141505333727108165374742824682943, 60791476498512669227, 2688808772708254970979743, 2722625120991566547, 2688159783681561872632223, 9856533296851472973786527, 39633041309715512352659713439, 289948759387013873521055, 2722623998901578451, 19662628038068646443, 61714949388777, 19670876361272544671, 184824250913751, 1333844398720415 ]; SMALL_GROUP_LIB[ 14748 ] := [ 310733841709195393295366235, 4582702697521814576142987840151, 21104634890717940181399, 51514388378016465648, 21070295033540308187543, 1237064566382021, 1428664035423299991 ]; SMALL_GROUP_LIB[ 14751 ] := [ ]; SMALL_GROUP_LIB[ 14756 ] := [ 1300404046185125261115, 594821889974212333138035479, 2731804715404804979, 910609279372813679, 19188762502059551314683165, 8777191808471861981914613104979, 40325819953906137604979, 88156227398426265, 40310511200119958404979, 228425429314787155204979, 595047799239702841324804979, 2516711022133776004979, 88156205625626265, 170431610630413679, 1993766414375, 170555031302404979, 5975078405385, 11548915204979 ]; SMALL_GROUP_LIB[ 14762 ] := [ 85367241295614752999, 882239454932949, 5782902750752999, 60134435949, 391910432999 ]; SMALL_GROUP_LIB[ 14772 ] := [ 2165353538749565762459, 21311651916323052482459, 32007941898789046665268229 , 51935184527596541100, 147073400040962459, 21277031548417544162459, 1245143328551671, 1440337854484802459 ]; SMALL_GROUP_LIB[ 14775 ] := [ 133969415066838207 ]; SMALL_GROUP_LIB[ 14778 ] := [ 41406646757251365651874039, 3421621310489896421, 2801911389077348514039, 245954238783981, 189601781274274039 ]; SMALL_GROUP_LIB[ 14780 ] := [ 99534887363167832856855, 1087161770506805972578905845399, 4976744050623202079111, 1654724571573312286343, 465126952545957, 111943717244087687 ]; SMALL_GROUP_LIB[ 14787 ] := [ 15208307273 ]; SMALL_GROUP_LIB[ 14798 ] := [ 8460111114431550113399, 19187304303353255, 571706318700113399, 1312200134855, 38637000113399 ]; SMALL_GROUP_LIB[ 14805 ] := [ 3400865242927 ]; SMALL_GROUP_LIB[ 14812 ] := [ 26305119639200599, 85483306672437737405736484155, 143830255267780663, 48998937145448369353559, 8947653684600716453719, 5771220146322932222234455, 1266178756543351991337868074803895, 389631572379968143191, 26274042166292535, 422845208967, 26305115021546327, 1773838908247 ]; SMALL_GROUP_LIB[ 14814 ] := [ 599259367377142751183, 8877427378653682478207183, 599259827578401550031, 40497710774975951, 42118651857650372894687567, 3463540417311838699, 2843165357440780716239, 248362585464211, 191925839265454031 ]; SMALL_GROUP_LIB[ 14820 ] := [ 1276960809533880352956313655, 5328722321772749969267364216449899391, 5328729203346202372489608403626859391, 359562909701296370455050194066303, 359563374044984116961274498194303, 359566624286304121136893961280383, 696813298296667871475702635, 1161156986043174095779830635, 297766676906305994398571, 359562909536802149087238842325887, 24262004723282255297058249599, 47108815775703246871403, 98063118345449571240366406258991, 6616944558782451013789798703, 280525622322572968577818649740892633, 1170637794429290300748376688536527570153732851, 1170637794531275219312992442195381532700932851, 78990404482408252874412014705392056466163, 78990404489289826326815236949579233426163, 78990404733583246082768957460285204953843, 280525622322596467752299748234025433, 1170637794429290300748823172851668441523256051, 1170637794531275219313438926510522404070456051, 78990404482408253320896329846263425989363, 78990404489289826773299552090450602949363, 78990404733583246529253272601156574477043, 67095573418945803324563330095577, 279990058394643682993159735831480623397619, 279990160379562247608913394685443170597619, 18892716490868149243478404365822130931, 18892723372441601646700648552999090931, 18892771541017964108587199924427258611, 78990404482405815070051345547592559983347, 5329986807180341800230819221714172659, 78990404482405815516535660688463929506547, 5329986807180788284545960093083695859, 4527366628518183000274262489, 18892716490866645296311614070968761075, 18892723372440097699533858258145721075, 1274812178871015345604780471007987, 1274812643214703092111004775135987, 1274815893456023096286624238222067, 18892716488430344882809246566325648115, 1274812180210468291027263972637427, 47028476717648209290491, 18924559197305582704446878964185, 78971664808672154544803411023732857600755, 78971766793590719160557069877695404800755, 5328722321773212471217437883310734067, 5328729203346664874439682070487694067, 5328777371923027336326233441915861747, 10326773081139234209823071312747, 17208346533542456454010248272747, 17646697635176268705948408683, 15686730026374833941645, 10326773080756592412154092239723, 17208346533159814656341269199723, 10326777247943514753426483764075, 17208350700346736997613660724075, 153042777062483450944129096035785579, 255027695627099204602983058582985579, 696813298322488885313157995, 1161156986068995109617285995, 4412902151759043644301687659, 4417069338681384916693212011, 65399215559820455845923189873515, 5328722319335408110548280083814251251, 359562909999304099160905703160563, 696813579483370994450209643, 1161157267229877218754337643, 298047863609428968905579, 698153032428792633360292715, 698152649786994964381219691, 702319836709336236772744043, 10346627940594677893540286749547, 47108841596717084326763, 3171887148705553259, 1057487424004332497, 696813196822599868070812523, 1161156884569106092374940523, 47018441183922965207915, 78350673825387622718315, 297665202838302589508459, 47018434336366528076651, 78350666977831185587051, 20085371940516698987, 47007341707699841981291, 3178734705142684523, 47007336286710769444091, 3173313716070147323, 62670280686876430232717, 10326771576910906537157867010923, 17208345029314128781345043970923, 696813298322488754706217835, 1161156986068994979010345835, 4411398306073168648076458859, 1058486018547412109, 696813196841573325471136619, 1161156884588079549775264619, 47018460157380365532011, 78350692798845023042411, 297665221811759989832555, 696648804101119968155990891, 47108841596586477386603, 86165754431252971221047 , 24262090886922019063652522879, 110466811277235493739, 23499703223704724055663, 6617030722422214780384071983, 18928854376403495683902226225625, 5329986808457286941533711077336644339, 18928854399902670165000719358425, 5329986808457733425848851948706167539, 4527437126041626034539780569, 1274813457155609593919119595109107, 30127753222197912827, 1276976494151171658198473177, 359564186944445402052761325632243, 1637500809031067878988651, 5815401979303980173, 1637118167233398899915627, 5804305089574671291439979, 24267761989844525030496197483, 10042988708438528615, 1276976480408037084864056789, 359564186944184282495867967941771, 1637239707092389006853747, 5814474704857373177, 1637118149615184414172787, 1934774358353786088916595, 24263892459113304145293674099, 348265601511316115539549773, 98064395306297166754861619575931, 280525621858299805843796386039273685, 78990404501336992473529705075220814956459, 280525622206557571653676054267369685, 78990404501343609371080092788917148780459, 67096618207936838331652541585621, 18892735435046134182004778428029142955, 446534527658676983921699, 18924791643320238407084557015253, 5328741250516680858537090405998856107, 24267762633607234800919223147, 86184255393453945644237, 24262091238440630162466392939, 86029341990861073643662203755, 359648242230059223332562972433259, 2642839322796855345, 446493303818538356284451, 744149512557140031028259, 6617641699900270975678921763, 86197996673543690503373, 86019801427539254736980405099, 24271631520594719338270538603, 359648242230059242306020372757355, 86184255393584552584397, 24267761989881116700205493099, 143366246864215155191402724203, 5329986949849477689811010617996868459, 1277250636387475803372528845, 359648232689495901513656290634603, 359705579134932577414110712953707, 1274954848304561135890935591598955, 696813579491570408907576359, 1161157267238076633211704359, 15686730095348361332387, 47028476786621736648185, 1585674994243302252, 3172637198241504107, 5286822936531966827, 73557828705233, 216215435877227, 1975098173775121568821807979, 86184255393192731763917, 133192119261144078867491, 1585817651848269873, 133272463740188188943987, 5814474443643492857, 8985967037489943143, 35681816073079, 133272481358402674686827, 5815401718090099853, 8987322284758066427, 107010619647465, 8992743273830603627, 392325833989073, 606312244747115 ]; SMALL_GROUP_LIB[ 14828 ] := [ 480673175137842332992079, 7127422101786743109482253599, 293484584813948046623, 32435422189939854623, 59139151738809, 2186517185301791 ]; SMALL_GROUP_LIB[ 14841 ] := [ 1481261296127 ]; SMALL_GROUP_LIB[ 14844 ] := [ 4826926912973705664171400176995, 5305017994156817328551, 325183904053497270305465699, 4827029871764536250597658192551, 21942883769755559291303, 78769658445392327902289939, 53214098722844321520, 357882671611185575, 21907410853091285350823, 1269617158744765, 1475817920222996903 ]; SMALL_GROUP_LIB[ 14847 ] := [ 2280862401990505, 156801059905, 760529601990505 ]; SMALL_GROUP_LIB[ 14852 ] := [ 1000630075768730627, 21740624945189123, 854011378083, 1460466053123 ]; SMALL_GROUP_LIB[ 14859 ] := [ 3020338705886334972719, 44879213073421829152867571, 44878757192847711153087731, 487065826365755363, 203290762969697507, 34548295140658403, 266164061069, 13687182724067 ]; SMALL_GROUP_LIB[ 14860 ] := [ 102814460531500633719751, 1135172326076870087560581151655, 5140722702099438604695, 1709269362094061706903, 475293286524353, 115011275342859671 ]; SMALL_GROUP_LIB[ 14868 ] := [ 520800051566001368652286119, 23224559393946552145902469220519, 8828306680929222460335979, 7743255166678640861846140528807, 7744296416607747818204246296743, 115126720959364842442905108808976551, 520870084518157554070685863, 8836615752754109848417693, 593701699152432305211 , 520658808162660805365844135, 35018752705290260416679, 26475423724434289447184235, 7741155159759946681151199439015, 593781525241553233771, 520658812872970180229245095, 175084656082084909254823, 35018751613784707808335, 2603369952151753443821062311, 2967777723049095473003 , 2603158680506566069979621543, 3644408609613522428085389479, 38706904448600278920063668177063, 520730018612597748317384799, 38706905150107300016880736962727, 44124915243283737624649803, 38703763261818402209585125406887, 54195497214133266305682692425895, 575494265771795344080149663174674599, 1780538878951875039239, 520658803451250179365310559, 7742213916730691410808079364191, 44133223678838851838279755, 54185067207781715999025622243495, 575494265771795348790459038038075559, 38714193198141710596339750906023, 656049231524132975012817608779, 575494255341859025482072283412576423, 805778652579733417745680759742785703, 1951037933787714283966311166769843, 1711473864490998996783542562051852825895, 203056220979533116012583477897881885747, 178123353253466834866912252488352025487056615, 8836615752461742289679773, 1780538732768763343484, 42412787187782715, 7480860394675496951448880707751, 44124915242991370065911883, 503011686487288579525759071, 593619378193477963783, 503151761812385375038531751, 2967777430681536735083, 33831832113026310732879, 39937408523815111, 33841252741521622812839, 199609077935871035, 2275340780292769959 ]; SMALL_GROUP_LIB[ 14883 ] := [ 2321531658366769 ]; SMALL_GROUP_LIB[ 14884 ] := [ 86734230798886772459, 78743782618421409781923599, 355448716508163599, 19292205435476828182538403599, 19292205492806425622866083599, 391910403599, 5850903559683599 ]; SMALL_GROUP_LIB[ 14886 ] := [ 43574195587022710725552919, 3548611166441204543, 2927193022188467061399, 253232295219471, 196642324188311959 ]; SMALL_GROUP_LIB[ 14892 ] := [ 7433660603207635006570324487, 1650271660702092299785183477425124991, 1650271660702225879981532692363228799, 1707296057174227056506679001233023, 114645182838704098028610532991, 110702073703450358404983455102591, 49730710033956228569279, 3306970015793682623, 49247310483160213493951, 3339432423013226687, 499180379118331575886343, 105463715523305421131727, 110815985945295777090416013883007, 110815986078875973439630951986815, 114645632793049693650505315967, 7433794688117585333343368831, 516953476320039278783, 7433794205597376894785416847, 34465667009149481039, 1570565651334921509877112407, 1650271662697344712365904728605104319, 1650271664686620996398413586847013055, 1707302763554096091296187336136895, 110704070495447075225305463691455, 7699023512011472577239231, 7082064653951802903, 7698471190259655238490303, 8724929536524742425581759, 114653858140883746773887097023, 49317149109219959471687, 1416336797232077760, 229837256005823, 499685092713559325939903, 7082062920265604631, 33521526396350967887, 31949360022457, 33553925524024203455, 475773026707527, 2251067693734079 ]; SMALL_GROUP_LIB[ 14895 ] := [ 5697980018189327219, 385566671567219, 1809810355727219 ]; SMALL_GROUP_LIB[ 14900 ] := [ 37969861285918430794005251, 774875673895069539818355, 8431008915162513162579268968823823, 8431008899407060394651662000503823, 1720300955399877607907680762895, 565750938317970070104008735759, 7748754393520340665087, 172084025679954057762523795541887, 1871768411451070229659897244390954719368959, 1871768411450835473413655123047126751368959, 382043745404215086358266053989894313727, 172084025938240168712156696661887, 1871768411451070268144527775886256986248959, 382043745404253570988797549292161193727, 57727720742278237986361560959, 125724560509889982645798417203048601343, 125724560275133736403677073375080601343, 128160158203994704058720878223546111 , 8429688980963582451534922636449535, 115492634682211561191703295, 52021443191413023599, 577272006684333354039640831, 1720840256766604535365769462527, 37975809493136179106317055, 52021379568055100271, 2548711885641934177023, 3499284685870511, 171028675149103871 ]; SMALL_GROUP_LIB[ 14916 ] := [ 7130852529893925624162671, 106363800227485862997539517535, 4380125551111683716447, 106363796333808405095059091679, 486709116032675592671 , 1586522444193179081759209223632223, 65338827968507690520425823, 38765084624245047161, 65333952911062732638270815, 79852502732212700786472287, 974593957978318847083989185887, 12920921888359132928, 7135172653246997380216159, 38765068833663565689, 478095932446554044895, 290997858855313, 478356955270037386591, 2600934349758873, 32052624610047327 ] ; SMALL_GROUP_LIB[ 14922 ] := [ 561320010318793138927273221767, 37616942120927676275064455, 2521098152791294155911, 37619825713340662251072647, 2521098626576918580359, 168998580192214151, 44317991367102958563931271, 3591768819328719085, 2969976618766326606983, 255693830424805, 199035084699376775 ]; SMALL_GROUP_LIB[ 14924 ] := [ 14573978223077069137639, 4110490473922662782411, 3248342810239464218473369920479, 3248342801645011777218253120479, 2515096634405422543769920479, 217502061255090575872320479, 11292346535116808479, 217502055095251835392704239, 5132920514150417839, 61344961122251119106496211, 48478268100013817374764194304008479, 48478267971750209141472831180808479, 37535302171919910570318336008479, 3246000762224353151677337608479, 168592729398404710408479, 275530652057662611 , 168526983183220736008479, 995836444900845158408479, 2516077893541179365785608479, 14584498717795942408479, 275530560307262611, 976838321766417839, 8401715219165, 977251041280008479, 18468044809571, 65444249608479 ]; SMALL_GROUP_LIB[ 14925 ] := [ 16002892168104204721115, 58733440592404449, 71658933273179 ]; SMALL_GROUP_LIB[ 14940 ] := [ 213459344020648259556001695, 264693711690581845269006905555295, 1185884598670634623763795, 395312080958826104568119, 3189082597289774038633741141741, 3954524052657292566399629847171336667, 17718706579038633964278842707, 14289051578115870226849, 17717116015503082972436440403, 29528269377200418040423859539, 264717476290886337660415286396243, 5906762591906502878778873919, 47644894003508044388265604872220137, 59080589346699950943048191009213376897427, 264717481834365377920750224672083, 213478396991639237260735201, 264693713271991424573893280937299, 441235164072298832821000725349715, 3954879178605418790631689445628462419, 14287775314332272692527, 5905962547972163179270371391, 88247033123079382742513096071231, 213526018654946501897212641, 441152344495758330276500976850259, 3954879178605418843548151048959829331, 264776532058012325907100695536979, 3189367203396074214767147348705, 3954879095786632822646817841545229651, 6592053351240144677197467280391693651, 15884466177323365903073084956052235, 19697055482408277970536705017655705619799, 10635461087105719035909604068348055056362985, 13188184457232800280086428316289400132694169035155, 1186569605376057782066244159369741151721, 1471370039388864845056671589228750695227138451, 14287774146950407034892, 86121027099489206483352342656339, 213478396989304466024198881, 5763669019752963173550143551, 4763441602232288955695, 5764459645187175498253559123, 14289049243344633690529, 385787747246726120831287, 318929750911439495, 385840663747242306127187, 956477949901610497, 25820857710518797651 ]; SMALL_GROUP_LIB[ 14945 ] := [ 53499546359 ]; SMALL_GROUP_LIB[ 14948 ] := [ 1132593271273700350099, 400432287619300990035, 253672680105490494334500003599, 253672681032152076363300003599, 604518313363179172900003599, 16930006846927940900003599, 2705473494400003599, 75949419200003599, 1795200009935, 5072000003599 ]; SMALL_GROUP_LIB[ 14949 ] := [ 8051403398999 ]; SMALL_GROUP_LIB[ 14950 ] := [ 5929610122679689540644219, 207640196334326801265, 396397123417589465995, 3788271781181825, 396629439619949623163, 13888976231541961, 26514856794593771 , 253971022693, 26530393222220667, 929467872333, 1773838939003 ]; SMALL_GROUP_LIB[ 14964 ] := [ 124649426335564971706633058995871, 8329953665183121319130496671, 16818663955093082839931, 1121544075379104635, 16782779769795867214715, 1123942261577364347, 12946213203090159484071, 8329956542005448852909117087, 37200376594316761979, 1377876345790548575, 193727134354954916414292621, 124649469694569540262783191222299, 556705076354014854134651, 865185231780954825, 556666436775951801495419, 597900889954771361670011, 8330534762562212113722270587, 16785597035479567469873, 96126943396336524, 75478891367291, 19695488864495926941563, 865185114681610953, 1313797385028973151, 2157973672135, 1316191297101136763, 57830347398585, 87807779429243 ]; SMALL_GROUP_LIB[ 14972 ] := [ 33030532033701576169683, 494533161263293248455147207, 37887059759297097159, 2208546681066503623, 12892493231453, 147390004604359 ]; SMALL_GROUP_LIB[ 14980 ] := [ 1757197404163238270503, 147605933047962477277999, 236591545859385550114094341199, 15477859634011293142830658699, 24808525159868139431278155132188359, 1054327654628703104283, 26329852275472208185832999, 16426809322032179655, 26322817478741651368487463, 110554727887592998509256231, 394421187086511375122692693543, 5167850326121379889189415, 16426797331531004359, 344936381988828108059, 659477564708593, 344983302532855758375, 1097987321954091, 23023475185341991 ] ; SMALL_GROUP_LIB[ 14988 ] := [ 5214979726694817035413696792799, 21483702012587557259711, 347934530624167536348350687, 5214842744989169798632688323007, 23252162975793376397759, 322021007792202747293172959, 55847508850669206528, 1433911142765300159, 23214934576466900289983, 1319645379804961, 1548875543070378431 ]; SMALL_GROUP_LIB[ 14994 ] := [ 1245362435428479581584170837, 15123122250986510162543761233247, 3956922957386190233429, 1008611594712620715284174175, 67267680052757089293663 , 200238860352714116118674511344223514965, 3002381472128595457083586486703408090783573, 1846458942230699861, 263865344509154805, 67240248450993814050143, 4484476998449698143, 59330094892766498392186709, 15123122250986510162062724896095, 177934910976697688328838997, 45355252661148402614535519802719, 3956922956424117559125, 1008611594712620234247837023, 11867074756072722997077 , 3024893468139450463170925919, 27686850800765984907093, 21171019019551747360069588319, 67267680052276052956511, 201740260646302345401695, 1846528701089521493, 1411966054391222378763615, 2668312023877385505724472357205, 40008670486017699139531792575438677, 11866546708956284280597, 1008200285275071224641311071, 263900524586295061, 67240249049125992091999, 2668786288897190235033651245397, 226756095031291733382851940847785311, 890425676534725973123486839125, 680056658401259148815229027677705567, 177990289952858639228334421, 15123122251121040740150268728671, 59385473868927449291682133, 45355252661282933192623063635295, 1245370353493842030965682517, 105813346308025666663328713348447, 3956923202712574751061, 1008611594716807173452666207, 11867075002361180189013, 3024893468143637402375755103, 83057913644594680164693, 7057045905568122696812795231, 40008670486017518176278593668059477, 599890005267349380898158690359457161045, 264146879615410005, 17729625069045, 791701354715357013, 13342747650891979837127354553695, 296650480793992532841140565, 889872333476740685227168095, 19777226309235303117077, 59330623607619411333407, 263830026993360657, 889872459043079639571436895, 19784612564467911356757, 59348561656041460289887 , 1319009345937170197, 3956957643297346847, 17600776066545, 59348570029922017416543, 1319501927146397525, 3958153911948350815, 87969520227829, 263891380671839 ]; SMALL_GROUP_LIB[ 14996 ] := [ 18101464536141083627, 852602569427267819, 7427453454327, 56796876812267 ];