GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
############################################################################# ## #W col13.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 6003 ] := [ ]; SMALL_GROUP_LIB[ 6004 ] := [ 152816139892976507, 8786980454205563, 323363535239, 1460466050939 ]; SMALL_GROUP_LIB[ 6012 ] := [ 2073801605675452816623, 12471866862595249516166383, 12422265461576235355, 12467695803069216514861295, 74980863577588651797063259375, 2699311313620916635153551437247, 2710119130430114044595742378493710671, 37249887628107052572, 12318431459555833789202671, 12422152521402919259, 2048973814099425932527, 2081326051165859, 340772771515636975 ]; SMALL_GROUP_LIB[ 6020 ] := [ 362797628415790343172576759887, 60265386806180837613862991, 3105646158806663279387, 515700709339194791, 3104512001149624556315, 515888595236440859, 86720428381607, 2771501465980741031, 232811643757622805039, 60265464405761276561674319, 9810527062105568472335051, 2539471744598850169722595275335, 1662936029465785115, 16695549844541695739303 , 64496587207328519, 16684440255309039516071, 70072950204663547637159, 100507210063896563436907943, 3184356149962861617575, 64496470107984647, 528778372427062043, 6440463923505, 528962519509536167, 10722954210155, 87807779431847 ]; SMALL_GROUP_LIB[ 6027 ] := [ 1392713565, 7909007486605, 23708426366605 ]; SMALL_GROUP_LIB[ 6028 ] := [ 859327466111233465031, 5180027122589139479762255, 1301876578449753423, 142754622688396623, 1587353372609, 23657038611791 ]; SMALL_GROUP_LIB[ 6030 ] := [ 3465630872435623187, 20897749587066105892115, 3468421269788163347, 20897746837625037926039, 3465671828720197271, 126013430007701078782415123, 20914578915722954834195, 575792462755091, 1333844398998803, 61714949641425, 8046239525875977491, 20678515799767, 8043490084808011415, 371277375709629777, 48518829765013012353299, 123786643158635359, 48502247885932057777823, 2238801433678858080849, 292568543501958020641805075 ]; SMALL_GROUP_LIB[ 6036 ] := [ 98735591268202367467, 588818635886805708, 98343131201897281259, 34547272964207, 16292087372809707 ]; SMALL_GROUP_LIB[ 6039 ] := [ 80041180199 ]; SMALL_GROUP_LIB[ 6050 ] := [ 11973097860381408003399, 1979024587475203399, 161125789206386886661264969603399, 29791488003399, 29751820803399, 1090426162461254403399, 727610469661254403399, 2904504626461254403399, 180235876921603399, 120266340921603399, 480083556921603399, 240205412921603399, 1319419165152003399, 218085849603399, 4404946405984851376003399, 179997873068803939, 29791136003939, 6597078282890138595203399, 4402043341450138595203399, 17572252990090138595203399, 1090427055002582403399, 727611362202582403399, 2904505519002582403399, 1453242747802582403399, 11973458570138492803399, 180236309456003399, 120266773456003399, 480083989456003399, 1979084493686403399, 106336280328909128442033603399, 5017603399, 29791180803399, 19878860803399, 79352780803399, 14758403399, 89373100803399, 4928003993, 89264966403939, 540707738441603399, 29761555209933, 540053200918409339, 3271281820409880003399 ]; SMALL_GROUP_LIB[ 6052 ] := [ 97850329359888864791, 16871246306435094479, 3592653605637952087331575167, 3592653582021329840482948479, 9086222329923054313543039, 592190424763136908072319, 248076440137237887, 16207598041892223, 462485069303 , 2673202038143 ]; SMALL_GROUP_LIB[ 6060 ] := [ 3610281354369721610001030099, 21878305007479810183050003000199, 565678990833920000030199, 565879550946240103000099, 93346120960000010399, 565677005416320000030199, 93346407040000030199, 15482880000010399, 595671620240650001030099, 18051377644810001990003, 21885925518542924248970001000399, 21885926005903288792970001000399, 11048513715726768010001000399, 3609770218796689290001000399, 300855957760000010399, 3609770018203772810003000199, 100296136960000030199, 109391348025796490099000103, 132628708642370120812971210000010399, 132628711595773929949611210000010399, 66953993117304326560970000010399, 21875207525907925414090000010399, 1823590186853120000010399, 2979441280000990103, 1823187147987520000010399, 3038579628937600000010399, 11050956532325262720000010399, 2978776960103990000, 595963590248640000010399, 2979432320000990103, 98310719360000030199, 165120000039901, 98343815040000010399, 492800000019903, 16221440000010399 ]; SMALL_GROUP_LIB[ 6066 ] := [ 5029469572955224991, 30508752260670547934111, 5029482420426095519, 830395260189599, 2186517185411999, 6933555933361, 13263138962713721759, 39605082025695313, 80454203834932951366559 ]; SMALL_GROUP_LIB[ 6068 ] := [ 1882446214679096039, 1689392142830142435, 69724006509786019228161439, 69724005399770868574721439, 420243010485502896641439, 11422694715279731201439 , 11413250621441439, 312065515521439, 45957121595, 51200001439 ]; SMALL_GROUP_LIB[ 6069 ] := [ 54576991442431, 35659765, 331227751639422463 ]; SMALL_GROUP_LIB[ 6076 ] := [ 374963562892804679, 2280833036911065604679, 12109186886426255, 15947528743360339204679, 13858341532571337955204679, 2716235485123941493945083155, 511619148425498851418150875504679, 426620819325456004679, 12109165113626255, 70214024966404679, 1993766405375, 11548915204679 ]; SMALL_GROUP_LIB[ 6084 ] := [ 1750420231622709395628867097215232079, 1750420231622709743314748137619187791, 3732350600066114922924088926005327, 613469855369965296075096844367, 18333015650155502732576735, 11855699569552972962342321197000439081469919, 286292692070151856211695749992636674620057313823, 73332051914332576272091103, 232286315011913025503, 320424502674472434546202468375070687, 7756408501075760907152891, 1750420128682733105871740086523914319, 1750420154421957820111521453126314063, 1750420128682733453557621126927870031, 1750420154421958167797402493530269775, 3732247660089825165797078234687567, 3732273399314539405578444837087311, 287708837316575683742452074539087, 287708837316923369623492478494799, 613452935584250345771381942351, 613457166226050845406715045967, 613469856413022939087762221135, 1413229935204991097636831, 5643871735704626430740447, 47261910233620665527149914191, 3016001704916963821535, 100830529026916295557113935, 1271284310564198715528956788118915039, 7734493014684412531972953408473387098655, 47189989320535369540561677143, 232038261527471459591, 10649556062905748216123660893526520357407, 10649556219503191377558490727935520399903, 10649556062905750331444561143344186909215, 10649556219503193492879390977753186951711, 22706994763986496308708393197567861279, 22707151361429657743538227606567903775, 1750420566234046459883434333885030943 , 1750420566236161780783684151551582751, 3732247660094579102651605301191199, 3732273399319293342432971903590943, 3732350606416831560527960445674015, 8598093939063379986735957983, 34337318653303161353338357727, 8598090925785825715778226143, 52310692133659034807138464040927, 34337315640025607082380625887, 208908135295093864641547464083423, 287541461861348125804143818695199, 1413230430897313151977439, 5643872231396948485081055, 18349354372565064554645471, 18334058708292849492297695, 111544413180758195473107912671, 73350711056614594842724319, 613452938599757795085726900767, 12056329890994172463071, 47046053582926154699458899250822407062816735, 7734493014684509843456291932396601477087, 52666862818321052763563356325855, 47056655501339965844523448532969113428531167, 38180674552727519, 4520164099323599284043, 238384913713555090783346063, 238384913827850252203597199, 18333019366300653850729871, 8598077372266609456313277839, 8653075715673104715643624847, 38133025701103583 , 1413227421124724498892767, 5643869221624359831996383, 232286314424844683231 , 927658076505652594655, 12053320531700867925983, 1981150672000649183, 8656617354160663955429132255, 232000169390927514887, 38139286999010567, 8598075630121553477783521247, 34337300344361334844385920991, 1413229935699681407928287, 5643871736199316741031903, 18334058708292826559940575, 232286395831272605663, 927658157912080517087, 3013487706056792999903, 52666859982713473932835050751967, 1274924469526213815803, 47289409403590436921089583183, 47289409751276317961493538895, 100831572084559393836623951, 209988891951761375, 7756640463186463662418775, 247673971512708359, 287708766811444212658220095103519, 287708768926765112908037761655327, 613459284562458544515794199071, 19586514620817890871263, 16573237066546933139423, 7772752385809453319456735, 47191400578022035182322256807, 1507381770852199582439, 1750420137280826589815571238984718303, 1750420150150438946935461922285918175, 3732286287277997788984822419003359, 119221836504624435009947615, 100831574314372950720776159, 47289425515266071257629329375, 19058611889131645 , 1506848481095377767143, 9170910693784588454480615, 119164354954592331943380959, 725345653294135521996392892383, 100889055369207427776382943, 47289467700656633508156409823, 4291986570207133315255850317, 1747027342790614297999828738304969639, 339461772905954794080130696809383, 64791925617170297244781345378430412292462559, 64791925617170310114393702498321095593662431, 138175886595818941427174367619615442966495, 26848709976039069579985117870792742879, 1422276702512899592035727, 232533546615581730635, 5652918503012534925139343, 57150714034810224, 38424307914770399, 6457751767007, 152719469335021535, 7772752882146739700369375, 1275095992110782368487, 19058588956774525, 1277572794308938434527, 209581834968763655, 3132559986037, 209988869019404255 , 34442871572447 ]; SMALL_GROUP_LIB[ 6100 ] := [ 170618991719883032535058859, 6351819541651501296623245066248239, 6351819541633012848107149066248239, 3228120495032068444700016648239, 529200081311338936483848239, 1040775849500727317301821448239, 3806724898540339211039, 622476638208011039, 3797089791906816011039, 624056373043211039, 105106636811039, 27973512994300272658859, 1422266132773642460403, 1041281911511526382448803848239, 1041281893023077866352803848239, 529224258513243903754248239, 170638438710906905559048239, 14222635643289611039, 52963005625503457947823944183, 38746115203441812794680389398179211039, 38746115203329033258732203798179211039, 19707534387350502810692601916811039, 52963006099566240411823944183, 38746115203441841712510119702179211039, 19707534387379420640422905916811039, 43378167172699690774344183, 6364732049609321923849608048011039, 6364731936829785975664008048011039, 16140657365941798152811785611039, 1040894476183937487655382411039, 86824599360650035211039, 233337579725012583, 433772033483768832011039, 529630056107373167308811039, 27983937706305638411039, 233336882995412583, 4587529009766411039, 38320128014343, 751771238411039 ]; SMALL_GROUP_LIB[ 6108 ] := [ 645000226264487072961291, 3939661381958008109476918519, 106026021280698754039, 624843153327193968, 105609549040245158903, 36228783541781, 17289654046172151 ]; SMALL_GROUP_LIB[ 6111 ] := [ 25778874848486975, 9039595438974527, 15948998448621119, 46205355941, 1481261295167 ]; SMALL_GROUP_LIB[ 6116 ] := [ 1420753975727704931, 155819688282896483, 1682807081955, 25451006134115 ]; SMALL_GROUP_LIB[ 6132 ] := [ 518984270765923790321522567, 19514547957891111909585404053566383, 19517057988590247248800101323912111, 51253729200559076451292655, 460586850390275191046411759, 3182893976714715450576989729711, 87089051836636704282095, 3182411604352762613073090065327, 3182820937473952329187685184431, 519062944674353731518215087, 3182411548393313286146894738351, 8415157287082549843439, 1363022355395253743, 194561447584344125, 51253672057817290896315887, 460586793247533405491434991, 8358403338544116405743, 75112010838497820677615, 87031909094851149305327, 8358394018370949223919, 75112001518324653495791, 14193072951313569263, 8358014545296994866671, 1372342528562435567, 84639094674539337652103, 519006985225026805322888111, 70956341662914188783, 519006928452498228069333647, 14193069979280106959, 3182550833399862082725791176175, 435189815433055464068591, 972197847223344653 , 435104295684308324062703, 609140482037450249606639, 2668583948236438116413478383, 229837256005103, 39627113113661, 1363089473818072559, 12249196372049270255, 583216371343304640, 8386775705913794136647, 1196111217788461149701, 51253856964255574039597487, 460586978153971688634716591, 2251067693733359, 158756121880637, 13813599877359212015, 31949359970617, 13804342983738287567, 972196113537146381, 84705008369900247324143 ]; SMALL_GROUP_LIB[ 6138 ] := [ 9786491020828199, 60069421169107228199, 9886022265628199, 60069322432569635159, 9787285728035159, 368706107090402524828199, 60680378177308828199, 1617408028199, 11548915228199, 3586291228779, 70979233132828199, 401241635971, 70880496595235159, 21997947859253139, 435670640099856028199, 2444928365069131, 435064496495529843959, 135023388466090383939, 2674146389306799816028199 ]; SMALL_GROUP_LIB[ 6140 ] := [ 507735187110688994967, 957070295911552583507118551, 25386749970148027079, 8410802479609825223, 13747754471061, 1369444675872455 ]; SMALL_GROUP_LIB[ 6148 ] := [ 7217078137128341091, 3820820969387117515, 274010066687655745692468911, 274010065697168031096604335, 1244878797307377761715887, 44370628094952510146223, 32935127945602479, 1179139164943791, 101309753975, 191154890159 ]; SMALL_GROUP_LIB[ 6150 ] := [ 92927754240068959, 571503235268608068959, 93068676300868959, 571503097380864196879, 92930788556996879, 3514744894545589043393759, 572370083495936193759, 26404067262438918714165697723, 162385013664009149890086502526523, 7805866855675114291326523, 1180840792100160462228684868959, 18212610577517772868959, 15518924868959, 51610229145726523, 65444249668959, 5046272070363, 402607905177668959, 30979149004926523, 2476039527750041668959, 1690828998361, 402470332006596879, 30962371789054443, 2476038839884185793759, 190521687431580097723, 15227643097241378816068959 ]; SMALL_GROUP_LIB[ 6164 ] := [ 84256942392388523, 3906107882596523, 204623557335, 632086407083 ]; SMALL_GROUP_LIB[ 6165 ] := [ ]; SMALL_GROUP_LIB[ 6171 ] := [ 16980659675033 ]; SMALL_GROUP_LIB[ 6175 ] := [ ]; SMALL_GROUP_LIB[ 6180 ] := [ 81534876100342353294705172109135, 13193345649614967738390357839, 311237966508985854270011, 50324548514099255867, 311005477547503421452859, 50362173468037169723, 20727286383396170221167, 13193732538074412817415788367, 345454401731963066939, 115163652056384760503, 128094629284388978769534081, 81537267085299997790479284902555, 2135370994646845079910971, 3354665257077350685, 2134908252202035561801275, 3558105047930761129873979, 13196592746912272960487330363, 8185390095542843, 3353931794229595596, 311237966820955037438333, 18271565701863995, 544091019837669, 112965440249530249787, 182305822265899, 112928176374178235063, 3354655364513354013, 698126500803677219520059 ]; SMALL_GROUP_LIB[ 6188 ] := [ 9868880221142276879, 7236668556980543243, 378605059066563674237849791, 378605053146001147041960127, 761233702805901491065023, 61068648830773157187775, 19880047074608575, 61068637985499698475103, 9036525962529631, 44780510506241359933531, 2342808105503989978827578148287, 2342808068867549060539412907455, 4710514153056907646657889727, 377892799058800228533536191, 123133604246866363839, 1170517167968091, 123017746129432348095, 726915108132058301887, 761950743077008917398975, 9887502984688960959, 1170516228443995, 1596095947869023, 86033566709, 1597848294524351, 189112780283, 257832256959 ]; SMALL_GROUP_LIB[ 6201 ] := [ 58025128511, 7721212471 ]; SMALL_GROUP_LIB[ 6204 ] := [ 8855818511848913423, 984114931715898047, 54951378881998105090575, 188455780317703211, 54941498974475851208207, 67150510910013292548623, 340918354584198950394515983, 62809559633906684, 5853597319437716753935, 188455595774876715, 942250824715170495, 3400860680827, 943519635737096719, 30396839854179, 151878746208783 ]; SMALL_GROUP_LIB[ 6220 ] := [ 1030842414948161239, 167859176961239, 548835322924621384903, 1061677617758572868602731239, 27441756260399041239, 9092355191055841239, 14480809375793, 1461379630401239 ]; SMALL_GROUP_LIB[ 6225 ] := [ 1585313229806917 ]; SMALL_GROUP_LIB[ 6228 ] := [ 16360366135352610008532219, 101892360284455469522120184343, 2657821544662063543527, 634585619851588483426102889275623, 16558257922790482056475879, 15368254840953647581, 16552913260287122287097063, 103124830342725914811096724711, 3712494180443287781016143198445, 24616170085702928099905863091542121636071, 4000004269386015211771167730936439015, 46084570935939466992, 16361611203547755522749671, 15368119960119161309, 2627105026246706296039, 2485661092734581, 421772369438602471 ]; SMALL_GROUP_LIB[ 6244 ] := [ 8658315720166124339, 1717464746618955827, 6295741653419, 274914050058035 ]; SMALL_GROUP_LIB[ 6246 ] := [ 2532049086257239, 7796565075951, 15814860996649036119, 45855496129317983, 98779625127846301462999 ]; SMALL_GROUP_LIB[ 6252 ] := [ 759486330215578135310919, 4748308536434210762426881039, 121957705745940481039, 702180694174065600, 121489683941416961039, 39775191309881, 19431350681601039 ]; SMALL_GROUP_LIB[ 6255 ] := [ 7624859478131 ]; SMALL_GROUP_LIB[ 6260 ] := [ 59137290330670119552503, 570402477930726687171, 2318224468538031627208258032863, 2318224418535412641600559191263, 1117634783576778340153234655, 370199456472848945368339679, 28520113753106547935, 9450014969941918943, 14858139695883, 1509162464969951 ] ; SMALL_GROUP_LIB[ 6273 ] := [ ]; SMALL_GROUP_LIB[ 6276 ] := [ 14096075377055667731, 124797403814602951187, 2261876761719827, 715783018727047788, 88592149266128919333233, 19808053111817747, 40390656731227, 124320315320308545299 ]; SMALL_GROUP_LIB[ 6282 ] := [ 5710427607657380807, 35872894113284657417159, 5710442391165627335, 910476381019079, 2606121311009735, 7978401517765, 16371327195204684743, 47195294154189325, 102844680880725955908551 ]; SMALL_GROUP_LIB[ 6292 ] := [ 1775502935672360411, 11171467126575669774647, 3001285137532295, 70290871189759271339708807, 18916816601980994951, 231268505814693, 207722114714951812487, 119024610063508742309255, 57607913715338483228022453, 2787314387945569554784915649352071, 4712096710282439438807034646919, 1778406761214150023, 231268282861221, 282644916536711, 36723623325, 44877350279 ]; SMALL_GROUP_LIB[ 6300 ] := fail; SMALL_GROUP_LIB[ 6308 ] := [ 206038334373391299, 11860413195176131, 394973576195, 1876486154179 ]; SMALL_GROUP_LIB[ 6321 ] := [ 402830206815959, 2546588775075192791, 2546286658768003031, 402890698186199, 64125914327, 55861249751, 1692847259, 352537681598423, 50421374408663, 10081845399491, 2228390220468555863, 318713042722082903, 30222932545475, 2229256287215833175 ]; SMALL_GROUP_LIB[ 6324 ] := [ 296105996354736418215403527479, 46822580932404778641927479, 64860586261286401379, 10082775283201379, 63763007010566401379, 10256358931201379, 238866993247704353115, 46822978993692918149127479, 1170780055948801379, 78062794329613559, 1510594864040176210683045, 296108519156114299456603501379, 7405266842327923201379, 37773520300826145, 7404013185300835201379, 8391205155251232001379, 46830907510929249465601379, 1692057601379, 7553747924441100, 63923972152234815029, 11548915201379, 5975078401785, 73200805228801379, 401241614371, 73028016288013559, 37773498528026145, 462922072582262401379 ]; SMALL_GROUP_LIB[ 6325 ] := [ 179942223, 367347275 ]; SMALL_GROUP_LIB[ 6327 ] := [ 860709984323620247, 206567140716456101, 34500105714519885746622167, 34500105473543951332363991, 34500105576819351795617495, 12450985108328125024390871, 12450985142753258512142039, 12450984213274654342860503, 48354197178986012266199, 48353646376850208247511, 5445713074931629493975, 5446332727938963279575, 1207921080999383, 136215702072791, 49159887973847, 5213577293, 21552881111 ]; SMALL_GROUP_LIB[ 6340 ] := [ 64644554146044339057771, 615659967319963063987, 2599516858676949973723419751919, 2599516876940567929164357940719, 1237340631876577555247216111, 409846493796663899834250735, 30782987692303344879, 10200580350764791023, 15634874213591, 1608477559366895 ]; SMALL_GROUP_LIB[ 6348 ] := [ 591321503934145467220894940385717191, 116451452495407823204738327227307739, 9822938361499742460585801752737324129063, 26468679099344573506518513607, 4601823996830318823967687, 11296930548046791, 2889821881635882498966836955, 12329931802449887, 1799971286980263013319, 1643453030860914483143, 455233618159345215309767, 18344590730414061258650376854311, 253012022184707015, 1608105686838332, 1793243882385441598783219, 1773838906311, 11296925930392519, 85096782211, 11258084861325279, 71712924193180284871 ]; SMALL_GROUP_LIB[ 6350 ] := [ 16139097628163, 395210348949, 102481233090453251, 2460317110660209, 650755999151075663747 ]; SMALL_GROUP_LIB[ 6354 ] := [ 2759466055493311, 8351597708961, 17533301215788656319, 49968835831766369, 111406599567767817545407 ]; SMALL_GROUP_LIB[ 6356 ] := [ 9636005161560189771, 1911677788213454923, 6761900206247, 300612376045387 ]; SMALL_GROUP_LIB[ 6358 ] := [ 505416191, 3208645708287, 304091129, 3205223157663, 20400636675230207 ]; SMALL_GROUP_LIB[ 6363 ] := [ 54401019905 ]; SMALL_GROUP_LIB[ 6364 ] := [ 2258676378077276087, 618010713294995705772023, 15259336880999399, 418098975389927, 55861168349, 65420298215 ]; SMALL_GROUP_LIB[ 6370 ] := [ 44877354839, 20416173977, 285930868512599, 129990840097457, 1821381183084336983, 12262450455, 285824870065343, 129933764012057, 1821380441095185335, 828041946400476209, 11602198143683080968023 ]; SMALL_GROUP_LIB[ 6380 ] := [ 12620479817998946752200482391, 999021592709695932999, 1978131632931617360420439, 5399605639253037, 998600693060749036103, 156520510714153543, 916417678381, 309924254992387389675, 1977317163395417672293975, 469546204175665735, 34434629740101366387, 12620479817581530088514428975, 12620479760193481440797564975, 6371072004154920389222447, 2416599270750157067823005, 80925115858036726181160321492551, 80925115491900975808726729172551, 447102061253073058253477979719, 1977316850320634183327791, 156520484279032831 , 12615283503610504551449175623, 2997377788498988370503, 16200309400883981, 2995704982228679887431, 10984121157732642392647, 19123270290598774973205063, 310365271131129678407, 16200293980394253, 48597491636313087, 848126942855, 48646555228768839, 2539974954029, 7615519001159 ]; SMALL_GROUP_LIB[ 6390 ] := [ 9855606944243548179, 62977240981939334757839, 9855655025709157839, 402424569834408019921034039, 62977596804415351434039, 1555817267548179, 1900239757148179, 82824896352733, 12147022983917148179, 27751718762531, 12143112788307557839, 528014412935081173, 77619484581076637148179, 176041734894167171, 77594494520935684234039, 3374010450058932471973, 495988506500000892840348179 ]; SMALL_GROUP_LIB[ 6396 ] := [ 4828923169615026688126411, 701635097204949680780915609664479, 701635097203371107883542220864479, 1266317487723755931874201664479, 109537058529560009710080064479, 5632795161880166402079, 17125869063546300108864479, 21480302182403171, 5628374801625907202079, 879983656960002079, 2677043286678016081639, 755012592061747326411, 109699042343038578242457664479, 109699040764465680869068864479, 197982898709195043737664479, 17122373256627427840064479, 4839614513152002079, 17122368856349547008704079, 440024498176017679, 4829060533442963151296051, 701635074826074744971195289602079, 701635064729522493371000524802079, 1266298620144012714754150402079, 109514699349388902187110402079, 30959475041907507202079, 118059702681662451, 30954174901246361602079, 36582130310807552002079, 198016802368210331238402079, 3774873603171, 32193819446526400, 137685727887365056011, 65444249602079, 18468044803171, 419254258892802079, 1690828819161, 418566393036817679, 118059610931262451, 2681551008376422402079 ]; SMALL_GROUP_LIB[ 6412 ] := [ 12913927571153661294899, 82804111709850680094299735, 10158317630025524567, 2015441768978068823, 7004455627313, 314162803778903 ]; SMALL_GROUP_LIB[ 6417 ] := [ 1684828559 ]; SMALL_GROUP_LIB[ 6420 ] := [ 27112099163138190442895, 18624366646496788249767815855, 451867869313387183499, 150637976655729267839, 174059675915802310218789813, 119568433870509539943986713230891, 2901596964058642844769675, 4223959796779165937, 2900991783317286055858571, 4834887647255908364338571, 18628252509249901708808127883, 4223070786893275340, 949326124014966685841803, 4223947806277990641, 147823176528575593599, 220967807418151, 147870097072603243915, 659477564663649, 23023475185319307 ]; SMALL_GROUP_LIB[ 6422 ] := [ 917074115, 594587945, 5879091024323, 3804536838485, 37755636212867651 ]; SMALL_GROUP_LIB[ 6435 ] := [ 1023158740474343, 13249829373, 8185600487 ]; SMALL_GROUP_LIB[ 6444 ] := [ 3377498503849977728295, 21771391832229877567810855, 18874788523100855095, 21764601194134516672442663, 140294848966381828851734099239, 5050614928861966551531558256539, 5825762683493744910496081850057072711, 56600395392037611228, 21521496351673493607069991, 18874628416948333367, 3339772656822821704999, 2950527667963607, 518217871097859367 ]; SMALL_GROUP_LIB[ 6450 ] := [ 483474033110943419, 3118406818856486055611, 483662454319472315, 20113723981980563296109243, 3119623294470786511547, 40771156727101853271906577677, 262973960889820761569074890904173, 11492626594589902954984557, 838541501823783638296330098975419, 130253508626190189422352257723, 1912319983090109310596271153851, 20129229445856251056875195, 26814614332295710205627, 75077407979195, 69081051612707949, 3120810767019967616699, 87807779505851, 6440463994065, 566528524335034043, 41465237327492205, 3654110201244828287675, 2157973852063, 566344377252704567, 41443824876189417, 3654109280509416044483, 267450672473764326669, 23569010800142189147376827 ]; SMALL_GROUP_LIB[ 6460 ] := [ 19381730535435124491, 2378640982423704606470807, 56998557143323883, 3876066178878459999, 475745761758471935427359, 809156114128002218975113389, 99315819686935353195292699571723, 809156102500404173148860589, 99315819686714428832422000768523, 425666988530140930060461, 52244129386398025394573047307, 11400133434204995, 125205985959744091205805, 15366020746586349936181876235, 368401065279919092971, 3001477245296073, 368210701333866969323, 1251908131640500354283, 2379870881706165248933099, 22020268782250000619, 3001475552243145, 3401647477222211, 93117916209, 3408706056740075, 464622097677, 526539461867 ]; SMALL_GROUP_LIB[ 6462 ] := [ 3002937608092015, 8935750183395, 19404606207080090223, 54372198640909595, 125392569273812843582191 ]; SMALL_GROUP_LIB[ 6468 ] := [ 482912253284864001559, 20208889852398884936192001559, 60582969834826242251264001559, 284040371146691072001955, 20208904326025531411200001559, 130711099565315987810081408001559, 851506497846350336001955, 60582984308452888726272001559, 391850648891656134923967104001559, 3124444082564286976001559, 9366571476260538880001559, 307307796795904001955, 21864334811852720896001559, 21849858635497230976001559, 141324902145914253105792001559, 65544752941080009216001559, 10133696720949760001559, 230479417942054006549365799552009155, 9642111673834599514796427393128052672001955, 1490740768419388261406240691827648001955, 11915872203340552678257792001955, 1490740768419378614303958960145281090155, 9642111290136540877335205154582016961001955, 384290592304254914623371096833019055, 27341507061263062551475622062906241010559, 6787498496001595, 482600320795392001559, 74613555712001559, 284040167712457472001955, 20208887832269858849664001559, 851506294412116736001955, 60582967814697216164736001559, 43914714251520001955, 3124441532855272064001559, 131649118503168001955, 9366568926551523968001559, 307104362562304001955, 65542732812053922688001559, 483061461467648001559, 1448139908235776001559, 47480603136001955, 10133384788460288001559, 5509246821369795445632009155, 35633808440622493576823744001955, 373029868032001559, 2415307269347840001559, 237381882368001955, 16888933915822848001559, 15622207418502486656001559, 9185859593033328493313019055, 653555422287478325217641345010559, 74613527040005519, 2413218354960896005159, 33918296320005915, 2412757237371520005159, 3377835661069056005159, 15608696319901702912005159, 15622211012668694016001559, 219573438656640009155, 15622207418663967296001559 , 152932516323801433984001559, 653555572648059170339168128001559, 219668374628608009155, 109237624568089152320001559, 15628962967629862528001559, 101044460829941466930816001559, 9932806744095857408009155, 101044437582874605001408001559, 706699332208802554449792001559, 59414139847739566300693377090155, 4227196471308597712370141240257001559, 1114112001595, 6789627904001955, 20354007040001955, 20347618048155900, 44009635447680159005, 284041130797958080190055, 851507257497617344190055, 9437696001559, 5243392001595, 61097378560001559, 33947648768001955, 395178243261312001559, 1049088005591, 61051241216005519, 33918288640005915, 395177920299904005159, 219573438645120009155, 2556012877973554112001559 ]; SMALL_GROUP_LIB[ 6475 ] := [ ]; SMALL_GROUP_LIB[ 6489 ] := [ 37043755412832863, 16188784378482527, 19785022349037407, 58885391423, 2497388551775 ]; SMALL_GROUP_LIB[ 6492 ] := [ 6421259061073998864612292139, 115903191789941761079, 989125415121602685892139, 6421402194880584723645601079, 152928153288391681079 , 17871382978561079, 847947872946956400, 752596902728369379864539, 23468434560001079, 46256624931061, 152362969441205761079 ]; SMALL_GROUP_LIB[ 6498 ] := [ 50969019800772508182191, 14024260700798234239265375685139343, 14024260976774222482348810823228303, 23346510403519730021365834083687311, 23346509741177358237965589752273807, 2158242644013332448452760619919, 2158242686484244766563477015439, 2158242661001697375697047178127, 3592876331720549404762464897935, 3592876323226366941140321618831, 3592876229790359841296745548687, 40887388607937659990138469047183, 40887609388728254456886579518351, 6292303571612445478688312207, 6292337548342299967261428623, 6292736722630109513029835663, 6292303571550887606801929103, 6292337548280742095375045519, 968411314656475192726415, 968344647479915924779343, 149021961998505271631, 23346510073478470405089863805982031, 985783148698332346035374987381957685629327, 7843801218172999343, 332139526625629451527619471, 552920318527295716969907087, 332139529240028486191252367, 552920332906490407619888015, 968344655527873617691535, 968349884325942944957327, 1210555095079247, 1207545572567375, 51114118956593384436047, 85090848811081957552463, 7866140431534006607, 13094938500861272399, 248371338175807893839, 38222735616043343, 332861989668346754955580751, 7846617576281769071, 1207607369004143, 332139544979933774335792463, 552920335574400522446263631, 51114180515641640273231, 85090910370130213389647, 968359088233650235168079, 7866141607903460687, 13094939677230726479, 149024176034959297871, 2162437768210697808559140153167, 187687016783, 1210549290326351, 2015227355781455, 526539467087, 3429881795309903, 31200558463, 3420470355952751, 22287380724933891407, 201262755311839, 22226215780520034479 , 144823399981398726010703 ];